#BEGIN: [Sat Sep 9 01:23:12 2023] #HOST: s13 #TIMELIMIT: 1800 #MEMLIMIT: 0 #SOLVER: shortest-wallclock-ai-planning2-shortest1 #INSTANCE1: /benchmark/2022benchmark/benchmark/queen/queen030x030.col #INSTANCE2: /benchmark/2022benchmark/benchmark/queen/queen030x030_02_4963.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/queen030x030.col /benchmark/2022benchmark/benchmark/queen/queen030x030_02_4963.dat s 536 106 357 277 82 229 389 128 18 310 671 699 814 895 504 781 725 413 643 480 753 50 448 615 254 561 576 842 162 t 615 17 814 508 248 78 643 536 160 897 442 725 842 299 753 699 561 390 200 53 224 414 312 576 781 475 139 671 106 a YES a 18 50 82 106 128 162 229 254 277 310 357 389 413 448 480 504 536 561 576 615 643 671 699 725 753 781 814 842 895 a 18 50 82 106 128 197 229 254 277 310 357 389 413 448 480 504 536 561 576 615 643 671 699 725 753 781 814 842 895 a 18 50 82 106 128 160 197 229 254 277 357 389 413 448 480 504 536 561 576 615 643 671 699 725 753 781 814 842 895 a 18 50 82 106 128 160 197 229 277 312 357 389 413 448 480 504 536 561 576 615 643 671 699 725 753 781 814 842 895 a 18 50 82 106 128 160 197 229 241 277 312 357 389 413 448 480 504 536 561 576 615 643 671 699 725 753 814 842 895 a 18 82 106 128 160 197 229 241 277 312 357 389 413 448 480 504 536 561 576 615 643 671 699 725 753 800 814 842 895 a 18 82 106 128 160 197 224 241 277 312 357 389 413 448 480 504 536 561 576 615 643 671 699 725 753 800 814 842 895 a 18 82 106 128 160 197 224 241 277 312 357 389 413 448 480 504 536 561 576 615 643 671 699 725 753 800 814 842 889 a 55 82 106 128 160 197 224 241 277 312 357 389 413 448 480 504 536 561 576 615 643 671 699 725 753 800 814 842 889 a 27 55 82 106 128 160 197 224 241 277 312 389 413 448 480 504 536 561 576 615 643 671 699 725 753 800 814 842 889 a 27 55 78 106 128 160 197 224 241 277 312 389 413 448 480 504 536 561 576 615 643 671 699 725 753 800 814 842 889 a 27 55 78 106 128 160 197 224 241 312 337 389 413 448 480 504 536 561 576 615 643 671 699 725 753 800 814 842 889 a 27 55 78 106 128 160 197 224 241 299 312 337 413 448 480 504 536 561 576 615 643 671 699 725 753 800 814 842 889 a 27 55 78 106 128 160 197 224 241 299 312 337 413 448 480 504 536 561 576 615 643 671 699 725 772 800 814 842 889 a 27 55 78 106 123 160 197 224 241 299 312 337 413 448 480 504 536 561 576 615 643 671 699 725 772 800 814 842 889 a 27 55 78 106 123 160 197 224 248 299 312 337 413 448 480 504 536 561 576 615 643 671 699 725 772 800 814 842 889 a 27 55 78 106 123 160 197 224 248 299 312 337 413 448 480 481 536 561 576 615 643 671 699 725 772 800 814 842 889 a 27 55 78 106 123 160 197 224 248 299 312 337 384 448 480 481 536 561 576 615 643 671 699 725 772 800 814 842 889 a 27 53 78 106 123 160 197 224 248 299 312 337 384 448 480 481 536 561 576 615 643 671 699 725 772 800 814 842 889 a 27 53 78 106 123 160 197 224 248 299 312 337 384 448 475 481 536 561 576 615 643 671 699 725 772 800 814 842 889 a 27 53 78 106 123 160 197 224 248 299 312 337 384 418 475 481 536 561 576 615 643 671 699 725 772 800 814 842 889 a 27 53 78 106 123 160 197 224 248 299 312 337 390 418 475 481 536 561 576 615 643 671 699 725 772 800 814 842 889 a 27 53 78 106 123 160 197 224 248 299 312 337 390 418 442 475 481 536 561 576 615 643 671 699 725 800 814 842 889 a 27 53 78 106 160 197 224 248 299 312 337 390 418 442 475 481 536 561 576 615 643 671 699 725 753 800 814 842 889 a 27 53 78 106 121 160 197 224 248 299 312 337 390 418 442 475 536 561 576 615 643 671 699 725 753 800 814 842 889 a 27 53 78 106 121 160 197 224 248 299 312 337 390 442 475 508 536 561 576 615 643 671 699 725 753 800 814 842 889 a 27 53 78 106 121 160 224 248 299 312 337 390 414 442 475 508 536 561 576 615 643 671 699 725 753 800 814 842 889 a 17 53 78 106 121 160 224 248 299 312 337 390 414 442 475 508 536 561 576 615 643 671 699 725 753 800 814 842 889 a 17 53 78 106 121 160 200 224 248 299 312 337 390 414 442 475 508 536 561 576 615 643 671 699 725 753 814 842 889 a 17 53 78 106 160 200 224 248 299 312 337 390 414 442 475 508 536 561 576 615 643 671 699 725 753 781 814 842 889 a 17 53 78 106 139 160 200 224 248 299 312 337 390 414 442 475 508 536 561 576 615 643 671 699 725 753 781 814 842 a 17 53 78 106 139 160 200 224 248 299 312 390 414 442 475 508 536 561 576 615 643 671 699 725 753 781 814 842 897 Command being timed: "/solvers/driver/run.py --config=shortest-single --memory-limit=54 --time-limit=1800 /benchmark/2022benchmark/benchmark/queen/queen030x030.col /benchmark/2022benchmark/benchmark/queen/queen030x030_02_4963.dat" User time (seconds): 1736.75 System time (seconds): 3.53 Percent of CPU this job got: 99% Elapsed (wall clock) time (h:mm:ss or m:ss): 29:00.39 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): 11162540 Average resident set size (kbytes): 0 Major (requiring I/O) page faults: 0 Minor (reclaiming a frame) page faults: 2889131 Voluntary context switches: 27 Involuntary context switches: 10686 Swaps: 0 File system inputs: 0 File system outputs: 1760 Socket messages sent: 0 Socket messages received: 0 Signals delivered: 0 Page size (bytes): 4096 Exit status: 0 #END: [Sat Sep 9 01:52:12 2023]