| Solver Name | Answer | CPU time | Wall clock time |
|---|---|---|---|
| SCIPnone SCIP 1.2.1.2 without any LP solver | ? (TO) | 1801.53 | 1802.22 |
| Name | normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/ namasivayam/tsp/normalized-t3002.11tsp11.1900559676.opb |
| MD5SUM | f4b978648ea0f0ad7162795950b3a449 |
| Bench Category | DEC-SMALLINT (no optimisation, small integers) |
| Best result obtained on this benchmark | UNSAT |
| Best value of the objective obtained on this benchmark | |
| Best CPU time to get the best result obtained on this benchmark | 224.669 |
| Has Objective Function | NO |
| Satisfiable | NO |
| (Un)Satisfiability was proved | YES |
| Best value of the objective function | |
| Optimality of the best value was proved | |
| Number of variables | 231 |
| Total number of constraints | 2707 |
| Number of constraints which are clauses | 2684 |
| Number of constraints which are cardinality constraints (but not clauses) | 22 |
| Number of constraints which are nor clauses,nor cardinality constraints | 1 |
| Minimum length of a constraint | 2 |
| Maximum length of a constraint | 110 |
| 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 | 25 |
| Number of bits of the biggest number in a constraint | 5 |
| Biggest sum of numbers in a constraint | 625 |
| Number of bits of the biggest sum of numbers | 10 |
| 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: NONE] [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-2664415-1276297760.opb>
0.00/0.06 c original problem has 231 variables (231 bin, 0 int, 0 impl, 0 cont) and 2707 constraints
0.00/0.06 c problem read
0.00/0.06 c No objective function, only one solution is needed.
0.00/0.06 c presolving settings loaded
0.00/0.06 c [src/scip/lpi_none.c:41] ERROR: there is no LP solver linked to the binary (LPS=none); you should set the parameter <lp/solvefreq> to <-1> to avoid solving LPs
0.00/0.07 c presolving:
0.09/0.12 c (round 1) 0 del vars, 143 del conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 2542 upgd conss, 242 impls, 22 clqs
0.09/0.13 c (round 2) 0 del vars, 143 del conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 2564 upgd conss, 242 impls, 22 clqs
0.09/0.15 c presolving (3 rounds):
0.09/0.15 c 0 deleted vars, 143 deleted constraints, 0 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
0.09/0.15 c 242 implications, 22 cliques
0.09/0.15 c presolved problem has 231 variables (231 bin, 0 int, 0 impl, 0 cont) and 2564 constraints
0.09/0.15 c 1 constraints of type <knapsack>
0.09/0.15 c 22 constraints of type <setppc>
0.09/0.15 c 2541 constraints of type <logicor>
0.09/0.15 c transformed objective value is always integral (scale: 1)
0.09/0.15 c Presolving Time: 0.06
0.09/0.15 c - non default parameters ----------------------------------------------------------------------
0.09/0.15 c # SCIP version 1.2.1.2
0.09/0.15 c
0.09/0.15 c # frequency for displaying node information lines
0.09/0.15 c # [type: int, range: [-1,2147483647], default: 100]
0.09/0.15 c display/freq = 10000
0.09/0.15 c
0.09/0.15 c # maximal time in seconds to run
0.09/0.15 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.09/0.15 c limits/time = 1799.95
0.09/0.15 c
0.09/0.15 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.09/0.15 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.09/0.15 c limits/memory = 1620
0.09/0.15 c
0.09/0.15 c # solving stops, if the given number of solutions were found (-1: no limit)
0.09/0.15 c # [type: int, range: [-1,2147483647], default: -1]
0.09/0.15 c limits/solutions = 1
0.09/0.15 c
0.09/0.15 c # frequency for solving LP at the nodes (-1: never; 0: only root LP)
0.09/0.15 c # [type: int, range: [-1,2147483647], default: 1]
0.09/0.15 c lp/solvefreq = -1
0.09/0.15 c
0.09/0.15 c # maximal number of separation rounds per node (-1: unlimited)
0.09/0.15 c # [type: int, range: [-1,2147483647], default: 5]
0.09/0.15 c separating/maxrounds = 1
0.09/0.15 c
0.09/0.15 c # maximal number of separation rounds in the root node (-1: unlimited)
0.09/0.15 c # [type: int, range: [-1,2147483647], default: -1]
0.09/0.15 c separating/maxroundsroot = 5
0.09/0.15 c
0.09/0.15 c # should presolving try to simplify inequalities
0.09/0.15 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.09/0.15 c constraints/linear/simplifyinequalities = TRUE
0.09/0.15 c
0.09/0.15 c # should disaggregation of knapsack constraints be allowed in preprocessing?
0.09/0.15 c # [type: bool, range: {TRUE,FALSE}, default: TRUE]
0.09/0.15 c constraints/knapsack/disaggregation = FALSE
0.09/0.15 c
0.09/0.15 c # should presolving try to simplify knapsacks
0.09/0.15 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.09/0.15 c constraints/knapsack/simplifyinequalities = TRUE
0.09/0.15 c
0.09/0.15 c # maximal number of presolving rounds the presolver participates in (-1: no limit)
0.09/0.15 c # [type: int, range: [-1,2147483647], default: -1]
0.09/0.15 c presolving/probing/maxrounds = 0
0.09/0.15 c
0.09/0.15 c # frequency for calling primal heuristic <coefdiving> (-1: never, 0: only at depth freqofs)
0.09/0.15 c # [type: int, range: [-1,2147483647], default: 10]
0.09/0.15 c heuristics/coefdiving/freq = -1
0.09/0.15 c
0.09/0.15 c # maximal fraction of diving LP iterations compared to node LP iterations
0.09/0.15 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
0.09/0.15 c heuristics/coefdiving/maxlpiterquot = 0.075
0.09/0.15 c
0.09/0.15 c # additional number of allowed LP iterations
0.09/0.15 c # [type: int, range: [0,2147483647], default: 1000]
0.09/0.15 c heuristics/coefdiving/maxlpiterofs = 1500
0.09/0.15 c
0.09/0.15 c # frequency for calling primal heuristic <crossover> (-1: never, 0: only at depth freqofs)
0.09/0.15 c # [type: int, range: [-1,2147483647], default: 30]
0.09/0.15 c heuristics/crossover/freq = -1
0.09/0.15 c
0.09/0.15 c # number of nodes added to the contingent of the total nodes
0.09/0.15 c # [type: longint, range: [0,9223372036854775807], default: 500]
0.09/0.15 c heuristics/crossover/nodesofs = 750
0.09/0.15 c
0.09/0.15 c # number of nodes without incumbent change that heuristic should wait
0.09/0.15 c # [type: longint, range: [0,9223372036854775807], default: 200]
0.09/0.15 c heuristics/crossover/nwaitingnodes = 100
0.09/0.15 c
0.09/0.15 c # contingent of sub problem nodes in relation to the number of nodes of the original problem
0.09/0.15 c # [type: real, range: [0,1], default: 0.1]
0.09/0.15 c heuristics/crossover/nodesquot = 0.15
0.09/0.15 c
0.09/0.15 c # minimum percentage of integer variables that have to be fixed
0.09/0.15 c # [type: real, range: [0,1], default: 0.666]
0.09/0.15 c heuristics/crossover/minfixingrate = 0.5
0.09/0.15 c
0.09/0.15 c # frequency for calling primal heuristic <feaspump> (-1: never, 0: only at depth freqofs)
0.09/0.15 c # [type: int, range: [-1,2147483647], default: 20]
0.09/0.15 c heuristics/feaspump/freq = -1
0.09/0.15 c
0.09/0.15 c # additional number of allowed LP iterations
0.09/0.15 c # [type: int, range: [0,2147483647], default: 1000]
0.09/0.15 c heuristics/feaspump/maxlpiterofs = 2000
0.09/0.15 c
0.09/0.15 c # frequency for calling primal heuristic <fracdiving> (-1: never, 0: only at depth freqofs)
0.09/0.15 c # [type: int, range: [-1,2147483647], default: 10]
0.09/0.15 c heuristics/fracdiving/freq = -1
0.09/0.15 c
0.09/0.15 c # maximal fraction of diving LP iterations compared to node LP iterations
0.09/0.15 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
0.09/0.15 c heuristics/fracdiving/maxlpiterquot = 0.075
0.09/0.15 c
0.09/0.15 c # additional number of allowed LP iterations
0.09/0.15 c # [type: int, range: [0,2147483647], default: 1000]
0.09/0.15 c heuristics/fracdiving/maxlpiterofs = 1500
0.09/0.15 c
0.09/0.15 c # frequency for calling primal heuristic <guideddiving> (-1: never, 0: only at depth freqofs)
0.09/0.15 c # [type: int, range: [-1,2147483647], default: 10]
0.09/0.15 c heuristics/guideddiving/freq = -1
0.09/0.15 c
0.09/0.15 c # maximal fraction of diving LP iterations compared to node LP iterations
0.09/0.15 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
0.09/0.15 c heuristics/guideddiving/maxlpiterquot = 0.075
0.09/0.15 c
0.09/0.15 c # additional number of allowed LP iterations
0.09/0.15 c # [type: int, range: [0,2147483647], default: 1000]
0.09/0.15 c heuristics/guideddiving/maxlpiterofs = 1500
0.09/0.15 c
0.09/0.15 c # maximal fraction of diving LP iterations compared to node LP iterations
0.09/0.15 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
0.09/0.15 c heuristics/intdiving/maxlpiterquot = 0.075
0.09/0.15 c
0.09/0.15 c # frequency for calling primal heuristic <intshifting> (-1: never, 0: only at depth freqofs)
0.09/0.15 c # [type: int, range: [-1,2147483647], default: 10]
0.09/0.15 c heuristics/intshifting/freq = -1
0.09/0.15 c
0.09/0.15 c # frequency for calling primal heuristic <linesearchdiving> (-1: never, 0: only at depth freqofs)
0.09/0.15 c # [type: int, range: [-1,2147483647], default: 10]
0.09/0.15 c heuristics/linesearchdiving/freq = -1
0.09/0.15 c
0.09/0.15 c # maximal fraction of diving LP iterations compared to node LP iterations
0.09/0.15 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
0.09/0.15 c heuristics/linesearchdiving/maxlpiterquot = 0.075
0.09/0.15 c
0.09/0.15 c # additional number of allowed LP iterations
0.09/0.15 c # [type: int, range: [0,2147483647], default: 1000]
0.09/0.15 c heuristics/linesearchdiving/maxlpiterofs = 1500
0.09/0.15 c
0.09/0.15 c # frequency for calling primal heuristic <nlp> (-1: never, 0: only at depth freqofs)
0.09/0.15 c # [type: int, range: [-1,2147483647], default: 1]
0.09/0.15 c heuristics/nlp/freq = -1
0.09/0.15 c
0.09/0.15 c # frequency for calling primal heuristic <objpscostdiving> (-1: never, 0: only at depth freqofs)
0.09/0.15 c # [type: int, range: [-1,2147483647], default: 20]
0.09/0.15 c heuristics/objpscostdiving/freq = -1
0.09/0.15 c
0.09/0.15 c # maximal fraction of diving LP iterations compared to total iteration number
0.09/0.15 c # [type: real, range: [0,1], default: 0.01]
0.09/0.15 c heuristics/objpscostdiving/maxlpiterquot = 0.015
0.09/0.15 c
0.09/0.15 c # additional number of allowed LP iterations
0.09/0.15 c # [type: int, range: [0,2147483647], default: 1000]
0.09/0.15 c heuristics/objpscostdiving/maxlpiterofs = 1500
0.09/0.15 c
0.09/0.15 c # frequency for calling primal heuristic <oneopt> (-1: never, 0: only at depth freqofs)
0.09/0.15 c # [type: int, range: [-1,2147483647], default: 1]
0.09/0.15 c heuristics/oneopt/freq = -1
0.09/0.15 c
0.09/0.15 c # frequency for calling primal heuristic <pscostdiving> (-1: never, 0: only at depth freqofs)
0.09/0.15 c # [type: int, range: [-1,2147483647], default: 10]
0.09/0.15 c heuristics/pscostdiving/freq = -1
0.09/0.15 c
0.09/0.15 c # maximal fraction of diving LP iterations compared to node LP iterations
0.09/0.15 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
0.09/0.15 c heuristics/pscostdiving/maxlpiterquot = 0.075
0.09/0.15 c
0.09/0.15 c # additional number of allowed LP iterations
0.09/0.15 c # [type: int, range: [0,2147483647], default: 1000]
0.09/0.15 c heuristics/pscostdiving/maxlpiterofs = 1500
0.09/0.15 c
0.09/0.15 c # frequency for calling primal heuristic <rens> (-1: never, 0: only at depth freqofs)
0.09/0.15 c # [type: int, range: [-1,2147483647], default: 0]
0.09/0.15 c heuristics/rens/freq = -1
0.09/0.15 c
0.09/0.15 c # minimum percentage of integer variables that have to be fixable
0.09/0.15 c # [type: real, range: [0,1], default: 0.5]
0.09/0.15 c heuristics/rens/minfixingrate = 0.3
0.09/0.15 c
0.09/0.15 c # number of nodes added to the contingent of the total nodes
0.09/0.15 c # [type: longint, range: [0,9223372036854775807], default: 500]
0.09/0.15 c heuristics/rens/nodesofs = 2000
0.09/0.15 c
0.09/0.15 c # frequency for calling primal heuristic <rootsoldiving> (-1: never, 0: only at depth freqofs)
0.09/0.15 c # [type: int, range: [-1,2147483647], default: 20]
0.09/0.15 c heuristics/rootsoldiving/freq = -1
0.09/0.15 c
0.09/0.15 c # maximal fraction of diving LP iterations compared to node LP iterations
0.09/0.15 c # [type: real, range: [0,1.79769313486232e+308], default: 0.01]
0.09/0.15 c heuristics/rootsoldiving/maxlpiterquot = 0.015
0.09/0.15 c
0.09/0.15 c # additional number of allowed LP iterations
0.09/0.15 c # [type: int, range: [0,2147483647], default: 1000]
0.09/0.15 c heuristics/rootsoldiving/maxlpiterofs = 1500
0.09/0.15 c
0.09/0.15 c # frequency for calling primal heuristic <rounding> (-1: never, 0: only at depth freqofs)
0.09/0.15 c # [type: int, range: [-1,2147483647], default: 1]
0.09/0.15 c heuristics/rounding/freq = -1
0.09/0.15 c
0.09/0.15 c # frequency for calling primal heuristic <shifting> (-1: never, 0: only at depth freqofs)
0.09/0.15 c # [type: int, range: [-1,2147483647], default: 10]
0.09/0.15 c heuristics/shifting/freq = -1
0.09/0.15 c
0.09/0.15 c # frequency for calling primal heuristic <simplerounding> (-1: never, 0: only at depth freqofs)
0.09/0.15 c # [type: int, range: [-1,2147483647], default: 1]
0.09/0.15 c heuristics/simplerounding/freq = -1
0.09/0.15 c
0.09/0.15 c # frequency for calling primal heuristic <trivial> (-1: never, 0: only at depth freqofs)
0.09/0.15 c # [type: int, range: [-1,2147483647], default: 0]
0.09/0.15 c heuristics/trivial/freq = -1
0.09/0.15 c
0.09/0.15 c # frequency for calling primal heuristic <trysol> (-1: never, 0: only at depth freqofs)
0.09/0.15 c # [type: int, range: [-1,2147483647], default: 1]
0.09/0.15 c heuristics/trysol/freq = -1
0.09/0.15 c
0.09/0.15 c # frequency for calling primal heuristic <veclendiving> (-1: never, 0: only at depth freqofs)
0.09/0.15 c # [type: int, range: [-1,2147483647], default: 10]
0.09/0.15 c heuristics/veclendiving/freq = -1
0.09/0.15 c
0.09/0.15 c # maximal fraction of diving LP iterations compared to node LP iterations
0.09/0.15 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
0.09/0.15 c heuristics/veclendiving/maxlpiterquot = 0.075
0.09/0.15 c
0.09/0.15 c # additional number of allowed LP iterations
0.09/0.15 c # [type: int, range: [0,2147483647], default: 1000]
0.09/0.15 c heuristics/veclendiving/maxlpiterofs = 1500
0.09/0.15 c
0.09/0.15 c # frequency for calling primal heuristic <zirounding> (-1: never, 0: only at depth freqofs)
0.09/0.15 c # [type: int, range: [-1,2147483647], default: 1]
0.09/0.15 c heuristics/zirounding/freq = -1
0.09/0.15 c
0.09/0.15 c # frequency for calling separator <cmir> (-1: never, 0: only in root node)
0.09/0.15 c # [type: int, range: [-1,2147483647], default: 0]
0.09/0.15 c separating/cmir/freq = -1
0.09/0.15 c
0.09/0.15 c # frequency for calling separator <flowcover> (-1: never, 0: only in root node)
0.09/0.15 c # [type: int, range: [-1,2147483647], default: 0]
0.09/0.15 c separating/flowcover/freq = -1
0.09/0.15 c
0.09/0.15 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
0.09/0.15 c # [type: int, range: [-1,2147483647], default: -1]
0.09/0.15 c separating/rapidlearning/freq = 0
0.09/0.15 c
0.09/0.15 c -----------------------------------------------------------------------------------------------
0.09/0.15 c start solving
0.09/0.15 c
0.09/0.15 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.15 c 0.1s| 1 | 2 | 0 | - |2396k| 0 | - | 231 |2564 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
3.89/3.90 c 3.6s| 10000 | 8368 | 0 | 0.0 |7101k| 107 | - | 231 |4245 | 0 | 0 | 0 |2448 | 0 | 0.000000e+00 | -- | Inf
9.39/9.46 c 9.0s| 20000 | 15065 | 0 | 0.0 | 12M| 107 | - | 231 |5683 | 0 | 0 | 0 |7273 | 0 | 0.000000e+00 | -- | Inf
14.08/14.15 c 13.4s| 30000 | 23189 | 0 | 0.0 | 16M| 107 | - | 231 |5985 | 0 | 0 | 0 | 10k| 0 | 0.000000e+00 | -- | Inf
19.28/19.39 c 18.4s| 40000 | 30944 | 0 | 0.0 | 21M| 107 | - | 231 |6587 | 0 | 0 | 0 | 13k| 0 | 0.000000e+00 | -- | Inf
25.19/25.23 c 24.1s| 50000 | 38411 | 0 | 0.0 | 26M| 107 | - | 231 |7458 | 0 | 0 | 0 | 16k| 0 | 0.000000e+00 | -- | Inf
31.78/31.83 c 30.4s| 60000 | 45556 | 0 | 0.0 | 30M| 107 | - | 231 |8534 | 0 | 0 | 0 | 20k| 0 | 0.000000e+00 | -- | Inf
39.48/39.51 c 37.8s| 70000 | 52372 | 0 | 0.0 | 35M| 107 | - | 231 |9856 | 0 | 0 | 0 | 25k| 0 | 0.000000e+00 | -- | Inf
48.47/48.59 c 46.7s| 80000 | 58713 | 0 | 0.0 | 41M| 107 | - | 231 | 10k| 0 | 0 | 0 | 30k| 0 | 0.000000e+00 | -- | Inf
59.97/60.09 c 57.9s| 90000 | 64237 | 0 | 0.0 | 46M| 107 | - | 231 | 12k| 0 | 0 | 0 | 37k| 0 | 0.000000e+00 | -- | Inf
73.97/74.04 c 71.5s|100000 | 68957 | 0 | 0.0 | 52M| 107 | - | 231 | 14k| 0 | 0 | 0 | 45k| 0 | 0.000000e+00 | -- | Inf
90.17/90.29 c 87.4s|110000 | 73177 | 0 | 0.0 | 57M| 107 | - | 231 | 15k| 0 | 0 | 0 | 53k| 0 | 0.000000e+00 | -- | Inf
109.55/109.61 c 106s|120000 | 76507 | 0 | 0.0 | 62M| 107 | - | 231 | 15k| 0 | 0 | 0 | 63k| 0 | 0.000000e+00 | -- | Inf
123.34/123.44 c 120s|130000 | 82341 | 0 | 0.0 | 66M| 107 | - | 231 | 14k| 0 | 0 | 0 | 68k| 0 | 0.000000e+00 | -- | Inf
132.44/132.58 c 129s|140000 | 89802 | 0 | 0.0 | 70M| 107 | - | 231 | 12k| 0 | 0 | 0 | 72k| 0 | 0.000000e+00 | -- | Inf
141.14/141.29 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
141.14/141.29 c 137s|150000 | 97271 | 0 | 0.0 | 74M| 107 | - | 231 | 12k| 0 | 0 | 0 | 76k| 0 | 0.000000e+00 | -- | Inf
150.33/150.44 c 146s|160000 |104566 | 0 | 0.0 | 79M| 107 | - | 231 | 12k| 0 | 0 | 0 | 80k| 0 | 0.000000e+00 | -- | Inf
159.73/159.81 c 155s|170000 |111738 | 0 | 0.0 | 83M| 107 | - | 231 | 13k| 0 | 0 | 0 | 84k| 0 | 0.000000e+00 | -- | Inf
169.02/169.18 c 165s|180000 |118939 | 0 | 0.0 | 87M| 107 | - | 231 | 13k| 0 | 0 | 0 | 88k| 0 | 0.000000e+00 | -- | Inf
178.32/178.47 c 174s|190000 |126046 | 0 | 0.0 | 92M| 107 | - | 231 | 13k| 0 | 0 | 0 | 93k| 0 | 0.000000e+00 | -- | Inf
187.92/188.04 c 183s|200000 |133020 | 0 | 0.0 | 96M| 107 | - | 231 | 13k| 0 | 0 | 0 | 97k| 0 | 0.000000e+00 | -- | Inf
197.91/198.06 c 193s|210000 |139954 | 0 | 0.0 | 101M| 107 | - | 231 | 13k| 0 | 0 | 0 | 101k| 0 | 0.000000e+00 | -- | Inf
207.82/207.95 c 202s|220000 |146842 | 0 | 0.0 | 105M| 107 | - | 231 | 13k| 0 | 0 | 0 | 106k| 0 | 0.000000e+00 | -- | Inf
218.30/218.43 c 213s|230000 |153647 | 0 | 0.0 | 109M| 107 | - | 231 | 13k| 0 | 0 | 0 | 110k| 0 | 0.000000e+00 | -- | Inf
228.50/228.64 c 222s|240000 |160524 | 0 | 0.0 | 114M| 107 | - | 231 | 14k| 0 | 0 | 0 | 115k| 0 | 0.000000e+00 | -- | Inf
239.29/239.44 c 233s|250000 |167255 | 0 | 0.0 | 118M| 107 | - | 231 | 14k| 0 | 0 | 0 | 119k| 0 | 0.000000e+00 | -- | Inf
250.39/250.51 c 244s|260000 |173916 | 0 | 0.0 | 123M| 107 | - | 231 | 15k| 0 | 0 | 0 | 124k| 0 | 0.000000e+00 | -- | Inf
261.89/262.00 c 255s|270000 |180573 | 0 | 0.0 | 127M| 107 | - | 231 | 15k| 0 | 0 | 0 | 129k| 0 | 0.000000e+00 | -- | Inf
275.58/275.76 c 269s|280000 |186474 | 0 | 0.0 | 132M| 107 | - | 231 | 15k| 0 | 0 | 0 | 134k| 0 | 0.000000e+00 | -- | Inf
290.88/291.01 c 284s|290000 |192164 | 0 | 0.0 | 137M| 107 | - | 231 | 16k| 0 | 0 | 0 | 140k| 0 | 0.000000e+00 | -- | Inf
307.97/308.12 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
307.97/308.12 c 300s|300000 |197576 | 0 | 0.0 | 142M| 107 | - | 231 | 18k| 0 | 0 | 0 | 147k| 0 | 0.000000e+00 | -- | Inf
325.27/325.44 c 317s|310000 |203075 | 0 | 0.0 | 148M| 107 | - | 231 | 19k| 0 | 0 | 0 | 153k| 0 | 0.000000e+00 | -- | Inf
344.86/345.06 c 337s|320000 |208139 | 0 | 0.0 | 153M| 107 | - | 231 | 20k| 0 | 0 | 0 | 160k| 0 | 0.000000e+00 | -- | Inf
363.55/363.76 c 355s|330000 |213581 | 0 | 0.0 | 158M| 107 | - | 231 | 20k| 0 | 0 | 0 | 167k| 0 | 0.000000e+00 | -- | Inf
383.84/384.09 c 375s|340000 |218759 | 0 | 0.0 | 163M| 107 | - | 231 | 21k| 0 | 0 | 0 | 174k| 0 | 0.000000e+00 | -- | Inf
405.23/405.46 c 396s|350000 |223763 | 0 | 0.0 | 168M| 107 | - | 231 | 21k| 0 | 0 | 0 | 181k| 0 | 0.000000e+00 | -- | Inf
426.53/426.71 c 417s|360000 |228776 | 0 | 0.0 | 173M| 107 | - | 231 | 22k| 0 | 0 | 0 | 188k| 0 | 0.000000e+00 | -- | Inf
450.12/450.38 c 440s|370000 |233368 | 0 | 0.0 | 178M| 107 | - | 231 | 22k| 0 | 0 | 0 | 195k| 0 | 0.000000e+00 | -- | Inf
472.71/472.99 c 463s|380000 |238232 | 0 | 0.0 | 184M| 107 | - | 231 | 23k| 0 | 0 | 0 | 203k| 0 | 0.000000e+00 | -- | Inf
498.20/498.45 c 488s|390000 |242672 | 0 | 0.0 | 189M| 107 | - | 231 | 24k| 0 | 0 | 0 | 211k| 0 | 0.000000e+00 | -- | Inf
522.68/522.98 c 512s|400000 |247360 | 0 | 0.0 | 194M| 107 | - | 231 | 24k| 0 | 0 | 0 | 218k| 0 | 0.000000e+00 | -- | Inf
550.08/550.37 c 539s|410000 |251464 | 0 | 0.0 | 199M| 107 | - | 231 | 25k| 0 | 0 | 0 | 227k| 0 | 0.000000e+00 | -- | Inf
576.77/577.00 c 566s|420000 |255723 | 0 | 0.0 | 204M| 107 | - | 231 | 25k| 0 | 0 | 0 | 235k| 0 | 0.000000e+00 | -- | Inf
605.56/605.86 c 594s|430000 |259708 | 0 | 0.0 | 209M| 107 | - | 231 | 26k| 0 | 0 | 0 | 244k| 0 | 0.000000e+00 | -- | Inf
633.54/633.80 c 622s|440000 |263984 | 0 | 0.0 | 214M| 107 | - | 231 | 27k| 0 | 0 | 0 | 252k| 0 | 0.000000e+00 | -- | Inf
665.73/666.04 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
665.73/666.04 c 653s|450000 |267427 | 0 | 0.0 | 219M| 107 | - | 231 | 27k| 0 | 0 | 0 | 262k| 0 | 0.000000e+00 | -- | Inf
695.62/695.99 c 683s|460000 |271462 | 0 | 0.0 | 224M| 107 | - | 231 | 29k| 0 | 0 | 0 | 271k| 0 | 0.000000e+00 | -- | Inf
732.51/732.89 c 720s|470000 |274198 | 0 | 0.0 | 228M| 107 | - | 231 | 29k| 0 | 0 | 0 | 281k| 0 | 0.000000e+00 | -- | Inf
769.70/770.06 c 756s|480000 |277181 | 0 | 0.0 | 233M| 107 | - | 231 | 31k| 0 | 0 | 0 | 291k| 0 | 0.000000e+00 | -- | Inf
806.98/807.36 c 793s|490000 |280241 | 0 | 0.0 | 238M| 107 | - | 231 | 32k| 0 | 0 | 0 | 301k| 0 | 0.000000e+00 | -- | Inf
848.46/848.88 c 835s|500000 |282721 | 0 | 0.0 | 243M| 107 | - | 231 | 33k| 0 | 0 | 0 | 312k| 0 | 0.000000e+00 | -- | Inf
890.74/891.18 c 876s|510000 |285185 | 0 | 0.0 | 247M| 107 | - | 231 | 33k| 0 | 0 | 0 | 323k| 0 | 0.000000e+00 | -- | Inf
935.42/935.85 c 921s|520000 |287311 | 0 | 0.0 | 252M| 107 | - | 231 | 34k| 0 | 0 | 0 | 335k| 0 | 0.000000e+00 | -- | Inf
982.10/982.58 c 967s|530000 |289284 | 0 | 0.0 | 257M| 107 | - | 231 | 35k| 0 | 0 | 0 | 347k| 0 | 0.000000e+00 | -- | Inf
1031.19/1031.64 c 1016s|540000 |290970 | 0 | 0.0 | 261M| 107 | - | 231 | 36k| 0 | 0 | 0 | 359k| 0 | 0.000000e+00 | -- | Inf
1084.57/1085.03 c 1069s|550000 |292061 | 0 | 0.0 | 265M| 107 | - | 231 | 37k| 0 | 0 | 0 | 371k| 0 | 0.000000e+00 | -- | Inf
1140.35/1140.85 c 1124s|560000 |293000 | 0 | 0.0 | 268M| 107 | - | 231 | 38k| 0 | 0 | 0 | 384k| 0 | 0.000000e+00 | -- | Inf
1199.42/1199.99 c 1183s|570000 |293429 | 0 | 0.0 | 271M| 107 | - | 231 | 38k| 0 | 0 | 0 | 397k| 0 | 0.000000e+00 | -- | Inf
1258.50/1259.03 c 1241s|580000 |293809 | 0 | 0.0 | 273M| 107 | - | 231 | 36k| 0 | 0 | 0 | 409k| 0 | 0.000000e+00 | -- | Inf
1291.79/1292.33 c 1274s|590000 |299478 | 0 | 0.0 | 276M| 107 | - | 231 | 31k| 0 | 0 | 0 | 415k| 0 | 0.000000e+00 | -- | Inf
1322.68/1323.28 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1322.68/1323.28 c 1305s|600000 |304981 | 0 | 0.0 | 280M| 107 | - | 231 | 28k| 0 | 0 | 0 | 422k| 0 | 0.000000e+00 | -- | Inf
1351.77/1352.36 c 1334s|610000 |310570 | 0 | 0.0 | 284M| 107 | - | 231 | 27k| 0 | 0 | 0 | 429k| 0 | 0.000000e+00 | -- | Inf
1380.56/1381.17 c 1362s|620000 |315895 | 0 | 0.0 | 289M| 107 | - | 231 | 26k| 0 | 0 | 0 | 436k| 0 | 0.000000e+00 | -- | Inf
1409.25/1409.86 c 1391s|630000 |321106 | 0 | 0.0 | 293M| 107 | - | 231 | 26k| 0 | 0 | 0 | 443k| 0 | 0.000000e+00 | -- | Inf
1438.14/1438.70 c 1419s|640000 |326166 | 0 | 0.0 | 298M| 107 | - | 231 | 25k| 0 | 0 | 0 | 451k| 0 | 0.000000e+00 | -- | Inf
1464.42/1465.08 c 1445s|650000 |331530 | 0 | 0.0 | 302M| 107 | - | 231 | 25k| 0 | 0 | 0 | 458k| 0 | 0.000000e+00 | -- | Inf
1492.21/1492.88 c 1473s|660000 |336553 | 0 | 0.0 | 307M| 107 | - | 231 | 24k| 0 | 0 | 0 | 466k| 0 | 0.000000e+00 | -- | Inf
1518.00/1518.60 c 1498s|670000 |341963 | 0 | 0.0 | 311M| 107 | - | 231 | 24k| 0 | 0 | 0 | 473k| 0 | 0.000000e+00 | -- | Inf
1545.79/1546.44 c 1526s|680000 |346853 | 0 | 0.0 | 316M| 107 | - | 231 | 24k| 0 | 0 | 0 | 480k| 0 | 0.000000e+00 | -- | Inf
1571.59/1572.22 c 1551s|690000 |352135 | 0 | 0.0 | 321M| 107 | - | 231 | 24k| 0 | 0 | 0 | 487k| 0 | 0.000000e+00 | -- | Inf
1598.28/1598.96 c 1578s|700000 |357257 | 0 | 0.0 | 325M| 107 | - | 231 | 24k| 0 | 0 | 0 | 495k| 0 | 0.000000e+00 | -- | Inf
1626.77/1627.47 c 1606s|710000 |361895 | 0 | 0.0 | 330M| 107 | - | 231 | 24k| 0 | 0 | 0 | 503k| 0 | 0.000000e+00 | -- | Inf
1655.56/1656.25 c 1634s|720000 |366472 | 0 | 0.0 | 335M| 107 | - | 231 | 25k| 0 | 0 | 0 | 511k| 0 | 0.000000e+00 | -- | Inf
1682.55/1683.23 c 1661s|730000 |371582 | 0 | 0.0 | 339M| 107 | - | 231 | 25k| 0 | 0 | 0 | 518k| 0 | 0.000000e+00 | -- | Inf
1709.94/1710.65 c 1688s|740000 |376487 | 0 | 0.0 | 344M| 107 | - | 231 | 25k| 0 | 0 | 0 | 526k| 0 | 0.000000e+00 | -- | Inf
1740.92/1741.68 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1740.92/1741.68 c 1719s|750000 |380660 | 0 | 0.0 | 349M| 107 | - | 231 | 25k| 0 | 0 | 0 | 535k| 0 | 0.000000e+00 | -- | Inf
1772.21/1772.96 c 1750s|760000 |384806 | 0 | 0.0 | 354M| 107 | - | 231 | 26k| 0 | 0 | 0 | 543k| 0 | 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) : 1777.42
1800.01/1800.72 c Solving Nodes : 769903
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 : 1777.42
1800.01/1800.72 c Original Problem :
1800.01/1800.72 c Problem name : HOME/instance-2664415-1276297760.opb
1800.01/1800.72 c Variables : 231 (231 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.01/1800.72 c Constraints : 2707 initial, 2707 maximal
1800.01/1800.72 c Presolved Problem :
1800.01/1800.72 c Problem name : t_HOME/instance-2664415-1276297760.opb
1800.01/1800.72 c Variables : 231 (231 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.01/1800.72 c Constraints : 2564 initial, 38688 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 0 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.00 0 0 0 0 0 0 0 0
1800.01/1800.72 c setppc : 0.00 0 0 0 0 0 0 0 0
1800.01/1800.72 c linear : 0.03 0 0 0 0 0 143 0 0
1800.01/1800.72 c logicor : 0.03 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 0 0 0 0 0 0 0
1800.01/1800.72 c knapsack : 1 0 2280921 0 633052 68461 5691560 0 0 0
1800.01/1800.72 c setppc : 22 0 2223979 0 633052 81551 2642863 0 0 0
1800.01/1800.72 c logicor : 2541+ 0 1857464 0 633052 82591 7005675 0 0 0
1800.01/1800.72 c countsols : 0 0 0 0 633049 0 0 0 0 0
1800.01/1800.72 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS
1800.01/1800.72 c integral : 0.00 0.00 0.00 0.00 0.00
1800.01/1800.72 c knapsack : 50.72 0.00 47.15 0.00 3.57
1800.01/1800.72 c setppc : 39.81 0.00 31.19 0.00 8.62
1800.01/1800.72 c logicor : 930.79 0.00 860.67 0.00 70.12
1800.01/1800.72 c countsols : 0.35 0.00 0.00 0.00 0.35
1800.01/1800.72 c Propagators : Time Calls Cutoffs DomReds
1800.01/1800.72 c vbounds : 1.53 1 0 0
1800.01/1800.72 c rootredcost : 1.19 0 0 0
1800.01/1800.72 c pseudoobj : 0.98 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 : 15.91 232603 232484 1224255 20.8 8963 20.1 -
1800.01/1800.72 c infeasible LP : 0.00 0 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 : - - - 545408 16.0 - - -
1800.01/1800.72 c applied locally : - - - 5385 34.5 - - -
1800.01/1800.72 c Separators : Time Calls Cutoffs DomReds Cuts Conss
1800.01/1800.72 c cut pool : 0.00 0 - - 0 - (maximal pool size: 0)
1800.01/1800.72 c redcost : 0.00 0 0 0 0 0
1800.01/1800.72 c impliedbounds : 0.00 0 0 0 0 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.00 0 0 0 0 0
1800.01/1800.72 c strongcg : 0.00 0 0 0 0 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.00 0 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 0 0 0 0 0
1800.01/1800.72 c rapidlearning : 0.00 0 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 : 0.00 0 0 0 0 0 0
1800.01/1800.72 c pscost : 0.00 0 0 0 0 0 0
1800.01/1800.72 c inference : 16.17 633049 0 0 0 0 1266098
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 : 0.00 0 0 0.00 -
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 : 0.00 0 0 0.00 -
1800.01/1800.72 c (at root node) : - 0 0 0.00 -
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 : 769903
1800.01/1800.72 c nodes (total) : 769903
1800.01/1800.72 c nodes left : 389711
1800.01/1800.72 c max depth : 107
1800.01/1800.72 c max depth (total): 107
1800.01/1800.72 c backtracks : 127727 (16.6%)
1800.01/1800.72 c delayed cutoffs : 106485
1800.01/1800.72 c repropagations : 382761 (5140430 domain reductions, 95749 cutoffs)
1800.01/1800.72 c avg switch length: 10.49
1800.01/1800.72 c switching time : 472.65
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 : 0
1801.50/1802.22 c Time complete: 1801.52.
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-2664415-1276297760/watcher-2664415-1276297760 -o /tmp/evaluation-result-2664415-1276297760/solver-2664415-1276297760 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt.none -f HOME/instance-2664415-1276297760.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: 0.92 0.98 1.12 3/106 7243 /proc/meminfo: memFree=1541860/2059040 swapFree=4192956/4192956 [pid=7243] ppid=7241 vsize=6584 CPUtime=0 /proc/7243/stat : 7243 (pbscip.linux.x8) R 7241 7243 6812 0 -1 4202496 963 0 0 0 0 0 0 0 20 0 1 0 5377540 6742016 885 1992294400 4194304 7136930 140734739927440 18446744073709551615 6346613 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/7243/statm: 1646 893 254 719 0 925 0 [startup+0.077851 s] /proc/loadavg: 0.92 0.98 1.12 3/106 7243 /proc/meminfo: memFree=1541860/2059040 swapFree=4192956/4192956 [pid=7243] ppid=7241 vsize=14464 CPUtime=0.06 /proc/7243/stat : 7243 (pbscip.linux.x8) R 7241 7243 6812 0 -1 4202496 3263 0 0 0 6 0 0 0 20 0 1 0 5377540 14811136 2831 1992294400 4194304 7136930 140734739927440 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/7243/statm: 3616 2831 337 719 0 2895 0 Current children cumulated CPU time (s) 0.06 Current children cumulated vsize (KiB) 14464 [startup+0.100854 s] /proc/loadavg: 0.92 0.98 1.12 3/106 7243 /proc/meminfo: memFree=1541860/2059040 swapFree=4192956/4192956 [pid=7243] ppid=7241 vsize=14624 CPUtime=0.09 /proc/7243/stat : 7243 (pbscip.linux.x8) R 7241 7243 6812 0 -1 4202496 3587 0 0 0 8 1 0 0 20 0 1 0 5377540 14974976 2898 1992294400 4194304 7136930 140734739927440 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/7243/statm: 3656 2898 345 719 0 2935 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 14624 [startup+0.300894 s] /proc/loadavg: 0.92 0.98 1.12 3/106 7243 /proc/meminfo: memFree=1541860/2059040 swapFree=4192956/4192956 [pid=7243] ppid=7241 vsize=17056 CPUtime=0.29 /proc/7243/stat : 7243 (pbscip.linux.x8) R 7241 7243 6812 0 -1 4202496 6810 0 0 0 27 2 0 0 20 0 1 0 5377540 17465344 3551 1992294400 4194304 7136930 140734739927440 18446744073709551615 4697655 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/7243/statm: 4264 3551 391 719 0 3543 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 17056 [startup+0.700971 s] /proc/loadavg: 0.92 0.98 1.12 3/106 7243 /proc/meminfo: memFree=1541860/2059040 swapFree=4192956/4192956 [pid=7243] ppid=7241 vsize=17840 CPUtime=0.69 /proc/7243/stat : 7243 (pbscip.linux.x8) R 7241 7243 6812 0 -1 4202496 7012 0 0 0 64 5 0 0 21 0 1 0 5377540 18268160 3753 1992294400 4194304 7136930 140734739927440 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/7243/statm: 4460 3753 391 719 0 3739 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 17840 [startup+1.50113 s] /proc/loadavg: 0.92 0.98 1.12 2/107 7244 /proc/meminfo: memFree=1527716/2059040 swapFree=4192956/4192956 [pid=7243] ppid=7241 vsize=19072 CPUtime=1.49 /proc/7243/stat : 7243 (pbscip.linux.x8) R 7241 7243 6812 0 -1 4202496 7304 0 0 0 140 9 0 0 23 0 1 0 5377540 19529728 4045 1992294400 4194304 7136930 140734739927440 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/7243/statm: 4768 4045 391 719 0 4047 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 19072 [startup+3.10044 s] /proc/loadavg: 0.92 0.98 1.12 2/107 7244 /proc/meminfo: memFree=1525484/2059040 swapFree=4192956/4192956 [pid=7243] ppid=7241 vsize=21504 CPUtime=3.09 /proc/7243/stat : 7243 (pbscip.linux.x8) R 7241 7243 6812 0 -1 4202496 7949 0 0 0 292 17 0 0 25 0 1 0 5377540 22020096 4690 1992294400 4194304 7136930 140734739927440 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/7243/statm: 5376 4690 391 719 0 4655 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 21504 [startup+6.30106 s] /proc/loadavg: 0.93 0.98 1.12 2/107 7244 /proc/meminfo: memFree=1520772/2059040 swapFree=4192956/4192956 [pid=7243] ppid=7241 vsize=25544 CPUtime=6.29 /proc/7243/stat : 7243 (pbscip.linux.x8) R 7241 7243 6812 0 -1 4202496 8947 0 0 0 599 30 0 0 25 0 1 0 5377540 26157056 5688 1992294400 4194304 7136930 140734739927440 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/7243/statm: 6386 5688 391 719 0 5665 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 25544 [startup+12.7013 s] /proc/loadavg: 0.93 0.98 1.12 2/107 7244 /proc/meminfo: memFree=1513332/2059040 swapFree=4192956/4192956 [pid=7243] ppid=7241 vsize=33104 CPUtime=12.69 /proc/7243/stat : 7243 (pbscip.linux.x8) R 7241 7243 6812 0 -1 4202496 10865 0 0 0 1209 60 0 0 25 0 1 0 5377540 33898496 7606 1992294400 4194304 7136930 140734739927440 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/7243/statm: 8276 7606 391 719 0 7555 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 33104 [startup+25.5008 s] /proc/loadavg: 0.95 0.98 1.12 2/107 7244 /proc/meminfo: memFree=1497832/2059040 swapFree=4192956/4192956 [pid=7243] ppid=7241 vsize=47880 CPUtime=25.49 /proc/7243/stat : 7243 (pbscip.linux.x8) R 7241 7243 6812 0 -1 4202496 14636 0 0 0 2436 113 0 0 25 0 1 0 5377540 49029120 11377 1992294400 4194304 7136930 140734739927440 18446744073709551615 4210071 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/7243/statm: 11970 11377 391 719 0 11249 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 47880 [startup+51.1007 s] /proc/loadavg: 1.02 1.00 1.12 2/107 7244 /proc/meminfo: memFree=1479728/2059040 swapFree=4192956/4192956 [pid=7243] ppid=7241 vsize=66564 CPUtime=51.07 /proc/7243/stat : 7243 (pbscip.linux.x8) R 7241 7243 6812 0 -1 4202496 19371 0 0 0 4914 193 0 0 25 0 1 0 5377540 68161536 16112 1992294400 4194304 7136930 140734739927440 18446744073709551615 4210111 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/7243/statm: 16641 16112 391 719 0 15920 0 Current children cumulated CPU time (s) 51.07 Current children cumulated vsize (KiB) 66564 [startup+102.309 s] /proc/loadavg: 1.07 1.02 1.11 2/107 7246 /proc/meminfo: memFree=1453316/2059040 swapFree=4192956/4192956 [pid=7243] ppid=7241 vsize=93512 CPUtime=102.25 /proc/7243/stat : 7243 (pbscip.linux.x8) R 7241 7243 6812 0 -1 4202496 25577 0 0 0 9926 299 0 0 25 0 1 0 5377540 95756288 22318 1992294400 4194304 7136930 140734739927440 18446744073709551615 4999862 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/7243/statm: 23378 22318 391 719 0 22657 0 Current children cumulated CPU time (s) 102.25 Current children cumulated vsize (KiB) 93512 [startup+162.301 s] /proc/loadavg: 1.08 1.03 1.11 2/107 7248 /proc/meminfo: memFree=1426904/2059040 swapFree=4192956/4192956 [pid=7243] ppid=7241 vsize=119576 CPUtime=162.22 /proc/7243/stat : 7243 (pbscip.linux.x8) R 7241 7243 6812 0 -1 4202496 32194 0 0 0 15787 435 0 0 25 0 1 0 5377540 122445824 28935 1992294400 4194304 7136930 140734739927440 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/7243/statm: 29894 28935 391 719 0 29173 0 Current children cumulated CPU time (s) 162.22 Current children cumulated vsize (KiB) 119576 [startup+222.3 s] /proc/loadavg: 1.08 1.03 1.10 2/107 7250 /proc/meminfo: memFree=1396400/2059040 swapFree=4192956/4192956 [pid=7243] ppid=7241 vsize=149188 CPUtime=222.2 /proc/7243/stat : 7243 (pbscip.linux.x8) R 7241 7243 6812 0 -1 4202496 39748 0 0 0 21636 584 0 0 25 0 1 0 5377540 152768512 36489 1992294400 4194304 7136930 140734739927440 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/7243/statm: 37297 36489 391 719 0 36576 0 Current children cumulated CPU time (s) 222.2 Current children cumulated vsize (KiB) 149188 [startup+282.302 s] /proc/loadavg: 1.19 1.07 1.11 2/107 7253 /proc/meminfo: memFree=1368748/2059040 swapFree=4192956/4192956 [pid=7243] ppid=7241 vsize=175684 CPUtime=282.18 /proc/7243/stat : 7243 (pbscip.linux.x8) R 7241 7243 6812 0 -1 4202496 46471 0 0 0 27502 716 0 0 25 0 1 0 5377540 179900416 43212 1992294400 4194304 7136930 140734739927440 18446744073709551615 4210588 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/7243/statm: 43921 43212 391 719 0 43200 0 Current children cumulated CPU time (s) 282.18 Current children cumulated vsize (KiB) 175684 [startup+342.301 s] /proc/loadavg: 1.11 1.07 1.10 2/107 7255 /proc/meminfo: memFree=1350148/2059040 swapFree=4192956/4192956 [pid=7243] ppid=7241 vsize=198024 CPUtime=342.16 /proc/7243/stat : 7243 (pbscip.linux.x8) R 7241 7243 6812 0 -1 4202496 51087 0 0 0 33401 815 0 0 25 0 1 0 5377540 202776576 47828 1992294400 4194304 7136930 140734739927440 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/7243/statm: 49506 47828 391 719 0 48785 0 Current children cumulated CPU time (s) 342.16 Current children cumulated vsize (KiB) 198024 [startup+402.301 s] /proc/loadavg: 1.08 1.07 1.09 2/107 7257 /proc/meminfo: memFree=1330804/2059040 swapFree=4192956/4192956 [pid=7243] ppid=7241 vsize=218336 CPUtime=402.13 /proc/7243/stat : 7243 (pbscip.linux.x8) R 7241 7243 6812 0 -1 4202496 56170 0 0 0 39312 901 0 0 25 0 1 0 5377540 223576064 52911 1992294400 4194304 7136930 140734739927440 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/7243/statm: 54584 52911 391 719 0 53863 0 Current children cumulated CPU time (s) 402.13 Current children cumulated vsize (KiB) 218336 [startup+462.301 s] /proc/loadavg: 1.07 1.07 1.09 2/107 7259 /proc/meminfo: memFree=1311832/2059040 swapFree=4192956/4192956 [pid=7243] ppid=7241 vsize=236668 CPUtime=462.11 /proc/7243/stat : 7243 (pbscip.linux.x8) R 7241 7243 6812 0 -1 4202496 60789 0 0 0 45227 984 0 0 25 0 1 0 5377540 242348032 57530 1992294400 4194304 7136930 140734739927440 18446744073709551615 5000156 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/7243/statm: 59167 57530 391 719 0 58446 0 Current children cumulated CPU time (s) 462.11 Current children cumulated vsize (KiB) 236668 [startup+522.301 s] /proc/loadavg: 1.06 1.07 1.09 2/107 7261 /proc/meminfo: memFree=1297572/2059040 swapFree=4192956/4192956 [pid=7243] ppid=7241 vsize=250964 CPUtime=522.09 /proc/7243/stat : 7243 (pbscip.linux.x8) R 7241 7243 6812 0 -1 4202496 64426 0 0 0 51152 1057 0 0 25 0 1 0 5377540 256987136 61167 1992294400 4194304 7136930 140734739927440 18446744073709551615 5000156 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/7243/statm: 62741 61167 391 719 0 62020 0 Current children cumulated CPU time (s) 522.09 Current children cumulated vsize (KiB) 250964 [startup+582.3 s] /proc/loadavg: 1.13 1.08 1.09 2/107 7261 /proc/meminfo: memFree=1285792/2059040 swapFree=4192956/4192956 [pid=7243] ppid=7241 vsize=262208 CPUtime=582.06 /proc/7243/stat : 7243 (pbscip.linux.x8) R 7241 7243 6812 0 -1 4202496 67214 0 0 0 57079 1127 0 0 25 0 1 0 5377540 268500992 63955 1992294400 4194304 7136930 140734739927440 18446744073709551615 4223056 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/7243/statm: 65552 63955 391 719 0 64831 0 Current children cumulated CPU time (s) 582.06 Current children cumulated vsize (KiB) 262208 [startup+642.302 s] /proc/loadavg: 1.12 1.08 1.09 2/107 7263 /proc/meminfo: memFree=1275748/2059040 swapFree=4192956/4192956 [pid=7243] ppid=7241 vsize=272216 CPUtime=642.05 /proc/7243/stat : 7243 (pbscip.linux.x8) R 7241 7243 6812 0 -1 4202496 69717 0 0 0 63004 1201 0 0 25 0 1 0 5377540 278749184 66458 1992294400 4194304 7136930 140734739927440 18446744073709551615 4999862 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/7243/statm: 68054 66458 391 719 0 67333 0 Current children cumulated CPU time (s) 642.05 Current children cumulated vsize (KiB) 272216 [startup+702.301 s] ################ # More data... # ################ [startup+1002.3 s] /proc/loadavg: 1.00 1.05 1.07 2/107 7273 /proc/meminfo: memFree=1228132/2059040 swapFree=4192956/4192956 [pid=7243] ppid=7241 vsize=320076 CPUtime=1001.9 /proc/7243/stat : 7243 (pbscip.linux.x8) R 7241 7243 6812 0 -1 4202496 81580 0 0 0 98672 1518 0 0 25 0 1 0 5377540 327757824 78321 1992294400 4194304 7136930 140734739927440 18446744073709551615 4999837 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/7243/statm: 80019 78321 391 719 0 79298 0 Current children cumulated CPU time (s) 1001.9 Current children cumulated vsize (KiB) 320076 [startup+1062.3 s] /proc/loadavg: 1.00 1.04 1.07 2/107 7275 /proc/meminfo: memFree=1222924/2059040 swapFree=4192956/4192956 [pid=7243] ppid=7241 vsize=325572 CPUtime=1061.87 /proc/7243/stat : 7243 (pbscip.linux.x8) R 7241 7243 6812 0 -1 4202496 82891 0 0 0 104627 1560 0 0 25 0 1 0 5377540 333385728 79632 1992294400 4194304 7136930 140734739927440 18446744073709551615 4210588 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/7243/statm: 81393 79632 391 719 0 80672 0 Current children cumulated CPU time (s) 1061.87 Current children cumulated vsize (KiB) 325572 [startup+1122.3 s] /proc/loadavg: 1.00 1.03 1.06 2/107 7277 /proc/meminfo: memFree=1215980/2059040 swapFree=4192956/4192956 [pid=7243] ppid=7241 vsize=332560 CPUtime=1121.85 /proc/7243/stat : 7243 (pbscip.linux.x8) R 7241 7243 6812 0 -1 4202496 84575 0 0 0 110580 1605 0 0 25 0 1 0 5377540 340541440 81316 1992294400 4194304 7136930 140734739927440 18446744073709551615 4999862 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/7243/statm: 83140 81316 391 719 0 82419 0 Current children cumulated CPU time (s) 1121.85 Current children cumulated vsize (KiB) 332560 [startup+1182.3 s] /proc/loadavg: 1.00 1.02 1.06 2/107 7277 /proc/meminfo: memFree=1209904/2059040 swapFree=4192956/4192956 [pid=7243] ppid=7241 vsize=338544 CPUtime=1181.83 /proc/7243/stat : 7243 (pbscip.linux.x8) R 7241 7243 6812 0 -1 4202496 86059 0 0 0 116535 1648 0 0 25 0 1 0 5377540 346669056 82800 1992294400 4194304 7136930 140734739927440 18446744073709551615 4999811 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/7243/statm: 84636 82800 391 719 0 83915 0 Current children cumulated CPU time (s) 1181.83 Current children cumulated vsize (KiB) 338544 [startup+1242.3 s] /proc/loadavg: 1.00 1.02 1.05 2/107 7279 /proc/meminfo: memFree=1206060/2059040 swapFree=4192956/4192956 [pid=7243] ppid=7241 vsize=342348 CPUtime=1241.8 /proc/7243/stat : 7243 (pbscip.linux.x8) R 7241 7243 6812 0 -1 4202496 86953 0 0 0 122494 1686 0 0 25 0 1 0 5377540 350564352 83694 1992294400 4194304 7136930 140734739927440 18446744073709551615 4999862 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/7243/statm: 85587 83694 391 719 0 84866 0 Current children cumulated CPU time (s) 1241.8 Current children cumulated vsize (KiB) 342348 [startup+1302.3 s] /proc/loadavg: 1.00 1.01 1.04 2/107 7281 /proc/meminfo: memFree=1202340/2059040 swapFree=4192956/4192956 [pid=7243] ppid=7241 vsize=346048 CPUtime=1301.79 /proc/7243/stat : 7243 (pbscip.linux.x8) R 7241 7243 6812 0 -1 4202496 87888 0 0 0 128441 1738 0 0 25 0 1 0 5377540 354353152 84629 1992294400 4194304 7136930 140734739927440 18446744073709551615 5955613 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/7243/statm: 86512 84629 391 719 0 85791 0 Current children cumulated CPU time (s) 1301.79 Current children cumulated vsize (KiB) 346048 [startup+1362.3 s] /proc/loadavg: 1.00 1.00 1.04 2/107 7283 /proc/meminfo: memFree=1193908/2059040 swapFree=4192956/4192956 [pid=7243] ppid=7241 vsize=354080 CPUtime=1361.77 /proc/7243/stat : 7243 (pbscip.linux.x8) R 7241 7243 6812 0 -1 4202496 89982 0 0 0 134381 1796 0 0 25 0 1 0 5377540 362577920 86723 1992294400 4194304 7136930 140734739927440 18446744073709551615 4210588 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/7243/statm: 88520 86723 391 719 0 87799 0 Current children cumulated CPU time (s) 1361.77 Current children cumulated vsize (KiB) 354080 [startup+1422.31 s] /proc/loadavg: 1.00 1.00 1.03 2/107 7285 /proc/meminfo: memFree=1183864/2059040 swapFree=4192956/4192956 [pid=7243] ppid=7241 vsize=363824 CPUtime=1421.75 /proc/7243/stat : 7243 (pbscip.linux.x8) R 7241 7243 6812 0 -1 4202496 92470 0 0 0 140319 1856 0 0 25 0 1 0 5377540 372555776 89211 1992294400 4194304 7136930 140734739927440 18446744073709551615 4221383 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/7243/statm: 90956 89211 391 719 0 90235 0 Current children cumulated CPU time (s) 1421.75 Current children cumulated vsize (KiB) 363824 [startup+1482.3 s] /proc/loadavg: 1.00 1.00 1.03 2/107 7285 /proc/meminfo: memFree=1171836/2059040 swapFree=4192956/4192956 [pid=7243] ppid=7241 vsize=375780 CPUtime=1481.72 /proc/7243/stat : 7243 (pbscip.linux.x8) R 7241 7243 6812 0 -1 4202496 95471 0 0 0 146247 1925 0 0 25 0 1 0 5377540 384798720 92212 1992294400 4194304 7136930 140734739927440 18446744073709551615 4999862 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/7243/statm: 93945 92212 391 719 0 93224 0 Current children cumulated CPU time (s) 1481.72 Current children cumulated vsize (KiB) 375780 [startup+1542.3 s] /proc/loadavg: 1.00 1.00 1.02 2/107 7287 /proc/meminfo: memFree=1159064/2059040 swapFree=4192956/4192956 [pid=7243] ppid=7241 vsize=388352 CPUtime=1541.69 /proc/7243/stat : 7243 (pbscip.linux.x8) R 7241 7243 6812 0 -1 4202496 98658 0 0 0 152177 1992 0 0 25 0 1 0 5377540 397672448 95399 1992294400 4194304 7136930 140734739927440 18446744073709551615 5901784 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/7243/statm: 97088 95399 391 719 0 96367 0 Current children cumulated CPU time (s) 1541.69 Current children cumulated vsize (KiB) 388352 [startup+1602.3 s] /proc/loadavg: 1.00 1.00 1.01 2/107 7289 /proc/meminfo: memFree=1148152/2059040 swapFree=4192956/4192956 [pid=7243] ppid=7241 vsize=398928 CPUtime=1601.67 /proc/7243/stat : 7243 (pbscip.linux.x8) R 7241 7243 6812 0 -1 4202496 101369 0 0 0 158111 2056 0 0 25 0 1 0 5377540 408502272 98110 1992294400 4194304 7136930 140734739927440 18446744073709551615 4210588 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/7243/statm: 99732 98110 391 719 0 99011 0 Current children cumulated CPU time (s) 1601.67 Current children cumulated vsize (KiB) 398928 [startup+1662.3 s] /proc/loadavg: 1.00 1.00 1.01 2/107 7291 /proc/meminfo: memFree=1136992/2059040 swapFree=4192956/4192956 [pid=7243] ppid=7241 vsize=409796 CPUtime=1661.65 /proc/7243/stat : 7243 (pbscip.linux.x8) R 7241 7243 6812 0 -1 4202496 104155 0 0 0 164049 2116 0 0 25 0 1 0 5377540 419631104 100896 1992294400 4194304 7136930 140734739927440 18446744073709551615 4210588 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/7243/statm: 102449 100896 391 719 0 101728 0 Current children cumulated CPU time (s) 1661.65 Current children cumulated vsize (KiB) 409796 [startup+1722.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 7293 /proc/meminfo: memFree=1127568/2059040 swapFree=4192956/4192956 [pid=7243] ppid=7241 vsize=419164 CPUtime=1721.63 /proc/7243/stat : 7243 (pbscip.linux.x8) R 7241 7243 6812 0 -1 4202496 106502 0 0 0 169984 2179 0 0 25 0 1 0 5377540 429223936 103243 1992294400 4194304 7136930 140734739927440 18446744073709551615 4414505 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/7243/statm: 104791 103243 391 719 0 104070 0 Current children cumulated CPU time (s) 1721.63 Current children cumulated vsize (KiB) 419164 [startup+1782.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 7293 /proc/meminfo: memFree=1115416/2059040 swapFree=4192956/4192956 [pid=7243] ppid=7241 vsize=431096 CPUtime=1781.6 /proc/7243/stat : 7243 (pbscip.linux.x8) R 7241 7243 6812 0 -1 4202496 109452 0 0 0 175926 2234 0 0 25 0 1 0 5377540 441442304 106193 1992294400 4194304 7136930 140734739927440 18446744073709551615 4210588 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/7243/statm: 107774 106193 391 719 0 107053 0 Current children cumulated CPU time (s) 1781.6 Current children cumulated vsize (KiB) 431096 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.71 s] /proc/loadavg: 1.00 1.00 1.00 2/107 7295 /proc/meminfo: memFree=1110580/2059040 swapFree=4192956/4192956 [pid=7243] ppid=7241 vsize=435908 CPUtime=1800.01 /proc/7243/stat : 7243 (pbscip.linux.x8) R 7241 7243 6812 0 -1 4202496 110661 0 0 0 177746 2255 0 0 25 0 1 0 5377540 446369792 107402 1992294400 4194304 7136930 140734739927440 18446744073709551615 4210588 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/7243/statm: 108977 107402 391 719 0 108256 0 Current children cumulated CPU time (s) 1800.01 Current children cumulated vsize (KiB) 435908 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples [startup+1801.4 s] /proc/loadavg: 1.00 1.00 1.00 2/107 7295 /proc/meminfo: memFree=1110580/2059040 swapFree=4192956/4192956 [pid=7243] ppid=7241 vsize=435908 CPUtime=1800.7 /proc/7243/stat : 7243 (pbscip.linux.x8) R 7241 7243 6812 0 -1 4202496 110666 0 0 0 177815 2255 0 0 25 0 1 0 5377540 446369792 107407 1992294400 4194304 7136930 140734739927440 18446744073709551615 5003457 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/7243/statm: 108977 107407 396 719 0 108256 0 Current children cumulated CPU time (s) 1800.7 Current children cumulated vsize (KiB) 435908 [startup+1801.81 s] /proc/loadavg: 1.00 1.00 1.00 2/108 7296 /proc/meminfo: memFree=1110572/2059040 swapFree=4192956/4192956 [pid=7243] ppid=7241 vsize=435908 CPUtime=1801.1 /proc/7243/stat : 7243 (pbscip.linux.x8) R 7241 7243 6812 0 -1 4202496 110666 0 0 0 177855 2255 0 0 25 0 1 0 5377540 446369792 107407 1992294400 4194304 7136930 140734739927440 18446744073709551615 4212479 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/7243/statm: 108977 107407 396 719 0 108256 0 Current children cumulated CPU time (s) 1801.1 Current children cumulated vsize (KiB) 435908 [startup+1802.2 s] /proc/loadavg: 1.00 1.00 1.00 2/108 7296 /proc/meminfo: memFree=1110572/2059040 swapFree=4192956/4192956 [pid=7243] ppid=7241 vsize=167440 CPUtime=1801.5 /proc/7243/stat : 7243 (pbscip.linux.x8) R 7241 7243 6812 0 -1 4202496 110666 0 0 0 177891 2259 0 0 25 0 1 0 5377540 171458560 40747 1992294400 4194304 7136930 140734739927440 18446744073709551615 6360983 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/7243/statm: 41583 40711 396 719 0 40862 0 Current children cumulated CPU time (s) 1801.5 Current children cumulated vsize (KiB) 167440 Child status: 0 Real time (s): 1802.22 CPU time (s): 1801.53 CPU user time (s): 1778.92 CPU system time (s): 22.6076 CPU usage (%): 99.9615 Max. virtual memory (cumulated for all children) (KiB): 435908 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1778.92 system time used= 22.6076 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 110673 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= 5009 runsolver used 2.75358 second user time and 8.74267 second system time The end
Begin job on node012 at 2010-06-12 01:09:20 IDJOB=2664415 IDBENCH=1317 IDSOLVER=1167 FILE ID=node012/2664415-1276297760 PBS_JOBID= 11173124 Free space on /tmp= 62412 MiB SOLVER NAME= SCIPnone SCIP 1.2.1.2 without any LP solver BENCH NAME= PB06//final/normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/namasivayam/tsp/normalized-t3002.11tsp11.1900559676.opb COMMAND LINE= HOME/pbscip.linux.x86_64.gnu.opt.none -f BENCHNAME -t TIMEOUT -m MEMLIMIT RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2664415-1276297760/watcher-2664415-1276297760 -o /tmp/evaluation-result-2664415-1276297760/solver-2664415-1276297760 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt.none -f HOME/instance-2664415-1276297760.opb -t 1800 -m 1800 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= f4b978648ea0f0ad7162795950b3a449 RANDOM SEED=197819001 node012.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.258 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.51 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.258 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: 1542388 kB Buffers: 77700 kB Cached: 311684 kB SwapCached: 0 kB Active: 174152 kB Inactive: 274368 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2059040 kB LowFree: 1542388 kB SwapTotal: 4192956 kB SwapFree: 4192956 kB Dirty: 3400 kB Writeback: 0 kB AnonPages: 59104 kB Mapped: 15336 kB Slab: 46424 kB PageTables: 4032 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 5222476 kB Committed_AS: 180444 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= 62408 MiB End job on node012 at 2010-06-12 01:39:23