#BEGIN: [Mon Sep 18 15:54:32 2023]
#HOST: s08
#TIMELIMIT: 1800
#MEMLIMIT: 0
#SOLVER: existent-wallclock-suisen-cp2
#INSTANCE1: /benchmark/random_instance/random_instance038_graph001.col
#INSTANCE2: /benchmark/random_instance/random_instance038_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_instance038_graph001.col /benchmark/random_instance/random_instance038_graph001_01.dat
06:54:40 [INFO] Time reorder   : 7 (sec)
07:06:47 [INFO] Time reconf    : 727 (sec)
s 7 8 11 13 14 27 28 31 33 34 40 41 42 43 45 46 51 56 61 63 66 68 70 73 82 84 90 99 102 105 106 108 110 112 116 119 124 125 126 135 136 138 142 143 146 152 160 161 171 177 178 182 183 184 189 195 196 197 199 201 202 203 205 206 209 213 219 222 226 227 237 241 242 244 246 247 254 256 257 265 271 272 273 274 275 276 277 282 286 292 295 297 300 305 307 310 311 314 325 326 331 334 337 338 346 350 356 358 364 367 368 369 370 371 374 378 384 389 394 398 399 400 408 409 414 424 426 429 433 437 439 443 446 448 449 451 455 458 461 463 466 467 468 470 472 475 476 477 478 479 480 482 486 488 490
t 3 8 9 13 17 22 25 29 31 33 36 41 44 49 56 57 58 66 68 74 75 79 81 84 89 90 93 94 95 99 101 102 103 106 110 115 118 122 123 125 127 128 130 133 135 138 142 145 147 150 151 152 156 164 167 168 173 174 177 181 184 190 194 196 200 208 210 211 213 214 217 222 227 229 235 236 237 239 240 241 256 261 262 263 267 272 273 275 276 279 281 284 292 294 296 299 300 303 304 305 307 310 315 316 318 319 322 323 324 326 335 338 341 342 351 357 358 359 363 364 367 370 371 373 377 380 392 393 394 399 401 406 410 419 420 423 430 431 440 444 446 450 451 460 463 467 470 476 477 479 481 486 489 493 494

	Command being timed: "bash /solver-dir/run.sh /benchmark/random_instance/random_instance038_graph001.col /benchmark/random_instance/random_instance038_graph001_01.dat"
	User time (seconds): 712.24
	System time (seconds): 22.55
	Percent of CPU this job got: 99%
	Elapsed (wall clock) time (h:mm:ss or m:ss): 12:14.92
	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): 61541864
	Average resident set size (kbytes): 0
	Major (requiring I/O) page faults: 219
	Minor (reclaiming a frame) page faults: 28283768
	Voluntary context switches: 802
	Involuntary context switches: 4939
	Swaps: 0
	File system inputs: 57648
	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:06:47 2023]