#BEGIN: [Wed Sep  6 01:25:36 2023]
#HOST: s05
#TIMELIMIT: 1800
#MEMLIMIT: 0
#SOLVER: existent-wallclock-suisen-cp2
#INSTANCE1: /benchmark/random_instance/random_instance028_graph004.col
#INSTANCE2: /benchmark/random_instance/random_instance028_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_instance028_graph004.col /benchmark/random_instance/random_instance028_graph004_01.dat
16:25:40 [INFO] Time reorder   : 3 (sec)
16:36:10 [INFO] Time reconf    : 630 (sec)
s 2 5 7 11 12 15 16 18 20 24 28 31 33 34 38 39 40 41 43 45 50 51 52 57 59 60 73 84 85 86 89 97 99 100 101 107 109 112 117 118 121 122 124 131 137 140 142 146 147 153 156 158 160 161 164 169 172 175 176 177 178 184 187 193 195 199 201 202 203 205 211 213 222 230 232 233 234 238 239 241 248 251 252 254 257 259 263 276 277 279 282 285 288 292 293 294 295 296 304 308 310 311 319 321 324 329 330 333 339 340 348 349 350 351 353 354 358 361
t 1 2 3 4 5 7 9 11 20 21 22 23 24 25 40 44 47 50 55 57 59 65 67 74 76 78 86 90 92 95 97 98 101 112 114 126 128 132 137 139 141 143 147 148 149 152 156 158 169 171 174 175 178 180 184 191 193 194 201 211 212 213 214 216 220 227 228 229 230 239 242 248 249 254 255 258 259 262 265 266 267 269 270 279 283 288 293 294 295 297 299 301 305 308 309 313 315 317 318 322 323 324 327 330 335 337 340 341 346 347 351 352 353 355 359 361 362 363

	Command being timed: "bash /solver-dir/run.sh /benchmark/random_instance/random_instance028_graph004.col /benchmark/random_instance/random_instance028_graph004_01.dat"
	User time (seconds): 609.41
	System time (seconds): 24.47
	Percent of CPU this job got: 99%
	Elapsed (wall clock) time (h:mm:ss or m:ss): 10:34.03
	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): 64401992
	Average resident set size (kbytes): 0
	Major (requiring I/O) page faults: 1728
	Minor (reclaiming a frame) page faults: 29888975
	Voluntary context switches: 1817
	Involuntary context switches: 6023
	Swaps: 0
	File system inputs: 36512
	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:36:10 2023]