#BEGIN: [Tue Sep 26 13:36:24 2023]
#HOST: s09
#TIMELIMIT: 1800
#MEMLIMIT: 0
#SOLVER: existent-wallclock-suisen-cp2
#INSTANCE1: /benchmark/random_instance/random_instance031_graph003.col
#INSTANCE2: /benchmark/random_instance/random_instance031_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_instance031_graph003.col /benchmark/random_instance/random_instance031_graph003_01.dat
04:36:29 [INFO] Time reorder   : 4 (sec)
04:45:38 [INFO] Time reconf    : 548 (sec)
s 3 5 8 14 15 19 21 25 28 36 37 38 40 43 49 51 54 55 56 57 58 60 65 66 69 76 77 79 80 84 85 86 87 88 90 91 92 93 95 97 99 102 105 111 113 115 116 117 120 121 127 128 129 135 137 142 143 149 151 154 156 159 162 166 168 169 170 171 179 182 189 190 194 200 202 205 210 213 216 217 218 228 231 233 236 241 242 243 248 250 257 260 262 265 269 270 274 276 281 289 291 292 293 295 296 298 299 303 313 315 317 320 321 322 326 330 331 339 345 346 357 359 364 365 366 367 368 378 383 389 393 395 397 399
t 8 10 21 22 24 25 26 28 29 30 32 35 36 39 42 45 48 51 53 56 58 61 62 65 69 70 72 73 76 77 81 82 83 90 98 102 103 105 106 112 117 122 127 132 138 141 142 143 144 145 146 152 159 160 163 164 165 167 169 171 177 179 181 182 187 190 204 205 206 212 213 215 216 223 224 225 227 228 230 231 234 236 237 240 243 245 246 254 257 258 260 262 267 269 270 273 276 279 282 285 289 291 292 293 304 309 310 312 313 317 319 329 330 331 343 345 350 357 358 359 363 365 368 369 370 371 376 380 382 388 390 392 398 401

	Command being timed: "bash /solver-dir/run.sh /benchmark/random_instance/random_instance031_graph003.col /benchmark/random_instance/random_instance031_graph003_01.dat"
	User time (seconds): 528.62
	System time (seconds): 24.22
	Percent of CPU this job got: 99%
	Elapsed (wall clock) time (h:mm:ss or m:ss): 9:13.02
	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): 64478144
	Average resident set size (kbytes): 0
	Major (requiring I/O) page faults: 1748
	Minor (reclaiming a frame) page faults: 29662835
	Voluntary context switches: 1840
	Involuntary context switches: 5534
	Swaps: 0
	File system inputs: 36544
	File system outputs: 72
	Socket messages sent: 0
	Socket messages received: 0
	Signals delivered: 0
	Page size (bytes): 4096
	Exit status: 0
#END: [Tue Sep 26 13:45:38 2023]