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-2666079-1276426032.opb>
0.29/0.30 c original problem has 3862 variables (3862 bin, 0 int, 0 impl, 0 cont) and 16399 constraints
0.29/0.30 c problem read
0.29/0.30 c presolving settings loaded
0.29/0.39 c presolving:
0.39/0.48 c (round 1) 710 del vars, 720 del conss, 710 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 36384 impls, 0 clqs
0.49/0.51 c (round 2) 753 del vars, 2214 del conss, 738 chg bounds, 4 chg sides, 8 chg coeffs, 0 upgd conss, 43208 impls, 0 clqs
0.49/0.53 c (round 3) 795 del vars, 2450 del conss, 780 chg bounds, 4 chg sides, 8 chg coeffs, 0 upgd conss, 43516 impls, 0 clqs
0.49/0.55 c (round 4) 855 del vars, 2664 del conss, 822 chg bounds, 8 chg sides, 16 chg coeffs, 0 upgd conss, 45724 impls, 0 clqs
0.49/0.57 c (round 5) 924 del vars, 3067 del conss, 872 chg bounds, 8 chg sides, 16 chg coeffs, 0 upgd conss, 46764 impls, 0 clqs
0.49/0.58 c (round 6) 948 del vars, 3190 del conss, 896 chg bounds, 8 chg sides, 16 chg coeffs, 0 upgd conss, 47482 impls, 0 clqs
0.59/0.60 c (round 7) 955 del vars, 3240 del conss, 903 chg bounds, 10 chg sides, 18 chg coeffs, 0 upgd conss, 48506 impls, 0 clqs
0.59/0.62 c (round 8) 961 del vars, 3267 del conss, 909 chg bounds, 13 chg sides, 24 chg coeffs, 0 upgd conss, 48700 impls, 0 clqs
0.59/0.63 c (round 9) 961 del vars, 3270 del conss, 909 chg bounds, 13 chg sides, 24 chg coeffs, 0 upgd conss, 48946 impls, 0 clqs
0.79/0.81 c (round 10) 961 del vars, 6007 del conss, 909 chg bounds, 31 chg sides, 24 chg coeffs, 10332 upgd conss, 48946 impls, 0 clqs
0.79/0.85 c (round 11) 961 del vars, 6007 del conss, 909 chg bounds, 31 chg sides, 24 chg coeffs, 10392 upgd conss, 48946 impls, 0 clqs
0.89/0.91 c (round 12) 1011 del vars, 6007 del conss, 909 chg bounds, 31 chg sides, 24 chg coeffs, 10392 upgd conss, 52844 impls, 0 clqs
0.89/0.92 c (round 13) 1011 del vars, 6105 del conss, 909 chg bounds, 31 chg sides, 24 chg coeffs, 10392 upgd conss, 53250 impls, 0 clqs
0.89/0.98 c (round 14) 1061 del vars, 6105 del conss, 909 chg bounds, 31 chg sides, 24 chg coeffs, 10392 upgd conss, 55464 impls, 0 clqs
1.00/1.00 c (round 15) 1063 del vars, 6130 del conss, 909 chg bounds, 31 chg sides, 24 chg coeffs, 10392 upgd conss, 55690 impls, 0 clqs
1.00/1.04 c (round 16) 1063 del vars, 6137 del conss, 909 chg bounds, 31 chg sides, 24 chg coeffs, 10392 upgd conss, 55690 impls, 0 clqs
1.00/1.09 c (round 17) 1114 del vars, 6137 del conss, 909 chg bounds, 31 chg sides, 24 chg coeffs, 10392 upgd conss, 56680 impls, 0 clqs
1.10/1.11 c (round 18) 1118 del vars, 6248 del conss, 910 chg bounds, 31 chg sides, 24 chg coeffs, 10392 upgd conss, 57045 impls, 0 clqs
1.10/1.12 c (round 19) 1119 del vars, 6259 del conss, 910 chg bounds, 31 chg sides, 24 chg coeffs, 10392 upgd conss, 57045 impls, 0 clqs
1.19/1.21 c (round 20) 1171 del vars, 6259 del conss, 910 chg bounds, 31 chg sides, 24 chg coeffs, 10392 upgd conss, 59779 impls, 0 clqs
1.19/1.23 c (round 21) 1174 del vars, 6425 del conss, 910 chg bounds, 31 chg sides, 24 chg coeffs, 10392 upgd conss, 60359 impls, 0 clqs
1.19/1.27 c (round 22) 1174 del vars, 6427 del conss, 910 chg bounds, 31 chg sides, 24 chg coeffs, 10392 upgd conss, 60359 impls, 0 clqs
1.29/1.34 c (round 23) 1226 del vars, 6427 del conss, 910 chg bounds, 31 chg sides, 24 chg coeffs, 10392 upgd conss, 62905 impls, 0 clqs
1.29/1.36 c (round 24) 1229 del vars, 6621 del conss, 910 chg bounds, 31 chg sides, 24 chg coeffs, 10392 upgd conss, 63123 impls, 0 clqs
1.39/1.41 c (round 25) 1279 del vars, 6621 del conss, 910 chg bounds, 31 chg sides, 24 chg coeffs, 10392 upgd conss, 64141 impls, 0 clqs
1.39/1.42 c (round 26) 1279 del vars, 6808 del conss, 910 chg bounds, 31 chg sides, 24 chg coeffs, 10392 upgd conss, 64361 impls, 0 clqs
1.39/1.48 c (round 27) 1329 del vars, 6808 del conss, 910 chg bounds, 31 chg sides, 24 chg coeffs, 10392 upgd conss, 64513 impls, 0 clqs
1.49/1.50 c (round 28) 1329 del vars, 6941 del conss, 910 chg bounds, 31 chg sides, 24 chg coeffs, 10392 upgd conss, 64513 impls, 0 clqs
1.49/1.55 c (round 29) 1379 del vars, 6941 del conss, 910 chg bounds, 31 chg sides, 24 chg coeffs, 10392 upgd conss, 65297 impls, 0 clqs
1.49/1.57 c (round 30) 1379 del vars, 6979 del conss, 910 chg bounds, 31 chg sides, 24 chg coeffs, 10392 upgd conss, 65297 impls, 0 clqs
1.59/1.64 c (round 31) 1429 del vars, 6979 del conss, 910 chg bounds, 31 chg sides, 24 chg coeffs, 10392 upgd conss, 65717 impls, 0 clqs
1.69/1.70 c (round 32) 1479 del vars, 6979 del conss, 910 chg bounds, 31 chg sides, 24 chg coeffs, 10392 upgd conss, 66097 impls, 0 clqs
1.69/1.71 c (round 33) 1479 del vars, 6992 del conss, 910 chg bounds, 31 chg sides, 24 chg coeffs, 10392 upgd conss, 66097 impls, 0 clqs
1.69/1.76 c (round 34) 1479 del vars, 6997 del conss, 910 chg bounds, 31 chg sides, 24 chg coeffs, 10392 upgd conss, 66097 impls, 0 clqs
1.79/1.86 c (round 35) 1529 del vars, 6997 del conss, 910 chg bounds, 31 chg sides, 24 chg coeffs, 10392 upgd conss, 66533 impls, 0 clqs
1.79/1.87 c (round 36) 1529 del vars, 7033 del conss, 910 chg bounds, 31 chg sides, 24 chg coeffs, 10392 upgd conss, 66533 impls, 0 clqs
1.89/1.95 c (round 37) 1579 del vars, 7033 del conss, 910 chg bounds, 31 chg sides, 24 chg coeffs, 10392 upgd conss, 67075 impls, 0 clqs
1.89/1.99 c (round 38) 1579 del vars, 7037 del conss, 910 chg bounds, 31 chg sides, 24 chg coeffs, 10392 upgd conss, 67075 impls, 0 clqs
1.99/2.04 c (round 39) 1629 del vars, 7037 del conss, 910 chg bounds, 31 chg sides, 24 chg coeffs, 10392 upgd conss, 67419 impls, 0 clqs
2.09/2.12 c (1.5s) probing: 1000/2901 (34.5%) - 191 fixings, 474 aggregations, 3498 implications, 0 bound changes
2.09/2.13 c (round 40) 1684 del vars, 7037 del conss, 910 chg bounds, 31 chg sides, 24 chg coeffs, 10392 upgd conss, 68455 impls, 0 clqs
2.09/2.14 c (round 41) 1684 del vars, 7274 del conss, 910 chg bounds, 31 chg sides, 24 chg coeffs, 10392 upgd conss, 68567 impls, 0 clqs
2.09/2.20 c (round 42) 1734 del vars, 7274 del conss, 910 chg bounds, 31 chg sides, 24 chg coeffs, 10392 upgd conss, 68945 impls, 0 clqs
2.20/2.21 c (round 43) 1734 del vars, 7387 del conss, 910 chg bounds, 31 chg sides, 24 chg coeffs, 10392 upgd conss, 68945 impls, 0 clqs
2.20/2.27 c (round 44) 1784 del vars, 7387 del conss, 910 chg bounds, 31 chg sides, 24 chg coeffs, 10392 upgd conss, 69093 impls, 0 clqs
2.29/2.31 c (round 45) 1784 del vars, 7390 del conss, 910 chg bounds, 31 chg sides, 24 chg coeffs, 10392 upgd conss, 69093 impls, 0 clqs
2.39/2.41 c (1.8s) probing: 1349/2901 (46.5%) - 241 fixings, 570 aggregations, 3807 implications, 0 bound changes
2.39/2.41 c (1.8s) probing aborted: 100/100 successive totally useless probings
2.39/2.41 c (round 46) 1785 del vars, 7390 del conss, 910 chg bounds, 31 chg sides, 24 chg coeffs, 10392 upgd conss, 69107 impls, 0 clqs
2.39/2.48 c (1.8s) probing: 1451/2901 (50.0%) - 241 fixings, 570 aggregations, 3811 implications, 0 bound changes
2.39/2.48 c (1.8s) probing aborted: 100/100 successive totally useless probings
2.39/2.48 c presolving (47 rounds):
2.39/2.48 c 1785 deleted vars, 7390 deleted constraints, 910 tightened bounds, 0 added holes, 31 changed sides, 24 changed coefficients
2.39/2.48 c 69117 implications, 0 cliques
2.39/2.48 c presolved problem has 2077 variables (2077 bin, 0 int, 0 impl, 0 cont) and 9009 constraints
2.39/2.48 c 9009 constraints of type <logicor>
2.39/2.48 c transformed objective value is always integral (scale: 1)
2.39/2.48 c Presolving Time: 1.78
2.39/2.48 c - non default parameters ----------------------------------------------------------------------
2.39/2.48 c # SCIP version 1.2.1.2
2.39/2.48 c
2.39/2.48 c # maximal number of intermediate conflict constraints generated in conflict graph (-1: use every intermediate constraint)
2.39/2.48 c # [type: int, range: [-1,2147483647], default: -1]
2.39/2.48 c conflict/interconss = 0
2.39/2.48 c
2.39/2.48 c # should binary conflicts be preferred?
2.39/2.48 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
2.39/2.48 c conflict/preferbinary = TRUE
2.39/2.48 c
2.39/2.48 c # maximum age an unnecessary constraint can reach before it is deleted (0: dynamic, -1: keep all constraints)
2.39/2.48 c # [type: int, range: [-1,2147483647], default: 0]
2.39/2.48 c constraints/agelimit = 1
2.39/2.48 c
2.39/2.48 c # should enforcement of pseudo solution be disabled?
2.39/2.48 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
2.39/2.48 c constraints/disableenfops = TRUE
2.39/2.48 c
2.39/2.48 c # frequency for displaying node information lines
2.39/2.48 c # [type: int, range: [-1,2147483647], default: 100]
2.39/2.48 c display/freq = 10000
2.39/2.48 c
2.39/2.48 c # maximal time in seconds to run
2.39/2.48 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
2.39/2.48 c limits/time = 1799.71
2.39/2.48 c
2.39/2.48 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
2.39/2.48 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
2.39/2.48 c limits/memory = 1620
2.39/2.48 c
2.39/2.48 c # frequency for solving LP at the nodes (-1: never; 0: only root LP)
2.39/2.48 c # [type: int, range: [-1,2147483647], default: 1]
2.39/2.48 c lp/solvefreq = 0
2.39/2.48 c
2.39/2.48 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)
2.39/2.48 c # [type: char, range: {lafpsqd}, default: l]
2.39/2.48 c lp/pricing = a
2.39/2.48 c
2.39/2.48 c # should presolving try to simplify inequalities
2.39/2.48 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
2.39/2.48 c constraints/linear/simplifyinequalities = TRUE
2.39/2.48 c
2.39/2.48 c # should presolving try to simplify knapsacks
2.39/2.48 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
2.39/2.48 c constraints/knapsack/simplifyinequalities = TRUE
2.39/2.48 c
2.39/2.48 c # priority of node selection rule <dfs> in standard mode
2.39/2.48 c # [type: int, range: [-536870912,536870911], default: 0]
2.39/2.48 c nodeselection/dfs/stdpriority = 1000000
2.39/2.48 c
2.39/2.48 c -----------------------------------------------------------------------------------------------
2.39/2.48 c start solving
2.39/2.48 c
3.30/3.33 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
3.30/3.33 c 2.6s| 1 | 0 | 2546 | - | 22M| 0 |1316 |2077 |9009 |2077 |8443 | 0 | 0 | 0 | 1.602146e+03 | -- | Inf
5.50/5.52 c 4.8s| 1 | 0 | 4494 | - | 24M| 0 |1443 |2077 |9009 |2077 |8646 | 203 | 0 | 0 | 1.635208e+03 | -- | Inf
8.19/8.20 c 7.4s| 1 | 0 | 6939 | - | 25M| 0 |1487 |2077 |9009 |2077 |8754 | 311 | 0 | 0 | 1.652031e+03 | -- | Inf
11.69/11.76 c 10.9s| 1 | 0 | 10523 | - | 27M| 0 |1510 |2077 |9009 |2077 |8814 | 371 | 0 | 0 | 1.690033e+03 | -- | Inf
16.69/16.73 c 15.9s| 1 | 0 | 15327 | - | 28M| 0 |1552 |2077 |9009 |2077 |8876 | 433 | 0 | 0 | 1.727170e+03 | -- | Inf
22.09/22.18 c 21.2s| 1 | 0 | 20796 | - | 29M| 0 |1659 |2077 |9009 |2077 |8925 | 482 | 0 | 0 | 1.758495e+03 | -- | Inf
29.08/29.10 c 28.1s| 1 | 0 | 26652 | - | 30M| 0 |1561 |2077 |9009 |2077 |8974 | 531 | 0 | 0 | 1.781625e+03 | -- | Inf
32.88/32.99 c 31.9s| 1 | 0 | 29626 | - | 31M| 0 |1653 |2077 |9009 |2077 |9033 | 590 | 0 | 0 | 1.791937e+03 | -- | Inf
38.78/38.83 c 37.7s| 1 | 0 | 33436 | - | 33M| 0 |1646 |2077 |9009 |2077 |9081 | 638 | 0 | 0 | 1.799813e+03 | -- | Inf
45.58/45.65 c 44.4s| 1 | 0 | 37373 | - | 35M| 0 |1659 |2077 |9009 |2077 |9131 | 688 | 0 | 0 | 1.804613e+03 | -- | Inf
55.38/55.40 c 54.1s| 1 | 0 | 42663 | - | 38M| 0 |1549 |2077 |9009 |2077 |9175 | 732 | 0 | 0 | 1.809194e+03 | -- | Inf
62.07/62.17 c 60.8s| 1 | 0 | 46185 | - | 40M| 0 |1631 |2077 |9009 |2077 |9080 | 760 | 0 | 0 | 1.810047e+03 | -- | Inf
69.07/69.12 c 67.7s| 1 | 0 | 50042 | - | 42M| 0 |1681 |2077 |9009 |2077 |9120 | 800 | 0 | 0 | 1.812231e+03 | -- | Inf
79.67/79.71 c 78.1s| 1 | 0 | 55589 | - | 44M| 0 |1634 |2077 |9009 |2077 |9153 | 833 | 0 | 0 | 1.815461e+03 | -- | Inf
86.56/86.61 c 85.0s| 1 | 0 | 59177 | - | 46M| 0 |1728 |2077 |9009 |2077 |9191 | 871 | 0 | 0 | 1.819099e+03 | -- | Inf
98.56/98.63 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
98.56/98.63 c 96.9s| 1 | 0 | 64165 | - | 47M| 0 |1722 |2077 |9009 |2077 |9222 | 902 | 0 | 0 | 1.821266e+03 | -- | Inf
108.66/108.79 c 107s| 1 | 0 | 67003 | - | 48M| 0 |1732 |2077 |9009 |2077 |9251 | 931 | 0 | 0 | 1.823423e+03 | -- | Inf
130.76/130.85 c 129s| 1 | 0 | 73484 | - | 50M| 0 |1679 |2077 |9009 |2077 |9013 | 957 | 0 | 0 | 1.825221e+03 | -- | Inf
144.45/144.50 c 142s| 1 | 0 | 78952 | - | 51M| 0 |1747 |2077 |9009 |2077 |9041 | 985 | 0 | 0 | 1.827104e+03 | -- | Inf
159.35/159.47 c 157s| 1 | 0 | 85027 | - | 53M| 0 |1714 |2077 |9009 |2077 |9071 |1015 | 0 | 0 | 1.829293e+03 | -- | Inf
179.64/179.72 c 177s| 1 | 0 | 94302 | - | 55M| 0 |1771 |2077 |9009 |2077 |9096 |1040 | 0 | 0 | 1.831720e+03 | -- | Inf
190.93/191.06 c 188s| 1 | 0 | 97737 | - | 55M| 0 |1735 |2077 |9009 |2077 |9112 |1056 | 0 | 0 | 1.832838e+03 | -- | Inf
202.13/202.21 c 200s| 1 | 0 |100983 | - | 56M| 0 |1747 |2077 |9009 |2077 |9123 |1067 | 0 | 0 | 1.833029e+03 | -- | Inf
211.93/212.05 c 209s| 1 | 0 |103197 | - | 56M| 0 |1740 |2077 |9009 |2077 |8956 |1079 | 0 | 0 | 1.833232e+03 | -- | Inf
224.63/224.77 c 222s| 1 | 0 |107139 | - | 56M| 0 |1735 |2077 |9009 |2077 |8972 |1095 | 0 | 0 | 1.833425e+03 | -- | Inf
233.52/233.63 c 231s| 1 | 0 |111074 | - | 56M| 0 |1764 |2077 |9009 |2077 |8993 |1116 | 0 | 0 | 1.835143e+03 | -- | Inf
244.82/244.95 c 242s| 1 | 0 |114382 | - | 56M| 0 |1771 |2077 |9009 |2077 |9016 |1139 | 0 | 0 | 1.836372e+03 | -- | Inf
260.71/260.86 c 258s| 1 | 0 |120911 | - | 56M| 0 |1721 |2077 |9009 |2077 |9036 |1159 | 0 | 0 | 1.838123e+03 | -- | Inf
281.11/281.29 c 278s| 1 | 0 |130096 | - | 56M| 0 |1737 |2077 |9009 |2077 |9054 |1177 | 0 | 0 | 1.839616e+03 | -- | Inf
294.01/294.17 c 291s| 1 | 0 |134918 | - | 56M| 0 |1762 |2077 |9009 |2077 |8940 |1194 | 0 | 0 | 1.840367e+03 | -- | Inf
305.60/305.78 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
305.60/305.78 c 302s| 1 | 0 |140054 | - | 57M| 0 |1767 |2077 |9009 |2077 |8963 |1217 | 0 | 0 | 1.841056e+03 | -- | Inf
316.20/316.37 c 313s| 1 | 0 |144031 | - | 57M| 0 |1783 |2077 |9009 |2077 |8977 |1231 | 0 | 0 | 1.842407e+03 | -- | Inf
333.40/333.53 c 330s| 1 | 0 |151477 | - | 57M| 0 |1718 |2077 |9009 |2077 |8992 |1246 | 0 | 0 | 1.844243e+03 | -- | Inf
344.89/345.07 c 341s| 1 | 0 |156763 | - | 57M| 0 |1761 |2077 |9009 |2077 |9008 |1262 | 0 | 0 | 1.846306e+03 | -- | Inf
356.19/356.31 c 352s| 1 | 0 |161197 | - | 57M| 0 |1763 |2077 |9009 |2077 |9030 |1284 | 0 | 0 | 1.847646e+03 | -- | Inf
369.78/369.94 c 366s| 1 | 0 |166193 | - | 57M| 0 |1741 |2077 |9009 |2077 |8982 |1302 | 0 | 0 | 1.848355e+03 | -- | Inf
384.07/384.27 c 380s| 1 | 0 |171616 | - | 57M| 0 |1736 |2077 |9009 |2077 |8994 |1314 | 0 | 0 | 1.848797e+03 | -- | Inf
394.77/394.96 c 391s| 1 | 0 |175050 | - | 57M| 0 |1736 |2077 |9009 |2077 |9008 |1328 | 0 | 0 | 1.848998e+03 | -- | Inf
406.78/406.93 c 403s| 1 | 0 |179315 | - | 57M| 0 |1746 |2077 |9009 |2077 |9017 |1337 | 0 | 0 | 1.849349e+03 | -- | Inf
416.56/416.80 c 412s| 1 | 0 |182476 | - | 57M| 0 |1744 |2077 |9009 |2077 |9027 |1347 | 0 | 0 | 1.849537e+03 | -- | Inf
428.77/428.94 c 424s| 1 | 0 |185853 | - | 57M| 0 |1731 |2077 |9009 |2077 |9033 |1353 | 0 | 0 | 1.849607e+03 | -- | Inf
437.56/437.74 c 433s| 1 | 0 |188266 | - | 57M| 0 |1718 |2077 |9009 |2077 |8967 |1361 | 0 | 0 | 1.849607e+03 | -- | Inf
447.36/447.54 c 443s| 1 | 0 |191180 | - | 57M| 0 |1703 |2077 |9009 |2077 |8975 |1369 | 0 | 0 | 1.849608e+03 | -- | Inf
459.05/459.21 c 455s| 1 | 0 |194982 | - | 57M| 0 |1720 |2077 |9009 |2077 |8990 |1384 | 0 | 0 | 1.849749e+03 | -- | Inf
471.84/472.05 c 467s| 1 | 0 |200191 | - | 57M| 0 |1726 |2077 |9009 |2077 |9005 |1399 | 0 | 0 | 1.849963e+03 | -- | Inf
480.04/480.20 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
480.04/480.20 c 475s| 1 | 0 |203393 | - | 58M| 0 |1720 |2077 |9009 |2077 |9020 |1414 | 0 | 0 | 1.850517e+03 | -- | Inf
487.24/487.46 c 483s| 1 | 0 |205674 | - | 58M| 0 |1711 |2077 |9009 |2077 |9030 |1424 | 0 | 0 | 1.850599e+03 | -- | Inf
493.03/493.28 c 488s| 1 | 0 |206716 | - | 58M| 0 |1719 |2077 |9009 |2077 |8983 |1433 | 0 | 0 | 1.850689e+03 | -- | Inf
499.24/499.48 c 494s| 1 | 0 |208204 | - | 58M| 0 |1707 |2077 |9009 |2077 |8993 |1443 | 0 | 0 | 1.850734e+03 | -- | Inf
504.74/504.97 c 500s| 1 | 0 |209232 | - | 58M| 0 |1748 |2077 |9009 |2077 |9003 |1453 | 0 | 0 | 1.850768e+03 | -- | Inf
510.43/510.63 c 506s| 1 | 0 |210449 | - | 58M| 0 |1725 |2077 |9009 |2077 |9010 |1460 | 0 | 0 | 1.850822e+03 | -- | Inf
516.63/516.83 c 512s| 1 | 0 |212086 | - | 58M| 0 |1700 |2077 |9009 |2077 |9021 |1471 | 0 | 0 | 1.850995e+03 | -- | Inf
521.83/522.08 c 517s| 1 | 0 |213067 | - | 58M| 0 |1694 |2077 |9009 |2077 |9030 |1480 | 0 | 0 | 1.851014e+03 | -- | Inf
527.22/527.41 c 522s| 1 | 0 |214041 | - | 58M| 0 |1716 |2077 |9009 |2077 |9002 |1487 | 0 | 0 | 1.851156e+03 | -- | Inf
533.33/533.56 c 528s| 1 | 0 |215680 | - | 58M| 0 |1691 |2077 |9009 |2077 |9012 |1497 | 0 | 0 | 1.851674e+03 | -- | Inf
538.52/538.79 c 534s| 1 | 0 |216764 | - | 58M| 0 |1678 |2077 |9009 |2077 |9023 |1508 | 0 | 0 | 1.851799e+03 | -- | Inf
544.72/544.94 c 540s| 1 | 0 |217931 | - | 58M| 0 |1693 |2077 |9009 |2077 |9030 |1515 | 0 | 0 | 1.851836e+03 | -- | Inf
550.82/551.03 c 546s| 1 | 0 |219260 | - | 58M| 0 |1721 |2077 |9009 |2077 |9035 |1520 | 0 | 0 | 1.852128e+03 | -- | Inf
556.82/557.07 c 552s| 1 | 0 |220986 | - | 58M| 0 |1714 |2077 |9009 |2077 |9043 |1528 | 0 | 0 | 1.852336e+03 | -- | Inf
562.72/562.92 c 558s| 1 | 0 |222555 | - | 58M| 0 |1713 |2077 |9009 |2077 |9000 |1538 | 0 | 0 | 1.852471e+03 | -- | Inf
570.51/570.74 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
570.51/570.74 c 565s| 1 | 0 |225181 | - | 58M| 0 |1690 |2077 |9009 |2077 |9013 |1551 | 0 | 0 | 1.853577e+03 | -- | Inf
574.61/574.84 c 569s| 1 | 0 |225613 | - | 58M| 0 |1726 |2077 |9009 |2077 |9029 |1567 | 0 | 0 | 1.853585e+03 | -- | Inf
578.90/579.12 c 574s| 1 | 0 |226192 | - | 58M| 0 |1733 |2077 |9009 |2077 |9038 |1576 | 0 | 0 | 1.853619e+03 | -- | Inf
582.82/583.09 c 578s| 1 | 0 |227479 | - | 58M| 0 |1690 |2077 |9009 |2077 |9049 |1587 | 0 | 0 | 1.854211e+03 | -- | Inf
589.89/590.14 c 585s| 1 | 0 |229743 | - | 58M| 0 |1697 |2077 |9009 |2077 |9061 |1599 | 0 | 0 | 1.854519e+03 | -- | Inf
596.69/596.97 c 591s| 1 | 0 |231744 | - | 58M| 0 |1700 |2077 |9009 |2077 |9033 |1606 | 0 | 0 | 1.854660e+03 | -- | Inf
602.19/602.41 c 597s| 1 | 0 |233964 | - | 58M| 0 |1703 |2077 |9009 |2077 |9041 |1614 | 0 | 0 | 1.854926e+03 | -- | Inf
606.49/606.70 c 601s| 1 | 0 |235448 | - | 58M| 0 |1673 |2077 |9009 |2077 |9052 |1625 | 0 | 0 | 1.855156e+03 | -- | Inf
612.69/612.99 c 607s| 1 | 0 |237414 | - | 58M| 0 |1675 |2077 |9009 |2077 |9064 |1637 | 0 | 0 | 1.855250e+03 | -- | Inf
619.29/619.59 c 614s| 1 | 0 |238443 | - | 58M| 0 |1685 |2077 |9009 |2077 |9069 |1642 | 0 | 0 | 1.855254e+03 | -- | Inf
625.29/625.50 c 620s| 1 | 0 |239231 | - | 58M| 0 |1718 |2077 |9009 |2077 |9075 |1648 | 0 | 0 | 1.855299e+03 | -- | Inf
631.88/632.12 c 626s| 1 | 0 |240651 | - | 58M| 0 |1678 |2077 |9009 |2077 |9048 |1654 | 0 | 0 | 1.855312e+03 | -- | Inf
637.38/637.68 c 632s| 1 | 0 |241941 | - | 58M| 0 |1680 |2077 |9009 |2077 |9055 |1661 | 0 | 0 | 1.855382e+03 | -- | Inf
641.39/641.68 c 636s| 1 | 0 |242245 | - | 58M| 0 |1694 |2077 |9009 |2077 |9066 |1672 | 0 | 0 | 1.855382e+03 | -- | Inf
646.18/646.47 c 641s| 1 | 0 |243048 | - | 58M| 0 |1671 |2077 |9009 |2077 |9073 |1679 | 0 | 0 | 1.855387e+03 | -- | Inf
655.07/655.36 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
655.07/655.36 c 649s| 1 | 0 |244938 | - | 58M| 0 |1681 |2077 |9009 |2077 |9078 |1684 | 0 | 0 | 1.855586e+03 | -- | Inf
663.68/663.93 c 658s| 1 | 0 |246921 | - | 58M| 0 |1662 |2077 |9009 |2077 |9094 |1700 | 0 | 0 | 1.855970e+03 | -- | Inf
671.27/671.60 c 666s| 1 | 0 |249086 | - | 58M| 0 |1664 |2077 |9009 |2077 |9062 |1709 | 0 | 0 | 1.856049e+03 | -- | Inf
679.08/679.30 c 673s| 1 | 0 |250485 | - | 58M| 0 |1652 |2077 |9009 |2077 |9075 |1722 | 0 | 0 | 1.856133e+03 | -- | Inf
684.67/684.92 c 679s| 1 | 0 |251632 | - | 58M| 0 |1676 |2077 |9009 |2077 |9084 |1731 | 0 | 0 | 1.856201e+03 | -- | Inf
690.57/690.85 c 685s| 1 | 0 |252096 | - | 58M| 0 |1681 |2077 |9009 |2077 |9092 |1739 | 0 | 0 | 1.856201e+03 | -- | Inf
696.56/696.82 c 691s| 1 | 0 |252609 | - | 58M| 0 |1685 |2077 |9009 |2077 |9099 |1746 | 0 | 0 | 1.856207e+03 | -- | Inf
703.26/703.59 c 697s| 1 | 0 |254063 | - | 58M| 0 |1664 |2077 |9009 |2077 |9109 |1756 | 0 | 0 | 1.856218e+03 | -- | Inf
708.96/709.28 c 703s| 1 | 0 |254266 | - | 58M| 0 |1683 |2077 |9009 |2077 |9090 |1762 | 0 | 0 | 1.856218e+03 | -- | Inf
715.16/715.41 c 709s| 1 | 0 |254827 | - | 58M| 0 |1685 |2077 |9009 |2077 |9096 |1768 | 0 | 0 | 1.856220e+03 | -- | Inf
720.85/721.19 c 715s| 1 | 0 |255121 | - | 58M| 0 |1694 |2077 |9009 |2077 |9103 |1775 | 0 | 0 | 1.856220e+03 | -- | Inf
726.45/726.76 c 720s| 1 | 0 |255358 | - | 58M| 0 |1721 |2077 |9009 |2077 |9108 |1780 | 0 | 0 | 1.856221e+03 | -- | Inf
755.55/755.89 c 749s| 1 | 2 |255358 | - | 58M| 0 |1721 |2077 |9009 |2077 |9108 |1780 | 0 | 20 | 1.856221e+03 | -- | Inf
780.64/781.00 c 774s| 10000 | 80 |255358 | 0.0 | 58M| 349 | - |2077 |9010 | 0 | 0 |1780 |6108 | 20 | 1.856641e+03 | -- | Inf
808.13/808.42 c 800s| 20000 | 81 |255358 | 0.0 | 59M| 349 | - |2077 |9026 | 0 | 0 |1780 | 12k| 20 | 1.856641e+03 | -- | Inf
834.51/834.83 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
834.51/834.83 c 826s| 30000 | 81 |255358 | 0.0 | 59M| 349 | - |2077 |9088 | 0 | 0 |1780 | 19k| 20 | 1.856641e+03 | -- | Inf
861.50/861.87 c 852s| 40000 | 77 |255358 | 0.0 | 59M| 349 | - |2077 |9115 | 0 | 0 |1780 | 26k| 20 | 1.856641e+03 | -- | Inf
888.49/888.84 c 878s| 50000 | 73 |255358 | 0.0 | 59M| 349 | - |2077 |9159 | 0 | 0 |1780 | 33k| 20 | 1.856641e+03 | -- | Inf
914.17/914.51 c 903s| 60000 | 76 |255358 | 0.0 | 59M| 349 | - |2077 |8996 | 0 | 0 |1780 | 39k| 20 | 1.856641e+03 | -- | Inf
941.77/942.16 c 930s| 70000 | 74 |255358 | 0.0 | 59M| 349 | - |2077 |8988 | 0 | 0 |1780 | 46k| 20 | 1.856641e+03 | -- | Inf
969.46/969.83 c 956s| 80000 | 73 |255358 | 0.0 | 59M| 349 | - |2077 |9002 | 0 | 0 |1780 | 52k| 20 | 1.856641e+03 | -- | Inf
997.55/997.91 c 984s| 90000 | 75 |255358 | 0.0 | 59M| 349 | - |2077 |9012 | 0 | 0 |1780 | 59k| 20 | 1.856641e+03 | -- | Inf
1025.24/1025.64 c 1010s|100000 | 72 |255358 | 0.0 | 59M| 349 | - |2077 |9067 | 0 | 0 |1780 | 65k| 20 | 1.856641e+03 | -- | Inf
1053.84/1054.25 c 1038s|110000 | 76 |255358 | 0.0 | 59M| 349 | - |2077 |9059 | 0 | 0 |1780 | 72k| 20 | 1.856641e+03 | -- | Inf
1081.33/1081.78 c 1065s|120000 | 71 |255358 | 0.0 | 59M| 349 | - |2077 |9073 | 0 | 0 |1780 | 78k| 20 | 1.856641e+03 | -- | Inf
1108.92/1109.35 c 1092s|130000 | 77 |255358 | 0.0 | 59M| 349 | - |2077 |9099 | 0 | 0 |1780 | 85k| 20 | 1.856641e+03 | -- | Inf
1136.50/1136.97 c 1118s|140000 | 82 |255358 | 0.0 | 59M| 349 | - |2077 |9189 | 0 | 0 |1780 | 91k| 20 | 1.856641e+03 | -- | Inf
1163.31/1163.76 c 1144s|150000 | 73 |255358 | 0.0 | 59M| 349 | - |2077 |9484 | 0 | 0 |1780 | 98k| 20 | 1.856641e+03 | -- | Inf
1188.39/1188.89 c 1169s|160000 | 76 |255358 | 0.0 | 59M| 349 | - |2077 |9999 | 0 | 0 |1780 | 105k| 20 | 1.856641e+03 | -- | Inf
1214.59/1215.04 c 1194s|170000 | 74 |255358 | 0.0 | 59M| 349 | - |2077 |9764 | 0 | 0 |1780 | 111k| 20 | 1.856641e+03 | -- | Inf
1242.87/1243.32 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1242.87/1243.32 c 1221s|180000 | 72 |255358 | 0.0 | 59M| 349 | - |2077 | 10k| 0 | 0 |1780 | 119k| 20 | 1.856641e+03 | -- | Inf
1268.67/1269.10 c 1246s|190000 | 70 |255358 | 0.0 | 59M| 349 | - |2077 | 10k| 0 | 0 |1780 | 126k| 20 | 1.856641e+03 | -- | Inf
1295.37/1295.82 c 1272s|200000 | 78 |255358 | 0.0 | 60M| 349 | - |2077 | 11k| 0 | 0 |1780 | 134k| 20 | 1.856641e+03 | -- | Inf
1319.95/1320.44 c 1296s|210000 | 72 |255358 | 0.0 | 60M| 349 | - |2077 | 12k| 0 | 0 |1780 | 142k| 20 | 1.856641e+03 | -- | Inf
1346.24/1346.71 c 1321s|220000 | 73 |255358 | 0.0 | 60M| 349 | - |2077 | 13k| 0 | 0 |1780 | 151k| 20 | 1.856641e+03 | -- | Inf
1371.84/1372.37 c 1346s|230000 | 78 |255358 | 0.0 | 60M| 349 | - |2077 | 12k| 0 | 0 |1780 | 158k| 20 | 1.856641e+03 | -- | Inf
1399.74/1400.24 c 1373s|240000 | 75 |255358 | 0.0 | 60M| 349 | - |2077 | 12k| 0 | 0 |1780 | 165k| 20 | 1.856641e+03 | -- | Inf
1424.42/1424.97 c 1397s|250000 | 67 |255358 | 0.0 | 60M| 349 | - |2077 | 12k| 0 | 0 |1780 | 172k| 20 | 1.856641e+03 | -- | Inf
1450.52/1451.02 c 1422s|260000 | 67 |255358 | 0.0 | 60M| 349 | - |2077 | 12k| 0 | 0 |1780 | 179k| 20 | 1.856641e+03 | -- | Inf
1478.61/1479.17 c 1450s|270000 | 68 |255358 | 0.0 | 60M| 349 | - |2077 | 12k| 0 | 0 |1780 | 186k| 20 | 1.856641e+03 | -- | Inf
1506.80/1507.34 c 1477s|280000 | 74 |255358 | 0.0 | 60M| 349 | - |2077 | 12k| 0 | 0 |1780 | 193k| 20 | 1.856641e+03 | -- | Inf
1534.59/1535.17 c 1504s|290000 | 69 |255358 | 0.0 | 60M| 349 | - |2077 | 12k| 0 | 0 |1780 | 200k| 20 | 1.856641e+03 | -- | Inf
1561.39/1561.92 c 1530s|300000 | 69 |255358 | 0.0 | 60M| 349 | - |2077 | 12k| 0 | 0 |1780 | 207k| 20 | 1.856641e+03 | -- | Inf
1587.97/1588.57 c 1556s|310000 | 65 |255358 | 0.0 | 60M| 349 | - |2077 | 12k| 0 | 0 |1780 | 213k| 20 | 1.856641e+03 | -- | Inf
1614.56/1615.15 c 1581s|320000 | 67 |255358 | 0.0 | 60M| 349 | - |2077 | 12k| 0 | 0 |1780 | 220k| 20 | 1.856641e+03 | -- | Inf
1642.96/1643.58 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1642.96/1643.58 c 1609s|330000 | 84 |255358 | 0.0 | 60M| 349 | - |2077 | 12k| 0 | 0 |1780 | 226k| 20 | 1.856641e+03 | -- | Inf
1667.15/1667.75 c 1632s|340000 | 69 |255358 | 0.0 | 60M| 349 | - |2077 | 12k| 0 | 0 |1780 | 232k| 20 | 1.856641e+03 | -- | Inf
1692.25/1692.83 c 1657s|350000 | 74 |255358 | 0.0 | 60M| 349 | - |2077 | 12k| 0 | 0 |1780 | 239k| 20 | 1.856641e+03 | -- | Inf
1717.54/1718.13 c 1681s|360000 | 79 |255358 | 0.0 | 60M| 349 | - |2077 | 12k| 0 | 0 |1780 | 245k| 20 | 1.856641e+03 | -- | Inf
1743.63/1744.29 c 1706s|370000 | 71 |255358 | 0.0 | 60M| 349 | - |2077 | 12k| 0 | 0 |1780 | 252k| 20 | 1.856641e+03 | -- | Inf
1769.92/1770.51 c 1732s|380000 | 72 |255358 | 0.0 | 60M| 349 | - |2077 | 12k| 0 | 0 |1780 | 259k| 20 | 1.856641e+03 | -- | Inf
1795.32/1795.97 c 1756s|390000 | 66 |255358 | 0.0 | 60M| 349 | - |2077 | 12k| 0 | 0 |1780 | 266k| 20 | 1.856641e+03 | -- | Inf
1800.02/1800.61 c pressed CTRL-C 1 times (5 times for forcing termination)
1800.02/1800.61 c
1800.02/1800.61 c SCIP Status : solving was interrupted [user interrupt]
1800.02/1800.61 c Solving Time (sec) : 1760.93
1800.02/1800.61 c Solving Nodes : 391796
1800.02/1800.61 c Primal Bound : +1.00000000000000e+20 (0 solutions)
1800.02/1800.61 c Dual Bound : +1.85664106831224e+03
1800.02/1800.61 c Gap : infinite
1800.02/1800.61 s UNKNOWN
1800.02/1800.61 c SCIP Status : solving was interrupted [user interrupt]
1800.02/1800.61 c Solving Time : 1760.93
1800.02/1800.61 c Original Problem :
1800.02/1800.61 c Problem name : HOME/instance-2666079-1276426032.opb
1800.02/1800.61 c Variables : 3862 (3862 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.02/1800.61 c Constraints : 16399 initial, 16399 maximal
1800.02/1800.61 c Presolved Problem :
1800.02/1800.61 c Problem name : t_HOME/instance-2666079-1276426032.opb
1800.02/1800.61 c Variables : 2077 (2077 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.02/1800.61 c Constraints : 9009 initial, 14399 maximal
1800.02/1800.61 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs
1800.02/1800.61 c trivial : 0.02 1 0 0 0 0 0 0 0
1800.02/1800.61 c dualfix : 0.00 0 0 0 0 0 0 0 0
1800.02/1800.61 c boundshift : 0.00 0 0 0 0 0 0 0 0
1800.02/1800.61 c inttobinary : 0.00 0 0 0 0 0 0 0 0
1800.02/1800.61 c implics : 0.02 0 61 0 0 0 0 0 0
1800.02/1800.61 c probing : 0.67 241 570 0 0 0 0 0 0
1800.02/1800.61 c linear : 0.27 909 3 0 909 0 6007 31 24
1800.02/1800.61 c logicor : 0.72 0 0 0 1 0 1383 0 0
1800.02/1800.61 c root node : - 11 - - 11 - - - -
1800.02/1800.61 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children
1800.02/1800.61 c integral : 0 0 0 1 0 0 0 0 0 2
1800.02/1800.61 c logicor : 9009+ 86 5793466 0 0 203263 29879529 0 0 0
1800.02/1800.61 c countsols : 0 0 0 0 0 0 0 0 0 0
1800.02/1800.61 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS
1800.02/1800.61 c integral : 28.77 0.00 0.00 28.77 0.00
1800.02/1800.61 c logicor : 286.87 0.17 286.70 0.00 0.00
1800.02/1800.61 c countsols : 0.00 0.00 0.00 0.00 0.00
1800.02/1800.61 c Propagators : Time Calls Cutoffs DomReds
1800.02/1800.61 c vbounds : 2.96 2 0 0
1800.02/1800.61 c rootredcost : 3.29 0 0 0
1800.02/1800.61 c pseudoobj : 416.93 5972080 0 0
1800.02/1800.61 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1800.02/1800.61 c propagation : 100.17 203181 203181 203181 34.9 63891 17.1 -
1800.02/1800.61 c infeasible LP : 0.00 0 0 0 0.0 0 0.0 0
1800.02/1800.61 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1800.02/1800.61 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1800.02/1800.61 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 -
1800.02/1800.61 c applied globally : - - - 267072 30.7 - - -
1800.02/1800.61 c applied locally : - - - 0 0.0 - - -
1800.02/1800.61 c Separators : Time Calls Cutoffs DomReds Cuts Conss
1800.02/1800.61 c cut pool : 1.16 85 - - 987 - (maximal pool size: 9182)
1800.02/1800.61 c redcost : 0.01 86 0 0 0 0
1800.02/1800.61 c impliedbounds : 0.18 86 0 0 915 0
1800.02/1800.61 c intobj : 0.00 0 0 0 0 0
1800.02/1800.61 c cgmip : 0.00 0 0 0 0 0
1800.02/1800.61 c gomory : 285.89 86 0 0 17237 0
1800.02/1800.61 c strongcg : 12.96 20 0 0 10000 0
1800.02/1800.61 c cmir : 0.87 10 0 0 0 0
1800.02/1800.61 c flowcover : 1.02 10 0 0 0 0
1800.02/1800.61 c clique : 2.34 86 0 0 611 0
1800.02/1800.61 c zerohalf : 0.00 0 0 0 0 0
1800.02/1800.61 c mcf : 0.01 1 0 0 0 0
1800.02/1800.61 c rapidlearning : 0.00 0 0 0 0 0
1800.02/1800.61 c Pricers : Time Calls Vars
1800.02/1800.61 c problem variables: 0.00 0 0
1800.02/1800.61 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
1800.02/1800.61 c relpscost : 28.77 1 0 0 0 0 2
1800.02/1800.61 c pscost : 0.00 0 0 0 0 0 0
1800.02/1800.61 c inference : 103.62 273706 0 0 0 0 547412
1800.02/1800.61 c mostinf : 0.00 0 0 0 0 0 0
1800.02/1800.61 c leastinf : 0.00 0 0 0 0 0 0
1800.02/1800.61 c fullstrong : 0.00 0 0 0 0 0 0
1800.02/1800.61 c allfullstrong : 0.00 0 0 0 0 0 0
1800.02/1800.61 c random : 0.00 0 0 0 0 0 0
1800.02/1800.61 c Primal Heuristics : Time Calls Found
1800.02/1800.61 c LP solutions : 0.00 - 0
1800.02/1800.61 c pseudo solutions : 0.00 - 0
1800.02/1800.61 c oneopt : 0.36 0 0
1800.02/1800.61 c crossover : 0.00 0 0
1800.02/1800.61 c trivial : 0.01 2 0
1800.02/1800.61 c simplerounding : 0.00 0 0
1800.02/1800.61 c zirounding : 0.00 1 0
1800.02/1800.61 c rounding : 0.34 87 0
1800.02/1800.61 c shifting : 1.28 87 0
1800.02/1800.61 c intshifting : 0.00 0 0
1800.02/1800.61 c twoopt : 0.00 0 0
1800.02/1800.61 c fixandinfer : 0.00 0 0
1800.02/1800.61 c feaspump : 0.08 1 0
1800.02/1800.61 c coefdiving : 0.00 0 0
1800.02/1800.61 c pscostdiving : 0.00 0 0
1800.02/1800.61 c fracdiving : 0.00 0 0
1800.02/1800.61 c veclendiving : 0.00 0 0
1800.02/1800.61 c intdiving : 0.00 0 0
1800.02/1800.61 c actconsdiving : 0.00 0 0
1800.02/1800.61 c objpscostdiving : 0.00 0 0
1800.02/1800.61 c rootsoldiving : 0.00 0 0
1800.02/1800.61 c linesearchdiving : 0.00 0 0
1800.02/1800.61 c guideddiving : 0.00 0 0
1800.02/1800.61 c octane : 0.00 0 0
1800.02/1800.61 c rens : 0.01 0 0
1800.02/1800.61 c rins : 0.00 0 0
1800.02/1800.61 c localbranching : 0.00 0 0
1800.02/1800.61 c mutation : 0.00 0 0
1800.02/1800.61 c dins : 0.00 0 0
1800.02/1800.61 c undercover : 0.00 0 0
1800.02/1800.61 c nlp : 0.32 0 0
1800.02/1800.61 c trysol : 0.26 0 0
1800.02/1800.61 c LP : Time Calls Iterations Iter/call Iter/sec
1800.02/1800.61 c primal LP : 0.19 0 0 0.00 0.00
1800.02/1800.61 c dual LP : 411.31 87 255358 2935.15 620.84
1800.02/1800.61 c lex dual LP : 0.00 0 0 0.00 -
1800.02/1800.61 c barrier LP : 0.00 0 0 0.00 -
1800.02/1800.61 c diving/probing LP: 0.04 0 0 0.00 0.00
1800.02/1800.61 c strong branching : 28.77 20 17576 878.80 610.91
1800.02/1800.61 c (at root node) : - 20 17576 878.80 -
1800.02/1800.61 c conflict analysis: 0.00 0 0 0.00 -
1800.02/1800.61 c B&B Tree :
1800.02/1800.61 c number of runs : 1
1800.02/1800.61 c nodes : 391796
1800.02/1800.61 c nodes (total) : 391796
1800.02/1800.61 c nodes left : 87
1800.02/1800.61 c max depth : 349
1800.02/1800.61 c max depth (total): 349
1800.02/1800.61 c backtracks : 111328 (28.4%)
1800.02/1800.61 c delayed cutoffs : 155532
1800.02/1800.61 c repropagations : 350496 (14205393 domain reductions, 85092 cutoffs)
1800.02/1800.61 c avg switch length: 2.89
1800.02/1800.61 c switching time : 118.88
1800.02/1800.61 c Solution :
1800.02/1800.61 c Solutions found : 0 (0 improvements)
1800.02/1800.61 c Primal Bound : -
1800.02/1800.61 c Dual Bound : +1.85664106831224e+03
1800.02/1800.61 c Gap : infinite
1800.02/1800.61 c Root Dual Bound : +1.85622112078595e+03
1800.02/1800.61 c Root Iterations : 255358
1800.12/1800.73 c Time complete: 1800.14.