Warning: no access to tty (Bad file descriptor).
Thus no job control in this shell.
Job name: run-job-akmaxsat_ls-wpms_crafted-_home_maxsat_benchmarks_wpms_crafted_min-enc_planning_driverlogs06.wcsp.wcnf
Job file: /home/maxsat/benchmarks/wpms_crafted/min-enc/planning/driverlogs06.wcsp.wcnf
Job solver: /home/maxsat/solvers/akmaxsat_ls/akmaxsat_ls
c initialized bestCost to 43051
o 43051
c first lower bound: 820
o 1605
o 1405
o 1365
o 1360
o 1355
o 1305
o 1105
o 1065
o 1060
o 1055
c 2614 branches 181117 propagates
c total generalized unit propagation = 7896, success = 14.99%
s OPTIMUM FOUND
c Optimal Solution = 1055
v 1 -2 -3 -4 5 -6 -7 -8 -9 -10 -11 12 -13 -14 -15 -16 -17 -18 -19 -20 -21 22 -23 24 -25 -26 -27 -28 29 -30 -31 -32 33 -34 -35 -36 37 -38 -39 -40 41 -42 -43 -44 45 -46 -47 -48 -49 -50 -51 52 -53 -54 55 -56 -57 -58 -59 60 -61 -62 -63 -64 65 -66 -67 -68 -69 70 -71 -72 -73 -74 75 -76 -77 -78 -79 -80 -81 82 -83 -84 -85 -86 -87 -88 89 -90 -91 -92 -93 94 -95 -96 -97 -98 99 -100 -101 102 -103 -104 -105 -106 -107 108 -109 -110 -111 112 -113 -114 115 -116 -117 -118 119 -120 -121 122 -123 -124 125 -126 -127 -128 -129 -130 -131 -132 -133 134 -135 -136 -137 -138 -139 -140 -141 142 -143 -144 -145 -146 -147 -148 149 -150 -151 -152 -153 -154 -155 -156 157 -158 -159 -160 -161 -162 -163 -164 -165 -166 -167 168 169 -170 -171 -172 173 -174 -175 -176 177 -178 -179 -180 -181 -182 183 -184 -185 -186 187 -188 -189 190 -191 -192 -193 -194 195 -196 -197 -198 -199 200 -201 -202 -203 -204 205 -206 -207 -208 -209 210 -211 -212 -213 -214 215 -216 -217 -218 -219 220 -221 -222 -223 -224 225 -226 -227 -228 -229 -230 231 -232 -233 -234 235 -236 -237 -238 239 -240 -241 -242 -243 244 -245 -246 247 -248 -249 -250 -251 -252 -253 -254 255 -256 -257 -258 -259 -260 -261 -262 -263 264 -265 -266 -267 -268 269 -270 271 -272 273 -274 275 -276 277 -278 279 -280 -281 282 -283 -284 285 -286 -287 -288 -289 290 -291 -292 -293 -294 295 -296 -297 298 -299 -300 -301 -302 -303 304 -305 -306 -307 308 -309 -310 311 -312 -313 314 -315 -316 -317 318 -319 -320 -321 322 -323 -324 -325 -326 327 -328 -329 330 -331 -332 333 -334 -335 -336 337 -338 -339 -340 341 -342 -343 -344 345 -346 -347 -348 349 -350 -351 -352 -353 354 -355 -356 -357 -358 -359 -360 361 -362 -363 -364 -365 -366 -367 -368 -369 370 -371 372 -373 -374 -375 -376 -377 378 -379 -380 -381 -382 -383 384 -385 -386 -387 388 -389 -390 -391 -392 393 -394 -395 -396 397 -398 -399 -400 -401 -402 -403 404 -405 406 -407 -408 -409 410 -411 -412 -413 -414 -415 416 -417 -418 -419 420 -421 -422 423 -424 -425 -426 -427 428 -429 -430 -431 -432 433 -434 -435 -436 -437 438 -439 -440 -441 -442 443 -444 -445 -446 -447 448 -449 -450 -451 -452 453 -454 -455 -456 -457 458 -459 -460 -461 -462 -463 464 -465 -466 -467 468 -469 -470 -471 472 -473 -474 -475 -476 477 -478 -479 480 -481 -482 -483 484 -485 -486 -487 -488 -489 -490 491 -492 -493 -494 495 -496 -497 -498 -499 -500 -501 502 -503 -504 -505 506 -507 -508 -509 -510 511 512 -513 -514 -515 -516 517 -518 -519 -520 521 -522 -523 -524 525 -526 527 -528 529 -530 531 -532 533 -534 535 -536 537 -538 539 -540 541 -542 543 -544 545 -546 547 -548 549 -550 551 -552 553 -554 555 -556 -557 558 559 -560 561 -562 563 -564 565 -566 -567 568 -569 -570 571 -572 -573 -574 -575 576 577 -578 579 -580 -581 582 -583 -584 585 -586 -587 588 -589 -590 591 -592 -593 594 -595 -596 -597 -598 599 -600 -601 602 -603 -604 -605 606 -607 -608 -609 610 -611 -612 -613 -614 615 -616 -617 618 -619 -620 621 -622 -623 624 -625 -626 627 -628 -629 -630 631 -632 -633 -634 635 -636 -637 -638 639 -640 -641 -642 643 -644 -645 -646 647 -648 -649 -650 651 -652 653 -654 -655 656 -657 -658 659 -660 -661 662 -663 -664 665 -666 -667 668 -669 -670 671 -672 -673 674 -675 -676 677 -678 -679 -680 681 -682 -683 -684 685 -686 -687 -688 689 -690 -691 692 -693 -694 695 -696 -697 -698 699 -700 -701 -702 -703 704 -705 -706 -707 708 -709 -710 -711 -712 -713 714 -715 -716 717 -718 -719 720 721 -722 -723 -724 -725 726 -727 -728 -729 -730 731 -732 -733 734 -735 736 -737 738 -739 740 -741 742 -743 744 -745 746 -747 -748 749 750 -751 752 -753 754 -755 756 -757 -758 759 760 -761 762 -763 764 -765 -766 767 -768 -769 770 -771 -772 773 -774 -775 776 -777 -778 779 -780 -781 -782 783 -784 785 -786 -787 788 -789 -790 791 -792 -793 794 -795 -796 797 -798 -799 -800 801 -802 803 -804 -805 806 -807 -808 809 -810 -811 -812 813 -814 -815 -816 817 -818 -819 -820 821 -822 -823 824 -825 -826 827 -828 -829 -830 831 -832 -833 834 -835 -836 837 -838 -839 840 841 -842 -843 844 845 -846 -847 -848 -849 850 -851 -852 -853 -854 855 -856 -857 858 -859 860 -861 862 -863 864 -865 -866 867 868 -869 870 -871 872 -873 -874 875 876 -877 878 -879 880 -881 882 -883 884 -885 -886 887 888 -889 890 -891 892 -893 -894 895 -896 897 -898 899 -900 901 902 -903 904 -905 -906 907 -908 909 -910 911 912 -913 -914 915 916 -917 918 -919 -920 921 -923 -924 -925 -927 -928 -929 -930 -931 -932 -934 -935 -936 -937 -938 -939 941 942 943 -944 -946 -947 -948 -949 -951 -952 -953 -955 -956 -957 -959 -960 -961 -963 -964 -965 -967 -968 -969 -970 -971 -972 -974 -975 -977 -978 -979 -980 -982 -983 -984 -985 -987 -988 -989 -990 -992 -993 -994 -995 -997 -998 -999 -1000 -1001 -1002 -1004 -1005 -1006 -1007 -1008 -1009 -1011 -1012 -1013 -1014 -1016 -1017 -1018 -1019 -1021 -1022 -1024 -1025 -1026 -1027 1029 -1030 -1031 -1032 -1034 -1035 -1037 -1038 1040 -1041 -1042 -1044 -1045 -1047 -1048 -1049 -1050 -1051 -1052 -1053 1055 -1056 -1057 -1058 -1059 -1060 -1061 1063 -1064 -1065 -1066 -1067 -1068 -1069 -1071 -1072 -1073 -1074 -1075 -1076 -1077 -1079 -1080 -1081 -1082 -1083 1085 1086 1087 1088 1089 -1091 -1092 -1093 -1095 -1096 -1097 -1099 -1100 -1101 -1102 1104 -1105 -1106 -1107 -1109 -1110 -1112 -1113 -1114 -1115 -1117 -1118 -1119 -1120 -1122 -1123 -1124 -1125 -1127 -1128 -1129 -1130 -1132 -1133 -1134 -1135 -1137 -1138 -1139 -1140 -1142 -1143 -1144 -1145 -1147 -1148 -1149 -1150 1152 -1153 -1154 1156 -1157 -1158 1160 -1161 -1162 -1163 1165 -1166 -1167 -1169 -1170 -1171 -1172 -1173 -1174 -1175 -1177 -1178 -1179 -1180 -1181 -1182 -1183 1185 -1186 -1187 -1188 -1189 -1191 -1193 -1195 -1197 -1199 -1201 -1202 -1204 -1205 -1207 -1208 -1209 -1210 -1212 -1213 -1214 -1215 -1217 -1218 -1220 -1221 -1222 -1223 1225 -1226 -1227 -1228 -1230 -1231 -1233 -1234 -1236 -1237 -1238 -1240 -1241 -1242 -1244 -1245 -1246 1248 -1249 -1250 -1252 -1253 -1255 -1256 -1257 -1259 -1260 -1261 -1263 -1264 -1265 -1267 -1268 -1269 -1271 -1272 -1273 -1274 -1276 -1277 -1278 -1279 -1280 1282 -1283 -1284 -1285 -1286 1288 1289 1290 1291 -1292 -1294 -1295 -1296 -1297 -1298 -1300 -1301 -1302 -1303 -1304 -1306 -1307 -1308 -1310 -1311 -1312 -1313 -1315 -1316 -1317 -1319 -1320 -1321 -1322 1324 1325 -1326 -1328 -1329 -1330 -1332 -1333 -1334 -1335 1337 -1338 -1339 -1340 -1342 -1343 -1345 -1346 -1347 -1348 -1350 -1351 -1352 -1353 -1355 -1356 -1357 -1358 -1360 -1361 -1362 -1363 -1365 -1366 -1367 -1368 -1370 -1371 -1372 -1373 -1375 -1376 -1377 -1378 -1380 -1381 -1382 -1383 1385 -1386 -1387 1389 -1390 -1391 1393 -1394 -1395 -1396 1398 -1399 -1400 -1402 -1403 -1404 -1406 -1407 -1408 -1409 -1410 -1411 -1413 -1414 -1415 -1417 -1418 -1419 -1420 -1421 -1422 -1424 -1425 -1426 -1428 -1429 -1430 1432 -1434 -1435 -1436 -1437 -1439 -1440 -1441 -1443 -1444 -1445 -1447 -1449 -1451 -1453 -1455 -1457 -1459 -1461 -1463 -1465 -1467 -1469 -1471 -1473 -1475 -1477 1479 -1481 -1483 -1485 -1487 -1488 -1490 -1491 -1493 -1494 1496 1497 -1499 -1501 -1502 -1504 -1505 -1507 -1508 -1510 -1511 -1513 -1514 -1516 -1517 -1518 1520 -1521 -1522 -1524 -1525 -1526 -1528 -1529 -1530 -1532 -1533 -1534 -1535 -1537 -1538 -1540 -1541 -1543 -1544 -1546 -1547 -1549 -1550 -1551 -1553 -1554 -1555 -1557 -1558 -1559 -1561 -1562 -1563 -1565 -1566 -1567 -1569 -1570 1572 -1573 -1575 -1576 -1578 -1579 -1581 -1582 -1584 -1585 -1587 -1588 -1590 -1591 -1593 -1594 -1596 -1597 -1599 -1600 1602 -1603 -1604 1606 -1607 -1608 1610 -1611 1613 -1614 -1615 -1617 -1618 -1619 -1621 -1622 -1623 -1624 -1626 -1627 -1628 -1630 -1631 -1632 -1633 1635 -1636 -1637 -1639 1641 -1643 -1644 -1645 -1646 -1648 -1649 -1650 1652 -1653 -1654 -1656 -1658 -1660 -1662 -1664 -1666 -1668 1670 -1672 -1674 -1676 -1678 1680 -1682 -1684 -1686 -1687 -1689 -1690 -1692 -1693 -1695 -1696 -1698 -1699 -1701 -1702 1704 -1705 -1707 -1708 -1710 -1711 -1713 -1714 -1716 -1717 -1719 -1720 1722 -1723 -1725 -1726 -1728 -1729 -1731 -1732 1734 -1735 -1736 1738 -1739 -1740 1742 -1743 1745 -1746 -1747 -1749 -1750 -1751 -1753 -1754 -1756 1758 -1759 1761 -1763 1765 -1767 -1768 -1769 -1770 -1772 -1773 -1774 1776 -1777 -1778 -1780 -1782 -1784 -1786 1788 -1790 -1792 -1794 1796 -1798 -1800 -1802 -1804 -1806 1808 -1810 -1812 -1814 1816 1818 1820 1822 -1824 -1826 1828 1830 1832 -1834 1836 -1838 -1840 1842 922 926 933 940 945 950 954 958 962 966 973 976 981 986 991 996 1003 1010 1015 1020 1023 1028 1033 1036 1039 1043 1046 1054 1062 1070 1078 1084 1090 1094 1098 1103 1108 1111 1116 1121 1126 1131 1136 1141 1146 1151 1155 1159 1164 1168 1176 1184 1190 1192 1194 1196 1198 1200 1203 1206 1211 1216 1219 1224 1229 1232 1235 1239 1243 1247 1251 1254 1258 1262 1266 1270 1275 1281 1287 1293 1299 1305 1309 1314 1318 1323 1327 1331 1336 1341 1344 1349 1354 1359 1364 1369 1374 1379 1384 1388 1392 1397 1401 1405 1412 1416 1423 1427 1431 1433 1438 1442 1446 1448 1450 1452 1454 1456 1458 1460 1462 1464 1466 1468 1470 1472 1474 1476 1478 1480 1482 1484 1486 1489 1492 1495 1498 1500 1503 1506 1509 1512 1515 1519 1523 1527 1531 1536 1539 1542 1545 1548 1552 1556 1560 1564 1568 1571 1574 1577 1580 1583 1586 1589 1592 1595 1598 1601 1605 1609 1612 1616 1620 1625 1629 1634 1638 1640 1642 1647 1651 1655 1657 1659 1661 1663 1665 1667 1669 1671 1673 1675 1677 1679 1681 1683 1685 1688 1691 1694 1697 1700 1703 1706 1709 1712 1715 1718 1721 1724 1727 1730 1733 1737 1741 1744 1748 1752 1755 1757 1760 1762 1764 1766 1771 1775 1779 1781 1783 1785 1787 1789 1791 1793 1795 1797 1799 1801 1803 1805 1807 1809 1811 1813 1815 1817 1819 1821 1823 1825 1827 1829 1831 1833 1835 1837 1839 1841
355.278u 0.086s 5:57.68 99.3%	0+0k 0+0io 0pf+0w