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-3486144-1307791303.opb>
0.79/0.85 c original problem has 48642 variables (48642 bin, 0 int, 0 impl, 0 cont) and 155800 constraints
0.79/0.85 c problem read
0.79/0.85 c No objective function, only one solution is needed.
0.79/0.85 c presolving settings loaded
1.29/1.38 c presolving:
5.89/5.90 c (round 1) 4909 del vars, 14362 del conss, 0 add conss, 3363 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 10333502 impls, 0 clqs
9.89/10.00 c (round 2) 11653 del vars, 37507 del conss, 0 add conss, 9710 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 10369915 impls, 0 clqs
11.29/11.33 c (round 3) 14188 del vars, 48615 del conss, 0 add conss, 11197 chg bounds, 8 chg sides, 11 chg coeffs, 0 upgd conss, 10383072 impls, 0 clqs
11.89/12.00 c (round 4) 15162 del vars, 52743 del conss, 0 add conss, 11820 chg bounds, 27 chg sides, 31 chg coeffs, 0 upgd conss, 10391641 impls, 0 clqs
12.29/12.33 c (round 5) 15747 del vars, 54991 del conss, 0 add conss, 12135 chg bounds, 27 chg sides, 31 chg coeffs, 0 upgd conss, 10396830 impls, 0 clqs
12.49/12.53 c (round 6) 16029 del vars, 56092 del conss, 0 add conss, 12292 chg bounds, 27 chg sides, 31 chg coeffs, 0 upgd conss, 10398898 impls, 0 clqs
12.59/12.64 c (round 7) 16153 del vars, 56644 del conss, 0 add conss, 12354 chg bounds, 27 chg sides, 31 chg coeffs, 0 upgd conss, 10399692 impls, 0 clqs
12.69/12.70 c (round 8) 16206 del vars, 56889 del conss, 0 add conss, 12378 chg bounds, 27 chg sides, 31 chg coeffs, 0 upgd conss, 10400055 impls, 0 clqs
12.69/12.74 c (round 9) 16224 del vars, 56996 del conss, 0 add conss, 12387 chg bounds, 27 chg sides, 31 chg coeffs, 0 upgd conss, 10400161 impls, 0 clqs
12.69/12.78 c (round 10) 16232 del vars, 57037 del conss, 0 add conss, 12391 chg bounds, 27 chg sides, 31 chg coeffs, 0 upgd conss, 10400223 impls, 0 clqs
12.79/12.81 c (round 11) 16234 del vars, 57053 del conss, 0 add conss, 12392 chg bounds, 27 chg sides, 31 chg coeffs, 0 upgd conss, 10400241 impls, 0 clqs
13.09/13.20 c (round 12) 16234 del vars, 57056 del conss, 0 add conss, 12392 chg bounds, 27 chg sides, 31 chg coeffs, 98744 upgd conss, 10400241 impls, 0 clqs
13.79/13.88 c (round 13) 16234 del vars, 57056 del conss, 0 add conss, 12392 chg bounds, 64 chg sides, 218 chg coeffs, 98744 upgd conss, 10400241 impls, 0 clqs
13.99/14.03 c presolving (14 rounds):
13.99/14.03 c 16234 deleted vars, 57056 deleted constraints, 0 added constraints, 12392 tightened bounds, 0 added holes, 64 changed sides, 233 changed coefficients
13.99/14.03 c 10400241 implications, 4 cliques
13.99/14.03 c presolved problem has 32408 variables (32408 bin, 0 int, 0 impl, 0 cont) and 98744 constraints
13.99/14.03 c 788 constraints of type <knapsack>
13.99/14.03 c 82085 constraints of type <setppc>
13.99/14.03 c 15871 constraints of type <logicor>
13.99/14.03 c transformed objective value is always integral (scale: 1)
13.99/14.03 c Presolving Time: 13.03
13.99/14.03 c - non default parameters ----------------------------------------------------------------------
13.99/14.03 c # SCIP version 2.0.1.4
13.99/14.03 c
13.99/14.03 c # frequency for displaying node information lines
13.99/14.03 c # [type: int, range: [-1,2147483647], default: 100]
13.99/14.03 c display/freq = 10000
13.99/14.03 c
13.99/14.03 c # maximal time in seconds to run
13.99/14.03 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
13.99/14.03 c limits/time = 1797
13.99/14.03 c
13.99/14.03 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
13.99/14.03 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
13.99/14.03 c limits/memory = 13950
13.99/14.03 c
13.99/14.03 c # solving stops, if the given number of solutions were found (-1: no limit)
13.99/14.03 c # [type: int, range: [-1,2147483647], default: -1]
13.99/14.03 c limits/solutions = 1
13.99/14.03 c
13.99/14.03 c # maximal number of separation rounds per node (-1: unlimited)
13.99/14.03 c # [type: int, range: [-1,2147483647], default: 5]
13.99/14.03 c separating/maxrounds = 1
13.99/14.03 c
13.99/14.03 c # maximal number of separation rounds in the root node (-1: unlimited)
13.99/14.03 c # [type: int, range: [-1,2147483647], default: -1]
13.99/14.03 c separating/maxroundsroot = 5
13.99/14.03 c
13.99/14.03 c # default clock type (1: CPU user seconds, 2: wall clock time)
13.99/14.03 c # [type: int, range: [1,2], default: 1]
13.99/14.03 c timing/clocktype = 2
13.99/14.03 c
13.99/14.03 c # belongs reading time to solving time?
13.99/14.03 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
13.99/14.03 c timing/reading = TRUE
13.99/14.03 c
13.99/14.03 c # should presolving try to simplify inequalities
13.99/14.03 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
13.99/14.03 c constraints/linear/simplifyinequalities = TRUE
13.99/14.03 c
13.99/14.03 c # add initial coupling inequalities as linear constraints, if 'addCoupling' is true
13.99/14.03 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
13.99/14.03 c constraints/indicator/addCouplingCons = TRUE
13.99/14.03 c
13.99/14.03 c # should disaggregation of knapsack constraints be allowed in preprocessing?
13.99/14.03 c # [type: bool, range: {TRUE,FALSE}, default: TRUE]
13.99/14.03 c constraints/knapsack/disaggregation = FALSE
13.99/14.03 c
13.99/14.03 c # should presolving try to simplify knapsacks
13.99/14.03 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
13.99/14.03 c constraints/knapsack/simplifyinequalities = TRUE
13.99/14.03 c
13.99/14.03 c # maximal number of presolving rounds the presolver participates in (-1: no limit)
13.99/14.03 c # [type: int, range: [-1,2147483647], default: -1]
13.99/14.03 c presolving/probing/maxrounds = 0
13.99/14.03 c
13.99/14.03 c # frequency for calling primal heuristic <coefdiving> (-1: never, 0: only at depth freqofs)
13.99/14.03 c # [type: int, range: [-1,2147483647], default: 10]
13.99/14.03 c heuristics/coefdiving/freq = -1
13.99/14.03 c
13.99/14.03 c # maximal fraction of diving LP iterations compared to node LP iterations
13.99/14.03 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
13.99/14.03 c heuristics/coefdiving/maxlpiterquot = 0.075
13.99/14.03 c
13.99/14.03 c # additional number of allowed LP iterations
13.99/14.03 c # [type: int, range: [0,2147483647], default: 1000]
13.99/14.03 c heuristics/coefdiving/maxlpiterofs = 1500
13.99/14.03 c
13.99/14.03 c # frequency for calling primal heuristic <crossover> (-1: never, 0: only at depth freqofs)
13.99/14.03 c # [type: int, range: [-1,2147483647], default: 30]
13.99/14.03 c heuristics/crossover/freq = -1
13.99/14.03 c
13.99/14.03 c # number of nodes added to the contingent of the total nodes
13.99/14.03 c # [type: longint, range: [0,9223372036854775807], default: 500]
13.99/14.03 c heuristics/crossover/nodesofs = 750
13.99/14.03 c
13.99/14.03 c # number of nodes without incumbent change that heuristic should wait
13.99/14.03 c # [type: longint, range: [0,9223372036854775807], default: 200]
13.99/14.03 c heuristics/crossover/nwaitingnodes = 100
13.99/14.03 c
13.99/14.03 c # contingent of sub problem nodes in relation to the number of nodes of the original problem
13.99/14.03 c # [type: real, range: [0,1], default: 0.1]
13.99/14.03 c heuristics/crossover/nodesquot = 0.15
13.99/14.03 c
13.99/14.03 c # minimum percentage of integer variables that have to be fixed
13.99/14.03 c # [type: real, range: [0,1], default: 0.666]
13.99/14.03 c heuristics/crossover/minfixingrate = 0.5
13.99/14.03 c
13.99/14.03 c # frequency for calling primal heuristic <feaspump> (-1: never, 0: only at depth freqofs)
13.99/14.03 c # [type: int, range: [-1,2147483647], default: 20]
13.99/14.03 c heuristics/feaspump/freq = -1
13.99/14.03 c
13.99/14.03 c # additional number of allowed LP iterations
13.99/14.03 c # [type: int, range: [0,2147483647], default: 1000]
13.99/14.03 c heuristics/feaspump/maxlpiterofs = 2000
13.99/14.03 c
13.99/14.03 c # frequency for calling primal heuristic <fracdiving> (-1: never, 0: only at depth freqofs)
13.99/14.03 c # [type: int, range: [-1,2147483647], default: 10]
13.99/14.03 c heuristics/fracdiving/freq = -1
13.99/14.03 c
13.99/14.03 c # maximal fraction of diving LP iterations compared to node LP iterations
13.99/14.03 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
13.99/14.03 c heuristics/fracdiving/maxlpiterquot = 0.075
13.99/14.03 c
13.99/14.03 c # additional number of allowed LP iterations
13.99/14.03 c # [type: int, range: [0,2147483647], default: 1000]
13.99/14.03 c heuristics/fracdiving/maxlpiterofs = 1500
13.99/14.03 c
13.99/14.03 c # frequency for calling primal heuristic <guideddiving> (-1: never, 0: only at depth freqofs)
13.99/14.03 c # [type: int, range: [-1,2147483647], default: 10]
13.99/14.03 c heuristics/guideddiving/freq = -1
13.99/14.03 c
13.99/14.03 c # maximal fraction of diving LP iterations compared to node LP iterations
13.99/14.03 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
13.99/14.03 c heuristics/guideddiving/maxlpiterquot = 0.075
13.99/14.03 c
13.99/14.03 c # additional number of allowed LP iterations
13.99/14.03 c # [type: int, range: [0,2147483647], default: 1000]
13.99/14.03 c heuristics/guideddiving/maxlpiterofs = 1500
13.99/14.03 c
13.99/14.03 c # maximal fraction of diving LP iterations compared to node LP iterations
13.99/14.03 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
13.99/14.03 c heuristics/intdiving/maxlpiterquot = 0.075
13.99/14.03 c
13.99/14.03 c # frequency for calling primal heuristic <intshifting> (-1: never, 0: only at depth freqofs)
13.99/14.03 c # [type: int, range: [-1,2147483647], default: 10]
13.99/14.03 c heuristics/intshifting/freq = -1
13.99/14.03 c
13.99/14.03 c # frequency for calling primal heuristic <linesearchdiving> (-1: never, 0: only at depth freqofs)
13.99/14.03 c # [type: int, range: [-1,2147483647], default: 10]
13.99/14.03 c heuristics/linesearchdiving/freq = -1
13.99/14.03 c
13.99/14.03 c # maximal fraction of diving LP iterations compared to node LP iterations
13.99/14.03 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
13.99/14.03 c heuristics/linesearchdiving/maxlpiterquot = 0.075
13.99/14.03 c
13.99/14.03 c # additional number of allowed LP iterations
13.99/14.03 c # [type: int, range: [0,2147483647], default: 1000]
13.99/14.03 c heuristics/linesearchdiving/maxlpiterofs = 1500
13.99/14.03 c
13.99/14.03 c # frequency for calling primal heuristic <objpscostdiving> (-1: never, 0: only at depth freqofs)
13.99/14.03 c # [type: int, range: [-1,2147483647], default: 20]
13.99/14.03 c heuristics/objpscostdiving/freq = -1
13.99/14.03 c
13.99/14.03 c # maximal fraction of diving LP iterations compared to total iteration number
13.99/14.03 c # [type: real, range: [0,1], default: 0.01]
13.99/14.03 c heuristics/objpscostdiving/maxlpiterquot = 0.015
13.99/14.03 c
13.99/14.03 c # additional number of allowed LP iterations
13.99/14.03 c # [type: int, range: [0,2147483647], default: 1000]
13.99/14.03 c heuristics/objpscostdiving/maxlpiterofs = 1500
13.99/14.03 c
13.99/14.03 c # frequency for calling primal heuristic <oneopt> (-1: never, 0: only at depth freqofs)
13.99/14.03 c # [type: int, range: [-1,2147483647], default: 1]
13.99/14.03 c heuristics/oneopt/freq = -1
13.99/14.03 c
13.99/14.03 c # frequency for calling primal heuristic <pscostdiving> (-1: never, 0: only at depth freqofs)
13.99/14.03 c # [type: int, range: [-1,2147483647], default: 10]
13.99/14.03 c heuristics/pscostdiving/freq = -1
13.99/14.03 c
13.99/14.03 c # maximal fraction of diving LP iterations compared to node LP iterations
13.99/14.03 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
13.99/14.03 c heuristics/pscostdiving/maxlpiterquot = 0.075
13.99/14.03 c
13.99/14.03 c # additional number of allowed LP iterations
13.99/14.03 c # [type: int, range: [0,2147483647], default: 1000]
13.99/14.03 c heuristics/pscostdiving/maxlpiterofs = 1500
13.99/14.03 c
13.99/14.03 c # frequency for calling primal heuristic <rens> (-1: never, 0: only at depth freqofs)
13.99/14.03 c # [type: int, range: [-1,2147483647], default: 0]
13.99/14.03 c heuristics/rens/freq = -1
13.99/14.03 c
13.99/14.03 c # minimum percentage of integer variables that have to be fixable
13.99/14.03 c # [type: real, range: [0,1], default: 0.5]
13.99/14.03 c heuristics/rens/minfixingrate = 0.3
13.99/14.03 c
13.99/14.03 c # number of nodes added to the contingent of the total nodes
13.99/14.03 c # [type: longint, range: [0,9223372036854775807], default: 500]
13.99/14.03 c heuristics/rens/nodesofs = 2000
13.99/14.03 c
13.99/14.03 c # frequency for calling primal heuristic <rootsoldiving> (-1: never, 0: only at depth freqofs)
13.99/14.03 c # [type: int, range: [-1,2147483647], default: 20]
13.99/14.03 c heuristics/rootsoldiving/freq = -1
13.99/14.03 c
13.99/14.03 c # maximal fraction of diving LP iterations compared to node LP iterations
13.99/14.03 c # [type: real, range: [0,1.79769313486232e+308], default: 0.01]
13.99/14.03 c heuristics/rootsoldiving/maxlpiterquot = 0.015
13.99/14.03 c
13.99/14.03 c # additional number of allowed LP iterations
13.99/14.03 c # [type: int, range: [0,2147483647], default: 1000]
13.99/14.03 c heuristics/rootsoldiving/maxlpiterofs = 1500
13.99/14.03 c
13.99/14.03 c # frequency for calling primal heuristic <rounding> (-1: never, 0: only at depth freqofs)
13.99/14.03 c # [type: int, range: [-1,2147483647], default: 1]
13.99/14.03 c heuristics/rounding/freq = -1
13.99/14.03 c
13.99/14.03 c # frequency for calling primal heuristic <shiftandpropagate> (-1: never, 0: only at depth freqofs)
13.99/14.03 c # [type: int, range: [-1,2147483647], default: 0]
13.99/14.03 c heuristics/shiftandpropagate/freq = -1
13.99/14.03 c
13.99/14.03 c # frequency for calling primal heuristic <shifting> (-1: never, 0: only at depth freqofs)
13.99/14.03 c # [type: int, range: [-1,2147483647], default: 10]
13.99/14.03 c heuristics/shifting/freq = -1
13.99/14.03 c
13.99/14.03 c # frequency for calling primal heuristic <simplerounding> (-1: never, 0: only at depth freqofs)
13.99/14.03 c # [type: int, range: [-1,2147483647], default: 1]
13.99/14.03 c heuristics/simplerounding/freq = -1
13.99/14.03 c
13.99/14.03 c # frequency for calling primal heuristic <subnlp> (-1: never, 0: only at depth freqofs)
13.99/14.03 c # [type: int, range: [-1,2147483647], default: 1]
13.99/14.03 c heuristics/subnlp/freq = -1
13.99/14.03 c
13.99/14.03 c # frequency for calling primal heuristic <trivial> (-1: never, 0: only at depth freqofs)
13.99/14.03 c # [type: int, range: [-1,2147483647], default: 0]
13.99/14.03 c heuristics/trivial/freq = -1
13.99/14.03 c
13.99/14.03 c # frequency for calling primal heuristic <trysol> (-1: never, 0: only at depth freqofs)
13.99/14.03 c # [type: int, range: [-1,2147483647], default: 1]
13.99/14.03 c heuristics/trysol/freq = -1
13.99/14.03 c
13.99/14.03 c # frequency for calling primal heuristic <undercover> (-1: never, 0: only at depth freqofs)
13.99/14.03 c # [type: int, range: [-1,2147483647], default: 0]
13.99/14.03 c heuristics/undercover/freq = -1
13.99/14.03 c
13.99/14.03 c # frequency for calling primal heuristic <veclendiving> (-1: never, 0: only at depth freqofs)
13.99/14.03 c # [type: int, range: [-1,2147483647], default: 10]
13.99/14.03 c heuristics/veclendiving/freq = -1
13.99/14.03 c
13.99/14.03 c # maximal fraction of diving LP iterations compared to node LP iterations
13.99/14.03 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
13.99/14.03 c heuristics/veclendiving/maxlpiterquot = 0.075
13.99/14.03 c
13.99/14.03 c # additional number of allowed LP iterations
13.99/14.03 c # [type: int, range: [0,2147483647], default: 1000]
13.99/14.03 c heuristics/veclendiving/maxlpiterofs = 1500
13.99/14.03 c
13.99/14.03 c # frequency for calling primal heuristic <zirounding> (-1: never, 0: only at depth freqofs)
13.99/14.03 c # [type: int, range: [-1,2147483647], default: 1]
13.99/14.03 c heuristics/zirounding/freq = -1
13.99/14.03 c
13.99/14.03 c # frequency for calling separator <cmir> (-1: never, 0: only in root node)
13.99/14.03 c # [type: int, range: [-1,2147483647], default: 0]
13.99/14.03 c separating/cmir/freq = -1
13.99/14.03 c
13.99/14.03 c # frequency for calling separator <flowcover> (-1: never, 0: only in root node)
13.99/14.03 c # [type: int, range: [-1,2147483647], default: 0]
13.99/14.03 c separating/flowcover/freq = -1
13.99/14.03 c
13.99/14.03 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
13.99/14.03 c # [type: int, range: [-1,2147483647], default: -1]
13.99/14.03 c separating/rapidlearning/freq = 0
13.99/14.03 c
13.99/14.03 c -----------------------------------------------------------------------------------------------
13.99/14.03 c start solving
13.99/14.04 c
572.02/572.06 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
572.02/572.06 c 572s| 1 | 0 | 64015 | - | 428M| 0 | 17k| 32k| 98k| 32k| 98k| 0 | 0 | 0 | 0.000000e+00 | -- | Inf
1520.74/1520.76 c 1521s| 1 | 0 |128032 | - | 428M| 0 | 17k| 32k| 98k| 32k| 98k| 50 | 0 | 0 | 0.000000e+00 | -- | Inf
1797.04/1797.01 c 1797s| 1 | 0 |129033 | - | 428M| 0 | - | 32k| 98k| 32k| 98k| 63 | 0 | 0 | 0.000000e+00 | -- | Inf
1797.04/1797.03 c 1797s| 1 | 2 |129033 | - | 428M| 0 | - | 32k| 98k| 32k| 98k| 63 | 0 | 0 | 0.000000e+00 | -- | Inf
1797.04/1797.03 c
1797.04/1797.03 c SCIP Status : solving was interrupted [time limit reached]
1797.04/1797.03 c Solving Time (sec) : 1797.03
1797.04/1797.03 c Solving Nodes : 1
1797.04/1797.03 c Primal Bound : +1.00000000000000e+20 (0 solutions)
1797.04/1797.03 c Dual Bound : +0.00000000000000e+00
1797.04/1797.03 c Gap : infinite
1797.04/1797.03 s UNKNOWN
1797.04/1797.03 c SCIP Status : solving was interrupted [time limit reached]
1797.04/1797.03 c Total Time : 1797.03
1797.04/1797.03 c solving : 1797.03
1797.04/1797.03 c presolving : 13.03 (included in solving)
1797.04/1797.03 c reading : 0.85 (included in solving)
1797.04/1797.03 c Original Problem :
1797.04/1797.03 c Problem name : HOME/instance-3486144-1307791303.opb
1797.04/1797.03 c Variables : 48642 (48642 binary, 0 integer, 0 implicit integer, 0 continuous)
1797.04/1797.03 c Constraints : 155800 initial, 155800 maximal
1797.04/1797.03 c Presolved Problem :
1797.04/1797.03 c Problem name : t_HOME/instance-3486144-1307791303.opb
1797.04/1797.03 c Variables : 32408 (32408 binary, 0 integer, 0 implicit integer, 0 continuous)
1797.04/1797.03 c Constraints : 98744 initial, 98744 maximal
1797.04/1797.03 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons AddCons ChgSides ChgCoefs
1797.04/1797.03 c trivial : 0.03 1083 0 0 0 0 0 0 0 0
1797.04/1797.03 c dualfix : 0.06 105 0 0 0 0 0 0 0 0
1797.04/1797.03 c boundshift : 0.00 0 0 0 0 0 0 0 0 0
1797.04/1797.03 c inttobinary : 0.00 0 0 0 0 0 0 0 0 0
1797.04/1797.03 c implics : 0.23 0 0 0 0 0 0 0 0 0
1797.04/1797.03 c probing : 0.00 0 0 0 0 0 0 0 0 0
1797.04/1797.03 c knapsack : 0.59 0 0 0 0 0 0 0 37 202
1797.04/1797.03 c setppc : 0.16 0 0 0 0 0 0 0 0 0
1797.04/1797.03 c linear : 11.41 11309 3737 0 12392 0 57056 0 27 31
1797.04/1797.03 c logicor : 0.04 0 0 0 0 0 0 0 0 0
1797.04/1797.03 c root node : - 0 - - 0 - - - - -
1797.04/1797.03 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS #Check #Resprop Cutoffs DomReds Cuts Conss Children
1797.04/1797.03 c integral : 0 0 0 0 0 1 0 0 0 0 0 0
1797.04/1797.03 c knapsack : 788 2 1 0 1 0 0 0 0 136 0 0
1797.04/1797.03 c setppc : 82085 2 1 0 1 0 0 0 0 0 0 0
1797.04/1797.03 c logicor : 15871 2 1 0 1 0 0 0 0 0 0 0
1797.04/1797.03 c countsols : 0 0 0 0 1 0 0 0 0 0 0 0
1797.04/1797.03 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS Check Resprop
1797.04/1797.03 c integral : 0.00 0.00 0.00 0.00 0.00 0.00 0.00
1797.04/1797.03 c knapsack : 0.03 0.03 0.00 0.00 0.00 0.00 0.00
1797.04/1797.03 c setppc : 0.02 0.01 0.00 0.00 0.01 0.00 0.00
1797.04/1797.03 c logicor : 0.01 0.00 0.01 0.00 0.00 0.00 0.00
1797.04/1797.03 c countsols : 0.00 0.00 0.00 0.00 0.00 0.00 0.00
1797.04/1797.03 c Propagators : #Propagate #Resprop Cutoffs DomReds
1797.04/1797.03 c vbounds : 0 0 0 0
1797.04/1797.03 c rootredcost : 0 0 0 0
1797.04/1797.03 c pseudoobj : 0 0 0 0
1797.04/1797.03 c Propagator Timings : TotalTime Propagate Resprop
1797.04/1797.03 c vbounds : 0.00 0.00 0.00
1797.04/1797.03 c rootredcost : 0.00 0.00 0.00
1797.04/1797.03 c pseudoobj : 0.00 0.00 0.00
1797.04/1797.03 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1797.04/1797.03 c propagation : 0.00 0 0 0 0.0 0 0.0 -
1797.04/1797.03 c infeasible LP : 0.00 0 0 0 0.0 0 0.0 0
1797.04/1797.03 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1797.04/1797.03 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1797.04/1797.03 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 -
1797.04/1797.03 c applied globally : - - - 0 0.0 - - -
1797.04/1797.03 c applied locally : - - - 0 0.0 - - -
1797.04/1797.03 c Separators : Time Calls Cutoffs DomReds Cuts Conss
1797.04/1797.03 c cut pool : 0.00 1 - - 0 - (maximal pool size: 23)
1797.04/1797.03 c redcost : 0.00 2 0 0 0 0
1797.04/1797.03 c impliedbounds : 0.09 2 0 0 0 0
1797.04/1797.03 c intobj : 0.00 0 0 0 0 0
1797.04/1797.03 c gomory : 172.89 2 0 0 578 0
1797.04/1797.03 c cgmip : 0.00 0 0 0 0 0
1797.04/1797.03 c closecuts : 0.00 0 0 0 0 0
1797.04/1797.03 c strongcg : 169.42 2 0 0 578 0
1797.04/1797.03 c cmir : 0.00 0 0 0 0 0
1797.04/1797.03 c flowcover : 0.00 0 0 0 0 0
1797.04/1797.03 c clique : 31.70 2 0 0 16 0
1797.04/1797.03 c zerohalf : 0.00 0 0 0 0 0
1797.04/1797.03 c mcf : 13.79 1 0 0 0 0
1797.04/1797.03 c oddcycle : 0.00 0 0 0 0 0
1797.04/1797.03 c rapidlearning : 0.00 0 0 0 0 0
1797.04/1797.03 c Pricers : Time Calls Vars
1797.04/1797.03 c problem variables: 0.00 0 0
1797.04/1797.03 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
1797.04/1797.03 c relpscost : 0.00 0 0 0 0 0 0
1797.04/1797.03 c pscost : 0.00 0 0 0 0 0 0
1797.04/1797.03 c inference : 0.00 1 0 0 0 0 2
1797.04/1797.03 c mostinf : 0.00 0 0 0 0 0 0
1797.04/1797.03 c leastinf : 0.00 0 0 0 0 0 0
1797.04/1797.03 c fullstrong : 0.00 0 0 0 0 0 0
1797.04/1797.03 c allfullstrong : 0.00 0 0 0 0 0 0
1797.04/1797.03 c random : 0.00 0 0 0 0 0 0
1797.04/1797.03 c Primal Heuristics : Time Calls Found
1797.04/1797.03 c LP solutions : 0.00 - 0
1797.04/1797.03 c pseudo solutions : 0.00 - 0
1797.04/1797.03 c trivial : 0.03 1 0
1797.04/1797.03 c shiftandpropagate: 0.00 0 0
1797.04/1797.03 c simplerounding : 0.00 0 0
1797.04/1797.03 c zirounding : 0.00 0 0
1797.04/1797.03 c rounding : 0.00 0 0
1797.04/1797.03 c shifting : 0.00 0 0
1797.04/1797.03 c intshifting : 0.00 0 0
1797.04/1797.03 c oneopt : 0.00 0 0
1797.04/1797.03 c twoopt : 0.00 0 0
1797.04/1797.03 c fixandinfer : 0.00 0 0
1797.04/1797.03 c feaspump : 0.00 0 0
1797.04/1797.03 c clique : 0.00 0 0
1797.04/1797.03 c coefdiving : 0.00 0 0
1797.04/1797.03 c pscostdiving : 0.00 0 0
1797.04/1797.03 c fracdiving : 0.00 0 0
1797.04/1797.03 c veclendiving : 0.00 0 0
1797.04/1797.03 c intdiving : 0.00 0 0
1797.04/1797.03 c actconsdiving : 0.00 0 0
1797.04/1797.03 c objpscostdiving : 0.00 0 0
1797.04/1797.03 c rootsoldiving : 0.00 0 0
1797.04/1797.03 c linesearchdiving : 0.00 0 0
1797.04/1797.03 c guideddiving : 0.00 0 0
1797.04/1797.03 c octane : 0.00 0 0
1797.04/1797.03 c rens : 0.00 0 0
1797.04/1797.03 c rins : 0.00 0 0
1797.04/1797.03 c localbranching : 0.00 0 0
1797.04/1797.03 c mutation : 0.00 0 0
1797.04/1797.03 c crossover : 0.00 0 0
1797.04/1797.03 c dins : 0.00 0 0
1797.04/1797.03 c vbounds : 0.00 0 0
1797.04/1797.03 c undercover : 0.00 0 0
1797.04/1797.04 c subnlp : 0.00 0 0
1797.04/1797.04 c trysol : 0.00 0 0
1797.04/1797.04 c LP : Time Calls Iterations Iter/call Iter/sec
1797.04/1797.04 c primal LP : 0.00 0 0 0.00 -
1797.04/1797.04 c dual LP : 1394.76 3 129033 43011.00 92.51
1797.04/1797.04 c lex dual LP : 0.00 0 0 0.00 -
1797.04/1797.04 c barrier LP : 0.00 0 0 0.00 -
1797.04/1797.04 c diving/probing LP: 0.00 0 0 0.00 -
1797.04/1797.04 c strong branching : 0.00 0 0 0.00 -
1797.04/1797.04 c (at root node) : - 0 0 0.00 -
1797.04/1797.04 c conflict analysis: 0.00 0 0 0.00 -
1797.04/1797.04 c B&B Tree :
1797.04/1797.04 c number of runs : 1
1797.04/1797.04 c nodes : 1
1797.04/1797.04 c nodes (total) : 1
1797.04/1797.04 c nodes left : 2
1797.04/1797.04 c max depth : 0
1797.04/1797.04 c max depth (total): 0
1797.04/1797.04 c backtracks : 0 (0.0%)
1797.04/1797.04 c delayed cutoffs : 0
1797.04/1797.04 c repropagations : 0 (0 domain reductions, 0 cutoffs)
1797.04/1797.04 c avg switch length: 1.00
1797.04/1797.04 c switching time : 0.00
1797.04/1797.04 c Solution :
1797.04/1797.04 c Solutions found : 0 (0 improvements)
1797.04/1797.04 c Primal Bound : -
1797.04/1797.04 c Dual Bound : +0.00000000000000e+00
1797.04/1797.04 c Gap : infinite
1797.04/1797.04 c Root Dual Bound : +0.00000000000000e+00
1797.04/1797.04 c Root Iterations : 129033
1797.45/1797.44 c Time complete: 1797.48.
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-3486144-1307791303/watcher-3486144-1307791303 -o /tmp/evaluation-result-3486144-1307791303/solver-3486144-1307791303 -C 1800 -W 1900 -M 15500 HOME/scip-2.0.1.4_2.linux.x86_64.gnu.opt.spx -f HOME/instance-3486144-1307791303.opb -t 1800 -m 15500
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 1.08 1.28 1.64 2/177 29817
/proc/meminfo: memFree=30976820/32951124 swapFree=67076880/67111528
[pid=29817] ppid=29815 vsize=9992 CPUtime=0 cores=1,3,5,7
/proc/29817/stat : 29817 (scip-2.0.1.4_2.) R 29815 29817 27924 0 -1 4202496 1514 0 0 0 0 0 0 0 22 0 1 0 890728111 10231808 1469 33554432000 4194304 8979876 140733616151008 18446744073709551615 7790414 0 0 4096 0 0 0 0 17 3 0 0 0
/proc/29817/statm: 2498 1469 363 1169 0 1325 0
[startup+0.00934511 s]
/proc/loadavg: 1.08 1.28 1.64 2/177 29817
/proc/meminfo: memFree=30976820/32951124 swapFree=67076880/67111528
[pid=29817] ppid=29815 vsize=10768 CPUtime=0 cores=1,3,5,7
/proc/29817/stat : 29817 (scip-2.0.1.4_2.) R 29815 29817 27924 0 -1 4202496 1685 0 0 0 0 0 0 0 22 0 1 0 890728111 11026432 1640 33554432000 4194304 8979876 140733616151008 18446744073709551615 7836088 0 0 4096 0 0 0 0 17 3 0 0 0
/proc/29817/statm: 2692 1640 363 1169 0 1519 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 10768
[startup+0.100334 s]
/proc/loadavg: 1.08 1.28 1.64 2/177 29817
/proc/meminfo: memFree=30976820/32951124 swapFree=67076880/67111528
[pid=29817] ppid=29815 vsize=27648 CPUtime=0.09 cores=1,3,5,7
/proc/29817/stat : 29817 (scip-2.0.1.4_2.) R 29815 29817 27924 0 -1 4202496 5923 0 0 0 9 0 0 0 23 0 1 0 890728111 28311552 5878 33554432000 4194304 8979876 140733616151008 18446744073709551615 4446983 0 0 4096 0 0 0 0 17 3 0 0 0
/proc/29817/statm: 6912 5878 363 1169 0 5739 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 27648
[startup+0.300288 s]
/proc/loadavg: 1.08 1.28 1.64 2/177 29817
/proc/meminfo: memFree=30976820/32951124 swapFree=67076880/67111528
[pid=29817] ppid=29815 vsize=44332 CPUtime=0.29 cores=1,3,5,7
/proc/29817/stat : 29817 (scip-2.0.1.4_2.) R 29815 29817 27924 0 -1 4202496 10079 0 0 0 28 1 0 0 23 0 1 0 890728111 45395968 10034 33554432000 4194304 8979876 140733616151008 18446744073709551615 7836048 0 0 4096 0 0 0 0 17 3 0 0 0
/proc/29817/statm: 11083 10034 363 1169 0 9910 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 44332
[startup+0.70022 s]
/proc/loadavg: 1.08 1.28 1.64 2/177 29817
/proc/meminfo: memFree=30976820/32951124 swapFree=67076880/67111528
[pid=29817] ppid=29815 vsize=79780 CPUtime=0.69 cores=1,3,5,7
/proc/29817/stat : 29817 (scip-2.0.1.4_2.) R 29815 29817 27924 0 -1 4202496 18829 0 0 0 67 2 0 0 25 0 1 0 890728111 81694720 18785 33554432000 4194304 8979876 140733616151008 18446744073709551615 6779003 0 0 4096 0 0 0 0 17 3 0 0 0
/proc/29817/statm: 19945 18818 363 1169 0 18772 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 79780
[startup+1.50107 s]
/proc/loadavg: 1.08 1.28 1.64 3/178 29818
/proc/meminfo: memFree=30735160/32951124 swapFree=67076880/67111528
[pid=29817] ppid=29815 vsize=276520 CPUtime=1.49 cores=1,3,5,7
/proc/29817/stat : 29817 (scip-2.0.1.4_2.) R 29815 29817 27924 0 -1 4202496 73982 0 0 0 142 7 0 0 25 0 1 0 890728111 283156480 67070 33554432000 4194304 8979876 140733616151008 18446744073709551615 18446744073699065904 0 0 4096 2 0 0 0 17 3 0 0 0
/proc/29817/statm: 69130 67070 493 1169 0 67957 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 276520
[startup+3.10078 s]
/proc/loadavg: 1.08 1.28 1.64 3/178 29818
/proc/meminfo: memFree=30513460/32951124 swapFree=67076880/67111528
[pid=29817] ppid=29815 vsize=420524 CPUtime=3.09 cores=1,3,5,7
/proc/29817/stat : 29817 (scip-2.0.1.4_2.) R 29815 29817 27924 0 -1 4202496 109831 0 0 0 298 11 0 0 25 0 1 0 890728111 430616576 102919 33554432000 4194304 8979876 140733616151008 18446744073709551615 6503305 0 0 4096 2 0 0 0 17 3 0 0 0
/proc/29817/statm: 105131 102919 493 1169 0 103958 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 420524
[startup+6.3002 s]
/proc/loadavg: 1.15 1.29 1.64 3/178 29819
/proc/meminfo: memFree=30194284/32951124 swapFree=67076880/67111528
[pid=29817] ppid=29815 vsize=580044 CPUtime=6.29 cores=1,3,5,7
/proc/29817/stat : 29817 (scip-2.0.1.4_2.) R 29815 29817 27924 0 -1 4202496 148155 0 0 0 614 15 0 0 25 0 1 0 890728111 593965056 140594 33554432000 4194304 8979876 140733616151008 18446744073709551615 6504338 0 0 4096 2 0 0 0 17 3 0 0 0
/proc/29817/statm: 145011 140594 502 1169 0 143838 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 580044
[startup+12.701 s]
/proc/loadavg: 1.22 1.30 1.65 3/178 29819
/proc/meminfo: memFree=30158436/32951124 swapFree=67076880/67111528
[pid=29817] ppid=29815 vsize=580864 CPUtime=12.69 cores=1,3,5,7
/proc/29817/stat : 29817 (scip-2.0.1.4_2.) R 29815 29817 27924 0 -1 4202496 148564 0 0 0 1254 15 0 0 25 0 1 0 890728111 594804736 140794 33554432000 4194304 8979876 140733616151008 18446744073709551615 5987666 0 0 4096 2 0 0 0 17 3 0 0 0
/proc/29817/statm: 145216 140794 502 1169 0 144043 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 580864
[startup+25.5007 s]
/proc/loadavg: 1.39 1.33 1.65 3/178 29819
/proc/meminfo: memFree=29780128/32951124 swapFree=67076880/67111528
[pid=29817] ppid=29815 vsize=785056 CPUtime=25.49 cores=1,3,5,7
/proc/29817/stat : 29817 (scip-2.0.1.4_2.) R 29815 29817 27924 0 -1 4202496 205638 0 0 0 2521 28 0 0 25 0 1 0 890728111 803897344 187614 33554432000 4194304 8979876 140733616151008 18446744073709551615 7122076 0 0 4096 2 0 0 0 17 3 0 0 0
/proc/29817/statm: 196264 187614 770 1169 0 195091 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 785056
[startup+51.101 s]
/proc/loadavg: 1.60 1.39 1.66 3/178 29820
/proc/meminfo: memFree=29765616/32951124 swapFree=67076880/67111528
[pid=29817] ppid=29815 vsize=788760 CPUtime=51.1 cores=1,3,5,7
/proc/29817/stat : 29817 (scip-2.0.1.4_2.) R 29815 29817 27924 0 -1 4202496 207388 0 0 0 5079 31 0 0 25 0 1 0 890728111 807690240 189352 33554432000 4194304 8979876 140733616151008 18446744073709551615 7122720 0 0 4096 2 0 0 0 17 3 0 0 0
/proc/29817/statm: 197190 189352 759 1169 0 196017 0
Current children cumulated CPU time (s) 51.1
Current children cumulated vsize (KiB) 788760
[startup+102.307 s]
/proc/loadavg: 1.82 1.48 1.67 3/178 29821
/proc/meminfo: memFree=29751332/32951124 swapFree=67076880/67111528
[pid=29817] ppid=29815 vsize=796696 CPUtime=102.3 cores=1,3,5,7
/proc/29817/stat : 29817 (scip-2.0.1.4_2.) R 29815 29817 27924 0 -1 4202496 209335 0 0 0 10195 35 0 0 25 0 1 0 890728111 815816704 191286 33554432000 4194304 8979876 140733616151008 18446744073709551615 7146472 0 0 4096 2 0 0 0 17 3 0 0 0
/proc/29817/statm: 199174 191286 748 1169 0 198001 0
Current children cumulated CPU time (s) 102.3
Current children cumulated vsize (KiB) 796696
[startup+162.301 s]
/proc/loadavg: 1.93 1.57 1.69 3/178 29823
/proc/meminfo: memFree=29738408/32951124 swapFree=67076880/67111528
[pid=29817] ppid=29815 vsize=805600 CPUtime=162.3 cores=1,3,5,7
/proc/29817/stat : 29817 (scip-2.0.1.4_2.) R 29815 29817 27924 0 -1 4202496 212488 0 0 0 16191 39 0 0 25 0 1 0 890728111 824934400 194347 33554432000 4194304 8979876 140733616151008 18446744073709551615 6942090 0 0 4096 2 0 0 0 17 3 0 0 0
/proc/29817/statm: 201400 194347 705 1169 0 200227 0
Current children cumulated CPU time (s) 162.3
Current children cumulated vsize (KiB) 805600
[startup+222.301 s]
/proc/loadavg: 1.97 1.65 1.71 3/178 29824
/proc/meminfo: memFree=29728428/32951124 swapFree=67076880/67111528
[pid=29817] ppid=29815 vsize=808416 CPUtime=222.3 cores=1,3,5,7
/proc/29817/stat : 29817 (scip-2.0.1.4_2.) R 29815 29817 27924 0 -1 4202496 213418 0 0 0 22186 44 0 0 25 0 1 0 890728111 827817984 195228 33554432000 4194304 8979876 140733616151008 18446744073709551615 7184787 0 0 4096 2 0 0 0 17 3 0 0 0
/proc/29817/statm: 202104 195228 724 1169 0 200931 0
Current children cumulated CPU time (s) 222.3
Current children cumulated vsize (KiB) 808416
[startup+282.301 s]
/proc/loadavg: 1.99 1.71 1.72 3/178 29826
/proc/meminfo: memFree=29717720/32951124 swapFree=67076880/67111528
[pid=29817] ppid=29815 vsize=808416 CPUtime=282.3 cores=1,3,5,7
/proc/29817/stat : 29817 (scip-2.0.1.4_2.) R 29815 29817 27924 0 -1 4202496 213439 0 0 0 28182 48 0 0 25 0 1 0 890728111 827817984 195242 33554432000 4194304 8979876 140733616151008 18446744073709551615 7147088 0 0 4096 2 0 0 0 17 3 0 0 0
/proc/29817/statm: 202104 195242 717 1169 0 200931 0
Current children cumulated CPU time (s) 282.3
Current children cumulated vsize (KiB) 808416
[startup+342.301 s]
/proc/loadavg: 1.99 1.76 1.74 3/178 29828
/proc/meminfo: memFree=29716940/32951124 swapFree=67076880/67111528
[pid=29817] ppid=29815 vsize=808416 CPUtime=342.3 cores=1,3,5,7
/proc/29817/stat : 29817 (scip-2.0.1.4_2.) R 29815 29817 27924 0 -1 4202496 213471 0 0 0 34178 52 0 0 25 0 1 0 890728111 827817984 195272 33554432000 4194304 8979876 140733616151008 18446744073709551615 7146657 0 0 4096 2 0 0 0 17 3 0 0 0
/proc/29817/statm: 202104 195272 715 1169 0 200931 0
Current children cumulated CPU time (s) 342.3
Current children cumulated vsize (KiB) 808416
[startup+402.301 s]
/proc/loadavg: 1.99 1.80 1.75 3/178 29829
/proc/meminfo: memFree=29703256/32951124 swapFree=67076880/67111528
[pid=29817] ppid=29815 vsize=808416 CPUtime=402.3 cores=1,3,5,7
/proc/29817/stat : 29817 (scip-2.0.1.4_2.) R 29815 29817 27924 0 -1 4202496 213494 0 0 0 40175 55 0 0 25 0 1 0 890728111 827817984 195295 33554432000 4194304 8979876 140733616151008 18446744073709551615 7193346 0 0 4096 2 0 0 0 17 3 0 0 0
/proc/29817/statm: 202104 195295 715 1169 0 200931 0
Current children cumulated CPU time (s) 402.3
Current children cumulated vsize (KiB) 808416
[startup+462.301 s]
/proc/loadavg: 1.99 1.83 1.76 3/178 29831
/proc/meminfo: memFree=29702984/32951124 swapFree=67076880/67111528
[pid=29817] ppid=29815 vsize=808416 CPUtime=462.3 cores=1,3,5,7
/proc/29817/stat : 29817 (scip-2.0.1.4_2.) R 29815 29817 27924 0 -1 4202496 213523 0 0 0 46171 59 0 0 25 0 1 0 890728111 827817984 195297 33554432000 4194304 8979876 140733616151008 18446744073709551615 6829028 0 0 4096 2 0 0 0 17 3 0 0 0
/proc/29817/statm: 202104 195297 688 1169 0 200931 0
Current children cumulated CPU time (s) 462.3
Current children cumulated vsize (KiB) 808416
[startup+522.301 s]
/proc/loadavg: 1.99 1.86 1.77 3/178 29832
/proc/meminfo: memFree=29702680/32951124 swapFree=67076880/67111528
[pid=29817] ppid=29815 vsize=808416 CPUtime=522.31 cores=1,3,5,7
/proc/29817/stat : 29817 (scip-2.0.1.4_2.) R 29815 29817 27924 0 -1 4202496 213530 0 0 0 52166 65 0 0 25 0 1 0 890728111 827817984 195298 33554432000 4194304 8979876 140733616151008 18446744073709551615 7147105 0 0 4096 2 0 0 0 17 3 0 0 0
/proc/29817/statm: 202104 195298 682 1169 0 200931 0
Current children cumulated CPU time (s) 522.31
Current children cumulated vsize (KiB) 808416
[startup+582.301 s]
/proc/loadavg: 1.99 1.88 1.78 3/178 29834
/proc/meminfo: memFree=29698300/32951124 swapFree=67076880/67111528
[pid=29817] ppid=29815 vsize=808416 CPUtime=582.3 cores=1,3,5,7
/proc/29817/stat : 29817 (scip-2.0.1.4_2.) R 29815 29817 27924 0 -1 4202496 214640 0 0 0 58161 69 0 0 25 0 1 0 890728111 827817984 196373 33554432000 4194304 8979876 140733616151008 18446744073709551615 6888353 0 0 4096 2 0 0 0 17 3 0 0 0
/proc/29817/statm: 202104 196373 695 1169 0 200931 0
Current children cumulated CPU time (s) 582.3
Current children cumulated vsize (KiB) 808416
[startup+642.301 s]
################
# More data... #
################
/proc/meminfo: memFree=29680168/32951124 swapFree=67076880/67111528
[pid=29817] ppid=29815 vsize=835160 CPUtime=1122.32 cores=1,3,5,7
/proc/29817/stat : 29817 (scip-2.0.1.4_2.) R 29815 29817 27924 0 -1 4202496 220594 0 0 0 112120 112 0 0 25 0 1 0 890728111 855203840 202278 33554432000 4194304 8979876 140733616151008 18446744073709551615 6820773 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/29817/statm: 208790 202278 685 1169 0 207617 0
Current children cumulated CPU time (s) 1122.32
Current children cumulated vsize (KiB) 835160
[startup+1182.3 s]
/proc/loadavg: 2.00 1.97 1.87 3/178 29850
/proc/meminfo: memFree=29686460/32951124 swapFree=67076880/67111528
[pid=29817] ppid=29815 vsize=835160 CPUtime=1182.32 cores=1,3,5,7
/proc/29817/stat : 29817 (scip-2.0.1.4_2.) R 29815 29817 27924 0 -1 4202496 220605 0 0 0 118116 116 0 0 25 0 1 0 890728111 855203840 202289 33554432000 4194304 8979876 140733616151008 18446744073709551615 6820813 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/29817/statm: 208790 202289 685 1169 0 207617 0
Current children cumulated CPU time (s) 1182.32
Current children cumulated vsize (KiB) 835160
[startup+1242.3 s]
/proc/loadavg: 2.00 1.97 1.87 3/178 29852
/proc/meminfo: memFree=29667204/32951124 swapFree=67076880/67111528
[pid=29817] ppid=29815 vsize=837944 CPUtime=1242.33 cores=1,3,5,7
/proc/29817/stat : 29817 (scip-2.0.1.4_2.) R 29815 29817 27924 0 -1 4202496 223419 0 0 0 124113 120 0 0 25 0 1 0 890728111 858054656 205103 33554432000 4194304 8979876 140733616151008 18446744073709551615 7147035 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/29817/statm: 209486 205103 685 1169 0 208313 0
Current children cumulated CPU time (s) 1242.33
Current children cumulated vsize (KiB) 837944
[startup+1302.3 s]
/proc/loadavg: 2.00 1.97 1.88 3/178 29853
/proc/meminfo: memFree=29666940/32951124 swapFree=67076880/67111528
[pid=29817] ppid=29815 vsize=837944 CPUtime=1302.34 cores=1,3,5,7
/proc/29817/stat : 29817 (scip-2.0.1.4_2.) R 29815 29817 27924 0 -1 4202496 223419 0 0 0 130110 124 0 0 25 0 1 0 890728111 858054656 205103 33554432000 4194304 8979876 140733616151008 18446744073709551615 7836073 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/29817/statm: 209486 205103 685 1169 0 208313 0
Current children cumulated CPU time (s) 1302.34
Current children cumulated vsize (KiB) 837944
[startup+1362.3 s]
/proc/loadavg: 2.05 1.99 1.89 3/178 29855
/proc/meminfo: memFree=29667048/32951124 swapFree=67076880/67111528
[pid=29817] ppid=29815 vsize=837944 CPUtime=1362.33 cores=1,3,5,7
/proc/29817/stat : 29817 (scip-2.0.1.4_2.) R 29815 29817 27924 0 -1 4202496 223419 0 0 0 136106 127 0 0 25 0 1 0 890728111 858054656 205103 33554432000 4194304 8979876 140733616151008 18446744073709551615 7146996 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/29817/statm: 209486 205103 685 1169 0 208313 0
Current children cumulated CPU time (s) 1362.33
Current children cumulated vsize (KiB) 837944
[startup+1422.31 s]
/proc/loadavg: 2.02 1.99 1.89 3/178 29856
/proc/meminfo: memFree=29667032/32951124 swapFree=67076880/67111528
[pid=29817] ppid=29815 vsize=837944 CPUtime=1422.33 cores=1,3,5,7
/proc/29817/stat : 29817 (scip-2.0.1.4_2.) R 29815 29817 27924 0 -1 4202496 223419 0 0 0 142103 130 0 0 25 0 1 0 890728111 858054656 205103 33554432000 4194304 8979876 140733616151008 18446744073709551615 7146482 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/29817/statm: 209486 205103 685 1169 0 208313 0
Current children cumulated CPU time (s) 1422.33
Current children cumulated vsize (KiB) 837944
[startup+1482.3 s]
/proc/loadavg: 2.05 2.00 1.91 3/178 29858
/proc/meminfo: memFree=29667000/32951124 swapFree=67076880/67111528
[pid=29817] ppid=29815 vsize=837944 CPUtime=1482.34 cores=1,3,5,7
/proc/29817/stat : 29817 (scip-2.0.1.4_2.) R 29815 29817 27924 0 -1 4202496 223419 0 0 0 148100 134 0 0 25 0 1 0 890728111 858054656 205103 33554432000 4194304 8979876 140733616151008 18446744073709551615 7157329 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/29817/statm: 209486 205103 685 1169 0 208313 0
Current children cumulated CPU time (s) 1482.34
Current children cumulated vsize (KiB) 837944
[startup+1542.3 s]
/proc/loadavg: 2.02 2.00 1.91 3/178 29860
/proc/meminfo: memFree=29666956/32951124 swapFree=67076880/67111528
[pid=29817] ppid=29815 vsize=837944 CPUtime=1542.34 cores=1,3,5,7
/proc/29817/stat : 29817 (scip-2.0.1.4_2.) R 29815 29817 27924 0 -1 4202496 223419 0 0 0 154094 140 0 0 25 0 1 0 890728111 858054656 205103 33554432000 4194304 8979876 140733616151008 18446744073709551615 7841433 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/29817/statm: 209486 205103 685 1169 0 208313 0
Current children cumulated CPU time (s) 1542.34
Current children cumulated vsize (KiB) 837944
[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 1.91 3/178 29861
/proc/meminfo: memFree=29666928/32951124 swapFree=67076880/67111528
[pid=29817] ppid=29815 vsize=837944 CPUtime=1602.33 cores=1,3,5,7
/proc/29817/stat : 29817 (scip-2.0.1.4_2.) R 29815 29817 27924 0 -1 4202496 223419 0 0 0 160085 148 0 0 25 0 1 0 890728111 858054656 205103 33554432000 4194304 8979876 140733616151008 18446744073709551615 6601182 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/29817/statm: 209486 205103 685 1169 0 208313 0
Current children cumulated CPU time (s) 1602.33
Current children cumulated vsize (KiB) 837944
[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 1.91 3/178 29863
/proc/meminfo: memFree=29633304/32951124 swapFree=67076880/67111528
[pid=29817] ppid=29815 vsize=837944 CPUtime=1662.34 cores=1,3,5,7
/proc/29817/stat : 29817 (scip-2.0.1.4_2.) R 29815 29817 27924 0 -1 4202496 223419 0 0 0 166077 157 0 0 25 0 1 0 890728111 858054656 205103 33554432000 4194304 8979876 140733616151008 18446744073709551615 6888387 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/29817/statm: 209486 205103 685 1169 0 208313 0
Current children cumulated CPU time (s) 1662.34
Current children cumulated vsize (KiB) 837944
[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 1.91 3/178 29864
/proc/meminfo: memFree=29633272/32951124 swapFree=67076880/67111528
[pid=29817] ppid=29815 vsize=837944 CPUtime=1722.34 cores=1,3,5,7
/proc/29817/stat : 29817 (scip-2.0.1.4_2.) R 29815 29817 27924 0 -1 4202496 223419 0 0 0 172070 164 0 0 25 0 1 0 890728111 858054656 205103 33554432000 4194304 8979876 140733616151008 18446744073709551615 6890528 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/29817/statm: 209486 205103 685 1169 0 208313 0
Current children cumulated CPU time (s) 1722.34
Current children cumulated vsize (KiB) 837944
[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 1.91 3/178 29866
/proc/meminfo: memFree=29633244/32951124 swapFree=67076880/67111528
[pid=29817] ppid=29815 vsize=837944 CPUtime=1782.34 cores=1,3,5,7
/proc/29817/stat : 29817 (scip-2.0.1.4_2.) R 29815 29817 27924 0 -1 4202496 223419 0 0 0 178063 171 0 0 25 0 1 0 890728111 858054656 205103 33554432000 4194304 8979876 140733616151008 18446744073709551615 6413047 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/29817/statm: 209486 205103 685 1169 0 208313 0
Current children cumulated CPU time (s) 1782.34
Current children cumulated vsize (KiB) 837944
Solver just ended. Dumping a history of the last processes samples
[startup+1785.5 s]
/proc/loadavg: 2.00 2.00 1.91 3/178 29866
/proc/meminfo: memFree=29633240/32951124 swapFree=67076880/67111528
[pid=29817] ppid=29815 vsize=837944 CPUtime=1785.54 cores=1,3,5,7
/proc/29817/stat : 29817 (scip-2.0.1.4_2.) R 29815 29817 27924 0 -1 4202496 223419 0 0 0 178383 171 0 0 25 0 1 0 890728111 858054656 205103 33554432000 4194304 8979876 140733616151008 18446744073709551615 6250912 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/29817/statm: 209486 205103 685 1169 0 208313 0
Current children cumulated CPU time (s) 1785.54
Current children cumulated vsize (KiB) 837944
[startup+1791.91 s]
/proc/loadavg: 2.00 2.00 1.91 3/178 29866
/proc/meminfo: memFree=29633240/32951124 swapFree=67076880/67111528
[pid=29817] ppid=29815 vsize=837944 CPUtime=1791.94 cores=1,3,5,7
/proc/29817/stat : 29817 (scip-2.0.1.4_2.) R 29815 29817 27924 0 -1 4202496 223419 0 0 0 179023 171 0 0 25 0 1 0 890728111 858054656 205103 33554432000 4194304 8979876 140733616151008 18446744073709551615 7047802 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/29817/statm: 209486 205103 685 1169 0 208313 0
Current children cumulated CPU time (s) 1791.94
Current children cumulated vsize (KiB) 837944
[startup+1795.1 s]
/proc/loadavg: 2.00 2.00 1.91 3/178 29866
/proc/meminfo: memFree=29633240/32951124 swapFree=67076880/67111528
[pid=29817] ppid=29815 vsize=837944 CPUtime=1795.15 cores=1,3,5,7
/proc/29817/stat : 29817 (scip-2.0.1.4_2.) R 29815 29817 27924 0 -1 4202496 223419 0 0 0 179343 172 0 0 25 0 1 0 890728111 858054656 205103 33554432000 4194304 8979876 140733616151008 18446744073709551615 7157333 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/29817/statm: 209486 205103 685 1169 0 208313 0
Current children cumulated CPU time (s) 1795.15
Current children cumulated vsize (KiB) 837944
[startup+1796.7 s]
/proc/loadavg: 2.00 2.00 1.91 3/178 29866
/proc/meminfo: memFree=29633240/32951124 swapFree=67076880/67111528
[pid=29817] ppid=29815 vsize=837944 CPUtime=1796.74 cores=1,3,5,7
/proc/29817/stat : 29817 (scip-2.0.1.4_2.) R 29815 29817 27924 0 -1 4202496 223419 0 0 0 179502 172 0 0 25 0 1 0 890728111 858054656 205103 33554432000 4194304 8979876 140733616151008 18446744073709551615 7120328 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/29817/statm: 209486 205103 685 1169 0 208313 0
Current children cumulated CPU time (s) 1796.74
Current children cumulated vsize (KiB) 837944
[startup+1797.1 s]
/proc/loadavg: 2.00 2.00 1.91 3/178 29866
/proc/meminfo: memFree=29633240/32951124 swapFree=67076880/67111528
[pid=29817] ppid=29815 vsize=837944 CPUtime=1797.14 cores=1,3,5,7
/proc/29817/stat : 29817 (scip-2.0.1.4_2.) R 29815 29817 27924 0 -1 4202496 223429 0 0 0 179542 172 0 0 25 0 1 0 890728111 858054656 205113 33554432000 4194304 8979876 140733616151008 18446744073709551615 6778220 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/29817/statm: 209486 205113 695 1169 0 208313 0
Current children cumulated CPU time (s) 1797.14
Current children cumulated vsize (KiB) 837944
[startup+1797.3 s]
/proc/loadavg: 2.00 2.00 1.91 2/177 29867
/proc/meminfo: memFree=30587552/32951124 swapFree=67076880/67111528
[pid=29817] ppid=29815 vsize=825932 CPUtime=1797.34 cores=1,3,5,7
/proc/29817/stat : 29817 (scip-2.0.1.4_2.) R 29815 29817 27924 0 -1 4202496 223432 0 0 0 179562 172 0 0 25 0 1 0 890728111 845754368 202125 33554432000 4194304 8979876 140733616151008 18446744073709551615 6778295 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/29817/statm: 206483 202125 698 1169 0 205310 0
Current children cumulated CPU time (s) 1797.34
Current children cumulated vsize (KiB) 825932
[startup+1797.41 s]
/proc/loadavg: 2.00 2.00 1.91 2/177 29867
/proc/meminfo: memFree=30587552/32951124 swapFree=67076880/67111528
[pid=29817] ppid=29815 vsize=635164 CPUtime=1797.45 cores=1,3,5,7
/proc/29817/stat : 29817 (scip-2.0.1.4_2.) R 29815 29817 27924 0 -1 4202496 223432 0 0 0 179572 173 0 0 25 0 1 0 890728111 650407936 154730 33554432000 4194304 8979876 140733616151008 18446744073709551615 6783150 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/29817/statm: 158791 154730 698 1169 0 157618 0
Current children cumulated CPU time (s) 1797.45
Current children cumulated vsize (KiB) 635164
Child status: 0
Real time (s): 1797.44
CPU time (s): 1797.49
CPU user time (s): 1795.73
CPU system time (s): 1.76373
CPU usage (%): 100.003
Max. virtual memory (cumulated for all children) (KiB): 837944
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1795.73
system time used= 1.76373
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 223440
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= 6
involuntary context switches= 10651
runsolver used 2.66659 second user time and 7.12392 second system time
The end