c Running for 10 seconds: python3 /SOLVER/mip/check-unsolvability.py /BENCHMARKS/benchmark/color04/qg.order60.col /BENCHMARKS/benchmark/color04/qg.order60_02.dat c Running for 4200 seconds: python3 /SOLVER/symk/fast-downward.py --overall-memory-limit 16G --plan-file results/qg.order60_02/sas_plan results/qg.order60_02/output.sas --search "sym-fw()" c Running for 4200 seconds: python3 /SOLVER/fd/fast-downward.py --overall-memory-limit 16G --plan-file results/qg.order60_02/sas_plan results/qg.order60_02/output.sas --landmarks "lmg=lm_merged([lm_rhw(use_orders=true), lm_hm(use_orders=true, m=1)])" --evaluator "hlm=lmcount(lmg, admissible=true, pref=false, cost_partitioning=suboptimal, greedy=false, reuse_costs=false)" --search "astar(hlm)" 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 3085 3126 3193 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 3085 3126 3193 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 3085 3126 3193 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 3085 3126 3193 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 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 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 2330 2385 2403 244 2461 2543 2631 2669 2731 2795 2863 2921 3000 3002 3085 3126 3193 3258 3315 3408 3474 3537 3545 390 431 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 2330 2385 2403 244 2461 2543 2631 2669 2731 2795 2863 2921 3000 3002 3085 3126 3193 3258 3315 3408 3474 3537 3545 390 431 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 2330 2385 2403 244 2461 2543 2631 2669 2731 2795 2863 2921 3000 3002 3085 3126 3193 3258 3315 3408 3474 3537 3545 390 431 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 2330 2385 2403 244 2461 2543 2617 2669 2731 2795 2863 2921 3000 3002 3085 3126 3193 3258 3315 3408 3474 3537 3545 390 431 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 2330 2385 2403 244 2461 2571 2617 2669 2731 2795 2863 2921 3000 3002 3085 3126 3193 3258 3315 3408 3474 3537 3545 390 431 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 2330 2385 2403 244 2461 2571 2617 2669 2731 2795 2863 2921 3000 3002 3085 3126 3193 3258 3315 3408 3474 3537 3545 390 431 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 2330 2385 2403 244 2461 2571 2617 2669 2731 2795 2863 2921 3000 3002 3126 3193 325 3258 3315 3408 3474 3537 3545 390 431 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 2385 2403 244 2461 2571 2617 2669 2731 2795 2863 2921 3000 3002 3110 3126 3193 325 3258 3315 3408 3474 3537 3545 390 431 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 2403 244 2461 2571 2617 2669 2731 2795 2863 2921 3000 3002 3110 3126 3193 325 3258 3315 3408 3474 3537 3545 390 431 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 2863 2921 3000 3002 3110 3126 3193 325 3258 3315 3408 3474 3537 3545 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 3545 390 455 489 560 59 649 706 739 794 82 872 947 a 1002 1054 1108 1195 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 3218 325 3258 3315 3408 3474 3537 3545 390 455 489 560 59 649 706 739 794 82 872 947 a 1002 1054 1108 1195 1221 128 1284 1353 1416 1492 1526 1613 1632 1703 1779 1807 1876 1937 2024 2110 220 2216 2278 2325 2351 2403 244 2461 2571 2617 2669 2731 2773 2863 2921 3000 3002 3110 3126 3218 325 3258 3315 3408 3474 3537 3545 390 455 489 560 59 649 706 739 794 82 872 947 a 1002 1054 1108 1195 1221 128 1284 1353 1416 1492 1526 1613 1632 1703 1779 1807 1876 1937 2024 2070 2110 220 2216 2278 2325 2351 2403 244 2461 2571 2617 2669 2731 2773 2863 2921 3000 3002 3110 3126 3218 325 3258 3315 3408 3474 3537 3545 455 489 560 59 649 706 739 794 82 872 947 a 1002 1054 1108 1195 1221 128 1284 1353 1416 1492 1526 1613 1632 1703 1779 1807 1876 1937 2024 2070 2110 220 2216 2278 2325 2351 2403 244 2461 2571 2617 2669 2731 2773 2863 2921 3000 3002 3110 3126 3218 325 3258 3315 3408 3474 3545 417 455 489 560 59 649 706 739 794 82 872 947 a 1002 1054 1108 1195 1221 128 1284 1353 1416 1492 1526 1613 1632 1703 1779 1807 1876 1937 2024 2070 2110 220 2216 2278 2325 2351 2403 244 2461 2571 2617 2669 2731 2773 2863 2921 3000 3002 3110 3126 3218 325 3258 3315 3408 3474 3502 3545 417 455 489 560 59 649 706 739 794 872 947 a 1002 1054 1108 1195 1221 128 1284 1353 1416 1492 1526 1613 1632 1703 1779 1807 1937 2024 2070 2110 220 2216 2278 2325 2351 2403 244 2461 2571 2617 2669 2731 2773 2863 2921 3000 3002 3110 3126 3218 325 3258 3315 3408 3474 3502 3545 417 455 489 560 59 649 706 739 76 794 872 947 a 1002 1054 1108 1195 1221 128 1284 1353 1416 1492 1526 1613 1632 1703 1779 1807 1918 1937 2024 2070 2110 220 2216 2325 2351 2403 244 2461 2571 2617 2669 2731 2773 2863 2921 3000 3002 3110 3126 3218 325 3258 3315 3408 3474 3502 3545 417 455 489 560 59 649 706 739 76 794 872 947 a 1002 1054 1108 1195 1221 128 1284 1353 1416 1492 1526 1613 1632 1703 1779 1807 1918 1937 2024 2070 2110 220 2216 2261 2325 2351 2403 244 2461 2571 2617 2669 2731 2773 2863 3000 3002 3110 3126 3218 325 3258 3315 3408 3474 3502 3545 417 455 489 560 59 649 706 739 76 794 872 947 a 1002 1054 1108 1195 1221 128 1284 1353 1416 1492 1526 1613 1632 1703 1779 1807 1918 1937 2024 2070 2110 220 2216 2261 2325 2351 2403 244 2461 2571 2617 2669 2731 2773 2863 2934 3000 3002 3110 3126 3218 325 3258 3315 3408 3502 3545 417 455 489 560 59 649 706 739 76 794 872 947 a 1002 1054 1108 1195 1221 128 1284 1353 1416 1492 1526 1632 1703 1779 1807 1918 1937 2024 2070 2110 220 2216 2261 2325 2351 2403 244 2461 2571 2617 2669 2731 2773 2863 2934 3000 3002 3110 3126 3218 325 3258 3315 3408 3473 3502 3545 417 455 489 560 59 649 706 739 76 794 872 947 a 1002 1054 1108 1195 1221 128 1284 1353 1416 1492 1526 1574 1632 1703 1779 1807 1918 1937 2024 2070 2110 220 2216 2261 2325 2351 2403 244 2461 2571 2617 2669 2731 2773 2863 2934 3000 3002 3110 3126 3218 325 3258 3315 3408 3473 3502 3545 417 455 489 560 59 649 706 739 76 872 947 a 1002 1054 1108 1195 1221 128 1284 1353 1416 1492 1526 1574 1632 1703 1779 1807 1918 2024 2070 2110 220 2216 2261 2325 2351 2403 244 2461 2571 2617 2669 2731 2773 2863 2934 3000 3002 3110 3126 3218 325 3258 3315 3408 3473 3502 3545 417 455 489 560 59 649 706 739 76 797 872 947 a 1002 1054 1108 1195 1221 128 1284 1353 1416 1492 1526 1574 1632 1703 1779 1807 1918 1951 2024 2070 2110 220 2216 2261 2325 2351 2403 244 2461 2571 2617 2669 2773 2863 2934 3000 3002 3110 3126 3218 325 3258 3315 3408 3473 3502 3545 417 455 489 560 59 649 706 739 76 797 872 947 a 1002 1054 1108 1195 1221 128 1284 1353 1416 1492 1526 1574 1632 1703 1779 1807 1918 1951 2024 2070 2110 220 2216 2261 2325 2351 2403 244 2461 2571 2617 2729 2773 2863 2934 3000 3002 3110 3126 3218 325 3258 3315 3408 3473 3502 3545 417 455 489 560 59 649 706 739 76 797 872 947 a 1002 1054 1108 1195 1221 128 1284 1353 1416 1492 1526 1574 1632 1703 1779 1807 1918 1951 2024 2070 2110 220 2216 2261 2325 2351 2403 244 2461 2571 2617 2659 2729 2773 2863 2934 3000 3002 3110 3126 3218 325 3258 3315 3408 3473 3502 3545 417 455 489 560 59 649 706 76 797 872 947 a 1002 1054 1108 1195 1221 128 1284 1353 1416 1492 1526 1574 1632 1703 1779 1807 1918 1951 2024 2070 2110 220 2216 2261 2325 2351 2403 244 2461 2571 2617 2659 2729 2773 2863 2934 3000 3002 3110 3126 3218 325 3258 3408 3473 3502 3545 417 455 489 560 59 649 706 735 76 797 872 947 a 1002 1054 1108 1195 1221 128 1284 1353 1416 1492 1526 1574 1632 1703 1779 1807 1918 1951 2024 2070 2110 220 2216 2261 2325 2351 2403 244 2571 2617 2659 2729 2773 2863 2934 3000 3002 3110 3126 3218 325 3258 3301 3408 3473 3502 3545 417 455 489 560 59 649 706 735 76 797 872 947 a 1002 1054 1108 1195 1221 128 1284 1353 1416 1492 1526 1574 1632 1703 1779 1807 1918 1951 2024 2070 2110 220 2216 2261 2325 2351 2403 244 2466 2571 2617 2659 2729 2773 2863 2934 3000 3002 3110 3218 325 3258 3301 3408 3473 3502 3545 417 455 489 560 59 649 706 735 76 797 872 947 a 1002 1054 1108 1195 1221 128 1284 1353 1416 1492 1574 1632 1703 1779 1807 1918 1951 2024 2070 2110 220 2216 2261 2325 2351 2403 244 2466 2571 2617 2659 2729 2773 2863 2934 3000 3002 3110 3146 3218 325 3258 3301 3408 3473 3502 3545 417 455 489 560 59 649 706 735 76 797 872 947 a 1002 1054 1108 1195 1221 128 1284 1353 1416 1492 1556 1574 1632 1703 1779 1807 1918 1951 2024 2070 2110 220 2261 2325 2351 2403 244 2466 2571 2617 2659 2729 2773 2863 2934 3000 3002 3110 3146 3218 325 3258 3301 3408 3473 3502 3545 417 455 489 560 59 649 706 735 76 797 872 947 a 1002 1054 1108 1195 1221 128 1284 1353 1416 1492 1556 1574 1632 1703 1779 1807 1918 1951 2024 2070 2110 220 2203 2261 2325 2351 2403 244 2466 2571 2617 2659 2729 2773 2934 3000 3002 3110 3146 3218 325 3258 3301 3408 3473 3502 3545 417 455 489 560 59 649 706 735 76 797 872 947 a 1002 1054 1108 1195 1221 128 1284 1353 1416 1492 1556 1574 1632 1703 1779 1807 1918 1951 2024 2070 2110 220 2203 2261 2325 2351 2403 244 2466 2571 2617 2659 2729 2773 2880 2934 3002 3110 3146 3218 325 3258 3301 3408 3473 3502 3545 417 455 489 560 59 649 706 735 76 797 872 947 a 1002 1054 1108 1195 1221 128 1284 1353 1416 1492 1556 1574 1632 1703 1779 1807 1918 1951 2024 2070 2110 220 2203 2261 2325 2351 2403 244 2466 2571 2617 2659 2729 2773 2880 2934 2988 3002 3110 3146 3218 325 3258 3301 3473 3502 3545 417 455 489 560 59 649 706 735 76 797 872 947 a 1002 1054 1108 1195 1221 128 1284 1353 1416 1492 1556 1574 1632 1703 1779 1807 1918 1951 2024 2070 2110 220 2203 2261 2325 2351 2403 2466 2571 2617 2659 2729 2773 2880 2934 2988 3002 3110 3146 3218 325 3258 3301 3364 3473 3502 3545 417 455 489 560 59 649 706 735 76 797 872 947 a 1002 1108 1195 1221 128 1284 1353 1416 1492 1556 1574 1632 1703 1779 1807 1918 1951 2024 2070 2110 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 3545 417 455 489 560 59 649 706 735 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 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 3545 417 455 489 560 59 649 706 735 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 417 455 489 560 59 649 706 735 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 706 735 76 797 872 947 a 1002 1030 1108 1195 1221 128 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 624 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 624 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 624 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 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 3110 3146 3218 325 3258 3301 3364 3473 3502 3567 417 455 489 560 59 624 706 735 76 797 872 902 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 3042 3110 3146 3218 325 3258 3301 3364 3473 3502 3567 417 455 489 560 59 624 706 735 76 797 872 902 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 3042 3110 3146 3218 325 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 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 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 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 1304 1353 1388 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 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 being timed: "python3 /SOLVER/shortest/run.py submission sas split /BENCHMARKS/benchmark/color04/qg.order60.col /BENCHMARKS/benchmark/color04/qg.order60_02.dat" User time (seconds): 39.77 System time (seconds): 0.24 Percent of CPU this job got: 0% Elapsed (wall clock) time (h:mm:ss or m:ss): 1:10:39 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): 233712 Average resident set size (kbytes): 0 Major (requiring I/O) page faults: 0 Minor (reclaiming a frame) page faults: 140343 Voluntary context switches: 312 Involuntary context switches: 4038 Swaps: 0 File system inputs: 0 File system outputs: 7232 Socket messages sent: 0 Socket messages received: 0 Signals delivered: 0 Page size (bytes): 4096 Exit status: 0