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_5.wcnf
Job file: /home/maxsat/benchmarks/wms_random/wmax2sat/100v/s2v100c1200_5.wcnf
Job solver: /home/maxsat/solvers/claspMaxSat/claspMaxSat
c clasp version 2.0.0-RC2
c Reading from ...andom/wmax2sat/100v/s2v100c1200_5.wcnf
c Solving...
o 1675
o 1205
o 1180
o 1178
o 1169
o 1168
o 1165
o 1158
o 1157
o 1147
o 1146
o 1141
o 1139
o 1138
o 1137
o 1136
o 1132
o 1131
o 1127
o 1126
o 1124
o 1123
o 1119
o 1118
o 1117
o 1116
o 1112
o 1110
o 1108
o 1106
o 1105
o 1104
o 1103
o 1100
o 1098
o 1097
o 1096
o 1094
o 1093
o 1092
o 1090
o 1089
o 1088
o 1087
o 1086
o 1084
o 1083
o 1079
o 1078
o 1077
o 1074
o 1072
o 1070
o 1065
o 1064
o 1062
o 1061
o 1056
o 1055
o 1053
o 1052
o 1049
o 1044
o 1040
o 1039
o 1035
1979.657u 0.045s 33:01.37 99.9%	0+0k 0+0io 0pf+0w