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-3690395-1338016939.opb>
2.39/2.47 c original problem has 2800 variables (2800 bin, 0 int, 0 impl, 0 cont) and 990001 constraints
2.39/2.47 c problem read in 2.47
2.49/2.52 c No objective function, only one solution is needed.
2.49/2.52 c presolving settings loaded
5.79/5.84 c presolving:
12.79/12.89 c (round 1) 0 del vars, 0 del conss, 0 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 1084800 upgd conss, 2400 impls, 80 clqs
14.59/14.64 c (round 2) 0 del vars, 71399 del conss, 0 add conss, 0 chg bounds, 0 chg sides, 3241 chg coeffs, 1084800 upgd conss, 49200 impls, 80 clqs
18.88/18.92 c presolving (3 rounds):
18.88/18.92 c 0 deleted vars, 71399 deleted constraints, 0 added constraints, 0 tightened bounds, 0 added holes, 0 changed sides, 3414 changed coefficients
18.88/18.92 c 52320 implications, 80 cliques
18.88/18.92 c presolved problem has 2800 variables (2800 bin, 0 int, 0 impl, 0 cont) and 918602 constraints
18.88/18.92 c 3160 constraints of type <knapsack>
18.88/18.92 c 24681 constraints of type <setppc>
18.88/18.92 c 1 constraints of type <linear>
18.88/18.92 c 890760 constraints of type <logicor>
18.88/18.92 c transformed objective value is always integral (scale: 1)
18.88/18.92 c Presolving Time: 15.76
18.88/18.92 c - non default parameters ----------------------------------------------------------------------
18.88/18.92 c # SCIP version 2.1.1.4
18.88/18.92 c
18.88/18.92 c # maximal time in seconds to run
18.88/18.92 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
18.88/18.92 c limits/time = 1797
18.88/18.92 c
18.88/18.92 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
18.88/18.92 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
18.88/18.92 c limits/memory = 13950
18.88/18.92 c
18.88/18.92 c # solving stops, if the given number of solutions were found (-1: no limit)
18.88/18.92 c # [type: int, range: [-1,2147483647], default: -1]
18.88/18.92 c limits/solutions = 1
18.88/18.92 c
18.88/18.92 c # maximal number of separation rounds per node (-1: unlimited)
18.88/18.92 c # [type: int, range: [-1,2147483647], default: 5]
18.88/18.92 c separating/maxrounds = 1
18.88/18.92 c
18.88/18.92 c # maximal number of separation rounds in the root node (-1: unlimited)
18.88/18.92 c # [type: int, range: [-1,2147483647], default: -1]
18.88/18.92 c separating/maxroundsroot = 5
18.88/18.92 c
18.88/18.92 c # default clock type (1: CPU user seconds, 2: wall clock time)
18.88/18.92 c # [type: int, range: [1,2], default: 1]
18.88/18.92 c timing/clocktype = 2
18.88/18.92 c
18.88/18.92 c # belongs reading time to solving time?
18.88/18.92 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
18.88/18.92 c timing/reading = TRUE
18.88/18.92 c
18.88/18.92 c # should disaggregation of knapsack constraints be allowed in preprocessing?
18.88/18.92 c # [type: bool, range: {TRUE,FALSE}, default: TRUE]
18.88/18.92 c constraints/knapsack/disaggregation = FALSE
18.88/18.92 c
18.88/18.92 c # frequency for calling primal heuristic <coefdiving> (-1: never, 0: only at depth freqofs)
18.88/18.92 c # [type: int, range: [-1,2147483647], default: 10]
18.88/18.92 c heuristics/coefdiving/freq = -1
18.88/18.92 c
18.88/18.92 c # maximal fraction of diving LP iterations compared to node LP iterations
18.88/18.92 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
18.88/18.92 c heuristics/coefdiving/maxlpiterquot = 0.075
18.88/18.92 c
18.88/18.92 c # additional number of allowed LP iterations
18.88/18.92 c # [type: int, range: [0,2147483647], default: 1000]
18.88/18.92 c heuristics/coefdiving/maxlpiterofs = 1500
18.88/18.92 c
18.88/18.92 c # frequency for calling primal heuristic <crossover> (-1: never, 0: only at depth freqofs)
18.88/18.92 c # [type: int, range: [-1,2147483647], default: 30]
18.88/18.92 c heuristics/crossover/freq = -1
18.88/18.92 c
18.88/18.92 c # number of nodes added to the contingent of the total nodes
18.88/18.92 c # [type: longint, range: [0,9223372036854775807], default: 500]
18.88/18.92 c heuristics/crossover/nodesofs = 750
18.88/18.92 c
18.88/18.92 c # number of nodes without incumbent change that heuristic should wait
18.88/18.92 c # [type: longint, range: [0,9223372036854775807], default: 200]
18.88/18.92 c heuristics/crossover/nwaitingnodes = 100
18.88/18.92 c
18.88/18.92 c # contingent of sub problem nodes in relation to the number of nodes of the original problem
18.88/18.92 c # [type: real, range: [0,1], default: 0.1]
18.88/18.92 c heuristics/crossover/nodesquot = 0.15
18.88/18.92 c
18.88/18.92 c # minimum percentage of integer variables that have to be fixed
18.88/18.92 c # [type: real, range: [0,1], default: 0.666]
18.88/18.92 c heuristics/crossover/minfixingrate = 0.5
18.88/18.92 c
18.88/18.92 c # frequency for calling primal heuristic <feaspump> (-1: never, 0: only at depth freqofs)
18.88/18.92 c # [type: int, range: [-1,2147483647], default: 20]
18.88/18.92 c heuristics/feaspump/freq = -1
18.88/18.92 c
18.88/18.92 c # additional number of allowed LP iterations
18.88/18.92 c # [type: int, range: [0,2147483647], default: 1000]
18.88/18.92 c heuristics/feaspump/maxlpiterofs = 2000
18.88/18.92 c
18.88/18.92 c # frequency for calling primal heuristic <fracdiving> (-1: never, 0: only at depth freqofs)
18.88/18.92 c # [type: int, range: [-1,2147483647], default: 10]
18.88/18.92 c heuristics/fracdiving/freq = -1
18.88/18.92 c
18.88/18.92 c # maximal fraction of diving LP iterations compared to node LP iterations
18.88/18.92 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
18.88/18.92 c heuristics/fracdiving/maxlpiterquot = 0.075
18.88/18.92 c
18.88/18.92 c # additional number of allowed LP iterations
18.88/18.92 c # [type: int, range: [0,2147483647], default: 1000]
18.88/18.92 c heuristics/fracdiving/maxlpiterofs = 1500
18.88/18.92 c
18.88/18.92 c # frequency for calling primal heuristic <guideddiving> (-1: never, 0: only at depth freqofs)
18.88/18.92 c # [type: int, range: [-1,2147483647], default: 10]
18.88/18.92 c heuristics/guideddiving/freq = -1
18.88/18.92 c
18.88/18.92 c # maximal fraction of diving LP iterations compared to node LP iterations
18.88/18.92 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
18.88/18.92 c heuristics/guideddiving/maxlpiterquot = 0.075
18.88/18.92 c
18.88/18.92 c # additional number of allowed LP iterations
18.88/18.92 c # [type: int, range: [0,2147483647], default: 1000]
18.88/18.92 c heuristics/guideddiving/maxlpiterofs = 1500
18.88/18.92 c
18.88/18.92 c # maximal fraction of diving LP iterations compared to node LP iterations
18.88/18.92 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
18.88/18.92 c heuristics/intdiving/maxlpiterquot = 0.075
18.88/18.92 c
18.88/18.92 c # frequency for calling primal heuristic <intshifting> (-1: never, 0: only at depth freqofs)
18.88/18.92 c # [type: int, range: [-1,2147483647], default: 10]
18.88/18.92 c heuristics/intshifting/freq = -1
18.88/18.92 c
18.88/18.92 c # frequency for calling primal heuristic <linesearchdiving> (-1: never, 0: only at depth freqofs)
18.88/18.92 c # [type: int, range: [-1,2147483647], default: 10]
18.88/18.92 c heuristics/linesearchdiving/freq = -1
18.88/18.92 c
18.88/18.92 c # maximal fraction of diving LP iterations compared to node LP iterations
18.88/18.92 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
18.88/18.92 c heuristics/linesearchdiving/maxlpiterquot = 0.075
18.88/18.92 c
18.88/18.92 c # additional number of allowed LP iterations
18.88/18.92 c # [type: int, range: [0,2147483647], default: 1000]
18.88/18.92 c heuristics/linesearchdiving/maxlpiterofs = 1500
18.88/18.92 c
18.88/18.92 c # frequency for calling primal heuristic <objpscostdiving> (-1: never, 0: only at depth freqofs)
18.88/18.92 c # [type: int, range: [-1,2147483647], default: 20]
18.88/18.92 c heuristics/objpscostdiving/freq = -1
18.88/18.92 c
18.88/18.92 c # maximal fraction of diving LP iterations compared to total iteration number
18.88/18.92 c # [type: real, range: [0,1], default: 0.01]
18.88/18.92 c heuristics/objpscostdiving/maxlpiterquot = 0.015
18.88/18.92 c
18.88/18.92 c # additional number of allowed LP iterations
18.88/18.92 c # [type: int, range: [0,2147483647], default: 1000]
18.88/18.92 c heuristics/objpscostdiving/maxlpiterofs = 1500
18.88/18.92 c
18.88/18.92 c # frequency for calling primal heuristic <oneopt> (-1: never, 0: only at depth freqofs)
18.88/18.92 c # [type: int, range: [-1,2147483647], default: 1]
18.88/18.92 c heuristics/oneopt/freq = -1
18.88/18.92 c
18.88/18.92 c # frequency for calling primal heuristic <pscostdiving> (-1: never, 0: only at depth freqofs)
18.88/18.92 c # [type: int, range: [-1,2147483647], default: 10]
18.88/18.92 c heuristics/pscostdiving/freq = -1
18.88/18.92 c
18.88/18.92 c # maximal fraction of diving LP iterations compared to node LP iterations
18.88/18.92 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
18.88/18.92 c heuristics/pscostdiving/maxlpiterquot = 0.075
18.88/18.92 c
18.88/18.92 c # additional number of allowed LP iterations
18.88/18.92 c # [type: int, range: [0,2147483647], default: 1000]
18.88/18.92 c heuristics/pscostdiving/maxlpiterofs = 1500
18.88/18.92 c
18.88/18.92 c # frequency for calling primal heuristic <rens> (-1: never, 0: only at depth freqofs)
18.88/18.92 c # [type: int, range: [-1,2147483647], default: 0]
18.88/18.92 c heuristics/rens/freq = -1
18.88/18.92 c
18.88/18.92 c # minimum percentage of integer variables that have to be fixable
18.88/18.92 c # [type: real, range: [0,1], default: 0.5]
18.88/18.92 c heuristics/rens/minfixingrate = 0.3
18.88/18.92 c
18.88/18.92 c # number of nodes added to the contingent of the total nodes
18.88/18.92 c # [type: longint, range: [0,9223372036854775807], default: 500]
18.88/18.92 c heuristics/rens/nodesofs = 2000
18.88/18.92 c
18.88/18.92 c # frequency for calling primal heuristic <rootsoldiving> (-1: never, 0: only at depth freqofs)
18.88/18.92 c # [type: int, range: [-1,2147483647], default: 20]
18.88/18.92 c heuristics/rootsoldiving/freq = -1
18.88/18.92 c
18.88/18.92 c # maximal fraction of diving LP iterations compared to node LP iterations
18.88/18.92 c # [type: real, range: [0,1.79769313486232e+308], default: 0.01]
18.88/18.92 c heuristics/rootsoldiving/maxlpiterquot = 0.015
18.88/18.92 c
18.88/18.92 c # additional number of allowed LP iterations
18.88/18.92 c # [type: int, range: [0,2147483647], default: 1000]
18.88/18.92 c heuristics/rootsoldiving/maxlpiterofs = 1500
18.88/18.92 c
18.88/18.92 c # frequency for calling primal heuristic <rounding> (-1: never, 0: only at depth freqofs)
18.88/18.92 c # [type: int, range: [-1,2147483647], default: 1]
18.88/18.92 c heuristics/rounding/freq = -1
18.88/18.92 c
18.88/18.92 c # frequency for calling primal heuristic <shiftandpropagate> (-1: never, 0: only at depth freqofs)
18.88/18.92 c # [type: int, range: [-1,2147483647], default: 0]
18.88/18.92 c heuristics/shiftandpropagate/freq = -1
18.88/18.92 c
18.88/18.92 c # frequency for calling primal heuristic <shifting> (-1: never, 0: only at depth freqofs)
18.88/18.92 c # [type: int, range: [-1,2147483647], default: 10]
18.88/18.92 c heuristics/shifting/freq = -1
18.88/18.92 c
18.88/18.92 c # frequency for calling primal heuristic <simplerounding> (-1: never, 0: only at depth freqofs)
18.88/18.92 c # [type: int, range: [-1,2147483647], default: 1]
18.88/18.92 c heuristics/simplerounding/freq = -1
18.88/18.92 c
18.88/18.92 c # frequency for calling primal heuristic <subnlp> (-1: never, 0: only at depth freqofs)
18.88/18.92 c # [type: int, range: [-1,2147483647], default: 1]
18.88/18.92 c heuristics/subnlp/freq = -1
18.88/18.92 c
18.88/18.92 c # frequency for calling primal heuristic <trivial> (-1: never, 0: only at depth freqofs)
18.88/18.92 c # [type: int, range: [-1,2147483647], default: 0]
18.88/18.92 c heuristics/trivial/freq = -1
18.88/18.92 c
18.88/18.92 c # frequency for calling primal heuristic <trysol> (-1: never, 0: only at depth freqofs)
18.88/18.92 c # [type: int, range: [-1,2147483647], default: 1]
18.88/18.92 c heuristics/trysol/freq = -1
18.88/18.92 c
18.88/18.92 c # frequency for calling primal heuristic <undercover> (-1: never, 0: only at depth freqofs)
18.88/18.92 c # [type: int, range: [-1,2147483647], default: 0]
18.88/18.92 c heuristics/undercover/freq = -1
18.88/18.92 c
18.88/18.92 c # frequency for calling primal heuristic <veclendiving> (-1: never, 0: only at depth freqofs)
18.88/18.92 c # [type: int, range: [-1,2147483647], default: 10]
18.88/18.92 c heuristics/veclendiving/freq = -1
18.88/18.92 c
18.88/18.92 c # maximal fraction of diving LP iterations compared to node LP iterations
18.88/18.92 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
18.88/18.92 c heuristics/veclendiving/maxlpiterquot = 0.075
18.88/18.92 c
18.88/18.92 c # additional number of allowed LP iterations
18.88/18.92 c # [type: int, range: [0,2147483647], default: 1000]
18.88/18.92 c heuristics/veclendiving/maxlpiterofs = 1500
18.88/18.92 c
18.88/18.92 c # frequency for calling primal heuristic <zirounding> (-1: never, 0: only at depth freqofs)
18.88/18.92 c # [type: int, range: [-1,2147483647], default: 1]
18.88/18.92 c heuristics/zirounding/freq = -1
18.88/18.92 c
18.88/18.92 c # maximal number of presolving rounds the propagator participates in (-1: no limit)
18.88/18.92 c # [type: int, range: [-1,2147483647], default: -1]
18.88/18.92 c propagating/probing/maxprerounds = 0
18.88/18.92 c
18.88/18.92 c # frequency for calling separator <cmir> (-1: never, 0: only in root node)
18.88/18.92 c # [type: int, range: [-1,2147483647], default: 0]
18.88/18.92 c separating/cmir/freq = -1
18.88/18.92 c
18.88/18.92 c # frequency for calling separator <flowcover> (-1: never, 0: only in root node)
18.88/18.92 c # [type: int, range: [-1,2147483647], default: 0]
18.88/18.92 c separating/flowcover/freq = -1
18.88/18.92 c
18.88/18.92 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
18.88/18.92 c # [type: int, range: [-1,2147483647], default: -1]
18.88/18.92 c separating/rapidlearning/freq = 0
18.88/18.92 c
18.88/18.92 c # frequency for calling primal heuristic <indoneopt> (-1: never, 0: only at depth freqofs)
18.88/18.92 c # [type: int, range: [-1,2147483647], default: 1]
18.88/18.92 c heuristics/indoneopt/freq = -1
18.88/18.92 c
18.88/18.92 c -----------------------------------------------------------------------------------------------
18.88/18.92 c start solving
18.88/18.93 c
68.37/68.44 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
68.37/68.44 c 68.4s| 1 | 0 | 2477 | - |1188M| 0 | 140 |2800 | 918k|2800 | 918k| 0 | 0 | 0 | 0.000000e+00 | -- | Inf
84.38/84.40 c 84.4s| 1 | 0 | 2943 | - |1190M| 0 | 191 |2800 | 918k|2800 | 918k| 20 | 0 | 0 | 0.000000e+00 | -- | Inf
108.57/108.69 c 109s| 1 | 0 | 3523 | - |1190M| 0 | 188 |2800 | 918k|2800 | 918k| 38 | 0 | 0 | 0.000000e+00 | -- | Inf
154.46/154.51 c 154s| 1 | 0 | 5097 | - |1190M| 0 | 234 |2800 | 918k|2800 | 918k| 55 | 0 | 0 | 0.000000e+00 | -- | Inf
243.84/243.91 c 244s| 1 | 0 | 8241 | - |1190M| 0 | 189 |2800 | 918k|2800 | 918k| 65 | 0 | 0 | 0.000000e+00 | -- | Inf
536.80/536.94 c 537s| 1 | 0 | 8650 | - |1190M| 0 | 179 |2800 | 918k|2800 | 918k| 80 | 0 | 0 | 0.000000e+00 | -- | Inf
700.68/700.88 c 701s| 1 | 2 | 8650 | - |1190M| 0 | 179 |2800 | 918k|2800 | 918k| 80 | 0 | 33 | 0.000000e+00 | -- | Inf
1797.80/1798.10 c
1797.80/1798.10 c SCIP Status : solving was interrupted [time limit reached]
1797.80/1798.10 c Solving Time (sec) : 1798.06
1797.80/1798.10 c Solving Nodes : 6
1797.80/1798.10 c Primal Bound : +1.00000000000000e+20 (0 solutions)
1797.80/1798.10 c Dual Bound : +0.00000000000000e+00
1797.80/1798.10 c Gap : infinite
1797.80/1798.10 s UNKNOWN
1797.80/1798.10 c SCIP Status : solving was interrupted [time limit reached]
1797.80/1798.10 c Total Time : 1798.06
1797.80/1798.10 c solving : 1798.06
1797.80/1798.10 c presolving : 15.76 (included in solving)
1797.80/1798.10 c reading : 2.47 (included in solving)
1797.80/1798.10 c copying : 0.00 (0 times copied the problem)
1797.80/1798.10 c Original Problem :
1797.80/1798.10 c Problem name : HOME/instance-3690395-1338016939.opb
1797.80/1798.10 c Variables : 2800 (2800 binary, 0 integer, 0 implicit integer, 0 continuous)
1797.80/1798.10 c Constraints : 990001 initial, 990001 maximal
1797.80/1798.10 c Objective sense : minimize
1797.80/1798.10 c Presolved Problem :
1797.80/1798.10 c Problem name : t_HOME/instance-3690395-1338016939.opb
1797.80/1798.10 c Variables : 2800 (2800 binary, 0 integer, 0 implicit integer, 0 continuous)
1797.80/1798.10 c Constraints : 918602 initial, 918602 maximal
1797.80/1798.10 c Presolvers : ExecTime SetupTime FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons AddCons ChgSides ChgCoefs
1797.80/1798.10 c domcol : 0.00 0.00 0 0 0 0 0 0 0 0 0
1797.80/1798.10 c trivial : 0.00 0.00 0 0 0 0 0 0 0 0 0
1797.80/1798.10 c dualfix : 0.00 0.00 0 0 0 0 0 0 0 0 0
1797.80/1798.10 c boundshift : 0.00 0.00 0 0 0 0 0 0 0 0 0
1797.80/1798.10 c inttobinary : 0.00 0.00 0 0 0 0 0 0 0 0 0
1797.80/1798.10 c convertinttobin : 0.00 0.00 0 0 0 0 0 0 0 0 0
1797.80/1798.10 c gateextraction : 0.28 0.00 0 0 0 0 0 0 0 0 0
1797.80/1798.10 c implics : 0.00 0.00 0 0 0 0 0 0 0 0 0
1797.80/1798.10 c components : 0.33 0.00 0 0 0 0 0 0 0 0 0
1797.80/1798.10 c pseudoobj : 0.00 0.00 0 0 0 0 0 0 0 0 0
1797.80/1798.10 c probing : 0.00 0.00 0 0 0 0 0 0 0 0 0
1797.80/1798.10 c knapsack : 0.60 0.00 0 0 0 0 0 0 0 0 3414
1797.80/1798.10 c setppc : 0.17 0.00 0 0 0 0 0 71399 0 0 0
1797.80/1798.10 c linear : 4.61 0.00 0 0 0 0 0 0 0 0 0
1797.80/1798.10 c logicor : 3.56 2.26 0 0 0 0 0 0 0 0 0
1797.80/1798.10 c root node : - - 0 - - 0 - - - - -
1797.80/1798.10 c Constraints : Number MaxNumber #Separate #Propagate #EnfoLP #EnfoPS #Check #ResProp Cutoffs DomReds Cuts Conss Children
1797.80/1798.10 c integral : 0 0 0 0 6 0 1 0 0 0 0 0 12
1797.80/1798.10 c knapsack : 3160 3160 5 10 0 0 0 0 0 4 389 0 0
1797.80/1798.10 c setppc : 24681 24681 5 10 0 0 0 0 0 296 0 0 0
1797.80/1798.10 c linear : 1 1 5 10 0 0 0 0 0 0 0 0 0
1797.80/1798.10 c logicor : 890760 890760 5 5 0 0 0 0 0 5 0 0 0
1797.80/1798.10 c countsols : 0 0 0 0 0 0 0 0 0 0 0 0 0
1797.80/1798.10 c Constraint Timings : TotalTime SetupTime Separate Propagate EnfoLP EnfoPS Check ResProp
1797.80/1798.10 c integral : 1235.83 0.00 0.00 0.00 1235.83 0.00 0.00 0.00
1797.80/1798.10 c knapsack : 0.03 0.00 0.03 0.00 0.00 0.00 0.00 0.00
1797.80/1798.10 c setppc : 0.01 0.00 0.00 0.01 0.00 0.00 0.00 0.00
1797.80/1798.10 c linear : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
1797.80/1798.10 c logicor : 2.61 2.26 0.12 0.23 0.00 0.00 0.00 0.00
1797.80/1798.10 c countsols : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
1797.80/1798.10 c Propagators : #Propagate #ResProp Cutoffs DomReds
1797.80/1798.10 c rootredcost : 0 0 0 0
1797.80/1798.10 c pseudoobj : 0 0 0 0
1797.80/1798.10 c vbounds : 0 0 0 0
1797.80/1798.10 c redcost : 11 0 0 0
1797.80/1798.10 c probing : 0 0 0 0
1797.80/1798.10 c Propagator Timings : TotalTime SetupTime Presolve Propagate ResProp
1797.80/1798.10 c rootredcost : 0.00 0.00 0.00 0.00 0.00
1797.80/1798.10 c pseudoobj : 0.00 0.00 0.00 0.00 0.00
1797.80/1798.10 c vbounds : 0.00 0.00 0.00 0.00 0.00
1797.80/1798.10 c redcost : 0.00 0.00 0.00 0.00 0.00
1797.80/1798.10 c probing : 0.00 0.00 0.00 0.00 0.00
1797.80/1798.10 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1797.80/1798.10 c propagation : 0.00 0 0 0 0.0 0 0.0 -
1797.80/1798.10 c infeasible LP : 0.00 0 0 0 0.0 0 0.0 0
1797.80/1798.10 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1797.80/1798.10 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1797.80/1798.10 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 -
1797.80/1798.10 c applied globally : - - - 0 0.0 - - -
1797.80/1798.10 c applied locally : - - - 0 0.0 - - -
1797.80/1798.10 c Separators : ExecTime SetupTime Calls Cutoffs DomReds Cuts Conss
1797.80/1798.10 c cut pool : 0.00 4 - - 0 - (maximal pool size: 197)
1797.80/1798.10 c closecuts : 0.00 0.00 0 0 0 0 0
1797.80/1798.10 c impliedbounds : 0.00 0.00 5 0 0 0 0
1797.80/1798.10 c intobj : 0.00 0.00 0 0 0 0 0
1797.80/1798.10 c gomory : 27.28 0.00 5 0 0 250 0
1797.80/1798.10 c cgmip : 0.00 0.00 0 0 0 0 0
1797.80/1798.10 c strongcg : 328.99 0.00 5 0 0 2500 0
1797.80/1798.10 c cmir : 0.00 0.00 0 0 0 0 0
1797.80/1798.10 c flowcover : 0.00 0.00 0 0 0 0 0
1797.80/1798.10 c clique : 0.02 0.00 5 0 0 0 0
1797.80/1798.10 c zerohalf : 0.00 0.00 0 0 0 0 0
1797.80/1798.10 c mcf : 0.00 0.00 0 0 0 0 0
1797.80/1798.10 c oddcycle : 0.00 0.00 0 0 0 0 0
1797.80/1798.10 c rapidlearning : 0.00 0.00 0 0 0 0 0
1797.80/1798.10 c Pricers : ExecTime SetupTime Calls Vars
1797.80/1798.10 c problem variables: 0.00 - 0 0
1797.80/1798.10 c Branching Rules : ExecTime SetupTime Calls Cutoffs DomReds Cuts Conss Children
1797.80/1798.10 c relpscost : 1235.83 0.00 6 0 0 0 0 12
1797.80/1798.10 c pscost : 0.00 0.00 0 0 0 0 0 0
1797.80/1798.10 c inference : 0.00 0.00 0 0 0 0 0 0
1797.80/1798.10 c mostinf : 0.00 0.00 0 0 0 0 0 0
1797.80/1798.10 c leastinf : 0.00 0.00 0 0 0 0 0 0
1797.80/1798.10 c fullstrong : 0.00 0.00 0 0 0 0 0 0
1797.80/1798.10 c allfullstrong : 0.00 0.00 0 0 0 0 0 0
1797.80/1798.10 c random : 0.00 0.00 0 0 0 0 0 0
1797.80/1798.10 c Primal Heuristics : ExecTime SetupTime Calls Found
1797.80/1798.10 c LP solutions : 0.00 - - 0
1797.80/1798.10 c pseudo solutions : 0.00 - - 0
1797.80/1798.10 c smallcard : 0.00 0.00 0 0
1797.80/1798.10 c trivial : 0.22 0.00 1 0
1797.80/1798.10 c shiftandpropagate: 0.00 0.00 0 0
1797.80/1798.10 c simplerounding : 0.00 0.00 0 0
1797.80/1798.10 c zirounding : 0.00 0.00 0 0
1797.80/1798.10 c rounding : 0.00 0.00 0 0
1797.80/1798.10 c shifting : 0.00 0.00 0 0
1797.80/1798.10 c intshifting : 0.00 0.00 0 0
1797.80/1798.10 c oneopt : 0.00 0.00 0 0
1797.80/1798.10 c twoopt : 0.00 0.00 0 0
1797.80/1798.10 c indtwoopt : 0.00 0.00 0 0
1797.80/1798.10 c indoneopt : 0.00 0.00 0 0
1797.80/1798.10 c fixandinfer : 0.00 0.00 0 0
1797.80/1798.10 c feaspump : 0.00 0.00 0 0
1797.80/1798.10 c clique : 0.00 0.00 0 0
1797.80/1798.10 c indrounding : 0.00 0.00 0 0
1797.80/1798.10 c indcoefdiving : 0.00 0.00 0 0
1797.80/1798.10 c coefdiving : 0.00 0.00 0 0
1797.80/1798.10 c pscostdiving : 0.00 0.00 0 0
1797.80/1798.10 c nlpdiving : 0.00 0.00 0 0
1797.80/1798.10 c fracdiving : 0.00 0.00 0 0
1797.80/1798.10 c veclendiving : 0.00 0.00 0 0
1797.80/1798.10 c intdiving : 0.00 0.00 0 0
1797.80/1798.10 c actconsdiving : 0.00 0.00 0 0
1797.80/1798.10 c objpscostdiving : 0.00 0.00 0 0
1797.80/1798.10 c rootsoldiving : 0.00 0.00 0 0
1797.80/1798.10 c linesearchdiving : 0.00 0.00 0 0
1797.80/1798.10 c guideddiving : 0.00 0.00 0 0
1797.80/1798.10 c octane : 0.00 0.00 0 0
1797.80/1798.10 c rens : 0.00 0.00 0 0
1797.80/1798.10 c rins : 0.00 0.00 0 0
1797.80/1798.10 c localbranching : 0.00 0.00 0 0
1797.80/1798.10 c mutation : 0.00 0.00 0 0
1797.80/1798.10 c crossover : 0.00 0.00 0 0
1797.80/1798.10 c dins : 0.00 0.00 0 0
1797.80/1798.10 c vbounds : 0.00 0.00 0 0
1797.80/1798.10 c undercover : 0.00 0.00 0 0
1797.80/1798.10 c subnlp : 0.00 0.00 0 0
1797.80/1798.10 c trysol : 0.00 0.00 0 0
1797.80/1798.10 c LP : Time Calls Iterations Iter/call Iter/sec Time-0-It Calls-0-It
1797.80/1798.10 c primal LP : 0.23 1 0 0.00 0.00 0.23 1
1797.80/1798.10 c dual LP : 183.58 11 9830 893.64 53.55 0.00 0
1797.80/1798.10 c lex dual LP : 0.00 0 0 0.00 -
1797.80/1798.10 c barrier LP : 0.00 0 0 0.00 - 0.00 0
1797.80/1798.10 c diving/probing LP: 0.00 0 0 0.00 -
1797.80/1798.10 c strong branching : 1235.65 217 52858 243.59 42.78
1797.80/1798.10 c (at root node) : - 33 6558 198.73 -
1797.80/1798.10 c conflict analysis: 0.00 0 0 0.00 -
1797.80/1798.10 c B&B Tree :
1797.80/1798.10 c number of runs : 1
1797.80/1798.10 c nodes : 6
1797.80/1798.10 c nodes (total) : 6
1797.80/1798.10 c nodes left : 7
1797.80/1798.10 c max depth : 5
1797.80/1798.10 c max depth (total): 5
1797.80/1798.10 c backtracks : 0 (0.0%)
1797.80/1798.10 c delayed cutoffs : 0
1797.80/1798.10 c repropagations : 0 (0 domain reductions, 0 cutoffs)
1797.80/1798.10 c avg switch length: 1.00
1797.80/1798.10 c switching time : 0.37
1797.80/1798.10 c Solution :
1797.80/1798.10 c Solutions found : 0 (0 improvements)
1797.80/1798.10 c Primal Bound : -
1797.80/1798.10 c Dual Bound : +0.00000000000000e+00
1797.80/1798.10 c Gap : infinite
1797.80/1798.10 c Root Dual Bound : +0.00000000000000e+00
1797.80/1798.10 c Root Iterations : 8650
1799.70/1800.02 c Time complete: 1799.74.
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-3690395-1338016939/watcher-3690395-1338016939 -o /tmp/evaluation-result-3690395-1338016939/solver-3690395-1338016939 -C 1800 -W 1900 -M 15500 HOME/scip-2.1.1.4fix.linux.x86_64.gnu.opt.spx -f HOME/instance-3690395-1338016939.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: 0.08 0.22 0.81 2/176 6940
/proc/meminfo: memFree=28827996/32873648 swapFree=6596/6596
[pid=6940] ppid=6938 vsize=10204 CPUtime=0 cores=0,2,4,6
/proc/6940/stat : 6940 (scip-2.1.1.4fix) R 6938 6940 6744 0 -1 4202496 1302 0 0 0 0 0 0 0 20 0 1 0 267818528 10448896 1257 33554432000 4194304 10173063 140734175592496 140733598029528 7545739 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/6940/statm: 2551 1257 413 1460 0 1082 0
[startup+0.063357 s]
/proc/loadavg: 0.08 0.22 0.81 2/176 6940
/proc/meminfo: memFree=28827996/32873648 swapFree=6596/6596
[pid=6940] ppid=6938 vsize=18600 CPUtime=0.05 cores=0,2,4,6
/proc/6940/stat : 6940 (scip-2.1.1.4fix) R 6938 6940 6744 0 -1 4202496 3406 0 0 0 5 0 0 0 20 0 1 0 267818528 19046400 3361 33554432000 4194304 10173063 140734175592496 140734175457672 5285022 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/6940/statm: 4650 3361 413 1460 0 3181 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 18600
[startup+0.100263 s]
/proc/loadavg: 0.08 0.22 0.81 2/176 6940
/proc/meminfo: memFree=28827996/32873648 swapFree=6596/6596
[pid=6940] ppid=6938 vsize=23404 CPUtime=0.09 cores=0,2,4,6
/proc/6940/stat : 6940 (scip-2.1.1.4fix) R 6938 6940 6744 0 -1 4202496 4599 0 0 0 9 0 0 0 20 0 1 0 267818528 23965696 4554 33554432000 4194304 10173063 140734175592496 140734175457672 5284995 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/6940/statm: 5851 4555 413 1460 0 4382 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 23404
[startup+0.300227 s]
/proc/loadavg: 0.08 0.22 0.81 2/176 6940
/proc/meminfo: memFree=28827996/32873648 swapFree=6596/6596
[pid=6940] ppid=6938 vsize=47384 CPUtime=0.29 cores=0,2,4,6
/proc/6940/stat : 6940 (scip-2.1.1.4fix) R 6938 6940 6744 0 -1 4202496 10581 0 0 0 29 0 0 0 20 0 1 0 267818528 48521216 10536 33554432000 4194304 10173063 140734175592496 140734175457672 5479875 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/6940/statm: 11846 10536 413 1460 0 10377 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 47384
[startup+0.700229 s]
/proc/loadavg: 0.08 0.22 0.81 2/176 6940
/proc/meminfo: memFree=28827996/32873648 swapFree=6596/6596
[pid=6940] ppid=6938 vsize=96876 CPUtime=0.69 cores=0,2,4,6
/proc/6940/stat : 6940 (scip-2.1.1.4fix) R 6938 6940 6744 0 -1 4202496 22881 0 0 0 67 2 0 0 20 0 1 0 267818528 99201024 22836 33554432000 4194304 10173063 140734175592496 140734175457672 5987911 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/6940/statm: 24219 22837 413 1460 0 22750 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 96876
[startup+1.50023 s]
/proc/loadavg: 0.23 0.25 0.81 3/177 6941
/proc/meminfo: memFree=28702344/32873648 swapFree=6596/6596
[pid=6940] ppid=6938 vsize=193028 CPUtime=1.49 cores=0,2,4,6
/proc/6940/stat : 6940 (scip-2.1.1.4fix) R 6938 6940 6744 0 -1 4202496 46859 0 0 0 142 7 0 0 20 0 1 0 267818528 197660672 46814 33554432000 4194304 10173063 140734175592496 140734175457672 5285017 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/6940/statm: 48257 46814 413 1460 0 46788 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 193028
[startup+3.10024 s]
/proc/loadavg: 0.23 0.25 0.81 3/177 6941
/proc/meminfo: memFree=28569160/32873648 swapFree=6596/6596
[pid=6940] ppid=6938 vsize=624632 CPUtime=3.09 cores=0,2,4,6
/proc/6940/stat : 6940 (scip-2.1.1.4fix) R 6938 6940 6744 0 -1 4202496 153597 0 0 0 286 23 0 0 20 0 1 0 267818528 639623168 153506 33554432000 4194304 10173063 140734175592496 140734175588696 4900240 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/6940/statm: 156158 153506 465 1460 0 154689 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 624632
[startup+6.30024 s]
/proc/loadavg: 0.37 0.28 0.82 3/177 6941
/proc/meminfo: memFree=27501644/32873648 swapFree=6596/6596
[pid=6940] ppid=6938 vsize=1147000 CPUtime=6.29 cores=0,2,4,6
/proc/6940/stat : 6940 (scip-2.1.1.4fix) R 6938 6940 6744 0 -1 4202496 354695 0 0 0 568 61 0 0 20 0 1 0 267818528 1174528000 284431 33554432000 4194304 10173063 140734175592496 140734175590104 8963895 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/6940/statm: 286750 284431 548 1460 0 285281 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 1147000
[startup+12.7002 s]
/proc/loadavg: 0.50 0.31 0.83 3/177 6941
/proc/meminfo: memFree=27328500/32873648 swapFree=6596/6596
[pid=6940] ppid=6938 vsize=1415948 CPUtime=12.69 cores=0,2,4,6
/proc/6940/stat : 6940 (scip-2.1.1.4fix) R 6938 6940 6744 0 -1 4202496 445587 0 0 0 1122 147 0 0 20 0 1 0 267818528 1449930752 351292 33554432000 4194304 10173063 140734175592496 140734175588552 4953280 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/6940/statm: 353987 351292 568 1460 0 352518 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 1415948
[startup+25.5003 s]
/proc/loadavg: 0.73 0.36 0.84 3/177 6941
/proc/meminfo: memFree=26474288/32873648 swapFree=6596/6596
[pid=6940] ppid=6938 vsize=2490364 CPUtime=25.48 cores=0,2,4,6
/proc/6940/stat : 6940 (scip-2.1.1.4fix) R 6938 6940 6744 0 -1 4202496 586816 0 0 0 2312 236 0 0 20 0 1 0 267818528 2550132736 587312 33554432000 4194304 10173063 140734175592496 140734175586136 8007133 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/6940/statm: 622591 587312 745 1460 0 621122 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 2490364
[startup+51.1003 s]
/proc/loadavg: 1.23 0.52 0.87 3/177 6941
/proc/meminfo: memFree=26467672/32873648 swapFree=6596/6596
[pid=6940] ppid=6938 vsize=2492572 CPUtime=51.07 cores=0,2,4,6
/proc/6940/stat : 6940 (scip-2.1.1.4fix) R 6938 6940 6744 0 -1 4202496 588551 0 0 0 4865 242 0 0 20 0 1 0 267818528 2552393728 589330 33554432000 4194304 10173063 140734175592496 140734175585752 8012042 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/6940/statm: 623143 589330 745 1460 0 621674 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 2492572
[startup+102.307 s]
/proc/loadavg: 1.66 0.75 0.93 3/177 6941
/proc/meminfo: memFree=26512532/32873648 swapFree=6596/6596
[pid=6940] ppid=6938 vsize=2425312 CPUtime=102.28 cores=0,2,4,6
/proc/6940/stat : 6940 (scip-2.1.1.4fix) R 6938 6940 6744 0 -1 4202496 600170 0 0 0 9971 257 0 0 20 0 1 0 267818528 2483519488 577933 33554432000 4194304 10173063 140734175592496 140734175585752 7595751 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/6940/statm: 606328 577933 782 1460 0 604859 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 2425312
[startup+162.3 s]
/proc/loadavg: 1.87 0.97 0.99 3/177 6942
/proc/meminfo: memFree=26485008/32873648 swapFree=6596/6596
[pid=6940] ppid=6938 vsize=2441916 CPUtime=162.26 cores=0,2,4,6
/proc/6940/stat : 6940 (scip-2.1.1.4fix) R 6938 6940 6744 0 -1 4202496 602665 0 0 0 15956 270 0 0 20 0 1 0 267818528 2500521984 584737 33554432000 4194304 10173063 140734175592496 140734175587336 8982074 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/6940/statm: 610479 584737 782 1460 0 609010 0
Current children cumulated CPU time (s) 162.26
Current children cumulated vsize (KiB) 2441916
[startup+222.3 s]
/proc/loadavg: 1.95 1.16 1.05 3/177 6942
/proc/meminfo: memFree=26484608/32873648 swapFree=6596/6596
[pid=6940] ppid=6938 vsize=2471932 CPUtime=222.25 cores=0,2,4,6
/proc/6940/stat : 6940 (scip-2.1.1.4fix) R 6938 6940 6744 0 -1 4202496 604874 0 0 0 21944 281 0 0 20 0 1 0 267818528 2531258368 584754 33554432000 4194304 10173063 140734175592496 140734175585752 8012528 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/6940/statm: 617983 584754 782 1460 0 616514 0
Current children cumulated CPU time (s) 222.25
Current children cumulated vsize (KiB) 2471932
[startup+282.3 s]
/proc/loadavg: 2.02 1.32 1.12 3/177 6942
/proc/meminfo: memFree=26484388/32873648 swapFree=6596/6596
[pid=6940] ppid=6938 vsize=2471932 CPUtime=282.24 cores=0,2,4,6
/proc/6940/stat : 6940 (scip-2.1.1.4fix) R 6938 6940 6744 0 -1 4202496 605498 0 0 0 27936 288 0 0 20 0 1 0 267818528 2531258368 584756 33554432000 4194304 10173063 140734175592496 140734175587336 5107494 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/6940/statm: 617983 584756 782 1460 0 616514 0
Current children cumulated CPU time (s) 282.24
Current children cumulated vsize (KiB) 2471932
[startup+342.3 s]
/proc/loadavg: 2.00 1.44 1.17 3/177 6942
/proc/meminfo: memFree=26482680/32873648 swapFree=6596/6596
[pid=6940] ppid=6938 vsize=2471932 CPUtime=342.23 cores=0,2,4,6
/proc/6940/stat : 6940 (scip-2.1.1.4fix) R 6938 6940 6744 0 -1 4202496 605499 0 0 0 33931 292 0 0 20 0 1 0 267818528 2531258368 584756 33554432000 4194304 10173063 140734175592496 140734175587384 8846909 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/6940/statm: 617983 584756 782 1460 0 616514 0
Current children cumulated CPU time (s) 342.23
Current children cumulated vsize (KiB) 2471932
[startup+402.3 s]
/proc/loadavg: 2.05 1.56 1.22 3/177 6942
/proc/meminfo: memFree=26482212/32873648 swapFree=6596/6596
[pid=6940] ppid=6938 vsize=2471932 CPUtime=402.23 cores=0,2,4,6
/proc/6940/stat : 6940 (scip-2.1.1.4fix) R 6938 6940 6744 0 -1 4202496 605501 0 0 0 39927 296 0 0 20 0 1 0 267818528 2531258368 584756 33554432000 4194304 10173063 140734175592496 140734175587384 7654783 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/6940/statm: 617983 584756 782 1460 0 616514 0
Current children cumulated CPU time (s) 402.23
Current children cumulated vsize (KiB) 2471932
[startup+462.3 s]
/proc/loadavg: 2.02 1.63 1.27 3/178 6946
/proc/meminfo: memFree=26480704/32873648 swapFree=6596/6596
[pid=6940] ppid=6938 vsize=2471932 CPUtime=462.21 cores=0,2,4,6
/proc/6940/stat : 6940 (scip-2.1.1.4fix) R 6938 6940 6744 0 -1 4202496 605501 0 0 0 45922 299 0 0 20 0 1 0 267818528 2531258368 584756 33554432000 4194304 10173063 140734175592496 140734175587416 8886783 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/6940/statm: 617983 584756 782 1460 0 616514 0
Current children cumulated CPU time (s) 462.21
Current children cumulated vsize (KiB) 2471932
[startup+522.3 s]
/proc/loadavg: 2.00 1.70 1.31 3/177 6946
/proc/meminfo: memFree=26481256/32873648 swapFree=6596/6596
[pid=6940] ppid=6938 vsize=2471932 CPUtime=522.2 cores=0,2,4,6
/proc/6940/stat : 6940 (scip-2.1.1.4fix) R 6938 6940 6744 0 -1 4202496 605501 0 0 0 51918 302 0 0 20 0 1 0 267818528 2531258368 584756 33554432000 4194304 10173063 140734175592496 140734175587336 8886990 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/6940/statm: 617983 584756 782 1460 0 616514 0
Current children cumulated CPU time (s) 522.2
Current children cumulated vsize (KiB) 2471932
[startup+582.3 s]
/proc/loadavg: 2.11 1.78 1.36 3/178 6947
/proc/meminfo: memFree=26507328/32873648 swapFree=6596/6596
[pid=6940] ppid=6938 vsize=2440864 CPUtime=582.19 cores=0,2,4,6
/proc/6940/stat : 6940 (scip-2.1.1.4fix) R 6938 6940 6744 0 -1 4202496 620047 0 0 0 57890 329 0 0 20 0 1 0 267818528 2499444736 579738 33554432000 4194304 10173063 140734175592496 140734175586328 8007064 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/6940/statm: 610216 579738 786 1460 0 608747 0
Current children cumulated CPU time (s) 582.19
Current children cumulated vsize (KiB) 2440864
[startup+642.3 s]
################
# More data... #
################
/proc/meminfo: memFree=24852964/32873648 swapFree=6596/6596
[pid=6940] ppid=6938 vsize=2494800 CPUtime=1122.11 cores=0,2,4,6
/proc/6940/stat : 6940 (scip-2.1.1.4fix) R 6938 6940 6744 0 -1 4202496 824799 0 0 0 111604 607 0 0 20 0 1 0 267818528 2554675200 593319 33554432000 4194304 10173063 140734175592496 140734175585944 7594611 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/6940/statm: 623700 593319 795 1460 0 622231 0
Current children cumulated CPU time (s) 1122.11
Current children cumulated vsize (KiB) 2494800
[startup+1182.3 s]
/proc/loadavg: 2.02 1.97 1.65 3/177 6990
/proc/meminfo: memFree=24870592/32873648 swapFree=6596/6596
[pid=6940] ppid=6938 vsize=2478108 CPUtime=1182.1 cores=0,2,4,6
/proc/6940/stat : 6940 (scip-2.1.1.4fix) R 6938 6940 6744 0 -1 4202496 839585 0 0 0 117574 636 0 0 20 0 1 0 267818528 2537582592 588957 33554432000 4194304 10173063 140734175592496 140734175585944 8033088 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/6940/statm: 619527 588957 795 1460 0 618058 0
Current children cumulated CPU time (s) 1182.1
Current children cumulated vsize (KiB) 2478108
[startup+1242.3 s]
/proc/loadavg: 2.01 1.97 1.67 3/177 6990
/proc/meminfo: memFree=24854464/32873648 swapFree=6596/6596
[pid=6940] ppid=6938 vsize=2501296 CPUtime=1242.09 cores=0,2,4,6
/proc/6940/stat : 6940 (scip-2.1.1.4fix) R 6938 6940 6744 0 -1 4202496 851219 0 0 0 123541 668 0 0 20 0 1 0 267818528 2561327104 592951 33554432000 4194304 10173063 140734175592496 140734175585944 7706073 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/6940/statm: 625324 592951 795 1460 0 623855 0
Current children cumulated CPU time (s) 1242.09
Current children cumulated vsize (KiB) 2501296
[startup+1302.3 s]
/proc/loadavg: 2.04 1.99 1.69 3/177 6990
/proc/meminfo: memFree=24867820/32873648 swapFree=6596/6596
[pid=6940] ppid=6938 vsize=2479080 CPUtime=1302.09 cores=0,2,4,6
/proc/6940/stat : 6940 (scip-2.1.1.4fix) R 6938 6940 6744 0 -1 4202496 864899 0 0 0 129511 698 0 0 20 0 1 0 267818528 2538577920 589583 33554432000 4194304 10173063 140734175592496 140734175586312 8007064 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/6940/statm: 619770 589583 795 1460 0 618301 0
Current children cumulated CPU time (s) 1302.09
Current children cumulated vsize (KiB) 2479080
[startup+1362.3 s]
/proc/loadavg: 2.01 1.99 1.71 3/177 6990
/proc/meminfo: memFree=24878060/32873648 swapFree=6596/6596
[pid=6940] ppid=6938 vsize=2463148 CPUtime=1362.07 cores=0,2,4,6
/proc/6940/stat : 6940 (scip-2.1.1.4fix) R 6938 6940 6744 0 -1 4202496 872640 0 0 0 135486 721 0 0 20 0 1 0 267818528 2522263552 587045 33554432000 4194304 10173063 140734175592496 140734175585944 8982074 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/6940/statm: 615787 587045 795 1460 0 614318 0
Current children cumulated CPU time (s) 1362.07
Current children cumulated vsize (KiB) 2463148
[startup+1422.31 s]
/proc/loadavg: 2.00 1.99 1.73 3/177 6991
/proc/meminfo: memFree=24864184/32873648 swapFree=6596/6596
[pid=6940] ppid=6938 vsize=2484572 CPUtime=1422.07 cores=0,2,4,6
/proc/6940/stat : 6940 (scip-2.1.1.4fix) R 6938 6940 6744 0 -1 4202496 884691 0 0 0 141469 738 0 0 20 0 1 0 267818528 2544201728 590533 33554432000 4194304 10173063 140734175592496 140734175586328 7706464 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/6940/statm: 621143 590533 795 1460 0 619674 0
Current children cumulated CPU time (s) 1422.07
Current children cumulated vsize (KiB) 2484572
[startup+1482.3 s]
/proc/loadavg: 2.00 1.99 1.74 3/177 6991
/proc/meminfo: memFree=24821360/32873648 swapFree=6596/6596
[pid=6940] ppid=6938 vsize=2500172 CPUtime=1482.05 cores=0,2,4,6
/proc/6940/stat : 6940 (scip-2.1.1.4fix) R 6938 6940 6744 0 -1 4202496 895974 0 0 0 147445 760 0 0 20 0 1 0 267818528 2560176128 592420 33554432000 4194304 10173063 140734175592496 140734175585944 7594544 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/6940/statm: 625043 592420 795 1460 0 623574 0
Current children cumulated CPU time (s) 1482.05
Current children cumulated vsize (KiB) 2500172
[startup+1542.3 s]
/proc/loadavg: 2.00 1.99 1.75 3/177 6991
/proc/meminfo: memFree=24805492/32873648 swapFree=6596/6596
[pid=6940] ppid=6938 vsize=2459504 CPUtime=1542.05 cores=0,2,4,6
/proc/6940/stat : 6940 (scip-2.1.1.4fix) R 6938 6940 6744 0 -1 4202496 905553 0 0 0 153423 782 0 0 20 0 1 0 267818528 2518532096 585239 33554432000 4194304 10173063 140734175592496 140734175585944 8033088 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/6940/statm: 614876 585239 795 1460 0 613407 0
Current children cumulated CPU time (s) 1542.05
Current children cumulated vsize (KiB) 2459504
[startup+1602.3 s]
/proc/loadavg: 2.00 1.99 1.76 3/177 6991
/proc/meminfo: memFree=24769892/32873648 swapFree=6596/6596
[pid=6940] ppid=6938 vsize=2500068 CPUtime=1602.03 cores=0,2,4,6
/proc/6940/stat : 6940 (scip-2.1.1.4fix) R 6938 6940 6744 0 -1 4202496 916683 0 0 0 159400 803 0 0 20 0 1 0 267818528 2560069632 594027 33554432000 4194304 10173063 140734175592496 140734175585944 8033088 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/6940/statm: 625017 594027 795 1460 0 623548 0
Current children cumulated CPU time (s) 1602.03
Current children cumulated vsize (KiB) 2500068
[startup+1662.3 s]
/proc/loadavg: 2.16 2.02 1.79 3/178 6994
/proc/meminfo: memFree=24805596/32873648 swapFree=6596/6596
[pid=6940] ppid=6938 vsize=2454828 CPUtime=1662.03 cores=0,2,4,6
/proc/6940/stat : 6940 (scip-2.1.1.4fix) R 6938 6940 6744 0 -1 4202496 927251 0 0 0 165374 829 0 0 20 0 1 0 267818528 2513743872 585631 33554432000 4194304 10173063 140734175592496 140734175585864 7594574 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/6940/statm: 613707 585631 795 1460 0 612238 0
Current children cumulated CPU time (s) 1662.03
Current children cumulated vsize (KiB) 2454828
[startup+1722.3 s]
/proc/loadavg: 2.06 2.01 1.80 3/177 6995
/proc/meminfo: memFree=24801444/32873648 swapFree=6596/6596
[pid=6940] ppid=6938 vsize=2457712 CPUtime=1722.01 cores=0,2,4,6
/proc/6940/stat : 6940 (scip-2.1.1.4fix) R 6938 6940 6744 0 -1 4202496 938097 0 0 0 171351 850 0 0 20 0 1 0 267818528 2516697088 586206 33554432000 4194304 10173063 140734175592496 140734175585944 8982074 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/6940/statm: 614428 586206 795 1460 0 612959 0
Current children cumulated CPU time (s) 1722.01
Current children cumulated vsize (KiB) 2457712
[startup+1782.3 s]
/proc/loadavg: 2.06 2.03 1.81 3/177 6995
/proc/meminfo: memFree=24785612/32873648 swapFree=6596/6596
[pid=6940] ppid=6938 vsize=2483192 CPUtime=1782.01 cores=0,2,4,6
/proc/6940/stat : 6940 (scip-2.1.1.4fix) R 6938 6940 6744 0 -1 4202496 955911 0 0 0 177330 871 0 0 20 0 1 0 267818528 2542788608 589685 33554432000 4194304 10173063 140734175592496 140734175585944 8007106 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/6940/statm: 620798 589685 795 1460 0 619329 0
Current children cumulated CPU time (s) 1782.01
Current children cumulated vsize (KiB) 2483192
Solver just ended. Dumping a history of the last processes samples
[startup+1791.91 s]
/proc/loadavg: 2.05 2.02 1.82 3/177 6995
/proc/meminfo: memFree=24782868/32873648 swapFree=6596/6596
[pid=6940] ppid=6938 vsize=2478184 CPUtime=1791.61 cores=0,2,4,6
/proc/6940/stat : 6940 (scip-2.1.1.4fix) R 6938 6940 6744 0 -1 4202496 958148 0 0 0 178286 875 0 0 20 0 1 0 267818528 2537660416 589969 33554432000 4194304 10173063 140734175592496 140734175585944 8012711 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/6940/statm: 619546 589969 795 1460 0 618077 0
Current children cumulated CPU time (s) 1791.61
Current children cumulated vsize (KiB) 2478184
[startup+1795.1 s]
/proc/loadavg: 2.05 2.02 1.82 3/177 6995
/proc/meminfo: memFree=24765864/32873648 swapFree=6596/6596
[pid=6940] ppid=6938 vsize=2493484 CPUtime=1794.81 cores=0,2,4,6
/proc/6940/stat : 6940 (scip-2.1.1.4fix) R 6938 6940 6744 0 -1 4202496 959279 0 0 0 178605 876 0 0 20 0 1 0 267818528 2553327616 594181 33554432000 4194304 10173063 140734175592496 140734175585944 8012547 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/6940/statm: 623371 594181 795 1460 0 621902 0
Current children cumulated CPU time (s) 1794.81
Current children cumulated vsize (KiB) 2493484
[startup+1798.3 s]
/proc/loadavg: 2.05 2.02 1.82 3/177 6995
/proc/meminfo: memFree=24800676/32873648 swapFree=6596/6596
[pid=6940] ppid=6938 vsize=2444564 CPUtime=1798 cores=0,2,4,6
/proc/6940/stat : 6940 (scip-2.1.1.4fix) R 6938 6940 6744 0 -1 4202496 960751 0 0 0 178923 877 0 0 20 0 1 0 267818528 2503233536 583952 33554432000 4194304 10173063 140734175592496 140734175589192 5094883 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/6940/statm: 611141 583952 805 1460 0 609672 0
Current children cumulated CPU time (s) 1798
Current children cumulated vsize (KiB) 2444564
[startup+1799.1 s]
/proc/loadavg: 2.05 2.02 1.82 3/177 6995
/proc/meminfo: memFree=24807500/32873648 swapFree=6596/6596
[pid=6940] ppid=6938 vsize=2443152 CPUtime=1798.8 cores=0,2,4,6
/proc/6940/stat : 6940 (scip-2.1.1.4fix) R 6938 6940 6744 0 -1 4202496 960754 0 0 0 179003 877 0 0 20 0 1 0 267818528 2501787648 583602 33554432000 4194304 10173063 140734175592496 140734175591608 4953212 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/6940/statm: 610788 583602 808 1460 0 609319 0
Current children cumulated CPU time (s) 1798.8
Current children cumulated vsize (KiB) 2443152
[startup+1799.5 s]
/proc/loadavg: 2.05 2.02 1.82 3/177 6995
/proc/meminfo: memFree=24808244/32873648 swapFree=6596/6596
[pid=6940] ppid=6938 vsize=2443152 CPUtime=1799.21 cores=0,2,4,6
/proc/6940/stat : 6940 (scip-2.1.1.4fix) R 6938 6940 6744 0 -1 4202496 960754 0 0 0 179044 877 0 0 20 0 1 0 267818528 2501787648 583602 33554432000 4194304 10173063 140734175592496 140734175591816 4521133 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/6940/statm: 610788 583602 808 1460 0 609319 0
Current children cumulated CPU time (s) 1799.21
Current children cumulated vsize (KiB) 2443152
[startup+1799.9 s]
/proc/loadavg: 2.05 2.02 1.82 3/177 6995
/proc/meminfo: memFree=24808244/32873648 swapFree=6596/6596
[pid=6940] ppid=6938 vsize=1915244 CPUtime=1799.6 cores=0,2,4,6
/proc/6940/stat : 6940 (scip-2.1.1.4fix) R 6938 6940 6744 0 -1 4202496 960757 0 0 0 179081 879 0 0 20 0 1 0 267818528 1961209856 476405 33554432000 4194304 10173063 140734175592496 140734175591816 5284992 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/6940/statm: 478811 476405 811 1460 0 477342 0
Current children cumulated CPU time (s) 1799.6
Current children cumulated vsize (KiB) 1915244
[startup+1800 s]
/proc/loadavg: 2.05 2.02 1.82 3/177 6995
/proc/meminfo: memFree=24808244/32873648 swapFree=6596/6596
[pid=6940] ppid=6938 vsize=1811936 CPUtime=1799.7 cores=0,2,4,6
/proc/6940/stat : 6940 (scip-2.1.1.4fix) R 6938 6940 6744 0 -1 4202496 960757 0 0 0 179090 880 0 0 20 0 1 0 267818528 1855422464 450578 33554432000 4194304 10173063 140734175592496 140734175591816 7550179 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/6940/statm: 452984 450578 811 1460 0 451515 0
Current children cumulated CPU time (s) 1799.7
Current children cumulated vsize (KiB) 1811936
Child status: 0
Real time (s): 1800.03
CPU time (s): 1799.75
CPU user time (s): 1790.92
CPU system time (s): 8.82266
CPU usage (%): 99.9843
Max. virtual memory (cumulated for all children) (KiB): 2620932
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1790.92
system time used= 8.82266
maximum resident set size= 2445768
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 960769
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= 11
involuntary context switches= 2366
runsolver used 3.07053 second user time and 8.46571 second system time
The end