Warning: no access to tty (Bad file descriptor).
Thus no job control in this shell.
Job name: run-job-IncWMaxSatz-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/HanLin/IncWMaxSatz
c -----------------------------
c Incremental Weighted MaxSATZ
c -----------------------------
o 24998
o 5354
o 5350
o 5331
o 5327
o 5324
o 5302
o 5298
o 5297
o 5296
o 5290
o 5286
o 5285
o 5278
o 5270
o 5268
o 5265
o 5263
o 5259
o 5257
o 5254
o 5252
o 5249
o 5247
o 5245
o 5242
o 5241
o 5236
o 5233
o 5231
o 5229
o 5225
o 5222
o 5221
o 5211
o 5208
o 5207
o 5206
o 5198
o 5196
o 5194
o 5190
o 5185
o 5183
o 5173
o 5170
o 5169
o 5168
o 5161
o 5157
o 5154
o 5151
o 5149
o 5146
o 5145
o 5142
o 5140
o 5134
o 5131
o 5130
o 5128
o 5127
o 5122
o 5118
o 5112
o 5109
o 5104
o 5102
o 5099
o 5098
o 5090
o 5081
o 5079
o 5078
o 5077
o 5076
o 5075
o 5073
o 5071
o 5068
o 5064
o 5056
o 5054
o 5053
o 5049
o 5043
o 5041
o 5039
o 5030
o 5023
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
c Program terminated in 101.890 seconds.
101.880u 0.023s 1:41.97 99.9%	0+0k 0+0io 0pf+0w