Trace number 2664545

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 solverUNSAT 229.102 229.178

General information on the benchmark

Namenormalized-PB06/SATUNSAT-SMALLINT/web/
uclid_pb_benchmarks/normalized-cache.inv12.ucl.opb
MD5SUMbdfd22b57887b70e5df6236004ca174a
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 benchmark9.10362
Has Objective FunctionNO
SatisfiableNO
(Un)Satisfiability was provedYES
Best value of the objective function
Optimality of the best value was proved
Number of variables25800
Total number of constraints76699
Number of constraints which are clauses76319
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints380
Minimum length of a constraint1
Maximum length of a constraint9
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 17
Number of bits of the biggest number in a constraint 5
Biggest sum of numbers in a constraint 62
Number of bits of the biggest sum of numbers6
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-2664545-1276332818.opb>
1.30/1.33	c original problem has 25800 variables (25800 bin, 0 int, 0 impl, 0 cont) and 76699 constraints
1.30/1.33	c problem read
1.30/1.33	c No objective function, only one solution is needed.
1.30/1.34	c presolving settings loaded
1.30/1.34	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
1.69/1.72	c presolving:
3.59/3.66	c (round 1) 764 del vars, 747 del conss, 324 chg bounds, 190 chg sides, 598 chg coeffs, 0 upgd conss, 2198185 impls, 0 clqs
3.89/3.93	c (round 2) 980 del vars, 2282 del conss, 473 chg bounds, 190 chg sides, 598 chg coeffs, 0 upgd conss, 2200719 impls, 0 clqs
3.99/4.03	c (round 3) 980 del vars, 2469 del conss, 473 chg bounds, 190 chg sides, 598 chg coeffs, 0 upgd conss, 2201507 impls, 0 clqs
4.78/4.81	c (round 4) 980 del vars, 2480 del conss, 473 chg bounds, 190 chg sides, 598 chg coeffs, 74219 upgd conss, 2201507 impls, 0 clqs
4.89/4.99	c presolving (5 rounds):
4.89/4.99	c  980 deleted vars, 2480 deleted constraints, 473 tightened bounds, 0 added holes, 190 changed sides, 598 changed coefficients
4.89/4.99	c  2201507 implications, 0 cliques
4.89/4.99	c presolved problem has 24820 variables (24820 bin, 0 int, 0 impl, 0 cont) and 74219 constraints
4.89/4.99	c     380 constraints of type <knapsack>
4.89/4.99	c   73839 constraints of type <logicor>
4.89/4.99	c transformed objective value is always integral (scale: 1)
4.89/4.99	c Presolving Time: 2.96
4.89/4.99	c - non default parameters ----------------------------------------------------------------------
4.89/4.99	c # SCIP version 1.2.1.2
4.89/4.99	c 
4.89/4.99	c # frequency for displaying node information lines
4.89/4.99	c # [type: int, range: [-1,2147483647], default: 100]
4.89/4.99	c display/freq = 10000
4.89/4.99	c 
4.89/4.99	c # maximal time in seconds to run
4.89/4.99	c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
4.89/4.99	c limits/time = 1798.67
4.89/4.99	c 
4.89/4.99	c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
4.89/4.99	c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
4.89/4.99	c limits/memory = 1620
4.89/4.99	c 
4.89/4.99	c # solving stops, if the given number of solutions were found (-1: no limit)
4.89/4.99	c # [type: int, range: [-1,2147483647], default: -1]
4.89/4.99	c limits/solutions = 1
4.89/4.99	c 
4.89/4.99	c # frequency for solving LP at the nodes (-1: never; 0: only root LP)
4.89/4.99	c # [type: int, range: [-1,2147483647], default: 1]
4.89/4.99	c lp/solvefreq = -1
4.89/4.99	c 
4.89/4.99	c # maximal number of separation rounds per node (-1: unlimited)
4.89/4.99	c # [type: int, range: [-1,2147483647], default: 5]
4.89/4.99	c separating/maxrounds = 1
4.89/4.99	c 
4.89/4.99	c # maximal number of separation rounds in the root node (-1: unlimited)
4.89/4.99	c # [type: int, range: [-1,2147483647], default: -1]
4.89/4.99	c separating/maxroundsroot = 5
4.89/4.99	c 
4.89/4.99	c # should presolving try to simplify inequalities
4.89/4.99	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
4.89/4.99	c constraints/linear/simplifyinequalities = TRUE
4.89/4.99	c 
4.89/4.99	c # should disaggregation of knapsack constraints be allowed in preprocessing?
4.89/4.99	c # [type: bool, range: {TRUE,FALSE}, default: TRUE]
4.89/4.99	c constraints/knapsack/disaggregation = FALSE
4.89/4.99	c 
4.89/4.99	c # should presolving try to simplify knapsacks
4.89/4.99	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
4.89/4.99	c constraints/knapsack/simplifyinequalities = TRUE
4.89/4.99	c 
4.89/4.99	c # maximal number of presolving rounds the presolver participates in (-1: no limit)
4.89/4.99	c # [type: int, range: [-1,2147483647], default: -1]
4.89/4.99	c presolving/probing/maxrounds = 0
4.89/4.99	c 
4.89/4.99	c # frequency for calling primal heuristic <coefdiving> (-1: never, 0: only at depth freqofs)
4.89/4.99	c # [type: int, range: [-1,2147483647], default: 10]
4.89/4.99	c heuristics/coefdiving/freq = -1
4.89/4.99	c 
4.89/4.99	c # maximal fraction of diving LP iterations compared to node LP iterations
4.89/4.99	c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
4.89/4.99	c heuristics/coefdiving/maxlpiterquot = 0.075
4.89/4.99	c 
4.89/4.99	c # additional number of allowed LP iterations
4.89/4.99	c # [type: int, range: [0,2147483647], default: 1000]
4.89/4.99	c heuristics/coefdiving/maxlpiterofs = 1500
4.89/4.99	c 
4.89/4.99	c # frequency for calling primal heuristic <crossover> (-1: never, 0: only at depth freqofs)
4.89/4.99	c # [type: int, range: [-1,2147483647], default: 30]
4.89/4.99	c heuristics/crossover/freq = -1
4.89/4.99	c 
4.89/4.99	c # number of nodes added to the contingent of the total nodes
4.89/4.99	c # [type: longint, range: [0,9223372036854775807], default: 500]
4.89/4.99	c heuristics/crossover/nodesofs = 750
4.89/4.99	c 
4.89/4.99	c # number of nodes without incumbent change that heuristic should wait
4.89/4.99	c # [type: longint, range: [0,9223372036854775807], default: 200]
4.89/4.99	c heuristics/crossover/nwaitingnodes = 100
4.89/4.99	c 
4.89/4.99	c # contingent of sub problem nodes in relation to the number of nodes of the original problem
4.89/4.99	c # [type: real, range: [0,1], default: 0.1]
4.89/4.99	c heuristics/crossover/nodesquot = 0.15
4.89/4.99	c 
4.89/4.99	c # minimum percentage of integer variables that have to be fixed 
4.89/4.99	c # [type: real, range: [0,1], default: 0.666]
4.89/4.99	c heuristics/crossover/minfixingrate = 0.5
4.89/4.99	c 
4.89/4.99	c # frequency for calling primal heuristic <feaspump> (-1: never, 0: only at depth freqofs)
4.89/4.99	c # [type: int, range: [-1,2147483647], default: 20]
4.89/4.99	c heuristics/feaspump/freq = -1
4.89/4.99	c 
4.89/4.99	c # additional number of allowed LP iterations
4.89/4.99	c # [type: int, range: [0,2147483647], default: 1000]
4.89/4.99	c heuristics/feaspump/maxlpiterofs = 2000
4.89/4.99	c 
4.89/4.99	c # frequency for calling primal heuristic <fracdiving> (-1: never, 0: only at depth freqofs)
4.89/4.99	c # [type: int, range: [-1,2147483647], default: 10]
4.89/4.99	c heuristics/fracdiving/freq = -1
4.89/4.99	c 
4.89/4.99	c # maximal fraction of diving LP iterations compared to node LP iterations
4.89/4.99	c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
4.89/4.99	c heuristics/fracdiving/maxlpiterquot = 0.075
4.89/4.99	c 
4.89/4.99	c # additional number of allowed LP iterations
4.89/4.99	c # [type: int, range: [0,2147483647], default: 1000]
4.89/4.99	c heuristics/fracdiving/maxlpiterofs = 1500
4.89/4.99	c 
4.89/4.99	c # frequency for calling primal heuristic <guideddiving> (-1: never, 0: only at depth freqofs)
4.89/4.99	c # [type: int, range: [-1,2147483647], default: 10]
4.89/4.99	c heuristics/guideddiving/freq = -1
4.89/4.99	c 
4.89/4.99	c # maximal fraction of diving LP iterations compared to node LP iterations
4.89/4.99	c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
4.89/4.99	c heuristics/guideddiving/maxlpiterquot = 0.075
4.89/4.99	c 
4.89/4.99	c # additional number of allowed LP iterations
4.89/4.99	c # [type: int, range: [0,2147483647], default: 1000]
4.89/4.99	c heuristics/guideddiving/maxlpiterofs = 1500
4.89/4.99	c 
4.89/4.99	c # maximal fraction of diving LP iterations compared to node LP iterations
4.89/4.99	c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
4.89/4.99	c heuristics/intdiving/maxlpiterquot = 0.075
4.89/4.99	c 
4.89/4.99	c # frequency for calling primal heuristic <intshifting> (-1: never, 0: only at depth freqofs)
4.89/4.99	c # [type: int, range: [-1,2147483647], default: 10]
4.89/4.99	c heuristics/intshifting/freq = -1
4.89/4.99	c 
4.89/4.99	c # frequency for calling primal heuristic <linesearchdiving> (-1: never, 0: only at depth freqofs)
4.89/4.99	c # [type: int, range: [-1,2147483647], default: 10]
4.89/4.99	c heuristics/linesearchdiving/freq = -1
4.89/4.99	c 
4.89/4.99	c # maximal fraction of diving LP iterations compared to node LP iterations
4.89/4.99	c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
4.89/4.99	c heuristics/linesearchdiving/maxlpiterquot = 0.075
4.89/4.99	c 
4.89/4.99	c # additional number of allowed LP iterations
4.89/4.99	c # [type: int, range: [0,2147483647], default: 1000]
4.89/4.99	c heuristics/linesearchdiving/maxlpiterofs = 1500
4.89/4.99	c 
4.89/4.99	c # frequency for calling primal heuristic <nlp> (-1: never, 0: only at depth freqofs)
4.89/4.99	c # [type: int, range: [-1,2147483647], default: 1]
4.89/4.99	c heuristics/nlp/freq = -1
4.89/4.99	c 
4.89/4.99	c # frequency for calling primal heuristic <objpscostdiving> (-1: never, 0: only at depth freqofs)
4.89/4.99	c # [type: int, range: [-1,2147483647], default: 20]
4.89/4.99	c heuristics/objpscostdiving/freq = -1
4.89/4.99	c 
4.89/4.99	c # maximal fraction of diving LP iterations compared to total iteration number
4.89/4.99	c # [type: real, range: [0,1], default: 0.01]
4.89/4.99	c heuristics/objpscostdiving/maxlpiterquot = 0.015
4.89/4.99	c 
4.89/4.99	c # additional number of allowed LP iterations
4.89/4.99	c # [type: int, range: [0,2147483647], default: 1000]
4.89/4.99	c heuristics/objpscostdiving/maxlpiterofs = 1500
4.89/4.99	c 
4.89/4.99	c # frequency for calling primal heuristic <oneopt> (-1: never, 0: only at depth freqofs)
4.89/4.99	c # [type: int, range: [-1,2147483647], default: 1]
4.89/4.99	c heuristics/oneopt/freq = -1
4.89/4.99	c 
4.89/4.99	c # frequency for calling primal heuristic <pscostdiving> (-1: never, 0: only at depth freqofs)
4.89/4.99	c # [type: int, range: [-1,2147483647], default: 10]
4.89/4.99	c heuristics/pscostdiving/freq = -1
4.89/4.99	c 
4.89/4.99	c # maximal fraction of diving LP iterations compared to node LP iterations
4.89/4.99	c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
4.89/4.99	c heuristics/pscostdiving/maxlpiterquot = 0.075
4.89/4.99	c 
4.89/4.99	c # additional number of allowed LP iterations
4.89/4.99	c # [type: int, range: [0,2147483647], default: 1000]
4.89/4.99	c heuristics/pscostdiving/maxlpiterofs = 1500
4.89/4.99	c 
4.89/4.99	c # frequency for calling primal heuristic <rens> (-1: never, 0: only at depth freqofs)
4.89/4.99	c # [type: int, range: [-1,2147483647], default: 0]
4.89/4.99	c heuristics/rens/freq = -1
4.89/4.99	c 
4.89/4.99	c # minimum percentage of integer variables that have to be fixable 
4.89/4.99	c # [type: real, range: [0,1], default: 0.5]
4.89/4.99	c heuristics/rens/minfixingrate = 0.3
4.89/4.99	c 
4.89/4.99	c # number of nodes added to the contingent of the total nodes
4.89/4.99	c # [type: longint, range: [0,9223372036854775807], default: 500]
4.89/4.99	c heuristics/rens/nodesofs = 2000
4.89/4.99	c 
4.89/4.99	c # frequency for calling primal heuristic <rootsoldiving> (-1: never, 0: only at depth freqofs)
4.89/4.99	c # [type: int, range: [-1,2147483647], default: 20]
4.89/4.99	c heuristics/rootsoldiving/freq = -1
4.89/4.99	c 
4.89/4.99	c # maximal fraction of diving LP iterations compared to node LP iterations
4.89/4.99	c # [type: real, range: [0,1.79769313486232e+308], default: 0.01]
4.89/4.99	c heuristics/rootsoldiving/maxlpiterquot = 0.015
4.89/4.99	c 
4.89/4.99	c # additional number of allowed LP iterations
4.89/4.99	c # [type: int, range: [0,2147483647], default: 1000]
4.89/4.99	c heuristics/rootsoldiving/maxlpiterofs = 1500
4.89/4.99	c 
4.89/4.99	c # frequency for calling primal heuristic <rounding> (-1: never, 0: only at depth freqofs)
4.89/4.99	c # [type: int, range: [-1,2147483647], default: 1]
4.89/4.99	c heuristics/rounding/freq = -1
4.89/4.99	c 
4.89/4.99	c # frequency for calling primal heuristic <shifting> (-1: never, 0: only at depth freqofs)
4.89/4.99	c # [type: int, range: [-1,2147483647], default: 10]
4.89/4.99	c heuristics/shifting/freq = -1
4.89/4.99	c 
4.89/4.99	c # frequency for calling primal heuristic <simplerounding> (-1: never, 0: only at depth freqofs)
4.89/4.99	c # [type: int, range: [-1,2147483647], default: 1]
4.89/4.99	c heuristics/simplerounding/freq = -1
4.89/4.99	c 
4.89/4.99	c # frequency for calling primal heuristic <trivial> (-1: never, 0: only at depth freqofs)
4.89/4.99	c # [type: int, range: [-1,2147483647], default: 0]
4.89/4.99	c heuristics/trivial/freq = -1
4.89/4.99	c 
4.89/4.99	c # frequency for calling primal heuristic <trysol> (-1: never, 0: only at depth freqofs)
4.89/4.99	c # [type: int, range: [-1,2147483647], default: 1]
4.89/4.99	c heuristics/trysol/freq = -1
4.89/4.99	c 
4.89/4.99	c # frequency for calling primal heuristic <veclendiving> (-1: never, 0: only at depth freqofs)
4.89/4.99	c # [type: int, range: [-1,2147483647], default: 10]
4.89/4.99	c heuristics/veclendiving/freq = -1
4.89/4.99	c 
4.89/4.99	c # maximal fraction of diving LP iterations compared to node LP iterations
4.89/4.99	c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
4.89/4.99	c heuristics/veclendiving/maxlpiterquot = 0.075
4.89/4.99	c 
4.89/4.99	c # additional number of allowed LP iterations
4.89/4.99	c # [type: int, range: [0,2147483647], default: 1000]
4.89/4.99	c heuristics/veclendiving/maxlpiterofs = 1500
4.89/4.99	c 
4.89/4.99	c # frequency for calling primal heuristic <zirounding> (-1: never, 0: only at depth freqofs)
4.89/4.99	c # [type: int, range: [-1,2147483647], default: 1]
4.89/4.99	c heuristics/zirounding/freq = -1
4.89/4.99	c 
4.89/4.99	c # frequency for calling separator <cmir> (-1: never, 0: only in root node)
4.89/4.99	c # [type: int, range: [-1,2147483647], default: 0]
4.89/4.99	c separating/cmir/freq = -1
4.89/4.99	c 
4.89/4.99	c # frequency for calling separator <flowcover> (-1: never, 0: only in root node)
4.89/4.99	c # [type: int, range: [-1,2147483647], default: 0]
4.89/4.99	c separating/flowcover/freq = -1
4.89/4.99	c 
4.89/4.99	c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
4.89/4.99	c # [type: int, range: [-1,2147483647], default: -1]
4.89/4.99	c separating/rapidlearning/freq = 0
4.89/4.99	c 
4.89/4.99	c -----------------------------------------------------------------------------------------------
4.89/4.99	c start solving
4.99/5.02	c 
5.09/5.10	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
5.09/5.10	c   3.3s|     1 |     2 |     0 |     - | 163M|   0 |   - |  24k|  74k|   0 |   0 |   0 |   0 |   0 | 0.000000e+00 |      --      |    Inf 
228.72/228.82	c 
228.72/228.82	c SCIP Status        : problem is solved [infeasible]
228.72/228.82	c Solving Time (sec) : 225.63
228.72/228.82	c Solving Nodes      : 6219
228.72/228.82	c Primal Bound       : +1.00000000000000e+20 (0 solutions)
228.72/228.82	c Dual Bound         : +1.00000000000000e+20
228.72/228.82	c Gap                : 0.00 %
228.72/228.82	s UNSATISFIABLE
228.72/228.82	c SCIP Status        : problem is solved [infeasible]
228.72/228.82	c Solving Time       :     225.63
228.72/228.82	c Original Problem   :
228.72/228.82	c   Problem name     : HOME/instance-2664545-1276332818.opb
228.72/228.82	c   Variables        : 25800 (25800 binary, 0 integer, 0 implicit integer, 0 continuous)
228.72/228.82	c   Constraints      : 76699 initial, 76699 maximal
228.72/228.82	c Presolved Problem  :
228.72/228.82	c   Problem name     : t_HOME/instance-2664545-1276332818.opb
228.72/228.82	c   Variables        : 24820 (24820 binary, 0 integer, 0 implicit integer, 0 continuous)
228.72/228.82	c   Constraints      : 74219 initial, 75464 maximal
228.72/228.82	c Presolvers         :       Time  FixedVars   AggrVars   ChgTypes  ChgBounds   AddHoles    DelCons   ChgSides   ChgCoefs
228.72/228.82	c   trivial          :       0.04         38          0          0          0          0          0          0          0
228.72/228.82	c   dualfix          :       0.01          0          0          0          0          0          0          0          0
228.72/228.82	c   boundshift       :       0.00          0          0          0          0          0          0          0          0
228.72/228.82	c   inttobinary      :       0.00          0          0          0          0          0          0          0          0
228.72/228.82	c   implics          :       0.27          0        468          0          0          0          0          0          0
228.72/228.82	c   probing          :       0.00          0          0          0          0          0          0          0          0
228.72/228.82	c   knapsack         :       0.01          0          0          0          0          0          0          0          0
228.72/228.82	c   linear           :       2.14        473          1          0        473          0       2480        190        598
228.72/228.82	c   logicor          :       0.26          0          0          0          0          0          0          0          0
228.72/228.82	c   root node        :          -        410          -          -        410          -          -          -          -
228.72/228.82	c Constraints        :     Number  #Separate #Propagate    #EnfoLP    #EnfoPS    Cutoffs    DomReds       Cuts      Conss   Children
228.72/228.82	c   integral         :          0          0          0          0          0          0          0          0          0          0
228.72/228.82	c   knapsack         :        380          0     147200          0       4709        519     196581          0          0          0
228.72/228.82	c   logicor          :      73839+         0     140957          0       4709       2169    5972453          0          0          0
228.72/228.82	c   countsols        :          0          0          0          0       4651          0          0          0          0          0
228.72/228.82	c Constraint Timings :  TotalTime   Separate  Propagate     EnfoLP     EnfoPS
228.72/228.82	c   integral         :       0.00       0.00       0.00       0.00       0.00
228.72/228.82	c   knapsack         :       5.19       0.00       5.16       0.00       0.03
228.72/228.82	c   logicor          :     111.97       0.00      53.04       0.00      58.93
228.72/228.82	c   countsols        :       0.01       0.00       0.00       0.00       0.01
228.72/228.82	c Propagators        :       Time      Calls    Cutoffs    DomReds
228.72/228.82	c   vbounds          :       0.12          1          0          0
228.72/228.82	c   rootredcost      :       0.03          0          0          0
228.72/228.82	c   pseudoobj        :       0.08          0          0          0
228.72/228.82	c Conflict Analysis  :       Time      Calls    Success  Conflicts   Literals    Reconvs ReconvLits   LP Iters
228.72/228.82	c   propagation      :       5.22       2688       2684      18315       52.3        299       19.8          -
228.72/228.82	c   infeasible LP    :       0.00          0          0          0        0.0          0        0.0          0
228.72/228.82	c   bound exceed. LP :       0.00          0          0          0        0.0          0        0.0          0
228.72/228.82	c   strong branching :       0.00          0          0          0        0.0          0        0.0          0
228.72/228.82	c   pseudo solution  :       0.00          0          0          0        0.0          0        0.0          -
228.72/228.82	c   applied globally :          -          -          -       6961       33.7          -          -          -
228.72/228.82	c   applied locally  :          -          -          -          0        0.0          -          -          -
228.72/228.82	c Separators         :       Time      Calls    Cutoffs    DomReds       Cuts      Conss
228.72/228.82	c   cut pool         :       0.00          0          -          -          0          -    (maximal pool size: 0)
228.72/228.82	c   redcost          :       0.00          0          0          0          0          0
228.72/228.82	c   impliedbounds    :       0.00          0          0          0          0          0
228.72/228.82	c   intobj           :       0.00          0          0          0          0          0
228.72/228.82	c   cgmip            :       0.00          0          0          0          0          0
228.72/228.82	c   gomory           :       0.00          0          0          0          0          0
228.72/228.82	c   strongcg         :       0.00          0          0          0          0          0
228.72/228.82	c   cmir             :       0.00          0          0          0          0          0
228.72/228.82	c   flowcover        :       0.00          0          0          0          0          0
228.72/228.82	c   clique           :       0.00          0          0          0          0          0
228.72/228.82	c   zerohalf         :       0.00          0          0          0          0          0
228.72/228.82	c   mcf              :       0.00          0          0          0          0          0
228.72/228.82	c   rapidlearning    :       0.00          0          0          0          0          0
228.72/228.82	c Pricers            :       Time      Calls       Vars
228.72/228.82	c   problem variables:       0.00          0          0
228.72/228.82	c Branching Rules    :       Time      Calls    Cutoffs    DomReds       Cuts      Conss   Children
228.72/228.82	c   relpscost        :       0.00          0          0          0          0          0          0
228.72/228.82	c   pscost           :       0.00          0          0          0          0          0          0
228.72/228.82	c   inference        :      15.46       4651          0          0          0          0       9302
228.72/228.82	c   mostinf          :       0.00          0          0          0          0          0          0
228.72/228.82	c   leastinf         :       0.00          0          0          0          0          0          0
228.72/228.82	c   fullstrong       :       0.00          0          0          0          0          0          0
228.72/228.82	c   allfullstrong    :       0.00          0          0          0          0          0          0
228.72/228.82	c   random           :       0.00          0          0          0          0          0          0
228.72/228.82	c Primal Heuristics  :       Time      Calls      Found
228.72/228.82	c   LP solutions     :       0.00          -          0
228.72/228.82	c   pseudo solutions :       0.00          -          0
228.72/228.82	c   trivial          :       0.04          1          0
228.72/228.82	c   simplerounding   :       0.00          0          0
228.72/228.82	c   zirounding       :       0.00          0          0
228.72/228.82	c   rounding         :       0.00          0          0
228.72/228.82	c   shifting         :       0.00          0          0
228.72/228.82	c   intshifting      :       0.00          0          0
228.72/228.82	c   oneopt           :       0.00          0          0
228.72/228.82	c   twoopt           :       0.00          0          0
228.72/228.82	c   fixandinfer      :       0.00          0          0
228.72/228.82	c   feaspump         :       0.00          0          0
228.72/228.82	c   coefdiving       :       0.00          0          0
228.72/228.82	c   pscostdiving     :       0.00          0          0
228.72/228.82	c   fracdiving       :       0.00          0          0
228.72/228.82	c   veclendiving     :       0.00          0          0
228.72/228.82	c   intdiving        :       0.00          0          0
228.72/228.82	c   actconsdiving    :       0.00          0          0
228.72/228.82	c   objpscostdiving  :       0.00          0          0
228.72/228.82	c   rootsoldiving    :       0.00          0          0
228.72/228.82	c   linesearchdiving :       0.00          0          0
228.72/228.82	c   guideddiving     :       0.00          0          0
228.72/228.82	c   octane           :       0.00          0          0
228.72/228.82	c   rens             :       0.00          0          0
228.72/228.82	c   rins             :       0.00          0          0
228.72/228.82	c   localbranching   :       0.00          0          0
228.72/228.82	c   mutation         :       0.00          0          0
228.72/228.82	c   crossover        :       0.00          0          0
228.72/228.82	c   dins             :       0.00          0          0
228.72/228.82	c   undercover       :       0.00          0          0
228.72/228.82	c   nlp              :       0.00          0          0
228.72/228.82	c   trysol           :       0.00          0          0
228.72/228.82	c LP                 :       Time      Calls Iterations  Iter/call   Iter/sec
228.72/228.82	c   primal LP        :       0.00          0          0       0.00          -
228.72/228.82	c   dual LP          :       0.00          0          0       0.00          -
228.72/228.82	c   lex dual LP      :       0.00          0          0       0.00          -
228.72/228.82	c   barrier LP       :       0.00          0          0       0.00          -
228.72/228.82	c   diving/probing LP:       0.00          0          0       0.00          -
228.72/228.82	c   strong branching :       0.00          0          0       0.00          -
228.72/228.82	c     (at root node) :          -          0          0       0.00          -
228.72/228.82	c   conflict analysis:       0.00          0          0       0.00          -
228.72/228.82	c B&B Tree           :
228.72/228.82	c   number of runs   :          1
228.72/228.82	c   nodes            :       6219
228.72/228.82	c   nodes (total)    :       6219
228.72/228.82	c   nodes left       :          0
228.72/228.82	c   max depth        :         95
228.72/228.82	c   max depth (total):         95
228.72/228.82	c   backtracks       :       1553 (25.0%)
228.72/228.82	c   delayed cutoffs  :       3084
228.72/228.82	c   repropagations   :       6864 (2226070 domain reductions, 1120 cutoffs)
228.72/228.82	c   avg switch length:       7.52
228.72/228.82	c   switching time   :      77.63
228.72/228.82	c Solution           :
228.72/228.82	c   Solutions found  :          0 (0 improvements)
228.72/228.82	c   Primal Bound     : infeasible
228.72/228.82	c   Dual Bound       :          -
228.72/228.82	c   Gap              :       0.00 %
228.72/228.82	c   Root Dual Bound  : +0.00000000000000e+00
228.72/228.82	c   Root Iterations  :          0
229.01/229.17	c Time complete: 229.09.

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-2664545-1276332818/watcher-2664545-1276332818 -o /tmp/evaluation-result-2664545-1276332818/solver-2664545-1276332818 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt.none -f HOME/instance-2664545-1276332818.opb -t 1800 -m 1800 

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2000 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB
Current StackSize limit: 10240 KiB


[startup+0 s]
/proc/loadavg: 1.00 1.00 1.00 3/106 9079
/proc/meminfo: memFree=1510028/2059040 swapFree=4192956/4192956
[pid=9079] ppid=9077 vsize=6584 CPUtime=0
/proc/9079/stat : 9079 (pbscip.linux.x8) R 9077 9079 8410 0 -1 4202496 999 0 0 0 0 0 0 0 15 0 1 0 8883531 6742016 921 1992294400 4194304 7136930 140737305591488 18446744073709551615 6346613 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/9079/statm: 1646 931 254 719 0 925 0

[startup+0.097298 s]
/proc/loadavg: 1.00 1.00 1.00 3/106 9079
/proc/meminfo: memFree=1510028/2059040 swapFree=4192956/4192956
[pid=9079] ppid=9077 vsize=12104 CPUtime=0.08
/proc/9079/stat : 9079 (pbscip.linux.x8) R 9077 9079 8410 0 -1 4202496 2503 0 0 0 8 0 0 0 17 0 1 0 8883531 12394496 2425 1992294400 4194304 7136930 140737305591488 18446744073709551615 6346613 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/9079/statm: 3026 2425 268 719 0 2305 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 12104

[startup+0.101298 s]
/proc/loadavg: 1.00 1.00 1.00 3/106 9079
/proc/meminfo: memFree=1510028/2059040 swapFree=4192956/4192956
[pid=9079] ppid=9077 vsize=13068 CPUtime=0.09
/proc/9079/stat : 9079 (pbscip.linux.x8) R 9077 9079 8410 0 -1 4202496 2744 0 0 0 9 0 0 0 17 0 1 0 8883531 13381632 2666 1992294400 4194304 7136930 140737305591488 18446744073709551615 6346613 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/9079/statm: 3267 2666 268 719 0 2546 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 13068

[startup+0.30132 s]
/proc/loadavg: 1.00 1.00 1.00 3/106 9079
/proc/meminfo: memFree=1510028/2059040 swapFree=4192956/4192956
[pid=9079] ppid=9077 vsize=19664 CPUtime=0.29
/proc/9079/stat : 9079 (pbscip.linux.x8) R 9077 9079 8410 0 -1 4202496 4410 0 0 0 28 1 0 0 17 0 1 0 8883531 20135936 4332 1992294400 4194304 7136930 140737305591488 18446744073709551615 6346613 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/9079/statm: 4916 4332 268 719 0 4195 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 19664

[startup+0.701364 s]
/proc/loadavg: 1.00 1.00 1.00 3/106 9079
/proc/meminfo: memFree=1510028/2059040 swapFree=4192956/4192956
[pid=9079] ppid=9077 vsize=32884 CPUtime=0.69
/proc/9079/stat : 9079 (pbscip.linux.x8) R 9077 9079 8410 0 -1 4202496 7706 0 0 0 66 3 0 0 17 0 1 0 8883531 33673216 7628 1992294400 4194304 7136930 140737305591488 18446744073709551615 6346613 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/9079/statm: 8221 7628 268 719 0 7500 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 32884

[startup+1.50145 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 9080
/proc/meminfo: memFree=1470588/2059040 swapFree=4192956/4192956
[pid=9079] ppid=9077 vsize=107196 CPUtime=1.49
/proc/9079/stat : 9079 (pbscip.linux.x8) R 9077 9079 8410 0 -1 4202496 26552 0 0 0 139 10 0 0 18 0 1 0 8883531 109768704 26120 1992294400 4194304 7136930 140737305591488 18446744073709551615 4209174 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9079/statm: 26799 26120 282 719 0 26078 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 107196

[startup+3.10063 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 9080
/proc/meminfo: memFree=1366800/2059040 swapFree=4192956/4192956
[pid=9079] ppid=9077 vsize=197896 CPUtime=3.08
/proc/9079/stat : 9079 (pbscip.linux.x8) R 9077 9079 8410 0 -1 4202496 48216 0 0 0 284 24 0 0 21 0 1 0 8883531 202645504 47784 1992294400 4194304 7136930 140737305591488 18446744073709551615 5968615 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9079/statm: 49474 47784 341 719 0 48753 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 197896

[startup+6.30098 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 9080
/proc/meminfo: memFree=1269708/2059040 swapFree=4192956/4192956
[pid=9079] ppid=9077 vsize=252780 CPUtime=6.29
/proc/9079/stat : 9079 (pbscip.linux.x8) R 9077 9079 8410 0 -1 4202496 68810 0 0 0 572 57 0 0 25 0 1 0 8883531 258846720 60823 1992294400 4194304 7136930 140737305591488 18446744073709551615 5005155 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9079/statm: 63195 60823 390 719 0 62474 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 252780

[startup+12.7007 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 9080
/proc/meminfo: memFree=1253464/2059040 swapFree=4192956/4192956
[pid=9079] ppid=9077 vsize=267172 CPUtime=12.68
/proc/9079/stat : 9079 (pbscip.linux.x8) R 9077 9079 8410 0 -1 4202496 72338 0 0 0 1209 59 0 0 25 0 1 0 8883531 273584128 64350 1992294400 4194304 7136930 140737305591488 18446744073709551615 4219826 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9079/statm: 66793 64350 394 719 0 66072 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 267172

[startup+25.5011 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 9082
/proc/meminfo: memFree=1239948/2059040 swapFree=4192956/4192956
[pid=9079] ppid=9077 vsize=281076 CPUtime=25.48
/proc/9079/stat : 9079 (pbscip.linux.x8) R 9077 9079 8410 0 -1 4202496 75701 0 0 0 2484 64 0 0 25 0 1 0 8883531 287821824 67712 1992294400 4194304 7136930 140737305591488 18446744073709551615 4999837 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9079/statm: 70269 67712 393 719 0 69548 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 281076

[startup+51.1009 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 9082
/proc/meminfo: memFree=1207956/2059040 swapFree=4192956/4192956
[pid=9079] ppid=9077 vsize=317448 CPUtime=51.07
/proc/9079/stat : 9079 (pbscip.linux.x8) R 9077 9079 8410 0 -1 4202496 84138 0 0 0 5022 85 0 0 25 0 1 0 8883531 325066752 76149 1992294400 4194304 7136930 140737305591488 18446744073709551615 5956715 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9079/statm: 79362 76149 393 719 0 78641 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 317448

[startup+102.309 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 9084
/proc/meminfo: memFree=1136656/2059040 swapFree=4192956/4192956
[pid=9079] ppid=9077 vsize=390068 CPUtime=102.26
/proc/9079/stat : 9079 (pbscip.linux.x8) R 9077 9079 8410 0 -1 4202496 101397 0 0 0 10111 115 0 0 25 0 1 0 8883531 399429632 93408 1992294400 4194304 7136930 140737305591488 18446744073709551615 4665414 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9079/statm: 97517 93408 393 719 0 96796 0
Current children cumulated CPU time (s) 102.26
Current children cumulated vsize (KiB) 390068

[startup+162.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 9084
/proc/meminfo: memFree=1062008/2059040 swapFree=4192956/4192956
[pid=9079] ppid=9077 vsize=468604 CPUtime=162.23
/proc/9079/stat : 9079 (pbscip.linux.x8) R 9077 9079 8410 0 -1 4202496 120226 0 0 0 16077 146 0 0 25 0 1 0 8883531 479850496 112237 1992294400 4194304 7136930 140737305591488 18446744073709551615 5955538 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9079/statm: 117151 112237 393 719 0 116430 0
Current children cumulated CPU time (s) 162.23
Current children cumulated vsize (KiB) 468604

[startup+222.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 9086
/proc/meminfo: memFree=982524/2059040 swapFree=4192956/4192956
[pid=9079] ppid=9077 vsize=550524 CPUtime=222.22
/proc/9079/stat : 9079 (pbscip.linux.x8) R 9077 9079 8410 0 -1 4202496 139912 0 0 0 22042 180 0 0 25 0 1 0 8883531 563736576 131923 1992294400 4194304 7136930 140737305591488 18446744073709551615 4660061 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9079/statm: 137631 131923 393 719 0 136910 0
Current children cumulated CPU time (s) 222.22
Current children cumulated vsize (KiB) 550524

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

[startup+223.901 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 9086
/proc/meminfo: memFree=981036/2059040 swapFree=4192956/4192956
[pid=9079] ppid=9077 vsize=553328 CPUtime=223.82
/proc/9079/stat : 9079 (pbscip.linux.x8) R 9077 9079 8410 0 -1 4202496 140599 0 0 0 22201 181 0 0 25 0 1 0 8883531 566607872 132610 1992294400 4194304 7136930 140737305591488 18446744073709551615 4644701 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9079/statm: 138332 132610 393 719 0 137611 0
Current children cumulated CPU time (s) 223.82
Current children cumulated vsize (KiB) 553328

[startup+227.1 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 9086
/proc/meminfo: memFree=972604/2059040 swapFree=4192956/4192956
[pid=9079] ppid=9077 vsize=562188 CPUtime=227.01
/proc/9079/stat : 9079 (pbscip.linux.x8) R 9077 9079 8410 0 -1 4202496 142800 0 0 0 22518 183 0 0 25 0 1 0 8883531 575680512 134811 1992294400 4194304 7136930 140737305591488 18446744073709551615 4999837 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9079/statm: 140547 134811 393 719 0 139826 0
Current children cumulated CPU time (s) 227.01
Current children cumulated vsize (KiB) 562188

[startup+227.9 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 9086
/proc/meminfo: memFree=970000/2059040 swapFree=4192956/4192956
[pid=9079] ppid=9077 vsize=563064 CPUtime=227.81
/proc/9079/stat : 9079 (pbscip.linux.x8) R 9077 9079 8410 0 -1 4202496 143031 0 0 0 22598 183 0 0 25 0 1 0 8883531 576577536 135042 1992294400 4194304 7136930 140737305591488 18446744073709551615 4999811 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9079/statm: 140766 135042 393 719 0 140045 0
Current children cumulated CPU time (s) 227.81
Current children cumulated vsize (KiB) 563064

[startup+228.701 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 9086
/proc/meminfo: memFree=966528/2059040 swapFree=4192956/4192956
[pid=9079] ppid=9077 vsize=566264 CPUtime=228.63
/proc/9079/stat : 9079 (pbscip.linux.x8) R 9077 9079 8410 0 -1 4202496 143831 0 0 0 22679 184 0 0 25 0 1 0 8883531 579854336 135842 1992294400 4194304 7136930 140737305591488 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9079/statm: 141566 135842 393 719 0 140845 0
Current children cumulated CPU time (s) 228.63
Current children cumulated vsize (KiB) 566264

[startup+229.101 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 9086
/proc/meminfo: memFree=966528/2059040 swapFree=4192956/4192956
[pid=9079] ppid=9077 vsize=141512 CPUtime=229.01
/proc/9079/stat : 9079 (pbscip.linux.x8) R 9077 9079 8410 0 -1 4202496 144170 0 0 0 22713 188 0 0 25 0 1 0 8883531 144908288 33780 1992294400 4194304 7136930 140737305591488 18446744073709551615 4692677 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/9079/statm: 35378 33780 399 719 0 34657 0
Current children cumulated CPU time (s) 229.01
Current children cumulated vsize (KiB) 141512

Child status: 0
Real time (s): 229.178
CPU time (s): 229.102
CPU user time (s): 227.198
CPU system time (s): 1.90371
CPU usage (%): 99.9669
Max. virtual memory (cumulated for all children) (KiB): 567596

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 227.198
system time used= 1.90371
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 144177
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 5
involuntary context switches= 687

runsolver used 0.384941 second user time and 1.08883 second system time

The end

Launcher Data 

Begin job on node009 at 2010-06-12 10:53:38
IDJOB=2664545
IDBENCH=1453
IDSOLVER=1167
FILE ID=node009/2664545-1276332818
PBS_JOBID= 11173169
Free space on /tmp= 62440 MiB

SOLVER NAME= SCIPnone SCIP 1.2.1.2 without any LP solver
BENCH NAME= PB06//final/normalized-PB06/SATUNSAT-SMALLINT/web/uclid_pb_benchmarks/normalized-cache.inv12.ucl.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-2664545-1276332818/watcher-2664545-1276332818 -o /tmp/evaluation-result-2664545-1276332818/solver-2664545-1276332818 -C 1800 -W 2000 -M 1800  HOME/pbscip.linux.x86_64.gnu.opt.none -f HOME/instance-2664545-1276332818.opb -t 1800 -m 1800

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

MD5SUM BENCH= bdfd22b57887b70e5df6236004ca174a
RANDOM SEED=224954977

node009.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.199
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.39
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.199
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.44
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:      2059040 kB
MemFree:       1510556 kB
Buffers:         98664 kB
Cached:         321392 kB
SwapCached:          0 kB
Active:         179492 kB
Inactive:       299800 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2059040 kB
LowFree:       1510556 kB
SwapTotal:     4192956 kB
SwapFree:      4192956 kB
Dirty:            5504 kB
Writeback:           4 kB
AnonPages:       59124 kB
Mapped:          15408 kB
Slab:            47432 kB
PageTables:       4100 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:   5222476 kB
Committed_AS:   179572 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= 62436 MiB
End job on node009 at 2010-06-12 10:57:27