#BEGIN: [Wed Sep  6 01:35:11 2023]
#HOST: s07
#TIMELIMIT: 1800
#MEMLIMIT: 0
#SOLVER: existent-wallclock-suisen-cp2
#INSTANCE1: /benchmark/random_instance/random_instance035_graph005.col
#INSTANCE2: /benchmark/random_instance/random_instance035_graph005_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_instance035_graph005.col /benchmark/random_instance/random_instance035_graph005_01.dat
16:35:17 [INFO] Time reorder   : 5 (sec)
16:46:11 [INFO] Time reconf    : 654 (sec)
s 4 11 12 14 17 18 22 23 27 29 30 31 32 33 40 44 45 46 48 52 55 56 61 63 66 72 75 77 80 84 86 87 88 89 90 91 96 98 101 102 105 107 113 115 117 120 125 129 130 131 133 135 142 148 149 150 151 153 154 160 162 177 180 183 195 196 198 201 207 208 212 215 220 222 225 229 233 235 236 237 240 242 243 247 249 259 261 263 265 273 275 277 278 281 285 287 296 306 310 311 312 314 316 317 318 330 331 335 337 339 340 342 344 347 350 352 355 356 360 368 372 383 386 387 388 392 395 400 401 405 409 412 413 415 421 422 434 435 437 439 442 443 445 448 449 454
t 11 16 17 25 26 28 29 30 36 46 47 55 56 59 69 70 72 74 75 79 80 83 84 86 96 97 101 109 116 121 123 125 128 130 135 137 139 141 143 144 145 149 156 158 159 160 164 169 173 174 176 177 181 188 189 190 195 199 200 202 206 212 215 218 222 227 228 232 233 234 237 241 244 247 249 252 256 260 263 270 272 273 275 277 278 279 286 287 290 295 297 299 300 302 303 304 309 315 316 317 318 320 325 327 328 331 334 337 338 341 344 345 346 352 355 356 358 359 365 369 370 373 376 381 383 384 387 395 406 408 417 425 427 428 430 433 434 435 437 440 441 442 448 449 452 455

	Command being timed: "bash /solver-dir/run.sh /benchmark/random_instance/random_instance035_graph005.col /benchmark/random_instance/random_instance035_graph005_01.dat"
	User time (seconds): 635.49
	System time (seconds): 24.33
	Percent of CPU this job got: 99%
	Elapsed (wall clock) time (h:mm:ss or m:ss): 11:00.04
	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): 64512304
	Average resident set size (kbytes): 0
	Major (requiring I/O) page faults: 1819
	Minor (reclaiming a frame) page faults: 29303700
	Voluntary context switches: 2397
	Involuntary context switches: 6067
	Swaps: 0
	File system inputs: 74576
	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:12 2023]