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-6.net.wcnf
Job file: /home/jplanes/evaluation/benchmarks/weightedpartial_crafted/KnotPipatsrisawat/random-net-20-2_network-6.net.wcnf
Job solver: /home/jplanes/evaluation/solvers/HanLin/IncWMaxSatz
c -----------------------------
c Incremental Weighted MaxSATZ
c -----------------------------
o 713000
o 63131
o 62085
o 60118
o 59610
o 58439
o 57364
o 56999
o 56318
o 55953
o 55426
o 54351
o 53986
o 53843
o 53478
o 53258
o 53115
o 52750
o 52565
o 51490
o 51125
o 50982
o 50617
o 50144
o 49069
o 48704
o 48561
o 48196
o 47218
o 46853
o 46710
o 46345
o 45525
o 45160
o 45017
o 44652
o 44074
o 43709
o 43673
o 43492
o 43349
o 43201
o 43165
o 42984
o 42223
o 41858
o 41822
o 41641
o 41498
o 41350
o 41314
o 41133
o 40530
o 40165
o 40129
o 39948
o 39805
o 39657
o 39621
o 39440
o 39328
o 39292
o 39111
o 38917
o 37842
o 37477
o 37441
o 37260
o 37224
o 36149
o 35784
o 35748
o 35567
o 35516
o 35091
o 35055
o 34874
o 34726
o 34690
o 34509
o 33898
o 33533
o 33523
o 33398
o 33033
o 32997
o 32816
o 32689
o 32540
o 32508
o 32143
o 31212
o 30847
o 30815
o 30450
o 30399
o 30120
o 29789
o 29757
o 29392
o 28961
o 28596
o 28586
o 28461
o 28096
o 28064
o 27699
o 27564
o 27532
o 27167
o 27132
o 26864
o 26735
o 26729
o 26600
o 26332
o 26203
o 26155
o 26145
o 25655
o 25290
o 25021
o 24758
o 24489
o 24367
o 24098
o 24053
o 23835
o 23566
o 23527
o 23254
o 23162
o 22889
o 22630
o 22357
o 22188
o 22003
o 21886
o 21806
o 21800
o 21761
o 21582
o 21492
o 21313
o 21220
o 21128
o 20855
o 20738
o 20597
o 20469
o 20283
o 20104
o 20032
o 19882
o 19824
o 19760
o 19673
o 19571
o 19556
o 19415
o 19313
o 19291
o 19112
o 19078
o 18922
o 18820
o 18773
o 18631
o 18488
o 18309
s OPTIMUM FOUND
c Optimal Solution = 18309
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.330 seconds.
0.334u 0.001s 0:00.34 97.0%	0+0k 0+0io 0pf+0w