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-3728920-1338678623.opb>
0.09/0.14 c original problem has 14400 variables (14400 bin, 0 int, 0 impl, 0 cont) and 1088 constraints
0.09/0.14 c problem read
0.09/0.14 c No objective function, only one solution is needed.
0.09/0.14 c presolving settings loaded
0.19/0.21 c presolving:
0.29/0.37 c (round 1) 0 del vars, 480 del conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 128 upgd conss, 0 impls, 480 clqs
0.48/0.53 c (round 2) 0 del vars, 480 del conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 608 upgd conss, 0 impls, 480 clqs
0.48/0.57 c presolving (3 rounds):
0.48/0.57 c 0 deleted vars, 480 deleted constraints, 0 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
0.48/0.57 c 0 implications, 480 cliques
0.48/0.57 c presolved problem has 14400 variables (14400 bin, 0 int, 0 impl, 0 cont) and 608 constraints
0.48/0.57 c 128 constraints of type <knapsack>
0.48/0.57 c 480 constraints of type <setppc>
0.48/0.57 c transformed objective value is always integral (scale: 1)
0.48/0.57 c Presolving Time: 0.39
0.48/0.57 c - non default parameters ----------------------------------------------------------------------
0.48/0.57 c # SCIP version 1.2.1.3
0.48/0.57 c
0.48/0.57 c # frequency for displaying node information lines
0.48/0.57 c # [type: int, range: [-1,2147483647], default: 100]
0.48/0.57 c display/freq = 10000
0.48/0.57 c
0.48/0.57 c # maximal time in seconds to run
0.48/0.57 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.48/0.57 c limits/time = 1789.87
0.48/0.57 c
0.48/0.57 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.48/0.57 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.48/0.57 c limits/memory = 13950
0.48/0.57 c
0.48/0.57 c # solving stops, if the given number of solutions were found (-1: no limit)
0.48/0.57 c # [type: int, range: [-1,2147483647], default: -1]
0.48/0.57 c limits/solutions = 1
0.48/0.57 c
0.48/0.57 c # maximal number of separation rounds per node (-1: unlimited)
0.48/0.57 c # [type: int, range: [-1,2147483647], default: 5]
0.48/0.57 c separating/maxrounds = 1
0.48/0.57 c
0.48/0.57 c # maximal number of separation rounds in the root node (-1: unlimited)
0.48/0.57 c # [type: int, range: [-1,2147483647], default: -1]
0.48/0.57 c separating/maxroundsroot = 5
0.48/0.57 c
0.48/0.57 c # default clock type (1: CPU user seconds, 2: wall clock time)
0.48/0.57 c # [type: int, range: [1,2], default: 1]
0.48/0.57 c timing/clocktype = 2
0.48/0.57 c
0.48/0.57 c # should presolving try to simplify inequalities
0.48/0.57 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.48/0.57 c constraints/linear/simplifyinequalities = TRUE
0.48/0.57 c
0.48/0.57 c # add initial coupling inequalities as linear constraints, if 'addCoupling' is true
0.48/0.57 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.48/0.57 c constraints/indicator/addCouplingCons = TRUE
0.48/0.57 c
0.48/0.57 c # should disaggregation of knapsack constraints be allowed in preprocessing?
0.48/0.57 c # [type: bool, range: {TRUE,FALSE}, default: TRUE]
0.48/0.57 c constraints/knapsack/disaggregation = FALSE
0.48/0.57 c
0.48/0.57 c # should presolving try to simplify knapsacks
0.48/0.57 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.48/0.57 c constraints/knapsack/simplifyinequalities = TRUE
0.48/0.57 c
0.48/0.57 c # maximal number of presolving rounds the presolver participates in (-1: no limit)
0.48/0.57 c # [type: int, range: [-1,2147483647], default: -1]
0.48/0.57 c presolving/probing/maxrounds = 0
0.48/0.57 c
0.48/0.57 c # frequency for calling primal heuristic <coefdiving> (-1: never, 0: only at depth freqofs)
0.48/0.57 c # [type: int, range: [-1,2147483647], default: 10]
0.48/0.57 c heuristics/coefdiving/freq = -1
0.48/0.57 c
0.48/0.57 c # maximal fraction of diving LP iterations compared to node LP iterations
0.48/0.57 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
0.48/0.57 c heuristics/coefdiving/maxlpiterquot = 0.075
0.48/0.57 c
0.48/0.57 c # additional number of allowed LP iterations
0.48/0.57 c # [type: int, range: [0,2147483647], default: 1000]
0.48/0.57 c heuristics/coefdiving/maxlpiterofs = 1500
0.48/0.57 c
0.48/0.57 c # frequency for calling primal heuristic <crossover> (-1: never, 0: only at depth freqofs)
0.48/0.57 c # [type: int, range: [-1,2147483647], default: 30]
0.48/0.57 c heuristics/crossover/freq = -1
0.48/0.57 c
0.48/0.57 c # number of nodes added to the contingent of the total nodes
0.48/0.57 c # [type: longint, range: [0,9223372036854775807], default: 500]
0.48/0.57 c heuristics/crossover/nodesofs = 750
0.48/0.57 c
0.48/0.57 c # number of nodes without incumbent change that heuristic should wait
0.48/0.57 c # [type: longint, range: [0,9223372036854775807], default: 200]
0.48/0.57 c heuristics/crossover/nwaitingnodes = 100
0.48/0.57 c
0.48/0.57 c # contingent of sub problem nodes in relation to the number of nodes of the original problem
0.48/0.57 c # [type: real, range: [0,1], default: 0.1]
0.48/0.57 c heuristics/crossover/nodesquot = 0.15
0.48/0.57 c
0.48/0.57 c # minimum percentage of integer variables that have to be fixed
0.48/0.57 c # [type: real, range: [0,1], default: 0.666]
0.48/0.57 c heuristics/crossover/minfixingrate = 0.5
0.48/0.57 c
0.48/0.57 c # frequency for calling primal heuristic <feaspump> (-1: never, 0: only at depth freqofs)
0.48/0.57 c # [type: int, range: [-1,2147483647], default: 20]
0.48/0.57 c heuristics/feaspump/freq = -1
0.48/0.57 c
0.48/0.57 c # additional number of allowed LP iterations
0.48/0.57 c # [type: int, range: [0,2147483647], default: 1000]
0.48/0.57 c heuristics/feaspump/maxlpiterofs = 2000
0.48/0.57 c
0.48/0.57 c # frequency for calling primal heuristic <fracdiving> (-1: never, 0: only at depth freqofs)
0.48/0.57 c # [type: int, range: [-1,2147483647], default: 10]
0.48/0.57 c heuristics/fracdiving/freq = -1
0.48/0.57 c
0.48/0.57 c # maximal fraction of diving LP iterations compared to node LP iterations
0.48/0.57 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
0.48/0.57 c heuristics/fracdiving/maxlpiterquot = 0.075
0.48/0.57 c
0.48/0.57 c # additional number of allowed LP iterations
0.48/0.57 c # [type: int, range: [0,2147483647], default: 1000]
0.48/0.57 c heuristics/fracdiving/maxlpiterofs = 1500
0.48/0.57 c
0.48/0.57 c # frequency for calling primal heuristic <guideddiving> (-1: never, 0: only at depth freqofs)
0.48/0.57 c # [type: int, range: [-1,2147483647], default: 10]
0.48/0.57 c heuristics/guideddiving/freq = -1
0.48/0.57 c
0.48/0.57 c # maximal fraction of diving LP iterations compared to node LP iterations
0.48/0.57 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
0.48/0.57 c heuristics/guideddiving/maxlpiterquot = 0.075
0.48/0.57 c
0.48/0.57 c # additional number of allowed LP iterations
0.48/0.57 c # [type: int, range: [0,2147483647], default: 1000]
0.48/0.57 c heuristics/guideddiving/maxlpiterofs = 1500
0.48/0.57 c
0.48/0.57 c # maximal fraction of diving LP iterations compared to node LP iterations
0.48/0.57 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
0.48/0.57 c heuristics/intdiving/maxlpiterquot = 0.075
0.48/0.57 c
0.48/0.57 c # frequency for calling primal heuristic <intshifting> (-1: never, 0: only at depth freqofs)
0.48/0.57 c # [type: int, range: [-1,2147483647], default: 10]
0.48/0.57 c heuristics/intshifting/freq = -1
0.48/0.57 c
0.48/0.57 c # frequency for calling primal heuristic <linesearchdiving> (-1: never, 0: only at depth freqofs)
0.48/0.57 c # [type: int, range: [-1,2147483647], default: 10]
0.48/0.57 c heuristics/linesearchdiving/freq = -1
0.48/0.57 c
0.48/0.57 c # maximal fraction of diving LP iterations compared to node LP iterations
0.48/0.57 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
0.48/0.57 c heuristics/linesearchdiving/maxlpiterquot = 0.075
0.48/0.57 c
0.48/0.57 c # additional number of allowed LP iterations
0.48/0.57 c # [type: int, range: [0,2147483647], default: 1000]
0.48/0.57 c heuristics/linesearchdiving/maxlpiterofs = 1500
0.48/0.57 c
0.48/0.57 c # frequency for calling primal heuristic <nlp> (-1: never, 0: only at depth freqofs)
0.48/0.57 c # [type: int, range: [-1,2147483647], default: 1]
0.48/0.57 c heuristics/nlp/freq = -1
0.48/0.57 c
0.48/0.57 c # frequency for calling primal heuristic <objpscostdiving> (-1: never, 0: only at depth freqofs)
0.48/0.57 c # [type: int, range: [-1,2147483647], default: 20]
0.48/0.57 c heuristics/objpscostdiving/freq = -1
0.48/0.57 c
0.48/0.57 c # maximal fraction of diving LP iterations compared to total iteration number
0.48/0.57 c # [type: real, range: [0,1], default: 0.01]
0.48/0.57 c heuristics/objpscostdiving/maxlpiterquot = 0.015
0.48/0.57 c
0.48/0.57 c # additional number of allowed LP iterations
0.48/0.57 c # [type: int, range: [0,2147483647], default: 1000]
0.48/0.57 c heuristics/objpscostdiving/maxlpiterofs = 1500
0.48/0.57 c
0.48/0.57 c # frequency for calling primal heuristic <oneopt> (-1: never, 0: only at depth freqofs)
0.48/0.57 c # [type: int, range: [-1,2147483647], default: 1]
0.48/0.57 c heuristics/oneopt/freq = -1
0.48/0.57 c
0.48/0.57 c # frequency for calling primal heuristic <pscostdiving> (-1: never, 0: only at depth freqofs)
0.48/0.57 c # [type: int, range: [-1,2147483647], default: 10]
0.48/0.57 c heuristics/pscostdiving/freq = -1
0.48/0.57 c
0.48/0.57 c # maximal fraction of diving LP iterations compared to node LP iterations
0.48/0.57 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
0.48/0.57 c heuristics/pscostdiving/maxlpiterquot = 0.075
0.48/0.57 c
0.48/0.57 c # additional number of allowed LP iterations
0.48/0.57 c # [type: int, range: [0,2147483647], default: 1000]
0.48/0.57 c heuristics/pscostdiving/maxlpiterofs = 1500
0.48/0.57 c
0.48/0.57 c # frequency for calling primal heuristic <rens> (-1: never, 0: only at depth freqofs)
0.48/0.57 c # [type: int, range: [-1,2147483647], default: 0]
0.48/0.57 c heuristics/rens/freq = -1
0.48/0.57 c
0.48/0.57 c # minimum percentage of integer variables that have to be fixable
0.48/0.57 c # [type: real, range: [0,1], default: 0.5]
0.48/0.57 c heuristics/rens/minfixingrate = 0.3
0.48/0.57 c
0.48/0.57 c # number of nodes added to the contingent of the total nodes
0.48/0.57 c # [type: longint, range: [0,9223372036854775807], default: 500]
0.48/0.57 c heuristics/rens/nodesofs = 2000
0.48/0.57 c
0.48/0.57 c # frequency for calling primal heuristic <rootsoldiving> (-1: never, 0: only at depth freqofs)
0.48/0.57 c # [type: int, range: [-1,2147483647], default: 20]
0.48/0.57 c heuristics/rootsoldiving/freq = -1
0.48/0.57 c
0.48/0.57 c # maximal fraction of diving LP iterations compared to node LP iterations
0.48/0.57 c # [type: real, range: [0,1.79769313486232e+308], default: 0.01]
0.48/0.57 c heuristics/rootsoldiving/maxlpiterquot = 0.015
0.48/0.57 c
0.48/0.57 c # additional number of allowed LP iterations
0.48/0.57 c # [type: int, range: [0,2147483647], default: 1000]
0.48/0.57 c heuristics/rootsoldiving/maxlpiterofs = 1500
0.48/0.57 c
0.48/0.57 c # frequency for calling primal heuristic <rounding> (-1: never, 0: only at depth freqofs)
0.48/0.57 c # [type: int, range: [-1,2147483647], default: 1]
0.48/0.57 c heuristics/rounding/freq = -1
0.48/0.57 c
0.48/0.57 c # frequency for calling primal heuristic <shifting> (-1: never, 0: only at depth freqofs)
0.48/0.57 c # [type: int, range: [-1,2147483647], default: 10]
0.48/0.57 c heuristics/shifting/freq = -1
0.48/0.57 c
0.48/0.57 c # frequency for calling primal heuristic <simplerounding> (-1: never, 0: only at depth freqofs)
0.48/0.57 c # [type: int, range: [-1,2147483647], default: 1]
0.48/0.57 c heuristics/simplerounding/freq = -1
0.48/0.57 c
0.48/0.57 c # frequency for calling primal heuristic <trivial> (-1: never, 0: only at depth freqofs)
0.48/0.57 c # [type: int, range: [-1,2147483647], default: 0]
0.48/0.57 c heuristics/trivial/freq = -1
0.48/0.57 c
0.48/0.57 c # frequency for calling primal heuristic <trysol> (-1: never, 0: only at depth freqofs)
0.48/0.57 c # [type: int, range: [-1,2147483647], default: 1]
0.48/0.57 c heuristics/trysol/freq = -1
0.48/0.57 c
0.48/0.57 c # frequency for calling primal heuristic <veclendiving> (-1: never, 0: only at depth freqofs)
0.48/0.57 c # [type: int, range: [-1,2147483647], default: 10]
0.48/0.57 c heuristics/veclendiving/freq = -1
0.48/0.57 c
0.48/0.57 c # maximal fraction of diving LP iterations compared to node LP iterations
0.48/0.57 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
0.48/0.57 c heuristics/veclendiving/maxlpiterquot = 0.075
0.48/0.57 c
0.48/0.57 c # additional number of allowed LP iterations
0.48/0.57 c # [type: int, range: [0,2147483647], default: 1000]
0.48/0.57 c heuristics/veclendiving/maxlpiterofs = 1500
0.48/0.57 c
0.48/0.57 c # frequency for calling primal heuristic <zirounding> (-1: never, 0: only at depth freqofs)
0.48/0.57 c # [type: int, range: [-1,2147483647], default: 1]
0.48/0.57 c heuristics/zirounding/freq = -1
0.48/0.57 c
0.48/0.57 c # frequency for calling separator <cmir> (-1: never, 0: only in root node)
0.48/0.57 c # [type: int, range: [-1,2147483647], default: 0]
0.48/0.57 c separating/cmir/freq = -1
0.48/0.57 c
0.48/0.57 c # frequency for calling separator <flowcover> (-1: never, 0: only in root node)
0.48/0.57 c # [type: int, range: [-1,2147483647], default: 0]
0.48/0.57 c separating/flowcover/freq = -1
0.48/0.57 c
0.48/0.57 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
0.48/0.57 c # [type: int, range: [-1,2147483647], default: -1]
0.48/0.57 c separating/rapidlearning/freq = 0
0.48/0.57 c
0.48/0.57 c -----------------------------------------------------------------------------------------------
0.48/0.57 c start solving
0.48/0.57 c
5.98/6.02 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
5.98/6.02 c 5.9s| 1 | 0 | 8913 | - | 52M| 0 | 517 | 14k| 608 | 14k| 608 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
6.60/6.61 c 6.5s| 1 | 0 | 9454 | - | 52M| 0 | 544 | 14k| 608 | 14k| 614 | 6 | 0 | 0 | 0.000000e+00 | -- | Inf
6.99/7.05 c 6.9s| 1 | 0 | 9832 | - | 52M| 0 | 553 | 14k| 608 | 14k| 623 | 15 | 0 | 0 | 0.000000e+00 | -- | Inf
7.29/7.31 c 7.2s| 1 | 0 | 10018 | - | 52M| 0 | 569 | 14k| 608 | 14k| 632 | 24 | 0 | 0 | 0.000000e+00 | -- | Inf
7.49/7.51 c 7.4s| 1 | 0 | 10108 | - | 52M| 0 | 576 | 14k| 608 | 14k| 640 | 32 | 0 | 0 | 0.000000e+00 | -- | Inf
7.69/7.74 c 7.6s| 1 | 0 | 10196 | - | 52M| 0 | 586 | 14k| 608 | 14k| 648 | 40 | 0 | 0 | 0.000000e+00 | -- | Inf
27.78/27.85 c 27.7s| 1 | 2 | 10196 | - | 52M| 0 | 586 | 14k| 608 | 14k| 648 | 40 | 0 | 33 | 0.000000e+00 | -- | Inf
1789.70/1790.03 c
1789.70/1790.03 c SCIP Status : solving was interrupted [time limit reached]
1789.70/1790.03 c Solving Time (sec) : 1789.89
1789.70/1790.03 c Solving Nodes : 5626
1789.70/1790.03 c Primal Bound : +1.00000000000000e+20 (0 solutions)
1789.70/1790.03 c Dual Bound : +0.00000000000000e+00
1789.70/1790.03 c Gap : infinite
1789.70/1790.03 s UNKNOWN
1789.70/1790.03 c SCIP Status : solving was interrupted [time limit reached]
1789.70/1790.03 c Solving Time : 1789.89
1789.70/1790.03 c Original Problem :
1789.70/1790.03 c Problem name : HOME/instance-3728920-1338678623.opb
1789.70/1790.03 c Variables : 14400 (14400 binary, 0 integer, 0 implicit integer, 0 continuous)
1789.70/1790.03 c Constraints : 1088 initial, 1088 maximal
1789.70/1790.03 c Presolved Problem :
1789.70/1790.03 c Problem name : t_HOME/instance-3728920-1338678623.opb
1789.70/1790.03 c Variables : 14400 (14400 binary, 0 integer, 0 implicit integer, 0 continuous)
1789.70/1790.03 c Constraints : 608 initial, 1611 maximal
1789.70/1790.03 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs
1789.70/1790.03 c trivial : 0.00 0 0 0 0 0 0 0 0
1789.70/1790.03 c dualfix : 0.00 0 0 0 0 0 0 0 0
1789.70/1790.03 c boundshift : 0.00 0 0 0 0 0 0 0 0
1789.70/1790.03 c inttobinary : 0.00 0 0 0 0 0 0 0 0
1789.70/1790.03 c implics : 0.00 0 0 0 0 0 0 0 0
1789.70/1790.03 c probing : 0.00 0 0 0 0 0 0 0 0
1789.70/1790.03 c knapsack : 0.12 0 0 0 0 0 0 0 0
1789.70/1790.03 c setppc : 0.04 0 0 0 0 0 0 0 0
1789.70/1790.03 c linear : 0.17 0 0 0 0 0 480 0 0
1789.70/1790.03 c logicor : 0.00 0 0 0 0 0 0 0 0
1789.70/1790.03 c root node : - 0 - - 0 - - - -
1789.70/1790.03 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children
1789.70/1790.03 c integral : 0 0 0 3137 0 26 241 0 0 6052
1789.70/1790.03 c knapsack : 128 5 13722 0 0 15 112772 0 0 0
1789.70/1790.03 c setppc : 480 5 13707 0 0 136 209820 0 0 0
1789.70/1790.03 c logicor : 0+ 0 5887 0 0 27 1773 0 0 0
1789.70/1790.03 c countsols : 0 0 0 0 0 0 0 0 0 0
1789.70/1790.03 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS
1789.70/1790.03 c integral : 654.96 0.00 0.00 654.96 0.00
1789.70/1790.03 c knapsack : 13.72 0.01 13.71 0.00 0.00
1789.70/1790.03 c setppc : 1.90 0.00 1.89 0.00 0.00
1789.70/1790.03 c logicor : 0.34 0.00 0.34 0.00 0.00
1789.70/1790.03 c countsols : 0.00 0.00 0.00 0.00 0.00
1789.70/1790.03 c Propagators : Time Calls Cutoffs DomReds
1789.70/1790.03 c vbounds : 0.00 1 0 0
1789.70/1790.03 c rootredcost : 0.01 0 0 0
1789.70/1790.03 c pseudoobj : 0.00 0 0 0
1789.70/1790.03 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1789.70/1790.03 c propagation : 2.11 178 178 6811 587.5 124 144.8 -
1789.70/1790.03 c infeasible LP : 88.11 2398 82 4914 1871.3 40 153.6 0
1789.70/1790.03 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1789.70/1790.03 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1789.70/1790.03 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 -
1789.70/1790.03 c applied globally : - - - 1888 312.9 - - -
1789.70/1790.03 c applied locally : - - - 0 0.0 - - -
1789.70/1790.03 c Separators : Time Calls Cutoffs DomReds Cuts Conss
1789.70/1790.03 c cut pool : 0.00 4 - - 0 - (maximal pool size: 40)
1789.70/1790.03 c redcost : 1.05 3082 0 0 0 0
1789.70/1790.03 c impliedbounds : 0.00 5 0 0 0 0
1789.70/1790.03 c intobj : 0.00 0 0 0 0 0
1789.70/1790.03 c cgmip : 0.00 0 0 0 0 0
1789.70/1790.03 c gomory : 0.12 5 0 0 0 0
1789.70/1790.03 c strongcg : 0.11 5 0 0 0 0
1789.70/1790.03 c cmir : 0.00 0 0 0 0 0
1789.70/1790.03 c flowcover : 0.00 0 0 0 0 0
1789.70/1790.03 c clique : 0.09 5 0 0 40 0
1789.70/1790.03 c zerohalf : 0.00 0 0 0 0 0
1789.70/1790.03 c mcf : 0.00 1 0 0 0 0
1789.70/1790.03 c rapidlearning : 0.00 0 0 0 0 0
1789.70/1790.03 c Pricers : Time Calls Vars
1789.70/1790.03 c problem variables: 0.00 0 0
1789.70/1790.03 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
1789.70/1790.03 c relpscost : 654.95 3137 26 241 0 0 6052
1789.70/1790.03 c pscost : 0.00 0 0 0 0 0 0
1789.70/1790.03 c inference : 0.00 0 0 0 0 0 0
1789.70/1790.03 c mostinf : 0.00 0 0 0 0 0 0
1789.70/1790.03 c leastinf : 0.00 0 0 0 0 0 0
1789.70/1790.03 c fullstrong : 0.00 0 0 0 0 0 0
1789.70/1790.03 c allfullstrong : 0.00 0 0 0 0 0 0
1789.70/1790.03 c random : 0.00 0 0 0 0 0 0
1789.70/1790.03 c Primal Heuristics : Time Calls Found
1789.70/1790.03 c LP solutions : 0.00 - 0
1789.70/1790.03 c pseudo solutions : 0.00 - 0
1789.70/1790.03 c trivial : 0.01 1 0
1789.70/1790.03 c simplerounding : 0.00 0 0
1789.70/1790.03 c zirounding : 0.00 0 0
1789.70/1790.03 c rounding : 0.00 0 0
1789.70/1790.03 c shifting : 0.00 0 0
1789.70/1790.03 c intshifting : 0.00 0 0
1789.70/1790.03 c oneopt : 0.00 0 0
1789.70/1790.03 c twoopt : 0.00 0 0
1789.70/1790.03 c fixandinfer : 0.00 0 0
1789.70/1790.03 c feaspump : 0.00 0 0
1789.70/1790.03 c coefdiving : 0.00 0 0
1789.70/1790.03 c pscostdiving : 0.00 0 0
1789.70/1790.03 c fracdiving : 0.00 0 0
1789.70/1790.03 c veclendiving : 0.00 0 0
1789.70/1790.03 c intdiving : 0.00 0 0
1789.70/1790.03 c actconsdiving : 0.00 0 0
1789.70/1790.03 c objpscostdiving : 0.00 0 0
1789.70/1790.03 c rootsoldiving : 0.00 0 0
1789.70/1790.03 c linesearchdiving : 0.00 0 0
1789.70/1790.03 c guideddiving : 0.00 0 0
1789.70/1790.03 c octane : 0.00 0 0
1789.70/1790.03 c rens : 0.00 0 0
1789.70/1790.03 c rins : 0.00 0 0
1789.70/1790.03 c localbranching : 0.00 0 0
1789.70/1790.03 c mutation : 0.00 0 0
1789.70/1790.03 c crossover : 0.00 0 0
1789.70/1790.03 c dins : 0.00 0 0
1789.70/1790.03 c undercover : 0.00 0 0
1789.70/1790.03 c nlp : 0.00 0 0
1789.70/1790.03 c trysol : 0.00 0 0
1789.70/1790.03 c LP : Time Calls Iterations Iter/call Iter/sec
1789.70/1790.03 c primal LP : 0.03 0 0 0.00 0.00
1789.70/1790.03 c dual LP : 1020.81 5535 1999926 361.32 1959.15
1789.70/1790.03 c lex dual LP : 0.00 0 0 0.00 -
1789.70/1790.03 c barrier LP : 0.00 0 0 0.00 -
1789.70/1790.03 c diving/probing LP: 0.00 0 0 0.00 -
1789.70/1790.03 c strong branching : 654.67 1677 1118233 666.81 1708.10
1789.70/1790.03 c (at root node) : - 33 15327 464.45 -
1789.70/1790.03 c conflict analysis: 0.00 0 0 0.00 -
1789.70/1790.03 c B&B Tree :
1789.70/1790.03 c number of runs : 1
1789.70/1790.03 c nodes : 5626
1789.70/1790.03 c nodes (total) : 5626
1789.70/1790.03 c nodes left : 425
1789.70/1790.03 c max depth : 92
1789.70/1790.03 c max depth (total): 92
1789.70/1790.03 c backtracks : 791 (14.1%)
1789.70/1790.03 c delayed cutoffs : 2
1789.70/1790.03 c repropagations : 1159 (2699 domain reductions, 2 cutoffs)
1789.70/1790.03 c avg switch length: 3.67
1789.70/1790.03 c switching time : 1.86
1789.70/1790.03 c Solution :
1789.70/1790.03 c Solutions found : 0 (0 improvements)
1789.70/1790.03 c Primal Bound : -
1789.70/1790.03 c Dual Bound : +0.00000000000000e+00
1789.70/1790.03 c Gap : infinite
1789.70/1790.03 c Root Dual Bound : +0.00000000000000e+00
1789.70/1790.03 c Root Iterations : 10196
1789.80/1790.12 c Time complete: 1789.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-3728920-1338678623/watcher-3728920-1338678623 -o /tmp/evaluation-result-3728920-1338678623/solver-3728920-1338678623 -C 1800 -W 1900 -M 15500 HOME/pbscip.linux.x86_64.gnu.opt.spx -f HOME/instance-3728920-1338678623.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: 0.07 0.02 0.23 4/176 25813
/proc/meminfo: memFree=31658160/32873844 swapFree=7116/7116
[pid=25813] ppid=25811 vsize=10220 CPUtime=0 cores=1,3,5,7
/proc/25813/stat : 25813 (pbscip.linux.x8) R 25811 25813 25766 0 -1 4202496 1818 0 0 0 0 0 0 0 20 0 1 0 333990871 10465280 1765 33554432000 4194304 8395647 140737073042800 140735682210008 6347101 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/25813/statm: 2555 1768 388 1026 0 1525 0
[startup+0.021216 s]
/proc/loadavg: 0.07 0.02 0.23 4/176 25813
/proc/meminfo: memFree=31658160/32873844 swapFree=7116/7116
[pid=25813] ppid=25811 vsize=15332 CPUtime=0.01 cores=1,3,5,7
/proc/25813/stat : 25813 (pbscip.linux.x8) R 25811 25813 25766 0 -1 4202496 3075 0 0 0 1 0 0 0 20 0 1 0 333990871 15699968 3021 33554432000 4194304 8395647 140737073042800 140735682210008 7365088 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/25813/statm: 3833 3021 390 1026 0 2803 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 15332
[startup+0.100295 s]
/proc/loadavg: 0.07 0.02 0.23 4/176 25813
/proc/meminfo: memFree=31658160/32873844 swapFree=7116/7116
[pid=25813] ppid=25811 vsize=22720 CPUtime=0.09 cores=1,3,5,7
/proc/25813/stat : 25813 (pbscip.linux.x8) R 25811 25813 25766 0 -1 4202496 4919 0 0 0 9 0 0 0 20 0 1 0 333990871 23265280 4865 33554432000 4194304 8395647 140737073042800 140735682210008 7430272 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/25813/statm: 5680 4865 390 1026 0 4650 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 22720
[startup+0.300323 s]
/proc/loadavg: 0.07 0.02 0.23 4/176 25813
/proc/meminfo: memFree=31658160/32873844 swapFree=7116/7116
[pid=25813] ppid=25811 vsize=56464 CPUtime=0.29 cores=1,3,5,7
/proc/25813/stat : 25813 (pbscip.linux.x8) R 25811 25813 25766 0 -1 4202496 13448 0 0 0 28 1 0 0 20 0 1 0 333990871 57819136 13040 33554432000 4194304 8395647 140737073042800 140735682210008 5019544 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/25813/statm: 14116 13040 460 1026 0 13086 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 56464
[startup+0.700297 s]
/proc/loadavg: 0.07 0.02 0.23 4/176 25813
/proc/meminfo: memFree=31658160/32873844 swapFree=7116/7116
[pid=25813] ppid=25811 vsize=84932 CPUtime=0.68 cores=1,3,5,7
/proc/25813/stat : 25813 (pbscip.linux.x8) R 25811 25813 25766 0 -1 4202496 21269 0 0 0 66 2 0 0 20 0 1 0 333990871 86970368 19963 33554432000 4194304 8395647 140737073042800 140735682210008 7428202 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/25813/statm: 21233 19963 556 1026 0 20203 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 84932
[startup+1.50024 s]
/proc/loadavg: 0.07 0.02 0.23 4/178 25815
/proc/meminfo: memFree=31481820/32873844 swapFree=7116/7116
[pid=25813] ppid=25811 vsize=87244 CPUtime=1.49 cores=1,3,5,7
/proc/25813/stat : 25813 (pbscip.linux.x8) R 25811 25813 25766 0 -1 4202496 21890 0 0 0 146 3 0 0 20 0 1 0 333990871 89337856 20584 33554432000 4194304 8395647 140737073042800 140737073038360 7428202 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/25813/statm: 21811 20584 560 1026 0 20781 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 87244
[startup+3.10023 s]
/proc/loadavg: 0.07 0.02 0.23 4/178 25815
/proc/meminfo: memFree=31451560/32873844 swapFree=7116/7116
[pid=25813] ppid=25811 vsize=88120 CPUtime=3.09 cores=1,3,5,7
/proc/25813/stat : 25813 (pbscip.linux.x8) R 25811 25813 25766 0 -1 4202496 22090 0 0 0 306 3 0 0 20 0 1 0 333990871 90234880 20784 33554432000 4194304 8395647 140737073042800 140737073037928 7428202 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/25813/statm: 22030 20784 560 1026 0 21000 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 88120
[startup+6.30023 s]
/proc/loadavg: 0.23 0.05 0.24 4/178 25815
/proc/meminfo: memFree=31449576/32873844 swapFree=7116/7116
[pid=25813] ppid=25811 vsize=90192 CPUtime=6.29 cores=1,3,5,7
/proc/25813/stat : 25813 (pbscip.linux.x8) R 25811 25813 25766 0 -1 4202496 22616 0 0 0 624 5 0 0 20 0 1 0 333990871 92356608 21310 33554432000 4194304 8395647 140737073042800 140737073038360 7428202 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/25813/statm: 22548 21310 591 1026 0 21518 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 90192
[startup+12.7002 s]
/proc/loadavg: 0.37 0.08 0.25 4/178 25815
/proc/meminfo: memFree=31445608/32873844 swapFree=7116/7116
[pid=25813] ppid=25811 vsize=92232 CPUtime=12.69 cores=1,3,5,7
/proc/25813/stat : 25813 (pbscip.linux.x8) R 25811 25813 25766 0 -1 4202496 23234 0 0 0 1263 6 0 0 20 0 1 0 333990871 94445568 21886 33554432000 4194304 8395647 140737073042800 140737073037672 6741205 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/25813/statm: 23058 21886 595 1026 0 22028 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 92232
[startup+25.5003 s]
/proc/loadavg: 0.73 0.17 0.27 4/178 25815
/proc/meminfo: memFree=31446360/32873844 swapFree=7116/7116
[pid=25813] ppid=25811 vsize=92232 CPUtime=25.48 cores=1,3,5,7
/proc/25813/stat : 25813 (pbscip.linux.x8) R 25811 25813 25766 0 -1 4202496 23235 0 0 0 2541 7 0 0 20 0 1 0 333990871 94445568 21887 33554432000 4194304 8395647 140737073042800 140737073038104 7428202 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/25813/statm: 23058 21887 595 1026 0 22028 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 92232
[startup+51.1003 s]
/proc/loadavg: 1.16 0.32 0.32 4/177 25815
/proc/meminfo: memFree=31438260/32873844 swapFree=7116/7116
[pid=25813] ppid=25811 vsize=92404 CPUtime=51.08 cores=1,3,5,7
/proc/25813/stat : 25813 (pbscip.linux.x8) R 25811 25813 25766 0 -1 4202496 23290 0 0 0 5098 10 0 0 20 0 1 0 333990871 94621696 21942 33554432000 4194304 8395647 140737073042800 140737073037400 7428202 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/25813/statm: 23101 21942 598 1026 0 22071 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 92404
[startup+102.307 s]
/proc/loadavg: 1.63 0.58 0.40 4/177 25815
/proc/meminfo: memFree=31434772/32873844 swapFree=7116/7116
[pid=25813] ppid=25811 vsize=92848 CPUtime=102.28 cores=1,3,5,7
/proc/25813/stat : 25813 (pbscip.linux.x8) R 25811 25813 25766 0 -1 4202496 23407 0 0 0 10211 17 0 0 20 0 1 0 333990871 95076352 22394 33554432000 4194304 8395647 140737073042800 140737073038360 7428202 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/25813/statm: 23212 22394 598 1026 0 22182 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 92848
[startup+162.3 s]
/proc/loadavg: 1.86 0.83 0.50 4/177 25815
/proc/meminfo: memFree=31432376/32873844 swapFree=7116/7116
[pid=25813] ppid=25811 vsize=94964 CPUtime=162.26 cores=1,3,5,7
/proc/25813/stat : 25813 (pbscip.linux.x8) R 25811 25813 25766 0 -1 4202496 23941 0 0 0 16198 28 0 0 20 0 1 0 333990871 97243136 22983 33554432000 4194304 8395647 140737073042800 140737073038360 7428202 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/25813/statm: 23741 22983 598 1026 0 22711 0
Current children cumulated CPU time (s) 162.26
Current children cumulated vsize (KiB) 94964
[startup+222.3 s]
/proc/loadavg: 1.95 1.04 0.59 4/177 25815
/proc/meminfo: memFree=31425680/32873844 swapFree=7116/7116
[pid=25813] ppid=25811 vsize=101136 CPUtime=222.25 cores=1,3,5,7
/proc/25813/stat : 25813 (pbscip.linux.x8) R 25811 25813 25766 0 -1 4202496 25518 0 0 0 22187 38 0 0 20 0 1 0 333990871 103563264 24560 33554432000 4194304 8395647 140737073042800 140737073037208 7428202 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/25813/statm: 25284 24560 605 1026 0 24254 0
Current children cumulated CPU time (s) 222.25
Current children cumulated vsize (KiB) 101136
[startup+282.3 s]
/proc/loadavg: 1.98 1.21 0.68 4/177 25815
/proc/meminfo: memFree=31425424/32873844 swapFree=7116/7116
[pid=25813] ppid=25811 vsize=101600 CPUtime=282.24 cores=1,3,5,7
/proc/25813/stat : 25813 (pbscip.linux.x8) R 25811 25813 25766 0 -1 4202496 25594 0 0 0 28173 51 0 0 20 0 1 0 333990871 104038400 24632 33554432000 4194304 8395647 140737073042800 140737073037672 7428202 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/25813/statm: 25400 24632 606 1026 0 24370 0
Current children cumulated CPU time (s) 282.24
Current children cumulated vsize (KiB) 101600
[startup+342.3 s]
/proc/loadavg: 2.06 1.38 0.77 4/177 25816
/proc/meminfo: memFree=31423128/32873844 swapFree=7116/7116
[pid=25813] ppid=25811 vsize=103364 CPUtime=342.22 cores=1,3,5,7
/proc/25813/stat : 25813 (pbscip.linux.x8) R 25811 25813 25766 0 -1 4202496 26079 0 0 0 34155 67 0 0 20 0 1 0 333990871 105844736 25117 33554432000 4194304 8395647 140737073042800 140737073038360 7428202 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/25813/statm: 25841 25117 606 1026 0 24811 0
Current children cumulated CPU time (s) 342.22
Current children cumulated vsize (KiB) 103364
[startup+402.3 s]
/proc/loadavg: 2.02 1.49 0.84 4/177 25816
/proc/meminfo: memFree=31416300/32873844 swapFree=7116/7116
[pid=25813] ppid=25811 vsize=107924 CPUtime=402.22 cores=1,3,5,7
/proc/25813/stat : 25813 (pbscip.linux.x8) R 25811 25813 25766 0 -1 4202496 27219 0 0 0 40138 84 0 0 20 0 1 0 333990871 110514176 26267 33554432000 4194304 8395647 140737073042800 140737073038264 7428202 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/25813/statm: 26981 26267 606 1026 0 25951 0
Current children cumulated CPU time (s) 402.22
Current children cumulated vsize (KiB) 107924
[startup+462.3 s]
/proc/loadavg: 2.01 1.58 0.91 4/177 25816
/proc/meminfo: memFree=31406812/32873844 swapFree=7116/7116
[pid=25813] ppid=25811 vsize=114684 CPUtime=462.21 cores=1,3,5,7
/proc/25813/stat : 25813 (pbscip.linux.x8) R 25811 25813 25766 0 -1 4202496 28888 0 0 0 46122 99 0 0 20 0 1 0 333990871 117436416 27936 33554432000 4194304 8395647 140737073042800 140737073038360 7428202 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/25813/statm: 28671 27936 606 1026 0 27641 0
Current children cumulated CPU time (s) 462.21
Current children cumulated vsize (KiB) 114684
[startup+522.3 s]
/proc/loadavg: 2.00 1.66 0.98 4/177 25816
/proc/meminfo: memFree=31397448/32873844 swapFree=7116/7116
[pid=25813] ppid=25811 vsize=122140 CPUtime=522.2 cores=1,3,5,7
/proc/25813/stat : 25813 (pbscip.linux.x8) R 25811 25813 25766 0 -1 4202496 30712 0 0 0 52105 115 0 0 20 0 1 0 333990871 125071360 29760 33554432000 4194304 8395647 140737073042800 140737073038104 7428202 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/25813/statm: 30535 29760 606 1026 0 29505 0
Current children cumulated CPU time (s) 522.2
Current children cumulated vsize (KiB) 122140
[startup+582.3 s]
/proc/loadavg: 2.00 1.71 1.04 4/178 25819
/proc/meminfo: memFree=31391016/32873844 swapFree=7116/7116
[pid=25813] ppid=25811 vsize=124692 CPUtime=582.19 cores=1,3,5,7
/proc/25813/stat : 25813 (pbscip.linux.x8) R 25811 25813 25766 0 -1 4202496 31391 0 0 0 58088 131 0 0 20 0 1 0 333990871 127684608 30462 33554432000 4194304 8395647 140737073042800 140737073038360 7428202 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/25813/statm: 31173 30462 606 1026 0 30143 0
Current children cumulated CPU time (s) 582.19
Current children cumulated vsize (KiB) 124692
[startup+642.3 s]
################
# More data... #
################
/proc/meminfo: memFree=31366036/32873844 swapFree=7116/7116
[pid=25813] ppid=25811 vsize=144356 CPUtime=1002.12 cores=1,3,5,7
/proc/25813/stat : 25813 (pbscip.linux.x8) R 25811 25813 25766 0 -1 4202496 36346 0 0 0 99988 224 0 0 20 0 1 0 333990871 147820544 35419 33554432000 4194304 8395647 140737073042800 140737073038104 7428202 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/25813/statm: 36089 35419 704 1026 0 35059 0
Current children cumulated CPU time (s) 1002.12
Current children cumulated vsize (KiB) 144356
[startup+1062.3 s]
/proc/loadavg: 2.00 1.93 1.41 4/177 25822
/proc/meminfo: memFree=31364916/32873844 swapFree=7116/7116
[pid=25813] ppid=25811 vsize=145220 CPUtime=1062.12 cores=1,3,5,7
/proc/25813/stat : 25813 (pbscip.linux.x8) R 25811 25813 25766 0 -1 4202496 36609 0 0 0 105975 237 0 0 20 0 1 0 333990871 148705280 35681 33554432000 4194304 8395647 140737073042800 140737073038360 7428202 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/25813/statm: 36305 35681 704 1026 0 35275 0
Current children cumulated CPU time (s) 1062.12
Current children cumulated vsize (KiB) 145220
[startup+1122.3 s]
/proc/loadavg: 2.00 1.94 1.44 4/177 25822
/proc/meminfo: memFree=31361504/32873844 swapFree=7116/7116
[pid=25813] ppid=25811 vsize=145624 CPUtime=1122.1 cores=1,3,5,7
/proc/25813/stat : 25813 (pbscip.linux.x8) R 25811 25813 25766 0 -1 4202496 36733 0 0 0 111960 250 0 0 20 0 1 0 333990871 149118976 35805 33554432000 4194304 8395647 140737073042800 140737073038104 7428202 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/25813/statm: 36406 35805 704 1026 0 35376 0
Current children cumulated CPU time (s) 1122.1
Current children cumulated vsize (KiB) 145624
[startup+1182.3 s]
/proc/loadavg: 2.00 1.95 1.47 4/178 25825
/proc/meminfo: memFree=31360604/32873844 swapFree=7116/7116
[pid=25813] ppid=25811 vsize=147044 CPUtime=1182.09 cores=1,3,5,7
/proc/25813/stat : 25813 (pbscip.linux.x8) R 25811 25813 25766 0 -1 4202496 37000 0 0 0 117945 264 0 0 20 0 1 0 333990871 150573056 36072 33554432000 4194304 8395647 140737073042800 140737073038360 7428202 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/25813/statm: 36761 36072 704 1026 0 35731 0
Current children cumulated CPU time (s) 1182.09
Current children cumulated vsize (KiB) 147044
[startup+1242.3 s]
/proc/loadavg: 2.00 1.95 1.50 4/177 25826
/proc/meminfo: memFree=31354124/32873844 swapFree=7116/7116
[pid=25813] ppid=25811 vsize=147344 CPUtime=1242.08 cores=1,3,5,7
/proc/25813/stat : 25813 (pbscip.linux.x8) R 25811 25813 25766 0 -1 4202496 37138 0 0 0 123932 276 0 0 20 0 1 0 333990871 150880256 36209 33554432000 4194304 8395647 140737073042800 140737073037928 6019950 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/25813/statm: 36836 36209 704 1026 0 35806 0
Current children cumulated CPU time (s) 1242.08
Current children cumulated vsize (KiB) 147344
[startup+1302.3 s]
/proc/loadavg: 2.00 1.96 1.53 4/177 25826
/proc/meminfo: memFree=31348224/32873844 swapFree=7116/7116
[pid=25813] ppid=25811 vsize=147824 CPUtime=1302.08 cores=1,3,5,7
/proc/25813/stat : 25813 (pbscip.linux.x8) R 25811 25813 25766 0 -1 4202496 37287 0 0 0 129915 293 0 0 20 0 1 0 333990871 151371776 36358 33554432000 4194304 8395647 140737073042800 140737073038408 7428202 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/25813/statm: 36956 36358 704 1026 0 35926 0
Current children cumulated CPU time (s) 1302.08
Current children cumulated vsize (KiB) 147824
[startup+1362.3 s]
/proc/loadavg: 2.04 1.98 1.56 4/177 25826
/proc/meminfo: memFree=31345744/32873844 swapFree=7116/7116
[pid=25813] ppid=25811 vsize=148656 CPUtime=1362.07 cores=1,3,5,7
/proc/25813/stat : 25813 (pbscip.linux.x8) R 25811 25813 25766 0 -1 4202496 37437 0 0 0 135901 306 0 0 20 0 1 0 333990871 152223744 36508 33554432000 4194304 8395647 140737073042800 140737073038360 7428202 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/25813/statm: 37164 36508 704 1026 0 36134 0
Current children cumulated CPU time (s) 1362.07
Current children cumulated vsize (KiB) 148656
[startup+1422.31 s]
/proc/loadavg: 2.01 1.98 1.59 4/177 25826
/proc/meminfo: memFree=31344192/32873844 swapFree=7116/7116
[pid=25813] ppid=25811 vsize=149624 CPUtime=1422.06 cores=1,3,5,7
/proc/25813/stat : 25813 (pbscip.linux.x8) R 25811 25813 25766 0 -1 4202496 37718 0 0 0 141888 318 0 0 20 0 1 0 333990871 153214976 36788 33554432000 4194304 8395647 140737073042800 140737073038360 7428202 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/25813/statm: 37406 36788 704 1026 0 36376 0
Current children cumulated CPU time (s) 1422.06
Current children cumulated vsize (KiB) 149624
[startup+1482.3 s]
/proc/loadavg: 2.00 1.98 1.61 4/177 25826
/proc/meminfo: memFree=31343320/32873844 swapFree=7116/7116
[pid=25813] ppid=25811 vsize=150348 CPUtime=1482.05 cores=1,3,5,7
/proc/25813/stat : 25813 (pbscip.linux.x8) R 25811 25813 25766 0 -1 4202496 37881 0 0 0 147873 332 0 0 20 0 1 0 333990871 153956352 36951 33554432000 4194304 8395647 140737073042800 140737073038312 7428202 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/25813/statm: 37587 36951 704 1026 0 36557 0
Current children cumulated CPU time (s) 1482.05
Current children cumulated vsize (KiB) 150348
[startup+1542.3 s]
/proc/loadavg: 2.00 1.98 1.63 4/177 25827
/proc/meminfo: memFree=31341584/32873844 swapFree=7116/7116
[pid=25813] ppid=25811 vsize=150844 CPUtime=1542.04 cores=1,3,5,7
/proc/25813/stat : 25813 (pbscip.linux.x8) R 25811 25813 25766 0 -1 4202496 37991 0 0 0 153855 349 0 0 20 0 1 0 333990871 154464256 37061 33554432000 4194304 8395647 140737073042800 140737073038104 7428202 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/25813/statm: 37711 37061 704 1026 0 36681 0
Current children cumulated CPU time (s) 1542.04
Current children cumulated vsize (KiB) 150844
[startup+1602.3 s]
/proc/loadavg: 2.00 1.98 1.65 4/177 25827
/proc/meminfo: memFree=31339348/32873844 swapFree=7116/7116
[pid=25813] ppid=25811 vsize=151592 CPUtime=1602.02 cores=1,3,5,7
/proc/25813/stat : 25813 (pbscip.linux.x8) R 25811 25813 25766 0 -1 4202496 38188 0 0 0 159838 364 0 0 20 0 1 0 333990871 155230208 37258 33554432000 4194304 8395647 140737073042800 140737073038104 7428202 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/25813/statm: 37898 37258 704 1026 0 36868 0
Current children cumulated CPU time (s) 1602.02
Current children cumulated vsize (KiB) 151592
[startup+1662.3 s]
/proc/loadavg: 2.00 1.98 1.67 4/177 25827
/proc/meminfo: memFree=31338972/32873844 swapFree=7116/7116
[pid=25813] ppid=25811 vsize=151868 CPUtime=1662.02 cores=1,3,5,7
/proc/25813/stat : 25813 (pbscip.linux.x8) R 25811 25813 25766 0 -1 4202496 38232 0 0 0 165822 380 0 0 20 0 1 0 333990871 155512832 37302 33554432000 4194304 8395647 140737073042800 140737073038056 7428202 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/25813/statm: 37967 37302 704 1026 0 36937 0
Current children cumulated CPU time (s) 1662.02
Current children cumulated vsize (KiB) 151868
[startup+1722.3 s]
/proc/loadavg: 2.00 1.98 1.69 4/177 25827
/proc/meminfo: memFree=31338476/32873844 swapFree=7116/7116
[pid=25813] ppid=25811 vsize=152404 CPUtime=1722.01 cores=1,3,5,7
/proc/25813/stat : 25813 (pbscip.linux.x8) R 25811 25813 25766 0 -1 4202496 38379 0 0 0 171804 397 0 0 20 0 1 0 333990871 156061696 37449 33554432000 4194304 8395647 140737073042800 140737073038104 7428202 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/25813/statm: 38101 37449 704 1026 0 37071 0
Current children cumulated CPU time (s) 1722.01
Current children cumulated vsize (KiB) 152404
[startup+1782.3 s]
/proc/loadavg: 2.00 1.98 1.70 4/178 25830
/proc/meminfo: memFree=31331616/32873844 swapFree=7116/7116
[pid=25813] ppid=25811 vsize=153196 CPUtime=1782 cores=1,3,5,7
/proc/25813/stat : 25813 (pbscip.linux.x8) R 25811 25813 25766 0 -1 4202496 38559 0 0 0 177787 413 0 0 20 0 1 0 333990871 156872704 37629 33554432000 4194304 8395647 140737073042800 140737073038360 7428202 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/25813/statm: 38299 37629 704 1026 0 37269 0
Current children cumulated CPU time (s) 1782
Current children cumulated vsize (KiB) 153196
Solver just ended. Dumping a history of the last processes samples
[startup+1785.5 s]
/proc/loadavg: 2.00 1.98 1.71 4/178 25830
/proc/meminfo: memFree=31331244/32873844 swapFree=7116/7116
[pid=25813] ppid=25811 vsize=153196 CPUtime=1785.2 cores=1,3,5,7
/proc/25813/stat : 25813 (pbscip.linux.x8) R 25811 25813 25766 0 -1 4202496 38559 0 0 0 178106 414 0 0 20 0 1 0 333990871 156872704 37629 33554432000 4194304 8395647 140737073042800 140737073038104 7428202 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/25813/statm: 38299 37629 704 1026 0 37269 0
Current children cumulated CPU time (s) 1785.2
Current children cumulated vsize (KiB) 153196
[startup+1788.7 s]
/proc/loadavg: 2.00 1.98 1.71 4/178 25830
/proc/meminfo: memFree=31331632/32873844 swapFree=7116/7116
[pid=25813] ppid=25811 vsize=153196 CPUtime=1788.4 cores=1,3,5,7
/proc/25813/stat : 25813 (pbscip.linux.x8) R 25811 25813 25766 0 -1 4202496 38559 0 0 0 178425 415 0 0 20 0 1 0 333990871 156872704 37629 33554432000 4194304 8395647 140737073042800 140737073038360 7428202 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/25813/statm: 38299 37629 704 1026 0 37269 0
Current children cumulated CPU time (s) 1788.4
Current children cumulated vsize (KiB) 153196
[startup+1789.5 s]
/proc/loadavg: 2.00 1.98 1.71 4/178 25830
/proc/meminfo: memFree=31331632/32873844 swapFree=7116/7116
[pid=25813] ppid=25811 vsize=153196 CPUtime=1789.2 cores=1,3,5,7
/proc/25813/stat : 25813 (pbscip.linux.x8) R 25811 25813 25766 0 -1 4202496 38559 0 0 0 178505 415 0 0 20 0 1 0 333990871 156872704 37629 33554432000 4194304 8395647 140737073042800 140737073038360 7428202 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/25813/statm: 38299 37629 704 1026 0 37269 0
Current children cumulated CPU time (s) 1789.2
Current children cumulated vsize (KiB) 153196
[startup+1789.9 s]
/proc/loadavg: 2.00 1.98 1.71 4/178 25830
/proc/meminfo: memFree=31331632/32873844 swapFree=7116/7116
[pid=25813] ppid=25811 vsize=153196 CPUtime=1789.6 cores=1,3,5,7
/proc/25813/stat : 25813 (pbscip.linux.x8) R 25811 25813 25766 0 -1 4202496 38559 0 0 0 178545 415 0 0 20 0 1 0 333990871 156872704 37629 33554432000 4194304 8395647 140737073042800 140737073038360 7428202 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/25813/statm: 38299 37629 704 1026 0 37269 0
Current children cumulated CPU time (s) 1789.6
Current children cumulated vsize (KiB) 153196
[startup+1790.1 s]
/proc/loadavg: 2.00 1.98 1.71 4/178 25830
/proc/meminfo: memFree=31331632/32873844 swapFree=7116/7116
[pid=25813] ppid=25811 vsize=153196 CPUtime=1789.8 cores=1,3,5,7
/proc/25813/stat : 25813 (pbscip.linux.x8) R 25811 25813 25766 0 -1 4202496 38566 0 0 0 178565 415 0 0 20 0 1 0 333990871 156872704 37636 33554432000 4194304 8395647 140737073042800 140737073038360 4750032 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/25813/statm: 38299 37636 711 1026 0 37269 0
Current children cumulated CPU time (s) 1789.8
Current children cumulated vsize (KiB) 153196
Child status: 0
Real time (s): 1790.12
CPU time (s): 1789.83
CPU user time (s): 1785.68
CPU system time (s): 4.15637
CPU usage (%): 99.9838
Max. virtual memory (cumulated for all children) (KiB): 153196
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1785.68
system time used= 4.15637
maximum resident set size= 150544
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 38571
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 32
involuntary context switches= 1857
runsolver used 2.93555 second user time and 8.45871 second system time
The end