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_3.wcnf Job file: /home/jplanes/evaluation/benchmarks/weightedpartial_random/wpmax2sat/lo/file_rwpms_wcnf_L2_V150_C1500_H150_3.wcnf Job solver: /home/jplanes/evaluation/solvers/HanLin/IncWMaxSatz c ----------------------------- c Incremental Weighted MaxSATZ c ----------------------------- o 8181 o 1620 o 1616 o 1613 o 1609 o 1607 o 1603 o 1600 o 1599 o 1595 o 1594 o 1589 o 1586 o 1582 o 1581 o 1576 o 1571 o 1563 o 1558 o 1554 o 1549 o 1547 o 1546 o 1538 o 1533 o 1531 o 1530 o 1526 o 1520 o 1517 o 1514 o 1512 o 1511 o 1507 o 1505 o 1501 o 1496 o 1492 o 1491 o 1490 o 1488 o 1487 o 1485 o 1481 o 1478 o 1474 o 1472 o 1467 o 1463 o 1462 o 1457 o 1453 o 1449 o 1446 o 1445 o 1444 o 1438 o 1437 o 1433 o 1430 o 1427 o 1423 o 1420 o 1417 o 1414 o 1412 o 1406 o 1397 o 1396 o 1393 o 1390 o 1387 o 1380 o 1378 o 1377 o 1374 o 1371 o 1367 o 1366 o 1361 o 1356 o 1355 o 1353 o 1352 o 1348 o 1346 o 1345 o 1342 o 1340 o 1338 o 1336 o 1334 o 1332 o 1329 o 1327 o 1326 o 1324 o 1320 o 1315 o 1314 o 1313 o 1312 o 1311 o 1309 o 1300 o 1298 o 1296 o 1295 s OPTIMUM FOUND c Optimal Solution = 1295 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 1.310 seconds. 1.313u 0.001s 0:01.32 99.2% 0+0k 0+0io 0pf+0w