#BEGIN: [Wed Sep  6 01:36:25 2023]
#HOST: s02
#TIMELIMIT: 1800
#MEMLIMIT: 0
#SOLVER: existent-wallclock-suisen-cp2
#INSTANCE1: /benchmark/random_instance/random_instance037_graph003.col
#INSTANCE2: /benchmark/random_instance/random_instance037_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_instance037_graph003.col /benchmark/random_instance/random_instance037_graph003_01.dat
16:36:32 [INFO] Time reorder   : 6 (sec)
16:46:47 [INFO] Time reconf    : 615 (sec)
s 1 3 8 9 11 14 16 17 20 24 25 27 28 30 32 37 39 42 44 45 49 50 53 55 56 57 60 62 63 64 65 66 68 71 73 75 76 78 80 84 88 89 92 93 94 95 98 99 100 103 109 112 115 121 137 144 147 148 155 156 157 160 166 169 170 171 175 177 180 182 184 195 196 202 205 208 209 210 212 215 216 217 221 224 226 233 235 241 242 244 247 257 274 275 277 278 279 280 281 287 293 294 297 302 303 304 305 308 309 311 312 314 316 317 319 320 321 322 323 324 325 330 340 343 347 352 354 357 364 368 369 377 380 381 384 385 398 400 423 424 426 428 434 435 437 443 445 449 453 455 456 457 458 461 463 474 475 478 479 480
t 1 4 7 9 10 15 16 20 23 25 28 30 31 32 37 38 40 44 46 49 51 53 59 63 66 67 73 75 77 78 81 83 84 88 90 92 94 95 99 100 105 106 107 109 110 112 115 118 134 136 137 141 143 145 146 147 148 151 152 154 156 157 158 161 162 163 165 169 170 171 172 175 182 184 186 189 199 203 217 218 224 226 241 246 247 257 260 261 263 269 272 273 278 280 281 284 285 286 287 291 294 295 297 300 302 303 308 315 316 319 320 326 331 335 339 343 347 348 355 356 357 358 362 364 377 381 385 390 392 396 401 402 403 404 405 412 413 414 415 423 424 426 427 429 434 436 437 440 442 457 460 461 462 465 471 472 473 475 478 481

	Command being timed: "bash /solver-dir/run.sh /benchmark/random_instance/random_instance037_graph003.col /benchmark/random_instance/random_instance037_graph003_01.dat"
	User time (seconds): 597.86
	System time (seconds): 24.29
	Percent of CPU this job got: 99%
	Elapsed (wall clock) time (h:mm:ss or m:ss): 10:22.36
	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): 63559564
	Average resident set size (kbytes): 0
	Major (requiring I/O) page faults: 1966
	Minor (reclaiming a frame) page faults: 28639723
	Voluntary context switches: 2591
	Involuntary context switches: 2960
	Swaps: 0
	File system inputs: 75544
	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:46:48 2023]