#BEGIN: [Wed Sep  6 00:10:59 2023]
#HOST: s05
#TIMELIMIT: 1800
#MEMLIMIT: 0
#SOLVER: existent-cpu-suisen-cp2
#INSTANCE1: /benchmark/random_instance/random_instance026_graph001.col
#INSTANCE2: /benchmark/random_instance/random_instance026_graph001_01.dat
#COMMAND: docker run --cidfile /tmp/cid.txt --init --rm -t --ulimit cpu=1800 -v /home/share/benchmark/ISR-benchmark:/benchmark suisen-cp2 /benchmark/random_instance/random_instance026_graph001.col /benchmark/random_instance/random_instance026_graph001_01.dat
15:11:02 [INFO] Time reorder   : 3 (sec)
15:18:55 [INFO] Time reconf    : 472 (sec)
s 6 11 16 17 21 25 28 33 37 38 42 52 54 56 57 59 61 63 64 65 66 68 70 73 75 81 82 85 87 92 97 98 100 102 104 109 110 113 114 117 118 125 127 131 132 135 136 144 149 150 152 157 158 159 166 169 170 176 178 181 183 184 191 200 202 203 207 208 212 215 217 221 224 228 230 238 240 243 251 253 256 258 264 268 278 280 285 287 289 290 291 294 298 300 301 303 307 312 313 315 317 319 321 322 328 331 332 333 337 338
t 5 7 11 12 13 15 21 23 24 28 35 36 37 43 44 45 48 50 51 52 59 61 62 65 66 71 74 75 79 82 84 85 87 88 103 104 105 107 110 112 117 119 123 131 133 134 135 148 150 153 157 158 159 169 172 175 180 186 188 190 192 201 204 205 208 212 213 215 217 218 219 223 225 231 233 238 243 246 256 257 258 259 270 271 273 274 277 279 280 281 282 286 288 292 295 301 302 305 306 307 312 313 315 318 320 321 324 329 331 338

	Command being timed: "bash /solver-dir/run.sh /benchmark/random_instance/random_instance026_graph001.col /benchmark/random_instance/random_instance026_graph001_01.dat"
	User time (seconds): 451.67
	System time (seconds): 23.97
	Percent of CPU this job got: 99%
	Elapsed (wall clock) time (h:mm:ss or m:ss): 7:55.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): 64416752
	Average resident set size (kbytes): 0
	Major (requiring I/O) page faults: 1647
	Minor (reclaiming a frame) page faults: 29817418
	Voluntary context switches: 1763
	Involuntary context switches: 5213
	Swaps: 0
	File system inputs: 36464
	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 00:18:55 2023]