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: a3bf3a4-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-3690718-1338022363.opb>
0.00/0.00 c original problem has 200 variables (200 bin, 0 int, 0 impl, 0 cont) and 302 constraints
0.00/0.00 c problem read in 0.01
0.00/0.00 c No objective function, only one solution is needed.
0.00/0.00 c presolving settings loaded
0.00/0.02 c presolving:
0.08/0.19 c (round 1) 0 del vars, 0 del conss, 0 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 301 upgd conss, 24696 impls, 200 clqs
0.29/0.35 c presolving (2 rounds):
0.29/0.35 c 0 deleted vars, 0 deleted constraints, 0 added constraints, 0 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
0.29/0.35 c 24696 implications, 200 cliques
0.29/0.35 c presolved problem has 3262 variables (3262 bin, 0 int, 0 impl, 0 cont) and 3364 constraints
0.29/0.35 c 1 constraints of type <knapsack>
0.29/0.35 c 300 constraints of type <setppc>
0.29/0.35 c 3062 constraints of type <and>
0.29/0.35 c 1 constraints of type <linear>
0.29/0.35 c transformed objective value is always integral (scale: 1)
0.29/0.35 c Presolving Time: 0.34
0.29/0.35 c - non default parameters ----------------------------------------------------------------------
0.29/0.35 c # SCIP version 2.1.1.4
0.29/0.35 c
0.29/0.35 c # maximal time in seconds to run
0.29/0.35 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.29/0.35 c limits/time = 1797
0.29/0.35 c
0.29/0.35 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.29/0.35 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.29/0.35 c limits/memory = 13950
0.29/0.35 c
0.29/0.35 c # solving stops, if the given number of solutions were found (-1: no limit)
0.29/0.35 c # [type: int, range: [-1,2147483647], default: -1]
0.29/0.35 c limits/solutions = 1
0.29/0.35 c
0.29/0.35 c # maximal number of separation rounds per node (-1: unlimited)
0.29/0.35 c # [type: int, range: [-1,2147483647], default: 5]
0.29/0.35 c separating/maxrounds = 1
0.29/0.35 c
0.29/0.35 c # maximal number of separation rounds in the root node (-1: unlimited)
0.29/0.35 c # [type: int, range: [-1,2147483647], default: -1]
0.29/0.35 c separating/maxroundsroot = 5
0.29/0.35 c
0.29/0.35 c # default clock type (1: CPU user seconds, 2: wall clock time)
0.29/0.35 c # [type: int, range: [1,2], default: 1]
0.29/0.35 c timing/clocktype = 2
0.29/0.35 c
0.29/0.35 c # belongs reading time to solving time?
0.29/0.35 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.29/0.35 c timing/reading = TRUE
0.29/0.35 c
0.29/0.35 c # should disaggregation of knapsack constraints be allowed in preprocessing?
0.29/0.35 c # [type: bool, range: {TRUE,FALSE}, default: TRUE]
0.29/0.35 c constraints/knapsack/disaggregation = FALSE
0.29/0.35 c
0.29/0.35 c # frequency for calling primal heuristic <coefdiving> (-1: never, 0: only at depth freqofs)
0.29/0.35 c # [type: int, range: [-1,2147483647], default: 10]
0.29/0.35 c heuristics/coefdiving/freq = -1
0.29/0.35 c
0.29/0.35 c # maximal fraction of diving LP iterations compared to node LP iterations
0.29/0.35 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
0.29/0.35 c heuristics/coefdiving/maxlpiterquot = 0.075
0.29/0.35 c
0.29/0.35 c # additional number of allowed LP iterations
0.29/0.35 c # [type: int, range: [0,2147483647], default: 1000]
0.29/0.35 c heuristics/coefdiving/maxlpiterofs = 1500
0.29/0.35 c
0.29/0.35 c # frequency for calling primal heuristic <crossover> (-1: never, 0: only at depth freqofs)
0.29/0.35 c # [type: int, range: [-1,2147483647], default: 30]
0.29/0.35 c heuristics/crossover/freq = -1
0.29/0.35 c
0.29/0.35 c # number of nodes added to the contingent of the total nodes
0.29/0.35 c # [type: longint, range: [0,9223372036854775807], default: 500]
0.29/0.35 c heuristics/crossover/nodesofs = 750
0.29/0.35 c
0.29/0.35 c # number of nodes without incumbent change that heuristic should wait
0.29/0.35 c # [type: longint, range: [0,9223372036854775807], default: 200]
0.29/0.35 c heuristics/crossover/nwaitingnodes = 100
0.29/0.35 c
0.29/0.35 c # contingent of sub problem nodes in relation to the number of nodes of the original problem
0.29/0.35 c # [type: real, range: [0,1], default: 0.1]
0.29/0.35 c heuristics/crossover/nodesquot = 0.15
0.29/0.35 c
0.29/0.35 c # minimum percentage of integer variables that have to be fixed
0.29/0.35 c # [type: real, range: [0,1], default: 0.666]
0.29/0.35 c heuristics/crossover/minfixingrate = 0.5
0.29/0.35 c
0.29/0.35 c # frequency for calling primal heuristic <feaspump> (-1: never, 0: only at depth freqofs)
0.29/0.35 c # [type: int, range: [-1,2147483647], default: 20]
0.29/0.35 c heuristics/feaspump/freq = -1
0.29/0.35 c
0.29/0.35 c # additional number of allowed LP iterations
0.29/0.35 c # [type: int, range: [0,2147483647], default: 1000]
0.29/0.35 c heuristics/feaspump/maxlpiterofs = 2000
0.29/0.35 c
0.29/0.35 c # frequency for calling primal heuristic <fracdiving> (-1: never, 0: only at depth freqofs)
0.29/0.35 c # [type: int, range: [-1,2147483647], default: 10]
0.29/0.35 c heuristics/fracdiving/freq = -1
0.29/0.35 c
0.29/0.35 c # maximal fraction of diving LP iterations compared to node LP iterations
0.29/0.35 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
0.29/0.35 c heuristics/fracdiving/maxlpiterquot = 0.075
0.29/0.35 c
0.29/0.35 c # additional number of allowed LP iterations
0.29/0.35 c # [type: int, range: [0,2147483647], default: 1000]
0.29/0.35 c heuristics/fracdiving/maxlpiterofs = 1500
0.29/0.35 c
0.29/0.35 c # frequency for calling primal heuristic <guideddiving> (-1: never, 0: only at depth freqofs)
0.29/0.35 c # [type: int, range: [-1,2147483647], default: 10]
0.29/0.35 c heuristics/guideddiving/freq = -1
0.29/0.35 c
0.29/0.35 c # maximal fraction of diving LP iterations compared to node LP iterations
0.29/0.35 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
0.29/0.35 c heuristics/guideddiving/maxlpiterquot = 0.075
0.29/0.35 c
0.29/0.35 c # additional number of allowed LP iterations
0.29/0.35 c # [type: int, range: [0,2147483647], default: 1000]
0.29/0.35 c heuristics/guideddiving/maxlpiterofs = 1500
0.29/0.35 c
0.29/0.35 c # maximal fraction of diving LP iterations compared to node LP iterations
0.29/0.35 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
0.29/0.35 c heuristics/intdiving/maxlpiterquot = 0.075
0.29/0.35 c
0.29/0.35 c # frequency for calling primal heuristic <intshifting> (-1: never, 0: only at depth freqofs)
0.29/0.35 c # [type: int, range: [-1,2147483647], default: 10]
0.29/0.35 c heuristics/intshifting/freq = -1
0.29/0.35 c
0.29/0.35 c # frequency for calling primal heuristic <linesearchdiving> (-1: never, 0: only at depth freqofs)
0.29/0.35 c # [type: int, range: [-1,2147483647], default: 10]
0.29/0.35 c heuristics/linesearchdiving/freq = -1
0.29/0.35 c
0.29/0.35 c # maximal fraction of diving LP iterations compared to node LP iterations
0.29/0.35 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
0.29/0.35 c heuristics/linesearchdiving/maxlpiterquot = 0.075
0.29/0.35 c
0.29/0.35 c # additional number of allowed LP iterations
0.29/0.35 c # [type: int, range: [0,2147483647], default: 1000]
0.29/0.35 c heuristics/linesearchdiving/maxlpiterofs = 1500
0.29/0.35 c
0.29/0.35 c # frequency for calling primal heuristic <objpscostdiving> (-1: never, 0: only at depth freqofs)
0.29/0.35 c # [type: int, range: [-1,2147483647], default: 20]
0.29/0.35 c heuristics/objpscostdiving/freq = -1
0.29/0.35 c
0.29/0.35 c # maximal fraction of diving LP iterations compared to total iteration number
0.29/0.35 c # [type: real, range: [0,1], default: 0.01]
0.29/0.35 c heuristics/objpscostdiving/maxlpiterquot = 0.015
0.29/0.35 c
0.29/0.35 c # additional number of allowed LP iterations
0.29/0.35 c # [type: int, range: [0,2147483647], default: 1000]
0.29/0.35 c heuristics/objpscostdiving/maxlpiterofs = 1500
0.29/0.35 c
0.29/0.35 c # frequency for calling primal heuristic <oneopt> (-1: never, 0: only at depth freqofs)
0.29/0.35 c # [type: int, range: [-1,2147483647], default: 1]
0.29/0.35 c heuristics/oneopt/freq = -1
0.29/0.35 c
0.29/0.35 c # frequency for calling primal heuristic <pscostdiving> (-1: never, 0: only at depth freqofs)
0.29/0.35 c # [type: int, range: [-1,2147483647], default: 10]
0.29/0.35 c heuristics/pscostdiving/freq = -1
0.29/0.35 c
0.29/0.35 c # maximal fraction of diving LP iterations compared to node LP iterations
0.29/0.35 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
0.29/0.35 c heuristics/pscostdiving/maxlpiterquot = 0.075
0.29/0.35 c
0.29/0.35 c # additional number of allowed LP iterations
0.29/0.35 c # [type: int, range: [0,2147483647], default: 1000]
0.29/0.35 c heuristics/pscostdiving/maxlpiterofs = 1500
0.29/0.35 c
0.29/0.35 c # frequency for calling primal heuristic <rens> (-1: never, 0: only at depth freqofs)
0.29/0.35 c # [type: int, range: [-1,2147483647], default: 0]
0.29/0.35 c heuristics/rens/freq = -1
0.29/0.35 c
0.29/0.35 c # minimum percentage of integer variables that have to be fixable
0.29/0.35 c # [type: real, range: [0,1], default: 0.5]
0.29/0.35 c heuristics/rens/minfixingrate = 0.3
0.29/0.35 c
0.29/0.35 c # number of nodes added to the contingent of the total nodes
0.29/0.35 c # [type: longint, range: [0,9223372036854775807], default: 500]
0.29/0.35 c heuristics/rens/nodesofs = 2000
0.29/0.35 c
0.29/0.35 c # frequency for calling primal heuristic <rootsoldiving> (-1: never, 0: only at depth freqofs)
0.29/0.35 c # [type: int, range: [-1,2147483647], default: 20]
0.29/0.35 c heuristics/rootsoldiving/freq = -1
0.29/0.35 c
0.29/0.35 c # maximal fraction of diving LP iterations compared to node LP iterations
0.29/0.35 c # [type: real, range: [0,1.79769313486232e+308], default: 0.01]
0.29/0.35 c heuristics/rootsoldiving/maxlpiterquot = 0.015
0.29/0.35 c
0.29/0.35 c # additional number of allowed LP iterations
0.29/0.35 c # [type: int, range: [0,2147483647], default: 1000]
0.29/0.35 c heuristics/rootsoldiving/maxlpiterofs = 1500
0.29/0.35 c
0.29/0.35 c # frequency for calling primal heuristic <rounding> (-1: never, 0: only at depth freqofs)
0.29/0.35 c # [type: int, range: [-1,2147483647], default: 1]
0.29/0.35 c heuristics/rounding/freq = -1
0.29/0.35 c
0.29/0.35 c # frequency for calling primal heuristic <shiftandpropagate> (-1: never, 0: only at depth freqofs)
0.29/0.35 c # [type: int, range: [-1,2147483647], default: 0]
0.29/0.35 c heuristics/shiftandpropagate/freq = -1
0.29/0.35 c
0.29/0.35 c # frequency for calling primal heuristic <shifting> (-1: never, 0: only at depth freqofs)
0.29/0.35 c # [type: int, range: [-1,2147483647], default: 10]
0.29/0.35 c heuristics/shifting/freq = -1
0.29/0.35 c
0.29/0.35 c # frequency for calling primal heuristic <simplerounding> (-1: never, 0: only at depth freqofs)
0.29/0.35 c # [type: int, range: [-1,2147483647], default: 1]
0.29/0.35 c heuristics/simplerounding/freq = -1
0.29/0.35 c
0.29/0.35 c # frequency for calling primal heuristic <subnlp> (-1: never, 0: only at depth freqofs)
0.29/0.35 c # [type: int, range: [-1,2147483647], default: 1]
0.29/0.35 c heuristics/subnlp/freq = -1
0.29/0.35 c
0.29/0.35 c # frequency for calling primal heuristic <trivial> (-1: never, 0: only at depth freqofs)
0.29/0.35 c # [type: int, range: [-1,2147483647], default: 0]
0.29/0.35 c heuristics/trivial/freq = -1
0.29/0.35 c
0.29/0.35 c # frequency for calling primal heuristic <trysol> (-1: never, 0: only at depth freqofs)
0.29/0.35 c # [type: int, range: [-1,2147483647], default: 1]
0.29/0.35 c heuristics/trysol/freq = -1
0.29/0.35 c
0.29/0.35 c # frequency for calling primal heuristic <undercover> (-1: never, 0: only at depth freqofs)
0.29/0.35 c # [type: int, range: [-1,2147483647], default: 0]
0.29/0.35 c heuristics/undercover/freq = -1
0.29/0.35 c
0.29/0.35 c # frequency for calling primal heuristic <veclendiving> (-1: never, 0: only at depth freqofs)
0.29/0.35 c # [type: int, range: [-1,2147483647], default: 10]
0.29/0.35 c heuristics/veclendiving/freq = -1
0.29/0.35 c
0.29/0.35 c # maximal fraction of diving LP iterations compared to node LP iterations
0.29/0.35 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
0.29/0.35 c heuristics/veclendiving/maxlpiterquot = 0.075
0.29/0.35 c
0.29/0.35 c # additional number of allowed LP iterations
0.29/0.35 c # [type: int, range: [0,2147483647], default: 1000]
0.29/0.35 c heuristics/veclendiving/maxlpiterofs = 1500
0.29/0.35 c
0.29/0.35 c # frequency for calling primal heuristic <zirounding> (-1: never, 0: only at depth freqofs)
0.29/0.35 c # [type: int, range: [-1,2147483647], default: 1]
0.29/0.35 c heuristics/zirounding/freq = -1
0.29/0.35 c
0.29/0.35 c # maximal number of presolving rounds the propagator participates in (-1: no limit)
0.29/0.35 c # [type: int, range: [-1,2147483647], default: -1]
0.29/0.35 c propagating/probing/maxprerounds = 0
0.29/0.35 c
0.29/0.35 c # frequency for calling separator <cmir> (-1: never, 0: only in root node)
0.29/0.35 c # [type: int, range: [-1,2147483647], default: 0]
0.29/0.35 c separating/cmir/freq = -1
0.29/0.35 c
0.29/0.35 c # frequency for calling separator <flowcover> (-1: never, 0: only in root node)
0.29/0.35 c # [type: int, range: [-1,2147483647], default: 0]
0.29/0.35 c separating/flowcover/freq = -1
0.29/0.35 c
0.29/0.35 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
0.29/0.35 c # [type: int, range: [-1,2147483647], default: -1]
0.29/0.35 c separating/rapidlearning/freq = 0
0.29/0.35 c
0.29/0.35 c # frequency for calling primal heuristic <indoneopt> (-1: never, 0: only at depth freqofs)
0.29/0.35 c # [type: int, range: [-1,2147483647], default: 1]
0.29/0.35 c heuristics/indoneopt/freq = -1
0.29/0.35 c
0.29/0.35 c -----------------------------------------------------------------------------------------------
0.29/0.35 c start solving
0.29/0.35 c
1.29/1.39 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1.29/1.39 c 1.4s| 1 | 0 | 2722 | - | 14M| 0 |1303 |3262 |3364 |3262 |6426 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
3.49/3.55 c 3.6s| 1 | 0 | 2993 | - | 15M| 0 |1247 |3262 |3891 |3262 |6473 | 47 | 0 | 0 | 0.000000e+00 | -- | Inf
4.29/4.36 c 4.4s| 1 | 0 | 3377 | - | 15M| 0 |1173 |3262 |3891 |3262 |6490 | 64 | 0 | 0 | 0.000000e+00 | -- | Inf
5.09/5.12 c 5.1s| 1 | 0 | 3612 | - | 15M| 0 |1150 |3262 |3891 |3262 |6501 | 75 | 0 | 0 | 0.000000e+00 | -- | Inf
5.99/6.04 c 6.0s| 1 | 0 | 4235 | - | 15M| 0 |1109 |3262 |3891 |3262 |6507 | 81 | 0 | 0 | 0.000000e+00 | -- | Inf
9.08/9.16 c 9.2s| 1 | 0 | 4868 | - | 16M| 0 |1075 |3262 |3891 |3262 |6521 | 95 | 0 | 0 | 0.000000e+00 | -- | Inf
9.18/9.22 c 9.2s| 1 | 0 | 4943 | - | 16M| 0 |1092 |3262 |3891 |3262 |6527 | 101 | 0 | 0 | 0.000000e+00 | -- | Inf
12.69/12.73 c 12.7s| 1 | 2 | 4943 | - | 16M| 0 |1092 |3262 |3891 |3262 |6527 | 101 | 0 | 9 | 0.000000e+00 | -- | Inf
121.45/121.58 c 122s| 100 | 8 |270987 |2687.3 | 16M| 11 | - |3262 |3878 |3262 |1957 |9201 | 42 | 372 | 0.000000e+00 | -- | Inf
222.24/222.39 c 222s| 200 | 4 |599752 |2989.0 | 17M| 21 |1333 |3262 |3955 |3262 |2658 | 16k| 119 | 517 | 0.000000e+00 | -- | Inf
314.43/314.59 c
314.43/314.59 c SCIP Status : problem is solved [infeasible]
314.43/314.59 c Solving Time (sec) : 314.59
314.43/314.59 c Solving Nodes : 288
314.43/314.59 c Primal Bound : +1.00000000000000e+20 (0 solutions)
314.43/314.59 c Dual Bound : +1.00000000000000e+20
314.43/314.59 c Gap : 0.00 %
314.43/314.59 s UNSATISFIABLE
314.43/314.59 c SCIP Status : problem is solved [infeasible]
314.43/314.59 c Total Time : 314.59
314.43/314.59 c solving : 314.59
314.43/314.59 c presolving : 0.34 (included in solving)
314.43/314.59 c reading : 0.01 (included in solving)
314.43/314.59 c copying : 0.01 (1 #copies) (minimal 0.01, maximal 0.01, average 0.01)
314.43/314.59 c Original Problem :
314.43/314.59 c Problem name : HOME/instance-3690718-1338022363.opb
314.43/314.59 c Variables : 200 (200 binary, 0 integer, 0 implicit integer, 0 continuous)
314.43/314.59 c Constraints : 302 initial, 302 maximal
314.43/314.59 c Objective sense : minimize
314.43/314.59 c Presolved Problem :
314.43/314.59 c Problem name : t_HOME/instance-3690718-1338022363.opb
314.43/314.59 c Variables : 3262 (3262 binary, 0 integer, 0 implicit integer, 0 continuous)
314.43/314.59 c Constraints : 3364 initial, 4018 maximal
314.43/314.59 c Presolvers : ExecTime SetupTime FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons AddCons ChgSides ChgCoefs
314.43/314.59 c domcol : 0.00 0.00 0 0 0 0 0 0 0 0 0
314.43/314.59 c trivial : 0.00 0.00 0 0 0 0 0 0 0 0 0
314.43/314.59 c dualfix : 0.00 0.00 0 0 0 0 0 0 0 0 0
314.43/314.59 c boundshift : 0.00 0.00 0 0 0 0 0 0 0 0 0
314.43/314.59 c inttobinary : 0.00 0.00 0 0 0 0 0 0 0 0 0
314.43/314.59 c convertinttobin : 0.00 0.00 0 0 0 0 0 0 0 0 0
314.43/314.59 c gateextraction : 0.00 0.00 0 0 0 0 0 0 0 0 0
314.43/314.59 c implics : 0.00 0.00 0 0 0 0 0 0 0 0 0
314.43/314.59 c components : 0.00 0.00 0 0 0 0 0 0 0 0 0
314.43/314.59 c pseudoobj : 0.00 0.00 0 0 0 0 0 0 0 0 0
314.43/314.59 c probing : 0.00 0.00 0 0 0 0 0 0 0 0 0
314.43/314.59 c knapsack : 0.00 0.00 0 0 0 0 0 0 0 0 0
314.43/314.59 c setppc : 0.00 0.00 0 0 0 0 0 0 0 0 0
314.43/314.59 c and : 0.31 0.00 0 0 0 0 0 0 0 0 0
314.43/314.59 c linear : 0.01 0.00 0 0 0 0 0 0 0 0 0
314.43/314.59 c logicor : 0.00 0.00 0 0 0 0 0 0 0 0 0
314.43/314.59 c root node : - - 33 - - 33 - - - - -
314.43/314.59 c Constraints : Number MaxNumber #Separate #Propagate #EnfoLP #EnfoPS #Check #ResProp Cutoffs DomReds Cuts Conss Children
314.43/314.59 c integral : 0 0 0 0 153 0 1 0 1 16 0 0 296
314.43/314.59 c knapsack : 1 1 5 1368 0 0 0 0 0 0 0 0 0
314.43/314.59 c setppc : 300 300 5 1368 0 0 0 191 0 256 0 0 0
314.43/314.59 c and : 3062 3062 238 1368 0 0 0 145 0 12583 110951 0 0
314.43/314.59 c linear : 1+ 528 6 1368 0 0 0 0 0 3 0 0 0
314.43/314.59 c logicor : 0+ 172 0 203 0 0 0 1145 0 129 0 0 0
314.43/314.59 c countsols : 0 0 0 0 0 0 0 0 0 0 0 0 0
314.43/314.59 c Constraint Timings : TotalTime SetupTime Separate Propagate EnfoLP EnfoPS Check ResProp
314.43/314.59 c integral : 112.32 0.00 0.00 0.00 112.32 0.00 0.00 0.00
314.43/314.59 c knapsack : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
314.43/314.59 c setppc : 0.01 0.00 0.00 0.01 0.00 0.00 0.00 0.00
314.43/314.59 c and : 0.27 0.00 0.20 0.07 0.00 0.00 0.00 0.00
314.43/314.59 c linear : 0.01 0.00 0.00 0.01 0.00 0.00 0.00 0.00
314.43/314.59 c logicor : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
314.43/314.59 c countsols : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
314.43/314.59 c Propagators : #Propagate #ResProp Cutoffs DomReds
314.43/314.59 c rootredcost : 0 0 0 0
314.43/314.59 c pseudoobj : 0 0 0 0
314.43/314.59 c vbounds : 0 0 0 0
314.43/314.59 c redcost : 392 0 0 0
314.43/314.59 c probing : 0 0 0 0
314.43/314.59 c Propagator Timings : TotalTime SetupTime Presolve Propagate ResProp
314.43/314.59 c rootredcost : 0.00 0.00 0.00 0.00 0.00
314.43/314.59 c pseudoobj : 0.00 0.00 0.00 0.00 0.00
314.43/314.59 c vbounds : 0.00 0.00 0.00 0.00 0.00
314.43/314.59 c redcost : 0.02 0.00 0.00 0.02 0.00
314.43/314.59 c probing : 0.00 0.00 0.00 0.00 0.00
314.43/314.59 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
314.43/314.59 c propagation : 0.00 0 0 0 0.0 0 0.0 -
314.43/314.59 c infeasible LP : 0.07 139 134 486 11.4 0 0.0 0
314.43/314.59 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
314.43/314.59 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
314.43/314.59 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 -
314.43/314.59 c applied globally : - - - 182 9.4 - - -
314.43/314.59 c applied locally : - - - 0 0.0 - - -
314.43/314.59 c Separators : ExecTime SetupTime Calls Cutoffs DomReds Cuts Conss
314.43/314.59 c cut pool : 0.00 4 - - 0 - (maximal pool size: 117)
314.43/314.59 c closecuts : 0.00 0.00 0 0 0 0 0
314.43/314.59 c impliedbounds : 0.00 0.00 5 0 0 92 0
314.43/314.59 c intobj : 0.00 0.00 0 0 0 0 0
314.43/314.59 c gomory : 1.91 0.00 5 0 0 0 0
314.43/314.59 c cgmip : 0.00 0.00 0 0 0 0 0
314.43/314.59 c strongcg : 3.22 0.00 5 0 0 37 0
314.43/314.59 c cmir : 0.00 0.00 0 0 0 0 0
314.43/314.59 c flowcover : 0.00 0.00 0 0 0 0 0
314.43/314.59 c clique : 0.21 0.00 5 0 0 36 0
314.43/314.59 c zerohalf : 0.00 0.00 0 0 0 0 0
314.43/314.59 c mcf : 0.07 0.00 5 0 0 68 0
314.43/314.59 c oddcycle : 0.00 0.00 0 0 0 0 0
314.43/314.59 c rapidlearning : 1.41 0.00 1 0 0 0 527
314.43/314.59 c Pricers : ExecTime SetupTime Calls Vars
314.43/314.59 c problem variables: 0.00 - 0 0
314.43/314.59 c Branching Rules : ExecTime SetupTime Calls Cutoffs DomReds Cuts Conss Children
314.43/314.59 c relpscost : 112.32 0.00 153 1 16 0 0 296
314.43/314.59 c pscost : 0.00 0.00 0 0 0 0 0 0
314.43/314.59 c inference : 0.00 0.00 0 0 0 0 0 0
314.43/314.59 c mostinf : 0.00 0.00 0 0 0 0 0 0
314.43/314.59 c leastinf : 0.00 0.00 0 0 0 0 0 0
314.43/314.59 c fullstrong : 0.00 0.00 0 0 0 0 0 0
314.43/314.59 c allfullstrong : 0.00 0.00 0 0 0 0 0 0
314.43/314.59 c random : 0.00 0.00 0 0 0 0 0 0
314.43/314.59 c Primal Heuristics : ExecTime SetupTime Calls Found
314.43/314.59 c LP solutions : 0.00 - - 0
314.43/314.59 c pseudo solutions : 0.00 - - 0
314.43/314.59 c smallcard : 0.00 0.00 0 0
314.43/314.59 c trivial : 0.00 0.00 1 0
314.43/314.59 c shiftandpropagate: 0.00 0.00 0 0
314.43/314.59 c simplerounding : 0.00 0.00 0 0
314.43/314.59 c zirounding : 0.00 0.00 0 0
314.43/314.59 c rounding : 0.00 0.00 0 0
314.43/314.59 c shifting : 0.00 0.00 0 0
314.43/314.59 c intshifting : 0.00 0.00 0 0
314.43/314.59 c oneopt : 0.00 0.00 0 0
314.43/314.59 c twoopt : 0.00 0.00 0 0
314.43/314.59 c indtwoopt : 0.00 0.00 0 0
314.43/314.59 c indoneopt : 0.00 0.00 0 0
314.43/314.59 c fixandinfer : 0.00 0.00 0 0
314.43/314.59 c feaspump : 0.00 0.00 0 0
314.43/314.59 c clique : 0.00 0.00 0 0
314.43/314.59 c indrounding : 0.00 0.00 0 0
314.43/314.59 c indcoefdiving : 0.00 0.00 0 0
314.43/314.59 c coefdiving : 0.00 0.00 0 0
314.43/314.59 c pscostdiving : 0.00 0.00 0 0
314.43/314.59 c nlpdiving : 0.00 0.00 0 0
314.43/314.59 c fracdiving : 0.00 0.00 0 0
314.43/314.59 c veclendiving : 0.00 0.00 0 0
314.43/314.59 c intdiving : 0.00 0.00 0 0
314.43/314.59 c actconsdiving : 0.00 0.00 0 0
314.43/314.59 c objpscostdiving : 0.00 0.00 0 0
314.43/314.59 c rootsoldiving : 0.00 0.00 0 0
314.43/314.59 c linesearchdiving : 0.00 0.00 0 0
314.43/314.59 c guideddiving : 0.00 0.00 0 0
314.43/314.59 c octane : 0.00 0.00 0 0
314.43/314.59 c rens : 0.00 0.00 0 0
314.43/314.59 c rins : 0.00 0.00 0 0
314.43/314.59 c localbranching : 0.00 0.00 0 0
314.43/314.59 c mutation : 0.00 0.00 0 0
314.43/314.59 c crossover : 0.00 0.00 0 0
314.43/314.59 c dins : 0.00 0.00 0 0
314.43/314.59 c vbounds : 0.00 0.00 0 0
314.43/314.59 c undercover : 0.00 0.00 0 0
314.43/314.59 c subnlp : 0.00 0.00 0 0
314.43/314.59 c trysol : 0.00 0.00 0 0
314.43/314.59 c LP : Time Calls Iterations Iter/call Iter/sec Time-0-It Calls-0-It
314.43/314.59 c primal LP : 0.60 147 0 0.00 0.00 0.60 147
314.43/314.59 c dual LP : 193.21 531 894672 1684.88 4630.62 0.00 0
314.43/314.59 c lex dual LP : 0.00 0 0 0.00 -
314.43/314.59 c barrier LP : 0.00 0 0 0.00 - 0.00 0
314.43/314.59 c diving/probing LP: 0.00 0 0 0.00 -
314.43/314.59 c strong branching : 112.30 604 430724 713.12 3835.56
314.43/314.59 c (at root node) : - 9 7643 849.22 -
314.43/314.59 c conflict analysis: 0.00 0 0 0.00 -
314.43/314.59 c B&B Tree :
314.43/314.59 c number of runs : 1
314.43/314.59 c nodes : 288
314.43/314.59 c nodes (total) : 288
314.43/314.59 c nodes left : 0
314.43/314.59 c max depth : 42
314.43/314.59 c max depth (total): 42
314.43/314.59 c backtracks : 101 (35.1%)
314.43/314.59 c delayed cutoffs : 9
314.43/314.59 c repropagations : 689 (3891 domain reductions, 8 cutoffs)
314.43/314.59 c avg switch length: 6.65
314.43/314.59 c switching time : 0.68
314.43/314.59 c Solution :
314.43/314.59 c Solutions found : 0 (0 improvements)
314.43/314.59 c Primal Bound : infeasible
314.43/314.59 c Dual Bound : -
314.43/314.59 c Gap : 0.00 %
314.43/314.59 c Root Dual Bound : +0.00000000000000e+00
314.43/314.59 c Root Iterations : 4943
314.53/314.61 c Time complete: 314.55.
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-3690718-1338022363/watcher-3690718-1338022363 -o /tmp/evaluation-result-3690718-1338022363/solver-3690718-1338022363 -C 1800 -W 1900 -M 15500 HOME/scip-2.1.1.4fix.linux.x86_64.gnu.opt.spx -f HOME/instance-3690718-1338022363.opb -t 1800 -m 15500
running on 4 cores: 0,2,4,6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 1.93 1.98 1.94 3/174 30077
/proc/meminfo: memFree=28192476/32873844 swapFree=6080/6080
[pid=30077] ppid=30075 vsize=10224 CPUtime=0 cores=0,2,4,6
/proc/30077/stat : 30077 (scip-2.1.1.4fix) R 30075 30077 29432 0 -1 4202496 1293 0 0 0 0 0 0 0 20 0 1 0 268364772 10469376 1249 33554432000 4194304 10173063 140736713783488 140734568149928 8800002 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/30077/statm: 2556 1250 414 1460 0 1087 0
[startup+0.0362961 s]
/proc/loadavg: 1.93 1.98 1.94 3/174 30077
/proc/meminfo: memFree=28192476/32873844 swapFree=6080/6080
[pid=30077] ppid=30075 vsize=23816 CPUtime=0.03 cores=0,2,4,6
/proc/30077/stat : 30077 (scip-2.1.1.4fix) R 30075 30077 29432 0 -1 4202496 4481 0 0 0 2 1 0 0 20 0 1 0 268364772 24387584 4436 33554432000 4194304 10173063 140736713783488 140734568149928 8963895 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/30077/statm: 5954 4436 548 1460 0 4485 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 23816
[startup+0.100337 s]
/proc/loadavg: 1.93 1.98 1.94 3/174 30077
/proc/meminfo: memFree=28192476/32873844 swapFree=6080/6080
[pid=30077] ppid=30075 vsize=23816 CPUtime=0.08 cores=0,2,4,6
/proc/30077/stat : 30077 (scip-2.1.1.4fix) R 30075 30077 29432 0 -1 4202496 4770 0 0 0 2 6 0 0 20 0 1 0 268364772 24387584 4468 33554432000 4194304 10173063 140736713783488 140734568149928 8963895 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/30077/statm: 5954 4468 548 1460 0 4485 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 23816
[startup+0.300301 s]
/proc/loadavg: 1.93 1.98 1.94 3/174 30077
/proc/meminfo: memFree=28192476/32873844 swapFree=6080/6080
[pid=30077] ppid=30075 vsize=27312 CPUtime=0.29 cores=0,2,4,6
/proc/30077/stat : 30077 (scip-2.1.1.4fix) R 30075 30077 29432 0 -1 4202496 5672 0 0 0 6 23 0 0 20 0 1 0 268364772 27967488 5370 33554432000 4194304 10173063 140736713783488 140734568149928 8963895 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/30077/statm: 6828 5370 592 1460 0 5359 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 27312
[startup+0.700287 s]
/proc/loadavg: 1.93 1.98 1.94 3/174 30077
/proc/meminfo: memFree=28192476/32873844 swapFree=6080/6080
[pid=30077] ppid=30075 vsize=43444 CPUtime=0.69 cores=0,2,4,6
/proc/30077/stat : 30077 (scip-2.1.1.4fix) R 30075 30077 29432 0 -1 4202496 10327 0 0 0 40 29 0 0 20 0 1 0 268364772 44486656 9576 33554432000 4194304 10173063 140736713783488 140734568149928 8982074 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/30077/statm: 10861 9576 747 1460 0 9392 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 43444
[startup+1.50032 s]
/proc/loadavg: 1.93 1.98 1.94 3/175 30078
/proc/meminfo: memFree=28156260/32873844 swapFree=6080/6080
[pid=30077] ppid=30075 vsize=43852 CPUtime=1.49 cores=0,2,4,6
/proc/30077/stat : 30077 (scip-2.1.1.4fix) R 30075 30077 29432 0 -1 4202496 10652 0 0 0 120 29 0 0 20 0 1 0 268364772 44904448 9790 33554432000 4194304 10173063 140736713783488 140736713776744 8982074 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/30077/statm: 10963 9790 774 1460 0 9494 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 43852
[startup+3.10031 s]
/proc/loadavg: 1.93 1.98 1.94 3/175 30078
/proc/meminfo: memFree=28137164/32873844 swapFree=6080/6080
[pid=30077] ppid=30075 vsize=72660 CPUtime=3.09 cores=0,2,4,6
/proc/30077/stat : 30077 (scip-2.1.1.4fix) R 30075 30077 29432 0 -1 4202496 17563 0 0 0 262 47 0 0 20 0 1 0 268364772 74403840 16701 33554432000 4194304 10173063 140736713783488 140736713777960 8963895 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/30077/statm: 18165 16701 817 1460 0 16696 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 72660
[startup+6.30028 s]
/proc/loadavg: 1.94 1.98 1.94 3/175 30078
/proc/meminfo: memFree=28123028/32873844 swapFree=6080/6080
[pid=30077] ppid=30075 vsize=77948 CPUtime=6.29 cores=0,2,4,6
/proc/30077/stat : 30077 (scip-2.1.1.4fix) R 30075 30077 29432 0 -1 4202496 18894 0 0 0 572 57 0 0 20 0 1 0 268364772 79818752 18032 33554432000 4194304 10173063 140736713783488 140736713776840 5023586 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/30077/statm: 19487 18032 838 1460 0 18018 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 77948
[startup+12.7003 s]
/proc/loadavg: 1.94 1.98 1.94 3/175 30078
/proc/meminfo: memFree=28122284/32873844 swapFree=6080/6080
[pid=30077] ppid=30075 vsize=77948 CPUtime=12.69 cores=0,2,4,6
/proc/30077/stat : 30077 (scip-2.1.1.4fix) R 30075 30077 29432 0 -1 4202496 18899 0 0 0 1209 60 0 0 20 0 1 0 268364772 79818752 18037 33554432000 4194304 10173063 140736713783488 140736713776936 8982074 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/30077/statm: 19487 18037 843 1460 0 18018 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 77948
[startup+25.5003 s]
/proc/loadavg: 1.95 1.98 1.94 3/175 30078
/proc/meminfo: memFree=28120532/32873844 swapFree=6080/6080
[pid=30077] ppid=30075 vsize=77948 CPUtime=25.49 cores=0,2,4,6
/proc/30077/stat : 30077 (scip-2.1.1.4fix) R 30075 30077 29432 0 -1 4202496 18906 0 0 0 2484 65 0 0 20 0 1 0 268364772 79818752 18044 33554432000 4194304 10173063 140736713783488 140736713776936 8062352 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/30077/statm: 19487 18044 847 1460 0 18018 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 77948
[startup+51.1003 s]
/proc/loadavg: 1.97 1.98 1.94 3/175 30078
/proc/meminfo: memFree=28119348/32873844 swapFree=6080/6080
[pid=30077] ppid=30075 vsize=77948 CPUtime=51.08 cores=0,2,4,6
/proc/30077/stat : 30077 (scip-2.1.1.4fix) R 30075 30077 29432 0 -1 4202496 18907 0 0 0 5035 73 0 0 20 0 1 0 268364772 79818752 18045 33554432000 4194304 10173063 140736713783488 140736713777320 8012208 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/30077/statm: 19487 18045 848 1460 0 18018 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 77948
[startup+102.306 s]
/proc/loadavg: 1.98 1.98 1.94 3/175 30078
/proc/meminfo: memFree=28113272/32873844 swapFree=6080/6080
[pid=30077] ppid=30075 vsize=77948 CPUtime=102.26 cores=0,2,4,6
/proc/30077/stat : 30077 (scip-2.1.1.4fix) R 30075 30077 29432 0 -1 4202496 18918 0 0 0 10136 90 0 0 20 0 1 0 268364772 79818752 18714 33554432000 4194304 10173063 140736713783488 140736713776744 8982074 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/30077/statm: 19487 18714 849 1460 0 18018 0
Current children cumulated CPU time (s) 102.26
Current children cumulated vsize (KiB) 77948
[startup+162.3 s]
/proc/loadavg: 1.99 1.98 1.94 3/175 30078
/proc/meminfo: memFree=28109552/32873844 swapFree=6080/6080
[pid=30077] ppid=30075 vsize=77948 CPUtime=162.25 cores=0,2,4,6
/proc/30077/stat : 30077 (scip-2.1.1.4fix) R 30075 30077 29432 0 -1 4202496 18918 0 0 0 16114 111 0 0 20 0 1 0 268364772 79818752 18714 33554432000 4194304 10173063 140736713783488 140736713776936 8982074 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/30077/statm: 19487 18714 849 1460 0 18018 0
Current children cumulated CPU time (s) 162.25
Current children cumulated vsize (KiB) 77948
[startup+222.3 s]
/proc/loadavg: 2.04 2.00 1.94 3/175 30078
/proc/meminfo: memFree=28103848/32873844 swapFree=6080/6080
[pid=30077] ppid=30075 vsize=77948 CPUtime=222.24 cores=0,2,4,6
/proc/30077/stat : 30077 (scip-2.1.1.4fix) R 30075 30077 29432 0 -1 4202496 18919 0 0 0 22093 131 0 0 20 0 1 0 268364772 79818752 18715 33554432000 4194304 10173063 140736713783488 140736713776744 8982074 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/30077/statm: 19487 18715 849 1460 0 18018 0
Current children cumulated CPU time (s) 222.24
Current children cumulated vsize (KiB) 77948
[startup+282.3 s]
/proc/loadavg: 2.01 2.00 1.94 3/175 30079
/proc/meminfo: memFree=28098808/32873844 swapFree=6080/6080
[pid=30077] ppid=30075 vsize=77948 CPUtime=282.24 cores=0,2,4,6
/proc/30077/stat : 30077 (scip-2.1.1.4fix) R 30075 30077 29432 0 -1 4202496 18919 0 0 0 28075 149 0 0 20 0 1 0 268364772 79818752 18715 33554432000 4194304 10173063 140736713783488 140736713776744 8055041 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/30077/statm: 19487 18715 849 1460 0 18018 0
Current children cumulated CPU time (s) 282.24
Current children cumulated vsize (KiB) 77948
Solver just ended. Dumping a history of the last processes samples
[startup+294.3 s]
/proc/loadavg: 2.01 2.00 1.94 3/175 30079
/proc/meminfo: memFree=28098684/32873844 swapFree=6080/6080
[pid=30077] ppid=30075 vsize=77948 CPUtime=294.24 cores=0,2,4,6
/proc/30077/stat : 30077 (scip-2.1.1.4fix) R 30075 30077 29432 0 -1 4202496 18919 0 0 0 29271 153 0 0 20 0 1 0 268364772 79818752 18715 33554432000 4194304 10173063 140736713783488 140736713776840 7986142 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/30077/statm: 19487 18715 849 1460 0 18018 0
Current children cumulated CPU time (s) 294.24
Current children cumulated vsize (KiB) 77948
[startup+307.1 s]
/proc/loadavg: 2.01 2.00 1.94 3/175 30079
/proc/meminfo: memFree=28095212/32873844 swapFree=6080/6080
[pid=30077] ppid=30075 vsize=77948 CPUtime=307.04 cores=0,2,4,6
/proc/30077/stat : 30077 (scip-2.1.1.4fix) R 30075 30077 29432 0 -1 4202496 18921 0 0 0 30546 158 0 0 20 0 1 0 268364772 79818752 18717 33554432000 4194304 10173063 140736713783488 140736713776936 8982074 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/30077/statm: 19487 18717 851 1460 0 18018 0
Current children cumulated CPU time (s) 307.04
Current children cumulated vsize (KiB) 77948
[startup+310.3 s]
/proc/loadavg: 2.01 2.00 1.94 3/175 30079
/proc/meminfo: memFree=28094964/32873844 swapFree=6080/6080
[pid=30077] ppid=30075 vsize=77948 CPUtime=310.23 cores=0,2,4,6
/proc/30077/stat : 30077 (scip-2.1.1.4fix) R 30075 30077 29432 0 -1 4202496 18921 0 0 0 30865 158 0 0 20 0 1 0 268364772 79818752 18717 33554432000 4194304 10173063 140736713783488 140736713777128 8982074 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/30077/statm: 19487 18717 851 1460 0 18018 0
Current children cumulated CPU time (s) 310.23
Current children cumulated vsize (KiB) 77948
[startup+311.9 s]
/proc/loadavg: 2.01 2.00 1.94 3/175 30079
/proc/meminfo: memFree=28094964/32873844 swapFree=6080/6080
[pid=30077] ppid=30075 vsize=77948 CPUtime=311.84 cores=0,2,4,6
/proc/30077/stat : 30077 (scip-2.1.1.4fix) R 30075 30077 29432 0 -1 4202496 18921 0 0 0 31025 159 0 0 20 0 1 0 268364772 79818752 18717 33554432000 4194304 10173063 140736713783488 140736713776744 7981159 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/30077/statm: 19487 18717 851 1460 0 18018 0
Current children cumulated CPU time (s) 311.84
Current children cumulated vsize (KiB) 77948
[startup+313.506 s]
/proc/loadavg: 2.01 2.00 1.94 3/175 30079
/proc/meminfo: memFree=28094964/32873844 swapFree=6080/6080
[pid=30077] ppid=30075 vsize=77948 CPUtime=313.43 cores=0,2,4,6
/proc/30077/stat : 30077 (scip-2.1.1.4fix) R 30075 30077 29432 0 -1 4202496 18921 0 0 0 31184 159 0 0 20 0 1 0 268364772 79818752 18717 33554432000 4194304 10173063 140736713783488 140736713776840 8982074 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/30077/statm: 19487 18717 851 1460 0 18018 0
Current children cumulated CPU time (s) 313.43
Current children cumulated vsize (KiB) 77948
[startup+314.3 s]
/proc/loadavg: 2.01 2.00 1.94 3/175 30079
/proc/meminfo: memFree=28094964/32873844 swapFree=6080/6080
[pid=30077] ppid=30075 vsize=77948 CPUtime=314.23 cores=0,2,4,6
/proc/30077/stat : 30077 (scip-2.1.1.4fix) R 30075 30077 29432 0 -1 4202496 18921 0 0 0 31264 159 0 0 20 0 1 0 268364772 79818752 18717 33554432000 4194304 10173063 140736713783488 140736713776792 7986018 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/30077/statm: 19487 18717 851 1460 0 18018 0
Current children cumulated CPU time (s) 314.23
Current children cumulated vsize (KiB) 77948
[startup+314.5 s]
/proc/loadavg: 2.01 2.00 1.94 3/175 30079
/proc/meminfo: memFree=28094964/32873844 swapFree=6080/6080
[pid=30077] ppid=30075 vsize=77948 CPUtime=314.43 cores=0,2,4,6
/proc/30077/stat : 30077 (scip-2.1.1.4fix) R 30075 30077 29432 0 -1 4202496 18921 0 0 0 31284 159 0 0 20 0 1 0 268364772 79818752 18717 33554432000 4194304 10173063 140736713783488 140736713776792 8982074 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/30077/statm: 19487 18717 851 1460 0 18018 0
Current children cumulated CPU time (s) 314.43
Current children cumulated vsize (KiB) 77948
[startup+314.606 s]
/proc/loadavg: 2.01 2.00 1.94 3/175 30079
/proc/meminfo: memFree=28094964/32873844 swapFree=6080/6080
[pid=30077] ppid=30075 vsize=76536 CPUtime=314.53 cores=0,2,4,6
/proc/30077/stat : 30077 (scip-2.1.1.4fix) R 30075 30077 29432 0 -1 4202496 18924 0 0 0 31294 159 0 0 20 0 1 0 268364772 78372864 18367 33554432000 4194304 10173063 140736713783488 140736713776792 7545070 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/30077/statm: 19134 18367 854 1460 0 17665 0
Current children cumulated CPU time (s) 314.53
Current children cumulated vsize (KiB) 76536
Child status: 0
Real time (s): 314.615
CPU time (s): 314.555
CPU user time (s): 312.954
CPU system time (s): 1.60076
CPU usage (%): 99.9809
Max. virtual memory (cumulated for all children) (KiB): 77948
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 312.954
system time used= 1.60076
maximum resident set size= 74880
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 18926
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= 13
involuntary context switches= 323
runsolver used 0.976851 second user time and 2.39364 second system time
The end