#BEGIN: [Tue Sep 26 13:11:22 2023]
#HOST: s02
#TIMELIMIT: 1800
#MEMLIMIT: 0
#SOLVER: existent-cpu-suisen-cp2
#INSTANCE1: /benchmark/random_instance/random_instance025_graph005.col
#INSTANCE2: /benchmark/random_instance/random_instance025_graph005_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_instance025_graph005.col /benchmark/random_instance/random_instance025_graph005_01.dat
04:11:26 [INFO] Time reorder   : 3 (sec)
04:21:20 [INFO] Time reconf    : 593 (sec)
s 1 5 9 12 15 18 29 31 34 39 42 47 49 50 54 63 65 66 68 71 77 79 80 86 87 93 94 101 106 107 115 116 117 128 131 133 135 140 144 146 148 149 151 152 154 157 158 166 167 170 175 177 178 179 185 186 188 195 197 199 201 203 204 205 206 210 213 214 216 220 222 224 228 229 231 233 234 237 242 247 251 252 255 257 259 265 266 268 269 273 276 278 279 284 289 291 292 293 295 302 303 305 310 315 323
t 1 13 17 19 20 21 26 29 30 31 39 44 47 52 55 57 59 61 62 69 71 72 73 75 80 82 84 92 94 99 100 102 103 105 107 115 119 123 124 125 130 134 135 136 139 141 144 148 154 155 162 163 165 166 167 169 173 180 184 185 187 188 191 192 193 195 197 198 199 201 204 205 207 209 212 215 221 227 228 229 233 237 248 252 253 259 264 267 269 276 277 282 289 290 293 294 296 298 299 300 304 306 308 318 320

	Command being timed: "bash /solver-dir/run.sh /benchmark/random_instance/random_instance025_graph005.col /benchmark/random_instance/random_instance025_graph005_01.dat"
	User time (seconds): 573.44
	System time (seconds): 23.47
	Percent of CPU this job got: 99%
	Elapsed (wall clock) time (h:mm:ss or m:ss): 9:57.07
	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): 61339260
	Average resident set size (kbytes): 0
	Major (requiring I/O) page faults: 1651
	Minor (reclaiming a frame) page faults: 28647546
	Voluntary context switches: 1767
	Involuntary context switches: 6958
	Swaps: 0
	File system inputs: 34696
	File system outputs: 72
	Socket messages sent: 0
	Socket messages received: 0
	Signals delivered: 0
	Page size (bytes): 4096
	Exit status: 0
#END: [Tue Sep 26 13:21:20 2023]