#BEGIN: [Wed Sep  6 00:07:10 2023]
#HOST: s12
#TIMELIMIT: 1800
#MEMLIMIT: 0
#SOLVER: existent-cpu-suisen-cp2
#INSTANCE1: /benchmark/random_instance/random_instance024_graph003.col
#INSTANCE2: /benchmark/random_instance/random_instance024_graph003_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_graph003.col /benchmark/random_instance/random_instance024_graph003_01.dat
15:07:14 [INFO] Time reorder   : 2 (sec)
15:16:47 [INFO] Time reconf    : 572 (sec)
s 7 8 15 17 24 25 33 37 47 52 53 61 64 67 69 70 72 75 76 78 80 83 85 87 88 89 93 96 110 112 116 119 120 122 126 127 132 134 137 139 144 151 153 162 164 167 168 169 170 171 176 179 180 182 187 189 190 192 194 196 201 206 214 216 217 219 223 224 226 230 232 237 240 241 242 246 254 255 259 260 262 263 264 265 268 272 275 276 278 280 285 290 293 294 296 298 307 310 312
t 2 3 7 15 18 20 21 22 24 26 30 40 42 44 45 50 55 56 57 58 59 61 63 71 73 76 82 83 85 90 93 97 103 107 112 124 127 129 131 135 137 143 144 145 149 150 152 156 158 161 163 169 171 176 179 182 184 187 190 194 195 202 204 206 211 212 213 216 217 218 220 222 223 224 225 230 232 235 236 237 239 241 247 263 264 265 266 267 268 271 277 283 295 296 299 304 306 308 309

	Command being timed: "bash /solver-dir/run.sh /benchmark/random_instance/random_instance024_graph003.col /benchmark/random_instance/random_instance024_graph003_01.dat"
	User time (seconds): 551.42
	System time (seconds): 24.10
	Percent of CPU this job got: 99%
	Elapsed (wall clock) time (h:mm:ss or m:ss): 9:35.73
	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): 64469364
	Average resident set size (kbytes): 0
	Major (requiring I/O) page faults: 1631
	Minor (reclaiming a frame) page faults: 29674974
	Voluntary context switches: 2193
	Involuntary context switches: 5728
	Swaps: 0
	File system inputs: 74888
	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:16:47 2023]