c Running for 10 seconds: python3 /SOLVER/mip/check-unsolvability.py /BENCHMARKS/benchmark/color04/qg.order60.col /BENCHMARKS/benchmark/color04/qg.order60_01.dat c Running for 4200 seconds: python3 /SOLVER/symk/fast-downward.py --overall-memory-limit 16G --plan-file results/qg.order60_01/sas_plan results/qg.order60_01/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_01/sas_plan results/qg.order60_01/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 60 77 143 186 264 325 401 459 493 570 654 665 756 795 878 959 974 1064 1092 1198 1231 1292 1341 1384 1477 1528 1568 1630 1730 1787 1842 1863 1936 1998 2091 2119 2213 2249 2282 2455 2516 2542 2629 2675 2752 2761 2847 2913 2980 3057 3086 3166 3225 3288 3334 3371 3427 3523 3549 t 54 169 198 290 324 418 428 486 588 604 676 777 820 895 920 983 1048 1101 1159 1214 1267 1330 1392 1499 1553 1612 1667 1725 1766 1841 1877 1949 2024 2042 2138 2171 2247 2305 2372 2433 2506 2555 2617 2641 2713 2794 2876 2885 2949 3031 3111 3150 3195 3243 3360 3382 3463 3522 3576 a YES a 1064 1092 1198 1231 1292 1341 1384 143 1477 1528 1568 1630 1730 1787 1842 186 1863 1936 1998 2091 2119 2213 2249 2282 2455 2516 2542 2629 264 2675 2752 2761 2847 2913 2980 3057 3086 3166 3225 325 3288 3334 3371 3427 3523 3549 401 459 493 570 60 654 665 756 77 795 878 959 974 a 1064 1092 1198 1231 1292 1341 1384 143 1477 1528 1568 1630 1730 1787 1842 186 1863 1936 1998 2091 2119 2213 2249 2282 2455 2516 2542 2629 264 2675 2752 2761 2847 2913 2980 3057 3086 3166 3225 325 3288 3334 3371 3427 3523 3549 401 459 493 570 60 654 665 756 77 795 878 920 974 a 1064 1092 1198 1231 1341 1384 143 1477 1528 1568 1630 1730 1787 1842 186 1863 1936 1998 2091 2119 2213 2249 2282 2372 2455 2516 2542 2629 264 2675 2752 2761 2847 2913 2980 3057 3086 3166 3225 325 3288 3334 3371 3427 3523 3549 401 459 493 570 60 654 665 756 77 795 878 920 974 a 1064 1092 1198 1231 1341 1384 143 1499 1528 1568 1630 1730 1787 1842 186 1863 1936 1998 2091 2119 2213 2249 2282 2372 2455 2516 2542 2629 264 2675 2752 2761 2847 2913 2980 3057 3086 3166 3225 325 3288 3334 3371 3427 3523 3549 401 459 493 570 60 654 665 756 77 795 878 920 974 a 1064 1092 1198 1231 1341 1384 143 1499 1528 1568 1630 1730 1787 1842 186 1863 1936 1998 2091 2119 2213 2249 2282 2372 2455 2516 2542 2617 264 2675 2752 2761 2847 2913 2980 3057 3086 3166 3225 325 3288 3334 3371 3427 3523 3549 401 459 493 570 60 654 665 756 77 795 878 920 974 a 1064 1092 1198 1231 1341 1384 1499 1528 1568 1630 169 1730 1787 1842 186 1863 1936 1998 2091 2119 2213 2249 2282 2372 2455 2516 2542 2617 264 2675 2752 2761 2847 2913 2980 3057 3086 3166 3225 325 3288 3334 3371 3427 3523 3549 401 459 493 570 60 654 665 756 77 795 878 920 974 a 1064 1092 1198 1231 1341 1384 1499 1528 1568 1630 169 1730 1787 1842 186 1863 1936 1998 2091 2119 2213 2249 2282 2372 2455 2516 2542 2617 264 2675 2752 2761 2847 2913 2980 3057 3086 3166 3225 325 3288 3334 3371 3427 3523 3549 401 459 493 570 60 654 665 756 77 795 878 920 983 a 1064 1092 1198 1214 1341 1384 1499 1528 1568 1630 169 1730 1787 1842 186 1863 1936 1998 2091 2119 2213 2249 2282 2372 2455 2516 2542 2617 264 2675 2752 2761 2847 2913 2980 3057 3086 3166 3225 325 3288 3334 3371 3427 3523 3549 401 459 493 570 60 654 665 756 77 795 878 920 983 a 1064 1092 1198 1214 1341 1384 1499 1528 1568 1630 169 1730 1787 1842 186 1863 1936 1998 2091 2119 2213 2249 2282 2372 2455 2516 2542 2617 264 2675 2752 2761 2847 2913 2980 3031 3086 3166 3225 325 3288 3334 3371 3427 3523 3549 401 459 493 570 60 654 665 756 77 795 878 920 983 a 1064 1092 1198 1214 1341 1384 1499 1528 1568 1630 169 1730 1787 1842 186 1863 1936 1998 2091 2119 2213 2249 2282 2372 2455 2516 2542 2617 264 2675 2752 2761 2847 2913 2980 3031 3086 3166 3225 325 3288 3334 3371 3427 3523 3549 401 459 493 570 60 654 665 77 777 795 878 920 983 a 1064 1092 1198 1214 1267 1341 1384 1499 1528 1568 1630 169 1730 1787 1842 186 1863 1936 1998 2091 2119 2213 2249 2282 2372 2455 2516 2542 2617 264 2675 2752 2761 2847 2913 2980 3031 3086 3166 3225 325 3288 3334 3371 3523 3549 401 459 493 570 60 654 665 77 777 795 878 920 983 a 1064 1092 1198 1214 1267 1341 1384 1499 1528 1568 1630 169 1730 1787 1842 186 1863 1936 1998 2091 2119 2213 2249 2282 2372 2455 2516 2542 2617 264 2675 2752 2761 2847 2913 2980 3031 3086 3166 3225 325 3288 3334 3371 3463 3549 401 459 493 570 60 654 665 77 777 795 878 920 983 a 1064 1092 1198 1214 1267 1341 1384 1499 1528 1568 1630 169 1730 1787 186 1863 1936 1998 2091 2119 2213 2249 2282 2372 2455 2516 2542 2617 264 2675 2752 2761 2847 2913 2980 3031 3086 3166 3225 325 3288 3334 3371 3463 3522 3549 401 459 493 570 60 654 665 77 777 795 878 920 983 a 1064 1092 1198 1214 1267 1341 1384 1499 1528 1568 1630 169 1730 1787 1841 186 1863 1936 1998 2091 2119 2213 2249 2282 2372 2455 2516 2542 2617 264 2675 2752 2761 2847 2913 2980 3031 3086 3166 3225 325 3288 3334 3371 3463 3522 3549 459 493 570 60 654 665 77 777 795 878 920 983 a 1064 1092 1214 1267 1341 1384 1499 1528 1568 1630 169 1730 1787 1841 186 1863 1936 1998 2091 2119 2213 2249 2282 2372 2455 2516 2542 2617 264 2675 2752 2761 2847 2913 2980 3031 3086 3166 3225 325 3288 3334 3371 3463 3522 3549 418 459 493 570 60 654 665 77 777 795 878 920 983 a 1064 1092 1159 1214 1267 1341 1384 1499 1528 1568 1630 169 1730 1787 1841 186 1863 1936 1998 2091 2213 2249 2282 2372 2455 2516 2542 2617 264 2675 2752 2761 2847 2913 2980 3031 3086 3166 3225 325 3288 3334 3371 3463 3522 3549 418 459 493 570 60 654 665 77 777 795 878 920 983 a 1064 1092 1159 1214 1267 1341 1384 1499 1528 1568 1630 169 1730 1787 1841 186 1863 1936 1998 2091 2138 2213 2249 2282 2372 2455 2516 2542 2617 264 2675 2752 2761 2847 2913 2980 3031 3086 3166 3225 325 3288 3334 3371 3463 3522 3549 418 459 493 570 60 654 665 77 777 795 920 983 a 1064 1092 1159 1214 1267 1341 1384 1499 1528 1568 1630 169 1730 1787 1841 186 1863 1936 1998 2091 2138 2213 2249 2282 2372 2516 2542 2617 264 2675 2752 2761 2847 2913 2980 3031 3086 3166 3225 325 3288 3334 3371 3463 3522 3549 418 459 493 570 60 654 665 77 777 795 895 920 983 a 1064 1092 1159 1214 1267 1341 1384 1499 1528 1568 1630 169 1730 1787 1841 186 1863 1936 1998 2091 2138 2213 2249 2282 2372 2433 2516 2542 2617 264 2675 2752 2761 2847 2980 3031 3086 3166 3225 325 3288 3334 3371 3463 3522 3549 418 459 493 570 60 654 665 77 777 795 895 920 983 a 1064 1092 1159 1214 1267 1341 1384 1499 1528 1568 1630 169 1730 1787 1841 186 1863 1936 1998 2091 2138 2213 2249 2282 2372 2433 2516 2542 2617 264 2675 2752 2761 2847 2885 2980 3031 3086 3166 3225 325 3288 3334 3371 3463 3522 3549 418 459 493 570 60 654 77 777 795 895 920 983 a 1064 1092 1159 1214 1267 1341 1384 1499 1528 1568 1630 169 1730 1787 1841 186 1863 1998 2091 2138 2213 2249 2282 2372 2433 2516 2542 2617 264 2675 2752 2761 2847 2885 2980 3031 3086 3166 3225 325 3288 3334 3371 3463 3522 3549 418 459 493 570 60 654 676 77 777 795 895 920 983 a 1064 1092 1159 1214 1267 1341 1384 1499 1528 1568 1630 169 1730 1787 1841 186 1863 1949 1998 2091 2138 2213 2282 2372 2433 2516 2542 2617 264 2675 2752 2761 2847 2885 2980 3031 3086 3166 3225 325 3288 3334 3371 3463 3522 3549 418 459 493 570 60 654 676 77 777 795 895 920 983 a 1064 1092 1159 1214 1267 1341 1384 1499 1528 1568 1630 169 1730 1787 1841 186 1863 1949 1998 2091 2138 2213 2247 2282 2372 2433 2516 2542 2617 264 2675 2752 2761 2885 2980 3031 3086 3166 3225 325 3288 3334 3371 3463 3522 3549 418 459 493 570 60 654 676 77 777 795 895 920 983 a 1064 1092 1159 1214 1267 1341 1384 1499 1528 1568 1630 169 1730 1787 1841 186 1863 1949 1998 2091 2138 2213 2247 2282 2372 2433 2542 2617 264 2675 2752 2761 2876 2885 2980 3031 3086 3166 3225 325 3288 3334 3371 3463 3522 3549 418 459 493 570 60 654 676 77 777 795 895 920 983 a 1064 1092 1159 1214 1267 1341 1384 1499 1528 1568 1630 169 1730 1787 1841 186 1863 1949 1998 2091 2138 2213 2247 2282 2372 2433 2506 2542 2617 264 2675 2752 2761 2876 2885 2980 3031 3086 3225 325 3288 3334 3371 3463 3522 3549 418 459 493 570 60 654 676 77 777 795 895 920 983 a 1064 1092 1159 1214 1267 1341 1384 1499 1528 1568 1630 169 1730 1787 1841 186 1863 1949 1998 2091 2138 2213 2247 2282 2372 2433 2506 2542 2617 264 2675 2752 2761 2876 2885 2980 3031 3086 3150 3225 325 3288 3334 3371 3463 3522 3549 418 459 493 60 654 676 77 777 795 895 920 983 a 1064 1092 1159 1214 1267 1341 1384 1499 1528 1568 1630 169 1730 1787 1841 186 1863 1949 1998 2091 2138 2213 2247 2282 2372 2433 2506 2542 2617 264 2675 2752 2761 2876 2885 2980 3031 3086 3150 3225 325 3334 3371 3463 3522 3549 418 459 493 588 60 654 676 77 777 795 895 920 983 a 1064 1092 1159 1214 1267 1341 1384 1499 1528 1568 1630 169 1730 1787 1841 186 1949 1998 2091 2138 2213 2247 2282 2372 2433 2506 2542 2617 264 2675 2752 2761 2876 2885 2980 3031 3086 3150 3225 3243 325 3334 3371 3463 3522 3549 418 459 493 588 60 654 676 77 777 795 895 920 983 a 1064 1092 1159 1214 1267 1341 1384 1499 1528 1568 1630 169 1730 1787 1841 186 1877 1949 1998 2091 2138 2213 2247 2282 2372 2433 2506 2542 2617 264 2675 2752 2761 2876 2885 2980 3031 3086 3150 3225 3243 325 3334 3371 3463 3522 3549 418 459 493 588 60 654 676 777 795 895 920 983 a 1064 1092 1159 1214 1267 1341 1384 1499 1528 1568 1630 169 1730 1787 1841 186 1877 1949 1998 2091 2138 2213 2247 2282 2372 2433 2506 2542 2617 264 2675 2752 2761 2876 2885 2980 3031 3086 3150 3225 3243 325 3334 3371 3463 3522 3576 418 459 493 588 60 654 676 777 795 895 920 983 a 1064 1092 1159 1214 1267 1341 1384 1499 1528 1568 1630 169 1730 1787 1841 186 1877 1949 1998 2091 2138 2213 2247 2282 2372 2433 2506 2542 2617 264 2675 2752 2761 2876 2885 2949 3031 3086 3150 3225 3243 325 3334 3371 3463 3522 3576 418 459 493 588 60 654 676 777 795 895 920 983 a 1064 1092 1159 1214 1267 1341 1384 1499 1528 1568 1630 169 1730 1787 1841 186 1877 1949 1998 2091 2138 2213 2247 2282 2372 2433 2506 2542 2617 264 2675 2752 2761 2876 2885 2949 3031 3086 3150 3225 3243 325 3334 3371 3463 3522 3576 418 459 493 588 60 654 676 777 820 895 920 983 a 1064 1092 1159 1214 1267 1341 1384 1499 1528 1568 1630 169 1730 1787 1841 186 1877 1949 1998 2091 2138 2213 2247 2282 2372 2433 2506 2542 2617 264 2675 2752 2761 2876 2885 2949 3031 3086 3150 3195 3243 325 3334 3371 3463 3522 3576 418 459 493 588 60 654 676 777 820 895 920 983 a 1064 1092 1159 1214 1267 1341 1384 1499 1528 1568 1630 169 1725 1787 1841 186 1877 1949 1998 2091 2138 2213 2247 2282 2372 2433 2506 2542 2617 264 2675 2752 2761 2876 2885 2949 3031 3086 3150 3195 3243 325 3334 3371 3463 3522 3576 418 459 493 588 60 654 676 777 820 895 920 983 a 1064 1092 1159 1214 1267 1341 1384 1499 1528 1568 1630 169 1725 1787 1841 186 1877 1949 1998 2091 2138 2213 2247 2282 2372 2433 2506 2542 2617 2675 2752 2761 2876 2885 290 2949 3031 3086 3150 3195 3243 325 3334 3371 3463 3522 3576 418 459 493 588 60 654 676 777 820 895 920 983 a 1064 1092 1159 1214 1267 1341 1384 1499 1528 1568 1630 169 1725 1787 1841 186 1877 1949 1998 2091 2138 2213 2247 2282 2372 2433 2506 2542 2617 2675 2752 2761 2876 2885 290 2949 3031 3086 3150 3195 324 3243 3334 3371 3463 3522 3576 418 459 493 588 60 654 676 777 820 895 920 983 a 1064 1092 1159 1214 1267 1341 1384 1499 1528 1568 1630 169 1725 1787 1841 186 1877 1949 1998 2091 2138 2213 2247 2305 2372 2433 2506 2542 2617 2675 2752 2761 2876 2885 290 2949 3031 3086 3150 3195 324 3243 3334 3371 3463 3522 3576 418 459 493 588 60 654 676 777 820 895 920 983 a 1064 1092 1159 1214 1267 1341 1384 1499 1528 1568 1630 169 1725 1787 1841 186 1877 1949 1998 2042 2138 2213 2247 2305 2372 2433 2506 2542 2617 2675 2752 2761 2876 2885 290 2949 3031 3086 3150 3195 324 3243 3334 3371 3463 3522 3576 418 459 493 588 60 654 676 777 820 895 920 983 a 1064 1092 1159 1214 1267 1341 1384 1499 1528 1568 1630 169 1725 1787 1841 186 1877 1949 1998 2042 2138 2213 2247 2305 2372 2433 2506 2542 2617 2675 2752 2761 2876 2885 290 2949 3031 3111 3150 3195 324 3243 3334 3371 3463 3522 3576 418 459 493 588 60 654 676 777 820 895 920 983 a 1064 1092 1159 1214 1267 1341 1384 1499 1528 1568 1630 169 1725 1766 1841 186 1877 1949 1998 2042 2138 2213 2247 2305 2372 2433 2506 2542 2617 2675 2752 2761 2876 2885 290 2949 3031 3111 3150 3195 324 3243 3334 3371 3463 3522 3576 418 459 493 588 60 654 676 777 820 895 920 983 a 1064 1092 1159 1214 1267 1341 1384 1499 1528 1568 1667 169 1725 1766 1841 186 1877 1949 1998 2042 2138 2213 2247 2305 2372 2433 2506 2542 2617 2675 2752 2761 2876 2885 290 2949 3031 3111 3150 3195 324 3243 3334 3371 3463 3522 3576 418 459 493 588 60 654 676 777 820 895 920 983 a 1064 1092 1159 1214 1267 1330 1384 1499 1528 1568 1667 169 1725 1766 1841 186 1877 1949 1998 2042 2138 2213 2247 2305 2372 2433 2506 2542 2617 2675 2752 2761 2876 2885 290 2949 3031 3111 3150 3195 324 3243 3334 3371 3463 3522 3576 418 459 493 588 60 654 676 777 820 895 920 983 a 1064 1101 1159 1214 1267 1330 1384 1499 1528 1568 1667 169 1725 1766 1841 186 1877 1949 1998 2042 2138 2213 2247 2305 2372 2433 2506 2542 2617 2675 2752 2761 2876 2885 290 2949 3031 3111 3150 3195 324 3243 3334 3371 3463 3522 3576 418 459 493 588 60 654 676 777 820 895 920 983 a 1064 1101 1159 1214 1267 1330 1392 1499 1528 1568 1667 169 1725 1766 1841 186 1877 1949 1998 2042 2138 2213 2247 2305 2372 2433 2506 2542 2617 2675 2752 2761 2876 2885 290 2949 3031 3111 3150 3195 324 3243 3334 3371 3463 3522 3576 418 459 493 588 60 654 676 777 820 895 920 983 a 1064 1101 1159 1214 1267 1330 1392 1499 1528 1568 1667 169 1725 1766 1841 186 1877 1949 1998 2042 2138 2213 2247 2305 2372 2433 2506 2542 2617 2675 2752 2761 2876 2885 290 2949 3031 3111 3150 3195 324 3243 3334 3371 3463 3522 3576 418 459 493 588 60 604 676 777 820 895 920 983 a 1064 1101 1159 1214 1267 1330 1392 1499 1528 1568 1667 169 1725 1766 1841 186 1877 1949 1998 2042 2138 2213 2247 2305 2372 2433 2506 2542 2617 2675 2752 2761 2876 2885 290 2949 3031 3111 3150 3195 324 3243 3334 3371 3463 3522 3576 418 459 493 54 588 604 676 777 820 895 920 983 a 1064 1101 1159 1214 1267 1330 1392 1499 1528 1568 1667 169 1725 1766 1841 186 1877 1949 1998 2042 2138 2213 2247 2305 2372 2433 2506 2542 2617 2675 2752 2761 2876 2885 290 2949 3031 3111 3150 3195 324 3243 3360 3371 3463 3522 3576 418 459 493 54 588 604 676 777 820 895 920 983 a 1064 1101 1159 1214 1267 1330 1392 1499 1528 1568 1667 169 1725 1766 1841 186 1877 1949 1998 2042 2138 2213 2247 2305 2372 2433 2506 2542 2617 2675 2752 2794 2876 2885 290 2949 3031 3111 3150 3195 324 3243 3360 3371 3463 3522 3576 418 459 493 54 588 604 676 777 820 895 920 983 a 1064 1101 1159 1214 1267 1330 1392 1499 1528 1568 1667 169 1725 1766 1841 186 1877 1949 1998 2042 2138 2213 2247 2305 2372 2433 2506 2542 2617 2641 2752 2794 2876 2885 290 2949 3031 3111 3150 3195 324 3243 3360 3371 3463 3522 3576 418 459 493 54 588 604 676 777 820 895 920 983 a 1064 1101 1159 1214 1267 1330 1392 1499 1528 1568 1667 169 1725 1766 1841 186 1877 1949 1998 2042 2138 2213 2247 2305 2372 2433 2506 2555 2617 2641 2752 2794 2876 2885 290 2949 3031 3111 3150 3195 324 3243 3360 3371 3463 3522 3576 418 459 493 54 588 604 676 777 820 895 920 983 a 1064 1101 1159 1214 1267 1330 1392 1499 1528 1568 1667 169 1725 1766 1841 186 1877 1949 1998 2042 2138 2213 2247 2305 2372 2433 2506 2555 2617 2641 2752 2794 2876 2885 290 2949 3031 3111 3150 3195 324 3243 3360 3382 3463 3522 3576 418 459 493 54 588 604 676 777 820 895 920 983 a 1064 1101 1159 1214 1267 1330 1392 1499 1528 1568 1667 169 1725 1766 1841 186 1877 1949 1998 2042 2138 2171 2247 2305 2372 2433 2506 2555 2617 2641 2752 2794 2876 2885 290 2949 3031 3111 3150 3195 324 3243 3360 3382 3463 3522 3576 418 459 493 54 588 604 676 777 820 895 920 983 a 1064 1101 1159 1214 1267 1330 1392 1499 1553 1568 1667 169 1725 1766 1841 186 1877 1949 1998 2042 2138 2171 2247 2305 2372 2433 2506 2555 2617 2641 2752 2794 2876 2885 290 2949 3031 3111 3150 3195 324 3243 3360 3382 3463 3522 3576 418 459 493 54 588 604 676 777 820 895 920 983 a 1048 1101 1159 1214 1267 1330 1392 1499 1553 1568 1667 169 1725 1766 1841 186 1877 1949 1998 2042 2138 2171 2247 2305 2372 2433 2506 2555 2617 2641 2752 2794 2876 2885 290 2949 3031 3111 3150 3195 324 3243 3360 3382 3463 3522 3576 418 459 493 54 588 604 676 777 820 895 920 983 a 1048 1101 1159 1214 1267 1330 1392 1499 1553 1568 1667 169 1725 1766 1841 186 1877 1949 2024 2042 2138 2171 2247 2305 2372 2433 2506 2555 2617 2641 2752 2794 2876 2885 290 2949 3031 3111 3150 3195 324 3243 3360 3382 3463 3522 3576 418 459 493 54 588 604 676 777 820 895 920 983 a 1048 1101 1159 1214 1267 1330 1392 1499 1553 1568 1667 169 1725 1766 1841 1877 1949 198 2024 2042 2138 2171 2247 2305 2372 2433 2506 2555 2617 2641 2752 2794 2876 2885 290 2949 3031 3111 3150 3195 324 3243 3360 3382 3463 3522 3576 418 459 493 54 588 604 676 777 820 895 920 983 a 1048 1101 1159 1214 1267 1330 1392 1499 1553 1568 1667 169 1725 1766 1841 1877 1949 198 2024 2042 2138 2171 2247 2305 2372 2433 2506 2555 2617 2641 2752 2794 2876 2885 290 2949 3031 3111 3150 3195 324 3243 3360 3382 3463 3522 3576 418 459 486 54 588 604 676 777 820 895 920 983 a 1048 1101 1159 1214 1267 1330 1392 1499 1553 1568 1667 169 1725 1766 1841 1877 1949 198 2024 2042 2138 2171 2247 2305 2372 2433 2506 2555 2617 2641 2713 2794 2876 2885 290 2949 3031 3111 3150 3195 324 3243 3360 3382 3463 3522 3576 418 459 486 54 588 604 676 777 820 895 920 983 a 1048 1101 1159 1214 1267 1330 1392 1499 1553 1612 1667 169 1725 1766 1841 1877 1949 198 2024 2042 2138 2171 2247 2305 2372 2433 2506 2555 2617 2641 2713 2794 2876 2885 290 2949 3031 3111 3150 3195 324 3243 3360 3382 3463 3522 3576 418 459 486 54 588 604 676 777 820 895 920 983 a 1048 1101 1159 1214 1267 1330 1392 1499 1553 1612 1667 169 1725 1766 1841 1877 1949 198 2024 2042 2138 2171 2247 2305 2372 2433 2506 2555 2617 2641 2713 2794 2876 2885 290 2949 3031 3111 3150 3195 324 3243 3360 3382 3463 3522 3576 418 428 486 54 588 604 676 777 820 895 920 983 Command being timed: "python3 /SOLVER/shortest/run.py submission sas split /BENCHMARKS/benchmark/color04/qg.order60.col /BENCHMARKS/benchmark/color04/qg.order60_01.dat" User time (seconds): 39.64 System time (seconds): 0.23 Percent of CPU this job got: 0% Elapsed (wall clock) time (h:mm:ss or m:ss): 1:10:40 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): 231464 Average resident set size (kbytes): 0 Major (requiring I/O) page faults: 0 Minor (reclaiming a frame) page faults: 140221 Voluntary context switches: 278 Involuntary context switches: 3986 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