#BEGIN: [Wed Sep  6 01:28:58 2023]
#HOST: s10
#TIMELIMIT: 1800
#MEMLIMIT: 0
#SOLVER: existent-wallclock-suisen-cp2
#INSTANCE1: /benchmark/random_instance/random_instance032_graph001.col
#INSTANCE2: /benchmark/random_instance/random_instance032_graph001_01.dat
#COMMAND: docker run --cidfile /tmp/cid.txt --init --rm -t -v /home/share/benchmark/ISR-benchmark:/benchmark suisen-cp2 /benchmark/random_instance/random_instance032_graph001.col /benchmark/random_instance/random_instance032_graph001_01.dat
16:29:03 [INFO] Time reorder   : 5 (sec)
16:39:59 [INFO] Time reconf    : 655 (sec)
s 1 4 6 9 11 17 18 23 34 35 37 39 40 42 43 44 46 47 50 57 59 61 68 69 70 73 75 80 81 82 83 86 88 91 92 94 98 111 114 118 119 122 124 127 128 129 133 137 145 146 147 151 168 169 171 173 177 180 182 188 190 192 197 198 200 201 211 214 215 216 219 221 230 231 232 235 238 240 246 248 250 251 252 253 256 259 261 262 263 266 271 278 280 284 285 291 293 295 302 304 305 306 307 312 318 319 321 323 338 340 344 346 347 348 352 360 361 364 367 368 369 371 376 377 378 386 396 404 406 411 416
t 3 4 5 6 8 13 14 16 21 25 28 33 38 43 49 52 54 57 61 63 65 72 76 85 88 91 92 94 95 96 99 108 109 111 119 123 125 134 135 138 140 149 150 151 154 159 163 165 168 170 171 175 178 183 184 190 191 192 193 205 206 209 211 214 216 219 221 223 224 225 227 231 234 239 240 241 245 248 249 250 252 254 256 257 259 261 263 264 276 279 282 284 291 293 296 305 307 312 316 317 323 327 328 331 332 341 342 344 346 349 350 354 361 364 366 370 372 378 379 382 384 385 387 388 393 398 400 401 403 406 412

	Command being timed: "bash /solver-dir/run.sh /benchmark/random_instance/random_instance032_graph001.col /benchmark/random_instance/random_instance032_graph001_01.dat"
	User time (seconds): 636.17
	System time (seconds): 24.78
	Percent of CPU this job got: 99%
	Elapsed (wall clock) time (h:mm:ss or m:ss): 11:01.16
	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): 63023156
	Average resident set size (kbytes): 0
	Major (requiring I/O) page faults: 1882
	Minor (reclaiming a frame) page faults: 29224227
	Voluntary context switches: 2523
	Involuntary context switches: 3698
	Swaps: 0
	File system inputs: 74656
	File system outputs: 72
	Socket messages sent: 0
	Socket messages received: 0
	Signals delivered: 0
	Page size (bytes): 4096
	Exit status: 0
#END: [Wed Sep  6 01:39:59 2023]