#BEGIN: [Wed Sep  6 01:37:15 2023]
#HOST: s16
#TIMELIMIT: 1800
#MEMLIMIT: 0
#SOLVER: existent-wallclock-suisen-cp2
#INSTANCE1: /benchmark/random_instance/random_instance037_graph004.col
#INSTANCE2: /benchmark/random_instance/random_instance037_graph004_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_graph004.col /benchmark/random_instance/random_instance037_graph004_01.dat
16:37:23 [INFO] Time reorder   : 7 (sec)
16:48:38 [INFO] Time reconf    : 675 (sec)
s 6 11 15 16 18 20 22 26 29 30 37 38 48 52 53 55 57 58 61 63 64 75 78 79 81 84 85 86 88 90 92 95 100 109 114 117 118 120 123 129 133 140 144 146 147 156 160 163 164 167 172 173 175 177 180 185 187 190 192 194 196 200 203 209 215 218 222 223 230 231 237 238 242 243 249 250 254 255 262 271 273 274 275 276 280 284 286 287 288 289 293 295 296 297 301 303 308 312 315 316 318 320 321 323 326 328 329 334 337 347 348 349 350 356 357 359 360 361 363 368 369 373 376 378 387 388 389 390 391 392 401 404 409 410 413 418 427 428 430 433 434 435 436 440 445 450 452 457 458 462 470 473 474 476 481
t 1 5 6 7 9 12 15 17 18 22 25 26 27 29 38 40 42 46 47 48 68 71 80 81 84 85 87 89 94 96 104 105 109 114 117 121 122 123 124 126 130 134 136 143 147 150 158 163 164 170 175 187 190 200 203 205 206 207 208 211 212 218 234 236 237 238 241 242 243 247 250 252 254 255 257 259 264 268 270 271 273 275 278 280 287 288 290 293 294 296 299 300 303 308 309 320 321 326 327 329 330 331 332 334 335 336 337 339 342 345 349 350 353 356 358 361 369 373 376 380 384 385 387 388 389 390 391 394 401 405 408 409 412 414 425 430 435 439 442 443 444 446 450 452 454 456 457 461 465 466 468 472 475 478 479

	Command being timed: "bash /solver-dir/run.sh /benchmark/random_instance/random_instance037_graph004.col /benchmark/random_instance/random_instance037_graph004_01.dat"
	User time (seconds): 661.43
	System time (seconds): 21.24
	Percent of CPU this job got: 99%
	Elapsed (wall clock) time (h:mm:ss or m:ss): 11:22.79
	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): 56321400
	Average resident set size (kbytes): 0
	Major (requiring I/O) page faults: 218
	Minor (reclaiming a frame) page faults: 21728175
	Voluntary context switches: 825
	Involuntary context switches: 2907
	Swaps: 0
	File system inputs: 58808
	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:48:39 2023]