0.00/0.00 c SCIP version 2.1.1.4 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: SoPlex 1.6.0.3] [GitHash: 947bdb7-dirty]
0.00/0.00 c Copyright (c) 2002-2012 Konrad-Zuse-Zentrum fuer Informationstechnik Berlin (ZIB)
0.00/0.00 c
0.00/0.00 c user parameter file <scip.set> not found - using default parameters
0.00/0.00 c reading problem <HOME/instance-3691652-1338017251.opb>
0.09/0.11 c original problem has 23409 variables (23409 bin, 0 int, 0 impl, 0 cont) and 1386 constraints
0.09/0.11 c problem read in 0.10
0.09/0.11 c No objective function, only one solution is needed.
0.09/0.11 c presolving settings loaded
0.19/0.24 c presolving:
0.59/0.66 c (round 1) 0 del vars, 612 del conss, 0 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 162 upgd conss, 0 impls, 612 clqs
0.89/0.94 c (round 2) 0 del vars, 612 del conss, 0 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 774 upgd conss, 0 impls, 612 clqs
0.99/1.04 c presolving (3 rounds):
0.99/1.04 c 0 deleted vars, 612 deleted constraints, 0 added constraints, 0 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
0.99/1.04 c 0 implications, 612 cliques
0.99/1.04 c presolved problem has 23409 variables (23409 bin, 0 int, 0 impl, 0 cont) and 774 constraints
0.99/1.04 c 162 constraints of type <knapsack>
0.99/1.04 c 612 constraints of type <setppc>
0.99/1.04 c transformed objective value is always integral (scale: 1)
0.99/1.04 c Presolving Time: 0.85
0.99/1.04 c - non default parameters ----------------------------------------------------------------------
0.99/1.04 c # SCIP version 2.1.1.4
0.99/1.04 c
0.99/1.04 c # maximal time in seconds to run
0.99/1.04 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.99/1.04 c limits/time = 1797
0.99/1.04 c
0.99/1.04 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.99/1.04 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.99/1.04 c limits/memory = 13950
0.99/1.04 c
0.99/1.04 c # solving stops, if the given number of solutions were found (-1: no limit)
0.99/1.04 c # [type: int, range: [-1,2147483647], default: -1]
0.99/1.04 c limits/solutions = 1
0.99/1.04 c
0.99/1.04 c # maximal number of separation rounds per node (-1: unlimited)
0.99/1.04 c # [type: int, range: [-1,2147483647], default: 5]
0.99/1.04 c separating/maxrounds = 1
0.99/1.04 c
0.99/1.04 c # maximal number of separation rounds in the root node (-1: unlimited)
0.99/1.04 c # [type: int, range: [-1,2147483647], default: -1]
0.99/1.04 c separating/maxroundsroot = 5
0.99/1.04 c
0.99/1.04 c # default clock type (1: CPU user seconds, 2: wall clock time)
0.99/1.04 c # [type: int, range: [1,2], default: 1]
0.99/1.04 c timing/clocktype = 2
0.99/1.04 c
0.99/1.04 c # belongs reading time to solving time?
0.99/1.04 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.99/1.04 c timing/reading = TRUE
0.99/1.04 c
0.99/1.04 c # should disaggregation of knapsack constraints be allowed in preprocessing?
0.99/1.04 c # [type: bool, range: {TRUE,FALSE}, default: TRUE]
0.99/1.04 c constraints/knapsack/disaggregation = FALSE
0.99/1.04 c
0.99/1.04 c # frequency for calling primal heuristic <coefdiving> (-1: never, 0: only at depth freqofs)
0.99/1.04 c # [type: int, range: [-1,2147483647], default: 10]
0.99/1.04 c heuristics/coefdiving/freq = -1
0.99/1.04 c
0.99/1.04 c # maximal fraction of diving LP iterations compared to node LP iterations
0.99/1.04 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
0.99/1.04 c heuristics/coefdiving/maxlpiterquot = 0.075
0.99/1.04 c
0.99/1.04 c # additional number of allowed LP iterations
0.99/1.04 c # [type: int, range: [0,2147483647], default: 1000]
0.99/1.04 c heuristics/coefdiving/maxlpiterofs = 1500
0.99/1.04 c
0.99/1.04 c # frequency for calling primal heuristic <crossover> (-1: never, 0: only at depth freqofs)
0.99/1.04 c # [type: int, range: [-1,2147483647], default: 30]
0.99/1.04 c heuristics/crossover/freq = -1
0.99/1.04 c
0.99/1.04 c # number of nodes added to the contingent of the total nodes
0.99/1.04 c # [type: longint, range: [0,9223372036854775807], default: 500]
0.99/1.04 c heuristics/crossover/nodesofs = 750
0.99/1.04 c
0.99/1.04 c # number of nodes without incumbent change that heuristic should wait
0.99/1.04 c # [type: longint, range: [0,9223372036854775807], default: 200]
0.99/1.04 c heuristics/crossover/nwaitingnodes = 100
0.99/1.04 c
0.99/1.04 c # contingent of sub problem nodes in relation to the number of nodes of the original problem
0.99/1.04 c # [type: real, range: [0,1], default: 0.1]
0.99/1.04 c heuristics/crossover/nodesquot = 0.15
0.99/1.04 c
0.99/1.04 c # minimum percentage of integer variables that have to be fixed
0.99/1.04 c # [type: real, range: [0,1], default: 0.666]
0.99/1.04 c heuristics/crossover/minfixingrate = 0.5
0.99/1.04 c
0.99/1.04 c # frequency for calling primal heuristic <feaspump> (-1: never, 0: only at depth freqofs)
0.99/1.04 c # [type: int, range: [-1,2147483647], default: 20]
0.99/1.04 c heuristics/feaspump/freq = -1
0.99/1.04 c
0.99/1.04 c # additional number of allowed LP iterations
0.99/1.04 c # [type: int, range: [0,2147483647], default: 1000]
0.99/1.04 c heuristics/feaspump/maxlpiterofs = 2000
0.99/1.04 c
0.99/1.04 c # frequency for calling primal heuristic <fracdiving> (-1: never, 0: only at depth freqofs)
0.99/1.04 c # [type: int, range: [-1,2147483647], default: 10]
0.99/1.04 c heuristics/fracdiving/freq = -1
0.99/1.04 c
0.99/1.04 c # maximal fraction of diving LP iterations compared to node LP iterations
0.99/1.04 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
0.99/1.04 c heuristics/fracdiving/maxlpiterquot = 0.075
0.99/1.04 c
0.99/1.04 c # additional number of allowed LP iterations
0.99/1.04 c # [type: int, range: [0,2147483647], default: 1000]
0.99/1.04 c heuristics/fracdiving/maxlpiterofs = 1500
0.99/1.04 c
0.99/1.04 c # frequency for calling primal heuristic <guideddiving> (-1: never, 0: only at depth freqofs)
0.99/1.04 c # [type: int, range: [-1,2147483647], default: 10]
0.99/1.04 c heuristics/guideddiving/freq = -1
0.99/1.04 c
0.99/1.04 c # maximal fraction of diving LP iterations compared to node LP iterations
0.99/1.04 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
0.99/1.04 c heuristics/guideddiving/maxlpiterquot = 0.075
0.99/1.04 c
0.99/1.04 c # additional number of allowed LP iterations
0.99/1.04 c # [type: int, range: [0,2147483647], default: 1000]
0.99/1.04 c heuristics/guideddiving/maxlpiterofs = 1500
0.99/1.04 c
0.99/1.04 c # maximal fraction of diving LP iterations compared to node LP iterations
0.99/1.04 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
0.99/1.04 c heuristics/intdiving/maxlpiterquot = 0.075
0.99/1.04 c
0.99/1.04 c # frequency for calling primal heuristic <intshifting> (-1: never, 0: only at depth freqofs)
0.99/1.04 c # [type: int, range: [-1,2147483647], default: 10]
0.99/1.04 c heuristics/intshifting/freq = -1
0.99/1.04 c
0.99/1.04 c # frequency for calling primal heuristic <linesearchdiving> (-1: never, 0: only at depth freqofs)
0.99/1.04 c # [type: int, range: [-1,2147483647], default: 10]
0.99/1.04 c heuristics/linesearchdiving/freq = -1
0.99/1.04 c
0.99/1.04 c # maximal fraction of diving LP iterations compared to node LP iterations
0.99/1.04 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
0.99/1.04 c heuristics/linesearchdiving/maxlpiterquot = 0.075
0.99/1.04 c
0.99/1.04 c # additional number of allowed LP iterations
0.99/1.04 c # [type: int, range: [0,2147483647], default: 1000]
0.99/1.04 c heuristics/linesearchdiving/maxlpiterofs = 1500
0.99/1.04 c
0.99/1.04 c # frequency for calling primal heuristic <objpscostdiving> (-1: never, 0: only at depth freqofs)
0.99/1.04 c # [type: int, range: [-1,2147483647], default: 20]
0.99/1.04 c heuristics/objpscostdiving/freq = -1
0.99/1.04 c
0.99/1.04 c # maximal fraction of diving LP iterations compared to total iteration number
0.99/1.04 c # [type: real, range: [0,1], default: 0.01]
0.99/1.04 c heuristics/objpscostdiving/maxlpiterquot = 0.015
0.99/1.04 c
0.99/1.04 c # additional number of allowed LP iterations
0.99/1.04 c # [type: int, range: [0,2147483647], default: 1000]
0.99/1.04 c heuristics/objpscostdiving/maxlpiterofs = 1500
0.99/1.04 c
0.99/1.04 c # frequency for calling primal heuristic <oneopt> (-1: never, 0: only at depth freqofs)
0.99/1.04 c # [type: int, range: [-1,2147483647], default: 1]
0.99/1.04 c heuristics/oneopt/freq = -1
0.99/1.04 c
0.99/1.04 c # frequency for calling primal heuristic <pscostdiving> (-1: never, 0: only at depth freqofs)
0.99/1.04 c # [type: int, range: [-1,2147483647], default: 10]
0.99/1.04 c heuristics/pscostdiving/freq = -1
0.99/1.04 c
0.99/1.04 c # maximal fraction of diving LP iterations compared to node LP iterations
0.99/1.04 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
0.99/1.04 c heuristics/pscostdiving/maxlpiterquot = 0.075
0.99/1.04 c
0.99/1.04 c # additional number of allowed LP iterations
0.99/1.04 c # [type: int, range: [0,2147483647], default: 1000]
0.99/1.04 c heuristics/pscostdiving/maxlpiterofs = 1500
0.99/1.04 c
0.99/1.04 c # frequency for calling primal heuristic <rens> (-1: never, 0: only at depth freqofs)
0.99/1.04 c # [type: int, range: [-1,2147483647], default: 0]
0.99/1.04 c heuristics/rens/freq = -1
0.99/1.04 c
0.99/1.04 c # minimum percentage of integer variables that have to be fixable
0.99/1.04 c # [type: real, range: [0,1], default: 0.5]
0.99/1.04 c heuristics/rens/minfixingrate = 0.3
0.99/1.04 c
0.99/1.04 c # number of nodes added to the contingent of the total nodes
0.99/1.04 c # [type: longint, range: [0,9223372036854775807], default: 500]
0.99/1.04 c heuristics/rens/nodesofs = 2000
0.99/1.04 c
0.99/1.04 c # frequency for calling primal heuristic <rootsoldiving> (-1: never, 0: only at depth freqofs)
0.99/1.04 c # [type: int, range: [-1,2147483647], default: 20]
0.99/1.04 c heuristics/rootsoldiving/freq = -1
0.99/1.04 c
0.99/1.04 c # maximal fraction of diving LP iterations compared to node LP iterations
0.99/1.04 c # [type: real, range: [0,1.79769313486232e+308], default: 0.01]
0.99/1.04 c heuristics/rootsoldiving/maxlpiterquot = 0.015
0.99/1.04 c
0.99/1.04 c # additional number of allowed LP iterations
0.99/1.04 c # [type: int, range: [0,2147483647], default: 1000]
0.99/1.04 c heuristics/rootsoldiving/maxlpiterofs = 1500
0.99/1.04 c
0.99/1.04 c # frequency for calling primal heuristic <rounding> (-1: never, 0: only at depth freqofs)
0.99/1.04 c # [type: int, range: [-1,2147483647], default: 1]
0.99/1.04 c heuristics/rounding/freq = -1
0.99/1.04 c
0.99/1.04 c # frequency for calling primal heuristic <shiftandpropagate> (-1: never, 0: only at depth freqofs)
0.99/1.04 c # [type: int, range: [-1,2147483647], default: 0]
0.99/1.04 c heuristics/shiftandpropagate/freq = -1
0.99/1.04 c
0.99/1.04 c # frequency for calling primal heuristic <shifting> (-1: never, 0: only at depth freqofs)
0.99/1.04 c # [type: int, range: [-1,2147483647], default: 10]
0.99/1.04 c heuristics/shifting/freq = -1
0.99/1.04 c
0.99/1.04 c # frequency for calling primal heuristic <simplerounding> (-1: never, 0: only at depth freqofs)
0.99/1.04 c # [type: int, range: [-1,2147483647], default: 1]
0.99/1.04 c heuristics/simplerounding/freq = -1
0.99/1.04 c
0.99/1.04 c # frequency for calling primal heuristic <subnlp> (-1: never, 0: only at depth freqofs)
0.99/1.04 c # [type: int, range: [-1,2147483647], default: 1]
0.99/1.04 c heuristics/subnlp/freq = -1
0.99/1.04 c
0.99/1.04 c # frequency for calling primal heuristic <trivial> (-1: never, 0: only at depth freqofs)
0.99/1.04 c # [type: int, range: [-1,2147483647], default: 0]
0.99/1.04 c heuristics/trivial/freq = -1
0.99/1.04 c
0.99/1.04 c # frequency for calling primal heuristic <trysol> (-1: never, 0: only at depth freqofs)
0.99/1.04 c # [type: int, range: [-1,2147483647], default: 1]
0.99/1.04 c heuristics/trysol/freq = -1
0.99/1.04 c
0.99/1.04 c # frequency for calling primal heuristic <undercover> (-1: never, 0: only at depth freqofs)
0.99/1.04 c # [type: int, range: [-1,2147483647], default: 0]
0.99/1.04 c heuristics/undercover/freq = -1
0.99/1.04 c
0.99/1.04 c # frequency for calling primal heuristic <veclendiving> (-1: never, 0: only at depth freqofs)
0.99/1.04 c # [type: int, range: [-1,2147483647], default: 10]
0.99/1.04 c heuristics/veclendiving/freq = -1
0.99/1.04 c
0.99/1.04 c # maximal fraction of diving LP iterations compared to node LP iterations
0.99/1.04 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
0.99/1.04 c heuristics/veclendiving/maxlpiterquot = 0.075
0.99/1.04 c
0.99/1.04 c # additional number of allowed LP iterations
0.99/1.04 c # [type: int, range: [0,2147483647], default: 1000]
0.99/1.04 c heuristics/veclendiving/maxlpiterofs = 1500
0.99/1.04 c
0.99/1.04 c # frequency for calling primal heuristic <zirounding> (-1: never, 0: only at depth freqofs)
0.99/1.04 c # [type: int, range: [-1,2147483647], default: 1]
0.99/1.04 c heuristics/zirounding/freq = -1
0.99/1.04 c
0.99/1.04 c # maximal number of presolving rounds the propagator participates in (-1: no limit)
0.99/1.04 c # [type: int, range: [-1,2147483647], default: -1]
0.99/1.04 c propagating/probing/maxprerounds = 0
0.99/1.04 c
0.99/1.04 c # frequency for calling separator <cmir> (-1: never, 0: only in root node)
0.99/1.04 c # [type: int, range: [-1,2147483647], default: 0]
0.99/1.04 c separating/cmir/freq = -1
0.99/1.04 c
0.99/1.04 c # frequency for calling separator <flowcover> (-1: never, 0: only in root node)
0.99/1.04 c # [type: int, range: [-1,2147483647], default: 0]
0.99/1.04 c separating/flowcover/freq = -1
0.99/1.04 c
0.99/1.04 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
0.99/1.04 c # [type: int, range: [-1,2147483647], default: -1]
0.99/1.04 c separating/rapidlearning/freq = 0
0.99/1.04 c
0.99/1.04 c # frequency for calling primal heuristic <indoneopt> (-1: never, 0: only at depth freqofs)
0.99/1.04 c # [type: int, range: [-1,2147483647], default: 1]
0.99/1.04 c heuristics/indoneopt/freq = -1
0.99/1.04 c
0.99/1.04 c -----------------------------------------------------------------------------------------------
0.99/1.04 c start solving
0.99/1.05 c
42.27/42.32 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
42.27/42.32 c 42.3s| 1 | 0 | 48040 | - | 87M| 0 | 657 | 23k| 774 | 23k| 774 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
43.37/43.41 c 43.4s| 1 | 0 | 48921 | - | 87M| 0 | 703 | 23k| 774 | 23k| 782 | 8 | 0 | 0 | 0.000000e+00 | -- | Inf
43.67/43.73 c 43.7s| 1 | 0 | 49032 | - | 87M| 0 | 713 | 23k| 774 | 23k| 790 | 16 | 0 | 0 | 0.000000e+00 | -- | Inf
43.98/44.08 c 44.1s| 1 | 0 | 49126 | - | 87M| 0 | 721 | 23k| 774 | 23k| 798 | 24 | 0 | 0 | 0.000000e+00 | -- | Inf
44.38/44.42 c 44.4s| 1 | 0 | 49197 | - | 87M| 0 | 733 | 23k| 774 | 23k| 808 | 34 | 0 | 0 | 0.000000e+00 | -- | Inf
44.68/44.76 c 44.8s| 1 | 0 | 49265 | - | 87M| 0 | 741 | 23k| 774 | 23k| 817 | 43 | 0 | 0 | 0.000000e+00 | -- | Inf
66.37/66.40 c 66.4s| 1 | 2 | 49265 | - | 87M| 0 | 741 | 23k| 774 | 23k| 817 | 43 | 0 | 33 | 0.000000e+00 | -- | Inf
347.73/347.84 c 348s| 100 | 101 | 70896 | 218.5 | 95M| 82 | 308 | 23k| 774 | 23k| 814 | 43 | 0 | 444 | 0.000000e+00 | -- | Inf
394.62/394.75 c 395s| 200 | 121 |105923 | 284.7 | 96M| 97 | - | 23k| 780 | 23k| 814 | 43 | 6 | 476 | 0.000000e+00 | -- | Inf
438.61/438.76 c 439s| 300 | 139 |142030 | 310.3 | 96M| 98 | - | 23k| 778 | 23k| 814 | 43 | 6 | 503 | 0.000000e+00 | -- | Inf
485.81/485.92 c 486s| 400 | 155 |181487 | 331.4 | 96M| 104 | - | 23k| 777 | 23k| 814 | 43 | 6 | 535 | 0.000000e+00 | -- | Inf
531.70/531.85 c 532s| 500 | 165 |220889 | 343.9 | 96M| 104 | 251 | 23k| 776 | 23k| 814 | 43 | 6 | 564 | 0.000000e+00 | -- | Inf
583.49/583.66 c 584s| 600 | 189 |258335 | 349.0 | 97M| 104 | 264 | 23k| 775 | 23k| 814 | 43 | 6 | 612 | 0.000000e+00 | -- | Inf
631.58/631.73 c 632s| 700 | 197 |298457 | 356.5 | 97M| 104 | 278 | 23k| 801 | 23k| 814 | 43 | 32 | 642 | 0.000000e+00 | -- | Inf
681.58/681.72 c 682s| 800 | 203 |342511 | 367.0 | 97M| 104 | 245 | 23k| 801 | 23k| 814 | 43 | 32 | 671 | 0.000000e+00 | -- | Inf
731.96/732.16 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
731.96/732.16 c 732s| 900 | 237 |381500 | 369.6 | 97M| 104 | 251 | 23k| 801 | 23k| 814 | 43 | 32 | 717 | 0.000000e+00 | -- | Inf
774.76/774.95 c 775s| 1000 | 263 |417503 | 368.6 | 98M| 104 | 399 | 23k| 801 | 23k| 814 | 43 | 32 | 747 | 0.000000e+00 | -- | Inf
822.05/822.20 c 822s| 1100 | 289 |453338 | 367.7 | 98M| 104 | 382 | 23k| 801 | 23k| 814 | 43 | 32 | 789 | 0.000000e+00 | -- | Inf
854.15/854.30 c 854s| 1200 | 317 |481312 | 360.3 | 98M| 104 | - | 23k| 797 | 23k| 814 | 43 | 32 | 810 | 0.000000e+00 | -- | Inf
896.74/896.94 c 897s| 1300 | 355 |511244 | 355.6 | 98M| 104 | 376 | 23k| 797 | 23k| 814 | 43 | 32 | 849 | 0.000000e+00 | -- | Inf
952.03/952.23 c 952s| 1400 | 379 |561405 | 366.1 | 99M| 104 | - | 23k| 794 | 23k| 814 | 43 | 32 | 888 | 0.000000e+00 | -- | Inf
1003.13/1003.39 c 1003s| 1500 | 397 |601396 | 368.3 | 99M| 106 | 282 | 23k| 794 | 23k| 814 | 43 | 32 | 925 | 0.000000e+00 | -- | Inf
1061.52/1061.76 c 1062s| 1600 | 421 |647888 | 374.4 | 99M| 106 | 253 | 23k| 793 | 23k| 814 | 43 | 32 | 973 | 0.000000e+00 | -- | Inf
1107.01/1107.24 c 1107s| 1700 | 433 |685177 | 374.3 | 99M| 106 | - | 23k| 813 | 23k| 814 | 43 | 52 |1000 | 0.000000e+00 | -- | Inf
1144.81/1145.07 c 1145s| 1800 | 455 |719066 | 372.3 | 100M| 106 | - | 23k| 812 | 23k| 814 | 43 | 52 |1018 | 0.000000e+00 | -- | Inf
1185.80/1186.02 c 1186s| 1900 | 467 |749124 | 368.5 | 100M| 106 | 271 | 23k| 815 | 23k| 814 | 43 | 59 |1052 | 0.000000e+00 | -- | Inf
1230.49/1230.78 c 1231s| 2000 | 475 |786080 | 368.6 | 100M| 106 | 246 | 23k| 815 | 23k| 814 | 43 | 59 |1080 | 0.000000e+00 | -- | Inf
1276.49/1276.71 c 1277s| 2100 | 495 |818168 | 366.3 | 100M| 106 | 248 | 23k| 820 | 23k| 814 | 43 | 69 |1126 | 0.000000e+00 | -- | Inf
1322.78/1323.08 c 1323s| 2200 | 509 |857977 | 367.8 | 100M| 106 | 243 | 23k| 838 | 23k| 814 | 43 | 89 |1153 | 0.000000e+00 | -- | Inf
1362.97/1363.26 c 1363s| 2300 | 529 |888471 | 365.0 | 101M| 106 | 239 | 23k| 853 | 23k| 814 | 43 | 109 |1181 | 0.000000e+00 | -- | Inf
1405.57/1405.83 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1405.57/1405.83 c 1406s| 2400 | 533 |925289 | 365.2 | 101M| 110 | - | 23k| 875 | 23k| 814 | 43 | 143 |1200 | 0.000000e+00 | -- | Inf
1451.85/1452.11 c 1452s| 2500 | 551 |958289 | 363.8 | 101M| 110 | 229 | 23k| 891 | 23k| 814 | 43 | 164 |1235 | 0.000000e+00 | -- | Inf
1502.55/1502.84 c 1503s| 2600 | 545 |998698 | 365.3 | 101M| 114 | 223 | 23k| 891 | 23k| 814 | 43 | 172 |1262 | 0.000000e+00 | -- | Inf
1543.14/1543.44 c 1543s| 2700 | 557 | 1034k| 364.9 | 101M| 114 | 243 | 23k| 903 | 23k| 814 | 43 | 192 |1278 | 0.000000e+00 | -- | Inf
1582.33/1582.64 c 1583s| 2800 | 563 | 1064k| 362.8 | 101M| 114 | 248 | 23k| 941 | 23k| 814 | 43 | 243 |1304 | 0.000000e+00 | -- | Inf
1626.73/1627.06 c 1627s| 2900 | 567 | 1100k| 362.8 | 101M| 114 | - | 23k| 966 | 0 | 0 | 43 | 278 |1332 | 0.000000e+00 | -- | Inf
1670.92/1671.20 c 1671s| 3000 | 565 | 1137k| 362.7 | 101M| 114 | 282 | 23k| 970 | 23k| 814 | 43 | 298 |1358 | 0.000000e+00 | -- | Inf
1718.81/1719.11 c 1719s| 3100 | 561 | 1174k| 363.1 | 101M| 114 | - | 23k| 994 | 23k| 814 | 43 | 336 |1386 | 0.000000e+00 | -- | Inf
1764.01/1764.33 c 1764s| 3200 | 581 | 1211k| 363.4 | 101M| 114 | 260 | 23k| 982 | 23k| 814 | 43 | 346 |1416 | 0.000000e+00 | -- | Inf
1796.70/1797.00 c
1796.70/1797.00 c SCIP Status : solving was interrupted [time limit reached]
1796.70/1797.00 c Solving Time (sec) : 1797.00
1796.70/1797.00 c Solving Nodes : 3267
1796.70/1797.00 c Primal Bound : +1.00000000000000e+20 (0 solutions)
1796.70/1797.00 c Dual Bound : +0.00000000000000e+00
1796.70/1797.00 c Gap : infinite
1796.70/1797.00 s UNKNOWN
1796.70/1797.00 c SCIP Status : solving was interrupted [time limit reached]
1796.70/1797.00 c Total Time : 1797.00
1796.70/1797.00 c solving : 1797.00
1796.70/1797.00 c presolving : 0.85 (included in solving)
1796.70/1797.00 c reading : 0.10 (included in solving)
1796.70/1797.00 c copying : 0.00 (0 times copied the problem)
1796.70/1797.00 c Original Problem :
1796.70/1797.00 c Problem name : HOME/instance-3691652-1338017251.opb
1796.70/1797.00 c Variables : 23409 (23409 binary, 0 integer, 0 implicit integer, 0 continuous)
1796.70/1797.00 c Constraints : 1386 initial, 1386 maximal
1796.70/1797.00 c Objective sense : minimize
1796.70/1797.00 c Presolved Problem :
1796.70/1797.00 c Problem name : t_HOME/instance-3691652-1338017251.opb
1796.70/1797.00 c Variables : 23409 (23409 binary, 0 integer, 0 implicit integer, 0 continuous)
1796.70/1797.00 c Constraints : 774 initial, 1018 maximal
1796.70/1797.00 c Presolvers : ExecTime SetupTime FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons AddCons ChgSides ChgCoefs
1796.70/1797.00 c domcol : 0.00 0.00 0 0 0 0 0 0 0 0 0
1796.70/1797.00 c trivial : 0.00 0.00 0 0 0 0 0 0 0 0 0
1796.70/1797.00 c dualfix : 0.00 0.00 0 0 0 0 0 0 0 0 0
1796.70/1797.00 c boundshift : 0.00 0.00 0 0 0 0 0 0 0 0 0
1796.70/1797.00 c inttobinary : 0.00 0.00 0 0 0 0 0 0 0 0 0
1796.70/1797.00 c convertinttobin : 0.00 0.00 0 0 0 0 0 0 0 0 0
1796.70/1797.00 c gateextraction : 0.00 0.00 0 0 0 0 0 0 0 0 0
1796.70/1797.00 c implics : 0.00 0.00 0 0 0 0 0 0 0 0 0
1796.70/1797.00 c components : 0.02 0.00 0 0 0 0 0 0 0 0 0
1796.70/1797.00 c pseudoobj : 0.00 0.00 0 0 0 0 0 0 0 0 0
1796.70/1797.00 c probing : 0.00 0.00 0 0 0 0 0 0 0 0 0
1796.70/1797.00 c knapsack : 0.20 0.00 0 0 0 0 0 0 0 0 0
1796.70/1797.00 c setppc : 0.07 0.00 0 0 0 0 0 0 0 0 0
1796.70/1797.00 c linear : 0.44 0.04 0 0 0 0 0 612 0 0 0
1796.70/1797.00 c logicor : 0.00 0.00 0 0 0 0 0 0 0 0 0
1796.70/1797.00 c root node : - - 0 - - 0 - - - - -
1796.70/1797.00 c Constraints : Number MaxNumber #Separate #Propagate #EnfoLP #EnfoPS #Check #ResProp Cutoffs DomReds Cuts Conss Children
1796.70/1797.00 c integral : 0 0 0 0 1986 0 1 0 19 133 0 0 3840
1796.70/1797.00 c knapsack : 162 162 5 6327 0 1 0 5773 3 36475 0 0 0
1796.70/1797.00 c setppc : 612 612 5 6324 0 1 0 66732 25 136636 0 0 0
1796.70/1797.00 c logicor : 0+ 244 0 1182 0 0 0 17 4 189 0 0 0
1796.70/1797.00 c countsols : 0 0 0 0 0 1 0 0 0 0 0 0 0
1796.70/1797.00 c Constraint Timings : TotalTime SetupTime Separate Propagate EnfoLP EnfoPS Check ResProp
1796.70/1797.00 c integral : 701.70 0.00 0.00 0.00 701.70 0.00 0.00 0.00
1796.70/1797.00 c knapsack : 0.53 0.00 0.02 0.49 0.00 0.00 0.00 0.01
1796.70/1797.00 c setppc : 0.50 0.00 0.00 0.42 0.00 0.00 0.00 0.07
1796.70/1797.00 c logicor : 0.02 0.00 0.00 0.02 0.00 0.00 0.00 0.00
1796.70/1797.00 c countsols : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
1796.70/1797.00 c Propagators : #Propagate #ResProp Cutoffs DomReds
1796.70/1797.00 c rootredcost : 0 0 0 0
1796.70/1797.00 c pseudoobj : 0 0 0 0
1796.70/1797.00 c vbounds : 0 0 0 0
1796.70/1797.00 c redcost : 1991 0 0 0
1796.70/1797.00 c probing : 0 0 0 0
1796.70/1797.00 c Propagator Timings : TotalTime SetupTime Presolve Propagate ResProp
1796.70/1797.00 c rootredcost : 0.00 0.00 0.00 0.00 0.00
1796.70/1797.00 c pseudoobj : 0.00 0.00 0.00 0.00 0.00
1796.70/1797.00 c vbounds : 0.01 0.00 0.00 0.00 0.00
1796.70/1797.00 c redcost : 2.24 0.00 0.00 2.24 0.00
1796.70/1797.00 c probing : 0.00 0.00 0.00 0.00 0.00
1796.70/1797.00 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1796.70/1797.00 c propagation : 0.09 32 30 833 271.5 24 169.7 -
1796.70/1797.00 c infeasible LP : 188.05 1295 18 1252 2556.0 12 163.1 0
1796.70/1797.00 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1796.70/1797.00 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1796.70/1797.00 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 -
1796.70/1797.00 c applied globally : - - - 391 470.0 - - -
1796.70/1797.00 c applied locally : - - - 0 0.0 - - -
1796.70/1797.00 c Separators : ExecTime SetupTime Calls Cutoffs DomReds Cuts Conss
1796.70/1797.00 c cut pool : 0.00 4 - - 0 - (maximal pool size: 43)
1796.70/1797.00 c closecuts : 0.00 0.00 0 0 0 0 0
1796.70/1797.00 c impliedbounds : 0.00 0.00 5 0 0 0 0
1796.70/1797.00 c intobj : 0.00 0.00 0 0 0 0 0
1796.70/1797.00 c gomory : 0.24 0.00 5 0 0 0 0
1796.70/1797.00 c cgmip : 0.00 0.00 0 0 0 0 0
1796.70/1797.00 c strongcg : 0.24 0.00 5 0 0 0 0
1796.70/1797.00 c cmir : 0.00 0.00 0 0 0 0 0
1796.70/1797.00 c flowcover : 0.00 0.00 0 0 0 0 0
1796.70/1797.00 c clique : 0.14 0.00 5 0 0 43 0
1796.70/1797.00 c zerohalf : 0.00 0.00 0 0 0 0 0
1796.70/1797.00 c mcf : 0.01 0.00 1 0 0 0 0
1796.70/1797.00 c oddcycle : 0.00 0.00 0 0 0 0 0
1796.70/1797.00 c rapidlearning : 0.00 0.00 0 0 0 0 0
1796.70/1797.00 c Pricers : ExecTime SetupTime Calls Vars
1796.70/1797.00 c problem variables: 0.00 - 0 0
1796.70/1797.00 c Branching Rules : ExecTime SetupTime Calls Cutoffs DomReds Cuts Conss Children
1796.70/1797.00 c relpscost : 701.70 0.00 1986 19 133 0 0 3840
1796.70/1797.00 c pscost : 0.00 0.00 0 0 0 0 0 0
1796.70/1797.00 c inference : 0.00 0.00 1 0 0 0 0 2
1796.70/1797.00 c mostinf : 0.00 0.00 0 0 0 0 0 0
1796.70/1797.00 c leastinf : 0.00 0.00 0 0 0 0 0 0
1796.70/1797.00 c fullstrong : 0.00 0.00 0 0 0 0 0 0
1796.70/1797.00 c allfullstrong : 0.00 0.00 0 0 0 0 0 0
1796.70/1797.00 c random : 0.00 0.00 0 0 0 0 0 0
1796.70/1797.00 c Primal Heuristics : ExecTime SetupTime Calls Found
1796.70/1797.00 c LP solutions : 0.00 - - 0
1796.70/1797.00 c pseudo solutions : 0.00 - - 0
1796.70/1797.00 c smallcard : 0.00 0.00 0 0
1796.70/1797.00 c trivial : 0.01 0.00 1 0
1796.70/1797.00 c shiftandpropagate: 0.00 0.00 0 0
1796.70/1797.00 c simplerounding : 0.00 0.00 0 0
1796.70/1797.00 c zirounding : 0.00 0.00 0 0
1796.70/1797.00 c rounding : 0.00 0.00 0 0
1796.70/1797.00 c shifting : 0.00 0.00 0 0
1796.70/1797.00 c intshifting : 0.00 0.00 0 0
1796.70/1797.00 c oneopt : 0.00 0.00 0 0
1796.70/1797.00 c twoopt : 0.00 0.00 0 0
1796.70/1797.00 c indtwoopt : 0.00 0.00 0 0
1796.70/1797.00 c indoneopt : 0.00 0.00 0 0
1796.70/1797.00 c fixandinfer : 0.00 0.00 0 0
1796.70/1797.00 c feaspump : 0.00 0.00 0 0
1796.70/1797.00 c clique : 0.00 0.00 0 0
1796.70/1797.00 c indrounding : 0.00 0.00 0 0
1796.70/1797.00 c indcoefdiving : 0.00 0.00 0 0
1796.70/1797.00 c coefdiving : 0.00 0.00 0 0
1796.70/1797.00 c pscostdiving : 0.00 0.00 0 0
1796.70/1797.00 c nlpdiving : 0.00 0.00 0 0
1796.70/1797.00 c fracdiving : 0.00 0.00 0 0
1796.70/1797.00 c veclendiving : 0.00 0.00 0 0
1796.70/1797.00 c intdiving : 0.00 0.00 0 0
1796.70/1797.00 c actconsdiving : 0.00 0.00 0 0
1796.70/1797.00 c objpscostdiving : 0.00 0.00 0 0
1796.70/1797.00 c rootsoldiving : 0.00 0.00 0 0
1796.70/1797.00 c linesearchdiving : 0.00 0.00 0 0
1796.70/1797.00 c guideddiving : 0.00 0.00 0 0
1796.70/1797.00 c octane : 0.00 0.00 0 0
1796.70/1797.00 c rens : 0.00 0.00 0 0
1796.70/1797.00 c rins : 0.00 0.00 0 0
1796.70/1797.00 c localbranching : 0.00 0.00 0 0
1796.70/1797.00 c mutation : 0.00 0.00 0 0
1796.70/1797.00 c crossover : 0.00 0.00 0 0
1796.70/1797.00 c dins : 0.00 0.00 0 0
1796.70/1797.00 c vbounds : 0.00 0.00 0 0
1796.70/1797.00 c undercover : 0.00 0.00 0 0
1796.70/1797.00 c subnlp : 0.00 0.00 0 0
1796.70/1797.00 c trysol : 0.00 0.00 0 0
1796.70/1797.00 c LP : Time Calls Iterations Iter/call Iter/sec Time-0-It Calls-0-It
1796.70/1797.00 c primal LP : 0.07 1 0 0.00 0.00 0.07 1
1796.70/1797.00 c dual LP : 893.28 3287 1237923 376.73 1385.82 0.00 1
1796.70/1797.00 c lex dual LP : 0.00 0 0 0.00 -
1796.70/1797.00 c barrier LP : 0.00 0 0 0.00 - 0.00 0
1796.70/1797.00 c diving/probing LP: 0.00 0 0 0.00 -
1796.70/1797.00 c strong branching : 701.34 1437 733985 510.78 1046.54
1796.70/1797.00 c (at root node) : - 33 11578 350.85 -
1796.70/1797.00 c conflict analysis: 0.00 0 0 0.00 -
1796.70/1797.00 c B&B Tree :
1796.70/1797.00 c number of runs : 1
1796.70/1797.00 c nodes : 3267
1796.70/1797.00 c nodes (total) : 3267
1796.70/1797.00 c nodes left : 576
1796.70/1797.00 c max depth : 114
1796.70/1797.00 c max depth (total): 114
1796.70/1797.00 c backtracks : 329 (10.1%)
1796.70/1797.00 c delayed cutoffs : 0
1796.70/1797.00 c repropagations : 386 (176 domain reductions, 0 cutoffs)
1796.70/1797.00 c avg switch length: 3.87
1796.70/1797.00 c switching time : 1.33
1796.70/1797.00 c Solution :
1796.70/1797.00 c Solutions found : 0 (0 improvements)
1796.70/1797.00 c Primal Bound : -
1796.70/1797.00 c Dual Bound : +0.00000000000000e+00
1796.70/1797.00 c Gap : infinite
1796.70/1797.00 c Root Dual Bound : +0.00000000000000e+00
1796.70/1797.00 c Root Iterations : 49265
1796.80/1797.17 c Time complete: 1796.87.
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-3691652-1338017251/watcher-3691652-1338017251 -o /tmp/evaluation-result-3691652-1338017251/solver-3691652-1338017251 -C 1800 -W 1900 -M 15500 HOME/scip-2.1.1.4expfix.linux.x86_64.gnu.opt.spx -f HOME/instance-3691652-1338017251.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: 1.64 1.92 2.01 3/173 904
/proc/meminfo: memFree=29556452/32873852 swapFree=7616/7616
[pid=904] ppid=900 vsize=9464 CPUtime=0 cores=1,3,5,7
/proc/904/stat : 904 (scip-2.1.1.4exp) R 900 904 403 0 -1 4202496 995 0 0 0 0 0 0 0 20 0 1 0 267850546 9691136 1149 33554432000 4194304 10219143 140736744971152 140736744970056 6717433 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/904/statm: 2366 1154 312 1471 0 886 0
[startup+0.056994 s]
/proc/loadavg: 1.64 1.92 2.01 3/173 904
/proc/meminfo: memFree=29556452/32873852 swapFree=7616/7616
[pid=904] ppid=900 vsize=33180 CPUtime=0.04 cores=1,3,5,7
/proc/904/stat : 904 (scip-2.1.1.4exp) R 900 904 403 0 -1 4202496 6845 0 0 0 4 0 0 0 20 0 1 0 267850546 33976320 6998 33554432000 4194304 10219143 140736744971152 140736744970056 9029200 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/904/statm: 8295 6998 419 1471 0 6815 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 33180
[startup+0.100357 s]
/proc/loadavg: 1.64 1.92 2.01 3/173 904
/proc/meminfo: memFree=29556452/32873852 swapFree=7616/7616
[pid=904] ppid=900 vsize=35100 CPUtime=0.09 cores=1,3,5,7
/proc/904/stat : 904 (scip-2.1.1.4exp) R 900 904 403 0 -1 4202496 7328 0 0 0 9 0 0 0 20 0 1 0 267850546 35942400 7481 33554432000 4194304 10219143 140736744971152 140736744970056 9029200 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/904/statm: 8775 7481 419 1471 0 7295 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 35100
[startup+0.300309 s]
/proc/loadavg: 1.64 1.92 2.01 3/173 904
/proc/meminfo: memFree=29556452/32873852 swapFree=7616/7616
[pid=904] ppid=900 vsize=85064 CPUtime=0.29 cores=1,3,5,7
/proc/904/stat : 904 (scip-2.1.1.4exp) R 900 904 403 0 -1 4202496 19570 0 0 0 27 2 0 0 20 0 1 0 267850546 87105536 19723 33554432000 4194304 10219143 140736744971152 140736744968600 9008087 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/904/statm: 21266 19723 545 1471 0 19786 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 85064
[startup+0.700317 s]
/proc/loadavg: 1.64 1.92 2.01 3/173 904
/proc/meminfo: memFree=29556452/32873852 swapFree=7616/7616
[pid=904] ppid=900 vsize=94108 CPUtime=0.69 cores=1,3,5,7
/proc/904/stat : 904 (scip-2.1.1.4exp) R 900 904 403 0 -1 4202496 22201 0 0 0 67 2 0 0 20 0 1 0 267850546 96366592 21840 33554432000 4194304 10219143 140736744971152 140736744968600 5639616 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/904/statm: 23527 21840 570 1471 0 22047 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 94108
[startup+1.50026 s]
/proc/loadavg: 1.66 1.92 2.01 4/175 906
/proc/meminfo: memFree=29411920/32873852 swapFree=7616/7616
[pid=904] ppid=900 vsize=147744 CPUtime=1.49 cores=1,3,5,7
/proc/904/stat : 904 (scip-2.1.1.4exp) R 900 904 403 0 -1 4202496 36298 0 0 0 144 5 0 0 20 0 1 0 267850546 151289856 34724 33554432000 4194304 10219143 140736744971152 140736744964504 9026266 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/904/statm: 36936 34724 725 1471 0 35456 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 147744
[startup+3.10025 s]
/proc/loadavg: 1.66 1.92 2.01 4/175 906
/proc/meminfo: memFree=29363852/32873852 swapFree=7616/7616
[pid=904] ppid=900 vsize=147744 CPUtime=3.08 cores=1,3,5,7
/proc/904/stat : 904 (scip-2.1.1.4exp) R 900 904 403 0 -1 4202496 36298 0 0 0 303 5 0 0 20 0 1 0 267850546 151289856 34724 33554432000 4194304 10219143 140736744971152 140736744964504 9026266 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/904/statm: 36936 34724 725 1471 0 35456 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 147744
[startup+6.30029 s]
/proc/loadavg: 1.69 1.92 2.01 4/175 906
/proc/meminfo: memFree=29362712/32873852 swapFree=7616/7616
[pid=904] ppid=900 vsize=147744 CPUtime=6.29 cores=1,3,5,7
/proc/904/stat : 904 (scip-2.1.1.4exp) R 900 904 403 0 -1 4202496 36298 0 0 0 623 6 0 0 20 0 1 0 267850546 151289856 34724 33554432000 4194304 10219143 140736744971152 140736744964504 8030320 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/904/statm: 36936 34724 725 1471 0 35456 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 147744
[startup+12.7003 s]
/proc/loadavg: 1.72 1.92 2.00 4/174 906
/proc/meminfo: memFree=29362116/32873852 swapFree=7616/7616
[pid=904] ppid=900 vsize=148708 CPUtime=12.69 cores=1,3,5,7
/proc/904/stat : 904 (scip-2.1.1.4exp) R 900 904 403 0 -1 4202496 36544 0 0 0 1262 7 0 0 20 0 1 0 267850546 152276992 35183 33554432000 4194304 10219143 140736744971152 140736744964824 8053155 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/904/statm: 37177 35183 728 1471 0 35697 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 148708
[startup+25.5002 s]
/proc/loadavg: 1.78 1.92 2.00 3/175 945
/proc/meminfo: memFree=29292784/32873852 swapFree=7616/7616
[pid=904] ppid=900 vsize=149256 CPUtime=25.48 cores=1,3,5,7
/proc/904/stat : 904 (scip-2.1.1.4exp) R 900 904 403 0 -1 4202496 36663 0 0 0 2539 9 0 0 20 0 1 0 267850546 152838144 35301 33554432000 4194304 10219143 140736744971152 140736744964824 9026266 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/904/statm: 37314 35301 728 1471 0 35834 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 149256
[startup+51.1003 s]
/proc/loadavg: 1.85 1.93 2.00 3/175 945
/proc/meminfo: memFree=29289344/32873852 swapFree=7616/7616
[pid=904] ppid=900 vsize=149440 CPUtime=51.08 cores=1,3,5,7
/proc/904/stat : 904 (scip-2.1.1.4exp) R 900 904 403 0 -1 4202496 37836 0 0 0 5094 14 0 0 20 0 1 0 267850546 153026560 35991 33554432000 4194304 10219143 140736744971152 140736744964648 8099197 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/904/statm: 37360 35991 770 1471 0 35880 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 149440
[startup+102.307 s]
/proc/loadavg: 1.93 1.94 2.00 3/175 945
/proc/meminfo: memFree=29287592/32873852 swapFree=7616/7616
[pid=904] ppid=900 vsize=149440 CPUtime=102.27 cores=1,3,5,7
/proc/904/stat : 904 (scip-2.1.1.4exp) R 900 904 403 0 -1 4202496 37900 0 0 0 10208 19 0 0 20 0 1 0 267850546 153026560 36067 33554432000 4194304 10219143 140736744971152 140736744964280 9026266 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/904/statm: 37360 36067 776 1471 0 35880 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 149440
[startup+162.3 s]
/proc/loadavg: 1.97 1.95 2.00 3/176 948
/proc/meminfo: memFree=29285596/32873852 swapFree=7616/7616
[pid=904] ppid=900 vsize=149440 CPUtime=162.25 cores=1,3,5,7
/proc/904/stat : 904 (scip-2.1.1.4exp) R 900 904 403 0 -1 4202496 37909 0 0 0 16202 23 0 0 20 0 1 0 267850546 153026560 36076 33554432000 4194304 10219143 140736744971152 140736744963864 8099243 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/904/statm: 37360 36076 778 1471 0 35880 0
Current children cumulated CPU time (s) 162.25
Current children cumulated vsize (KiB) 149440
[startup+222.3 s]
/proc/loadavg: 1.99 1.95 2.00 3/175 948
/proc/meminfo: memFree=29285600/32873852 swapFree=7616/7616
[pid=904] ppid=900 vsize=149440 CPUtime=222.25 cores=1,3,5,7
/proc/904/stat : 904 (scip-2.1.1.4exp) R 900 904 403 0 -1 4202496 37970 0 0 0 22197 28 0 0 20 0 1 0 267850546 153026560 36136 33554432000 4194304 10219143 140736744971152 140736744964328 8099218 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/904/statm: 37360 36136 778 1471 0 35880 0
Current children cumulated CPU time (s) 222.25
Current children cumulated vsize (KiB) 149440
[startup+282.3 s]
/proc/loadavg: 2.07 1.97 2.00 3/175 948
/proc/meminfo: memFree=29285164/32873852 swapFree=7616/7616
[pid=904] ppid=900 vsize=149440 CPUtime=282.24 cores=1,3,5,7
/proc/904/stat : 904 (scip-2.1.1.4exp) R 900 904 403 0 -1 4202496 38012 0 0 0 28191 33 0 0 20 0 1 0 267850546 153026560 36178 33554432000 4194304 10219143 140736744971152 140736744964984 8100224 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/904/statm: 37360 36178 778 1471 0 35880 0
Current children cumulated CPU time (s) 282.24
Current children cumulated vsize (KiB) 149440
[startup+342.3 s]
/proc/loadavg: 2.02 1.97 2.00 3/175 949
/proc/meminfo: memFree=29280576/32873852 swapFree=7616/7616
[pid=904] ppid=900 vsize=154000 CPUtime=342.23 cores=1,3,5,7
/proc/904/stat : 904 (scip-2.1.1.4exp) R 900 904 403 0 -1 4202496 39161 0 0 0 34182 41 0 0 20 0 1 0 267850546 157696000 37327 33554432000 4194304 10219143 140736744971152 140736744965064 9026266 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/904/statm: 38500 37327 778 1471 0 37020 0
Current children cumulated CPU time (s) 342.23
Current children cumulated vsize (KiB) 154000
[startup+402.3 s]
/proc/loadavg: 2.01 1.97 2.00 3/175 949
/proc/meminfo: memFree=29275240/32873852 swapFree=7616/7616
[pid=904] ppid=900 vsize=160788 CPUtime=402.21 cores=1,3,5,7
/proc/904/stat : 904 (scip-2.1.1.4exp) R 900 904 403 0 -1 4202496 42207 0 0 0 40170 51 0 0 20 0 1 0 267850546 164646912 38708 33554432000 4194304 10219143 140736744971152 140736744964504 8025358 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/904/statm: 40197 38708 786 1471 0 38717 0
Current children cumulated CPU time (s) 402.21
Current children cumulated vsize (KiB) 160788
[startup+462.3 s]
/proc/loadavg: 2.00 1.97 2.00 3/175 949
/proc/meminfo: memFree=29274248/32873852 swapFree=7616/7616
[pid=904] ppid=900 vsize=162316 CPUtime=462.21 cores=1,3,5,7
/proc/904/stat : 904 (scip-2.1.1.4exp) R 900 904 403 0 -1 4202496 42523 0 0 0 46160 61 0 0 20 0 1 0 267850546 166211584 39024 33554432000 4194304 10219143 140736744971152 140736744964504 8030222 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/904/statm: 40579 39024 786 1471 0 39099 0
Current children cumulated CPU time (s) 462.21
Current children cumulated vsize (KiB) 162316
[startup+522.3 s]
/proc/loadavg: 2.06 1.99 2.00 3/175 949
/proc/meminfo: memFree=29272568/32873852 swapFree=7616/7616
[pid=904] ppid=900 vsize=162316 CPUtime=522.2 cores=1,3,5,7
/proc/904/stat : 904 (scip-2.1.1.4exp) R 900 904 403 0 -1 4202496 42542 0 0 0 52149 71 0 0 20 0 1 0 267850546 166211584 39367 33554432000 4194304 10219143 140736744971152 140736744967736 4218423 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/904/statm: 40579 39367 786 1471 0 39099 0
Current children cumulated CPU time (s) 522.2
Current children cumulated vsize (KiB) 162316
[startup+582.3 s]
/proc/loadavg: 2.19 2.03 2.01 3/175 949
/proc/meminfo: memFree=29271824/32873852 swapFree=7616/7616
[pid=904] ppid=900 vsize=162696 CPUtime=582.19 cores=1,3,5,7
/proc/904/stat : 904 (scip-2.1.1.4exp) R 900 904 403 0 -1 4202496 42653 0 0 0 58136 83 0 0 20 0 1 0 267850546 166600704 39478 33554432000 4194304 10219143 140736744971152 140736744964504 9026266 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/904/statm: 40674 39478 786 1471 0 39194 0
Current children cumulated CPU time (s) 582.19
Current children cumulated vsize (KiB) 162696
[startup+642.3 s]
################
# More data... #
################
/proc/meminfo: memFree=29242844/32873852 swapFree=7616/7616
[pid=904] ppid=900 vsize=173800 CPUtime=1062.12 cores=1,3,5,7
/proc/904/stat : 904 (scip-2.1.1.4exp) R 900 904 403 0 -1 4202496 45146 0 0 0 106051 161 0 0 20 0 1 0 267850546 177971200 42274 33554432000 4194304 10219143 140736744971152 140736744964504 8030350 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/904/statm: 43450 42274 786 1471 0 41970 0
Current children cumulated CPU time (s) 1062.12
Current children cumulated vsize (KiB) 173800
[startup+1122.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/175 954
/proc/meminfo: memFree=29236952/32873852 swapFree=7616/7616
[pid=904] ppid=900 vsize=176048 CPUtime=1122.11 cores=1,3,5,7
/proc/904/stat : 904 (scip-2.1.1.4exp) R 900 904 403 0 -1 4202496 45678 0 0 0 112039 172 0 0 20 0 1 0 267850546 180273152 42806 33554432000 4194304 10219143 140736744971152 140736744964504 8025328 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/904/statm: 44012 42806 786 1471 0 42532 0
Current children cumulated CPU time (s) 1122.11
Current children cumulated vsize (KiB) 176048
[startup+1182.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 954
/proc/meminfo: memFree=29229072/32873852 swapFree=7616/7616
[pid=904] ppid=900 vsize=182664 CPUtime=1182.09 cores=1,3,5,7
/proc/904/stat : 904 (scip-2.1.1.4exp) R 900 904 403 0 -1 4202496 47113 0 0 0 118028 181 0 0 20 0 1 0 267850546 187047936 44241 33554432000 4194304 10219143 140736744971152 140736744964456 9026266 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/904/statm: 45666 44241 786 1471 0 44186 0
Current children cumulated CPU time (s) 1182.09
Current children cumulated vsize (KiB) 182664
[startup+1242.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 955
/proc/meminfo: memFree=29224164/32873852 swapFree=7616/7616
[pid=904] ppid=900 vsize=182664 CPUtime=1242.09 cores=1,3,5,7
/proc/904/stat : 904 (scip-2.1.1.4exp) R 900 904 403 0 -1 4202496 47115 0 0 0 124017 192 0 0 20 0 1 0 267850546 187047936 44491 33554432000 4194304 10219143 140736744971152 140736744964408 8025358 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/904/statm: 45666 44491 786 1471 0 44186 0
Current children cumulated CPU time (s) 1242.09
Current children cumulated vsize (KiB) 182664
[startup+1302.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 955
/proc/meminfo: memFree=29221560/32873852 swapFree=7616/7616
[pid=904] ppid=900 vsize=183328 CPUtime=1302.08 cores=1,3,5,7
/proc/904/stat : 904 (scip-2.1.1.4exp) R 900 904 403 0 -1 4202496 47255 0 0 0 130006 202 0 0 20 0 1 0 267850546 187727872 44631 33554432000 4194304 10219143 140736744971152 140736744964504 8030297 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/904/statm: 45832 44631 786 1471 0 44352 0
Current children cumulated CPU time (s) 1302.08
Current children cumulated vsize (KiB) 183328
[startup+1362.3 s]
/proc/loadavg: 2.04 2.01 2.00 3/176 958
/proc/meminfo: memFree=29215592/32873852 swapFree=7616/7616
[pid=904] ppid=900 vsize=187408 CPUtime=1362.07 cores=1,3,5,7
/proc/904/stat : 904 (scip-2.1.1.4exp) R 900 904 403 0 -1 4202496 48268 0 0 0 135997 210 0 0 20 0 1 0 267850546 191905792 45640 33554432000 4194304 10219143 140736744971152 140736744964792 7754585 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/904/statm: 46852 45640 786 1471 0 45372 0
Current children cumulated CPU time (s) 1362.07
Current children cumulated vsize (KiB) 187408
[startup+1422.31 s]
/proc/loadavg: 2.01 2.01 2.00 3/175 958
/proc/meminfo: memFree=29203496/32873852 swapFree=7616/7616
[pid=904] ppid=900 vsize=197080 CPUtime=1422.07 cores=1,3,5,7
/proc/904/stat : 904 (scip-2.1.1.4exp) R 900 904 403 0 -1 4202496 50362 0 0 0 141988 219 0 0 20 0 1 0 267850546 201809920 48117 33554432000 4194304 10219143 140736744971152 140736744964504 4218447 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/904/statm: 49270 48117 786 1471 0 47790 0
Current children cumulated CPU time (s) 1422.07
Current children cumulated vsize (KiB) 197080
[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 958
/proc/meminfo: memFree=29186508/32873852 swapFree=7616/7616
[pid=904] ppid=900 vsize=214344 CPUtime=1482.05 cores=1,3,5,7
/proc/904/stat : 904 (scip-2.1.1.4exp) R 900 904 403 0 -1 4202496 53795 0 0 0 147975 230 0 0 20 0 1 0 267850546 219488256 51550 33554432000 4194304 10219143 140736744971152 140736744966520 7754544 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/904/statm: 53586 51550 786 1471 0 52106 0
Current children cumulated CPU time (s) 1482.05
Current children cumulated vsize (KiB) 214344
[startup+1542.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 959
/proc/meminfo: memFree=29182844/32873852 swapFree=7616/7616
[pid=904] ppid=900 vsize=215772 CPUtime=1542.04 cores=1,3,5,7
/proc/904/stat : 904 (scip-2.1.1.4exp) R 900 904 403 0 -1 4202496 54206 0 0 0 153964 240 0 0 20 0 1 0 267850546 220950528 51961 33554432000 4194304 10219143 140736744971152 140736744964504 8025358 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/904/statm: 53943 51961 786 1471 0 52463 0
Current children cumulated CPU time (s) 1542.04
Current children cumulated vsize (KiB) 215772
[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 959
/proc/meminfo: memFree=29177264/32873852 swapFree=7616/7616
[pid=904] ppid=900 vsize=220992 CPUtime=1602.03 cores=1,3,5,7
/proc/904/stat : 904 (scip-2.1.1.4exp) R 900 904 403 0 -1 4202496 55346 0 0 0 159953 250 0 0 20 0 1 0 267850546 226295808 53101 33554432000 4194304 10219143 140736744971152 140736744964504 7754077 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/904/statm: 55248 53101 786 1471 0 53768 0
Current children cumulated CPU time (s) 1602.03
Current children cumulated vsize (KiB) 220992
[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 959
/proc/meminfo: memFree=29173024/32873852 swapFree=7616/7616
[pid=904] ppid=900 vsize=221192 CPUtime=1662.02 cores=1,3,5,7
/proc/904/stat : 904 (scip-2.1.1.4exp) R 900 904 403 0 -1 4202496 55426 0 0 0 165943 259 0 0 20 0 1 0 267850546 226500608 54159 33554432000 4194304 10219143 140736744971152 140736744964504 8025341 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/904/statm: 55298 54159 786 1471 0 53818 0
Current children cumulated CPU time (s) 1662.02
Current children cumulated vsize (KiB) 221192
[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 999
/proc/meminfo: memFree=29283216/32873852 swapFree=7616/7616
[pid=904] ppid=900 vsize=234220 CPUtime=1722.01 cores=1,3,5,7
/proc/904/stat : 904 (scip-2.1.1.4exp) R 900 904 403 0 -1 4202496 58131 0 0 0 171932 269 0 0 20 0 1 0 267850546 239841280 56864 33554432000 4194304 10219143 140736744971152 140736744964408 8030350 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/904/statm: 58555 56864 786 1471 0 57075 0
Current children cumulated CPU time (s) 1722.01
Current children cumulated vsize (KiB) 234220
[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 999
/proc/meminfo: memFree=29280116/32873852 swapFree=7616/7616
[pid=904] ppid=900 vsize=236868 CPUtime=1782 cores=1,3,5,7
/proc/904/stat : 904 (scip-2.1.1.4exp) R 900 904 403 0 -1 4202496 58695 0 0 0 177920 280 0 0 20 0 1 0 267850546 242552832 57428 33554432000 4194304 10219143 140736744971152 140736744963672 8030338 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/904/statm: 59217 57428 786 1471 0 57737 0
Current children cumulated CPU time (s) 1782
Current children cumulated vsize (KiB) 236868
Solver just ended. Dumping a history of the last processes samples
[startup+1785.5 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 999
/proc/meminfo: memFree=29280116/32873852 swapFree=7616/7616
[pid=904] ppid=900 vsize=236868 CPUtime=1785.2 cores=1,3,5,7
/proc/904/stat : 904 (scip-2.1.1.4exp) R 900 904 403 0 -1 4202496 58695 0 0 0 178239 281 0 0 20 0 1 0 267850546 242552832 57428 33554432000 4194304 10219143 140736744971152 140736744964696 8025341 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/904/statm: 59217 57428 786 1471 0 57737 0
Current children cumulated CPU time (s) 1785.2
Current children cumulated vsize (KiB) 236868
[startup+1791.91 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 999
/proc/meminfo: memFree=29279868/32873852 swapFree=7616/7616
[pid=904] ppid=900 vsize=236868 CPUtime=1791.6 cores=1,3,5,7
/proc/904/stat : 904 (scip-2.1.1.4exp) R 900 904 403 0 -1 4202496 58695 0 0 0 178878 282 0 0 20 0 1 0 267850546 242552832 57428 33554432000 4194304 10219143 140736744971152 140736744964792 9026266 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/904/statm: 59217 57428 786 1471 0 57737 0
Current children cumulated CPU time (s) 1791.6
Current children cumulated vsize (KiB) 236868
[startup+1795.1 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 999
/proc/meminfo: memFree=29279496/32873852 swapFree=7616/7616
[pid=904] ppid=900 vsize=237020 CPUtime=1794.8 cores=1,3,5,7
/proc/904/stat : 904 (scip-2.1.1.4exp) R 900 904 403 0 -1 4202496 58747 0 0 0 179197 283 0 0 20 0 1 0 267850546 242708480 57480 33554432000 4194304 10219143 140736744971152 140736744964792 4218467 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/904/statm: 59255 57480 786 1471 0 57775 0
Current children cumulated CPU time (s) 1794.8
Current children cumulated vsize (KiB) 237020
[startup+1795.9 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 999
/proc/meminfo: memFree=29279496/32873852 swapFree=7616/7616
[pid=904] ppid=900 vsize=237020 CPUtime=1795.59 cores=1,3,5,7
/proc/904/stat : 904 (scip-2.1.1.4exp) R 900 904 403 0 -1 4202496 58747 0 0 0 179276 283 0 0 20 0 1 0 267850546 242708480 57480 33554432000 4194304 10219143 140736744971152 140736744964504 7754101 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/904/statm: 59255 57480 786 1471 0 57775 0
Current children cumulated CPU time (s) 1795.59
Current children cumulated vsize (KiB) 237020
[startup+1796.7 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 999
/proc/meminfo: memFree=29279496/32873852 swapFree=7616/7616
[pid=904] ppid=900 vsize=237020 CPUtime=1796.39 cores=1,3,5,7
/proc/904/stat : 904 (scip-2.1.1.4exp) R 900 904 403 0 -1 4202496 58747 0 0 0 179356 283 0 0 20 0 1 0 267850546 242708480 57480 33554432000 4194304 10219143 140736744971152 140736744967736 8024960 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/904/statm: 59255 57480 786 1471 0 57775 0
Current children cumulated CPU time (s) 1796.39
Current children cumulated vsize (KiB) 237020
[startup+1797.1 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 999
/proc/meminfo: memFree=29279496/32873852 swapFree=7616/7616
[pid=904] ppid=900 vsize=235424 CPUtime=1796.8 cores=1,3,5,7
/proc/904/stat : 904 (scip-2.1.1.4exp) R 900 904 403 0 -1 4202496 58759 0 0 0 179396 284 0 0 20 0 1 0 267850546 241074176 57093 33554432000 4194304 10219143 140736744971152 140736744964504 5613232 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/904/statm: 58856 57093 798 1471 0 57376 0
Current children cumulated CPU time (s) 1796.8
Current children cumulated vsize (KiB) 235424
Child status: 0
Real time (s): 1797.18
CPU time (s): 1796.88
CPU user time (s): 1794.04
CPU system time (s): 2.84757
CPU usage (%): 99.9837
Max. virtual memory (cumulated for all children) (KiB): 237020
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1794.04
system time used= 2.84757
maximum resident set size= 229948
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 58773
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= 30
involuntary context switches= 1847
runsolver used 5.55415 second user time and 18.2232 second system time
The end