0.00/0.00 c SCIP version 1.2.1.3 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: SoPlex 1.4.2]
0.00/0.00 c Copyright (c) 2002-2010 Konrad-Zuse-Zentrum fuer Informationstechnik Berlin (ZIB)
0.00/0.00 c
0.00/0.00 c user parameter file <scip.set> not found - using default parameters
0.00/0.00 c reading problem <HOME/instance-3729908-1338680009.opb>
0.18/0.27 c original problem has 1020 variables (1020 bin, 0 int, 0 impl, 0 cont) and 43010 constraints
0.18/0.27 c problem read
0.18/0.27 c No objective function, only one solution is needed.
0.18/0.27 c presolving settings loaded
0.29/0.34 c presolving:
0.38/0.49 c (round 1) 0 del vars, 0 del conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 43010 upgd conss, 0 impls, 170 clqs
0.49/0.51 c presolving (2 rounds):
0.49/0.51 c 0 deleted vars, 0 deleted constraints, 0 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
0.49/0.51 c 0 implications, 170 cliques
0.49/0.51 c presolved problem has 1020 variables (1020 bin, 0 int, 0 impl, 0 cont) and 43010 constraints
0.49/0.51 c 170 constraints of type <setppc>
0.49/0.51 c 42840 constraints of type <logicor>
0.49/0.51 c transformed objective value is always integral (scale: 1)
0.49/0.51 c Presolving Time: 0.18
0.49/0.51 c - non default parameters ----------------------------------------------------------------------
0.49/0.51 c # SCIP version 1.2.1.3
0.49/0.51 c
0.49/0.51 c # frequency for displaying node information lines
0.49/0.51 c # [type: int, range: [-1,2147483647], default: 100]
0.49/0.51 c display/freq = 10000
0.49/0.51 c
0.49/0.51 c # maximal time in seconds to run
0.49/0.51 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.49/0.51 c limits/time = 1789.73
0.49/0.51 c
0.49/0.51 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.49/0.51 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.49/0.51 c limits/memory = 13950
0.49/0.51 c
0.49/0.51 c # solving stops, if the given number of solutions were found (-1: no limit)
0.49/0.51 c # [type: int, range: [-1,2147483647], default: -1]
0.49/0.51 c limits/solutions = 1
0.49/0.51 c
0.49/0.51 c # maximal number of separation rounds per node (-1: unlimited)
0.49/0.51 c # [type: int, range: [-1,2147483647], default: 5]
0.49/0.51 c separating/maxrounds = 1
0.49/0.51 c
0.49/0.51 c # maximal number of separation rounds in the root node (-1: unlimited)
0.49/0.51 c # [type: int, range: [-1,2147483647], default: -1]
0.49/0.51 c separating/maxroundsroot = 5
0.49/0.51 c
0.49/0.51 c # default clock type (1: CPU user seconds, 2: wall clock time)
0.49/0.51 c # [type: int, range: [1,2], default: 1]
0.49/0.51 c timing/clocktype = 2
0.49/0.51 c
0.49/0.51 c # should presolving try to simplify inequalities
0.49/0.51 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.49/0.51 c constraints/linear/simplifyinequalities = TRUE
0.49/0.51 c
0.49/0.51 c # add initial coupling inequalities as linear constraints, if 'addCoupling' is true
0.49/0.51 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.49/0.51 c constraints/indicator/addCouplingCons = TRUE
0.49/0.51 c
0.49/0.51 c # should disaggregation of knapsack constraints be allowed in preprocessing?
0.49/0.51 c # [type: bool, range: {TRUE,FALSE}, default: TRUE]
0.49/0.51 c constraints/knapsack/disaggregation = FALSE
0.49/0.51 c
0.49/0.51 c # should presolving try to simplify knapsacks
0.49/0.51 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.49/0.51 c constraints/knapsack/simplifyinequalities = TRUE
0.49/0.51 c
0.49/0.51 c # maximal number of presolving rounds the presolver participates in (-1: no limit)
0.49/0.51 c # [type: int, range: [-1,2147483647], default: -1]
0.49/0.51 c presolving/probing/maxrounds = 0
0.49/0.51 c
0.49/0.51 c # frequency for calling primal heuristic <coefdiving> (-1: never, 0: only at depth freqofs)
0.49/0.51 c # [type: int, range: [-1,2147483647], default: 10]
0.49/0.51 c heuristics/coefdiving/freq = -1
0.49/0.51 c
0.49/0.51 c # maximal fraction of diving LP iterations compared to node LP iterations
0.49/0.51 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
0.49/0.51 c heuristics/coefdiving/maxlpiterquot = 0.075
0.49/0.51 c
0.49/0.51 c # additional number of allowed LP iterations
0.49/0.51 c # [type: int, range: [0,2147483647], default: 1000]
0.49/0.51 c heuristics/coefdiving/maxlpiterofs = 1500
0.49/0.51 c
0.49/0.51 c # frequency for calling primal heuristic <crossover> (-1: never, 0: only at depth freqofs)
0.49/0.51 c # [type: int, range: [-1,2147483647], default: 30]
0.49/0.51 c heuristics/crossover/freq = -1
0.49/0.51 c
0.49/0.51 c # number of nodes added to the contingent of the total nodes
0.49/0.51 c # [type: longint, range: [0,9223372036854775807], default: 500]
0.49/0.51 c heuristics/crossover/nodesofs = 750
0.49/0.51 c
0.49/0.51 c # number of nodes without incumbent change that heuristic should wait
0.49/0.51 c # [type: longint, range: [0,9223372036854775807], default: 200]
0.49/0.51 c heuristics/crossover/nwaitingnodes = 100
0.49/0.51 c
0.49/0.51 c # contingent of sub problem nodes in relation to the number of nodes of the original problem
0.49/0.51 c # [type: real, range: [0,1], default: 0.1]
0.49/0.51 c heuristics/crossover/nodesquot = 0.15
0.49/0.51 c
0.49/0.51 c # minimum percentage of integer variables that have to be fixed
0.49/0.51 c # [type: real, range: [0,1], default: 0.666]
0.49/0.51 c heuristics/crossover/minfixingrate = 0.5
0.49/0.51 c
0.49/0.51 c # frequency for calling primal heuristic <feaspump> (-1: never, 0: only at depth freqofs)
0.49/0.51 c # [type: int, range: [-1,2147483647], default: 20]
0.49/0.51 c heuristics/feaspump/freq = -1
0.49/0.51 c
0.49/0.51 c # additional number of allowed LP iterations
0.49/0.51 c # [type: int, range: [0,2147483647], default: 1000]
0.49/0.51 c heuristics/feaspump/maxlpiterofs = 2000
0.49/0.51 c
0.49/0.51 c # frequency for calling primal heuristic <fracdiving> (-1: never, 0: only at depth freqofs)
0.49/0.51 c # [type: int, range: [-1,2147483647], default: 10]
0.49/0.51 c heuristics/fracdiving/freq = -1
0.49/0.51 c
0.49/0.51 c # maximal fraction of diving LP iterations compared to node LP iterations
0.49/0.51 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
0.49/0.51 c heuristics/fracdiving/maxlpiterquot = 0.075
0.49/0.51 c
0.49/0.51 c # additional number of allowed LP iterations
0.49/0.51 c # [type: int, range: [0,2147483647], default: 1000]
0.49/0.51 c heuristics/fracdiving/maxlpiterofs = 1500
0.49/0.51 c
0.49/0.51 c # frequency for calling primal heuristic <guideddiving> (-1: never, 0: only at depth freqofs)
0.49/0.51 c # [type: int, range: [-1,2147483647], default: 10]
0.49/0.51 c heuristics/guideddiving/freq = -1
0.49/0.51 c
0.49/0.51 c # maximal fraction of diving LP iterations compared to node LP iterations
0.49/0.51 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
0.49/0.51 c heuristics/guideddiving/maxlpiterquot = 0.075
0.49/0.51 c
0.49/0.51 c # additional number of allowed LP iterations
0.49/0.51 c # [type: int, range: [0,2147483647], default: 1000]
0.49/0.51 c heuristics/guideddiving/maxlpiterofs = 1500
0.49/0.51 c
0.49/0.51 c # maximal fraction of diving LP iterations compared to node LP iterations
0.49/0.51 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
0.49/0.51 c heuristics/intdiving/maxlpiterquot = 0.075
0.49/0.51 c
0.49/0.51 c # frequency for calling primal heuristic <intshifting> (-1: never, 0: only at depth freqofs)
0.49/0.51 c # [type: int, range: [-1,2147483647], default: 10]
0.49/0.51 c heuristics/intshifting/freq = -1
0.49/0.51 c
0.49/0.51 c # frequency for calling primal heuristic <linesearchdiving> (-1: never, 0: only at depth freqofs)
0.49/0.51 c # [type: int, range: [-1,2147483647], default: 10]
0.49/0.51 c heuristics/linesearchdiving/freq = -1
0.49/0.51 c
0.49/0.51 c # maximal fraction of diving LP iterations compared to node LP iterations
0.49/0.51 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
0.49/0.51 c heuristics/linesearchdiving/maxlpiterquot = 0.075
0.49/0.51 c
0.49/0.51 c # additional number of allowed LP iterations
0.49/0.51 c # [type: int, range: [0,2147483647], default: 1000]
0.49/0.51 c heuristics/linesearchdiving/maxlpiterofs = 1500
0.49/0.51 c
0.49/0.51 c # frequency for calling primal heuristic <nlp> (-1: never, 0: only at depth freqofs)
0.49/0.51 c # [type: int, range: [-1,2147483647], default: 1]
0.49/0.51 c heuristics/nlp/freq = -1
0.49/0.51 c
0.49/0.51 c # frequency for calling primal heuristic <objpscostdiving> (-1: never, 0: only at depth freqofs)
0.49/0.51 c # [type: int, range: [-1,2147483647], default: 20]
0.49/0.51 c heuristics/objpscostdiving/freq = -1
0.49/0.51 c
0.49/0.51 c # maximal fraction of diving LP iterations compared to total iteration number
0.49/0.51 c # [type: real, range: [0,1], default: 0.01]
0.49/0.51 c heuristics/objpscostdiving/maxlpiterquot = 0.015
0.49/0.51 c
0.49/0.51 c # additional number of allowed LP iterations
0.49/0.51 c # [type: int, range: [0,2147483647], default: 1000]
0.49/0.51 c heuristics/objpscostdiving/maxlpiterofs = 1500
0.49/0.51 c
0.49/0.51 c # frequency for calling primal heuristic <oneopt> (-1: never, 0: only at depth freqofs)
0.49/0.51 c # [type: int, range: [-1,2147483647], default: 1]
0.49/0.51 c heuristics/oneopt/freq = -1
0.49/0.51 c
0.49/0.51 c # frequency for calling primal heuristic <pscostdiving> (-1: never, 0: only at depth freqofs)
0.49/0.51 c # [type: int, range: [-1,2147483647], default: 10]
0.49/0.51 c heuristics/pscostdiving/freq = -1
0.49/0.51 c
0.49/0.51 c # maximal fraction of diving LP iterations compared to node LP iterations
0.49/0.51 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
0.49/0.51 c heuristics/pscostdiving/maxlpiterquot = 0.075
0.49/0.51 c
0.49/0.51 c # additional number of allowed LP iterations
0.49/0.51 c # [type: int, range: [0,2147483647], default: 1000]
0.49/0.51 c heuristics/pscostdiving/maxlpiterofs = 1500
0.49/0.51 c
0.49/0.51 c # frequency for calling primal heuristic <rens> (-1: never, 0: only at depth freqofs)
0.49/0.51 c # [type: int, range: [-1,2147483647], default: 0]
0.49/0.51 c heuristics/rens/freq = -1
0.49/0.51 c
0.49/0.51 c # minimum percentage of integer variables that have to be fixable
0.49/0.51 c # [type: real, range: [0,1], default: 0.5]
0.49/0.51 c heuristics/rens/minfixingrate = 0.3
0.49/0.51 c
0.49/0.51 c # number of nodes added to the contingent of the total nodes
0.49/0.51 c # [type: longint, range: [0,9223372036854775807], default: 500]
0.49/0.51 c heuristics/rens/nodesofs = 2000
0.49/0.51 c
0.49/0.51 c # frequency for calling primal heuristic <rootsoldiving> (-1: never, 0: only at depth freqofs)
0.49/0.51 c # [type: int, range: [-1,2147483647], default: 20]
0.49/0.51 c heuristics/rootsoldiving/freq = -1
0.49/0.51 c
0.49/0.51 c # maximal fraction of diving LP iterations compared to node LP iterations
0.49/0.51 c # [type: real, range: [0,1.79769313486232e+308], default: 0.01]
0.49/0.51 c heuristics/rootsoldiving/maxlpiterquot = 0.015
0.49/0.51 c
0.49/0.51 c # additional number of allowed LP iterations
0.49/0.51 c # [type: int, range: [0,2147483647], default: 1000]
0.49/0.51 c heuristics/rootsoldiving/maxlpiterofs = 1500
0.49/0.51 c
0.49/0.51 c # frequency for calling primal heuristic <rounding> (-1: never, 0: only at depth freqofs)
0.49/0.51 c # [type: int, range: [-1,2147483647], default: 1]
0.49/0.51 c heuristics/rounding/freq = -1
0.49/0.51 c
0.49/0.51 c # frequency for calling primal heuristic <shifting> (-1: never, 0: only at depth freqofs)
0.49/0.51 c # [type: int, range: [-1,2147483647], default: 10]
0.49/0.51 c heuristics/shifting/freq = -1
0.49/0.51 c
0.49/0.51 c # frequency for calling primal heuristic <simplerounding> (-1: never, 0: only at depth freqofs)
0.49/0.51 c # [type: int, range: [-1,2147483647], default: 1]
0.49/0.51 c heuristics/simplerounding/freq = -1
0.49/0.51 c
0.49/0.51 c # frequency for calling primal heuristic <trivial> (-1: never, 0: only at depth freqofs)
0.49/0.51 c # [type: int, range: [-1,2147483647], default: 0]
0.49/0.51 c heuristics/trivial/freq = -1
0.49/0.51 c
0.49/0.51 c # frequency for calling primal heuristic <trysol> (-1: never, 0: only at depth freqofs)
0.49/0.51 c # [type: int, range: [-1,2147483647], default: 1]
0.49/0.51 c heuristics/trysol/freq = -1
0.49/0.51 c
0.49/0.51 c # frequency for calling primal heuristic <veclendiving> (-1: never, 0: only at depth freqofs)
0.49/0.51 c # [type: int, range: [-1,2147483647], default: 10]
0.49/0.51 c heuristics/veclendiving/freq = -1
0.49/0.51 c
0.49/0.51 c # maximal fraction of diving LP iterations compared to node LP iterations
0.49/0.51 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
0.49/0.51 c heuristics/veclendiving/maxlpiterquot = 0.075
0.49/0.51 c
0.49/0.51 c # additional number of allowed LP iterations
0.49/0.51 c # [type: int, range: [0,2147483647], default: 1000]
0.49/0.51 c heuristics/veclendiving/maxlpiterofs = 1500
0.49/0.51 c
0.49/0.51 c # frequency for calling primal heuristic <zirounding> (-1: never, 0: only at depth freqofs)
0.49/0.51 c # [type: int, range: [-1,2147483647], default: 1]
0.49/0.51 c heuristics/zirounding/freq = -1
0.49/0.51 c
0.49/0.51 c # frequency for calling separator <cmir> (-1: never, 0: only in root node)
0.49/0.51 c # [type: int, range: [-1,2147483647], default: 0]
0.49/0.51 c separating/cmir/freq = -1
0.49/0.51 c
0.49/0.51 c # frequency for calling separator <flowcover> (-1: never, 0: only in root node)
0.49/0.51 c # [type: int, range: [-1,2147483647], default: 0]
0.49/0.51 c separating/flowcover/freq = -1
0.49/0.51 c
0.49/0.51 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
0.49/0.51 c # [type: int, range: [-1,2147483647], default: -1]
0.49/0.51 c separating/rapidlearning/freq = 0
0.49/0.51 c
0.49/0.51 c -----------------------------------------------------------------------------------------------
0.49/0.51 c start solving
0.49/0.51 c
4.59/4.69 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
4.59/4.69 c 4.4s| 1 | 0 | 3081 | - | 49M| 0 | 329 |1020 | 43k|1020 | 43k| 0 | 0 | 0 | 0.000000e+00 | -- | Inf
5.49/5.56 c 5.3s| 1 | 0 | 3333 | - | 51M| 0 | 344 |1020 | 43k|1020 | 43k| 2 | 0 | 0 | 0.000000e+00 | -- | Inf
6.60/6.68 c 6.4s| 1 | 0 | 3604 | - | 53M| 0 | 352 |1020 | 43k|1020 | 43k| 4 | 0 | 0 | 0.000000e+00 | -- | Inf
8.18/8.26 c 8.0s| 1 | 0 | 3883 | - | 54M| 0 | 341 |1020 | 43k|1020 | 43k| 7 | 0 | 0 | 0.000000e+00 | -- | Inf
9.28/9.39 c 9.1s| 1 | 0 | 4219 | - | 55M| 0 | 344 |1020 | 43k|1020 | 43k| 10 | 0 | 0 | 0.000000e+00 | -- | Inf
10.38/10.41 c 10.1s| 1 | 0 | 4488 | - | 58M| 0 | 356 |1020 | 43k|1020 | 43k| 15 | 0 | 0 | 0.000000e+00 | -- | Inf
55.07/55.18 c 54.9s| 1 | 2 | 4488 | - | 58M| 0 | 356 |1020 | 43k|1020 | 43k| 15 | 0 | 26 | 0.000000e+00 | -- | Inf
1789.70/1790.01 c
1789.70/1790.01 c SCIP Status : solving was interrupted [time limit reached]
1789.70/1790.01 c Solving Time (sec) : 1789.74
1789.70/1790.01 c Solving Nodes : 4056
1789.70/1790.01 c Primal Bound : +1.00000000000000e+20 (0 solutions)
1789.70/1790.01 c Dual Bound : +0.00000000000000e+00
1789.70/1790.01 c Gap : infinite
1789.70/1790.01 s UNKNOWN
1789.70/1790.01 c SCIP Status : solving was interrupted [time limit reached]
1789.70/1790.01 c Solving Time : 1789.74
1789.70/1790.01 c Original Problem :
1789.70/1790.01 c Problem name : HOME/instance-3729908-1338680009.opb
1789.70/1790.01 c Variables : 1020 (1020 binary, 0 integer, 0 implicit integer, 0 continuous)
1789.70/1790.01 c Constraints : 43010 initial, 43010 maximal
1789.70/1790.01 c Presolved Problem :
1789.70/1790.01 c Problem name : t_HOME/instance-3729908-1338680009.opb
1789.70/1790.01 c Variables : 1020 (1020 binary, 0 integer, 0 implicit integer, 0 continuous)
1789.70/1790.01 c Constraints : 43010 initial, 46579 maximal
1789.70/1790.01 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs
1789.70/1790.01 c trivial : 0.00 0 0 0 0 0 0 0 0
1789.70/1790.01 c dualfix : 0.00 0 0 0 0 0 0 0 0
1789.70/1790.01 c boundshift : 0.00 0 0 0 0 0 0 0 0
1789.70/1790.01 c inttobinary : 0.00 0 0 0 0 0 0 0 0
1789.70/1790.01 c implics : 0.00 0 0 0 0 0 0 0 0
1789.70/1790.01 c probing : 0.00 0 0 0 0 0 0 0 0
1789.70/1790.01 c setppc : 0.00 0 0 0 0 0 0 0 0
1789.70/1790.01 c logicor : 0.03 0 0 0 0 0 0 0 0
1789.70/1790.01 c root node : - 0 - - 0 - - - -
1789.70/1790.01 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children
1789.70/1790.01 c integral : 0 0 0 3001 0 28 135 0 0 5880
1789.70/1790.01 c setppc : 170 5 21642 0 1 706 38010 0 0 0
1789.70/1790.01 c logicor : 42840+ 5 17415 0 1 1040 176386 0 0 0
1789.70/1790.01 c countsols : 0 0 0 0 1 0 0 0 0 0
1789.70/1790.01 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS
1789.70/1790.01 c integral : 739.67 0.00 0.00 739.67 0.00
1789.70/1790.01 c setppc : 0.62 0.00 0.62 0.00 0.00
1789.70/1790.01 c logicor : 4.13 0.01 4.12 0.00 0.00
1789.70/1790.01 c countsols : 0.00 0.00 0.00 0.00 0.00
1789.70/1790.01 c Propagators : Time Calls Cutoffs DomReds
1789.70/1790.01 c vbounds : 0.00 1 0 0
1789.70/1790.01 c rootredcost : 0.00 0 0 0
1789.70/1790.01 c pseudoobj : 0.00 0 0 0
1789.70/1790.01 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1789.70/1790.01 c propagation : 0.70 1746 1746 53153 99.8 87 45.7 -
1789.70/1790.01 c infeasible LP : 0.00 0 0 0 0.0 0 0.0 0
1789.70/1790.01 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1789.70/1790.01 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1789.70/1790.01 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 -
1789.70/1790.01 c applied globally : - - - 7630 66.2 - - -
1789.70/1790.01 c applied locally : - - - 14 107.6 - - -
1789.70/1790.01 c Separators : Time Calls Cutoffs DomReds Cuts Conss
1789.70/1790.01 c cut pool : 0.00 4 - - 570 - (maximal pool size: 2732)
1789.70/1790.01 c redcost : 0.06 2978 0 0 0 0
1789.70/1790.01 c impliedbounds : 0.00 5 0 0 0 0
1789.70/1790.01 c intobj : 0.00 0 0 0 0 0
1789.70/1790.01 c cgmip : 0.00 0 0 0 0 0
1789.70/1790.01 c gomory : 1.75 5 0 0 2500 0
1789.70/1790.01 c strongcg : 1.18 5 0 0 2500 0
1789.70/1790.01 c cmir : 0.00 0 0 0 0 0
1789.70/1790.01 c flowcover : 0.00 0 0 0 0 0
1789.70/1790.01 c clique : 0.01 5 0 0 0 0
1789.70/1790.01 c zerohalf : 0.00 0 0 0 0 0
1789.70/1790.01 c mcf : 0.02 1 0 0 0 0
1789.70/1790.01 c rapidlearning : 0.00 0 0 0 0 0
1789.70/1790.01 c Pricers : Time Calls Vars
1789.70/1790.01 c problem variables: 0.00 0 0
1789.70/1790.01 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
1789.70/1790.01 c relpscost : 739.66 3001 28 135 0 0 5880
1789.70/1790.01 c pscost : 0.00 0 0 0 0 0 0
1789.70/1790.01 c inference : 0.00 1 0 0 0 0 2
1789.70/1790.01 c mostinf : 0.00 0 0 0 0 0 0
1789.70/1790.01 c leastinf : 0.00 0 0 0 0 0 0
1789.70/1790.01 c fullstrong : 0.00 0 0 0 0 0 0
1789.70/1790.01 c allfullstrong : 0.00 0 0 0 0 0 0
1789.70/1790.01 c random : 0.00 0 0 0 0 0 0
1789.70/1790.01 c Primal Heuristics : Time Calls Found
1789.70/1790.01 c LP solutions : 0.00 - 0
1789.70/1790.01 c pseudo solutions : 0.00 - 0
1789.70/1790.01 c trivial : 0.01 1 0
1789.70/1790.01 c simplerounding : 0.00 0 0
1789.70/1790.01 c zirounding : 0.00 0 0
1789.70/1790.01 c rounding : 0.00 0 0
1789.70/1790.01 c shifting : 0.00 0 0
1789.70/1790.01 c intshifting : 0.00 0 0
1789.70/1790.01 c oneopt : 0.00 0 0
1789.70/1790.01 c twoopt : 0.00 0 0
1789.70/1790.01 c fixandinfer : 0.00 0 0
1789.70/1790.01 c feaspump : 0.00 0 0
1789.70/1790.01 c coefdiving : 0.00 0 0
1789.70/1790.01 c pscostdiving : 0.00 0 0
1789.70/1790.01 c fracdiving : 0.00 0 0
1789.70/1790.01 c veclendiving : 0.00 0 0
1789.70/1790.01 c intdiving : 0.00 0 0
1789.70/1790.01 c actconsdiving : 0.00 0 0
1789.70/1790.01 c objpscostdiving : 0.00 0 0
1789.70/1790.01 c rootsoldiving : 0.00 0 0
1789.70/1790.01 c linesearchdiving : 0.00 0 0
1789.70/1790.01 c guideddiving : 0.00 0 0
1789.70/1790.01 c octane : 0.00 0 0
1789.70/1790.01 c rens : 0.00 0 0
1789.70/1790.01 c rins : 0.00 0 0
1789.70/1790.01 c localbranching : 0.00 0 0
1789.70/1790.01 c mutation : 0.00 0 0
1789.70/1790.01 c crossover : 0.00 0 0
1789.70/1790.01 c dins : 0.00 0 0
1789.70/1790.01 c undercover : 0.00 0 0
1789.70/1790.01 c nlp : 0.00 0 0
1789.70/1790.01 c trysol : 0.00 0 0
1789.70/1790.01 c LP : Time Calls Iterations Iter/call Iter/sec
1789.70/1790.01 c primal LP : 0.00 0 0 0.00 -
1789.70/1790.01 c dual LP : 1021.90 3007 577895 192.18 565.51
1789.70/1790.01 c lex dual LP : 0.00 0 0 0.00 -
1789.70/1790.01 c barrier LP : 0.00 0 0 0.00 -
1789.70/1790.01 c diving/probing LP: 0.00 0 0 0.00 -
1789.70/1790.01 c strong branching : 739.36 1018 411782 404.50 556.95
1789.70/1790.01 c (at root node) : - 26 22765 875.58 -
1789.70/1790.01 c conflict analysis: 0.00 0 0 0.00 -
1789.70/1790.01 c B&B Tree :
1789.70/1790.01 c number of runs : 1
1789.70/1790.01 c nodes : 4056
1789.70/1790.01 c nodes (total) : 4056
1789.70/1790.01 c nodes left : 1027
1789.70/1790.01 c max depth : 171
1789.70/1790.01 c max depth (total): 171
1789.70/1790.01 c backtracks : 798 (19.7%)
1789.70/1790.01 c delayed cutoffs : 800
1789.70/1790.01 c repropagations : 2624 (75789 domain reductions, 659 cutoffs)
1789.70/1790.01 c avg switch length: 3.48
1789.70/1790.01 c switching time : 3.83
1789.70/1790.01 c Solution :
1789.70/1790.01 c Solutions found : 0 (0 improvements)
1789.70/1790.01 c Primal Bound : -
1789.70/1790.01 c Dual Bound : +0.00000000000000e+00
1789.70/1790.01 c Gap : infinite
1789.70/1790.01 c Root Dual Bound : +0.00000000000000e+00
1789.70/1790.01 c Root Iterations : 4488
1789.80/1790.10 c Time complete: 1789.81.
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-3729908-1338680009/watcher-3729908-1338680009 -o /tmp/evaluation-result-3729908-1338680009/solver-3729908-1338680009 -C 1800 -W 1900 -M 15500 HOME/pbscip.linux.x86_64.gnu.opt.spx -f HOME/instance-3729908-1338680009.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: 2.01 1.98 1.66 3/176 21836
/proc/meminfo: memFree=28458968/32873648 swapFree=7388/7388
[pid=21836] ppid=21834 vsize=7916 CPUtime=0 cores=1,3,5,7
/proc/21836/stat : 21836 (pbscip.linux.x8) R 21834 21836 21664 0 -1 4202496 1241 0 0 0 0 0 0 0 20 0 1 0 334125389 8105984 1188 33554432000 4194304 8395647 140735452072208 140736775440264 7435351 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/21836/statm: 1979 1196 370 1026 0 949 0
[startup+0.071891 s]
/proc/loadavg: 2.01 1.98 1.66 3/176 21836
/proc/meminfo: memFree=28458968/32873648 swapFree=7388/7388
[pid=21836] ppid=21834 vsize=15788 CPUtime=0.06 cores=1,3,5,7
/proc/21836/stat : 21836 (pbscip.linux.x8) R 21834 21836 21664 0 -1 4202496 3202 0 0 0 6 0 0 0 20 0 1 0 334125389 16166912 3149 33554432000 4194304 8395647 140735452072208 140736775440264 7430272 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/21836/statm: 3947 3149 390 1026 0 2917 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 15788
[startup+0.100318 s]
/proc/loadavg: 2.01 1.98 1.66 3/176 21836
/proc/meminfo: memFree=28458968/32873648 swapFree=7388/7388
[pid=21836] ppid=21834 vsize=17012 CPUtime=0.09 cores=1,3,5,7
/proc/21836/stat : 21836 (pbscip.linux.x8) R 21834 21836 21664 0 -1 4202496 3517 0 0 0 9 0 0 0 20 0 1 0 334125389 17420288 3464 33554432000 4194304 8395647 140735452072208 140736775440264 7430272 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/21836/statm: 4253 3464 390 1026 0 3223 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 17012
[startup+0.30031 s]
/proc/loadavg: 2.01 1.98 1.66 3/176 21836
/proc/meminfo: memFree=28458968/32873648 swapFree=7388/7388
[pid=21836] ppid=21834 vsize=44540 CPUtime=0.29 cores=1,3,5,7
/proc/21836/stat : 21836 (pbscip.linux.x8) R 21834 21836 21664 0 -1 4202496 10626 0 0 0 28 1 0 0 20 0 1 0 334125389 45608960 10220 33554432000 4194304 8395647 140735452072208 140736775440264 6347101 0 0 4096 16384 0 0 0 17 1 0 0 0 0 0
/proc/21836/statm: 11135 10255 410 1026 0 10105 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 44540
[startup+0.700328 s]
/proc/loadavg: 2.01 1.98 1.66 3/176 21836
/proc/meminfo: memFree=28458968/32873648 swapFree=7388/7388
[pid=21836] ppid=21834 vsize=127020 CPUtime=0.69 cores=1,3,5,7
/proc/21836/stat : 21836 (pbscip.linux.x8) R 21834 21836 21664 0 -1 4202496 27401 0 0 0 65 4 0 0 20 0 1 0 334125389 130068480 29527 33554432000 4194304 8395647 140735452072208 140736775440264 7428202 0 0 4096 16384 0 0 0 17 1 0 0 0 0 0
/proc/21836/statm: 31755 29527 548 1026 0 30725 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 127020
[startup+1.50031 s]
/proc/loadavg: 2.01 1.98 1.66 4/177 21837
/proc/meminfo: memFree=28336380/32873648 swapFree=7388/7388
[pid=21836] ppid=21834 vsize=137776 CPUtime=1.49 cores=1,3,5,7
/proc/21836/stat : 21836 (pbscip.linux.x8) R 21834 21836 21664 0 -1 4202496 30688 0 0 0 144 5 0 0 20 0 1 0 334125389 141082624 32122 33554432000 4194304 8395647 140735452072208 140735452067416 6751274 0 0 4096 16384 0 0 0 17 1 0 0 0 0 0
/proc/21836/statm: 34444 32122 555 1026 0 33414 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 137776
[startup+3.10031 s]
/proc/loadavg: 2.01 1.98 1.66 4/177 21837
/proc/meminfo: memFree=28329560/32873648 swapFree=7388/7388
[pid=21836] ppid=21834 vsize=140332 CPUtime=3.09 cores=1,3,5,7
/proc/21836/stat : 21836 (pbscip.linux.x8) R 21834 21836 21664 0 -1 4202496 31458 0 0 0 304 5 0 0 20 0 1 0 334125389 143699968 32861 33554432000 4194304 8395647 140735452072208 140735452067768 6697246 0 0 4096 16384 0 0 0 17 1 0 0 0 0 0
/proc/21836/statm: 35083 32861 555 1026 0 34053 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 140332
[startup+6.30033 s]
/proc/loadavg: 2.01 1.98 1.66 4/177 21837
/proc/meminfo: memFree=28327256/32873648 swapFree=7388/7388
[pid=21836] ppid=21834 vsize=144620 CPUtime=6.29 cores=1,3,5,7
/proc/21836/stat : 21836 (pbscip.linux.x8) R 21834 21836 21664 0 -1 4202496 33075 0 0 0 623 6 0 0 20 0 1 0 334125389 148090880 34475 33554432000 4194304 8395647 140735452072208 140735452067400 7428202 0 0 4096 16384 0 0 0 17 1 0 0 0 0 0
/proc/21836/statm: 36155 34475 581 1026 0 35125 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 144620
[startup+12.7003 s]
/proc/loadavg: 2.01 1.98 1.66 4/177 21837
/proc/meminfo: memFree=28316972/32873648 swapFree=7388/7388
[pid=21836] ppid=21834 vsize=151280 CPUtime=12.68 cores=1,3,5,7
/proc/21836/stat : 21836 (pbscip.linux.x8) R 21834 21836 21664 0 -1 4202496 34551 0 0 0 1261 7 0 0 20 0 1 0 334125389 154910720 35943 33554432000 4194304 8395647 140735452072208 140735452067080 6697041 0 0 4096 16384 0 0 0 17 1 0 0 0 0 0
/proc/21836/statm: 37820 35943 583 1026 0 36790 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 151280
[startup+25.5003 s]
/proc/loadavg: 2.00 1.98 1.66 4/177 21837
/proc/meminfo: memFree=28315244/32873648 swapFree=7388/7388
[pid=21836] ppid=21834 vsize=152684 CPUtime=25.48 cores=1,3,5,7
/proc/21836/stat : 21836 (pbscip.linux.x8) R 21834 21836 21664 0 -1 4202496 35049 0 0 0 2540 8 0 0 20 0 1 0 334125389 156348416 36449 33554432000 4194304 8395647 140735452072208 140735452067080 6697371 0 0 4096 16384 0 0 0 17 1 0 0 0 0 0
/proc/21836/statm: 38171 36449 583 1026 0 37141 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 152684
[startup+51.1003 s]
/proc/loadavg: 2.00 1.98 1.67 4/177 21837
/proc/meminfo: memFree=28313536/32873648 swapFree=7388/7388
[pid=21836] ppid=21834 vsize=152684 CPUtime=51.07 cores=1,3,5,7
/proc/21836/stat : 21836 (pbscip.linux.x8) R 21834 21836 21664 0 -1 4202496 35065 0 0 0 5096 11 0 0 20 0 1 0 334125389 156348416 36821 33554432000 4194304 8395647 140735452072208 140735452067416 6391379 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/21836/statm: 38171 36821 583 1026 0 37141 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 152684
[startup+102.307 s]
/proc/loadavg: 2.00 1.98 1.69 4/177 21837
/proc/meminfo: memFree=28306304/32873648 swapFree=7388/7388
[pid=21836] ppid=21834 vsize=157592 CPUtime=102.26 cores=1,3,5,7
/proc/21836/stat : 21836 (pbscip.linux.x8) R 21834 21836 21664 0 -1 4202496 36644 0 0 0 10208 18 0 0 20 0 1 0 334125389 161374208 38798 33554432000 4194304 8395647 140735452072208 140735452067080 7428202 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/21836/statm: 39398 38798 585 1026 0 38368 0
Current children cumulated CPU time (s) 102.26
Current children cumulated vsize (KiB) 157592
[startup+162.3 s]
/proc/loadavg: 2.00 1.98 1.70 4/177 21838
/proc/meminfo: memFree=28306516/32873648 swapFree=7388/7388
[pid=21836] ppid=21834 vsize=157592 CPUtime=162.25 cores=1,3,5,7
/proc/21836/stat : 21836 (pbscip.linux.x8) R 21834 21836 21664 0 -1 4202496 36646 0 0 0 16197 28 0 0 20 0 1 0 334125389 161374208 38800 33554432000 4194304 8395647 140735452072208 140735452067080 6698059 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/21836/statm: 39398 38800 585 1026 0 38368 0
Current children cumulated CPU time (s) 162.25
Current children cumulated vsize (KiB) 157592
[startup+222.3 s]
/proc/loadavg: 2.00 1.98 1.72 4/177 21838
/proc/meminfo: memFree=28293920/32873648 swapFree=7388/7388
[pid=21836] ppid=21834 vsize=169628 CPUtime=222.24 cores=1,3,5,7
/proc/21836/stat : 21836 (pbscip.linux.x8) R 21834 21836 21664 0 -1 4202496 38011 0 0 0 22187 37 0 0 20 0 1 0 334125389 173699072 41851 33554432000 4194304 8395647 140735452072208 140735452067336 6390460 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/21836/statm: 42407 41851 585 1026 0 41377 0
Current children cumulated CPU time (s) 222.24
Current children cumulated vsize (KiB) 169628
[startup+282.3 s]
/proc/loadavg: 2.00 1.98 1.74 4/177 21838
/proc/meminfo: memFree=28308520/32873648 swapFree=7388/7388
[pid=21836] ppid=21834 vsize=155752 CPUtime=282.23 cores=1,3,5,7
/proc/21836/stat : 21836 (pbscip.linux.x8) R 21834 21836 21664 0 -1 4202496 38013 0 0 0 28178 45 0 0 20 0 1 0 334125389 159490048 38246 33554432000 4194304 8395647 140735452072208 140735452067336 7428202 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/21836/statm: 38938 38246 585 1026 0 37908 0
Current children cumulated CPU time (s) 282.23
Current children cumulated vsize (KiB) 155752
[startup+342.3 s]
/proc/loadavg: 2.07 1.99 1.75 4/177 21838
/proc/meminfo: memFree=28308524/32873648 swapFree=7388/7388
[pid=21836] ppid=21834 vsize=155752 CPUtime=342.22 cores=1,3,5,7
/proc/21836/stat : 21836 (pbscip.linux.x8) R 21834 21836 21664 0 -1 4202496 38015 0 0 0 34166 56 0 0 20 0 1 0 334125389 159490048 38248 33554432000 4194304 8395647 140735452072208 140735452067080 7428202 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/21836/statm: 38938 38248 585 1026 0 37908 0
Current children cumulated CPU time (s) 342.22
Current children cumulated vsize (KiB) 155752
[startup+402.3 s]
/proc/loadavg: 2.02 1.99 1.76 4/178 21841
/proc/meminfo: memFree=28308344/32873648 swapFree=7388/7388
[pid=21836] ppid=21834 vsize=156416 CPUtime=402.21 cores=1,3,5,7
/proc/21836/stat : 21836 (pbscip.linux.x8) R 21834 21836 21664 0 -1 4202496 38019 0 0 0 40156 65 0 0 20 0 1 0 334125389 160169984 38252 33554432000 4194304 8395647 140735452072208 140735452067336 6391396 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/21836/statm: 39104 38252 585 1026 0 38074 0
Current children cumulated CPU time (s) 402.21
Current children cumulated vsize (KiB) 156416
[startup+462.3 s]
/proc/loadavg: 2.01 1.99 1.78 3/177 21880
/proc/meminfo: memFree=23222472/32873648 swapFree=7388/7388
[pid=21836] ppid=21834 vsize=156416 CPUtime=462.2 cores=1,3,5,7
/proc/21836/stat : 21836 (pbscip.linux.x8) R 21834 21836 21664 0 -1 4202496 38046 0 0 0 46147 73 0 0 20 0 1 0 334125389 160169984 38278 33554432000 4194304 8395647 140735452072208 140735452067336 6391396 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/21836/statm: 39104 38278 585 1026 0 38074 0
Current children cumulated CPU time (s) 462.2
Current children cumulated vsize (KiB) 156416
[startup+522.3 s]
/proc/loadavg: 2.00 1.99 1.79 3/177 21880
/proc/meminfo: memFree=23043476/32873648 swapFree=7388/7388
[pid=21836] ppid=21834 vsize=156416 CPUtime=522.19 cores=1,3,5,7
/proc/21836/stat : 21836 (pbscip.linux.x8) R 21834 21836 21664 0 -1 4202496 38050 0 0 0 52137 82 0 0 20 0 1 0 334125389 160169984 38282 33554432000 4194304 8395647 140735452072208 140735452067336 6391379 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/21836/statm: 39104 38282 589 1026 0 38074 0
Current children cumulated CPU time (s) 522.19
Current children cumulated vsize (KiB) 156416
[startup+582.3 s]
/proc/loadavg: 2.00 1.99 1.80 3/177 21880
/proc/meminfo: memFree=23026440/32873648 swapFree=7388/7388
[pid=21836] ppid=21834 vsize=158112 CPUtime=582.18 cores=1,3,5,7
/proc/21836/stat : 21836 (pbscip.linux.x8) R 21834 21836 21664 0 -1 4202496 38410 0 0 0 58127 91 0 0 20 0 1 0 334125389 161906688 38642 33554432000 4194304 8395647 140735452072208 140735452067336 7428202 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/21836/statm: 39528 38642 591 1026 0 38498 0
Current children cumulated CPU time (s) 582.18
Current children cumulated vsize (KiB) 158112
[startup+642.3 s]
################
# More data... #
################
/proc/meminfo: memFree=22948844/32873648 swapFree=7388/7388
[pid=21836] ppid=21834 vsize=163780 CPUtime=1002.12 cores=1,3,5,7
/proc/21836/stat : 21836 (pbscip.linux.x8) R 21834 21836 21664 0 -1 4202496 39880 0 0 0 100057 155 0 0 20 0 1 0 334125389 167710720 40112 33554432000 4194304 8395647 140735452072208 140735452067080 6698030 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/21836/statm: 40945 40112 591 1026 0 39915 0
Current children cumulated CPU time (s) 1002.12
Current children cumulated vsize (KiB) 163780
[startup+1062.3 s]
/proc/loadavg: 2.00 2.00 1.86 3/177 21885
/proc/meminfo: memFree=22948896/32873648 swapFree=7388/7388
[pid=21836] ppid=21834 vsize=164068 CPUtime=1062.11 cores=1,3,5,7
/proc/21836/stat : 21836 (pbscip.linux.x8) R 21834 21836 21664 0 -1 4202496 39937 0 0 0 106045 166 0 0 20 0 1 0 334125389 168005632 40169 33554432000 4194304 8395647 140735452072208 140735452067336 6698059 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/21836/statm: 41017 40169 591 1026 0 39987 0
Current children cumulated CPU time (s) 1062.11
Current children cumulated vsize (KiB) 164068
[startup+1122.3 s]
/proc/loadavg: 2.00 2.00 1.87 3/177 21885
/proc/meminfo: memFree=22947932/32873648 swapFree=7388/7388
[pid=21836] ppid=21834 vsize=164808 CPUtime=1122.1 cores=1,3,5,7
/proc/21836/stat : 21836 (pbscip.linux.x8) R 21834 21836 21664 0 -1 4202496 40077 0 0 0 112036 174 0 0 20 0 1 0 334125389 168763392 40309 33554432000 4194304 8395647 140735452072208 140735452067336 7428202 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/21836/statm: 41202 40309 591 1026 0 40172 0
Current children cumulated CPU time (s) 1122.1
Current children cumulated vsize (KiB) 164808
[startup+1182.3 s]
/proc/loadavg: 2.00 2.00 1.87 3/177 21885
/proc/meminfo: memFree=22946036/32873648 swapFree=7388/7388
[pid=21836] ppid=21834 vsize=164808 CPUtime=1182.1 cores=1,3,5,7
/proc/21836/stat : 21836 (pbscip.linux.x8) R 21834 21836 21664 0 -1 4202496 40082 0 0 0 118026 184 0 0 20 0 1 0 334125389 168763392 40314 33554432000 4194304 8395647 140735452072208 140735452067080 7428202 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/21836/statm: 41202 40314 591 1026 0 40172 0
Current children cumulated CPU time (s) 1182.1
Current children cumulated vsize (KiB) 164808
[startup+1242.3 s]
/proc/loadavg: 2.00 2.00 1.88 3/177 21885
/proc/meminfo: memFree=22945568/32873648 swapFree=7388/7388
[pid=21836] ppid=21834 vsize=165200 CPUtime=1242.08 cores=1,3,5,7
/proc/21836/stat : 21836 (pbscip.linux.x8) R 21834 21836 21664 0 -1 4202496 40225 0 0 0 124017 191 0 0 20 0 1 0 334125389 169164800 40457 33554432000 4194304 8395647 140735452072208 140735452067464 6697060 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/21836/statm: 41300 40457 591 1026 0 40270 0
Current children cumulated CPU time (s) 1242.08
Current children cumulated vsize (KiB) 165200
[startup+1302.3 s]
/proc/loadavg: 2.03 2.01 1.89 3/177 21885
/proc/meminfo: memFree=22945348/32873648 swapFree=7388/7388
[pid=21836] ppid=21834 vsize=165736 CPUtime=1302.08 cores=1,3,5,7
/proc/21836/stat : 21836 (pbscip.linux.x8) R 21834 21836 21664 0 -1 4202496 40263 0 0 0 130006 202 0 0 20 0 1 0 334125389 169713664 40495 33554432000 4194304 8395647 140735452072208 140735452067336 7428202 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/21836/statm: 41434 40495 591 1026 0 40404 0
Current children cumulated CPU time (s) 1302.08
Current children cumulated vsize (KiB) 165736
[startup+1362.3 s]
/proc/loadavg: 2.09 2.02 1.90 3/177 21886
/proc/meminfo: memFree=22897036/32873648 swapFree=7388/7388
[pid=21836] ppid=21834 vsize=167856 CPUtime=1362.07 cores=1,3,5,7
/proc/21836/stat : 21836 (pbscip.linux.x8) R 21834 21836 21664 0 -1 4202496 41018 0 0 0 135994 213 0 0 20 0 1 0 334125389 171884544 41250 33554432000 4194304 8395647 140735452072208 140735452067080 6698423 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/21836/statm: 41964 41250 591 1026 0 40934 0
Current children cumulated CPU time (s) 1362.07
Current children cumulated vsize (KiB) 167856
[startup+1422.31 s]
/proc/loadavg: 2.03 2.02 1.91 3/177 21886
/proc/meminfo: memFree=22895760/32873648 swapFree=7388/7388
[pid=21836] ppid=21834 vsize=167856 CPUtime=1422.06 cores=1,3,5,7
/proc/21836/stat : 21836 (pbscip.linux.x8) R 21834 21836 21664 0 -1 4202496 41019 0 0 0 141984 222 0 0 20 0 1 0 334125389 171884544 41251 33554432000 4194304 8395647 140735452072208 140735452067416 7428202 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/21836/statm: 41964 41251 591 1026 0 40934 0
Current children cumulated CPU time (s) 1422.06
Current children cumulated vsize (KiB) 167856
[startup+1482.3 s]
/proc/loadavg: 2.01 2.01 1.91 3/176 21886
/proc/meminfo: memFree=22895612/32873648 swapFree=7388/7388
[pid=21836] ppid=21834 vsize=167856 CPUtime=1482.05 cores=1,3,5,7
/proc/21836/stat : 21836 (pbscip.linux.x8) R 21834 21836 21664 0 -1 4202496 41025 0 0 0 147974 231 0 0 20 0 1 0 334125389 171884544 41257 33554432000 4194304 8395647 140735452072208 140735452067080 7428202 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/21836/statm: 41964 41257 591 1026 0 40934 0
Current children cumulated CPU time (s) 1482.05
Current children cumulated vsize (KiB) 167856
[startup+1542.3 s]
/proc/loadavg: 2.00 2.00 1.91 3/177 21887
/proc/meminfo: memFree=22893224/32873648 swapFree=7388/7388
[pid=21836] ppid=21834 vsize=168040 CPUtime=1542.04 cores=1,3,5,7
/proc/21836/stat : 21836 (pbscip.linux.x8) R 21834 21836 21664 0 -1 4202496 41036 0 0 0 153965 239 0 0 20 0 1 0 334125389 172072960 41268 33554432000 4194304 8395647 140735452072208 140735452067336 6697262 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/21836/statm: 42010 41268 591 1026 0 40980 0
Current children cumulated CPU time (s) 1542.04
Current children cumulated vsize (KiB) 168040
[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 1.91 3/178 21890
/proc/meminfo: memFree=22892608/32873648 swapFree=7388/7388
[pid=21836] ppid=21834 vsize=168988 CPUtime=1602.03 cores=1,3,5,7
/proc/21836/stat : 21836 (pbscip.linux.x8) R 21834 21836 21664 0 -1 4202496 41147 0 0 0 159955 248 0 0 20 0 1 0 334125389 173043712 41379 33554432000 4194304 8395647 140735452072208 140735452067672 7428202 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/21836/statm: 42247 41379 591 1026 0 41217 0
Current children cumulated CPU time (s) 1602.03
Current children cumulated vsize (KiB) 168988
[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 1.91 3/178 21914
/proc/meminfo: memFree=22888264/32873648 swapFree=7388/7388
[pid=21836] ppid=21834 vsize=169452 CPUtime=1662.02 cores=1,3,5,7
/proc/21836/stat : 21836 (pbscip.linux.x8) R 21834 21836 21664 0 -1 4202496 41222 0 0 0 165944 258 0 0 20 0 1 0 334125389 173518848 41454 33554432000 4194304 8395647 140735452072208 140735452066616 6698205 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/21836/statm: 42363 41454 591 1026 0 41333 0
Current children cumulated CPU time (s) 1662.02
Current children cumulated vsize (KiB) 169452
[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 1.91 3/177 21914
/proc/meminfo: memFree=22887900/32873648 swapFree=7388/7388
[pid=21836] ppid=21834 vsize=170964 CPUtime=1722.01 cores=1,3,5,7
/proc/21836/stat : 21836 (pbscip.linux.x8) R 21834 21836 21664 0 -1 4202496 41456 0 0 0 171934 267 0 0 20 0 1 0 334125389 175067136 41688 33554432000 4194304 8395647 140735452072208 140735452067336 7428202 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/21836/statm: 42741 41688 591 1026 0 41711 0
Current children cumulated CPU time (s) 1722.01
Current children cumulated vsize (KiB) 170964
[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 1.91 3/177 21914
/proc/meminfo: memFree=22887296/32873648 swapFree=7388/7388
[pid=21836] ppid=21834 vsize=170964 CPUtime=1782.01 cores=1,3,5,7
/proc/21836/stat : 21836 (pbscip.linux.x8) R 21834 21836 21664 0 -1 4202496 41476 0 0 0 177925 276 0 0 20 0 1 0 334125389 175067136 41708 33554432000 4194304 8395647 140735452072208 140735452067080 6698231 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/21836/statm: 42741 41708 591 1026 0 41711 0
Current children cumulated CPU time (s) 1782.01
Current children cumulated vsize (KiB) 170964
Solver just ended. Dumping a history of the last processes samples
[startup+1785.5 s]
/proc/loadavg: 2.00 2.00 1.91 3/177 21914
/proc/meminfo: memFree=22885496/32873648 swapFree=7388/7388
[pid=21836] ppid=21834 vsize=170964 CPUtime=1785.2 cores=1,3,5,7
/proc/21836/stat : 21836 (pbscip.linux.x8) R 21834 21836 21664 0 -1 4202496 41476 0 0 0 178244 276 0 0 20 0 1 0 334125389 175067136 41708 33554432000 4194304 8395647 140735452072208 140735452067336 6696991 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/21836/statm: 42741 41708 591 1026 0 41711 0
Current children cumulated CPU time (s) 1785.2
Current children cumulated vsize (KiB) 170964
[startup+1788.7 s]
/proc/loadavg: 2.00 2.00 1.91 3/177 21914
/proc/meminfo: memFree=22885496/32873648 swapFree=7388/7388
[pid=21836] ppid=21834 vsize=170964 CPUtime=1788.4 cores=1,3,5,7
/proc/21836/stat : 21836 (pbscip.linux.x8) R 21834 21836 21664 0 -1 4202496 41476 0 0 0 178564 276 0 0 20 0 1 0 334125389 175067136 41708 33554432000 4194304 8395647 140735452072208 140735452067768 6696991 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/21836/statm: 42741 41708 591 1026 0 41711 0
Current children cumulated CPU time (s) 1788.4
Current children cumulated vsize (KiB) 170964
[startup+1789.5 s]
/proc/loadavg: 2.00 2.00 1.91 3/177 21914
/proc/meminfo: memFree=22885496/32873648 swapFree=7388/7388
[pid=21836] ppid=21834 vsize=170964 CPUtime=1789.2 cores=1,3,5,7
/proc/21836/stat : 21836 (pbscip.linux.x8) R 21834 21836 21664 0 -1 4202496 41476 0 0 0 178643 277 0 0 20 0 1 0 334125389 175067136 41708 33554432000 4194304 8395647 140735452072208 140735452067336 7428202 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/21836/statm: 42741 41708 591 1026 0 41711 0
Current children cumulated CPU time (s) 1789.2
Current children cumulated vsize (KiB) 170964
[startup+1789.9 s]
/proc/loadavg: 2.00 2.00 1.91 3/177 21914
/proc/meminfo: memFree=22885496/32873648 swapFree=7388/7388
[pid=21836] ppid=21834 vsize=170964 CPUtime=1789.6 cores=1,3,5,7
/proc/21836/stat : 21836 (pbscip.linux.x8) R 21834 21836 21664 0 -1 4202496 41476 0 0 0 178683 277 0 0 20 0 1 0 334125389 175067136 41708 33554432000 4194304 8395647 140735452072208 140735452067064 7428202 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/21836/statm: 42741 41708 591 1026 0 41711 0
Current children cumulated CPU time (s) 1789.6
Current children cumulated vsize (KiB) 170964
[startup+1790.1 s]
/proc/loadavg: 2.00 2.00 1.91 3/177 21914
/proc/meminfo: memFree=22885496/32873648 swapFree=7388/7388
[pid=21836] ppid=21834 vsize=150856 CPUtime=1789.8 cores=1,3,5,7
/proc/21836/stat : 21836 (pbscip.linux.x8) R 21834 21836 21664 0 -1 4202496 41485 0 0 0 178703 277 0 0 20 0 1 0 334125389 154476544 37231 33554432000 4194304 8395647 140735452072208 140735452067064 6345866 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/21836/statm: 37714 37231 600 1026 0 36684 0
Current children cumulated CPU time (s) 1789.8
Current children cumulated vsize (KiB) 150856
Child status: 0
Real time (s): 1790.11
CPU time (s): 1789.82
CPU user time (s): 1787.04
CPU system time (s): 2.78058
CPU usage (%): 99.9838
Max. virtual memory (cumulated for all children) (KiB): 170964
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1787.04
system time used= 2.78058
maximum resident set size= 167404
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 41491
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= 27
involuntary context switches= 1881
runsolver used 2.6186 second user time and 7.42187 second system time
The end