#BEGIN: [Fri Sep  8 08:12:33 2023]
#HOST: s02
#TIMELIMIT: 1800
#MEMLIMIT: 0
#SOLVER: shortest-cpu-ai-planning2-shortest1
#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 --ulimit cpu=1800 -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_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 130 162 200 227 248 284 329 356 384 397 450 473 505 562 576 615 643 671 699 725 753 781 814 842 897
a 18 51 79 106 130 162 200 227 248 284 329 356 384 397 450 473 505 562 576 615 643 671 699 725 753 781 814 842 898
a 18 51 79 106 130 162 200 227 248 284 329 356 384 397 450 473 507 562 576 615 643 671 699 725 753 781 814 842 898
a 18 51 79 106 130 162 200 227 248 284 329 356 384 397 450 507 535 562 576 615 643 671 699 725 753 781 814 842 898
a 18 51 79 106 130 162 200 227 248 284 329 356 384 397 450 507 535 562 576 615 643 671 699 725 773 781 814 842 898
a 18 51 79 106 130 162 200 227 248 284 303 356 384 397 450 507 535 562 576 615 643 671 699 725 773 781 814 842 898
a 18 51 79 106 130 162 200 227 248 284 303 356 397 450 474 507 535 562 576 615 643 671 699 725 773 781 814 842 898
a 18 51 106 130 162 200 227 248 284 303 356 389 397 450 474 507 535 562 576 615 643 671 699 725 773 781 814 842 898
a 18 51 106 130 162 200 227 248 284 303 356 389 397 450 474 507 529 562 576 615 643 671 699 725 773 781 814 842 898
a 18 51 106 130 162 200 227 248 284 303 356 389 415 450 474 507 529 562 576 615 643 671 699 725 773 781 814 842 898
a 18 51 70 106 162 200 227 248 284 303 356 389 415 450 474 507 529 562 576 615 643 671 699 725 773 781 814 842 898
a 18 37 70 106 162 200 227 248 284 303 356 389 415 450 474 507 529 562 576 615 643 671 699 725 773 781 814 842 898
a 21 37 70 106 162 200 227 248 284 303 356 389 415 450 474 507 529 562 576 615 643 671 699 725 773 781 814 842 898
a 21 37 70 106 138 162 227 248 284 303 356 389 415 450 474 507 529 562 576 615 643 671 699 725 773 781 814 842 898
a 20 37 70 106 138 162 227 248 284 303 356 389 415 450 474 507 529 562 576 615 643 671 699 725 773 781 814 842 898
a 20 37 70 106 138 162 227 248 284 303 356 389 415 450 474 507 529 562 576 615 643 671 699 725 771 781 814 842 898
a 20 37 70 106 138 173 227 248 284 303 356 389 415 450 474 507 529 562 576 615 643 671 699 725 771 781 814 842 898
a 20 70 106 138 173 192 227 248 284 303 356 389 415 450 474 507 529 562 576 615 643 671 699 725 771 781 814 842 898
a 20 70 106 138 173 192 227 248 284 307 356 389 415 450 474 507 529 562 576 615 643 671 699 725 771 781 814 842 898
a 20 70 106 138 153 192 227 248 284 307 356 389 415 450 474 507 529 562 576 615 643 671 699 725 771 781 814 842 898
a 20 53 70 106 138 153 192 248 284 307 356 389 415 450 474 507 529 562 576 615 643 671 699 725 771 781 814 842 898
a 20 53 70 106 138 153 192 224 248 307 356 389 415 450 474 507 529 562 576 615 643 671 699 725 771 781 814 842 898
a 20 53 106 138 153 192 224 248 287 307 356 389 415 450 474 507 529 562 576 615 643 671 699 725 771 781 814 842 898
a 20 53 106 138 160 192 224 248 287 307 356 389 415 450 474 507 529 562 576 615 643 671 699 725 771 781 814 842 898
a 20 53 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
	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_04_9144.dat"
	User time (seconds): 1736.44
	System time (seconds): 3.88
	Percent of CPU this job got: 99%
	Elapsed (wall clock) time (h:mm:ss or m:ss): 29:00.38
	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): 10832992
	Average resident set size (kbytes): 0
	Major (requiring I/O) page faults: 1
	Minor (reclaiming a frame) page faults: 2806823
	Voluntary context switches: 24
	Involuntary context switches: 3309
	Swaps: 0
	File system inputs: 0
	File system outputs: 1792
	Socket messages sent: 0
	Socket messages received: 0
	Signals delivered: 0
	Page size (bytes): 4096
	Exit status: 0
#END: [Fri Sep  8 08:41:34 2023]