Warning: no access to tty (Bad file descriptor).
Thus no job control in this shell.
Job name: run-job-LSW_Power-wms_crafted-_home_maxsat_benchmarks_wms_crafted_WMAXCUT_DIMACS_MOD_p_hat1000-3.clq.wcnf
Job file: /home/maxsat/benchmarks/wms_crafted/WMAXCUT/DIMACS_MOD/p_hat1000-3.clq.wcnf
Job solver: /home/maxsat/solvers/LSW_Power/LSW_Power
c Instance info: p wcnf 40 1140 0
c WARNING: Ubcsat not found.
o 6446
c local Search
c better result
o 1376
c local Search
c better result
o 1357
c local Search
c better result
o 1374
c local Search
c better result
o 1374
c local Search
c better result
o 1364
c local Search
c better result
o 1364
c local Search
c better result
o 1389
c local Search
c better result
o 1368
c local Search
c better result
o 1351
c local Search
c better result
o 1346
c local Search
c better result
o 1389
c local Search
c better result
o 1389
c local Search
c better result
o 1389
c local Search
c better result
o 1342
c local Search
c better result
o 1389
c local Search
c better result
o 1389
c local Search
c better result
o 1374
c local Search
c better result
o 1358
c local Search
c better result
o 1358
c local Search
c better result
o 1381
c local Search
c better result
o 1351
c local Search
c better result
o 1381
c local Search
c better result
o 1381
c local Search
c better result
o 1383
c local Search
c better result
o 1364
c local Search
c better result
o 1389
c local Search
c better result
o 1357
c local Search
c better result
o 1364
c local Search
c better result
o 1357
c local Search
c better result
o 1389
c local Search
c better result
o 1389
c local Search
c better result
o 1386
c local Search
c better result
o 1364
c local Search
c better result
o 1389
c local Search
c better result
o 1389
c local Search
c better result
o 1389
c local Search
c better result
o 1364
c local Search
c better result
o 1357
c local Search
c better result
o 1357
c local Search
c better result
o 1389
c local Search
c better result
o 1389
c local Search
c better result
o 1386
c local Search
c better result
o 1386
c local Search
c better result
o 1389
c local Search
c better result
o 1374
c local Search
c better result
o 1389
c local Search
c better result
o 1389
c local Search
c better result
o 1389
c local Search
c better result
o 1386
c local Search
c better result
o 1395
c local Search
c better result
o 1371
c local Search
c better result
o 1389
c local Search
c better result
o 1389
c local Search
c better result
o 1386
c local Search
c better result
o 1349
c local Search
c better result
o 1309
c local Search
c better result
o 1361
c local Search
c better result
o 1382
c local Search
c better result
o 1344
c local Search
c better result
o 1395
c local Search
c better result
o 1391
c local Search
c better result
o 1351
c local Search
c better result
o 1366
c local Search
c better result
o 1370
c local Search
c better result
o 1374
c local Search
c better result
o 1374
c local Search
c better result
o 1401
c local Search
c better result
o 1374
c local Search
c better result
o 1373
c local Search
c better result
o 1356
c local Search
c better result
o 1373
c local Search
c better result
o 1366
c local Search
c better result
o 1395
c local Search
c better result
o 1383
c local Search
c better result
o 1370
c local Search
c better result
o 1383
c local Search
c better result
o 1373
c local Search
c better result
o 1383
c local Search
c better result
o 1383
c local Search
c better result
o 1366
c local Search
c better result
o 1344
c local Search
c better result
o 1337
c local Search
c better result
o 1329
c local Search
c better result
o 1352
c local Search
c better result
o 1395
c local Search
c better result
o 1329
c local Search
c better result
o 1352
c local Search
c better result
o 1368
c local Search
c better result
o 1342
c local Search
c better result
o 1329
c local Search
c better result
o 1368
c local Search
c better result
o 1368
c local Search
c better result
o 1368
c local Search
c better result
o 1368
c local Search
c better result
o 1361
c local Search
c better result
o 1388
c local Search
c better result
o 1388
c local Search
c better result
o 1329
c local Search
c better result
o 1373
c local Search
c better result
o 1373
c local Search
c better result
o 1368
c local Search
c better result
o 1368
c local Search
c better result
o 1372
c local Search
c better result
o 1368
c local Search
c better result
o 1348
c local Search
c better result
o 137