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_AUCTIONS_AUC_PATHS_cat_paths_60_130_0002.txt.wcnf
Job file: /home/jplanes/evaluation/benchmarks/weightedpartial_crafted/AUCTIONS/AUC_PATHS/cat_paths_60_130_0002.txt.wcnf
Job solver: /home/jplanes/evaluation/solvers/ChuMinLi/WMaxSatz-1.6
c ----------------------------
c - Weighted Partial MaxSATZ -
c ----------------------------
c Instance info: p wcnf 134 1487 89914
WARNING: Ubcsat not found.
o 89914
o 76743
o 76698
o 76657
o 76541
o 76496
o 76455
o 76411
o 76366
o 76325
o 76292
o 76248
o 76203
o 76162
o 76149
o 76108
o 76064
o 76019
o 75978
o 75945
o 75901
o 75856
o 75815
o 75798
o 75754
o 75709
o 75668
o 75655
o 75614
o 75570
o 75525
o 75484
o 75451
o 75407
o 75362
o 75321
o 75277
o 75232
o 75191
o 75158
o 75114
o 75069
o 75028
o 75022
o 74977
o 74965
o 74924
o 74918
o 74873
o 74851
o 74833
o 74806
o 74792
o 74765
o 74759
o 74732
o 74715
o 74688
o 74670
o 74643
o 74629
o 74602
o 74596
o 74578
o 74551
o 74539
o 74525
o 74498
o 74492
o 74474
o 74447
o 74430
o 74424
o 74406
o 74379
o 74367
o 74353
o 74326
o 74320
o 74302
o 74275
o 74249
o 74164
o 74119
o 74086
o 74001
o 73956
o 73897
o 73852
o 73850
o 73823
o 73765
o 73738
o 73720
o 73693
o 73687
o 73660
o 73602
o 73575
o 73557
o 73530
o 73498
o 73471
o 73453
o 73426
o 73414
o 73403
o 73385
o 73358
o 73355
o 73337
o 73310
o 73299
o 73281
o 73254
o 73228
o 73216
o 73205
o 73187
o 73160
o 73157
o 73139
o 73112
o 73101
o 73083
o 73056
o 73055
o 73028
o 73001
o 72989
o 72987
o 72960
o 72933
o 72912
o 72885
o 72883
o 72856
o 72829
o 72803
o 72791
o 72789
o 72762
o 72735
o 72714
o 72687
o 72685
o 72658
o 72631
o 72621
o 72611
o 72566
o 72554
o 72543
o 72498
o 72495
o 72450
o 72439
o 72394
o 72368
o 72356
o 72345
o 72300
o 72297
o 72252
o 72241
o 72196
o 72193
o 72167
o 72155
o 72153
o 72126
o 72099
o 72078
o 72051
o 72049
o 72022
o 71995
o 71985
o 71975
o 71930
o 71918
o 71907
o 71862
o 71859
o 71814
o 71803
o 71758
o 71732
o 71720
o 71709
o 71664
o 71661
o 71616
o 71605
o 71560
o 71486
o 71441
o 71430
o 71385
c Learned clauses = 0
c NB_MONO= 46765955, NB_BRANCHE= 45009573, NB_BACK= 24932960 
s OPTIMUM FOUND
c Optimal Solution = 71385
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 -93 -94 -95 -96 -97 98 -99 -100 -101 102 -103 -104 -105 -106 -107 108 -109 -110 -111 112 -113 -114 115 -116 -117 -118 -119 -120 -121 122 123 124 -125 -126 -127 -128 129 130 -131 -132 -133 -134 0
630.518u 0.084s 10:31.76 99.8%	0+0k 0+0io 0pf+0w