Warning: no access to tty (Bad file descriptor).
Thus no job control in this shell.
Job name: run-job-claspMaxSat-wms_random-_home_maxsat_benchmarks_wms_random_wmax2sat_100v_s2v100c1200_3.wcnf
Job file: /home/maxsat/benchmarks/wms_random/wmax2sat/100v/s2v100c1200_3.wcnf
Job solver: /home/maxsat/solvers/claspMaxSat/claspMaxSat
c clasp version 2.0.0-RC2
c Reading from ...andom/wmax2sat/100v/s2v100c1200_3.wcnf
c Solving...
o 1599
o 1371
o 1370
o 1231
o 1230
o 1226
o 1225
o 1224
o 1222
o 1221
o 1217
o 1215
o 1210
o 1209
o 1208
o 1207
o 1198
o 1197
o 1193
o 1191
o 1189
o 1188
o 1187
o 1183
o 1181
o 1176
o 1174
o 1173
o 1171
o 1167
o 1166
o 1165
o 1164
o 1163
o 1162
o 1157
o 1155
o 1145
o 1144
o 1143
o 1141
o 1135
o 1133
o 1125
o 1115
o 1108
1979.622u 0.081s 33:01.38 99.9%	0+0k 0+0io 0pf+0w