| Solver Name | Answer | CPU time | Wall clock time |
|---|---|---|---|
| SCIPnone SCIP 1.2.1.2 without any LP solver | ? (TO) | 1801 | 1801.61 |
| Name | normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/ namasivayam/tsp/normalized-t3002.11tsp11.1900554072.opb |
| MD5SUM | 6281627dc4c435fe3011d1036bb94900 |
| 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 | 32.695 |
| 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 | 695 |
| 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-2664130-1276290692.opb>
0.02/0.05 c original problem has 231 variables (231 bin, 0 int, 0 impl, 0 cont) and 2707 constraints
0.02/0.05 c problem read
0.02/0.06 c No objective function, only one solution is needed.
0.02/0.06 c presolving settings loaded
0.02/0.06 c [src/scip/lpi_none.c:41] ERROR: there is no LP solver linked to the binary (LPS=none); you should set the parameter <lp/solvefreq> to <-1> to avoid solving LPs
0.02/0.07 c presolving:
0.09/0.12 c (round 1) 0 del vars, 143 del conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 2542 upgd conss, 242 impls, 22 clqs
0.09/0.13 c (round 2) 0 del vars, 143 del conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 2564 upgd conss, 242 impls, 22 clqs
0.09/0.15 c presolving (3 rounds):
0.09/0.15 c 0 deleted vars, 143 deleted constraints, 0 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
0.09/0.15 c 242 implications, 22 cliques
0.09/0.15 c presolved problem has 231 variables (231 bin, 0 int, 0 impl, 0 cont) and 2564 constraints
0.09/0.15 c 1 constraints of type <knapsack>
0.09/0.15 c 22 constraints of type <setppc>
0.09/0.15 c 2541 constraints of type <logicor>
0.09/0.15 c transformed objective value is always integral (scale: 1)
0.09/0.15 c Presolving Time: 0.06
0.09/0.15 c - non default parameters ----------------------------------------------------------------------
0.09/0.15 c # SCIP version 1.2.1.2
0.09/0.15 c
0.09/0.15 c # frequency for displaying node information lines
0.09/0.15 c # [type: int, range: [-1,2147483647], default: 100]
0.09/0.15 c display/freq = 10000
0.09/0.15 c
0.09/0.15 c # maximal time in seconds to run
0.09/0.15 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.09/0.15 c limits/time = 1799.95
0.09/0.15 c
0.09/0.15 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.09/0.15 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.09/0.15 c limits/memory = 1620
0.09/0.15 c
0.09/0.15 c # solving stops, if the given number of solutions were found (-1: no limit)
0.09/0.15 c # [type: int, range: [-1,2147483647], default: -1]
0.09/0.15 c limits/solutions = 1
0.09/0.15 c
0.09/0.15 c # frequency for solving LP at the nodes (-1: never; 0: only root LP)
0.09/0.15 c # [type: int, range: [-1,2147483647], default: 1]
0.09/0.15 c lp/solvefreq = -1
0.09/0.15 c
0.09/0.15 c # maximal number of separation rounds per node (-1: unlimited)
0.09/0.15 c # [type: int, range: [-1,2147483647], default: 5]
0.09/0.15 c separating/maxrounds = 1
0.09/0.15 c
0.09/0.15 c # maximal number of separation rounds in the root node (-1: unlimited)
0.09/0.15 c # [type: int, range: [-1,2147483647], default: -1]
0.09/0.15 c separating/maxroundsroot = 5
0.09/0.15 c
0.09/0.15 c # should presolving try to simplify inequalities
0.09/0.15 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.09/0.15 c constraints/linear/simplifyinequalities = TRUE
0.09/0.15 c
0.09/0.15 c # should disaggregation of knapsack constraints be allowed in preprocessing?
0.09/0.15 c # [type: bool, range: {TRUE,FALSE}, default: TRUE]
0.09/0.15 c constraints/knapsack/disaggregation = FALSE
0.09/0.15 c
0.09/0.15 c # should presolving try to simplify knapsacks
0.09/0.15 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.09/0.15 c constraints/knapsack/simplifyinequalities = TRUE
0.09/0.15 c
0.09/0.15 c # maximal number of presolving rounds the presolver participates in (-1: no limit)
0.09/0.15 c # [type: int, range: [-1,2147483647], default: -1]
0.09/0.15 c presolving/probing/maxrounds = 0
0.09/0.15 c
0.09/0.15 c # frequency for calling primal heuristic <coefdiving> (-1: never, 0: only at depth freqofs)
0.09/0.15 c # [type: int, range: [-1,2147483647], default: 10]
0.09/0.15 c heuristics/coefdiving/freq = -1
0.09/0.15 c
0.09/0.15 c # maximal fraction of diving LP iterations compared to node LP iterations
0.09/0.15 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
0.09/0.15 c heuristics/coefdiving/maxlpiterquot = 0.075
0.09/0.15 c
0.09/0.15 c # additional number of allowed LP iterations
0.09/0.15 c # [type: int, range: [0,2147483647], default: 1000]
0.09/0.15 c heuristics/coefdiving/maxlpiterofs = 1500
0.09/0.15 c
0.09/0.15 c # frequency for calling primal heuristic <crossover> (-1: never, 0: only at depth freqofs)
0.09/0.15 c # [type: int, range: [-1,2147483647], default: 30]
0.09/0.15 c heuristics/crossover/freq = -1
0.09/0.15 c
0.09/0.15 c # number of nodes added to the contingent of the total nodes
0.09/0.15 c # [type: longint, range: [0,9223372036854775807], default: 500]
0.09/0.15 c heuristics/crossover/nodesofs = 750
0.09/0.15 c
0.09/0.15 c # number of nodes without incumbent change that heuristic should wait
0.09/0.15 c # [type: longint, range: [0,9223372036854775807], default: 200]
0.09/0.15 c heuristics/crossover/nwaitingnodes = 100
0.09/0.15 c
0.09/0.15 c # contingent of sub problem nodes in relation to the number of nodes of the original problem
0.09/0.15 c # [type: real, range: [0,1], default: 0.1]
0.09/0.15 c heuristics/crossover/nodesquot = 0.15
0.09/0.15 c
0.09/0.15 c # minimum percentage of integer variables that have to be fixed
0.09/0.15 c # [type: real, range: [0,1], default: 0.666]
0.09/0.15 c heuristics/crossover/minfixingrate = 0.5
0.09/0.15 c
0.09/0.15 c # frequency for calling primal heuristic <feaspump> (-1: never, 0: only at depth freqofs)
0.09/0.15 c # [type: int, range: [-1,2147483647], default: 20]
0.09/0.15 c heuristics/feaspump/freq = -1
0.09/0.15 c
0.09/0.15 c # additional number of allowed LP iterations
0.09/0.15 c # [type: int, range: [0,2147483647], default: 1000]
0.09/0.15 c heuristics/feaspump/maxlpiterofs = 2000
0.09/0.15 c
0.09/0.15 c # frequency for calling primal heuristic <fracdiving> (-1: never, 0: only at depth freqofs)
0.09/0.15 c # [type: int, range: [-1,2147483647], default: 10]
0.09/0.15 c heuristics/fracdiving/freq = -1
0.09/0.15 c
0.09/0.15 c # maximal fraction of diving LP iterations compared to node LP iterations
0.09/0.15 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
0.09/0.15 c heuristics/fracdiving/maxlpiterquot = 0.075
0.09/0.15 c
0.09/0.15 c # additional number of allowed LP iterations
0.09/0.15 c # [type: int, range: [0,2147483647], default: 1000]
0.09/0.15 c heuristics/fracdiving/maxlpiterofs = 1500
0.09/0.15 c
0.09/0.15 c # frequency for calling primal heuristic <guideddiving> (-1: never, 0: only at depth freqofs)
0.09/0.15 c # [type: int, range: [-1,2147483647], default: 10]
0.09/0.15 c heuristics/guideddiving/freq = -1
0.09/0.15 c
0.09/0.15 c # maximal fraction of diving LP iterations compared to node LP iterations
0.09/0.15 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
0.09/0.15 c heuristics/guideddiving/maxlpiterquot = 0.075
0.09/0.15 c
0.09/0.15 c # additional number of allowed LP iterations
0.09/0.15 c # [type: int, range: [0,2147483647], default: 1000]
0.09/0.15 c heuristics/guideddiving/maxlpiterofs = 1500
0.09/0.15 c
0.09/0.15 c # maximal fraction of diving LP iterations compared to node LP iterations
0.09/0.15 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
0.09/0.15 c heuristics/intdiving/maxlpiterquot = 0.075
0.09/0.15 c
0.09/0.15 c # frequency for calling primal heuristic <intshifting> (-1: never, 0: only at depth freqofs)
0.09/0.15 c # [type: int, range: [-1,2147483647], default: 10]
0.09/0.15 c heuristics/intshifting/freq = -1
0.09/0.15 c
0.09/0.15 c # frequency for calling primal heuristic <linesearchdiving> (-1: never, 0: only at depth freqofs)
0.09/0.15 c # [type: int, range: [-1,2147483647], default: 10]
0.09/0.15 c heuristics/linesearchdiving/freq = -1
0.09/0.15 c
0.09/0.15 c # maximal fraction of diving LP iterations compared to node LP iterations
0.09/0.15 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
0.09/0.15 c heuristics/linesearchdiving/maxlpiterquot = 0.075
0.09/0.15 c
0.09/0.15 c # additional number of allowed LP iterations
0.09/0.15 c # [type: int, range: [0,2147483647], default: 1000]
0.09/0.15 c heuristics/linesearchdiving/maxlpiterofs = 1500
0.09/0.15 c
0.09/0.15 c # frequency for calling primal heuristic <nlp> (-1: never, 0: only at depth freqofs)
0.09/0.15 c # [type: int, range: [-1,2147483647], default: 1]
0.09/0.15 c heuristics/nlp/freq = -1
0.09/0.15 c
0.09/0.15 c # frequency for calling primal heuristic <objpscostdiving> (-1: never, 0: only at depth freqofs)
0.09/0.15 c # [type: int, range: [-1,2147483647], default: 20]
0.09/0.15 c heuristics/objpscostdiving/freq = -1
0.09/0.15 c
0.09/0.15 c # maximal fraction of diving LP iterations compared to total iteration number
0.09/0.15 c # [type: real, range: [0,1], default: 0.01]
0.09/0.15 c heuristics/objpscostdiving/maxlpiterquot = 0.015
0.09/0.15 c
0.09/0.15 c # additional number of allowed LP iterations
0.09/0.15 c # [type: int, range: [0,2147483647], default: 1000]
0.09/0.15 c heuristics/objpscostdiving/maxlpiterofs = 1500
0.09/0.15 c
0.09/0.15 c # frequency for calling primal heuristic <oneopt> (-1: never, 0: only at depth freqofs)
0.09/0.15 c # [type: int, range: [-1,2147483647], default: 1]
0.09/0.15 c heuristics/oneopt/freq = -1
0.09/0.15 c
0.09/0.15 c # frequency for calling primal heuristic <pscostdiving> (-1: never, 0: only at depth freqofs)
0.09/0.15 c # [type: int, range: [-1,2147483647], default: 10]
0.09/0.15 c heuristics/pscostdiving/freq = -1
0.09/0.15 c
0.09/0.15 c # maximal fraction of diving LP iterations compared to node LP iterations
0.09/0.15 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
0.09/0.15 c heuristics/pscostdiving/maxlpiterquot = 0.075
0.09/0.15 c
0.09/0.15 c # additional number of allowed LP iterations
0.09/0.15 c # [type: int, range: [0,2147483647], default: 1000]
0.09/0.15 c heuristics/pscostdiving/maxlpiterofs = 1500
0.09/0.15 c
0.09/0.15 c # frequency for calling primal heuristic <rens> (-1: never, 0: only at depth freqofs)
0.09/0.15 c # [type: int, range: [-1,2147483647], default: 0]
0.09/0.15 c heuristics/rens/freq = -1
0.09/0.15 c
0.09/0.15 c # minimum percentage of integer variables that have to be fixable
0.09/0.15 c # [type: real, range: [0,1], default: 0.5]
0.09/0.15 c heuristics/rens/minfixingrate = 0.3
0.09/0.15 c
0.09/0.15 c # number of nodes added to the contingent of the total nodes
0.09/0.15 c # [type: longint, range: [0,9223372036854775807], default: 500]
0.09/0.15 c heuristics/rens/nodesofs = 2000
0.09/0.15 c
0.09/0.15 c # frequency for calling primal heuristic <rootsoldiving> (-1: never, 0: only at depth freqofs)
0.09/0.15 c # [type: int, range: [-1,2147483647], default: 20]
0.09/0.15 c heuristics/rootsoldiving/freq = -1
0.09/0.15 c
0.09/0.15 c # maximal fraction of diving LP iterations compared to node LP iterations
0.09/0.15 c # [type: real, range: [0,1.79769313486232e+308], default: 0.01]
0.09/0.15 c heuristics/rootsoldiving/maxlpiterquot = 0.015
0.09/0.15 c
0.09/0.15 c # additional number of allowed LP iterations
0.09/0.15 c # [type: int, range: [0,2147483647], default: 1000]
0.09/0.15 c heuristics/rootsoldiving/maxlpiterofs = 1500
0.09/0.15 c
0.09/0.15 c # frequency for calling primal heuristic <rounding> (-1: never, 0: only at depth freqofs)
0.09/0.15 c # [type: int, range: [-1,2147483647], default: 1]
0.09/0.15 c heuristics/rounding/freq = -1
0.09/0.15 c
0.09/0.15 c # frequency for calling primal heuristic <shifting> (-1: never, 0: only at depth freqofs)
0.09/0.15 c # [type: int, range: [-1,2147483647], default: 10]
0.09/0.15 c heuristics/shifting/freq = -1
0.09/0.15 c
0.09/0.15 c # frequency for calling primal heuristic <simplerounding> (-1: never, 0: only at depth freqofs)
0.09/0.15 c # [type: int, range: [-1,2147483647], default: 1]
0.09/0.15 c heuristics/simplerounding/freq = -1
0.09/0.15 c
0.09/0.15 c # frequency for calling primal heuristic <trivial> (-1: never, 0: only at depth freqofs)
0.09/0.15 c # [type: int, range: [-1,2147483647], default: 0]
0.09/0.15 c heuristics/trivial/freq = -1
0.09/0.15 c
0.09/0.15 c # frequency for calling primal heuristic <trysol> (-1: never, 0: only at depth freqofs)
0.09/0.15 c # [type: int, range: [-1,2147483647], default: 1]
0.09/0.15 c heuristics/trysol/freq = -1
0.09/0.15 c
0.09/0.15 c # frequency for calling primal heuristic <veclendiving> (-1: never, 0: only at depth freqofs)
0.09/0.15 c # [type: int, range: [-1,2147483647], default: 10]
0.09/0.15 c heuristics/veclendiving/freq = -1
0.09/0.15 c
0.09/0.15 c # maximal fraction of diving LP iterations compared to node LP iterations
0.09/0.15 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
0.09/0.15 c heuristics/veclendiving/maxlpiterquot = 0.075
0.09/0.15 c
0.09/0.15 c # additional number of allowed LP iterations
0.09/0.15 c # [type: int, range: [0,2147483647], default: 1000]
0.09/0.15 c heuristics/veclendiving/maxlpiterofs = 1500
0.09/0.15 c
0.09/0.15 c # frequency for calling primal heuristic <zirounding> (-1: never, 0: only at depth freqofs)
0.09/0.15 c # [type: int, range: [-1,2147483647], default: 1]
0.09/0.15 c heuristics/zirounding/freq = -1
0.09/0.15 c
0.09/0.15 c # frequency for calling separator <cmir> (-1: never, 0: only in root node)
0.09/0.15 c # [type: int, range: [-1,2147483647], default: 0]
0.09/0.15 c separating/cmir/freq = -1
0.09/0.15 c
0.09/0.15 c # frequency for calling separator <flowcover> (-1: never, 0: only in root node)
0.09/0.15 c # [type: int, range: [-1,2147483647], default: 0]
0.09/0.15 c separating/flowcover/freq = -1
0.09/0.15 c
0.09/0.15 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
0.09/0.15 c # [type: int, range: [-1,2147483647], default: -1]
0.09/0.15 c separating/rapidlearning/freq = 0
0.09/0.15 c
0.09/0.15 c -----------------------------------------------------------------------------------------------
0.09/0.15 c start solving
0.09/0.15 c
0.09/0.15 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
0.09/0.15 c 0.1s| 1 | 2 | 0 | - |2396k| 0 | - | 231 |2564 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
3.99/4.09 c 3.8s| 10000 | 8079 | 0 | 0.0 |7118k| 96 | - | 231 |4558 | 0 | 0 | 0 |2697 | 0 | 0.000000e+00 | -- | Inf
9.90/9.93 c 9.4s| 20000 | 14656 | 0 | 0.0 | 11M| 96 | - | 231 |5637 | 0 | 0 | 0 |7260 | 0 | 0.000000e+00 | -- | Inf
15.49/15.54 c 14.8s| 30000 | 22021 | 0 | 0.0 | 16M| 96 | - | 231 |6457 | 0 | 0 | 0 | 10k| 0 | 0.000000e+00 | -- | Inf
22.29/22.31 c 21.3s| 40000 | 28825 | 0 | 0.0 | 21M| 96 | - | 231 |7453 | 0 | 0 | 0 | 14k| 0 | 0.000000e+00 | -- | Inf
30.38/30.45 c 29.2s| 50000 | 35086 | 0 | 0.0 | 26M| 96 | - | 231 |8352 | 0 | 0 | 0 | 19k| 0 | 0.000000e+00 | -- | Inf
39.98/40.05 c 38.5s| 60000 | 40795 | 0 | 0.0 | 31M| 96 | - | 231 |9732 | 0 | 0 | 0 | 25k| 0 | 0.000000e+00 | -- | Inf
51.57/51.62 c 49.8s| 70000 | 45884 | 0 | 0.0 | 36M| 96 | - | 231 | 11k| 0 | 0 | 0 | 32k| 0 | 0.000000e+00 | -- | Inf
66.56/66.61 c 64.5s| 80000 | 49912 | 0 | 0.0 | 41M| 96 | - | 231 | 12k| 0 | 0 | 0 | 40k| 0 | 0.000000e+00 | -- | Inf
83.96/84.03 c 81.5s| 90000 | 53426 | 0 | 0.0 | 46M| 96 | - | 231 | 12k| 0 | 0 | 0 | 49k| 0 | 0.000000e+00 | -- | Inf
101.36/101.43 c 98.6s|100000 | 56756 | 0 | 0.0 | 50M| 96 | - | 231 | 11k| 0 | 0 | 0 | 56k| 0 | 0.000000e+00 | -- | Inf
112.55/112.60 c 110s|110000 | 63228 | 0 | 0.0 | 55M| 96 | - | 231 | 11k| 0 | 0 | 0 | 61k| 0 | 0.000000e+00 | -- | Inf
125.45/125.54 c 122s|120000 | 69217 | 0 | 0.0 | 60M| 96 | - | 231 | 12k| 0 | 0 | 0 | 66k| 0 | 0.000000e+00 | -- | Inf
138.75/138.89 c 135s|130000 | 75206 | 0 | 0.0 | 65M| 96 | - | 231 | 13k| 0 | 0 | 0 | 72k| 0 | 0.000000e+00 | -- | Inf
152.44/152.55 c 149s|140000 | 81209 | 0 | 0.0 | 70M| 96 | - | 231 | 13k| 0 | 0 | 0 | 77k| 0 | 0.000000e+00 | -- | Inf
166.63/166.78 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
166.63/166.78 c 163s|150000 | 86980 | 0 | 0.0 | 74M| 96 | - | 231 | 13k| 0 | 0 | 0 | 83k| 0 | 0.000000e+00 | -- | Inf
181.73/181.85 c 177s|160000 | 92470 | 0 | 0.0 | 79M| 96 | - | 231 | 14k| 0 | 0 | 0 | 89k| 0 | 0.000000e+00 | -- | Inf
197.93/198.05 c 193s|170000 | 97772 | 0 | 0.0 | 84M| 96 | - | 231 | 14k| 0 | 0 | 0 | 95k| 0 | 0.000000e+00 | -- | Inf
214.72/214.83 c 210s|180000 |102941 | 0 | 0.0 | 88M| 96 | - | 231 | 15k| 0 | 0 | 0 | 102k| 0 | 0.000000e+00 | -- | Inf
235.32/235.44 c 230s|190000 |106862 | 0 | 0.0 | 93M| 96 | - | 231 | 16k| 0 | 0 | 0 | 110k| 0 | 0.000000e+00 | -- | Inf
257.00/257.17 c 251s|200000 |110847 | 0 | 0.0 | 99M| 96 | - | 231 | 17k| 0 | 0 | 0 | 118k| 0 | 0.000000e+00 | -- | Inf
282.60/282.78 c 277s|210000 |114145 | 0 | 0.0 | 104M| 96 | - | 231 | 18k| 0 | 0 | 0 | 127k| 0 | 0.000000e+00 | -- | Inf
310.09/310.22 c 304s|220000 |117165 | 0 | 0.0 | 109M| 96 | - | 231 | 19k| 0 | 0 | 0 | 136k| 0 | 0.000000e+00 | -- | Inf
338.38/338.50 c 332s|230000 |119940 | 0 | 0.0 | 113M| 96 | - | 231 | 19k| 0 | 0 | 0 | 145k| 0 | 0.000000e+00 | -- | Inf
368.16/368.34 c 361s|240000 |122480 | 0 | 0.0 | 118M| 96 | - | 231 | 20k| 0 | 0 | 0 | 155k| 0 | 0.000000e+00 | -- | Inf
399.55/399.75 c 392s|250000 |124916 | 0 | 0.0 | 123M| 96 | - | 231 | 21k| 0 | 0 | 0 | 166k| 0 | 0.000000e+00 | -- | Inf
433.34/433.58 c 426s|260000 |126741 | 0 | 0.0 | 127M| 96 | - | 231 | 22k| 0 | 0 | 0 | 177k| 0 | 0.000000e+00 | -- | Inf
467.83/468.05 c 460s|270000 |128701 | 0 | 0.0 | 132M| 96 | - | 231 | 22k| 0 | 0 | 0 | 188k| 0 | 0.000000e+00 | -- | Inf
503.72/503.90 c 495s|280000 |130398 | 0 | 0.0 | 135M| 96 | - | 231 | 22k| 0 | 0 | 0 | 199k| 0 | 0.000000e+00 | -- | Inf
539.91/540.17 c 531s|290000 |132102 | 0 | 0.0 | 139M| 96 | - | 231 | 23k| 0 | 0 | 0 | 211k| 0 | 0.000000e+00 | -- | Inf
581.49/581.74 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
581.49/581.74 c 572s|300000 |132597 | 0 | 0.0 | 142M| 96 | - | 231 | 23k| 0 | 0 | 0 | 224k| 0 | 0.000000e+00 | -- | Inf
625.97/626.29 c 617s|310000 |132352 | 0 | 0.0 | 145M| 96 | - | 231 | 22k| 0 | 0 | 0 | 237k| 0 | 0.000000e+00 | -- | Inf
673.86/674.14 c 664s|320000 |130676 | 0 | 0.0 | 146M| 96 | - | 231 | 22k| 0 | 0 | 0 | 250k| 0 | 0.000000e+00 | -- | Inf
707.25/707.52 c 697s|330000 |133908 | 0 | 0.0 | 149M| 96 | - | 231 | 20k| 0 | 0 | 0 | 259k| 0 | 0.000000e+00 | -- | Inf
744.54/744.86 c 734s|340000 |136562 | 0 | 0.0 | 153M| 96 | - | 231 | 21k| 0 | 0 | 0 | 269k| 0 | 0.000000e+00 | -- | Inf
781.62/781.95 c 771s|350000 |139161 | 0 | 0.0 | 158M| 96 | - | 231 | 22k| 0 | 0 | 0 | 279k| 0 | 0.000000e+00 | -- | Inf
818.61/818.93 c 807s|360000 |141951 | 0 | 0.0 | 162M| 96 | - | 231 | 23k| 0 | 0 | 0 | 289k| 0 | 0.000000e+00 | -- | Inf
856.20/856.54 c 845s|370000 |144750 | 0 | 0.0 | 167M| 96 | - | 231 | 24k| 0 | 0 | 0 | 298k| 0 | 0.000000e+00 | -- | Inf
898.08/898.41 c 886s|380000 |146761 | 0 | 0.0 | 172M| 96 | - | 231 | 26k| 0 | 0 | 0 | 309k| 0 | 0.000000e+00 | -- | Inf
942.87/943.28 c 931s|390000 |148523 | 0 | 0.0 | 177M| 96 | - | 231 | 27k| 0 | 0 | 0 | 319k| 0 | 0.000000e+00 | -- | Inf
987.25/987.64 c 975s|400000 |150520 | 0 | 0.0 | 182M| 96 | - | 231 | 28k| 0 | 0 | 0 | 330k| 0 | 0.000000e+00 | -- | Inf
1035.24/1035.61 c 1022s|410000 |151887 | 0 | 0.0 | 187M| 96 | - | 231 | 29k| 0 | 0 | 0 | 341k| 0 | 0.000000e+00 | -- | Inf
1085.92/1086.39 c 1072s|420000 |152930 | 0 | 0.0 | 191M| 96 | - | 231 | 29k| 0 | 0 | 0 | 352k| 0 | 0.000000e+00 | -- | Inf
1132.81/1133.24 c 1119s|430000 |154823 | 0 | 0.0 | 196M| 96 | - | 231 | 29k| 0 | 0 | 0 | 363k| 0 | 0.000000e+00 | -- | Inf
1187.68/1188.11 c 1173s|440000 |155246 | 0 | 0.0 | 200M| 96 | - | 231 | 30k| 0 | 0 | 0 | 375k| 0 | 0.000000e+00 | -- | Inf
1239.57/1240.09 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1239.57/1240.09 c 1225s|450000 |156322 | 0 | 0.0 | 205M| 96 | - | 231 | 31k| 0 | 0 | 0 | 387k| 0 | 0.000000e+00 | -- | Inf
1299.04/1299.57 c 1284s|460000 |156305 | 0 | 0.0 | 208M| 96 | - | 231 | 32k| 0 | 0 | 0 | 400k| 0 | 0.000000e+00 | -- | Inf
1355.33/1355.82 c 1340s|470000 |157075 | 0 | 0.0 | 213M| 96 | - | 231 | 33k| 0 | 0 | 0 | 412k| 0 | 0.000000e+00 | -- | Inf
1421.41/1421.94 c 1406s|480000 |156464 | 0 | 0.0 | 216M| 96 | - | 231 | 34k| 0 | 0 | 0 | 425k| 0 | 0.000000e+00 | -- | Inf
1486.69/1487.24 c 1470s|490000 |156154 | 0 | 0.0 | 219M| 96 | - | 231 | 36k| 0 | 0 | 0 | 438k| 0 | 0.000000e+00 | -- | Inf
1554.36/1554.95 c 1538s|500000 |155641 | 0 | 0.0 | 222M| 96 | - | 231 | 36k| 0 | 0 | 0 | 452k| 0 | 0.000000e+00 | -- | Inf
1629.93/1630.51 c 1613s|510000 |154155 | 0 | 0.0 | 224M| 96 | - | 231 | 37k| 0 | 0 | 0 | 466k| 0 | 0.000000e+00 | -- | Inf
1705.11/1705.75 c 1688s|520000 |153002 | 0 | 0.0 | 225M| 96 | - | 231 | 38k| 0 | 0 | 0 | 480k| 0 | 0.000000e+00 | -- | Inf
1780.19/1780.88 c 1762s|530000 |151959 | 0 | 0.0 | 227M| 96 | - | 231 | 39k| 0 | 0 | 0 | 494k| 0 | 0.000000e+00 | -- | Inf
1800.09/1800.71 c pressed CTRL-C 1 times (5 times for forcing termination)
1800.09/1800.72 c
1800.09/1800.72 c SCIP Status : solving was interrupted [user interrupt]
1800.09/1800.72 c Solving Time (sec) : 1782.05
1800.09/1800.72 c Solving Nodes : 532099
1800.09/1800.72 c Primal Bound : +1.00000000000000e+20 (0 solutions)
1800.09/1800.72 c Dual Bound : +0.00000000000000e+00
1800.09/1800.72 c Gap : infinite
1800.09/1800.72 s UNKNOWN
1800.09/1800.72 c SCIP Status : solving was interrupted [user interrupt]
1800.09/1800.72 c Solving Time : 1782.05
1800.09/1800.72 c Original Problem :
1800.09/1800.72 c Problem name : HOME/instance-2664130-1276290692.opb
1800.09/1800.72 c Variables : 231 (231 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.09/1800.72 c Constraints : 2707 initial, 2707 maximal
1800.09/1800.72 c Presolved Problem :
1800.09/1800.72 c Problem name : t_HOME/instance-2664130-1276290692.opb
1800.09/1800.72 c Variables : 231 (231 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.09/1800.72 c Constraints : 2564 initial, 39351 maximal
1800.09/1800.72 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs
1800.09/1800.72 c trivial : 0.00 0 0 0 0 0 0 0 0
1800.09/1800.72 c dualfix : 0.00 0 0 0 0 0 0 0 0
1800.09/1800.72 c boundshift : 0.00 0 0 0 0 0 0 0 0
1800.09/1800.72 c inttobinary : 0.00 0 0 0 0 0 0 0 0
1800.09/1800.72 c implics : 0.00 0 0 0 0 0 0 0 0
1800.09/1800.72 c probing : 0.00 0 0 0 0 0 0 0 0
1800.09/1800.72 c knapsack : 0.00 0 0 0 0 0 0 0 0
1800.09/1800.72 c setppc : 0.00 0 0 0 0 0 0 0 0
1800.09/1800.72 c linear : 0.02 0 0 0 0 0 143 0 0
1800.09/1800.72 c logicor : 0.03 0 0 0 0 0 0 0 0
1800.09/1800.72 c root node : - 0 - - 0 - - - -
1800.09/1800.72 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children
1800.09/1800.72 c integral : 0 0 0 0 0 0 0 0 0 0
1800.09/1800.72 c knapsack : 1 0 1891419 0 393288 65969 6142877 0 0 0
1800.09/1800.72 c setppc : 22 0 1838377 0 393288 77002 2392374 0 0 0
1800.09/1800.72 c logicor : 2541+ 0 1438177 0 393286 81649 6079077 0 0 0
1800.09/1800.72 c countsols : 0 0 0 0 393277 0 0 0 0 0
1800.09/1800.72 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS
1800.09/1800.72 c integral : 0.00 0.00 0.00 0.00 0.00
1800.09/1800.72 c knapsack : 47.32 0.00 44.84 0.00 2.48
1800.09/1800.72 c setppc : 30.83 0.00 25.97 0.00 4.86
1800.09/1800.72 c logicor : 939.41 0.00 889.06 0.00 50.35
1800.09/1800.72 c countsols : 0.18 0.00 0.00 0.00 0.18
1800.09/1800.72 c Propagators : Time Calls Cutoffs DomReds
1800.09/1800.72 c vbounds : 1.05 1 0 0
1800.09/1800.72 c rootredcost : 1.15 0 0 0
1800.09/1800.72 c pseudoobj : 0.67 0 0 0
1800.09/1800.72 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1800.09/1800.72 c propagation : 14.33 224620 224567 1058920 17.3 4352 19.3 -
1800.09/1800.72 c infeasible LP : 0.00 0 0 0 0.0 0 0.0 0
1800.09/1800.72 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1800.09/1800.72 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1800.09/1800.72 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 -
1800.09/1800.72 c applied globally : - - - 496364 14.1 - - -
1800.09/1800.72 c applied locally : - - - 1890 35.3 - - -
1800.09/1800.72 c Separators : Time Calls Cutoffs DomReds Cuts Conss
1800.09/1800.72 c cut pool : 0.00 0 - - 0 - (maximal pool size: 0)
1800.09/1800.72 c redcost : 0.00 0 0 0 0 0
1800.09/1800.72 c impliedbounds : 0.00 0 0 0 0 0
1800.09/1800.72 c intobj : 0.00 0 0 0 0 0
1800.09/1800.72 c cgmip : 0.00 0 0 0 0 0
1800.09/1800.72 c gomory : 0.00 0 0 0 0 0
1800.09/1800.72 c strongcg : 0.00 0 0 0 0 0
1800.09/1800.72 c cmir : 0.00 0 0 0 0 0
1800.09/1800.72 c flowcover : 0.00 0 0 0 0 0
1800.09/1800.72 c clique : 0.00 0 0 0 0 0
1800.09/1800.72 c zerohalf : 0.00 0 0 0 0 0
1800.09/1800.72 c mcf : 0.00 0 0 0 0 0
1800.09/1800.72 c rapidlearning : 0.00 0 0 0 0 0
1800.09/1800.72 c Pricers : Time Calls Vars
1800.09/1800.72 c problem variables: 0.00 0 0
1800.09/1800.72 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
1800.09/1800.72 c relpscost : 0.00 0 0 0 0 0 0
1800.09/1800.72 c pscost : 0.00 0 0 0 0 0 0
1800.09/1800.72 c inference : 10.69 393277 0 0 0 0 786554
1800.09/1800.72 c mostinf : 0.00 0 0 0 0 0 0
1800.09/1800.72 c leastinf : 0.00 0 0 0 0 0 0
1800.09/1800.72 c fullstrong : 0.00 0 0 0 0 0 0
1800.09/1800.72 c allfullstrong : 0.00 0 0 0 0 0 0
1800.09/1800.72 c random : 0.00 0 0 0 0 0 0
1800.09/1800.72 c Primal Heuristics : Time Calls Found
1800.09/1800.72 c LP solutions : 0.00 - 0
1800.09/1800.72 c pseudo solutions : 0.00 - 0
1800.09/1800.72 c trivial : 0.01 1 0
1800.09/1800.72 c simplerounding : 0.00 0 0
1800.09/1800.72 c zirounding : 0.00 0 0
1800.09/1800.72 c rounding : 0.00 0 0
1800.09/1800.72 c shifting : 0.00 0 0
1800.09/1800.72 c intshifting : 0.00 0 0
1800.09/1800.72 c oneopt : 0.00 0 0
1800.09/1800.72 c twoopt : 0.00 0 0
1800.09/1800.72 c fixandinfer : 0.00 0 0
1800.09/1800.72 c feaspump : 0.00 0 0
1800.09/1800.72 c coefdiving : 0.00 0 0
1800.09/1800.72 c pscostdiving : 0.00 0 0
1800.09/1800.72 c fracdiving : 0.00 0 0
1800.09/1800.72 c veclendiving : 0.00 0 0
1800.09/1800.72 c intdiving : 0.00 0 0
1800.09/1800.72 c actconsdiving : 0.00 0 0
1800.09/1800.72 c objpscostdiving : 0.00 0 0
1800.09/1800.72 c rootsoldiving : 0.00 0 0
1800.09/1800.72 c linesearchdiving : 0.00 0 0
1800.09/1800.72 c guideddiving : 0.00 0 0
1800.09/1800.72 c octane : 0.00 0 0
1800.09/1800.72 c rens : 0.00 0 0
1800.09/1800.72 c rins : 0.00 0 0
1800.09/1800.72 c localbranching : 0.00 0 0
1800.09/1800.72 c mutation : 0.00 0 0
1800.09/1800.72 c crossover : 0.00 0 0
1800.09/1800.72 c dins : 0.00 0 0
1800.09/1800.72 c undercover : 0.00 0 0
1800.09/1800.72 c nlp : 0.00 0 0
1800.09/1800.72 c trysol : 0.00 0 0
1800.09/1800.72 c LP : Time Calls Iterations Iter/call Iter/sec
1800.09/1800.72 c primal LP : 0.00 0 0 0.00 -
1800.09/1800.72 c dual LP : 0.00 0 0 0.00 -
1800.09/1800.72 c lex dual LP : 0.00 0 0 0.00 -
1800.09/1800.72 c barrier LP : 0.00 0 0 0.00 -
1800.09/1800.72 c diving/probing LP: 0.00 0 0 0.00 -
1800.09/1800.72 c strong branching : 0.00 0 0 0.00 -
1800.09/1800.72 c (at root node) : - 0 0 0.00 -
1800.09/1800.72 c conflict analysis: 0.00 0 0 0.00 -
1800.09/1800.72 c B&B Tree :
1800.09/1800.72 c number of runs : 1
1800.09/1800.72 c nodes : 532099
1800.09/1800.72 c nodes (total) : 532099
1800.09/1800.72 c nodes left : 151200
1800.09/1800.72 c max depth : 96
1800.09/1800.72 c max depth (total): 96
1800.09/1800.72 c backtracks : 145633 (27.4%)
1800.09/1800.72 c delayed cutoffs : 103256
1800.09/1800.72 c repropagations : 463968 (4650441 domain reductions, 85798 cutoffs)
1800.09/1800.72 c avg switch length: 15.17
1800.09/1800.72 c switching time : 488.25
1800.09/1800.72 c Solution :
1800.09/1800.72 c Solutions found : 0 (0 improvements)
1800.09/1800.72 c Primal Bound : -
1800.09/1800.72 c Dual Bound : +0.00000000000000e+00
1800.09/1800.72 c Gap : infinite
1800.09/1800.72 c Root Dual Bound : +0.00000000000000e+00
1800.09/1800.72 c Root Iterations : 0
1800.98/1801.61 c Time complete: 1800.99.
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-2664130-1276290692/watcher-2664130-1276290692 -o /tmp/evaluation-result-2664130-1276290692/solver-2664130-1276290692 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt.none -f HOME/instance-2664130-1276290692.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 6024 /proc/meminfo: memFree=1556348/2059040 swapFree=4192956/4192956 [pid=6024] ppid=6022 vsize=6584 CPUtime=0 /proc/6024/stat : 6024 (pbscip.linux.x8) R 6022 6024 4214 0 -1 4202496 1101 0 0 0 0 0 0 0 24 0 1 0 2721079 6742016 1023 1992294400 4194304 7136930 140735906184960 18446744073709551615 6346613 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/6024/statm: 1646 1035 254 719 0 925 0 [startup+0.030851 s] /proc/loadavg: 1.00 1.00 1.00 3/106 6024 /proc/meminfo: memFree=1556348/2059040 swapFree=4192956/4192956 [pid=6024] ppid=6022 vsize=8680 CPUtime=0.02 /proc/6024/stat : 6024 (pbscip.linux.x8) R 6022 6024 4214 0 -1 4202496 1641 0 0 0 2 0 0 0 24 0 1 0 2721079 8888320 1563 1992294400 4194304 7136930 140735906184960 18446744073709551615 6268976 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/6024/statm: 2170 1563 268 719 0 1449 0 Current children cumulated CPU time (s) 0.02 Current children cumulated vsize (KiB) 8680 [startup+0.101864 s] /proc/loadavg: 1.00 1.00 1.00 3/106 6024 /proc/meminfo: memFree=1556348/2059040 swapFree=4192956/4192956 [pid=6024] ppid=6022 vsize=14760 CPUtime=0.09 /proc/6024/stat : 6024 (pbscip.linux.x8) R 6022 6024 4214 0 -1 4202496 3613 0 0 0 8 1 0 0 18 0 1 0 2721079 15114240 2924 1992294400 4194304 7136930 140735906184960 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/6024/statm: 3690 2924 345 719 0 2969 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 14760 [startup+0.301901 s] /proc/loadavg: 1.00 1.00 1.00 3/106 6024 /proc/meminfo: memFree=1556348/2059040 swapFree=4192956/4192956 [pid=6024] ppid=6022 vsize=17072 CPUtime=0.3 /proc/6024/stat : 6024 (pbscip.linux.x8) R 6022 6024 4214 0 -1 4202496 6817 0 0 0 26 4 0 0 18 0 1 0 2721079 17481728 3558 1992294400 4194304 7136930 140735906184960 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/6024/statm: 4268 3558 391 719 0 3547 0 Current children cumulated CPU time (s) 0.3 Current children cumulated vsize (KiB) 17072 [startup+0.701975 s] /proc/loadavg: 1.00 1.00 1.00 3/106 6024 /proc/meminfo: memFree=1556348/2059040 swapFree=4192956/4192956 [pid=6024] ppid=6022 vsize=17868 CPUtime=0.69 /proc/6024/stat : 6024 (pbscip.linux.x8) R 6022 6024 4214 0 -1 4202496 7013 0 0 0 64 5 0 0 18 0 1 0 2721079 18296832 3754 1992294400 4194304 7136930 140735906184960 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/6024/statm: 4467 3754 391 719 0 3746 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 17868 [startup+1.50113 s] /proc/loadavg: 1.00 1.00 1.00 2/107 6025 /proc/meminfo: memFree=1542080/2059040 swapFree=4192956/4192956 [pid=6024] ppid=6022 vsize=19100 CPUtime=1.49 /proc/6024/stat : 6024 (pbscip.linux.x8) R 6022 6024 4214 0 -1 4202496 7310 0 0 0 140 9 0 0 19 0 1 0 2721079 19558400 4051 1992294400 4194304 7136930 140735906184960 18446744073709551615 5955580 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/6024/statm: 4775 4051 391 719 0 4054 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 19100 [startup+3.10143 s] /proc/loadavg: 1.00 1.00 1.00 2/107 6025 /proc/meminfo: memFree=1539848/2059040 swapFree=4192956/4192956 [pid=6024] ppid=6022 vsize=21324 CPUtime=3.09 /proc/6024/stat : 6024 (pbscip.linux.x8) R 6022 6024 4214 0 -1 4202496 7884 0 0 0 293 16 0 0 25 0 1 0 2721079 21835776 4625 1992294400 4194304 7136930 140735906184960 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/6024/statm: 5331 4625 391 719 0 4610 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 21324 [startup+6.30103 s] /proc/loadavg: 1.00 1.00 1.00 2/107 6025 /proc/meminfo: memFree=1535508/2059040 swapFree=4192956/4192956 [pid=6024] ppid=6022 vsize=25388 CPUtime=6.29 /proc/6024/stat : 6024 (pbscip.linux.x8) R 6022 6024 4214 0 -1 4202496 8908 0 0 0 596 33 0 0 25 0 1 0 2721079 25997312 5649 1992294400 4194304 7136930 140735906184960 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/6024/statm: 6347 5649 391 719 0 5626 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 25388 [startup+12.7012 s] /proc/loadavg: 1.00 1.00 1.00 2/107 6025 /proc/meminfo: memFree=1528564/2059040 swapFree=4192956/4192956 [pid=6024] ppid=6022 vsize=32104 CPUtime=12.69 /proc/6024/stat : 6024 (pbscip.linux.x8) R 6022 6024 4214 0 -1 4202496 10599 0 0 0 1211 58 0 0 25 0 1 0 2721079 32874496 7340 1992294400 4194304 7136930 140735906184960 18446744073709551615 4999837 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/6024/statm: 8026 7340 391 719 0 7305 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 32104 [startup+25.5016 s] /proc/loadavg: 1.00 1.00 1.00 2/107 6025 /proc/meminfo: memFree=1516164/2059040 swapFree=4192956/4192956 [pid=6024] ppid=6022 vsize=43752 CPUtime=25.49 /proc/6024/stat : 6024 (pbscip.linux.x8) R 6022 6024 4214 0 -1 4202496 13572 0 0 0 2443 106 0 0 25 0 1 0 2721079 44802048 10313 1992294400 4194304 7136930 140735906184960 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/6024/statm: 10938 10313 391 719 0 10217 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 43752 [startup+51.1014 s] /proc/loadavg: 1.00 1.00 1.00 2/107 6025 /proc/meminfo: memFree=1499548/2059040 swapFree=4192956/4192956 [pid=6024] ppid=6022 vsize=60156 CPUtime=51.07 /proc/6024/stat : 6024 (pbscip.linux.x8) R 6022 6024 4214 0 -1 4202496 17711 0 0 0 4934 173 0 0 25 0 1 0 2721079 61599744 14452 1992294400 4194304 7136930 140735906184960 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/6024/statm: 15039 14452 391 719 0 14318 0 Current children cumulated CPU time (s) 51.07 Current children cumulated vsize (KiB) 60156 [startup+102.31 s] /proc/loadavg: 1.00 1.00 1.00 2/107 6027 /proc/meminfo: memFree=1480948/2059040 swapFree=4192956/4192956 [pid=6024] ppid=6022 vsize=78600 CPUtime=102.27 /proc/6024/stat : 6024 (pbscip.linux.x8) R 6022 6024 4214 0 -1 4202496 22303 0 0 0 9949 278 0 0 25 0 1 0 2721079 80486400 19044 1992294400 4194304 7136930 140735906184960 18446744073709551615 4223056 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/6024/statm: 19650 19044 391 719 0 18929 0 Current children cumulated CPU time (s) 102.27 Current children cumulated vsize (KiB) 78600 [startup+162.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 6029 /proc/meminfo: memFree=1452800/2059040 swapFree=4192956/4192956 [pid=6024] ppid=6022 vsize=108524 CPUtime=162.23 /proc/6024/stat : 6024 (pbscip.linux.x8) R 6022 6024 4214 0 -1 4202496 29334 0 0 0 15826 397 0 0 25 0 1 0 2721079 111128576 26075 1992294400 4194304 7136930 140735906184960 18446744073709551615 4210555 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/6024/statm: 27131 26075 391 719 0 26410 0 Current children cumulated CPU time (s) 162.23 Current children cumulated vsize (KiB) 108524 [startup+222.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 6029 /proc/meminfo: memFree=1435564/2059040 swapFree=4192956/4192956 [pid=6024] ppid=6022 vsize=125508 CPUtime=222.21 /proc/6024/stat : 6024 (pbscip.linux.x8) R 6022 6024 4214 0 -1 4202496 33585 0 0 0 21716 505 0 0 25 0 1 0 2721079 128520192 30326 1992294400 4194304 7136930 140735906184960 18446744073709551615 4227480 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/6024/statm: 31377 30326 391 719 0 30656 0 Current children cumulated CPU time (s) 222.21 Current children cumulated vsize (KiB) 125508 [startup+282.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 6031 /proc/meminfo: memFree=1416468/2059040 swapFree=4192956/4192956 [pid=6024] ppid=6022 vsize=144492 CPUtime=282.19 /proc/6024/stat : 6024 (pbscip.linux.x8) R 6022 6024 4214 0 -1 4202496 38339 0 0 0 27632 587 0 0 25 0 1 0 2721079 147959808 35080 1992294400 4194304 7136930 140735906184960 18446744073709551615 5005110 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/6024/statm: 36123 35080 391 719 0 35402 0 Current children cumulated CPU time (s) 282.19 Current children cumulated vsize (KiB) 144492 [startup+342.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 6033 /proc/meminfo: memFree=1404936/2059040 swapFree=4192956/4192956 [pid=6024] ppid=6022 vsize=155968 CPUtime=342.17 /proc/6024/stat : 6024 (pbscip.linux.x8) R 6022 6024 4214 0 -1 4202496 41200 0 0 0 33560 657 0 0 25 0 1 0 2721079 159711232 37941 1992294400 4194304 7136930 140735906184960 18446744073709551615 4999862 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/6024/statm: 38992 37941 391 719 0 38271 0 Current children cumulated CPU time (s) 342.17 Current children cumulated vsize (KiB) 155968 [startup+402.302 s] /proc/loadavg: 1.00 1.00 1.00 2/107 6035 /proc/meminfo: memFree=1392784/2059040 swapFree=4192956/4192956 [pid=6024] ppid=6022 vsize=168116 CPUtime=402.16 /proc/6024/stat : 6024 (pbscip.linux.x8) R 6022 6024 4214 0 -1 4202496 44226 0 0 0 39491 725 0 0 25 0 1 0 2721079 172150784 40967 1992294400 4194304 7136930 140735906184960 18446744073709551615 4999862 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/6024/statm: 42029 40967 391 719 0 41308 0 Current children cumulated CPU time (s) 402.16 Current children cumulated vsize (KiB) 168116 [startup+462.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 6037 /proc/meminfo: memFree=1384972/2059040 swapFree=4192956/4192956 [pid=6024] ppid=6022 vsize=176100 CPUtime=462.13 /proc/6024/stat : 6024 (pbscip.linux.x8) R 6022 6024 4214 0 -1 4202496 46177 0 0 0 45426 787 0 0 25 0 1 0 2721079 180326400 42918 1992294400 4194304 7136930 140735906184960 18446744073709551615 4999862 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/6024/statm: 44025 42918 391 719 0 43304 0 Current children cumulated CPU time (s) 462.13 Current children cumulated vsize (KiB) 176100 [startup+522.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 6037 /proc/meminfo: memFree=1376788/2059040 swapFree=4192956/4192956 [pid=6024] ppid=6022 vsize=184308 CPUtime=522.11 /proc/6024/stat : 6024 (pbscip.linux.x8) R 6022 6024 4214 0 -1 4202496 48196 0 0 0 51363 848 0 0 25 0 1 0 2721079 188731392 44937 1992294400 4194304 7136930 140735906184960 18446744073709551615 4221190 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/6024/statm: 46077 44937 391 719 0 45356 0 Current children cumulated CPU time (s) 522.11 Current children cumulated vsize (KiB) 184308 [startup+582.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 6039 /proc/meminfo: memFree=1370960/2059040 swapFree=4192956/4192956 [pid=6024] ppid=6022 vsize=189964 CPUtime=582.09 /proc/6024/stat : 6024 (pbscip.linux.x8) R 6022 6024 4214 0 -1 4202496 49657 0 0 0 57304 905 0 0 25 0 1 0 2721079 194523136 46398 1992294400 4194304 7136930 140735906184960 18446744073709551615 5001212 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/6024/statm: 47491 46398 391 719 0 46770 0 Current children cumulated CPU time (s) 582.09 Current children cumulated vsize (KiB) 189964 [startup+642.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 6041 /proc/meminfo: memFree=1366372/2059040 swapFree=4192956/4192956 [pid=6024] ppid=6022 vsize=194592 CPUtime=642.08 /proc/6024/stat : 6024 (pbscip.linux.x8) R 6022 6024 4214 0 -1 4202496 50784 0 0 0 63245 963 0 0 25 0 1 0 2721079 199262208 47525 1992294400 4194304 7136930 140735906184960 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/6024/statm: 48648 47525 391 719 0 47927 0 Current children cumulated CPU time (s) 642.08 Current children cumulated vsize (KiB) 194592 [startup+702.301 s] ################ # More data... # ################ [startup+942.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 6049 /proc/meminfo: memFree=1325328/2059040 swapFree=4192956/4192956 [pid=6024] ppid=6022 vsize=235592 CPUtime=941.96 /proc/6024/stat : 6024 (pbscip.linux.x8) R 6022 6024 4214 0 -1 4202496 61001 0 0 0 92961 1235 0 0 25 0 1 0 2721079 241246208 57742 1992294400 4194304 7136930 140735906184960 18446744073709551615 4999837 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/6024/statm: 58898 57742 391 719 0 58177 0 Current children cumulated CPU time (s) 941.96 Current children cumulated vsize (KiB) 235592 [startup+1002.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 6051 /proc/meminfo: memFree=1318632/2059040 swapFree=4192956/4192956 [pid=6024] ppid=6022 vsize=242080 CPUtime=1001.95 /proc/6024/stat : 6024 (pbscip.linux.x8) R 6022 6024 4214 0 -1 4202496 62620 0 0 0 98914 1281 0 0 25 0 1 0 2721079 247889920 59361 1992294400 4194304 7136930 140735906184960 18446744073709551615 4210031 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/6024/statm: 60520 59361 391 719 0 59799 0 Current children cumulated CPU time (s) 1001.95 Current children cumulated vsize (KiB) 242080 [startup+1062.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 6053 /proc/meminfo: memFree=1313424/2059040 swapFree=4192956/4192956 [pid=6024] ppid=6022 vsize=247540 CPUtime=1061.93 /proc/6024/stat : 6024 (pbscip.linux.x8) R 6022 6024 4214 0 -1 4202496 63939 0 0 0 104862 1331 0 0 25 0 1 0 2721079 253480960 60680 1992294400 4194304 7136930 140735906184960 18446744073709551615 4999902 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/6024/statm: 61885 60680 391 719 0 61164 0 Current children cumulated CPU time (s) 1061.93 Current children cumulated vsize (KiB) 247540 [startup+1122.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 6053 /proc/meminfo: memFree=1307596/2059040 swapFree=4192956/4192956 [pid=6024] ppid=6022 vsize=253112 CPUtime=1121.91 /proc/6024/stat : 6024 (pbscip.linux.x8) R 6022 6024 4214 0 -1 4202496 65354 0 0 0 110814 1377 0 0 25 0 1 0 2721079 259186688 62095 1992294400 4194304 7136930 140735906184960 18446744073709551615 4210629 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/6024/statm: 63278 62095 391 719 0 62557 0 Current children cumulated CPU time (s) 1121.91 Current children cumulated vsize (KiB) 253112 [startup+1182.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 6055 /proc/meminfo: memFree=1299288/2059040 swapFree=4192956/4192956 [pid=6024] ppid=6022 vsize=262124 CPUtime=1181.89 /proc/6024/stat : 6024 (pbscip.linux.x8) R 6022 6024 4214 0 -1 4202496 67618 0 0 0 116770 1419 0 0 25 0 1 0 2721079 268414976 64359 1992294400 4194304 7136930 140735906184960 18446744073709551615 4999811 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/6024/statm: 65531 64359 391 719 0 64810 0 Current children cumulated CPU time (s) 1181.89 Current children cumulated vsize (KiB) 262124 [startup+1242.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 6057 /proc/meminfo: memFree=1291352/2059040 swapFree=4192956/4192956 [pid=6024] ppid=6022 vsize=269464 CPUtime=1241.87 /proc/6024/stat : 6024 (pbscip.linux.x8) R 6022 6024 4214 0 -1 4202496 69398 0 0 0 122724 1463 0 0 25 0 1 0 2721079 275931136 66139 1992294400 4194304 7136930 140735906184960 18446744073709551615 5955603 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/6024/statm: 67366 66139 391 719 0 66645 0 Current children cumulated CPU time (s) 1241.87 Current children cumulated vsize (KiB) 269464 [startup+1302.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 6059 /proc/meminfo: memFree=1287756/2059040 swapFree=4192956/4192956 [pid=6024] ppid=6022 vsize=273424 CPUtime=1301.85 /proc/6024/stat : 6024 (pbscip.linux.x8) R 6022 6024 4214 0 -1 4202496 70267 0 0 0 128684 1501 0 0 25 0 1 0 2721079 279986176 67008 1992294400 4194304 7136930 140735906184960 18446744073709551615 4999811 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/6024/statm: 68356 67008 391 719 0 67635 0 Current children cumulated CPU time (s) 1301.85 Current children cumulated vsize (KiB) 273424 [startup+1362.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 6061 /proc/meminfo: memFree=1285772/2059040 swapFree=4192956/4192956 [pid=6024] ppid=6022 vsize=275236 CPUtime=1361.82 /proc/6024/stat : 6024 (pbscip.linux.x8) R 6022 6024 4214 0 -1 4202496 70732 0 0 0 134639 1543 0 0 25 0 1 0 2721079 281841664 67473 1992294400 4194304 7136930 140735906184960 18446744073709551615 4999811 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/6024/statm: 68809 67473 391 719 0 68088 0 Current children cumulated CPU time (s) 1361.82 Current children cumulated vsize (KiB) 275236 [startup+1422.31 s] /proc/loadavg: 1.00 1.00 1.00 2/107 6061 /proc/meminfo: memFree=1284036/2059040 swapFree=4192956/4192956 [pid=6024] ppid=6022 vsize=276856 CPUtime=1421.81 /proc/6024/stat : 6024 (pbscip.linux.x8) R 6022 6024 4214 0 -1 4202496 71170 0 0 0 140603 1578 0 0 25 0 1 0 2721079 283500544 67911 1992294400 4194304 7136930 140735906184960 18446744073709551615 5955654 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/6024/statm: 69214 67911 391 719 0 68493 0 Current children cumulated CPU time (s) 1421.81 Current children cumulated vsize (KiB) 276856 [startup+1482.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 6063 /proc/meminfo: memFree=1278828/2059040 swapFree=4192956/4192956 [pid=6024] ppid=6022 vsize=282004 CPUtime=1481.78 /proc/6024/stat : 6024 (pbscip.linux.x8) R 6022 6024 4214 0 -1 4202496 72473 0 0 0 146562 1616 0 0 25 0 1 0 2721079 288772096 69214 1992294400 4194304 7136930 140735906184960 18446744073709551615 4210588 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/6024/statm: 70501 69214 391 719 0 69780 0 Current children cumulated CPU time (s) 1481.78 Current children cumulated vsize (KiB) 282004 [startup+1542.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 6065 /proc/meminfo: memFree=1277216/2059040 swapFree=4192956/4192956 [pid=6024] ppid=6022 vsize=283712 CPUtime=1541.76 /proc/6024/stat : 6024 (pbscip.linux.x8) R 6022 6024 4214 0 -1 4202496 72883 0 0 0 152521 1655 0 0 25 0 1 0 2721079 290521088 69624 1992294400 4194304 7136930 140735906184960 18446744073709551615 4210588 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/6024/statm: 70928 69624 391 719 0 70207 0 Current children cumulated CPU time (s) 1541.76 Current children cumulated vsize (KiB) 283712 [startup+1602.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 6067 /proc/meminfo: memFree=1274240/2059040 swapFree=4192956/4192956 [pid=6024] ppid=6022 vsize=286796 CPUtime=1601.75 /proc/6024/stat : 6024 (pbscip.linux.x8) R 6022 6024 4214 0 -1 4202496 73586 0 0 0 158485 1690 0 0 25 0 1 0 2721079 293679104 70327 1992294400 4194304 7136930 140735906184960 18446744073709551615 4999842 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/6024/statm: 71699 70327 391 719 0 70978 0 Current children cumulated CPU time (s) 1601.75 Current children cumulated vsize (KiB) 286796 [startup+1662.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 6072 /proc/meminfo: memFree=1271760/2059040 swapFree=4192956/4192956 [pid=6024] ppid=6022 vsize=289240 CPUtime=1661.72 /proc/6024/stat : 6024 (pbscip.linux.x8) R 6022 6024 4214 0 -1 4202496 74163 0 0 0 164448 1724 0 0 25 0 1 0 2721079 296181760 70904 1992294400 4194304 7136930 140735906184960 18446744073709551615 4999837 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/6024/statm: 72310 70904 391 719 0 71589 0 Current children cumulated CPU time (s) 1661.72 Current children cumulated vsize (KiB) 289240 [startup+1722.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 6072 /proc/meminfo: memFree=1271140/2059040 swapFree=4192956/4192956 [pid=6024] ppid=6022 vsize=289792 CPUtime=1721.7 /proc/6024/stat : 6024 (pbscip.linux.x8) R 6022 6024 4214 0 -1 4202496 74287 0 0 0 170413 1757 0 0 25 0 1 0 2721079 296747008 71028 1992294400 4194304 7136930 140735906184960 18446744073709551615 4999837 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/6024/statm: 72448 71028 391 719 0 71727 0 Current children cumulated CPU time (s) 1721.7 Current children cumulated vsize (KiB) 289792 [startup+1782.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 6074 /proc/meminfo: memFree=1266056/2059040 swapFree=4192956/4192956 [pid=6024] ppid=6022 vsize=295044 CPUtime=1781.69 /proc/6024/stat : 6024 (pbscip.linux.x8) R 6022 6024 4214 0 -1 4202496 75558 0 0 0 176379 1790 0 0 25 0 1 0 2721079 302125056 72299 1992294400 4194304 7136930 140735906184960 18446744073709551615 4219812 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/6024/statm: 73761 72299 391 719 0 73040 0 Current children cumulated CPU time (s) 1781.69 Current children cumulated vsize (KiB) 295044 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.71 s] /proc/loadavg: 1.00 1.00 1.00 2/107 6076 /proc/meminfo: memFree=1266056/2059040 swapFree=4192956/4192956 [pid=6024] ppid=6022 vsize=295044 CPUtime=1800.09 /proc/6024/stat : 6024 (pbscip.linux.x8) R 6022 6024 4214 0 -1 4202496 75558 0 0 0 178209 1800 0 0 25 0 1 0 2721079 302125056 72299 1992294400 4194304 7136930 140735906184960 18446744073709551615 5950417 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/6024/statm: 73761 72299 391 719 0 73040 0 Current children cumulated CPU time (s) 1800.09 Current children cumulated vsize (KiB) 295044 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples [startup+1801.4 s] /proc/loadavg: 1.00 1.00 1.00 2/107 6076 /proc/meminfo: memFree=1266056/2059040 swapFree=4192956/4192956 [pid=6024] ppid=6022 vsize=295340 CPUtime=1800.77 /proc/6024/stat : 6024 (pbscip.linux.x8) R 6022 6024 4214 0 -1 4202496 75615 0 0 0 178277 1800 0 0 18 0 1 0 2721079 302428160 72356 1992294400 4194304 7136930 140735906184960 18446744073709551615 4616445 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/6024/statm: 73835 72356 396 719 0 73114 0 Current children cumulated CPU time (s) 1800.77 Current children cumulated vsize (KiB) 295340 [startup+1801.6 s] /proc/loadavg: 1.00 1.00 1.00 2/107 6076 /proc/meminfo: memFree=1266056/2059040 swapFree=4192956/4192956 [pid=6024] ppid=6022 vsize=86428 CPUtime=1800.98 /proc/6024/stat : 6024 (pbscip.linux.x8) R 6022 6024 4214 0 -1 4202496 75615 0 0 0 178295 1803 0 0 19 0 1 0 2721079 88502272 20671 1992294400 4194304 7136930 140735906184960 18446744073709551615 6360983 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/6024/statm: 21429 20671 396 719 0 20708 0 Current children cumulated CPU time (s) 1800.98 Current children cumulated vsize (KiB) 86428 Child status: 0 Real time (s): 1801.61 CPU time (s): 1801 CPU user time (s): 1782.95 CPU system time (s): 18.0433 CPU usage (%): 99.9658 Max. virtual memory (cumulated for all children) (KiB): 295340 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1782.95 system time used= 18.0433 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 75622 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= 5 involuntary context switches= 3379 runsolver used 3.9144 second user time and 9.2136 second system time The end
Begin job on node027 at 2010-06-11 23:11:32 IDJOB=2664130 IDBENCH=1299 IDSOLVER=1167 FILE ID=node027/2664130-1276290692 PBS_JOBID= 11173099 Free space on /tmp= 62448 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.1900554072.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-2664130-1276290692/watcher-2664130-1276290692 -o /tmp/evaluation-result-2664130-1276290692/solver-2664130-1276290692 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt.none -f HOME/instance-2664130-1276290692.opb -t 1800 -m 1800 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= 6281627dc4c435fe3011d1036bb94900 RANDOM SEED=1142055123 node027.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 : 2800.261 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 : 5600.52 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 15 model : 4 model name : Intel(R) Xeon(TM) CPU 3.00GHz stepping : 3 cpu MHz : 2800.261 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: 1556876 kB Buffers: 63560 kB Cached: 311064 kB SwapCached: 0 kB Active: 175200 kB Inactive: 258812 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2059040 kB LowFree: 1556876 kB SwapTotal: 4192956 kB SwapFree: 4192956 kB Dirty: 3232 kB Writeback: 0 kB AnonPages: 59392 kB Mapped: 15392 kB Slab: 46412 kB PageTables: 3980 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 5222476 kB Committed_AS: 181548 kB VmallocTotal: 34359738367 kB VmallocUsed: 264952 kB VmallocChunk: 34359471699 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 Hugepagesize: 2048 kB Free space on /tmp at the end= 62444 MiB End job on node027 at 2010-06-11 23:41:35