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: 947bdb7-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-3691561-1338028221.opb>
2.48/2.56 c original problem has 2800 variables (2800 bin, 0 int, 0 impl, 0 cont) and 990001 constraints
2.48/2.56 c problem read in 2.56
2.69/2.71 c No objective function, only one solution is needed.
2.69/2.71 c presolving settings loaded
4.19/4.28 c presolving:
15.30/15.32 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
18.29/18.31 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
23.79/23.81 c presolving (3 rounds):
23.79/23.81 c 0 deleted vars, 71399 deleted constraints, 0 added constraints, 0 tightened bounds, 0 added holes, 0 changed sides, 3414 changed coefficients
23.79/23.81 c 52320 implications, 80 cliques
23.79/23.81 c presolved problem has 2800 variables (2800 bin, 0 int, 0 impl, 0 cont) and 918602 constraints
23.79/23.81 c 3160 constraints of type <knapsack>
23.79/23.81 c 24681 constraints of type <setppc>
23.79/23.81 c 1 constraints of type <linear>
23.79/23.81 c 890760 constraints of type <logicor>
23.79/23.81 c transformed objective value is always integral (scale: 1)
23.79/23.81 c Presolving Time: 19.78
23.79/23.81 c - non default parameters ----------------------------------------------------------------------
23.79/23.81 c # SCIP version 2.1.1.4
23.79/23.81 c
23.79/23.81 c # maximal time in seconds to run
23.79/23.81 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
23.79/23.81 c limits/time = 1797
23.79/23.81 c
23.79/23.81 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
23.79/23.81 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
23.79/23.81 c limits/memory = 13950
23.79/23.81 c
23.79/23.81 c # solving stops, if the given number of solutions were found (-1: no limit)
23.79/23.81 c # [type: int, range: [-1,2147483647], default: -1]
23.79/23.81 c limits/solutions = 1
23.79/23.81 c
23.79/23.81 c # maximal number of separation rounds per node (-1: unlimited)
23.79/23.81 c # [type: int, range: [-1,2147483647], default: 5]
23.79/23.81 c separating/maxrounds = 1
23.79/23.81 c
23.79/23.81 c # maximal number of separation rounds in the root node (-1: unlimited)
23.79/23.81 c # [type: int, range: [-1,2147483647], default: -1]
23.79/23.81 c separating/maxroundsroot = 5
23.79/23.81 c
23.79/23.81 c # default clock type (1: CPU user seconds, 2: wall clock time)
23.79/23.81 c # [type: int, range: [1,2], default: 1]
23.79/23.81 c timing/clocktype = 2
23.79/23.81 c
23.79/23.81 c # belongs reading time to solving time?
23.79/23.81 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
23.79/23.81 c timing/reading = TRUE
23.79/23.81 c
23.79/23.81 c # should disaggregation of knapsack constraints be allowed in preprocessing?
23.79/23.81 c # [type: bool, range: {TRUE,FALSE}, default: TRUE]
23.79/23.81 c constraints/knapsack/disaggregation = FALSE
23.79/23.81 c
23.79/23.81 c # frequency for calling primal heuristic <coefdiving> (-1: never, 0: only at depth freqofs)
23.79/23.81 c # [type: int, range: [-1,2147483647], default: 10]
23.79/23.81 c heuristics/coefdiving/freq = -1
23.79/23.81 c
23.79/23.81 c # maximal fraction of diving LP iterations compared to node LP iterations
23.79/23.81 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
23.79/23.81 c heuristics/coefdiving/maxlpiterquot = 0.075
23.79/23.81 c
23.79/23.81 c # additional number of allowed LP iterations
23.79/23.81 c # [type: int, range: [0,2147483647], default: 1000]
23.79/23.81 c heuristics/coefdiving/maxlpiterofs = 1500
23.79/23.81 c
23.79/23.81 c # frequency for calling primal heuristic <crossover> (-1: never, 0: only at depth freqofs)
23.79/23.81 c # [type: int, range: [-1,2147483647], default: 30]
23.79/23.81 c heuristics/crossover/freq = -1
23.79/23.81 c
23.79/23.81 c # number of nodes added to the contingent of the total nodes
23.79/23.81 c # [type: longint, range: [0,9223372036854775807], default: 500]
23.79/23.81 c heuristics/crossover/nodesofs = 750
23.79/23.81 c
23.79/23.81 c # number of nodes without incumbent change that heuristic should wait
23.79/23.81 c # [type: longint, range: [0,9223372036854775807], default: 200]
23.79/23.81 c heuristics/crossover/nwaitingnodes = 100
23.79/23.81 c
23.79/23.81 c # contingent of sub problem nodes in relation to the number of nodes of the original problem
23.79/23.81 c # [type: real, range: [0,1], default: 0.1]
23.79/23.81 c heuristics/crossover/nodesquot = 0.15
23.79/23.81 c
23.79/23.81 c # minimum percentage of integer variables that have to be fixed
23.79/23.81 c # [type: real, range: [0,1], default: 0.666]
23.79/23.81 c heuristics/crossover/minfixingrate = 0.5
23.79/23.81 c
23.79/23.81 c # frequency for calling primal heuristic <feaspump> (-1: never, 0: only at depth freqofs)
23.79/23.81 c # [type: int, range: [-1,2147483647], default: 20]
23.79/23.81 c heuristics/feaspump/freq = -1
23.79/23.81 c
23.79/23.81 c # additional number of allowed LP iterations
23.79/23.81 c # [type: int, range: [0,2147483647], default: 1000]
23.79/23.81 c heuristics/feaspump/maxlpiterofs = 2000
23.79/23.81 c
23.79/23.81 c # frequency for calling primal heuristic <fracdiving> (-1: never, 0: only at depth freqofs)
23.79/23.81 c # [type: int, range: [-1,2147483647], default: 10]
23.79/23.81 c heuristics/fracdiving/freq = -1
23.79/23.81 c
23.79/23.81 c # maximal fraction of diving LP iterations compared to node LP iterations
23.79/23.81 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
23.79/23.81 c heuristics/fracdiving/maxlpiterquot = 0.075
23.79/23.81 c
23.79/23.81 c # additional number of allowed LP iterations
23.79/23.81 c # [type: int, range: [0,2147483647], default: 1000]
23.79/23.81 c heuristics/fracdiving/maxlpiterofs = 1500
23.79/23.81 c
23.79/23.81 c # frequency for calling primal heuristic <guideddiving> (-1: never, 0: only at depth freqofs)
23.79/23.81 c # [type: int, range: [-1,2147483647], default: 10]
23.79/23.81 c heuristics/guideddiving/freq = -1
23.79/23.81 c
23.79/23.81 c # maximal fraction of diving LP iterations compared to node LP iterations
23.79/23.81 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
23.79/23.81 c heuristics/guideddiving/maxlpiterquot = 0.075
23.79/23.81 c
23.79/23.81 c # additional number of allowed LP iterations
23.79/23.81 c # [type: int, range: [0,2147483647], default: 1000]
23.79/23.81 c heuristics/guideddiving/maxlpiterofs = 1500
23.79/23.81 c
23.79/23.81 c # maximal fraction of diving LP iterations compared to node LP iterations
23.79/23.81 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
23.79/23.81 c heuristics/intdiving/maxlpiterquot = 0.075
23.79/23.81 c
23.79/23.81 c # frequency for calling primal heuristic <intshifting> (-1: never, 0: only at depth freqofs)
23.79/23.81 c # [type: int, range: [-1,2147483647], default: 10]
23.79/23.81 c heuristics/intshifting/freq = -1
23.79/23.81 c
23.79/23.81 c # frequency for calling primal heuristic <linesearchdiving> (-1: never, 0: only at depth freqofs)
23.79/23.81 c # [type: int, range: [-1,2147483647], default: 10]
23.79/23.81 c heuristics/linesearchdiving/freq = -1
23.79/23.81 c
23.79/23.81 c # maximal fraction of diving LP iterations compared to node LP iterations
23.79/23.81 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
23.79/23.81 c heuristics/linesearchdiving/maxlpiterquot = 0.075
23.79/23.81 c
23.79/23.81 c # additional number of allowed LP iterations
23.79/23.81 c # [type: int, range: [0,2147483647], default: 1000]
23.79/23.81 c heuristics/linesearchdiving/maxlpiterofs = 1500
23.79/23.81 c
23.79/23.81 c # frequency for calling primal heuristic <objpscostdiving> (-1: never, 0: only at depth freqofs)
23.79/23.81 c # [type: int, range: [-1,2147483647], default: 20]
23.79/23.81 c heuristics/objpscostdiving/freq = -1
23.79/23.81 c
23.79/23.81 c # maximal fraction of diving LP iterations compared to total iteration number
23.79/23.81 c # [type: real, range: [0,1], default: 0.01]
23.79/23.81 c heuristics/objpscostdiving/maxlpiterquot = 0.015
23.79/23.81 c
23.79/23.81 c # additional number of allowed LP iterations
23.79/23.81 c # [type: int, range: [0,2147483647], default: 1000]
23.79/23.81 c heuristics/objpscostdiving/maxlpiterofs = 1500
23.79/23.81 c
23.79/23.81 c # frequency for calling primal heuristic <oneopt> (-1: never, 0: only at depth freqofs)
23.79/23.81 c # [type: int, range: [-1,2147483647], default: 1]
23.79/23.81 c heuristics/oneopt/freq = -1
23.79/23.81 c
23.79/23.81 c # frequency for calling primal heuristic <pscostdiving> (-1: never, 0: only at depth freqofs)
23.79/23.81 c # [type: int, range: [-1,2147483647], default: 10]
23.79/23.81 c heuristics/pscostdiving/freq = -1
23.79/23.81 c
23.79/23.81 c # maximal fraction of diving LP iterations compared to node LP iterations
23.79/23.81 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
23.79/23.81 c heuristics/pscostdiving/maxlpiterquot = 0.075
23.79/23.81 c
23.79/23.81 c # additional number of allowed LP iterations
23.79/23.81 c # [type: int, range: [0,2147483647], default: 1000]
23.79/23.81 c heuristics/pscostdiving/maxlpiterofs = 1500
23.79/23.81 c
23.79/23.81 c # frequency for calling primal heuristic <rens> (-1: never, 0: only at depth freqofs)
23.79/23.81 c # [type: int, range: [-1,2147483647], default: 0]
23.79/23.81 c heuristics/rens/freq = -1
23.79/23.81 c
23.79/23.81 c # minimum percentage of integer variables that have to be fixable
23.79/23.81 c # [type: real, range: [0,1], default: 0.5]
23.79/23.81 c heuristics/rens/minfixingrate = 0.3
23.79/23.81 c
23.79/23.81 c # number of nodes added to the contingent of the total nodes
23.79/23.81 c # [type: longint, range: [0,9223372036854775807], default: 500]
23.79/23.81 c heuristics/rens/nodesofs = 2000
23.79/23.81 c
23.79/23.81 c # frequency for calling primal heuristic <rootsoldiving> (-1: never, 0: only at depth freqofs)
23.79/23.81 c # [type: int, range: [-1,2147483647], default: 20]
23.79/23.81 c heuristics/rootsoldiving/freq = -1
23.79/23.81 c
23.79/23.81 c # maximal fraction of diving LP iterations compared to node LP iterations
23.79/23.81 c # [type: real, range: [0,1.79769313486232e+308], default: 0.01]
23.79/23.81 c heuristics/rootsoldiving/maxlpiterquot = 0.015
23.79/23.81 c
23.79/23.81 c # additional number of allowed LP iterations
23.79/23.81 c # [type: int, range: [0,2147483647], default: 1000]
23.79/23.81 c heuristics/rootsoldiving/maxlpiterofs = 1500
23.79/23.81 c
23.79/23.81 c # frequency for calling primal heuristic <rounding> (-1: never, 0: only at depth freqofs)
23.79/23.81 c # [type: int, range: [-1,2147483647], default: 1]
23.79/23.81 c heuristics/rounding/freq = -1
23.79/23.81 c
23.79/23.81 c # frequency for calling primal heuristic <shiftandpropagate> (-1: never, 0: only at depth freqofs)
23.79/23.81 c # [type: int, range: [-1,2147483647], default: 0]
23.79/23.81 c heuristics/shiftandpropagate/freq = -1
23.79/23.81 c
23.79/23.81 c # frequency for calling primal heuristic <shifting> (-1: never, 0: only at depth freqofs)
23.79/23.81 c # [type: int, range: [-1,2147483647], default: 10]
23.79/23.81 c heuristics/shifting/freq = -1
23.79/23.81 c
23.79/23.81 c # frequency for calling primal heuristic <simplerounding> (-1: never, 0: only at depth freqofs)
23.79/23.81 c # [type: int, range: [-1,2147483647], default: 1]
23.79/23.81 c heuristics/simplerounding/freq = -1
23.79/23.81 c
23.79/23.81 c # frequency for calling primal heuristic <subnlp> (-1: never, 0: only at depth freqofs)
23.79/23.81 c # [type: int, range: [-1,2147483647], default: 1]
23.79/23.81 c heuristics/subnlp/freq = -1
23.79/23.81 c
23.79/23.81 c # frequency for calling primal heuristic <trivial> (-1: never, 0: only at depth freqofs)
23.79/23.81 c # [type: int, range: [-1,2147483647], default: 0]
23.79/23.81 c heuristics/trivial/freq = -1
23.79/23.81 c
23.79/23.81 c # frequency for calling primal heuristic <trysol> (-1: never, 0: only at depth freqofs)
23.79/23.81 c # [type: int, range: [-1,2147483647], default: 1]
23.79/23.81 c heuristics/trysol/freq = -1
23.79/23.81 c
23.79/23.81 c # frequency for calling primal heuristic <undercover> (-1: never, 0: only at depth freqofs)
23.79/23.81 c # [type: int, range: [-1,2147483647], default: 0]
23.79/23.81 c heuristics/undercover/freq = -1
23.79/23.81 c
23.79/23.81 c # frequency for calling primal heuristic <veclendiving> (-1: never, 0: only at depth freqofs)
23.79/23.81 c # [type: int, range: [-1,2147483647], default: 10]
23.79/23.81 c heuristics/veclendiving/freq = -1
23.79/23.81 c
23.79/23.81 c # maximal fraction of diving LP iterations compared to node LP iterations
23.79/23.81 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
23.79/23.81 c heuristics/veclendiving/maxlpiterquot = 0.075
23.79/23.81 c
23.79/23.81 c # additional number of allowed LP iterations
23.79/23.81 c # [type: int, range: [0,2147483647], default: 1000]
23.79/23.81 c heuristics/veclendiving/maxlpiterofs = 1500
23.79/23.81 c
23.79/23.81 c # frequency for calling primal heuristic <zirounding> (-1: never, 0: only at depth freqofs)
23.79/23.81 c # [type: int, range: [-1,2147483647], default: 1]
23.79/23.81 c heuristics/zirounding/freq = -1
23.79/23.81 c
23.79/23.81 c # maximal number of presolving rounds the propagator participates in (-1: no limit)
23.79/23.81 c # [type: int, range: [-1,2147483647], default: -1]
23.79/23.81 c propagating/probing/maxprerounds = 0
23.79/23.81 c
23.79/23.81 c # frequency for calling separator <cmir> (-1: never, 0: only in root node)
23.79/23.81 c # [type: int, range: [-1,2147483647], default: 0]
23.79/23.81 c separating/cmir/freq = -1
23.79/23.81 c
23.79/23.81 c # frequency for calling separator <flowcover> (-1: never, 0: only in root node)
23.79/23.81 c # [type: int, range: [-1,2147483647], default: 0]
23.79/23.81 c separating/flowcover/freq = -1
23.79/23.81 c
23.79/23.81 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
23.79/23.81 c # [type: int, range: [-1,2147483647], default: -1]
23.79/23.81 c separating/rapidlearning/freq = 0
23.79/23.81 c
23.79/23.81 c # frequency for calling primal heuristic <indoneopt> (-1: never, 0: only at depth freqofs)
23.79/23.81 c # [type: int, range: [-1,2147483647], default: 1]
23.79/23.81 c heuristics/indoneopt/freq = -1
23.79/23.81 c
23.79/23.81 c -----------------------------------------------------------------------------------------------
23.79/23.81 c start solving
23.79/23.83 c
84.08/84.17 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
84.08/84.17 c 84.2s| 1 | 0 | 2477 | - |1315M| 0 | 140 |2800 | 918k|2800 | 918k| 0 | 0 | 0 | 0.000000e+00 | -- | Inf
104.28/104.36 c 104s| 1 | 0 | 2943 | - |1318M| 0 | 191 |2800 | 918k|2800 | 918k| 20 | 0 | 0 | 0.000000e+00 | -- | Inf
136.17/136.24 c 136s| 1 | 0 | 3523 | - |1318M| 0 | 188 |2800 | 918k|2800 | 918k| 38 | 0 | 0 | 0.000000e+00 | -- | Inf
195.16/195.26 c 195s| 1 | 0 | 5097 | - |1318M| 0 | 234 |2800 | 918k|2800 | 918k| 55 | 0 | 0 | 0.000000e+00 | -- | Inf
311.94/312.00 c 312s| 1 | 0 | 8241 | - |1318M| 0 | 189 |2800 | 918k|2800 | 918k| 65 | 0 | 0 | 0.000000e+00 | -- | Inf
708.49/708.60 c 709s| 1 | 0 | 8650 | - |1318M| 0 | 179 |2800 | 918k|2800 | 918k| 80 | 0 | 0 | 0.000000e+00 | -- | Inf
911.76/911.94 c 912s| 1 | 2 | 8650 | - |1318M| 0 | 179 |2800 | 918k|2800 | 918k| 80 | 0 | 33 | 0.000000e+00 | -- | Inf
1797.41/1797.71 c
1797.41/1797.71 c SCIP Status : solving was interrupted [time limit reached]
1797.41/1797.71 c Solving Time (sec) : 1797.69
1797.41/1797.71 c Solving Nodes : 5
1797.41/1797.71 c Primal Bound : +1.00000000000000e+20 (0 solutions)
1797.41/1797.71 c Dual Bound : +0.00000000000000e+00
1797.41/1797.71 c Gap : infinite
1797.41/1797.71 s UNKNOWN
1797.41/1797.71 c SCIP Status : solving was interrupted [time limit reached]
1797.41/1797.71 c Total Time : 1797.69
1797.41/1797.71 c solving : 1797.69
1797.41/1797.71 c presolving : 19.78 (included in solving)
1797.41/1797.71 c reading : 2.56 (included in solving)
1797.41/1797.71 c copying : 0.00 (0 times copied the problem)
1797.41/1797.71 c Original Problem :
1797.41/1797.71 c Problem name : HOME/instance-3691561-1338028221.opb
1797.41/1797.71 c Variables : 2800 (2800 binary, 0 integer, 0 implicit integer, 0 continuous)
1797.41/1797.71 c Constraints : 990001 initial, 990001 maximal
1797.41/1797.71 c Objective sense : minimize
1797.41/1797.71 c Presolved Problem :
1797.41/1797.71 c Problem name : t_HOME/instance-3691561-1338028221.opb
1797.41/1797.71 c Variables : 2800 (2800 binary, 0 integer, 0 implicit integer, 0 continuous)
1797.41/1797.71 c Constraints : 918602 initial, 918602 maximal
1797.41/1797.71 c Presolvers : ExecTime SetupTime FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons AddCons ChgSides ChgCoefs
1797.41/1797.71 c domcol : 0.00 0.00 0 0 0 0 0 0 0 0 0
1797.41/1797.71 c trivial : 0.00 0.00 0 0 0 0 0 0 0 0 0
1797.41/1797.71 c dualfix : 0.00 0.00 0 0 0 0 0 0 0 0 0
1797.41/1797.71 c boundshift : 0.00 0.00 0 0 0 0 0 0 0 0 0
1797.41/1797.71 c inttobinary : 0.00 0.00 0 0 0 0 0 0 0 0 0
1797.41/1797.71 c convertinttobin : 0.00 0.00 0 0 0 0 0 0 0 0 0
1797.41/1797.71 c gateextraction : 0.31 0.00 0 0 0 0 0 0 0 0 0
1797.41/1797.71 c implics : 0.00 0.00 0 0 0 0 0 0 0 0 0
1797.41/1797.71 c components : 0.34 0.00 0 0 0 0 0 0 0 0 0
1797.41/1797.71 c pseudoobj : 0.00 0.00 0 0 0 0 0 0 0 0 0
1797.41/1797.71 c probing : 0.00 0.00 0 0 0 0 0 0 0 0 0
1797.41/1797.71 c knapsack : 0.57 0.00 0 0 0 0 0 0 0 0 3414
1797.41/1797.71 c setppc : 0.33 0.00 0 0 0 0 0 71399 0 0 0
1797.41/1797.71 c linear : 7.18 0.64 0 0 0 0 0 0 0 0 0
1797.41/1797.71 c logicor : 6.97 2.34 0 0 0 0 0 0 0 0 0
1797.41/1797.71 c root node : - - 0 - - 0 - - - - -
1797.41/1797.71 c Constraints : Number MaxNumber #Separate #Propagate #EnfoLP #EnfoPS #Check #ResProp Cutoffs DomReds Cuts Conss Children
1797.41/1797.71 c integral : 0 0 0 0 5 0 1 0 0 0 0 0 10
1797.41/1797.71 c knapsack : 3160 3160 5 8 0 0 0 0 0 3 389 0 0
1797.41/1797.71 c setppc : 24681 24681 5 8 0 0 0 0 0 225 0 0 0
1797.41/1797.71 c linear : 1 1 5 8 0 0 0 0 0 0 0 0 0
1797.41/1797.71 c logicor : 890760 890760 5 4 0 0 0 0 0 2 0 0 0
1797.41/1797.71 c countsols : 0 0 0 0 0 0 0 0 0 0 0 0 0
1797.41/1797.71 c Constraint Timings : TotalTime SetupTime Separate Propagate EnfoLP EnfoPS Check ResProp
1797.41/1797.71 c integral : 1059.78 0.00 0.00 0.00 1059.78 0.00 0.00 0.00
1797.41/1797.71 c knapsack : 0.05 0.00 0.04 0.00 0.00 0.00 0.00 0.00
1797.41/1797.71 c setppc : 0.01 0.00 0.01 0.01 0.00 0.00 0.00 0.00
1797.41/1797.71 c linear : 0.64 0.64 0.00 0.00 0.00 0.00 0.00 0.00
1797.41/1797.71 c logicor : 2.76 2.34 0.17 0.25 0.00 0.00 0.00 0.00
1797.41/1797.71 c countsols : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
1797.41/1797.71 c Propagators : #Propagate #ResProp Cutoffs DomReds
1797.41/1797.71 c rootredcost : 0 0 0 0
1797.41/1797.71 c pseudoobj : 0 0 0 0
1797.41/1797.71 c vbounds : 0 0 0 0
1797.41/1797.71 c redcost : 10 0 0 0
1797.41/1797.71 c probing : 0 0 0 0
1797.41/1797.71 c Propagator Timings : TotalTime SetupTime Presolve Propagate ResProp
1797.41/1797.71 c rootredcost : 0.00 0.00 0.00 0.00 0.00
1797.41/1797.71 c pseudoobj : 0.00 0.00 0.00 0.00 0.00
1797.41/1797.71 c vbounds : 0.00 0.00 0.00 0.00 0.00
1797.41/1797.71 c redcost : 0.00 0.00 0.00 0.00 0.00
1797.41/1797.71 c probing : 0.00 0.00 0.00 0.00 0.00
1797.41/1797.71 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1797.41/1797.71 c propagation : 0.00 0 0 0 0.0 0 0.0 -
1797.41/1797.71 c infeasible LP : 0.00 0 0 0 0.0 0 0.0 0
1797.41/1797.71 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1797.41/1797.71 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1797.41/1797.71 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 -
1797.41/1797.71 c applied globally : - - - 0 0.0 - - -
1797.41/1797.71 c applied locally : - - - 0 0.0 - - -
1797.41/1797.71 c Separators : ExecTime SetupTime Calls Cutoffs DomReds Cuts Conss
1797.41/1797.71 c cut pool : 0.00 4 - - 0 - (maximal pool size: 197)
1797.41/1797.71 c closecuts : 0.00 0.00 0 0 0 0 0
1797.41/1797.71 c impliedbounds : 0.00 0.00 5 0 0 0 0
1797.41/1797.71 c intobj : 0.00 0.00 0 0 0 0 0
1797.41/1797.71 c gomory : 36.96 0.00 5 0 0 250 0
1797.41/1797.71 c cgmip : 0.00 0.00 0 0 0 0 0
1797.41/1797.71 c strongcg : 448.68 0.00 5 0 0 2500 0
1797.41/1797.71 c cmir : 0.00 0.00 0 0 0 0 0
1797.41/1797.71 c flowcover : 0.00 0.00 0 0 0 0 0
1797.41/1797.71 c clique : 0.03 0.00 5 0 0 0 0
1797.41/1797.71 c zerohalf : 0.00 0.00 0 0 0 0 0
1797.41/1797.71 c mcf : 0.00 0.00 0 0 0 0 0
1797.41/1797.71 c oddcycle : 0.00 0.00 0 0 0 0 0
1797.41/1797.71 c rapidlearning : 0.00 0.00 0 0 0 0 0
1797.41/1797.71 c Pricers : ExecTime SetupTime Calls Vars
1797.41/1797.71 c problem variables: 0.00 - 0 0
1797.41/1797.71 c Branching Rules : ExecTime SetupTime Calls Cutoffs DomReds Cuts Conss Children
1797.41/1797.71 c relpscost : 1059.78 0.00 5 0 0 0 0 10
1797.41/1797.71 c pscost : 0.00 0.00 0 0 0 0 0 0
1797.41/1797.71 c inference : 0.00 0.00 0 0 0 0 0 0
1797.41/1797.71 c mostinf : 0.00 0.00 0 0 0 0 0 0
1797.41/1797.71 c leastinf : 0.00 0.00 0 0 0 0 0 0
1797.41/1797.71 c fullstrong : 0.00 0.00 0 0 0 0 0 0
1797.41/1797.71 c allfullstrong : 0.00 0.00 0 0 0 0 0 0
1797.41/1797.71 c random : 0.00 0.00 0 0 0 0 0 0
1797.41/1797.71 c Primal Heuristics : ExecTime SetupTime Calls Found
1797.41/1797.71 c LP solutions : 0.00 - - 0
1797.41/1797.71 c pseudo solutions : 0.00 - - 0
1797.41/1797.71 c smallcard : 0.00 0.00 0 0
1797.41/1797.71 c trivial : 0.25 0.00 1 0
1797.41/1797.71 c shiftandpropagate: 0.00 0.00 0 0
1797.41/1797.71 c simplerounding : 0.00 0.00 0 0
1797.41/1797.71 c zirounding : 0.00 0.00 0 0
1797.41/1797.71 c rounding : 0.00 0.00 0 0
1797.41/1797.71 c shifting : 0.00 0.00 0 0
1797.41/1797.71 c intshifting : 0.00 0.00 0 0
1797.41/1797.71 c oneopt : 0.00 0.00 0 0
1797.41/1797.71 c twoopt : 0.00 0.00 0 0
1797.41/1797.71 c indtwoopt : 0.00 0.00 0 0
1797.41/1797.71 c indoneopt : 0.00 0.00 0 0
1797.41/1797.71 c fixandinfer : 0.00 0.00 0 0
1797.41/1797.71 c feaspump : 0.00 0.00 0 0
1797.41/1797.71 c clique : 0.00 0.00 0 0
1797.41/1797.71 c indrounding : 0.00 0.00 0 0
1797.41/1797.71 c indcoefdiving : 0.00 0.00 0 0
1797.41/1797.71 c coefdiving : 0.00 0.00 0 0
1797.41/1797.71 c pscostdiving : 0.00 0.00 0 0
1797.41/1797.71 c nlpdiving : 0.00 0.00 0 0
1797.41/1797.71 c fracdiving : 0.00 0.00 0 0
1797.41/1797.71 c veclendiving : 0.00 0.00 0 0
1797.41/1797.71 c intdiving : 0.00 0.00 0 0
1797.41/1797.71 c actconsdiving : 0.00 0.00 0 0
1797.41/1797.71 c objpscostdiving : 0.00 0.00 0 0
1797.41/1797.71 c rootsoldiving : 0.00 0.00 0 0
1797.41/1797.71 c linesearchdiving : 0.00 0.00 0 0
1797.41/1797.71 c guideddiving : 0.00 0.00 0 0
1797.41/1797.71 c octane : 0.00 0.00 0 0
1797.41/1797.71 c rens : 0.00 0.00 0 0
1797.41/1797.71 c rins : 0.00 0.00 0 0
1797.41/1797.71 c localbranching : 0.00 0.00 0 0
1797.41/1797.71 c mutation : 0.00 0.00 0 0
1797.41/1797.71 c crossover : 0.00 0.00 0 0
1797.41/1797.71 c dins : 0.00 0.00 0 0
1797.41/1797.71 c vbounds : 0.00 0.00 0 0
1797.41/1797.71 c undercover : 0.00 0.00 0 0
1797.41/1797.71 c subnlp : 0.00 0.00 0 0
1797.41/1797.71 c trysol : 0.00 0.00 0 0
1797.41/1797.71 c LP : Time Calls Iterations Iter/call Iter/sec Time-0-It Calls-0-It
1797.41/1797.71 c primal LP : 0.27 1 0 0.00 0.00 0.27 1
1797.41/1797.71 c dual LP : 224.32 10 9781 978.10 43.60 0.00 0
1797.41/1797.71 c lex dual LP : 0.00 0 0 0.00 -
1797.41/1797.71 c barrier LP : 0.00 0 0 0.00 - 0.00 0
1797.41/1797.71 c diving/probing LP: 0.00 0 0 0.00 -
1797.41/1797.71 c strong branching : 1059.62 172 35135 204.27 33.16
1797.41/1797.71 c (at root node) : - 33 6558 198.73 -
1797.41/1797.71 c conflict analysis: 0.00 0 0 0.00 -
1797.41/1797.71 c B&B Tree :
1797.41/1797.71 c number of runs : 1
1797.41/1797.71 c nodes : 5
1797.41/1797.71 c nodes (total) : 5
1797.41/1797.71 c nodes left : 6
1797.41/1797.71 c max depth : 4
1797.41/1797.71 c max depth (total): 4
1797.41/1797.71 c backtracks : 0 (0.0%)
1797.41/1797.71 c delayed cutoffs : 0
1797.41/1797.71 c repropagations : 0 (0 domain reductions, 0 cutoffs)
1797.41/1797.71 c avg switch length: 1.00
1797.41/1797.71 c switching time : 0.45
1797.41/1797.71 c Solution :
1797.41/1797.71 c Solutions found : 0 (0 improvements)
1797.41/1797.71 c Primal Bound : -
1797.41/1797.71 c Dual Bound : +0.00000000000000e+00
1797.41/1797.71 c Gap : infinite
1797.41/1797.71 c Root Dual Bound : +0.00000000000000e+00
1797.41/1797.71 c Root Iterations : 8650
1799.81/1800.11 c Time complete: 1799.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-3691561-1338028221/watcher-3691561-1338028221 -o /tmp/evaluation-result-3691561-1338028221/solver-3691561-1338028221 -C 1800 -W 1900 -M 15500 HOME/scip-2.1.1.4expfix.linux.x86_64.gnu.opt.spx -f HOME/instance-3691561-1338028221.opb -t 1800 -m 15500
running on 4 cores: 1,3,5,7
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.52 1.89 1.96 2/177 6708
/proc/meminfo: memFree=28628324/32873844 swapFree=7620/7620
[pid=6708] ppid=6706 vsize=12028 CPUtime=0 cores=1,3,5,7
/proc/6708/stat : 6708 (scip-2.1.1.4exp) R 6706 6708 3948 0 -1 4202496 1859 0 0 0 0 0 0 0 20 0 1 0 268946581 12316672 1814 33554432000 4194304 10219143 140736985024016 140735538987432 8891101 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/6708/statm: 3092 1823 401 1471 0 1612 0
[startup+0.0816061 s]
/proc/loadavg: 1.52 1.89 1.96 2/177 6708
/proc/meminfo: memFree=28628324/32873844 swapFree=7620/7620
[pid=6708] ppid=6706 vsize=28348 CPUtime=0.07 cores=1,3,5,7
/proc/6708/stat : 6708 (scip-2.1.1.4exp) R 6706 6708 3948 0 -1 4202496 5843 0 0 0 7 0 0 0 20 0 1 0 268946581 29028352 5798 33554432000 4194304 10219143 140736985024016 140735538987432 7589947 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/6708/statm: 7087 5798 419 1471 0 5607 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 28348
[startup+0.100317 s]
/proc/loadavg: 1.52 1.89 1.96 2/177 6708
/proc/meminfo: memFree=28628324/32873844 swapFree=7620/7620
[pid=6708] ppid=6706 vsize=30916 CPUtime=0.08 cores=1,3,5,7
/proc/6708/stat : 6708 (scip-2.1.1.4exp) R 6706 6708 3948 0 -1 4202496 6488 0 0 0 8 0 0 0 20 0 1 0 268946581 31657984 6443 33554432000 4194304 10219143 140736985024016 140735538987432 8871876 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/6708/statm: 7729 6443 419 1471 0 6249 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 30916
[startup+0.300334 s]
/proc/loadavg: 1.52 1.89 1.96 2/177 6708
/proc/meminfo: memFree=28628324/32873844 swapFree=7620/7620
[pid=6708] ppid=6706 vsize=65800 CPUtime=0.28 cores=1,3,5,7
/proc/6708/stat : 6708 (scip-2.1.1.4exp) R 6706 6708 3948 0 -1 4202496 15173 0 0 0 26 2 0 0 20 0 1 0 268946581 67379200 15128 33554432000 4194304 10219143 140736985024016 140735538987432 7593618 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/6708/statm: 16450 15128 419 1471 0 14970 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 65800
[startup+0.70033 s]
/proc/loadavg: 1.52 1.89 1.96 2/177 6708
/proc/meminfo: memFree=28628324/32873844 swapFree=7620/7620
[pid=6708] ppid=6706 vsize=135184 CPUtime=0.69 cores=1,3,5,7
/proc/6708/stat : 6708 (scip-2.1.1.4exp) R 6706 6708 3948 0 -1 4202496 32475 0 0 0 64 5 0 0 20 0 1 0 268946581 138428416 32431 33554432000 4194304 10219143 140736985024016 140735538987432 7589947 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/6708/statm: 33796 32466 419 1471 0 32316 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 135184
[startup+1.50033 s]
/proc/loadavg: 1.52 1.89 1.96 3/178 6709
/proc/meminfo: memFree=28443376/32873844 swapFree=7620/7620
[pid=6708] ppid=6706 vsize=274368 CPUtime=1.48 cores=1,3,5,7
/proc/6708/stat : 6708 (scip-2.1.1.4exp) R 6706 6708 3948 0 -1 4202496 67147 0 0 0 138 10 0 0 20 0 1 0 268946581 280952832 67102 33554432000 4194304 10219143 140736985024016 140736984888616 8868176 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/6708/statm: 68592 67102 419 1471 0 67112 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 274368
[startup+3.10033 s]
/proc/loadavg: 1.64 1.91 1.96 3/178 6709
/proc/meminfo: memFree=28250432/32873844 swapFree=7620/7620
[pid=6708] ppid=6706 vsize=762996 CPUtime=3.09 cores=1,3,5,7
/proc/6708/stat : 6708 (scip-2.1.1.4exp) R 6706 6708 3948 0 -1 4202496 188652 0 0 0 280 29 0 0 20 0 1 0 268946581 781307904 188579 33554432000 4194304 10219143 140736985024016 140736985019784 4489618 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/6708/statm: 190749 188579 472 1471 0 189269 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 762996
[startup+6.30034 s]
/proc/loadavg: 1.64 1.91 1.96 3/178 6709
/proc/meminfo: memFree=27416904/32873844 swapFree=7620/7620
[pid=6708] ppid=6706 vsize=1214960 CPUtime=6.29 cores=1,3,5,7
/proc/6708/stat : 6708 (scip-2.1.1.4exp) R 6706 6708 3948 0 -1 4202496 307939 0 0 0 457 172 0 0 20 0 1 0 268946581 1244119040 301770 33554432000 4194304 10219143 140736985024016 140736985021016 9008087 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/6708/statm: 303740 301770 549 1471 0 302260 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 1214960
[startup+12.7003 s]
/proc/loadavg: 1.69 1.91 1.96 3/178 6709
/proc/meminfo: memFree=27261712/32873844 swapFree=7620/7620
[pid=6708] ppid=6706 vsize=1184712 CPUtime=12.69 cores=1,3,5,7
/proc/6708/stat : 6708 (scip-2.1.1.4exp) R 6706 6708 3948 0 -1 4202496 394336 0 0 0 909 360 0 0 20 0 1 0 268946581 1213145088 293835 33554432000 4194304 10219143 140736985024016 140736985021480 9008087 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/6708/statm: 296178 293835 567 1471 0 294698 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 1184712
[startup+25.5003 s]
/proc/loadavg: 1.74 1.91 1.96 3/178 6709
/proc/meminfo: memFree=27006480/32873844 swapFree=7620/7620
[pid=6708] ppid=6706 vsize=1706284 CPUtime=25.49 cores=1,3,5,7
/proc/6708/stat : 6708 (scip-2.1.1.4exp) R 6706 6708 3948 0 -1 4202496 501205 0 0 0 1790 759 0 0 20 0 1 0 268946581 1747234816 421229 33554432000 4194304 10219143 140736985024016 140736985020040 5098715 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/6708/statm: 426571 421237 672 1471 0 425091 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 1706284
[startup+51.1003 s]
/proc/loadavg: 1.83 1.92 1.96 3/177 6709
/proc/meminfo: memFree=26218728/32873844 swapFree=7620/7620
[pid=6708] ppid=6706 vsize=2533156 CPUtime=51.09 cores=1,3,5,7
/proc/6708/stat : 6708 (scip-2.1.1.4exp) R 6706 6708 3948 0 -1 4202496 614953 0 0 0 4311 798 0 0 20 0 1 0 268946581 2593951744 600485 33554432000 4194304 10219143 140736985024016 140736985017272 7639972 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/6708/statm: 633289 600485 738 1471 0 631809 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 2533156
[startup+102.307 s]
/proc/loadavg: 1.93 1.93 1.96 3/177 6709
/proc/meminfo: memFree=26312228/32873844 swapFree=7620/7620
[pid=6708] ppid=6706 vsize=2428824 CPUtime=102.28 cores=1,3,5,7
/proc/6708/stat : 6708 (scip-2.1.1.4exp) R 6706 6708 3948 0 -1 4202496 625640 0 0 0 9412 816 0 0 20 0 1 0 268946581 2487115776 577177 33554432000 4194304 10219143 140736985024016 140736985017272 9026266 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/6708/statm: 607206 577177 775 1471 0 605726 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 2428824
[startup+162.3 s]
/proc/loadavg: 1.97 1.94 1.96 3/177 6709
/proc/meminfo: memFree=26231276/32873844 swapFree=7620/7620
[pid=6708] ppid=6706 vsize=2494676 CPUtime=162.27 cores=1,3,5,7
/proc/6708/stat : 6708 (scip-2.1.1.4exp) R 6706 6708 3948 0 -1 4202496 628930 0 0 0 15400 827 0 0 20 0 1 0 268946581 2554548224 597308 33554432000 4194304 10219143 140736985024016 140736985017272 7954710 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/6708/statm: 623669 597308 775 1471 0 622189 0
Current children cumulated CPU time (s) 162.27
Current children cumulated vsize (KiB) 2494676
[startup+222.3 s]
/proc/loadavg: 2.05 1.96 1.97 3/177 6709
/proc/meminfo: memFree=26230436/32873844 swapFree=7620/7620
[pid=6708] ppid=6706 vsize=2494676 CPUtime=222.26 cores=1,3,5,7
/proc/6708/stat : 6708 (scip-2.1.1.4exp) R 6706 6708 3948 0 -1 4202496 629564 0 0 0 21388 838 0 0 20 0 1 0 268946581 2554548224 597564 33554432000 4194304 10219143 140736985024016 140736985018856 8891060 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/6708/statm: 623669 597564 775 1471 0 622189 0
Current children cumulated CPU time (s) 222.26
Current children cumulated vsize (KiB) 2494676
[startup+282.3 s]
/proc/loadavg: 2.02 1.97 1.97 3/177 6710
/proc/meminfo: memFree=26227608/32873844 swapFree=7620/7620
[pid=6708] ppid=6706 vsize=2517400 CPUtime=282.24 cores=1,3,5,7
/proc/6708/stat : 6708 (scip-2.1.1.4exp) R 6706 6708 3948 0 -1 4202496 630845 0 0 0 27372 852 0 0 20 0 1 0 268946581 2577817600 598172 33554432000 4194304 10219143 140736985024016 140736985016536 7638773 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/6708/statm: 629350 598172 775 1471 0 627870 0
Current children cumulated CPU time (s) 282.24
Current children cumulated vsize (KiB) 2517400
[startup+342.3 s]
/proc/loadavg: 2.11 2.00 1.98 3/178 6711
/proc/meminfo: memFree=26227504/32873844 swapFree=7620/7620
[pid=6708] ppid=6706 vsize=2517400 CPUtime=342.24 cores=1,3,5,7
/proc/6708/stat : 6708 (scip-2.1.1.4exp) R 6706 6708 3948 0 -1 4202496 631390 0 0 0 33362 862 0 0 20 0 1 0 268946581 2577817600 598185 33554432000 4194304 10219143 140736985024016 140736985018856 8891060 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/6708/statm: 629350 598185 775 1471 0 627870 0
Current children cumulated CPU time (s) 342.24
Current children cumulated vsize (KiB) 2517400
[startup+402.3 s]
/proc/loadavg: 2.04 2.00 1.98 3/177 6711
/proc/meminfo: memFree=26225648/32873844 swapFree=7620/7620
[pid=6708] ppid=6706 vsize=2517400 CPUtime=402.23 cores=1,3,5,7
/proc/6708/stat : 6708 (scip-2.1.1.4exp) R 6706 6708 3948 0 -1 4202496 631390 0 0 0 39357 866 0 0 20 0 1 0 268946581 2577817600 598587 33554432000 4194304 10219143 140736985024016 140736985018856 7698849 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/6708/statm: 629350 598587 775 1471 0 627870 0
Current children cumulated CPU time (s) 402.23
Current children cumulated vsize (KiB) 2517400
[startup+462.3 s]
/proc/loadavg: 2.01 2.00 1.98 3/177 6711
/proc/meminfo: memFree=26225620/32873844 swapFree=7620/7620
[pid=6708] ppid=6706 vsize=2517400 CPUtime=462.22 cores=1,3,5,7
/proc/6708/stat : 6708 (scip-2.1.1.4exp) R 6706 6708 3948 0 -1 4202496 631392 0 0 0 45351 871 0 0 20 0 1 0 268946581 2577817600 598587 33554432000 4194304 10219143 140736985024016 140736985018904 5169380 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/6708/statm: 629350 598587 775 1471 0 627870 0
Current children cumulated CPU time (s) 462.22
Current children cumulated vsize (KiB) 2517400
[startup+522.3 s]
/proc/loadavg: 2.08 2.02 1.98 3/177 6711
/proc/meminfo: memFree=26225480/32873844 swapFree=7620/7620
[pid=6708] ppid=6706 vsize=2517400 CPUtime=522.21 cores=1,3,5,7
/proc/6708/stat : 6708 (scip-2.1.1.4exp) R 6706 6708 3948 0 -1 4202496 631392 0 0 0 51346 875 0 0 20 0 1 0 268946581 2577817600 598587 33554432000 4194304 10219143 140736985024016 140736985018856 8891081 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/6708/statm: 629350 598587 775 1471 0 627870 0
Current children cumulated CPU time (s) 522.21
Current children cumulated vsize (KiB) 2517400
[startup+582.3 s]
/proc/loadavg: 2.03 2.01 1.98 3/178 6715
/proc/meminfo: memFree=26225256/32873844 swapFree=7620/7620
[pid=6708] ppid=6706 vsize=2517400 CPUtime=582.2 cores=1,3,5,7
/proc/6708/stat : 6708 (scip-2.1.1.4exp) R 6706 6708 3948 0 -1 4202496 631392 0 0 0 57340 880 0 0 20 0 1 0 268946581 2577817600 598587 33554432000 4194304 10219143 140736985024016 140736985018904 8891081 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/6708/statm: 629350 598587 775 1471 0 627870 0
Current children cumulated CPU time (s) 582.2
Current children cumulated vsize (KiB) 2517400
[startup+642.3 s]
################
# More data... #
################
/proc/meminfo: memFree=26208788/32873844 swapFree=7620/7620
[pid=6708] ppid=6706 vsize=2517400 CPUtime=1062.13 cores=1,3,5,7
/proc/6708/stat : 6708 (scip-2.1.1.4exp) R 6706 6708 3948 0 -1 4202496 649085 0 0 0 105177 1036 0 0 20 0 1 0 268946581 2577817600 602336 33554432000 4194304 10219143 140736985024016 140736985017928 7750656 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/6708/statm: 629350 602336 784 1471 0 627870 0
Current children cumulated CPU time (s) 1062.13
Current children cumulated vsize (KiB) 2517400
[startup+1122.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 6716
/proc/meminfo: memFree=26207768/32873844 swapFree=7620/7620
[pid=6708] ppid=6706 vsize=2517400 CPUtime=1122.11 cores=1,3,5,7
/proc/6708/stat : 6708 (scip-2.1.1.4exp) R 6706 6708 3948 0 -1 4202496 651596 0 0 0 111148 1063 0 0 20 0 1 0 268946581 2577817600 602537 33554432000 4194304 10219143 140736985024016 140736985017464 8056347 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/6708/statm: 629350 602537 784 1471 0 627870 0
Current children cumulated CPU time (s) 1122.11
Current children cumulated vsize (KiB) 2517400
[startup+1182.3 s]
/proc/loadavg: 2.05 2.02 2.00 3/178 6720
/proc/meminfo: memFree=26207536/32873844 swapFree=7620/7620
[pid=6708] ppid=6706 vsize=2517400 CPUtime=1182.11 cores=1,3,5,7
/proc/6708/stat : 6708 (scip-2.1.1.4exp) R 6706 6708 3948 0 -1 4202496 654578 0 0 0 117125 1086 0 0 20 0 1 0 268946581 2577817600 602538 33554432000 4194304 10219143 140736985024016 140736985017464 8056592 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/6708/statm: 629350 602538 785 1471 0 627870 0
Current children cumulated CPU time (s) 1182.11
Current children cumulated vsize (KiB) 2517400
[startup+1242.3 s]
/proc/loadavg: 2.02 2.01 2.00 3/177 6720
/proc/meminfo: memFree=26206992/32873844 swapFree=7620/7620
[pid=6708] ppid=6706 vsize=2517400 CPUtime=1242.09 cores=1,3,5,7
/proc/6708/stat : 6708 (scip-2.1.1.4exp) R 6706 6708 3948 0 -1 4202496 657944 0 0 0 123103 1106 0 0 20 0 1 0 268946581 2577817600 602658 33554432000 4194304 10219143 140736985024016 140736985017464 8056480 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/6708/statm: 629350 602658 785 1471 0 627870 0
Current children cumulated CPU time (s) 1242.09
Current children cumulated vsize (KiB) 2517400
[startup+1302.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 6720
/proc/meminfo: memFree=26206584/32873844 swapFree=7620/7620
[pid=6708] ppid=6706 vsize=2517400 CPUtime=1302.09 cores=1,3,5,7
/proc/6708/stat : 6708 (scip-2.1.1.4exp) R 6706 6708 3948 0 -1 4202496 660478 0 0 0 129076 1133 0 0 20 0 1 0 268946581 2577817600 602658 33554432000 4194304 10219143 140736985024016 140736985017464 9026266 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/6708/statm: 629350 602658 785 1471 0 627870 0
Current children cumulated CPU time (s) 1302.09
Current children cumulated vsize (KiB) 2517400
[startup+1362.3 s]
/proc/loadavg: 2.04 2.01 2.00 3/177 6720
/proc/meminfo: memFree=26206364/32873844 swapFree=7620/7620
[pid=6708] ppid=6706 vsize=2517400 CPUtime=1362.08 cores=1,3,5,7
/proc/6708/stat : 6708 (scip-2.1.1.4exp) R 6706 6708 3948 0 -1 4202496 663361 0 0 0 135045 1163 0 0 20 0 1 0 268946581 2577817600 602658 33554432000 4194304 10219143 140736985024016 140736985017656 8077296 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/6708/statm: 629350 602658 785 1471 0 627870 0
Current children cumulated CPU time (s) 1362.08
Current children cumulated vsize (KiB) 2517400
[startup+1422.31 s]
/proc/loadavg: 2.01 2.01 2.00 3/177 6720
/proc/meminfo: memFree=26187956/32873844 swapFree=7624/7624
[pid=6708] ppid=6706 vsize=2545024 CPUtime=1422.08 cores=1,3,5,7
/proc/6708/stat : 6708 (scip-2.1.1.4exp) R 6706 6708 3948 0 -1 4202496 667724 0 0 0 141023 1185 0 0 20 0 1 0 268946581 2606104576 607388 33554432000 4194304 10219143 140736985024016 140736985017928 8051306 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/6708/statm: 636256 607388 785 1471 0 634776 0
Current children cumulated CPU time (s) 1422.08
Current children cumulated vsize (KiB) 2545024
[startup+1482.3 s]
/proc/loadavg: 2.03 2.02 2.00 3/177 6721
/proc/meminfo: memFree=26205860/32873844 swapFree=7620/7620
[pid=6708] ppid=6706 vsize=2517400 CPUtime=1482.06 cores=1,3,5,7
/proc/6708/stat : 6708 (scip-2.1.1.4exp) R 6706 6708 3948 0 -1 4202496 672580 0 0 0 146998 1208 0 0 20 0 1 0 268946581 2577817600 602658 33554432000 4194304 10219143 140736985024016 140736985017192 7694237 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/6708/statm: 629350 602658 785 1471 0 627870 0
Current children cumulated CPU time (s) 1482.06
Current children cumulated vsize (KiB) 2517400
[startup+1542.3 s]
/proc/loadavg: 2.01 2.01 2.00 3/177 6721
/proc/meminfo: memFree=26206168/32873844 swapFree=7620/7620
[pid=6708] ppid=6706 vsize=2529812 CPUtime=1542.05 cores=1,3,5,7
/proc/6708/stat : 6708 (scip-2.1.1.4exp) R 6706 6708 3948 0 -1 4202496 677808 0 0 0 152967 1238 0 0 20 0 1 0 268946581 2590527488 605620 33554432000 4194304 10219143 140736985024016 140736985017464 8077296 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/6708/statm: 632453 605620 785 1471 0 630973 0
Current children cumulated CPU time (s) 1542.05
Current children cumulated vsize (KiB) 2529812
[startup+1602.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/177 6721
/proc/meminfo: memFree=26205672/32873844 swapFree=7620/7620
[pid=6708] ppid=6706 vsize=2531940 CPUtime=1602.05 cores=1,3,5,7
/proc/6708/stat : 6708 (scip-2.1.1.4exp) R 6706 6708 3948 0 -1 4202496 682779 0 0 0 158941 1264 0 0 20 0 1 0 268946581 2592706560 605903 33554432000 4194304 10219143 140736985024016 140736985017464 8108054 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/6708/statm: 632985 605903 785 1471 0 631505 0
Current children cumulated CPU time (s) 1602.05
Current children cumulated vsize (KiB) 2531940
[startup+1662.3 s]
/proc/loadavg: 2.05 2.02 2.00 3/177 6721
/proc/meminfo: memFree=26205360/32873844 swapFree=7620/7620
[pid=6708] ppid=6706 vsize=2517400 CPUtime=1662.04 cores=1,3,5,7
/proc/6708/stat : 6708 (scip-2.1.1.4exp) R 6706 6708 3948 0 -1 4202496 687420 0 0 0 164913 1291 0 0 20 0 1 0 268946581 2577817600 602658 33554432000 4194304 10219143 140736985024016 140736985017464 7954752 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/6708/statm: 629350 602658 785 1471 0 627870 0
Current children cumulated CPU time (s) 1662.04
Current children cumulated vsize (KiB) 2517400
[startup+1722.3 s]
/proc/loadavg: 2.02 2.01 2.00 3/177 6721
/proc/meminfo: memFree=26205236/32873844 swapFree=7620/7620
[pid=6708] ppid=6706 vsize=2517400 CPUtime=1722.03 cores=1,3,5,7
/proc/6708/stat : 6708 (scip-2.1.1.4exp) R 6706 6708 3948 0 -1 4202496 690744 0 0 0 170890 1313 0 0 20 0 1 0 268946581 2577817600 602658 33554432000 4194304 10219143 140736985024016 140736985017464 7750672 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/6708/statm: 629350 602658 785 1471 0 627870 0
Current children cumulated CPU time (s) 1722.03
Current children cumulated vsize (KiB) 2517400
[startup+1782.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/178 6724
/proc/meminfo: memFree=26189192/32873844 swapFree=7620/7620
[pid=6708] ppid=6706 vsize=2552528 CPUtime=1782.02 cores=1,3,5,7
/proc/6708/stat : 6708 (scip-2.1.1.4exp) R 6706 6708 3948 0 -1 4202496 695143 0 0 0 176874 1328 0 0 20 0 1 0 268946581 2613788672 609874 33554432000 4194304 10219143 140736985024016 140736985017464 8108054 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/6708/statm: 638132 609874 785 1471 0 636652 0
Current children cumulated CPU time (s) 1782.02
Current children cumulated vsize (KiB) 2552528
Solver just ended. Dumping a history of the last processes samples
[startup+1791.91 s]
/proc/loadavg: 2.00 2.01 2.00 3/178 6725
/proc/meminfo: memFree=26204408/32873844 swapFree=7620/7620
[pid=6708] ppid=6706 vsize=2517400 CPUtime=1791.62 cores=1,3,5,7
/proc/6708/stat : 6708 (scip-2.1.1.4exp) R 6706 6708 3948 0 -1 4202496 696153 0 0 0 177830 1332 0 0 20 0 1 0 268946581 2577817600 602659 33554432000 4194304 10219143 140736985024016 140736985017848 8056418 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/6708/statm: 629350 602659 785 1471 0 627870 0
Current children cumulated CPU time (s) 1791.62
Current children cumulated vsize (KiB) 2517400
[startup+1795.1 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 6725
/proc/meminfo: memFree=26204416/32873844 swapFree=7620/7620
[pid=6708] ppid=6706 vsize=2517400 CPUtime=1794.82 cores=1,3,5,7
/proc/6708/stat : 6708 (scip-2.1.1.4exp) R 6706 6708 3948 0 -1 4202496 696198 0 0 0 178150 1332 0 0 20 0 1 0 268946581 2577817600 602659 33554432000 4194304 10219143 140736985024016 140736985017192 8015193 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/6708/statm: 629350 602659 785 1471 0 627870 0
Current children cumulated CPU time (s) 1794.82
Current children cumulated vsize (KiB) 2517400
[startup+1798.3 s]
/proc/loadavg: 2.00 2.00 2.00 2/173 6749
/proc/meminfo: memFree=26285636/32873844 swapFree=7620/7620
[pid=6708] ppid=6706 vsize=2517400 CPUtime=1798.01 cores=1,3,5,7
/proc/6708/stat : 6708 (scip-2.1.1.4exp) R 6706 6708 3948 0 -1 4202496 696318 0 0 0 178468 1333 0 0 20 0 1 0 268946581 2577817600 602668 33554432000 4194304 10219143 140736985024016 140736985023128 7589177 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/6708/statm: 629350 602668 794 1471 0 627870 0
Current children cumulated CPU time (s) 1798.01
Current children cumulated vsize (KiB) 2517400
[startup+1799.1 s]
/proc/loadavg: 1.92 1.99 1.99 3/178 6763
/proc/meminfo: memFree=26171888/32873844 swapFree=7620/7620
[pid=6708] ppid=6706 vsize=2512736 CPUtime=1798.81 cores=1,3,5,7
/proc/6708/stat : 6708 (scip-2.1.1.4exp) R 6706 6708 3948 0 -1 4202496 696320 0 0 0 178548 1333 0 0 20 0 1 0 268946581 2573041664 601504 33554432000 4194304 10219143 140736985024016 140736985023320 5931088 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/6708/statm: 628184 601504 796 1471 0 626704 0
Current children cumulated CPU time (s) 1798.81
Current children cumulated vsize (KiB) 2512736
[startup+1799.9 s]
/proc/loadavg: 1.92 1.99 1.99 3/178 6763
/proc/meminfo: memFree=25989972/32873844 swapFree=7620/7620
[pid=6708] ppid=6706 vsize=1923188 CPUtime=1799.61 cores=1,3,5,7
/proc/6708/stat : 6708 (scip-2.1.1.4exp) R 6706 6708 3948 0 -1 4202496 696321 0 0 0 178625 1336 0 0 20 0 1 0 268946581 1969344512 478800 33554432000 4194304 10219143 140736985024016 140736985023256 5957867 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/6708/statm: 480797 478800 797 1471 0 479317 0
Current children cumulated CPU time (s) 1799.61
Current children cumulated vsize (KiB) 1923188
[startup+1800.1 s]
/proc/loadavg: 1.92 1.99 1.99 3/178 6763
/proc/meminfo: memFree=25989972/32873844 swapFree=7620/7620
[pid=6708] ppid=6706 vsize=1673476 CPUtime=1799.81 cores=1,3,5,7
/proc/6708/stat : 6708 (scip-2.1.1.4exp) R 6706 6708 3948 0 -1 4202496 696322 0 0 0 178643 1338 0 0 20 0 1 0 268946581 1713639424 410482 33554432000 4194304 10219143 140736985024016 140736985023256 9036791 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/6708/statm: 411842 410487 803 1471 0 410362 0
Current children cumulated CPU time (s) 1799.81
Current children cumulated vsize (KiB) 1673476
Child status: 0
Real time (s): 1800.11
CPU time (s): 1799.83
CPU user time (s): 1786.43
CPU system time (s): 13.399
CPU usage (%): 99.9845
Max. virtual memory (cumulated for all children) (KiB): 2649852
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1786.43
system time used= 13.399
maximum resident set size= 2500368
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 696334
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= 18
involuntary context switches= 1849
runsolver used 3.10353 second user time and 7.70583 second system time
The end