Warning: no access to tty (Bad file descriptor). Thus no job control in this shell. Job name: run-job-IncWMaxSatz-weightedpartial_crafted-_home_jplanes_evaluation_benchmarks_weightedpartial_crafted_KnotPipatsrisawat_random-net-20-2_network-2.net.wcnf Job file: /home/jplanes/evaluation/benchmarks/weightedpartial_crafted/KnotPipatsrisawat/random-net-20-2_network-2.net.wcnf Job solver: /home/jplanes/evaluation/solvers/HanLin/IncWMaxSatz c ----------------------------- c Incremental Weighted MaxSATZ c ----------------------------- o 435254 o 54854 o 54776 o 54007 o 53428 o 52620 o 52542 o 51773 o 51695 o 51289 o 51211 o 50442 o 50367 o 50289 o 49520 o 49168 o 49117 o 48348 o 47828 o 47750 o 46981 o 46903 o 46497 o 46419 o 45650 o 45575 o 45497 o 44728 o 42715 o 42637 o 41868 o 41289 o 40481 o 40403 o 39634 o 39556 o 39150 o 39072 o 38303 o 38228 o 38150 o 37381 o 37029 o 36978 o 36209 o 35689 o 35611 o 34842 o 34764 o 34358 o 34280 o 33511 o 33436 o 33358 o 32589 o 31956 o 31632 o 31554 o 30785 o 30710 o 30632 o 29863 o 29760 o 29127 o 28803 o 28725 o 27956 o 27881 o 27803 o 27034 o 26543 o 26105 o 25894 o 25621 o 25183 o 24972 o 24933 o 24858 o 24780 o 24011 o 23854 o 23598 o 23309 o 22676 o 22598 o 22160 o 21949 o 21792 o 21747 o 21536 o 21458 o 21247 o 20825 o 20614 o 20550 o 20439 o 20128 o 19917 o 19802 o 19591 o 19489 o 19411 o 18973 o 18762 o 18605 o 18563 o 18271 o 18060 o 17638 o 17427 o 17086 o 16875 o 16759 o 16548 o 16470 o 16203 o 15992 o 15627 o 15416 o 15376 o 15287 o 15270 o 15165 o 15130 o 15113 o 15008 o 14935 o 14796 o 14779 o 14674 o 14585 o 14568 o 14463 o 14163 o 13952 o 13935 o 13830 s OPTIMUM FOUND c Optimal Solution = 13830 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 c Program terminated in 0.020 seconds. 0.019u 0.000s 0:00.02 50.0% 0+0k 0+0io 0pf+0w