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_brock400_2.clq.wcnf
Job file: /home/maxsat/benchmarks/wms_crafted/WMAXCUT/DIMACS_MOD/brock400_2.clq.wcnf
Job solver: /home/maxsat/solvers/LSW_Power/LSW_Power
c Instance info: p wcnf 40 1188 0
c WARNING: Ubcsat not found.
o 6754
c local Search
c better result
o 1477
c local Search
c better result
o 1477
c local Search
c better result
o 1459
c local Search
c better result
o 1458
c local Search
c better result
o 1477
c local Search
c better result
o 1461
c local Search
c better result
o 1451
c local Search
c better result
o 1451
c local Search
c better result
o 1451
c local Search
c better result
o 1469
c local Search
c better result
o 1475
c local Search
c better result
o 1454
c local Search
c better result
o 1454
c local Search
c better result
o 1457
c local Search
c better result
o 1454
c local Search
c better result
o 1475
c local Search
c better result
o 1451
c local Search
c better result
o 1453
c local Search
c better result
o 1453
c local Search
c better result
o 1454
c local Search
c better result
o 1454
c local Search
c better result
o 1454
c local Search
c better result
o 1454
c local Search
c better result
o 1454
c local Search
c better result
o 1454
c local Search
c better result
o 1460
c local Search
c better result
o 1460
c local Search
c better result
o 1475
c local Search
c better result
o 1483
c local Search
c better result
o 1479
c local Search
c better result
o 1453
c local Search
c better result
o 1453
c local Search
c better result
o 1453
c local Search
c better result
o 1451
c local Search
c better result
o 1451
c local Search
c better result
o 1465
c local Search
c better result
o 1489
c local Search
c better result
o 1462
c local Search
c better result
o 1460
c local Search
c better result
o 1444
c local Search
c better result
o 1444
c local Search
c better result
o 1449
c local Search
c better result
o 1460
c local Search
c better result
o 1479
c local Search
c better result
o 1480
c local Search
c better result
o 1495
c local Search
c better result
o 1454
c local Search
c better result
o 1479
c local Search
c better result
o 1435
c local Search
c better result
o 1448
c local Search
c better result
o 1448
c local Search
c better result
o 1443
c local Search
c better result
o 1448
c local Search
c better result
o 1443
c local Search
c better result
o 1475
c local Search
c better result
o 1475
c local Search
c better result
o 1475
c local Search
c better result
o 1475
c local Search
c better result
o 1475
c local Search
c better result
o 1471
c local Search
c better result
o 1444
c local Search
c better result
o 1444
c local Search
c better result
o 1444
c local Search
c better result
o 1475
c local Search
c better result
o 1475
c local Search
c better result
o 1465
c local Search
c better result
o 1475
c local Search
c better result
o 1454
c local Search
c better result
o 1444
c local Search
c better result
o 1449
c local Search
c better result
o 1440
c local Search
c better result
o 1487
c local Search
c better result
o 1475
c local Search
c better result
o 1475
c local Search
c better result
o 1444
c local Search
c better result
o 1443
c local Search
c better result
o 1457
c local Search
c better result
o 1443
c local Search
c better result
o 1443
c local Search
c better result
o 1457
c local Search
c better result
o 1459
c local Search
c better result
o 1475
c local Search
c better result
o 1475
c local Search
c better result
o 1475
c local Search
c better result
o 1469
c local Search
c better result
o 1475
c local Search
c better result
o 1473
c local Search
c better result
o 1473
c local Search
c better result
o 1444
c local Search
c better result
o 1461
c local Search
c better result
o 1448
c local Search
c better result
o 1443
c local Search
c better result
o 1461
c local Search
c better result
o 1443
c local Search
c better result
o 1454
c local Search
c better result
o 1473
c local Search
o 1425
c local Search
c better result
o 1443
c local Search
c better result
o 1462
c local Search
c better result
o 1462
c local Search
c better result
o 1462
c local Search
c better result
o 1443
c local Search
c better result
o 1435
c local Search
o 1419
c local Search
o 1417
c local Search
c better result
o 1444
c local Search
c better result
o 1451
c local Search
c better result
o 1444
c local Search
c better result
o 1475
c local Search
c better result
o 1475
c local Search
c better result
o 1475
c local Search
c better result
o 1444
c local Search
c better result
o 1475
c local Search
c better result
o 1458
c local Search
c better result
o 1480
c local Search
c better result
o 1475
c local Search
c better result
o 1498
c local Search
c better result
o 1480
c local Search
c better result
o 1478
c local Search
c better result
o 1444
c local Search
c better result
o 1475
c local Search
c better result
o 1443
c local Search
c better result
o 1451
c local Search
o 1437
c local Search
c better result
o 1451
c local Search
c better result
o 1487
c local Search
c better result
o 1466
c local Search
c better result
o 1477
c local Search
c better result
o 1469
c local Search
c better result
o 1469
c local Search
c better result
o 1457
c local Search
c better result
o 1454
c local Search
c better result
o 1482
c local Search
c better result
o 1454
c local Search
c better result
o 1488
c local Search
c better result
o 1466
c local Search
c better result
o 1444
c local Search
c better result
o 1467
c local Search
c better result
o 1477
c local Search
c better result
o 1467
c local Search
c better result
o 1480
c local Search
c better result
o 1467
c local Search
c better result
o 1467
c local Search
c better result
o 1467
c local Search
c better result
o 1475
c local Search
c better result
o 1475
c local Search
c better result
o 1459
c local Search
c better result
o 1467
c local Search
c better result
o 1459
c local Search
c better result
o 1480
c local Search
c better result
o 1481
c local Search
c better result
o 1481
c local Search
c better result
o 1480
c local Search
c better result
o 1477
c local Search
c better result
o 1443
c local Search
c better result
o 1443
c local Search
c better result
o 1475
c local Search
c better result
o 1467
c local Search
c better result
o 1448
c local Search
c better result
o 1467
c local Search
c better result
o 1467
c local Search
c better result
o 1458
c local Search
c better result
o 1477
c local Search
c better result
o 1459
c local Search
c better result
o 1462
c local Search
c better result
o 1462
c local Search
c better result
o 1462
c local Search
c better result
o 1460
c local Search
c better result
o 1473
c local Search
c better result
o 1460
c local Search
c better result
o 1471
c local Search
c better result
o 1473
c local Search
c better result
o 1471
c local Search
c better result
o 1473
c local Search
c better result
o 1471
c local Search
c better result
o 1455
c local Search
c better result
o 1453
c local Search
c better result
o 1451
c local Search
c better result
o 1493
c local Search
c better result
o 1493
c local Search
c better result
o 1489
c local Search
c better result
o 1459
c local Search
c better result
o 1459
c local Search
c better result
o 1471
c local Search
c better result
o 1463
c local Search
c better result
o 1468
c local Search
c better result
o 1459
c local Search
c better result
o 1445
c local Search
c better result
o 1477
c local Search
c better result
o 1467
c local Search
c better result
o 1467
c local Search
c better result
o 1467
c local Search
c better result
o 1467
c local Search
c better result
o 1462
c local Search
c better result
o 1473
c local Search
c better result
o 1467
c local Search
c better result
o 1467
c local Search
c better result
o 1462
c local Search
c better result
o 1462
c local Search
c better result
o 1451
c local Search
o 1415
c local Search
c better result
o 1443
c local Search
c better result
o 1443
c local Search
c better result
o 1464
c local Search
c better result
o 1483
c local Search
c better result
o 1479
c local Search
c better result
o 1469
c local Search
c better result
o 1469
c local Search
o 1417
c local Search
c better result
o 1443
c local Search
c better result
o 1428
c local Search
c better result
o 1449
c local Search
c better result
o 1440
c local Search
c better result
o 1468
c local Search
c better result
o 1449
c local Search
c better result
o 1435
c local Se