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_1.clq.wcnf
Job file: /home/maxsat/benchmarks/wms_crafted/WMAXCUT/DIMACS_MOD/brock400_1.clq.wcnf
Job solver: /home/maxsat/solvers/LSW_Power/LSW_Power
c Instance info: p wcnf 40 1192 0
c WARNING: Ubcsat not found.
o 6768
c local Search
o 1438
c local Search
c better result
o 1467
c local Search
c better result
o 1487
c local Search
c better result
o 1447
c local Search
c better result
o 1451
c local Search
c better result
o 1471
c local Search
c better result
o 1473
c local Search
c better result
o 1476
c local Search
c better result
o 1487
c local Search
c better result
o 1458
c local Search
c better result
o 1487
c local Search
c better result
o 1434
c local Search
c better result
o 1493
c local Search
c better result
o 1474
c local Search
o 1429
c local Search
c better result
o 1464
c local Search
c better result
o 1485
c local Search
c better result
o 1458
c local Search
c better result
o 1471
c local Search
c better result
o 1431
c local Search
c better result
o 1487
c local Search
c better result
o 1491
c local Search
c better result
o 1464
c local Search
c better result
o 1448
c local Search
c better result
o 1493
c local Search
c better result
o 1458
c local Search
c better result
o 1458
c local Search
c better result
o 1467
c local Search
c better result
o 1501
c local Search
c better result
o 1458
c local Search
c better result
o 1486
c local Search
c better result
o 1486
c local Search
c better result
o 1486
c local Search
c better result
o 1486
c local Search
c better result
o 1529
c local Search
c better result
o 1529
c local Search
c better result
o 1514
c local Search
c better result
o 1514
c local Search
c better result
o 1486
c local Search
c better result
o 1486
c local Search
c better result
o 1529
c local Search
c better result
o 1529
c local Search
c better result
o 1501
c local Search
c better result
o 1501
c local Search
c better result
o 1486
c local Search
c better result
o 1486
c local Search
c better result
o 1486
c local Search
c better result
o 1486
c local Search
c better result
o 1529
c local Search
c better result
o 1486
c local Search
c better result
o 1486
c local Search
c better result
o 1486
c local Search
c better result
o 1466
c local Search
c better result
o 1486
c local Search
c better result
o 1503
c local Search
c better result
o 1507
c local Search
c better result
o 1486
c local Search
c better result
o 1439
c local Search
o 1434
c local Search
c better result
o 1485
c local Search
c better result
o 1484
c local Search
c better result
o 1514
c local Search
c better result
o 1485
c local Search
c better result
o 1547
c local Search
c better result
o 1514
c local Search
c better result
o 1496
c local Search
c better result
o 1496
c local Search
c better result
o 1496
c local Search
c better result
o 1508
c local Search
c better result
o 1514
c local Search
c better result
o 1528
c local Search
c better result
o 1527
c local Search
c better result
o 1506
c local Search
c better result
o 1504
c local Search
c better result
o 1518
c local Search
c better result
o 1522
c local Search
c better result
o 1518
c local Search
c better result
o 1527
c local Search
c better result
o 1563
c local Search
c better result
o 1519
c local Search
c better result
o 1512
c local Search
c better result
o 1505
c local Search
c better result
o 1515
c local Search
c better result
o 1529
c local Search
c better result
o 1514
c local Search
c better result
o 1529
c local Search
c better result
o 1514
c local Search
c better result
o 1529
c local Search
c better result
o 1514
c local Search
c better result
o 1486
c local Search
c better result
o 1500
c local Search
c better result
o 1500
c local Search
c better result
o 1518
c local Search
c better result
o 1503
c local Search
c better result
o 1529
c local Search
c better result
o 1508
c local Search
c better result
o 1504
c local Search
c better result
o 1485
c local Search
c better result
o 1514
c local Search
c better result
o 1456
c local Search
c better result
o 1488
c local Search
c better result
o 1487
c local Search
c better result
o 1490
c local Search
c better result
o 1486
c local Search
c better result
o 1513
c local Search
c better result
o 1502
c local Search
c better result
o 1487
c local Search
c better result
o 1486
c local Search
c better result
o 1491
c local Search
c better result
o 1519
c local Search
c better result
o 1501
c local Search
c better result
o 1492
c local Search
c better result
o 1487
c local Search
c better result
o 1517
c local Search
c better result
o 1494
c local Search
c better result
o 1492
c local Search
c better result
o 1514
c local Search
c better result
o 1529
c local Search
c better result
o 1503
c local Search
c better result
o 1451
c local Search
c better result
o 1511
c local Search
c better result
o 1511
c local Search
c better result
o 1506
c local Search
c better result
o 1486
c local Search
c better result
o 1447
c local Search
c better result
o 1464
c local Search
c better result
o 1464
c local Search
c better result
o 1474
c local Search
o 1413
c local Search
c better result
o 1471
c local Search
c better result
o 1464
c local Search
c better result
o 1455
c local Search
c better result
o 1488
c local Search
c better result
o 1485
c local Search
c better result
o 1487
c local Search
c better result
o 1487
c local Search
c better result
o 1485
c local Search
c better result
o 1471
c local Search
c better result
o 1522
c local Search
c better result
o 1496
c local Search
c better result
o 1498
c local Search
c better result
o 1501
c local Search
c better result
o 1464
c local Search
c better result
o 1464
c local Search
c better result
o 1454
c local Search
c better result
o 1464
c local Search
c better result
o 1474
c local Search
c better result
o 1454
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
c better result
o 1501
c local Search
c better result
o 1506
c local Search
c better result
o 1506
c local Search
c better result
o 1496
c local Search
c better result
o 1503
c local Search
c better result
o 1527
c local Search
c better result
o 1527
c local Search
c better result
o 1496
c local Search
c better result
o 1503
c local Search
c better result
o 1527
c local Search
c better result
o 1483
c local Search
c better result
o 1501
c local Search
c better result
o 1501
c local Search
c better result
o 1494
c local Search
c better result
o 1488
c local Search
c better result
o 1517
c local Search
c better result
o 1506
c local Search
c better result
o 1505
c local Search
c better result
o 1505
c local Search
c better result
o 1517
c local Search
c better result
o 1505
c local Search
c better result
o 1471
c local Search
c better result
o 1488
c local Search
c better result
o 1494
c local Search
c better result
o 1454
c local Search
o 1439
c local Search
c better result
o 1515
c local Search
c better result
o 1506
c local Search
c better result
o 1527
c local Search
c better result
o 1455
c local Search
c better result
o 1503
c local Search
c better result
o 1502
c local Search
c better result
o 1510
c local Search
c better result
o 1464
c local Search
c better result
o 1471
c local Search
c better result
o 1464
c local Search
c better result
o 1464
c local Search
c better result
o 1519
c local Search
c better result
o 1499
c local Search
c better result
o 1479
c local Search
c better result
o 1496
c local Search
c better result
o 1503
c local Search
c better result
o 1471
c local Search
c better result
o 1496
c local Search
c better result
o 1479
c local Search
c better result
o 1464
c local Search
c better result
o 1467
c local Search
c better result
o 1473
c local Search
c better result
o 1433
c local Search
c better result
o 1471
c local Search
c better result
o 1477
c local Search
c better result
o 1454
c local Search
c better result
o 1485
c local Search
c better result
o 1471
c local Search
c better result
o 1475
c local Search
c better result
o 1534
c local Search
c better result
o 1534
c local Search
c better result
o 1467
c local Search
c better result
o 1480
c local Search
c better result
o 1497
c local Search
c better result
o 1525
c local Search
c better result
o 1507
c local Search
c better result
o 1507
c local Search
c better result
o 1470
c local Search
c better result
o 1511
c local Search
c better result
o 1511
c local Search
c better result
o 1477
c local Search
c better result
o 1505
c local Search
c better result
o 1489
c local Search
c better result
o 1462
c local Search
c better result
o 1509
c local Search
o 1442
c local Search
c better result
o 1509
c local Search
c better result
o 1509
c local Search
c better result
o 1508
c local Search
c better result
o 1479
c local Search
c better result
o 1471
c local Search
c better result
o 1519
c local Search
c better result
o 1507
c local Search
c better result
o 1516
c local Search
c better result
o 1507
c local Search
c better result
o 1519
c local Search
c better result
o 1507
c local Search
c better result
o 1497
c local Search
c better result
o 1476
c local Search
c better result
o 1501
c local Search
c better result
o 1501
c local Search
c better result
o 1486
c local Search
c better result
o 1522
c local Search
c better result
o 1501
c local Search
c better result
o 1501
c local Search
c better result
o 1518
c local Search
c better result
o 1504
c local Search
c better result
o 1522
c local Search
c better result
o 1486
c local Search
c better result
o 1540
c local Search
c better result
o 1529
c local Search
c better result
o 1487
c local Search
c better result
o 1509
c local Search
c better result
o 1511
c local Search
c better result
o 1521
c local Search
c better result
o 1521
c local Search
c better result
o 1511
c local Search
c better result
o 1514
c local Search
c better result
o 1495
c local Search
c better result
o 1507
c local Search
c better result
o 1522
c local Search
c better result
o 1519
c local Search
c better result
o 1501
c local Search
c better result
o 1501
c local Search
c better result
o 1536
c local Search
c better result
o 1491
c local Search
c better result
o 1501
c local Search
c better result
o 1522
c local Search
c better result
o 1486
c local Search
c better result
o 1527
c local Search
c better result
o 1527
c local Search
c better result
o 1491
c local Search
c better result
o 1522
c local Search
c better result
o 1505
c local Search
c better result
o 1514
c local Search
c better result
o 1540
c local Search
c better result
o 1499
c local Search
c better result
o 1510
c local Search
c better result
o 1518
c local Search
c better result
o 1518
c local Search
c better result
o 1519
c local Search
c better result
o 1491
c local Search
c better result
o 1504
c local Search
c better result
o 1518
c local Search
c better result
o 1518
c local Search
c better result
o 1501
c local Search
c better result
o 1536
c local Search
c better result
o 1510
c local Search
c better result
o 1536
c local Search
c better result
o 1519
c local Search
c better result
o 1536
c local Search
c better result
o 1518
c local Search
c better result
o 1536
c local Search
c better result
o 1487
c local Search
c better result
o 1510
c local Search
c better result
o 1510
c local Search
c better result
o 1504
c local Search
c better result
o 1522
c local Search
c better result
o 1491
c local Search
c better result
o 1527
c local Search
c better result
o 1503
c local Search
c better result
o 1505
c local Search
c better result
o 1505
c local Search
c better result
o 1491
c local Search
c better result
o 1491
c local Search
c better result
o 1527
c local Search
c better result
o 1527
c local Search
c better result
o 1483
c local Search
c better result
o 1477
c local Search
c better result
o 1452
c local Search
c better result
o 1452
c local Search
c better result
o 1494
c local Search
c better result
o 1470
c local Search
c better result
o 1452
c local Search
c better result
o 1451
c local Search
c better result
o 1451
c local Search
c better result
o 1452
c local Search
c better result
o 1467
c local Search
c better result
o 1494
c local Search
c better result
o 1452
c local Search
c better result
o 1466
c local Search
c better result
o 1434
c local Search
c better result
o 1440
c local Search
c better result
o 1440
c local Search
c better result
o 1422
c local Search
c better result
o 1494
c local Search
c better result
o 1440
c