#BEGIN: [Wed Sep  6 00:25:19 2023]
#HOST: s10
#TIMELIMIT: 1800
#MEMLIMIT: 0
#SOLVER: existent-cpu-suisen-cp2
#INSTANCE1: /benchmark/random_instance/random_instance038_graph004.col
#INSTANCE2: /benchmark/random_instance/random_instance038_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_instance038_graph004.col /benchmark/random_instance/random_instance038_graph004_01.dat
15:25:26 [INFO] Time reorder   : 6 (sec)
15:35:03 [INFO] Time reconf    : 576 (sec)
s 2 3 4 9 10 15 20 21 24 25 26 27 32 33 34 36 42 46 51 54 57 58 67 70 74 77 78 81 83 88 89 95 104 107 110 115 116 120 121 126 128 130 132 133 134 137 142 143 144 151 155 156 158 159 162 174 175 178 186 190 195 197 199 202 205 210 212 218 220 226 227 229 233 236 237 238 240 241 242 243 244 245 248 250 255 259 266 269 272 276 278 285 287 292 293 295 296 298 299 300 304 316 317 319 322 323 324 325 328 329 336 337 340 344 346 350 355 357 359 360 361 363 368 369 372 376 379 382 384 389 391 393 395 398 401 406 407 415 417 418 420 421 428 436 438 446 448 449 453 454 455 463 466 471 472 476 478 479 485 486 493 494
t 1 2 3 4 9 11 16 17 21 24 25 28 30 32 36 39 40 41 46 48 49 51 55 57 65 69 72 78 80 82 88 90 91 92 93 96 99 100 104 105 106 107 109 110 115 119 121 130 134 136 138 143 144 148 149 151 155 160 170 179 180 182 186 187 188 189 190 192 197 198 201 203 206 207 209 211 213 225 229 233 234 240 241 243 244 251 252 254 258 272 276 280 283 285 287 288 291 292 295 300 303 307 309 311 313 318 322 324 331 332 333 341 342 348 349 352 356 357 358 360 363 364 368 371 374 375 376 378 381 386 388 389 390 393 398 404 411 416 417 421 422 423 428 439 447 455 459 463 464 470 472 473 474 475 476 480 485 486 488 490 492 493

	Command being timed: "bash /solver-dir/run.sh /benchmark/random_instance/random_instance038_graph004.col /benchmark/random_instance/random_instance038_graph004_01.dat"
	User time (seconds): 559.35
	System time (seconds): 24.20
	Percent of CPU this job got: 99%
	Elapsed (wall clock) time (h:mm:ss or m:ss): 9:43.74
	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): 62903728
	Average resident set size (kbytes): 0
	Major (requiring I/O) page faults: 1770
	Minor (reclaiming a frame) page faults: 28679838
	Voluntary context switches: 2493
	Involuntary context switches: 3691
	Swaps: 0
	File system inputs: 74096
	File system outputs: 80
	Socket messages sent: 0
	Socket messages received: 0
	Signals delivered: 0
	Page size (bytes): 4096
	Exit status: 0
#END: [Wed Sep  6 00:35:03 2023]