Warning: no access to tty (Bad file descriptor).
Thus no job control in this shell.
Job name: run-job-WMaxSatz-1.6-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/ChuMinLi/WMaxSatz-1.6
c ----------------------------
c - Weighted Partial MaxSATZ -
c ----------------------------
c Instance info: p wcnf 78 496 894230
WARNING: Ubcsat not found.
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 86461
o 86216
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 82755
o 82510
o 82367
o 82315
o 82120
o 81977
o 81925
o 81146
o 81003
o 80756
o 80613
o 80600
o 80457
o 80339
o 79951
o 79808
o 79561
o 79418
o 79413
o 79270
o 79025
o 78882
o 78830
o 78768
o 76902
o 76759
o 76514
o 76371
o 76319
o 76124
o 75981
o 75929
o 75825
o 75773
o 75707
o 75655
o 75564
o 75319
o 75176
o 75124
o 74929
o 74786
o 74734
o 74598
o 74546
o 74351
o 74208
o 74156
o 72731
o 72588
o 72343
o 72200
o 72148
o 71953
o 71810
o 71758
o 71654
o 71602
o 71536
o 71484
o 71393
o 71148
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 68574
o 68329
o 68186
o 68134
o 68086
o 67943
o 67891
o 67787
o 67735
o 67669
o 67617
o 67522
o 67379
o 67134
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 65720
o 65672
o 65529
o 65477
o 65445
o 65302
o 65250
o 65142
o 64897
o 64754
o 64702
o 64654
o 64511
o 64459
o 64355
o 64303
o 64237
o 64185
o 64090
o 63947
o 63702
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 62288
o 62240
o 62097
o 62045
o 62013
o 61870
o 61818
o 61707
o 61655
o 61607
o 61464
o 61412
o 61380
o 61237
o 61185
o 61129
o 61077
o 61029
o 60886
o 60834
o 60802
o 60659
o 60607
o 60604
o 60552
o 60357
o 60214
o 60162
o 60106
o 59963
o 59911
o 59716
o 59573
o 59521
o 59489
o 59346
o 59294
o 59138
o 58995
o 58943
o 58911
o 58768
o 58716
o 58627
o 58575
o 58543
o 58400
o 58348
o 58192
o 58049
o 57997
o 57965
o 57822
o 57770
o 57713
o 57570
o 57518
o 57486
o 57343
o 57291
o 57268
o 57216
o 57121
o 56978
o 56733
o 56590
o 56538
o 56490
o 56347
o 56295
o 56092
o 55949
o 55897
o 55849
o 55706
o 55654
o 55622
o 55479
o 55427
o 55371
o 55319
o 55271
o 55128
o 55076
o 55044
o 54901
o 54849
o 54760
o 54708
o 54676
o 54533
o 54481
o 54425
o 54373
o 54325
o 54182
o 54130
o 54098
o 53955
o 53903
o 53894
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 53015
o 52824
o 52772
o 52597
o 52545
o 52507
o 52455
o 52280
o 52228
o 52208
o 52156
o 52108
o 51965
o 51913
o 51881
o 51738
o 51686
o 51630
o 51578
o 51530
o 51387
o 51335
o 51303
o 51160
o 51108
o 51017
o 50965
o 50917
o 50774
o 50722
o 50630
o 50578
o 50519
o 50376
o 50324
o 50276
o 50133
o 50081
o 50049
o 49906
o 49854
o 49798
o 49746
o 49698
o 49555
o 49503
o 49471
o 49328
o 49276
o 49271
o 49128
o 49076
o 49011
o 48959
o 48954
o 48811
o 48759
o 48676
o 48624
o 48449
o 48397
o 48249
o 48197
o 48132
o 48080
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 46414
o 46362
o 46171
o 46119
o 45944
o 45892
o 45854
o 45802
o 45627
o 45575
o 45557
o 45519
o 45467
o 45435
o 45292
o 45240
o 45200
o 45148
o 44957
o 44905
o 44730
o 44678
o 44640
o 44588
o 44413
o 44361
o 44338
o 44286
o 44111
o 44059
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 42713
o 42675
o 42623
o 42591
o 42448
o 42396
o 42113
o 42061
o 41886
o 41834
o 41796
o 41744
o 41569
o 41517
o 41459
o 41407
o 41232
o 41180
o 41080
o 41028
o 40915
o 40863
o 40763
o 40711
o 40640
o 40588
o 40530
o 40478
o 40303
o 40251
o 40151
o 40099
o 39986
o 39934
o 39834
o 39782
o 39665
o 39613
o 39555
o 39503
o 39328
o 39276
o 39176
o 39124
o 39011
o 38959
o 38859
o 38807
o 38483
o 38431
o 38166
o 38114
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 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 34799
o 34411
o 34359
o 34094
o 34042
o 33983
o 33931
o 33814
o 33762
o 33488
o 33436
o 33336
o 33284
o 33160
o 33108
o 33008
o 32956
o 32949
o 32897
o 32621
o 32569
o 32534
o 32362
o 31974
o 31922
o 31646
o 31594
o 31538
o 31412
o 31328
o 31220
o 31185
o 31169
o 31061
o 31050
o 30942
o 30437
o 30353
o 30245
o 30093
o 29899
o 29758
o 29634
o 29515
o 29251
o 28818
o 28702
o 28621
o 28424
o 28354
o 27921
o 27621
o 27486
o 27483
o 27183
o 26940
o 26927
o 26772
o 26529
o 26412
o 26381
c Learned clauses = 0
c NB_MONO= 327549, NB_BRANCHE= 1494861, NB_BACK= 747554 
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 0
184.750u 0.003s 3:05.17 99.7%	0+0k 0+0io 0pf+0w