0.00/0.00 c SCIP version 1.2.1.3 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: SoPlex 1.4.2]
0.00/0.00 c Copyright (c) 2002-2010 Konrad-Zuse-Zentrum fuer Informationstechnik Berlin (ZIB)
0.00/0.00 c
0.00/0.00 c user parameter file <scip.set> not found - using default parameters
0.00/0.00 c reading problem <HOME/instance-3729024-1338678628.opb>
0.00/0.01 c original problem has 428 variables (428 bin, 0 int, 0 impl, 0 cont) and 942 constraints
0.00/0.01 c problem read
0.00/0.01 c No objective function, only one solution is needed.
0.00/0.01 c presolving settings loaded
0.00/0.01 c presolving:
0.00/0.02 c (round 1) 3 del vars, 1 del conss, 1 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 464 impls, 0 clqs
0.00/0.02 c (round 2) 17 del vars, 21 del conss, 15 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 464 impls, 0 clqs
0.00/0.02 c (round 3) 17 del vars, 35 del conss, 15 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 464 impls, 0 clqs
0.00/0.03 c (round 4) 17 del vars, 35 del conss, 15 chg bounds, 0 chg sides, 0 chg coeffs, 907 upgd conss, 464 impls, 0 clqs
0.00/0.03 c (round 5) 23 del vars, 35 del conss, 15 chg bounds, 0 chg sides, 0 chg coeffs, 907 upgd conss, 14344 impls, 6 clqs
0.00/0.04 c (round 6) 23 del vars, 41 del conss, 15 chg bounds, 0 chg sides, 0 chg coeffs, 907 upgd conss, 14344 impls, 6 clqs
0.00/0.04 c (round 7) 23 del vars, 43 del conss, 15 chg bounds, 0 chg sides, 0 chg coeffs, 907 upgd conss, 14344 impls, 6 clqs
0.00/0.04 c presolving (8 rounds):
0.00/0.04 c 23 deleted vars, 43 deleted constraints, 15 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
0.00/0.04 c 14344 implications, 6 cliques
0.00/0.04 c presolved problem has 405 variables (405 bin, 0 int, 0 impl, 0 cont) and 899 constraints
0.00/0.04 c 285 constraints of type <knapsack>
0.00/0.04 c 195 constraints of type <setppc>
0.00/0.04 c 419 constraints of type <logicor>
0.00/0.04 c transformed objective value is always integral (scale: 1)
0.00/0.04 c Presolving Time: 0.02
0.00/0.04 c - non default parameters ----------------------------------------------------------------------
0.00/0.04 c # SCIP version 1.2.1.3
0.00/0.04 c
0.00/0.04 c # frequency for displaying node information lines
0.00/0.04 c # [type: int, range: [-1,2147483647], default: 100]
0.00/0.04 c display/freq = 10000
0.00/0.04 c
0.00/0.04 c # maximal time in seconds to run
0.00/0.04 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.00/0.04 c limits/time = 1790
0.00/0.04 c
0.00/0.04 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.00/0.04 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.00/0.04 c limits/memory = 13950
0.00/0.04 c
0.00/0.04 c # solving stops, if the given number of solutions were found (-1: no limit)
0.00/0.04 c # [type: int, range: [-1,2147483647], default: -1]
0.00/0.04 c limits/solutions = 1
0.00/0.04 c
0.00/0.04 c # maximal number of separation rounds per node (-1: unlimited)
0.00/0.04 c # [type: int, range: [-1,2147483647], default: 5]
0.00/0.04 c separating/maxrounds = 1
0.00/0.04 c
0.00/0.04 c # maximal number of separation rounds in the root node (-1: unlimited)
0.00/0.04 c # [type: int, range: [-1,2147483647], default: -1]
0.00/0.04 c separating/maxroundsroot = 5
0.00/0.04 c
0.00/0.04 c # default clock type (1: CPU user seconds, 2: wall clock time)
0.00/0.04 c # [type: int, range: [1,2], default: 1]
0.00/0.04 c timing/clocktype = 2
0.00/0.04 c
0.00/0.04 c # should presolving try to simplify inequalities
0.00/0.04 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.00/0.04 c constraints/linear/simplifyinequalities = TRUE
0.00/0.04 c
0.00/0.04 c # add initial coupling inequalities as linear constraints, if 'addCoupling' is true
0.00/0.04 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.00/0.04 c constraints/indicator/addCouplingCons = TRUE
0.00/0.04 c
0.00/0.04 c # should disaggregation of knapsack constraints be allowed in preprocessing?
0.00/0.04 c # [type: bool, range: {TRUE,FALSE}, default: TRUE]
0.00/0.04 c constraints/knapsack/disaggregation = FALSE
0.00/0.04 c
0.00/0.04 c # should presolving try to simplify knapsacks
0.00/0.04 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.00/0.04 c constraints/knapsack/simplifyinequalities = TRUE
0.00/0.04 c
0.00/0.04 c # maximal number of presolving rounds the presolver participates in (-1: no limit)
0.00/0.04 c # [type: int, range: [-1,2147483647], default: -1]
0.00/0.04 c presolving/probing/maxrounds = 0
0.00/0.04 c
0.00/0.04 c # frequency for calling primal heuristic <coefdiving> (-1: never, 0: only at depth freqofs)
0.00/0.04 c # [type: int, range: [-1,2147483647], default: 10]
0.00/0.04 c heuristics/coefdiving/freq = -1
0.00/0.04 c
0.00/0.04 c # maximal fraction of diving LP iterations compared to node LP iterations
0.00/0.04 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
0.00/0.04 c heuristics/coefdiving/maxlpiterquot = 0.075
0.00/0.04 c
0.00/0.04 c # additional number of allowed LP iterations
0.00/0.04 c # [type: int, range: [0,2147483647], default: 1000]
0.00/0.04 c heuristics/coefdiving/maxlpiterofs = 1500
0.00/0.04 c
0.00/0.04 c # frequency for calling primal heuristic <crossover> (-1: never, 0: only at depth freqofs)
0.00/0.04 c # [type: int, range: [-1,2147483647], default: 30]
0.00/0.04 c heuristics/crossover/freq = -1
0.00/0.04 c
0.00/0.04 c # number of nodes added to the contingent of the total nodes
0.00/0.04 c # [type: longint, range: [0,9223372036854775807], default: 500]
0.00/0.04 c heuristics/crossover/nodesofs = 750
0.00/0.04 c
0.00/0.04 c # number of nodes without incumbent change that heuristic should wait
0.00/0.04 c # [type: longint, range: [0,9223372036854775807], default: 200]
0.00/0.04 c heuristics/crossover/nwaitingnodes = 100
0.00/0.04 c
0.00/0.04 c # contingent of sub problem nodes in relation to the number of nodes of the original problem
0.00/0.04 c # [type: real, range: [0,1], default: 0.1]
0.00/0.04 c heuristics/crossover/nodesquot = 0.15
0.00/0.04 c
0.00/0.04 c # minimum percentage of integer variables that have to be fixed
0.00/0.04 c # [type: real, range: [0,1], default: 0.666]
0.00/0.04 c heuristics/crossover/minfixingrate = 0.5
0.00/0.04 c
0.00/0.04 c # frequency for calling primal heuristic <feaspump> (-1: never, 0: only at depth freqofs)
0.00/0.04 c # [type: int, range: [-1,2147483647], default: 20]
0.00/0.04 c heuristics/feaspump/freq = -1
0.00/0.04 c
0.00/0.04 c # additional number of allowed LP iterations
0.00/0.04 c # [type: int, range: [0,2147483647], default: 1000]
0.00/0.04 c heuristics/feaspump/maxlpiterofs = 2000
0.00/0.04 c
0.00/0.04 c # frequency for calling primal heuristic <fracdiving> (-1: never, 0: only at depth freqofs)
0.00/0.04 c # [type: int, range: [-1,2147483647], default: 10]
0.00/0.04 c heuristics/fracdiving/freq = -1
0.00/0.04 c
0.00/0.04 c # maximal fraction of diving LP iterations compared to node LP iterations
0.00/0.04 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
0.00/0.04 c heuristics/fracdiving/maxlpiterquot = 0.075
0.00/0.04 c
0.00/0.04 c # additional number of allowed LP iterations
0.00/0.04 c # [type: int, range: [0,2147483647], default: 1000]
0.00/0.04 c heuristics/fracdiving/maxlpiterofs = 1500
0.00/0.04 c
0.00/0.04 c # frequency for calling primal heuristic <guideddiving> (-1: never, 0: only at depth freqofs)
0.00/0.04 c # [type: int, range: [-1,2147483647], default: 10]
0.00/0.04 c heuristics/guideddiving/freq = -1
0.00/0.04 c
0.00/0.04 c # maximal fraction of diving LP iterations compared to node LP iterations
0.00/0.04 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
0.00/0.04 c heuristics/guideddiving/maxlpiterquot = 0.075
0.00/0.04 c
0.00/0.04 c # additional number of allowed LP iterations
0.00/0.04 c # [type: int, range: [0,2147483647], default: 1000]
0.00/0.04 c heuristics/guideddiving/maxlpiterofs = 1500
0.00/0.04 c
0.00/0.04 c # maximal fraction of diving LP iterations compared to node LP iterations
0.00/0.04 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
0.00/0.04 c heuristics/intdiving/maxlpiterquot = 0.075
0.00/0.04 c
0.00/0.04 c # frequency for calling primal heuristic <intshifting> (-1: never, 0: only at depth freqofs)
0.00/0.04 c # [type: int, range: [-1,2147483647], default: 10]
0.00/0.04 c heuristics/intshifting/freq = -1
0.00/0.04 c
0.00/0.04 c # frequency for calling primal heuristic <linesearchdiving> (-1: never, 0: only at depth freqofs)
0.00/0.04 c # [type: int, range: [-1,2147483647], default: 10]
0.00/0.04 c heuristics/linesearchdiving/freq = -1
0.00/0.04 c
0.00/0.04 c # maximal fraction of diving LP iterations compared to node LP iterations
0.00/0.04 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
0.00/0.04 c heuristics/linesearchdiving/maxlpiterquot = 0.075
0.00/0.04 c
0.00/0.04 c # additional number of allowed LP iterations
0.00/0.04 c # [type: int, range: [0,2147483647], default: 1000]
0.00/0.04 c heuristics/linesearchdiving/maxlpiterofs = 1500
0.00/0.04 c
0.00/0.04 c # frequency for calling primal heuristic <nlp> (-1: never, 0: only at depth freqofs)
0.00/0.04 c # [type: int, range: [-1,2147483647], default: 1]
0.00/0.04 c heuristics/nlp/freq = -1
0.00/0.04 c
0.00/0.04 c # frequency for calling primal heuristic <objpscostdiving> (-1: never, 0: only at depth freqofs)
0.00/0.04 c # [type: int, range: [-1,2147483647], default: 20]
0.00/0.04 c heuristics/objpscostdiving/freq = -1
0.00/0.04 c
0.00/0.04 c # maximal fraction of diving LP iterations compared to total iteration number
0.00/0.04 c # [type: real, range: [0,1], default: 0.01]
0.00/0.04 c heuristics/objpscostdiving/maxlpiterquot = 0.015
0.00/0.04 c
0.00/0.04 c # additional number of allowed LP iterations
0.00/0.04 c # [type: int, range: [0,2147483647], default: 1000]
0.00/0.04 c heuristics/objpscostdiving/maxlpiterofs = 1500
0.00/0.04 c
0.00/0.04 c # frequency for calling primal heuristic <oneopt> (-1: never, 0: only at depth freqofs)
0.00/0.04 c # [type: int, range: [-1,2147483647], default: 1]
0.00/0.04 c heuristics/oneopt/freq = -1
0.00/0.04 c
0.00/0.04 c # frequency for calling primal heuristic <pscostdiving> (-1: never, 0: only at depth freqofs)
0.00/0.04 c # [type: int, range: [-1,2147483647], default: 10]
0.00/0.04 c heuristics/pscostdiving/freq = -1
0.00/0.04 c
0.00/0.04 c # maximal fraction of diving LP iterations compared to node LP iterations
0.00/0.04 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
0.00/0.04 c heuristics/pscostdiving/maxlpiterquot = 0.075
0.00/0.04 c
0.00/0.04 c # additional number of allowed LP iterations
0.00/0.04 c # [type: int, range: [0,2147483647], default: 1000]
0.00/0.04 c heuristics/pscostdiving/maxlpiterofs = 1500
0.00/0.04 c
0.00/0.04 c # frequency for calling primal heuristic <rens> (-1: never, 0: only at depth freqofs)
0.00/0.04 c # [type: int, range: [-1,2147483647], default: 0]
0.00/0.04 c heuristics/rens/freq = -1
0.00/0.04 c
0.00/0.04 c # minimum percentage of integer variables that have to be fixable
0.00/0.04 c # [type: real, range: [0,1], default: 0.5]
0.00/0.04 c heuristics/rens/minfixingrate = 0.3
0.00/0.04 c
0.00/0.04 c # number of nodes added to the contingent of the total nodes
0.00/0.04 c # [type: longint, range: [0,9223372036854775807], default: 500]
0.00/0.04 c heuristics/rens/nodesofs = 2000
0.00/0.04 c
0.00/0.04 c # frequency for calling primal heuristic <rootsoldiving> (-1: never, 0: only at depth freqofs)
0.00/0.04 c # [type: int, range: [-1,2147483647], default: 20]
0.00/0.04 c heuristics/rootsoldiving/freq = -1
0.00/0.04 c
0.00/0.04 c # maximal fraction of diving LP iterations compared to node LP iterations
0.00/0.04 c # [type: real, range: [0,1.79769313486232e+308], default: 0.01]
0.00/0.04 c heuristics/rootsoldiving/maxlpiterquot = 0.015
0.00/0.04 c
0.00/0.04 c # additional number of allowed LP iterations
0.00/0.04 c # [type: int, range: [0,2147483647], default: 1000]
0.00/0.04 c heuristics/rootsoldiving/maxlpiterofs = 1500
0.00/0.04 c
0.00/0.04 c # frequency for calling primal heuristic <rounding> (-1: never, 0: only at depth freqofs)
0.00/0.04 c # [type: int, range: [-1,2147483647], default: 1]
0.00/0.04 c heuristics/rounding/freq = -1
0.00/0.04 c
0.00/0.04 c # frequency for calling primal heuristic <shifting> (-1: never, 0: only at depth freqofs)
0.00/0.04 c # [type: int, range: [-1,2147483647], default: 10]
0.00/0.04 c heuristics/shifting/freq = -1
0.00/0.04 c
0.00/0.04 c # frequency for calling primal heuristic <simplerounding> (-1: never, 0: only at depth freqofs)
0.00/0.04 c # [type: int, range: [-1,2147483647], default: 1]
0.00/0.04 c heuristics/simplerounding/freq = -1
0.00/0.04 c
0.00/0.04 c # frequency for calling primal heuristic <trivial> (-1: never, 0: only at depth freqofs)
0.00/0.04 c # [type: int, range: [-1,2147483647], default: 0]
0.00/0.04 c heuristics/trivial/freq = -1
0.00/0.04 c
0.00/0.04 c # frequency for calling primal heuristic <trysol> (-1: never, 0: only at depth freqofs)
0.00/0.04 c # [type: int, range: [-1,2147483647], default: 1]
0.00/0.04 c heuristics/trysol/freq = -1
0.00/0.04 c
0.00/0.04 c # frequency for calling primal heuristic <veclendiving> (-1: never, 0: only at depth freqofs)
0.00/0.04 c # [type: int, range: [-1,2147483647], default: 10]
0.00/0.04 c heuristics/veclendiving/freq = -1
0.00/0.04 c
0.00/0.04 c # maximal fraction of diving LP iterations compared to node LP iterations
0.00/0.04 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
0.00/0.04 c heuristics/veclendiving/maxlpiterquot = 0.075
0.00/0.04 c
0.00/0.04 c # additional number of allowed LP iterations
0.00/0.04 c # [type: int, range: [0,2147483647], default: 1000]
0.00/0.04 c heuristics/veclendiving/maxlpiterofs = 1500
0.00/0.04 c
0.00/0.04 c # frequency for calling primal heuristic <zirounding> (-1: never, 0: only at depth freqofs)
0.00/0.04 c # [type: int, range: [-1,2147483647], default: 1]
0.00/0.04 c heuristics/zirounding/freq = -1
0.00/0.04 c
0.00/0.04 c # frequency for calling separator <cmir> (-1: never, 0: only in root node)
0.00/0.04 c # [type: int, range: [-1,2147483647], default: 0]
0.00/0.04 c separating/cmir/freq = -1
0.00/0.04 c
0.00/0.04 c # frequency for calling separator <flowcover> (-1: never, 0: only in root node)
0.00/0.04 c # [type: int, range: [-1,2147483647], default: 0]
0.00/0.04 c separating/flowcover/freq = -1
0.00/0.04 c
0.00/0.04 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
0.00/0.04 c # [type: int, range: [-1,2147483647], default: -1]
0.00/0.04 c separating/rapidlearning/freq = 0
0.00/0.04 c
0.00/0.04 c -----------------------------------------------------------------------------------------------
0.00/0.04 c start solving
0.00/0.04 c
0.00/0.08 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
0.00/0.08 c 0.1s| 1 | 0 | 699 | - |2961k| 0 | 199 | 405 | 899 | 405 | 899 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
0.48/0.52 c 0.5s| 1 | 0 | 1324 | - |7038k| 0 | 288 | 405 | 924 | 405 |1346 | 447 | 0 | 0 | 0.000000e+00 | -- | Inf
0.89/0.99 c 1.0s| 1 | 0 | 2136 | - | 10M| 0 | 304 | 405 | 924 | 405 |1510 | 611 | 0 | 0 | 0.000000e+00 | -- | Inf
1.39/1.40 c 1.4s| 1 | 0 | 2730 | - | 14M| 0 | 318 | 405 | 924 | 405 |1597 | 698 | 0 | 0 | 0.000000e+00 | -- | Inf
1.68/1.77 c 1.8s| 1 | 0 | 3302 | - | 17M| 0 | 327 | 405 | 924 | 405 |1655 | 756 | 0 | 0 | 0.000000e+00 | -- | Inf
2.10/2.19 c 2.2s| 1 | 0 | 3744 | - | 19M| 0 | 335 | 405 | 924 | 405 |1702 | 803 | 0 | 0 | 0.000000e+00 | -- | Inf
4.18/4.24 c 4.2s| 1 | 2 | 3744 | - | 19M| 0 | 335 | 405 | 924 | 405 |1702 | 803 | 0 | 10 | 0.000000e+00 | -- | Inf
75.47/75.54 c 75.5s| 10000 | 91 |385174 | 38.1 | 19M| 35 | - | 405 |1715 | 405 |1149 | 803 |1176 |1577 | 0.000000e+00 | -- | Inf
127.47/127.54 c 128s| 20000 | 109 |784308 | 39.0 | 20M| 36 | 33 | 405 |2056 | 405 |1149 | 803 |2386 |2460 | 0.000000e+00 | -- | Inf
170.86/170.93 c 171s| 30000 | 107 | 1168k| 38.8 | 20M| 40 | 71 | 405 |2333 | 405 |1149 | 803 |3623 |2613 | 0.000000e+00 | -- | Inf
222.16/222.24 c 222s| 40000 | 111 | 1583k| 39.5 | 20M| 42 | - | 405 |2601 | 405 |1149 | 803 |5127 |3196 | 0.000000e+00 | -- | Inf
270.64/270.72 c 271s| 50000 | 116 | 1998k| 39.9 | 20M| 42 | - | 405 |2932 | 0 | 0 | 803 |6451 |3636 | 0.000000e+00 | -- | Inf
320.74/320.88 c 321s| 60000 | 117 | 2397k| 39.9 | 20M| 42 | 50 | 405 |2945 | 405 |1149 | 803 |7853 |4280 | 0.000000e+00 | -- | Inf
364.23/364.30 c 364s| 70000 | 107 | 2767k| 39.5 | 20M| 44 | 107 | 405 |3299 | 405 |1149 | 803 |9354 |4636 | 0.000000e+00 | -- | Inf
416.52/416.68 c 417s| 80000 | 117 | 3203k| 40.0 | 20M| 44 | - | 405 |2697 | 405 |1149 | 803 | 10k|5028 | 0.000000e+00 | -- | Inf
456.01/456.16 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
456.01/456.16 c 456s| 90000 | 117 | 3545k| 39.4 | 20M| 44 | 58 | 405 |2869 | 405 |1149 | 803 | 12k|5292 | 0.000000e+00 | -- | Inf
491.81/491.92 c 492s|100000 | 114 | 3866k| 38.6 | 21M| 46 | 120 | 405 |3473 | 405 |1149 | 803 | 13k|5457 | 0.000000e+00 | -- | Inf
541.40/541.58 c 542s|110000 | 113 | 4286k| 38.9 | 21M| 46 | - | 405 |3346 | 405 |1149 | 803 | 15k|5757 | 0.000000e+00 | -- | Inf
594.29/594.40 c 594s|120000 | 113 | 4729k| 39.4 | 21M| 46 | 60 | 405 |3201 | 405 |1149 | 803 | 16k|6012 | 0.000000e+00 | -- | Inf
646.38/646.57 c 647s|130000 | 105 | 5157k| 39.6 | 20M| 46 | 48 | 405 |3001 | 405 |1149 | 803 | 18k|6491 | 0.000000e+00 | -- | Inf
696.98/697.17 c 697s|140000 | 111 | 5592k| 39.9 | 21M| 46 | - | 405 |3503 | 405 |1149 | 803 | 19k|6692 | 0.000000e+00 | -- | Inf
746.57/746.80 c 747s|150000 | 116 | 6013k| 40.1 | 21M| 46 | 51 | 405 |3266 | 405 |1149 | 803 | 21k|6941 | 0.000000e+00 | -- | Inf
794.36/794.52 c 795s|160000 | 105 | 6425k| 40.1 | 21M| 48 | 137 | 405 |3336 | 405 |1149 | 803 | 22k|7146 | 0.000000e+00 | -- | Inf
844.75/844.91 c 845s|170000 | 110 | 6843k| 40.2 | 21M| 58 | 39 | 405 |3319 | 405 |1149 | 803 | 24k|7552 | 0.000000e+00 | -- | Inf
880.15/880.30 c 880s|180000 | 119 | 7166k| 39.8 | 21M| 58 | 54 | 405 |3716 | 405 |1149 | 803 | 25k|7626 | 0.000000e+00 | -- | Inf
920.54/920.72 c 921s|190000 | 118 | 7520k| 39.6 | 21M| 58 | 55 | 405 |3956 | 405 |1149 | 803 | 27k|7817 | 0.000000e+00 | -- | Inf
970.04/970.27 c 970s|200000 | 104 | 7941k| 39.7 | 21M| 58 | - | 405 |3661 | 405 |1149 | 803 | 28k|8081 | 0.000000e+00 | -- | Inf
1022.22/1022.47 c 1022s|210000 | 109 | 8358k| 39.8 | 21M| 58 | - | 405 |3386 | 405 |1149 | 803 | 29k|8542 | 0.000000e+00 | -- | Inf
1059.92/1060.13 c 1060s|220000 | 114 | 8701k| 39.5 | 21M| 58 | 23 | 405 |3991 | 405 |1149 | 803 | 31k|8579 | 0.000000e+00 | -- | Inf
1102.32/1102.58 c 1103s|230000 | 110 | 9076k| 39.4 | 21M| 58 | - | 405 |3824 | 405 |1149 | 803 | 33k|8833 | 0.000000e+00 | -- | Inf
1139.51/1139.73 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1139.51/1139.73 c 1140s|240000 | 109 | 9416k| 39.2 | 21M| 58 | 89 | 405 |4273 | 405 |1149 | 803 | 34k|8913 | 0.000000e+00 | -- | Inf
1184.70/1184.90 c 1185s|250000 | 105 | 9811k| 39.2 | 21M| 58 | - | 405 |3842 | 405 |1149 | 803 | 35k|9149 | 0.000000e+00 | -- | Inf
1234.10/1234.32 c 1234s|260000 | 111 | 10238k| 39.4 | 21M| 58 | - | 405 |3597 | 0 | 0 | 803 | 37k|9237 | 0.000000e+00 | -- | Inf
1282.78/1283.04 c 1283s|270000 | 106 | 10661k| 39.5 | 21M| 58 | - | 405 |3764 | 0 | 0 | 803 | 38k|9432 | 0.000000e+00 | -- | Inf
1335.47/1335.75 c 1336s|280000 | 103 | 11116k| 39.7 | 21M| 58 | 40 | 405 |3634 | 405 |1149 | 803 | 40k|9627 | 0.000000e+00 | -- | Inf
1383.77/1384.02 c 1384s|290000 | 98 | 11520k| 39.7 | 21M| 58 | 66 | 405 |3793 | 405 |1149 | 803 | 42k|9876 | 0.000000e+00 | -- | Inf
1430.86/1431.17 c 1431s|300000 | 113 | 11921k| 39.7 | 21M| 58 | 47 | 405 |3923 | 405 |1149 | 803 | 43k| 10k| 0.000000e+00 | -- | Inf
1473.67/1473.93 c 1474s|310000 | 103 | 12298k| 39.7 | 21M| 58 | - | 405 |4459 | 405 |1149 | 803 | 45k| 10k| 0.000000e+00 | -- | Inf
1520.05/1520.34 c 1520s|320000 | 103 | 12706k| 39.7 | 21M| 58 | - | 405 |4604 | 405 |1149 | 803 | 46k| 10k| 0.000000e+00 | -- | Inf
1568.35/1568.67 c 1569s|330000 | 108 | 13129k| 39.8 | 22M| 58 | - | 405 |5253 | 405 |1149 | 803 | 48k| 10k| 0.000000e+00 | -- | Inf
1627.13/1627.42 c 1627s|340000 | 97 | 13608k| 40.0 | 22M| 58 | - | 405 |4697 | 405 |1149 | 803 | 49k| 10k| 0.000000e+00 | -- | Inf
1686.82/1687.14 c 1687s|350000 | 113 | 14114k| 40.3 | 22M| 58 | 72 | 405 |4789 | 405 |1149 | 803 | 51k| 10k| 0.000000e+00 | -- | Inf
1746.22/1746.55 c 1747s|360000 | 117 | 14614k| 40.6 | 22M| 58 | 72 | 405 |5307 | 405 |1149 | 803 | 52k| 10k| 0.000000e+00 | -- | Inf
1789.71/1790.01 c
1789.71/1790.01 c SCIP Status : solving was interrupted [time limit reached]
1789.71/1790.01 c Solving Time (sec) : 1790.00
1789.71/1790.01 c Solving Nodes : 366995
1789.71/1790.01 c Primal Bound : +1.00000000000000e+20 (0 solutions)
1789.71/1790.01 c Dual Bound : +0.00000000000000e+00
1789.71/1790.01 c Gap : infinite
1789.71/1790.01 s UNKNOWN
1789.71/1790.01 c SCIP Status : solving was interrupted [time limit reached]
1789.71/1790.01 c Solving Time : 1790.00
1789.71/1790.01 c Original Problem :
1789.71/1790.01 c Problem name : HOME/instance-3729024-1338678628.opb
1789.71/1790.01 c Variables : 428 (428 binary, 0 integer, 0 implicit integer, 0 continuous)
1789.71/1790.01 c Constraints : 942 initial, 942 maximal
1789.71/1790.01 c Presolved Problem :
1789.71/1790.01 c Problem name : t_HOME/instance-3729024-1338678628.opb
1789.71/1790.01 c Variables : 405 (405 binary, 0 integer, 0 implicit integer, 0 continuous)
1789.71/1790.01 c Constraints : 899 initial, 5460 maximal
1789.71/1790.01 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs
1789.71/1790.01 c trivial : 0.00 0 0 0 0 0 0 0 0
1789.71/1790.01 c dualfix : 0.00 0 0 0 0 0 0 0 0
1789.71/1790.01 c boundshift : 0.00 0 0 0 0 0 0 0 0
1789.71/1790.01 c inttobinary : 0.00 0 0 0 0 0 0 0 0
1789.71/1790.01 c implics : 0.00 0 8 0 0 0 0 0 0
1789.71/1790.01 c probing : 0.00 0 0 0 0 0 0 0 0
1789.71/1790.01 c knapsack : 0.01 0 0 0 0 0 0 0 0
1789.71/1790.01 c setppc : 0.00 0 0 0 0 0 8 0 0
1789.71/1790.01 c linear : 0.01 15 0 0 15 0 35 0 0
1789.71/1790.01 c logicor : 0.00 0 0 0 0 0 0 0 0
1789.71/1790.01 c root node : - 4 - - 4 - - - -
1789.71/1790.01 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children
1789.71/1790.01 c integral : 0 0 0 186445 0 171 1541 0 0 370494
1789.71/1790.01 c knapsack : 285 5 1212367 0 2 60494 4126859 696 0 0
1789.71/1790.01 c setppc : 195 5 1150968 0 2 5275 1149187 0 0 0
1789.71/1790.01 c linear : 0+ 5 258274 0 0 66 1589 0 0 0
1789.71/1790.01 c logicor : 419+ 5 965409 0 2 19051 1220826 0 0 0
1789.71/1790.01 c countsols : 0 0 0 0 2 0 0 0 0 0
1789.71/1790.01 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS
1789.71/1790.01 c integral : 110.28 0.00 0.00 110.28 0.00
1789.71/1790.01 c knapsack : 16.84 0.02 16.83 0.00 0.00
1789.71/1790.01 c setppc : 2.78 0.00 2.78 0.00 0.00
1789.71/1790.01 c linear : 0.15 0.00 0.15 0.00 0.00
1789.71/1790.01 c logicor : 9.57 0.00 9.57 0.00 0.00
1789.71/1790.01 c countsols : 0.00 0.00 0.00 0.00 0.00
1789.71/1790.01 c Propagators : Time Calls Cutoffs DomReds
1789.71/1790.01 c vbounds : 0.15 1 0 0
1789.71/1790.01 c rootredcost : 0.13 0 0 0
1789.71/1790.01 c pseudoobj : 0.11 0 0 0
1789.71/1790.01 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1789.71/1790.01 c propagation : 4.55 36200 35631 335878 82.3 525 17.8 -
1789.71/1790.01 c infeasible LP : 8.08 99931 0 0 0.0 0 0.0 0
1789.71/1790.01 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1789.71/1790.01 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1789.71/1790.01 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 -
1789.71/1790.01 c applied globally : - - - 53586 20.5 - - -
1789.71/1790.01 c applied locally : - - - 171 101.4 - - -
1789.71/1790.01 c Separators : Time Calls Cutoffs DomReds Cuts Conss
1789.71/1790.01 c cut pool : 0.01 4 - - 29 - (maximal pool size: 2710)
1789.71/1790.01 c redcost : 1.06 185676 0 0 0 0
1789.71/1790.01 c impliedbounds : 0.00 5 0 0 1461 0
1789.71/1790.01 c intobj : 0.00 0 0 0 0 0
1789.71/1790.01 c cgmip : 0.00 0 0 0 0 0
1789.71/1790.01 c gomory : 0.60 5 0 0 60 0
1789.71/1790.01 c strongcg : 0.51 5 0 0 2301 0
1789.71/1790.01 c cmir : 0.00 0 0 0 0 0
1789.71/1790.01 c flowcover : 0.00 0 0 0 0 0
1789.71/1790.01 c clique : 0.00 5 0 0 6 0
1789.71/1790.01 c zerohalf : 0.00 0 0 0 0 0
1789.71/1790.01 c mcf : 0.00 1 0 0 0 0
1789.71/1790.01 c rapidlearning : 0.12 1 0 0 0 25
1789.71/1790.01 c Pricers : Time Calls Vars
1789.71/1790.01 c problem variables: 0.00 0 0
1789.71/1790.01 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
1789.71/1790.01 c relpscost : 110.20 186445 171 1541 0 0 370494
1789.71/1790.01 c pscost : 0.00 0 0 0 0 0 0
1789.71/1790.01 c inference : 0.00 2 0 0 0 0 4
1789.71/1790.01 c mostinf : 0.00 0 0 0 0 0 0
1789.71/1790.01 c leastinf : 0.00 0 0 0 0 0 0
1789.71/1790.01 c fullstrong : 0.00 0 0 0 0 0 0
1789.71/1790.01 c allfullstrong : 0.00 0 0 0 0 0 0
1789.71/1790.01 c random : 0.00 0 0 0 0 0 0
1789.71/1790.01 c Primal Heuristics : Time Calls Found
1789.71/1790.01 c LP solutions : 0.00 - 0
1789.71/1790.01 c pseudo solutions : 0.00 - 0
1789.71/1790.01 c trivial : 0.00 1 0
1789.71/1790.01 c simplerounding : 0.00 0 0
1789.71/1790.01 c zirounding : 0.00 0 0
1789.71/1790.01 c rounding : 0.00 0 0
1789.71/1790.01 c shifting : 0.00 0 0
1789.71/1790.01 c intshifting : 0.00 0 0
1789.71/1790.01 c oneopt : 0.00 0 0
1789.71/1790.01 c twoopt : 0.00 0 0
1789.71/1790.01 c fixandinfer : 0.00 0 0
1789.71/1790.01 c feaspump : 0.00 0 0
1789.71/1790.01 c coefdiving : 0.00 0 0
1789.71/1790.01 c pscostdiving : 0.00 0 0
1789.71/1790.01 c fracdiving : 0.00 0 0
1789.71/1790.01 c veclendiving : 0.00 0 0
1789.71/1790.01 c intdiving : 0.00 0 0
1789.71/1790.01 c actconsdiving : 0.00 0 0
1789.71/1790.01 c objpscostdiving : 0.00 0 0
1789.71/1790.01 c rootsoldiving : 0.00 0 0
1789.71/1790.01 c linesearchdiving : 0.00 0 0
1789.71/1790.01 c guideddiving : 0.00 0 0
1789.71/1790.01 c octane : 0.00 0 0
1789.71/1790.01 c rens : 0.00 0 0
1789.71/1790.01 c rins : 0.00 0 0
1789.71/1790.01 c localbranching : 0.00 0 0
1789.71/1790.01 c mutation : 0.00 0 0
1789.71/1790.01 c crossover : 0.00 0 0
1789.71/1790.01 c dins : 0.00 0 0
1789.71/1790.01 c undercover : 0.00 0 0
1789.71/1790.01 c nlp : 0.00 0 0
1789.71/1790.01 c trysol : 0.00 0 0
1789.71/1790.01 c LP : Time Calls Iterations Iter/call Iter/sec
1789.71/1790.01 c primal LP : 0.00 0 0 0.00 -
1789.71/1790.01 c dual LP : 1592.99 286302 14979262 52.32 9403.26
1789.71/1790.01 c lex dual LP : 0.00 0 0 0.00 -
1789.71/1790.01 c barrier LP : 0.00 0 0 0.00 -
1789.71/1790.01 c diving/probing LP: 0.00 0 0 0.00 -
1789.71/1790.01 c strong branching : 106.73 10884 872677 80.18 8176.55
1789.71/1790.01 c (at root node) : - 10 7869 786.90 -
1789.71/1790.01 c conflict analysis: 0.00 0 0 0.00 -
1789.71/1790.01 c B&B Tree :
1789.71/1790.01 c number of runs : 1
1789.71/1790.01 c nodes : 366995
1789.71/1790.01 c nodes (total) : 366995
1789.71/1790.01 c nodes left : 108
1789.71/1790.01 c max depth : 58
1789.71/1790.01 c max depth (total): 58
1789.71/1790.01 c backtracks : 58781 (16.0%)
1789.71/1790.01 c delayed cutoffs : 3396
1789.71/1790.01 c repropagations : 51710 (271352 domain reductions, 3242 cutoffs)
1789.71/1790.01 c avg switch length: 2.83
1789.71/1790.01 c switching time : 14.42
1789.71/1790.01 c Solution :
1789.71/1790.01 c Solutions found : 0 (0 improvements)
1789.71/1790.01 c Primal Bound : -
1789.71/1790.01 c Dual Bound : +0.00000000000000e+00
1789.71/1790.01 c Gap : infinite
1789.71/1790.01 c Root Dual Bound : +0.00000000000000e+00
1789.71/1790.01 c Root Iterations : 3744
1789.71/1790.02 c Time complete: 1789.74.
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-3729024-1338678628/watcher-3729024-1338678628 -o /tmp/evaluation-result-3729024-1338678628/solver-3729024-1338678628 -C 1800 -W 1900 -M 15500 HOME/pbscip.linux.x86_64.gnu.opt.spx -f HOME/instance-3729024-1338678628.opb -t 1800 -m 15500
running on 4 cores: 0,2,4,6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 0.00 0.00 0.24 2/172 11745
/proc/meminfo: memFree=28126700/32873648 swapFree=6864/6864
[pid=11745] ppid=11743 vsize=9972 CPUtime=0 cores=0,2,4,6
/proc/11745/stat : 11745 (pbscip.linux.x8) R 11743 11745 11712 0 -1 4202496 1355 0 0 0 0 0 0 0 20 0 1 0 333989659 10211328 1578 33554432000 4194304 8395647 140735837165856 140735837097912 7382157 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/11745/statm: 2493 1588 374 1026 0 1463 0
[startup+0.0897541 s]
/proc/loadavg: 0.00 0.00 0.24 2/172 11745
/proc/meminfo: memFree=28126700/32873648 swapFree=6864/6864
[pid=11745] ppid=11743 vsize=19392 CPUtime=0.08 cores=0,2,4,6
/proc/11745/stat : 11745 (pbscip.linux.x8) R 11743 11745 11712 0 -1 4202496 4171 0 0 0 8 0 0 0 20 0 1 0 333989659 19857408 4020 33554432000 4194304 8395647 140735837165856 140735837097912 7428202 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/11745/statm: 4848 4020 599 1026 0 3818 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 19392
[startup+0.100199 s]
/proc/loadavg: 0.00 0.00 0.24 2/172 11745
/proc/meminfo: memFree=28126700/32873648 swapFree=6864/6864
[pid=11745] ppid=11743 vsize=19392 CPUtime=0.09 cores=0,2,4,6
/proc/11745/stat : 11745 (pbscip.linux.x8) R 11743 11745 11712 0 -1 4202496 4171 0 0 0 9 0 0 0 20 0 1 0 333989659 19857408 4020 33554432000 4194304 8395647 140735837165856 140735837097912 7428202 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/11745/statm: 4848 4020 599 1026 0 3818 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 19392
[startup+0.300201 s]
/proc/loadavg: 0.00 0.00 0.24 2/172 11745
/proc/meminfo: memFree=28126700/32873648 swapFree=6864/6864
[pid=11745] ppid=11743 vsize=37028 CPUtime=0.29 cores=0,2,4,6
/proc/11745/stat : 11745 (pbscip.linux.x8) R 11743 11745 11712 0 -1 4202496 8238 0 0 0 28 1 0 0 20 0 1 0 333989659 37916672 8087 33554432000 4194304 8395647 140735837165856 140735837160440 7428202 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/11745/statm: 9257 8087 620 1026 0 8227 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 37028
[startup+0.700237 s]
/proc/loadavg: 0.00 0.00 0.24 2/172 11745
/proc/meminfo: memFree=28126700/32873648 swapFree=6864/6864
[pid=11745] ppid=11743 vsize=37028 CPUtime=0.69 cores=0,2,4,6
/proc/11745/stat : 11745 (pbscip.linux.x8) R 11743 11745 11712 0 -1 4202496 8379 0 0 0 67 2 0 0 20 0 1 0 333989659 37916672 8222 33554432000 4194304 8395647 140735837165856 140735837159976 7428202 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/11745/statm: 9257 8222 629 1026 0 8227 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 37028
[startup+1.50022 s]
/proc/loadavg: 0.00 0.00 0.24 3/178 11760
/proc/meminfo: memFree=28067952/32873648 swapFree=6864/6864
[pid=11745] ppid=11743 vsize=37028 CPUtime=1.49 cores=0,2,4,6
/proc/11745/stat : 11745 (pbscip.linux.x8) R 11743 11745 11712 0 -1 4202496 8634 0 0 0 147 2 0 0 20 0 1 0 333989659 37916672 8477 33554432000 4194304 8395647 140735837165856 140735837161096 7428202 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/11745/statm: 9257 8477 629 1026 0 8227 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 37028
[startup+3.10022 s]
/proc/loadavg: 0.16 0.03 0.25 3/178 11760
/proc/meminfo: memFree=28060472/32873648 swapFree=6864/6864
[pid=11745] ppid=11743 vsize=42240 CPUtime=3.08 cores=0,2,4,6
/proc/11745/stat : 11745 (pbscip.linux.x8) R 11743 11745 11712 0 -1 4202496 9913 0 0 0 305 3 0 0 20 0 1 0 333989659 43253760 9756 33554432000 4194304 8395647 140735837165856 140735837160984 7428202 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/11745/statm: 10560 9756 629 1026 0 9530 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 42240
[startup+6.30022 s]
/proc/loadavg: 0.16 0.03 0.25 2/173 11784
/proc/meminfo: memFree=28087200/32873648 swapFree=6864/6864
[pid=11745] ppid=11743 vsize=42240 CPUtime=6.29 cores=0,2,4,6
/proc/11745/stat : 11745 (pbscip.linux.x8) R 11743 11745 11712 0 -1 4202496 9914 0 0 0 623 6 0 0 20 0 1 0 333989659 43253760 9757 33554432000 4194304 8395647 140735837165856 140735837160728 7428202 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/11745/statm: 10560 9757 630 1026 0 9530 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 42240
[startup+12.7002 s]
/proc/loadavg: 0.29 0.06 0.26 2/173 11784
/proc/meminfo: memFree=28085616/32873648 swapFree=6864/6864
[pid=11745] ppid=11743 vsize=42240 CPUtime=12.68 cores=0,2,4,6
/proc/11745/stat : 11745 (pbscip.linux.x8) R 11743 11745 11712 0 -1 4202496 9921 0 0 0 1258 10 0 0 20 0 1 0 333989659 43253760 10097 33554432000 4194304 8395647 140735837165856 140735837160728 7428202 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/11745/statm: 10560 10097 631 1026 0 9530 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 42240
[startup+25.5002 s]
/proc/loadavg: 0.48 0.11 0.27 3/178 11798
/proc/meminfo: memFree=28041200/32873648 swapFree=6864/6864
[pid=11745] ppid=11743 vsize=42240 CPUtime=25.48 cores=0,2,4,6
/proc/11745/stat : 11745 (pbscip.linux.x8) R 11743 11745 11712 0 -1 4202496 9925 0 0 0 2527 21 0 0 20 0 1 0 333989659 43253760 10097 33554432000 4194304 8395647 140735837165856 140735837160984 7428202 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/11745/statm: 10560 10097 631 1026 0 9530 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 42240
[startup+51.1002 s]
/proc/loadavg: 1.00 0.26 0.31 3/177 11798
/proc/meminfo: memFree=28040228/32873648 swapFree=6864/6864
[pid=11745] ppid=11743 vsize=42616 CPUtime=51.07 cores=0,2,4,6
/proc/11745/stat : 11745 (pbscip.linux.x8) R 11743 11745 11712 0 -1 4202496 9966 0 0 0 5064 43 0 0 20 0 1 0 333989659 43638784 10138 33554432000 4194304 8395647 140735837165856 140735837160984 7428202 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/11745/statm: 10654 10138 631 1026 0 9624 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 42616
[startup+102.306 s]
/proc/loadavg: 1.60 0.55 0.41 3/177 11798
/proc/meminfo: memFree=28039360/32873648 swapFree=6864/6864
[pid=11745] ppid=11743 vsize=42908 CPUtime=102.27 cores=0,2,4,6
/proc/11745/stat : 11745 (pbscip.linux.x8) R 11743 11745 11712 0 -1 4202496 10059 0 0 0 10133 94 0 0 20 0 1 0 333989659 43937792 10231 33554432000 4194304 8395647 140735837165856 140735837161320 7428202 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/11745/statm: 10727 10231 631 1026 0 9697 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 42908
[startup+162.3 s]
/proc/loadavg: 1.89 0.83 0.51 3/177 11798
/proc/meminfo: memFree=28038496/32873648 swapFree=6864/6864
[pid=11745] ppid=11743 vsize=43628 CPUtime=162.26 cores=0,2,4,6
/proc/11745/stat : 11745 (pbscip.linux.x8) R 11743 11745 11712 0 -1 4202496 10191 0 0 0 16073 153 0 0 20 0 1 0 333989659 44675072 10362 33554432000 4194304 8395647 140735837165856 140735837161416 7428202 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/11745/statm: 10907 10362 631 1026 0 9877 0
Current children cumulated CPU time (s) 162.26
Current children cumulated vsize (KiB) 43628
[startup+222.3 s]
/proc/loadavg: 2.01 1.05 0.60 3/177 11798
/proc/meminfo: memFree=28037876/32873648 swapFree=6864/6864
[pid=11745] ppid=11743 vsize=43628 CPUtime=222.25 cores=0,2,4,6
/proc/11745/stat : 11745 (pbscip.linux.x8) R 11743 11745 11712 0 -1 4202496 10220 0 0 0 22013 212 0 0 20 0 1 0 333989659 44675072 10390 33554432000 4194304 8395647 140735837165856 140735837160984 7428202 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/11745/statm: 10907 10390 631 1026 0 9877 0
Current children cumulated CPU time (s) 222.25
Current children cumulated vsize (KiB) 43628
[startup+282.3 s]
/proc/loadavg: 2.00 1.22 0.69 3/176 11798
/proc/meminfo: memFree=28037948/32873648 swapFree=6864/6864
[pid=11745] ppid=11743 vsize=43832 CPUtime=282.24 cores=0,2,4,6
/proc/11745/stat : 11745 (pbscip.linux.x8) R 11743 11745 11712 0 -1 4202496 10274 0 0 0 27953 271 0 0 20 0 1 0 333989659 44883968 10444 33554432000 4194304 8395647 140735837165856 140735837160984 7428202 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/11745/statm: 10958 10444 631 1026 0 9928 0
Current children cumulated CPU time (s) 282.24
Current children cumulated vsize (KiB) 43832
[startup+342.3 s]
/proc/loadavg: 2.00 1.36 0.77 3/177 11799
/proc/meminfo: memFree=28036952/32873648 swapFree=6864/6864
[pid=11745] ppid=11743 vsize=44424 CPUtime=342.23 cores=0,2,4,6
/proc/11745/stat : 11745 (pbscip.linux.x8) R 11743 11745 11712 0 -1 4202496 10461 0 0 0 33890 333 0 0 20 0 1 0 333989659 45490176 10631 33554432000 4194304 8395647 140735837165856 140735837160984 7428202 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/11745/statm: 11106 10631 631 1026 0 10076 0
Current children cumulated CPU time (s) 342.23
Current children cumulated vsize (KiB) 44424
[startup+402.3 s]
/proc/loadavg: 2.00 1.48 0.84 3/177 11799
/proc/meminfo: memFree=28036828/32873648 swapFree=6864/6864
[pid=11745] ppid=11743 vsize=44980 CPUtime=402.22 cores=0,2,4,6
/proc/11745/stat : 11745 (pbscip.linux.x8) R 11743 11745 11712 0 -1 4202496 10559 0 0 0 39830 392 0 0 20 0 1 0 333989659 46059520 10729 33554432000 4194304 8395647 140735837165856 140735837160728 7428202 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/11745/statm: 11245 10729 631 1026 0 10215 0
Current children cumulated CPU time (s) 402.22
Current children cumulated vsize (KiB) 44980
[startup+462.3 s]
/proc/loadavg: 2.00 1.57 0.91 3/177 11799
/proc/meminfo: memFree=28036336/32873648 swapFree=6864/6864
[pid=11745] ppid=11743 vsize=44980 CPUtime=462.21 cores=0,2,4,6
/proc/11745/stat : 11745 (pbscip.linux.x8) R 11743 11745 11712 0 -1 4202496 10560 0 0 0 45765 456 0 0 20 0 1 0 333989659 46059520 10730 33554432000 4194304 8395647 140735837165856 140735837160984 7428202 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/11745/statm: 11245 10730 631 1026 0 10215 0
Current children cumulated CPU time (s) 462.21
Current children cumulated vsize (KiB) 44980
[startup+522.3 s]
/proc/loadavg: 2.00 1.64 0.97 3/177 11799
/proc/meminfo: memFree=28036336/32873648 swapFree=6864/6864
[pid=11745] ppid=11743 vsize=44980 CPUtime=522.2 cores=0,2,4,6
/proc/11745/stat : 11745 (pbscip.linux.x8) R 11743 11745 11712 0 -1 4202496 10561 0 0 0 51705 515 0 0 20 0 1 0 333989659 46059520 10731 33554432000 4194304 8395647 140735837165856 140735837161320 7428202 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/11745/statm: 11245 10731 631 1026 0 10215 0
Current children cumulated CPU time (s) 522.2
Current children cumulated vsize (KiB) 44980
[startup+582.3 s]
/proc/loadavg: 2.00 1.71 1.04 3/177 11802
/proc/meminfo: memFree=28035064/32873648 swapFree=6864/6864
[pid=11745] ppid=11743 vsize=44980 CPUtime=582.2 cores=0,2,4,6
/proc/11745/stat : 11745 (pbscip.linux.x8) R 11743 11745 11712 0 -1 4202496 10577 0 0 0 57646 574 0 0 20 0 1 0 333989659 46059520 10747 33554432000 4194304 8395647 140735837165856 140735837161368 7428202 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/11745/statm: 11245 10747 631 1026 0 10215 0
Current children cumulated CPU time (s) 582.2
Current children cumulated vsize (KiB) 44980
[startup+642.3 s]
################
# More data... #
################
/proc/meminfo: memFree=28034496/32873648 swapFree=6864/6864
[pid=11745] ppid=11743 vsize=45888 CPUtime=1062.12 cores=0,2,4,6
/proc/11745/stat : 11745 (pbscip.linux.x8) R 11743 11745 11712 0 -1 4202496 10806 0 0 0 105156 1056 0 0 20 0 1 0 333989659 46989312 10975 33554432000 4194304 8395647 140735837165856 140735837161320 7428202 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/11745/statm: 11472 10975 631 1026 0 10442 0
Current children cumulated CPU time (s) 1062.12
Current children cumulated vsize (KiB) 45888
[startup+1122.3 s]
/proc/loadavg: 2.06 1.97 1.45 3/177 11804
/proc/meminfo: memFree=28034376/32873648 swapFree=6864/6864
[pid=11745] ppid=11743 vsize=45888 CPUtime=1122.11 cores=0,2,4,6
/proc/11745/stat : 11745 (pbscip.linux.x8) R 11743 11745 11712 0 -1 4202496 10806 0 0 0 111081 1130 0 0 20 0 1 0 333989659 46989312 10975 33554432000 4194304 8395647 140735837165856 140735837161320 7428202 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/11745/statm: 11472 10975 631 1026 0 10442 0
Current children cumulated CPU time (s) 1122.11
Current children cumulated vsize (KiB) 45888
[startup+1182.3 s]
/proc/loadavg: 2.02 1.97 1.48 3/178 11807
/proc/meminfo: memFree=28033872/32873648 swapFree=6864/6864
[pid=11745] ppid=11743 vsize=45888 CPUtime=1182.1 cores=0,2,4,6
/proc/11745/stat : 11745 (pbscip.linux.x8) R 11743 11745 11712 0 -1 4202496 10806 0 0 0 117011 1199 0 0 20 0 1 0 333989659 46989312 10975 33554432000 4194304 8395647 140735837165856 140735837161368 7428202 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/11745/statm: 11472 10975 631 1026 0 10442 0
Current children cumulated CPU time (s) 1182.1
Current children cumulated vsize (KiB) 45888
[startup+1242.3 s]
/proc/loadavg: 2.01 1.97 1.51 3/177 11808
/proc/meminfo: memFree=28034020/32873648 swapFree=6864/6864
[pid=11745] ppid=11743 vsize=45888 CPUtime=1242.1 cores=0,2,4,6
/proc/11745/stat : 11745 (pbscip.linux.x8) R 11743 11745 11712 0 -1 4202496 10806 0 0 0 122953 1257 0 0 20 0 1 0 333989659 46989312 10975 33554432000 4194304 8395647 140735837165856 140735837161368 7428202 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/11745/statm: 11472 10975 631 1026 0 10442 0
Current children cumulated CPU time (s) 1242.1
Current children cumulated vsize (KiB) 45888
[startup+1302.3 s]
/proc/loadavg: 2.00 1.97 1.54 3/177 11808
/proc/meminfo: memFree=28034144/32873648 swapFree=6864/6864
[pid=11745] ppid=11743 vsize=45888 CPUtime=1302.09 cores=0,2,4,6
/proc/11745/stat : 11745 (pbscip.linux.x8) R 11743 11745 11712 0 -1 4202496 10811 0 0 0 128891 1318 0 0 20 0 1 0 333989659 46989312 10980 33554432000 4194304 8395647 140735837165856 140735837160984 7428202 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/11745/statm: 11472 10980 631 1026 0 10442 0
Current children cumulated CPU time (s) 1302.09
Current children cumulated vsize (KiB) 45888
[startup+1362.3 s]
/proc/loadavg: 2.04 1.99 1.57 3/177 11808
/proc/meminfo: memFree=28034516/32873648 swapFree=6864/6864
[pid=11745] ppid=11743 vsize=45888 CPUtime=1362.07 cores=0,2,4,6
/proc/11745/stat : 11745 (pbscip.linux.x8) R 11743 11745 11712 0 -1 4202496 10827 0 0 0 134827 1380 0 0 20 0 1 0 333989659 46989312 10996 33554432000 4194304 8395647 140735837165856 140735837161368 7428202 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/11745/statm: 11472 10996 631 1026 0 10442 0
Current children cumulated CPU time (s) 1362.07
Current children cumulated vsize (KiB) 45888
[startup+1422.31 s]
/proc/loadavg: 2.06 2.00 1.60 3/177 11808
/proc/meminfo: memFree=28034144/32873648 swapFree=6864/6864
[pid=11745] ppid=11743 vsize=46360 CPUtime=1422.07 cores=0,2,4,6
/proc/11745/stat : 11745 (pbscip.linux.x8) R 11743 11745 11712 0 -1 4202496 10916 0 0 0 140768 1439 0 0 20 0 1 0 333989659 47472640 11085 33554432000 4194304 8395647 140735837165856 140735837160984 7428202 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/11745/statm: 11590 11085 631 1026 0 10560 0
Current children cumulated CPU time (s) 1422.07
Current children cumulated vsize (KiB) 46360
[startup+1482.3 s]
/proc/loadavg: 2.02 2.00 1.62 3/177 11808
/proc/meminfo: memFree=28034148/32873648 swapFree=6864/6864
[pid=11745] ppid=11743 vsize=46360 CPUtime=1482.05 cores=0,2,4,6
/proc/11745/stat : 11745 (pbscip.linux.x8) R 11743 11745 11712 0 -1 4202496 10916 0 0 0 146704 1501 0 0 20 0 1 0 333989659 47472640 11085 33554432000 4194304 8395647 140735837165856 140735837160984 7428202 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/11745/statm: 11590 11085 631 1026 0 10560 0
Current children cumulated CPU time (s) 1482.05
Current children cumulated vsize (KiB) 46360
[startup+1542.3 s]
/proc/loadavg: 2.05 2.01 1.65 3/177 11809
/proc/meminfo: memFree=28034276/32873648 swapFree=6864/6864
[pid=11745] ppid=11743 vsize=46360 CPUtime=1542.05 cores=0,2,4,6
/proc/11745/stat : 11745 (pbscip.linux.x8) R 11743 11745 11712 0 -1 4202496 10916 0 0 0 152647 1558 0 0 20 0 1 0 333989659 47472640 11085 33554432000 4194304 8395647 140735837165856 140735837160984 7428202 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/11745/statm: 11590 11085 631 1026 0 10560 0
Current children cumulated CPU time (s) 1542.05
Current children cumulated vsize (KiB) 46360
[startup+1602.3 s]
/proc/loadavg: 2.02 2.01 1.67 3/177 11809
/proc/meminfo: memFree=28034152/32873648 swapFree=6864/6864
[pid=11745] ppid=11743 vsize=46540 CPUtime=1602.04 cores=0,2,4,6
/proc/11745/stat : 11745 (pbscip.linux.x8) R 11743 11745 11712 0 -1 4202496 10965 0 0 0 158591 1613 0 0 20 0 1 0 333989659 47656960 11134 33554432000 4194304 8395647 140735837165856 140735837160712 7428202 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/11745/statm: 11635 11134 631 1026 0 10605 0
Current children cumulated CPU time (s) 1602.04
Current children cumulated vsize (KiB) 46540
[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 1.68 3/177 11809
/proc/meminfo: memFree=28033780/32873648 swapFree=6864/6864
[pid=11745] ppid=11743 vsize=47052 CPUtime=1662.03 cores=0,2,4,6
/proc/11745/stat : 11745 (pbscip.linux.x8) R 11743 11745 11712 0 -1 4202496 11078 0 0 0 164532 1671 0 0 20 0 1 0 333989659 48181248 11247 33554432000 4194304 8395647 140735837165856 140735837160984 7428202 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/11745/statm: 11763 11247 631 1026 0 10733 0
Current children cumulated CPU time (s) 1662.03
Current children cumulated vsize (KiB) 47052
[startup+1722.3 s]
/proc/loadavg: 2.06 2.02 1.71 3/177 11809
/proc/meminfo: memFree=28033284/32873648 swapFree=6864/6864
[pid=11745] ppid=11743 vsize=47052 CPUtime=1722.02 cores=0,2,4,6
/proc/11745/stat : 11745 (pbscip.linux.x8) R 11743 11745 11712 0 -1 4202496 11091 0 0 0 170478 1724 0 0 20 0 1 0 333989659 48181248 11260 33554432000 4194304 8395647 140735837165856 140735837161416 7428202 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/11745/statm: 11763 11260 631 1026 0 10733 0
Current children cumulated CPU time (s) 1722.02
Current children cumulated vsize (KiB) 47052
[startup+1782.3 s]
/proc/loadavg: 2.02 2.01 1.72 3/178 11812
/proc/meminfo: memFree=28032744/32873648 swapFree=6864/6864
[pid=11745] ppid=11743 vsize=47052 CPUtime=1782.01 cores=0,2,4,6
/proc/11745/stat : 11745 (pbscip.linux.x8) R 11743 11745 11712 0 -1 4202496 11091 0 0 0 176419 1782 0 0 20 0 1 0 333989659 48181248 11260 33554432000 4194304 8395647 140735837165856 140735837161320 7428202 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/11745/statm: 11763 11260 631 1026 0 10733 0
Current children cumulated CPU time (s) 1782.01
Current children cumulated vsize (KiB) 47052
Solver just ended. Dumping a history of the last processes samples
[startup+1785.5 s]
/proc/loadavg: 2.02 2.01 1.72 3/178 11812
/proc/meminfo: memFree=28032968/32873648 swapFree=6864/6864
[pid=11745] ppid=11743 vsize=47052 CPUtime=1785.21 cores=0,2,4,6
/proc/11745/stat : 11745 (pbscip.linux.x8) R 11743 11745 11712 0 -1 4202496 11091 0 0 0 176736 1785 0 0 20 0 1 0 333989659 48181248 11260 33554432000 4194304 8395647 140735837165856 140735837160984 7428202 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/11745/statm: 11763 11260 631 1026 0 10733 0
Current children cumulated CPU time (s) 1785.21
Current children cumulated vsize (KiB) 47052
[startup+1787.1 s]
/proc/loadavg: 2.02 2.01 1.72 3/178 11812
/proc/meminfo: memFree=28033160/32873648 swapFree=6864/6864
[pid=11745] ppid=11743 vsize=47052 CPUtime=1786.81 cores=0,2,4,6
/proc/11745/stat : 11745 (pbscip.linux.x8) R 11743 11745 11712 0 -1 4202496 11091 0 0 0 176895 1786 0 0 20 0 1 0 333989659 48181248 11260 33554432000 4194304 8395647 140735837165856 140735837160984 7428202 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/11745/statm: 11763 11260 631 1026 0 10733 0
Current children cumulated CPU time (s) 1786.81
Current children cumulated vsize (KiB) 47052
[startup+1788.7 s]
/proc/loadavg: 2.02 2.01 1.73 3/178 11812
/proc/meminfo: memFree=28033168/32873648 swapFree=6864/6864
[pid=11745] ppid=11743 vsize=47052 CPUtime=1788.4 cores=0,2,4,6
/proc/11745/stat : 11745 (pbscip.linux.x8) R 11743 11745 11712 0 -1 4202496 11091 0 0 0 177053 1787 0 0 20 0 1 0 333989659 48181248 11260 33554432000 4194304 8395647 140735837165856 140735837161368 7428202 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/11745/statm: 11763 11260 631 1026 0 10733 0
Current children cumulated CPU time (s) 1788.4
Current children cumulated vsize (KiB) 47052
[startup+1789.5 s]
/proc/loadavg: 2.02 2.01 1.73 3/178 11812
/proc/meminfo: memFree=28033168/32873648 swapFree=6864/6864
[pid=11745] ppid=11743 vsize=47052 CPUtime=1789.21 cores=0,2,4,6
/proc/11745/stat : 11745 (pbscip.linux.x8) R 11743 11745 11712 0 -1 4202496 11091 0 0 0 177133 1788 0 0 20 0 1 0 333989659 48181248 11260 33554432000 4194304 8395647 140735837165856 140735837160984 7428202 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/11745/statm: 11763 11260 631 1026 0 10733 0
Current children cumulated CPU time (s) 1789.21
Current children cumulated vsize (KiB) 47052
[startup+1789.9 s]
/proc/loadavg: 2.02 2.01 1.73 3/178 11812
/proc/meminfo: memFree=28032796/32873648 swapFree=6864/6864
[pid=11745] ppid=11743 vsize=47052 CPUtime=1789.61 cores=0,2,4,6
/proc/11745/stat : 11745 (pbscip.linux.x8) R 11743 11745 11712 0 -1 4202496 11091 0 0 0 177173 1788 0 0 20 0 1 0 333989659 48181248 11260 33554432000 4194304 8395647 140735837165856 140735837160984 7428202 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/11745/statm: 11763 11260 631 1026 0 10733 0
Current children cumulated CPU time (s) 1789.61
Current children cumulated vsize (KiB) 47052
[startup+1790 s]
/proc/loadavg: 2.02 2.01 1.73 3/178 11812
/proc/meminfo: memFree=28032796/32873648 swapFree=6864/6864
[pid=11745] ppid=11743 vsize=47052 CPUtime=1789.71 cores=0,2,4,6
/proc/11745/stat : 11745 (pbscip.linux.x8) R 11743 11745 11712 0 -1 4202496 11091 0 0 0 177183 1788 0 0 20 0 1 0 333989659 48181248 11260 33554432000 4194304 8395647 140735837165856 140735837160984 7428202 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/11745/statm: 11763 11260 631 1026 0 10733 0
Current children cumulated CPU time (s) 1789.71
Current children cumulated vsize (KiB) 47052
Child status: 0
Real time (s): 1790.03
CPU time (s): 1789.75
CPU user time (s): 1771.86
CPU system time (s): 17.8883
CPU usage (%): 99.9843
Max. virtual memory (cumulated for all children) (KiB): 47052
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1771.86
system time used= 17.8883
maximum resident set size= 45052
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 11097
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= 16
involuntary context switches= 1890
runsolver used 2.6536 second user time and 7.11792 second system time
The end