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-2667548-1276454575.opb>
0.00/0.07 c original problem has 1972 variables (1972 bin, 0 int, 0 impl, 0 cont) and 3301 constraints
0.00/0.07 c problem read
0.00/0.07 c presolving settings loaded
0.07/0.09 c presolving:
0.19/0.21 c (round 1) 1536 del vars, 575 del conss, 7 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 83932 impls, 0 clqs
0.19/0.24 c (round 2) 1542 del vars, 2258 del conss, 12 chg bounds, 6 chg sides, 15 chg coeffs, 0 upgd conss, 84330 impls, 0 clqs
0.19/0.24 c (round 3) 1543 del vars, 2264 del conss, 12 chg bounds, 6 chg sides, 15 chg coeffs, 0 upgd conss, 84330 impls, 0 clqs
0.19/0.28 c (round 4) 1543 del vars, 2306 del conss, 12 chg bounds, 48 chg sides, 15 chg coeffs, 0 upgd conss, 84330 impls, 0 clqs
0.29/0.31 c (round 5) 1543 del vars, 2321 del conss, 12 chg bounds, 48 chg sides, 15 chg coeffs, 938 upgd conss, 84330 impls, 0 clqs
0.29/0.32 c (round 6) 1543 del vars, 2321 del conss, 12 chg bounds, 48 chg sides, 15 chg coeffs, 995 upgd conss, 84330 impls, 0 clqs
0.29/0.37 c (round 7) 1593 del vars, 2321 del conss, 12 chg bounds, 48 chg sides, 15 chg coeffs, 995 upgd conss, 88736 impls, 0 clqs
0.29/0.37 c (round 8) 1593 del vars, 2325 del conss, 12 chg bounds, 48 chg sides, 15 chg coeffs, 995 upgd conss, 88736 impls, 0 clqs
0.39/0.41 c (round 9) 1643 del vars, 2325 del conss, 12 chg bounds, 48 chg sides, 15 chg coeffs, 995 upgd conss, 89508 impls, 0 clqs
0.39/0.44 c (round 10) 1671 del vars, 2325 del conss, 12 chg bounds, 48 chg sides, 15 chg coeffs, 995 upgd conss, 89644 impls, 0 clqs
0.39/0.44 c presolving (11 rounds):
0.39/0.44 c 1671 deleted vars, 2325 deleted constraints, 12 tightened bounds, 0 added holes, 48 changed sides, 15 changed coefficients
0.39/0.44 c 89644 implications, 0 cliques
0.39/0.44 c presolved problem has 301 variables (301 bin, 0 int, 0 impl, 0 cont) and 976 constraints
0.39/0.44 c 976 constraints of type <logicor>
0.39/0.44 c transformed objective value is always integral (scale: 1)
0.39/0.44 c Presolving Time: 0.31
0.39/0.44 c - non default parameters ----------------------------------------------------------------------
0.39/0.44 c # SCIP version 1.2.1.2
0.39/0.44 c
0.39/0.44 c # maximal number of intermediate conflict constraints generated in conflict graph (-1: use every intermediate constraint)
0.39/0.44 c # [type: int, range: [-1,2147483647], default: -1]
0.39/0.44 c conflict/interconss = 0
0.39/0.44 c
0.39/0.44 c # should binary conflicts be preferred?
0.39/0.44 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.39/0.44 c conflict/preferbinary = TRUE
0.39/0.44 c
0.39/0.44 c # maximum age an unnecessary constraint can reach before it is deleted (0: dynamic, -1: keep all constraints)
0.39/0.44 c # [type: int, range: [-1,2147483647], default: 0]
0.39/0.44 c constraints/agelimit = 1
0.39/0.44 c
0.39/0.44 c # should enforcement of pseudo solution be disabled?
0.39/0.44 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.39/0.44 c constraints/disableenfops = TRUE
0.39/0.44 c
0.39/0.44 c # frequency for displaying node information lines
0.39/0.44 c # [type: int, range: [-1,2147483647], default: 100]
0.39/0.44 c display/freq = 10000
0.39/0.44 c
0.39/0.44 c # maximal time in seconds to run
0.39/0.44 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.39/0.44 c limits/time = 1799.94
0.39/0.44 c
0.39/0.44 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.39/0.44 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.39/0.44 c limits/memory = 1620
0.39/0.44 c
0.39/0.44 c # frequency for solving LP at the nodes (-1: never; 0: only root LP)
0.39/0.44 c # [type: int, range: [-1,2147483647], default: 1]
0.39/0.44 c lp/solvefreq = 0
0.39/0.44 c
0.39/0.44 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.39/0.44 c # [type: char, range: {lafpsqd}, default: l]
0.39/0.44 c lp/pricing = a
0.39/0.44 c
0.39/0.44 c # should presolving try to simplify inequalities
0.39/0.44 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.39/0.44 c constraints/linear/simplifyinequalities = TRUE
0.39/0.44 c
0.39/0.44 c # should presolving try to simplify knapsacks
0.39/0.44 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.39/0.44 c constraints/knapsack/simplifyinequalities = TRUE
0.39/0.44 c
0.39/0.44 c # priority of node selection rule <dfs> in standard mode
0.39/0.44 c # [type: int, range: [-536870912,536870911], default: 0]
0.39/0.44 c nodeselection/dfs/stdpriority = 1000000
0.39/0.44 c
0.39/0.44 c -----------------------------------------------------------------------------------------------
0.39/0.44 c start solving
0.39/0.44 c
0.39/0.45 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
0.39/0.45 c 0.3s| 1 | 0 | 200 | - |5890k| 0 | 97 | 301 | 976 | 301 | 874 | 0 | 0 | 0 | 9.265000e+02 | -- | Inf
0.59/0.60 c 0.5s| 1 | 0 | 951 | - |5995k| 0 | 100 | 301 | 976 | 301 | 888 | 14 | 0 | 0 | 9.285000e+02 | -- | Inf
0.59/0.67 c 0.6s| 1 | 0 | 1056 | - |6072k| 0 | 112 | 301 | 976 | 301 | 899 | 25 | 0 | 0 | 9.295000e+02 | -- | Inf
0.69/0.77 c 0.7s| 1 | 0 | 1142 | - |6276k| 0 | 97 | 301 | 976 | 301 | 933 | 59 | 0 | 0 | 9.300000e+02 | -- | Inf
0.79/0.86 c 0.7s| 1 | 0 | 1221 | - |6415k| 0 | 130 | 301 | 976 | 301 | 944 | 70 | 0 | 0 | 9.310000e+02 | -- | Inf
1.00/1.01 c 0.9s| 1 | 0 | 1361 | - |6751k| 0 | 139 | 301 | 976 | 301 | 957 | 83 | 0 | 0 | 9.320000e+02 | -- | Inf
1.19/1.23 c 1.1s| 1 | 0 | 1589 | - |6760k| 0 | 136 | 301 | 976 | 301 | 970 | 96 | 0 | 0 | 9.324286e+02 | -- | Inf
1.39/1.41 c 1.3s| 1 | 0 | 1761 | - |6994k| 0 | 156 | 301 | 976 | 301 | 979 | 105 | 0 | 0 | 9.330000e+02 | -- | Inf
1.59/1.67 c 1.5s| 1 | 0 | 2097 | - |7387k| 0 | 113 | 301 | 976 | 301 | 994 | 120 | 0 | 0 | 9.342500e+02 | -- | Inf
1.79/1.82 c 1.7s| 1 | 0 | 2266 | - |7649k| 0 | 161 | 301 | 976 | 301 |1004 | 130 | 0 | 0 | 9.350000e+02 | -- | Inf
1.99/2.07 c 1.9s| 1 | 0 | 2450 | - |7854k| 0 | 111 | 301 | 976 | 301 |1010 | 136 | 0 | 0 | 9.350000e+02 | -- | Inf
2.20/2.29 c 2.1s| 1 | 0 | 2758 | - |8467k| 0 | 125 | 301 | 976 | 301 |1019 | 145 | 0 | 0 | 9.355000e+02 | -- | Inf
2.49/2.51 c 2.4s| 1 | 0 | 3135 | - |8524k| 0 | 144 | 301 | 976 | 301 |1026 | 152 | 0 | 0 | 9.363750e+02 | -- | Inf
2.69/2.74 c 2.6s| 1 | 0 | 3368 | - |9051k| 0 | 142 | 301 | 976 | 301 |1034 | 160 | 0 | 0 | 9.370000e+02 | -- | Inf
2.89/2.98 c 2.8s| 1 | 0 | 3688 | - |9295k| 0 | 164 | 301 | 976 | 301 |1041 | 167 | 0 | 0 | 9.370000e+02 | -- | Inf
3.20/3.20 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
3.20/3.20 c 3.0s| 1 | 0 | 3879 | - |9883k| 0 | 128 | 301 | 976 | 301 |1050 | 176 | 0 | 0 | 9.370000e+02 | -- | Inf
3.39/3.44 c 3.2s| 1 | 0 | 4217 | - |9916k| 0 | 134 | 301 | 976 | 301 |1016 | 184 | 0 | 0 | 9.374048e+02 | -- | Inf
3.49/3.57 c 3.4s| 1 | 0 | 4397 | - | 10M| 0 | 135 | 301 | 976 | 301 |1023 | 191 | 0 | 0 | 9.388333e+02 | -- | Inf
3.69/3.72 c 3.5s| 1 | 0 | 4669 | - | 10M| 0 | 174 | 301 | 976 | 301 |1035 | 203 | 0 | 0 | 9.392778e+02 | -- | Inf
3.79/3.84 c 3.6s| 1 | 0 | 4728 | - | 10M| 0 | 179 | 301 | 976 | 301 |1049 | 217 | 0 | 0 | 9.400000e+02 | -- | Inf
3.99/4.03 c 3.8s| 1 | 0 | 4804 | - | 10M| 0 | 181 | 301 | 976 | 301 |1056 | 224 | 0 | 0 | 9.400000e+02 | -- | Inf
4.09/4.19 c 4.0s| 1 | 0 | 4847 | - | 10M| 0 | 189 | 301 | 976 | 301 |1062 | 230 | 0 | 0 | 9.400000e+02 | -- | Inf
4.30/4.33 c 4.1s| 1 | 0 | 4860 | - | 10M| 0 | 187 | 301 | 976 | 301 |1005 | 234 | 0 | 0 | 9.400000e+02 | -- | Inf
4.40/4.46 c 4.2s| 1 | 0 | 4883 | - | 10M| 0 | 185 | 301 | 976 | 301 |1010 | 239 | 0 | 0 | 9.400000e+02 | -- | Inf
4.49/4.59 c 4.4s| 1 | 0 | 4889 | - | 10M| 0 | 185 | 301 | 976 | 301 |1020 | 249 | 0 | 0 | 9.400000e+02 | -- | Inf
5.79/5.80 c 5.6s| 1 | 2 | 4889 | - | 10M| 0 | 185 | 301 | 976 | 301 |1020 | 249 | 0 | 29 | 9.400000e+02 | -- | Inf
6.39/6.49 c
6.39/6.49 c SCIP Status : problem is solved [infeasible]
6.39/6.49 c Solving Time (sec) : 6.17
6.39/6.49 c Solving Nodes : 1626
6.39/6.49 c Primal Bound : +1.00000000000000e+20 (0 solutions)
6.39/6.49 c Dual Bound : +1.00000000000000e+20
6.39/6.49 c Gap : 0.00 %
6.39/6.49 s UNSATISFIABLE
6.39/6.49 c SCIP Status : problem is solved [infeasible]
6.39/6.49 c Solving Time : 6.17
6.39/6.49 c Original Problem :
6.39/6.49 c Problem name : HOME/instance-2667548-1276454575.opb
6.39/6.49 c Variables : 1972 (1972 binary, 0 integer, 0 implicit integer, 0 continuous)
6.39/6.49 c Constraints : 3301 initial, 3301 maximal
6.39/6.49 c Presolved Problem :
6.39/6.49 c Problem name : t_HOME/instance-2667548-1276454575.opb
6.39/6.49 c Variables : 301 (301 binary, 0 integer, 0 implicit integer, 0 continuous)
6.39/6.49 c Constraints : 976 initial, 1011 maximal
6.39/6.49 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs
6.39/6.49 c trivial : 0.00 0 0 0 0 0 0 0 0
6.39/6.49 c dualfix : 0.00 2 0 0 0 0 0 0 0
6.39/6.49 c boundshift : 0.00 0 0 0 0 0 0 0 0
6.39/6.49 c inttobinary : 0.00 0 0 0 0 0 0 0 0
6.39/6.49 c implics : 0.10 0 1116 0 0 0 0 0 0
6.39/6.49 c probing : 0.09 2 126 0 0 0 0 0 0
6.39/6.49 c linear : 0.08 12 413 0 12 0 2306 48 15
6.39/6.49 c logicor : 0.03 0 0 0 0 0 19 0 0
6.39/6.49 c root node : - 146 - - 146 - - - -
6.39/6.49 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children
6.39/6.49 c integral : 0 0 0 1 0 0 0 0 0 2
6.39/6.49 c logicor : 976+ 24 13916 0 0 849 29376 0 0 0
6.39/6.49 c countsols : 0 0 0 0 0 0 0 0 0 0
6.39/6.49 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS
6.39/6.49 c integral : 1.18 0.00 0.00 1.18 0.00
6.39/6.49 c logicor : 0.21 0.00 0.21 0.00 0.00
6.39/6.49 c countsols : 0.00 0.00 0.00 0.00 0.00
6.39/6.49 c Propagators : Time Calls Cutoffs DomReds
6.39/6.49 c vbounds : 0.00 2 0 0
6.39/6.49 c rootredcost : 0.00 0 0 0
6.39/6.49 c pseudoobj : 0.16 13521 0 0
6.39/6.49 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
6.39/6.49 c propagation : 0.06 847 846 846 4.1 219 4.8 -
6.39/6.49 c infeasible LP : 0.00 0 0 0 0.0 0 0.0 0
6.39/6.49 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
6.39/6.49 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
6.39/6.49 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 -
6.39/6.49 c applied globally : - - - 1065 4.2 - - -
6.39/6.49 c applied locally : - - - 0 0.0 - - -
6.39/6.49 c Separators : Time Calls Cutoffs DomReds Cuts Conss
6.39/6.49 c cut pool : 0.03 23 - - 353 - (maximal pool size: 2390)
6.39/6.49 c redcost : 0.00 24 0 0 0 0
6.39/6.49 c impliedbounds : 0.00 24 0 0 95 0
6.39/6.49 c intobj : 0.00 0 0 0 0 0
6.39/6.49 c cgmip : 0.00 0 0 0 0 0
6.39/6.49 c gomory : 1.61 24 0 0 7736 0
6.39/6.49 c strongcg : 0.94 20 0 0 8413 0
6.39/6.49 c cmir : 0.05 10 0 0 0 0
6.39/6.49 c flowcover : 0.10 10 0 0 2 0
6.39/6.49 c clique : 0.01 24 0 0 142 0
6.39/6.49 c zerohalf : 0.00 0 0 0 0 0
6.39/6.49 c mcf : 0.00 1 0 0 0 0
6.39/6.49 c rapidlearning : 0.00 0 0 0 0 0
6.39/6.49 c Pricers : Time Calls Vars
6.39/6.49 c problem variables: 0.00 0 0
6.39/6.49 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
6.39/6.49 c relpscost : 1.18 1 0 0 0 0 2
6.39/6.49 c pscost : 0.00 0 0 0 0 0 0
6.39/6.49 c inference : 0.04 1154 0 0 0 0 2308
6.39/6.49 c mostinf : 0.00 0 0 0 0 0 0
6.39/6.49 c leastinf : 0.00 0 0 0 0 0 0
6.39/6.49 c fullstrong : 0.00 0 0 0 0 0 0
6.39/6.49 c allfullstrong : 0.00 0 0 0 0 0 0
6.39/6.49 c random : 0.00 0 0 0 0 0 0
6.39/6.49 c Primal Heuristics : Time Calls Found
6.39/6.49 c LP solutions : 0.00 - 0
6.39/6.49 c pseudo solutions : 0.00 - 0
6.39/6.49 c oneopt : 0.00 0 0
6.39/6.49 c crossover : 0.00 0 0
6.39/6.49 c trivial : 0.00 2 0
6.39/6.49 c simplerounding : 0.00 0 0
6.39/6.49 c zirounding : 0.00 1 0
6.39/6.49 c rounding : 0.00 25 0
6.39/6.49 c shifting : 0.02 25 0
6.39/6.49 c intshifting : 0.00 0 0
6.39/6.49 c twoopt : 0.00 0 0
6.39/6.49 c fixandinfer : 0.00 0 0
6.39/6.49 c feaspump : 0.06 1 0
6.39/6.49 c coefdiving : 0.00 0 0
6.39/6.49 c pscostdiving : 0.00 0 0
6.39/6.49 c fracdiving : 0.00 0 0
6.39/6.49 c veclendiving : 0.00 0 0
6.39/6.49 c intdiving : 0.00 0 0
6.39/6.49 c actconsdiving : 0.00 0 0
6.39/6.49 c objpscostdiving : 0.00 0 0
6.39/6.49 c rootsoldiving : 0.00 0 0
6.39/6.49 c linesearchdiving : 0.00 0 0
6.39/6.49 c guideddiving : 0.00 0 0
6.39/6.49 c octane : 0.00 0 0
6.39/6.49 c rens : 0.01 0 0
6.39/6.50 c rins : 0.00 0 0
6.39/6.50 c localbranching : 0.00 0 0
6.39/6.50 c mutation : 0.00 0 0
6.39/6.50 c dins : 0.00 0 0
6.39/6.50 c undercover : 0.00 0 0
6.39/6.50 c nlp : 0.00 0 0
6.39/6.50 c trysol : 0.00 0 0
6.39/6.50 c LP : Time Calls Iterations Iter/call Iter/sec
6.39/6.50 c primal LP : 0.00 0 0 0.00 -
6.39/6.50 c dual LP : 1.16 25 4233 169.32 3649.14
6.39/6.50 c lex dual LP : 0.00 0 0 0.00 -
6.39/6.50 c barrier LP : 0.00 0 0 0.00 -
6.39/6.50 c diving/probing LP: 0.05 19 656 34.53 13120.00
6.39/6.50 c strong branching : 1.18 29 4249 146.52 3600.85
6.39/6.50 c (at root node) : - 29 4249 146.52 -
6.39/6.50 c conflict analysis: 0.00 0 0 0.00 -
6.39/6.50 c B&B Tree :
6.39/6.50 c number of runs : 1
6.39/6.50 c nodes : 1626
6.39/6.50 c nodes (total) : 1626
6.39/6.50 c nodes left : 0
6.39/6.50 c max depth : 32
6.39/6.50 c max depth (total): 32
6.39/6.50 c backtracks : 402 (24.7%)
6.39/6.50 c delayed cutoffs : 685
6.39/6.50 c repropagations : 1562 (12835 domain reductions, 376 cutoffs)
6.39/6.50 c avg switch length: 2.93
6.39/6.50 c switching time : 0.10
6.39/6.50 c Solution :
6.39/6.50 c Solutions found : 0 (0 improvements)
6.39/6.50 c Primal Bound : infeasible
6.39/6.50 c Dual Bound : -
6.39/6.50 c Gap : 0.00 %
6.39/6.50 c Root Dual Bound : +9.40000000000000e+02
6.39/6.50 c Root Iterations : 4889
6.50/6.52 c Time complete: 6.51.