#BEGIN: [Fri Sep 8 03:23:47 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_02_2368.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_02_2368.dat s 5771 2158 2344 6081 5512 144 4909 1545 3265 5102 2608 5849 4042 6293 4365 3967 1023 5232 1844 2556 1762 4812 454 4756 1412 301 4178 3686 2471 4115 5386 5599 517 6201 4987 5302 2010 1687 1123 1963 5615 3426 1233 60 3471 4416 610 769 695 4691 2954 5925 4518 4263 6377 1448 2268 2680 3029 3576 3350 3117 5137 1074 219 819 2235 378 1614 6046 2800 5693 1319 3621 2868 947 3193 4590 3804 t 3860 5849 1283 3686 4680 5007 4592 1762 6201 144 4283 3804 1147 5599 2344 610 5693 2800 1023 517 4178 5153 5771 1075 4042 1634 5615 3426 3621 1208 5223 4439 2693 6081 3350 5512 3471 378 695 301 1687 1942 4096 5386 819 1454 3576 4812 4756 2030 5290 2556 4909 60 454 3193 6377 5102 2268 3029 947 6291 1545 3958 4365 219 4497 3265 2868 2158 2954 2608 3117 2471 1412 6046 2235 5925 1844 a YES a 60 144 219 301 378 454 517 610 695 769 819 947 1023 1074 1123 1233 1319 1412 1448 1545 1614 1687 1762 1844 1963 2010 2158 2235 2268 2344 2471 2556 2608 2680 2800 2868 2954 3029 3117 3193 3265 3350 3426 3471 3576 3621 3686 3804 3967 4042 4115 4178 4263 4365 4416 4518 4590 4691 4756 4812 4909 4987 5102 5137 5232 5302 5386 5512 5599 5615 5693 5771 5849 5925 6046 6081 6201 6293 6377 a 60 144 219 301 378 454 517 610 695 769 819 947 1023 1123 1233 1319 1412 1448 1545 1614 1687 1762 1844 1963 2010 2158 2235 2268 2344 2471 2556 2608 2680 2800 2868 2954 3029 3117 3193 3265 3350 3426 3471 3576 3621 3686 3804 3860 3967 4042 4115 4178 4263 4365 4416 4518 4590 4691 4756 4812 4909 4987 5102 5137 5232 5302 5386 5512 5599 5615 5693 5771 5849 5925 6046 6081 6201 6293 6377 a 60 144 219 301 378 454 517 610 695 769 819 947 1023 1123 1233 1319 1412 1448 1545 1634 1687 1762 1844 1963 2010 2158 2235 2268 2344 2471 2556 2608 2680 2800 2868 2954 3029 3117 3193 3265 3350 3426 3471 3576 3621 3686 3804 3860 3967 4042 4115 4178 4263 4365 4416 4518 4590 4691 4756 4812 4909 4987 5102 5137 5232 5302 5386 5512 5599 5615 5693 5771 5849 5925 6046 6081 6201 6293 6377 a 60 144 219 301 378 454 517 610 695 769 819 947 1023 1123 1233 1319 1412 1454 1545 1634 1687 1762 1844 1963 2010 2158 2235 2268 2344 2471 2556 2608 2680 2800 2868 2954 3029 3117 3193 3265 3350 3426 3471 3576 3621 3686 3804 3860 3967 4042 4115 4178 4263 4365 4416 4518 4590 4691 4756 4812 4909 4987 5102 5137 5232 5302 5386 5512 5599 5615 5693 5771 5849 5925 6046 6081 6201 6293 6377 a 60 144 219 301 378 454 517 610 695 769 819 947 1023 1043 1233 1319 1412 1454 1545 1634 1687 1762 1844 1963 2010 2158 2235 2268 2344 2471 2556 2608 2680 2800 2868 2954 3029 3117 3193 3265 3350 3426 3471 3576 3621 3686 3804 3860 3967 4042 4115 4178 4263 4365 4416 4518 4590 4691 4756 4812 4909 4987 5102 5137 5232 5302 5386 5512 5599 5615 5693 5771 5849 5925 6046 6081 6201 6293 6377 a 60 144 219 301 378 454 517 610 695 769 819 947 1023 1043 1147 1233 1319 1412 1454 1545 1634 1687 1762 1844 1963 2010 2158 2235 2268 2344 2471 2556 2608 2680 2800 2868 2954 3029 3117 3193 3265 3350 3426 3471 3576 3621 3686 3804 3860 3967 4042 4115 4178 4263 4365 4416 4518 4590 4691 4756 4812 4909 5102 5137 5232 5302 5386 5512 5599 5615 5693 5771 5849 5925 6046 6081 6201 6293 6377 a 60 144 219 301 378 454 517 610 695 769 819 947 1023 1043 1147 1233 1319 1412 1454 1545 1634 1687 1762 1844 1963 2008 2158 2235 2268 2344 2471 2556 2608 2680 2800 2868 2954 3029 3117 3193 3265 3350 3426 3471 3576 3621 3686 3804 3860 3967 4042 4115 4178 4263 4365 4416 4518 4590 4691 4756 4812 4909 5102 5137 5232 5302 5386 5512 5599 5615 5693 5771 5849 5925 6046 6081 6201 6293 6377 a 60 144 219 301 378 454 517 610 695 769 819 947 1023 1043 1147 1233 1290 1412 1454 1545 1634 1687 1762 1844 1963 2008 2158 2235 2268 2344 2471 2556 2608 2680 2800 2868 2954 3029 3117 3193 3265 3350 3426 3471 3576 3621 3686 3804 3860 3967 4042 4115 4178 4263 4365 4416 4518 4590 4691 4756 4812 4909 5102 5137 5232 5302 5386 5512 5599 5615 5693 5771 5849 5925 6046 6081 6201 6293 6377 a 60 144 219 301 378 454 517 610 695 769 819 947 1023 1043 1147 1233 1290 1412 1454 1545 1634 1687 1762 1844 1963 2008 2158 2235 2268 2344 2471 2556 2608 2680 2800 2868 2954 3029 3117 3193 3265 3350 3426 3471 3576 3621 3686 3804 3860 3967 4042 4115 4178 4263 4365 4416 4518 4590 4756 4812 4909 5011 5102 5137 5232 5302 5386 5512 5599 5615 5693 5771 5849 5925 6046 6081 6201 6293 6377 a 60 144 301 378 454 517 610 695 769 819 947 1023 1043 1147 1233 1290 1412 1454 1545 1634 1687 1762 1844 1963 2008 2158 2235 2268 2344 2471 2556 2608 2680 2800 2868 2954 3029 3117 3193 3265 3350 3426 3471 3576 3621 3686 3804 3860 3967 4042 4115 4178 4263 4365 4416 4518 4590 4699 4756 4812 4909 5011 5102 5137 5232 5302 5386 5512 5599 5615 5693 5771 5849 5925 6046 6081 6201 6293 6377 a 60 144 183 301 378 454 517 610 695 769 819 947 1023 1043 1147 1233 1290 1412 1454 1545 1634 1687 1762 1844 1963 2008 2158 2235 2268 2344 2471 2556 2608 2680 2800 2868 2954 3029 3117 3193 3265 3350 3426 3471 3576 3621 3686 3804 3860 3967 4042 4115 4178 4365 4416 4518 4590 4699 4756 4812 4909 5011 5102 5137 5232 5302 5386 5512 5599 5615 5693 5771 5849 5925 6046 6081 6201 6293 6377 a 60 144 183 301 378 454 517 610 695 769 819 947 1023 1043 1147 1233 1319 1412 1454 1545 1634 1687 1762 1844 1963 2008 2158 2235 2268 2344 2471 2556 2608 2680 2800 2868 2954 3029 3117 3193 3265 3350 3426 3471 3576 3621 3686 3804 3860 3967 4042 4115 4178 4365 4416 4518 4590 4699 4756 4812 4909 5011 5102 5137 5232 5302 5386 5512 5599 5615 5693 5771 5849 5925 6046 6081 6201 6293 6377 a 60 144 183 301 378 454 517 610 695 769 819 947 1023 1043 1147 1233 1319 1412 1454 1545 1634 1687 1762 1844 1963 2008 2158 2235 2268 2344 2471 2556 2608 2680 2800 2868 2954 3029 3117 3193 3265 3350 3426 3471 3576 3621 3686 3804 3860 3967 4042 4115 4178 4365 4416 4518 4590 4699 4756 4812 4909 5011 5102 5137 5232 5290 5386 5512 5599 5615 5693 5771 5849 5925 6046 6081 6201 6293 6377 a 60 144 183 301 378 454 517 610 695 769 819 947 1043 1147 1233 1319 1412 1454 1545 1634 1687 1762 1844 1963 2008 2158 2235 2268 2344 2471 2556 2608 2680 2800 2868 2954 3029 3117 3193 3265 3350 3426 3471 3576 3621 3686 3804 3860 3967 4042 4115 4178 4262 4365 4416 4518 4590 4699 4756 4812 4909 5011 5102 5137 5232 5290 5386 5512 5599 5615 5693 5771 5849 5925 6046 6081 6201 6293 6377 a 60 144 183 301 378 454 517 610 695 769 819 947 998 1043 1147 1233 1319 1412 1454 1545 1634 1687 1762 1844 1963 2008 2158 2235 2268 2344 2471 2556 2608 2680 2800 2868 2954 3029 3117 3193 3265 3350 3426 3471 3576 3621 3686 3804 3860 3967 4042 4115 4178 4262 4365 4416 4590 4699 4756 4812 4909 5011 5102 5137 5232 5290 5386 5512 5599 5615 5693 5771 5849 5925 6046 6081 6201 6293 6377 a 60 144 183 301 378 454 517 610 695 769 819 947 998 1043 1147 1233 1319 1412 1454 1545 1634 1687 1762 1844 1963 2008 2158 2235 2268 2344 2471 2556 2608 2800 2868 2954 3029 3117 3193 3265 3350 3426 3471 3576 3621 3686 3804 3860 3967 4042 4115 4178 4262 4365 4416 4543 4590 4699 4756 4812 4909 5011 5102 5137 5232 5290 5386 5512 5599 5615 5693 5771 5849 5925 6046 6081 6201 6293 6377 a 60 144 183 301 378 454 517 610 695 769 819 947 998 1043 1147 1233 1319 1412 1454 1545 1634 1687 1762 1844 1963 2008 2158 2235 2268 2344 2471 2556 2608 2800 2868 2954 3029 3117 3193 3265 3350 3426 3471 3576 3621 3686 3804 3860 3967 4042 4115 4178 4262 4365 4416 4543 4590 4680 4756 4812 4909 5011 5102 5137 5232 5290 5386 5512 5599 5615 5693 5771 5849 5925 6046 6081 6201 6293 6377 a 60 144 183 301 378 454 517 610 695 769 819 947 998 1043 1147 1233 1319 1412 1454 1545 1634 1687 1762 1844 1963 2008 2158 2235 2268 2344 2471 2556 2608 2800 2868 2954 3029 3117 3193 3265 3350 3426 3471 3576 3621 3686 3804 3860 3967 4042 4115 4178 4262 4365 4416 4543 4619 4680 4756 4812 4909 5011 5102 5137 5232 5290 5386 5512 5599 5615 5693 5771 5849 5925 6046 6081 6201 6293 6377 a 60 144 183 301 378 454 517 610 695 769 819 947 998 1043 1147 1230 1319 1412 1454 1545 1634 1687 1762 1844 1963 2008 2158 2235 2268 2344 2471 2556 2608 2800 2868 2954 3029 3117 3193 3265 3350 3426 3471 3576 3621 3686 3804 3860 3967 4042 4115 4178 4262 4365 4416 4543 4619 4680 4756 4812 4909 5011 5102 5137 5232 5290 5386 5512 5599 5615 5693 5771 5849 5925 6046 6081 6201 6293 6377 a 60 144 183 301 378 454 517 610 695 769 819 947 998 1147 1230 1319 1412 1454 1545 1634 1687 1762 1844 1963 2008 2158 2235 2268 2344 2471 2556 2608 2643 2800 2868 2954 3029 3117 3193 3265 3350 3426 3471 3576 3621 3686 3804 3860 3967 4042 4115 4178 4262 4365 4416 4543 4619 4680 4756 4812 4909 5011 5102 5137 5232 5290 5386 5512 5599 5615 5693 5771 5849 5925 6046 6081 6201 6293 6377 a 60 144 183 301 378 454 517 610 695 769 819 947 998 1075 1147 1230 1319 1412 1454 1545 1634 1687 1762 1844 1963 2008 2158 2235 2268 2344 2471 2556 2608 2643 2800 2868 2954 3029 3117 3193 3265 3350 3426 3471 3576 3621 3686 3804 3860 3967 4042 4178 4262 4365 4416 4543 4619 4680 4756 4812 4909 5011 5102 5137 5232 5290 5386 5512 5599 5615 5693 5771 5849 5925 6046 6081 6201 6293 6377 a 60 144 183 301 378 454 517 610 695 769 819 947 998 1075 1147 1230 1313 1412 1454 1545 1634 1687 1762 1844 1963 2008 2158 2235 2268 2344 2471 2556 2608 2643 2800 2868 2954 3029 3117 3193 3265 3350 3426 3471 3576 3621 3686 3804 3860 3967 4042 4178 4262 4365 4416 4543 4619 4680 4756 4812 4909 5011 5102 5137 5232 5290 5386 5512 5599 5615 5693 5771 5849 5925 6046 6081 6201 6293 6377 a 60 144 183 301 378 454 517 610 695 769 819 947 998 1075 1147 1230 1313 1412 1454 1545 1634 1687 1762 1844 1963 2008 2158 2235 2268 2344 2471 2556 2608 2643 2800 2868 2954 3029 3117 3193 3265 3350 3426 3471 3576 3621 3686 3804 3860 3967 4042 4178 4262 4365 4439 4543 4619 4680 4756 4812 4909 5011 5102 5137 5232 5290 5386 5512 5599 5615 5693 5771 5849 5925 6046 6081 6201 6293 6377 a 60 144 183 301 378 454 517 610 695 769 819 947 998 1075 1147 1230 1313 1412 1454 1545 1634 1687 1762 1844 2008 2158 2235 2268 2344 2471 2556 2608 2643 2800 2868 2954 3029 3117 3193 3265 3350 3426 3471 3576 3621 3686 3804 3860 3967 4042 4096 4178 4262 4365 4439 4543 4619 4680 4756 4812 4909 5011 5102 5137 5232 5290 5386 5512 5599 5615 5693 5771 5849 5925 6046 6081 6201 6293 6377 a 60 144 183 301 378 454 517 610 695 769 819 947 998 1075 1147 1230 1313 1412 1454 1545 1634 1687 1762 1844 1967 2008 2158 2235 2268 2344 2471 2556 2608 2643 2800 2868 2954 3029 3117 3193 3265 3350 3426 3471 3576 3621 3686 3804 3860 4042 4096 4178 4262 4365 4439 4543 4619 4680 4756 4812 4909 5011 5102 5137 5232 5290 5386 5512 5599 5615 5693 5771 5849 5925 6046 6081 6201 6293 6377 a 60 144 183 301 378 454 517 610 695 769 819 947 998 1075 1147 1230 1313 1412 1454 1545 1634 1687 1762 1844 1967 2008 2158 2235 2268 2344 2471 2556 2608 2643 2800 2868 2954 3029 3117 3193 3265 3350 3426 3471 3576 3621 3686 3804 3860 4042 4096 4178 4283 4365 4439 4543 4619 4680 4756 4812 4909 5011 5102 5137 5232 5290 5386 5512 5599 5615 5693 5771 5849 5925 6046 6081 6201 6293 6377 a 60 144 183 301 378 454 517 610 695 769 819 947 998 1075 1147 1230 1313 1412 1454 1545 1634 1687 1762 1844 1967 2008 2158 2235 2268 2344 2471 2556 2608 2643 2800 2868 2954 3029 3117 3193 3265 3350 3426 3471 3576 3621 3686 3804 3860 4042 4096 4178 4283 4365 4439 4543 4619 4680 4756 4812 4909 5011 5102 5142 5232 5290 5386 5512 5599 5615 5693 5771 5849 5925 6046 6081 6201 6293 6377 a 60 144 183 301 378 454 517 610 695 769 819 947 998 1075 1147 1230 1313 1412 1454 1545 1634 1687 1762 1844 1967 2008 2158 2235 2268 2344 2471 2556 2608 2643 2800 2868 2954 3029 3117 3193 3265 3350 3426 3471 3576 3621 3686 3804 3860 4042 4096 4178 4283 4365 4439 4497 4619 4680 4756 4812 4909 5011 5102 5142 5232 5290 5386 5512 5599 5615 5693 5771 5849 5925 6046 6081 6201 6293 6377 a 60 144 183 301 378 454 517 610 695 769 819 947 998 1075 1147 1230 1313 1412 1454 1545 1634 1687 1762 1844 1967 2008 2158 2235 2268 2344 2471 2556 2608 2643 2800 2868 2954 3029 3117 3193 3265 3350 3426 3471 3576 3621 3686 3804 3860 4042 4096 4178 4283 4365 4439 4497 4619 4680 4756 4812 4909 5011 5102 5142 5263 5290 5386 5512 5599 5615 5693 5771 5849 5925 6046 6081 6201 6293 6377 a 60 144 183 301 378 454 517 610 695 769 819 947 998 1075 1147 1230 1313 1412 1454 1545 1634 1687 1762 1844 1967 2158 2235 2268 2344 2471 2556 2608 2643 2800 2868 2954 3029 3117 3193 3265 3350 3426 3471 3576 3621 3686 3804 3860 3952 4042 4096 4178 4283 4365 4439 4497 4619 4680 4756 4812 4909 5011 5102 5142 5263 5290 5386 5512 5599 5615 5693 5771 5849 5925 6046 6081 6201 6293 6377 a 60 144 183 301 378 454 517 610 695 769 819 947 998 1075 1147 1313 1412 1454 1545 1634 1687 1762 1844 1967 2030 2158 2235 2268 2344 2471 2556 2608 2643 2800 2868 2954 3029 3117 3193 3265 3350 3426 3471 3576 3621 3686 3804 3860 3952 4042 4096 4178 4283 4365 4439 4497 4619 4680 4756 4812 4909 5011 5102 5142 5263 5290 5386 5512 5599 5615 5693 5771 5849 5925 6046 6081 6201 6293 6377 a 60 144 183 301 378 454 517 610 695 769 819 947 998 1075 1147 1208 1313 1412 1454 1545 1634 1687 1762 1844 1967 2030 2158 2235 2268 2344 2471 2556 2608 2643 2800 2868 2954 3029 3117 3193 3265 3350 3426 3471 3576 3621 3686 3804 3860 3952 4042 4096 4178 4283 4365 4439 4497 4619 4680 4756 4812 4909 5011 5102 5142 5263 5290 5386 5512 5599 5615 5693 5771 5849 5925 6046 6081 6201 6377 a 60 144 183 301 378 454 517 610 695 769 819 947 998 1075 1147 1208 1313 1412 1454 1545 1634 1687 1762 1844 1967 2030 2158 2235 2268 2344 2471 2556 2608 2643 2800 2868 2954 3029 3117 3193 3265 3350 3426 3471 3576 3621 3686 3804 3860 3952 4042 4096 4178 4283 4365 4439 4497 4619 4680 4756 4812 4909 5102 5142 5263 5290 5386 5512 5599 5615 5693 5771 5849 5925 6046 6081 6201 6291 6377 a 60 144 183 301 378 454 517 610 695 769 819 947 998 1075 1147 1208 1313 1412 1454 1545 1634 1687 1762 1844 2030 2158 2235 2268 2344 2471 2556 2608 2643 2800 2868 2954 3029 3117 3193 3265 3350 3426 3471 3576 3621 3686 3804 3860 3952 4042 4096 4178 4283 4365 4439 4497 4619 4680 4756 4812 4909 5007 5102 5142 5263 5290 5386 5512 5599 5615 5693 5771 5849 5925 6046 6081 6201 6291 6377 a 60 144 183 301 378 454 517 610 695 769 819 947 998 1075 1147 1208 1313 1412 1454 1545 1634 1687 1762 1844 2030 2158 2235 2268 2344 2471 2556 2608 2643 2800 2868 2954 3029 3117 3193 3265 3350 3426 3471 3576 3621 3686 3804 3860 3952 4042 4096 4178 4283 4365 4439 4497 4619 4680 4756 4812 4909 5007 5102 5173 5263 5290 5386 5512 5599 5615 5693 5771 5849 5925 6046 6081 6201 6291 6377 a 60 144 183 301 378 454 517 610 695 769 819 947 998 1075 1147 1208 1313 1412 1454 1545 1634 1687 1762 1844 1942 2030 2158 2235 2268 2344 2471 2556 2608 2643 2800 2868 2954 3029 3117 3193 3265 3350 3426 3471 3576 3621 3686 3804 3860 3952 4042 4096 4178 4283 4365 4439 4497 4619 4680 4756 4812 4909 5007 5102 5173 5290 5386 5512 5599 5615 5693 5771 5849 5925 6046 6081 6201 6291 6377 a 60 144 301 378 454 517 610 695 769 819 947 998 1075 1147 1208 1313 1412 1454 1545 1634 1687 1762 1844 1942 2030 2158 2235 2268 2344 2471 2556 2608 2643 2800 2868 2954 3029 3117 3193 3265 3350 3426 3471 3576 3621 3686 3804 3860 3952 4042 4096 4178 4283 4365 4439 4497 4619 4680 4756 4812 4909 5007 5102 5173 5223 5290 5386 5512 5599 5615 5693 5771 5849 5925 6046 6081 6201 6291 6377 a 60 144 301 378 454 517 610 695 769 819 947 1023 1075 1147 1208 1313 1412 1454 1545 1634 1687 1762 1844 1942 2030 2158 2235 2268 2344 2471 2556 2608 2643 2800 2868 2954 3029 3117 3193 3265 3350 3426 3471 3576 3621 3686 3804 3860 3952 4042 4096 4178 4283 4365 4439 4497 4619 4680 4756 4812 4909 5007 5102 5173 5223 5290 5386 5512 5599 5615 5693 5771 5849 5925 6046 6081 6201 6291 6377 a 60 144 219 301 378 454 517 610 695 769 819 947 1023 1075 1147 1208 1313 1412 1454 1545 1634 1687 1762 1844 1942 2030 2158 2235 2268 2344 2471 2556 2608 2643 2800 2868 2954 3029 3117 3193 3265 3350 3426 3471 3576 3621 3686 3804 3860 3952 4042 4096 4178 4283 4365 4439 4497 4680 4756 4812 4909 5007 5102 5173 5223 5290 5386 5512 5599 5615 5693 5771 5849 5925 6046 6081 6201 6291 6377 a 60 144 219 301 378 454 517 610 695 769 819 947 1023 1075 1147 1208 1313 1412 1454 1545 1634 1687 1762 1844 1942 2030 2158 2235 2268 2344 2471 2556 2608 2643 2800 2868 2954 3029 3117 3193 3265 3350 3426 3471 3576 3621 3686 3804 3860 4042 4096 4178 4283 4365 4439 4497 4592 4680 4756 4812 4909 5007 5102 5173 5223 5290 5386 5512 5599 5615 5693 5771 5849 5925 6046 6081 6201 6291 6377 a 60 144 219 301 378 454 517 610 695 769 819 947 1023 1075 1147 1208 1313 1412 1454 1545 1634 1687 1762 1844 1942 2030 2158 2235 2268 2344 2471 2556 2608 2643 2800 2868 2954 3029 3117 3193 3265 3350 3426 3471 3576 3621 3686 3804 3860 3958 4042 4096 4178 4283 4365 4439 4497 4592 4680 4756 4812 4909 5007 5102 5223 5290 5386 5512 5599 5615 5693 5771 5849 5925 6046 6081 6201 6291 6377 a 60 144 219 301 378 454 517 610 695 769 819 947 1023 1075 1147 1208 1412 1454 1545 1634 1687 1762 1844 1942 2030 2158 2235 2268 2344 2471 2556 2608 2643 2800 2868 2954 3029 3117 3193 3265 3350 3426 3471 3576 3621 3686 3804 3860 3958 4042 4096 4178 4283 4365 4439 4497 4592 4680 4756 4812 4909 5007 5102 5153 5223 5290 5386 5512 5599 5615 5693 5771 5849 5925 6046 6081 6201 6291 6377 a 60 144 219 301 378 454 517 610 695 769 819 947 1023 1075 1147 1208 1283 1412 1454 1545 1634 1687 1762 1844 1942 2030 2158 2235 2268 2344 2471 2556 2608 2800 2868 2954 3029 3117 3193 3265 3350 3426 3471 3576 3621 3686 3804 3860 3958 4042 4096 4178 4283 4365 4439 4497 4592 4680 4756 4812 4909 5007 5102 5153 5223 5290 5386 5512 5599 5615 5693 5771 5849 5925 6046 6081 6201 6291 6377 a 60 144 219 301 378 454 517 610 695 819 947 1023 1075 1147 1208 1283 1412 1454 1545 1634 1687 1762 1844 1942 2030 2158 2235 2268 2344 2471 2556 2608 2693 2800 2868 2954 3029 3117 3193 3265 3350 3426 3471 3576 3621 3686 3804 3860 3958 4042 4096 4178 4283 4365 4439 4497 4592 4680 4756 4812 4909 5007 5102 5153 5223 5290 5386 5512 5599 5615 5693 5771 5849 5925 6046 6081 6201 6291 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_02_2368.dat" User time (seconds): 9.59 System time (seconds): 0.21 Percent of CPU this job got: 166% Elapsed (wall clock) time (h:mm:ss or m:ss): 0:05.89 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): 359900 Average resident set size (kbytes): 0 Major (requiring I/O) page faults: 0 Minor (reclaiming a frame) page faults: 238165 Voluntary context switches: 239 Involuntary context switches: 51 Swaps: 0 File system inputs: 0 File system outputs: 25712 Socket messages sent: 0 Socket messages received: 0 Signals delivered: 0 Page size (bytes): 4096 Exit status: 0 #END: [Fri Sep 8 03:23:53 2023]