| Solver Name | Answer | CPU time | Wall clock time |
|---|---|---|---|
| SCIPnone SCIP 1.2.1.2 without any LP solver | ? (TO) | 1801.44 | 1802.08 |
| Name | normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/ namasivayam/tsp/normalized-t3002.11tsp11.1900577940.opb |
| MD5SUM | 07abcf74f2aa8e328290ac3dd6aefa51 |
| 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 | 208.517 |
| 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 | 661 |
| 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-2664035-1276285922.opb>
0.00/0.05 c original problem has 231 variables (231 bin, 0 int, 0 impl, 0 cont) and 2707 constraints
0.00/0.05 c problem read
0.00/0.05 c No objective function, only one solution is needed.
0.00/0.05 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.14 c presolving (3 rounds):
0.09/0.14 c 0 deleted vars, 143 deleted constraints, 0 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
0.09/0.14 c 242 implications, 22 cliques
0.09/0.14 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.07
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.94 c 3.6s| 10000 | 8229 | 0 | 0.0 |7221k| 110 | - | 231 |4403 | 0 | 0 | 0 |2565 | 0 | 0.000000e+00 | -- | Inf
9.29/9.39 c 8.8s| 20000 | 14963 | 0 | 0.0 | 12M| 110 | - | 231 |5426 | 0 | 0 | 0 |6884 | 0 | 0.000000e+00 | -- | Inf
14.20/14.21 c 13.4s| 30000 | 22904 | 0 | 0.0 | 16M| 110 | - | 231 |5965 | 0 | 0 | 0 |9790 | 0 | 0.000000e+00 | -- | Inf
19.49/19.53 c 18.5s| 40000 | 30557 | 0 | 0.0 | 21M| 110 | - | 231 |6584 | 0 | 0 | 0 | 12k| 0 | 0.000000e+00 | -- | Inf
25.38/25.43 c 24.2s| 50000 | 37957 | 0 | 0.0 | 25M| 110 | - | 231 |7297 | 0 | 0 | 0 | 16k| 0 | 0.000000e+00 | -- | Inf
31.89/31.91 c 30.4s| 60000 | 45134 | 0 | 0.0 | 30M| 110 | - | 231 |8251 | 0 | 0 | 0 | 20k| 0 | 0.000000e+00 | -- | Inf
39.27/39.30 c 37.6s| 70000 | 51967 | 0 | 0.0 | 35M| 110 | - | 231 |8976 | 0 | 0 | 0 | 24k| 0 | 0.000000e+00 | -- | Inf
48.67/48.72 c 46.7s| 80000 | 57933 | 0 | 0.0 | 40M| 110 | - | 231 | 10k| 0 | 0 | 0 | 30k| 0 | 0.000000e+00 | -- | Inf
59.77/59.89 c 57.6s| 90000 | 63385 | 0 | 0.0 | 45M| 110 | - | 231 | 11k| 0 | 0 | 0 | 36k| 0 | 0.000000e+00 | -- | Inf
73.36/73.49 c 70.9s|100000 | 68068 | 0 | 0.0 | 50M| 110 | - | 231 | 13k| 0 | 0 | 0 | 44k| 0 | 0.000000e+00 | -- | Inf
90.96/91.09 c 88.2s|110000 | 71674 | 0 | 0.0 | 55M| 110 | - | 231 | 13k| 0 | 0 | 0 | 53k| 0 | 0.000000e+00 | -- | Inf
108.35/108.40 c 105s|120000 | 75742 | 0 | 0.0 | 60M| 110 | - | 231 | 13k| 0 | 0 | 0 | 60k| 0 | 0.000000e+00 | -- | Inf
118.45/118.53 c 115s|130000 | 83203 | 0 | 0.0 | 64M| 110 | - | 231 | 13k| 0 | 0 | 0 | 64k| 0 | 0.000000e+00 | -- | Inf
128.74/128.82 c 125s|140000 | 90503 | 0 | 0.0 | 68M| 110 | - | 231 | 12k| 0 | 0 | 0 | 68k| 0 | 0.000000e+00 | -- | Inf
138.94/139.09 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
138.94/139.09 c 135s|150000 | 97566 | 0 | 0.0 | 73M| 110 | - | 231 | 11k| 0 | 0 | 0 | 72k| 0 | 0.000000e+00 | -- | Inf
148.93/149.08 c 145s|160000 |104572 | 0 | 0.0 | 77M| 110 | - | 231 | 11k| 0 | 0 | 0 | 76k| 0 | 0.000000e+00 | -- | Inf
159.13/159.22 c 155s|170000 |111488 | 0 | 0.0 | 82M| 110 | - | 231 | 11k| 0 | 0 | 0 | 80k| 0 | 0.000000e+00 | -- | Inf
169.53/169.67 c 165s|180000 |118287 | 0 | 0.0 | 86M| 110 | - | 231 | 11k| 0 | 0 | 0 | 85k| 0 | 0.000000e+00 | -- | Inf
180.12/180.22 c 175s|190000 |124996 | 0 | 0.0 | 91M| 110 | - | 231 | 12k| 0 | 0 | 0 | 89k| 0 | 0.000000e+00 | -- | Inf
190.72/190.85 c 186s|200000 |131713 | 0 | 0.0 | 95M| 110 | - | 231 | 11k| 0 | 0 | 0 | 94k| 0 | 0.000000e+00 | -- | Inf
201.82/201.99 c 196s|210000 |138228 | 0 | 0.0 | 99M| 110 | - | 231 | 12k| 0 | 0 | 0 | 99k| 0 | 0.000000e+00 | -- | Inf
215.01/215.14 c 209s|220000 |143960 | 0 | 0.0 | 104M| 110 | - | 231 | 12k| 0 | 0 | 0 | 104k| 0 | 0.000000e+00 | -- | Inf
229.31/229.41 c 223s|230000 |149442 | 0 | 0.0 | 110M| 110 | - | 231 | 13k| 0 | 0 | 0 | 111k| 0 | 0.000000e+00 | -- | Inf
244.71/244.81 c 238s|240000 |154777 | 0 | 0.0 | 115M| 110 | - | 231 | 14k| 0 | 0 | 0 | 117k| 0 | 0.000000e+00 | -- | Inf
260.10/260.28 c 254s|250000 |160245 | 0 | 0.0 | 120M| 110 | - | 231 | 15k| 0 | 0 | 0 | 123k| 0 | 0.000000e+00 | -- | Inf
277.10/277.25 c 270s|260000 |165306 | 0 | 0.0 | 125M| 110 | - | 231 | 16k| 0 | 0 | 0 | 130k| 0 | 0.000000e+00 | -- | Inf
294.49/294.64 c 287s|270000 |170403 | 0 | 0.0 | 130M| 110 | - | 231 | 16k| 0 | 0 | 0 | 136k| 0 | 0.000000e+00 | -- | Inf
313.58/313.78 c 306s|280000 |175129 | 0 | 0.0 | 135M| 110 | - | 231 | 17k| 0 | 0 | 0 | 144k| 0 | 0.000000e+00 | -- | Inf
332.57/332.72 c 325s|290000 |180042 | 0 | 0.0 | 139M| 110 | - | 231 | 17k| 0 | 0 | 0 | 151k| 0 | 0.000000e+00 | -- | Inf
352.98/353.17 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
352.98/353.17 c 345s|300000 |184583 | 0 | 0.0 | 144M| 110 | - | 231 | 18k| 0 | 0 | 0 | 158k| 0 | 0.000000e+00 | -- | Inf
373.46/373.64 c 365s|310000 |189283 | 0 | 0.0 | 149M| 110 | - | 231 | 18k| 0 | 0 | 0 | 165k| 0 | 0.000000e+00 | -- | Inf
395.55/395.78 c 387s|320000 |193639 | 0 | 0.0 | 154M| 110 | - | 231 | 19k| 0 | 0 | 0 | 173k| 0 | 0.000000e+00 | -- | Inf
417.34/417.55 c 408s|330000 |198180 | 0 | 0.0 | 159M| 110 | - | 231 | 19k| 0 | 0 | 0 | 180k| 0 | 0.000000e+00 | -- | Inf
440.94/441.12 c 432s|340000 |202219 | 0 | 0.0 | 164M| 110 | - | 231 | 19k| 0 | 0 | 0 | 188k| 0 | 0.000000e+00 | -- | Inf
463.94/464.11 c 454s|350000 |206500 | 0 | 0.0 | 169M| 110 | - | 231 | 20k| 0 | 0 | 0 | 196k| 0 | 0.000000e+00 | -- | Inf
489.33/489.56 c 479s|360000 |210326 | 0 | 0.0 | 173M| 110 | - | 231 | 20k| 0 | 0 | 0 | 204k| 0 | 0.000000e+00 | -- | Inf
514.91/515.10 c 505s|370000 |213996 | 0 | 0.0 | 178M| 110 | - | 231 | 21k| 0 | 0 | 0 | 212k| 0 | 0.000000e+00 | -- | Inf
542.39/542.63 c 532s|380000 |217449 | 0 | 0.0 | 183M| 110 | - | 231 | 21k| 0 | 0 | 0 | 221k| 0 | 0.000000e+00 | -- | Inf
571.37/571.69 c 560s|390000 |220504 | 0 | 0.0 | 188M| 110 | - | 231 | 22k| 0 | 0 | 0 | 230k| 0 | 0.000000e+00 | -- | Inf
599.67/599.97 c 588s|400000 |223905 | 0 | 0.0 | 192M| 110 | - | 231 | 22k| 0 | 0 | 0 | 239k| 0 | 0.000000e+00 | -- | Inf
631.16/631.41 c 619s|410000 |226584 | 0 | 0.0 | 197M| 110 | - | 231 | 23k| 0 | 0 | 0 | 249k| 0 | 0.000000e+00 | -- | Inf
663.35/663.65 c 651s|420000 |229296 | 0 | 0.0 | 201M| 110 | - | 231 | 24k| 0 | 0 | 0 | 258k| 0 | 0.000000e+00 | -- | Inf
697.94/698.29 c 686s|430000 |231579 | 0 | 0.0 | 206M| 110 | - | 231 | 25k| 0 | 0 | 0 | 269k| 0 | 0.000000e+00 | -- | Inf
733.72/734.06 c 721s|440000 |233811 | 0 | 0.0 | 210M| 110 | - | 231 | 25k| 0 | 0 | 0 | 279k| 0 | 0.000000e+00 | -- | Inf
772.81/773.15 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
772.81/773.15 c 760s|450000 |235491 | 0 | 0.0 | 214M| 110 | - | 231 | 26k| 0 | 0 | 0 | 290k| 0 | 0.000000e+00 | -- | Inf
812.90/813.21 c 799s|460000 |237093 | 0 | 0.0 | 218M| 110 | - | 231 | 26k| 0 | 0 | 0 | 301k| 0 | 0.000000e+00 | -- | Inf
855.98/856.38 c 842s|470000 |238049 | 0 | 0.0 | 222M| 110 | - | 231 | 27k| 0 | 0 | 0 | 313k| 0 | 0.000000e+00 | -- | Inf
902.26/902.67 c 888s|480000 |238650 | 0 | 0.0 | 226M| 110 | - | 231 | 28k| 0 | 0 | 0 | 325k| 0 | 0.000000e+00 | -- | Inf
953.45/953.82 c 939s|490000 |238569 | 0 | 0.0 | 229M| 110 | - | 231 | 28k| 0 | 0 | 0 | 338k| 0 | 0.000000e+00 | -- | Inf
1005.63/1006.09 c 991s|500000 |238500 | 0 | 0.0 | 231M| 110 | - | 231 | 28k| 0 | 0 | 0 | 351k| 0 | 0.000000e+00 | -- | Inf
1046.21/1046.64 c 1031s|510000 |241455 | 0 | 0.0 | 234M| 110 | - | 231 | 27k| 0 | 0 | 0 | 359k| 0 | 0.000000e+00 | -- | Inf
1075.00/1075.44 c 1059s|520000 |247139 | 0 | 0.0 | 239M| 110 | - | 231 | 26k| 0 | 0 | 0 | 366k| 0 | 0.000000e+00 | -- | Inf
1104.30/1104.72 c 1088s|530000 |252570 | 0 | 0.0 | 243M| 110 | - | 231 | 26k| 0 | 0 | 0 | 372k| 0 | 0.000000e+00 | -- | Inf
1135.19/1135.60 c 1119s|540000 |257614 | 0 | 0.0 | 248M| 110 | - | 231 | 26k| 0 | 0 | 0 | 379k| 0 | 0.000000e+00 | -- | Inf
1165.37/1165.86 c 1149s|550000 |262663 | 0 | 0.0 | 252M| 110 | - | 231 | 25k| 0 | 0 | 0 | 387k| 0 | 0.000000e+00 | -- | Inf
1193.96/1194.44 c 1177s|560000 |267832 | 0 | 0.0 | 257M| 110 | - | 231 | 25k| 0 | 0 | 0 | 393k| 0 | 0.000000e+00 | -- | Inf
1223.95/1224.49 c 1207s|570000 |272682 | 0 | 0.0 | 262M| 110 | - | 231 | 25k| 0 | 0 | 0 | 401k| 0 | 0.000000e+00 | -- | Inf
1254.55/1255.08 c 1237s|580000 |277448 | 0 | 0.0 | 266M| 110 | - | 231 | 24k| 0 | 0 | 0 | 408k| 0 | 0.000000e+00 | -- | Inf
1286.83/1287.36 c 1269s|590000 |281805 | 0 | 0.0 | 271M| 110 | - | 231 | 25k| 0 | 0 | 0 | 416k| 0 | 0.000000e+00 | -- | Inf
1318.52/1319.04 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1318.52/1319.04 c 1300s|600000 |286328 | 0 | 0.0 | 276M| 110 | - | 231 | 24k| 0 | 0 | 0 | 424k| 0 | 0.000000e+00 | -- | Inf
1352.42/1352.96 c 1334s|610000 |290365 | 0 | 0.0 | 281M| 110 | - | 231 | 25k| 0 | 0 | 0 | 432k| 0 | 0.000000e+00 | -- | Inf
1384.10/1384.62 c 1365s|620000 |294809 | 0 | 0.0 | 285M| 110 | - | 231 | 25k| 0 | 0 | 0 | 440k| 0 | 0.000000e+00 | -- | Inf
1420.98/1421.51 c 1402s|630000 |298273 | 0 | 0.0 | 290M| 110 | - | 231 | 25k| 0 | 0 | 0 | 449k| 0 | 0.000000e+00 | -- | Inf
1453.17/1453.72 c 1434s|640000 |302571 | 0 | 0.0 | 294M| 110 | - | 231 | 25k| 0 | 0 | 0 | 457k| 0 | 0.000000e+00 | -- | Inf
1486.86/1487.49 c 1467s|650000 |306592 | 0 | 0.0 | 299M| 110 | - | 231 | 25k| 0 | 0 | 0 | 465k| 0 | 0.000000e+00 | -- | Inf
1525.65/1526.25 c 1506s|660000 |309648 | 0 | 0.0 | 304M| 110 | - | 231 | 26k| 0 | 0 | 0 | 475k| 0 | 0.000000e+00 | -- | Inf
1560.84/1561.49 c 1541s|670000 |313591 | 0 | 0.0 | 308M| 110 | - | 231 | 26k| 0 | 0 | 0 | 484k| 0 | 0.000000e+00 | -- | Inf
1595.83/1596.47 c 1575s|680000 |317516 | 0 | 0.0 | 313M| 110 | - | 231 | 26k| 0 | 0 | 0 | 492k| 0 | 0.000000e+00 | -- | Inf
1632.71/1633.33 c 1612s|690000 |320973 | 0 | 0.0 | 317M| 110 | - | 231 | 26k| 0 | 0 | 0 | 501k| 0 | 0.000000e+00 | -- | Inf
1677.90/1678.55 c 1657s|700000 |323259 | 0 | 0.0 | 322M| 110 | - | 231 | 28k| 0 | 0 | 0 | 511k| 0 | 0.000000e+00 | -- | Inf
1712.99/1713.60 c 1691s|710000 |327280 | 0 | 0.0 | 326M| 110 | - | 231 | 27k| 0 | 0 | 0 | 520k| 0 | 0.000000e+00 | -- | Inf
1750.58/1751.25 c 1729s|720000 |330741 | 0 | 0.0 | 330M| 110 | - | 231 | 27k| 0 | 0 | 0 | 528k| 0 | 0.000000e+00 | -- | Inf
1792.46/1793.11 c 1770s|730000 |333375 | 0 | 0.0 | 335M| 110 | - | 231 | 28k| 0 | 0 | 0 | 538k| 0 | 0.000000e+00 | -- | Inf
1800.06/1800.71 c pressed CTRL-C 1 times (5 times for forcing termination)
1800.06/1800.71 c
1800.06/1800.71 c SCIP Status : solving was interrupted [user interrupt]
1800.06/1800.71 c Solving Time (sec) : 1777.70
1800.06/1800.71 c Solving Nodes : 731712
1800.06/1800.71 c Primal Bound : +1.00000000000000e+20 (0 solutions)
1800.06/1800.71 c Dual Bound : +0.00000000000000e+00
1800.06/1800.71 c Gap : infinite
1800.06/1800.71 s UNKNOWN
1800.06/1800.71 c SCIP Status : solving was interrupted [user interrupt]
1800.06/1800.71 c Solving Time : 1777.70
1800.06/1800.71 c Original Problem :
1800.06/1800.71 c Problem name : HOME/instance-2664035-1276285922.opb
1800.06/1800.71 c Variables : 231 (231 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.06/1800.71 c Constraints : 2707 initial, 2707 maximal
1800.06/1800.71 c Presolved Problem :
1800.06/1800.71 c Problem name : t_HOME/instance-2664035-1276285922.opb
1800.06/1800.71 c Variables : 231 (231 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.06/1800.71 c Constraints : 2564 initial, 29014 maximal
1800.06/1800.72 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs
1800.06/1800.72 c trivial : 0.00 0 0 0 0 0 0 0 0
1800.06/1800.72 c dualfix : 0.00 0 0 0 0 0 0 0 0
1800.06/1800.72 c boundshift : 0.00 0 0 0 0 0 0 0 0
1800.06/1800.72 c inttobinary : 0.00 0 0 0 0 0 0 0 0
1800.06/1800.72 c implics : 0.00 0 0 0 0 0 0 0 0
1800.06/1800.72 c probing : 0.00 0 0 0 0 0 0 0 0
1800.06/1800.72 c knapsack : 0.00 0 0 0 0 0 0 0 0
1800.06/1800.72 c setppc : 0.00 0 0 0 0 0 0 0 0
1800.06/1800.72 c linear : 0.02 0 0 0 0 0 143 0 0
1800.06/1800.72 c logicor : 0.03 0 0 0 0 0 0 0 0
1800.06/1800.72 c root node : - 0 - - 0 - - - -
1800.06/1800.72 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children
1800.06/1800.72 c integral : 0 0 0 0 0 0 0 0 0 0
1800.06/1800.72 c knapsack : 1 0 2269801 0 588743 76670 6196287 0 0 0
1800.06/1800.72 c setppc : 22 0 2206296 0 588743 85039 2888980 0 0 0
1800.06/1800.72 c logicor : 2541+ 0 1849288 0 588741 84033 7422249 0 0 0
1800.06/1800.72 c countsols : 0 0 0 0 588726 0 0 0 0 0
1800.06/1800.72 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS
1800.06/1800.72 c integral : 0.00 0.00 0.00 0.00 0.00
1800.06/1800.72 c knapsack : 53.00 0.00 49.90 0.00 3.10
1800.06/1800.72 c setppc : 41.09 0.00 33.20 0.00 7.89
1800.06/1800.72 c logicor : 927.17 0.00 862.42 0.00 64.75
1800.06/1800.72 c countsols : 0.21 0.00 0.00 0.00 0.21
1800.06/1800.72 c Propagators : Time Calls Cutoffs DomReds
1800.06/1800.72 c vbounds : 1.32 1 0 0
1800.06/1800.72 c rootredcost : 1.16 0 0 0
1800.06/1800.72 c pseudoobj : 0.95 0 0 0
1800.06/1800.72 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1800.06/1800.72 c propagation : 16.73 245742 245715 1237550 19.3 6172 20.1 -
1800.06/1800.72 c infeasible LP : 0.00 0 0 0 0.0 0 0.0 0
1800.06/1800.72 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1800.06/1800.72 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1800.06/1800.72 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 -
1800.06/1800.72 c applied globally : - - - 536754 15.1 - - -
1800.06/1800.72 c applied locally : - - - 3712 35.1 - - -
1800.06/1800.72 c Separators : Time Calls Cutoffs DomReds Cuts Conss
1800.06/1800.72 c cut pool : 0.00 0 - - 0 - (maximal pool size: 0)
1800.06/1800.72 c redcost : 0.00 0 0 0 0 0
1800.06/1800.72 c impliedbounds : 0.00 0 0 0 0 0
1800.06/1800.72 c intobj : 0.00 0 0 0 0 0
1800.06/1800.72 c cgmip : 0.00 0 0 0 0 0
1800.06/1800.72 c gomory : 0.00 0 0 0 0 0
1800.06/1800.72 c strongcg : 0.00 0 0 0 0 0
1800.06/1800.72 c cmir : 0.00 0 0 0 0 0
1800.06/1800.72 c flowcover : 0.00 0 0 0 0 0
1800.06/1800.72 c clique : 0.00 0 0 0 0 0
1800.06/1800.72 c zerohalf : 0.00 0 0 0 0 0
1800.06/1800.72 c mcf : 0.00 0 0 0 0 0
1800.06/1800.72 c rapidlearning : 0.00 0 0 0 0 0
1800.06/1800.72 c Pricers : Time Calls Vars
1800.06/1800.72 c problem variables: 0.00 0 0
1800.06/1800.72 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
1800.06/1800.72 c relpscost : 0.00 0 0 0 0 0 0
1800.06/1800.72 c pscost : 0.00 0 0 0 0 0 0
1800.06/1800.72 c inference : 16.04 588726 0 0 0 0 1177452
1800.06/1800.72 c mostinf : 0.00 0 0 0 0 0 0
1800.06/1800.72 c leastinf : 0.00 0 0 0 0 0 0
1800.06/1800.72 c fullstrong : 0.00 0 0 0 0 0 0
1800.06/1800.72 c allfullstrong : 0.00 0 0 0 0 0 0
1800.06/1800.72 c random : 0.00 0 0 0 0 0 0
1800.06/1800.72 c Primal Heuristics : Time Calls Found
1800.06/1800.72 c LP solutions : 0.00 - 0
1800.06/1800.72 c pseudo solutions : 0.00 - 0
1800.06/1800.72 c trivial : 0.01 1 0
1800.06/1800.72 c simplerounding : 0.00 0 0
1800.06/1800.72 c zirounding : 0.00 0 0
1800.06/1800.72 c rounding : 0.00 0 0
1800.06/1800.72 c shifting : 0.00 0 0
1800.06/1800.72 c intshifting : 0.00 0 0
1800.06/1800.72 c oneopt : 0.00 0 0
1800.06/1800.72 c twoopt : 0.00 0 0
1800.06/1800.72 c fixandinfer : 0.00 0 0
1800.06/1800.72 c feaspump : 0.00 0 0
1800.06/1800.72 c coefdiving : 0.00 0 0
1800.06/1800.72 c pscostdiving : 0.00 0 0
1800.06/1800.72 c fracdiving : 0.00 0 0
1800.06/1800.72 c veclendiving : 0.00 0 0
1800.06/1800.72 c intdiving : 0.00 0 0
1800.06/1800.72 c actconsdiving : 0.00 0 0
1800.06/1800.72 c objpscostdiving : 0.00 0 0
1800.06/1800.72 c rootsoldiving : 0.00 0 0
1800.06/1800.72 c linesearchdiving : 0.00 0 0
1800.06/1800.72 c guideddiving : 0.00 0 0
1800.06/1800.72 c octane : 0.00 0 0
1800.06/1800.72 c rens : 0.00 0 0
1800.06/1800.72 c rins : 0.00 0 0
1800.06/1800.72 c localbranching : 0.00 0 0
1800.06/1800.72 c mutation : 0.00 0 0
1800.06/1800.72 c crossover : 0.00 0 0
1800.06/1800.72 c dins : 0.00 0 0
1800.06/1800.72 c undercover : 0.00 0 0
1800.06/1800.72 c nlp : 0.00 0 0
1800.06/1800.72 c trysol : 0.00 0 0
1800.06/1800.72 c LP : Time Calls Iterations Iter/call Iter/sec
1800.06/1800.72 c primal LP : 0.00 0 0 0.00 -
1800.06/1800.72 c dual LP : 0.00 0 0 0.00 -
1800.06/1800.72 c lex dual LP : 0.00 0 0 0.00 -
1800.06/1800.72 c barrier LP : 0.00 0 0 0.00 -
1800.06/1800.72 c diving/probing LP: 0.00 0 0 0.00 -
1800.06/1800.72 c strong branching : 0.00 0 0 0.00 -
1800.06/1800.72 c (at root node) : - 0 0 0.00 -
1800.06/1800.72 c conflict analysis: 0.00 0 0 0.00 -
1800.06/1800.72 c B&B Tree :
1800.06/1800.72 c number of runs : 1
1800.06/1800.72 c nodes : 731712
1800.06/1800.72 c nodes (total) : 731712
1800.06/1800.72 c nodes left : 333802
1800.06/1800.72 c max depth : 110
1800.06/1800.72 c max depth (total): 110
1800.06/1800.72 c backtracks : 137747 (18.8%)
1800.06/1800.72 c delayed cutoffs : 111939
1800.06/1800.72 c repropagations : 402239 (5567986 domain reductions, 102756 cutoffs)
1800.06/1800.72 c avg switch length: 11.26
1800.06/1800.72 c switching time : 478.52
1800.06/1800.72 c Solution :
1800.06/1800.72 c Solutions found : 0 (0 improvements)
1800.06/1800.72 c Primal Bound : -
1800.06/1800.72 c Dual Bound : +0.00000000000000e+00
1800.06/1800.72 c Gap : infinite
1800.06/1800.72 c Root Dual Bound : +0.00000000000000e+00
1800.06/1800.72 c Root Iterations : 0
1801.36/1802.08 c Time complete: 1801.44.
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-2664035-1276285922/watcher-2664035-1276285922 -o /tmp/evaluation-result-2664035-1276285922/solver-2664035-1276285922 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt.none -f HOME/instance-2664035-1276285922.opb -t 1800 -m 1800 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2000 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 1.00 1.00 1.00 3/106 5841 /proc/meminfo: memFree=1563784/2059040 swapFree=4192956/4192956 [pid=5841] ppid=5839 vsize=6584 CPUtime=0 /proc/5841/stat : 5841 (pbscip.linux.x8) R 5839 5841 5075 0 -1 4202496 953 0 0 0 0 0 0 0 20 0 1 0 4195687 6742016 875 1992294400 4194304 7136930 140734724180000 18446744073709551615 6346613 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/5841/statm: 1646 885 254 719 0 925 0 [startup+0.0819631 s] /proc/loadavg: 1.00 1.00 1.00 3/106 5841 /proc/meminfo: memFree=1563784/2059040 swapFree=4192956/4192956 [pid=5841] ppid=5839 vsize=14472 CPUtime=0.07 /proc/5841/stat : 5841 (pbscip.linux.x8) R 5839 5841 5075 0 -1 4202496 3264 0 0 0 6 1 0 0 20 0 1 0 4195687 14819328 2832 1992294400 4194304 7136930 140734724180000 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/5841/statm: 3618 2832 337 719 0 2897 0 Current children cumulated CPU time (s) 0.07 Current children cumulated vsize (KiB) 14472 [startup+0.100966 s] /proc/loadavg: 1.00 1.00 1.00 3/106 5841 /proc/meminfo: memFree=1563784/2059040 swapFree=4192956/4192956 [pid=5841] ppid=5839 vsize=14768 CPUtime=0.09 /proc/5841/stat : 5841 (pbscip.linux.x8) R 5839 5841 5075 0 -1 4202496 3614 0 0 0 8 1 0 0 20 0 1 0 4195687 15122432 2925 1992294400 4194304 7136930 140734724180000 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/5841/statm: 3692 2925 345 719 0 2971 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 14768 [startup+0.301002 s] /proc/loadavg: 1.00 1.00 1.00 3/106 5841 /proc/meminfo: memFree=1563784/2059040 swapFree=4192956/4192956 [pid=5841] ppid=5839 vsize=17080 CPUtime=0.29 /proc/5841/stat : 5841 (pbscip.linux.x8) R 5839 5841 5075 0 -1 4202496 6816 0 0 0 26 3 0 0 20 0 1 0 4195687 17489920 3557 1992294400 4194304 7136930 140734724180000 18446744073709551615 5005155 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/5841/statm: 4270 3557 391 719 0 3549 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 17080 [startup+0.701075 s] /proc/loadavg: 1.00 1.00 1.00 3/106 5841 /proc/meminfo: memFree=1563784/2059040 swapFree=4192956/4192956 [pid=5841] ppid=5839 vsize=17748 CPUtime=0.69 /proc/5841/stat : 5841 (pbscip.linux.x8) R 5839 5841 5075 0 -1 4202496 6968 0 0 0 63 6 0 0 21 0 1 0 4195687 18173952 3709 1992294400 4194304 7136930 140734724180000 18446744073709551615 4414772 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/5841/statm: 4437 3709 391 719 0 3716 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 17748 [startup+1.50022 s] /proc/loadavg: 1.00 1.00 1.00 2/107 5842 /proc/meminfo: memFree=1549516/2059040 swapFree=4192956/4192956 [pid=5841] ppid=5839 vsize=19128 CPUtime=1.49 /proc/5841/stat : 5841 (pbscip.linux.x8) R 5839 5841 5075 0 -1 4202496 7333 0 0 0 137 12 0 0 22 0 1 0 4195687 19587072 4074 1992294400 4194304 7136930 140734724180000 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/5841/statm: 4782 4074 391 719 0 4061 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 19128 [startup+3.10051 s] /proc/loadavg: 1.00 1.00 1.00 2/107 5842 /proc/meminfo: memFree=1547284/2059040 swapFree=4192956/4192956 [pid=5841] ppid=5839 vsize=21420 CPUtime=3.09 /proc/5841/stat : 5841 (pbscip.linux.x8) R 5839 5841 5075 0 -1 4202496 7909 0 0 0 289 20 0 0 25 0 1 0 4195687 21934080 4650 1992294400 4194304 7136930 140734724180000 18446744073709551615 4697663 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/5841/statm: 5355 4650 391 719 0 4634 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 21420 [startup+6.3011 s] /proc/loadavg: 1.00 1.00 1.00 2/107 5842 /proc/meminfo: memFree=1542572/2059040 swapFree=4192956/4192956 [pid=5841] ppid=5839 vsize=25600 CPUtime=6.29 /proc/5841/stat : 5841 (pbscip.linux.x8) R 5839 5841 5075 0 -1 4202496 8967 0 0 0 592 37 0 0 25 0 1 0 4195687 26214400 5708 1992294400 4194304 7136930 140734724180000 18446744073709551615 4221613 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/5841/statm: 6400 5708 391 719 0 5679 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 25600 [startup+12.7013 s] /proc/loadavg: 1.00 1.00 1.00 2/107 5842 /proc/meminfo: memFree=1534636/2059040 swapFree=4192956/4192956 [pid=5841] ppid=5839 vsize=33164 CPUtime=12.69 /proc/5841/stat : 5841 (pbscip.linux.x8) R 5839 5841 5075 0 -1 4202496 10886 0 0 0 1202 67 0 0 25 0 1 0 4195687 33959936 7627 1992294400 4194304 7136930 140734724180000 18446744073709551615 4697566 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/5841/statm: 8291 7627 391 719 0 7570 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 33164 [startup+25.5016 s] /proc/loadavg: 1.00 1.00 1.00 2/107 5842 /proc/meminfo: memFree=1520500/2059040 swapFree=4192956/4192956 [pid=5841] ppid=5839 vsize=46832 CPUtime=25.48 /proc/5841/stat : 5841 (pbscip.linux.x8) R 5839 5841 5075 0 -1 4202496 14341 0 0 0 2431 117 0 0 25 0 1 0 4195687 47955968 11082 1992294400 4194304 7136930 140734724180000 18446744073709551615 4697663 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/5841/statm: 11708 11082 391 719 0 10987 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 46832 [startup+51.1013 s] /proc/loadavg: 1.00 1.00 1.00 2/107 5842 /proc/meminfo: memFree=1502148/2059040 swapFree=4192956/4192956 [pid=5841] ppid=5839 vsize=65980 CPUtime=51.07 /proc/5841/stat : 5841 (pbscip.linux.x8) R 5839 5841 5075 0 -1 4202496 19184 0 0 0 4910 197 0 0 25 0 1 0 4195687 67563520 15925 1992294400 4194304 7136930 140734724180000 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/5841/statm: 16495 15925 391 719 0 15774 0 Current children cumulated CPU time (s) 51.07 Current children cumulated vsize (KiB) 65980 [startup+102.309 s] /proc/loadavg: 1.00 1.00 1.00 2/107 5844 /proc/meminfo: memFree=1479208/2059040 swapFree=4192956/4192956 [pid=5841] ppid=5839 vsize=89560 CPUtime=102.26 /proc/5841/stat : 5841 (pbscip.linux.x8) R 5839 5841 5075 0 -1 4202496 24580 0 0 0 9929 297 0 0 25 0 1 0 4195687 91709440 21321 1992294400 4194304 7136930 140734724180000 18446744073709551615 4999862 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/5841/statm: 22390 21321 391 719 0 21669 0 Current children cumulated CPU time (s) 102.26 Current children cumulated vsize (KiB) 89560 [startup+162.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 5846 /proc/meminfo: memFree=1452176/2059040 swapFree=4192956/4192956 [pid=5841] ppid=5839 vsize=116952 CPUtime=162.24 /proc/5841/stat : 5841 (pbscip.linux.x8) R 5839 5841 5075 0 -1 4202496 31574 0 0 0 15780 444 0 0 25 0 1 0 4195687 119758848 28315 1992294400 4194304 7136930 140734724180000 18446744073709551615 4999862 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/5841/statm: 29238 28315 391 719 0 28517 0 Current children cumulated CPU time (s) 162.24 Current children cumulated vsize (KiB) 116952 [startup+222.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 5848 /proc/meminfo: memFree=1421796/2059040 swapFree=4192956/4192956 [pid=5841] ppid=5839 vsize=145908 CPUtime=222.21 /proc/5841/stat : 5841 (pbscip.linux.x8) R 5839 5841 5075 0 -1 4202496 38909 0 0 0 21639 582 0 0 25 0 1 0 4195687 149409792 35650 1992294400 4194304 7136930 140734724180000 18446744073709551615 4999811 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/5841/statm: 36477 35650 391 719 0 35756 0 Current children cumulated CPU time (s) 222.21 Current children cumulated vsize (KiB) 145908 [startup+282.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 5850 /proc/meminfo: memFree=1399848/2059040 swapFree=4192956/4192956 [pid=5841] ppid=5839 vsize=167848 CPUtime=282.19 /proc/5841/stat : 5841 (pbscip.linux.x8) R 5839 5841 5075 0 -1 4202496 44382 0 0 0 27526 693 0 0 25 0 1 0 4195687 171876352 41123 1992294400 4194304 7136930 140734724180000 18446744073709551615 5955584 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/5841/statm: 41962 41123 391 719 0 41241 0 Current children cumulated CPU time (s) 282.19 Current children cumulated vsize (KiB) 167848 [startup+342.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 5850 /proc/meminfo: memFree=1381744/2059040 swapFree=4192956/4192956 [pid=5841] ppid=5839 vsize=185200 CPUtime=342.17 /proc/5841/stat : 5841 (pbscip.linux.x8) R 5839 5841 5075 0 -1 4202496 48820 0 0 0 33428 789 0 0 25 0 1 0 4195687 189644800 45561 1992294400 4194304 7136930 140734724180000 18446744073709551615 4999837 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/5841/statm: 46300 45561 391 719 0 45579 0 Current children cumulated CPU time (s) 342.17 Current children cumulated vsize (KiB) 185200 [startup+402.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 5852 /proc/meminfo: memFree=1363392/2059040 swapFree=4192956/4192956 [pid=5841] ppid=5839 vsize=204208 CPUtime=402.15 /proc/5841/stat : 5841 (pbscip.linux.x8) R 5839 5841 5075 0 -1 4202496 53574 0 0 0 39340 875 0 0 25 0 1 0 4195687 209108992 50315 1992294400 4194304 7136930 140734724180000 18446744073709551615 5953094 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/5841/statm: 51052 50315 391 719 0 50331 0 Current children cumulated CPU time (s) 402.15 Current children cumulated vsize (KiB) 204208 [startup+462.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 5854 /proc/meminfo: memFree=1351736/2059040 swapFree=4192956/4192956 [pid=5841] ppid=5839 vsize=218912 CPUtime=462.13 /proc/5841/stat : 5841 (pbscip.linux.x8) R 5839 5841 5075 0 -1 4202496 56270 0 0 0 45257 956 0 0 25 0 1 0 4195687 224165888 53011 1992294400 4194304 7136930 140734724180000 18446744073709551615 5000520 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/5841/statm: 54728 53011 391 719 0 54007 0 Current children cumulated CPU time (s) 462.13 Current children cumulated vsize (KiB) 218912 [startup+522.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 5856 /proc/meminfo: memFree=1340328/2059040 swapFree=4192956/4192956 [pid=5841] ppid=5839 vsize=230500 CPUtime=522.11 /proc/5841/stat : 5841 (pbscip.linux.x8) R 5839 5841 5075 0 -1 4202496 59123 0 0 0 51180 1031 0 0 25 0 1 0 4195687 236032000 55864 1992294400 4194304 7136930 140734724180000 18446744073709551615 5000156 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/5841/statm: 57625 55864 391 719 0 56904 0 Current children cumulated CPU time (s) 522.11 Current children cumulated vsize (KiB) 230500 [startup+582.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 5867 /proc/meminfo: memFree=1323464/2059040 swapFree=4192956/4192956 [pid=5841] ppid=5839 vsize=247296 CPUtime=582.08 /proc/5841/stat : 5841 (pbscip.linux.x8) R 5839 5841 5075 0 -1 4202496 63296 0 0 0 57101 1107 0 0 25 0 1 0 4195687 253231104 60037 1992294400 4194304 7136930 140734724180000 18446744073709551615 4209070 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/5841/statm: 61824 60037 391 719 0 61103 0 Current children cumulated CPU time (s) 582.08 Current children cumulated vsize (KiB) 247296 [startup+642.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 5867 /proc/meminfo: memFree=1317884/2059040 swapFree=4192956/4192956 [pid=5841] ppid=5839 vsize=252808 CPUtime=642.06 /proc/5841/stat : 5841 (pbscip.linux.x8) R 5839 5841 5075 0 -1 4202496 64680 0 0 0 63031 1175 0 0 25 0 1 0 4195687 258875392 61421 1992294400 4194304 7136930 140734724180000 18446744073709551615 4999862 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/5841/statm: 63202 61421 391 719 0 62481 0 Current children cumulated CPU time (s) 642.06 Current children cumulated vsize (KiB) 252808 [startup+702.301 s] ################ # More data... # ################ [startup+1002.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 5877 /proc/meminfo: memFree=1277832/2059040 swapFree=4192956/4192956 [pid=5841] ppid=5839 vsize=292476 CPUtime=1001.93 /proc/5841/stat : 5841 (pbscip.linux.x8) R 5839 5841 5075 0 -1 4202496 74569 0 0 0 98688 1505 0 0 25 0 1 0 4195687 299495424 71310 1992294400 4194304 7136930 140734724180000 18446744073709551615 4210629 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/5841/statm: 73119 71310 391 719 0 72398 0 Current children cumulated CPU time (s) 1001.93 Current children cumulated vsize (KiB) 292476 [startup+1062.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 5879 /proc/meminfo: memFree=1271632/2059040 swapFree=4192956/4192956 [pid=5841] ppid=5839 vsize=298700 CPUtime=1061.91 /proc/5841/stat : 5841 (pbscip.linux.x8) R 5839 5841 5075 0 -1 4202496 76086 0 0 0 104634 1557 0 0 25 0 1 0 4195687 305868800 72827 1992294400 4194304 7136930 140734724180000 18446744073709551615 4210595 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/5841/statm: 74675 72827 391 719 0 73954 0 Current children cumulated CPU time (s) 1061.91 Current children cumulated vsize (KiB) 298700 [startup+1122.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 5881 /proc/meminfo: memFree=1266672/2059040 swapFree=4192956/4192956 [pid=5841] ppid=5839 vsize=304556 CPUtime=1121.89 /proc/5841/stat : 5841 (pbscip.linux.x8) R 5839 5841 5075 0 -1 4202496 77561 0 0 0 110570 1619 0 0 25 0 1 0 4195687 311865344 74302 1992294400 4194304 7136930 140734724180000 18446744073709551615 4210588 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/5841/statm: 76139 74302 391 719 0 75418 0 Current children cumulated CPU time (s) 1121.89 Current children cumulated vsize (KiB) 304556 [startup+1182.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 5883 /proc/meminfo: memFree=1256628/2059040 swapFree=4192956/4192956 [pid=5841] ppid=5839 vsize=313416 CPUtime=1181.87 /proc/5841/stat : 5841 (pbscip.linux.x8) R 5839 5841 5075 0 -1 4202496 79796 0 0 0 116510 1677 0 0 25 0 1 0 4195687 320937984 76537 1992294400 4194304 7136930 140734724180000 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/5841/statm: 78354 76537 391 719 0 77633 0 Current children cumulated CPU time (s) 1181.87 Current children cumulated vsize (KiB) 313416 [startup+1242.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 5883 /proc/meminfo: memFree=1242368/2059040 swapFree=4192956/4192956 [pid=5841] ppid=5839 vsize=327324 CPUtime=1241.85 /proc/5841/stat : 5841 (pbscip.linux.x8) R 5839 5841 5075 0 -1 4202496 83341 0 0 0 122451 1734 0 0 25 0 1 0 4195687 335179776 80082 1992294400 4194304 7136930 140734724180000 18446744073709551615 5953094 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/5841/statm: 81831 80082 391 719 0 81110 0 Current children cumulated CPU time (s) 1241.85 Current children cumulated vsize (KiB) 327324 [startup+1302.3 s] /proc/loadavg: 1.08 1.02 1.01 3/107 5888 /proc/meminfo: memFree=1231208/2059040 swapFree=4192956/4192956 [pid=5841] ppid=5839 vsize=338140 CPUtime=1301.83 /proc/5841/stat : 5841 (pbscip.linux.x8) R 5839 5841 5075 0 -1 4202496 85994 0 0 0 128392 1791 0 0 25 0 1 0 4195687 346255360 82735 1992294400 4194304 7136930 140734724180000 18446744073709551615 4999862 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/5841/statm: 84535 82735 391 719 0 83814 0 Current children cumulated CPU time (s) 1301.83 Current children cumulated vsize (KiB) 338140 [startup+1362.3 s] /proc/loadavg: 1.03 1.01 1.00 2/107 5890 /proc/meminfo: memFree=1221040/2059040 swapFree=4192956/4192956 [pid=5841] ppid=5839 vsize=349008 CPUtime=1361.81 /proc/5841/stat : 5841 (pbscip.linux.x8) R 5839 5841 5075 0 -1 4202496 88694 0 0 0 134329 1852 0 0 25 0 1 0 4195687 357384192 85435 1992294400 4194304 7136930 140734724180000 18446744073709551615 4999837 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/5841/statm: 87252 85435 391 719 0 86531 0 Current children cumulated CPU time (s) 1361.81 Current children cumulated vsize (KiB) 349008 [startup+1422.31 s] /proc/loadavg: 1.01 1.00 1.00 2/107 5892 /proc/meminfo: memFree=1212236/2059040 swapFree=4192956/4192956 [pid=5841] ppid=5839 vsize=356892 CPUtime=1421.79 /proc/5841/stat : 5841 (pbscip.linux.x8) R 5839 5841 5075 0 -1 4202496 90703 0 0 0 140273 1906 0 0 25 0 1 0 4195687 365457408 87444 1992294400 4194304 7136930 140734724180000 18446744073709551615 5953108 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/5841/statm: 89223 87444 391 719 0 88502 0 Current children cumulated CPU time (s) 1421.79 Current children cumulated vsize (KiB) 356892 [startup+1482.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 5894 /proc/meminfo: memFree=1202068/2059040 swapFree=4192956/4192956 [pid=5841] ppid=5839 vsize=367144 CPUtime=1481.77 /proc/5841/stat : 5841 (pbscip.linux.x8) R 5839 5841 5075 0 -1 4202496 93262 0 0 0 146209 1968 0 0 25 0 1 0 4195687 375955456 90003 1992294400 4194304 7136930 140734724180000 18446744073709551615 4999862 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/5841/statm: 91786 90003 391 719 0 91065 0 Current children cumulated CPU time (s) 1481.77 Current children cumulated vsize (KiB) 367144 [startup+1542.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 5894 /proc/meminfo: memFree=1195744/2059040 swapFree=4192956/4192956 [pid=5841] ppid=5839 vsize=373320 CPUtime=1541.74 /proc/5841/stat : 5841 (pbscip.linux.x8) R 5839 5841 5075 0 -1 4202496 94840 0 0 0 152158 2016 0 0 25 0 1 0 4195687 382279680 91581 1992294400 4194304 7136930 140734724180000 18446744073709551615 4999811 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/5841/statm: 93330 91581 391 719 0 92609 0 Current children cumulated CPU time (s) 1541.74 Current children cumulated vsize (KiB) 373320 [startup+1602.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 5896 /proc/meminfo: memFree=1183344/2059040 swapFree=4192956/4192956 [pid=5841] ppid=5839 vsize=385464 CPUtime=1601.72 /proc/5841/stat : 5841 (pbscip.linux.x8) R 5839 5841 5075 0 -1 4202496 97910 0 0 0 158103 2069 0 0 25 0 1 0 4195687 394715136 94651 1992294400 4194304 7136930 140734724180000 18446744073709551615 4221536 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/5841/statm: 96366 94651 391 719 0 95645 0 Current children cumulated CPU time (s) 1601.72 Current children cumulated vsize (KiB) 385464 [startup+1662.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 5898 /proc/meminfo: memFree=1176152/2059040 swapFree=4192956/4192956 [pid=5841] ppid=5839 vsize=392544 CPUtime=1661.7 /proc/5841/stat : 5841 (pbscip.linux.x8) R 5839 5841 5075 0 -1 4202496 99693 0 0 0 164054 2116 0 0 25 0 1 0 4195687 401965056 96434 1992294400 4194304 7136930 140734724180000 18446744073709551615 4999862 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/5841/statm: 98136 96434 391 719 0 97415 0 Current children cumulated CPU time (s) 1661.7 Current children cumulated vsize (KiB) 392544 [startup+1722.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 5900 /proc/meminfo: memFree=1168712/2059040 swapFree=4192956/4192956 [pid=5841] ppid=5839 vsize=399752 CPUtime=1721.68 /proc/5841/stat : 5841 (pbscip.linux.x8) R 5839 5841 5075 0 -1 4202496 101516 0 0 0 169999 2169 0 0 25 0 1 0 4195687 409346048 98257 1992294400 4194304 7136930 140734724180000 18446744073709551615 4999837 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/5841/statm: 99938 98257 391 719 0 99217 0 Current children cumulated CPU time (s) 1721.68 Current children cumulated vsize (KiB) 399752 [startup+1782.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 5902 /proc/meminfo: memFree=1163628/2059040 swapFree=4192956/4192956 [pid=5841] ppid=5839 vsize=404704 CPUtime=1781.66 /proc/5841/stat : 5841 (pbscip.linux.x8) R 5839 5841 5075 0 -1 4202496 102771 0 0 0 175947 2219 0 0 25 0 1 0 4195687 414416896 99512 1992294400 4194304 7136930 140734724180000 18446744073709551615 4999837 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/5841/statm: 101176 99512 391 719 0 100455 0 Current children cumulated CPU time (s) 1781.66 Current children cumulated vsize (KiB) 404704 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.71 s] /proc/loadavg: 1.00 1.00 1.00 2/107 5902 /proc/meminfo: memFree=1162884/2059040 swapFree=4192956/4192956 [pid=5841] ppid=5839 vsize=405528 CPUtime=1800.06 /proc/5841/stat : 5841 (pbscip.linux.x8) R 5839 5841 5075 0 -1 4202496 102973 0 0 0 177774 2232 0 0 25 0 1 0 4195687 415260672 99714 1992294400 4194304 7136930 140734724180000 18446744073709551615 5955603 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/5841/statm: 101382 99714 391 719 0 100661 0 Current children cumulated CPU time (s) 1800.06 Current children cumulated vsize (KiB) 405528 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 5902 /proc/meminfo: memFree=1162884/2059040 swapFree=4192956/4192956 [pid=5841] ppid=5839 vsize=405608 CPUtime=1800.75 /proc/5841/stat : 5841 (pbscip.linux.x8) R 5839 5841 5075 0 -1 4202496 102997 0 0 0 177843 2232 0 0 25 0 1 0 4195687 415342592 99738 1992294400 4194304 7136930 140734724180000 18446744073709551615 4212320 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/5841/statm: 101402 99738 396 719 0 100681 0 Current children cumulated CPU time (s) 1800.75 Current children cumulated vsize (KiB) 405608 [startup+1801.81 s] /proc/loadavg: 1.00 1.00 1.00 2/108 5903 /proc/meminfo: memFree=1162752/2059040 swapFree=4192956/4192956 [pid=5841] ppid=5839 vsize=405608 CPUtime=1801.16 /proc/5841/stat : 5841 (pbscip.linux.x8) R 5839 5841 5075 0 -1 4202496 102997 0 0 0 177884 2232 0 0 25 0 1 0 4195687 415342592 99738 1992294400 4194304 7136930 140734724180000 18446744073709551615 6165646 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/5841/statm: 101402 99738 396 719 0 100681 0 Current children cumulated CPU time (s) 1801.16 Current children cumulated vsize (KiB) 405608 [startup+1802 s] /proc/loadavg: 1.00 1.00 1.00 2/108 5903 /proc/meminfo: memFree=1162752/2059040 swapFree=4192956/4192956 [pid=5841] ppid=5839 vsize=380712 CPUtime=1801.36 /proc/5841/stat : 5841 (pbscip.linux.x8) R 5839 5841 5075 0 -1 4202496 102997 0 0 0 177903 2233 0 0 25 0 1 0 4195687 389849088 93514 1992294400 4194304 7136930 140734724180000 18446744073709551615 4221231 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/5841/statm: 95178 93514 396 719 0 94457 0 Current children cumulated CPU time (s) 1801.36 Current children cumulated vsize (KiB) 380712 Child status: 0 Real time (s): 1802.08 CPU time (s): 1801.44 CPU user time (s): 1779.07 CPU system time (s): 22.3716 CPU usage (%): 99.9646 Max. virtual memory (cumulated for all children) (KiB): 405608 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1779.07 system time used= 22.3716 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 103004 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= 4 involuntary context switches= 2523 runsolver used 2.86656 second user time and 8.63269 second system time The end
Begin job on node007 at 2010-06-11 21:52:02 IDJOB=2664035 IDBENCH=1282 IDSOLVER=1167 FILE ID=node007/2664035-1276285922 PBS_JOBID= 11173100 Free space on /tmp= 62444 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.1900577940.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-2664035-1276285922/watcher-2664035-1276285922 -o /tmp/evaluation-result-2664035-1276285922/solver-2664035-1276285922 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt.none -f HOME/instance-2664035-1276285922.opb -t 1800 -m 1800 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= 07abcf74f2aa8e328290ac3dd6aefa51 RANDOM SEED=298543191 node007.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.264 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.52 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.264 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.44 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2059040 kB MemFree: 1564312 kB Buffers: 57740 kB Cached: 310676 kB SwapCached: 0 kB Active: 173204 kB Inactive: 254452 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2059040 kB LowFree: 1564312 kB SwapTotal: 4192956 kB SwapFree: 4192956 kB Dirty: 3260 kB Writeback: 0 kB AnonPages: 59256 kB Mapped: 15380 kB Slab: 45448 kB PageTables: 4008 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 5222476 kB Committed_AS: 180836 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= 62440 MiB End job on node007 at 2010-06-11 22:22:05