Warning: no access to tty (Bad file descriptor).
Thus no job control in this shell.
Job name: run-job-wpm1-weightedpartial_crafted-_home_jplanes_evaluation_benchmarks_weightedpartial_crafted_WCSP_SPOT5_LOG_503.wcsp.log.wcnf
Job file: /home/jplanes/evaluation/benchmarks/weightedpartial_crafted/WCSP/SPOT5/LOG/503.wcsp.log.wcnf
Job solver: /home/jplanes/evaluation/solvers/CarlosAnsotegui/WPM1/wpm1
c lw 2
c lw 3
c lw 5
c lw 7
c lw 9
c lw 11
c lw 13
c lw 15
c lw 17
c lw 19
c lw 21
c lw 22
c lw 24
c lw 26
c lw 28
c lw 30
c lw 32
c lw 34
c lw 36
c lw 38
c lw 40
c lw 1040
c lw 1042
c lw 1044
c lw 1046
c lw 1048
c lw 1050
c lw 1052
c lw 2052
c lw 3052
c lw 3054
c lw 3056
c lw 3057
c lw 4057
c lw 5057
c lw 6057
c lw 6062
c lw 6063
c lw 6065
c lw 6067
c lw 7067
c lw 8067
c lw 8071
c lw 8073
c lw 9073
c lw 9075
c lw 9076
c lw 9077
c lw 9078
c lw 9080
c lw 9082
c lw 9084
c lw 9085
c lw 9086
c lw 9088
c lw 9089
c lw 9091
c lw 9092
c lw 9093
c lw 9094
c lw 9095
c lw 9096
c lw 9097
c lw 9098
c lw 9099
c lw 9100
c lw 10096
c lw 10097
c lw 10098
c lw 10099
c lw 10100
c lw 10101
c lw 10102
c lw 10103
c lw 11103
c lw 11104
c lw 11105
c lw 11106
c lw 11107
c lw 11108
c lw 11109
c lw 11110
c lw 11111
c lw 11112
c lw 11113
v -1 -2 -3 -4 -5 6 -7 -8 9 -10 11 -12 -13 -14 15 16 -17 18 19 -20 21 -22 23 24 25 26 27 28 -29 30 -31 32 33 -34 35 36 -37 -38 39 40 41 42 -43 44 -45 46 -47 48 -49 50 -51 52 -53 54 55 56 -57 -58 59 -60 61 62 63 -64 65 66 -67 -68 69 -70 71 72 -73 -74 -75 76 77 78 79 80 81 -82 83 -84 -85 -86 87 -88 89 90 -91 92 93 94 -95 -96 -97 98 99 100 101 102 103 104 -105 -106 -107 108 109 110 111 -112 -113 114 115 116 -117 118 -119 120 121 -122 123 -124 125 -126 -127 128 -129 130 131 132 -133 134 135 136 137 -138 139 140 141 142 -143 144 145 146 147 148 149 150 -151 152 -153 154 155 156 157 158 159 -160 161 162 -163 -164 -165 -166 167 168 -169 170 171 172 173 174 -175 176 177 178 -179 180 181 -182 183 184 -185 -186 -187 188 189 -190 -191 -192 -193 194 -195 -196 197 -198 -199 200 -201 
o 11113
s OPTIMUM FOUND
c Solution /home/jplanes/evaluation/benchmarks/weightedpartial_crafted/WCSP/SPOT5/LOG/503.wcsp.log.wcnf 11113
2.296u 0.014s 0:02.33 98.7%	0+0k 0+0io 0pf+0w