0.00/0.01 c SCIP version 1.1.0.7
0.00/0.01 c LP-Solver SoPlex 1.4.1
0.00/0.01 c user parameter file <scip.set> not found - using default parameters
0.00/0.01 c read problem <HOME/instance-1869522-1245176280.opb>
0.00/0.01 c original problem has 94 variables (94 bin, 0 int, 0 impl, 0 cont) and 8 constraints
0.00/0.01 c start presolving problem
0.00/0.01 c presolving:
0.00/0.01 c (round 1) 0 del vars, 4 del conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 0 impls, 0 clqs
0.00/0.01 c (round 2) 4 del vars, 4 del conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 0 impls, 0 clqs
0.00/0.02 c presolving (3 rounds):
0.00/0.02 c 4 deleted vars, 4 deleted constraints, 0 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
0.00/0.02 c 0 implications, 0 cliques
0.00/0.02 c presolved problem has 90 variables (90 bin, 0 int, 0 impl, 0 cont) and 4 constraints
0.00/0.02 c 4 constraints of type <linear>
0.00/0.02 c transformed objective value is always integral (scale: 1)
0.00/0.02 c Presolving Time: 0.01
0.00/0.02 c OPT-LIN
0.00/0.02 c -----------------------------------------------------------------------------------------------
0.00/0.02 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.00/0.02 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.00/0.02 c limits/memory = c 1620
0.00/0.02 c # maximal time in seconds to run
0.00/0.02 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.00/0.02 c limits/time = c 1791
0.00/0.02 c # frequency for displaying node information lines
0.00/0.02 c # [type: int, range: [-1,2147483647], default: 100]
0.00/0.02 c display/freq = c 10000
0.00/0.02 c -----------------------------------------------------------------------------------------------
0.00/0.02 c start solving problem
0.00/0.02 c
0.00/0.02 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
0.00/0.02 c 0.0s| 1 | 0 | 18 | 325k| 0 | 4 | 90 | 4 | 4 | 90 | 4 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
0.00/0.02 c 0.0s| 1 | 0 | 36 | 374k| 0 | 8 | 90 | 4 | 4 | 90 | 9 | 5 | 0 | 0 | 0.000000e+00 | -- | Inf
0.00/0.03 c 0.0s| 1 | 0 | 42 | 404k| 0 | 9 | 90 | 4 | 4 | 90 | 14 | 10 | 0 | 0 | 0.000000e+00 | -- | Inf
0.00/0.04 c 0.0s| 1 | 0 | 53 | 440k| 0 | 12 | 90 | 4 | 4 | 90 | 19 | 15 | 0 | 0 | 0.000000e+00 | -- | Inf
0.00/0.05 c 0.0s| 1 | 0 | 59 | 462k| 0 | 14 | 90 | 4 | 4 | 90 | 23 | 19 | 0 | 0 | 9.094947e-13 | -- | Inf
0.00/0.06 c 0.1s| 1 | 0 | 70 | 481k| 0 | 18 | 90 | 4 | 4 | 90 | 27 | 23 | 0 | 0 | 9.094947e-13 | -- | Inf
0.00/0.08 c 0.1s| 1 | 0 | 87 | 501k| 0 | 15 | 90 | 4 | 4 | 90 | 30 | 26 | 0 | 0 | 9.094947e-13 | -- | Inf
0.09/0.14 c 0.1s| 1 | 2 | 87 | 501k| 0 | 15 | 90 | 4 | 4 | 90 | 30 | 26 | 0 | 15 | 9.094947e-13 | -- | Inf
0.19/0.28 o 322
0.19/0.28 c p 0.2s| 131 | 111 | 811 | 577k| 25 | - | 90 | 8 | 1 | 90 | 18 | 26 | 4 | 302 | 9.094947e-13 | 3.220000e+02 | Inf
0.29/0.30 o 132
0.29/0.30 c f 0.3s| 159 | 119 | 927 | 580k| 25 | - | 90 | 8 | 1 | 90 | 18 | 26 | 4 | 319 | 9.094947e-13 | 1.320000e+02 | Inf
0.29/0.32 o 131
0.29/0.32 c l 0.3s| 186 | 144 | 1016 | 596k| 25 | - | 90 | 8 | 2 | 90 | 18 | 26 | 8 | 346 | 9.094947e-13 | 1.310000e+02 | Inf
0.29/0.35 o 129
0.29/0.35 c * 0.3s| 245 | 196 | 1331 | 623k| 31 | - | 90 | 12 | 0 | 90 | 18 | 26 | 14 | 390 | 9.094947e-13 | 1.290000e+02 | Inf
0.29/0.38 o 122
0.29/0.38 c f 0.3s| 290 | 236 | 1542 | 645k| 31 | - | 90 | 12 | 3 | 90 | 18 | 26 | 15 | 417 | 9.094947e-13 | 1.220000e+02 | Inf
0.29/0.38 o 121
0.29/0.38 c v 0.3s| 305 | 249 | 1604 | 655k| 31 | - | 90 | 12 | 4 | 90 | 18 | 26 | 17 | 420 | 9.094947e-13 | 1.210000e+02 | Inf
0.29/0.39 o 120
0.29/0.39 c * 0.3s| 315 | 257 | 1627 | 657k| 31 | - | 90 | 12 | 0 | 90 | 18 | 26 | 17 | 424 | 9.094947e-13 | 1.200000e+02 | Inf
0.29/0.39 o 119
0.29/0.39 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
0.29/0.39 c * 0.3s| 319 | 257 | 1636 | 659k| 31 | - | 90 | 12 | 0 | 90 | 18 | 26 | 17 | 434 | 9.094947e-13 | 1.190000e+02 | Inf
0.29/0.39 o 117
0.29/0.39 c l 0.3s| 321 | 256 | 1639 | 660k| 31 | - | 90 | 12 | 0 | 90 | 18 | 26 | 17 | 437 | 9.094947e-13 | 1.170000e+02 | Inf
0.39/0.40 o 115
0.39/0.40 c * 0.3s| 335 | 267 | 1670 | 668k| 31 | - | 90 | 12 | 1 | 90 | 18 | 26 | 17 | 449 | 9.094947e-13 | 1.150000e+02 | Inf
0.39/0.41 o 113
0.39/0.41 c * 0.4s| 348 | 275 | 1702 | 674k| 31 | - | 90 | 12 | 2 | 90 | 18 | 26 | 17 | 462 | 9.094947e-13 | 1.130000e+02 | Inf
0.39/0.41 o 111
0.39/0.41 c * 0.4s| 349 | 270 | 1703 | 673k| 31 | - | 90 | 12 | 2 | 90 | 18 | 26 | 17 | 462 | 9.094947e-13 | 1.110000e+02 | Inf
0.39/0.41 o 110
0.39/0.41 c * 0.4s| 357 | 276 | 1731 | 679k| 31 | - | 90 | 12 | 0 | 90 | 18 | 26 | 17 | 464 | 9.094947e-13 | 1.100000e+02 | Inf
0.39/0.42 o 109
0.39/0.42 c * 0.4s| 362 | 277 | 1742 | 680k| 31 | - | 90 | 12 | 0 | 90 | 18 | 26 | 17 | 476 | 9.094947e-13 | 1.090000e+02 | Inf
0.39/0.42 o 107
0.39/0.42 c * 0.4s| 363 | 272 | 1744 | 677k| 31 | - | 90 | 12 | 0 | 90 | 18 | 26 | 17 | 476 | 9.094947e-13 | 1.070000e+02 | Inf
0.39/0.42 o 105
0.39/0.42 c * 0.4s| 375 | 278 | 1778 | 682k| 31 | - | 90 | 12 | 1 | 90 | 18 | 26 | 17 | 487 | 9.094947e-13 | 1.050000e+02 | Inf
0.39/0.42 o 103
0.39/0.42 c * 0.4s| 377 | 275 | 1779 | 681k| 31 | - | 90 | 12 | 1 | 90 | 18 | 26 | 17 | 488 | 9.094947e-13 | 1.030000e+02 | Inf
0.39/0.42 o 101
0.39/0.42 c * 0.4s| 379 | 273 | 1780 | 682k| 31 | - | 90 | 12 | 1 | 90 | 18 | 26 | 17 | 488 | 9.094947e-13 | 1.010000e+02 | Inf
0.39/0.43 o 99
0.39/0.43 c * 0.4s| 380 | 269 | 1780 | 682k| 31 | - | 90 | 12 | 1 | 90 | 18 | 26 | 17 | 488 | 9.094947e-13 | 9.900000e+01 | Inf
0.39/0.43 o 98
0.39/0.43 c * 0.4s| 387 | 271 | 1819 | 686k| 31 | - | 90 | 12 | 0 | 90 | 18 | 26 | 17 | 501 | 9.094947e-13 | 9.800000e+01 | Inf
0.39/0.43 o 96
0.39/0.43 c * 0.4s| 388 | 265 | 1820 | 686k| 31 | - | 90 | 12 | 0 | 90 | 18 | 26 | 17 | 503 | 9.094947e-13 | 9.600000e+01 | Inf
0.39/0.44 o 95
0.39/0.44 c * 0.4s| 399 | 270 | 1854 | 688k| 31 | - | 90 | 12 | 1 | 90 | 18 | 26 | 17 | 516 | 9.094947e-13 | 9.500000e+01 | Inf
0.39/0.44 o 91
0.39/0.44 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
0.39/0.44 c R 0.4s| 402 | 266 | 1858 | 687k| 31 | - | 90 | 12 | 3 | 90 | 18 | 26 | 17 | 521 | 9.094947e-13 | 9.100000e+01 | Inf
0.39/0.44 o 90
0.39/0.44 c * 0.4s| 409 | 270 | 1877 | 692k| 31 | - | 90 | 13 | 1 | 90 | 18 | 26 | 18 | 525 | 9.094947e-13 | 9.000000e+01 | Inf
0.39/0.44 o 88
0.39/0.44 c * 0.4s| 410 | 265 | 1878 | 691k| 31 | - | 90 | 13 | 1 | 90 | 18 | 26 | 18 | 525 | 9.094947e-13 | 8.800000e+01 | Inf
0.39/0.47 o 86
0.39/0.47 c * 0.4s| 471 | 289 | 2076 | 709k| 31 | - | 90 | 15 | 0 | 90 | 18 | 26 | 20 | 539 | 9.094947e-13 | 8.600000e+01 | Inf
0.39/0.48 o 84
0.39/0.48 c * 0.4s| 480 | 295 | 2113 | 715k| 31 | - | 90 | 15 | 1 | 90 | 18 | 26 | 20 | 544 | 9.094947e-13 | 8.400000e+01 | Inf
0.39/0.48 o 83
0.39/0.48 c * 0.4s| 482 | 295 | 2117 | 716k| 31 | - | 90 | 15 | 1 | 90 | 18 | 26 | 20 | 547 | 9.094947e-13 | 8.300000e+01 | Inf
0.39/0.48 o 81
0.39/0.48 c * 0.4s| 487 | 293 | 2124 | 715k| 31 | - | 90 | 15 | 1 | 90 | 18 | 26 | 20 | 558 | 9.094947e-13 | 8.100000e+01 | Inf
0.39/0.48 o 79
0.39/0.48 c * 0.4s| 488 | 289 | 2126 | 713k| 31 | - | 90 | 15 | 1 | 90 | 18 | 26 | 20 | 558 | 9.094947e-13 | 7.900000e+01 | Inf
0.39/0.49 o 77
0.39/0.49 c * 0.4s| 501 | 292 | 2159 | 714k| 31 | - | 90 | 15 | 2 | 90 | 18 | 26 | 20 | 568 | 9.094947e-13 | 7.700000e+01 | Inf
0.39/0.49 o 73
0.39/0.49 c R 0.4s| 503 | 284 | 2163 | 710k| 31 | - | 90 | 15 | 5 | 90 | 18 | 26 | 20 | 569 | 9.094947e-13 | 7.300000e+01 | Inf
0.39/0.49 o 71
0.39/0.49 c * 0.4s| 504 | 280 | 2165 | 710k| 31 | - | 90 | 16 | 2 | 90 | 18 | 26 | 21 | 569 | 9.094947e-13 | 7.100000e+01 | Inf
0.39/0.50 o 66
0.39/0.50 c g 0.4s| 521 | 282 | 2216 | 715k| 31 | - | 90 | 16 | 2 | 90 | 18 | 26 | 21 | 572 | 9.094947e-13 | 6.600000e+01 | Inf
0.49/0.50 o 65
0.49/0.50 c * 0.5s| 536 | 289 | 2262 | 719k| 31 | - | 90 | 16 | 0 | 90 | 18 | 26 | 21 | 580 | 9.094947e-13 | 6.500000e+01 | Inf
0.49/0.50 o 61
0.49/0.50 c R 0.5s| 538 | 285 | 2264 | 718k| 31 | - | 90 | 16 | 1 | 90 | 18 | 26 | 21 | 581 | 9.094947e-13 | 6.100000e+01 | Inf
0.49/0.51 o 60
0.49/0.51 c * 0.5s| 569 | 297 | 2350 | 730k| 31 | - | 90 | 20 | 1 | 90 | 18 | 26 | 26 | 588 | 9.094947e-13 | 6.000000e+01 | Inf
0.49/0.52 o 56
0.49/0.52 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
0.49/0.52 c R 0.5s| 571 | 290 | 2353 | 727k| 31 | - | 90 | 20 | 2 | 90 | 18 | 26 | 26 | 590 | 9.094947e-13 | 5.600000e+01 | Inf
0.49/0.52 o 54
0.49/0.52 c * 0.5s| 572 | 282 | 2354 | 724k| 31 | - | 90 | 21 | 1 | 90 | 18 | 26 | 27 | 590 | 9.094947e-13 | 5.400000e+01 | Inf
0.49/0.52 o 48
0.49/0.52 c c 0.5s| 576 | 271 | 2374 | 721k| 31 | - | 90 | 21 | 4 | 90 | 18 | 26 | 27 | 593 | 9.094947e-13 | 4.800000e+01 | Inf
0.49/0.56 o 47
0.49/0.56 c p 0.5s| 659 | 342 | 2779 | 761k| 31 | - | 90 | 27 | 0 | 90 | 18 | 26 | 36 | 602 | 9.094947e-13 | 4.700000e+01 | Inf
0.59/0.69 o 45
0.59/0.69 c f 0.6s| 899 | 521 | 3983 | 871k| 31 | - | 90 | 61 | 3 | 90 | 18 | 26 | 77 | 623 | 9.094947e-13 | 4.500000e+01 | Inf
0.59/0.69 o 43
0.59/0.69 c v 0.6s| 899 | 511 | 3984 | 866k| 31 | - | 90 | 61 | 2 | 90 | 18 | 26 | 78 | 623 | 9.094947e-13 | 4.300000e+01 | Inf
0.69/0.76 o 42
0.69/0.76 c v 0.7s| 1022 | 608 | 4614 | 925k| 31 | - | 90 | 73 | 1 | 90 | 18 | 26 | 106 | 628 | 9.094947e-13 | 4.200000e+01 | Inf
0.69/0.76 o 40
0.69/0.76 c * 0.7s| 1036 | 612 | 4670 | 928k| 31 | - | 90 | 73 | 4 | 90 | 18 | 26 | 107 | 629 | 9.094947e-13 | 4.000000e+01 | Inf
0.69/0.78 o 39
0.69/0.78 c * 0.7s| 1079 | 627 | 4842 | 938k| 31 | - | 90 | 75 | 4 | 90 | 18 | 26 | 109 | 631 | 9.094947e-13 | 3.900000e+01 | Inf
0.79/0.88 o 37
0.79/0.88 c v 0.8s| 1264 | 758 | 5755 |1015k| 31 | - | 90 | 90 | 0 | 90 | 18 | 26 | 141 | 633 | 9.094947e-13 | 3.700000e+01 | Inf
0.89/0.91 o 36
0.89/0.91 c l 0.8s| 1342 | 808 | 6077 |1043k| 31 | - | 90 | 95 | 6 | 90 | 18 | 26 | 153 | 634 | 9.094947e-13 | 3.600000e+01 | Inf
0.89/0.95 o 34
0.89/0.95 c * 0.9s| 1421 | 862 | 6503 |1068k| 31 | - | 90 | 103 | 4 | 90 | 18 | 26 | 173 | 634 | 9.094947e-13 | 3.400000e+01 | Inf
0.99/1.01 o 32
0.99/1.01 c v 0.9s| 1502 | 902 | 7226 |1094k| 31 | - | 90 | 120 | 2 | 90 | 18 | 26 | 193 | 636 | 9.094947e-13 | 3.200000e+01 | Inf
1.09/1.13 o 28
1.09/1.13 c g 1.0s| 1707 | 1001 | 8545 |1152k| 31 | - | 90 | 146 | 6 | 90 | 18 | 26 | 234 | 640 | 9.094947e-13 | 2.800000e+01 | Inf
1.19/1.20 o 26
1.19/1.20 c p 1.1s| 1861 | 1056 | 9178 |1192k| 31 | - | 90 | 166 | 2 | 90 | 18 | 26 | 257 | 640 | 9.094947e-13 | 2.600000e+01 | Inf
1.19/1.26 o 25
1.19/1.26 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1.19/1.26 c g 1.1s| 1987 | 1127 | 9718 |1229k| 31 | - | 90 | 188 | 1 | 90 | 18 | 26 | 281 | 640 | 9.094947e-13 | 2.500000e+01 | Inf
1.19/1.28 o 24
1.19/1.28 c f 1.2s| 2045 | 1136 | 9923 |1240k| 31 | - | 90 | 200 | 8 | 90 | 18 | 26 | 295 | 641 | 9.094947e-13 | 2.400000e+01 | Inf
1.19/1.29 o 22
1.19/1.29 c l 1.2s| 2060 | 1125 | 10016 |1233k| 31 | - | 90 | 200 | 35 | 90 | 18 | 26 | 295 | 642 | 9.094947e-13 | 2.200000e+01 | Inf
1.29/1.32 o 20
1.29/1.32 c * 1.2s| 2129 | 1131 | 10251 |1242k| 31 | - | 90 | 204 | 3 | 90 | 18 | 26 | 302 | 643 | 9.094947e-13 | 2.000000e+01 | Inf
1.39/1.40 o 18
1.39/1.40 c p 1.3s| 2296 | 1190 | 10951 |1288k| 31 | - | 90 | 237 | 4 | 90 | 18 | 26 | 341 | 647 | 9.094947e-13 | 1.800000e+01 | Inf
1.39/1.40 o 16
1.39/1.40 c l 1.3s| 2296 | 1137 | 10952 |1262k| 31 | - | 90 | 237 | 4 | 90 | 18 | 26 | 342 | 647 | 9.094947e-13 | 1.600000e+01 | Inf
1.58/1.62 o 15
1.58/1.62 c * 1.5s| 2811 | 1348 | 12907 |1396k| 31 | - | 90 | 318 | 6 | 90 | 18 | 26 | 433 | 649 | 9.094947e-13 | 1.500000e+01 | Inf
1.58/1.62 o 11
1.58/1.62 c c 1.5s| 2813 | 1275 | 12911 |1357k| 31 | - | 90 | 318 | 6 | 90 | 18 | 26 | 433 | 652 | 9.094947e-13 | 1.100000e+01 | Inf
1.58/1.62 o 9
1.58/1.62 c * 1.5s| 2815 | 1222 | 12912 |1330k| 31 | - | 90 | 318 | 6 | 90 | 18 | 26 | 433 | 652 | 9.094947e-13 | 9.000000e+00 | Inf
1.58/1.62 o 7
1.58/1.62 c * 1.5s| 2816 | 1164 | 12914 |1302k| 31 | - | 90 | 318 | 6 | 90 | 18 | 26 | 433 | 652 | 9.094947e-13 | 7.000000e+00 | Inf
3.89/3.92 c 3.6s| 10000 | 1763 | 31849 |2144k| 31 | - | 90 |1280 | 15 | 90 | 18 | 26 |1423 | 716 | 9.094947e-13 | 7.000000e+00 | Inf
3.99/4.00 o 6
3.99/4.00 c * 3.7s| 10234 | 1730 | 32447 |2144k| 31 | - | 90 |1309 | 4 | 90 | 18 | 26 |1455 | 719 | 9.094947e-13 | 6.000000e+00 | Inf
7.09/7.19 o 5
7.09/7.19 c * 6.7s| 19067 | 1643 | 54483 |2729k| 31 | - | 90 |2408 | 5 | 90 | 18 | 26 |2714 | 895 | 9.094947e-13 | 5.000000e+00 | Inf
7.09/7.19 o 3
7.09/7.19 c * 6.7s| 19068 | 1598 | 54483 |2694k| 31 | - | 90 |2408 | 5 | 90 | 18 | 26 |2714 | 895 | 9.094947e-13 | 3.000000e+00 | Inf
7.09/7.19 o 1
7.09/7.19 c * 6.7s| 19069 | 1563 | 54484 |2670k| 31 | - | 90 |2408 | 5 | 90 | 18 | 26 |2714 | 895 | 9.094947e-13 | 1.000000e+00 | Inf
7.39/7.48 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
7.39/7.48 c 7.0s| 20000 | 1666 | 57058 |2727k| 31 | - | 90 |2408 | 26 | 90 | 18 | 26 |2779 | 895 | 9.094947e-13 | 1.000000e+00 | Inf
10.68/10.76 c 10.1s| 30000 | 2010 | 78225 |3403k| 31 | - | 90 |3397 | 558 | 0 | 0 | 26 |3931 | 895 | 9.094947e-13 | 1.000000e+00 | Inf
14.28/14.39 c 13.5s| 40000 | 2125 | 98515 |3774k| 31 | 4 | 90 |3990 | 15 | 90 | 18 | 26 |5164 | 895 | 9.094947e-13 | 1.000000e+00 | Inf
18.08/18.13 c 17.0s| 50000 | 1976 |118399 |3821k| 31 | - | 90 |4318 | 12 | 90 | 18 | 26 |6324 | 895 | 9.094947e-13 | 1.000000e+00 | Inf
21.49/21.58 c 20.3s| 60000 | 1978 |138126 |3298k| 31 | 4 | 90 |2599 | 20 | 90 | 18 | 26 |7300 | 900 | 9.094947e-13 | 1.000000e+00 | Inf
24.48/24.57 c 23.1s| 70000 | 1926 |158059 |2989k| 31 | - | 90 |1808 | 3 | 0 | 0 | 26 |8311 | 902 | 9.094947e-13 | 1.000000e+00 | Inf
27.28/27.34 c 25.7s| 80000 | 1836 |177058 |2817k| 31 | 4 | 90 |1468 | 25 | 90 | 18 | 26 |9439 | 920 | 9.094947e-13 | 1.000000e+00 | Inf
29.87/29.95 c 28.1s| 90000 | 1787 |195602 |2708k| 31 | 4 | 90 |1205 | 12 | 90 | 18 | 26 | 10k| 948 | 9.094947e-13 | 1.000000e+00 | Inf
32.48/32.50 c 30.4s|100000 | 1667 |215698 |2632k| 31 | 4 | 90 |1173 | 6 | 90 | 18 | 26 | 11k| 951 | 9.094947e-13 | 1.000000e+00 | Inf
34.88/34.97 c 32.7s|110000 | 1544 |235810 |2486k| 31 | - | 90 |1017 | 10 | 90 | 18 | 26 | 12k|1016 | 9.094947e-13 | 1.000000e+00 | Inf
37.38/37.45 c 35.0s|120000 | 1731 |256492 |2593k| 31 | - | 90 | 977 | 13 | 0 | 0 | 26 | 13k|1020 | 9.094947e-13 | 1.000000e+00 | Inf
39.88/39.95 c 37.3s|130000 | 1618 |276833 |2589k| 31 | 4 | 90 |1036 | 15 | 90 | 18 | 26 | 14k|1033 | 9.094947e-13 | 1.000000e+00 | Inf
42.47/42.51 c 39.6s|140000 | 1440 |297226 |2615k| 31 | - | 90 |1561 | 4 | 90 | 18 | 26 | 15k|1034 | 9.094947e-13 | 1.000000e+00 | Inf
45.08/45.16 c 42.1s|150000 | 1439 |318132 |2656k| 31 | - | 90 |1574 | 17 | 90 | 18 | 26 | 16k|1034 | 9.094947e-13 | 1.000000e+00 | Inf
47.78/47.83 c 44.5s|160000 | 1343 |339818 |2629k| 31 | 4 | 90 |1742 | 52 | 90 | 18 | 26 | 17k|1039 | 9.094947e-13 | 1.000000e+00 | Inf
50.48/50.54 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
50.48/50.54 c 47.1s|170000 | 1268 |360426 |2498k| 31 | - | 90 |1433 | 120 | 0 | 0 | 26 | 19k|1039 | 9.094947e-13 | 1.000000e+00 | Inf
52.97/53.03 c 49.4s|180000 | 1208 |381979 |2517k| 31 | 4 | 90 |1578 | 7 | 90 | 18 | 26 | 19k|1039 | 9.094947e-13 | 1.000000e+00 | Inf
55.57/55.62 c 51.7s|190000 | 1364 |405154 |2604k| 31 | - | 90 |1434 | 31 | 90 | 18 | 26 | 21k|1039 | 9.094947e-13 | 1.000000e+00 | Inf
58.07/58.17 c 54.1s|200000 | 1193 |428309 |2427k| 31 | 4 | 90 |1332 | 9 | 90 | 18 | 26 | 22k|1039 | 9.094947e-13 | 1.000000e+00 | Inf
60.57/60.67 c 56.4s|210000 | 1412 |451738 |2732k| 31 | 4 | 90 |1660 | 13 | 90 | 18 | 26 | 22k|1039 | 9.094947e-13 | 1.000000e+00 | Inf
63.17/63.28 c 58.8s|220000 | 1475 |474352 |2932k| 31 | 4 | 90 |1965 | 4 | 90 | 18 | 26 | 23k|1039 | 9.094947e-13 | 1.000000e+00 | Inf
65.98/66.00 c 61.4s|230000 | 1416 |496697 |3080k| 31 | 4 | 90 |2360 | 5 | 90 | 18 | 26 | 24k|1039 | 9.094947e-13 | 1.000000e+00 | Inf
68.77/68.88 c 64.0s|240000 | 1365 |518497 |3301k| 31 | 4 | 90 |3012 | 52 | 90 | 18 | 26 | 25k|1047 | 9.094947e-13 | 1.000000e+00 | Inf
71.87/71.96 c 66.9s|250000 | 1103 |540161 |2932k| 31 | 4 | 90 |2810 | 7 | 90 | 18 | 26 | 26k|1066 | 9.094947e-13 | 1.000000e+00 | Inf
74.77/74.86 c 69.7s|260000 | 1063 |562529 |2568k| 31 | - | 90 |1727 | 14 | 90 | 18 | 26 | 27k|1074 | 9.094947e-13 | 1.000000e+00 | Inf
77.36/77.40 c 72.0s|270000 | 1010 |584921 |2473k| 31 | 4 | 90 |1523 | 7 | 90 | 18 | 26 | 28k|1076 | 9.094947e-13 | 1.000000e+00 | Inf
79.96/80.00 c 74.4s|280000 | 936 |606824 |2399k| 31 | 4 | 90 |1370 | 34 | 90 | 18 | 26 | 29k|1080 | 9.094947e-13 | 1.000000e+00 | Inf
82.47/82.57 c 76.7s|290000 | 1069 |628601 |2618k| 31 | 4 | 90 |1664 | 8 | 90 | 18 | 26 | 30k|1080 | 9.094947e-13 | 1.000000e+00 | Inf
85.07/85.16 c 79.1s|300000 | 953 |650847 |2632k| 31 | - | 90 |1867 | 13 | 0 | 0 | 26 | 31k|1080 | 9.094947e-13 | 1.000000e+00 | Inf
87.77/87.82 c 81.6s|310000 | 1313 |672837 |2857k| 31 | 4 | 90 |1864 | 40 | 90 | 18 | 26 | 33k|1085 | 9.094947e-13 | 1.000000e+00 | Inf
90.46/90.53 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
90.46/90.53 c 84.1s|320000 | 1153 |694061 |2917k| 31 | - | 90 |2088 | 25 | 90 | 18 | 26 | 34k|1085 | 9.094947e-13 | 1.000000e+00 | Inf
93.16/93.26 c 86.6s|330000 | 1028 |715604 |2853k| 31 | 4 | 90 |2163 | 69 | 90 | 18 | 26 | 35k|1107 | 9.094947e-13 | 1.000000e+00 | Inf
95.86/95.99 c 89.2s|340000 | 1089 |737930 |2916k| 31 | 4 | 90 |2192 | 9 | 90 | 18 | 26 | 36k|1107 | 9.094947e-13 | 1.000000e+00 | Inf
98.76/98.84 c 91.9s|350000 | 1036 |759330 |2995k| 31 | 4 | 90 |2519 | 10 | 90 | 18 | 26 | 37k|1107 | 9.094947e-13 | 1.000000e+00 | Inf
101.75/101.81 c 94.6s|360000 | 1076 |780636 |3127k| 31 | - | 90 |2834 | 3 | 0 | 0 | 26 | 38k|1107 | 9.094947e-13 | 1.000000e+00 | Inf
104.75/104.81 c 97.4s|370000 | 828 |801247 |2754k| 31 | - | 90 |2513 | 62 | 90 | 18 | 26 | 39k|1108 | 9.094947e-13 | 1.000000e+00 | Inf
107.56/107.68 c 100s|380000 | 824 |823696 |2726k| 31 | - | 90 |2447 | 12 | 0 | 0 | 26 | 40k|1115 | 9.094947e-13 | 1.000000e+00 | Inf
110.35/110.49 c 103s|390000 | 822 |844596 |2646k| 31 | - | 90 |2160 | 9 | 90 | 18 | 26 | 42k|1117 | 9.094947e-13 | 1.000000e+00 | Inf
113.16/113.23 c 105s|400000 | 613 |865734 |2333k| 31 | - | 90 |1590 | 8 | 90 | 18 | 26 | 43k|1120 | 9.094947e-13 | 1.000000e+00 | Inf
115.56/115.69 c 108s|410000 | 599 |888965 |2386k| 31 | - | 90 |1748 | 19 | 0 | 0 | 26 | 44k|1120 | 9.094947e-13 | 1.000000e+00 | Inf
118.35/118.42 c 110s|420000 | 624 |911151 |2392k| 31 | - | 90 |1727 | 7 | 0 | 0 | 26 | 45k|1120 | 9.094947e-13 | 1.000000e+00 | Inf
121.05/121.16 c 113s|430000 | 775 |932900 |2685k| 31 | 4 | 90 |1990 | 7 | 90 | 18 | 26 | 46k|1120 | 9.094947e-13 | 1.000000e+00 | Inf
123.85/123.91 c 115s|440000 | 733 |955021 |2756k| 31 | 4 | 90 |2168 | 20 | 90 | 18 | 26 | 47k|1120 | 9.094947e-13 | 1.000000e+00 | Inf
126.65/126.73 c 118s|450000 | 477 |976856 |2389k| 31 | 4 | 90 |1937 | 5 | 90 | 18 | 26 | 49k|1123 | 9.094947e-13 | 1.000000e+00 | Inf
129.25/129.38 c 120s|460000 | 495 |999911 |2498k| 31 | - | 90 |2210 | 13 | 90 | 18 | 26 | 50k|1126 | 9.094947e-13 | 1.000000e+00 | Inf
132.05/132.11 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
132.05/132.11 c 123s|470000 | 533 | 1023k|2614k| 31 | 4 | 90 |2311 | 8 | 90 | 18 | 26 | 51k|1126 | 9.094947e-13 | 1.000000e+00 | Inf
134.75/134.85 c 125s|480000 | 436 | 1046k|2481k| 31 | 4 | 90 |2261 | 7 | 90 | 18 | 26 | 52k|1129 | 9.094947e-13 | 1.000000e+00 | Inf
137.54/137.65 c 128s|490000 | 399 | 1069k|2417k| 31 | 4 | 90 |2071 | 6 | 90 | 18 | 26 | 53k|1170 | 9.094947e-13 | 1.000000e+00 | Inf
140.25/140.35 c 130s|500000 | 575 | 1090k|2469k| 31 | 4 | 90 |1817 | 12 | 90 | 18 | 26 | 54k|1170 | 9.094947e-13 | 1.000000e+00 | Inf
143.14/143.21 c 133s|510000 | 740 | 1112k|2709k| 31 | 4 | 90 |1990 | 17 | 90 | 18 | 26 | 55k|1170 | 9.094947e-13 | 1.000000e+00 | Inf
146.04/146.16 c 136s|520000 | 722 | 1133k|2656k| 31 | - | 90 |1803 | 81 | 90 | 18 | 26 | 56k|1170 | 9.094947e-13 | 1.000000e+00 | Inf
148.84/148.94 c 138s|530000 | 885 | 1154k|2658k| 31 | - | 90 |1479 | 351 | 0 | 0 | 26 | 58k|1183 | 9.094947e-13 | 1.000000e+00 | Inf
151.44/151.55 c 141s|540000 | 1058 | 1175k|2728k| 31 | 4 | 90 |1544 | 4 | 90 | 18 | 26 | 59k|1185 | 9.094947e-13 | 1.000000e+00 | Inf
153.94/154.09 c 143s|550000 | 1514 | 1196k|3223k| 31 | 4 | 90 |1801 | 8 | 90 | 18 | 26 | 60k|1190 | 9.094947e-13 | 1.000000e+00 | Inf
156.64/156.72 c 145s|560000 | 1667 | 1217k|3480k| 31 | - | 90 |1944 | 9 | 90 | 18 | 26 | 61k|1202 | 9.094947e-13 | 1.000000e+00 | Inf
159.24/159.39 c 148s|570000 | 1492 | 1237k|3447k| 31 | - | 90 |1935 | 3 | 0 | 0 | 26 | 62k|1207 | 9.094947e-13 | 1.000000e+00 | Inf
162.14/162.25 c 151s|580000 | 1043 | 1258k|3185k| 31 | 4 | 90 |2020 | 13 | 90 | 18 | 26 | 63k|1213 | 9.094947e-13 | 1.000000e+00 | Inf
164.74/164.88 c 153s|590000 | 1026 | 1277k|3298k| 31 | - | 90 |2264 | 5 | 0 | 0 | 26 | 64k|1213 | 9.094947e-13 | 1.000000e+00 | Inf
167.43/167.56 c 156s|600000 | 851 | 1297k|3206k| 31 | - | 90 |2431 | 3 | 0 | 0 | 26 | 65k|1220 | 9.094947e-13 | 1.000000e+00 | Inf
170.24/170.33 c 158s|610000 | 897 | 1318k|3324k| 31 | 4 | 90 |2644 | 29 | 90 | 18 | 26 | 66k|1249 | 9.094947e-13 | 1.000000e+00 | Inf
173.04/173.14 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
173.04/173.14 c 161s|620000 | 784 | 1340k|3138k| 31 | - | 90 |2316 | 8 | 90 | 18 | 26 | 67k|1249 | 9.094947e-13 | 1.000000e+00 | Inf
175.74/175.84 c 163s|630000 | 752 | 1360k|3193k| 31 | 4 | 90 |2514 | 42 | 90 | 18 | 26 | 68k|1253 | 9.094947e-13 | 1.000000e+00 | Inf
178.53/178.67 c 166s|640000 | 807 | 1381k|2944k| 31 | 4 | 90 |2006 | 12 | 90 | 18 | 26 | 68k|1266 | 9.094947e-13 | 1.000000e+00 | Inf
181.34/181.44 c 168s|650000 | 540 | 1400k|2661k| 31 | 4 | 90 |1797 | 10 | 90 | 18 | 26 | 70k|1291 | 9.094947e-13 | 1.000000e+00 | Inf
184.03/184.10 c 171s|660000 | 829 | 1422k|2658k| 31 | - | 90 |1861 | 29 | 0 | 0 | 26 | 70k|1291 | 9.094947e-13 | 1.000000e+00 | Inf
186.63/186.79 c 173s|670000 | 830 | 1445k|2825k| 31 | - | 90 |2054 | 7 | 90 | 18 | 26 | 71k|1291 | 9.094947e-13 | 1.000000e+00 | Inf
189.33/189.43 c 176s|680000 | 715 | 1466k|2890k| 31 | 4 | 90 |2365 | 4 | 90 | 18 | 26 | 72k|1291 | 9.094947e-13 | 1.000000e+00 | Inf
192.02/192.13 c 178s|690000 | 535 | 1489k|2818k| 31 | - | 90 |2561 | 7 | 90 | 18 | 26 | 73k|1291 | 9.094947e-13 | 1.000000e+00 | Inf
194.72/194.87 c 181s|700000 | 478 | 1511k|2861k| 31 | - | 90 |2732 | 47 | 90 | 18 | 26 | 74k|1291 | 9.094947e-13 | 1.000000e+00 | Inf
197.73/197.81 c 184s|710000 | 537 | 1534k|3066k| 31 | - | 90 |3094 | 29 | 90 | 18 | 26 | 75k|1291 | 9.094947e-13 | 1.000000e+00 | Inf
200.73/200.87 c 186s|720000 | 473 | 1557k|3064k| 31 | 4 | 90 |3248 | 4 | 90 | 18 | 26 | 76k|1291 | 9.094947e-13 | 1.000000e+00 | Inf
203.83/203.97 c 189s|730000 | 358 | 1580k|2400k| 31 | 4 | 90 |2084 | 20 | 90 | 18 | 26 | 77k|1336 | 9.094947e-13 | 1.000000e+00 | Inf
206.82/206.91 c 192s|740000 | 506 | 1601k|2758k| 31 | - | 90 |2583 | 6 | 90 | 18 | 26 | 79k|1336 | 9.094947e-13 | 1.000000e+00 | Inf
209.62/209.77 c 195s|750000 | 373 | 1623k|2697k| 31 | 4 | 90 |2566 | 10 | 90 | 18 | 26 | 80k|1336 | 9.094947e-13 | 1.000000e+00 | Inf
212.52/212.64 c 197s|760000 | 268 | 1646k|2594k| 31 | 4 | 90 |2740 | 8 | 90 | 18 | 26 | 81k|1336 | 9.094947e-13 | 1.000000e+00 | Inf
215.43/215.50 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
215.43/215.50 c 200s|770000 | 389 | 1669k|2629k| 31 | - | 90 |2690 | 11 | 90 | 18 | 26 | 82k|1336 | 9.094947e-13 | 1.000000e+00 | Inf
218.32/218.44 c 203s|780000 | 467 | 1692k|2933k| 31 | 4 | 90 |3148 | 11 | 90 | 18 | 26 | 83k|1336 | 9.094947e-13 | 1.000000e+00 | Inf
221.32/221.48 c 206s|790000 | 551 | 1715k|3139k| 31 | - | 90 |3503 | 43 | 90 | 18 | 26 | 85k|1336 | 9.094947e-13 | 1.000000e+00 | Inf
224.62/224.74 c 209s|800000 | 184 | 1737k|2686k| 31 | 4 | 90 |3176 | 25 | 90 | 18 | 26 | 86k|1337 | 9.094947e-13 | 1.000000e+00 | Inf
227.72/227.82 c 212s|810000 | 537 | 1761k|2975k| 31 | 4 | 90 |3171 | 54 | 90 | 18 | 26 | 87k|1337 | 9.094947e-13 | 1.000000e+00 | Inf
230.72/230.88 c 214s|820000 | 324 | 1784k|2949k| 31 | 4 | 90 |3385 | 7 | 90 | 18 | 26 | 88k|1337 | 9.094947e-13 | 1.000000e+00 | Inf
233.82/233.97 c 217s|830000 | 409 | 1806k|2857k| 31 | 4 | 90 |3257 | 28 | 90 | 18 | 26 | 89k|1337 | 9.094947e-13 | 1.000000e+00 | Inf
237.12/237.29 c 220s|840000 | 309 | 1826k|3054k| 31 | 4 | 90 |3780 | 12 | 90 | 18 | 26 | 91k|1337 | 9.094947e-13 | 1.000000e+00 | Inf
240.62/240.72 c 224s|850000 | 179 | 1848k|2730k| 31 | - | 90 |3284 | 343 | 0 | 0 | 26 | 92k|1352 | 9.094947e-13 | 1.000000e+00 | Inf
243.82/243.99 c 227s|860000 | 275 | 1869k|2867k| 31 | - | 90 |3398 | 8 | 0 | 0 | 26 | 93k|1354 | 9.094947e-13 | 1.000000e+00 | Inf
247.21/247.36 c 230s|870000 | 195 | 1889k|2846k| 31 | 4 | 90 |3558 | 7 | 90 | 18 | 26 | 95k|1354 | 2.273737e-12 | 1.000000e+00 | Inf
249.11/249.28 c
249.11/249.28 c SCIP Status : problem is solved [optimal solution found]
249.11/249.28 c Solving Time (sec) : 231.79
249.11/249.28 c Solving Nodes : 875580
249.11/249.28 c Primal Bound : +1.00000000000000e+00 (73 solutions)
249.11/249.28 c Dual Bound : +1.00000000000000e+00
249.11/249.28 c Gap : 0.00 %
249.11/249.28 c NODE 875580
249.11/249.28 c DUAL BOUND 1
249.11/249.28 c PRIMAL BOUND 1
249.11/249.28 c GAP 0
249.11/249.28 s OPTIMUM FOUND
249.11/249.28 v x69 x94 -x93 x92 x91 x90 -x89 x88 x87 -x86 x85 x84 -x83 -x82 -x81 -x80 -x79 x78 -x77 -x76 -x75 -x74 -x73 x72 x71 x70 x68 -x67 -x66
249.11/249.28 v x65 -x64 -x63 -x62 -x61 -x60 -x59 -x58 -x57 -x56 -x55 -x54 -x53 -x52 -x51 -x50 x49 -x48 -x47 -x46 -x45 -x44 -x43 -x42 -x41
249.11/249.28 v -x40 -x39 -x38 -x37 -x36 -x35 -x34 -x33 -x32 -x31 -x30 -x29 -x28 -x27 -x26 -x25 -x24 -x23 -x22 -x21 -x20 -x19 -x18 -x17 -x16
249.11/249.28 v -x15 -x14 -x13 -x12 -x11 -x10 -x9 -x8 -x7 -x6 -x5 -x4 -x3 -x2 -x1
249.11/249.28 c SCIP Status : problem is solved [optimal solution found]
249.11/249.28 c Solving Time : 231.79
249.11/249.28 c Original Problem :
249.11/249.28 c Problem name : HOME/instance-1869522-1245176280.opb
249.11/249.28 c Variables : 94 (94 binary, 0 integer, 0 implicit integer, 0 continuous)
249.11/249.28 c Constraints : 8 initial, 8 maximal
249.11/249.28 c Presolved Problem :
249.11/249.28 c Problem name : t_HOME/instance-1869522-1245176280.opb
249.11/249.28 c Variables : 90 (90 binary, 0 integer, 0 implicit integer, 0 continuous)
249.11/249.28 c Constraints : 4 initial, 4384 maximal
249.11/249.28 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs
249.11/249.28 c trivial : 0.00 0 0 0 0 0 0 0 0
249.11/249.28 c dualfix : 0.00 0 0 0 0 0 0 0 0
249.11/249.28 c boundshift : 0.00 0 0 0 0 0 0 0 0
249.11/249.28 c inttobinary : 0.00 0 0 0 0 0 0 0 0
249.11/249.28 c implics : 0.00 0 0 0 0 0 0 0 0
249.11/249.28 c probing : 0.01 0 0 0 0 0 0 0 0
249.11/249.28 c linear : 0.00 0 4 0 0 0 4 0 0
249.11/249.28 c logicor : 0.00 0 0 0 0 0 0 0 0
249.11/249.28 c root node : - 61 - - 61 - - - -
249.11/249.28 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children
249.11/249.28 c integral : 0 0 0 447773 0 15 288 0 0 894872
249.11/249.28 c linear : 4 6 1172832 0 0 165143 1070399 16 0 0
249.11/249.28 c logicor : 0+ 0 661534 0 0 2177 57333 0 0 0
249.11/249.28 c countsols : 0 0 0 39 0 0 0 0 0 0
249.11/249.28 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS
249.11/249.28 c integral : 4.10 0.00 0.00 4.10 0.00
249.11/249.28 c linear : 41.63 0.00 41.63 0.00 0.00
249.11/249.28 c logicor : 25.17 0.00 25.17 0.00 0.00
249.11/249.28 c countsols : 0.00 0.00 0.00 0.00 0.00
249.11/249.28 c Propagators : Time Calls Cutoffs DomReds
249.11/249.28 c rootredcost : 0.33 66 0 60
249.11/249.28 c pseudoobj : 5.60 1180381 7649 32295
249.11/249.28 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
249.11/249.28 c propagation : 6.94 174969 86021 129639 21.6 1 21.0 -
249.11/249.28 c infeasible LP : 0.12 3089 3089 3274 11.7 0 0.0 0
249.11/249.28 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
249.11/249.28 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
249.11/249.28 c pseudo solution : 0.00 5 5 13 30.0 0 0.0 -
249.11/249.28 c applied globally : - - - 96146 20.9 - - -
249.11/249.29 c applied locally : - - - 157 32.6 - - -
249.11/249.29 c Separators : Time Calls Cutoffs DomReds Cuts Conss
249.11/249.29 c cut pool : 0.00 5 - - 19 - (maximal pool size: 95)
249.11/249.29 c redcost : 1.89 450593 0 34429 0 0
249.11/249.29 c impliedbounds : 0.00 6 0 0 0 0
249.11/249.29 c intobj : 0.00 0 0 0 0 0
249.11/249.29 c gomory : 0.01 6 0 0 0 0
249.11/249.29 c strongcg : 0.00 6 0 0 14 0
249.11/249.29 c cmir : 0.02 6 0 0 35 0
249.11/249.29 c flowcover : 0.03 6 0 0 48 0
249.11/249.29 c clique : 0.00 1 0 0 0 0
249.11/249.29 c zerohalf : 0.00 0 0 0 0 0
249.11/249.29 c mcf : 0.00 1 0 0 0 0
249.11/249.29 c Pricers : Time Calls Vars
249.11/249.29 c problem variables: 0.00 0 0
249.11/249.29 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
249.11/249.29 c relpscost : 3.68 447734 15 288 0 0 894872
249.11/249.29 c pscost : 0.00 0 0 0 0 0 0
249.11/249.29 c inference : 0.00 0 0 0 0 0 0
249.11/249.29 c mostinf : 0.00 0 0 0 0 0 0
249.11/249.29 c leastinf : 0.00 0 0 0 0 0 0
249.11/249.29 c fullstrong : 0.00 0 0 0 0 0 0
249.11/249.29 c allfullstrong : 0.00 0 0 0 0 0 0
249.11/249.29 c random : 0.00 0 0 0 0 0 0
249.11/249.29 c Primal Heuristics : Time Calls Found
249.11/249.29 c LP solutions : 0.00 - 39
249.11/249.29 c pseudo solutions : 0.00 - 0
249.11/249.29 c feaspump : 0.10 1 0
249.11/249.29 c crossover : 0.64 1 0
249.11/249.29 c oneopt : 0.22 64 0
249.11/249.29 c pscostdiving : 1.39 1620 4
249.11/249.29 c fracdiving : 1.47 1620 4
249.11/249.29 c veclendiving : 1.33 1620 5
249.11/249.29 c linesearchdiving : 1.34 1620 5
249.11/249.29 c guideddiving : 1.28 1620 3
249.11/249.29 c coefdiving : 1.52 1621 2
249.11/249.29 c objpscostdiving : 0.67 812 4
249.11/249.29 c simplerounding : 0.20 0 0
249.11/249.29 c rounding : 1.53 61566 4
249.11/249.29 c shifting : 3.33 5328 1
249.11/249.29 c intshifting : 0.07 0 0
249.11/249.29 c fixandinfer : 0.00 0 0
249.11/249.29 c intdiving : 0.00 0 0
249.11/249.29 c actconsdiving : 0.00 0 0
249.11/249.29 c rootsoldiving : 1.22 747 2
249.11/249.29 c octane : 0.00 0 0
249.11/249.29 c rens : 0.03 1 0
249.11/249.29 c rins : 0.00 0 0
249.11/249.29 c localbranching : 0.00 0 0
249.11/249.29 c mutation : 0.00 0 0
249.11/249.29 c dins : 0.00 0 0
249.11/249.29 c LP : Time Calls Iterations Iter/call Iter/sec
249.11/249.29 c primal LP : 0.00 0 0 0.00 -
249.11/249.29 c dual LP : 58.77 733302 1809494 2.47 30789.42
249.11/249.29 c barrier LP : 0.00 0 0 0.00 -
249.11/249.29 c diving/probing LP: 3.90 43953 92665 2.11 23760.26
249.11/249.29 c strong branching : 0.26 1354 7271 5.37 27965.38
249.11/249.29 c (at root node) : - 15 561 37.40 -
249.11/249.29 c conflict analysis: 0.00 0 0 0.00 -
249.11/249.29 c B&B Tree :
249.11/249.29 c number of runs : 1
249.11/249.29 c nodes : 875580
249.11/249.29 c nodes (total) : 875580
249.11/249.29 c nodes left : 0
249.11/249.29 c max depth : 31
249.11/249.29 c max depth (total): 31
249.11/249.29 c backtracks : 254264 (29.0%)
249.11/249.29 c delayed cutoffs : 18558
249.11/249.29 c repropagations : 71377 (125558 domain reductions, 16716 cutoffs)
249.11/249.29 c avg switch length: 4.44
249.11/249.29 c switching time : 38.92
249.11/249.29 c Solution :
249.11/249.29 c Solutions found : 73 (66 improvements)
249.11/249.29 c Primal Bound : +1.00000000000000e+00 (in run 1, after 19069 nodes, 6.69 seconds, depth 19, found by <relaxation>)
249.11/249.29 c Dual Bound : +1.00000000000000e+00
249.11/249.29 c Gap : 0.00 %
249.11/249.29 c Root Dual Bound : +9.09494701772928e-13
249.21/249.30 c Time complete: 249.22.
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-1869522-1245176280/watcher-1869522-1245176280 -o /tmp/evaluation-result-1869522-1245176280/solver-1869522-1245176280 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt-gcc42.spx -t 1800 -m 1800 -f HOME/instance-1869522-1245176280.opb
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2000 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 0.99 1.00 1.03 3/65 2472
/proc/meminfo: memFree=1834728/2055920 swapFree=4192948/4192956
[pid=2472] ppid=2470 vsize=6100 CPUtime=0
/proc/2472/stat : 2472 (pbscip.linux.x8) R 2470 2472 2399 0 -1 4194304 536 0 0 0 0 0 0 0 20 0 1 0 185226576 6246400 518 1992294400 4194304 7823515 548682068736 18446744073709551615 4402248 0 0 4096 0 0 0 0 17 1 0 0
/proc/2472/statm: 1525 529 325 886 0 635 0
[startup+0.0964589 s]
/proc/loadavg: 0.99 1.00 1.03 3/65 2472
/proc/meminfo: memFree=1834728/2055920 swapFree=4192948/4192956
[pid=2472] ppid=2470 vsize=19032 CPUtime=0.08
/proc/2472/stat : 2472 (pbscip.linux.x8) R 2470 2472 2399 0 -1 4194304 3999 0 0 0 7 1 0 0 20 0 1 0 185226576 19488768 3626 1992294400 4194304 7823515 548682068736 18446744073709551615 4849674 0 0 4096 16384 0 0 0 17 1 0 0
/proc/2472/statm: 4758 3626 555 886 0 3868 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 19032
[startup+0.101459 s]
/proc/loadavg: 0.99 1.00 1.03 3/65 2472
/proc/meminfo: memFree=1834728/2055920 swapFree=4192948/4192956
[pid=2472] ppid=2470 vsize=21084 CPUtime=0.09
/proc/2472/stat : 2472 (pbscip.linux.x8) R 2470 2472 2399 0 -1 4194304 4513 0 0 0 8 1 0 0 20 0 1 0 185226576 21590016 4140 1992294400 4194304 7823515 548682068736 18446744073709551615 4402248 0 0 4096 16384 0 0 0 17 1 0 0
/proc/2472/statm: 5271 4140 557 886 0 4381 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 21084
[startup+0.301482 s]
/proc/loadavg: 0.99 1.00 1.03 3/65 2472
/proc/meminfo: memFree=1834728/2055920 swapFree=4192948/4192956
[pid=2472] ppid=2470 vsize=15280 CPUtime=0.29
/proc/2472/stat : 2472 (pbscip.linux.x8) R 2470 2472 2399 0 -1 4194304 4531 0 0 0 26 3 0 0 22 0 1 0 185226576 15646720 3037 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/2472/statm: 3820 3037 573 886 0 2930 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 15280
[startup+0.701527 s]
/proc/loadavg: 0.99 1.00 1.03 3/65 2472
/proc/meminfo: memFree=1834728/2055920 swapFree=4192948/4192956
[pid=2472] ppid=2470 vsize=15584 CPUtime=0.69
/proc/2472/stat : 2472 (pbscip.linux.x8) R 2470 2472 2399 0 -1 4194304 4625 0 0 0 63 6 0 0 25 0 1 0 185226576 15958016 3131 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/2472/statm: 3896 3131 573 886 0 3006 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 15584
[startup+1.50162 s]
/proc/loadavg: 0.99 1.00 1.03 2/66 2473
/proc/meminfo: memFree=1824288/2055920 swapFree=4192948/4192956
[pid=2472] ppid=2470 vsize=16408 CPUtime=1.49
/proc/2472/stat : 2472 (pbscip.linux.x8) R 2470 2472 2399 0 -1 4194304 4834 0 0 0 136 13 0 0 25 0 1 0 185226576 16801792 3340 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/2472/statm: 4102 3340 573 886 0 3212 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 16408
[startup+3.1018 s]
/proc/loadavg: 0.99 1.00 1.03 2/66 2473
/proc/meminfo: memFree=1823136/2055920 swapFree=4192948/4192956
[pid=2472] ppid=2470 vsize=17096 CPUtime=3.08
/proc/2472/stat : 2472 (pbscip.linux.x8) R 2470 2472 2399 0 -1 4194304 5008 0 0 0 285 23 0 0 25 0 1 0 185226576 17506304 3514 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/2472/statm: 4274 3514 573 886 0 3384 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 17096
[startup+6.30116 s]
/proc/loadavg: 0.99 1.00 1.03 2/66 2473
/proc/meminfo: memFree=1821856/2055920 swapFree=4192948/4192956
[pid=2472] ppid=2470 vsize=18504 CPUtime=6.29
/proc/2472/stat : 2472 (pbscip.linux.x8) R 2470 2472 2399 0 -1 4194304 5359 0 0 0 585 44 0 0 25 0 1 0 185226576 18948096 3865 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/2472/statm: 4626 3865 573 886 0 3736 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 18504
[startup+12.7019 s]
/proc/loadavg: 0.99 1.00 1.02 2/66 2473
/proc/meminfo: memFree=1820192/2055920 swapFree=4192948/4192956
[pid=2472] ppid=2470 vsize=19588 CPUtime=12.69
/proc/2472/stat : 2472 (pbscip.linux.x8) R 2470 2472 2399 0 -1 4194304 5634 0 0 0 1189 80 0 0 25 0 1 0 185226576 20058112 4140 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/2472/statm: 4897 4140 573 886 0 4007 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 19588
[startup+25.5013 s]
/proc/loadavg: 0.99 1.00 1.02 2/66 2473
/proc/meminfo: memFree=1819104/2055920 swapFree=4192948/4192956
[pid=2472] ppid=2470 vsize=20648 CPUtime=25.48
/proc/2472/stat : 2472 (pbscip.linux.x8) R 2470 2472 2399 0 -1 4194304 5898 0 0 0 2396 152 0 0 25 0 1 0 185226576 21143552 4404 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/2472/statm: 5162 4404 573 886 0 4272 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 20648
[startup+51.1012 s]
/proc/loadavg: 0.99 1.00 1.02 2/66 2473
/proc/meminfo: memFree=1819104/2055920 swapFree=4192948/4192956
[pid=2472] ppid=2470 vsize=20648 CPUtime=51.08
/proc/2472/stat : 2472 (pbscip.linux.x8) R 2470 2472 2399 0 -1 4194304 5898 0 0 0 4760 348 0 0 25 0 1 0 185226576 21143552 4404 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/2472/statm: 5162 4404 573 886 0 4272 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 20648
[startup+102.305 s]
/proc/loadavg: 0.99 1.00 1.02 2/66 2473
/proc/meminfo: memFree=1818976/2055920 swapFree=4192948/4192956
[pid=2472] ppid=2470 vsize=20780 CPUtime=102.26
/proc/2472/stat : 2472 (pbscip.linux.x8) R 2470 2472 2399 0 -1 4194304 5924 0 0 0 9509 717 0 0 25 0 1 0 185226576 21278720 4430 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/2472/statm: 5195 4430 573 886 0 4305 0
Current children cumulated CPU time (s) 102.26
Current children cumulated vsize (KiB) 20780
[startup+162.302 s]
/proc/loadavg: 0.99 1.00 1.01 2/66 2473
/proc/meminfo: memFree=1818464/2055920 swapFree=4192948/4192956
[pid=2472] ppid=2470 vsize=21000 CPUtime=162.23
/proc/2472/stat : 2472 (pbscip.linux.x8) R 2470 2472 2399 0 -1 4194304 6852 0 0 0 15065 1158 0 0 25 0 1 0 185226576 21504000 4487 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/2472/statm: 5250 4487 573 886 0 4360 0
Current children cumulated CPU time (s) 162.23
Current children cumulated vsize (KiB) 21000
[startup+222.302 s]
/proc/loadavg: 0.99 1.00 1.00 2/66 2473
/proc/meminfo: memFree=1818400/2055920 swapFree=4192948/4192956
[pid=2472] ppid=2470 vsize=21000 CPUtime=222.22
/proc/2472/stat : 2472 (pbscip.linux.x8) R 2470 2472 2399 0 -1 4194304 6852 0 0 0 20644 1578 0 0 25 0 1 0 185226576 21504000 4487 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/2472/statm: 5250 4487 573 886 0 4360 0
Current children cumulated CPU time (s) 222.22
Current children cumulated vsize (KiB) 21000
Solver just ended. Dumping a history of the last processes samples
[startup+230.302 s]
/proc/loadavg: 0.99 1.00 1.00 2/66 2473
/proc/meminfo: memFree=1818400/2055920 swapFree=4192948/4192956
[pid=2472] ppid=2470 vsize=21000 CPUtime=230.22
/proc/2472/stat : 2472 (pbscip.linux.x8) R 2470 2472 2399 0 -1 4194304 6852 0 0 0 21393 1629 0 0 25 0 1 0 185226576 21504000 4487 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/2472/statm: 5250 4487 573 886 0 4360 0
Current children cumulated CPU time (s) 230.22
Current children cumulated vsize (KiB) 21000
[startup+243.105 s]
/proc/loadavg: 0.99 1.00 1.00 2/66 2473
/proc/meminfo: memFree=1817632/2055920 swapFree=4192948/4192956
[pid=2472] ppid=2470 vsize=21892 CPUtime=243.02
/proc/2472/stat : 2472 (pbscip.linux.x8) R 2470 2472 2399 0 -1 4194304 7080 0 0 0 22595 1707 0 0 25 0 1 0 185226576 22417408 4715 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/2472/statm: 5473 4715 573 886 0 4583 0
Current children cumulated CPU time (s) 243.02
Current children cumulated vsize (KiB) 21892
[startup+246.301 s]
/proc/loadavg: 0.99 1.00 1.00 2/66 2473
/proc/meminfo: memFree=1817632/2055920 swapFree=4192948/4192956
[pid=2472] ppid=2470 vsize=21892 CPUtime=246.22
/proc/2472/stat : 2472 (pbscip.linux.x8) R 2470 2472 2399 0 -1 4194304 7080 0 0 0 22897 1725 0 0 25 0 1 0 185226576 22417408 4715 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/2472/statm: 5473 4715 573 886 0 4583 0
Current children cumulated CPU time (s) 246.22
Current children cumulated vsize (KiB) 21892
[startup+247.902 s]
/proc/loadavg: 0.99 1.00 1.00 2/66 2473
/proc/meminfo: memFree=1817632/2055920 swapFree=4192948/4192956
[pid=2472] ppid=2470 vsize=21892 CPUtime=247.81
/proc/2472/stat : 2472 (pbscip.linux.x8) R 2470 2472 2399 0 -1 4194304 7080 0 0 0 23047 1734 0 0 25 0 1 0 185226576 22417408 4715 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/2472/statm: 5473 4715 573 886 0 4583 0
Current children cumulated CPU time (s) 247.81
Current children cumulated vsize (KiB) 21892
[startup+248.702 s]
/proc/loadavg: 0.99 1.00 1.00 2/66 2473
/proc/meminfo: memFree=1817632/2055920 swapFree=4192948/4192956
[pid=2472] ppid=2470 vsize=21892 CPUtime=248.61
/proc/2472/stat : 2472 (pbscip.linux.x8) R 2470 2472 2399 0 -1 4194304 7080 0 0 0 23123 1738 0 0 25 0 1 0 185226576 22417408 4715 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/2472/statm: 5473 4715 573 886 0 4583 0
Current children cumulated CPU time (s) 248.61
Current children cumulated vsize (KiB) 21892
[startup+249.102 s]
/proc/loadavg: 0.99 1.00 1.00 2/66 2473
/proc/meminfo: memFree=1817632/2055920 swapFree=4192948/4192956
[pid=2472] ppid=2470 vsize=21892 CPUtime=249.02
/proc/2472/stat : 2472 (pbscip.linux.x8) R 2470 2472 2399 0 -1 4194304 7080 0 0 0 23161 1741 0 0 25 0 1 0 185226576 22417408 4715 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/2472/statm: 5473 4715 573 886 0 4583 0
Current children cumulated CPU time (s) 249.02
Current children cumulated vsize (KiB) 21892
[startup+249.302 s]
/proc/loadavg: 0.99 1.00 1.00 2/66 2473
/proc/meminfo: memFree=1817632/2055920 swapFree=4192948/4192956
[pid=2472] ppid=2470 vsize=17012 CPUtime=249.21
/proc/2472/stat : 2472 (pbscip.linux.x8) R 2470 2472 2399 0 -1 4194304 7082 0 0 0 23180 1741 0 0 25 0 1 0 185226576 17420288 3509 1992294400 4194304 7823515 548682068736 18446744073709551615 6962503 0 0 4096 0 0 0 0 17 1 0 0
/proc/2472/statm: 4253 3509 575 886 0 3363 0
Current children cumulated CPU time (s) 249.21
Current children cumulated vsize (KiB) 17012
Child status: 0
Real time (s): 249.306
CPU time (s): 249.223
CPU user time (s): 231.803
CPU system time (s): 17.4204
CPU usage (%): 99.9669
Max. virtual memory (cumulated for all children) (KiB): 25752
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 231.803
system time used= 17.4204
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 7085
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 2
involuntary context switches= 515
runsolver used 0.285956 second user time and 0.632903 second system time
The end
Begin job on node85 at 2009-06-16 20:18:00
IDJOB=1869522
IDBENCH=2916
IDSOLVER=683
FILE ID=node85/1869522-1245176280
PBS_JOBID= 9363922
Free space on /tmp= 126844 MiB
SOLVER NAME= SCIPspx SCIP 1.1.0.7 with SoPLEX 1.4.1(24.4.2009)
BENCH NAME= PB06/final/normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/market-split/normalized-opt-market-split_4_30_2.opb
COMMAND LINE= HOME/pbscip.linux.x86_64.gnu.opt-gcc42.spx -t TIMEOUT -m MEMLIMIT -f BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-1869522-1245176280/watcher-1869522-1245176280 -o /tmp/evaluation-result-1869522-1245176280/solver-1869522-1245176280 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt-gcc42.spx -t 1800 -m 1800 -f HOME/instance-1869522-1245176280.opb
TIME LIMIT= 1800 seconds
MEMORY LIMIT= 1800 MiB
MAX NB THREAD= 0
MD5SUM BENCH= 031b0f629913e7cd5c934f00ec1a1885
RANDOM SEED=1025918357
node85.alineos.net Linux 2.6.9-22.EL.rootsmp #1 SMP Mon Oct 3 08:59:52 CEST 2005
/proc/cpuinfo:
processor : 0
vendor_id : GenuineIntel
cpu family : 15
model : 4
model name : Intel(R) Xeon(TM) CPU 3.00GHz
stepping : 3
cpu MHz : 3000.213
cache size : 2048 KB
fpu : yes
fpu_exception : yes
cpuid level : 5
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr
bogomips : 5931.00
clflush size : 64
cache_alignment : 128
address sizes : 36 bits physical, 48 bits virtual
power management:
processor : 1
vendor_id : GenuineIntel
cpu family : 15
model : 4
model name : Intel(R) Xeon(TM) CPU 3.00GHz
stepping : 3
cpu MHz : 3000.213
cache size : 2048 KB
fpu : yes
fpu_exception : yes
cpuid level : 5
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr
bogomips : 5996.54
clflush size : 64
cache_alignment : 128
address sizes : 36 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 2055920 kB
MemFree: 1835144 kB
Buffers: 33512 kB
Cached: 104792 kB
SwapCached: 8 kB
Active: 50392 kB
Inactive: 101500 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1835144 kB
SwapTotal: 4192956 kB
SwapFree: 4192948 kB
Dirty: 9836 kB
Writeback: 0 kB
Mapped: 23364 kB
Slab: 54784 kB
Committed_AS: 71196 kB
PageTables: 1376 kB
VmallocTotal: 536870911 kB
VmallocUsed: 264952 kB
VmallocChunk: 536605679 kB
HugePages_Total: 0
HugePages_Free: 0
Hugepagesize: 2048 kB
Free space on /tmp at the end= 126836 MiB
End job on node85 at 2009-06-16 20:22:10