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-2.net.wcnf
Job file: /home/jplanes/evaluation/benchmarks/weightedpartial_crafted/KnotPipatsrisawat/random-net-30-2_network-2.net.wcnf
Job solver: /home/jplanes/evaluation/solvers/ChuMinLi/WMaxSatz-1.6
c ----------------------------
c - Weighted Partial MaxSATZ -
c ----------------------------
c Instance info: p wcnf 92 785 1632199
WARNING: Ubcsat not found.
o 1632199
o 96478
o 96406
o 95932
o 95367
o 95347
o 94384
o 94312
o 93838
o 93273
o 91945
o 91873
o 91399
o 90834
o 90440
o 90368
o 89894
o 89329
o 89309
o 88346
o 88274
o 87800
o 87235
o 85907
o 85835
o 85361
o 84796
o 84737
o 84508
o 83943
o 83498
o 83345
o 82721
o 82649
o 82175
o 81610
o 81551
o 81322
o 80757
o 80312
o 79813
o 79793
o 78830
o 78758
o 78284
o 77719
o 77466
o 76391
o 76319
o 75845
o 75280
o 75221
o 74992
o 74427
o 73982
o 73829
o 73205
o 73133
o 72659
o 72094
o 72035
o 71806
o 71241
o 70796
o 70607
o 70249
o 70177
o 70061
o 69703
o 69496
o 69138
o 69079
o 68850
o 68643
o 68285
o 68198
o 67840
o 67565
o 67120
o 66864
o 66836
o 66478
o 66419
o 66190
o 65983
o 65625
o 65538
o 65180
o 64905
o 64460
o 64341
o 64282
o 64053
o 63846
o 63488
o 63401
o 63043
o 62768
o 62323
o 62179
o 62143
o 61828
o 61263
o 61017
o 60743
o 60536
o 60178
o 60042
o 59776
o 59418
o 59346
o 59230
o 58872
o 58665
o 58307
o 58152
o 57587
o 57518
o 57331
o 57116
o 56758
o 56686
o 56570
o 56212
o 56005
o 55647
o 55492
o 54927
o 54621
o 54549
o 54433
o 54075
o 53868
o 53510
o 53355
o 52790
o 52646
o 52610
o 52440
o 51720
o 51576
o 51540
o 51511
o 51367
o 51331
o 51307
o 51042
o 50898
o 50862
o 50845
o 50701
o 50665
o 50535
o 50380
o 50355
o 49815
o 49509
o 49437
o 49321
o 48963
o 48756
o 48398
o 48243
o 48218
o 47678
o 47534
o 47498
o 47328
o 47148
o 46608
o 46464
o 46428
o 46380
o 46002
o 45858
o 45822
o 45794
o 45758
o 45721
o 45685
o 45656
o 45533
o 45389
o 45353
o 45325
o 45289
o 45252
o 45216
o 45192
o 45156
o 45128
o 45092
o 45055
o 45019
o 44992
o 44986
o 44958
o 44922
o 44885
o 44849
o 44760
o 44724
o 44696
o 44660
o 44623
o 44587
o 44581
o 44566
o 44544
o 44530
o 44508
o 44179
o 43999
o 43459
o 43315
o 43279
o 43231
o 43087
o 43051
o 43023
o 42987
o 42950
o 42914
o 42825
o 42789
o 42761
o 42725
o 42688
o 42652
o 42646
o 42631
o 42609
o 42595
o 42573
o 42558
o 42532
o 41992
o 41848
o 41812
o 41764
o 41620
o 41584
o 41556
o 41520
o 41483
o 41447
o 41358
o 41322
o 41294
o 41258
o 41221
o 41185
o 41179
o 41164
o 41142
o 41128
o 41106
o 41091
o 40675
o 40551
o 40531
o 40495
o 40407
o 40371
o 40323
o 40303
o 40267
o 40179
o 40143
o 40115
o 40079
o 40042
o 40006
o 40005
o 39917
o 39881
o 39853
o 39817
o 39780
o 39744
o 39738
o 39723
o 39701
o 39687
o 39665
o 39650
o 39208
o 39084
o 39064
o 39028
o 38940
o 38904
o 38856
o 38836
o 38800
o 38712
o 38676
o 38648
o 38612
o 38575
o 38539
o 38538
o 38450
o 38414
o 38386
o 38350
o 38313
o 38277
o 38271
o 38256
o 38234
o 38220
o 38198
o 38183
o 38164
o 38040
o 38026
o 37953
o 37627
o 37503
o 37439
o 37366
o 37158
o 37034
o 36970
o 36897
o 36697
o 36573
o 36559
o 36486
o 36160
o 36036
o 35972
o 35899
o 35691
o 35567
o 35503
o 35430
o 35413
o 35310
o 35273
o 34982
o 34970
o 34721
o 34430
o 34395
o 34383
o 34134
o 33843
o 33707
o 33416
o 33069
o 32820
o 32529
o 32452
o 32295
o 32081
o 31790
o 31756
o 31743
o 31623
o 31610
c Learned clauses = 0
c NB_MONO= 1256406, NB_BRANCHE= 5471041, NB_BACK= 2736035 
s OPTIMUM FOUND
c Optimal Solution = 31610
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 84 -85 -86 -87 -88 89 -90 -91 92 0
1269.039u 0.016s 41:50.81 50.5%	0+0k 0+0io 0pf+0w