0.03/0.05 c SCIP version 1.1.0.7
0.03/0.05 c LP-Solver Clp 1.8.2
0.03/0.05 c user parameter file <scip.set> not found - using default parameters
0.03/0.05 c read problem <HOME/instance-1868907-1245149346.opb>
0.03/0.05 c original problem has 309 variables (309 bin, 0 int, 0 impl, 0 cont) and 963 constraints
0.03/0.06 c start presolving problem
0.03/0.06 c presolving:
0.09/0.13 c (round 1) 0 del vars, 4 del conss, 0 chg bounds, 3 chg sides, 0 chg coeffs, 959 upgd conss, 0 impls, 0 clqs
0.09/0.15 c (0.1s) probing: 101/309 (32.7%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
0.09/0.15 c (0.1s) probing aborted: 100/100 successive totally useless probings
0.09/0.15 c presolving (2 rounds):
0.09/0.15 c 0 deleted vars, 4 deleted constraints, 0 tightened bounds, 0 added holes, 3 changed sides, 0 changed coefficients
0.09/0.15 c 0 implications, 0 cliques
0.09/0.15 c presolved problem has 309 variables (309 bin, 0 int, 0 impl, 0 cont) and 959 constraints
0.09/0.15 c 959 constraints of type <logicor>
0.09/0.15 c transformed objective value is always integral (scale: 1)
0.09/0.15 c Presolving Time: 0.08
0.09/0.15 c strange?!, PURESAT with obj
0.09/0.15 c -----------------------------------------------------------------------------------------------
0.09/0.15 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.09/0.15 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.09/0.15 c limits/memory = c 1620
0.09/0.15 c # maximal time in seconds to run
0.09/0.15 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.09/0.15 c limits/time = c 1791
0.09/0.15 c # frequency for displaying node information lines
0.09/0.15 c # [type: int, range: [-1,2147483647], default: 100]
0.09/0.15 c display/freq = c 10000
0.09/0.15 c -----------------------------------------------------------------------------------------------
0.09/0.15 c start solving problem
0.09/0.15 c
0.09/0.17 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
0.09/0.17 c 0.1s| 1 | 0 | 45 |3810k| 0 | 18 | 309 | 959 | 959 | 309 | 959 | 0 | 0 | 0 | 4.083333e+00 | -- | Inf
0.09/0.17 o 17
0.09/0.17 c R 0.1s| 1 | 0 | 45 |3818k| 0 | 18 | 309 | 959 | 959 | 309 | 959 | 0 | 0 | 0 | 4.083333e+00 | 1.700000e+01 | 316.33%
0.09/0.17 o 16
0.09/0.17 c s 0.1s| 1 | 0 | 45 |3826k| 0 | 18 | 309 | 959 | 959 | 309 | 959 | 0 | 0 | 0 | 4.083333e+00 | 1.600000e+01 | 291.84%
0.39/0.44 c 0.4s| 1 | 0 | 56 |4000k| 0 | 21 | 309 | 959 | 959 | 309 | 960 | 1 | 0 | 0 | 4.218750e+00 | 1.600000e+01 | 279.26%
0.69/0.72 c 0.7s| 1 | 0 | 73 |4364k| 0 | 21 | 309 | 959 | 959 | 309 | 961 | 2 | 0 | 0 | 5.000000e+00 | 1.600000e+01 | 220.00%
0.99/1.03 c 0.9s| 1 | 0 | 82 |4970k| 0 | 23 | 309 | 959 | 959 | 309 | 962 | 3 | 0 | 0 | 5.000000e+00 | 1.600000e+01 | 220.00%
0.99/1.03 o 16
0.99/1.03 c s 1.0s| 1 | 0 | 82 |4973k| 0 | 23 | 309 | 959 | 959 | 309 | 962 | 3 | 0 | 0 | 5.000000e+00 | 1.600000e+01 | 220.00%
1.39/1.42 c 1.3s| 1 | 0 | 95 |5174k| 0 | 21 | 309 | 959 | 959 | 309 | 963 | 4 | 0 | 0 | 5.000000e+00 | 1.600000e+01 | 220.00%
1.69/1.76 c 1.7s| 1 | 0 | 106 |5252k| 0 | 19 | 309 | 959 | 959 | 309 | 964 | 5 | 0 | 0 | 5.000000e+00 | 1.600000e+01 | 220.00%
2.09/2.13 c 2.0s| 1 | 0 | 113 |5374k| 0 | 17 | 309 | 959 | 959 | 309 | 965 | 6 | 0 | 0 | 5.000000e+00 | 1.600000e+01 | 220.00%
2.09/2.13 o 15
2.09/2.13 c R 2.0s| 1 | 0 | 113 |5377k| 0 | 17 | 309 | 959 | 959 | 309 | 965 | 6 | 0 | 0 | 5.000000e+00 | 1.500000e+01 | 200.00%
2.39/2.44 c 2.4s| 1 | 0 | 120 |5399k| 0 | 17 | 309 | 959 | 959 | 309 | 966 | 7 | 0 | 0 | 5.000000e+00 | 1.500000e+01 | 200.00%
2.39/2.44 o 15
2.39/2.44 c s 2.4s| 1 | 0 | 120 |5403k| 0 | 17 | 309 | 959 | 959 | 309 | 966 | 7 | 0 | 0 | 5.000000e+00 | 1.500000e+01 | 200.00%
2.39/2.44 o 7
2.39/2.44 c k 2.4s| 1 | 0 | 120 |5410k| 0 | 17 | 309 | 959 | 959 | 309 | 966 | 7 | 0 | 0 | 5.000000e+00 | 7.000000e+00 | 40.00%
2.39/2.49 o 6
2.39/2.49 c E 2.4s| 1 | 0 | 120 |5410k| 0 | 17 | 309 | 959 | 959 | 309 | 966 | 7 | 0 | 0 | 5.000000e+00 | 6.000000e+00 | 20.00%
2.39/2.50 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
2.39/2.50 c 2.4s| 1 | 0 | 120 |5410k| 0 | 17 | 309 | 959 | 959 | 309 | 966 | 7 | 0 | 0 | 5.000000e+00 | 6.000000e+00 | 20.00%
2.79/2.82 c 2.7s| 1 | 0 | 120 |5410k| 0 | 17 | 309 | 959 | 959 | 309 | 867 | 7 | 0 | 0 | 5.000000e+00 | 6.000000e+00 | 20.00%
2.89/2.95 c 2.9s| 1 | 0 | 133 |5379k| 0 | 16 | 309 | 938 | 938 | 309 | 867 | 7 | 0 | 17 | 5.000000e+00 | 6.000000e+00 | 20.00%
3.19/3.29 c 3.2s| 1 | 0 | 136 |5430k| 0 | 16 | 309 | 938 | 938 | 309 | 868 | 8 | 0 | 17 | 5.000000e+00 | 6.000000e+00 | 20.00%
3.29/3.35 c 3.2s| 1 | 0 | 144 |5389k| 0 | 20 | 309 | 920 | 920 | 309 | 868 | 8 | 0 | 21 | 5.000000e+00 | 6.000000e+00 | 20.00%
3.59/3.67 c 3.6s| 1 | 0 | 156 |5434k| 0 | 19 | 309 | 920 | 920 | 309 | 869 | 9 | 0 | 21 | 5.000000e+00 | 6.000000e+00 | 20.00%
3.69/3.74 c 3.6s| 1 | 0 | 161 |5434k| 0 | 19 | 309 | 920 | 920 | 309 | 869 | 9 | 0 | 26 | 5.000000e+00 | 6.000000e+00 | 20.00%
3.89/3.96 c 3.9s| 1 | 0 | 180 |5505k| 0 | 21 | 309 | 920 | 920 | 309 | 871 | 11 | 0 | 26 | 5.000000e+00 | 6.000000e+00 | 20.00%
3.99/4.05 c 4.0s| 1 | 0 | 192 |5505k| 0 | 16 | 309 | 920 | 920 | 309 | 871 | 11 | 0 | 31 | 5.000000e+00 | 6.000000e+00 | 20.00%
4.30/4.32 c 4.2s| 1 | 0 | 209 |5913k| 0 | 22 | 309 | 920 | 920 | 309 | 872 | 12 | 0 | 31 | 5.000000e+00 | 6.000000e+00 | 20.00%
4.40/4.43 c 4.3s| 1 | 0 | 221 |5913k| 0 | 21 | 309 | 920 | 920 | 309 | 872 | 12 | 0 | 37 | 5.000000e+00 | 6.000000e+00 | 20.00%
4.69/4.80 c 4.7s| 1 | 0 | 234 |6018k| 0 | 24 | 309 | 920 | 920 | 309 | 869 | 13 | 0 | 37 | 5.000000e+00 | 6.000000e+00 | 20.00%
4.89/4.91 c 4.8s| 1 | 0 | 252 |6017k| 0 | 22 | 309 | 919 | 919 | 309 | 869 | 13 | 0 | 43 | 5.000000e+00 | 6.000000e+00 | 20.00%
5.19/5.25 c 5.1s| 1 | 0 | 280 |6190k| 0 | 26 | 309 | 919 | 919 | 309 | 870 | 14 | 0 | 43 | 5.000000e+00 | 6.000000e+00 | 20.00%
5.29/5.40 c 5.3s| 1 | 0 | 290 |6190k| 0 | 21 | 309 | 919 | 919 | 309 | 870 | 14 | 0 | 52 | 5.000000e+00 | 6.000000e+00 | 20.00%
5.59/5.69 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
5.59/5.69 c 5.6s| 1 | 0 | 301 |6203k| 0 | 21 | 309 | 919 | 919 | 309 | 871 | 15 | 0 | 52 | 5.000000e+00 | 6.000000e+00 | 20.00%
5.68/5.74 c 5.6s| 1 | 0 | 309 |6203k| 0 | 18 | 309 | 919 | 919 | 309 | 871 | 15 | 0 | 55 | 5.000000e+00 | 6.000000e+00 | 20.00%
5.99/6.03 c 5.9s| 1 | 0 | 324 |6223k| 0 | 21 | 309 | 919 | 919 | 309 | 868 | 16 | 0 | 55 | 5.000000e+00 | 6.000000e+00 | 20.00%
5.99/6.08 c 6.0s| 1 | 0 | 328 |6223k| 0 | 18 | 309 | 919 | 919 | 309 | 868 | 16 | 0 | 59 | 5.000000e+00 | 6.000000e+00 | 20.00%
6.28/6.36 c 6.2s| 1 | 0 | 340 |6282k| 0 | 13 | 309 | 919 | 919 | 309 | 869 | 17 | 0 | 59 | 5.000000e+00 | 6.000000e+00 | 20.00%
6.28/6.36 c 6.2s| 1 | 2 | 340 |6282k| 0 | 13 | 309 | 919 | 919 | 309 | 869 | 17 | 0 | 59 | 5.000000e+00 | 6.000000e+00 | 20.00%
6.28/6.36 c (run 1, node 1) restarting after 61 global fixings of integer variables
6.28/6.37 c
6.28/6.37 (restart) converted 3 cuts from the global cut pool into linear constraints
6.28/6.37 c
6.28/6.37 presolving:
6.28/6.38 c (round 1) 61 del vars, 175 del conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 3 upgd conss, 0 impls, 0 clqs
6.39/6.40 c presolving (2 rounds):
6.39/6.40 c 61 deleted vars, 175 deleted constraints, 0 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
6.39/6.40 c 0 implications, 0 cliques
6.39/6.40 c presolved problem has 248 variables (248 bin, 0 int, 0 impl, 0 cont) and 747 constraints
6.39/6.40 c 2 constraints of type <knapsack>
6.39/6.40 c 745 constraints of type <logicor>
6.39/6.40 c transformed objective value is always integral (scale: 1)
6.39/6.40 c Presolving Time: 0.11
6.39/6.40 c
6.39/6.41 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
6.39/6.41 c 6.3s| 1 | 0 | 370 |3447k| 0 | 22 | 248 | 747 | 747 | 248 | 747 | 0 | 0 | 59 | 5.000000e+00 | 6.000000e+00 | 20.00%
6.50/6.55 c 6.4s| 1 | 0 | 398 |3535k| 0 | 26 | 248 | 747 | 747 | 248 | 749 | 2 | 0 | 59 | 5.000000e+00 | 6.000000e+00 | 20.00%
6.59/6.68 c 6.6s| 1 | 0 | 416 |3535k| 0 | 31 | 248 | 747 | 747 | 248 | 749 | 2 | 0 | 70 | 5.000000e+00 | 6.000000e+00 | 20.00%
6.79/6.84 c 6.7s| 1 | 0 | 427 |3534k| 0 | 31 | 248 | 744 | 744 | 248 | 749 | 2 | 0 | 85 | 5.000000e+00 | 6.000000e+00 | 20.00%
6.89/6.92 c 6.8s| 1 | 0 | 442 |3534k| 0 | 27 | 248 | 743 | 743 | 248 | 749 | 2 | 0 | 91 | 5.000000e+00 | 6.000000e+00 | 20.00%
6.99/7.00 c 6.9s| 1 | 0 | 455 |3534k| 0 | 27 | 248 | 741 | 741 | 248 | 749 | 2 | 0 | 98 | 5.000000e+00 | 6.000000e+00 | 20.00%
6.99/7.08 c 7.0s| 1 | 0 | 464 |3534k| 0 | 25 | 248 | 741 | 741 | 248 | 749 | 2 | 0 | 105 | 5.000000e+00 | 6.000000e+00 | 20.00%
7.09/7.16 c 7.0s| 1 | 0 | 475 |3529k| 0 | 26 | 248 | 730 | 730 | 248 | 749 | 2 | 0 | 112 | 5.000000e+00 | 6.000000e+00 | 20.00%
7.18/7.21 c 7.1s| 1 | 0 | 483 |3528k| 0 | 27 | 248 | 729 | 729 | 248 | 749 | 2 | 0 | 115 | 5.000000e+00 | 6.000000e+00 | 20.00%
7.18/7.26 c 7.1s| 1 | 0 | 491 |3528k| 0 | 27 | 248 | 729 | 729 | 248 | 749 | 2 | 0 | 120 | 5.000000e+00 | 6.000000e+00 | 20.00%
7.28/7.33 c 7.2s| 1 | 0 | 498 |3528k| 0 | 25 | 248 | 729 | 729 | 248 | 749 | 2 | 0 | 125 | 5.000000e+00 | 6.000000e+00 | 20.00%
7.28/7.35 c 7.2s| 1 | 0 | 499 |3528k| 0 | 25 | 248 | 729 | 729 | 248 | 749 | 2 | 0 | 128 | 5.000000e+00 | 6.000000e+00 | 20.00%
7.28/7.37 c 7.2s| 1 | 0 | 500 |3528k| 0 | 25 | 248 | 729 | 729 | 248 | 749 | 2 | 0 | 129 | 5.000000e+00 | 6.000000e+00 | 20.00%
7.28/7.38 c 7.3s| 1 | 0 | 501 |3528k| 0 | 25 | 248 | 729 | 729 | 248 | 749 | 2 | 0 | 130 | 5.000000e+00 | 6.000000e+00 | 20.00%
7.38/7.40 c 7.3s| 1 | 0 | 504 |3528k| 0 | 26 | 248 | 729 | 729 | 248 | 749 | 2 | 0 | 131 | 5.000000e+00 | 6.000000e+00 | 20.00%
7.38/7.45 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
7.38/7.45 c 7.3s| 1 | 0 | 508 |3528k| 0 | 26 | 248 | 729 | 729 | 248 | 746 | 2 | 0 | 134 | 5.000000e+00 | 6.000000e+00 | 20.00%
7.38/7.49 c 7.4s| 1 | 0 | 511 |3528k| 0 | 25 | 248 | 729 | 729 | 248 | 746 | 2 | 0 | 137 | 5.000000e+00 | 6.000000e+00 | 20.00%
7.49/7.50 c 7.4s| 1 | 0 | 511 |3528k| 0 | - | 248 | 729 | 729 | 248 | 746 | 2 | 0 | 138 | 5.000000e+00 | 6.000000e+00 | 20.00%
7.49/7.50 c (run 2, node 1) restarting after 50 global fixings of integer variables
7.49/7.50 c
7.49/7.50 (restart) converted 1 cuts from the global cut pool into linear constraints
7.49/7.50 c
7.49/7.50 presolving:
7.49/7.51 c (round 1) 50 del vars, 139 del conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 1 upgd conss, 0 impls, 0 clqs
7.49/7.53 c presolving (2 rounds):
7.49/7.53 c 50 deleted vars, 139 deleted constraints, 0 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
7.49/7.53 c 0 implications, 0 cliques
7.49/7.53 c presolved problem has 198 variables (198 bin, 0 int, 0 impl, 0 cont) and 591 constraints
7.49/7.53 c 3 constraints of type <knapsack>
7.49/7.53 c 588 constraints of type <logicor>
7.49/7.53 c transformed objective value is always integral (scale: 1)
7.49/7.53 c Presolving Time: 0.13
7.49/7.53 c
7.49/7.54 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
7.49/7.54 c 7.4s| 1 | 0 | 553 |3061k| 0 | 28 | 198 | 591 | 591 | 198 | 591 | 0 | 0 | 138 | 5.000000e+00 | 6.000000e+00 | 20.00%
7.69/7.73 c 7.6s| 1 | 0 | 565 |3647k| 0 | 24 | 198 | 591 | 591 | 198 | 592 | 1 | 0 | 138 | 5.000000e+00 | 6.000000e+00 | 20.00%
7.89/7.97 c 7.8s| 1 | 0 | 580 |3647k| 0 | 27 | 198 | 591 | 591 | 198 | 592 | 1 | 0 | 162 | 5.000000e+00 | 6.000000e+00 | 20.00%
7.99/8.03 c 7.9s| 1 | 0 | 590 |3645k| 0 | 25 | 198 | 587 | 587 | 198 | 592 | 1 | 0 | 170 | 5.000000e+00 | 6.000000e+00 | 20.00%
7.99/8.08 c 8.0s| 1 | 0 | 596 |3645k| 0 | 23 | 198 | 586 | 586 | 198 | 592 | 1 | 0 | 175 | 5.000000e+00 | 6.000000e+00 | 20.00%
8.09/8.10 c 8.0s| 1 | 0 | 598 |3645k| 0 | 22 | 198 | 586 | 586 | 198 | 592 | 1 | 0 | 177 | 5.000000e+00 | 6.000000e+00 | 20.00%
8.09/8.11 c 8.0s| 1 | 0 | 599 |3645k| 0 | 22 | 198 | 586 | 586 | 198 | 592 | 1 | 0 | 178 | 5.000000e+00 | 6.000000e+00 | 20.00%
8.09/8.12 c 8.0s| 1 | 0 | 600 |3645k| 0 | 22 | 198 | 586 | 586 | 198 | 592 | 1 | 0 | 179 | 5.000000e+00 | 6.000000e+00 | 20.00%
8.09/8.13 c 8.0s| 1 | 0 | 601 |3645k| 0 | 22 | 198 | 586 | 586 | 198 | 592 | 1 | 0 | 180 | 5.000000e+00 | 6.000000e+00 | 20.00%
8.09/8.14 c 8.0s| 1 | 0 | 604 |3645k| 0 | 23 | 198 | 586 | 586 | 198 | 592 | 1 | 0 | 181 | 5.000000e+00 | 6.000000e+00 | 20.00%
8.09/8.17 c 8.0s| 1 | 0 | 608 |3645k| 0 | 20 | 198 | 586 | 586 | 198 | 591 | 1 | 0 | 183 | 5.000000e+00 | 6.000000e+00 | 20.00%
8.09/8.18 c 8.1s| 1 | 0 | 611 |3645k| 0 | 22 | 198 | 586 | 586 | 198 | 591 | 1 | 0 | 184 | 5.000000e+00 | 6.000000e+00 | 20.00%
8.09/8.19 c 8.1s| 1 | 0 | 613 |3645k| 0 | 20 | 198 | 586 | 586 | 198 | 591 | 1 | 0 | 185 | 5.000000e+00 | 6.000000e+00 | 20.00%
8.19/8.20 c 8.1s| 1 | 0 | 618 |3645k| 0 | 23 | 198 | 586 | 586 | 198 | 591 | 1 | 0 | 186 | 5.000000e+00 | 6.000000e+00 | 20.00%
8.19/8.22 c 8.1s| 1 | 0 | 621 |3642k| 0 | 20 | 198 | 582 | 582 | 198 | 591 | 1 | 0 | 188 | 5.000000e+00 | 6.000000e+00 | 20.00%
8.19/8.23 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
8.19/8.23 c 8.1s| 1 | 0 | 625 |3642k| 0 | 23 | 198 | 582 | 582 | 198 | 591 | 1 | 0 | 189 | 5.000000e+00 | 6.000000e+00 | 20.00%
8.19/8.25 c 8.1s| 1 | 0 | 627 |3642k| 0 | 24 | 198 | 582 | 582 | 198 | 591 | 1 | 0 | 190 | 5.000000e+00 | 6.000000e+00 | 20.00%
8.19/8.27 c 8.1s| 1 | 0 | 632 |3639k| 0 | 23 | 198 | 576 | 576 | 198 | 591 | 1 | 0 | 192 | 5.000000e+00 | 6.000000e+00 | 20.00%
8.28/8.30 c 8.2s| 1 | 0 | 636 |3639k| 0 | 19 | 198 | 576 | 576 | 198 | 591 | 1 | 0 | 194 | 5.000000e+00 | 6.000000e+00 | 20.00%
8.28/8.31 c 8.2s| 1 | 0 | 638 |3639k| 0 | 21 | 198 | 576 | 576 | 198 | 591 | 1 | 0 | 195 | 5.000000e+00 | 6.000000e+00 | 20.00%
8.28/8.31 c 8.2s| 1 | 0 | 640 |3639k| 0 | 19 | 198 | 576 | 576 | 198 | 591 | 1 | 0 | 196 | 5.000000e+00 | 6.000000e+00 | 20.00%
8.28/8.32 c 8.2s| 1 | 0 | 641 |3639k| 0 | 19 | 198 | 576 | 576 | 198 | 591 | 1 | 0 | 197 | 5.000000e+00 | 6.000000e+00 | 20.00%
8.28/8.32 c 8.2s| 1 | 2 | 641 |3640k| 0 | 19 | 198 | 576 | 576 | 198 | 591 | 1 | 0 | 198 | 5.000000e+00 | 6.000000e+00 | 20.00%
8.28/8.32 c (run 3, node 1) restarting after 36 global fixings of integer variables
8.28/8.32 c
8.28/8.32 (restart) converted 1 cuts from the global cut pool into linear constraints
8.28/8.33 c
8.28/8.33 presolving:
8.28/8.33 c (round 1) 36 del vars, 122 del conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 1 upgd conss, 0 impls, 0 clqs
8.28/8.34 c presolving (2 rounds):
8.28/8.34 c 36 deleted vars, 122 deleted constraints, 0 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
8.28/8.34 c 0 implications, 0 cliques
8.28/8.34 c presolved problem has 162 variables (162 bin, 0 int, 0 impl, 0 cont) and 455 constraints
8.28/8.34 c 4 constraints of type <knapsack>
8.28/8.34 c 451 constraints of type <logicor>
8.28/8.34 c transformed objective value is always integral (scale: 1)
8.28/8.34 c Presolving Time: 0.15
8.28/8.34 c
8.28/8.35 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
8.28/8.35 c 8.2s| 1 | 0 | 666 |2791k| 0 | 14 | 162 | 455 | 455 | 162 | 455 | 0 | 0 | 198 | 5.000000e+00 | 6.000000e+00 | 20.00%
8.39/8.41 c 8.3s| 1 | 0 | 682 |2859k| 0 | 18 | 162 | 455 | 455 | 162 | 457 | 2 | 0 | 198 | 5.000000e+00 | 6.000000e+00 | 20.00%
8.39/8.47 c 8.3s| 1 | 0 | 686 |2859k| 0 | 19 | 162 | 455 | 455 | 162 | 457 | 2 | 0 | 216 | 5.000000e+00 | 6.000000e+00 | 20.00%
8.39/8.49 c 8.4s| 1 | 0 | 688 |2859k| 0 | 18 | 162 | 455 | 455 | 162 | 457 | 2 | 0 | 219 | 5.000000e+00 | 6.000000e+00 | 20.00%
8.49/8.50 c 8.4s| 1 | 0 | 689 |2859k| 0 | 18 | 162 | 455 | 455 | 162 | 457 | 2 | 0 | 220 | 5.000000e+00 | 6.000000e+00 | 20.00%
8.49/8.51 c 8.4s| 1 | 0 | 690 |2859k| 0 | 18 | 162 | 455 | 455 | 162 | 457 | 2 | 0 | 221 | 5.000000e+00 | 6.000000e+00 | 20.00%
8.49/8.52 c 8.4s| 1 | 0 | 692 |2859k| 0 | 17 | 162 | 455 | 455 | 162 | 457 | 2 | 0 | 222 | 5.000000e+00 | 6.000000e+00 | 20.00%
8.49/8.52 c 8.4s| 1 | 2 | 692 |2860k| 0 | 17 | 162 | 455 | 455 | 162 | 457 | 2 | 0 | 223 | 5.000000e+00 | 6.000000e+00 | 20.00%
8.49/8.53 o 5
8.49/8.53 c * 8.4s| 2 | 0 | 697 |2868k| 1 | - | 162 | 455 | 455 | 162 | 453 | 2 | 0 | 223 | 5.000000e+00 | 5.000000e+00 | 0.00%
8.49/8.53 c
8.49/8.53 c SCIP Status : problem is solved [optimal solution found]
8.49/8.53 c Solving Time (sec) : 8.39
8.49/8.53 c Solving Nodes : 2 (total of 5 nodes in 4 runs)
8.49/8.53 c Primal Bound : +5.00000000000000e+00 (12 solutions)
8.49/8.53 c Dual Bound : +5.00000000000000e+00
8.49/8.53 c Gap : 0.00 %
8.49/8.53 c NODE 2
8.49/8.53 c DUAL BOUND 5
8.49/8.53 c PRIMAL BOUND 5
8.49/8.53 c GAP 0
8.49/8.53 s OPTIMUM FOUND
8.49/8.53 v -x309 -x308 -x307 -x306 -x305 -x304 -x303 -x302 -x301 -x300 -x299 -x298 -x297 -x296 -x295 x294 -x293 -x292 -x291 -x290 -x289 -x288
8.49/8.53 v -x287 -x286 -x285 -x284 -x283 -x282 -x281 -x280 -x279 -x278 -x277 -x276 -x275 -x274 -x273 -x272 -x271 -x270 -x269 -x268 -x267
8.49/8.53 v -x266 -x265 -x264 -x263 -x262 -x261 -x260 -x259 -x258 -x257 -x256 -x255 -x254 -x253 -x252 -x251 -x250 -x249 -x248 -x247
8.49/8.53 v -x246 -x245 -x244 -x243 -x242 -x241 -x240 -x239 -x238 -x237 -x236 -x235 -x234 -x233 x232 -x231 -x230 -x229 -x228 -x227 -x226
8.49/8.53 v -x225 -x224 -x223 -x222 -x221 -x220 -x219 -x218 -x217 -x216 -x215 -x214 -x213 -x212 -x211 -x210 -x209 -x208 -x207 -x206 -x205
8.49/8.53 v -x204 -x203 -x202 -x201 -x200 -x199 -x198 -x197 -x196 -x195 -x194 -x193 -x192 -x191 -x190 -x189 -x188 -x187 -x186 -x185 -x184
8.49/8.53 v -x183 -x182 -x181 -x180 -x179 -x178 -x177 -x176 -x175 -x174 -x173 -x172 -x171 -x170 -x169 -x168 -x167 -x166 -x165 -x164 -x163
8.49/8.53 v -x162 -x161 -x160 -x159 -x158 -x157 -x156 -x155 -x154 -x153 -x152 -x151 -x150 -x149 -x148 -x147 -x146 -x145 -x144 -x143 -x142
8.49/8.53 v -x141 -x140 -x139 -x138 -x137 -x136 -x135 -x134 -x133 -x132 -x131 -x130 -x129 -x128 -x127 -x126 -x125 -x124 -x123 -x122 -x121
8.49/8.53 v -x120 -x119 -x118 -x117 -x116 -x115 -x114 -x113 -x112 -x111 -x110 -x109 -x108 x107 -x106 -x105 -x104 -x103 -x102 -x101 -x100
8.49/8.53 v -x99 -x98 -x97 -x96 -x95 -x94 -x93 -x92 -x91 x90 -x89 -x88 -x87 -x86 -x85 -x84 -x83 -x82 -x81 -x80 -x79 -x78 -x77 -x76 -x75
8.49/8.53 v -x74 -x73 -x72 -x71 -x70 -x69 -x68 -x67 -x66 -x65 -x64 -x63 -x62 -x61 -x60 -x59 -x58 -x57 -x56 -x55 -x54 -x53 -x52 -x51 -x50
8.49/8.53 v -x49 -x48 -x47 -x46 -x45 -x44 -x43 -x42 -x41 -x40 -x39 -x38 -x37 -x36 -x35 -x34 -x33 -x32 -x31 x30 -x29 -x28 -x27 -x26 -x25
8.49/8.53 v -x24 -x23 -x22 -x21 -x20 -x19 -x18 -x17 -x16 -x15 -x14 -x13 -x12 -x11 -x10 -x9 -x8 -x7 -x6 -x5 -x4 -x3 -x2 -x1
8.49/8.53 c SCIP Status : problem is solved [optimal solution found]
8.49/8.53 c Solving Time : 8.39
8.49/8.53 c Original Problem :
8.49/8.53 c Problem name : HOME/instance-1868907-1245149346.opb
8.49/8.53 c Variables : 309 (309 binary, 0 integer, 0 implicit integer, 0 continuous)
8.49/8.53 c Constraints : 963 initial, 963 maximal
8.49/8.53 c Presolved Problem :
8.49/8.53 c Problem name : t_HOME/instance-1868907-1245149346.opb
8.49/8.53 c Variables : 162 (162 binary, 0 integer, 0 implicit integer, 0 continuous)
8.49/8.53 c Constraints : 455 initial, 455 maximal
8.49/8.53 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs
8.49/8.53 c trivial : 0.00 147 0 0 0 0 0 0 0
8.49/8.53 c dualfix : 0.00 0 0 0 0 0 0 0 0
8.49/8.53 c boundshift : 0.00 0 0 0 0 0 0 0 0
8.49/8.53 c inttobinary : 0.00 0 0 0 0 0 0 0 0
8.49/8.53 c implics : 0.00 0 0 0 0 0 0 0 0
8.49/8.53 c probing : 0.01 0 0 0 0 0 0 0 0
8.49/8.53 c knapsack : 0.00 0 0 0 0 0 0 0 0
8.49/8.53 c linear : 0.04 0 0 0 0 0 4 3 0
8.49/8.53 c logicor : 0.08 0 0 0 0 0 436 0 0
8.49/8.53 c root node : - 153 - - 153 - - - -
8.49/8.53 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children
8.49/8.53 c integral : 0 0 0 54 0 0 127 0 0 6
8.49/8.53 c knapsack : 4 3 44 0 0 0 0 0 0 0
8.49/8.53 c logicor : 451 20 68 1 0 0 0 0 0 0
8.49/8.53 c countsols : 0 0 0 1 0 0 0 0 0 0
8.49/8.53 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS
8.49/8.53 c integral : 2.31 0.00 0.00 2.31 0.00
8.49/8.53 c knapsack : 0.00 0.00 0.00 0.00 0.00
8.49/8.53 c logicor : 0.01 0.00 0.01 0.00 0.00
8.49/8.53 c countsols : 0.00 0.00 0.00 0.00 0.00
8.49/8.53 c Propagators : Time Calls Cutoffs DomReds
8.49/8.53 c rootredcost : 0.00 0 0 0
8.49/8.53 c pseudoobj : 0.00 62 0 0
8.49/8.53 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
8.49/8.53 c propagation : 0.00 0 0 0 0.0 0 0.0 -
8.49/8.53 c infeasible LP : 0.00 0 0 0 0.0 0 0.0 0
8.49/8.53 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
8.49/8.53 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
8.49/8.53 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 -
8.49/8.53 c applied globally : - - - 0 0.0 - - -
8.49/8.53 c applied locally : - - - 0 0.0 - - -
8.49/8.53 c Separators : Time Calls Cutoffs DomReds Cuts Conss
8.49/8.53 c cut pool : 0.00 0 - - 0 - (maximal pool size: 20)
8.49/8.53 c redcost : 0.00 21 0 26 0 0
8.49/8.53 c impliedbounds : 0.00 20 0 0 0 0
8.49/8.53 c intobj : 0.00 0 0 0 0 0
8.49/8.53 c gomory : 2.75 20 0 0 3914 0
8.49/8.53 c strongcg : 2.32 20 0 0 6508 0
8.49/8.53 c cmir : 0.15 13 0 0 0 0
8.49/8.53 c flowcover : 0.18 13 0 0 0 0
8.49/8.53 c clique : 0.00 4 0 0 0 0
8.49/8.53 c zerohalf : 0.00 0 0 0 0 0
8.49/8.53 c mcf : 0.01 4 0 0 0 0
8.49/8.53 c Pricers : Time Calls Vars
8.49/8.53 c problem variables: 0.00 0 0
8.49/8.53 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
8.49/8.53 c relpscost : 2.31 53 0 127 0 0 6
8.49/8.53 c pscost : 0.00 0 0 0 0 0 0
8.49/8.53 c inference : 0.00 0 0 0 0 0 0
8.49/8.53 c mostinf : 0.00 0 0 0 0 0 0
8.49/8.53 c leastinf : 0.00 0 0 0 0 0 0
8.49/8.53 c fullstrong : 0.00 0 0 0 0 0 0
8.49/8.53 c allfullstrong : 0.00 0 0 0 0 0 0
8.49/8.53 c random : 0.00 0 0 0 0 0 0
8.49/8.53 c Primal Heuristics : Time Calls Found
8.49/8.53 c LP solutions : 0.00 - 1
8.49/8.53 c pseudo solutions : 0.00 - 0
8.49/8.53 c oneopt : 0.00 1 1
8.49/8.53 c simplerounding : 0.00 0 0
8.49/8.53 c rounding : 0.00 72 2
8.49/8.53 c shifting : 0.02 72 7
8.49/8.53 c intshifting : 0.00 0 0
8.49/8.53 c fixandinfer : 0.00 0 0
8.49/8.53 c feaspump : 0.00 0 0
8.49/8.53 c coefdiving : 0.00 0 0
8.49/8.53 c pscostdiving : 0.00 0 0
8.49/8.53 c fracdiving : 0.00 0 0
8.49/8.53 c veclendiving : 0.00 0 0
8.49/8.53 c intdiving : 0.00 0 0
8.49/8.53 c actconsdiving : 0.00 0 0
8.49/8.53 c objpscostdiving : 0.00 0 0
8.49/8.53 c rootsoldiving : 0.00 0 0
8.49/8.53 c linesearchdiving : 0.00 0 0
8.49/8.53 c guideddiving : 0.00 0 0
8.49/8.53 c octane : 0.00 0 0
8.49/8.53 c rens : 0.04 1 1
8.49/8.53 c rins : 0.00 0 0
8.49/8.53 c localbranching : 0.00 0 0
8.49/8.53 c mutation : 0.00 0 0
8.49/8.53 c crossover : 0.00 0 0
8.49/8.53 c dins : 0.00 0 0
8.49/8.53 c LP : Time Calls Iterations Iter/call Iter/sec
8.49/8.53 c primal LP : 0.08 0 0 0.00 0.00
8.49/8.53 c dual LP : 0.23 73 697 9.55 3030.43
8.49/8.53 c barrier LP : 0.00 0 0 0.00 -
8.49/8.53 c diving/probing LP: 0.00 0 0 0.00 -
8.49/8.53 c strong branching : 2.31 223 14384 64.50 6226.84
8.49/8.53 c (at root node) : - 223 14384 64.50 -
8.49/8.53 c conflict analysis: 0.00 0 0 0.00 -
8.49/8.53 c B&B Tree :
8.49/8.53 c number of runs : 4
8.49/8.53 c nodes : 2
8.49/8.53 c nodes (total) : 5
8.49/8.53 c nodes left : 0
8.49/8.53 c max depth : 1
8.49/8.53 c max depth (total): 1
8.49/8.53 c backtracks : 0 (0.0%)
8.49/8.53 c delayed cutoffs : 0
8.49/8.53 c repropagations : 0 (0 domain reductions, 0 cutoffs)
8.49/8.53 c avg switch length: 2.00
8.49/8.53 c switching time : 0.00
8.49/8.53 c Solution :
8.49/8.53 c Solutions found : 12 (8 improvements)
8.49/8.53 c Primal Bound : +5.00000000000000e+00 (in run 4, after 2 nodes, 8.39 seconds, depth 1, found by <relaxation>)
8.49/8.53 c Dual Bound : +5.00000000000000e+00
8.49/8.53 c Gap : 0.00 %
8.49/8.53 c Root Dual Bound : +5.00000000000000e+00
8.49/8.55 c Time complete: 8.54.