#BEGIN: [Tue Sep 26 13:42:06 2023]
#HOST: s08
#TIMELIMIT: 1800
#MEMLIMIT: 0
#SOLVER: existent-wallclock-suisen-cp2
#INSTANCE1: /benchmark/random_instance/random_instance028_graph001.col
#INSTANCE2: /benchmark/random_instance/random_instance028_graph001_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_graph001.col /benchmark/random_instance/random_instance028_graph001_01.dat
04:42:11 [INFO] Time reorder   : 4 (sec)
04:56:08 [INFO] Time reconf    : 837 (sec)
s 3 5 6 7 9 15 18 21 24 27 30 31 33 35 36 40 44 55 57 62 63 64 65 69 71 72 75 76 77 79 83 85 86 88 89 90 91 94 97 101 102 106 107 110 111 112 119 121 126 137 138 143 149 150 154 158 161 164 168 169 170 172 174 176 180 183 185 187 188 192 205 207 209 212 213 214 215 216 218 232 233 239 240 241 243 247 252 256 262 263 265 268 269 273 274 275 278 279 282 285 291 296 302 306 312 319 321 324 328 338 339 340 341 344 353 354 358
t 6 9 13 17 18 19 20 21 24 26 27 29 30 33 35 40 42 45 47 51 55 56 57 59 62 63 64 69 71 73 74 76 88 90 93 95 99 100 101 112 116 119 121 122 124 125 126 138 141 144 146 149 150 152 154 155 158 159 161 168 169 174 176 191 193 194 199 201 204 207 213 215 216 220 222 223 224 226 228 234 240 246 247 248 249 258 262 265 270 274 275 276 277 279 281 282 289 296 298 299 302 307 308 312 315 319 323 328 331 334 338 340 341 348 350 358 361

	Command being timed: "bash /solver-dir/run.sh /benchmark/random_instance/random_instance028_graph001.col /benchmark/random_instance/random_instance028_graph001_01.dat"
	User time (seconds): 818.46
	System time (seconds): 22.77
	Percent of CPU this job got: 99%
	Elapsed (wall clock) time (h:mm:ss or m:ss): 14:01.35
	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): 61339700
	Average resident set size (kbytes): 0
	Major (requiring I/O) page faults: 222
	Minor (reclaiming a frame) page faults: 28600643
	Voluntary context switches: 744
	Involuntary context switches: 5337
	Swaps: 0
	File system inputs: 57576
	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:56:08 2023]