#BEGIN: [Sun Sep 10 18:00:24 2023]
#HOST: s03
#TIMELIMIT: 1800
#MEMLIMIT: 0
#SOLVER: longest-wallclock-ai-planning-longest2
#INSTANCE1: /benchmark/2022benchmark/benchmark/queen/queen030x030.col
#INSTANCE2: /benchmark/2022benchmark/benchmark/queen/queen030x030_04_9144.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_04_9144.dat
s 248 284 615 538 643 725 397 130 897 814 79 162 781 51 329 671 106 450 699 562 200 576 356 18 227 473 505 753 842
t 529 53 643 699 389 725 138 671 753 562 450 160 842 106 898 307 507 287 192 224 415 81 248 474 20 781 814 576 356
a YES
a 18 51 79 106 130 162 200 227 248 284 329 356 397 450 473 505 538 562 576 615 643 671 699 725 753 781 814 842 897
a 18 51 79 106 162 200 227 248 284 329 356 384 397 450 473 505 538 562 576 615 643 671 699 725 753 781 814 842 897
a 18 51 79 106 127 162 200 227 248 284 329 356 384 450 473 505 538 562 576 615 643 671 699 725 753 781 814 842 897
a 18 51 79 106 127 162 200 227 248 329 356 384 400 450 473 505 538 562 576 615 643 671 699 725 753 781 814 842 897
a 18 51 79 106 127 162 200 227 248 329 356 384 400 450 473 505 538 562 576 615 643 671 699 725 753 781 814 842 884
a 18 51 79 106 127 162 200 227 248 281 329 356 384 400 450 473 505 538 562 576 615 643 699 725 753 781 814 842 884
a 18 51 79 106 127 200 227 248 281 329 356 384 400 450 473 505 538 562 576 615 643 687 699 725 753 781 814 842 884
a 18 51 79 106 127 178 200 227 248 281 329 356 384 400 450 473 505 562 576 615 643 687 699 725 753 781 814 842 884
a 18 42 79 106 127 178 200 227 248 281 329 356 384 400 450 473 505 562 576 615 643 687 699 725 753 781 814 842 884
a 18 42 79 106 127 178 200 227 248 281 329 356 384 400 450 473 505 515 562 576 615 643 687 699 753 781 814 842 884
a 42 79 106 127 178 200 227 248 281 329 356 384 400 450 473 505 515 562 576 615 643 687 699 738 753 781 814 842 884
a 21 42 106 127 178 200 227 248 281 329 356 384 400 450 473 505 515 562 576 615 643 687 699 738 753 781 814 842 884
a 21 42 87 106 127 178 200 227 248 281 329 356 384 400 450 473 505 515 562 576 615 643 699 738 753 781 814 842 884
a 21 42 87 106 127 178 200 227 248 281 356 384 400 450 473 505 515 562 576 615 643 689 699 738 753 781 814 842 884
a 21 42 87 106 127 178 200 227 248 281 356 384 400 450 473 505 515 562 576 619 643 689 699 738 753 781 814 842 884
a 21 42 87 106 127 178 200 227 248 281 305 356 384 400 450 473 505 562 576 619 643 689 699 738 753 781 814 842 884
a 21 42 87 106 127 178 200 227 248 281 305 356 384 400 450 473 505 528 562 576 619 643 689 699 753 781 814 842 884
a 21 42 87 106 127 178 200 227 248 281 305 356 384 400 450 473 505 528 562 576 619 643 699 749 753 781 814 842 884
a 21 42 87 106 127 178 227 248 281 305 356 384 400 450 473 505 528 562 576 619 643 680 699 749 753 781 814 842 884
a 21 87 106 127 178 192 227 248 281 305 356 384 400 450 473 505 528 562 576 619 643 680 699 749 753 781 814 842 884
a 51 87 106 127 178 192 227 248 281 305 356 384 400 450 473 505 528 562 576 619 643 680 699 749 753 781 814 842 884
a 17 51 87 106 127 178 192 248 281 305 356 384 400 450 473 505 528 562 576 619 643 680 699 749 753 781 814 842 884
a 17 51 87 106 127 178 192 224 248 281 305 356 384 400 450 473 505 528 562 576 619 643 680 699 749 753 781 814 842
a 17 51 87 106 127 178 192 224 248 281 305 356 384 400 450 473 528 562 576 619 643 680 699 749 753 781 814 842 895
a 17 51 106 127 178 192 224 248 281 305 356 384 400 450 473 507 528 562 576 619 643 680 699 749 753 781 814 842 895
a 17 51 106 127 178 192 224 248 281 305 356 384 400 450 473 507 528 562 576 619 643 680 699 749 753 795 814 842 895
a 17 51 106 127 178 192 224 248 281 305 356 384 391 450 473 507 528 562 576 619 643 680 699 749 753 795 814 842 895
a 17 51 70 106 127 178 192 224 248 281 305 356 384 391 450 507 528 562 576 619 643 680 699 749 753 795 814 842 895
a 17 53 70 106 127 178 192 224 248 281 305 356 384 391 450 507 528 562 576 619 643 680 699 749 753 795 814 842 895
a 17 53 81 106 127 178 192 224 248 281 305 356 384 391 450 507 528 562 576 619 643 680 699 749 753 795 814 842 895
a 10 53 81 106 127 178 192 224 248 281 305 356 384 391 450 507 528 562 576 619 643 680 699 749 753 795 814 842 895
a 10 53 81 106 127 178 192 224 248 287 305 356 384 391 450 507 528 562 576 619 643 680 699 749 753 795 814 842 895
a 10 53 81 106 127 178 192 224 248 287 356 384 391 450 455 507 528 562 576 619 643 680 699 749 753 795 814 842 895
a 10 53 81 106 178 192 224 248 287 307 356 384 391 450 455 507 528 562 576 619 643 680 699 749 753 795 814 842 895
a 10 53 81 106 138 178 192 224 248 287 307 356 384 391 450 455 507 562 576 619 643 680 699 749 753 795 814 842 895
a 53 81 106 138 178 192 224 248 287 307 356 384 391 450 455 507 520 562 576 619 643 680 699 749 753 795 814 842 895
a 41 81 106 138 178 192 224 248 287 307 356 384 391 450 455 507 520 562 576 619 643 680 699 749 753 795 814 842 895
a 41 81 106 138 178 192 224 248 287 307 356 384 391 450 455 507 520 562 576 619 643 683 699 749 753 795 814 842 895
a 20 41 81 106 138 178 192 224 248 287 307 356 384 391 450 507 520 562 576 619 643 683 699 749 753 795 814 842 895
a 20 41 81 106 138 178 192 224 248 287 307 356 384 391 450 507 520 562 576 619 643 683 699 725 753 795 814 842 895
a 20 41 81 106 138 178 192 224 248 287 307 356 384 391 450 507 520 562 576 619 643 683 699 725 753 809 814 842 895
a 20 41 81 106 138 178 192 224 248 287 307 356 384 391 450 507 520 562 576 615 643 683 699 725 753 809 814 842 895
a 20 41 81 106 138 178 192 224 248 287 307 356 391 450 474 507 520 562 576 615 643 683 699 725 753 809 814 842 895
a 20 41 81 106 138 178 192 224 248 287 307 356 391 450 474 507 529 562 576 615 643 683 699 725 753 809 814 842 895
a 20 41 81 106 138 160 192 224 248 287 307 356 391 450 474 507 529 562 576 615 643 683 699 725 753 809 814 842 895
a 20 41 81 106 138 160 192 224 248 287 307 356 389 391 450 474 507 529 562 576 615 643 683 699 725 753 814 842 895
a 20 41 81 106 138 160 192 224 248 287 307 356 389 450 474 507 529 562 576 615 643 683 699 725 753 781 814 842 895
a 20 41 81 106 138 160 192 224 248 287 307 356 389 415 450 474 507 529 562 576 615 643 683 699 725 753 781 814 842
a 20 81 106 138 160 192 224 248 287 307 356 389 415 450 474 507 529 562 576 615 643 683 699 725 753 781 814 842 898
a 20 81 106 138 160 192 224 248 287 307 356 389 415 450 474 507 529 562 576 615 643 671 699 725 753 781 814 842 898
a 20 53 81 106 138 160 192 224 248 287 307 356 389 415 450 474 507 529 562 576 643 671 699 725 753 781 814 842 898
#END: [Sun Sep 10 18:29:24 2023]