#BEGIN: [Sun Sep 10 17:57:58 2023]
#HOST: s05
#TIMELIMIT: 1800
#MEMLIMIT: 0
#SOLVER: longest-wallclock-ai-planning-longest2
#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-planning --config=longest-portfolio --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 82 106 128 162 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 82 106 128 162 197 229 254 277 310 357 389 413 448 480 504 536 561 576 615 643 671 699 725 753 781 814 842 890
a 18 55 82 106 128 162 197 254 277 310 357 389 413 448 480 504 536 561 576 615 643 671 699 725 753 781 814 842 890
a 18 55 82 106 162 197 218 254 277 310 357 389 413 448 480 504 536 561 576 615 643 671 699 725 753 781 814 842 890
a 18 55 82 106 126 162 197 218 254 277 310 357 389 413 448 480 504 536 561 615 643 671 699 725 753 781 814 842 890
a 55 82 106 126 162 197 218 254 277 310 357 389 413 448 480 504 536 561 588 615 643 671 699 725 753 781 814 842 890
a 12 55 82 106 126 197 218 254 277 310 357 389 413 448 480 504 536 561 588 615 643 671 699 725 753 781 814 842 890
a 12 55 82 106 126 197 218 254 277 310 357 389 413 448 480 504 536 561 588 615 643 671 699 725 753 781 814 842 889
a 12 55 82 106 126 170 197 218 254 277 310 357 389 413 448 504 536 561 588 615 643 671 699 725 753 781 814 842 889
a 12 55 82 106 126 170 197 218 254 277 310 357 389 413 448 504 536 561 588 615 643 671 720 725 753 781 814 842 889
a 12 55 106 126 170 197 218 254 277 310 357 389 413 448 459 504 536 561 588 615 643 671 720 725 753 781 814 842 889
a 12 55 67 106 126 170 197 218 254 310 357 389 413 448 459 504 536 561 588 615 643 671 720 725 753 781 814 842 889
a 12 55 67 106 126 170 197 218 254 310 357 389 413 448 459 504 536 561 588 615 643 671 720 725 753 781 814 842 892
a 12 55 106 126 170 197 218 254 277 310 357 389 413 448 459 504 536 561 588 615 643 671 720 725 753 781 814 842 892
a 12 55 90 106 126 170 197 218 254 277 310 357 389 413 448 459 504 536 561 588 615 643 671 725 753 781 814 842 892
a 12 55 90 106 126 170 197 218 254 277 310 389 413 448 459 504 536 561 588 615 643 671 717 725 753 781 814 842 892
a 12 55 90 106 126 170 197 218 254 310 337 389 413 448 459 504 536 561 588 615 643 671 717 725 753 781 814 842 892
a 12 55 90 106 126 170 197 218 254 299 310 337 413 448 459 504 536 561 588 615 643 671 717 725 753 781 814 842 892
a 12 55 79 106 126 170 197 218 254 299 310 337 413 448 459 504 536 561 588 615 643 671 717 725 753 781 814 842 892
a 12 55 79 106 126 170 197 218 254 299 310 337 390 413 459 504 536 561 588 615 643 671 717 725 753 781 814 842 892
a 12 55 79 106 126 170 197 218 254 299 310 337 390 413 422 459 504 536 561 588 615 643 671 717 725 753 781 814 892
a 12 55 79 106 126 170 197 218 254 299 337 390 413 422 459 504 536 561 588 615 643 671 717 725 753 781 814 868 892
a 12 55 79 106 126 170 197 218 254 299 307 390 413 422 459 504 536 561 588 615 643 671 717 725 753 781 814 868 892
a 12 55 79 106 126 170 197 218 254 299 307 339 390 413 422 504 536 561 588 615 643 671 717 725 753 781 814 868 892
a 12 55 79 106 126 170 197 218 254 299 307 339 390 413 430 504 536 561 588 615 643 671 717 725 753 781 814 868 892
a 12 55 79 106 126 170 197 218 254 299 307 339 390 413 430 482 536 561 588 615 643 671 717 725 753 781 814 868 892
a 12 55 79 106 126 170 197 218 264 299 307 339 390 413 430 482 536 561 588 615 643 671 717 725 753 781 814 868 892
a 14 55 79 106 126 170 197 218 264 299 307 339 390 413 430 482 536 561 588 615 643 671 717 725 753 781 814 868 892
a 14 55 79 106 126 170 197 218 264 299 307 339 390 413 430 482 536 561 588 615 643 671 717 725 753 781 814 852 892
a 14 55 79 106 126 170 197 218 264 299 307 339 390 413 430 508 536 561 588 615 643 671 717 725 753 781 814 852 892
a 14 55 79 106 126 170 197 218 264 299 307 339 390 413 430 508 536 561 588 615 643 671 717 725 753 781 814 842 892
a 14 55 79 106 132 170 197 218 264 299 307 339 390 413 430 508 536 561 588 615 643 671 717 725 753 781 814 842 892
a 14 36 79 106 132 170 197 218 264 299 307 339 390 413 430 508 536 561 588 615 643 671 717 725 753 781 814 842 892
a 14 36 79 106 132 170 197 218 264 299 307 339 390 430 475 508 536 561 588 615 643 671 717 725 753 781 814 842 892
a 14 36 79 106 132 170 197 218 264 299 307 339 390 430 475 508 536 561 588 615 643 671 717 725 753 781 814 842 893
a 22 36 79 106 132 170 197 218 264 299 307 339 390 430 475 508 536 561 588 615 643 671 717 725 753 781 814 842 893
a 22 36 79 106 132 170 197 218 264 299 307 339 390 391 430 475 508 536 561 588 615 643 671 717 725 753 814 842 893
a 22 36 106 132 170 197 218 264 299 307 339 390 391 430 475 508 536 561 588 615 643 671 717 725 753 799 814 842 893
a 22 36 106 132 170 197 224 264 299 307 339 390 391 430 475 508 536 561 588 615 643 671 717 725 753 799 814 842 893
a 22 36 68 106 132 197 224 264 299 307 339 390 391 430 475 508 536 561 588 615 643 671 717 725 753 799 814 842 893
a 22 36 68 106 132 200 224 264 299 307 339 390 391 430 475 508 536 561 588 615 643 671 717 725 753 799 814 842 893
a 22 36 68 106 132 157 200 224 264 299 339 390 391 430 475 508 536 561 588 615 643 671 717 725 753 799 814 842 893
a 17 36 68 106 132 157 200 224 264 299 339 390 391 430 475 508 536 561 588 615 643 671 717 725 753 799 814 842 893
a 17 52 68 106 132 157 200 224 264 299 339 390 391 430 475 508 536 561 588 615 643 671 717 725 753 799 814 842 893
a 17 52 68 106 132 157 200 224 264 299 339 390 391 430 475 508 536 561 576 615 643 671 717 725 753 799 814 842 893
a 17 52 68 106 132 157 200 224 264 299 301 339 390 430 475 508 536 561 576 615 643 671 717 725 753 799 814 842 893
a 17 52 68 106 132 157 200 224 299 301 339 390 414 430 475 508 536 561 576 615 643 671 717 725 753 799 814 842 893
a 17 52 68 106 132 200 224 247 299 301 339 390 414 430 475 508 536 561 576 615 643 671 717 725 753 799 814 842 893
a 17 52 68 106 132 177 200 224 247 299 301 339 390 414 430 475 508 536 561 576 615 643 671 725 753 799 814 842 893
a 17 52 68 106 132 177 200 224 247 299 301 339 390 414 430 475 508 536 561 576 615 643 671 713 725 753 799 814 842
a 17 52 68 106 132 177 200 224 247 299 301 339 390 414 430 475 508 536 561 576 615 643 671 713 725 753 814 842 889
a 17 52 68 106 132 177 200 224 247 299 339 390 414 430 475 508 536 561 576 615 643 671 713 725 753 781 814 842 889
a 17 52 68 106 177 200 224 247 299 312 339 390 414 430 475 508 536 561 576 615 643 671 713 725 753 781 814 842 889
a 17 52 106 128 177 200 224 247 299 312 339 390 414 430 475 508 536 561 576 615 643 671 713 725 753 781 814 842 889
a 17 52 78 106 128 177 200 224 247 299 312 390 414 430 475 508 536 561 576 615 643 671 713 725 753 781 814 842 889
a 17 39 78 106 128 177 200 224 247 299 312 390 414 430 475 508 536 561 576 615 643 671 713 725 753 781 814 842 889
a 17 39 78 106 128 177 200 224 247 299 312 390 414 430 475 508 536 561 576 615 643 671 713 725 753 781 814 842 892
a 17 39 78 106 139 177 200 224 247 299 312 390 414 430 475 508 536 561 576 615 643 671 713 725 753 781 814 842 892
a 17 39 78 106 139 177 200 224 247 299 312 335 390 414 430 475 508 536 561 576 615 643 671 713 753 781 814 842 892
a 17 39 78 106 139 200 224 247 299 312 335 390 414 430 475 508 536 561 576 615 643 671 713 728 753 781 814 842 892
a 17 39 78 106 139 200 224 247 299 312 335 390 414 430 475 508 536 561 576 615 643 671 713 728 753 781 814 842 897
a 17 78 106 139 159 200 224 247 299 312 335 390 414 430 475 508 536 561 576 615 643 671 713 728 753 781 814 842 897
a 17 78 106 139 159 200 224 247 299 312 335 390 414 442 475 508 536 561 576 615 643 671 713 728 753 781 814 842 897
a 17 37 78 106 139 159 200 224 299 312 335 390 414 442 475 508 536 561 576 615 643 671 713 728 753 781 814 842 897
a 17 37 78 106 139 160 200 224 299 312 335 390 414 442 475 508 536 561 576 615 643 671 713 728 753 781 814 842 897
a 17 37 78 106 139 160 200 224 245 299 312 390 414 442 475 508 536 561 576 615 643 671 713 728 753 781 814 842 897
a 17 78 106 139 160 200 224 245 299 312 337 390 414 442 475 508 536 561 576 615 643 671 713 728 753 781 814 842 897
a 17 53 78 106 139 160 200 224 245 299 312 337 390 414 442 475 508 536 561 576 615 643 671 728 753 781 814 842 897
a 17 53 78 106 139 160 200 224 245 299 312 337 390 414 442 475 508 536 561 576 615 643 671 699 753 781 814 842 897
a 17 53 78 106 139 160 200 224 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 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
#END: [Sun Sep 10 18:26:58 2023]