0.00/0.00 c SCIP version 2.1.1.4 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: SoPlex 1.6.0.3] [GitHash: 947bdb7-dirty]
0.00/0.00 c Copyright (c) 2002-2012 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-3691817-1338045053.opb>
0.00/0.03 c original problem has 4235 variables (4235 bin, 0 int, 0 impl, 0 cont) and 4391 constraints
0.00/0.03 c problem read in 0.02
0.00/0.03 c No objective function, only one solution is needed.
0.00/0.03 c presolving settings loaded
0.00/0.04 c presolving:
0.00/0.06 c (round 1) 2 del vars, 2 del conss, 0 add conss, 2 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 7220 impls, 77 clqs
0.00/0.06 c (round 2) 165 del vars, 16 del conss, 0 add conss, 165 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 7220 impls, 74 clqs
0.00/0.07 c (round 3) 230 del vars, 187 del conss, 0 add conss, 230 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 7266 impls, 73 clqs
0.00/0.07 c (round 4) 293 del vars, 251 del conss, 0 add conss, 292 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 8100 impls, 73 clqs
0.00/0.07 c (round 5) 345 del vars, 303 del conss, 0 add conss, 344 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 8970 impls, 73 clqs
0.00/0.07 c (round 6) 379 del vars, 337 del conss, 0 add conss, 378 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 10100 impls, 73 clqs
0.00/0.07 c (round 7) 406 del vars, 364 del conss, 0 add conss, 405 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 10684 impls, 73 clqs
0.00/0.08 c (round 8) 426 del vars, 384 del conss, 0 add conss, 425 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 11132 impls, 73 clqs
0.00/0.08 c (round 9) 443 del vars, 401 del conss, 0 add conss, 442 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 11530 impls, 73 clqs
0.00/0.08 c (round 10) 451 del vars, 409 del conss, 0 add conss, 450 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 11592 impls, 73 clqs
0.08/0.08 c (round 11) 455 del vars, 413 del conss, 0 add conss, 454 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 11638 impls, 73 clqs
0.08/0.08 c (round 12) 456 del vars, 414 del conss, 0 add conss, 455 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 11668 impls, 73 clqs
0.09/0.12 c (round 13) 456 del vars, 487 del conss, 0 add conss, 455 chg bounds, 0 chg sides, 0 chg coeffs, 3831 upgd conss, 11674 impls, 73 clqs
0.09/0.13 c (round 14) 456 del vars, 487 del conss, 0 add conss, 455 chg bounds, 0 chg sides, 0 chg coeffs, 3904 upgd conss, 11674 impls, 73 clqs
0.09/0.16 c presolving (15 rounds):
0.09/0.16 c 456 deleted vars, 487 deleted constraints, 0 added constraints, 455 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
0.09/0.16 c 11674 implications, 73 cliques
0.09/0.16 c presolved problem has 3779 variables (3779 bin, 0 int, 0 impl, 0 cont) and 3904 constraints
0.09/0.16 c 849 constraints of type <setppc>
0.09/0.16 c 3055 constraints of type <logicor>
0.09/0.16 c transformed objective value is always integral (scale: 1)
0.09/0.16 c Presolving Time: 0.12
0.09/0.16 c - non default parameters ----------------------------------------------------------------------
0.09/0.16 c # SCIP version 2.1.1.4
0.09/0.16 c
0.09/0.16 c # maximal time in seconds to run
0.09/0.16 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.09/0.16 c limits/time = 1797
0.09/0.16 c
0.09/0.16 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.09/0.16 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.09/0.16 c limits/memory = 13950
0.09/0.16 c
0.09/0.16 c # solving stops, if the given number of solutions were found (-1: no limit)
0.09/0.16 c # [type: int, range: [-1,2147483647], default: -1]
0.09/0.16 c limits/solutions = 1
0.09/0.16 c
0.09/0.16 c # maximal number of separation rounds per node (-1: unlimited)
0.09/0.16 c # [type: int, range: [-1,2147483647], default: 5]
0.09/0.16 c separating/maxrounds = 1
0.09/0.16 c
0.09/0.16 c # maximal number of separation rounds in the root node (-1: unlimited)
0.09/0.16 c # [type: int, range: [-1,2147483647], default: -1]
0.09/0.16 c separating/maxroundsroot = 5
0.09/0.16 c
0.09/0.16 c # default clock type (1: CPU user seconds, 2: wall clock time)
0.09/0.16 c # [type: int, range: [1,2], default: 1]
0.09/0.16 c timing/clocktype = 2
0.09/0.16 c
0.09/0.16 c # belongs reading time to solving time?
0.09/0.16 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.09/0.16 c timing/reading = TRUE
0.09/0.16 c
0.09/0.16 c # should disaggregation of knapsack constraints be allowed in preprocessing?
0.09/0.16 c # [type: bool, range: {TRUE,FALSE}, default: TRUE]
0.09/0.16 c constraints/knapsack/disaggregation = FALSE
0.09/0.16 c
0.09/0.16 c # frequency for calling primal heuristic <coefdiving> (-1: never, 0: only at depth freqofs)
0.09/0.16 c # [type: int, range: [-1,2147483647], default: 10]
0.09/0.16 c heuristics/coefdiving/freq = -1
0.09/0.16 c
0.09/0.16 c # maximal fraction of diving LP iterations compared to node LP iterations
0.09/0.16 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
0.09/0.16 c heuristics/coefdiving/maxlpiterquot = 0.075
0.09/0.16 c
0.09/0.16 c # additional number of allowed LP iterations
0.09/0.16 c # [type: int, range: [0,2147483647], default: 1000]
0.09/0.16 c heuristics/coefdiving/maxlpiterofs = 1500
0.09/0.16 c
0.09/0.16 c # frequency for calling primal heuristic <crossover> (-1: never, 0: only at depth freqofs)
0.09/0.16 c # [type: int, range: [-1,2147483647], default: 30]
0.09/0.16 c heuristics/crossover/freq = -1
0.09/0.16 c
0.09/0.16 c # number of nodes added to the contingent of the total nodes
0.09/0.16 c # [type: longint, range: [0,9223372036854775807], default: 500]
0.09/0.16 c heuristics/crossover/nodesofs = 750
0.09/0.16 c
0.09/0.16 c # number of nodes without incumbent change that heuristic should wait
0.09/0.16 c # [type: longint, range: [0,9223372036854775807], default: 200]
0.09/0.16 c heuristics/crossover/nwaitingnodes = 100
0.09/0.16 c
0.09/0.16 c # contingent of sub problem nodes in relation to the number of nodes of the original problem
0.09/0.16 c # [type: real, range: [0,1], default: 0.1]
0.09/0.16 c heuristics/crossover/nodesquot = 0.15
0.09/0.16 c
0.09/0.16 c # minimum percentage of integer variables that have to be fixed
0.09/0.16 c # [type: real, range: [0,1], default: 0.666]
0.09/0.16 c heuristics/crossover/minfixingrate = 0.5
0.09/0.16 c
0.09/0.16 c # frequency for calling primal heuristic <feaspump> (-1: never, 0: only at depth freqofs)
0.09/0.16 c # [type: int, range: [-1,2147483647], default: 20]
0.09/0.16 c heuristics/feaspump/freq = -1
0.09/0.16 c
0.09/0.16 c # additional number of allowed LP iterations
0.09/0.16 c # [type: int, range: [0,2147483647], default: 1000]
0.09/0.16 c heuristics/feaspump/maxlpiterofs = 2000
0.09/0.16 c
0.09/0.16 c # frequency for calling primal heuristic <fracdiving> (-1: never, 0: only at depth freqofs)
0.09/0.16 c # [type: int, range: [-1,2147483647], default: 10]
0.09/0.16 c heuristics/fracdiving/freq = -1
0.09/0.16 c
0.09/0.16 c # maximal fraction of diving LP iterations compared to node LP iterations
0.09/0.16 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
0.09/0.16 c heuristics/fracdiving/maxlpiterquot = 0.075
0.09/0.16 c
0.09/0.16 c # additional number of allowed LP iterations
0.09/0.16 c # [type: int, range: [0,2147483647], default: 1000]
0.09/0.16 c heuristics/fracdiving/maxlpiterofs = 1500
0.09/0.16 c
0.09/0.16 c # frequency for calling primal heuristic <guideddiving> (-1: never, 0: only at depth freqofs)
0.09/0.16 c # [type: int, range: [-1,2147483647], default: 10]
0.09/0.16 c heuristics/guideddiving/freq = -1
0.09/0.16 c
0.09/0.16 c # maximal fraction of diving LP iterations compared to node LP iterations
0.09/0.16 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
0.09/0.16 c heuristics/guideddiving/maxlpiterquot = 0.075
0.09/0.16 c
0.09/0.16 c # additional number of allowed LP iterations
0.09/0.16 c # [type: int, range: [0,2147483647], default: 1000]
0.09/0.16 c heuristics/guideddiving/maxlpiterofs = 1500
0.09/0.16 c
0.09/0.16 c # maximal fraction of diving LP iterations compared to node LP iterations
0.09/0.16 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
0.09/0.16 c heuristics/intdiving/maxlpiterquot = 0.075
0.09/0.16 c
0.09/0.16 c # frequency for calling primal heuristic <intshifting> (-1: never, 0: only at depth freqofs)
0.09/0.16 c # [type: int, range: [-1,2147483647], default: 10]
0.09/0.16 c heuristics/intshifting/freq = -1
0.09/0.16 c
0.09/0.16 c # frequency for calling primal heuristic <linesearchdiving> (-1: never, 0: only at depth freqofs)
0.09/0.16 c # [type: int, range: [-1,2147483647], default: 10]
0.09/0.16 c heuristics/linesearchdiving/freq = -1
0.09/0.16 c
0.09/0.16 c # maximal fraction of diving LP iterations compared to node LP iterations
0.09/0.16 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
0.09/0.16 c heuristics/linesearchdiving/maxlpiterquot = 0.075
0.09/0.16 c
0.09/0.16 c # additional number of allowed LP iterations
0.09/0.16 c # [type: int, range: [0,2147483647], default: 1000]
0.09/0.16 c heuristics/linesearchdiving/maxlpiterofs = 1500
0.09/0.16 c
0.09/0.16 c # frequency for calling primal heuristic <objpscostdiving> (-1: never, 0: only at depth freqofs)
0.09/0.16 c # [type: int, range: [-1,2147483647], default: 20]
0.09/0.16 c heuristics/objpscostdiving/freq = -1
0.09/0.16 c
0.09/0.16 c # maximal fraction of diving LP iterations compared to total iteration number
0.09/0.16 c # [type: real, range: [0,1], default: 0.01]
0.09/0.16 c heuristics/objpscostdiving/maxlpiterquot = 0.015
0.09/0.16 c
0.09/0.16 c # additional number of allowed LP iterations
0.09/0.16 c # [type: int, range: [0,2147483647], default: 1000]
0.09/0.16 c heuristics/objpscostdiving/maxlpiterofs = 1500
0.09/0.16 c
0.09/0.16 c # frequency for calling primal heuristic <oneopt> (-1: never, 0: only at depth freqofs)
0.09/0.16 c # [type: int, range: [-1,2147483647], default: 1]
0.09/0.16 c heuristics/oneopt/freq = -1
0.09/0.16 c
0.09/0.16 c # frequency for calling primal heuristic <pscostdiving> (-1: never, 0: only at depth freqofs)
0.09/0.16 c # [type: int, range: [-1,2147483647], default: 10]
0.09/0.16 c heuristics/pscostdiving/freq = -1
0.09/0.16 c
0.09/0.16 c # maximal fraction of diving LP iterations compared to node LP iterations
0.09/0.16 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
0.09/0.16 c heuristics/pscostdiving/maxlpiterquot = 0.075
0.09/0.16 c
0.09/0.16 c # additional number of allowed LP iterations
0.09/0.16 c # [type: int, range: [0,2147483647], default: 1000]
0.09/0.16 c heuristics/pscostdiving/maxlpiterofs = 1500
0.09/0.16 c
0.09/0.16 c # frequency for calling primal heuristic <rens> (-1: never, 0: only at depth freqofs)
0.09/0.16 c # [type: int, range: [-1,2147483647], default: 0]
0.09/0.16 c heuristics/rens/freq = -1
0.09/0.16 c
0.09/0.16 c # minimum percentage of integer variables that have to be fixable
0.09/0.16 c # [type: real, range: [0,1], default: 0.5]
0.09/0.16 c heuristics/rens/minfixingrate = 0.3
0.09/0.16 c
0.09/0.16 c # number of nodes added to the contingent of the total nodes
0.09/0.16 c # [type: longint, range: [0,9223372036854775807], default: 500]
0.09/0.16 c heuristics/rens/nodesofs = 2000
0.09/0.16 c
0.09/0.16 c # frequency for calling primal heuristic <rootsoldiving> (-1: never, 0: only at depth freqofs)
0.09/0.16 c # [type: int, range: [-1,2147483647], default: 20]
0.09/0.16 c heuristics/rootsoldiving/freq = -1
0.09/0.16 c
0.09/0.16 c # maximal fraction of diving LP iterations compared to node LP iterations
0.09/0.16 c # [type: real, range: [0,1.79769313486232e+308], default: 0.01]
0.09/0.16 c heuristics/rootsoldiving/maxlpiterquot = 0.015
0.09/0.16 c
0.09/0.16 c # additional number of allowed LP iterations
0.09/0.16 c # [type: int, range: [0,2147483647], default: 1000]
0.09/0.16 c heuristics/rootsoldiving/maxlpiterofs = 1500
0.09/0.16 c
0.09/0.16 c # frequency for calling primal heuristic <rounding> (-1: never, 0: only at depth freqofs)
0.09/0.16 c # [type: int, range: [-1,2147483647], default: 1]
0.09/0.16 c heuristics/rounding/freq = -1
0.09/0.16 c
0.09/0.16 c # frequency for calling primal heuristic <shiftandpropagate> (-1: never, 0: only at depth freqofs)
0.09/0.16 c # [type: int, range: [-1,2147483647], default: 0]
0.09/0.16 c heuristics/shiftandpropagate/freq = -1
0.09/0.16 c
0.09/0.16 c # frequency for calling primal heuristic <shifting> (-1: never, 0: only at depth freqofs)
0.09/0.16 c # [type: int, range: [-1,2147483647], default: 10]
0.09/0.16 c heuristics/shifting/freq = -1
0.09/0.16 c
0.09/0.16 c # frequency for calling primal heuristic <simplerounding> (-1: never, 0: only at depth freqofs)
0.09/0.16 c # [type: int, range: [-1,2147483647], default: 1]
0.09/0.16 c heuristics/simplerounding/freq = -1
0.09/0.16 c
0.09/0.16 c # frequency for calling primal heuristic <subnlp> (-1: never, 0: only at depth freqofs)
0.09/0.16 c # [type: int, range: [-1,2147483647], default: 1]
0.09/0.16 c heuristics/subnlp/freq = -1
0.09/0.16 c
0.09/0.16 c # frequency for calling primal heuristic <trivial> (-1: never, 0: only at depth freqofs)
0.09/0.16 c # [type: int, range: [-1,2147483647], default: 0]
0.09/0.16 c heuristics/trivial/freq = -1
0.09/0.16 c
0.09/0.16 c # frequency for calling primal heuristic <trysol> (-1: never, 0: only at depth freqofs)
0.09/0.16 c # [type: int, range: [-1,2147483647], default: 1]
0.09/0.16 c heuristics/trysol/freq = -1
0.09/0.16 c
0.09/0.16 c # frequency for calling primal heuristic <undercover> (-1: never, 0: only at depth freqofs)
0.09/0.16 c # [type: int, range: [-1,2147483647], default: 0]
0.09/0.16 c heuristics/undercover/freq = -1
0.09/0.16 c
0.09/0.16 c # frequency for calling primal heuristic <veclendiving> (-1: never, 0: only at depth freqofs)
0.09/0.16 c # [type: int, range: [-1,2147483647], default: 10]
0.09/0.16 c heuristics/veclendiving/freq = -1
0.09/0.16 c
0.09/0.16 c # maximal fraction of diving LP iterations compared to node LP iterations
0.09/0.16 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
0.09/0.16 c heuristics/veclendiving/maxlpiterquot = 0.075
0.09/0.16 c
0.09/0.16 c # additional number of allowed LP iterations
0.09/0.16 c # [type: int, range: [0,2147483647], default: 1000]
0.09/0.16 c heuristics/veclendiving/maxlpiterofs = 1500
0.09/0.16 c
0.09/0.16 c # frequency for calling primal heuristic <zirounding> (-1: never, 0: only at depth freqofs)
0.09/0.16 c # [type: int, range: [-1,2147483647], default: 1]
0.09/0.16 c heuristics/zirounding/freq = -1
0.09/0.16 c
0.09/0.16 c # maximal number of presolving rounds the propagator participates in (-1: no limit)
0.09/0.16 c # [type: int, range: [-1,2147483647], default: -1]
0.09/0.16 c propagating/probing/maxprerounds = 0
0.09/0.16 c
0.09/0.16 c # frequency for calling separator <cmir> (-1: never, 0: only in root node)
0.09/0.16 c # [type: int, range: [-1,2147483647], default: 0]
0.09/0.16 c separating/cmir/freq = -1
0.09/0.16 c
0.09/0.16 c # frequency for calling separator <flowcover> (-1: never, 0: only in root node)
0.09/0.16 c # [type: int, range: [-1,2147483647], default: 0]
0.09/0.16 c separating/flowcover/freq = -1
0.09/0.16 c
0.09/0.16 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
0.09/0.16 c # [type: int, range: [-1,2147483647], default: -1]
0.09/0.16 c separating/rapidlearning/freq = 0
0.09/0.16 c
0.09/0.16 c # frequency for calling primal heuristic <indoneopt> (-1: never, 0: only at depth freqofs)
0.09/0.16 c # [type: int, range: [-1,2147483647], default: 1]
0.09/0.16 c heuristics/indoneopt/freq = -1
0.09/0.16 c
0.09/0.16 c -----------------------------------------------------------------------------------------------
0.09/0.16 c start solving
0.09/0.16 c
2.59/2.63 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
2.59/2.63 c 2.6s| 1 | 0 | 8515 | - | 18M| 0 |1042 |3779 |3904 |3779 |3904 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
5.09/5.14 c 5.1s| 1 | 0 | 8864 | - | 20M| 0 |1077 |3779 |5578 |3779 |3887 | 6 | 0 | 0 | 0.000000e+00 | -- | Inf
5.50/5.55 c 5.5s| 1 | 0 | 9369 | - | 20M| 0 |1124 |3779 |5578 |3779 |3894 | 13 | 0 | 0 | 0.000000e+00 | -- | Inf
5.79/5.82 c 5.8s| 1 | 0 | 9520 | - | 20M| 0 |1170 |3779 |5578 |3779 |3899 | 18 | 0 | 0 | 0.000000e+00 | -- | Inf
6.28/6.39 c 6.4s| 1 | 0 | 10421 | - | 20M| 0 |1130 |3779 |5578 |3779 |3907 | 26 | 0 | 0 | 0.000000e+00 | -- | Inf
6.79/6.89 c 6.9s| 1 | 0 | 11090 | - | 20M| 0 |1155 |3779 |5578 |3779 |3913 | 32 | 0 | 0 | 0.000000e+00 | -- | Inf
10.99/11.04 c 11.0s| 1 | 2 | 11090 | - | 20M| 0 |1155 |3779 |5578 |3779 |3913 | 32 | 0 | 11 | 0.000000e+00 | -- | Inf
106.25/106.33 c 106s| 100 | 37 | 85059 | 747.2 | 22M| 39 | 278 |3779 |5641 |3779 |3903 | 32 | 63 | 221 | 0.000000e+00 | -- | Inf
137.15/137.21 c 137s| 200 | 32 |146158 | 678.7 | 22M| 39 | 430 |3779 |5656 |3779 |3903 | 32 | 160 | 263 | 0.000000e+00 | -- | Inf
163.64/163.78 c 164s| 300 | 46 |194323 | 612.8 | 22M| 61 | - |3779 |5737 | 0 | 0 | 32 | 248 | 299 | 0.000000e+00 | -- | Inf
190.64/190.76 c 191s| 400 | 41 |247665 | 592.9 | 22M| 72 | - |3779 |5766 |3779 |3903 | 32 | 296 | 332 | 0.000000e+00 | -- | Inf
245.43/245.54 c 246s| 500 | 46 |348217 | 675.6 | 22M| 73 | - |3779 |5756 |3779 |3903 | 32 | 330 | 397 | 0.000000e+00 | -- | Inf
290.12/290.27 c 290s| 600 | 50 |429568 | 698.6 | 22M| 73 | - |3779 |5749 |3779 |3903 | 32 | 352 | 458 | 0.000000e+00 | -- | Inf
327.62/327.75 c 328s| 700 | 51 |500128 | 699.6 | 22M| 73 | 372 |3779 |5759 |3779 |3903 | 32 | 390 | 501 | 0.000000e+00 | -- | Inf
364.51/364.67 c 365s| 800 | 48 |569029 | 698.3 | 22M| 73 | - |3779 |5760 |3779 |3903 | 32 | 405 | 554 | 0.000000e+00 | -- | Inf
420.11/420.24 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
420.11/420.24 c 420s| 900 | 61 |669169 | 732.0 | 22M| 73 | 216 |3779 |5769 |3779 |3903 | 32 | 438 | 635 | 0.000000e+00 | -- | Inf
453.01/453.11 c 453s| 1000 | 63 |730712 | 720.3 | 22M| 73 | 337 |3779 |5786 |3779 |3903 | 32 | 478 | 676 | 0.000000e+00 | -- | Inf
493.58/493.70 c 494s| 1100 | 76 |806133 | 723.4 | 22M| 73 | - |3779 |5796 |3779 |3903 | 32 | 503 | 728 | 0.000000e+00 | -- | Inf
519.08/519.25 c 519s| 1200 | 78 |855078 | 703.9 | 23M| 73 | - |3779 |5867 | 0 | 0 | 32 | 588 | 768 | 0.000000e+00 | -- | Inf
554.67/554.84 c 555s| 1300 | 88 |925668 | 704.1 | 23M| 73 | - |3779 |5885 |3779 |3903 | 32 | 645 | 812 | 0.000000e+00 | -- | Inf
587.67/587.89 c 588s| 1400 | 95 |986186 | 697.0 | 23M| 73 | - |3779 |5870 |3779 |3903 | 32 | 685 | 861 | 0.000000e+00 | -- | Inf
613.07/613.23 c 613s| 1500 | 101 | 1035k| 683.4 | 23M| 73 | - |3779 |5895 |3779 |3903 | 32 | 726 | 902 | 0.000000e+00 | -- | Inf
644.16/644.38 c 644s| 1600 | 101 | 1098k| 680.3 | 23M| 73 | - |3779 |5898 |3779 |3903 | 32 | 744 | 945 | 0.000000e+00 | -- | Inf
673.26/673.42 c 673s| 1700 | 113 | 1155k| 673.5 | 23M| 73 | 253 |3779 |5917 |3779 |3903 | 32 | 780 | 986 | 0.000000e+00 | -- | Inf
697.75/697.95 c 698s| 1800 | 117 | 1208k| 665.6 | 23M| 73 | - |3779 |5912 |3779 |3903 | 32 | 783 |1027 | 0.000000e+00 | -- | Inf
713.55/713.70 c 714s| 1900 | 121 | 1240k| 647.3 | 23M| 73 | - |3779 |5944 | 0 | 0 | 32 | 819 |1051 | 0.000000e+00 | -- | Inf
737.35/737.58 c 738s| 2000 | 115 | 1292k| 640.8 | 23M| 73 | 232 |3779 |5944 |3779 |3903 | 32 | 824 |1086 | 0.000000e+00 | -- | Inf
760.64/760.83 c 761s| 2100 | 117 | 1340k| 633.4 | 23M| 73 | 260 |3779 |5948 |3779 |3903 | 32 | 839 |1122 | 0.000000e+00 | -- | Inf
787.14/787.32 c 787s| 2200 | 117 | 1394k| 629.3 | 23M| 73 | 263 |3779 |5952 |3779 |3903 | 32 | 848 |1162 | 0.000000e+00 | -- | Inf
815.44/815.69 c 816s| 2300 | 125 | 1451k| 626.4 | 23M| 73 | 307 |3779 |5965 |3779 |3903 | 32 | 863 |1206 | 0.000000e+00 | -- | Inf
841.34/841.54 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
841.34/841.54 c 842s| 2400 | 123 | 1499k| 620.5 | 23M| 73 | 188 |3779 |5929 |3779 |3903 | 32 | 880 |1241 | 0.000000e+00 | -- | Inf
872.03/872.25 c 872s| 2500 | 131 | 1558k| 619.2 | 23M| 73 | 304 |3779 |5880 |3779 |3903 | 32 | 901 |1284 | 0.000000e+00 | -- | Inf
903.62/903.88 c 904s| 2600 | 133 | 1627k| 621.9 | 23M| 73 | - |3779 |5699 |3779 |3903 | 32 | 928 |1318 | 0.000000e+00 | -- | Inf
931.32/931.59 c 932s| 2700 | 141 | 1682k| 619.3 | 23M| 73 | 183 |3779 |5697 |3779 |3903 | 32 | 939 |1363 | 0.000000e+00 | -- | Inf
957.82/958.02 c 958s| 2800 | 143 | 1733k| 615.5 | 23M| 73 | 265 |3779 |5693 |3779 |3903 | 32 | 966 |1396 | 0.000000e+00 | -- | Inf
992.41/992.69 c 993s| 2900 | 148 | 1803k| 618.3 | 24M| 73 | 225 |3779 |5672 |3779 |3903 | 32 | 994 |1441 | 0.000000e+00 | -- | Inf
1026.51/1026.74 c 1027s| 3000 | 151 | 1867k| 619.1 | 24M| 73 | 258 |3779 |5584 |3779 |3903 | 32 |1010 |1492 | 0.000000e+00 | -- | Inf
1060.90/1061.14 c 1061s| 3100 | 164 | 1934k| 620.8 | 24M| 73 | - |3779 |5540 |3779 |3903 | 32 |1041 |1536 | 0.000000e+00 | -- | Inf
1100.99/1101.23 c 1101s| 3200 | 180 | 2014k| 626.4 | 24M| 73 | - |3779 |5417 |3779 |3903 | 32 |1077 |1586 | 0.000000e+00 | -- | Inf
1124.29/1124.52 c 1125s| 3300 | 178 | 2063k| 622.1 | 24M| 73 | - |3779 |5423 |3779 |3903 | 32 |1111 |1620 | 0.000000e+00 | -- | Inf
1158.88/1159.19 c 1159s| 3400 | 192 | 2126k| 622.4 | 24M| 73 | - |3779 |5375 |3779 |3903 | 32 |1127 |1671 | 0.000000e+00 | -- | Inf
1184.58/1184.85 c 1185s| 3500 | 188 | 2179k| 619.8 | 24M| 73 | 270 |3779 |5370 |3779 |3903 | 32 |1167 |1705 | 0.000000e+00 | -- | Inf
1204.97/1205.22 c 1205s| 3600 | 196 | 2222k| 614.4 | 24M| 73 | - |3779 |5358 |3779 |3903 | 32 |1194 |1737 | 0.000000e+00 | -- | Inf
1225.07/1225.35 c 1225s| 3700 | 200 | 2263k| 608.9 | 24M| 73 | 264 |3779 |5374 |3779 |3903 | 32 |1230 |1772 | 0.000000e+00 | -- | Inf
1248.46/1248.72 c 1249s| 3800 | 196 | 2314k| 606.4 | 24M| 73 | - |3779 |5379 | 0 | 0 | 32 |1243 |1813 | 0.000000e+00 | -- | Inf
1278.46/1278.78 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1278.46/1278.78 c 1279s| 3900 | 200 | 2374k| 606.0 | 24M| 73 | - |3779 |5222 |3779 |3903 | 32 |1260 |1867 | 0.000000e+00 | -- | Inf
1307.06/1307.35 c 1307s| 4000 | 206 | 2432k| 605.5 | 24M| 73 | - |3779 |5204 |3779 |3903 | 32 |1284 |1909 | 0.000000e+00 | -- | Inf
1335.95/1336.28 c 1336s| 4100 | 210 | 2490k| 604.9 | 24M| 73 | 209 |3779 |5206 |3779 |3903 | 32 |1334 |1958 | 0.000000e+00 | -- | Inf
1368.45/1368.74 c 1369s| 4200 | 208 | 2553k| 605.5 | 24M| 73 | 317 |3779 |5157 |3779 |3903 | 32 |1342 |2010 | 0.000000e+00 | -- | Inf
1394.95/1395.25 c 1395s| 4300 | 202 | 2606k| 603.7 | 24M| 73 | 470 |3779 |5175 |3779 |3903 | 32 |1388 |2045 | 0.000000e+00 | -- | Inf
1425.84/1426.12 c 1426s| 4400 | 198 | 2670k| 604.5 | 24M| 73 | - |3779 |5162 |3779 |3903 | 32 |1405 |2089 | 0.000000e+00 | -- | Inf
1448.44/1448.77 c 1449s| 4500 | 202 | 2717k| 601.5 | 24M| 73 | - |3779 |5165 | 0 | 0 | 32 |1435 |2122 | 0.000000e+00 | -- | Inf
1475.33/1475.66 c 1476s| 4600 | 206 | 2771k| 600.3 | 24M| 73 | - |3779 |5126 |3779 |3903 | 32 |1447 |2164 | 0.000000e+00 | -- | Inf
1498.33/1498.62 c 1499s| 4700 | 214 | 2819k| 597.7 | 24M| 73 | 304 |3779 |5156 |3779 |3903 | 32 |1499 |2197 | 0.000000e+00 | -- | Inf
1530.83/1531.16 c 1531s| 4800 | 217 | 2880k| 598.0 | 24M| 73 | 326 |3779 |5126 |3779 |3903 | 32 |1526 |2246 | 0.000000e+00 | -- | Inf
1563.32/1563.64 c 1564s| 4900 | 221 | 2948k| 599.5 | 24M| 73 | - |3779 |5081 |3779 |3903 | 32 |1538 |2289 | 0.000000e+00 | -- | Inf
1590.92/1591.22 c 1591s| 5000 | 229 | 3005k| 599.1 | 24M| 73 | - |3779 |5087 | 0 | 0 | 32 |1570 |2332 | 0.000000e+00 | -- | Inf
1616.31/1616.63 c 1617s| 5100 | 233 | 3055k| 597.2 | 24M| 73 | - |3779 |5070 |3779 |3903 | 32 |1583 |2382 | 0.000000e+00 | -- | Inf
1634.70/1635.08 c 1635s| 5200 | 235 | 3096k| 593.5 | 24M| 73 | 191 |3779 |5078 |3779 |3903 | 32 |1605 |2419 | 0.000000e+00 | -- | Inf
1659.90/1660.25 c 1660s| 5300 | 239 | 3152k| 592.8 | 24M| 73 | 292 |3779 |5084 |3779 |3903 | 32 |1652 |2460 | 0.000000e+00 | -- | Inf
1680.50/1680.84 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1680.50/1680.84 c 1681s| 5400 | 242 | 3196k| 589.9 | 24M| 73 | 156 |3779 |5077 |3779 |3903 | 32 |1670 |2501 | 0.000000e+00 | -- | Inf
1695.40/1695.78 c 1696s| 5500 | 244 | 3227k| 584.9 | 24M| 73 | 165 |3779 |5071 |3779 |3903 | 32 |1678 |2531 | 0.000000e+00 | -- | Inf
1711.09/1711.49 c 1711s| 5600 | 240 | 3263k| 581.0 | 24M| 73 | 169 |3779 |5082 |3779 |3903 | 32 |1696 |2560 | 0.000000e+00 | -- | Inf
1737.79/1738.19 c 1738s| 5700 | 244 | 3318k| 580.3 | 24M| 73 | 215 |3779 |5097 |3779 |3903 | 32 |1742 |2610 | 0.000000e+00 | -- | Inf
1772.69/1773.04 c 1773s| 5800 | 260 | 3388k| 582.5 | 24M| 73 | 172 |3779 |5085 |3779 |3903 | 32 |1757 |2668 | 0.000000e+00 | -- | Inf
1796.68/1797.01 c
1796.68/1797.01 c SCIP Status : solving was interrupted [time limit reached]
1796.68/1797.01 c Solving Time (sec) : 1797.00
1796.68/1797.01 c Solving Nodes : 5895
1796.68/1797.01 c Primal Bound : +1.00000000000000e+20 (0 solutions)
1796.68/1797.01 c Dual Bound : +0.00000000000000e+00
1796.68/1797.01 c Gap : infinite
1796.68/1797.01 s UNKNOWN
1796.68/1797.01 c SCIP Status : solving was interrupted [time limit reached]
1796.68/1797.01 c Total Time : 1797.00
1796.68/1797.01 c solving : 1797.00
1796.68/1797.01 c presolving : 0.12 (included in solving)
1796.68/1797.01 c reading : 0.02 (included in solving)
1796.68/1797.01 c copying : 0.02 (1 #copies) (minimal 0.02, maximal 0.02, average 0.02)
1796.68/1797.01 c Original Problem :
1796.68/1797.01 c Problem name : HOME/instance-3691817-1338045053.opb
1796.68/1797.01 c Variables : 4235 (4235 binary, 0 integer, 0 implicit integer, 0 continuous)
1796.68/1797.01 c Constraints : 4391 initial, 4391 maximal
1796.68/1797.01 c Objective sense : minimize
1796.68/1797.01 c Presolved Problem :
1796.68/1797.01 c Problem name : t_HOME/instance-3691817-1338045053.opb
1796.68/1797.01 c Variables : 3779 (3779 binary, 0 integer, 0 implicit integer, 0 continuous)
1796.68/1797.01 c Constraints : 3904 initial, 5965 maximal
1796.68/1797.01 c Presolvers : ExecTime SetupTime FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons AddCons ChgSides ChgCoefs
1796.68/1797.01 c domcol : 0.00 0.00 0 0 0 0 0 0 0 0 0
1796.68/1797.01 c trivial : 0.00 0.00 0 0 0 0 0 0 0 0 0
1796.68/1797.01 c dualfix : 0.00 0.00 0 0 0 0 0 0 0 0 0
1796.68/1797.01 c boundshift : 0.00 0.00 0 0 0 0 0 0 0 0 0
1796.68/1797.01 c inttobinary : 0.00 0.00 0 0 0 0 0 0 0 0 0
1796.68/1797.01 c convertinttobin : 0.00 0.00 0 0 0 0 0 0 0 0 0
1796.68/1797.01 c gateextraction : 0.00 0.00 0 0 0 0 0 0 0 0 0
1796.68/1797.01 c implics : 0.00 0.00 0 0 0 0 0 0 0 0 0
1796.68/1797.01 c components : 0.00 0.00 0 0 0 0 0 0 0 0 0
1796.68/1797.01 c pseudoobj : 0.00 0.00 0 0 0 0 0 0 0 0 0
1796.68/1797.01 c probing : 0.00 0.00 0 0 0 0 0 0 0 0 0
1796.68/1797.01 c setppc : 0.01 0.00 0 0 0 0 0 0 0 0 0
1796.68/1797.01 c linear : 0.05 0.00 455 1 0 455 0 487 0 0 0
1796.68/1797.01 c logicor : 0.03 0.00 0 0 0 0 0 0 0 0 0
1796.68/1797.01 c root node : - - 41 - - 41 - - - - -
1796.68/1797.01 c Constraints : Number MaxNumber #Separate #Propagate #EnfoLP #EnfoPS #Check #ResProp Cutoffs DomReds Cuts Conss Children
1796.68/1797.01 c integral : 0 0 0 0 3302 0 1 0 19 383 0 0 6196
1796.68/1797.01 c setppc : 849 849 6 37852 0 1 0 223052 26 261016 0 0 0
1796.68/1797.01 c linear : 0+ 1731 5 37005 0 0 0 5480 19 5607 19 0 0
1796.68/1797.01 c logicor : 3055+ 3663 6 31502 0 1 0 438723 426 349456 0 0 0
1796.68/1797.01 c countsols : 0 0 0 0 0 1 0 0 0 0 0 0 0
1796.68/1797.01 c Constraint Timings : TotalTime SetupTime Separate Propagate EnfoLP EnfoPS Check ResProp
1796.68/1797.01 c integral : 661.95 0.00 0.00 0.00 661.95 0.00 0.00 0.00
1796.68/1797.01 c setppc : 0.88 0.00 0.00 0.78 0.00 0.00 0.00 0.11
1796.68/1797.01 c linear : 0.30 0.00 0.01 0.29 0.00 0.00 0.00 0.01
1796.68/1797.01 c logicor : 1.37 0.00 0.00 1.15 0.00 0.00 0.00 0.23
1796.68/1797.01 c countsols : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
1796.68/1797.01 c Propagators : #Propagate #ResProp Cutoffs DomReds
1796.68/1797.01 c rootredcost : 0 0 0 0
1796.68/1797.01 c pseudoobj : 0 0 0 0
1796.68/1797.01 c vbounds : 0 0 0 0
1796.68/1797.01 c redcost : 3307 0 0 0
1796.68/1797.01 c probing : 0 0 0 0
1796.68/1797.01 c Propagator Timings : TotalTime SetupTime Presolve Propagate ResProp
1796.68/1797.01 c rootredcost : 0.01 0.00 0.00 0.01 0.00
1796.68/1797.01 c pseudoobj : 0.01 0.00 0.00 0.01 0.00
1796.68/1797.01 c vbounds : 0.01 0.00 0.00 0.01 0.00
1796.68/1797.01 c redcost : 0.18 0.00 0.00 0.18 0.00
1796.68/1797.01 c probing : 0.00 0.00 0.00 0.00 0.00
1796.68/1797.01 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1796.68/1797.01 c propagation : 0.16 471 470 2211 57.9 85 39.7 -
1796.68/1797.01 c infeasible LP : 5.21 2321 265 4437 509.3 3 7.3 0
1796.68/1797.01 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1796.68/1797.01 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1796.68/1797.01 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 -
1796.68/1797.01 c applied globally : - - - 1766 52.1 - - -
1796.68/1797.01 c applied locally : - - - 2 644.5 - - -
1796.68/1797.01 c Separators : ExecTime SetupTime Calls Cutoffs DomReds Cuts Conss
1796.68/1797.01 c cut pool : 0.00 4 - - 10 - (maximal pool size: 82)
1796.68/1797.01 c closecuts : 0.00 0.00 0 0 0 0 0
1796.68/1797.01 c impliedbounds : 0.00 0.00 5 0 0 0 0
1796.68/1797.01 c intobj : 0.00 0.00 0 0 0 0 0
1796.68/1797.01 c gomory : 0.38 0.00 5 0 0 51 0
1796.68/1797.01 c cgmip : 0.00 0.00 0 0 0 0 0
1796.68/1797.01 c strongcg : 0.40 0.00 5 0 0 59 0
1796.68/1797.01 c cmir : 0.00 0.00 0 0 0 0 0
1796.68/1797.01 c flowcover : 0.00 0.00 0 0 0 0 0
1796.68/1797.01 c clique : 0.12 0.00 5 0 0 25 0
1796.68/1797.01 c zerohalf : 0.00 0.00 0 0 0 0 0
1796.68/1797.01 c mcf : 0.00 0.00 1 0 0 0 0
1796.68/1797.01 c oddcycle : 0.00 0.00 0 0 0 0 0
1796.68/1797.01 c rapidlearning : 2.17 0.00 1 0 41 0 1731
1796.68/1797.01 c Pricers : ExecTime SetupTime Calls Vars
1796.68/1797.01 c problem variables: 0.00 - 0 0
1796.68/1797.01 c Branching Rules : ExecTime SetupTime Calls Cutoffs DomReds Cuts Conss Children
1796.68/1797.01 c relpscost : 661.95 0.00 3302 19 383 0 0 6196
1796.68/1797.01 c pscost : 0.00 0.00 0 0 0 0 0 0
1796.68/1797.01 c inference : 0.00 0.00 1 0 0 0 0 2
1796.68/1797.01 c mostinf : 0.00 0.00 0 0 0 0 0 0
1796.68/1797.01 c leastinf : 0.00 0.00 0 0 0 0 0 0
1796.68/1797.01 c fullstrong : 0.00 0.00 0 0 0 0 0 0
1796.68/1797.01 c allfullstrong : 0.00 0.00 0 0 0 0 0 0
1796.68/1797.01 c random : 0.00 0.00 0 0 0 0 0 0
1796.68/1797.01 c Primal Heuristics : ExecTime SetupTime Calls Found
1796.68/1797.01 c LP solutions : 0.00 - - 0
1796.68/1797.01 c pseudo solutions : 0.00 - - 0
1796.68/1797.01 c smallcard : 0.00 0.00 0 0
1796.68/1797.01 c trivial : 0.00 0.00 1 0
1796.68/1797.01 c shiftandpropagate: 0.00 0.00 0 0
1796.68/1797.01 c simplerounding : 0.00 0.00 0 0
1796.68/1797.01 c zirounding : 0.00 0.00 0 0
1796.68/1797.01 c rounding : 0.00 0.00 0 0
1796.68/1797.01 c shifting : 0.00 0.00 0 0
1796.68/1797.01 c intshifting : 0.00 0.00 0 0
1796.68/1797.01 c oneopt : 0.00 0.00 0 0
1796.68/1797.01 c twoopt : 0.00 0.00 0 0
1796.68/1797.01 c indtwoopt : 0.00 0.00 0 0
1796.68/1797.01 c indoneopt : 0.00 0.00 0 0
1796.68/1797.01 c fixandinfer : 0.00 0.00 0 0
1796.68/1797.01 c feaspump : 0.00 0.00 0 0
1796.68/1797.01 c clique : 0.00 0.00 0 0
1796.68/1797.01 c indrounding : 0.00 0.00 0 0
1796.68/1797.01 c indcoefdiving : 0.00 0.00 0 0
1796.68/1797.01 c coefdiving : 0.00 0.00 0 0
1796.68/1797.01 c pscostdiving : 0.00 0.00 0 0
1796.68/1797.01 c nlpdiving : 0.00 0.00 0 0
1796.68/1797.01 c fracdiving : 0.00 0.00 0 0
1796.68/1797.01 c veclendiving : 0.00 0.00 0 0
1796.68/1797.01 c intdiving : 0.00 0.00 0 0
1796.68/1797.01 c actconsdiving : 0.00 0.00 0 0
1796.68/1797.01 c objpscostdiving : 0.00 0.00 0 0
1796.68/1797.01 c rootsoldiving : 0.00 0.00 0 0
1796.68/1797.01 c linesearchdiving : 0.00 0.00 0 0
1796.68/1797.01 c guideddiving : 0.00 0.00 0 0
1796.68/1797.01 c octane : 0.00 0.00 0 0
1796.68/1797.01 c rens : 0.00 0.00 0 0
1796.68/1797.01 c rins : 0.00 0.00 0 0
1796.68/1797.01 c localbranching : 0.00 0.00 0 0
1796.68/1797.01 c mutation : 0.00 0.00 0 0
1796.68/1797.01 c crossover : 0.00 0.00 0 0
1796.68/1797.01 c dins : 0.00 0.00 0 0
1796.68/1797.01 c vbounds : 0.00 0.00 0 0
1796.68/1797.01 c undercover : 0.00 0.00 0 0
1796.68/1797.01 c subnlp : 0.00 0.00 0 0
1796.68/1797.01 c trysol : 0.00 0.00 0 0
1796.68/1797.01 c LP : Time Calls Iterations Iter/call Iter/sec Time-0-It Calls-0-It
1796.68/1797.01 c primal LP : 0.00 1 0 0.00 - 0.00 1
1796.68/1797.01 c dual LP : 1117.88 5630 3438083 610.89 3075.54 0.00 2
1796.68/1797.01 c lex dual LP : 0.00 0 0 0.00 -
1796.68/1797.01 c barrier LP : 0.00 0 0 0.00 - 0.00 0
1796.68/1797.01 c diving/probing LP: 0.00 0 0 0.00 -
1796.68/1797.01 c strong branching : 661.58 2703 1829441 676.82 2765.25
1796.68/1797.01 c (at root node) : - 11 8607 782.45 -
1796.68/1797.01 c conflict analysis: 0.00 0 0 0.00 -
1796.68/1797.01 c B&B Tree :
1796.68/1797.01 c number of runs : 1
1796.68/1797.01 c nodes : 5895
1796.68/1797.01 c nodes (total) : 5895
1796.68/1797.01 c nodes left : 269
1796.68/1797.01 c max depth : 73
1796.68/1797.01 c max depth (total): 73
1796.68/1797.01 c backtracks : 872 (14.8%)
1796.68/1797.01 c delayed cutoffs : 35
1796.68/1797.01 c repropagations : 4171 (13235 domain reductions, 19 cutoffs)
1796.68/1797.01 c avg switch length: 4.83
1796.68/1797.01 c switching time : 2.83
1796.68/1797.01 c Solution :
1796.68/1797.01 c Solutions found : 0 (0 improvements)
1796.68/1797.01 c Primal Bound : -
1796.68/1797.01 c Dual Bound : +0.00000000000000e+00
1796.68/1797.01 c Gap : infinite
1796.68/1797.01 c Root Dual Bound : +0.00000000000000e+00
1796.68/1797.01 c Root Iterations : 11090
1796.68/1797.04 c Time complete: 1796.73.
runsolver Copyright (C) 2010-2011 Olivier ROUSSEL
This is runsolver version 3.3.1 (svn: 989)
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3691817-1338045053/watcher-3691817-1338045053 -o /tmp/evaluation-result-3691817-1338045053/solver-3691817-1338045053 -C 1800 -W 1900 -M 15500 HOME/scip-2.1.1.4expfix.linux.x86_64.gnu.opt.spx -f HOME/instance-3691817-1338045053.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 31819
/proc/meminfo: memFree=30105560/32873844 swapFree=7108/7108
[pid=31819] ppid=31817 vsize=11004 CPUtime=0 cores=0,2,4,6
/proc/31819/stat : 31819 (scip-2.1.1.4exp) R 31817 31819 29021 0 -1 4202496 1544 0 0 0 0 0 0 0 20 0 1 0 270633855 11268096 1498 33554432000 4194304 10219143 140734939196720 140734381979736 8891101 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/31819/statm: 2751 1509 398 1471 0 1271 0
[startup+0.0862049 s]
/proc/loadavg: 2.00 2.00 2.00 2/177 31819
/proc/meminfo: memFree=30105560/32873844 swapFree=7108/7108
[pid=31819] ppid=31817 vsize=35180 CPUtime=0.08 cores=0,2,4,6
/proc/31819/stat : 31819 (scip-2.1.1.4exp) R 31817 31819 29021 0 -1 4202496 7522 0 0 0 6 2 0 0 20 0 1 0 270633855 36024320 7219 33554432000 4194304 10219143 140734939196720 140734381979736 8844210 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/31819/statm: 8795 7219 567 1471 0 7315 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 35180
[startup+0.100298 s]
/proc/loadavg: 2.00 2.00 2.00 2/177 31819
/proc/meminfo: memFree=30105560/32873844 swapFree=7108/7108
[pid=31819] ppid=31817 vsize=35180 CPUtime=0.09 cores=0,2,4,6
/proc/31819/stat : 31819 (scip-2.1.1.4exp) R 31817 31819 29021 0 -1 4202496 7549 0 0 0 7 2 0 0 20 0 1 0 270633855 36024320 7246 33554432000 4194304 10219143 140734939196720 140734381979736 9008087 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/31819/statm: 8795 7246 576 1471 0 7315 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 35180
[startup+0.300212 s]
/proc/loadavg: 2.00 2.00 2.00 2/177 31819
/proc/meminfo: memFree=30105560/32873844 swapFree=7108/7108
[pid=31819] ppid=31817 vsize=53792 CPUtime=0.29 cores=0,2,4,6
/proc/31819/stat : 31819 (scip-2.1.1.4exp) R 31817 31819 29021 0 -1 4202496 12341 0 0 0 26 3 0 0 20 0 1 0 270633855 55083008 11998 33554432000 4194304 10219143 140734939196720 140734939192776 8056386 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/31819/statm: 13448 11998 733 1471 0 11968 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 53792
[startup+0.700174 s]
/proc/loadavg: 2.00 2.00 2.00 2/177 31819
/proc/meminfo: memFree=30105560/32873844 swapFree=7108/7108
[pid=31819] ppid=31817 vsize=54188 CPUtime=0.68 cores=0,2,4,6
/proc/31819/stat : 31819 (scip-2.1.1.4exp) R 31817 31819 29021 0 -1 4202496 12471 0 0 0 65 3 0 0 20 0 1 0 270633855 55488512 12128 33554432000 4194304 10219143 140734939196720 140734939190072 7754101 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/31819/statm: 13547 12128 733 1471 0 12067 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 54188
[startup+1.50018 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 31820
/proc/meminfo: memFree=30059896/32873844 swapFree=7108/7108
[pid=31819] ppid=31817 vsize=54644 CPUtime=1.49 cores=0,2,4,6
/proc/31819/stat : 31819 (scip-2.1.1.4exp) R 31817 31819 29021 0 -1 4202496 12591 0 0 0 145 4 0 0 20 0 1 0 270633855 55955456 12248 33554432000 4194304 10219143 140734939196720 140734939189976 8025324 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/31819/statm: 13661 12248 734 1471 0 12181 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 54644
[startup+3.10022 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 31820
/proc/meminfo: memFree=30059152/32873844 swapFree=7108/7108
[pid=31819] ppid=31817 vsize=91788 CPUtime=3.08 cores=0,2,4,6
/proc/31819/stat : 31819 (scip-2.1.1.4exp) R 31817 31819 29021 0 -1 4202496 21830 0 0 0 301 7 0 0 20 0 1 0 270633855 93990912 21395 33554432000 4194304 10219143 140734939196720 140734939190072 9008087 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/31819/statm: 22947 21395 776 1471 0 21467 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 91788
[startup+6.30018 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 31820
/proc/meminfo: memFree=30010296/32873844 swapFree=7108/7108
[pid=31819] ppid=31817 vsize=102956 CPUtime=6.28 cores=0,2,4,6
/proc/31819/stat : 31819 (scip-2.1.1.4exp) R 31817 31819 29021 0 -1 4202496 25387 0 0 0 606 22 0 0 20 0 1 0 270633855 105426944 24229 33554432000 4194304 10219143 140734939196720 140734939190024 8030359 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/31819/statm: 25739 24229 802 1471 0 24259 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 102956
[startup+12.7002 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 31820
/proc/meminfo: memFree=30010716/32873844 swapFree=7108/7108
[pid=31819] ppid=31817 vsize=102956 CPUtime=12.68 cores=0,2,4,6
/proc/31819/stat : 31819 (scip-2.1.1.4exp) R 31817 31819 29021 0 -1 4202496 25388 0 0 0 1243 25 0 0 20 0 1 0 270633855 105426944 24230 33554432000 4194304 10219143 140734939196720 140734939190168 7639959 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/31819/statm: 25739 24230 803 1471 0 24259 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 102956
[startup+25.5002 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 31820
/proc/meminfo: memFree=30011212/32873844 swapFree=7108/7108
[pid=31819] ppid=31817 vsize=102956 CPUtime=25.49 cores=0,2,4,6
/proc/31819/stat : 31819 (scip-2.1.1.4exp) R 31817 31819 29021 0 -1 4202496 25389 0 0 0 2521 28 0 0 20 0 1 0 270633855 105426944 24231 33554432000 4194304 10219143 140734939196720 140734939190168 9026266 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/31819/statm: 25739 24231 804 1471 0 24259 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 102956
[startup+51.1002 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 31820
/proc/meminfo: memFree=30010116/32873844 swapFree=7108/7108
[pid=31819] ppid=31817 vsize=102956 CPUtime=51.06 cores=0,2,4,6
/proc/31819/stat : 31819 (scip-2.1.1.4exp) R 31817 31819 29021 0 -1 4202496 25396 0 0 0 5071 35 0 0 20 0 1 0 270633855 105426944 24520 33554432000 4194304 10219143 140734939196720 140734939190168 8030334 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/31819/statm: 25739 24520 804 1471 0 24259 0
Current children cumulated CPU time (s) 51.06
Current children cumulated vsize (KiB) 102956
[startup+102.306 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 31820
/proc/meminfo: memFree=30016772/32873844 swapFree=7108/7108
[pid=31819] ppid=31817 vsize=102956 CPUtime=102.26 cores=0,2,4,6
/proc/31819/stat : 31819 (scip-2.1.1.4exp) R 31817 31819 29021 0 -1 4202496 25403 0 0 0 10172 54 0 0 20 0 1 0 270633855 105426944 24872 33554432000 4194304 10219143 140734939196720 140734939189432 8056516 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/31819/statm: 25739 24872 808 1471 0 24259 0
Current children cumulated CPU time (s) 102.26
Current children cumulated vsize (KiB) 102956
[startup+162.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 31820
/proc/meminfo: memFree=30010756/32873844 swapFree=7108/7108
[pid=31819] ppid=31817 vsize=102956 CPUtime=162.25 cores=0,2,4,6
/proc/31819/stat : 31819 (scip-2.1.1.4exp) R 31817 31819 29021 0 -1 4202496 25404 0 0 0 16149 76 0 0 20 0 1 0 270633855 105426944 24873 33554432000 4194304 10219143 140734939196720 140734939189976 9026266 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/31819/statm: 25739 24873 808 1471 0 24259 0
Current children cumulated CPU time (s) 162.25
Current children cumulated vsize (KiB) 102956
[startup+222.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 31821
/proc/meminfo: memFree=30008336/32873844 swapFree=7108/7108
[pid=31819] ppid=31817 vsize=102956 CPUtime=222.24 cores=0,2,4,6
/proc/31819/stat : 31819 (scip-2.1.1.4exp) R 31817 31819 29021 0 -1 4202496 25404 0 0 0 22125 99 0 0 20 0 1 0 270633855 105426944 24873 33554432000 4194304 10219143 140734939196720 140734939189976 9026266 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/31819/statm: 25739 24873 808 1471 0 24259 0
Current children cumulated CPU time (s) 222.24
Current children cumulated vsize (KiB) 102956
[startup+282.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 31821
/proc/meminfo: memFree=30013168/32873844 swapFree=7108/7108
[pid=31819] ppid=31817 vsize=102956 CPUtime=282.22 cores=0,2,4,6
/proc/31819/stat : 31819 (scip-2.1.1.4exp) R 31817 31819 29021 0 -1 4202496 25404 0 0 0 28100 122 0 0 20 0 1 0 270633855 105426944 24873 33554432000 4194304 10219143 140734939196720 140734939190168 8030289 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/31819/statm: 25739 24873 808 1471 0 24259 0
Current children cumulated CPU time (s) 282.22
Current children cumulated vsize (KiB) 102956
[startup+342.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 31821
/proc/meminfo: memFree=30012304/32873844 swapFree=7108/7108
[pid=31819] ppid=31817 vsize=102956 CPUtime=342.22 cores=0,2,4,6
/proc/31819/stat : 31819 (scip-2.1.1.4exp) R 31817 31819 29021 0 -1 4202496 25404 0 0 0 34079 143 0 0 20 0 1 0 270633855 105426944 24873 33554432000 4194304 10219143 140734939196720 140734939190552 8030234 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/31819/statm: 25739 24873 808 1471 0 24259 0
Current children cumulated CPU time (s) 342.22
Current children cumulated vsize (KiB) 102956
[startup+402.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 31821
/proc/meminfo: memFree=30013668/32873844 swapFree=7108/7108
[pid=31819] ppid=31817 vsize=102956 CPUtime=402.21 cores=0,2,4,6
/proc/31819/stat : 31819 (scip-2.1.1.4exp) R 31817 31819 29021 0 -1 4202496 25404 0 0 0 40055 166 0 0 20 0 1 0 270633855 105426944 24873 33554432000 4194304 10219143 140734939196720 140734939190552 8056919 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/31819/statm: 25739 24873 808 1471 0 24259 0
Current children cumulated CPU time (s) 402.21
Current children cumulated vsize (KiB) 102956
[startup+462.3 s]
/proc/loadavg: 2.06 2.01 2.00 3/177 31821
/proc/meminfo: memFree=30012364/32873844 swapFree=7108/7108
[pid=31819] ppid=31817 vsize=102956 CPUtime=462.2 cores=0,2,4,6
/proc/31819/stat : 31819 (scip-2.1.1.4exp) R 31817 31819 29021 0 -1 4202496 25404 0 0 0 46032 188 0 0 20 0 1 0 270633855 105426944 24873 33554432000 4194304 10219143 140734939196720 140734939189976 7755618 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/31819/statm: 25739 24873 808 1471 0 24259 0
Current children cumulated CPU time (s) 462.2
Current children cumulated vsize (KiB) 102956
[startup+522.3 s]
/proc/loadavg: 2.02 2.01 2.00 3/177 31822
/proc/meminfo: memFree=30012364/32873844 swapFree=7108/7108
[pid=31819] ppid=31817 vsize=102956 CPUtime=522.17 cores=0,2,4,6
/proc/31819/stat : 31819 (scip-2.1.1.4exp) R 31817 31819 29021 0 -1 4202496 25404 0 0 0 52008 209 0 0 20 0 1 0 270633855 105426944 24873 33554432000 4194304 10219143 140734939196720 140734939189976 9026266 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/31819/statm: 25739 24873 808 1471 0 24259 0
Current children cumulated CPU time (s) 522.17
Current children cumulated vsize (KiB) 102956
[startup+582.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 31825
/proc/meminfo: memFree=30011608/32873844 swapFree=7108/7108
[pid=31819] ppid=31817 vsize=102956 CPUtime=582.17 cores=0,2,4,6
/proc/31819/stat : 31819 (scip-2.1.1.4exp) R 31817 31819 29021 0 -1 4202496 25404 0 0 0 57985 232 0 0 20 0 1 0 270633855 105426944 24873 33554432000 4194304 10219143 140734939196720 140734939190024 9026266 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/31819/statm: 25739 24873 808 1471 0 24259 0
Current children cumulated CPU time (s) 582.17
Current children cumulated vsize (KiB) 102956
[startup+642.3 s]
################
# More data... #
################
/proc/meminfo: memFree=30010752/32873844 swapFree=7108/7108
[pid=31819] ppid=31817 vsize=102956 CPUtime=1122.09 cores=0,2,4,6
/proc/31819/stat : 31819 (scip-2.1.1.4exp) R 31817 31819 29021 0 -1 4202496 25404 0 0 0 111775 434 0 0 20 0 1 0 270633855 105426944 24873 33554432000 4194304 10219143 140734939196720 140734939189976 9026266 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/31819/statm: 25739 24873 808 1471 0 24259 0
Current children cumulated CPU time (s) 1122.09
Current children cumulated vsize (KiB) 102956
[startup+1182.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 31831
/proc/meminfo: memFree=30011540/32873844 swapFree=7108/7108
[pid=31819] ppid=31817 vsize=102956 CPUtime=1182.08 cores=0,2,4,6
/proc/31819/stat : 31819 (scip-2.1.1.4exp) R 31817 31819 29021 0 -1 4202496 25404 0 0 0 117754 454 0 0 20 0 1 0 270633855 105426944 24873 33554432000 4194304 10219143 140734939196720 140734939190168 9026266 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/31819/statm: 25739 24873 808 1471 0 24259 0
Current children cumulated CPU time (s) 1182.08
Current children cumulated vsize (KiB) 102956
[startup+1242.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 31831
/proc/meminfo: memFree=30011548/32873844 swapFree=7108/7108
[pid=31819] ppid=31817 vsize=102956 CPUtime=1242.07 cores=0,2,4,6
/proc/31819/stat : 31819 (scip-2.1.1.4exp) R 31817 31819 29021 0 -1 4202496 25405 0 0 0 123729 478 0 0 20 0 1 0 270633855 105426944 24874 33554432000 4194304 10219143 140734939196720 140734939190024 9026266 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/31819/statm: 25739 24874 808 1471 0 24259 0
Current children cumulated CPU time (s) 1242.07
Current children cumulated vsize (KiB) 102956
[startup+1302.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 31831
/proc/meminfo: memFree=30011052/32873844 swapFree=7108/7108
[pid=31819] ppid=31817 vsize=102956 CPUtime=1302.06 cores=0,2,4,6
/proc/31819/stat : 31819 (scip-2.1.1.4exp) R 31817 31819 29021 0 -1 4202496 25405 0 0 0 129704 502 0 0 20 0 1 0 270633855 105426944 24874 33554432000 4194304 10219143 140734939196720 140734939190024 9026266 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/31819/statm: 25739 24874 808 1471 0 24259 0
Current children cumulated CPU time (s) 1302.06
Current children cumulated vsize (KiB) 102956
[startup+1362.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 31831
/proc/meminfo: memFree=30013780/32873844 swapFree=7108/7108
[pid=31819] ppid=31817 vsize=102956 CPUtime=1362.05 cores=0,2,4,6
/proc/31819/stat : 31819 (scip-2.1.1.4exp) R 31817 31819 29021 0 -1 4202496 25405 0 0 0 135682 523 0 0 20 0 1 0 270633855 105426944 24874 33554432000 4194304 10219143 140734939196720 140734939190072 9026266 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/31819/statm: 25739 24874 808 1471 0 24259 0
Current children cumulated CPU time (s) 1362.05
Current children cumulated vsize (KiB) 102956
[startup+1422.31 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 31831
/proc/meminfo: memFree=30011052/32873844 swapFree=7108/7108
[pid=31819] ppid=31817 vsize=102956 CPUtime=1422.05 cores=0,2,4,6
/proc/31819/stat : 31819 (scip-2.1.1.4exp) R 31817 31819 29021 0 -1 4202496 25405 0 0 0 141662 543 0 0 20 0 1 0 270633855 105426944 24874 33554432000 4194304 10219143 140734939196720 140734939190216 9026266 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/31819/statm: 25739 24874 808 1471 0 24259 0
Current children cumulated CPU time (s) 1422.05
Current children cumulated vsize (KiB) 102956
[startup+1482.3 s]
/proc/loadavg: 2.06 2.02 2.00 3/177 31832
/proc/meminfo: memFree=30013532/32873844 swapFree=7108/7108
[pid=31819] ppid=31817 vsize=102956 CPUtime=1482.04 cores=0,2,4,6
/proc/31819/stat : 31819 (scip-2.1.1.4exp) R 31817 31819 29021 0 -1 4202496 25405 0 0 0 147636 568 0 0 20 0 1 0 270633855 105426944 24874 33554432000 4194304 10219143 140734939196720 140734939190072 9026266 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/31819/statm: 25739 24874 808 1471 0 24259 0
Current children cumulated CPU time (s) 1482.04
Current children cumulated vsize (KiB) 102956
[startup+1542.3 s]
/proc/loadavg: 2.06 2.02 2.00 3/177 31870
/proc/meminfo: memFree=29648652/32873844 swapFree=7108/7108
[pid=31819] ppid=31817 vsize=102956 CPUtime=1542.02 cores=0,2,4,6
/proc/31819/stat : 31819 (scip-2.1.1.4exp) R 31817 31819 29021 0 -1 4202496 25405 0 0 0 153610 592 0 0 20 0 1 0 270633855 105426944 24874 33554432000 4194304 10219143 140734939196720 140734939190264 9026266 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/31819/statm: 25739 24874 808 1471 0 24259 0
Current children cumulated CPU time (s) 1542.02
Current children cumulated vsize (KiB) 102956
[startup+1602.3 s]
/proc/loadavg: 2.02 2.02 2.00 3/177 31870
/proc/meminfo: memFree=28645640/32873844 swapFree=7108/7108
[pid=31819] ppid=31817 vsize=102956 CPUtime=1602.01 cores=0,2,4,6
/proc/31819/stat : 31819 (scip-2.1.1.4exp) R 31817 31819 29021 0 -1 4202496 25405 0 0 0 159585 616 0 0 20 0 1 0 270633855 105426944 24874 33554432000 4194304 10219143 140734939196720 140734939189976 9026266 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/31819/statm: 25739 24874 808 1471 0 24259 0
Current children cumulated CPU time (s) 1602.01
Current children cumulated vsize (KiB) 102956
[startup+1662.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/177 31870
/proc/meminfo: memFree=28377620/32873844 swapFree=7108/7108
[pid=31819] ppid=31817 vsize=102956 CPUtime=1662 cores=0,2,4,6
/proc/31819/stat : 31819 (scip-2.1.1.4exp) R 31817 31819 29021 0 -1 4202496 25405 0 0 0 165556 644 0 0 20 0 1 0 270633855 105426944 24874 33554432000 4194304 10219143 140734939196720 140734939190216 9026266 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/31819/statm: 25739 24874 808 1471 0 24259 0
Current children cumulated CPU time (s) 1662
Current children cumulated vsize (KiB) 102956
[startup+1722.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/177 31870
/proc/meminfo: memFree=28375540/32873844 swapFree=7108/7108
[pid=31819] ppid=31817 vsize=102956 CPUtime=1722 cores=0,2,4,6
/proc/31819/stat : 31819 (scip-2.1.1.4exp) R 31817 31819 29021 0 -1 4202496 25405 0 0 0 171529 671 0 0 20 0 1 0 270633855 105426944 24874 33554432000 4194304 10219143 140734939196720 140734939190072 9026266 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/31819/statm: 25739 24874 808 1471 0 24259 0
Current children cumulated CPU time (s) 1722
Current children cumulated vsize (KiB) 102956
[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 31874
/proc/meminfo: memFree=28373328/32873844 swapFree=7108/7108
[pid=31819] ppid=31817 vsize=102956 CPUtime=1781.99 cores=0,2,4,6
/proc/31819/stat : 31819 (scip-2.1.1.4exp) R 31817 31819 29021 0 -1 4202496 25405 0 0 0 177501 698 0 0 20 0 1 0 270633855 105426944 24874 33554432000 4194304 10219143 140734939196720 140734939190264 9026266 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/31819/statm: 25739 24874 808 1471 0 24259 0
Current children cumulated CPU time (s) 1781.99
Current children cumulated vsize (KiB) 102956
Solver just ended. Dumping a history of the last processes samples
[startup+1785.5 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 31874
/proc/meminfo: memFree=28373328/32873844 swapFree=7108/7108
[pid=31819] ppid=31817 vsize=102956 CPUtime=1785.18 cores=0,2,4,6
/proc/31819/stat : 31819 (scip-2.1.1.4exp) R 31817 31819 29021 0 -1 4202496 25405 0 0 0 177819 699 0 0 20 0 1 0 270633855 105426944 24874 33554432000 4194304 10219143 140734939196720 140734939189976 9026266 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/31819/statm: 25739 24874 808 1471 0 24259 0
Current children cumulated CPU time (s) 1785.18
Current children cumulated vsize (KiB) 102956
[startup+1791.91 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 31874
/proc/meminfo: memFree=28373560/32873844 swapFree=7108/7108
[pid=31819] ppid=31817 vsize=102956 CPUtime=1791.59 cores=0,2,4,6
/proc/31819/stat : 31819 (scip-2.1.1.4exp) R 31817 31819 29021 0 -1 4202496 25405 0 0 0 178456 703 0 0 20 0 1 0 270633855 105426944 24874 33554432000 4194304 10219143 140734939196720 140734939189976 9026266 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/31819/statm: 25739 24874 808 1471 0 24259 0
Current children cumulated CPU time (s) 1791.59
Current children cumulated vsize (KiB) 102956
[startup+1795.1 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 31874
/proc/meminfo: memFree=28373684/32873844 swapFree=7108/7108
[pid=31819] ppid=31817 vsize=102956 CPUtime=1794.79 cores=0,2,4,6
/proc/31819/stat : 31819 (scip-2.1.1.4exp) R 31817 31819 29021 0 -1 4202496 25405 0 0 0 178774 705 0 0 20 0 1 0 270633855 105426944 24874 33554432000 4194304 10219143 140734939196720 140734939189432 9026266 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/31819/statm: 25739 24874 808 1471 0 24259 0
Current children cumulated CPU time (s) 1794.79
Current children cumulated vsize (KiB) 102956
[startup+1795.9 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 31874
/proc/meminfo: memFree=28373684/32873844 swapFree=7108/7108
[pid=31819] ppid=31817 vsize=102956 CPUtime=1795.58 cores=0,2,4,6
/proc/31819/stat : 31819 (scip-2.1.1.4exp) R 31817 31819 29021 0 -1 4202496 25405 0 0 0 178853 705 0 0 20 0 1 0 270633855 105426944 24874 33554432000 4194304 10219143 140734939196720 140734939190072 9026266 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/31819/statm: 25739 24874 808 1471 0 24259 0
Current children cumulated CPU time (s) 1795.58
Current children cumulated vsize (KiB) 102956
[startup+1796.7 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 31874
/proc/meminfo: memFree=28373692/32873844 swapFree=7108/7108
[pid=31819] ppid=31817 vsize=102956 CPUtime=1796.38 cores=0,2,4,6
/proc/31819/stat : 31819 (scip-2.1.1.4exp) R 31817 31819 29021 0 -1 4202496 25405 0 0 0 178933 705 0 0 20 0 1 0 270633855 105426944 24874 33554432000 4194304 10219143 140734939196720 140734939189976 9026266 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/31819/statm: 25739 24874 808 1471 0 24259 0
Current children cumulated CPU time (s) 1796.38
Current children cumulated vsize (KiB) 102956
[startup+1796.9 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 31874
/proc/meminfo: memFree=28373692/32873844 swapFree=7108/7108
[pid=31819] ppid=31817 vsize=102956 CPUtime=1796.58 cores=0,2,4,6
/proc/31819/stat : 31819 (scip-2.1.1.4exp) R 31817 31819 29021 0 -1 4202496 25405 0 0 0 178953 705 0 0 20 0 1 0 270633855 105426944 24874 33554432000 4194304 10219143 140734939196720 140734939189976 9026266 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/31819/statm: 25739 24874 808 1471 0 24259 0
Current children cumulated CPU time (s) 1796.58
Current children cumulated vsize (KiB) 102956
[startup+1797 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 31874
/proc/meminfo: memFree=28373692/32873844 swapFree=7108/7108
[pid=31819] ppid=31817 vsize=102956 CPUtime=1796.68 cores=0,2,4,6
/proc/31819/stat : 31819 (scip-2.1.1.4exp) R 31817 31819 29021 0 -1 4202496 25405 0 0 0 178963 705 0 0 20 0 1 0 270633855 105426944 24874 33554432000 4194304 10219143 140734939196720 140734939189976 9026266 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/31819/statm: 25739 24874 808 1471 0 24259 0
Current children cumulated CPU time (s) 1796.68
Current children cumulated vsize (KiB) 102956
Child status: 0
Real time (s): 1797.05
CPU time (s): 1796.74
CPU user time (s): 1789.67
CPU system time (s): 7.06293
CPU usage (%): 99.9828
Max. virtual memory (cumulated for all children) (KiB): 102956
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1789.67
system time used= 7.06293
maximum resident set size= 99532
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 25411
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= 11
involuntary context switches= 2487
runsolver used 2.78758 second user time and 7.45187 second system time
The end