#BEGIN: [Fri Sep 8 17:35:44 2023] #HOST: s13 #TIMELIMIT: 1800 #MEMLIMIT: 0 #SOLVER: shortest-cpu-ai-planning2-shortest2 #INSTANCE1: /benchmark/2022benchmark/benchmark/queen/queen080x080.col #INSTANCE2: /benchmark/2022benchmark/benchmark/queen/queen080x080_01_0297.dat #COMMAND: docker run --cap-add=CAP_SYS_RESOURCE --cidfile /tmp/cid.txt --init --rm -t --ulimit cpu=1800 -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_01_0297.dat s 6377 3350 4909 4178 3686 3621 1687 2344 1147 819 1942 3265 4096 3576 6201 5599 1634 1454 6081 2608 3471 4592 6291 219 769 2235 2868 2556 378 1208 3193 4497 1075 2030 144 3029 3958 610 5693 5615 5925 1762 5771 5512 947 2471 5849 4812 2693 1412 5386 3804 5007 3860 301 1844 4365 2158 5102 2954 2800 4756 4283 4439 1283 454 1545 5153 4042 1023 3117 3426 517 5290 60 4680 6046 2268 5223 t 6211 1208 2800 5386 2471 6293 5771 947 60 3471 2268 5849 1147 695 610 1844 5102 3926 5290 4518 4115 3621 3117 4812 2954 2868 219 3722 1687 1614 3804 3350 5512 5615 517 4909 3193 3265 4663 6081 4365 2017 1762 2235 2556 4178 2344 769 4590 3029 144 1283 1023 6046 819 1942 4283 301 3426 5693 378 2608 1545 2680 1473 1412 4039 4416 3576 5232 1081 4756 5007 6377 454 5925 2158 5154 5599 a YES a 60 144 219 301 378 454 517 610 769 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 a 60 144 219 301 378 454 517 610 695 769 819 947 1023 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 a 60 144 219 301 378 454 517 610 695 769 819 947 1023 1075 1147 1208 1283 1412 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 a 60 144 219 301 378 454 517 610 695 769 819 947 1023 1075 1147 1208 1283 1412 1545 1614 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 a 60 144 219 301 378 454 517 610 695 769 819 947 1023 1075 1147 1208 1283 1412 1473 1545 1614 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 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 1473 1545 1614 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 4756 4812 4909 5007 5102 5154 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 1473 1545 1614 1687 1762 1844 1942 2030 2158 2235 2268 2344 2471 2556 2608 2693 2800 2868 2954 3029 3117 3193 3350 3426 3471 3576 3621 3686 3804 3860 3958 4042 4096 4178 4283 4365 4439 4497 4592 4705 4756 4812 4909 5007 5102 5154 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 1473 1545 1614 1687 1762 1844 1942 2030 2158 2235 2268 2344 2471 2556 2608 2693 2800 2868 2954 3029 3117 3193 3241 3350 3426 3471 3576 3621 3686 3804 3860 3958 4042 4096 4178 4283 4365 4439 4497 4592 4705 4756 4812 4909 5007 5102 5154 5223 5290 5386 5512 5599 5615 5693 5771 5849 5925 6046 6081 6291 6377 a 60 144 219 301 378 454 517 610 695 769 819 947 1023 1075 1147 1208 1283 1412 1473 1545 1614 1687 1762 1844 1942 2030 2158 2235 2268 2344 2471 2556 2608 2693 2800 2868 2954 3029 3117 3193 3241 3350 3426 3471 3576 3621 3686 3804 3860 3958 4042 4096 4178 4283 4365 4439 4497 4592 4705 4756 4812 4909 5007 5102 5154 5223 5290 5386 5512 5599 5615 5693 5771 5849 5925 6046 6081 6211 6377 a 60 144 219 301 378 454 517 610 695 769 819 947 1023 1075 1147 1208 1283 1412 1473 1545 1614 1687 1762 1844 1942 2030 2158 2235 2268 2344 2471 2556 2608 2693 2800 2868 2954 3029 3117 3193 3241 3350 3426 3471 3576 3621 3804 3860 3958 4042 4096 4178 4283 4365 4439 4497 4592 4705 4756 4812 4909 5007 5102 5154 5223 5290 5386 5512 5599 5615 5693 5771 5849 5925 6046 6081 6211 6280 6377 a 60 144 219 301 378 454 517 610 695 769 819 947 1023 1075 1147 1208 1283 1412 1473 1545 1614 1687 1762 1844 1942 2030 2158 2235 2268 2344 2471 2556 2608 2693 2800 2868 2954 3029 3117 3193 3241 3350 3426 3471 3576 3621 3804 3860 3958 4042 4096 4178 4283 4365 4439 4497 4592 4705 4756 4812 4909 5007 5102 5154 5206 5290 5386 5512 5599 5615 5693 5771 5849 5925 6046 6081 6211 6280 6377 a 60 144 219 301 378 454 517 610 695 769 819 947 1023 1075 1147 1208 1283 1412 1473 1545 1614 1687 1762 1844 1942 2030 2158 2235 2268 2344 2471 2556 2608 2693 2800 2868 2954 3029 3117 3193 3241 3350 3426 3471 3576 3621 3722 3804 3860 3958 4096 4178 4283 4365 4439 4497 4592 4705 4756 4812 4909 5007 5102 5154 5206 5290 5386 5512 5599 5615 5693 5771 5849 5925 6046 6081 6211 6280 6377 a 60 144 219 301 378 454 517 610 695 769 819 947 1023 1075 1147 1208 1283 1412 1473 1545 1614 1687 1762 1844 1942 2030 2158 2235 2268 2344 2471 2556 2608 2693 2800 2868 2954 3029 3117 3193 3241 3350 3426 3471 3576 3621 3722 3804 3860 3958 4023 4096 4178 4283 4365 4439 4592 4705 4756 4812 4909 5007 5102 5154 5206 5290 5386 5512 5599 5615 5693 5771 5849 5925 6046 6081 6211 6280 6377 a 60 144 219 301 378 454 517 610 695 769 819 947 1023 1075 1147 1208 1283 1412 1473 1545 1614 1687 1762 1844 1942 2017 2158 2235 2268 2344 2471 2556 2608 2693 2800 2868 2954 3029 3117 3193 3241 3350 3426 3471 3576 3621 3722 3804 3860 3958 4023 4096 4178 4283 4365 4439 4592 4705 4756 4812 4909 5007 5102 5154 5206 5290 5386 5512 5599 5615 5693 5771 5849 5925 6046 6081 6211 6280 6377 a 30 144 219 301 378 454 517 610 695 769 819 947 1023 1075 1147 1208 1283 1412 1473 1545 1614 1687 1762 1844 1942 2017 2158 2235 2268 2344 2471 2556 2608 2693 2800 2868 2954 3029 3117 3193 3241 3350 3426 3471 3576 3621 3722 3804 3860 3958 4023 4096 4178 4283 4365 4439 4592 4705 4756 4812 4909 5007 5102 5154 5206 5290 5386 5512 5599 5615 5693 5771 5849 5925 6046 6081 6211 6280 6377 a 30 144 219 301 378 454 517 610 695 769 819 947 1023 1075 1147 1208 1283 1412 1473 1545 1614 1687 1762 1844 1942 2017 2158 2235 2268 2344 2471 2556 2608 2693 2800 2868 2954 3029 3117 3193 3241 3350 3426 3471 3576 3621 3722 3804 3860 3958 4023 4096 4178 4283 4365 4439 4620 4705 4756 4812 4909 5007 5102 5154 5206 5290 5386 5512 5599 5615 5693 5771 5849 5925 6046 6081 6211 6280 6377 a 30 144 219 301 378 454 517 610 695 769 819 947 1023 1075 1147 1208 1283 1412 1473 1545 1614 1687 1762 1844 1942 2017 2158 2235 2268 2344 2471 2556 2608 2693 2800 2868 2954 3029 3117 3193 3241 3350 3426 3471 3576 3621 3722 3804 3860 3958 4023 4096 4178 4283 4365 4439 4620 4705 4756 4812 4909 5007 5102 5154 5232 5290 5386 5512 5599 5615 5693 5771 5849 5925 6046 6081 6211 6280 6377 a 30 144 219 301 378 454 517 610 695 769 819 947 1023 1075 1147 1208 1283 1412 1473 1545 1614 1687 1762 1844 1942 2017 2158 2235 2268 2344 2471 2556 2608 2693 2800 2868 2954 3029 3117 3193 3241 3350 3426 3471 3576 3621 3722 3804 3860 3926 4023 4096 4178 4283 4365 4439 4620 4705 4756 4812 4909 5007 5102 5154 5232 5290 5386 5512 5599 5615 5693 5771 5849 5925 6046 6081 6211 6280 6377 a 30 144 219 301 378 454 517 610 695 769 819 947 1023 1075 1147 1208 1283 1412 1473 1545 1614 1687 1762 1844 1942 2017 2158 2235 2268 2344 2471 2556 2608 2693 2800 2868 2954 3029 3117 3193 3241 3350 3426 3471 3576 3621 3722 3804 3860 3926 4023 4096 4178 4283 4365 4518 4620 4705 4756 4812 4909 5007 5102 5154 5232 5290 5386 5512 5599 5615 5693 5771 5849 5925 6046 6081 6211 6280 6377 a 30 144 219 301 378 454 517 610 695 769 819 947 1023 1075 1147 1208 1283 1412 1473 1545 1614 1687 1762 1844 1942 2017 2158 2235 2268 2344 2471 2556 2608 2693 2800 2868 2954 3029 3117 3193 3241 3350 3426 3471 3576 3621 3722 3804 3860 3926 4023 4178 4283 4365 4416 4518 4620 4705 4756 4812 4909 5007 5102 5154 5232 5290 5386 5512 5599 5615 5693 5771 5849 5925 6046 6081 6211 6280 6377 a 30 144 219 301 378 454 517 610 695 769 819 947 1023 1075 1147 1208 1283 1412 1473 1545 1614 1687 1762 1844 1942 2017 2158 2235 2268 2344 2471 2556 2608 2693 2800 2868 2954 3029 3117 3193 3241 3350 3426 3471 3576 3621 3722 3804 3860 3926 4039 4178 4283 4365 4416 4518 4620 4705 4756 4812 4909 5007 5102 5154 5232 5290 5386 5512 5599 5615 5693 5771 5849 5925 6046 6081 6211 6280 6377 a 30 144 219 301 378 454 517 610 695 769 819 947 1023 1075 1147 1208 1283 1412 1473 1545 1614 1687 1762 1844 1942 2017 2158 2235 2268 2344 2471 2556 2608 2693 2800 2868 2954 3029 3117 3193 3241 3350 3426 3471 3576 3621 3722 3804 3860 3926 4039 4145 4178 4283 4365 4416 4518 4620 4756 4812 4909 5007 5102 5154 5232 5290 5386 5512 5599 5615 5693 5771 5849 5925 6046 6081 6211 6280 6377 a 30 144 219 301 378 454 517 610 695 769 819 947 1023 1075 1147 1208 1283 1412 1473 1545 1614 1687 1762 1844 1942 2017 2158 2235 2268 2344 2471 2556 2608 2693 2800 2868 2954 3029 3117 3193 3350 3426 3471 3576 3621 3722 3804 3860 3926 4039 4145 4178 4283 4365 4416 4518 4620 4663 4756 4812 4909 5007 5102 5154 5232 5290 5386 5512 5599 5615 5693 5771 5849 5925 6046 6081 6211 6280 6377 a 30 144 219 301 378 454 517 610 695 769 819 947 1023 1081 1147 1208 1283 1412 1473 1545 1614 1687 1762 1844 1942 2017 2158 2235 2268 2344 2471 2556 2608 2693 2800 2868 2954 3029 3117 3193 3350 3426 3471 3576 3621 3722 3804 3860 3926 4039 4145 4178 4283 4365 4416 4518 4620 4663 4756 4812 4909 5007 5102 5154 5232 5290 5386 5512 5599 5615 5693 5771 5849 5925 6046 6081 6211 6280 6377 a 30 144 219 301 378 454 517 610 695 769 819 947 1023 1081 1147 1208 1283 1412 1473 1545 1614 1687 1762 1844 1942 2017 2158 2235 2268 2344 2471 2556 2608 2693 2800 2868 2954 3029 3117 3193 3265 3350 3426 3471 3576 3621 3722 3804 3860 3926 4039 4178 4283 4365 4416 4518 4620 4663 4756 4812 4909 5007 5102 5154 5232 5290 5386 5512 5599 5615 5693 5771 5849 5925 6046 6081 6211 6280 6377 a 30 144 219 301 378 454 517 610 695 769 819 947 1023 1081 1147 1208 1283 1412 1473 1545 1614 1687 1762 1844 1942 2017 2158 2235 2268 2344 2471 2556 2608 2800 2868 2954 3029 3117 3193 3265 3350 3426 3471 3576 3621 3722 3804 3860 3926 4039 4115 4178 4283 4365 4416 4518 4620 4663 4756 4812 4909 5007 5102 5154 5232 5290 5386 5512 5599 5615 5693 5771 5849 5925 6046 6081 6211 6280 6377 a 30 144 219 301 378 454 517 610 695 769 819 947 1023 1081 1147 1208 1283 1412 1473 1545 1614 1687 1762 1844 1942 2017 2158 2235 2268 2344 2471 2556 2608 2680 2800 2868 2954 3029 3117 3193 3265 3350 3426 3471 3576 3621 3722 3804 3860 3926 4039 4115 4178 4283 4365 4416 4518 4620 4663 4756 4812 4909 5007 5102 5154 5232 5290 5386 5512 5599 5615 5693 5771 5849 5925 6046 6081 6211 6377 a 144 219 301 378 454 517 610 695 769 819 947 1023 1081 1147 1208 1283 1412 1473 1545 1614 1687 1762 1844 1942 2017 2158 2235 2268 2344 2471 2556 2608 2680 2800 2868 2954 3029 3117 3193 3265 3350 3426 3471 3576 3621 3722 3804 3860 3926 4039 4115 4178 4283 4365 4416 4518 4620 4663 4756 4812 4909 5007 5102 5154 5232 5290 5386 5512 5599 5615 5693 5771 5849 5925 6046 6081 6211 6293 6377 a 60 144 219 301 378 454 517 610 695 769 819 947 1023 1081 1147 1208 1283 1412 1473 1545 1614 1687 1762 1844 1942 2017 2158 2235 2268 2344 2471 2556 2608 2680 2800 2868 2954 3029 3117 3193 3265 3350 3426 3471 3576 3621 3722 3804 3860 3926 4039 4115 4178 4283 4365 4416 4518 4663 4756 4812 4909 5007 5102 5154 5232 5290 5386 5512 5599 5615 5693 5771 5849 5925 6046 6081 6211 6293 6377 a 60 144 219 301 378 454 517 610 695 769 819 947 1023 1081 1147 1208 1283 1412 1473 1545 1614 1687 1762 1844 1942 2017 2158 2235 2268 2344 2471 2556 2608 2680 2800 2868 2954 3029 3117 3193 3265 3350 3426 3471 3576 3621 3722 3804 3926 4039 4115 4178 4283 4365 4416 4518 4590 4663 4756 4812 4909 5007 5102 5154 5232 5290 5386 5512 5599 5615 5693 5771 5849 5925 6046 6081 6211 6293 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_01_0297.dat" User time (seconds): 3473.15 System time (seconds): 9.80 Percent of CPU this job got: 200% Elapsed (wall clock) time (h:mm:ss or m:ss): 29:00.93 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): 3332076 Average resident set size (kbytes): 0 Major (requiring I/O) page faults: 0 Minor (reclaiming a frame) page faults: 3371971 Voluntary context switches: 68428 Involuntary context switches: 12764 Swaps: 0 File system inputs: 0 File system outputs: 25944 Socket messages sent: 0 Socket messages received: 0 Signals delivered: 0 Page size (bytes): 4096 Exit status: 0 #END: [Fri Sep 8 18:04:45 2023]