Warning: no access to tty (Bad file descriptor).
Thus no job control in this shell.
Job name: run-job-akmaxsat-wpms_crafted-_home_maxsat_benchmarks_wpms_crafted_min-enc_warehouses_warehouse1.wcsp.wcnf
Job file: /home/maxsat/benchmarks/wpms_crafted/min-enc/warehouses/warehouse1.wcsp.wcnf
Job solver: /home/maxsat/solvers/akmaxsat/akmaxsat
o 1906489
o 1900414
o 1864414
o 1814720
o 1808645
o 1772412
o 1766337
o 1766024
o 1759632
o 1754637
o 1754324
o 1753505
o 1753192
o 1753139
o 1752320
o 1752007
o 1751929
o 1746934
o 1746621
o 1745802
o 1745489
o 1745206
o 1743962
o 1743649
o 1742734
o 1742421
o 1741289
o 1741006
o 1739762
o 1739449
o 1738955
o 1738642
o 1738359
o 1737769
o 1737456
o 1733256
o 1732437
o 1732124
o 1731841
o 1730284
o 1730028
o 1728471
o 1728158
o 1705071
o 1700076
o 1695876
o 1694796
o 1689801
o 1688376
o 1684176
o 1682301
o 1678101
o 1676288
o 1675975
o 1674843
o 1674560
o 1673316
o 1673003
o 1670711
o 1670398
o 1668272
o 1667453
o 1667140
o 1666857
o 1665613
o 1665300
o 1663838
o 1662966
o 1662653
o 1661546
o 1661233
o 1659420
o 1659107
o 1658288
o 1657975
o 1657692
o 1656448
o 1656135
o 1656086
o 1655946
o 1654529
o 1654133
o 1653820
o 1653772
o 1652215
o 1651902
o 1651610
o 1651214
o 1650901
o 1650697
o 1650384
o 1649696
o 1649383
o 1649108
o 1648825
o 1648582
o 1647581
o 1647268
o 1647019
o 1646776
o 1646463
o 1645775
o 1645462
o 1645066
o 1644753
o 1644661
o 1644348
o 1643952
o 1643639
o 1643347
o 1642951
o 1642638
o 1642520
o 1641832
o 1641519
o 1640707
o 1640394
o 1639706
o 1639393
o 1638988
o 1637987
o 1637278
o 1636077
o 1635764
o 1635472
o 1635076
o 1634763
o 1634671
o 1634358
o 1633670
o 1633357
o 1632961
o 1632648
o 1632356
o 1631484
o 1631171
o 1630352
o 1630039
o 1629756
o 1629697
o 1629384
o 1628512
o 1628199
o 1626879
o 1625747
o 1625434
o 1624197
o 1622679
o 1621547
o 1621234
o 1620362
o 1620049
o 1619766
o 1619707
o 1619394
o 1618522
o 1618209
o 1617914
o 1617601
o 1617581
o 1617268
o 1616396
o 1616083
o 1616009
o 1615696
o 1614824
o 1614511
o 1613514
o 1613306
o 1611388
o 1610256
o 1609973
o 1608416
o 1608103
o 1607231
o 1606918
o 1605788
o 1604603
o 1603803
o 1603674
o 1603361
o 1602888
o 1602575
o 1601756
o 1601443
o 1601160
o 1599916
o 1599603
o 1598085
o 1597840
o 1596283
o 1595970
o 1595608
o 1595286
o 1593768
o 1593455
o 1593180
o 1592897
o 1592858
o 1591653
o 1591340
o 1591048
o 1590652
o 1590339
o 1590288
o 1589579
o 1588649
o 1587535
o 1586534
o 1586403
o 1585402
o 1585119
o 1585080
o 1584563
o 1583562
o 1582802
o 1582489
o 1581924
o 1581611
o 1581188
o 1580905
o 1580792
o 1580509
o 1580479
o 1580196
o 1579953
o 1578952
o 1578639
o 1578192
o 1577879
o 1577637
o 1577440
o 1575835
o 1575522
o 1574703
o 1574390
o 1574107
o 1573702
o 1573389
o 1573106
o 1572863
o 1572550
o 1571862
o 1571549
o 1571102
o 1570789
o 1569827
o 1569067
o 1568896
o 1568610
o 1568327
o 1567083
o 1566770
o 1566285
o 1566088
o 1564483
o 1564170
o 1563351
o 1563038
o 1562755
o 1562652
o 1561833
o 1561520
o 1561237
o 1561198
o 1559680
o 1559233
o 1558920
o 1557958
o 1557198
o 1556957
o 1556197
o 1556089
o 1555329
o 1554608
o 1554367
o 1553607
o 1552890
o 1552130
o 1551889
o 1551129
o 1550964
o 1550167
o 1549407
o 1549053
o 1548293
o 1548052
o 1547292
o 1546840
o 1546557
o 1546080
o 1545797
o 1545494
o 1544675
o 1544362
o 1544079
o 1543915
o 1543602
o 1543319
o 1542640
o 1542357
o 1541597
o 1541356
o 1540596
o 1540040
o 1539799
o 1539039
o 1538685
o 1537925
o 1537684
o 1536924
o 1536849
o 1536536
o 1536089
o 1535776
o 1534814
o 1534054
o 1533936
o 1532974
o 1532214
o 1532134
o 1531821
o 1530859
o 1530099
o 1529600
o 1528840
o 1528527
o 1528362
o 1527565
o 1526805
o 1526233
o 1525473
o 1525271
o 1524569
o 1523809
o 1523384
o 1522624
o 1521873
o 1521113
o 1520741
o 1519981
o 1519698
o 1518901
o 1518141
o 1517828
o 1517663
o 1516866
o 1516106
o 1515865
o 1515105
o 1514823
o 1514793
o 1514510
o 1514026
o 1513713
o 1513266
o 1512953
o 1512265
o 1511952
o 1511231
o 1510990
o 1510230
o 1510173
o 1509041
o 1508281
o 1508040
o 1507280
o 1506997
o 1506200
o 1505440
o 1505127
o 1504406
o 1504165
o 1503405
o 1503012
o 1502050
o 1501290
o 1501261
o 1500501
o 1500317
o 1500076
o 1499316
o 1499253
o 1498121
o 1497838
o 1497674
o 1497361
o 1497078
o 1496594
o 1496281
o 1495834
o 1495521
o 1495280
o 1494833
o 1494520
o 1493558
o 1492798
o 1492676
o 1492393
o 1492363
o 1491401
o 1490641
o 1490358
o 1489802
o 1489561
o 1488801
o 1487866
o 1487553
o 1486734
o 1486421
o 1485974
o 1485661
o 1484699
o 1483939
o 1483698
o 1482938
o 1482655
o 1482099
o 1481858
o 1481098
o 1481018
o 1480705
o 1479984
o 1479743
o 1478983
o 1478735
o 1477975
o 1477493
o 1476976
o 1475975
o 1475692
o 1475653
o 1475136
o 1474135
o 1473375
o 1473218
o 1472217
o 1471457
o 1471292
o 1470495
o 1469735
o 1469427
o 1468667
o 1468588
o 1467587
o 1466827
o 1466662
o 1465865
o 1465105
o 1464490
o 1463489
o 1463358
o 1462357
o 1462074
o 1461597
o 1461314
o 1460517
o 1459757
o 1458795
o 1458035
o 1456888
o 1456128
o 1455166
o 1454406
o 1454165
o 1453405
o 1453012
o 1452050
o 1451290
o 1450648
o 1450597
o 1449888
o 1449150
o 1448188
o 1447428
o 1447120
o 1446360
o 1446077
o 1445280
o 1444520
o 1444355
o 1443558
o 1442798
o 1442181
o 1442103
o 1441985
o 1441023
o 1440263
o 1439910
o 1439290
o 1439007
o 1438070
o 1436938
o 1436421
o 1435420
o 1434660
o 1434377
o 1433580
o 1432820
o 1432655
o 1431858
o 1431098
o 1430744
o 1429984
o 1429743
o 1428983
Killed
1979.355u 0.344s 33:04.10 99.7%	0+0k 0+0io 0pf+0w