Trace number 2664736

Some explanations

A solver is run under the control of another program named runsolver. runsolver is in charge of imposing the CPU time limit and the memory limit to the solver. It also monitors some information about the process. The trace of the execution of a solver is divided into four (or five) parts:
  1. SOLVER DATA
    This is the output of the solver (stdout and stderr).
    Note that some very long lines in this section may be truncated by your web browser ! In such a case, you may want to use the "Download as text" link to get the trace as a text file.

    When the --timestamp option is passed to the runsolver program, each line output by the solver is prepended with a timestamp which indicates at what time the line was output by the solver. Times are relative to the start of the program, given in seconds. The first timestamp (if present) is estimated CPU time. The last timestamp is wall clock time.

    As some 'v lines' may be very long (sometimes several megabytes), the 'v line' output by your solver may be split on several lines to help limit the size of the trace recorded in the database. In any case, the exact output of your solver is preserved in a trace file.
  2. VERIFIER DATA
    The output of the solver is piped to a verifier program which will search a value line "v " and, if found, will check that the given interpretation satisfies all constraints.
  3. CONVERSION SCRIPT DATA (Optionnal)
    When a conversion script is used, this section shows the messages that were output by the conversion script.
  4. WATCHER DATA
    This is the informations gathered by the runsolver program. It first prints the different limits. There's a first limit on CPU time set to X seconds (see the parameters in the trace). After this time has ellapsed, runsolver sends a SIGTERM and 2 seconds later a SIGKILL to the solver. For safety, there's also another limit set to X+30 seconds which will send a SIGXPU to the solver. The last limit is on the virtual memory used by the process (see the parameters in the trace).
    Every ten seconds, the runsolver process fetches the content of /proc/loadavg, /proc/pid/stat and /proc/pid/statm (see man proc) and prints it as raw data. This is only recorded in case we need to investigate the behaviour of a solver. The memory used by the solver (vsize) is also given every ten seconds.
    When the solver exits, runsolver prints some informations such as status and time. CPU usage is the ratio CPU Time/Real Time.
  5. LAUNCHER DATA
    These informations are related to the script which will launch the solver. The most important informations are the command line given to the solver, the md5sum of the different files and the dump of the /proc/cpuinfo and /proc/meminfo which provides some useful information on the computer.

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
SCIPnone SCIP 1.2.1.2 without any LP solver? (TO) 1800.47 1801.04

General information on the benchmark

Namenormalized-PB06/SATUNSAT-SMALLINT/
submitted-PB06/roussel/normalized-pigeon-cardinality-95-90.opb
MD5SUM464b0bce452dea50452bb0b774d05715
Bench CategoryDEC-SMALLINT (no optimisation, small integers)
Best result obtained on this benchmarkUNSAT
Best value of the objective obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark0.492924
Has Objective FunctionNO
SatisfiableNO
(Un)Satisfiability was provedYES
Best value of the objective function
Optimality of the best value was proved
Number of variables8550
Total number of constraints185
Number of constraints which are clauses95
Number of constraints which are cardinality constraints (but not clauses)90
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint90
Maximum length of a constraint95
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 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 96
Number of bits of the biggest sum of numbers7
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data 

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-2664736-1276578461.opb>
0.00/0.05	c original problem has 8550 variables (8550 bin, 0 int, 0 impl, 0 cont) and 185 constraints
0.00/0.05	c problem read
0.00/0.05	c No objective function, only one solution is needed.
0.00/0.05	c presolving settings loaded
0.00/0.05	c [src/scip/lpi_none.c:41] ERROR: there is no LP solver linked to the binary (LPS=none); you should set the parameter <lp/solvefreq> to <-1> to avoid solving LPs
0.10/0.15	c presolving:
0.19/0.22	c (round 1) 0 del vars, 0 del conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 95 upgd conss, 0 impls, 90 clqs
0.19/0.24	c (round 2) 0 del vars, 0 del conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 185 upgd conss, 0 impls, 90 clqs
0.19/0.25	c presolving (3 rounds):
0.19/0.25	c  0 deleted vars, 0 deleted constraints, 0 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
0.19/0.25	c  0 implications, 90 cliques
0.19/0.25	c presolved problem has 8550 variables (8550 bin, 0 int, 0 impl, 0 cont) and 185 constraints
0.19/0.25	c      90 constraints of type <setppc>
0.19/0.25	c      95 constraints of type <logicor>
0.19/0.25	c transformed objective value is always integral (scale: 1)
0.19/0.25	c Presolving Time: 0.15
0.19/0.25	c - non default parameters ----------------------------------------------------------------------
0.19/0.25	c # SCIP version 1.2.1.2
0.19/0.25	c 
0.19/0.25	c # frequency for displaying node information lines
0.19/0.26	c # [type: int, range: [-1,2147483647], default: 100]
0.19/0.26	c display/freq = 10000
0.19/0.26	c 
0.19/0.26	c # maximal time in seconds to run
0.19/0.26	c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.19/0.26	c limits/time = 1799.96
0.19/0.26	c 
0.19/0.26	c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.19/0.26	c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.19/0.26	c limits/memory = 1620
0.19/0.26	c 
0.19/0.26	c # solving stops, if the given number of solutions were found (-1: no limit)
0.19/0.26	c # [type: int, range: [-1,2147483647], default: -1]
0.19/0.26	c limits/solutions = 1
0.19/0.26	c 
0.19/0.26	c # frequency for solving LP at the nodes (-1: never; 0: only root LP)
0.19/0.26	c # [type: int, range: [-1,2147483647], default: 1]
0.19/0.26	c lp/solvefreq = -1
0.19/0.26	c 
0.19/0.26	c # maximal number of separation rounds per node (-1: unlimited)
0.19/0.26	c # [type: int, range: [-1,2147483647], default: 5]
0.19/0.26	c separating/maxrounds = 1
0.19/0.26	c 
0.19/0.26	c # maximal number of separation rounds in the root node (-1: unlimited)
0.19/0.26	c # [type: int, range: [-1,2147483647], default: -1]
0.19/0.26	c separating/maxroundsroot = 5
0.19/0.26	c 
0.19/0.26	c # should presolving try to simplify inequalities
0.19/0.26	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.19/0.26	c constraints/linear/simplifyinequalities = TRUE
0.19/0.26	c 
0.19/0.26	c # should disaggregation of knapsack constraints be allowed in preprocessing?
0.19/0.26	c # [type: bool, range: {TRUE,FALSE}, default: TRUE]
0.19/0.26	c constraints/knapsack/disaggregation = FALSE
0.19/0.26	c 
0.19/0.26	c # should presolving try to simplify knapsacks
0.19/0.26	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.19/0.26	c constraints/knapsack/simplifyinequalities = TRUE
0.19/0.26	c 
0.19/0.26	c # maximal number of presolving rounds the presolver participates in (-1: no limit)
0.19/0.26	c # [type: int, range: [-1,2147483647], default: -1]
0.19/0.26	c presolving/probing/maxrounds = 0
0.19/0.26	c 
0.19/0.26	c # frequency for calling primal heuristic <coefdiving> (-1: never, 0: only at depth freqofs)
0.19/0.26	c # [type: int, range: [-1,2147483647], default: 10]
0.19/0.26	c heuristics/coefdiving/freq = -1
0.19/0.26	c 
0.19/0.26	c # maximal fraction of diving LP iterations compared to node LP iterations
0.19/0.26	c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
0.19/0.26	c heuristics/coefdiving/maxlpiterquot = 0.075
0.19/0.26	c 
0.19/0.26	c # additional number of allowed LP iterations
0.19/0.26	c # [type: int, range: [0,2147483647], default: 1000]
0.19/0.26	c heuristics/coefdiving/maxlpiterofs = 1500
0.19/0.26	c 
0.19/0.26	c # frequency for calling primal heuristic <crossover> (-1: never, 0: only at depth freqofs)
0.19/0.26	c # [type: int, range: [-1,2147483647], default: 30]
0.19/0.26	c heuristics/crossover/freq = -1
0.19/0.26	c 
0.19/0.26	c # number of nodes added to the contingent of the total nodes
0.19/0.26	c # [type: longint, range: [0,9223372036854775807], default: 500]
0.19/0.26	c heuristics/crossover/nodesofs = 750
0.19/0.26	c 
0.19/0.26	c # number of nodes without incumbent change that heuristic should wait
0.19/0.26	c # [type: longint, range: [0,9223372036854775807], default: 200]
0.19/0.26	c heuristics/crossover/nwaitingnodes = 100
0.19/0.26	c 
0.19/0.26	c # contingent of sub problem nodes in relation to the number of nodes of the original problem
0.19/0.26	c # [type: real, range: [0,1], default: 0.1]
0.19/0.26	c heuristics/crossover/nodesquot = 0.15
0.19/0.26	c 
0.19/0.26	c # minimum percentage of integer variables that have to be fixed 
0.19/0.26	c # [type: real, range: [0,1], default: 0.666]
0.19/0.26	c heuristics/crossover/minfixingrate = 0.5
0.19/0.26	c 
0.19/0.26	c # frequency for calling primal heuristic <feaspump> (-1: never, 0: only at depth freqofs)
0.19/0.26	c # [type: int, range: [-1,2147483647], default: 20]
0.19/0.26	c heuristics/feaspump/freq = -1
0.19/0.26	c 
0.19/0.26	c # additional number of allowed LP iterations
0.19/0.26	c # [type: int, range: [0,2147483647], default: 1000]
0.19/0.26	c heuristics/feaspump/maxlpiterofs = 2000
0.19/0.26	c 
0.19/0.26	c # frequency for calling primal heuristic <fracdiving> (-1: never, 0: only at depth freqofs)
0.19/0.26	c # [type: int, range: [-1,2147483647], default: 10]
0.19/0.26	c heuristics/fracdiving/freq = -1
0.19/0.26	c 
0.19/0.26	c # maximal fraction of diving LP iterations compared to node LP iterations
0.19/0.26	c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
0.19/0.26	c heuristics/fracdiving/maxlpiterquot = 0.075
0.19/0.26	c 
0.19/0.26	c # additional number of allowed LP iterations
0.19/0.26	c # [type: int, range: [0,2147483647], default: 1000]
0.19/0.26	c heuristics/fracdiving/maxlpiterofs = 1500
0.19/0.26	c 
0.19/0.26	c # frequency for calling primal heuristic <guideddiving> (-1: never, 0: only at depth freqofs)
0.19/0.26	c # [type: int, range: [-1,2147483647], default: 10]
0.19/0.26	c heuristics/guideddiving/freq = -1
0.19/0.26	c 
0.19/0.26	c # maximal fraction of diving LP iterations compared to node LP iterations
0.19/0.26	c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
0.19/0.26	c heuristics/guideddiving/maxlpiterquot = 0.075
0.19/0.26	c 
0.19/0.26	c # additional number of allowed LP iterations
0.19/0.26	c # [type: int, range: [0,2147483647], default: 1000]
0.19/0.26	c heuristics/guideddiving/maxlpiterofs = 1500
0.19/0.26	c 
0.19/0.26	c # maximal fraction of diving LP iterations compared to node LP iterations
0.19/0.26	c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
0.19/0.26	c heuristics/intdiving/maxlpiterquot = 0.075
0.19/0.26	c 
0.19/0.26	c # frequency for calling primal heuristic <intshifting> (-1: never, 0: only at depth freqofs)
0.19/0.26	c # [type: int, range: [-1,2147483647], default: 10]
0.19/0.26	c heuristics/intshifting/freq = -1
0.19/0.26	c 
0.19/0.26	c # frequency for calling primal heuristic <linesearchdiving> (-1: never, 0: only at depth freqofs)
0.19/0.26	c # [type: int, range: [-1,2147483647], default: 10]
0.19/0.26	c heuristics/linesearchdiving/freq = -1
0.19/0.26	c 
0.19/0.26	c # maximal fraction of diving LP iterations compared to node LP iterations
0.19/0.26	c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
0.19/0.26	c heuristics/linesearchdiving/maxlpiterquot = 0.075
0.19/0.26	c 
0.19/0.26	c # additional number of allowed LP iterations
0.19/0.26	c # [type: int, range: [0,2147483647], default: 1000]
0.19/0.26	c heuristics/linesearchdiving/maxlpiterofs = 1500
0.19/0.26	c 
0.19/0.26	c # frequency for calling primal heuristic <nlp> (-1: never, 0: only at depth freqofs)
0.19/0.26	c # [type: int, range: [-1,2147483647], default: 1]
0.19/0.26	c heuristics/nlp/freq = -1
0.19/0.26	c 
0.19/0.26	c # frequency for calling primal heuristic <objpscostdiving> (-1: never, 0: only at depth freqofs)
0.19/0.26	c # [type: int, range: [-1,2147483647], default: 20]
0.19/0.26	c heuristics/objpscostdiving/freq = -1
0.19/0.26	c 
0.19/0.26	c # maximal fraction of diving LP iterations compared to total iteration number
0.19/0.26	c # [type: real, range: [0,1], default: 0.01]
0.19/0.26	c heuristics/objpscostdiving/maxlpiterquot = 0.015
0.19/0.26	c 
0.19/0.26	c # additional number of allowed LP iterations
0.19/0.26	c # [type: int, range: [0,2147483647], default: 1000]
0.19/0.26	c heuristics/objpscostdiving/maxlpiterofs = 1500
0.19/0.26	c 
0.19/0.26	c # frequency for calling primal heuristic <oneopt> (-1: never, 0: only at depth freqofs)
0.19/0.26	c # [type: int, range: [-1,2147483647], default: 1]
0.19/0.26	c heuristics/oneopt/freq = -1
0.19/0.26	c 
0.19/0.26	c # frequency for calling primal heuristic <pscostdiving> (-1: never, 0: only at depth freqofs)
0.19/0.26	c # [type: int, range: [-1,2147483647], default: 10]
0.19/0.26	c heuristics/pscostdiving/freq = -1
0.19/0.26	c 
0.19/0.26	c # maximal fraction of diving LP iterations compared to node LP iterations
0.19/0.26	c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
0.19/0.26	c heuristics/pscostdiving/maxlpiterquot = 0.075
0.19/0.26	c 
0.19/0.26	c # additional number of allowed LP iterations
0.19/0.26	c # [type: int, range: [0,2147483647], default: 1000]
0.19/0.26	c heuristics/pscostdiving/maxlpiterofs = 1500
0.19/0.26	c 
0.19/0.26	c # frequency for calling primal heuristic <rens> (-1: never, 0: only at depth freqofs)
0.19/0.26	c # [type: int, range: [-1,2147483647], default: 0]
0.19/0.26	c heuristics/rens/freq = -1
0.19/0.26	c 
0.19/0.26	c # minimum percentage of integer variables that have to be fixable 
0.19/0.26	c # [type: real, range: [0,1], default: 0.5]
0.19/0.26	c heuristics/rens/minfixingrate = 0.3
0.19/0.26	c 
0.19/0.26	c # number of nodes added to the contingent of the total nodes
0.19/0.26	c # [type: longint, range: [0,9223372036854775807], default: 500]
0.19/0.26	c heuristics/rens/nodesofs = 2000
0.19/0.26	c 
0.19/0.26	c # frequency for calling primal heuristic <rootsoldiving> (-1: never, 0: only at depth freqofs)
0.19/0.26	c # [type: int, range: [-1,2147483647], default: 20]
0.19/0.26	c heuristics/rootsoldiving/freq = -1
0.19/0.26	c 
0.19/0.26	c # maximal fraction of diving LP iterations compared to node LP iterations
0.19/0.26	c # [type: real, range: [0,1.79769313486232e+308], default: 0.01]
0.19/0.26	c heuristics/rootsoldiving/maxlpiterquot = 0.015
0.19/0.26	c 
0.19/0.26	c # additional number of allowed LP iterations
0.19/0.26	c # [type: int, range: [0,2147483647], default: 1000]
0.19/0.26	c heuristics/rootsoldiving/maxlpiterofs = 1500
0.19/0.26	c 
0.19/0.26	c # frequency for calling primal heuristic <rounding> (-1: never, 0: only at depth freqofs)
0.19/0.26	c # [type: int, range: [-1,2147483647], default: 1]
0.19/0.26	c heuristics/rounding/freq = -1
0.19/0.26	c 
0.19/0.26	c # frequency for calling primal heuristic <shifting> (-1: never, 0: only at depth freqofs)
0.19/0.26	c # [type: int, range: [-1,2147483647], default: 10]
0.19/0.26	c heuristics/shifting/freq = -1
0.19/0.26	c 
0.19/0.26	c # frequency for calling primal heuristic <simplerounding> (-1: never, 0: only at depth freqofs)
0.19/0.26	c # [type: int, range: [-1,2147483647], default: 1]
0.19/0.26	c heuristics/simplerounding/freq = -1
0.19/0.26	c 
0.19/0.26	c # frequency for calling primal heuristic <trivial> (-1: never, 0: only at depth freqofs)
0.19/0.26	c # [type: int, range: [-1,2147483647], default: 0]
0.19/0.26	c heuristics/trivial/freq = -1
0.19/0.26	c 
0.19/0.26	c # frequency for calling primal heuristic <trysol> (-1: never, 0: only at depth freqofs)
0.19/0.26	c # [type: int, range: [-1,2147483647], default: 1]
0.19/0.26	c heuristics/trysol/freq = -1
0.19/0.26	c 
0.19/0.26	c # frequency for calling primal heuristic <veclendiving> (-1: never, 0: only at depth freqofs)
0.19/0.26	c # [type: int, range: [-1,2147483647], default: 10]
0.19/0.26	c heuristics/veclendiving/freq = -1
0.19/0.26	c 
0.19/0.26	c # maximal fraction of diving LP iterations compared to node LP iterations
0.19/0.26	c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
0.19/0.26	c heuristics/veclendiving/maxlpiterquot = 0.075
0.19/0.26	c 
0.19/0.26	c # additional number of allowed LP iterations
0.19/0.26	c # [type: int, range: [0,2147483647], default: 1000]
0.19/0.26	c heuristics/veclendiving/maxlpiterofs = 1500
0.19/0.26	c 
0.19/0.26	c # frequency for calling primal heuristic <zirounding> (-1: never, 0: only at depth freqofs)
0.19/0.26	c # [type: int, range: [-1,2147483647], default: 1]
0.19/0.26	c heuristics/zirounding/freq = -1
0.19/0.26	c 
0.19/0.26	c # frequency for calling separator <cmir> (-1: never, 0: only in root node)
0.19/0.26	c # [type: int, range: [-1,2147483647], default: 0]
0.19/0.26	c separating/cmir/freq = -1
0.19/0.26	c 
0.19/0.26	c # frequency for calling separator <flowcover> (-1: never, 0: only in root node)
0.19/0.26	c # [type: int, range: [-1,2147483647], default: 0]
0.19/0.26	c separating/flowcover/freq = -1
0.19/0.26	c 
0.19/0.26	c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
0.19/0.26	c # [type: int, range: [-1,2147483647], default: -1]
0.19/0.26	c separating/rapidlearning/freq = 0
0.19/0.26	c 
0.19/0.26	c -----------------------------------------------------------------------------------------------
0.19/0.26	c start solving
0.19/0.26	c 
0.19/0.27	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
0.19/0.27	c   0.2s|     1 |     2 |     0 |     - |  14M|   0 |   - |8550 | 185 |   0 |   0 |   0 |   0 |   0 | 0.000000e+00 |      --      |    Inf 
35.98/36.08	c  35.8s| 10000 |  9998 |     0 |   0.0 |  19M|5582 |   - |8550 | 197 |   0 |   0 |   0 |  12 |   0 | 0.000000e+00 |      --      |    Inf 
79.96/80.06	c  79.6s| 20000 | 19990 |     0 |   0.0 |  22M|6497 |   - |8550 | 217 |   0 |   0 |   0 |  43 |   0 | 0.000000e+00 |      --      |    Inf 
126.45/126.56	c   126s| 30000 | 29982 |     0 |   0.0 |  25M|6497 |   - |8550 | 245 |   0 |   0 |   0 |  81 |   0 | 0.000000e+00 |      --      |    Inf 
167.83/167.96	c   167s| 40000 | 39962 |     0 |   0.0 |  28M|6497 |   - |8550 | 295 |   0 |   0 |   0 | 181 |   0 | 0.000000e+00 |      --      |    Inf 
213.12/213.23	c   212s| 50000 | 49957 |     0 |   0.0 |  31M|6497 |   - |8550 | 237 |   0 |   0 |   0 | 207 |   0 | 0.000000e+00 |      --      |    Inf 
253.71/253.89	c   253s| 60000 | 59944 |     0 |   0.0 |  34M|6497 |   - |8550 | 295 |   0 |   0 |   0 | 287 |   0 | 0.000000e+00 |      --      |    Inf 
294.60/294.77	c   293s| 70000 | 69929 |     0 |   0.0 |  37M|6497 |   - |8550 | 284 |   0 |   0 |   0 | 377 |   0 | 0.000000e+00 |      --      |    Inf 
337.88/338.04	c   336s| 80000 | 79923 |     0 |   0.0 |  41M|6497 |   - |8550 | 298 |   0 |   0 |   0 | 417 |   0 | 0.000000e+00 |      --      |    Inf 
381.66/381.83	c   380s| 90000 | 89915 |     0 |   0.0 |  44M|6497 |   - |8550 | 270 |   0 |   0 |   0 | 467 |   0 | 0.000000e+00 |      --      |    Inf 
425.34/425.57	c   424s|100000 | 99909 |     0 |   0.0 |  46M|6497 |   - |8550 | 257 |   0 |   0 |   0 | 507 |   0 | 0.000000e+00 |      --      |    Inf 
469.83/470.09	c   468s|110000 |109906 |     0 |   0.0 |  49M|6497 |   - |8550 | 266 |   0 |   0 |   0 | 527 |   0 | 0.000000e+00 |      --      |    Inf 
517.92/518.12	c   516s|120000 |119894 |     0 |   0.0 |  52M|6497 |   - |8550 | 251 |   0 |   0 |   0 | 581 |   0 | 0.000000e+00 |      --      |    Inf 
564.20/564.47	c   562s|130000 |129884 |     0 |   0.0 |  55M|6497 |   - |8550 | 262 |   0 |   0 |   0 | 641 |   0 | 0.000000e+00 |      --      |    Inf 
609.38/609.68	c   607s|140000 |139878 |     0 |   0.0 |  58M|6497 |   - |8550 | 277 |   0 |   0 |   0 | 681 |   0 | 0.000000e+00 |      --      |    Inf 
653.47/653.78	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
653.47/653.78	c   651s|150000 |149867 |     0 |   0.0 |  61M|6497 |   - |8550 | 289 |   0 |   0 |   0 | 742 |   0 | 0.000000e+00 |      --      |    Inf 
702.67/702.93	c   700s|160000 |159856 |     0 |   0.0 |  64M|6497 |   - |8550 | 331 |   0 |   0 |   0 | 812 |   0 | 0.000000e+00 |      --      |    Inf 
749.54/749.81	c   746s|170000 |169843 |     0 |   0.0 |  67M|6497 |   - |8550 | 275 |   0 |   0 |   0 | 892 |   0 | 0.000000e+00 |      --      |    Inf 
792.93/793.24	c   790s|180000 |179840 |     0 |   0.0 |  70M|6497 |   - |8550 | 253 |   0 |   0 |   0 | 912 |   0 | 0.000000e+00 |      --      |    Inf 
843.81/844.15	c   840s|190000 |189828 |     0 |   0.0 |  73M|6497 |   - |8550 | 302 |   0 |   0 |   0 | 982 |   0 | 0.000000e+00 |      --      |    Inf 
888.51/888.81	c   885s|200000 |199820 |     0 |   0.0 |  76M|6543 |   - |8550 | 259 |   0 |   0 |   0 |1032 |   0 | 0.000000e+00 |      --      |    Inf 
938.19/938.54	c   934s|210000 |209817 |     0 |   0.0 |  78M|6589 |   - |8550 | 240 |   0 |   0 |   0 |1050 |   0 | 0.000000e+00 |      --      |    Inf 
983.37/983.71	c   979s|220000 |219805 |     0 |   0.0 |  81M|6759 |   - |8550 | 259 |   0 |   0 |   0 |1111 |   0 | 0.000000e+00 |      --      |    Inf 
1032.76/1033.16	c  1028s|230000 |229800 |     0 |   0.0 |  84M|6819 |   - |8550 | 252 |   0 |   0 |   0 |1141 |   0 | 0.000000e+00 |      --      |    Inf 
1076.56/1076.94	c  1072s|240000 |239792 |     0 |   0.0 |  86M|6958 |   - |8550 | 267 |   0 |   0 |   0 |1175 |   0 | 0.000000e+00 |      --      |    Inf 
1127.14/1127.51	c  1122s|250000 |249785 |     0 |   0.0 |  89M|7030 |   - |8550 | 291 |   0 |   0 |   0 |1215 |   0 | 0.000000e+00 |      --      |    Inf 
1171.92/1172.39	c  1167s|260000 |259782 |     0 |   0.0 |  92M|7087 |   - |8550 | 256 |   0 |   0 |   0 |1226 |   0 | 0.000000e+00 |      --      |    Inf 
1220.40/1220.87	c  1215s|270000 |269776 |     0 |   0.0 |  95M|7158 |   - |8550 | 234 |   0 |   0 |   0 |1247 |   0 | 0.000000e+00 |      --      |    Inf 
1267.49/1267.96	c  1262s|280000 |279771 |     0 |   0.0 |  97M|7200 |   - |8550 | 241 |   0 |   0 |   0 |1265 |   0 | 0.000000e+00 |      --      |    Inf 
1311.97/1312.45	c  1306s|290000 |289760 |     0 |   0.0 | 100M|7207 |   - |8550 | 255 |   0 |   0 |   0 |1309 |   0 | 0.000000e+00 |      --      |    Inf 
1362.06/1362.56	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
1362.06/1362.56	c  1356s|300000 |299753 |     0 |   0.0 | 103M|7207 |   - |8550 | 258 |   0 |   0 |   0 |1324 |   0 | 0.000000e+00 |      --      |    Inf 
1406.75/1407.28	c  1401s|310000 |309746 |     0 |   0.0 | 105M|7207 |   - |8550 | 236 |   0 |   0 |   0 |1330 |   0 | 0.000000e+00 |      --      |    Inf 
1456.23/1456.78	c  1450s|320000 |319738 |     0 |   0.0 | 108M|7207 |   - |8550 | 227 |   0 |   0 |   0 |1342 |   0 | 0.000000e+00 |      --      |    Inf 
1502.52/1503.01	c  1496s|330000 |329733 |     0 |   0.0 | 111M|7207 |   - |8550 | 234 |   0 |   0 |   0 |1358 |   0 | 0.000000e+00 |      --      |    Inf 
1550.20/1550.76	c  1544s|340000 |339720 |     0 |   0.0 | 113M|7207 |   - |8550 | 241 |   0 |   0 |   0 |1397 |   0 | 0.000000e+00 |      --      |    Inf 
1598.68/1599.29	c  1592s|350000 |349715 |     0 |   0.0 | 116M|7207 |   - |8550 | 228 |   0 |   0 |   0 |1406 |   0 | 0.000000e+00 |      --      |    Inf 
1642.78/1643.36	c  1636s|360000 |359703 |     0 |   0.0 | 119M|7207 |   - |8550 | 261 |   0 |   0 |   0 |1449 |   0 | 0.000000e+00 |      --      |    Inf 
1691.75/1692.31	c  1685s|370000 |369698 |     0 |   0.0 | 122M|7207 |   - |8550 | 259 |   0 |   0 |   0 |1469 |   0 | 0.000000e+00 |      --      |    Inf 
1734.34/1734.93	c  1727s|380000 |379690 |     0 |   0.0 | 125M|7207 |   - |8550 | 275 |   0 |   0 |   0 |1503 |   0 | 0.000000e+00 |      --      |    Inf 
1785.22/1785.88	c  1778s|390000 |389683 |     0 |   0.0 | 127M|7207 |   - |8550 | 265 |   0 |   0 |   0 |1520 |   0 | 0.000000e+00 |      --      |    Inf 
1800.03/1800.61	c pressed CTRL-C 1 times (5 times for forcing termination)
1800.03/1800.62	c 
1800.03/1800.62	c SCIP Status        : solving was interrupted [user interrupt]
1800.03/1800.62	c Solving Time (sec) : 1792.51
1800.03/1800.62	c Solving Nodes      : 393869
1800.03/1800.62	c Primal Bound       : +1.00000000000000e+20 (0 solutions)
1800.03/1800.62	c Dual Bound         : +0.00000000000000e+00
1800.03/1800.62	c Gap                : infinite
1800.03/1800.62	s UNKNOWN
1800.03/1800.62	c SCIP Status        : solving was interrupted [user interrupt]
1800.03/1800.62	c Solving Time       :    1792.51
1800.03/1800.62	c Original Problem   :
1800.03/1800.62	c   Problem name     : HOME/instance-2664736-1276578461.opb
1800.03/1800.62	c   Variables        : 8550 (8550 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.03/1800.62	c   Constraints      : 185 initial, 185 maximal
1800.03/1800.62	c Presolved Problem  :
1800.03/1800.62	c   Problem name     : t_HOME/instance-2664736-1276578461.opb
1800.03/1800.62	c   Variables        : 8550 (8550 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.03/1800.62	c   Constraints      : 185 initial, 377 maximal
1800.03/1800.62	c Presolvers         :       Time  FixedVars   AggrVars   ChgTypes  ChgBounds   AddHoles    DelCons   ChgSides   ChgCoefs
1800.03/1800.62	c   trivial          :       0.01          0          0          0          0          0          0          0          0
1800.03/1800.62	c   dualfix          :       0.00          0          0          0          0          0          0          0          0
1800.03/1800.62	c   boundshift       :       0.00          0          0          0          0          0          0          0          0
1800.03/1800.62	c   inttobinary      :       0.00          0          0          0          0          0          0          0          0
1800.03/1800.62	c   implics          :       0.00          0          0          0          0          0          0          0          0
1800.03/1800.62	c   probing          :       0.00          0          0          0          0          0          0          0          0
1800.03/1800.62	c   setppc           :       0.01          0          0          0          0          0          0          0          0
1800.03/1800.62	c   logicor          :       0.01          0          0          0          0          0          0          0          0
1800.03/1800.62	c   root node        :          -          0          -          -          0          -          -          -          -
1800.03/1800.62	c Constraints        :     Number  #Separate #Propagate    #EnfoLP    #EnfoPS    Cutoffs    DomReds       Cuts      Conss   Children
1800.03/1800.62	c   integral         :          0          0          0          0          0          0          0          0          0          0
1800.03/1800.62	c   setppc           :         90          0     404985          0     393747        149     151360          0          0          0
1800.03/1800.62	c   logicor          :         95+         0      37441          0     393747         46       6263          0          0          0
1800.03/1800.62	c   countsols        :          0          0          0          0     393747          0          0          0          0          0
1800.03/1800.62	c Constraint Timings :  TotalTime   Separate  Propagate     EnfoLP     EnfoPS
1800.03/1800.62	c   integral         :       0.00       0.00       0.00       0.00       0.00
1800.03/1800.62	c   setppc           :     365.72       0.00      14.15       0.00     351.57
1800.03/1800.62	c   logicor          :     241.86       0.00       5.10       0.00     236.76
1800.03/1800.62	c   countsols        :       0.34       0.00       0.00       0.00       0.34
1800.03/1800.62	c Propagators        :       Time      Calls    Cutoffs    DomReds
1800.03/1800.62	c   vbounds          :       0.31          1          0          0
1800.03/1800.62	c   rootredcost      :       0.38          0          0          0
1800.03/1800.62	c   pseudoobj        :       0.17          0          0          0
1800.03/1800.62	c Conflict Analysis  :       Time      Calls    Success  Conflicts   Literals    Reconvs ReconvLits   LP Iters
1800.03/1800.62	c   propagation      :      15.05        195        195      10374      836.3          6      206.3          -
1800.03/1800.62	c   infeasible LP    :       0.00          0          0          0        0.0          0        0.0          0
1800.03/1800.62	c   bound exceed. LP :       0.00          0          0          0        0.0          0        0.0          0
1800.03/1800.62	c   strong branching :       0.00          0          0          0        0.0          0        0.0          0
1800.03/1800.62	c   pseudo solution  :       0.00          0          0          0        0.0          0        0.0          -
1800.03/1800.62	c   applied globally :          -          -          -       1518      420.9          -          -          -
1800.03/1800.62	c   applied locally  :          -          -          -          8      976.5          -          -          -
1800.03/1800.62	c Separators         :       Time      Calls    Cutoffs    DomReds       Cuts      Conss
1800.03/1800.62	c   cut pool         :       0.00          0          -          -          0          -    (maximal pool size: 0)
1800.03/1800.62	c   redcost          :       0.00          0          0          0          0          0
1800.03/1800.62	c   impliedbounds    :       0.00          0          0          0          0          0
1800.03/1800.62	c   intobj           :       0.00          0          0          0          0          0
1800.03/1800.62	c   cgmip            :       0.00          0          0          0          0          0
1800.03/1800.62	c   gomory           :       0.00          0          0          0          0          0
1800.03/1800.62	c   strongcg         :       0.00          0          0          0          0          0
1800.03/1800.62	c   cmir             :       0.00          0          0          0          0          0
1800.03/1800.62	c   flowcover        :       0.00          0          0          0          0          0
1800.03/1800.62	c   clique           :       0.00          0          0          0          0          0
1800.03/1800.62	c   zerohalf         :       0.00          0          0          0          0          0
1800.03/1800.62	c   mcf              :       0.00          0          0          0          0          0
1800.03/1800.62	c   rapidlearning    :       0.00          0          0          0          0          0
1800.03/1800.62	c Pricers            :       Time      Calls       Vars
1800.03/1800.62	c   problem variables:       0.00          0          0
1800.03/1800.62	c Branching Rules    :       Time      Calls    Cutoffs    DomReds       Cuts      Conss   Children
1800.03/1800.62	c   relpscost        :       0.00          0          0          0          0          0          0
1800.03/1800.62	c   pscost           :       0.00          0          0          0          0          0          0
1800.03/1800.62	c   inference        :    1156.30     393747          0          0          0          0     787494
1800.03/1800.62	c   mostinf          :       0.00          0          0          0          0          0          0
1800.03/1800.62	c   leastinf         :       0.00          0          0          0          0          0          0
1800.03/1800.62	c   fullstrong       :       0.00          0          0          0          0          0          0
1800.03/1800.62	c   allfullstrong    :       0.00          0          0          0          0          0          0
1800.03/1800.62	c   random           :       0.00          0          0          0          0          0          0
1800.03/1800.62	c Primal Heuristics  :       Time      Calls      Found
1800.03/1800.62	c   LP solutions     :       0.00          -          0
1800.03/1800.62	c   pseudo solutions :       0.00          -          0
1800.03/1800.62	c   trivial          :       0.01          1          0
1800.03/1800.62	c   simplerounding   :       0.00          0          0
1800.03/1800.62	c   zirounding       :       0.00          0          0
1800.03/1800.62	c   rounding         :       0.00          0          0
1800.03/1800.62	c   shifting         :       0.00          0          0
1800.03/1800.62	c   intshifting      :       0.00          0          0
1800.03/1800.62	c   oneopt           :       0.00          0          0
1800.03/1800.62	c   twoopt           :       0.00          0          0
1800.03/1800.62	c   fixandinfer      :       0.00          0          0
1800.03/1800.62	c   feaspump         :       0.00          0          0
1800.03/1800.62	c   coefdiving       :       0.00          0          0
1800.03/1800.62	c   pscostdiving     :       0.00          0          0
1800.03/1800.62	c   fracdiving       :       0.00          0          0
1800.03/1800.62	c   veclendiving     :       0.00          0          0
1800.03/1800.62	c   intdiving        :       0.00          0          0
1800.03/1800.62	c   actconsdiving    :       0.00          0          0
1800.03/1800.62	c   objpscostdiving  :       0.00          0          0
1800.03/1800.62	c   rootsoldiving    :       0.00          0          0
1800.03/1800.62	c   linesearchdiving :       0.00          0          0
1800.03/1800.62	c   guideddiving     :       0.00          0          0
1800.03/1800.62	c   octane           :       0.00          0          0
1800.03/1800.62	c   rens             :       0.00          0          0
1800.03/1800.62	c   rins             :       0.00          0          0
1800.03/1800.62	c   localbranching   :       0.00          0          0
1800.03/1800.62	c   mutation         :       0.00          0          0
1800.03/1800.62	c   crossover        :       0.00          0          0
1800.03/1800.62	c   dins             :       0.00          0          0
1800.03/1800.62	c   undercover       :       0.00          0          0
1800.03/1800.62	c   nlp              :       0.00          0          0
1800.03/1800.62	c   trysol           :       0.00          0          0
1800.03/1800.62	c LP                 :       Time      Calls Iterations  Iter/call   Iter/sec
1800.03/1800.62	c   primal LP        :       0.00          0          0       0.00          -
1800.03/1800.62	c   dual LP          :       0.00          0          0       0.00          -
1800.03/1800.62	c   lex dual LP      :       0.00          0          0       0.00          -
1800.03/1800.62	c   barrier LP       :       0.00          0          0       0.00          -
1800.03/1800.62	c   diving/probing LP:       0.00          0          0       0.00          -
1800.03/1800.62	c   strong branching :       0.00          0          0       0.00          -
1800.03/1800.62	c     (at root node) :          -          0          0       0.00          -
1800.03/1800.62	c   conflict analysis:       0.00          0          0       0.00          -
1800.03/1800.62	c B&B Tree           :
1800.03/1800.62	c   number of runs   :          1
1800.03/1800.62	c   nodes            :     393869
1800.03/1800.62	c   nodes (total)    :     393869
1800.03/1800.62	c   nodes left       :     393549
1800.03/1800.62	c   max depth        :       7207
1800.03/1800.62	c   max depth (total):       7207
1800.03/1800.62	c   backtracks       :         76 (0.0%)
1800.03/1800.62	c   delayed cutoffs  :         77
1800.03/1800.62	c   repropagations   :       1457 (3981 domain reductions, 73 cutoffs)
1800.03/1800.62	c   avg switch length:       2.23
1800.03/1800.62	c   switching time   :       7.65
1800.03/1800.62	c Solution           :
1800.03/1800.62	c   Solutions found  :          0 (0 improvements)
1800.03/1800.62	c   Primal Bound     :          -
1800.03/1800.62	c   Dual Bound       : +0.00000000000000e+00
1800.03/1800.62	c   Gap              :   infinite
1800.03/1800.62	c   Root Dual Bound  : +0.00000000000000e+00
1800.03/1800.62	c   Root Iterations  :          0
1800.42/1801.04	c Time complete: 1800.46.

Verifier Data 

ERROR: no interpretation found !

Watcher Data 

runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2664736-1276578461/watcher-2664736-1276578461 -o /tmp/evaluation-result-2664736-1276578461/solver-2664736-1276578461 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt.none -f HOME/instance-2664736-1276578461.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.16 1.03 1.01 3/106 2571
/proc/meminfo: memFree=1721032/2059040 swapFree=4140012/4192956
[pid=2571] ppid=2569 vsize=6584 CPUtime=0
/proc/2571/stat : 2571 (pbscip.linux.x8) R 2569 2571 2047 0 -1 4202496 980 0 0 0 0 0 0 0 20 0 1 0 33449752 6742016 903 1992294400 4194304 7136930 140734407526640 18446744073709551615 6346613 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/2571/statm: 1646 912 254 719 0 925 0

[startup+0.0983481 s]
/proc/loadavg: 1.16 1.03 1.01 3/106 2571
/proc/meminfo: memFree=1721032/2059040 swapFree=4140012/4192956
[pid=2571] ppid=2569 vsize=26752 CPUtime=0.09
/proc/2571/stat : 2571 (pbscip.linux.x8) R 2569 2571 2047 0 -1 4202496 6550 0 0 0 7 2 0 0 20 0 1 0 33449752 27394048 6118 1992294400 4194304 7136930 140734407526640 18446744073709551615 4561370 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/2571/statm: 6688 6119 302 719 0 5967 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 26752

[startup+0.101348 s]
/proc/loadavg: 1.16 1.03 1.01 3/106 2571
/proc/meminfo: memFree=1721032/2059040 swapFree=4140012/4192956
[pid=2571] ppid=2569 vsize=26752 CPUtime=0.1
/proc/2571/stat : 2571 (pbscip.linux.x8) R 2569 2571 2047 0 -1 4202496 6565 0 0 0 8 2 0 0 20 0 1 0 33449752 27394048 6133 1992294400 4194304 7136930 140734407526640 18446744073709551615 4561370 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/2571/statm: 6688 6133 302 719 0 5967 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 26752

[startup+0.301371 s]
/proc/loadavg: 1.16 1.03 1.01 3/106 2571
/proc/meminfo: memFree=1721032/2059040 swapFree=4140012/4192956
[pid=2571] ppid=2569 vsize=32120 CPUtime=0.29
/proc/2571/stat : 2571 (pbscip.linux.x8) R 2569 2571 2047 0 -1 4202496 8968 0 0 0 26 3 0 0 20 0 1 0 33449752 32890880 7181 1992294400 4194304 7136930 140734407526640 18446744073709551615 4642980 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/2571/statm: 8030 7181 374 719 0 7309 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 32120

[startup+0.701417 s]
/proc/loadavg: 1.16 1.03 1.01 3/106 2571
/proc/meminfo: memFree=1721032/2059040 swapFree=4140012/4192956
[pid=2571] ppid=2569 vsize=32120 CPUtime=0.69
/proc/2571/stat : 2571 (pbscip.linux.x8) R 2569 2571 2047 0 -1 4202496 8970 0 0 0 66 3 0 0 21 0 1 0 33449752 32890880 7183 1992294400 4194304 7136930 140734407526640 18446744073709551615 4740369 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/2571/statm: 8030 7183 375 719 0 7309 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 32120

[startup+1.50151 s]
/proc/loadavg: 1.16 1.03 1.01 2/107 2572
/proc/meminfo: memFree=1693496/2059040 swapFree=4140012/4192956
[pid=2571] ppid=2569 vsize=32280 CPUtime=1.49
/proc/2571/stat : 2571 (pbscip.linux.x8) R 2569 2571 2047 0 -1 4202496 8997 0 0 0 145 4 0 0 23 0 1 0 33449752 33054720 7210 1992294400 4194304 7136930 140734407526640 18446744073709551615 4436359 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/2571/statm: 8070 7210 375 719 0 7349 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 32280

[startup+3.1017 s]
/proc/loadavg: 1.15 1.03 1.01 2/107 2572
/proc/meminfo: memFree=1693124/2059040 swapFree=4140012/4192956
[pid=2571] ppid=2569 vsize=32672 CPUtime=3.09
/proc/2571/stat : 2571 (pbscip.linux.x8) R 2569 2571 2047 0 -1 4202496 9115 0 0 0 305 4 0 0 25 0 1 0 33449752 33456128 7328 1992294400 4194304 7136930 140734407526640 18446744073709551615 4697669 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/2571/statm: 8168 7328 375 719 0 7447 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 32672

[startup+6.30106 s]
/proc/loadavg: 1.15 1.03 1.01 2/107 2572
/proc/meminfo: memFree=1692132/2059040 swapFree=4140012/4192956
[pid=2571] ppid=2569 vsize=33492 CPUtime=6.29
/proc/2571/stat : 2571 (pbscip.linux.x8) R 2569 2571 2047 0 -1 4202496 9290 0 0 0 623 6 0 0 25 0 1 0 33449752 34295808 7503 1992294400 4194304 7136930 140734407526640 18446744073709551615 4643241 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/2571/statm: 8373 7503 375 719 0 7652 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 33492

[startup+12.7018 s]
/proc/loadavg: 1.12 1.03 1.01 2/107 2572
/proc/meminfo: memFree=1690520/2059040 swapFree=4140012/4192956
[pid=2571] ppid=2569 vsize=34776 CPUtime=12.69
/proc/2571/stat : 2571 (pbscip.linux.x8) R 2569 2571 2047 0 -1 4202496 9639 0 0 0 1259 10 0 0 25 0 1 0 33449752 35610624 7852 1992294400 4194304 7136930 140734407526640 18446744073709551615 4436359 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/2571/statm: 8694 7852 375 719 0 7973 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 34776

[startup+25.5013 s]
/proc/loadavg: 1.10 1.03 1.01 2/107 2572
/proc/meminfo: memFree=1687296/2059040 swapFree=4140012/4192956
[pid=2571] ppid=2569 vsize=38052 CPUtime=25.48
/proc/2571/stat : 2571 (pbscip.linux.x8) R 2569 2571 2047 0 -1 4202496 10463 0 0 0 2531 17 0 0 25 0 1 0 33449752 38965248 8675 1992294400 4194304 7136930 140734407526640 18446744073709551615 4697669 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/2571/statm: 9513 8675 379 719 0 8792 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 38052

[startup+51.1012 s]
/proc/loadavg: 1.07 1.03 1.01 2/107 2572
/proc/meminfo: memFree=1683948/2059040 swapFree=4140012/4192956
[pid=2571] ppid=2569 vsize=41328 CPUtime=51.07
/proc/2571/stat : 2571 (pbscip.linux.x8) R 2569 2571 2047 0 -1 4202496 11312 0 0 0 5079 28 0 0 25 0 1 0 33449752 42319872 9521 1992294400 4194304 7136930 140734407526640 18446744073709551615 4697655 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/2571/statm: 10332 9521 379 719 0 9611 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 41328

[startup+102.308 s]
/proc/loadavg: 1.02 1.02 1.00 2/107 2574
/proc/meminfo: memFree=1681220/2059040 swapFree=4140012/4192956
[pid=2571] ppid=2569 vsize=43800 CPUtime=102.26
/proc/2571/stat : 2571 (pbscip.linux.x8) R 2569 2571 2047 0 -1 4202496 11959 0 0 0 10178 48 0 0 25 0 1 0 33449752 44851200 10168 1992294400 4194304 7136930 140734407526640 18446744073709551615 4436415 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/2571/statm: 10950 10168 379 719 0 10229 0
Current children cumulated CPU time (s) 102.26
Current children cumulated vsize (KiB) 43800

[startup+162.301 s]
/proc/loadavg: 1.01 1.02 1.00 2/107 2576
/proc/meminfo: memFree=1673532/2059040 swapFree=4140012/4192956
[pid=2571] ppid=2569 vsize=51180 CPUtime=162.24
/proc/2571/stat : 2571 (pbscip.linux.x8) R 2569 2571 2047 0 -1 4202496 13867 0 0 0 16148 76 0 0 25 0 1 0 33449752 52408320 12076 1992294400 4194304 7136930 140734407526640 18446744073709551615 4436359 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/2571/statm: 12795 12076 379 719 0 12074 0
Current children cumulated CPU time (s) 162.24
Current children cumulated vsize (KiB) 51180

[startup+222.301 s]
/proc/loadavg: 1.00 1.01 1.00 2/107 2578
/proc/meminfo: memFree=1666960/2059040 swapFree=4140012/4192956
[pid=2571] ppid=2569 vsize=57704 CPUtime=222.22
/proc/2571/stat : 2571 (pbscip.linux.x8) R 2569 2571 2047 0 -1 4202496 15508 0 0 0 22121 101 0 0 25 0 1 0 33449752 59088896 13717 1992294400 4194304 7136930 140734407526640 18446744073709551615 4697663 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/2571/statm: 14426 13717 379 719 0 13705 0
Current children cumulated CPU time (s) 222.22
Current children cumulated vsize (KiB) 57704

[startup+282.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 2580
/proc/meminfo: memFree=1660636/2059040 swapFree=4140012/4192956
[pid=2571] ppid=2569 vsize=65736 CPUtime=282.2
/proc/2571/stat : 2571 (pbscip.linux.x8) R 2569 2571 2047 0 -1 4202496 17074 0 0 0 28092 128 0 0 25 0 1 0 33449752 67313664 15283 1992294400 4194304 7136930 140734407526640 18446744073709551615 5121874 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/2571/statm: 16434 15283 379 719 0 15713 0
Current children cumulated CPU time (s) 282.2
Current children cumulated vsize (KiB) 65736

[startup+342.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 2580
/proc/meminfo: memFree=1655676/2059040 swapFree=4140012/4192956
[pid=2571] ppid=2569 vsize=70380 CPUtime=342.18
/proc/2571/stat : 2571 (pbscip.linux.x8) R 2569 2571 2047 0 -1 4202496 18285 0 0 0 34068 150 0 0 25 0 1 0 33449752 72069120 16494 1992294400 4194304 7136930 140734407526640 18446744073709551615 5892363 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/2571/statm: 17595 16494 379 719 0 16874 0
Current children cumulated CPU time (s) 342.18
Current children cumulated vsize (KiB) 70380

[startup+402.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 2585
/proc/meminfo: memFree=1649352/2059040 swapFree=4140012/4192956
[pid=2571] ppid=2569 vsize=76000 CPUtime=402.15
/proc/2571/stat : 2571 (pbscip.linux.x8) R 2569 2571 2047 0 -1 4202496 19715 0 0 0 40038 177 0 0 25 0 1 0 33449752 77824000 17924 1992294400 4194304 7136930 140734407526640 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/2571/statm: 19000 17924 379 719 0 18279 0
Current children cumulated CPU time (s) 402.15
Current children cumulated vsize (KiB) 76000

[startup+462.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 2587
/proc/meminfo: memFree=1645384/2059040 swapFree=4140012/4192956
[pid=2571] ppid=2569 vsize=79744 CPUtime=462.13
/proc/2571/stat : 2571 (pbscip.linux.x8) R 2569 2571 2047 0 -1 4202496 20699 0 0 0 46013 200 0 0 25 0 1 0 33449752 81657856 18908 1992294400 4194304 7136930 140734407526640 18446744073709551615 4643031 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/2571/statm: 19936 18908 379 719 0 19215 0
Current children cumulated CPU time (s) 462.13
Current children cumulated vsize (KiB) 79744

[startup+522.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 2589
/proc/meminfo: memFree=1640548/2059040 swapFree=4140012/4192956
[pid=2571] ppid=2569 vsize=85052 CPUtime=522.11
/proc/2571/stat : 2571 (pbscip.linux.x8) R 2569 2571 2047 0 -1 4202496 22036 0 0 0 51985 226 0 0 25 0 1 0 33449752 87093248 20245 1992294400 4194304 7136930 140734407526640 18446744073709551615 4436359 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/2571/statm: 21263 20245 379 719 0 20542 0
Current children cumulated CPU time (s) 522.11
Current children cumulated vsize (KiB) 85052

[startup+582.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 2591
/proc/meminfo: memFree=1636704/2059040 swapFree=4140012/4192956
[pid=2571] ppid=2569 vsize=88800 CPUtime=582.09
/proc/2571/stat : 2571 (pbscip.linux.x8) R 2569 2571 2047 0 -1 4202496 23020 0 0 0 57960 249 0 0 25 0 1 0 33449752 90931200 21229 1992294400 4194304 7136930 140734407526640 18446744073709551615 4697669 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/2571/statm: 22200 21229 379 719 0 21479 0
Current children cumulated CPU time (s) 582.09
Current children cumulated vsize (KiB) 88800

[startup+642.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 2591
/proc/meminfo: memFree=1632240/2059040 swapFree=4140012/4192956
[pid=2571] ppid=2569 vsize=92856 CPUtime=642.08
/proc/2571/stat : 2571 (pbscip.linux.x8) R 2569 2571 2047 0 -1 4202496 24106 0 0 0 63933 275 0 0 25 0 1 0 33449752 95084544 22315 1992294400 4194304 7136930 140734407526640 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/2571/statm: 23214 22315 379 719 0 22493 0
Current children cumulated CPU time (s) 642.08
Current children cumulated vsize (KiB) 92856

[startup+702.302 s]

################
# More data... #
################

[startup+882.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 2599
/proc/meminfo: memFree=1614756/2059040 swapFree=4140012/4192956
[pid=2571] ppid=2569 vsize=113516 CPUtime=882.01
/proc/2571/stat : 2571 (pbscip.linux.x8) R 2569 2571 2047 0 -1 4202496 28401 0 0 0 87826 375 0 0 25 0 1 0 33449752 116240384 26610 1992294400 4194304 7136930 140734407526640 18446744073709551615 4436406 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/2571/statm: 28379 26610 379 719 0 27658 0
Current children cumulated CPU time (s) 882.01
Current children cumulated vsize (KiB) 113516

[startup+942.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 2599
/proc/meminfo: memFree=1611036/2059040 swapFree=4140012/4192956
[pid=2571] ppid=2569 vsize=117060 CPUtime=941.99
/proc/2571/stat : 2571 (pbscip.linux.x8) R 2569 2571 2047 0 -1 4202496 29323 0 0 0 93801 398 0 0 25 0 1 0 33449752 119869440 27532 1992294400 4194304 7136930 140734407526640 18446744073709551615 4436359 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/2571/statm: 29265 27532 379 719 0 28544 0
Current children cumulated CPU time (s) 941.99
Current children cumulated vsize (KiB) 117060

[startup+1002.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 2601
/proc/meminfo: memFree=1606944/2059040 swapFree=4140012/4192956
[pid=2571] ppid=2569 vsize=120788 CPUtime=1001.97
/proc/2571/stat : 2571 (pbscip.linux.x8) R 2569 2571 2047 0 -1 4202496 30312 0 0 0 99773 424 0 0 25 0 1 0 33449752 123686912 28521 1992294400 4194304 7136930 140734407526640 18446744073709551615 4643241 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/2571/statm: 30197 28521 379 719 0 29476 0
Current children cumulated CPU time (s) 1001.97
Current children cumulated vsize (KiB) 120788

[startup+1062.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 2603
/proc/meminfo: memFree=1602604/2059040 swapFree=4140012/4192956
[pid=2571] ppid=2569 vsize=125016 CPUtime=1061.95
/proc/2571/stat : 2571 (pbscip.linux.x8) R 2569 2571 2047 0 -1 4202496 31419 0 0 0 105744 451 0 0 25 0 1 0 33449752 128016384 29628 1992294400 4194304 7136930 140734407526640 18446744073709551615 4697599 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/2571/statm: 31254 29628 379 719 0 30533 0
Current children cumulated CPU time (s) 1061.95
Current children cumulated vsize (KiB) 125016

[startup+1122.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 2605
/proc/meminfo: memFree=1596900/2059040 swapFree=4140012/4192956
[pid=2571] ppid=2569 vsize=130472 CPUtime=1121.94
/proc/2571/stat : 2571 (pbscip.linux.x8) R 2569 2571 2047 0 -1 4202496 32812 0 0 0 111720 474 0 0 25 0 1 0 33449752 133603328 31021 1992294400 4194304 7136930 140734407526640 18446744073709551615 4697599 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/2571/statm: 32618 31021 379 719 0 31897 0
Current children cumulated CPU time (s) 1121.94
Current children cumulated vsize (KiB) 130472

[startup+1182.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 2607
/proc/meminfo: memFree=1592312/2059040 swapFree=4140012/4192956
[pid=2571] ppid=2569 vsize=134940 CPUtime=1181.92
/proc/2571/stat : 2571 (pbscip.linux.x8) R 2569 2571 2047 0 -1 4202496 33961 0 0 0 117696 496 0 0 25 0 1 0 33449752 138178560 32166 1992294400 4194304 7136930 140734407526640 18446744073709551615 4697669 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/2571/statm: 33735 32166 379 719 0 33014 0
Current children cumulated CPU time (s) 1181.92
Current children cumulated vsize (KiB) 134940

[startup+1242.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 2607
/proc/meminfo: memFree=1588220/2059040 swapFree=4140012/4192956
[pid=2571] ppid=2569 vsize=138736 CPUtime=1241.9
/proc/2571/stat : 2571 (pbscip.linux.x8) R 2569 2571 2047 0 -1 4202496 34953 0 0 0 123668 522 0 0 25 0 1 0 33449752 142065664 33158 1992294400 4194304 7136930 140734407526640 18446744073709551615 4697599 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/2571/statm: 34684 33158 379 719 0 33963 0
Current children cumulated CPU time (s) 1241.9
Current children cumulated vsize (KiB) 138736

[startup+1302.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 2609
/proc/meminfo: memFree=1584748/2059040 swapFree=4140012/4192956
[pid=2571] ppid=2569 vsize=141852 CPUtime=1301.88
/proc/2571/stat : 2571 (pbscip.linux.x8) R 2569 2571 2047 0 -1 4202496 35785 0 0 0 129645 543 0 0 25 0 1 0 33449752 145256448 33990 1992294400 4194304 7136930 140734407526640 18446744073709551615 4697599 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/2571/statm: 35463 33990 379 719 0 34742 0
Current children cumulated CPU time (s) 1301.88
Current children cumulated vsize (KiB) 141852

[startup+1362.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 2611
/proc/meminfo: memFree=1578796/2059040 swapFree=4140012/4192956
[pid=2571] ppid=2569 vsize=147596 CPUtime=1361.86
/proc/2571/stat : 2571 (pbscip.linux.x8) R 2569 2571 2047 0 -1 4202496 37285 0 0 0 135617 569 0 0 25 0 1 0 33449752 151138304 35490 1992294400 4194304 7136930 140734407526640 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/2571/statm: 36899 35490 379 719 0 36178 0
Current children cumulated CPU time (s) 1361.86
Current children cumulated vsize (KiB) 147596

[startup+1422.31 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 2613
/proc/meminfo: memFree=1572224/2059040 swapFree=4140012/4192956
[pid=2571] ppid=2569 vsize=154164 CPUtime=1421.85
/proc/2571/stat : 2571 (pbscip.linux.x8) R 2569 2571 2047 0 -1 4202496 38901 0 0 0 141593 592 0 0 25 0 1 0 33449752 157863936 37106 1992294400 4194304 7136930 140734407526640 18446744073709551615 4414776 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/2571/statm: 38541 37106 379 719 0 37820 0
Current children cumulated CPU time (s) 1421.85
Current children cumulated vsize (KiB) 154164

[startup+1482.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 2615
/proc/meminfo: memFree=1568380/2059040 swapFree=4140012/4192956
[pid=2571] ppid=2569 vsize=157880 CPUtime=1481.83
/proc/2571/stat : 2571 (pbscip.linux.x8) R 2569 2571 2047 0 -1 4202496 39863 0 0 0 147566 617 0 0 25 0 1 0 33449752 161669120 38068 1992294400 4194304 7136930 140734407526640 18446744073709551615 4436415 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/2571/statm: 39470 38068 379 719 0 38749 0
Current children cumulated CPU time (s) 1481.83
Current children cumulated vsize (KiB) 157880

[startup+1542.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 2615
/proc/meminfo: memFree=1562056/2059040 swapFree=4140012/4192956
[pid=2571] ppid=2569 vsize=164132 CPUtime=1541.8
/proc/2571/stat : 2571 (pbscip.linux.x8) R 2569 2571 2047 0 -1 4202496 41436 0 0 0 153538 642 0 0 25 0 1 0 33449752 168071168 39641 1992294400 4194304 7136930 140734407526640 18446744073709551615 4643170 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/2571/statm: 41033 39641 379 719 0 40312 0
Current children cumulated CPU time (s) 1541.8
Current children cumulated vsize (KiB) 164132

[startup+1602.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 2617
/proc/meminfo: memFree=1556972/2059040 swapFree=4140012/4192956
[pid=2571] ppid=2569 vsize=169212 CPUtime=1601.78
/proc/2571/stat : 2571 (pbscip.linux.x8) R 2569 2571 2047 0 -1 4202496 42724 0 0 0 159510 668 0 0 25 0 1 0 33449752 173273088 40929 1992294400 4194304 7136930 140734407526640 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/2571/statm: 42303 40929 379 719 0 41582 0
Current children cumulated CPU time (s) 1601.78
Current children cumulated vsize (KiB) 169212

[startup+1662.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 2619
/proc/meminfo: memFree=1552508/2059040 swapFree=4140012/4192956
[pid=2571] ppid=2569 vsize=173260 CPUtime=1661.77
/proc/2571/stat : 2571 (pbscip.linux.x8) R 2569 2571 2047 0 -1 4202496 43796 0 0 0 165486 691 0 0 25 0 1 0 33449752 177418240 42001 1992294400 4194304 7136930 140734407526640 18446744073709551615 4436415 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/2571/statm: 43315 42001 379 719 0 42594 0
Current children cumulated CPU time (s) 1661.77
Current children cumulated vsize (KiB) 173260

[startup+1722.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 2621
/proc/meminfo: memFree=1547920/2059040 swapFree=4140012/4192956
[pid=2571] ppid=2569 vsize=177724 CPUtime=1721.74
/proc/2571/stat : 2571 (pbscip.linux.x8) R 2569 2571 2047 0 -1 4202496 44945 0 0 0 171458 716 0 0 25 0 1 0 33449752 181989376 43150 1992294400 4194304 7136930 140734407526640 18446744073709551615 4697599 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/2571/statm: 44431 43150 379 719 0 43710 0
Current children cumulated CPU time (s) 1721.74
Current children cumulated vsize (KiB) 177724

[startup+1782.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 2623
/proc/meminfo: memFree=1542712/2059040 swapFree=4140012/4192956
[pid=2571] ppid=2569 vsize=182592 CPUtime=1781.73
/proc/2571/stat : 2571 (pbscip.linux.x8) R 2569 2571 2047 0 -1 4202496 46205 0 0 0 177432 741 0 0 25 0 1 0 33449752 186974208 44410 1992294400 4194304 7136930 140734407526640 18446744073709551615 4407949 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/2571/statm: 45648 44410 379 719 0 44927 0
Current children cumulated CPU time (s) 1781.73
Current children cumulated vsize (KiB) 182592



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.6 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 2623
/proc/meminfo: memFree=1540356/2059040 swapFree=4140012/4192956
[pid=2571] ppid=2569 vsize=184864 CPUtime=1800.03
/proc/2571/stat : 2571 (pbscip.linux.x8) R 2569 2571 2047 0 -1 4202496 46778 0 0 0 179254 749 0 0 25 0 1 0 33449752 189300736 44983 1992294400 4194304 7136930 140734407526640 18446744073709551615 4697669 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/2571/statm: 46216 44983 379 719 0 45495 0
Current children cumulated CPU time (s) 1800.03
Current children cumulated vsize (KiB) 184864

Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds

Solver just ended. Dumping a history of the last processes samples

[startup+1801 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 2623
/proc/meminfo: memFree=1540356/2059040 swapFree=4140012/4192956
[pid=2571] ppid=2569 vsize=128588 CPUtime=1800.42
/proc/2571/stat : 2571 (pbscip.linux.x8) R 2569 2571 2047 0 -1 4202496 46932 0 0 0 179292 750 0 0 25 0 1 0 33449752 131674112 30934 1992294400 4194304 7136930 140734407526640 18446744073709551615 6165668 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/2571/statm: 32147 30934 384 719 0 31426 0
Current children cumulated CPU time (s) 1800.42
Current children cumulated vsize (KiB) 128588

Child status: 0
Real time (s): 1801.04
CPU time (s): 1800.47
CPU user time (s): 1792.95
CPU system time (s): 7.52086
CPU usage (%): 99.9683
Max. virtual memory (cumulated for all children) (KiB): 184864

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1792.95
system time used= 7.52086
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 46941
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 3
involuntary context switches= 5669

runsolver used 2.90656 second user time and 8.5807 second system time

The end

Launcher Data 

Begin job on node006 at 2010-06-15 07:07:41
IDJOB=2664736
IDBENCH=2585
IDSOLVER=1167
FILE ID=node006/2664736-1276578461
PBS_JOBID= 11173525
Free space on /tmp= 62504 MiB

SOLVER NAME= SCIPnone SCIP 1.2.1.2 without any LP solver
BENCH NAME= PB06/final/normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/roussel/normalized-pigeon-cardinality-95-90.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-2664736-1276578461/watcher-2664736-1276578461 -o /tmp/evaluation-result-2664736-1276578461/solver-2664736-1276578461 -C 1800 -W 2000 -M 1800  HOME/pbscip.linux.x86_64.gnu.opt.none -f HOME/instance-2664736-1276578461.opb -t 1800 -m 1800

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 1800 MiB
MAX NB THREAD= 0

MD5SUM BENCH= 464b0bce452dea50452bb0b774d05715
RANDOM SEED=202196843

node006.alineos.net Linux 2.6.18-164.el5 #1 SMP Thu Sep 3 03:28:30 EDT 2009

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 15
model		: 4
model name	:                   Intel(R) Xeon(TM) CPU 3.00GHz
stepping	: 3
cpu MHz		: 3000.204
cache size	: 2048 KB
physical id	: 0
siblings	: 1
core id		: 0
cpu cores	: 1
apicid		: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 5
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm constant_tsc pni monitor ds_cpl cid cx16 xtpr
bogomips	: 6000.40
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 15
model		: 4
model name	:                   Intel(R) Xeon(TM) CPU 3.00GHz
stepping	: 3
cpu MHz		: 3000.204
cache size	: 2048 KB
physical id	: 3
siblings	: 1
core id		: 0
cpu cores	: 1
apicid		: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 5
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm constant_tsc pni monitor ds_cpl cid cx16 xtpr
bogomips	: 5599.45
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:      2059040 kB
MemFree:       1721560 kB
Buffers:         65712 kB
Cached:         190184 kB
SwapCached:       6644 kB
Active:         100788 kB
Inactive:       168800 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2059040 kB
LowFree:       1721560 kB
SwapTotal:     4192956 kB
SwapFree:      4140012 kB
Dirty:            3612 kB
Writeback:           0 kB
AnonPages:       12056 kB
Mapped:          13132 kB
Slab:            46132 kB
PageTables:       3936 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:   5222476 kB
Committed_AS:   180856 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= 62500 MiB
End job on node006 at 2010-06-15 07:37:44