#BEGIN: [Wed Sep  6 01:32:22 2023]
#HOST: s12
#TIMELIMIT: 1800
#MEMLIMIT: 0
#SOLVER: existent-wallclock-suisen-cp2
#INSTANCE1: /benchmark/random_instance/random_instance034_graph004.col
#INSTANCE2: /benchmark/random_instance/random_instance034_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_instance034_graph004.col /benchmark/random_instance/random_instance034_graph004_01.dat
16:32:28 [INFO] Time reorder   : 5 (sec)
16:42:58 [INFO] Time reconf    : 629 (sec)
s 1 3 4 5 6 8 13 15 16 27 29 30 32 33 34 35 38 43 50 52 53 56 57 59 66 67 72 76 80 81 83 85 88 93 94 98 101 102 103 105 106 108 111 117 118 119 122 126 128 130 132 135 136 144 146 147 153 159 161 164 165 166 173 174 175 176 177 180 183 192 196 201 204 205 213 220 221 223 224 225 228 233 234 237 239 240 241 244 253 256 258 260 261 262 266 269 276 279 283 284 290 293 294 296 299 302 306 309 313 315 316 318 319 322 324 331 335 341 348 352 354 362 367 371 372 375 377 378 383 391 394 396 398 399 414 415 416 417 420 421 422 425 427 433 434 435 437 439
t 4 5 7 8 16 23 29 30 31 32 33 34 35 37 38 40 41 43 57 62 64 67 69 71 72 75 76 81 83 93 97 98 103 106 108 110 111 122 126 127 129 132 138 141 147 149 154 159 161 163 165 173 180 186 187 189 192 195 204 205 210 211 212 216 217 218 225 226 229 238 239 241 243 244 253 254 256 259 260 264 266 270 273 274 276 277 279 280 281 287 290 293 299 300 307 311 314 315 316 319 321 328 331 332 338 341 343 344 346 351 352 357 360 363 364 365 366 367 368 370 371 372 374 375 377 385 386 387 390 393 395 396 397 400 404 407 409 411 414 415 418 422 426 427 431 434 437 442

	Command being timed: "bash /solver-dir/run.sh /benchmark/random_instance/random_instance034_graph004.col /benchmark/random_instance/random_instance034_graph004_01.dat"
	User time (seconds): 611.22
	System time (seconds): 24.18
	Percent of CPU this job got: 99%
	Elapsed (wall clock) time (h:mm:ss or m:ss): 10:35.67
	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): 64487148
	Average resident set size (kbytes): 0
	Major (requiring I/O) page faults: 1947
	Minor (reclaiming a frame) page faults: 29276518
	Voluntary context switches: 2610
	Involuntary context switches: 6239
	Swaps: 0
	File system inputs: 75944
	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:42:59 2023]