0.00/0.00 c SCIP version 1.2.1.2 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: Clp 1.11.1] [Expressions interpreter: NONE]
0.00/0.00 c Copyright (c) 2002-2010 Konrad-Zuse-Zentrum fuer Informationstechnik Berlin (ZIB)
0.00/0.00 c
0.00/0.00 c user parameter file <scip.set> not found - using default parameters
0.00/0.00 c reading problem <HOME/instance-2666220-1276595528.opb>
0.00/0.06 c original problem has 756 variables (756 bin, 0 int, 0 impl, 0 cont) and 1853 constraints
0.00/0.06 c problem read
0.00/0.06 c presolving settings loaded
0.06/0.08 o 756
0.06/0.08 c feasible solution found by trivial heuristic, objective value 7.560000e+02
0.06/0.08 c presolving:
0.09/0.10 c (round 1) 15 del vars, 332 del conss, 15 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 16 impls, 0 clqs
0.19/0.21 c (round 2) 15 del vars, 550 del conss, 15 chg bounds, 7 chg sides, 0 chg coeffs, 1435 upgd conss, 16 impls, 0 clqs
0.19/0.22 c (round 3) 16 del vars, 551 del conss, 15 chg bounds, 7 chg sides, 0 chg coeffs, 1435 upgd conss, 16 impls, 0 clqs
0.19/0.22 c (round 4) 17 del vars, 575 del conss, 15 chg bounds, 7 chg sides, 0 chg coeffs, 1435 upgd conss, 16 impls, 0 clqs
0.19/0.23 c (round 5) 18 del vars, 577 del conss, 15 chg bounds, 7 chg sides, 0 chg coeffs, 1453 upgd conss, 16 impls, 0 clqs
0.19/0.23 c (round 6) 18 del vars, 578 del conss, 15 chg bounds, 7 chg sides, 0 chg coeffs, 1464 upgd conss, 16 impls, 0 clqs
0.19/0.24 c (0.2s) probing: 101/738 (13.7%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
0.19/0.24 c (0.2s) probing aborted: 100/100 successive totally useless probings
0.19/0.24 c presolving (7 rounds):
0.19/0.24 c 18 deleted vars, 578 deleted constraints, 15 tightened bounds, 0 added holes, 7 changed sides, 0 changed coefficients
0.19/0.24 c 16 implications, 0 cliques
0.19/0.24 c presolved problem has 738 variables (738 bin, 0 int, 0 impl, 0 cont) and 1275 constraints
0.19/0.24 c 1275 constraints of type <logicor>
0.19/0.24 c transformed objective value is always integral (scale: 1)
0.19/0.24 c Presolving Time: 0.15
0.19/0.24 c - non default parameters ----------------------------------------------------------------------
0.19/0.24 c # SCIP version 1.2.1.2
0.19/0.24 c
0.19/0.24 c # maximal number of intermediate conflict constraints generated in conflict graph (-1: use every intermediate constraint)
0.19/0.24 c # [type: int, range: [-1,2147483647], default: -1]
0.19/0.24 c conflict/interconss = 0
0.19/0.24 c
0.19/0.24 c # should binary conflicts be preferred?
0.19/0.24 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.19/0.24 c conflict/preferbinary = TRUE
0.19/0.24 c
0.19/0.24 c # maximum age an unnecessary constraint can reach before it is deleted (0: dynamic, -1: keep all constraints)
0.19/0.24 c # [type: int, range: [-1,2147483647], default: 0]
0.19/0.24 c constraints/agelimit = 1
0.19/0.24 c
0.19/0.24 c # should enforcement of pseudo solution be disabled?
0.19/0.24 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.19/0.24 c constraints/disableenfops = TRUE
0.19/0.24 c
0.19/0.24 c # frequency for displaying node information lines
0.19/0.24 c # [type: int, range: [-1,2147483647], default: 100]
0.19/0.24 c display/freq = 10000
0.19/0.24 c
0.19/0.24 c # maximal time in seconds to run
0.19/0.24 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.19/0.24 c limits/time = 1799.94
0.19/0.24 c
0.19/0.24 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.19/0.24 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.19/0.24 c limits/memory = 1620
0.19/0.24 c
0.19/0.24 c # frequency for solving LP at the nodes (-1: never; 0: only root LP)
0.19/0.24 c # [type: int, range: [-1,2147483647], default: 1]
0.19/0.24 c lp/solvefreq = 0
0.19/0.24 c
0.19/0.24 c # LP pricing strategy ('l'pi default, 'a'uto, 'f'ull pricing, 'p'artial, 's'teepest edge pricing, 'q'uickstart steepest edge pricing, 'd'evex pricing)
0.19/0.24 c # [type: char, range: {lafpsqd}, default: l]
0.19/0.24 c lp/pricing = a
0.19/0.24 c
0.19/0.24 c # should presolving try to simplify inequalities
0.19/0.24 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.19/0.24 c constraints/linear/simplifyinequalities = TRUE
0.19/0.24 c
0.19/0.24 c # should presolving try to simplify knapsacks
0.19/0.24 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.19/0.24 c constraints/knapsack/simplifyinequalities = TRUE
0.19/0.24 c
0.19/0.24 c # priority of node selection rule <dfs> in standard mode
0.19/0.24 c # [type: int, range: [-536870912,536870911], default: 0]
0.19/0.24 c nodeselection/dfs/stdpriority = 1000000
0.19/0.24 c
0.19/0.24 c -----------------------------------------------------------------------------------------------
0.19/0.24 c start solving
0.19/0.25 c
0.19/0.25 o 754
0.19/0.25 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
0.19/0.25 c t 0.2s| 1 | 0 | 0 | - |3535k| 0 | - | 738 |1275 | 0 | 0 | 0 | 0 | 0 | -- | 7.540000e+02 | Inf
0.19/0.26 o 89
0.19/0.26 c b 0.2s| 1 | 0 | 0 | - |4914k| 0 | - | 738 |1275 | 738 |1275 | 0 | 0 | 0 | -- | 8.900000e+01 | Inf
0.19/0.29 c 0.2s| 1 | 0 | 266 | - |4904k| 0 | 123 | 738 |1275 | 738 |1275 | 0 | 0 | 0 | 6.124306e+01 | 8.900000e+01 | 45.32%
0.19/0.29 o 87
0.19/0.29 c b 0.2s| 1 | 0 | 266 | - |4940k| 0 | 123 | 738 |1275 | 738 |1275 | 0 | 0 | 0 | 6.124306e+01 | 8.700000e+01 | 42.06%
0.59/0.60 c 0.5s| 1 | 0 | 393 | - |5971k| 0 | 65 | 738 |1275 | 738 |1283 | 8 | 0 | 0 | 6.187103e+01 | 8.700000e+01 | 40.62%
0.89/0.98 c 0.9s| 1 | 0 | 458 | - |7115k| 0 | 67 | 738 |1275 | 738 |1285 | 10 | 0 | 0 | 6.207778e+01 | 8.700000e+01 | 40.15%
1.39/1.41 c 1.3s| 1 | 0 | 486 | - |7747k| 0 | 82 | 738 |1275 | 738 |1287 | 12 | 0 | 0 | 6.207778e+01 | 8.700000e+01 | 40.15%
1.69/1.79 c 1.7s| 1 | 0 | 584 | - |8289k| 0 | 74 | 738 |1275 | 738 |1292 | 17 | 0 | 0 | 6.208610e+01 | 8.700000e+01 | 40.13%
2.20/2.26 c 2.1s| 1 | 0 | 599 | - |8958k| 0 | 70 | 738 |1275 | 738 |1294 | 19 | 0 | 0 | 6.208692e+01 | 8.700000e+01 | 40.13%
2.69/2.71 c 2.6s| 1 | 0 | 676 | - |9085k| 0 | 85 | 738 |1275 | 738 |1297 | 22 | 0 | 0 | 6.211562e+01 | 8.700000e+01 | 40.06%
3.20/3.21 c 3.1s| 1 | 0 | 714 | - |9279k| 0 | 75 | 738 |1275 | 738 |1299 | 24 | 0 | 0 | 6.230562e+01 | 8.700000e+01 | 39.63%
3.68/3.73 c 3.6s| 1 | 0 | 749 | - |9366k| 0 | 79 | 738 |1275 | 738 |1301 | 26 | 0 | 0 | 6.230562e+01 | 8.700000e+01 | 39.63%
4.19/4.25 c 4.1s| 1 | 0 | 845 | - |9454k| 0 | 84 | 738 |1275 | 738 |1303 | 28 | 0 | 0 | 6.233031e+01 | 8.700000e+01 | 39.58%
4.59/4.66 c 4.5s| 1 | 0 | 891 | - |9480k| 0 | 100 | 738 |1275 | 738 |1305 | 30 | 0 | 0 | 6.249000e+01 | 8.700000e+01 | 39.22%
4.98/5.07 c 4.9s| 1 | 0 | 909 | - |9532k| 0 | 109 | 738 |1275 | 738 |1303 | 31 | 0 | 0 | 6.249000e+01 | 8.700000e+01 | 39.22%
5.40/5.49 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
5.40/5.49 c 5.3s| 1 | 0 | 918 | - |9576k| 0 | 103 | 738 |1275 | 738 |1304 | 32 | 0 | 0 | 6.275000e+01 | 8.700000e+01 | 38.65%
5.89/5.90 c 5.7s| 1 | 0 | 953 | - |9625k| 0 | 121 | 738 |1275 | 738 |1305 | 33 | 0 | 0 | 6.275000e+01 | 8.700000e+01 | 38.65%
6.29/6.32 c 6.2s| 1 | 0 | 967 | - |9725k| 0 | 104 | 738 |1275 | 738 |1307 | 35 | 0 | 0 | 6.275000e+01 | 8.700000e+01 | 38.65%
6.68/6.73 c 6.6s| 1 | 0 | 984 | - |9826k| 0 | 122 | 738 |1275 | 738 |1308 | 36 | 0 | 0 | 6.275000e+01 | 8.700000e+01 | 38.65%
7.09/7.15 c 7.0s| 1 | 0 | 1010 | - |9920k| 0 | 124 | 738 |1275 | 738 |1309 | 37 | 0 | 0 | 6.275000e+01 | 8.700000e+01 | 38.65%
7.49/7.58 c 7.4s| 1 | 0 | 1048 | - |9949k| 0 | 136 | 738 |1275 | 738 |1303 | 39 | 0 | 0 | 6.275000e+01 | 8.700000e+01 | 38.65%
7.99/8.00 o 64
7.99/8.00 c E 7.8s| 1 | 0 | 1048 | - |9959k| 0 | 136 | 738 |1275 | 738 |1303 | 39 | 0 | 0 | 6.275000e+01 | 6.400000e+01 | 1.99%
7.99/8.01 c 7.8s| 1 | 0 | 1048 | - |9959k| 0 | 136 | 738 |1275 | 738 |1303 | 39 | 0 | 0 | 6.275000e+01 | 6.400000e+01 | 1.99%
8.39/8.43 c 8.2s| 1 | 0 | 1053 | - |9822k| 0 | 138 | 738 |1054 | 738 | 951 | 40 | 0 | 0 | 6.275000e+01 | 6.400000e+01 | 1.99%
8.99/9.06 c 8.8s| 1 | 2 | 1053 | - |9823k| 0 | 138 | 738 |1054 | 738 | 951 | 40 | 0 | 33 | 6.275000e+01 | 6.400000e+01 | 1.99%
8.99/9.06 c (run 1, node 1) restarting after 198 global fixings of integer variables
8.99/9.06 c
8.99/9.07 c (restart) converted 17 cuts from the global cut pool into linear constraints
8.99/9.07 c
8.99/9.07 c presolving:
8.99/9.08 c (round 1) 198 del vars, 135 del conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 17 upgd conss, 32 impls, 0 clqs
9.08/9.13 c (round 2) 198 del vars, 164 del conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 17 upgd conss, 32 impls, 0 clqs
9.08/9.14 c (round 3) 200 del vars, 165 del conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 17 upgd conss, 32 impls, 0 clqs
9.08/9.14 c presolving (4 rounds):
9.08/9.14 c 200 deleted vars, 165 deleted constraints, 0 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
9.08/9.14 c 32 implications, 0 cliques
9.08/9.14 c presolved problem has 538 variables (538 bin, 0 int, 0 impl, 0 cont) and 906 constraints
9.08/9.14 c 14 constraints of type <knapsack>
9.08/9.14 c 892 constraints of type <logicor>
9.08/9.14 c transformed objective value is always integral (scale: 1)
9.08/9.14 c Presolving Time: 0.21
9.08/9.14 c
9.08/9.20 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
9.08/9.20 c 8.9s| 1 | 0 | 1433 | - |4679k| 0 | 147 | 538 | 906 | 538 | 906 | 0 | 0 | 33 | 6.275000e+01 | 6.400000e+01 | 1.99%
9.59/9.60 c 9.3s| 1 | 0 | 1479 | - |4888k| 0 | 148 | 538 | 905 | 538 | 909 | 3 | 0 | 33 | 6.275000e+01 | 6.400000e+01 | 1.99%
10.48/10.53 c 10.3s| 1 | 0 | 1492 | - |4888k| 0 | 150 | 538 | 905 | 538 | 909 | 3 | 0 | 74 | 6.275000e+01 | 6.400000e+01 | 1.99%
10.99/11.07 c 10.8s| 1 | 0 | 1583 | - |4887k| 0 | 137 | 538 | 904 | 538 | 909 | 3 | 0 | 95 | 6.275000e+01 | 6.400000e+01 | 1.99%
11.89/11.97 c 11.7s| 1 | 0 | 1601 | - |4887k| 0 | 141 | 538 | 904 | 538 | 909 | 3 | 0 | 142 | 6.275000e+01 | 6.400000e+01 | 1.99%
12.19/12.22 c 11.9s| 1 | 0 | 1621 | - |4887k| 0 | 141 | 538 | 904 | 538 | 909 | 3 | 0 | 153 | 6.275000e+01 | 6.400000e+01 | 1.99%
12.48/12.50 c 12.2s| 1 | 0 | 1635 | - |4887k| 0 | 142 | 538 | 904 | 538 | 909 | 3 | 0 | 164 | 6.275000e+01 | 6.400000e+01 | 1.99%
12.59/12.69 c 12.4s| 1 | 0 | 1645 | - |4886k| 0 | 127 | 538 | 900 | 538 | 909 | 3 | 0 | 170 | 6.275000e+01 | 6.400000e+01 | 1.99%
13.09/13.11 c 12.8s| 1 | 0 | 1659 | - |4885k| 0 | 142 | 538 | 892 | 538 | 909 | 3 | 0 | 187 | 6.275000e+01 | 6.400000e+01 | 1.99%
13.19/13.28 c 13.0s| 1 | 0 | 1675 | - |4885k| 0 | 118 | 538 | 892 | 538 | 909 | 3 | 0 | 192 | 6.275000e+01 | 6.400000e+01 | 1.99%
13.39/13.48 c 13.2s| 1 | 0 | 1682 | - |4885k| 0 | 132 | 538 | 892 | 538 | 903 | 3 | 0 | 205 | 6.275000e+01 | 6.400000e+01 | 1.99%
13.59/13.61 c 13.3s| 1 | 0 | 1684 | - |4885k| 0 | 114 | 538 | 892 | 538 | 903 | 3 | 0 | 210 | 6.275000e+01 | 6.400000e+01 | 1.99%
13.59/13.64 c 13.3s| 1 | 0 | 1700 | - |4885k| 0 | 115 | 538 | 892 | 538 | 903 | 3 | 0 | 211 | 6.275000e+01 | 6.400000e+01 | 1.99%
13.59/13.66 c 13.4s| 1 | 0 | 1701 | - |4885k| 0 | 114 | 538 | 892 | 538 | 903 | 3 | 0 | 212 | 6.275000e+01 | 6.400000e+01 | 1.99%
13.59/13.68 c 13.4s| 1 | 0 | 1704 | - |4885k| 0 | 117 | 538 | 892 | 538 | 903 | 3 | 0 | 213 | 6.275000e+01 | 6.400000e+01 | 1.99%
13.69/13.73 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
13.69/13.73 c 13.4s| 1 | 2 | 1704 | - |4885k| 0 | 117 | 538 | 892 | 538 | 903 | 3 | 0 | 215 | 6.275000e+01 | 6.400000e+01 | 1.99%
13.69/13.73 c (run 2, node 1) restarting after 47 global fixings of integer variables
13.69/13.73 c
13.69/13.73 c (restart) converted 2 cuts from the global cut pool into linear constraints
13.69/13.73 c
13.69/13.73 c presolving:
13.69/13.75 c (round 1) 47 del vars, 88 del conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 2 upgd conss, 32 impls, 0 clqs
13.69/13.78 c (round 2) 48 del vars, 121 del conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 2 upgd conss, 32 impls, 0 clqs
13.69/13.78 c presolving (3 rounds):
13.69/13.78 c 48 deleted vars, 121 deleted constraints, 0 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
13.69/13.78 c 32 implications, 0 cliques
13.69/13.78 c presolved problem has 490 variables (490 bin, 0 int, 0 impl, 0 cont) and 773 constraints
13.69/13.78 c 15 constraints of type <knapsack>
13.69/13.78 c 758 constraints of type <logicor>
13.69/13.78 c transformed objective value is always integral (scale: 1)
13.69/13.78 c Presolving Time: 0.26
13.69/13.78 c
13.79/13.81 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
13.79/13.81 c 13.5s| 1 | 0 | 1987 | - |4488k| 0 | 92 | 490 | 773 | 490 | 773 | 0 | 0 | 215 | 6.275000e+01 | 6.400000e+01 | 1.99%
13.98/14.06 c 13.8s| 1 | 0 | 2079 | - |4595k| 0 | 102 | 490 | 773 | 490 | 777 | 4 | 0 | 215 | 6.275000e+01 | 6.400000e+01 | 1.99%
14.49/14.57 c 14.3s| 1 | 0 | 2140 | - |4595k| 0 | 97 | 490 | 772 | 490 | 777 | 4 | 0 | 247 | 6.275000e+01 | 6.400000e+01 | 1.99%
14.88/14.98 c 14.7s| 1 | 0 | 2146 | - |4595k| 0 | 94 | 490 | 772 | 490 | 777 | 4 | 0 | 270 | 6.275000e+01 | 6.400000e+01 | 1.99%
15.19/15.23 c 14.9s| 1 | 0 | 2147 | - |4595k| 0 | 77 | 490 | 772 | 490 | 777 | 4 | 0 | 287 | 6.275000e+01 | 6.400000e+01 | 1.99%
15.68/15.70 c 15.4s| 1 | 0 | 2148 | - |4595k| 0 | 94 | 490 | 772 | 490 | 777 | 4 | 0 | 320 | 6.275000e+01 | 6.400000e+01 | 1.99%
15.78/15.89 c 15.6s| 1 | 0 | 2155 | - |4595k| 0 | 77 | 490 | 772 | 490 | 777 | 4 | 0 | 331 | 6.275000e+01 | 6.400000e+01 | 1.99%
15.89/15.91 c 15.6s| 1 | 0 | 2160 | - |4595k| 0 | 108 | 490 | 772 | 490 | 777 | 4 | 0 | 332 | 6.275000e+01 | 6.400000e+01 | 1.99%
16.09/16.11 c 15.8s| 1 | 0 | 2162 | - |4595k| 0 | 95 | 490 | 772 | 490 | 777 | 4 | 0 | 346 | 6.275000e+01 | 6.400000e+01 | 1.99%
16.09/16.11 c 15.8s| 1 | 2 | 2162 | - |4602k| 0 | 95 | 490 | 772 | 490 | 777 | 4 | 0 | 346 | 6.275000e+01 | 6.400000e+01 | 1.99%
25.78/25.86 c 25.3s| 10000 | 274 | 2162 | 0.0 |5121k| 313 | - | 490 |1706 | 0 | 0 | 4 |6492 | 346 | 6.275000e+01 | 6.400000e+01 | 1.99%
35.67/35.77 c 35.0s| 20000 | 272 | 2162 | 0.0 |5919k| 313 | - | 490 |4250 | 0 | 0 | 4 | 14k| 346 | 6.275000e+01 | 6.400000e+01 | 1.99%
46.07/46.18 c 45.1s| 30000 | 275 | 2162 | 0.0 |6825k| 313 | - | 490 |7081 | 0 | 0 | 4 | 22k| 346 | 6.275000e+01 | 6.400000e+01 | 1.99%
56.86/56.99 c 55.6s| 40000 | 271 | 2162 | 0.0 |7654k| 313 | - | 490 |9683 | 0 | 0 | 4 | 30k| 346 | 6.275000e+01 | 6.400000e+01 | 1.99%
68.36/68.41 c 66.8s| 50000 | 267 | 2162 | 0.0 |8419k| 313 | - | 490 | 12k| 0 | 0 | 4 | 38k| 346 | 6.275000e+01 | 6.400000e+01 | 1.99%
79.84/79.96 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
79.84/79.96 c 78.1s| 60000 | 266 | 2162 | 0.0 |9396k| 313 | - | 490 | 15k| 0 | 0 | 4 | 47k| 346 | 6.275000e+01 | 6.400000e+01 | 1.99%
91.25/91.35 c 89.2s| 70000 | 270 | 2162 | 0.0 | 10M| 313 | - | 490 | 18k| 0 | 0 | 4 | 55k| 346 | 6.275000e+01 | 6.400000e+01 | 1.99%
103.04/103.15 c 101s| 80000 | 263 | 2162 | 0.0 | 10M| 313 | - | 490 | 20k| 0 | 0 | 4 | 63k| 346 | 6.275000e+01 | 6.400000e+01 | 1.99%
114.64/114.71 c 112s| 90000 | 266 | 2162 | 0.0 | 12M| 313 | - | 490 | 24k| 0 | 0 | 4 | 73k| 346 | 6.275000e+01 | 6.400000e+01 | 1.99%
127.12/127.26 c 124s|100000 | 262 | 2162 | 0.0 | 14M| 313 | - | 490 | 30k| 0 | 0 | 4 | 84k| 346 | 6.275000e+01 | 6.400000e+01 | 1.99%
139.32/139.44 c 136s|110000 | 263 | 2162 | 0.0 | 15M| 313 | - | 490 | 34k| 0 | 0 | 4 | 94k| 346 | 6.275000e+01 | 6.400000e+01 | 1.99%
153.41/153.59 c 150s|120000 | 259 | 2162 | 0.0 | 17M| 313 | - | 490 | 40k| 0 | 0 | 4 | 106k| 346 | 6.275000e+01 | 6.400000e+01 | 1.99%
169.91/170.01 c 166s|130000 | 266 | 2162 | 0.0 | 18M| 313 | - | 490 | 45k| 0 | 0 | 4 | 119k| 346 | 6.275000e+01 | 6.400000e+01 | 1.99%
184.00/184.11 c 180s|140000 | 270 | 2162 | 0.0 | 20M| 313 | - | 490 | 51k| 0 | 0 | 4 | 130k| 346 | 6.275000e+01 | 6.400000e+01 | 1.99%
197.00/197.14 c 193s|150000 | 267 | 2162 | 0.0 | 22M| 313 | - | 490 | 57k| 0 | 0 | 4 | 142k| 346 | 6.275000e+01 | 6.400000e+01 | 1.99%
209.90/210.03 c 205s|160000 | 263 | 2162 | 0.0 | 24M| 313 | - | 490 | 62k| 0 | 0 | 4 | 153k| 346 | 6.275000e+01 | 6.400000e+01 | 1.99%
222.69/222.85 c 218s|170000 | 265 | 2162 | 0.0 | 26M| 313 | - | 490 | 68k| 0 | 0 | 4 | 165k| 346 | 6.275000e+01 | 6.400000e+01 | 1.99%
235.69/235.87 c 230s|180000 | 261 | 2162 | 0.0 | 27M| 313 | - | 490 | 74k| 0 | 0 | 4 | 176k| 346 | 6.275000e+01 | 6.400000e+01 | 1.99%
249.88/250.08 c 244s|190000 | 265 | 2162 | 0.0 | 29M| 313 | - | 490 | 79k| 0 | 0 | 4 | 187k| 346 | 6.275000e+01 | 6.400000e+01 | 1.99%
268.38/268.59 c 263s|200000 | 260 | 2162 | 0.0 | 31M| 313 | - | 490 | 85k| 0 | 0 | 4 | 200k| 346 | 6.275000e+01 | 6.400000e+01 | 1.99%
284.27/284.41 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
284.27/284.41 c 278s|210000 | 267 | 2162 | 0.0 | 33M| 313 | - | 490 | 91k| 0 | 0 | 4 | 212k| 346 | 6.275000e+01 | 6.400000e+01 | 1.99%
299.26/299.46 c 293s|220000 | 270 | 2162 | 0.0 | 35M| 313 | - | 490 | 97k| 0 | 0 | 4 | 224k| 346 | 6.275000e+01 | 6.400000e+01 | 1.99%
314.47/314.66 c 308s|230000 | 266 | 2162 | 0.0 | 36M| 313 | - | 490 | 102k| 0 | 0 | 4 | 235k| 346 | 6.275000e+01 | 6.400000e+01 | 1.99%
328.76/328.92 c 322s|240000 | 263 | 2162 | 0.0 | 38M| 313 | - | 490 | 108k| 0 | 0 | 4 | 246k| 346 | 6.275000e+01 | 6.400000e+01 | 1.99%
342.65/342.83 c 335s|250000 | 264 | 2162 | 0.0 | 40M| 313 | - | 490 | 114k| 0 | 0 | 4 | 257k| 346 | 6.275000e+01 | 6.400000e+01 | 1.99%
355.34/355.57 c 348s|260000 | 264 | 2162 | 0.0 | 42M| 313 | - | 490 | 119k| 0 | 0 | 4 | 269k| 346 | 6.275000e+01 | 6.400000e+01 | 1.99%
367.74/367.98 c 360s|270000 | 260 | 2162 | 0.0 | 43M| 313 | - | 490 | 123k| 0 | 0 | 4 | 279k| 346 | 6.275000e+01 | 6.400000e+01 | 1.99%
380.93/381.18 c 373s|280000 | 264 | 2162 | 0.0 | 45M| 313 | - | 490 | 129k| 0 | 0 | 4 | 290k| 346 | 6.275000e+01 | 6.400000e+01 | 1.99%
394.93/395.12 c 386s|290000 | 264 | 2162 | 0.0 | 46M| 313 | - | 490 | 135k| 0 | 0 | 4 | 302k| 346 | 6.275000e+01 | 6.400000e+01 | 1.99%
408.22/408.43 c 399s|300000 | 262 | 2162 | 0.0 | 49M| 313 | - | 490 | 140k| 0 | 0 | 4 | 314k| 346 | 6.275000e+01 | 6.400000e+01 | 1.99%
420.72/420.95 c 412s|310000 | 257 | 2162 | 0.0 | 50M| 313 | - | 490 | 146k| 0 | 0 | 4 | 325k| 346 | 6.275000e+01 | 6.400000e+01 | 1.99%
435.61/435.88 c 426s|320000 | 265 | 2162 | 0.0 | 52M| 313 | - | 490 | 152k| 0 | 0 | 4 | 337k| 346 | 6.275000e+01 | 6.400000e+01 | 1.99%
450.40/450.66 c 441s|330000 | 259 | 2162 | 0.0 | 53M| 313 | - | 490 | 157k| 0 | 0 | 4 | 349k| 346 | 6.275000e+01 | 6.400000e+01 | 1.99%
465.00/465.29 c 455s|340000 | 267 | 2162 | 0.0 | 56M| 313 | - | 490 | 163k| 0 | 0 | 4 | 361k| 346 | 6.275000e+01 | 6.400000e+01 | 1.99%
478.49/478.71 c 468s|350000 | 262 | 2162 | 0.0 | 57M| 313 | - | 490 | 168k| 0 | 0 | 4 | 372k| 346 | 6.275000e+01 | 6.400000e+01 | 1.99%
492.59/492.85 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
492.59/492.85 c 482s|360000 | 261 | 2162 | 0.0 | 59M| 313 | - | 490 | 174k| 0 | 0 | 4 | 383k| 346 | 6.275000e+01 | 6.400000e+01 | 1.99%
505.79/506.03 c 495s|370000 | 259 | 2162 | 0.0 | 61M| 313 | - | 490 | 179k| 0 | 0 | 4 | 394k| 346 | 6.275000e+01 | 6.400000e+01 | 1.99%
517.88/518.18 c 507s|380000 | 273 | 2162 | 0.0 | 62M| 313 | - | 490 | 184k| 0 | 0 | 4 | 404k| 346 | 6.275000e+01 | 6.400000e+01 | 1.99%
531.87/532.12 c 520s|390000 | 265 | 2162 | 0.0 | 63M| 313 | - | 490 | 189k| 0 | 0 | 4 | 415k| 346 | 6.275000e+01 | 6.400000e+01 | 1.99%
545.65/545.92 c 534s|400000 | 261 | 2162 | 0.0 | 65M| 313 | - | 490 | 194k| 0 | 0 | 4 | 426k| 346 | 6.275000e+01 | 6.400000e+01 | 1.99%
559.15/559.47 c 547s|410000 | 267 | 2162 | 0.0 | 67M| 313 | - | 490 | 199k| 0 | 0 | 4 | 437k| 346 | 6.275000e+01 | 6.400000e+01 | 1.99%
574.64/574.97 c 562s|420000 | 266 | 2162 | 0.0 | 69M| 313 | - | 490 | 206k| 0 | 0 | 4 | 450k| 346 | 6.275000e+01 | 6.400000e+01 | 1.99%
587.73/588.02 c 575s|430000 | 265 | 2162 | 0.0 | 71M| 313 | - | 490 | 211k| 0 | 0 | 4 | 461k| 346 | 6.275000e+01 | 6.400000e+01 | 1.99%
603.13/603.43 c 590s|440000 | 258 | 2162 | 0.0 | 72M| 313 | - | 490 | 217k| 0 | 0 | 4 | 472k| 346 | 6.275000e+01 | 6.400000e+01 | 1.99%
618.62/618.95 c 605s|450000 | 266 | 2162 | 0.0 | 74M| 313 | - | 490 | 223k| 0 | 0 | 4 | 484k| 346 | 6.275000e+01 | 6.400000e+01 | 1.99%
634.92/635.29 c 621s|460000 | 260 | 2162 | 0.0 | 76M| 313 | - | 490 | 229k| 0 | 0 | 4 | 496k| 346 | 6.275000e+01 | 6.400000e+01 | 1.99%
648.31/648.60 c 634s|470000 | 259 | 2162 | 0.0 | 78M| 313 | - | 490 | 234k| 0 | 0 | 4 | 507k| 346 | 6.275000e+01 | 6.400000e+01 | 1.99%
663.50/663.83 c 649s|480000 | 266 | 2162 | 0.0 | 80M| 313 | - | 490 | 240k| 0 | 0 | 4 | 519k| 346 | 6.275000e+01 | 6.400000e+01 | 1.99%
677.40/677.76 c 663s|490000 | 259 | 2162 | 0.0 | 82M| 313 | - | 490 | 246k| 0 | 0 | 4 | 530k| 346 | 6.275000e+01 | 6.400000e+01 | 1.99%
693.39/693.77 c 679s|500000 | 260 | 2162 | 0.0 | 83M| 313 | - | 490 | 251k| 0 | 0 | 4 | 542k| 346 | 6.275000e+01 | 6.400000e+01 | 1.99%
707.39/707.79 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
707.39/707.79 c 692s|510000 | 270 | 2162 | 0.0 | 85M| 313 | - | 490 | 257k| 0 | 0 | 4 | 553k| 346 | 6.275000e+01 | 6.400000e+01 | 1.99%
721.69/722.06 c 706s|520000 | 260 | 2162 | 0.0 | 87M| 313 | - | 490 | 263k| 0 | 0 | 4 | 565k| 346 | 6.275000e+01 | 6.400000e+01 | 1.99%
736.48/736.81 c 721s|530000 | 258 | 2162 | 0.0 | 88M| 313 | - | 490 | 269k| 0 | 0 | 4 | 576k| 346 | 6.275000e+01 | 6.400000e+01 | 1.99%
753.57/753.96 c 738s|540000 | 263 | 2162 | 0.0 | 90M| 313 | - | 490 | 275k| 0 | 0 | 4 | 588k| 346 | 6.275000e+01 | 6.400000e+01 | 1.99%
767.56/767.99 c 751s|550000 | 271 | 2162 | 0.0 | 98M| 313 | - | 490 | 280k| 0 | 0 | 4 | 600k| 346 | 6.275000e+01 | 6.400000e+01 | 1.99%
788.65/789.02 c 772s|560000 | 262 | 2162 | 0.0 | 98M| 313 | - | 490 | 280k| 0 | 0 | 4 | 605k| 346 | 6.275000e+01 | 6.400000e+01 | 1.99%
818.45/818.87 c 802s|570000 | 256 | 2162 | 0.0 | 98M| 313 | - | 490 | 280k| 0 | 0 | 4 | 612k| 346 | 6.275000e+01 | 6.400000e+01 | 1.99%
839.04/839.48 c 822s|580000 | 258 | 2162 | 0.0 | 98M| 313 | - | 490 | 280k| 0 | 0 | 4 | 618k| 346 | 6.275000e+01 | 6.400000e+01 | 1.99%
857.13/857.55 c 840s|590000 | 265 | 2162 | 0.0 | 98M| 313 | - | 490 | 280k| 0 | 0 | 4 | 624k| 346 | 6.275000e+01 | 6.400000e+01 | 1.99%
870.22/870.64 c 853s|600000 | 260 | 2162 | 0.0 | 98M| 313 | - | 490 | 280k| 0 | 0 | 4 | 630k| 346 | 6.275000e+01 | 6.400000e+01 | 1.99%
888.12/888.59 c 870s|610000 | 264 | 2162 | 0.0 | 99M| 313 | - | 490 | 280k| 0 | 0 | 4 | 636k| 346 | 6.275000e+01 | 6.400000e+01 | 1.99%
906.02/906.48 c 888s|620000 | 259 | 2162 | 0.0 | 98M| 313 | - | 490 | 280k| 0 | 0 | 4 | 642k| 346 | 6.275000e+01 | 6.400000e+01 | 1.99%
921.90/922.37 c 903s|630000 | 258 | 2162 | 0.0 | 98M| 313 | - | 490 | 280k| 0 | 0 | 4 | 649k| 346 | 6.275000e+01 | 6.400000e+01 | 1.99%
940.11/940.59 c 921s|640000 | 262 | 2162 | 0.0 | 98M| 313 | - | 490 | 280k| 0 | 0 | 4 | 654k| 346 | 6.275000e+01 | 6.400000e+01 | 1.99%
959.20/959.64 c 940s|650000 | 263 | 2162 | 0.0 | 98M| 313 | - | 490 | 280k| 0 | 0 | 4 | 660k| 346 | 6.275000e+01 | 6.400000e+01 | 1.99%
977.28/977.73 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
977.28/977.73 c 958s|660000 | 259 | 2162 | 0.0 | 98M| 313 | - | 490 | 280k| 0 | 0 | 4 | 666k| 346 | 6.275000e+01 | 6.400000e+01 | 1.99%
997.58/998.09 c 978s|670000 | 264 | 2162 | 0.0 | 98M| 313 | - | 490 | 280k| 0 | 0 | 4 | 672k| 346 | 6.275000e+01 | 6.400000e+01 | 1.99%
1021.37/1021.86 c 1001s|680000 | 266 | 2162 | 0.0 | 98M| 313 | - | 490 | 280k| 0 | 0 | 4 | 677k| 346 | 6.275000e+01 | 6.400000e+01 | 1.99%
1039.56/1040.06 c 1019s|690000 | 260 | 2162 | 0.0 | 98M| 313 | - | 490 | 280k| 0 | 0 | 4 | 683k| 346 | 6.275000e+01 | 6.400000e+01 | 1.99%
1054.06/1054.57 c 1033s|700000 | 262 | 2162 | 0.0 | 98M| 313 | - | 490 | 280k| 0 | 0 | 4 | 689k| 346 | 6.275000e+01 | 6.400000e+01 | 1.99%
1068.25/1068.76 c 1047s|710000 | 264 | 2162 | 0.0 | 98M| 313 | - | 490 | 280k| 0 | 0 | 4 | 695k| 346 | 6.275000e+01 | 6.400000e+01 | 1.99%
1082.15/1082.67 c 1061s|720000 | 261 | 2162 | 0.0 | 98M| 313 | - | 490 | 280k| 0 | 0 | 4 | 701k| 346 | 6.275000e+01 | 6.400000e+01 | 1.99%
1095.44/1095.94 c 1074s|730000 | 260 | 2162 | 0.0 | 98M| 313 | - | 490 | 280k| 0 | 0 | 4 | 707k| 346 | 6.275000e+01 | 6.400000e+01 | 1.99%
1118.43/1118.91 c 1096s|740000 | 263 | 2162 | 0.0 | 98M| 313 | - | 490 | 280k| 0 | 0 | 4 | 713k| 346 | 6.275000e+01 | 6.400000e+01 | 1.99%
1147.12/1147.67 c 1125s|750000 | 264 | 2162 | 0.0 | 98M| 313 | - | 490 | 280k| 0 | 0 | 4 | 719k| 346 | 6.275000e+01 | 6.400000e+01 | 1.99%
1166.31/1166.84 c 1144s|760000 | 258 | 2162 | 0.0 | 98M| 313 | - | 490 | 280k| 0 | 0 | 4 | 725k| 346 | 6.275000e+01 | 6.400000e+01 | 1.99%
1185.22/1185.74 c 1162s|770000 | 261 | 2162 | 0.0 | 98M| 313 | - | 490 | 280k| 0 | 0 | 4 | 731k| 346 | 6.275000e+01 | 6.400000e+01 | 1.99%
1203.50/1204.08 c 1180s|780000 | 258 | 2162 | 0.0 | 98M| 313 | - | 490 | 280k| 0 | 0 | 4 | 736k| 346 | 6.275000e+01 | 6.400000e+01 | 1.99%
1224.90/1225.43 c 1201s|790000 | 257 | 2162 | 0.0 | 98M| 313 | - | 490 | 280k| 0 | 0 | 4 | 742k| 346 | 6.275000e+01 | 6.400000e+01 | 1.99%
1262.29/1262.89 c 1239s|800000 | 259 | 2162 | 0.0 | 98M| 313 | - | 490 | 280k| 0 | 0 | 4 | 748k| 346 | 6.275000e+01 | 6.400000e+01 | 1.99%
1289.97/1290.51 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1289.97/1290.51 c 1266s|810000 | 266 | 2162 | 0.0 | 18M| 313 | - | 490 | 773 | 0 | 0 | 4 | 754k| 346 | 6.275000e+01 | 6.400000e+01 | 1.99%
1305.66/1306.21 c 1281s|820000 | 263 | 2162 | 0.0 | 18M| 313 | - | 490 | 773 | 0 | 0 | 4 | 760k| 346 | 6.275000e+01 | 6.400000e+01 | 1.99%
1323.26/1323.82 c 1299s|830000 | 254 | 2162 | 0.0 | 18M| 313 | - | 490 | 773 | 0 | 0 | 4 | 766k| 346 | 6.275000e+01 | 6.400000e+01 | 1.99%
1339.76/1340.31 c 1315s|840000 | 261 | 2162 | 0.0 | 18M| 313 | - | 490 | 773 | 0 | 0 | 4 | 772k| 346 | 6.275000e+01 | 6.400000e+01 | 1.99%
1355.45/1356.07 c 1330s|850000 | 264 | 2162 | 0.0 | 18M| 313 | - | 490 | 773 | 0 | 0 | 4 | 778k| 346 | 6.275000e+01 | 6.400000e+01 | 1.99%
1369.95/1370.51 c 1344s|860000 | 259 | 2162 | 0.0 | 18M| 313 | - | 490 | 773 | 0 | 0 | 4 | 784k| 346 | 6.275000e+01 | 6.400000e+01 | 1.99%
1385.23/1385.80 c 1359s|870000 | 263 | 2162 | 0.0 | 18M| 313 | - | 490 | 773 | 0 | 0 | 4 | 789k| 346 | 6.275000e+01 | 6.400000e+01 | 1.99%
1401.62/1402.29 c 1376s|880000 | 256 | 2162 | 0.0 | 18M| 313 | - | 490 | 773 | 0 | 0 | 4 | 795k| 346 | 6.275000e+01 | 6.400000e+01 | 1.99%
1416.82/1417.43 c 1390s|890000 | 265 | 2162 | 0.0 | 18M| 313 | - | 490 | 773 | 0 | 0 | 4 | 801k| 346 | 6.275000e+01 | 6.400000e+01 | 1.99%
1432.22/1432.89 c 1406s|900000 | 264 | 2162 | 0.0 | 18M| 313 | - | 490 | 773 | 0 | 0 | 4 | 807k| 346 | 6.275000e+01 | 6.400000e+01 | 1.99%
1445.92/1446.56 c 1419s|910000 | 266 | 2162 | 0.0 | 18M| 313 | - | 490 | 773 | 0 | 0 | 4 | 812k| 346 | 6.275000e+01 | 6.400000e+01 | 1.99%
1461.71/1462.33 c 1434s|920000 | 264 | 2162 | 0.0 | 18M| 313 | - | 490 | 773 | 0 | 0 | 4 | 818k| 346 | 6.275000e+01 | 6.400000e+01 | 1.99%
1477.50/1478.12 c 1450s|930000 | 262 | 2162 | 0.0 | 18M| 313 | - | 490 | 773 | 0 | 0 | 4 | 825k| 346 | 6.275000e+01 | 6.400000e+01 | 1.99%
1494.59/1495.26 c 1467s|940000 | 260 | 2162 | 0.0 | 18M| 313 | - | 490 | 773 | 0 | 0 | 4 | 831k| 346 | 6.275000e+01 | 6.400000e+01 | 1.99%
1512.69/1513.36 c 1485s|950000 | 261 | 2162 | 0.0 | 18M| 313 | - | 490 | 773 | 0 | 0 | 4 | 838k| 346 | 6.275000e+01 | 6.400000e+01 | 1.99%
1529.69/1530.32 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1529.69/1530.32 c 1501s|960000 | 261 | 2162 | 0.0 | 18M| 313 | - | 490 | 774 | 0 | 0 | 4 | 844k| 346 | 6.275000e+01 | 6.400000e+01 | 1.99%
1543.98/1544.69 c 1515s|970000 | 258 | 2162 | 0.0 | 18M| 313 | - | 490 | 773 | 0 | 0 | 4 | 850k| 346 | 6.275000e+01 | 6.400000e+01 | 1.99%
1558.37/1559.01 c 1529s|980000 | 259 | 2162 | 0.0 | 18M| 313 | - | 490 | 773 | 0 | 0 | 4 | 856k| 346 | 6.275000e+01 | 6.400000e+01 | 1.99%
1572.96/1573.63 c 1544s|990000 | 263 | 2162 | 0.0 | 18M| 313 | - | 490 | 773 | 0 | 0 | 4 | 861k| 346 | 6.275000e+01 | 6.400000e+01 | 1.99%
1590.96/1591.62 c 1561s| 1000k| 261 | 2162 | 0.0 | 18M| 313 | - | 490 | 773 | 0 | 0 | 4 | 867k| 346 | 6.275000e+01 | 6.400000e+01 | 1.99%
1609.35/1610.07 c 1580s| 1010k| 260 | 2162 | 0.0 | 18M| 313 | - | 490 | 773 | 0 | 0 | 4 | 874k| 346 | 6.275000e+01 | 6.400000e+01 | 1.99%
1627.14/1627.82 c 1597s| 1020k| 260 | 2162 | 0.0 | 18M| 313 | - | 490 | 773 | 0 | 0 | 4 | 880k| 346 | 6.275000e+01 | 6.400000e+01 | 1.99%
1644.54/1645.23 c 1614s| 1030k| 262 | 2162 | 0.0 | 18M| 313 | - | 490 | 773 | 0 | 0 | 4 | 886k| 346 | 6.275000e+01 | 6.400000e+01 | 1.99%
1661.14/1661.82 c 1630s| 1040k| 260 | 2162 | 0.0 | 18M| 313 | - | 490 | 773 | 0 | 0 | 4 | 892k| 346 | 6.275000e+01 | 6.400000e+01 | 1.99%
1676.73/1677.43 c 1646s| 1050k| 263 | 2162 | 0.0 | 18M| 313 | - | 490 | 773 | 0 | 0 | 4 | 898k| 346 | 6.275000e+01 | 6.400000e+01 | 1.99%
1695.42/1696.13 c 1664s| 1060k| 265 | 2162 | 0.0 | 18M| 313 | - | 490 | 773 | 0 | 0 | 4 | 904k| 346 | 6.275000e+01 | 6.400000e+01 | 1.99%
1711.92/1712.60 c 1680s| 1070k| 259 | 2162 | 0.0 | 18M| 313 | - | 490 | 773 | 0 | 0 | 4 | 910k| 346 | 6.275000e+01 | 6.400000e+01 | 1.99%
1728.42/1729.19 c 1696s| 1080k| 264 | 2162 | 0.0 | 18M| 313 | - | 490 | 773 | 0 | 0 | 4 | 916k| 346 | 6.275000e+01 | 6.400000e+01 | 1.99%
1746.21/1746.99 c 1714s| 1090k| 262 | 2162 | 0.0 | 18M| 313 | - | 490 | 773 | 0 | 0 | 4 | 923k| 346 | 6.275000e+01 | 6.400000e+01 | 1.99%
1763.40/1764.15 c 1731s| 1100k| 258 | 2162 | 0.0 | 18M| 313 | - | 490 | 773 | 0 | 0 | 4 | 929k| 346 | 6.275000e+01 | 6.400000e+01 | 1.99%
1779.49/1780.25 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1779.49/1780.25 c 1747s| 1110k| 255 | 2162 | 0.0 | 18M| 313 | - | 490 | 773 | 0 | 0 | 4 | 935k| 346 | 6.275000e+01 | 6.400000e+01 | 1.99%
1795.49/1796.23 c 1762s| 1120k| 263 | 2162 | 0.0 | 18M| 313 | - | 490 | 775 | 0 | 0 | 4 | 940k| 346 | 6.275000e+01 | 6.400000e+01 | 1.99%
1800.09/1800.80 c pressed CTRL-C 1 times (5 times for forcing termination)
1800.09/1800.80 c
1800.09/1800.80 c SCIP Status : solving was interrupted [user interrupt]
1800.09/1800.80 c Solving Time (sec) : 1766.74
1800.09/1800.80 c Solving Nodes : 1122866 (total of 1122868 nodes in 3 runs)
1800.09/1800.80 c Primal Bound : +6.40000000000000e+01 (6 solutions)
1800.09/1800.80 c Dual Bound : +6.27500000000000e+01
1800.09/1800.80 c Gap : 1.99 %
1800.09/1800.81 s SATISFIABLE
1800.09/1800.81 v -x756 -x755 -x754 -x753 x752 -x751 x750 -x749 -x748 -x747 -x746 -x745 x744 -x743 -x742 -x741 -x740 -x739 -x738 -x737 -x736 -x735
1800.09/1800.81 v -x734 -x733 -x732 -x731 -x730 x729 -x728 -x727 -x726 -x725 -x724 -x723 x722 -x721 -x720 -x719 -x718 -x717 x716 -x715 -x714
1800.09/1800.81 v -x713 -x712 -x711 -x710 x709 -x708 -x707 -x706 -x705 -x704 x703 -x702 -x701 -x700 x699 -x698 x697 -x696 -x695 -x694 -x693 -x692
1800.09/1800.81 v -x691 -x690 -x689 -x688 -x687 -x686 x685 -x684 -x683 -x682 -x681 x680 -x679 -x678 -x677 -x676 x675 -x674 -x673 -x672 -x671
1800.09/1800.81 v -x670 -x669 -x668 -x667 -x666 x665 -x664 -x663 x662 -x661 -x660 -x659 -x658 -x657 -x656 -x655 -x654 -x653 -x652 -x651 -x650
1800.09/1800.81 v -x649 -x648 -x647 -x646 -x645 x644 -x643 -x642 -x641 -x640 -x639 -x638 -x637 -x636 -x635 -x634 -x633 -x632 -x631 -x630 -x629
1800.09/1800.81 v x628 -x627 -x626 -x625 -x624 -x623 x622 -x621 -x620 -x619 -x618 -x617 -x616 -x615 x614 -x613 -x612 -x611 -x610 -x609 -x608 x607
1800.09/1800.81 v -x606 -x605 -x604 -x603 -x602 -x601 -x600 -x599 -x598 -x597 -x596 -x595 -x594 -x593 -x592 -x591 -x590 -x589 -x588 -x587 -x586
1800.09/1800.81 v -x585 -x584 -x583 -x582 -x581 -x580 -x579 x578 x577 -x576 -x575 -x574 -x573 -x572 -x571 -x570 -x569 -x568 -x567 -x566 -x565
1800.09/1800.81 v -x564 -x563 -x562 -x561 -x560 -x559 -x558 -x557 -x556 -x555 -x554 -x553 -x552 -x551 -x550 -x549 -x548 -x547 -x546 -x545 -x544
1800.09/1800.81 v -x543 x542 -x541 -x540 -x539 -x538 -x537 -x536 -x535 -x534 -x533 -x532 x531 x530 -x529 -x528 -x527 -x526 -x525 -x524 x523
1800.09/1800.81 v -x522 -x521 -x520 -x519 -x518 -x517 -x516 x515 x514 -x513 -x512 -x511 -x510 -x509 -x508 -x507 -x506 -x505 -x504 -x503 -x502
1800.09/1800.81 v -x501 -x500 -x499 -x498 -x497 -x496 -x495 -x494 -x493 -x492 -x491 -x490 -x489 -x488 -x487 -x486 -x485 -x484 -x483 -x482 -x481
1800.09/1800.81 v -x480 -x479 -x478 -x477 -x476 -x475 -x474 -x473 -x472 -x471 -x470 -x469 -x468 -x467 -x466 -x465 -x464 x463 -x462 x461 -x460
1800.09/1800.81 v -x459 -x458 -x457 -x456 -x455 -x454 -x453 -x452 -x451 -x450 -x449 -x448 -x447 -x446 x445 -x444 -x443 -x442 -x441 -x440 -x439
1800.09/1800.81 v -x438 -x437 -x436 -x435 -x434 -x433 -x432 -x431 -x430 -x429 -x428 -x427 -x426 -x425 -x424 -x423 -x422 -x421 x420 -x419 x418 -x417
1800.09/1800.81 v -x416 -x415 -x414 -x413 -x412 -x411 -x410 -x409 -x408 -x407 x406 -x405 -x404 -x403 -x402 x401 -x400 -x399 -x398 -x397 -x396
1800.09/1800.81 v -x395 -x394 -x393 -x392 x391 -x390 -x389 -x388 -x387 -x386 -x385 -x384 -x383 -x382 -x381 -x380 -x379 -x378 -x377 -x376 -x375
1800.09/1800.81 v -x374 -x373 -x372 -x371 -x370 -x369 -x368 -x367 -x366 -x365 -x364 -x363 -x362 -x361 -x360 -x359 -x358 -x357 -x356 x355 -x354
1800.09/1800.81 v -x353 -x352 -x351 -x350 -x349 -x348 -x347 x346 -x345 -x344 -x343 -x342 -x341 -x340 -x339 -x338 -x337 -x336 -x335 x334 -x333
1800.09/1800.81 v -x332 -x331 -x330 x329 -x328 -x327 -x326 -x325 -x324 -x323 -x322 -x321 -x320 -x319 -x318 -x317 -x316 -x315 -x314 -x313 -x312
1800.09/1800.81 v -x311 -x310 -x309 -x308 -x307 -x306 -x305 -x304 -x303 -x302 -x301 -x300 -x299 -x298 -x297 -x296 -x295 -x294 -x293 -x292 -x291
1800.09/1800.81 v -x290 -x289 -x288 -x287 -x286 -x285 -x284 -x283 -x282 -x281 -x280 -x279 -x278 -x277 -x276 -x275 -x274 -x273 -x272 -x271 x270
1800.09/1800.81 v -x269 -x268 -x267 -x266 -x265 -x264 -x263 -x262 x261 -x260 -x259 -x258 -x257 -x256 x255 -x254 -x253 -x252 -x251 -x250 -x249
1800.09/1800.81 v -x248 x247 -x246 -x245 -x244 -x243 -x242 -x241 -x240 -x239 -x238 -x237 x236 -x235 -x234 -x233 -x232 -x231 -x230 -x229 -x228
1800.09/1800.81 v -x227 -x226 -x225 x224 -x223 -x222 x221 -x220 -x219 -x218 -x217 -x216 -x215 -x214 -x213 -x212 -x211 -x210 -x209 -x208 -x207
1800.09/1800.81 v -x206 -x205 -x204 x203 -x202 -x201 -x200 -x199 -x198 -x197 -x196 -x195 -x194 -x193 -x192 -x191 -x190 -x189 -x188 -x187 -x186
1800.09/1800.81 v -x185 -x184 -x183 -x182 -x181 -x180 -x179 -x178 -x177 -x176 x175 -x174 -x173 -x172 x171 -x170 -x169 -x168 -x167 -x166 -x165
1800.09/1800.81 v x164 -x163 x162 -x161 -x160 -x159 -x158 -x157 -x156 -x155 -x154 x153 -x152 -x151 -x150 x149 x148 -x147 x146 -x145 -x144 -x143
1800.09/1800.81 v -x142 -x141 -x140 -x139 -x138 -x137 -x136 x135 -x134 -x133 -x132 -x131 -x130 -x129 -x128 -x127 -x126 -x125 x124 -x123 -x122
1800.09/1800.81 v -x121 x120 -x119 -x118 -x117 -x116 -x115 -x114 x113 -x112 -x111 -x110 -x109 -x108 -x107 -x106 -x105 -x104 -x103 -x102 -x101 -x100
1800.09/1800.81 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
1800.09/1800.81 v -x75 -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
1800.09/1800.81 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
1800.09/1800.81 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
1800.09/1800.81 c SCIP Status : solving was interrupted [user interrupt]
1800.09/1800.81 c Solving Time : 1766.74
1800.09/1800.81 c Original Problem :
1800.09/1800.81 c Problem name : HOME/instance-2666220-1276595528.opb
1800.09/1800.81 c Variables : 756 (756 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.09/1800.81 c Constraints : 1853 initial, 1853 maximal
1800.09/1800.81 c Presolved Problem :
1800.09/1800.81 c Problem name : t_HOME/instance-2666220-1276595528.opb
1800.09/1800.81 c Variables : 490 (490 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.09/1800.81 c Constraints : 773 initial, 280951 maximal
1800.09/1800.81 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs
1800.09/1800.81 c trivial : 0.01 245 0 0 0 0 0 0 0
1800.09/1800.81 c dualfix : 0.00 5 0 0 0 0 0 0 0
1800.09/1800.81 c boundshift : 0.00 0 0 0 0 0 0 0 0
1800.09/1800.81 c inttobinary : 0.00 0 0 0 0 0 0 0 0
1800.09/1800.81 c implics : 0.00 0 0 0 0 0 0 0 0
1800.09/1800.81 c probing : 0.01 0 0 0 0 0 0 0 0
1800.09/1800.81 c knapsack : 0.04 0 0 0 0 0 0 0 0
1800.09/1800.81 c linear : 0.07 15 1 0 15 0 389 7 0
1800.09/1800.81 c logicor : 0.12 0 0 0 0 0 475 0 0
1800.09/1800.81 c root node : - 260 - - 260 - - - -
1800.09/1800.81 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children
1800.09/1800.81 c integral : 0 0 0 23 0 0 59 0 0 6
1800.09/1800.81 c knapsack : 15 2 4038688 0 0 73358 31232 0 0 0
1800.09/1800.81 c logicor : 758+ 20 2352279 0 0 435817 4655153 0 0 0
1800.09/1800.81 c countsols : 0 0 0 0 0 0 0 0 0 0
1800.09/1800.81 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS
1800.09/1800.81 c integral : 6.59 0.00 0.00 6.59 0.00
1800.09/1800.81 c knapsack : 1103.27 0.19 1103.08 0.00 0.00
1800.09/1800.81 c logicor : 176.82 0.01 176.81 0.00 0.00
1800.09/1800.81 c countsols : 0.00 0.00 0.00 0.00 0.00
1800.09/1800.81 c Propagators : Time Calls Cutoffs DomReds
1800.09/1800.81 c vbounds : 1.98 4 0 0
1800.09/1800.81 c rootredcost : 2.00 0 0 0
1800.09/1800.81 c pseudoobj : 205.58 4200945 162242 21600238
1800.09/1800.81 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1800.09/1800.81 c propagation : 187.26 657283 657283 657283 108.0 291909 15.3 -
1800.09/1800.81 c infeasible LP : 0.00 0 0 0 0.0 0 0.0 0
1800.09/1800.81 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1800.09/1800.81 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1800.09/1800.81 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 -
1800.09/1800.81 c applied globally : - - - 291839 13.9 - - -
1800.09/1800.81 c applied locally : - - - 650652 108.6 - - -
1800.09/1800.81 c Separators : Time Calls Cutoffs DomReds Cuts Conss
1800.09/1800.81 c cut pool : 0.00 0 - - 0 - (maximal pool size: 26)
1800.09/1800.81 c redcost : 0.00 20 0 200 0 0
1800.09/1800.81 c impliedbounds : 0.00 20 0 0 0 0
1800.09/1800.81 c intobj : 0.00 0 0 0 0 0
1800.09/1800.81 c cgmip : 0.00 0 0 0 0 0
1800.09/1800.81 c gomory : 3.92 20 0 0 2997 0
1800.09/1800.81 c strongcg : 3.25 20 0 0 2980 0
1800.09/1800.81 c cmir : 0.16 12 0 0 3 0
1800.09/1800.81 c flowcover : 0.36 12 0 0 7 0
1800.09/1800.81 c clique : 0.00 3 0 0 0 0
1800.09/1800.81 c zerohalf : 0.00 0 0 0 0 0
1800.09/1800.81 c mcf : 0.01 3 0 0 0 0
1800.09/1800.81 c rapidlearning : 0.00 0 0 0 0 0
1800.09/1800.81 c Pricers : Time Calls Vars
1800.09/1800.81 c problem variables: 0.00 0 0
1800.09/1800.81 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
1800.09/1800.81 c relpscost : 6.59 23 0 59 0 0 6
1800.09/1800.81 c pscost : 0.00 0 0 0 0 0 0
1800.09/1800.81 c inference : 27.42 821706 0 0 0 0 1643412
1800.09/1800.81 c mostinf : 0.00 0 0 0 0 0 0
1800.09/1800.81 c leastinf : 0.00 0 0 0 0 0 0
1800.09/1800.81 c fullstrong : 0.00 0 0 0 0 0 0
1800.09/1800.81 c allfullstrong : 0.00 0 0 0 0 0 0
1800.09/1800.81 c random : 0.00 0 0 0 0 0 0
1800.09/1800.81 c Primal Heuristics : Time Calls Found
1800.09/1800.81 c LP solutions : 0.00 - 0
1800.09/1800.81 c pseudo solutions : 0.00 - 0
1800.09/1800.81 c crossover : 0.00 0 0
1800.09/1800.81 c oneopt : 0.70 4 2
1800.09/1800.81 c trivial : 0.00 2 2
1800.09/1800.81 c simplerounding : 0.00 40 0
1800.09/1800.81 c zirounding : 0.00 2 0
1800.09/1800.81 c rounding : 0.02 43 0
1800.09/1800.81 c shifting : 0.01 43 1
1800.09/1800.81 c intshifting : 0.00 0 0
1800.09/1800.81 c twoopt : 0.00 0 0
1800.09/1800.81 c fixandinfer : 0.00 0 0
1800.09/1800.81 c feaspump : 0.00 0 0
1800.09/1800.81 c coefdiving : 0.00 0 0
1800.09/1800.81 c pscostdiving : 0.00 0 0
1800.09/1800.81 c fracdiving : 0.00 0 0
1800.09/1800.81 c veclendiving : 0.00 0 0
1800.09/1800.81 c intdiving : 0.00 0 0
1800.09/1800.81 c actconsdiving : 0.00 0 0
1800.09/1800.81 c objpscostdiving : 0.00 0 0
1800.09/1800.81 c rootsoldiving : 0.00 0 0
1800.09/1800.81 c linesearchdiving : 0.00 0 0
1800.09/1800.81 c guideddiving : 0.00 0 0
1800.09/1800.81 c octane : 0.00 0 0
1800.09/1800.81 c rens : 0.36 1 1
1800.09/1800.81 c rins : 0.00 0 0
1800.09/1800.81 c localbranching : 0.00 0 0
1800.09/1800.81 c mutation : 0.00 0 0
1800.09/1800.81 c dins : 0.00 0 0
1800.09/1800.81 c undercover : 0.00 0 0
1800.09/1800.81 c nlp : 0.49 0 0
1800.09/1800.81 c trysol : 0.36 0 0
1800.09/1800.81 c LP : Time Calls Iterations Iter/call Iter/sec
1800.09/1800.81 c primal LP : 0.00 0 0 0.00 -
1800.09/1800.81 c dual LP : 0.46 43 2162 50.28 4700.00
1800.09/1800.81 c lex dual LP : 0.00 0 0 0.00 -
1800.09/1800.81 c barrier LP : 0.00 0 0 0.00 -
1800.09/1800.81 c diving/probing LP: 0.00 0 0 0.00 -
1800.09/1800.81 c strong branching : 6.59 346 33174 95.88 5033.99
1800.09/1800.81 c (at root node) : - 346 33174 95.88 -
1800.09/1800.81 c conflict analysis: 0.00 0 0 0.00 -
1800.09/1800.81 c B&B Tree :
1800.09/1800.81 c number of runs : 3
1800.09/1800.81 c nodes : 1122866
1800.09/1800.81 c nodes (total) : 1122868
1800.09/1800.81 c nodes left : 264
1800.09/1800.81 c max depth : 313
1800.09/1800.81 c max depth (total): 313
1800.09/1800.81 c backtracks : 412352 (36.7%)
1800.09/1800.81 c delayed cutoffs : 520285
1800.09/1800.81 c repropagations : 1445488 (15669735 domain reductions, 370258 cutoffs)
1800.09/1800.81 c avg switch length: 3.49
1800.09/1800.81 c switching time : 119.89
1800.09/1800.81 c Solution :
1800.09/1800.81 c Solutions found : 6 (5 improvements)
1800.09/1800.81 c First Solution : +7.56000000000000e+02 (in run 1, after 0 nodes, 0.01 seconds, depth 0, found by <trivial>)
1800.09/1800.81 c Primal Bound : +6.40000000000000e+01 (in run 1, after 1 nodes, 7.76 seconds, depth 0, found by <rens>)
1800.09/1800.81 c Dual Bound : +6.27500000000000e+01
1800.09/1800.81 c Gap : 1.99 %
1800.09/1800.81 c Root Dual Bound : +6.27500000000000e+01
1800.09/1800.81 c Root Iterations : 2162
1800.09/1800.84 c Time complete: 1800.13.