#BEGIN: [Sat Sep 9 10:45:14 2023] #HOST: s04 #TIMELIMIT: 1800 #MEMLIMIT: 0 #SOLVER: shortest-wallclock-ai-planning2-shortest2 #INSTANCE1: /benchmark/2022benchmark/benchmark/queen/queen080x080.col #INSTANCE2: /benchmark/2022benchmark/benchmark/queen/queen080x080_03_0355.dat #COMMAND: docker run --cap-add=CAP_SYS_RESOURCE --cidfile /tmp/cid.txt --init --rm -t -v /home/share/benchmark/ISR-benchmark:/benchmark ai-planning2 --config=shortest-portfolio --memory-limit=54 --time-limit=1800 /benchmark/2022benchmark/benchmark/queen/queen080x080.col /benchmark/2022benchmark/benchmark/queen/queen080x080_03_0355.dat s 2800 5849 2028 5512 1687 695 4437 5102 3029 6081 610 2158 4515 3926 6201 2556 4987 2235 2954 144 2284 454 60 301 4691 5771 5693 5925 2471 1318 2334 3860 3576 3265 1123 808 219 3426 4756 4365 3799 4909 1233 1762 3350 3722 6023 4126 2680 5386 3117 1064 5615 2579 4178 4283 1545 4017 3471 2868 947 5136 769 512 6377 3193 4834 1844 1023 378 3621 1622 6293 5599 1412 5248 4590 1967 5290 t 6377 808 1762 769 1687 6046 3690 5599 1475 5849 378 4680 4590 2800 3804 5153 4283 3350 2608 2693 5925 301 4042 2868 4742 144 2027 1967 5331 695 1023 5223 6081 3265 219 2471 6285 1296 1534 3576 4997 2259 3029 454 3193 508 1064 5386 5512 4909 2556 4361 1412 4439 1634 3426 3117 5102 4812 5615 610 3471 3621 2954 4105 4178 5771 2235 947 1844 1236 1123 4497 5693 2158 3860 3926 6192 60 a YES a 60 144 219 301 378 454 512 610 695 769 808 947 1023 1064 1123 1233 1318 1412 1545 1622 1687 1762 1844 1967 2028 2158 2235 2284 2334 2471 2556 2579 2680 2800 2868 2954 3029 3117 3193 3265 3350 3426 3471 3576 3621 3722 3799 3860 3926 4017 4126 4178 4283 4365 4437 4515 4590 4691 4756 4834 4909 4987 5102 5136 5248 5290 5386 5512 5599 5615 5693 5771 5849 5925 6023 6081 6201 6293 6377 a 60 144 219 301 378 454 512 610 695 769 808 947 1023 1064 1123 1233 1412 1478 1545 1622 1687 1762 1844 1967 2028 2158 2235 2284 2334 2471 2556 2579 2680 2800 2868 2954 3029 3117 3193 3265 3350 3426 3471 3576 3621 3722 3799 3860 3926 4017 4126 4178 4283 4365 4437 4515 4590 4691 4756 4834 4909 4987 5102 5136 5248 5290 5386 5512 5599 5615 5693 5771 5849 5925 6023 6081 6201 6293 6377 a 60 144 219 301 378 454 512 610 695 769 808 947 1023 1064 1123 1233 1296 1412 1478 1545 1622 1687 1762 1844 1967 2028 2158 2235 2284 2334 2471 2556 2579 2680 2800 2868 2954 3029 3117 3193 3265 3350 3426 3471 3576 3621 3722 3799 3860 3926 4017 4126 4178 4283 4365 4437 4515 4590 4691 4756 4834 4909 4987 5102 5248 5290 5386 5512 5599 5615 5693 5771 5849 5925 6023 6081 6201 6293 6377 a 60 144 219 301 378 454 512 610 695 769 808 947 1023 1064 1123 1233 1296 1412 1478 1545 1622 1687 1762 1844 1967 2028 2158 2235 2252 2334 2471 2556 2579 2680 2800 2868 2954 3029 3117 3193 3265 3350 3426 3471 3576 3621 3722 3799 3860 3926 4017 4126 4178 4283 4365 4437 4515 4590 4691 4756 4834 4909 4987 5102 5248 5290 5386 5512 5599 5615 5693 5771 5849 5925 6023 6081 6201 6293 6377 a 60 144 219 301 378 454 512 610 695 769 808 947 1023 1064 1123 1233 1296 1412 1478 1545 1622 1687 1762 1844 1967 2028 2158 2235 2252 2334 2471 2556 2579 2680 2800 2868 2954 3029 3117 3193 3265 3350 3426 3471 3576 3621 3722 3799 3860 3926 4126 4178 4283 4365 4437 4515 4590 4691 4756 4834 4909 4987 5102 5137 5248 5290 5386 5512 5599 5615 5693 5771 5849 5925 6023 6081 6201 6293 6377 a 60 144 219 301 378 454 512 610 695 769 808 947 1023 1064 1123 1233 1296 1412 1478 1545 1622 1687 1762 1844 1967 2028 2158 2235 2252 2334 2471 2556 2579 2680 2800 2868 2954 3029 3117 3193 3265 3350 3426 3471 3576 3621 3722 3799 3860 3926 4044 4126 4178 4283 4365 4437 4515 4590 4691 4756 4909 4987 5102 5137 5248 5290 5386 5512 5599 5615 5693 5771 5849 5925 6023 6081 6201 6293 6377 a 60 144 219 301 378 454 512 610 695 769 808 947 1023 1064 1123 1233 1296 1412 1478 1545 1634 1687 1762 1844 1967 2028 2158 2235 2252 2334 2471 2556 2579 2680 2800 2868 2954 3029 3117 3193 3265 3350 3426 3471 3576 3621 3722 3799 3860 3926 4044 4126 4178 4283 4365 4437 4515 4590 4691 4756 4909 4987 5102 5137 5248 5290 5386 5512 5599 5615 5693 5771 5849 5925 6023 6081 6201 6293 6377 a 60 144 219 301 378 454 512 610 695 769 808 947 1023 1064 1123 1233 1296 1412 1478 1545 1634 1687 1762 1844 1967 2022 2158 2235 2252 2334 2471 2556 2579 2680 2800 2868 2954 3029 3117 3193 3265 3350 3426 3471 3576 3621 3722 3799 3860 3926 4044 4126 4178 4283 4365 4437 4515 4590 4691 4756 4909 4987 5102 5137 5248 5290 5386 5512 5599 5615 5693 5771 5849 5925 6023 6081 6201 6293 6377 a 60 144 219 301 378 454 508 610 695 769 808 947 1023 1064 1123 1233 1296 1412 1478 1545 1634 1687 1762 1844 1967 2022 2158 2235 2252 2334 2471 2556 2579 2680 2800 2868 2954 3029 3117 3193 3265 3350 3426 3471 3576 3621 3722 3799 3860 3926 4044 4126 4178 4283 4365 4437 4515 4590 4691 4756 4909 4987 5102 5137 5248 5290 5386 5512 5599 5615 5693 5771 5849 5925 6023 6081 6201 6293 6377 a 60 144 219 301 378 454 508 610 695 769 808 947 1023 1064 1123 1233 1296 1412 1478 1545 1634 1687 1762 1844 1967 2022 2158 2235 2252 2334 2471 2556 2579 2680 2800 2868 2954 3029 3117 3265 3350 3426 3471 3576 3621 3722 3799 3860 3926 4044 4126 4178 4283 4365 4437 4515 4590 4691 4756 4873 4909 4987 5102 5137 5248 5290 5386 5512 5599 5615 5693 5771 5849 5925 6023 6081 6201 6293 6377 a 60 144 219 301 378 454 508 610 695 769 808 947 1023 1064 1123 1233 1296 1412 1478 1545 1634 1687 1762 1844 1967 2022 2158 2235 2252 2334 2471 2556 2579 2680 2800 2868 2954 3029 3117 3161 3265 3350 3426 3471 3576 3621 3722 3799 3860 3926 4044 4126 4178 4283 4365 4437 4515 4590 4691 4756 4873 4909 4987 5102 5137 5248 5290 5386 5512 5599 5615 5693 5771 5849 5925 6023 6081 6293 6377 a 60 144 219 301 378 454 508 610 695 769 808 947 1023 1064 1123 1233 1296 1412 1478 1545 1634 1687 1762 1844 1967 2022 2158 2235 2252 2334 2471 2556 2579 2680 2800 2868 2954 3029 3117 3161 3265 3350 3426 3471 3576 3621 3722 3799 3860 3926 4044 4126 4178 4283 4365 4437 4515 4590 4756 4873 4909 4987 5102 5137 5248 5290 5386 5512 5599 5615 5693 5771 5849 5925 6023 6081 6192 6293 6377 a 60 144 219 301 378 454 508 610 695 769 808 947 1023 1064 1123 1233 1296 1412 1478 1545 1634 1687 1762 1844 1967 2022 2158 2235 2252 2471 2556 2579 2680 2800 2868 2954 3029 3117 3161 3265 3350 3426 3471 3576 3621 3722 3799 3860 3926 4044 4126 4178 4283 4365 4437 4515 4590 4654 4756 4873 4909 4987 5102 5137 5248 5290 5386 5512 5599 5615 5693 5771 5849 5925 6023 6081 6192 6293 6377 a 60 144 219 301 378 454 508 610 695 769 808 947 1023 1064 1123 1233 1296 1412 1478 1545 1634 1687 1762 1844 1967 2022 2158 2235 2252 2471 2556 2579 2680 2800 2868 2954 3029 3117 3161 3265 3350 3426 3471 3576 3621 3722 3799 3860 3926 4044 4126 4178 4283 4365 4437 4515 4590 4654 4756 4873 4909 4987 5102 5137 5248 5331 5386 5512 5599 5615 5693 5771 5849 5925 6023 6081 6192 6293 6377 a 60 144 219 301 378 454 508 610 695 769 808 947 1023 1064 1123 1233 1296 1412 1545 1634 1687 1762 1844 1967 2022 2158 2235 2252 2358 2471 2556 2579 2680 2800 2868 2954 3029 3117 3161 3265 3350 3426 3471 3576 3621 3722 3799 3860 3926 4044 4126 4178 4283 4365 4437 4515 4590 4654 4756 4873 4909 4987 5102 5137 5248 5331 5386 5512 5599 5615 5693 5771 5849 5925 6023 6081 6192 6293 6377 a 60 144 219 301 378 454 508 610 695 769 808 947 1023 1064 1123 1233 1296 1412 1545 1634 1687 1762 1844 1967 2022 2158 2235 2252 2358 2471 2556 2579 2680 2800 2868 2954 3029 3117 3161 3265 3350 3426 3471 3576 3621 3690 3799 3860 3926 4044 4126 4178 4283 4365 4437 4515 4590 4654 4756 4873 4909 4987 5102 5137 5248 5331 5386 5512 5599 5615 5693 5771 5849 5925 6023 6081 6192 6293 6377 a 60 144 219 301 378 454 508 610 695 769 808 947 1023 1064 1123 1233 1296 1412 1463 1545 1634 1687 1762 1844 1967 2022 2158 2235 2252 2358 2471 2556 2579 2680 2800 2868 2954 3029 3117 3161 3265 3350 3426 3471 3576 3621 3690 3799 3860 3926 4044 4126 4178 4283 4365 4437 4515 4590 4654 4756 4873 4909 4987 5102 5137 5248 5331 5386 5512 5599 5615 5693 5771 5849 5925 6081 6192 6293 6377 a 60 144 219 301 378 454 508 610 695 769 808 947 1023 1064 1123 1233 1296 1412 1463 1545 1634 1687 1762 1844 1967 2022 2158 2235 2252 2358 2471 2556 2579 2680 2800 2868 2954 3029 3117 3161 3265 3350 3426 3471 3576 3621 3690 3799 3860 3926 4044 4178 4283 4365 4437 4515 4590 4654 4756 4873 4909 4987 5102 5137 5248 5331 5386 5512 5599 5615 5693 5771 5849 5925 6046 6081 6192 6293 6377 a 60 144 219 301 378 454 508 610 695 769 808 947 1023 1064 1123 1233 1296 1412 1463 1634 1687 1762 1844 1967 2022 2158 2235 2252 2358 2471 2556 2579 2680 2800 2868 2954 3029 3117 3161 3265 3350 3426 3471 3576 3621 3690 3799 3860 3926 4044 4105 4178 4283 4365 4437 4515 4590 4654 4756 4873 4909 4987 5102 5137 5248 5331 5386 5512 5599 5615 5693 5771 5849 5925 6046 6081 6192 6293 6377 a 60 144 219 301 378 454 508 610 695 769 808 947 1023 1064 1123 1233 1296 1412 1463 1547 1634 1687 1762 1844 1967 2022 2158 2235 2252 2358 2471 2556 2579 2680 2800 2868 2954 3029 3117 3161 3265 3350 3426 3471 3576 3621 3690 3799 3860 3926 4044 4105 4178 4283 4365 4437 4515 4590 4654 4756 4873 4909 5102 5137 5248 5331 5386 5512 5599 5615 5693 5771 5849 5925 6046 6081 6192 6293 6377 a 60 144 219 301 378 454 508 610 695 769 808 947 1023 1064 1123 1233 1296 1412 1463 1547 1634 1687 1762 1844 1967 2022 2158 2235 2252 2358 2471 2556 2579 2680 2800 2868 2954 3029 3117 3161 3265 3350 3426 3471 3576 3621 3690 3802 3860 3926 4044 4105 4178 4283 4365 4437 4515 4590 4654 4756 4873 4909 5102 5137 5248 5331 5386 5512 5599 5615 5693 5771 5849 5925 6046 6081 6192 6293 6377 a 60 144 219 301 454 508 610 695 769 808 947 1023 1064 1123 1233 1296 1412 1463 1547 1634 1687 1762 1844 1967 2022 2158 2235 2252 2358 2471 2556 2579 2680 2800 2868 2954 3029 3117 3161 3265 3350 3426 3471 3576 3621 3690 3802 3860 3926 4044 4105 4178 4283 4365 4437 4515 4590 4654 4756 4873 4909 5018 5102 5137 5248 5331 5386 5512 5599 5615 5693 5771 5849 5925 6046 6081 6192 6293 6377 a 60 144 219 301 360 454 508 610 695 769 808 947 1023 1064 1123 1233 1296 1412 1463 1547 1634 1687 1762 1844 1967 2022 2158 2235 2252 2358 2471 2556 2579 2800 2868 2954 3029 3117 3161 3265 3350 3426 3471 3576 3621 3690 3802 3860 3926 4044 4105 4178 4283 4365 4437 4515 4590 4654 4756 4873 4909 5018 5102 5137 5248 5331 5386 5512 5599 5615 5693 5771 5849 5925 6046 6081 6192 6293 6377 a 60 144 219 301 360 454 508 610 695 769 808 947 1023 1064 1123 1233 1296 1412 1463 1547 1634 1687 1762 1844 1967 2022 2158 2235 2252 2358 2471 2556 2579 2693 2800 2868 2954 3029 3117 3161 3265 3350 3426 3471 3576 3621 3690 3802 3860 3926 4044 4105 4178 4283 4365 4437 4515 4590 4654 4756 4873 4909 5018 5102 5137 5248 5331 5386 5512 5599 5615 5693 5771 5849 5925 6046 6081 6192 6377 a 60 144 219 301 360 454 508 610 695 769 808 947 1023 1064 1123 1233 1296 1412 1463 1547 1634 1687 1762 1844 1967 2022 2158 2235 2252 2358 2471 2556 2579 2693 2800 2868 2954 3029 3117 3161 3265 3350 3426 3471 3576 3621 3690 3802 3860 3926 4044 4105 4178 4283 4437 4515 4590 4654 4756 4873 4909 5018 5102 5137 5248 5331 5386 5512 5599 5615 5693 5771 5849 5925 6046 6081 6192 6285 6377 a 60 144 219 301 360 454 508 610 695 769 808 947 1023 1064 1123 1233 1296 1412 1463 1547 1634 1687 1762 1844 1967 2022 2158 2235 2252 2358 2471 2556 2579 2693 2800 2868 2954 3029 3117 3161 3265 3350 3426 3471 3576 3621 3690 3802 3860 3926 4044 4105 4178 4283 4393 4437 4515 4590 4654 4756 4909 5018 5102 5137 5248 5331 5386 5512 5599 5615 5693 5771 5849 5925 6046 6081 6192 6285 6377 a 60 144 219 301 360 454 508 610 695 769 808 947 1023 1064 1123 1233 1296 1412 1463 1547 1634 1687 1762 1844 1967 2022 2158 2235 2252 2358 2471 2556 2579 2693 2800 2868 2954 3029 3117 3161 3265 3350 3426 3471 3576 3621 3690 3802 3860 3926 4044 4105 4178 4283 4393 4437 4590 4654 4756 4839 4909 5018 5102 5137 5248 5331 5386 5512 5599 5615 5693 5771 5849 5925 6046 6081 6192 6285 6377 a 60 144 219 301 360 454 508 610 695 769 808 947 1023 1064 1123 1233 1296 1412 1475 1547 1634 1687 1762 1844 1967 2022 2158 2235 2252 2358 2471 2556 2579 2693 2800 2868 2954 3029 3117 3161 3265 3350 3426 3471 3576 3621 3690 3802 3860 3926 4044 4105 4178 4283 4393 4437 4590 4654 4756 4839 4909 5018 5102 5137 5248 5331 5386 5512 5599 5615 5693 5771 5849 5925 6046 6081 6192 6285 6377 a 60 144 219 301 360 454 508 610 695 769 808 947 1023 1064 1123 1233 1296 1412 1475 1547 1634 1687 1762 1844 1967 2022 2158 2235 2252 2358 2471 2556 2579 2693 2800 2868 2954 3029 3117 3161 3265 3350 3426 3471 3576 3621 3690 3802 3860 3926 4044 4105 4178 4283 4393 4437 4590 4654 4756 4839 4909 5018 5102 5137 5223 5331 5386 5512 5599 5615 5693 5771 5849 5925 6046 6081 6192 6285 6377 a 60 144 219 301 360 454 508 610 695 769 808 947 1023 1064 1123 1233 1296 1412 1475 1547 1634 1687 1762 1844 1967 2022 2158 2235 2252 2358 2471 2556 2579 2693 2800 2868 2954 3029 3117 3161 3265 3350 3426 3471 3576 3621 3690 3802 3860 3926 4044 4105 4178 4283 4393 4437 4497 4590 4654 4756 4839 4909 5018 5102 5223 5331 5386 5512 5599 5615 5693 5771 5849 5925 6046 6081 6192 6285 6377 a 60 144 219 301 360 454 508 610 695 769 808 947 1023 1064 1123 1296 1412 1475 1547 1634 1687 1762 1844 1967 2022 2158 2235 2252 2358 2471 2556 2579 2693 2800 2868 2954 3029 3117 3161 3265 3350 3426 3471 3576 3621 3690 3802 3860 3926 4044 4105 4178 4283 4393 4437 4497 4590 4654 4756 4839 4909 5018 5102 5153 5223 5331 5386 5512 5599 5615 5693 5771 5849 5925 6046 6081 6192 6285 6377 a 60 144 219 301 360 454 508 610 695 769 808 947 1023 1064 1123 1216 1412 1475 1547 1634 1687 1762 1844 1967 2022 2158 2235 2252 2358 2471 2556 2579 2693 2800 2868 2954 3029 3117 3161 3265 3350 3426 3471 3576 3621 3690 3802 3860 3926 4044 4105 4178 4283 4393 4437 4497 4590 4654 4756 4839 4909 5018 5102 5153 5223 5331 5386 5512 5599 5615 5693 5771 5849 5925 6046 6081 6192 6285 6377 a 60 144 219 301 360 454 508 610 695 769 808 947 1023 1064 1123 1216 1299 1412 1475 1547 1634 1687 1762 1844 1967 2022 2158 2235 2252 2358 2471 2556 2693 2800 2868 2954 3029 3117 3161 3265 3350 3426 3471 3576 3621 3690 3802 3860 3926 4044 4105 4178 4283 4393 4437 4497 4590 4654 4756 4839 4909 5018 5102 5153 5223 5331 5386 5512 5599 5615 5693 5771 5849 5925 6046 6081 6192 6285 6377 a 60 144 219 301 360 454 508 610 695 769 808 947 1023 1064 1123 1216 1299 1412 1475 1547 1634 1687 1762 1844 1967 2022 2158 2235 2252 2358 2471 2556 2608 2693 2800 2868 2954 3029 3117 3265 3350 3426 3471 3576 3621 3690 3802 3860 3926 4044 4105 4178 4283 4393 4437 4497 4590 4654 4756 4839 4909 5018 5102 5153 5223 5331 5386 5512 5599 5615 5693 5771 5849 5925 6046 6081 6192 6285 6377 a 60 144 219 301 360 454 508 610 695 769 808 947 1023 1064 1123 1216 1299 1412 1475 1547 1634 1687 1762 1844 1967 2022 2158 2235 2252 2358 2471 2556 2608 2693 2800 2868 2954 3029 3117 3193 3265 3350 3426 3471 3576 3621 3690 3802 3860 3926 4044 4105 4178 4283 4437 4497 4590 4654 4756 4839 4909 5018 5102 5153 5223 5331 5386 5512 5599 5615 5693 5771 5849 5925 6046 6081 6192 6285 6377 a 60 144 219 301 360 454 508 610 695 769 808 947 1023 1064 1123 1216 1299 1412 1475 1547 1634 1687 1762 1844 1967 2022 2158 2235 2252 2358 2471 2556 2608 2693 2800 2868 2954 3029 3117 3193 3265 3350 3426 3471 3576 3621 3690 3802 3860 3926 4044 4105 4178 4283 4361 4437 4497 4590 4654 4839 4909 5018 5102 5153 5223 5331 5386 5512 5599 5615 5693 5771 5849 5925 6046 6081 6192 6285 6377 a 60 144 219 301 360 454 508 610 695 769 808 947 1023 1064 1123 1236 1299 1412 1475 1547 1634 1687 1762 1844 1967 2022 2158 2235 2252 2358 2471 2556 2608 2693 2800 2868 2954 3029 3117 3193 3265 3350 3426 3471 3576 3621 3690 3802 3860 3926 4044 4105 4178 4283 4361 4437 4497 4590 4654 4839 4909 5018 5102 5153 5223 5331 5386 5512 5599 5615 5693 5771 5849 5925 6046 6081 6192 6285 6377 a 60 144 219 301 360 454 508 610 695 769 808 947 1023 1064 1123 1236 1296 1412 1475 1547 1634 1687 1762 1844 1967 2022 2158 2235 2252 2358 2471 2556 2608 2693 2800 2868 2954 3029 3117 3193 3265 3350 3426 3471 3576 3621 3690 3802 3860 3926 4044 4105 4178 4283 4361 4437 4497 4590 4654 4839 4909 5018 5102 5153 5223 5331 5386 5512 5599 5615 5693 5771 5849 5925 6046 6081 6192 6285 6377 a 60 144 219 301 360 454 508 610 695 769 808 947 1023 1064 1123 1236 1296 1412 1475 1547 1634 1687 1762 1844 1967 2158 2235 2252 2358 2471 2556 2608 2693 2800 2868 2954 3029 3117 3193 3265 3350 3426 3471 3576 3621 3690 3802 3860 3926 4044 4105 4178 4283 4361 4437 4497 4590 4654 4742 4839 4909 5018 5102 5153 5223 5331 5386 5512 5599 5615 5693 5771 5849 5925 6046 6081 6192 6285 6377 a 60 144 219 301 360 454 508 610 695 769 808 947 1023 1064 1123 1236 1296 1412 1475 1634 1687 1762 1844 1967 2027 2158 2235 2252 2358 2471 2556 2608 2693 2800 2868 2954 3029 3117 3193 3265 3350 3426 3471 3576 3621 3690 3802 3860 3926 4044 4105 4178 4283 4361 4437 4497 4590 4654 4742 4839 4909 5018 5102 5153 5223 5331 5386 5512 5599 5615 5693 5771 5849 5925 6046 6081 6192 6285 6377 a 60 144 219 301 360 454 508 610 695 769 808 947 1023 1064 1123 1236 1296 1412 1475 1634 1687 1762 1844 1967 2027 2158 2235 2259 2358 2471 2556 2608 2693 2800 2868 2954 3029 3117 3193 3265 3350 3426 3471 3576 3621 3690 3802 3860 3926 4044 4105 4178 4283 4361 4437 4497 4590 4654 4742 4839 4909 5018 5102 5153 5223 5331 5386 5512 5599 5615 5693 5771 5849 5925 6046 6081 6192 6285 6377 a 60 144 219 301 360 454 508 610 695 769 808 947 1023 1064 1123 1236 1296 1412 1475 1532 1634 1687 1762 1844 1967 2027 2158 2235 2259 2358 2471 2556 2608 2693 2800 2868 2954 3029 3117 3193 3265 3350 3426 3471 3576 3621 3690 3860 3926 4044 4105 4178 4283 4361 4437 4497 4590 4654 4742 4839 4909 5018 5102 5153 5223 5331 5386 5512 5599 5615 5693 5771 5849 5925 6046 6081 6192 6285 6377 a 60 144 219 301 360 454 508 610 695 769 808 947 1023 1064 1123 1236 1296 1412 1475 1532 1634 1687 1762 1844 1967 2027 2158 2235 2259 2358 2471 2556 2608 2693 2800 2868 2954 3029 3117 3193 3265 3350 3426 3471 3576 3621 3690 3804 3860 3926 4105 4178 4283 4361 4437 4497 4590 4654 4742 4839 4909 5018 5102 5153 5223 5331 5386 5512 5599 5615 5693 5771 5849 5925 6046 6081 6192 6285 6377 a 60 144 219 301 360 454 508 610 695 769 808 947 1023 1064 1123 1236 1296 1412 1475 1532 1634 1687 1762 1844 1967 2027 2158 2235 2259 2358 2471 2556 2608 2693 2800 2868 2954 3029 3117 3193 3265 3350 3426 3471 3576 3621 3690 3804 3860 3926 4042 4105 4178 4283 4361 4497 4590 4654 4742 4839 4909 5018 5102 5153 5223 5331 5386 5512 5599 5615 5693 5771 5849 5925 6046 6081 6192 6285 6377 a 60 144 219 301 360 454 508 610 695 769 808 947 1023 1064 1123 1236 1296 1412 1475 1532 1634 1687 1762 1844 1967 2027 2158 2235 2259 2358 2471 2556 2608 2693 2800 2868 2954 3029 3117 3193 3265 3350 3426 3471 3576 3621 3690 3804 3860 3926 4042 4105 4178 4283 4361 4439 4497 4590 4654 4742 4909 5018 5102 5153 5223 5331 5386 5512 5599 5615 5693 5771 5849 5925 6046 6081 6192 6285 6377 a 60 144 219 301 360 454 508 610 695 769 808 947 1023 1064 1123 1236 1296 1412 1475 1532 1634 1687 1762 1844 1967 2027 2158 2235 2259 2358 2471 2556 2608 2693 2800 2868 2954 3029 3117 3193 3265 3350 3426 3471 3576 3621 3690 3804 3860 3926 4042 4105 4178 4283 4361 4439 4497 4590 4654 4742 4909 4997 5102 5153 5223 5331 5386 5512 5599 5615 5693 5771 5849 5925 6046 6081 6192 6285 6377 a 60 144 219 301 378 454 508 610 695 769 808 947 1023 1064 1123 1236 1296 1412 1475 1532 1634 1687 1762 1844 1967 2027 2158 2235 2259 2358 2471 2556 2608 2693 2800 2868 2954 3029 3117 3193 3265 3350 3426 3471 3576 3621 3690 3804 3860 3926 4042 4105 4178 4283 4361 4439 4497 4590 4654 4742 4909 4997 5102 5153 5223 5331 5386 5512 5599 5615 5693 5771 5849 5925 6046 6081 6192 6285 6377 a 60 144 219 301 378 454 508 610 695 769 808 947 1023 1064 1123 1236 1296 1412 1475 1532 1634 1687 1762 1844 1967 2027 2158 2235 2259 2358 2471 2556 2608 2693 2800 2868 2954 3029 3117 3193 3265 3350 3426 3471 3576 3621 3690 3804 3860 3926 4042 4105 4178 4283 4361 4439 4497 4590 4680 4742 4909 4997 5102 5153 5223 5331 5386 5512 5599 5615 5693 5771 5849 5925 6046 6081 6192 6285 6377 a 60 144 219 301 378 454 508 610 695 769 808 947 1023 1064 1123 1236 1296 1412 1475 1634 1687 1762 1844 1967 2027 2158 2235 2259 2358 2471 2556 2608 2693 2800 2868 2954 3029 3117 3193 3265 3350 3426 3471 3576 3621 3690 3804 3860 3926 4042 4105 4178 4283 4361 4439 4497 4590 4680 4742 4812 4909 4997 5102 5153 5223 5331 5386 5512 5599 5615 5693 5771 5849 5925 6046 6081 6192 6285 6377 a 60 144 219 301 378 454 508 610 695 769 808 947 1023 1064 1123 1236 1296 1412 1475 1534 1634 1687 1762 1844 1967 2027 2158 2235 2259 2471 2556 2608 2693 2800 2868 2954 3029 3117 3193 3265 3350 3426 3471 3576 3621 3690 3804 3860 3926 4042 4105 4178 4283 4361 4439 4497 4590 4680 4742 4812 4909 4997 5102 5153 5223 5331 5386 5512 5599 5615 5693 5771 5849 5925 6046 6081 6192 6285 6377 Command being timed: "/solvers/driver/run.py --config=shortest-portfolio --memory-limit=54 --time-limit=1800 /benchmark/2022benchmark/benchmark/queen/queen080x080.col /benchmark/2022benchmark/benchmark/queen/queen080x080_03_0355.dat" User time (seconds): 3474.57 System time (seconds): 8.81 Percent of CPU this job got: 200% Elapsed (wall clock) time (h:mm:ss or m:ss): 29:00.94 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): 2938780 Average resident set size (kbytes): 0 Major (requiring I/O) page faults: 0 Minor (reclaiming a frame) page faults: 2772251 Voluntary context switches: 68428 Involuntary context switches: 14068 Swaps: 0 File system inputs: 0 File system outputs: 25960 Socket messages sent: 0 Socket messages received: 0 Signals delivered: 0 Page size (bytes): 4096 Exit status: 0 #END: [Sat Sep 9 11:14:15 2023]