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_wmax3sat_hi_file_rwms_wcnf_L3_V70_C800_0.wcnf
Job file: /home/maxsat/benchmarks/wms_random/wmax3sat/hi/file_rwms_wcnf_L3_V70_C800_0.wcnf
Job solver: /home/maxsat/solvers/LSW_Power/LSW_Power
c Instance info: p wcnf 70 800 0
c WARNING: Ubcsat not found.
o 4419
c local Search
c better result
o 194
c local Search
c better result
o 194
c local Search
c better result
o 204
c local Search
c better result
o 193
c local Search
c better result
o 194
c local Search
c better result
o 194
c local Search
c better result
o 194
c local Search
c better result
o 186
c local Search
c better result
o 200
c local Search
c better result
o 200
c local Search
c better result
o 233
c local Search
c better result
o 210
c local Search
c better result
o 223
c local Search
c better result
o 220
c local Search
c better result
o 204
c local Search
c better result
o 192
c local Search
c better result
o 213
c local Search
c better result
o 204
c local Search
c better result
o 216
c local Search
c better result
o 200
c local Search
c better result
o 194
c local Search
c better result
o 193
c local Search
c better result
o 193
c local Search
c better result
o 193
c local Search
c better result
o 194
c local Search
c better result
o 180
c local Search
c better result
o 209
c local Search
c better result
o 209
c local Search
c better result
o 208
c local Search
c better result
o 208
c local Search
c better result
o 181
c local Search
o 175
c local Search
c better result
o 175
c local Search
c better result
o 204
c local Search
c better result
o 175
c local Search
c better result
o 194
c local Search
o 173
c local Search
c better result
o 192
c local Search
c better result
o 192
c local Search
c better result
o 184
c local Search
c better result
o 186
c local Search
c better result
o 186
c local Search
c better result
o 184
c local Search
c better result
o 184
c local Search
c better result
o 171
c local Search
c better result
o 201
c local Search
c better result
o 206
c local Search
c better result
o 202
c local Search
c better result
o 206
c local Search
c better result
o 184
c local Search
c better result
o 185
c local Search
c better result
o 199
c local Search
c better result
o 200
c local Search
c better result
o 185
c local Search
c better result
o 200
c local Search
c better result
o 195
c local Search
c better result
o 203
c local Search
c better result
o 203
c local Search
c better result
o 203
c local Search
c better result
o 195
c local Search
c better result
o 206
c local Search
c better result
o 202
c local Search
c better result
o 198
c local Search
c better result
o 185
c local Search
c better result
o 185
c local Search
c better result
o 205
c local Search
c better result
o 203
c local Search
c better result
o 184
c local Search
c better result
o 206
c local Search
c better result
o 205
c local Search
c better result
o 219
c local Search
c better result
o 204
c local Search
c better result
o 204
c local Search
c better result
o 206
c local Search
c better result
o 202
c local Search
c better result
o 227
c local Search
c better result
o 240
c local Search
c better result
o 206
c local Search
c better result
o 209
c local Search
c better result
o 213
c local Search
c better result
o 213
c local Search
c better result
o 203
c local Search
c better result
o 204
c local Search
c better result
o 203
c local Search
c better result
o 208
c local Search
c better result
o 220
c local Search
c better result
o 221
c local Search
c better result
o 207
c local Search
c better result
o 210
c local Search
c better result
o 200
c local Search
c better result
o 213
c local Search
c better result
o 213
c local Search
c better result
o 213
c local Search
c better result
o 242
c local Search
c better result
o 234
c local Search
c better result
o 230
c local Search
c better result
o 230
c local Search
c better result
o 225
c local Search
c better result
o 225
c local Search
c better result
o 230
c local Search
c better result
o 230
c local Search
c better result
o 225
c local Search
c better result
o 234
c local Search
c better result
o 230
c local Search
c better result
o 234
c local Search
c better result
o 230
c local Search
c better result
o 212
c local Search
c better result
o 212
c local Search
c better result
o 205
c local Search
c better re