#BEGIN: [Wed Sep  6 00:08:51 2023]
#HOST: s14
#TIMELIMIT: 1800
#MEMLIMIT: 0
#SOLVER: existent-cpu-suisen-cp2
#INSTANCE1: /benchmark/random_instance/random_instance024_graph005.col
#INSTANCE2: /benchmark/random_instance/random_instance024_graph005_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_graph005.col /benchmark/random_instance/random_instance024_graph005_01.dat
15:08:54 [INFO] Time reorder   : 2 (sec)
15:19:21 [INFO] Time reconf    : 626 (sec)
s 1 3 5 7 10 12 13 24 26 30 33 41 47 50 51 57 58 61 62 66 71 72 73 87 88 93 96 97 101 106 108 110 116 118 120 122 123 125 127 136 140 143 145 151 157 163 166 168 169 172 175 181 183 197 201 202 203 204 206 211 213 216 217 222 224 225 226 230 232 236 238 239 242 244 246 249 250 253 257 261 264 268 269 272 273 274 275 277 278 281 286 289 293 294 298 299 301 303 306 307 308 309 310 312
t 5 7 9 14 20 21 26 33 34 36 38 39 46 47 51 52 54 55 58 59 61 63 67 68 76 77 87 88 93 94 96 100 103 104 106 107 108 116 120 121 122 124 130 136 137 139 140 143 145 146 148 159 160 163 165 169 170 171 177 178 180 181 191 192 196 199 201 205 206 211 214 216 219 223 225 229 230 232 233 234 237 242 246 247 248 252 253 267 269 271 272 274 278 283 284 288 289 293 301 303 304 306 308 310

	Command being timed: "bash /solver-dir/run.sh /benchmark/random_instance/random_instance024_graph005.col /benchmark/random_instance/random_instance024_graph005_01.dat"
	User time (seconds): 605.61
	System time (seconds): 23.97
	Percent of CPU this job got: 99%
	Elapsed (wall clock) time (h:mm:ss or m:ss): 10:29.80
	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): 64493232
	Average resident set size (kbytes): 0
	Major (requiring I/O) page faults: 1689
	Minor (reclaiming a frame) page faults: 29554029
	Voluntary context switches: 2275
	Involuntary context switches: 5213
	Swaps: 0
	File system inputs: 75744
	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:19:22 2023]