#BEGIN: [Tue Sep  5 23:45:56 2023]
#HOST: s02
#TIMELIMIT: 1800
#MEMLIMIT: 0
#SOLVER: existent-cpu-suisen-cp2
#INSTANCE1: /benchmark/random_instance/random_instance016_graph003.col
#INSTANCE2: /benchmark/random_instance/random_instance016_graph003_01.dat
#COMMAND: docker run --cidfile /tmp/cid.txt --init --rm -t --ulimit cpu=1800 -v /home/share/benchmark/ISR-benchmark:/benchmark suisen-cp2 /benchmark/random_instance/random_instance016_graph003.col /benchmark/random_instance/random_instance016_graph003_01.dat
14:45:57 [INFO] Time reorder   : 1 (sec)
14:57:08 [INFO] Time reconf    : 671 (sec)
s 1 2 4 6 12 15 24 26 28 29 30 31 32 41 42 45 47 52 54 55 57 63 64 65 66 69 70 72 73 76 80 83 93 96 101 113 114 119 124 125 131 133 137 138 142 149 150 156 161 162 163 165 172 180 181 183 187 188 192 194 197 198 199 200 202 203 207
t 4 5 6 10 11 12 14 19 22 24 34 35 38 39 42 48 50 51 54 55 56 61 64 68 70 71 72 74 78 81 91 92 93 94 96 98 100 104 105 114 115 122 124 125 137 138 139 148 150 156 157 160 165 171 172 174 178 181 182 183 189 192 193 198 200 202 207

	Command being timed: "bash /solver-dir/run.sh /benchmark/random_instance/random_instance016_graph003.col /benchmark/random_instance/random_instance016_graph003_01.dat"
	User time (seconds): 647.04
	System time (seconds): 25.11
	Percent of CPU this job got: 99%
	Elapsed (wall clock) time (h:mm:ss or m:ss): 11:12.33
	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): 62845980
	Average resident set size (kbytes): 0
	Major (requiring I/O) page faults: 1588
	Minor (reclaiming a frame) page faults: 29303379
	Voluntary context switches: 1746
	Involuntary context switches: 7060
	Swaps: 0
	File system inputs: 36992
	File system outputs: 64
	Socket messages sent: 0
	Socket messages received: 0
	Signals delivered: 0
	Page size (bytes): 4096
	Exit status: 0
#END: [Tue Sep  5 23:57:08 2023]