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-9.net.wcnf
Job file: /home/jplanes/evaluation/benchmarks/weightedpartial_crafted/KnotPipatsrisawat/random-net-30-2_network-9.net.wcnf
Job solver: /home/jplanes/evaluation/solvers/HanLin/IncWMaxSatz
c -----------------------------
c Incremental Weighted MaxSATZ
c -----------------------------
o 894230
o 96434
o 93923
o 93533
o 92714
o 90848
o 90705
o 90203
o 88337
o 88194
o 87947
o 87804
o 87791
o 87648
o 87530
o 87142
o 86999
o 86752
o 86609
o 86604
o 86216
o 86164
o 86073
o 86021
o 85959
o 84093
o 83950
o 83705
o 83562
o 83510
o 83315
o 83172
o 83120
o 83016
o 82964
o 82898
o 82846
o 82510
o 82458
o 82367
o 82315
o 82120
o 81977
o 81925
o 81146
o 81003
o 80756
o 80613
o 79951
o 79808
o 79561
o 79418
o 79413
o 79025
o 78973
o 78882
o 78830
o 78768
o 76902
o 76759
o 76514
o 76371
o 76319
o 76124
o 75981
o 75929
o 75707
o 75319
o 75267
o 75176
o 75124
o 74929
o 74786
o 74734
o 74598
o 74546
o 74351
o 74208
o 74156
o 72731
o 72343
o 72291
o 72200
o 72148
o 71953
o 71810
o 71758
o 71536
o 71148
o 71096
o 71005
o 70953
o 70758
o 70615
o 70563
o 70507
o 70364
o 70312
o 70117
o 69974
o 69922
o 69890
o 69747
o 69695
o 69539
o 69396
o 69344
o 69312
o 69169
o 69117
o 68717
o 68329
o 68277
o 68186
o 68134
o 68086
o 67943
o 67891
o 67860
o 67522
o 67134
o 67082
o 66991
o 66939
o 66891
o 66748
o 66696
o 66493
o 66350
o 66298
o 66250
o 66107
o 66055
o 66023
o 65880
o 65828
o 65772
o 65672
o 65529
o 65477
o 65445
o 65302
o 65250
o 64897
o 64845
o 64741
o 64689
o 64623
o 64571
o 64090
o 63702
o 63650
o 63559
o 63507
o 63459
o 63316
o 63264
o 63061
o 62918
o 62866
o 62818
o 62675
o 62623
o 62591
o 62448
o 62396
o 62340
o 62240
o 62097
o 62045
o 62013
o 61870
o 61818
o 61707
o 61607
o 61464
o 61412
o 61380
o 61237
o 61185
o 61129
o 61029
o 60886
o 60834
o 60802
o 60659
o 60607
o 60605
o 60494
o 60106
o 60054
o 59879
o 59827
o 59736
o 59684
o 59573
o 59521
o 59489
o 59346
o 59294
o 59269
o 59160
o 59017
o 58965
o 58933
o 58790
o 58738
o 58627
o 58575
o 58543
o 58400
o 58348
o 58291
o 58148
o 58096
o 58064
o 57921
o 57869
o 57822
o 57770
o 57713
o 57570
o 57518
o 57486
o 57343
o 57291
o 57121
o 56733
o 56681
o 56480
o 56092
o 56040
o 55865
o 55813
o 55722
o 55670
o 55654
o 55622
o 55479
o 55427
o 55402
o 55146
o 55094
o 55003
o 54951
o 54919
o 54776
o 54724
o 54708
o 54676
o 54533
o 54481
o 54424
o 54281
o 54229
o 54197
o 54054
o 54002
o 53955
o 53903
o 53846
o 53703
o 53651
o 53619
o 53476
o 53424
o 53386
o 53334
o 53302
o 53159
o 53107
o 53076
o 53024
o 52824
o 52772
o 52597
o 52545
o 52507
o 52455
o 52280
o 52228
o 52108
o 52056
o 51965
o 51913
o 51881
o 51738
o 51686
o 51507
o 51455
o 51364
o 51312
o 51280
o 51137
o 51085
o 50755
o 50703
o 50612
o 50560
o 50528
o 50385
o 50333
o 50276
o 50133
o 50081
o 50049
o 49906
o 49854
o 49849
o 49706
o 49654
o 49598
o 49546
o 49498
o 49355
o 49303
o 49271
o 49128
o 49076
o 49038
o 48986
o 48954
o 48811
o 48759
o 48513
o 48461
o 48286
o 48234
o 48159
o 48107
o 47932
o 47880
o 47834
o 47782
o 47744
o 47692
o 47660
o 47517
o 47465
o 47425
o 47373
o 47182
o 47130
o 46955
o 46903
o 46865
o 46813
o 46638
o 46586
o 46506
o 46454
o 46171
o 46119
o 45944
o 45892
o 45854
o 45802
o 45627
o 45575
o 45519
o 45467
o 45435
o 45292
o 45240
o 45110
o 45058
o 44957
o 44905
o 44883
o 44831
o 44640
o 44588
o 44413
o 44361
o 44338
o 44286
o 44021
o 43969
o 43794
o 43742
o 43662
o 43610
o 43327
o 43275
o 43100
o 43048
o 43010
o 42958
o 42783
o 42731
o 42675
o 42623
o 42591
o 42448
o 42396
o 42266
o 42214
o 42113
o 42061
o 41796
o 41744
o 41569
o 41517
o 41460
o 41408
o 41407
o 41142
o 41090
o 40915
o 40863
o 40763
o 40711
o 40640
o 40588
o 40531
o 40479
o 40378
o 40326
o 40213
o 40161
o 40061
o 40009
o 39986
o 39834
o 39782
o 39665
o 39613
o 39522
o 39511
o 39470
o 39459
o 39403
o 39351
o 39328
o 39176
o 39124
o 39086
o 39034
o 39011
o 38859
o 38807
o 38483
o 38431
o 38166
o 38114
o 38057
o 38005
o 37829
o 37777
o 37677
o 37625
o 37512
o 37460
o 37360
o 37308
o 37237
o 37185
o 36900
o 36848
o 36748
o 36696
o 36583
o 36531
o 36431
o 36379
o 36262
o 36210
o 36208
o 36119
o 36108
o 36067
o 36056
o 35925
o 35873
o 35773
o 35721
o 35608
o 35556
o 35456
o 35404
o 35386
o 35334
o 35069
o 35017
o 34982
o 34757
o 34705
o 34694
o 34411
o 34359
o 34094
o 34042
o 33983
o 33931
o 33814
o 33762
o 33682
o 33671
o 33630
o 33619
o 33506
o 33495
o 33454
o 33443
o 33354
o 33343
o 33302
o 33291
o 33284
o 33160
o 33108
o 33008
o 32956
o 32949
o 32897
o 32621
o 32569
o 32534
o 32320
o 32268
o 32257
o 31992
o 31940
o 31929
o 31922
o 31646
o 31594
o 31538
o 31412
o 31328
o 31220
o 31185
o 30783
o 30699
o 30591
o 30580
o 30437
o 30353
o 30245
o 30104
o 30093
o 29910
o 29899
o 29758
o 29634
o 29515
o 29251
o 28818
o 28713
o 28702
o 28621
o 28619
o 28354
o 27921
o 27621
o 27486
o 27483
o 27183
o 26940
o 26927
o 26772
o 26529
o 26412
o 26381
s OPTIMUM FOUND
c Optimal Solution = 26381
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
c Program terminated in 6.140 seconds.
6.146u 0.000s 0:06.16 99.6%	0+0k 0+0io 0pf+0w