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-30-2_network-10.net.wcnf
Job file: /home/jplanes/evaluation/benchmarks/weightedpartial_crafted/KnotPipatsrisawat/random-net-30-2_network-10.net.wcnf
Job solver: /home/jplanes/evaluation/solvers/HanLin/IncWMaxSatz
c -----------------------------
c Incremental Weighted MaxSATZ
c -----------------------------
o 934139
o 85645
o 84970
o 84786
o 84347
o 83694
o 83280
o 82868
o 82835
o 82396
o 81982
o 81570
o 81297
o 80885
o 80496
o 80342
o 79953
o 79751
o 79718
o 79279
o 78865
o 78453
o 78180
o 77768
o 77379
o 77312
o 76923
o 76773
o 76771
o 76332
o 75918
o 75506
o 75233
o 74821
o 74432
o 74365
o 73976
o 73788
o 73399
o 73014
o 72741
o 72329
o 71940
o 71873
o 71484
o 71296
o 70907
o 70905
o 70717
o 70328
o 70080
o 69892
o 69503
o 69288
o 69271
o 69244
o 68832
o 68443
o 68293
o 68291
o 67852
o 67438
o 67026
o 66753
o 66341
o 65952
o 65885
o 65496
o 65308
o 64919
o 64534
o 64261
o 63849
o 63460
o 63393
o 63004
o 62816
o 62427
o 62425
o 62237
o 61848
o 61824
o 61412
o 61023
o 60903
o 60689
o 60569
o 60565
o 60318
o 60294
o 59882
o 59493
o 59373
o 59308
o 59188
o 59184
o 59145
o 59025
o 58958
o 58849
o 58689
o 58569
o 58541
o 58501
o 58381
o 58272
o 58112
o 57992
o 57984
o 57980
o 57668
o 57664
o 57613
o 57279
o 57275
o 57159
o 57155
o 56908
o 56788
o 56764
o 56472
o 56352
o 56083
o 55963
o 55898
o 55894
o 55778
o 55774
o 55687
o 55527
o 55407
o 55383
o 55381
o 55251
o 55091
o 54971
o 54862
o 54702
o 54582
o 54570
o 54503
o 54114
o 53994
o 53929
o 53925
o 53809
o 53805
o 53718
o 53558
o 53438
o 53412
o 53282
o 53122
o 53023
o 52893
o 52733
o 52613
o 52610
o 52586
o 52464
o 52334
o 52174
o 52075
o 51945
o 51785
o 51754
o 51750
o 51629
o 51469
o 51383
o 51359
o 51323
o 51193
o 51033
o 50947
o 50934
o 50804
o 50644
o 50558
o 50407
o 50018
o 49991
o 49579
o 49190
o 49159
o 49155
o 49054
o 48968
o 48877
o 48850
o 48438
o 48352
o 48049
o 47963
o 47958
o 47798
o 47676
o 47546
o 47386
o 47300
o 47242
o 47216
o 47158
o 46880
o 46760
o 46702
o 46678
o 46620
o 46344
o 45932
o 45874
o 45796
o 45710
o 45652
o 45537
o 45203
o 44791
o 44733
o 44705
o 44647
o 44507
o 44421
o 44198
o 43809
o 43723
o 43623
o 43503
o 43424
o 43087
o 42675
o 42539
o 42453
o 42283
o 42197
o 41946
o 41534
o 41448
o 41345
o 41164
o 40906
o 40848
o 40820
o 40762
o 40734
o 40692
o 40578
o 40536
o 40492
o 40450
o 40408
o 40294
o 40252
o 40030
o 39988
o 39857
o 39815
o 39704
o 39445
o 39403
o 39289
o 39247
o 39203
o 39161
o 39159
o 39115
o 39073
o 38917
o 38875
o 38755
o 38713
o 38582
o 38540
o 38429
o 38170
o 38128
o 37912
o 37870
o 37826
o 37784
o 37782
o 37605
o 37563
o 37452
o 37193
o 37151
o 37037
o 36995
o 36951
o 36909
o 36907
o 36863
o 36821
o 36744
o 36702
o 36589
o 36330
o 36288
o 36177
o 35918
o 35876
o 35660
o 35618
o 35574
o 35532
o 35449
o 35190
o 35148
o 34932
o 34890
o 34846
o 34804
o 34796
o 34754
o 34538
o 34496
o 34456
o 34414
o 34410
o 34370
o 34328
o 34242
o 34240
o 34158
o 33934
o 33852
o 33848
o 33766
o 33694
o 33511
o 33425
o 33253
o 33167
o 33117
o 33035
o 33031
o 32949
o 32859
o 32777
o 32773
o 32691
o 32680
o 32601
o 32559
o 32464
o 32422
o 32384
o 32168
o 32126
o 32106
o 32089
o 31994
o 31952
o 31873
o 31831
o 31736
o 31694
o 31692
o 31650
o 31479
o 31437
o 31342
o 31300
o 31260
o 31218
o 31132
o 31130
o 31048
o 30875
o 30793
o 30738
o 30656
o 30584
o 30452
o 30315
o 30194
o 30057
o 29976
o 29921
o 29839
o 29800
o 29718
o 29663
o 29581
o 29404
o 29146
o 29010
o 28928
o 28752
o 28670
o 28521
o 28439
o 28411
o 28153
o 28107
o 28024
o 27920
o 27672
o 27630
o 27548
o 27526
o 27444
o 27278
o 27196
o 27047
o 26965
o 26927
o 26679
s OPTIMUM FOUND
c Optimal Solution = 26679
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 -57 -58 -59 60 -61 -62 -63 64 -65 -66 67 -68 -69 70 -71 -72 -73 74 -75 -76 -77 78 79 -80 -81 82 -83
c Program terminated in 9.530 seconds.
9.534u 0.001s 0:09.55 99.7%	0+0k 0+0io 0pf+0w