#BEGIN: [Mon Sep 18 15:18:26 2023]
#HOST: s10
#TIMELIMIT: 1800
#MEMLIMIT: 0
#SOLVER: existent-cpu-suisen-cp2
#INSTANCE1: /benchmark/random_instance/random_instance035_graph004.col
#INSTANCE2: /benchmark/random_instance/random_instance035_graph004_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_instance035_graph004.col /benchmark/random_instance/random_instance035_graph004_01.dat
06:18:32 [INFO] Time reorder   : 5 (sec)
06:28:29 [INFO] Time reconf    : 596 (sec)
s 12 17 21 31 32 40 44 47 54 56 57 58 59 62 66 71 72 74 79 80 81 84 85 88 94 95 96 102 103 104 111 114 116 117 118 119 120 124 129 133 135 139 141 144 145 147 148 150 151 155 156 162 163 166 168 175 177 180 184 185 186 187 190 194 203 204 220 222 227 233 237 238 247 249 250 251 252 253 254 255 258 264 268 275 280 285 294 297 301 302 304 306 309 313 315 327 328 334 340 341 344 345 352 353 355 356 357 361 362 366 369 370 378 384 388 393 394 396 397 400 401 402 403 405 409 410 411 413 414 418 425 428 431 433 435 439 442 443 446 448 449 454
t 1 2 3 4 12 13 16 18 20 23 24 26 30 31 36 39 47 49 52 53 62 64 70 77 78 82 83 85 90 94 95 96 98 104 112 116 121 122 128 129 133 140 148 149 150 151 153 154 156 162 165 169 177 178 183 184 187 190 194 196 197 210 217 218 219 220 221 222 223 227 228 231 233 234 239 240 249 254 257 258 269 271 278 282 286 287 289 290 294 295 296 298 307 312 313 315 316 323 326 328 331 332 333 334 344 346 347 355 356 358 359 360 364 368 371 372 374 375 376 379 384 385 393 398 399 401 404 410 419 423 427 429 432 435 439 440 442 443 445 448 452 453

	Command being timed: "bash /solver-dir/run.sh /benchmark/random_instance/random_instance035_graph004.col /benchmark/random_instance/random_instance035_graph004_01.dat"
	User time (seconds): 578.52
	System time (seconds): 24.05
	Percent of CPU this job got: 99%
	Elapsed (wall clock) time (h:mm:ss or m:ss): 10:02.80
	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): 62408560
	Average resident set size (kbytes): 0
	Major (requiring I/O) page faults: 2024
	Minor (reclaiming a frame) page faults: 28554270
	Voluntary context switches: 2697
	Involuntary context switches: 5182
	Swaps: 0
	File system inputs: 74704
	File system outputs: 80
	Socket messages sent: 0
	Socket messages received: 0
	Signals delivered: 0
	Page size (bytes): 4096
	Exit status: 0
#END: [Mon Sep 18 15:28:29 2023]