| Solver Name | Answer | CPU time | Wall clock time |
|---|---|---|---|
| SCIPspx SCIP 1.2.1.2 with SoPlex 1.4.2 (CVS Version 30.5.2010) as LP solver | ? (TO) | 1800.06 | 1800.74 |
| 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.00 c SCIP version 1.2.1.2 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: SoPlex 1.4.2] [Expressions interpreter: NONE]
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-2667135-1276270663.opb>
0.00/0.02 c original problem has 490 variables (490 bin, 0 int, 0 impl, 0 cont) and 737 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.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.00/0.09 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.00/0.10 c presolving (3 rounds):
0.00/0.10 c 8 deleted vars, 0 deleted constraints, 0 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
0.00/0.10 c 19274 implications, 0 cliques
0.00/0.10 c presolved problem has 482 variables (482 bin, 0 int, 0 impl, 0 cont) and 737 constraints
0.00/0.10 c 340 constraints of type <knapsack>
0.00/0.10 c 397 constraints of type <logicor>
0.00/0.10 c transformed objective value is always integral (scale: 1)
0.00/0.10 c Presolving Time: 0.05
0.00/0.10 c - non default parameters ----------------------------------------------------------------------
0.00/0.10 c # SCIP version 1.2.1.2
0.00/0.10 c
0.00/0.10 c # frequency for displaying node information lines
0.00/0.10 c # [type: int, range: [-1,2147483647], default: 100]
0.00/0.10 c display/freq = 10000
0.00/0.10 c
0.00/0.10 c # maximal time in seconds to run
0.00/0.10 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.00/0.10 c limits/time = 1799.98
0.00/0.10 c
0.00/0.10 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.00/0.10 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.00/0.10 c limits/memory = 1620
0.00/0.10 c
0.00/0.10 c # solving stops, if the given number of solutions were found (-1: no limit)
0.00/0.10 c # [type: int, range: [-1,2147483647], default: -1]
0.00/0.10 c limits/solutions = 1
0.00/0.10 c
0.00/0.10 c # maximal number of separation rounds per node (-1: unlimited)
0.00/0.10 c # [type: int, range: [-1,2147483647], default: 5]
0.00/0.10 c separating/maxrounds = 1
0.00/0.10 c
0.00/0.10 c # maximal number of separation rounds in the root node (-1: unlimited)
0.00/0.10 c # [type: int, range: [-1,2147483647], default: -1]
0.00/0.10 c separating/maxroundsroot = 5
0.00/0.10 c
0.00/0.10 c # should presolving try to simplify inequalities
0.00/0.10 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.00/0.10 c constraints/linear/simplifyinequalities = TRUE
0.00/0.10 c
0.00/0.10 c # should disaggregation of knapsack constraints be allowed in preprocessing?
0.00/0.10 c # [type: bool, range: {TRUE,FALSE}, default: TRUE]
0.00/0.10 c constraints/knapsack/disaggregation = FALSE
0.00/0.10 c
0.00/0.10 c # should presolving try to simplify knapsacks
0.00/0.10 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.00/0.10 c constraints/knapsack/simplifyinequalities = TRUE
0.00/0.10 c
0.00/0.10 c # maximal number of presolving rounds the presolver participates in (-1: no limit)
0.00/0.10 c # [type: int, range: [-1,2147483647], default: -1]
0.00/0.10 c presolving/probing/maxrounds = 0
0.00/0.10 c
0.00/0.10 c # frequency for calling primal heuristic <coefdiving> (-1: never, 0: only at depth freqofs)
0.00/0.10 c # [type: int, range: [-1,2147483647], default: 10]
0.00/0.10 c heuristics/coefdiving/freq = -1
0.00/0.10 c
0.00/0.10 c # maximal fraction of diving LP iterations compared to node LP iterations
0.00/0.10 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
0.00/0.10 c heuristics/coefdiving/maxlpiterquot = 0.075
0.00/0.10 c
0.00/0.10 c # additional number of allowed LP iterations
0.00/0.10 c # [type: int, range: [0,2147483647], default: 1000]
0.00/0.10 c heuristics/coefdiving/maxlpiterofs = 1500
0.00/0.10 c
0.00/0.10 c # frequency for calling primal heuristic <crossover> (-1: never, 0: only at depth freqofs)
0.00/0.10 c # [type: int, range: [-1,2147483647], default: 30]
0.00/0.10 c heuristics/crossover/freq = -1
0.00/0.10 c
0.00/0.10 c # number of nodes added to the contingent of the total nodes
0.00/0.10 c # [type: longint, range: [0,9223372036854775807], default: 500]
0.00/0.10 c heuristics/crossover/nodesofs = 750
0.00/0.10 c
0.00/0.10 c # number of nodes without incumbent change that heuristic should wait
0.00/0.10 c # [type: longint, range: [0,9223372036854775807], default: 200]
0.00/0.10 c heuristics/crossover/nwaitingnodes = 100
0.00/0.10 c
0.00/0.10 c # contingent of sub problem nodes in relation to the number of nodes of the original problem
0.00/0.10 c # [type: real, range: [0,1], default: 0.1]
0.00/0.10 c heuristics/crossover/nodesquot = 0.15
0.00/0.10 c
0.00/0.10 c # minimum percentage of integer variables that have to be fixed
0.00/0.10 c # [type: real, range: [0,1], default: 0.666]
0.00/0.10 c heuristics/crossover/minfixingrate = 0.5
0.00/0.10 c
0.00/0.10 c # frequency for calling primal heuristic <feaspump> (-1: never, 0: only at depth freqofs)
0.00/0.10 c # [type: int, range: [-1,2147483647], default: 20]
0.00/0.10 c heuristics/feaspump/freq = -1
0.00/0.10 c
0.00/0.10 c # additional number of allowed LP iterations
0.00/0.10 c # [type: int, range: [0,2147483647], default: 1000]
0.00/0.10 c heuristics/feaspump/maxlpiterofs = 2000
0.00/0.10 c
0.00/0.10 c # frequency for calling primal heuristic <fracdiving> (-1: never, 0: only at depth freqofs)
0.00/0.10 c # [type: int, range: [-1,2147483647], default: 10]
0.00/0.10 c heuristics/fracdiving/freq = -1
0.00/0.10 c
0.00/0.10 c # maximal fraction of diving LP iterations compared to node LP iterations
0.00/0.10 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
0.00/0.10 c heuristics/fracdiving/maxlpiterquot = 0.075
0.00/0.10 c
0.00/0.10 c # additional number of allowed LP iterations
0.00/0.10 c # [type: int, range: [0,2147483647], default: 1000]
0.00/0.10 c heuristics/fracdiving/maxlpiterofs = 1500
0.00/0.10 c
0.00/0.10 c # frequency for calling primal heuristic <guideddiving> (-1: never, 0: only at depth freqofs)
0.00/0.10 c # [type: int, range: [-1,2147483647], default: 10]
0.00/0.10 c heuristics/guideddiving/freq = -1
0.00/0.10 c
0.00/0.10 c # maximal fraction of diving LP iterations compared to node LP iterations
0.00/0.10 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
0.00/0.10 c heuristics/guideddiving/maxlpiterquot = 0.075
0.00/0.10 c
0.00/0.10 c # additional number of allowed LP iterations
0.00/0.10 c # [type: int, range: [0,2147483647], default: 1000]
0.00/0.10 c heuristics/guideddiving/maxlpiterofs = 1500
0.00/0.10 c
0.00/0.10 c # maximal fraction of diving LP iterations compared to node LP iterations
0.00/0.10 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
0.00/0.10 c heuristics/intdiving/maxlpiterquot = 0.075
0.00/0.10 c
0.00/0.10 c # frequency for calling primal heuristic <intshifting> (-1: never, 0: only at depth freqofs)
0.00/0.10 c # [type: int, range: [-1,2147483647], default: 10]
0.00/0.10 c heuristics/intshifting/freq = -1
0.00/0.10 c
0.00/0.10 c # frequency for calling primal heuristic <linesearchdiving> (-1: never, 0: only at depth freqofs)
0.00/0.10 c # [type: int, range: [-1,2147483647], default: 10]
0.00/0.10 c heuristics/linesearchdiving/freq = -1
0.00/0.10 c
0.00/0.10 c # maximal fraction of diving LP iterations compared to node LP iterations
0.00/0.10 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
0.00/0.10 c heuristics/linesearchdiving/maxlpiterquot = 0.075
0.00/0.10 c
0.00/0.10 c # additional number of allowed LP iterations
0.00/0.10 c # [type: int, range: [0,2147483647], default: 1000]
0.00/0.10 c heuristics/linesearchdiving/maxlpiterofs = 1500
0.00/0.10 c
0.00/0.10 c # frequency for calling primal heuristic <nlp> (-1: never, 0: only at depth freqofs)
0.00/0.10 c # [type: int, range: [-1,2147483647], default: 1]
0.00/0.10 c heuristics/nlp/freq = -1
0.00/0.10 c
0.00/0.10 c # frequency for calling primal heuristic <objpscostdiving> (-1: never, 0: only at depth freqofs)
0.00/0.10 c # [type: int, range: [-1,2147483647], default: 20]
0.00/0.10 c heuristics/objpscostdiving/freq = -1
0.00/0.10 c
0.00/0.10 c # maximal fraction of diving LP iterations compared to total iteration number
0.00/0.10 c # [type: real, range: [0,1], default: 0.01]
0.00/0.10 c heuristics/objpscostdiving/maxlpiterquot = 0.015
0.00/0.10 c
0.00/0.10 c # additional number of allowed LP iterations
0.00/0.10 c # [type: int, range: [0,2147483647], default: 1000]
0.00/0.10 c heuristics/objpscostdiving/maxlpiterofs = 1500
0.00/0.10 c
0.00/0.10 c # frequency for calling primal heuristic <oneopt> (-1: never, 0: only at depth freqofs)
0.00/0.10 c # [type: int, range: [-1,2147483647], default: 1]
0.00/0.10 c heuristics/oneopt/freq = -1
0.00/0.10 c
0.00/0.10 c # frequency for calling primal heuristic <pscostdiving> (-1: never, 0: only at depth freqofs)
0.00/0.10 c # [type: int, range: [-1,2147483647], default: 10]
0.00/0.10 c heuristics/pscostdiving/freq = -1
0.00/0.10 c
0.00/0.10 c # maximal fraction of diving LP iterations compared to node LP iterations
0.00/0.10 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
0.00/0.10 c heuristics/pscostdiving/maxlpiterquot = 0.075
0.00/0.10 c
0.00/0.10 c # additional number of allowed LP iterations
0.00/0.10 c # [type: int, range: [0,2147483647], default: 1000]
0.00/0.10 c heuristics/pscostdiving/maxlpiterofs = 1500
0.00/0.10 c
0.00/0.10 c # frequency for calling primal heuristic <rens> (-1: never, 0: only at depth freqofs)
0.00/0.10 c # [type: int, range: [-1,2147483647], default: 0]
0.00/0.10 c heuristics/rens/freq = -1
0.00/0.10 c
0.00/0.10 c # minimum percentage of integer variables that have to be fixable
0.00/0.10 c # [type: real, range: [0,1], default: 0.5]
0.00/0.10 c heuristics/rens/minfixingrate = 0.3
0.00/0.10 c
0.00/0.10 c # number of nodes added to the contingent of the total nodes
0.00/0.10 c # [type: longint, range: [0,9223372036854775807], default: 500]
0.00/0.10 c heuristics/rens/nodesofs = 2000
0.00/0.10 c
0.00/0.10 c # frequency for calling primal heuristic <rootsoldiving> (-1: never, 0: only at depth freqofs)
0.00/0.10 c # [type: int, range: [-1,2147483647], default: 20]
0.00/0.10 c heuristics/rootsoldiving/freq = -1
0.00/0.10 c
0.00/0.10 c # maximal fraction of diving LP iterations compared to node LP iterations
0.00/0.10 c # [type: real, range: [0,1.79769313486232e+308], default: 0.01]
0.00/0.10 c heuristics/rootsoldiving/maxlpiterquot = 0.015
0.00/0.10 c
0.00/0.10 c # additional number of allowed LP iterations
0.00/0.10 c # [type: int, range: [0,2147483647], default: 1000]
0.00/0.10 c heuristics/rootsoldiving/maxlpiterofs = 1500
0.00/0.10 c
0.00/0.10 c # frequency for calling primal heuristic <rounding> (-1: never, 0: only at depth freqofs)
0.00/0.10 c # [type: int, range: [-1,2147483647], default: 1]
0.00/0.10 c heuristics/rounding/freq = -1
0.00/0.10 c
0.00/0.10 c # frequency for calling primal heuristic <shifting> (-1: never, 0: only at depth freqofs)
0.00/0.10 c # [type: int, range: [-1,2147483647], default: 10]
0.00/0.10 c heuristics/shifting/freq = -1
0.00/0.10 c
0.00/0.10 c # frequency for calling primal heuristic <simplerounding> (-1: never, 0: only at depth freqofs)
0.00/0.10 c # [type: int, range: [-1,2147483647], default: 1]
0.00/0.10 c heuristics/simplerounding/freq = -1
0.00/0.10 c
0.00/0.10 c # frequency for calling primal heuristic <trivial> (-1: never, 0: only at depth freqofs)
0.00/0.10 c # [type: int, range: [-1,2147483647], default: 0]
0.00/0.10 c heuristics/trivial/freq = -1
0.00/0.10 c
0.00/0.10 c # frequency for calling primal heuristic <trysol> (-1: never, 0: only at depth freqofs)
0.00/0.10 c # [type: int, range: [-1,2147483647], default: 1]
0.00/0.10 c heuristics/trysol/freq = -1
0.00/0.10 c
0.00/0.10 c # frequency for calling primal heuristic <veclendiving> (-1: never, 0: only at depth freqofs)
0.00/0.10 c # [type: int, range: [-1,2147483647], default: 10]
0.00/0.10 c heuristics/veclendiving/freq = -1
0.00/0.10 c
0.00/0.10 c # maximal fraction of diving LP iterations compared to node LP iterations
0.00/0.10 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
0.00/0.10 c heuristics/veclendiving/maxlpiterquot = 0.075
0.00/0.10 c
0.00/0.10 c # additional number of allowed LP iterations
0.00/0.10 c # [type: int, range: [0,2147483647], default: 1000]
0.00/0.10 c heuristics/veclendiving/maxlpiterofs = 1500
0.00/0.10 c
0.00/0.10 c # frequency for calling primal heuristic <zirounding> (-1: never, 0: only at depth freqofs)
0.00/0.10 c # [type: int, range: [-1,2147483647], default: 1]
0.00/0.10 c heuristics/zirounding/freq = -1
0.00/0.10 c
0.00/0.10 c # frequency for calling separator <cmir> (-1: never, 0: only in root node)
0.00/0.10 c # [type: int, range: [-1,2147483647], default: 0]
0.00/0.10 c separating/cmir/freq = -1
0.00/0.10 c
0.00/0.10 c # frequency for calling separator <flowcover> (-1: never, 0: only in root node)
0.00/0.10 c # [type: int, range: [-1,2147483647], default: 0]
0.00/0.10 c separating/flowcover/freq = -1
0.00/0.10 c
0.00/0.10 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
0.00/0.10 c # [type: int, range: [-1,2147483647], default: -1]
0.00/0.10 c separating/rapidlearning/freq = 0
0.00/0.10 c
0.00/0.10 c -----------------------------------------------------------------------------------------------
0.00/0.10 c start solving
0.09/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 | - |3066k| 0 | 127 | 482 | 737 | 482 | 729 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
0.49/0.57 c 0.5s| 1 | 0 | 743 | - |4311k| 0 | 221 | 482 | 737 | 482 |1109 | 380 | 0 | 0 | 0.000000e+00 | -- | Inf
1.10/1.11 c 1.0s| 1 | 0 | 1139 | - |7033k| 0 | 228 | 482 | 737 | 482 |1525 | 796 | 0 | 0 | 0.000000e+00 | -- | Inf
1.59/1.60 c 1.5s| 1 | 0 | 1466 | - |9438k| 0 | 265 | 482 | 737 | 482 |1592 | 863 | 0 | 0 | 0.000000e+00 | -- | Inf
2.29/2.31 c 2.2s| 1 | 0 | 1691 | - | 13M| 0 | 284 | 482 | 737 | 482 |1642 | 913 | 0 | 0 | 0.000000e+00 | -- | Inf
2.79/2.88 c 2.7s| 1 | 0 | 1810 | - | 16M| 0 | 285 | 482 | 737 | 482 |1646 | 917 | 0 | 0 | 0.000000e+00 | -- | Inf
6.19/6.28 c 6.1s| 1 | 2 | 1810 | - | 16M| 0 | 285 | 482 | 737 | 482 |1646 | 917 | 0 | 10 | 0.000000e+00 | -- | Inf
47.77/47.82 c 46.6s| 10000 | 93 |105123 | 10.3 | 16M| 47 | 46 | 482 |1012 | 482 | 931 | 917 | 380 |3150 | 0.000000e+00 | -- | Inf
71.97/72.04 c 70.2s| 20000 | 99 |203195 | 10.1 | 16M| 47 | 45 | 482 |1118 | 482 | 931 | 917 | 701 |3157 | 0.000000e+00 | -- | Inf
97.96/98.01 c 95.3s| 30000 | 131 |305232 | 10.1 | 16M| 50 | 25 | 482 |1157 | 482 | 931 | 917 |1117 |3282 | 0.000000e+00 | -- | Inf
129.54/129.61 c 126s| 40000 | 159 |423418 | 10.5 | 16M| 50 | - | 482 |1205 | 0 | 0 | 917 |1411 |4052 | 0.000000e+00 | -- | Inf
158.03/158.13 c 154s| 50000 | 175 |532680 | 10.6 | 16M| 50 | 37 | 482 |1255 | 482 | 931 | 917 |1760 |4563 | 0.000000e+00 | -- | Inf
189.62/189.73 c 185s| 60000 | 192 |648601 | 10.8 | 16M| 50 | - | 482 |1152 | 0 | 0 | 917 |2042 |5275 | 0.000000e+00 | -- | Inf
219.81/219.92 c 214s| 70000 | 209 |770582 | 11.0 | 17M| 50 | - | 482 |1327 | 0 | 0 | 917 |2411 |5590 | 0.000000e+00 | -- | Inf
252.20/252.39 c 246s| 80000 | 202 |895286 | 11.2 | 17M| 50 | - | 482 |1304 | 0 | 0 | 917 |2749 |6237 | 0.000000e+00 | -- | Inf
279.98/280.19 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
279.98/280.19 c 273s| 90000 | 201 | 1002k| 11.1 | 17M| 50 | - | 482 |1272 | 0 | 0 | 917 |3085 |6574 | 0.000000e+00 | -- | Inf
307.98/308.18 c 300s|100000 | 201 | 1111k| 11.1 | 17M| 50 | - | 482 |1328 | 0 | 0 | 917 |3440 |6939 | 0.000000e+00 | -- | Inf
337.17/337.39 c 329s|110000 | 228 | 1223k| 11.1 | 17M| 50 | 29 | 482 |1341 | 482 | 931 | 917 |3781 |7423 | 0.000000e+00 | -- | Inf
367.75/367.91 c 358s|120000 | 219 | 1340k| 11.2 | 17M| 50 | 46 | 482 |1243 | 482 | 931 | 917 |4112 |7837 | 0.000000e+00 | -- | Inf
396.95/397.13 c 387s|130000 | 229 | 1454k| 11.2 | 17M| 53 | 33 | 482 |1285 | 482 | 931 | 917 |4456 |8155 | 0.000000e+00 | -- | Inf
428.53/428.79 c 417s|140000 | 218 | 1579k| 11.3 | 17M| 53 | 36 | 482 |1263 | 482 | 931 | 917 |4795 |8598 | 0.000000e+00 | -- | Inf
458.22/458.48 c 446s|150000 | 226 | 1701k| 11.3 | 17M| 53 | 35 | 482 |1347 | 482 | 931 | 917 |5124 |8846 | 0.000000e+00 | -- | Inf
488.91/489.18 c 476s|160000 | 226 | 1825k| 11.4 | 17M| 53 | 44 | 482 |1281 | 482 | 931 | 917 |5413 |9186 | 0.000000e+00 | -- | Inf
520.60/520.83 c 507s|170000 | 223 | 1952k| 11.5 | 17M| 53 | - | 482 |1218 | 482 | 931 | 917 |5673 |9534 | 0.000000e+00 | -- | Inf
552.09/552.36 c 537s|180000 | 225 | 2078k| 11.5 | 17M| 53 | 53 | 482 |1166 | 482 | 931 | 917 |5974 |9882 | 0.000000e+00 | -- | Inf
582.88/583.18 c 567s|190000 | 215 | 2204k| 11.6 | 17M| 53 | 51 | 482 |1203 | 482 | 931 | 917 |6282 | 10k| 0.000000e+00 | -- | Inf
610.66/610.92 c 595s|200000 | 211 | 2315k| 11.6 | 17M| 53 | 53 | 482 |1304 | 482 | 931 | 917 |6615 | 10k| 0.000000e+00 | -- | Inf
640.35/640.61 c 623s|210000 | 219 | 2435k| 11.6 | 17M| 53 | 37 | 482 |1390 | 482 | 931 | 917 |6928 | 10k| 0.000000e+00 | -- | Inf
672.64/672.99 c 655s|220000 | 210 | 2564k| 11.6 | 17M| 53 | 27 | 482 |1248 | 482 | 931 | 917 |7218 | 10k| 0.000000e+00 | -- | Inf
694.83/695.12 c 676s|230000 | 233 | 2648k| 11.5 | 17M| 53 | 31 | 482 |1446 | 482 | 931 | 917 |7656 | 11k| 0.000000e+00 | -- | Inf
717.72/718.04 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
717.72/718.04 c 699s|240000 | 244 | 2737k| 11.4 | 17M| 53 | - | 482 |1556 | 0 | 0 | 917 |8063 | 11k| 0.000000e+00 | -- | Inf
740.72/741.03 c 721s|250000 | 233 | 2828k| 11.3 | 17M| 53 | - | 482 |1672 | 482 | 931 | 917 |8522 | 11k| 0.000000e+00 | -- | Inf
764.81/765.16 c 745s|260000 | 229 | 2923k| 11.2 | 17M| 53 | 24 | 482 |1659 | 482 | 931 | 917 |8933 | 11k| 0.000000e+00 | -- | Inf
787.69/788.00 c 767s|270000 | 229 | 3013k| 11.2 | 17M| 53 | - | 482 |1710 | 0 | 0 | 917 |9368 | 11k| 0.000000e+00 | -- | Inf
811.59/811.99 c 791s|280000 | 229 | 3107k| 11.1 | 17M| 53 | - | 482 |1615 | 0 | 0 | 917 |9819 | 11k| 0.000000e+00 | -- | Inf
837.28/837.66 c 816s|290000 | 246 | 3209k| 11.1 | 17M| 53 | - | 482 |1739 | 0 | 0 | 917 | 10k| 11k| 0.000000e+00 | -- | Inf
864.28/864.61 c 842s|300000 | 244 | 3318k| 11.1 | 17M| 53 | - | 482 |1618 | 0 | 0 | 917 | 10k| 11k| 0.000000e+00 | -- | Inf
891.16/891.52 c 868s|310000 | 240 | 3426k| 11.0 | 17M| 55 | - | 482 |1596 | 0 | 0 | 917 | 10k| 11k| 0.000000e+00 | -- | Inf
915.15/915.59 c 892s|320000 | 243 | 3522k| 11.0 | 17M| 55 | 30 | 482 |1712 | 482 | 931 | 917 | 11k| 11k| 0.000000e+00 | -- | Inf
941.54/941.92 c 917s|330000 | 258 | 3629k| 11.0 | 17M| 55 | - | 482 |1869 | 0 | 0 | 917 | 11k| 11k| 0.000000e+00 | -- | Inf
967.64/968.04 c 943s|340000 | 243 | 3735k| 11.0 | 17M| 58 | - | 482 |1837 | 482 | 931 | 917 | 11k| 12k| 0.000000e+00 | -- | Inf
993.52/993.97 c 968s|350000 | 242 | 3837k| 11.0 | 17M| 58 | - | 482 |1688 | 0 | 0 | 917 | 12k| 12k| 0.000000e+00 | -- | Inf
1020.01/1020.48 c 994s|360000 | 249 | 3944k| 11.0 | 17M| 58 | - | 482 |1764 | 0 | 0 | 917 | 12k| 12k| 0.000000e+00 | -- | Inf
1047.60/1048.09 c 1021s|370000 | 247 | 4056k| 11.0 | 17M| 58 | - | 482 |1765 | 0 | 0 | 917 | 12k| 12k| 0.000000e+00 | -- | Inf
1071.69/1072.16 c 1044s|380000 | 239 | 4152k| 10.9 | 17M| 58 | - | 482 |1801 | 0 | 0 | 917 | 13k| 12k| 0.000000e+00 | -- | Inf
1097.28/1097.71 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1097.28/1097.71 c 1069s|390000 | 247 | 4254k| 10.9 | 17M| 58 | 31 | 482 |1881 | 482 | 931 | 917 | 13k| 12k| 0.000000e+00 | -- | Inf
1123.07/1123.50 c 1095s|400000 | 252 | 4357k| 10.9 | 17M| 58 | - | 482 |1796 | 482 | 931 | 917 | 14k| 12k| 0.000000e+00 | -- | Inf
1153.57/1154.02 c 1124s|410000 | 242 | 4461k| 10.9 | 17M| 62 | - | 482 |1845 | 0 | 0 | 917 | 14k| 13k| 0.000000e+00 | -- | Inf
1191.54/1192.00 c 1161s|420000 | 244 | 4583k| 10.9 | 17M| 62 | - | 482 |1611 | 0 | 0 | 917 | 14k| 15k| 0.000000e+00 | -- | Inf
1220.04/1220.55 c 1189s|430000 | 256 | 4700k| 10.9 | 17M| 62 | - | 482 |1566 | 0 | 0 | 917 | 15k| 15k| 0.000000e+00 | -- | Inf
1245.53/1246.06 c 1214s|440000 | 264 | 4804k| 10.9 | 17M| 62 | 41 | 482 |1763 | 482 | 931 | 917 | 15k| 15k| 0.000000e+00 | -- | Inf
1271.91/1272.46 c 1240s|450000 | 268 | 4912k| 10.9 | 17M| 62 | 52 | 482 |1769 | 482 | 931 | 917 | 15k| 15k| 0.000000e+00 | -- | Inf
1298.71/1299.24 c 1266s|460000 | 262 | 5023k| 10.9 | 17M| 62 | 39 | 482 |1853 | 482 | 931 | 917 | 16k| 15k| 0.000000e+00 | -- | Inf
1327.40/1327.99 c 1294s|470000 | 272 | 5142k| 10.9 | 17M| 62 | 42 | 482 |1718 | 482 | 931 | 917 | 16k| 15k| 0.000000e+00 | -- | Inf
1357.29/1357.86 c 1323s|480000 | 252 | 5264k| 11.0 | 17M| 62 | - | 482 |1616 | 0 | 0 | 917 | 16k| 15k| 0.000000e+00 | -- | Inf
1384.18/1384.76 c 1349s|490000 | 258 | 5373k| 11.0 | 17M| 62 | - | 482 |1518 | 0 | 0 | 917 | 16k| 15k| 0.000000e+00 | -- | Inf
1411.45/1412.09 c 1376s|500000 | 254 | 5482k| 11.0 | 17M| 62 | 37 | 482 |1515 | 482 | 931 | 917 | 17k| 15k| 0.000000e+00 | -- | Inf
1437.03/1437.70 c 1401s|510000 | 259 | 5585k| 10.9 | 17M| 62 | - | 482 |1673 | 0 | 0 | 917 | 17k| 16k| 0.000000e+00 | -- | Inf
1464.73/1465.34 c 1428s|520000 | 278 | 5701k| 11.0 | 17M| 62 | 54 | 482 |1727 | 482 | 931 | 917 | 17k| 16k| 0.000000e+00 | -- | Inf
1493.81/1494.42 c 1456s|530000 | 297 | 5823k| 11.0 | 17M| 62 | - | 482 |1796 | 482 | 931 | 917 | 18k| 16k| 0.000000e+00 | -- | Inf
1520.91/1521.54 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1520.91/1521.54 c 1482s|540000 | 278 | 5934k| 11.0 | 17M| 62 | - | 482 |1674 | 482 | 931 | 917 | 18k| 16k| 0.000000e+00 | -- | Inf
1552.10/1552.75 c 1513s|550000 | 268 | 6055k| 11.0 | 17M| 62 | 38 | 482 |1650 | 482 | 931 | 917 | 18k| 16k| 0.000000e+00 | -- | Inf
1578.99/1579.65 c 1539s|560000 | 275 | 6158k| 11.0 | 17M| 62 | - | 482 |1709 | 482 | 931 | 917 | 19k| 16k| 0.000000e+00 | -- | Inf
1605.39/1606.05 c 1564s|570000 | 267 | 6266k| 11.0 | 17M| 62 | - | 482 |1776 | 0 | 0 | 917 | 19k| 16k| 0.000000e+00 | -- | Inf
1630.86/1631.52 c 1589s|580000 | 269 | 6367k| 11.0 | 17M| 62 | 39 | 482 |1755 | 482 | 931 | 917 | 19k| 17k| 0.000000e+00 | -- | Inf
1660.06/1660.77 c 1617s|590000 | 262 | 6484k| 11.0 | 17M| 62 | 47 | 482 |1683 | 482 | 931 | 917 | 20k| 17k| 0.000000e+00 | -- | Inf
1693.14/1693.83 c 1650s|600000 | 260 | 6618k| 11.0 | 17M| 62 | - | 482 |1373 | 482 | 931 | 917 | 20k| 17k| 0.000000e+00 | -- | Inf
1726.03/1726.72 c 1682s|610000 | 275 | 6757k| 11.1 | 17M| 62 | 39 | 482 |1410 | 482 | 931 | 917 | 20k| 17k| 0.000000e+00 | -- | Inf
1754.52/1755.20 c 1709s|620000 | 288 | 6876k| 11.1 | 17M| 62 | 47 | 482 |1583 | 482 | 931 | 917 | 20k| 17k| 0.000000e+00 | -- | Inf
1784.90/1785.62 c 1739s|630000 | 288 | 7004k| 11.1 | 17M| 62 | - | 482 |1633 | 482 | 931 | 917 | 21k| 17k| 0.000000e+00 | -- | Inf
1800.01/1800.71 c pressed CTRL-C 1 times (5 times for forcing termination)
1800.01/1800.72 c
1800.01/1800.72 c SCIP Status : solving was interrupted [user interrupt]
1800.01/1800.72 c Solving Time (sec) : 1753.66
1800.01/1800.72 c Solving Nodes : 635000
1800.01/1800.72 c Primal Bound : +1.00000000000000e+20 (0 solutions)
1800.01/1800.72 c Dual Bound : +0.00000000000000e+00
1800.01/1800.72 c Gap : infinite
1800.01/1800.72 s UNKNOWN
1800.01/1800.72 c SCIP Status : solving was interrupted [user interrupt]
1800.01/1800.72 c Solving Time : 1753.66
1800.01/1800.72 c Original Problem :
1800.01/1800.72 c Problem name : HOME/instance-2667135-1276270663.opb
1800.01/1800.72 c Variables : 490 (490 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.01/1800.72 c Constraints : 737 initial, 737 maximal
1800.01/1800.72 c Presolved Problem :
1800.01/1800.72 c Problem name : t_HOME/instance-2667135-1276270663.opb
1800.01/1800.72 c Variables : 482 (482 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.01/1800.72 c Constraints : 737 initial, 1917 maximal
1800.01/1800.72 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs
1800.01/1800.72 c trivial : 0.00 0 0 0 0 0 0 0 0
1800.01/1800.72 c dualfix : 0.00 0 0 0 0 0 0 0 0
1800.01/1800.72 c boundshift : 0.00 0 0 0 0 0 0 0 0
1800.01/1800.72 c inttobinary : 0.00 0 0 0 0 0 0 0 0
1800.01/1800.72 c implics : 0.00 0 8 0 0 0 0 0 0
1800.01/1800.72 c probing : 0.00 0 0 0 0 0 0 0 0
1800.01/1800.72 c knapsack : 0.03 0 0 0 0 0 0 0 0
1800.01/1800.72 c logicor : 0.00 0 0 0 0 0 0 0 0
1800.01/1800.72 c root node : - 0 - - 0 - - - -
1800.01/1800.72 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children
1800.01/1800.72 c integral : 0 0 0 319985 0 404 2525 0 0 635738
1800.01/1800.72 c knapsack : 340 5 1509516 0 0 186939 6255617 580 0 0
1800.01/1800.72 c logicor : 397+ 5 1014159 0 0 3020 2333495 0 0 0
1800.01/1800.72 c countsols : 0 0 0 0 0 0 0 0 0 0
1800.01/1800.72 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS
1800.01/1800.72 c integral : 96.34 0.00 0.00 96.34 0.00
1800.01/1800.72 c knapsack : 83.95 0.05 83.90 0.00 0.00
1800.01/1800.72 c logicor : 27.39 0.00 27.39 0.00 0.00
1800.01/1800.72 c countsols : 0.00 0.00 0.00 0.00 0.00
1800.01/1800.72 c Propagators : Time Calls Cutoffs DomReds
1800.01/1800.72 c vbounds : 0.81 1 0 0
1800.01/1800.72 c rootredcost : 0.76 0 0 0
1800.01/1800.72 c pseudoobj : 0.66 0 0 0
1800.01/1800.72 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1800.01/1800.72 c propagation : 14.42 23158 21001 178243 108.8 108 128.5 -
1800.01/1800.72 c infeasible LP : 52.14 127209 0 0 0.0 0 0.0 0
1800.01/1800.72 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1800.01/1800.72 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1800.01/1800.72 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 -
1800.01/1800.72 c applied globally : - - - 21364 19.2 - - -
1800.01/1800.72 c applied locally : - - - 17 79.1 - - -
1800.01/1800.72 c Separators : Time Calls Cutoffs DomReds Cuts Conss
1800.01/1800.72 c cut pool : 0.00 4 - - 103 - (maximal pool size: 2778)
1800.01/1800.72 c redcost : 4.70 319017 0 0 0 0
1800.01/1800.72 c impliedbounds : 0.00 5 0 0 1412 0
1800.01/1800.72 c intobj : 0.00 0 0 0 0 0
1800.01/1800.72 c cgmip : 0.00 0 0 0 0 0
1800.01/1800.72 c gomory : 0.95 5 0 0 350 0
1800.01/1800.72 c strongcg : 0.69 5 0 0 2314 0
1800.01/1800.72 c cmir : 0.00 0 0 0 0 0
1800.01/1800.72 c flowcover : 0.00 0 0 0 0 0
1800.01/1800.72 c clique : 0.01 1 0 0 0 0
1800.01/1800.72 c zerohalf : 0.00 0 0 0 0 0
1800.01/1800.72 c mcf : 0.00 1 0 0 0 0
1800.01/1800.72 c rapidlearning : 0.14 1 0 0 0 0
1800.01/1800.72 c Pricers : Time Calls Vars
1800.01/1800.72 c problem variables: 0.00 0 0
1800.01/1800.72 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
1800.01/1800.72 c relpscost : 95.70 319985 404 2525 0 0 635738
1800.01/1800.72 c pscost : 0.00 0 0 0 0 0 0
1800.01/1800.72 c inference : 0.00 0 0 0 0 0 0
1800.01/1800.72 c mostinf : 0.00 0 0 0 0 0 0
1800.01/1800.72 c leastinf : 0.00 0 0 0 0 0 0
1800.01/1800.72 c fullstrong : 0.00 0 0 0 0 0 0
1800.01/1800.72 c allfullstrong : 0.00 0 0 0 0 0 0
1800.01/1800.72 c random : 0.00 0 0 0 0 0 0
1800.01/1800.72 c Primal Heuristics : Time Calls Found
1800.01/1800.72 c LP solutions : 0.00 - 0
1800.01/1800.72 c pseudo solutions : 0.00 - 0
1800.01/1800.72 c trivial : 0.00 1 0
1800.01/1800.72 c simplerounding : 0.00 0 0
1800.01/1800.72 c zirounding : 0.00 0 0
1800.01/1800.72 c rounding : 0.00 0 0
1800.01/1800.72 c shifting : 0.00 0 0
1800.01/1800.72 c intshifting : 0.00 0 0
1800.01/1800.72 c oneopt : 0.00 0 0
1800.01/1800.72 c twoopt : 0.00 0 0
1800.01/1800.72 c fixandinfer : 0.00 0 0
1800.01/1800.72 c feaspump : 0.00 0 0
1800.01/1800.72 c coefdiving : 0.00 0 0
1800.01/1800.72 c pscostdiving : 0.00 0 0
1800.01/1800.72 c fracdiving : 0.00 0 0
1800.01/1800.72 c veclendiving : 0.00 0 0
1800.01/1800.72 c intdiving : 0.00 0 0
1800.01/1800.72 c actconsdiving : 0.00 0 0
1800.01/1800.72 c objpscostdiving : 0.00 0 0
1800.01/1800.72 c rootsoldiving : 0.00 0 0
1800.01/1800.72 c linesearchdiving : 0.00 0 0
1800.01/1800.72 c guideddiving : 0.00 0 0
1800.01/1800.72 c octane : 0.00 0 0
1800.01/1800.72 c rens : 0.00 0 0
1800.01/1800.72 c rins : 0.00 0 0
1800.01/1800.72 c localbranching : 0.00 0 0
1800.01/1800.72 c mutation : 0.00 0 0
1800.01/1800.72 c crossover : 0.00 0 0
1800.01/1800.72 c dins : 0.00 0 0
1800.01/1800.72 c undercover : 0.00 0 0
1800.01/1800.72 c nlp : 0.00 0 0
1800.01/1800.72 c trysol : 0.00 0 0
1800.01/1800.72 c LP : Time Calls Iterations Iter/call Iter/sec
1800.01/1800.72 c primal LP : 0.00 0 0 0.00 -
1800.01/1800.72 c dual LP : 1292.44 446399 7068682 15.83 5469.25
1800.01/1800.72 c lex dual LP : 0.00 0 0 0.00 -
1800.01/1800.72 c barrier LP : 0.00 0 0 0.00 -
1800.01/1800.72 c diving/probing LP: 0.00 0 0 0.00 -
1800.01/1800.72 c strong branching : 83.89 17802 365183 20.51 4353.12
1800.01/1800.72 c (at root node) : - 10 5999 599.90 -
1800.01/1800.72 c conflict analysis: 0.00 0 0 0.00 -
1800.01/1800.72 c B&B Tree :
1800.01/1800.72 c number of runs : 1
1800.01/1800.72 c nodes : 635000
1800.01/1800.72 c nodes (total) : 635000
1800.01/1800.72 c nodes left : 288
1800.01/1800.72 c max depth : 62
1800.01/1800.72 c max depth (total): 62
1800.01/1800.72 c backtracks : 81108 (12.8%)
1800.01/1800.72 c delayed cutoffs : 451
1800.01/1800.72 c repropagations : 50588 (79819 domain reductions, 441 cutoffs)
1800.01/1800.72 c avg switch length: 2.79
1800.01/1800.72 c switching time : 51.29
1800.01/1800.72 c Solution :
1800.01/1800.72 c Solutions found : 0 (0 improvements)
1800.01/1800.72 c Primal Bound : -
1800.01/1800.72 c Dual Bound : +0.00000000000000e+00
1800.01/1800.72 c Gap : infinite
1800.01/1800.72 c Root Dual Bound : +0.00000000000000e+00
1800.01/1800.72 c Root Iterations : 1810
1800.01/1800.74 c Time complete: 1800.05.
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-2667135-1276270663/watcher-2667135-1276270663 -o /tmp/evaluation-result-2667135-1276270663/solver-2667135-1276270663 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt.spx -f HOME/instance-2667135-1276270663.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 0.99 0.92 3/106 4243 /proc/meminfo: memFree=1577684/2059040 swapFree=4192956/4192956 [pid=4243] ppid=4241 vsize=7724 CPUtime=0 /proc/4243/stat : 4243 (pbscip.linux.x8) R 4241 4243 3356 0 -1 4202496 1140 0 0 0 0 0 0 0 18 0 1 0 2667904 7909376 1061 1992294400 4194304 8223781 140735741433360 18446744073709551615 7253477 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/4243/statm: 1931 1071 348 984 0 944 0 [startup+0.103778 s] /proc/loadavg: 1.00 0.99 0.92 3/106 4243 /proc/meminfo: memFree=1577684/2059040 swapFree=4192956/4192956 [pid=4243] ppid=4241 vsize=16344 CPUtime=0.09 /proc/4243/stat : 4243 (pbscip.linux.x8) R 4241 4243 3356 0 -1 4202496 4822 0 0 0 7 2 0 0 18 0 1 0 2667904 16736256 3091 1992294400 4194304 8223781 140735741433360 18446744073709551615 7253477 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/4243/statm: 4086 3093 469 984 0 3099 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 16344 [startup+0.201928 s] /proc/loadavg: 1.00 0.99 0.92 3/106 4243 /proc/meminfo: memFree=1577684/2059040 swapFree=4192956/4192956 [pid=4243] ppid=4241 vsize=19848 CPUtime=0.19 /proc/4243/stat : 4243 (pbscip.linux.x8) R 4241 4243 3356 0 -1 4202496 5839 0 0 0 16 3 0 0 18 0 1 0 2667904 20324352 4043 1992294400 4194304 8223781 140735741433360 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/4243/statm: 4962 4043 556 984 0 3975 0 Current children cumulated CPU time (s) 0.19 Current children cumulated vsize (KiB) 19848 [startup+0.300952 s] /proc/loadavg: 1.00 0.99 0.92 3/106 4243 /proc/meminfo: memFree=1577684/2059040 swapFree=4192956/4192956 [pid=4243] ppid=4241 vsize=31640 CPUtime=0.29 /proc/4243/stat : 4243 (pbscip.linux.x8) R 4241 4243 3356 0 -1 4202496 9758 0 0 0 23 6 0 0 18 0 1 0 2667904 32399360 6667 1992294400 4194304 8223781 140735741433360 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/4243/statm: 7910 6667 575 984 0 6923 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 31640 [startup+0.701045 s] /proc/loadavg: 1.00 0.99 0.92 3/106 4243 /proc/meminfo: memFree=1577684/2059040 swapFree=4192956/4192956 [pid=4243] ppid=4241 vsize=21252 CPUtime=0.69 /proc/4243/stat : 4243 (pbscip.linux.x8) R 4241 4243 3356 0 -1 4202496 10229 0 0 0 61 8 0 0 18 0 1 0 2667904 21762048 4416 1992294400 4194304 8223781 140735741433360 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/4243/statm: 5313 4416 584 984 0 4326 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 21252 [startup+1.50123 s] /proc/loadavg: 1.00 0.99 0.92 2/107 4246 /proc/meminfo: memFree=1558332/2059040 swapFree=4192956/4192956 [pid=4243] ppid=4241 vsize=28212 CPUtime=1.49 /proc/4243/stat : 4243 (pbscip.linux.x8) R 4241 4243 3356 0 -1 4202496 12244 0 0 0 140 9 0 0 19 0 1 0 2667904 28889088 6140 1992294400 4194304 8223781 140735741433360 18446744073709551615 6569782 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/4243/statm: 7053 6140 584 984 0 6066 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 28212 [startup+3.1016 s] /proc/loadavg: 1.00 0.99 0.92 2/107 4246 /proc/meminfo: memFree=1549280/2059040 swapFree=4192956/4192956 [pid=4243] ppid=4241 vsize=37424 CPUtime=3.09 /proc/4243/stat : 4243 (pbscip.linux.x8) R 4241 4243 3356 0 -1 4202496 15136 0 0 0 298 11 0 0 23 0 1 0 2667904 38322176 8466 1992294400 4194304 8223781 140735741433360 18446744073709551615 6562672 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/4243/statm: 9356 8466 585 984 0 8369 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 37424 [startup+6.30034 s] /proc/loadavg: 1.00 0.99 0.92 2/107 4246 /proc/meminfo: memFree=1545188/2059040 swapFree=4192956/4192956 [pid=4243] ppid=4241 vsize=37168 CPUtime=6.29 /proc/4243/stat : 4243 (pbscip.linux.x8) R 4241 4243 3356 0 -1 4202496 18774 0 0 0 614 15 0 0 25 0 1 0 2667904 38060032 8433 1992294400 4194304 8223781 140735741433360 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/4243/statm: 9292 8433 589 984 0 8305 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 37168 [startup+12.7008 s] /proc/loadavg: 1.00 0.99 0.92 2/107 4246 /proc/meminfo: memFree=1544692/2059040 swapFree=4192956/4192956 [pid=4243] ppid=4241 vsize=38196 CPUtime=12.69 /proc/4243/stat : 4243 (pbscip.linux.x8) R 4241 4243 3356 0 -1 4202496 19138 0 0 0 1244 25 0 0 25 0 1 0 2667904 39112704 8691 1992294400 4194304 8223781 140735741433360 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/4243/statm: 9549 8691 587 984 0 8562 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 38196 [startup+25.5017 s] /proc/loadavg: 1.00 0.99 0.92 2/107 4246 /proc/meminfo: memFree=1544320/2059040 swapFree=4192956/4192956 [pid=4243] ppid=4241 vsize=38196 CPUtime=25.48 /proc/4243/stat : 4243 (pbscip.linux.x8) R 4241 4243 3356 0 -1 4202496 19460 0 0 0 2499 49 0 0 25 0 1 0 2667904 39112704 8691 1992294400 4194304 8223781 140735741433360 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/4243/statm: 9549 8691 587 984 0 8562 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 38196 [startup+51.1012 s] /proc/loadavg: 1.00 0.99 0.92 2/107 4246 /proc/meminfo: memFree=1544196/2059040 swapFree=4192956/4192956 [pid=4243] ppid=4241 vsize=38484 CPUtime=51.08 /proc/4243/stat : 4243 (pbscip.linux.x8) R 4241 4243 3356 0 -1 4202496 35889 0 0 0 4984 124 0 0 25 0 1 0 2667904 39407616 8744 1992294400 4194304 8223781 140735741433360 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/4243/statm: 9621 8744 587 984 0 8634 0 Current children cumulated CPU time (s) 51.08 Current children cumulated vsize (KiB) 38484 [startup+102.301 s] /proc/loadavg: 1.00 0.99 0.92 2/107 4248 /proc/meminfo: memFree=1544196/2059040 swapFree=4192956/4192956 [pid=4243] ppid=4241 vsize=38652 CPUtime=102.26 /proc/4243/stat : 4243 (pbscip.linux.x8) R 4241 4243 3356 0 -1 4202496 74087 0 0 0 9954 272 0 0 25 0 1 0 2667904 39579648 8785 1992294400 4194304 8223781 140735741433360 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/4243/statm: 9663 8785 587 984 0 8676 0 Current children cumulated CPU time (s) 102.26 Current children cumulated vsize (KiB) 38652 [startup+162.301 s] /proc/loadavg: 1.00 0.99 0.92 2/107 4250 /proc/meminfo: memFree=1543700/2059040 swapFree=4192956/4192956 [pid=4243] ppid=4241 vsize=39104 CPUtime=162.23 /proc/4243/stat : 4243 (pbscip.linux.x8) R 4241 4243 3356 0 -1 4202496 94092 0 0 0 15803 420 0 0 25 0 1 0 2667904 40042496 8918 1992294400 4194304 8223781 140735741433360 18446744073709551615 6599462 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/4243/statm: 9776 8918 587 984 0 8789 0 Current children cumulated CPU time (s) 162.23 Current children cumulated vsize (KiB) 39104 [startup+222.309 s] /proc/loadavg: 1.00 0.99 0.92 2/107 4250 /proc/meminfo: memFree=1543080/2059040 swapFree=4192956/4192956 [pid=4243] ppid=4241 vsize=39496 CPUtime=222.22 /proc/4243/stat : 4243 (pbscip.linux.x8) R 4241 4243 3356 0 -1 4202496 112057 0 0 0 21653 569 0 0 25 0 1 0 2667904 40443904 9014 1992294400 4194304 8223781 140735741433360 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/4243/statm: 9874 9014 587 984 0 8887 0 Current children cumulated CPU time (s) 222.22 Current children cumulated vsize (KiB) 39496 [startup+282.301 s] /proc/loadavg: 1.00 0.99 0.92 2/107 4252 /proc/meminfo: memFree=1543080/2059040 swapFree=4192956/4192956 [pid=4243] ppid=4241 vsize=39432 CPUtime=282.18 /proc/4243/stat : 4243 (pbscip.linux.x8) R 4241 4243 3356 0 -1 4202496 134959 0 0 0 27497 721 0 0 25 0 1 0 2667904 40378368 8999 1992294400 4194304 8223781 140735741433360 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/4243/statm: 9858 8999 587 984 0 8871 0 Current children cumulated CPU time (s) 282.18 Current children cumulated vsize (KiB) 39432 [startup+342.301 s] /proc/loadavg: 1.00 0.99 0.92 2/107 4254 /proc/meminfo: memFree=1542956/2059040 swapFree=4192956/4192956 [pid=4243] ppid=4241 vsize=39692 CPUtime=342.16 /proc/4243/stat : 4243 (pbscip.linux.x8) R 4241 4243 3356 0 -1 4202496 168613 0 0 0 33337 879 0 0 25 0 1 0 2667904 40644608 9043 1992294400 4194304 8223781 140735741433360 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/4243/statm: 9923 9043 587 984 0 8936 0 Current children cumulated CPU time (s) 342.16 Current children cumulated vsize (KiB) 39692 [startup+402.3 s] /proc/loadavg: 1.00 0.99 0.92 2/107 4256 /proc/meminfo: memFree=1542832/2059040 swapFree=4192956/4192956 [pid=4243] ppid=4241 vsize=39760 CPUtime=402.14 /proc/4243/stat : 4243 (pbscip.linux.x8) R 4241 4243 3356 0 -1 4202496 218732 0 0 0 39163 1051 0 0 25 0 1 0 2667904 40714240 9067 1992294400 4194304 8223781 140735741433360 18446744073709551615 6570134 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/4243/statm: 9940 9067 587 984 0 8953 0 Current children cumulated CPU time (s) 402.14 Current children cumulated vsize (KiB) 39760 [startup+462.302 s] /proc/loadavg: 1.00 0.99 0.92 2/107 4258 /proc/meminfo: memFree=1542832/2059040 swapFree=4192956/4192956 [pid=4243] ppid=4241 vsize=39784 CPUtime=462.12 /proc/4243/stat : 4243 (pbscip.linux.x8) R 4241 4243 3356 0 -1 4202496 252073 0 0 0 45000 1212 0 0 25 0 1 0 2667904 40738816 9074 1992294400 4194304 8223781 140735741433360 18446744073709551615 6450697 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/4243/statm: 9946 9074 587 984 0 8959 0 Current children cumulated CPU time (s) 462.12 Current children cumulated vsize (KiB) 39784 [startup+522.301 s] /proc/loadavg: 1.00 0.99 0.92 2/107 4258 /proc/meminfo: memFree=1542832/2059040 swapFree=4192956/4192956 [pid=4243] ppid=4241 vsize=39696 CPUtime=522.09 /proc/4243/stat : 4243 (pbscip.linux.x8) R 4241 4243 3356 0 -1 4202496 303700 0 0 0 50823 1386 0 0 25 0 1 0 2667904 40648704 9064 1992294400 4194304 8223781 140735741433360 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/4243/statm: 9924 9064 587 984 0 8937 0 Current children cumulated CPU time (s) 522.09 Current children cumulated vsize (KiB) 39696 [startup+582.301 s] /proc/loadavg: 1.00 0.99 0.92 2/107 4260 /proc/meminfo: memFree=1542584/2059040 swapFree=4192956/4192956 [pid=4243] ppid=4241 vsize=39816 CPUtime=582.07 /proc/4243/stat : 4243 (pbscip.linux.x8) R 4241 4243 3356 0 -1 4202496 335027 0 0 0 56664 1543 0 0 25 0 1 0 2667904 40771584 9082 1992294400 4194304 8223781 140735741433360 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/4243/statm: 9954 9082 587 984 0 8967 0 Current children cumulated CPU time (s) 582.07 Current children cumulated vsize (KiB) 39816 [startup+642.301 s] /proc/loadavg: 1.00 0.99 0.92 2/107 4262 /proc/meminfo: memFree=1542584/2059040 swapFree=4192956/4192956 [pid=4243] ppid=4241 vsize=39880 CPUtime=642.05 /proc/4243/stat : 4243 (pbscip.linux.x8) R 4241 4243 3356 0 -1 4202496 366064 0 0 0 62512 1693 0 0 25 0 1 0 2667904 40837120 9090 1992294400 4194304 8223781 140735741433360 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/4243/statm: 9970 9090 587 984 0 8983 0 Current children cumulated CPU time (s) 642.05 Current children cumulated vsize (KiB) 39880 [startup+702.301 s] ################ # More data... # ################ [startup+822.301 s] /proc/loadavg: 1.00 0.99 0.92 2/107 4266 /proc/meminfo: memFree=1542088/2059040 swapFree=4192956/4192956 [pid=4243] ppid=4241 vsize=40228 CPUtime=821.98 /proc/4243/stat : 4243 (pbscip.linux.x8) R 4241 4243 3356 0 -1 4202496 418965 0 0 0 80066 2132 0 0 25 0 1 0 2667904 41193472 9192 1992294400 4194304 8223781 140735741433360 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/4243/statm: 10057 9192 587 984 0 9070 0 Current children cumulated CPU time (s) 821.98 Current children cumulated vsize (KiB) 40228 [startup+882.309 s] /proc/loadavg: 1.00 0.99 0.92 2/107 4268 /proc/meminfo: memFree=1542088/2059040 swapFree=4192956/4192956 [pid=4243] ppid=4241 vsize=40200 CPUtime=881.97 /proc/4243/stat : 4243 (pbscip.linux.x8) R 4241 4243 3356 0 -1 4202496 427987 0 0 0 85916 2281 0 0 25 0 1 0 2667904 41164800 9191 1992294400 4194304 8223781 140735741433360 18446744073709551615 6592517 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/4243/statm: 10050 9191 587 984 0 9063 0 Current children cumulated CPU time (s) 881.97 Current children cumulated vsize (KiB) 40200 [startup+942.301 s] /proc/loadavg: 1.00 0.99 0.92 2/107 4270 /proc/meminfo: memFree=1541964/2059040 swapFree=4192956/4192956 [pid=4243] ppid=4241 vsize=40256 CPUtime=941.94 /proc/4243/stat : 4243 (pbscip.linux.x8) R 4241 4243 3356 0 -1 4202496 440207 0 0 0 91770 2424 0 0 25 0 1 0 2667904 41222144 9199 1992294400 4194304 8223781 140735741433360 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/4243/statm: 10064 9199 587 984 0 9077 0 Current children cumulated CPU time (s) 941.94 Current children cumulated vsize (KiB) 40256 [startup+1002.3 s] /proc/loadavg: 1.00 0.99 0.92 2/107 4272 /proc/meminfo: memFree=1541840/2059040 swapFree=4192956/4192956 [pid=4243] ppid=4241 vsize=40312 CPUtime=1001.91 /proc/4243/stat : 4243 (pbscip.linux.x8) R 4241 4243 3356 0 -1 4202496 446819 0 0 0 97623 2568 0 0 25 0 1 0 2667904 41279488 9219 1992294400 4194304 8223781 140735741433360 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/4243/statm: 10078 9219 587 984 0 9091 0 Current children cumulated CPU time (s) 1001.91 Current children cumulated vsize (KiB) 40312 [startup+1062.3 s] /proc/loadavg: 1.00 0.99 0.92 2/107 4274 /proc/meminfo: memFree=1541840/2059040 swapFree=4192956/4192956 [pid=4243] ppid=4241 vsize=40372 CPUtime=1061.89 /proc/4243/stat : 4243 (pbscip.linux.x8) R 4241 4243 3356 0 -1 4202496 452361 0 0 0 103482 2707 0 0 25 0 1 0 2667904 41340928 9232 1992294400 4194304 8223781 140735741433360 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/4243/statm: 10093 9232 587 984 0 9106 0 Current children cumulated CPU time (s) 1061.89 Current children cumulated vsize (KiB) 40372 [startup+1122.3 s] /proc/loadavg: 1.00 0.99 0.92 2/107 4274 /proc/meminfo: memFree=1541592/2059040 swapFree=4192956/4192956 [pid=4243] ppid=4241 vsize=40312 CPUtime=1121.88 /proc/4243/stat : 4243 (pbscip.linux.x8) R 4241 4243 3356 0 -1 4202496 462235 0 0 0 109338 2850 0 0 25 0 1 0 2667904 41279488 9219 1992294400 4194304 8223781 140735741433360 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/4243/statm: 10078 9219 587 984 0 9091 0 Current children cumulated CPU time (s) 1121.88 Current children cumulated vsize (KiB) 40312 [startup+1182.3 s] /proc/loadavg: 1.00 0.99 0.92 2/107 4276 /proc/meminfo: memFree=1541592/2059040 swapFree=4192956/4192956 [pid=4243] ppid=4241 vsize=40376 CPUtime=1181.85 /proc/4243/stat : 4243 (pbscip.linux.x8) R 4241 4243 3356 0 -1 4202496 486622 0 0 0 115185 3000 0 0 25 0 1 0 2667904 41345024 9235 1992294400 4194304 8223781 140735741433360 18446744073709551615 4854293 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/4243/statm: 10094 9235 587 984 0 9107 0 Current children cumulated CPU time (s) 1181.85 Current children cumulated vsize (KiB) 40376 [startup+1242.3 s] /proc/loadavg: 1.00 0.99 0.92 2/107 4278 /proc/meminfo: memFree=1541468/2059040 swapFree=4192956/4192956 [pid=4243] ppid=4241 vsize=40376 CPUtime=1241.83 /proc/4243/stat : 4243 (pbscip.linux.x8) R 4241 4243 3356 0 -1 4202496 513136 0 0 0 121037 3146 0 0 25 0 1 0 2667904 41345024 9234 1992294400 4194304 8223781 140735741433360 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/4243/statm: 10094 9234 587 984 0 9107 0 Current children cumulated CPU time (s) 1241.83 Current children cumulated vsize (KiB) 40376 [startup+1302.3 s] /proc/loadavg: 1.00 0.99 0.92 2/107 4280 /proc/meminfo: memFree=1541344/2059040 swapFree=4192956/4192956 [pid=4243] ppid=4241 vsize=40408 CPUtime=1301.81 /proc/4243/stat : 4243 (pbscip.linux.x8) R 4241 4243 3356 0 -1 4202496 544663 0 0 0 126870 3311 0 0 25 0 1 0 2667904 41377792 9243 1992294400 4194304 8223781 140735741433360 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/4243/statm: 10102 9243 587 984 0 9115 0 Current children cumulated CPU time (s) 1301.81 Current children cumulated vsize (KiB) 40408 [startup+1362.3 s] /proc/loadavg: 1.00 0.99 0.92 2/107 4282 /proc/meminfo: memFree=1541344/2059040 swapFree=4192956/4192956 [pid=4243] ppid=4241 vsize=40496 CPUtime=1361.78 /proc/4243/stat : 4243 (pbscip.linux.x8) R 4241 4243 3356 0 -1 4202496 562699 0 0 0 132721 3457 0 0 25 0 1 0 2667904 41467904 9247 1992294400 4194304 8223781 140735741433360 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/4243/statm: 10124 9247 587 984 0 9137 0 Current children cumulated CPU time (s) 1361.78 Current children cumulated vsize (KiB) 40496 [startup+1422.3 s] /proc/loadavg: 1.00 0.99 0.92 2/107 4291 /proc/meminfo: memFree=1540848/2059040 swapFree=4192956/4192956 [pid=4243] ppid=4241 vsize=40384 CPUtime=1421.75 /proc/4243/stat : 4243 (pbscip.linux.x8) R 4241 4243 3356 0 -1 4202496 578684 0 0 0 138572 3603 0 0 25 0 1 0 2667904 41353216 9237 1992294400 4194304 8223781 140735741433360 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/4243/statm: 10096 9237 587 984 0 9109 0 Current children cumulated CPU time (s) 1421.75 Current children cumulated vsize (KiB) 40384 [startup+1482.3 s] /proc/loadavg: 1.00 0.99 0.92 2/107 4293 /proc/meminfo: memFree=1540848/2059040 swapFree=4192956/4192956 [pid=4243] ppid=4241 vsize=40704 CPUtime=1481.72 /proc/4243/stat : 4243 (pbscip.linux.x8) R 4241 4243 3356 0 -1 4202496 599225 0 0 0 144409 3763 0 0 25 0 1 0 2667904 41680896 9316 1992294400 4194304 8223781 140735741433360 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/4243/statm: 10176 9316 587 984 0 9189 0 Current children cumulated CPU time (s) 1481.72 Current children cumulated vsize (KiB) 40704 [startup+1542.31 s] /proc/loadavg: 1.00 0.99 0.92 2/107 4295 /proc/meminfo: memFree=1540848/2059040 swapFree=4192956/4192956 [pid=4243] ppid=4241 vsize=40840 CPUtime=1541.7 /proc/4243/stat : 4243 (pbscip.linux.x8) R 4241 4243 3356 0 -1 4202496 633039 0 0 0 150244 3926 0 0 25 0 1 0 2667904 41820160 9321 1992294400 4194304 8223781 140735741433360 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/4243/statm: 10210 9321 587 984 0 9223 0 Current children cumulated CPU time (s) 1541.7 Current children cumulated vsize (KiB) 40840 [startup+1602.3 s] /proc/loadavg: 1.00 0.99 0.92 2/107 4297 /proc/meminfo: memFree=1540848/2059040 swapFree=4192956/4192956 [pid=4243] ppid=4241 vsize=40644 CPUtime=1601.67 /proc/4243/stat : 4243 (pbscip.linux.x8) R 4241 4243 3356 0 -1 4202496 676006 0 0 0 156071 4096 0 0 25 0 1 0 2667904 41619456 9302 1992294400 4194304 8223781 140735741433360 18446744073709551615 6569377 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/4243/statm: 10161 9302 587 984 0 9174 0 Current children cumulated CPU time (s) 1601.67 Current children cumulated vsize (KiB) 40644 [startup+1662.3 s] /proc/loadavg: 1.00 0.99 0.92 2/107 4299 /proc/meminfo: memFree=1540848/2059040 swapFree=4192956/4192956 [pid=4243] ppid=4241 vsize=40732 CPUtime=1661.66 /proc/4243/stat : 4243 (pbscip.linux.x8) R 4241 4243 3356 0 -1 4202496 718975 0 0 0 161901 4265 0 0 25 0 1 0 2667904 41709568 9312 1992294400 4194304 8223781 140735741433360 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/4243/statm: 10183 9312 587 984 0 9196 0 Current children cumulated CPU time (s) 1661.66 Current children cumulated vsize (KiB) 40732 [startup+1722.3 s] /proc/loadavg: 1.00 0.99 0.92 2/107 4299 /proc/meminfo: memFree=1540848/2059040 swapFree=4192956/4192956 [pid=4243] ppid=4241 vsize=40804 CPUtime=1721.63 /proc/4243/stat : 4243 (pbscip.linux.x8) R 4241 4243 3356 0 -1 4202496 742068 0 0 0 167751 4412 0 0 25 0 1 0 2667904 41783296 9331 1992294400 4194304 8223781 140735741433360 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/4243/statm: 10201 9331 587 984 0 9214 0 Current children cumulated CPU time (s) 1721.63 Current children cumulated vsize (KiB) 40804 [startup+1782.3 s] /proc/loadavg: 1.00 0.99 0.92 2/107 4301 /proc/meminfo: memFree=1540600/2059040 swapFree=4192956/4192956 [pid=4243] ppid=4241 vsize=40700 CPUtime=1781.61 /proc/4243/stat : 4243 (pbscip.linux.x8) R 4241 4243 3356 0 -1 4202496 778057 0 0 0 173576 4585 0 0 25 0 1 0 2667904 41676800 9316 1992294400 4194304 8223781 140735741433360 18446744073709551615 6599043 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/4243/statm: 10212 9318 587 984 0 9225 0 Current children cumulated CPU time (s) 1781.61 Current children cumulated vsize (KiB) 40700 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.7 s] /proc/loadavg: 1.00 0.99 0.92 2/107 4301 /proc/meminfo: memFree=1540600/2059040 swapFree=4192956/4192956 [pid=4243] ppid=4241 vsize=40644 CPUtime=1800.01 /proc/4243/stat : 4243 (pbscip.linux.x8) R 4241 4243 3356 0 -1 4202496 788323 0 0 0 175367 4634 0 0 25 0 1 0 2667904 41619456 9302 1992294400 4194304 8223781 140735741433360 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/4243/statm: 10161 9302 587 984 0 9174 0 Current children cumulated CPU time (s) 1800.01 Current children cumulated vsize (KiB) 40644 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples Child status: 0 Real time (s): 1800.74 CPU time (s): 1800.06 CPU user time (s): 1753.7 CPU system time (s): 46.352 CPU usage (%): 99.9617 Max. virtual memory (cumulated for all children) (KiB): 40976 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1753.7 system time used= 46.352 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 788332 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= 5 involuntary context switches= 20987 runsolver used 2.93155 second user time and 8.5637 second system time The end
Begin job on node010 at 2010-06-11 17:37:43 IDJOB=2667135 IDBENCH=1167 IDSOLVER=1169 FILE ID=node010/2667135-1276270663 PBS_JOBID= 11172201 Free space on /tmp= 62500 MiB SOLVER NAME= SCIPspx SCIP 1.2.1.2 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-2667135-1276270663/watcher-2667135-1276270663 -o /tmp/evaluation-result-2667135-1276270663/solver-2667135-1276270663 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt.spx -f HOME/instance-2667135-1276270663.opb -t 1800 -m 1800 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= 1a4510076d9024b805728ffe22c0d108 RANDOM SEED=1514345280 node010.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 : 3000.267 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 : 6000.53 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 : 3000.267 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.46 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2059040 kB MemFree: 1578212 kB Buffers: 50188 kB Cached: 304904 kB SwapCached: 0 kB Active: 157188 kB Inactive: 257020 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2059040 kB LowFree: 1578212 kB SwapTotal: 4192956 kB SwapFree: 4192956 kB Dirty: 4596 kB Writeback: 0 kB AnonPages: 59136 kB Mapped: 15392 kB Slab: 44848 kB PageTables: 4012 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 5222476 kB Committed_AS: 180932 kB VmallocTotal: 34359738367 kB VmallocUsed: 264948 kB VmallocChunk: 34359471699 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 Hugepagesize: 2048 kB Free space on /tmp at the end= 62496 MiB End job on node010 at 2010-06-11 18:07:46