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-10.net.wcnf
Job file: /home/jplanes/evaluation/benchmarks/weightedpartial_crafted/KnotPipatsrisawat/random-net-20-2_network-10.net.wcnf
Job solver: /home/jplanes/evaluation/solvers/HanLin/IncWMaxSatz
c -----------------------------
c Incremental Weighted MaxSATZ
c -----------------------------
o 444616
o 50438
o 49617
o 48047
o 46650
o 46215
o 44818
o 44675
o 43278
o 42960
o 42817
o 41420
o 41317
o 39920
o 39065
o 38530
o 37525
o 36990
o 35667
o 35132
o 34167
o 33632
o 33519
o 32984
o 32968
o 32805
o 32019
o 31484
o 31189
o 31032
o 30654
o 30558
o 30023
o 29705
o 29562
o 28700
o 28165
o 28062
o 27200
o 26665
o 26594
o 26591
o 26451
o 25589
o 25054
o 25044
o 25032
o 24911
o 24664
o 24376
o 24055
o 23767
o 23196
o 22661
o 22651
o 22639
o 22518
o 22271
o 21983
o 21662
o 21374
o 20816
o 20722
o 20712
o 20700
o 20426
o 20138
o 20044
o 19749
o 19193
o 19171
o 19077
o 18789
o 18601
o 18579
o 18576
o 18566
o 18556
o 18546
o 18534
o 18186
o 17898
o 17878
o 17647
o 17359
s OPTIMUM FOUND
c Optimal Solution = 17359
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
c Program terminated in 0.020 seconds.
0.028u 0.002s 0:00.03 66.6%	0+0k 0+0io 0pf+0w