#BEGIN: [Wed Sep  6 01:37:47 2023]
#HOST: s08
#TIMELIMIT: 1800
#MEMLIMIT: 0
#SOLVER: existent-wallclock-suisen-cp2
#INSTANCE1: /benchmark/random_instance/random_instance037_graph005.col
#INSTANCE2: /benchmark/random_instance/random_instance037_graph005_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_instance037_graph005.col /benchmark/random_instance/random_instance037_graph005_01.dat
16:37:55 [INFO] Time reorder   : 7 (sec)
16:47:22 [INFO] Time reconf    : 567 (sec)
s 1 9 10 11 13 18 21 24 26 28 29 33 36 38 39 42 44 47 48 52 53 56 57 64 71 72 73 75 81 84 85 86 87 88 92 93 100 101 106 109 110 118 123 124 127 128 129 131 134 136 140 143 145 147 148 151 153 156 165 172 173 177 180 181 183 189 192 196 197 199 201 208 218 220 232 236 239 245 246 247 248 254 255 256 260 263 266 272 276 277 281 283 287 288 292 298 303 310 312 314 317 318 319 322 323 325 326 327 328 330 340 343 348 350 352 355 358 364 365 369 370 371 380 381 382 384 386 387 389 393 398 414 422 423 424 426 427 428 430 432 436 441 445 448 451 459 461 463 465 468 469 471 472 476
t 3 4 8 11 13 14 19 21 23 25 26 27 28 29 30 35 39 47 51 52 53 55 56 58 59 60 64 73 74 75 78 79 80 81 85 86 88 89 91 92 94 99 101 105 106 108 110 118 119 122 124 131 132 134 138 142 147 148 154 155 157 161 162 163 164 166 172 173 178 179 185 187 188 189 195 199 200 201 203 216 218 220 222 227 229 236 240 242 244 246 249 262 263 264 267 274 277 280 284 285 294 298 304 305 306 307 308 309 316 319 320 325 326 329 332 338 345 348 349 351 352 361 363 370 379 383 390 395 396 399 403 405 407 413 418 426 429 433 434 435 439 442 446 447 452 454 460 464 465 466 468 470 472 473

	Command being timed: "bash /solver-dir/run.sh /benchmark/random_instance/random_instance037_graph005.col /benchmark/random_instance/random_instance037_graph005_01.dat"
	User time (seconds): 551.91
	System time (seconds): 22.34
	Percent of CPU this job got: 99%
	Elapsed (wall clock) time (h:mm:ss or m:ss): 9:34.47
	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): 61812912
	Average resident set size (kbytes): 0
	Major (requiring I/O) page faults: 225
	Minor (reclaiming a frame) page faults: 28196264
	Voluntary context switches: 784
	Involuntary context switches: 1345
	Swaps: 0
	File system inputs: 58640
	File system outputs: 80
	Socket messages sent: 0
	Socket messages received: 0
	Signals delivered: 0
	Page size (bytes): 4096
	Exit status: 0
#END: [Wed Sep  6 01:47:22 2023]