Warning: no access to tty (Bad file descriptor).
Thus no job control in this shell.
Job name: run-job-IncWMaxSatz-wms_random-_home_maxsat_benchmarks_wms_random_wmax2sat_100v_s2v100c1500_2.wcnf
Job file: /home/maxsat/benchmarks/wms_random/wmax2sat/100v/s2v100c1500_2.wcnf
Job solver: /home/maxsat/solvers/IncWMaxSatz/IncWMaxSatz
c -----------------------------
c Incremental Weighted MaxSATZ
c -----------------------------
o 7988
o 1247
o 1245
o 1237
o 1229
o 1227
o 1221
o 1220
o 1219
o 1218
o 1217
o 1211
o 1210
o 1208
o 1206
o 1205
o 1202
o 1199
o 1193
o 1188
o 1185
o 1181
o 1180
o 1179
o 1176
o 1175
o 1174
o 1173
o 1172
o 1171
o 1170
o 1169
o 1167
o 1166
o 1165
o 1163
o 1162
o 1160
o 1159
o 1158
o 1156
o 1155
o 1153
o 1145
o 1142
o 1137
o 1135
o 1134
o 1133
o 1128
o 1127
o 1125
s OPTIMUM FOUND
c Optimal Solution = 1125
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
c Program terminated in 535.090 seconds.
535.015u 0.006s 8:59.16 99.2%	0+0k 0+0io 5pf+0w