#BEGIN: [Thu Sep  7 19:46:03 2023]
#HOST: s02
#TIMELIMIT: 1800
#MEMLIMIT: 0
#SOLVER: existent-cpu-ai-planning2-existent2
#INSTANCE1: /benchmark/2022benchmark/benchmark/queen/queen040x040.col
#INSTANCE2: /benchmark/2022benchmark/benchmark/queen/queen040x040_01_6291.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=existent-portfolio --memory-limit=54 --time-limit=1800 /benchmark/2022benchmark/benchmark/queen/queen040x040.col /benchmark/2022benchmark/benchmark/queen/queen040x040_01_6291.dat
s 277 702 180 1412 1050 978 935 1360 756 146 301 1499 558 1595 1097 1559 874 371 832 71 27 1205 1270 104 483 1176 908 407 1133 1441 1282 1008 1366 343 225 454 673 569 789
t 1248 454 1366 277 491 369 1499 104 1595 874 1133 562 558 412 27 789 935 978 1450 1401 225 1559 1310 343 1205 673 1047 908 756 683 1022 301 180 604 1360 1176 832 1097 146
a YES
a 27 71 104 146 180 225 277 301 343 371 407 454 483 558 569 673 702 756 789 832 874 908 935 978 1008 1050 1097 1133 1176 1205 1270 1282 1360 1366 1412 1441 1499 1559 1595
a 27 71 104 146 180 225 277 301 343 407 454 483 558 569 604 673 702 756 789 832 874 908 935 978 1008 1050 1097 1133 1176 1205 1270 1282 1360 1366 1412 1441 1499 1559 1595
a 27 71 104 146 180 225 277 301 343 369 407 454 483 558 604 673 702 756 789 832 874 908 935 978 1008 1050 1097 1133 1176 1205 1270 1282 1360 1366 1412 1441 1499 1559 1595
a 27 71 104 146 180 225 277 301 343 369 407 454 483 558 562 604 673 702 756 789 832 874 908 935 978 1008 1050 1097 1133 1176 1205 1270 1360 1366 1412 1441 1499 1559 1595
a 27 71 104 146 180 225 277 301 343 369 407 454 483 558 562 604 673 702 756 789 832 874 908 935 978 1008 1050 1097 1133 1176 1205 1310 1360 1366 1412 1441 1499 1559 1595
a 27 71 104 146 180 225 277 301 343 369 407 454 491 558 562 604 673 702 756 789 832 874 908 935 978 1008 1050 1097 1133 1176 1205 1310 1360 1366 1412 1441 1499 1559 1595
a 27 71 104 146 180 225 277 301 343 369 407 454 491 558 562 604 673 683 756 789 832 874 908 935 978 1008 1050 1097 1133 1176 1205 1310 1360 1366 1412 1441 1499 1559 1595
a 27 71 104 146 180 225 277 301 343 369 454 491 558 562 604 673 683 756 789 832 874 908 935 978 1008 1050 1097 1133 1176 1205 1262 1310 1360 1366 1412 1441 1499 1559 1595
a 27 71 104 146 180 225 277 301 343 369 412 454 491 558 562 604 673 683 756 789 832 874 908 935 978 1008 1050 1097 1133 1176 1205 1262 1310 1360 1366 1441 1499 1559 1595
a 27 71 104 146 180 225 277 301 343 369 412 454 491 558 567 604 673 683 756 789 832 874 908 935 978 1008 1050 1097 1133 1176 1205 1262 1310 1360 1366 1441 1499 1559 1595
a 27 71 104 146 180 225 277 301 343 369 412 454 491 558 567 604 673 683 756 789 832 874 908 935 978 1008 1050 1097 1133 1176 1205 1262 1310 1360 1366 1402 1499 1559 1595
a 27 71 104 146 180 225 277 301 343 369 412 454 491 558 567 604 673 683 756 789 832 874 908 935 978 1008 1097 1133 1176 1205 1262 1310 1360 1366 1402 1450 1499 1559 1595
a 27 71 104 146 180 225 277 301 343 369 412 454 491 558 567 604 673 683 756 789 832 874 908 935 978 1008 1097 1133 1176 1205 1262 1310 1360 1366 1401 1450 1499 1559 1595
a 27 71 104 146 180 225 277 301 343 369 412 454 491 558 562 604 673 683 756 789 832 874 908 935 978 1008 1097 1133 1176 1205 1262 1310 1360 1366 1401 1450 1499 1559 1595
a 27 71 104 146 180 225 277 301 343 369 412 454 491 558 562 604 673 683 756 789 832 874 908 935 978 1047 1097 1133 1176 1205 1262 1310 1360 1366 1401 1450 1499 1559 1595
a 27 71 104 146 180 225 277 301 343 369 412 454 491 558 562 604 673 683 756 789 832 874 908 935 978 1047 1097 1133 1176 1205 1248 1310 1360 1366 1401 1450 1499 1559 1595
a 27 104 146 180 225 277 301 343 369 412 454 491 558 562 604 673 683 756 789 832 874 908 935 978 1022 1047 1097 1133 1176 1205 1248 1310 1360 1366 1401 1450 1499 1559 1595
	Command being timed: "/solvers/driver/run.py --config=existent-portfolio --memory-limit=54 --time-limit=1800 /benchmark/2022benchmark/benchmark/queen/queen040x040.col /benchmark/2022benchmark/benchmark/queen/queen040x040_01_6291.dat"
	User time (seconds): 0.87
	System time (seconds): 0.07
	Percent of CPU this job got: 139%
	Elapsed (wall clock) time (h:mm:ss or m:ss): 0:00.67
	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): 61136
	Average resident set size (kbytes): 0
	Major (requiring I/O) page faults: 0
	Minor (reclaiming a frame) page faults: 50972
	Voluntary context switches: 63
	Involuntary context switches: 18
	Swaps: 0
	File system inputs: 0
	File system outputs: 3656
	Socket messages sent: 0
	Socket messages received: 0
	Signals delivered: 0
	Page size (bytes): 4096
	Exit status: 0
#END: [Thu Sep  7 19:46:04 2023]