0.00/0.00 c SCIP version 1.2.1.3 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: SoPlex 1.4.2]
0.00/0.00 c Copyright (c) 2002-2010 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-3729102-1338678647.opb>
0.00/0.01 c original problem has 490 variables (490 bin, 0 int, 0 impl, 0 cont) and 737 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) 0 del vars, 0 del conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 737 upgd conss, 522 impls, 0 clqs
0.02/0.03 c (round 2) 8 del vars, 0 del conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 737 upgd conss, 19274 impls, 0 clqs
0.02/0.03 c (round 3) 8 del vars, 8 del conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 737 upgd conss, 19274 impls, 0 clqs
0.02/0.03 c (round 4) 8 del vars, 12 del conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 737 upgd conss, 19274 impls, 0 clqs
0.02/0.03 c presolving (5 rounds):
0.02/0.03 c 8 deleted vars, 12 deleted constraints, 0 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
0.02/0.03 c 19274 implications, 0 cliques
0.02/0.03 c presolved problem has 482 variables (482 bin, 0 int, 0 impl, 0 cont) and 725 constraints
0.02/0.03 c 340 constraints of type <knapsack>
0.02/0.03 c 241 constraints of type <setppc>
0.02/0.03 c 144 constraints of type <logicor>
0.02/0.03 c transformed objective value is always integral (scale: 1)
0.02/0.03 c Presolving Time: 0.02
0.02/0.03 c - non default parameters ----------------------------------------------------------------------
0.02/0.03 c # SCIP version 1.2.1.3
0.02/0.03 c
0.02/0.03 c # frequency for displaying node information lines
0.02/0.03 c # [type: int, range: [-1,2147483647], default: 100]
0.02/0.03 c display/freq = 10000
0.02/0.03 c
0.02/0.03 c # maximal time in seconds to run
0.02/0.03 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.02/0.03 c limits/time = 1790
0.02/0.03 c
0.02/0.03 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.02/0.03 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.02/0.03 c limits/memory = 13950
0.02/0.03 c
0.02/0.03 c # solving stops, if the given number of solutions were found (-1: no limit)
0.02/0.03 c # [type: int, range: [-1,2147483647], default: -1]
0.02/0.03 c limits/solutions = 1
0.02/0.03 c
0.02/0.03 c # maximal number of separation rounds per node (-1: unlimited)
0.02/0.03 c # [type: int, range: [-1,2147483647], default: 5]
0.02/0.03 c separating/maxrounds = 1
0.02/0.03 c
0.02/0.03 c # maximal number of separation rounds in the root node (-1: unlimited)
0.02/0.03 c # [type: int, range: [-1,2147483647], default: -1]
0.02/0.03 c separating/maxroundsroot = 5
0.02/0.03 c
0.02/0.03 c # default clock type (1: CPU user seconds, 2: wall clock time)
0.02/0.03 c # [type: int, range: [1,2], default: 1]
0.02/0.03 c timing/clocktype = 2
0.02/0.03 c
0.02/0.03 c # should presolving try to simplify inequalities
0.02/0.03 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.02/0.03 c constraints/linear/simplifyinequalities = TRUE
0.02/0.03 c
0.02/0.03 c # add initial coupling inequalities as linear constraints, if 'addCoupling' is true
0.02/0.03 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.02/0.03 c constraints/indicator/addCouplingCons = TRUE
0.02/0.03 c
0.02/0.03 c # should disaggregation of knapsack constraints be allowed in preprocessing?
0.02/0.03 c # [type: bool, range: {TRUE,FALSE}, default: TRUE]
0.02/0.03 c constraints/knapsack/disaggregation = FALSE
0.02/0.03 c
0.02/0.03 c # should presolving try to simplify knapsacks
0.02/0.03 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.02/0.03 c constraints/knapsack/simplifyinequalities = TRUE
0.02/0.03 c
0.02/0.03 c # maximal number of presolving rounds the presolver participates in (-1: no limit)
0.02/0.03 c # [type: int, range: [-1,2147483647], default: -1]
0.02/0.03 c presolving/probing/maxrounds = 0
0.02/0.03 c
0.02/0.03 c # frequency for calling primal heuristic <coefdiving> (-1: never, 0: only at depth freqofs)
0.02/0.03 c # [type: int, range: [-1,2147483647], default: 10]
0.02/0.03 c heuristics/coefdiving/freq = -1
0.02/0.03 c
0.02/0.03 c # maximal fraction of diving LP iterations compared to node LP iterations
0.02/0.03 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
0.02/0.03 c heuristics/coefdiving/maxlpiterquot = 0.075
0.02/0.03 c
0.02/0.03 c # additional number of allowed LP iterations
0.02/0.03 c # [type: int, range: [0,2147483647], default: 1000]
0.02/0.03 c heuristics/coefdiving/maxlpiterofs = 1500
0.02/0.03 c
0.02/0.03 c # frequency for calling primal heuristic <crossover> (-1: never, 0: only at depth freqofs)
0.02/0.03 c # [type: int, range: [-1,2147483647], default: 30]
0.02/0.03 c heuristics/crossover/freq = -1
0.02/0.03 c
0.02/0.03 c # number of nodes added to the contingent of the total nodes
0.02/0.03 c # [type: longint, range: [0,9223372036854775807], default: 500]
0.02/0.03 c heuristics/crossover/nodesofs = 750
0.02/0.03 c
0.02/0.03 c # number of nodes without incumbent change that heuristic should wait
0.02/0.03 c # [type: longint, range: [0,9223372036854775807], default: 200]
0.02/0.03 c heuristics/crossover/nwaitingnodes = 100
0.02/0.03 c
0.02/0.03 c # contingent of sub problem nodes in relation to the number of nodes of the original problem
0.02/0.03 c # [type: real, range: [0,1], default: 0.1]
0.02/0.03 c heuristics/crossover/nodesquot = 0.15
0.02/0.03 c
0.02/0.03 c # minimum percentage of integer variables that have to be fixed
0.02/0.03 c # [type: real, range: [0,1], default: 0.666]
0.02/0.03 c heuristics/crossover/minfixingrate = 0.5
0.02/0.03 c
0.02/0.03 c # frequency for calling primal heuristic <feaspump> (-1: never, 0: only at depth freqofs)
0.02/0.03 c # [type: int, range: [-1,2147483647], default: 20]
0.02/0.03 c heuristics/feaspump/freq = -1
0.02/0.03 c
0.02/0.03 c # additional number of allowed LP iterations
0.02/0.03 c # [type: int, range: [0,2147483647], default: 1000]
0.02/0.03 c heuristics/feaspump/maxlpiterofs = 2000
0.02/0.03 c
0.02/0.03 c # frequency for calling primal heuristic <fracdiving> (-1: never, 0: only at depth freqofs)
0.02/0.03 c # [type: int, range: [-1,2147483647], default: 10]
0.02/0.03 c heuristics/fracdiving/freq = -1
0.02/0.03 c
0.02/0.03 c # maximal fraction of diving LP iterations compared to node LP iterations
0.02/0.03 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
0.02/0.03 c heuristics/fracdiving/maxlpiterquot = 0.075
0.02/0.03 c
0.02/0.03 c # additional number of allowed LP iterations
0.02/0.03 c # [type: int, range: [0,2147483647], default: 1000]
0.02/0.03 c heuristics/fracdiving/maxlpiterofs = 1500
0.02/0.03 c
0.02/0.03 c # frequency for calling primal heuristic <guideddiving> (-1: never, 0: only at depth freqofs)
0.02/0.03 c # [type: int, range: [-1,2147483647], default: 10]
0.02/0.03 c heuristics/guideddiving/freq = -1
0.02/0.03 c
0.02/0.03 c # maximal fraction of diving LP iterations compared to node LP iterations
0.02/0.03 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
0.02/0.03 c heuristics/guideddiving/maxlpiterquot = 0.075
0.02/0.03 c
0.02/0.03 c # additional number of allowed LP iterations
0.02/0.03 c # [type: int, range: [0,2147483647], default: 1000]
0.02/0.03 c heuristics/guideddiving/maxlpiterofs = 1500
0.02/0.03 c
0.02/0.03 c # maximal fraction of diving LP iterations compared to node LP iterations
0.02/0.03 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
0.02/0.03 c heuristics/intdiving/maxlpiterquot = 0.075
0.02/0.03 c
0.02/0.03 c # frequency for calling primal heuristic <intshifting> (-1: never, 0: only at depth freqofs)
0.02/0.03 c # [type: int, range: [-1,2147483647], default: 10]
0.02/0.03 c heuristics/intshifting/freq = -1
0.02/0.03 c
0.02/0.03 c # frequency for calling primal heuristic <linesearchdiving> (-1: never, 0: only at depth freqofs)
0.02/0.03 c # [type: int, range: [-1,2147483647], default: 10]
0.02/0.03 c heuristics/linesearchdiving/freq = -1
0.02/0.03 c
0.02/0.03 c # maximal fraction of diving LP iterations compared to node LP iterations
0.02/0.03 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
0.02/0.03 c heuristics/linesearchdiving/maxlpiterquot = 0.075
0.02/0.03 c
0.02/0.03 c # additional number of allowed LP iterations
0.02/0.03 c # [type: int, range: [0,2147483647], default: 1000]
0.02/0.03 c heuristics/linesearchdiving/maxlpiterofs = 1500
0.02/0.03 c
0.02/0.03 c # frequency for calling primal heuristic <nlp> (-1: never, 0: only at depth freqofs)
0.02/0.03 c # [type: int, range: [-1,2147483647], default: 1]
0.02/0.03 c heuristics/nlp/freq = -1
0.02/0.03 c
0.02/0.03 c # frequency for calling primal heuristic <objpscostdiving> (-1: never, 0: only at depth freqofs)
0.02/0.03 c # [type: int, range: [-1,2147483647], default: 20]
0.02/0.03 c heuristics/objpscostdiving/freq = -1
0.02/0.03 c
0.02/0.03 c # maximal fraction of diving LP iterations compared to total iteration number
0.02/0.03 c # [type: real, range: [0,1], default: 0.01]
0.02/0.03 c heuristics/objpscostdiving/maxlpiterquot = 0.015
0.02/0.03 c
0.02/0.03 c # additional number of allowed LP iterations
0.02/0.03 c # [type: int, range: [0,2147483647], default: 1000]
0.02/0.03 c heuristics/objpscostdiving/maxlpiterofs = 1500
0.02/0.03 c
0.02/0.03 c # frequency for calling primal heuristic <oneopt> (-1: never, 0: only at depth freqofs)
0.02/0.03 c # [type: int, range: [-1,2147483647], default: 1]
0.02/0.03 c heuristics/oneopt/freq = -1
0.02/0.03 c
0.02/0.03 c # frequency for calling primal heuristic <pscostdiving> (-1: never, 0: only at depth freqofs)
0.02/0.03 c # [type: int, range: [-1,2147483647], default: 10]
0.02/0.03 c heuristics/pscostdiving/freq = -1
0.02/0.03 c
0.02/0.03 c # maximal fraction of diving LP iterations compared to node LP iterations
0.02/0.03 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
0.02/0.03 c heuristics/pscostdiving/maxlpiterquot = 0.075
0.02/0.03 c
0.02/0.03 c # additional number of allowed LP iterations
0.02/0.03 c # [type: int, range: [0,2147483647], default: 1000]
0.02/0.03 c heuristics/pscostdiving/maxlpiterofs = 1500
0.02/0.03 c
0.02/0.03 c # frequency for calling primal heuristic <rens> (-1: never, 0: only at depth freqofs)
0.02/0.03 c # [type: int, range: [-1,2147483647], default: 0]
0.02/0.03 c heuristics/rens/freq = -1
0.02/0.03 c
0.02/0.03 c # minimum percentage of integer variables that have to be fixable
0.02/0.03 c # [type: real, range: [0,1], default: 0.5]
0.02/0.03 c heuristics/rens/minfixingrate = 0.3
0.02/0.03 c
0.02/0.03 c # number of nodes added to the contingent of the total nodes
0.02/0.03 c # [type: longint, range: [0,9223372036854775807], default: 500]
0.02/0.03 c heuristics/rens/nodesofs = 2000
0.02/0.03 c
0.02/0.03 c # frequency for calling primal heuristic <rootsoldiving> (-1: never, 0: only at depth freqofs)
0.02/0.03 c # [type: int, range: [-1,2147483647], default: 20]
0.02/0.03 c heuristics/rootsoldiving/freq = -1
0.02/0.03 c
0.02/0.03 c # maximal fraction of diving LP iterations compared to node LP iterations
0.02/0.03 c # [type: real, range: [0,1.79769313486232e+308], default: 0.01]
0.02/0.03 c heuristics/rootsoldiving/maxlpiterquot = 0.015
0.02/0.03 c
0.02/0.03 c # additional number of allowed LP iterations
0.02/0.03 c # [type: int, range: [0,2147483647], default: 1000]
0.02/0.03 c heuristics/rootsoldiving/maxlpiterofs = 1500
0.02/0.03 c
0.02/0.03 c # frequency for calling primal heuristic <rounding> (-1: never, 0: only at depth freqofs)
0.02/0.03 c # [type: int, range: [-1,2147483647], default: 1]
0.02/0.03 c heuristics/rounding/freq = -1
0.02/0.03 c
0.02/0.03 c # frequency for calling primal heuristic <shifting> (-1: never, 0: only at depth freqofs)
0.02/0.03 c # [type: int, range: [-1,2147483647], default: 10]
0.02/0.03 c heuristics/shifting/freq = -1
0.02/0.03 c
0.02/0.03 c # frequency for calling primal heuristic <simplerounding> (-1: never, 0: only at depth freqofs)
0.02/0.03 c # [type: int, range: [-1,2147483647], default: 1]
0.02/0.03 c heuristics/simplerounding/freq = -1
0.02/0.03 c
0.02/0.03 c # frequency for calling primal heuristic <trivial> (-1: never, 0: only at depth freqofs)
0.02/0.03 c # [type: int, range: [-1,2147483647], default: 0]
0.02/0.03 c heuristics/trivial/freq = -1
0.02/0.03 c
0.02/0.03 c # frequency for calling primal heuristic <trysol> (-1: never, 0: only at depth freqofs)
0.02/0.03 c # [type: int, range: [-1,2147483647], default: 1]
0.02/0.03 c heuristics/trysol/freq = -1
0.02/0.03 c
0.02/0.03 c # frequency for calling primal heuristic <veclendiving> (-1: never, 0: only at depth freqofs)
0.02/0.03 c # [type: int, range: [-1,2147483647], default: 10]
0.02/0.03 c heuristics/veclendiving/freq = -1
0.02/0.03 c
0.02/0.03 c # maximal fraction of diving LP iterations compared to node LP iterations
0.02/0.03 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
0.02/0.03 c heuristics/veclendiving/maxlpiterquot = 0.075
0.02/0.03 c
0.02/0.03 c # additional number of allowed LP iterations
0.02/0.03 c # [type: int, range: [0,2147483647], default: 1000]
0.02/0.03 c heuristics/veclendiving/maxlpiterofs = 1500
0.02/0.03 c
0.02/0.03 c # frequency for calling primal heuristic <zirounding> (-1: never, 0: only at depth freqofs)
0.02/0.03 c # [type: int, range: [-1,2147483647], default: 1]
0.02/0.03 c heuristics/zirounding/freq = -1
0.02/0.03 c
0.02/0.03 c # frequency for calling separator <cmir> (-1: never, 0: only in root node)
0.02/0.03 c # [type: int, range: [-1,2147483647], default: 0]
0.02/0.03 c separating/cmir/freq = -1
0.02/0.03 c
0.02/0.03 c # frequency for calling separator <flowcover> (-1: never, 0: only in root node)
0.02/0.03 c # [type: int, range: [-1,2147483647], default: 0]
0.02/0.03 c separating/flowcover/freq = -1
0.02/0.03 c
0.02/0.03 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
0.02/0.03 c # [type: int, range: [-1,2147483647], default: -1]
0.02/0.03 c separating/rapidlearning/freq = 0
0.02/0.03 c
0.02/0.03 c -----------------------------------------------------------------------------------------------
0.02/0.03 c start solving
0.02/0.03 c
0.02/0.04 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
0.02/0.04 c 0.0s| 1 | 0 | 250 | - |3098k| 0 | 127 | 482 | 725 | 482 | 725 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
0.18/0.22 c 0.2s| 1 | 0 | 727 | - |4347k| 0 | 239 | 482 | 726 | 482 |1105 | 380 | 0 | 0 | 0.000000e+00 | -- | Inf
0.39/0.46 c 0.5s| 1 | 0 | 1192 | - |7287k| 0 | 336 | 482 | 726 | 482 |1575 | 850 | 0 | 0 | 0.000000e+00 | -- | Inf
0.69/0.75 c 0.7s| 1 | 0 | 1467 | - | 10M| 0 | 341 | 482 | 726 | 482 |1616 | 891 | 0 | 0 | 0.000000e+00 | -- | Inf
1.18/1.27 c 1.3s| 1 | 0 | 2807 | - | 12M| 0 | 314 | 482 | 726 | 482 |1618 | 893 | 0 | 0 | 0.000000e+00 | -- | Inf
1.49/1.52 c 1.5s| 1 | 0 | 3021 | - | 14M| 0 | 341 | 482 | 726 | 482 |1682 | 957 | 0 | 0 | 0.000000e+00 | -- | Inf
3.09/3.19 c 3.2s| 1 | 2 | 3021 | - | 14M| 0 | 341 | 482 | 726 | 482 |1682 | 957 | 0 | 10 | 0.000000e+00 | -- | Inf
26.29/26.36 c 26.3s| 10000 | 115 |146924 | 14.4 | 15M| 42 | - | 482 | 958 | 482 | 972 | 957 | 315 |3115 | 0.000000e+00 | -- | Inf
39.88/39.99 c 40.0s| 20000 | 135 |281656 | 13.9 | 15M| 45 | - | 482 |1080 | 482 | 972 | 957 | 672 |3332 | 0.000000e+00 | -- | Inf
52.87/52.96 c 52.9s| 30000 | 145 |410401 | 13.6 | 15M| 45 | 29 | 482 |1187 | 482 | 972 | 957 | 996 |3534 | 0.000000e+00 | -- | Inf
64.07/64.16 c 64.1s| 40000 | 146 |518321 | 12.9 | 15M| 45 | - | 482 |1300 | 0 | 0 | 957 |1377 |3887 | 0.000000e+00 | -- | Inf
77.07/77.15 c 77.1s| 50000 | 144 |637662 | 12.7 | 15M| 45 | 39 | 482 |1303 | 482 | 972 | 957 |1712 |4550 | 0.000000e+00 | -- | Inf
90.07/90.20 c 90.2s| 60000 | 147 |757254 | 12.6 | 15M| 45 | - | 482 |1293 | 0 | 0 | 957 |2069 |5167 | 0.000000e+00 | -- | Inf
102.37/102.49 c 102s| 70000 | 165 |877323 | 12.5 | 15M| 45 | - | 482 |1454 | 0 | 0 | 957 |2446 |5501 | 0.000000e+00 | -- | Inf
115.36/115.47 c 115s| 80000 | 164 |998263 | 12.4 | 15M| 50 | 34 | 482 |1553 | 482 | 972 | 957 |2858 |6022 | 0.000000e+00 | -- | Inf
129.56/129.60 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
129.56/129.60 c 130s| 90000 | 170 | 1132k| 12.6 | 15M| 50 | - | 482 |1480 | 0 | 0 | 957 |3188 |6597 | 0.000000e+00 | -- | Inf
143.56/143.61 c 144s|100000 | 171 | 1269k| 12.7 | 15M| 51 | 44 | 482 |1404 | 482 | 972 | 957 |3478 |7006 | 0.000000e+00 | -- | Inf
157.56/157.65 c 158s|110000 | 169 | 1403k| 12.7 | 15M| 51 | - | 482 |1404 | 482 | 972 | 957 |3794 |7493 | 0.000000e+00 | -- | Inf
172.26/172.39 c 172s|120000 | 171 | 1551k| 12.9 | 15M| 51 | - | 482 |1411 | 0 | 0 | 957 |4100 |7820 | 0.000000e+00 | -- | Inf
185.25/185.37 c 185s|130000 | 171 | 1681k| 12.9 | 15M| 51 | 37 | 482 |1579 | 482 | 972 | 957 |4426 |8070 | 0.000000e+00 | -- | Inf
199.45/199.55 c 200s|140000 | 181 | 1820k| 13.0 | 15M| 52 | 34 | 482 |1461 | 482 | 972 | 957 |4744 |8427 | 0.000000e+00 | -- | Inf
212.45/212.53 c 213s|150000 | 182 | 1948k| 13.0 | 15M| 52 | 40 | 482 |1556 | 482 | 972 | 957 |5066 |8718 | 0.000000e+00 | -- | Inf
224.54/224.69 c 225s|160000 | 184 | 2067k| 12.9 | 15M| 52 | 32 | 482 |1604 | 482 | 972 | 957 |5444 |8975 | 0.000000e+00 | -- | Inf
239.34/239.46 c 239s|170000 | 181 | 2212k| 13.0 | 15M| 52 | 48 | 482 |1649 | 482 | 972 | 957 |5762 |9298 | 0.000000e+00 | -- | Inf
253.54/253.63 c 254s|180000 | 178 | 2354k| 13.1 | 15M| 54 | - | 482 |1679 | 0 | 0 | 957 |6027 |9578 | 0.000000e+00 | -- | Inf
267.04/267.18 c 267s|190000 | 178 | 2490k| 13.1 | 15M| 54 | - | 482 |1608 | 0 | 0 | 957 |6355 |9873 | 0.000000e+00 | -- | Inf
281.73/281.89 c 282s|200000 | 196 | 2641k| 13.2 | 15M| 54 | - | 482 |1553 | 482 | 972 | 957 |6660 | 10k| 0.000000e+00 | -- | Inf
297.74/297.82 c 298s|210000 | 192 | 2797k| 13.3 | 15M| 54 | 37 | 482 |1523 | 482 | 972 | 957 |6954 | 10k| 0.000000e+00 | -- | Inf
312.73/312.87 c 313s|220000 | 184 | 2948k| 13.4 | 15M| 54 | - | 482 |1587 | 482 | 972 | 957 |7219 | 10k| 0.000000e+00 | -- | Inf
328.63/328.76 c 329s|230000 | 189 | 3107k| 13.5 | 15M| 54 | 49 | 482 |1551 | 482 | 972 | 957 |7493 | 11k| 0.000000e+00 | -- | Inf
345.52/345.66 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
345.52/345.66 c 346s|240000 | 182 | 3278k| 13.6 | 15M| 55 | - | 482 |1554 | 0 | 0 | 957 |7746 | 11k| 0.000000e+00 | -- | Inf
362.32/362.43 c 362s|250000 | 201 | 3441k| 13.8 | 15M| 55 | 41 | 482 |1426 | 482 | 972 | 957 |8020 | 11k| 0.000000e+00 | -- | Inf
375.22/375.39 c 375s|260000 | 199 | 3576k| 13.7 | 16M| 55 | - | 482 |1517 | 0 | 0 | 957 |8366 | 12k| 0.000000e+00 | -- | Inf
389.02/389.13 c 389s|270000 | 200 | 3714k| 13.7 | 16M| 55 | 34 | 482 |1530 | 482 | 972 | 957 |8735 | 12k| 0.000000e+00 | -- | Inf
404.73/404.85 c 405s|280000 | 193 | 3873k| 13.8 | 15M| 55 | - | 482 |1449 | 482 | 972 | 957 |8990 | 12k| 0.000000e+00 | -- | Inf
417.52/417.69 c 418s|290000 | 205 | 4003k| 13.8 | 16M| 55 | - | 482 |1573 | 0 | 0 | 957 |9274 | 12k| 0.000000e+00 | -- | Inf
429.31/429.49 c 429s|300000 | 213 | 4123k| 13.7 | 16M| 55 | 32 | 482 |1702 | 482 | 972 | 957 |9659 | 12k| 0.000000e+00 | -- | Inf
442.81/442.92 c 443s|310000 | 208 | 4260k| 13.7 | 16M| 58 | 50 | 482 |1784 | 482 | 972 | 957 |9968 | 12k| 0.000000e+00 | -- | Inf
456.71/456.85 c 457s|320000 | 221 | 4403k| 13.8 | 16M| 60 | - | 482 |1754 | 0 | 0 | 957 | 10k| 13k| 0.000000e+00 | -- | Inf
468.01/468.12 c 468s|330000 | 224 | 4517k| 13.7 | 16M| 63 | 29 | 482 |1791 | 482 | 972 | 957 | 10k| 13k| 0.000000e+00 | -- | Inf
481.61/481.71 c 482s|340000 | 196 | 4653k| 13.7 | 16M| 66 | - | 482 |1688 | 482 | 972 | 957 | 10k| 13k| 0.000000e+00 | -- | Inf
498.11/498.26 c 498s|350000 | 210 | 4825k| 13.8 | 16M| 66 | 55 | 482 |1688 | 482 | 972 | 957 | 11k| 13k| 0.000000e+00 | -- | Inf
514.10/514.26 c 514s|360000 | 223 | 4990k| 13.9 | 16M| 66 | 44 | 482 |1762 | 482 | 972 | 957 | 11k| 13k| 0.000000e+00 | -- | Inf
527.30/527.48 c 527s|370000 | 235 | 5126k| 13.8 | 16M| 66 | 35 | 482 |1906 | 482 | 972 | 957 | 11k| 13k| 0.000000e+00 | -- | Inf
540.50/540.63 c 541s|380000 | 254 | 5260k| 13.8 | 16M| 66 | 32 | 482 |2019 | 482 | 972 | 957 | 12k| 13k| 0.000000e+00 | -- | Inf
555.10/555.28 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
555.10/555.28 c 555s|390000 | 227 | 5407k| 13.9 | 16M| 66 | - | 482 |1871 | 0 | 0 | 957 | 12k| 13k| 0.000000e+00 | -- | Inf
568.30/568.41 c 568s|400000 | 230 | 5543k| 13.9 | 16M| 66 | - | 482 |1769 | 0 | 0 | 957 | 12k| 14k| 0.000000e+00 | -- | Inf
582.69/582.89 c 583s|410000 | 229 | 5692k| 13.9 | 16M| 66 | - | 482 |1762 | 482 | 972 | 957 | 12k| 14k| 0.000000e+00 | -- | Inf
598.79/598.92 c 599s|420000 | 223 | 5827k| 13.9 | 16M| 66 | - | 482 |1668 | 0 | 0 | 957 | 13k| 15k| 0.000000e+00 | -- | Inf
609.59/609.77 c 610s|430000 | 234 | 5936k| 13.8 | 16M| 66 | - | 482 |1829 | 0 | 0 | 957 | 13k| 15k| 0.000000e+00 | -- | Inf
622.59/622.71 c 623s|440000 | 243 | 6057k| 13.8 | 16M| 66 | - | 482 |1936 | 0 | 0 | 957 | 14k| 16k| 0.000000e+00 | -- | Inf
633.39/633.60 c 634s|450000 | 260 | 6169k| 13.7 | 16M| 66 | - | 482 |2068 | 0 | 0 | 957 | 14k| 16k| 0.000000e+00 | -- | Inf
645.38/645.55 c 646s|460000 | 251 | 6293k| 13.7 | 16M| 66 | 39 | 482 |2050 | 482 | 972 | 957 | 14k| 16k| 0.000000e+00 | -- | Inf
658.48/658.62 c 659s|470000 | 248 | 6428k| 13.7 | 16M| 66 | - | 482 |2078 | 0 | 0 | 957 | 14k| 16k| 0.000000e+00 | -- | Inf
671.48/671.67 c 672s|480000 | 256 | 6562k| 13.7 | 16M| 66 | - | 482 |2071 | 482 | 972 | 957 | 15k| 16k| 0.000000e+00 | -- | Inf
684.18/684.37 c 684s|490000 | 253 | 6692k| 13.7 | 16M| 66 | 36 | 482 |2031 | 482 | 972 | 957 | 15k| 16k| 0.000000e+00 | -- | Inf
697.77/697.93 c 698s|500000 | 276 | 6830k| 13.7 | 16M| 66 | - | 482 |2051 | 482 | 972 | 957 | 15k| 16k| 0.000000e+00 | -- | Inf
710.87/711.03 c 711s|510000 | 295 | 6965k| 13.7 | 16M| 66 | 47 | 482 |2111 | 482 | 972 | 957 | 16k| 16k| 0.000000e+00 | -- | Inf
724.68/724.87 c 725s|520000 | 286 | 7109k| 13.7 | 16M| 66 | 53 | 482 |2074 | 482 | 972 | 957 | 16k| 16k| 0.000000e+00 | -- | Inf
736.97/737.14 c 737s|530000 | 293 | 7234k| 13.6 | 16M| 66 | - | 482 |2165 | 482 | 972 | 957 | 16k| 16k| 0.000000e+00 | -- | Inf
749.17/749.32 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
749.17/749.32 c 749s|540000 | 324 | 7358k| 13.6 | 16M| 66 | 27 | 482 |2186 | 482 | 972 | 957 | 16k| 16k| 0.000000e+00 | -- | Inf
761.66/761.83 c 762s|550000 | 312 | 7486k| 13.6 | 16M| 66 | 32 | 482 |2106 | 482 | 972 | 957 | 17k| 16k| 0.000000e+00 | -- | Inf
773.76/773.98 c 774s|560000 | 307 | 7608k| 13.6 | 16M| 66 | - | 482 |2109 | 482 | 972 | 957 | 17k| 16k| 0.000000e+00 | -- | Inf
787.47/787.67 c 788s|570000 | 332 | 7749k| 13.6 | 16M| 66 | - | 482 |2184 | 482 | 972 | 957 | 17k| 16k| 0.000000e+00 | -- | Inf
801.06/801.21 c 801s|580000 | 296 | 7887k| 13.6 | 16M| 66 | - | 482 |2143 | 0 | 0 | 957 | 18k| 17k| 0.000000e+00 | -- | Inf
812.86/813.05 c 813s|590000 | 299 | 8007k| 13.6 | 16M| 66 | - | 482 |2270 | 0 | 0 | 957 | 18k| 17k| 0.000000e+00 | -- | Inf
823.66/823.82 c 824s|600000 | 299 | 8117k| 13.5 | 16M| 66 | - | 482 |2429 | 0 | 0 | 957 | 18k| 17k| 0.000000e+00 | -- | Inf
834.96/835.12 c 835s|610000 | 297 | 8233k| 13.5 | 16M| 66 | - | 482 |2433 | 0 | 0 | 957 | 18k| 17k| 0.000000e+00 | -- | Inf
848.05/848.22 c 848s|620000 | 314 | 8368k| 13.5 | 16M| 66 | 29 | 482 |2481 | 482 | 972 | 957 | 19k| 17k| 0.000000e+00 | -- | Inf
860.55/860.77 c 861s|630000 | 307 | 8498k| 13.5 | 16M| 66 | - | 482 |2510 | 0 | 0 | 957 | 19k| 17k| 0.000000e+00 | -- | Inf
873.05/873.20 c 873s|640000 | 305 | 8625k| 13.5 | 16M| 66 | 60 | 482 |2402 | 482 | 972 | 957 | 19k| 17k| 0.000000e+00 | -- | Inf
886.35/886.50 c 886s|650000 | 292 | 8761k| 13.5 | 16M| 66 | 37 | 482 |2190 | 482 | 972 | 957 | 20k| 17k| 0.000000e+00 | -- | Inf
898.84/899.06 c 899s|660000 | 300 | 8890k| 13.5 | 16M| 66 | 49 | 482 |2295 | 482 | 972 | 957 | 20k| 17k| 0.000000e+00 | -- | Inf
912.24/912.43 c 912s|670000 | 265 | 9026k| 13.5 | 16M| 66 | 47 | 482 |2034 | 482 | 972 | 957 | 20k| 17k| 0.000000e+00 | -- | Inf
925.64/925.87 c 926s|680000 | 253 | 9164k| 13.5 | 16M| 66 | 41 | 482 |1994 | 482 | 972 | 957 | 20k| 17k| 0.000000e+00 | -- | Inf
938.04/938.21 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
938.04/938.21 c 938s|690000 | 258 | 9292k| 13.5 | 16M| 66 | 38 | 482 |2026 | 482 | 972 | 957 | 21k| 17k| 0.000000e+00 | -- | Inf
951.84/952.05 c 952s|700000 | 269 | 9437k| 13.5 | 16M| 66 | - | 482 |1910 | 0 | 0 | 957 | 21k| 17k| 0.000000e+00 | -- | Inf
964.73/964.95 c 965s|710000 | 257 | 9570k| 13.5 | 16M| 66 | 31 | 482 |2010 | 482 | 972 | 957 | 21k| 18k| 0.000000e+00 | -- | Inf
978.84/979.09 c 979s|720000 | 264 | 9718k| 13.5 | 16M| 66 | - | 482 |2001 | 0 | 0 | 957 | 21k| 18k| 0.000000e+00 | -- | Inf
993.43/993.68 c 994s|730000 | 256 | 9871k| 13.5 | 16M| 66 | - | 482 |2036 | 0 | 0 | 957 | 22k| 18k| 0.000000e+00 | -- | Inf
1011.43/1011.68 c 1012s|740000 | 248 | 10027k| 13.5 | 16M| 66 | - | 482 |1978 | 482 | 972 | 957 | 22k| 19k| 0.000000e+00 | -- | Inf
1023.63/1023.88 c 1024s|750000 | 246 | 10142k| 13.5 | 16M| 66 | 37 | 482 |2010 | 482 | 972 | 957 | 22k| 19k| 0.000000e+00 | -- | Inf
1034.93/1035.13 c 1035s|760000 | 260 | 10251k| 13.5 | 16M| 66 | 36 | 482 |2085 | 482 | 972 | 957 | 23k| 20k| 0.000000e+00 | -- | Inf
1048.12/1048.35 c 1048s|770000 | 240 | 10379k| 13.5 | 16M| 66 | - | 482 |1996 | 482 | 972 | 957 | 23k| 20k| 0.000000e+00 | -- | Inf
1064.22/1064.45 c 1064s|780000 | 244 | 10526k| 13.5 | 16M| 66 | 45 | 482 |1747 | 482 | 972 | 957 | 23k| 21k| 0.000000e+00 | -- | Inf
1078.22/1078.46 c 1078s|790000 | 231 | 10669k| 13.5 | 16M| 66 | 60 | 482 |1799 | 482 | 972 | 957 | 24k| 21k| 0.000000e+00 | -- | Inf
1093.62/1093.84 c 1094s|800000 | 235 | 10823k| 13.5 | 16M| 66 | 42 | 482 |1813 | 482 | 972 | 957 | 24k| 21k| 0.000000e+00 | -- | Inf
1108.41/1108.61 c 1109s|810000 | 229 | 10975k| 13.5 | 16M| 66 | 42 | 482 |1808 | 482 | 972 | 957 | 24k| 21k| 0.000000e+00 | -- | Inf
1124.31/1124.57 c 1125s|820000 | 238 | 11140k| 13.6 | 16M| 66 | 33 | 482 |1749 | 482 | 972 | 957 | 24k| 22k| 0.000000e+00 | -- | Inf
1140.81/1141.06 c 1141s|830000 | 231 | 11318k| 13.6 | 16M| 66 | 47 | 482 |1752 | 482 | 972 | 957 | 25k| 22k| 0.000000e+00 | -- | Inf
1157.31/1157.51 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1157.31/1157.51 c 1158s|840000 | 240 | 11496k| 13.7 | 16M| 66 | 30 | 482 |1783 | 482 | 972 | 957 | 25k| 22k| 0.000000e+00 | -- | Inf
1169.40/1169.67 c 1170s|850000 | 236 | 11626k| 13.7 | 16M| 66 | 43 | 482 |1791 | 482 | 972 | 957 | 25k| 22k| 0.000000e+00 | -- | Inf
1182.90/1183.11 c 1183s|860000 | 250 | 11767k| 13.7 | 16M| 66 | - | 482 |1845 | 482 | 972 | 957 | 26k| 22k| 0.000000e+00 | -- | Inf
1198.50/1198.73 c 1199s|870000 | 257 | 11936k| 13.7 | 16M| 66 | 34 | 482 |1899 | 482 | 972 | 957 | 26k| 22k| 0.000000e+00 | -- | Inf
1212.60/1212.86 c 1213s|880000 | 247 | 12086k| 13.7 | 16M| 66 | - | 482 |1914 | 482 | 972 | 957 | 26k| 22k| 0.000000e+00 | -- | Inf
1228.19/1228.40 c 1228s|890000 | 261 | 12252k| 13.8 | 16M| 66 | 45 | 482 |1940 | 482 | 972 | 957 | 26k| 22k| 0.000000e+00 | -- | Inf
1243.69/1243.94 c 1244s|900000 | 237 | 12416k| 13.8 | 16M| 66 | 49 | 482 |1923 | 482 | 972 | 957 | 27k| 22k| 0.000000e+00 | -- | Inf
1258.88/1259.11 c 1259s|910000 | 248 | 12575k| 13.8 | 16M| 66 | - | 482 |1987 | 482 | 972 | 957 | 27k| 22k| 0.000000e+00 | -- | Inf
1271.78/1272.00 c 1272s|920000 | 258 | 12708k| 13.8 | 16M| 66 | - | 482 |2077 | 0 | 0 | 957 | 27k| 22k| 0.000000e+00 | -- | Inf
1282.68/1282.96 c 1283s|930000 | 255 | 12820k| 13.8 | 16M| 66 | - | 482 |2148 | 482 | 972 | 957 | 28k| 22k| 0.000000e+00 | -- | Inf
1294.79/1295.03 c 1295s|940000 | 257 | 12943k| 13.8 | 16M| 66 | 36 | 482 |2321 | 482 | 972 | 957 | 28k| 22k| 0.000000e+00 | -- | Inf
1305.78/1306.01 c 1306s|950000 | 256 | 13055k| 13.7 | 16M| 66 | 53 | 482 |2381 | 482 | 972 | 957 | 28k| 22k| 0.000000e+00 | -- | Inf
1319.78/1320.03 c 1320s|960000 | 245 | 13194k| 13.7 | 16M| 66 | 36 | 482 |2247 | 482 | 972 | 957 | 28k| 23k| 0.000000e+00 | -- | Inf
1332.68/1332.98 c 1333s|970000 | 255 | 13321k| 13.7 | 16M| 66 | - | 482 |2120 | 482 | 972 | 957 | 29k| 23k| 0.000000e+00 | -- | Inf
1346.58/1346.82 c 1347s|980000 | 263 | 13465k| 13.7 | 16M| 66 | - | 482 |1891 | 482 | 972 | 957 | 29k| 23k| 0.000000e+00 | -- | Inf
1360.77/1361.04 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1360.77/1361.04 c 1361s|990000 | 259 | 13614k| 13.7 | 16M| 66 | - | 482 |1927 | 0 | 0 | 957 | 29k| 23k| 0.000000e+00 | -- | Inf
1377.07/1377.32 c 1377s| 1000k| 251 | 13783k| 13.8 | 16M| 66 | - | 482 |1887 | 0 | 0 | 957 | 30k| 23k| 0.000000e+00 | -- | Inf
1392.37/1392.64 c 1393s| 1010k| 248 | 13948k| 13.8 | 16M| 66 | 30 | 482 |1941 | 482 | 972 | 957 | 30k| 23k| 0.000000e+00 | -- | Inf
1404.87/1405.10 c 1405s| 1020k| 252 | 14082k| 13.8 | 16M| 66 | 46 | 482 |2022 | 482 | 972 | 957 | 30k| 23k| 0.000000e+00 | -- | Inf
1417.57/1417.90 c 1418s| 1030k| 250 | 14218k| 13.8 | 16M| 66 | 43 | 482 |2100 | 482 | 972 | 957 | 30k| 23k| 0.000000e+00 | -- | Inf
1431.26/1431.58 c 1432s| 1040k| 248 | 14364k| 13.8 | 16M| 67 | - | 482 |2059 | 482 | 972 | 957 | 31k| 23k| 0.000000e+00 | -- | Inf
1445.56/1445.86 c 1446s| 1050k| 252 | 14515k| 13.8 | 16M| 67 | - | 482 |2017 | 0 | 0 | 957 | 31k| 23k| 0.000000e+00 | -- | Inf
1463.46/1463.70 c 1464s| 1060k| 249 | 14699k| 13.9 | 16M| 67 | - | 482 |1914 | 0 | 0 | 957 | 31k| 24k| 0.000000e+00 | -- | Inf
1476.76/1477.08 c 1477s| 1070k| 250 | 14838k| 13.9 | 16M| 67 | - | 482 |1965 | 482 | 972 | 957 | 32k| 24k| 0.000000e+00 | -- | Inf
1488.65/1488.91 c 1489s| 1080k| 251 | 14962k| 13.9 | 16M| 67 | - | 482 |2109 | 0 | 0 | 957 | 32k| 24k| 0.000000e+00 | -- | Inf
1500.95/1501.24 c 1501s| 1090k| 257 | 15092k| 13.8 | 16M| 67 | - | 482 |2173 | 0 | 0 | 957 | 32k| 24k| 0.000000e+00 | -- | Inf
1513.85/1514.15 c 1514s| 1100k| 246 | 15227k| 13.8 | 16M| 68 | - | 482 |2178 | 0 | 0 | 957 | 32k| 24k| 0.000000e+00 | -- | Inf
1529.55/1529.88 c 1530s| 1110k| 255 | 15390k| 13.9 | 16M| 68 | 22 | 482 |2194 | 482 | 972 | 957 | 33k| 24k| 0.000000e+00 | -- | Inf
1545.64/1545.92 c 1546s| 1120k| 259 | 15560k| 13.9 | 16M| 68 | - | 482 |2266 | 482 | 972 | 957 | 33k| 24k| 0.000000e+00 | -- | Inf
1561.55/1561.87 c 1562s| 1130k| 255 | 15728k| 13.9 | 16M| 68 | 46 | 482 |2323 | 482 | 972 | 957 | 33k| 24k| 0.000000e+00 | -- | Inf
1576.64/1576.99 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1576.64/1576.99 c 1577s| 1140k| 265 | 15885k| 13.9 | 16M| 68 | 40 | 482 |2401 | 482 | 972 | 957 | 34k| 24k| 0.000000e+00 | -- | Inf
1590.74/1591.05 c 1591s| 1150k| 264 | 16029k| 13.9 | 16M| 68 | 31 | 482 |2413 | 482 | 972 | 957 | 34k| 24k| 0.000000e+00 | -- | Inf
1603.24/1603.57 c 1604s| 1160k| 263 | 16157k| 13.9 | 16M| 68 | 32 | 482 |2499 | 482 | 972 | 957 | 34k| 24k| 0.000000e+00 | -- | Inf
1613.73/1614.04 c 1614s| 1170k| 257 | 16262k| 13.9 | 16M| 68 | 42 | 482 |2668 | 482 | 972 | 957 | 35k| 24k| 0.000000e+00 | -- | Inf
1624.63/1624.91 c 1625s| 1180k| 259 | 16373k| 13.9 | 16M| 68 | 39 | 482 |2680 | 482 | 972 | 957 | 35k| 25k| 0.000000e+00 | -- | Inf
1636.03/1636.38 c 1636s| 1190k| 261 | 16492k| 13.9 | 16M| 68 | - | 482 |2699 | 482 | 972 | 957 | 35k| 25k| 0.000000e+00 | -- | Inf
1649.83/1650.14 c 1650s| 1200k| 259 | 16632k| 13.9 | 16M| 68 | - | 482 |2514 | 0 | 0 | 957 | 35k| 25k| 0.000000e+00 | -- | Inf
1665.33/1665.60 c 1666s| 1210k| 258 | 16792k| 13.9 | 16M| 68 | 47 | 482 |2214 | 482 | 972 | 957 | 36k| 25k| 0.000000e+00 | -- | Inf
1681.63/1681.98 c 1682s| 1220k| 267 | 16960k| 13.9 | 16M| 68 | 42 | 482 |1978 | 482 | 972 | 957 | 36k| 25k| 0.000000e+00 | -- | Inf
1693.12/1693.40 c 1693s| 1230k| 266 | 17076k| 13.9 | 16M| 68 | 43 | 482 |2032 | 482 | 972 | 957 | 36k| 25k| 0.000000e+00 | -- | Inf
1706.72/1707.09 c 1707s| 1240k| 259 | 17215k| 13.9 | 16M| 68 | 49 | 482 |2080 | 482 | 972 | 957 | 37k| 25k| 0.000000e+00 | -- | Inf
1719.72/1720.02 c 1720s| 1250k| 260 | 17348k| 13.9 | 16M| 68 | 45 | 482 |2158 | 482 | 972 | 957 | 37k| 25k| 0.000000e+00 | -- | Inf
1733.72/1734.05 c 1734s| 1260k| 262 | 17493k| 13.9 | 16M| 68 | 65 | 482 |1996 | 482 | 972 | 957 | 37k| 25k| 0.000000e+00 | -- | Inf
1752.31/1752.61 c 1753s| 1270k| 274 | 17650k| 13.9 | 16M| 68 | - | 482 |1964 | 482 | 972 | 957 | 38k| 27k| 0.000000e+00 | -- | Inf
1766.31/1766.64 c 1767s| 1280k| 269 | 17799k| 13.9 | 16M| 68 | - | 482 |1954 | 0 | 0 | 957 | 38k| 27k| 0.000000e+00 | -- | Inf
1778.81/1779.10 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1778.81/1779.10 c 1779s| 1290k| 276 | 17929k| 13.9 | 16M| 68 | - | 482 |1995 | 0 | 0 | 957 | 38k| 27k| 0.000000e+00 | -- | Inf
1789.71/1790.01 c
1789.71/1790.01 c SCIP Status : solving was interrupted [time limit reached]
1789.71/1790.01 c Solving Time (sec) : 1790.00
1789.71/1790.01 c Solving Nodes : 1298779
1789.71/1790.01 c Primal Bound : +1.00000000000000e+20 (0 solutions)
1789.71/1790.01 c Dual Bound : +0.00000000000000e+00
1789.71/1790.01 c Gap : infinite
1789.71/1790.01 s UNKNOWN
1789.71/1790.01 c SCIP Status : solving was interrupted [time limit reached]
1789.71/1790.01 c Solving Time : 1790.00
1789.71/1790.01 c Original Problem :
1789.71/1790.01 c Problem name : HOME/instance-3729102-1338678647.opb
1789.71/1790.01 c Variables : 490 (490 binary, 0 integer, 0 implicit integer, 0 continuous)
1789.71/1790.01 c Constraints : 737 initial, 737 maximal
1789.71/1790.01 c Presolved Problem :
1789.71/1790.01 c Problem name : t_HOME/instance-3729102-1338678647.opb
1789.71/1790.01 c Variables : 482 (482 binary, 0 integer, 0 implicit integer, 0 continuous)
1789.71/1790.01 c Constraints : 725 initial, 2767 maximal
1789.71/1790.01 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs
1789.71/1790.01 c trivial : 0.00 0 0 0 0 0 0 0 0
1789.71/1790.01 c dualfix : 0.00 0 0 0 0 0 0 0 0
1789.71/1790.01 c boundshift : 0.00 0 0 0 0 0 0 0 0
1789.71/1790.01 c inttobinary : 0.00 0 0 0 0 0 0 0 0
1789.71/1790.01 c implics : 0.00 0 8 0 0 0 0 0 0
1789.71/1790.01 c probing : 0.00 0 0 0 0 0 0 0 0
1789.71/1790.01 c knapsack : 0.01 0 0 0 0 0 0 0 0
1789.71/1790.01 c setppc : 0.00 0 0 0 0 0 12 0 0
1789.71/1790.01 c linear : 0.01 0 0 0 0 0 0 0 0
1789.71/1790.01 c logicor : 0.00 0 0 0 0 0 0 0 0
1789.71/1790.01 c root node : - 0 - - 0 - - - -
1789.71/1790.01 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children
1789.71/1790.01 c integral : 0 0 0 654384 0 815 4656 0 0 1300116
1789.71/1790.01 c knapsack : 340 5 3117806 0 1 353765 13190650 603 0 0
1789.71/1790.01 c setppc : 241 5 2733429 0 1 490 3416991 0 0 0
1789.71/1790.01 c linear : 0+ 5 9084 0 0 0 8 0 0 0
1789.71/1790.01 c logicor : 144+ 5 2070335 0 1 4798 1842196 0 0 0
1789.71/1790.01 c countsols : 0 0 0 0 1 0 0 0 0 0
1789.71/1790.01 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS
1789.71/1790.01 c integral : 76.31 0.00 0.00 76.31 0.00
1789.71/1790.01 c knapsack : 46.74 0.03 46.72 0.00 0.00
1789.71/1790.01 c setppc : 4.76 0.00 4.76 0.00 0.00
1789.71/1790.01 c linear : 0.00 0.00 0.00 0.00 0.00
1789.71/1790.01 c logicor : 8.70 0.00 8.70 0.00 0.00
1789.71/1790.01 c countsols : 0.00 0.00 0.00 0.00 0.00
1789.71/1790.01 c Propagators : Time Calls Cutoffs DomReds
1789.71/1790.01 c vbounds : 0.39 1 0 0
1789.71/1790.01 c rootredcost : 0.36 0 0 0
1789.71/1790.01 c pseudoobj : 0.30 0 0 0
1789.71/1790.01 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1789.71/1790.01 c propagation : 7.67 42529 38450 304119 107.8 235 127.8 -
1789.71/1790.01 c infeasible LP : 33.35 289876 0 0 0.0 0 0.0 0
1789.71/1790.01 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1789.71/1790.01 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1789.71/1790.01 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 -
1789.71/1790.01 c applied globally : - - - 38777 20.7 - - -
1789.71/1790.01 c applied locally : - - - 130 64.9 - - -
1789.71/1790.01 c Separators : Time Calls Cutoffs DomReds Cuts Conss
1789.71/1790.01 c cut pool : 0.00 4 - - 153 - (maximal pool size: 2771)
1789.71/1790.01 c redcost : 4.30 652316 0 0 0 0
1789.71/1790.01 c impliedbounds : 0.00 5 0 0 1435 0
1789.71/1790.01 c intobj : 0.00 0 0 0 0 0
1789.71/1790.01 c cgmip : 0.00 0 0 0 0 0
1789.71/1790.01 c gomory : 0.41 5 0 0 389 0
1789.71/1790.01 c strongcg : 0.30 5 0 0 2312 0
1789.71/1790.01 c cmir : 0.00 0 0 0 0 0
1789.71/1790.01 c flowcover : 0.00 0 0 0 0 0
1789.71/1790.01 c clique : 0.00 1 0 0 0 0
1789.71/1790.01 c zerohalf : 0.00 0 0 0 0 0
1789.71/1790.01 c mcf : 0.00 1 0 0 0 0
1789.71/1790.01 c rapidlearning : 0.07 1 0 0 0 1
1789.71/1790.01 c Pricers : Time Calls Vars
1789.71/1790.01 c problem variables: 0.00 0 0
1789.71/1790.01 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
1789.71/1790.01 c relpscost : 76.02 654384 815 4656 0 0 1300116
1789.71/1790.01 c pscost : 0.00 0 0 0 0 0 0
1789.71/1790.01 c inference : 0.00 1 0 0 0 0 2
1789.71/1790.01 c mostinf : 0.00 0 0 0 0 0 0
1789.71/1790.01 c leastinf : 0.00 0 0 0 0 0 0
1789.71/1790.01 c fullstrong : 0.00 0 0 0 0 0 0
1789.71/1790.01 c allfullstrong : 0.00 0 0 0 0 0 0
1789.71/1790.01 c random : 0.00 0 0 0 0 0 0
1789.71/1790.01 c Primal Heuristics : Time Calls Found
1789.71/1790.01 c LP solutions : 0.00 - 0
1789.71/1790.01 c pseudo solutions : 0.00 - 0
1789.71/1790.01 c trivial : 0.00 1 0
1789.71/1790.01 c simplerounding : 0.00 0 0
1789.71/1790.01 c zirounding : 0.00 0 0
1789.71/1790.01 c rounding : 0.00 0 0
1789.71/1790.01 c shifting : 0.00 0 0
1789.71/1790.01 c intshifting : 0.00 0 0
1789.71/1790.01 c oneopt : 0.00 0 0
1789.71/1790.01 c twoopt : 0.00 0 0
1789.71/1790.01 c fixandinfer : 0.00 0 0
1789.71/1790.01 c feaspump : 0.00 0 0
1789.71/1790.01 c coefdiving : 0.00 0 0
1789.71/1790.01 c pscostdiving : 0.00 0 0
1789.71/1790.01 c fracdiving : 0.00 0 0
1789.71/1790.01 c veclendiving : 0.00 0 0
1789.71/1790.01 c intdiving : 0.00 0 0
1789.71/1790.01 c actconsdiving : 0.00 0 0
1789.71/1790.01 c objpscostdiving : 0.00 0 0
1789.71/1790.01 c rootsoldiving : 0.00 0 0
1789.71/1790.01 c linesearchdiving : 0.00 0 0
1789.71/1790.01 c guideddiving : 0.00 0 0
1789.71/1790.01 c octane : 0.00 0 0
1789.71/1790.01 c rens : 0.00 0 0
1789.71/1790.01 c rins : 0.00 0 0
1789.71/1790.01 c localbranching : 0.00 0 0
1789.71/1790.01 c mutation : 0.00 0 0
1789.71/1790.01 c crossover : 0.00 0 0
1789.71/1790.01 c dins : 0.00 0 0
1789.71/1790.01 c undercover : 0.00 0 0
1789.71/1790.01 c nlp : 0.00 0 0
1789.71/1790.01 c trysol : 0.00 0 0
1789.71/1790.01 c LP : Time Calls Iterations Iter/call Iter/sec
1789.71/1790.01 c primal LP : 0.00 0 0 0.00 -
1789.71/1790.01 c dual LP : 1483.52 943366 18043254 19.13 12162.42
1789.71/1790.01 c lex dual LP : 0.00 0 0 0.00 -
1789.71/1790.01 c barrier LP : 0.00 0 0 0.00 -
1789.71/1790.01 c diving/probing LP: 0.00 0 0 0.00 -
1789.71/1790.01 c strong branching : 67.39 27100 670324 24.74 9947.15
1789.71/1790.01 c (at root node) : - 10 6576 657.60 -
1789.71/1790.01 c conflict analysis: 0.00 0 0 0.00 -
1789.71/1790.01 c B&B Tree :
1789.71/1790.01 c number of runs : 1
1789.71/1790.01 c nodes : 1298779
1789.71/1790.01 c nodes (total) : 1298779
1789.71/1790.01 c nodes left : 281
1789.71/1790.01 c max depth : 68
1789.71/1790.01 c max depth (total): 68
1789.71/1790.01 c backtracks : 175551 (13.5%)
1789.71/1790.01 c delayed cutoffs : 1059
1789.71/1790.01 c repropagations : 87988 (167428 domain reductions, 1024 cutoffs)
1789.71/1790.01 c avg switch length: 2.75
1789.71/1790.01 c switching time : 34.45
1789.71/1790.01 c Solution :
1789.71/1790.01 c Solutions found : 0 (0 improvements)
1789.71/1790.01 c Primal Bound : -
1789.71/1790.01 c Dual Bound : +0.00000000000000e+00
1789.71/1790.01 c Gap : infinite
1789.71/1790.01 c Root Dual Bound : +0.00000000000000e+00
1789.71/1790.01 c Root Iterations : 3021
1789.71/1790.02 c Time complete: 1789.73.
runsolver Copyright (C) 2010-2011 Olivier ROUSSEL
This is runsolver version 3.3.1 (svn: 989)
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3729102-1338678647/watcher-3729102-1338678647 -o /tmp/evaluation-result-3729102-1338678647/solver-3729102-1338678647 -C 1800 -W 1900 -M 15500 HOME/pbscip.linux.x86_64.gnu.opt.spx -f HOME/instance-3729102-1338678647.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: 0.35 0.08 0.26 3/177 11797
/proc/meminfo: memFree=28075920/32873648 swapFree=6864/6864
[pid=11797] ppid=11795 vsize=10212 CPUtime=0 cores=1,3,5,7
/proc/11797/stat : 11797 (pbscip.linux.x8) R 11795 11797 11712 0 -1 4202496 1800 0 0 0 0 0 0 0 20 0 1 0 333991532 10457088 1748 33554432000 4194304 8395647 140736801897888 140737305687848 6347101 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/11797/statm: 2553 1754 386 1026 0 1523 0
[startup+0.026906 s]
/proc/loadavg: 0.35 0.08 0.26 3/177 11797
/proc/meminfo: memFree=28075920/32873648 swapFree=6864/6864
[pid=11797] ppid=11795 vsize=17028 CPUtime=0.02 cores=1,3,5,7
/proc/11797/stat : 11797 (pbscip.linux.x8) R 11795 11797 11712 0 -1 4202496 3619 0 0 0 2 0 0 0 20 0 1 0 333991532 17436672 3212 33554432000 4194304 8395647 140736801897888 140737305687848 4918019 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/11797/statm: 4257 3212 485 1026 0 3227 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 17028
[startup+0.100287 s]
/proc/loadavg: 0.35 0.08 0.26 3/177 11797
/proc/meminfo: memFree=28075920/32873648 swapFree=6864/6864
[pid=11797] ppid=11795 vsize=33956 CPUtime=0.09 cores=1,3,5,7
/proc/11797/stat : 11797 (pbscip.linux.x8) R 11795 11797 11712 0 -1 4202496 7668 0 0 0 8 1 0 0 20 0 1 0 333991532 34770944 7258 33554432000 4194304 8395647 140736801897888 140737305687848 7428202 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/11797/statm: 8489 7258 609 1026 0 7459 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 33956
[startup+0.300274 s]
/proc/loadavg: 0.35 0.08 0.26 3/177 11797
/proc/meminfo: memFree=28075920/32873648 swapFree=6864/6864
[pid=11797] ppid=11795 vsize=23956 CPUtime=0.28 cores=1,3,5,7
/proc/11797/stat : 11797 (pbscip.linux.x8) R 11795 11797 11712 0 -1 4202496 8159 0 0 0 27 1 0 0 20 0 1 0 333991532 24530944 5176 33554432000 4194304 8395647 140736801897888 140737305687848 7428202 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/11797/statm: 5989 5176 624 1026 0 4959 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 23956
[startup+0.700227 s]
/proc/loadavg: 0.35 0.08 0.26 3/177 11797
/proc/meminfo: memFree=28075920/32873648 swapFree=6864/6864
[pid=11797] ppid=11795 vsize=33908 CPUtime=0.69 cores=1,3,5,7
/proc/11797/stat : 11797 (pbscip.linux.x8) R 11795 11797 11712 0 -1 4202496 10602 0 0 0 67 2 0 0 20 0 1 0 333991532 34721792 7613 33554432000 4194304 8395647 140736801897888 140736801893176 7428202 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/11797/statm: 8477 7613 624 1026 0 7447 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 33908
[startup+1.50024 s]
/proc/loadavg: 0.35 0.08 0.26 3/178 11798
/proc/meminfo: memFree=28044920/32873648 swapFree=6864/6864
[pid=11797] ppid=11795 vsize=38984 CPUtime=1.49 cores=1,3,5,7
/proc/11797/stat : 11797 (pbscip.linux.x8) R 11795 11797 11712 0 -1 4202496 11896 0 0 0 146 3 0 0 20 0 1 0 333991532 39919616 8907 33554432000 4194304 8395647 140736801897888 140736801893128 7428202 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/11797/statm: 9746 8907 624 1026 0 8716 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 38984
[startup+3.10023 s]
/proc/loadavg: 0.35 0.08 0.26 3/178 11798
/proc/meminfo: memFree=28041416/32873648 swapFree=6864/6864
[pid=11797] ppid=11795 vsize=39880 CPUtime=3.09 cores=1,3,5,7
/proc/11797/stat : 11797 (pbscip.linux.x8) R 11795 11797 11712 0 -1 4202496 12118 0 0 0 306 3 0 0 20 0 1 0 333991532 40837120 9129 33554432000 4194304 8395647 140736801897888 140736801893144 7428202 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/11797/statm: 9970 9129 624 1026 0 8940 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 39880
[startup+6.30022 s]
/proc/loadavg: 0.48 0.11 0.27 3/178 11798
/proc/meminfo: memFree=28041200/32873648 swapFree=6864/6864
[pid=11797] ppid=11795 vsize=39880 CPUtime=6.29 cores=1,3,5,7
/proc/11797/stat : 11797 (pbscip.linux.x8) R 11795 11797 11712 0 -1 4202496 12121 0 0 0 623 6 0 0 20 0 1 0 333991532 40837120 9132 33554432000 4194304 8395647 140736801897888 140736801893096 7428202 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/11797/statm: 9970 9132 627 1026 0 8940 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 39880
[startup+12.7002 s]
/proc/loadavg: 0.60 0.14 0.28 3/178 11798
/proc/meminfo: memFree=28041340/32873648 swapFree=6864/6864
[pid=11797] ppid=11795 vsize=39880 CPUtime=12.69 cores=1,3,5,7
/proc/11797/stat : 11797 (pbscip.linux.x8) R 11795 11797 11712 0 -1 4202496 12156 0 0 0 1255 14 0 0 20 0 1 0 333991532 40837120 9167 33554432000 4194304 8395647 140736801897888 140736801893016 7428202 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/11797/statm: 9970 9167 628 1026 0 8940 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 39880
[startup+25.5002 s]
/proc/loadavg: 0.91 0.23 0.30 3/177 11798
/proc/meminfo: memFree=28040552/32873648 swapFree=6864/6864
[pid=11797] ppid=11795 vsize=39880 CPUtime=25.48 cores=1,3,5,7
/proc/11797/stat : 11797 (pbscip.linux.x8) R 11795 11797 11712 0 -1 4202496 12164 0 0 0 2520 28 0 0 20 0 1 0 333991532 40837120 9509 33554432000 4194304 8395647 140736801897888 140736801893016 7428202 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/11797/statm: 9970 9509 628 1026 0 8940 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 39880
[startup+51.1002 s]
/proc/loadavg: 1.28 0.37 0.35 3/177 11798
/proc/meminfo: memFree=28040352/32873648 swapFree=6864/6864
[pid=11797] ppid=11795 vsize=39880 CPUtime=51.07 cores=1,3,5,7
/proc/11797/stat : 11797 (pbscip.linux.x8) R 11795 11797 11712 0 -1 4202496 12169 0 0 0 5048 59 0 0 20 0 1 0 333991532 40837120 9537 33554432000 4194304 8395647 140736801897888 140736801893016 7428202 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/11797/statm: 9970 9537 628 1026 0 8940 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 39880
[startup+102.306 s]
/proc/loadavg: 1.69 0.62 0.43 3/177 11798
/proc/meminfo: memFree=28038992/32873648 swapFree=6864/6864
[pid=11797] ppid=11795 vsize=40368 CPUtime=102.27 cores=1,3,5,7
/proc/11797/stat : 11797 (pbscip.linux.x8) R 11795 11797 11712 0 -1 4202496 12254 0 0 0 10106 121 0 0 20 0 1 0 333991532 41336832 9622 33554432000 4194304 8395647 140736801897888 140736801893448 7428202 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/11797/statm: 10092 9622 628 1026 0 9062 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 40368
[startup+162.3 s]
/proc/loadavg: 1.92 0.89 0.53 3/177 11798
/proc/meminfo: memFree=28037936/32873648 swapFree=6864/6864
[pid=11797] ppid=11795 vsize=40684 CPUtime=162.26 cores=1,3,5,7
/proc/11797/stat : 11797 (pbscip.linux.x8) R 11795 11797 11712 0 -1 4202496 12338 0 0 0 16031 195 0 0 20 0 1 0 333991532 41660416 9705 33554432000 4194304 8395647 140736801897888 140736801892744 7428202 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/11797/statm: 10171 9705 628 1026 0 9141 0
Current children cumulated CPU time (s) 162.26
Current children cumulated vsize (KiB) 40684
[startup+222.3 s]
/proc/loadavg: 2.01 1.10 0.63 3/177 11798
/proc/meminfo: memFree=28038188/32873648 swapFree=6864/6864
[pid=11797] ppid=11795 vsize=40684 CPUtime=222.25 cores=1,3,5,7
/proc/11797/stat : 11797 (pbscip.linux.x8) R 11795 11797 11712 0 -1 4202496 12338 0 0 0 21957 268 0 0 20 0 1 0 333991532 41660416 9705 33554432000 4194304 8395647 140736801897888 140736801893496 7428202 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/11797/statm: 10171 9705 628 1026 0 9141 0
Current children cumulated CPU time (s) 222.25
Current children cumulated vsize (KiB) 40684
[startup+282.3 s]
/proc/loadavg: 2.00 1.26 0.71 3/177 11799
/proc/meminfo: memFree=28037816/32873648 swapFree=6864/6864
[pid=11797] ppid=11795 vsize=40820 CPUtime=282.24 cores=1,3,5,7
/proc/11797/stat : 11797 (pbscip.linux.x8) R 11795 11797 11712 0 -1 4202496 12371 0 0 0 27881 343 0 0 20 0 1 0 333991532 41799680 9738 33554432000 4194304 8395647 140736801897888 140736801893352 7428202 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/11797/statm: 10205 9738 628 1026 0 9175 0
Current children cumulated CPU time (s) 282.24
Current children cumulated vsize (KiB) 40820
[startup+342.3 s]
/proc/loadavg: 2.00 1.39 0.79 3/177 11799
/proc/meminfo: memFree=28036828/32873648 swapFree=6864/6864
[pid=11797] ppid=11795 vsize=40820 CPUtime=342.23 cores=1,3,5,7
/proc/11797/stat : 11797 (pbscip.linux.x8) R 11795 11797 11712 0 -1 4202496 12396 0 0 0 33807 416 0 0 20 0 1 0 333991532 41799680 9763 33554432000 4194304 8395647 140736801897888 140736801893016 7428202 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/11797/statm: 10205 9763 628 1026 0 9175 0
Current children cumulated CPU time (s) 342.23
Current children cumulated vsize (KiB) 40820
[startup+402.3 s]
/proc/loadavg: 2.00 1.50 0.86 3/177 11799
/proc/meminfo: memFree=28036580/32873648 swapFree=6864/6864
[pid=11797] ppid=11795 vsize=40968 CPUtime=402.22 cores=1,3,5,7
/proc/11797/stat : 11797 (pbscip.linux.x8) R 11795 11797 11712 0 -1 4202496 12425 0 0 0 39732 490 0 0 20 0 1 0 333991532 41951232 9792 33554432000 4194304 8395647 140736801897888 140736801893016 7428202 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/11797/statm: 10242 9792 628 1026 0 9212 0
Current children cumulated CPU time (s) 402.22
Current children cumulated vsize (KiB) 40968
[startup+462.3 s]
/proc/loadavg: 2.00 1.59 0.93 3/177 11799
/proc/meminfo: memFree=28036336/32873648 swapFree=6864/6864
[pid=11797] ppid=11795 vsize=40968 CPUtime=462.21 cores=1,3,5,7
/proc/11797/stat : 11797 (pbscip.linux.x8) R 11795 11797 11712 0 -1 4202496 12429 0 0 0 45657 564 0 0 20 0 1 0 333991532 41951232 9796 33554432000 4194304 8395647 140736801897888 140736801893496 7428202 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/11797/statm: 10242 9796 628 1026 0 9212 0
Current children cumulated CPU time (s) 462.21
Current children cumulated vsize (KiB) 40968
[startup+522.3 s]
/proc/loadavg: 2.00 1.66 0.99 3/177 11799
/proc/meminfo: memFree=28036212/32873648 swapFree=6864/6864
[pid=11797] ppid=11795 vsize=40968 CPUtime=522.21 cores=1,3,5,7
/proc/11797/stat : 11797 (pbscip.linux.x8) R 11795 11797 11712 0 -1 4202496 12439 0 0 0 51580 641 0 0 20 0 1 0 333991532 41951232 9806 33554432000 4194304 8395647 140736801897888 140736801893352 7428202 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/11797/statm: 10242 9806 628 1026 0 9212 0
Current children cumulated CPU time (s) 522.21
Current children cumulated vsize (KiB) 40968
[startup+582.3 s]
/proc/loadavg: 2.00 1.72 1.05 3/178 11803
/proc/meminfo: memFree=28035788/32873648 swapFree=6864/6864
[pid=11797] ppid=11795 vsize=41152 CPUtime=582.2 cores=1,3,5,7
/proc/11797/stat : 11797 (pbscip.linux.x8) R 11795 11797 11712 0 -1 4202496 12458 0 0 0 57500 720 0 0 20 0 1 0 333991532 42139648 9825 33554432000 4194304 8395647 140736801897888 140736801893016 7428202 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/11797/statm: 10288 9825 628 1026 0 9258 0
Current children cumulated CPU time (s) 582.2
Current children cumulated vsize (KiB) 41152
[startup+642.3 s]
################
# More data... #
################
/proc/meminfo: memFree=28034496/32873648 swapFree=6864/6864
[pid=11797] ppid=11795 vsize=42016 CPUtime=1062.12 cores=1,3,5,7
/proc/11797/stat : 11797 (pbscip.linux.x8) R 11795 11797 11712 0 -1 4202496 12672 0 0 0 104902 1310 0 0 20 0 1 0 333991532 43024384 10039 33554432000 4194304 8395647 140736801897888 140736801893016 7428202 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/11797/statm: 10504 10039 628 1026 0 9474 0
Current children cumulated CPU time (s) 1062.12
Current children cumulated vsize (KiB) 42016
[startup+1122.3 s]
/proc/loadavg: 2.04 1.97 1.46 3/177 11804
/proc/meminfo: memFree=28034504/32873648 swapFree=6864/6864
[pid=11797] ppid=11795 vsize=42016 CPUtime=1122.11 cores=1,3,5,7
/proc/11797/stat : 11797 (pbscip.linux.x8) R 11795 11797 11712 0 -1 4202496 12673 0 0 0 110830 1381 0 0 20 0 1 0 333991532 43024384 10040 33554432000 4194304 8395647 140736801897888 140736801893016 7428202 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/11797/statm: 10504 10040 628 1026 0 9474 0
Current children cumulated CPU time (s) 1122.11
Current children cumulated vsize (KiB) 42016
[startup+1182.3 s]
/proc/loadavg: 2.01 1.97 1.49 3/178 11808
/proc/meminfo: memFree=28034260/32873648 swapFree=6864/6864
[pid=11797] ppid=11795 vsize=42016 CPUtime=1182.1 cores=1,3,5,7
/proc/11797/stat : 11797 (pbscip.linux.x8) R 11795 11797 11712 0 -1 4202496 12673 0 0 0 116755 1455 0 0 20 0 1 0 333991532 43024384 10040 33554432000 4194304 8395647 140736801897888 140736801893016 7428202 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/11797/statm: 10504 10040 628 1026 0 9474 0
Current children cumulated CPU time (s) 1182.1
Current children cumulated vsize (KiB) 42016
[startup+1242.3 s]
/proc/loadavg: 2.00 1.97 1.52 3/177 11808
/proc/meminfo: memFree=28034516/32873648 swapFree=6864/6864
[pid=11797] ppid=11795 vsize=42016 CPUtime=1242.09 cores=1,3,5,7
/proc/11797/stat : 11797 (pbscip.linux.x8) R 11795 11797 11712 0 -1 4202496 12673 0 0 0 122683 1526 0 0 20 0 1 0 333991532 43024384 10040 33554432000 4194304 8395647 140736801897888 140736801893016 7428202 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/11797/statm: 10504 10040 628 1026 0 9474 0
Current children cumulated CPU time (s) 1242.09
Current children cumulated vsize (KiB) 42016
[startup+1302.3 s]
/proc/loadavg: 2.00 1.97 1.55 3/177 11808
/proc/meminfo: memFree=28034640/32873648 swapFree=6864/6864
[pid=11797] ppid=11795 vsize=42016 CPUtime=1302.09 cores=1,3,5,7
/proc/11797/stat : 11797 (pbscip.linux.x8) R 11795 11797 11712 0 -1 4202496 12673 0 0 0 128606 1603 0 0 20 0 1 0 333991532 43024384 10040 33554432000 4194304 8395647 140736801897888 140736801893496 7428202 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/11797/statm: 10504 10040 628 1026 0 9474 0
Current children cumulated CPU time (s) 1302.09
Current children cumulated vsize (KiB) 42016
[startup+1362.3 s]
/proc/loadavg: 2.03 1.99 1.58 3/177 11808
/proc/meminfo: memFree=28034640/32873648 swapFree=6864/6864
[pid=11797] ppid=11795 vsize=42016 CPUtime=1362.08 cores=1,3,5,7
/proc/11797/stat : 11797 (pbscip.linux.x8) R 11795 11797 11712 0 -1 4202496 12673 0 0 0 134534 1674 0 0 20 0 1 0 333991532 43024384 10040 33554432000 4194304 8395647 140736801897888 140736801893016 7428202 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/11797/statm: 10504 10040 628 1026 0 9474 0
Current children cumulated CPU time (s) 1362.08
Current children cumulated vsize (KiB) 42016
[startup+1422.31 s]
/proc/loadavg: 2.04 2.00 1.61 3/177 11808
/proc/meminfo: memFree=28034144/32873648 swapFree=6864/6864
[pid=11797] ppid=11795 vsize=42016 CPUtime=1422.07 cores=1,3,5,7
/proc/11797/stat : 11797 (pbscip.linux.x8) R 11795 11797 11712 0 -1 4202496 12673 0 0 0 140461 1746 0 0 20 0 1 0 333991532 43024384 10040 33554432000 4194304 8395647 140736801897888 140736801893448 7428202 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/11797/statm: 10504 10040 628 1026 0 9474 0
Current children cumulated CPU time (s) 1422.07
Current children cumulated vsize (KiB) 42016
[startup+1482.3 s]
/proc/loadavg: 2.01 2.00 1.63 3/176 11808
/proc/meminfo: memFree=28034156/32873648 swapFree=6864/6864
[pid=11797] ppid=11795 vsize=42016 CPUtime=1482.06 cores=1,3,5,7
/proc/11797/stat : 11797 (pbscip.linux.x8) R 11795 11797 11712 0 -1 4202496 12675 0 0 0 146381 1825 0 0 20 0 1 0 333991532 43024384 10042 33554432000 4194304 8395647 140736801897888 140736801893448 7428202 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/11797/statm: 10504 10042 628 1026 0 9474 0
Current children cumulated CPU time (s) 1482.06
Current children cumulated vsize (KiB) 42016
[startup+1542.3 s]
/proc/loadavg: 2.04 2.01 1.65 3/177 11809
/proc/meminfo: memFree=28034276/32873648 swapFree=6864/6864
[pid=11797] ppid=11795 vsize=42016 CPUtime=1542.05 cores=1,3,5,7
/proc/11797/stat : 11797 (pbscip.linux.x8) R 11795 11797 11712 0 -1 4202496 12676 0 0 0 152306 1899 0 0 20 0 1 0 333991532 43024384 10043 33554432000 4194304 8395647 140736801897888 140736801893016 7428202 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/11797/statm: 10504 10043 628 1026 0 9474 0
Current children cumulated CPU time (s) 1542.05
Current children cumulated vsize (KiB) 42016
[startup+1602.3 s]
/proc/loadavg: 2.01 2.01 1.67 3/177 11809
/proc/meminfo: memFree=28034152/32873648 swapFree=6864/6864
[pid=11797] ppid=11795 vsize=42016 CPUtime=1602.03 cores=1,3,5,7
/proc/11797/stat : 11797 (pbscip.linux.x8) R 11795 11797 11712 0 -1 4202496 12684 0 0 0 158230 1973 0 0 20 0 1 0 333991532 43024384 10051 33554432000 4194304 8395647 140736801897888 140736801893352 7428202 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/11797/statm: 10504 10051 628 1026 0 9474 0
Current children cumulated CPU time (s) 1602.03
Current children cumulated vsize (KiB) 42016
[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 1.69 3/177 11809
/proc/meminfo: memFree=28033656/32873648 swapFree=6864/6864
[pid=11797] ppid=11795 vsize=42016 CPUtime=1662.02 cores=1,3,5,7
/proc/11797/stat : 11797 (pbscip.linux.x8) R 11795 11797 11712 0 -1 4202496 12691 0 0 0 164157 2045 0 0 20 0 1 0 333991532 43024384 10058 33554432000 4194304 8395647 140736801897888 140736801893352 7428202 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/11797/statm: 10504 10058 628 1026 0 9474 0
Current children cumulated CPU time (s) 1662.02
Current children cumulated vsize (KiB) 42016
[startup+1722.3 s]
/proc/loadavg: 2.04 2.01 1.71 3/177 11809
/proc/meminfo: memFree=28033284/32873648 swapFree=6864/6864
[pid=11797] ppid=11795 vsize=42296 CPUtime=1722.02 cores=1,3,5,7
/proc/11797/stat : 11797 (pbscip.linux.x8) R 11795 11797 11712 0 -1 4202496 12760 0 0 0 170083 2119 0 0 20 0 1 0 333991532 43311104 10127 33554432000 4194304 8395647 140736801897888 140736801893016 7428202 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/11797/statm: 10574 10127 628 1026 0 9544 0
Current children cumulated CPU time (s) 1722.02
Current children cumulated vsize (KiB) 42296
[startup+1782.3 s]
/proc/loadavg: 2.17 2.04 1.74 3/178 11850
/proc/meminfo: memFree=27543284/32873648 swapFree=6864/6864
[pid=11797] ppid=11795 vsize=42296 CPUtime=1782.01 cores=1,3,5,7
/proc/11797/stat : 11797 (pbscip.linux.x8) R 11795 11797 11712 0 -1 4202496 12765 0 0 0 176007 2194 0 0 20 0 1 0 333991532 43311104 10132 33554432000 4194304 8395647 140736801897888 140736801892696 7428202 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/11797/statm: 10574 10132 628 1026 0 9544 0
Current children cumulated CPU time (s) 1782.01
Current children cumulated vsize (KiB) 42296
Solver just ended. Dumping a history of the last processes samples
[startup+1785.5 s]
/proc/loadavg: 2.16 2.04 1.74 3/177 11850
/proc/meminfo: memFree=27360416/32873648 swapFree=6864/6864
[pid=11797] ppid=11795 vsize=42296 CPUtime=1785.21 cores=1,3,5,7
/proc/11797/stat : 11797 (pbscip.linux.x8) R 11795 11797 11712 0 -1 4202496 12765 0 0 0 176322 2199 0 0 20 0 1 0 333991532 43311104 10132 33554432000 4194304 8395647 140736801897888 140736801893016 7428202 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/11797/statm: 10574 10132 628 1026 0 9544 0
Current children cumulated CPU time (s) 1785.21
Current children cumulated vsize (KiB) 42296
[startup+1787.1 s]
/proc/loadavg: 2.16 2.04 1.74 3/177 11850
/proc/meminfo: memFree=27297744/32873648 swapFree=6864/6864
[pid=11797] ppid=11795 vsize=42296 CPUtime=1786.81 cores=1,3,5,7
/proc/11797/stat : 11797 (pbscip.linux.x8) R 11795 11797 11712 0 -1 4202496 12765 0 0 0 176480 2201 0 0 20 0 1 0 333991532 43311104 10132 33554432000 4194304 8395647 140736801897888 140736801893016 7428202 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/11797/statm: 10574 10132 628 1026 0 9544 0
Current children cumulated CPU time (s) 1786.81
Current children cumulated vsize (KiB) 42296
[startup+1788.7 s]
/proc/loadavg: 2.15 2.04 1.74 3/178 11851
/proc/meminfo: memFree=27177108/32873648 swapFree=6864/6864
[pid=11797] ppid=11795 vsize=42296 CPUtime=1788.41 cores=1,3,5,7
/proc/11797/stat : 11797 (pbscip.linux.x8) R 11795 11797 11712 0 -1 4202496 12765 0 0 0 176638 2203 0 0 20 0 1 0 333991532 43311104 10132 33554432000 4194304 8395647 140736801897888 140736801893016 7428202 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/11797/statm: 10574 10132 628 1026 0 9544 0
Current children cumulated CPU time (s) 1788.41
Current children cumulated vsize (KiB) 42296
[startup+1789.5 s]
/proc/loadavg: 2.15 2.04 1.74 3/178 11851
/proc/meminfo: memFree=27177108/32873648 swapFree=6864/6864
[pid=11797] ppid=11795 vsize=42296 CPUtime=1789.2 cores=1,3,5,7
/proc/11797/stat : 11797 (pbscip.linux.x8) R 11795 11797 11712 0 -1 4202496 12765 0 0 0 176717 2203 0 0 20 0 1 0 333991532 43311104 10132 33554432000 4194304 8395647 140736801897888 140736801893352 7428202 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/11797/statm: 10574 10132 628 1026 0 9544 0
Current children cumulated CPU time (s) 1789.2
Current children cumulated vsize (KiB) 42296
[startup+1789.9 s]
/proc/loadavg: 2.15 2.04 1.74 3/178 11851
/proc/meminfo: memFree=27115968/32873648 swapFree=6864/6864
[pid=11797] ppid=11795 vsize=42296 CPUtime=1789.61 cores=1,3,5,7
/proc/11797/stat : 11797 (pbscip.linux.x8) R 11795 11797 11712 0 -1 4202496 12765 0 0 0 176757 2204 0 0 20 0 1 0 333991532 43311104 10132 33554432000 4194304 8395647 140736801897888 140736801893352 7428202 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/11797/statm: 10574 10132 628 1026 0 9544 0
Current children cumulated CPU time (s) 1789.61
Current children cumulated vsize (KiB) 42296
[startup+1790 s]
/proc/loadavg: 2.15 2.04 1.74 3/178 11851
/proc/meminfo: memFree=27115968/32873648 swapFree=6864/6864
[pid=11797] ppid=11795 vsize=42296 CPUtime=1789.71 cores=1,3,5,7
/proc/11797/stat : 11797 (pbscip.linux.x8) R 11795 11797 11712 0 -1 4202496 12765 0 0 0 176767 2204 0 0 20 0 1 0 333991532 43311104 10132 33554432000 4194304 8395647 140736801897888 140736801893352 7428202 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/11797/statm: 10574 10132 628 1026 0 9544 0
Current children cumulated CPU time (s) 1789.71
Current children cumulated vsize (KiB) 42296
Child status: 0
Real time (s): 1790.02
CPU time (s): 1789.74
CPU user time (s): 1767.69
CPU system time (s): 22.0476
CPU usage (%): 99.9843
Max. virtual memory (cumulated for all children) (KiB): 42296
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1767.69
system time used= 22.0476
maximum resident set size= 40540
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 12771
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= 17
involuntary context switches= 1843
runsolver used 2.75758 second user time and 7.01293 second system time
The end