Trace number 1779358

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
ttsth-5-0 2009-03-19 (4 threads)? (MO) 1246.2 596.039

General information on the benchmark

NameAPPLICATIONS/crypto/
desgen/gss-32-s100.cnf
MD5SUM7785f51f4f3cb780b4d123215711f948
Bench CategoryAPPLICATION (applications instances)
Best result obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark
Satisfiable
(Un)Satisfiability was proved
Number of variables32312
Number of clauses97285
Sum of the clauses size229627
Maximum clause length3
Minimum clause length1
Number of clauses of size 164
Number of clauses of size 262100
Number of clauses of size 335121
Number of clauses of size 40
Number of clauses of size 50
Number of clauses of size over 50

Solver Data 

0.12/0.16	c Command: HOME/ttsth-5-0 -num-threads 4 HOME/instance-1779358-1243678968.cnf 
0.12/0.16	c Using SATTIMEOUT of 10000
0.12/0.16	c Using SATRAM of 2047
0.12/0.16	c Size of subset node = 16
0.12/0.16	c Variables = 32312
0.12/0.16	c Clauses = 97285
0.12/0.16	c Literals = 229627
0.12/0.16	c Reduced size:
0.12/0.16	c Variables = 32312
0.12/0.16	c Clauses = 97029
0.12/0.16	c Literals = 228919
0.12/0.16	c a2
0.32/0.31	c a1
5.32/5.32	c Independent sub-problems = 1
5.32/5.32	c Sub-problem with 32217 variables and 97029 clauses
5.32/5.32	c using permutation method 4
5.32/5.32	c count = 1
5.32/5.32	c Ordering finished 5.290 seconds
5.32/5.32	c mapped 5.330 seconds
5.32/5.32	c permuted 5.330 seconds
5.32/5.32	c about to sort
5.32/5.35	c sorted
5.92/5.95	c clauses now 97029
5.92/5.95	c init finished 5.560 seconds
5.92/5.95	c tree built 5.960 seconds
5.92/5.95	c 
5.92/5.95	c PA progress                      | CPU progress Partial assignments | improvements      CPU time        PA/sec        nodes
5.92/5.95	c ---------------------------------|----------------------------------|------------------------------------------------------
5.92/5.95	c ................................ | ..........                       |                        6.0           0.0             
5.92/5.95	c ................................ | ..........                     1 |                        6.0           0.2             
5.92/5.95	c ................................ | ..........                     2 |                        6.0           0.3             
5.92/5.95	c ................................ | ..........                     3 |                        6.0           0.5             
5.92/5.95	c ................................ | ..........                     4 |                        6.0           0.7             
5.92/5.95	c ................................ | ..........                     5 |                        6.0           0.8             
5.92/5.95	c ................................ | ..........                  1000 |                        6.0         167.8           87
200.18/103.23	c ................................ | ..........               2761000 | 83216                200.2       13789.8     16622155
400.16/199.11	c ................................ | ..........               4330000 | 136347               400.4       10815.3     35815118
600.23/294.05	c ................................ | ..........               5822000 | 186164               600.3        9698.3     51526000
799.89/388.08	c ................................ | ..........               7530000 | 244568               800.0        9412.0     71946585
1000.02/479.65	c ................................ | *.........               8880000 | 289948              1000.1        8878.9     91391375
1199.95/573.60	c ................................ | *.........              10105000 | 332022              1200.1        8420.1    110804936

Verifier Data 

ERROR: Unexpected answer ! (SATISFIABLE/UNSATISFIABLE expected)
Got answer: <no 's ' line found>

Watcher Data 

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

command line: runsolver --timestamp -w /tmp/evaluation-result-1779358-1243678968/watcher-1779358-1243678968 -o /tmp/evaluation-result-1779358-1243678968/solver-1779358-1243678968 -C 10000 -W 1000 -M 2047 HOME/ttsth-5-0 -num-threads 4 HOME/instance-1779358-1243678968.cnf 

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 10000 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 10030 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1000 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 2096128 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 2147328 KiB
Current StackSize limit: 8192 KiB


[startup+0 s]
/proc/loadavg: 6.15 4.79 4.32 4/117 11345
/proc/meminfo: memFree=3070936/3368532 swapFree=1959840/1959888
[pid=11345] ppid=11343 vsize=1800 CPUtime=0.02
/proc/11345/stat : 11345 (ttsth-5-0) R 11343 11345 10612 0 -1 4202496 329 0 0 0 2 0 0 0 19 0 1 0 1132559585 1843200 284 4294967295 134512640 135237372 3219702224 3219701672 134732614 0 0 0 0 0 0 0 17 0 0 0 0
/proc/11345/statm: 450 284 75 177 0 272 0

[startup+0.063478 s]
/proc/loadavg: 6.15 4.79 4.32 4/117 11345
/proc/meminfo: memFree=3070936/3368532 swapFree=1959840/1959888
[pid=11345] ppid=11343 vsize=3892 CPUtime=0.07
/proc/11345/stat : 11345 (ttsth-5-0) R 11343 11345 10612 0 -1 4202496 870 0 0 0 5 2 0 0 21 0 1 0 1132559585 3985408 825 4294967295 134512640 135237372 3219702224 3219700748 134639534 0 0 0 0 0 0 0 17 0 0 0 0
/proc/11345/statm: 973 826 75 177 0 795 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 3892

[startup+0.113469 s]
/proc/loadavg: 6.15 4.79 4.32 4/117 11345
/proc/meminfo: memFree=3070936/3368532 swapFree=1959840/1959888
[pid=11345] ppid=11343 vsize=6256 CPUtime=0.12
/proc/11345/stat : 11345 (ttsth-5-0) R 11343 11345 10612 0 -1 4202496 1461 0 0 0 9 3 0 0 21 0 1 0 1132559585 6406144 1416 4294967295 134512640 135237372 3219702224 3219700748 134639534 0 0 0 0 0 0 0 17 0 0 0 0
/proc/11345/statm: 1564 1417 75 177 0 1386 0
Current children cumulated CPU time (s) 0.12
Current children cumulated vsize (KiB) 6256

[startup+0.313447 s]
/proc/loadavg: 6.15 4.79 4.32 4/117 11345
/proc/meminfo: memFree=3070936/3368532 swapFree=1959840/1959888
[pid=11345] ppid=11343 vsize=14464 CPUtime=0.32
/proc/11345/stat : 11345 (ttsth-5-0) R 11343 11345 10612 0 -1 4202496 3413 0 0 0 29 3 0 0 22 0 1 0 1132559585 14811136 3367 4294967295 134512640 135237372 3219702224 3219701392 134680273 0 0 0 0 0 0 0 17 0 0 0 0
/proc/11345/statm: 3616 3367 76 177 0 3438 0
Current children cumulated CPU time (s) 0.32
Current children cumulated vsize (KiB) 14464

[startup+0.713427 s]
/proc/loadavg: 6.15 4.79 4.32 4/117 11345
/proc/meminfo: memFree=3070936/3368532 swapFree=1959840/1959888
[pid=11345] ppid=11343 vsize=18952 CPUtime=0.72
/proc/11345/stat : 11345 (ttsth-5-0) R 11343 11345 10612 0 -1 4202496 4761 0 0 0 69 3 0 0 24 0 1 0 1132559585 19406848 4524 4294967295 134512640 135237372 3219702224 3219701552 134555272 0 0 0 0 0 0 0 17 0 0 0 0
/proc/11345/statm: 4738 4524 77 177 0 4560 0
Current children cumulated CPU time (s) 0.72
Current children cumulated vsize (KiB) 18952

[startup+1.51338 s]
/proc/loadavg: 6.15 4.79 4.32 4/118 11350
/proc/meminfo: memFree=3053184/3368532 swapFree=1959840/1959888
[pid=11345] ppid=11343 vsize=19244 CPUtime=1.52
/proc/11345/stat : 11345 (ttsth-5-0) R 11343 11345 10612 0 -1 4202496 4816 0 0 0 149 3 0 0 25 0 1 0 1132559585 19705856 4579 4294967295 134512640 135237372 3219702224 3219701552 134555272 0 0 0 0 0 0 0 17 0 0 0 0
/proc/11345/statm: 4811 4579 77 177 0 4633 0
Current children cumulated CPU time (s) 1.52
Current children cumulated vsize (KiB) 19244

[startup+3.1133 s]
/proc/loadavg: 6.15 4.79 4.32 4/118 11350
/proc/meminfo: memFree=3052836/3368532 swapFree=1959840/1959888
[pid=11345] ppid=11343 vsize=19536 CPUtime=3.12
/proc/11345/stat : 11345 (ttsth-5-0) R 11343 11345 10612 0 -1 4202496 4922 0 0 0 309 3 0 0 25 0 1 0 1132559585 20004864 4685 4294967295 134512640 135237372 3219702224 3219701584 134600972 0 0 0 0 0 0 0 17 0 0 0 0
/proc/11345/statm: 4884 4685 77 177 0 4706 0
Current children cumulated CPU time (s) 3.12
Current children cumulated vsize (KiB) 19536

[startup+6.31314 s]
/proc/loadavg: 5.90 4.76 4.31 4/118 11355
/proc/meminfo: memFree=3033024/3368532 swapFree=1959840/1959888
[pid=11345] ppid=11343 vsize=172384 CPUtime=6.62
/proc/11345/stat : 11345 (ttsth-5-0) S 11343 11345 10612 0 -1 4202496 35578 0 0 0 653 9 0 0 25 0 5 0 1132559585 176521216 35151 4294967295 134512640 135237372 3219702224 3219701820 134629544 0 0 0 0 4294967295 0 0 17 0 0 0 0
/proc/11345/statm: 43096 35151 95 177 0 42918 0
Current children cumulated CPU time (s) 6.62
Current children cumulated vsize (KiB) 172384

[startup+12.7128 s]
/proc/loadavg: 5.91 4.78 4.32 7/122 11372
/proc/meminfo: memFree=2905848/3368532 swapFree=1959840/1959888
[pid=11345] ppid=11343 vsize=198908 CPUtime=19.41
/proc/11345/stat : 11345 (ttsth-5-0) S 11343 11345 10612 0 -1 4202496 42699 0 0 0 1927 14 0 0 25 0 5 0 1132559585 203681792 42272 4294967295 134512640 135237372 3219702224 3219701820 134629544 0 0 0 0 4294967295 0 0 17 0 0 0 0
/proc/11345/statm: 49727 42272 95 177 0 49549 0
[pid=11345/tid=11358] ppid=11343 vsize=198908 CPUtime=4.37
/proc/11345/task/11358/stat : 11358 (ttsth-5-0) R 11343 11345 10612 0 -1 4202560 2585 0 0 0 436 1 0 0 25 0 5 0 1132560181 203681792 42272 4294967295 134512640 135237372 3219702224 3081613568 134680503 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=11345/tid=11359] ppid=11343 vsize=198908 CPUtime=3.36
/proc/11345/task/11359/stat : 11359 (ttsth-5-0) R 11343 11345 10612 0 -1 4202560 2095 0 0 0 335 1 0 0 25 0 5 0 1132560181 203681792 42272 4294967295 134512640 135237372 3219702224 3072940576 134551748 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=11345/tid=11360] ppid=11343 vsize=198908 CPUtime=3.31
/proc/11345/task/11360/stat : 11360 (ttsth-5-0) R 11343 11345 10612 0 -1 4202560 2950 0 0 0 329 2 0 0 25 0 5 0 1132560181 203681792 42272 4294967295 134512640 135237372 3219702224 3065103648 134551649 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=11345/tid=11361] ppid=11343 vsize=198908 CPUtime=2.41
/proc/11345/task/11361/stat : 11361 (ttsth-5-0) R 11343 11345 10612 0 -1 4202560 1654 0 0 0 240 1 0 0 25 0 5 0 1132560181 203681792 42272 4294967295 134512640 135237372 3219702224 3056636816 134680270 0 0 0 0 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 19.41
Current children cumulated vsize (KiB) 198908

[startup+25.5121 s]
/proc/loadavg: 6.08 4.87 4.35 7/122 11571
/proc/meminfo: memFree=2870456/3368532 swapFree=1959840/1959888
[pid=11345] ppid=11343 vsize=233296 CPUtime=44.9
/proc/11345/stat : 11345 (ttsth-5-0) S 11343 11345 10612 0 -1 4202496 51027 0 0 0 4474 16 0 0 25 0 5 0 1132559585 238895104 50600 4294967295 134512640 135237372 3219702224 3219701820 134629544 0 0 0 0 4294967295 0 0 17 0 0 0 0
/proc/11345/statm: 58324 50600 95 177 0 58146 0
[pid=11345/tid=11358] ppid=11343 vsize=233296 CPUtime=11.66
/proc/11345/task/11358/stat : 11358 (ttsth-5-0) R 11343 11345 10612 0 -1 4202560 3898 0 0 0 1164 2 0 0 25 0 5 0 1132560181 238895104 50600 4294967295 134512640 135237372 3219702224 3081228720 134680367 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=11345/tid=11359] ppid=11343 vsize=233296 CPUtime=9.12
/proc/11345/task/11359/stat : 11359 (ttsth-5-0) R 11343 11345 10612 0 -1 4202560 3899 0 0 0 911 1 0 0 25 0 5 0 1132560181 238895104 50600 4294967295 134512640 135237372 3219702224 3073479328 134590245 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=11345/tid=11360] ppid=11343 vsize=233296 CPUtime=9.65
/proc/11345/task/11360/stat : 11360 (ttsth-5-0) R 11343 11345 10612 0 -1 4202560 5185 0 0 0 963 2 0 0 25 0 5 0 1132560181 238895104 50600 4294967295 134512640 135237372 3219702224 3064404928 134749343 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=11345/tid=11361] ppid=11343 vsize=233296 CPUtime=8.51
/proc/11345/task/11361/stat : 11361 (ttsth-5-0) R 11343 11345 10612 0 -1 4202560 4630 0 0 0 849 2 0 0 25 0 5 0 1132560181 238895104 50600 4294967295 134512640 135237372 3219702224 3056483456 134550989 0 0 0 0 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 44.9
Current children cumulated vsize (KiB) 233296

[startup+51.1108 s]
/proc/loadavg: 6.11 4.97 4.40 8/122 11612
/proc/meminfo: memFree=2789176/3368532 swapFree=1959840/1959888
[pid=11345] ppid=11343 vsize=314956 CPUtime=96.1
/proc/11345/stat : 11345 (ttsth-5-0) S 11343 11345 10612 0 -1 4202496 71180 0 0 0 9587 23 0 0 25 0 5 0 1132559585 322514944 70753 4294967295 134512640 135237372 3219702224 3219701820 134629544 0 0 0 0 4294967295 0 0 17 0 0 0 0
/proc/11345/statm: 78739 70753 95 177 0 78561 0
[pid=11345/tid=11358] ppid=11343 vsize=314956 CPUtime=25.85
/proc/11345/task/11358/stat : 11358 (ttsth-5-0) R 11343 11345 10612 0 -1 4202560 8708 0 0 0 2582 3 0 0 25 0 5 0 1132560181 322514944 70753 4294967295 134512640 135237372 3219702224 3081692592 134749353 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=11345/tid=11359] ppid=11343 vsize=314956 CPUtime=20.53
/proc/11345/task/11359/stat : 11359 (ttsth-5-0) R 11343 11345 10612 0 -1 4202560 7089 0 0 0 2051 2 0 0 25 0 5 0 1132560181 322514944 70753 4294967295 134512640 135237372 3219702224 3073168396 134636641 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=11345/tid=11360] ppid=11343 vsize=314956 CPUtime=22.45
/proc/11345/task/11360/stat : 11360 (ttsth-5-0) R 11343 11345 10612 0 -1 4202560 11698 0 0 0 2241 4 0 0 25 0 5 0 1132560181 322514944 70753 4294967295 134512640 135237372 3219702224 3064524912 134561428 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=11345/tid=11361] ppid=11343 vsize=314956 CPUtime=21.31
/proc/11345/task/11361/stat : 11361 (ttsth-5-0) R 11343 11345 10612 0 -1 4202560 10270 0 0 0 2126 5 0 0 25 0 5 0 1132560181 322514944 70753 4294967295 134512640 135237372 3219702224 3056289808 134561428 0 0 0 0 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 96.1
Current children cumulated vsize (KiB) 314956

[startup+102.308 s]
/proc/loadavg: 6.33 5.21 4.51 7/122 11876
/proc/meminfo: memFree=2640792/3368532 swapFree=1959840/1959888
[pid=11345] ppid=11343 vsize=465752 CPUtime=198.38
/proc/11345/stat : 11345 (ttsth-5-0) S 11343 11345 10612 0 -1 4202496 107980 0 0 0 19804 34 0 0 25 0 5 0 1132559585 476930048 107553 4294967295 134512640 135237372 3219702224 3219701820 134629544 0 0 0 0 4294967295 0 0 17 0 0 0 0
/proc/11345/statm: 116438 107553 95 177 0 116260 0
[pid=11345/tid=11358] ppid=11343 vsize=465752 CPUtime=52.84
/proc/11345/task/11358/stat : 11358 (ttsth-5-0) R 11343 11345 10612 0 -1 4202560 19500 0 0 0 5281 3 0 0 25 0 5 0 1132560181 476930048 107553 4294967295 134512640 135237372 3219702224 3081569276 134749365 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=11345/tid=11359] ppid=11343 vsize=465752 CPUtime=44.76
/proc/11345/task/11359/stat : 11359 (ttsth-5-0) R 11343 11345 10612 0 -1 4202560 13746 0 0 0 4471 5 0 0 25 0 5 0 1132560181 476930048 107553 4294967295 134512640 135237372 3219702224 3073705616 134680737 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=11345/tid=11360] ppid=11343 vsize=465752 CPUtime=48.01
/proc/11345/task/11360/stat : 11360 (ttsth-5-0) R 11343 11345 10612 0 -1 4202560 23309 0 0 0 4791 10 0 0 25 0 5 0 1132560181 476930048 107553 4294967295 134512640 135237372 3219702224 3064605024 134562380 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=11345/tid=11361] ppid=11343 vsize=465752 CPUtime=46.81
/proc/11345/task/11361/stat : 11361 (ttsth-5-0) R 11343 11345 10612 0 -1 4202560 18010 0 0 0 4674 7 0 0 25 0 5 0 1132560181 476930048 107553 4294967295 134512640 135237372 3219702224 3056474304 134749345 0 0 0 0 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 198.38
Current children cumulated vsize (KiB) 465752

[startup+162.305 s]
/proc/loadavg: 6.63 5.49 4.65 7/122 12151
/proc/meminfo: memFree=2456532/3368532 swapFree=1959840/1959888
[pid=11345] ppid=11343 vsize=658164 CPUtime=321.69
/proc/11345/stat : 11345 (ttsth-5-0) S 11343 11345 10612 0 -1 4202496 154634 0 0 0 32112 57 0 0 25 0 5 0 1132559585 673959936 154207 4294967295 134512640 135237372 3219702224 3219701820 134629544 0 0 0 0 4294967295 0 0 17 0 0 0 0
/proc/11345/statm: 164541 154207 95 177 0 164363 0
[pid=11345/tid=11358] ppid=11343 vsize=658164 CPUtime=83.68
/proc/11345/task/11358/stat : 11358 (ttsth-5-0) R 11343 11345 10612 0 -1 4202560 31231 0 0 0 8360 8 0 0 25 0 5 0 1132560181 673959936 154207 4294967295 134512640 135237372 3219702224 3081470368 134749343 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=11345/tid=11359] ppid=11343 vsize=658164 CPUtime=75.52
/proc/11345/task/11359/stat : 11359 (ttsth-5-0) R 11343 11345 10612 0 -1 4202560 26765 0 0 0 7541 11 0 0 25 0 5 0 1132560181 673959936 154207 4294967295 134512640 135237372 3219702224 3073691680 134680503 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=11345/tid=11360] ppid=11343 vsize=658164 CPUtime=77.41
/proc/11345/task/11360/stat : 11360 (ttsth-5-0) R 11343 11345 10612 0 -1 4202560 36260 0 0 0 7725 16 0 0 25 0 5 0 1132560181 673959936 154207 4294967295 134512640 135237372 3219702224 3064668048 134561428 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=11345/tid=11361] ppid=11343 vsize=658164 CPUtime=79.12
/proc/11345/task/11361/stat : 11361 (ttsth-5-0) R 11343 11345 10612 0 -1 4202560 26963 0 0 0 7899 13 0 0 25 0 5 0 1132560181 673959936 154207 4294967295 134512640 135237372 3219702224 3056892352 134749353 0 0 0 0 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 321.69
Current children cumulated vsize (KiB) 658164

[startup+222.312 s]
/proc/loadavg: 6.98 5.77 4.79 7/122 12430
/proc/meminfo: memFree=2285496/3368532 swapFree=1959840/1959888
[pid=11345] ppid=11343 vsize=837324 CPUtime=446.75
/proc/11345/stat : 11345 (ttsth-5-0) S 11343 11345 10612 0 -1 4202496 197029 0 0 0 44597 78 0 0 25 0 5 0 1132559585 857419776 196602 4294967295 134512640 135237372 3219702224 3219701820 134629544 0 0 0 0 4294967295 0 0 17 0 0 0 0
/proc/11345/statm: 209331 196602 95 177 0 209153 0
[pid=11345/tid=11358] ppid=11343 vsize=837324 CPUtime=114.25
/proc/11345/task/11358/stat : 11358 (ttsth-5-0) R 11343 11345 10612 0 -1 4202560 39284 0 0 0 11413 12 0 0 25 0 5 0 1132560181 857419776 196602 4294967295 134512640 135237372 3219702224 3081871360 134681659 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=11345/tid=11359] ppid=11343 vsize=837324 CPUtime=108.52
/proc/11345/task/11359/stat : 11359 (ttsth-5-0) R 11343 11345 10612 0 -1 4202560 43807 0 0 0 10836 16 0 0 25 0 5 0 1132560181 857419776 196602 4294967295 134512640 135237372 3219702224 3073775904 134749353 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=11345/tid=11360] ppid=11343 vsize=837324 CPUtime=107.31
/proc/11345/task/11360/stat : 11360 (ttsth-5-0) R 11343 11345 10612 0 -1 4202560 47749 0 0 0 10708 23 0 0 25 0 5 0 1132560181 857419776 196602 4294967295 134512640 135237372 3219702224 3064915904 134562437 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=11345/tid=11361] ppid=11343 vsize=837324 CPUtime=110.71
/proc/11345/task/11361/stat : 11361 (ttsth-5-0) R 11343 11345 10612 0 -1 4202560 32774 0 0 0 11053 18 0 0 25 0 5 0 1132560181 857419776 196602 4294967295 134512640 135237372 3219702224 3056779512 134680505 0 0 0 0 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 446.75
Current children cumulated vsize (KiB) 837324

[startup+282.309 s]
/proc/loadavg: 6.62 5.88 4.89 8/122 12706
/proc/meminfo: memFree=2111428/3368532 swapFree=1959840/1959888
[pid=11345] ppid=11343 vsize=1020612 CPUtime=576.87
/proc/11345/stat : 11345 (ttsth-5-0) S 11343 11345 10612 0 -1 4202496 240710 0 0 0 57586 101 0 0 25 0 5 0 1132559585 1045106688 240283 4294967295 134512640 135237372 3219702224 3219701820 134629544 0 0 0 0 4294967295 0 0 17 0 0 0 0
/proc/11345/statm: 255153 240283 95 177 0 254975 0
[pid=11345/tid=11358] ppid=11343 vsize=1020612 CPUtime=145.6
/proc/11345/task/11358/stat : 11358 (ttsth-5-0) R 11343 11345 10612 0 -1 4202560 52779 0 0 0 14543 17 0 0 25 0 5 0 1132560181 1045106688 240283 4294967295 134512640 135237372 3219702224 3081800128 134680285 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=11345/tid=11359] ppid=11343 vsize=1020612 CPUtime=138.29
/proc/11345/task/11359/stat : 11359 (ttsth-5-0) R 11343 11345 10612 0 -1 4202560 57321 0 0 0 13809 20 0 0 25 0 5 0 1132560181 1045106688 240283 4294967295 134512640 135237372 3219702224 3073770592 134680346 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=11345/tid=11360] ppid=11343 vsize=1020612 CPUtime=138.81
/proc/11345/task/11360/stat : 11360 (ttsth-5-0) R 11343 11345 10612 0 -1 4202560 59958 0 0 0 13850 31 0 0 25 0 5 0 1132560181 1045106688 240283 4294967295 134512640 135237372 3219702224 3064874176 134562338 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=11345/tid=11361] ppid=11343 vsize=1020612 CPUtime=148.21
/proc/11345/task/11361/stat : 11361 (ttsth-5-0) R 11343 11345 10612 0 -1 4202560 37237 0 0 0 14797 24 0 0 25 0 5 0 1132560181 1045106688 240283 4294967295 134512640 135237372 3219702224 3056766048 134593179 0 0 0 0 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 576.87
Current children cumulated vsize (KiB) 1020612

[startup+342.316 s]
/proc/loadavg: 6.72 6.04 5.00 8/122 12986
/proc/meminfo: memFree=1923788/3368532 swapFree=1959840/1959888
[pid=11345] ppid=11343 vsize=1213940 CPUtime=701
/proc/11345/stat : 11345 (ttsth-5-0) S 11343 11345 10612 0 -1 4202496 287126 0 0 0 69984 116 0 0 25 0 5 0 1132559585 1243074560 286699 4294967295 134512640 135237372 3219702224 3219701820 134629544 0 0 0 0 4294967295 0 0 17 0 0 0 0
/proc/11345/statm: 303485 286699 95 177 0 303307 0
[pid=11345/tid=11358] ppid=11343 vsize=1213940 CPUtime=176.35
/proc/11345/task/11358/stat : 11358 (ttsth-5-0) R 11343 11345 10612 0 -1 4202560 61805 0 0 0 17614 21 0 0 25 0 5 0 1132560181 1243074560 286699 4294967295 134512640 135237372 3219702224 3081618896 134680474 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=11345/tid=11359] ppid=11343 vsize=1213940 CPUtime=172.54
/proc/11345/task/11359/stat : 11359 (ttsth-5-0) R 11343 11345 10612 0 -1 4202560 76554 0 0 0 17231 23 0 0 25 0 5 0 1132560181 1243074560 286699 4294967295 134512640 135237372 3219702224 3073427360 134749353 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=11345/tid=11360] ppid=11343 vsize=1213940 CPUtime=168.31
/proc/11345/task/11360/stat : 11360 (ttsth-5-0) R 11343 11345 10612 0 -1 4202560 70829 0 0 0 16794 37 0 0 25 0 5 0 1132560181 1243074560 286699 4294967295 134512640 135237372 3219702224 3064825552 134749343 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=11345/tid=11361] ppid=11343 vsize=1213940 CPUtime=177.84
/proc/11345/task/11361/stat : 11361 (ttsth-5-0) R 11343 11345 10612 0 -1 4202560 44523 0 0 0 17758 26 0 0 25 0 5 0 1132560181 1243074560 286699 4294967295 134512640 135237372 3219702224 3056867856 134590514 0 0 0 0 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 701
Current children cumulated vsize (KiB) 1213940

[startup+402.312 s]
/proc/loadavg: 7.03 6.23 5.13 7/122 13258
/proc/meminfo: memFree=1713372/3368532 swapFree=1959840/1959888
[pid=11345] ppid=11343 vsize=1436252 CPUtime=835.52
/proc/11345/stat : 11345 (ttsth-5-0) S 11343 11345 10612 0 -1 4202496 340639 0 0 0 83416 136 0 0 25 0 5 0 1132559585 1470722048 340212 4294967295 134512640 135237372 3219702224 3219701820 134629544 0 0 0 0 4294967295 0 0 17 0 0 0 0
/proc/11345/statm: 359063 340212 95 177 0 358885 0
[pid=11345/tid=11358] ppid=11343 vsize=1436252 CPUtime=213.78
/proc/11345/task/11358/stat : 11358 (ttsth-5-0) R 11343 11345 10612 0 -1 4202560 75832 0 0 0 21354 24 0 0 25 0 5 0 1132560181 1470722048 340212 4294967295 134512640 135237372 3219702224 3081357568 134751534 0 0 0 0 0 0 0 -1 3 0 0 0
[pid=11345/tid=11359] ppid=11343 vsize=1436252 CPUtime=202.32
/proc/11345/task/11359/stat : 11359 (ttsth-5-0) R 11343 11345 10612 0 -1 4202560 89824 0 0 0 20205 27 0 0 25 0 5 0 1132560181 1470722048 340212 4294967295 134512640 135237372 3219702224 3073396464 134680336 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=11345/tid=11360] ppid=11343 vsize=1436252 CPUtime=205.7
/proc/11345/task/11360/stat : 11360 (ttsth-5-0) R 11343 11345 10612 0 -1 4202560 85510 0 0 0 20526 44 0 0 25 0 5 0 1132560181 1470722048 340212 4294967295 134512640 135237372 3219702224 3064748080 134562338 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=11345/tid=11361] ppid=11343 vsize=1436252 CPUtime=207.76
/proc/11345/task/11361/stat : 11361 (ttsth-5-0) R 11343 11345 10612 0 -1 4202560 56058 0 0 0 20744 32 0 0 25 0 5 0 1132560181 1470722048 340212 4294967295 134512640 135237372 3219702224 3056938620 134680208 0 0 0 0 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 835.52
Current children cumulated vsize (KiB) 1436252

[startup+462.309 s]
/proc/loadavg: 6.89 6.33 5.23 7/124 13537
/proc/meminfo: memFree=1509544/3368532 swapFree=1959840/1959888
[pid=11345] ppid=11343 vsize=1645036 CPUtime=965.42
/proc/11345/stat : 11345 (ttsth-5-0) S 11343 11345 10612 0 -1 4202496 391075 0 0 0 96394 148 0 0 25 0 5 0 1132559585 1684516864 390648 4294967295 134512640 135237372 3219702224 3219701820 134629544 0 0 0 0 4294967295 0 0 17 0 0 0 0
/proc/11345/statm: 411259 390648 95 177 0 411081 0
[pid=11345/tid=11358] ppid=11343 vsize=1645036 CPUtime=244.35
/proc/11345/task/11358/stat : 11358 (ttsth-5-0) R 11343 11345 10612 0 -1 4202560 85503 0 0 0 24411 24 0 0 25 0 5 0 1132560181 1684516864 390648 4294967295 134512640 135237372 3219702224 3081713984 134680364 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=11345/tid=11359] ppid=11343 vsize=1645036 CPUtime=233.22
/proc/11345/task/11359/stat : 11359 (ttsth-5-0) R 11343 11345 10612 0 -1 4202560 102366 0 0 0 23293 29 0 0 25 0 5 0 1132560181 1684516864 390648 4294967295 134512640 135237372 3219702224 3073680064 134590146 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=11345/tid=11360] ppid=11343 vsize=1645036 CPUtime=240.63
/proc/11345/task/11360/stat : 11360 (ttsth-5-0) R 11343 11345 10612 0 -1 4202560 100171 0 0 0 24014 49 0 0 25 0 5 0 1132560181 1684516864 390648 4294967295 134512640 135237372 3219702224 3065299232 134591529 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=11345/tid=11361] ppid=11343 vsize=1645036 CPUtime=241.26
/proc/11345/task/11361/stat : 11361 (ttsth-5-0) R 11343 11345 10612 0 -1 4202560 69620 0 0 0 24089 37 0 0 25 0 5 0 1132560181 1684516864 390648 4294967295 134512640 135237372 3219702224 3056482464 134546034 0 0 0 0 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 965.42
Current children cumulated vsize (KiB) 1645036

[startup+522.306 s]
/proc/loadavg: 6.54 6.31 5.29 8/122 13810
/proc/meminfo: memFree=1321796/3368532 swapFree=1959840/1959888
[pid=11345] ppid=11343 vsize=1850376 CPUtime=1093.41
/proc/11345/stat : 11345 (ttsth-5-0) S 11343 11345 10612 0 -1 4202496 439703 0 0 0 109169 172 0 0 25 0 5 0 1132559585 1894785024 439276 4294967295 134512640 135237372 3219702224 3219701820 134629544 0 0 0 0 4294967295 0 0 17 0 0 0 0
/proc/11345/statm: 462594 439276 95 177 0 462416 0
[pid=11345/tid=11358] ppid=11343 vsize=1850376 CPUtime=274.65
/proc/11345/task/11358/stat : 11358 (ttsth-5-0) R 11343 11345 10612 0 -1 4202560 95620 0 0 0 27437 28 0 0 25 0 5 0 1132560181 1894785024 439276 4294967295 134512640 135237372 3219702224 3081740496 134593366 0 0 0 0 0 0 0 -1 1 0 0 0
[pid=11345/tid=11359] ppid=11343 vsize=1850376 CPUtime=263.01
/proc/11345/task/11359/stat : 11359 (ttsth-5-0) R 11343 11345 10612 0 -1 4202560 111882 0 0 0 26266 35 0 0 25 0 5 0 1132560181 1894785024 439276 4294967295 134512640 135237372 3219702224 3073758800 134680270 0 0 0 0 0 0 0 -1 3 0 0 0
[pid=11345/tid=11360] ppid=11343 vsize=1850376 CPUtime=276.16
/proc/11345/task/11360/stat : 11360 (ttsth-5-0) R 11343 11345 10612 0 -1 4202560 116138 0 0 0 27560 56 0 0 25 0 5 0 1132560181 1894785024 439276 4294967295 134512640 135237372 3219702224 3065365036 134519936 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=11345/tid=11361] ppid=11343 vsize=1850376 CPUtime=273.63
/proc/11345/task/11361/stat : 11361 (ttsth-5-0) R 11343 11345 10612 0 -1 4202560 82648 0 0 0 27319 44 0 0 25 0 5 0 1132560181 1894785024 439276 4294967295 134512640 135237372 3219702224 3056572048 134552720 0 0 0 0 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 1093.41
Current children cumulated vsize (KiB) 1850376

[startup+582.313 s]
/proc/loadavg: 6.97 6.44 5.40 7/122 14086
/proc/meminfo: memFree=1125864/3368532 swapFree=1959840/1959888
[pid=11345] ppid=11343 vsize=2051396 CPUtime=1217.55
/proc/11345/stat : 11345 (ttsth-5-0) S 11343 11345 10612 0 -1 4202496 486921 0 0 0 121557 198 0 0 25 0 5 0 1132559585 2100629504 486494 4294967295 134512640 135237372 3219702224 3219701820 134629544 0 0 0 0 4294967295 0 0 17 0 0 0 0
/proc/11345/statm: 512849 486494 95 177 0 512671 0
[pid=11345/tid=11358] ppid=11343 vsize=2051396 CPUtime=304.95
/proc/11345/task/11358/stat : 11358 (ttsth-5-0) R 11343 11345 10612 0 -1 4202560 109171 0 0 0 30461 34 0 0 25 0 5 0 1132560181 2100629504 486494 4294967295 134512640 135237372 3219702224 3081927840 134591504 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=11345/tid=11359] ppid=11343 vsize=2051396 CPUtime=293.18
/proc/11345/task/11359/stat : 11359 (ttsth-5-0) R 11343 11345 10612 0 -1 4202560 122097 0 0 0 29277 41 0 0 25 0 5 0 1132560181 2100629504 486494 4294967295 134512640 135237372 3219702224 3072788896 134680285 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=11345/tid=11360] ppid=11343 vsize=2051396 CPUtime=309.29
/proc/11345/task/11360/stat : 11360 (ttsth-5-0) R 11343 11345 10612 0 -1 4202560 127200 0 0 0 30863 66 0 0 25 0 5 0 1132560181 2100629504 486494 4294967295 134512640 135237372 3219702224 3064724924 134636382 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=11345/tid=11361] ppid=11343 vsize=2051396 CPUtime=304.17
/proc/11345/task/11361/stat : 11361 (ttsth-5-0) R 11343 11345 10612 0 -1 4202560 95038 0 0 0 30369 48 0 0 25 0 5 0 1132560181 2100629504 486494 4294967295 134512640 135237372 3219702224 3056433232 134749348 0 0 0 0 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 1217.55
Current children cumulated vsize (KiB) 2051396



Maximum VSize exceeded: sending SIGTERM then SIGKILL

[startup+595.912 s]
/proc/loadavg: 6.75 6.42 5.41 7/122 14111
/proc/meminfo: memFree=1080276/3368532 swapFree=1959840/1959888
[pid=11345] ppid=11343 vsize=2096600 CPUtime=1246.06
/proc/11345/stat : 11345 (ttsth-5-0) S 11343 11345 10612 0 -1 4202496 497722 0 0 0 124404 202 0 0 25 0 5 0 1132559585 2146918400 497295 4294967295 134512640 135237372 3219702224 3219701820 134629544 0 0 0 0 4294967295 0 0 17 0 0 0 0
/proc/11345/statm: 524150 497295 95 177 0 523972 0
[pid=11345/tid=11358] ppid=11343 vsize=2096756 CPUtime=313.02
/proc/11345/task/11358/stat : 11358 (ttsth-5-0) R 11343 11345 10612 0 -1 4202560 113137 0 0 0 31267 35 0 0 25 0 5 0 1132560181 2147078144 497300 4294967295 134512640 135237372 3219702224 3082181712 134546026 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=11345/tid=11359] ppid=11343 vsize=2096756 CPUtime=299.82
/proc/11345/task/11359/stat : 11359 (ttsth-5-0) R 11343 11345 10612 0 -1 4202560 124798 0 0 0 29940 42 0 0 25 0 5 0 1132560181 2147078144 497300 4294967295 134512640 135237372 3219702224 3073783632 134562380 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=11345/tid=11360] ppid=11343 vsize=2096756 CPUtime=315.91
/proc/11345/task/11360/stat : 11360 (ttsth-5-0) R 11343 11345 10612 0 -1 4202560 128879 0 0 0 31524 67 0 0 25 0 5 0 1132560181 2147078144 497300 4294967295 134512640 135237372 3219702224 3065172608 134680737 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=11345/tid=11361] ppid=11343 vsize=2096756 CPUtime=311.35
/proc/11345/task/11361/stat : 11361 (ttsth-5-0) R 11343 11345 10612 0 -1 4202560 97498 0 0 0 31086 49 0 0 25 0 5 0 1132560181 2147078144 497300 4294967295 134512640 135237372 3219702224 3056930496 134591435 0 0 0 0 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 1246.06
Current children cumulated vsize (KiB) 2096600

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

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

[startup+596.032 s]
/proc/loadavg: 6.75 6.42 5.41 7/122 14111
/proc/meminfo: memFree=1080276/3368532 swapFree=1959840/1959888
[pid=11345] ppid=11343 vsize=0 CPUtime=1246.2
/proc/11345/stat : 11345 (ttsth-5-0) Z 11343 11345 10612 0 -1 4203524 497764 0 0 0 124408 212 0 0 18 0 2 0 1132559585 0 0 4294967295 0 0 0 0 0 0 0 0 0 4294967295 0 0 17 0 0 0 0
/proc/11345/statm: 0 0 0 0 0 0 0
[pid=11345/tid=11359] ppid=11343 vsize=0 CPUtime=299.92
/proc/11345/task/11359/stat : 11359 (ttsth-5-0) R 11343 11345 10612 0 -1 4203588 124798 0 0 0 29940 52 0 0 25 0 2 0 1132560181 0 0 4294967295 0 0 0 0 0 0 0 0 0 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 1246.2
Current children cumulated vsize (KiB) 0

Child ended because it received signal 15 (SIGTERM)
Real time (s): 596.039
CPU time (s): 1246.2
CPU user time (s): 1244.08
CPU system time (s): 2.12
CPU usage (%): 209.08
Max. virtual memory (cumulated for all children) (KiB): 2096600

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1244.08
system time used= 2.12
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 497764
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= 1237
involuntary context switches= 36898

runsolver used 0 second user time and 0 second system time

The end

Launcher Data 

Begin job on  at 2009-05-30 12:22:48
IDJOB=1779358
IDBENCH=70843
IDSOLVER=632
FILE ID=/1779358-1243678968
PBS_JOBID=
Free space on /tmp= 7981 MiB

SOLVER NAME= ttsth-5-0 2009-03-19 (4 threads)
BENCH NAME= SAT09/APPLICATIONS/crypto/desgen/gss-32-s100.cnf
COMMAND LINE= HOME/ttsth-5-0 -num-threads MAXNBTHREAD BENCHNAME
RUNSOLVER COMMAND LINE= runsolver --timestamp  -w /tmp/evaluation-result-1779358-1243678968/watcher-1779358-1243678968 -o /tmp/evaluation-result-1779358-1243678968/solver-1779358-1243678968 -C 10000 -W 1000 -M 2047  HOME/ttsth-5-0 -num-threads 4 HOME/instance-1779358-1243678968.cnf

TIME LIMIT= 10000 seconds
MEMORY LIMIT= 2047 MiB
MAX NB THREAD= 4

MD5SUM BENCH= 7785f51f4f3cb780b4d123215711f948
RANDOM SEED= 1327124284

Linux (none) 2.6.21.5 #6 SMP Wed Jul 4 17:16:38 CEST 2007 i686 GNU/Linux

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 15
model name	: Intel(R) Xeon(R) CPU            5130  @ 2.00GHz
stepping	: 6
cpu MHz		: 1995.073
cache size	: 4096 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	: 10
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 pbe lm constant_tsc pni monitor ds_cpl vmx tm2 ssse3 cx16 xtpr dca lahf_lm
bogomips	: 3992.42
clflush size	: 64

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 15
model name	: Intel(R) Xeon(R) CPU            5130  @ 2.00GHz
stepping	: 6
cpu MHz		: 1995.073
cache size	: 4096 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	: 10
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 pbe lm constant_tsc pni monitor ds_cpl vmx tm2 ssse3 cx16 xtpr dca lahf_lm
bogomips	: 3990.12
clflush size	: 64

processor	: 2
vendor_id	: GenuineIntel
cpu family	: 6
model		: 15
model name	: Intel(R) Xeon(R) CPU            5130  @ 2.00GHz
stepping	: 6
cpu MHz		: 1995.073
cache size	: 4096 KB
physical id	: 3
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	: 10
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 pbe lm constant_tsc pni monitor ds_cpl vmx tm2 ssse3 cx16 xtpr dca lahf_lm
bogomips	: 3990.14
clflush size	: 64

processor	: 3
vendor_id	: GenuineIntel
cpu family	: 6
model		: 15
model name	: Intel(R) Xeon(R) CPU            5130  @ 2.00GHz
stepping	: 6
cpu MHz		: 1995.073
cache size	: 4096 KB
physical id	: 3
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	: 10
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 pbe lm constant_tsc pni monitor ds_cpl vmx tm2 ssse3 cx16 xtpr dca lahf_lm
bogomips	: 3990.14
clflush size	: 64


/proc/meminfo:
MemTotal:      3368532 kB
MemFree:       3071380 kB
Buffers:         92984 kB
Cached:          87248 kB
SwapCached:          0 kB
Active:         129160 kB
Inactive:        73576 kB
HighTotal:     2489216 kB
HighFree:      2379292 kB
LowTotal:       879316 kB
LowFree:        692088 kB
SwapTotal:     1959888 kB
SwapFree:      1959840 kB
Dirty:            2592 kB
Writeback:           0 kB
AnonPages:       22284 kB
Mapped:           8252 kB
Slab:            84304 kB
SReclaimable:    72024 kB
SUnreclaim:      12280 kB
PageTables:        804 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:   3644152 kB
Committed_AS:   123556 kB
VmallocTotal:   114680 kB
VmallocUsed:      1444 kB
VmallocChunk:   113072 kB

Free space on /tmp at the end= 7981 MiB
End job on  at 2009-05-30 12:32:46