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_zenotravel04bc.wcsp.wcnf
Job file: /home/maxsat/benchmarks/wpms_crafted/min-enc/planning/zenotravel04bc.wcsp.wcnf
Job solver: /home/maxsat/solvers/akmaxsat_ls/akmaxsat_ls
c initialized bestCost to 190756
o 190756
o 5775
o 5735
o 5125
o 5085
o 4925
o 4885
o 4825
o 4785
o 4410
o 4210
o 4110
c 5394 branches 627896 propagates
c total generalized unit propagation = 4327, success = 36.98%
s OPTIMUM FOUND
c Optimal Solution = 4110
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
21.217u 0.075s 0:21.34 99.7%	0+0k 0+0io 0pf+0w