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-4.net.wcnf
Job file: /home/jplanes/evaluation/benchmarks/weightedpartial_crafted/KnotPipatsrisawat/random-net-20-2_network-4.net.wcnf
Job solver: /home/jplanes/evaluation/solvers/HanLin/IncWMaxSatz
c -----------------------------
c Incremental Weighted MaxSATZ
c -----------------------------
o 588472
o 52859
o 51424
o 50771
o 49581
o 48928
o 48734
o 47803
o 47150
o 45960
o 45307
o 45113
o 44913
o 44719
o 43507
o 43313
o 42854
o 42660
o 42580
o 42109
o 41915
o 41456
o 41262
o 41076
o 39886
o 39233
o 39039
o 38839
o 38645
o 38494
o 38035
o 37841
o 37655
o 36465
o 35812
o 35618
o 35418
o 35224
o 34943
o 34749
o 34290
o 34096
o 33910
o 32720
o 32067
o 31873
o 31673
o 31479
o 30940
o 30746
o 30287
o 30093
o 29893
o 29699
o 29418
o 29224
o 28765
o 28571
o 28385
o 27195
o 26542
o 26348
o 26148
o 25954
o 25820
o 25805
o 25282
o 25088
o 24954
o 24888
o 24694
o 24560
o 23906
o 23712
o 23512
o 23318
o 22384
o 22190
o 22004
o 20161
o 19967
o 19767
o 19573
o 19439
o 18885
o 18697
o 18547
o 18503
o 18353
o 17800
o 17666
o 16825
o 16637
o 16487
o 16429
o 16241
o 16091
s OPTIMUM FOUND
c Optimal Solution = 16091
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
c Program terminated in 0.030 seconds.
0.035u 0.001s 0:00.04 75.0%	0+0k 0+0io 0pf+0w