Warning: no access to tty (Bad file descriptor).
Thus no job control in this shell.
Job name: run-job-WMaxSatz-1.6-weightedpartial_random-_home_jplanes_evaluation_benchmarks_weightedpartial_random_wpmax2sat_hi_file_rwpms_wcnf_L2_V150_C4500_H150_9.wcnf
Job file: /home/jplanes/evaluation/benchmarks/weightedpartial_random/wpmax2sat/hi/file_rwpms_wcnf_L2_V150_C4500_H150_9.wcnf
Job solver: /home/jplanes/evaluation/solvers/ChuMinLi/WMaxSatz-1.6
c ----------------------------
c - Weighted Partial MaxSATZ -
c ----------------------------
c Instance info: p wcnf 150 4500 24998
WARNING: Ubcsat not found.
o 24998
o 5409
o 5407
o 5395
o 5388
o 5384
o 5366
o 5365
o 5363
o 5362
o 5353
o 5352
o 5348
o 5339
o 5338
o 5336
o 5335
o 5330
o 5329
o 5328
o 5327
o 5323
o 5322
o 5318
o 5317
o 5316
o 5313
o 5310
o 5309
o 5308
o 5307
o 5305
o 5302
o 5301
o 5300
o 5298
o 5297
o 5296
o 5292
o 5288
o 5283
o 5281
o 5279
o 5277
o 5275
o 5271
o 5270
o 5269
o 5263
o 5262
o 5261
o 5259
o 5253
o 5247
o 5245
o 5244
o 5242
o 5240
o 5239
o 5238
o 5237
o 5235
o 5226
o 5224
o 5223
o 5213
o 5207
o 5205
o 5204
o 5200
o 5198
o 5195
o 5193
o 5189
o 5182
o 5178
o 5177
o 5176
o 5173
o 5170
o 5169
o 5168
o 5167
o 5166
o 5165
o 5163
o 5158
o 5155
o 5154
o 5150
o 5147
o 5145
o 5144
o 5141
o 5140
o 5138
o 5136
o 5135
o 5123
o 5122
o 5120
o 5119
o 5117
o 5108
o 5107
o 5106
o 5103
o 5102
o 5091
o 5090
o 5084
o 5082
o 5080
o 5078
o 5075
o 5065
o 5064
o 5057
o 5056
o 5053
o 5049
o 5044
o 5043
o 5041
o 5039
o 5030
o 5023
c Learned clauses = 0
c NB_MONO= 464, NB_BRANCHE= 13082, NB_BACK= 6582 
s OPTIMUM FOUND
c Optimal Solution = 5023
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
112.267u 0.027s 1:52.54 99.7%	0+0k 0+0io 0pf+0w