#BEGIN: [Mon Sep 18 16:00:39 2023]
#HOST: s10
#TIMELIMIT: 1800
#MEMLIMIT: 0
#SOLVER: existent-wallclock-suisen-cp2
#INSTANCE1: /benchmark/random_instance/random_instance028_graph005.col
#INSTANCE2: /benchmark/random_instance/random_instance028_graph005_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_instance028_graph005.col /benchmark/random_instance/random_instance028_graph005_01.dat
07:00:43 [INFO] Time reorder   : 3 (sec)
07:13:07 [INFO] Time reconf    : 744 (sec)
s 1 2 5 7 10 11 13 14 19 26 27 36 38 44 45 48 50 55 56 59 63 65 66 69 75 78 89 97 102 105 106 112 116 119 128 129 130 132 136 138 139 142 145 149 151 154 155 159 167 168 169 172 175 176 177 184 186 196 198 200 205 212 213 220 224 228 231 236 237 238 239 240 243 245 251 255 256 260 261 264 266 269 270 273 274 276 277 278 279 286 287 289 291 293 301 302 303 305 307 308 311 315 317 320 322 323 324 326 332 334 335 339 343 346 351 352 358 363 364
t 1 3 5 7 10 14 16 17 18 19 25 30 35 36 39 46 47 48 50 54 56 58 59 62 63 65 69 71 77 78 79 85 89 90 92 102 104 105 107 113 118 119 125 126 130 132 133 134 136 138 139 140 141 143 144 145 148 150 169 174 175 181 182 186 188 196 198 199 201 204 210 212 214 215 218 220 225 229 231 234 241 242 246 251 254 258 261 263 267 270 273 276 277 278 279 283 284 286 287 290 291 298 303 310 315 317 319 324 325 326 330 332 335 338 343 348 352 354 361

	Command being timed: "bash /solver-dir/run.sh /benchmark/random_instance/random_instance028_graph005.col /benchmark/random_instance/random_instance028_graph005_01.dat"
	User time (seconds): 723.70
	System time (seconds): 24.16
	Percent of CPU this job got: 99%
	Elapsed (wall clock) time (h:mm:ss or m:ss): 12:28.17
	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): 62515332
	Average resident set size (kbytes): 0
	Major (requiring I/O) page faults: 2024
	Minor (reclaiming a frame) page faults: 28594390
	Voluntary context switches: 2768
	Involuntary context switches: 5204
	Swaps: 0
	File system inputs: 73584
	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 16:13:07 2023]