#BEGIN: [Tue Sep 26 13:29:02 2023]
#HOST: s06
#TIMELIMIT: 1800
#MEMLIMIT: 0
#SOLVER: existent-wallclock-suisen-cp2
#INSTANCE1: /benchmark/random_instance/random_instance025_graph001.col
#INSTANCE2: /benchmark/random_instance/random_instance025_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_instance025_graph001.col /benchmark/random_instance/random_instance025_graph001_01.dat
04:29:06 [INFO] Time reorder   : 2 (sec)
04:40:33 [INFO] Time reconf    : 687 (sec)
s 3 4 6 7 8 11 12 13 19 20 21 28 29 31 34 35 39 45 48 55 59 62 71 76 80 81 84 85 89 91 92 94 96 97 99 103 106 110 118 119 128 130 136 138 144 147 149 151 158 160 161 163 169 172 174 175 176 178 179 181 185 187 191 193 195 201 202 207 208 220 221 223 225 228 237 239 243 244 246 249 251 258 262 266 269 273 274 277 280 281 287 289 292 293 297 298 301 302 306 307 308 311 318 319 322 323
t 1 6 7 13 14 17 20 23 24 25 27 29 33 36 41 42 43 44 45 47 49 53 55 56 59 60 62 63 67 68 72 75 76 81 85 87 88 94 99 101 108 111 112 113 114 121 124 129 131 135 136 137 140 141 142 144 147 149 152 153 154 155 157 161 163 164 169 170 173 177 180 182 185 187 191 208 214 217 221 222 227 235 236 246 247 251 255 257 261 269 272 274 276 279 282 286 290 292 304 307 308 309 313 318 321 322

	Command being timed: "bash /solver-dir/run.sh /benchmark/random_instance/random_instance025_graph001.col /benchmark/random_instance/random_instance025_graph001_01.dat"
	User time (seconds): 665.40
	System time (seconds): 24.41
	Percent of CPU this job got: 99%
	Elapsed (wall clock) time (h:mm:ss or m:ss): 11:30.26
	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): 64460416
	Average resident set size (kbytes): 0
	Major (requiring I/O) page faults: 1721
	Minor (reclaiming a frame) page faults: 29588607
	Voluntary context switches: 2416
	Involuntary context switches: 6368
	Swaps: 0
	File system inputs: 74800
	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:40:33 2023]