0.00/0.00 c SCIP version 2.0.1.5 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: SoPlex 1.5.0.5]
0.00/0.00 c Copyright (c) 2002-2011 Konrad-Zuse-Zentrum fuer Informationstechnik Berlin (ZIB)
0.00/0.00 c
0.00/0.00 c user parameter file <scip.set> not found - using default parameters
0.00/0.00 c reading problem <HOME/instance-3730938-1338692379.opb>
1.39/1.46 c original problem has 87751 variables (87751 bin, 0 int, 0 impl, 0 cont) and 254772 constraints
1.39/1.46 c problem read
1.39/1.46 c No objective function, only one solution is needed.
1.39/1.47 c presolving settings loaded
2.09/2.11 c presolving:
5.09/5.16 c (round 1) 5653 del vars, 8317 del conss, 0 add conss, 2616 chg bounds, 3856 chg sides, 8378 chg coeffs, 0 upgd conss, 5441313 impls, 0 clqs
5.39/5.44 c (round 2) 5780 del vars, 14987 del conss, 0 add conss, 2645 chg bounds, 3856 chg sides, 8378 chg coeffs, 0 upgd conss, 5441657 impls, 0 clqs
5.59/5.64 c (round 3) 6055 del vars, 15623 del conss, 0 add conss, 2914 chg bounds, 3856 chg sides, 8378 chg coeffs, 0 upgd conss, 5443433 impls, 0 clqs
5.78/5.82 c (round 4) 6211 del vars, 15907 del conss, 0 add conss, 3070 chg bounds, 3856 chg sides, 8378 chg coeffs, 0 upgd conss, 5444171 impls, 0 clqs
5.98/6.01 c (round 5) 6401 del vars, 16299 del conss, 0 add conss, 3261 chg bounds, 3856 chg sides, 8378 chg coeffs, 0 upgd conss, 5447554 impls, 0 clqs
6.18/6.21 c (round 6) 6653 del vars, 16815 del conss, 0 add conss, 3508 chg bounds, 3856 chg sides, 8378 chg coeffs, 0 upgd conss, 5455550 impls, 0 clqs
6.38/6.41 c (round 7) 6909 del vars, 17458 del conss, 0 add conss, 3770 chg bounds, 3856 chg sides, 8378 chg coeffs, 0 upgd conss, 5462702 impls, 0 clqs
6.49/6.60 c (round 8) 7118 del vars, 18112 del conss, 0 add conss, 3962 chg bounds, 3856 chg sides, 8378 chg coeffs, 0 upgd conss, 5466698 impls, 0 clqs
6.68/6.79 c (round 9) 7324 del vars, 18607 del conss, 0 add conss, 4168 chg bounds, 3856 chg sides, 8378 chg coeffs, 0 upgd conss, 5469436 impls, 0 clqs
6.88/6.99 c (round 10) 7474 del vars, 19094 del conss, 0 add conss, 4324 chg bounds, 3856 chg sides, 8378 chg coeffs, 0 upgd conss, 5475822 impls, 0 clqs
7.08/7.18 c (round 11) 7518 del vars, 19428 del conss, 0 add conss, 4365 chg bounds, 3856 chg sides, 8378 chg coeffs, 0 upgd conss, 5482317 impls, 0 clqs
7.28/7.36 c (round 12) 7540 del vars, 19521 del conss, 0 add conss, 4385 chg bounds, 3856 chg sides, 8378 chg coeffs, 0 upgd conss, 5483988 impls, 0 clqs
7.48/7.54 c (round 13) 7562 del vars, 19572 del conss, 0 add conss, 4406 chg bounds, 3856 chg sides, 8378 chg coeffs, 0 upgd conss, 5484146 impls, 0 clqs
7.69/7.73 c (round 14) 7584 del vars, 19625 del conss, 0 add conss, 4428 chg bounds, 3856 chg sides, 8378 chg coeffs, 0 upgd conss, 5484660 impls, 0 clqs
7.88/7.91 c (round 15) 7606 del vars, 19680 del conss, 0 add conss, 4450 chg bounds, 3856 chg sides, 8378 chg coeffs, 0 upgd conss, 5485482 impls, 0 clqs
7.98/8.09 c (round 16) 7630 del vars, 19741 del conss, 0 add conss, 4477 chg bounds, 3856 chg sides, 8378 chg coeffs, 0 upgd conss, 5486603 impls, 0 clqs
8.18/8.28 c (round 17) 7654 del vars, 19807 del conss, 0 add conss, 4498 chg bounds, 3856 chg sides, 8378 chg coeffs, 0 upgd conss, 5486994 impls, 0 clqs
8.38/8.46 c (round 18) 7675 del vars, 19860 del conss, 0 add conss, 4519 chg bounds, 3856 chg sides, 8378 chg coeffs, 0 upgd conss, 5487543 impls, 0 clqs
8.58/8.64 c (round 19) 7693 del vars, 19909 del conss, 0 add conss, 4537 chg bounds, 3856 chg sides, 8378 chg coeffs, 0 upgd conss, 5487785 impls, 0 clqs
8.79/8.82 c (round 20) 7711 del vars, 19954 del conss, 0 add conss, 4555 chg bounds, 3856 chg sides, 8378 chg coeffs, 0 upgd conss, 5488125 impls, 0 clqs
8.98/9.00 c (round 21) 7719 del vars, 19994 del conss, 0 add conss, 4563 chg bounds, 3856 chg sides, 8378 chg coeffs, 0 upgd conss, 5488265 impls, 0 clqs
9.08/9.18 c (round 22) 7727 del vars, 20014 del conss, 0 add conss, 4571 chg bounds, 3856 chg sides, 8378 chg coeffs, 0 upgd conss, 5488337 impls, 0 clqs
10.69/10.76 c (round 23) 7729 del vars, 20195 del conss, 0 add conss, 4573 chg bounds, 3856 chg sides, 8378 chg coeffs, 234487 upgd conss, 5488437 impls, 0 clqs
11.38/11.43 c (round 24) 7729 del vars, 20195 del conss, 0 add conss, 4573 chg bounds, 3856 chg sides, 8378 chg coeffs, 234577 upgd conss, 5488437 impls, 0 clqs
11.68/11.80 c presolving (25 rounds):
11.68/11.80 c 7729 deleted vars, 20195 deleted constraints, 0 added constraints, 4573 tightened bounds, 0 added holes, 3856 changed sides, 8378 changed coefficients
11.68/11.80 c 5488437 implications, 0 cliques
11.68/11.80 c presolved problem has 80022 variables (80022 bin, 0 int, 0 impl, 0 cont) and 234577 constraints
11.68/11.80 c 7712 constraints of type <knapsack>
11.68/11.80 c 151607 constraints of type <setppc>
11.68/11.80 c 75258 constraints of type <logicor>
11.68/11.80 c transformed objective value is always integral (scale: 1)
11.68/11.80 c Presolving Time: 9.90
11.68/11.80 c - non default parameters ----------------------------------------------------------------------
11.68/11.80 c # SCIP version 2.0.1.5
11.68/11.80 c
11.68/11.80 c # frequency for displaying node information lines
11.68/11.80 c # [type: int, range: [-1,2147483647], default: 100]
11.68/11.80 c display/freq = 10000
11.68/11.80 c
11.68/11.80 c # maximal time in seconds to run
11.68/11.80 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
11.68/11.80 c limits/time = 1797
11.68/11.80 c
11.68/11.80 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
11.68/11.80 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
11.68/11.80 c limits/memory = 13950
11.68/11.80 c
11.68/11.80 c # solving stops, if the given number of solutions were found (-1: no limit)
11.68/11.80 c # [type: int, range: [-1,2147483647], default: -1]
11.68/11.80 c limits/solutions = 1
11.68/11.80 c
11.68/11.80 c # maximal number of separation rounds per node (-1: unlimited)
11.68/11.80 c # [type: int, range: [-1,2147483647], default: 5]
11.68/11.80 c separating/maxrounds = 1
11.68/11.80 c
11.68/11.80 c # maximal number of separation rounds in the root node (-1: unlimited)
11.68/11.80 c # [type: int, range: [-1,2147483647], default: -1]
11.68/11.80 c separating/maxroundsroot = 5
11.68/11.80 c
11.68/11.80 c # default clock type (1: CPU user seconds, 2: wall clock time)
11.68/11.80 c # [type: int, range: [1,2], default: 1]
11.68/11.80 c timing/clocktype = 2
11.68/11.80 c
11.68/11.80 c # belongs reading time to solving time?
11.68/11.80 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
11.68/11.80 c timing/reading = TRUE
11.68/11.80 c
11.68/11.80 c # should presolving try to simplify inequalities
11.68/11.80 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
11.68/11.80 c constraints/linear/simplifyinequalities = TRUE
11.68/11.80 c
11.68/11.80 c # add initial coupling inequalities as linear constraints, if 'addCoupling' is true
11.68/11.80 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
11.68/11.80 c constraints/indicator/addCouplingCons = TRUE
11.68/11.80 c
11.68/11.80 c # should disaggregation of knapsack constraints be allowed in preprocessing?
11.68/11.80 c # [type: bool, range: {TRUE,FALSE}, default: TRUE]
11.68/11.80 c constraints/knapsack/disaggregation = FALSE
11.68/11.80 c
11.68/11.80 c # should presolving try to simplify knapsacks
11.68/11.80 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
11.68/11.80 c constraints/knapsack/simplifyinequalities = TRUE
11.68/11.80 c
11.68/11.80 c # maximal number of presolving rounds the presolver participates in (-1: no limit)
11.68/11.80 c # [type: int, range: [-1,2147483647], default: -1]
11.68/11.80 c presolving/probing/maxrounds = 0
11.68/11.80 c
11.68/11.80 c # frequency for calling primal heuristic <coefdiving> (-1: never, 0: only at depth freqofs)
11.68/11.80 c # [type: int, range: [-1,2147483647], default: 10]
11.68/11.80 c heuristics/coefdiving/freq = -1
11.68/11.80 c
11.68/11.80 c # maximal fraction of diving LP iterations compared to node LP iterations
11.68/11.80 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
11.68/11.80 c heuristics/coefdiving/maxlpiterquot = 0.075
11.68/11.80 c
11.68/11.80 c # additional number of allowed LP iterations
11.68/11.80 c # [type: int, range: [0,2147483647], default: 1000]
11.68/11.80 c heuristics/coefdiving/maxlpiterofs = 1500
11.68/11.80 c
11.68/11.80 c # frequency for calling primal heuristic <crossover> (-1: never, 0: only at depth freqofs)
11.68/11.80 c # [type: int, range: [-1,2147483647], default: 30]
11.68/11.80 c heuristics/crossover/freq = -1
11.68/11.80 c
11.68/11.80 c # number of nodes added to the contingent of the total nodes
11.68/11.80 c # [type: longint, range: [0,9223372036854775807], default: 500]
11.68/11.80 c heuristics/crossover/nodesofs = 750
11.68/11.80 c
11.68/11.80 c # number of nodes without incumbent change that heuristic should wait
11.78/11.80 c # [type: longint, range: [0,9223372036854775807], default: 200]
11.78/11.80 c heuristics/crossover/nwaitingnodes = 100
11.78/11.80 c
11.78/11.80 c # contingent of sub problem nodes in relation to the number of nodes of the original problem
11.78/11.80 c # [type: real, range: [0,1], default: 0.1]
11.78/11.80 c heuristics/crossover/nodesquot = 0.15
11.78/11.80 c
11.78/11.80 c # minimum percentage of integer variables that have to be fixed
11.78/11.80 c # [type: real, range: [0,1], default: 0.666]
11.78/11.80 c heuristics/crossover/minfixingrate = 0.5
11.78/11.80 c
11.78/11.80 c # frequency for calling primal heuristic <feaspump> (-1: never, 0: only at depth freqofs)
11.78/11.80 c # [type: int, range: [-1,2147483647], default: 20]
11.78/11.80 c heuristics/feaspump/freq = -1
11.78/11.80 c
11.78/11.80 c # additional number of allowed LP iterations
11.78/11.80 c # [type: int, range: [0,2147483647], default: 1000]
11.78/11.80 c heuristics/feaspump/maxlpiterofs = 2000
11.78/11.80 c
11.78/11.80 c # frequency for calling primal heuristic <fracdiving> (-1: never, 0: only at depth freqofs)
11.78/11.80 c # [type: int, range: [-1,2147483647], default: 10]
11.78/11.80 c heuristics/fracdiving/freq = -1
11.78/11.80 c
11.78/11.80 c # maximal fraction of diving LP iterations compared to node LP iterations
11.78/11.80 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
11.78/11.80 c heuristics/fracdiving/maxlpiterquot = 0.075
11.78/11.80 c
11.78/11.80 c # additional number of allowed LP iterations
11.78/11.80 c # [type: int, range: [0,2147483647], default: 1000]
11.78/11.80 c heuristics/fracdiving/maxlpiterofs = 1500
11.78/11.80 c
11.78/11.80 c # frequency for calling primal heuristic <guideddiving> (-1: never, 0: only at depth freqofs)
11.78/11.80 c # [type: int, range: [-1,2147483647], default: 10]
11.78/11.80 c heuristics/guideddiving/freq = -1
11.78/11.80 c
11.78/11.80 c # maximal fraction of diving LP iterations compared to node LP iterations
11.78/11.80 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
11.78/11.80 c heuristics/guideddiving/maxlpiterquot = 0.075
11.78/11.80 c
11.78/11.80 c # additional number of allowed LP iterations
11.78/11.80 c # [type: int, range: [0,2147483647], default: 1000]
11.78/11.80 c heuristics/guideddiving/maxlpiterofs = 1500
11.78/11.80 c
11.78/11.80 c # maximal fraction of diving LP iterations compared to node LP iterations
11.78/11.80 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
11.78/11.80 c heuristics/intdiving/maxlpiterquot = 0.075
11.78/11.80 c
11.78/11.80 c # frequency for calling primal heuristic <intshifting> (-1: never, 0: only at depth freqofs)
11.78/11.80 c # [type: int, range: [-1,2147483647], default: 10]
11.78/11.80 c heuristics/intshifting/freq = -1
11.78/11.80 c
11.78/11.80 c # frequency for calling primal heuristic <linesearchdiving> (-1: never, 0: only at depth freqofs)
11.78/11.80 c # [type: int, range: [-1,2147483647], default: 10]
11.78/11.80 c heuristics/linesearchdiving/freq = -1
11.78/11.80 c
11.78/11.80 c # maximal fraction of diving LP iterations compared to node LP iterations
11.78/11.80 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
11.78/11.80 c heuristics/linesearchdiving/maxlpiterquot = 0.075
11.78/11.80 c
11.78/11.80 c # additional number of allowed LP iterations
11.78/11.80 c # [type: int, range: [0,2147483647], default: 1000]
11.78/11.80 c heuristics/linesearchdiving/maxlpiterofs = 1500
11.78/11.80 c
11.78/11.80 c # frequency for calling primal heuristic <objpscostdiving> (-1: never, 0: only at depth freqofs)
11.78/11.80 c # [type: int, range: [-1,2147483647], default: 20]
11.78/11.80 c heuristics/objpscostdiving/freq = -1
11.78/11.80 c
11.78/11.80 c # maximal fraction of diving LP iterations compared to total iteration number
11.78/11.80 c # [type: real, range: [0,1], default: 0.01]
11.78/11.80 c heuristics/objpscostdiving/maxlpiterquot = 0.015
11.78/11.80 c
11.78/11.80 c # additional number of allowed LP iterations
11.78/11.80 c # [type: int, range: [0,2147483647], default: 1000]
11.78/11.80 c heuristics/objpscostdiving/maxlpiterofs = 1500
11.78/11.80 c
11.78/11.80 c # frequency for calling primal heuristic <oneopt> (-1: never, 0: only at depth freqofs)
11.78/11.80 c # [type: int, range: [-1,2147483647], default: 1]
11.78/11.80 c heuristics/oneopt/freq = -1
11.78/11.80 c
11.78/11.80 c # frequency for calling primal heuristic <pscostdiving> (-1: never, 0: only at depth freqofs)
11.78/11.80 c # [type: int, range: [-1,2147483647], default: 10]
11.78/11.80 c heuristics/pscostdiving/freq = -1
11.78/11.80 c
11.78/11.80 c # maximal fraction of diving LP iterations compared to node LP iterations
11.78/11.80 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
11.78/11.80 c heuristics/pscostdiving/maxlpiterquot = 0.075
11.78/11.80 c
11.78/11.80 c # additional number of allowed LP iterations
11.78/11.80 c # [type: int, range: [0,2147483647], default: 1000]
11.78/11.80 c heuristics/pscostdiving/maxlpiterofs = 1500
11.78/11.80 c
11.78/11.80 c # frequency for calling primal heuristic <rens> (-1: never, 0: only at depth freqofs)
11.78/11.80 c # [type: int, range: [-1,2147483647], default: 0]
11.78/11.80 c heuristics/rens/freq = -1
11.78/11.80 c
11.78/11.80 c # minimum percentage of integer variables that have to be fixable
11.78/11.80 c # [type: real, range: [0,1], default: 0.5]
11.78/11.80 c heuristics/rens/minfixingrate = 0.3
11.78/11.80 c
11.78/11.80 c # number of nodes added to the contingent of the total nodes
11.78/11.80 c # [type: longint, range: [0,9223372036854775807], default: 500]
11.78/11.80 c heuristics/rens/nodesofs = 2000
11.78/11.80 c
11.78/11.80 c # frequency for calling primal heuristic <rootsoldiving> (-1: never, 0: only at depth freqofs)
11.78/11.80 c # [type: int, range: [-1,2147483647], default: 20]
11.78/11.80 c heuristics/rootsoldiving/freq = -1
11.78/11.80 c
11.78/11.80 c # maximal fraction of diving LP iterations compared to node LP iterations
11.78/11.80 c # [type: real, range: [0,1.79769313486232e+308], default: 0.01]
11.78/11.80 c heuristics/rootsoldiving/maxlpiterquot = 0.015
11.78/11.80 c
11.78/11.80 c # additional number of allowed LP iterations
11.78/11.80 c # [type: int, range: [0,2147483647], default: 1000]
11.78/11.80 c heuristics/rootsoldiving/maxlpiterofs = 1500
11.78/11.80 c
11.78/11.80 c # frequency for calling primal heuristic <rounding> (-1: never, 0: only at depth freqofs)
11.78/11.80 c # [type: int, range: [-1,2147483647], default: 1]
11.78/11.80 c heuristics/rounding/freq = -1
11.78/11.80 c
11.78/11.80 c # frequency for calling primal heuristic <shiftandpropagate> (-1: never, 0: only at depth freqofs)
11.78/11.80 c # [type: int, range: [-1,2147483647], default: 0]
11.78/11.80 c heuristics/shiftandpropagate/freq = -1
11.78/11.80 c
11.78/11.80 c # frequency for calling primal heuristic <shifting> (-1: never, 0: only at depth freqofs)
11.78/11.80 c # [type: int, range: [-1,2147483647], default: 10]
11.78/11.80 c heuristics/shifting/freq = -1
11.78/11.80 c
11.78/11.80 c # frequency for calling primal heuristic <simplerounding> (-1: never, 0: only at depth freqofs)
11.78/11.80 c # [type: int, range: [-1,2147483647], default: 1]
11.78/11.80 c heuristics/simplerounding/freq = -1
11.78/11.80 c
11.78/11.80 c # frequency for calling primal heuristic <subnlp> (-1: never, 0: only at depth freqofs)
11.78/11.80 c # [type: int, range: [-1,2147483647], default: 1]
11.78/11.80 c heuristics/subnlp/freq = -1
11.78/11.80 c
11.78/11.80 c # frequency for calling primal heuristic <trivial> (-1: never, 0: only at depth freqofs)
11.78/11.80 c # [type: int, range: [-1,2147483647], default: 0]
11.78/11.80 c heuristics/trivial/freq = -1
11.78/11.80 c
11.78/11.80 c # frequency for calling primal heuristic <trysol> (-1: never, 0: only at depth freqofs)
11.78/11.80 c # [type: int, range: [-1,2147483647], default: 1]
11.78/11.80 c heuristics/trysol/freq = -1
11.78/11.80 c
11.78/11.80 c # frequency for calling primal heuristic <undercover> (-1: never, 0: only at depth freqofs)
11.78/11.80 c # [type: int, range: [-1,2147483647], default: 0]
11.78/11.80 c heuristics/undercover/freq = -1
11.78/11.80 c
11.78/11.80 c # frequency for calling primal heuristic <veclendiving> (-1: never, 0: only at depth freqofs)
11.78/11.80 c # [type: int, range: [-1,2147483647], default: 10]
11.78/11.80 c heuristics/veclendiving/freq = -1
11.78/11.80 c
11.78/11.80 c # maximal fraction of diving LP iterations compared to node LP iterations
11.78/11.80 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
11.78/11.80 c heuristics/veclendiving/maxlpiterquot = 0.075
11.78/11.80 c
11.78/11.80 c # additional number of allowed LP iterations
11.78/11.80 c # [type: int, range: [0,2147483647], default: 1000]
11.78/11.80 c heuristics/veclendiving/maxlpiterofs = 1500
11.78/11.80 c
11.78/11.80 c # frequency for calling primal heuristic <zirounding> (-1: never, 0: only at depth freqofs)
11.78/11.80 c # [type: int, range: [-1,2147483647], default: 1]
11.78/11.80 c heuristics/zirounding/freq = -1
11.78/11.80 c
11.78/11.80 c # frequency for calling separator <cmir> (-1: never, 0: only in root node)
11.78/11.80 c # [type: int, range: [-1,2147483647], default: 0]
11.78/11.80 c separating/cmir/freq = -1
11.78/11.80 c
11.78/11.80 c # frequency for calling separator <flowcover> (-1: never, 0: only in root node)
11.78/11.80 c # [type: int, range: [-1,2147483647], default: 0]
11.78/11.80 c separating/flowcover/freq = -1
11.78/11.80 c
11.78/11.80 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
11.78/11.80 c # [type: int, range: [-1,2147483647], default: -1]
11.78/11.80 c separating/rapidlearning/freq = 0
11.78/11.80 c
11.78/11.80 c -----------------------------------------------------------------------------------------------
11.78/11.80 c start solving
11.78/11.83 c
36.98/37.00 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
36.98/37.00 c 37.0s| 1 | 0 | 12193 | - | 633M| 0 |6824 | 80k| 234k| 80k| 234k| 0 | 0 | 0 | 0.000000e+00 | -- | Inf
84.27/84.31 c 84.3s| 1 | 0 | 16186 | - | 634M| 0 |7744 | 80k| 234k| 80k| 234k| 138 | 0 | 0 | 0.000000e+00 | -- | Inf
129.16/129.26 c 129s| 1 | 0 | 23633 | - | 634M| 0 |8714 | 80k| 234k| 80k| 234k| 247 | 0 | 0 | 0.000000e+00 | -- | Inf
206.75/206.83 c 207s| 1 | 0 | 34253 | - | 634M| 0 |9842 | 80k| 234k| 80k| 234k| 374 | 0 | 0 | 0.000000e+00 | -- | Inf
662.17/662.32 c 662s| 1 | 0 | 55073 | - | 634M| 0 | 12k| 80k| 234k| 80k| 235k| 518 | 0 | 0 | 0.000000e+00 | -- | Inf
1565.13/1565.44 c 1565s| 1 | 0 | 82889 | - | 635M| 0 | 15k| 80k| 234k| 80k| 235k| 733 | 0 | 0 | 0.000000e+00 | -- | Inf
1666.90/1667.21 c 1667s| 1 | 2 | 82889 | - | 635M| 0 | 15k| 80k| 234k| 80k| 235k| 733 | 0 | 21 | 0.000000e+00 | -- | Inf
1801.18/1801.60 c
1801.18/1801.60 c SCIP Status : solving was interrupted [user interrupt]
1801.18/1801.60 c Solving Time (sec) : 1801.59
1801.18/1801.60 c Solving Nodes : 2
1801.18/1801.60 c Primal Bound : +1.00000000000000e+20 (0 solutions)
1801.18/1801.60 c Dual Bound : +0.00000000000000e+00
1801.18/1801.60 c Gap : infinite
1801.18/1801.60 s UNKNOWN
1801.18/1801.60 c SCIP Status : solving was interrupted [user interrupt]
1801.18/1801.60 c Total Time : 1801.59
1801.18/1801.60 c solving : 1801.59
1801.18/1801.60 c presolving : 9.90 (included in solving)
1801.18/1801.60 c reading : 1.46 (included in solving)
1801.18/1801.60 c Original Problem :
1801.18/1801.60 c Problem name : HOME/instance-3730938-1338692379.opb
1801.18/1801.60 c Variables : 87751 (87751 binary, 0 integer, 0 implicit integer, 0 continuous)
1801.18/1801.60 c Constraints : 254772 initial, 254772 maximal
1801.18/1801.60 c Presolved Problem :
1801.18/1801.60 c Problem name : t_HOME/instance-3730938-1338692379.opb
1801.18/1801.60 c Variables : 80022 (80022 binary, 0 integer, 0 implicit integer, 0 continuous)
1801.18/1801.60 c Constraints : 234577 initial, 234577 maximal
1801.28/1801.60 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons AddCons ChgSides ChgCoefs
1801.28/1801.60 c trivial : 0.15 84 0 0 0 0 0 0 0 0
1801.28/1801.60 c dualfix : 0.14 0 0 0 0 0 0 0 0 0
1801.28/1801.60 c boundshift : 0.00 0 0 0 0 0 0 0 0 0
1801.28/1801.60 c inttobinary : 0.00 0 0 0 0 0 0 0 0 0
1801.28/1801.60 c pseudoobj : 0.00 0 0 0 0 0 0 0 0 0
1801.28/1801.60 c implics : 0.88 0 3089 0 0 0 0 0 0 0
1801.28/1801.60 c probing : 0.00 0 0 0 0 0 0 0 0 0
1801.28/1801.60 c knapsack : 0.08 0 0 0 0 0 0 0 0 0
1801.28/1801.60 c setppc : 0.65 0 0 0 0 0 0 0 0 0
1801.28/1801.60 c linear : 7.28 4550 6 0 4573 0 20195 0 3856 8378
1801.28/1801.60 c logicor : 0.25 0 0 0 0 0 0 0 0 0
1801.28/1801.60 c root node : - 3 - - 3 - - - - -
1801.28/1801.60 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS #Check #Resprop Cutoffs DomReds Cuts Conss Children
1801.28/1801.60 c integral : 0 0 0 2 0 1 0 0 0 0 0 4
1801.28/1801.60 c knapsack : 7712 5 6 0 0 0 0 0 0 1001 0 0
1801.28/1801.60 c setppc : 151607 5 6 0 0 0 0 0 66 0 0 0
1801.28/1801.60 c logicor : 75258 5 5 0 0 0 0 0 8 0 0 0
1801.28/1801.60 c countsols : 0 0 0 0 0 0 0 0 0 0 0 0
1801.28/1801.60 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS Check Resprop
1801.28/1801.60 c integral : 206.19 0.00 0.00 206.19 0.00 0.00 0.00
1801.28/1801.60 c knapsack : 0.02 0.02 0.00 0.00 0.00 0.00 0.00
1801.28/1801.60 c setppc : 0.08 0.05 0.03 0.00 0.00 0.00 0.00
1801.28/1801.60 c logicor : 0.08 0.03 0.05 0.00 0.00 0.00 0.00
1801.28/1801.60 c countsols : 0.00 0.00 0.00 0.00 0.00 0.00 0.00
1801.28/1801.60 c Propagators : #Propagate #Resprop Cutoffs DomReds
1801.28/1801.60 c vbounds : 0 0 0 0
1801.28/1801.60 c rootredcost : 0 0 0 0
1801.28/1801.60 c pseudoobj : 0 0 0 0
1801.28/1801.60 c Propagator Timings : TotalTime Propagate Resprop
1801.28/1801.60 c vbounds : 0.00 0.00 0.00
1801.28/1801.60 c rootredcost : 0.00 0.00 0.00
1801.28/1801.60 c pseudoobj : 0.00 0.00 0.00
1801.28/1801.60 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1801.28/1801.60 c propagation : 0.00 0 0 0 0.0 0 0.0 -
1801.28/1801.60 c infeasible LP : 0.00 0 0 0 0.0 0 0.0 0
1801.28/1801.60 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1801.28/1801.60 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1801.28/1801.60 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 -
1801.28/1801.60 c applied globally : - - - 0 0.0 - - -
1801.28/1801.60 c applied locally : - - - 0 0.0 - - -
1801.28/1801.60 c Separators : Time Calls Cutoffs DomReds Cuts Conss
1801.28/1801.60 c cut pool : 0.00 4 - - 137 - (maximal pool size: 1175)
1801.28/1801.60 c redcost : 0.03 6 0 0 0 0
1801.28/1801.60 c impliedbounds : 0.14 5 0 0 0 0
1801.28/1801.60 c intobj : 0.00 0 0 0 0 0
1801.28/1801.60 c gomory : 522.74 5 0 0 2462 0
1801.28/1801.60 c cgmip : 0.00 0 0 0 0 0
1801.28/1801.60 c closecuts : 0.00 0 0 0 0 0
1801.28/1801.60 c strongcg : 556.90 5 0 0 2390 0
1801.28/1801.60 c cmir : 0.00 0 0 0 0 0
1801.28/1801.60 c flowcover : 0.00 0 0 0 0 0
1801.28/1801.60 c clique : 8.70 5 0 0 38 0
1801.28/1801.60 c zerohalf : 0.00 0 0 0 0 0
1801.28/1801.60 c mcf : 18.20 1 0 0 0 0
1801.28/1801.60 c oddcycle : 0.00 0 0 0 0 0
1801.28/1801.60 c rapidlearning : 0.00 0 0 0 0 0
1801.28/1801.60 c Pricers : Time Calls Vars
1801.28/1801.60 c problem variables: 0.00 0 0
1801.28/1801.60 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
1801.28/1801.60 c relpscost : 206.19 2 0 0 0 0 4
1801.28/1801.60 c pscost : 0.00 0 0 0 0 0 0
1801.28/1801.60 c inference : 0.00 0 0 0 0 0 0
1801.28/1801.60 c mostinf : 0.00 0 0 0 0 0 0
1801.28/1801.60 c leastinf : 0.00 0 0 0 0 0 0
1801.28/1801.60 c fullstrong : 0.00 0 0 0 0 0 0
1801.28/1801.60 c allfullstrong : 0.00 0 0 0 0 0 0
1801.28/1801.60 c random : 0.00 0 0 0 0 0 0
1801.28/1801.60 c Primal Heuristics : Time Calls Found
1801.28/1801.60 c LP solutions : 0.00 - 0
1801.28/1801.60 c pseudo solutions : 0.00 - 0
1801.28/1801.60 c trivial : 0.08 1 0
1801.28/1801.60 c shiftandpropagate: 0.00 0 0
1801.28/1801.60 c simplerounding : 0.00 0 0
1801.28/1801.60 c zirounding : 0.00 0 0
1801.28/1801.60 c rounding : 0.00 0 0
1801.28/1801.60 c shifting : 0.00 0 0
1801.28/1801.60 c intshifting : 0.00 0 0
1801.28/1801.60 c oneopt : 0.00 0 0
1801.28/1801.60 c twoopt : 0.00 0 0
1801.28/1801.60 c fixandinfer : 0.00 0 0
1801.28/1801.60 c feaspump : 0.00 0 0
1801.28/1801.60 c clique : 0.00 0 0
1801.28/1801.60 c coefdiving : 0.00 0 0
1801.28/1801.60 c pscostdiving : 0.00 0 0
1801.28/1801.60 c fracdiving : 0.00 0 0
1801.28/1801.60 c veclendiving : 0.00 0 0
1801.28/1801.60 c intdiving : 0.00 0 0
1801.28/1801.60 c actconsdiving : 0.00 0 0
1801.28/1801.60 c objpscostdiving : 0.00 0 0
1801.28/1801.60 c rootsoldiving : 0.00 0 0
1801.28/1801.60 c linesearchdiving : 0.00 0 0
1801.28/1801.60 c guideddiving : 0.00 0 0
1801.28/1801.60 c octane : 0.00 0 0
1801.28/1801.60 c rens : 0.00 0 0
1801.28/1801.60 c rins : 0.00 0 0
1801.28/1801.60 c localbranching : 0.00 0 0
1801.28/1801.60 c mutation : 0.00 0 0
1801.28/1801.60 c crossover : 0.00 0 0
1801.28/1801.60 c dins : 0.00 0 0
1801.28/1801.60 c vbounds : 0.00 0 0
1801.28/1801.60 c undercover : 0.00 0 0
1801.28/1801.60 c subnlp : 0.00 0 0
1801.28/1801.60 c trysol : 0.00 0 0
1801.28/1801.60 c LP : Time Calls Iterations Iter/call Iter/sec
1801.28/1801.60 c primal LP : 0.09 0 0 0.00 0.00
1801.28/1801.60 c dual LP : 475.46 7 89896 12842.29 189.07
1801.28/1801.60 c lex dual LP : 0.00 0 0 0.00 -
1801.28/1801.60 c barrier LP : 0.00 0 0 0.00 -
1801.28/1801.60 c diving/probing LP: 0.00 0 0 0.00 -
1801.28/1801.60 c strong branching : 206.16 39 38244 980.62 185.51
1801.28/1801.60 c (at root node) : - 21 20244 964.00 -
1801.28/1801.60 c conflict analysis: 0.00 0 0 0.00 -
1801.28/1801.60 c B&B Tree :
1801.28/1801.60 c number of runs : 1
1801.28/1801.60 c nodes : 2
1801.28/1801.60 c nodes (total) : 2
1801.28/1801.60 c nodes left : 3
1801.28/1801.60 c max depth : 1
1801.28/1801.60 c max depth (total): 1
1801.28/1801.60 c backtracks : 0 (0.0%)
1801.28/1801.60 c delayed cutoffs : 0
1801.28/1801.60 c repropagations : 0 (0 domain reductions, 0 cutoffs)
1801.28/1801.60 c avg switch length: 1.00
1801.28/1801.60 c switching time : 0.12
1801.28/1801.60 c Solution :
1801.28/1801.60 c Solutions found : 0 (0 improvements)
1801.28/1801.60 c Primal Bound : -
1801.28/1801.60 c Dual Bound : +0.00000000000000e+00
1801.28/1801.60 c Gap : infinite
1801.28/1801.60 c Root Dual Bound : +0.00000000000000e+00
1801.28/1801.60 c Root Iterations : 82889
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-3730938-1338692379/watcher-3730938-1338692379 -o /tmp/evaluation-result-3730938-1338692379/solver-3730938-1338692379 -C 1800 -W 1900 -M 15500 HOME/scip-2.0.1.4b_2.linux.x86_64.gnu.opt.spx -f HOME/instance-3730938-1338692379.opb -t 1800 -m 15500
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 2.04 2.01 2.00 3/176 3408
/proc/meminfo: memFree=27578624/32873844 swapFree=7128/7128
[pid=3408] ppid=3406 vsize=9588 CPUtime=0 cores=1,3,5,7
/proc/3408/stat : 3408 (scip-2.0.1.4b_2) R 3406 3408 25330 0 -1 4202496 1506 0 0 0 0 0 0 0 20 0 1 0 335304909 9818112 1460 33554432000 4194304 9016284 140735425100608 140735425099576 7824814 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/3408/statm: 2397 1461 311 1178 0 1215 0
[startup+0.0801129 s]
/proc/loadavg: 2.04 2.01 2.00 3/176 3408
/proc/meminfo: memFree=27578624/32873844 swapFree=7128/7128
[pid=3408] ppid=3406 vsize=23292 CPUtime=0.07 cores=1,3,5,7
/proc/3408/stat : 3408 (scip-2.0.1.4b_2) R 3406 3408 25330 0 -1 4202496 4793 0 0 0 7 0 0 0 20 0 1 0 335304909 23851008 4747 33554432000 4194304 9016284 140735425100608 140735425099576 4536486 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/3408/statm: 5823 4747 357 1178 0 4641 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 23292
[startup+0.100327 s]
/proc/loadavg: 2.04 2.01 2.00 3/176 3408
/proc/meminfo: memFree=27578624/32873844 swapFree=7128/7128
[pid=3408] ppid=3406 vsize=24728 CPUtime=0.08 cores=1,3,5,7
/proc/3408/stat : 3408 (scip-2.0.1.4b_2) R 3406 3408 25330 0 -1 4202496 5165 0 0 0 8 0 0 0 20 0 1 0 335304909 25321472 5119 33554432000 4194304 9016284 140735425100608 140735425099576 7842364 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/3408/statm: 6182 5119 357 1178 0 5000 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 24728
[startup+0.300298 s]
/proc/loadavg: 2.04 2.01 2.00 3/176 3408
/proc/meminfo: memFree=27578624/32873844 swapFree=7128/7128
[pid=3408] ppid=3406 vsize=47432 CPUtime=0.28 cores=1,3,5,7
/proc/3408/stat : 3408 (scip-2.0.1.4b_2) R 3406 3408 25330 0 -1 4202496 10846 0 0 0 27 1 0 0 20 0 1 0 335304909 48570368 10800 33554432000 4194304 9016284 140735425100608 140735425099576 7870463 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/3408/statm: 11858 10800 357 1178 0 10676 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 47432
[startup+0.7003 s]
/proc/loadavg: 2.04 2.01 2.00 3/176 3408
/proc/meminfo: memFree=27578624/32873844 swapFree=7128/7128
[pid=3408] ppid=3406 vsize=91228 CPUtime=0.69 cores=1,3,5,7
/proc/3408/stat : 3408 (scip-2.0.1.4b_2) R 3406 3408 25330 0 -1 4202496 21783 0 0 0 66 3 0 0 20 0 1 0 335304909 93417472 21737 33554432000 4194304 9016284 140735425100608 140735424964504 4536486 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/3408/statm: 22807 21737 357 1178 0 21625 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 91228
[startup+1.50031 s]
/proc/loadavg: 2.04 2.01 2.00 3/177 3409
/proc/meminfo: memFree=27459824/32873844 swapFree=7128/7128
[pid=3408] ppid=3406 vsize=202036 CPUtime=1.49 cores=1,3,5,7
/proc/3408/stat : 3408 (scip-2.0.1.4b_2) R 3406 3408 25330 0 -1 4202496 49126 0 0 0 142 7 0 0 20 0 1 0 335304909 206884864 49082 33554432000 4194304 9016284 140735425100608 140735424964504 6813403 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/3408/statm: 50509 49118 399 1178 0 49327 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 202036
[startup+3.10032 s]
/proc/loadavg: 2.04 2.01 2.00 3/177 3409
/proc/meminfo: memFree=27168540/32873844 swapFree=7128/7128
[pid=3408] ppid=3406 vsize=498624 CPUtime=3.09 cores=1,3,5,7
/proc/3408/stat : 3408 (scip-2.0.1.4b_2) R 3406 3408 25330 0 -1 4202496 121345 0 0 0 292 17 0 0 20 0 1 0 335304909 510590976 121245 33554432000 4194304 9016284 140735425100608 140735425095960 6480376 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/3408/statm: 124656 121245 483 1178 0 123474 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 498624
[startup+6.30031 s]
/proc/loadavg: 2.04 2.01 2.00 3/177 3409
/proc/meminfo: memFree=26985888/32873844 swapFree=7128/7128
[pid=3408] ppid=3406 vsize=614128 CPUtime=6.28 cores=1,3,5,7
/proc/3408/stat : 3408 (scip-2.0.1.4b_2) R 3406 3408 25330 0 -1 4202496 149286 0 0 0 606 22 0 0 20 0 1 0 335304909 628867072 149054 33554432000 4194304 9016284 140735425100608 140735425096280 18446744073699066235 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/3408/statm: 153532 149054 494 1178 0 152350 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 614128
[startup+12.7003 s]
/proc/loadavg: 2.03 2.01 2.00 3/177 3409
/proc/meminfo: memFree=26872348/32873844 swapFree=7128/7128
[pid=3408] ppid=3406 vsize=1026024 CPUtime=12.68 cores=1,3,5,7
/proc/3408/stat : 3408 (scip-2.0.1.4b_2) R 3406 3408 25330 0 -1 4202496 229204 0 0 0 1231 37 0 0 20 0 1 0 335304909 1050648576 247501 33554432000 4194304 9016284 140735425100608 140735425095128 6854960 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/3408/statm: 256506 247501 608 1178 0 255324 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 1026024
[startup+25.5004 s]
/proc/loadavg: 2.03 2.01 2.00 3/178 3412
/proc/meminfo: memFree=26537804/32873844 swapFree=7128/7128
[pid=3408] ppid=3406 vsize=1094088 CPUtime=25.49 cores=1,3,5,7
/proc/3408/stat : 3408 (scip-2.0.1.4b_2) R 3406 3408 25330 0 -1 4202496 237019 0 0 0 2508 41 0 0 20 0 1 0 335304909 1120346112 261156 33554432000 4194304 9016284 140735425100608 140735425094392 7925162 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/3408/statm: 273522 261156 634 1178 0 272340 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 1094088
[startup+51.1003 s]
/proc/loadavg: 2.02 2.01 2.00 3/178 3412
/proc/meminfo: memFree=26513948/32873844 swapFree=7128/7128
[pid=3408] ppid=3406 vsize=1094240 CPUtime=51.08 cores=1,3,5,7
/proc/3408/stat : 3408 (scip-2.0.1.4b_2) R 3406 3408 25330 0 -1 4202496 238605 0 0 0 5065 43 0 0 20 0 1 0 335304909 1120501760 264785 33554432000 4194304 9016284 140735425100608 140735425095720 7925162 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/3408/statm: 273560 264785 658 1178 0 272378 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 1094240
[startup+102.307 s]
/proc/loadavg: 2.05 2.02 2.00 3/178 3435
/proc/meminfo: memFree=26499864/32873844 swapFree=7128/7128
[pid=3408] ppid=3406 vsize=1094240 CPUtime=102.27 cores=1,3,5,7
/proc/3408/stat : 3408 (scip-2.0.1.4b_2) R 3406 3408 25330 0 -1 4202496 240574 0 0 0 10181 46 0 0 20 0 1 0 335304909 1120501760 267818 33554432000 4194304 9016284 140735425100608 140735425095720 7925162 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/3408/statm: 273560 267818 670 1178 0 272378 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 1094240
[startup+162.3 s]
/proc/loadavg: 2.02 2.01 2.00 3/177 3435
/proc/meminfo: memFree=26473344/32873844 swapFree=7128/7128
[pid=3408] ppid=3406 vsize=1121876 CPUtime=162.25 cores=1,3,5,7
/proc/3408/stat : 3408 (scip-2.0.1.4b_2) R 3406 3408 25330 0 -1 4202496 242180 0 0 0 16172 53 0 0 20 0 1 0 335304909 1148801024 274017 33554432000 4194304 9016284 140735425100608 140735425095720 7925162 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/3408/statm: 280469 274017 670 1178 0 279287 0
Current children cumulated CPU time (s) 162.25
Current children cumulated vsize (KiB) 1121876
[startup+222.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/177 3435
/proc/meminfo: memFree=26462196/32873844 swapFree=7128/7128
[pid=3408] ppid=3406 vsize=1131084 CPUtime=222.24 cores=1,3,5,7
/proc/3408/stat : 3408 (scip-2.0.1.4b_2) R 3406 3408 25330 0 -1 4202496 242945 0 0 0 22164 60 0 0 20 0 1 0 335304909 1158230016 276358 33554432000 4194304 9016284 140735425100608 140735425095672 7925162 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/3408/statm: 282771 276358 670 1178 0 281589 0
Current children cumulated CPU time (s) 222.24
Current children cumulated vsize (KiB) 1131084
[startup+282.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 3436
/proc/meminfo: memFree=26461360/32873844 swapFree=7128/7128
[pid=3408] ppid=3406 vsize=1131084 CPUtime=282.24 cores=1,3,5,7
/proc/3408/stat : 3408 (scip-2.0.1.4b_2) R 3406 3408 25330 0 -1 4202496 242945 0 0 0 28158 66 0 0 20 0 1 0 335304909 1158230016 276448 33554432000 4194304 9016284 140735425100608 140735425095720 7925162 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/3408/statm: 282771 276448 670 1178 0 281589 0
Current children cumulated CPU time (s) 282.24
Current children cumulated vsize (KiB) 1131084
[startup+342.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 3436
/proc/meminfo: memFree=26453804/32873844 swapFree=7128/7128
[pid=3408] ppid=3406 vsize=1131084 CPUtime=342.22 cores=1,3,5,7
/proc/3408/stat : 3408 (scip-2.0.1.4b_2) R 3406 3408 25330 0 -1 4202496 242951 0 0 0 34149 73 0 0 20 0 1 0 335304909 1158230016 276478 33554432000 4194304 9016284 140735425100608 140735425095720 7925162 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/3408/statm: 282771 276478 670 1178 0 281589 0
Current children cumulated CPU time (s) 342.22
Current children cumulated vsize (KiB) 1131084
[startup+402.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 3436
/proc/meminfo: memFree=26445916/32873844 swapFree=7128/7128
[pid=3408] ppid=3406 vsize=1131084 CPUtime=402.21 cores=1,3,5,7
/proc/3408/stat : 3408 (scip-2.0.1.4b_2) R 3406 3408 25330 0 -1 4202496 242955 0 0 0 40142 79 0 0 20 0 1 0 335304909 1158230016 278178 33554432000 4194304 9016284 140735425100608 140735425095720 6922745 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/3408/statm: 282771 278178 670 1178 0 281589 0
Current children cumulated CPU time (s) 402.21
Current children cumulated vsize (KiB) 1131084
[startup+462.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 3436
/proc/meminfo: memFree=26439928/32873844 swapFree=7128/7128
[pid=3408] ppid=3406 vsize=1131084 CPUtime=462.2 cores=1,3,5,7
/proc/3408/stat : 3408 (scip-2.0.1.4b_2) R 3406 3408 25330 0 -1 4202496 242956 0 0 0 46134 86 0 0 20 0 1 0 335304909 1158230016 278391 33554432000 4194304 9016284 140735425100608 140735425095720 6922736 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/3408/statm: 282771 278391 670 1178 0 281589 0
Current children cumulated CPU time (s) 462.2
Current children cumulated vsize (KiB) 1131084
[startup+522.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 3436
/proc/meminfo: memFree=26435728/32873844 swapFree=7128/7128
[pid=3408] ppid=3406 vsize=1131084 CPUtime=522.18 cores=1,3,5,7
/proc/3408/stat : 3408 (scip-2.0.1.4b_2) R 3406 3408 25330 0 -1 4202496 242962 0 0 0 52126 92 0 0 20 0 1 0 335304909 1158230016 279497 33554432000 4194304 9016284 140735425100608 140735425094472 7181022 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/3408/statm: 282771 279497 670 1178 0 281589 0
Current children cumulated CPU time (s) 522.18
Current children cumulated vsize (KiB) 1131084
[startup+582.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 3437
/proc/meminfo: memFree=26428976/32873844 swapFree=7128/7128
[pid=3408] ppid=3406 vsize=1131084 CPUtime=582.17 cores=1,3,5,7
/proc/3408/stat : 3408 (scip-2.0.1.4b_2) R 3406 3408 25330 0 -1 4202496 242962 0 0 0 58119 98 0 0 20 0 1 0 335304909 1158230016 279547 33554432000 4194304 9016284 140735425100608 140735425094392 7181387 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/3408/statm: 282771 279547 670 1178 0 281589 0
Current children cumulated CPU time (s) 582.17
Current children cumulated vsize (KiB) 1131084
[startup+642.3 s]
################
# More data... #
################
/proc/3408/stat : 3408 (scip-2.0.1.4b_2) R 3406 3408 25330 0 -1 4202496 242963 0 0 0 100073 138 0 0 20 0 1 0 335304909 1158230016 279599 33554432000 4194304 9016284 140735425100608 140735425095720 7876078 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/3408/statm: 282771 279599 670 1178 0 281589 0
Current children cumulated CPU time (s) 1002.11
Current children cumulated vsize (KiB) 1131084
[startup+1062.3 s]
/proc/loadavg: 2.08 2.02 2.01 3/177 3441
/proc/meminfo: memFree=26411220/32873844 swapFree=7128/7128
[pid=3408] ppid=3406 vsize=1131084 CPUtime=1062.1 cores=1,3,5,7
/proc/3408/stat : 3408 (scip-2.0.1.4b_2) R 3406 3408 25330 0 -1 4202496 242963 0 0 0 106065 145 0 0 20 0 1 0 335304909 1158230016 279599 33554432000 4194304 9016284 140735425100608 140735425095720 7870559 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/3408/statm: 282771 279599 670 1178 0 281589 0
Current children cumulated CPU time (s) 1062.1
Current children cumulated vsize (KiB) 1131084
[startup+1122.3 s]
/proc/loadavg: 2.10 2.03 2.00 3/177 3441
/proc/meminfo: memFree=26410848/32873844 swapFree=7128/7128
[pid=3408] ppid=3406 vsize=1131084 CPUtime=1122.09 cores=1,3,5,7
/proc/3408/stat : 3408 (scip-2.0.1.4b_2) R 3406 3408 25330 0 -1 4202496 242963 0 0 0 112058 151 0 0 20 0 1 0 335304909 1158230016 279599 33554432000 4194304 9016284 140735425100608 140735425095720 7870548 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/3408/statm: 282771 279599 670 1178 0 281589 0
Current children cumulated CPU time (s) 1122.09
Current children cumulated vsize (KiB) 1131084
[startup+1182.3 s]
/proc/loadavg: 2.12 2.04 2.01 3/177 3442
/proc/meminfo: memFree=26420272/32873844 swapFree=7128/7128
[pid=3408] ppid=3406 vsize=1131084 CPUtime=1182.08 cores=1,3,5,7
/proc/3408/stat : 3408 (scip-2.0.1.4b_2) R 3406 3408 25330 0 -1 4202496 242963 0 0 0 118049 159 0 0 20 0 1 0 335304909 1158230016 279599 33554432000 4194304 9016284 140735425100608 140735425095720 7925162 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/3408/statm: 282771 279599 670 1178 0 281589 0
Current children cumulated CPU time (s) 1182.08
Current children cumulated vsize (KiB) 1131084
[startup+1242.3 s]
/proc/loadavg: 2.04 2.03 2.00 3/178 3445
/proc/meminfo: memFree=26416172/32873844 swapFree=7128/7128
[pid=3408] ppid=3406 vsize=1131084 CPUtime=1242.08 cores=1,3,5,7
/proc/3408/stat : 3408 (scip-2.0.1.4b_2) R 3406 3408 25330 0 -1 4202496 242963 0 0 0 124042 166 0 0 20 0 1 0 335304909 1158230016 279599 33554432000 4194304 9016284 140735425100608 140735425095720 7925162 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/3408/statm: 282771 279599 670 1178 0 281589 0
Current children cumulated CPU time (s) 1242.08
Current children cumulated vsize (KiB) 1131084
[startup+1302.3 s]
/proc/loadavg: 2.05 2.03 2.00 3/177 3483
/proc/meminfo: memFree=26585048/32873844 swapFree=7128/7128
[pid=3408] ppid=3406 vsize=1131084 CPUtime=1302.07 cores=1,3,5,7
/proc/3408/stat : 3408 (scip-2.0.1.4b_2) R 3406 3408 25330 0 -1 4202496 242963 0 0 0 130036 171 0 0 20 0 1 0 335304909 1158230016 279599 33554432000 4194304 9016284 140735425100608 140735425095768 7876078 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/3408/statm: 282771 279599 670 1178 0 281589 0
Current children cumulated CPU time (s) 1302.07
Current children cumulated vsize (KiB) 1131084
[startup+1362.3 s]
/proc/loadavg: 2.02 2.03 2.00 3/177 3483
/proc/meminfo: memFree=26582816/32873844 swapFree=7128/7128
[pid=3408] ppid=3406 vsize=1131084 CPUtime=1362.06 cores=1,3,5,7
/proc/3408/stat : 3408 (scip-2.0.1.4b_2) R 3406 3408 25330 0 -1 4202496 243204 0 0 0 136028 178 0 0 20 0 1 0 335304909 1158230016 279840 33554432000 4194304 9016284 140735425100608 140735425094776 7925162 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/3408/statm: 282771 279840 670 1178 0 281589 0
Current children cumulated CPU time (s) 1362.06
Current children cumulated vsize (KiB) 1131084
[startup+1422.31 s]
/proc/loadavg: 2.00 2.02 2.00 3/177 3483
/proc/meminfo: memFree=26579284/32873844 swapFree=7128/7128
[pid=3408] ppid=3406 vsize=1131084 CPUtime=1422.06 cores=1,3,5,7
/proc/3408/stat : 3408 (scip-2.0.1.4b_2) R 3406 3408 25330 0 -1 4202496 243205 0 0 0 142023 183 0 0 20 0 1 0 335304909 1158230016 280352 33554432000 4194304 9016284 140735425100608 140735425094392 7870548 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/3408/statm: 282771 280352 670 1178 0 281589 0
Current children cumulated CPU time (s) 1422.06
Current children cumulated vsize (KiB) 1131084
[startup+1482.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/177 3484
/proc/meminfo: memFree=26575352/32873844 swapFree=7128/7128
[pid=3408] ppid=3406 vsize=1131084 CPUtime=1482.03 cores=1,3,5,7
/proc/3408/stat : 3408 (scip-2.0.1.4b_2) R 3406 3408 25330 0 -1 4202496 243205 0 0 0 148016 187 0 0 20 0 1 0 335304909 1158230016 280352 33554432000 4194304 9016284 140735425100608 140735425094392 7925162 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/3408/statm: 282771 280352 670 1178 0 281589 0
Current children cumulated CPU time (s) 1482.03
Current children cumulated vsize (KiB) 1131084
[startup+1542.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/177 3484
/proc/meminfo: memFree=26573236/32873844 swapFree=7128/7128
[pid=3408] ppid=3406 vsize=1131084 CPUtime=1542.03 cores=1,3,5,7
/proc/3408/stat : 3408 (scip-2.0.1.4b_2) R 3406 3408 25330 0 -1 4202496 243205 0 0 0 154011 192 0 0 20 0 1 0 335304909 1158230016 280352 33554432000 4194304 9016284 140735425100608 140735425094392 7181813 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/3408/statm: 282771 280352 670 1178 0 281589 0
Current children cumulated CPU time (s) 1542.03
Current children cumulated vsize (KiB) 1131084
[startup+1602.3 s]
/proc/loadavg: 2.06 2.02 2.00 3/177 3484
/proc/meminfo: memFree=26560580/32873844 swapFree=7128/7128
[pid=3408] ppid=3406 vsize=1141456 CPUtime=1602.02 cores=1,3,5,7
/proc/3408/stat : 3408 (scip-2.0.1.4b_2) R 3406 3408 25330 0 -1 4202496 243444 0 0 0 160005 197 0 0 20 0 1 0 335304909 1168850944 282635 33554432000 4194304 9016284 140735425100608 140735425094664 6948588 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/3408/statm: 285364 282635 671 1178 0 284182 0
Current children cumulated CPU time (s) 1602.02
Current children cumulated vsize (KiB) 1141456
[startup+1662.3 s]
/proc/loadavg: 2.02 2.01 2.00 3/177 3484
/proc/meminfo: memFree=26557728/32873844 swapFree=7128/7128
[pid=3408] ppid=3406 vsize=1141456 CPUtime=1662.01 cores=1,3,5,7
/proc/3408/stat : 3408 (scip-2.0.1.4b_2) R 3406 3408 25330 0 -1 4202496 243524 0 0 0 165999 202 0 0 20 0 1 0 335304909 1168850944 282715 33554432000 4194304 9016284 140735425100608 140735425094360 7081856 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/3408/statm: 285364 282715 671 1178 0 284182 0
Current children cumulated CPU time (s) 1662.01
Current children cumulated vsize (KiB) 1141456
[startup+1722.3 s]
/proc/loadavg: 2.05 2.02 2.00 3/177 3484
/proc/meminfo: memFree=26554132/32873844 swapFree=7128/7128
[pid=3408] ppid=3406 vsize=1141456 CPUtime=1722 cores=1,3,5,7
/proc/3408/stat : 3408 (scip-2.0.1.4b_2) R 3406 3408 25330 0 -1 4202496 243528 0 0 0 171993 207 0 0 20 0 1 0 335304909 1168850944 282719 33554432000 4194304 9016284 140735425100608 140735425094360 7925162 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/3408/statm: 285364 282719 675 1178 0 284182 0
Current children cumulated CPU time (s) 1722
Current children cumulated vsize (KiB) 1141456
[startup+1782.3 s]
/proc/loadavg: 2.01 2.02 2.00 3/177 3485
/proc/meminfo: memFree=26549420/32873844 swapFree=7128/7128
[pid=3408] ppid=3406 vsize=1141456 CPUtime=1781.99 cores=1,3,5,7
/proc/3408/stat : 3408 (scip-2.0.1.4b_2) R 3406 3408 25330 0 -1 4202496 243528 0 0 0 177985 214 0 0 20 0 1 0 335304909 1168850944 282719 33554432000 4194304 9016284 140735425100608 140735425094664 7082025 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/3408/statm: 285364 282719 675 1178 0 284182 0
Current children cumulated CPU time (s) 1781.99
Current children cumulated vsize (KiB) 1141456
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800.4 s]
/proc/loadavg: 2.01 2.02 2.00 3/177 3485
/proc/meminfo: memFree=26546320/32873844 swapFree=7128/7128
[pid=3408] ppid=3406 vsize=1141456 CPUtime=1800.09 cores=1,3,5,7
/proc/3408/stat : 3408 (scip-2.0.1.4b_2) R 3406 3408 25330 0 -1 4202496 243528 0 0 0 179794 215 0 0 20 0 1 0 335304909 1168850944 282719 33554432000 4194304 9016284 140735425100608 140735425094664 7214028 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/3408/statm: 285364 282719 675 1178 0 284182 0
Current children cumulated CPU time (s) 1800.09
Current children cumulated vsize (KiB) 1141456
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Sending SIGKILL to process tree (bottom up)
Sending SIGKILL to -3408
Solver just ended. Dumping a history of the last processes samples
[startup+1801.4 s]
/proc/loadavg: 2.01 2.02 2.00 3/178 3486
/proc/meminfo: memFree=26546196/32873844 swapFree=7128/7128
[pid=3408] ppid=3406 vsize=1141456 CPUtime=1801.08 cores=1,3,5,7
/proc/3408/stat : 3408 (scip-2.0.1.4b_2) R 3406 3408 25330 0 -1 4202496 243528 0 0 0 179893 215 0 0 20 0 1 0 335304909 1168850944 282719 33554432000 4194304 9016284 140735425100608 140735425094664 7925162 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/3408/statm: 285364 282719 675 1178 0 284182 0
Current children cumulated CPU time (s) 1801.08
Current children cumulated vsize (KiB) 1141456
[startup+1802.2 s]
/proc/loadavg: 2.01 2.02 2.00 3/178 3486
/proc/meminfo: memFree=26546188/32873844 swapFree=7128/7128
[pid=3408] ppid=3406 vsize=1121304 CPUtime=1801.89 cores=1,3,5,7
/proc/3408/stat : 3408 (scip-2.0.1.4b_2) R 3406 3408 25330 0 -1 4202496 243535 0 0 0 179973 216 0 0 20 0 1 0 335304909 1148215296 277738 33554432000 4194304 9016284 140735425100608 140735425094824 6482625 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/3408/statm: 280326 277738 682 1178 0 279144 0
Current children cumulated CPU time (s) 1801.89
Current children cumulated vsize (KiB) 1121304
[startup+1802.4 s]
/proc/loadavg: 2.01 2.02 2.00 3/178 3486
/proc/meminfo: memFree=26546188/32873844 swapFree=7128/7128
[pid=3408] ppid=3406 vsize=898472 CPUtime=1802.09 cores=1,3,5,7
/proc/3408/stat : 3408 (scip-2.0.1.4b_2) R 3406 3408 25330 0 -1 4202496 243535 0 0 0 179992 217 0 0 20 0 1 0 335304909 920035328 223356 33554432000 4194304 9016284 140735425100608 140735425094824 4913421 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/3408/statm: 224618 223356 682 1178 0 223436 0
Current children cumulated CPU time (s) 1802.09
Current children cumulated vsize (KiB) 898472
Child ended because it received signal 9 (SIGKILL)
Real time (s): 1802.42
CPU time (s): 1802.12
CPU user time (s): 1799.93
CPU system time (s): 2.19067
CPU usage (%): 99.9833
Max. virtual memory (cumulated for all children) (KiB): 1141456
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.93
system time used= 2.19067
maximum resident set size= 1130900
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 243535
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= 40
involuntary context switches= 1884
runsolver used 3.22951 second user time and 9.49556 second system time
The end