#BEGIN: [Tue Sep 26 13:38:21 2023]
#HOST: s07
#TIMELIMIT: 1800
#MEMLIMIT: 0
#SOLVER: existent-wallclock-suisen-cp2
#INSTANCE1: /benchmark/random_instance/random_instance035_graph003.col
#INSTANCE2: /benchmark/random_instance/random_instance035_graph003_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_instance035_graph003.col /benchmark/random_instance/random_instance035_graph003_01.dat
04:38:27 [INFO] Time reorder   : 5 (sec)
04:47:21 [INFO] Time reconf    : 534 (sec)
s 1 3 4 5 6 9 15 17 19 21 25 34 35 38 40 43 45 48 50 59 60 62 69 75 76 85 87 95 102 105 107 110 121 123 125 128 134 137 139 140 151 155 157 162 165 166 167 168 170 171 172 174 179 180 181 182 189 190 192 194 199 203 209 211 216 217 229 233 234 236 240 242 243 250 251 253 255 258 259 261 264 266 267 269 270 271 275 280 282 285 286 292 294 296 307 313 314 316 318 322 327 328 329 331 332 333 334 335 349 354 355 356 358 361 370 375 381 385 387 390 395 396 400 402 404 408 409 414 415 419 429 435 436 437 438 444 447 449 452
t 1 5 6 9 14 19 30 36 40 44 57 59 66 68 71 77 82 85 86 88 92 94 95 100 104 110 113 117 125 126 131 134 140 142 143 146 152 153 154 160 163 164 165 167 169 173 177 180 181 183 184 187 192 195 198 199 200 201 202 205 206 207 212 213 215 222 227 228 234 236 238 239 249 251 253 255 256 258 261 266 269 276 277 279 282 289 290 298 300 302 305 306 307 308 313 315 316 317 318 322 324 325 334 335 336 337 341 343 344 345 355 358 363 371 373 380 384 389 394 395 397 399 401 402 403 406 409 415 416 418 419 428 429 432 435 436 444 447 449

	Command being timed: "bash /solver-dir/run.sh /benchmark/random_instance/random_instance035_graph003.col /benchmark/random_instance/random_instance035_graph003_01.dat"
	User time (seconds): 515.85
	System time (seconds): 23.95
	Percent of CPU this job got: 99%
	Elapsed (wall clock) time (h:mm:ss or m:ss): 9:00.03
	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): 64461100
	Average resident set size (kbytes): 0
	Major (requiring I/O) page faults: 1870
	Minor (reclaiming a frame) page faults: 29519405
	Voluntary context switches: 2490
	Involuntary context switches: 5574
	Swaps: 0
	File system inputs: 75352
	File system outputs: 80
	Socket messages sent: 0
	Socket messages received: 0
	Signals delivered: 0
	Page size (bytes): 4096
	Exit status: 0
#END: [Tue Sep 26 13:47:21 2023]