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-3729531-1338678757.opb>
0.00/0.02 c original problem has 231 variables (231 bin, 0 int, 0 impl, 0 cont) and 2707 constraints
0.00/0.02 c problem read
0.00/0.02 c No objective function, only one solution is needed.
0.00/0.02 c presolving settings loaded
0.00/0.03 c presolving:
0.00/0.04 c (round 1) 0 del vars, 143 del conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 2542 upgd conss, 242 impls, 22 clqs
0.00/0.05 c (round 2) 0 del vars, 143 del conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 2564 upgd conss, 242 impls, 22 clqs
0.00/0.05 c (round 3) 0 del vars, 264 del conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 2564 upgd conss, 242 impls, 22 clqs
0.00/0.05 c presolving (4 rounds):
0.00/0.05 c 0 deleted vars, 264 deleted constraints, 0 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
0.00/0.05 c 242 implications, 22 cliques
0.00/0.05 c presolved problem has 231 variables (231 bin, 0 int, 0 impl, 0 cont) and 2443 constraints
0.00/0.05 c 1 constraints of type <knapsack>
0.00/0.05 c 22 constraints of type <setppc>
0.00/0.05 c 2420 constraints of type <logicor>
0.00/0.05 c transformed objective value is always integral (scale: 1)
0.00/0.05 c Presolving Time: 0.03
0.00/0.05 c - non default parameters ----------------------------------------------------------------------
0.00/0.05 c # SCIP version 1.2.1.3
0.00/0.05 c
0.00/0.05 c # frequency for displaying node information lines
0.00/0.05 c # [type: int, range: [-1,2147483647], default: 100]
0.00/0.05 c display/freq = 10000
0.00/0.05 c
0.00/0.05 c # maximal time in seconds to run
0.00/0.05 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.00/0.05 c limits/time = 1789.98
0.00/0.05 c
0.00/0.05 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.00/0.05 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.00/0.05 c limits/memory = 13950
0.00/0.05 c
0.00/0.05 c # solving stops, if the given number of solutions were found (-1: no limit)
0.00/0.05 c # [type: int, range: [-1,2147483647], default: -1]
0.00/0.05 c limits/solutions = 1
0.00/0.05 c
0.00/0.05 c # maximal number of separation rounds per node (-1: unlimited)
0.00/0.05 c # [type: int, range: [-1,2147483647], default: 5]
0.00/0.05 c separating/maxrounds = 1
0.00/0.05 c
0.00/0.05 c # maximal number of separation rounds in the root node (-1: unlimited)
0.00/0.05 c # [type: int, range: [-1,2147483647], default: -1]
0.00/0.05 c separating/maxroundsroot = 5
0.00/0.05 c
0.00/0.05 c # default clock type (1: CPU user seconds, 2: wall clock time)
0.00/0.05 c # [type: int, range: [1,2], default: 1]
0.00/0.05 c timing/clocktype = 2
0.00/0.05 c
0.00/0.05 c # should presolving try to simplify inequalities
0.00/0.05 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.00/0.05 c constraints/linear/simplifyinequalities = TRUE
0.00/0.05 c
0.00/0.05 c # add initial coupling inequalities as linear constraints, if 'addCoupling' is true
0.00/0.05 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.00/0.05 c constraints/indicator/addCouplingCons = TRUE
0.00/0.05 c
0.00/0.05 c # should disaggregation of knapsack constraints be allowed in preprocessing?
0.00/0.05 c # [type: bool, range: {TRUE,FALSE}, default: TRUE]
0.00/0.05 c constraints/knapsack/disaggregation = FALSE
0.00/0.05 c
0.00/0.05 c # should presolving try to simplify knapsacks
0.00/0.05 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.00/0.05 c constraints/knapsack/simplifyinequalities = TRUE
0.00/0.05 c
0.00/0.05 c # maximal number of presolving rounds the presolver participates in (-1: no limit)
0.00/0.05 c # [type: int, range: [-1,2147483647], default: -1]
0.00/0.05 c presolving/probing/maxrounds = 0
0.00/0.05 c
0.00/0.05 c # frequency for calling primal heuristic <coefdiving> (-1: never, 0: only at depth freqofs)
0.00/0.05 c # [type: int, range: [-1,2147483647], default: 10]
0.00/0.05 c heuristics/coefdiving/freq = -1
0.00/0.05 c
0.00/0.05 c # maximal fraction of diving LP iterations compared to node LP iterations
0.00/0.05 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
0.00/0.05 c heuristics/coefdiving/maxlpiterquot = 0.075
0.00/0.05 c
0.00/0.05 c # additional number of allowed LP iterations
0.00/0.05 c # [type: int, range: [0,2147483647], default: 1000]
0.00/0.05 c heuristics/coefdiving/maxlpiterofs = 1500
0.00/0.05 c
0.00/0.05 c # frequency for calling primal heuristic <crossover> (-1: never, 0: only at depth freqofs)
0.00/0.05 c # [type: int, range: [-1,2147483647], default: 30]
0.00/0.05 c heuristics/crossover/freq = -1
0.00/0.05 c
0.00/0.05 c # number of nodes added to the contingent of the total nodes
0.00/0.05 c # [type: longint, range: [0,9223372036854775807], default: 500]
0.00/0.05 c heuristics/crossover/nodesofs = 750
0.00/0.05 c
0.00/0.05 c # number of nodes without incumbent change that heuristic should wait
0.00/0.05 c # [type: longint, range: [0,9223372036854775807], default: 200]
0.00/0.05 c heuristics/crossover/nwaitingnodes = 100
0.00/0.05 c
0.00/0.05 c # contingent of sub problem nodes in relation to the number of nodes of the original problem
0.00/0.05 c # [type: real, range: [0,1], default: 0.1]
0.00/0.05 c heuristics/crossover/nodesquot = 0.15
0.00/0.05 c
0.00/0.05 c # minimum percentage of integer variables that have to be fixed
0.00/0.05 c # [type: real, range: [0,1], default: 0.666]
0.00/0.05 c heuristics/crossover/minfixingrate = 0.5
0.00/0.05 c
0.00/0.05 c # frequency for calling primal heuristic <feaspump> (-1: never, 0: only at depth freqofs)
0.00/0.05 c # [type: int, range: [-1,2147483647], default: 20]
0.00/0.05 c heuristics/feaspump/freq = -1
0.00/0.05 c
0.00/0.05 c # additional number of allowed LP iterations
0.00/0.05 c # [type: int, range: [0,2147483647], default: 1000]
0.00/0.05 c heuristics/feaspump/maxlpiterofs = 2000
0.00/0.05 c
0.00/0.05 c # frequency for calling primal heuristic <fracdiving> (-1: never, 0: only at depth freqofs)
0.00/0.05 c # [type: int, range: [-1,2147483647], default: 10]
0.00/0.05 c heuristics/fracdiving/freq = -1
0.00/0.05 c
0.00/0.05 c # maximal fraction of diving LP iterations compared to node LP iterations
0.00/0.05 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
0.00/0.05 c heuristics/fracdiving/maxlpiterquot = 0.075
0.00/0.05 c
0.00/0.05 c # additional number of allowed LP iterations
0.00/0.05 c # [type: int, range: [0,2147483647], default: 1000]
0.00/0.05 c heuristics/fracdiving/maxlpiterofs = 1500
0.00/0.05 c
0.00/0.05 c # frequency for calling primal heuristic <guideddiving> (-1: never, 0: only at depth freqofs)
0.00/0.05 c # [type: int, range: [-1,2147483647], default: 10]
0.00/0.05 c heuristics/guideddiving/freq = -1
0.00/0.05 c
0.00/0.05 c # maximal fraction of diving LP iterations compared to node LP iterations
0.00/0.05 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
0.00/0.05 c heuristics/guideddiving/maxlpiterquot = 0.075
0.00/0.05 c
0.00/0.05 c # additional number of allowed LP iterations
0.00/0.05 c # [type: int, range: [0,2147483647], default: 1000]
0.00/0.05 c heuristics/guideddiving/maxlpiterofs = 1500
0.00/0.05 c
0.00/0.05 c # maximal fraction of diving LP iterations compared to node LP iterations
0.00/0.05 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
0.00/0.05 c heuristics/intdiving/maxlpiterquot = 0.075
0.00/0.05 c
0.00/0.05 c # frequency for calling primal heuristic <intshifting> (-1: never, 0: only at depth freqofs)
0.00/0.05 c # [type: int, range: [-1,2147483647], default: 10]
0.00/0.05 c heuristics/intshifting/freq = -1
0.00/0.05 c
0.00/0.05 c # frequency for calling primal heuristic <linesearchdiving> (-1: never, 0: only at depth freqofs)
0.00/0.05 c # [type: int, range: [-1,2147483647], default: 10]
0.00/0.05 c heuristics/linesearchdiving/freq = -1
0.00/0.05 c
0.00/0.05 c # maximal fraction of diving LP iterations compared to node LP iterations
0.00/0.05 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
0.00/0.05 c heuristics/linesearchdiving/maxlpiterquot = 0.075
0.00/0.05 c
0.00/0.05 c # additional number of allowed LP iterations
0.00/0.05 c # [type: int, range: [0,2147483647], default: 1000]
0.00/0.05 c heuristics/linesearchdiving/maxlpiterofs = 1500
0.00/0.05 c
0.00/0.05 c # frequency for calling primal heuristic <nlp> (-1: never, 0: only at depth freqofs)
0.00/0.05 c # [type: int, range: [-1,2147483647], default: 1]
0.00/0.05 c heuristics/nlp/freq = -1
0.00/0.05 c
0.00/0.05 c # frequency for calling primal heuristic <objpscostdiving> (-1: never, 0: only at depth freqofs)
0.00/0.05 c # [type: int, range: [-1,2147483647], default: 20]
0.00/0.05 c heuristics/objpscostdiving/freq = -1
0.00/0.05 c
0.00/0.05 c # maximal fraction of diving LP iterations compared to total iteration number
0.00/0.05 c # [type: real, range: [0,1], default: 0.01]
0.00/0.05 c heuristics/objpscostdiving/maxlpiterquot = 0.015
0.00/0.05 c
0.00/0.05 c # additional number of allowed LP iterations
0.00/0.05 c # [type: int, range: [0,2147483647], default: 1000]
0.00/0.05 c heuristics/objpscostdiving/maxlpiterofs = 1500
0.00/0.05 c
0.00/0.05 c # frequency for calling primal heuristic <oneopt> (-1: never, 0: only at depth freqofs)
0.00/0.05 c # [type: int, range: [-1,2147483647], default: 1]
0.00/0.05 c heuristics/oneopt/freq = -1
0.00/0.05 c
0.00/0.05 c # frequency for calling primal heuristic <pscostdiving> (-1: never, 0: only at depth freqofs)
0.00/0.05 c # [type: int, range: [-1,2147483647], default: 10]
0.00/0.05 c heuristics/pscostdiving/freq = -1
0.00/0.05 c
0.00/0.05 c # maximal fraction of diving LP iterations compared to node LP iterations
0.00/0.05 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
0.00/0.05 c heuristics/pscostdiving/maxlpiterquot = 0.075
0.00/0.05 c
0.00/0.05 c # additional number of allowed LP iterations
0.00/0.05 c # [type: int, range: [0,2147483647], default: 1000]
0.00/0.05 c heuristics/pscostdiving/maxlpiterofs = 1500
0.00/0.05 c
0.00/0.05 c # frequency for calling primal heuristic <rens> (-1: never, 0: only at depth freqofs)
0.00/0.05 c # [type: int, range: [-1,2147483647], default: 0]
0.00/0.05 c heuristics/rens/freq = -1
0.00/0.05 c
0.00/0.05 c # minimum percentage of integer variables that have to be fixable
0.00/0.05 c # [type: real, range: [0,1], default: 0.5]
0.00/0.05 c heuristics/rens/minfixingrate = 0.3
0.00/0.05 c
0.00/0.05 c # number of nodes added to the contingent of the total nodes
0.00/0.05 c # [type: longint, range: [0,9223372036854775807], default: 500]
0.00/0.05 c heuristics/rens/nodesofs = 2000
0.00/0.05 c
0.00/0.05 c # frequency for calling primal heuristic <rootsoldiving> (-1: never, 0: only at depth freqofs)
0.00/0.05 c # [type: int, range: [-1,2147483647], default: 20]
0.00/0.05 c heuristics/rootsoldiving/freq = -1
0.00/0.05 c
0.00/0.05 c # maximal fraction of diving LP iterations compared to node LP iterations
0.00/0.05 c # [type: real, range: [0,1.79769313486232e+308], default: 0.01]
0.00/0.05 c heuristics/rootsoldiving/maxlpiterquot = 0.015
0.00/0.05 c
0.00/0.05 c # additional number of allowed LP iterations
0.00/0.05 c # [type: int, range: [0,2147483647], default: 1000]
0.00/0.05 c heuristics/rootsoldiving/maxlpiterofs = 1500
0.00/0.05 c
0.00/0.05 c # frequency for calling primal heuristic <rounding> (-1: never, 0: only at depth freqofs)
0.00/0.05 c # [type: int, range: [-1,2147483647], default: 1]
0.00/0.05 c heuristics/rounding/freq = -1
0.00/0.05 c
0.00/0.05 c # frequency for calling primal heuristic <shifting> (-1: never, 0: only at depth freqofs)
0.00/0.05 c # [type: int, range: [-1,2147483647], default: 10]
0.00/0.05 c heuristics/shifting/freq = -1
0.00/0.05 c
0.00/0.05 c # frequency for calling primal heuristic <simplerounding> (-1: never, 0: only at depth freqofs)
0.00/0.05 c # [type: int, range: [-1,2147483647], default: 1]
0.00/0.05 c heuristics/simplerounding/freq = -1
0.00/0.05 c
0.00/0.05 c # frequency for calling primal heuristic <trivial> (-1: never, 0: only at depth freqofs)
0.00/0.05 c # [type: int, range: [-1,2147483647], default: 0]
0.00/0.05 c heuristics/trivial/freq = -1
0.00/0.05 c
0.00/0.05 c # frequency for calling primal heuristic <trysol> (-1: never, 0: only at depth freqofs)
0.00/0.05 c # [type: int, range: [-1,2147483647], default: 1]
0.00/0.05 c heuristics/trysol/freq = -1
0.00/0.05 c
0.00/0.05 c # frequency for calling primal heuristic <veclendiving> (-1: never, 0: only at depth freqofs)
0.00/0.05 c # [type: int, range: [-1,2147483647], default: 10]
0.00/0.05 c heuristics/veclendiving/freq = -1
0.00/0.05 c
0.00/0.05 c # maximal fraction of diving LP iterations compared to node LP iterations
0.00/0.05 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
0.00/0.05 c heuristics/veclendiving/maxlpiterquot = 0.075
0.00/0.05 c
0.00/0.05 c # additional number of allowed LP iterations
0.00/0.05 c # [type: int, range: [0,2147483647], default: 1000]
0.00/0.05 c heuristics/veclendiving/maxlpiterofs = 1500
0.00/0.05 c
0.00/0.05 c # frequency for calling primal heuristic <zirounding> (-1: never, 0: only at depth freqofs)
0.00/0.05 c # [type: int, range: [-1,2147483647], default: 1]
0.00/0.05 c heuristics/zirounding/freq = -1
0.00/0.05 c
0.00/0.05 c # frequency for calling separator <cmir> (-1: never, 0: only in root node)
0.00/0.05 c # [type: int, range: [-1,2147483647], default: 0]
0.00/0.05 c separating/cmir/freq = -1
0.00/0.05 c
0.00/0.05 c # frequency for calling separator <flowcover> (-1: never, 0: only in root node)
0.00/0.05 c # [type: int, range: [-1,2147483647], default: 0]
0.00/0.05 c separating/flowcover/freq = -1
0.00/0.05 c
0.00/0.05 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
0.00/0.05 c # [type: int, range: [-1,2147483647], default: -1]
0.00/0.05 c separating/rapidlearning/freq = 0
0.00/0.05 c
0.00/0.05 c -----------------------------------------------------------------------------------------------
0.00/0.05 c start solving
0.00/0.05 c
0.00/0.06 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.06 c 0.0s| 1 | 0 | 76 | - |3488k| 0 | 36 | 231 |2443 | 231 |2443 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
0.19/0.22 c 0.2s| 1 | 0 | 104 | - |3913k| 0 | 45 | 231 |2606 | 231 |2454 | 11 | 0 | 0 | 0.000000e+00 | -- | Inf
0.28/0.32 c 0.3s| 1 | 0 | 129 | - |4262k| 0 | 50 | 231 |2606 | 231 |2456 | 13 | 0 | 0 | 0.000000e+00 | -- | Inf
0.39/0.43 c 0.4s| 1 | 0 | 166 | - |4638k| 0 | 55 | 231 |2606 | 231 |2459 | 16 | 0 | 0 | 0.000000e+00 | -- | Inf
0.59/0.60 c 0.6s| 1 | 0 | 189 | - |4949k| 0 | 51 | 231 |2606 | 231 |2462 | 19 | 0 | 0 | 0.000000e+00 | -- | Inf
0.69/0.76 c 0.7s| 1 | 0 | 204 | - |4970k| 0 | 56 | 231 |2606 | 231 |2463 | 20 | 0 | 0 | 0.000000e+00 | -- | Inf
0.99/1.08 c 1.1s| 1 | 2 | 204 | - |4970k| 0 | 56 | 231 |2606 | 231 |2463 | 20 | 0 | 10 | 0.000000e+00 | -- | Inf
54.88/54.96 c 54.9s| 10000 | 150 |227835 | 22.8 |6840k| 42 | 32 | 231 |5367 | 231 |2452 | 20 |5839 |2107 | 0.000000e+00 | -- | Inf
90.86/90.97 c 91.0s| 20000 | 173 |448460 | 22.4 |7185k| 50 | 36 | 231 |5577 | 231 |2452 | 20 | 11k|2259 | 0.000000e+00 | -- | Inf
131.65/131.78 c 132s| 30000 | 178 |688798 | 23.0 |7676k| 50 | - | 231 |6666 | 231 |2452 | 20 | 17k|2737 | 0.000000e+00 | -- | Inf
171.74/171.83 c 172s| 40000 | 199 |919154 | 23.0 |7578k| 55 | 35 | 231 |5510 | 231 |2452 | 20 | 23k|3318 | 0.000000e+00 | -- | Inf
211.54/211.68 c 212s| 50000 | 188 | 1159k| 23.2 |8146k| 62 | 37 | 231 |6948 | 231 |2452 | 20 | 28k|3682 | 0.000000e+00 | -- | Inf
251.63/251.77 c 252s| 60000 | 263 | 1396k| 23.3 |8445k| 62 | - | 231 |6750 | 0 | 0 | 20 | 34k|4090 | 0.000000e+00 | -- | Inf
290.43/290.58 c 291s| 70000 | 285 | 1629k| 23.3 |8881k| 62 | - | 231 |7436 | 231 |2452 | 20 | 40k|4442 | 0.000000e+00 | -- | Inf
329.52/329.64 c 330s| 80000 | 303 | 1865k| 23.3 |8541k| 62 | 37 | 231 |6101 | 231 |2452 | 20 | 46k|4758 | 0.000000e+00 | -- | Inf
368.01/368.15 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
368.01/368.15 c 368s| 90000 | 399 | 2099k| 23.3 |9621k| 62 | - | 231 |8175 | 231 |2452 | 20 | 51k|5065 | 0.000000e+00 | -- | Inf
406.61/406.77 c 407s|100000 | 507 | 2332k| 23.3 |9874k| 62 | 16 | 231 |7789 | 231 |2452 | 20 | 57k|5367 | 0.000000e+00 | -- | Inf
446.00/446.11 c 446s|110000 | 474 | 2570k| 23.4 |9649k| 62 | - | 231 |7038 | 231 |2452 | 20 | 62k|5649 | 0.000000e+00 | -- | Inf
484.39/484.56 c 485s|120000 | 463 | 2806k| 23.4 |9540k| 62 | - | 231 |6714 | 231 |2452 | 20 | 67k|5851 | 0.000000e+00 | -- | Inf
525.19/525.33 c 525s|130000 | 454 | 3052k| 23.5 |9838k| 62 | - | 231 |7442 | 231 |2452 | 20 | 73k|6164 | 0.000000e+00 | -- | Inf
564.09/564.22 c 564s|140000 | 473 | 3293k| 23.5 |9770k| 62 | 38 | 231 |6979 | 231 |2452 | 20 | 79k|6354 | 0.000000e+00 | -- | Inf
608.67/608.81 c 609s|150000 | 461 | 3567k| 23.8 |9542k| 62 | 24 | 231 |6419 | 231 |2452 | 20 | 84k|6635 | 0.000000e+00 | -- | Inf
648.88/649.06 c 649s|160000 | 499 | 3819k| 23.9 |9767k| 63 | 41 | 231 |6702 | 231 |2452 | 20 | 89k|6801 | 0.000000e+00 | -- | Inf
689.26/689.49 c 689s|170000 | 481 | 4065k| 23.9 | 10M| 65 | - | 231 |8146 | 231 |2452 | 20 | 94k|7079 | 0.000000e+00 | -- | Inf
731.05/731.23 c 731s|180000 | 433 | 4323k| 24.0 |9732k| 66 | - | 231 |6706 | 231 |2452 | 20 | 100k|7275 | 0.000000e+00 | -- | Inf
770.55/770.72 c 771s|190000 | 409 | 4568k| 24.0 |9614k| 66 | 24 | 231 |6424 | 231 |2452 | 20 | 105k|7438 | 0.000000e+00 | -- | Inf
811.65/811.85 c 812s|200000 | 351 | 4821k| 24.1 |9723k| 66 | - | 231 |7146 | 231 |2452 | 20 | 111k|7692 | 0.000000e+00 | -- | Inf
851.94/852.18 c 852s|210000 | 306 | 5068k| 24.1 |9529k| 66 | 42 | 231 |6953 | 231 |2452 | 20 | 117k|7902 | 0.000000e+00 | -- | Inf
892.83/893.04 c 893s|220000 | 272 | 5324k| 24.2 |9624k| 66 | 15 | 231 |7351 | 231 |2452 | 20 | 123k|8048 | 0.000000e+00 | -- | Inf
933.43/933.64 c 934s|230000 | 216 | 5577k| 24.2 | 10M| 66 | 39 | 231 |9599 | 231 |2452 | 20 | 128k|8226 | 0.000000e+00 | -- | Inf
978.83/979.03 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
978.83/979.03 c 979s|240000 | 164 | 5858k| 24.4 |9749k| 66 | - | 231 |8521 | 231 |2452 | 20 | 133k|8441 | 0.000000e+00 | -- | Inf
1020.22/1020.47 c 1020s|250000 | 60 | 6113k| 24.5 |9177k| 66 | 39 | 231 |8370 | 231 |2452 | 20 | 139k|8637 | 0.000000e+00 | -- | Inf
1061.51/1061.70 c 1062s|260000 | 26 | 6366k| 24.5 |8810k| 66 | 29 | 231 |8811 | 231 |2452 | 20 | 144k|8825 | 0.000000e+00 | -- | Inf
1099.71/1099.96 c 1100s|270000 | 53 | 6600k| 24.4 | 10M| 66 | 27 | 231 | 11k| 231 |2452 | 20 | 150k|8996 | 0.000000e+00 | -- | Inf
1140.69/1140.96 c 1141s|280000 | 7 | 6851k| 24.5 |9132k| 66 | - | 231 |9045 | 231 |2452 | 20 | 156k|9177 | 0.000000e+00 | -- | Inf
1178.29/1178.56 c 1179s|290000 | 15 | 7082k| 24.4 | 10M| 66 | - | 231 | 12k| 231 |2452 | 20 | 162k|9331 | 0.000000e+00 | -- | Inf
1216.19/1216.47 c 1216s|300000 | 14 | 7314k| 24.4 | 11M| 66 | 38 | 231 | 16k| 231 |2452 | 20 | 168k|9500 | 0.000000e+00 | -- | Inf
1231.98/1232.24 c
1231.98/1232.24 c SCIP Status : problem is solved [infeasible]
1231.98/1232.24 c Solving Time (sec) : 1232.22
1231.98/1232.24 c Solving Nodes : 303847
1231.98/1232.24 c Primal Bound : +1.00000000000000e+20 (0 solutions)
1231.98/1232.24 c Dual Bound : +1.00000000000000e+20
1231.98/1232.24 c Gap : 0.00 %
1231.98/1232.24 s UNSATISFIABLE
1231.98/1232.24 c SCIP Status : problem is solved [infeasible]
1231.98/1232.24 c Solving Time : 1232.22
1231.98/1232.24 c Original Problem :
1231.98/1232.24 c Problem name : HOME/instance-3729531-1338678757.opb
1231.98/1232.24 c Variables : 231 (231 binary, 0 integer, 0 implicit integer, 0 continuous)
1231.98/1232.24 c Constraints : 2707 initial, 2707 maximal
1231.98/1232.24 c Presolved Problem :
1231.98/1232.24 c Problem name : t_HOME/instance-3729531-1338678757.opb
1231.98/1232.24 c Variables : 231 (231 binary, 0 integer, 0 implicit integer, 0 continuous)
1231.98/1232.24 c Constraints : 2443 initial, 16905 maximal
1231.98/1232.24 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs
1231.98/1232.24 c trivial : 0.00 0 0 0 0 0 0 0 0
1231.98/1232.24 c dualfix : 0.00 0 0 0 0 0 0 0 0
1231.98/1232.24 c boundshift : 0.00 0 0 0 0 0 0 0 0
1231.98/1232.24 c inttobinary : 0.00 0 0 0 0 0 0 0 0
1231.98/1232.24 c implics : 0.00 0 0 0 0 0 0 0 0
1231.98/1232.24 c probing : 0.00 0 0 0 0 0 0 0 0
1231.98/1232.24 c knapsack : 0.00 0 0 0 0 0 0 0 0
1231.98/1232.24 c setppc : 0.00 0 0 0 0 0 121 0 0
1231.98/1232.24 c linear : 0.01 0 0 0 0 0 143 0 0
1231.98/1232.24 c logicor : 0.01 0 0 0 0 0 0 0 0
1231.98/1232.24 c root node : - 1 - - 1 - - - -
1231.98/1232.24 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children
1231.98/1232.24 c integral : 0 0 0 155514 0 383 3662 0 0 305884
1231.98/1232.24 c knapsack : 1 5 1112313 0 0 2744 544403 0 0 0
1231.98/1232.24 c setppc : 22 5 1110355 0 0 7111 1550588 0 0 0
1231.98/1232.24 c linear : 0+ 5 207714 0 0 5 3980 0 0 0
1231.98/1232.24 c logicor : 2420+ 5 580009 0 0 2779 2152032 0 0 0
1231.98/1232.24 c countsols : 0 0 0 0 0 0 0 0 0 0
1231.98/1232.24 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS
1231.98/1232.24 c integral : 69.72 0.00 0.00 69.72 0.00
1231.98/1232.24 c knapsack : 3.47 0.00 3.47 0.00 0.00
1231.98/1232.24 c setppc : 3.32 0.00 3.32 0.00 0.00
1231.98/1232.24 c linear : 0.30 0.00 0.30 0.00 0.00
1231.98/1232.24 c logicor : 17.53 0.00 17.53 0.00 0.00
1231.98/1232.24 c countsols : 0.00 0.00 0.00 0.00 0.00
1231.98/1232.24 c Propagators : Time Calls Cutoffs DomReds
1231.98/1232.24 c vbounds : 0.13 1 0 0
1231.98/1232.24 c rootredcost : 0.12 0 0 0
1231.98/1232.24 c pseudoobj : 0.10 0 0 0
1231.98/1232.24 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1231.98/1232.24 c propagation : 0.39 12639 12612 73173 26.2 218 22.7 -
1231.98/1232.24 c infeasible LP : 9.93 139902 129103 852380 38.6 559 20.1 0
1231.98/1232.24 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1231.98/1232.24 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1231.98/1232.24 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 -
1231.98/1232.24 c applied globally : - - - 145004 20.7 - - -
1231.98/1232.24 c applied locally : - - - 25651 35.6 - - -
1231.98/1232.24 c Separators : Time Calls Cutoffs DomReds Cuts Conss
1231.98/1232.24 c cut pool : 0.00 4 - - 22 - (maximal pool size: 413)
1231.98/1232.24 c redcost : 0.52 153470 0 0 0 0
1231.98/1232.24 c impliedbounds : 0.00 5 0 0 0 0
1231.98/1232.24 c intobj : 0.00 0 0 0 0 0
1231.98/1232.24 c cgmip : 0.00 0 0 0 0 0
1231.98/1232.24 c gomory : 0.33 5 0 0 795 0
1231.98/1232.24 c strongcg : 0.24 5 0 0 1866 0
1231.98/1232.24 c cmir : 0.00 0 0 0 0 0
1231.98/1232.24 c flowcover : 0.00 0 0 0 0 0
1231.98/1232.24 c clique : 0.00 5 0 0 0 0
1231.98/1232.24 c zerohalf : 0.00 0 0 0 0 0
1231.98/1232.24 c mcf : 0.00 1 0 0 0 0
1231.98/1232.24 c rapidlearning : 0.10 1 0 0 0 163
1231.98/1232.24 c Pricers : Time Calls Vars
1231.98/1232.24 c problem variables: 0.00 0 0
1231.98/1232.24 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
1231.98/1232.24 c relpscost : 69.63 155514 383 3662 0 0 305884
1231.98/1232.24 c pscost : 0.00 0 0 0 0 0 0
1231.98/1232.24 c inference : 0.00 0 0 0 0 0 0
1231.98/1232.24 c mostinf : 0.00 0 0 0 0 0 0
1231.98/1232.24 c leastinf : 0.00 0 0 0 0 0 0
1231.98/1232.24 c fullstrong : 0.00 0 0 0 0 0 0
1231.98/1232.24 c allfullstrong : 0.00 0 0 0 0 0 0
1231.98/1232.24 c random : 0.00 0 0 0 0 0 0
1231.98/1232.24 c Primal Heuristics : Time Calls Found
1231.98/1232.24 c LP solutions : 0.00 - 0
1231.98/1232.24 c pseudo solutions : 0.00 - 0
1231.98/1232.24 c trivial : 0.00 1 0
1231.98/1232.24 c simplerounding : 0.00 0 0
1231.98/1232.24 c zirounding : 0.00 0 0
1231.98/1232.24 c rounding : 0.00 0 0
1231.98/1232.24 c shifting : 0.00 0 0
1231.98/1232.24 c intshifting : 0.00 0 0
1231.98/1232.24 c oneopt : 0.00 0 0
1231.98/1232.24 c twoopt : 0.00 0 0
1231.98/1232.24 c fixandinfer : 0.00 0 0
1231.98/1232.24 c feaspump : 0.00 0 0
1231.98/1232.24 c coefdiving : 0.00 0 0
1231.98/1232.24 c pscostdiving : 0.00 0 0
1231.98/1232.24 c fracdiving : 0.00 0 0
1231.98/1232.24 c veclendiving : 0.00 0 0
1231.98/1232.24 c intdiving : 0.00 0 0
1231.98/1232.24 c actconsdiving : 0.00 0 0
1231.98/1232.24 c objpscostdiving : 0.00 0 0
1231.98/1232.24 c rootsoldiving : 0.00 0 0
1231.98/1232.24 c linesearchdiving : 0.00 0 0
1231.98/1232.24 c guideddiving : 0.00 0 0
1231.98/1232.24 c octane : 0.00 0 0
1231.98/1232.24 c rens : 0.00 0 0
1231.98/1232.24 c rins : 0.00 0 0
1231.98/1232.24 c localbranching : 0.00 0 0
1231.98/1232.24 c mutation : 0.00 0 0
1231.98/1232.24 c crossover : 0.00 0 0
1231.98/1232.24 c dins : 0.00 0 0
1231.98/1232.24 c undercover : 0.00 0 0
1231.98/1232.24 c nlp : 0.00 0 0
1231.98/1232.24 c trysol : 0.00 0 0
1231.98/1232.24 c LP : Time Calls Iterations Iter/call Iter/sec
1231.98/1232.24 c primal LP : 0.00 0 0 0.00 -
1231.98/1232.24 c dual LP : 1060.67 294665 7406986 25.14 6983.31
1231.98/1232.24 c lex dual LP : 0.00 0 0 0.00 -
1231.98/1232.24 c barrier LP : 0.00 0 0 0.00 -
1231.98/1232.24 c diving/probing LP: 0.00 0 0 0.00 -
1231.98/1232.24 c strong branching : 67.88 9597 453912 47.30 6687.42
1231.98/1232.24 c (at root node) : - 10 1798 179.80 -
1231.98/1232.24 c conflict analysis: 0.00 0 0 0.00 -
1231.98/1232.24 c B&B Tree :
1231.98/1232.24 c number of runs : 1
1231.98/1232.24 c nodes : 303847
1231.98/1232.24 c nodes (total) : 303847
1231.98/1232.24 c nodes left : 0
1231.98/1232.24 c max depth : 66
1231.98/1232.24 c max depth (total): 66
1231.98/1232.24 c backtracks : 38452 (12.7%)
1231.98/1232.24 c delayed cutoffs : 2038
1231.98/1232.24 c repropagations : 415732 (565577 domain reductions, 2019 cutoffs)
1231.98/1232.24 c avg switch length: 4.64
1231.98/1232.24 c switching time : 23.20
1231.98/1232.24 c Solution :
1231.98/1232.24 c Solutions found : 0 (0 improvements)
1231.98/1232.24 c Primal Bound : infeasible
1231.98/1232.24 c Dual Bound : -
1231.98/1232.24 c Gap : 0.00 %
1231.98/1232.24 c Root Dual Bound : +0.00000000000000e+00
1231.98/1232.24 c Root Iterations : 204
1231.98/1232.26 c Time complete: 1232.04.
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-3729531-1338678757/watcher-3729531-1338678757 -o /tmp/evaluation-result-3729531-1338678757/solver-3729531-1338678757 -C 1800 -W 1900 -M 15500 HOME/pbscip.linux.x86_64.gnu.opt.spx -f HOME/instance-3729531-1338678757.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.99 0.42 0.35 2/176 8600
/proc/meminfo: memFree=26233680/32873648 swapFree=6864/6864
[pid=8600] ppid=8598 vsize=9972 CPUtime=0 cores=0,2,4,6
/proc/8600/stat : 8600 (pbscip.linux.x8) R 8598 8600 7869 0 -1 4202496 1562 0 0 0 0 0 0 0 20 0 1 0 334001178 10211328 1508 33554432000 4194304 8395647 140736779060784 140734746196280 7382157 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/8600/statm: 2493 1508 374 1026 0 1463 0
[startup+0.0839321 s]
/proc/loadavg: 0.99 0.42 0.35 2/176 8600
/proc/meminfo: memFree=26233680/32873648 swapFree=6864/6864
[pid=8600] ppid=8598 vsize=22820 CPUtime=0.07 cores=0,2,4,6
/proc/8600/stat : 8600 (pbscip.linux.x8) R 8598 8600 7869 0 -1 4202496 5290 0 0 0 7 0 0 0 20 0 1 0 334001178 23367680 4842 33554432000 4194304 8395647 140736779060784 140736779057752 7428202 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/8600/statm: 5705 4842 583 1026 0 4675 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 22820
[startup+0.100254 s]
/proc/loadavg: 0.99 0.42 0.35 2/176 8600
/proc/meminfo: memFree=26233680/32873648 swapFree=6864/6864
[pid=8600] ppid=8598 vsize=23624 CPUtime=0.08 cores=0,2,4,6
/proc/8600/stat : 8600 (pbscip.linux.x8) R 8598 8600 7869 0 -1 4202496 5490 0 0 0 8 0 0 0 20 0 1 0 334001178 24190976 5042 33554432000 4194304 8395647 140736779060784 140736779057752 7428202 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/8600/statm: 5906 5042 584 1026 0 4876 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 23624
[startup+0.300211 s]
/proc/loadavg: 0.99 0.42 0.35 2/176 8600
/proc/meminfo: memFree=26233680/32873648 swapFree=6864/6864
[pid=8600] ppid=8598 vsize=37488 CPUtime=0.28 cores=0,2,4,6
/proc/8600/stat : 8600 (pbscip.linux.x8) R 8598 8600 7869 0 -1 4202496 8744 0 0 0 27 1 0 0 20 0 1 0 334001178 38387712 8265 33554432000 4194304 8395647 140736779060784 140736779057752 7428202 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/8600/statm: 9372 8265 621 1026 0 8342 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 37488
[startup+0.700178 s]
/proc/loadavg: 0.99 0.42 0.35 2/176 8600
/proc/meminfo: memFree=26233680/32873648 swapFree=6864/6864
[pid=8600] ppid=8598 vsize=37488 CPUtime=0.69 cores=0,2,4,6
/proc/8600/stat : 8600 (pbscip.linux.x8) R 8598 8600 7869 0 -1 4202496 8826 0 0 0 67 2 0 0 20 0 1 0 334001178 38387712 8347 33554432000 4194304 8395647 140736779060784 140736779057752 7428202 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/8600/statm: 9372 8347 621 1026 0 8342 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 37488
[startup+1.50018 s]
/proc/loadavg: 0.99 0.42 0.35 3/177 8601
/proc/meminfo: memFree=26202804/32873648 swapFree=6864/6864
[pid=8600] ppid=8598 vsize=37488 CPUtime=1.49 cores=0,2,4,6
/proc/8600/stat : 8600 (pbscip.linux.x8) R 8598 8600 7869 0 -1 4202496 8829 0 0 0 147 2 0 0 20 0 1 0 334001178 38387712 8350 33554432000 4194304 8395647 140736779060784 140736779055656 6697289 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/8600/statm: 9372 8350 624 1026 0 8342 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 37488
[startup+3.10018 s]
/proc/loadavg: 1.07 0.44 0.35 3/177 8601
/proc/meminfo: memFree=26202440/32873648 swapFree=6864/6864
[pid=8600] ppid=8598 vsize=37488 CPUtime=3.09 cores=0,2,4,6
/proc/8600/stat : 8600 (pbscip.linux.x8) R 8598 8600 7869 0 -1 4202496 8829 0 0 0 306 3 0 0 20 0 1 0 334001178 38387712 8350 33554432000 4194304 8395647 140736779060784 140736779055656 7428202 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/8600/statm: 9372 8350 624 1026 0 8342 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 37488
[startup+6.30011 s]
/proc/loadavg: 1.07 0.44 0.35 3/177 8601
/proc/meminfo: memFree=26202440/32873648 swapFree=6864/6864
[pid=8600] ppid=8598 vsize=37488 CPUtime=6.29 cores=0,2,4,6
/proc/8600/stat : 8600 (pbscip.linux.x8) R 8598 8600 7869 0 -1 4202496 8831 0 0 0 623 6 0 0 20 0 1 0 334001178 38387712 8352 33554432000 4194304 8395647 140736779060784 140736779055656 7428202 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/8600/statm: 9372 8352 626 1026 0 8342 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 37488
[startup+12.7001 s]
/proc/loadavg: 1.29 0.51 0.38 3/177 8601
/proc/meminfo: memFree=26201860/32873648 swapFree=6864/6864
[pid=8600] ppid=8598 vsize=37488 CPUtime=12.68 cores=0,2,4,6
/proc/8600/stat : 8600 (pbscip.linux.x8) R 8598 8600 7869 0 -1 4202496 8831 0 0 0 1258 10 0 0 20 0 1 0 334001178 38387712 8352 33554432000 4194304 8395647 140736779060784 140736779056040 7428202 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/8600/statm: 9372 8352 626 1026 0 8342 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 37488
[startup+25.5002 s]
/proc/loadavg: 1.40 0.56 0.39 3/177 8601
/proc/meminfo: memFree=26202372/32873648 swapFree=6864/6864
[pid=8600] ppid=8598 vsize=37488 CPUtime=25.49 cores=0,2,4,6
/proc/8600/stat : 8600 (pbscip.linux.x8) R 8598 8600 7869 0 -1 4202496 8833 0 0 0 2530 19 0 0 20 0 1 0 334001178 38387712 8354 33554432000 4194304 8395647 140736779060784 140736779055656 7428202 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/8600/statm: 9372 8354 627 1026 0 8342 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 37488
[startup+51.1002 s]
/proc/loadavg: 1.68 0.69 0.44 3/177 8601
/proc/meminfo: memFree=26202376/32873648 swapFree=6864/6864
[pid=8600] ppid=8598 vsize=37488 CPUtime=51.07 cores=0,2,4,6
/proc/8600/stat : 8600 (pbscip.linux.x8) R 8598 8600 7869 0 -1 4202496 8835 0 0 0 5067 40 0 0 20 0 1 0 334001178 38387712 8356 33554432000 4194304 8395647 140736779060784 140736779056296 7428202 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/8600/statm: 9372 8356 627 1026 0 8342 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 37488
[startup+102.306 s]
/proc/loadavg: 1.87 0.91 0.53 3/177 8601
/proc/meminfo: memFree=26200304/32873648 swapFree=6864/6864
[pid=8600] ppid=8598 vsize=37488 CPUtime=102.26 cores=0,2,4,6
/proc/8600/stat : 8600 (pbscip.linux.x8) R 8598 8600 7869 0 -1 4202496 8846 0 0 0 10148 78 0 0 20 0 1 0 334001178 38387712 8702 33554432000 4194304 8395647 140736779060784 140736779055912 7428202 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/8600/statm: 9372 8702 627 1026 0 8342 0
Current children cumulated CPU time (s) 102.26
Current children cumulated vsize (KiB) 37488
[startup+162.3 s]
/proc/loadavg: 1.95 1.10 0.62 3/177 8602
/proc/meminfo: memFree=26200304/32873648 swapFree=6864/6864
[pid=8600] ppid=8598 vsize=37488 CPUtime=162.24 cores=0,2,4,6
/proc/8600/stat : 8600 (pbscip.linux.x8) R 8598 8600 7869 0 -1 4202496 8846 0 0 0 16100 124 0 0 20 0 1 0 334001178 38387712 8702 33554432000 4194304 8395647 140736779060784 140736779056248 7428202 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/8600/statm: 9372 8702 627 1026 0 8342 0
Current children cumulated CPU time (s) 162.24
Current children cumulated vsize (KiB) 37488
[startup+222.3 s]
/proc/loadavg: 1.98 1.26 0.70 3/177 8602
/proc/meminfo: memFree=26200304/32873648 swapFree=6864/6864
[pid=8600] ppid=8598 vsize=37488 CPUtime=222.23 cores=0,2,4,6
/proc/8600/stat : 8600 (pbscip.linux.x8) R 8598 8600 7869 0 -1 4202496 8846 0 0 0 22057 166 0 0 20 0 1 0 334001178 38387712 8702 33554432000 4194304 8395647 140736779060784 140736779056248 7428202 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/8600/statm: 9372 8702 627 1026 0 8342 0
Current children cumulated CPU time (s) 222.23
Current children cumulated vsize (KiB) 37488
[startup+282.3 s]
/proc/loadavg: 1.99 1.40 0.78 3/177 8602
/proc/meminfo: memFree=26200552/32873648 swapFree=6864/6864
[pid=8600] ppid=8598 vsize=37488 CPUtime=282.22 cores=0,2,4,6
/proc/8600/stat : 8600 (pbscip.linux.x8) R 8598 8600 7869 0 -1 4202496 8846 0 0 0 28008 214 0 0 20 0 1 0 334001178 38387712 8702 33554432000 4194304 8395647 140736779060784 140736779055912 7428202 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/8600/statm: 9372 8702 627 1026 0 8342 0
Current children cumulated CPU time (s) 282.22
Current children cumulated vsize (KiB) 37488
[startup+342.3 s]
/proc/loadavg: 1.99 1.50 0.85 3/177 8602
/proc/meminfo: memFree=26200800/32873648 swapFree=6864/6864
[pid=8600] ppid=8598 vsize=37488 CPUtime=342.22 cores=0,2,4,6
/proc/8600/stat : 8600 (pbscip.linux.x8) R 8598 8600 7869 0 -1 4202496 8846 0 0 0 33962 260 0 0 20 0 1 0 334001178 38387712 8702 33554432000 4194304 8395647 140736779060784 140736779055912 7428202 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/8600/statm: 9372 8702 627 1026 0 8342 0
Current children cumulated CPU time (s) 342.22
Current children cumulated vsize (KiB) 37488
[startup+402.3 s]
/proc/loadavg: 1.99 1.59 0.92 3/177 8602
/proc/meminfo: memFree=26199188/32873648 swapFree=6864/6864
[pid=8600] ppid=8598 vsize=37488 CPUtime=402.21 cores=0,2,4,6
/proc/8600/stat : 8600 (pbscip.linux.x8) R 8598 8600 7869 0 -1 4202496 8846 0 0 0 39914 307 0 0 20 0 1 0 334001178 38387712 8702 33554432000 4194304 8395647 140736779060784 140736779056248 7428202 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/8600/statm: 9372 8702 627 1026 0 8342 0
Current children cumulated CPU time (s) 402.21
Current children cumulated vsize (KiB) 37488
[startup+462.3 s]
/proc/loadavg: 1.99 1.66 0.99 3/178 8606
/proc/meminfo: memFree=26197484/32873648 swapFree=6864/6864
[pid=8600] ppid=8598 vsize=37644 CPUtime=462.2 cores=0,2,4,6
/proc/8600/stat : 8600 (pbscip.linux.x8) R 8598 8600 7869 0 -1 4202496 8847 0 0 0 45869 351 0 0 20 0 1 0 334001178 38547456 8703 33554432000 4194304 8395647 140736779060784 140736779056248 7428202 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/8600/statm: 9411 8703 627 1026 0 8381 0
Current children cumulated CPU time (s) 462.2
Current children cumulated vsize (KiB) 37644
[startup+522.3 s]
/proc/loadavg: 1.99 1.72 1.05 3/177 8606
/proc/meminfo: memFree=26194484/32873648 swapFree=6864/6864
[pid=8600] ppid=8598 vsize=38360 CPUtime=522.2 cores=0,2,4,6
/proc/8600/stat : 8600 (pbscip.linux.x8) R 8598 8600 7869 0 -1 4202496 9038 0 0 0 51822 398 0 0 20 0 1 0 334001178 39280640 8894 33554432000 4194304 8395647 140736779060784 140736779055592 7428202 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/8600/statm: 9590 8894 627 1026 0 8560 0
Current children cumulated CPU time (s) 522.2
Current children cumulated vsize (KiB) 38360
[startup+582.3 s]
/proc/loadavg: 1.99 1.77 1.10 3/177 8606
/proc/meminfo: memFree=26191444/32873648 swapFree=6864/6864
[pid=8600] ppid=8598 vsize=38360 CPUtime=582.18 cores=0,2,4,6
/proc/8600/stat : 8600 (pbscip.linux.x8) R 8598 8600 7869 0 -1 4202496 9038 0 0 0 57773 445 0 0 20 0 1 0 334001178 39280640 9123 33554432000 4194304 8395647 140736779060784 140736779055912 7428202 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/8600/statm: 9590 9123 627 1026 0 8560 0
Current children cumulated CPU time (s) 582.18
Current children cumulated vsize (KiB) 38360
[startup+642.3 s]
################
# More data... #
################
/proc/meminfo: memFree=26189584/32873648 swapFree=6864/6864
[pid=8600] ppid=8598 vsize=38976 CPUtime=642.18 cores=0,2,4,6
/proc/8600/stat : 8600 (pbscip.linux.x8) R 8598 8600 7869 0 -1 4202496 9138 0 0 0 63722 496 0 0 20 0 1 0 334001178 39911424 9223 33554432000 4194304 8395647 140736779060784 140736779055592 7428202 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/8600/statm: 9744 9223 627 1026 0 8714 0
Current children cumulated CPU time (s) 642.18
Current children cumulated vsize (KiB) 38976
[startup+702.3 s]
/proc/loadavg: 1.99 1.84 1.21 3/177 8606
/proc/meminfo: memFree=26187724/32873648 swapFree=6864/6864
[pid=8600] ppid=8598 vsize=38976 CPUtime=702.17 cores=0,2,4,6
/proc/8600/stat : 8600 (pbscip.linux.x8) R 8598 8600 7869 0 -1 4202496 9194 0 0 0 69672 545 0 0 20 0 1 0 334001178 39911424 9279 33554432000 4194304 8395647 140736779060784 140736779055912 7428202 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/8600/statm: 9744 9279 627 1026 0 8714 0
Current children cumulated CPU time (s) 702.17
Current children cumulated vsize (KiB) 38976
[startup+762.306 s]
/proc/loadavg: 1.99 1.87 1.25 3/177 8607
/proc/meminfo: memFree=26186360/32873648 swapFree=6864/6864
[pid=8600] ppid=8598 vsize=39116 CPUtime=762.16 cores=0,2,4,6
/proc/8600/stat : 8600 (pbscip.linux.x8) R 8598 8600 7869 0 -1 4202496 9198 0 0 0 75628 588 0 0 20 0 1 0 334001178 40054784 9283 33554432000 4194304 8395647 140736779060784 140736779055912 7428202 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/8600/statm: 9779 9283 627 1026 0 8749 0
Current children cumulated CPU time (s) 762.16
Current children cumulated vsize (KiB) 39116
[startup+822.3 s]
/proc/loadavg: 1.99 1.89 1.30 3/177 8607
/proc/meminfo: memFree=26185244/32873648 swapFree=6864/6864
[pid=8600] ppid=8598 vsize=39276 CPUtime=822.15 cores=0,2,4,6
/proc/8600/stat : 8600 (pbscip.linux.x8) R 8598 8600 7869 0 -1 4202496 9287 0 0 0 81581 634 0 0 20 0 1 0 334001178 40218624 9372 33554432000 4194304 8395647 140736779060784 140736779056248 4635593 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/8600/statm: 9819 9372 627 1026 0 8789 0
Current children cumulated CPU time (s) 822.15
Current children cumulated vsize (KiB) 39276
[startup+882.3 s]
/proc/loadavg: 1.99 1.91 1.34 3/177 8607
/proc/meminfo: memFree=26184624/32873648 swapFree=6864/6864
[pid=8600] ppid=8598 vsize=39276 CPUtime=882.14 cores=0,2,4,6
/proc/8600/stat : 8600 (pbscip.linux.x8) R 8598 8600 7869 0 -1 4202496 9287 0 0 0 87536 678 0 0 20 0 1 0 334001178 40218624 9372 33554432000 4194304 8395647 140736779060784 140736779055912 7428202 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/8600/statm: 9819 9372 627 1026 0 8789 0
Current children cumulated CPU time (s) 882.14
Current children cumulated vsize (KiB) 39276
[startup+942.3 s]
/proc/loadavg: 1.99 1.92 1.38 3/177 8607
/proc/meminfo: memFree=26182824/32873648 swapFree=6864/6864
[pid=8600] ppid=8598 vsize=39700 CPUtime=942.12 cores=0,2,4,6
/proc/8600/stat : 8600 (pbscip.linux.x8) R 8598 8600 7869 0 -1 4202496 9354 0 0 0 93491 721 0 0 20 0 1 0 334001178 40652800 9439 33554432000 4194304 8395647 140736779060784 140736779055912 7428202 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/8600/statm: 9925 9439 627 1026 0 8895 0
Current children cumulated CPU time (s) 942.12
Current children cumulated vsize (KiB) 39700
[startup+1002.3 s]
/proc/loadavg: 1.99 1.93 1.41 3/177 8607
/proc/meminfo: memFree=26181528/32873648 swapFree=6864/6864
[pid=8600] ppid=8598 vsize=39700 CPUtime=1002.11 cores=0,2,4,6
/proc/8600/stat : 8600 (pbscip.linux.x8) R 8598 8600 7869 0 -1 4202496 9354 0 0 0 99447 764 0 0 20 0 1 0 334001178 40652800 9439 33554432000 4194304 8395647 140736779060784 140736779056392 7428202 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/8600/statm: 9925 9439 627 1026 0 8895 0
Current children cumulated CPU time (s) 1002.11
Current children cumulated vsize (KiB) 39700
[startup+1062.3 s]
/proc/loadavg: 1.99 1.94 1.45 3/177 8610
/proc/meminfo: memFree=26181084/32873648 swapFree=6864/6864
[pid=8600] ppid=8598 vsize=39700 CPUtime=1062.11 cores=0,2,4,6
/proc/8600/stat : 8600 (pbscip.linux.x8) R 8598 8600 7869 0 -1 4202496 9362 0 0 0 105399 812 0 0 20 0 1 0 334001178 40652800 9447 33554432000 4194304 8395647 140736779060784 140736779055832 7428202 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/8600/statm: 9925 9447 627 1026 0 8895 0
Current children cumulated CPU time (s) 1062.11
Current children cumulated vsize (KiB) 39700
[startup+1122.3 s]
/proc/loadavg: 1.99 1.95 1.48 3/177 8611
/proc/meminfo: memFree=26179104/32873648 swapFree=6864/6864
[pid=8600] ppid=8598 vsize=39996 CPUtime=1122.09 cores=0,2,4,6
/proc/8600/stat : 8600 (pbscip.linux.x8) R 8598 8600 7869 0 -1 4202496 9451 0 0 0 111352 857 0 0 20 0 1 0 334001178 40955904 9536 33554432000 4194304 8395647 140736779060784 140736779055912 5089505 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/8600/statm: 9999 9536 627 1026 0 8969 0
Current children cumulated CPU time (s) 1122.09
Current children cumulated vsize (KiB) 39996
[startup+1182.3 s]
/proc/loadavg: 1.99 1.95 1.50 3/177 8611
/proc/meminfo: memFree=26175636/32873648 swapFree=6864/6864
[pid=8600] ppid=8598 vsize=40984 CPUtime=1182.08 cores=0,2,4,6
/proc/8600/stat : 8600 (pbscip.linux.x8) R 8598 8600 7869 0 -1 4202496 9705 0 0 0 117304 904 0 0 20 0 1 0 334001178 41967616 9790 33554432000 4194304 8395647 140736779060784 140736779055912 7428202 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/8600/statm: 10246 9790 628 1026 0 9216 0
Current children cumulated CPU time (s) 1182.08
Current children cumulated vsize (KiB) 40984
Solver just ended. Dumping a history of the last processes samples
[startup+1203.1 s]
/proc/loadavg: 1.99 1.96 1.52 3/177 8611
/proc/meminfo: memFree=26174332/32873648 swapFree=6864/6864
[pid=8600] ppid=8598 vsize=41288 CPUtime=1202.89 cores=0,2,4,6
/proc/8600/stat : 8600 (pbscip.linux.x8) R 8598 8600 7869 0 -1 4202496 9746 0 0 0 119369 920 0 0 20 0 1 0 334001178 42278912 9831 33554432000 4194304 8395647 140736779060784 140736779056392 7428202 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/8600/statm: 10322 9831 628 1026 0 9292 0
Current children cumulated CPU time (s) 1202.89
Current children cumulated vsize (KiB) 41288
[startup+1215.9 s]
/proc/loadavg: 1.99 1.96 1.52 3/177 8611
/proc/meminfo: memFree=26173712/32873648 swapFree=6864/6864
[pid=8600] ppid=8598 vsize=42264 CPUtime=1215.69 cores=0,2,4,6
/proc/8600/stat : 8600 (pbscip.linux.x8) R 8598 8600 7869 0 -1 4202496 9992 0 0 0 120638 931 0 0 20 0 1 0 334001178 43278336 10077 33554432000 4194304 8395647 140736779060784 140736779056392 7428202 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/8600/statm: 10566 10077 628 1026 0 9536 0
Current children cumulated CPU time (s) 1215.69
Current children cumulated vsize (KiB) 42264
[startup+1222.3 s]
/proc/loadavg: 1.99 1.96 1.53 3/177 8611
/proc/meminfo: memFree=26173404/32873648 swapFree=6864/6864
[pid=8600] ppid=8598 vsize=42684 CPUtime=1222.08 cores=0,2,4,6
/proc/8600/stat : 8600 (pbscip.linux.x8) R 8598 8600 7869 0 -1 4202496 10112 0 0 0 121272 936 0 0 20 0 1 0 334001178 43708416 10197 33554432000 4194304 8395647 140736779060784 140736779055912 7428202 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/8600/statm: 10671 10197 628 1026 0 9641 0
Current children cumulated CPU time (s) 1222.08
Current children cumulated vsize (KiB) 42684
[startup+1228.71 s]
/proc/loadavg: 1.99 1.96 1.53 3/177 8611
/proc/meminfo: memFree=26172720/32873648 swapFree=6864/6864
[pid=8600] ppid=8598 vsize=43228 CPUtime=1228.49 cores=0,2,4,6
/proc/8600/stat : 8600 (pbscip.linux.x8) R 8598 8600 7869 0 -1 4202496 10247 0 0 0 121907 942 0 0 20 0 1 0 334001178 44265472 10332 33554432000 4194304 8395647 140736779060784 140736779055912 6587243 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/8600/statm: 10807 10332 628 1026 0 9777 0
Current children cumulated CPU time (s) 1228.49
Current children cumulated vsize (KiB) 43228
[startup+1230.3 s]
/proc/loadavg: 1.99 1.96 1.53 3/177 8611
/proc/meminfo: memFree=26172720/32873648 swapFree=6864/6864
[pid=8600] ppid=8598 vsize=43228 CPUtime=1230.09 cores=0,2,4,6
/proc/8600/stat : 8600 (pbscip.linux.x8) R 8598 8600 7869 0 -1 4202496 10247 0 0 0 122066 943 0 0 20 0 1 0 334001178 44265472 10332 33554432000 4194304 8395647 140736779060784 140736779055912 7428202 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/8600/statm: 10807 10332 628 1026 0 9777 0
Current children cumulated CPU time (s) 1230.09
Current children cumulated vsize (KiB) 43228
[startup+1231.1 s]
/proc/loadavg: 1.99 1.96 1.53 3/177 8611
/proc/meminfo: memFree=26172720/32873648 swapFree=6864/6864
[pid=8600] ppid=8598 vsize=43228 CPUtime=1230.88 cores=0,2,4,6
/proc/8600/stat : 8600 (pbscip.linux.x8) R 8598 8600 7869 0 -1 4202496 10247 0 0 0 122145 943 0 0 20 0 1 0 334001178 44265472 10332 33554432000 4194304 8395647 140736779060784 140736779055912 7428202 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/8600/statm: 10807 10332 628 1026 0 9777 0
Current children cumulated CPU time (s) 1230.88
Current children cumulated vsize (KiB) 43228
[startup+1231.9 s]
/proc/loadavg: 1.99 1.96 1.53 3/177 8611
/proc/meminfo: memFree=26172720/32873648 swapFree=6864/6864
[pid=8600] ppid=8598 vsize=43228 CPUtime=1231.69 cores=0,2,4,6
/proc/8600/stat : 8600 (pbscip.linux.x8) R 8598 8600 7869 0 -1 4202496 10247 0 0 0 122225 944 0 0 20 0 1 0 334001178 44265472 10332 33554432000 4194304 8395647 140736779060784 140736779055912 7428202 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/8600/statm: 10807 10332 628 1026 0 9777 0
Current children cumulated CPU time (s) 1231.69
Current children cumulated vsize (KiB) 43228
[startup+1232.1 s]
/proc/loadavg: 1.99 1.96 1.53 3/177 8611
/proc/meminfo: memFree=26172720/32873648 swapFree=6864/6864
[pid=8600] ppid=8598 vsize=43228 CPUtime=1231.88 cores=0,2,4,6
/proc/8600/stat : 8600 (pbscip.linux.x8) R 8598 8600 7869 0 -1 4202496 10247 0 0 0 122244 944 0 0 20 0 1 0 334001178 44265472 10332 33554432000 4194304 8395647 140736779060784 140736779055912 7428202 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/8600/statm: 10807 10332 628 1026 0 9777 0
Current children cumulated CPU time (s) 1231.88
Current children cumulated vsize (KiB) 43228
[startup+1232.2 s]
/proc/loadavg: 1.99 1.96 1.53 3/177 8611
/proc/meminfo: memFree=26172720/32873648 swapFree=6864/6864
[pid=8600] ppid=8598 vsize=43228 CPUtime=1231.98 cores=0,2,4,6
/proc/8600/stat : 8600 (pbscip.linux.x8) R 8598 8600 7869 0 -1 4202496 10247 0 0 0 122254 944 0 0 20 0 1 0 334001178 44265472 10332 33554432000 4194304 8395647 140736779060784 140736779055912 7428202 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/8600/statm: 10807 10332 628 1026 0 9777 0
Current children cumulated CPU time (s) 1231.98
Current children cumulated vsize (KiB) 43228
Child status: 0
Real time (s): 1232.26
CPU time (s): 1232.05
CPU user time (s): 1222.61
CPU system time (s): 9.44756
CPU usage (%): 99.9831
Max. virtual memory (cumulated for all children) (KiB): 43228
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1222.61
system time used= 9.44756
maximum resident set size= 41336
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 10252
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= 15
involuntary context switches= 1483
runsolver used 3.69844 second user time and 8.76467 second system time
The end