Warning: no access to tty (Bad file descriptor).
Thus no job control in this shell.
Job name: run-job-WMaxSatz-2.5-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/ChuMinLi/WMaxSatz-2.5
c ----------------------------
c - Weighted Partial MaxSATZ -
c ----------------------------
c Instance info: p wcnf 83 528 934139
WARNING: Ubcsat not found.
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 73855
o 73788
o 73399
o 73014
o 72741
o 72329
o 71940
o 71873
o 71484
o 71363
o 71296
o 70907
o 70905
o 70784
o 70717
o 70328
o 70080
o 69959
o 69892
o 69503
o 69288
o 68899
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 65375
o 65308
o 64919
o 64534
o 64261
o 63849
o 63460
o 63393
o 63004
o 62883
o 62816
o 62427
o 62425
o 62304
o 62237
o 61848
o 61600
o 61479
o 61412
o 61023
o 60903
o 60689
o 60569
o 60565
o 60318
o 60070
o 59949
o 59882
o 59493
o 59373
o 59308
o 59188
o 59184
o 59097
o 58937
o 58849
o 58689
o 58568
o 58501
o 58402
o 58272
o 58112
o 57992
o 57613
o 57493
o 57279
o 57159
o 57155
o 56908
o 56539
o 56472
o 56083
o 55963
o 55898
o 55778
o 55774
o 55687
o 55527
o 55448
o 55318
o 55158
o 55091
o 54992
o 54862
o 54702
o 54582
o 54570
o 54503
o 54114
o 53994
o 53929
o 53809
o 53805
o 53718
o 53558
o 53479
o 53349
o 53189
o 53122
o 53023
o 52893
o 52733
o 52613
o 52610
o 52464
o 52334
o 52174
o 52075
o 51945
o 51785
o 51754
o 51750
o 51629
o 51469
o 51383
o 51323
o 51193
o 51033
o 50947
o 50934
o 50804
o 50644
o 50558
o 50527
o 50138
o 50018
o 49991
o 49579
o 49190
o 49159
o 49155
o 49054
o 48968
o 48850
o 48438
o 48352
o 48049
o 47963
o 47676
o 47546
o 47386
o 47300
o 47242
o 46880
o 46822
o 46760
o 46702
o 46678
o 46620
o 46517
o 46344
o 45932
o 45874
o 45537
o 45451
o 45393
o 45376
o 45203
o 44791
o 44705
o 44647
o 44507
o 44421
o 44198
o 44112
o 43809
o 43723
o 43623
o 43503
o 43424
o 43260
o 43087
o 42675
o 42539
o 42453
o 42283
o 42197
o 42119
o 41946
o 41534
o 41448
o 41164
o 41078
o 41020
o 40906
o 40820
o 40762
o 40586
o 40544
o 40430
o 40388
o 40364
o 40322
o 40294
o 40252
o 40208
o 40166
o 40030
o 39988
o 39815
o 39704
o 39445
o 39403
o 39359
o 39317
o 39289
o 39247
o 39203
o 39161
o 39053
o 39011
o 38917
o 38875
o 38831
o 38789
o 38755
o 38713
o 38540
o 38429
o 38170
o 38128
o 38084
o 38042
o 37912
o 37870
o 37826
o 37784
o 37782
o 37563
o 37452
o 37193
o 37151
o 37107
o 37065
o 37037
o 36995
o 36951
o 36909
o 36801
o 36759
o 36702
o 36589
o 36330
o 36288
o 36177
o 35918
o 35876
o 35832
o 35790
o 35660
o 35618
o 35574
o 35532
o 35449
o 35190
o 35148
o 35104
o 35062
o 34932
o 34890
o 34846
o 34804
o 34796
o 34754
o 34714
o 34672
o 34668
o 34628
o 34586
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 32601
o 32559
o 32464
o 32422
o 32288
o 32246
o 32168
o 32126
o 32089
o 32067
o 32025
o 31873
o 31831
o 31736
o 31694
o 31692
o 31650
o 31613
o 31591
o 31549
o 31479
o 31437
o 31397
o 31355
o 31342
o 31300
o 31260
o 31218
o 31132
o 31130
o 31048
o 30987
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 27672
o 27630
o 27548
o 27278
o 27196
o 27047
o 26965
o 26679
c Learned clauses = 0
c NB_MONO= 239688, NB_BRANCHE= 916368, NB_BACK= 458334 
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 0
158.615u 0.013s 2:38.89 99.8%	0+0k 0+0io 0pf+0w