| Solver Name | Answer | CPU time | Wall clock time |
|---|---|---|---|
| SCIPnone SCIP 1.2.1.2 without any LP solver | ? (TO) | 1800.73 | 1801.23 |
| Name | normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/ namasivayam/tsp/normalized-t3002.11tsp11.1900563801.opb |
| MD5SUM | c0dce06d795e831bf046e609ad2fb3fd |
| 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 | 6.93994 |
| 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 | 719 |
| 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-2664434-1276303068.opb>
0.01/0.05 c original problem has 231 variables (231 bin, 0 int, 0 impl, 0 cont) and 2707 constraints
0.01/0.05 c problem read
0.01/0.05 c No objective function, only one solution is needed.
0.01/0.05 c presolving settings loaded
0.01/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.01/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.96
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.40/4.48 c 4.2s| 10000 | 7590 | 0 | 0.0 |7548k| 94 | - | 231 |4762 | 0 | 0 | 0 |3210 | 0 | 0.000000e+00 | -- | Inf
9.99/10.01 c 9.5s| 20000 | 14604 | 0 | 0.0 | 12M| 94 | - | 231 |5696 | 0 | 0 | 0 |6866 | 0 | 0.000000e+00 | -- | Inf
15.19/15.26 c 14.5s| 30000 | 22371 | 0 | 0.0 | 16M| 94 | - | 231 |6455 | 0 | 0 | 0 |9732 | 0 | 0.000000e+00 | -- | Inf
21.49/21.50 c 20.5s| 40000 | 29496 | 0 | 0.0 | 21M| 94 | - | 231 |7297 | 0 | 0 | 0 | 13k| 0 | 0.000000e+00 | -- | Inf
28.98/29.02 c 27.8s| 50000 | 36028 | 0 | 0.0 | 26M| 94 | - | 231 |8233 | 0 | 0 | 0 | 17k| 0 | 0.000000e+00 | -- | Inf
40.48/40.51 c 38.9s| 60000 | 40604 | 0 | 0.0 | 31M| 94 | - | 231 | 10k| 0 | 0 | 0 | 24k| 0 | 0.000000e+00 | -- | Inf
56.08/56.16 c 54.2s| 70000 | 44124 | 0 | 0.0 | 37M| 94 | - | 231 | 11k| 0 | 0 | 0 | 33k| 0 | 0.000000e+00 | -- | Inf
73.27/73.32 c 71.1s| 80000 | 47478 | 0 | 0.0 | 41M| 94 | - | 231 | 11k| 0 | 0 | 0 | 41k| 0 | 0.000000e+00 | -- | Inf
84.17/84.25 c 81.7s| 90000 | 54136 | 0 | 0.0 | 46M| 94 | - | 231 | 11k| 0 | 0 | 0 | 46k| 0 | 0.000000e+00 | -- | Inf
95.37/95.41 c 92.6s|100000 | 60545 | 0 | 0.0 | 50M| 94 | - | 231 | 11k| 0 | 0 | 0 | 51k| 0 | 0.000000e+00 | -- | Inf
108.37/108.41 c 105s|110000 | 66156 | 0 | 0.0 | 55M| 94 | - | 231 | 11k| 0 | 0 | 0 | 56k| 0 | 0.000000e+00 | -- | Inf
122.46/122.58 c 119s|120000 | 71434 | 0 | 0.0 | 60M| 94 | - | 231 | 12k| 0 | 0 | 0 | 62k| 0 | 0.000000e+00 | -- | Inf
138.56/138.66 c 135s|130000 | 76093 | 0 | 0.0 | 65M| 94 | - | 231 | 12k| 0 | 0 | 0 | 69k| 0 | 0.000000e+00 | -- | Inf
155.85/155.98 c 152s|140000 | 80426 | 0 | 0.0 | 70M| 94 | - | 231 | 13k| 0 | 0 | 0 | 76k| 0 | 0.000000e+00 | -- | Inf
174.25/174.37 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
174.25/174.37 c 170s|150000 | 84616 | 0 | 0.0 | 75M| 94 | - | 231 | 14k| 0 | 0 | 0 | 83k| 0 | 0.000000e+00 | -- | Inf
193.94/194.03 c 189s|160000 | 88603 | 0 | 0.0 | 80M| 94 | - | 231 | 15k| 0 | 0 | 0 | 91k| 0 | 0.000000e+00 | -- | Inf
215.64/215.70 c 211s|170000 | 92099 | 0 | 0.0 | 86M| 94 | - | 231 | 15k| 0 | 0 | 0 | 99k| 0 | 0.000000e+00 | -- | Inf
237.83/237.91 c 233s|180000 | 95559 | 0 | 0.0 | 91M| 94 | - | 231 | 16k| 0 | 0 | 0 | 108k| 0 | 0.000000e+00 | -- | Inf
261.52/261.62 c 256s|190000 | 98673 | 0 | 0.0 | 96M| 94 | - | 231 | 17k| 0 | 0 | 0 | 116k| 0 | 0.000000e+00 | -- | Inf
287.32/287.46 c 281s|200000 |101449 | 0 | 0.0 | 101M| 94 | - | 231 | 17k| 0 | 0 | 0 | 126k| 0 | 0.000000e+00 | -- | Inf
314.51/314.61 c 308s|210000 |103870 | 0 | 0.0 | 106M| 94 | - | 231 | 18k| 0 | 0 | 0 | 135k| 0 | 0.000000e+00 | -- | Inf
342.89/343.01 c 336s|220000 |106081 | 0 | 0.0 | 111M| 94 | - | 231 | 18k| 0 | 0 | 0 | 145k| 0 | 0.000000e+00 | -- | Inf
373.49/373.65 c 366s|230000 |107779 | 0 | 0.0 | 115M| 94 | - | 231 | 19k| 0 | 0 | 0 | 156k| 0 | 0.000000e+00 | -- | Inf
407.28/407.44 c 400s|240000 |108894 | 0 | 0.0 | 119M| 94 | - | 231 | 20k| 0 | 0 | 0 | 168k| 0 | 0.000000e+00 | -- | Inf
444.67/444.87 c 437s|250000 |109373 | 0 | 0.0 | 122M| 94 | - | 231 | 20k| 0 | 0 | 0 | 181k| 0 | 0.000000e+00 | -- | Inf
484.36/484.60 c 476s|260000 |109398 | 0 | 0.0 | 125M| 94 | - | 231 | 20k| 0 | 0 | 0 | 195k| 0 | 0.000000e+00 | -- | Inf
526.45/526.69 c 518s|270000 |109128 | 0 | 0.0 | 126M| 94 | - | 231 | 20k| 0 | 0 | 0 | 207k| 0 | 0.000000e+00 | -- | Inf
556.64/556.81 c 548s|280000 |112953 | 0 | 0.0 | 131M| 94 | - | 231 | 20k| 0 | 0 | 0 | 216k| 0 | 0.000000e+00 | -- | Inf
585.94/586.11 c 577s|290000 |116694 | 0 | 0.0 | 135M| 94 | - | 231 | 19k| 0 | 0 | 0 | 225k| 0 | 0.000000e+00 | -- | Inf
616.13/616.38 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
616.13/616.38 c 607s|300000 |120291 | 0 | 0.0 | 139M| 94 | - | 231 | 18k| 0 | 0 | 0 | 235k| 0 | 0.000000e+00 | -- | Inf
646.02/646.27 c 636s|310000 |123699 | 0 | 0.0 | 143M| 94 | - | 231 | 18k| 0 | 0 | 0 | 244k| 0 | 0.000000e+00 | -- | Inf
674.81/675.07 c 665s|320000 |127257 | 0 | 0.0 | 147M| 94 | - | 231 | 18k| 0 | 0 | 0 | 253k| 0 | 0.000000e+00 | -- | Inf
706.81/707.02 c 696s|330000 |130097 | 0 | 0.0 | 151M| 94 | - | 231 | 18k| 0 | 0 | 0 | 263k| 0 | 0.000000e+00 | -- | Inf
741.69/741.96 c 731s|340000 |132173 | 0 | 0.0 | 154M| 94 | - | 231 | 19k| 0 | 0 | 0 | 273k| 0 | 0.000000e+00 | -- | Inf
778.98/779.22 c 768s|350000 |133755 | 0 | 0.0 | 158M| 94 | - | 231 | 20k| 0 | 0 | 0 | 285k| 0 | 0.000000e+00 | -- | Inf
815.88/816.16 c 804s|360000 |135778 | 0 | 0.0 | 162M| 94 | - | 231 | 20k| 0 | 0 | 0 | 295k| 0 | 0.000000e+00 | -- | Inf
858.16/858.44 c 846s|370000 |136624 | 0 | 0.0 | 165M| 94 | - | 231 | 21k| 0 | 0 | 0 | 307k| 0 | 0.000000e+00 | -- | Inf
902.95/903.26 c 890s|380000 |137148 | 0 | 0.0 | 167M| 94 | - | 231 | 22k| 0 | 0 | 0 | 320k| 0 | 0.000000e+00 | -- | Inf
949.83/950.16 c 937s|390000 |137425 | 0 | 0.0 | 170M| 94 | - | 231 | 23k| 0 | 0 | 0 | 332k| 0 | 0.000000e+00 | -- | Inf
995.03/995.36 c 982s|400000 |138145 | 0 | 0.0 | 173M| 94 | - | 231 | 23k| 0 | 0 | 0 | 344k| 0 | 0.000000e+00 | -- | Inf
1045.41/1045.73 c 1032s|410000 |137853 | 0 | 0.0 | 175M| 94 | - | 231 | 24k| 0 | 0 | 0 | 357k| 0 | 0.000000e+00 | -- | Inf
1098.09/1098.47 c 1084s|420000 |137261 | 0 | 0.0 | 176M| 94 | - | 231 | 25k| 0 | 0 | 0 | 371k| 0 | 0.000000e+00 | -- | Inf
1152.39/1152.70 c 1138s|430000 |136555 | 0 | 0.0 | 178M| 94 | - | 231 | 26k| 0 | 0 | 0 | 384k| 0 | 0.000000e+00 | -- | Inf
1207.27/1207.64 c 1192s|440000 |135812 | 0 | 0.0 | 178M| 94 | - | 231 | 27k| 0 | 0 | 0 | 398k| 0 | 0.000000e+00 | -- | Inf
1264.16/1264.58 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1264.16/1264.58 c 1249s|450000 |134684 | 0 | 0.0 | 179M| 94 | - | 231 | 27k| 0 | 0 | 0 | 412k| 0 | 0.000000e+00 | -- | Inf
1326.14/1326.56 c 1310s|460000 |132764 | 0 | 0.0 | 179M| 94 | - | 231 | 28k| 0 | 0 | 0 | 427k| 0 | 0.000000e+00 | -- | Inf
1390.02/1390.48 c 1374s|470000 |130609 | 0 | 0.0 | 179M| 94 | - | 231 | 28k| 0 | 0 | 0 | 442k| 0 | 0.000000e+00 | -- | Inf
1459.09/1459.56 c 1442s|480000 |127417 | 0 | 0.0 | 177M| 94 | - | 231 | 28k| 0 | 0 | 0 | 458k| 0 | 0.000000e+00 | -- | Inf
1533.86/1534.33 c 1517s|490000 |122907 | 0 | 0.0 | 174M| 94 | - | 231 | 29k| 0 | 0 | 0 | 476k| 0 | 0.000000e+00 | -- | Inf
1620.74/1621.29 c 1603s|500000 |115308 | 0 | 0.0 | 165M| 94 | - | 231 | 29k| 0 | 0 | 0 | 496k| 0 | 0.000000e+00 | -- | Inf
1704.02/1704.56 c 1686s|510000 |111940 | 0 | 0.0 | 163M| 94 | - | 231 | 29k| 0 | 0 | 0 | 513k| 0 | 0.000000e+00 | -- | Inf
1797.59/1798.17 c 1779s|520000 |108175 | 0 | 0.0 | 164M| 94 | - | 231 | 29k| 0 | 0 | 0 | 530k| 0 | 0.000000e+00 | -- | Inf
1800.00/1800.50 c pressed CTRL-C 1 times (5 times for forcing termination)
1800.00/1800.51 c
1800.00/1800.51 c SCIP Status : solving was interrupted [user interrupt]
1800.00/1800.51 c Solving Time (sec) : 1781.12
1800.00/1800.51 c Solving Nodes : 520229
1800.00/1800.51 c Primal Bound : +1.00000000000000e+20 (0 solutions)
1800.00/1800.51 c Dual Bound : +0.00000000000000e+00
1800.00/1800.51 c Gap : infinite
1800.00/1800.51 s UNKNOWN
1800.00/1800.51 c SCIP Status : solving was interrupted [user interrupt]
1800.00/1800.51 c Solving Time : 1781.12
1800.00/1800.51 c Original Problem :
1800.00/1800.51 c Problem name : HOME/instance-2664434-1276303068.opb
1800.00/1800.51 c Variables : 231 (231 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.00/1800.51 c Constraints : 2707 initial, 2707 maximal
1800.00/1800.51 c Presolved Problem :
1800.00/1800.51 c Problem name : t_HOME/instance-2664434-1276303068.opb
1800.00/1800.51 c Variables : 231 (231 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.00/1800.51 c Constraints : 2564 initial, 30005 maximal
1800.00/1800.51 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs
1800.00/1800.51 c trivial : 0.00 0 0 0 0 0 0 0 0
1800.00/1800.51 c dualfix : 0.00 0 0 0 0 0 0 0 0
1800.00/1800.51 c boundshift : 0.00 0 0 0 0 0 0 0 0
1800.00/1800.51 c inttobinary : 0.00 0 0 0 0 0 0 0 0
1800.00/1800.51 c implics : 0.00 0 0 0 0 0 0 0 0
1800.00/1800.51 c probing : 0.00 0 0 0 0 0 0 0 0
1800.00/1800.51 c knapsack : 0.01 0 0 0 0 0 0 0 0
1800.00/1800.51 c setppc : 0.00 0 0 0 0 0 0 0 0
1800.00/1800.51 c linear : 0.03 0 0 0 0 0 143 0 0
1800.00/1800.51 c logicor : 0.02 0 0 0 0 0 0 0 0
1800.00/1800.51 c root node : - 0 - - 0 - - - -
1800.00/1800.51 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children
1800.00/1800.51 c integral : 0 0 0 0 0 0 0 0 0 0
1800.00/1800.51 c knapsack : 1 0 1994882 0 371064 57539 6919174 0 0 0
1800.00/1800.51 c setppc : 22 0 1952993 0 371064 91678 2217957 0 0 0
1800.00/1800.51 c logicor : 2541+ 0 1486105 0 371062 83051 5618233 0 0 0
1800.00/1800.51 c countsols : 0 0 0 0 371049 0 0 0 0 0
1800.00/1800.51 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS
1800.00/1800.51 c integral : 0.00 0.00 0.00 0.00 0.00
1800.00/1800.51 c knapsack : 49.17 0.00 46.86 0.00 2.31
1800.00/1800.51 c setppc : 28.97 0.00 24.08 0.00 4.89
1800.00/1800.51 c logicor : 932.55 0.00 885.16 0.00 47.39
1800.00/1800.51 c countsols : 0.19 0.00 0.00 0.00 0.19
1800.00/1800.51 c Propagators : Time Calls Cutoffs DomReds
1800.00/1800.51 c vbounds : 1.25 1 0 0
1800.00/1800.51 c rootredcost : 1.15 0 0 0
1800.00/1800.51 c pseudoobj : 0.94 0 0 0
1800.00/1800.51 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1800.00/1800.51 c propagation : 14.12 232268 232208 1073324 16.6 4992 18.6 -
1800.00/1800.51 c infeasible LP : 0.00 0 0 0 0.0 0 0.0 0
1800.00/1800.51 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1800.00/1800.51 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1800.00/1800.51 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 -
1800.00/1800.51 c applied globally : - - - 529519 13.9 - - -
1800.00/1800.51 c applied locally : - - - 1468 35.7 - - -
1800.00/1800.51 c Separators : Time Calls Cutoffs DomReds Cuts Conss
1800.00/1800.51 c cut pool : 0.00 0 - - 0 - (maximal pool size: 0)
1800.00/1800.51 c redcost : 0.00 0 0 0 0 0
1800.00/1800.51 c impliedbounds : 0.00 0 0 0 0 0
1800.00/1800.51 c intobj : 0.00 0 0 0 0 0
1800.00/1800.51 c cgmip : 0.00 0 0 0 0 0
1800.00/1800.51 c gomory : 0.00 0 0 0 0 0
1800.00/1800.51 c strongcg : 0.00 0 0 0 0 0
1800.00/1800.51 c cmir : 0.00 0 0 0 0 0
1800.00/1800.51 c flowcover : 0.00 0 0 0 0 0
1800.00/1800.51 c clique : 0.00 0 0 0 0 0
1800.00/1800.51 c zerohalf : 0.00 0 0 0 0 0
1800.00/1800.51 c mcf : 0.00 0 0 0 0 0
1800.00/1800.51 c rapidlearning : 0.00 0 0 0 0 0
1800.00/1800.51 c Pricers : Time Calls Vars
1800.00/1800.51 c problem variables: 0.00 0 0
1800.00/1800.51 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
1800.00/1800.51 c relpscost : 0.00 0 0 0 0 0 0
1800.00/1800.51 c pscost : 0.00 0 0 0 0 0 0
1800.00/1800.51 c inference : 9.60 371049 0 0 0 0 742098
1800.00/1800.51 c mostinf : 0.00 0 0 0 0 0 0
1800.00/1800.51 c leastinf : 0.00 0 0 0 0 0 0
1800.00/1800.51 c fullstrong : 0.00 0 0 0 0 0 0
1800.00/1800.51 c allfullstrong : 0.00 0 0 0 0 0 0
1800.00/1800.51 c random : 0.00 0 0 0 0 0 0
1800.00/1800.51 c Primal Heuristics : Time Calls Found
1800.00/1800.51 c LP solutions : 0.00 - 0
1800.00/1800.51 c pseudo solutions : 0.00 - 0
1800.00/1800.51 c trivial : 0.00 1 0
1800.00/1800.51 c simplerounding : 0.00 0 0
1800.00/1800.51 c zirounding : 0.00 0 0
1800.00/1800.51 c rounding : 0.00 0 0
1800.00/1800.51 c shifting : 0.00 0 0
1800.00/1800.51 c intshifting : 0.00 0 0
1800.00/1800.51 c oneopt : 0.00 0 0
1800.00/1800.51 c twoopt : 0.00 0 0
1800.00/1800.51 c fixandinfer : 0.00 0 0
1800.00/1800.51 c feaspump : 0.00 0 0
1800.00/1800.51 c coefdiving : 0.00 0 0
1800.00/1800.51 c pscostdiving : 0.00 0 0
1800.00/1800.51 c fracdiving : 0.00 0 0
1800.00/1800.51 c veclendiving : 0.00 0 0
1800.00/1800.51 c intdiving : 0.00 0 0
1800.00/1800.51 c actconsdiving : 0.00 0 0
1800.00/1800.51 c objpscostdiving : 0.00 0 0
1800.00/1800.51 c rootsoldiving : 0.00 0 0
1800.00/1800.51 c linesearchdiving : 0.00 0 0
1800.00/1800.51 c guideddiving : 0.00 0 0
1800.00/1800.51 c octane : 0.00 0 0
1800.00/1800.51 c rens : 0.00 0 0
1800.00/1800.51 c rins : 0.00 0 0
1800.00/1800.51 c localbranching : 0.00 0 0
1800.00/1800.51 c mutation : 0.00 0 0
1800.00/1800.51 c crossover : 0.00 0 0
1800.00/1800.51 c dins : 0.00 0 0
1800.00/1800.51 c undercover : 0.00 0 0
1800.00/1800.51 c nlp : 0.00 0 0
1800.00/1800.51 c trysol : 0.00 0 0
1800.00/1800.51 c LP : Time Calls Iterations Iter/call Iter/sec
1800.00/1800.51 c primal LP : 0.00 0 0 0.00 -
1800.00/1800.51 c dual LP : 0.00 0 0 0.00 -
1800.00/1800.51 c lex dual LP : 0.00 0 0 0.00 -
1800.00/1800.51 c barrier LP : 0.00 0 0 0.00 -
1800.00/1800.51 c diving/probing LP: 0.00 0 0 0.00 -
1800.00/1800.51 c strong branching : 0.00 0 0 0.00 -
1800.00/1800.51 c (at root node) : - 0 0 0.00 -
1800.00/1800.51 c conflict analysis: 0.00 0 0 0.00 -
1800.00/1800.51 c B&B Tree :
1800.00/1800.51 c number of runs : 1
1800.00/1800.51 c nodes : 520229
1800.00/1800.51 c nodes (total) : 520229
1800.00/1800.51 c nodes left : 108072
1800.00/1800.51 c max depth : 94
1800.00/1800.51 c max depth (total): 94
1800.00/1800.51 c backtracks : 164486 (31.6%)
1800.00/1800.51 c delayed cutoffs : 113798
1800.00/1800.51 c repropagations : 587122 (4630027 domain reductions, 83088 cutoffs)
1800.00/1800.51 c avg switch length: 17.52
1800.00/1800.51 c switching time : 500.35
1800.00/1800.51 c Solution :
1800.00/1800.51 c Solutions found : 0 (0 improvements)
1800.00/1800.51 c Primal Bound : -
1800.00/1800.51 c Dual Bound : +0.00000000000000e+00
1800.00/1800.51 c Gap : infinite
1800.00/1800.51 c Root Dual Bound : +0.00000000000000e+00
1800.00/1800.51 c Root Iterations : 0
1800.70/1801.22 c Time complete: 1800.72.
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-2664434-1276303068/watcher-2664434-1276303068 -o /tmp/evaluation-result-2664434-1276303068/solver-2664434-1276303068 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt.none -f HOME/instance-2664434-1276303068.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.35 1.10 1.03 3/106 7757 /proc/meminfo: memFree=1535092/2059040 swapFree=4192956/4192956 [pid=7757] ppid=7755 vsize=6584 CPUtime=0 /proc/7757/stat : 7757 (pbscip.linux.x8) R 7755 7757 6703 0 -1 4202496 953 0 0 0 0 0 0 0 20 0 1 0 5910500 6742016 875 1992294400 4194304 7136930 140734147670608 18446744073709551615 6346613 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/7757/statm: 1646 884 254 719 0 925 0 [startup+0.0234201 s] /proc/loadavg: 1.35 1.10 1.03 3/106 7757 /proc/meminfo: memFree=1535092/2059040 swapFree=4192956/4192956 [pid=7757] ppid=7755 vsize=8504 CPUtime=0.01 /proc/7757/stat : 7757 (pbscip.linux.x8) R 7755 7757 6703 0 -1 4202496 1601 0 0 0 1 0 0 0 20 0 1 0 5910500 8708096 1523 1992294400 4194304 7136930 140734147670608 18446744073709551615 6285702 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/7757/statm: 2126 1523 268 719 0 1405 0 Current children cumulated CPU time (s) 0.01 Current children cumulated vsize (KiB) 8504 [startup+0.101429 s] /proc/loadavg: 1.35 1.10 1.03 3/106 7757 /proc/meminfo: memFree=1535092/2059040 swapFree=4192956/4192956 [pid=7757] ppid=7755 vsize=14760 CPUtime=0.09 /proc/7757/stat : 7757 (pbscip.linux.x8) R 7755 7757 6703 0 -1 4202496 3613 0 0 0 8 1 0 0 20 0 1 0 5910500 15114240 2924 1992294400 4194304 7136930 140734147670608 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/7757/statm: 3690 2924 345 719 0 2969 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 14760 [startup+0.301452 s] /proc/loadavg: 1.35 1.10 1.03 3/106 7757 /proc/meminfo: memFree=1535092/2059040 swapFree=4192956/4192956 [pid=7757] ppid=7755 vsize=17084 CPUtime=0.29 /proc/7757/stat : 7757 (pbscip.linux.x8) R 7755 7757 6703 0 -1 4202496 6814 0 0 0 26 3 0 0 20 0 1 0 5910500 17494016 3555 1992294400 4194304 7136930 140734147670608 18446744073709551615 4414778 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/7757/statm: 4271 3555 391 719 0 3550 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 17084 [startup+0.7005 s] /proc/loadavg: 1.35 1.10 1.03 3/106 7757 /proc/meminfo: memFree=1535092/2059040 swapFree=4192956/4192956 [pid=7757] ppid=7755 vsize=17612 CPUtime=0.69 /proc/7757/stat : 7757 (pbscip.linux.x8) R 7755 7757 6703 0 -1 4202496 6953 0 0 0 64 5 0 0 20 0 1 0 5910500 18034688 3694 1992294400 4194304 7136930 140734147670608 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/7757/statm: 4403 3694 391 719 0 3682 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 17612 [startup+1.50059 s] /proc/loadavg: 1.35 1.10 1.03 2/107 7758 /proc/meminfo: memFree=1520824/2059040 swapFree=4192956/4192956 [pid=7757] ppid=7755 vsize=19040 CPUtime=1.49 /proc/7757/stat : 7757 (pbscip.linux.x8) R 7755 7757 6703 0 -1 4202496 7320 0 0 0 138 11 0 0 23 0 1 0 5910500 19496960 4061 1992294400 4194304 7136930 140734147670608 18446744073709551615 4697599 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/7757/statm: 4760 4061 391 719 0 4039 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 19040 [startup+3.10078 s] /proc/loadavg: 1.35 1.10 1.03 2/107 7758 /proc/meminfo: memFree=1518716/2059040 swapFree=4192956/4192956 [pid=7757] ppid=7755 vsize=21584 CPUtime=3.09 /proc/7757/stat : 7757 (pbscip.linux.x8) R 7755 7757 6703 0 -1 4202496 7938 0 0 0 290 19 0 0 25 0 1 0 5910500 22102016 4679 1992294400 4194304 7136930 140734147670608 18446744073709551615 5957321 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/7757/statm: 5396 4679 391 719 0 4675 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 21584 [startup+6.30116 s] /proc/loadavg: 1.32 1.10 1.03 2/107 7758 /proc/meminfo: memFree=1514748/2059040 swapFree=4192956/4192956 [pid=7757] ppid=7755 vsize=25756 CPUtime=6.29 /proc/7757/stat : 7757 (pbscip.linux.x8) R 7755 7757 6703 0 -1 4202496 9002 0 0 0 595 34 0 0 25 0 1 0 5910500 26374144 5743 1992294400 4194304 7136930 140734147670608 18446744073709551615 4221059 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/7757/statm: 6439 5743 391 719 0 5718 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 25756 [startup+12.7009 s] /proc/loadavg: 1.30 1.10 1.03 2/107 7758 /proc/meminfo: memFree=1507432/2059040 swapFree=4192956/4192956 [pid=7757] ppid=7755 vsize=31828 CPUtime=12.68 /proc/7757/stat : 7757 (pbscip.linux.x8) R 7755 7757 6703 0 -1 4202496 10533 0 0 0 1206 62 0 0 25 0 1 0 5910500 32591872 7274 1992294400 4194304 7136930 140734147670608 18446744073709551615 4697566 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/7757/statm: 7957 7274 391 719 0 7236 0 Current children cumulated CPU time (s) 12.68 Current children cumulated vsize (KiB) 31828 [startup+25.5014 s] /proc/loadavg: 1.23 1.09 1.03 2/107 7758 /proc/meminfo: memFree=1494536/2059040 swapFree=4192956/4192956 [pid=7757] ppid=7755 vsize=43936 CPUtime=25.48 /proc/7757/stat : 7757 (pbscip.linux.x8) R 7755 7757 6703 0 -1 4202496 13627 0 0 0 2439 109 0 0 25 0 1 0 5910500 44990464 10368 1992294400 4194304 7136930 140734147670608 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/7757/statm: 10984 10368 391 719 0 10263 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 43936 [startup+51.1014 s] /proc/loadavg: 1.15 1.09 1.03 2/107 7758 /proc/meminfo: memFree=1479532/2059040 swapFree=4192956/4192956 [pid=7757] ppid=7755 vsize=59244 CPUtime=51.07 /proc/7757/stat : 7757 (pbscip.linux.x8) R 7755 7757 6703 0 -1 4202496 17445 0 0 0 4934 173 0 0 25 0 1 0 5910500 60665856 14186 1992294400 4194304 7136930 140734147670608 18446744073709551615 4999837 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/7757/statm: 14811 14186 391 719 0 14090 0 Current children cumulated CPU time (s) 51.07 Current children cumulated vsize (KiB) 59244 [startup+102.308 s] /proc/loadavg: 1.06 1.07 1.02 2/107 7760 /proc/meminfo: memFree=1457956/2059040 swapFree=4192956/4192956 [pid=7757] ppid=7755 vsize=80032 CPUtime=102.27 /proc/7757/stat : 7757 (pbscip.linux.x8) R 7755 7757 6703 0 -1 4202496 22700 0 0 0 9938 289 0 0 25 0 1 0 5910500 81952768 19441 1992294400 4194304 7136930 140734147670608 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/7757/statm: 20008 19441 391 719 0 19287 0 Current children cumulated CPU time (s) 102.27 Current children cumulated vsize (KiB) 80032 [startup+162.301 s] /proc/loadavg: 1.02 1.05 1.02 2/107 7762 /proc/meminfo: memFree=1432288/2059040 swapFree=4192956/4192956 [pid=7757] ppid=7755 vsize=107664 CPUtime=162.25 /proc/7757/stat : 7757 (pbscip.linux.x8) R 7755 7757 6703 0 -1 4202496 29111 0 0 0 15818 407 0 0 25 0 1 0 5910500 110247936 25852 1992294400 4194304 7136930 140734147670608 18446744073709551615 5955613 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/7757/statm: 26916 25852 391 719 0 26195 0 Current children cumulated CPU time (s) 162.25 Current children cumulated vsize (KiB) 107664 [startup+222.301 s] /proc/loadavg: 1.01 1.04 1.01 2/107 7764 /proc/meminfo: memFree=1416168/2059040 swapFree=4192956/4192956 [pid=7757] ppid=7755 vsize=123800 CPUtime=222.23 /proc/7757/stat : 7757 (pbscip.linux.x8) R 7755 7757 6703 0 -1 4202496 33118 0 0 0 21723 500 0 0 25 0 1 0 5910500 126771200 29859 1992294400 4194304 7136930 140734147670608 18446744073709551615 4999862 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/7757/statm: 30950 29859 391 719 0 30229 0 Current children cumulated CPU time (s) 222.23 Current children cumulated vsize (KiB) 123800 [startup+282.301 s] /proc/loadavg: 1.00 1.03 1.01 2/107 7764 /proc/meminfo: memFree=1400792/2059040 swapFree=4192956/4192956 [pid=7757] ppid=7755 vsize=139176 CPUtime=282.22 /proc/7757/stat : 7757 (pbscip.linux.x8) R 7755 7757 6703 0 -1 4202496 36921 0 0 0 27632 590 0 0 25 0 1 0 5910500 142516224 33662 1992294400 4194304 7136930 140734147670608 18446744073709551615 4219826 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/7757/statm: 34794 33662 391 719 0 34073 0 Current children cumulated CPU time (s) 282.22 Current children cumulated vsize (KiB) 139176 [startup+342.301 s] /proc/loadavg: 1.00 1.02 1.00 2/107 7766 /proc/meminfo: memFree=1385168/2059040 swapFree=4192956/4192956 [pid=7757] ppid=7755 vsize=154956 CPUtime=342.2 /proc/7757/stat : 7757 (pbscip.linux.x8) R 7755 7757 6703 0 -1 4202496 40825 0 0 0 33551 669 0 0 25 0 1 0 5910500 158674944 37566 1992294400 4194304 7136930 140734147670608 18446744073709551615 4223056 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/7757/statm: 38739 37566 391 719 0 38018 0 Current children cumulated CPU time (s) 342.2 Current children cumulated vsize (KiB) 154956 [startup+402.302 s] /proc/loadavg: 1.00 1.02 1.00 2/107 7768 /proc/meminfo: memFree=1377728/2059040 swapFree=4192956/4192956 [pid=7757] ppid=7755 vsize=162108 CPUtime=402.18 /proc/7757/stat : 7757 (pbscip.linux.x8) R 7755 7757 6703 0 -1 4202496 42645 0 0 0 39479 739 0 0 25 0 1 0 5910500 165998592 39386 1992294400 4194304 7136930 140734147670608 18446744073709551615 4665414 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/7757/statm: 40527 39386 391 719 0 39806 0 Current children cumulated CPU time (s) 402.18 Current children cumulated vsize (KiB) 162108 [startup+462.302 s] /proc/loadavg: 1.00 1.01 1.00 2/107 7770 /proc/meminfo: memFree=1370660/2059040 swapFree=4192956/4192956 [pid=7757] ppid=7755 vsize=169336 CPUtime=462.16 /proc/7757/stat : 7757 (pbscip.linux.x8) R 7755 7757 6703 0 -1 4202496 44427 0 0 0 45414 802 0 0 25 0 1 0 5910500 173400064 41168 1992294400 4194304 7136930 140734147670608 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/7757/statm: 42334 41168 391 719 0 41613 0 Current children cumulated CPU time (s) 462.16 Current children cumulated vsize (KiB) 169336 [startup+522.302 s] /proc/loadavg: 1.00 1.01 1.00 2/107 7772 /proc/meminfo: memFree=1366692/2059040 swapFree=4192956/4192956 [pid=7757] ppid=7755 vsize=173288 CPUtime=522.15 /proc/7757/stat : 7757 (pbscip.linux.x8) R 7755 7757 6703 0 -1 4202496 45387 0 0 0 51354 861 0 0 25 0 1 0 5910500 177446912 42128 1992294400 4194304 7136930 140734147670608 18446744073709551615 4999847 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/7757/statm: 43322 42128 391 719 0 42601 0 Current children cumulated CPU time (s) 522.15 Current children cumulated vsize (KiB) 173288 [startup+582.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 7772 /proc/meminfo: memFree=1356400/2059040 swapFree=4192956/4192956 [pid=7757] ppid=7755 vsize=183612 CPUtime=582.14 /proc/7757/stat : 7757 (pbscip.linux.x8) R 7755 7757 6703 0 -1 4202496 47944 0 0 0 57282 932 0 0 25 0 1 0 5910500 188018688 44685 1992294400 4194304 7136930 140734147670608 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/7757/statm: 45903 44685 391 719 0 45182 0 Current children cumulated CPU time (s) 582.14 Current children cumulated vsize (KiB) 183612 [startup+642.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 7774 /proc/meminfo: memFree=1346976/2059040 swapFree=4192956/4192956 [pid=7757] ppid=7755 vsize=193032 CPUtime=642.12 /proc/7757/stat : 7757 (pbscip.linux.x8) R 7755 7757 6703 0 -1 4202496 50285 0 0 0 63217 995 0 0 25 0 1 0 5910500 197664768 47026 1992294400 4194304 7136930 140734147670608 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/7757/statm: 48258 47026 391 719 0 47537 0 Current children cumulated CPU time (s) 642.12 Current children cumulated vsize (KiB) 193032 [startup+702.301 s] ################ # More data... # ################ [startup+1002.3 s] /proc/loadavg: 1.01 1.00 1.00 2/107 7784 /proc/meminfo: memFree=1307792/2059040 swapFree=4192956/4192956 [pid=7757] ppid=7755 vsize=231804 CPUtime=1002.02 /proc/7757/stat : 7757 (pbscip.linux.x8) R 7755 7757 6703 0 -1 4202496 59988 0 0 0 98857 1345 0 0 25 0 1 0 5910500 237367296 56729 1992294400 4194304 7136930 140734147670608 18446744073709551615 4210588 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/7757/statm: 57951 56729 391 719 0 57230 0 Current children cumulated CPU time (s) 1002.02 Current children cumulated vsize (KiB) 231804 [startup+1062.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 7786 /proc/meminfo: memFree=1304816/2059040 swapFree=4192956/4192956 [pid=7757] ppid=7755 vsize=234820 CPUtime=1062 /proc/7757/stat : 7757 (pbscip.linux.x8) R 7755 7757 6703 0 -1 4202496 60711 0 0 0 104810 1390 0 0 25 0 1 0 5910500 240455680 57452 1992294400 4194304 7136930 140734147670608 18446744073709551615 4999862 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/7757/statm: 58705 57452 391 719 0 57984 0 Current children cumulated CPU time (s) 1062 Current children cumulated vsize (KiB) 234820 [startup+1122.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 7788 /proc/meminfo: memFree=1301220/2059040 swapFree=4192956/4192956 [pid=7757] ppid=7755 vsize=238436 CPUtime=1121.99 /proc/7757/stat : 7757 (pbscip.linux.x8) R 7755 7757 6703 0 -1 4202496 61601 0 0 0 110763 1436 0 0 25 0 1 0 5910500 244158464 58342 1992294400 4194304 7136930 140734147670608 18446744073709551615 4999862 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/7757/statm: 59609 58342 391 719 0 58888 0 Current children cumulated CPU time (s) 1121.99 Current children cumulated vsize (KiB) 238436 [startup+1182.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 7788 /proc/meminfo: memFree=1295888/2059040 swapFree=4192956/4192956 [pid=7757] ppid=7755 vsize=243752 CPUtime=1181.98 /proc/7757/stat : 7757 (pbscip.linux.x8) R 7755 7757 6703 0 -1 4202496 62948 0 0 0 116713 1485 0 0 25 0 1 0 5910500 249602048 59689 1992294400 4194304 7136930 140734147670608 18446744073709551615 4999837 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/7757/statm: 60938 59689 391 719 0 60217 0 Current children cumulated CPU time (s) 1181.98 Current children cumulated vsize (KiB) 243752 [startup+1242.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 7790 /proc/meminfo: memFree=1293780/2059040 swapFree=4192956/4192956 [pid=7757] ppid=7755 vsize=245752 CPUtime=1241.96 /proc/7757/stat : 7757 (pbscip.linux.x8) R 7755 7757 6703 0 -1 4202496 63414 0 0 0 122667 1529 0 0 25 0 1 0 5910500 251650048 60155 1992294400 4194304 7136930 140734147670608 18446744073709551615 4999837 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/7757/statm: 61438 60155 391 719 0 60717 0 Current children cumulated CPU time (s) 1241.96 Current children cumulated vsize (KiB) 245752 [startup+1302.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 7792 /proc/meminfo: memFree=1292912/2059040 swapFree=4192956/4192956 [pid=7757] ppid=7755 vsize=246716 CPUtime=1301.95 /proc/7757/stat : 7757 (pbscip.linux.x8) R 7755 7757 6703 0 -1 4202496 63598 0 0 0 128624 1571 0 0 25 0 1 0 5910500 252637184 60339 1992294400 4194304 7136930 140734147670608 18446744073709551615 4999811 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/7757/statm: 61679 60339 391 719 0 60958 0 Current children cumulated CPU time (s) 1301.95 Current children cumulated vsize (KiB) 246716 [startup+1362.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 7794 /proc/meminfo: memFree=1292540/2059040 swapFree=4192956/4192956 [pid=7757] ppid=7755 vsize=247080 CPUtime=1361.93 /proc/7757/stat : 7757 (pbscip.linux.x8) R 7755 7757 6703 0 -1 4202496 63716 0 0 0 134578 1615 0 0 25 0 1 0 5910500 253009920 60457 1992294400 4194304 7136930 140734147670608 18446744073709551615 4221241 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/7757/statm: 61770 60457 391 719 0 61049 0 Current children cumulated CPU time (s) 1361.93 Current children cumulated vsize (KiB) 247080 [startup+1422.31 s] /proc/loadavg: 1.00 1.00 1.00 2/107 7805 /proc/meminfo: memFree=1291300/2059040 swapFree=4192956/4192956 [pid=7757] ppid=7755 vsize=247604 CPUtime=1421.9 /proc/7757/stat : 7757 (pbscip.linux.x8) R 7755 7757 6703 0 -1 4202496 63839 0 0 0 140534 1656 0 0 25 0 1 0 5910500 253546496 60580 1992294400 4194304 7136930 140734147670608 18446744073709551615 4999811 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/7757/statm: 61901 60580 391 719 0 61180 0 Current children cumulated CPU time (s) 1421.9 Current children cumulated vsize (KiB) 247604 [startup+1482.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 7805 /proc/meminfo: memFree=1291300/2059040 swapFree=4192956/4192956 [pid=7757] ppid=7755 vsize=248068 CPUtime=1481.88 /proc/7757/stat : 7757 (pbscip.linux.x8) R 7755 7757 6703 0 -1 4202496 63930 0 0 0 146491 1697 0 0 25 0 1 0 5910500 254021632 60671 1992294400 4194304 7136930 140734147670608 18446744073709551615 4999811 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/7757/statm: 62017 60671 391 719 0 61296 0 Current children cumulated CPU time (s) 1481.88 Current children cumulated vsize (KiB) 248068 [startup+1542.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 7807 /proc/meminfo: memFree=1290928/2059040 swapFree=4192956/4192956 [pid=7757] ppid=7755 vsize=248280 CPUtime=1541.86 /proc/7757/stat : 7757 (pbscip.linux.x8) R 7755 7757 6703 0 -1 4202496 64015 0 0 0 152448 1738 0 0 25 0 1 0 5910500 254238720 60756 1992294400 4194304 7136930 140734147670608 18446744073709551615 4999765 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/7757/statm: 62070 60756 391 719 0 61349 0 Current children cumulated CPU time (s) 1541.86 Current children cumulated vsize (KiB) 248280 [startup+1602.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 7809 /proc/meminfo: memFree=1290804/2059040 swapFree=4192956/4192956 [pid=7757] ppid=7755 vsize=248728 CPUtime=1601.85 /proc/7757/stat : 7757 (pbscip.linux.x8) R 7755 7757 6703 0 -1 4202496 64054 0 0 0 158410 1775 0 0 25 0 1 0 5910500 254697472 60795 1992294400 4194304 7136930 140734147670608 18446744073709551615 5001212 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/7757/statm: 62182 60795 391 719 0 61461 0 Current children cumulated CPU time (s) 1601.85 Current children cumulated vsize (KiB) 248728 [startup+1662.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 7811 /proc/meminfo: memFree=1290432/2059040 swapFree=4192956/4192956 [pid=7757] ppid=7755 vsize=249064 CPUtime=1661.83 /proc/7757/stat : 7757 (pbscip.linux.x8) R 7755 7757 6703 0 -1 4202496 64155 0 0 0 164372 1811 0 0 25 0 1 0 5910500 255041536 60896 1992294400 4194304 7136930 140734147670608 18446744073709551615 4210588 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/7757/statm: 62266 60896 391 719 0 61545 0 Current children cumulated CPU time (s) 1661.83 Current children cumulated vsize (KiB) 249064 [startup+1722.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 7813 /proc/meminfo: memFree=1289936/2059040 swapFree=4192956/4192956 [pid=7757] ppid=7755 vsize=249572 CPUtime=1721.81 /proc/7757/stat : 7757 (pbscip.linux.x8) R 7755 7757 6703 0 -1 4202496 64290 0 0 0 170339 1842 0 0 25 0 1 0 5910500 255561728 61031 1992294400 4194304 7136930 140734147670608 18446744073709551615 4999862 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/7757/statm: 62393 61031 391 719 0 61672 0 Current children cumulated CPU time (s) 1721.81 Current children cumulated vsize (KiB) 249572 [startup+1782.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 7813 /proc/meminfo: memFree=1289688/2059040 swapFree=4192956/4192956 [pid=7757] ppid=7755 vsize=249940 CPUtime=1781.8 /proc/7757/stat : 7757 (pbscip.linux.x8) R 7755 7757 6703 0 -1 4202496 64329 0 0 0 176305 1875 0 0 25 0 1 0 5910500 255938560 61070 1992294400 4194304 7136930 140734147670608 18446744073709551615 4210588 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/7757/statm: 62485 61070 391 719 0 61764 0 Current children cumulated CPU time (s) 1781.8 Current children cumulated vsize (KiB) 249940 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.5 s] /proc/loadavg: 1.00 1.00 1.00 2/107 7815 /proc/meminfo: memFree=1288820/2059040 swapFree=4192956/4192956 [pid=7757] ppid=7755 vsize=250776 CPUtime=1800 /proc/7757/stat : 7757 (pbscip.linux.x8) R 7755 7757 6703 0 -1 4202496 64540 0 0 0 178115 1885 0 0 25 0 1 0 5910500 256794624 61281 1992294400 4194304 7136930 140734147670608 18446744073709551615 4999837 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/7757/statm: 62694 61281 391 719 0 61973 0 Current children cumulated CPU time (s) 1800 Current children cumulated vsize (KiB) 250776 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples [startup+1800.61 s] /proc/loadavg: 1.00 1.00 1.00 2/108 7816 /proc/meminfo: memFree=1288688/2059040 swapFree=4192956/4192956 [pid=7757] ppid=7755 vsize=250856 CPUtime=1800.11 /proc/7757/stat : 7757 (pbscip.linux.x8) R 7755 7757 6703 0 -1 4202496 64566 0 0 0 178126 1885 0 0 25 0 1 0 5910500 256876544 61307 1992294400 4194304 7136930 140734147670608 18446744073709551615 6165594 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/7757/statm: 62714 61307 396 719 0 61993 0 Current children cumulated CPU time (s) 1800.11 Current children cumulated vsize (KiB) 250856 [startup+1801 s] /proc/loadavg: 1.00 1.00 1.00 2/108 7816 /proc/meminfo: memFree=1288688/2059040 swapFree=4192956/4192956 [pid=7757] ppid=7755 vsize=250856 CPUtime=1800.5 /proc/7757/stat : 7757 (pbscip.linux.x8) R 7755 7757 6703 0 -1 4202496 64566 0 0 0 178165 1885 0 0 25 0 1 0 5910500 256876544 61307 1992294400 4194304 7136930 140734147670608 18446744073709551615 6166121 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/7757/statm: 62714 61307 396 719 0 61993 0 Current children cumulated CPU time (s) 1800.5 Current children cumulated vsize (KiB) 250856 [startup+1801.2 s] /proc/loadavg: 1.00 1.00 1.00 2/108 7816 /proc/meminfo: memFree=1288688/2059040 swapFree=4192956/4192956 [pid=7757] ppid=7755 vsize=188056 CPUtime=1800.7 /proc/7757/stat : 7757 (pbscip.linux.x8) R 7755 7757 6703 0 -1 4202496 64566 0 0 0 178184 1886 0 0 25 0 1 0 5910500 192569344 45612 1992294400 4194304 7136930 140734147670608 18446744073709551615 6360983 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/7757/statm: 47014 45473 396 719 0 46293 0 Current children cumulated CPU time (s) 1800.7 Current children cumulated vsize (KiB) 188056 Child status: 0 Real time (s): 1801.23 CPU time (s): 1800.73 CPU user time (s): 1781.85 CPU system time (s): 18.8801 CPU usage (%): 99.9722 Max. virtual memory (cumulated for all children) (KiB): 250856 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1781.85 system time used= 18.8801 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 64573 page faults= 0 swaps= 0 block input operations= 0 block output operations= 0 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 3 involuntary context switches= 18829 runsolver used 2.92656 second user time and 8.5587 second system time The end
Begin job on node005 at 2010-06-12 02:37:48 IDJOB=2664434 IDBENCH=1336 IDSOLVER=1167 FILE ID=node005/2664434-1276303068 PBS_JOBID= 11173113 Free space on /tmp= 62532 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.1900563801.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-2664434-1276303068/watcher-2664434-1276303068 -o /tmp/evaluation-result-2664434-1276303068/solver-2664434-1276303068 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt.none -f HOME/instance-2664434-1276303068.opb -t 1800 -m 1800 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= c0dce06d795e831bf046e609ad2fb3fd RANDOM SEED=942322306 node005.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.246 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.49 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.246 cache size : 2048 KB physical id : 3 siblings : 1 core id : 0 cpu cores : 1 apicid : 6 fpu : yes fpu_exception : yes cpuid level : 5 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm constant_tsc pni monitor ds_cpl cid cx16 xtpr bogomips : 5599.45 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2059040 kB MemFree: 1535620 kB Buffers: 83964 kB Cached: 311720 kB SwapCached: 0 kB Active: 174724 kB Inactive: 280252 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2059040 kB LowFree: 1535620 kB SwapTotal: 4192956 kB SwapFree: 4192956 kB Dirty: 3356 kB Writeback: 0 kB AnonPages: 59268 kB Mapped: 15428 kB Slab: 46728 kB PageTables: 4012 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 5222476 kB Committed_AS: 181436 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= 62528 MiB End job on node005 at 2010-06-12 03:07:50