#BEGIN: [Wed Sep  6 01:26:30 2023]
#HOST: s07
#TIMELIMIT: 1800
#MEMLIMIT: 0
#SOLVER: existent-wallclock-suisen-cp2
#INSTANCE1: /benchmark/random_instance/random_instance029_graph005.col
#INSTANCE2: /benchmark/random_instance/random_instance029_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_instance029_graph005.col /benchmark/random_instance/random_instance029_graph005_01.dat
16:26:34 [INFO] Time reorder   : 4 (sec)
16:35:10 [INFO] Time reconf    : 515 (sec)
s 7 10 11 17 19 20 21 25 27 42 43 50 52 55 59 70 77 78 80 90 91 93 99 102 103 107 111 112 118 119 121 122 124 125 127 129 132 137 139 141 143 156 162 163 168 169 170 172 174 175 179 181 182 185 189 192 198 201 209 213 214 215 218 221 223 227 230 231 233 234 236 239 240 248 252 253 255 261 262 263 266 269 270 272 279 285 288 289 296 300 301 302 307 308 318 319 320 323 326 330 331 335 337 338 340 341 342 351 352 354 355 356 360 366 370 374
t 1 11 12 15 16 19 20 25 26 30 34 45 50 53 54 55 56 59 62 63 68 73 74 76 77 78 79 83 84 94 95 98 103 104 106 107 112 114 117 118 128 129 134 136 143 146 151 156 160 163 166 169 171 172 174 178 180 187 191 193 198 199 202 211 214 216 217 219 220 221 223 231 233 234 240 243 244 246 248 249 254 255 258 262 263 269 284 288 294 296 301 302 314 316 317 320 324 326 329 333 334 340 342 345 347 352 353 354 356 357 358 362 364 371 372 375

	Command being timed: "bash /solver-dir/run.sh /benchmark/random_instance/random_instance029_graph005.col /benchmark/random_instance/random_instance029_graph005_01.dat"
	User time (seconds): 495.48
	System time (seconds): 24.28
	Percent of CPU this job got: 99%
	Elapsed (wall clock) time (h:mm:ss or m:ss): 8:40.11
	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): 64505656
	Average resident set size (kbytes): 0
	Major (requiring I/O) page faults: 1574
	Minor (reclaiming a frame) page faults: 29614440
	Voluntary context switches: 2232
	Involuntary context switches: 4956
	Swaps: 0
	File system inputs: 74840
	File system outputs: 72
	Socket messages sent: 0
	Socket messages received: 0
	Signals delivered: 0
	Page size (bytes): 4096
	Exit status: 0
#END: [Wed Sep  6 01:35:11 2023]