#BEGIN: [Tue Sep 26 13:35:30 2023]
#HOST: s14
#TIMELIMIT: 1800
#MEMLIMIT: 0
#SOLVER: existent-wallclock-suisen-cp2
#INSTANCE1: /benchmark/random_instance/random_instance030_graph004.col
#INSTANCE2: /benchmark/random_instance/random_instance030_graph004_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_instance030_graph004.col /benchmark/random_instance/random_instance030_graph004_01.dat
04:35:35 [INFO] Time reorder   : 4 (sec)
04:43:50 [INFO] Time reconf    : 495 (sec)
s 2 4 11 12 13 14 15 16 19 21 24 25 27 29 39 40 46 53 56 60 71 80 82 83 88 89 90 93 95 101 102 103 104 106 118 122 123 124 127 129 134 140 141 142 145 146 147 150 151 154 157 160 161 168 172 174 176 177 186 188 193 196 198 201 202 211 219 224 227 229 231 237 239 243 245 249 250 251 256 257 265 267 270 271 272 273 279 281 285 287 292 293 299 304 307 308 313 314 315 316 317 321 324 325 330 331 332 336 340 341 351 353 355 359 360 361 362 363 364 366 370 373 377 382
t 6 7 11 19 22 24 29 32 33 41 46 48 51 54 57 61 69 73 77 82 84 89 93 94 95 100 102 105 107 108 110 113 116 117 118 121 123 125 128 133 134 135 137 139 140 141 145 147 150 154 163 168 172 179 182 184 186 188 196 201 202 203 211 214 220 221 222 226 228 229 233 236 237 245 246 248 254 256 257 258 263 269 270 271 284 287 288 292 301 305 306 307 311 312 315 316 317 327 330 331 336 338 341 343 344 345 348 349 356 357 360 362 363 364 365 368 369 370 372 376 379 380 385 390

	Command being timed: "bash /solver-dir/run.sh /benchmark/random_instance/random_instance030_graph004.col /benchmark/random_instance/random_instance030_graph004_01.dat"
	User time (seconds): 473.42
	System time (seconds): 25.95
	Percent of CPU this job got: 99%
	Elapsed (wall clock) time (h:mm:ss or m:ss): 8:19.77
	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): 64473080
	Average resident set size (kbytes): 0
	Major (requiring I/O) page faults: 4387
	Minor (reclaiming a frame) page faults: 31640902
	Voluntary context switches: 4538
	Involuntary context switches: 5274
	Swaps: 0
	File system inputs: 71024
	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:43:50 2023]