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-3690664-1338026071.opb>
0.00/0.08 c original problem has 16660 variables (16660 bin, 0 int, 0 impl, 0 cont) and 16942 constraints
0.00/0.08 c problem read in 0.08
0.00/0.08 c No objective function, only one solution is needed.
0.00/0.08 c presolving settings loaded
0.19/0.21 c presolving:
0.29/0.30 c (round 1) 2 del vars, 2 del conss, 0 add conss, 2 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 15120 impls, 140 clqs
0.29/0.32 c (round 2) 238 del vars, 13 del conss, 0 add conss, 238 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 15120 impls, 138 clqs
0.29/0.34 c (round 3) 367 del vars, 260 del conss, 0 add conss, 367 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 15228 impls, 138 clqs
0.29/0.36 c (round 4) 475 del vars, 368 del conss, 0 add conss, 475 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 15426 impls, 138 clqs
0.29/0.38 c (round 5) 562 del vars, 455 del conss, 0 add conss, 562 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 15648 impls, 138 clqs
0.29/0.39 c (round 6) 626 del vars, 519 del conss, 0 add conss, 626 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 15874 impls, 138 clqs
0.39/0.41 c (round 7) 669 del vars, 562 del conss, 0 add conss, 669 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 16034 impls, 138 clqs
0.39/0.43 c (round 8) 696 del vars, 589 del conss, 0 add conss, 696 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 16160 impls, 138 clqs
0.39/0.44 c (round 9) 714 del vars, 607 del conss, 0 add conss, 714 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 16202 impls, 138 clqs
0.39/0.46 c (round 10) 728 del vars, 621 del conss, 0 add conss, 728 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 16248 impls, 138 clqs
0.39/0.47 c (round 11) 737 del vars, 630 del conss, 0 add conss, 737 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 16304 impls, 138 clqs
0.39/0.49 c (round 12) 742 del vars, 635 del conss, 0 add conss, 742 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 16334 impls, 138 clqs
0.59/0.69 c (round 13) 742 del vars, 773 del conss, 0 add conss, 742 chg bounds, 0 chg sides, 0 chg coeffs, 16031 upgd conss, 16350 impls, 138 clqs
0.69/0.78 c (round 14) 742 del vars, 773 del conss, 0 add conss, 742 chg bounds, 0 chg sides, 0 chg coeffs, 16169 upgd conss, 16350 impls, 138 clqs
0.79/0.89 c presolving (15 rounds):
0.79/0.89 c 742 deleted vars, 773 deleted constraints, 0 added constraints, 742 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
0.79/0.89 c 16350 implications, 138 cliques
0.79/0.89 c presolved problem has 15918 variables (15918 bin, 0 int, 0 impl, 0 cont) and 16169 constraints
0.79/0.89 c 2001 constraints of type <setppc>
0.79/0.89 c 14168 constraints of type <logicor>
0.79/0.89 c transformed objective value is always integral (scale: 1)
0.79/0.89 c Presolving Time: 0.77
0.79/0.89 c - non default parameters ----------------------------------------------------------------------
0.79/0.89 c # SCIP version 2.1.1.4
0.79/0.89 c
0.79/0.89 c # maximal time in seconds to run
0.79/0.89 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.79/0.89 c limits/time = 1797
0.79/0.89 c
0.79/0.89 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.79/0.89 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.79/0.89 c limits/memory = 13950
0.79/0.89 c
0.79/0.89 c # solving stops, if the given number of solutions were found (-1: no limit)
0.79/0.89 c # [type: int, range: [-1,2147483647], default: -1]
0.79/0.89 c limits/solutions = 1
0.79/0.89 c
0.79/0.89 c # maximal number of separation rounds per node (-1: unlimited)
0.79/0.89 c # [type: int, range: [-1,2147483647], default: 5]
0.79/0.89 c separating/maxrounds = 1
0.79/0.89 c
0.79/0.89 c # maximal number of separation rounds in the root node (-1: unlimited)
0.79/0.89 c # [type: int, range: [-1,2147483647], default: -1]
0.79/0.89 c separating/maxroundsroot = 5
0.79/0.89 c
0.79/0.89 c # default clock type (1: CPU user seconds, 2: wall clock time)
0.79/0.89 c # [type: int, range: [1,2], default: 1]
0.79/0.89 c timing/clocktype = 2
0.79/0.89 c
0.79/0.89 c # belongs reading time to solving time?
0.79/0.89 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.79/0.89 c timing/reading = TRUE
0.79/0.89 c
0.79/0.89 c # should disaggregation of knapsack constraints be allowed in preprocessing?
0.79/0.89 c # [type: bool, range: {TRUE,FALSE}, default: TRUE]
0.79/0.89 c constraints/knapsack/disaggregation = FALSE
0.79/0.89 c
0.79/0.89 c # frequency for calling primal heuristic <coefdiving> (-1: never, 0: only at depth freqofs)
0.79/0.89 c # [type: int, range: [-1,2147483647], default: 10]
0.79/0.89 c heuristics/coefdiving/freq = -1
0.79/0.89 c
0.79/0.89 c # maximal fraction of diving LP iterations compared to node LP iterations
0.79/0.89 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
0.79/0.89 c heuristics/coefdiving/maxlpiterquot = 0.075
0.79/0.89 c
0.79/0.89 c # additional number of allowed LP iterations
0.79/0.89 c # [type: int, range: [0,2147483647], default: 1000]
0.79/0.89 c heuristics/coefdiving/maxlpiterofs = 1500
0.79/0.89 c
0.79/0.89 c # frequency for calling primal heuristic <crossover> (-1: never, 0: only at depth freqofs)
0.79/0.89 c # [type: int, range: [-1,2147483647], default: 30]
0.79/0.89 c heuristics/crossover/freq = -1
0.79/0.89 c
0.79/0.89 c # number of nodes added to the contingent of the total nodes
0.79/0.89 c # [type: longint, range: [0,9223372036854775807], default: 500]
0.79/0.89 c heuristics/crossover/nodesofs = 750
0.79/0.89 c
0.79/0.89 c # number of nodes without incumbent change that heuristic should wait
0.79/0.89 c # [type: longint, range: [0,9223372036854775807], default: 200]
0.79/0.89 c heuristics/crossover/nwaitingnodes = 100
0.79/0.89 c
0.79/0.89 c # contingent of sub problem nodes in relation to the number of nodes of the original problem
0.79/0.89 c # [type: real, range: [0,1], default: 0.1]
0.79/0.89 c heuristics/crossover/nodesquot = 0.15
0.79/0.89 c
0.79/0.89 c # minimum percentage of integer variables that have to be fixed
0.79/0.89 c # [type: real, range: [0,1], default: 0.666]
0.79/0.89 c heuristics/crossover/minfixingrate = 0.5
0.79/0.89 c
0.79/0.89 c # frequency for calling primal heuristic <feaspump> (-1: never, 0: only at depth freqofs)
0.79/0.89 c # [type: int, range: [-1,2147483647], default: 20]
0.79/0.89 c heuristics/feaspump/freq = -1
0.79/0.89 c
0.79/0.89 c # additional number of allowed LP iterations
0.79/0.89 c # [type: int, range: [0,2147483647], default: 1000]
0.79/0.89 c heuristics/feaspump/maxlpiterofs = 2000
0.79/0.89 c
0.79/0.89 c # frequency for calling primal heuristic <fracdiving> (-1: never, 0: only at depth freqofs)
0.79/0.89 c # [type: int, range: [-1,2147483647], default: 10]
0.79/0.89 c heuristics/fracdiving/freq = -1
0.79/0.89 c
0.79/0.89 c # maximal fraction of diving LP iterations compared to node LP iterations
0.79/0.89 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
0.79/0.89 c heuristics/fracdiving/maxlpiterquot = 0.075
0.79/0.89 c
0.79/0.89 c # additional number of allowed LP iterations
0.79/0.89 c # [type: int, range: [0,2147483647], default: 1000]
0.79/0.89 c heuristics/fracdiving/maxlpiterofs = 1500
0.79/0.89 c
0.79/0.89 c # frequency for calling primal heuristic <guideddiving> (-1: never, 0: only at depth freqofs)
0.79/0.89 c # [type: int, range: [-1,2147483647], default: 10]
0.79/0.89 c heuristics/guideddiving/freq = -1
0.79/0.89 c
0.79/0.89 c # maximal fraction of diving LP iterations compared to node LP iterations
0.79/0.89 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
0.79/0.89 c heuristics/guideddiving/maxlpiterquot = 0.075
0.79/0.89 c
0.79/0.89 c # additional number of allowed LP iterations
0.79/0.89 c # [type: int, range: [0,2147483647], default: 1000]
0.79/0.89 c heuristics/guideddiving/maxlpiterofs = 1500
0.79/0.89 c
0.79/0.89 c # maximal fraction of diving LP iterations compared to node LP iterations
0.79/0.89 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
0.79/0.89 c heuristics/intdiving/maxlpiterquot = 0.075
0.79/0.89 c
0.79/0.89 c # frequency for calling primal heuristic <intshifting> (-1: never, 0: only at depth freqofs)
0.79/0.89 c # [type: int, range: [-1,2147483647], default: 10]
0.79/0.89 c heuristics/intshifting/freq = -1
0.79/0.89 c
0.79/0.89 c # frequency for calling primal heuristic <linesearchdiving> (-1: never, 0: only at depth freqofs)
0.79/0.89 c # [type: int, range: [-1,2147483647], default: 10]
0.79/0.89 c heuristics/linesearchdiving/freq = -1
0.79/0.89 c
0.79/0.89 c # maximal fraction of diving LP iterations compared to node LP iterations
0.79/0.89 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
0.79/0.89 c heuristics/linesearchdiving/maxlpiterquot = 0.075
0.79/0.89 c
0.79/0.89 c # additional number of allowed LP iterations
0.79/0.89 c # [type: int, range: [0,2147483647], default: 1000]
0.79/0.89 c heuristics/linesearchdiving/maxlpiterofs = 1500
0.79/0.89 c
0.79/0.89 c # frequency for calling primal heuristic <objpscostdiving> (-1: never, 0: only at depth freqofs)
0.79/0.89 c # [type: int, range: [-1,2147483647], default: 20]
0.79/0.89 c heuristics/objpscostdiving/freq = -1
0.79/0.89 c
0.79/0.89 c # maximal fraction of diving LP iterations compared to total iteration number
0.79/0.89 c # [type: real, range: [0,1], default: 0.01]
0.79/0.89 c heuristics/objpscostdiving/maxlpiterquot = 0.015
0.79/0.89 c
0.79/0.89 c # additional number of allowed LP iterations
0.79/0.89 c # [type: int, range: [0,2147483647], default: 1000]
0.79/0.89 c heuristics/objpscostdiving/maxlpiterofs = 1500
0.79/0.89 c
0.79/0.89 c # frequency for calling primal heuristic <oneopt> (-1: never, 0: only at depth freqofs)
0.79/0.89 c # [type: int, range: [-1,2147483647], default: 1]
0.79/0.89 c heuristics/oneopt/freq = -1
0.79/0.89 c
0.79/0.89 c # frequency for calling primal heuristic <pscostdiving> (-1: never, 0: only at depth freqofs)
0.79/0.89 c # [type: int, range: [-1,2147483647], default: 10]
0.79/0.89 c heuristics/pscostdiving/freq = -1
0.79/0.89 c
0.79/0.89 c # maximal fraction of diving LP iterations compared to node LP iterations
0.79/0.89 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
0.79/0.89 c heuristics/pscostdiving/maxlpiterquot = 0.075
0.79/0.89 c
0.79/0.89 c # additional number of allowed LP iterations
0.79/0.89 c # [type: int, range: [0,2147483647], default: 1000]
0.79/0.89 c heuristics/pscostdiving/maxlpiterofs = 1500
0.79/0.89 c
0.79/0.89 c # frequency for calling primal heuristic <rens> (-1: never, 0: only at depth freqofs)
0.79/0.89 c # [type: int, range: [-1,2147483647], default: 0]
0.79/0.89 c heuristics/rens/freq = -1
0.79/0.89 c
0.79/0.89 c # minimum percentage of integer variables that have to be fixable
0.79/0.89 c # [type: real, range: [0,1], default: 0.5]
0.79/0.89 c heuristics/rens/minfixingrate = 0.3
0.79/0.89 c
0.79/0.89 c # number of nodes added to the contingent of the total nodes
0.79/0.89 c # [type: longint, range: [0,9223372036854775807], default: 500]
0.79/0.89 c heuristics/rens/nodesofs = 2000
0.79/0.89 c
0.79/0.89 c # frequency for calling primal heuristic <rootsoldiving> (-1: never, 0: only at depth freqofs)
0.79/0.89 c # [type: int, range: [-1,2147483647], default: 20]
0.79/0.89 c heuristics/rootsoldiving/freq = -1
0.79/0.89 c
0.79/0.89 c # maximal fraction of diving LP iterations compared to node LP iterations
0.79/0.89 c # [type: real, range: [0,1.79769313486232e+308], default: 0.01]
0.79/0.89 c heuristics/rootsoldiving/maxlpiterquot = 0.015
0.79/0.89 c
0.79/0.89 c # additional number of allowed LP iterations
0.79/0.89 c # [type: int, range: [0,2147483647], default: 1000]
0.79/0.89 c heuristics/rootsoldiving/maxlpiterofs = 1500
0.79/0.89 c
0.79/0.89 c # frequency for calling primal heuristic <rounding> (-1: never, 0: only at depth freqofs)
0.79/0.89 c # [type: int, range: [-1,2147483647], default: 1]
0.79/0.89 c heuristics/rounding/freq = -1
0.79/0.89 c
0.79/0.89 c # frequency for calling primal heuristic <shiftandpropagate> (-1: never, 0: only at depth freqofs)
0.79/0.89 c # [type: int, range: [-1,2147483647], default: 0]
0.79/0.89 c heuristics/shiftandpropagate/freq = -1
0.79/0.89 c
0.79/0.89 c # frequency for calling primal heuristic <shifting> (-1: never, 0: only at depth freqofs)
0.79/0.89 c # [type: int, range: [-1,2147483647], default: 10]
0.79/0.89 c heuristics/shifting/freq = -1
0.79/0.89 c
0.79/0.89 c # frequency for calling primal heuristic <simplerounding> (-1: never, 0: only at depth freqofs)
0.79/0.89 c # [type: int, range: [-1,2147483647], default: 1]
0.79/0.89 c heuristics/simplerounding/freq = -1
0.79/0.89 c
0.79/0.89 c # frequency for calling primal heuristic <subnlp> (-1: never, 0: only at depth freqofs)
0.79/0.89 c # [type: int, range: [-1,2147483647], default: 1]
0.79/0.89 c heuristics/subnlp/freq = -1
0.79/0.89 c
0.79/0.89 c # frequency for calling primal heuristic <trivial> (-1: never, 0: only at depth freqofs)
0.79/0.89 c # [type: int, range: [-1,2147483647], default: 0]
0.79/0.89 c heuristics/trivial/freq = -1
0.79/0.89 c
0.79/0.89 c # frequency for calling primal heuristic <trysol> (-1: never, 0: only at depth freqofs)
0.79/0.89 c # [type: int, range: [-1,2147483647], default: 1]
0.79/0.89 c heuristics/trysol/freq = -1
0.79/0.89 c
0.79/0.89 c # frequency for calling primal heuristic <undercover> (-1: never, 0: only at depth freqofs)
0.79/0.89 c # [type: int, range: [-1,2147483647], default: 0]
0.79/0.89 c heuristics/undercover/freq = -1
0.79/0.89 c
0.79/0.89 c # frequency for calling primal heuristic <veclendiving> (-1: never, 0: only at depth freqofs)
0.79/0.89 c # [type: int, range: [-1,2147483647], default: 10]
0.79/0.89 c heuristics/veclendiving/freq = -1
0.79/0.89 c
0.79/0.89 c # maximal fraction of diving LP iterations compared to node LP iterations
0.79/0.89 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
0.79/0.89 c heuristics/veclendiving/maxlpiterquot = 0.075
0.79/0.89 c
0.79/0.89 c # additional number of allowed LP iterations
0.79/0.89 c # [type: int, range: [0,2147483647], default: 1000]
0.79/0.89 c heuristics/veclendiving/maxlpiterofs = 1500
0.79/0.89 c
0.79/0.89 c # frequency for calling primal heuristic <zirounding> (-1: never, 0: only at depth freqofs)
0.79/0.89 c # [type: int, range: [-1,2147483647], default: 1]
0.79/0.89 c heuristics/zirounding/freq = -1
0.79/0.89 c
0.79/0.89 c # maximal number of presolving rounds the propagator participates in (-1: no limit)
0.79/0.89 c # [type: int, range: [-1,2147483647], default: -1]
0.79/0.89 c propagating/probing/maxprerounds = 0
0.79/0.89 c
0.79/0.89 c # frequency for calling separator <cmir> (-1: never, 0: only in root node)
0.79/0.89 c # [type: int, range: [-1,2147483647], default: 0]
0.79/0.89 c separating/cmir/freq = -1
0.79/0.89 c
0.79/0.89 c # frequency for calling separator <flowcover> (-1: never, 0: only in root node)
0.79/0.89 c # [type: int, range: [-1,2147483647], default: 0]
0.79/0.89 c separating/flowcover/freq = -1
0.79/0.89 c
0.79/0.89 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
0.79/0.89 c # [type: int, range: [-1,2147483647], default: -1]
0.79/0.89 c separating/rapidlearning/freq = 0
0.79/0.89 c
0.79/0.89 c # frequency for calling primal heuristic <indoneopt> (-1: never, 0: only at depth freqofs)
0.79/0.89 c # [type: int, range: [-1,2147483647], default: 1]
0.79/0.89 c heuristics/indoneopt/freq = -1
0.79/0.89 c
0.79/0.89 c -----------------------------------------------------------------------------------------------
0.79/0.89 c start solving
0.79/0.89 c
23.19/23.24 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
23.19/23.24 c 23.2s| 1 | 0 | 17197 | - | 71M| 0 |3397 | 15k| 16k| 15k| 16k| 0 | 0 | 0 | 0.000000e+00 | -- | Inf
37.68/37.77 c 37.8s| 1 | 0 | 25029 | - | 71M| 0 |3553 | 15k| 16k| 15k| 16k| 5 | 0 | 0 | 0.000000e+00 | -- | Inf
54.28/54.39 c 54.4s| 1 | 0 | 33698 | - | 71M| 0 |3773 | 15k| 16k| 15k| 16k| 10 | 0 | 0 | 0.000000e+00 | -- | Inf
65.99/66.05 c 66.0s| 1 | 0 | 39138 | - | 71M| 0 |3849 | 15k| 16k| 15k| 16k| 16 | 0 | 0 | 0.000000e+00 | -- | Inf
78.68/78.78 c 78.8s| 1 | 0 | 45094 | - | 71M| 0 |3962 | 15k| 16k| 15k| 16k| 22 | 0 | 0 | 0.000000e+00 | -- | Inf
90.67/90.76 c 90.8s| 1 | 0 | 50539 | - | 71M| 0 |4176 | 15k| 16k| 15k| 16k| 28 | 0 | 0 | 0.000000e+00 | -- | Inf
177.15/177.26 c 177s| 1 | 2 | 50539 | - | 71M| 0 |4176 | 15k| 16k| 15k| 16k| 28 | 0 | 42 | 0.000000e+00 | -- | Inf
1796.71/1797.01 c
1796.71/1797.01 c SCIP Status : solving was interrupted [time limit reached]
1796.71/1797.01 c Solving Time (sec) : 1797.01
1796.71/1797.01 c Solving Nodes : 52
1796.71/1797.01 c Primal Bound : +1.00000000000000e+20 (0 solutions)
1796.71/1797.01 c Dual Bound : +0.00000000000000e+00
1796.71/1797.01 c Gap : infinite
1796.71/1797.01 s UNKNOWN
1796.71/1797.01 c SCIP Status : solving was interrupted [time limit reached]
1796.71/1797.01 c Total Time : 1797.01
1796.71/1797.01 c solving : 1797.01
1796.71/1797.01 c presolving : 0.77 (included in solving)
1796.71/1797.01 c reading : 0.08 (included in solving)
1796.71/1797.01 c copying : 0.00 (0 times copied the problem)
1796.71/1797.01 c Original Problem :
1796.71/1797.01 c Problem name : HOME/instance-3690664-1338026071.opb
1796.71/1797.01 c Variables : 16660 (16660 binary, 0 integer, 0 implicit integer, 0 continuous)
1796.71/1797.01 c Constraints : 16942 initial, 16942 maximal
1796.71/1797.01 c Objective sense : minimize
1796.71/1797.01 c Presolved Problem :
1796.71/1797.01 c Problem name : t_HOME/instance-3690664-1338026071.opb
1796.71/1797.01 c Variables : 15918 (15918 binary, 0 integer, 0 implicit integer, 0 continuous)
1796.71/1797.01 c Constraints : 16169 initial, 16182 maximal
1796.71/1797.01 c Presolvers : ExecTime SetupTime FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons AddCons ChgSides ChgCoefs
1796.71/1797.01 c domcol : 0.00 0.00 0 0 0 0 0 0 0 0 0
1796.71/1797.01 c trivial : 0.01 0.00 0 0 0 0 0 0 0 0 0
1796.71/1797.01 c dualfix : 0.01 0.00 0 0 0 0 0 0 0 0 0
1796.71/1797.01 c boundshift : 0.00 0.00 0 0 0 0 0 0 0 0 0
1796.71/1797.01 c inttobinary : 0.00 0.00 0 0 0 0 0 0 0 0 0
1796.71/1797.01 c convertinttobin : 0.00 0.00 0 0 0 0 0 0 0 0 0
1796.71/1797.01 c gateextraction : 0.01 0.00 0 0 0 0 0 0 0 0 0
1796.71/1797.01 c implics : 0.01 0.00 0 0 0 0 0 0 0 0 0
1796.71/1797.01 c components : 0.01 0.00 0 0 0 0 0 0 0 0 0
1796.71/1797.01 c pseudoobj : 0.00 0.00 0 0 0 0 0 0 0 0 0
1796.71/1797.01 c probing : 0.00 0.00 0 0 0 0 0 0 0 0 0
1796.71/1797.01 c setppc : 0.01 0.00 0 0 0 0 0 0 0 0 0
1796.71/1797.01 c linear : 0.38 0.00 742 0 0 742 0 773 0 0 0
1796.71/1797.01 c logicor : 0.20 0.01 0 0 0 0 0 0 0 0 0
1796.71/1797.01 c root node : - - 0 - - 0 - - - - -
1796.71/1797.01 c Constraints : Number MaxNumber #Separate #Propagate #EnfoLP #EnfoPS #Check #ResProp Cutoffs DomReds Cuts Conss Children
1796.71/1797.01 c integral : 0 0 0 0 50 0 1 0 0 4 0 0 94
1796.71/1797.01 c setppc : 2001 2001 5 371 0 1 0 803 0 6158 0 0 0
1796.71/1797.01 c logicor : 14168+ 14181 5 308 0 1 0 2919 3 9357 0 0 0
1796.71/1797.01 c countsols : 0 0 0 0 0 1 0 0 0 0 0 0 0
1796.71/1797.01 c Constraint Timings : TotalTime SetupTime Separate Propagate EnfoLP EnfoPS Check ResProp
1796.71/1797.01 c integral : 792.91 0.00 0.00 0.00 792.91 0.00 0.00 0.00
1796.71/1797.01 c setppc : 0.02 0.00 0.00 0.01 0.00 0.00 0.00 0.00
1796.71/1797.01 c logicor : 0.05 0.01 0.00 0.03 0.00 0.00 0.00 0.00
1796.71/1797.01 c countsols : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
1796.71/1797.01 c Propagators : #Propagate #ResProp Cutoffs DomReds
1796.71/1797.01 c rootredcost : 0 0 0 0
1796.71/1797.01 c pseudoobj : 0 0 0 0
1796.71/1797.01 c vbounds : 0 0 0 0
1796.71/1797.01 c redcost : 55 0 0 0
1796.71/1797.01 c probing : 0 0 0 0
1796.71/1797.01 c Propagator Timings : TotalTime SetupTime Presolve Propagate ResProp
1796.71/1797.01 c rootredcost : 0.00 0.00 0.00 0.00 0.00
1796.71/1797.01 c pseudoobj : 0.00 0.00 0.00 0.00 0.00
1796.71/1797.01 c vbounds : 0.00 0.00 0.00 0.00 0.00
1796.71/1797.01 c redcost : 0.02 0.00 0.00 0.02 0.00
1796.71/1797.01 c probing : 0.00 0.00 0.00 0.00 0.00
1796.71/1797.01 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1796.71/1797.01 c propagation : 0.01 3 3 13 53.1 0 0.0 -
1796.71/1797.01 c infeasible LP : 0.00 1 1 3 18.7 0 0.0 0
1796.71/1797.01 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1796.71/1797.01 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1796.71/1797.01 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 -
1796.71/1797.01 c applied globally : - - - 13 49.0 - - -
1796.71/1797.01 c applied locally : - - - 0 0.0 - - -
1796.71/1797.01 c Separators : ExecTime SetupTime Calls Cutoffs DomReds Cuts Conss
1796.71/1797.01 c cut pool : 0.00 4 - - 0 - (maximal pool size: 31)
1796.71/1797.01 c closecuts : 0.00 0.00 0 0 0 0 0
1796.71/1797.01 c impliedbounds : 0.00 0.00 5 0 0 0 0
1796.71/1797.01 c intobj : 0.00 0.00 0 0 0 0 0
1796.71/1797.01 c gomory : 3.85 0.00 5 0 0 0 0
1796.71/1797.01 c cgmip : 0.00 0.00 0 0 0 0 0
1796.71/1797.01 c strongcg : 3.91 0.00 5 0 0 0 0
1796.71/1797.01 c cmir : 0.00 0.00 0 0 0 0 0
1796.71/1797.01 c flowcover : 0.00 0.00 0 0 0 0 0
1796.71/1797.01 c clique : 0.81 0.00 5 0 0 31 0
1796.71/1797.01 c zerohalf : 0.00 0.00 0 0 0 0 0
1796.71/1797.01 c mcf : 0.01 0.00 1 0 0 0 0
1796.71/1797.01 c oddcycle : 0.00 0.00 0 0 0 0 0
1796.71/1797.01 c rapidlearning : 0.00 0.00 0 0 0 0 0
1796.71/1797.01 c Pricers : ExecTime SetupTime Calls Vars
1796.71/1797.01 c problem variables: 0.00 - 0 0
1796.71/1797.01 c Branching Rules : ExecTime SetupTime Calls Cutoffs DomReds Cuts Conss Children
1796.71/1797.01 c relpscost : 792.91 0.00 50 0 4 0 0 94
1796.71/1797.01 c pscost : 0.00 0.00 0 0 0 0 0 0
1796.71/1797.01 c inference : 0.00 0.00 1 0 0 0 0 2
1796.71/1797.01 c mostinf : 0.00 0.00 0 0 0 0 0 0
1796.71/1797.01 c leastinf : 0.00 0.00 0 0 0 0 0 0
1796.71/1797.01 c fullstrong : 0.00 0.00 0 0 0 0 0 0
1796.71/1797.01 c allfullstrong : 0.00 0.00 0 0 0 0 0 0
1796.71/1797.01 c random : 0.00 0.00 0 0 0 0 0 0
1796.71/1797.01 c Primal Heuristics : ExecTime SetupTime Calls Found
1796.71/1797.01 c LP solutions : 0.00 - - 0
1796.71/1797.01 c pseudo solutions : 0.00 - - 0
1796.71/1797.01 c smallcard : 0.00 0.00 0 0
1796.71/1797.01 c trivial : 0.02 0.00 1 0
1796.71/1797.01 c shiftandpropagate: 0.00 0.00 0 0
1796.71/1797.01 c simplerounding : 0.00 0.00 0 0
1796.71/1797.01 c zirounding : 0.00 0.00 0 0
1796.71/1797.01 c rounding : 0.00 0.00 0 0
1796.71/1797.01 c shifting : 0.00 0.00 0 0
1796.71/1797.01 c intshifting : 0.00 0.00 0 0
1796.71/1797.01 c oneopt : 0.00 0.00 0 0
1796.71/1797.01 c twoopt : 0.00 0.00 0 0
1796.71/1797.01 c indtwoopt : 0.00 0.00 0 0
1796.71/1797.01 c indoneopt : 0.00 0.00 0 0
1796.71/1797.01 c fixandinfer : 0.00 0.00 0 0
1796.71/1797.01 c feaspump : 0.00 0.00 0 0
1796.71/1797.01 c clique : 0.00 0.00 0 0
1796.71/1797.01 c indrounding : 0.00 0.00 0 0
1796.71/1797.01 c indcoefdiving : 0.00 0.00 0 0
1796.71/1797.01 c coefdiving : 0.00 0.00 0 0
1796.71/1797.01 c pscostdiving : 0.00 0.00 0 0
1796.71/1797.01 c nlpdiving : 0.00 0.00 0 0
1796.71/1797.01 c fracdiving : 0.00 0.00 0 0
1796.71/1797.01 c veclendiving : 0.00 0.00 0 0
1796.71/1797.01 c intdiving : 0.00 0.00 0 0
1796.71/1797.01 c actconsdiving : 0.00 0.00 0 0
1796.71/1797.01 c objpscostdiving : 0.00 0.00 0 0
1796.71/1797.01 c rootsoldiving : 0.00 0.00 0 0
1796.71/1797.01 c linesearchdiving : 0.00 0.00 0 0
1796.71/1797.01 c guideddiving : 0.00 0.00 0 0
1796.71/1797.01 c octane : 0.00 0.00 0 0
1796.71/1797.01 c rens : 0.00 0.00 0 0
1796.71/1797.01 c rins : 0.00 0.00 0 0
1796.71/1797.01 c localbranching : 0.00 0.00 0 0
1796.71/1797.01 c mutation : 0.00 0.00 0 0
1796.71/1797.01 c crossover : 0.00 0.00 0 0
1796.71/1797.01 c dins : 0.00 0.00 0 0
1796.71/1797.01 c vbounds : 0.00 0.00 0 0
1796.71/1797.01 c undercover : 0.00 0.00 0 0
1796.71/1797.01 c subnlp : 0.00 0.00 0 0
1796.71/1797.01 c trysol : 0.00 0.00 0 0
1796.71/1797.01 c LP : Time Calls Iterations Iter/call Iter/sec Time-0-It Calls-0-It
1796.71/1797.01 c primal LP : 0.05 1 0 0.00 0.00 0.05 1
1796.71/1797.01 c dual LP : 994.15 57 504813 8856.37 507.78 0.00 0
1796.71/1797.01 c lex dual LP : 0.00 0 0 0.00 -
1796.71/1797.01 c barrier LP : 0.00 0 0 0.00 - 0.00 0
1796.71/1797.01 c diving/probing LP: 0.00 0 0 0.00 -
1796.71/1797.01 c strong branching : 792.84 422 402528 953.86 507.71
1796.71/1797.01 c (at root node) : - 42 42000 1000.00 -
1796.71/1797.01 c conflict analysis: 0.00 0 0 0.00 -
1796.71/1797.01 c B&B Tree :
1796.71/1797.01 c number of runs : 1
1796.71/1797.01 c nodes : 52
1796.71/1797.01 c nodes (total) : 52
1796.71/1797.01 c nodes left : 45
1796.71/1797.01 c max depth : 30
1796.71/1797.01 c max depth (total): 30
1796.71/1797.01 c backtracks : 8 (15.4%)
1796.71/1797.01 c delayed cutoffs : 0
1796.71/1797.01 c repropagations : 11 (125 domain reductions, 0 cutoffs)
1796.71/1797.01 c avg switch length: 1.71
1796.71/1797.01 c switching time : 0.08
1796.71/1797.01 c Solution :
1796.71/1797.01 c Solutions found : 0 (0 improvements)
1796.71/1797.01 c Primal Bound : -
1796.71/1797.01 c Dual Bound : +0.00000000000000e+00
1796.71/1797.01 c Gap : infinite
1796.71/1797.01 c Root Dual Bound : +0.00000000000000e+00
1796.71/1797.01 c Root Iterations : 50539
1796.80/1797.11 c Time complete: 1796.82.
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-3690664-1338026071/watcher-3690664-1338026071 -o /tmp/evaluation-result-3690664-1338026071/solver-3690664-1338026071 -C 1800 -W 1900 -M 15500 HOME/scip-2.1.1.4fix.linux.x86_64.gnu.opt.spx -f HOME/instance-3690664-1338026071.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: 1.92 1.98 1.99 3/176 6622
/proc/meminfo: memFree=29107384/32873844 swapFree=7616/7616
[pid=6622] ppid=6620 vsize=11164 CPUtime=0 cores=0,2,4,6
/proc/6622/stat : 6622 (scip-2.1.1.4fix) R 6620 6622 5654 0 -1 4202496 1535 0 0 0 0 0 0 0 20 0 1 0 268732749 11431936 1489 33554432000 4194304 10173063 140734754078576 140734209637816 7545739 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/6622/statm: 2791 1492 413 1460 0 1322 0
[startup+0.016134 s]
/proc/loadavg: 1.92 1.98 1.99 3/176 6622
/proc/meminfo: memFree=29107384/32873844 swapFree=7616/7616
[pid=6622] ppid=6620 vsize=17200 CPUtime=0 cores=0,2,4,6
/proc/6622/stat : 6622 (scip-2.1.1.4fix) R 6620 6622 5654 0 -1 4202496 3057 0 0 0 0 0 0 0 20 0 1 0 268732749 17612800 3011 33554432000 4194304 10173063 140734754078576 140734209637816 7549426 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/6622/statm: 4300 3011 413 1460 0 2831 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 17200
[startup+0.100254 s]
/proc/loadavg: 1.92 1.98 1.99 3/176 6622
/proc/meminfo: memFree=29107384/32873844 swapFree=7616/7616
[pid=6622] ppid=6620 vsize=45116 CPUtime=0.09 cores=0,2,4,6
/proc/6622/stat : 6622 (scip-2.1.1.4fix) R 6620 6622 5654 0 -1 4202496 9789 0 0 0 8 1 0 0 20 0 1 0 268732749 46198784 9744 33554432000 4194304 10173063 140734754078576 140734754072520 7545739 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/6622/statm: 11279 9776 463 1460 0 9810 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 45116
[startup+0.300256 s]
/proc/loadavg: 1.92 1.98 1.99 3/176 6622
/proc/meminfo: memFree=29107384/32873844 swapFree=7616/7616
[pid=6622] ppid=6620 vsize=80724 CPUtime=0.29 cores=0,2,4,6
/proc/6622/stat : 6622 (scip-2.1.1.4fix) R 6620 6622 5654 0 -1 4202496 18399 0 0 0 23 6 0 0 20 0 1 0 268732749 82661376 18347 33554432000 4194304 10173063 140734754078576 140734754075384 8803840 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/6622/statm: 20214 18350 561 1460 0 18745 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 80724
[startup+0.70023 s]
/proc/loadavg: 1.92 1.98 1.99 3/176 6622
/proc/meminfo: memFree=29107384/32873844 swapFree=7616/7616
[pid=6622] ppid=6620 vsize=98180 CPUtime=0.69 cores=0,2,4,6
/proc/6622/stat : 6622 (scip-2.1.1.4fix) R 6620 6622 5654 0 -1 4202496 23787 0 0 0 44 25 0 0 20 0 1 0 268732749 100536320 22688 33554432000 4194304 10173063 140734754078576 140734754075384 8963895 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/6622/statm: 24545 22688 576 1460 0 23076 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 98180
[startup+1.5002 s]
/proc/loadavg: 1.92 1.98 1.99 3/177 6623
/proc/meminfo: memFree=28896356/32873844 swapFree=7616/7616
[pid=6622] ppid=6620 vsize=141300 CPUtime=1.49 cores=0,2,4,6
/proc/6622/stat : 6622 (scip-2.1.1.4fix) R 6620 6622 5654 0 -1 4202496 34688 0 0 0 116 33 0 0 20 0 1 0 268732749 144691200 32958 33554432000 4194304 10173063 140734754078576 140734754071880 8982074 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/6622/statm: 35325 32958 733 1460 0 33856 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 141300
[startup+3.10028 s]
/proc/loadavg: 1.92 1.98 1.99 3/177 6623
/proc/meminfo: memFree=28886404/32873844 swapFree=7616/7616
[pid=6622] ppid=6620 vsize=142156 CPUtime=3.08 cores=0,2,4,6
/proc/6622/stat : 6622 (scip-2.1.1.4fix) R 6620 6622 5654 0 -1 4202496 34992 0 0 0 275 33 0 0 20 0 1 0 268732749 145567744 33234 33554432000 4194304 10173063 140734754078576 140734754071832 8982074 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/6622/statm: 35539 33234 733 1460 0 34070 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 142156
[startup+6.30027 s]
/proc/loadavg: 1.93 1.98 1.99 3/177 6623
/proc/meminfo: memFree=28884800/32873844 swapFree=7616/7616
[pid=6622] ppid=6620 vsize=142800 CPUtime=6.29 cores=0,2,4,6
/proc/6622/stat : 6622 (scip-2.1.1.4fix) R 6620 6622 5654 0 -1 4202496 35143 0 0 0 595 34 0 0 20 0 1 0 268732749 146227200 33385 33554432000 4194304 10173063 140734754078576 140734754071928 8982074 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/6622/statm: 35700 33385 733 1460 0 34231 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 142800
[startup+12.7003 s]
/proc/loadavg: 1.93 1.98 1.99 3/177 6623
/proc/meminfo: memFree=28877996/32873844 swapFree=7616/7616
[pid=6622] ppid=6620 vsize=146184 CPUtime=12.69 cores=0,2,4,6
/proc/6622/stat : 6622 (scip-2.1.1.4fix) R 6620 6622 5654 0 -1 4202496 35989 0 0 0 1234 35 0 0 20 0 1 0 268732749 149692416 34230 33554432000 4194304 10173063 140734754078576 140734754072200 8982074 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/6622/statm: 36546 34230 737 1460 0 35077 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 146184
[startup+25.5003 s]
/proc/loadavg: 1.95 1.98 1.99 3/177 6623
/proc/meminfo: memFree=28873060/32873844 swapFree=7616/7616
[pid=6622] ppid=6620 vsize=147292 CPUtime=25.49 cores=0,2,4,6
/proc/6622/stat : 6622 (scip-2.1.1.4fix) R 6620 6622 5654 0 -1 4202496 36913 0 0 0 2491 58 0 0 20 0 1 0 268732749 150827008 35101 33554432000 4194304 10173063 140734754078576 140734754071928 8982074 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/6622/statm: 36823 35101 763 1460 0 35354 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 147292
[startup+51.1003 s]
/proc/loadavg: 1.96 1.98 1.99 3/176 6623
/proc/meminfo: memFree=28871924/32873844 swapFree=7616/7616
[pid=6622] ppid=6620 vsize=147292 CPUtime=51.08 cores=0,2,4,6
/proc/6622/stat : 6622 (scip-2.1.1.4fix) R 6620 6622 5654 0 -1 4202496 36937 0 0 0 5031 77 0 0 20 0 1 0 268732749 150827008 35125 33554432000 4194304 10173063 140734754078576 140734754071928 8982074 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/6622/statm: 36823 35125 763 1460 0 35354 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 147292
[startup+102.307 s]
/proc/loadavg: 1.98 1.98 1.99 3/177 6624
/proc/meminfo: memFree=28868488/32873844 swapFree=7616/7616
[pid=6622] ppid=6620 vsize=148084 CPUtime=102.27 cores=0,2,4,6
/proc/6622/stat : 6622 (scip-2.1.1.4fix) R 6620 6622 5654 0 -1 4202496 38932 0 0 0 10085 142 0 0 20 0 1 0 268732749 151638016 35403 33554432000 4194304 10173063 140734754078576 140734754072024 7981159 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/6622/statm: 37021 35403 767 1460 0 35552 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 148084
[startup+162.3 s]
/proc/loadavg: 1.99 1.98 1.99 3/177 6624
/proc/meminfo: memFree=28863636/32873844 swapFree=7616/7616
[pid=6622] ppid=6620 vsize=148064 CPUtime=162.25 cores=0,2,4,6
/proc/6622/stat : 6622 (scip-2.1.1.4fix) R 6620 6622 5654 0 -1 4202496 40456 0 0 0 16077 148 0 0 20 0 1 0 268732749 151617536 36112 33554432000 4194304 10173063 140734754078576 140734754072072 8982074 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/6622/statm: 37016 36112 767 1460 0 35547 0
Current children cumulated CPU time (s) 162.25
Current children cumulated vsize (KiB) 148064
[startup+222.3 s]
/proc/loadavg: 2.03 2.00 2.00 3/177 6624
/proc/meminfo: memFree=28861012/32873844 swapFree=7616/7616
[pid=6622] ppid=6620 vsize=150044 CPUtime=222.24 cores=0,2,4,6
/proc/6622/stat : 6622 (scip-2.1.1.4fix) R 6620 6622 5654 0 -1 4202496 40998 0 0 0 22071 153 0 0 20 0 1 0 268732749 153645056 36654 33554432000 4194304 10173063 140734754078576 140734754072072 8982074 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/6622/statm: 37511 36654 773 1460 0 36042 0
Current children cumulated CPU time (s) 222.24
Current children cumulated vsize (KiB) 150044
[startup+282.3 s]
/proc/loadavg: 2.01 2.00 2.00 3/177 6624
/proc/meminfo: memFree=28858528/32873844 swapFree=7616/7616
[pid=6622] ppid=6620 vsize=151764 CPUtime=282.24 cores=0,2,4,6
/proc/6622/stat : 6622 (scip-2.1.1.4fix) R 6620 6622 5654 0 -1 4202496 41439 0 0 0 28065 159 0 0 20 0 1 0 268732749 155406336 37095 33554432000 4194304 10173063 140734754078576 140734754071880 8982074 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/6622/statm: 37941 37095 773 1460 0 36472 0
Current children cumulated CPU time (s) 282.24
Current children cumulated vsize (KiB) 151764
[startup+342.3 s]
/proc/loadavg: 2.05 2.01 2.00 3/178 6627
/proc/meminfo: memFree=28860184/32873844 swapFree=7616/7616
[pid=6622] ppid=6620 vsize=149944 CPUtime=342.23 cores=0,2,4,6
/proc/6622/stat : 6622 (scip-2.1.1.4fix) R 6620 6622 5654 0 -1 4202496 42799 0 0 0 34058 165 0 0 20 0 1 0 268732749 153542656 36561 33554432000 4194304 10173063 140734754078576 140734754072072 8982074 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/6622/statm: 37486 36561 773 1460 0 36017 0
Current children cumulated CPU time (s) 342.23
Current children cumulated vsize (KiB) 149944
[startup+402.3 s]
/proc/loadavg: 2.02 2.01 2.00 3/178 6650
/proc/meminfo: memFree=28858076/32873844 swapFree=7616/7616
[pid=6622] ppid=6620 vsize=151760 CPUtime=402.22 cores=0,2,4,6
/proc/6622/stat : 6622 (scip-2.1.1.4fix) R 6620 6622 5654 0 -1 4202496 43328 0 0 0 40051 171 0 0 20 0 1 0 268732749 155402240 37090 33554432000 4194304 10173063 140734754078576 140734754071832 8982074 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/6622/statm: 37940 37090 773 1460 0 36471 0
Current children cumulated CPU time (s) 402.22
Current children cumulated vsize (KiB) 151760
[startup+462.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 6650
/proc/meminfo: memFree=28860636/32873844 swapFree=7616/7616
[pid=6622] ppid=6620 vsize=149128 CPUtime=462.21 cores=0,2,4,6
/proc/6622/stat : 6622 (scip-2.1.1.4fix) R 6620 6622 5654 0 -1 4202496 49415 0 0 0 46042 179 0 0 20 0 1 0 268732749 152707072 36433 33554432000 4194304 10173063 140734754078576 140734754072120 8982074 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/6622/statm: 37282 36433 773 1460 0 35813 0
Current children cumulated CPU time (s) 462.21
Current children cumulated vsize (KiB) 149128
[startup+522.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 6650
/proc/meminfo: memFree=28859892/32873844 swapFree=7616/7616
[pid=6622] ppid=6620 vsize=149132 CPUtime=522.19 cores=0,2,4,6
/proc/6622/stat : 6622 (scip-2.1.1.4fix) R 6620 6622 5654 0 -1 4202496 73484 0 0 0 52030 189 0 0 20 0 1 0 268732749 152711168 36427 33554432000 4194304 10173063 140734754078576 140734754072120 8982074 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/6622/statm: 37283 36427 773 1460 0 35814 0
Current children cumulated CPU time (s) 522.19
Current children cumulated vsize (KiB) 149132
[startup+582.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 6650
/proc/meminfo: memFree=28864292/32873844 swapFree=7616/7616
[pid=6622] ppid=6620 vsize=148124 CPUtime=582.19 cores=0,2,4,6
/proc/6622/stat : 6622 (scip-2.1.1.4fix) R 6620 6622 5654 0 -1 4202496 94523 0 0 0 58019 200 0 0 20 0 1 0 268732749 151678976 36123 33554432000 4194304 10173063 140734754078576 140734754072072 8982074 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/6622/statm: 37031 36123 773 1460 0 35562 0
Current children cumulated CPU time (s) 582.19
Current children cumulated vsize (KiB) 148124
[startup+642.3 s]
################
# More data... #
################
/proc/meminfo: memFree=28859760/32873844 swapFree=7616/7616
[pid=6622] ppid=6620 vsize=150264 CPUtime=1062.12 cores=0,2,4,6
/proc/6622/stat : 6622 (scip-2.1.1.4fix) R 6620 6622 5654 0 -1 4202496 214917 0 0 0 105941 271 0 0 20 0 1 0 268732749 153870336 36759 33554432000 4194304 10173063 140734754078576 140734754072024 8982074 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/6622/statm: 37566 36759 778 1460 0 36097 0
Current children cumulated CPU time (s) 1062.12
Current children cumulated vsize (KiB) 150264
[startup+1122.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 6655
/proc/meminfo: memFree=28859504/32873844 swapFree=7616/7616
[pid=6622] ppid=6620 vsize=152108 CPUtime=1122.11 cores=0,2,4,6
/proc/6622/stat : 6622 (scip-2.1.1.4fix) R 6620 6622 5654 0 -1 4202496 225720 0 0 0 111933 278 0 0 20 0 1 0 268732749 155758592 37218 33554432000 4194304 10173063 140734754078576 140734754071752 8008054 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/6622/statm: 38027 37218 778 1460 0 36558 0
Current children cumulated CPU time (s) 1122.11
Current children cumulated vsize (KiB) 152108
[startup+1182.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 6655
/proc/meminfo: memFree=28858400/32873844 swapFree=7616/7616
[pid=6622] ppid=6620 vsize=153012 CPUtime=1182.1 cores=0,2,4,6
/proc/6622/stat : 6622 (scip-2.1.1.4fix) R 6620 6622 5654 0 -1 4202496 240939 0 0 0 117923 287 0 0 20 0 1 0 268732749 156684288 37435 33554432000 4194304 10173063 140734754078576 140734754071832 8982074 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/6622/statm: 38253 37435 778 1460 0 36784 0
Current children cumulated CPU time (s) 1182.1
Current children cumulated vsize (KiB) 153012
[startup+1242.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 6656
/proc/meminfo: memFree=28854480/32873844 swapFree=7616/7616
[pid=6622] ppid=6620 vsize=153012 CPUtime=1242.09 cores=0,2,4,6
/proc/6622/stat : 6622 (scip-2.1.1.4fix) R 6620 6622 5654 0 -1 4202496 240941 0 0 0 123918 291 0 0 20 0 1 0 268732749 156684288 37437 33554432000 4194304 10173063 140734754078576 140734754072248 8982074 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/6622/statm: 38253 37437 778 1460 0 36784 0
Current children cumulated CPU time (s) 1242.09
Current children cumulated vsize (KiB) 153012
[startup+1302.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 6657
/proc/meminfo: memFree=28860248/32873844 swapFree=7616/7616
[pid=6622] ppid=6620 vsize=150000 CPUtime=1302.08 cores=0,2,4,6
/proc/6622/stat : 6622 (scip-2.1.1.4fix) R 6620 6622 5654 0 -1 4202496 260087 0 0 0 129905 303 0 0 20 0 1 0 268732749 153600000 36589 33554432000 4194304 10173063 140734754078576 140734754071832 8982074 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/6622/statm: 37500 36589 778 1460 0 36031 0
Current children cumulated CPU time (s) 1302.08
Current children cumulated vsize (KiB) 150000
[startup+1362.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 6657
/proc/meminfo: memFree=28858512/32873844 swapFree=7616/7616
[pid=6622] ppid=6620 vsize=151412 CPUtime=1362.08 cores=0,2,4,6
/proc/6622/stat : 6622 (scip-2.1.1.4fix) R 6620 6622 5654 0 -1 4202496 281917 0 0 0 135894 314 0 0 20 0 1 0 268732749 155045888 36948 33554432000 4194304 10173063 140734754078576 140734754072120 8982074 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/6622/statm: 37853 36948 778 1460 0 36384 0
Current children cumulated CPU time (s) 1362.08
Current children cumulated vsize (KiB) 151412
[startup+1422.31 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 6657
/proc/meminfo: memFree=28861364/32873844 swapFree=7616/7616
[pid=6622] ppid=6620 vsize=149940 CPUtime=1422.07 cores=0,2,4,6
/proc/6622/stat : 6622 (scip-2.1.1.4fix) R 6620 6622 5654 0 -1 4202496 288711 0 0 0 141885 322 0 0 20 0 1 0 268732749 153538560 36543 33554432000 4194304 10173063 140734754078576 140734754072072 7981125 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/6622/statm: 37485 36543 778 1460 0 36016 0
Current children cumulated CPU time (s) 1422.07
Current children cumulated vsize (KiB) 149940
[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 6657
/proc/meminfo: memFree=28855780/32873844 swapFree=7616/7616
[pid=6622] ppid=6620 vsize=151992 CPUtime=1482.05 cores=0,2,4,6
/proc/6622/stat : 6622 (scip-2.1.1.4fix) R 6620 6622 5654 0 -1 4202496 298234 0 0 0 147873 332 0 0 20 0 1 0 268732749 155639808 37186 33554432000 4194304 10173063 140734754078576 140734754071880 8982074 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/6622/statm: 37998 37186 778 1460 0 36529 0
Current children cumulated CPU time (s) 1482.05
Current children cumulated vsize (KiB) 151992
[startup+1542.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 6660
/proc/meminfo: memFree=28855212/32873844 swapFree=7616/7616
[pid=6622] ppid=6620 vsize=154500 CPUtime=1542.04 cores=0,2,4,6
/proc/6622/stat : 6622 (scip-2.1.1.4fix) R 6620 6622 5654 0 -1 4202496 298860 0 0 0 153864 340 0 0 20 0 1 0 268732749 158208000 37812 33554432000 4194304 10173063 140734754078576 140734754071928 8982074 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/6622/statm: 38625 37812 778 1460 0 37156 0
Current children cumulated CPU time (s) 1542.04
Current children cumulated vsize (KiB) 154500
[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 6661
/proc/meminfo: memFree=28855212/32873844 swapFree=7616/7616
[pid=6622] ppid=6620 vsize=154500 CPUtime=1602.03 cores=0,2,4,6
/proc/6622/stat : 6622 (scip-2.1.1.4fix) R 6620 6622 5654 0 -1 4202496 298860 0 0 0 159858 345 0 0 20 0 1 0 268732749 158208000 37812 33554432000 4194304 10173063 140734754078576 140734754072024 8982074 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/6622/statm: 38625 37812 778 1460 0 37156 0
Current children cumulated CPU time (s) 1602.03
Current children cumulated vsize (KiB) 154500
[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 6661
/proc/meminfo: memFree=28855336/32873844 swapFree=7616/7616
[pid=6622] ppid=6620 vsize=154500 CPUtime=1662.03 cores=0,2,4,6
/proc/6622/stat : 6622 (scip-2.1.1.4fix) R 6620 6622 5654 0 -1 4202496 298860 0 0 0 165851 352 0 0 20 0 1 0 268732749 158208000 37812 33554432000 4194304 10173063 140734754078576 140734754071832 8982074 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/6622/statm: 38625 37812 778 1460 0 37156 0
Current children cumulated CPU time (s) 1662.03
Current children cumulated vsize (KiB) 154500
[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 6661
/proc/meminfo: memFree=28853100/32873844 swapFree=7616/7616
[pid=6622] ppid=6620 vsize=156896 CPUtime=1722.01 cores=0,2,4,6
/proc/6622/stat : 6622 (scip-2.1.1.4fix) R 6620 6622 5654 0 -1 4202496 299421 0 0 0 171843 358 0 0 20 0 1 0 268732749 160661504 38372 33554432000 4194304 10173063 140734754078576 140734754072216 8982074 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/6622/statm: 39224 38372 778 1460 0 37755 0
Current children cumulated CPU time (s) 1722.01
Current children cumulated vsize (KiB) 156896
[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 6661
/proc/meminfo: memFree=28852852/32873844 swapFree=7616/7616
[pid=6622] ppid=6620 vsize=156896 CPUtime=1782.01 cores=0,2,4,6
/proc/6622/stat : 6622 (scip-2.1.1.4fix) R 6620 6622 5654 0 -1 4202496 299421 0 0 0 177834 367 0 0 20 0 1 0 268732749 160661504 38372 33554432000 4194304 10173063 140734754078576 140734754071832 8982074 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/6622/statm: 39224 38372 778 1460 0 37755 0
Current children cumulated CPU time (s) 1782.01
Current children cumulated vsize (KiB) 156896
Solver just ended. Dumping a history of the last processes samples
[startup+1785.5 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 6661
/proc/meminfo: memFree=28852976/32873844 swapFree=7616/7616
[pid=6622] ppid=6620 vsize=156896 CPUtime=1785.21 cores=0,2,4,6
/proc/6622/stat : 6622 (scip-2.1.1.4fix) R 6620 6622 5654 0 -1 4202496 299421 0 0 0 178154 367 0 0 20 0 1 0 268732749 160661504 38372 33554432000 4194304 10173063 140734754078576 140734754071928 8982074 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/6622/statm: 39224 38372 778 1460 0 37755 0
Current children cumulated CPU time (s) 1785.21
Current children cumulated vsize (KiB) 156896
[startup+1791.91 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 6661
/proc/meminfo: memFree=28852976/32873844 swapFree=7616/7616
[pid=6622] ppid=6620 vsize=156896 CPUtime=1791.61 cores=0,2,4,6
/proc/6622/stat : 6622 (scip-2.1.1.4fix) R 6620 6622 5654 0 -1 4202496 299421 0 0 0 178794 367 0 0 20 0 1 0 268732749 160661504 38372 33554432000 4194304 10173063 140734754078576 140734754071880 8007111 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/6622/statm: 39224 38372 778 1460 0 37755 0
Current children cumulated CPU time (s) 1791.61
Current children cumulated vsize (KiB) 156896
[startup+1795.1 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 6661
/proc/meminfo: memFree=28853100/32873844 swapFree=7616/7616
[pid=6622] ppid=6620 vsize=156896 CPUtime=1794.82 cores=0,2,4,6
/proc/6622/stat : 6622 (scip-2.1.1.4fix) R 6620 6622 5654 0 -1 4202496 299421 0 0 0 179114 368 0 0 20 0 1 0 268732749 160661504 38372 33554432000 4194304 10173063 140734754078576 140734754071832 8982074 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/6622/statm: 39224 38372 778 1460 0 37755 0
Current children cumulated CPU time (s) 1794.82
Current children cumulated vsize (KiB) 156896
[startup+1795.9 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 6661
/proc/meminfo: memFree=28853100/32873844 swapFree=7616/7616
[pid=6622] ppid=6620 vsize=156896 CPUtime=1795.61 cores=0,2,4,6
/proc/6622/stat : 6622 (scip-2.1.1.4fix) R 6620 6622 5654 0 -1 4202496 299421 0 0 0 179193 368 0 0 20 0 1 0 268732749 160661504 38372 33554432000 4194304 10173063 140734754078576 140734754073944 8982074 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/6622/statm: 39224 38372 778 1460 0 37755 0
Current children cumulated CPU time (s) 1795.61
Current children cumulated vsize (KiB) 156896
[startup+1796.7 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 6661
/proc/meminfo: memFree=28853100/32873844 swapFree=7616/7616
[pid=6622] ppid=6620 vsize=156896 CPUtime=1796.41 cores=0,2,4,6
/proc/6622/stat : 6622 (scip-2.1.1.4fix) R 6620 6622 5654 0 -1 4202496 299421 0 0 0 179273 368 0 0 20 0 1 0 268732749 160661504 38372 33554432000 4194304 10173063 140734754078576 140734754071832 8982074 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/6622/statm: 39224 38372 778 1460 0 37755 0
Current children cumulated CPU time (s) 1796.41
Current children cumulated vsize (KiB) 156896
[startup+1797.1 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 6661
/proc/meminfo: memFree=28853100/32873844 swapFree=7616/7616
[pid=6622] ppid=6620 vsize=137048 CPUtime=1796.8 cores=0,2,4,6
/proc/6622/stat : 6622 (scip-2.1.1.4fix) R 6620 6622 5654 0 -1 4202496 299436 0 0 0 179312 368 0 0 20 0 1 0 268732749 140337152 33425 33554432000 4194304 10173063 140734754078576 140734754075272 8992599 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/6622/statm: 34262 33425 793 1460 0 32793 0
Current children cumulated CPU time (s) 1796.8
Current children cumulated vsize (KiB) 137048
Child status: 0
Real time (s): 1797.11
CPU time (s): 1796.83
CPU user time (s): 1793.13
CPU system time (s): 3.69544
CPU usage (%): 99.9841
Max. virtual memory (cumulated for all children) (KiB): 157244
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1793.13
system time used= 3.69544
maximum resident set size= 153532
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 299448
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= 32
involuntary context switches= 1923
runsolver used 3.25251 second user time and 8.90964 second system time
The end