0.00/0.00 c SCIP version 2.0.1.5 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: SoPlex 1.5.0.5]
0.00/0.00 c Copyright (c) 2002-2011 Konrad-Zuse-Zentrum fuer Informationstechnik Berlin (ZIB)
0.00/0.00 c
0.00/0.00 c user parameter file <scip.set> not found - using default parameters
0.00/0.00 c reading problem <HOME/instance-3489807-1307795682.opb>
0.00/0.01 c original problem has 600 variables (600 bin, 0 int, 0 impl, 0 cont) and 830 constraints
0.00/0.01 c problem read
0.00/0.01 c No objective function, only one solution is needed.
0.00/0.01 c presolving settings loaded
0.00/0.01 c presolving:
0.00/0.02 c (round 1) 225 del vars, 45 del conss, 0 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 770 upgd conss, 0 impls, 95 clqs
0.00/0.02 c presolving (2 rounds):
0.00/0.02 c 225 deleted vars, 45 deleted constraints, 0 added constraints, 0 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
0.00/0.02 c 0 implications, 95 cliques
0.00/0.02 c presolved problem has 375 variables (375 bin, 0 int, 0 impl, 0 cont) and 785 constraints
0.00/0.02 c 95 constraints of type <setppc>
0.00/0.02 c 15 constraints of type <linear>
0.00/0.02 c 675 constraints of type <logicor>
0.00/0.02 c transformed objective value is always integral (scale: 1)
0.00/0.02 c Presolving Time: 0.01
0.00/0.02 c - non default parameters ----------------------------------------------------------------------
0.00/0.02 c # SCIP version 2.0.1.5
0.00/0.02 c
0.00/0.02 c # frequency for displaying node information lines
0.00/0.02 c # [type: int, range: [-1,2147483647], default: 100]
0.00/0.02 c display/freq = 10000
0.00/0.02 c
0.00/0.02 c # maximal time in seconds to run
0.00/0.02 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.00/0.02 c limits/time = 1797
0.00/0.02 c
0.00/0.02 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.00/0.02 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.00/0.02 c limits/memory = 13950
0.00/0.02 c
0.00/0.02 c # solving stops, if the given number of solutions were found (-1: no limit)
0.00/0.02 c # [type: int, range: [-1,2147483647], default: -1]
0.00/0.02 c limits/solutions = 1
0.00/0.02 c
0.00/0.02 c # maximal number of separation rounds per node (-1: unlimited)
0.00/0.02 c # [type: int, range: [-1,2147483647], default: 5]
0.00/0.02 c separating/maxrounds = 1
0.00/0.02 c
0.00/0.02 c # maximal number of separation rounds in the root node (-1: unlimited)
0.00/0.02 c # [type: int, range: [-1,2147483647], default: -1]
0.00/0.02 c separating/maxroundsroot = 5
0.00/0.02 c
0.00/0.02 c # default clock type (1: CPU user seconds, 2: wall clock time)
0.00/0.02 c # [type: int, range: [1,2], default: 1]
0.00/0.02 c timing/clocktype = 2
0.00/0.02 c
0.00/0.02 c # belongs reading time to solving time?
0.00/0.02 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.00/0.02 c timing/reading = TRUE
0.00/0.02 c
0.00/0.02 c # should presolving try to simplify inequalities
0.00/0.02 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.00/0.02 c constraints/linear/simplifyinequalities = TRUE
0.00/0.02 c
0.00/0.02 c # add initial coupling inequalities as linear constraints, if 'addCoupling' is true
0.00/0.02 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.00/0.02 c constraints/indicator/addCouplingCons = TRUE
0.00/0.02 c
0.00/0.02 c # should disaggregation of knapsack constraints be allowed in preprocessing?
0.00/0.02 c # [type: bool, range: {TRUE,FALSE}, default: TRUE]
0.00/0.02 c constraints/knapsack/disaggregation = FALSE
0.00/0.02 c
0.00/0.02 c # should presolving try to simplify knapsacks
0.00/0.02 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.00/0.02 c constraints/knapsack/simplifyinequalities = TRUE
0.00/0.02 c
0.00/0.02 c # maximal number of presolving rounds the presolver participates in (-1: no limit)
0.00/0.02 c # [type: int, range: [-1,2147483647], default: -1]
0.00/0.02 c presolving/probing/maxrounds = 0
0.00/0.02 c
0.00/0.02 c # frequency for calling primal heuristic <coefdiving> (-1: never, 0: only at depth freqofs)
0.00/0.02 c # [type: int, range: [-1,2147483647], default: 10]
0.00/0.02 c heuristics/coefdiving/freq = -1
0.00/0.02 c
0.00/0.02 c # maximal fraction of diving LP iterations compared to node LP iterations
0.00/0.02 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
0.00/0.02 c heuristics/coefdiving/maxlpiterquot = 0.075
0.00/0.02 c
0.00/0.02 c # additional number of allowed LP iterations
0.00/0.02 c # [type: int, range: [0,2147483647], default: 1000]
0.00/0.02 c heuristics/coefdiving/maxlpiterofs = 1500
0.00/0.02 c
0.00/0.02 c # frequency for calling primal heuristic <crossover> (-1: never, 0: only at depth freqofs)
0.00/0.02 c # [type: int, range: [-1,2147483647], default: 30]
0.00/0.02 c heuristics/crossover/freq = -1
0.00/0.02 c
0.00/0.02 c # number of nodes added to the contingent of the total nodes
0.00/0.02 c # [type: longint, range: [0,9223372036854775807], default: 500]
0.00/0.02 c heuristics/crossover/nodesofs = 750
0.00/0.02 c
0.00/0.02 c # number of nodes without incumbent change that heuristic should wait
0.00/0.02 c # [type: longint, range: [0,9223372036854775807], default: 200]
0.00/0.02 c heuristics/crossover/nwaitingnodes = 100
0.00/0.02 c
0.00/0.02 c # contingent of sub problem nodes in relation to the number of nodes of the original problem
0.00/0.02 c # [type: real, range: [0,1], default: 0.1]
0.00/0.02 c heuristics/crossover/nodesquot = 0.15
0.00/0.02 c
0.00/0.02 c # minimum percentage of integer variables that have to be fixed
0.00/0.02 c # [type: real, range: [0,1], default: 0.666]
0.00/0.02 c heuristics/crossover/minfixingrate = 0.5
0.00/0.02 c
0.00/0.02 c # frequency for calling primal heuristic <feaspump> (-1: never, 0: only at depth freqofs)
0.00/0.02 c # [type: int, range: [-1,2147483647], default: 20]
0.00/0.02 c heuristics/feaspump/freq = -1
0.00/0.02 c
0.00/0.02 c # additional number of allowed LP iterations
0.00/0.02 c # [type: int, range: [0,2147483647], default: 1000]
0.00/0.02 c heuristics/feaspump/maxlpiterofs = 2000
0.00/0.02 c
0.00/0.02 c # frequency for calling primal heuristic <fracdiving> (-1: never, 0: only at depth freqofs)
0.00/0.02 c # [type: int, range: [-1,2147483647], default: 10]
0.00/0.02 c heuristics/fracdiving/freq = -1
0.00/0.02 c
0.00/0.02 c # maximal fraction of diving LP iterations compared to node LP iterations
0.00/0.02 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
0.00/0.02 c heuristics/fracdiving/maxlpiterquot = 0.075
0.00/0.02 c
0.00/0.02 c # additional number of allowed LP iterations
0.00/0.02 c # [type: int, range: [0,2147483647], default: 1000]
0.00/0.02 c heuristics/fracdiving/maxlpiterofs = 1500
0.00/0.02 c
0.00/0.02 c # frequency for calling primal heuristic <guideddiving> (-1: never, 0: only at depth freqofs)
0.00/0.02 c # [type: int, range: [-1,2147483647], default: 10]
0.00/0.02 c heuristics/guideddiving/freq = -1
0.00/0.02 c
0.00/0.02 c # maximal fraction of diving LP iterations compared to node LP iterations
0.00/0.02 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
0.00/0.02 c heuristics/guideddiving/maxlpiterquot = 0.075
0.00/0.02 c
0.00/0.02 c # additional number of allowed LP iterations
0.00/0.02 c # [type: int, range: [0,2147483647], default: 1000]
0.00/0.02 c heuristics/guideddiving/maxlpiterofs = 1500
0.00/0.02 c
0.00/0.02 c # maximal fraction of diving LP iterations compared to node LP iterations
0.00/0.02 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
0.00/0.02 c heuristics/intdiving/maxlpiterquot = 0.075
0.00/0.02 c
0.00/0.02 c # frequency for calling primal heuristic <intshifting> (-1: never, 0: only at depth freqofs)
0.00/0.02 c # [type: int, range: [-1,2147483647], default: 10]
0.00/0.02 c heuristics/intshifting/freq = -1
0.00/0.02 c
0.00/0.02 c # frequency for calling primal heuristic <linesearchdiving> (-1: never, 0: only at depth freqofs)
0.00/0.02 c # [type: int, range: [-1,2147483647], default: 10]
0.00/0.02 c heuristics/linesearchdiving/freq = -1
0.00/0.02 c
0.00/0.02 c # maximal fraction of diving LP iterations compared to node LP iterations
0.00/0.02 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
0.00/0.02 c heuristics/linesearchdiving/maxlpiterquot = 0.075
0.00/0.02 c
0.00/0.02 c # additional number of allowed LP iterations
0.00/0.02 c # [type: int, range: [0,2147483647], default: 1000]
0.00/0.02 c heuristics/linesearchdiving/maxlpiterofs = 1500
0.00/0.02 c
0.00/0.02 c # frequency for calling primal heuristic <objpscostdiving> (-1: never, 0: only at depth freqofs)
0.00/0.02 c # [type: int, range: [-1,2147483647], default: 20]
0.00/0.02 c heuristics/objpscostdiving/freq = -1
0.00/0.02 c
0.00/0.02 c # maximal fraction of diving LP iterations compared to total iteration number
0.00/0.02 c # [type: real, range: [0,1], default: 0.01]
0.00/0.02 c heuristics/objpscostdiving/maxlpiterquot = 0.015
0.00/0.02 c
0.00/0.02 c # additional number of allowed LP iterations
0.00/0.02 c # [type: int, range: [0,2147483647], default: 1000]
0.00/0.02 c heuristics/objpscostdiving/maxlpiterofs = 1500
0.00/0.02 c
0.00/0.02 c # frequency for calling primal heuristic <oneopt> (-1: never, 0: only at depth freqofs)
0.00/0.02 c # [type: int, range: [-1,2147483647], default: 1]
0.00/0.02 c heuristics/oneopt/freq = -1
0.00/0.02 c
0.00/0.02 c # frequency for calling primal heuristic <pscostdiving> (-1: never, 0: only at depth freqofs)
0.00/0.02 c # [type: int, range: [-1,2147483647], default: 10]
0.00/0.02 c heuristics/pscostdiving/freq = -1
0.00/0.02 c
0.00/0.02 c # maximal fraction of diving LP iterations compared to node LP iterations
0.00/0.02 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
0.00/0.02 c heuristics/pscostdiving/maxlpiterquot = 0.075
0.00/0.02 c
0.00/0.02 c # additional number of allowed LP iterations
0.00/0.02 c # [type: int, range: [0,2147483647], default: 1000]
0.00/0.02 c heuristics/pscostdiving/maxlpiterofs = 1500
0.00/0.02 c
0.00/0.02 c # frequency for calling primal heuristic <rens> (-1: never, 0: only at depth freqofs)
0.00/0.02 c # [type: int, range: [-1,2147483647], default: 0]
0.00/0.02 c heuristics/rens/freq = -1
0.00/0.02 c
0.00/0.02 c # minimum percentage of integer variables that have to be fixable
0.00/0.02 c # [type: real, range: [0,1], default: 0.5]
0.00/0.02 c heuristics/rens/minfixingrate = 0.3
0.00/0.02 c
0.00/0.02 c # number of nodes added to the contingent of the total nodes
0.00/0.02 c # [type: longint, range: [0,9223372036854775807], default: 500]
0.00/0.02 c heuristics/rens/nodesofs = 2000
0.00/0.02 c
0.00/0.02 c # frequency for calling primal heuristic <rootsoldiving> (-1: never, 0: only at depth freqofs)
0.00/0.02 c # [type: int, range: [-1,2147483647], default: 20]
0.00/0.02 c heuristics/rootsoldiving/freq = -1
0.00/0.02 c
0.00/0.02 c # maximal fraction of diving LP iterations compared to node LP iterations
0.00/0.02 c # [type: real, range: [0,1.79769313486232e+308], default: 0.01]
0.00/0.02 c heuristics/rootsoldiving/maxlpiterquot = 0.015
0.00/0.02 c
0.00/0.02 c # additional number of allowed LP iterations
0.00/0.02 c # [type: int, range: [0,2147483647], default: 1000]
0.00/0.02 c heuristics/rootsoldiving/maxlpiterofs = 1500
0.00/0.02 c
0.00/0.02 c # frequency for calling primal heuristic <rounding> (-1: never, 0: only at depth freqofs)
0.00/0.02 c # [type: int, range: [-1,2147483647], default: 1]
0.00/0.02 c heuristics/rounding/freq = -1
0.00/0.02 c
0.00/0.02 c # frequency for calling primal heuristic <shiftandpropagate> (-1: never, 0: only at depth freqofs)
0.00/0.02 c # [type: int, range: [-1,2147483647], default: 0]
0.00/0.02 c heuristics/shiftandpropagate/freq = -1
0.00/0.02 c
0.00/0.02 c # frequency for calling primal heuristic <shifting> (-1: never, 0: only at depth freqofs)
0.00/0.02 c # [type: int, range: [-1,2147483647], default: 10]
0.00/0.02 c heuristics/shifting/freq = -1
0.00/0.02 c
0.00/0.02 c # frequency for calling primal heuristic <simplerounding> (-1: never, 0: only at depth freqofs)
0.00/0.02 c # [type: int, range: [-1,2147483647], default: 1]
0.00/0.02 c heuristics/simplerounding/freq = -1
0.00/0.02 c
0.00/0.02 c # frequency for calling primal heuristic <subnlp> (-1: never, 0: only at depth freqofs)
0.00/0.02 c # [type: int, range: [-1,2147483647], default: 1]
0.00/0.02 c heuristics/subnlp/freq = -1
0.00/0.02 c
0.00/0.02 c # frequency for calling primal heuristic <trivial> (-1: never, 0: only at depth freqofs)
0.00/0.02 c # [type: int, range: [-1,2147483647], default: 0]
0.00/0.02 c heuristics/trivial/freq = -1
0.00/0.02 c
0.00/0.02 c # frequency for calling primal heuristic <trysol> (-1: never, 0: only at depth freqofs)
0.00/0.02 c # [type: int, range: [-1,2147483647], default: 1]
0.00/0.02 c heuristics/trysol/freq = -1
0.00/0.02 c
0.00/0.02 c # frequency for calling primal heuristic <undercover> (-1: never, 0: only at depth freqofs)
0.00/0.02 c # [type: int, range: [-1,2147483647], default: 0]
0.00/0.02 c heuristics/undercover/freq = -1
0.00/0.02 c
0.00/0.02 c # frequency for calling primal heuristic <veclendiving> (-1: never, 0: only at depth freqofs)
0.00/0.02 c # [type: int, range: [-1,2147483647], default: 10]
0.00/0.02 c heuristics/veclendiving/freq = -1
0.00/0.02 c
0.00/0.02 c # maximal fraction of diving LP iterations compared to node LP iterations
0.00/0.02 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
0.00/0.02 c heuristics/veclendiving/maxlpiterquot = 0.075
0.00/0.02 c
0.00/0.02 c # additional number of allowed LP iterations
0.00/0.02 c # [type: int, range: [0,2147483647], default: 1000]
0.00/0.02 c heuristics/veclendiving/maxlpiterofs = 1500
0.00/0.02 c
0.00/0.02 c # frequency for calling primal heuristic <zirounding> (-1: never, 0: only at depth freqofs)
0.00/0.02 c # [type: int, range: [-1,2147483647], default: 1]
0.00/0.02 c heuristics/zirounding/freq = -1
0.00/0.02 c
0.00/0.02 c # frequency for calling separator <cmir> (-1: never, 0: only in root node)
0.00/0.02 c # [type: int, range: [-1,2147483647], default: 0]
0.00/0.02 c separating/cmir/freq = -1
0.00/0.02 c
0.00/0.02 c # frequency for calling separator <flowcover> (-1: never, 0: only in root node)
0.00/0.02 c # [type: int, range: [-1,2147483647], default: 0]
0.00/0.02 c separating/flowcover/freq = -1
0.00/0.02 c
0.00/0.02 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
0.00/0.02 c # [type: int, range: [-1,2147483647], default: -1]
0.00/0.02 c separating/rapidlearning/freq = 0
0.00/0.02 c
0.00/0.02 c -----------------------------------------------------------------------------------------------
0.00/0.02 c start solving
0.00/0.02 c
0.00/0.03 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
0.00/0.03 c 0.0s| 1 | 0 | 285 | - |2285k| 0 | 135 | 375 | 785 | 375 | 785 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
0.04/0.08 c 0.1s| 1 | 0 | 352 | - |2483k| 0 | 161 | 375 | 818 | 375 | 801 | 16 | 0 | 0 | 0.000000e+00 | -- | Inf
0.09/0.14 c 0.1s| 1 | 0 | 422 | - |3739k| 0 | 167 | 375 | 818 | 375 | 812 | 27 | 0 | 0 | 0.000000e+00 | -- | Inf
0.19/0.23 c 0.2s| 1 | 0 | 488 | - |4033k| 0 | 175 | 375 | 818 | 375 | 821 | 36 | 0 | 0 | 0.000000e+00 | -- | Inf
0.29/0.32 c 0.3s| 1 | 0 | 516 | - |4046k| 0 | 178 | 375 | 818 | 375 | 824 | 39 | 0 | 0 | 0.000000e+00 | -- | Inf
0.39/0.42 c 0.4s| 1 | 0 | 568 | - |4051k| 0 | 175 | 375 | 818 | 375 | 828 | 43 | 0 | 0 | 0.000000e+00 | -- | Inf
0.69/0.78 c 0.8s| 1 | 2 | 568 | - |4052k| 0 | 175 | 375 | 818 | 375 | 828 | 43 | 0 | 15 | 0.000000e+00 | -- | Inf
22.79/22.85 c 22.8s| 10000 | 517 |203404 | 20.3 |7557k| 43 | 89 | 375 |5123 | 375 | 812 | 43 | 10k|2122 | 0.000000e+00 | -- | Inf
39.89/39.92 c 39.9s| 20000 | 740 |416988 | 20.8 |8731k| 45 | - | 375 |6209 | 375 | 812 | 43 | 19k|2988 | 0.000000e+00 | -- | Inf
54.10/54.15 c 54.2s| 30000 | 849 |616258 | 20.5 | 10M| 45 | - | 375 |9309 | 375 | 812 | 43 | 30k|3005 | 0.000000e+00 | -- | Inf
71.50/71.55 c 71.5s| 40000 | 1132 |835631 | 20.9 | 11M| 45 | - | 375 |8784 | 375 | 812 | 43 | 38k|3723 | 0.000000e+00 | -- | Inf
88.69/88.79 c 88.8s| 50000 | 1596 | 1044k| 20.9 | 11M| 45 | 105 | 375 |8725 | 375 | 812 | 43 | 47k|4563 | 0.000000e+00 | -- | Inf
105.60/105.67 c 106s| 60000 | 1985 | 1260k| 21.0 | 12M| 45 | 102 | 375 |8480 | 375 | 812 | 43 | 57k|5086 | 0.000000e+00 | -- | Inf
122.90/122.99 c 123s| 70000 | 2419 | 1476k| 21.1 | 13M| 45 | 14 | 375 |9039 | 375 | 812 | 43 | 66k|5750 | 0.000000e+00 | -- | Inf
139.20/139.20 c 139s| 80000 | 2761 | 1686k| 21.1 | 14M| 45 | 99 | 375 | 10k| 375 | 812 | 43 | 75k|6138 | 0.000000e+00 | -- | Inf
155.11/155.17 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
155.11/155.17 c 155s| 90000 | 2938 | 1885k| 20.9 | 15M| 45 | 29 | 375 | 11k| 375 | 812 | 43 | 85k|6665 | 0.000000e+00 | -- | Inf
171.89/171.99 c 172s|100000 | 3300 | 2104k| 21.0 | 16M| 45 | 109 | 375 | 11k| 375 | 812 | 43 | 93k|7151 | 0.000000e+00 | -- | Inf
187.49/187.57 c 188s|110000 | 3729 | 2308k| 21.0 | 18M| 45 | 27 | 375 | 13k| 375 | 812 | 43 | 103k|7427 | 0.000000e+00 | -- | Inf
203.79/203.82 c 204s|120000 | 3995 | 2522k| 21.0 | 19M| 45 | 68 | 375 | 14k| 375 | 812 | 43 | 112k|7839 | 0.000000e+00 | -- | Inf
220.40/220.45 c 220s|130000 | 4088 | 2736k| 21.0 | 19M| 45 | 77 | 375 | 14k| 375 | 812 | 43 | 121k|8119 | 0.000000e+00 | -- | Inf
238.70/238.78 c 239s|140000 | 4212 | 2962k| 21.2 | 18M| 46 | - | 375 | 11k| 375 | 812 | 43 | 130k|8716 | 0.000000e+00 | -- | Inf
255.80/255.88 c 256s|150000 | 4409 | 3182k| 21.2 | 18M| 46 | - | 375 | 11k| 375 | 812 | 43 | 139k|9144 | 0.000000e+00 | -- | Inf
273.81/273.84 c 274s|160000 | 4619 | 3416k| 21.4 | 19M| 46 | 101 | 375 | 11k| 375 | 812 | 43 | 148k|9508 | 0.000000e+00 | -- | Inf
290.20/290.20 c 290s|170000 | 4849 | 3633k| 21.4 | 20M| 46 | - | 375 | 12k| 375 | 812 | 43 | 157k|9782 | 0.000000e+00 | -- | Inf
308.21/308.27 c 308s|180000 | 5041 | 3865k| 21.5 | 20M| 46 | 90 | 375 | 11k| 375 | 812 | 43 | 167k| 10k| 0.000000e+00 | -- | Inf
325.90/325.91 c 326s|190000 | 5255 | 4100k| 21.6 | 21M| 46 | 18 | 375 | 12k| 375 | 812 | 43 | 175k| 10k| 0.000000e+00 | -- | Inf
344.00/344.08 c 344s|200000 | 5487 | 4338k| 21.7 | 21M| 46 | - | 375 | 12k| 375 | 812 | 43 | 184k| 10k| 0.000000e+00 | -- | Inf
361.91/361.94 c 362s|210000 | 5638 | 4571k| 21.8 | 21M| 46 | 55 | 375 | 12k| 375 | 812 | 43 | 193k| 11k| 0.000000e+00 | -- | Inf
380.31/380.39 c 380s|220000 | 5879 | 4812k| 21.9 | 21M| 46 | 93 | 375 | 12k| 375 | 812 | 43 | 202k| 11k| 0.000000e+00 | -- | Inf
398.21/398.29 c 398s|230000 | 6050 | 5043k| 21.9 | 22M| 46 | - | 375 | 12k| 375 | 812 | 43 | 211k| 11k| 0.000000e+00 | -- | Inf
416.51/416.55 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
416.51/416.55 c 417s|240000 | 6229 | 5277k| 22.0 | 22M| 46 | 94 | 375 | 12k| 375 | 812 | 43 | 220k| 12k| 0.000000e+00 | -- | Inf
434.90/434.96 c 435s|250000 | 6416 | 5517k| 22.1 | 23M| 46 | 63 | 375 | 13k| 375 | 812 | 43 | 229k| 12k| 0.000000e+00 | -- | Inf
453.41/453.46 c 453s|260000 | 6582 | 5754k| 22.1 | 24M| 46 | 123 | 375 | 13k| 375 | 812 | 43 | 238k| 12k| 0.000000e+00 | -- | Inf
471.11/471.16 c 471s|270000 | 6653 | 5975k| 22.1 | 24M| 46 | 34 | 375 | 14k| 375 | 812 | 43 | 247k| 12k| 0.000000e+00 | -- | Inf
488.80/488.85 c 489s|280000 | 6840 | 6203k| 22.2 | 25M| 46 | - | 375 | 15k| 375 | 812 | 43 | 256k| 13k| 0.000000e+00 | -- | Inf
506.71/506.73 c 507s|290000 | 6964 | 6434k| 22.2 | 24M| 46 | 113 | 375 | 13k| 375 | 812 | 43 | 265k| 13k| 0.000000e+00 | -- | Inf
524.62/524.68 c 525s|300000 | 7058 | 6673k| 22.2 | 25M| 46 | - | 375 | 15k| 0 | 0 | 43 | 274k| 13k| 0.000000e+00 | -- | Inf
543.32/543.35 c 543s|310000 | 7302 | 6919k| 22.3 | 26M| 46 | - | 375 | 15k| 0 | 0 | 43 | 282k| 13k| 0.000000e+00 | -- | Inf
560.91/560.98 c 561s|320000 | 7472 | 7148k| 22.3 | 27M| 46 | 102 | 375 | 16k| 375 | 812 | 43 | 291k| 14k| 0.000000e+00 | -- | Inf
578.91/578.93 c 579s|330000 | 7521 | 7378k| 22.4 | 27M| 46 | - | 375 | 16k| 375 | 812 | 43 | 300k| 14k| 0.000000e+00 | -- | Inf
596.41/596.45 c 596s|340000 | 7602 | 7605k| 22.4 | 27M| 46 | 103 | 375 | 15k| 375 | 812 | 43 | 309k| 14k| 0.000000e+00 | -- | Inf
615.72/615.78 c 616s|350000 | 7792 | 7860k| 22.5 | 27M| 46 | 58 | 375 | 15k| 375 | 812 | 43 | 317k| 14k| 0.000000e+00 | -- | Inf
634.72/634.78 c 635s|360000 | 7908 | 8104k| 22.5 | 27M| 46 | 87 | 375 | 15k| 375 | 812 | 43 | 325k| 15k| 0.000000e+00 | -- | Inf
652.52/652.58 c 653s|370000 | 8060 | 8340k| 22.5 | 28M| 46 | 93 | 375 | 16k| 375 | 812 | 43 | 334k| 15k| 0.000000e+00 | -- | Inf
671.42/671.40 c 671s|380000 | 8141 | 8586k| 22.6 | 29M| 46 | - | 375 | 16k| 375 | 812 | 43 | 343k| 15k| 0.000000e+00 | -- | Inf
690.61/690.68 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
690.61/690.68 c 691s|390000 | 8256 | 8827k| 22.6 | 28M| 46 | 83 | 375 | 14k| 375 | 812 | 43 | 351k| 15k| 0.000000e+00 | -- | Inf
709.92/709.96 c 710s|400000 | 8555 | 9077k| 22.7 | 29M| 46 | - | 375 | 15k| 375 | 812 | 43 | 359k| 16k| 0.000000e+00 | -- | Inf
728.22/728.24 c 728s|410000 | 8561 | 9311k| 22.7 | 29M| 46 | 50 | 375 | 16k| 375 | 812 | 43 | 368k| 16k| 0.000000e+00 | -- | Inf
747.31/747.31 c 747s|420000 | 8770 | 9553k| 22.7 | 30M| 46 | 94 | 375 | 16k| 375 | 812 | 43 | 377k| 16k| 0.000000e+00 | -- | Inf
764.32/764.38 c 764s|430000 | 8879 | 9770k| 22.7 | 30M| 46 | 66 | 375 | 17k| 375 | 812 | 43 | 386k| 16k| 0.000000e+00 | -- | Inf
783.72/783.70 c 784s|440000 | 8993 | 10014k| 22.8 | 30M| 46 | - | 375 | 15k| 375 | 812 | 43 | 394k| 16k| 0.000000e+00 | -- | Inf
803.42/803.44 c 803s|450000 | 9161 | 10263k| 22.8 | 30M| 46 | - | 375 | 15k| 375 | 812 | 43 | 402k| 17k| 0.000000e+00 | -- | Inf
821.52/821.59 c 822s|460000 | 9278 | 10500k| 22.8 | 31M| 46 | - | 375 | 16k| 375 | 812 | 43 | 411k| 17k| 0.000000e+00 | -- | Inf
840.22/840.27 c 840s|470000 | 9404 | 10740k| 22.9 | 31M| 46 | - | 375 | 17k| 375 | 812 | 43 | 420k| 17k| 0.000000e+00 | -- | Inf
859.52/859.58 c 860s|480000 | 9536 | 10988k| 22.9 | 32M| 46 | 76 | 375 | 18k| 375 | 812 | 43 | 428k| 17k| 0.000000e+00 | -- | Inf
879.23/879.28 c 879s|490000 | 9687 | 11240k| 22.9 | 32M| 46 | 91 | 375 | 16k| 375 | 812 | 43 | 436k| 17k| 0.000000e+00 | -- | Inf
898.13/898.12 c 898s|500000 | 9881 | 11477k| 23.0 | 32M| 46 | - | 375 | 17k| 375 | 812 | 43 | 444k| 18k| 0.000000e+00 | -- | Inf
916.33/916.33 c 916s|510000 | 9982 | 11710k| 23.0 | 32M| 46 | 88 | 375 | 17k| 375 | 812 | 43 | 453k| 18k| 0.000000e+00 | -- | Inf
934.42/934.42 c 934s|520000 | 10037 | 11936k| 23.0 | 32M| 46 | 95 | 375 | 17k| 375 | 812 | 43 | 462k| 18k| 0.000000e+00 | -- | Inf
953.74/953.77 c 954s|530000 | 10190 | 12183k| 23.0 | 32M| 48 | 94 | 375 | 16k| 375 | 812 | 43 | 471k| 18k| 0.000000e+00 | -- | Inf
972.33/972.33 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
972.33/972.33 c 972s|540000 | 10249 | 12416k| 23.0 | 33M| 50 | 107 | 375 | 17k| 375 | 812 | 43 | 479k| 19k| 0.000000e+00 | -- | Inf
991.63/991.64 c 992s|550000 | 10300 | 12658k| 23.0 | 33M| 50 | - | 375 | 17k| 0 | 0 | 43 | 488k| 19k| 0.000000e+00 | -- | Inf
1009.33/1009.38 c 1009s|560000 | 10407 | 12889k| 23.0 | 33M| 50 | 91 | 375 | 17k| 375 | 812 | 43 | 497k| 19k| 0.000000e+00 | -- | Inf
1028.73/1028.79 c 1029s|570000 | 10542 | 13132k| 23.0 | 33M| 50 | 62 | 375 | 17k| 375 | 812 | 43 | 505k| 19k| 0.000000e+00 | -- | Inf
1046.73/1046.76 c 1047s|580000 | 10636 | 13366k| 23.0 | 34M| 50 | 76 | 375 | 17k| 375 | 812 | 43 | 513k| 19k| 0.000000e+00 | -- | Inf
1065.83/1065.83 c 1066s|590000 | 10757 | 13610k| 23.1 | 35M| 50 | - | 375 | 18k| 0 | 0 | 43 | 522k| 19k| 0.000000e+00 | -- | Inf
1084.43/1084.47 c 1084s|600000 | 10813 | 13847k| 23.1 | 35M| 50 | - | 375 | 19k| 375 | 812 | 43 | 531k| 20k| 0.000000e+00 | -- | Inf
1104.03/1104.01 c 1104s|610000 | 10997 | 14088k| 23.1 | 35M| 50 | - | 375 | 19k| 375 | 812 | 43 | 539k| 20k| 0.000000e+00 | -- | Inf
1123.24/1123.26 c 1123s|620000 | 11147 | 14327k| 23.1 | 35M| 50 | 92 | 375 | 19k| 375 | 812 | 43 | 548k| 20k| 0.000000e+00 | -- | Inf
1142.73/1142.72 c 1143s|630000 | 11308 | 14573k| 23.1 | 36M| 50 | - | 375 | 19k| 375 | 812 | 43 | 557k| 20k| 0.000000e+00 | -- | Inf
1161.73/1161.72 c 1162s|640000 | 11298 | 14811k| 23.1 | 35M| 50 | 12 | 375 | 17k| 375 | 812 | 43 | 565k| 20k| 0.000000e+00 | -- | Inf
1179.14/1179.16 c 1179s|650000 | 11499 | 15046k| 23.1 | 37M| 50 | - | 375 | 19k| 375 | 812 | 43 | 574k| 20k| 0.000000e+00 | -- | Inf
1197.84/1197.89 c 1198s|660000 | 11510 | 15286k| 23.2 | 36M| 50 | - | 375 | 18k| 375 | 812 | 43 | 582k| 21k| 0.000000e+00 | -- | Inf
1217.23/1217.22 c 1217s|670000 | 11615 | 15533k| 23.2 | 36M| 50 | 99 | 375 | 18k| 375 | 812 | 43 | 590k| 21k| 0.000000e+00 | -- | Inf
1235.83/1235.88 c 1236s|680000 | 11689 | 15771k| 23.2 | 36M| 50 | 101 | 375 | 18k| 375 | 812 | 43 | 598k| 21k| 0.000000e+00 | -- | Inf
1255.84/1255.84 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1255.84/1255.84 c 1256s|690000 | 11734 | 16013k| 23.2 | 36M| 50 | - | 375 | 17k| 375 | 812 | 43 | 607k| 21k| 0.000000e+00 | -- | Inf
1275.04/1275.00 c 1275s|700000 | 11855 | 16262k| 23.2 | 36M| 50 | - | 375 | 16k| 375 | 812 | 43 | 615k| 21k| 0.000000e+00 | -- | Inf
1294.54/1294.54 c 1295s|710000 | 12015 | 16516k| 23.3 | 37M| 50 | 105 | 375 | 17k| 375 | 812 | 43 | 623k| 22k| 0.000000e+00 | -- | Inf
1313.94/1313.97 c 1314s|720000 | 12403 | 16777k| 23.3 | 38M| 50 | - | 375 | 19k| 375 | 812 | 43 | 630k| 22k| 0.000000e+00 | -- | Inf
1333.64/1333.67 c 1334s|730000 | 13183 | 17042k| 23.3 | 40M| 50 | 113 | 375 | 21k| 375 | 812 | 43 | 636k| 22k| 0.000000e+00 | -- | Inf
1354.24/1354.28 c 1354s|740000 | 13434 | 17300k| 23.4 | 39M| 50 | - | 375 | 19k| 375 | 812 | 43 | 643k| 22k| 0.000000e+00 | -- | Inf
1374.34/1374.31 c 1374s|750000 | 13642 | 17558k| 23.4 | 39M| 50 | 94 | 375 | 18k| 375 | 812 | 43 | 651k| 22k| 0.000000e+00 | -- | Inf
1394.05/1394.02 c 1394s|760000 | 13853 | 17811k| 23.4 | 40M| 50 | - | 375 | 19k| 375 | 812 | 43 | 659k| 22k| 0.000000e+00 | -- | Inf
1413.24/1413.21 c 1413s|770000 | 13970 | 18055k| 23.4 | 40M| 50 | - | 375 | 17k| 375 | 812 | 43 | 667k| 23k| 0.000000e+00 | -- | Inf
1431.64/1431.64 c 1432s|780000 | 14145 | 18298k| 23.5 | 41M| 50 | - | 375 | 20k| 375 | 812 | 43 | 676k| 23k| 0.000000e+00 | -- | Inf
1451.65/1451.67 c 1452s|790000 | 14287 | 18548k| 23.5 | 41M| 50 | 111 | 375 | 18k| 375 | 812 | 43 | 684k| 23k| 0.000000e+00 | -- | Inf
1469.85/1469.80 c 1470s|800000 | 14743 | 18788k| 23.5 | 42M| 50 | - | 375 | 20k| 375 | 812 | 43 | 692k| 23k| 0.000000e+00 | -- | Inf
1487.85/1487.86 c 1488s|810000 | 15038 | 19030k| 23.5 | 43M| 50 | - | 375 | 21k| 0 | 0 | 43 | 700k| 23k| 0.000000e+00 | -- | Inf
1507.14/1507.17 c 1507s|820000 | 15181 | 19280k| 23.5 | 44M| 50 | - | 375 | 22k| 0 | 0 | 43 | 707k| 23k| 0.000000e+00 | -- | Inf
1525.65/1525.68 c 1526s|830000 | 15140 | 19520k| 23.5 | 44M| 50 | - | 375 | 23k| 375 | 812 | 43 | 715k| 23k| 0.000000e+00 | -- | Inf
1544.75/1544.74 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1544.75/1544.74 c 1545s|840000 | 15120 | 19766k| 23.5 | 44M| 50 | 62 | 375 | 23k| 375 | 812 | 43 | 724k| 23k| 0.000000e+00 | -- | Inf
1565.15/1565.12 c 1565s|850000 | 15222 | 20022k| 23.6 | 44M| 50 | - | 375 | 22k| 375 | 812 | 43 | 731k| 24k| 0.000000e+00 | -- | Inf
1585.45/1585.41 c 1585s|860000 | 15253 | 20271k| 23.6 | 43M| 50 | 106 | 375 | 20k| 375 | 812 | 43 | 740k| 24k| 0.000000e+00 | -- | Inf
1604.75/1604.73 c 1605s|870000 | 15377 | 20518k| 23.6 | 44M| 50 | 74 | 375 | 20k| 375 | 812 | 43 | 748k| 24k| 0.000000e+00 | -- | Inf
1624.65/1624.63 c 1625s|880000 | 15486 | 20760k| 23.6 | 43M| 50 | - | 375 | 18k| 375 | 812 | 43 | 756k| 24k| 0.000000e+00 | -- | Inf
1643.75/1643.78 c 1644s|890000 | 15584 | 21008k| 23.6 | 44M| 50 | - | 375 | 20k| 375 | 812 | 43 | 765k| 24k| 0.000000e+00 | -- | Inf
1660.75/1660.78 c 1661s|900000 | 15665 | 21233k| 23.6 | 45M| 50 | - | 375 | 23k| 375 | 812 | 43 | 773k| 24k| 0.000000e+00 | -- | Inf
1680.25/1680.26 c 1680s|910000 | 15743 | 21470k| 23.6 | 44M| 50 | 123 | 375 | 19k| 375 | 812 | 43 | 782k| 25k| 0.000000e+00 | -- | Inf
1699.85/1699.81 c 1700s|920000 | 15856 | 21721k| 23.6 | 44M| 50 | 115 | 375 | 18k| 375 | 812 | 43 | 790k| 25k| 0.000000e+00 | -- | Inf
1719.36/1719.37 c 1719s|930000 | 15937 | 21968k| 23.6 | 44M| 50 | 101 | 375 | 19k| 375 | 812 | 43 | 798k| 25k| 0.000000e+00 | -- | Inf
1739.06/1739.07 c 1739s|940000 | 16026 | 22217k| 23.6 | 45M| 50 | 103 | 375 | 19k| 375 | 812 | 43 | 806k| 25k| 0.000000e+00 | -- | Inf
1757.95/1757.98 c 1758s|950000 | 16454 | 22461k| 23.6 | 46M| 50 | 104 | 375 | 19k| 375 | 812 | 43 | 815k| 25k| 0.000000e+00 | -- | Inf
1775.65/1775.63 c 1776s|960000 | 16756 | 22687k| 23.6 | 47M| 50 | - | 375 | 21k| 375 | 812 | 43 | 824k| 25k| 0.000000e+00 | -- | Inf
1794.25/1794.20 c 1794s|970000 | 17053 | 22924k| 23.6 | 48M| 50 | 124 | 375 | 22k| 375 | 812 | 43 | 833k| 25k| 0.000000e+00 | -- | Inf
1797.06/1797.00 c
1797.06/1797.00 c SCIP Status : solving was interrupted [time limit reached]
1797.06/1797.00 c Solving Time (sec) : 1797.00
1797.06/1797.00 c Solving Nodes : 971394
1797.06/1797.00 c Primal Bound : +1.00000000000000e+20 (0 solutions)
1797.06/1797.00 c Dual Bound : +0.00000000000000e+00
1797.06/1797.00 c Gap : infinite
1797.06/1797.00 s UNKNOWN
1797.06/1797.00 c SCIP Status : solving was interrupted [time limit reached]
1797.06/1797.00 c Total Time : 1797.00
1797.06/1797.00 c solving : 1797.00
1797.06/1797.00 c presolving : 0.01 (included in solving)
1797.06/1797.00 c reading : 0.01 (included in solving)
1797.06/1797.00 c Original Problem :
1797.06/1797.00 c Problem name : HOME/instance-3489807-1307795682.opb
1797.06/1797.00 c Variables : 600 (600 binary, 0 integer, 0 implicit integer, 0 continuous)
1797.06/1797.00 c Constraints : 830 initial, 830 maximal
1797.06/1797.00 c Presolved Problem :
1797.06/1797.00 c Problem name : t_HOME/instance-3489807-1307795682.opb
1797.06/1797.00 c Variables : 375 (375 binary, 0 integer, 0 implicit integer, 0 continuous)
1797.06/1797.00 c Constraints : 785 initial, 24026 maximal
1797.06/1797.00 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons AddCons ChgSides ChgCoefs
1797.06/1797.00 c trivial : 0.00 0 0 0 0 0 0 0 0 0
1797.06/1797.00 c dualfix : 0.00 225 0 0 0 0 0 0 0 0
1797.06/1797.00 c boundshift : 0.00 0 0 0 0 0 0 0 0 0
1797.06/1797.00 c inttobinary : 0.00 0 0 0 0 0 0 0 0 0
1797.06/1797.00 c pseudoobj : 0.00 0 0 0 0 0 0 0 0 0
1797.06/1797.00 c implics : 0.00 0 0 0 0 0 0 0 0 0
1797.06/1797.00 c probing : 0.00 0 0 0 0 0 0 0 0 0
1797.06/1797.00 c setppc : 0.00 0 0 0 0 0 0 0 0 0
1797.06/1797.00 c linear : 0.01 0 0 0 0 0 45 0 0 0
1797.06/1797.00 c logicor : 0.00 0 0 0 0 0 0 0 0 0
1797.06/1797.00 c root node : - 0 - - 0 - - - - -
1797.06/1797.00 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS #Check #Resprop Cutoffs DomReds Cuts Conss Children
1797.06/1797.00 c integral : 0 0 0 525259 0 1 0 719 5301 0 0 1044238
1797.06/1797.00 c setppc : 95 5 4549220 0 1 0 19041009 12724 11958524 0 0 0
1797.06/1797.00 c linear : 15+ 6 4536496 0 1 0 1492347 37905 1195634 8 0 0
1797.06/1797.00 c logicor : 675+ 5 3180753 0 1 0 14166535 76596 6145109 0 0 0
1797.06/1797.00 c countsols : 0 0 0 0 1 0 0 0 0 0 0 0
1797.06/1797.00 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS Check Resprop
1797.06/1797.00 c integral : 78.29 0.00 0.00 78.29 0.00 0.00 0.00
1797.06/1797.00 c setppc : 20.40 0.00 16.91 0.00 0.00 0.00 3.50
1797.06/1797.00 c linear : 12.67 0.00 11.27 0.00 0.00 0.00 1.40
1797.06/1797.00 c logicor : 131.83 0.00 125.23 0.00 0.00 0.00 6.60
1797.06/1797.00 c countsols : 0.00 0.00 0.00 0.00 0.00 0.00 0.00
1797.06/1797.00 c Propagators : #Propagate #Resprop Cutoffs DomReds
1797.06/1797.00 c vbounds : 0 0 0 0
1797.06/1797.00 c rootredcost : 0 0 0 0
1797.06/1797.00 c pseudoobj : 0 0 0 0
1797.06/1797.00 c Propagator Timings : TotalTime Propagate Resprop
1797.06/1797.00 c vbounds : 0.58 0.58 0.00
1797.06/1797.00 c rootredcost : 0.63 0.63 0.00
1797.06/1797.00 c pseudoobj : 0.45 0.45 0.00
1797.06/1797.00 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1797.06/1797.00 c propagation : 10.47 127225 121011 1776311 42.6 10024 21.8 -
1797.06/1797.00 c infeasible LP : 55.01 369535 345026 6526092 49.7 9346 18.8 0
1797.06/1797.00 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1797.06/1797.00 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1797.06/1797.00 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 -
1797.06/1797.00 c applied globally : - - - 828121 26.9 - - -
1797.06/1797.00 c applied locally : - - - 6399 52.2 - - -
1797.06/1797.00 c Separators : Time Calls Cutoffs DomReds Cuts Conss
1797.06/1797.00 c cut pool : 0.00 4 - - 182 - (maximal pool size: 621)
1797.06/1797.00 c redcost : 3.06 523221 0 0 0 0
1797.06/1797.00 c impliedbounds : 0.00 5 0 0 0 0
1797.06/1797.00 c intobj : 0.00 0 0 0 0 0
1797.06/1797.00 c gomory : 0.19 5 0 0 1063 0
1797.06/1797.00 c cgmip : 0.00 0 0 0 0 0
1797.06/1797.00 c closecuts : 0.00 0 0 0 0 0
1797.06/1797.00 c strongcg : 0.15 5 0 0 1175 0
1797.06/1797.00 c cmir : 0.00 0 0 0 0 0
1797.06/1797.00 c flowcover : 0.00 0 0 0 0 0
1797.06/1797.00 c clique : 0.00 5 0 0 0 0
1797.06/1797.00 c zerohalf : 0.00 0 0 0 0 0
1797.06/1797.00 c mcf : 0.00 1 0 0 0 0
1797.06/1797.00 c oddcycle : 0.00 0 0 0 0 0
1797.06/1797.00 c rapidlearning : 0.02 1 0 0 0 33
1797.06/1797.00 c Pricers : Time Calls Vars
1797.06/1797.00 c problem variables: 0.00 0 0
1797.06/1797.00 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
1797.06/1797.00 c relpscost : 78.01 525259 719 5301 0 0 1044238
1797.06/1797.00 c pscost : 0.00 0 0 0 0 0 0
1797.06/1797.00 c inference : 0.00 1 0 0 0 0 2
1797.06/1797.00 c mostinf : 0.00 0 0 0 0 0 0
1797.06/1797.00 c leastinf : 0.00 0 0 0 0 0 0
1797.06/1797.00 c fullstrong : 0.00 0 0 0 0 0 0
1797.06/1797.00 c allfullstrong : 0.00 0 0 0 0 0 0
1797.06/1797.00 c random : 0.00 0 0 0 0 0 0
1797.06/1797.00 c Primal Heuristics : Time Calls Found
1797.06/1797.00 c LP solutions : 0.00 - 0
1797.06/1797.00 c pseudo solutions : 0.00 - 0
1797.06/1797.00 c trivial : 0.00 1 0
1797.06/1797.00 c shiftandpropagate: 0.00 0 0
1797.06/1797.00 c simplerounding : 0.00 0 0
1797.06/1797.00 c zirounding : 0.00 0 0
1797.06/1797.00 c rounding : 0.00 0 0
1797.06/1797.00 c shifting : 0.00 0 0
1797.06/1797.00 c intshifting : 0.00 0 0
1797.06/1797.00 c oneopt : 0.00 0 0
1797.06/1797.00 c twoopt : 0.00 0 0
1797.06/1797.00 c fixandinfer : 0.00 0 0
1797.06/1797.00 c feaspump : 0.00 0 0
1797.06/1797.00 c clique : 0.00 0 0
1797.06/1797.00 c coefdiving : 0.00 0 0
1797.06/1797.00 c pscostdiving : 0.00 0 0
1797.06/1797.00 c fracdiving : 0.00 0 0
1797.06/1797.00 c veclendiving : 0.00 0 0
1797.06/1797.00 c intdiving : 0.00 0 0
1797.06/1797.00 c actconsdiving : 0.00 0 0
1797.06/1797.00 c objpscostdiving : 0.00 0 0
1797.06/1797.00 c rootsoldiving : 0.00 0 0
1797.06/1797.00 c linesearchdiving : 0.00 0 0
1797.06/1797.00 c guideddiving : 0.00 0 0
1797.06/1797.00 c octane : 0.00 0 0
1797.06/1797.00 c rens : 0.00 0 0
1797.06/1797.00 c rins : 0.00 0 0
1797.06/1797.00 c localbranching : 0.00 0 0
1797.06/1797.00 c mutation : 0.00 0 0
1797.06/1797.00 c crossover : 0.00 0 0
1797.06/1797.00 c dins : 0.00 0 0
1797.06/1797.00 c vbounds : 0.00 0 0
1797.06/1797.00 c undercover : 0.00 0 0
1797.06/1797.00 c subnlp : 0.00 0 0
1797.06/1797.00 c trysol : 0.00 0 0
1797.06/1797.00 c LP : Time Calls Iterations Iter/call Iter/sec
1797.06/1797.00 c primal LP : 0.00 0 0 0.00 -
1797.06/1797.00 c dual LP : 1284.36 888644 22959490 25.84 17876.26
1797.06/1797.00 c lex dual LP : 0.00 0 0 0.00 -
1797.06/1797.00 c barrier LP : 0.00 0 0 0.00 -
1797.06/1797.00 c diving/probing LP: 0.00 0 0 0.00 -
1797.06/1797.00 c strong branching : 66.22 26019 992141 38.13 14981.54
1797.06/1797.00 c (at root node) : - 15 4979 331.93 -
1797.06/1797.00 c conflict analysis: 0.00 0 0 0.00 -
1797.06/1797.00 c B&B Tree :
1797.06/1797.00 c number of runs : 1
1797.06/1797.00 c nodes : 971394
1797.06/1797.00 c nodes (total) : 971394
1797.06/1797.00 c nodes left : 17083
1797.06/1797.00 c max depth : 50
1797.06/1797.00 c max depth (total): 50
1797.06/1797.00 c backtracks : 223566 (23.0%)
1797.06/1797.00 c delayed cutoffs : 55764
1797.06/1797.00 c repropagations : 829521 (6445219 domain reductions, 48205 cutoffs)
1797.06/1797.00 c avg switch length: 4.85
1797.06/1797.00 c switching time : 103.07
1797.06/1797.00 c Solution :
1797.06/1797.00 c Solutions found : 0 (0 improvements)
1797.06/1797.00 c Primal Bound : -
1797.06/1797.00 c Dual Bound : +0.00000000000000e+00
1797.06/1797.00 c Gap : infinite
1797.06/1797.00 c Root Dual Bound : +0.00000000000000e+00
1797.06/1797.00 c Root Iterations : 568
1797.06/1797.08 c Time complete: 1797.14.
runsolver Copyright (C) 2010-2011 Olivier ROUSSEL
This is runsolver version 3.3.1 (svn: 988)
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3489807-1307795682/watcher-3489807-1307795682 -o /tmp/evaluation-result-3489807-1307795682/solver-3489807-1307795682 -C 1800 -W 1900 -M 15500 HOME/scip-2.0.1.4b_2.linux.x86_64.gnu.opt.spx -f HOME/instance-3489807-1307795682.opb -t 1800 -m 15500
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 2.00 2.01 2.00 3/174 14893
/proc/meminfo: memFree=28504644/32951124 swapFree=67064580/67111528
[pid=14893] ppid=14891 vsize=11972 CPUtime=0 cores=1,3,5,7
/proc/14893/stat : 14893 (scip-2.0.1.4b_2) R 14891 14893 13556 0 -1 4202496 1995 0 0 0 0 0 0 0 25 0 1 0 871983854 12259328 1949 33554432000 4194304 9016284 140733453239344 18446744073709551615 7870589 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/14893/statm: 2993 1961 340 1178 0 1811 0
[startup+0.056596 s]
/proc/loadavg: 2.00 2.01 2.00 3/174 14893
/proc/meminfo: memFree=28504644/32951124 swapFree=67064580/67111528
[pid=14893] ppid=14891 vsize=27024 CPUtime=0.04 cores=1,3,5,7
/proc/14893/stat : 14893 (scip-2.0.1.4b_2) R 14891 14893 13556 0 -1 4202496 5712 0 0 0 4 0 0 0 18 0 1 0 871983854 27672576 5408 33554432000 4194304 9016284 140733453239344 18446744073709551615 4447263 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/14893/statm: 6756 5448 635 1178 0 5574 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 27024
[startup+0.100585 s]
/proc/loadavg: 2.00 2.01 2.00 3/174 14893
/proc/meminfo: memFree=28504644/32951124 swapFree=67064580/67111528
[pid=14893] ppid=14891 vsize=34120 CPUtime=0.09 cores=1,3,5,7
/proc/14893/stat : 14893 (scip-2.0.1.4b_2) R 14891 14893 13556 0 -1 4202496 8163 0 0 0 8 1 0 0 18 0 1 0 871983854 34938880 7152 33554432000 4194304 9016284 140733453239344 18446744073709551615 4489651 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/14893/statm: 8530 7152 663 1178 0 7348 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 34120
[startup+0.300543 s]
/proc/loadavg: 2.00 2.01 2.00 3/174 14893
/proc/meminfo: memFree=28504644/32951124 swapFree=67064580/67111528
[pid=14893] ppid=14891 vsize=34120 CPUtime=0.29 cores=1,3,5,7
/proc/14893/stat : 14893 (scip-2.0.1.4b_2) R 14891 14893 13556 0 -1 4202496 8189 0 0 0 28 1 0 0 18 0 1 0 871983854 34938880 7178 33554432000 4194304 9016284 140733453239344 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/14893/statm: 8530 7178 663 1178 0 7348 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 34120
[startup+0.700469 s]
/proc/loadavg: 2.00 2.01 2.00 3/174 14893
/proc/meminfo: memFree=28504644/32951124 swapFree=67064580/67111528
[pid=14893] ppid=14891 vsize=34188 CPUtime=0.69 cores=1,3,5,7
/proc/14893/stat : 14893 (scip-2.0.1.4b_2) R 14891 14893 13556 0 -1 4202496 8206 0 0 0 67 2 0 0 18 0 1 0 871983854 35008512 7195 33554432000 4194304 9016284 140733453239344 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/14893/statm: 8547 7195 664 1178 0 7365 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 34188
[startup+1.50033 s]
/proc/loadavg: 2.00 2.01 2.00 3/175 14894
/proc/meminfo: memFree=28477752/32951124 swapFree=67064580/67111528
[pid=14893] ppid=14891 vsize=34188 CPUtime=1.49 cores=1,3,5,7
/proc/14893/stat : 14893 (scip-2.0.1.4b_2) R 14891 14893 13556 0 -1 4202496 8208 0 0 0 143 6 0 0 19 0 1 0 871983854 35008512 7197 33554432000 4194304 9016284 140733453239344 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/14893/statm: 8547 7197 666 1178 0 7365 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 34188
[startup+3.10102 s]
/proc/loadavg: 2.00 2.01 2.00 3/175 14894
/proc/meminfo: memFree=28477380/32951124 swapFree=67064580/67111528
[pid=14893] ppid=14891 vsize=34188 CPUtime=3.09 cores=1,3,5,7
/proc/14893/stat : 14893 (scip-2.0.1.4b_2) R 14891 14893 13556 0 -1 4202496 8208 0 0 0 292 17 0 0 25 0 1 0 871983854 35008512 7197 33554432000 4194304 9016284 140733453239344 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/14893/statm: 8547 7197 666 1178 0 7365 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 34188
[startup+6.30041 s]
/proc/loadavg: 2.00 2.01 2.00 3/175 14894
/proc/meminfo: memFree=28476720/32951124 swapFree=67064580/67111528
[pid=14893] ppid=14891 vsize=34188 CPUtime=6.29 cores=1,3,5,7
/proc/14893/stat : 14893 (scip-2.0.1.4b_2) R 14891 14893 13556 0 -1 4202496 8227 0 0 0 594 35 0 0 25 0 1 0 871983854 35008512 7216 33554432000 4194304 9016284 140733453239344 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/14893/statm: 8547 7216 666 1178 0 7365 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 34188
[startup+12.7002 s]
/proc/loadavg: 2.00 2.01 2.00 3/175 14895
/proc/meminfo: memFree=28476356/32951124 swapFree=67064580/67111528
[pid=14893] ppid=14891 vsize=34188 CPUtime=12.69 cores=1,3,5,7
/proc/14893/stat : 14893 (scip-2.0.1.4b_2) R 14891 14893 13556 0 -1 4202496 8288 0 0 0 1199 70 0 0 25 0 1 0 871983854 35008512 7277 33554432000 4194304 9016284 140733453239344 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/14893/statm: 8547 7277 668 1178 0 7365 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 34188
[startup+25.5008 s]
/proc/loadavg: 2.00 2.01 2.00 3/175 14895
/proc/meminfo: memFree=28474288/32951124 swapFree=67064580/67111528
[pid=14893] ppid=14891 vsize=34188 CPUtime=25.49 cores=1,3,5,7
/proc/14893/stat : 14893 (scip-2.0.1.4b_2) R 14891 14893 13556 0 -1 4202496 8554 0 0 0 2404 145 0 0 25 0 1 0 871983854 35008512 7531 33554432000 4194304 9016284 140733453239344 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/14893/statm: 8547 7531 668 1178 0 7365 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 34188
[startup+51.101 s]
/proc/loadavg: 2.00 2.01 2.00 3/175 14896
/proc/meminfo: memFree=28473708/32951124 swapFree=67064580/67111528
[pid=14893] ppid=14891 vsize=36920 CPUtime=51.09 cores=1,3,5,7
/proc/14893/stat : 14893 (scip-2.0.1.4b_2) R 14891 14893 13556 0 -1 4202496 9241 0 0 0 4767 342 0 0 25 0 1 0 871983854 37806080 8216 33554432000 4194304 9016284 140733453239344 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/14893/statm: 9230 8216 668 1178 0 8048 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 36920
[startup+102.306 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 14897
/proc/meminfo: memFree=28468236/32951124 swapFree=67064580/67111528
[pid=14893] ppid=14891 vsize=41428 CPUtime=102.3 cores=1,3,5,7
/proc/14893/stat : 14893 (scip-2.0.1.4b_2) R 14891 14893 13556 0 -1 4202496 10317 0 0 0 9558 672 0 0 25 0 1 0 871983854 42422272 9292 33554432000 4194304 9016284 140733453239344 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/14893/statm: 10357 9292 668 1178 0 9175 0
Current children cumulated CPU time (s) 102.3
Current children cumulated vsize (KiB) 41428
[startup+162.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 14899
/proc/meminfo: memFree=28454676/32951124 swapFree=67064580/67111528
[pid=14893] ppid=14891 vsize=46744 CPUtime=162.3 cores=1,3,5,7
/proc/14893/stat : 14893 (scip-2.0.1.4b_2) R 14891 14893 13556 0 -1 4202496 11648 0 0 0 15220 1010 0 0 25 0 1 0 871983854 47865856 10623 33554432000 4194304 9016284 140733453239344 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/14893/statm: 11686 10623 668 1178 0 10504 0
Current children cumulated CPU time (s) 162.3
Current children cumulated vsize (KiB) 46744
[startup+222.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 14900
/proc/meminfo: memFree=28452532/32951124 swapFree=67064580/67111528
[pid=14893] ppid=14891 vsize=48508 CPUtime=222.3 cores=1,3,5,7
/proc/14893/stat : 14893 (scip-2.0.1.4b_2) R 14891 14893 13556 0 -1 4202496 12143 0 0 0 20886 1344 0 0 25 0 1 0 871983854 49672192 11118 33554432000 4194304 9016284 140733453239344 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/14893/statm: 12127 11118 668 1178 0 10945 0
Current children cumulated CPU time (s) 222.3
Current children cumulated vsize (KiB) 48508
[startup+282.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 14902
/proc/meminfo: memFree=28450508/32951124 swapFree=67064580/67111528
[pid=14893] ppid=14891 vsize=50340 CPUtime=282.3 cores=1,3,5,7
/proc/14893/stat : 14893 (scip-2.0.1.4b_2) R 14891 14893 13556 0 -1 4202496 12609 0 0 0 26545 1685 0 0 25 0 1 0 871983854 51548160 11583 33554432000 4194304 9016284 140733453239344 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/14893/statm: 12585 11583 668 1178 0 11403 0
Current children cumulated CPU time (s) 282.3
Current children cumulated vsize (KiB) 50340
[startup+342.301 s]
/proc/loadavg: 2.06 2.02 2.00 3/175 14903
/proc/meminfo: memFree=28447004/32951124 swapFree=67064580/67111528
[pid=14893] ppid=14891 vsize=54064 CPUtime=342.3 cores=1,3,5,7
/proc/14893/stat : 14893 (scip-2.0.1.4b_2) R 14891 14893 13556 0 -1 4202496 13509 0 0 0 32204 2026 0 0 25 0 1 0 871983854 55361536 12472 33554432000 4194304 9016284 140733453239344 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/14893/statm: 13516 12472 668 1178 0 12334 0
Current children cumulated CPU time (s) 342.3
Current children cumulated vsize (KiB) 54064
[startup+402.301 s]
/proc/loadavg: 2.02 2.01 2.00 3/175 14905
/proc/meminfo: memFree=28445596/32951124 swapFree=67064580/67111528
[pid=14893] ppid=14891 vsize=54344 CPUtime=402.31 cores=1,3,5,7
/proc/14893/stat : 14893 (scip-2.0.1.4b_2) R 14891 14893 13556 0 -1 4202496 13603 0 0 0 37869 2362 0 0 25 0 1 0 871983854 55648256 12566 33554432000 4194304 9016284 140733453239344 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/14893/statm: 13586 12566 668 1178 0 12404 0
Current children cumulated CPU time (s) 402.31
Current children cumulated vsize (KiB) 54344
[startup+462.3 s]
/proc/loadavg: 2.01 2.00 2.00 3/175 14907
/proc/meminfo: memFree=28442676/32951124 swapFree=67064580/67111528
[pid=14893] ppid=14891 vsize=57504 CPUtime=462.31 cores=1,3,5,7
/proc/14893/stat : 14893 (scip-2.0.1.4b_2) R 14891 14893 13556 0 -1 4202496 14350 0 0 0 43535 2696 0 0 25 0 1 0 871983854 58884096 13313 33554432000 4194304 9016284 140733453239344 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/14893/statm: 14376 13313 668 1178 0 13194 0
Current children cumulated CPU time (s) 462.31
Current children cumulated vsize (KiB) 57504
[startup+522.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 14908
/proc/meminfo: memFree=28441900/32951124 swapFree=67064580/67111528
[pid=14893] ppid=14891 vsize=58408 CPUtime=522.31 cores=1,3,5,7
/proc/14893/stat : 14893 (scip-2.0.1.4b_2) R 14891 14893 13556 0 -1 4202496 14537 0 0 0 49206 3025 0 0 25 0 1 0 871983854 59809792 13500 33554432000 4194304 9016284 140733453239344 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/14893/statm: 14602 13500 668 1178 0 13420 0
Current children cumulated CPU time (s) 522.31
Current children cumulated vsize (KiB) 58408
[startup+582.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 14910
/proc/meminfo: memFree=28438896/32951124 swapFree=67064580/67111528
[pid=14893] ppid=14891 vsize=60124 CPUtime=582.31 cores=1,3,5,7
/proc/14893/stat : 14893 (scip-2.0.1.4b_2) R 14891 14893 13556 0 -1 4202496 14995 0 0 0 54866 3365 0 0 25 0 1 0 871983854 61566976 13958 33554432000 4194304 9016284 140733453239344 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/14893/statm: 15031 13958 668 1178 0 13849 0
Current children cumulated CPU time (s) 582.31
Current children cumulated vsize (KiB) 60124
[startup+642.3 s]
################
# More data... #
################
/proc/meminfo: memFree=28427032/32951124 swapFree=67064580/67111528
[pid=14893] ppid=14891 vsize=73344 CPUtime=1122.33 cores=1,3,5,7
/proc/14893/stat : 14893 (scip-2.0.1.4b_2) R 14891 14893 13556 0 -1 4202496 18201 0 0 0 106044 6189 0 0 25 0 1 0 871983854 75104256 17164 33554432000 4194304 9016284 140733453239344 18446744073709551615 7213542 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/14893/statm: 18336 17164 668 1178 0 17154 0
Current children cumulated CPU time (s) 1122.33
Current children cumulated vsize (KiB) 73344
[startup+1182.3 s]
/proc/loadavg: 1.51 1.87 1.96 2/169 14951
/proc/meminfo: memFree=31372800/32951124 swapFree=67064580/67111528
[pid=14893] ppid=14891 vsize=74852 CPUtime=1182.33 cores=1,3,5,7
/proc/14893/stat : 14893 (scip-2.0.1.4b_2) R 14891 14893 13556 0 -1 4202496 18635 0 0 0 111619 6614 0 0 25 0 1 0 871983854 76648448 17596 33554432000 4194304 9016284 140733453239344 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/14893/statm: 18713 17596 669 1178 0 17531 0
Current children cumulated CPU time (s) 1182.33
Current children cumulated vsize (KiB) 74852
[startup+1242.3 s]
/proc/loadavg: 1.19 1.71 1.89 2/169 14952
/proc/meminfo: memFree=31372264/32951124 swapFree=67064580/67111528
[pid=14893] ppid=14891 vsize=75140 CPUtime=1242.34 cores=1,3,5,7
/proc/14893/stat : 14893 (scip-2.0.1.4b_2) R 14891 14893 13556 0 -1 4202496 18719 0 0 0 117138 7096 0 0 25 0 1 0 871983854 76943360 17679 33554432000 4194304 9016284 140733453239344 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/14893/statm: 18785 17679 668 1178 0 17603 0
Current children cumulated CPU time (s) 1242.34
Current children cumulated vsize (KiB) 75140
[startup+1302.3 s]
/proc/loadavg: 1.06 1.57 1.83 2/169 14954
/proc/meminfo: memFree=31370968/32951124 swapFree=67064580/67111528
[pid=14893] ppid=14891 vsize=76576 CPUtime=1302.34 cores=1,3,5,7
/proc/14893/stat : 14893 (scip-2.0.1.4b_2) R 14891 14893 13556 0 -1 4202496 19058 0 0 0 122662 7572 0 0 25 0 1 0 871983854 78413824 18018 33554432000 4194304 9016284 140733453239344 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/14893/statm: 19144 18018 668 1178 0 17962 0
Current children cumulated CPU time (s) 1302.34
Current children cumulated vsize (KiB) 76576
[startup+1362.3 s]
/proc/loadavg: 1.02 1.47 1.78 2/169 14956
/proc/meminfo: memFree=31369440/32951124 swapFree=67064580/67111528
[pid=14893] ppid=14891 vsize=77968 CPUtime=1362.34 cores=1,3,5,7
/proc/14893/stat : 14893 (scip-2.0.1.4b_2) R 14891 14893 13556 0 -1 4202496 19429 0 0 0 128181 8053 0 0 25 0 1 0 871983854 79839232 18389 33554432000 4194304 9016284 140733453239344 18446744073709551615 4347912 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/14893/statm: 19492 18389 668 1178 0 18310 0
Current children cumulated CPU time (s) 1362.34
Current children cumulated vsize (KiB) 77968
[startup+1422.31 s]
/proc/loadavg: 1.05 1.39 1.73 2/169 14957
/proc/meminfo: memFree=31369280/32951124 swapFree=67064580/67111528
[pid=14893] ppid=14891 vsize=78600 CPUtime=1422.35 cores=1,3,5,7
/proc/14893/stat : 14893 (scip-2.0.1.4b_2) R 14891 14893 13556 0 -1 4202496 19510 0 0 0 133713 8522 0 0 25 0 1 0 871983854 80486400 18470 33554432000 4194304 9016284 140733453239344 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/14893/statm: 19650 18470 668 1178 0 18468 0
Current children cumulated CPU time (s) 1422.35
Current children cumulated vsize (KiB) 78600
[startup+1482.3 s]
/proc/loadavg: 1.02 1.32 1.69 2/169 14959
/proc/meminfo: memFree=31366496/32951124 swapFree=67064580/67111528
[pid=14893] ppid=14891 vsize=81564 CPUtime=1482.34 cores=1,3,5,7
/proc/14893/stat : 14893 (scip-2.0.1.4b_2) R 14891 14893 13556 0 -1 4202496 20195 0 0 0 139241 8993 0 0 25 0 1 0 871983854 83521536 19143 33554432000 4194304 9016284 140733453239344 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/14893/statm: 20391 19143 668 1178 0 19209 0
Current children cumulated CPU time (s) 1482.34
Current children cumulated vsize (KiB) 81564
[startup+1542.3 s]
/proc/loadavg: 1.00 1.26 1.63 2/169 14960
/proc/meminfo: memFree=31364976/32951124 swapFree=67064580/67111528
[pid=14893] ppid=14891 vsize=82988 CPUtime=1542.35 cores=1,3,5,7
/proc/14893/stat : 14893 (scip-2.0.1.4b_2) R 14891 14893 13556 0 -1 4202496 20613 0 0 0 144758 9477 0 0 25 0 1 0 871983854 84979712 19561 33554432000 4194304 9016284 140733453239344 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/14893/statm: 20747 19561 668 1178 0 19565 0
Current children cumulated CPU time (s) 1542.35
Current children cumulated vsize (KiB) 82988
[startup+1602.3 s]
/proc/loadavg: 1.00 1.21 1.60 2/169 14971
/proc/meminfo: memFree=31364296/32951124 swapFree=67064580/67111528
[pid=14893] ppid=14891 vsize=84144 CPUtime=1602.35 cores=1,3,5,7
/proc/14893/stat : 14893 (scip-2.0.1.4b_2) R 14891 14893 13556 0 -1 4202496 20919 0 0 0 150275 9960 0 0 25 0 1 0 871983854 86163456 19867 33554432000 4194304 9016284 140733453239344 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/14893/statm: 21036 19867 668 1178 0 19854 0
Current children cumulated CPU time (s) 1602.35
Current children cumulated vsize (KiB) 84144
[startup+1662.3 s]
/proc/loadavg: 1.00 1.17 1.55 2/169 14973
/proc/meminfo: memFree=31361652/32951124 swapFree=67064580/67111528
[pid=14893] ppid=14891 vsize=86720 CPUtime=1662.36 cores=1,3,5,7
/proc/14893/stat : 14893 (scip-2.0.1.4b_2) R 14891 14893 13556 0 -1 4202496 21574 0 0 0 155806 10430 0 0 25 0 1 0 871983854 88801280 20522 33554432000 4194304 9016284 140733453239344 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/14893/statm: 21680 20522 668 1178 0 20498 0
Current children cumulated CPU time (s) 1662.36
Current children cumulated vsize (KiB) 86720
[startup+1722.3 s]
/proc/loadavg: 1.00 1.14 1.52 2/169 14974
/proc/meminfo: memFree=31361356/32951124 swapFree=67064580/67111528
[pid=14893] ppid=14891 vsize=86720 CPUtime=1722.36 cores=1,3,5,7
/proc/14893/stat : 14893 (scip-2.0.1.4b_2) R 14891 14893 13556 0 -1 4202496 21608 0 0 0 161332 10904 0 0 25 0 1 0 871983854 88801280 20556 33554432000 4194304 9016284 140733453239344 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/14893/statm: 21680 20556 668 1178 0 20498 0
Current children cumulated CPU time (s) 1722.36
Current children cumulated vsize (KiB) 86720
[startup+1782.3 s]
/proc/loadavg: 1.00 1.11 1.48 2/169 14976
/proc/meminfo: memFree=31361164/32951124 swapFree=67064580/67111528
[pid=14893] ppid=14891 vsize=86868 CPUtime=1782.36 cores=1,3,5,7
/proc/14893/stat : 14893 (scip-2.0.1.4b_2) R 14891 14893 13556 0 -1 4202496 21663 0 0 0 166860 11376 0 0 25 0 1 0 871983854 88952832 20611 33554432000 4194304 9016284 140733453239344 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/14893/statm: 21717 20611 668 1178 0 20535 0
Current children cumulated CPU time (s) 1782.36
Current children cumulated vsize (KiB) 86868
Solver just ended. Dumping a history of the last processes samples
[startup+1785.5 s]
/proc/loadavg: 1.00 1.11 1.48 2/169 14976
/proc/meminfo: memFree=31360788/32951124 swapFree=67064580/67111528
[pid=14893] ppid=14891 vsize=87192 CPUtime=1785.55 cores=1,3,5,7
/proc/14893/stat : 14893 (scip-2.0.1.4b_2) R 14891 14893 13556 0 -1 4202496 21739 0 0 0 167155 11400 0 0 25 0 1 0 871983854 89284608 20687 33554432000 4194304 9016284 140733453239344 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/14893/statm: 21798 20687 668 1178 0 20616 0
Current children cumulated CPU time (s) 1785.55
Current children cumulated vsize (KiB) 87192
[startup+1791.91 s]
/proc/loadavg: 1.00 1.11 1.48 2/169 14976
/proc/meminfo: memFree=31360784/32951124 swapFree=67064580/67111528
[pid=14893] ppid=14891 vsize=87192 CPUtime=1791.96 cores=1,3,5,7
/proc/14893/stat : 14893 (scip-2.0.1.4b_2) R 14891 14893 13556 0 -1 4202496 21751 0 0 0 167742 11454 0 0 25 0 1 0 871983854 89284608 20699 33554432000 4194304 9016284 140733453239344 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/14893/statm: 21798 20699 668 1178 0 20616 0
Current children cumulated CPU time (s) 1791.96
Current children cumulated vsize (KiB) 87192
[startup+1795.1 s]
/proc/loadavg: 1.00 1.10 1.47 2/169 14976
/proc/meminfo: memFree=31360412/32951124 swapFree=67064580/67111528
[pid=14893] ppid=14891 vsize=87796 CPUtime=1795.16 cores=1,3,5,7
/proc/14893/stat : 14893 (scip-2.0.1.4b_2) R 14891 14893 13556 0 -1 4202496 21842 0 0 0 168038 11478 0 0 25 0 1 0 871983854 89903104 20790 33554432000 4194304 9016284 140733453239344 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/14893/statm: 21949 20790 668 1178 0 20767 0
Current children cumulated CPU time (s) 1795.16
Current children cumulated vsize (KiB) 87796
[startup+1795.9 s]
/proc/loadavg: 1.00 1.10 1.47 2/169 14976
/proc/meminfo: memFree=31360412/32951124 swapFree=67064580/67111528
[pid=14893] ppid=14891 vsize=87796 CPUtime=1795.96 cores=1,3,5,7
/proc/14893/stat : 14893 (scip-2.0.1.4b_2) R 14891 14893 13556 0 -1 4202496 21846 0 0 0 168111 11485 0 0 25 0 1 0 871983854 89903104 20794 33554432000 4194304 9016284 140733453239344 18446744073709551615 4653763 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/14893/statm: 21949 20794 668 1178 0 20767 0
Current children cumulated CPU time (s) 1795.96
Current children cumulated vsize (KiB) 87796
[startup+1796.7 s]
/proc/loadavg: 1.00 1.10 1.47 2/169 14976
/proc/meminfo: memFree=31360412/32951124 swapFree=67064580/67111528
[pid=14893] ppid=14891 vsize=87796 CPUtime=1796.75 cores=1,3,5,7
/proc/14893/stat : 14893 (scip-2.0.1.4b_2) R 14891 14893 13556 0 -1 4202496 21846 0 0 0 168183 11492 0 0 25 0 1 0 871983854 89903104 20794 33554432000 4194304 9016284 140733453239344 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/14893/statm: 21949 20794 668 1178 0 20767 0
Current children cumulated CPU time (s) 1796.75
Current children cumulated vsize (KiB) 87796
[startup+1796.9 s]
/proc/loadavg: 1.00 1.10 1.47 2/169 14976
/proc/meminfo: memFree=31360412/32951124 swapFree=67064580/67111528
[pid=14893] ppid=14891 vsize=87796 CPUtime=1796.96 cores=1,3,5,7
/proc/14893/stat : 14893 (scip-2.0.1.4b_2) R 14891 14893 13556 0 -1 4202496 21846 0 0 0 168202 11494 0 0 25 0 1 0 871983854 89903104 20794 33554432000 4194304 9016284 140733453239344 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/14893/statm: 21949 20794 668 1178 0 20767 0
Current children cumulated CPU time (s) 1796.96
Current children cumulated vsize (KiB) 87796
[startup+1797 s]
/proc/loadavg: 1.00 1.10 1.47 2/169 14976
/proc/meminfo: memFree=31360412/32951124 swapFree=67064580/67111528
[pid=14893] ppid=14891 vsize=87796 CPUtime=1797.06 cores=1,3,5,7
/proc/14893/stat : 14893 (scip-2.0.1.4b_2) R 14891 14893 13556 0 -1 4202496 21846 0 0 0 168211 11495 0 0 25 0 1 0 871983854 89903104 20794 33554432000 4194304 9016284 140733453239344 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/14893/statm: 21949 20794 668 1178 0 20767 0
Current children cumulated CPU time (s) 1797.06
Current children cumulated vsize (KiB) 87796
Child status: 0
Real time (s): 1797.09
CPU time (s): 1797.15
CPU user time (s): 1682.2
CPU system time (s): 114.957
CPU usage (%): 100.004
Max. virtual memory (cumulated for all children) (KiB): 87796
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1682.2
system time used= 114.957
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 21894
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 8
involuntary context switches= 2362
runsolver used 2.44363 second user time and 6.11707 second system time
The end