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_C1000_3.wcnf
Job file: /home/maxsat/benchmarks/wms_random/wmax3sat/hi/file_rwms_wcnf_L3_V70_C1000_3.wcnf
Job solver: /home/maxsat/solvers/LSW_Power/LSW_Power
c Instance info: p wcnf 70 1000 0
c WARNING: Ubcsat not found.
o 5517
c local Search
c better result
o 342
c local Search
c better result
o 335
c local Search
c better result
o 352
c local Search
c better result
o 352
c local Search
c better result
o 344
c local Search
c better result
o 346
c local Search
c better result
o 346
c local Search
c better result
o 341
c local Search
c better result
o 306
c local Search
c better result
o 300
c local Search
c better result
o 306
c local Search
c better result
o 311
c local Search
c better result
o 311
c local Search
c better result
o 311
c local Search
c better result
o 311
c local Search
c better result
o 319
c local Search
c better result
o 319
c local Search
c better result
o 309
c local Search
c better result
o 296
c local Search
c better result
o 324
c local Search
c better result
o 324
c local Search
c better result
o 312
c local Search
c better result
o 324
c local Search
c better result
o 312
c local Search
c better result
o 312
c local Search
c better result
o 332
c local Search
c better result
o 327
c local Search
c better result
o 324
c local Search
c better result
o 312
c local Search
c better result
o 312
c local Search
c better result
o 312
c local Search
c better result
o 324
c local Search
c better result
o 324
c local Search
c better result
o 304
c local Search
c better result
o 336
c local Search
c better result
o 304
c local Search
c better result
o 320
c local Search
c better result
o 336
c local Search
c better result
o 336
c local Search
c better result
o 325
c local Search
c better result
o 325
c local Search
c better result
o 336
c local Search
c better result
o 336
c local Search
c better result
o 328
c local Search
c better result
o 338
c local Search
o 309
c local Search
c better result
o 326
c local Search
c better result
o 315
c local Search
c better result
o 304
c local Search
c better result
o 315
c local Search
c better result
o 315
c local Search
c better result
o 327
c local Search
c better result
o 337
c local Search
c better result
o 312
c local Search
c better result
o 312
c local Search
c better result
o 312
c local Search
c better result
o 312
c local Search
c better result
o 332
c local Search
c better result
o 327
c local Search
c better result
o 321
c local Search
c better result
o 312
c local Search
c better result
o 298
c local Search
c better result
o 327
c local Search
c better result
o 327
c local Search
c better result
o 335
c local Search
c better result
o 335
c local Search
c better result
o 327
c local Search
c better result
o 321
c local Search
c better result
o 327
c local Search
c better result
o 327
c local Search
c better result
o 337
c local Search
c better result
o 337
c local Search
c better result
o 337
c local Search
c better result
o 317
c local Search
c better result
o 337
c local Search
c better result
o 325
c local Search
c better result
o 316
c local Search
c better result
o 342
c local Search
c better result
o 318
c local Search
c better result
o 327
c local Search
c better result
o 335
c local Search
c better result
o 336
c local Search
c better result
o 337
c local Search
c better result
o 301
c local Search
c better result
o 327
c local Search
c better result
o 327
c local Search
c better result
o 336
c local Search
c better result
o 340
c local Search
c better result
o 321
c local Search
c better result
o 316
c local Search
c better result
o 313
c local Search
c better result
o 325
c local Search
c better result
o 330
c local Search
c better result
o 330
c local Search
c better result
o 318
c local Search
c better result
o 335
c local Search
c better result
o 327
c local Search
c better result
o 327
c local Search
c better result
o 327
c local Search
c better result
o 327
c local Search
c better result
o 342
c local Search
c better result
o 318
c local Search
c better result
o 340
c local Search
c better result
o 336
c local Search
c better result
o 305
c local Search
c better result
o 323
c local Search
c better result
o 316
c local Search
c better result
o 316
c local Search
c better result
o 309
c local Search
c better result
o 289
c local Search
c better result
o 314
c local Search
c better result
o 310
c local Search
c better result
o 285
c local Search
c better result
o 287
c local Search
c better result
o 305
c local Search
c better result
o 307
c local Search
c better result
o 317
c local Search
c better result
o 310
c local Search
c better result
o 305
c local Search
c better result
o 305
c local Search
c better result
o 305
c local Search
c better result
o 307
c local Search
c better result
o 310
c local Search
c better result
o 310
c local Search
c better result
o 305
c local Search
c better result
o 310
c local Search
c better result
o 317
c local Search
c better result
o 291
c local Search
c better result
o 306
c local Search
c better result
o 306
c local Search
c better result
o 307
c local Search
c better result
o 301
c local Search
c better result
o 306
c local Search
c better result
o 301
c local Search
c better result
o 303
c local Search
c better result
o 305
c local Search
c better result
o 303
c local Search
c better result
o 322
c local Search
c better result
o 303
c local Search
c better result
o 307
c local Search
c better result
o 307
c local Search
c better result
o 303
c local Search
c better result
o 307
c local Search
c better result
o 322
c local Search
c better result
o 322
c local Search
c better result
o 315
c local Search
c better result
o 315
c local Search
c better result
o 315
c local Search
c better result
o 315
c local Search
c better result
o 301
c local Search
c better result
o 328
c local Search
c better result
o 310
c local Search
c better result
o 310
c local Search
c better result
o 322
c local Search
c better result
o 310
c local Search
c better result
o 325
c local Search
c better result
o 314
c local Search
c better result
o 318
c local Search
c better result
o 310
c local Search
c better result
o 319
c local Search
c better result
o 309
c local Search
c better result
o 328
c local Search
c better result
o 314
c local Search
c better result
o 322
c local Search
c better result
o 316
c local Search
c better result
o 330
c local Search
c better result
o 329
c local Search
c better result
o 310
c local Search
c better result
o 319
c local Search
c better result
o 309
c local Search
c better result
o 307
c local Search
c better result
o 305
c local Search
c better result
o 305
c local Search
c better result
o 305
c local Search
c better result
o 301
c local Search
c better result
o 310
c local Search
c better result
o 299
c local Search
c better result
o 305
c local Search
c better result
o 303
c local Search
c better result
o 303
c local Search
c better result
o 311
c local Search
c better result
o 303
c local Search
c better result
o 311
c local Search
c better result
o 311
c local Search
c better result
o 304
c local Search
c better result
o 306
c local Search
c better result
o 307
c local Search
c better result
o 309
c local Search
c better result
o 312
c local Search
c better result
o 296
c local Search
c better result
o 296
c local Search
c better result
o 305
c local Search
c better result
o 306
c local Search
c better result
o 306
c local Search
c better result
o 294
c local Search
c better result
o 322
c local Search
c better result
o 322
c local Search
c better result
o 298
c local Search
c better result
o 311
c local Search
c better result
o 310
c local Search
c better result
o 286
c local Search
c better result
o 307
c local Search
c better result
o 306
c local Search
c better result
o 307
c local Search
c better result
o 306
c local Search
c better result
o 313
c local Search
c better result
o 298
c local Search
c better result
o 313
c local Search
c better result
o 305
c local Search
c better result
o 286
c local Search
c better result
o 295
c local Search
c better result
o 301
c local Search
c better result
o 307
c local Search
c better result
o 307
c local Search
c better result
o 301
c local Search
c better result
o 301
c local Search
c better result
o 309
c local Search
c better result
o 301
c local Search
c better result
o 301
c local Search
c better result
o 31