#BEGIN: [Wed Sep  6 01:35:33 2023]
#HOST: s09
#TIMELIMIT: 1800
#MEMLIMIT: 0
#SOLVER: existent-wallclock-suisen-cp2
#INSTANCE1: /benchmark/random_instance/random_instance036_graph004.col
#INSTANCE2: /benchmark/random_instance/random_instance036_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_instance036_graph004.col /benchmark/random_instance/random_instance036_graph004_01.dat
16:35:40 [INFO] Time reorder   : 5 (sec)
16:45:26 [INFO] Time reconf    : 586 (sec)
s 1 4 5 6 11 14 15 16 17 19 20 24 27 28 35 36 40 43 45 46 52 56 57 59 63 68 71 73 74 76 83 86 88 92 93 96 102 105 106 108 109 119 129 130 131 132 133 135 137 152 153 154 155 156 158 161 162 167 173 186 188 193 194 195 197 199 208 210 212 218 223 229 233 242 244 247 248 250 251 254 263 265 266 269 273 274 277 279 281 282 286 287 291 294 295 296 297 304 306 310 311 313 320 325 329 331 334 341 343 346 349 352 355 364 365 366 371 373 377 379 386 388 395 396 397 398 399 410 411 415 416 419 423 428 431 435 436 438 441 444 446 447 449 450 451 452 456 459 460 461 467 468
t 5 9 11 12 15 18 20 29 30 35 37 38 39 40 43 44 48 50 54 58 60 61 62 63 70 71 79 80 81 83 84 85 86 87 95 96 97 104 113 114 119 122 132 134 136 139 141 143 144 148 153 154 156 160 162 166 168 169 180 185 190 199 201 207 213 217 218 220 221 222 224 226 229 237 240 241 243 244 248 256 257 258 260 265 268 271 272 274 276 277 279 281 282 295 297 298 300 301 303 308 310 313 321 324 325 329 330 332 334 336 340 344 346 347 352 353 356 359 361 364 366 371 379 380 386 388 389 390 392 394 395 396 397 400 402 410 418 419 427 433 435 446 447 451 452 453 455 456 457 461 465 468

	Command being timed: "bash /solver-dir/run.sh /benchmark/random_instance/random_instance036_graph004.col /benchmark/random_instance/random_instance036_graph004_01.dat"
	User time (seconds): 568.13
	System time (seconds): 24.20
	Percent of CPU this job got: 99%
	Elapsed (wall clock) time (h:mm:ss or m:ss): 9:52.59
	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): 64503240
	Average resident set size (kbytes): 0
	Major (requiring I/O) page faults: 1756
	Minor (reclaiming a frame) page faults: 29542559
	Voluntary context switches: 1871
	Involuntary context switches: 6475
	Swaps: 0
	File system inputs: 36384
	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:45:27 2023]