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-3486174-1307791136.opb>
0.10/0.11 c original problem has 5766 variables (5766 bin, 0 int, 0 impl, 0 cont) and 18893 constraints
0.10/0.11 c problem read
0.10/0.11 c No objective function, only one solution is needed.
0.10/0.11 c presolving settings loaded
0.10/0.17 c presolving:
0.59/0.68 c (round 1) 1131 del vars, 2827 del conss, 0 add conss, 743 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 1138642 impls, 0 clqs
0.79/0.88 c (round 2) 2428 del vars, 7378 del conss, 0 add conss, 1919 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 1145908 impls, 0 clqs
0.89/0.90 c (round 3) 2782 del vars, 9053 del conss, 0 add conss, 2042 chg bounds, 62 chg sides, 52 chg coeffs, 0 upgd conss, 1148493 impls, 0 clqs
0.89/0.91 c (round 4) 2834 del vars, 9394 del conss, 0 add conss, 2065 chg bounds, 78 chg sides, 64 chg coeffs, 0 upgd conss, 1149261 impls, 0 clqs
0.89/0.92 c (round 5) 2854 del vars, 9489 del conss, 0 add conss, 2074 chg bounds, 78 chg sides, 64 chg coeffs, 0 upgd conss, 1149510 impls, 0 clqs
0.89/0.92 c (round 6) 2859 del vars, 9508 del conss, 0 add conss, 2074 chg bounds, 78 chg sides, 64 chg coeffs, 0 upgd conss, 1149642 impls, 0 clqs
0.89/0.92 c (round 7) 2859 del vars, 9513 del conss, 0 add conss, 2074 chg bounds, 78 chg sides, 64 chg coeffs, 0 upgd conss, 1149642 impls, 0 clqs
0.89/0.96 c (round 8) 2859 del vars, 9513 del conss, 0 add conss, 2074 chg bounds, 78 chg sides, 64 chg coeffs, 9380 upgd conss, 1149642 impls, 0 clqs
0.99/1.01 c (round 9) 2866 del vars, 9536 del conss, 0 add conss, 2079 chg bounds, 117 chg sides, 230 chg coeffs, 9380 upgd conss, 1152918 impls, 625 clqs
0.99/1.04 c (round 10) 2871 del vars, 9550 del conss, 0 add conss, 2079 chg bounds, 121 chg sides, 300 chg coeffs, 9380 upgd conss, 1152918 impls, 641 clqs
0.99/1.07 c presolving (11 rounds):
0.99/1.07 c 2871 deleted vars, 9550 deleted constraints, 0 added constraints, 2079 tightened bounds, 0 added holes, 121 changed sides, 312 changed coefficients
0.99/1.07 c 1152918 implications, 642 cliques
0.99/1.07 c presolved problem has 2895 variables (2895 bin, 0 int, 0 impl, 0 cont) and 9343 constraints
0.99/1.07 c 333 constraints of type <knapsack>
0.99/1.07 c 7643 constraints of type <setppc>
0.99/1.07 c 1367 constraints of type <logicor>
0.99/1.07 c transformed objective value is always integral (scale: 1)
0.99/1.07 c Presolving Time: 0.94
0.99/1.07 c - non default parameters ----------------------------------------------------------------------
0.99/1.07 c # SCIP version 2.0.1.4
0.99/1.07 c
0.99/1.07 c # frequency for displaying node information lines
0.99/1.07 c # [type: int, range: [-1,2147483647], default: 100]
0.99/1.07 c display/freq = 10000
0.99/1.07 c
0.99/1.07 c # maximal time in seconds to run
0.99/1.07 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.99/1.07 c limits/time = 1797
0.99/1.07 c
0.99/1.07 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.99/1.07 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.99/1.07 c limits/memory = 13950
0.99/1.07 c
0.99/1.07 c # solving stops, if the given number of solutions were found (-1: no limit)
0.99/1.07 c # [type: int, range: [-1,2147483647], default: -1]
0.99/1.07 c limits/solutions = 1
0.99/1.07 c
0.99/1.07 c # maximal number of separation rounds per node (-1: unlimited)
0.99/1.07 c # [type: int, range: [-1,2147483647], default: 5]
0.99/1.07 c separating/maxrounds = 1
0.99/1.07 c
0.99/1.07 c # maximal number of separation rounds in the root node (-1: unlimited)
0.99/1.07 c # [type: int, range: [-1,2147483647], default: -1]
0.99/1.07 c separating/maxroundsroot = 5
0.99/1.07 c
0.99/1.07 c # default clock type (1: CPU user seconds, 2: wall clock time)
0.99/1.07 c # [type: int, range: [1,2], default: 1]
0.99/1.07 c timing/clocktype = 2
0.99/1.07 c
0.99/1.07 c # belongs reading time to solving time?
0.99/1.07 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.99/1.07 c timing/reading = TRUE
0.99/1.07 c
0.99/1.07 c # should presolving try to simplify inequalities
0.99/1.07 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.99/1.07 c constraints/linear/simplifyinequalities = TRUE
0.99/1.07 c
0.99/1.07 c # add initial coupling inequalities as linear constraints, if 'addCoupling' is true
0.99/1.07 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.99/1.07 c constraints/indicator/addCouplingCons = TRUE
0.99/1.07 c
0.99/1.07 c # should disaggregation of knapsack constraints be allowed in preprocessing?
0.99/1.07 c # [type: bool, range: {TRUE,FALSE}, default: TRUE]
0.99/1.07 c constraints/knapsack/disaggregation = FALSE
0.99/1.07 c
0.99/1.07 c # should presolving try to simplify knapsacks
0.99/1.07 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.99/1.07 c constraints/knapsack/simplifyinequalities = TRUE
0.99/1.07 c
0.99/1.07 c # maximal number of presolving rounds the presolver participates in (-1: no limit)
0.99/1.07 c # [type: int, range: [-1,2147483647], default: -1]
0.99/1.07 c presolving/probing/maxrounds = 0
0.99/1.07 c
0.99/1.07 c # frequency for calling primal heuristic <coefdiving> (-1: never, 0: only at depth freqofs)
0.99/1.07 c # [type: int, range: [-1,2147483647], default: 10]
0.99/1.07 c heuristics/coefdiving/freq = -1
0.99/1.07 c
0.99/1.07 c # maximal fraction of diving LP iterations compared to node LP iterations
0.99/1.07 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
0.99/1.07 c heuristics/coefdiving/maxlpiterquot = 0.075
0.99/1.07 c
0.99/1.07 c # additional number of allowed LP iterations
0.99/1.07 c # [type: int, range: [0,2147483647], default: 1000]
0.99/1.07 c heuristics/coefdiving/maxlpiterofs = 1500
0.99/1.07 c
0.99/1.07 c # frequency for calling primal heuristic <crossover> (-1: never, 0: only at depth freqofs)
0.99/1.07 c # [type: int, range: [-1,2147483647], default: 30]
0.99/1.07 c heuristics/crossover/freq = -1
0.99/1.07 c
0.99/1.07 c # number of nodes added to the contingent of the total nodes
0.99/1.07 c # [type: longint, range: [0,9223372036854775807], default: 500]
0.99/1.07 c heuristics/crossover/nodesofs = 750
0.99/1.07 c
0.99/1.07 c # number of nodes without incumbent change that heuristic should wait
0.99/1.07 c # [type: longint, range: [0,9223372036854775807], default: 200]
0.99/1.07 c heuristics/crossover/nwaitingnodes = 100
0.99/1.07 c
0.99/1.07 c # contingent of sub problem nodes in relation to the number of nodes of the original problem
0.99/1.07 c # [type: real, range: [0,1], default: 0.1]
0.99/1.07 c heuristics/crossover/nodesquot = 0.15
0.99/1.07 c
0.99/1.07 c # minimum percentage of integer variables that have to be fixed
0.99/1.07 c # [type: real, range: [0,1], default: 0.666]
0.99/1.07 c heuristics/crossover/minfixingrate = 0.5
0.99/1.07 c
0.99/1.07 c # frequency for calling primal heuristic <feaspump> (-1: never, 0: only at depth freqofs)
0.99/1.07 c # [type: int, range: [-1,2147483647], default: 20]
0.99/1.07 c heuristics/feaspump/freq = -1
0.99/1.07 c
0.99/1.07 c # additional number of allowed LP iterations
0.99/1.07 c # [type: int, range: [0,2147483647], default: 1000]
0.99/1.07 c heuristics/feaspump/maxlpiterofs = 2000
0.99/1.07 c
0.99/1.07 c # frequency for calling primal heuristic <fracdiving> (-1: never, 0: only at depth freqofs)
0.99/1.07 c # [type: int, range: [-1,2147483647], default: 10]
0.99/1.07 c heuristics/fracdiving/freq = -1
0.99/1.07 c
0.99/1.07 c # maximal fraction of diving LP iterations compared to node LP iterations
0.99/1.07 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
0.99/1.07 c heuristics/fracdiving/maxlpiterquot = 0.075
0.99/1.07 c
0.99/1.07 c # additional number of allowed LP iterations
0.99/1.07 c # [type: int, range: [0,2147483647], default: 1000]
0.99/1.07 c heuristics/fracdiving/maxlpiterofs = 1500
0.99/1.07 c
0.99/1.07 c # frequency for calling primal heuristic <guideddiving> (-1: never, 0: only at depth freqofs)
0.99/1.07 c # [type: int, range: [-1,2147483647], default: 10]
0.99/1.07 c heuristics/guideddiving/freq = -1
0.99/1.07 c
0.99/1.07 c # maximal fraction of diving LP iterations compared to node LP iterations
0.99/1.07 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
0.99/1.07 c heuristics/guideddiving/maxlpiterquot = 0.075
0.99/1.07 c
0.99/1.07 c # additional number of allowed LP iterations
0.99/1.07 c # [type: int, range: [0,2147483647], default: 1000]
0.99/1.07 c heuristics/guideddiving/maxlpiterofs = 1500
0.99/1.07 c
0.99/1.07 c # maximal fraction of diving LP iterations compared to node LP iterations
0.99/1.07 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
0.99/1.07 c heuristics/intdiving/maxlpiterquot = 0.075
0.99/1.07 c
0.99/1.07 c # frequency for calling primal heuristic <intshifting> (-1: never, 0: only at depth freqofs)
0.99/1.07 c # [type: int, range: [-1,2147483647], default: 10]
0.99/1.07 c heuristics/intshifting/freq = -1
0.99/1.07 c
0.99/1.07 c # frequency for calling primal heuristic <linesearchdiving> (-1: never, 0: only at depth freqofs)
0.99/1.07 c # [type: int, range: [-1,2147483647], default: 10]
0.99/1.07 c heuristics/linesearchdiving/freq = -1
0.99/1.07 c
0.99/1.07 c # maximal fraction of diving LP iterations compared to node LP iterations
0.99/1.07 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
0.99/1.07 c heuristics/linesearchdiving/maxlpiterquot = 0.075
0.99/1.07 c
0.99/1.07 c # additional number of allowed LP iterations
0.99/1.07 c # [type: int, range: [0,2147483647], default: 1000]
0.99/1.07 c heuristics/linesearchdiving/maxlpiterofs = 1500
0.99/1.07 c
0.99/1.07 c # frequency for calling primal heuristic <objpscostdiving> (-1: never, 0: only at depth freqofs)
0.99/1.07 c # [type: int, range: [-1,2147483647], default: 20]
0.99/1.07 c heuristics/objpscostdiving/freq = -1
0.99/1.07 c
0.99/1.07 c # maximal fraction of diving LP iterations compared to total iteration number
0.99/1.07 c # [type: real, range: [0,1], default: 0.01]
0.99/1.07 c heuristics/objpscostdiving/maxlpiterquot = 0.015
0.99/1.07 c
0.99/1.07 c # additional number of allowed LP iterations
0.99/1.07 c # [type: int, range: [0,2147483647], default: 1000]
0.99/1.07 c heuristics/objpscostdiving/maxlpiterofs = 1500
0.99/1.07 c
0.99/1.07 c # frequency for calling primal heuristic <oneopt> (-1: never, 0: only at depth freqofs)
0.99/1.07 c # [type: int, range: [-1,2147483647], default: 1]
0.99/1.07 c heuristics/oneopt/freq = -1
0.99/1.07 c
0.99/1.07 c # frequency for calling primal heuristic <pscostdiving> (-1: never, 0: only at depth freqofs)
0.99/1.07 c # [type: int, range: [-1,2147483647], default: 10]
0.99/1.07 c heuristics/pscostdiving/freq = -1
0.99/1.07 c
0.99/1.07 c # maximal fraction of diving LP iterations compared to node LP iterations
0.99/1.07 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
0.99/1.07 c heuristics/pscostdiving/maxlpiterquot = 0.075
0.99/1.07 c
0.99/1.07 c # additional number of allowed LP iterations
0.99/1.07 c # [type: int, range: [0,2147483647], default: 1000]
0.99/1.07 c heuristics/pscostdiving/maxlpiterofs = 1500
0.99/1.07 c
0.99/1.07 c # frequency for calling primal heuristic <rens> (-1: never, 0: only at depth freqofs)
0.99/1.07 c # [type: int, range: [-1,2147483647], default: 0]
0.99/1.07 c heuristics/rens/freq = -1
0.99/1.07 c
0.99/1.07 c # minimum percentage of integer variables that have to be fixable
0.99/1.07 c # [type: real, range: [0,1], default: 0.5]
0.99/1.07 c heuristics/rens/minfixingrate = 0.3
0.99/1.07 c
0.99/1.07 c # number of nodes added to the contingent of the total nodes
0.99/1.07 c # [type: longint, range: [0,9223372036854775807], default: 500]
0.99/1.07 c heuristics/rens/nodesofs = 2000
0.99/1.07 c
0.99/1.07 c # frequency for calling primal heuristic <rootsoldiving> (-1: never, 0: only at depth freqofs)
0.99/1.07 c # [type: int, range: [-1,2147483647], default: 20]
0.99/1.07 c heuristics/rootsoldiving/freq = -1
0.99/1.07 c
0.99/1.07 c # maximal fraction of diving LP iterations compared to node LP iterations
0.99/1.07 c # [type: real, range: [0,1.79769313486232e+308], default: 0.01]
0.99/1.07 c heuristics/rootsoldiving/maxlpiterquot = 0.015
0.99/1.07 c
0.99/1.07 c # additional number of allowed LP iterations
0.99/1.07 c # [type: int, range: [0,2147483647], default: 1000]
0.99/1.07 c heuristics/rootsoldiving/maxlpiterofs = 1500
0.99/1.07 c
0.99/1.07 c # frequency for calling primal heuristic <rounding> (-1: never, 0: only at depth freqofs)
0.99/1.07 c # [type: int, range: [-1,2147483647], default: 1]
0.99/1.07 c heuristics/rounding/freq = -1
0.99/1.07 c
0.99/1.07 c # frequency for calling primal heuristic <shiftandpropagate> (-1: never, 0: only at depth freqofs)
0.99/1.07 c # [type: int, range: [-1,2147483647], default: 0]
0.99/1.07 c heuristics/shiftandpropagate/freq = -1
0.99/1.07 c
0.99/1.07 c # frequency for calling primal heuristic <shifting> (-1: never, 0: only at depth freqofs)
0.99/1.07 c # [type: int, range: [-1,2147483647], default: 10]
0.99/1.07 c heuristics/shifting/freq = -1
0.99/1.07 c
0.99/1.07 c # frequency for calling primal heuristic <simplerounding> (-1: never, 0: only at depth freqofs)
0.99/1.07 c # [type: int, range: [-1,2147483647], default: 1]
0.99/1.07 c heuristics/simplerounding/freq = -1
0.99/1.07 c
0.99/1.07 c # frequency for calling primal heuristic <subnlp> (-1: never, 0: only at depth freqofs)
0.99/1.07 c # [type: int, range: [-1,2147483647], default: 1]
0.99/1.07 c heuristics/subnlp/freq = -1
0.99/1.07 c
0.99/1.07 c # frequency for calling primal heuristic <trivial> (-1: never, 0: only at depth freqofs)
0.99/1.07 c # [type: int, range: [-1,2147483647], default: 0]
0.99/1.07 c heuristics/trivial/freq = -1
0.99/1.07 c
0.99/1.07 c # frequency for calling primal heuristic <trysol> (-1: never, 0: only at depth freqofs)
0.99/1.07 c # [type: int, range: [-1,2147483647], default: 1]
0.99/1.07 c heuristics/trysol/freq = -1
0.99/1.07 c
0.99/1.07 c # frequency for calling primal heuristic <undercover> (-1: never, 0: only at depth freqofs)
0.99/1.07 c # [type: int, range: [-1,2147483647], default: 0]
0.99/1.07 c heuristics/undercover/freq = -1
0.99/1.07 c
0.99/1.07 c # frequency for calling primal heuristic <veclendiving> (-1: never, 0: only at depth freqofs)
0.99/1.07 c # [type: int, range: [-1,2147483647], default: 10]
0.99/1.07 c heuristics/veclendiving/freq = -1
0.99/1.07 c
0.99/1.07 c # maximal fraction of diving LP iterations compared to node LP iterations
0.99/1.07 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
0.99/1.07 c heuristics/veclendiving/maxlpiterquot = 0.075
0.99/1.07 c
0.99/1.07 c # additional number of allowed LP iterations
0.99/1.07 c # [type: int, range: [0,2147483647], default: 1000]
0.99/1.07 c heuristics/veclendiving/maxlpiterofs = 1500
0.99/1.07 c
0.99/1.07 c # frequency for calling primal heuristic <zirounding> (-1: never, 0: only at depth freqofs)
0.99/1.07 c # [type: int, range: [-1,2147483647], default: 1]
0.99/1.07 c heuristics/zirounding/freq = -1
0.99/1.07 c
0.99/1.07 c # frequency for calling separator <cmir> (-1: never, 0: only in root node)
0.99/1.07 c # [type: int, range: [-1,2147483647], default: 0]
0.99/1.07 c separating/cmir/freq = -1
0.99/1.07 c
0.99/1.07 c # frequency for calling separator <flowcover> (-1: never, 0: only in root node)
0.99/1.07 c # [type: int, range: [-1,2147483647], default: 0]
0.99/1.07 c separating/flowcover/freq = -1
0.99/1.07 c
0.99/1.07 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
0.99/1.07 c # [type: int, range: [-1,2147483647], default: -1]
0.99/1.07 c separating/rapidlearning/freq = 0
0.99/1.07 c
0.99/1.07 c -----------------------------------------------------------------------------------------------
0.99/1.07 c start solving
0.99/1.07 c
3.39/3.47 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
3.39/3.47 c 3.5s| 1 | 0 | 7901 | - | 41M| 0 |1568 |2895 |9343 |2895 |9337 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
8.19/8.26 c 8.3s| 1 | 0 | 9573 | - | 44M| 0 |1811 |2895 |9300 |2895 |8862 | 47 | 0 | 0 | 0.000000e+00 | -- | Inf
11.69/11.72 c 11.7s| 1 | 0 | 10488 | - | 44M| 0 |1943 |2895 |9300 |2895 |8896 | 81 | 0 | 0 | 0.000000e+00 | -- | Inf
15.89/15.97 c 16.0s| 1 | 0 | 12121 | - | 44M| 0 |2042 |2895 |9300 |2895 |8926 | 111 | 0 | 0 | 0.000000e+00 | -- | Inf
20.39/20.41 c 20.4s| 1 | 0 | 13668 | - | 44M| 0 |2060 |2895 |9300 |2895 |8945 | 130 | 0 | 0 | 0.000000e+00 | -- | Inf
24.39/24.48 c 24.5s| 1 | 0 | 14062 | - | 44M| 0 |2018 |2895 |9300 |2895 |8957 | 142 | 0 | 0 | 0.000000e+00 | -- | Inf
30.29/30.34 c 30.3s| 1 | 2 | 14062 | - | 44M| 0 |2018 |2895 |9300 |2895 |8957 | 142 | 0 | 12 | 0.000000e+00 | -- | Inf
1797.02/1797.00 c
1797.02/1797.00 c SCIP Status : solving was interrupted [time limit reached]
1797.02/1797.00 c Solving Time (sec) : 1797.00
1797.02/1797.00 c Solving Nodes : 2126
1797.02/1797.00 c Primal Bound : +1.00000000000000e+20 (0 solutions)
1797.02/1797.00 c Dual Bound : +0.00000000000000e+00
1797.02/1797.00 c Gap : infinite
1797.02/1797.00 s UNKNOWN
1797.02/1797.00 c SCIP Status : solving was interrupted [time limit reached]
1797.02/1797.00 c Total Time : 1797.00
1797.02/1797.00 c solving : 1797.00
1797.02/1797.00 c presolving : 0.94 (included in solving)
1797.02/1797.00 c reading : 0.11 (included in solving)
1797.02/1797.00 c Original Problem :
1797.02/1797.00 c Problem name : HOME/instance-3486174-1307791136.opb
1797.02/1797.00 c Variables : 5766 (5766 binary, 0 integer, 0 implicit integer, 0 continuous)
1797.02/1797.00 c Constraints : 18893 initial, 18893 maximal
1797.02/1797.00 c Presolved Problem :
1797.02/1797.00 c Problem name : t_HOME/instance-3486174-1307791136.opb
1797.02/1797.00 c Variables : 2895 (2895 binary, 0 integer, 0 implicit integer, 0 continuous)
1797.02/1797.00 c Constraints : 9343 initial, 10901 maximal
1797.02/1797.00 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons AddCons ChgSides ChgCoefs
1797.02/1797.00 c trivial : 0.00 144 0 0 0 0 0 0 0 0
1797.02/1797.00 c dualfix : 0.01 29 0 0 0 0 0 0 0 0
1797.02/1797.00 c boundshift : 0.00 0 0 0 0 0 0 0 0 0
1797.02/1797.00 c inttobinary : 0.00 0 0 0 0 0 0 0 0 0
1797.02/1797.00 c implics : 0.01 0 6 0 0 0 0 0 0 0
1797.02/1797.00 c probing : 0.00 0 0 0 0 0 0 0 0 0
1797.02/1797.00 c knapsack : 0.06 0 0 0 4 0 0 0 43 248
1797.02/1797.00 c setppc : 0.01 1 0 0 1 0 37 0 0 0
1797.02/1797.00 c linear : 0.76 1935 756 0 2074 0 9513 0 78 64
1797.02/1797.00 c logicor : 0.03 0 0 0 0 0 0 0 0 0
1797.02/1797.00 c root node : - 143 - - 143 - - - - -
1797.02/1797.00 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS #Check #Resprop Cutoffs DomReds Cuts Conss Children
1797.02/1797.00 c integral : 0 0 0 1525 0 1 0 7 151 0 0 2892
1797.02/1797.00 c knapsack : 333 6 23232 0 1 0 22388 191 63147 450 0 0
1797.02/1797.00 c setppc : 7643 6 23041 0 1 0 140689 178 216880 0 0 0
1797.02/1797.00 c linear : 0+ 5 22815 0 0 0 1036 20 1327 2 0 0
1797.02/1797.00 c logicor : 1367+ 6 19358 0 1 0 43643 529 63650 0 0 0
1797.02/1797.00 c countsols : 0 0 0 0 1 0 0 0 0 0 0 0
1797.02/1797.00 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS Check Resprop
1797.02/1797.00 c integral : 654.20 0.00 0.00 654.20 0.00 0.00 0.00
1797.02/1797.00 c knapsack : 0.41 0.01 0.38 0.00 0.00 0.00 0.01
1797.02/1797.00 c setppc : 1.29 0.00 1.23 0.00 0.00 0.00 0.05
1797.02/1797.00 c linear : 0.06 0.00 0.06 0.00 0.00 0.00 0.00
1797.02/1797.00 c logicor : 0.48 0.00 0.44 0.00 0.00 0.00 0.03
1797.02/1797.00 c countsols : 0.00 0.00 0.00 0.00 0.00 0.00 0.00
1797.02/1797.00 c Propagators : #Propagate #Resprop Cutoffs DomReds
1797.02/1797.00 c vbounds : 0 0 0 0
1797.02/1797.00 c rootredcost : 0 0 0 0
1797.02/1797.00 c pseudoobj : 0 0 0 0
1797.02/1797.00 c Propagator Timings : TotalTime Propagate Resprop
1797.02/1797.00 c vbounds : 0.00 0.00 0.00
1797.02/1797.00 c rootredcost : 0.00 0.00 0.00
1797.02/1797.00 c pseudoobj : 0.00 0.00 0.00
1797.02/1797.00 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1797.02/1797.00 c propagation : 0.12 918 887 7317 29.3 125 14.0 -
1797.02/1797.00 c infeasible LP : 0.18 136 128 1872 86.0 5 9.6 0
1797.02/1797.00 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1797.02/1797.00 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1797.02/1797.00 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 -
1797.02/1797.00 c applied globally : - - - 3565 34.5 - - -
1797.02/1797.00 c applied locally : - - - 0 0.0 - - -
1797.02/1797.00 c Separators : Time Calls Cutoffs DomReds Cuts Conss
1797.02/1797.00 c cut pool : 0.00 4 - - 10 - (maximal pool size: 244)
1797.02/1797.00 c redcost : 0.06 1479 0 0 0 0
1797.02/1797.00 c impliedbounds : 0.01 5 0 0 70 0
1797.02/1797.00 c intobj : 0.00 0 0 0 0 0
1797.02/1797.00 c gomory : 8.49 5 0 0 252 0
1797.02/1797.00 c cgmip : 0.00 0 0 0 0 0
1797.02/1797.00 c closecuts : 0.00 0 0 0 0 0
1797.02/1797.00 c strongcg : 7.06 5 0 0 752 0
1797.02/1797.00 c cmir : 0.00 0 0 0 0 0
1797.02/1797.00 c flowcover : 0.00 0 0 0 0 0
1797.02/1797.00 c clique : 0.87 5 0 0 38 0
1797.02/1797.00 c zerohalf : 0.00 0 0 0 0 0
1797.02/1797.00 c mcf : 0.47 4 0 0 10 0
1797.02/1797.00 c oddcycle : 0.00 0 0 0 0 0
1797.02/1797.00 c rapidlearning : 1.18 1 0 100 0 545
1797.02/1797.00 c Pricers : Time Calls Vars
1797.02/1797.00 c problem variables: 0.00 0 0
1797.02/1797.00 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
1797.02/1797.00 c relpscost : 654.20 1525 7 151 0 0 2892
1797.02/1797.00 c pscost : 0.00 0 0 0 0 0 0
1797.02/1797.00 c inference : 0.00 1 0 0 0 0 2
1797.02/1797.00 c mostinf : 0.00 0 0 0 0 0 0
1797.02/1797.00 c leastinf : 0.00 0 0 0 0 0 0
1797.02/1797.00 c fullstrong : 0.00 0 0 0 0 0 0
1797.02/1797.00 c allfullstrong : 0.00 0 0 0 0 0 0
1797.02/1797.00 c random : 0.00 0 0 0 0 0 0
1797.02/1797.00 c Primal Heuristics : Time Calls Found
1797.02/1797.00 c LP solutions : 0.00 - 0
1797.02/1797.00 c pseudo solutions : 0.00 - 0
1797.02/1797.00 c trivial : 0.00 1 0
1797.02/1797.00 c shiftandpropagate: 0.00 0 0
1797.02/1797.00 c simplerounding : 0.00 0 0
1797.02/1797.00 c zirounding : 0.00 0 0
1797.02/1797.00 c rounding : 0.00 0 0
1797.02/1797.00 c shifting : 0.00 0 0
1797.02/1797.00 c intshifting : 0.00 0 0
1797.02/1797.00 c oneopt : 0.00 0 0
1797.02/1797.00 c twoopt : 0.00 0 0
1797.02/1797.00 c fixandinfer : 0.00 0 0
1797.02/1797.00 c feaspump : 0.00 0 0
1797.02/1797.00 c clique : 0.00 0 0
1797.02/1797.00 c coefdiving : 0.00 0 0
1797.02/1797.00 c pscostdiving : 0.00 0 0
1797.02/1797.00 c fracdiving : 0.00 0 0
1797.02/1797.00 c veclendiving : 0.00 0 0
1797.02/1797.00 c intdiving : 0.00 0 0
1797.02/1797.00 c actconsdiving : 0.00 0 0
1797.02/1797.00 c objpscostdiving : 0.00 0 0
1797.02/1797.00 c rootsoldiving : 0.00 0 0
1797.02/1797.00 c linesearchdiving : 0.00 0 0
1797.02/1797.00 c guideddiving : 0.00 0 0
1797.02/1797.00 c octane : 0.00 0 0
1797.02/1797.00 c rens : 0.00 0 0
1797.02/1797.00 c rins : 0.00 0 0
1797.02/1797.00 c localbranching : 0.00 0 0
1797.02/1797.00 c mutation : 0.00 0 0
1797.02/1797.00 c crossover : 0.00 0 0
1797.02/1797.00 c dins : 0.00 0 0
1797.02/1797.00 c vbounds : 0.00 0 0
1797.02/1797.00 c undercover : 0.00 0 0
1797.02/1797.00 c subnlp : 0.00 0 0
1797.02/1797.00 c trysol : 0.00 0 0
1797.02/1797.00 c LP : Time Calls Iterations Iter/call Iter/sec
1797.02/1797.00 c primal LP : 0.01 0 0 0.00 -
1797.02/1797.00 c dual LP : 1117.36 1668 2687666 1611.31 2405.38
1797.02/1797.00 c lex dual LP : 0.00 0 0 0.00 -
1797.02/1797.00 c barrier LP : 0.00 0 0 0.00 -
1797.02/1797.00 c diving/probing LP: 0.00 0 0 0.00 -
1797.02/1797.00 c strong branching : 653.82 1791 1455764 812.82 2226.54
1797.02/1797.00 c (at root node) : - 12 10486 873.83 -
1797.02/1797.00 c conflict analysis: 0.00 0 0 0.00 -
1797.02/1797.00 c B&B Tree :
1797.02/1797.00 c number of runs : 1
1797.02/1797.00 c nodes : 2126
1797.02/1797.00 c nodes (total) : 2126
1797.02/1797.00 c nodes left : 195
1797.02/1797.00 c max depth : 34
1797.02/1797.00 c max depth (total): 34
1797.02/1797.00 c backtracks : 632 (29.7%)
1797.02/1797.00 c delayed cutoffs : 574
1797.02/1797.00 c repropagations : 2075 (113926 domain reductions, 382 cutoffs)
1797.02/1797.00 c avg switch length: 4.74
1797.02/1797.00 c switching time : 1.68
1797.02/1797.00 c Solution :
1797.02/1797.00 c Solutions found : 0 (0 improvements)
1797.02/1797.00 c Primal Bound : -
1797.02/1797.00 c Dual Bound : +0.00000000000000e+00
1797.02/1797.00 c Gap : infinite
1797.02/1797.00 c Root Dual Bound : +0.00000000000000e+00
1797.02/1797.00 c Root Iterations : 14062
1797.02/1797.06 c Time complete: 1797.07.
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-3486174-1307791136/watcher-3486174-1307791136 -o /tmp/evaluation-result-3486174-1307791136/solver-3486174-1307791136 -C 1800 -W 1900 -M 15500 HOME/scip-2.0.1.4_2.linux.x86_64.gnu.opt.spx -f HOME/instance-3486174-1307791136.opb -t 1800 -m 15500
running on 4 cores: 0,2,4,6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 2.00 2.00 2.00 2/177 5966
/proc/meminfo: memFree=31491084/32951124 swapFree=67056304/67111528
[pid=5966] ppid=5964 vsize=9988 CPUtime=0 cores=0,2,4,6
/proc/5966/stat : 5966 (scip-2.0.1.4_2.) R 5964 5966 5057 0 -1 4202496 1490 0 0 0 0 0 0 0 18 0 1 0 969344237 10227712 1444 33554432000 4194304 8979876 140733214604736 18446744073709551615 6779003 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/5966/statm: 2497 1444 363 1169 0 1324 0
[startup+0.106209 s]
/proc/loadavg: 2.00 2.00 2.00 2/177 5966
/proc/meminfo: memFree=31491084/32951124 swapFree=67056304/67111528
[pid=5966] ppid=5964 vsize=21508 CPUtime=0.1 cores=0,2,4,6
/proc/5966/stat : 5966 (scip-2.0.1.4_2.) R 5964 5966 5057 0 -1 4202496 4205 0 0 0 10 0 0 0 18 0 1 0 969344237 22024192 4160 33554432000 4194304 8979876 140733214604736 18446744073709551615 6779003 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/5966/statm: 5377 4192 363 1169 0 4204 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 21508
[startup+0.20117 s]
/proc/loadavg: 2.00 2.00 2.00 2/177 5966
/proc/meminfo: memFree=31491084/32951124 swapFree=67056304/67111528
[pid=5966] ppid=5964 vsize=53992 CPUtime=0.19 cores=0,2,4,6
/proc/5966/stat : 5966 (scip-2.0.1.4_2.) R 5964 5966 5057 0 -1 4202496 12203 0 0 0 18 1 0 0 18 0 1 0 969344237 55287808 12157 33554432000 4194304 8979876 140733214604736 18446744073709551615 4918468 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/5966/statm: 13498 12157 493 1169 0 12325 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 53992
[startup+0.301181 s]
/proc/loadavg: 2.00 2.00 2.00 2/177 5966
/proc/meminfo: memFree=31491084/32951124 swapFree=67056304/67111528
[pid=5966] ppid=5964 vsize=65028 CPUtime=0.29 cores=0,2,4,6
/proc/5966/stat : 5966 (scip-2.0.1.4_2.) R 5964 5966 5057 0 -1 4202496 14952 0 0 0 28 1 0 0 18 0 1 0 969344237 66588672 14906 33554432000 4194304 8979876 140733214604736 18446744073709551615 6503345 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/5966/statm: 16257 14906 493 1169 0 15084 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 65028
[startup+0.701099 s]
/proc/loadavg: 2.00 2.00 2.00 2/177 5966
/proc/meminfo: memFree=31491084/32951124 swapFree=67056304/67111528
[pid=5966] ppid=5964 vsize=93372 CPUtime=0.69 cores=0,2,4,6
/proc/5966/stat : 5966 (scip-2.0.1.4_2.) R 5964 5966 5057 0 -1 4202496 22148 0 0 0 67 2 0 0 18 0 1 0 969344237 95612928 21845 33554432000 4194304 8979876 140733214604736 18446744073709551615 6504310 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/5966/statm: 23343 21845 502 1169 0 22170 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 93372
[startup+1.50095 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 5967
/proc/meminfo: memFree=31389536/32951124 swapFree=67056304/67111528
[pid=5966] ppid=5964 vsize=113548 CPUtime=1.49 cores=0,2,4,6
/proc/5966/stat : 5966 (scip-2.0.1.4_2.) R 5964 5966 5057 0 -1 4202496 27756 0 0 0 145 4 0 0 20 0 1 0 969344237 116273152 26874 33554432000 4194304 8979876 140733214604736 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/5966/statm: 28387 26874 639 1169 0 27214 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 113548
[startup+3.10065 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 5967
/proc/meminfo: memFree=31384948/32951124 swapFree=67056304/67111528
[pid=5966] ppid=5964 vsize=114436 CPUtime=3.09 cores=0,2,4,6
/proc/5966/stat : 5966 (scip-2.0.1.4_2.) R 5964 5966 5057 0 -1 4202496 28063 0 0 0 305 4 0 0 25 0 1 0 969344237 117182464 27181 33554432000 4194304 8979876 140733214604736 18446744073709551615 7145982 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/5966/statm: 28609 27181 645 1169 0 27436 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 114436
[startup+6.30106 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 5967
/proc/meminfo: memFree=31383964/32951124 swapFree=67056304/67111528
[pid=5966] ppid=5964 vsize=120424 CPUtime=6.29 cores=0,2,4,6
/proc/5966/stat : 5966 (scip-2.0.1.4_2.) R 5964 5966 5057 0 -1 4202496 29569 0 0 0 624 5 0 0 25 0 1 0 969344237 123314176 28567 33554432000 4194304 8979876 140733214604736 18446744073709551615 6601243 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/5966/statm: 30106 28567 678 1169 0 28933 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 120424
[startup+12.7009 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 5967
/proc/meminfo: memFree=31316896/32951124 swapFree=67056304/67111528
[pid=5966] ppid=5964 vsize=182080 CPUtime=12.69 cores=0,2,4,6
/proc/5966/stat : 5966 (scip-2.0.1.4_2.) R 5964 5966 5057 0 -1 4202496 45065 0 0 0 1260 9 0 0 25 0 1 0 969344237 186449920 44029 33554432000 4194304 8979876 140733214604736 18446744073709551615 6601961 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/5966/statm: 45520 44029 705 1169 0 44347 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 182080
[startup+25.5006 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 5968
/proc/meminfo: memFree=31317120/32951124 swapFree=67056304/67111528
[pid=5966] ppid=5964 vsize=182080 CPUtime=25.49 cores=0,2,4,6
/proc/5966/stat : 5966 (scip-2.0.1.4_2.) R 5964 5966 5057 0 -1 4202496 45106 0 0 0 2537 12 0 0 25 0 1 0 969344237 186449920 44064 33554432000 4194304 8979876 140733214604736 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/5966/statm: 45520 44064 701 1169 0 44347 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 182080
[startup+51.1009 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 5968
/proc/meminfo: memFree=31316816/32951124 swapFree=67056304/67111528
[pid=5966] ppid=5964 vsize=182080 CPUtime=51.08 cores=0,2,4,6
/proc/5966/stat : 5966 (scip-2.0.1.4_2.) R 5964 5966 5057 0 -1 4202496 45106 0 0 0 5089 19 0 0 25 0 1 0 969344237 186449920 44064 33554432000 4194304 8979876 140733214604736 18446744073709551615 7146602 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/5966/statm: 45520 44064 701 1169 0 44347 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 182080
[startup+102.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 5970
/proc/meminfo: memFree=31316784/32951124 swapFree=67056304/67111528
[pid=5966] ppid=5964 vsize=182080 CPUtime=102.28 cores=0,2,4,6
/proc/5966/stat : 5966 (scip-2.0.1.4_2.) R 5964 5966 5057 0 -1 4202496 45106 0 0 0 10196 32 0 0 25 0 1 0 969344237 186449920 44064 33554432000 4194304 8979876 140733214604736 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/5966/statm: 45520 44064 701 1169 0 44347 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 182080
[startup+162.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 6009
/proc/meminfo: memFree=31111764/32951124 swapFree=67056304/67111528
[pid=5966] ppid=5964 vsize=182080 CPUtime=162.28 cores=0,2,4,6
/proc/5966/stat : 5966 (scip-2.0.1.4_2.) R 5964 5966 5057 0 -1 4202496 45119 0 0 0 16180 48 0 0 25 0 1 0 969344237 186449920 44075 33554432000 4194304 8979876 140733214604736 18446744073709551615 7123808 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/5966/statm: 45520 44075 707 1169 0 44347 0
Current children cumulated CPU time (s) 162.28
Current children cumulated vsize (KiB) 182080
[startup+222.306 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 6011
/proc/meminfo: memFree=31102916/32951124 swapFree=67056304/67111528
[pid=5966] ppid=5964 vsize=182080 CPUtime=222.28 cores=0,2,4,6
/proc/5966/stat : 5966 (scip-2.0.1.4_2.) R 5964 5966 5057 0 -1 4202496 45120 0 0 0 22164 64 0 0 25 0 1 0 969344237 186449920 44076 33554432000 4194304 8979876 140733214604736 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/5966/statm: 45520 44076 707 1169 0 44347 0
Current children cumulated CPU time (s) 222.28
Current children cumulated vsize (KiB) 182080
[startup+282.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 6012
/proc/meminfo: memFree=31106904/32951124 swapFree=67056304/67111528
[pid=5966] ppid=5964 vsize=182080 CPUtime=282.27 cores=0,2,4,6
/proc/5966/stat : 5966 (scip-2.0.1.4_2.) R 5964 5966 5057 0 -1 4202496 45122 0 0 0 28137 90 0 0 25 0 1 0 969344237 186449920 44078 33554432000 4194304 8979876 140733214604736 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 4 0 0 0
/proc/5966/statm: 45520 44078 707 1169 0 44347 0
Current children cumulated CPU time (s) 282.27
Current children cumulated vsize (KiB) 182080
[startup+342.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 6014
/proc/meminfo: memFree=31105576/32951124 swapFree=67056304/67111528
[pid=5966] ppid=5964 vsize=182080 CPUtime=342.27 cores=0,2,4,6
/proc/5966/stat : 5966 (scip-2.0.1.4_2.) R 5964 5966 5057 0 -1 4202496 45122 0 0 0 34110 117 0 0 25 0 1 0 969344237 186449920 44078 33554432000 4194304 8979876 140733214604736 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 4 0 0 0
/proc/5966/statm: 45520 44078 707 1169 0 44347 0
Current children cumulated CPU time (s) 342.27
Current children cumulated vsize (KiB) 182080
[startup+402.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 6016
/proc/meminfo: memFree=31105148/32951124 swapFree=67056304/67111528
[pid=5966] ppid=5964 vsize=182080 CPUtime=402.27 cores=0,2,4,6
/proc/5966/stat : 5966 (scip-2.0.1.4_2.) R 5964 5966 5057 0 -1 4202496 45122 0 0 0 40086 141 0 0 25 0 1 0 969344237 186449920 44078 33554432000 4194304 8979876 140733214604736 18446744073709551615 7185368 0 0 4096 2 0 0 0 17 4 0 0 0
/proc/5966/statm: 45520 44078 707 1169 0 44347 0
Current children cumulated CPU time (s) 402.27
Current children cumulated vsize (KiB) 182080
[startup+462.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 6017
/proc/meminfo: memFree=31104960/32951124 swapFree=67056304/67111528
[pid=5966] ppid=5964 vsize=182080 CPUtime=462.28 cores=0,2,4,6
/proc/5966/stat : 5966 (scip-2.0.1.4_2.) R 5964 5966 5057 0 -1 4202496 45122 0 0 0 46062 166 0 0 25 0 1 0 969344237 186449920 44078 33554432000 4194304 8979876 140733214604736 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 4 0 0 0
/proc/5966/statm: 45520 44078 707 1169 0 44347 0
Current children cumulated CPU time (s) 462.28
Current children cumulated vsize (KiB) 182080
[startup+522.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 6019
/proc/meminfo: memFree=31105016/32951124 swapFree=67056304/67111528
[pid=5966] ppid=5964 vsize=182080 CPUtime=522.27 cores=0,2,4,6
/proc/5966/stat : 5966 (scip-2.0.1.4_2.) R 5964 5966 5057 0 -1 4202496 45124 0 0 0 52036 191 0 0 25 0 1 0 969344237 186449920 44080 33554432000 4194304 8979876 140733214604736 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 4 0 0 0
/proc/5966/statm: 45520 44080 707 1169 0 44347 0
Current children cumulated CPU time (s) 522.27
Current children cumulated vsize (KiB) 182080
[startup+582.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 6020
/proc/meminfo: memFree=31104844/32951124 swapFree=67056304/67111528
[pid=5966] ppid=5964 vsize=182080 CPUtime=582.27 cores=0,2,4,6
/proc/5966/stat : 5966 (scip-2.0.1.4_2.) R 5964 5966 5057 0 -1 4202496 45124 0 0 0 58015 212 0 0 25 0 1 0 969344237 186449920 44080 33554432000 4194304 8979876 140733214604736 18446744073709551615 6820810 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/5966/statm: 45520 44080 707 1169 0 44347 0
Current children cumulated CPU time (s) 582.27
Current children cumulated vsize (KiB) 182080
[startup+642.301 s]
################
# More data... #
################
/proc/meminfo: memFree=31106384/32951124 swapFree=67056304/67111528
[pid=5966] ppid=5964 vsize=182080 CPUtime=1062.29 cores=0,2,4,6
/proc/5966/stat : 5966 (scip-2.0.1.4_2.) R 5964 5966 5057 0 -1 4202496 45124 0 0 0 105861 368 0 0 25 0 1 0 969344237 186449920 44080 33554432000 4194304 8979876 140733214604736 18446744073709551615 7146222 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/5966/statm: 45520 44080 707 1169 0 44347 0
Current children cumulated CPU time (s) 1062.29
Current children cumulated vsize (KiB) 182080
[startup+1122.3 s]
/proc/loadavg: 2.01 2.01 2.00 3/178 6035
/proc/meminfo: memFree=31106928/32951124 swapFree=67056304/67111528
[pid=5966] ppid=5964 vsize=182080 CPUtime=1122.29 cores=0,2,4,6
/proc/5966/stat : 5966 (scip-2.0.1.4_2.) R 5964 5966 5057 0 -1 4202496 45124 0 0 0 111842 387 0 0 25 0 1 0 969344237 186449920 44080 33554432000 4194304 8979876 140733214604736 18446744073709551615 7123823 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/5966/statm: 45520 44080 707 1169 0 44347 0
Current children cumulated CPU time (s) 1122.29
Current children cumulated vsize (KiB) 182080
[startup+1182.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/178 6036
/proc/meminfo: memFree=31105748/32951124 swapFree=67056304/67111528
[pid=5966] ppid=5964 vsize=182080 CPUtime=1182.29 cores=0,2,4,6
/proc/5966/stat : 5966 (scip-2.0.1.4_2.) R 5964 5966 5057 0 -1 4202496 45129 0 0 0 117823 406 0 0 25 0 1 0 969344237 186449920 44085 33554432000 4194304 8979876 140733214604736 18446744073709551615 7144434 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/5966/statm: 45520 44085 707 1169 0 44347 0
Current children cumulated CPU time (s) 1182.29
Current children cumulated vsize (KiB) 182080
[startup+1242.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 6041
/proc/meminfo: memFree=31103272/32951124 swapFree=67056304/67111528
[pid=5966] ppid=5964 vsize=182080 CPUtime=1242.3 cores=0,2,4,6
/proc/5966/stat : 5966 (scip-2.0.1.4_2.) R 5964 5966 5057 0 -1 4202496 45129 0 0 0 123805 425 0 0 25 0 1 0 969344237 186449920 44085 33554432000 4194304 8979876 140733214604736 18446744073709551615 7146136 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/5966/statm: 45520 44085 707 1169 0 44347 0
Current children cumulated CPU time (s) 1242.3
Current children cumulated vsize (KiB) 182080
[startup+1302.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 6043
/proc/meminfo: memFree=31105208/32951124 swapFree=67056304/67111528
[pid=5966] ppid=5964 vsize=182080 CPUtime=1302.3 cores=0,2,4,6
/proc/5966/stat : 5966 (scip-2.0.1.4_2.) R 5964 5966 5057 0 -1 4202496 45129 0 0 0 129786 444 0 0 25 0 1 0 969344237 186449920 44085 33554432000 4194304 8979876 140733214604736 18446744073709551615 7123823 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/5966/statm: 45520 44085 707 1169 0 44347 0
Current children cumulated CPU time (s) 1302.3
Current children cumulated vsize (KiB) 182080
[startup+1362.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 6044
/proc/meminfo: memFree=31103500/32951124 swapFree=67056304/67111528
[pid=5966] ppid=5964 vsize=182080 CPUtime=1362.3 cores=0,2,4,6
/proc/5966/stat : 5966 (scip-2.0.1.4_2.) R 5964 5966 5057 0 -1 4202496 45129 0 0 0 135767 463 0 0 25 0 1 0 969344237 186449920 44085 33554432000 4194304 8979876 140733214604736 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/5966/statm: 45520 44085 707 1169 0 44347 0
Current children cumulated CPU time (s) 1362.3
Current children cumulated vsize (KiB) 182080
[startup+1422.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 6046
/proc/meminfo: memFree=31102424/32951124 swapFree=67056304/67111528
[pid=5966] ppid=5964 vsize=182080 CPUtime=1422.31 cores=0,2,4,6
/proc/5966/stat : 5966 (scip-2.0.1.4_2.) R 5964 5966 5057 0 -1 4202496 45129 0 0 0 141747 484 0 0 25 0 1 0 969344237 186449920 44085 33554432000 4194304 8979876 140733214604736 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/5966/statm: 45520 44085 707 1169 0 44347 0
Current children cumulated CPU time (s) 1422.31
Current children cumulated vsize (KiB) 182080
[startup+1482.3 s]
/proc/loadavg: 2.07 2.02 2.00 3/178 6047
/proc/meminfo: memFree=31103216/32951124 swapFree=67056304/67111528
[pid=5966] ppid=5964 vsize=182080 CPUtime=1482.3 cores=0,2,4,6
/proc/5966/stat : 5966 (scip-2.0.1.4_2.) R 5964 5966 5057 0 -1 4202496 45129 0 0 0 147723 507 0 0 25 0 1 0 969344237 186449920 44085 33554432000 4194304 8979876 140733214604736 18446744073709551615 7123815 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/5966/statm: 45520 44085 707 1169 0 44347 0
Current children cumulated CPU time (s) 1482.3
Current children cumulated vsize (KiB) 182080
[startup+1542.31 s]
/proc/loadavg: 2.09 2.03 2.00 3/178 6049
/proc/meminfo: memFree=31105860/32951124 swapFree=67056304/67111528
[pid=5966] ppid=5964 vsize=182080 CPUtime=1542.31 cores=0,2,4,6
/proc/5966/stat : 5966 (scip-2.0.1.4_2.) R 5964 5966 5057 0 -1 4202496 45129 0 0 0 153704 527 0 0 25 0 1 0 969344237 186449920 44085 33554432000 4194304 8979876 140733214604736 18446744073709551615 7146564 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/5966/statm: 45520 44085 707 1169 0 44347 0
Current children cumulated CPU time (s) 1542.31
Current children cumulated vsize (KiB) 182080
[startup+1602.3 s]
/proc/loadavg: 2.03 2.02 2.00 3/178 6051
/proc/meminfo: memFree=31103192/32951124 swapFree=67056304/67111528
[pid=5966] ppid=5964 vsize=182080 CPUtime=1602.31 cores=0,2,4,6
/proc/5966/stat : 5966 (scip-2.0.1.4_2.) R 5964 5966 5057 0 -1 4202496 45129 0 0 0 159685 546 0 0 25 0 1 0 969344237 186449920 44085 33554432000 4194304 8979876 140733214604736 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/5966/statm: 45520 44085 707 1169 0 44347 0
Current children cumulated CPU time (s) 1602.31
Current children cumulated vsize (KiB) 182080
[startup+1662.3 s]
/proc/loadavg: 2.01 2.02 2.00 3/178 6052
/proc/meminfo: memFree=31102368/32951124 swapFree=67056304/67111528
[pid=5966] ppid=5964 vsize=182080 CPUtime=1662.31 cores=0,2,4,6
/proc/5966/stat : 5966 (scip-2.0.1.4_2.) R 5964 5966 5057 0 -1 4202496 45129 0 0 0 165665 566 0 0 25 0 1 0 969344237 186449920 44085 33554432000 4194304 8979876 140733214604736 18446744073709551615 7143767 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/5966/statm: 45520 44085 707 1169 0 44347 0
Current children cumulated CPU time (s) 1662.31
Current children cumulated vsize (KiB) 182080
[startup+1722.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/178 6054
/proc/meminfo: memFree=31102900/32951124 swapFree=67056304/67111528
[pid=5966] ppid=5964 vsize=182080 CPUtime=1722.31 cores=0,2,4,6
/proc/5966/stat : 5966 (scip-2.0.1.4_2.) R 5964 5966 5057 0 -1 4202496 45129 0 0 0 171645 586 0 0 25 0 1 0 969344237 186449920 44085 33554432000 4194304 8979876 140733214604736 18446744073709551615 7123831 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/5966/statm: 45520 44085 707 1169 0 44347 0
Current children cumulated CPU time (s) 1722.31
Current children cumulated vsize (KiB) 182080
[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 6055
/proc/meminfo: memFree=31101956/32951124 swapFree=67056304/67111528
[pid=5966] ppid=5964 vsize=182080 CPUtime=1782.31 cores=0,2,4,6
/proc/5966/stat : 5966 (scip-2.0.1.4_2.) R 5964 5966 5057 0 -1 4202496 45133 0 0 0 177624 607 0 0 25 0 1 0 969344237 186449920 44089 33554432000 4194304 8979876 140733214604736 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/5966/statm: 45520 44089 707 1169 0 44347 0
Current children cumulated CPU time (s) 1782.31
Current children cumulated vsize (KiB) 182080
Solver just ended. Dumping a history of the last processes samples
[startup+1785.6 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 6056
/proc/meminfo: memFree=31101952/32951124 swapFree=67056304/67111528
[pid=5966] ppid=5964 vsize=182080 CPUtime=1785.61 cores=0,2,4,6
/proc/5966/stat : 5966 (scip-2.0.1.4_2.) R 5964 5966 5057 0 -1 4202496 45133 0 0 0 177953 608 0 0 25 0 1 0 969344237 186449920 44089 33554432000 4194304 8979876 140733214604736 18446744073709551615 7046359 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/5966/statm: 45520 44089 707 1169 0 44347 0
Current children cumulated CPU time (s) 1785.61
Current children cumulated vsize (KiB) 182080
[startup+1792.01 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 6056
/proc/meminfo: memFree=31100696/32951124 swapFree=67056304/67111528
[pid=5966] ppid=5964 vsize=182080 CPUtime=1792.02 cores=0,2,4,6
/proc/5966/stat : 5966 (scip-2.0.1.4_2.) R 5964 5966 5057 0 -1 4202496 45133 0 0 0 178591 611 0 0 25 0 1 0 969344237 186449920 44089 33554432000 4194304 8979876 140733214604736 18446744073709551615 6916429 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/5966/statm: 45520 44089 707 1169 0 44347 0
Current children cumulated CPU time (s) 1792.02
Current children cumulated vsize (KiB) 182080
[startup+1795.2 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 6056
/proc/meminfo: memFree=31100696/32951124 swapFree=67056304/67111528
[pid=5966] ppid=5964 vsize=182080 CPUtime=1795.22 cores=0,2,4,6
/proc/5966/stat : 5966 (scip-2.0.1.4_2.) R 5964 5966 5057 0 -1 4202496 45133 0 0 0 178910 612 0 0 25 0 1 0 969344237 186449920 44089 33554432000 4194304 8979876 140733214604736 18446744073709551615 6386169 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/5966/statm: 45520 44089 707 1169 0 44347 0
Current children cumulated CPU time (s) 1795.22
Current children cumulated vsize (KiB) 182080
[startup+1796 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 6056
/proc/meminfo: memFree=31100696/32951124 swapFree=67056304/67111528
[pid=5966] ppid=5964 vsize=182080 CPUtime=1796.02 cores=0,2,4,6
/proc/5966/stat : 5966 (scip-2.0.1.4_2.) R 5964 5966 5057 0 -1 4202496 45133 0 0 0 178989 613 0 0 25 0 1 0 969344237 186449920 44089 33554432000 4194304 8979876 140733214604736 18446744073709551615 7146340 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/5966/statm: 45520 44089 707 1169 0 44347 0
Current children cumulated CPU time (s) 1796.02
Current children cumulated vsize (KiB) 182080
[startup+1796.8 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 6056
/proc/meminfo: memFree=31100684/32951124 swapFree=67056304/67111528
[pid=5966] ppid=5964 vsize=182080 CPUtime=1796.81 cores=0,2,4,6
/proc/5966/stat : 5966 (scip-2.0.1.4_2.) R 5964 5966 5057 0 -1 4202496 45133 0 0 0 179068 613 0 0 25 0 1 0 969344237 186449920 44089 33554432000 4194304 8979876 140733214604736 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/5966/statm: 45520 44089 707 1169 0 44347 0
Current children cumulated CPU time (s) 1796.81
Current children cumulated vsize (KiB) 182080
[startup+1797 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 6056
/proc/meminfo: memFree=31100684/32951124 swapFree=67056304/67111528
[pid=5966] ppid=5964 vsize=182080 CPUtime=1797.02 cores=0,2,4,6
/proc/5966/stat : 5966 (scip-2.0.1.4_2.) R 5964 5966 5057 0 -1 4202496 45133 0 0 0 179088 614 0 0 25 0 1 0 969344237 186449920 44089 33554432000 4194304 8979876 140733214604736 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/5966/statm: 45520 44089 707 1169 0 44347 0
Current children cumulated CPU time (s) 1797.02
Current children cumulated vsize (KiB) 182080
Child status: 0
Real time (s): 1797.07
CPU time (s): 1797.09
CPU user time (s): 1790.94
CPU system time (s): 6.14906
CPU usage (%): 100.001
Max. virtual memory (cumulated for all children) (KiB): 182080
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1790.94
system time used= 6.14907
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 45142
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= 3902
runsolver used 2.68659 second user time and 5.49716 second system time
The end