Warning: no access to tty (Bad file descriptor).
Thus no job control in this shell.
Job name: run-job-LSW_Power-wms_random-_home_maxsat_benchmarks_wms_random_wmax2sat_120v_s2v120c1400_5.wcnf
Job file: /home/maxsat/benchmarks/wms_random/wmax2sat/120v/s2v120c1400_5.wcnf
Job solver: /home/maxsat/solvers/LSW_Power/LSW_Power
c Instance info: p wcnf 120 1400 0
c WARNING: Ubcsat not found.
o 7702
c local Search
c better result
o 1213
c local Search
c better result
o 1218
c local Search
c better result
o 1206
c local Search
c better result
o 1224
c local Search
c better result
o 1218
c local Search
c better result
o 1223
c local Search
c better result
o 1207
c local Search
c better result
o 1194
c local Search
c better result
o 1212
c local Search
c better result
o 1203
c local Search
c better result
o 1205
c local Search
c better result
o 1221
c local Search
c better result
o 1214
c local Search
c better result
o 1205
c local Search
c better result
o 1215
c local Search
c better result
o 1214
c local Search
c better result
o 1210
c local Search
c better result
o 1214
c local Search
c better result
o 1194
c local Search
c better result
o 1194
c local Search
c better result
o 1195
c local Search
c better result
o 1208
c local Search
c better result
o 1209
c local Search
c better result
o 1197
c local Search
c better result
o 1212
c local Search
c better result
o 1215
c local Search
c better result
o 1216
c local Search
c better result
o 1217
c local Search
c better result
o 1218
c local Search
c better result
o 1216
c local Search
c better result
o 1201
c local Search
c better result
o 1197
c local Search
c better result
o 1212
c local Search
c better result
o 1205
c local Search
c better result
o 1218
c local Search
c better result
o 1194
c local Search
c better result
o 1195
c local Search
c better result
o 1217
c local Search
c better result
o 1218
c local Search
c better result
o 1218
c local Search
c better result
o 1218
c local Search
c better result
o 1201
c local Search
c better result
o 1201
c local Search
c better result
o 1228
c local Search
c better result
o 1230
c local Search
c better result
o 1214
c local Search
c better result
o 1214
c local Search
c better result
o 1222
c local Search
c better result
o 1196
c local Search
c better result
o 1211
c local Search
c better result
o 1211
c local Search
c better result
o 1211
c local Search
c better result
o 1214
c local Search
c better result
o 1223
c local Search
c better result
o 1227
c local Search
c better result
o 1225
c local Search
c better result
o 1218
c local Search
c better result
o 1220
c local Search
c better result
o 1215
c local Search
c better result
o 1225
c local Search
c better result
o 1214
c local Search
c better result
o 1215
c local Search
c better result
o 1224
c local Search
c better result
o 1224
c local Search
c better result
o 1218
c local Search
c better result
o 1218
c local Search
c better result
o 1218
c local Search
c better result
o 1230
c local Search
c better result
o 1235
c local Search
c better result
o 1222
c local Search
c better result
o 1209
c local Search
c better result
o 1228
c local Search
c better result
o 1236
c local Search
c better result
o 1231
c local Search
c better result
o 1231
c local Search
c better result
o 1232
c local Search
c better result
o 1231
c local Search
c better result
o 1231
c local Search
c better result
o 1197
c local Search
c better result
o 1212
c local Search
c better result
o 1215
c local Search
c better result
o 1216
c local Search
c better result
o 1197
c local Search
c better result
o 1212
c local Search
c better result
o 1215
c local Search
c better result
o 1216
c local Search
c better result
o 1197
c local Search
c better result
o 1212
c local Search
c better result
o 1205
c local Search
c better result
o 1218
c local Search
c better result
o 1214
c local Search
c better result
o 1212
c local Search
c better result
o 1230
c local Search
c better result
o 1214
c local Search
c better result
o 1208
c local Search
c better result
o 1212
c local Search
c better result
o 1221
c local Search
c better result
o 1221
c local Search
c better result
o 1218
c local Search
c better result
o 1216
c local Search
c better result
o 1216
c local Search
c better result
o 1222
c local Search
c better result
o 1209
c local Search
c better result
o 1197
c local Search
c better result
o 1201
c local Search
c better result
o 12