#BEGIN: [Tue Sep 26 13:41:40 2023]
#HOST: s11
#TIMELIMIT: 1800
#MEMLIMIT: 0
#SOLVER: existent-wallclock-suisen-cp2
#INSTANCE1: /benchmark/random_instance/random_instance027_graph003.col
#INSTANCE2: /benchmark/random_instance/random_instance027_graph003_01.dat
#COMMAND: docker run --cidfile /tmp/cid.txt --init --rm -t -v /home/share/benchmark/ISR-benchmark:/benchmark suisen-cp2 /benchmark/random_instance/random_instance027_graph003.col /benchmark/random_instance/random_instance027_graph003_01.dat
04:41:44 [INFO] Time reorder   : 3 (sec)
04:54:20 [INFO] Time reconf    : 756 (sec)
s 1 3 5 14 16 18 20 23 25 27 28 29 30 42 45 46 49 54 58 61 64 65 74 81 84 85 88 90 91 97 99 100 111 113 124 129 134 135 138 144 146 147 154 156 159 167 168 180 182 183 189 191 192 197 198 200 207 208 211 213 215 219 223 224 231 239 241 245 247 248 251 252 260 263 265 267 270 271 273 274 276 281 283 286 287 288 294 298 299 300 304 306 307 310 314 317 318 321 322 323 326 330 331 333 336 338 339 340 341 342 344 346 348 349
t 2 3 9 15 16 17 18 29 31 33 34 35 43 48 52 56 58 59 62 65 68 71 74 80 85 89 91 92 94 97 100 111 113 116 118 121 123 125 126 129 133 135 143 147 148 149 150 163 164 170 172 173 178 188 190 191 195 196 200 201 202 208 215 216 217 218 219 221 227 230 234 238 239 242 243 245 246 249 253 265 266 268 271 273 275 278 280 284 288 291 295 298 305 306 310 315 316 317 318 319 321 325 328 329 336 338 339 341 343 344 345 348 349 351

	Command being timed: "bash /solver-dir/run.sh /benchmark/random_instance/random_instance027_graph003.col /benchmark/random_instance/random_instance027_graph003_01.dat"
	User time (seconds): 738.64
	System time (seconds): 21.05
	Percent of CPU this job got: 99%
	Elapsed (wall clock) time (h:mm:ss or m:ss): 12:39.84
	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): 54100112
	Average resident set size (kbytes): 0
	Major (requiring I/O) page faults: 224
	Minor (reclaiming a frame) page faults: 21432077
	Voluntary context switches: 842
	Involuntary context switches: 2635
	Swaps: 0
	File system inputs: 58264
	File system outputs: 72
	Socket messages sent: 0
	Socket messages received: 0
	Signals delivered: 0
	Page size (bytes): 4096
	Exit status: 0
#END: [Tue Sep 26 13:54:21 2023]