#BEGIN: [Fri Sep 8 17:01:50 2023] #HOST: s09 #TIMELIMIT: 1800 #MEMLIMIT: 0 #SOLVER: shortest-cpu-ai-planning2-shortest2 #INSTANCE1: /benchmark/2022benchmark/benchmark/queen/queen030x030.col #INSTANCE2: /benchmark/2022benchmark/benchmark/queen/queen030x030_03_7394.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/queen030x030.col /benchmark/2022benchmark/benchmark/queen/queen030x030_03_7394.dat s 200 414 615 508 699 224 139 897 442 725 160 781 248 475 753 53 299 390 814 78 561 17 106 842 576 536 671 643 312 t 254 671 337 417 898 615 132 725 188 52 280 17 500 166 536 563 781 385 480 329 699 576 814 111 229 78 444 842 643 a YES 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 a 17 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 897 a 17 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 893 a 17 57 78 106 139 160 200 224 248 299 312 337 390 414 442 475 508 536 561 576 615 643 671 699 725 781 814 842 893 a 17 57 78 106 139 160 200 224 248 299 303 337 390 414 442 475 508 536 561 576 615 643 671 699 725 781 814 842 893 a 17 57 78 106 139 160 200 224 248 299 303 337 390 414 475 508 536 561 576 615 643 671 699 725 772 781 814 842 893 a 17 57 78 106 139 160 224 248 299 303 337 390 414 432 475 508 536 561 576 615 643 671 699 725 772 781 814 842 893 a 17 57 78 106 139 160 188 224 299 303 337 390 414 432 475 508 536 561 576 615 643 671 699 725 772 781 814 842 893 a 17 57 78 106 139 160 188 254 299 303 337 390 414 432 475 508 536 561 576 615 643 671 699 725 772 781 814 842 893 a 17 57 78 106 139 160 188 254 299 303 337 390 414 432 475 500 536 561 576 615 643 671 699 725 772 781 814 842 893 a 17 57 78 106 139 160 188 254 299 303 337 390 414 432 475 500 536 561 576 615 643 671 699 725 772 781 838 842 893 a 17 57 78 106 124 160 188 254 299 303 337 390 414 432 475 500 536 561 576 615 643 671 699 725 772 781 838 842 893 a 17 57 78 106 124 160 188 254 299 303 337 379 414 432 475 500 536 561 576 615 643 671 699 725 772 781 838 842 893 a 17 57 78 106 124 160 188 240 254 299 303 337 379 432 475 500 536 561 576 615 643 671 699 725 772 781 838 842 893 a 17 57 78 106 124 160 188 240 254 299 303 337 379 432 475 500 536 561 576 615 643 671 699 725 774 781 838 842 893 a 17 57 78 106 124 188 240 254 299 303 337 379 400 432 475 500 536 561 576 615 643 671 699 725 774 781 838 842 893 a 17 57 78 124 166 188 240 254 299 303 337 379 400 432 475 500 536 561 576 615 643 671 699 725 774 781 838 842 893 a 17 57 78 111 124 166 188 240 254 299 303 337 379 400 432 475 500 536 576 615 643 671 699 725 774 781 838 842 893 a 17 57 78 111 124 166 188 240 254 299 303 337 379 400 432 475 500 536 563 576 615 643 671 699 725 774 781 838 842 a 17 57 78 111 124 166 188 240 254 299 337 379 400 432 475 500 536 563 576 615 643 671 699 725 774 781 838 842 892 a 17 57 78 111 124 166 188 240 254 329 337 379 400 432 475 500 536 563 576 615 643 671 699 725 774 781 838 842 892 a 17 57 78 111 124 166 188 240 254 273 329 337 379 400 432 500 536 563 576 615 643 671 699 725 774 781 838 842 892 a 17 57 78 111 124 166 188 254 273 329 337 379 400 432 480 500 536 563 576 615 643 671 699 725 774 781 838 842 892 a 17 57 78 111 124 166 188 254 273 329 337 385 400 432 480 500 536 563 576 615 643 671 699 725 774 781 838 842 892 a 17 57 78 111 124 166 188 229 254 273 329 337 385 400 480 500 536 563 576 615 643 671 699 725 774 781 838 842 892 a 17 57 78 111 132 166 188 229 254 273 329 337 385 400 480 500 536 563 576 615 643 671 699 725 774 781 838 842 892 a 17 57 78 111 132 166 188 229 254 273 329 337 385 400 444 480 500 536 563 576 615 643 671 699 725 781 838 842 892 a 17 57 78 111 132 166 188 229 254 273 329 337 385 400 444 480 500 536 563 576 615 643 671 699 725 781 814 842 892 a 17 57 78 111 132 166 188 229 254 273 329 337 385 400 444 480 500 536 563 576 615 643 671 699 725 781 814 842 898 a 17 57 78 111 132 166 188 229 254 273 329 337 385 444 480 500 536 563 576 615 643 671 699 725 772 781 814 842 898 a 17 78 111 132 166 188 229 254 273 329 337 385 417 444 480 500 536 563 576 615 643 671 699 725 772 781 814 842 898 a 17 78 111 132 166 188 229 254 280 329 337 385 417 444 480 500 536 563 576 615 643 671 699 725 772 781 814 842 898 a 17 52 78 111 132 166 188 229 254 280 329 337 385 417 444 480 500 536 563 576 615 643 671 699 725 781 814 842 898 Command being timed: "/solvers/driver/run.py --config=shortest-portfolio --memory-limit=54 --time-limit=1800 /benchmark/2022benchmark/benchmark/queen/queen030x030.col /benchmark/2022benchmark/benchmark/queen/queen030x030_03_7394.dat" User time (seconds): 3468.07 System time (seconds): 12.92 Percent of CPU this job got: 200% Elapsed (wall clock) time (h:mm:ss or m:ss): 28:59.41 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): 10972192 Average resident set size (kbytes): 0 Major (requiring I/O) page faults: 1 Minor (reclaiming a frame) page faults: 9446263 Voluntary context switches: 68457 Involuntary context switches: 12678 Swaps: 0 File system inputs: 0 File system outputs: 1968 Socket messages sent: 0 Socket messages received: 0 Signals delivered: 0 Page size (bytes): 4096 Exit status: 0 #END: [Fri Sep 8 17:30:50 2023]