#BEGIN: [Wed Sep  6 01:26:23 2023]
#HOST: s08
#TIMELIMIT: 1800
#MEMLIMIT: 0
#SOLVER: existent-wallclock-suisen-cp2
#INSTANCE1: /benchmark/random_instance/random_instance029_graph004.col
#INSTANCE2: /benchmark/random_instance/random_instance029_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_instance029_graph004.col /benchmark/random_instance/random_instance029_graph004_01.dat
16:26:27 [INFO] Time reorder   : 4 (sec)
16:37:46 [INFO] Time reconf    : 679 (sec)
s 1 3 10 12 15 18 24 26 32 43 44 47 55 58 59 64 65 70 72 74 75 76 78 82 83 85 86 87 89 91 94 95 100 102 108 115 118 119 122 127 128 131 132 134 135 139 141 144 156 163 168 173 179 186 189 190 191 192 197 199 200 203 204 207 209 210 211 213 216 221 222 229 231 235 238 242 246 247 248 249 250 258 264 267 271 272 274 276 278 279 280 281 285 289 296 297 298 300 301 304 310 311 314 322 324 330 334 335 340 341 342 344 346 347 352 353 356 358 359 360 366 367 369 370 374
t 1 3 6 8 9 10 15 20 21 23 24 27 28 30 31 33 36 41 45 47 54 56 58 60 61 66 71 72 78 82 84 85 87 89 94 98 100 101 112 113 115 116 119 124 125 127 131 141 142 144 145 146 150 154 155 157 170 176 179 184 188 192 195 197 206 208 212 213 214 216 218 219 220 222 223 230 240 243 249 252 253 254 255 260 263 267 269 270 275 278 280 282 286 290 292 294 295 296 297 298 302 305 306 307 311 312 313 317 318 322 326 327 328 329 340 341 346 348 351 353 357 359 365 370 374

	Command being timed: "bash /solver-dir/run.sh /benchmark/random_instance/random_instance029_graph004.col /benchmark/random_instance/random_instance029_graph004_01.dat"
	User time (seconds): 661.35
	System time (seconds): 22.21
	Percent of CPU this job got: 99%
	Elapsed (wall clock) time (h:mm:ss or m:ss): 11:23.63
	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): 61811572
	Average resident set size (kbytes): 0
	Major (requiring I/O) page faults: 107
	Minor (reclaiming a frame) page faults: 28308421
	Voluntary context switches: 131
	Involuntary context switches: 4412
	Swaps: 0
	File system inputs: 19512
	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:37:47 2023]