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_1.wcnf
Job file: /home/maxsat/benchmarks/wms_random/wmax2sat/120v/s2v120c1200_1.wcnf
Job solver: /home/maxsat/solvers/claspMaxSat/claspMaxSat
c clasp version 2.0.0-RC2
c Reading from ...andom/wmax2sat/120v/s2v120c1200_1.wcnf
c Solving...
o 1679
o 1514
o 1505
o 1431
o 1161
o 1160
o 1158
o 1156
o 1155
o 1153
o 1150
o 1148
o 1145
o 1143
o 1140
o 1139
o 1136
o 1134
o 1131
o 1129
o 1126
o 1125
o 1122
o 1119
o 1111
o 1110
o 1109
o 1106
o 1105
o 1104
o 1102
o 1099
o 1097
o 1094
o 1093
o 1091
o 1090
o 1088
o 1085
o 1083
o 1080
1979.624u 0.080s 33:08.61 99.5%	0+0k 0+0io 0pf+0w