#BEGIN: [Tue Sep 26 13:11:26 2023]
#HOST: s07
#TIMELIMIT: 1800
#MEMLIMIT: 0
#SOLVER: existent-cpu-suisen-cp2
#INSTANCE1: /benchmark/random_instance/random_instance028_graph002.col
#INSTANCE2: /benchmark/random_instance/random_instance028_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_instance028_graph002.col /benchmark/random_instance/random_instance028_graph002_01.dat
04:11:30 [INFO] Time reorder   : 3 (sec)
04:21:23 [INFO] Time reconf    : 592 (sec)
s 1 3 9 12 17 19 23 25 26 28 33 37 40 43 44 45 49 52 53 54 65 68 69 70 72 73 83 85 89 90 92 96 102 103 108 110 113 118 119 120 122 123 127 132 133 134 135 137 139 145 146 147 148 153 156 160 165 166 168 170 172 175 177 179 185 187 189 191 194 195 197 198 204 206 207 222 224 226 229 232 233 235 237 241 244 247 253 267 268 271 273 274 275 276 277 279 282 283 284 286 292 293 309 313 314 318 319 320 325 328 335 340 341 342 346 351 354 355 358 361
t 4 7 8 12 16 18 19 20 22 23 24 26 27 29 31 33 39 40 44 45 46 53 61 64 65 67 68 70 74 75 76 81 85 86 92 93 96 97 105 106 108 111 113 118 119 121 124 128 137 141 142 147 148 151 153 159 170 171 172 173 175 177 178 181 186 190 194 197 199 206 208 213 216 220 224 227 231 232 235 239 241 244 249 253 254 261 263 268 270 272 274 275 277 281 284 285 292 293 294 297 304 311 314 316 318 320 325 333 334 335 337 339 341 348 351 352 354 355 358 362

	Command being timed: "bash /solver-dir/run.sh /benchmark/random_instance/random_instance028_graph002.col /benchmark/random_instance/random_instance028_graph002_01.dat"
	User time (seconds): 572.93
	System time (seconds): 23.33
	Percent of CPU this job got: 99%
	Elapsed (wall clock) time (h:mm:ss or m:ss): 9:56.44
	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): 64389536
	Average resident set size (kbytes): 0
	Major (requiring I/O) page faults: 1664
	Minor (reclaiming a frame) page faults: 29356945
	Voluntary context switches: 1791
	Involuntary context switches: 7997
	Swaps: 0
	File system inputs: 33376
	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:21:23 2023]