s 1 4 6 8 10 12 19 21 23 25 27 32 34 38 40 42 44 47 49 53 55 57 59 63 68 72 74 78 80 84 86 91 93 95 97 99 101 103 110 112 114 116 118 120 121 123 125 131 137 139 141 145 147 151 153 155 158 160 163 167 170 174 176 178 181 183 188 190 191 195 202 204 208 210 212 214 216 219 221 225 227 230 234 236 238 240 245 249 253 256 258 262 263 268 269 271 273 277 279 281 286 287 289 291 293 296 301 303 307 309 311 313 316 318 320 323 325 329 331 337 339 341 343 349 351 353 355 357 361 366 368 370 374 376 378 380 382 387 389 394 396 400 402 404 407 409 411 413 415 417 419 421 426 430 432 434 438 440 444 446 448 452 454 458 460 462 464 465 467 474 476 478 479 481 485 489 493 500 503 507 513 515 517 520 526 528 530 532 534 537 541 545 548 550 552 555 557 563 565 569 573 575 577 583 587 589 591 593 597 599 601 603 605 610 611 613 615 618 622 624 629 631 634 636 642 644 646 650 652 653 655 660 662 664 669 671 673 675 679 682 684 686 690 693 695 697 699 701 703 705 712 718 720 722 724 730 734 738 740 742 746 748 754 756 758 760 765 767 769 773 775 777 779 783 790 792 794 798 800 803 807 811 813 815 819 822 826 832 834 837 839 841 845 847 852 854 856 858 860 862 864 867 873 875 877 879 881 883 885 891 893 895 899 902 904 906 909 914 916 918 920 922 924 929 931 933 935 937 939 944 947 949 953 957 960 966 970 971 973 975 977 988 990 996 998 1002 1006 1008 1012 1014 1016 1020 1022 1024 1026 1028 1030 1036 1038 1040 1042 1044 1045 1049 1054 1056 1060 1062 1064 1067 1069 1071 1075 1078 1080 1084 1087 1090 1091 1094 1095 1098 1101 1105 1109 1113 1117 1119 1123 1126 1128 1132 1134 1136 1140 1145 1147 1149 1151 1153 1158 1160 1162 1165 1167 1169 1171 1173 1177 1181 1183 1185 1187 1191 1196 1197 1199 1202 1206 1208 1210 1211 1213 1215 1219 1221 1225 1229 1232 1240 1244 1246 1247 1251 1253 1255 1259 1261 1265 1267 1269 1273 1277 1279 1281 1283 1285 1287 1290 1296 1298 1300 1305 1307 1309 1313 1315 1320 1322 1326 1328 1331 1335 1342 1344 1346 1350 1352 1354 1356 1358 1363 1365 1368 1372 1376 1377 1379 1382 1383 1387 1389 1396 1398 1402 1404 1408 1412 1414 1416 1420 1422 1424 1426 1427 1433 1435 1437 1442 1444 1447 1449 1456 1458 1460 1462 1464 1467 1471 1481 1485 1487 1491 1493 1497 1499 1504 1506 1509 1511 1513 1515 1517 1520 1522 1524 1526 1531 1533 1535 1537 1539 1541 1546 1548 1551 1553 1557 1561 1563 1565 1567 1572 1576 1578 1580 1581 1583 1585 1589 1591 1593 1597 1601 1603 1605 1609 1611 1618 1620 1622 1624 1625 1629 1638 1642 1644 1648 1650 1652 1654 1656 1658 1659 1661 1663 1666 1672 1674 1676 1678 1680 1681 1685 1690 1692 1694 1697 1703 1707 1711 1713 1715 1718 1720 1724 1726 1728 1733 1735 1737 1739 1744 1748 1750 1752 1755 1757 1764 1766 1767 1771 1773 1777 1783 1786 1788 1789 1794 1796 1798 1801 1806 1809 1811 1813 1815 1818 1824 1826 1830 1836 1838 1841 1843 1845 1847 1852 1854 1856 1858 1861 1865 1867 1870 1874 1876 1878 1879 1883 1885 1890 1892 1894 1896 1899 1901 1905 1909 1914 1915 t 1 4 6 8 10 12 19 21 23 25 27 32 34 38 40 42 44 47 49 53 55 57 59 63 68 72 74 78 80 84 86 91 93 95 97 99 101 103 110 112 114 116 118 120 121 123 125 131 137 139 141 145 147 151 153 155 158 160 163 167 170 174 176 178 181 183 188 190 191 195 202 204 208 210 212 214 216 219 221 225 227 230 234 236 238 240 245 249 253 256 258 262 263 268 269 271 273 277 279 281 286 287 289 291 293 296 301 303 307 309 311 313 316 318 320 323 325 329 331 337 339 341 343 349 351 353 355 357 359 361 366 368 370 374 376 378 380 382 387 389 394 396 400 402 404 407 409 411 413 415 417 419 421 426 430 432 434 438 440 444 446 448 452 454 458 460 462 464 465 467 474 476 478 479 481 485 489 493 500 503 507 513 515 517 520 526 528 530 532 534 537 541 545 550 552 555 557 563 565 569 573 575 577 583 587 589 591 593 597 599 601 603 605 610 611 613 615 618 622 624 629 631 634 636 642 644 646 650 652 653 655 660 662 664 669 671 673 675 679 682 684 686 690 693 695 697 699 701 703 705 712 718 720 722 724 730 734 738 740 742 746 748 754 756 758 760 765 767 769 773 775 777 779 783 790 792 794 798 800 803 807 811 813 815 819 822 826 832 834 837 839 841 845 847 852 854 856 858 860 862 864 867 873 875 877 879 881 883 885 891 893 895 899 902 904 906 909 914 916 918 920 922 924 929 931 933 935 937 939 944 947 949 953 957 960 966 970 971 973 975 977 988 990 996 998 1002 1006 1008 1012 1014 1016 1020 1022 1024 1026 1028 1030 1036 1038 1040 1042 1044 1045 1049 1054 1056 1060 1062 1064 1067 1069 1071 1075 1078 1080 1084 1087 1090 1091 1094 1095 1098 1101 1105 1109 1113 1117 1119 1123 1126 1128 1132 1134 1136 1140 1145 1147 1149 1151 1153 1158 1160 1162 1165 1167 1169 1171 1173 1177 1181 1183 1185 1187 1191 1196 1197 1199 1202 1206 1208 1210 1211 1213 1215 1219 1221 1225 1229 1232 1240 1244 1246 1247 1251 1253 1255 1259 1261 1265 1267 1269 1273 1277 1279 1281 1283 1285 1287 1290 1296 1298 1300 1305 1307 1309 1313 1315 1320 1322 1326 1328 1331 1335 1342 1344 1346 1350 1352 1354 1356 1358 1363 1365 1368 1372 1376 1377 1379 1382 1383 1387 1389 1396 1398 1402 1404 1408 1412 1414 1416 1420 1422 1424 1426 1427 1433 1435 1437 1442 1444 1447 1449 1456 1458 1460 1462 1464 1467 1471 1481 1485 1487 1491 1493 1497 1499 1504 1506 1509 1511 1513 1515 1517 1520 1522 1524 1526 1531 1533 1535 1537 1539 1541 1546 1548 1551 1553 1557 1561 1563 1565 1567 1572 1576 1578 1580 1581 1583 1585 1589 1591 1593 1597 1601 1603 1605 1609 1611 1618 1620 1622 1624 1625 1629 1638 1642 1644 1648 1650 1652 1654 1656 1658 1659 1661 1663 1666 1672 1674 1676 1678 1680 1681 1685 1690 1692 1694 1697 1703 1707 1711 1713 1715 1718 1720 1724 1726 1728 1733 1735 1737 1739 1744 1748 1750 1752 1755 1757 1764 1766 1767 1771 1773 1777 1783 1786 1788 1789 1794 1796 1798 1801 1806 1809 1811 1813 1815 1818 1824 1826 1830 1836 1838 1841 1843 1845 1847 1852 1854 1856 1858 1861 1865 1867 1870 1874 1876 1878 1879 1883 1885 1890 1892 1894 1896 1899 1901 1905 1909 1914 1915 a YES a 1 10 1002 1006 1008 101 1012 1014 1016 1020 1022 1024 1026 1028 103 1030 1036 1038 1040 1042 1044 1045 1049 1054 1056 1060 1062 1064 1067 1069 1071 1075 1078 1080 1084 1087 1090 1091 1094 1095 1098 110 1101 1105 1109 1113 1117 1119 112 1123 1126 1128 1132 1134 1136 114 1140 1145 1147 1149 1151 1153 1158 116 1160 1162 1165 1167 1169 1171 1173 1177 118 1181 1183 1185 1187 1191 1196 1197 1199 12 120 1202 1206 1208 121 1210 1211 1213 1215 1219 1221 1225 1229 123 1232 1240 1244 1246 1247 125 1251 1253 1255 1259 1261 1265 1267 1269 1273 1277 1279 1281 1283 1285 1287 1290 1296 1298 1300 1305 1307 1309 131 1313 1315 1320 1322 1326 1328 1331 1335 1342 1344 1346 1350 1352 1354 1356 1358 1363 1365 1368 137 1372 1376 1377 1379 1382 1383 1387 1389 139 1396 1398 1402 1404 1408 141 1412 1414 1416 1420 1422 1424 1426 1427 1433 1435 1437 1442 1444 1447 1449 145 1456 1458 1460 1462 1464 1467 147 1471 1481 1485 1487 1491 1493 1497 1499 1504 1506 1509 151 1511 1513 1515 1517 1520 1522 1524 1526 153 1531 1533 1535 1537 1539 1541 1546 1548 155 1551 1553 1557 1561 1563 1565 1567 1572 1576 1578 158 1580 1581 1583 1585 1589 1591 1593 1597 160 1601 1603 1605 1609 1611 1618 1620 1622 1624 1625 1629 163 1638 1642 1644 1648 1650 1652 1654 1656 1658 1659 1661 1663 1666 167 1672 1674 1676 1678 1680 1681 1685 1690 1692 1694 1697 170 1703 1707 1711 1713 1715 1718 1720 1724 1726 1728 1733 1735 1737 1739 174 1744 1748 1750 1752 1755 1757 176 1764 1766 1767 1771 1773 1777 178 1783 1786 1788 1789 1794 1796 1798 1801 1806 1809 181 1811 1813 1815 1818 1824 1826 183 1830 1836 1838 1841 1843 1845 1847 1852 1854 1856 1858 1861 1865 1867 1870 1874 1876 1878 1879 188 1883 1885 1890 1892 1894 1896 1899 19 190 1901 1905 1909 191 1914 1915 195 202 204 208 21 210 212 214 216 219 221 225 227 23 230 234 236 238 240 245 249 25 253 256 258 262 263 268 269 27 271 273 277 279 281 286 287 289 291 293 296 301 303 307 309 311 313 316 318 32 320 323 325 329 331 337 339 34 341 343 349 351 353 355 357 361 366 368 370 374 376 378 38 380 382 387 389 394 396 4 40 400 402 404 407 409 411 413 415 417 419 42 421 426 430 432 434 438 44 440 444 446 448 452 454 458 460 462 464 465 467 47 474 476 478 479 481 485 489 49 493 500 503 507 513 515 517 520 526 528 53 530 532 534 537 541 545 548 55 550 552 555 557 563 565 569 57 573 575 577 583 587 589 59 591 593 597 599 6 601 603 605 610 611 613 615 618 622 624 629 63 631 634 636 642 644 646 650 652 653 655 660 662 664 669 671 673 675 679 68 682 684 686 690 693 695 697 699 701 703 705 712 718 72 720 722 724 730 734 738 74 740 742 746 748 754 756 758 760 765 767 769 773 775 777 779 78 783 790 792 794 798 8 80 800 803 807 811 813 815 819 822 826 832 834 837 839 84 841 845 847 852 854 856 858 86 860 862 864 867 873 875 877 879 881 883 885 891 893 895 899 902 904 906 909 91 914 916 918 920 922 924 929 93 931 933 935 937 939 944 947 949 95 953 957 960 966 97 970 971 973 975 977 988 99 990 996 998 a 1 10 1002 1006 1008 101 1012 1014 1016 1020 1022 1024 1026 1028 103 1030 1036 1038 1040 1042 1044 1045 1049 1054 1056 1060 1062 1064 1067 1069 1071 1075 1078 1080 1084 1087 1090 1091 1094 1095 1098 110 1101 1105 1109 1113 1117 1119 112 1123 1126 1128 1132 1134 1136 114 1140 1145 1147 1149 1151 1153 1158 116 1160 1162 1165 1167 1169 1171 1173 1177 118 1181 1183 1185 1187 1191 1196 1197 1199 12 120 1202 1206 1208 121 1210 1211 1213 1215 1219 1221 1225 1229 123 1232 1240 1244 1246 1247 125 1251 1253 1255 1259 1261 1265 1267 1269 1273 1277 1279 1281 1283 1285 1287 1290 1296 1298 1300 1305 1307 1309 131 1313 1315 1320 1322 1326 1328 1331 1335 1342 1344 1346 1350 1352 1354 1356 1358 1363 1365 1368 137 1372 1376 1377 1379 1382 1383 1387 1389 139 1396 1398 1402 1404 1408 141 1412 1414 1416 1420 1422 1424 1426 1427 1433 1435 1437 1442 1444 1447 1449 145 1456 1458 1460 1462 1464 1467 147 1471 1481 1485 1487 1491 1493 1497 1499 1504 1506 1509 151 1511 1513 1515 1517 1520 1522 1524 1526 153 1531 1533 1535 1537 1539 1541 1546 1548 155 1551 1553 1557 1561 1563 1565 1567 1572 1576 1578 158 1580 1581 1583 1585 1589 1591 1593 1597 160 1601 1603 1605 1609 1611 1618 1620 1622 1624 1625 1629 163 1638 1642 1644 1648 1650 1652 1654 1656 1658 1659 1661 1663 1666 167 1672 1674 1676 1678 1680 1681 1685 1690 1692 1694 1697 170 1703 1707 1711 1713 1715 1718 1720 1724 1726 1728 1733 1735 1737 1739 174 1744 1748 1750 1752 1755 1757 176 1764 1766 1767 1771 1773 1777 178 1783 1786 1788 1789 1794 1796 1798 1801 1806 1809 181 1811 1813 1815 1818 1824 1826 183 1830 1836 1838 1841 1843 1845 1847 1852 1854 1856 1858 1861 1865 1867 1870 1874 1876 1878 1879 188 1883 1885 1890 1892 1894 1896 1899 19 190 1901 1905 1909 191 1914 1915 195 202 204 208 21 210 212 214 216 219 221 225 227 23 230 234 236 238 240 245 249 25 253 256 258 262 263 268 269 27 271 273 277 279 281 286 287 289 291 293 296 301 303 307 309 311 313 316 318 32 320 323 325 329 331 337 339 34 341 343 349 351 353 355 357 359 361 366 368 370 374 376 378 38 380 382 387 389 394 396 4 40 400 402 404 407 409 411 413 415 417 419 42 421 426 430 432 434 438 44 440 444 446 448 452 454 458 460 462 464 465 467 47 474 476 478 479 481 485 489 49 493 500 503 507 513 515 517 520 526 528 53 530 532 534 537 541 545 55 550 552 555 557 563 565 569 57 573 575 577 583 587 589 59 591 593 597 599 6 601 603 605 610 611 613 615 618 622 624 629 63 631 634 636 642 644 646 650 652 653 655 660 662 664 669 671 673 675 679 68 682 684 686 690 693 695 697 699 701 703 705 712 718 72 720 722 724 730 734 738 74 740 742 746 748 754 756 758 760 765 767 769 773 775 777 779 78 783 790 792 794 798 8 80 800 803 807 811 813 815 819 822 826 832 834 837 839 84 841 845 847 852 854 856 858 86 860 862 864 867 873 875 877 879 881 883 885 891 893 895 899 902 904 906 909 91 914 916 918 920 922 924 929 93 931 933 935 937 939 944 947 949 95 953 957 960 966 97 970 971 973 975 977 988 99 990 996 998 Command exited with non-zero status 10 Command being timed: "/Users/macpro/.pyenv/versions/anaconda3-2021.11/bin/clingo ../solver/core_compet2.lp --stats --quiet=1,0 --time-limit=7200 ../encoding/isrpTJ_exact1_allhint_inc.lp --heu=domain ../../benchmark/3rd-benchmark/asp/ash958GPIA.lp ../../benchmark/3rd-benchmark/asp/ash958GPIA_02.lp" User time (seconds): 4.15 System time (seconds): 0.28 Percent of CPU this job got: 99% Elapsed (wall clock) time (h:mm:ss or m:ss): 0:04.44 Average shared text size (kbytes): 0 Average unshared data size (kbytes): 0 Average stack size (kbytes): 0 Average total size (kbytes): 0 Maximum resident set size (kbytes): 237440 Average resident set size (kbytes): 0 Major (requiring I/O) page faults: 0 Minor (reclaiming a frame) page faults: 59548 Voluntary context switches: 2 Involuntary context switches: 21 Swaps: 0 File system inputs: 0 File system outputs: 0 Socket messages sent: 0 Socket messages received: 0 Signals delivered: 0 Page size (bytes): 4096 Exit status: 10