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-9.net.wcnf
Job file: /home/jplanes/evaluation/benchmarks/weightedpartial_crafted/KnotPipatsrisawat/random-net-20-2_network-9.net.wcnf
Job solver: /home/jplanes/evaluation/solvers/HanLin/IncWMaxSatz
c -----------------------------
c Incremental Weighted MaxSATZ
c -----------------------------
o 592104
o 73287
o 71548
o 70279
o 69140
o 67501
o 66866
o 65727
o 64088
o 63435
o 63051
o 62915
o 61276
o 60195
o 59004
o 57863
o 56782
o 55591
o 54938
o 54751
o 54098
o 53326
o 52245
o 51054
o 50401
o 50354
o 49213
o 48132
o 46941
o 46288
o 46254
o 45601
o 45392
o 45304
o 44651
o 44201
o 44097
o 43444
o 43257
o 42604
o 42378
o 41725
o 41187
o 40534
o 39928
o 39881
o 38740
o 37659
o 36468
o 35815
o 35781
o 35128
o 34760
o 34107
o 33728
o 33157
o 32707
o 32631
o 31944
o 31440
o 30753
o 30100
o 29766
o 29732
o 29079
o 28700
o 28129
o 27679
o 27425
o 27233
o 27091
o 26899
o 26404
o 26212
o 26025
o 25833
o 25691
o 25499
o 25454
o 25004
o 24812
o 24672
o 24382
o 23985
o 23942
o 23750
o 23599
o 23320
o 22923
o 22739
o 22380
o 22188
o 22086
o 21987
o 21729
o 21537
o 21525
o 21361
o 21259
o 21160
o 21107
o 20710
o 20698
o 20615
o 20325
o 20133
o 20110
o 20088
o 20043
o 19593
o 19401
o 19306
o 19283
o 19261
o 18971
o 18574
o 18414
o 18010
o 17882
o 17478
o 17463
o 17360
o 17345
o 17342
o 17139
o 17124
s OPTIMUM FOUND
c Optimal Solution = 17124
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 56
c Program terminated in 0.070 seconds.
0.069u 0.002s 0:00.07 85.7%	0+0k 0+0io 0pf+0w