#BEGIN: [Thu Sep 7 23:14:33 2023] #HOST: s11 #TIMELIMIT: 1800 #MEMLIMIT: 0 #SOLVER: existent-wallclock-ai-planning2-existent1 #INSTANCE1: /benchmark/2022benchmark/benchmark/queen/queen050x050.col #INSTANCE2: /benchmark/2022benchmark/benchmark/queen/queen050x050_04_9047.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-single --memory-limit=54 --time-limit=1800 /benchmark/2022benchmark/benchmark/queen/queen050x050.col /benchmark/2022benchmark/benchmark/queen/queen050x050_04_9047.dat s 2402 2301 1672 1842 374 606 1625 434 764 1710 1954 1348 1462 233 2205 1888 553 1243 1579 847 2281 186 1918 1515 716 1773 1257 670 1196 40 1389 1044 2011 977 950 2495 2117 2376 321 2063 528 85 1091 1149 132 1437 280 469 2159 t 706 186 40 1515 1389 434 1970 321 2301 847 1257 612 2063 2003 1469 1091 280 1579 1773 2159 233 1658 528 2376 572 854 2111 466 2402 667 1196 374 1149 1044 977 1625 950 132 764 1918 2281 1437 2205 1888 2495 1348 1710 1842 1243 a YES a 40 85 132 186 233 280 321 374 434 469 528 553 606 670 716 764 847 950 977 1044 1091 1149 1196 1243 1257 1348 1389 1437 1462 1515 1579 1625 1672 1710 1773 1842 1888 1918 1954 2011 2063 2117 2159 2205 2281 2301 2376 2402 2495 a 40 85 132 186 233 280 321 374 434 469 528 553 606 670 716 764 847 854 950 977 1044 1091 1149 1196 1243 1257 1348 1389 1437 1462 1515 1579 1625 1672 1710 1773 1842 1888 1918 2011 2063 2117 2159 2205 2281 2301 2376 2402 2495 a 40 85 132 186 233 280 321 374 434 469 528 558 606 670 716 764 847 854 950 977 1044 1091 1149 1196 1243 1257 1348 1389 1437 1462 1515 1579 1625 1672 1710 1773 1842 1888 1918 2011 2063 2117 2159 2205 2281 2301 2376 2402 2495 a 40 85 132 186 233 280 321 374 434 469 528 558 606 670 716 764 847 854 950 977 1044 1091 1149 1196 1243 1257 1348 1389 1437 1462 1515 1579 1625 1672 1710 1773 1842 1888 1918 2003 2063 2117 2159 2205 2281 2301 2376 2402 2495 a 40 85 132 186 233 280 321 374 434 469 528 558 606 670 716 764 847 854 950 977 1044 1091 1149 1196 1243 1257 1348 1389 1437 1462 1515 1579 1625 1672 1710 1773 1842 1888 1918 2003 2063 2111 2159 2205 2281 2301 2376 2402 2495 a 40 85 132 186 233 280 321 374 434 469 528 558 606 716 764 847 854 950 977 1044 1091 1149 1196 1243 1257 1348 1389 1437 1462 1515 1579 1625 1672 1710 1773 1842 1888 1918 1970 2003 2063 2111 2159 2205 2281 2301 2376 2402 2495 a 40 85 132 186 233 280 321 374 434 469 528 558 606 667 764 847 854 950 977 1044 1091 1149 1196 1243 1257 1348 1389 1437 1462 1515 1579 1625 1672 1710 1773 1842 1888 1918 1970 2003 2063 2111 2159 2205 2281 2301 2376 2402 2495 a 40 85 132 186 233 280 321 374 434 466 528 558 606 667 764 847 854 950 977 1044 1091 1149 1196 1243 1257 1348 1389 1437 1462 1515 1579 1625 1672 1710 1773 1842 1888 1918 1970 2003 2063 2111 2159 2205 2281 2301 2376 2402 2495 a 40 85 132 186 233 280 321 374 434 466 528 558 667 706 764 847 854 950 977 1044 1091 1149 1196 1243 1257 1348 1389 1437 1462 1515 1579 1625 1672 1710 1773 1842 1888 1918 1970 2003 2063 2111 2159 2205 2281 2301 2376 2402 2495 a 40 85 132 186 233 280 321 374 434 466 528 558 612 667 706 764 847 854 950 977 1044 1091 1149 1196 1243 1257 1348 1389 1437 1515 1579 1625 1672 1710 1773 1842 1888 1918 1970 2003 2063 2111 2159 2205 2281 2301 2376 2402 2495 a 40 85 132 186 233 280 321 374 434 466 528 558 612 667 706 764 847 854 950 977 1044 1091 1149 1196 1243 1257 1348 1389 1437 1469 1515 1579 1625 1710 1773 1842 1888 1918 1970 2003 2063 2111 2159 2205 2281 2301 2376 2402 2495 a 40 85 132 186 233 280 321 374 434 466 528 612 667 706 764 847 854 950 977 1044 1091 1149 1196 1243 1257 1348 1389 1437 1469 1515 1579 1625 1658 1710 1773 1842 1888 1918 1970 2003 2063 2111 2159 2205 2281 2301 2376 2402 2495 a 40 132 186 233 280 321 374 434 466 528 572 612 667 706 764 847 854 950 977 1044 1091 1149 1196 1243 1257 1348 1389 1437 1469 1515 1579 1625 1658 1710 1773 1842 1888 1918 1970 2003 2063 2111 2159 2205 2281 2301 2376 2402 2495 Command being timed: "/solvers/driver/run.py --config=existent-single --memory-limit=54 --time-limit=1800 /benchmark/2022benchmark/benchmark/queen/queen050x050.col /benchmark/2022benchmark/benchmark/queen/queen050x050_04_9047.dat" User time (seconds): 1.01 System time (seconds): 0.05 Percent of CPU this job got: 99% Elapsed (wall clock) time (h:mm:ss or m:ss): 0:01.07 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): 90444 Average resident set size (kbytes): 0 Major (requiring I/O) page faults: 0 Minor (reclaiming a frame) page faults: 44566 Voluntary context switches: 21 Involuntary context switches: 13 Swaps: 0 File system inputs: 0 File system outputs: 6536 Socket messages sent: 0 Socket messages received: 0 Signals delivered: 0 Page size (bytes): 4096 Exit status: 0 #END: [Thu Sep 7 23:14:34 2023]