#BEGIN: [Wed Sep  6 00:03:53 2023]
#HOST: s16
#TIMELIMIT: 1800
#MEMLIMIT: 0
#SOLVER: existent-cpu-suisen-cp2
#INSTANCE1: /benchmark/random_instance/random_instance023_graph004.col
#INSTANCE2: /benchmark/random_instance/random_instance023_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_instance023_graph004.col /benchmark/random_instance/random_instance023_graph004_01.dat
15:03:56 [INFO] Time reorder   : 3 (sec)
15:20:24 [INFO] Time reconf    : 987 (sec)
s 7 9 10 11 12 14 17 21 22 23 24 29 30 33 36 39 40 42 45 48 49 52 53 54 61 77 83 86 89 90 91 96 101 105 106 107 110 114 118 123 126 128 130 135 137 139 144 148 149 151 153 155 156 161 166 167 168 171 174 175 176 181 182 187 190 194 196 199 204 205 207 208 209 211 215 216 217 221 225 236 239 247 248 252 255 256 266 269 271 272 275 277 283 285 289 290 291 294 295 296 299
t 1 5 11 13 14 15 18 30 31 36 42 45 48 49 50 52 53 60 63 66 70 71 75 76 77 79 91 95 102 106 110 113 114 119 126 135 138 141 144 146 147 155 159 167 170 171 172 173 174 175 176 177 178 181 184 185 186 187 189 190 192 196 197 198 199 202 204 205 210 212 213 221 222 224 225 228 233 237 240 242 244 249 251 252 253 255 256 261 272 273 276 277 280 281 282 284 286 290 293 294 296

	Command being timed: "bash /solver-dir/run.sh /benchmark/random_instance/random_instance023_graph004.col /benchmark/random_instance/random_instance023_graph004_01.dat"
	User time (seconds): 966.70
	System time (seconds): 23.60
	Percent of CPU this job got: 99%
	Elapsed (wall clock) time (h:mm:ss or m:ss): 16:30.59
	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): 56325432
	Average resident set size (kbytes): 0
	Major (requiring I/O) page faults: 2019
	Minor (reclaiming a frame) page faults: 22260294
	Voluntary context switches: 2775
	Involuntary context switches: 6234
	Swaps: 0
	File system inputs: 76000
	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:20:24 2023]