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_C4000_H150_3.wcnf
Job file: /home/jplanes/evaluation/benchmarks/weightedpartial_random/wpmax2sat/hi/file_rwpms_wcnf_L2_V150_C4000_H150_3.wcnf
Job solver: /home/jplanes/evaluation/solvers/HanLin/IncWMaxSatz
c -----------------------------
c Incremental Weighted MaxSATZ
c -----------------------------
o 22017
o 4356
o 4347
o 4346
o 4333
o 4327
o 4325
o 4321
o 4311
o 4299
o 4292
o 4290
o 4281
o 4280
o 4272
o 4269
o 4264
o 4263
o 4258
o 4253
o 4244
o 4238
o 4231
o 4230
o 4225
o 4214
o 4211
o 4210
o 4198
o 4196
o 4195
o 4187
o 4178
o 4171
o 4170
o 4168
o 4167
o 4165
o 4156
o 4154
o 4153
o 4152
o 4149
o 4147
o 4141
o 4135
o 4133
o 4119
o 4117
o 4113
o 4111
o 4106
o 4104
o 4100
o 4097
o 4090
o 4088
o 4084
o 4074
o 4072
o 4064
o 4062
o 4060
o 4057
o 4055
o 4051
o 4045
o 4043
o 4038
o 4037
s OPTIMUM FOUND
c Optimal Solution = 4037
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 44.210 seconds.
44.205u 0.004s 0:44.21 99.9%	0+0k 0+0io 0pf+0w