| Solver Name | Answer | CPU time | Wall clock time |
|---|---|---|---|
| SCIPspx SCIP 1.2.1.3 with SoPlex 1.4.2 (CVS Version 30.5.2010) as LP solver | ? | 1789.48 | 1790.04 |
| Name | normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/ prestwich/armies/normalized-army13.24ls.opb |
| MD5SUM | 1a4510076d9024b805728ffe22c0d108 |
| Bench Category | DEC-SMALLINT (no optimisation, small integers) |
| Best result obtained on this benchmark | |
| Best value of the objective obtained on this benchmark | |
| Best CPU time to get the best result obtained on this benchmark | |
| Has Objective Function | NO |
| Satisfiable | YES |
| (Un)Satisfiability was proved | YES |
| Best value of the objective function | |
| Optimality of the best value was proved | NO |
| Number of variables | 490 |
| Total number of constraints | 737 |
| Number of constraints which are clauses | 397 |
| Number of constraints which are cardinality constraints (but not clauses) | 2 |
| Number of constraints which are nor clauses,nor cardinality constraints | 338 |
| Minimum length of a constraint | 2 |
| Maximum length of a constraint | 169 |
| Number of terms in the objective function | 0 |
| Biggest coefficient in the objective function | 0 |
| Number of bits for the biggest coefficient in the objective function | 0 |
| Sum of the numbers in the objective function | 0 |
| Number of bits of the sum of numbers in the objective function | 0 |
| Biggest number in a constraint | 24 |
| Number of bits of the biggest number in a constraint | 5 |
| Biggest sum of numbers in a constraint | 193 |
| Number of bits of the biggest sum of numbers | 8 |
| Number of products (including duplicates) | 0 |
| Sum of products size (including duplicates) | 0 |
| Number of different products | 0 |
| Sum of products size | 0 |
0.00/0.01 c SCIP version 1.2.1.3 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: SoPlex 1.4.2]
0.00/0.01 c Copyright (c) 2002-2010 Konrad-Zuse-Zentrum fuer Informationstechnik Berlin (ZIB)
0.00/0.01 c
0.00/0.01 c user parameter file <scip.set> not found - using default parameters
0.00/0.01 c reading problem <HOME/instance-2703974-1278548281.opb>
0.02/0.02 c original problem has 490 variables (490 bin, 0 int, 0 impl, 0 cont) and 737 constraints
0.02/0.02 c problem read
0.02/0.02 c No objective function, only one solution is needed.
0.02/0.02 c presolving settings loaded
0.02/0.03 c presolving:
0.02/0.06 c (round 1) 0 del vars, 0 del conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 737 upgd conss, 522 impls, 0 clqs
0.02/0.08 c (round 2) 8 del vars, 0 del conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 737 upgd conss, 19274 impls, 0 clqs
0.02/0.09 c (round 3) 8 del vars, 8 del conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 737 upgd conss, 19274 impls, 0 clqs
0.02/0.09 c (round 4) 8 del vars, 12 del conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 737 upgd conss, 19274 impls, 0 clqs
0.02/0.09 c presolving (5 rounds):
0.02/0.09 c 8 deleted vars, 12 deleted constraints, 0 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
0.02/0.09 c 19274 implications, 0 cliques
0.02/0.09 c presolved problem has 482 variables (482 bin, 0 int, 0 impl, 0 cont) and 725 constraints
0.02/0.09 c 340 constraints of type <knapsack>
0.02/0.09 c 241 constraints of type <setppc>
0.02/0.09 c 144 constraints of type <logicor>
0.02/0.09 c transformed objective value is always integral (scale: 1)
0.02/0.09 c Presolving Time: 0.06
0.02/0.09 c - non default parameters ----------------------------------------------------------------------
0.02/0.09 c # SCIP version 1.2.1.3
0.02/0.09 c
0.02/0.09 c # frequency for displaying node information lines
0.02/0.09 c # [type: int, range: [-1,2147483647], default: 100]
0.02/0.09 c display/freq = 10000
0.02/0.09 c
0.02/0.09 c # maximal time in seconds to run
0.02/0.09 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.02/0.09 c limits/time = 1789.98
0.02/0.09 c
0.02/0.09 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.02/0.09 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.02/0.09 c limits/memory = 1620
0.02/0.09 c
0.02/0.09 c # solving stops, if the given number of solutions were found (-1: no limit)
0.02/0.09 c # [type: int, range: [-1,2147483647], default: -1]
0.02/0.09 c limits/solutions = 1
0.02/0.09 c
0.02/0.09 c # maximal number of separation rounds per node (-1: unlimited)
0.02/0.09 c # [type: int, range: [-1,2147483647], default: 5]
0.02/0.09 c separating/maxrounds = 1
0.02/0.09 c
0.02/0.09 c # maximal number of separation rounds in the root node (-1: unlimited)
0.02/0.09 c # [type: int, range: [-1,2147483647], default: -1]
0.02/0.09 c separating/maxroundsroot = 5
0.02/0.09 c
0.02/0.09 c # default clock type (1: CPU user seconds, 2: wall clock time)
0.02/0.09 c # [type: int, range: [1,2], default: 1]
0.02/0.09 c timing/clocktype = 2
0.02/0.09 c
0.02/0.09 c # should presolving try to simplify inequalities
0.02/0.09 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.02/0.09 c constraints/linear/simplifyinequalities = TRUE
0.02/0.09 c
0.02/0.09 c # add initial coupling inequalities as linear constraints, if 'addCoupling' is true
0.02/0.09 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.02/0.09 c constraints/indicator/addCouplingCons = TRUE
0.02/0.09 c
0.02/0.09 c # should disaggregation of knapsack constraints be allowed in preprocessing?
0.02/0.09 c # [type: bool, range: {TRUE,FALSE}, default: TRUE]
0.02/0.09 c constraints/knapsack/disaggregation = FALSE
0.02/0.09 c
0.02/0.09 c # should presolving try to simplify knapsacks
0.02/0.09 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.02/0.09 c constraints/knapsack/simplifyinequalities = TRUE
0.02/0.09 c
0.02/0.09 c # maximal number of presolving rounds the presolver participates in (-1: no limit)
0.02/0.09 c # [type: int, range: [-1,2147483647], default: -1]
0.02/0.09 c presolving/probing/maxrounds = 0
0.02/0.09 c
0.02/0.09 c # frequency for calling primal heuristic <coefdiving> (-1: never, 0: only at depth freqofs)
0.02/0.09 c # [type: int, range: [-1,2147483647], default: 10]
0.02/0.09 c heuristics/coefdiving/freq = -1
0.02/0.09 c
0.02/0.09 c # maximal fraction of diving LP iterations compared to node LP iterations
0.02/0.09 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
0.02/0.09 c heuristics/coefdiving/maxlpiterquot = 0.075
0.02/0.09 c
0.02/0.09 c # additional number of allowed LP iterations
0.02/0.09 c # [type: int, range: [0,2147483647], default: 1000]
0.02/0.09 c heuristics/coefdiving/maxlpiterofs = 1500
0.02/0.09 c
0.02/0.09 c # frequency for calling primal heuristic <crossover> (-1: never, 0: only at depth freqofs)
0.02/0.09 c # [type: int, range: [-1,2147483647], default: 30]
0.02/0.09 c heuristics/crossover/freq = -1
0.02/0.09 c
0.02/0.09 c # number of nodes added to the contingent of the total nodes
0.02/0.09 c # [type: longint, range: [0,9223372036854775807], default: 500]
0.02/0.09 c heuristics/crossover/nodesofs = 750
0.02/0.09 c
0.02/0.09 c # number of nodes without incumbent change that heuristic should wait
0.02/0.09 c # [type: longint, range: [0,9223372036854775807], default: 200]
0.02/0.09 c heuristics/crossover/nwaitingnodes = 100
0.02/0.09 c
0.02/0.09 c # contingent of sub problem nodes in relation to the number of nodes of the original problem
0.02/0.09 c # [type: real, range: [0,1], default: 0.1]
0.02/0.09 c heuristics/crossover/nodesquot = 0.15
0.02/0.09 c
0.02/0.09 c # minimum percentage of integer variables that have to be fixed
0.02/0.09 c # [type: real, range: [0,1], default: 0.666]
0.02/0.09 c heuristics/crossover/minfixingrate = 0.5
0.02/0.09 c
0.02/0.09 c # frequency for calling primal heuristic <feaspump> (-1: never, 0: only at depth freqofs)
0.02/0.09 c # [type: int, range: [-1,2147483647], default: 20]
0.02/0.09 c heuristics/feaspump/freq = -1
0.02/0.09 c
0.02/0.09 c # additional number of allowed LP iterations
0.02/0.09 c # [type: int, range: [0,2147483647], default: 1000]
0.02/0.09 c heuristics/feaspump/maxlpiterofs = 2000
0.02/0.09 c
0.02/0.09 c # frequency for calling primal heuristic <fracdiving> (-1: never, 0: only at depth freqofs)
0.02/0.09 c # [type: int, range: [-1,2147483647], default: 10]
0.02/0.09 c heuristics/fracdiving/freq = -1
0.02/0.09 c
0.02/0.09 c # maximal fraction of diving LP iterations compared to node LP iterations
0.02/0.09 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
0.02/0.09 c heuristics/fracdiving/maxlpiterquot = 0.075
0.02/0.09 c
0.02/0.09 c # additional number of allowed LP iterations
0.02/0.09 c # [type: int, range: [0,2147483647], default: 1000]
0.02/0.09 c heuristics/fracdiving/maxlpiterofs = 1500
0.02/0.09 c
0.02/0.09 c # frequency for calling primal heuristic <guideddiving> (-1: never, 0: only at depth freqofs)
0.02/0.09 c # [type: int, range: [-1,2147483647], default: 10]
0.02/0.09 c heuristics/guideddiving/freq = -1
0.02/0.09 c
0.02/0.09 c # maximal fraction of diving LP iterations compared to node LP iterations
0.02/0.09 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
0.02/0.09 c heuristics/guideddiving/maxlpiterquot = 0.075
0.02/0.09 c
0.02/0.09 c # additional number of allowed LP iterations
0.02/0.09 c # [type: int, range: [0,2147483647], default: 1000]
0.02/0.09 c heuristics/guideddiving/maxlpiterofs = 1500
0.02/0.09 c
0.02/0.09 c # maximal fraction of diving LP iterations compared to node LP iterations
0.02/0.09 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
0.02/0.09 c heuristics/intdiving/maxlpiterquot = 0.075
0.02/0.09 c
0.02/0.09 c # frequency for calling primal heuristic <intshifting> (-1: never, 0: only at depth freqofs)
0.02/0.09 c # [type: int, range: [-1,2147483647], default: 10]
0.02/0.09 c heuristics/intshifting/freq = -1
0.02/0.09 c
0.02/0.09 c # frequency for calling primal heuristic <linesearchdiving> (-1: never, 0: only at depth freqofs)
0.02/0.09 c # [type: int, range: [-1,2147483647], default: 10]
0.02/0.09 c heuristics/linesearchdiving/freq = -1
0.02/0.09 c
0.02/0.09 c # maximal fraction of diving LP iterations compared to node LP iterations
0.02/0.09 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
0.02/0.09 c heuristics/linesearchdiving/maxlpiterquot = 0.075
0.02/0.09 c
0.02/0.09 c # additional number of allowed LP iterations
0.02/0.09 c # [type: int, range: [0,2147483647], default: 1000]
0.02/0.09 c heuristics/linesearchdiving/maxlpiterofs = 1500
0.02/0.09 c
0.02/0.09 c # frequency for calling primal heuristic <nlp> (-1: never, 0: only at depth freqofs)
0.02/0.09 c # [type: int, range: [-1,2147483647], default: 1]
0.02/0.09 c heuristics/nlp/freq = -1
0.02/0.09 c
0.02/0.09 c # frequency for calling primal heuristic <objpscostdiving> (-1: never, 0: only at depth freqofs)
0.02/0.09 c # [type: int, range: [-1,2147483647], default: 20]
0.02/0.09 c heuristics/objpscostdiving/freq = -1
0.02/0.09 c
0.02/0.09 c # maximal fraction of diving LP iterations compared to total iteration number
0.02/0.09 c # [type: real, range: [0,1], default: 0.01]
0.02/0.09 c heuristics/objpscostdiving/maxlpiterquot = 0.015
0.02/0.09 c
0.02/0.09 c # additional number of allowed LP iterations
0.02/0.09 c # [type: int, range: [0,2147483647], default: 1000]
0.02/0.09 c heuristics/objpscostdiving/maxlpiterofs = 1500
0.02/0.09 c
0.02/0.09 c # frequency for calling primal heuristic <oneopt> (-1: never, 0: only at depth freqofs)
0.02/0.09 c # [type: int, range: [-1,2147483647], default: 1]
0.02/0.09 c heuristics/oneopt/freq = -1
0.02/0.09 c
0.02/0.09 c # frequency for calling primal heuristic <pscostdiving> (-1: never, 0: only at depth freqofs)
0.02/0.09 c # [type: int, range: [-1,2147483647], default: 10]
0.02/0.09 c heuristics/pscostdiving/freq = -1
0.02/0.09 c
0.02/0.09 c # maximal fraction of diving LP iterations compared to node LP iterations
0.02/0.09 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
0.02/0.09 c heuristics/pscostdiving/maxlpiterquot = 0.075
0.02/0.09 c
0.02/0.09 c # additional number of allowed LP iterations
0.02/0.09 c # [type: int, range: [0,2147483647], default: 1000]
0.02/0.09 c heuristics/pscostdiving/maxlpiterofs = 1500
0.02/0.09 c
0.02/0.09 c # frequency for calling primal heuristic <rens> (-1: never, 0: only at depth freqofs)
0.02/0.10 c # [type: int, range: [-1,2147483647], default: 0]
0.02/0.10 c heuristics/rens/freq = -1
0.02/0.10 c
0.02/0.10 c # minimum percentage of integer variables that have to be fixable
0.02/0.10 c # [type: real, range: [0,1], default: 0.5]
0.02/0.10 c heuristics/rens/minfixingrate = 0.3
0.02/0.10 c
0.02/0.10 c # number of nodes added to the contingent of the total nodes
0.02/0.10 c # [type: longint, range: [0,9223372036854775807], default: 500]
0.02/0.10 c heuristics/rens/nodesofs = 2000
0.02/0.10 c
0.02/0.10 c # frequency for calling primal heuristic <rootsoldiving> (-1: never, 0: only at depth freqofs)
0.02/0.10 c # [type: int, range: [-1,2147483647], default: 20]
0.02/0.10 c heuristics/rootsoldiving/freq = -1
0.02/0.10 c
0.02/0.10 c # maximal fraction of diving LP iterations compared to node LP iterations
0.02/0.10 c # [type: real, range: [0,1.79769313486232e+308], default: 0.01]
0.02/0.10 c heuristics/rootsoldiving/maxlpiterquot = 0.015
0.02/0.10 c
0.02/0.10 c # additional number of allowed LP iterations
0.02/0.10 c # [type: int, range: [0,2147483647], default: 1000]
0.02/0.10 c heuristics/rootsoldiving/maxlpiterofs = 1500
0.02/0.10 c
0.02/0.10 c # frequency for calling primal heuristic <rounding> (-1: never, 0: only at depth freqofs)
0.02/0.10 c # [type: int, range: [-1,2147483647], default: 1]
0.02/0.10 c heuristics/rounding/freq = -1
0.02/0.10 c
0.02/0.10 c # frequency for calling primal heuristic <shifting> (-1: never, 0: only at depth freqofs)
0.02/0.10 c # [type: int, range: [-1,2147483647], default: 10]
0.02/0.10 c heuristics/shifting/freq = -1
0.02/0.10 c
0.02/0.10 c # frequency for calling primal heuristic <simplerounding> (-1: never, 0: only at depth freqofs)
0.02/0.10 c # [type: int, range: [-1,2147483647], default: 1]
0.02/0.10 c heuristics/simplerounding/freq = -1
0.02/0.10 c
0.02/0.10 c # frequency for calling primal heuristic <trivial> (-1: never, 0: only at depth freqofs)
0.02/0.10 c # [type: int, range: [-1,2147483647], default: 0]
0.02/0.10 c heuristics/trivial/freq = -1
0.02/0.10 c
0.02/0.10 c # frequency for calling primal heuristic <trysol> (-1: never, 0: only at depth freqofs)
0.02/0.10 c # [type: int, range: [-1,2147483647], default: 1]
0.02/0.10 c heuristics/trysol/freq = -1
0.02/0.10 c
0.02/0.10 c # frequency for calling primal heuristic <veclendiving> (-1: never, 0: only at depth freqofs)
0.02/0.10 c # [type: int, range: [-1,2147483647], default: 10]
0.02/0.10 c heuristics/veclendiving/freq = -1
0.02/0.10 c
0.02/0.10 c # maximal fraction of diving LP iterations compared to node LP iterations
0.02/0.10 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
0.02/0.10 c heuristics/veclendiving/maxlpiterquot = 0.075
0.02/0.10 c
0.02/0.10 c # additional number of allowed LP iterations
0.02/0.10 c # [type: int, range: [0,2147483647], default: 1000]
0.02/0.10 c heuristics/veclendiving/maxlpiterofs = 1500
0.02/0.10 c
0.02/0.10 c # frequency for calling primal heuristic <zirounding> (-1: never, 0: only at depth freqofs)
0.02/0.10 c # [type: int, range: [-1,2147483647], default: 1]
0.02/0.10 c heuristics/zirounding/freq = -1
0.02/0.10 c
0.02/0.10 c # frequency for calling separator <cmir> (-1: never, 0: only in root node)
0.02/0.10 c # [type: int, range: [-1,2147483647], default: 0]
0.02/0.10 c separating/cmir/freq = -1
0.02/0.10 c
0.02/0.10 c # frequency for calling separator <flowcover> (-1: never, 0: only in root node)
0.02/0.10 c # [type: int, range: [-1,2147483647], default: 0]
0.02/0.10 c separating/flowcover/freq = -1
0.02/0.10 c
0.02/0.10 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
0.02/0.10 c # [type: int, range: [-1,2147483647], default: -1]
0.02/0.10 c separating/rapidlearning/freq = 0
0.02/0.10 c
0.02/0.10 c -----------------------------------------------------------------------------------------------
0.02/0.10 c start solving
0.02/0.10 c
0.09/0.12 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
0.09/0.12 c 0.1s| 1 | 0 | 250 | - |3098k| 0 | 127 | 482 | 725 | 482 | 725 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
0.49/0.53 c 0.5s| 1 | 0 | 727 | - |4347k| 0 | 239 | 482 | 726 | 482 |1105 | 380 | 0 | 0 | 0.000000e+00 | -- | Inf
1.10/1.11 c 1.1s| 1 | 0 | 1192 | - |7287k| 0 | 336 | 482 | 726 | 482 |1575 | 850 | 0 | 0 | 0.000000e+00 | -- | Inf
1.69/1.78 c 1.8s| 1 | 0 | 1467 | - | 10M| 0 | 341 | 482 | 726 | 482 |1616 | 891 | 0 | 0 | 0.000000e+00 | -- | Inf
2.99/3.04 c 3.0s| 1 | 0 | 2807 | - | 12M| 0 | 314 | 482 | 726 | 482 |1618 | 893 | 0 | 0 | 0.000000e+00 | -- | Inf
3.59/3.66 c 3.6s| 1 | 0 | 3021 | - | 14M| 0 | 341 | 482 | 726 | 482 |1682 | 957 | 0 | 0 | 0.000000e+00 | -- | Inf
7.70/7.76 c 7.7s| 1 | 2 | 3021 | - | 14M| 0 | 341 | 482 | 726 | 482 |1682 | 957 | 0 | 10 | 0.000000e+00 | -- | Inf
61.77/61.82 c 61.8s| 10000 | 115 |146924 | 14.4 | 15M| 42 | - | 482 | 958 | 482 | 972 | 957 | 315 |3115 | 0.000000e+00 | -- | Inf
94.77/94.85 c 94.8s| 20000 | 135 |281656 | 13.9 | 15M| 45 | - | 482 |1080 | 482 | 972 | 957 | 672 |3332 | 0.000000e+00 | -- | Inf
126.36/126.43 c 126s| 30000 | 145 |410401 | 13.6 | 15M| 45 | 29 | 482 |1187 | 482 | 972 | 957 | 996 |3534 | 0.000000e+00 | -- | Inf
153.64/153.80 c 154s| 40000 | 146 |518321 | 12.9 | 15M| 45 | - | 482 |1300 | 0 | 0 | 957 |1377 |3887 | 0.000000e+00 | -- | Inf
185.23/185.36 c 185s| 50000 | 144 |637662 | 12.7 | 15M| 45 | 39 | 482 |1303 | 482 | 972 | 957 |1712 |4550 | 0.000000e+00 | -- | Inf
216.92/217.09 c 217s| 60000 | 147 |757254 | 12.6 | 15M| 45 | - | 482 |1293 | 0 | 0 | 957 |2069 |5167 | 0.000000e+00 | -- | Inf
247.02/247.16 c 247s| 70000 | 165 |877323 | 12.5 | 15M| 45 | - | 482 |1454 | 0 | 0 | 957 |2446 |5501 | 0.000000e+00 | -- | Inf
278.70/278.86 c 279s| 80000 | 164 |998263 | 12.4 | 15M| 50 | 34 | 482 |1553 | 482 | 972 | 957 |2858 |6022 | 0.000000e+00 | -- | Inf
313.00/313.16 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
313.00/313.16 c 313s| 90000 | 170 | 1132k| 12.6 | 15M| 50 | - | 482 |1480 | 0 | 0 | 957 |3188 |6597 | 0.000000e+00 | -- | Inf
347.08/347.23 c 347s|100000 | 171 | 1269k| 12.7 | 15M| 51 | 44 | 482 |1404 | 482 | 972 | 957 |3478 |7006 | 0.000000e+00 | -- | Inf
381.18/381.31 c 381s|110000 | 169 | 1403k| 12.7 | 15M| 51 | - | 482 |1404 | 482 | 972 | 957 |3794 |7493 | 0.000000e+00 | -- | Inf
416.86/417.05 c 417s|120000 | 171 | 1551k| 12.9 | 15M| 51 | - | 482 |1411 | 0 | 0 | 957 |4100 |7820 | 0.000000e+00 | -- | Inf
448.56/448.78 c 449s|130000 | 171 | 1681k| 12.9 | 15M| 51 | 37 | 482 |1579 | 482 | 972 | 957 |4426 |8070 | 0.000000e+00 | -- | Inf
483.05/483.26 c 483s|140000 | 181 | 1820k| 13.0 | 15M| 52 | 34 | 482 |1461 | 482 | 972 | 957 |4744 |8427 | 0.000000e+00 | -- | Inf
514.74/514.91 c 515s|150000 | 182 | 1948k| 13.0 | 15M| 52 | 40 | 482 |1556 | 482 | 972 | 957 |5066 |8718 | 0.000000e+00 | -- | Inf
544.53/544.75 c 545s|160000 | 184 | 2067k| 12.9 | 15M| 52 | 32 | 482 |1604 | 482 | 972 | 957 |5444 |8975 | 0.000000e+00 | -- | Inf
580.42/580.60 c 581s|170000 | 181 | 2212k| 13.0 | 15M| 52 | 48 | 482 |1649 | 482 | 972 | 957 |5762 |9298 | 0.000000e+00 | -- | Inf
614.80/615.03 c 615s|180000 | 178 | 2354k| 13.1 | 15M| 54 | - | 482 |1679 | 0 | 0 | 957 |6027 |9578 | 0.000000e+00 | -- | Inf
647.79/648.04 c 648s|190000 | 178 | 2490k| 13.1 | 15M| 54 | - | 482 |1608 | 0 | 0 | 957 |6355 |9873 | 0.000000e+00 | -- | Inf
683.49/683.77 c 684s|200000 | 196 | 2641k| 13.2 | 15M| 54 | - | 482 |1553 | 482 | 972 | 957 |6660 | 10k| 0.000000e+00 | -- | Inf
721.98/722.25 c 722s|210000 | 192 | 2797k| 13.3 | 15M| 54 | 37 | 482 |1523 | 482 | 972 | 957 |6954 | 10k| 0.000000e+00 | -- | Inf
758.46/758.72 c 759s|220000 | 184 | 2948k| 13.4 | 15M| 54 | - | 482 |1587 | 482 | 972 | 957 |7219 | 10k| 0.000000e+00 | -- | Inf
796.75/797.09 c 797s|230000 | 189 | 3107k| 13.5 | 15M| 54 | 49 | 482 |1551 | 482 | 972 | 957 |7493 | 11k| 0.000000e+00 | -- | Inf
837.54/837.86 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
837.54/837.86 c 838s|240000 | 182 | 3278k| 13.6 | 15M| 55 | - | 482 |1554 | 0 | 0 | 957 |7746 | 11k| 0.000000e+00 | -- | Inf
877.93/878.22 c 878s|250000 | 201 | 3441k| 13.8 | 15M| 55 | 41 | 482 |1426 | 482 | 972 | 957 |8020 | 11k| 0.000000e+00 | -- | Inf
909.52/909.86 c 910s|260000 | 199 | 3576k| 13.7 | 16M| 55 | - | 482 |1517 | 0 | 0 | 957 |8366 | 12k| 0.000000e+00 | -- | Inf
943.01/943.32 c 943s|270000 | 200 | 3714k| 13.7 | 16M| 55 | 34 | 482 |1530 | 482 | 972 | 957 |8735 | 12k| 0.000000e+00 | -- | Inf
980.99/981.33 c 981s|280000 | 193 | 3873k| 13.8 | 15M| 55 | - | 482 |1449 | 482 | 972 | 957 |8990 | 12k| 0.000000e+00 | -- | Inf
1012.28/1012.65 c 1013s|290000 | 205 | 4003k| 13.8 | 16M| 55 | - | 482 |1573 | 0 | 0 | 957 |9274 | 12k| 0.000000e+00 | -- | Inf
1041.29/1041.63 c 1042s|300000 | 213 | 4123k| 13.7 | 16M| 55 | 32 | 482 |1702 | 482 | 972 | 957 |9659 | 12k| 0.000000e+00 | -- | Inf
1074.06/1074.46 c 1074s|310000 | 208 | 4260k| 13.7 | 16M| 58 | 50 | 482 |1784 | 482 | 972 | 957 |9968 | 12k| 0.000000e+00 | -- | Inf
1108.05/1108.46 c 1108s|320000 | 221 | 4403k| 13.8 | 16M| 60 | - | 482 |1754 | 0 | 0 | 957 | 10k| 13k| 0.000000e+00 | -- | Inf
1136.05/1136.40 c 1136s|330000 | 224 | 4517k| 13.7 | 16M| 63 | 29 | 482 |1791 | 482 | 972 | 957 | 10k| 13k| 0.000000e+00 | -- | Inf
1169.23/1169.68 c 1170s|340000 | 196 | 4653k| 13.7 | 16M| 66 | - | 482 |1688 | 482 | 972 | 957 | 10k| 13k| 0.000000e+00 | -- | Inf
1209.22/1209.68 c 1210s|350000 | 210 | 4825k| 13.8 | 16M| 66 | 55 | 482 |1688 | 482 | 972 | 957 | 11k| 13k| 0.000000e+00 | -- | Inf
1248.02/1248.46 c 1248s|360000 | 223 | 4990k| 13.9 | 16M| 66 | 44 | 482 |1762 | 482 | 972 | 957 | 11k| 13k| 0.000000e+00 | -- | Inf
1280.39/1280.85 c 1281s|370000 | 235 | 5126k| 13.8 | 16M| 66 | 35 | 482 |1906 | 482 | 972 | 957 | 11k| 13k| 0.000000e+00 | -- | Inf
1312.58/1313.08 c 1313s|380000 | 254 | 5260k| 13.8 | 16M| 66 | 32 | 482 |2019 | 482 | 972 | 957 | 12k| 13k| 0.000000e+00 | -- | Inf
1348.37/1348.84 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1348.37/1348.84 c 1349s|390000 | 227 | 5407k| 13.9 | 16M| 66 | - | 482 |1871 | 0 | 0 | 957 | 12k| 13k| 0.000000e+00 | -- | Inf
1380.56/1381.08 c 1381s|400000 | 230 | 5543k| 13.9 | 16M| 66 | - | 482 |1769 | 0 | 0 | 957 | 12k| 14k| 0.000000e+00 | -- | Inf
1415.85/1416.39 c 1416s|410000 | 229 | 5692k| 13.9 | 16M| 66 | - | 482 |1762 | 482 | 972 | 957 | 12k| 14k| 0.000000e+00 | -- | Inf
1454.44/1454.98 c 1455s|420000 | 223 | 5827k| 13.9 | 16M| 66 | - | 482 |1668 | 0 | 0 | 957 | 13k| 15k| 0.000000e+00 | -- | Inf
1481.33/1481.83 c 1482s|430000 | 234 | 5936k| 13.8 | 16M| 66 | - | 482 |1829 | 0 | 0 | 957 | 13k| 15k| 0.000000e+00 | -- | Inf
1512.92/1513.42 c 1513s|440000 | 243 | 6057k| 13.8 | 16M| 66 | - | 482 |1936 | 0 | 0 | 957 | 14k| 16k| 0.000000e+00 | -- | Inf
1539.91/1540.44 c 1540s|450000 | 260 | 6169k| 13.7 | 16M| 66 | - | 482 |2068 | 0 | 0 | 957 | 14k| 16k| 0.000000e+00 | -- | Inf
1569.41/1569.92 c 1570s|460000 | 251 | 6293k| 13.7 | 16M| 66 | 39 | 482 |2050 | 482 | 972 | 957 | 14k| 16k| 0.000000e+00 | -- | Inf
1601.39/1601.95 c 1602s|470000 | 248 | 6428k| 13.7 | 16M| 66 | - | 482 |2078 | 0 | 0 | 957 | 14k| 16k| 0.000000e+00 | -- | Inf
1633.39/1633.93 c 1634s|480000 | 256 | 6562k| 13.7 | 16M| 66 | - | 482 |2071 | 482 | 972 | 957 | 15k| 16k| 0.000000e+00 | -- | Inf
1664.57/1665.11 c 1665s|490000 | 253 | 6692k| 13.7 | 16M| 66 | 36 | 482 |2031 | 482 | 972 | 957 | 15k| 16k| 0.000000e+00 | -- | Inf
1697.77/1698.34 c 1698s|500000 | 276 | 6830k| 13.7 | 16M| 66 | - | 482 |2051 | 482 | 972 | 957 | 15k| 16k| 0.000000e+00 | -- | Inf
1729.96/1730.58 c 1731s|510000 | 295 | 6965k| 13.7 | 16M| 66 | 47 | 482 |2111 | 482 | 972 | 957 | 16k| 16k| 0.000000e+00 | -- | Inf
1764.05/1764.63 c 1765s|520000 | 286 | 7109k| 13.7 | 16M| 66 | 53 | 482 |2074 | 482 | 972 | 957 | 16k| 16k| 0.000000e+00 | -- | Inf
1789.44/1790.01 c
1789.44/1790.01 c SCIP Status : solving was interrupted [time limit reached]
1789.44/1790.01 c Solving Time (sec) : 1789.98
1789.44/1790.01 c Solving Nodes : 528451
1789.44/1790.01 c Primal Bound : +1.00000000000000e+20 (0 solutions)
1789.44/1790.01 c Dual Bound : +0.00000000000000e+00
1789.44/1790.01 c Gap : infinite
1789.44/1790.01 s UNKNOWN
1789.44/1790.01 c SCIP Status : solving was interrupted [time limit reached]
1789.44/1790.01 c Solving Time : 1789.98
1789.44/1790.01 c Original Problem :
1789.44/1790.01 c Problem name : HOME/instance-2703974-1278548281.opb
1789.44/1790.01 c Variables : 490 (490 binary, 0 integer, 0 implicit integer, 0 continuous)
1789.44/1790.01 c Constraints : 737 initial, 737 maximal
1789.44/1790.01 c Presolved Problem :
1789.44/1790.01 c Problem name : t_HOME/instance-2703974-1278548281.opb
1789.44/1790.01 c Variables : 482 (482 binary, 0 integer, 0 implicit integer, 0 continuous)
1789.44/1790.01 c Constraints : 725 initial, 2164 maximal
1789.44/1790.01 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs
1789.44/1790.01 c trivial : 0.00 0 0 0 0 0 0 0 0
1789.44/1790.01 c dualfix : 0.00 0 0 0 0 0 0 0 0
1789.44/1790.01 c boundshift : 0.00 0 0 0 0 0 0 0 0
1789.44/1790.01 c inttobinary : 0.00 0 0 0 0 0 0 0 0
1789.44/1790.01 c implics : 0.00 0 8 0 0 0 0 0 0
1789.44/1790.01 c probing : 0.00 0 0 0 0 0 0 0 0
1789.44/1790.01 c knapsack : 0.03 0 0 0 0 0 0 0 0
1789.44/1790.01 c setppc : 0.00 0 0 0 0 0 12 0 0
1789.44/1790.01 c linear : 0.02 0 0 0 0 0 0 0 0
1789.44/1790.01 c logicor : 0.00 0 0 0 0 0 0 0 0
1789.44/1790.01 c root node : - 0 - - 0 - - - -
1789.44/1790.01 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children
1789.44/1790.01 c integral : 0 0 0 266961 0 434 2643 0 0 529254
1789.44/1790.01 c knapsack : 340 5 1267461 0 0 146428 5205170 603 0 0
1789.44/1790.01 c setppc : 241 5 1109157 0 0 203 1331915 0 0 0
1789.44/1790.01 c linear : 0+ 5 29 0 0 0 0 0 0 0
1789.44/1790.01 c logicor : 144+ 5 841017 0 0 2094 747931 0 0 0
1789.44/1790.01 c countsols : 0 0 0 0 0 0 0 0 0 0
1789.44/1790.01 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS
1789.44/1790.01 c integral : 104.52 0.00 0.00 104.52 0.00
1789.44/1790.01 c knapsack : 66.19 0.05 66.14 0.00 0.00
1789.44/1790.01 c setppc : 8.70 0.00 8.70 0.00 0.00
1789.44/1790.01 c linear : 0.00 0.00 0.00 0.00 0.00
1789.44/1790.01 c logicor : 16.08 0.00 16.08 0.00 0.00
1789.44/1790.01 c countsols : 0.00 0.00 0.00 0.00 0.00
1789.44/1790.01 c Propagators : Time Calls Cutoffs DomReds
1789.44/1790.01 c vbounds : 0.59 1 0 0
1789.44/1790.01 c rootredcost : 0.61 0 0 0
1789.44/1790.01 c pseudoobj : 0.42 0 0 0
1789.44/1790.01 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1789.44/1790.01 c propagation : 8.98 18102 16342 129571 106.8 101 125.0 -
1789.44/1790.01 c infeasible LP : 46.21 115156 0 0 0.0 0 0.0 0
1789.44/1790.01 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1789.44/1790.01 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1789.44/1790.01 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 -
1789.44/1790.01 c applied globally : - - - 16488 19.9 - - -
1789.44/1790.01 c applied locally : - - - 51 67.4 - - -
1789.44/1790.01 c Separators : Time Calls Cutoffs DomReds Cuts Conss
1789.44/1790.01 c cut pool : 0.01 4 - - 153 - (maximal pool size: 2771)
1789.44/1790.01 c redcost : 3.92 265873 0 0 0 0
1789.44/1790.01 c impliedbounds : 0.01 5 0 0 1435 0
1789.44/1790.01 c intobj : 0.00 0 0 0 0 0
1789.44/1790.01 c cgmip : 0.00 0 0 0 0 0
1789.44/1790.01 c gomory : 0.99 5 0 0 389 0
1789.44/1790.01 c strongcg : 0.71 5 0 0 2312 0
1789.44/1790.01 c cmir : 0.00 0 0 0 0 0
1789.44/1790.01 c flowcover : 0.00 0 0 0 0 0
1789.44/1790.01 c clique : 0.01 1 0 0 0 0
1789.44/1790.01 c zerohalf : 0.00 0 0 0 0 0
1789.44/1790.01 c mcf : 0.00 1 0 0 0 0
1789.44/1790.01 c rapidlearning : 0.16 1 0 0 0 1
1789.44/1790.01 c Pricers : Time Calls Vars
1789.44/1790.01 c problem variables: 0.00 0 0
1789.44/1790.01 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
1789.44/1790.01 c relpscost : 103.97 266961 434 2643 0 0 529254
1789.44/1790.01 c pscost : 0.00 0 0 0 0 0 0
1789.44/1790.01 c inference : 0.00 0 0 0 0 0 0
1789.44/1790.01 c mostinf : 0.00 0 0 0 0 0 0
1789.44/1790.01 c leastinf : 0.00 0 0 0 0 0 0
1789.44/1790.01 c fullstrong : 0.00 0 0 0 0 0 0
1789.44/1790.01 c allfullstrong : 0.00 0 0 0 0 0 0
1789.44/1790.01 c random : 0.00 0 0 0 0 0 0
1789.44/1790.01 c Primal Heuristics : Time Calls Found
1789.44/1790.01 c LP solutions : 0.00 - 0
1789.44/1790.01 c pseudo solutions : 0.00 - 0
1789.44/1790.01 c trivial : 0.00 1 0
1789.44/1790.01 c simplerounding : 0.00 0 0
1789.44/1790.01 c zirounding : 0.00 0 0
1789.44/1790.01 c rounding : 0.00 0 0
1789.44/1790.01 c shifting : 0.00 0 0
1789.44/1790.01 c intshifting : 0.00 0 0
1789.44/1790.01 c oneopt : 0.00 0 0
1789.44/1790.01 c twoopt : 0.00 0 0
1789.44/1790.01 c fixandinfer : 0.00 0 0
1789.44/1790.01 c feaspump : 0.00 0 0
1789.44/1790.01 c coefdiving : 0.00 0 0
1789.44/1790.01 c pscostdiving : 0.00 0 0
1789.44/1790.01 c fracdiving : 0.00 0 0
1789.44/1790.01 c veclendiving : 0.00 0 0
1789.44/1790.01 c intdiving : 0.00 0 0
1789.44/1790.01 c actconsdiving : 0.00 0 0
1789.44/1790.01 c objpscostdiving : 0.00 0 0
1789.44/1790.01 c rootsoldiving : 0.00 0 0
1789.44/1790.01 c linesearchdiving : 0.00 0 0
1789.44/1790.01 c guideddiving : 0.00 0 0
1789.44/1790.01 c octane : 0.00 0 0
1789.44/1790.01 c rens : 0.00 0 0
1789.44/1790.01 c rins : 0.00 0 0
1789.44/1790.01 c localbranching : 0.00 0 0
1789.44/1790.01 c mutation : 0.00 0 0
1789.44/1790.01 c crossover : 0.00 0 0
1789.44/1790.01 c dins : 0.00 0 0
1789.44/1790.01 c undercover : 0.00 0 0
1789.44/1790.01 c nlp : 0.00 0 0
1789.44/1790.01 c trysol : 0.00 0 0
1789.44/1790.01 c LP : Time Calls Iterations Iter/call Iter/sec
1789.44/1790.01 c primal LP : 0.00 0 0 0.00 -
1789.44/1790.01 c dual LP : 1374.21 381743 7214671 18.90 5250.07
1789.44/1790.01 c lex dual LP : 0.00 0 0 0.00 -
1789.44/1790.01 c barrier LP : 0.00 0 0 0.00 -
1789.44/1790.01 c diving/probing LP: 0.00 0 0 0.00 -
1789.44/1790.01 c strong branching : 94.08 16647 407326 24.47 4329.47
1789.44/1790.01 c (at root node) : - 10 6576 657.60 -
1789.44/1790.01 c conflict analysis: 0.00 0 0 0.00 -
1789.44/1790.01 c B&B Tree :
1789.44/1790.01 c number of runs : 1
1789.44/1790.01 c nodes : 528451
1789.44/1790.01 c nodes (total) : 528451
1789.44/1790.01 c nodes left : 292
1789.44/1790.01 c max depth : 66
1789.44/1790.01 c max depth (total): 66
1789.44/1790.01 c backtracks : 70117 (13.3%)
1789.44/1790.01 c delayed cutoffs : 512
1789.44/1790.01 c repropagations : 37331 (74727 domain reductions, 491 cutoffs)
1789.44/1790.01 c avg switch length: 2.77
1789.44/1790.01 c switching time : 45.10
1789.44/1790.01 c Solution :
1789.44/1790.01 c Solutions found : 0 (0 improvements)
1789.44/1790.01 c Primal Bound : -
1789.44/1790.01 c Dual Bound : +0.00000000000000e+00
1789.44/1790.01 c Gap : infinite
1789.44/1790.01 c Root Dual Bound : +0.00000000000000e+00
1789.44/1790.01 c Root Iterations : 3021
1789.44/1790.03 c Time complete: 1789.48.
ERROR: no interpretation found !
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2703974-1278548281/watcher-2703974-1278548281 -o /tmp/evaluation-result-2703974-1278548281/solver-2703974-1278548281 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt.spx -f HOME/instance-2703974-1278548281.opb -t 1800 -m 1800 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): 2000 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 1.00 1.00 0.87 3/106 27021 /proc/meminfo: memFree=1711916/2059040 swapFree=4139544/4192956 [pid=27021] ppid=27019 vsize=7908 CPUtime=0 /proc/27021/stat : 27021 (pbscip.linux.x8) R 27019 27021 26260 0 -1 4202496 1276 0 0 0 0 0 0 0 25 0 1 0 23039619 8097792 1187 1992294400 4194304 8395647 140733863665728 18446744073709551615 7439152 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/27021/statm: 1977 1187 370 1026 0 947 0 [startup+0.0279329 s] /proc/loadavg: 1.00 1.00 0.87 3/106 27021 /proc/meminfo: memFree=1711916/2059040 swapFree=4139544/4192956 [pid=27021] ppid=27019 vsize=11116 CPUtime=0.02 /proc/27021/stat : 27021 (pbscip.linux.x8) R 27019 27021 26260 0 -1 4202496 2063 0 0 0 2 0 0 0 25 0 1 0 23039619 11382784 1973 1992294400 4194304 8395647 140733863665728 18446744073709551615 4288144 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/27021/statm: 2779 1973 390 1026 0 1749 0 Current children cumulated CPU time (s) 0.02 Current children cumulated vsize (KiB) 11116 [startup+0.10194 s] /proc/loadavg: 1.00 1.00 0.87 3/106 27021 /proc/meminfo: memFree=1711916/2059040 swapFree=4139544/4192956 [pid=27021] ppid=27019 vsize=18368 CPUtime=0.09 /proc/27021/stat : 27021 (pbscip.linux.x8) R 27019 27021 26260 0 -1 4202496 4007 0 0 0 9 0 0 0 25 0 1 0 23039619 18808832 3564 1992294400 4194304 8395647 140733863665728 18446744073709551615 7355136 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/27021/statm: 4592 3581 532 1026 0 3562 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 18368 [startup+0.301965 s] /proc/loadavg: 1.00 1.00 0.87 3/106 27021 /proc/meminfo: memFree=1711916/2059040 swapFree=4139544/4192956 [pid=27021] ppid=27019 vsize=34244 CPUtime=0.29 /proc/27021/stat : 27021 (pbscip.linux.x8) R 27019 27021 26260 0 -1 4202496 7805 0 0 0 26 3 0 0 25 0 1 0 23039619 35065856 7359 1992294400 4194304 8395647 140733863665728 18446744073709551615 7428202 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/27021/statm: 8561 7359 615 1026 0 7531 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 34244 [startup+0.701003 s] /proc/loadavg: 1.00 1.00 0.87 3/106 27021 /proc/meminfo: memFree=1711916/2059040 swapFree=4139544/4192956 [pid=27021] ppid=27019 vsize=22868 CPUtime=0.69 /proc/27021/stat : 27021 (pbscip.linux.x8) R 27019 27021 26260 0 -1 4202496 7958 0 0 0 65 4 0 0 25 0 1 0 23039619 23416832 4939 1992294400 4194304 8395647 140733863665728 18446744073709551615 7185507 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/27021/statm: 5717 4939 624 1026 0 4687 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 22868 [startup+1.50108 s] /proc/loadavg: 1.00 1.00 0.87 2/107 27022 /proc/meminfo: memFree=1689340/2059040 swapFree=4139544/4192956 [pid=27021] ppid=27019 vsize=30248 CPUtime=1.49 /proc/27021/stat : 27021 (pbscip.linux.x8) R 27019 27021 26260 0 -1 4202496 9717 0 0 0 143 6 0 0 25 0 1 0 23039619 30973952 6693 1992294400 4194304 8395647 140733863665728 18446744073709551615 7185500 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/27021/statm: 7562 6693 625 1026 0 6532 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 30248 [startup+3.10125 s] /proc/loadavg: 1.00 1.00 0.87 2/107 27022 /proc/meminfo: memFree=1683264/2059040 swapFree=4139544/4192956 [pid=27021] ppid=27019 vsize=37160 CPUtime=3.09 /proc/27021/stat : 27021 (pbscip.linux.x8) R 27019 27021 26260 0 -1 4202496 11475 0 0 0 302 7 0 0 25 0 1 0 23039619 38051840 8451 1992294400 4194304 8395647 140733863665728 18446744073709551615 6198182 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/27021/statm: 9290 8451 625 1026 0 8260 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 37160 [startup+6.30157 s] /proc/loadavg: 1.00 1.00 0.87 2/107 27022 /proc/meminfo: memFree=1677188/2059040 swapFree=4139544/4192956 [pid=27021] ppid=27019 vsize=39876 CPUtime=6.29 /proc/27021/stat : 27021 (pbscip.linux.x8) R 27019 27021 26260 0 -1 4202496 12146 0 0 0 621 8 0 0 25 0 1 0 23039619 40833024 9121 1992294400 4194304 8395647 140733863665728 18446744073709551615 6697355 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/27021/statm: 9969 9121 624 1026 0 8939 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 39876 [startup+12.7012 s] /proc/loadavg: 1.00 1.00 0.87 2/107 27023 /proc/meminfo: memFree=1677188/2059040 swapFree=4139544/4192956 [pid=27021] ppid=27019 vsize=39876 CPUtime=12.69 /proc/27021/stat : 27021 (pbscip.linux.x8) R 27019 27021 26260 0 -1 4202496 12158 0 0 0 1253 16 0 0 25 0 1 0 23039619 40833024 9133 1992294400 4194304 8395647 140733863665728 18446744073709551615 7385355 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/27021/statm: 9969 9133 626 1026 0 8939 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 39876 [startup+25.5015 s] /proc/loadavg: 1.07 1.02 0.87 2/107 27023 /proc/meminfo: memFree=1677188/2059040 swapFree=4139544/4192956 [pid=27021] ppid=27019 vsize=39876 CPUtime=25.48 /proc/27021/stat : 27021 (pbscip.linux.x8) R 27019 27021 26260 0 -1 4202496 12194 0 0 0 2511 37 0 0 25 0 1 0 23039619 40833024 9169 1992294400 4194304 8395647 140733863665728 18446744073709551615 6574795 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/27021/statm: 9969 9169 628 1026 0 8939 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 39876 [startup+51.1011 s] /proc/loadavg: 1.04 1.01 0.88 2/107 27024 /proc/meminfo: memFree=1677188/2059040 swapFree=4139544/4192956 [pid=27021] ppid=27019 vsize=39876 CPUtime=51.08 /proc/27021/stat : 27021 (pbscip.linux.x8) R 27019 27021 26260 0 -1 4202496 12194 0 0 0 5031 77 0 0 25 0 1 0 23039619 40833024 9169 1992294400 4194304 8395647 140733863665728 18446744073709551615 7428202 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/27021/statm: 9969 9169 628 1026 0 8939 0 Current children cumulated CPU time (s) 51.08 Current children cumulated vsize (KiB) 39876 [startup+102.309 s] /proc/loadavg: 1.12 1.04 0.89 2/107 27028 /proc/meminfo: memFree=1676816/2059040 swapFree=4139544/4192956 [pid=27021] ppid=27019 vsize=39876 CPUtime=102.27 /proc/27021/stat : 27021 (pbscip.linux.x8) R 27019 27021 26260 0 -1 4202496 12194 0 0 0 10069 158 0 0 25 0 1 0 23039619 40833024 9169 1992294400 4194304 8395647 140733863665728 18446744073709551615 6696987 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/27021/statm: 9969 9169 628 1026 0 8939 0 Current children cumulated CPU time (s) 102.27 Current children cumulated vsize (KiB) 39876 [startup+162.301 s] /proc/loadavg: 1.09 1.04 0.90 2/107 27030 /proc/meminfo: memFree=1676816/2059040 swapFree=4139544/4192956 [pid=27021] ppid=27019 vsize=39876 CPUtime=162.25 /proc/27021/stat : 27021 (pbscip.linux.x8) R 27019 27021 26260 0 -1 4202496 12194 0 0 0 15968 257 0 0 25 0 1 0 23039619 40833024 9169 1992294400 4194304 8395647 140733863665728 18446744073709551615 7428202 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/27021/statm: 9969 9169 628 1026 0 8939 0 Current children cumulated CPU time (s) 162.25 Current children cumulated vsize (KiB) 39876 [startup+222.302 s] /proc/loadavg: 1.07 1.05 0.91 2/107 27031 /proc/meminfo: memFree=1676816/2059040 swapFree=4139544/4192956 [pid=27021] ppid=27019 vsize=40072 CPUtime=222.22 /proc/27021/stat : 27021 (pbscip.linux.x8) R 27019 27021 26260 0 -1 4202496 12229 0 0 0 21869 353 0 0 25 0 1 0 23039619 41033728 9204 1992294400 4194304 8395647 140733863665728 18446744073709551615 6696785 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/27021/statm: 10018 9204 628 1026 0 8988 0 Current children cumulated CPU time (s) 222.22 Current children cumulated vsize (KiB) 40072 [startup+282.302 s] /proc/loadavg: 1.06 1.05 0.92 2/107 27033 /proc/meminfo: memFree=1676444/2059040 swapFree=4139544/4192956 [pid=27021] ppid=27019 vsize=40680 CPUtime=282.21 /proc/27021/stat : 27021 (pbscip.linux.x8) R 27019 27021 26260 0 -1 4202496 12362 0 0 0 27777 444 0 0 25 0 1 0 23039619 41656320 9337 1992294400 4194304 8395647 140733863665728 18446744073709551615 7428202 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/27021/statm: 10170 9337 628 1026 0 9140 0 Current children cumulated CPU time (s) 282.21 Current children cumulated vsize (KiB) 40680 [startup+342.302 s] /proc/loadavg: 1.06 1.05 0.92 2/107 27034 /proc/meminfo: memFree=1676444/2059040 swapFree=4139544/4192956 [pid=27021] ppid=27019 vsize=40680 CPUtime=342.18 /proc/27021/stat : 27021 (pbscip.linux.x8) R 27019 27021 26260 0 -1 4202496 12362 0 0 0 33681 537 0 0 25 0 1 0 23039619 41656320 9337 1992294400 4194304 8395647 140733863665728 18446744073709551615 6472120 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/27021/statm: 10170 9337 628 1026 0 9140 0 Current children cumulated CPU time (s) 342.18 Current children cumulated vsize (KiB) 40680 [startup+402.302 s] /proc/loadavg: 1.13 1.07 0.93 2/107 27036 /proc/meminfo: memFree=1676444/2059040 swapFree=4139544/4192956 [pid=27021] ppid=27019 vsize=40680 CPUtime=402.16 /proc/27021/stat : 27021 (pbscip.linux.x8) R 27019 27021 26260 0 -1 4202496 12362 0 0 0 39588 628 0 0 25 0 1 0 23039619 41656320 9337 1992294400 4194304 8395647 140733863665728 18446744073709551615 7428202 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/27021/statm: 10170 9337 628 1026 0 9140 0 Current children cumulated CPU time (s) 402.16 Current children cumulated vsize (KiB) 40680 [startup+462.302 s] /proc/loadavg: 1.12 1.07 0.94 2/107 27038 /proc/meminfo: memFree=1676444/2059040 swapFree=4139544/4192956 [pid=27021] ppid=27019 vsize=40680 CPUtime=462.15 /proc/27021/stat : 27021 (pbscip.linux.x8) R 27019 27021 26260 0 -1 4202496 12362 0 0 0 45488 727 0 0 25 0 1 0 23039619 41656320 9337 1992294400 4194304 8395647 140733863665728 18446744073709551615 7428202 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/27021/statm: 10170 9337 628 1026 0 9140 0 Current children cumulated CPU time (s) 462.15 Current children cumulated vsize (KiB) 40680 [startup+522.3 s] /proc/loadavg: 1.14 1.09 0.95 2/107 27039 /proc/meminfo: memFree=1676320/2059040 swapFree=4139544/4192956 [pid=27021] ppid=27019 vsize=40680 CPUtime=522.13 /proc/27021/stat : 27021 (pbscip.linux.x8) R 27019 27021 26260 0 -1 4202496 12362 0 0 0 51393 820 0 0 25 0 1 0 23039619 41656320 9337 1992294400 4194304 8395647 140733863665728 18446744073709551615 7428202 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/27021/statm: 10170 9337 628 1026 0 9140 0 Current children cumulated CPU time (s) 522.13 Current children cumulated vsize (KiB) 40680 [startup+582.3 s] /proc/loadavg: 1.05 1.07 0.95 2/107 27041 /proc/meminfo: memFree=1676320/2059040 swapFree=4139544/4192956 [pid=27021] ppid=27019 vsize=40680 CPUtime=582.11 /proc/27021/stat : 27021 (pbscip.linux.x8) R 27019 27021 26260 0 -1 4202496 12362 0 0 0 57294 917 0 0 25 0 1 0 23039619 41656320 9337 1992294400 4194304 8395647 140733863665728 18446744073709551615 7428202 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/27021/statm: 10170 9337 628 1026 0 9140 0 Current children cumulated CPU time (s) 582.11 Current children cumulated vsize (KiB) 40680 [startup+642.3 s] /proc/loadavg: 1.02 1.05 0.95 2/107 27042 /proc/meminfo: memFree=1676072/2059040 swapFree=4139544/4192956 [pid=27021] ppid=27019 vsize=40680 CPUtime=642.1 /proc/27021/stat : 27021 (pbscip.linux.x8) R 27019 27021 26260 0 -1 4202496 12386 0 0 0 63196 1014 0 0 25 0 1 0 23039619 41656320 9361 1992294400 4194304 8395647 140733863665728 18446744073709551615 7428202 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/27021/statm: 10170 9361 628 1026 0 9140 0 Current children cumulated CPU time (s) 642.1 Current children cumulated vsize (KiB) 40680 [startup+702.301 s] ################ # More data... # ################ /proc/meminfo: memFree=1675452/2059040 swapFree=4139544/4192956 [pid=27021] ppid=27019 vsize=40964 CPUtime=1061.96 /proc/27021/stat : 27021 (pbscip.linux.x8) R 27019 27021 26260 0 -1 4202496 12453 0 0 0 104504 1692 0 0 25 0 1 0 23039619 41947136 9428 1992294400 4194304 8395647 140733863665728 18446744073709551615 7428202 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/27021/statm: 10241 9428 628 1026 0 9211 0 Current children cumulated CPU time (s) 1061.96 Current children cumulated vsize (KiB) 40964 [startup+1122.3 s] /proc/loadavg: 1.00 1.00 0.95 2/107 27055 /proc/meminfo: memFree=1675452/2059040 swapFree=4139544/4192956 [pid=27021] ppid=27019 vsize=40964 CPUtime=1121.95 /proc/27021/stat : 27021 (pbscip.linux.x8) R 27019 27021 26260 0 -1 4202496 12453 0 0 0 110410 1785 0 0 25 0 1 0 23039619 41947136 9428 1992294400 4194304 8395647 140733863665728 18446744073709551615 7428202 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/27021/statm: 10241 9428 628 1026 0 9211 0 Current children cumulated CPU time (s) 1121.95 Current children cumulated vsize (KiB) 40964 [startup+1182.3 s] /proc/loadavg: 1.00 1.00 0.95 2/107 27057 /proc/meminfo: memFree=1675328/2059040 swapFree=4139544/4192956 [pid=27021] ppid=27019 vsize=40964 CPUtime=1181.93 /proc/27021/stat : 27021 (pbscip.linux.x8) R 27019 27021 26260 0 -1 4202496 12453 0 0 0 116310 1883 0 0 25 0 1 0 23039619 41947136 9428 1992294400 4194304 8395647 140733863665728 18446744073709551615 6190008 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/27021/statm: 10241 9428 628 1026 0 9211 0 Current children cumulated CPU time (s) 1181.93 Current children cumulated vsize (KiB) 40964 [startup+1242.3 s] /proc/loadavg: 1.00 1.00 0.95 2/107 27058 /proc/meminfo: memFree=1675204/2059040 swapFree=4139544/4192956 [pid=27021] ppid=27019 vsize=40964 CPUtime=1241.91 /proc/27021/stat : 27021 (pbscip.linux.x8) R 27019 27021 26260 0 -1 4202496 12453 0 0 0 122213 1978 0 0 25 0 1 0 23039619 41947136 9428 1992294400 4194304 8395647 140733863665728 18446744073709551615 7428202 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/27021/statm: 10241 9428 628 1026 0 9211 0 Current children cumulated CPU time (s) 1241.91 Current children cumulated vsize (KiB) 40964 [startup+1302.3 s] /proc/loadavg: 1.00 1.00 0.95 2/107 27060 /proc/meminfo: memFree=1675080/2059040 swapFree=4139544/4192956 [pid=27021] ppid=27019 vsize=40964 CPUtime=1301.9 /proc/27021/stat : 27021 (pbscip.linux.x8) R 27019 27021 26260 0 -1 4202496 12463 0 0 0 128116 2074 0 0 25 0 1 0 23039619 41947136 9438 1992294400 4194304 8395647 140733863665728 18446744073709551615 7428202 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/27021/statm: 10241 9438 628 1026 0 9211 0 Current children cumulated CPU time (s) 1301.9 Current children cumulated vsize (KiB) 40964 [startup+1362.3 s] /proc/loadavg: 1.00 1.00 0.95 2/107 27062 /proc/meminfo: memFree=1674956/2059040 swapFree=4139544/4192956 [pid=27021] ppid=27019 vsize=41148 CPUtime=1361.87 /proc/27021/stat : 27021 (pbscip.linux.x8) R 27019 27021 26260 0 -1 4202496 12482 0 0 0 134021 2166 0 0 25 0 1 0 23039619 42135552 9457 1992294400 4194304 8395647 140733863665728 18446744073709551615 6573318 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/27021/statm: 10287 9457 628 1026 0 9257 0 Current children cumulated CPU time (s) 1361.87 Current children cumulated vsize (KiB) 41148 [startup+1422.31 s] /proc/loadavg: 1.00 1.00 0.95 2/107 27063 /proc/meminfo: memFree=1674956/2059040 swapFree=4139544/4192956 [pid=27021] ppid=27019 vsize=41148 CPUtime=1421.86 /proc/27021/stat : 27021 (pbscip.linux.x8) R 27019 27021 26260 0 -1 4202496 12482 0 0 0 139926 2260 0 0 25 0 1 0 23039619 42135552 9457 1992294400 4194304 8395647 140733863665728 18446744073709551615 7428202 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/27021/statm: 10287 9457 628 1026 0 9257 0 Current children cumulated CPU time (s) 1421.86 Current children cumulated vsize (KiB) 41148 [startup+1482.3 s] /proc/loadavg: 1.00 1.00 0.95 2/107 27065 /proc/meminfo: memFree=1674956/2059040 swapFree=4139544/4192956 [pid=27021] ppid=27019 vsize=41148 CPUtime=1481.83 /proc/27021/stat : 27021 (pbscip.linux.x8) R 27019 27021 26260 0 -1 4202496 12482 0 0 0 145830 2353 0 0 25 0 1 0 23039619 42135552 9457 1992294400 4194304 8395647 140733863665728 18446744073709551615 4687929 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/27021/statm: 10287 9457 628 1026 0 9257 0 Current children cumulated CPU time (s) 1481.83 Current children cumulated vsize (KiB) 41148 [startup+1542.3 s] /proc/loadavg: 1.00 1.00 0.95 2/107 27066 /proc/meminfo: memFree=1674956/2059040 swapFree=4139544/4192956 [pid=27021] ppid=27019 vsize=41148 CPUtime=1541.81 /proc/27021/stat : 27021 (pbscip.linux.x8) R 27019 27021 26260 0 -1 4202496 12482 0 0 0 151736 2445 0 0 25 0 1 0 23039619 42135552 9457 1992294400 4194304 8395647 140733863665728 18446744073709551615 6003082 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/27021/statm: 10287 9457 628 1026 0 9257 0 Current children cumulated CPU time (s) 1541.81 Current children cumulated vsize (KiB) 41148 [startup+1602.3 s] /proc/loadavg: 1.00 1.00 0.95 2/107 27068 /proc/meminfo: memFree=1674956/2059040 swapFree=4139544/4192956 [pid=27021] ppid=27019 vsize=41148 CPUtime=1601.79 /proc/27021/stat : 27021 (pbscip.linux.x8) R 27019 27021 26260 0 -1 4202496 12482 0 0 0 157641 2538 0 0 25 0 1 0 23039619 42135552 9457 1992294400 4194304 8395647 140733863665728 18446744073709551615 6745186 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/27021/statm: 10287 9457 628 1026 0 9257 0 Current children cumulated CPU time (s) 1601.79 Current children cumulated vsize (KiB) 41148 [startup+1662.3 s] /proc/loadavg: 1.00 1.00 0.95 2/107 27070 /proc/meminfo: memFree=1674956/2059040 swapFree=4139544/4192956 [pid=27021] ppid=27019 vsize=41148 CPUtime=1661.77 /proc/27021/stat : 27021 (pbscip.linux.x8) R 27019 27021 26260 0 -1 4202496 12488 0 0 0 163545 2632 0 0 25 0 1 0 23039619 42135552 9463 1992294400 4194304 8395647 140733863665728 18446744073709551615 6691333 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/27021/statm: 10287 9463 628 1026 0 9257 0 Current children cumulated CPU time (s) 1661.77 Current children cumulated vsize (KiB) 41148 [startup+1722.3 s] /proc/loadavg: 1.00 1.00 0.95 2/107 27071 /proc/meminfo: memFree=1674584/2059040 swapFree=4139544/4192956 [pid=27021] ppid=27019 vsize=41432 CPUtime=1721.75 /proc/27021/stat : 27021 (pbscip.linux.x8) R 27019 27021 26260 0 -1 4202496 12529 0 0 0 169449 2726 0 0 25 0 1 0 23039619 42426368 9504 1992294400 4194304 8395647 140733863665728 18446744073709551615 7428202 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/27021/statm: 10358 9504 628 1026 0 9328 0 Current children cumulated CPU time (s) 1721.75 Current children cumulated vsize (KiB) 41432 [startup+1782.3 s] /proc/loadavg: 1.00 1.00 0.95 2/107 27073 /proc/meminfo: memFree=1674460/2059040 swapFree=4139544/4192956 [pid=27021] ppid=27019 vsize=41432 CPUtime=1781.74 /proc/27021/stat : 27021 (pbscip.linux.x8) R 27019 27021 26260 0 -1 4202496 12534 0 0 0 175354 2820 0 0 25 0 1 0 23039619 42426368 9509 1992294400 4194304 8395647 140733863665728 18446744073709551615 7428202 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/27021/statm: 10358 9509 628 1026 0 9328 0 Current children cumulated CPU time (s) 1781.74 Current children cumulated vsize (KiB) 41432 Solver just ended. Dumping a history of the last processes samples [startup+1785.5 s] /proc/loadavg: 1.00 1.00 0.95 2/107 27073 /proc/meminfo: memFree=1674460/2059040 swapFree=4139544/4192956 [pid=27021] ppid=27019 vsize=41432 CPUtime=1784.94 /proc/27021/stat : 27021 (pbscip.linux.x8) R 27019 27021 26260 0 -1 4202496 12534 0 0 0 175669 2825 0 0 25 0 1 0 23039619 42426368 9509 1992294400 4194304 8395647 140733863665728 18446744073709551615 7428202 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/27021/statm: 10358 9509 628 1026 0 9328 0 Current children cumulated CPU time (s) 1784.94 Current children cumulated vsize (KiB) 41432 [startup+1787.1 s] /proc/loadavg: 1.00 1.00 0.95 2/107 27073 /proc/meminfo: memFree=1674460/2059040 swapFree=4139544/4192956 [pid=27021] ppid=27019 vsize=41432 CPUtime=1786.54 /proc/27021/stat : 27021 (pbscip.linux.x8) R 27019 27021 26260 0 -1 4202496 12534 0 0 0 175827 2827 0 0 25 0 1 0 23039619 42426368 9509 1992294400 4194304 8395647 140733863665728 18446744073709551615 7428202 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/27021/statm: 10358 9509 628 1026 0 9328 0 Current children cumulated CPU time (s) 1786.54 Current children cumulated vsize (KiB) 41432 [startup+1788.7 s] /proc/loadavg: 1.00 1.00 0.95 2/107 27073 /proc/meminfo: memFree=1674460/2059040 swapFree=4139544/4192956 [pid=27021] ppid=27019 vsize=41432 CPUtime=1788.14 /proc/27021/stat : 27021 (pbscip.linux.x8) R 27019 27021 26260 0 -1 4202496 12534 0 0 0 175984 2830 0 0 25 0 1 0 23039619 42426368 9509 1992294400 4194304 8395647 140733863665728 18446744073709551615 7428202 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/27021/statm: 10358 9509 628 1026 0 9328 0 Current children cumulated CPU time (s) 1788.14 Current children cumulated vsize (KiB) 41432 [startup+1789.5 s] /proc/loadavg: 1.00 1.00 0.95 2/107 27073 /proc/meminfo: memFree=1674460/2059040 swapFree=4139544/4192956 [pid=27021] ppid=27019 vsize=41432 CPUtime=1788.94 /proc/27021/stat : 27021 (pbscip.linux.x8) R 27019 27021 26260 0 -1 4202496 12534 0 0 0 176063 2831 0 0 25 0 1 0 23039619 42426368 9509 1992294400 4194304 8395647 140733863665728 18446744073709551615 6311049 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/27021/statm: 10358 9509 628 1026 0 9328 0 Current children cumulated CPU time (s) 1788.94 Current children cumulated vsize (KiB) 41432 [startup+1789.9 s] /proc/loadavg: 1.00 1.00 0.95 2/107 27073 /proc/meminfo: memFree=1674460/2059040 swapFree=4139544/4192956 [pid=27021] ppid=27019 vsize=41432 CPUtime=1789.33 /proc/27021/stat : 27021 (pbscip.linux.x8) R 27019 27021 26260 0 -1 4202496 12534 0 0 0 176102 2831 0 0 25 0 1 0 23039619 42426368 9509 1992294400 4194304 8395647 140733863665728 18446744073709551615 6693794 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/27021/statm: 10358 9509 628 1026 0 9328 0 Current children cumulated CPU time (s) 1789.33 Current children cumulated vsize (KiB) 41432 [startup+1790 s] /proc/loadavg: 1.00 1.00 0.95 2/107 27073 /proc/meminfo: memFree=1674460/2059040 swapFree=4139544/4192956 [pid=27021] ppid=27019 vsize=41432 CPUtime=1789.44 /proc/27021/stat : 27021 (pbscip.linux.x8) R 27019 27021 26260 0 -1 4202496 12534 0 0 0 176112 2832 0 0 25 0 1 0 23039619 42426368 9509 1992294400 4194304 8395647 140733863665728 18446744073709551615 6723765 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/27021/statm: 10358 9509 628 1026 0 9328 0 Current children cumulated CPU time (s) 1789.44 Current children cumulated vsize (KiB) 41432 Child status: 0 Real time (s): 1790.04 CPU time (s): 1789.48 CPU user time (s): 1761.16 CPU system time (s): 28.3247 CPU usage (%): 99.9691 Max. virtual memory (cumulated for all children) (KiB): 41432 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1761.16 system time used= 28.3247 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 12539 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= 3 involuntary context switches= 3046 runsolver used 4.19236 second user time and 8.82766 second system time The end
Begin job on node027 at 2010-07-08 02:18:01 IDJOB=2703974 IDBENCH=1167 IDSOLVER=1213 FILE ID=node027/2703974-1278548281 PBS_JOBID= 11239510 Free space on /tmp= 62344 MiB SOLVER NAME= SCIPspx SCIP 1.2.1.3 with SoPlex 1.4.2 (CVS Version 30.5.2010) as LP solver BENCH NAME= PB06//final/normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/prestwich/armies/normalized-army13.24ls.opb COMMAND LINE= HOME/pbscip.linux.x86_64.gnu.opt.spx -f BENCHNAME -t TIMEOUT -m MEMLIMIT RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2703974-1278548281/watcher-2703974-1278548281 -o /tmp/evaluation-result-2703974-1278548281/solver-2703974-1278548281 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt.spx -f HOME/instance-2703974-1278548281.opb -t 1800 -m 1800 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= 1a4510076d9024b805728ffe22c0d108 RANDOM SEED=640414718 node027.alineos.net Linux 2.6.18-164.el5 #1 SMP Thu Sep 3 03:28:30 EDT 2009 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 15 model : 4 model name : Intel(R) Xeon(TM) CPU 3.00GHz stepping : 3 cpu MHz : 2800.222 cache size : 2048 KB physical id : 0 siblings : 1 core id : 0 cpu cores : 1 apicid : 0 fpu : yes fpu_exception : yes cpuid level : 5 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm constant_tsc pni monitor ds_cpl cid cx16 xtpr bogomips : 5600.44 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 15 model : 4 model name : Intel(R) Xeon(TM) CPU 3.00GHz stepping : 3 cpu MHz : 2800.222 cache size : 2048 KB physical id : 3 siblings : 1 core id : 0 cpu cores : 1 apicid : 6 fpu : yes fpu_exception : yes cpuid level : 5 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm constant_tsc pni monitor ds_cpl cid cx16 xtpr bogomips : 5599.45 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2059040 kB MemFree: 1712444 kB Buffers: 52352 kB Cached: 205764 kB SwapCached: 7364 kB Active: 138036 kB Inactive: 134436 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2059040 kB LowFree: 1712444 kB SwapTotal: 4192956 kB SwapFree: 4139544 kB Dirty: 10436 kB Writeback: 0 kB AnonPages: 11560 kB Mapped: 11848 kB Slab: 52204 kB PageTables: 4188 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 5222476 kB Committed_AS: 181560 kB VmallocTotal: 34359738367 kB VmallocUsed: 264952 kB VmallocChunk: 34359471699 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 Hugepagesize: 2048 kB Free space on /tmp at the end= 62336 MiB End job on node027 at 2010-07-08 02:47:52