Warning: no access to tty (Bad file descriptor). Thus no job control in this shell. Job name: run-job-IncWMaxSatz-weightedpartial_random-_home_jplanes_evaluation_benchmarks_weightedpartial_random_wpmax2sat_lo_file_rwpms_wcnf_L2_V150_C1500_H150_8.wcnf Job file: /home/jplanes/evaluation/benchmarks/weightedpartial_random/wpmax2sat/lo/file_rwpms_wcnf_L2_V150_C1500_H150_8.wcnf Job solver: /home/jplanes/evaluation/solvers/HanLin/IncWMaxSatz c ----------------------------- c Incremental Weighted MaxSATZ c ----------------------------- o 8104 o 1443 o 1440 o 1437 o 1432 o 1430 o 1426 o 1424 o 1423 o 1421 o 1419 o 1418 o 1416 o 1414 o 1412 o 1411 o 1408 o 1406 o 1405 o 1404 o 1402 o 1401 o 1400 o 1397 o 1395 o 1394 o 1391 o 1389 o 1387 o 1385 o 1384 o 1382 o 1381 o 1379 o 1377 o 1376 o 1375 o 1371 o 1369 o 1366 o 1365 o 1363 o 1362 o 1361 o 1360 o 1358 o 1355 o 1354 o 1351 o 1350 o 1344 o 1343 o 1341 o 1340 o 1336 o 1333 o 1324 o 1321 o 1320 o 1317 o 1316 o 1306 o 1302 o 1301 o 1298 o 1290 o 1285 o 1282 o 1280 o 1278 o 1273 o 1268 o 1266 o 1263 o 1260 o 1255 o 1253 o 1248 o 1243 o 1242 o 1239 o 1235 o 1233 o 1232 o 1230 o 1224 o 1219 o 1214 o 1213 o 1208 o 1206 o 1204 o 1203 o 1196 o 1193 o 1185 o 1183 o 1180 o 1172 o 1157 o 1154 o 1153 o 1152 o 1146 o 1143 o 1141 o 1140 o 1135 s OPTIMUM FOUND c Optimal Solution = 1135 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 c Program terminated in 2.120 seconds. 2.126u 0.002s 0:02.13 99.5% 0+0k 0+0io 0pf+0w