#BEGIN: [Fri Sep 8 03:23:54 2023] #HOST: s14 #TIMELIMIT: 1800 #MEMLIMIT: 0 #SOLVER: existent-wallclock-ai-planning2-existent2 #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=existent-portfolio --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 273 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 273 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 4461 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 273 378 454 508 610 695 769 825 947 1023 1081 1152 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 4461 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 273 378 454 508 610 695 769 825 947 1023 1081 1152 1236 1283 1412 1475 1534 1623 1687 1762 1844 1928 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 4461 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 273 378 454 508 610 695 769 825 947 1023 1081 1152 1236 1283 1412 1475 1534 1623 1687 1762 1844 1928 2017 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 4461 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 273 378 454 508 610 695 769 825 947 1023 1081 1152 1236 1283 1412 1475 1534 1623 1687 1762 1844 1928 2017 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 4461 4518 4590 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 273 378 454 508 610 695 769 825 947 1023 1081 1152 1236 1283 1412 1475 1534 1623 1687 1762 1844 1928 2017 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 4330 4461 4518 4590 4677 4742 4812 4909 5007 5102 5154 5227 5386 5512 5599 5615 5693 5771 5849 5925 6046 6081 6211 6285 6377 a 144 219 273 378 454 508 610 695 769 825 947 1023 1081 1152 1236 1283 1412 1475 1534 1623 1687 1762 1844 1928 2017 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 4330 4461 4518 4590 4677 4742 4812 4909 5007 5102 5154 5227 5340 5386 5512 5599 5615 5693 5771 5849 5925 6046 6081 6211 6285 6377 a 23 144 219 273 378 454 508 610 695 769 825 947 1023 1081 1152 1236 1283 1412 1475 1534 1687 1762 1844 1928 2017 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 4330 4461 4518 4590 4677 4742 4812 4909 5007 5102 5154 5227 5340 5386 5512 5599 5615 5693 5771 5849 5925 6046 6081 6211 6285 6377 a 23 144 219 280 378 454 508 610 695 769 825 947 1023 1081 1152 1236 1283 1412 1475 1534 1687 1762 1844 1928 2017 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 4330 4461 4518 4590 4677 4742 4812 4909 5007 5102 5154 5227 5340 5386 5512 5599 5615 5693 5771 5849 5925 6046 6081 6211 6285 6377 a 23 144 219 280 378 454 508 610 695 769 825 947 1023 1081 1152 1236 1283 1412 1475 1534 1687 1762 1844 1928 2017 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 4330 4461 4518 4590 4677 4742 4812 4909 5007 5102 5153 5227 5340 5386 5512 5599 5615 5693 5771 5849 5925 6046 6081 6211 6285 6377 a 23 144 219 280 378 454 508 610 695 769 825 947 1023 1081 1152 1236 1283 1412 1475 1534 1616 1687 1762 1844 1928 2017 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 4178 4283 4330 4461 4518 4590 4677 4742 4812 4909 5007 5102 5153 5227 5340 5386 5512 5599 5615 5693 5771 5849 5925 6046 6081 6211 6285 6377 a 23 144 219 280 378 454 508 610 695 769 825 947 1023 1081 1152 1236 1283 1412 1475 1534 1616 1687 1762 1844 1928 2017 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 4085 4178 4283 4330 4461 4518 4590 4677 4742 4812 4909 5007 5102 5153 5227 5340 5386 5512 5599 5615 5693 5771 5849 6046 6081 6211 6285 6377 a 23 144 219 280 378 454 508 610 695 769 825 947 1023 1081 1152 1236 1283 1412 1475 1534 1616 1687 1762 1844 1928 2017 2158 2235 2259 2362 2471 2556 2608 2693 2800 2868 2954 3029 3117 3193 3265 3350 3426 3471 3576 3621 3686 3804 3860 4039 4085 4178 4283 4330 4461 4518 4590 4677 4742 4812 4909 5007 5102 5153 5227 5340 5386 5512 5599 5615 5693 5771 5849 5944 6046 6081 6211 6285 6377 a 23 144 219 280 378 454 508 610 695 769 825 947 1023 1081 1152 1236 1283 1412 1475 1534 1616 1687 1762 1844 1928 2017 2158 2235 2259 2362 2471 2556 2608 2693 2800 2868 2954 3029 3117 3193 3265 3350 3426 3471 3576 3621 3804 3860 3926 4039 4085 4178 4283 4330 4461 4518 4590 4677 4742 4812 4909 5007 5102 5153 5227 5340 5386 5512 5599 5615 5693 5771 5849 5944 6046 6081 6211 6285 6377 a 23 144 219 274 378 454 508 610 695 769 825 947 1023 1081 1152 1236 1283 1412 1475 1534 1616 1687 1762 1844 1928 2017 2158 2235 2259 2362 2471 2556 2608 2693 2800 2868 2954 3029 3117 3193 3265 3350 3426 3471 3576 3621 3804 3860 3926 4039 4085 4178 4283 4330 4461 4518 4590 4677 4742 4812 4909 5007 5102 5153 5227 5340 5386 5512 5599 5615 5693 5771 5849 5944 6046 6081 6211 6285 6377 a 23 144 219 274 378 454 508 610 695 769 840 947 1023 1081 1152 1236 1283 1412 1475 1534 1616 1687 1762 1844 1928 2017 2158 2235 2259 2362 2471 2556 2608 2693 2800 2868 2954 3029 3117 3193 3265 3350 3426 3471 3576 3621 3804 3860 3926 4039 4085 4178 4283 4330 4461 4518 4590 4677 4742 4812 4909 5007 5102 5153 5227 5340 5386 5512 5599 5615 5693 5771 5849 5944 6046 6081 6211 6285 6377 a 23 144 219 274 378 454 508 610 695 769 840 947 1023 1081 1152 1236 1283 1412 1475 1534 1625 1687 1762 1844 1928 2017 2158 2235 2259 2362 2471 2556 2608 2693 2800 2868 2954 3029 3117 3193 3265 3350 3426 3471 3576 3621 3804 3860 3926 4039 4085 4178 4283 4330 4461 4518 4590 4677 4742 4812 4909 5007 5102 5153 5227 5340 5386 5512 5599 5615 5693 5771 5849 5944 6046 6081 6211 6285 6377 a 23 144 219 274 378 454 508 610 695 769 840 947 1023 1081 1152 1236 1283 1412 1475 1534 1625 1687 1762 1844 1928 2017 2158 2235 2259 2471 2556 2608 2693 2800 2868 2954 3029 3117 3193 3265 3350 3426 3471 3576 3621 3722 3804 3860 3926 4039 4085 4178 4283 4330 4461 4518 4590 4677 4742 4812 4909 5007 5102 5153 5227 5340 5386 5512 5599 5615 5693 5771 5849 5944 6046 6081 6211 6285 6377 a 23 144 219 274 378 454 508 610 695 769 840 947 1023 1081 1152 1236 1283 1412 1475 1534 1625 1687 1762 1844 1928 2017 2158 2235 2259 2358 2471 2556 2608 2693 2800 2868 2954 3029 3117 3193 3265 3350 3426 3471 3576 3621 3722 3804 3860 3926 4039 4085 4178 4283 4330 4461 4590 4677 4742 4812 4909 5007 5102 5153 5227 5340 5386 5512 5599 5615 5693 5771 5849 5944 6046 6081 6211 6285 6377 a 23 144 219 274 378 454 508 610 695 769 840 947 1023 1081 1152 1236 1283 1412 1475 1534 1625 1687 1762 1844 1928 2158 2235 2259 2358 2471 2556 2608 2693 2800 2868 2954 3029 3117 3193 3265 3350 3426 3471 3576 3621 3722 3804 3860 3926 4039 4085 4178 4283 4330 4461 4497 4590 4677 4742 4812 4909 5007 5102 5153 5227 5340 5386 5512 5599 5615 5693 5771 5849 5944 6046 6081 6211 6285 6377 a 23 144 219 274 378 454 508 610 695 769 840 947 1023 1081 1152 1236 1283 1412 1475 1534 1625 1687 1762 1844 1928 2027 2158 2235 2259 2358 2471 2556 2608 2693 2800 2868 2954 3029 3117 3193 3265 3350 3426 3471 3576 3621 3722 3804 3860 3926 4039 4085 4178 4283 4330 4461 4497 4590 4677 4742 4812 4909 5007 5102 5153 5340 5386 5512 5599 5615 5693 5771 5849 5944 6046 6081 6211 6285 6377 a 23 144 219 274 378 454 508 610 695 769 840 947 1023 1056 1152 1236 1283 1412 1475 1534 1625 1687 1762 1844 1928 2027 2158 2235 2259 2358 2471 2556 2608 2693 2800 2868 2954 3029 3117 3193 3265 3350 3426 3471 3576 3621 3722 3804 3860 3926 4039 4085 4178 4283 4330 4461 4497 4590 4677 4742 4812 4909 5007 5102 5153 5340 5386 5512 5599 5615 5693 5771 5849 5944 6046 6081 6211 6285 6377 a 23 144 219 274 378 454 508 610 695 769 840 947 1023 1056 1152 1236 1283 1412 1475 1534 1625 1687 1762 1844 1928 2027 2158 2235 2259 2358 2471 2556 2608 2693 2800 2868 2954 3029 3117 3193 3265 3350 3426 3471 3576 3621 3722 3804 3860 3926 4039 4085 4178 4283 4330 4461 4497 4590 4681 4742 4812 4909 5007 5102 5153 5340 5386 5512 5599 5615 5693 5771 5849 5944 6046 6081 6211 6285 6377 a 23 144 219 274 378 454 508 610 695 769 840 947 1023 1056 1152 1236 1283 1412 1475 1534 1625 1687 1762 1844 1928 2027 2158 2235 2259 2358 2471 2556 2608 2693 2800 2868 2954 3029 3117 3265 3350 3426 3471 3576 3621 3722 3804 3860 3926 4039 4085 4178 4283 4330 4461 4497 4590 4681 4742 4812 4909 5007 5102 5153 5273 5340 5386 5512 5599 5615 5693 5771 5849 5944 6046 6081 6211 6285 6377 a 23 144 219 274 378 454 508 610 695 769 840 947 1023 1056 1152 1236 1283 1412 1475 1534 1625 1687 1762 1844 1928 2027 2158 2235 2259 2358 2471 2556 2608 2693 2800 2868 2954 3029 3117 3157 3265 3350 3426 3471 3576 3621 3722 3804 3860 3926 4085 4178 4283 4330 4461 4497 4590 4681 4742 4812 4909 5007 5102 5153 5273 5340 5386 5512 5599 5615 5693 5771 5849 5944 6046 6081 6211 6285 6377 a 23 144 219 274 378 454 508 610 695 769 840 947 1023 1056 1152 1236 1283 1412 1475 1534 1625 1687 1762 1844 1928 2027 2158 2235 2259 2358 2471 2556 2608 2693 2800 2868 2954 3029 3117 3157 3265 3350 3426 3471 3576 3621 3804 3860 3926 4042 4085 4178 4283 4330 4461 4497 4590 4681 4742 4812 4909 5007 5102 5153 5273 5340 5386 5512 5599 5615 5693 5771 5849 5944 6046 6081 6211 6285 6377 a 23 144 219 274 378 454 508 610 695 769 840 947 1023 1056 1152 1236 1283 1412 1475 1534 1625 1687 1762 1844 1928 2027 2158 2235 2259 2358 2471 2556 2608 2693 2800 2868 2954 3029 3117 3157 3265 3350 3426 3471 3576 3621 3753 3804 3860 3926 4042 4085 4178 4283 4330 4461 4497 4590 4681 4742 4812 4909 5007 5102 5153 5340 5386 5512 5599 5615 5693 5771 5849 5944 6046 6081 6211 6285 6377 a 23 144 219 274 378 454 508 610 695 769 840 947 1023 1056 1152 1236 1283 1412 1475 1534 1625 1687 1762 1844 1928 2027 2158 2235 2259 2358 2471 2556 2608 2693 2800 2868 2954 3029 3117 3157 3265 3350 3426 3471 3576 3621 3753 3804 3860 3926 4042 4085 4178 4283 4330 4461 4497 4590 4681 4742 4812 4909 5102 5153 5247 5340 5386 5512 5599 5615 5693 5771 5849 5944 6046 6081 6211 6285 6377 a 23 144 219 279 378 454 508 610 695 769 840 947 1023 1056 1152 1236 1283 1412 1475 1534 1625 1687 1762 1844 1928 2027 2158 2235 2259 2358 2471 2556 2608 2693 2800 2868 2954 3029 3117 3157 3265 3350 3426 3471 3576 3621 3753 3804 3860 3926 4042 4085 4178 4283 4330 4461 4497 4590 4681 4742 4812 4909 5102 5153 5247 5340 5386 5512 5599 5615 5693 5771 5849 5944 6046 6081 6211 6285 6377 a 23 144 219 279 378 454 508 610 695 769 840 947 1023 1056 1152 1236 1283 1412 1475 1534 1634 1687 1762 1844 1928 2027 2158 2235 2259 2358 2471 2556 2608 2693 2800 2868 2954 3029 3117 3157 3265 3350 3426 3471 3576 3621 3753 3804 3860 3926 4042 4085 4178 4283 4330 4461 4497 4590 4681 4742 4812 4909 5102 5153 5247 5340 5386 5512 5599 5615 5693 5771 5849 5944 6046 6081 6211 6285 6377 a 23 144 219 279 378 454 508 610 695 769 840 947 1023 1056 1145 1236 1283 1412 1475 1534 1634 1687 1762 1844 1928 2027 2158 2235 2259 2358 2471 2556 2608 2693 2800 2868 2954 3029 3117 3157 3265 3350 3426 3471 3576 3621 3753 3804 3860 3926 4042 4085 4178 4283 4330 4461 4497 4590 4681 4742 4812 4909 5102 5153 5247 5340 5386 5512 5599 5615 5693 5771 5849 5944 6046 6081 6211 6285 6377 a 23 144 219 279 378 454 508 610 695 769 840 947 1023 1056 1145 1236 1283 1412 1475 1534 1634 1687 1762 1844 1928 2027 2158 2235 2259 2358 2471 2556 2608 2693 2800 2868 2954 3029 3117 3157 3265 3350 3426 3471 3576 3621 3753 3804 3860 3926 4042 4085 4178 4283 4330 4461 4497 4590 4681 4742 4812 4909 5102 5153 5247 5340 5386 5512 5599 5615 5693 5771 5849 5944 6046 6081 6192 6285 6377 a 23 144 219 279 378 454 508 610 695 769 840 947 1023 1056 1145 1236 1283 1412 1475 1534 1634 1687 1762 1844 1928 2027 2158 2235 2259 2358 2471 2556 2608 2693 2800 2868 2954 3029 3117 3157 3265 3350 3426 3471 3576 3621 3753 3804 3860 3926 4042 4085 4178 4283 4330 4461 4497 4590 4681 4742 4812 4909 5102 5153 5247 5331 5386 5512 5599 5615 5693 5771 5849 5944 6046 6081 6192 6285 6377 a 60 144 219 279 378 454 508 610 695 769 840 947 1023 1056 1145 1236 1283 1412 1475 1534 1634 1687 1762 1844 1928 2027 2158 2235 2259 2358 2471 2556 2608 2693 2800 2868 2954 3029 3117 3157 3265 3350 3426 3471 3576 3621 3753 3804 3860 3926 4042 4085 4178 4283 4330 4461 4497 4590 4681 4742 4812 4909 5102 5153 5247 5331 5386 5512 5599 5615 5693 5771 5849 5944 6046 6081 6192 6285 6377 a 60 144 219 279 378 454 508 610 695 769 840 947 1023 1056 1145 1236 1283 1412 1475 1534 1634 1687 1762 1844 1928 2027 2158 2235 2259 2358 2471 2556 2608 2693 2800 2868 2954 3029 3117 3157 3265 3350 3426 3471 3576 3621 3753 3804 3860 3926 4042 4085 4178 4283 4330 4461 4497 4590 4681 4742 4812 4909 5102 5153 5223 5331 5386 5512 5599 5615 5693 5771 5849 5944 6046 6081 6192 6285 6377 a 60 144 219 279 378 454 508 610 695 769 840 947 1023 1056 1145 1236 1283 1412 1475 1534 1634 1687 1762 1844 1967 2027 2158 2235 2259 2358 2471 2556 2608 2693 2800 2868 2954 3029 3117 3157 3265 3350 3426 3471 3576 3621 3753 3804 3860 3926 4042 4085 4178 4283 4330 4461 4497 4590 4681 4742 4812 4909 5102 5153 5223 5331 5386 5512 5599 5615 5693 5771 5849 5944 6046 6081 6192 6285 6377 a 60 144 219 248 378 454 508 610 695 769 840 947 1023 1056 1145 1236 1283 1412 1475 1534 1634 1687 1762 1844 1967 2027 2158 2235 2259 2358 2471 2556 2608 2693 2800 2868 2954 3029 3117 3157 3265 3350 3426 3471 3576 3621 3753 3804 3860 3926 4042 4085 4178 4283 4330 4461 4497 4590 4681 4742 4812 4909 5102 5153 5223 5331 5386 5512 5599 5615 5693 5771 5849 5944 6046 6081 6192 6285 6377 a 60 144 219 248 378 454 508 610 695 769 840 947 1023 1056 1145 1236 1283 1412 1475 1534 1634 1687 1762 1844 1967 2027 2158 2235 2259 2358 2471 2556 2608 2693 2800 2868 2954 3029 3117 3157 3265 3350 3426 3471 3576 3621 3753 3804 3860 3926 4042 4085 4178 4283 4330 4461 4497 4590 4681 4742 4812 4909 5102 5153 5223 5331 5386 5512 5599 5615 5693 5771 5849 5959 6046 6081 6192 6285 6377 a 60 144 219 248 378 454 508 610 695 769 840 947 1023 1056 1145 1236 1304 1412 1475 1534 1634 1687 1762 1844 1967 2027 2158 2235 2259 2358 2471 2556 2608 2693 2800 2868 2954 3029 3117 3157 3265 3350 3426 3471 3576 3621 3753 3804 3860 3926 4042 4085 4178 4283 4330 4461 4497 4590 4681 4742 4812 4909 5102 5153 5223 5331 5386 5512 5599 5615 5693 5771 5849 5959 6046 6081 6192 6285 6377 a 60 144 219 248 378 454 508 610 695 769 840 947 1023 1056 1123 1236 1304 1412 1475 1534 1634 1687 1762 1844 1967 2027 2158 2235 2259 2358 2471 2556 2608 2693 2800 2868 2954 3029 3117 3157 3265 3350 3426 3471 3576 3621 3753 3804 3860 3926 4042 4085 4178 4283 4330 4461 4497 4590 4681 4742 4812 4909 5102 5153 5223 5331 5386 5512 5599 5615 5693 5771 5849 5959 6046 6081 6192 6285 6377 a 60 144 219 248 378 454 508 610 695 769 825 947 1023 1056 1123 1236 1304 1412 1475 1534 1634 1687 1762 1844 1967 2027 2158 2235 2259 2358 2471 2556 2608 2693 2800 2868 2954 3029 3117 3157 3265 3350 3426 3471 3576 3621 3753 3804 3860 3926 4042 4085 4178 4283 4330 4461 4497 4590 4681 4742 4812 4909 5102 5153 5223 5331 5386 5512 5599 5615 5693 5771 5849 5959 6046 6081 6192 6285 6377 a 60 144 219 248 378 454 508 610 695 769 825 947 1023 1056 1123 1236 1304 1412 1475 1534 1634 1687 1762 1844 1967 2027 2158 2235 2259 2358 2471 2556 2608 2693 2800 2868 2954 3029 3117 3157 3265 3350 3426 3471 3576 3621 3753 3804 3860 3926 4042 4085 4178 4283 4330 4461 4497 4590 4680 4742 4812 4909 5102 5153 5223 5331 5386 5512 5599 5615 5693 5771 5849 5959 6046 6081 6192 6285 6377 a 60 144 219 248 378 454 508 610 695 769 825 947 1023 1056 1123 1236 1304 1412 1475 1534 1634 1687 1762 1844 1967 2027 2158 2235 2259 2358 2471 2556 2608 2693 2800 2868 2954 3029 3117 3265 3350 3426 3471 3576 3621 3753 3804 3860 3926 4042 4085 4178 4283 4330 4461 4497 4590 4680 4742 4812 4909 4997 5102 5153 5223 5331 5386 5512 5599 5615 5693 5771 5849 5959 6046 6081 6192 6285 6377 a 60 144 219 248 378 454 508 610 695 769 825 947 1023 1056 1123 1236 1304 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 3804 3860 3926 4042 4085 4178 4283 4330 4461 4497 4590 4680 4742 4812 4909 4997 5102 5153 5223 5331 5386 5512 5599 5615 5693 5771 5849 5959 6046 6081 6192 6285 6377 a 60 144 219 248 378 454 508 610 695 769 825 947 1023 1056 1123 1236 1304 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 3804 3860 3926 4042 4085 4178 4283 4361 4461 4497 4590 4680 4742 4812 4909 4997 5102 5153 5223 5331 5386 5512 5599 5615 5693 5771 5849 5959 6046 6081 6192 6285 6377 a 60 144 219 248 378 454 508 610 695 769 825 947 1023 1056 1123 1236 1304 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 4178 4283 4361 4461 4497 4590 4680 4742 4812 4909 4997 5102 5153 5223 5331 5386 5512 5599 5615 5693 5771 5849 5959 6046 6081 6192 6285 6377 a 60 144 219 248 378 454 508 610 695 769 947 1023 1056 1123 1236 1304 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 4461 4497 4590 4680 4742 4812 4909 4997 5102 5153 5223 5331 5386 5512 5599 5615 5693 5771 5849 5959 6046 6081 6192 6285 6377 a 60 144 219 378 454 508 610 695 769 808 947 1023 1056 1123 1236 1304 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 4461 4497 4590 4680 4742 4812 4909 4997 5102 5153 5223 5331 5386 5512 5599 5615 5693 5771 5849 5959 6046 6081 6192 6285 6377 a 60 144 219 301 378 454 508 610 695 769 808 947 1023 1056 1123 1236 1304 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 4497 4590 4680 4742 4812 4909 4997 5102 5153 5223 5331 5386 5512 5599 5615 5693 5771 5849 5959 6046 6081 6192 6285 6377 a 60 144 219 301 378 454 508 610 695 769 808 947 1023 1056 1123 1236 1304 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 a 60 144 219 301 378 454 508 610 695 769 808 947 1023 1123 1236 1304 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 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=existent-portfolio --memory-limit=54 --time-limit=1800 /benchmark/2022benchmark/benchmark/queen/queen080x080.col /benchmark/2022benchmark/benchmark/queen/queen080x080_04_4954.dat" User time (seconds): 14.68 System time (seconds): 0.25 Percent of CPU this job got: 175% Elapsed (wall clock) time (h:mm:ss or m:ss): 0:08.49 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): 506976 Average resident set size (kbytes): 0 Major (requiring I/O) page faults: 0 Minor (reclaiming a frame) page faults: 280326 Voluntary context switches: 356 Involuntary context switches: 70 Swaps: 0 File system inputs: 0 File system outputs: 25720 Socket messages sent: 0 Socket messages received: 0 Signals delivered: 0 Page size (bytes): 4096 Exit status: 0 #END: [Fri Sep 8 03:24:03 2023]