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_120v_s2v120c1200_4.wcnf
Job file: /home/maxsat/benchmarks/wms_random/wmax2sat/120v/s2v120c1200_4.wcnf
Job solver: /home/maxsat/solvers/claspMaxSat/claspMaxSat
c clasp version 2.0.0-RC2
c Reading from ...andom/wmax2sat/120v/s2v120c1200_4.wcnf
c Solving...
o 1522
o 1338
o 1195
o 1193
o 1188
o 1187
o 1179
o 1173
o 1169
o 1168
o 1167
o 1166
o 1164
o 1163
o 1162
o 1157
o 1149
o 1144
o 1141
o 1140
o 1137
o 1135
o 1126
o 1124
o 1123
o 1121
o 1119
o 1112
o 1110
o 1107
o 1103
1979.648u 0.058s 33:12.53 99.3%	0+0k 0+0io 0pf+0w