| Solver Name | Answer | CPU time | Wall clock time |
|---|---|---|---|
| SCIPnone SCIP 1.2.1.2 without any LP solver | ? (TO) | 1801.57 | 1802.18 |
| Name | normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/ namasivayam/tsp/normalized-t3002.11tsp11.1900574864.opb |
| MD5SUM | 58a39490a0f04cc377ab2aa6882fd7a1 |
| 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 | 35.8505 |
| 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 | 671 |
| 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-2664127-1276280973.opb>
0.02/0.05 c original problem has 231 variables (231 bin, 0 int, 0 impl, 0 cont) and 2707 constraints
0.02/0.05 c problem read
0.02/0.05 c No objective function, only one solution is needed.
0.02/0.05 c presolving settings loaded
0.02/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.02/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.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.96 c 3.7s| 10000 | 8322 | 0 | 0.0 |7032k| 97 | - | 231 |4103 | 0 | 0 | 0 |2489 | 0 | 0.000000e+00 | -- | Inf
9.58/9.66 c 9.1s| 20000 | 14779 | 0 | 0.0 | 11M| 98 | - | 231 |5283 | 0 | 0 | 0 |7821 | 0 | 0.000000e+00 | -- | Inf
14.30/14.33 c 13.6s| 30000 | 22892 | 0 | 0.0 | 16M| 98 | - | 231 |5153 | 0 | 0 | 0 | 10k| 0 | 0.000000e+00 | -- | Inf
19.48/19.52 c 18.5s| 40000 | 30536 | 0 | 0.0 | 21M| 98 | - | 231 |5998 | 0 | 0 | 0 | 13k| 0 | 0.000000e+00 | -- | Inf
25.29/25.31 c 24.0s| 50000 | 38020 | 0 | 0.0 | 25M| 98 | - | 231 |6440 | 0 | 0 | 0 | 17k| 0 | 0.000000e+00 | -- | Inf
31.68/31.71 c 30.2s| 60000 | 45165 | 0 | 0.0 | 30M| 98 | - | 231 |7342 | 0 | 0 | 0 | 21k| 0 | 0.000000e+00 | -- | Inf
38.87/38.96 c 37.2s| 70000 | 51961 | 0 | 0.0 | 35M| 98 | - | 231 |8228 | 0 | 0 | 0 | 26k| 0 | 0.000000e+00 | -- | Inf
47.28/47.31 c 45.3s| 80000 | 58481 | 0 | 0.0 | 41M| 98 | - | 231 |9061 | 0 | 0 | 0 | 32k| 0 | 0.000000e+00 | -- | Inf
56.57/56.68 c 54.4s| 90000 | 64582 | 0 | 0.0 | 46M| 98 | - | 231 | 10k| 0 | 0 | 0 | 37k| 0 | 0.000000e+00 | -- | Inf
68.07/68.15 c 65.5s|100000 | 69989 | 0 | 0.0 | 51M| 98 | - | 231 | 11k| 0 | 0 | 0 | 44k| 0 | 0.000000e+00 | -- | Inf
81.27/81.39 c 78.5s|110000 | 74920 | 0 | 0.0 | 56M| 98 | - | 231 | 12k| 0 | 0 | 0 | 52k| 0 | 0.000000e+00 | -- | Inf
96.96/97.04 c 93.8s|120000 | 79226 | 0 | 0.0 | 61M| 98 | - | 231 | 13k| 0 | 0 | 0 | 61k| 0 | 0.000000e+00 | -- | Inf
114.55/114.69 c 111s|130000 | 82931 | 0 | 0.0 | 65M| 98 | - | 231 | 12k| 0 | 0 | 0 | 70k| 0 | 0.000000e+00 | -- | Inf
129.34/129.47 c 126s|140000 | 88020 | 0 | 0.0 | 69M| 98 | - | 231 | 10k| 0 | 0 | 0 | 76k| 0 | 0.000000e+00 | -- | Inf
139.34/139.46 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
139.34/139.46 c 135s|150000 | 95115 | 0 | 0.0 | 73M| 98 | - | 231 | 10k| 0 | 0 | 0 | 80k| 0 | 0.000000e+00 | -- | Inf
149.44/149.53 c 145s|160000 |102090 | 0 | 0.0 | 78M| 98 | - | 231 | 10k| 0 | 0 | 0 | 84k| 0 | 0.000000e+00 | -- | Inf
159.44/159.55 c 155s|170000 |109055 | 0 | 0.0 | 83M| 98 | - | 231 | 10k| 0 | 0 | 0 | 89k| 0 | 0.000000e+00 | -- | Inf
170.03/170.14 c 165s|180000 |115738 | 0 | 0.0 | 88M| 98 | - | 231 | 11k| 0 | 0 | 0 | 94k| 0 | 0.000000e+00 | -- | Inf
181.13/181.29 c 176s|190000 |122326 | 0 | 0.0 | 92M| 98 | - | 231 | 11k| 0 | 0 | 0 | 99k| 0 | 0.000000e+00 | -- | Inf
192.44/192.57 c 187s|200000 |128802 | 0 | 0.0 | 97M| 98 | - | 231 | 12k| 0 | 0 | 0 | 104k| 0 | 0.000000e+00 | -- | Inf
204.42/204.55 c 199s|210000 |135072 | 0 | 0.0 | 102M| 98 | - | 231 | 12k| 0 | 0 | 0 | 109k| 0 | 0.000000e+00 | -- | Inf
216.32/216.43 c 210s|220000 |141252 | 0 | 0.0 | 107M| 98 | - | 231 | 12k| 0 | 0 | 0 | 114k| 0 | 0.000000e+00 | -- | Inf
228.72/228.85 c 223s|230000 |147293 | 0 | 0.0 | 112M| 98 | - | 231 | 12k| 0 | 0 | 0 | 119k| 0 | 0.000000e+00 | -- | Inf
241.21/241.35 c 235s|240000 |153261 | 0 | 0.0 | 116M| 98 | - | 231 | 12k| 0 | 0 | 0 | 125k| 0 | 0.000000e+00 | -- | Inf
254.70/254.82 c 248s|250000 |158872 | 0 | 0.0 | 121M| 98 | - | 231 | 13k| 0 | 0 | 0 | 131k| 0 | 0.000000e+00 | -- | Inf
268.50/268.65 c 261s|260000 |164424 | 0 | 0.0 | 126M| 98 | - | 231 | 13k| 0 | 0 | 0 | 137k| 0 | 0.000000e+00 | -- | Inf
282.90/283.07 c 276s|270000 |169794 | 0 | 0.0 | 131M| 98 | - | 231 | 13k| 0 | 0 | 0 | 144k| 0 | 0.000000e+00 | -- | Inf
297.39/297.53 c 290s|280000 |175132 | 0 | 0.0 | 136M| 98 | - | 231 | 13k| 0 | 0 | 0 | 150k| 0 | 0.000000e+00 | -- | Inf
313.18/313.33 c 305s|290000 |180095 | 0 | 0.0 | 141M| 98 | - | 231 | 14k| 0 | 0 | 0 | 157k| 0 | 0.000000e+00 | -- | Inf
329.79/329.90 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
329.79/329.90 c 322s|300000 |184874 | 0 | 0.0 | 146M| 98 | - | 231 | 14k| 0 | 0 | 0 | 164k| 0 | 0.000000e+00 | -- | Inf
346.38/346.52 c 338s|310000 |189739 | 0 | 0.0 | 151M| 98 | - | 231 | 15k| 0 | 0 | 0 | 171k| 0 | 0.000000e+00 | -- | Inf
364.77/364.90 c 356s|320000 |194185 | 0 | 0.0 | 156M| 98 | - | 231 | 15k| 0 | 0 | 0 | 179k| 0 | 0.000000e+00 | -- | Inf
383.16/383.35 c 374s|330000 |198538 | 0 | 0.0 | 162M| 98 | - | 231 | 16k| 0 | 0 | 0 | 187k| 0 | 0.000000e+00 | -- | Inf
403.75/403.92 c 394s|340000 |202641 | 0 | 0.0 | 166M| 98 | - | 231 | 16k| 0 | 0 | 0 | 195k| 0 | 0.000000e+00 | -- | Inf
424.65/424.82 c 415s|350000 |206578 | 0 | 0.0 | 171M| 98 | - | 231 | 17k| 0 | 0 | 0 | 204k| 0 | 0.000000e+00 | -- | Inf
445.34/445.51 c 435s|360000 |210610 | 0 | 0.0 | 176M| 98 | - | 231 | 17k| 0 | 0 | 0 | 212k| 0 | 0.000000e+00 | -- | Inf
467.73/467.97 c 457s|370000 |214257 | 0 | 0.0 | 181M| 98 | - | 231 | 17k| 0 | 0 | 0 | 221k| 0 | 0.000000e+00 | -- | Inf
491.43/491.61 c 481s|380000 |217635 | 0 | 0.0 | 185M| 98 | - | 231 | 18k| 0 | 0 | 0 | 231k| 0 | 0.000000e+00 | -- | Inf
516.91/517.15 c 506s|390000 |220608 | 0 | 0.0 | 190M| 98 | - | 231 | 19k| 0 | 0 | 0 | 241k| 0 | 0.000000e+00 | -- | Inf
541.71/541.99 c 530s|400000 |224035 | 0 | 0.0 | 195M| 98 | - | 231 | 19k| 0 | 0 | 0 | 250k| 0 | 0.000000e+00 | -- | Inf
570.71/570.91 c 559s|410000 |226554 | 0 | 0.0 | 200M| 98 | - | 231 | 20k| 0 | 0 | 0 | 261k| 0 | 0.000000e+00 | -- | Inf
600.99/601.26 c 589s|420000 |228841 | 0 | 0.0 | 204M| 98 | - | 231 | 21k| 0 | 0 | 0 | 271k| 0 | 0.000000e+00 | -- | Inf
631.09/631.37 c 619s|430000 |231264 | 0 | 0.0 | 209M| 98 | - | 231 | 21k| 0 | 0 | 0 | 282k| 0 | 0.000000e+00 | -- | Inf
662.17/662.40 c 649s|440000 |233647 | 0 | 0.0 | 213M| 98 | - | 231 | 22k| 0 | 0 | 0 | 293k| 0 | 0.000000e+00 | -- | Inf
695.75/696.01 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
695.75/696.01 c 683s|450000 |235520 | 0 | 0.0 | 217M| 98 | - | 231 | 23k| 0 | 0 | 0 | 305k| 0 | 0.000000e+00 | -- | Inf
731.44/731.76 c 718s|460000 |237092 | 0 | 0.0 | 221M| 98 | - | 231 | 24k| 0 | 0 | 0 | 316k| 0 | 0.000000e+00 | -- | Inf
770.33/770.65 c 756s|470000 |238088 | 0 | 0.0 | 225M| 98 | - | 231 | 24k| 0 | 0 | 0 | 329k| 0 | 0.000000e+00 | -- | Inf
808.92/809.29 c 795s|480000 |239453 | 0 | 0.0 | 229M| 98 | - | 231 | 24k| 0 | 0 | 0 | 341k| 0 | 0.000000e+00 | -- | Inf
851.40/851.70 c 837s|490000 |239966 | 0 | 0.0 | 232M| 98 | - | 231 | 25k| 0 | 0 | 0 | 354k| 0 | 0.000000e+00 | -- | Inf
895.29/895.61 c 880s|500000 |240329 | 0 | 0.0 | 234M| 98 | - | 231 | 25k| 0 | 0 | 0 | 367k| 0 | 0.000000e+00 | -- | Inf
940.67/941.04 c 925s|510000 |240530 | 0 | 0.0 | 236M| 98 | - | 231 | 23k| 0 | 0 | 0 | 379k| 0 | 0.000000e+00 | -- | Inf
989.67/990.07 c 974s|520000 |240089 | 0 | 0.0 | 239M| 98 | - | 231 | 22k| 0 | 0 | 0 | 391k| 0 | 0.000000e+00 | -- | Inf
1026.15/1026.51 c 1010s|530000 |243318 | 0 | 0.0 | 242M| 98 | - | 231 | 20k| 0 | 0 | 0 | 399k| 0 | 0.000000e+00 | -- | Inf
1054.13/1054.52 c 1037s|540000 |248043 | 0 | 0.0 | 246M| 98 | - | 231 | 20k| 0 | 0 | 0 | 406k| 0 | 0.000000e+00 | -- | Inf
1081.73/1082.16 c 1065s|550000 |252682 | 0 | 0.0 | 251M| 98 | - | 231 | 20k| 0 | 0 | 0 | 414k| 0 | 0.000000e+00 | -- | Inf
1109.42/1109.87 c 1092s|560000 |257297 | 0 | 0.0 | 256M| 98 | - | 231 | 20k| 0 | 0 | 0 | 421k| 0 | 0.000000e+00 | -- | Inf
1137.11/1137.59 c 1120s|570000 |261800 | 0 | 0.0 | 261M| 98 | - | 231 | 21k| 0 | 0 | 0 | 429k| 0 | 0.000000e+00 | -- | Inf
1165.19/1165.69 c 1147s|580000 |266223 | 0 | 0.0 | 266M| 98 | - | 231 | 21k| 0 | 0 | 0 | 436k| 0 | 0.000000e+00 | -- | Inf
1193.29/1193.74 c 1175s|590000 |270615 | 0 | 0.0 | 271M| 98 | - | 231 | 21k| 0 | 0 | 0 | 444k| 0 | 0.000000e+00 | -- | Inf
1223.68/1224.17 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1223.68/1224.17 c 1205s|600000 |274486 | 0 | 0.0 | 276M| 98 | - | 231 | 22k| 0 | 0 | 0 | 452k| 0 | 0.000000e+00 | -- | Inf
1251.67/1252.13 c 1233s|610000 |278840 | 0 | 0.0 | 281M| 98 | - | 231 | 22k| 0 | 0 | 0 | 460k| 0 | 0.000000e+00 | -- | Inf
1283.55/1284.08 c 1264s|620000 |282515 | 0 | 0.0 | 285M| 98 | - | 231 | 22k| 0 | 0 | 0 | 468k| 0 | 0.000000e+00 | -- | Inf
1312.96/1313.41 c 1293s|630000 |286616 | 0 | 0.0 | 290M| 98 | - | 231 | 23k| 0 | 0 | 0 | 476k| 0 | 0.000000e+00 | -- | Inf
1340.64/1341.15 c 1321s|640000 |290992 | 0 | 0.0 | 295M| 98 | - | 231 | 23k| 0 | 0 | 0 | 484k| 0 | 0.000000e+00 | -- | Inf
1374.62/1375.17 c 1354s|650000 |294351 | 0 | 0.0 | 300M| 98 | - | 231 | 24k| 0 | 0 | 0 | 492k| 0 | 0.000000e+00 | -- | Inf
1406.02/1406.53 c 1385s|660000 |298140 | 0 | 0.0 | 305M| 98 | - | 231 | 24k| 0 | 0 | 0 | 501k| 0 | 0.000000e+00 | -- | Inf
1436.01/1436.50 c 1415s|670000 |302134 | 0 | 0.0 | 309M| 98 | - | 231 | 25k| 0 | 0 | 0 | 509k| 0 | 0.000000e+00 | -- | Inf
1472.00/1472.59 c 1451s|680000 |305210 | 0 | 0.0 | 314M| 98 | - | 231 | 25k| 0 | 0 | 0 | 518k| 0 | 0.000000e+00 | -- | Inf
1503.48/1504.06 c 1482s|690000 |309075 | 0 | 0.0 | 319M| 98 | - | 231 | 25k| 0 | 0 | 0 | 526k| 0 | 0.000000e+00 | -- | Inf
1536.77/1537.31 c 1515s|700000 |312553 | 0 | 0.0 | 324M| 98 | - | 231 | 26k| 0 | 0 | 0 | 535k| 0 | 0.000000e+00 | -- | Inf
1577.25/1577.89 c 1555s|710000 |315142 | 0 | 0.0 | 328M| 98 | - | 231 | 26k| 0 | 0 | 0 | 544k| 0 | 0.000000e+00 | -- | Inf
1611.05/1611.70 c 1589s|720000 |318627 | 0 | 0.0 | 333M| 98 | - | 231 | 26k| 0 | 0 | 0 | 553k| 0 | 0.000000e+00 | -- | Inf
1647.53/1648.13 c 1625s|730000 |321775 | 0 | 0.0 | 338M| 98 | - | 231 | 27k| 0 | 0 | 0 | 562k| 0 | 0.000000e+00 | -- | Inf
1689.91/1690.58 c 1667s|740000 |324109 | 0 | 0.0 | 342M| 98 | - | 231 | 28k| 0 | 0 | 0 | 573k| 0 | 0.000000e+00 | -- | Inf
1727.21/1727.84 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1727.21/1727.84 c 1704s|750000 |327177 | 0 | 0.0 | 347M| 98 | - | 231 | 28k| 0 | 0 | 0 | 582k| 0 | 0.000000e+00 | -- | Inf
1767.10/1767.72 c 1743s|760000 |329949 | 0 | 0.0 | 352M| 98 | - | 231 | 30k| 0 | 0 | 0 | 592k| 0 | 0.000000e+00 | -- | Inf
1800.10/1800.71 c pressed CTRL-C 1 times (5 times for forcing termination)
1800.10/1800.72 c
1800.10/1800.72 c SCIP Status : solving was interrupted [user interrupt]
1800.10/1800.72 c Solving Time (sec) : 1775.84
1800.10/1800.72 c Solving Nodes : 766471
1800.10/1800.72 c Primal Bound : +1.00000000000000e+20 (0 solutions)
1800.10/1800.72 c Dual Bound : +0.00000000000000e+00
1800.10/1800.72 c Gap : infinite
1800.10/1800.72 s UNKNOWN
1800.10/1800.72 c SCIP Status : solving was interrupted [user interrupt]
1800.10/1800.72 c Solving Time : 1775.84
1800.10/1800.72 c Original Problem :
1800.10/1800.72 c Problem name : HOME/instance-2664127-1276280973.opb
1800.10/1800.72 c Variables : 231 (231 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.10/1800.72 c Constraints : 2707 initial, 2707 maximal
1800.10/1800.72 c Presolved Problem :
1800.10/1800.72 c Problem name : t_HOME/instance-2664127-1276280973.opb
1800.10/1800.72 c Variables : 231 (231 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.10/1800.72 c Constraints : 2564 initial, 30622 maximal
1800.10/1800.72 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs
1800.10/1800.72 c trivial : 0.00 0 0 0 0 0 0 0 0
1800.10/1800.72 c dualfix : 0.00 0 0 0 0 0 0 0 0
1800.10/1800.72 c boundshift : 0.00 0 0 0 0 0 0 0 0
1800.10/1800.72 c inttobinary : 0.00 0 0 0 0 0 0 0 0
1800.10/1800.72 c implics : 0.00 0 0 0 0 0 0 0 0
1800.10/1800.72 c probing : 0.00 0 0 0 0 0 0 0 0
1800.10/1800.72 c knapsack : 0.00 0 0 0 0 0 0 0 0
1800.10/1800.72 c setppc : 0.00 0 0 0 0 0 0 0 0
1800.10/1800.72 c linear : 0.03 0 0 0 0 0 143 0 0
1800.10/1800.72 c logicor : 0.02 0 0 0 0 0 0 0 0
1800.10/1800.72 c root node : - 0 - - 0 - - - -
1800.10/1800.72 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children
1800.10/1800.72 c integral : 0 0 0 0 0 0 0 0 0 0
1800.10/1800.72 c knapsack : 1 0 2508473 0 610121 62770 7236394 0 0 0
1800.10/1800.72 c setppc : 22 0 2455742 0 610121 88650 2692045 0 0 0
1800.10/1800.72 c logicor : 2541+ 0 2064736 0 610119 107108 7389197 0 0 0
1800.10/1800.72 c countsols : 0 0 0 0 610106 0 0 0 0 0
1800.10/1800.72 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS
1800.10/1800.72 c integral : 0.00 0.00 0.00 0.00 0.00
1800.10/1800.72 c knapsack : 52.75 0.00 49.05 0.00 3.70
1800.10/1800.72 c setppc : 37.02 0.00 29.19 0.00 7.83
1800.10/1800.72 c logicor : 932.87 0.00 861.36 0.00 71.51
1800.10/1800.72 c countsols : 0.24 0.00 0.00 0.00 0.24
1800.10/1800.72 c Propagators : Time Calls Cutoffs DomReds
1800.10/1800.72 c vbounds : 1.44 1 0 0
1800.10/1800.72 c rootredcost : 1.41 0 0 0
1800.10/1800.72 c pseudoobj : 1.30 0 0 0
1800.10/1800.72 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1800.10/1800.72 c propagation : 17.87 258528 258429 1310276 20.1 8511 19.9 -
1800.10/1800.72 c infeasible LP : 0.00 0 0 0 0.0 0 0.0 0
1800.10/1800.72 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1800.10/1800.72 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1800.10/1800.72 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 -
1800.10/1800.72 c applied globally : - - - 594103 15.5 - - -
1800.10/1800.72 c applied locally : - - - 5374 35.3 - - -
1800.10/1800.72 c Separators : Time Calls Cutoffs DomReds Cuts Conss
1800.10/1800.72 c cut pool : 0.00 0 - - 0 - (maximal pool size: 0)
1800.10/1800.72 c redcost : 0.00 0 0 0 0 0
1800.10/1800.72 c impliedbounds : 0.00 0 0 0 0 0
1800.10/1800.72 c intobj : 0.00 0 0 0 0 0
1800.10/1800.72 c cgmip : 0.00 0 0 0 0 0
1800.10/1800.72 c gomory : 0.00 0 0 0 0 0
1800.10/1800.72 c strongcg : 0.00 0 0 0 0 0
1800.10/1800.72 c cmir : 0.00 0 0 0 0 0
1800.10/1800.72 c flowcover : 0.00 0 0 0 0 0
1800.10/1800.72 c clique : 0.00 0 0 0 0 0
1800.10/1800.72 c zerohalf : 0.00 0 0 0 0 0
1800.10/1800.72 c mcf : 0.00 0 0 0 0 0
1800.10/1800.72 c rapidlearning : 0.00 0 0 0 0 0
1800.10/1800.72 c Pricers : Time Calls Vars
1800.10/1800.72 c problem variables: 0.00 0 0
1800.10/1800.72 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
1800.10/1800.72 c relpscost : 0.00 0 0 0 0 0 0
1800.10/1800.72 c pscost : 0.00 0 0 0 0 0 0
1800.10/1800.72 c inference : 16.33 610106 0 0 0 0 1220212
1800.10/1800.72 c mostinf : 0.00 0 0 0 0 0 0
1800.10/1800.72 c leastinf : 0.00 0 0 0 0 0 0
1800.10/1800.72 c fullstrong : 0.00 0 0 0 0 0 0
1800.10/1800.72 c allfullstrong : 0.00 0 0 0 0 0 0
1800.10/1800.72 c random : 0.00 0 0 0 0 0 0
1800.10/1800.72 c Primal Heuristics : Time Calls Found
1800.10/1800.72 c LP solutions : 0.00 - 0
1800.10/1800.72 c pseudo solutions : 0.00 - 0
1800.10/1800.72 c trivial : 0.00 1 0
1800.10/1800.72 c simplerounding : 0.00 0 0
1800.10/1800.72 c zirounding : 0.00 0 0
1800.10/1800.72 c rounding : 0.00 0 0
1800.10/1800.72 c shifting : 0.00 0 0
1800.10/1800.72 c intshifting : 0.00 0 0
1800.10/1800.72 c oneopt : 0.00 0 0
1800.10/1800.72 c twoopt : 0.00 0 0
1800.10/1800.72 c fixandinfer : 0.00 0 0
1800.10/1800.72 c feaspump : 0.00 0 0
1800.10/1800.72 c coefdiving : 0.00 0 0
1800.10/1800.72 c pscostdiving : 0.00 0 0
1800.10/1800.72 c fracdiving : 0.00 0 0
1800.10/1800.72 c veclendiving : 0.00 0 0
1800.10/1800.72 c intdiving : 0.00 0 0
1800.10/1800.72 c actconsdiving : 0.00 0 0
1800.10/1800.72 c objpscostdiving : 0.00 0 0
1800.10/1800.72 c rootsoldiving : 0.00 0 0
1800.10/1800.72 c linesearchdiving : 0.00 0 0
1800.10/1800.72 c guideddiving : 0.00 0 0
1800.10/1800.72 c octane : 0.00 0 0
1800.10/1800.72 c rens : 0.00 0 0
1800.10/1800.72 c rins : 0.00 0 0
1800.10/1800.72 c localbranching : 0.00 0 0
1800.10/1800.72 c mutation : 0.00 0 0
1800.10/1800.72 c crossover : 0.00 0 0
1800.10/1800.72 c dins : 0.00 0 0
1800.10/1800.72 c undercover : 0.00 0 0
1800.10/1800.72 c nlp : 0.00 0 0
1800.10/1800.72 c trysol : 0.00 0 0
1800.10/1800.72 c LP : Time Calls Iterations Iter/call Iter/sec
1800.10/1800.72 c primal LP : 0.00 0 0 0.00 -
1800.10/1800.72 c dual LP : 0.00 0 0 0.00 -
1800.10/1800.72 c lex dual LP : 0.00 0 0 0.00 -
1800.10/1800.72 c barrier LP : 0.00 0 0 0.00 -
1800.10/1800.72 c diving/probing LP: 0.00 0 0 0.00 -
1800.10/1800.72 c strong branching : 0.00 0 0 0.00 -
1800.10/1800.72 c (at root node) : - 0 0 0.00 -
1800.10/1800.72 c conflict analysis: 0.00 0 0 0.00 -
1800.10/1800.72 c B&B Tree :
1800.10/1800.72 c number of runs : 1
1800.10/1800.72 c nodes : 766471
1800.10/1800.72 c nodes (total) : 766471
1800.10/1800.72 c nodes left : 330784
1800.10/1800.72 c max depth : 98
1800.10/1800.72 c max depth (total): 98
1800.10/1800.72 c backtracks : 162596 (21.2%)
1800.10/1800.72 c delayed cutoffs : 122958
1800.10/1800.72 c repropagations : 511289 (5696899 domain reductions, 102163 cutoffs)
1800.10/1800.72 c avg switch length: 12.76
1800.10/1800.72 c switching time : 479.14
1800.10/1800.72 c Solution :
1800.10/1800.72 c Solutions found : 0 (0 improvements)
1800.10/1800.72 c Primal Bound : -
1800.10/1800.72 c Dual Bound : +0.00000000000000e+00
1800.10/1800.72 c Gap : infinite
1800.10/1800.72 c Root Dual Bound : +0.00000000000000e+00
1800.10/1800.72 c Root Iterations : 0
1801.48/1802.17 c Time complete: 1801.56.
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-2664127-1276280973/watcher-2664127-1276280973 -o /tmp/evaluation-result-2664127-1276280973/solver-2664127-1276280973 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt.none -f HOME/instance-2664127-1276280973.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.07 1.02 1.00 3/106 5615 /proc/meminfo: memFree=1568124/2059040 swapFree=4192956/4192956 [pid=5615] ppid=5613 vsize=6584 CPUtime=0 /proc/5615/stat : 5615 (pbscip.linux.x8) R 5613 5615 5075 0 -1 4202496 1009 0 0 0 0 0 0 0 20 0 1 0 3700792 6742016 932 1992294400 4194304 7136930 140737361430256 18446744073709551615 6346613 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/5615/statm: 1646 940 254 719 0 925 0 [startup+0.031728 s] /proc/loadavg: 1.07 1.02 1.00 3/106 5615 /proc/meminfo: memFree=1568124/2059040 swapFree=4192956/4192956 [pid=5615] ppid=5613 vsize=8688 CPUtime=0.02 /proc/5615/stat : 5615 (pbscip.linux.x8) R 5613 5615 5075 0 -1 4202496 1643 0 0 0 2 0 0 0 20 0 1 0 3700792 8896512 1566 1992294400 4194304 7136930 140737361430256 18446744073709551615 6346613 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/5615/statm: 2172 1566 268 719 0 1451 0 Current children cumulated CPU time (s) 0.02 Current children cumulated vsize (KiB) 8688 [startup+0.10074 s] /proc/loadavg: 1.07 1.02 1.00 3/106 5615 /proc/meminfo: memFree=1568124/2059040 swapFree=4192956/4192956 [pid=5615] ppid=5613 vsize=14768 CPUtime=0.09 /proc/5615/stat : 5615 (pbscip.linux.x8) R 5613 5615 5075 0 -1 4202496 3599 0 0 0 8 1 0 0 20 0 1 0 3700792 15122432 2911 1992294400 4194304 7136930 140737361430256 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/5615/statm: 3692 2911 345 719 0 2971 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 14768 [startup+0.300777 s] /proc/loadavg: 1.07 1.02 1.00 3/106 5615 /proc/meminfo: memFree=1568124/2059040 swapFree=4192956/4192956 [pid=5615] ppid=5613 vsize=17080 CPUtime=0.29 /proc/5615/stat : 5615 (pbscip.linux.x8) R 5613 5615 5075 0 -1 4202496 6815 0 0 0 26 3 0 0 20 0 1 0 3700792 17489920 3557 1992294400 4194304 7136930 140737361430256 18446744073709551615 4697680 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/5615/statm: 4270 3557 391 719 0 3549 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 17080 [startup+0.700849 s] /proc/loadavg: 1.07 1.02 1.00 3/106 5615 /proc/meminfo: memFree=1568124/2059040 swapFree=4192956/4192956 [pid=5615] ppid=5613 vsize=18004 CPUtime=0.69 /proc/5615/stat : 5615 (pbscip.linux.x8) R 5613 5615 5075 0 -1 4202496 7026 0 0 0 63 6 0 0 21 0 1 0 3700792 18436096 3768 1992294400 4194304 7136930 140737361430256 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/5615/statm: 4501 3768 391 719 0 3780 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 18004 [startup+1.50099 s] /proc/loadavg: 1.07 1.02 1.00 2/107 5616 /proc/meminfo: memFree=1553732/2059040 swapFree=4192956/4192956 [pid=5615] ppid=5613 vsize=19100 CPUtime=1.49 /proc/5615/stat : 5615 (pbscip.linux.x8) R 5613 5615 5075 0 -1 4202496 7316 0 0 0 138 11 0 0 23 0 1 0 3700792 19558400 4058 1992294400 4194304 7136930 140737361430256 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/5615/statm: 4775 4058 391 719 0 4054 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 19100 [startup+3.10028 s] /proc/loadavg: 1.06 1.02 1.00 2/107 5616 /proc/meminfo: memFree=1551624/2059040 swapFree=4192956/4192956 [pid=5615] ppid=5613 vsize=21384 CPUtime=3.09 /proc/5615/stat : 5615 (pbscip.linux.x8) R 5613 5615 5075 0 -1 4202496 7910 0 0 0 290 19 0 0 25 0 1 0 3700792 21897216 4652 1992294400 4194304 7136930 140737361430256 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/5615/statm: 5346 4652 391 719 0 4625 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 21384 [startup+6.30086 s] /proc/loadavg: 1.06 1.02 1.00 2/107 5616 /proc/meminfo: memFree=1547160/2059040 swapFree=4192956/4192956 [pid=5615] ppid=5613 vsize=26100 CPUtime=6.29 /proc/5615/stat : 5615 (pbscip.linux.x8) R 5613 5615 5075 0 -1 4202496 9083 0 0 0 592 37 0 0 25 0 1 0 3700792 26726400 5825 1992294400 4194304 7136930 140737361430256 18446744073709551615 4999837 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/5615/statm: 6525 5825 391 719 0 5804 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 26100 [startup+12.702 s] /proc/loadavg: 1.05 1.01 1.00 2/107 5616 /proc/meminfo: memFree=1540216/2059040 swapFree=4192956/4192956 [pid=5615] ppid=5613 vsize=32800 CPUtime=12.69 /proc/5615/stat : 5615 (pbscip.linux.x8) R 5613 5615 5075 0 -1 4202496 10799 0 0 0 1204 65 0 0 25 0 1 0 3700792 33587200 7541 1992294400 4194304 7136930 140737361430256 18446744073709551615 5005155 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/5615/statm: 8200 7541 391 719 0 7479 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 32800 [startup+25.5013 s] /proc/loadavg: 1.04 1.01 1.00 2/107 5616 /proc/meminfo: memFree=1525584/2059040 swapFree=4192956/4192956 [pid=5615] ppid=5613 vsize=45944 CPUtime=25.48 /proc/5615/stat : 5615 (pbscip.linux.x8) R 5613 5615 5075 0 -1 4202496 14145 0 0 0 2427 121 0 0 25 0 1 0 3700792 47046656 10887 1992294400 4194304 7136930 140737361430256 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/5615/statm: 11486 10887 391 719 0 10765 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 45944 [startup+51.101 s] /proc/loadavg: 1.03 1.01 1.00 2/107 5616 /proc/meminfo: memFree=1505372/2059040 swapFree=4192956/4192956 [pid=5615] ppid=5613 vsize=66112 CPUtime=51.07 /proc/5615/stat : 5615 (pbscip.linux.x8) R 5613 5615 5075 0 -1 4202496 19262 0 0 0 4900 207 0 0 25 0 1 0 3700792 67698688 16004 1992294400 4194304 7136930 140737361430256 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/5615/statm: 16528 16004 391 719 0 15807 0 Current children cumulated CPU time (s) 51.07 Current children cumulated vsize (KiB) 66112 [startup+102.308 s] /proc/loadavg: 1.01 1.01 1.00 2/107 5618 /proc/meminfo: memFree=1479084/2059040 swapFree=4192956/4192956 [pid=5615] ppid=5613 vsize=93688 CPUtime=102.26 /proc/5615/stat : 5615 (pbscip.linux.x8) R 5613 5615 5075 0 -1 4202496 25665 0 0 0 9904 322 0 0 25 0 1 0 3700792 95936512 22407 1992294400 4194304 7136930 140737361430256 18446744073709551615 4999837 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/5615/statm: 23422 22407 391 719 0 22701 0 Current children cumulated CPU time (s) 102.26 Current children cumulated vsize (KiB) 93688 [startup+162.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 5620 /proc/meminfo: memFree=1453044/2059040 swapFree=4192956/4192956 [pid=5615] ppid=5613 vsize=119712 CPUtime=162.23 /proc/5615/stat : 5615 (pbscip.linux.x8) R 5613 5615 5075 0 -1 4202496 32198 0 0 0 15764 459 0 0 25 0 1 0 3700792 122585088 28940 1992294400 4194304 7136930 140737361430256 18446744073709551615 4999862 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/5615/statm: 29928 28940 391 719 0 29207 0 Current children cumulated CPU time (s) 162.23 Current children cumulated vsize (KiB) 119712 [startup+222.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 5622 /proc/meminfo: memFree=1424152/2059040 swapFree=4192956/4192956 [pid=5615] ppid=5613 vsize=147804 CPUtime=222.22 /proc/5615/stat : 5615 (pbscip.linux.x8) R 5613 5615 5075 0 -1 4202496 39328 0 0 0 21620 602 0 0 25 0 1 0 3700792 151351296 36070 1992294400 4194304 7136930 140737361430256 18446744073709551615 4210607 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/5615/statm: 36951 36070 391 719 0 36230 0 Current children cumulated CPU time (s) 222.22 Current children cumulated vsize (KiB) 147804 [startup+282.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 5624 /proc/meminfo: memFree=1396004/2059040 swapFree=4192956/4192956 [pid=5615] ppid=5613 vsize=175816 CPUtime=282.2 /proc/5615/stat : 5615 (pbscip.linux.x8) R 5613 5615 5075 0 -1 4202496 46359 0 0 0 27491 729 0 0 25 0 1 0 3700792 180035584 43101 1992294400 4194304 7136930 140737361430256 18446744073709551615 4999862 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/5615/statm: 43954 43101 391 719 0 43233 0 Current children cumulated CPU time (s) 282.2 Current children cumulated vsize (KiB) 175816 [startup+342.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 5624 /proc/meminfo: memFree=1373436/2059040 swapFree=4192956/4192956 [pid=5615] ppid=5613 vsize=197972 CPUtime=342.18 /proc/5615/stat : 5615 (pbscip.linux.x8) R 5613 5615 5075 0 -1 4202496 51961 0 0 0 33377 841 0 0 25 0 1 0 3700792 202723328 48703 1992294400 4194304 7136930 140737361430256 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/5615/statm: 49493 48703 391 719 0 48772 0 Current children cumulated CPU time (s) 342.18 Current children cumulated vsize (KiB) 197972 [startup+402.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 5626 /proc/meminfo: memFree=1357688/2059040 swapFree=4192956/4192956 [pid=5615] ppid=5613 vsize=217412 CPUtime=402.16 /proc/5615/stat : 5615 (pbscip.linux.x8) R 5613 5615 5075 0 -1 4202496 55862 0 0 0 39281 935 0 0 25 0 1 0 3700792 222629888 52604 1992294400 4194304 7136930 140737361430256 18446744073709551615 4999867 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/5615/statm: 54353 52604 391 719 0 53632 0 Current children cumulated CPU time (s) 402.16 Current children cumulated vsize (KiB) 217412 [startup+462.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 5628 /proc/meminfo: memFree=1344296/2059040 swapFree=4192956/4192956 [pid=5615] ppid=5613 vsize=230620 CPUtime=462.13 /proc/5615/stat : 5615 (pbscip.linux.x8) R 5613 5615 5075 0 -1 4202496 59185 0 0 0 45183 1030 0 0 25 0 1 0 3700792 236154880 55927 1992294400 4194304 7136930 140737361430256 18446744073709551615 6166364 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/5615/statm: 57655 55927 391 719 0 56934 0 Current children cumulated CPU time (s) 462.13 Current children cumulated vsize (KiB) 230620 [startup+522.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 5630 /proc/meminfo: memFree=1326564/2059040 swapFree=4192956/4192956 [pid=5615] ppid=5613 vsize=248304 CPUtime=522.12 /proc/5615/stat : 5615 (pbscip.linux.x8) R 5613 5615 5075 0 -1 4202496 63601 0 0 0 51094 1118 0 0 25 0 1 0 3700792 254263296 60343 1992294400 4194304 7136930 140737361430256 18446744073709551615 4210588 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/5615/statm: 62076 60343 391 719 0 61355 0 Current children cumulated CPU time (s) 522.12 Current children cumulated vsize (KiB) 248304 [startup+582.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 5632 /proc/meminfo: memFree=1315156/2059040 swapFree=4192956/4192956 [pid=5615] ppid=5613 vsize=259756 CPUtime=582.09 /proc/5615/stat : 5615 (pbscip.linux.x8) R 5613 5615 5075 0 -1 4202496 66441 0 0 0 57014 1195 0 0 25 0 1 0 3700792 265990144 63183 1992294400 4194304 7136930 140737361430256 18446744073709551615 4999862 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/5615/statm: 64939 63183 391 719 0 64218 0 Current children cumulated CPU time (s) 582.09 Current children cumulated vsize (KiB) 259756 [startup+642.302 s] /proc/loadavg: 1.00 1.00 1.00 2/107 5632 /proc/meminfo: memFree=1301764/2059040 swapFree=4192956/4192956 [pid=5615] ppid=5613 vsize=273168 CPUtime=642.08 /proc/5615/stat : 5615 (pbscip.linux.x8) R 5613 5615 5075 0 -1 4202496 69743 0 0 0 62945 1263 0 0 25 0 1 0 3700792 279724032 66485 1992294400 4194304 7136930 140737361430256 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/5615/statm: 68292 66485 391 719 0 67571 0 Current children cumulated CPU time (s) 642.08 Current children cumulated vsize (KiB) 273168 [startup+702.301 s] ################ # More data... # ################ [startup+1062.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 5644 /proc/meminfo: memFree=1258116/2059040 swapFree=4192956/4192956 [pid=5615] ppid=5613 vsize=316220 CPUtime=1061.93 /proc/5615/stat : 5615 (pbscip.linux.x8) R 5613 5615 5075 0 -1 4202496 80541 0 0 0 104521 1672 0 0 25 0 1 0 3700792 323809280 77283 1992294400 4194304 7136930 140737361430256 18446744073709551615 4999837 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/5615/statm: 79055 77283 391 719 0 78334 0 Current children cumulated CPU time (s) 1061.93 Current children cumulated vsize (KiB) 316220 [startup+1122.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 5646 /proc/meminfo: memFree=1248816/2059040 swapFree=4192956/4192956 [pid=5615] ppid=5613 vsize=325596 CPUtime=1121.92 /proc/5615/stat : 5615 (pbscip.linux.x8) R 5613 5615 5075 0 -1 4202496 82952 0 0 0 110449 1743 0 0 25 0 1 0 3700792 333410304 79694 1992294400 4194304 7136930 140737361430256 18446744073709551615 4210588 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/5615/statm: 81399 79694 391 719 0 80678 0 Current children cumulated CPU time (s) 1121.92 Current children cumulated vsize (KiB) 325596 [startup+1182.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 5648 /proc/meminfo: memFree=1234928/2059040 swapFree=4192956/4192956 [pid=5615] ppid=5613 vsize=339012 CPUtime=1181.89 /proc/5615/stat : 5615 (pbscip.linux.x8) R 5613 5615 5075 0 -1 4202496 86309 0 0 0 116379 1810 0 0 25 0 1 0 3700792 347148288 83051 1992294400 4194304 7136930 140737361430256 18446744073709551615 4661061 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/5615/statm: 84753 83051 391 719 0 84032 0 Current children cumulated CPU time (s) 1181.89 Current children cumulated vsize (KiB) 339012 [startup+1242.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 5648 /proc/meminfo: memFree=1225256/2059040 swapFree=4192956/4192956 [pid=5615] ppid=5613 vsize=348536 CPUtime=1241.87 /proc/5615/stat : 5615 (pbscip.linux.x8) R 5613 5615 5075 0 -1 4202496 88686 0 0 0 122313 1874 0 0 25 0 1 0 3700792 356900864 85428 1992294400 4194304 7136930 140737361430256 18446744073709551615 5955580 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/5615/statm: 87134 85428 391 719 0 86413 0 Current children cumulated CPU time (s) 1241.87 Current children cumulated vsize (KiB) 348536 [startup+1302.3 s] /proc/loadavg: 1.00 1.00 1.00 3/107 5650 /proc/meminfo: memFree=1216080/2059040 swapFree=4192956/4192956 [pid=5615] ppid=5613 vsize=357540 CPUtime=1301.86 /proc/5615/stat : 5615 (pbscip.linux.x8) R 5613 5615 5075 0 -1 4202496 90974 0 0 0 128245 1941 0 0 25 0 1 0 3700792 366120960 87716 1992294400 4194304 7136930 140737361430256 18446744073709551615 4210588 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/5615/statm: 89385 87716 391 719 0 88664 0 Current children cumulated CPU time (s) 1301.86 Current children cumulated vsize (KiB) 357540 [startup+1362.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 5652 /proc/meminfo: memFree=1203928/2059040 swapFree=4192956/4192956 [pid=5615] ppid=5613 vsize=369592 CPUtime=1361.83 /proc/5615/stat : 5615 (pbscip.linux.x8) R 5613 5615 5075 0 -1 4202496 94017 0 0 0 134179 2004 0 0 25 0 1 0 3700792 378462208 90759 1992294400 4194304 7136930 140737361430256 18446744073709551615 4219859 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/5615/statm: 92398 90759 391 719 0 91677 0 Current children cumulated CPU time (s) 1361.83 Current children cumulated vsize (KiB) 369592 [startup+1422.31 s] /proc/loadavg: 1.00 1.00 1.00 2/107 5654 /proc/meminfo: memFree=1194628/2059040 swapFree=4192956/4192956 [pid=5615] ppid=5613 vsize=378784 CPUtime=1421.82 /proc/5615/stat : 5615 (pbscip.linux.x8) R 5613 5615 5075 0 -1 4202496 96299 0 0 0 140112 2070 0 0 25 0 1 0 3700792 387874816 93041 1992294400 4194304 7136930 140737361430256 18446744073709551615 5000300 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/5615/statm: 94696 93041 391 719 0 93975 0 Current children cumulated CPU time (s) 1421.82 Current children cumulated vsize (KiB) 378784 [startup+1482.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 5656 /proc/meminfo: memFree=1190164/2059040 swapFree=4192956/4192956 [pid=5615] ppid=5613 vsize=383428 CPUtime=1481.79 /proc/5615/stat : 5615 (pbscip.linux.x8) R 5613 5615 5075 0 -1 4202496 97424 0 0 0 146048 2131 0 0 25 0 1 0 3700792 392630272 94166 1992294400 4194304 7136930 140737361430256 18446744073709551615 4999862 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/5615/statm: 95857 94166 391 719 0 95136 0 Current children cumulated CPU time (s) 1481.79 Current children cumulated vsize (KiB) 383428 [startup+1542.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 5656 /proc/meminfo: memFree=1179624/2059040 swapFree=4192956/4192956 [pid=5615] ppid=5613 vsize=393648 CPUtime=1541.77 /proc/5615/stat : 5615 (pbscip.linux.x8) R 5613 5615 5075 0 -1 4202496 100007 0 0 0 151989 2188 0 0 25 0 1 0 3700792 403095552 96749 1992294400 4194304 7136930 140737361430256 18446744073709551615 4999837 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/5615/statm: 98412 96749 391 719 0 97691 0 Current children cumulated CPU time (s) 1541.77 Current children cumulated vsize (KiB) 393648 [startup+1602.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 5658 /proc/meminfo: memFree=1169332/2059040 swapFree=4192956/4192956 [pid=5615] ppid=5613 vsize=403492 CPUtime=1601.75 /proc/5615/stat : 5615 (pbscip.linux.x8) R 5613 5615 5075 0 -1 4202496 102545 0 0 0 157928 2247 0 0 25 0 1 0 3700792 413175808 99287 1992294400 4194304 7136930 140737361430256 18446744073709551615 4999862 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/5615/statm: 100873 99287 391 719 0 100152 0 Current children cumulated CPU time (s) 1601.75 Current children cumulated vsize (KiB) 403492 [startup+1662.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 5660 /proc/meminfo: memFree=1161272/2059040 swapFree=4192956/4192956 [pid=5615] ppid=5613 vsize=411628 CPUtime=1661.73 /proc/5615/stat : 5615 (pbscip.linux.x8) R 5613 5615 5075 0 -1 4202496 104568 0 0 0 163873 2300 0 0 25 0 1 0 3700792 421507072 101310 1992294400 4194304 7136930 140737361430256 18446744073709551615 6123172 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/5615/statm: 102907 101310 391 719 0 102186 0 Current children cumulated CPU time (s) 1661.73 Current children cumulated vsize (KiB) 411628 [startup+1722.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 5662 /proc/meminfo: memFree=1151104/2059040 swapFree=4192956/4192956 [pid=5615] ppid=5613 vsize=421556 CPUtime=1721.71 /proc/5615/stat : 5615 (pbscip.linux.x8) R 5613 5615 5075 0 -1 4202496 107095 0 0 0 169817 2354 0 0 25 0 1 0 3700792 431673344 103837 1992294400 4194304 7136930 140737361430256 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/5615/statm: 105389 103837 391 719 0 104668 0 Current children cumulated CPU time (s) 1721.71 Current children cumulated vsize (KiB) 421556 [startup+1782.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 5664 /proc/meminfo: memFree=1144656/2059040 swapFree=4192956/4192956 [pid=5615] ppid=5613 vsize=427992 CPUtime=1781.69 /proc/5615/stat : 5615 (pbscip.linux.x8) R 5613 5615 5075 0 -1 4202496 108675 0 0 0 175763 2406 0 0 25 0 1 0 3700792 438263808 105417 1992294400 4194304 7136930 140737361430256 18446744073709551615 4999862 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/5615/statm: 106998 105417 391 719 0 106277 0 Current children cumulated CPU time (s) 1781.69 Current children cumulated vsize (KiB) 427992 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.71 s] /proc/loadavg: 1.00 1.00 1.00 2/107 5664 /proc/meminfo: memFree=1142672/2059040 swapFree=4192956/4192956 [pid=5615] ppid=5613 vsize=430008 CPUtime=1800.1 /proc/5615/stat : 5615 (pbscip.linux.x8) R 5613 5615 5075 0 -1 4202496 109164 0 0 0 177588 2422 0 0 25 0 1 0 3700792 440328192 105906 1992294400 4194304 7136930 140737361430256 18446744073709551615 4999811 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/5615/statm: 107502 105906 391 719 0 106781 0 Current children cumulated CPU time (s) 1800.1 Current children cumulated vsize (KiB) 430008 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 5664 /proc/meminfo: memFree=1142672/2059040 swapFree=4192956/4192956 [pid=5615] ppid=5613 vsize=430160 CPUtime=1800.78 /proc/5615/stat : 5615 (pbscip.linux.x8) R 5613 5615 5075 0 -1 4202496 109203 0 0 0 177656 2422 0 0 25 0 1 0 3700792 440483840 105945 1992294400 4194304 7136930 140737361430256 18446744073709551615 4212183 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/5615/statm: 107540 105945 396 719 0 106819 0 Current children cumulated CPU time (s) 1800.78 Current children cumulated vsize (KiB) 430160 [startup+1801.81 s] /proc/loadavg: 1.00 1.00 1.00 2/108 5665 /proc/meminfo: memFree=1142540/2059040 swapFree=4192956/4192956 [pid=5615] ppid=5613 vsize=429136 CPUtime=1801.19 /proc/5615/stat : 5615 (pbscip.linux.x8) R 5613 5615 5075 0 -1 4202496 109203 0 0 0 177697 2422 0 0 25 0 1 0 3700792 439435264 105689 1992294400 4194304 7136930 140737361430256 18446744073709551615 4670081 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/5615/statm: 107284 105689 396 719 0 106563 0 Current children cumulated CPU time (s) 1801.19 Current children cumulated vsize (KiB) 429136 [startup+1802 s] /proc/loadavg: 1.00 1.00 1.00 2/108 5665 /proc/meminfo: memFree=1142540/2059040 swapFree=4192956/4192956 [pid=5615] ppid=5613 vsize=428964 CPUtime=1801.38 /proc/5615/stat : 5615 (pbscip.linux.x8) R 5613 5615 5075 0 -1 4202496 109203 0 0 0 177716 2422 0 0 25 0 1 0 3700792 439259136 105646 1992294400 4194304 7136930 140737361430256 18446744073709551615 4670079 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/5615/statm: 107241 105646 396 719 0 106520 0 Current children cumulated CPU time (s) 1801.38 Current children cumulated vsize (KiB) 428964 [startup+1802.1 s] /proc/loadavg: 1.00 1.00 1.00 2/108 5665 /proc/meminfo: memFree=1142540/2059040 swapFree=4192956/4192956 [pid=5615] ppid=5613 vsize=408112 CPUtime=1801.48 /proc/5615/stat : 5615 (pbscip.linux.x8) R 5613 5615 5075 0 -1 4202496 109203 0 0 0 177726 2422 0 0 25 0 1 0 3700792 417906688 100433 1992294400 4194304 7136930 140737361430256 18446744073709551615 6165646 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/5615/statm: 102028 100433 396 719 0 101307 0 Current children cumulated CPU time (s) 1801.48 Current children cumulated vsize (KiB) 408112 Child status: 0 Real time (s): 1802.18 CPU time (s): 1801.57 CPU user time (s): 1777.29 CPU system time (s): 24.2723 CPU usage (%): 99.9661 Max. virtual memory (cumulated for all children) (KiB): 430160 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1777.29 system time used= 24.2723 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 109210 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= 4222 runsolver used 3.13452 second user time and 8.36073 second system time The end
Begin job on node007 at 2010-06-11 20:29:33 IDJOB=2664127 IDBENCH=1272 IDSOLVER=1167 FILE ID=node007/2664127-1276280973 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.1900574864.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-2664127-1276280973/watcher-2664127-1276280973 -o /tmp/evaluation-result-2664127-1276280973/solver-2664127-1276280973 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt.none -f HOME/instance-2664127-1276280973.opb -t 1800 -m 1800 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= 58a39490a0f04cc377ab2aa6882fd7a1 RANDOM SEED=352603010 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: 1568528 kB Buffers: 53656 kB Cached: 310540 kB SwapCached: 0 kB Active: 173088 kB Inactive: 250392 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2059040 kB LowFree: 1568528 kB SwapTotal: 4192956 kB SwapFree: 4192956 kB Dirty: 3352 kB Writeback: 0 kB AnonPages: 59228 kB Mapped: 15484 kB Slab: 45236 kB PageTables: 3976 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 5222476 kB Committed_AS: 180672 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 20:59:36