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-1.net.wcnf Job file: /home/jplanes/evaluation/benchmarks/weightedpartial_crafted/KnotPipatsrisawat/random-net-20-2_network-1.net.wcnf Job solver: /home/jplanes/evaluation/solvers/HanLin/IncWMaxSatz c ----------------------------- c Incremental Weighted MaxSATZ c ----------------------------- o 525610 o 58144 o 58132 o 58012 o 55818 o 54495 o 54483 o 54363 o 52169 o 51654 o 51119 o 49280 o 49060 o 48960 o 47311 o 47179 o 46591 o 45460 o 45449 o 44861 o 43730 o 43556 o 43545 o 42957 o 41826 o 41615 o 41604 o 41016 o 39885 o 39260 o 39249 o 38661 o 37530 o 37465 o 37445 o 37356 o 37345 o 36757 o 35626 o 35069 o 33938 o 33727 o 33618 o 33607 o 33019 o 31888 o 31278 o 31267 o 30679 o 29548 o 29483 o 29374 o 29363 o 28775 o 27644 o 27309 o 26327 o 25257 o 24904 o 24822 o 24257 o 24017 o 23771 o 23533 o 22746 o 22722 o 22146 o 22064 o 21853 o 21688 o 21063 o 20819 s OPTIMUM FOUND c Optimal Solution = 20819 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.010 seconds. 0.015u 0.000s 0:00.02 50.0% 0+0k 0+0io 0pf+0w