#BEGIN: [Sat Sep 9 01:29:01 2023] #HOST: s15 #TIMELIMIT: 1800 #MEMLIMIT: 0 #SOLVER: shortest-wallclock-ai-planning2-shortest1 #INSTANCE1: /benchmark/2022benchmark/benchmark/queen/queen050x050.col #INSTANCE2: /benchmark/2022benchmark/benchmark/queen/queen050x050_02_6166.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/queen050x050.col /benchmark/2022benchmark/benchmark/queen/queen050x050_02_6166.dat s 1470 434 528 2301 1918 2003 1658 2063 186 85 1389 1257 1625 1437 1091 950 655 1196 2217 711 2281 572 2495 1243 1348 1842 233 1579 469 977 2402 1966 1773 764 2159 1044 1515 854 1149 1710 847 2106 132 321 40 2376 374 612 1888 t 2402 321 612 1981 1389 858 847 2159 2215 280 2301 1888 1044 764 1842 2111 954 233 1918 2063 1672 2003 1710 1348 670 85 2376 434 132 1469 528 2256 374 40 1257 1437 1243 727 1091 1625 1196 467 950 1773 2495 186 1516 1579 555 a YES a 40 85 132 186 233 321 374 434 469 528 572 612 655 711 764 847 854 950 977 1044 1091 1149 1196 1243 1257 1348 1389 1437 1470 1515 1579 1625 1658 1710 1773 1842 1888 1918 1966 2003 2063 2106 2159 2217 2281 2301 2376 2402 2495 a 40 85 132 186 233 280 321 374 434 528 572 612 655 711 764 847 854 950 977 1044 1091 1149 1196 1243 1257 1348 1389 1437 1470 1515 1579 1625 1658 1710 1773 1842 1888 1918 1966 2003 2063 2106 2159 2217 2281 2301 2376 2402 2495 a 40 85 132 186 233 280 321 374 434 469 528 612 655 711 764 847 854 950 977 1044 1091 1149 1196 1243 1257 1348 1389 1437 1470 1515 1579 1625 1658 1710 1773 1842 1888 1918 1966 2003 2063 2106 2159 2217 2281 2301 2376 2402 2495 a 40 85 132 186 233 280 321 374 434 469 528 555 612 711 764 847 854 950 977 1044 1091 1149 1196 1243 1257 1348 1389 1437 1470 1515 1579 1625 1658 1710 1773 1842 1888 1918 1966 2003 2063 2106 2159 2217 2281 2301 2376 2402 2495 a 40 85 132 186 233 280 321 374 434 469 528 555 612 667 711 764 847 854 950 977 1044 1091 1149 1196 1243 1257 1348 1389 1437 1470 1515 1579 1625 1658 1710 1773 1842 1888 1918 1966 2003 2063 2106 2159 2281 2301 2376 2402 2495 a 40 85 132 186 233 280 321 374 434 469 528 555 612 667 711 764 847 854 950 977 1044 1091 1149 1196 1243 1257 1348 1389 1437 1470 1579 1625 1658 1710 1773 1842 1888 1918 1966 2003 2063 2106 2159 2215 2281 2301 2376 2402 2495 a 40 85 132 186 233 280 321 374 434 469 528 555 612 667 711 764 847 854 950 977 1044 1091 1149 1196 1243 1257 1348 1389 1437 1470 1579 1625 1658 1710 1773 1842 1888 1918 1972 2003 2063 2106 2159 2215 2281 2301 2376 2402 2495 a 40 85 116 186 233 280 321 374 434 469 528 555 612 667 711 764 847 854 950 977 1044 1091 1149 1196 1243 1257 1348 1389 1437 1470 1579 1625 1658 1710 1773 1842 1888 1918 1972 2003 2063 2106 2159 2215 2281 2301 2376 2402 2495 a 40 85 116 186 233 280 321 374 434 469 528 555 612 667 711 764 847 950 977 1044 1091 1149 1196 1243 1257 1348 1389 1437 1470 1504 1579 1625 1658 1710 1773 1842 1888 1918 1972 2003 2063 2106 2159 2215 2281 2301 2376 2402 2495 a 40 85 116 186 233 280 321 374 434 469 528 555 612 667 711 764 847 950 982 1044 1091 1149 1196 1243 1257 1348 1389 1437 1470 1504 1579 1625 1658 1710 1773 1842 1888 1918 1972 2003 2063 2106 2159 2215 2281 2301 2376 2402 2495 a 40 85 116 186 233 280 321 374 434 469 528 555 612 667 711 764 847 856 950 982 1044 1091 1149 1196 1243 1257 1348 1389 1437 1470 1504 1579 1625 1658 1710 1773 1842 1888 1918 1972 2003 2063 2159 2215 2281 2301 2376 2402 2495 a 40 85 116 186 233 280 321 374 434 469 528 555 612 667 764 847 856 950 982 1044 1091 1149 1196 1243 1257 1348 1389 1437 1470 1504 1579 1625 1658 1710 1773 1842 1888 1918 1972 2003 2063 2111 2159 2215 2281 2301 2376 2402 2495 a 40 85 116 186 233 280 321 374 434 469 528 555 612 667 764 847 856 950 977 1044 1091 1149 1196 1243 1257 1348 1389 1437 1470 1504 1579 1625 1658 1710 1773 1842 1888 1918 1972 2003 2063 2111 2159 2215 2281 2301 2376 2402 2495 a 40 85 116 186 233 280 321 374 434 469 528 555 612 667 764 847 856 950 977 1044 1091 1149 1196 1243 1257 1348 1389 1437 1470 1504 1579 1625 1658 1710 1773 1842 1888 1918 1972 2003 2063 2111 2159 2215 2282 2301 2376 2402 2495 a 40 85 116 186 233 280 321 374 434 469 528 555 612 667 764 847 856 950 977 1044 1091 1149 1196 1243 1257 1348 1389 1437 1470 1504 1579 1625 1658 1710 1773 1842 1888 1918 1981 2003 2063 2111 2159 2215 2282 2301 2376 2402 2495 a 40 85 116 186 233 280 321 374 434 528 555 612 667 719 764 847 856 950 977 1044 1091 1149 1196 1243 1257 1348 1389 1437 1470 1504 1579 1625 1658 1710 1773 1842 1888 1918 1981 2003 2063 2111 2159 2215 2282 2301 2376 2402 2495 a 40 85 116 186 233 280 321 374 434 456 528 555 612 667 719 764 847 950 977 1044 1091 1149 1196 1243 1257 1348 1389 1437 1470 1504 1579 1625 1658 1710 1773 1842 1888 1918 1981 2003 2063 2111 2159 2215 2282 2301 2376 2402 2495 a 40 85 116 186 233 280 321 374 434 456 528 555 612 667 719 764 847 950 977 1044 1091 1149 1196 1243 1257 1348 1389 1437 1470 1504 1579 1625 1672 1710 1773 1842 1888 1918 1981 2003 2063 2111 2159 2215 2282 2301 2376 2402 2495 a 40 85 116 186 233 280 321 374 434 456 528 555 612 667 719 764 847 858 950 977 1044 1091 1149 1196 1243 1257 1348 1389 1437 1504 1579 1625 1672 1710 1773 1842 1888 1918 1981 2003 2063 2111 2159 2215 2282 2301 2376 2402 2495 a 40 85 116 186 233 280 321 374 434 456 528 555 612 667 764 847 858 950 977 1044 1091 1149 1196 1243 1257 1348 1389 1437 1469 1504 1579 1625 1672 1710 1773 1842 1888 1918 1981 2003 2063 2111 2159 2215 2282 2301 2376 2402 2495 a 40 85 116 186 233 280 321 374 434 456 528 555 612 670 764 847 858 950 977 1044 1091 1149 1196 1243 1257 1348 1389 1437 1469 1504 1579 1625 1672 1710 1773 1842 1888 1918 1981 2003 2063 2111 2159 2215 2282 2301 2376 2402 2495 a 40 85 116 186 233 280 321 374 434 456 528 555 612 670 727 764 847 858 950 1044 1091 1149 1196 1243 1257 1348 1389 1437 1469 1504 1579 1625 1672 1710 1773 1842 1888 1918 1981 2003 2063 2111 2159 2215 2282 2301 2376 2402 2495 a 40 85 116 186 233 280 321 374 434 467 528 555 612 670 727 764 847 858 950 1044 1091 1149 1196 1243 1257 1348 1389 1437 1469 1504 1579 1625 1672 1710 1773 1842 1888 1918 1981 2003 2063 2111 2159 2215 2282 2301 2376 2402 2495 a 40 85 116 186 233 280 321 374 434 467 528 555 612 670 727 764 847 858 950 954 1044 1091 1149 1196 1243 1257 1348 1389 1437 1469 1579 1625 1672 1710 1773 1842 1888 1918 1981 2003 2063 2111 2159 2215 2282 2301 2376 2402 2495 a 40 85 186 233 280 321 374 434 467 528 555 612 670 727 764 847 858 950 954 1044 1091 1149 1196 1243 1257 1348 1389 1437 1469 1516 1579 1625 1672 1710 1773 1842 1888 1918 1981 2003 2063 2111 2159 2215 2282 2301 2376 2402 2495 a 40 85 186 233 280 321 374 434 467 528 555 612 670 727 764 847 858 950 954 1044 1091 1149 1196 1243 1257 1348 1389 1437 1469 1516 1579 1625 1672 1710 1773 1842 1888 1918 1981 2003 2063 2111 2159 2215 2256 2301 2376 2402 2495 a 40 85 132 186 233 280 321 374 434 467 528 555 612 670 727 764 847 858 950 954 1044 1091 1196 1243 1257 1348 1389 1437 1469 1516 1579 1625 1672 1710 1773 1842 1888 1918 1981 2003 2063 2111 2159 2215 2256 2301 2376 2402 2495 Command being timed: "/solvers/driver/run.py --config=shortest-single --memory-limit=54 --time-limit=1800 /benchmark/2022benchmark/benchmark/queen/queen050x050.col /benchmark/2022benchmark/benchmark/queen/queen050x050_02_6166.dat" User time (seconds): 1737.64 System time (seconds): 2.88 Percent of CPU this job got: 99% Elapsed (wall clock) time (h:mm:ss or m:ss): 29:00.68 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): 8608196 Average resident set size (kbytes): 0 Major (requiring I/O) page faults: 0 Minor (reclaiming a frame) page faults: 2227133 Voluntary context switches: 25 Involuntary context switches: 7850 Swaps: 0 File system inputs: 0 File system outputs: 6560 Socket messages sent: 0 Socket messages received: 0 Signals delivered: 0 Page size (bytes): 4096 Exit status: 0 #END: [Sat Sep 9 01:58:02 2023]