Trace number 1821648

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
MiniSAT 09z 2009-03-22UNSAT 282.43 282.411

General information on the benchmark

NameAPPLICATIONS/diagnosis/
UR-15-5p0.cnf
MD5SUM46c031b3f08c6158a2e68fd75d34fa31
Bench CategoryAPPLICATION (applications instances)
Best result obtained on this benchmarkUNSAT
Best CPU time to get the best result obtained on this benchmark197.69
Satisfiable
(Un)Satisfiability was proved
Number of variables162682
Number of clauses820958
Sum of the clauses size1953119
Maximum clause length10
Minimum clause length1
Number of clauses of size 18386
Number of clauses of size 2617783
Number of clauses of size 3153189
Number of clauses of size 44620
Number of clauses of size 518480
Number of clauses of size over 518500

Solver Data 

0.00/0.00	c Parsing...
0.92/0.95	c ==============================================================================
0.92/0.95	c |           |     ORIGINAL     |              LEARNT              |          |
0.92/0.95	c | Conflicts | Clauses Literals |   Limit Clauses Literals  Lit/Cl | Progress |
0.92/0.95	c ==============================================================================
0.92/0.95	c |         0 |  812032  1943653 |  243609       0        0     nan |  0.000 % |
5.42/5.48	c |         0 |  546568  1525554 |      --       0       --      -- |     --   | -74547/15789
5.42/5.48	c ==============================================================================
5.42/5.48	c Result  :   #vars: 85693   #clauses: 546568   #literals: 1525554
5.42/5.48	c CPU time:   5.32 s
5.42/5.48	c ==============================================================================
6.02/6.05	c WARNING: for repeatability, setting FPU to use double precision
6.02/6.05	c Number of variables   : 85693        
6.02/6.05	c Number of clauses     : 546568       
6.05/6.46	c Parsing time: 0.38         s
282.34/282.39	c restarts              : 256
282.34/282.39	c conflicts             : 93172          (337 /sec)
282.34/282.39	c decisions             : 622910         (1.35 % random) (2255 /sec)
282.34/282.39	c propagations          : 356232484      (1289529 /sec)
282.34/282.39	c conflict literals     : 15368907       (37.33 % deleted)
282.34/282.39	c Memory used           : 79.75 MB
282.34/282.39	c CPU time              : 276.25 s
282.34/282.39	UNSATISFIABLE
282.34/282.39	
282.34/282.40	s UNSATISFIABLE

Verifier Data 

No possible verification on an UNSAT instance

Watcher Data 

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

command line: runsolver --timestamp -w /tmp/evaluation-result-1821648-1242547762/watcher-1821648-1242547762 -o /tmp/evaluation-result-1821648-1242547762/solver-1821648-1242547762 -C 1200 -W 1800 -M 1800 SatELiteGTI HOME/instance-1821648-1242547762.cnf -random-seed=1408016445 

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1200 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1230 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1800 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: 8192 KiB


[startup+0 s]
/proc/loadavg: 0.99 0.98 0.99 3/91 2782
/proc/meminfo: memFree=930864/2074464 swapFree=1952056/1959888
[pid=2782] ppid=2780 vsize=2412 CPUtime=0
/proc/2782/stat : 2782 (SatELiteGTI) S 2780 2782 15108 0 -1 4194304 367 645 0 0 0 0 0 0 25 0 1 0 1019274486 2469888 277 4294967295 134512640 135169312 3213081456 3213079992 3085455086 0 65536 4 65538 3222381614 0 0 17 3 0 0 0
/proc/2782/statm: 603 277 235 161 0 42 0
[pid=2786] ppid=2782 vsize=952 CPUtime=0
/proc/2786/stat : 2786 (SatELite_releas) R 2782 2782 15108 0 -1 4202496 124 0 0 0 0 0 0 0 25 0 1 0 1019274487 974848 60 4294967295 134512640 135223648 3218335872 3218334468 134719062 0 0 0 3 0 0 0 17 0 0 0 0
/proc/2786/statm: 238 63 46 174 0 63 0

[startup+0.022992 s]
/proc/loadavg: 0.99 0.98 0.99 3/91 2782
/proc/meminfo: memFree=930864/2074464 swapFree=1952056/1959888
[pid=2782] ppid=2780 vsize=2412 CPUtime=0
/proc/2782/stat : 2782 (SatELiteGTI) S 2780 2782 15108 0 -1 4194304 367 645 0 0 0 0 0 0 25 0 1 0 1019274486 2469888 277 4294967295 134512640 135169312 3213081456 3213079992 3085455086 0 65536 4 65538 3222381614 0 0 17 3 0 0 0
/proc/2782/statm: 603 277 235 161 0 42 0
[pid=2786] ppid=2782 vsize=7324 CPUtime=0.02
/proc/2786/stat : 2786 (SatELite_releas) R 2782 2782 15108 0 -1 4202496 1448 0 0 0 2 0 0 0 25 0 1 0 1019274487 7499776 1344 4294967295 134512640 135223648 3218335872 3218334752 134543282 0 0 0 3 0 0 0 17 0 0 0 0
/proc/2786/statm: 1831 1344 46 174 0 1656 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 9736

[startup+0.11873 s]
/proc/loadavg: 0.99 0.98 0.99 3/91 2782
/proc/meminfo: memFree=930864/2074464 swapFree=1952056/1959888
[pid=2782] ppid=2780 vsize=2412 CPUtime=0
/proc/2782/stat : 2782 (SatELiteGTI) S 2780 2782 15108 0 -1 4194304 367 645 0 0 0 0 0 0 25 0 1 0 1019274486 2469888 277 4294967295 134512640 135169312 3213081456 3213079992 3085455086 0 65536 4 65538 3222381614 0 0 17 3 0 0 0
/proc/2782/statm: 603 277 235 161 0 42 0
[pid=2786] ppid=2782 vsize=31464 CPUtime=0.12
/proc/2786/stat : 2786 (SatELite_releas) R 2782 2782 15108 0 -1 4202496 5026 0 0 0 9 3 0 0 25 0 1 0 1019274487 32219136 4858 4294967295 134512640 135223648 3218335872 3218334456 134719062 0 0 0 3 0 0 0 17 0 0 0 0
/proc/2786/statm: 7866 4858 46 174 0 7691 0
Current children cumulated CPU time (s) 0.12
Current children cumulated vsize (KiB) 33876

[startup+0.318715 s]
/proc/loadavg: 0.99 0.98 0.99 3/91 2782
/proc/meminfo: memFree=930864/2074464 swapFree=1952056/1959888
[pid=2782] ppid=2780 vsize=2412 CPUtime=0
/proc/2782/stat : 2782 (SatELiteGTI) S 2780 2782 15108 0 -1 4194304 367 645 0 0 0 0 0 0 25 0 1 0 1019274486 2469888 277 4294967295 134512640 135169312 3213081456 3213079992 3085455086 0 65536 4 65538 3222381614 0 0 17 3 0 0 0
/proc/2782/statm: 603 277 235 161 0 42 0
[pid=2786] ppid=2782 vsize=46464 CPUtime=0.32
/proc/2786/stat : 2786 (SatELite_releas) R 2782 2782 15108 0 -1 4202496 8599 0 0 0 26 6 0 0 25 0 1 0 1019274487 47579136 8431 4294967295 134512640 135223648 3218335872 3218334472 134719062 0 0 0 3 0 0 0 17 0 0 0 0
/proc/2786/statm: 11616 8432 46 174 0 11441 0
Current children cumulated CPU time (s) 0.32
Current children cumulated vsize (KiB) 48876

[startup+0.718683 s]
/proc/loadavg: 0.99 0.98 0.99 3/91 2782
/proc/meminfo: memFree=930864/2074464 swapFree=1952056/1959888
[pid=2782] ppid=2780 vsize=2412 CPUtime=0
/proc/2782/stat : 2782 (SatELiteGTI) S 2780 2782 15108 0 -1 4194304 367 645 0 0 0 0 0 0 25 0 1 0 1019274486 2469888 277 4294967295 134512640 135169312 3213081456 3213079992 3085455086 0 65536 4 65538 3222381614 0 0 17 3 0 0 0
/proc/2782/statm: 603 277 235 161 0 42 0
[pid=2786] ppid=2782 vsize=69144 CPUtime=0.72
/proc/2786/stat : 2786 (SatELite_releas) R 2782 2782 15108 0 -1 4202496 14689 0 0 0 63 9 0 0 25 0 1 0 1019274487 70803456 14521 4294967295 134512640 135223648 3218335872 3218334824 134737310 0 0 0 3 0 0 0 17 0 0 0 0
/proc/2786/statm: 17286 14521 47 174 0 17111 0
Current children cumulated CPU time (s) 0.72
Current children cumulated vsize (KiB) 71556

[startup+1.51862 s]
/proc/loadavg: 0.99 0.98 0.99 3/93 2788
/proc/meminfo: memFree=858780/2074464 swapFree=1952056/1959888
[pid=2782] ppid=2780 vsize=2412 CPUtime=0
/proc/2782/stat : 2782 (SatELiteGTI) S 2780 2782 15108 0 -1 4194304 367 645 0 0 0 0 0 0 25 0 1 0 1019274486 2469888 277 4294967295 134512640 135169312 3213081456 3213079992 3085455086 0 65536 4 65538 3222381614 0 0 17 3 0 0 0
/proc/2782/statm: 603 277 235 161 0 42 0
[pid=2786] ppid=2782 vsize=95920 CPUtime=1.52
/proc/2786/stat : 2786 (SatELite_releas) R 2782 2782 15108 0 -1 4202496 22630 0 0 0 138 14 0 0 25 0 1 0 1019274487 98222080 20462 4294967295 134512640 135223648 3218335872 3218333872 134548979 0 0 0 3 0 0 0 17 0 0 0 0
/proc/2786/statm: 23980 20463 73 174 0 23805 0
Current children cumulated CPU time (s) 1.52
Current children cumulated vsize (KiB) 98332

[startup+3.1185 s]
/proc/loadavg: 0.99 0.98 0.99 3/93 2788
/proc/meminfo: memFree=840924/2074464 swapFree=1952056/1959888
[pid=2782] ppid=2780 vsize=2412 CPUtime=0
/proc/2782/stat : 2782 (SatELiteGTI) S 2780 2782 15108 0 -1 4194304 367 645 0 0 0 0 0 0 25 0 1 0 1019274486 2469888 277 4294967295 134512640 135169312 3213081456 3213079992 3085455086 0 65536 4 65538 3222381614 0 0 17 3 0 0 0
/proc/2782/statm: 603 277 235 161 0 42 0
[pid=2786] ppid=2782 vsize=111108 CPUtime=3.12
/proc/2786/stat : 2786 (SatELite_releas) R 2782 2782 15108 0 -1 4202496 25769 0 0 0 297 15 0 0 25 0 1 0 1019274487 113774592 23351 4294967295 134512640 135223648 3218335872 3218333512 134709593 0 0 0 3 0 0 0 17 0 0 0 0
/proc/2786/statm: 27777 23351 73 174 0 27602 0
Current children cumulated CPU time (s) 3.12
Current children cumulated vsize (KiB) 113520

[startup+6.31826 s]
/proc/loadavg: 0.99 0.98 0.99 3/93 2788
/proc/meminfo: memFree=833400/2074464 swapFree=1952056/1959888
[pid=2782] ppid=2780 vsize=2416 CPUtime=6.05
/proc/2782/stat : 2782 (SatELiteGTI) S 2780 2782 15108 0 -1 4194304 385 29574 0 0 0 0 583 22 18 0 1 0 1019274486 2473984 278 4294967295 134512640 135169312 3213081456 3213077672 3085455086 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/2782/statm: 604 278 235 161 0 43 0
Current children cumulated CPU time (s) 6.05
Current children cumulated vsize (KiB) 2416

[startup+12.7178 s]
/proc/loadavg: 0.99 0.98 0.99 3/93 2789
/proc/meminfo: memFree=884800/2074464 swapFree=1952056/1959888
[pid=2782] ppid=2780 vsize=2416 CPUtime=6.05
/proc/2782/stat : 2782 (SatELiteGTI) S 2780 2782 15108 0 -1 4194304 385 29574 0 0 0 0 583 22 18 0 1 0 1019274486 2473984 278 4294967295 134512640 135169312 3213081456 3213077672 3085455086 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/2782/statm: 604 278 235 161 0 43 0
[pid=2789] ppid=2782 vsize=31880 CPUtime=6.67
/proc/2789/stat : 2789 (minisat_static) R 2782 2782 15108 0 -1 4202496 7616 0 0 0 664 3 0 0 25 0 1 0 1019275092 32645120 7540 4294967295 134512640 135212243 3214216432 3214215040 134526010 0 0 0 3 0 0 0 17 1 0 0 0
/proc/2789/statm: 7970 7540 73 171 0 7797 0
Current children cumulated CPU time (s) 12.72
Current children cumulated vsize (KiB) 34296

[startup+25.5168 s]
/proc/loadavg: 0.99 0.98 0.99 3/93 2973
/proc/meminfo: memFree=880044/2074464 swapFree=1952056/1959888
[pid=2782] ppid=2780 vsize=2416 CPUtime=6.05
/proc/2782/stat : 2782 (SatELiteGTI) S 2780 2782 15108 0 -1 4194304 385 29574 0 0 0 0 583 22 18 0 1 0 1019274486 2473984 278 4294967295 134512640 135169312 3213081456 3213077672 3085455086 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/2782/statm: 604 278 235 161 0 43 0
[pid=2789] ppid=2782 vsize=35708 CPUtime=19.47
/proc/2789/stat : 2789 (minisat_static) R 2782 2782 15108 0 -1 4202496 8579 0 0 0 1943 4 0 0 25 0 1 0 1019275092 36564992 8503 4294967295 134512640 135212243 3214216432 3214215040 134526248 0 0 0 3 0 0 0 17 3 0 0 0
/proc/2789/statm: 8927 8503 73 171 0 8754 0
Current children cumulated CPU time (s) 25.52
Current children cumulated vsize (KiB) 38124

[startup+51.1148 s]
/proc/loadavg: 0.99 0.98 0.99 3/93 2981
/proc/meminfo: memFree=872300/2074464 swapFree=1952056/1959888
[pid=2782] ppid=2780 vsize=2416 CPUtime=6.05
/proc/2782/stat : 2782 (SatELiteGTI) S 2780 2782 15108 0 -1 4194304 385 29574 0 0 0 0 583 22 18 0 1 0 1019274486 2473984 278 4294967295 134512640 135169312 3213081456 3213077672 3085455086 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/2782/statm: 604 278 235 161 0 43 0
[pid=2789] ppid=2782 vsize=43664 CPUtime=45.07
/proc/2789/stat : 2789 (minisat_static) R 2782 2782 15108 0 -1 4202496 10570 0 0 0 4502 5 0 0 25 0 1 0 1019275092 44711936 10494 4294967295 134512640 135212243 3214216432 3214215040 134526010 0 0 0 3 0 0 0 17 3 0 0 0
/proc/2789/statm: 10916 10494 73 171 0 10743 0
Current children cumulated CPU time (s) 51.12
Current children cumulated vsize (KiB) 46080

[startup+102.321 s]
/proc/loadavg: 0.99 0.98 0.99 3/93 3169
/proc/meminfo: memFree=856848/2074464 swapFree=1952056/1959888
[pid=2782] ppid=2780 vsize=2416 CPUtime=6.05
/proc/2782/stat : 2782 (SatELiteGTI) S 2780 2782 15108 0 -1 4194304 385 29574 0 0 0 0 583 22 18 0 1 0 1019274486 2473984 278 4294967295 134512640 135169312 3213081456 3213077672 3085455086 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/2782/statm: 604 278 235 161 0 43 0
[pid=2789] ppid=2782 vsize=59088 CPUtime=96.28
/proc/2789/stat : 2789 (minisat_static) R 2782 2782 15108 0 -1 4202496 14401 0 0 0 9619 9 0 0 25 0 1 0 1019275092 60506112 14325 4294967295 134512640 135212243 3214216432 3214215040 134526459 0 0 0 3 0 0 0 17 3 0 0 0
/proc/2789/statm: 14772 14325 73 171 0 14599 0
Current children cumulated CPU time (s) 102.33
Current children cumulated vsize (KiB) 61504

[startup+162.316 s]
/proc/loadavg: 0.99 0.98 0.99 2/93 3372
/proc/meminfo: memFree=843300/2074464 swapFree=1952056/1959888
[pid=2782] ppid=2780 vsize=2416 CPUtime=6.05
/proc/2782/stat : 2782 (SatELiteGTI) S 2780 2782 15108 0 -1 4194304 385 29574 0 0 0 0 583 22 18 0 1 0 1019274486 2473984 278 4294967295 134512640 135169312 3213081456 3213077672 3085455086 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/2782/statm: 604 278 235 161 0 43 0
[pid=2789] ppid=2782 vsize=72552 CPUtime=156.28
/proc/2789/stat : 2789 (minisat_static) R 2782 2782 15108 0 -1 4202496 17788 0 0 0 15618 10 0 0 25 0 1 0 1019275092 74293248 17712 4294967295 134512640 135212243 3214216432 3214215040 134526248 0 0 0 3 0 0 0 17 3 0 0 0
/proc/2789/statm: 18138 17712 73 171 0 17965 0
Current children cumulated CPU time (s) 162.33
Current children cumulated vsize (KiB) 74968

[startup+222.312 s]
/proc/loadavg: 0.99 0.98 0.99 3/93 3574
/proc/meminfo: memFree=833852/2074464 swapFree=1952056/1959888
[pid=2782] ppid=2780 vsize=2416 CPUtime=6.05
/proc/2782/stat : 2782 (SatELiteGTI) S 2780 2782 15108 0 -1 4194304 385 29574 0 0 0 0 583 22 18 0 1 0 1019274486 2473984 278 4294967295 134512640 135169312 3213081456 3213077672 3085455086 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/2782/statm: 604 278 235 161 0 43 0
[pid=2789] ppid=2782 vsize=81656 CPUtime=216.28
/proc/2789/stat : 2789 (minisat_static) R 2782 2782 15108 0 -1 4202496 20047 0 0 0 21617 11 0 0 25 0 1 0 1019275092 83615744 19971 4294967295 134512640 135212243 3214216432 3214215040 134526220 0 0 0 3 0 0 0 17 3 0 0 0
/proc/2789/statm: 20414 19971 73 171 0 20241 0
Current children cumulated CPU time (s) 222.33
Current children cumulated vsize (KiB) 84072

[startup+282.317 s]
/proc/loadavg: 0.99 0.98 0.99 3/93 3762
/proc/meminfo: memFree=833968/2074464 swapFree=1952056/1959888
[pid=2782] ppid=2780 vsize=2416 CPUtime=6.05
/proc/2782/stat : 2782 (SatELiteGTI) S 2780 2782 15108 0 -1 4194304 385 29574 0 0 0 0 583 22 18 0 1 0 1019274486 2473984 278 4294967295 134512640 135169312 3213081456 3213077672 3085455086 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/2782/statm: 604 278 235 161 0 43 0
[pid=2789] ppid=2782 vsize=81656 CPUtime=276.29
/proc/2789/stat : 2789 (minisat_static) R 2782 2782 15108 0 -1 4202496 20047 0 0 0 27618 11 0 0 25 0 1 0 1019275092 83615744 19971 4294967295 134512640 135212243 3214216432 3214215040 134526427 0 0 0 3 0 0 0 17 3 0 0 0
/proc/2789/statm: 20414 19971 73 171 0 20241 0
Current children cumulated CPU time (s) 282.34
Current children cumulated vsize (KiB) 84072

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

Child status: 20
Real time (s): 282.411
CPU time (s): 282.43
CPU user time (s): 282.08
CPU system time (s): 0.35
CPU usage (%): 100.007
Max. virtual memory (cumulated for all children) (KiB): 113736

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 282.08
system time used= 0.35
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 50294
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= 20
involuntary context switches= 1047

runsolver used 0 second user time and 0.01 second system time

The end

Launcher Data 

Begin job on tipi24 at 2009-05-17 10:09:22
IDJOB=1821648
IDBENCH=71046
IDSOLVER=659
FILE ID=tipi24/1821648-1242547762
PBS_JOBID=
Free space on /tmp= 9690 MiB

SOLVER NAME= MiniSAT 09z 2009-03-22
BENCH NAME= SAT09/APPLICATIONS/diagnosis/UR-15-5p0.cnf
COMMAND LINE= SatELiteGTI BENCHNAME -random-seed=RANDOMSEED
RUNSOLVER COMMAND LINE= runsolver --timestamp  -w /tmp/evaluation-result-1821648-1242547762/watcher-1821648-1242547762 -o /tmp/evaluation-result-1821648-1242547762/solver-1821648-1242547762 -C 1200 -W 1800 -M 1800  SatELiteGTI HOME/instance-1821648-1242547762.cnf -random-seed=1408016445

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

MD5SUM BENCH= 46c031b3f08c6158a2e68fd75d34fa31
RANDOM SEED= 1408016445

Linux tipi24 2.6.18 #19 SMP Tue Jun 19 11:27:27 CEST 2007 i686 GNU/Linux

/proc/cpuinfo:
processor	: 0
vendor_id	: AuthenticAMD
cpu family	: 15
model		: 33
model name	: Dual Core AMD Opteron(tm) Processor 265
stepping	: 2
cpu MHz		: 1808.461
cache size	: 1024 KB
physical id	: 0
siblings	: 2
core id		: 0
cpu cores	: 2
fdiv_bug	: no
hlt_bug		: no
f00f_bug	: no
coma_bug	: no
fpu		: yes
fpu_exception	: yes
cpuid level	: 1
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush mmx fxsr sse sse2 ht syscall nx mmxext fxsr_opt lm 3dnowext 3dnow pni lahf_lm cmp_legacy ts fid vid ttp
bogomips	: 3618.40

processor	: 1
vendor_id	: AuthenticAMD
cpu family	: 15
model		: 33
model name	: Dual Core AMD Opteron(tm) Processor 265
stepping	: 2
cpu MHz		: 1808.461
cache size	: 1024 KB
physical id	: 0
siblings	: 2
core id		: 1
cpu cores	: 2
fdiv_bug	: no
hlt_bug		: no
f00f_bug	: no
coma_bug	: no
fpu		: yes
fpu_exception	: yes
cpuid level	: 1
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush mmx fxsr sse sse2 ht syscall nx mmxext fxsr_opt lm 3dnowext 3dnow pni lahf_lm cmp_legacy ts fid vid ttp
bogomips	: 3616.75

processor	: 2
vendor_id	: AuthenticAMD
cpu family	: 15
model		: 33
model name	: Dual Core AMD Opteron(tm) Processor 265
stepping	: 2
cpu MHz		: 1808.461
cache size	: 1024 KB
physical id	: 1
siblings	: 2
core id		: 0
cpu cores	: 2
fdiv_bug	: no
hlt_bug		: no
f00f_bug	: no
coma_bug	: no
fpu		: yes
fpu_exception	: yes
cpuid level	: 1
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush mmx fxsr sse sse2 ht syscall nx mmxext fxsr_opt lm 3dnowext 3dnow pni lahf_lm cmp_legacy ts fid vid ttp
bogomips	: 3616.77

processor	: 3
vendor_id	: AuthenticAMD
cpu family	: 15
model		: 33
model name	: Dual Core AMD Opteron(tm) Processor 265
stepping	: 2
cpu MHz		: 1808.461
cache size	: 1024 KB
physical id	: 1
siblings	: 2
core id		: 1
cpu cores	: 2
fdiv_bug	: no
hlt_bug		: no
f00f_bug	: no
coma_bug	: no
fpu		: yes
fpu_exception	: yes
cpuid level	: 1
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush mmx fxsr sse sse2 ht syscall nx mmxext fxsr_opt lm 3dnowext 3dnow pni lahf_lm cmp_legacy ts fid vid ttp
bogomips	: 3616.77


/proc/meminfo:
MemTotal:      2074464 kB
MemFree:        930880 kB
Buffers:         50652 kB
Cached:         980472 kB
SwapCached:       3828 kB
Active:         280692 kB
Inactive:       759936 kB
HighTotal:     1178688 kB
HighFree:       278972 kB
LowTotal:       895776 kB
LowFree:        651908 kB
SwapTotal:     1959888 kB
SwapFree:      1952056 kB
Dirty:           16728 kB
Writeback:           0 kB
AnonPages:        8896 kB
Mapped:           3356 kB
Slab:            94472 kB
PageTables:        488 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:   2997120 kB
Committed_AS:    87804 kB
VmallocTotal:   114680 kB
VmallocUsed:      1324 kB
VmallocChunk:   113264 kB

Free space on /tmp at the end= 9690 MiB
End job on tipi24 at 2009-05-17 10:14:06