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_driverlogs03.wcsp.wcnf
Job file: /home/maxsat/benchmarks/wpms_crafted/min-enc/planning/driverlogs03.wcsp.wcnf
Job solver: /home/maxsat/solvers/akmaxsat_ls/akmaxsat_ls
c initialized bestCost to 43261
o 43261
o 1555
o 1545
o 1535
o 1475
o 1435
o 1285
o 1245
o 1235
o 1225
c 2016115 branches 54797433 propagates
c total generalized unit propagation = 378710, success = 96.27%
s OPTIMUM FOUND
c Optimal Solution = 1225
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 864 -865 867 -868 -870 -871 -873 -874 -875 -876 -878 -879 -880 -881 -883 -884 -885 -886 -888 -889 -890 -892 -893 -894 -896 -897 -898 -899 -901 -902 -903 -904 -906 -907 -908 -909 -911 -912 -913 -914 -915 -917 -918 -919 -920 -921 -923 -924 -925 -926 928 -929 -930 932 -933 -934 -935 937 -938 -939 -940 -942 -943 -944 -945 -947 -948 -949 -951 -952 -953 -954 956 -957 -958 -959 -960 -962 -963 -964 -965 -966 -968 -969 -970 -971 -972 974 -975 -976 -977 -979 -980 -981 -983 -984 -985 -986 988 -989 -990 -991 -992 994 995 996 -997 -998 -1000 -1001 -1003 -1004 -1006 -1007 -1009 -1010 -1012 -1013 -1014 -1015 -1017 -1018 -1019 -1020 -1022 -1023 -1024 -1025 -1027 -1028 -1029 -1030 -1031 -1033 -1034 -1035 -1036 -1037 -1039 -1040 -1041 -1042 1044 -1045 -1046 1048 -1049 -1050 -1051 1053 -1054 -1055 -1056 -1058 -1059 -1060 -1062 -1063 -1064 -1065 -1067 -1068 -1069 -1071 -1072 -1073 -1074 1076 -1077 -1078 -1079 -1080 -1082 -1083 -1084 -1085 -1086 1088 -1089 -1090 -1091 -1092 -1094 -1095 -1096 -1097 -1098 -1100 -1101 -1102 -1103 -1104 -1106 -1107 -1108 -1109 -1110 1112 -1113 -1114 -1115 -1117 -1118 -1119 -1121 -1122 -1123 -1124 -1126 -1127 -1128 -1130 -1131 -1132 -1134 -1135 -1136 -1138 -1139 -1140 -1141 -1142 -1143 -1144 1146 -1147 -1148 -1149 -1150 -1152 -1153 -1154 -1155 -1156 -1157 -1158 -1160 -1161 -1162 -1163 -1164 -1166 -1167 -1168 -1169 -1170 -1172 -1173 -1174 -1175 -1176 -1178 -1180 -1182 -1184 -1186 -1188 -1190 -1192 -1194 -1196 -1198 -1200 -1202 -1204 -1206 -1208 -1210 -1212 -1214 -1215 -1216 -1217 -1219 -1220 -1221 -1222 -1223 -1225 -1226 -1227 -1228 -1229 -1231 -1232 -1233 -1235 -1236 1238 -1239 -1240 1242 1243 1245 1246 -1248 -1249 -1251 -1252 -1253 -1254 -1256 -1257 -1258 -1260 -1261 1263 -1264 -1265 -1266 -1267 -1269 -1270 -1271 -1272 -1273 1275 -1276 -1277 -1278 -1279 -1281 -1282 -1283 -1284 -1285 -1287 -1288 -1289 -1290 -1291 -1293 -1294 -1295 -1296 -1297 -1299 -1300 -1301 -1303 -1304 -1305 1307 -1308 -1309 -1310 -1312 -1313 -1314 -1316 -1317 -1318 -1320 -1321 -1322 -1323 -1325 -1326 -1328 -1329 -1331 -1332 -1334 -1335 -1336 -1337 -1338 -1339 -1340 1342 -1343 -1344 -1345 -1346 -1348 -1349 -1350 -1351 -1352 -1353 -1354 -1356 -1357 -1358 -1359 -1360 -1362 -1363 -1364 -1365 -1366 -1368 -1369 -1370 -1371 -1372 -1374 -1376 -1378 -1380 -1382 -1384 -1386 -1388 -1390 -1392 -1394 -1396 -1398 -1400 -1401 -1403 -1404 -1406 -1407 -1408 -1410 -1411 1413 -1414 -1416 -1417 -1419 -1420 -1422 -1423 -1425 -1426 -1427 -1428 -1430 -1431 -1432 -1434 -1435 1437 1438 1439 -1440 -1442 -1443 -1444 -1445 1447 1448 1449 -1450 -1452 -1453 -1454 -1455 -1457 -1458 -1459 -1460 -1461 -1463 -1464 -1465 -1466 -1468 -1469 -1470 -1472 -1473 -1474 1476 -1477 -1478 -1479 -1481 -1482 -1483 -1485 -1486 -1487 -1489 -1490 -1491 -1492 -1494 -1495 1497 -1498 1500 -1501 -1503 -1504 -1505 1507 -1509 -1510 -1511 -1512 -1513 -1515 -1516 -1517 -1519 -1520 -1521 -1523 -1524 -1525 -1526 -1528 -1530 -1532 -1534 -1536 -1538 -1540 -1541 -1543 1545 -1547 -1549 -1551 -1553 -1555 -1556 -1558 -1560 -1561 -1563 -1564 -1566 -1567 -1568 1570 -1571 -1572 -1574 -1575 -1576 -1578 -1579 -1580 -1582 -1583 -1584 -1586 -1587 -1588 1590 -1591 -1593 -1594 -1595 1597 1598 -1599 -1601 -1602 -1604 -1605 1607 1609 -1611 1613 -1615 -1616 -1617 -1618 -1620 -1621 -1622 -1624 -1625 -1626 -1628 -1629 -1630 -1631 -1633 -1635 -1637 -1639 -1641 -1643 1645 -1647 -1649 -1651 -1652 -1654 -1655 1657 -1658 -1660 -1661 -1663 -1664 1666 -1667 -1669 -1670 1672 1674 -1676 1678 -1680 -1681 -1683 1685 -1686 -1687 -1689 -1690 -1691 -1692 -1694 -1696 -1698 1700 -1702 -1704 1706 -1708 1710 1712 1714 1716 -1718 1720 1722 -1724 863 866 869 872 877 882 887 891 895 900 905 910 916 922 927 931 936 941 946 950 955 961 967 973 978 982 987 993 999 1002 1005 1008 1011 1016 1021 1026 1032 1038 1043 1047 1052 1057 1061 1066 1070 1075 1081 1087 1093 1099 1105 1111 1116 1120 1125 1129 1133 1137 1145 1151 1159 1165 1171 1177 1179 1181 1183 1185 1187 1189 1191 1193 1195 1197 1199 1201 1203 1205 1207 1209 1211 1213 1218 1224 1230 1234 1237 1241 1244 1247 1250 1255 1259 1262 1268 1274 1280 1286 1292 1298 1302 1306 1311 1315 1319 1324 1327 1330 1333 1341 1347 1355 1361 1367 1373 1375 1377 1379 1381 1383 1385 1387 1389 1391 1393 1395 1397 1399 1402 1405 1409 1412 1415 1418 1421 1424 1429 1433 1436 1441 1446 1451 1456 1462 1467 1471 1475 1480 1484 1488 1493 1496 1499 1502 1506 1508 1514 1518 1522 1527 1529 1531 1533 1535 1537 1539 1542 1544 1546 1548 1550 1552 1554 1557 1559 1562 1565 1569 1573 1577 1581 1585 1589 1592 1596 1600 1603 1606 1608 1610 1612 1614 1619 1623 1627 1632 1634 1636 1638 1640 1642 1644 1646 1648 1650 1653 1656 1659 1662 1665 1668 1671 1673 1675 1677 1679 1682 1684 1688 1693 1695 1697 1699 1701 1703 1705 1707 1709 1711 1713 1715 1717 1719 1721 1723
635.531u 0.073s 10:35.74 99.9%	0+0k 0+0io 0pf+0w