#BEGIN: [Tue Sep  5 23:50:18 2023]
#HOST: s06
#TIMELIMIT: 1800
#MEMLIMIT: 0
#SOLVER: existent-cpu-suisen-cp2
#INSTANCE1: /benchmark/random_instance/random_instance018_graph003.col
#INSTANCE2: /benchmark/random_instance/random_instance018_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_instance018_graph003.col /benchmark/random_instance/random_instance018_graph003_01.dat
14:50:20 [INFO] Time reorder   : 1 (sec)
15:01:20 [INFO] Time reconf    : 660 (sec)
s 1 2 4 9 11 14 15 22 23 25 27 29 32 33 40 41 42 46 60 61 63 65 67 74 79 86 90 93 98 101 102 104 105 108 113 115 120 122 124 126 131 133 135 137 139 141 149 152 155 156 157 170 172 175 176 177 181 184 186 187 188 193 195 198 199 200 204 216 217 220 221 223 224 225
t 2 3 4 6 14 19 28 30 32 38 39 40 41 45 46 47 58 61 65 71 74 77 79 84 87 88 89 95 96 100 101 102 105 111 113 115 119 124 127 130 131 136 140 141 142 143 148 149 151 154 157 159 161 166 167 168 174 176 179 183 186 187 195 198 200 207 212 213 218 219 223 227 228 229

	Command being timed: "bash /solver-dir/run.sh /benchmark/random_instance/random_instance018_graph003.col /benchmark/random_instance/random_instance018_graph003_01.dat"
	User time (seconds): 637.04
	System time (seconds): 24.39
	Percent of CPU this job got: 99%
	Elapsed (wall clock) time (h:mm:ss or m:ss): 11:01.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): 64465964
	Average resident set size (kbytes): 0
	Major (requiring I/O) page faults: 1490
	Minor (reclaiming a frame) page faults: 29943206
	Voluntary context switches: 1659
	Involuntary context switches: 5855
	Swaps: 0
	File system inputs: 36200
	File system outputs: 64
	Socket messages sent: 0
	Socket messages received: 0
	Signals delivered: 0
	Page size (bytes): 4096
	Exit status: 0
#END: [Wed Sep  6 00:01:20 2023]