| Solver Name | Answer | CPU time | Wall clock time |
|---|---|---|---|
| SCIPnone SCIP 1.2.1.2 without any LP solver | ? (TO) | 1801.51 | 1802.02 |
| Name | normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/ namasivayam/tsp/normalized-t3002.11tsp11.1900553812.opb |
| MD5SUM | 703150fc56665afb9da0b20e49208c25 |
| 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 | 8.78866 |
| 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 | 723 |
| 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-2664439-1276305899.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.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
4.09/4.11 c 3.8s| 10000 | 8066 | 0 | 0.0 |7451k| 101 | - | 231 |4554 | 0 | 0 | 0 |2974 | 0 | 0.000000e+00 | -- | Inf
9.48/9.51 c 9.0s| 20000 | 14905 | 0 | 0.0 | 12M| 101 | - | 231 |5259 | 0 | 0 | 0 |7272 | 0 | 0.000000e+00 | -- | Inf
14.29/14.31 c 13.5s| 30000 | 22746 | 0 | 0.0 | 16M| 101 | - | 231 |5550 | 0 | 0 | 0 | 10k| 0 | 0.000000e+00 | -- | Inf
19.79/19.84 c 18.9s| 40000 | 30206 | 0 | 0.0 | 20M| 101 | - | 231 |6223 | 0 | 0 | 0 | 13k| 0 | 0.000000e+00 | -- | Inf
25.89/25.91 c 24.7s| 50000 | 37371 | 0 | 0.0 | 25M| 101 | - | 231 |6879 | 0 | 0 | 0 | 17k| 0 | 0.000000e+00 | -- | Inf
32.68/32.70 c 31.2s| 60000 | 44175 | 0 | 0.0 | 30M| 101 | - | 231 |7832 | 0 | 0 | 0 | 21k| 0 | 0.000000e+00 | -- | Inf
40.78/40.80 c 39.1s| 70000 | 50534 | 0 | 0.0 | 35M| 101 | - | 231 |9615 | 0 | 0 | 0 | 26k| 0 | 0.000000e+00 | -- | Inf
51.68/51.76 c 49.8s| 80000 | 55949 | 0 | 0.0 | 40M| 101 | - | 231 | 11k| 0 | 0 | 0 | 34k| 0 | 0.000000e+00 | -- | Inf
65.17/65.21 c 62.9s| 90000 | 60703 | 0 | 0.0 | 46M| 101 | - | 231 | 13k| 0 | 0 | 0 | 42k| 0 | 0.000000e+00 | -- | Inf
81.97/82.04 c 79.4s|100000 | 64626 | 0 | 0.0 | 51M| 101 | - | 231 | 14k| 0 | 0 | 0 | 51k| 0 | 0.000000e+00 | -- | Inf
101.66/101.70 c 98.8s|110000 | 67709 | 0 | 0.0 | 55M| 101 | - | 231 | 13k| 0 | 0 | 0 | 60k| 0 | 0.000000e+00 | -- | Inf
114.46/114.57 c 111s|120000 | 73794 | 0 | 0.0 | 59M| 101 | - | 231 | 10k| 0 | 0 | 0 | 65k| 0 | 0.000000e+00 | -- | Inf
124.26/124.39 c 121s|130000 | 80778 | 0 | 0.0 | 63M| 101 | - | 231 | 10k| 0 | 0 | 0 | 69k| 0 | 0.000000e+00 | -- | Inf
133.75/133.88 c 130s|140000 | 87796 | 0 | 0.0 | 68M| 101 | - | 231 | 10k| 0 | 0 | 0 | 74k| 0 | 0.000000e+00 | -- | Inf
143.75/143.89 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
143.75/143.89 c 140s|150000 | 94494 | 0 | 0.0 | 73M| 101 | - | 231 | 10k| 0 | 0 | 0 | 79k| 0 | 0.000000e+00 | -- | Inf
153.65/153.75 c 150s|160000 |101262 | 0 | 0.0 | 78M| 101 | - | 231 | 10k| 0 | 0 | 0 | 83k| 0 | 0.000000e+00 | -- | Inf
164.15/164.29 c 160s|170000 |107811 | 0 | 0.0 | 82M| 101 | - | 231 | 11k| 0 | 0 | 0 | 88k| 0 | 0.000000e+00 | -- | Inf
175.35/175.46 c 171s|180000 |114172 | 0 | 0.0 | 87M| 101 | - | 231 | 11k| 0 | 0 | 0 | 93k| 0 | 0.000000e+00 | -- | Inf
186.44/186.60 c 182s|190000 |120548 | 0 | 0.0 | 92M| 101 | - | 231 | 11k| 0 | 0 | 0 | 98k| 0 | 0.000000e+00 | -- | Inf
198.44/198.57 c 193s|200000 |126707 | 0 | 0.0 | 97M| 101 | - | 231 | 11k| 0 | 0 | 0 | 104k| 0 | 0.000000e+00 | -- | Inf
210.73/210.85 c 205s|210000 |132713 | 0 | 0.0 | 101M| 101 | - | 231 | 12k| 0 | 0 | 0 | 109k| 0 | 0.000000e+00 | -- | Inf
223.82/223.99 c 218s|220000 |138202 | 0 | 0.0 | 106M| 101 | - | 231 | 12k| 0 | 0 | 0 | 115k| 0 | 0.000000e+00 | -- | Inf
238.22/238.39 c 232s|230000 |143503 | 0 | 0.0 | 112M| 101 | - | 231 | 13k| 0 | 0 | 0 | 122k| 0 | 0.000000e+00 | -- | Inf
255.52/255.60 c 249s|240000 |148055 | 0 | 0.0 | 117M| 101 | - | 231 | 14k| 0 | 0 | 0 | 129k| 0 | 0.000000e+00 | -- | Inf
272.72/272.85 c 266s|250000 |152687 | 0 | 0.0 | 122M| 101 | - | 231 | 14k| 0 | 0 | 0 | 136k| 0 | 0.000000e+00 | -- | Inf
290.41/290.55 c 283s|260000 |157206 | 0 | 0.0 | 127M| 101 | - | 231 | 15k| 0 | 0 | 0 | 143k| 0 | 0.000000e+00 | -- | Inf
309.81/309.98 c 302s|270000 |161411 | 0 | 0.0 | 133M| 101 | - | 231 | 15k| 0 | 0 | 0 | 151k| 0 | 0.000000e+00 | -- | Inf
328.81/328.90 c 321s|280000 |165736 | 0 | 0.0 | 138M| 101 | - | 231 | 16k| 0 | 0 | 0 | 159k| 0 | 0.000000e+00 | -- | Inf
349.90/350.06 c 342s|290000 |169740 | 0 | 0.0 | 143M| 101 | - | 231 | 16k| 0 | 0 | 0 | 167k| 0 | 0.000000e+00 | -- | Inf
373.39/373.56 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
373.39/373.56 c 365s|300000 |173151 | 0 | 0.0 | 149M| 101 | - | 231 | 17k| 0 | 0 | 0 | 176k| 0 | 0.000000e+00 | -- | Inf
396.29/396.40 c 388s|310000 |176760 | 0 | 0.0 | 154M| 101 | - | 231 | 18k| 0 | 0 | 0 | 184k| 0 | 0.000000e+00 | -- | Inf
421.68/421.82 c 413s|320000 |179832 | 0 | 0.0 | 158M| 101 | - | 231 | 18k| 0 | 0 | 0 | 194k| 0 | 0.000000e+00 | -- | Inf
447.77/447.93 c 438s|330000 |182837 | 0 | 0.0 | 163M| 101 | - | 231 | 18k| 0 | 0 | 0 | 203k| 0 | 0.000000e+00 | -- | Inf
475.66/475.84 c 466s|340000 |185516 | 0 | 0.0 | 168M| 101 | - | 231 | 19k| 0 | 0 | 0 | 213k| 0 | 0.000000e+00 | -- | Inf
504.36/504.56 c 494s|350000 |188061 | 0 | 0.0 | 173M| 101 | - | 231 | 20k| 0 | 0 | 0 | 224k| 0 | 0.000000e+00 | -- | Inf
535.65/535.88 c 525s|360000 |190160 | 0 | 0.0 | 177M| 101 | - | 231 | 21k| 0 | 0 | 0 | 235k| 0 | 0.000000e+00 | -- | Inf
568.54/568.76 c 558s|370000 |192071 | 0 | 0.0 | 182M| 101 | - | 231 | 21k| 0 | 0 | 0 | 247k| 0 | 0.000000e+00 | -- | Inf
602.82/603.08 c 592s|380000 |193678 | 0 | 0.0 | 186M| 101 | - | 231 | 22k| 0 | 0 | 0 | 258k| 0 | 0.000000e+00 | -- | Inf
638.32/638.54 c 627s|390000 |195297 | 0 | 0.0 | 190M| 101 | - | 231 | 23k| 0 | 0 | 0 | 270k| 0 | 0.000000e+00 | -- | Inf
677.00/677.21 c 665s|400000 |196499 | 0 | 0.0 | 193M| 101 | - | 231 | 23k| 0 | 0 | 0 | 283k| 0 | 0.000000e+00 | -- | Inf
718.10/718.32 c 706s|410000 |197369 | 0 | 0.0 | 197M| 101 | - | 231 | 24k| 0 | 0 | 0 | 296k| 0 | 0.000000e+00 | -- | Inf
760.38/760.61 c 748s|420000 |198367 | 0 | 0.0 | 200M| 101 | - | 231 | 24k| 0 | 0 | 0 | 308k| 0 | 0.000000e+00 | -- | Inf
801.97/802.28 c 789s|430000 |198987 | 0 | 0.0 | 204M| 101 | - | 231 | 23k| 0 | 0 | 0 | 320k| 0 | 0.000000e+00 | -- | Inf
839.95/840.23 c 826s|440000 |200275 | 0 | 0.0 | 206M| 101 | - | 231 | 21k| 0 | 0 | 0 | 330k| 0 | 0.000000e+00 | -- | Inf
863.55/863.80 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
863.55/863.80 c 850s|450000 |205605 | 0 | 0.0 | 210M| 101 | - | 231 | 19k| 0 | 0 | 0 | 337k| 0 | 0.000000e+00 | -- | Inf
888.25/888.56 c 874s|460000 |210352 | 0 | 0.0 | 215M| 101 | - | 231 | 19k| 0 | 0 | 0 | 344k| 0 | 0.000000e+00 | -- | Inf
912.54/912.82 c 898s|470000 |215169 | 0 | 0.0 | 219M| 101 | - | 231 | 19k| 0 | 0 | 0 | 352k| 0 | 0.000000e+00 | -- | Inf
938.13/938.43 c 923s|480000 |219620 | 0 | 0.0 | 224M| 101 | - | 231 | 19k| 0 | 0 | 0 | 359k| 0 | 0.000000e+00 | -- | Inf
962.82/963.15 c 948s|490000 |224298 | 0 | 0.0 | 229M| 101 | - | 231 | 19k| 0 | 0 | 0 | 367k| 0 | 0.000000e+00 | -- | Inf
989.41/989.75 c 974s|500000 |228422 | 0 | 0.0 | 234M| 101 | - | 231 | 19k| 0 | 0 | 0 | 376k| 0 | 0.000000e+00 | -- | Inf
1015.70/1016.08 c 1000s|510000 |232705 | 0 | 0.0 | 238M| 101 | - | 231 | 19k| 0 | 0 | 0 | 385k| 0 | 0.000000e+00 | -- | Inf
1041.40/1041.77 c 1025s|520000 |237145 | 0 | 0.0 | 243M| 101 | - | 231 | 19k| 0 | 0 | 0 | 393k| 0 | 0.000000e+00 | -- | Inf
1069.19/1069.51 c 1053s|530000 |241018 | 0 | 0.0 | 248M| 101 | - | 231 | 20k| 0 | 0 | 0 | 402k| 0 | 0.000000e+00 | -- | Inf
1095.18/1095.55 c 1079s|540000 |245325 | 0 | 0.0 | 253M| 101 | - | 231 | 20k| 0 | 0 | 0 | 410k| 0 | 0.000000e+00 | -- | Inf
1122.17/1122.58 c 1105s|550000 |249464 | 0 | 0.0 | 257M| 101 | - | 231 | 20k| 0 | 0 | 0 | 418k| 0 | 0.000000e+00 | -- | Inf
1151.56/1151.90 c 1134s|560000 |253089 | 0 | 0.0 | 262M| 101 | - | 231 | 20k| 0 | 0 | 0 | 428k| 0 | 0.000000e+00 | -- | Inf
1179.15/1179.55 c 1162s|570000 |257085 | 0 | 0.0 | 267M| 101 | - | 231 | 20k| 0 | 0 | 0 | 436k| 0 | 0.000000e+00 | -- | Inf
1210.75/1211.19 c 1193s|580000 |260307 | 0 | 0.0 | 272M| 101 | - | 231 | 21k| 0 | 0 | 0 | 446k| 0 | 0.000000e+00 | -- | Inf
1238.74/1239.13 c 1220s|590000 |264336 | 0 | 0.0 | 276M| 101 | - | 231 | 21k| 0 | 0 | 0 | 455k| 0 | 0.000000e+00 | -- | Inf
1267.13/1267.58 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1267.13/1267.58 c 1249s|600000 |268251 | 0 | 0.0 | 281M| 101 | - | 231 | 21k| 0 | 0 | 0 | 463k| 0 | 0.000000e+00 | -- | Inf
1300.22/1300.69 c 1281s|610000 |271253 | 0 | 0.0 | 286M| 101 | - | 231 | 22k| 0 | 0 | 0 | 473k| 0 | 0.000000e+00 | -- | Inf
1330.62/1331.02 c 1311s|620000 |274933 | 0 | 0.0 | 290M| 101 | - | 231 | 23k| 0 | 0 | 0 | 482k| 0 | 0.000000e+00 | -- | Inf
1360.10/1360.56 c 1341s|630000 |278849 | 0 | 0.0 | 295M| 101 | - | 231 | 22k| 0 | 0 | 0 | 491k| 0 | 0.000000e+00 | -- | Inf
1390.40/1390.85 c 1370s|640000 |282391 | 0 | 0.0 | 299M| 101 | - | 231 | 22k| 0 | 0 | 0 | 500k| 0 | 0.000000e+00 | -- | Inf
1427.49/1427.97 c 1407s|650000 |284817 | 0 | 0.0 | 304M| 101 | - | 231 | 23k| 0 | 0 | 0 | 511k| 0 | 0.000000e+00 | -- | Inf
1457.88/1458.34 c 1437s|660000 |288639 | 0 | 0.0 | 308M| 101 | - | 231 | 24k| 0 | 0 | 0 | 520k| 0 | 0.000000e+00 | -- | Inf
1492.47/1492.99 c 1472s|670000 |291563 | 0 | 0.0 | 313M| 101 | - | 231 | 24k| 0 | 0 | 0 | 530k| 0 | 0.000000e+00 | -- | Inf
1526.37/1526.83 c 1505s|680000 |294577 | 0 | 0.0 | 318M| 101 | - | 231 | 24k| 0 | 0 | 0 | 539k| 0 | 0.000000e+00 | -- | Inf
1567.95/1568.45 c 1546s|690000 |296503 | 0 | 0.0 | 322M| 101 | - | 231 | 25k| 0 | 0 | 0 | 550k| 0 | 0.000000e+00 | -- | Inf
1601.05/1601.60 c 1579s|700000 |299971 | 0 | 0.0 | 326M| 101 | - | 231 | 25k| 0 | 0 | 0 | 560k| 0 | 0.000000e+00 | -- | Inf
1637.83/1638.33 c 1615s|710000 |302607 | 0 | 0.0 | 330M| 101 | - | 231 | 25k| 0 | 0 | 0 | 570k| 0 | 0.000000e+00 | -- | Inf
1675.52/1676.01 c 1653s|720000 |305217 | 0 | 0.0 | 335M| 101 | - | 231 | 26k| 0 | 0 | 0 | 580k| 0 | 0.000000e+00 | -- | Inf
1718.51/1719.08 c 1696s|730000 |307070 | 0 | 0.0 | 339M| 101 | - | 231 | 26k| 0 | 0 | 0 | 591k| 0 | 0.000000e+00 | -- | Inf
1754.50/1755.06 c 1731s|740000 |309937 | 0 | 0.0 | 343M| 101 | - | 231 | 26k| 0 | 0 | 0 | 601k| 0 | 0.000000e+00 | -- | Inf
1793.89/1794.44 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1793.89/1794.44 c 1770s|750000 |312277 | 0 | 0.0 | 347M| 101 | - | 231 | 26k| 0 | 0 | 0 | 612k| 0 | 0.000000e+00 | -- | Inf
1800.10/1800.61 c pressed CTRL-C 1 times (5 times for forcing termination)
1800.10/1800.62 c
1800.10/1800.62 c SCIP Status : solving was interrupted [user interrupt]
1800.10/1800.62 c Solving Time (sec) : 1776.26
1800.10/1800.62 c Solving Nodes : 751527
1800.10/1800.62 c Primal Bound : +1.00000000000000e+20 (0 solutions)
1800.10/1800.62 c Dual Bound : +0.00000000000000e+00
1800.10/1800.62 c Gap : infinite
1800.10/1800.62 s UNKNOWN
1800.10/1800.62 c SCIP Status : solving was interrupted [user interrupt]
1800.10/1800.62 c Solving Time : 1776.26
1800.10/1800.62 c Original Problem :
1800.10/1800.62 c Problem name : HOME/instance-2664439-1276305899.opb
1800.10/1800.62 c Variables : 231 (231 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.10/1800.62 c Constraints : 2707 initial, 2707 maximal
1800.10/1800.62 c Presolved Problem :
1800.10/1800.62 c Problem name : t_HOME/instance-2664439-1276305899.opb
1800.10/1800.62 c Variables : 231 (231 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.10/1800.62 c Constraints : 2564 initial, 26705 maximal
1800.10/1800.62 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs
1800.10/1800.62 c trivial : 0.00 0 0 0 0 0 0 0 0
1800.10/1800.62 c dualfix : 0.00 0 0 0 0 0 0 0 0
1800.10/1800.62 c boundshift : 0.00 0 0 0 0 0 0 0 0
1800.10/1800.62 c inttobinary : 0.00 0 0 0 0 0 0 0 0
1800.10/1800.62 c implics : 0.00 0 0 0 0 0 0 0 0
1800.10/1800.62 c probing : 0.00 0 0 0 0 0 0 0 0
1800.10/1800.62 c knapsack : 0.00 0 0 0 0 0 0 0 0
1800.10/1800.62 c setppc : 0.00 0 0 0 0 0 0 0 0
1800.10/1800.62 c linear : 0.03 0 0 0 0 0 143 0 0
1800.10/1800.62 c logicor : 0.03 0 0 0 0 0 0 0 0
1800.10/1800.62 c root node : - 0 - - 0 - - - -
1800.10/1800.62 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children
1800.10/1800.62 c integral : 0 0 0 0 0 0 0 0 0 0
1800.10/1800.62 c knapsack : 1 0 2435221 0 596078 73405 7839682 0 0 0
1800.10/1800.62 c setppc : 22 0 2372511 0 596078 94120 2778401 0 0 0
1800.10/1800.62 c logicor : 2541+ 0 1960664 0 596076 96240 7494316 0 0 0
1800.10/1800.62 c countsols : 0 0 0 0 596062 0 0 0 0 0
1800.10/1800.62 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS
1800.10/1800.62 c integral : 0.00 0.00 0.00 0.00 0.00
1800.10/1800.62 c knapsack : 54.28 0.00 50.80 0.00 3.48
1800.10/1800.62 c setppc : 38.59 0.00 30.37 0.00 8.22
1800.10/1800.62 c logicor : 922.13 0.00 856.40 0.00 65.73
1800.10/1800.62 c countsols : 0.31 0.00 0.00 0.00 0.31
1800.10/1800.62 c Propagators : Time Calls Cutoffs DomReds
1800.10/1800.62 c vbounds : 1.26 1 0 0
1800.10/1800.62 c rootredcost : 1.50 0 0 0
1800.10/1800.62 c pseudoobj : 1.04 0 0 0
1800.10/1800.62 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1800.10/1800.62 c propagation : 15.95 263765 263693 1287083 18.3 7623 19.4 -
1800.10/1800.62 c infeasible LP : 0.00 0 0 0 0.0 0 0.0 0
1800.10/1800.62 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1800.10/1800.62 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1800.10/1800.62 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 -
1800.10/1800.62 c applied globally : - - - 610449 14.7 - - -
1800.10/1800.62 c applied locally : - - - 3214 35.7 - - -
1800.10/1800.62 c Separators : Time Calls Cutoffs DomReds Cuts Conss
1800.10/1800.62 c cut pool : 0.00 0 - - 0 - (maximal pool size: 0)
1800.10/1800.62 c redcost : 0.00 0 0 0 0 0
1800.10/1800.62 c impliedbounds : 0.00 0 0 0 0 0
1800.10/1800.62 c intobj : 0.00 0 0 0 0 0
1800.10/1800.62 c cgmip : 0.00 0 0 0 0 0
1800.10/1800.62 c gomory : 0.00 0 0 0 0 0
1800.10/1800.62 c strongcg : 0.00 0 0 0 0 0
1800.10/1800.62 c cmir : 0.00 0 0 0 0 0
1800.10/1800.62 c flowcover : 0.00 0 0 0 0 0
1800.10/1800.62 c clique : 0.00 0 0 0 0 0
1800.10/1800.62 c zerohalf : 0.00 0 0 0 0 0
1800.10/1800.62 c mcf : 0.00 0 0 0 0 0
1800.10/1800.62 c rapidlearning : 0.00 0 0 0 0 0
1800.10/1800.62 c Pricers : Time Calls Vars
1800.10/1800.62 c problem variables: 0.00 0 0
1800.10/1800.62 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
1800.10/1800.62 c relpscost : 0.00 0 0 0 0 0 0
1800.10/1800.62 c pscost : 0.00 0 0 0 0 0 0
1800.10/1800.62 c inference : 15.76 596062 0 0 0 0 1192124
1800.10/1800.62 c mostinf : 0.00 0 0 0 0 0 0
1800.10/1800.62 c leastinf : 0.00 0 0 0 0 0 0
1800.10/1800.62 c fullstrong : 0.00 0 0 0 0 0 0
1800.10/1800.62 c allfullstrong : 0.00 0 0 0 0 0 0
1800.10/1800.62 c random : 0.00 0 0 0 0 0 0
1800.10/1800.62 c Primal Heuristics : Time Calls Found
1800.10/1800.62 c LP solutions : 0.00 - 0
1800.10/1800.62 c pseudo solutions : 0.00 - 0
1800.10/1800.62 c trivial : 0.00 1 0
1800.10/1800.62 c simplerounding : 0.00 0 0
1800.10/1800.62 c zirounding : 0.00 0 0
1800.10/1800.62 c rounding : 0.00 0 0
1800.10/1800.62 c shifting : 0.00 0 0
1800.10/1800.62 c intshifting : 0.00 0 0
1800.10/1800.62 c oneopt : 0.00 0 0
1800.10/1800.62 c twoopt : 0.00 0 0
1800.10/1800.62 c fixandinfer : 0.00 0 0
1800.10/1800.62 c feaspump : 0.00 0 0
1800.10/1800.62 c coefdiving : 0.00 0 0
1800.10/1800.62 c pscostdiving : 0.00 0 0
1800.10/1800.62 c fracdiving : 0.00 0 0
1800.10/1800.62 c veclendiving : 0.00 0 0
1800.10/1800.62 c intdiving : 0.00 0 0
1800.10/1800.62 c actconsdiving : 0.00 0 0
1800.10/1800.62 c objpscostdiving : 0.00 0 0
1800.10/1800.62 c rootsoldiving : 0.00 0 0
1800.10/1800.62 c linesearchdiving : 0.00 0 0
1800.10/1800.62 c guideddiving : 0.00 0 0
1800.10/1800.62 c octane : 0.00 0 0
1800.10/1800.62 c rens : 0.00 0 0
1800.10/1800.62 c rins : 0.00 0 0
1800.10/1800.62 c localbranching : 0.00 0 0
1800.10/1800.62 c mutation : 0.00 0 0
1800.10/1800.62 c crossover : 0.00 0 0
1800.10/1800.62 c dins : 0.00 0 0
1800.10/1800.62 c undercover : 0.00 0 0
1800.10/1800.62 c nlp : 0.00 0 0
1800.10/1800.62 c trysol : 0.00 0 0
1800.10/1800.62 c LP : Time Calls Iterations Iter/call Iter/sec
1800.10/1800.62 c primal LP : 0.00 0 0 0.00 -
1800.10/1800.62 c dual LP : 0.00 0 0 0.00 -
1800.10/1800.62 c lex dual LP : 0.00 0 0 0.00 -
1800.10/1800.62 c barrier LP : 0.00 0 0 0.00 -
1800.10/1800.62 c diving/probing LP: 0.00 0 0 0.00 -
1800.10/1800.62 c strong branching : 0.00 0 0 0.00 -
1800.10/1800.62 c (at root node) : - 0 0 0.00 -
1800.10/1800.62 c conflict analysis: 0.00 0 0 0.00 -
1800.10/1800.62 c B&B Tree :
1800.10/1800.62 c number of runs : 1
1800.10/1800.62 c nodes : 751527
1800.10/1800.62 c nodes (total) : 751527
1800.10/1800.62 c nodes left : 312620
1800.10/1800.62 c max depth : 101
1800.10/1800.62 c max depth (total): 101
1800.10/1800.62 c backtracks : 161162 (21.4%)
1800.10/1800.62 c delayed cutoffs : 127978
1800.10/1800.62 c repropagations : 505699 (6179640 domain reductions, 108300 cutoffs)
1800.10/1800.62 c avg switch length: 12.45
1800.10/1800.62 c switching time : 487.27
1800.10/1800.62 c Solution :
1800.10/1800.62 c Solutions found : 0 (0 improvements)
1800.10/1800.62 c Primal Bound : -
1800.10/1800.62 c Dual Bound : +0.00000000000000e+00
1800.10/1800.62 c Gap : infinite
1800.10/1800.62 c Root Dual Bound : +0.00000000000000e+00
1800.10/1800.62 c Root Iterations : 0
1801.49/1802.01 c Time complete: 1801.5.
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-2664439-1276305899/watcher-2664439-1276305899 -o /tmp/evaluation-result-2664439-1276305899/solver-2664439-1276305899 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt.none -f HOME/instance-2664439-1276305899.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 0.99 3/106 5953 /proc/meminfo: memFree=1545352/2059040 swapFree=4192956/4192956 [pid=5953] ppid=5951 vsize=7612 CPUtime=0 /proc/5953/stat : 5953 (pbscip.linux.x8) R 5951 5953 5928 0 -1 4202496 1183 0 0 0 0 0 0 0 20 0 1 0 4245319 7794688 1105 1992294400 4194304 7136930 140735873550256 18446744073709551615 6346613 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/5953/statm: 1903 1115 254 719 0 1182 0 [startup+0.093107 s] /proc/loadavg: 0.92 0.98 0.99 3/106 5953 /proc/meminfo: memFree=1545352/2059040 swapFree=4192956/4192956 [pid=5953] ppid=5951 vsize=14472 CPUtime=0.09 /proc/5953/stat : 5953 (pbscip.linux.x8) R 5951 5953 5928 0 -1 4202496 3533 0 0 0 7 2 0 0 20 0 1 0 4245319 14819328 2844 1992294400 4194304 7136930 140735873550256 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/5953/statm: 3618 2844 343 719 0 2897 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 14472 [startup+0.102107 s] /proc/loadavg: 0.92 0.98 0.99 3/106 5953 /proc/meminfo: memFree=1545352/2059040 swapFree=4192956/4192956 [pid=5953] ppid=5951 vsize=14912 CPUtime=0.09 /proc/5953/stat : 5953 (pbscip.linux.x8) R 5951 5953 5928 0 -1 4202496 3661 0 0 0 7 2 0 0 20 0 1 0 4245319 15269888 2972 1992294400 4194304 7136930 140735873550256 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/5953/statm: 3728 2972 345 719 0 3007 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 14912 [startup+0.301123 s] /proc/loadavg: 0.92 0.98 0.99 3/106 5953 /proc/meminfo: memFree=1545352/2059040 swapFree=4192956/4192956 [pid=5953] ppid=5951 vsize=17068 CPUtime=0.29 /proc/5953/stat : 5953 (pbscip.linux.x8) R 5951 5953 5928 0 -1 4202496 6815 0 0 0 25 4 0 0 20 0 1 0 4245319 17477632 3556 1992294400 4194304 7136930 140735873550256 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/5953/statm: 4267 3556 391 719 0 3546 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 17068 [startup+0.701157 s] /proc/loadavg: 0.92 0.98 0.99 3/106 5953 /proc/meminfo: memFree=1545352/2059040 swapFree=4192956/4192956 [pid=5953] ppid=5951 vsize=17728 CPUtime=0.69 /proc/5953/stat : 5953 (pbscip.linux.x8) R 5951 5953 5928 0 -1 4202496 6955 0 0 0 62 7 0 0 20 0 1 0 4245319 18153472 3696 1992294400 4194304 7136930 140735873550256 18446744073709551615 5005155 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/5953/statm: 4432 3696 391 719 0 3711 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 17728 [startup+1.50022 s] /proc/loadavg: 0.93 0.98 0.99 2/107 5954 /proc/meminfo: memFree=1530960/2059040 swapFree=4192956/4192956 [pid=5953] ppid=5951 vsize=19168 CPUtime=1.49 /proc/5953/stat : 5953 (pbscip.linux.x8) R 5951 5953 5928 0 -1 4202496 7346 0 0 0 138 11 0 0 22 0 1 0 4245319 19628032 4087 1992294400 4194304 7136930 140735873550256 18446744073709551615 5892251 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/5953/statm: 4792 4087 391 719 0 4071 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 19168 [startup+3.10135 s] /proc/loadavg: 0.93 0.98 0.99 2/107 5954 /proc/meminfo: memFree=1528604/2059040 swapFree=4192956/4192956 [pid=5953] ppid=5951 vsize=21656 CPUtime=3.09 /proc/5953/stat : 5953 (pbscip.linux.x8) R 5951 5953 5928 0 -1 4202496 7955 0 0 0 290 19 0 0 25 0 1 0 4245319 22175744 4696 1992294400 4194304 7136930 140735873550256 18446744073709551615 4697127 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/5953/statm: 5414 4696 391 719 0 4693 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 21656 [startup+6.3016 s] /proc/loadavg: 0.93 0.98 0.99 2/107 5954 /proc/meminfo: memFree=1523900/2059040 swapFree=4192956/4192956 [pid=5953] ppid=5951 vsize=25828 CPUtime=6.29 /proc/5953/stat : 5953 (pbscip.linux.x8) R 5951 5953 5928 0 -1 4202496 9015 0 0 0 595 34 0 0 25 0 1 0 4245319 26447872 5756 1992294400 4194304 7136930 140735873550256 18446744073709551615 5005205 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/5953/statm: 6457 5756 391 719 0 5736 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 25828 [startup+12.7011 s] /proc/loadavg: 0.94 0.98 0.99 2/107 5954 /proc/meminfo: memFree=1517452/2059040 swapFree=4192956/4192956 [pid=5953] ppid=5951 vsize=32884 CPUtime=12.69 /proc/5953/stat : 5953 (pbscip.linux.x8) R 5951 5953 5928 0 -1 4202496 10811 0 0 0 1204 65 0 0 25 0 1 0 4245319 33673216 7552 1992294400 4194304 7136930 140735873550256 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/5953/statm: 8221 7552 391 719 0 7500 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 32884 [startup+25.5011 s] /proc/loadavg: 0.95 0.98 0.99 2/107 5954 /proc/meminfo: memFree=1504060/2059040 swapFree=4192956/4192956 [pid=5953] ppid=5951 vsize=46008 CPUtime=25.49 /proc/5953/stat : 5953 (pbscip.linux.x8) R 5951 5953 5928 0 -1 4202496 14135 0 0 0 2439 110 0 0 25 0 1 0 4245319 47112192 10876 1992294400 4194304 7136930 140735873550256 18446744073709551615 5953094 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/5953/statm: 11502 10876 391 719 0 10781 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 46008 [startup+51.1011 s] /proc/loadavg: 0.97 0.98 0.99 2/107 5954 /proc/meminfo: memFree=1486080/2059040 swapFree=4192956/4192956 [pid=5953] ppid=5951 vsize=63748 CPUtime=51.07 /proc/5953/stat : 5953 (pbscip.linux.x8) R 5951 5953 5928 0 -1 4202496 18607 0 0 0 4918 189 0 0 25 0 1 0 4245319 65277952 15348 1992294400 4194304 7136930 140735873550256 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/5953/statm: 15937 15348 391 719 0 15216 0 Current children cumulated CPU time (s) 51.07 Current children cumulated vsize (KiB) 63748 [startup+102.309 s] /proc/loadavg: 0.98 0.98 0.99 2/107 5956 /proc/meminfo: memFree=1462768/2059040 swapFree=4192956/4192956 [pid=5953] ppid=5951 vsize=87480 CPUtime=102.27 /proc/5953/stat : 5953 (pbscip.linux.x8) R 5951 5953 5928 0 -1 4202496 24067 0 0 0 9943 284 0 0 25 0 1 0 4245319 89579520 20808 1992294400 4194304 7136930 140735873550256 18446744073709551615 4999811 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/5953/statm: 21870 20808 391 719 0 21149 0 Current children cumulated CPU time (s) 102.27 Current children cumulated vsize (KiB) 87480 [startup+162.302 s] /proc/loadavg: 0.99 0.98 0.99 2/107 5958 /proc/meminfo: memFree=1434372/2059040 swapFree=4192956/4192956 [pid=5953] ppid=5951 vsize=115484 CPUtime=162.25 /proc/5953/stat : 5953 (pbscip.linux.x8) R 5951 5953 5928 0 -1 4202496 31141 0 0 0 15790 435 0 0 25 0 1 0 4245319 118255616 27882 1992294400 4194304 7136930 140735873550256 18446744073709551615 5955603 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/5953/statm: 28871 27882 391 719 0 28150 0 Current children cumulated CPU time (s) 162.25 Current children cumulated vsize (KiB) 115484 [startup+222.302 s] /proc/loadavg: 1.07 1.00 1.00 2/107 5960 /proc/meminfo: memFree=1403372/2059040 swapFree=4192956/4192956 [pid=5953] ppid=5951 vsize=146076 CPUtime=222.23 /proc/5953/stat : 5953 (pbscip.linux.x8) R 5951 5953 5928 0 -1 4202496 38864 0 0 0 21648 575 0 0 25 0 1 0 4245319 149581824 35605 1992294400 4194304 7136930 140735873550256 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/5953/statm: 36519 35605 391 719 0 35798 0 Current children cumulated CPU time (s) 222.23 Current children cumulated vsize (KiB) 146076 [startup+282.302 s] /proc/loadavg: 1.03 1.00 1.00 2/107 5960 /proc/meminfo: memFree=1380928/2059040 swapFree=4192956/4192956 [pid=5953] ppid=5951 vsize=168800 CPUtime=282.21 /proc/5953/stat : 5953 (pbscip.linux.x8) R 5951 5953 5928 0 -1 4202496 44581 0 0 0 27534 687 0 0 25 0 1 0 4245319 172851200 41322 1992294400 4194304 7136930 140735873550256 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/5953/statm: 42200 41322 391 719 0 41479 0 Current children cumulated CPU time (s) 282.21 Current children cumulated vsize (KiB) 168800 [startup+342.301 s] /proc/loadavg: 1.01 1.00 1.00 3/107 5962 /proc/meminfo: memFree=1362452/2059040 swapFree=4192956/4192956 [pid=5953] ppid=5951 vsize=186932 CPUtime=342.19 /proc/5953/stat : 5953 (pbscip.linux.x8) R 5951 5953 5928 0 -1 4202496 49062 0 0 0 33437 782 0 0 25 0 1 0 4245319 191418368 45803 1992294400 4194304 7136930 140735873550256 18446744073709551615 4999811 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/5953/statm: 46733 45803 391 719 0 46012 0 Current children cumulated CPU time (s) 342.19 Current children cumulated vsize (KiB) 186932 [startup+402.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 5964 /proc/meminfo: memFree=1346332/2059040 swapFree=4192956/4192956 [pid=5953] ppid=5951 vsize=203360 CPUtime=402.19 /proc/5953/stat : 5953 (pbscip.linux.x8) R 5951 5953 5928 0 -1 4202496 53208 0 0 0 39349 870 0 0 25 0 1 0 4245319 208240640 49949 1992294400 4194304 7136930 140735873550256 18446744073709551615 6419040 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/5953/statm: 50840 49949 391 719 0 50119 0 Current children cumulated CPU time (s) 402.19 Current children cumulated vsize (KiB) 203360 [startup+462.302 s] /proc/loadavg: 1.00 1.00 1.00 2/107 5966 /proc/meminfo: memFree=1329964/2059040 swapFree=4192956/4192956 [pid=5953] ppid=5951 vsize=219120 CPUtime=462.17 /proc/5953/stat : 5953 (pbscip.linux.x8) R 5951 5953 5928 0 -1 4202496 57101 0 0 0 45268 949 0 0 25 0 1 0 4245319 224378880 53842 1992294400 4194304 7136930 140735873550256 18446744073709551615 4677433 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/5953/statm: 54780 53842 391 719 0 54059 0 Current children cumulated CPU time (s) 462.17 Current children cumulated vsize (KiB) 219120 [startup+522.302 s] /proc/loadavg: 1.00 1.00 1.00 2/107 5968 /proc/meminfo: memFree=1323516/2059040 swapFree=4192956/4192956 [pid=5953] ppid=5951 vsize=225636 CPUtime=522.15 /proc/5953/stat : 5953 (pbscip.linux.x8) R 5951 5953 5928 0 -1 4202496 58766 0 0 0 51194 1021 0 0 25 0 1 0 4245319 231051264 55507 1992294400 4194304 7136930 140735873550256 18446744073709551615 4999811 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/5953/statm: 56409 55507 391 719 0 55688 0 Current children cumulated CPU time (s) 522.15 Current children cumulated vsize (KiB) 225636 [startup+582.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 5968 /proc/meminfo: memFree=1313720/2059040 swapFree=4192956/4192956 [pid=5953] ppid=5951 vsize=235176 CPUtime=582.13 /proc/5953/stat : 5953 (pbscip.linux.x8) R 5951 5953 5928 0 -1 4202496 61145 0 0 0 57127 1086 0 0 25 0 1 0 4245319 240820224 57886 1992294400 4194304 7136930 140735873550256 18446744073709551615 4999842 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/5953/statm: 58794 57886 391 719 0 58073 0 Current children cumulated CPU time (s) 582.13 Current children cumulated vsize (KiB) 235176 [startup+642.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 5970 /proc/meminfo: memFree=1305784/2059040 swapFree=4192956/4192956 [pid=5953] ppid=5951 vsize=242968 CPUtime=642.12 /proc/5953/stat : 5953 (pbscip.linux.x8) R 5951 5953 5928 0 -1 4202496 63112 0 0 0 63063 1149 0 0 25 0 1 0 4245319 248799232 59853 1992294400 4194304 7136930 140735873550256 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/5953/statm: 60742 59853 391 719 0 60021 0 Current children cumulated CPU time (s) 642.12 Current children cumulated vsize (KiB) 242968 [startup+702.301 s] ################ # More data... # ################ [startup+1002.3 s] /proc/loadavg: 1.00 1.02 1.00 2/107 5983 /proc/meminfo: memFree=1248992/2059040 swapFree=4192956/4192956 [pid=5953] ppid=5951 vsize=303012 CPUtime=1002.01 /proc/5953/stat : 5953 (pbscip.linux.x8) R 5951 5953 5928 0 -1 4202496 77124 0 0 0 98650 1551 0 0 25 0 1 0 4245319 310284288 73865 1992294400 4194304 7136930 140735873550256 18446744073709551615 4210588 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/5953/statm: 75753 73865 391 719 0 75032 0 Current children cumulated CPU time (s) 1002.01 Current children cumulated vsize (KiB) 303012 [startup+1062.3 s] /proc/loadavg: 1.00 1.01 1.00 2/107 5985 /proc/meminfo: memFree=1235972/2059040 swapFree=4192956/4192956 [pid=5953] ppid=5951 vsize=316684 CPUtime=1061.98 /proc/5953/stat : 5953 (pbscip.linux.x8) R 5951 5953 5928 0 -1 4202496 80498 0 0 0 104580 1618 0 0 25 0 1 0 4245319 324284416 77239 1992294400 4194304 7136930 140735873550256 18446744073709551615 4999862 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/5953/statm: 79171 77239 391 719 0 78450 0 Current children cumulated CPU time (s) 1061.98 Current children cumulated vsize (KiB) 316684 [startup+1122.3 s] /proc/loadavg: 1.00 1.01 1.00 2/107 5987 /proc/meminfo: memFree=1222828/2059040 swapFree=4192956/4192956 [pid=5953] ppid=5951 vsize=329388 CPUtime=1121.97 /proc/5953/stat : 5953 (pbscip.linux.x8) R 5951 5953 5928 0 -1 4202496 83716 0 0 0 110506 1691 0 0 25 0 1 0 4245319 337293312 80457 1992294400 4194304 7136930 140735873550256 18446744073709551615 4210584 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/5953/statm: 82347 80457 391 719 0 81626 0 Current children cumulated CPU time (s) 1121.97 Current children cumulated vsize (KiB) 329388 [startup+1182.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 5987 /proc/meminfo: memFree=1213280/2059040 swapFree=4192956/4192956 [pid=5953] ppid=5951 vsize=339036 CPUtime=1181.96 /proc/5953/stat : 5953 (pbscip.linux.x8) R 5951 5953 5928 0 -1 4202496 86093 0 0 0 116433 1763 0 0 25 0 1 0 4245319 347172864 82834 1992294400 4194304 7136930 140735873550256 18446744073709551615 4210588 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/5953/statm: 84759 82834 391 719 0 84038 0 Current children cumulated CPU time (s) 1181.96 Current children cumulated vsize (KiB) 339036 [startup+1242.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 5989 /proc/meminfo: memFree=1200384/2059040 swapFree=4192956/4192956 [pid=5953] ppid=5951 vsize=351624 CPUtime=1241.94 /proc/5953/stat : 5953 (pbscip.linux.x8) R 5951 5953 5928 0 -1 4202496 89263 0 0 0 122364 1830 0 0 25 0 1 0 4245319 360062976 86004 1992294400 4194304 7136930 140735873550256 18446744073709551615 4210118 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/5953/statm: 87906 86004 391 719 0 87185 0 Current children cumulated CPU time (s) 1241.94 Current children cumulated vsize (KiB) 351624 [startup+1302.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 5991 /proc/meminfo: memFree=1187240/2059040 swapFree=4192956/4192956 [pid=5953] ppid=5951 vsize=364768 CPUtime=1301.93 /proc/5953/stat : 5953 (pbscip.linux.x8) R 5951 5953 5928 0 -1 4202496 92516 0 0 0 128300 1893 0 0 25 0 1 0 4245319 373522432 89257 1992294400 4194304 7136930 140735873550256 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/5953/statm: 91192 89257 391 719 0 90471 0 Current children cumulated CPU time (s) 1301.93 Current children cumulated vsize (KiB) 364768 [startup+1362.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 5993 /proc/meminfo: memFree=1181908/2059040 swapFree=4192956/4192956 [pid=5953] ppid=5951 vsize=370000 CPUtime=1361.91 /proc/5953/stat : 5953 (pbscip.linux.x8) R 5951 5953 5928 0 -1 4202496 93843 0 0 0 134230 1961 0 0 25 0 1 0 4245319 378880000 90584 1992294400 4194304 7136930 140735873550256 18446744073709551615 4209148 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/5953/statm: 92500 90584 391 719 0 91779 0 Current children cumulated CPU time (s) 1361.91 Current children cumulated vsize (KiB) 370000 [startup+1422.31 s] /proc/loadavg: 1.00 1.00 1.00 2/107 5995 /proc/meminfo: memFree=1173352/2059040 swapFree=4192956/4192956 [pid=5953] ppid=5951 vsize=378388 CPUtime=1421.9 /proc/5953/stat : 5953 (pbscip.linux.x8) R 5951 5953 5928 0 -1 4202496 95977 0 0 0 140168 2022 0 0 25 0 1 0 4245319 387469312 92718 1992294400 4194304 7136930 140735873550256 18446744073709551615 4210588 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/5953/statm: 94597 92718 391 719 0 93876 0 Current children cumulated CPU time (s) 1421.9 Current children cumulated vsize (KiB) 378388 [startup+1482.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 5995 /proc/meminfo: memFree=1164548/2059040 swapFree=4192956/4192956 [pid=5953] ppid=5951 vsize=387080 CPUtime=1481.87 /proc/5953/stat : 5953 (pbscip.linux.x8) R 5951 5953 5928 0 -1 4202496 98163 0 0 0 146104 2083 0 0 25 0 1 0 4245319 396369920 94904 1992294400 4194304 7136930 140735873550256 18446744073709551615 4999837 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/5953/statm: 96770 94904 391 719 0 96049 0 Current children cumulated CPU time (s) 1481.87 Current children cumulated vsize (KiB) 387080 [startup+1542.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 5997 /proc/meminfo: memFree=1158968/2059040 swapFree=4192956/4192956 [pid=5953] ppid=5951 vsize=392916 CPUtime=1541.86 /proc/5953/stat : 5953 (pbscip.linux.x8) R 5951 5953 5928 0 -1 4202496 99562 0 0 0 152043 2143 0 0 25 0 1 0 4245319 402345984 96303 1992294400 4194304 7136930 140735873550256 18446744073709551615 4409102 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/5953/statm: 98229 96303 391 719 0 97508 0 Current children cumulated CPU time (s) 1541.86 Current children cumulated vsize (KiB) 392916 [startup+1602.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 5999 /proc/meminfo: memFree=1153760/2059040 swapFree=4192956/4192956 [pid=5953] ppid=5951 vsize=397932 CPUtime=1601.84 /proc/5953/stat : 5953 (pbscip.linux.x8) R 5951 5953 5928 0 -1 4202496 100849 0 0 0 157984 2200 0 0 25 0 1 0 4245319 407482368 97590 1992294400 4194304 7136930 140735873550256 18446744073709551615 4999811 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/5953/statm: 99483 97590 391 719 0 98762 0 Current children cumulated CPU time (s) 1601.84 Current children cumulated vsize (KiB) 397932 [startup+1662.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 6001 /proc/meminfo: memFree=1145824/2059040 swapFree=4192956/4192956 [pid=5953] ppid=5951 vsize=405688 CPUtime=1661.83 /proc/5953/stat : 5953 (pbscip.linux.x8) R 5951 5953 5928 0 -1 4202496 102822 0 0 0 163925 2258 0 0 25 0 1 0 4245319 415424512 99563 1992294400 4194304 7136930 140735873550256 18446744073709551615 4999862 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/5953/statm: 101422 99563 391 719 0 100701 0 Current children cumulated CPU time (s) 1661.83 Current children cumulated vsize (KiB) 405688 [startup+1722.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 6003 /proc/meminfo: memFree=1139500/2059040 swapFree=4192956/4192956 [pid=5953] ppid=5951 vsize=412148 CPUtime=1721.8 /proc/5953/stat : 5953 (pbscip.linux.x8) R 5951 5953 5928 0 -1 4202496 104378 0 0 0 169874 2306 0 0 25 0 1 0 4245319 422039552 101119 1992294400 4194304 7136930 140735873550256 18446744073709551615 4210588 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/5953/statm: 103037 101119 391 719 0 102316 0 Current children cumulated CPU time (s) 1721.8 Current children cumulated vsize (KiB) 412148 [startup+1782.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 6003 /proc/meminfo: memFree=1129952/2059040 swapFree=4192956/4192956 [pid=5953] ppid=5951 vsize=421112 CPUtime=1781.79 /proc/5953/stat : 5953 (pbscip.linux.x8) R 5951 5953 5928 0 -1 4202496 106702 0 0 0 175819 2360 0 0 25 0 1 0 4245319 431218688 103443 1992294400 4194304 7136930 140735873550256 18446744073709551615 4210031 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/5953/statm: 105278 103443 391 719 0 104557 0 Current children cumulated CPU time (s) 1781.79 Current children cumulated vsize (KiB) 421112 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.6 s] /proc/loadavg: 1.00 1.00 1.00 2/107 6005 /proc/meminfo: memFree=1128216/2059040 swapFree=4192956/4192956 [pid=5953] ppid=5951 vsize=422784 CPUtime=1800.1 /proc/5953/stat : 5953 (pbscip.linux.x8) R 5951 5953 5928 0 -1 4202496 107129 0 0 0 177631 2379 0 0 25 0 1 0 4245319 432930816 103870 1992294400 4194304 7136930 140735873550256 18446744073709551615 5000163 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/5953/statm: 105696 103870 391 719 0 104975 0 Current children cumulated CPU time (s) 1800.1 Current children cumulated vsize (KiB) 422784 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 6005 /proc/meminfo: memFree=1128216/2059040 swapFree=4192956/4192956 [pid=5953] ppid=5951 vsize=422936 CPUtime=1800.89 /proc/5953/stat : 5953 (pbscip.linux.x8) R 5951 5953 5928 0 -1 4202496 107157 0 0 0 177709 2380 0 0 25 0 1 0 4245319 433086464 103898 1992294400 4194304 7136930 140735873550256 18446744073709551615 4670087 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/5953/statm: 105734 103898 396 719 0 105013 0 Current children cumulated CPU time (s) 1800.89 Current children cumulated vsize (KiB) 422936 [startup+1801.81 s] /proc/loadavg: 1.00 1.00 1.00 2/108 6006 /proc/meminfo: memFree=1128084/2059040 swapFree=4192956/4192956 [pid=5953] ppid=5951 vsize=422936 CPUtime=1801.3 /proc/5953/stat : 5953 (pbscip.linux.x8) R 5951 5953 5928 0 -1 4202496 107157 0 0 0 177750 2380 0 0 25 0 1 0 4245319 433086464 103898 1992294400 4194304 7136930 140735873550256 18446744073709551615 4670092 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/5953/statm: 105734 103898 396 719 0 105013 0 Current children cumulated CPU time (s) 1801.3 Current children cumulated vsize (KiB) 422936 [startup+1802 s] /proc/loadavg: 1.00 1.00 1.00 2/108 6006 /proc/meminfo: memFree=1128084/2059040 swapFree=4192956/4192956 [pid=5953] ppid=5951 vsize=115872 CPUtime=1801.49 /proc/5953/stat : 5953 (pbscip.linux.x8) R 5951 5953 5928 0 -1 4202496 107157 0 0 0 177766 2383 0 0 25 0 1 0 4245319 118652928 27959 1992294400 4194304 7136930 140735873550256 18446744073709551615 6360983 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/5953/statm: 28712 27959 396 719 0 27991 0 Current children cumulated CPU time (s) 1801.49 Current children cumulated vsize (KiB) 115872 Child status: 0 Real time (s): 1802.02 CPU time (s): 1801.51 CPU user time (s): 1777.67 CPU system time (s): 23.8444 CPU usage (%): 99.9721 Max. virtual memory (cumulated for all children) (KiB): 422936 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1777.67 system time used= 23.8444 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 107164 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= 2 involuntary context switches= 3460 runsolver used 3.17452 second user time and 8.32373 second system time The end
Begin job on node026 at 2010-06-12 03:24:59 IDJOB=2664439 IDBENCH=1342 IDSOLVER=1167 FILE ID=node026/2664439-1276305899 PBS_JOBID= 11173136 Free space on /tmp= 62508 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.1900553812.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-2664439-1276305899/watcher-2664439-1276305899 -o /tmp/evaluation-result-2664439-1276305899/solver-2664439-1276305899 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt.none -f HOME/instance-2664439-1276305899.opb -t 1800 -m 1800 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= 703150fc56665afb9da0b20e49208c25 RANDOM SEED=150794287 node026.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.201 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.40 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.201 cache size : 2048 KB physical id : 3 siblings : 1 core id : 0 cpu cores : 1 apicid : 6 fpu : yes fpu_exception : yes cpuid level : 5 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm constant_tsc pni monitor ds_cpl cid cx16 xtpr bogomips : 5599.46 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2059040 kB MemFree: 1545756 kB Buffers: 75032 kB Cached: 311332 kB SwapCached: 0 kB Active: 173148 kB Inactive: 272252 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2059040 kB LowFree: 1545756 kB SwapTotal: 4192956 kB SwapFree: 4192956 kB Dirty: 3464 kB Writeback: 0 kB AnonPages: 58968 kB Mapped: 15396 kB Slab: 46092 kB PageTables: 4060 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 5222476 kB Committed_AS: 180240 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= 62508 MiB End job on node026 at 2010-06-12 03:55:02