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_AUCTIONS_AUC_PATHS_cat_paths_60_150_0000.txt.wcnf
Job file: /home/jplanes/evaluation/benchmarks/weightedpartial_crafted/AUCTIONS/AUC_PATHS/cat_paths_60_150_0000.txt.wcnf
Job solver: /home/jplanes/evaluation/solvers/ChuMinLi/WMaxSatz-2.5
c ----------------------------
c - Weighted Partial MaxSATZ -
c ----------------------------
c Instance info: p wcnf 150 2097 99460
WARNING: Ubcsat not found.
o 99460
o 89395
o 89371
o 89361
o 89201
o 89177
o 89167
o 89136
o 89112
o 89102
o 88942
o 88918
o 88908
o 88786
o 88762
o 88752
o 88735
o 88711
o 88701
o 88541
o 88517
o 88507
o 88385
o 88361
o 88351
o 88300
o 88276
o 88266
o 88144
o 88120
o 88110
o 88078
o 88054
o 88044
o 87922
o 87898
o 87888
o 87837
o 87813
o 87803
o 87681
o 87657
o 87647
o 87635
o 87611
o 87601
o 87479
o 87455
o 87445
o 87413
o 87389
o 87379
o 87257
o 87233
o 87223
o 87172
o 87148
o 87138
o 87016
o 86992
o 86982
o 86893
o 86869
o 86859
o 86847
o 86823
o 86813
o 86691
o 86667
o 86657
o 86629
o 86605
o 86595
o 86384
o 86360
o 86350
o 86228
o 86204
o 86194
o 86150
o 86126
o 86116
o 86088
o 86064
o 86054
o 85843
o 85819
o 85809
o 85687
o 85663
o 85653
o 85601
o 85577
o 85567
o 85544
o 85520
o 85510
o 85388
o 85364
o 85354
o 85302
o 85278
o 85268
o 85248
o 85238
o 85227
o 85217
o 85197
o 85187
o 85119
o 85095
o 85085
o 85057
o 85033
o 85023
o 84812
o 84788
o 84778
o 84656
o 84632
o 84622
o 84570
o 84546
o 84536
o 84513
o 84489
o 84479
o 84357
o 84333
o 84323
o 84271
o 84247
o 84237
o 84217
o 84207
o 84196
o 84186
o 84166
o 84156
o 84117
o 84093
o 84083
o 84063
o 84053
o 84042
o 84032
o 84012
o 84002
o 83981
o 83951
o 83878
o 83848
o 83827
o 83797
o 83747
o 83723
o 83713
o 83620
o 83596
o 83586
o 83569
o 83545
o 83535
o 83466
o 83442
o 83432
o 83415
o 83391
o 83381
o 83330
o 83227
o 83176
o 83150
o 83126
o 83099
o 83075
o 83036
o 82991
o 82971
o 82926
o 82921
o 82894
o 82870
o 82831
o 82786
o 82775
o 82724
o 82697
o 82570
o 82519
o 82460
o 82409
o 82364
o 82275
o 82224
o 82179
c Learned clauses = 0
c NB_MONO= 93047871, NB_BRANCHE= 93102933, NB_BACK= 53998133 
s OPTIMUM FOUND
c Optimal Solution = 82179
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 -135 -136 -137 -138 -139 -140 141 142 143 -144 -145 -146 147 -148 -149 -150 0
1351.843u 0.020s 22:34.03 99.8%	0+0k 0+0io 0pf+0w