0.00/0.00 c SCIP version 2.0.1.4 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: SoPlex 1.5.0.5]
0.00/0.00 c Copyright (c) 2002-2011 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-3486200-1307792034.opb>
0.09/0.17 c original problem has 9272 variables (9272 bin, 0 int, 0 impl, 0 cont) and 29174 constraints
0.09/0.17 c problem read
0.09/0.17 c No objective function, only one solution is needed.
0.09/0.17 c presolving settings loaded
0.20/0.27 c presolving:
0.89/0.93 c (round 1) 1943 del vars, 5207 del conss, 0 add conss, 1295 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 1562106 impls, 0 clqs
1.19/1.21 c (round 2) 4349 del vars, 14013 del conss, 0 add conss, 3544 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 1573949 impls, 0 clqs
1.19/1.25 c (round 3) 5238 del vars, 17845 del conss, 0 add conss, 4038 chg bounds, 62 chg sides, 46 chg coeffs, 0 upgd conss, 1578050 impls, 0 clqs
1.19/1.27 c (round 4) 5619 del vars, 19146 del conss, 0 add conss, 4252 chg bounds, 82 chg sides, 68 chg coeffs, 0 upgd conss, 1581016 impls, 0 clqs
1.19/1.28 c (round 5) 5782 del vars, 19770 del conss, 0 add conss, 4322 chg bounds, 82 chg sides, 68 chg coeffs, 0 upgd conss, 1582358 impls, 0 clqs
1.19/1.29 c (round 6) 5839 del vars, 20005 del conss, 0 add conss, 4359 chg bounds, 82 chg sides, 68 chg coeffs, 0 upgd conss, 1582560 impls, 0 clqs
1.19/1.29 c (round 7) 5839 del vars, 20038 del conss, 0 add conss, 4359 chg bounds, 82 chg sides, 68 chg coeffs, 0 upgd conss, 1582560 impls, 0 clqs
1.29/1.33 c (round 8) 5839 del vars, 20038 del conss, 0 add conss, 4359 chg bounds, 82 chg sides, 68 chg coeffs, 9136 upgd conss, 1582560 impls, 0 clqs
1.29/1.37 c (round 9) 5839 del vars, 20038 del conss, 0 add conss, 4359 chg bounds, 96 chg sides, 162 chg coeffs, 9136 upgd conss, 1586066 impls, 231 clqs
1.40/1.40 c (round 10) 5839 del vars, 20038 del conss, 0 add conss, 4359 chg bounds, 98 chg sides, 201 chg coeffs, 9136 upgd conss, 1586066 impls, 258 clqs
1.40/1.42 c presolving (11 rounds):
1.40/1.42 c 5839 deleted vars, 20038 deleted constraints, 0 added constraints, 4359 tightened bounds, 0 added holes, 98 changed sides, 218 changed coefficients
1.40/1.42 c 1586066 implications, 259 cliques
1.40/1.42 c presolved problem has 3433 variables (3433 bin, 0 int, 0 impl, 0 cont) and 9136 constraints
1.40/1.42 c 245 constraints of type <knapsack>
1.40/1.42 c 7315 constraints of type <setppc>
1.40/1.42 c 1576 constraints of type <logicor>
1.40/1.42 c transformed objective value is always integral (scale: 1)
1.40/1.42 c Presolving Time: 1.21
1.40/1.42 c - non default parameters ----------------------------------------------------------------------
1.40/1.42 c # SCIP version 2.0.1.4
1.40/1.42 c
1.40/1.42 c # frequency for displaying node information lines
1.40/1.42 c # [type: int, range: [-1,2147483647], default: 100]
1.40/1.42 c display/freq = 10000
1.40/1.42 c
1.40/1.42 c # maximal time in seconds to run
1.40/1.42 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
1.40/1.42 c limits/time = 1797
1.40/1.42 c
1.40/1.42 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
1.40/1.42 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
1.40/1.42 c limits/memory = 13950
1.40/1.42 c
1.40/1.42 c # solving stops, if the given number of solutions were found (-1: no limit)
1.40/1.42 c # [type: int, range: [-1,2147483647], default: -1]
1.40/1.42 c limits/solutions = 1
1.40/1.42 c
1.40/1.42 c # maximal number of separation rounds per node (-1: unlimited)
1.40/1.42 c # [type: int, range: [-1,2147483647], default: 5]
1.40/1.42 c separating/maxrounds = 1
1.40/1.42 c
1.40/1.42 c # maximal number of separation rounds in the root node (-1: unlimited)
1.40/1.42 c # [type: int, range: [-1,2147483647], default: -1]
1.40/1.42 c separating/maxroundsroot = 5
1.40/1.42 c
1.40/1.42 c # default clock type (1: CPU user seconds, 2: wall clock time)
1.40/1.42 c # [type: int, range: [1,2], default: 1]
1.40/1.42 c timing/clocktype = 2
1.40/1.42 c
1.40/1.42 c # belongs reading time to solving time?
1.40/1.42 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
1.40/1.42 c timing/reading = TRUE
1.40/1.42 c
1.40/1.42 c # should presolving try to simplify inequalities
1.40/1.42 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
1.40/1.42 c constraints/linear/simplifyinequalities = TRUE
1.40/1.42 c
1.40/1.42 c # add initial coupling inequalities as linear constraints, if 'addCoupling' is true
1.40/1.42 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
1.40/1.42 c constraints/indicator/addCouplingCons = TRUE
1.40/1.42 c
1.40/1.42 c # should disaggregation of knapsack constraints be allowed in preprocessing?
1.40/1.42 c # [type: bool, range: {TRUE,FALSE}, default: TRUE]
1.40/1.42 c constraints/knapsack/disaggregation = FALSE
1.40/1.42 c
1.40/1.42 c # should presolving try to simplify knapsacks
1.40/1.42 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
1.40/1.42 c constraints/knapsack/simplifyinequalities = TRUE
1.40/1.42 c
1.40/1.42 c # maximal number of presolving rounds the presolver participates in (-1: no limit)
1.40/1.42 c # [type: int, range: [-1,2147483647], default: -1]
1.40/1.42 c presolving/probing/maxrounds = 0
1.40/1.42 c
1.40/1.42 c # frequency for calling primal heuristic <coefdiving> (-1: never, 0: only at depth freqofs)
1.40/1.42 c # [type: int, range: [-1,2147483647], default: 10]
1.40/1.42 c heuristics/coefdiving/freq = -1
1.40/1.42 c
1.40/1.42 c # maximal fraction of diving LP iterations compared to node LP iterations
1.40/1.42 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
1.40/1.42 c heuristics/coefdiving/maxlpiterquot = 0.075
1.40/1.42 c
1.40/1.42 c # additional number of allowed LP iterations
1.40/1.42 c # [type: int, range: [0,2147483647], default: 1000]
1.40/1.42 c heuristics/coefdiving/maxlpiterofs = 1500
1.40/1.42 c
1.40/1.42 c # frequency for calling primal heuristic <crossover> (-1: never, 0: only at depth freqofs)
1.40/1.42 c # [type: int, range: [-1,2147483647], default: 30]
1.40/1.42 c heuristics/crossover/freq = -1
1.40/1.42 c
1.40/1.42 c # number of nodes added to the contingent of the total nodes
1.40/1.42 c # [type: longint, range: [0,9223372036854775807], default: 500]
1.40/1.42 c heuristics/crossover/nodesofs = 750
1.40/1.42 c
1.40/1.42 c # number of nodes without incumbent change that heuristic should wait
1.40/1.42 c # [type: longint, range: [0,9223372036854775807], default: 200]
1.40/1.42 c heuristics/crossover/nwaitingnodes = 100
1.40/1.42 c
1.40/1.42 c # contingent of sub problem nodes in relation to the number of nodes of the original problem
1.40/1.42 c # [type: real, range: [0,1], default: 0.1]
1.40/1.42 c heuristics/crossover/nodesquot = 0.15
1.40/1.42 c
1.40/1.42 c # minimum percentage of integer variables that have to be fixed
1.40/1.42 c # [type: real, range: [0,1], default: 0.666]
1.40/1.42 c heuristics/crossover/minfixingrate = 0.5
1.40/1.42 c
1.40/1.42 c # frequency for calling primal heuristic <feaspump> (-1: never, 0: only at depth freqofs)
1.40/1.42 c # [type: int, range: [-1,2147483647], default: 20]
1.40/1.42 c heuristics/feaspump/freq = -1
1.40/1.42 c
1.40/1.42 c # additional number of allowed LP iterations
1.40/1.42 c # [type: int, range: [0,2147483647], default: 1000]
1.40/1.42 c heuristics/feaspump/maxlpiterofs = 2000
1.40/1.42 c
1.40/1.42 c # frequency for calling primal heuristic <fracdiving> (-1: never, 0: only at depth freqofs)
1.40/1.42 c # [type: int, range: [-1,2147483647], default: 10]
1.40/1.42 c heuristics/fracdiving/freq = -1
1.40/1.42 c
1.40/1.42 c # maximal fraction of diving LP iterations compared to node LP iterations
1.40/1.42 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
1.40/1.42 c heuristics/fracdiving/maxlpiterquot = 0.075
1.40/1.42 c
1.40/1.42 c # additional number of allowed LP iterations
1.40/1.42 c # [type: int, range: [0,2147483647], default: 1000]
1.40/1.42 c heuristics/fracdiving/maxlpiterofs = 1500
1.40/1.42 c
1.40/1.42 c # frequency for calling primal heuristic <guideddiving> (-1: never, 0: only at depth freqofs)
1.40/1.42 c # [type: int, range: [-1,2147483647], default: 10]
1.40/1.42 c heuristics/guideddiving/freq = -1
1.40/1.42 c
1.40/1.42 c # maximal fraction of diving LP iterations compared to node LP iterations
1.40/1.42 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
1.40/1.42 c heuristics/guideddiving/maxlpiterquot = 0.075
1.40/1.42 c
1.40/1.42 c # additional number of allowed LP iterations
1.40/1.42 c # [type: int, range: [0,2147483647], default: 1000]
1.40/1.42 c heuristics/guideddiving/maxlpiterofs = 1500
1.40/1.42 c
1.40/1.42 c # maximal fraction of diving LP iterations compared to node LP iterations
1.40/1.42 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
1.40/1.42 c heuristics/intdiving/maxlpiterquot = 0.075
1.40/1.42 c
1.40/1.42 c # frequency for calling primal heuristic <intshifting> (-1: never, 0: only at depth freqofs)
1.40/1.42 c # [type: int, range: [-1,2147483647], default: 10]
1.40/1.42 c heuristics/intshifting/freq = -1
1.40/1.42 c
1.40/1.42 c # frequency for calling primal heuristic <linesearchdiving> (-1: never, 0: only at depth freqofs)
1.40/1.42 c # [type: int, range: [-1,2147483647], default: 10]
1.40/1.42 c heuristics/linesearchdiving/freq = -1
1.40/1.42 c
1.40/1.42 c # maximal fraction of diving LP iterations compared to node LP iterations
1.40/1.42 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
1.40/1.42 c heuristics/linesearchdiving/maxlpiterquot = 0.075
1.40/1.42 c
1.40/1.42 c # additional number of allowed LP iterations
1.40/1.42 c # [type: int, range: [0,2147483647], default: 1000]
1.40/1.42 c heuristics/linesearchdiving/maxlpiterofs = 1500
1.40/1.42 c
1.40/1.42 c # frequency for calling primal heuristic <objpscostdiving> (-1: never, 0: only at depth freqofs)
1.40/1.42 c # [type: int, range: [-1,2147483647], default: 20]
1.40/1.42 c heuristics/objpscostdiving/freq = -1
1.40/1.42 c
1.40/1.42 c # maximal fraction of diving LP iterations compared to total iteration number
1.40/1.42 c # [type: real, range: [0,1], default: 0.01]
1.40/1.42 c heuristics/objpscostdiving/maxlpiterquot = 0.015
1.40/1.42 c
1.40/1.42 c # additional number of allowed LP iterations
1.40/1.42 c # [type: int, range: [0,2147483647], default: 1000]
1.40/1.42 c heuristics/objpscostdiving/maxlpiterofs = 1500
1.40/1.42 c
1.40/1.42 c # frequency for calling primal heuristic <oneopt> (-1: never, 0: only at depth freqofs)
1.40/1.42 c # [type: int, range: [-1,2147483647], default: 1]
1.40/1.42 c heuristics/oneopt/freq = -1
1.40/1.42 c
1.40/1.42 c # frequency for calling primal heuristic <pscostdiving> (-1: never, 0: only at depth freqofs)
1.40/1.42 c # [type: int, range: [-1,2147483647], default: 10]
1.40/1.42 c heuristics/pscostdiving/freq = -1
1.40/1.42 c
1.40/1.42 c # maximal fraction of diving LP iterations compared to node LP iterations
1.40/1.42 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
1.40/1.42 c heuristics/pscostdiving/maxlpiterquot = 0.075
1.40/1.42 c
1.40/1.42 c # additional number of allowed LP iterations
1.40/1.42 c # [type: int, range: [0,2147483647], default: 1000]
1.40/1.42 c heuristics/pscostdiving/maxlpiterofs = 1500
1.40/1.42 c
1.40/1.42 c # frequency for calling primal heuristic <rens> (-1: never, 0: only at depth freqofs)
1.40/1.42 c # [type: int, range: [-1,2147483647], default: 0]
1.40/1.42 c heuristics/rens/freq = -1
1.40/1.42 c
1.40/1.42 c # minimum percentage of integer variables that have to be fixable
1.40/1.42 c # [type: real, range: [0,1], default: 0.5]
1.40/1.42 c heuristics/rens/minfixingrate = 0.3
1.40/1.42 c
1.40/1.42 c # number of nodes added to the contingent of the total nodes
1.40/1.42 c # [type: longint, range: [0,9223372036854775807], default: 500]
1.40/1.42 c heuristics/rens/nodesofs = 2000
1.40/1.42 c
1.40/1.42 c # frequency for calling primal heuristic <rootsoldiving> (-1: never, 0: only at depth freqofs)
1.40/1.42 c # [type: int, range: [-1,2147483647], default: 20]
1.40/1.42 c heuristics/rootsoldiving/freq = -1
1.40/1.42 c
1.40/1.42 c # maximal fraction of diving LP iterations compared to node LP iterations
1.40/1.42 c # [type: real, range: [0,1.79769313486232e+308], default: 0.01]
1.40/1.42 c heuristics/rootsoldiving/maxlpiterquot = 0.015
1.40/1.42 c
1.40/1.42 c # additional number of allowed LP iterations
1.40/1.42 c # [type: int, range: [0,2147483647], default: 1000]
1.40/1.42 c heuristics/rootsoldiving/maxlpiterofs = 1500
1.40/1.42 c
1.40/1.42 c # frequency for calling primal heuristic <rounding> (-1: never, 0: only at depth freqofs)
1.40/1.42 c # [type: int, range: [-1,2147483647], default: 1]
1.40/1.42 c heuristics/rounding/freq = -1
1.40/1.42 c
1.40/1.42 c # frequency for calling primal heuristic <shiftandpropagate> (-1: never, 0: only at depth freqofs)
1.40/1.42 c # [type: int, range: [-1,2147483647], default: 0]
1.40/1.42 c heuristics/shiftandpropagate/freq = -1
1.40/1.42 c
1.40/1.42 c # frequency for calling primal heuristic <shifting> (-1: never, 0: only at depth freqofs)
1.40/1.42 c # [type: int, range: [-1,2147483647], default: 10]
1.40/1.42 c heuristics/shifting/freq = -1
1.40/1.42 c
1.40/1.42 c # frequency for calling primal heuristic <simplerounding> (-1: never, 0: only at depth freqofs)
1.40/1.42 c # [type: int, range: [-1,2147483647], default: 1]
1.40/1.42 c heuristics/simplerounding/freq = -1
1.40/1.42 c
1.40/1.42 c # frequency for calling primal heuristic <subnlp> (-1: never, 0: only at depth freqofs)
1.40/1.42 c # [type: int, range: [-1,2147483647], default: 1]
1.40/1.42 c heuristics/subnlp/freq = -1
1.40/1.42 c
1.40/1.42 c # frequency for calling primal heuristic <trivial> (-1: never, 0: only at depth freqofs)
1.40/1.42 c # [type: int, range: [-1,2147483647], default: 0]
1.40/1.42 c heuristics/trivial/freq = -1
1.40/1.42 c
1.40/1.42 c # frequency for calling primal heuristic <trysol> (-1: never, 0: only at depth freqofs)
1.40/1.42 c # [type: int, range: [-1,2147483647], default: 1]
1.40/1.42 c heuristics/trysol/freq = -1
1.40/1.42 c
1.40/1.42 c # frequency for calling primal heuristic <undercover> (-1: never, 0: only at depth freqofs)
1.40/1.42 c # [type: int, range: [-1,2147483647], default: 0]
1.40/1.42 c heuristics/undercover/freq = -1
1.40/1.42 c
1.40/1.42 c # frequency for calling primal heuristic <veclendiving> (-1: never, 0: only at depth freqofs)
1.40/1.42 c # [type: int, range: [-1,2147483647], default: 10]
1.40/1.42 c heuristics/veclendiving/freq = -1
1.40/1.42 c
1.40/1.42 c # maximal fraction of diving LP iterations compared to node LP iterations
1.40/1.42 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
1.40/1.42 c heuristics/veclendiving/maxlpiterquot = 0.075
1.40/1.42 c
1.40/1.42 c # additional number of allowed LP iterations
1.40/1.42 c # [type: int, range: [0,2147483647], default: 1000]
1.40/1.42 c heuristics/veclendiving/maxlpiterofs = 1500
1.40/1.42 c
1.40/1.42 c # frequency for calling primal heuristic <zirounding> (-1: never, 0: only at depth freqofs)
1.40/1.42 c # [type: int, range: [-1,2147483647], default: 1]
1.40/1.42 c heuristics/zirounding/freq = -1
1.40/1.42 c
1.40/1.42 c # frequency for calling separator <cmir> (-1: never, 0: only in root node)
1.40/1.42 c # [type: int, range: [-1,2147483647], default: 0]
1.40/1.42 c separating/cmir/freq = -1
1.40/1.42 c
1.40/1.42 c # frequency for calling separator <flowcover> (-1: never, 0: only in root node)
1.40/1.42 c # [type: int, range: [-1,2147483647], default: 0]
1.40/1.42 c separating/flowcover/freq = -1
1.40/1.42 c
1.40/1.42 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
1.40/1.42 c # [type: int, range: [-1,2147483647], default: -1]
1.40/1.42 c separating/rapidlearning/freq = 0
1.40/1.42 c
1.40/1.42 c -----------------------------------------------------------------------------------------------
1.40/1.42 c start solving
1.40/1.42 c
3.69/3.72 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
3.69/3.72 c 3.7s| 1 | 0 | 7672 | - | 49M| 0 |1346 |3433 |9136 |3433 |9136 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
10.79/10.85 c 10.8s| 1 | 0 | 14382 | - | 50M| 0 |2197 |3433 |9612 |3433 |9346 | 249 | 0 | 0 | 0.000000e+00 | -- | Inf
18.39/18.49 c 18.5s| 1 | 0 | 21022 | - | 50M| 0 |2338 |3433 |9612 |3433 |9415 | 318 | 0 | 0 | 0.000000e+00 | -- | Inf
22.39/22.48 c 22.5s| 1 | 0 | 24371 | - | 50M| 0 |2437 |3433 |9612 |3433 |9445 | 348 | 0 | 0 | 0.000000e+00 | -- | Inf
26.09/26.13 c 26.1s| 1 | 0 | 26856 | - | 50M| 0 |2380 |3433 |9612 |3433 |9464 | 367 | 0 | 0 | 0.000000e+00 | -- | Inf
29.00/29.09 c 29.1s| 1 | 0 | 28187 | - | 50M| 0 |2411 |3433 |9612 |3433 |9483 | 386 | 0 | 0 | 0.000000e+00 | -- | Inf
41.49/41.50 c 41.5s| 1 | 2 | 28187 | - | 50M| 0 |2411 |3433 |9612 |3433 |9483 | 386 | 0 | 19 | 0.000000e+00 | -- | Inf
1797.11/1797.13 c
1797.11/1797.13 c SCIP Status : solving was interrupted [time limit reached]
1797.11/1797.13 c Solving Time (sec) : 1797.13
1797.11/1797.13 c Solving Nodes : 867
1797.11/1797.13 c Primal Bound : +1.00000000000000e+20 (0 solutions)
1797.11/1797.13 c Dual Bound : +0.00000000000000e+00
1797.11/1797.13 c Gap : infinite
1797.11/1797.13 s UNKNOWN
1797.11/1797.13 c SCIP Status : solving was interrupted [time limit reached]
1797.11/1797.13 c Total Time : 1797.13
1797.11/1797.13 c solving : 1797.13
1797.11/1797.13 c presolving : 1.21 (included in solving)
1797.11/1797.13 c reading : 0.17 (included in solving)
1797.11/1797.13 c Original Problem :
1797.11/1797.13 c Problem name : HOME/instance-3486200-1307792034.opb
1797.11/1797.13 c Variables : 9272 (9272 binary, 0 integer, 0 implicit integer, 0 continuous)
1797.11/1797.13 c Constraints : 29174 initial, 29174 maximal
1797.11/1797.13 c Presolved Problem :
1797.11/1797.13 c Problem name : t_HOME/instance-3486200-1307792034.opb
1797.11/1797.13 c Variables : 3433 (3433 binary, 0 integer, 0 implicit integer, 0 continuous)
1797.11/1797.13 c Constraints : 9136 initial, 10610 maximal
1797.11/1797.13 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons AddCons ChgSides ChgCoefs
1797.11/1797.13 c trivial : 0.00 387 0 0 0 0 0 0 0 0
1797.11/1797.13 c dualfix : 0.01 56 0 0 0 0 0 0 0 0
1797.11/1797.13 c boundshift : 0.00 0 0 0 0 0 0 0 0 0
1797.11/1797.13 c inttobinary : 0.00 0 0 0 0 0 0 0 0 0
1797.11/1797.13 c implics : 0.01 0 0 0 0 0 0 0 0 0
1797.11/1797.13 c probing : 0.00 0 0 0 0 0 0 0 0 0
1797.11/1797.13 c knapsack : 0.03 0 0 0 0 0 0 0 16 150
1797.11/1797.13 c setppc : 0.02 0 0 0 0 0 0 0 0 0
1797.11/1797.13 c linear : 1.01 3972 1424 0 4359 0 20038 0 82 68
1797.11/1797.13 c logicor : 0.03 0 0 0 0 0 0 0 0 0
1797.11/1797.13 c root node : - 5 - - 5 - - - - -
1797.11/1797.13 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS #Check #Resprop Cutoffs DomReds Cuts Conss Children
1797.11/1797.13 c integral : 0 0 0 636 0 1 0 5 88 0 0 1168
1797.11/1797.13 c knapsack : 245 6 10681 0 0 0 24396 63 68070 586 0 0
1797.11/1797.13 c setppc : 7315 6 10618 0 0 0 56713 70 134529 0 0 0
1797.11/1797.13 c linear : 0+ 5 10386 0 0 0 1718 5 503 5 0 0
1797.11/1797.13 c logicor : 1576+ 6 9338 0 0 0 31313 259 42973 0 0 0
1797.11/1797.13 c countsols : 0 0 0 0 0 0 0 0 0 0 0 0
1797.11/1797.13 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS Check Resprop
1797.11/1797.13 c integral : 664.49 0.00 0.00 664.49 0.00 0.00 0.00
1797.11/1797.13 c knapsack : 0.23 0.01 0.21 0.00 0.00 0.00 0.01
1797.11/1797.13 c setppc : 0.94 0.00 0.92 0.00 0.00 0.00 0.02
1797.11/1797.13 c linear : 0.04 0.00 0.04 0.00 0.00 0.00 0.00
1797.11/1797.13 c logicor : 0.27 0.00 0.25 0.00 0.00 0.00 0.02
1797.11/1797.13 c countsols : 0.00 0.00 0.00 0.00 0.00 0.00 0.00
1797.11/1797.13 c Propagators : #Propagate #Resprop Cutoffs DomReds
1797.11/1797.13 c vbounds : 0 0 0 0
1797.11/1797.13 c rootredcost : 0 0 0 0
1797.11/1797.13 c pseudoobj : 0 0 0 0
1797.11/1797.13 c Propagator Timings : TotalTime Propagate Resprop
1797.11/1797.13 c vbounds : 0.00 0.00 0.00
1797.11/1797.13 c rootredcost : 0.00 0.00 0.00
1797.11/1797.13 c pseudoobj : 0.00 0.00 0.00
1797.11/1797.13 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1797.11/1797.13 c propagation : 0.08 397 388 3058 33.2 72 8.7 -
1797.11/1797.13 c infeasible LP : 0.07 50 50 481 77.5 5 10.6 0
1797.11/1797.13 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1797.11/1797.13 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1797.11/1797.13 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 -
1797.11/1797.13 c applied globally : - - - 1521 33.3 - - -
1797.11/1797.13 c applied locally : - - - 0 0.0 - - -
1797.11/1797.13 c Separators : Time Calls Cutoffs DomReds Cuts Conss
1797.11/1797.13 c cut pool : 0.00 4 - - 10 - (maximal pool size: 214)
1797.11/1797.13 c redcost : 0.03 610 0 0 0 0
1797.11/1797.13 c impliedbounds : 0.01 5 0 0 334 0
1797.11/1797.13 c intobj : 0.00 0 0 0 0 0
1797.11/1797.13 c gomory : 5.39 5 0 0 501 0
1797.11/1797.13 c cgmip : 0.00 0 0 0 0 0
1797.11/1797.13 c closecuts : 0.00 0 0 0 0 0
1797.11/1797.13 c strongcg : 5.45 5 0 0 501 0
1797.11/1797.13 c cmir : 0.00 0 0 0 0 0
1797.11/1797.13 c flowcover : 0.00 0 0 0 0 0
1797.11/1797.13 c clique : 0.95 5 0 0 38 0
1797.11/1797.13 c zerohalf : 0.00 0 0 0 0 0
1797.11/1797.13 c mcf : 0.55 4 0 0 5 0
1797.11/1797.13 c oddcycle : 0.00 0 0 0 0 0
1797.11/1797.13 c rapidlearning : 1.32 1 0 5 0 515
1797.11/1797.13 c Pricers : Time Calls Vars
1797.11/1797.13 c problem variables: 0.00 0 0
1797.11/1797.13 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
1797.11/1797.13 c relpscost : 664.49 636 5 88 0 0 1168
1797.11/1797.13 c pscost : 0.00 0 0 0 0 0 0
1797.11/1797.13 c inference : 0.00 0 0 0 0 0 0
1797.11/1797.13 c mostinf : 0.00 0 0 0 0 0 0
1797.11/1797.13 c leastinf : 0.00 0 0 0 0 0 0
1797.11/1797.13 c fullstrong : 0.00 0 0 0 0 0 0
1797.11/1797.13 c allfullstrong : 0.00 0 0 0 0 0 0
1797.11/1797.13 c random : 0.00 0 0 0 0 0 0
1797.11/1797.13 c Primal Heuristics : Time Calls Found
1797.11/1797.13 c LP solutions : 0.00 - 0
1797.11/1797.13 c pseudo solutions : 0.00 - 0
1797.11/1797.13 c trivial : 0.01 1 0
1797.11/1797.13 c shiftandpropagate: 0.00 0 0
1797.11/1797.13 c simplerounding : 0.00 0 0
1797.11/1797.13 c zirounding : 0.00 0 0
1797.11/1797.13 c rounding : 0.00 0 0
1797.11/1797.13 c shifting : 0.00 0 0
1797.11/1797.13 c intshifting : 0.00 0 0
1797.11/1797.13 c oneopt : 0.00 0 0
1797.11/1797.13 c twoopt : 0.00 0 0
1797.11/1797.13 c fixandinfer : 0.00 0 0
1797.11/1797.13 c feaspump : 0.00 0 0
1797.11/1797.13 c clique : 0.00 0 0
1797.11/1797.13 c coefdiving : 0.00 0 0
1797.11/1797.13 c pscostdiving : 0.00 0 0
1797.11/1797.13 c fracdiving : 0.00 0 0
1797.11/1797.13 c veclendiving : 0.00 0 0
1797.11/1797.13 c intdiving : 0.00 0 0
1797.11/1797.13 c actconsdiving : 0.00 0 0
1797.11/1797.13 c objpscostdiving : 0.00 0 0
1797.11/1797.13 c rootsoldiving : 0.00 0 0
1797.11/1797.13 c linesearchdiving : 0.00 0 0
1797.11/1797.13 c guideddiving : 0.00 0 0
1797.11/1797.13 c octane : 0.00 0 0
1797.11/1797.13 c rens : 0.00 0 0
1797.11/1797.13 c rins : 0.00 0 0
1797.11/1797.13 c localbranching : 0.00 0 0
1797.11/1797.13 c mutation : 0.00 0 0
1797.11/1797.13 c crossover : 0.00 0 0
1797.11/1797.13 c dins : 0.00 0 0
1797.11/1797.13 c vbounds : 0.00 0 0
1797.11/1797.13 c undercover : 0.00 0 0
1797.11/1797.13 c subnlp : 0.00 0 0
1797.11/1797.13 c trysol : 0.00 0 0
1797.11/1797.13 c LP : Time Calls Iterations Iter/call Iter/sec
1797.11/1797.13 c primal LP : 0.01 0 0 0.00 -
1797.11/1797.13 c dual LP : 1113.98 691 2137500 3093.34 1918.79
1797.11/1797.13 c lex dual LP : 0.00 0 0 0.00 -
1797.11/1797.13 c barrier LP : 0.00 0 0 0.00 -
1797.11/1797.13 c diving/probing LP: 0.00 0 0 0.00 -
1797.11/1797.13 c strong branching : 664.20 1384 1187420 857.96 1787.75
1797.11/1797.13 c (at root node) : - 19 17307 910.89 -
1797.11/1797.13 c conflict analysis: 0.00 0 0 0.00 -
1797.11/1797.13 c B&B Tree :
1797.11/1797.13 c number of runs : 1
1797.11/1797.13 c nodes : 867
1797.11/1797.13 c nodes (total) : 867
1797.11/1797.13 c nodes left : 82
1797.11/1797.13 c max depth : 27
1797.11/1797.13 c max depth (total): 27
1797.11/1797.13 c backtracks : 327 (37.7%)
1797.11/1797.13 c delayed cutoffs : 220
1797.11/1797.13 c repropagations : 833 (84949 domain reductions, 169 cutoffs)
1797.11/1797.13 c avg switch length: 5.28
1797.11/1797.13 c switching time : 0.88
1797.11/1797.13 c Solution :
1797.11/1797.13 c Solutions found : 0 (0 improvements)
1797.11/1797.13 c Primal Bound : -
1797.11/1797.13 c Dual Bound : +0.00000000000000e+00
1797.11/1797.13 c Gap : infinite
1797.11/1797.13 c Root Dual Bound : +0.00000000000000e+00
1797.11/1797.13 c Root Iterations : 28187
1797.11/1797.19 c Time complete: 1797.2.
runsolver Copyright (C) 2010-2011 Olivier ROUSSEL
This is runsolver version 3.3.1 (svn: 988)
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-3486200-1307792034/watcher-3486200-1307792034 -o /tmp/evaluation-result-3486200-1307792034/solver-3486200-1307792034 -C 1800 -W 1900 -M 15500 HOME/scip-2.0.1.4_2.linux.x86_64.gnu.opt.spx -f HOME/instance-3486200-1307792034.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: 1.79 1.59 1.76 2/177 26422
/proc/meminfo: memFree=31123332/32951124 swapFree=67057920/67111528
[pid=26422] ppid=26420 vsize=10416 CPUtime=0 cores=0,2,4,6
/proc/26422/stat : 26422 (scip-2.0.1.4_2.) R 26420 26422 22888 0 -1 4202496 1588 0 0 0 0 0 0 0 25 0 1 0 871618777 10665984 1542 33554432000 4194304 8979876 140735440891104 18446744073709551615 6779003 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/26422/statm: 2604 1542 363 1169 0 1431 0
[startup+0.0851031 s]
/proc/loadavg: 1.79 1.59 1.76 2/177 26422
/proc/meminfo: memFree=31123332/32951124 swapFree=67057920/67111528
[pid=26422] ppid=26420 vsize=19484 CPUtime=0.08 cores=0,2,4,6
/proc/26422/stat : 26422 (scip-2.0.1.4_2.) R 26420 26422 22888 0 -1 4202496 3864 0 0 0 8 0 0 0 25 0 1 0 871618777 19951616 3818 33554432000 4194304 8979876 140735440891104 18446744073709551615 7836073 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/26422/statm: 4871 3818 363 1169 0 3698 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 19484
[startup+0.101095 s]
/proc/loadavg: 1.79 1.59 1.76 2/177 26422
/proc/meminfo: memFree=31123332/32951124 swapFree=67057920/67111528
[pid=26422] ppid=26420 vsize=19616 CPUtime=0.09 cores=0,2,4,6
/proc/26422/stat : 26422 (scip-2.0.1.4_2.) R 26420 26422 22888 0 -1 4202496 3903 0 0 0 9 0 0 0 25 0 1 0 871618777 20086784 3857 33554432000 4194304 8979876 140735440891104 18446744073709551615 7770704 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/26422/statm: 4904 3857 363 1169 0 3731 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 19616
[startup+0.301033 s]
/proc/loadavg: 1.79 1.59 1.76 2/177 26422
/proc/meminfo: memFree=31123332/32951124 swapFree=67057920/67111528
[pid=26422] ppid=26420 vsize=72684 CPUtime=0.3 cores=0,2,4,6
/proc/26422/stat : 26422 (scip-2.0.1.4_2.) R 26420 26422 22888 0 -1 4202496 16823 0 0 0 28 2 0 0 25 0 1 0 871618777 74428416 16767 33554432000 4194304 8979876 140735440891104 18446744073709551615 6499184 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/26422/statm: 18171 16767 493 1169 0 16998 0
Current children cumulated CPU time (s) 0.3
Current children cumulated vsize (KiB) 72684
[startup+0.701005 s]
/proc/loadavg: 1.79 1.59 1.76 2/177 26422
/proc/meminfo: memFree=31123332/32951124 swapFree=67057920/67111528
[pid=26422] ppid=26420 vsize=110552 CPUtime=0.69 cores=0,2,4,6
/proc/26422/stat : 26422 (scip-2.0.1.4_2.) R 26420 26422 22888 0 -1 4202496 26186 0 0 0 66 3 0 0 25 0 1 0 871618777 113205248 26130 33554432000 4194304 8979876 140735440891104 18446744073709551615 4460233 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/26422/statm: 27638 26130 493 1169 0 26465 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 110552
[startup+1.50086 s]
/proc/loadavg: 1.79 1.59 1.76 3/178 26423
/proc/meminfo: memFree=31009516/32951124 swapFree=67057920/67111528
[pid=26422] ppid=26420 vsize=134048 CPUtime=1.49 cores=0,2,4,6
/proc/26422/stat : 26422 (scip-2.0.1.4_2.) R 26420 26422 22888 0 -1 4202496 33984 0 0 0 145 4 0 0 25 0 1 0 871618777 137265152 31806 33554432000 4194304 8979876 140735440891104 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/26422/statm: 33512 31806 662 1169 0 32339 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 134048
[startup+3.10052 s]
/proc/loadavg: 1.79 1.59 1.76 3/178 26423
/proc/meminfo: memFree=30996736/32951124 swapFree=67057920/67111528
[pid=26422] ppid=26420 vsize=135736 CPUtime=3.09 cores=0,2,4,6
/proc/26422/stat : 26422 (scip-2.0.1.4_2.) R 26420 26422 22888 0 -1 4202496 34608 0 0 0 304 5 0 0 25 0 1 0 871618777 138993664 32363 33554432000 4194304 8979876 140735440891104 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/26422/statm: 33934 32363 639 1169 0 32761 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 135736
[startup+6.30099 s]
/proc/loadavg: 1.89 1.61 1.76 3/178 26423
/proc/meminfo: memFree=30994628/32951124 swapFree=67057920/67111528
[pid=26422] ppid=26420 vsize=182428 CPUtime=6.29 cores=0,2,4,6
/proc/26422/stat : 26422 (scip-2.0.1.4_2.) R 26420 26422 22888 0 -1 4202496 46330 0 0 0 622 7 0 0 25 0 1 0 871618777 186806272 43977 33554432000 4194304 8979876 140735440891104 18446744073709551615 4196178 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/26422/statm: 45607 43977 684 1169 0 44434 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 182428
[startup+12.7009 s]
/proc/loadavg: 1.89 1.62 1.76 3/178 26423
/proc/meminfo: memFree=30936248/32951124 swapFree=67057920/67111528
[pid=26422] ppid=26420 vsize=196056 CPUtime=12.69 cores=0,2,4,6
/proc/26422/stat : 26422 (scip-2.0.1.4_2.) R 26420 26422 22888 0 -1 4202496 49839 0 0 0 1260 9 0 0 25 0 1 0 871618777 200761344 47478 33554432000 4194304 8979876 140735440891104 18446744073709551615 6888353 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/26422/statm: 49014 47478 699 1169 0 47841 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 196056
[startup+25.5006 s]
/proc/loadavg: 1.92 1.63 1.77 3/178 26424
/proc/meminfo: memFree=30934996/32951124 swapFree=67057920/67111528
[pid=26422] ppid=26420 vsize=196056 CPUtime=25.49 cores=0,2,4,6
/proc/26422/stat : 26422 (scip-2.0.1.4_2.) R 26420 26422 22888 0 -1 4202496 49843 0 0 0 2537 12 0 0 25 0 1 0 871618777 200761344 47482 33554432000 4194304 8979876 140735440891104 18446744073709551615 7146347 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/26422/statm: 49014 47482 703 1169 0 47841 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 196056
[startup+51.1011 s]
/proc/loadavg: 1.94 1.66 1.77 3/178 26424
/proc/meminfo: memFree=30935000/32951124 swapFree=67057920/67111528
[pid=26422] ppid=26420 vsize=196056 CPUtime=51.09 cores=0,2,4,6
/proc/26422/stat : 26422 (scip-2.0.1.4_2.) R 26420 26422 22888 0 -1 4202496 49849 0 0 0 5089 20 0 0 25 0 1 0 871618777 200761344 47484 33554432000 4194304 8979876 140735440891104 18446744073709551615 6820818 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/26422/statm: 49014 47484 701 1169 0 47841 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 196056
[startup+102.306 s]
/proc/loadavg: 1.97 1.71 1.78 3/178 26464
/proc/meminfo: memFree=30733556/32951124 swapFree=67057920/67111528
[pid=26422] ppid=26420 vsize=196056 CPUtime=102.29 cores=0,2,4,6
/proc/26422/stat : 26422 (scip-2.0.1.4_2.) R 26420 26422 22888 0 -1 4202496 49849 0 0 0 10195 34 0 0 25 0 1 0 871618777 200761344 47484 33554432000 4194304 8979876 140735440891104 18446744073709551615 7146626 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/26422/statm: 49014 47484 701 1169 0 47841 0
Current children cumulated CPU time (s) 102.29
Current children cumulated vsize (KiB) 196056
[startup+162.3 s]
/proc/loadavg: 1.99 1.76 1.79 3/178 26465
/proc/meminfo: memFree=30481888/32951124 swapFree=67057920/67111528
[pid=26422] ppid=26420 vsize=196056 CPUtime=162.28 cores=0,2,4,6
/proc/26422/stat : 26422 (scip-2.0.1.4_2.) R 26420 26422 22888 0 -1 4202496 49849 0 0 0 16179 49 0 0 25 0 1 0 871618777 200761344 47484 33554432000 4194304 8979876 140735440891104 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/26422/statm: 49014 47484 701 1169 0 47841 0
Current children cumulated CPU time (s) 162.28
Current children cumulated vsize (KiB) 196056
[startup+222.301 s]
/proc/loadavg: 1.99 1.80 1.80 3/178 26467
/proc/meminfo: memFree=30270800/32951124 swapFree=67057920/67111528
[pid=26422] ppid=26420 vsize=196056 CPUtime=222.28 cores=0,2,4,6
/proc/26422/stat : 26422 (scip-2.0.1.4_2.) R 26420 26422 22888 0 -1 4202496 49854 0 0 0 22161 67 0 0 25 0 1 0 871618777 200761344 47489 33554432000 4194304 8979876 140735440891104 18446744073709551615 7145967 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/26422/statm: 49014 47489 704 1169 0 47841 0
Current children cumulated CPU time (s) 222.28
Current children cumulated vsize (KiB) 196056
[startup+282.3 s]
/proc/loadavg: 1.99 1.84 1.82 3/178 26468
/proc/meminfo: memFree=30052660/32951124 swapFree=67057920/67111528
[pid=26422] ppid=26420 vsize=196056 CPUtime=282.28 cores=0,2,4,6
/proc/26422/stat : 26422 (scip-2.0.1.4_2.) R 26420 26422 22888 0 -1 4202496 49854 0 0 0 28141 87 0 0 25 0 1 0 871618777 200761344 47489 33554432000 4194304 8979876 140735440891104 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/26422/statm: 49014 47489 704 1169 0 47841 0
Current children cumulated CPU time (s) 282.28
Current children cumulated vsize (KiB) 196056
[startup+342.301 s]
/proc/loadavg: 1.99 1.86 1.82 3/178 26470
/proc/meminfo: memFree=29886596/32951124 swapFree=67057920/67111528
[pid=26422] ppid=26420 vsize=196056 CPUtime=342.28 cores=0,2,4,6
/proc/26422/stat : 26422 (scip-2.0.1.4_2.) R 26420 26422 22888 0 -1 4202496 49859 0 0 0 34124 104 0 0 25 0 1 0 871618777 200761344 47494 33554432000 4194304 8979876 140735440891104 18446744073709551615 7146155 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/26422/statm: 49014 47494 707 1169 0 47841 0
Current children cumulated CPU time (s) 342.28
Current children cumulated vsize (KiB) 196056
[startup+402.301 s]
/proc/loadavg: 1.99 1.89 1.83 3/178 26472
/proc/meminfo: memFree=29692752/32951124 swapFree=67057920/67111528
[pid=26422] ppid=26420 vsize=196056 CPUtime=402.29 cores=0,2,4,6
/proc/26422/stat : 26422 (scip-2.0.1.4_2.) R 26420 26422 22888 0 -1 4202496 49859 0 0 0 40107 122 0 0 25 0 1 0 871618777 200761344 47494 33554432000 4194304 8979876 140735440891104 18446744073709551615 7146097 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/26422/statm: 49014 47494 707 1169 0 47841 0
Current children cumulated CPU time (s) 402.29
Current children cumulated vsize (KiB) 196056
[startup+462.3 s]
/proc/loadavg: 1.99 1.90 1.83 3/178 26473
/proc/meminfo: memFree=29524700/32951124 swapFree=67057920/67111528
[pid=26422] ppid=26420 vsize=196056 CPUtime=462.29 cores=0,2,4,6
/proc/26422/stat : 26422 (scip-2.0.1.4_2.) R 26420 26422 22888 0 -1 4202496 49859 0 0 0 46089 140 0 0 25 0 1 0 871618777 200761344 47494 33554432000 4194304 8979876 140735440891104 18446744073709551615 7155928 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/26422/statm: 49014 47494 707 1169 0 47841 0
Current children cumulated CPU time (s) 462.29
Current children cumulated vsize (KiB) 196056
[startup+522.301 s]
/proc/loadavg: 1.99 1.92 1.84 3/178 26475
/proc/meminfo: memFree=29435396/32951124 swapFree=67057920/67111528
[pid=26422] ppid=26420 vsize=196056 CPUtime=522.29 cores=0,2,4,6
/proc/26422/stat : 26422 (scip-2.0.1.4_2.) R 26420 26422 22888 0 -1 4202496 49860 0 0 0 52075 154 0 0 25 0 1 0 871618777 200761344 47495 33554432000 4194304 8979876 140735440891104 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/26422/statm: 49014 47495 707 1169 0 47841 0
Current children cumulated CPU time (s) 522.29
Current children cumulated vsize (KiB) 196056
[startup+582.3 s]
/proc/loadavg: 1.99 1.93 1.85 3/178 26476
/proc/meminfo: memFree=29337032/32951124 swapFree=67057920/67111528
[pid=26422] ppid=26420 vsize=196056 CPUtime=582.29 cores=0,2,4,6
/proc/26422/stat : 26422 (scip-2.0.1.4_2.) R 26420 26422 22888 0 -1 4202496 49860 0 0 0 58058 171 0 0 25 0 1 0 871618777 200761344 47495 33554432000 4194304 8979876 140735440891104 18446744073709551615 7146482 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/26422/statm: 49014 47495 707 1169 0 47841 0
Current children cumulated CPU time (s) 582.29
Current children cumulated vsize (KiB) 196056
[startup+642.301 s]
################
# More data... #
################
/proc/meminfo: memFree=28841000/32951124 swapFree=67057920/67111528
[pid=26422] ppid=26420 vsize=196056 CPUtime=1062.3 cores=0,2,4,6
/proc/26422/stat : 26422 (scip-2.0.1.4_2.) R 26420 26422 22888 0 -1 4202496 49860 0 0 0 105930 300 0 0 25 0 1 0 871618777 200761344 47495 33554432000 4194304 8979876 140735440891104 18446744073709551615 7123687 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/26422/statm: 49014 47495 707 1169 0 47841 0
Current children cumulated CPU time (s) 1062.3
Current children cumulated vsize (KiB) 196056
[startup+1122.3 s]
/proc/loadavg: 2.00 1.97 1.90 3/178 26491
/proc/meminfo: memFree=28840852/32951124 swapFree=67057920/67111528
[pid=26422] ppid=26420 vsize=196056 CPUtime=1122.3 cores=0,2,4,6
/proc/26422/stat : 26422 (scip-2.0.1.4_2.) R 26420 26422 22888 0 -1 4202496 49860 0 0 0 111915 315 0 0 25 0 1 0 871618777 200761344 47495 33554432000 4194304 8979876 140735440891104 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/26422/statm: 49014 47495 707 1169 0 47841 0
Current children cumulated CPU time (s) 1122.3
Current children cumulated vsize (KiB) 196056
[startup+1182.3 s]
/proc/loadavg: 2.00 1.97 1.91 3/178 26492
/proc/meminfo: memFree=28840820/32951124 swapFree=67057920/67111528
[pid=26422] ppid=26420 vsize=196056 CPUtime=1182.31 cores=0,2,4,6
/proc/26422/stat : 26422 (scip-2.0.1.4_2.) R 26420 26422 22888 0 -1 4202496 49860 0 0 0 117900 331 0 0 25 0 1 0 871618777 200761344 47495 33554432000 4194304 8979876 140735440891104 18446744073709551615 7179785 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/26422/statm: 49014 47495 707 1169 0 47841 0
Current children cumulated CPU time (s) 1182.31
Current children cumulated vsize (KiB) 196056
[startup+1242.3 s]
/proc/loadavg: 2.06 1.99 1.91 3/178 26494
/proc/meminfo: memFree=28840540/32951124 swapFree=67057920/67111528
[pid=26422] ppid=26420 vsize=196056 CPUtime=1242.31 cores=0,2,4,6
/proc/26422/stat : 26422 (scip-2.0.1.4_2.) R 26420 26422 22888 0 -1 4202496 49860 0 0 0 123885 346 0 0 25 0 1 0 871618777 200761344 47495 33554432000 4194304 8979876 140735440891104 18446744073709551615 7145977 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/26422/statm: 49014 47495 707 1169 0 47841 0
Current children cumulated CPU time (s) 1242.31
Current children cumulated vsize (KiB) 196056
[startup+1302.3 s]
/proc/loadavg: 2.02 1.99 1.91 3/178 26496
/proc/meminfo: memFree=28839388/32951124 swapFree=67057920/67111528
[pid=26422] ppid=26420 vsize=196056 CPUtime=1302.31 cores=0,2,4,6
/proc/26422/stat : 26422 (scip-2.0.1.4_2.) R 26420 26422 22888 0 -1 4202496 49860 0 0 0 129869 362 0 0 25 0 1 0 871618777 200761344 47495 33554432000 4194304 8979876 140735440891104 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/26422/statm: 49014 47495 707 1169 0 47841 0
Current children cumulated CPU time (s) 1302.31
Current children cumulated vsize (KiB) 196056
[startup+1362.3 s]
/proc/loadavg: 2.00 1.99 1.91 3/178 26497
/proc/meminfo: memFree=28740776/32951124 swapFree=67057920/67111528
[pid=26422] ppid=26420 vsize=196056 CPUtime=1362.31 cores=0,2,4,6
/proc/26422/stat : 26422 (scip-2.0.1.4_2.) R 26420 26422 22888 0 -1 4202496 49860 0 0 0 135852 379 0 0 25 0 1 0 871618777 200761344 47495 33554432000 4194304 8979876 140735440891104 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/26422/statm: 49014 47495 707 1169 0 47841 0
Current children cumulated CPU time (s) 1362.31
Current children cumulated vsize (KiB) 196056
[startup+1422.31 s]
/proc/loadavg: 2.00 1.99 1.91 3/178 26499
/proc/meminfo: memFree=28614744/32951124 swapFree=67057920/67111528
[pid=26422] ppid=26420 vsize=196056 CPUtime=1422.31 cores=0,2,4,6
/proc/26422/stat : 26422 (scip-2.0.1.4_2.) R 26420 26422 22888 0 -1 4202496 49860 0 0 0 141834 397 0 0 25 0 1 0 871618777 200761344 47495 33554432000 4194304 8979876 140735440891104 18446744073709551615 7123808 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/26422/statm: 49014 47495 707 1169 0 47841 0
Current children cumulated CPU time (s) 1422.31
Current children cumulated vsize (KiB) 196056
[startup+1482.3 s]
/proc/loadavg: 2.00 1.99 1.91 3/178 26500
/proc/meminfo: memFree=28603900/32951124 swapFree=67057920/67111528
[pid=26422] ppid=26420 vsize=196056 CPUtime=1482.31 cores=0,2,4,6
/proc/26422/stat : 26422 (scip-2.0.1.4_2.) R 26420 26422 22888 0 -1 4202496 49860 0 0 0 147813 418 0 0 25 0 1 0 871618777 200761344 47495 33554432000 4194304 8979876 140735440891104 18446744073709551615 7146532 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/26422/statm: 49014 47495 707 1169 0 47841 0
Current children cumulated CPU time (s) 1482.31
Current children cumulated vsize (KiB) 196056
[startup+1542.3 s]
/proc/loadavg: 2.04 2.00 1.92 3/178 26502
/proc/meminfo: memFree=28593452/32951124 swapFree=67057920/67111528
[pid=26422] ppid=26420 vsize=196056 CPUtime=1542.31 cores=0,2,4,6
/proc/26422/stat : 26422 (scip-2.0.1.4_2.) R 26420 26422 22888 0 -1 4202496 49860 0 0 0 153795 436 0 0 25 0 1 0 871618777 200761344 47495 33554432000 4194304 8979876 140735440891104 18446744073709551615 7144462 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/26422/statm: 49014 47495 707 1169 0 47841 0
Current children cumulated CPU time (s) 1542.31
Current children cumulated vsize (KiB) 196056
[startup+1602.3 s]
/proc/loadavg: 2.01 2.00 1.92 3/178 26504
/proc/meminfo: memFree=28603460/32951124 swapFree=67057920/67111528
[pid=26422] ppid=26420 vsize=196056 CPUtime=1602.32 cores=0,2,4,6
/proc/26422/stat : 26422 (scip-2.0.1.4_2.) R 26420 26422 22888 0 -1 4202496 49860 0 0 0 159780 452 0 0 25 0 1 0 871618777 200761344 47495 33554432000 4194304 8979876 140735440891104 18446744073709551615 7123745 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/26422/statm: 49014 47495 707 1169 0 47841 0
Current children cumulated CPU time (s) 1602.32
Current children cumulated vsize (KiB) 196056
[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 1.92 3/178 26514
/proc/meminfo: memFree=28613548/32951124 swapFree=67057920/67111528
[pid=26422] ppid=26420 vsize=196056 CPUtime=1662.31 cores=0,2,4,6
/proc/26422/stat : 26422 (scip-2.0.1.4_2.) R 26420 26422 22888 0 -1 4202496 49860 0 0 0 165761 470 0 0 25 0 1 0 871618777 200761344 47495 33554432000 4194304 8979876 140735440891104 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/26422/statm: 49014 47495 707 1169 0 47841 0
Current children cumulated CPU time (s) 1662.31
Current children cumulated vsize (KiB) 196056
[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 1.92 3/178 26516
/proc/meminfo: memFree=28613392/32951124 swapFree=67057920/67111528
[pid=26422] ppid=26420 vsize=196056 CPUtime=1722.31 cores=0,2,4,6
/proc/26422/stat : 26422 (scip-2.0.1.4_2.) R 26420 26422 22888 0 -1 4202496 49860 0 0 0 171747 484 0 0 25 0 1 0 871618777 200761344 47495 33554432000 4194304 8979876 140735440891104 18446744073709551615 6820818 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/26422/statm: 49014 47495 707 1169 0 47841 0
Current children cumulated CPU time (s) 1722.31
Current children cumulated vsize (KiB) 196056
[startup+1782.3 s]
/proc/loadavg: 2.08 2.02 1.93 3/178 26517
/proc/meminfo: memFree=28600588/32951124 swapFree=67057920/67111528
[pid=26422] ppid=26420 vsize=196056 CPUtime=1782.32 cores=0,2,4,6
/proc/26422/stat : 26422 (scip-2.0.1.4_2.) R 26420 26422 22888 0 -1 4202496 49860 0 0 0 177734 498 0 0 25 0 1 0 871618777 200761344 47495 33554432000 4194304 8979876 140735440891104 18446744073709551615 7145982 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/26422/statm: 49014 47495 707 1169 0 47841 0
Current children cumulated CPU time (s) 1782.32
Current children cumulated vsize (KiB) 196056
Solver just ended. Dumping a history of the last processes samples
[startup+1785.5 s]
/proc/loadavg: 2.07 2.02 1.93 3/178 26518
/proc/meminfo: memFree=28600588/32951124 swapFree=67057920/67111528
[pid=26422] ppid=26420 vsize=196056 CPUtime=1785.52 cores=0,2,4,6
/proc/26422/stat : 26422 (scip-2.0.1.4_2.) R 26420 26422 22888 0 -1 4202496 49860 0 0 0 178053 499 0 0 25 0 1 0 871618777 200761344 47495 33554432000 4194304 8979876 140735440891104 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/26422/statm: 49014 47495 707 1169 0 47841 0
Current children cumulated CPU time (s) 1785.52
Current children cumulated vsize (KiB) 196056
[startup+1791.91 s]
/proc/loadavg: 2.07 2.02 1.93 3/178 26518
/proc/meminfo: memFree=28600580/32951124 swapFree=67057920/67111528
[pid=26422] ppid=26420 vsize=196056 CPUtime=1791.92 cores=0,2,4,6
/proc/26422/stat : 26422 (scip-2.0.1.4_2.) R 26420 26422 22888 0 -1 4202496 49860 0 0 0 178692 500 0 0 25 0 1 0 871618777 200761344 47495 33554432000 4194304 8979876 140735440891104 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/26422/statm: 49014 47495 707 1169 0 47841 0
Current children cumulated CPU time (s) 1791.92
Current children cumulated vsize (KiB) 196056
[startup+1795.1 s]
/proc/loadavg: 2.06 2.02 1.93 3/178 26518
/proc/meminfo: memFree=28600580/32951124 swapFree=67057920/67111528
[pid=26422] ppid=26420 vsize=196056 CPUtime=1795.12 cores=0,2,4,6
/proc/26422/stat : 26422 (scip-2.0.1.4_2.) R 26420 26422 22888 0 -1 4202496 49860 0 0 0 179011 501 0 0 25 0 1 0 871618777 200761344 47495 33554432000 4194304 8979876 140735440891104 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/26422/statm: 49014 47495 707 1169 0 47841 0
Current children cumulated CPU time (s) 1795.12
Current children cumulated vsize (KiB) 196056
[startup+1795.9 s]
/proc/loadavg: 2.06 2.02 1.93 3/178 26518
/proc/meminfo: memFree=28600580/32951124 swapFree=67057920/67111528
[pid=26422] ppid=26420 vsize=196056 CPUtime=1795.91 cores=0,2,4,6
/proc/26422/stat : 26422 (scip-2.0.1.4_2.) R 26420 26422 22888 0 -1 4202496 49860 0 0 0 179090 501 0 0 25 0 1 0 871618777 200761344 47495 33554432000 4194304 8979876 140735440891104 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/26422/statm: 49014 47495 707 1169 0 47841 0
Current children cumulated CPU time (s) 1795.91
Current children cumulated vsize (KiB) 196056
[startup+1796.7 s]
/proc/loadavg: 2.06 2.02 1.93 3/178 26518
/proc/meminfo: memFree=28600580/32951124 swapFree=67057920/67111528
[pid=26422] ppid=26420 vsize=196056 CPUtime=1796.71 cores=0,2,4,6
/proc/26422/stat : 26422 (scip-2.0.1.4_2.) R 26420 26422 22888 0 -1 4202496 49860 0 0 0 179170 501 0 0 25 0 1 0 871618777 200761344 47495 33554432000 4194304 8979876 140735440891104 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/26422/statm: 49014 47495 707 1169 0 47841 0
Current children cumulated CPU time (s) 1796.71
Current children cumulated vsize (KiB) 196056
[startup+1797.1 s]
/proc/loadavg: 2.06 2.02 1.93 3/178 26518
/proc/meminfo: memFree=28600580/32951124 swapFree=67057920/67111528
[pid=26422] ppid=26420 vsize=196056 CPUtime=1797.11 cores=0,2,4,6
/proc/26422/stat : 26422 (scip-2.0.1.4_2.) R 26420 26422 22888 0 -1 4202496 49860 0 0 0 179210 501 0 0 25 0 1 0 871618777 200761344 47495 33554432000 4194304 8979876 140735440891104 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/26422/statm: 49014 47495 707 1169 0 47841 0
Current children cumulated CPU time (s) 1797.11
Current children cumulated vsize (KiB) 196056
Child status: 0
Real time (s): 1797.2
CPU time (s): 1797.22
CPU user time (s): 1792.19
CPU system time (s): 5.03023
CPU usage (%): 100.001
Max. virtual memory (cumulated for all children) (KiB): 196056
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1792.19
system time used= 5.03024
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 49868
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= 8
involuntary context switches= 9388
runsolver used 2.69159 second user time and 5.48017 second system time
The end