#BEGIN: [Tue Aug 29 05:25:40 2023]
#HOST: s16
#TIMELIMIT: 1800
#MEMLIMIT: 0
#SOLVER: shortest-cpu-banbaralab2-shortest2
#INSTANCE1: /benchmark/2022benchmark/benchmark/queen/queen070x070.col
#INSTANCE2: /benchmark/2022benchmark/benchmark/queen/queen070x070_04_7426.dat
#COMMAND: docker run --cidfile /tmp/cid.txt --init --rm -t --ulimit cpu=1800 -v /home/share/benchmark/ISR-benchmark:/benchmark banbaralab2 --shortest -t4 /benchmark/2022benchmark/benchmark/queen/queen070x070.col /benchmark/2022benchmark/benchmark/queen/queen070x070_04_7426.dat
c /benchmark/2022benchmark/benchmark/queen/queen070x070.col
c /benchmark/2022benchmark/benchmark/queen/queen070x070_04_7426.dat
s 122 1073 3895 1008 2776 2655 1472 2578 4215 2089 4283 3554 4351 2297 539 2713 739 239 3617 1677 3674 2184 4485 2345 1210 592 196 393 444 1392 3306 1697 2163 4419 3031 330 4020 2958 2873 55 4894 1267 4802 3118 3257 818 3735 2011 3442 1846 4079 2449 1958 2516 4621 862 4694 3788 2810 4136 1147 943 1460 1791 4594 1610 3396 3181 3960
t 2089 1008 1392 1137 4084 3554 4894 2345 1610 2191 2958 691 2011 1472 4419 3257 122 1267 4694 539 1223 2826 4136 3826 1782 3674 393 3892 589 3457 932 4351 1073 4791 3617 1958 218 2578 3735 736 1692 4621 196 3960 2713 850 4485 1839 2516 4594 2297 2163 3304 4283 4020 1677 1460 55 3121 4215 818 3189 2655 2768 2449 3030 3376 2873 465
c UNKNOWN
c REACHABILITY UNKNOWN
	Command being timed: "python3 run_3.py --shortest -t4 /benchmark/2022benchmark/benchmark/queen/queen070x070.col /benchmark/2022benchmark/benchmark/queen/queen070x070_04_7426.dat"
	User time (seconds): 1796.81
	System time (seconds): 3.96
	Percent of CPU this job got: 260%
	Elapsed (wall clock) time (h:mm:ss or m:ss): 11:32.13
	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): 7931316
	Average resident set size (kbytes): 0
	Major (requiring I/O) page faults: 0
	Minor (reclaiming a frame) page faults: 4109432
	Voluntary context switches: 901
	Involuntary context switches: 4649
	Swaps: 0
	File system inputs: 0
	File system outputs: 19520
	Socket messages sent: 0
	Socket messages received: 0
	Signals delivered: 0
	Page size (bytes): 4096
	Exit status: 0
#END: [Tue Aug 29 05:37:13 2023]