#BEGIN: [Thu Sep 7 23:14:19 2023] #HOST: s11 #TIMELIMIT: 1800 #MEMLIMIT: 0 #SOLVER: existent-wallclock-ai-planning2-existent1 #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 -v /home/share/benchmark/ISR-benchmark:/benchmark ai-planning2 --config=existent-single --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 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 897 a 17 53 78 106 130 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 53 78 106 130 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 130 153 200 224 248 299 312 337 390 414 442 475 508 536 561 576 615 643 671 699 725 781 814 842 889 a 17 53 78 130 153 200 224 248 299 312 337 390 414 442 475 508 536 561 576 615 643 671 699 725 766 781 814 842 889 a 17 53 78 98 130 153 200 224 299 312 337 390 414 442 475 508 536 561 576 615 643 671 699 725 766 781 814 842 889 a 17 57 78 98 130 153 200 224 299 312 337 390 414 442 475 508 536 561 576 615 643 671 699 725 766 781 814 842 889 a 17 57 78 130 153 200 224 248 299 312 337 390 414 442 475 508 536 561 576 615 643 671 699 725 766 781 814 842 889 a 17 57 78 106 130 153 200 224 248 299 312 337 390 414 442 475 508 536 561 576 615 643 671 699 725 781 814 842 889 a 17 57 78 106 130 153 200 224 248 299 312 337 390 414 442 475 508 536 563 576 615 643 671 699 725 781 814 842 889 a 17 57 78 106 130 153 200 224 248 312 337 390 414 442 475 508 536 563 576 615 643 671 699 725 779 781 814 842 889 a 17 57 78 106 130 153 200 224 248 300 312 337 414 442 475 508 536 563 576 615 643 671 699 725 779 781 814 842 889 a 17 57 78 111 130 153 200 224 248 300 312 337 414 442 475 508 536 563 576 615 643 671 699 725 779 781 814 842 889 a 17 57 78 111 130 200 224 248 300 312 337 363 414 442 475 508 536 563 576 615 643 671 699 725 779 781 814 842 889 a 17 57 78 111 130 158 200 224 300 312 337 363 414 442 475 508 536 563 576 615 643 671 699 725 779 781 814 842 889 a 17 57 78 111 130 158 200 224 270 312 337 363 414 442 475 508 536 563 576 615 643 671 699 725 779 781 814 842 889 a 17 57 78 111 158 200 224 270 280 312 337 363 414 442 475 508 536 563 576 615 643 671 699 725 779 781 814 842 889 a 17 57 78 111 139 158 200 224 270 280 312 337 363 414 442 475 508 536 563 576 615 643 671 699 725 779 781 814 842 a 17 57 78 111 139 158 200 224 270 280 312 337 363 414 442 475 536 563 576 615 643 671 699 725 779 781 814 842 898 a 17 57 78 111 139 158 200 224 270 280 312 337 363 414 442 475 509 536 563 576 615 643 671 699 725 781 814 842 898 a 17 57 78 111 139 158 200 224 270 280 312 337 363 414 442 509 536 563 576 615 643 671 699 725 775 781 814 842 898 a 17 78 111 139 158 200 224 270 280 312 337 363 414 442 477 509 536 563 576 615 643 671 699 725 775 781 814 842 898 a 17 78 111 139 158 200 224 270 280 312 337 376 414 442 477 509 536 563 576 615 643 671 699 725 775 781 814 842 898 a 17 78 111 139 158 183 224 270 280 312 337 376 414 442 477 509 536 563 576 615 643 671 699 725 775 781 814 842 898 a 17 50 78 111 139 158 183 270 280 312 337 376 414 442 477 509 536 563 576 615 643 671 699 725 775 781 814 842 898 a 17 50 78 111 139 158 183 211 270 280 312 337 376 414 442 477 509 536 563 576 615 643 671 699 725 775 814 842 898 a 17 50 78 111 139 158 183 211 270 280 337 376 414 442 477 509 536 563 576 615 643 671 699 725 775 794 814 842 898 a 17 50 78 111 139 158 183 211 270 280 337 376 414 432 477 509 536 563 576 615 643 671 699 725 775 794 814 842 898 a 17 50 78 111 139 158 183 270 280 301 337 376 414 432 477 509 536 563 576 615 643 671 699 725 775 794 814 842 898 a 17 50 78 111 139 158 183 270 280 301 337 376 414 432 477 509 536 563 576 615 643 671 699 725 775 794 814 842 892 a 17 50 78 111 139 158 183 268 280 301 337 376 414 432 477 509 536 563 576 615 643 671 699 725 775 794 814 842 892 a 17 50 78 111 139 158 183 240 268 280 301 337 376 432 477 509 536 563 576 615 643 671 699 725 775 794 814 842 892 a 17 50 78 111 139 158 183 240 268 280 301 337 376 444 477 509 536 563 576 615 643 671 699 725 775 794 814 842 892 a 17 50 78 111 132 158 183 240 268 280 301 337 376 444 477 509 536 563 576 615 643 671 699 725 775 794 814 842 892 a 17 50 78 111 132 158 183 240 259 280 301 337 376 444 477 509 536 563 576 615 643 671 699 725 775 794 814 842 892 a 17 50 78 111 132 158 183 240 259 280 301 337 376 444 477 509 536 563 576 615 643 671 699 725 775 794 814 842 898 a 17 52 78 111 132 158 183 240 259 280 301 337 376 444 477 509 536 563 576 615 643 671 699 725 775 794 814 842 898 a 17 52 78 111 132 158 183 240 259 280 301 337 376 444 477 509 536 563 576 615 643 671 699 725 775 800 814 842 898 a 17 52 78 111 132 158 183 240 254 280 301 337 376 444 477 509 536 563 576 615 643 671 699 725 775 800 814 842 898 a 17 52 78 111 132 158 183 240 254 280 301 337 376 417 444 509 536 563 576 615 643 671 699 725 775 800 814 842 898 a 17 52 78 111 132 158 183 229 254 280 301 337 376 417 444 509 536 563 576 615 643 671 699 725 775 800 814 842 898 a 17 52 78 111 132 158 183 229 254 280 301 337 376 417 444 480 536 563 576 615 643 671 699 725 775 800 814 842 898 a 17 52 78 111 132 158 183 229 254 280 329 337 376 417 444 480 536 563 576 615 643 671 699 725 775 800 814 842 898 a 17 52 78 111 132 158 183 229 254 280 329 337 376 417 444 480 536 563 576 615 643 671 699 725 775 781 814 842 898 a 17 52 78 111 132 158 183 229 254 280 329 337 417 444 480 500 536 563 576 615 643 671 699 725 775 781 814 842 898 a 17 52 78 111 132 166 183 229 254 280 329 337 417 444 480 500 536 563 576 615 643 671 699 725 775 781 814 842 898 a 17 52 78 111 132 166 188 229 254 280 329 337 417 444 480 500 536 563 576 615 643 671 699 725 775 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=existent-single --memory-limit=54 --time-limit=1800 /benchmark/2022benchmark/benchmark/queen/queen030x030.col /benchmark/2022benchmark/benchmark/queen/queen030x030_03_7394.dat" User time (seconds): 0.36 System time (seconds): 0.03 Percent of CPU this job got: 100% Elapsed (wall clock) time (h:mm:ss or m:ss): 0: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): 38052 Average resident set size (kbytes): 0 Major (requiring I/O) page faults: 0 Minor (reclaiming a frame) page faults: 19897 Voluntary context switches: 22 Involuntary context switches: 7 Swaps: 0 File system inputs: 0 File system outputs: 1608 Socket messages sent: 0 Socket messages received: 0 Signals delivered: 0 Page size (bytes): 4096 Exit status: 0 #END: [Thu Sep 7 23:14:19 2023]