0.00/0.00 c SCIP version 1.2.1.2 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: SoPlex 1.4.2] [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-2667509-1276426280.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.82 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.86 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.92 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.93 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.99 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
0.99/1.01 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
0.99/1.05 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
0.99/1.10 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.12 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.13 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.22 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.24 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.28 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.35 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.37 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.42 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.43 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.49 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.51 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.56 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.58 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.65 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.71 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.72 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.77 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.87 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.88 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.96 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.99/2.00 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.05 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.13 c (1.5s) probing: 1000/2901 (34.5%) - 191 fixings, 474 aggregations, 3498 implications, 0 bound changes
2.09/2.14 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.16 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.20/2.22 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.23 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.28 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.33 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.42 c (1.8s) probing: 1349/2901 (46.5%) - 241 fixings, 570 aggregations, 3807 implications, 0 bound changes
2.39/2.42 c (1.8s) probing aborted: 100/100 successive totally useless probings
2.39/2.43 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.49 c (1.8s) probing: 1451/2901 (50.0%) - 241 fixings, 570 aggregations, 3811 implications, 0 bound changes
2.39/2.49 c (1.8s) probing aborted: 100/100 successive totally useless probings
2.39/2.49 c presolving (47 rounds):
2.39/2.49 c 1785 deleted vars, 7390 deleted constraints, 910 tightened bounds, 0 added holes, 31 changed sides, 24 changed coefficients
2.39/2.49 c 69117 implications, 0 cliques
2.39/2.49 c presolved problem has 2077 variables (2077 bin, 0 int, 0 impl, 0 cont) and 9009 constraints
2.39/2.49 c 9009 constraints of type <logicor>
2.39/2.49 c transformed objective value is always integral (scale: 1)
2.39/2.49 c Presolving Time: 1.79
2.39/2.49 c - non default parameters ----------------------------------------------------------------------
2.39/2.49 c # SCIP version 1.2.1.2
2.39/2.49 c
2.39/2.49 c # maximal number of intermediate conflict constraints generated in conflict graph (-1: use every intermediate constraint)
2.39/2.49 c # [type: int, range: [-1,2147483647], default: -1]
2.39/2.49 c conflict/interconss = 0
2.39/2.49 c
2.39/2.49 c # should binary conflicts be preferred?
2.39/2.49 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
2.39/2.49 c conflict/preferbinary = TRUE
2.39/2.49 c
2.39/2.49 c # maximum age an unnecessary constraint can reach before it is deleted (0: dynamic, -1: keep all constraints)
2.39/2.49 c # [type: int, range: [-1,2147483647], default: 0]
2.39/2.49 c constraints/agelimit = 1
2.39/2.49 c
2.39/2.49 c # should enforcement of pseudo solution be disabled?
2.39/2.49 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
2.39/2.49 c constraints/disableenfops = TRUE
2.39/2.49 c
2.39/2.49 c # frequency for displaying node information lines
2.39/2.49 c # [type: int, range: [-1,2147483647], default: 100]
2.39/2.49 c display/freq = 10000
2.39/2.49 c
2.39/2.49 c # maximal time in seconds to run
2.39/2.49 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
2.39/2.49 c limits/time = 1799.71
2.39/2.49 c
2.39/2.49 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
2.39/2.49 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
2.39/2.49 c limits/memory = 1620
2.39/2.49 c
2.39/2.49 c # frequency for solving LP at the nodes (-1: never; 0: only root LP)
2.39/2.49 c # [type: int, range: [-1,2147483647], default: 1]
2.39/2.49 c lp/solvefreq = 0
2.39/2.49 c
2.39/2.49 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.49 c # [type: char, range: {lafpsqd}, default: l]
2.39/2.49 c lp/pricing = a
2.39/2.49 c
2.39/2.49 c # should presolving try to simplify inequalities
2.39/2.49 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
2.39/2.49 c constraints/linear/simplifyinequalities = TRUE
2.39/2.49 c
2.39/2.49 c # should presolving try to simplify knapsacks
2.39/2.49 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
2.39/2.49 c constraints/knapsack/simplifyinequalities = TRUE
2.39/2.49 c
2.39/2.49 c # priority of node selection rule <dfs> in standard mode
2.39/2.49 c # [type: int, range: [-536870912,536870911], default: 0]
2.39/2.49 c nodeselection/dfs/stdpriority = 1000000
2.39/2.49 c
2.39/2.49 c -----------------------------------------------------------------------------------------------
2.39/2.49 c start solving
2.49/2.50 c
5.99/6.05 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
5.99/6.05 c 5.3s| 1 | 0 | 3498 | - | 22M| 0 |1333 |2077 |9009 |2077 |8443 | 0 | 0 | 0 | 1.602146e+03 | -- | Inf
32.78/32.85 c 32.0s| 1 | 0 | 17669 | - | 26M| 0 |1334 |2077 |9009 |2077 |8634 | 191 | 0 | 0 | 1.623167e+03 | -- | Inf
37.28/37.37 c 36.4s| 1 | 0 | 20524 | - | 27M| 0 |1399 |2077 |9009 |2077 |8689 | 246 | 0 | 0 | 1.665742e+03 | -- | Inf
41.87/41.96 c 41.0s| 1 | 0 | 23553 | - | 28M| 0 |1401 |2077 |9009 |2077 |8736 | 293 | 0 | 0 | 1.704890e+03 | -- | Inf
45.77/45.86 c 44.9s| 1 | 0 | 26426 | - | 29M| 0 |1431 |2077 |9009 |2077 |8778 | 335 | 0 | 0 | 1.744110e+03 | -- | Inf
51.07/51.12 c 50.1s| 1 | 0 | 29765 | - | 29M| 0 |1481 |2077 |9009 |2077 |8826 | 383 | 0 | 0 | 1.781128e+03 | -- | Inf
54.66/54.75 c 53.7s| 1 | 0 | 31922 | - | 30M| 0 |1467 |2077 |9009 |2077 |8868 | 425 | 0 | 0 | 1.793652e+03 | -- | Inf
59.76/59.83 c 58.7s| 1 | 0 | 34815 | - | 31M| 0 |1520 |2077 |9009 |2077 |8925 | 482 | 0 | 0 | 1.799349e+03 | -- | Inf
68.26/68.36 c 67.2s| 1 | 0 | 38815 | - | 32M| 0 |1603 |2077 |9009 |2077 |8965 | 522 | 0 | 0 | 1.802956e+03 | -- | Inf
77.96/78.07 c 76.8s| 1 | 0 | 41868 | - | 34M| 0 |1607 |2077 |9009 |2077 |8998 | 555 | 0 | 0 | 1.805246e+03 | -- | Inf
88.65/88.78 c 87.5s| 1 | 0 | 46318 | - | 36M| 0 |1598 |2077 |9009 |2077 |9026 | 583 | 0 | 0 | 1.808948e+03 | -- | Inf
96.14/96.20 c 94.8s| 1 | 0 | 49831 | - | 37M| 0 |1593 |2077 |9009 |2077 |9061 | 618 | 0 | 0 | 1.811648e+03 | -- | Inf
107.74/107.82 c 106s| 1 | 0 | 54789 | - | 40M| 0 |1673 |2077 |9009 |2077 |9096 | 653 | 0 | 0 | 1.814751e+03 | -- | Inf
124.44/124.50 c 123s| 1 | 0 | 59712 | - | 41M| 0 |1647 |2077 |9009 |2077 |9134 | 691 | 0 | 0 | 1.817243e+03 | -- | Inf
139.13/139.22 c 138s| 1 | 0 | 64329 | - | 43M| 0 |1639 |2077 |9009 |2077 |8976 | 724 | 0 | 0 | 1.819536e+03 | -- | Inf
156.42/156.57 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
156.42/156.57 c 155s| 1 | 0 | 70604 | - | 45M| 0 |1651 |2077 |9009 |2077 |9013 | 761 | 0 | 0 | 1.822554e+03 | -- | Inf
174.01/174.13 c 172s| 1 | 0 | 76780 | - | 47M| 0 |1647 |2077 |9009 |2077 |9040 | 788 | 0 | 0 | 1.824382e+03 | -- | Inf
191.40/191.55 c 190s| 1 | 0 | 82357 | - | 49M| 0 |1604 |2077 |9009 |2077 |9085 | 833 | 0 | 0 | 1.827223e+03 | -- | Inf
212.80/212.93 c 211s| 1 | 0 | 89759 | - | 52M| 0 |1676 |2077 |9009 |2077 |9118 | 866 | 0 | 0 | 1.831765e+03 | -- | Inf
235.20/235.36 c 233s| 1 | 0 | 96541 | - | 53M| 0 |1654 |2077 |9009 |2077 |9145 | 893 | 0 | 0 | 1.834717e+03 | -- | Inf
255.28/255.48 c 253s| 1 | 0 |101465 | - | 55M| 0 |1699 |2077 |9009 |2077 |9033 | 908 | 0 | 0 | 1.835021e+03 | -- | Inf
283.18/283.36 c 281s| 1 | 0 |108827 | - | 55M| 0 |1699 |2077 |9009 |2077 |9044 | 919 | 0 | 0 | 1.835389e+03 | -- | Inf
298.46/298.69 c 296s| 1 | 0 |113254 | - | 55M| 0 |1687 |2077 |9009 |2077 |9059 | 934 | 0 | 0 | 1.835787e+03 | -- | Inf
314.86/315.05 c 312s| 1 | 0 |117572 | - | 55M| 0 |1692 |2077 |9009 |2077 |9072 | 947 | 0 | 0 | 1.836217e+03 | -- | Inf
323.66/323.89 c 321s| 1 | 0 |120094 | - | 55M| 0 |1650 |2077 |9009 |2077 |9081 | 956 | 0 | 0 | 1.836450e+03 | -- | Inf
330.05/330.28 c 328s| 1 | 0 |121840 | - | 55M| 0 |1661 |2077 |9009 |2077 |9093 | 968 | 0 | 0 | 1.836844e+03 | -- | Inf
345.34/345.50 c 343s| 1 | 0 |126266 | - | 56M| 0 |1682 |2077 |9009 |2077 |8977 | 983 | 0 | 0 | 1.837213e+03 | -- | Inf
354.24/354.44 c 352s| 1 | 0 |128695 | - | 56M| 0 |1619 |2077 |9009 |2077 |8995 |1001 | 0 | 0 | 1.837887e+03 | -- | Inf
364.95/365.16 c 362s| 1 | 0 |131254 | - | 56M| 0 |1641 |2077 |9009 |2077 |9010 |1016 | 0 | 0 | 1.838308e+03 | -- | Inf
374.64/374.85 c 372s| 1 | 0 |134964 | - | 56M| 0 |1679 |2077 |9009 |2077 |9034 |1040 | 0 | 0 | 1.840008e+03 | -- | Inf
386.53/386.73 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
386.53/386.73 c 384s| 1 | 0 |138789 | - | 56M| 0 |1711 |2077 |9009 |2077 |9060 |1066 | 0 | 0 | 1.841756e+03 | -- | Inf
397.23/397.40 c 394s| 1 | 0 |142509 | - | 57M| 0 |1696 |2077 |9009 |2077 |9085 |1091 | 0 | 0 | 1.843763e+03 | -- | Inf
406.92/407.17 c 404s| 1 | 0 |145835 | - | 57M| 0 |1709 |2077 |9009 |2077 |9007 |1118 | 0 | 0 | 1.845069e+03 | -- | Inf
420.42/420.60 c 417s| 1 | 0 |150052 | - | 57M| 0 |1724 |2077 |9009 |2077 |9024 |1135 | 0 | 0 | 1.846386e+03 | -- | Inf
433.31/433.52 c 430s| 1 | 0 |153768 | - | 57M| 0 |1712 |2077 |9009 |2077 |9042 |1153 | 0 | 0 | 1.847316e+03 | -- | Inf
441.21/441.45 c 438s| 1 | 0 |155519 | - | 58M| 0 |1700 |2077 |9009 |2077 |9055 |1166 | 0 | 0 | 1.848058e+03 | -- | Inf
457.90/458.13 c 455s| 1 | 0 |160299 | - | 58M| 0 |1726 |2077 |9009 |2077 |9074 |1185 | 0 | 0 | 1.849074e+03 | -- | Inf
470.00/470.27 c 467s| 1 | 0 |164182 | - | 58M| 0 |1713 |2077 |9009 |2077 |9097 |1208 | 0 | 0 | 1.849667e+03 | -- | Inf
489.20/489.42 c 486s| 1 | 0 |169992 | - | 58M| 0 |1687 |2077 |9009 |2077 |9047 |1224 | 0 | 0 | 1.850857e+03 | -- | Inf
507.49/507.75 c 504s| 1 | 0 |174991 | - | 58M| 0 |1686 |2077 |9009 |2077 |9060 |1237 | 0 | 0 | 1.851597e+03 | -- | Inf
523.67/523.99 c 520s| 1 | 0 |179794 | - | 58M| 0 |1705 |2077 |9009 |2077 |9081 |1258 | 0 | 0 | 1.852366e+03 | -- | Inf
534.77/535.06 c 531s| 1 | 0 |183200 | - | 58M| 0 |1702 |2077 |9009 |2077 |9095 |1272 | 0 | 0 | 1.852588e+03 | -- | Inf
548.76/549.02 c 545s| 1 | 0 |187400 | - | 58M| 0 |1674 |2077 |9009 |2077 |9107 |1284 | 0 | 0 | 1.852654e+03 | -- | Inf
551.87/552.13 c 548s| 1 | 0 |187762 | - | 58M| 0 |1675 |2077 |9009 |2077 |9110 |1287 | 0 | 0 | 1.852654e+03 | -- | Inf
555.57/555.81 c 552s| 1 | 0 |187928 | - | 58M| 0 |1672 |2077 |9009 |2077 |9019 |1290 | 0 | 0 | 1.852655e+03 | -- | Inf
563.97/564.27 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
563.97/564.27 c 560s| 1 | 0 |190407 | - | 58M| 0 |1666 |2077 |9009 |2077 |9026 |1297 | 0 | 0 | 1.852781e+03 | -- | Inf
574.06/574.36 c 570s| 1 | 0 |192997 | - | 58M| 0 |1684 |2077 |9009 |2077 |9036 |1307 | 0 | 0 | 1.853677e+03 | -- | Inf
582.64/582.93 c 579s| 1 | 0 |194815 | - | 58M| 0 |1674 |2077 |9009 |2077 |9044 |1315 | 0 | 0 | 1.853913e+03 | -- | Inf
588.04/588.30 c 584s| 1 | 0 |195334 | - | 58M| 0 |1670 |2077 |9009 |2077 |9050 |1321 | 0 | 0 | 1.853917e+03 | -- | Inf
599.74/600.07 c 596s| 1 | 0 |199004 | - | 58M| 0 |1672 |2077 |9009 |2077 |9056 |1327 | 0 | 0 | 1.853978e+03 | -- | Inf
606.53/606.80 c 602s| 1 | 0 |199762 | - | 58M| 0 |1674 |2077 |9009 |2077 |8993 |1340 | 0 | 0 | 1.853989e+03 | -- | Inf
611.53/611.85 c 607s| 1 | 0 |200721 | - | 58M| 0 |1668 |2077 |9009 |2077 |9000 |1347 | 0 | 0 | 1.853999e+03 | -- | Inf
623.82/624.14 c 620s| 1 | 0 |203574 | - | 58M| 0 |1653 |2077 |9009 |2077 |9010 |1357 | 0 | 0 | 1.854153e+03 | -- | Inf
632.23/632.54 c 628s| 1 | 0 |205695 | - | 58M| 0 |1658 |2077 |9009 |2077 |9031 |1378 | 0 | 0 | 1.854274e+03 | -- | Inf
643.42/643.73 c 639s| 1 | 0 |208728 | - | 58M| 0 |1660 |2077 |9009 |2077 |9046 |1393 | 0 | 0 | 1.854321e+03 | -- | Inf
651.32/651.64 c 647s| 1 | 0 |210265 | - | 58M| 0 |1645 |2077 |9009 |2077 |9055 |1402 | 0 | 0 | 1.854339e+03 | -- | Inf
656.42/656.78 c 652s| 1 | 0 |211549 | - | 58M| 0 |1647 |2077 |9009 |2077 |9021 |1411 | 0 | 0 | 1.854348e+03 | -- | Inf
661.31/661.68 c 657s| 1 | 0 |212546 | - | 58M| 0 |1635 |2077 |9009 |2077 |9030 |1420 | 0 | 0 | 1.854377e+03 | -- | Inf
669.11/669.47 c 665s| 1 | 0 |214103 | - | 58M| 0 |1618 |2077 |9009 |2077 |9041 |1431 | 0 | 0 | 1.854404e+03 | -- | Inf
673.11/673.45 c 669s| 1 | 0 |214813 | - | 58M| 0 |1619 |2077 |9009 |2077 |9046 |1436 | 0 | 0 | 1.854404e+03 | -- | Inf
678.70/679.00 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
678.70/679.00 c 674s| 1 | 0 |215171 | - | 58M| 0 |1622 |2077 |9009 |2077 |9052 |1442 | 0 | 0 | 1.854407e+03 | -- | Inf
683.01/683.37 c 678s| 1 | 0 |215911 | - | 58M| 0 |1637 |2077 |9009 |2077 |9061 |1451 | 0 | 0 | 1.854416e+03 | -- | Inf
760.58/760.94 c 755s| 1 | 2 |215911 | - | 58M| 0 |1637 |2077 |9009 |2077 |9061 |1451 | 0 | 32 | 1.854416e+03 | -- | Inf
784.76/785.12 c 779s| 10000 | 108 |215911 | 0.0 | 60M| 282 | - |2077 | 11k| 0 | 0 |1451 |9446 | 32 | 1.854416e+03 | -- | Inf
809.95/810.33 c 803s| 20000 | 107 |215911 | 0.0 | 60M| 282 | - |2077 | 12k| 0 | 0 |1451 | 19k| 32 | 1.854416e+03 | -- | Inf
835.43/835.88 c 828s| 30000 | 114 |215911 | 0.0 | 61M| 282 | - |2077 | 14k| 0 | 0 |1451 | 28k| 32 | 1.854416e+03 | -- | Inf
862.43/862.84 c 853s| 40000 | 113 |215911 | 0.0 | 61M| 282 | - |2077 | 14k| 0 | 0 |1451 | 36k| 32 | 1.854416e+03 | -- | Inf
887.62/888.05 c 878s| 50000 | 122 |215911 | 0.0 | 61M| 282 | - |2077 | 15k| 0 | 0 |1451 | 47k| 32 | 1.854416e+03 | -- | Inf
913.01/913.46 c 902s| 60000 | 119 |215911 | 0.0 | 61M| 282 | - |2077 | 15k| 0 | 0 |1451 | 55k| 32 | 1.854416e+03 | -- | Inf
937.30/937.72 c 926s| 70000 | 110 |215911 | 0.0 | 61M| 282 | - |2077 | 15k| 0 | 0 |1451 | 62k| 32 | 1.854416e+03 | -- | Inf
964.60/965.04 c 952s| 80000 | 118 |215911 | 0.0 | 61M| 282 | - |2077 | 15k| 0 | 0 |1451 | 69k| 32 | 1.854416e+03 | -- | Inf
989.59/990.06 c 976s| 90000 | 89 |215911 | 0.0 | 61M| 282 | - |2077 | 15k| 0 | 0 |1451 | 75k| 32 | 1.854416e+03 | -- | Inf
1014.17/1014.62 c 1000s|100000 | 79 |215911 | 0.0 | 62M| 282 | - |2077 | 16k| 0 | 0 |1451 | 82k| 32 | 1.854416e+03 | -- | Inf
1040.16/1040.62 c 1025s|110000 | 74 |215911 | 0.0 | 62M| 282 | - |2077 | 16k| 0 | 0 |1451 | 88k| 32 | 1.854416e+03 | -- | Inf
1065.85/1066.31 c 1050s|120000 | 100 |215911 | 0.0 | 62M| 282 | - |2077 | 17k| 0 | 0 |1451 | 96k| 32 | 1.854416e+03 | -- | Inf
1092.24/1092.72 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1092.24/1092.72 c 1076s|130000 | 108 |215911 | 0.0 | 61M| 282 | - |2077 | 15k| 0 | 0 |1451 | 104k| 32 | 1.854416e+03 | -- | Inf
1117.43/1117.98 c 1100s|140000 | 88 |215911 | 0.0 | 62M| 282 | - |2077 | 17k| 0 | 0 |1451 | 116k| 32 | 1.854416e+03 | -- | Inf
1142.72/1143.28 c 1124s|150000 | 92 |215911 | 0.0 | 62M| 282 | - |2077 | 17k| 0 | 0 |1451 | 124k| 32 | 1.854416e+03 | -- | Inf
1164.91/1165.43 c 1146s|160000 | 91 |215911 | 0.0 | 63M| 282 | - |2077 | 18k| 0 | 0 |1451 | 135k| 32 | 1.854416e+03 | -- | Inf
1187.00/1187.58 c 1167s|170000 | 89 |215911 | 0.0 | 63M| 282 | - |2077 | 19k| 0 | 0 |1451 | 144k| 32 | 1.854416e+03 | -- | Inf
1208.90/1209.44 c 1188s|180000 | 84 |215911 | 0.0 | 64M| 282 | - |2077 | 21k| 0 | 0 |1451 | 154k| 32 | 1.854416e+03 | -- | Inf
1234.59/1235.13 c 1213s|190000 | 80 |215911 | 0.0 | 64M| 282 | - |2077 | 23k| 0 | 0 |1451 | 163k| 32 | 1.854416e+03 | -- | Inf
1261.08/1261.63 c 1239s|200000 | 85 |215911 | 0.0 | 63M| 282 | - |2077 | 18k| 0 | 0 |1451 | 171k| 32 | 1.854416e+03 | -- | Inf
1286.76/1287.35 c 1263s|210000 | 92 |215911 | 0.0 | 63M| 282 | - |2077 | 18k| 0 | 0 |1451 | 178k| 32 | 1.854416e+03 | -- | Inf
1313.65/1314.22 c 1289s|220000 | 93 |215911 | 0.0 | 63M| 282 | - |2077 | 18k| 0 | 0 |1451 | 186k| 32 | 1.854416e+03 | -- | Inf
1343.55/1344.16 c 1318s|230000 | 83 |215911 | 0.0 | 63M| 282 | - |2077 | 18k| 0 | 0 |1451 | 193k| 32 | 1.854416e+03 | -- | Inf
1372.53/1373.13 c 1346s|240000 | 95 |215911 | 0.0 | 63M| 282 | - |2077 | 18k| 0 | 0 |1451 | 200k| 32 | 1.854416e+03 | -- | Inf
1402.01/1402.61 c 1375s|250000 | 85 |215911 | 0.0 | 63M| 282 | - |2077 | 18k| 0 | 0 |1451 | 209k| 32 | 1.854416e+03 | -- | Inf
1432.01/1432.66 c 1404s|260000 | 79 |215911 | 0.0 | 63M| 282 | - |2077 | 18k| 0 | 0 |1451 | 216k| 32 | 1.854416e+03 | -- | Inf
1461.80/1462.40 c 1433s|270000 | 83 |215911 | 0.0 | 63M| 282 | - |2077 | 18k| 0 | 0 |1451 | 224k| 32 | 1.854416e+03 | -- | Inf
1492.09/1492.75 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1492.09/1492.75 c 1462s|280000 | 80 |215911 | 0.0 | 64M| 282 | - |2077 | 18k| 0 | 0 |1451 | 231k| 32 | 1.854416e+03 | -- | Inf
1523.17/1523.84 c 1492s|290000 | 85 |215911 | 0.0 | 64M| 282 | - |2077 | 19k| 0 | 0 |1451 | 239k| 32 | 1.854416e+03 | -- | Inf
1551.76/1552.44 c 1520s|300000 | 81 |215911 | 0.0 | 64M| 282 | - |2077 | 19k| 0 | 0 |1451 | 246k| 32 | 1.854416e+03 | -- | Inf
1579.85/1580.51 c 1547s|310000 | 85 |215911 | 0.0 | 64M| 282 | - |2077 | 19k| 0 | 0 |1451 | 254k| 32 | 1.854416e+03 | -- | Inf
1609.54/1610.22 c 1576s|320000 | 75 |215911 | 0.0 | 64M| 282 | - |2077 | 19k| 0 | 0 |1451 | 261k| 32 | 1.854416e+03 | -- | Inf
1639.72/1640.41 c 1605s|330000 | 81 |215911 | 0.0 | 64M| 282 | - |2077 | 19k| 0 | 0 |1451 | 269k| 32 | 1.854416e+03 | -- | Inf
1669.52/1670.29 c 1634s|340000 | 73 |215911 | 0.0 | 64M| 282 | - |2077 | 19k| 0 | 0 |1451 | 276k| 32 | 1.854416e+03 | -- | Inf
1696.40/1697.11 c 1660s|350000 | 84 |215911 | 0.0 | 61M| 282 | - |2077 |9248 | 0 | 0 |1451 | 283k| 32 | 1.854416e+03 | -- | Inf
1723.60/1724.39 c 1686s|360000 | 81 |215911 | 0.0 | 61M| 282 | - |2077 |9350 | 0 | 0 |1451 | 291k| 32 | 1.854416e+03 | -- | Inf
1755.08/1755.83 c 1717s|370000 | 80 |215911 | 0.0 | 61M| 282 | - |2077 |9497 | 0 | 0 |1451 | 298k| 32 | 1.854416e+03 | -- | Inf
1782.87/1783.68 c 1744s|380000 | 91 |215911 | 0.0 | 61M| 282 | - |2077 |9286 | 0 | 0 |1451 | 305k| 32 | 1.854416e+03 | -- | Inf
1800.07/1800.80 c pressed CTRL-C 1 times (5 times for forcing termination)
1800.07/1800.81 c
1800.07/1800.81 c SCIP Status : solving was interrupted [user interrupt]
1800.07/1800.81 c Solving Time (sec) : 1760.23
1800.07/1800.81 c Solving Nodes : 385908
1800.07/1800.81 c Primal Bound : +1.00000000000000e+20 (0 solutions)
1800.07/1800.81 c Dual Bound : +1.85441564108544e+03
1800.07/1800.81 c Gap : infinite
1800.07/1800.81 s UNKNOWN
1800.07/1800.81 c SCIP Status : solving was interrupted [user interrupt]
1800.07/1800.81 c Solving Time : 1760.23
1800.07/1800.81 c Original Problem :
1800.07/1800.81 c Problem name : HOME/instance-2667509-1276426280.opb
1800.07/1800.81 c Variables : 3862 (3862 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.07/1800.81 c Constraints : 16399 initial, 16399 maximal
1800.07/1800.81 c Presolved Problem :
1800.07/1800.81 c Problem name : t_HOME/instance-2667509-1276426280.opb
1800.07/1800.81 c Variables : 2077 (2077 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.07/1800.81 c Constraints : 9009 initial, 23392 maximal
1800.07/1800.81 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs
1800.07/1800.81 c trivial : 0.03 1 0 0 0 0 0 0 0
1800.07/1800.81 c dualfix : 0.00 0 0 0 0 0 0 0 0
1800.07/1800.81 c boundshift : 0.00 0 0 0 0 0 0 0 0
1800.07/1800.81 c inttobinary : 0.00 0 0 0 0 0 0 0 0
1800.07/1800.81 c implics : 0.06 0 61 0 0 0 0 0 0
1800.07/1800.81 c probing : 0.67 241 570 0 0 0 0 0 0
1800.07/1800.81 c linear : 0.26 909 3 0 909 0 6007 31 24
1800.07/1800.81 c logicor : 0.69 0 0 0 1 0 1383 0 0
1800.07/1800.81 c root node : - 0 - - 0 - - - -
1800.07/1800.81 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children
1800.07/1800.81 c integral : 0 0 0 1 0 0 0 0 0 2
1800.07/1800.81 c logicor : 9009+ 61 6171187 0 0 213711 27772696 0 0 0
1800.07/1800.81 c countsols : 0 0 0 0 0 0 0 0 0 0
1800.07/1800.81 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS
1800.07/1800.81 c integral : 76.92 0.00 0.00 76.92 0.00
1800.07/1800.81 c logicor : 302.71 0.11 302.60 0.00 0.00
1800.07/1800.81 c countsols : 0.00 0.00 0.00 0.00 0.00
1800.07/1800.81 c Propagators : Time Calls Cutoffs DomReds
1800.07/1800.81 c vbounds : 3.14 2 0 0
1800.07/1800.81 c rootredcost : 2.80 0 0 0
1800.07/1800.81 c pseudoobj : 438.55 6307929 0 0
1800.07/1800.81 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1800.07/1800.81 c propagation : 125.88 213629 213629 213629 48.9 96444 19.1 -
1800.07/1800.81 c infeasible LP : 0.00 0 0 0 0.0 0 0.0 0
1800.07/1800.81 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1800.07/1800.81 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1800.07/1800.81 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 -
1800.07/1800.81 c applied globally : - - - 310073 39.6 - - -
1800.07/1800.81 c applied locally : - - - 0 0.0 - - -
1800.07/1800.81 c Separators : Time Calls Cutoffs DomReds Cuts Conss
1800.07/1800.81 c cut pool : 0.77 60 - - 1073 - (maximal pool size: 9231)
1800.07/1800.81 c redcost : 0.00 61 0 0 0 0
1800.07/1800.81 c impliedbounds : 0.15 61 0 0 734 0
1800.07/1800.81 c intobj : 0.00 0 0 0 0 0
1800.07/1800.81 c cgmip : 0.00 0 0 0 0 0
1800.07/1800.81 c gomory : 154.30 61 0 0 17860 0
1800.07/1800.81 c strongcg : 12.73 20 0 0 10000 0
1800.07/1800.81 c cmir : 0.86 10 0 0 0 0
1800.07/1800.81 c flowcover : 0.96 10 0 0 0 0
1800.07/1800.81 c clique : 1.62 61 0 0 428 0
1800.07/1800.81 c zerohalf : 0.00 0 0 0 0 0
1800.07/1800.81 c mcf : 0.01 1 0 0 0 0
1800.07/1800.81 c rapidlearning : 0.00 0 0 0 0 0
1800.07/1800.81 c Pricers : Time Calls Vars
1800.07/1800.81 c problem variables: 0.00 0 0
1800.07/1800.81 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
1800.07/1800.81 c relpscost : 76.92 1 0 0 0 0 2
1800.07/1800.81 c pscost : 0.00 0 0 0 0 0 0
1800.07/1800.81 c inference : 64.18 279108 0 0 0 0 558216
1800.07/1800.81 c mostinf : 0.00 0 0 0 0 0 0
1800.07/1800.81 c leastinf : 0.00 0 0 0 0 0 0
1800.07/1800.81 c fullstrong : 0.00 0 0 0 0 0 0
1800.07/1800.81 c allfullstrong : 0.00 0 0 0 0 0 0
1800.07/1800.81 c random : 0.00 0 0 0 0 0 0
1800.07/1800.81 c Primal Heuristics : Time Calls Found
1800.07/1800.81 c LP solutions : 0.00 - 0
1800.07/1800.81 c pseudo solutions : 0.00 - 0
1800.07/1800.81 c oneopt : 0.28 0 0
1800.07/1800.81 c crossover : 0.00 0 0
1800.07/1800.81 c trivial : 0.02 2 0
1800.07/1800.81 c simplerounding : 0.00 0 0
1800.07/1800.81 c zirounding : 0.00 1 0
1800.07/1800.81 c rounding : 0.33 62 0
1800.07/1800.81 c shifting : 0.91 62 0
1800.07/1800.81 c intshifting : 0.00 0 0
1800.07/1800.81 c twoopt : 0.00 0 0
1800.07/1800.81 c fixandinfer : 0.00 0 0
1800.07/1800.81 c feaspump : 24.07 1 0
1800.07/1800.81 c coefdiving : 0.00 0 0
1800.07/1800.81 c pscostdiving : 0.00 0 0
1800.07/1800.81 c fracdiving : 0.00 0 0
1800.07/1800.81 c veclendiving : 0.00 0 0
1800.07/1800.81 c intdiving : 0.00 0 0
1800.07/1800.81 c actconsdiving : 0.00 0 0
1800.07/1800.81 c objpscostdiving : 0.00 0 0
1800.07/1800.81 c rootsoldiving : 0.00 0 0
1800.07/1800.81 c linesearchdiving : 0.00 0 0
1800.07/1800.81 c guideddiving : 0.00 0 0
1800.07/1800.81 c octane : 0.00 0 0
1800.07/1800.81 c rens : 0.01 0 0
1800.07/1800.81 c rins : 0.00 0 0
1800.07/1800.81 c localbranching : 0.00 0 0
1800.07/1800.81 c mutation : 0.00 0 0
1800.07/1800.81 c dins : 0.00 0 0
1800.07/1800.81 c undercover : 0.00 0 0
1800.07/1800.81 c nlp : 0.35 0 0
1800.07/1800.81 c trysol : 0.21 0 0
1800.07/1800.81 c LP : Time Calls Iterations Iter/call Iter/sec
1800.07/1800.81 c primal LP : 0.12 0 0 0.00 0.00
1800.07/1800.81 c dual LP : 479.05 62 203007 3274.31 423.77
1800.07/1800.81 c lex dual LP : 0.00 0 0 0.00 -
1800.07/1800.81 c barrier LP : 0.00 0 0 0.00 -
1800.07/1800.81 c diving/probing LP: 23.98 27 12904 477.93 538.12
1800.07/1800.81 c strong branching : 76.92 32 28929 904.03 376.09
1800.07/1800.81 c (at root node) : - 32 28929 904.03 -
1800.07/1800.81 c conflict analysis: 0.00 0 0 0.00 -
1800.07/1800.81 c B&B Tree :
1800.07/1800.81 c number of runs : 1
1800.07/1800.81 c nodes : 385908
1800.07/1800.81 c nodes (total) : 385908
1800.07/1800.81 c nodes left : 84
1800.07/1800.81 c max depth : 282
1800.07/1800.81 c max depth (total): 282
1800.07/1800.81 c backtracks : 127730 (33.1%)
1800.07/1800.81 c delayed cutoffs : 172227
1800.07/1800.81 c repropagations : 335635 (12926459 domain reductions, 106830 cutoffs)
1800.07/1800.81 c avg switch length: 2.77
1800.07/1800.81 c switching time : 112.37
1800.07/1800.81 c Solution :
1800.07/1800.81 c Solutions found : 0 (0 improvements)
1800.07/1800.81 c Primal Bound : -
1800.07/1800.81 c Dual Bound : +1.85441564108544e+03
1800.07/1800.81 c Gap : infinite
1800.07/1800.81 c Root Dual Bound : +1.85441564108544e+03
1800.07/1800.81 c Root Iterations : 215911
1800.17/1800.92 c Time complete: 1800.19.