0.00/0.01 c SCIP version 2.0.1.5 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: SoPlex 1.5.0.5]
0.00/0.01 c Copyright (c) 2002-2011 Konrad-Zuse-Zentrum fuer Informationstechnik Berlin (ZIB)
0.00/0.01 c
0.00/0.01 c user parameter file <scip.set> not found - using default parameters
0.00/0.01 c reading problem <HOME/instance-3730496-1338688399.opb>
0.01/0.03 c original problem has 2340 variables (2340 bin, 0 int, 0 impl, 0 cont) and 1678 constraints
0.01/0.03 c problem read
0.01/0.03 c No objective function, only one solution is needed.
0.01/0.03 c presolving settings loaded
0.01/0.05 c presolving:
0.01/0.08 c (round 1) 0 del vars, 0 del conss, 0 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 1678 upgd conss, 0 impls, 79 clqs
0.01/0.09 c presolving (2 rounds):
0.01/0.09 c 0 deleted vars, 0 deleted constraints, 0 added constraints, 0 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
0.01/0.09 c 0 implications, 79 cliques
0.01/0.09 c presolved problem has 2340 variables (2340 bin, 0 int, 0 impl, 0 cont) and 1678 constraints
0.01/0.09 c 79 constraints of type <setppc>
0.01/0.09 c 1599 constraints of type <logicor>
0.01/0.09 c transformed objective value is always integral (scale: 1)
0.01/0.09 c Presolving Time: 0.04
0.01/0.09 c - non default parameters ----------------------------------------------------------------------
0.01/0.09 c # SCIP version 2.0.1.5
0.01/0.09 c
0.01/0.09 c # frequency for displaying node information lines
0.01/0.09 c # [type: int, range: [-1,2147483647], default: 100]
0.01/0.09 c display/freq = 10000
0.01/0.09 c
0.01/0.09 c # maximal time in seconds to run
0.01/0.09 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.01/0.09 c limits/time = 1797
0.01/0.09 c
0.01/0.09 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.01/0.09 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.01/0.09 c limits/memory = 13950
0.01/0.09 c
0.01/0.09 c # solving stops, if the given number of solutions were found (-1: no limit)
0.01/0.09 c # [type: int, range: [-1,2147483647], default: -1]
0.01/0.09 c limits/solutions = 1
0.01/0.09 c
0.01/0.09 c # maximal number of separation rounds per node (-1: unlimited)
0.01/0.09 c # [type: int, range: [-1,2147483647], default: 5]
0.01/0.09 c separating/maxrounds = 1
0.01/0.09 c
0.01/0.09 c # maximal number of separation rounds in the root node (-1: unlimited)
0.01/0.09 c # [type: int, range: [-1,2147483647], default: -1]
0.01/0.09 c separating/maxroundsroot = 5
0.01/0.09 c
0.01/0.09 c # default clock type (1: CPU user seconds, 2: wall clock time)
0.01/0.09 c # [type: int, range: [1,2], default: 1]
0.01/0.09 c timing/clocktype = 2
0.01/0.09 c
0.01/0.09 c # belongs reading time to solving time?
0.01/0.09 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.01/0.09 c timing/reading = TRUE
0.01/0.09 c
0.01/0.09 c # should presolving try to simplify inequalities
0.01/0.09 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.01/0.09 c constraints/linear/simplifyinequalities = TRUE
0.01/0.09 c
0.01/0.09 c # add initial coupling inequalities as linear constraints, if 'addCoupling' is true
0.01/0.09 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.01/0.09 c constraints/indicator/addCouplingCons = TRUE
0.01/0.09 c
0.01/0.09 c # should disaggregation of knapsack constraints be allowed in preprocessing?
0.01/0.09 c # [type: bool, range: {TRUE,FALSE}, default: TRUE]
0.01/0.09 c constraints/knapsack/disaggregation = FALSE
0.01/0.09 c
0.01/0.09 c # should presolving try to simplify knapsacks
0.01/0.09 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.01/0.09 c constraints/knapsack/simplifyinequalities = TRUE
0.01/0.09 c
0.01/0.09 c # maximal number of presolving rounds the presolver participates in (-1: no limit)
0.01/0.09 c # [type: int, range: [-1,2147483647], default: -1]
0.01/0.09 c presolving/probing/maxrounds = 0
0.01/0.09 c
0.01/0.09 c # frequency for calling primal heuristic <coefdiving> (-1: never, 0: only at depth freqofs)
0.01/0.09 c # [type: int, range: [-1,2147483647], default: 10]
0.01/0.09 c heuristics/coefdiving/freq = -1
0.01/0.09 c
0.01/0.09 c # maximal fraction of diving LP iterations compared to node LP iterations
0.01/0.09 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
0.01/0.09 c heuristics/coefdiving/maxlpiterquot = 0.075
0.01/0.09 c
0.01/0.09 c # additional number of allowed LP iterations
0.01/0.09 c # [type: int, range: [0,2147483647], default: 1000]
0.01/0.09 c heuristics/coefdiving/maxlpiterofs = 1500
0.01/0.09 c
0.01/0.09 c # frequency for calling primal heuristic <crossover> (-1: never, 0: only at depth freqofs)
0.01/0.09 c # [type: int, range: [-1,2147483647], default: 30]
0.01/0.09 c heuristics/crossover/freq = -1
0.01/0.09 c
0.01/0.09 c # number of nodes added to the contingent of the total nodes
0.01/0.09 c # [type: longint, range: [0,9223372036854775807], default: 500]
0.01/0.09 c heuristics/crossover/nodesofs = 750
0.01/0.09 c
0.01/0.09 c # number of nodes without incumbent change that heuristic should wait
0.01/0.09 c # [type: longint, range: [0,9223372036854775807], default: 200]
0.01/0.09 c heuristics/crossover/nwaitingnodes = 100
0.01/0.09 c
0.01/0.09 c # contingent of sub problem nodes in relation to the number of nodes of the original problem
0.01/0.09 c # [type: real, range: [0,1], default: 0.1]
0.01/0.09 c heuristics/crossover/nodesquot = 0.15
0.01/0.09 c
0.01/0.09 c # minimum percentage of integer variables that have to be fixed
0.01/0.09 c # [type: real, range: [0,1], default: 0.666]
0.01/0.09 c heuristics/crossover/minfixingrate = 0.5
0.01/0.09 c
0.01/0.09 c # frequency for calling primal heuristic <feaspump> (-1: never, 0: only at depth freqofs)
0.01/0.09 c # [type: int, range: [-1,2147483647], default: 20]
0.01/0.09 c heuristics/feaspump/freq = -1
0.01/0.09 c
0.01/0.09 c # additional number of allowed LP iterations
0.01/0.09 c # [type: int, range: [0,2147483647], default: 1000]
0.01/0.09 c heuristics/feaspump/maxlpiterofs = 2000
0.01/0.09 c
0.01/0.09 c # frequency for calling primal heuristic <fracdiving> (-1: never, 0: only at depth freqofs)
0.01/0.09 c # [type: int, range: [-1,2147483647], default: 10]
0.01/0.09 c heuristics/fracdiving/freq = -1
0.01/0.09 c
0.01/0.09 c # maximal fraction of diving LP iterations compared to node LP iterations
0.01/0.09 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
0.01/0.09 c heuristics/fracdiving/maxlpiterquot = 0.075
0.01/0.09 c
0.01/0.09 c # additional number of allowed LP iterations
0.01/0.09 c # [type: int, range: [0,2147483647], default: 1000]
0.01/0.09 c heuristics/fracdiving/maxlpiterofs = 1500
0.01/0.09 c
0.01/0.09 c # frequency for calling primal heuristic <guideddiving> (-1: never, 0: only at depth freqofs)
0.01/0.09 c # [type: int, range: [-1,2147483647], default: 10]
0.01/0.09 c heuristics/guideddiving/freq = -1
0.01/0.09 c
0.01/0.09 c # maximal fraction of diving LP iterations compared to node LP iterations
0.01/0.09 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
0.01/0.09 c heuristics/guideddiving/maxlpiterquot = 0.075
0.01/0.09 c
0.01/0.09 c # additional number of allowed LP iterations
0.01/0.09 c # [type: int, range: [0,2147483647], default: 1000]
0.01/0.09 c heuristics/guideddiving/maxlpiterofs = 1500
0.01/0.09 c
0.01/0.09 c # maximal fraction of diving LP iterations compared to node LP iterations
0.01/0.09 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
0.01/0.09 c heuristics/intdiving/maxlpiterquot = 0.075
0.01/0.09 c
0.01/0.09 c # frequency for calling primal heuristic <intshifting> (-1: never, 0: only at depth freqofs)
0.01/0.09 c # [type: int, range: [-1,2147483647], default: 10]
0.01/0.09 c heuristics/intshifting/freq = -1
0.01/0.09 c
0.01/0.09 c # frequency for calling primal heuristic <linesearchdiving> (-1: never, 0: only at depth freqofs)
0.01/0.09 c # [type: int, range: [-1,2147483647], default: 10]
0.01/0.09 c heuristics/linesearchdiving/freq = -1
0.01/0.09 c
0.01/0.09 c # maximal fraction of diving LP iterations compared to node LP iterations
0.01/0.09 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
0.01/0.09 c heuristics/linesearchdiving/maxlpiterquot = 0.075
0.01/0.09 c
0.01/0.09 c # additional number of allowed LP iterations
0.01/0.09 c # [type: int, range: [0,2147483647], default: 1000]
0.01/0.09 c heuristics/linesearchdiving/maxlpiterofs = 1500
0.01/0.09 c
0.01/0.09 c # frequency for calling primal heuristic <objpscostdiving> (-1: never, 0: only at depth freqofs)
0.01/0.09 c # [type: int, range: [-1,2147483647], default: 20]
0.01/0.09 c heuristics/objpscostdiving/freq = -1
0.01/0.09 c
0.01/0.09 c # maximal fraction of diving LP iterations compared to total iteration number
0.01/0.09 c # [type: real, range: [0,1], default: 0.01]
0.01/0.09 c heuristics/objpscostdiving/maxlpiterquot = 0.015
0.01/0.09 c
0.01/0.09 c # additional number of allowed LP iterations
0.01/0.09 c # [type: int, range: [0,2147483647], default: 1000]
0.01/0.09 c heuristics/objpscostdiving/maxlpiterofs = 1500
0.01/0.09 c
0.01/0.09 c # frequency for calling primal heuristic <oneopt> (-1: never, 0: only at depth freqofs)
0.01/0.09 c # [type: int, range: [-1,2147483647], default: 1]
0.01/0.09 c heuristics/oneopt/freq = -1
0.01/0.09 c
0.01/0.09 c # frequency for calling primal heuristic <pscostdiving> (-1: never, 0: only at depth freqofs)
0.01/0.09 c # [type: int, range: [-1,2147483647], default: 10]
0.01/0.09 c heuristics/pscostdiving/freq = -1
0.01/0.09 c
0.01/0.09 c # maximal fraction of diving LP iterations compared to node LP iterations
0.01/0.09 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
0.01/0.09 c heuristics/pscostdiving/maxlpiterquot = 0.075
0.01/0.09 c
0.01/0.09 c # additional number of allowed LP iterations
0.01/0.09 c # [type: int, range: [0,2147483647], default: 1000]
0.01/0.09 c heuristics/pscostdiving/maxlpiterofs = 1500
0.01/0.09 c
0.01/0.09 c # frequency for calling primal heuristic <rens> (-1: never, 0: only at depth freqofs)
0.01/0.09 c # [type: int, range: [-1,2147483647], default: 0]
0.01/0.09 c heuristics/rens/freq = -1
0.01/0.09 c
0.01/0.09 c # minimum percentage of integer variables that have to be fixable
0.01/0.09 c # [type: real, range: [0,1], default: 0.5]
0.01/0.09 c heuristics/rens/minfixingrate = 0.3
0.01/0.09 c
0.01/0.09 c # number of nodes added to the contingent of the total nodes
0.01/0.09 c # [type: longint, range: [0,9223372036854775807], default: 500]
0.01/0.09 c heuristics/rens/nodesofs = 2000
0.01/0.09 c
0.01/0.09 c # frequency for calling primal heuristic <rootsoldiving> (-1: never, 0: only at depth freqofs)
0.01/0.09 c # [type: int, range: [-1,2147483647], default: 20]
0.01/0.09 c heuristics/rootsoldiving/freq = -1
0.01/0.09 c
0.01/0.09 c # maximal fraction of diving LP iterations compared to node LP iterations
0.01/0.09 c # [type: real, range: [0,1.79769313486232e+308], default: 0.01]
0.01/0.09 c heuristics/rootsoldiving/maxlpiterquot = 0.015
0.01/0.09 c
0.01/0.09 c # additional number of allowed LP iterations
0.01/0.09 c # [type: int, range: [0,2147483647], default: 1000]
0.01/0.09 c heuristics/rootsoldiving/maxlpiterofs = 1500
0.01/0.09 c
0.01/0.09 c # frequency for calling primal heuristic <rounding> (-1: never, 0: only at depth freqofs)
0.01/0.09 c # [type: int, range: [-1,2147483647], default: 1]
0.01/0.09 c heuristics/rounding/freq = -1
0.01/0.09 c
0.01/0.09 c # frequency for calling primal heuristic <shiftandpropagate> (-1: never, 0: only at depth freqofs)
0.01/0.09 c # [type: int, range: [-1,2147483647], default: 0]
0.01/0.09 c heuristics/shiftandpropagate/freq = -1
0.01/0.09 c
0.01/0.09 c # frequency for calling primal heuristic <shifting> (-1: never, 0: only at depth freqofs)
0.01/0.09 c # [type: int, range: [-1,2147483647], default: 10]
0.01/0.09 c heuristics/shifting/freq = -1
0.01/0.09 c
0.01/0.09 c # frequency for calling primal heuristic <simplerounding> (-1: never, 0: only at depth freqofs)
0.01/0.09 c # [type: int, range: [-1,2147483647], default: 1]
0.01/0.09 c heuristics/simplerounding/freq = -1
0.01/0.09 c
0.01/0.09 c # frequency for calling primal heuristic <subnlp> (-1: never, 0: only at depth freqofs)
0.01/0.09 c # [type: int, range: [-1,2147483647], default: 1]
0.01/0.09 c heuristics/subnlp/freq = -1
0.01/0.09 c
0.01/0.09 c # frequency for calling primal heuristic <trivial> (-1: never, 0: only at depth freqofs)
0.01/0.09 c # [type: int, range: [-1,2147483647], default: 0]
0.01/0.09 c heuristics/trivial/freq = -1
0.01/0.09 c
0.01/0.09 c # frequency for calling primal heuristic <trysol> (-1: never, 0: only at depth freqofs)
0.01/0.09 c # [type: int, range: [-1,2147483647], default: 1]
0.01/0.09 c heuristics/trysol/freq = -1
0.01/0.09 c
0.01/0.09 c # frequency for calling primal heuristic <undercover> (-1: never, 0: only at depth freqofs)
0.01/0.09 c # [type: int, range: [-1,2147483647], default: 0]
0.01/0.09 c heuristics/undercover/freq = -1
0.01/0.09 c
0.01/0.09 c # frequency for calling primal heuristic <veclendiving> (-1: never, 0: only at depth freqofs)
0.01/0.09 c # [type: int, range: [-1,2147483647], default: 10]
0.01/0.09 c heuristics/veclendiving/freq = -1
0.01/0.09 c
0.01/0.09 c # maximal fraction of diving LP iterations compared to node LP iterations
0.01/0.09 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
0.01/0.09 c heuristics/veclendiving/maxlpiterquot = 0.075
0.01/0.09 c
0.01/0.09 c # additional number of allowed LP iterations
0.01/0.09 c # [type: int, range: [0,2147483647], default: 1000]
0.01/0.09 c heuristics/veclendiving/maxlpiterofs = 1500
0.01/0.09 c
0.01/0.09 c # frequency for calling primal heuristic <zirounding> (-1: never, 0: only at depth freqofs)
0.01/0.09 c # [type: int, range: [-1,2147483647], default: 1]
0.01/0.09 c heuristics/zirounding/freq = -1
0.01/0.09 c
0.01/0.09 c # frequency for calling separator <cmir> (-1: never, 0: only in root node)
0.01/0.09 c # [type: int, range: [-1,2147483647], default: 0]
0.01/0.09 c separating/cmir/freq = -1
0.01/0.09 c
0.01/0.09 c # frequency for calling separator <flowcover> (-1: never, 0: only in root node)
0.01/0.09 c # [type: int, range: [-1,2147483647], default: 0]
0.01/0.09 c separating/flowcover/freq = -1
0.01/0.09 c
0.01/0.09 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
0.01/0.09 c # [type: int, range: [-1,2147483647], default: -1]
0.01/0.09 c separating/rapidlearning/freq = 0
0.01/0.09 c
0.01/0.09 c -----------------------------------------------------------------------------------------------
0.01/0.09 c start solving
0.01/0.09 c
0.18/0.20 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
0.18/0.20 c 0.2s| 1 | 0 | 1074 | - | 10M| 0 | 307 |2340 |1678 |2340 |1678 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
0.38/0.48 c 0.5s| 1 | 0 | 1873 | - | 11M| 0 | 391 |2340 |1730 |2340 |1695 | 17 | 0 | 0 | 0.000000e+00 | -- | Inf
0.59/0.62 c 0.6s| 1 | 0 | 2237 | - | 11M| 0 | 403 |2340 |1730 |2340 |1706 | 28 | 0 | 0 | 0.000000e+00 | -- | Inf
0.79/0.85 c 0.8s| 1 | 0 | 3146 | - | 11M| 0 | 487 |2340 |1730 |2340 |1723 | 45 | 0 | 0 | 0.000000e+00 | -- | Inf
0.99/1.06 c 1.1s| 1 | 0 | 3914 | - | 11M| 0 | 533 |2340 |1730 |2340 |1743 | 65 | 0 | 0 | 0.000000e+00 | -- | Inf
1.19/1.28 c 1.3s| 1 | 0 | 4732 | - | 11M| 0 | 451 |2340 |1730 |2340 |1759 | 81 | 0 | 0 | 0.000000e+00 | -- | Inf
1.69/1.72 c 1.7s| 1 | 2 | 4732 | - | 11M| 0 | 451 |2340 |1730 |2340 |1759 | 81 | 0 | 16 | 0.000000e+00 | -- | Inf
48.07/48.10 c 48.1s| 10000 | 182 | 91528 | 8.7 | 15M| 87 | 41 |2340 |4024 |2340 |1718 | 81 | 20k|2685 | 0.000000e+00 | -- | Inf
76.47/76.59 c 76.6s| 20000 | 162 |192135 | 9.4 | 15M| 87 | - |2340 |4097 | 0 | 0 | 81 | 30k|3636 | 0.000000e+00 | -- | Inf
105.97/106.09 c 106s| 30000 | 167 |301093 | 9.9 | 16M| 98 | - |2340 |5104 |2340 |1718 | 81 | 39k|4797 | 0.000000e+00 | -- | Inf
136.57/136.64 c 137s| 40000 | 158 |414584 | 10.2 | 16M| 98 | - |2340 |5463 |2340 |1718 | 81 | 47k|5957 | 0.000000e+00 | -- | Inf
169.96/170.06 c 170s| 50000 | 160 |563769 | 11.2 | 19M| 98 | - |2340 |8477 |2340 |1718 | 81 | 61k|6570 | 0.000000e+00 | -- | Inf
200.85/200.92 c 201s| 60000 | 162 |694125 | 11.5 | 19M| 98 | 66 |2340 |8038 |2340 |1718 | 81 | 71k|7136 | 0.000000e+00 | -- | Inf
225.65/225.79 c 226s| 70000 | 162 |801831 | 11.4 | 19M| 98 | - |2340 |8106 |2340 |1718 | 81 | 76k|7229 | 0.000000e+00 | -- | Inf
261.65/261.80 c 262s| 80000 | 180 |948545 | 11.8 | 20M| 98 | 38 |2340 |9392 |2340 |1718 | 81 | 88k|8453 | 0.000000e+00 | -- | Inf
291.54/291.64 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
291.54/291.64 c 292s| 90000 | 193 | 1085k| 12.0 | 22M| 98 | 77 |2340 | 11k|2340 |1718 | 81 | 93k|8820 | 0.000000e+00 | -- | Inf
323.93/324.01 c 324s|100000 | 184 | 1214k| 12.1 | 18M| 98 | - |2340 |7823 |2340 |1718 | 81 | 102k|9946 | 0.000000e+00 | -- | Inf
358.54/358.66 c 359s|110000 | 180 | 1359k| 12.3 | 18M| 98 | - |2340 |6323 |2340 |1718 | 81 | 114k| 10k| 0.000000e+00 | -- | Inf
388.33/388.46 c 388s|120000 | 186 | 1491k| 12.4 | 19M| 98 | - |2340 |7503 |2340 |1718 | 81 | 121k| 11k| 0.000000e+00 | -- | Inf
416.32/416.40 c 416s|130000 | 172 | 1607k| 12.3 | 17M| 98 | - |2340 |5252 |2340 |1718 | 81 | 125k| 12k| 0.000000e+00 | -- | Inf
450.31/450.43 c 450s|140000 | 177 | 1754k| 12.5 | 18M| 98 | 63 |2340 |6113 |2340 |1718 | 81 | 133k| 12k| 0.000000e+00 | -- | Inf
479.81/479.94 c 480s|150000 | 184 | 1874k| 12.5 | 19M| 98 | - |2340 |7469 |2340 |1718 | 81 | 142k| 13k| 0.000000e+00 | -- | Inf
513.31/513.40 c 513s|160000 | 181 | 2013k| 12.6 | 19M| 98 | 53 |2340 |8668 |2340 |1718 | 81 | 153k| 14k| 0.000000e+00 | -- | Inf
545.61/545.77 c 546s|170000 | 166 | 2142k| 12.6 | 20M| 98 | - |2340 |9869 |2340 |1718 | 81 | 161k| 14k| 0.000000e+00 | -- | Inf
575.49/575.61 c 576s|180000 | 171 | 2270k| 12.6 | 21M| 98 | 80 |2340 |9990 |2340 |1718 | 81 | 169k| 15k| 0.000000e+00 | -- | Inf
601.98/602.19 c 602s|190000 | 179 | 2396k| 12.6 | 22M| 98 | - |2340 | 11k|2340 |1718 | 81 | 174k| 15k| 0.000000e+00 | -- | Inf
628.08/628.22 c 628s|200000 | 190 | 2499k| 12.5 | 25M| 98 | 70 |2340 | 14k|2340 |1718 | 81 | 183k| 15k| 0.000000e+00 | -- | Inf
657.58/657.71 c 658s|210000 | 187 | 2622k| 12.5 | 23M| 98 | 48 |2340 | 12k|2340 |1718 | 81 | 189k| 16k| 0.000000e+00 | -- | Inf
689.46/689.68 c 690s|220000 | 216 | 2770k| 12.6 | 22M| 98 | - |2340 | 10k|2340 |1718 | 81 | 196k| 17k| 0.000000e+00 | -- | Inf
715.46/715.68 c 716s|230000 | 208 | 2899k| 12.6 | 22M| 98 | - |2340 | 10k|2340 |1718 | 81 | 200k| 17k| 0.000000e+00 | -- | Inf
739.36/739.58 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
739.36/739.58 c 740s|240000 | 190 | 3005k| 12.5 | 23M| 98 | 68 |2340 | 11k|2340 |1718 | 81 | 203k| 17k| 0.000000e+00 | -- | Inf
768.15/768.34 c 768s|250000 | 184 | 3122k| 12.5 | 23M| 98 | - |2340 | 12k|2340 |1718 | 81 | 216k| 18k| 0.000000e+00 | -- | Inf
792.25/792.42 c 792s|260000 | 204 | 3227k| 12.4 | 24M| 98 | - |2340 | 13k|2340 |1718 | 81 | 220k| 18k| 0.000000e+00 | -- | Inf
818.44/818.62 c 819s|270000 | 193 | 3358k| 12.4 | 24M| 99 | 76 |2340 | 13k|2340 |1718 | 81 | 221k| 18k| 0.000000e+00 | -- | Inf
843.84/844.05 c 844s|280000 | 197 | 3478k| 12.4 | 25M| 99 | - |2340 | 14k|2340 |1718 | 81 | 224k| 18k| 0.000000e+00 | -- | Inf
870.83/871.05 c 871s|290000 | 209 | 3593k| 12.4 | 27M| 99 | - |2340 | 17k|2340 |1718 | 81 | 233k| 18k| 0.000000e+00 | -- | Inf
899.04/899.29 c 899s|300000 | 222 | 3713k| 12.4 | 29M| 99 | 72 |2340 | 19k|2340 |1718 | 81 | 244k| 19k| 0.000000e+00 | -- | Inf
928.43/928.69 c 929s|310000 | 241 | 3867k| 12.5 | 30M| 99 | - |2340 | 19k|2340 |1718 | 81 | 246k| 19k| 0.000000e+00 | -- | Inf
956.33/956.57 c 957s|320000 | 242 | 3988k| 12.4 | 30M| 99 | 67 |2340 | 19k|2340 |1718 | 81 | 252k| 19k| 0.000000e+00 | -- | Inf
986.32/986.53 c 987s|330000 | 239 | 4133k| 12.5 | 31M| 99 | 67 |2340 | 21k|2340 |1718 | 81 | 258k| 19k| 0.000000e+00 | -- | Inf
1014.32/1014.54 c 1015s|340000 | 249 | 4254k| 12.5 | 30M| 99 | 79 |2340 | 20k|2340 |1718 | 81 | 267k| 19k| 0.000000e+00 | -- | Inf
1040.61/1040.89 c 1041s|350000 | 250 | 4363k| 12.5 | 32M| 100 | 67 |2340 | 22k|2340 |1718 | 81 | 272k| 20k| 0.000000e+00 | -- | Inf
1066.41/1066.60 c 1067s|360000 | 256 | 4470k| 12.4 | 33M| 100 | - |2340 | 23k|2340 |1718 | 81 | 277k| 20k| 0.000000e+00 | -- | Inf
1092.90/1093.19 c 1093s|370000 | 254 | 4580k| 12.4 | 33M| 100 | - |2340 | 23k|2340 |1718 | 81 | 283k| 20k| 0.000000e+00 | -- | Inf
1121.70/1121.97 c 1122s|380000 | 225 | 4690k| 12.3 | 32M| 100 | 74 |2340 | 22k|2340 |1718 | 81 | 293k| 20k| 0.000000e+00 | -- | Inf
1146.09/1146.35 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1146.09/1146.35 c 1146s|390000 | 223 | 4791k| 12.3 | 30M| 100 | 76 |2340 | 19k|2340 |1718 | 81 | 297k| 20k| 0.000000e+00 | -- | Inf
1173.19/1173.48 c 1173s|400000 | 215 | 4910k| 12.3 | 30M| 100 | - |2340 | 19k|2340 |1718 | 81 | 304k| 21k| 0.000000e+00 | -- | Inf
1198.28/1198.56 c 1199s|410000 | 241 | 5025k| 12.2 | 28M| 100 | - |2340 | 16k|2340 |1718 | 81 | 308k| 21k| 0.000000e+00 | -- | Inf
1224.68/1224.92 c 1225s|420000 | 224 | 5149k| 12.2 | 29M| 100 | 64 |2340 | 18k|2340 |1718 | 81 | 311k| 21k| 0.000000e+00 | -- | Inf
1251.78/1252.06 c 1252s|430000 | 216 | 5275k| 12.3 | 27M| 100 | 71 |2340 | 15k|2340 |1718 | 81 | 313k| 21k| 0.000000e+00 | -- | Inf
1278.17/1278.49 c 1278s|440000 | 220 | 5397k| 12.3 | 31M| 100 | 73 |2340 | 19k|2340 |1718 | 81 | 321k| 21k| 0.000000e+00 | -- | Inf
1305.76/1306.00 c 1306s|450000 | 259 | 5514k| 12.2 | 32M| 100 | 70 |2340 | 21k|2340 |1718 | 81 | 330k| 22k| 0.000000e+00 | -- | Inf
1333.97/1334.25 c 1334s|460000 | 221 | 5625k| 12.2 | 33M| 100 | - |2340 | 21k|2340 |1718 | 81 | 346k| 22k| 0.000000e+00 | -- | Inf
1362.26/1362.51 c 1363s|470000 | 205 | 5749k| 12.2 | 36M| 100 | - |2340 | 24k|2340 |1718 | 81 | 354k| 22k| 0.000000e+00 | -- | Inf
1391.25/1391.59 c 1392s|480000 | 201 | 5874k| 12.2 | 33M| 100 | 68 |2340 | 21k|2340 |1718 | 81 | 362k| 22k| 0.000000e+00 | -- | Inf
1420.65/1420.94 c 1421s|490000 | 213 | 6011k| 12.3 | 29M| 100 | 61 |2340 | 17k|2340 |1718 | 81 | 369k| 22k| 0.000000e+00 | -- | Inf
1453.95/1454.22 c 1454s|500000 | 238 | 6193k| 12.4 | 30M| 100 | 63 |2340 | 18k|2340 |1718 | 81 | 375k| 23k| 0.000000e+00 | -- | Inf
1489.24/1489.50 c 1489s|510000 | 208 | 6356k| 12.5 | 28M| 100 | 64 |2340 | 16k|2340 |1718 | 81 | 380k| 24k| 0.000000e+00 | -- | Inf
1519.24/1519.50 c 1519s|520000 | 190 | 6459k| 12.4 | 31M| 100 | 74 |2340 | 18k|2340 |1718 | 81 | 387k| 25k| 0.000000e+00 | -- | Inf
1549.54/1549.83 c 1550s|530000 | 183 | 6594k| 12.4 | 31M| 100 | - |2340 | 18k|2340 |1718 | 81 | 397k| 26k| 0.000000e+00 | -- | Inf
1580.22/1580.51 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1580.22/1580.51 c 1580s|540000 | 181 | 6712k| 12.4 | 28M| 100 | 78 |2340 | 15k|2340 |1718 | 81 | 405k| 27k| 0.000000e+00 | -- | Inf
1608.32/1608.69 c 1609s|550000 | 175 | 6819k| 12.4 | 25M| 100 | - |2340 | 13k|2340 |1718 | 81 | 410k| 28k| 0.000000e+00 | -- | Inf
1634.32/1634.62 c 1635s|560000 | 205 | 6927k| 12.4 | 25M| 100 | - |2340 | 12k|2340 |1718 | 81 | 421k| 28k| 0.000000e+00 | -- | Inf
1661.11/1661.40 c 1661s|570000 | 214 | 7043k| 12.3 | 26M| 100 | - |2340 | 13k|2340 |1718 | 81 | 428k| 28k| 0.000000e+00 | -- | Inf
1687.51/1687.89 c 1688s|580000 | 195 | 7182k| 12.4 | 26M| 100 | 45 |2340 | 13k|2340 |1718 | 81 | 428k| 28k| 0.000000e+00 | -- | Inf
1713.51/1713.84 c 1714s|590000 | 209 | 7295k| 12.4 | 25M| 105 | 64 |2340 | 12k|2340 |1718 | 81 | 432k| 28k| 0.000000e+00 | -- | Inf
1737.40/1737.70 c 1738s|600000 | 203 | 7405k| 12.3 | 25M| 105 | 69 |2340 | 13k|2340 |1718 | 81 | 434k| 28k| 0.000000e+00 | -- | Inf
1762.50/1762.87 c 1763s|610000 | 203 | 7526k| 12.3 | 27M| 107 | - |2340 | 14k|2340 |1718 | 81 | 436k| 28k| 0.000000e+00 | -- | Inf
1790.99/1791.38 c 1791s|620000 | 274 | 7663k| 12.4 | 29M| 107 | 61 |2340 | 16k|2340 |1718 | 81 | 441k| 29k| 0.000000e+00 | -- | Inf
1796.69/1797.01 c
1796.69/1797.01 c SCIP Status : solving was interrupted [time limit reached]
1796.69/1797.01 c Solving Time (sec) : 1797.00
1796.69/1797.01 c Solving Nodes : 622054
1796.69/1797.01 c Primal Bound : +1.00000000000000e+20 (0 solutions)
1796.69/1797.01 c Dual Bound : +0.00000000000000e+00
1796.69/1797.01 c Gap : infinite
1796.69/1797.01 s UNKNOWN
1796.69/1797.01 c SCIP Status : solving was interrupted [time limit reached]
1796.69/1797.01 c Total Time : 1797.00
1796.69/1797.01 c solving : 1797.00
1796.69/1797.01 c presolving : 0.04 (included in solving)
1796.69/1797.01 c reading : 0.03 (included in solving)
1796.69/1797.01 c Original Problem :
1796.69/1797.01 c Problem name : HOME/instance-3730496-1338688399.opb
1796.69/1797.01 c Variables : 2340 (2340 binary, 0 integer, 0 implicit integer, 0 continuous)
1796.69/1797.01 c Constraints : 1678 initial, 1678 maximal
1796.69/1797.01 c Presolved Problem :
1796.69/1797.01 c Problem name : t_HOME/instance-3730496-1338688399.opb
1796.69/1797.01 c Variables : 2340 (2340 binary, 0 integer, 0 implicit integer, 0 continuous)
1796.69/1797.01 c Constraints : 1678 initial, 25567 maximal
1796.69/1797.01 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons AddCons ChgSides ChgCoefs
1796.69/1797.01 c trivial : 0.00 0 0 0 0 0 0 0 0 0
1796.69/1797.01 c dualfix : 0.00 0 0 0 0 0 0 0 0 0
1796.69/1797.01 c boundshift : 0.00 0 0 0 0 0 0 0 0 0
1796.69/1797.01 c inttobinary : 0.00 0 0 0 0 0 0 0 0 0
1796.69/1797.01 c pseudoobj : 0.00 0 0 0 0 0 0 0 0 0
1796.69/1797.01 c implics : 0.00 0 0 0 0 0 0 0 0 0
1796.69/1797.01 c probing : 0.00 0 0 0 0 0 0 0 0 0
1796.69/1797.01 c setppc : 0.00 0 0 0 0 0 0 0 0 0
1796.69/1797.01 c linear : 0.02 0 0 0 0 0 0 0 0 0
1796.69/1797.01 c logicor : 0.02 0 0 0 0 0 0 0 0 0
1796.69/1797.01 c root node : - 0 - - 0 - - - - -
1796.69/1797.01 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS #Check #Resprop Cutoffs DomReds Cuts Conss Children
1796.69/1797.01 c integral : 0 0 0 314832 0 1 0 150 2115 0 0 625662
1796.69/1797.01 c setppc : 79 5 1723713 0 1 0 50254236 480 7718182 0 0 0
1796.69/1797.01 c linear : 0+ 5 187 0 0 0 0 0 0 0 0 0
1796.69/1797.01 c logicor : 1599+ 5 668467 0 1 0 412918 1255 475879 0 0 0
1796.69/1797.01 c countsols : 0 0 0 0 1 0 0 0 0 0 0 0
1796.69/1797.01 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS Check Resprop
1796.69/1797.01 c integral : 116.36 0.00 0.00 116.36 0.00 0.00 0.00
1796.69/1797.01 c setppc : 21.10 0.00 8.73 0.00 0.00 0.00 12.37
1796.69/1797.01 c linear : 0.00 0.00 0.00 0.00 0.00 0.00 0.00
1796.69/1797.01 c logicor : 39.81 0.00 38.72 0.00 0.00 0.00 1.08
1796.69/1797.01 c countsols : 0.00 0.00 0.00 0.00 0.00 0.00 0.00
1796.69/1797.01 c Propagators : #Propagate #Resprop Cutoffs DomReds
1796.69/1797.01 c vbounds : 0 0 0 0
1796.69/1797.01 c rootredcost : 0 0 0 0
1796.69/1797.01 c pseudoobj : 0 0 0 0
1796.69/1797.01 c Propagator Timings : TotalTime Propagate Resprop
1796.69/1797.01 c vbounds : 0.20 0.20 0.00
1796.69/1797.01 c rootredcost : 0.22 0.22 0.00
1796.69/1797.01 c pseudoobj : 0.14 0.14 0.00
1796.69/1797.01 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1796.69/1797.01 c propagation : 0.20 1735 1724 16988 94.0 15 70.7 -
1796.69/1797.01 c infeasible LP : 292.50 307772 130452 3405688 248.9 929 63.0 0
1796.69/1797.01 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1796.69/1797.01 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1796.69/1797.01 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 -
1796.69/1797.01 c applied globally : - - - 441528 113.2 - - -
1796.69/1797.01 c applied locally : - - - 0 0.0 - - -
1796.69/1797.01 c Separators : Time Calls Cutoffs DomReds Cuts Conss
1796.69/1797.01 c cut pool : 0.00 4 - - 0 - (maximal pool size: 150)
1796.69/1797.01 c redcost : 10.47 313136 0 0 0 0
1796.69/1797.01 c impliedbounds : 0.00 5 0 0 0 0
1796.69/1797.01 c intobj : 0.00 0 0 0 0 0
1796.69/1797.01 c gomory : 0.15 5 0 0 2444 0
1796.69/1797.01 c cgmip : 0.00 0 0 0 0 0
1796.69/1797.01 c closecuts : 0.00 0 0 0 0 0
1796.69/1797.01 c strongcg : 0.14 5 0 0 2444 0
1796.69/1797.01 c cmir : 0.00 0 0 0 0 0
1796.69/1797.01 c flowcover : 0.00 0 0 0 0 0
1796.69/1797.01 c clique : 0.02 5 0 0 0 0
1796.69/1797.01 c zerohalf : 0.00 0 0 0 0 0
1796.69/1797.01 c mcf : 0.00 1 0 0 0 0
1796.69/1797.01 c oddcycle : 0.00 0 0 0 0 0
1796.69/1797.01 c rapidlearning : 0.09 1 0 0 0 52
1796.69/1797.01 c Pricers : Time Calls Vars
1796.69/1797.01 c problem variables: 0.00 0 0
1796.69/1797.01 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
1796.69/1797.01 c relpscost : 116.15 314832 150 2115 0 0 625662
1796.69/1797.01 c pscost : 0.00 0 0 0 0 0 0
1796.69/1797.01 c inference : 0.00 1 0 0 0 0 2
1796.69/1797.01 c mostinf : 0.00 0 0 0 0 0 0
1796.69/1797.01 c leastinf : 0.00 0 0 0 0 0 0
1796.69/1797.01 c fullstrong : 0.00 0 0 0 0 0 0
1796.69/1797.01 c allfullstrong : 0.00 0 0 0 0 0 0
1796.69/1797.01 c random : 0.00 0 0 0 0 0 0
1796.69/1797.01 c Primal Heuristics : Time Calls Found
1796.69/1797.01 c LP solutions : 0.00 - 0
1796.69/1797.01 c pseudo solutions : 0.00 - 0
1796.69/1797.01 c trivial : 0.00 1 0
1796.69/1797.01 c shiftandpropagate: 0.00 0 0
1796.69/1797.01 c simplerounding : 0.00 0 0
1796.69/1797.01 c zirounding : 0.00 0 0
1796.69/1797.01 c rounding : 0.00 0 0
1796.69/1797.01 c shifting : 0.00 0 0
1796.69/1797.01 c intshifting : 0.00 0 0
1796.69/1797.01 c oneopt : 0.00 0 0
1796.69/1797.01 c twoopt : 0.00 0 0
1796.69/1797.01 c fixandinfer : 0.00 0 0
1796.69/1797.01 c feaspump : 0.00 0 0
1796.69/1797.01 c clique : 0.00 0 0
1796.69/1797.01 c coefdiving : 0.00 0 0
1796.69/1797.01 c pscostdiving : 0.00 0 0
1796.69/1797.01 c fracdiving : 0.00 0 0
1796.69/1797.01 c veclendiving : 0.00 0 0
1796.69/1797.01 c intdiving : 0.00 0 0
1796.69/1797.01 c actconsdiving : 0.00 0 0
1796.69/1797.01 c objpscostdiving : 0.00 0 0
1796.69/1797.01 c rootsoldiving : 0.00 0 0
1796.69/1797.01 c linesearchdiving : 0.00 0 0
1796.69/1797.01 c guideddiving : 0.00 0 0
1796.69/1797.01 c octane : 0.00 0 0
1796.69/1797.01 c rens : 0.00 0 0
1796.69/1797.01 c rins : 0.00 0 0
1796.69/1797.01 c localbranching : 0.00 0 0
1796.69/1797.01 c mutation : 0.00 0 0
1796.69/1797.01 c crossover : 0.00 0 0
1796.69/1797.01 c dins : 0.00 0 0
1796.69/1797.01 c vbounds : 0.00 0 0
1796.69/1797.01 c undercover : 0.00 0 0
1796.69/1797.01 c subnlp : 0.00 0 0
1796.69/1797.01 c trysol : 0.00 0 0
1796.69/1797.01 c LP : Time Calls Iterations Iter/call Iter/sec
1796.69/1797.01 c primal LP : 0.00 0 0 0.00 -
1796.69/1797.01 c dual LP : 1140.70 622104 7691014 12.36 6742.36
1796.69/1797.01 c lex dual LP : 0.00 0 0 0.00 -
1796.69/1797.01 c barrier LP : 0.00 0 0 0.00 -
1796.69/1797.01 c diving/probing LP: 0.00 0 0 0.00 -
1796.69/1797.01 c strong branching : 108.31 29051 590078 20.31 5448.20
1796.69/1797.01 c (at root node) : - 16 2433 152.06 -
1796.69/1797.01 c conflict analysis: 0.00 0 0 0.00 -
1796.69/1797.01 c B&B Tree :
1796.69/1797.01 c number of runs : 1
1796.69/1797.01 c nodes : 622054
1796.69/1797.01 c nodes (total) : 622054
1796.69/1797.01 c nodes left : 306
1796.69/1797.01 c max depth : 107
1796.69/1797.01 c max depth (total): 107
1796.69/1797.01 c backtracks : 74791 (12.0%)
1796.69/1797.01 c delayed cutoffs : 3305
1796.69/1797.01 c repropagations : 551415 (650729 domain reductions, 435 cutoffs)
1796.69/1797.01 c avg switch length: 4.10
1796.69/1797.01 c switching time : 54.49
1796.69/1797.01 c Solution :
1796.69/1797.01 c Solutions found : 0 (0 improvements)
1796.69/1797.01 c Primal Bound : -
1796.69/1797.01 c Dual Bound : +0.00000000000000e+00
1796.69/1797.01 c Gap : infinite
1796.69/1797.01 c Root Dual Bound : +0.00000000000000e+00
1796.69/1797.01 c Root Iterations : 4732
1796.69/1797.04 c Time complete: 1796.74.
runsolver Copyright (C) 2010-2011 Olivier ROUSSEL
This is runsolver version 3.3.1 (svn: 989)
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3730496-1338688399/watcher-3730496-1338688399 -o /tmp/evaluation-result-3730496-1338688399/solver-3730496-1338688399 -C 1800 -W 1900 -M 15500 HOME/scip-2.0.1.4b_2.linux.x86_64.gnu.opt.spx -f HOME/instance-3730496-1338688399.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: 2.02 2.01 2.00 3/176 1004
/proc/meminfo: memFree=29405044/32873648 swapFree=7628/7628
[pid=1004] ppid=1002 vsize=11812 CPUtime=0 cores=0,2,4,6
/proc/1004/stat : 1004 (runsolver) D 1002 1004 20657 0 -1 4202560 41 0 0 0 0 0 0 0 20 0 1 0 334965918 12095488 50 33554432000 4194304 5436572 140733700380144 140733700376440 4883175 0 0 4096 24578 18446744071579943789 0 0 17 0 0 0 0 0 0
/proc/1004/statm: 2953 50 31 304 0 2645 0
[startup+0.029288 s]
/proc/loadavg: 2.02 2.01 2.00 3/176 1004
/proc/meminfo: memFree=29405044/32873648 swapFree=7628/7628
[pid=1004] ppid=1002 vsize=16244 CPUtime=0.01 cores=0,2,4,6
/proc/1004/stat : 1004 (scip-2.0.1.4b_2) R 1002 1004 20657 0 -1 4202496 3046 0 0 0 1 0 0 0 20 0 1 0 334965918 16633856 3001 33554432000 4194304 9016284 140735384431088 140733700376328 7928096 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/1004/statm: 4111 3020 357 1178 0 2929 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 16244
[startup+0.100248 s]
/proc/loadavg: 2.02 2.01 2.00 3/176 1004
/proc/meminfo: memFree=29405044/32873648 swapFree=7628/7628
[pid=1004] ppid=1002 vsize=35292 CPUtime=0.08 cores=0,2,4,6
/proc/1004/stat : 1004 (scip-2.0.1.4b_2) R 1002 1004 20657 0 -1 4202496 7846 0 0 0 7 1 0 0 20 0 1 0 334965918 36139008 7510 33554432000 4194304 9016284 140735384431088 140733700376328 6569166 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/1004/statm: 8823 7512 549 1178 0 7641 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 35292
[startup+0.300214 s]
/proc/loadavg: 2.02 2.01 2.00 3/176 1004
/proc/meminfo: memFree=29405044/32873648 swapFree=7628/7628
[pid=1004] ppid=1002 vsize=64188 CPUtime=0.28 cores=0,2,4,6
/proc/1004/stat : 1004 (scip-2.0.1.4b_2) R 1002 1004 20657 0 -1 4202496 15520 0 0 0 26 2 0 0 20 0 1 0 334965918 65728512 14633 33554432000 4194304 9016284 140735384431088 140733700376328 4881172 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/1004/statm: 16047 14633 640 1178 0 14865 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 64188
[startup+0.700197 s]
/proc/loadavg: 2.02 2.01 2.00 3/176 1004
/proc/meminfo: memFree=29405044/32873648 swapFree=7628/7628
[pid=1004] ppid=1002 vsize=64324 CPUtime=0.69 cores=0,2,4,6
/proc/1004/stat : 1004 (scip-2.0.1.4b_2) R 1002 1004 20657 0 -1 4202496 16344 0 0 0 66 3 0 0 20 0 1 0 334965918 65867776 14751 33554432000 4194304 9016284 140735384431088 140735384426152 7925162 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/1004/statm: 16081 14751 658 1178 0 14899 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 64324
[startup+1.50022 s]
/proc/loadavg: 2.02 2.01 2.00 3/177 1005
/proc/meminfo: memFree=29347856/32873648 swapFree=7628/7628
[pid=1004] ppid=1002 vsize=64324 CPUtime=1.49 cores=0,2,4,6
/proc/1004/stat : 1004 (scip-2.0.1.4b_2) R 1002 1004 20657 0 -1 4202496 16612 0 0 0 145 4 0 0 20 0 1 0 334965918 65867776 15019 33554432000 4194304 9016284 140735384431088 140735384426200 7925162 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/1004/statm: 16081 15019 659 1178 0 14899 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 64324
[startup+3.10022 s]
/proc/loadavg: 2.02 2.01 2.00 3/177 1005
/proc/meminfo: memFree=29346980/32873648 swapFree=7628/7628
[pid=1004] ppid=1002 vsize=64324 CPUtime=3.08 cores=0,2,4,6
/proc/1004/stat : 1004 (scip-2.0.1.4b_2) R 1002 1004 20657 0 -1 4202496 16616 0 0 0 304 4 0 0 20 0 1 0 334965918 65867776 15023 33554432000 4194304 9016284 140735384431088 140735384425144 7925162 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/1004/statm: 16081 15023 663 1178 0 14899 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 64324
[startup+6.30023 s]
/proc/loadavg: 2.02 2.01 2.00 3/177 1005
/proc/meminfo: memFree=29346864/32873648 swapFree=7628/7628
[pid=1004] ppid=1002 vsize=64324 CPUtime=6.28 cores=0,2,4,6
/proc/1004/stat : 1004 (scip-2.0.1.4b_2) R 1002 1004 20657 0 -1 4202496 16616 0 0 0 621 7 0 0 20 0 1 0 334965918 65867776 15023 33554432000 4194304 9016284 140735384431088 140735384424936 7925162 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/1004/statm: 16081 15023 663 1178 0 14899 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 64324
[startup+12.7002 s]
/proc/loadavg: 2.09 2.02 2.00 3/177 1005
/proc/meminfo: memFree=29356120/32873648 swapFree=7628/7628
[pid=1004] ppid=1002 vsize=64324 CPUtime=12.69 cores=0,2,4,6
/proc/1004/stat : 1004 (scip-2.0.1.4b_2) R 1002 1004 20657 0 -1 4202496 16616 0 0 0 1258 11 0 0 20 0 1 0 334965918 65867776 15023 33554432000 4194304 9016284 140735384431088 140735384424344 7925162 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/1004/statm: 16081 15023 663 1178 0 14899 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 64324
[startup+25.5002 s]
/proc/loadavg: 2.07 2.02 2.00 3/177 1005
/proc/meminfo: memFree=29356104/32873648 swapFree=7628/7628
[pid=1004] ppid=1002 vsize=64324 CPUtime=25.48 cores=0,2,4,6
/proc/1004/stat : 1004 (scip-2.0.1.4b_2) R 1002 1004 20657 0 -1 4202496 16624 0 0 0 2529 19 0 0 20 0 1 0 334965918 65867776 15031 33554432000 4194304 9016284 140735384431088 140735384425256 7925162 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/1004/statm: 16081 15031 665 1178 0 14899 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 64324
[startup+51.1003 s]
/proc/loadavg: 2.05 2.02 2.00 3/177 1005
/proc/meminfo: memFree=29352768/32873648 swapFree=7628/7628
[pid=1004] ppid=1002 vsize=64324 CPUtime=51.07 cores=0,2,4,6
/proc/1004/stat : 1004 (scip-2.0.1.4b_2) R 1002 1004 20657 0 -1 4202496 16702 0 0 0 5074 33 0 0 20 0 1 0 334965918 65867776 15109 33554432000 4194304 9016284 140735384431088 140735384425256 7925162 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/1004/statm: 16081 15109 665 1178 0 14899 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 64324
[startup+102.306 s]
/proc/loadavg: 2.02 2.02 2.00 3/177 1005
/proc/meminfo: memFree=29353352/32873648 swapFree=7628/7628
[pid=1004] ppid=1002 vsize=64324 CPUtime=102.28 cores=0,2,4,6
/proc/1004/stat : 1004 (scip-2.0.1.4b_2) R 1002 1004 20657 0 -1 4202496 16702 0 0 0 10167 61 0 0 20 0 1 0 334965918 65867776 15109 33554432000 4194304 9016284 140735384431088 140735384425416 7925162 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/1004/statm: 16081 15109 665 1178 0 14899 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 64324
[startup+162.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/177 1005
/proc/meminfo: memFree=29352948/32873648 swapFree=7628/7628
[pid=1004] ppid=1002 vsize=65388 CPUtime=162.26 cores=0,2,4,6
/proc/1004/stat : 1004 (scip-2.0.1.4b_2) R 1002 1004 20657 0 -1 4202496 16957 0 0 0 16130 96 0 0 20 0 1 0 334965918 66957312 15364 33554432000 4194304 9016284 140735384431088 140735384425048 4991216 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/1004/statm: 16347 15364 665 1178 0 15165 0
Current children cumulated CPU time (s) 162.26
Current children cumulated vsize (KiB) 65388
[startup+222.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 1005
/proc/meminfo: memFree=29354612/32873648 swapFree=7628/7628
[pid=1004] ppid=1002 vsize=68012 CPUtime=222.25 cores=0,2,4,6
/proc/1004/stat : 1004 (scip-2.0.1.4b_2) R 1002 1004 20657 0 -1 4202496 17621 0 0 0 22096 129 0 0 20 0 1 0 334965918 69644288 16028 33554432000 4194304 9016284 140735384431088 140735384425416 7925162 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/1004/statm: 17003 16028 665 1178 0 15821 0
Current children cumulated CPU time (s) 222.25
Current children cumulated vsize (KiB) 68012
[startup+282.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 1006
/proc/meminfo: memFree=29346572/32873648 swapFree=7628/7628
[pid=1004] ppid=1002 vsize=69820 CPUtime=282.25 cores=0,2,4,6
/proc/1004/stat : 1004 (scip-2.0.1.4b_2) R 1002 1004 20657 0 -1 4202496 18081 0 0 0 28064 161 0 0 20 0 1 0 334965918 71495680 16478 33554432000 4194304 9016284 140735384431088 140735384425256 4291197 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/1004/statm: 17455 16478 665 1178 0 16273 0
Current children cumulated CPU time (s) 282.25
Current children cumulated vsize (KiB) 69820
[startup+342.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 1006
/proc/meminfo: memFree=29350296/32873648 swapFree=7628/7628
[pid=1004] ppid=1002 vsize=72248 CPUtime=342.23 cores=0,2,4,6
/proc/1004/stat : 1004 (scip-2.0.1.4b_2) R 1002 1004 20657 0 -1 4202496 18705 0 0 0 34030 193 0 0 20 0 1 0 334965918 73981952 17101 33554432000 4194304 9016284 140735384431088 140735384425256 7925162 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/1004/statm: 18062 17101 665 1178 0 16880 0
Current children cumulated CPU time (s) 342.23
Current children cumulated vsize (KiB) 72248
[startup+402.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 1006
/proc/meminfo: memFree=29335036/32873648 swapFree=7628/7628
[pid=1004] ppid=1002 vsize=72576 CPUtime=402.22 cores=0,2,4,6
/proc/1004/stat : 1004 (scip-2.0.1.4b_2) R 1002 1004 20657 0 -1 4202496 18780 0 0 0 39994 228 0 0 20 0 1 0 334965918 74317824 17176 33554432000 4194304 9016284 140735384431088 140735384425256 4979559 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/1004/statm: 18144 17176 665 1178 0 16962 0
Current children cumulated CPU time (s) 402.22
Current children cumulated vsize (KiB) 72576
[startup+462.3 s]
/proc/loadavg: 2.04 2.01 2.00 3/178 1010
/proc/meminfo: memFree=29330436/32873648 swapFree=7628/7628
[pid=1004] ppid=1002 vsize=72904 CPUtime=462.22 cores=0,2,4,6
/proc/1004/stat : 1004 (scip-2.0.1.4b_2) R 1002 1004 20657 0 -1 4202496 18859 0 0 0 45960 262 0 0 20 0 1 0 334965918 74653696 17255 33554432000 4194304 9016284 140735384431088 140735384425416 7925162 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/1004/statm: 18226 17255 665 1178 0 17044 0
Current children cumulated CPU time (s) 462.22
Current children cumulated vsize (KiB) 72904
[startup+522.3 s]
/proc/loadavg: 2.06 2.02 2.00 3/178 1032
/proc/meminfo: memFree=29328940/32873648 swapFree=7628/7628
[pid=1004] ppid=1002 vsize=74036 CPUtime=522.21 cores=0,2,4,6
/proc/1004/stat : 1004 (scip-2.0.1.4b_2) R 1002 1004 20657 0 -1 4202496 19173 0 0 0 51925 296 0 0 20 0 1 0 334965918 75812864 17569 33554432000 4194304 9016284 140735384431088 140735384424392 7925162 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/1004/statm: 18509 17569 665 1178 0 17327 0
Current children cumulated CPU time (s) 522.21
Current children cumulated vsize (KiB) 74036
[startup+582.3 s]
/proc/loadavg: 2.02 2.02 2.00 3/177 1033
/proc/meminfo: memFree=29326936/32873648 swapFree=7628/7628
[pid=1004] ppid=1002 vsize=74176 CPUtime=582.19 cores=0,2,4,6
/proc/1004/stat : 1004 (scip-2.0.1.4b_2) R 1002 1004 20657 0 -1 4202496 19194 0 0 0 57891 328 0 0 20 0 1 0 334965918 75956224 17711 33554432000 4194304 9016284 140735384431088 140735384425416 7925162 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/1004/statm: 18544 17711 665 1178 0 17362 0
Current children cumulated CPU time (s) 582.19
Current children cumulated vsize (KiB) 74176
[startup+642.3 s]
################
# More data... #
################
/proc/meminfo: memFree=28353172/32873648 swapFree=7628/7628
[pid=1004] ppid=1002 vsize=93964 CPUtime=1122.09 cores=0,2,4,6
/proc/1004/stat : 1004 (scip-2.0.1.4b_2) R 1002 1004 20657 0 -1 4202496 24151 0 0 0 111550 659 0 0 20 0 1 0 334965918 96219136 22910 33554432000 4194304 9016284 140735384431088 140735384425256 4347574 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/1004/statm: 23491 22910 665 1178 0 22309 0
Current children cumulated CPU time (s) 1122.09
Current children cumulated vsize (KiB) 93964
[startup+1182.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 1077
/proc/meminfo: memFree=28324600/32873648 swapFree=7628/7628
[pid=1004] ppid=1002 vsize=94392 CPUtime=1182.08 cores=0,2,4,6
/proc/1004/stat : 1004 (scip-2.0.1.4b_2) R 1002 1004 20657 0 -1 4202496 24277 0 0 0 117516 692 0 0 20 0 1 0 334965918 96657408 23023 33554432000 4194304 9016284 140735384431088 140735384425000 7925162 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/1004/statm: 23598 23023 665 1178 0 22416 0
Current children cumulated CPU time (s) 1182.08
Current children cumulated vsize (KiB) 94392
[startup+1242.3 s]
/proc/loadavg: 2.05 2.01 2.00 3/177 1078
/proc/meminfo: memFree=28284552/32873648 swapFree=7628/7628
[pid=1004] ppid=1002 vsize=94540 CPUtime=1242.07 cores=0,2,4,6
/proc/1004/stat : 1004 (scip-2.0.1.4b_2) R 1002 1004 20657 0 -1 4202496 24306 0 0 0 123476 731 0 0 20 0 1 0 334965918 96808960 23052 33554432000 4194304 9016284 140735384431088 140735384425000 6422937 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/1004/statm: 23635 23052 665 1178 0 22453 0
Current children cumulated CPU time (s) 1242.07
Current children cumulated vsize (KiB) 94540
[startup+1302.3 s]
/proc/loadavg: 2.02 2.01 2.00 3/177 1078
/proc/meminfo: memFree=28308988/32873648 swapFree=7628/7628
[pid=1004] ppid=1002 vsize=95864 CPUtime=1302.07 cores=0,2,4,6
/proc/1004/stat : 1004 (scip-2.0.1.4b_2) R 1002 1004 20657 0 -1 4202496 24656 0 0 0 129442 765 0 0 20 0 1 0 334965918 98164736 23402 33554432000 4194304 9016284 140735384431088 140735384425416 7925162 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/1004/statm: 23966 23402 665 1178 0 22784 0
Current children cumulated CPU time (s) 1302.07
Current children cumulated vsize (KiB) 95864
[startup+1362.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 1078
/proc/meminfo: memFree=28248452/32873648 swapFree=7628/7628
[pid=1004] ppid=1002 vsize=96888 CPUtime=1362.06 cores=0,2,4,6
/proc/1004/stat : 1004 (scip-2.0.1.4b_2) R 1002 1004 20657 0 -1 4202496 24900 0 0 0 135406 800 0 0 20 0 1 0 334965918 99213312 23646 33554432000 4194304 9016284 140735384431088 140735384425048 6422925 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/1004/statm: 24222 23646 665 1178 0 23040 0
Current children cumulated CPU time (s) 1362.06
Current children cumulated vsize (KiB) 96888
[startup+1422.31 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 1078
/proc/meminfo: memFree=28244960/32873648 swapFree=7628/7628
[pid=1004] ppid=1002 vsize=97664 CPUtime=1422.05 cores=0,2,4,6
/proc/1004/stat : 1004 (scip-2.0.1.4b_2) R 1002 1004 20657 0 -1 4202496 25102 0 0 0 141370 835 0 0 20 0 1 0 334965918 100007936 23848 33554432000 4194304 9016284 140735384431088 140735384425048 6523992 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/1004/statm: 24416 23848 665 1178 0 23234 0
Current children cumulated CPU time (s) 1422.05
Current children cumulated vsize (KiB) 97664
[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 1078
/proc/meminfo: memFree=28244180/32873648 swapFree=7628/7628
[pid=1004] ppid=1002 vsize=98692 CPUtime=1482.04 cores=0,2,4,6
/proc/1004/stat : 1004 (scip-2.0.1.4b_2) R 1002 1004 20657 0 -1 4202496 25338 0 0 0 147326 878 0 0 20 0 1 0 334965918 101060608 24084 33554432000 4194304 9016284 140735384431088 140735384425000 7925162 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/1004/statm: 24673 24084 665 1178 0 23491 0
Current children cumulated CPU time (s) 1482.04
Current children cumulated vsize (KiB) 98692
[startup+1542.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 1079
/proc/meminfo: memFree=28243416/32873648 swapFree=7628/7628
[pid=1004] ppid=1002 vsize=99260 CPUtime=1542.02 cores=0,2,4,6
/proc/1004/stat : 1004 (scip-2.0.1.4b_2) R 1002 1004 20657 0 -1 4202496 25511 0 0 0 153290 912 0 0 20 0 1 0 334965918 101642240 24257 33554432000 4194304 9016284 140735384431088 140735384425368 7925162 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/1004/statm: 24815 24257 665 1178 0 23633 0
Current children cumulated CPU time (s) 1542.02
Current children cumulated vsize (KiB) 99260
[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 1082
/proc/meminfo: memFree=28211540/32873648 swapFree=7628/7628
[pid=1004] ppid=1002 vsize=100996 CPUtime=1602.02 cores=0,2,4,6
/proc/1004/stat : 1004 (scip-2.0.1.4b_2) R 1002 1004 20657 0 -1 4202496 25923 0 0 0 159253 949 0 0 20 0 1 0 334965918 103419904 24669 33554432000 4194304 9016284 140735384431088 140735384425144 7925162 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/1004/statm: 25249 24669 665 1178 0 24067 0
Current children cumulated CPU time (s) 1602.02
Current children cumulated vsize (KiB) 100996
[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 1082
/proc/meminfo: memFree=28210612/32873648 swapFree=7628/7628
[pid=1004] ppid=1002 vsize=101272 CPUtime=1662.01 cores=0,2,4,6
/proc/1004/stat : 1004 (scip-2.0.1.4b_2) R 1002 1004 20657 0 -1 4202496 26000 0 0 0 165213 988 0 0 20 0 1 0 334965918 103702528 24746 33554432000 4194304 9016284 140735384431088 140735384425256 7925162 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/1004/statm: 25318 24746 665 1178 0 24136 0
Current children cumulated CPU time (s) 1662.01
Current children cumulated vsize (KiB) 101272
[startup+1722.3 s]
/proc/loadavg: 2.06 2.01 2.00 3/177 1082
/proc/meminfo: memFree=28208728/32873648 swapFree=7628/7628
[pid=1004] ppid=1002 vsize=101272 CPUtime=1722.01 cores=0,2,4,6
/proc/1004/stat : 1004 (scip-2.0.1.4b_2) R 1002 1004 20657 0 -1 4202496 26009 0 0 0 171175 1026 0 0 20 0 1 0 334965918 103702528 24755 33554432000 4194304 9016284 140735384431088 140735384425048 4347574 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/1004/statm: 25318 24755 665 1178 0 24136 0
Current children cumulated CPU time (s) 1722.01
Current children cumulated vsize (KiB) 101272
[startup+1782.3 s]
/proc/loadavg: 2.02 2.01 2.00 3/177 1082
/proc/meminfo: memFree=28202616/32873648 swapFree=7628/7628
[pid=1004] ppid=1002 vsize=101416 CPUtime=1781.99 cores=0,2,4,6
/proc/1004/stat : 1004 (scip-2.0.1.4b_2) R 1002 1004 20657 0 -1 4202496 26016 0 0 0 177137 1062 0 0 20 0 1 0 334965918 103849984 24762 33554432000 4194304 9016284 140735384431088 140735384425048 7925162 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/1004/statm: 25354 24762 665 1178 0 24172 0
Current children cumulated CPU time (s) 1781.99
Current children cumulated vsize (KiB) 101416
Solver just ended. Dumping a history of the last processes samples
[startup+1785.5 s]
/proc/loadavg: 2.02 2.01 2.00 3/177 1082
/proc/meminfo: memFree=28202740/32873648 swapFree=7628/7628
[pid=1004] ppid=1002 vsize=101416 CPUtime=1785.19 cores=0,2,4,6
/proc/1004/stat : 1004 (scip-2.0.1.4b_2) R 1002 1004 20657 0 -1 4202496 26016 0 0 0 177456 1063 0 0 20 0 1 0 334965918 103849984 24762 33554432000 4194304 9016284 140735384431088 140735384424952 7925162 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/1004/statm: 25354 24762 665 1178 0 24172 0
Current children cumulated CPU time (s) 1785.19
Current children cumulated vsize (KiB) 101416
[startup+1791.91 s]
/proc/loadavg: 2.02 2.01 2.00 3/176 1082
/proc/meminfo: memFree=28202616/32873648 swapFree=7628/7628
[pid=1004] ppid=1002 vsize=101416 CPUtime=1791.6 cores=0,2,4,6
/proc/1004/stat : 1004 (scip-2.0.1.4b_2) R 1002 1004 20657 0 -1 4202496 26016 0 0 0 178092 1068 0 0 20 0 1 0 334965918 103849984 24762 33554432000 4194304 9016284 140735384431088 140735384425416 7925162 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/1004/statm: 25354 24762 665 1178 0 24172 0
Current children cumulated CPU time (s) 1791.6
Current children cumulated vsize (KiB) 101416
[startup+1795.1 s]
/proc/loadavg: 2.02 2.01 2.00 3/177 1083
/proc/meminfo: memFree=28202980/32873648 swapFree=7628/7628
[pid=1004] ppid=1002 vsize=101416 CPUtime=1794.79 cores=0,2,4,6
/proc/1004/stat : 1004 (scip-2.0.1.4b_2) R 1002 1004 20657 0 -1 4202496 26017 0 0 0 178409 1070 0 0 20 0 1 0 334965918 103849984 24763 33554432000 4194304 9016284 140735384431088 140735384425048 7925162 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/1004/statm: 25354 24763 665 1178 0 24172 0
Current children cumulated CPU time (s) 1794.79
Current children cumulated vsize (KiB) 101416
[startup+1795.9 s]
/proc/loadavg: 2.02 2.01 2.00 3/177 1083
/proc/meminfo: memFree=28202980/32873648 swapFree=7628/7628
[pid=1004] ppid=1002 vsize=101416 CPUtime=1795.59 cores=0,2,4,6
/proc/1004/stat : 1004 (scip-2.0.1.4b_2) R 1002 1004 20657 0 -1 4202496 26017 0 0 0 178488 1071 0 0 20 0 1 0 334965918 103849984 24763 33554432000 4194304 9016284 140735384431088 140735384425416 4319232 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/1004/statm: 25354 24763 665 1178 0 24172 0
Current children cumulated CPU time (s) 1795.59
Current children cumulated vsize (KiB) 101416
[startup+1796.7 s]
/proc/loadavg: 2.01 2.01 2.00 3/177 1083
/proc/meminfo: memFree=28202980/32873648 swapFree=7628/7628
[pid=1004] ppid=1002 vsize=101416 CPUtime=1796.39 cores=0,2,4,6
/proc/1004/stat : 1004 (scip-2.0.1.4b_2) R 1002 1004 20657 0 -1 4202496 26017 0 0 0 178568 1071 0 0 20 0 1 0 334965918 103849984 24763 33554432000 4194304 9016284 140735384431088 140735384425416 7925162 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/1004/statm: 25354 24763 665 1178 0 24172 0
Current children cumulated CPU time (s) 1796.39
Current children cumulated vsize (KiB) 101416
[startup+1796.9 s]
/proc/loadavg: 2.01 2.01 2.00 3/177 1083
/proc/meminfo: memFree=28202980/32873648 swapFree=7628/7628
[pid=1004] ppid=1002 vsize=101416 CPUtime=1796.59 cores=0,2,4,6
/proc/1004/stat : 1004 (scip-2.0.1.4b_2) R 1002 1004 20657 0 -1 4202496 26017 0 0 0 178588 1071 0 0 20 0 1 0 334965918 103849984 24763 33554432000 4194304 9016284 140735384431088 140735384425416 7925162 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/1004/statm: 25354 24763 665 1178 0 24172 0
Current children cumulated CPU time (s) 1796.59
Current children cumulated vsize (KiB) 101416
[startup+1797 s]
/proc/loadavg: 2.01 2.01 2.00 3/177 1083
/proc/meminfo: memFree=28202980/32873648 swapFree=7628/7628
[pid=1004] ppid=1002 vsize=101416 CPUtime=1796.69 cores=0,2,4,6
/proc/1004/stat : 1004 (scip-2.0.1.4b_2) R 1002 1004 20657 0 -1 4202496 26017 0 0 0 178597 1072 0 0 20 0 1 0 334965918 103849984 24763 33554432000 4194304 9016284 140735384431088 140735384425416 4991056 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/1004/statm: 25354 24763 665 1178 0 24172 0
Current children cumulated CPU time (s) 1796.69
Current children cumulated vsize (KiB) 101416
Child status: 0
Real time (s): 1797.04
CPU time (s): 1796.74
CPU user time (s): 1786.02
CPU system time (s): 10.7234
CPU usage (%): 99.9833
Max. virtual memory (cumulated for all children) (KiB): 101416
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1786.02
system time used= 10.7234
maximum resident set size= 99064
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 26025
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= 2012
runsolver used 3.01554 second user time and 7.66583 second system time
The end