| Solver Name | Answer | CPU time | Wall clock time |
|---|---|---|---|
| SCIPnone SCIP 1.2.1.2 without any LP solver | ? (TO) | 1800.93 | 1801.52 |
| Name | normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/ namasivayam/tsp/normalized-t3002.11tsp11.1900556231.opb |
| MD5SUM | 12591fb3a3171df58322c5e93cb6a45b |
| 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 | 44.8062 |
| Has Objective Function | NO |
| Satisfiable | NO |
| (Un)Satisfiability was proved | YES |
| Best value of the objective function | |
| Optimality of the best value was proved | |
| Number of variables | 231 |
| Total number of constraints | 2707 |
| Number of constraints which are clauses | 2684 |
| Number of constraints which are cardinality constraints (but not clauses) | 22 |
| Number of constraints which are nor clauses,nor cardinality constraints | 1 |
| Minimum length of a constraint | 2 |
| Maximum length of a constraint | 110 |
| Number of terms in the objective function | 0 |
| Biggest coefficient in the objective function | 0 |
| Number of bits for the biggest coefficient in the objective function | 0 |
| Sum of the numbers in the objective function | 0 |
| Number of bits of the sum of numbers in the objective function | 0 |
| Biggest number in a constraint | 25 |
| Number of bits of the biggest number in a constraint | 5 |
| Biggest sum of numbers in a constraint | 723 |
| Number of bits of the biggest sum of numbers | 10 |
| Number of products (including duplicates) | 0 |
| Sum of products size (including duplicates) | 0 |
| Number of different products | 0 |
| Sum of products size | 0 |
0.00/0.00 c SCIP version 1.2.1.2 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: NONE] [Expressions interpreter: NONE]
0.00/0.00 c Copyright (c) 2002-2010 Konrad-Zuse-Zentrum fuer Informationstechnik Berlin (ZIB)
0.00/0.00 c
0.00/0.00 c user parameter file <scip.set> not found - using default parameters
0.00/0.00 c reading problem <HOME/instance-2664129-1276297130.opb>
0.05/0.05 c original problem has 231 variables (231 bin, 0 int, 0 impl, 0 cont) and 2707 constraints
0.05/0.05 c problem read
0.05/0.05 c No objective function, only one solution is needed.
0.05/0.05 c presolving settings loaded
0.05/0.05 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.05/0.07 c presolving:
0.09/0.12 c (round 1) 0 del vars, 143 del conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 2542 upgd conss, 242 impls, 22 clqs
0.09/0.13 c (round 2) 0 del vars, 143 del conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 2564 upgd conss, 242 impls, 22 clqs
0.09/0.14 c presolving (3 rounds):
0.09/0.14 c 0 deleted vars, 143 deleted constraints, 0 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
0.09/0.14 c 242 implications, 22 cliques
0.09/0.14 c presolved problem has 231 variables (231 bin, 0 int, 0 impl, 0 cont) and 2564 constraints
0.09/0.14 c 1 constraints of type <knapsack>
0.09/0.14 c 22 constraints of type <setppc>
0.09/0.14 c 2541 constraints of type <logicor>
0.09/0.14 c transformed objective value is always integral (scale: 1)
0.09/0.14 c Presolving Time: 0.06
0.09/0.14 c - non default parameters ----------------------------------------------------------------------
0.09/0.14 c # SCIP version 1.2.1.2
0.09/0.14 c
0.09/0.14 c # frequency for displaying node information lines
0.09/0.14 c # [type: int, range: [-1,2147483647], default: 100]
0.09/0.14 c display/freq = 10000
0.09/0.14 c
0.09/0.14 c # maximal time in seconds to run
0.09/0.14 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.09/0.14 c limits/time = 1799.95
0.09/0.14 c
0.09/0.14 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.09/0.14 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.09/0.14 c limits/memory = 1620
0.09/0.14 c
0.09/0.14 c # solving stops, if the given number of solutions were found (-1: no limit)
0.09/0.14 c # [type: int, range: [-1,2147483647], default: -1]
0.09/0.14 c limits/solutions = 1
0.09/0.14 c
0.09/0.14 c # frequency for solving LP at the nodes (-1: never; 0: only root LP)
0.09/0.14 c # [type: int, range: [-1,2147483647], default: 1]
0.09/0.15 c lp/solvefreq = -1
0.09/0.15 c
0.09/0.15 c # maximal number of separation rounds per node (-1: unlimited)
0.09/0.15 c # [type: int, range: [-1,2147483647], default: 5]
0.09/0.15 c separating/maxrounds = 1
0.09/0.15 c
0.09/0.15 c # maximal number of separation rounds in the root node (-1: unlimited)
0.09/0.15 c # [type: int, range: [-1,2147483647], default: -1]
0.09/0.15 c separating/maxroundsroot = 5
0.09/0.15 c
0.09/0.15 c # should presolving try to simplify inequalities
0.09/0.15 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.09/0.15 c constraints/linear/simplifyinequalities = TRUE
0.09/0.15 c
0.09/0.15 c # should disaggregation of knapsack constraints be allowed in preprocessing?
0.09/0.15 c # [type: bool, range: {TRUE,FALSE}, default: TRUE]
0.09/0.15 c constraints/knapsack/disaggregation = FALSE
0.09/0.15 c
0.09/0.15 c # should presolving try to simplify knapsacks
0.09/0.15 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.09/0.15 c constraints/knapsack/simplifyinequalities = TRUE
0.09/0.15 c
0.09/0.15 c # maximal number of presolving rounds the presolver participates in (-1: no limit)
0.09/0.15 c # [type: int, range: [-1,2147483647], default: -1]
0.09/0.15 c presolving/probing/maxrounds = 0
0.09/0.15 c
0.09/0.15 c # frequency for calling primal heuristic <coefdiving> (-1: never, 0: only at depth freqofs)
0.09/0.15 c # [type: int, range: [-1,2147483647], default: 10]
0.09/0.15 c heuristics/coefdiving/freq = -1
0.09/0.15 c
0.09/0.15 c # maximal fraction of diving LP iterations compared to node LP iterations
0.09/0.15 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
0.09/0.15 c heuristics/coefdiving/maxlpiterquot = 0.075
0.09/0.15 c
0.09/0.15 c # additional number of allowed LP iterations
0.09/0.15 c # [type: int, range: [0,2147483647], default: 1000]
0.09/0.15 c heuristics/coefdiving/maxlpiterofs = 1500
0.09/0.15 c
0.09/0.15 c # frequency for calling primal heuristic <crossover> (-1: never, 0: only at depth freqofs)
0.09/0.15 c # [type: int, range: [-1,2147483647], default: 30]
0.09/0.15 c heuristics/crossover/freq = -1
0.09/0.15 c
0.09/0.15 c # number of nodes added to the contingent of the total nodes
0.09/0.15 c # [type: longint, range: [0,9223372036854775807], default: 500]
0.09/0.15 c heuristics/crossover/nodesofs = 750
0.09/0.15 c
0.09/0.15 c # number of nodes without incumbent change that heuristic should wait
0.09/0.15 c # [type: longint, range: [0,9223372036854775807], default: 200]
0.09/0.15 c heuristics/crossover/nwaitingnodes = 100
0.09/0.15 c
0.09/0.15 c # contingent of sub problem nodes in relation to the number of nodes of the original problem
0.09/0.15 c # [type: real, range: [0,1], default: 0.1]
0.09/0.15 c heuristics/crossover/nodesquot = 0.15
0.09/0.15 c
0.09/0.15 c # minimum percentage of integer variables that have to be fixed
0.09/0.15 c # [type: real, range: [0,1], default: 0.666]
0.09/0.15 c heuristics/crossover/minfixingrate = 0.5
0.09/0.15 c
0.09/0.15 c # frequency for calling primal heuristic <feaspump> (-1: never, 0: only at depth freqofs)
0.09/0.15 c # [type: int, range: [-1,2147483647], default: 20]
0.09/0.15 c heuristics/feaspump/freq = -1
0.09/0.15 c
0.09/0.15 c # additional number of allowed LP iterations
0.09/0.15 c # [type: int, range: [0,2147483647], default: 1000]
0.09/0.15 c heuristics/feaspump/maxlpiterofs = 2000
0.09/0.15 c
0.09/0.15 c # frequency for calling primal heuristic <fracdiving> (-1: never, 0: only at depth freqofs)
0.09/0.15 c # [type: int, range: [-1,2147483647], default: 10]
0.09/0.15 c heuristics/fracdiving/freq = -1
0.09/0.15 c
0.09/0.15 c # maximal fraction of diving LP iterations compared to node LP iterations
0.09/0.15 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
0.09/0.15 c heuristics/fracdiving/maxlpiterquot = 0.075
0.09/0.15 c
0.09/0.15 c # additional number of allowed LP iterations
0.09/0.15 c # [type: int, range: [0,2147483647], default: 1000]
0.09/0.15 c heuristics/fracdiving/maxlpiterofs = 1500
0.09/0.15 c
0.09/0.15 c # frequency for calling primal heuristic <guideddiving> (-1: never, 0: only at depth freqofs)
0.09/0.15 c # [type: int, range: [-1,2147483647], default: 10]
0.09/0.15 c heuristics/guideddiving/freq = -1
0.09/0.15 c
0.09/0.15 c # maximal fraction of diving LP iterations compared to node LP iterations
0.09/0.15 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
0.09/0.15 c heuristics/guideddiving/maxlpiterquot = 0.075
0.09/0.15 c
0.09/0.15 c # additional number of allowed LP iterations
0.09/0.15 c # [type: int, range: [0,2147483647], default: 1000]
0.09/0.15 c heuristics/guideddiving/maxlpiterofs = 1500
0.09/0.15 c
0.09/0.15 c # maximal fraction of diving LP iterations compared to node LP iterations
0.09/0.15 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
0.09/0.15 c heuristics/intdiving/maxlpiterquot = 0.075
0.09/0.15 c
0.09/0.15 c # frequency for calling primal heuristic <intshifting> (-1: never, 0: only at depth freqofs)
0.09/0.15 c # [type: int, range: [-1,2147483647], default: 10]
0.09/0.15 c heuristics/intshifting/freq = -1
0.09/0.15 c
0.09/0.15 c # frequency for calling primal heuristic <linesearchdiving> (-1: never, 0: only at depth freqofs)
0.09/0.15 c # [type: int, range: [-1,2147483647], default: 10]
0.09/0.15 c heuristics/linesearchdiving/freq = -1
0.09/0.15 c
0.09/0.15 c # maximal fraction of diving LP iterations compared to node LP iterations
0.09/0.15 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
0.09/0.15 c heuristics/linesearchdiving/maxlpiterquot = 0.075
0.09/0.15 c
0.09/0.15 c # additional number of allowed LP iterations
0.09/0.15 c # [type: int, range: [0,2147483647], default: 1000]
0.09/0.15 c heuristics/linesearchdiving/maxlpiterofs = 1500
0.09/0.15 c
0.09/0.15 c # frequency for calling primal heuristic <nlp> (-1: never, 0: only at depth freqofs)
0.09/0.15 c # [type: int, range: [-1,2147483647], default: 1]
0.09/0.15 c heuristics/nlp/freq = -1
0.09/0.15 c
0.09/0.15 c # frequency for calling primal heuristic <objpscostdiving> (-1: never, 0: only at depth freqofs)
0.09/0.15 c # [type: int, range: [-1,2147483647], default: 20]
0.09/0.15 c heuristics/objpscostdiving/freq = -1
0.09/0.15 c
0.09/0.15 c # maximal fraction of diving LP iterations compared to total iteration number
0.09/0.15 c # [type: real, range: [0,1], default: 0.01]
0.09/0.15 c heuristics/objpscostdiving/maxlpiterquot = 0.015
0.09/0.15 c
0.09/0.15 c # additional number of allowed LP iterations
0.09/0.15 c # [type: int, range: [0,2147483647], default: 1000]
0.09/0.15 c heuristics/objpscostdiving/maxlpiterofs = 1500
0.09/0.15 c
0.09/0.15 c # frequency for calling primal heuristic <oneopt> (-1: never, 0: only at depth freqofs)
0.09/0.15 c # [type: int, range: [-1,2147483647], default: 1]
0.09/0.15 c heuristics/oneopt/freq = -1
0.09/0.15 c
0.09/0.15 c # frequency for calling primal heuristic <pscostdiving> (-1: never, 0: only at depth freqofs)
0.09/0.15 c # [type: int, range: [-1,2147483647], default: 10]
0.09/0.15 c heuristics/pscostdiving/freq = -1
0.09/0.15 c
0.09/0.15 c # maximal fraction of diving LP iterations compared to node LP iterations
0.09/0.15 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
0.09/0.15 c heuristics/pscostdiving/maxlpiterquot = 0.075
0.09/0.15 c
0.09/0.15 c # additional number of allowed LP iterations
0.09/0.15 c # [type: int, range: [0,2147483647], default: 1000]
0.09/0.15 c heuristics/pscostdiving/maxlpiterofs = 1500
0.09/0.15 c
0.09/0.15 c # frequency for calling primal heuristic <rens> (-1: never, 0: only at depth freqofs)
0.09/0.15 c # [type: int, range: [-1,2147483647], default: 0]
0.09/0.15 c heuristics/rens/freq = -1
0.09/0.15 c
0.09/0.15 c # minimum percentage of integer variables that have to be fixable
0.09/0.15 c # [type: real, range: [0,1], default: 0.5]
0.09/0.15 c heuristics/rens/minfixingrate = 0.3
0.09/0.15 c
0.09/0.15 c # number of nodes added to the contingent of the total nodes
0.09/0.15 c # [type: longint, range: [0,9223372036854775807], default: 500]
0.09/0.15 c heuristics/rens/nodesofs = 2000
0.09/0.15 c
0.09/0.15 c # frequency for calling primal heuristic <rootsoldiving> (-1: never, 0: only at depth freqofs)
0.09/0.15 c # [type: int, range: [-1,2147483647], default: 20]
0.09/0.15 c heuristics/rootsoldiving/freq = -1
0.09/0.15 c
0.09/0.15 c # maximal fraction of diving LP iterations compared to node LP iterations
0.09/0.15 c # [type: real, range: [0,1.79769313486232e+308], default: 0.01]
0.09/0.15 c heuristics/rootsoldiving/maxlpiterquot = 0.015
0.09/0.15 c
0.09/0.15 c # additional number of allowed LP iterations
0.09/0.15 c # [type: int, range: [0,2147483647], default: 1000]
0.09/0.15 c heuristics/rootsoldiving/maxlpiterofs = 1500
0.09/0.15 c
0.09/0.15 c # frequency for calling primal heuristic <rounding> (-1: never, 0: only at depth freqofs)
0.09/0.15 c # [type: int, range: [-1,2147483647], default: 1]
0.09/0.15 c heuristics/rounding/freq = -1
0.09/0.15 c
0.09/0.15 c # frequency for calling primal heuristic <shifting> (-1: never, 0: only at depth freqofs)
0.09/0.15 c # [type: int, range: [-1,2147483647], default: 10]
0.09/0.15 c heuristics/shifting/freq = -1
0.09/0.15 c
0.09/0.15 c # frequency for calling primal heuristic <simplerounding> (-1: never, 0: only at depth freqofs)
0.09/0.15 c # [type: int, range: [-1,2147483647], default: 1]
0.09/0.15 c heuristics/simplerounding/freq = -1
0.09/0.15 c
0.09/0.15 c # frequency for calling primal heuristic <trivial> (-1: never, 0: only at depth freqofs)
0.09/0.15 c # [type: int, range: [-1,2147483647], default: 0]
0.09/0.15 c heuristics/trivial/freq = -1
0.09/0.15 c
0.09/0.15 c # frequency for calling primal heuristic <trysol> (-1: never, 0: only at depth freqofs)
0.09/0.15 c # [type: int, range: [-1,2147483647], default: 1]
0.09/0.15 c heuristics/trysol/freq = -1
0.09/0.15 c
0.09/0.15 c # frequency for calling primal heuristic <veclendiving> (-1: never, 0: only at depth freqofs)
0.09/0.15 c # [type: int, range: [-1,2147483647], default: 10]
0.09/0.15 c heuristics/veclendiving/freq = -1
0.09/0.15 c
0.09/0.15 c # maximal fraction of diving LP iterations compared to node LP iterations
0.09/0.15 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
0.09/0.15 c heuristics/veclendiving/maxlpiterquot = 0.075
0.09/0.15 c
0.09/0.15 c # additional number of allowed LP iterations
0.09/0.15 c # [type: int, range: [0,2147483647], default: 1000]
0.09/0.15 c heuristics/veclendiving/maxlpiterofs = 1500
0.09/0.15 c
0.09/0.15 c # frequency for calling primal heuristic <zirounding> (-1: never, 0: only at depth freqofs)
0.09/0.15 c # [type: int, range: [-1,2147483647], default: 1]
0.09/0.15 c heuristics/zirounding/freq = -1
0.09/0.15 c
0.09/0.15 c # frequency for calling separator <cmir> (-1: never, 0: only in root node)
0.09/0.15 c # [type: int, range: [-1,2147483647], default: 0]
0.09/0.15 c separating/cmir/freq = -1
0.09/0.15 c
0.09/0.15 c # frequency for calling separator <flowcover> (-1: never, 0: only in root node)
0.09/0.15 c # [type: int, range: [-1,2147483647], default: 0]
0.09/0.15 c separating/flowcover/freq = -1
0.09/0.15 c
0.09/0.15 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
0.09/0.15 c # [type: int, range: [-1,2147483647], default: -1]
0.09/0.15 c separating/rapidlearning/freq = 0
0.09/0.15 c
0.09/0.15 c -----------------------------------------------------------------------------------------------
0.09/0.15 c start solving
0.09/0.15 c
0.09/0.15 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
0.09/0.15 c 0.1s| 1 | 2 | 0 | - |2396k| 0 | - | 231 |2564 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
4.09/4.13 c 3.8s| 10000 | 8065 | 0 | 0.0 |7245k| 103 | - | 231 |4633 | 0 | 0 | 0 |2827 | 0 | 0.000000e+00 | -- | Inf
9.90/9.95 c 9.4s| 20000 | 14644 | 0 | 0.0 | 11M| 103 | - | 231 |5669 | 0 | 0 | 0 |7256 | 0 | 0.000000e+00 | -- | Inf
15.58/15.66 c 14.9s| 30000 | 22005 | 0 | 0.0 | 16M| 103 | - | 231 |6376 | 0 | 0 | 0 | 10k| 0 | 0.000000e+00 | -- | Inf
22.18/22.21 c 21.2s| 40000 | 28969 | 0 | 0.0 | 21M| 103 | - | 231 |7556 | 0 | 0 | 0 | 14k| 0 | 0.000000e+00 | -- | Inf
29.98/30.07 c 28.8s| 50000 | 35448 | 0 | 0.0 | 26M| 103 | - | 231 |8828 | 0 | 0 | 0 | 19k| 0 | 0.000000e+00 | -- | Inf
39.68/39.75 c 38.2s| 60000 | 41226 | 0 | 0.0 | 31M| 103 | - | 231 |9975 | 0 | 0 | 0 | 24k| 0 | 0.000000e+00 | -- | Inf
51.97/52.00 c 50.2s| 70000 | 46106 | 0 | 0.0 | 36M| 103 | - | 231 | 11k| 0 | 0 | 0 | 31k| 0 | 0.000000e+00 | -- | Inf
66.37/66.40 c 64.3s| 80000 | 50399 | 0 | 0.0 | 41M| 103 | - | 231 | 12k| 0 | 0 | 0 | 39k| 0 | 0.000000e+00 | -- | Inf
85.67/85.70 c 83.2s| 90000 | 53089 | 0 | 0.0 | 46M| 103 | - | 231 | 14k| 0 | 0 | 0 | 48k| 0 | 0.000000e+00 | -- | Inf
103.27/103.36 c 101s|100000 | 57229 | 0 | 0.0 | 50M| 103 | - | 231 | 12k| 0 | 0 | 0 | 55k| 0 | 0.000000e+00 | -- | Inf
115.55/115.66 c 113s|110000 | 63758 | 0 | 0.0 | 55M| 103 | - | 231 | 12k| 0 | 0 | 0 | 60k| 0 | 0.000000e+00 | -- | Inf
127.75/127.88 c 125s|120000 | 70242 | 0 | 0.0 | 59M| 103 | - | 231 | 12k| 0 | 0 | 0 | 65k| 0 | 0.000000e+00 | -- | Inf
140.23/140.35 c 137s|130000 | 76563 | 0 | 0.0 | 64M| 103 | - | 231 | 12k| 0 | 0 | 0 | 70k| 0 | 0.000000e+00 | -- | Inf
153.72/153.86 c 150s|140000 | 82540 | 0 | 0.0 | 69M| 103 | - | 231 | 13k| 0 | 0 | 0 | 75k| 0 | 0.000000e+00 | -- | Inf
167.13/167.27 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
167.13/167.27 c 163s|150000 | 88532 | 0 | 0.0 | 74M| 103 | - | 231 | 13k| 0 | 0 | 0 | 81k| 0 | 0.000000e+00 | -- | Inf
181.91/182.09 c 178s|160000 | 94063 | 0 | 0.0 | 78M| 103 | - | 231 | 13k| 0 | 0 | 0 | 87k| 0 | 0.000000e+00 | -- | Inf
200.92/201.07 c 196s|170000 | 98198 | 0 | 0.0 | 84M| 103 | - | 231 | 14k| 0 | 0 | 0 | 94k| 0 | 0.000000e+00 | -- | Inf
221.31/221.45 c 216s|180000 |102158 | 0 | 0.0 | 89M| 103 | - | 231 | 15k| 0 | 0 | 0 | 102k| 0 | 0.000000e+00 | -- | Inf
243.49/243.63 c 238s|190000 |105822 | 0 | 0.0 | 94M| 103 | - | 231 | 16k| 0 | 0 | 0 | 110k| 0 | 0.000000e+00 | -- | Inf
266.99/267.17 c 261s|200000 |109309 | 0 | 0.0 | 99M| 103 | - | 231 | 17k| 0 | 0 | 0 | 119k| 0 | 0.000000e+00 | -- | Inf
291.08/291.26 c 285s|210000 |112704 | 0 | 0.0 | 104M| 103 | - | 231 | 18k| 0 | 0 | 0 | 127k| 0 | 0.000000e+00 | -- | Inf
316.58/316.80 c 310s|220000 |115968 | 0 | 0.0 | 109M| 103 | - | 231 | 19k| 0 | 0 | 0 | 136k| 0 | 0.000000e+00 | -- | Inf
344.07/344.21 c 337s|230000 |118810 | 0 | 0.0 | 114M| 103 | - | 231 | 19k| 0 | 0 | 0 | 145k| 0 | 0.000000e+00 | -- | Inf
373.05/373.27 c 366s|240000 |121380 | 0 | 0.0 | 118M| 103 | - | 231 | 20k| 0 | 0 | 0 | 155k| 0 | 0.000000e+00 | -- | Inf
402.85/403.02 c 396s|250000 |123861 | 0 | 0.0 | 123M| 103 | - | 231 | 21k| 0 | 0 | 0 | 164k| 0 | 0.000000e+00 | -- | Inf
435.23/435.46 c 428s|260000 |125853 | 0 | 0.0 | 127M| 103 | - | 231 | 21k| 0 | 0 | 0 | 175k| 0 | 0.000000e+00 | -- | Inf
469.43/469.69 c 461s|270000 |127530 | 0 | 0.0 | 132M| 103 | - | 231 | 22k| 0 | 0 | 0 | 185k| 0 | 0.000000e+00 | -- | Inf
504.81/505.02 c 496s|280000 |129060 | 0 | 0.0 | 136M| 103 | - | 231 | 23k| 0 | 0 | 0 | 196k| 0 | 0.000000e+00 | -- | Inf
542.69/542.93 c 534s|290000 |129995 | 0 | 0.0 | 140M| 103 | - | 231 | 24k| 0 | 0 | 0 | 208k| 0 | 0.000000e+00 | -- | Inf
584.38/584.61 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
584.38/584.61 c 575s|300000 |130120 | 0 | 0.0 | 144M| 103 | - | 231 | 25k| 0 | 0 | 0 | 220k| 0 | 0.000000e+00 | -- | Inf
629.37/629.69 c 620s|310000 |129723 | 0 | 0.0 | 147M| 103 | - | 231 | 26k| 0 | 0 | 0 | 234k| 0 | 0.000000e+00 | -- | Inf
683.26/683.51 c 673s|320000 |127845 | 0 | 0.0 | 148M| 103 | - | 231 | 26k| 0 | 0 | 0 | 247k| 0 | 0.000000e+00 | -- | Inf
719.74/720.04 c 709s|330000 |131542 | 0 | 0.0 | 151M| 103 | - | 231 | 23k| 0 | 0 | 0 | 256k| 0 | 0.000000e+00 | -- | Inf
753.93/754.23 c 743s|340000 |135296 | 0 | 0.0 | 156M| 103 | - | 231 | 23k| 0 | 0 | 0 | 264k| 0 | 0.000000e+00 | -- | Inf
790.22/790.59 c 779s|350000 |138709 | 0 | 0.0 | 161M| 103 | - | 231 | 24k| 0 | 0 | 0 | 273k| 0 | 0.000000e+00 | -- | Inf
829.41/829.78 c 818s|360000 |141574 | 0 | 0.0 | 166M| 103 | - | 231 | 24k| 0 | 0 | 0 | 282k| 0 | 0.000000e+00 | -- | Inf
869.29/869.68 c 858s|370000 |144320 | 0 | 0.0 | 171M| 103 | - | 231 | 25k| 0 | 0 | 0 | 292k| 0 | 0.000000e+00 | -- | Inf
913.08/913.47 c 901s|380000 |146474 | 0 | 0.0 | 176M| 103 | - | 231 | 25k| 0 | 0 | 0 | 302k| 0 | 0.000000e+00 | -- | Inf
957.87/958.22 c 945s|390000 |148475 | 0 | 0.0 | 181M| 103 | - | 231 | 26k| 0 | 0 | 0 | 312k| 0 | 0.000000e+00 | -- | Inf
1003.06/1003.42 c 990s|400000 |150265 | 0 | 0.0 | 186M| 103 | - | 231 | 26k| 0 | 0 | 0 | 323k| 0 | 0.000000e+00 | -- | Inf
1048.84/1049.24 c 1036s|410000 |152167 | 0 | 0.0 | 190M| 103 | - | 231 | 27k| 0 | 0 | 0 | 333k| 0 | 0.000000e+00 | -- | Inf
1101.22/1101.63 c 1088s|420000 |152872 | 0 | 0.0 | 194M| 103 | - | 231 | 27k| 0 | 0 | 0 | 345k| 0 | 0.000000e+00 | -- | Inf
1146.31/1146.76 c 1132s|430000 |154849 | 0 | 0.0 | 199M| 103 | - | 231 | 28k| 0 | 0 | 0 | 355k| 0 | 0.000000e+00 | -- | Inf
1201.99/1202.46 c 1188s|440000 |155223 | 0 | 0.0 | 203M| 103 | - | 231 | 29k| 0 | 0 | 0 | 367k| 0 | 0.000000e+00 | -- | Inf
1252.78/1253.30 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1252.78/1253.30 c 1238s|450000 |156351 | 0 | 0.0 | 207M| 103 | - | 231 | 29k| 0 | 0 | 0 | 378k| 0 | 0.000000e+00 | -- | Inf
1310.86/1311.39 c 1296s|460000 |156560 | 0 | 0.0 | 210M| 103 | - | 231 | 30k| 0 | 0 | 0 | 391k| 0 | 0.000000e+00 | -- | Inf
1370.16/1370.64 c 1355s|470000 |156364 | 0 | 0.0 | 214M| 103 | - | 231 | 31k| 0 | 0 | 0 | 403k| 0 | 0.000000e+00 | -- | Inf
1429.23/1429.72 c 1413s|480000 |156552 | 0 | 0.0 | 218M| 103 | - | 231 | 31k| 0 | 0 | 0 | 416k| 0 | 0.000000e+00 | -- | Inf
1495.31/1495.80 c 1479s|490000 |155784 | 0 | 0.0 | 220M| 103 | - | 231 | 32k| 0 | 0 | 0 | 429k| 0 | 0.000000e+00 | -- | Inf
1556.19/1556.79 c 1540s|500000 |155618 | 0 | 0.0 | 224M| 103 | - | 231 | 33k| 0 | 0 | 0 | 442k| 0 | 0.000000e+00 | -- | Inf
1626.67/1627.22 c 1610s|510000 |154261 | 0 | 0.0 | 226M| 103 | - | 231 | 33k| 0 | 0 | 0 | 456k| 0 | 0.000000e+00 | -- | Inf
1697.53/1698.14 c 1680s|520000 |152929 | 0 | 0.0 | 228M| 103 | - | 231 | 35k| 0 | 0 | 0 | 470k| 0 | 0.000000e+00 | -- | Inf
1768.01/1768.68 c 1750s|530000 |151752 | 0 | 0.0 | 230M| 103 | - | 231 | 36k| 0 | 0 | 0 | 484k| 0 | 0.000000e+00 | -- | Inf
1800.02/1800.61 c pressed CTRL-C 1 times (5 times for forcing termination)
1800.02/1800.62 c
1800.02/1800.62 c SCIP Status : solving was interrupted [user interrupt]
1800.02/1800.62 c Solving Time (sec) : 1781.80
1800.02/1800.62 c Solving Nodes : 534292
1800.02/1800.62 c Primal Bound : +1.00000000000000e+20 (0 solutions)
1800.02/1800.62 c Dual Bound : +0.00000000000000e+00
1800.02/1800.62 c Gap : infinite
1800.02/1800.62 s UNKNOWN
1800.02/1800.62 c SCIP Status : solving was interrupted [user interrupt]
1800.02/1800.62 c Solving Time : 1781.80
1800.02/1800.62 c Original Problem :
1800.02/1800.62 c Problem name : HOME/instance-2664129-1276297130.opb
1800.02/1800.62 c Variables : 231 (231 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.02/1800.62 c Constraints : 2707 initial, 2707 maximal
1800.02/1800.62 c Presolved Problem :
1800.02/1800.62 c Problem name : t_HOME/instance-2664129-1276297130.opb
1800.02/1800.62 c Variables : 231 (231 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.02/1800.62 c Constraints : 2564 initial, 36765 maximal
1800.02/1800.62 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs
1800.02/1800.62 c trivial : 0.00 0 0 0 0 0 0 0 0
1800.02/1800.62 c dualfix : 0.00 0 0 0 0 0 0 0 0
1800.02/1800.62 c boundshift : 0.00 0 0 0 0 0 0 0 0
1800.02/1800.62 c inttobinary : 0.00 0 0 0 0 0 0 0 0
1800.02/1800.62 c implics : 0.00 0 0 0 0 0 0 0 0
1800.02/1800.62 c probing : 0.00 0 0 0 0 0 0 0 0
1800.02/1800.62 c knapsack : 0.00 0 0 0 0 0 0 0 0
1800.02/1800.62 c setppc : 0.00 0 0 0 0 0 0 0 0
1800.02/1800.62 c linear : 0.02 0 0 0 0 0 143 0 0
1800.02/1800.62 c logicor : 0.02 0 0 0 0 0 0 0 0
1800.02/1800.62 c root node : - 0 - - 0 - - - -
1800.02/1800.62 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children
1800.02/1800.62 c integral : 0 0 0 0 0 0 0 0 0 0
1800.02/1800.62 c knapsack : 1 0 1929410 0 393291 76976 6418702 0 0 0
1800.02/1800.62 c setppc : 22 0 1867444 0 393291 87950 2497872 0 0 0
1800.02/1800.62 c logicor : 2541+ 0 1513958 0 393289 64469 6425509 0 0 0
1800.02/1800.62 c countsols : 0 0 0 0 393272 0 0 0 0 0
1800.02/1800.62 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS
1800.02/1800.62 c integral : 0.00 0.00 0.00 0.00 0.00
1800.02/1800.62 c knapsack : 47.58 0.00 45.32 0.00 2.26
1800.02/1800.62 c setppc : 34.06 0.00 29.05 0.00 5.01
1800.02/1800.62 c logicor : 930.35 0.00 880.26 0.00 50.09
1800.02/1800.62 c countsols : 0.14 0.00 0.00 0.00 0.14
1800.02/1800.62 c Propagators : Time Calls Cutoffs DomReds
1800.02/1800.62 c vbounds : 1.04 1 0 0
1800.02/1800.62 c rootredcost : 1.15 0 0 0
1800.02/1800.62 c pseudoobj : 1.12 0 0 0
1800.02/1800.62 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1800.02/1800.62 c propagation : 13.58 229395 229336 1050812 16.7 4304 20.2 -
1800.02/1800.62 c infeasible LP : 0.00 0 0 0 0.0 0 0.0 0
1800.02/1800.62 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1800.02/1800.62 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1800.02/1800.62 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 -
1800.02/1800.62 c applied globally : - - - 488904 13.6 - - -
1800.02/1800.62 c applied locally : - - - 2281 35.4 - - -
1800.02/1800.62 c Separators : Time Calls Cutoffs DomReds Cuts Conss
1800.02/1800.62 c cut pool : 0.00 0 - - 0 - (maximal pool size: 0)
1800.02/1800.62 c redcost : 0.00 0 0 0 0 0
1800.02/1800.62 c impliedbounds : 0.00 0 0 0 0 0
1800.02/1800.62 c intobj : 0.00 0 0 0 0 0
1800.02/1800.62 c cgmip : 0.00 0 0 0 0 0
1800.02/1800.62 c gomory : 0.00 0 0 0 0 0
1800.02/1800.62 c strongcg : 0.00 0 0 0 0 0
1800.02/1800.62 c cmir : 0.00 0 0 0 0 0
1800.02/1800.62 c flowcover : 0.00 0 0 0 0 0
1800.02/1800.62 c clique : 0.00 0 0 0 0 0
1800.02/1800.62 c zerohalf : 0.00 0 0 0 0 0
1800.02/1800.62 c mcf : 0.00 0 0 0 0 0
1800.02/1800.62 c rapidlearning : 0.00 0 0 0 0 0
1800.02/1800.62 c Pricers : Time Calls Vars
1800.02/1800.62 c problem variables: 0.00 0 0
1800.02/1800.62 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
1800.02/1800.62 c relpscost : 0.00 0 0 0 0 0 0
1800.02/1800.62 c pscost : 0.00 0 0 0 0 0 0
1800.02/1800.62 c inference : 11.44 393272 0 0 0 0 786544
1800.02/1800.62 c mostinf : 0.00 0 0 0 0 0 0
1800.02/1800.62 c leastinf : 0.00 0 0 0 0 0 0
1800.02/1800.62 c fullstrong : 0.00 0 0 0 0 0 0
1800.02/1800.62 c allfullstrong : 0.00 0 0 0 0 0 0
1800.02/1800.62 c random : 0.00 0 0 0 0 0 0
1800.02/1800.62 c Primal Heuristics : Time Calls Found
1800.02/1800.62 c LP solutions : 0.00 - 0
1800.02/1800.62 c pseudo solutions : 0.00 - 0
1800.02/1800.62 c trivial : 0.01 1 0
1800.02/1800.62 c simplerounding : 0.00 0 0
1800.02/1800.62 c zirounding : 0.00 0 0
1800.02/1800.62 c rounding : 0.00 0 0
1800.02/1800.62 c shifting : 0.00 0 0
1800.02/1800.62 c intshifting : 0.00 0 0
1800.02/1800.62 c oneopt : 0.00 0 0
1800.02/1800.62 c twoopt : 0.00 0 0
1800.02/1800.62 c fixandinfer : 0.00 0 0
1800.02/1800.62 c feaspump : 0.00 0 0
1800.02/1800.62 c coefdiving : 0.00 0 0
1800.02/1800.62 c pscostdiving : 0.00 0 0
1800.02/1800.62 c fracdiving : 0.00 0 0
1800.02/1800.62 c veclendiving : 0.00 0 0
1800.02/1800.62 c intdiving : 0.00 0 0
1800.02/1800.62 c actconsdiving : 0.00 0 0
1800.02/1800.62 c objpscostdiving : 0.00 0 0
1800.02/1800.62 c rootsoldiving : 0.00 0 0
1800.02/1800.62 c linesearchdiving : 0.00 0 0
1800.02/1800.62 c guideddiving : 0.00 0 0
1800.02/1800.62 c octane : 0.00 0 0
1800.02/1800.62 c rens : 0.00 0 0
1800.02/1800.62 c rins : 0.00 0 0
1800.02/1800.62 c localbranching : 0.00 0 0
1800.02/1800.62 c mutation : 0.00 0 0
1800.02/1800.62 c crossover : 0.00 0 0
1800.02/1800.62 c dins : 0.00 0 0
1800.02/1800.62 c undercover : 0.00 0 0
1800.02/1800.62 c nlp : 0.00 0 0
1800.02/1800.62 c trysol : 0.00 0 0
1800.02/1800.62 c LP : Time Calls Iterations Iter/call Iter/sec
1800.02/1800.62 c primal LP : 0.00 0 0 0.00 -
1800.02/1800.62 c dual LP : 0.00 0 0 0.00 -
1800.02/1800.62 c lex dual LP : 0.00 0 0 0.00 -
1800.02/1800.62 c barrier LP : 0.00 0 0 0.00 -
1800.02/1800.62 c diving/probing LP: 0.00 0 0 0.00 -
1800.02/1800.62 c strong branching : 0.00 0 0 0.00 -
1800.02/1800.62 c (at root node) : - 0 0 0.00 -
1800.02/1800.62 c conflict analysis: 0.00 0 0 0.00 -
1800.02/1800.62 c B&B Tree :
1800.02/1800.62 c number of runs : 1
1800.02/1800.62 c nodes : 534292
1800.02/1800.62 c nodes (total) : 534292
1800.02/1800.62 c nodes left : 151042
1800.02/1800.62 c max depth : 103
1800.02/1800.62 c max depth (total): 103
1800.02/1800.62 c backtracks : 144337 (27.0%)
1800.02/1800.62 c delayed cutoffs : 101211
1800.02/1800.62 c repropagations : 445562 (4933778 domain reductions, 88375 cutoffs)
1800.02/1800.62 c avg switch length: 14.79
1800.02/1800.62 c switching time : 490.43
1800.02/1800.62 c Solution :
1800.02/1800.62 c Solutions found : 0 (0 improvements)
1800.02/1800.62 c Primal Bound : -
1800.02/1800.62 c Dual Bound : +0.00000000000000e+00
1800.02/1800.62 c Gap : infinite
1800.02/1800.62 c Root Dual Bound : +0.00000000000000e+00
1800.02/1800.62 c Root Iterations : 0
1800.90/1801.51 c Time complete: 1800.92.
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-2664129-1276297130/watcher-2664129-1276297130 -o /tmp/evaluation-result-2664129-1276297130/solver-2664129-1276297130 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt.none -f HOME/instance-2664129-1276297130.opb -t 1800 -m 1800 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2000 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 1.00 1.00 1.00 3/106 6799 /proc/meminfo: memFree=1546312/2059040 swapFree=4192956/4192956 [pid=6799] ppid=6797 vsize=6584 CPUtime=0 /proc/6799/stat : 6799 (pbscip.linux.x8) R 6797 6799 6335 0 -1 4202496 969 0 0 0 0 0 0 0 24 0 1 0 5316648 6742016 893 1992294400 4194304 7136930 140734506556192 18446744073709551615 6346613 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/6799/statm: 1646 902 254 719 0 925 0 [startup+0.057127 s] /proc/loadavg: 1.00 1.00 1.00 3/106 6799 /proc/meminfo: memFree=1546312/2059040 swapFree=4192956/4192956 [pid=6799] ppid=6797 vsize=9652 CPUtime=0.05 /proc/6799/stat : 6799 (pbscip.linux.x8) R 6797 6799 6335 0 -1 4202496 1913 0 0 0 5 0 0 0 24 0 1 0 5316648 9883648 1836 1992294400 4194304 7136930 140734506556192 18446744073709551615 5652266 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/6799/statm: 2413 1836 268 719 0 1692 0 Current children cumulated CPU time (s) 0.05 Current children cumulated vsize (KiB) 9652 [startup+0.101132 s] /proc/loadavg: 1.00 1.00 1.00 3/106 6799 /proc/meminfo: memFree=1546312/2059040 swapFree=4192956/4192956 [pid=6799] ppid=6797 vsize=15052 CPUtime=0.09 /proc/6799/stat : 6799 (pbscip.linux.x8) R 6797 6799 6335 0 -1 4202496 3663 0 0 0 8 1 0 0 24 0 1 0 5316648 15413248 2975 1992294400 4194304 7136930 140734506556192 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/6799/statm: 3763 2975 345 719 0 3042 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 15052 [startup+0.301154 s] /proc/loadavg: 1.00 1.00 1.00 3/106 6799 /proc/meminfo: memFree=1546312/2059040 swapFree=4192956/4192956 [pid=6799] ppid=6797 vsize=17104 CPUtime=0.29 /proc/6799/stat : 6799 (pbscip.linux.x8) R 6797 6799 6335 0 -1 4202496 6815 0 0 0 26 3 0 0 25 0 1 0 5316648 17514496 3557 1992294400 4194304 7136930 140734506556192 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/6799/statm: 4276 3557 391 719 0 3555 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 17104 [startup+0.701201 s] /proc/loadavg: 1.00 1.00 1.00 3/106 6799 /proc/meminfo: memFree=1546312/2059040 swapFree=4192956/4192956 [pid=6799] ppid=6797 vsize=17632 CPUtime=0.69 /proc/6799/stat : 6799 (pbscip.linux.x8) R 6797 6799 6335 0 -1 4202496 6933 0 0 0 65 4 0 0 25 0 1 0 5316648 18055168 3675 1992294400 4194304 7136930 140734506556192 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/6799/statm: 4408 3675 391 719 0 3687 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 17632 [startup+1.50029 s] /proc/loadavg: 1.00 1.00 1.00 2/107 6800 /proc/meminfo: memFree=1532168/2059040 swapFree=4192956/4192956 [pid=6799] ppid=6797 vsize=19176 CPUtime=1.49 /proc/6799/stat : 6799 (pbscip.linux.x8) R 6797 6799 6335 0 -1 4202496 7327 0 0 0 140 9 0 0 25 0 1 0 5316648 19636224 4069 1992294400 4194304 7136930 140734506556192 18446744073709551615 5005110 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/6799/statm: 4794 4069 391 719 0 4073 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 19176 [startup+3.10048 s] /proc/loadavg: 1.00 1.00 1.00 2/107 6800 /proc/meminfo: memFree=1529688/2059040 swapFree=4192956/4192956 [pid=6799] ppid=6797 vsize=21524 CPUtime=3.09 /proc/6799/stat : 6799 (pbscip.linux.x8) R 6797 6799 6335 0 -1 4202496 7949 0 0 0 290 19 0 0 25 0 1 0 5316648 22040576 4691 1992294400 4194304 7136930 140734506556192 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/6799/statm: 5381 4691 391 719 0 4660 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 21524 [startup+6.30085 s] /proc/loadavg: 1.00 1.00 1.00 2/107 6800 /proc/meminfo: memFree=1525348/2059040 swapFree=4192956/4192956 [pid=6799] ppid=6797 vsize=25656 CPUtime=6.29 /proc/6799/stat : 6799 (pbscip.linux.x8) R 6797 6799 6335 0 -1 4202496 8967 0 0 0 597 32 0 0 25 0 1 0 5316648 26271744 5709 1992294400 4194304 7136930 140734506556192 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/6799/statm: 6414 5709 391 719 0 5693 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 25656 [startup+12.7006 s] /proc/loadavg: 1.00 1.00 1.00 2/107 6802 /proc/meminfo: memFree=1518156/2059040 swapFree=4192956/4192956 [pid=6799] ppid=6797 vsize=32316 CPUtime=12.69 /proc/6799/stat : 6799 (pbscip.linux.x8) R 6797 6799 6335 0 -1 4202496 10649 0 0 0 1209 60 0 0 25 0 1 0 5316648 33091584 7391 1992294400 4194304 7136930 140734506556192 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/6799/statm: 8079 7391 391 719 0 7358 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 32316 [startup+25.5011 s] /proc/loadavg: 1.00 1.00 1.00 2/107 6802 /proc/meminfo: memFree=1505508/2059040 swapFree=4192956/4192956 [pid=6799] ppid=6797 vsize=44436 CPUtime=25.49 /proc/6799/stat : 6799 (pbscip.linux.x8) R 6797 6799 6335 0 -1 4202496 13747 0 0 0 2444 105 0 0 25 0 1 0 5316648 45502464 10489 1992294400 4194304 7136930 140734506556192 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/6799/statm: 11109 10489 391 719 0 10388 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 44436 [startup+51.101 s] /proc/loadavg: 1.00 1.00 1.00 2/107 6802 /proc/meminfo: memFree=1491124/2059040 swapFree=4192956/4192956 [pid=6799] ppid=6797 vsize=58544 CPUtime=51.08 /proc/6799/stat : 6799 (pbscip.linux.x8) R 6797 6799 6335 0 -1 4202496 17282 0 0 0 4936 172 0 0 25 0 1 0 5316648 59949056 14024 1992294400 4194304 7136930 140734506556192 18446744073709551615 4999811 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/6799/statm: 14636 14024 391 719 0 13915 0 Current children cumulated CPU time (s) 51.08 Current children cumulated vsize (KiB) 58544 [startup+102.309 s] /proc/loadavg: 1.00 1.00 1.00 2/107 6804 /proc/meminfo: memFree=1471284/2059040 swapFree=4192956/4192956 [pid=6799] ppid=6797 vsize=78012 CPUtime=102.27 /proc/6799/stat : 6799 (pbscip.linux.x8) R 6797 6799 6335 0 -1 4202496 22176 0 0 0 9956 271 0 0 25 0 1 0 5316648 79884288 18918 1992294400 4194304 7136930 140734506556192 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/6799/statm: 19503 18918 391 719 0 18782 0 Current children cumulated CPU time (s) 102.27 Current children cumulated vsize (KiB) 78012 [startup+162.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 6815 /proc/meminfo: memFree=1443136/2059040 swapFree=4192956/4192956 [pid=6799] ppid=6797 vsize=108032 CPUtime=162.22 /proc/6799/stat : 6799 (pbscip.linux.x8) R 6797 6799 6335 0 -1 4202496 29205 0 0 0 15826 396 0 0 25 0 1 0 5316648 110624768 25947 1992294400 4194304 7136930 140734506556192 18446744073709551615 4210588 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/6799/statm: 27008 25947 391 719 0 26287 0 Current children cumulated CPU time (s) 162.22 Current children cumulated vsize (KiB) 108032 [startup+222.302 s] /proc/loadavg: 1.00 1.00 1.00 2/107 6815 /proc/meminfo: memFree=1423420/2059040 swapFree=4192956/4192956 [pid=6799] ppid=6797 vsize=127632 CPUtime=222.2 /proc/6799/stat : 6799 (pbscip.linux.x8) R 6797 6799 6335 0 -1 4202496 34084 0 0 0 21722 498 0 0 25 0 1 0 5316648 130695168 30826 1992294400 4194304 7136930 140734506556192 18446744073709551615 4999875 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/6799/statm: 31908 30826 391 719 0 31187 0 Current children cumulated CPU time (s) 222.2 Current children cumulated vsize (KiB) 127632 [startup+282.302 s] /proc/loadavg: 1.00 1.00 1.00 2/107 6817 /proc/meminfo: memFree=1408044/2059040 swapFree=4192956/4192956 [pid=6799] ppid=6797 vsize=142872 CPUtime=282.18 /proc/6799/stat : 6799 (pbscip.linux.x8) R 6797 6799 6335 0 -1 4202496 37904 0 0 0 27641 577 0 0 25 0 1 0 5316648 146300928 34646 1992294400 4194304 7136930 140734506556192 18446744073709551615 4212307 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/6799/statm: 35718 34646 391 719 0 34997 0 Current children cumulated CPU time (s) 282.18 Current children cumulated vsize (KiB) 142872 [startup+342.302 s] /proc/loadavg: 1.00 1.00 1.00 2/107 6819 /proc/meminfo: memFree=1396016/2059040 swapFree=4192956/4192956 [pid=6799] ppid=6797 vsize=154780 CPUtime=342.16 /proc/6799/stat : 6799 (pbscip.linux.x8) R 6797 6799 6335 0 -1 4202496 40892 0 0 0 33565 651 0 0 25 0 1 0 5316648 158494720 37634 1992294400 4194304 7136930 140734506556192 18446744073709551615 4219807 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/6799/statm: 38695 37634 391 719 0 37974 0 Current children cumulated CPU time (s) 342.16 Current children cumulated vsize (KiB) 154780 [startup+402.302 s] /proc/loadavg: 1.00 1.00 1.00 2/107 6821 /proc/meminfo: memFree=1383120/2059040 swapFree=4192956/4192956 [pid=6799] ppid=6797 vsize=167724 CPUtime=402.14 /proc/6799/stat : 6799 (pbscip.linux.x8) R 6797 6799 6335 0 -1 4202496 44082 0 0 0 39495 719 0 0 25 0 1 0 5316648 171749376 40824 1992294400 4194304 7136930 140734506556192 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/6799/statm: 41931 40824 391 719 0 41210 0 Current children cumulated CPU time (s) 402.14 Current children cumulated vsize (KiB) 167724 [startup+462.302 s] /proc/loadavg: 1.00 1.00 1.00 2/107 6823 /proc/meminfo: memFree=1374688/2059040 swapFree=4192956/4192956 [pid=6799] ppid=6797 vsize=176340 CPUtime=462.12 /proc/6799/stat : 6799 (pbscip.linux.x8) R 6797 6799 6335 0 -1 4202496 46205 0 0 0 45423 789 0 0 25 0 1 0 5316648 180572160 42947 1992294400 4194304 7136930 140734506556192 18446744073709551615 4223056 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/6799/statm: 44085 42947 391 719 0 43364 0 Current children cumulated CPU time (s) 462.12 Current children cumulated vsize (KiB) 176340 [startup+522.302 s] /proc/loadavg: 1.00 1.00 1.00 2/107 6823 /proc/meminfo: memFree=1367620/2059040 swapFree=4192956/4192956 [pid=6799] ppid=6797 vsize=183520 CPUtime=522.1 /proc/6799/stat : 6799 (pbscip.linux.x8) R 6797 6799 6335 0 -1 4202496 47935 0 0 0 51360 850 0 0 25 0 1 0 5316648 187924480 44677 1992294400 4194304 7136930 140734506556192 18446744073709551615 4210588 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/6799/statm: 45880 44677 391 719 0 45159 0 Current children cumulated CPU time (s) 522.1 Current children cumulated vsize (KiB) 183520 [startup+582.302 s] /proc/loadavg: 1.00 1.00 1.00 2/107 6825 /proc/meminfo: memFree=1359560/2059040 swapFree=4192956/4192956 [pid=6799] ppid=6797 vsize=191308 CPUtime=582.08 /proc/6799/stat : 6799 (pbscip.linux.x8) R 6797 6799 6335 0 -1 4202496 49918 0 0 0 57299 909 0 0 25 0 1 0 5316648 195899392 46660 1992294400 4194304 7136930 140734506556192 18446744073709551615 4210588 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/6799/statm: 47827 46660 391 719 0 47106 0 Current children cumulated CPU time (s) 582.08 Current children cumulated vsize (KiB) 191308 [startup+642.302 s] /proc/loadavg: 1.00 1.00 1.00 2/107 6827 /proc/meminfo: memFree=1355096/2059040 swapFree=4192956/4192956 [pid=6799] ppid=6797 vsize=195724 CPUtime=642.07 /proc/6799/stat : 6799 (pbscip.linux.x8) R 6797 6799 6335 0 -1 4202496 51020 0 0 0 63243 964 0 0 25 0 1 0 5316648 200421376 47762 1992294400 4194304 7136930 140734506556192 18446744073709551615 4999811 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/6799/statm: 48931 47762 391 719 0 48210 0 Current children cumulated CPU time (s) 642.07 Current children cumulated vsize (KiB) 195724 [startup+702.301 s] ################ # More data... # ################ [startup+1002.3 s] /proc/loadavg: 1.01 1.01 1.00 2/107 6840 /proc/meminfo: memFree=1302024/2059040 swapFree=4192956/4192956 [pid=6799] ppid=6797 vsize=248492 CPUtime=1001.95 /proc/6799/stat : 6799 (pbscip.linux.x8) R 6797 6799 6335 0 -1 4202496 64060 0 0 0 98916 1279 0 0 25 0 1 0 5316648 254455808 60802 1992294400 4194304 7136930 140734506556192 18446744073709551615 4210588 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/6799/statm: 62123 60802 391 719 0 61402 0 Current children cumulated CPU time (s) 1001.95 Current children cumulated vsize (KiB) 248492 [startup+1062.3 s] /proc/loadavg: 1.04 1.02 1.00 2/107 6842 /proc/meminfo: memFree=1296196/2059040 swapFree=4192956/4192956 [pid=6799] ppid=6797 vsize=254460 CPUtime=1061.93 /proc/6799/stat : 6799 (pbscip.linux.x8) R 6797 6799 6335 0 -1 4202496 65536 0 0 0 104865 1328 0 0 25 0 1 0 5316648 260567040 62278 1992294400 4194304 7136930 140734506556192 18446744073709551615 4999811 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/6799/statm: 63615 62278 391 719 0 62894 0 Current children cumulated CPU time (s) 1061.93 Current children cumulated vsize (KiB) 254460 [startup+1122.3 s] /proc/loadavg: 1.01 1.01 1.00 2/107 6842 /proc/meminfo: memFree=1289996/2059040 swapFree=4192956/4192956 [pid=6799] ppid=6797 vsize=260760 CPUtime=1121.92 /proc/6799/stat : 6799 (pbscip.linux.x8) R 6797 6799 6335 0 -1 4202496 67082 0 0 0 110819 1373 0 0 25 0 1 0 5316648 267018240 63824 1992294400 4194304 7136930 140734506556192 18446744073709551615 4210349 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/6799/statm: 65190 63824 391 719 0 64469 0 Current children cumulated CPU time (s) 1121.92 Current children cumulated vsize (KiB) 260760 [startup+1182.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 6844 /proc/meminfo: memFree=1287020/2059040 swapFree=4192956/4192956 [pid=6799] ppid=6797 vsize=263632 CPUtime=1181.9 /proc/6799/stat : 6799 (pbscip.linux.x8) R 6797 6799 6335 0 -1 4202496 67840 0 0 0 116774 1416 0 0 25 0 1 0 5316648 269959168 64582 1992294400 4194304 7136930 140734506556192 18446744073709551615 4210118 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/6799/statm: 65908 64582 391 719 0 65187 0 Current children cumulated CPU time (s) 1181.9 Current children cumulated vsize (KiB) 263632 [startup+1242.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 6846 /proc/meminfo: memFree=1283052/2059040 swapFree=4192956/4192956 [pid=6799] ppid=6797 vsize=267836 CPUtime=1241.88 /proc/6799/stat : 6799 (pbscip.linux.x8) R 6797 6799 6335 0 -1 4202496 68844 0 0 0 122724 1464 0 0 25 0 1 0 5316648 274264064 65586 1992294400 4194304 7136930 140734506556192 18446744073709551615 4999811 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/6799/statm: 66959 65586 391 719 0 66238 0 Current children cumulated CPU time (s) 1241.88 Current children cumulated vsize (KiB) 267836 [startup+1302.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 6848 /proc/meminfo: memFree=1276108/2059040 swapFree=4192956/4192956 [pid=6799] ppid=6797 vsize=274568 CPUtime=1301.87 /proc/6799/stat : 6799 (pbscip.linux.x8) R 6797 6799 6335 0 -1 4202496 70505 0 0 0 128683 1504 0 0 25 0 1 0 5316648 281157632 67247 1992294400 4194304 7136930 140734506556192 18446744073709551615 5950410 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/6799/statm: 68642 67247 391 719 0 67921 0 Current children cumulated CPU time (s) 1301.87 Current children cumulated vsize (KiB) 274568 [startup+1362.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 6850 /proc/meminfo: memFree=1271768/2059040 swapFree=4192956/4192956 [pid=6799] ppid=6797 vsize=278764 CPUtime=1361.85 /proc/6799/stat : 6799 (pbscip.linux.x8) R 6797 6799 6335 0 -1 4202496 71612 0 0 0 134641 1544 0 0 25 0 1 0 5316648 285454336 68354 1992294400 4194304 7136930 140734506556192 18446744073709551615 4999811 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/6799/statm: 69691 68354 391 719 0 68970 0 Current children cumulated CPU time (s) 1361.85 Current children cumulated vsize (KiB) 278764 [startup+1422.31 s] /proc/loadavg: 1.00 1.00 1.00 2/107 6850 /proc/meminfo: memFree=1269040/2059040 swapFree=4192956/4192956 [pid=6799] ppid=6797 vsize=281880 CPUtime=1421.84 /proc/6799/stat : 6799 (pbscip.linux.x8) R 6797 6799 6335 0 -1 4202496 72314 0 0 0 140596 1588 0 0 25 0 1 0 5316648 288645120 69056 1992294400 4194304 7136930 140734506556192 18446744073709551615 4999811 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/6799/statm: 70470 69056 391 719 0 69749 0 Current children cumulated CPU time (s) 1421.84 Current children cumulated vsize (KiB) 281880 [startup+1482.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 6852 /proc/meminfo: memFree=1265196/2059040 swapFree=4192956/4192956 [pid=6799] ppid=6797 vsize=285612 CPUtime=1481.81 /proc/6799/stat : 6799 (pbscip.linux.x8) R 6797 6799 6335 0 -1 4202496 73246 0 0 0 146559 1622 0 0 25 0 1 0 5316648 292466688 69988 1992294400 4194304 7136930 140734506556192 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/6799/statm: 71403 69988 391 719 0 70682 0 Current children cumulated CPU time (s) 1481.81 Current children cumulated vsize (KiB) 285612 [startup+1542.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 6854 /proc/meminfo: memFree=1263336/2059040 swapFree=4192956/4192956 [pid=6799] ppid=6797 vsize=287680 CPUtime=1541.79 /proc/6799/stat : 6799 (pbscip.linux.x8) R 6797 6799 6335 0 -1 4202496 73716 0 0 0 152520 1659 0 0 25 0 1 0 5316648 294584320 70458 1992294400 4194304 7136930 140734506556192 18446744073709551615 4665896 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/6799/statm: 71920 70458 391 719 0 71199 0 Current children cumulated CPU time (s) 1541.79 Current children cumulated vsize (KiB) 287680 [startup+1602.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 6856 /proc/meminfo: memFree=1261848/2059040 swapFree=4192956/4192956 [pid=6799] ppid=6797 vsize=288984 CPUtime=1601.77 /proc/6799/stat : 6799 (pbscip.linux.x8) R 6797 6799 6335 0 -1 4202496 74056 0 0 0 158482 1695 0 0 25 0 1 0 5316648 295919616 70798 1992294400 4194304 7136930 140734506556192 18446744073709551615 4221536 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/6799/statm: 72246 70798 391 719 0 71525 0 Current children cumulated CPU time (s) 1601.77 Current children cumulated vsize (KiB) 288984 [startup+1662.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 6858 /proc/meminfo: memFree=1258004/2059040 swapFree=4192956/4192956 [pid=6799] ppid=6797 vsize=292700 CPUtime=1661.76 /proc/6799/stat : 6799 (pbscip.linux.x8) R 6797 6799 6335 0 -1 4202496 75009 0 0 0 164443 1733 0 0 25 0 1 0 5316648 299724800 71751 1992294400 4194304 7136930 140734506556192 18446744073709551615 4210629 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/6799/statm: 73175 71751 391 719 0 72454 0 Current children cumulated CPU time (s) 1661.76 Current children cumulated vsize (KiB) 292700 [startup+1722.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 6858 /proc/meminfo: memFree=1256392/2059040 swapFree=4192956/4192956 [pid=6799] ppid=6797 vsize=294116 CPUtime=1721.73 /proc/6799/stat : 6799 (pbscip.linux.x8) R 6797 6799 6335 0 -1 4202496 75365 0 0 0 170405 1768 0 0 25 0 1 0 5316648 301174784 72107 1992294400 4194304 7136930 140734506556192 18446744073709551615 4210588 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/6799/statm: 73529 72107 391 719 0 72808 0 Current children cumulated CPU time (s) 1721.73 Current children cumulated vsize (KiB) 294116 [startup+1782.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 6860 /proc/meminfo: memFree=1254532/2059040 swapFree=4192956/4192956 [pid=6799] ppid=6797 vsize=295688 CPUtime=1781.7 /proc/6799/stat : 6799 (pbscip.linux.x8) R 6797 6799 6335 0 -1 4202496 75784 0 0 0 176365 1805 0 0 25 0 1 0 5316648 302784512 72526 1992294400 4194304 7136930 140734506556192 18446744073709551615 4212307 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/6799/statm: 73922 72526 391 719 0 73201 0 Current children cumulated CPU time (s) 1781.7 Current children cumulated vsize (KiB) 295688 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.6 s] /proc/loadavg: 1.00 1.00 1.00 3/107 6860 /proc/meminfo: memFree=1254532/2059040 swapFree=4192956/4192956 [pid=6799] ppid=6797 vsize=295864 CPUtime=1800.02 /proc/6799/stat : 6799 (pbscip.linux.x8) R 6797 6799 6335 0 -1 4202496 75795 0 0 0 178185 1817 0 0 25 0 1 0 5316648 302964736 72537 1992294400 4194304 7136930 140734506556192 18446744073709551615 4999862 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/6799/statm: 73966 72537 391 719 0 73245 0 Current children cumulated CPU time (s) 1800.02 Current children cumulated vsize (KiB) 295864 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples [startup+1801 s] /proc/loadavg: 1.00 1.00 1.00 3/107 6860 /proc/meminfo: memFree=1254532/2059040 swapFree=4192956/4192956 [pid=6799] ppid=6797 vsize=296040 CPUtime=1800.4 /proc/6799/stat : 6799 (pbscip.linux.x8) R 6797 6799 6335 0 -1 4202496 75840 0 0 0 178223 1817 0 0 25 0 1 0 5316648 303144960 72582 1992294400 4194304 7136930 140734506556192 18446744073709551615 6165646 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/6799/statm: 74010 72582 396 719 0 73289 0 Current children cumulated CPU time (s) 1800.4 Current children cumulated vsize (KiB) 296040 [startup+1801.4 s] /proc/loadavg: 1.00 1.00 1.00 3/107 6860 /proc/meminfo: memFree=1254532/2059040 swapFree=4192956/4192956 [pid=6799] ppid=6797 vsize=292052 CPUtime=1800.8 /proc/6799/stat : 6799 (pbscip.linux.x8) R 6797 6799 6335 0 -1 4202496 75840 0 0 0 178263 1817 0 0 25 0 1 0 5316648 299061248 71585 1992294400 4194304 7136930 140734506556192 18446744073709551615 4997782 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/6799/statm: 73013 71585 396 719 0 72292 0 Current children cumulated CPU time (s) 1800.8 Current children cumulated vsize (KiB) 292052 [startup+1801.5 s] /proc/loadavg: 1.00 1.00 1.00 3/107 6860 /proc/meminfo: memFree=1254532/2059040 swapFree=4192956/4192956 [pid=6799] ppid=6797 vsize=140868 CPUtime=1800.9 /proc/6799/stat : 6799 (pbscip.linux.x8) R 6797 6799 6335 0 -1 4202496 75840 0 0 0 178271 1819 0 0 25 0 1 0 5316648 144248832 34205 1992294400 4194304 7136930 140734506556192 18446744073709551615 6360983 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/6799/statm: 35217 34055 396 719 0 34496 0 Current children cumulated CPU time (s) 1800.9 Current children cumulated vsize (KiB) 140868 Child status: 0 Real time (s): 1801.52 CPU time (s): 1800.93 CPU user time (s): 1782.72 CPU system time (s): 18.2092 CPU usage (%): 99.9672 Max. virtual memory (cumulated for all children) (KiB): 296040 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1782.72 system time used= 18.2092 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 75847 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= 3600 runsolver used 2.74158 second user time and 8.74767 second system time The end
Begin job on node006 at 2010-06-12 00:58:50 IDJOB=2664129 IDBENCH=1315 IDSOLVER=1167 FILE ID=node006/2664129-1276297130 PBS_JOBID= 11173117 Free space on /tmp= 62472 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.1900556231.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-2664129-1276297130/watcher-2664129-1276297130 -o /tmp/evaluation-result-2664129-1276297130/solver-2664129-1276297130 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt.none -f HOME/instance-2664129-1276297130.opb -t 1800 -m 1800 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= 12591fb3a3171df58322c5e93cb6a45b RANDOM SEED=893509358 node006.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.204 cache size : 2048 KB physical id : 0 siblings : 1 core id : 0 cpu cores : 1 apicid : 0 fpu : yes fpu_exception : yes cpuid level : 5 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm constant_tsc pni monitor ds_cpl cid cx16 xtpr bogomips : 6000.40 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 15 model : 4 model name : Intel(R) Xeon(TM) CPU 3.00GHz stepping : 3 cpu MHz : 3000.204 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: 1546840 kB Buffers: 74092 kB Cached: 311088 kB SwapCached: 0 kB Active: 173988 kB Inactive: 270504 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2059040 kB LowFree: 1546840 kB SwapTotal: 4192956 kB SwapFree: 4192956 kB Dirty: 3276 kB Writeback: 0 kB AnonPages: 59320 kB Mapped: 15412 kB Slab: 45932 kB PageTables: 4088 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 5222476 kB Committed_AS: 180340 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= 62468 MiB End job on node006 at 2010-06-12 01:28:52