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-7.net.wcnf Job file: /home/jplanes/evaluation/benchmarks/weightedpartial_crafted/KnotPipatsrisawat/random-net-20-2_network-7.net.wcnf Job solver: /home/jplanes/evaluation/solvers/HanLin/IncWMaxSatz c ----------------------------- c Incremental Weighted MaxSATZ c ----------------------------- o 711813 o 67850 o 66318 o 65007 o 64437 o 62991 o 61680 o 61173 o 60603 o 60243 o 60061 o 59157 o 58932 o 58750 o 57846 o 57825 o 57255 o 56911 o 55809 o 55600 o 54498 o 53991 o 53421 o 53077 o 53061 o 52879 o 51975 o 51766 o 51750 o 51568 o 50664 o 50281 o 49380 o 48873 o 48303 o 47959 o 47943 o 47761 o 46857 o 46648 o 46632 o 46450 o 45546 o 45313 o 45104 o 45088 o 44906 o 44002 o 43099 o 42941 o 42037 o 41828 o 41812 o 41630 o 40726 o 40493 o 40410 o 40177 o 39968 o 39952 o 39770 o 38866 o 37963 o 37823 o 36919 o 36710 o 36694 o 36512 o 35608 o 35375 o 35166 o 35150 o 34968 o 34064 o 33161 o 32928 o 32739 o 32690 o 31786 o 30883 o 30650 o 30633 o 30553 o 30335 o 30320 o 30102 o 29436 o 29203 o 29202 o 28358 o 28339 o 28125 o 28106 o 28089 o 27936 o 27917 o 27703 o 27684 o 27525 o 27074 o 27073 o 26859 o 26858 o 26841 o 26840 o 26626 o 26625 o 25996 o 25977 o 25781 o 25762 o 25744 o 25548 o 25529 o 25512 o 25359 o 25340 o 25322 o 25126 o 25107 o 24735 o 24716 o 24502 o 24483 o 24466 o 24313 o 24294 o 24080 o 24061 o 24041 o 23808 o 23791 o 23619 o 23386 o 23358 o 23341 o 23169 o 23151 o 22936 o 22545 o 22528 o 22312 o 22295 o 22123 o 21890 o 21886 o 21767 o 21748 o 21731 o 21695 o 21296 o 21277 o 20859 o 20840 o 20602 o 20165 o 20152 o 19930 o 19715 o 19577 o 19560 o 19170 o 19106 o 18669 s OPTIMUM FOUND c Optimal Solution = 18669 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 c Program terminated in 0.130 seconds. 0.131u 0.002s 0:00.13 100.0% 0+0k 0+0io 0pf+0w