#BEGIN: [Mon Sep 18 15:16:21 2023]
#HOST: s16
#TIMELIMIT: 1800
#MEMLIMIT: 0
#SOLVER: existent-cpu-suisen-cp2
#INSTANCE1: /benchmark/random_instance/random_instance024_graph004.col
#INSTANCE2: /benchmark/random_instance/random_instance024_graph004_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_instance024_graph004.col /benchmark/random_instance/random_instance024_graph004_01.dat
06:16:25 [INFO] Time reorder   : 3 (sec)
06:30:51 [INFO] Time reconf    : 865 (sec)
s 1 3 10 11 15 16 20 28 32 38 41 43 44 45 51 54 57 58 60 61 62 64 65 66 68 74 78 86 87 89 90 92 94 95 96 97 98 100 102 103 108 109 111 112 118 121 122 127 137 140 147 148 152 155 156 158 163 165 166 169 180 181 182 186 188 194 197 198 206 207 213 215 216 222 226 227 231 235 237 238 242 247 248 249 251 255 261 265 267 279 281 284 285 286 288 293 294 297 302 303 311
t 2 6 10 11 14 15 17 18 24 28 38 41 43 47 49 52 54 57 59 60 61 66 81 84 86 87 92 94 95 96 97 98 101 103 107 113 116 120 122 129 138 140 141 143 144 147 148 149 154 159 160 163 164 167 168 169 179 180 185 187 189 190 191 192 193 194 195 200 201 202 205 207 210 214 215 216 220 221 228 229 237 239 244 246 263 269 276 277 281 284 285 293 297 300 302 303 305 308 309 310 311

	Command being timed: "bash /solver-dir/run.sh /benchmark/random_instance/random_instance024_graph004.col /benchmark/random_instance/random_instance024_graph004_01.dat"
	User time (seconds): 847.91
	System time (seconds): 21.21
	Percent of CPU this job got: 99%
	Elapsed (wall clock) time (h:mm:ss or m:ss): 14:29.25
	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): 54201200
	Average resident set size (kbytes): 0
	Major (requiring I/O) page faults: 219
	Minor (reclaiming a frame) page faults: 21326291
	Voluntary context switches: 809
	Involuntary context switches: 1952
	Swaps: 0
	File system inputs: 58672
	File system outputs: 72
	Socket messages sent: 0
	Socket messages received: 0
	Signals delivered: 0
	Page size (bytes): 4096
	Exit status: 0
#END: [Mon Sep 18 15:30:51 2023]