#BEGIN: [Mon Sep 18 16:03:53 2023]
#HOST: s12
#TIMELIMIT: 1800
#MEMLIMIT: 0
#SOLVER: existent-wallclock-suisen-cp2
#INSTANCE1: /benchmark/random_instance/random_instance038_graph005.col
#INSTANCE2: /benchmark/random_instance/random_instance038_graph005_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_instance038_graph005.col /benchmark/random_instance/random_instance038_graph005_01.dat
07:04:01 [INFO] Time reorder   : 6 (sec)
07:13:28 [INFO] Time reconf    : 567 (sec)
s 2 5 9 10 11 22 25 29 36 37 38 40 47 49 50 60 62 63 69 70 72 73 75 77 81 85 88 98 101 102 105 109 125 131 132 135 142 145 146 147 148 151 153 155 159 160 161 163 167 169 170 172 173 174 175 181 182 183 189 192 193 198 202 215 216 228 229 230 231 233 234 235 239 241 244 247 252 253 257 264 267 272 275 281 288 291 293 299 303 305 307 308 311 314 316 318 320 321 325 327 328 331 332 334 336 337 346 348 349 351 354 355 357 360 363 364 365 373 378 381 385 386 387 391 392 401 405 407 408 419 421 422 423 432 433 434 435 436 437 439 443 446 448 451 452 453 459 460 463 468 469 475 476 483 487 488
t 3 5 6 7 8 10 13 14 16 20 32 37 40 43 47 49 50 51 54 57 62 66 67 78 79 80 81 83 85 88 92 94 98 100 101 102 103 112 118 119 120 124 127 129 131 140 153 156 157 158 160 173 176 177 178 181 183 187 189 193 201 204 205 208 211 219 222 225 235 237 240 242 246 250 251 252 257 260 261 262 263 268 270 271 272 275 278 281 282 283 284 285 287 290 293 296 297 300 301 302 306 311 316 317 324 325 334 335 336 343 345 346 351 353 355 357 358 362 363 364 365 368 370 382 383 387 392 396 399 404 406 407 408 409 412 415 417 419 420 422 423 437 439 447 450 451 456 458 465 466 481 487 489 490 491 493

	Command being timed: "bash /solver-dir/run.sh /benchmark/random_instance/random_instance038_graph005.col /benchmark/random_instance/random_instance038_graph005_01.dat"
	User time (seconds): 550.80
	System time (seconds): 23.83
	Percent of CPU this job got: 99%
	Elapsed (wall clock) time (h:mm:ss or m:ss): 9:34.87
	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): 64480772
	Average resident set size (kbytes): 0
	Major (requiring I/O) page faults: 1775
	Minor (reclaiming a frame) page faults: 29325762
	Voluntary context switches: 2406
	Involuntary context switches: 5455
	Swaps: 0
	File system inputs: 75288
	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 16:13:29 2023]