#BEGIN: [Mon Sep 18 15:54:32 2023]
#HOST: s12
#TIMELIMIT: 1800
#MEMLIMIT: 0
#SOLVER: existent-wallclock-suisen-cp2
#INSTANCE1: /benchmark/random_instance/random_instance038_graph003.col
#INSTANCE2: /benchmark/random_instance/random_instance038_graph003_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_instance038_graph003.col /benchmark/random_instance/random_instance038_graph003_01.dat
06:54:40 [INFO] Time reorder   : 6 (sec)
07:03:51 [INFO] Time reconf    : 551 (sec)
s 4 6 7 12 13 15 17 21 23 24 27 28 30 32 33 35 36 38 41 44 47 50 53 55 57 59 60 62 69 74 79 82 83 85 87 91 98 100 108 112 113 114 116 119 120 121 122 127 138 141 145 148 149 151 153 157 158 162 163 171 173 175 179 183 189 192 200 202 203 206 207 214 216 217 218 219 220 221 225 227 229 230 231 235 236 240 241 248 252 260 264 270 271 276 279 281 282 291 295 296 298 306 307 309 312 313 314 315 316 318 321 328 333 336 338 348 351 354 355 356 358 362 364 369 370 371 375 376 379 382 383 387 388 390 392 396 397 407 409 419 423 429 433 435 445 446 452 454 455 456 458 461 464 469 474 476 478 479 481 482 488 490 491
t 1 4 5 6 11 15 17 19 23 24 27 28 32 33 36 37 38 40 45 47 50 52 53 59 60 61 74 77 81 86 87 90 93 95 100 105 108 116 118 120 124 128 130 132 134 136 140 148 150 151 155 156 158 161 163 166 167 168 170 171 173 175 184 187 189 190 193 198 200 201 202 204 207 208 212 217 219 221 222 228 240 241 242 245 248 255 260 261 265 270 272 274 277 284 285 288 294 298 300 301 304 305 309 314 318 322 323 324 325 330 331 332 334 335 336 339 346 352 353 356 358 366 368 369 374 375 376 377 380 382 384 387 390 394 396 404 405 408 409 411 412 416 422 423 426 428 431 433 436 440 443 444 448 453 455 458 466 469 470 476 484 490 494

	Command being timed: "bash /solver-dir/run.sh /benchmark/random_instance/random_instance038_graph003.col /benchmark/random_instance/random_instance038_graph003_01.dat"
	User time (seconds): 534.20
	System time (seconds): 24.04
	Percent of CPU this job got: 99%
	Elapsed (wall clock) time (h:mm:ss or m:ss): 9:18.55
	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): 64478164
	Average resident set size (kbytes): 0
	Major (requiring I/O) page faults: 1845
	Minor (reclaiming a frame) page faults: 29449259
	Voluntary context switches: 2442
	Involuntary context switches: 5350
	Swaps: 0
	File system inputs: 75080
	File system outputs: 80
	Socket messages sent: 0
	Socket messages received: 0
	Signals delivered: 0
	Page size (bytes): 4096
	Exit status: 0
#END: [Mon Sep 18 16:03:52 2023]