#BEGIN: [Tue Sep 26 12:59:06 2023]
#HOST: s14
#TIMELIMIT: 1800
#MEMLIMIT: 0
#SOLVER: existent-cpu-suisen-cp2
#INSTANCE1: /benchmark/random_instance/random_instance024_graph001.col
#INSTANCE2: /benchmark/random_instance/random_instance024_graph001_01.dat
#COMMAND: docker run --cidfile /tmp/cid.txt --init --rm -t --ulimit cpu=1800 -v /home/share/benchmark/ISR-benchmark:/benchmark suisen-cp2 /benchmark/random_instance/random_instance024_graph001.col /benchmark/random_instance/random_instance024_graph001_01.dat
03:59:09 [INFO] Time reorder   : 2 (sec)
04:09:54 [INFO] Time reconf    : 645 (sec)
s 9 10 11 17 20 23 25 28 31 32 35 37 38 41 42 44 49 60 64 67 69 71 77 83 84 86 91 93 96 103 106 107 109 110 111 113 114 116 118 120 121 126 130 133 135 136 138 141 150 151 152 153 155 157 158 164 169 170 173 175 177 182 190 194 198 200 206 207 212 214 219 221 223 232 233 238 241 245 249 252 265 269 271 275 276 279 280 284 285 289 291 294 299 304 308 309 312
t 2 4 7 8 11 16 17 20 22 24 26 27 28 32 38 39 40 41 44 58 59 62 63 64 69 73 74 78 81 87 90 93 100 101 104 107 110 113 114 116 120 121 128 129 138 139 140 143 144 146 149 151 153 154 156 159 173 174 177 178 179 187 191 194 200 202 218 219 221 228 229 235 238 239 240 241 249 251 252 253 257 259 260 261 262 263 264 267 277 281 283 286 293 298 299 304 310

	Command being timed: "bash /solver-dir/run.sh /benchmark/random_instance/random_instance024_graph001.col /benchmark/random_instance/random_instance024_graph001_01.dat"
	User time (seconds): 622.87
	System time (seconds): 24.94
	Percent of CPU this job got: 99%
	Elapsed (wall clock) time (h:mm:ss or m:ss): 10:48.04
	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): 64432408
	Average resident set size (kbytes): 0
	Major (requiring I/O) page faults: 1694
	Minor (reclaiming a frame) page faults: 30160334
	Voluntary context switches: 2298
	Involuntary context switches: 6088
	Swaps: 0
	File system inputs: 74072
	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:09:55 2023]