#BEGIN: [Sat Sep 9 01:52:56 2023] #HOST: s04 #TIMELIMIT: 1800 #MEMLIMIT: 0 #SOLVER: shortest-wallclock-ai-planning2-shortest1 #INSTANCE1: /benchmark/2022benchmark/benchmark/queen/queen080x080.col #INSTANCE2: /benchmark/2022benchmark/benchmark/queen/queen080x080_04_4954.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-single --memory-limit=54 --time-limit=1800 /benchmark/2022benchmark/benchmark/queen/queen080x080.col /benchmark/2022benchmark/benchmark/queen/queen080x080_04_4954.dat s 2471 3621 6377 505 5102 60 144 2954 1076 2693 1762 695 2235 2158 3576 1687 5290 5512 610 947 6081 4600 1475 4812 3426 3193 2362 1534 1412 5386 5154 219 2268 3860 1844 2800 2030 5227 6291 5693 1128 6046 1023 3029 4283 3471 819 3804 4909 3117 2868 378 1937 2608 6201 769 3686 3350 3944 2556 4518 4742 4178 4677 3265 4039 454 5925 1623 301 5615 4096 1233 4432 5771 5007 4365 5849 5599 t 3926 2608 4439 2556 4680 3860 1634 4909 508 144 1064 1967 4742 4283 6046 695 3690 1687 4042 3804 4105 5615 2868 5849 2158 5693 4997 2259 1023 2800 3029 454 6192 3426 4497 2954 3576 1236 3265 378 4812 1844 219 1475 2027 610 2693 4178 5771 3621 6285 3117 5223 4361 1762 2358 5512 5331 2471 2235 301 5386 3471 5102 3350 5153 1412 1123 1534 947 4590 6377 5599 3193 769 1296 808 6081 60 a YES a 60 144 219 301 378 454 505 610 695 769 819 947 1023 1076 1128 1233 1412 1475 1534 1623 1687 1762 1844 1937 2030 2158 2235 2268 2362 2471 2556 2608 2693 2800 2868 2954 3029 3117 3193 3265 3350 3426 3471 3576 3621 3686 3804 3860 3944 4039 4096 4178 4283 4365 4432 4518 4600 4677 4742 4812 4909 5007 5102 5154 5227 5290 5386 5512 5599 5615 5693 5771 5849 5925 6046 6081 6201 6291 6377 a 60 144 219 301 378 454 610 695 769 819 947 1023 1076 1128 1233 1283 1412 1475 1534 1623 1687 1762 1844 1937 2030 2158 2235 2268 2362 2471 2556 2608 2693 2800 2868 2954 3029 3117 3193 3265 3350 3426 3471 3576 3621 3686 3804 3860 3944 4039 4096 4178 4283 4365 4432 4518 4600 4677 4742 4812 4909 5007 5102 5154 5227 5290 5386 5512 5599 5615 5693 5771 5849 5925 6046 6081 6201 6291 6377 a 60 144 219 301 378 454 508 610 695 769 819 947 1023 1076 1128 1233 1283 1412 1475 1534 1623 1687 1762 1844 1937 2030 2158 2235 2362 2471 2556 2608 2693 2800 2868 2954 3029 3117 3193 3265 3350 3426 3471 3576 3621 3686 3804 3860 3944 4039 4096 4178 4283 4365 4432 4518 4600 4677 4742 4812 4909 5007 5102 5154 5227 5290 5386 5512 5599 5615 5693 5771 5849 5925 6046 6081 6201 6291 6377 a 60 144 219 301 378 454 508 610 695 769 825 947 1023 1076 1128 1233 1283 1412 1475 1534 1623 1687 1762 1844 1937 2030 2158 2235 2362 2471 2556 2608 2693 2800 2868 2954 3029 3117 3193 3265 3350 3426 3471 3576 3621 3686 3804 3860 3944 4039 4096 4178 4283 4365 4432 4518 4600 4677 4742 4812 4909 5007 5102 5154 5227 5290 5386 5512 5599 5615 5693 5771 5849 5925 6046 6081 6201 6291 6377 a 60 144 219 301 378 454 508 610 695 769 825 947 1023 1076 1128 1233 1283 1412 1475 1534 1623 1687 1762 1844 1937 2030 2158 2235 2259 2362 2471 2556 2608 2693 2800 2868 2954 3029 3117 3193 3265 3350 3426 3471 3576 3621 3686 3804 3860 3944 4039 4096 4178 4283 4432 4518 4600 4677 4742 4812 4909 5007 5102 5154 5227 5290 5386 5512 5599 5615 5693 5771 5849 5925 6046 6081 6201 6291 6377 a 60 144 219 301 378 454 508 610 695 769 825 947 1023 1076 1128 1233 1283 1412 1475 1534 1623 1687 1762 1844 1937 2030 2158 2235 2259 2362 2471 2556 2608 2693 2800 2868 2954 3029 3117 3193 3265 3350 3426 3471 3576 3621 3686 3804 3860 3944 4039 4096 4178 4283 4432 4518 4600 4677 4742 4812 4909 5007 5102 5154 5227 5290 5386 5512 5599 5615 5693 5771 5849 5925 6046 6081 6201 6285 6377 a 60 144 219 301 378 454 508 610 695 769 825 947 1023 1076 1128 1233 1283 1412 1475 1534 1623 1687 1762 1844 1937 2030 2158 2235 2259 2362 2471 2556 2608 2693 2800 2868 2954 3029 3117 3193 3265 3350 3426 3471 3576 3621 3686 3804 3860 3944 4039 4096 4178 4283 4432 4518 4600 4677 4742 4812 4909 5007 5102 5154 5227 5290 5386 5512 5599 5615 5693 5771 5849 5925 6046 6081 6211 6285 6377 a 60 144 219 301 378 454 508 610 695 769 825 947 1023 1081 1128 1233 1283 1412 1475 1534 1623 1687 1762 1844 1937 2030 2158 2235 2259 2362 2471 2556 2608 2693 2800 2868 2954 3029 3117 3193 3265 3350 3426 3471 3576 3621 3686 3804 3860 3944 4039 4096 4178 4283 4432 4518 4600 4677 4742 4812 4909 5007 5102 5154 5227 5290 5386 5512 5599 5615 5693 5771 5849 5925 6046 6081 6211 6285 6377 a 60 144 219 301 378 454 508 610 695 769 825 947 1023 1081 1128 1236 1283 1412 1475 1534 1623 1687 1762 1844 1937 2030 2158 2235 2259 2362 2471 2556 2608 2693 2800 2868 2954 3029 3117 3193 3265 3350 3426 3471 3576 3621 3686 3804 3860 3944 4039 4096 4178 4283 4432 4518 4600 4677 4742 4812 4909 5007 5102 5154 5227 5290 5386 5512 5599 5615 5693 5771 5849 5925 6046 6081 6211 6285 6377 a 60 144 219 301 378 454 508 593 695 769 825 947 1023 1081 1128 1236 1283 1412 1475 1534 1623 1687 1762 1844 1937 2030 2158 2235 2259 2362 2471 2556 2608 2693 2800 2868 2954 3029 3117 3193 3265 3350 3426 3471 3576 3621 3686 3804 3860 3944 4039 4096 4178 4283 4432 4518 4600 4677 4742 4812 4909 5007 5102 5154 5227 5290 5386 5512 5599 5615 5693 5771 5849 5925 6046 6081 6211 6285 6377 a 60 144 219 301 378 454 508 593 695 769 825 947 1023 1081 1128 1236 1283 1412 1475 1534 1623 1687 1762 1844 1937 2030 2158 2235 2259 2362 2471 2556 2608 2693 2800 2868 2954 3029 3117 3193 3265 3350 3426 3471 3576 3621 3686 3804 3860 3944 4039 4096 4178 4283 4432 4518 4600 4677 4742 4812 4909 5007 5102 5154 5227 5330 5386 5512 5599 5615 5693 5771 5849 5925 6046 6081 6211 6285 6377 a 60 144 219 301 378 454 508 593 695 769 825 947 1023 1081 1128 1236 1283 1412 1475 1534 1623 1687 1762 1844 1937 2030 2158 2235 2259 2362 2471 2556 2608 2693 2800 2868 2954 3029 3117 3193 3265 3350 3426 3471 3576 3621 3690 3804 3860 3944 4039 4096 4178 4283 4432 4518 4600 4677 4742 4812 4909 5007 5102 5154 5227 5330 5386 5512 5599 5615 5693 5771 5849 5925 6046 6081 6211 6285 6377 a 60 144 219 301 378 454 508 593 695 769 825 947 1023 1081 1128 1236 1283 1412 1475 1534 1623 1687 1762 1844 1937 2030 2158 2235 2259 2362 2471 2556 2608 2693 2800 2868 2954 3029 3117 3193 3265 3350 3426 3471 3576 3621 3690 3804 3860 3944 4039 4086 4178 4283 4432 4518 4600 4677 4742 4812 4909 5007 5102 5154 5227 5330 5386 5512 5599 5615 5693 5771 5849 5925 6046 6081 6211 6285 6377 a 60 144 219 301 378 454 508 593 695 769 825 947 1023 1081 1128 1236 1283 1412 1475 1534 1616 1687 1762 1844 1937 2030 2158 2235 2259 2362 2471 2556 2608 2693 2800 2868 2954 3029 3117 3193 3265 3350 3426 3471 3576 3621 3690 3804 3860 3944 4039 4086 4178 4283 4432 4518 4600 4677 4742 4812 4909 5007 5102 5154 5227 5330 5386 5512 5599 5615 5693 5771 5849 5925 6046 6081 6211 6285 6377 a 60 144 219 301 378 454 508 593 695 769 825 947 1023 1081 1128 1236 1283 1412 1475 1534 1616 1687 1762 1844 1937 2030 2158 2235 2259 2362 2471 2556 2608 2693 2800 2868 2954 3029 3117 3193 3265 3350 3426 3471 3576 3621 3690 3804 3860 3944 4039 4086 4178 4283 4432 4518 4600 4677 4742 4812 4909 5007 5102 5154 5223 5330 5386 5512 5599 5615 5693 5771 5849 5925 6046 6081 6211 6285 6377 a 60 144 219 301 378 454 508 593 695 769 825 947 1023 1081 1128 1236 1283 1412 1475 1534 1616 1687 1762 1844 1937 2027 2158 2235 2259 2362 2471 2556 2608 2693 2800 2868 2954 3029 3117 3193 3265 3350 3426 3471 3576 3621 3690 3804 3860 3944 4039 4086 4178 4283 4432 4518 4600 4677 4742 4812 4909 5007 5102 5154 5223 5330 5386 5512 5599 5615 5693 5771 5849 5925 6046 6081 6211 6285 6377 a 60 144 219 301 378 454 508 593 695 769 825 947 1023 1081 1128 1236 1310 1412 1475 1534 1616 1687 1762 1844 1937 2027 2158 2235 2259 2362 2471 2556 2608 2693 2800 2868 2954 3029 3117 3193 3265 3350 3426 3471 3576 3621 3690 3804 3860 3944 4039 4086 4178 4283 4432 4518 4600 4677 4742 4812 4909 5007 5102 5154 5223 5330 5386 5512 5599 5615 5693 5771 5849 5925 6046 6081 6211 6285 6377 a 60 144 219 301 378 454 508 593 695 769 825 947 1023 1081 1128 1236 1310 1412 1475 1534 1616 1687 1762 1844 1937 2027 2158 2235 2259 2362 2471 2556 2608 2693 2800 2868 2954 3029 3117 3193 3265 3350 3426 3471 3576 3621 3690 3804 3860 3944 4039 4178 4283 4323 4432 4518 4600 4677 4742 4812 4909 5007 5102 5154 5223 5330 5386 5512 5599 5615 5693 5771 5849 5925 6046 6081 6211 6285 6377 a 60 144 219 301 378 454 508 593 695 769 825 947 1023 1081 1128 1236 1310 1412 1475 1534 1616 1687 1762 1844 1937 2027 2158 2235 2259 2362 2471 2556 2608 2693 2800 2868 2954 3029 3117 3193 3265 3350 3426 3471 3576 3621 3690 3804 3860 3926 4039 4178 4283 4323 4432 4518 4600 4677 4742 4812 4909 5007 5102 5154 5223 5330 5386 5512 5599 5615 5693 5771 5849 5925 6046 6081 6211 6285 6377 a 60 144 219 301 378 454 508 593 695 769 825 947 1023 1081 1128 1236 1310 1412 1475 1534 1616 1687 1762 1844 1944 2027 2158 2235 2259 2362 2471 2556 2608 2693 2800 2868 2954 3029 3117 3193 3265 3350 3426 3471 3576 3621 3690 3804 3860 3926 4039 4178 4283 4323 4432 4518 4600 4677 4742 4812 4909 5007 5102 5154 5223 5330 5386 5512 5599 5615 5693 5771 5849 5925 6046 6081 6211 6285 6377 a 60 144 219 301 378 454 508 593 695 769 825 947 1023 1081 1128 1236 1310 1412 1475 1534 1616 1687 1762 1844 1944 2027 2158 2235 2259 2362 2471 2556 2608 2693 2800 2868 2954 3029 3117 3193 3265 3350 3426 3471 3576 3621 3690 3804 3860 3926 4039 4178 4283 4323 4432 4497 4600 4677 4742 4812 4909 5007 5102 5154 5223 5330 5386 5512 5599 5615 5693 5771 5849 5925 6046 6081 6211 6285 6377 a 60 144 219 301 378 454 508 593 695 769 825 947 1023 1081 1128 1236 1310 1412 1475 1534 1616 1687 1762 1844 1944 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 4039 4178 4283 4323 4432 4497 4600 4677 4742 4812 4909 5007 5102 5154 5223 5330 5386 5512 5599 5615 5693 5771 5849 5925 6046 6081 6211 6285 6377 a 60 144 219 301 378 454 508 593 695 769 825 947 1023 1081 1128 1236 1310 1412 1475 1534 1616 1687 1762 1844 1944 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 4178 4283 4323 4432 4497 4600 4677 4742 4812 4909 5007 5102 5154 5223 5330 5386 5512 5599 5615 5693 5771 5849 5925 6046 6081 6211 6285 6377 a 60 144 199 301 378 454 508 593 695 769 825 947 1023 1081 1128 1236 1310 1412 1475 1534 1616 1687 1762 1844 1944 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 4178 4283 4323 4432 4497 4600 4677 4742 4812 4909 5007 5102 5154 5223 5330 5386 5512 5599 5615 5693 5771 5849 5925 6046 6081 6211 6285 6377 a 60 144 199 301 378 454 508 593 695 769 825 947 1023 1081 1128 1236 1310 1412 1475 1534 1616 1687 1762 1844 1944 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 4178 4283 4323 4432 4497 4600 4699 4742 4812 4909 5007 5102 5154 5223 5330 5386 5512 5599 5615 5693 5771 5849 5925 6046 6081 6211 6285 6377 a 60 144 199 301 378 454 508 593 695 769 825 947 1023 1081 1128 1236 1310 1412 1475 1534 1616 1687 1762 1844 1944 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 4178 4283 4323 4432 4497 4600 4699 4742 4812 4909 4997 5102 5154 5223 5330 5386 5512 5599 5615 5693 5771 5849 5925 6046 6081 6211 6285 6377 a 60 144 199 301 378 454 508 593 695 769 825 947 1023 1081 1128 1236 1310 1412 1475 1534 1616 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 4178 4283 4323 4432 4497 4600 4699 4742 4812 4909 4997 5102 5154 5223 5330 5386 5512 5599 5615 5693 5771 5849 5925 6046 6081 6211 6285 6377 a 60 144 199 301 378 454 508 593 695 769 825 947 1023 1064 1128 1236 1310 1412 1475 1534 1616 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 4178 4283 4323 4432 4497 4600 4699 4742 4812 4909 4997 5102 5154 5223 5330 5386 5512 5599 5615 5693 5771 5849 5925 6046 6081 6211 6285 6377 a 60 144 199 301 378 454 508 593 695 769 825 947 1023 1064 1128 1236 1310 1412 1475 1534 1616 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 4178 4283 4361 4432 4497 4600 4699 4742 4812 4909 4997 5102 5154 5223 5330 5386 5512 5599 5615 5693 5771 5849 5925 6046 6081 6211 6285 6377 a 60 144 199 301 378 454 508 593 695 769 825 947 1023 1064 1123 1236 1310 1412 1475 1534 1616 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 4178 4283 4361 4432 4497 4600 4699 4742 4812 4909 4997 5102 5154 5223 5330 5386 5512 5599 5615 5693 5771 5849 5925 6046 6081 6211 6285 6377 a 60 144 199 301 378 454 508 593 695 769 808 947 1023 1064 1123 1236 1310 1412 1475 1534 1616 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 4178 4283 4361 4432 4497 4600 4699 4742 4812 4909 4997 5102 5154 5223 5330 5386 5512 5599 5615 5693 5771 5849 5925 6046 6081 6211 6285 6377 a 60 144 199 301 378 454 508 593 695 769 808 947 1023 1064 1123 1236 1310 1412 1475 1534 1616 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 4432 4497 4600 4699 4742 4812 4909 4997 5102 5154 5223 5330 5386 5512 5599 5615 5693 5771 5849 5925 6046 6081 6285 6377 a 60 144 199 301 378 454 508 593 695 769 808 947 1023 1064 1123 1236 1310 1412 1475 1534 1616 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 4600 4699 4742 4812 4909 4997 5102 5154 5223 5330 5386 5512 5599 5615 5693 5771 5849 5925 6046 6081 6192 6285 6377 a 60 144 199 301 454 508 593 695 769 808 947 1023 1064 1123 1236 1310 1412 1475 1534 1616 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 4458 4497 4600 4699 4742 4812 4909 4997 5102 5154 5223 5330 5386 5512 5599 5615 5693 5771 5849 5925 6046 6081 6192 6285 6377 a 60 144 199 301 360 454 508 593 695 769 808 947 1023 1064 1123 1236 1310 1412 1475 1534 1616 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 4458 4497 4699 4742 4812 4909 4997 5102 5154 5223 5330 5386 5512 5599 5615 5693 5771 5849 5925 6046 6081 6192 6285 6377 a 60 144 199 301 360 454 508 593 695 769 808 947 1023 1064 1123 1236 1412 1475 1534 1616 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 4458 4497 4590 4699 4742 4812 4909 4997 5102 5154 5223 5330 5386 5512 5599 5615 5693 5771 5849 5925 6046 6081 6192 6285 6377 a 60 144 199 301 360 454 508 593 695 769 808 947 1023 1064 1123 1236 1296 1412 1475 1534 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 4458 4497 4590 4699 4742 4812 4909 4997 5102 5154 5223 5330 5386 5512 5599 5615 5693 5771 5849 5925 6046 6081 6192 6285 6377 a 60 144 199 301 360 454 508 593 695 769 808 947 1023 1064 1123 1236 1296 1412 1475 1534 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 4458 4497 4590 4699 4742 4812 4909 4997 5102 5223 5330 5386 5512 5599 5615 5693 5771 5849 5925 6046 6081 6192 6285 6377 a 60 144 199 301 360 454 508 695 769 808 947 1023 1064 1123 1236 1296 1412 1475 1534 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 4458 4497 4590 4699 4742 4812 4909 4997 5102 5153 5223 5330 5386 5512 5599 5615 5693 5771 5849 5925 6046 6081 6192 6285 6377 a 60 144 199 301 360 454 508 610 695 769 808 947 1023 1064 1123 1236 1296 1412 1475 1534 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 4458 4497 4590 4699 4742 4812 4909 4997 5102 5153 5223 5386 5512 5599 5615 5693 5771 5849 5925 6046 6081 6192 6285 6377 a 60 144 199 301 360 454 508 610 695 769 808 947 1023 1064 1123 1236 1296 1412 1475 1534 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 4458 4497 4590 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 360 454 508 610 695 769 808 947 1023 1064 1123 1236 1296 1412 1475 1534 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 4458 4497 4590 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 454 508 610 695 769 808 947 1023 1064 1123 1236 1296 1412 1475 1534 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 4458 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 454 508 610 695 769 808 947 1023 1064 1123 1236 1296 1412 1475 1534 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 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 6046 6081 6192 6285 6377 Command being timed: "/solvers/driver/run.py --config=shortest-single --memory-limit=54 --time-limit=1800 /benchmark/2022benchmark/benchmark/queen/queen080x080.col /benchmark/2022benchmark/benchmark/queen/queen080x080_04_4954.dat" User time (seconds): 1740.27 System time (seconds): 1.53 Percent of CPU this job got: 99% Elapsed (wall clock) time (h:mm:ss or m:ss): 29:01.96 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): 3122336 Average resident set size (kbytes): 0 Major (requiring I/O) page faults: 0 Minor (reclaiming a frame) page faults: 884808 Voluntary context switches: 29 Involuntary context switches: 10795 Swaps: 0 File system inputs: 0 File system outputs: 25656 Socket messages sent: 0 Socket messages received: 0 Signals delivered: 0 Page size (bytes): 4096 Exit status: 0 #END: [Sat Sep 9 02:21:58 2023]