c Running for 10 seconds: python3 /SOLVER/mip/check-unsolvability.py /BENCHMARKS/benchmark/queen/queen090x090.col /BENCHMARKS/benchmark/queen/queen090x090_04_1188.dat c Running for 4200 seconds: python3 /SOLVER/fd/fast-downward.py --overall-memory-limit 16G --plan-file results/queen090x090_04_1188/sas_plan results/queen090x090_04_1188/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 4220 2185 3585 7391 3946 519 6447 2523 3322 4828 2444 4127 3769 3106 6847 4692 71 864 426 572 1474 7116 6949 5358 5240 1026 158 7215 5093 5801 656 7741 2068 4971 1141 2786 3199 4529 6065 5688 6342 4907 5490 5977 6813 6184 2357 7303 7834 2620 2965 8094 4304 3014 4385 4041 7479 3853 1737 3480 4488 3417 7565 5618 3683 2113 1642 6626 5181 989 7717 5889 6719 4621 7028 6238 2273 250 5535 7922 1225 772 1400 1833 6542 2820 1914 342 1276 t 6184 5358 4385 2820 2357 5801 5618 4590 342 1660 7303 426 1288 5240 4488 4971 6949 1477 4740 6714 8094 1742 6449 7391 4885 3106 2786 4220 2523 6847 2273 1926 3683 3322 2620 5424 4041 597 822 7717 2068 6239 6363 7116 4828 7479 3585 71 7741 3417 7834 5688 6626 5889 6542 7565 767 1844 4127 5535 1400 3946 663 7215 2113 250 1024 3177 6811 3436 5093 2965 1572 2186 7028 5971 1102 3769 4642 3853 6065 7922 989 2444 4304 5181 519 3019 1225 a YES a 1026 1141 1225 1276 1400 1474 158 1642 1737 1833 1914 2068 2113 2185 2273 2357 2444 250 2523 2620 2786 2820 2965 3014 3106 3199 3322 3417 342 3480 3585 3683 3769 3853 3946 4041 4127 4220 426 4304 4385 4488 4529 4621 4692 4828 4907 4971 5093 5181 519 5240 5358 5490 5535 5618 5688 572 5801 5889 5977 6065 6184 6238 6342 6447 6542 656 6626 6719 6813 6847 6949 7028 71 7116 7215 7303 7391 7479 7565 7717 772 7741 7834 7922 8094 864 989 a 1026 1141 1225 1276 1400 1474 1570 158 1642 1737 1833 1914 2068 2113 2185 2273 2357 2444 250 2523 2620 2786 2820 2965 3014 3106 3199 3322 3417 342 3480 3585 3683 3769 3853 3946 4041 4127 4220 426 4304 4385 4488 4529 4621 4692 4828 4907 4971 5093 5181 519 5240 5358 5490 5535 5618 5688 5801 5889 5977 6065 6184 6238 6342 6447 6542 656 6626 6719 6813 6847 6949 7028 71 7116 7215 7303 7391 7479 7565 7717 772 7741 7834 7922 8094 864 989 a 1026 1225 1276 1400 1474 1570 158 1642 1737 1833 1914 2068 2113 2185 2273 2357 2444 250 2523 2620 2786 2820 2965 3014 3106 3199 3322 3417 342 3480 3585 3683 3769 3853 3946 4041 4127 4220 426 4304 4385 4488 4529 4621 4692 4828 4907 4971 5093 5181 519 5240 5358 5490 5535 5618 5688 5801 5889 5977 601 6065 6184 6238 6342 6447 6542 656 6626 6719 6813 6847 6949 7028 71 7116 7215 7303 7391 7479 7565 7717 772 7741 7834 7922 8094 864 989 a 1026 1102 1225 1276 1400 1474 1570 158 1737 1833 1914 2068 2113 2185 2273 2357 2444 250 2523 2620 2786 2820 2965 3014 3106 3199 3322 3417 342 3480 3585 3683 3769 3853 3946 4041 4127 4220 426 4304 4385 4488 4529 4621 4692 4828 4907 4971 5093 5181 519 5240 5358 5490 5535 5618 5688 5801 5889 5977 601 6065 6184 6238 6342 6447 6542 656 6626 6719 6813 6847 6949 7028 71 7116 7215 7303 7391 7479 7565 7717 772 7741 7834 7922 8094 864 989 a 1026 1102 1225 1276 1400 1474 1570 158 1737 1833 1914 2068 2113 2185 2273 2357 2444 250 2523 2620 2786 2820 2965 3014 3106 3199 3322 3417 342 3480 3585 3683 3769 3853 3946 4041 4127 4220 426 4304 4385 4488 4529 4621 4692 4828 4907 4971 5093 5181 519 5240 5358 5490 5535 5618 5688 5801 5889 5977 601 6065 6184 6238 6342 6447 6542 656 6626 6719 6813 6847 6949 7028 71 7116 7215 7303 7391 7479 752 7565 7717 7741 7834 7922 8094 864 989 a 1026 1102 1225 1276 1400 1570 158 1654 1737 1833 1914 2068 2113 2185 2273 2357 2444 250 2523 2620 2786 2820 2965 3014 3106 3199 3322 3417 342 3480 3585 3683 3769 3853 3946 4041 4127 4220 426 4304 4385 4488 4529 4621 4692 4828 4907 4971 5093 5181 519 5240 5358 5490 5535 5618 5688 5801 5889 5977 601 6065 6184 6238 6342 6447 6542 656 6626 6719 6813 6847 6949 7028 71 7116 7215 7303 7391 7479 752 7565 7717 7741 7834 7922 8094 864 989 a 1026 1102 1225 1400 1456 1570 158 1654 1737 1833 1914 2068 2113 2185 2273 2357 2444 250 2523 2620 2786 2820 2965 3014 3106 3199 3322 3417 342 3480 3585 3683 3769 3853 3946 4041 4127 4220 426 4304 4385 4488 4529 4621 4692 4828 4907 4971 5093 5181 519 5240 5358 5490 5535 5618 5688 5801 5889 5977 601 6065 6184 6238 6342 6447 6542 656 6626 6719 6813 6847 6949 7028 71 7116 7215 7303 7391 7479 752 7565 7717 7741 7834 7922 8094 864 989 a 1026 1102 1225 1302 1400 1456 1570 158 1654 1737 1833 1914 2068 2113 2185 2273 2357 2444 250 2523 2620 2786 2820 2965 3014 3106 3199 3322 3417 342 3480 3585 3683 3769 3853 3946 4041 4127 4220 426 4304 4385 4488 4529 4621 4692 4828 4907 4971 5093 5181 519 5240 5358 5490 5535 5618 5688 5801 5889 5977 601 6065 6184 6238 6447 6542 656 6626 6719 6813 6847 6949 7028 71 7116 7215 7303 7391 7479 752 7565 7717 7741 7834 7922 8094 864 989 a 1026 1102 1225 1302 1400 1456 1570 158 1654 1737 1833 1914 2068 2113 2185 2273 2357 2444 250 2523 2620 2786 2820 2965 3014 3106 3199 3322 3417 342 3480 3585 3683 3769 3853 3946 4041 4127 4220 426 4304 4385 4488 4529 4621 4692 4828 4907 4971 5093 5181 519 5240 5358 5452 5535 5618 5688 5801 5889 5977 601 6065 6184 6238 6447 6542 656 6626 6719 6813 6847 6949 7028 71 7116 7215 7303 7391 7479 752 7565 7717 7741 7834 7922 8094 864 989 a 1026 1102 1225 1302 1400 1456 1570 158 1654 1737 1833 1914 2068 2113 2185 2273 2357 2444 250 2523 2620 2786 2820 2965 3014 3106 3199 3322 3417 342 3480 3585 3683 3769 3853 3946 4041 4127 4220 426 4304 4385 4488 4590 4621 4692 4828 4907 4971 5093 5181 519 5240 5358 5452 5535 5618 5688 5801 5889 5977 601 6065 6184 6238 6447 6542 656 6626 6719 6813 6847 6949 7028 71 7116 7215 7303 7391 7479 752 7565 7717 7741 7834 7922 8094 864 989 a 1026 1102 1225 1302 1400 1456 1570 158 1654 1737 1833 1914 2068 2113 2185 2273 2357 2444 250 2523 2620 2786 2820 2965 3014 3106 3199 3322 3417 342 3480 3585 3683 3769 3853 3946 4041 4127 4220 426 4304 4385 4488 4590 4621 4692 4828 4907 4971 5093 5181 519 5240 5358 5452 5535 5618 5688 5801 5889 5977 601 6065 6184 6238 6447 6542 656 6626 6719 6813 6847 6949 7028 71 7116 7215 7303 7391 7479 749 7565 7717 7741 7834 7922 8094 864 989 a 1026 1102 1225 1302 1400 1456 1570 158 1654 1737 1833 1914 2068 2113 2185 2273 2357 2444 250 2523 2620 2786 2820 2965 3014 3106 3199 3322 3417 342 3480 3585 3683 3769 3853 3946 4041 4127 4220 426 4304 4385 4488 4590 4621 4692 4828 4907 4971 5093 5181 519 5240 5358 5452 5535 5618 5688 572 5801 5889 5977 6065 6184 6238 6447 6542 656 6626 6719 6813 6847 6949 7028 71 7116 7215 7303 7391 7479 749 7565 7717 7741 7834 7922 8094 864 989 a 1026 1102 1225 1302 1400 1456 151 1570 1654 1737 1833 1914 2068 2113 2185 2273 2357 2444 250 2523 2620 2786 2820 2965 3014 3106 3199 3322 3417 342 3480 3585 3683 3769 3853 3946 4041 4127 4220 426 4304 4385 4488 4590 4621 4692 4828 4907 4971 5093 5181 519 5240 5358 5452 5535 5618 5688 572 5801 5889 5977 6065 6184 6238 6447 6542 656 6626 6719 6813 6847 6949 7028 71 7116 7215 7303 7391 7479 749 7565 7717 7741 7834 7922 8094 864 989 a 1026 1102 1225 1302 1400 1456 151 1570 1654 1737 1868 1914 2068 2113 2185 2273 2357 2444 250 2523 2620 2786 2820 2965 3014 3106 3199 3322 3417 342 3480 3585 3683 3769 3853 3946 4041 4127 4220 426 4304 4385 4488 4590 4621 4692 4828 4907 4971 5093 5181 519 5240 5358 5452 5535 5618 5688 572 5801 5889 5977 6065 6184 6238 6447 6542 656 6626 6719 6813 6847 6949 7028 71 7116 7215 7303 7391 7479 749 7565 7717 7741 7834 7922 8094 864 989 a 1026 1102 1225 1302 1400 1456 151 1570 1654 1737 1868 1914 2068 2113 2185 2273 2357 2444 250 2523 2620 2786 2820 2965 3014 3106 3199 3322 3417 342 3480 3585 3683 3769 3853 3946 4041 4127 4220 426 4304 4385 4488 4590 4621 4692 4828 4907 4971 5093 5181 519 5240 5358 5452 5535 5618 5688 572 5801 5889 6065 6184 6238 6333 6447 6542 656 6626 6719 6813 6847 6949 7028 71 7116 7215 7303 7391 7479 749 7565 7717 7741 7834 7922 8094 864 989 a 1026 1102 1225 1302 1400 1456 151 1570 1654 1737 1868 1914 2068 2113 2185 2273 2357 2444 250 2523 2620 2786 2820 2965 3014 3106 3199 3322 3417 342 3480 3585 3683 3769 3853 3946 4041 4127 4220 426 4304 4385 4488 4590 4621 4692 4828 4907 4971 5093 5181 519 5240 5358 5452 5535 5618 5688 572 5801 5889 6065 6184 6238 6333 6447 6542 6626 667 6719 6813 6847 6949 7028 71 7116 7215 7303 7391 7479 749 7565 7717 7741 7834 7922 8094 864 989 a 1026 1102 1225 1302 1400 1456 151 1570 1654 1737 1868 1914 2068 2113 2186 2273 2357 2444 250 2523 2620 2786 2820 2965 3014 3106 3199 3322 3417 342 3480 3585 3683 3769 3853 3946 4041 4127 4220 426 4304 4385 4488 4590 4621 4692 4828 4907 4971 5093 5181 519 5240 5358 5452 5535 5618 5688 572 5801 5889 6065 6184 6238 6333 6447 6542 6626 667 6719 6813 6847 6949 7028 71 7116 7215 7303 7391 7479 749 7565 7717 7741 7834 7922 8094 864 989 a 1026 1102 1225 1302 1400 1456 151 1570 1654 1737 1868 1914 2068 2113 2186 2273 2357 2444 250 2523 2620 2786 2820 2965 3014 3106 3199 3322 3417 342 3480 3585 3683 3769 3853 3946 4041 4127 4220 426 4304 4385 4488 4590 4621 4692 4828 4885 4971 5093 5181 519 5240 5358 5452 5535 5618 5688 572 5801 5889 6065 6184 6238 6333 6447 6542 6626 667 6719 6813 6847 6949 7028 71 7116 7215 7303 7391 7479 749 7565 7717 7741 7834 7922 8094 864 989 a 1026 1102 1225 1302 1400 1456 151 1570 1654 1737 1868 1914 2068 2113 2186 2273 2357 2444 250 2523 2620 2786 2820 2965 3014 3106 3199 3322 3417 342 3480 3585 3683 3769 3853 3946 4041 4127 4220 426 4304 4385 4488 4590 4621 4692 4828 4885 4971 5093 5181 519 5240 5358 5452 5535 5618 5688 572 5801 5889 6065 6184 6238 6333 6447 6542 6626 667 6719 6813 6847 6949 7028 71 7116 7215 7303 7391 7479 7565 767 7717 7741 7834 7922 8094 864 989 a 1019 1102 1225 1302 1400 1456 151 1570 1654 1737 1868 1914 2068 2113 2186 2273 2357 2444 250 2523 2620 2786 2820 2965 3014 3106 3199 3322 3417 342 3480 3585 3683 3769 3853 3946 4041 4127 4220 426 4304 4385 4488 4590 4621 4692 4828 4885 4971 5093 5181 519 5240 5358 5452 5535 5618 5688 572 5801 5889 6065 6184 6238 6333 6447 6542 6626 667 6719 6813 6847 6949 7028 71 7116 7215 7303 7391 7479 7565 767 7717 7741 7834 7922 8094 864 989 a 1019 1102 1225 1302 1400 1456 151 1566 1654 1737 1868 1914 2068 2113 2186 2273 2357 2444 250 2523 2620 2786 2820 2965 3014 3106 3199 3322 3417 342 3480 3585 3683 3769 3853 3946 4041 4127 4220 426 4304 4385 4488 4590 4621 4692 4828 4885 4971 5093 5181 519 5240 5358 5452 5535 5618 5688 572 5801 5889 6065 6184 6238 6333 6447 6542 6626 667 6719 6813 6847 6949 7028 71 7116 7215 7303 7391 7479 7565 767 7717 7741 7834 7922 8094 864 989 a 1019 1102 1225 1302 1400 1456 151 1566 1654 1750 1868 1914 2068 2113 2186 2273 2357 2444 250 2523 2620 2786 2820 2965 3014 3106 3199 3322 3417 342 3480 3585 3683 3769 3853 3946 4041 4127 4220 426 4304 4385 4488 4590 4621 4692 4828 4885 4971 5093 5181 519 5240 5358 5452 5535 5618 5688 572 5801 5889 6065 6184 6238 6333 6447 6542 6626 667 6719 6813 6847 6949 7028 71 7116 7215 7303 7391 7479 7565 767 7717 7741 7834 7922 8094 864 989 a 1019 1102 1225 1302 1400 1456 151 1566 1654 1750 1868 1914 2068 2113 2186 2273 2357 2444 250 2523 2620 2786 2820 2965 3014 3106 3199 3322 3417 342 3480 3585 3683 3769 3853 3946 4041 4127 4220 426 4304 4385 4488 4590 4621 4692 4828 4885 4971 5093 5181 519 5240 5358 5452 5535 5618 5688 572 5801 5889 6065 6184 6238 6333 6447 6542 6626 667 6687 6813 6847 6949 7028 71 7116 7215 7303 7391 7479 7565 767 7717 7741 7834 7922 8094 864 989 a 1019 1102 1225 1302 1400 1456 149 1566 1654 1750 1868 1914 2068 2113 2186 2273 2357 2444 250 2523 2620 2786 2820 2965 3014 3106 3199 3322 3417 342 3480 3585 3683 3769 3853 3946 4041 4127 4220 426 4304 4385 4488 4590 4621 4692 4828 4885 4971 5093 5181 519 5240 5358 5452 5535 5618 5688 572 5801 5889 6065 6184 6238 6333 6447 6542 6626 667 6687 6813 6847 6949 7028 71 7116 7215 7303 7391 7479 7565 767 7717 7741 7834 7922 8094 864 989 a 1019 1102 1225 1302 1400 1456 149 1566 1654 1750 1868 1914 2068 2113 2186 2273 2357 2444 250 2523 2620 2786 2820 2965 3014 3106 3199 3322 3417 342 3480 3585 3683 3769 3853 3946 4041 4127 4220 426 4304 4385 4488 4590 4621 4692 4828 4885 4971 5093 5181 519 5240 5358 5452 5535 5618 5688 5801 5889 601 6065 6184 6238 6333 6447 6542 6626 667 6687 6813 6847 6949 7028 71 7116 7215 7303 7391 7479 7565 767 7717 7741 7834 7922 8094 864 989 a 1019 1102 1225 1302 1400 1456 149 1566 1654 1742 1868 1914 2068 2113 2186 2273 2357 2444 250 2523 2620 2786 2820 2965 3014 3106 3199 3322 3417 342 3480 3585 3683 3769 3853 3946 4041 4127 4220 426 4304 4385 4488 4590 4621 4692 4828 4885 4971 5093 5181 519 5240 5358 5452 5535 5618 5688 5801 5889 601 6065 6184 6238 6333 6447 6542 6626 667 6687 6813 6847 6949 7028 71 7116 7215 7303 7391 7479 7565 767 7717 7741 7834 7922 8094 864 989 a 1019 1102 1225 1302 1400 1456 149 1566 1654 1742 1868 1914 2068 2113 2186 2273 2357 2444 250 2523 2620 2786 2820 2965 3010 3106 3199 3322 3417 342 3480 3585 3683 3769 3853 3946 4041 4127 4220 426 4304 4385 4488 4590 4621 4692 4828 4885 4971 5093 5181 519 5240 5358 5452 5535 5618 5688 5801 5889 601 6065 6184 6238 6333 6447 6542 6626 667 6687 6813 6847 6949 7028 71 7116 7215 7303 7391 7479 7565 767 7717 7741 7834 7922 8094 864 989 a 1019 1102 1225 1302 1400 1456 149 1566 1654 1742 1868 1914 2068 2113 2186 2273 2357 2444 2523 2620 2786 2820 2965 3010 3106 3199 3322 3417 342 3480 3585 3683 3769 3853 3946 4041 4127 4220 426 4304 4385 4488 4590 4621 4692 4828 4885 4971 5093 5181 519 5240 5358 5452 5535 5618 5688 5801 5889 601 6010 6065 6184 6238 6333 6447 6542 6626 667 6687 6813 6847 6949 7028 71 7116 7215 7303 7391 7479 7565 767 7717 7741 7834 7922 8094 864 989 a 1019 1102 1225 1302 1400 1456 149 1566 1654 1742 1868 1914 2068 208 2113 2186 2273 2357 2444 2523 2620 2786 2820 2965 3010 3106 3199 3322 3417 342 3480 3585 3683 3769 3853 3946 4041 4127 4220 426 4304 4385 4488 4590 4621 4692 4828 4885 4971 5093 5181 519 5240 5358 5452 5535 5618 5688 5801 5889 601 6010 6065 6184 6333 6447 6542 6626 667 6687 6813 6847 6949 7028 71 7116 7215 7303 7391 7479 7565 767 7717 7741 7834 7922 8094 864 989 a 1019 1102 1225 1302 1400 1456 149 1566 1654 1742 1868 1914 2068 208 2113 2186 2273 2357 2444 2523 2620 2786 2820 2965 3010 3106 3199 3322 3417 342 3480 3585 3683 3769 3853 3946 4041 4127 4220 426 4304 4385 4488 4590 4621 4692 4828 4885 4971 5093 5181 519 5240 5358 5452 5535 5618 5688 5801 5889 601 6065 6184 6280 6333 6447 6542 6626 667 6687 6813 6847 6949 7028 71 7116 7215 7303 7391 7479 7565 767 7717 7741 7834 7922 8094 864 989 a 1019 1102 1225 1302 1400 1456 149 1566 1654 1742 1868 1914 2068 208 2113 2186 2273 2357 2444 2523 2620 2786 2820 2965 3010 3106 3199 3322 3417 342 3480 3585 3683 3769 3853 3946 4041 4127 4220 426 4304 4385 4488 4590 4692 4828 4885 4971 5093 5181 519 5240 5358 5452 5535 5618 5688 5801 5889 5971 601 6065 6184 6280 6333 6447 6542 6626 667 6687 6813 6847 6949 7028 71 7116 7215 7303 7391 7479 7565 767 7717 7741 7834 7922 8094 864 989 a 1019 1102 1225 1302 1400 1456 149 1566 1654 1742 1868 1914 2068 208 2113 2186 2273 2357 2444 2523 2620 2786 2820 2965 3010 3106 3199 3322 3417 342 3464 3585 3683 3769 3853 3946 4041 4127 4220 426 4304 4385 4488 4590 4692 4828 4885 4971 5093 5181 519 5240 5358 5452 5535 5618 5688 5801 5889 5971 601 6065 6184 6280 6333 6447 6542 6626 667 6687 6813 6847 6949 7028 71 7116 7215 7303 7391 7479 7565 767 7717 7741 7834 7922 8094 864 989 a 1019 1102 1225 1302 1400 1456 149 1566 1654 1742 1868 1914 2068 208 2113 2186 2273 2357 2444 2523 2620 2786 2820 2965 3010 3106 3199 3322 3417 342 3464 3585 3683 3769 3853 3946 4041 4127 4220 426 4304 4385 4488 4590 4692 4828 4885 4971 5093 5181 519 5240 5358 5452 5535 5618 5688 5801 5889 5971 601 6065 6184 6280 6333 6447 6542 6626 667 6687 6810 6847 6949 7028 71 7116 7215 7303 7391 7479 7565 767 7717 7741 7834 7922 8094 864 989 a 1019 1102 1225 1302 1400 1456 149 1566 1654 1742 1868 1914 2068 208 2113 2186 2273 2357 2444 2523 2620 2786 2820 2965 3010 3106 3199 3322 3417 342 3464 3585 3683 3769 3853 3946 4041 4127 4220 426 4304 4385 4488 4590 4692 4828 4885 4971 5093 5181 519 5240 5358 5452 5535 5618 5688 5801 5889 5971 601 6065 6184 6280 6333 6447 6542 6626 667 6687 6810 6847 6949 7028 71 7116 7215 7303 7391 7479 7565 767 7717 7741 7834 7922 8094 873 989 a 1019 1102 1225 1302 1400 1456 149 1566 1654 1742 1868 1914 2068 208 2113 2186 2273 2357 2444 2523 2620 2786 2820 2965 3010 3106 3199 3322 3417 342 3464 3585 3683 3769 3853 3946 4041 4127 4220 426 4304 4385 4488 4590 4602 4828 4885 4971 5093 5181 519 5240 5358 5452 5535 5618 5688 5801 5889 5971 601 6065 6184 6280 6333 6447 6542 6626 667 6687 6810 6847 6949 7028 71 7116 7215 7303 7391 7479 7565 767 7717 7741 7834 7922 8094 873 989 a 1019 1102 1225 1302 1400 1456 149 1566 1654 1742 1868 1914 2068 208 2113 2186 2273 2357 2444 2523 2620 2786 2820 2965 3010 3106 3199 3322 3417 342 3464 3585 3683 3769 3853 3946 4041 4127 4220 426 4304 4385 4488 4590 4602 4828 4885 4971 5093 5181 519 5240 5358 5452 5535 5618 5688 5801 5889 5971 601 6065 6184 6280 6333 6447 6542 6626 667 6687 6810 6894 6949 7028 71 7116 7215 7303 7391 7479 7565 767 7717 7741 7834 7922 8094 873 989 a 1019 1102 1225 1302 1400 1456 149 1566 1654 1742 1868 1914 2068 208 2113 2186 2273 2357 2444 2523 2620 2786 2820 2965 3010 3106 3157 3322 3417 342 3464 3585 3683 3769 3853 3946 4041 4127 4220 426 4304 4385 4488 4590 4602 4828 4885 4971 5093 5181 519 5240 5358 5452 5535 5618 5688 5801 5889 5971 601 6065 6184 6280 6333 6447 6542 6626 667 6687 6810 6894 6949 7028 71 7116 7215 7303 7391 7479 7565 767 7717 7741 7834 7922 8094 873 989 a 1019 1102 1225 1302 1400 1456 149 1566 1654 1742 1868 1914 2068 208 2113 2186 2273 2357 2444 2523 2620 2786 2820 2965 3010 3106 3157 3322 3417 342 3464 3585 3683 3769 3853 3946 4041 4127 4220 426 4304 4385 4488 4590 4692 4828 4885 4971 5093 5181 519 5240 5358 5452 5535 5618 5688 5801 5889 5971 601 6065 6184 6280 6333 6447 6542 6626 667 6687 6810 6894 6949 7028 71 7116 7215 7303 7391 7479 7565 767 7717 7741 7834 7922 8094 873 989 a 1019 1102 1225 1302 1400 1456 149 1566 1654 1742 1868 1914 2068 208 2113 2186 2273 2357 2444 2523 2620 2786 2820 2965 3010 3106 3322 3417 342 3464 3585 3683 3769 3853 3946 4041 4127 4220 426 4304 4385 4488 4590 4597 4692 4828 4885 4971 5093 5181 519 5240 5358 5452 5535 5618 5688 5801 5889 5971 601 6065 6184 6280 6333 6447 6542 6626 667 6687 6810 6894 6949 7028 71 7116 7215 7303 7391 7479 7565 767 7717 7741 7834 7922 8094 873 989 a 1019 1102 1225 1302 1400 1456 149 1566 1654 1742 1868 2068 208 2113 2186 2273 2357 2444 2523 2620 2786 2820 2965 3010 3106 3199 3322 3417 342 3464 3585 3683 3769 3853 3946 4041 4127 4220 426 4304 4385 4488 4590 4597 4692 4828 4885 4971 5093 5181 519 5240 5358 5452 5535 5618 5688 5801 5889 5971 601 6065 6184 6280 6333 6447 6542 6626 667 6687 6810 6894 6949 7028 71 7116 7215 7303 7391 7479 7565 767 7717 7741 7834 7922 8094 873 989 a 1019 1102 1225 1302 1400 1456 149 1654 1742 1868 1926 2068 208 2113 2186 2273 2357 2444 2523 2620 2786 2820 2965 3010 3106 3199 3322 3417 342 3464 3585 3683 3769 3853 3946 4041 4127 4220 426 4304 4385 4488 4590 4597 4692 4828 4885 4971 5093 5181 519 5240 5358 5452 5535 5618 5688 5801 5889 5971 601 6065 6184 6280 6333 6447 6542 6626 667 6687 6810 6894 6949 7028 71 7116 7215 7303 7391 7479 7565 767 7717 7741 7834 7922 8094 873 989 a 1019 1102 1225 1400 1456 149 1572 1654 1742 1868 1926 2068 208 2113 2186 2273 2357 2444 2523 2620 2786 2820 2965 3010 3106 3199 3322 3417 342 3464 3585 3683 3769 3853 3946 4041 4127 4220 426 4304 4385 4488 4590 4597 4692 4828 4885 4971 5093 5181 519 5240 5358 5452 5535 5618 5688 5801 5889 5971 601 6065 6184 6280 6333 6447 6542 6626 667 6687 6810 6894 6949 7028 71 7116 7215 7303 7391 7479 7565 767 7717 7741 7834 7922 8094 873 989 a 1019 1102 1225 1400 1456 149 1572 1654 1742 1868 1926 204 2068 2113 2186 2273 2357 2444 2523 2620 2786 2820 2965 3010 3106 3199 3322 3417 342 3464 3585 3683 3769 3853 3946 4041 4127 4220 426 4304 4385 4488 4590 4597 4692 4828 4885 4971 5093 5181 519 5240 5358 5452 5535 5618 5688 5801 5889 5971 601 6065 6184 6280 6333 6447 6542 6626 667 6687 6810 6894 6949 7028 71 7116 7215 7303 7391 7479 7565 767 7717 7741 7834 7922 8094 873 989 a 1019 1102 1225 1288 1400 1456 149 1572 1654 1742 1868 1926 204 2068 2113 2186 2273 2357 2444 2523 2620 2786 2820 2965 3010 3106 3322 3417 342 3464 3585 3683 3769 3853 3946 4041 4127 4220 426 4304 4385 4488 4590 4597 4692 4828 4885 4971 5093 5181 519 5240 5358 5452 5535 5618 5688 5801 5889 5971 601 6065 6184 6280 6333 6447 6542 6626 667 6687 6810 6894 6949 7028 71 7116 7215 7303 7391 7479 7565 767 7717 7741 7834 7922 8094 873 989 a 1019 1102 1225 1288 1400 1456 149 1572 1654 1742 1868 1926 204 2068 2113 2186 2273 2357 2444 2523 2620 2786 2820 2965 3010 3106 3213 3322 3417 342 3464 3585 3683 3769 3853 3946 4041 4127 4220 426 4304 4385 4488 4590 4597 4692 4828 4885 4971 5093 5181 519 5240 5358 5452 5535 5618 5688 5801 5889 5971 601 6065 6184 6280 6333 6447 6542 6626 667 6687 6810 6894 6949 7028 71 7116 7215 7303 7391 7479 7565 767 7717 7741 7834 7922 8094 989 a 1019 1102 1225 1288 1400 1456 149 1572 1654 1742 1868 1926 204 2068 2113 2186 2273 2357 2444 2523 2620 2786 2820 2965 3010 3106 3213 3322 3417 342 3464 3585 3683 3769 3853 3946 4041 4127 4220 426 4304 4385 4488 4590 4597 4828 4885 4971 5093 5181 519 5240 5358 5452 5535 5618 5688 5801 5889 5971 601 6065 6184 6280 6333 6447 6542 6626 667 6687 6810 6894 6949 7028 71 7116 7215 7303 7391 7479 7565 767 7717 7741 7834 7922 8094 822 989 a 1019 1102 1225 1288 1400 1456 149 1572 1654 1742 1868 1926 204 2068 2113 2186 2273 2357 2444 2523 2620 2786 2820 2965 3010 3106 3213 3322 3417 342 3464 3585 3683 3769 3853 3946 4041 4127 4220 426 4304 4385 4488 4590 4597 4691 4828 4885 4971 5093 5181 519 5240 5358 5452 5535 5618 5688 5801 5889 5971 601 6065 6184 6280 6333 6447 6542 6626 667 6687 6810 6894 6949 7028 71 7116 7215 7303 7479 7565 767 7717 7741 7834 7922 8094 822 989 a 1019 1102 1225 1288 1400 1456 149 1572 1654 1742 1868 1926 204 2068 2113 2186 2273 2357 2444 2523 2620 2786 2820 2965 3010 3106 3213 3322 3417 342 3464 3585 3683 3769 3853 3946 4041 4127 4220 426 4304 4385 4488 4590 4597 4691 4828 4885 4971 5093 5181 519 5240 5358 5452 5535 5618 5688 5801 5889 5971 601 6065 6184 6280 6333 6542 6626 667 6687 6810 6894 6949 7028 71 7116 7215 7303 7429 7479 7565 767 7717 7741 7834 7922 8094 822 989 a 1019 1102 1225 1288 1400 1456 149 1572 1654 1742 1868 1926 2068 2113 2186 2273 2357 2444 2523 2620 2786 2820 2965 3010 3106 3213 3322 3417 342 3464 3585 3683 3769 3853 3946 4041 4127 4220 426 4304 4385 4488 4590 4597 4691 4828 4885 4971 5093 5181 519 5240 5358 5452 5535 5618 5688 5801 5889 5971 601 6065 6184 6280 6333 6447 6542 6626 667 6687 6810 6894 6949 7028 71 7116 7215 7303 7429 7479 7565 767 7717 7741 7834 7922 8094 822 989 a 1019 1102 1225 1288 1400 1456 149 1572 1654 1742 1868 1926 2068 2113 2186 2273 2357 2444 2523 2620 2786 2820 2965 3010 3106 3213 3322 3417 342 3464 3585 3683 3769 3853 3946 4041 4127 4220 426 4304 4385 4488 4590 4597 4691 4828 4885 4971 5093 5181 519 5240 5358 5424 5535 5618 5688 5801 5889 5971 601 6065 6184 6280 6333 6447 6542 6626 667 6687 6810 6894 6949 7028 71 7116 7215 7303 7429 7479 7565 767 7717 7741 7834 7922 8094 822 989 a 1019 1102 1225 1288 1400 1456 149 1572 1654 1742 1868 1926 2068 2113 2186 2273 2357 2444 250 2523 2620 2786 2820 2965 3010 3106 3213 3322 3417 342 3464 3585 3683 3769 3853 3946 4041 4127 4220 426 4304 4385 4488 4590 4597 4691 4828 4885 4971 5093 5181 519 5240 5358 5424 5535 5618 5688 5801 5889 5971 601 6065 6184 6333 6447 6542 6626 667 6687 6810 6894 6949 7028 71 7116 7215 7303 7429 7479 7565 767 7717 7741 7834 7922 8094 822 989 a 1019 1102 1225 1288 1400 142 1456 1572 1654 1742 1868 1926 2068 2113 2186 2273 2357 2444 250 2523 2620 2786 2820 2965 3010 3106 3213 3322 3417 342 3464 3585 3683 3769 3853 3946 4041 4127 4220 426 4304 4385 4488 4590 4597 4691 4828 4885 4971 5093 5181 519 5240 5358 5424 5535 5618 5688 5801 5889 5971 601 6065 6184 6333 6447 6542 6626 667 6687 6810 6894 6949 7028 71 7116 7215 7303 7429 7479 7565 767 7717 7741 7834 7922 8094 822 989 a 1019 1102 1225 1288 1400 142 1456 1572 1679 1742 1868 1926 2068 2113 2186 2273 2357 2444 250 2523 2620 2786 2820 2965 3010 3106 3213 3322 3417 342 3464 3585 3683 3769 3853 3946 4041 4127 4220 426 4304 4385 4488 4590 4597 4691 4828 4885 4971 5093 5181 519 5240 5358 5424 5535 5618 5688 5801 5889 5971 601 6065 6184 6333 6447 6542 6626 667 6687 6810 6894 6949 7028 71 7116 7215 7303 7429 7479 7565 767 7717 7741 7834 7922 8094 822 989 a 1024 1102 1225 1288 1400 142 1456 1572 1679 1742 1868 1926 2068 2113 2186 2273 2357 2444 250 2523 2620 2786 2820 2965 3010 3106 3213 3322 3417 342 3464 3585 3683 3769 3853 3946 4041 4127 4220 426 4304 4385 4488 4590 4597 4691 4828 4885 4971 5093 5181 519 5240 5358 5424 5535 5618 5688 5801 5889 5971 601 6065 6184 6333 6447 6542 6626 667 6687 6810 6894 6949 7028 71 7116 7215 7303 7429 7479 7565 767 7717 7741 7834 7922 8094 822 989 a 1024 1102 1225 1288 1400 142 1456 1572 1679 1742 1868 1926 2068 2113 2186 2273 2357 2444 250 2523 2620 2786 2820 2965 3010 3106 3322 3417 342 3464 3585 3683 3769 3853 3946 4041 4127 4220 426 4304 4385 4488 4590 4597 4691 4828 4885 4971 5093 5181 519 5240 5358 5424 5535 5618 5688 5801 5889 5971 601 6065 6184 6239 6333 6447 6542 6626 667 6687 6810 6894 6949 7028 71 7116 7215 7303 7429 7479 7565 767 7717 7741 7834 7922 8094 822 989 a 1024 1102 1225 1288 1400 142 1456 1572 1679 1742 1868 1926 2068 2113 2186 2273 2357 2444 250 2523 2620 2786 2820 2965 3010 3106 3322 3417 342 3464 3585 3683 3769 3853 3946 4041 4127 4220 426 4304 4385 4488 4590 4597 4691 4828 4885 4971 5093 5181 519 5240 5358 5424 5535 5618 5688 5801 5889 5971 601 6065 6184 6239 6363 6447 6542 6626 667 6687 6810 6894 6949 7028 71 7116 7215 7303 7429 7479 7565 767 7717 7741 7834 7922 8094 822 989 a 1024 1102 1225 1288 1400 142 1456 1572 1679 1742 1868 1926 2068 2113 2186 2273 2357 2444 250 2523 2620 2786 2820 2965 3010 3106 3322 3417 342 3464 3585 3683 3769 3853 3946 4041 4127 4220 426 4304 4385 4488 4590 4597 4691 4828 4885 4971 5093 5181 519 5240 5358 5424 5535 5618 5688 5801 5889 5971 601 6065 6184 6239 6363 6447 6542 6626 663 6687 6810 6894 6949 7028 71 7116 7215 7303 7429 7479 7565 767 7717 7741 7834 7922 8094 822 989 a 1024 1102 1225 1288 1400 142 1456 1572 1679 1742 1868 1926 2068 2113 2186 2273 2357 2444 250 2523 2620 2786 2820 2965 3010 3106 3177 3322 3417 342 3464 3585 3683 3769 3853 3946 4041 4127 4220 426 4304 4385 4488 4590 4597 4691 4828 4885 4971 5093 5181 519 5240 5358 5424 5535 5618 5688 5801 5889 5971 601 6065 6184 6239 6363 6447 6542 6626 663 6810 6894 6949 7028 71 7116 7215 7303 7429 7479 7565 767 7717 7741 7834 7922 8094 822 989 a 1024 1102 1225 1288 1400 142 1456 1572 1679 1742 1868 1926 2068 2113 2186 2273 2357 2444 250 2523 2620 2786 2820 2965 3010 3106 3177 3322 3417 342 3464 3585 3683 3769 3853 3946 4041 4127 4220 426 4304 4385 4488 4590 4597 4691 4828 4885 4971 5093 5181 519 5240 5358 5424 5535 5618 5688 5801 5889 5971 601 6065 6184 6239 6363 6447 6542 6626 663 6810 6894 6949 7028 71 7116 7215 7303 7429 7479 7565 767 7717 7741 7834 7922 8094 847 989 a 102 1024 1102 1225 1288 1400 1456 1572 1679 1742 1868 1926 2068 2113 2186 2273 2357 2444 250 2523 2620 2786 2820 2965 3010 3106 3177 3322 3417 342 3464 3585 3683 3769 3853 3946 4041 4127 4220 426 4304 4385 4488 4590 4597 4691 4828 4885 4971 5093 5181 519 5240 5358 5424 5535 5618 5688 5801 5889 5971 601 6065 6184 6239 6363 6447 6542 6626 663 6810 6894 6949 7028 71 7116 7215 7303 7429 7479 7565 767 7717 7741 7834 7922 8094 847 989 a 102 1024 1102 1225 1288 1400 1456 1572 1679 1742 1868 1926 2068 2113 2186 2273 2357 2444 250 2523 2620 2786 2820 2965 3010 3106 3177 3322 3417 342 3464 3585 3683 3769 3853 3946 4041 4127 4220 426 4304 4385 4488 4590 4642 4691 4828 4885 4971 5093 5181 519 5240 5358 5424 5535 5618 5688 5801 5889 5971 601 6065 6184 6239 6363 6447 6542 6626 663 6810 6894 6949 7028 71 7116 7215 7303 7429 7479 7565 767 7717 7741 7834 7922 8094 847 989 a 102 1024 1102 1225 1288 1400 1456 1572 1679 1742 1868 1926 2068 2113 2186 2273 2357 2444 250 2523 2620 2786 2820 2965 3010 3106 3177 3322 3417 342 3464 3585 3683 3769 3853 3946 4041 4127 4220 426 4304 4385 4488 4590 4642 4691 4828 4885 4971 5093 5181 519 5240 5358 5424 5535 5618 5688 5801 5889 5971 601 6065 6184 6239 6363 6447 6542 6626 663 6810 6847 6949 7028 71 7116 7215 7303 7429 7479 7565 767 7717 7741 7834 7922 8094 847 989 a 102 1024 1102 1225 1288 1400 1456 1572 1679 1742 1868 1926 2068 2113 2186 2273 2357 2444 250 2523 2620 2786 2820 2965 3010 3106 3177 3322 3417 342 3464 3585 3683 3769 3853 3946 4041 4127 4220 426 4304 4385 4488 4590 4642 4691 4828 4885 4971 5093 5181 519 5240 5358 5424 5535 5618 5688 5801 5889 5971 601 6065 6184 6239 6363 6542 6626 663 6714 6810 6847 6949 7028 71 7116 7215 7303 7429 7479 7565 767 7717 7741 7834 7922 8094 847 989 a 102 1024 1102 1225 1288 1400 1456 1572 1742 1868 1926 2068 2113 2186 2273 2357 2444 250 2523 2620 2786 2820 2965 3010 3106 3177 3322 3417 342 3464 3585 3683 3769 3853 3946 4041 4127 4220 426 4304 4385 4488 4590 4642 4691 4828 4885 4971 5093 5181 519 5240 5358 5424 5535 5618 5688 5801 5889 5971 601 6065 6184 6239 6363 6449 6542 6626 663 6714 6810 6847 6949 7028 71 7116 7215 7303 7429 7479 7565 767 7717 7741 7834 7922 8094 847 989 a 102 1024 1102 1225 1288 1400 1456 1572 1660 1742 1868 1926 2068 2113 2186 2273 2357 2444 250 2523 2620 2786 2820 2965 3106 3177 3322 3417 342 3464 3585 3683 3769 3853 3946 4041 4127 4220 426 4304 4385 4488 4590 4642 4691 4828 4885 4971 5093 5181 519 5240 5358 5424 5535 5618 5688 5801 5889 5971 601 6065 6184 6239 6363 6449 6542 6626 663 6714 6810 6847 6949 7028 71 7116 7215 7303 7429 7479 7565 767 7717 7741 7834 7922 8094 847 989 a 102 1024 1102 1225 1288 1400 1497 1572 1660 1742 1868 1926 2068 2113 2186 2273 2357 2444 250 2523 2620 2786 2820 2965 3106 3177 3322 3417 342 3464 3585 3683 3769 3853 3946 4041 4127 4220 426 4304 4385 4488 4590 4642 4691 4828 4885 4971 5093 5181 519 5240 5358 5424 5535 5618 5688 5801 5889 5971 601 6065 6184 6239 6363 6449 6542 6626 663 6714 6810 6847 6949 7028 71 7116 7215 7303 7429 7479 7565 767 7717 7741 7834 7922 8094 847 989 a 102 1024 1102 1225 1288 1400 1497 1572 1660 1742 1868 1926 2068 2113 2186 2273 2357 2444 250 2523 2620 2786 2820 2965 3106 3177 3322 3417 342 3436 3585 3683 3769 3853 3946 4041 4127 4220 426 4304 4385 4488 4590 4642 4691 4828 4885 4971 5093 5181 519 5240 5358 5424 5535 5618 5688 5801 5889 5971 601 6065 6184 6239 6363 6449 6542 6626 663 6714 6810 6847 6949 7028 71 7116 7215 7303 7429 7479 7565 767 7717 7741 7834 7922 8094 847 989 a 102 1024 1102 1225 1288 1400 1497 1572 1660 1742 1844 1926 2068 2113 2186 2273 2357 2444 250 2523 2620 2786 2820 2965 3106 3177 3322 3417 342 3436 3585 3683 3769 3853 3946 4041 4127 4220 426 4304 4385 4488 4590 4642 4691 4828 4885 4971 5093 5181 519 5240 5358 5424 5535 5618 5688 5801 5889 5971 601 6065 6184 6239 6363 6449 6542 6626 663 6714 6810 6847 6949 7028 71 7116 7215 7303 7429 7479 7565 767 7717 7741 7834 7922 8094 847 989 a 102 1024 1102 1225 1288 1400 1497 1572 1660 1742 1844 1926 2068 2113 2186 2273 2357 2444 250 2523 2620 2786 2820 2965 3019 3106 3177 3322 3417 342 3436 3585 3683 3769 3853 3946 4041 4127 4220 426 4304 4385 4488 4590 4642 4691 4828 4885 4971 5093 5181 519 5240 5358 5424 5535 5618 5688 5801 5889 5971 601 6065 6184 6239 6363 6449 6542 6626 663 6714 6810 6847 6949 7028 71 7116 7215 7303 7479 7565 767 7717 7741 7834 7922 8094 847 989 a 102 1024 1102 1225 1288 1400 1497 1572 1660 1742 1844 1926 2068 2113 2186 2273 2357 2444 250 2523 2620 2786 2820 2965 3019 3106 3177 3322 3417 342 3436 3585 3683 3769 3853 3946 4041 4127 4220 426 4304 4385 4488 4590 4642 4828 4885 4971 5093 5181 519 5240 5358 5424 5535 5618 5688 5801 5889 5971 601 6065 6184 6239 6363 6449 6542 6626 663 6714 6810 6847 6949 7028 71 7116 7215 7303 7391 7479 7565 767 7717 7741 7834 7922 8094 847 989 a 102 1024 1102 1225 1288 1400 1497 1572 1660 1742 1844 1926 2068 2113 2186 2273 2357 2444 250 2523 2620 2786 2820 2965 3019 3106 3177 3322 3417 342 3436 3585 3683 3769 3853 3946 4041 4127 4220 426 4304 4385 4488 4590 4642 4740 4828 4885 4971 5093 5181 519 5240 5358 5424 5535 5618 5688 5801 5889 5971 601 6065 6184 6239 6363 6449 6542 6626 663 6714 6847 6949 7028 71 7116 7215 7303 7391 7479 7565 767 7717 7741 7834 7922 8094 847 989 a 102 1024 1102 1225 1288 1400 1497 1572 1660 1742 1844 1926 2068 2113 2186 2273 2357 2444 250 2523 2620 2786 2820 2965 3019 3106 3177 3322 3417 342 3436 3585 3683 3769 3853 3946 4041 4127 4220 426 4304 4385 4488 4590 4642 4740 4828 4885 4971 5093 5181 519 5240 5358 5424 5535 5618 5688 5801 5889 5971 6065 6184 6239 6363 6449 6542 6626 663 6714 6811 6847 6949 7028 71 7116 7215 7303 7391 7479 7565 767 7717 7741 7834 7922 8094 847 989 a 102 1024 1102 1225 1288 1400 1572 1660 1742 1844 1926 2068 2113 2186 2273 2357 2444 250 2523 2620 2786 2820 2965 3019 3106 3177 3322 3417 342 3436 3585 3683 3769 3853 3946 4041 4127 4220 426 4304 4385 4488 4590 4642 4740 4828 4885 4971 5093 5181 519 5240 5358 5424 5535 5618 5688 5801 5889 597 5971 6065 6184 6239 6363 6449 6542 6626 663 6714 6811 6847 6949 7028 71 7116 7215 7303 7391 7479 7565 767 7717 7741 7834 7922 8094 847 989 a 102 1024 1102 1225 1288 1400 1477 1572 1660 1742 1844 1926 2068 2113 2186 2273 2357 2444 250 2523 2620 2786 2820 2965 3019 3106 3177 3322 3417 342 3436 3585 3683 3769 3853 3946 4041 4127 4220 426 4304 4385 4488 4590 4642 4740 4828 4885 4971 5093 5181 519 5240 5358 5424 5535 5618 5688 5801 5889 597 5971 6065 6184 6239 6363 6449 6542 6626 663 6714 6811 6847 6949 7028 71 7116 7215 7303 7391 7479 7565 767 7717 7741 7834 7922 8094 989 a 1024 1102 1225 1288 1400 1477 1572 1660 1742 1844 1926 2068 2113 2186 2273 2357 2444 250 2523 2620 2786 2820 2965 3019 3106 3177 3322 3417 342 3436 3585 3683 3769 3853 3946 4041 4127 4220 426 4304 4385 4488 4590 4642 4740 4828 4885 4971 5093 5181 519 5240 5358 5424 5535 5618 5688 5801 5889 597 5971 6065 6184 6239 6363 6449 6542 6626 663 6714 6811 6847 6949 7028 71 7116 7215 7303 7391 7479 7565 767 7717 7741 7834 7922 8094 822 989 Command being timed: "python3 /SOLVER/shortest/run.py submission sas split /BENCHMARKS/benchmark/queen/queen090x090.col /BENCHMARKS/benchmark/queen/queen090x090_04_1188.dat" User time (seconds): 63.58 System time (seconds): 1.02 Percent of CPU this job got: 1% Elapsed (wall clock) time (h:mm:ss or m:ss): 1:11:58 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): 439428 Average resident set size (kbytes): 0 Major (requiring I/O) page faults: 0 Minor (reclaiming a frame) page faults: 269866 Voluntary context switches: 450 Involuntary context switches: 8219 Swaps: 0 File system inputs: 0 File system outputs: 35936 Socket messages sent: 0 Socket messages received: 0 Signals delivered: 0 Page size (bytes): 4096 Exit status: 0