#BEGIN: [Wed Sep  6 00:04:30 2023]
#HOST: s10
#TIMELIMIT: 1800
#MEMLIMIT: 0
#SOLVER: existent-cpu-suisen-cp2
#INSTANCE1: /benchmark/random_instance/random_instance024_graph002.col
#INSTANCE2: /benchmark/random_instance/random_instance024_graph002_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_graph002.col /benchmark/random_instance/random_instance024_graph002_01.dat
15:04:33 [INFO] Time reorder   : 2 (sec)
15:13:52 [INFO] Time reconf    : 559 (sec)
s 8 12 14 17 21 23 24 25 29 30 33 34 35 39 40 43 50 57 61 62 64 65 70 73 77 82 83 84 90 95 97 102 104 105 110 116 117 120 122 128 132 134 135 136 137 138 144 146 148 150 154 158 159 164 167 170 174 175 177 178 182 184 190 194 195 198 201 206 209 211 214 225 227 232 233 237 242 245 247 248 253 254 259 261 262 264 266 273 277 282 283 287 290 292 293 296 297 298 304 305 308 311
t 2 3 7 8 9 11 12 13 22 25 28 31 32 34 37 39 43 49 50 52 54 57 58 59 60 62 64 66 67 73 77 78 82 85 89 94 97 98 101 110 111 114 115 117 119 120 123 124 133 135 137 142 147 148 150 157 159 160 164 165 168 172 174 175 178 183 189 190 196 199 201 206 207 214 215 227 230 237 239 245 251 253 256 257 258 260 261 265 269 274 276 277 278 279 282 287 294 296 297 304 306 310

	Command being timed: "bash /solver-dir/run.sh /benchmark/random_instance/random_instance024_graph002.col /benchmark/random_instance/random_instance024_graph002_01.dat"
	User time (seconds): 537.14
	System time (seconds): 24.67
	Percent of CPU this job got: 99%
	Elapsed (wall clock) time (h:mm:ss or m:ss): 9:21.98
	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): 62708320
	Average resident set size (kbytes): 0
	Major (requiring I/O) page faults: 1882
	Minor (reclaiming a frame) page faults: 29238323
	Voluntary context switches: 2042
	Involuntary context switches: 6287
	Swaps: 0
	File system inputs: 36232
	File system outputs: 72
	Socket messages sent: 0
	Socket messages received: 0
	Signals delivered: 0
	Page size (bytes): 4096
	Exit status: 0
#END: [Wed Sep  6 00:13:53 2023]