#BEGIN: [Tue Sep 19 01:39:30 2023]
#HOST: s06
#TIMELIMIT: 1800
#MEMLIMIT: 0
#SOLVER: existent-wallclock-suisen-cp2
#INSTANCE1: /benchmark/random_instance/random_instance034_graph003.col
#INSTANCE2: /benchmark/random_instance/random_instance034_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_instance034_graph003.col /benchmark/random_instance/random_instance034_graph003_01.dat
16:39:36 [INFO] Time reorder   : 5 (sec)
16:53:58 [INFO] Time reconf    : 862 (sec)
s 1 2 4 12 15 21 25 26 28 30 31 36 38 39 41 42 47 49 50 51 54 55 59 60 67 71 74 78 80 90 91 92 93 100 107 108 109 110 112 114 117 122 125 127 132 133 137 141 142 143 146 148 153 155 157 164 169 176 180 181 182 185 186 189 195 197 201 204 207 208 211 214 215 217 219 222 226 227 231 232 233 234 238 243 244 247 250 251 255 259 273 281 282 284 288 293 296 306 310 311 313 318 321 326 335 339 342 343 345 346 348 353 358 359 361 362 365 366 373 375 379 380 388 391 395 397 403 409 410 411 412 415 419 420 421 422 425 426 432 433 437 438
t 1 2 5 7 9 15 16 22 30 33 34 36 38 39 41 46 49 51 52 56 60 61 64 66 67 69 72 73 75 77 79 80 81 82 84 90 93 94 96 100 103 104 107 108 109 110 113 115 117 121 130 132 134 135 136 138 140 143 148 149 150 155 157 159 166 167 168 176 177 179 181 186 189 192 194 198 199 200 201 203 204 207 209 210 213 216 217 218 227 230 231 240 250 255 266 270 273 277 278 280 289 296 298 301 305 306 308 309 311 313 315 326 329 333 335 337 342 346 350 352 355 356 361 362 373 385 387 389 403 404 410 416 419 420 421 422 427 432 433 436 440 441

	Command being timed: "bash /solver-dir/run.sh /benchmark/random_instance/random_instance034_graph003.col /benchmark/random_instance/random_instance034_graph003_01.dat"
	User time (seconds): 843.37
	System time (seconds): 24.02
	Percent of CPU this job got: 99%
	Elapsed (wall clock) time (h:mm:ss or m:ss): 14:27.78
	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): 64484988
	Average resident set size (kbytes): 0
	Major (requiring I/O) page faults: 1980
	Minor (reclaiming a frame) page faults: 29404133
	Voluntary context switches: 2638
	Involuntary context switches: 8520
	Swaps: 0
	File system inputs: 75184
	File system outputs: 80
	Socket messages sent: 0
	Socket messages received: 0
	Signals delivered: 0
	Page size (bytes): 4096
	Exit status: 0
#END: [Tue Sep 19 01:53:58 2023]