#BEGIN: [Wed Sep  6 01:41:33 2023]
#HOST: s06
#TIMELIMIT: 1800
#MEMLIMIT: 0
#SOLVER: existent-wallclock-suisen-cp2
#INSTANCE1: /benchmark/random_instance/random_instance039_graph001.col
#INSTANCE2: /benchmark/random_instance/random_instance039_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_instance039_graph001.col /benchmark/random_instance/random_instance039_graph001_01.dat
16:41:40 [INFO] Time reorder   : 7 (sec)
16:53:00 [INFO] Time reconf    : 679 (sec)
s 3 9 12 13 16 23 24 25 26 29 30 31 33 34 35 37 42 51 53 54 68 73 78 80 85 90 103 104 107 109 110 113 115 116 119 121 123 124 125 133 137 138 139 141 144 153 154 156 158 159 160 161 166 170 171 176 177 182 183 185 186 188 190 203 213 220 222 223 225 229 231 233 234 241 245 246 252 253 254 255 257 258 265 269 271 272 275 279 294 298 302 304 309 310 311 312 314 317 318 319 320 321 326 333 335 336 337 338 340 341 342 343 345 353 354 362 364 365 366 368 371 373 378 379 381 383 389 393 399 404 406 409 415 418 419 421 424 427 430 431 432 434 439 441 443 446 452 453 454 456 458 459 471 472 473 477 479 486 495 502 503
t 2 3 6 9 14 16 17 21 23 29 38 39 41 48 49 50 51 52 53 54 57 58 59 62 64 74 75 80 85 86 87 92 93 95 97 98 103 106 107 108 109 110 111 115 116 117 120 125 131 132 135 143 144 146 150 151 154 155 159 161 166 173 174 176 182 187 192 199 203 204 206 213 218 221 228 229 232 235 238 244 246 259 260 261 262 264 269 270 271 273 275 279 284 285 287 289 294 297 298 302 303 311 314 319 323 329 338 340 342 343 346 347 349 350 358 362 365 368 369 370 371 372 373 378 379 381 383 390 393 397 406 407 409 414 417 419 420 425 427 429 437 440 441 445 446 448 450 452 460 463 477 488 491 493 495 498 501 502 503 504 507

	Command being timed: "bash /solver-dir/run.sh /benchmark/random_instance/random_instance039_graph001.col /benchmark/random_instance/random_instance039_graph001_01.dat"
	User time (seconds): 662.86
	System time (seconds): 24.02
	Percent of CPU this job got: 99%
	Elapsed (wall clock) time (h:mm:ss or m:ss): 11:27.21
	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): 64503432
	Average resident set size (kbytes): 0
	Major (requiring I/O) page faults: 1978
	Minor (reclaiming a frame) page faults: 29234259
	Voluntary context switches: 2598
	Involuntary context switches: 6195
	Swaps: 0
	File system inputs: 75176
	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:53:01 2023]