0.00/0.00 c SCIP version 2.1.1.4 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: SoPlex 1.6.0.3] [GitHash: a3bf3a4-dirty]
0.00/0.00 c Copyright (c) 2002-2012 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-3690669-1338026059.opb>
0.06/0.08 c original problem has 18564 variables (18564 bin, 0 int, 0 impl, 0 cont) and 18878 constraints
0.06/0.08 c problem read in 0.08
0.06/0.08 c No objective function, only one solution is needed.
0.06/0.08 c presolving settings loaded
0.18/0.22 c presolving:
0.18/0.28 c (round 1) 2 del vars, 2 del conss, 0 add conss, 2 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 16992 impls, 156 clqs
0.18/0.29 c (round 2) 238 del vars, 13 del conss, 0 add conss, 238 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 16992 impls, 154 clqs
0.29/0.30 c (round 3) 367 del vars, 260 del conss, 0 add conss, 367 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 17100 impls, 154 clqs
0.29/0.31 c (round 4) 475 del vars, 368 del conss, 0 add conss, 475 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 17298 impls, 154 clqs
0.29/0.32 c (round 5) 562 del vars, 455 del conss, 0 add conss, 562 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 17520 impls, 154 clqs
0.29/0.33 c (round 6) 626 del vars, 519 del conss, 0 add conss, 626 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 17746 impls, 154 clqs
0.29/0.33 c (round 7) 669 del vars, 562 del conss, 0 add conss, 669 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 17906 impls, 154 clqs
0.29/0.34 c (round 8) 696 del vars, 589 del conss, 0 add conss, 696 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 18032 impls, 154 clqs
0.29/0.35 c (round 9) 714 del vars, 607 del conss, 0 add conss, 714 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 18074 impls, 154 clqs
0.29/0.35 c (round 10) 728 del vars, 621 del conss, 0 add conss, 728 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 18120 impls, 154 clqs
0.29/0.36 c (round 11) 737 del vars, 630 del conss, 0 add conss, 737 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 18176 impls, 154 clqs
0.29/0.36 c (round 12) 742 del vars, 635 del conss, 0 add conss, 742 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 18206 impls, 154 clqs
0.48/0.54 c (round 13) 742 del vars, 789 del conss, 0 add conss, 742 chg bounds, 0 chg sides, 0 chg coeffs, 17935 upgd conss, 18222 impls, 154 clqs
0.59/0.61 c (round 14) 742 del vars, 789 del conss, 0 add conss, 742 chg bounds, 0 chg sides, 0 chg coeffs, 18089 upgd conss, 18222 impls, 154 clqs
0.68/0.71 c presolving (15 rounds):
0.68/0.71 c 742 deleted vars, 789 deleted constraints, 0 added constraints, 742 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
0.68/0.71 c 18222 implications, 154 cliques
0.68/0.71 c presolved problem has 17822 variables (17822 bin, 0 int, 0 impl, 0 cont) and 18089 constraints
0.68/0.71 c 2225 constraints of type <setppc>
0.68/0.71 c 15864 constraints of type <logicor>
0.68/0.71 c transformed objective value is always integral (scale: 1)
0.68/0.71 c Presolving Time: 0.59
0.68/0.71 c - non default parameters ----------------------------------------------------------------------
0.68/0.71 c # SCIP version 2.1.1.4
0.68/0.71 c
0.68/0.71 c # maximal time in seconds to run
0.68/0.71 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.68/0.71 c limits/time = 1797
0.68/0.71 c
0.68/0.71 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.68/0.71 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.68/0.71 c limits/memory = 13950
0.68/0.71 c
0.68/0.71 c # solving stops, if the given number of solutions were found (-1: no limit)
0.68/0.71 c # [type: int, range: [-1,2147483647], default: -1]
0.68/0.71 c limits/solutions = 1
0.68/0.71 c
0.68/0.71 c # maximal number of separation rounds per node (-1: unlimited)
0.68/0.71 c # [type: int, range: [-1,2147483647], default: 5]
0.68/0.71 c separating/maxrounds = 1
0.68/0.71 c
0.68/0.71 c # maximal number of separation rounds in the root node (-1: unlimited)
0.68/0.71 c # [type: int, range: [-1,2147483647], default: -1]
0.68/0.71 c separating/maxroundsroot = 5
0.68/0.71 c
0.68/0.71 c # default clock type (1: CPU user seconds, 2: wall clock time)
0.68/0.71 c # [type: int, range: [1,2], default: 1]
0.68/0.71 c timing/clocktype = 2
0.68/0.71 c
0.68/0.71 c # belongs reading time to solving time?
0.68/0.71 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.68/0.71 c timing/reading = TRUE
0.68/0.71 c
0.68/0.71 c # should disaggregation of knapsack constraints be allowed in preprocessing?
0.68/0.71 c # [type: bool, range: {TRUE,FALSE}, default: TRUE]
0.68/0.71 c constraints/knapsack/disaggregation = FALSE
0.68/0.71 c
0.68/0.71 c # frequency for calling primal heuristic <coefdiving> (-1: never, 0: only at depth freqofs)
0.68/0.71 c # [type: int, range: [-1,2147483647], default: 10]
0.68/0.71 c heuristics/coefdiving/freq = -1
0.68/0.71 c
0.68/0.71 c # maximal fraction of diving LP iterations compared to node LP iterations
0.68/0.71 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
0.68/0.71 c heuristics/coefdiving/maxlpiterquot = 0.075
0.68/0.71 c
0.68/0.71 c # additional number of allowed LP iterations
0.68/0.71 c # [type: int, range: [0,2147483647], default: 1000]
0.68/0.71 c heuristics/coefdiving/maxlpiterofs = 1500
0.68/0.71 c
0.68/0.71 c # frequency for calling primal heuristic <crossover> (-1: never, 0: only at depth freqofs)
0.68/0.71 c # [type: int, range: [-1,2147483647], default: 30]
0.68/0.71 c heuristics/crossover/freq = -1
0.68/0.71 c
0.68/0.71 c # number of nodes added to the contingent of the total nodes
0.68/0.71 c # [type: longint, range: [0,9223372036854775807], default: 500]
0.68/0.71 c heuristics/crossover/nodesofs = 750
0.68/0.71 c
0.68/0.71 c # number of nodes without incumbent change that heuristic should wait
0.68/0.71 c # [type: longint, range: [0,9223372036854775807], default: 200]
0.68/0.71 c heuristics/crossover/nwaitingnodes = 100
0.68/0.71 c
0.68/0.71 c # contingent of sub problem nodes in relation to the number of nodes of the original problem
0.68/0.71 c # [type: real, range: [0,1], default: 0.1]
0.68/0.71 c heuristics/crossover/nodesquot = 0.15
0.68/0.71 c
0.68/0.71 c # minimum percentage of integer variables that have to be fixed
0.68/0.71 c # [type: real, range: [0,1], default: 0.666]
0.68/0.71 c heuristics/crossover/minfixingrate = 0.5
0.68/0.71 c
0.68/0.71 c # frequency for calling primal heuristic <feaspump> (-1: never, 0: only at depth freqofs)
0.68/0.71 c # [type: int, range: [-1,2147483647], default: 20]
0.68/0.71 c heuristics/feaspump/freq = -1
0.68/0.71 c
0.68/0.71 c # additional number of allowed LP iterations
0.68/0.71 c # [type: int, range: [0,2147483647], default: 1000]
0.68/0.71 c heuristics/feaspump/maxlpiterofs = 2000
0.68/0.71 c
0.68/0.71 c # frequency for calling primal heuristic <fracdiving> (-1: never, 0: only at depth freqofs)
0.68/0.71 c # [type: int, range: [-1,2147483647], default: 10]
0.68/0.71 c heuristics/fracdiving/freq = -1
0.68/0.71 c
0.68/0.71 c # maximal fraction of diving LP iterations compared to node LP iterations
0.68/0.71 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
0.68/0.71 c heuristics/fracdiving/maxlpiterquot = 0.075
0.68/0.71 c
0.68/0.71 c # additional number of allowed LP iterations
0.68/0.71 c # [type: int, range: [0,2147483647], default: 1000]
0.68/0.71 c heuristics/fracdiving/maxlpiterofs = 1500
0.68/0.71 c
0.68/0.71 c # frequency for calling primal heuristic <guideddiving> (-1: never, 0: only at depth freqofs)
0.68/0.71 c # [type: int, range: [-1,2147483647], default: 10]
0.68/0.71 c heuristics/guideddiving/freq = -1
0.68/0.71 c
0.68/0.71 c # maximal fraction of diving LP iterations compared to node LP iterations
0.68/0.71 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
0.68/0.71 c heuristics/guideddiving/maxlpiterquot = 0.075
0.68/0.71 c
0.68/0.71 c # additional number of allowed LP iterations
0.68/0.71 c # [type: int, range: [0,2147483647], default: 1000]
0.68/0.71 c heuristics/guideddiving/maxlpiterofs = 1500
0.68/0.71 c
0.68/0.71 c # maximal fraction of diving LP iterations compared to node LP iterations
0.68/0.71 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
0.68/0.71 c heuristics/intdiving/maxlpiterquot = 0.075
0.68/0.71 c
0.68/0.71 c # frequency for calling primal heuristic <intshifting> (-1: never, 0: only at depth freqofs)
0.68/0.71 c # [type: int, range: [-1,2147483647], default: 10]
0.68/0.71 c heuristics/intshifting/freq = -1
0.68/0.71 c
0.68/0.71 c # frequency for calling primal heuristic <linesearchdiving> (-1: never, 0: only at depth freqofs)
0.68/0.71 c # [type: int, range: [-1,2147483647], default: 10]
0.68/0.71 c heuristics/linesearchdiving/freq = -1
0.68/0.71 c
0.68/0.71 c # maximal fraction of diving LP iterations compared to node LP iterations
0.68/0.71 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
0.68/0.71 c heuristics/linesearchdiving/maxlpiterquot = 0.075
0.68/0.71 c
0.68/0.71 c # additional number of allowed LP iterations
0.68/0.71 c # [type: int, range: [0,2147483647], default: 1000]
0.68/0.71 c heuristics/linesearchdiving/maxlpiterofs = 1500
0.68/0.71 c
0.68/0.71 c # frequency for calling primal heuristic <objpscostdiving> (-1: never, 0: only at depth freqofs)
0.68/0.71 c # [type: int, range: [-1,2147483647], default: 20]
0.68/0.71 c heuristics/objpscostdiving/freq = -1
0.68/0.71 c
0.68/0.71 c # maximal fraction of diving LP iterations compared to total iteration number
0.68/0.71 c # [type: real, range: [0,1], default: 0.01]
0.68/0.71 c heuristics/objpscostdiving/maxlpiterquot = 0.015
0.68/0.71 c
0.68/0.71 c # additional number of allowed LP iterations
0.68/0.71 c # [type: int, range: [0,2147483647], default: 1000]
0.68/0.71 c heuristics/objpscostdiving/maxlpiterofs = 1500
0.68/0.71 c
0.68/0.71 c # frequency for calling primal heuristic <oneopt> (-1: never, 0: only at depth freqofs)
0.68/0.71 c # [type: int, range: [-1,2147483647], default: 1]
0.68/0.71 c heuristics/oneopt/freq = -1
0.68/0.71 c
0.68/0.71 c # frequency for calling primal heuristic <pscostdiving> (-1: never, 0: only at depth freqofs)
0.68/0.71 c # [type: int, range: [-1,2147483647], default: 10]
0.68/0.71 c heuristics/pscostdiving/freq = -1
0.68/0.71 c
0.68/0.71 c # maximal fraction of diving LP iterations compared to node LP iterations
0.68/0.71 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
0.68/0.71 c heuristics/pscostdiving/maxlpiterquot = 0.075
0.68/0.71 c
0.68/0.71 c # additional number of allowed LP iterations
0.68/0.71 c # [type: int, range: [0,2147483647], default: 1000]
0.68/0.71 c heuristics/pscostdiving/maxlpiterofs = 1500
0.68/0.71 c
0.68/0.71 c # frequency for calling primal heuristic <rens> (-1: never, 0: only at depth freqofs)
0.68/0.71 c # [type: int, range: [-1,2147483647], default: 0]
0.68/0.71 c heuristics/rens/freq = -1
0.68/0.71 c
0.68/0.71 c # minimum percentage of integer variables that have to be fixable
0.68/0.71 c # [type: real, range: [0,1], default: 0.5]
0.68/0.71 c heuristics/rens/minfixingrate = 0.3
0.68/0.71 c
0.68/0.71 c # number of nodes added to the contingent of the total nodes
0.68/0.71 c # [type: longint, range: [0,9223372036854775807], default: 500]
0.68/0.71 c heuristics/rens/nodesofs = 2000
0.68/0.71 c
0.68/0.71 c # frequency for calling primal heuristic <rootsoldiving> (-1: never, 0: only at depth freqofs)
0.68/0.71 c # [type: int, range: [-1,2147483647], default: 20]
0.68/0.71 c heuristics/rootsoldiving/freq = -1
0.68/0.71 c
0.68/0.71 c # maximal fraction of diving LP iterations compared to node LP iterations
0.68/0.71 c # [type: real, range: [0,1.79769313486232e+308], default: 0.01]
0.68/0.71 c heuristics/rootsoldiving/maxlpiterquot = 0.015
0.68/0.71 c
0.68/0.71 c # additional number of allowed LP iterations
0.68/0.71 c # [type: int, range: [0,2147483647], default: 1000]
0.68/0.71 c heuristics/rootsoldiving/maxlpiterofs = 1500
0.68/0.71 c
0.68/0.71 c # frequency for calling primal heuristic <rounding> (-1: never, 0: only at depth freqofs)
0.68/0.71 c # [type: int, range: [-1,2147483647], default: 1]
0.68/0.71 c heuristics/rounding/freq = -1
0.68/0.71 c
0.68/0.71 c # frequency for calling primal heuristic <shiftandpropagate> (-1: never, 0: only at depth freqofs)
0.68/0.71 c # [type: int, range: [-1,2147483647], default: 0]
0.68/0.71 c heuristics/shiftandpropagate/freq = -1
0.68/0.71 c
0.68/0.71 c # frequency for calling primal heuristic <shifting> (-1: never, 0: only at depth freqofs)
0.68/0.71 c # [type: int, range: [-1,2147483647], default: 10]
0.68/0.71 c heuristics/shifting/freq = -1
0.68/0.71 c
0.68/0.71 c # frequency for calling primal heuristic <simplerounding> (-1: never, 0: only at depth freqofs)
0.68/0.71 c # [type: int, range: [-1,2147483647], default: 1]
0.68/0.71 c heuristics/simplerounding/freq = -1
0.68/0.71 c
0.68/0.71 c # frequency for calling primal heuristic <subnlp> (-1: never, 0: only at depth freqofs)
0.68/0.71 c # [type: int, range: [-1,2147483647], default: 1]
0.68/0.71 c heuristics/subnlp/freq = -1
0.68/0.71 c
0.68/0.71 c # frequency for calling primal heuristic <trivial> (-1: never, 0: only at depth freqofs)
0.68/0.71 c # [type: int, range: [-1,2147483647], default: 0]
0.68/0.71 c heuristics/trivial/freq = -1
0.68/0.71 c
0.68/0.71 c # frequency for calling primal heuristic <trysol> (-1: never, 0: only at depth freqofs)
0.68/0.71 c # [type: int, range: [-1,2147483647], default: 1]
0.68/0.71 c heuristics/trysol/freq = -1
0.68/0.71 c
0.68/0.71 c # frequency for calling primal heuristic <undercover> (-1: never, 0: only at depth freqofs)
0.68/0.71 c # [type: int, range: [-1,2147483647], default: 0]
0.68/0.71 c heuristics/undercover/freq = -1
0.68/0.71 c
0.68/0.71 c # frequency for calling primal heuristic <veclendiving> (-1: never, 0: only at depth freqofs)
0.68/0.71 c # [type: int, range: [-1,2147483647], default: 10]
0.68/0.71 c heuristics/veclendiving/freq = -1
0.68/0.71 c
0.68/0.71 c # maximal fraction of diving LP iterations compared to node LP iterations
0.68/0.71 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
0.68/0.71 c heuristics/veclendiving/maxlpiterquot = 0.075
0.68/0.71 c
0.68/0.71 c # additional number of allowed LP iterations
0.68/0.71 c # [type: int, range: [0,2147483647], default: 1000]
0.68/0.71 c heuristics/veclendiving/maxlpiterofs = 1500
0.68/0.71 c
0.68/0.71 c # frequency for calling primal heuristic <zirounding> (-1: never, 0: only at depth freqofs)
0.68/0.71 c # [type: int, range: [-1,2147483647], default: 1]
0.68/0.71 c heuristics/zirounding/freq = -1
0.68/0.71 c
0.68/0.71 c # maximal number of presolving rounds the propagator participates in (-1: no limit)
0.68/0.71 c # [type: int, range: [-1,2147483647], default: -1]
0.68/0.71 c propagating/probing/maxprerounds = 0
0.68/0.71 c
0.68/0.71 c # frequency for calling separator <cmir> (-1: never, 0: only in root node)
0.68/0.71 c # [type: int, range: [-1,2147483647], default: 0]
0.68/0.71 c separating/cmir/freq = -1
0.68/0.71 c
0.68/0.71 c # frequency for calling separator <flowcover> (-1: never, 0: only in root node)
0.68/0.71 c # [type: int, range: [-1,2147483647], default: 0]
0.68/0.71 c separating/flowcover/freq = -1
0.68/0.71 c
0.68/0.71 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
0.68/0.71 c # [type: int, range: [-1,2147483647], default: -1]
0.68/0.71 c separating/rapidlearning/freq = 0
0.68/0.71 c
0.68/0.71 c # frequency for calling primal heuristic <indoneopt> (-1: never, 0: only at depth freqofs)
0.68/0.71 c # [type: int, range: [-1,2147483647], default: 1]
0.68/0.71 c heuristics/indoneopt/freq = -1
0.68/0.71 c
0.68/0.71 c -----------------------------------------------------------------------------------------------
0.68/0.71 c start solving
0.68/0.71 c
28.29/28.39 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
28.29/28.39 c 28.4s| 1 | 0 | 18830 | - | 79M| 0 |3534 | 17k| 18k| 17k| 18k| 0 | 0 | 0 | 0.000000e+00 | -- | Inf
52.79/52.80 c 52.8s| 1 | 0 | 30206 | - | 79M| 0 |3824 | 17k| 18k| 17k| 18k| 6 | 0 | 0 | 0.000000e+00 | -- | Inf
97.78/97.89 c 97.9s| 1 | 0 | 47647 | - | 79M| 0 |4092 | 17k| 18k| 17k| 18k| 12 | 0 | 0 | 0.000000e+00 | -- | Inf
131.26/131.39 c 131s| 1 | 0 | 61049 | - | 79M| 0 |4092 | 17k| 18k| 17k| 18k| 19 | 0 | 0 | 0.000000e+00 | -- | Inf
179.45/179.54 c 180s| 1 | 0 | 79032 | - | 79M| 0 |4328 | 17k| 18k| 17k| 18k| 24 | 0 | 0 | 0.000000e+00 | -- | Inf
211.15/211.22 c 211s| 1 | 0 | 91668 | - | 79M| 0 |4254 | 17k| 18k| 17k| 18k| 30 | 0 | 0 | 0.000000e+00 | -- | Inf
258.23/258.37 c 258s| 1 | 2 | 91668 | - | 79M| 0 |4254 | 17k| 18k| 17k| 18k| 30 | 0 | 20 | 0.000000e+00 | -- | Inf
1796.70/1797.03 c
1796.70/1797.03 c SCIP Status : solving was interrupted [time limit reached]
1796.70/1797.03 c Solving Time (sec) : 1797.03
1796.70/1797.03 c Solving Nodes : 25
1796.70/1797.03 c Primal Bound : +1.00000000000000e+20 (0 solutions)
1796.70/1797.03 c Dual Bound : +0.00000000000000e+00
1796.70/1797.03 c Gap : infinite
1796.70/1797.03 s UNKNOWN
1796.70/1797.03 c SCIP Status : solving was interrupted [time limit reached]
1796.70/1797.03 c Total Time : 1797.03
1796.70/1797.03 c solving : 1797.03
1796.70/1797.03 c presolving : 0.59 (included in solving)
1796.70/1797.03 c reading : 0.08 (included in solving)
1796.70/1797.03 c copying : 0.00 (0 times copied the problem)
1796.70/1797.03 c Original Problem :
1796.70/1797.03 c Problem name : HOME/instance-3690669-1338026059.opb
1796.70/1797.03 c Variables : 18564 (18564 binary, 0 integer, 0 implicit integer, 0 continuous)
1796.70/1797.03 c Constraints : 18878 initial, 18878 maximal
1796.70/1797.03 c Objective sense : minimize
1796.70/1797.03 c Presolved Problem :
1796.70/1797.03 c Problem name : t_HOME/instance-3690669-1338026059.opb
1796.70/1797.03 c Variables : 17822 (17822 binary, 0 integer, 0 implicit integer, 0 continuous)
1796.70/1797.03 c Constraints : 18089 initial, 18090 maximal
1796.70/1797.03 c Presolvers : ExecTime SetupTime FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons AddCons ChgSides ChgCoefs
1796.70/1797.03 c domcol : 0.00 0.00 0 0 0 0 0 0 0 0 0
1796.70/1797.03 c trivial : 0.01 0.00 0 0 0 0 0 0 0 0 0
1796.70/1797.03 c dualfix : 0.01 0.00 0 0 0 0 0 0 0 0 0
1796.70/1797.03 c boundshift : 0.00 0.00 0 0 0 0 0 0 0 0 0
1796.70/1797.03 c inttobinary : 0.00 0.00 0 0 0 0 0 0 0 0 0
1796.70/1797.03 c convertinttobin : 0.00 0.00 0 0 0 0 0 0 0 0 0
1796.70/1797.03 c gateextraction : 0.01 0.00 0 0 0 0 0 0 0 0 0
1796.70/1797.03 c implics : 0.01 0.00 0 0 0 0 0 0 0 0 0
1796.70/1797.03 c components : 0.01 0.00 0 0 0 0 0 0 0 0 0
1796.70/1797.03 c pseudoobj : 0.00 0.00 0 0 0 0 0 0 0 0 0
1796.70/1797.03 c probing : 0.00 0.00 0 0 0 0 0 0 0 0 0
1796.70/1797.03 c setppc : 0.01 0.00 0 0 0 0 0 0 0 0 0
1796.70/1797.03 c linear : 0.22 0.00 742 0 0 742 0 789 0 0 0
1796.70/1797.03 c logicor : 0.16 0.01 0 0 0 0 0 0 0 0 0
1796.70/1797.03 c root node : - - 0 - - 0 - - - - -
1796.70/1797.03 c Constraints : Number MaxNumber #Separate #Propagate #EnfoLP #EnfoPS #Check #ResProp Cutoffs DomReds Cuts Conss Children
1796.70/1797.03 c integral : 0 0 0 0 23 0 1 0 0 0 0 0 46
1796.70/1797.03 c setppc : 2225 2225 5 266 0 1 0 40 0 9294 0 0 0
1796.70/1797.03 c logicor : 15864+ 15865 5 206 0 1 0 0 0 4244 0 0 0
1796.70/1797.03 c countsols : 0 0 0 0 0 1 0 0 0 0 0 0 0
1796.70/1797.03 c Constraint Timings : TotalTime SetupTime Separate Propagate EnfoLP EnfoPS Check ResProp
1796.70/1797.03 c integral : 761.38 0.00 0.00 0.00 761.38 0.00 0.00 0.00
1796.70/1797.03 c setppc : 0.02 0.00 0.00 0.02 0.00 0.00 0.00 0.00
1796.70/1797.03 c logicor : 0.03 0.01 0.00 0.02 0.00 0.00 0.00 0.00
1796.70/1797.03 c countsols : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
1796.70/1797.03 c Propagators : #Propagate #ResProp Cutoffs DomReds
1796.70/1797.03 c rootredcost : 0 0 0 0
1796.70/1797.03 c pseudoobj : 0 0 0 0
1796.70/1797.03 c vbounds : 0 0 0 0
1796.70/1797.03 c redcost : 28 0 0 0
1796.70/1797.03 c probing : 0 0 0 0
1796.70/1797.03 c Propagator Timings : TotalTime SetupTime Presolve Propagate ResProp
1796.70/1797.03 c rootredcost : 0.00 0.00 0.00 0.00 0.00
1796.70/1797.03 c pseudoobj : 0.00 0.00 0.00 0.00 0.00
1796.70/1797.03 c vbounds : 0.00 0.00 0.00 0.00 0.00
1796.70/1797.03 c redcost : 0.01 0.00 0.00 0.01 0.00
1796.70/1797.03 c probing : 0.00 0.00 0.00 0.00 0.00
1796.70/1797.03 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1796.70/1797.03 c propagation : 0.00 0 0 0 0.0 0 0.0 -
1796.70/1797.03 c infeasible LP : 0.00 1 1 2 3.0 0 0.0 0
1796.70/1797.03 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1796.70/1797.03 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1796.70/1797.03 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 -
1796.70/1797.03 c applied globally : - - - 1 2.0 - - -
1796.70/1797.03 c applied locally : - - - 0 0.0 - - -
1796.70/1797.03 c Separators : ExecTime SetupTime Calls Cutoffs DomReds Cuts Conss
1796.70/1797.03 c cut pool : 0.00 4 - - 2 - (maximal pool size: 71)
1796.70/1797.03 c closecuts : 0.00 0.00 0 0 0 0 0
1796.70/1797.03 c impliedbounds : 0.00 0.00 5 0 0 0 0
1796.70/1797.03 c intobj : 0.00 0.00 0 0 0 0 0
1796.70/1797.03 c gomory : 5.95 0.00 5 0 0 6 0
1796.70/1797.03 c cgmip : 0.00 0.00 0 0 0 0 0
1796.70/1797.03 c strongcg : 6.05 0.00 5 0 0 54 0
1796.70/1797.03 c cmir : 0.00 0.00 0 0 0 0 0
1796.70/1797.03 c flowcover : 0.00 0.00 0 0 0 0 0
1796.70/1797.03 c clique : 0.89 0.00 5 0 0 30 0
1796.70/1797.03 c zerohalf : 0.00 0.00 0 0 0 0 0
1796.70/1797.03 c mcf : 0.02 0.00 1 0 0 0 0
1796.70/1797.03 c oddcycle : 0.00 0.00 0 0 0 0 0
1796.70/1797.03 c rapidlearning : 0.00 0.00 0 0 0 0 0
1796.70/1797.03 c Pricers : ExecTime SetupTime Calls Vars
1796.70/1797.03 c problem variables: 0.00 - 0 0
1796.70/1797.03 c Branching Rules : ExecTime SetupTime Calls Cutoffs DomReds Cuts Conss Children
1796.70/1797.03 c relpscost : 761.38 0.00 23 0 0 0 0 46
1796.70/1797.03 c pscost : 0.00 0.00 0 0 0 0 0 0
1796.70/1797.03 c inference : 0.00 0.00 1 0 0 0 0 2
1796.70/1797.03 c mostinf : 0.00 0.00 0 0 0 0 0 0
1796.70/1797.03 c leastinf : 0.00 0.00 0 0 0 0 0 0
1796.70/1797.03 c fullstrong : 0.00 0.00 0 0 0 0 0 0
1796.70/1797.03 c allfullstrong : 0.00 0.00 0 0 0 0 0 0
1796.70/1797.03 c random : 0.00 0.00 0 0 0 0 0 0
1796.70/1797.03 c Primal Heuristics : ExecTime SetupTime Calls Found
1796.70/1797.03 c LP solutions : 0.00 - - 0
1796.70/1797.03 c pseudo solutions : 0.00 - - 0
1796.70/1797.03 c smallcard : 0.00 0.00 0 0
1796.70/1797.03 c trivial : 0.02 0.00 1 0
1796.70/1797.03 c shiftandpropagate: 0.00 0.00 0 0
1796.70/1797.03 c simplerounding : 0.00 0.00 0 0
1796.70/1797.03 c zirounding : 0.00 0.00 0 0
1796.70/1797.03 c rounding : 0.00 0.00 0 0
1796.70/1797.03 c shifting : 0.00 0.00 0 0
1796.70/1797.03 c intshifting : 0.00 0.00 0 0
1796.70/1797.03 c oneopt : 0.00 0.00 0 0
1796.70/1797.03 c twoopt : 0.00 0.00 0 0
1796.70/1797.03 c indtwoopt : 0.00 0.00 0 0
1796.70/1797.03 c indoneopt : 0.00 0.00 0 0
1796.70/1797.03 c fixandinfer : 0.00 0.00 0 0
1796.70/1797.03 c feaspump : 0.00 0.00 0 0
1796.70/1797.03 c clique : 0.00 0.00 0 0
1796.70/1797.03 c indrounding : 0.00 0.00 0 0
1796.70/1797.03 c indcoefdiving : 0.00 0.00 0 0
1796.70/1797.03 c coefdiving : 0.00 0.00 0 0
1796.70/1797.03 c pscostdiving : 0.00 0.00 0 0
1796.70/1797.03 c nlpdiving : 0.00 0.00 0 0
1796.70/1797.03 c fracdiving : 0.00 0.00 0 0
1796.70/1797.03 c veclendiving : 0.00 0.00 0 0
1796.70/1797.03 c intdiving : 0.00 0.00 0 0
1796.70/1797.03 c actconsdiving : 0.00 0.00 0 0
1796.70/1797.03 c objpscostdiving : 0.00 0.00 0 0
1796.70/1797.03 c rootsoldiving : 0.00 0.00 0 0
1796.70/1797.03 c linesearchdiving : 0.00 0.00 0 0
1796.70/1797.03 c guideddiving : 0.00 0.00 0 0
1796.70/1797.03 c octane : 0.00 0.00 0 0
1796.70/1797.03 c rens : 0.00 0.00 0 0
1796.70/1797.03 c rins : 0.00 0.00 0 0
1796.70/1797.03 c localbranching : 0.00 0.00 0 0
1796.70/1797.03 c mutation : 0.00 0.00 0 0
1796.70/1797.03 c crossover : 0.00 0.00 0 0
1796.70/1797.03 c dins : 0.00 0.00 0 0
1796.70/1797.03 c vbounds : 0.00 0.00 0 0
1796.70/1797.03 c undercover : 0.00 0.00 0 0
1796.70/1797.03 c subnlp : 0.00 0.00 0 0
1796.70/1797.03 c trysol : 0.00 0.00 0 0
1796.70/1797.03 c LP : Time Calls Iterations Iter/call Iter/sec Time-0-It Calls-0-It
1796.70/1797.03 c primal LP : 0.05 1 0 0.00 0.00 0.05 1
1796.70/1797.03 c dual LP : 1021.67 30 426162 14205.40 417.12 0.00 0
1796.70/1797.03 c lex dual LP : 0.00 0 0 0.00 -
1796.70/1797.03 c barrier LP : 0.00 0 0 0.00 - 0.00 0
1796.70/1797.03 c diving/probing LP: 0.00 0 0 0.00 -
1796.70/1797.03 c strong branching : 761.33 335 334658 998.98 439.57
1796.70/1797.03 c (at root node) : - 20 20000 1000.00 -
1796.70/1797.03 c conflict analysis: 0.00 0 0 0.00 -
1796.70/1797.03 c B&B Tree :
1796.70/1797.03 c number of runs : 1
1796.70/1797.03 c nodes : 25
1796.70/1797.03 c nodes (total) : 25
1796.70/1797.03 c nodes left : 24
1796.70/1797.03 c max depth : 16
1796.70/1797.03 c max depth (total): 16
1796.70/1797.03 c backtracks : 3 (12.0%)
1796.70/1797.03 c delayed cutoffs : 0
1796.70/1797.03 c repropagations : 2 (105 domain reductions, 0 cutoffs)
1796.70/1797.03 c avg switch length: 1.40
1796.70/1797.03 c switching time : 0.08
1796.70/1797.03 c Solution :
1796.70/1797.03 c Solutions found : 0 (0 improvements)
1796.70/1797.03 c Primal Bound : -
1796.70/1797.03 c Dual Bound : +0.00000000000000e+00
1796.70/1797.03 c Gap : infinite
1796.70/1797.03 c Root Dual Bound : +0.00000000000000e+00
1796.70/1797.03 c Root Iterations : 91668
1796.80/1797.14 c Time complete: 1796.84.
runsolver Copyright (C) 2010-2011 Olivier ROUSSEL
This is runsolver version 3.3.1 (svn: 989)
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3690669-1338026059/watcher-3690669-1338026059 -o /tmp/evaluation-result-3690669-1338026059/solver-3690669-1338026059 -C 1800 -W 1900 -M 15500 HOME/scip-2.1.1.4fix.linux.x86_64.gnu.opt.spx -f HOME/instance-3690669-1338026059.opb -t 1800 -m 15500
running on 4 cores: 0,2,4,6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 2.01 2.00 2.00 3/176 30179
/proc/meminfo: memFree=29340624/32873844 swapFree=7100/7100
[pid=30179] ppid=30177 vsize=11160 CPUtime=0 cores=0,2,4,6
/proc/30179/stat : 30179 (scip-2.1.1.4fix) R 30177 30179 29021 0 -1 4202496 1539 0 0 0 0 0 0 0 20 0 1 0 268734474 11427840 1493 33554432000 4194304 10173063 140733417803776 140736469721352 8800002 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/30179/statm: 2790 1497 413 1460 0 1321 0
[startup+0.0767589 s]
/proc/loadavg: 2.01 2.00 2.00 3/176 30179
/proc/meminfo: memFree=29340624/32873844 swapFree=7100/7100
[pid=30179] ppid=30177 vsize=32780 CPUtime=0.06 cores=0,2,4,6
/proc/30179/stat : 30179 (scip-2.1.1.4fix) R 30177 30179 29021 0 -1 4202496 6917 0 0 0 6 0 0 0 20 0 1 0 268734474 33566720 6871 33554432000 4194304 10173063 140733417803776 140736469721352 7545739 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/30179/statm: 8195 6871 413 1460 0 6726 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 32780
[startup+0.100321 s]
/proc/loadavg: 2.01 2.00 2.00 3/176 30179
/proc/meminfo: memFree=29340624/32873844 swapFree=7100/7100
[pid=30179] ppid=30177 vsize=45948 CPUtime=0.09 cores=0,2,4,6
/proc/30179/stat : 30179 (scip-2.1.1.4fix) R 30177 30179 29021 0 -1 4202496 10170 0 0 0 8 1 0 0 20 0 1 0 268734474 47050752 10124 33554432000 4194304 10173063 140733417803776 140736469721352 4956123 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/30179/statm: 11743 10126 463 1460 0 10274 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 45948
[startup+0.300274 s]
/proc/loadavg: 2.01 2.00 2.00 3/176 30179
/proc/meminfo: memFree=29340624/32873844 swapFree=7100/7100
[pid=30179] ppid=30177 vsize=90588 CPUtime=0.29 cores=0,2,4,6
/proc/30179/stat : 30179 (scip-2.1.1.4fix) R 30177 30179 29021 0 -1 4202496 21005 0 0 0 26 3 0 0 20 0 1 0 268734474 92762112 20663 33554432000 4194304 10173063 140733417803776 140736469721352 8963895 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/30179/statm: 22647 20663 561 1460 0 21178 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 90588
[startup+0.700271 s]
/proc/loadavg: 2.01 2.00 2.00 3/176 30179
/proc/meminfo: memFree=29340624/32873844 swapFree=7100/7100
[pid=30179] ppid=30177 vsize=111008 CPUtime=0.68 cores=0,2,4,6
/proc/30179/stat : 30179 (scip-2.1.1.4fix) R 30177 30179 29021 0 -1 4202496 26894 0 0 0 61 7 0 0 20 0 1 0 268734474 113672192 25836 33554432000 4194304 10173063 140733417803776 140736469721352 5349373 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/30179/statm: 27752 25836 584 1460 0 26283 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 111008
[startup+1.50026 s]
/proc/loadavg: 2.01 2.00 2.00 3/177 30180
/proc/meminfo: memFree=29195748/32873844 swapFree=7100/7100
[pid=30179] ppid=30177 vsize=158468 CPUtime=1.49 cores=0,2,4,6
/proc/30179/stat : 30179 (scip-2.1.1.4fix) R 30177 30179 29021 0 -1 4202496 38556 0 0 0 139 10 0 0 20 0 1 0 268734474 162271232 37293 33554432000 4194304 10173063 140733417803776 140733417797032 8982074 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/30179/statm: 39617 37293 733 1460 0 38148 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 158468
[startup+3.10026 s]
/proc/loadavg: 2.01 2.00 2.00 3/177 30180
/proc/meminfo: memFree=29193260/32873844 swapFree=7100/7100
[pid=30179] ppid=30177 vsize=158824 CPUtime=3.09 cores=0,2,4,6
/proc/30179/stat : 30179 (scip-2.1.1.4fix) R 30177 30179 29021 0 -1 4202496 38760 0 0 0 299 10 0 0 20 0 1 0 268734474 162635776 37461 33554432000 4194304 10173063 140733417803776 140733417797032 8982074 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/30179/statm: 39706 37461 733 1460 0 38237 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 158824
[startup+6.30026 s]
/proc/loadavg: 2.01 2.00 2.00 3/177 30180
/proc/meminfo: memFree=29192144/32873844 swapFree=7100/7100
[pid=30179] ppid=30177 vsize=159548 CPUtime=6.29 cores=0,2,4,6
/proc/30179/stat : 30179 (scip-2.1.1.4fix) R 30177 30179 29021 0 -1 4202496 38954 0 0 0 618 11 0 0 20 0 1 0 268734474 163377152 37655 33554432000 4194304 10173063 140733417803776 140733417797032 8982074 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/30179/statm: 39887 37655 733 1460 0 38418 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 159548
[startup+12.7003 s]
/proc/loadavg: 2.01 2.00 2.00 3/177 30180
/proc/meminfo: memFree=29188820/32873844 swapFree=7100/7100
[pid=30179] ppid=30177 vsize=162452 CPUtime=12.69 cores=0,2,4,6
/proc/30179/stat : 30179 (scip-2.1.1.4fix) R 30177 30179 29021 0 -1 4202496 39798 0 0 0 1257 12 0 0 20 0 1 0 268734474 166350848 38499 33554432000 4194304 10173063 140733417803776 140733417797400 8982074 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/30179/statm: 40613 38499 737 1460 0 39144 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 162452
[startup+25.5003 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 30180
/proc/meminfo: memFree=29186744/32873844 swapFree=7100/7100
[pid=30179] ppid=30177 vsize=164792 CPUtime=25.48 cores=0,2,4,6
/proc/30179/stat : 30179 (scip-2.1.1.4fix) R 30177 30179 29021 0 -1 4202496 40269 0 0 0 2535 13 0 0 20 0 1 0 268734474 168747008 38970 33554432000 4194304 10173063 140733417803776 140733417797400 8982074 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/30179/statm: 41198 38970 737 1460 0 39729 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 164792
[startup+51.1003 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 30180
/proc/meminfo: memFree=29183800/32873844 swapFree=7100/7100
[pid=30179] ppid=30177 vsize=164800 CPUtime=51.08 cores=0,2,4,6
/proc/30179/stat : 30179 (scip-2.1.1.4fix) R 30177 30179 29021 0 -1 4202496 41540 0 0 0 5091 17 0 0 20 0 1 0 268734474 168755200 39494 33554432000 4194304 10173063 140733417803776 140733417796952 8982074 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/30179/statm: 41200 39494 763 1460 0 39731 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 164800
[startup+102.307 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 30180
/proc/meminfo: memFree=29178452/32873844 swapFree=7100/7100
[pid=30179] ppid=30177 vsize=166688 CPUtime=102.28 cores=0,2,4,6
/proc/30179/stat : 30179 (scip-2.1.1.4fix) R 30177 30179 29021 0 -1 4202496 42155 0 0 0 10206 22 0 0 20 0 1 0 268734474 170688512 40219 33554432000 4194304 10173063 140733417803776 140733417797128 7986142 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/30179/statm: 41672 40219 770 1460 0 40203 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 166688
[startup+162.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 30180
/proc/meminfo: memFree=29174824/32873844 swapFree=7100/7100
[pid=30179] ppid=30177 vsize=171296 CPUtime=162.24 cores=0,2,4,6
/proc/30179/stat : 30179 (scip-2.1.1.4fix) R 30177 30179 29021 0 -1 4202496 43141 0 0 0 16196 28 0 0 20 0 1 0 268734474 175407104 41730 33554432000 4194304 10173063 140733417803776 140733417797400 8982074 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/30179/statm: 42824 41730 770 1460 0 41355 0
Current children cumulated CPU time (s) 162.24
Current children cumulated vsize (KiB) 171296
[startup+222.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 30180
/proc/meminfo: memFree=29172192/32873844 swapFree=7100/7100
[pid=30179] ppid=30177 vsize=171544 CPUtime=222.24 cores=0,2,4,6
/proc/30179/stat : 30179 (scip-2.1.1.4fix) R 30177 30179 29021 0 -1 4202496 43361 0 0 0 22188 36 0 0 20 0 1 0 268734474 175661056 41956 33554432000 4194304 10173063 140733417803776 140733417797224 8982074 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/30179/statm: 42886 41956 774 1460 0 41417 0
Current children cumulated CPU time (s) 222.24
Current children cumulated vsize (KiB) 171544
[startup+282.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 30181
/proc/meminfo: memFree=29172316/32873844 swapFree=7100/7100
[pid=30179] ppid=30177 vsize=171544 CPUtime=282.23 cores=0,2,4,6
/proc/30179/stat : 30179 (scip-2.1.1.4fix) R 30177 30179 29021 0 -1 4202496 43374 0 0 0 28180 43 0 0 20 0 1 0 268734474 175661056 41969 33554432000 4194304 10173063 140733417803776 140733417796952 8008934 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/30179/statm: 42886 41969 780 1460 0 41417 0
Current children cumulated CPU time (s) 282.23
Current children cumulated vsize (KiB) 171544
[startup+342.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 30184
/proc/meminfo: memFree=29171988/32873844 swapFree=7100/7100
[pid=30179] ppid=30177 vsize=171544 CPUtime=342.22 cores=0,2,4,6
/proc/30179/stat : 30179 (scip-2.1.1.4fix) R 30177 30179 29021 0 -1 4202496 43374 0 0 0 34173 49 0 0 20 0 1 0 268734474 175661056 41969 33554432000 4194304 10173063 140733417803776 140733417797272 8982074 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/30179/statm: 42886 41969 780 1460 0 41417 0
Current children cumulated CPU time (s) 342.22
Current children cumulated vsize (KiB) 171544
[startup+402.3 s]
/proc/loadavg: 2.10 2.03 2.01 3/178 30184
/proc/meminfo: memFree=29172244/32873844 swapFree=7100/7100
[pid=30179] ppid=30177 vsize=171544 CPUtime=402.21 cores=0,2,4,6
/proc/30179/stat : 30179 (scip-2.1.1.4fix) R 30177 30179 29021 0 -1 4202496 43374 0 0 0 40166 55 0 0 20 0 1 0 268734474 175661056 41969 33554432000 4194304 10173063 140733417803776 140733417796952 8008940 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/30179/statm: 42886 41969 780 1460 0 41417 0
Current children cumulated CPU time (s) 402.21
Current children cumulated vsize (KiB) 171544
[startup+462.3 s]
/proc/loadavg: 2.04 2.02 2.00 3/177 30207
/proc/meminfo: memFree=29176028/32873844 swapFree=7100/7100
[pid=30179] ppid=30177 vsize=167876 CPUtime=462.2 cores=0,2,4,6
/proc/30179/stat : 30179 (scip-2.1.1.4fix) R 30177 30179 29021 0 -1 4202496 44316 0 0 0 46160 60 0 0 20 0 1 0 268734474 171905024 41050 33554432000 4194304 10173063 140733417803776 140733417797448 8982074 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/30179/statm: 41969 41050 780 1460 0 40500 0
Current children cumulated CPU time (s) 462.2
Current children cumulated vsize (KiB) 167876
[startup+522.3 s]
/proc/loadavg: 2.01 2.02 2.00 3/177 30207
/proc/meminfo: memFree=29172564/32873844 swapFree=7100/7100
[pid=30179] ppid=30177 vsize=171364 CPUtime=522.19 cores=0,2,4,6
/proc/30179/stat : 30179 (scip-2.1.1.4fix) R 30177 30179 29021 0 -1 4202496 45154 0 0 0 52152 67 0 0 20 0 1 0 268734474 175476736 41888 33554432000 4194304 10173063 140733417803776 140733417797224 8982074 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/30179/statm: 42841 41888 780 1460 0 41372 0
Current children cumulated CPU time (s) 522.19
Current children cumulated vsize (KiB) 171364
[startup+582.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/177 30208
/proc/meminfo: memFree=29170824/32873844 swapFree=7100/7100
[pid=30179] ppid=30177 vsize=172848 CPUtime=582.18 cores=0,2,4,6
/proc/30179/stat : 30179 (scip-2.1.1.4fix) R 30177 30179 29021 0 -1 4202496 45569 0 0 0 58145 73 0 0 20 0 1 0 268734474 176996352 42303 33554432000 4194304 10173063 140733417803776 140733417797032 8982074 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/30179/statm: 43212 42303 780 1460 0 41743 0
Current children cumulated CPU time (s) 582.18
Current children cumulated vsize (KiB) 172848
[startup+642.3 s]
################
# More data... #
################
/proc/meminfo: memFree=27472548/32873844 swapFree=7100/7100
[pid=30179] ppid=30177 vsize=173600 CPUtime=1062.1 cores=0,2,4,6
/proc/30179/stat : 30179 (scip-2.1.1.4fix) R 30177 30179 29021 0 -1 4202496 87983 0 0 0 106080 130 0 0 20 0 1 0 268734474 177766400 42229 33554432000 4194304 10173063 140733417803776 140733417797608 8982074 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/30179/statm: 43400 42229 785 1460 0 41931 0
Current children cumulated CPU time (s) 1062.1
Current children cumulated vsize (KiB) 173600
[startup+1122.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 30251
/proc/meminfo: memFree=27453480/32873844 swapFree=7100/7100
[pid=30179] ppid=30177 vsize=168092 CPUtime=1122.1 cores=0,2,4,6
/proc/30179/stat : 30179 (scip-2.1.1.4fix) R 30177 30179 29021 0 -1 4202496 149817 0 0 0 112063 147 0 0 20 0 1 0 268734474 172126208 40944 33554432000 4194304 10173063 140733417803776 140733417797224 8982074 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/30179/statm: 42023 40944 785 1460 0 40554 0
Current children cumulated CPU time (s) 1122.1
Current children cumulated vsize (KiB) 168092
[startup+1182.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 30252
/proc/meminfo: memFree=27448116/32873844 swapFree=7100/7100
[pid=30179] ppid=30177 vsize=174320 CPUtime=1182.09 cores=0,2,4,6
/proc/30179/stat : 30179 (scip-2.1.1.4fix) R 30177 30179 29021 0 -1 4202496 202610 0 0 0 118043 166 0 0 20 0 1 0 268734474 178503680 42471 33554432000 4194304 10173063 140733417803776 140733417797032 8982074 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/30179/statm: 43580 42471 785 1460 0 42111 0
Current children cumulated CPU time (s) 1182.09
Current children cumulated vsize (KiB) 174320
[startup+1242.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 30252
/proc/meminfo: memFree=27259096/32873844 swapFree=7100/7100
[pid=30179] ppid=30177 vsize=170712 CPUtime=1242.08 cores=0,2,4,6
/proc/30179/stat : 30179 (scip-2.1.1.4fix) R 30177 30179 29021 0 -1 4202496 233466 0 0 0 124030 178 0 0 20 0 1 0 268734474 174809088 41605 33554432000 4194304 10173063 140733417803776 140733417796728 8982074 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/30179/statm: 42678 41605 785 1460 0 41209 0
Current children cumulated CPU time (s) 1242.08
Current children cumulated vsize (KiB) 170712
[startup+1302.3 s]
/proc/loadavg: 2.03 2.01 2.00 3/177 30252
/proc/meminfo: memFree=27172512/32873844 swapFree=7100/7100
[pid=30179] ppid=30177 vsize=171004 CPUtime=1302.08 cores=0,2,4,6
/proc/30179/stat : 30179 (scip-2.1.1.4fix) R 30177 30179 29021 0 -1 4202496 247893 0 0 0 130020 188 0 0 20 0 1 0 268734474 175108096 41875 33554432000 4194304 10173063 140733417803776 140733417797224 7986126 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/30179/statm: 42751 41875 785 1460 0 41282 0
Current children cumulated CPU time (s) 1302.08
Current children cumulated vsize (KiB) 171004
[startup+1362.3 s]
/proc/loadavg: 2.01 2.01 2.00 3/177 30252
/proc/meminfo: memFree=27173408/32873844 swapFree=7100/7100
[pid=30179] ppid=30177 vsize=172124 CPUtime=1362.06 cores=0,2,4,6
/proc/30179/stat : 30179 (scip-2.1.1.4fix) R 30177 30179 29021 0 -1 4202496 251414 0 0 0 136010 196 0 0 20 0 1 0 268734474 176254976 41848 33554432000 4194304 10173063 140733417803776 140733417797448 8982074 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/30179/statm: 43031 41848 785 1460 0 41562 0
Current children cumulated CPU time (s) 1362.06
Current children cumulated vsize (KiB) 172124
[startup+1422.31 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 30252
/proc/meminfo: memFree=27101504/32873844 swapFree=7100/7100
[pid=30179] ppid=30177 vsize=170752 CPUtime=1422.06 cores=0,2,4,6
/proc/30179/stat : 30179 (scip-2.1.1.4fix) R 30177 30179 29021 0 -1 4202496 253332 0 0 0 142004 202 0 0 20 0 1 0 268734474 174850048 41792 33554432000 4194304 10173063 140733417803776 140733417797224 8982074 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/30179/statm: 42688 41792 785 1460 0 41219 0
Current children cumulated CPU time (s) 1422.06
Current children cumulated vsize (KiB) 170752
[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 30253
/proc/meminfo: memFree=27099116/32873844 swapFree=7100/7100
[pid=30179] ppid=30177 vsize=172936 CPUtime=1482.04 cores=0,2,4,6
/proc/30179/stat : 30179 (scip-2.1.1.4fix) R 30177 30179 29021 0 -1 4202496 253794 0 0 0 147996 208 0 0 20 0 1 0 268734474 177086464 42254 33554432000 4194304 10173063 140733417803776 140733417797032 8982074 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/30179/statm: 43234 42254 785 1460 0 41765 0
Current children cumulated CPU time (s) 1482.04
Current children cumulated vsize (KiB) 172936
[startup+1542.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/180 30256
/proc/meminfo: memFree=27099716/32873844 swapFree=7100/7100
[pid=30179] ppid=30177 vsize=171800 CPUtime=1542.04 cores=0,2,4,6
/proc/30179/stat : 30179 (scip-2.1.1.4fix) R 30177 30179 29021 0 -1 4202496 255373 0 0 0 153989 215 0 0 20 0 1 0 268734474 175923200 41930 33554432000 4194304 10173063 140733417803776 140733417797128 8982074 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/30179/statm: 42950 41930 785 1460 0 41481 0
Current children cumulated CPU time (s) 1542.04
Current children cumulated vsize (KiB) 171800
[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 30256
/proc/meminfo: memFree=27098172/32873844 swapFree=7100/7100
[pid=30179] ppid=30177 vsize=171800 CPUtime=1602.03 cores=0,2,4,6
/proc/30179/stat : 30179 (scip-2.1.1.4fix) R 30177 30179 29021 0 -1 4202496 255378 0 0 0 159982 221 0 0 20 0 1 0 268734474 175923200 41935 33554432000 4194304 10173063 140733417803776 140733417797224 8982074 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/30179/statm: 42950 41935 785 1460 0 41481 0
Current children cumulated CPU time (s) 1602.03
Current children cumulated vsize (KiB) 171800
[startup+1662.3 s]
/proc/loadavg: 2.03 2.01 2.00 3/177 30256
/proc/meminfo: memFree=27091512/32873844 swapFree=7100/7100
[pid=30179] ppid=30177 vsize=172856 CPUtime=1662.02 cores=0,2,4,6
/proc/30179/stat : 30179 (scip-2.1.1.4fix) R 30177 30179 29021 0 -1 4202496 255758 0 0 0 165974 228 0 0 20 0 1 0 268734474 177004544 42315 33554432000 4194304 10173063 140733417803776 140733417797032 8982074 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/30179/statm: 43214 42315 785 1460 0 41745 0
Current children cumulated CPU time (s) 1662.02
Current children cumulated vsize (KiB) 172856
[startup+1722.3 s]
/proc/loadavg: 2.04 2.02 2.00 3/177 30256
/proc/meminfo: memFree=27085588/32873844 swapFree=7100/7100
[pid=30179] ppid=30177 vsize=172856 CPUtime=1722.01 cores=0,2,4,6
/proc/30179/stat : 30179 (scip-2.1.1.4fix) R 30177 30179 29021 0 -1 4202496 255758 0 0 0 171968 233 0 0 20 0 1 0 268734474 177004544 42315 33554432000 4194304 10173063 140733417803776 140733417797224 8982074 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/30179/statm: 43214 42315 785 1460 0 41745 0
Current children cumulated CPU time (s) 1722.01
Current children cumulated vsize (KiB) 172856
[startup+1782.3 s]
/proc/loadavg: 2.05 2.03 2.00 3/177 30257
/proc/meminfo: memFree=27069620/32873844 swapFree=7100/7100
[pid=30179] ppid=30177 vsize=172856 CPUtime=1782 cores=0,2,4,6
/proc/30179/stat : 30179 (scip-2.1.1.4fix) R 30177 30179 29021 0 -1 4202496 255758 0 0 0 177960 240 0 0 20 0 1 0 268734474 177004544 42315 33554432000 4194304 10173063 140733417803776 140733417797128 8982074 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/30179/statm: 43214 42315 785 1460 0 41745 0
Current children cumulated CPU time (s) 1782
Current children cumulated vsize (KiB) 172856
Solver just ended. Dumping a history of the last processes samples
[startup+1785.5 s]
/proc/loadavg: 2.05 2.03 2.00 3/177 30257
/proc/meminfo: memFree=27070104/32873844 swapFree=7100/7100
[pid=30179] ppid=30177 vsize=172856 CPUtime=1785.2 cores=0,2,4,6
/proc/30179/stat : 30179 (scip-2.1.1.4fix) R 30177 30179 29021 0 -1 4202496 255758 0 0 0 178280 240 0 0 20 0 1 0 268734474 177004544 42315 33554432000 4194304 10173063 140733417803776 140733417797128 8982074 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/30179/statm: 43214 42315 785 1460 0 41745 0
Current children cumulated CPU time (s) 1785.2
Current children cumulated vsize (KiB) 172856
[startup+1791.91 s]
/proc/loadavg: 2.12 2.04 2.01 3/177 30257
/proc/meminfo: memFree=27069980/32873844 swapFree=7100/7100
[pid=30179] ppid=30177 vsize=172856 CPUtime=1791.6 cores=0,2,4,6
/proc/30179/stat : 30179 (scip-2.1.1.4fix) R 30177 30179 29021 0 -1 4202496 255758 0 0 0 178919 241 0 0 20 0 1 0 268734474 177004544 42315 33554432000 4194304 10173063 140733417803776 140733417797032 7986020 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/30179/statm: 43214 42315 785 1460 0 41745 0
Current children cumulated CPU time (s) 1791.6
Current children cumulated vsize (KiB) 172856
[startup+1795.1 s]
/proc/loadavg: 2.11 2.04 2.00 3/177 30257
/proc/meminfo: memFree=27069908/32873844 swapFree=7100/7100
[pid=30179] ppid=30177 vsize=172856 CPUtime=1794.81 cores=0,2,4,6
/proc/30179/stat : 30179 (scip-2.1.1.4fix) R 30177 30179 29021 0 -1 4202496 255758 0 0 0 179239 242 0 0 20 0 1 0 268734474 177004544 42315 33554432000 4194304 10173063 140733417803776 140733417797032 8025716 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/30179/statm: 43214 42315 785 1460 0 41745 0
Current children cumulated CPU time (s) 1794.81
Current children cumulated vsize (KiB) 172856
[startup+1795.9 s]
/proc/loadavg: 2.11 2.04 2.00 3/177 30257
/proc/meminfo: memFree=27069908/32873844 swapFree=7100/7100
[pid=30179] ppid=30177 vsize=172856 CPUtime=1795.6 cores=0,2,4,6
/proc/30179/stat : 30179 (scip-2.1.1.4fix) R 30177 30179 29021 0 -1 4202496 255758 0 0 0 179318 242 0 0 20 0 1 0 268734474 177004544 42315 33554432000 4194304 10173063 140733417803776 140733417797032 8982074 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/30179/statm: 43214 42315 785 1460 0 41745 0
Current children cumulated CPU time (s) 1795.6
Current children cumulated vsize (KiB) 172856
[startup+1796.7 s]
/proc/loadavg: 2.11 2.04 2.00 3/177 30257
/proc/meminfo: memFree=27070032/32873844 swapFree=7100/7100
[pid=30179] ppid=30177 vsize=172856 CPUtime=1796.4 cores=0,2,4,6
/proc/30179/stat : 30179 (scip-2.1.1.4fix) R 30177 30179 29021 0 -1 4202496 255758 0 0 0 179398 242 0 0 20 0 1 0 268734474 177004544 42315 33554432000 4194304 10173063 140733417803776 140733417797128 8982074 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/30179/statm: 43214 42315 785 1460 0 41745 0
Current children cumulated CPU time (s) 1796.4
Current children cumulated vsize (KiB) 172856
[startup+1797.1 s]
/proc/loadavg: 2.11 2.04 2.00 3/177 30257
/proc/meminfo: memFree=27070032/32873844 swapFree=7100/7100
[pid=30179] ppid=30177 vsize=169428 CPUtime=1796.8 cores=0,2,4,6
/proc/30179/stat : 30179 (scip-2.1.1.4fix) R 30177 30179 29021 0 -1 4202496 255772 0 0 0 179438 242 0 0 20 0 1 0 268734474 173494272 41478 33554432000 4194304 10173063 140733417803776 140733417796296 5885472 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/30179/statm: 42357 41478 799 1460 0 40888 0
Current children cumulated CPU time (s) 1796.8
Current children cumulated vsize (KiB) 169428
Child status: 0
Real time (s): 1797.14
CPU time (s): 1796.85
CPU user time (s): 1794.42
CPU system time (s): 2.43163
CPU usage (%): 99.9837
Max. virtual memory (cumulated for all children) (KiB): 176520
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1794.42
system time used= 2.43163
maximum resident set size= 172296
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 255785
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 21
involuntary context switches= 1909
runsolver used 2.59161 second user time and 8.98963 second system time
The end