#BEGIN: [Wed Sep  6 00:22:11 2023]
#HOST: s01
#TIMELIMIT: 1800
#MEMLIMIT: 0
#SOLVER: existent-cpu-suisen-cp2
#INSTANCE1: /benchmark/random_instance/random_instance037_graph002.col
#INSTANCE2: /benchmark/random_instance/random_instance037_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_instance037_graph002.col /benchmark/random_instance/random_instance037_graph002_01.dat
15:22:20 [INFO] Time reorder   : 8 (sec)
15:32:03 [INFO] Time reconf    : 582 (sec)
s 8 11 14 24 33 36 37 38 41 46 47 50 51 52 53 57 58 61 62 64 66 67 68 71 84 91 95 101 102 106 108 114 120 121 122 127 129 133 135 139 140 141 144 146 151 157 161 164 167 168 177 178 187 188 191 192 194 201 207 210 212 213 214 215 217 218 219 222 223 224 227 229 233 234 247 249 250 252 256 257 258 265 269 272 274 275 281 291 295 298 301 305 309 310 311 316 319 320 326 331 335 339 345 347 350 351 357 358 359 360 364 365 370 374 378 382 383 389 391 394 395 399 404 405 408 409 410 412 415 417 418 420 421 423 427 430 436 441 444 446 455 456 458 461 467 468 469 473 479 480
t 1 7 9 14 15 16 17 19 26 27 32 34 35 36 39 41 42 43 44 48 51 52 53 55 57 59 60 64 66 67 68 70 74 83 85 86 87 89 91 101 102 104 106 110 112 119 121 129 131 133 138 139 140 150 151 158 161 162 163 166 167 175 177 178 181 191 192 194 199 210 211 214 222 234 237 238 241 248 252 253 255 261 263 274 278 280 286 287 289 294 300 301 306 307 310 312 316 320 324 325 328 331 332 334 339 341 342 347 348 353 354 355 360 383 385 389 391 395 401 402 403 404 405 408 409 414 415 416 418 422 423 425 426 427 428 432 435 446 449 452 453 455 461 462 464 466 472 473 474 477

	Command being timed: "bash /solver-dir/run.sh /benchmark/random_instance/random_instance037_graph002.col /benchmark/random_instance/random_instance037_graph002_01.dat"
	User time (seconds): 566.19
	System time (seconds): 25.23
	Percent of CPU this job got: 99%
	Elapsed (wall clock) time (h:mm:ss or m:ss): 9:51.61
	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): 64482408
	Average resident set size (kbytes): 0
	Major (requiring I/O) page faults: 1916
	Minor (reclaiming a frame) page faults: 29401596
	Voluntary context switches: 2047
	Involuntary context switches: 5565
	Swaps: 0
	File system inputs: 37056
	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:32:04 2023]