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-3729063-1338678629.opb>
0.00/0.01 c original problem has 266 variables (266 bin, 0 int, 0 impl, 0 cont) and 573 constraints
0.00/0.01 c problem read
0.00/0.01 c No objective function, only one solution is needed.
0.00/0.01 c presolving settings loaded
0.00/0.01 c presolving:
0.00/0.01 c (round 1) 3 del vars, 1 del conss, 1 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 302 impls, 0 clqs
0.00/0.02 c (round 2) 14 del vars, 18 del conss, 12 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 302 impls, 0 clqs
0.00/0.02 c (round 3) 14 del vars, 29 del conss, 12 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 302 impls, 0 clqs
0.00/0.02 c (round 4) 14 del vars, 29 del conss, 12 chg bounds, 0 chg sides, 0 chg coeffs, 544 upgd conss, 302 impls, 0 clqs
0.00/0.03 c (round 5) 20 del vars, 29 del conss, 12 chg bounds, 0 chg sides, 0 chg coeffs, 544 upgd conss, 6476 impls, 6 clqs
0.00/0.03 c (round 6) 20 del vars, 35 del conss, 12 chg bounds, 0 chg sides, 0 chg coeffs, 544 upgd conss, 6476 impls, 6 clqs
0.00/0.03 c (round 7) 20 del vars, 37 del conss, 12 chg bounds, 0 chg sides, 0 chg coeffs, 544 upgd conss, 6476 impls, 6 clqs
0.00/0.03 c presolving (8 rounds):
0.00/0.03 c 20 deleted vars, 37 deleted constraints, 12 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
0.00/0.03 c 6476 implications, 6 cliques
0.00/0.03 c presolved problem has 246 variables (246 bin, 0 int, 0 impl, 0 cont) and 536 constraints
0.00/0.03 c 162 constraints of type <knapsack>
0.00/0.03 c 117 constraints of type <setppc>
0.00/0.03 c 257 constraints of type <logicor>
0.00/0.03 c transformed objective value is always integral (scale: 1)
0.00/0.03 c Presolving Time: 0.02
0.00/0.03 c - non default parameters ----------------------------------------------------------------------
0.00/0.03 c # SCIP version 1.2.1.3
0.00/0.03 c
0.00/0.03 c # frequency for displaying node information lines
0.00/0.03 c # [type: int, range: [-1,2147483647], default: 100]
0.00/0.03 c display/freq = 10000
0.00/0.03 c
0.00/0.03 c # maximal time in seconds to run
0.00/0.03 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.00/0.03 c limits/time = 1789.99
0.00/0.03 c
0.00/0.03 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.00/0.03 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.00/0.03 c limits/memory = 13950
0.00/0.03 c
0.00/0.03 c # solving stops, if the given number of solutions were found (-1: no limit)
0.00/0.03 c # [type: int, range: [-1,2147483647], default: -1]
0.00/0.03 c limits/solutions = 1
0.00/0.03 c
0.00/0.03 c # maximal number of separation rounds per node (-1: unlimited)
0.00/0.03 c # [type: int, range: [-1,2147483647], default: 5]
0.00/0.03 c separating/maxrounds = 1
0.00/0.03 c
0.00/0.03 c # maximal number of separation rounds in the root node (-1: unlimited)
0.00/0.03 c # [type: int, range: [-1,2147483647], default: -1]
0.00/0.03 c separating/maxroundsroot = 5
0.00/0.03 c
0.00/0.03 c # default clock type (1: CPU user seconds, 2: wall clock time)
0.00/0.03 c # [type: int, range: [1,2], default: 1]
0.00/0.03 c timing/clocktype = 2
0.00/0.03 c
0.00/0.03 c # should presolving try to simplify inequalities
0.00/0.03 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.00/0.03 c constraints/linear/simplifyinequalities = TRUE
0.00/0.03 c
0.00/0.03 c # add initial coupling inequalities as linear constraints, if 'addCoupling' is true
0.00/0.03 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.00/0.03 c constraints/indicator/addCouplingCons = TRUE
0.00/0.03 c
0.00/0.03 c # should disaggregation of knapsack constraints be allowed in preprocessing?
0.00/0.03 c # [type: bool, range: {TRUE,FALSE}, default: TRUE]
0.00/0.03 c constraints/knapsack/disaggregation = FALSE
0.00/0.03 c
0.00/0.03 c # should presolving try to simplify knapsacks
0.00/0.03 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.00/0.03 c constraints/knapsack/simplifyinequalities = TRUE
0.00/0.03 c
0.00/0.03 c # maximal number of presolving rounds the presolver participates in (-1: no limit)
0.00/0.03 c # [type: int, range: [-1,2147483647], default: -1]
0.00/0.03 c presolving/probing/maxrounds = 0
0.00/0.03 c
0.00/0.03 c # frequency for calling primal heuristic <coefdiving> (-1: never, 0: only at depth freqofs)
0.00/0.03 c # [type: int, range: [-1,2147483647], default: 10]
0.00/0.03 c heuristics/coefdiving/freq = -1
0.00/0.03 c
0.00/0.03 c # maximal fraction of diving LP iterations compared to node LP iterations
0.00/0.03 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
0.00/0.03 c heuristics/coefdiving/maxlpiterquot = 0.075
0.00/0.03 c
0.00/0.03 c # additional number of allowed LP iterations
0.00/0.03 c # [type: int, range: [0,2147483647], default: 1000]
0.00/0.03 c heuristics/coefdiving/maxlpiterofs = 1500
0.00/0.03 c
0.00/0.03 c # frequency for calling primal heuristic <crossover> (-1: never, 0: only at depth freqofs)
0.00/0.03 c # [type: int, range: [-1,2147483647], default: 30]
0.00/0.03 c heuristics/crossover/freq = -1
0.00/0.03 c
0.00/0.03 c # number of nodes added to the contingent of the total nodes
0.00/0.03 c # [type: longint, range: [0,9223372036854775807], default: 500]
0.00/0.03 c heuristics/crossover/nodesofs = 750
0.00/0.03 c
0.00/0.03 c # number of nodes without incumbent change that heuristic should wait
0.00/0.03 c # [type: longint, range: [0,9223372036854775807], default: 200]
0.00/0.03 c heuristics/crossover/nwaitingnodes = 100
0.00/0.03 c
0.00/0.03 c # contingent of sub problem nodes in relation to the number of nodes of the original problem
0.00/0.03 c # [type: real, range: [0,1], default: 0.1]
0.00/0.03 c heuristics/crossover/nodesquot = 0.15
0.00/0.03 c
0.00/0.03 c # minimum percentage of integer variables that have to be fixed
0.00/0.03 c # [type: real, range: [0,1], default: 0.666]
0.00/0.03 c heuristics/crossover/minfixingrate = 0.5
0.00/0.03 c
0.00/0.03 c # frequency for calling primal heuristic <feaspump> (-1: never, 0: only at depth freqofs)
0.00/0.03 c # [type: int, range: [-1,2147483647], default: 20]
0.00/0.03 c heuristics/feaspump/freq = -1
0.00/0.03 c
0.00/0.03 c # additional number of allowed LP iterations
0.00/0.03 c # [type: int, range: [0,2147483647], default: 1000]
0.00/0.03 c heuristics/feaspump/maxlpiterofs = 2000
0.00/0.03 c
0.00/0.03 c # frequency for calling primal heuristic <fracdiving> (-1: never, 0: only at depth freqofs)
0.00/0.03 c # [type: int, range: [-1,2147483647], default: 10]
0.00/0.03 c heuristics/fracdiving/freq = -1
0.00/0.03 c
0.00/0.03 c # maximal fraction of diving LP iterations compared to node LP iterations
0.00/0.03 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
0.00/0.03 c heuristics/fracdiving/maxlpiterquot = 0.075
0.00/0.03 c
0.00/0.03 c # additional number of allowed LP iterations
0.00/0.03 c # [type: int, range: [0,2147483647], default: 1000]
0.00/0.03 c heuristics/fracdiving/maxlpiterofs = 1500
0.00/0.03 c
0.00/0.03 c # frequency for calling primal heuristic <guideddiving> (-1: never, 0: only at depth freqofs)
0.00/0.03 c # [type: int, range: [-1,2147483647], default: 10]
0.00/0.03 c heuristics/guideddiving/freq = -1
0.00/0.03 c
0.00/0.03 c # maximal fraction of diving LP iterations compared to node LP iterations
0.00/0.03 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
0.00/0.03 c heuristics/guideddiving/maxlpiterquot = 0.075
0.00/0.03 c
0.00/0.03 c # additional number of allowed LP iterations
0.00/0.03 c # [type: int, range: [0,2147483647], default: 1000]
0.00/0.03 c heuristics/guideddiving/maxlpiterofs = 1500
0.00/0.03 c
0.00/0.03 c # maximal fraction of diving LP iterations compared to node LP iterations
0.00/0.03 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
0.00/0.03 c heuristics/intdiving/maxlpiterquot = 0.075
0.00/0.03 c
0.00/0.03 c # frequency for calling primal heuristic <intshifting> (-1: never, 0: only at depth freqofs)
0.00/0.03 c # [type: int, range: [-1,2147483647], default: 10]
0.00/0.03 c heuristics/intshifting/freq = -1
0.00/0.03 c
0.00/0.03 c # frequency for calling primal heuristic <linesearchdiving> (-1: never, 0: only at depth freqofs)
0.00/0.03 c # [type: int, range: [-1,2147483647], default: 10]
0.00/0.03 c heuristics/linesearchdiving/freq = -1
0.00/0.03 c
0.00/0.03 c # maximal fraction of diving LP iterations compared to node LP iterations
0.00/0.03 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
0.00/0.03 c heuristics/linesearchdiving/maxlpiterquot = 0.075
0.00/0.03 c
0.00/0.03 c # additional number of allowed LP iterations
0.00/0.03 c # [type: int, range: [0,2147483647], default: 1000]
0.00/0.03 c heuristics/linesearchdiving/maxlpiterofs = 1500
0.00/0.03 c
0.00/0.03 c # frequency for calling primal heuristic <nlp> (-1: never, 0: only at depth freqofs)
0.00/0.03 c # [type: int, range: [-1,2147483647], default: 1]
0.00/0.03 c heuristics/nlp/freq = -1
0.00/0.03 c
0.00/0.03 c # frequency for calling primal heuristic <objpscostdiving> (-1: never, 0: only at depth freqofs)
0.00/0.03 c # [type: int, range: [-1,2147483647], default: 20]
0.00/0.03 c heuristics/objpscostdiving/freq = -1
0.00/0.03 c
0.00/0.03 c # maximal fraction of diving LP iterations compared to total iteration number
0.00/0.03 c # [type: real, range: [0,1], default: 0.01]
0.00/0.03 c heuristics/objpscostdiving/maxlpiterquot = 0.015
0.00/0.03 c
0.00/0.03 c # additional number of allowed LP iterations
0.00/0.03 c # [type: int, range: [0,2147483647], default: 1000]
0.00/0.03 c heuristics/objpscostdiving/maxlpiterofs = 1500
0.00/0.03 c
0.00/0.03 c # frequency for calling primal heuristic <oneopt> (-1: never, 0: only at depth freqofs)
0.00/0.03 c # [type: int, range: [-1,2147483647], default: 1]
0.00/0.03 c heuristics/oneopt/freq = -1
0.00/0.03 c
0.00/0.03 c # frequency for calling primal heuristic <pscostdiving> (-1: never, 0: only at depth freqofs)
0.00/0.03 c # [type: int, range: [-1,2147483647], default: 10]
0.00/0.03 c heuristics/pscostdiving/freq = -1
0.00/0.03 c
0.00/0.03 c # maximal fraction of diving LP iterations compared to node LP iterations
0.00/0.03 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
0.00/0.03 c heuristics/pscostdiving/maxlpiterquot = 0.075
0.00/0.03 c
0.00/0.03 c # additional number of allowed LP iterations
0.00/0.03 c # [type: int, range: [0,2147483647], default: 1000]
0.00/0.03 c heuristics/pscostdiving/maxlpiterofs = 1500
0.00/0.03 c
0.00/0.03 c # frequency for calling primal heuristic <rens> (-1: never, 0: only at depth freqofs)
0.00/0.03 c # [type: int, range: [-1,2147483647], default: 0]
0.00/0.03 c heuristics/rens/freq = -1
0.00/0.03 c
0.00/0.03 c # minimum percentage of integer variables that have to be fixable
0.00/0.03 c # [type: real, range: [0,1], default: 0.5]
0.00/0.03 c heuristics/rens/minfixingrate = 0.3
0.00/0.03 c
0.00/0.03 c # number of nodes added to the contingent of the total nodes
0.00/0.03 c # [type: longint, range: [0,9223372036854775807], default: 500]
0.00/0.03 c heuristics/rens/nodesofs = 2000
0.00/0.03 c
0.00/0.03 c # frequency for calling primal heuristic <rootsoldiving> (-1: never, 0: only at depth freqofs)
0.00/0.03 c # [type: int, range: [-1,2147483647], default: 20]
0.00/0.03 c heuristics/rootsoldiving/freq = -1
0.00/0.03 c
0.00/0.03 c # maximal fraction of diving LP iterations compared to node LP iterations
0.00/0.03 c # [type: real, range: [0,1.79769313486232e+308], default: 0.01]
0.00/0.03 c heuristics/rootsoldiving/maxlpiterquot = 0.015
0.00/0.03 c
0.00/0.03 c # additional number of allowed LP iterations
0.00/0.03 c # [type: int, range: [0,2147483647], default: 1000]
0.00/0.03 c heuristics/rootsoldiving/maxlpiterofs = 1500
0.00/0.03 c
0.00/0.03 c # frequency for calling primal heuristic <rounding> (-1: never, 0: only at depth freqofs)
0.00/0.03 c # [type: int, range: [-1,2147483647], default: 1]
0.00/0.03 c heuristics/rounding/freq = -1
0.00/0.03 c
0.00/0.03 c # frequency for calling primal heuristic <shifting> (-1: never, 0: only at depth freqofs)
0.00/0.03 c # [type: int, range: [-1,2147483647], default: 10]
0.00/0.03 c heuristics/shifting/freq = -1
0.00/0.03 c
0.00/0.03 c # frequency for calling primal heuristic <simplerounding> (-1: never, 0: only at depth freqofs)
0.00/0.03 c # [type: int, range: [-1,2147483647], default: 1]
0.00/0.03 c heuristics/simplerounding/freq = -1
0.00/0.03 c
0.00/0.03 c # frequency for calling primal heuristic <trivial> (-1: never, 0: only at depth freqofs)
0.00/0.03 c # [type: int, range: [-1,2147483647], default: 0]
0.00/0.03 c heuristics/trivial/freq = -1
0.00/0.03 c
0.00/0.03 c # frequency for calling primal heuristic <trysol> (-1: never, 0: only at depth freqofs)
0.00/0.03 c # [type: int, range: [-1,2147483647], default: 1]
0.00/0.03 c heuristics/trysol/freq = -1
0.00/0.03 c
0.00/0.03 c # frequency for calling primal heuristic <veclendiving> (-1: never, 0: only at depth freqofs)
0.00/0.03 c # [type: int, range: [-1,2147483647], default: 10]
0.00/0.03 c heuristics/veclendiving/freq = -1
0.00/0.03 c
0.00/0.03 c # maximal fraction of diving LP iterations compared to node LP iterations
0.00/0.03 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
0.00/0.03 c heuristics/veclendiving/maxlpiterquot = 0.075
0.00/0.03 c
0.00/0.03 c # additional number of allowed LP iterations
0.00/0.03 c # [type: int, range: [0,2147483647], default: 1000]
0.00/0.03 c heuristics/veclendiving/maxlpiterofs = 1500
0.00/0.03 c
0.00/0.03 c # frequency for calling primal heuristic <zirounding> (-1: never, 0: only at depth freqofs)
0.00/0.03 c # [type: int, range: [-1,2147483647], default: 1]
0.00/0.03 c heuristics/zirounding/freq = -1
0.00/0.03 c
0.00/0.03 c # frequency for calling separator <cmir> (-1: never, 0: only in root node)
0.00/0.03 c # [type: int, range: [-1,2147483647], default: 0]
0.00/0.03 c separating/cmir/freq = -1
0.00/0.03 c
0.00/0.03 c # frequency for calling separator <flowcover> (-1: never, 0: only in root node)
0.00/0.03 c # [type: int, range: [-1,2147483647], default: 0]
0.00/0.03 c separating/flowcover/freq = -1
0.00/0.03 c
0.00/0.03 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
0.00/0.03 c # [type: int, range: [-1,2147483647], default: -1]
0.00/0.03 c separating/rapidlearning/freq = 0
0.00/0.03 c
0.00/0.03 c -----------------------------------------------------------------------------------------------
0.00/0.03 c start solving
0.00/0.03 c
0.00/0.06 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
0.00/0.06 c 0.1s| 1 | 0 | 555 | - |1766k| 0 | 167 | 246 | 536 | 246 | 536 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
0.19/0.28 c 0.3s| 1 | 0 | 876 | - |4250k| 0 | 193 | 246 | 593 | 246 | 718 | 182 | 0 | 0 | 0.000000e+00 | -- | Inf
0.39/0.46 c 0.4s| 1 | 0 | 1328 | - |6840k| 0 | 213 | 246 | 593 | 246 | 833 | 297 | 0 | 0 | 0.000000e+00 | -- | Inf
0.59/0.61 c 0.6s| 1 | 0 | 1741 | - |8611k| 0 | 216 | 246 | 593 | 246 | 907 | 371 | 0 | 0 | 0.000000e+00 | -- | Inf
0.79/0.80 c 0.8s| 1 | 0 | 2120 | - | 10M| 0 | 214 | 246 | 593 | 246 | 943 | 407 | 0 | 0 | 0.000000e+00 | -- | Inf
0.89/0.95 c 0.9s| 1 | 0 | 2384 | - | 12M| 0 | 217 | 246 | 593 | 246 | 959 | 423 | 0 | 0 | 0.000000e+00 | -- | Inf
2.78/2.85 c 2.8s| 1 | 2 | 2384 | - | 12M| 0 | 217 | 246 | 593 | 246 | 959 | 423 | 0 | 16 | 0.000000e+00 | -- | Inf
37.07/37.11 c 37.1s| 10000 | 36 |280977 | 27.9 | 13M| 33 | 40 | 246 |1958 | 246 | 720 | 423 |1951 |1455 | 0.000000e+00 | -- | Inf
58.97/59.09 c 59.1s| 20000 | 43 |537102 | 26.7 | 13M| 36 | - | 246 |2842 | 0 | 0 | 423 |4155 |1656 | 0.000000e+00 | -- | Inf
81.26/81.33 c 81.3s| 30000 | 32 |793153 | 26.4 | 14M| 41 | - | 246 |3361 | 0 | 0 | 423 |6122 |1905 | 0.000000e+00 | -- | Inf
106.06/106.16 c 106s| 40000 | 38 | 1068k| 26.7 | 14M| 41 | - | 246 |4084 | 0 | 0 | 423 |8442 |2274 | 0.000000e+00 | -- | Inf
131.36/131.40 c 131s| 50000 | 39 | 1357k| 27.1 | 14M| 41 | - | 246 |4925 | 0 | 0 | 423 | 10k|2495 | 0.000000e+00 | -- | Inf
154.76/154.81 c 155s| 60000 | 32 | 1624k| 27.0 | 15M| 41 | 67 | 246 |5848 | 246 | 720 | 423 | 12k|2746 | 0.000000e+00 | -- | Inf
178.75/178.82 c 179s| 70000 | 37 | 1896k| 27.1 | 15M| 41 | 30 | 246 |5218 | 246 | 720 | 423 | 14k|3047 | 0.000000e+00 | -- | Inf
201.55/201.67 c 202s| 80000 | 42 | 2166k| 27.0 | 15M| 41 | - | 246 |5148 | 246 | 720 | 423 | 16k|3227 | 0.000000e+00 | -- | Inf
227.34/227.41 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
227.34/227.41 c 227s| 90000 | 42 | 2465k| 27.4 | 15M| 42 | - | 246 |4783 | 246 | 720 | 423 | 18k|3459 | 0.000000e+00 | -- | Inf
249.24/249.36 c 249s|100000 | 49 | 2724k| 27.2 | 15M| 42 | 72 | 246 |5493 | 246 | 720 | 423 | 20k|3590 | 0.000000e+00 | -- | Inf
275.04/275.11 c 275s|110000 | 44 | 3012k| 27.4 | 15M| 43 | 72 | 246 |5711 | 246 | 720 | 423 | 23k|3841 | 0.000000e+00 | -- | Inf
297.23/297.38 c 297s|120000 | 49 | 3280k| 27.3 | 15M| 43 | 41 | 246 |6472 | 246 | 720 | 423 | 25k|3936 | 0.000000e+00 | -- | Inf
321.42/321.59 c 322s|130000 | 39 | 3562k| 27.4 | 15M| 47 | 50 | 246 |4389 | 246 | 720 | 423 | 27k|4073 | 0.000000e+00 | -- | Inf
346.22/346.31 c 346s|140000 | 36 | 3854k| 27.5 | 15M| 47 | - | 246 |4415 | 0 | 0 | 423 | 29k|4215 | 0.000000e+00 | -- | Inf
371.52/371.62 c 372s|150000 | 32 | 4153k| 27.7 | 15M| 48 | - | 246 |4876 | 0 | 0 | 423 | 30k|4336 | 0.000000e+00 | -- | Inf
396.61/396.75 c 397s|160000 | 33 | 4438k| 27.7 | 15M| 48 | - | 246 |5094 | 0 | 0 | 423 | 33k|4631 | 0.000000e+00 | -- | Inf
421.42/421.57 c 422s|170000 | 37 | 4739k| 27.9 | 15M| 48 | 47 | 246 |5888 | 246 | 720 | 423 | 35k|4709 | 0.000000e+00 | -- | Inf
450.00/450.13 c 450s|180000 | 34 | 5071k| 28.2 | 15M| 48 | - | 246 |5595 | 0 | 0 | 423 | 37k|4846 | 0.000000e+00 | -- | Inf
477.70/477.88 c 478s|190000 | 34 | 5398k| 28.4 | 15M| 48 | 25 | 246 |5285 | 246 | 720 | 423 | 39k|5017 | 0.000000e+00 | -- | Inf
502.50/502.68 c 503s|200000 | 25 | 5685k| 28.4 | 15M| 48 | 51 | 246 |5499 | 246 | 720 | 423 | 41k|5166 | 0.000000e+00 | -- | Inf
532.80/532.98 c 533s|210000 | 27 | 6018k| 28.6 | 15M| 48 | - | 246 |5160 | 0 | 0 | 423 | 44k|5393 | 0.000000e+00 | -- | Inf
558.89/559.03 c 559s|220000 | 29 | 6317k| 28.7 | 15M| 48 | 37 | 246 |5213 | 246 | 720 | 423 | 46k|5483 | 0.000000e+00 | -- | Inf
578.79/578.95 c 579s|230000 | 27 | 6558k| 28.5 | 15M| 48 | - | 246 |6138 | 0 | 0 | 423 | 48k|5539 | 0.000000e+00 | -- | Inf
601.98/602.17 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
601.98/602.17 c 602s|240000 | 30 | 6834k| 28.5 | 16M| 49 | 35 | 246 |6495 | 246 | 720 | 423 | 50k|5611 | 0.000000e+00 | -- | Inf
624.78/624.90 c 625s|250000 | 24 | 7106k| 28.4 | 16M| 49 | - | 246 |7291 | 246 | 720 | 423 | 52k|5688 | 0.000000e+00 | -- | Inf
655.18/655.32 c 655s|260000 | 19 | 7449k| 28.6 | 15M| 49 | 99 | 246 |6172 | 246 | 720 | 423 | 55k|5882 | 0.000000e+00 | -- | Inf
679.68/679.88 c 680s|270000 | 20 | 7740k| 28.7 | 16M| 49 | - | 246 |6484 | 0 | 0 | 423 | 57k|5935 | 0.000000e+00 | -- | Inf
703.27/703.49 c 703s|280000 | 20 | 8019k| 28.6 | 16M| 49 | - | 246 |7768 | 0 | 0 | 423 | 59k|5988 | 0.000000e+00 | -- | Inf
729.86/730.05 c 730s|290000 | 19 | 8327k| 28.7 | 16M| 50 | - | 246 |8239 | 0 | 0 | 423 | 61k|6060 | 0.000000e+00 | -- | Inf
753.56/753.72 c 754s|300000 | 16 | 8599k| 28.7 | 16M| 50 | 43 | 246 |7720 | 246 | 720 | 423 | 64k|6218 | 0.000000e+00 | -- | Inf
777.66/777.83 c 778s|310000 | 15 | 8881k| 28.6 | 16M| 50 | 73 | 246 |8037 | 246 | 720 | 423 | 66k|6297 | 0.000000e+00 | -- | Inf
805.85/806.02 c 806s|320000 | 20 | 9211k| 28.8 | 16M| 50 | 55 | 246 |8385 | 246 | 720 | 423 | 68k|6379 | 0.000000e+00 | -- | Inf
836.54/836.77 c 837s|330000 | 14 | 9561k| 29.0 | 16M| 50 | 116 | 246 |7154 | 246 | 720 | 423 | 70k|6479 | 0.000000e+00 | -- | Inf
865.24/865.42 c 865s|340000 | 15 | 9891k| 29.1 | 16M| 50 | 47 | 246 |7256 | 246 | 720 | 423 | 73k|6553 | 0.000000e+00 | -- | Inf
896.94/897.14 c 897s|350000 | 14 | 10259k| 29.3 | 16M| 54 | - | 246 |7617 | 246 | 720 | 423 | 74k|6632 | 0.000000e+00 | -- | Inf
928.34/928.52 c 929s|360000 | 14 | 10623k| 29.5 | 16M| 54 | - | 246 |8109 | 246 | 720 | 423 | 76k|6713 | 0.000000e+00 | -- | Inf
962.63/962.82 c 963s|370000 | 12 | 11007k| 29.7 | 16M| 60 | 57 | 246 |7705 | 246 | 720 | 423 | 78k|6859 | 0.000000e+00 | -- | Inf
993.32/993.51 c 994s|380000 | 13 | 11357k| 29.9 | 17M| 60 | 51 | 246 |8646 | 246 | 720 | 423 | 80k|6927 | 0.000000e+00 | -- | Inf
1021.92/1022.13 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1021.92/1022.13 c 1022s|390000 | 12 | 11686k| 30.0 | 17M| 60 | - | 246 |8599 | 0 | 0 | 423 | 83k|6983 | 0.000000e+00 | -- | Inf
1047.32/1047.50 c 1047s|400000 | 14 | 11985k| 30.0 | 17M| 60 | - | 246 |9162 | 0 | 0 | 423 | 85k|7066 | 0.000000e+00 | -- | Inf
1074.71/1074.98 c 1075s|410000 | 13 | 12308k| 30.0 | 17M| 60 | - | 246 |9140 | 0 | 0 | 423 | 87k|7151 | 0.000000e+00 | -- | Inf
1101.70/1101.96 c 1102s|420000 | 13 | 12627k| 30.1 | 17M| 60 | - | 246 |9558 | 0 | 0 | 423 | 89k|7200 | 0.000000e+00 | -- | Inf
1136.00/1136.30 c 1136s|430000 | 9 | 13022k| 30.3 | 17M| 60 | 53 | 246 |9605 | 246 | 720 | 423 | 91k|7276 | 0.000000e+00 | -- | Inf
1166.30/1166.51 c 1166s|440000 | 8 | 13349k| 30.3 | 17M| 60 | 84 | 246 |8890 | 246 | 720 | 423 | 93k|7622 | 0.000000e+00 | -- | Inf
1178.70/1178.90 c *1179s|444252 | 0 | 13486k| 30.4 | 17M| 60 | - | 246 |9077 | 246 | 720 | 423 | 95k|7624 | 0.000000e+00 | 0.000000e+00 | 0.00%
1178.70/1178.90 c
1178.70/1178.90 c SCIP Status : problem is solved [optimal solution found]
1178.70/1178.90 c Solving Time (sec) : 1178.89
1178.70/1178.90 c Solving Nodes : 444252
1178.70/1178.90 c Primal Bound : +0.00000000000000e+00 (1 solutions)
1178.70/1178.90 c Dual Bound : +0.00000000000000e+00
1178.70/1178.90 c Gap : 0.00 %
1178.70/1178.90 s SATISFIABLE
1178.70/1178.90 v x265 -x266 -x263 x264 x261 -x262 -x259 x260 x257 -x258 -x255 x256 -x253 -x254 -x251 x252 -x249 x250 -x247 -x248 -x245 -x246 x243
1178.70/1178.90 v -x244 -x241 x242 x239 -x240 -x237 x238 x235 -x236 -x233 x234 x231 -x232 -x229 x230 x227 -x228 -x225 x226 x223 -x224 -x221 x222
1178.70/1178.90 v -x219 -x220 -x217 x218 -x215 x216 -x213 -x214 -x211 -x212 x209 -x210 -x207 x208 x205 -x206 -x203 x204 x201 -x202 -x199 x200
1178.70/1178.90 v -x197 x198 x195 -x196 x193 -x194 x191 -x192 -x189 x190 x187 -x188 x185 -x186 x183 -x184 -x181 x182 -x179 x180 x177 -x178 x175
1178.70/1178.90 v -x176 x173 -x174 -x171 x172 x169 -x170 -x167 x168 x165 -x166 -x163 x164 -x162 -x160 -x158 -x156 -x154 -x152 -x150 -x148 -x146
1178.70/1178.90 v -x144 -x142 x140 -x138 -x136 -x134 x132 -x130 -x128 -x126 x124 -x122 x120 -x118 x116 -x114 x112 -x110 -x108 -x106 x104 -x102
1178.70/1178.90 v -x100 -x98 x96 -x94 -x92 -x90 -x88 -x86 -x84 -x82 -x80 -x78 -x76 -x74 -x72 -x70 x68 -x66 -x64 -x62 x60 -x58 -x56 -x54 -x52
1178.70/1178.90 v -x50 -x48 -x46 -x44 -x42 -x40 -x38 -x36 -x34 x32 -x30 -x28 -x26 x24 -x22 -x20 -x18 -x16 -x14 -x12 -x10 -x8 -x6 -x4 -x2 x161
1178.70/1178.90 v -x159 -x157 -x155 x153 -x151 -x149 -x147 x145 -x143 -x141 -x139 -x137 -x135 -x133 -x131 -x129 -x127 -x125 -x123 -x121 -x119
1178.70/1178.90 v -x117 -x115 -x113 -x111 -x109 -x107 -x105 -x103 -x101 -x99 -x97 -x95 -x93 -x91 x89 -x87 -x85 -x83 x81 -x79 -x77 -x75 x73 -x71
1178.70/1178.90 v -x69 -x67 -x65 -x63 -x61 -x59 -x57 -x55 x53 -x51 -x49 -x47 x45 -x43 -x41 -x39 x37 -x35 -x33 -x31 -x29 -x27 -x25 -x23 -x21 -x19
1178.70/1178.90 v x17 -x15 -x13 -x11 x9 -x7 -x5 -x3 x1
1178.70/1178.90 c SCIP Status : problem is solved [optimal solution found]
1178.70/1178.90 c Solving Time : 1178.89
1178.70/1178.90 c Original Problem :
1178.70/1178.90 c Problem name : HOME/instance-3729063-1338678629.opb
1178.70/1178.90 c Variables : 266 (266 binary, 0 integer, 0 implicit integer, 0 continuous)
1178.70/1178.90 c Constraints : 573 initial, 573 maximal
1178.70/1178.90 c Presolved Problem :
1178.70/1178.90 c Problem name : t_HOME/instance-3729063-1338678629.opb
1178.70/1178.90 c Variables : 246 (246 binary, 0 integer, 0 implicit integer, 0 continuous)
1178.70/1178.90 c Constraints : 536 initial, 9657 maximal
1178.70/1178.90 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs
1178.70/1178.90 c trivial : 0.00 0 0 0 0 0 0 0 0
1178.70/1178.90 c dualfix : 0.00 0 0 0 0 0 0 0 0
1178.70/1178.90 c boundshift : 0.00 0 0 0 0 0 0 0 0
1178.70/1178.90 c inttobinary : 0.00 0 0 0 0 0 0 0 0
1178.70/1178.90 c implics : 0.00 0 8 0 0 0 0 0 0
1178.70/1178.90 c probing : 0.00 0 0 0 0 0 0 0 0
1178.70/1178.90 c knapsack : 0.01 0 0 0 0 0 0 0 0
1178.70/1178.90 c setppc : 0.00 0 0 0 0 0 8 0 0
1178.70/1178.90 c linear : 0.01 12 0 0 12 0 29 0 0
1178.70/1178.90 c logicor : 0.00 0 0 0 0 0 0 0 0
1178.70/1178.90 c root node : - 14 - - 14 - - - -
1178.70/1178.90 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children
1178.70/1178.90 c integral : 0 0 0 227343 0 110 896 0 0 453402
1178.70/1178.90 c knapsack : 162 5 1544751 1 0 99373 4486445 585 0 0
1178.70/1178.90 c setppc : 117 5 1442828 0 0 9479 1417656 0 0 0
1178.70/1178.90 c linear : 0+ 5 306428 0 0 161 4925 0 0 0
1178.70/1178.90 c logicor : 257+ 5 1224246 1 0 33732 1756621 0 0 0
1178.70/1178.90 c countsols : 0 0 0 1 0 0 0 0 0 0
1178.70/1178.90 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS
1178.70/1178.90 c integral : 47.59 0.00 0.00 47.59 0.00
1178.70/1178.90 c knapsack : 17.54 0.01 17.53 0.00 0.00
1178.70/1178.90 c setppc : 4.30 0.00 4.30 0.00 0.00
1178.70/1178.90 c linear : 0.41 0.00 0.40 0.00 0.00
1178.70/1178.90 c logicor : 17.52 0.00 17.52 0.00 0.00
1178.70/1178.90 c countsols : 0.00 0.00 0.00 0.00 0.00
1178.70/1178.90 c Propagators : Time Calls Cutoffs DomReds
1178.70/1178.90 c vbounds : 1.08 1 0 0
1178.70/1178.90 c rootredcost : 1.02 0 0 0
1178.70/1178.90 c pseudoobj : 1.04 0 0 0
1178.70/1178.90 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1178.70/1178.90 c propagation : 4.49 69308 67747 490764 50.6 1317 19.1 -
1178.70/1178.90 c infeasible LP : 3.58 83378 18 104 43.2 0 0.0 0
1178.70/1178.90 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1178.70/1178.90 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1178.70/1178.90 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 -
1178.70/1178.90 c applied globally : - - - 92754 17.6 - - -
1178.70/1178.90 c applied locally : - - - 2869 37.8 - - -
1178.70/1178.90 c Separators : Time Calls Cutoffs DomReds Cuts Conss
1178.70/1178.90 c cut pool : 0.00 4 - - 31 - (maximal pool size: 2580)
1178.70/1178.90 c redcost : 1.21 227018 0 0 0 0
1178.70/1178.90 c impliedbounds : 0.00 5 0 0 784 0
1178.70/1178.90 c intobj : 0.00 0 0 0 0 0
1178.70/1178.90 c cgmip : 0.00 0 0 0 0 0
1178.70/1178.90 c gomory : 0.22 5 0 0 77 0
1178.70/1178.90 c strongcg : 0.23 5 0 0 2449 0
1178.70/1178.90 c cmir : 0.00 0 0 0 0 0
1178.70/1178.90 c flowcover : 0.00 0 0 0 0 0
1178.70/1178.90 c clique : 0.01 5 0 0 13 0
1178.70/1178.90 c zerohalf : 0.00 0 0 0 0 0
1178.70/1178.90 c mcf : 0.00 1 0 0 0 0
1178.70/1178.90 c rapidlearning : 0.08 1 0 0 0 57
1178.70/1178.90 c Pricers : Time Calls Vars
1178.70/1178.90 c problem variables: 0.00 0 0
1178.70/1178.90 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
1178.70/1178.90 c relpscost : 47.04 227342 110 896 0 0 453402
1178.70/1178.90 c pscost : 0.00 0 0 0 0 0 0
1178.70/1178.90 c inference : 0.00 0 0 0 0 0 0
1178.70/1178.90 c mostinf : 0.00 0 0 0 0 0 0
1178.70/1178.90 c leastinf : 0.00 0 0 0 0 0 0
1178.70/1178.90 c fullstrong : 0.00 0 0 0 0 0 0
1178.70/1178.90 c allfullstrong : 0.00 0 0 0 0 0 0
1178.70/1178.90 c random : 0.00 0 0 0 0 0 0
1178.70/1178.90 c Primal Heuristics : Time Calls Found
1178.70/1178.90 c LP solutions : 0.00 - 1
1178.70/1178.90 c pseudo solutions : 0.00 - 0
1178.70/1178.90 c trivial : 0.00 1 0
1178.70/1178.90 c simplerounding : 0.00 0 0
1178.70/1178.90 c zirounding : 0.00 0 0
1178.70/1178.90 c rounding : 0.00 0 0
1178.70/1178.90 c shifting : 0.00 0 0
1178.70/1178.90 c intshifting : 0.00 0 0
1178.70/1178.90 c oneopt : 0.00 0 0
1178.70/1178.90 c twoopt : 0.00 0 0
1178.70/1178.90 c fixandinfer : 0.00 0 0
1178.70/1178.90 c feaspump : 0.00 0 0
1178.70/1178.90 c coefdiving : 0.00 0 0
1178.70/1178.90 c pscostdiving : 0.00 0 0
1178.70/1178.90 c fracdiving : 0.00 0 0
1178.70/1178.90 c veclendiving : 0.00 0 0
1178.70/1178.90 c intdiving : 0.00 0 0
1178.70/1178.90 c actconsdiving : 0.00 0 0
1178.70/1178.90 c objpscostdiving : 0.00 0 0
1178.70/1178.90 c rootsoldiving : 0.00 0 0
1178.70/1178.90 c linesearchdiving : 0.00 0 0
1178.70/1178.90 c guideddiving : 0.00 0 0
1178.70/1178.90 c octane : 0.00 0 0
1178.70/1178.90 c rens : 0.00 0 0
1178.70/1178.90 c rins : 0.00 0 0
1178.70/1178.90 c localbranching : 0.00 0 0
1178.70/1178.90 c mutation : 0.00 0 0
1178.70/1178.90 c crossover : 0.00 0 0
1178.70/1178.90 c dins : 0.00 0 0
1178.70/1178.90 c undercover : 0.00 0 0
1178.70/1178.90 c nlp : 0.00 0 0
1178.70/1178.90 c trysol : 0.00 0 0
1178.70/1178.90 c LP : Time Calls Iterations Iter/call Iter/sec
1178.70/1178.90 c primal LP : 0.00 0 0 0.00 -
1178.70/1178.90 c dual LP : 1020.43 310657 13486290 43.41 13216.32
1178.70/1178.90 c lex dual LP : 0.00 0 0 0.00 -
1178.70/1178.90 c barrier LP : 0.00 0 0 0.00 -
1178.70/1178.90 c diving/probing LP: 0.00 0 0 0.00 -
1178.70/1178.90 c strong branching : 43.33 7624 506019 66.37 11678.90
1178.70/1178.90 c (at root node) : - 16 10877 679.81 -
1178.70/1178.90 c conflict analysis: 0.00 0 0 0.00 -
1178.70/1178.90 c B&B Tree :
1178.70/1178.90 c number of runs : 1
1178.70/1178.90 c nodes : 444252
1178.70/1178.90 c nodes (total) : 444252
1178.70/1178.90 c nodes left : 0
1178.70/1178.90 c max depth : 60
1178.70/1178.90 c max depth (total): 60
1178.70/1178.90 c backtracks : 77142 (17.4%)
1178.70/1178.90 c delayed cutoffs : 9131
1178.70/1178.90 c repropagations : 93080 (501630 domain reductions, 8683 cutoffs)
1178.70/1178.90 c avg switch length: 2.87
1178.70/1178.90 c switching time : 21.77
1178.70/1178.90 c Solution :
1178.70/1178.90 c Solutions found : 1 (1 improvements)
1178.70/1178.90 c First Solution : +0.00000000000000e+00 (in run 1, after 444252 nodes, 1178.89 seconds, depth 24, found by <relaxation>)
1178.70/1178.90 c Primal Bound : +0.00000000000000e+00 (in run 1, after 444252 nodes, 1178.89 seconds, depth 24, found by <relaxation>)
1178.70/1178.90 c Dual Bound : +0.00000000000000e+00
1178.70/1178.90 c Gap : 0.00 %
1178.70/1178.90 c Root Dual Bound : +0.00000000000000e+00
1178.70/1178.90 c Root Iterations : 2384
1178.70/1178.91 c Time complete: 1178.71.
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-3729063-1338678629/watcher-3729063-1338678629 -o /tmp/evaluation-result-3729063-1338678629/solver-3729063-1338678629 -C 1800 -W 1900 -M 15500 HOME/pbscip.linux.x86_64.gnu.opt.spx -f HOME/instance-3729063-1338678629.opb -t 1800 -m 15500
running on 4 cores: 0,2,4,6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 0.00 0.01 0.37 2/172 20915
/proc/meminfo: memFree=27114392/32873844 swapFree=7628/7628
[pid=20915] ppid=20913 vsize=8944 CPUtime=0 cores=0,2,4,6
/proc/20915/stat : 20915 (pbscip.linux.x8) R 20913 20915 20882 0 -1 4202496 1312 0 0 0 0 0 0 0 20 0 1 0 333991510 9158656 1259 33554432000 4194304 8395647 140735538788832 140734889217944 7382157 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/20915/statm: 2236 1267 374 1026 0 1206 0
[startup+0.0978259 s]
/proc/loadavg: 0.00 0.01 0.37 2/172 20915
/proc/meminfo: memFree=27114392/32873844 swapFree=7628/7628
[pid=20915] ppid=20913 vsize=17664 CPUtime=0.09 cores=0,2,4,6
/proc/20915/stat : 20915 (pbscip.linux.x8) R 20913 20915 20882 0 -1 4202496 3873 0 0 0 9 0 0 0 20 0 1 0 333991510 18087936 3465 33554432000 4194304 8395647 140735538788832 140735538784696 7428202 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/20915/statm: 4416 3465 600 1026 0 3386 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 17664
[startup+0.100227 s]
/proc/loadavg: 0.00 0.01 0.37 2/172 20915
/proc/meminfo: memFree=27114392/32873844 swapFree=7628/7628
[pid=20915] ppid=20913 vsize=17664 CPUtime=0.09 cores=0,2,4,6
/proc/20915/stat : 20915 (pbscip.linux.x8) R 20913 20915 20882 0 -1 4202496 3905 0 0 0 9 0 0 0 20 0 1 0 333991510 18087936 3497 33554432000 4194304 8395647 140735538788832 140735538784696 6129435 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/20915/statm: 4416 3497 600 1026 0 3386 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 17664
[startup+0.30021 s]
/proc/loadavg: 0.00 0.01 0.37 2/172 20915
/proc/meminfo: memFree=27114392/32873844 swapFree=7628/7628
[pid=20915] ppid=20913 vsize=31088 CPUtime=0.29 cores=0,2,4,6
/proc/20915/stat : 20915 (pbscip.linux.x8) R 20913 20915 20882 0 -1 4202496 6992 0 0 0 28 1 0 0 20 0 1 0 333991510 31834112 6584 33554432000 4194304 8395647 140735538788832 140735538784696 7428202 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/20915/statm: 7772 6584 629 1026 0 6742 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 31088
[startup+0.700188 s]
/proc/loadavg: 0.00 0.01 0.37 2/172 20915
/proc/meminfo: memFree=27114392/32873844 swapFree=7628/7628
[pid=20915] ppid=20913 vsize=31088 CPUtime=0.69 cores=0,2,4,6
/proc/20915/stat : 20915 (pbscip.linux.x8) R 20913 20915 20882 0 -1 4202496 7376 0 0 0 68 1 0 0 20 0 1 0 333991510 31834112 6950 33554432000 4194304 8395647 140735538788832 140735538784344 7428202 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/20915/statm: 7772 6950 629 1026 0 6742 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 31088
[startup+1.50018 s]
/proc/loadavg: 0.00 0.01 0.37 3/178 20930
/proc/meminfo: memFree=27052256/32873844 swapFree=7628/7628
[pid=20915] ppid=20913 vsize=33472 CPUtime=1.49 cores=0,2,4,6
/proc/20915/stat : 20915 (pbscip.linux.x8) R 20913 20915 20882 0 -1 4202496 7978 0 0 0 147 2 0 0 20 0 1 0 333991510 34275328 7552 33554432000 4194304 8395647 140735538788832 140735538784040 6693364 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/20915/statm: 8368 7552 629 1026 0 7338 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 33472
[startup+3.10018 s]
/proc/loadavg: 0.00 0.01 0.37 3/178 20930
/proc/meminfo: memFree=27051140/32873844 swapFree=7628/7628
[pid=20915] ppid=20913 vsize=33472 CPUtime=3.09 cores=0,2,4,6
/proc/20915/stat : 20915 (pbscip.linux.x8) R 20913 20915 20882 0 -1 4202496 7979 0 0 0 306 3 0 0 20 0 1 0 333991510 34275328 7553 33554432000 4194304 8395647 140735538788832 140735538783704 7428202 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/20915/statm: 8368 7553 630 1026 0 7338 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 33472
[startup+6.30024 s]
/proc/loadavg: 0.16 0.04 0.38 3/178 20930
/proc/meminfo: memFree=27050520/32873844 swapFree=7628/7628
[pid=20915] ppid=20913 vsize=33472 CPUtime=6.28 cores=0,2,4,6
/proc/20915/stat : 20915 (pbscip.linux.x8) R 20913 20915 20882 0 -1 4202496 7979 0 0 0 622 6 0 0 20 0 1 0 333991510 34275328 7553 33554432000 4194304 8395647 140735538788832 140735538783704 7428202 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/20915/statm: 8368 7553 630 1026 0 7338 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 33472
[startup+12.7002 s]
/proc/loadavg: 0.31 0.07 0.39 3/178 20930
/proc/meminfo: memFree=27048700/32873844 swapFree=7628/7628
[pid=20915] ppid=20913 vsize=33472 CPUtime=12.68 cores=0,2,4,6
/proc/20915/stat : 20915 (pbscip.linux.x8) R 20913 20915 20882 0 -1 4202496 7986 0 0 0 1252 16 0 0 20 0 1 0 333991510 34275328 7807 33554432000 4194304 8395647 140735538788832 140735538783960 7428202 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/20915/statm: 8368 7807 631 1026 0 7338 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 33472
[startup+25.5003 s]
/proc/loadavg: 0.68 0.16 0.41 3/178 20930
/proc/meminfo: memFree=27047692/32873844 swapFree=7628/7628
[pid=20915] ppid=20913 vsize=33472 CPUtime=25.48 cores=0,2,4,6
/proc/20915/stat : 20915 (pbscip.linux.x8) R 20913 20915 20882 0 -1 4202496 7990 0 0 0 2512 36 0 0 20 0 1 0 333991510 34275328 7807 33554432000 4194304 8395647 140735538788832 140735538783960 7428202 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/20915/statm: 8368 7807 631 1026 0 7338 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 33472
[startup+51.1003 s]
/proc/loadavg: 1.13 0.31 0.45 3/177 20930
/proc/meminfo: memFree=27047256/32873844 swapFree=7628/7628
[pid=20915] ppid=20913 vsize=33812 CPUtime=51.07 cores=0,2,4,6
/proc/20915/stat : 20915 (pbscip.linux.x8) R 20913 20915 20882 0 -1 4202496 8075 0 0 0 5036 71 0 0 20 0 1 0 333991510 34623488 7892 33554432000 4194304 8395647 140735538788832 140735538783960 7428202 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/20915/statm: 8453 7892 631 1026 0 7423 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 33812
[startup+102.3 s]
/proc/loadavg: 1.62 0.57 0.53 3/177 20930
/proc/meminfo: memFree=27045024/32873844 swapFree=7628/7628
[pid=20915] ppid=20913 vsize=35372 CPUtime=102.26 cores=0,2,4,6
/proc/20915/stat : 20915 (pbscip.linux.x8) R 20913 20915 20882 0 -1 4202496 8465 0 0 0 10091 135 0 0 20 0 1 0 333991510 36220928 8282 33554432000 4194304 8395647 140735538788832 140735538783960 7428202 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/20915/statm: 8843 8282 631 1026 0 7813 0
Current children cumulated CPU time (s) 102.26
Current children cumulated vsize (KiB) 35372
[startup+162.3 s]
/proc/loadavg: 1.86 0.83 0.62 3/177 20930
/proc/meminfo: memFree=27042664/32873844 swapFree=7628/7628
[pid=20915] ppid=20913 vsize=36580 CPUtime=162.25 cores=0,2,4,6
/proc/20915/stat : 20915 (pbscip.linux.x8) R 20913 20915 20882 0 -1 4202496 8795 0 0 0 16018 207 0 0 20 0 1 0 333991510 37457920 8613 33554432000 4194304 8395647 140735538788832 140735538784392 7428202 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/20915/statm: 9145 8613 631 1026 0 8115 0
Current children cumulated CPU time (s) 162.25
Current children cumulated vsize (KiB) 36580
[startup+222.306 s]
/proc/loadavg: 2.09 1.07 0.72 3/177 20930
/proc/meminfo: memFree=27041672/32873844 swapFree=7628/7628
[pid=20915] ppid=20913 vsize=37380 CPUtime=222.24 cores=0,2,4,6
/proc/20915/stat : 20915 (pbscip.linux.x8) R 20913 20915 20882 0 -1 4202496 8934 0 0 0 21946 278 0 0 20 0 1 0 333991510 38277120 8752 33554432000 4194304 8395647 140735538788832 140735538784344 7428202 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/20915/statm: 9345 8752 631 1026 0 8315 0
Current children cumulated CPU time (s) 222.24
Current children cumulated vsize (KiB) 37380
[startup+282.3 s]
/proc/loadavg: 2.03 1.24 0.79 2/172 20955
/proc/meminfo: memFree=27079456/32873844 swapFree=7628/7628
[pid=20915] ppid=20913 vsize=37380 CPUtime=282.23 cores=0,2,4,6
/proc/20915/stat : 20915 (pbscip.linux.x8) R 20913 20915 20882 0 -1 4202496 8934 0 0 0 27867 356 0 0 20 0 1 0 333991510 38277120 8752 33554432000 4194304 8395647 140735538788832 140735538783928 7428202 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/20915/statm: 9345 8752 631 1026 0 8315 0
Current children cumulated CPU time (s) 282.23
Current children cumulated vsize (KiB) 37380
[startup+342.3 s]
/proc/loadavg: 2.01 1.37 0.87 3/177 21007
/proc/meminfo: memFree=27034396/32873844 swapFree=7628/7628
[pid=20915] ppid=20913 vsize=37560 CPUtime=342.22 cores=0,2,4,6
/proc/20915/stat : 20915 (pbscip.linux.x8) R 20913 20915 20882 0 -1 4202496 9021 0 0 0 33790 432 0 0 20 0 1 0 333991510 38461440 8839 33554432000 4194304 8395647 140735538788832 140735538783960 7428202 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/20915/statm: 9390 8839 631 1026 0 8360 0
Current children cumulated CPU time (s) 342.22
Current children cumulated vsize (KiB) 37560
[startup+402.3 s]
/proc/loadavg: 2.05 1.50 0.94 3/177 21007
/proc/meminfo: memFree=27034208/32873844 swapFree=7628/7628
[pid=20915] ppid=20913 vsize=37716 CPUtime=402.21 cores=0,2,4,6
/proc/20915/stat : 20915 (pbscip.linux.x8) R 20913 20915 20882 0 -1 4202496 9053 0 0 0 39706 515 0 0 20 0 1 0 333991510 38621184 8870 33554432000 4194304 8395647 140735538788832 140735538783960 7428202 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/20915/statm: 9429 8870 631 1026 0 8399 0
Current children cumulated CPU time (s) 402.21
Current children cumulated vsize (KiB) 37716
[startup+462.3 s]
/proc/loadavg: 2.02 1.59 1.00 3/177 21007
/proc/meminfo: memFree=27033836/32873844 swapFree=7628/7628
[pid=20915] ppid=20913 vsize=37904 CPUtime=462.21 cores=0,2,4,6
/proc/20915/stat : 20915 (pbscip.linux.x8) R 20913 20915 20882 0 -1 4202496 9111 0 0 0 45626 595 0 0 20 0 1 0 333991510 38813696 8928 33554432000 4194304 8395647 140735538788832 140735538784296 7428202 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/20915/statm: 9476 8928 631 1026 0 8446 0
Current children cumulated CPU time (s) 462.21
Current children cumulated vsize (KiB) 37904
[startup+522.3 s]
/proc/loadavg: 2.00 1.66 1.06 3/177 21007
/proc/meminfo: memFree=27033464/32873844 swapFree=7628/7628
[pid=20915] ppid=20913 vsize=38388 CPUtime=522.19 cores=0,2,4,6
/proc/20915/stat : 20915 (pbscip.linux.x8) R 20913 20915 20882 0 -1 4202496 9183 0 0 0 51545 674 0 0 20 0 1 0 333991510 39309312 9000 33554432000 4194304 8395647 140735538788832 140735538784344 7428202 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/20915/statm: 9597 9000 631 1026 0 8567 0
Current children cumulated CPU time (s) 522.19
Current children cumulated vsize (KiB) 38388
[startup+582.3 s]
/proc/loadavg: 2.00 1.72 1.12 3/177 21010
/proc/meminfo: memFree=27032888/32873844 swapFree=7628/7628
[pid=20915] ppid=20913 vsize=38388 CPUtime=582.18 cores=0,2,4,6
/proc/20915/stat : 20915 (pbscip.linux.x8) R 20913 20915 20882 0 -1 4202496 9209 0 0 0 57473 745 0 0 20 0 1 0 333991510 39309312 9026 33554432000 4194304 8395647 140735538788832 140735538784296 7428202 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/20915/statm: 9597 9026 631 1026 0 8567 0
Current children cumulated CPU time (s) 582.18
Current children cumulated vsize (KiB) 38388
[startup+642.3 s]
################
# More data... #
################
/proc/meminfo: memFree=27032780/32873844 swapFree=7628/7628
[pid=20915] ppid=20913 vsize=38388 CPUtime=642.18 cores=0,2,4,6
/proc/20915/stat : 20915 (pbscip.linux.x8) R 20913 20915 20882 0 -1 4202496 9242 0 0 0 63392 826 0 0 20 0 1 0 333991510 39309312 9059 33554432000 4194304 8395647 140735538788832 140735538784344 7428202 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/20915/statm: 9597 9059 631 1026 0 8567 0
Current children cumulated CPU time (s) 642.18
Current children cumulated vsize (KiB) 38388
[startup+702.3 s]
/proc/loadavg: 2.00 1.81 1.22 3/177 21011
/proc/meminfo: memFree=27032780/32873844 swapFree=7628/7628
[pid=20915] ppid=20913 vsize=38552 CPUtime=702.17 cores=0,2,4,6
/proc/20915/stat : 20915 (pbscip.linux.x8) R 20913 20915 20882 0 -1 4202496 9273 0 0 0 69311 906 0 0 20 0 1 0 333991510 39477248 9090 33554432000 4194304 8395647 140735538788832 140735538784344 7428202 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/20915/statm: 9638 9090 631 1026 0 8608 0
Current children cumulated CPU time (s) 702.17
Current children cumulated vsize (KiB) 38552
[startup+762.3 s]
/proc/loadavg: 2.00 1.84 1.27 3/177 21011
/proc/meminfo: memFree=27031352/32873844 swapFree=7628/7628
[pid=20915] ppid=20913 vsize=39664 CPUtime=762.16 cores=0,2,4,6
/proc/20915/stat : 20915 (pbscip.linux.x8) R 20913 20915 20882 0 -1 4202496 9549 0 0 0 75231 985 0 0 20 0 1 0 333991510 40615936 9365 33554432000 4194304 8395647 140735538788832 140735538783960 7428202 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/20915/statm: 9916 9365 631 1026 0 8886 0
Current children cumulated CPU time (s) 762.16
Current children cumulated vsize (KiB) 39664
[startup+822.3 s]
/proc/loadavg: 2.00 1.87 1.31 3/177 21049
/proc/meminfo: memFree=27032760/32873844 swapFree=7628/7628
[pid=20915] ppid=20913 vsize=40236 CPUtime=822.15 cores=0,2,4,6
/proc/20915/stat : 20915 (pbscip.linux.x8) R 20913 20915 20882 0 -1 4202496 9640 0 0 0 81151 1064 0 0 20 0 1 0 333991510 41201664 9456 33554432000 4194304 8395647 140735538788832 140735538783960 7428202 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/20915/statm: 10059 9456 631 1026 0 9029 0
Current children cumulated CPU time (s) 822.15
Current children cumulated vsize (KiB) 40236
[startup+882.306 s]
/proc/loadavg: 2.06 1.90 1.35 3/177 21049
/proc/meminfo: memFree=27031532/32873844 swapFree=7628/7628
[pid=20915] ppid=20913 vsize=40236 CPUtime=882.14 cores=0,2,4,6
/proc/20915/stat : 20915 (pbscip.linux.x8) R 20913 20915 20882 0 -1 4202496 9648 0 0 0 87077 1137 0 0 20 0 1 0 333991510 41201664 9464 33554432000 4194304 8395647 140735538788832 140735538783960 7428202 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/20915/statm: 10059 9464 631 1026 0 9029 0
Current children cumulated CPU time (s) 882.14
Current children cumulated vsize (KiB) 40236
[startup+942.3 s]
/proc/loadavg: 2.02 1.92 1.39 3/177 21050
/proc/meminfo: memFree=27031284/32873844 swapFree=7628/7628
[pid=20915] ppid=20913 vsize=40236 CPUtime=942.13 cores=0,2,4,6
/proc/20915/stat : 20915 (pbscip.linux.x8) R 20913 20915 20882 0 -1 4202496 9650 0 0 0 92998 1215 0 0 20 0 1 0 333991510 41201664 9466 33554432000 4194304 8395647 140735538788832 140735538783960 7428202 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/20915/statm: 10059 9466 631 1026 0 9029 0
Current children cumulated CPU time (s) 942.13
Current children cumulated vsize (KiB) 40236
[startup+1002.3 s]
/proc/loadavg: 2.00 1.93 1.43 3/177 21050
/proc/meminfo: memFree=27031160/32873844 swapFree=7628/7628
[pid=20915] ppid=20913 vsize=40236 CPUtime=1002.12 cores=0,2,4,6
/proc/20915/stat : 20915 (pbscip.linux.x8) R 20913 20915 20882 0 -1 4202496 9689 0 0 0 98925 1287 0 0 20 0 1 0 333991510 41201664 9505 33554432000 4194304 8395647 140735538788832 140735538783960 7428202 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/20915/statm: 10059 9505 631 1026 0 9029 0
Current children cumulated CPU time (s) 1002.12
Current children cumulated vsize (KiB) 40236
[startup+1062.3 s]
/proc/loadavg: 2.00 1.94 1.46 3/177 21050
/proc/meminfo: memFree=27030788/32873844 swapFree=7628/7628
[pid=20915] ppid=20913 vsize=40396 CPUtime=1062.11 cores=0,2,4,6
/proc/20915/stat : 20915 (pbscip.linux.x8) R 20913 20915 20882 0 -1 4202496 9717 0 0 0 104843 1368 0 0 20 0 1 0 333991510 41365504 9533 33554432000 4194304 8395647 140735538788832 140735538784440 7428202 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/20915/statm: 10099 9533 631 1026 0 9069 0
Current children cumulated CPU time (s) 1062.11
Current children cumulated vsize (KiB) 40396
[startup+1122.3 s]
/proc/loadavg: 2.00 1.95 1.49 3/177 21050
/proc/meminfo: memFree=27030476/32873844 swapFree=7628/7628
[pid=20915] ppid=20913 vsize=40396 CPUtime=1122.1 cores=0,2,4,6
/proc/20915/stat : 20915 (pbscip.linux.x8) R 20913 20915 20882 0 -1 4202496 9737 0 0 0 110765 1445 0 0 20 0 1 0 333991510 41365504 9553 33554432000 4194304 8395647 140735538788832 140735538784296 7428202 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/20915/statm: 10099 9553 631 1026 0 9069 0
Current children cumulated CPU time (s) 1122.1
Current children cumulated vsize (KiB) 40396
Solver just ended. Dumping a history of the last processes samples
[startup+1126.4 s]
/proc/loadavg: 2.00 1.95 1.49 3/177 21050
/proc/meminfo: memFree=27030352/32873844 swapFree=7628/7628
[pid=20915] ppid=20913 vsize=40396 CPUtime=1126.21 cores=0,2,4,6
/proc/20915/stat : 20915 (pbscip.linux.x8) R 20913 20915 20882 0 -1 4202496 9741 0 0 0 111171 1450 0 0 20 0 1 0 333991510 41365504 9557 33554432000 4194304 8395647 140735538788832 140735538783960 7428202 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/20915/statm: 10099 9557 631 1026 0 9069 0
Current children cumulated CPU time (s) 1126.21
Current children cumulated vsize (KiB) 40396
[startup+1152 s]
/proc/loadavg: 2.00 1.95 1.50 3/177 21050
/proc/meminfo: memFree=27030104/32873844 swapFree=7628/7628
[pid=20915] ppid=20913 vsize=40544 CPUtime=1151.8 cores=0,2,4,6
/proc/20915/stat : 20915 (pbscip.linux.x8) R 20913 20915 20882 0 -1 4202496 9765 0 0 0 113697 1483 0 0 20 0 1 0 333991510 41517056 9581 33554432000 4194304 8395647 140735538788832 140735538784392 7428202 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/20915/statm: 10136 9581 631 1026 0 9106 0
Current children cumulated CPU time (s) 1151.8
Current children cumulated vsize (KiB) 40544
[startup+1164.8 s]
/proc/loadavg: 2.00 1.95 1.51 3/177 21050
/proc/meminfo: memFree=27029980/32873844 swapFree=7628/7628
[pid=20915] ppid=20913 vsize=40544 CPUtime=1164.6 cores=0,2,4,6
/proc/20915/stat : 20915 (pbscip.linux.x8) R 20913 20915 20882 0 -1 4202496 9766 0 0 0 114961 1499 0 0 20 0 1 0 333991510 41517056 9582 33554432000 4194304 8395647 140735538788832 140735538784136 7428202 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/20915/statm: 10136 9582 631 1026 0 9106 0
Current children cumulated CPU time (s) 1164.6
Current children cumulated vsize (KiB) 40544
[startup+1171.2 s]
/proc/loadavg: 2.00 1.95 1.51 3/177 21050
/proc/meminfo: memFree=27029856/32873844 swapFree=7628/7628
[pid=20915] ppid=20913 vsize=40544 CPUtime=1170.99 cores=0,2,4,6
/proc/20915/stat : 20915 (pbscip.linux.x8) R 20913 20915 20882 0 -1 4202496 9784 0 0 0 115593 1506 0 0 20 0 1 0 333991510 41517056 9600 33554432000 4194304 8395647 140735538788832 140735538784344 7428202 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/20915/statm: 10136 9600 631 1026 0 9106 0
Current children cumulated CPU time (s) 1170.99
Current children cumulated vsize (KiB) 40544
[startup+1174.4 s]
/proc/loadavg: 2.00 1.95 1.52 3/178 21053
/proc/meminfo: memFree=27029932/32873844 swapFree=7628/7628
[pid=20915] ppid=20913 vsize=40544 CPUtime=1174.2 cores=0,2,4,6
/proc/20915/stat : 20915 (pbscip.linux.x8) R 20913 20915 20882 0 -1 4202496 9784 0 0 0 115910 1510 0 0 20 0 1 0 333991510 41517056 9600 33554432000 4194304 8395647 140735538788832 140735538783928 7428202 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/20915/statm: 10136 9600 631 1026 0 9106 0
Current children cumulated CPU time (s) 1174.2
Current children cumulated vsize (KiB) 40544
[startup+1176.01 s]
/proc/loadavg: 2.00 1.95 1.52 3/178 21053
/proc/meminfo: memFree=27029932/32873844 swapFree=7628/7628
[pid=20915] ppid=20913 vsize=40544 CPUtime=1175.8 cores=0,2,4,6
/proc/20915/stat : 20915 (pbscip.linux.x8) R 20913 20915 20882 0 -1 4202496 9784 0 0 0 116067 1513 0 0 20 0 1 0 333991510 41517056 9600 33554432000 4194304 8395647 140735538788832 140735538784440 7428202 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/20915/statm: 10136 9600 631 1026 0 9106 0
Current children cumulated CPU time (s) 1175.8
Current children cumulated vsize (KiB) 40544
[startup+1177.6 s]
/proc/loadavg: 2.00 1.95 1.52 3/178 21053
/proc/meminfo: memFree=27029932/32873844 swapFree=7628/7628
[pid=20915] ppid=20913 vsize=40544 CPUtime=1177.4 cores=0,2,4,6
/proc/20915/stat : 20915 (pbscip.linux.x8) R 20913 20915 20882 0 -1 4202496 9784 0 0 0 116225 1515 0 0 20 0 1 0 333991510 41517056 9600 33554432000 4194304 8395647 140735538788832 140735538784296 7428202 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/20915/statm: 10136 9600 631 1026 0 9106 0
Current children cumulated CPU time (s) 1177.4
Current children cumulated vsize (KiB) 40544
[startup+1178.4 s]
/proc/loadavg: 2.00 1.95 1.52 3/178 21053
/proc/meminfo: memFree=27029932/32873844 swapFree=7628/7628
[pid=20915] ppid=20913 vsize=40544 CPUtime=1178.2 cores=0,2,4,6
/proc/20915/stat : 20915 (pbscip.linux.x8) R 20913 20915 20882 0 -1 4202496 9784 0 0 0 116304 1516 0 0 20 0 1 0 333991510 41517056 9600 33554432000 4194304 8395647 140735538788832 140735538784296 7428202 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/20915/statm: 10136 9600 631 1026 0 9106 0
Current children cumulated CPU time (s) 1178.2
Current children cumulated vsize (KiB) 40544
[startup+1178.8 s]
/proc/loadavg: 2.00 1.95 1.52 3/178 21053
/proc/meminfo: memFree=27029932/32873844 swapFree=7628/7628
[pid=20915] ppid=20913 vsize=40544 CPUtime=1178.6 cores=0,2,4,6
/proc/20915/stat : 20915 (pbscip.linux.x8) R 20913 20915 20882 0 -1 4202496 9784 0 0 0 116343 1517 0 0 20 0 1 0 333991510 41517056 9600 33554432000 4194304 8395647 140735538788832 140735538783960 7428202 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/20915/statm: 10136 9600 631 1026 0 9106 0
Current children cumulated CPU time (s) 1178.6
Current children cumulated vsize (KiB) 40544
[startup+1178.9 s]
/proc/loadavg: 2.00 1.95 1.52 3/178 21053
/proc/meminfo: memFree=27029932/32873844 swapFree=7628/7628
[pid=20915] ppid=20913 vsize=40544 CPUtime=1178.7 cores=0,2,4,6
/proc/20915/stat : 20915 (pbscip.linux.x8) R 20913 20915 20882 0 -1 4202496 9784 0 0 0 116353 1517 0 0 20 0 1 0 333991510 41517056 9600 33554432000 4194304 8395647 140735538788832 140735538783960 7428202 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/20915/statm: 10136 9600 631 1026 0 9106 0
Current children cumulated CPU time (s) 1178.7
Current children cumulated vsize (KiB) 40544
Child status: 0
Real time (s): 1178.91
CPU time (s): 1178.72
CPU user time (s): 1163.54
CPU system time (s): 15.1747
CPU usage (%): 99.9834
Max. virtual memory (cumulated for all children) (KiB): 40544
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1163.54
system time used= 15.1747
maximum resident set size= 38412
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 9790
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= 16
involuntary context switches= 1373
runsolver used 1.83572 second user time and 4.5983 second system time
The end