s 33 82 128 208 244 390 431 489 580 649 672 739 794 872 947 1002 1054 1126 1177 1238 1284 1375 1416 1492 1526 1613 1679 1707 1779 1807 1876 1937 2024 2061 2110 2216 2278 2330 2385 2403 2461 2543 2631 2669 2731 2795 2863 2921 3000 3002 3085 3126 3193 3258 3315 3408 3474 3537 3545 t 59 76 123 220 274 325 417 455 489 560 624 706 735 797 879 902 978 1030 1108 1195 1221 1304 1353 1388 1487 1556 1574 1632 1703 1747 1836 1918 1951 2032 2070 2105 2203 2261 2325 2351 2466 2571 2617 2659 2729 2773 2880 2934 2988 3042 3110 3146 3218 3289 3301 3364 3473 3502 3567 a YES a 1002 1054 1126 1177 1238 128 1284 1375 1416 1492 1526 1613 1679 1707 1779 1807 1876 1937 2024 2061 208 2110 2216 2278 2330 2385 2403 244 2461 2543 2631 2669 2731 2795 2863 2921 3000 3002 3085 3126 3193 3258 33 3315 3408 3474 3537 3545 390 431 489 580 649 672 739 794 82 872 947 a 1002 1054 1126 1177 1238 128 1284 1375 1416 1492 1526 1613 1679 1707 1779 1807 1876 1937 2024 2061 208 2110 2216 2278 2330 2385 2403 244 2461 2543 2631 2669 2731 2795 2863 2921 3000 3002 3126 3193 325 3258 33 3315 3408 3474 3537 3545 390 431 489 580 649 672 739 794 82 872 947 a 1002 1054 1126 1177 1238 128 1284 1375 1416 1492 1526 1613 1679 1707 1779 1807 1876 1937 2024 2061 208 2110 2216 2278 2330 2385 2403 244 2461 2543 2631 2669 2731 2795 2863 2921 3000 3002 3126 3193 325 3258 33 3315 3408 3474 3537 3545 390 431 489 560 649 672 739 794 82 872 947 a 1002 1054 1126 1177 1238 128 1284 1375 1416 1492 1526 1613 1679 1707 1779 1807 1876 1937 2024 2061 2110 220 2216 2278 2330 2385 2403 244 2461 2543 2631 2669 2731 2795 2863 2921 3000 3002 3126 3193 325 3258 33 3315 3408 3474 3537 3545 390 431 489 560 649 672 739 794 82 872 947 a 1002 1054 1108 1177 1238 128 1284 1375 1416 1492 1526 1613 1679 1707 1779 1807 1876 1937 2024 2061 2110 220 2216 2278 2330 2385 2403 244 2461 2543 2631 2669 2731 2795 2863 2921 3000 3002 3126 3193 325 3258 33 3315 3408 3474 3537 3545 390 431 489 560 649 672 739 794 82 872 947 a 1002 1054 1108 1177 1238 128 1284 1375 1416 1492 1526 1613 1679 1707 1779 1807 1876 1937 2024 2061 2110 220 2216 2278 2385 2403 244 2461 2543 2631 2669 2731 2795 2863 2921 3000 3002 3110 3126 3193 325 3258 33 3315 3408 3474 3537 3545 390 431 489 560 649 672 739 794 82 872 947 a 1002 1054 1108 1177 1238 128 1284 1375 1416 1492 1526 1613 1679 1707 1779 1807 1876 1937 2024 2061 2110 220 2216 2278 2385 2403 244 2461 2543 2631 2669 2731 2795 2863 2921 3000 3002 3110 3126 3193 325 3258 33 3315 3408 3474 3537 3545 390 431 489 560 649 706 739 794 82 872 947 a 1002 1054 1108 1177 1238 128 1284 1375 1416 1492 1526 1613 1632 1707 1779 1807 1876 1937 2024 2061 2110 220 2216 2278 2385 2403 244 2461 2543 2631 2669 2731 2795 2863 2921 3000 3002 3110 3126 3193 325 3258 33 3315 3408 3474 3537 3545 390 431 489 560 649 706 739 794 82 872 947 a 1002 1054 1108 1177 1238 128 1284 1375 1416 1492 1526 1613 1632 1707 1779 1807 1876 1937 2024 2061 2110 220 2216 2278 2325 2403 244 2461 2543 2631 2669 2731 2795 2863 2921 3000 3002 3110 3126 3193 325 3258 33 3315 3408 3474 3537 3545 390 431 489 560 649 706 739 794 82 872 947 a 1002 1054 1108 1177 1238 128 1284 1375 1416 1492 1526 1613 1632 1707 1779 1807 1876 1937 2024 2061 2110 220 2216 2278 2325 2351 2403 244 2461 2543 2631 2669 2731 2795 2863 2921 3000 3002 3110 3126 3193 325 3258 33 3315 3408 3474 3537 3545 390 489 560 649 706 739 794 82 872 947 a 1002 1054 1108 1177 1238 128 1284 1375 1416 1492 1526 1613 1632 1707 1779 1807 1876 1937 2024 2061 2110 220 2216 2278 2325 2351 2403 244 2461 2543 2631 2669 2731 2795 2863 2921 3000 3002 3110 3126 3193 325 3258 3315 3408 3474 3537 3545 390 489 560 59 649 706 739 794 82 872 947 a 1002 1054 1108 1177 1238 128 1284 1353 1416 1492 1526 1613 1632 1707 1779 1807 1876 1937 2024 2061 2110 220 2216 2278 2325 2351 2403 244 2461 2543 2631 2669 2731 2795 2863 2921 3000 3002 3110 3126 3193 325 3258 3315 3408 3474 3537 3545 390 489 560 59 649 706 739 794 82 872 947 a 1002 1054 1108 1195 1238 128 1284 1353 1416 1492 1526 1613 1632 1707 1779 1807 1876 1937 2024 2061 2110 220 2216 2278 2325 2351 2403 244 2461 2543 2631 2669 2731 2795 2863 2921 3000 3002 3110 3126 3193 325 3258 3315 3408 3474 3537 3545 390 489 560 59 649 706 739 794 82 872 947 a 1002 1054 1108 1195 1238 128 1284 1353 1416 1492 1526 1613 1632 1707 1779 1807 1876 1937 2024 2061 2110 220 2216 2278 2325 2351 2403 244 2461 2543 2617 2669 2731 2795 2863 2921 3000 3002 3110 3126 3193 325 3258 3315 3408 3474 3537 3545 390 489 560 59 649 706 739 794 82 872 947 a 1002 1054 1108 1195 1238 128 1284 1353 1416 1492 1526 1613 1632 1707 1779 1807 1876 1937 2024 2061 2110 220 2216 2278 2325 2351 2403 244 2461 2571 2617 2669 2731 2795 2863 2921 3000 3002 3110 3126 3193 325 3258 3315 3408 3474 3537 3545 390 489 560 59 649 706 739 794 82 872 947 a 1002 1054 1108 1195 1238 128 1284 1353 1416 1492 1526 1613 1632 1703 1779 1807 1876 1937 2024 2061 2110 220 2216 2278 2325 2351 2403 244 2461 2571 2617 2669 2731 2795 2863 2921 3000 3002 3110 3126 3193 325 3258 3315 3408 3474 3537 3545 390 489 560 59 649 706 739 794 82 872 947 a 1002 1054 1108 1195 1238 128 1284 1353 1416 1492 1526 1613 1632 1703 1779 1807 1876 1937 2024 2061 2110 220 2216 2278 2325 2351 2403 244 2461 2571 2617 2669 2731 2795 2863 2921 3000 3002 3110 3126 3193 325 3258 3315 3408 3474 3537 3567 390 489 560 59 649 706 739 794 82 872 947 a 1002 1054 1108 1195 1238 128 1284 1353 1416 1492 1526 1613 1632 1703 1779 1807 1876 1937 2024 2061 2110 220 2216 2278 2325 2351 2403 244 2461 2571 2617 2669 2731 2863 2921 3000 3002 3110 3126 3193 325 3258 3315 3408 3474 3537 3567 390 455 489 560 59 649 706 739 794 82 872 947 a 1002 1054 1108 1195 1238 128 1284 1353 1416 1492 1526 1613 1632 1703 1779 1807 1876 1937 2024 2061 2110 220 2216 2278 2325 2351 2403 244 2461 2571 2617 2669 2731 2773 2863 2921 3000 3002 3110 3126 325 3258 3315 3408 3474 3537 3567 390 455 489 560 59 649 706 739 794 82 872 947 a 1002 1054 1108 1195 1238 128 1284 1353 1416 1492 1526 1613 1632 1703 1779 1807 1876 1937 2024 2061 2105 220 2216 2278 2325 2351 2403 244 2461 2571 2617 2669 2731 2773 2863 2921 3000 3002 3110 3126 325 3258 3315 3408 3474 3537 3567 390 455 489 560 59 649 706 739 794 82 872 947 a 1002 1030 1108 1195 1238 128 1284 1353 1416 1492 1526 1613 1632 1703 1779 1807 1876 1937 2024 2061 2105 220 2216 2278 2325 2351 2403 244 2461 2571 2617 2669 2731 2773 2863 2921 3000 3002 3110 3126 325 3258 3315 3408 3474 3537 3567 390 455 489 560 59 649 706 739 794 82 872 947 a 1002 1030 1108 1195 1238 128 1284 1353 1416 1492 1526 1613 1632 1703 1779 1807 1876 1937 2024 2061 2105 220 2216 2278 2325 2351 2403 2461 2571 2617 2669 2731 274 2773 2863 2921 3000 3002 3110 3126 325 3258 3315 3408 3474 3537 3567 390 455 489 560 59 649 706 739 794 82 872 947 a 1002 1030 1108 1195 128 1284 1353 1416 1492 1526 1613 1632 1703 1779 1807 1876 1937 2024 2061 2105 220 2216 2278 2325 2351 2403 2461 2571 2617 2669 2731 274 2773 2863 2921 3000 3002 3110 3126 3218 325 3258 3315 3408 3474 3537 3567 390 455 489 560 59 649 706 739 794 82 872 947 a 1002 1030 1108 1195 1221 128 1284 1353 1416 1492 1526 1613 1632 1703 1779 1807 1876 1937 2024 2105 220 2216 2278 2325 2351 2403 2461 2571 2617 2669 2731 274 2773 2863 2921 3000 3002 3110 3126 3218 325 3258 3315 3408 3474 3537 3567 390 455 489 560 59 649 706 739 794 82 872 947 a 1002 1030 1108 1195 1221 128 1284 1353 1416 1492 1526 1613 1632 1703 1779 1807 1876 1937 2024 2070 2105 220 2216 2278 2325 2351 2403 2461 2571 2617 2669 2731 274 2773 2863 2921 3000 3002 3110 3126 3218 325 3258 3315 3408 3474 3537 3567 455 489 560 59 649 706 739 794 82 872 947 a 1002 1030 1108 1195 1221 128 1284 1353 1416 1492 1526 1613 1632 1703 1779 1807 1876 1937 2024 2070 2105 220 2216 2278 2325 2351 2403 2461 2571 2617 2669 2731 274 2773 2863 2921 3000 3002 3110 3126 3218 325 3258 3315 3364 3474 3537 3567 455 489 560 59 649 706 739 794 82 872 947 a 1002 1030 1108 1195 1221 128 1284 1353 1416 1492 1526 1613 1632 1703 1779 1807 1876 1937 2024 2070 2105 220 2216 2278 2325 2351 2403 2461 2571 2617 2669 2731 274 2773 2863 2921 3000 3002 3110 3126 3218 325 3258 3315 3364 3474 3567 417 455 489 560 59 649 706 739 794 82 872 947 a 1002 1030 1108 1195 1221 128 1284 1353 1416 1492 1526 1613 1632 1703 1779 1807 1876 1937 2024 2070 2105 220 2216 2278 2325 2351 2403 2461 2571 2617 2669 2731 274 2773 2863 2921 3000 3002 3110 3126 3218 325 3258 3315 3364 3474 3502 3567 417 455 489 560 59 649 706 739 794 872 947 a 1002 1030 1108 1195 1221 128 1284 1353 1416 1492 1526 1613 1632 1703 1779 1807 1876 1937 2024 2070 2105 220 2216 2278 2325 2351 2403 2461 2571 2617 2669 2731 274 2773 2863 2921 2988 3002 3110 3126 3218 325 3258 3315 3364 3474 3502 3567 417 455 489 560 59 649 706 739 794 872 947 a 1002 1030 1108 1195 1221 128 1284 1353 1416 1492 1526 1613 1632 1703 1779 1807 1937 2024 2070 2105 220 2216 2278 2325 2351 2403 2461 2571 2617 2669 2731 274 2773 2863 2921 2988 3002 3110 3126 3218 325 3258 3315 3364 3474 3502 3567 417 455 489 560 59 649 706 739 76 794 872 947 a 1002 1030 1108 1195 1221 128 1284 1353 1416 1492 1526 1613 1632 1703 1779 1807 1937 2024 2070 2105 220 2216 2278 2325 2351 2403 2461 2571 2617 2669 2731 274 2773 2880 2921 2988 3002 3110 3126 3218 325 3258 3315 3364 3474 3502 3567 417 455 489 560 59 649 706 739 76 794 872 947 a 1002 1030 1108 1195 1221 128 1284 1353 1416 1492 1526 1613 1632 1703 1779 1807 1937 2024 2070 2105 220 2203 2278 2325 2351 2403 2461 2571 2617 2669 2731 274 2773 2880 2921 2988 3002 3110 3126 3218 325 3258 3315 3364 3474 3502 3567 417 455 489 560 59 649 706 739 76 794 872 947 a 1002 1030 1108 1195 1221 128 1284 1353 1416 1492 1556 1613 1632 1703 1779 1807 1937 2024 2070 2105 220 2203 2278 2325 2351 2403 2461 2571 2617 2669 2731 274 2773 2880 2921 2988 3002 3110 3126 3218 325 3258 3315 3364 3474 3502 3567 417 455 489 560 59 649 706 739 76 794 872 947 a 1002 1030 1108 1195 1221 128 1284 1353 1416 1492 1556 1613 1632 1703 1779 1807 1937 2024 2070 2105 220 2203 2278 2325 2351 2403 2461 2571 2617 2669 2731 274 2773 2880 2921 2988 3002 3110 3146 3218 325 3258 3315 3364 3474 3502 3567 417 455 489 560 59 649 706 739 76 794 872 947 a 1002 1030 1108 1195 1221 128 1284 1353 1416 1492 1556 1613 1632 1703 1779 1807 1918 1937 2024 2070 2105 220 2203 2325 2351 2403 2461 2571 2617 2669 2731 274 2773 2880 2921 2988 3002 3110 3146 3218 325 3258 3315 3364 3474 3502 3567 417 455 489 560 59 649 706 739 76 794 872 947 a 1002 1030 1108 1195 1221 128 1284 1353 1416 1492 1556 1613 1632 1703 1779 1807 1918 1937 2024 2070 2105 220 2203 2325 2351 2403 2466 2571 2617 2669 2731 274 2773 2880 2921 2988 3002 3110 3146 3218 325 3258 3315 3364 3474 3502 3567 417 455 489 560 59 649 706 739 76 794 872 947 a 1002 1030 1108 1195 1221 128 1284 1353 1416 1492 1556 1613 1632 1703 1779 1807 1918 1937 2024 2070 2105 220 2203 2325 2351 2403 2466 2571 2617 2669 2731 274 2773 2880 2921 2988 3002 3110 3146 3218 325 3258 3301 3364 3474 3502 3567 417 455 489 560 59 649 706 739 76 794 872 947 a 1002 1030 1108 1195 1221 128 1284 1353 1416 1492 1556 1613 1632 1703 1779 1807 1918 1937 2024 2070 2105 220 2203 2261 2325 2351 2403 2466 2571 2617 2669 2731 274 2773 2880 2988 3002 3110 3146 3218 325 3258 3301 3364 3474 3502 3567 417 455 489 560 59 649 706 739 76 794 872 947 a 1002 1030 1108 1195 1221 128 1284 1353 1416 1492 1556 1613 1632 1703 1779 1807 1918 1937 2024 2070 2105 220 2203 2261 2325 2351 2403 2466 2571 2617 2669 2731 274 2773 2880 2934 2988 3002 3110 3146 3218 325 3258 3301 3364 3502 3567 417 455 489 560 59 649 706 739 76 794 872 947 a 1002 1030 1108 1195 1221 128 1284 1353 1416 1492 1556 1632 1703 1779 1807 1918 1937 2024 2070 2105 220 2203 2261 2325 2351 2403 2466 2571 2617 2669 2731 274 2773 2880 2934 2988 3002 3110 3146 3218 325 3258 3301 3364 3473 3502 3567 417 455 489 560 59 649 706 739 76 794 872 947 a 1002 1030 1108 1195 1221 128 1284 1353 1416 1492 1556 1574 1632 1703 1779 1807 1918 1937 2024 2070 2105 220 2203 2261 2325 2351 2403 2466 2571 2617 2669 2731 274 2773 2880 2934 2988 3002 3110 3146 3218 325 3258 3301 3364 3473 3502 3567 417 455 489 560 59 649 706 739 76 872 947 a 1002 1030 1108 1195 1221 128 1284 1353 1416 1492 1556 1574 1632 1703 1779 1807 1918 2024 2070 2105 220 2203 2261 2325 2351 2403 2466 2571 2617 2669 2731 274 2773 2880 2934 2988 3002 3110 3146 3218 325 3258 3301 3364 3473 3502 3567 417 455 489 560 59 649 706 739 76 797 872 947 a 1002 1030 1108 1195 1221 128 1284 1353 1416 1492 1556 1574 1632 1703 1779 1807 1918 1951 2024 2070 2105 220 2203 2261 2325 2351 2403 2466 2571 2617 2669 274 2773 2880 2934 2988 3002 3110 3146 3218 325 3258 3301 3364 3473 3502 3567 417 455 489 560 59 649 706 739 76 797 872 947 a 1002 1030 1108 1195 1221 128 1284 1353 1416 1492 1556 1574 1632 1703 1779 1807 1918 1951 2024 2070 2105 220 2203 2261 2325 2351 2403 2466 2571 2617 2729 274 2773 2880 2934 2988 3002 3110 3146 3218 325 3258 3301 3364 3473 3502 3567 417 455 489 560 59 649 706 739 76 797 872 947 a 1002 1030 1108 1195 1221 128 1284 1353 1416 1492 1556 1574 1632 1703 1779 1807 1918 1951 2024 2070 2105 220 2203 2261 2325 2351 2403 2466 2571 2617 2659 2729 274 2773 2880 2934 2988 3002 3110 3146 3218 325 3258 3301 3364 3473 3502 3567 417 455 489 560 59 649 706 76 797 872 947 a 1002 1030 1108 1195 1221 128 1284 1353 1416 1492 1556 1574 1632 1703 1779 1807 1918 1951 2070 2105 220 2203 2261 2325 2351 2403 2466 2571 2617 2659 2729 274 2773 2880 2934 2988 3002 3110 3146 3218 325 3258 3301 3364 3473 3502 3567 417 455 489 560 59 649 706 735 76 797 872 947 a 1002 1030 1108 1195 1221 128 1304 1353 1416 1492 1556 1574 1632 1703 1779 1807 1918 1951 2070 2105 220 2203 2261 2325 2351 2403 2466 2571 2617 2659 2729 274 2773 2880 2934 2988 3002 3110 3146 3218 325 3258 3301 3364 3473 3502 3567 417 455 489 560 59 649 706 735 76 797 872 947 a 1002 1030 1108 1195 1221 128 1304 1353 1416 1556 1574 1632 1703 1779 1807 1918 1951 2032 2070 2105 220 2203 2261 2325 2351 2403 2466 2571 2617 2659 2729 274 2773 2880 2934 2988 3002 3110 3146 3218 325 3258 3301 3364 3473 3502 3567 417 455 489 560 59 649 706 735 76 797 872 947 a 1002 1030 1108 1195 1221 128 1304 1353 1416 1487 1556 1574 1632 1703 1779 1807 1918 1951 2032 2070 2105 220 2203 2261 2325 2351 2403 2466 2571 2617 2659 2729 274 2773 2880 2934 2988 3002 3110 3146 3218 325 3258 3301 3364 3473 3502 3567 417 455 489 560 59 649 706 735 76 797 872 a 1002 1030 1108 1195 1221 128 1304 1353 1416 1487 1556 1574 1632 1703 1779 1807 1918 1951 2032 2070 2105 220 2203 2261 2325 2351 2403 2466 2571 2617 2659 2729 274 2773 2880 2934 2988 3002 3110 3146 3218 325 3258 3301 3364 3473 3502 3567 417 455 489 560 59 624 706 735 76 797 872 a 1002 1030 1108 1195 1221 128 1304 1353 1416 1487 1556 1574 1632 1703 1779 1807 1918 1951 2032 2070 2105 220 2203 2261 2325 2351 2403 2466 2571 2617 2659 2729 274 2773 2880 2934 2988 3002 3110 3146 3218 325 3289 3301 3364 3473 3502 3567 417 455 489 560 59 624 706 735 76 797 872 a 1030 1108 1195 1221 128 1304 1353 1416 1487 1556 1574 1632 1703 1779 1807 1918 1951 2032 2070 2105 220 2203 2261 2325 2351 2403 2466 2571 2617 2659 2729 274 2773 2880 2934 2988 3002 3110 3146 3218 325 3289 3301 3364 3473 3502 3567 417 455 489 560 59 624 706 735 76 797 872 978 a 1030 1108 1195 1221 128 1304 1353 1416 1487 1556 1574 1632 1703 1779 1807 1918 1951 2032 2070 2105 220 2203 2261 2325 2351 2403 2466 2571 2617 2659 2729 274 2773 2880 2934 2988 3110 3146 3218 325 3289 3301 3364 3473 3502 3567 417 455 489 560 59 624 706 735 76 797 872 902 978 a 1030 1108 1195 1221 128 1304 1353 1487 1556 1574 1632 1703 1779 1807 1918 1951 2032 2070 2105 220 2203 2261 2325 2351 2403 2466 2571 2617 2659 2729 274 2773 2880 2934 2988 3042 3110 3146 3218 325 3289 3301 3364 3473 3502 3567 417 455 489 560 59 624 706 735 76 797 872 902 978 a 1030 1108 1195 1221 128 1304 1353 1487 1556 1574 1632 1703 1779 1836 1918 1951 2032 2070 2105 220 2203 2261 2325 2351 2403 2466 2571 2617 2659 2729 274 2773 2880 2934 2988 3042 3110 3146 3218 325 3289 3301 3364 3473 3502 3567 417 455 489 560 59 624 706 735 76 797 872 902 978 a 1030 1108 1195 1221 128 1304 1353 1487 1556 1574 1632 1703 1747 1836 1918 1951 2032 2070 2105 220 2203 2261 2325 2351 2403 2466 2571 2617 2659 2729 274 2773 2880 2934 2988 3042 3110 3146 3218 325 3289 3301 3364 3473 3502 3567 417 455 489 560 59 624 706 735 76 797 872 902 978 a 1030 1108 1195 1221 1304 1353 1388 1487 1556 1574 1632 1703 1747 1836 1918 1951 2032 2070 2105 220 2203 2261 2325 2351 2403 2466 2571 2617 2659 2729 274 2773 2880 2934 2988 3042 3110 3146 3218 325 3289 3301 3364 3473 3502 3567 417 455 489 560 59 624 706 735 76 797 872 902 978 a 1030 1108 1195 1221 1304 1353 1388 1487 1556 1574 1632 1703 1747 1836 1918 1951 2032 2070 2105 220 2203 2261 2325 2351 2403 2466 2571 2617 2659 2729 274 2773 2880 2934 2988 3042 3110 3146 3218 325 3289 3301 3364 3473 3502 3567 417 455 489 560 59 624 706 735 76 797 879 902 978 a 1030 1108 1195 1221 123 1304 1353 1388 1487 1556 1574 1632 1703 1747 1836 1918 1951 2032 2070 2105 220 2203 2261 2325 2351 2466 2571 2617 2659 2729 274 2773 2880 2934 2988 3042 3110 3146 3218 325 3289 3301 3364 3473 3502 3567 417 455 489 560 59 624 706 735 76 797 879 902 978 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/qg.order60.lp ../../benchmark/3rd-benchmark/asp/qg.order60_02.lp" User time (seconds): 314.43 System time (seconds): 2.76 Percent of CPU this job got: 99% Elapsed (wall clock) time (h:mm:ss or m:ss): 5:17.20 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): 3634724 Average resident set size (kbytes): 0 Major (requiring I/O) page faults: 0 Minor (reclaiming a frame) page faults: 908879 Voluntary context switches: 1 Involuntary context switches: 497 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