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