| Solver Name | Answer | CPU time | Wall clock time |
|---|---|---|---|
| SCIPnone SCIP 1.2.1.2 without any LP solver | UNSAT | 149.258 | 149.319 |
| Name | normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/namasivayam/ wnqueen/normalized-t2001.13queen13.1111224059.opb |
| MD5SUM | a18d21f73a1079a5fbd022c0c033271e |
| 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 | 0.033994 |
| 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 | 169 |
| Total number of constraints | 101 |
| Number of constraints which are clauses | 30 |
| Number of constraints which are cardinality constraints (but not clauses) | 70 |
| Number of constraints which are nor clauses,nor cardinality constraints | 1 |
| Minimum length of a constraint | 2 |
| Maximum length of a constraint | 169 |
| 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 | 38 |
| Number of bits of the biggest number in a constraint | 6 |
| Biggest sum of numbers in a constraint | 1314 |
| Number of bits of the biggest sum of numbers | 11 |
| 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-2664358-1276278478.opb>
0.00/0.01 c original problem has 169 variables (169 bin, 0 int, 0 impl, 0 cont) and 101 constraints
0.00/0.01 c problem read
0.00/0.01 c No objective function, only one solution is needed.
0.00/0.01 c presolving settings loaded
0.00/0.01 c [src/scip/lpi_none.c:41] ERROR: there is no LP solver linked to the binary (LPS=none); you should set the parameter <lp/solvefreq> to <-1> to avoid solving LPs
0.00/0.01 c presolving:
0.00/0.02 c (round 1) 0 del vars, 28 del conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 47 upgd conss, 8 impls, 68 clqs
0.00/0.03 c (round 2) 0 del vars, 28 del conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 73 upgd conss, 8 impls, 68 clqs
0.00/0.03 c presolving (3 rounds):
0.00/0.03 c 0 deleted vars, 28 deleted constraints, 0 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
0.00/0.03 c 8 implications, 68 cliques
0.00/0.03 c presolved problem has 169 variables (169 bin, 0 int, 0 impl, 0 cont) and 73 constraints
0.00/0.03 c 1 constraints of type <knapsack>
0.00/0.03 c 68 constraints of type <setppc>
0.00/0.03 c 4 constraints of type <logicor>
0.00/0.03 c transformed objective value is always integral (scale: 1)
0.00/0.03 c Presolving Time: 0.01
0.00/0.03 c - non default parameters ----------------------------------------------------------------------
0.00/0.03 c # SCIP version 1.2.1.2
0.00/0.03 c
0.00/0.03 c # frequency for displaying node information lines
0.00/0.03 c # [type: int, range: [-1,2147483647], default: 100]
0.00/0.03 c display/freq = 10000
0.00/0.03 c
0.00/0.03 c # maximal time in seconds to run
0.00/0.03 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.00/0.03 c limits/time = 1799.99
0.00/0.03 c
0.00/0.03 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.00/0.03 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.00/0.03 c limits/memory = 1620
0.00/0.03 c
0.00/0.03 c # solving stops, if the given number of solutions were found (-1: no limit)
0.00/0.03 c # [type: int, range: [-1,2147483647], default: -1]
0.00/0.03 c limits/solutions = 1
0.00/0.03 c
0.00/0.03 c # frequency for solving LP at the nodes (-1: never; 0: only root LP)
0.00/0.03 c # [type: int, range: [-1,2147483647], default: 1]
0.00/0.03 c lp/solvefreq = -1
0.00/0.03 c
0.00/0.03 c # maximal number of separation rounds per node (-1: unlimited)
0.00/0.03 c # [type: int, range: [-1,2147483647], default: 5]
0.00/0.03 c separating/maxrounds = 1
0.00/0.03 c
0.00/0.03 c # maximal number of separation rounds in the root node (-1: unlimited)
0.00/0.03 c # [type: int, range: [-1,2147483647], default: -1]
0.00/0.03 c separating/maxroundsroot = 5
0.00/0.03 c
0.00/0.03 c # should presolving try to simplify inequalities
0.00/0.03 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.00/0.03 c constraints/linear/simplifyinequalities = TRUE
0.00/0.03 c
0.00/0.03 c # should disaggregation of knapsack constraints be allowed in preprocessing?
0.00/0.03 c # [type: bool, range: {TRUE,FALSE}, default: TRUE]
0.00/0.03 c constraints/knapsack/disaggregation = FALSE
0.00/0.03 c
0.00/0.03 c # should presolving try to simplify knapsacks
0.00/0.03 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.00/0.03 c constraints/knapsack/simplifyinequalities = TRUE
0.00/0.03 c
0.00/0.03 c # maximal number of presolving rounds the presolver participates in (-1: no limit)
0.00/0.03 c # [type: int, range: [-1,2147483647], default: -1]
0.00/0.03 c presolving/probing/maxrounds = 0
0.00/0.03 c
0.00/0.03 c # frequency for calling primal heuristic <coefdiving> (-1: never, 0: only at depth freqofs)
0.00/0.03 c # [type: int, range: [-1,2147483647], default: 10]
0.00/0.03 c heuristics/coefdiving/freq = -1
0.00/0.03 c
0.00/0.03 c # maximal fraction of diving LP iterations compared to node LP iterations
0.00/0.03 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
0.00/0.03 c heuristics/coefdiving/maxlpiterquot = 0.075
0.00/0.03 c
0.00/0.03 c # additional number of allowed LP iterations
0.00/0.03 c # [type: int, range: [0,2147483647], default: 1000]
0.00/0.03 c heuristics/coefdiving/maxlpiterofs = 1500
0.00/0.03 c
0.00/0.03 c # frequency for calling primal heuristic <crossover> (-1: never, 0: only at depth freqofs)
0.00/0.03 c # [type: int, range: [-1,2147483647], default: 30]
0.00/0.03 c heuristics/crossover/freq = -1
0.00/0.03 c
0.00/0.03 c # number of nodes added to the contingent of the total nodes
0.00/0.03 c # [type: longint, range: [0,9223372036854775807], default: 500]
0.00/0.03 c heuristics/crossover/nodesofs = 750
0.00/0.03 c
0.00/0.03 c # number of nodes without incumbent change that heuristic should wait
0.00/0.03 c # [type: longint, range: [0,9223372036854775807], default: 200]
0.00/0.03 c heuristics/crossover/nwaitingnodes = 100
0.00/0.03 c
0.00/0.03 c # contingent of sub problem nodes in relation to the number of nodes of the original problem
0.00/0.03 c # [type: real, range: [0,1], default: 0.1]
0.00/0.03 c heuristics/crossover/nodesquot = 0.15
0.00/0.03 c
0.00/0.03 c # minimum percentage of integer variables that have to be fixed
0.00/0.03 c # [type: real, range: [0,1], default: 0.666]
0.00/0.03 c heuristics/crossover/minfixingrate = 0.5
0.00/0.03 c
0.00/0.03 c # frequency for calling primal heuristic <feaspump> (-1: never, 0: only at depth freqofs)
0.00/0.03 c # [type: int, range: [-1,2147483647], default: 20]
0.00/0.03 c heuristics/feaspump/freq = -1
0.00/0.03 c
0.00/0.03 c # additional number of allowed LP iterations
0.00/0.03 c # [type: int, range: [0,2147483647], default: 1000]
0.00/0.03 c heuristics/feaspump/maxlpiterofs = 2000
0.00/0.03 c
0.00/0.03 c # frequency for calling primal heuristic <fracdiving> (-1: never, 0: only at depth freqofs)
0.00/0.03 c # [type: int, range: [-1,2147483647], default: 10]
0.00/0.03 c heuristics/fracdiving/freq = -1
0.00/0.03 c
0.00/0.03 c # maximal fraction of diving LP iterations compared to node LP iterations
0.00/0.03 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
0.00/0.03 c heuristics/fracdiving/maxlpiterquot = 0.075
0.00/0.03 c
0.00/0.03 c # additional number of allowed LP iterations
0.00/0.03 c # [type: int, range: [0,2147483647], default: 1000]
0.00/0.03 c heuristics/fracdiving/maxlpiterofs = 1500
0.00/0.03 c
0.00/0.03 c # frequency for calling primal heuristic <guideddiving> (-1: never, 0: only at depth freqofs)
0.00/0.03 c # [type: int, range: [-1,2147483647], default: 10]
0.00/0.03 c heuristics/guideddiving/freq = -1
0.00/0.03 c
0.00/0.03 c # maximal fraction of diving LP iterations compared to node LP iterations
0.00/0.03 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
0.00/0.03 c heuristics/guideddiving/maxlpiterquot = 0.075
0.00/0.03 c
0.00/0.03 c # additional number of allowed LP iterations
0.00/0.03 c # [type: int, range: [0,2147483647], default: 1000]
0.00/0.03 c heuristics/guideddiving/maxlpiterofs = 1500
0.00/0.03 c
0.00/0.03 c # maximal fraction of diving LP iterations compared to node LP iterations
0.00/0.03 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
0.00/0.03 c heuristics/intdiving/maxlpiterquot = 0.075
0.00/0.03 c
0.00/0.03 c # frequency for calling primal heuristic <intshifting> (-1: never, 0: only at depth freqofs)
0.00/0.03 c # [type: int, range: [-1,2147483647], default: 10]
0.00/0.03 c heuristics/intshifting/freq = -1
0.00/0.03 c
0.00/0.03 c # frequency for calling primal heuristic <linesearchdiving> (-1: never, 0: only at depth freqofs)
0.00/0.03 c # [type: int, range: [-1,2147483647], default: 10]
0.00/0.03 c heuristics/linesearchdiving/freq = -1
0.00/0.03 c
0.00/0.03 c # maximal fraction of diving LP iterations compared to node LP iterations
0.00/0.03 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
0.00/0.03 c heuristics/linesearchdiving/maxlpiterquot = 0.075
0.00/0.03 c
0.00/0.03 c # additional number of allowed LP iterations
0.00/0.03 c # [type: int, range: [0,2147483647], default: 1000]
0.00/0.03 c heuristics/linesearchdiving/maxlpiterofs = 1500
0.00/0.03 c
0.00/0.03 c # frequency for calling primal heuristic <nlp> (-1: never, 0: only at depth freqofs)
0.00/0.03 c # [type: int, range: [-1,2147483647], default: 1]
0.00/0.03 c heuristics/nlp/freq = -1
0.00/0.03 c
0.00/0.03 c # frequency for calling primal heuristic <objpscostdiving> (-1: never, 0: only at depth freqofs)
0.00/0.03 c # [type: int, range: [-1,2147483647], default: 20]
0.00/0.03 c heuristics/objpscostdiving/freq = -1
0.00/0.03 c
0.00/0.03 c # maximal fraction of diving LP iterations compared to total iteration number
0.00/0.03 c # [type: real, range: [0,1], default: 0.01]
0.00/0.03 c heuristics/objpscostdiving/maxlpiterquot = 0.015
0.00/0.03 c
0.00/0.03 c # additional number of allowed LP iterations
0.00/0.03 c # [type: int, range: [0,2147483647], default: 1000]
0.00/0.03 c heuristics/objpscostdiving/maxlpiterofs = 1500
0.00/0.03 c
0.00/0.03 c # frequency for calling primal heuristic <oneopt> (-1: never, 0: only at depth freqofs)
0.00/0.03 c # [type: int, range: [-1,2147483647], default: 1]
0.00/0.03 c heuristics/oneopt/freq = -1
0.00/0.03 c
0.00/0.03 c # frequency for calling primal heuristic <pscostdiving> (-1: never, 0: only at depth freqofs)
0.00/0.03 c # [type: int, range: [-1,2147483647], default: 10]
0.00/0.03 c heuristics/pscostdiving/freq = -1
0.00/0.03 c
0.00/0.03 c # maximal fraction of diving LP iterations compared to node LP iterations
0.00/0.03 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
0.00/0.03 c heuristics/pscostdiving/maxlpiterquot = 0.075
0.00/0.03 c
0.00/0.03 c # additional number of allowed LP iterations
0.00/0.03 c # [type: int, range: [0,2147483647], default: 1000]
0.00/0.03 c heuristics/pscostdiving/maxlpiterofs = 1500
0.00/0.03 c
0.00/0.03 c # frequency for calling primal heuristic <rens> (-1: never, 0: only at depth freqofs)
0.00/0.03 c # [type: int, range: [-1,2147483647], default: 0]
0.00/0.03 c heuristics/rens/freq = -1
0.00/0.03 c
0.00/0.03 c # minimum percentage of integer variables that have to be fixable
0.00/0.03 c # [type: real, range: [0,1], default: 0.5]
0.00/0.03 c heuristics/rens/minfixingrate = 0.3
0.00/0.03 c
0.00/0.03 c # number of nodes added to the contingent of the total nodes
0.00/0.03 c # [type: longint, range: [0,9223372036854775807], default: 500]
0.00/0.03 c heuristics/rens/nodesofs = 2000
0.00/0.03 c
0.00/0.03 c # frequency for calling primal heuristic <rootsoldiving> (-1: never, 0: only at depth freqofs)
0.00/0.03 c # [type: int, range: [-1,2147483647], default: 20]
0.00/0.03 c heuristics/rootsoldiving/freq = -1
0.00/0.03 c
0.00/0.03 c # maximal fraction of diving LP iterations compared to node LP iterations
0.00/0.03 c # [type: real, range: [0,1.79769313486232e+308], default: 0.01]
0.00/0.03 c heuristics/rootsoldiving/maxlpiterquot = 0.015
0.00/0.03 c
0.00/0.03 c # additional number of allowed LP iterations
0.00/0.03 c # [type: int, range: [0,2147483647], default: 1000]
0.00/0.03 c heuristics/rootsoldiving/maxlpiterofs = 1500
0.00/0.03 c
0.00/0.03 c # frequency for calling primal heuristic <rounding> (-1: never, 0: only at depth freqofs)
0.00/0.03 c # [type: int, range: [-1,2147483647], default: 1]
0.00/0.03 c heuristics/rounding/freq = -1
0.00/0.03 c
0.00/0.03 c # frequency for calling primal heuristic <shifting> (-1: never, 0: only at depth freqofs)
0.00/0.03 c # [type: int, range: [-1,2147483647], default: 10]
0.00/0.03 c heuristics/shifting/freq = -1
0.00/0.03 c
0.00/0.03 c # frequency for calling primal heuristic <simplerounding> (-1: never, 0: only at depth freqofs)
0.00/0.03 c # [type: int, range: [-1,2147483647], default: 1]
0.00/0.03 c heuristics/simplerounding/freq = -1
0.00/0.03 c
0.00/0.03 c # frequency for calling primal heuristic <trivial> (-1: never, 0: only at depth freqofs)
0.00/0.03 c # [type: int, range: [-1,2147483647], default: 0]
0.00/0.03 c heuristics/trivial/freq = -1
0.00/0.03 c
0.00/0.03 c # frequency for calling primal heuristic <trysol> (-1: never, 0: only at depth freqofs)
0.00/0.03 c # [type: int, range: [-1,2147483647], default: 1]
0.00/0.03 c heuristics/trysol/freq = -1
0.00/0.03 c
0.00/0.03 c # frequency for calling primal heuristic <veclendiving> (-1: never, 0: only at depth freqofs)
0.00/0.03 c # [type: int, range: [-1,2147483647], default: 10]
0.00/0.03 c heuristics/veclendiving/freq = -1
0.00/0.03 c
0.00/0.03 c # maximal fraction of diving LP iterations compared to node LP iterations
0.00/0.03 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
0.00/0.03 c heuristics/veclendiving/maxlpiterquot = 0.075
0.00/0.03 c
0.00/0.03 c # additional number of allowed LP iterations
0.00/0.03 c # [type: int, range: [0,2147483647], default: 1000]
0.00/0.03 c heuristics/veclendiving/maxlpiterofs = 1500
0.00/0.03 c
0.00/0.03 c # frequency for calling primal heuristic <zirounding> (-1: never, 0: only at depth freqofs)
0.00/0.03 c # [type: int, range: [-1,2147483647], default: 1]
0.00/0.03 c heuristics/zirounding/freq = -1
0.00/0.03 c
0.00/0.03 c # frequency for calling separator <cmir> (-1: never, 0: only in root node)
0.00/0.03 c # [type: int, range: [-1,2147483647], default: 0]
0.00/0.03 c separating/cmir/freq = -1
0.00/0.03 c
0.00/0.03 c # frequency for calling separator <flowcover> (-1: never, 0: only in root node)
0.00/0.03 c # [type: int, range: [-1,2147483647], default: 0]
0.00/0.03 c separating/flowcover/freq = -1
0.00/0.03 c
0.00/0.03 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
0.00/0.03 c # [type: int, range: [-1,2147483647], default: -1]
0.00/0.03 c separating/rapidlearning/freq = 0
0.00/0.03 c
0.00/0.03 c -----------------------------------------------------------------------------------------------
0.00/0.03 c start solving
0.00/0.03 c
0.00/0.03 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
0.00/0.03 c 0.0s| 1 | 2 | 0 | - | 633k| 0 | - | 169 | 73 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
2.19/2.25 c 2.0s| 10000 | 7234 | 0 | 0.0 |5680k| 69 | - | 169 |2397 | 0 | 0 | 0 |2406 | 0 | 0.000000e+00 | -- | Inf
6.19/6.29 c 5.8s| 20000 | 12817 | 0 | 0.0 | 10M| 72 | - | 169 |2880 | 0 | 0 | 0 |6064 | 0 | 0.000000e+00 | -- | Inf
11.48/11.55 c 10.8s| 30000 | 16873 | 0 | 0.0 | 14M| 72 | - | 169 |4106 | 0 | 0 | 0 | 11k| 0 | 0.000000e+00 | -- | Inf
18.68/18.76 c 17.8s| 40000 | 19645 | 0 | 0.0 | 18M| 72 | - | 169 |5552 | 0 | 0 | 0 | 17k| 0 | 0.000000e+00 | -- | Inf
28.67/28.78 c 27.5s| 50000 | 20483 | 0 | 0.0 | 21M| 72 | - | 169 |4951 | 0 | 0 | 0 | 24k| 0 | 0.000000e+00 | -- | Inf
39.07/39.14 c 37.5s| 60000 | 21310 | 0 | 0.0 | 24M| 72 | - | 169 |6173 | 0 | 0 | 0 | 32k| 0 | 0.000000e+00 | -- | Inf
53.57/53.60 c 51.7s| 70000 | 20287 | 0 | 0.0 | 26M| 72 | - | 169 |8059 | 0 | 0 | 0 | 41k| 0 | 0.000000e+00 | -- | Inf
70.56/70.67 c 68.4s| 80000 | 18774 | 0 | 0.0 | 28M| 72 | - | 169 | 10k| 0 | 0 | 0 | 50k| 0 | 0.000000e+00 | -- | Inf
94.56/94.63 c 92.0s| 90000 | 14410 | 0 | 0.0 | 25M| 72 | - | 169 | 10k| 0 | 0 | 0 | 62k| 0 | 0.000000e+00 | -- | Inf
123.74/123.88 c 121s|100000 | 7371 | 0 | 0.0 | 20M| 72 | - | 169 | 13k| 0 | 0 | 0 | 75k| 0 | 0.000000e+00 | -- | Inf
149.13/149.27 c
149.13/149.27 c SCIP Status : problem is solved [infeasible]
149.13/149.27 c Solving Time (sec) : 145.94
149.13/149.27 c Solving Nodes : 106259
149.13/149.27 c Primal Bound : +1.00000000000000e+20 (0 solutions)
149.13/149.27 c Dual Bound : +1.00000000000000e+20
149.13/149.27 c Gap : 0.00 %
149.13/149.27 s UNSATISFIABLE
149.13/149.27 c SCIP Status : problem is solved [infeasible]
149.13/149.27 c Solving Time : 145.94
149.13/149.27 c Original Problem :
149.13/149.27 c Problem name : HOME/instance-2664358-1276278478.opb
149.13/149.27 c Variables : 169 (169 binary, 0 integer, 0 implicit integer, 0 continuous)
149.13/149.27 c Constraints : 101 initial, 101 maximal
149.13/149.27 c Presolved Problem :
149.13/149.27 c Problem name : t_HOME/instance-2664358-1276278478.opb
149.13/149.27 c Variables : 169 (169 binary, 0 integer, 0 implicit integer, 0 continuous)
149.13/149.27 c Constraints : 73 initial, 17079 maximal
149.13/149.27 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs
149.13/149.27 c trivial : 0.00 0 0 0 0 0 0 0 0
149.13/149.27 c dualfix : 0.00 0 0 0 0 0 0 0 0
149.13/149.27 c boundshift : 0.00 0 0 0 0 0 0 0 0
149.13/149.27 c inttobinary : 0.00 0 0 0 0 0 0 0 0
149.13/149.27 c implics : 0.00 0 0 0 0 0 0 0 0
149.13/149.27 c probing : 0.00 0 0 0 0 0 0 0 0
149.13/149.27 c knapsack : 0.00 0 0 0 0 0 0 0 0
149.13/149.27 c setppc : 0.00 0 0 0 0 0 0 0 0
149.13/149.27 c linear : 0.01 0 0 0 0 0 28 0 0
149.13/149.27 c logicor : 0.00 0 0 0 0 0 0 0 0
149.13/149.27 c root node : - 0 - - 0 - - - -
149.13/149.27 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children
149.13/149.27 c integral : 0 0 0 0 0 0 0 0 0 0
149.13/149.27 c knapsack : 1 0 361926 0 65412 7018 1347083 0 0 0
149.13/149.27 c setppc : 68 0 354908 0 65412 51249 793104 0 0 0
149.13/149.27 c logicor : 4+ 0 150297 0 37873 527 57743 0 0 0
149.13/149.27 c countsols : 0 0 0 0 65412 0 0 0 0 0
149.13/149.27 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS
149.13/149.27 c integral : 0.00 0.00 0.00 0.00 0.00
149.13/149.27 c knapsack : 22.31 0.00 21.80 0.00 0.51
149.13/149.27 c setppc : 6.89 0.00 5.74 0.00 1.15
149.13/149.27 c logicor : 56.43 0.00 56.39 0.00 0.04
149.13/149.27 c countsols : 0.00 0.00 0.00 0.00 0.00
149.13/149.27 c Propagators : Time Calls Cutoffs DomReds
149.13/149.27 c vbounds : 0.19 1 0 0
149.13/149.27 c rootredcost : 0.13 0 0 0
149.13/149.27 c pseudoobj : 0.22 0 0 0
149.13/149.27 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
149.13/149.27 c propagation : 2.92 58794 58783 272576 17.1 1516 22.4 -
149.13/149.27 c infeasible LP : 0.00 0 0 0 0.0 0 0.0 0
149.13/149.27 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
149.13/149.27 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
149.13/149.27 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 -
149.13/149.27 c applied globally : - - - 85213 13.2 - - -
149.13/149.27 c applied locally : - - - 752 35.0 - - -
149.13/149.27 c Separators : Time Calls Cutoffs DomReds Cuts Conss
149.13/149.27 c cut pool : 0.00 0 - - 0 - (maximal pool size: 0)
149.13/149.27 c redcost : 0.00 0 0 0 0 0
149.13/149.27 c impliedbounds : 0.00 0 0 0 0 0
149.13/149.27 c intobj : 0.00 0 0 0 0 0
149.13/149.27 c cgmip : 0.00 0 0 0 0 0
149.13/149.27 c gomory : 0.00 0 0 0 0 0
149.13/149.27 c strongcg : 0.00 0 0 0 0 0
149.13/149.27 c cmir : 0.00 0 0 0 0 0
149.13/149.27 c flowcover : 0.00 0 0 0 0 0
149.13/149.27 c clique : 0.00 0 0 0 0 0
149.13/149.27 c zerohalf : 0.00 0 0 0 0 0
149.13/149.27 c mcf : 0.00 0 0 0 0 0
149.13/149.27 c rapidlearning : 0.00 0 0 0 0 0
149.13/149.27 c Pricers : Time Calls Vars
149.13/149.27 c problem variables: 0.00 0 0
149.13/149.27 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
149.13/149.27 c relpscost : 0.00 0 0 0 0 0 0
149.13/149.27 c pscost : 0.00 0 0 0 0 0 0
149.13/149.27 c inference : 1.03 65412 0 0 0 0 130824
149.13/149.27 c mostinf : 0.00 0 0 0 0 0 0
149.13/149.27 c leastinf : 0.00 0 0 0 0 0 0
149.13/149.27 c fullstrong : 0.00 0 0 0 0 0 0
149.13/149.27 c allfullstrong : 0.00 0 0 0 0 0 0
149.13/149.27 c random : 0.00 0 0 0 0 0 0
149.13/149.27 c Primal Heuristics : Time Calls Found
149.13/149.27 c LP solutions : 0.00 - 0
149.13/149.27 c pseudo solutions : 0.00 - 0
149.13/149.27 c trivial : 0.00 1 0
149.13/149.27 c simplerounding : 0.00 0 0
149.13/149.27 c zirounding : 0.00 0 0
149.13/149.27 c rounding : 0.00 0 0
149.13/149.27 c shifting : 0.00 0 0
149.13/149.27 c intshifting : 0.00 0 0
149.13/149.27 c oneopt : 0.00 0 0
149.13/149.27 c twoopt : 0.00 0 0
149.13/149.27 c fixandinfer : 0.00 0 0
149.13/149.27 c feaspump : 0.00 0 0
149.13/149.27 c coefdiving : 0.00 0 0
149.13/149.27 c pscostdiving : 0.00 0 0
149.13/149.27 c fracdiving : 0.00 0 0
149.13/149.27 c veclendiving : 0.00 0 0
149.13/149.27 c intdiving : 0.00 0 0
149.13/149.27 c actconsdiving : 0.00 0 0
149.13/149.27 c objpscostdiving : 0.00 0 0
149.13/149.27 c rootsoldiving : 0.00 0 0
149.13/149.27 c linesearchdiving : 0.00 0 0
149.13/149.27 c guideddiving : 0.00 0 0
149.13/149.27 c octane : 0.00 0 0
149.13/149.27 c rens : 0.00 0 0
149.13/149.27 c rins : 0.00 0 0
149.13/149.27 c localbranching : 0.00 0 0
149.13/149.27 c mutation : 0.00 0 0
149.13/149.27 c crossover : 0.00 0 0
149.13/149.27 c dins : 0.00 0 0
149.13/149.27 c undercover : 0.00 0 0
149.13/149.27 c nlp : 0.00 0 0
149.13/149.27 c trysol : 0.00 0 0
149.13/149.27 c LP : Time Calls Iterations Iter/call Iter/sec
149.13/149.27 c primal LP : 0.00 0 0 0.00 -
149.13/149.27 c dual LP : 0.00 0 0 0.00 -
149.13/149.27 c lex dual LP : 0.00 0 0 0.00 -
149.13/149.27 c barrier LP : 0.00 0 0 0.00 -
149.13/149.27 c diving/probing LP: 0.00 0 0 0.00 -
149.13/149.27 c strong branching : 0.00 0 0 0.00 -
149.13/149.27 c (at root node) : - 0 0 0.00 -
149.13/149.27 c conflict analysis: 0.00 0 0 0.00 -
149.13/149.27 c B&B Tree :
149.13/149.27 c number of runs : 1
149.13/149.27 c nodes : 106259
149.13/149.27 c nodes (total) : 106259
149.13/149.27 c nodes left : 0
149.13/149.27 c max depth : 72
149.13/149.27 c max depth (total): 72
149.13/149.27 c backtracks : 43785 (41.2%)
149.13/149.27 c delayed cutoffs : 24566
149.13/149.27 c repropagations : 139055 (586634 domain reductions, 17947 cutoffs)
149.13/149.27 c avg switch length: 20.48
149.13/149.27 c switching time : 40.64
149.13/149.27 c Solution :
149.13/149.27 c Solutions found : 0 (0 improvements)
149.13/149.27 c Primal Bound : infeasible
149.13/149.27 c Dual Bound : -
149.13/149.27 c Gap : 0.00 %
149.13/149.27 c Root Dual Bound : +0.00000000000000e+00
149.13/149.27 c Root Iterations : 0
149.23/149.31 c Time complete: 149.25.
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-2664358-1276278478/watcher-2664358-1276278478 -o /tmp/evaluation-result-2664358-1276278478/solver-2664358-1276278478 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt.none -f HOME/instance-2664358-1276278478.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.18 1.03 1.00 3/106 5772 /proc/meminfo: memFree=1563460/2059040 swapFree=4192956/4192956 [pid=5772] ppid=5770 vsize=6584 CPUtime=0 /proc/5772/stat : 5772 (pbscip.linux.x8) R 5770 5772 5582 0 -1 4202496 958 0 0 0 0 0 0 0 20 0 1 0 3449389 6742016 880 1992294400 4194304 7136930 140735506620896 18446744073709551615 6346613 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/5772/statm: 1646 889 254 719 0 925 0 [startup+0.05134 s] /proc/loadavg: 1.18 1.03 1.00 3/106 5772 /proc/meminfo: memFree=1563460/2059040 swapFree=4192956/4192956 [pid=5772] ppid=5770 vsize=11564 CPUtime=0.04 /proc/5772/stat : 5772 (pbscip.linux.x8) R 5770 5772 5582 0 -1 4202496 4942 0 0 0 3 1 0 0 18 0 1 0 3449389 11841536 2198 1992294400 4194304 7136930 140735506620896 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/5772/statm: 2891 2198 391 719 0 2170 0 Current children cumulated CPU time (s) 0.04 Current children cumulated vsize (KiB) 11564 [startup+0.101351 s] /proc/loadavg: 1.18 1.03 1.00 3/106 5772 /proc/meminfo: memFree=1563460/2059040 swapFree=4192956/4192956 [pid=5772] ppid=5770 vsize=11828 CPUtime=0.09 /proc/5772/stat : 5772 (pbscip.linux.x8) R 5770 5772 5582 0 -1 4202496 5005 0 0 0 7 2 0 0 18 0 1 0 3449389 12111872 2261 1992294400 4194304 7136930 140735506620896 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/5772/statm: 2957 2261 391 719 0 2236 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 11828 [startup+0.301395 s] /proc/loadavg: 1.18 1.03 1.00 3/106 5772 /proc/meminfo: memFree=1563460/2059040 swapFree=4192956/4192956 [pid=5772] ppid=5770 vsize=12640 CPUtime=0.3 /proc/5772/stat : 5772 (pbscip.linux.x8) R 5770 5772 5582 0 -1 4202496 5214 0 0 0 25 5 0 0 18 0 1 0 3449389 12943360 2470 1992294400 4194304 7136930 140735506620896 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/5772/statm: 3160 2470 391 719 0 2439 0 Current children cumulated CPU time (s) 0.3 Current children cumulated vsize (KiB) 12640 [startup+0.70148 s] /proc/loadavg: 1.18 1.03 1.00 3/106 5772 /proc/meminfo: memFree=1563460/2059040 swapFree=4192956/4192956 [pid=5772] ppid=5770 vsize=14272 CPUtime=0.7 /proc/5772/stat : 5772 (pbscip.linux.x8) R 5770 5772 5582 0 -1 4202496 5612 0 0 0 61 9 0 0 18 0 1 0 3449389 14614528 2868 1992294400 4194304 7136930 140735506620896 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/5772/statm: 3568 2868 391 719 0 2847 0 Current children cumulated CPU time (s) 0.7 Current children cumulated vsize (KiB) 14272 [startup+1.50165 s] /proc/loadavg: 1.18 1.03 1.00 2/107 5773 /proc/meminfo: memFree=1552168/2059040 swapFree=4192956/4192956 [pid=5772] ppid=5770 vsize=16576 CPUtime=1.49 /proc/5772/stat : 5772 (pbscip.linux.x8) R 5770 5772 5582 0 -1 4202496 6207 0 0 0 133 16 0 0 19 0 1 0 3449389 16973824 3463 1992294400 4194304 7136930 140735506620896 18446744073709551615 4223052 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/5772/statm: 4144 3463 391 719 0 3423 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 16576 [startup+3.10199 s] /proc/loadavg: 1.17 1.03 1.00 2/107 5773 /proc/meminfo: memFree=1548944/2059040 swapFree=4192956/4192956 [pid=5772] ppid=5770 vsize=19684 CPUtime=3.09 /proc/5772/stat : 5772 (pbscip.linux.x8) R 5770 5772 5582 0 -1 4202496 6993 0 0 0 283 26 0 0 23 0 1 0 3449389 20156416 4249 1992294400 4194304 7136930 140735506620896 18446744073709551615 4854249 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/5772/statm: 4921 4249 391 719 0 4200 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 19684 [startup+6.30167 s] /proc/loadavg: 1.17 1.03 1.00 2/107 5773 /proc/meminfo: memFree=1544108/2059040 swapFree=4192956/4192956 [pid=5772] ppid=5770 vsize=24816 CPUtime=6.28 /proc/5772/stat : 5772 (pbscip.linux.x8) R 5770 5772 5582 0 -1 4202496 8298 0 0 0 583 45 0 0 25 0 1 0 3449389 25411584 5554 1992294400 4194304 7136930 140735506620896 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/5772/statm: 6204 5554 391 719 0 5483 0 Current children cumulated CPU time (s) 6.28 Current children cumulated vsize (KiB) 24816 [startup+12.701 s] /proc/loadavg: 1.14 1.03 1.00 2/107 5773 /proc/meminfo: memFree=1536544/2059040 swapFree=4192956/4192956 [pid=5772] ppid=5770 vsize=31828 CPUtime=12.68 /proc/5772/stat : 5772 (pbscip.linux.x8) R 5770 5772 5582 0 -1 4202496 10030 0 0 0 1195 73 0 0 25 0 1 0 3449389 32591872 7286 1992294400 4194304 7136930 140735506620896 18446744073709551615 4999837 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/5772/statm: 7957 7286 391 719 0 7236 0 Current children cumulated CPU time (s) 12.68 Current children cumulated vsize (KiB) 31828 [startup+25.5008 s] /proc/loadavg: 1.12 1.03 1.00 2/107 5773 /proc/meminfo: memFree=1529972/2059040 swapFree=4192956/4192956 [pid=5772] ppid=5770 vsize=37152 CPUtime=25.48 /proc/5772/stat : 5772 (pbscip.linux.x8) R 5770 5772 5582 0 -1 4202496 11369 0 0 0 2431 117 0 0 25 0 1 0 3449389 38043648 8625 1992294400 4194304 7136930 140735506620896 18446744073709551615 5954007 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/5772/statm: 9288 8625 391 719 0 8567 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 37152 [startup+51.1012 s] /proc/loadavg: 1.08 1.02 1.00 2/107 5773 /proc/meminfo: memFree=1520052/2059040 swapFree=4192956/4192956 [pid=5772] ppid=5770 vsize=47084 CPUtime=51.07 /proc/5772/stat : 5772 (pbscip.linux.x8) R 5770 5772 5582 0 -1 4202496 13846 0 0 0 4923 184 0 0 25 0 1 0 3449389 48214016 11102 1992294400 4194304 7136930 140735506620896 18446744073709551615 4677433 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/5772/statm: 11771 11102 391 719 0 11050 0 Current children cumulated CPU time (s) 51.07 Current children cumulated vsize (KiB) 47084 [startup+102.308 s] /proc/loadavg: 1.03 1.02 1.00 2/107 5775 /proc/meminfo: memFree=1515836/2059040 swapFree=4192956/4192956 [pid=5772] ppid=5770 vsize=51164 CPUtime=102.25 /proc/5772/stat : 5772 (pbscip.linux.x8) R 5770 5772 5582 0 -1 4202496 14859 0 0 0 9957 268 0 0 25 0 1 0 3449389 52391936 12115 1992294400 4194304 7136930 140735506620896 18446744073709551615 4999862 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/5772/statm: 12791 12115 391 719 0 12070 0 Current children cumulated CPU time (s) 102.25 Current children cumulated vsize (KiB) 51164 Solver just ended. Dumping a history of the last processes samples [startup+127.901 s] /proc/loadavg: 1.02 1.02 1.00 2/107 5775 /proc/meminfo: memFree=1515464/2059040 swapFree=4192956/4192956 [pid=5772] ppid=5770 vsize=51640 CPUtime=127.84 /proc/5772/stat : 5772 (pbscip.linux.x8) R 5770 5772 5582 0 -1 4202496 14977 0 0 0 12485 299 0 0 25 0 1 0 3449389 52879360 12233 1992294400 4194304 7136930 140735506620896 18446744073709551615 4999837 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/5772/statm: 12910 12233 391 719 0 12189 0 Current children cumulated CPU time (s) 127.84 Current children cumulated vsize (KiB) 51640 [startup+140.7 s] /proc/loadavg: 1.02 1.01 1.00 2/107 5777 /proc/meminfo: memFree=1515092/2059040 swapFree=4192956/4192956 [pid=5772] ppid=5770 vsize=51936 CPUtime=140.64 /proc/5772/stat : 5772 (pbscip.linux.x8) R 5770 5772 5582 0 -1 4202496 15051 0 0 0 13749 315 0 0 25 0 1 0 3449389 53182464 12307 1992294400 4194304 7136930 140735506620896 18446744073709551615 4999837 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/5772/statm: 12984 12307 391 719 0 12263 0 Current children cumulated CPU time (s) 140.64 Current children cumulated vsize (KiB) 51936 [startup+143.901 s] /proc/loadavg: 1.01 1.01 1.00 2/107 5777 /proc/meminfo: memFree=1515092/2059040 swapFree=4192956/4192956 [pid=5772] ppid=5770 vsize=51936 CPUtime=143.84 /proc/5772/stat : 5772 (pbscip.linux.x8) R 5770 5772 5582 0 -1 4202496 15052 0 0 0 14065 319 0 0 25 0 1 0 3449389 53182464 12308 1992294400 4194304 7136930 140735506620896 18446744073709551615 4223056 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/5772/statm: 12984 12308 391 719 0 12263 0 Current children cumulated CPU time (s) 143.84 Current children cumulated vsize (KiB) 51936 [startup+147.101 s] /proc/loadavg: 1.01 1.01 1.00 2/107 5777 /proc/meminfo: memFree=1515092/2059040 swapFree=4192956/4192956 [pid=5772] ppid=5770 vsize=51936 CPUtime=147.03 /proc/5772/stat : 5772 (pbscip.linux.x8) R 5770 5772 5582 0 -1 4202496 15053 0 0 0 14381 322 0 0 25 0 1 0 3449389 53182464 12309 1992294400 4194304 7136930 140735506620896 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/5772/statm: 12984 12309 391 719 0 12263 0 Current children cumulated CPU time (s) 147.03 Current children cumulated vsize (KiB) 51936 [startup+148.701 s] /proc/loadavg: 1.01 1.01 1.00 2/107 5777 /proc/meminfo: memFree=1515092/2059040 swapFree=4192956/4192956 [pid=5772] ppid=5770 vsize=51936 CPUtime=148.63 /proc/5772/stat : 5772 (pbscip.linux.x8) R 5770 5772 5582 0 -1 4202496 15053 0 0 0 14539 324 0 0 25 0 1 0 3449389 53182464 12309 1992294400 4194304 7136930 140735506620896 18446744073709551615 4998153 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/5772/statm: 12984 12309 391 719 0 12263 0 Current children cumulated CPU time (s) 148.63 Current children cumulated vsize (KiB) 51936 [startup+149.101 s] /proc/loadavg: 1.01 1.01 1.00 2/107 5777 /proc/meminfo: memFree=1515092/2059040 swapFree=4192956/4192956 [pid=5772] ppid=5770 vsize=51936 CPUtime=149.03 /proc/5772/stat : 5772 (pbscip.linux.x8) R 5770 5772 5582 0 -1 4202496 15057 0 0 0 14578 325 0 0 25 0 1 0 3449389 53182464 12313 1992294400 4194304 7136930 140735506620896 18446744073709551615 4210629 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/5772/statm: 12984 12313 391 719 0 12263 0 Current children cumulated CPU time (s) 149.03 Current children cumulated vsize (KiB) 51936 [startup+149.301 s] /proc/loadavg: 1.01 1.01 1.00 2/107 5777 /proc/meminfo: memFree=1515092/2059040 swapFree=4192956/4192956 [pid=5772] ppid=5770 vsize=51192 CPUtime=149.23 /proc/5772/stat : 5772 (pbscip.linux.x8) R 5770 5772 5582 0 -1 4202496 15158 0 0 0 14598 325 0 0 25 0 1 0 3449389 52420608 12140 1992294400 4194304 7136930 140735506620896 18446744073709551615 4222731 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/5772/statm: 12798 12140 396 719 0 12077 0 Current children cumulated CPU time (s) 149.23 Current children cumulated vsize (KiB) 51192 Child status: 0 Real time (s): 149.319 CPU time (s): 149.258 CPU user time (s): 145.997 CPU system time (s): 3.2615 CPU usage (%): 99.9597 Max. virtual memory (cumulated for all children) (KiB): 51936 getrusage(RUSAGE_CHILDREN,...) data: user time used= 145.997 system time used= 3.2615 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 15165 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= 7 involuntary context switches= 1897 runsolver used 0.26096 second user time and 0.700893 second system time The end
Begin job on node010 at 2010-06-11 19:47:58 IDJOB=2664358 IDBENCH=1250 IDSOLVER=1167 FILE ID=node010/2664358-1276278478 PBS_JOBID= 11173098 Free space on /tmp= 62500 MiB SOLVER NAME= SCIPnone SCIP 1.2.1.2 without any LP solver BENCH NAME= PB06//final/normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/namasivayam/wnqueen/normalized-t2001.13queen13.1111224059.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-2664358-1276278478/watcher-2664358-1276278478 -o /tmp/evaluation-result-2664358-1276278478/solver-2664358-1276278478 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt.none -f HOME/instance-2664358-1276278478.opb -t 1800 -m 1800 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= a18d21f73a1079a5fbd022c0c033271e RANDOM SEED=1397974184 node010.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.267 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.53 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.267 cache size : 2048 KB physical id : 3 siblings : 1 core id : 0 cpu cores : 1 apicid : 6 fpu : yes fpu_exception : yes cpuid level : 5 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm constant_tsc pni monitor ds_cpl cid cx16 xtpr bogomips : 5599.46 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2059040 kB MemFree: 1563988 kB Buffers: 58056 kB Cached: 310464 kB SwapCached: 0 kB Active: 173308 kB Inactive: 254412 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2059040 kB LowFree: 1563988 kB SwapTotal: 4192956 kB SwapFree: 4192956 kB Dirty: 3320 kB Writeback: 0 kB AnonPages: 59168 kB Mapped: 15396 kB Slab: 45560 kB PageTables: 3976 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 5222476 kB Committed_AS: 182484 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= 62496 MiB End job on node010 at 2010-06-11 19:50:27