#BEGIN: [Fri Sep 8 17:19:45 2023] #HOST: s04 #TIMELIMIT: 1800 #MEMLIMIT: 0 #SOLVER: shortest-cpu-ai-planning2-shortest2 #INSTANCE1: /benchmark/2022benchmark/benchmark/queen/queen060x060.col #INSTANCE2: /benchmark/2022benchmark/benchmark/queen/queen060x060_01_8336.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/queen060x060.col /benchmark/2022benchmark/benchmark/queen/queen060x060_01_8336.dat s 3136 2420 1031 866 1223 3285 2026 1199 2839 725 565 1084 2650 3361 2352 3073 498 1440 3461 2255 340 2547 3223 3021 1614 2767 1497 1714 1262 2197 1678 2139 1972 2071 2294 933 398 804 429 1916 282 3595 2946 2722 224 1551 2888 1793 690 975 156 2489 1337 3303 50 3508 108 2612 1847 t 1223 156 2139 1440 3508 2026 933 725 1916 866 649 1847 398 1714 1678 2197 3223 2650 2352 1262 565 3021 804 496 282 340 2489 3073 2547 2071 3131 108 1793 2946 1098 1199 3303 1614 224 2294 2255 1337 2612 429 50 3285 3361 2767 3595 1024 2839 975 2420 1551 690 2888 2722 1972 3461 a YES a 50 108 156 224 282 340 398 429 498 565 690 725 804 866 933 975 1031 1084 1199 1223 1262 1337 1440 1497 1551 1614 1678 1714 1793 1847 1916 1972 2026 2071 2139 2197 2255 2294 2352 2420 2489 2547 2612 2650 2722 2767 2839 2888 2946 3021 3073 3136 3223 3285 3303 3361 3461 3508 3595 a 50 108 156 224 282 340 398 429 565 649 690 725 804 866 933 975 1031 1084 1199 1223 1262 1337 1440 1497 1551 1614 1678 1714 1793 1847 1916 1972 2026 2071 2139 2197 2255 2294 2352 2420 2489 2547 2612 2650 2722 2767 2839 2888 2946 3021 3073 3136 3223 3285 3303 3361 3461 3508 3595 a 50 108 156 224 282 340 398 429 565 649 690 725 804 866 933 975 1031 1098 1199 1223 1262 1337 1440 1497 1551 1614 1678 1714 1793 1847 1916 1972 2026 2071 2139 2197 2255 2294 2352 2420 2489 2547 2612 2650 2722 2767 2839 2888 2946 3021 3073 3136 3223 3285 3303 3361 3461 3508 3595 a 50 108 156 224 282 340 398 429 565 649 690 725 804 866 933 975 1024 1098 1199 1223 1262 1337 1440 1497 1551 1614 1678 1714 1793 1847 1916 1972 2026 2071 2139 2197 2255 2294 2352 2420 2489 2547 2612 2650 2722 2767 2839 2888 2946 3021 3073 3136 3223 3285 3303 3361 3461 3508 3595 a 50 108 156 224 282 340 398 429 496 565 649 690 725 804 866 933 975 1024 1098 1199 1223 1262 1337 1440 1497 1551 1614 1678 1714 1793 1847 1916 1972 2026 2071 2139 2197 2255 2294 2352 2420 2489 2547 2612 2650 2722 2767 2839 2888 2946 3021 3073 3223 3285 3303 3361 3461 3508 3595 a 50 108 156 224 282 340 398 429 496 565 649 690 725 804 866 933 975 1024 1098 1199 1223 1262 1337 1440 1551 1614 1678 1714 1793 1847 1916 1972 2026 2071 2139 2197 2255 2294 2352 2420 2489 2547 2612 2650 2722 2767 2839 2888 2946 3021 3073 3131 3223 3285 3303 3361 3461 3508 3595 Command being timed: "/solvers/driver/run.py --config=shortest-portfolio --memory-limit=54 --time-limit=1800 /benchmark/2022benchmark/benchmark/queen/queen060x060.col /benchmark/2022benchmark/benchmark/queen/queen060x060_01_8336.dat" User time (seconds): 1216.34 System time (seconds): 1.63 Percent of CPU this job got: 100% Elapsed (wall clock) time (h:mm:ss or m:ss): 20:15.74 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): 1386892 Average resident set size (kbytes): 0 Major (requiring I/O) page faults: 0 Minor (reclaiming a frame) page faults: 404626 Voluntary context switches: 47809 Involuntary context switches: 1155 Swaps: 0 File system inputs: 0 File system outputs: 11232 Socket messages sent: 0 Socket messages received: 0 Signals delivered: 0 Page size (bytes): 4096 Exit status: 0 #END: [Fri Sep 8 17:40:01 2023]