Trace number 1781200

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
satake 2009-03-22 (4 threads)? (MO) 955.62 318.952

General information on the benchmark

Namevelev-pipe-sat-1.0-b7.cnf
MD5SUM612845a855119304b698a4b55aed3089
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 variables118040
Number of clauses8804672
Sum of the clauses size26208080
Maximum clause length340
Minimum clause length1
Number of clauses of size 11
Number of clauses of size 28252265
Number of clauses of size 3456959
Number of clauses of size 4620
Number of clauses of size 5552
Number of clauses of size over 594275

Solver Data


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-1781200-1243653407/watcher-1781200-1243653407 -o /tmp/evaluation-result-1781200-1243653407/solver-1781200-1243653407 -C 10000 -W 1000 -M 2047 --output-limit 1,15 --cleanup-all-ipc-queues HOME/satake HOME/instance-1781200-1243653407.cnf 4 10000 

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
Solver output will be limited to a maximum of 15728640 bytes. The first 1048576 bytes and the last 14680064 bytes will be preserved
Current StackSize limit: 8192 KiB


[startup+0 s]
/proc/loadavg: 2.61 2.90 2.96 3/115 17931
/proc/meminfo: memFree=2768328/3368532 swapFree=1941392/1959888
[pid=17931] ppid=17929 vsize=5260 CPUtime=0.01
/proc/17931/stat : 17931 (satake) S 17929 17931 11369 0 -1 4202496 802 0 0 0 0 1 0 0 18 0 5 0 1130021410 5386240 758 4294967295 134512640 135180984 3214988640 3214988076 134573496 0 0 0 0 4294967295 0 0 17 0 0 0 0
/proc/17931/statm: 1315 762 63 164 0 1150 0
[pid=17931/tid=17932] ppid=17929 vsize=5260 CPUtime=0
/proc/17931/task/17932/stat : 17932 (satake) S 17929 17931 11369 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 5 0 1130021410 5386240 781 4294967295 134512640 135180984 3214988640 3086049296 134580407 0 0 0 0 3223036458 0 0 -1 0 0 0 0
[pid=17931/tid=17933] ppid=17929 vsize=5260 CPUtime=0.01
/proc/17931/task/17933/stat : 17933 (satake) R 17929 17931 11369 0 -1 4202560 712 0 0 0 0 1 0 0 20 0 5 0 1130021410 5386240 786 4294967295 134512640 135180984 3214988640 3085984036 134583077 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=17931/tid=17934] ppid=17929 vsize=5260 CPUtime=0
/proc/17931/task/17934/stat : 17934 (satake) R 17929 17931 11369 0 -1 4202560 0 0 0 0 0 0 0 0 20 0 5 0 1130021410 5386240 791 4294967295 134512640 135180984 3214988640 3085919044 134705812 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=17931/tid=17935] ppid=17929 vsize=5260 CPUtime=0
/proc/17931/task/17935/stat : 17935 (satake) R 17929 17931 11369 0 -1 4202560 0 0 0 0 0 0 0 0 20 0 5 0 1130021410 5386240 796 4294967295 134512640 135180984 3214988640 3085853508 134705812 0 0 0 0 0 0 0 -1 0 0 0 0

[startup+0.034283 s]
/proc/loadavg: 2.61 2.90 2.96 3/115 17931
/proc/meminfo: memFree=2768328/3368532 swapFree=1941392/1959888
[pid=17931] ppid=17929 vsize=55452 CPUtime=0.06
/proc/17931/stat : 17931 (satake) S 17929 17931 11369 0 -1 4202496 7357 0 0 0 0 6 0 0 18 0 5 0 1130021410 56782848 7313 4294967295 134512640 135180984 3214988640 3214988076 134573496 0 0 0 0 4294967295 0 0 17 0 0 0 0
/proc/17931/statm: 13863 7325 63 164 0 13698 0
[pid=17931/tid=17932] ppid=17929 vsize=55452 CPUtime=0
/proc/17931/task/17932/stat : 17932 (satake) S 17929 17931 11369 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 5 0 1130021410 56782848 7330 4294967295 134512640 135180984 3214988640 3086049296 134580407 0 0 0 0 3223036458 0 0 -1 0 0 0 0
[pid=17931/tid=17933] ppid=17929 vsize=55452 CPUtime=0.04
/proc/17931/task/17933/stat : 17933 (satake) R 17929 17931 11369 0 -1 4202560 4611 0 0 0 0 4 0 0 21 0 5 0 1130021410 56782848 7338 4294967295 134512640 135180984 3214988640 3085984036 134583077 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=17931/tid=17934] ppid=17929 vsize=55452 CPUtime=0.02
/proc/17931/task/17934/stat : 17934 (satake) R 17929 17931 11369 0 -1 4202560 2137 0 0 0 0 2 0 0 20 0 5 0 1130021410 56782848 7344 4294967295 134512640 135180984 3214988640 3085918500 134583077 0 0 0 0 0 0 0 -1 1 0 0 0
[pid=17931/tid=17935] ppid=17929 vsize=55452 CPUtime=0
/proc/17931/task/17935/stat : 17935 (satake) R 17929 17931 11369 0 -1 4202560 519 0 0 0 0 0 0 0 20 0 5 0 1130021410 56782848 7352 4294967295 134512640 135180984 3214988640 3085852964 134583077 0 0 0 0 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 55452

[startup+0.114276 s]
/proc/loadavg: 2.61 2.90 2.96 3/115 17931
/proc/meminfo: memFree=2768328/3368532 swapFree=1941392/1959888
[pid=17931] ppid=17929 vsize=198812 CPUtime=0.25
/proc/17931/stat : 17931 (satake) S 17929 17931 11369 0 -1 4202496 32794 0 0 0 0 25 0 0 18 0 5 0 1130021410 203583488 32751 4294967295 134512640 135180984 3214988640 3214988076 134573496 0 0 0 0 4294967295 0 0 17 0 0 0 0
/proc/17931/statm: 49703 32763 63 164 0 49538 0
[pid=17931/tid=17932] ppid=17929 vsize=198812 CPUtime=0
/proc/17931/task/17932/stat : 17932 (satake) S 17929 17931 11369 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 5 0 1130021410 203583488 32768 4294967295 134512640 135180984 3214988640 3086049296 134580407 0 0 0 0 3223036458 0 0 -1 0 0 0 0
[pid=17931/tid=17933] ppid=17929 vsize=198812 CPUtime=0.11
/proc/17931/task/17933/stat : 17933 (satake) R 17929 17931 11369 0 -1 4202560 14012 0 0 0 0 11 0 0 20 0 5 0 1130021410 203583488 32775 4294967295 134512640 135180984 3214988640 3085984036 134583077 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=17931/tid=17934] ppid=17929 vsize=198812 CPUtime=0.09
/proc/17931/task/17934/stat : 17934 (satake) R 17929 17931 11369 0 -1 4202560 10444 0 0 0 0 9 0 0 20 0 5 0 1130021410 203583488 32783 4294967295 134512640 135180984 3214988640 3085918500 134583077 0 0 0 0 0 0 0 -1 1 0 0 0
[pid=17931/tid=17935] ppid=17929 vsize=198812 CPUtime=0.05
/proc/17931/task/17935/stat : 17935 (satake) R 17929 17931 11369 0 -1 4202560 8249 0 0 0 0 5 0 0 20 0 5 0 1130021410 203583488 32789 4294967295 134512640 135180984 3214988640 3085852964 134583077 0 0 0 0 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 0.25
Current children cumulated vsize (KiB) 198812

[startup+0.314271 s]
/proc/loadavg: 2.61 2.90 2.96 3/115 17931
/proc/meminfo: memFree=2768328/3368532 swapFree=1941392/1959888
[pid=17931] ppid=17929 vsize=788636 CPUtime=0.79
/proc/17931/stat : 17931 (satake) S 17929 17931 11369 0 -1 4202496 104625 0 0 0 0 79 0 0 18 0 5 0 1130021410 807563264 104581 4294967295 134512640 135180984 3214988640 3214988076 134573496 0 0 0 0 4294967295 0 0 17 0 0 0 0
/proc/17931/statm: 197159 104595 63 164 0 196994 0
[pid=17931/tid=17932] ppid=17929 vsize=788636 CPUtime=0
/proc/17931/task/17932/stat : 17932 (satake) S 17929 17931 11369 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 5 0 1130021410 807563264 104601 4294967295 134512640 135180984 3214988640 3086049296 134580407 0 0 0 0 3223036458 0 0 -1 0 0 0 0
[pid=17931/tid=17933] ppid=17929 vsize=788636 CPUtime=0.29
/proc/17931/task/17933/stat : 17933 (satake) R 17929 17931 11369 0 -1 4202560 36906 0 0 0 0 29 0 0 21 0 5 0 1130021410 807563264 104607 4294967295 134512640 135180984 3214988640 3085984036 134583077 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=17931/tid=17934] ppid=17929 vsize=788636 CPUtime=0.28
/proc/17931/task/17934/stat : 17934 (satake) R 17929 17931 11369 0 -1 4202560 33940 0 0 0 0 28 0 0 21 0 5 0 1130021410 807563264 104616 4294967295 134512640 135180984 3214988640 3085918500 134583077 0 0 0 0 0 0 0 -1 1 0 0 0
[pid=17931/tid=17935] ppid=17929 vsize=788636 CPUtime=0.22
/proc/17931/task/17935/stat : 17935 (satake) R 17929 17931 11369 0 -1 4202560 33691 0 0 0 0 22 0 0 21 0 5 0 1130021410 807563264 104623 4294967295 134512640 135180984 3214988640 3085852964 134583077 0 0 0 0 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 0.79
Current children cumulated vsize (KiB) 788636

[startup+0.714244 s]
/proc/loadavg: 2.61 2.90 2.96 3/115 17931
/proc/meminfo: memFree=2768328/3368532 swapFree=1941392/1959888
[pid=17931] ppid=17929 vsize=553556 CPUtime=1.99
/proc/17931/stat : 17931 (satake) S 17929 17931 11369 0 -1 4202496 137101 0 0 0 98 101 0 0 18 0 5 0 1130021410 566841344 137055 4294967295 134512640 135180984 3214988640 3214988076 134573496 0 0 0 0 4294967295 0 0 17 0 0 0 0
/proc/17931/statm: 138389 137058 63 164 0 138224 0
[pid=17931/tid=17932] ppid=17929 vsize=553556 CPUtime=0
/proc/17931/task/17932/stat : 17932 (satake) S 17929 17931 11369 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 5 0 1130021410 566841344 137058 4294967295 134512640 135180984 3214988640 3086049296 134580407 0 0 0 0 3223036458 0 0 -1 0 0 0 0
[pid=17931/tid=17933] ppid=17929 vsize=553556 CPUtime=0.69
/proc/17931/task/17933/stat : 17933 (satake) R 17929 17931 11369 0 -1 4202560 45730 0 0 0 35 34 0 0 19 0 5 0 1130021410 566841344 137058 4294967295 134512640 135180984 3214988640 3085984048 134535043 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=17931/tid=17934] ppid=17929 vsize=553556 CPUtime=0.68
/proc/17931/task/17934/stat : 17934 (satake) R 17929 17931 11369 0 -1 4202560 45719 0 0 0 31 37 0 0 19 0 5 0 1130021410 566841344 137059 4294967295 134512640 135180984 3214988640 3085918480 134520025 0 0 0 0 0 0 0 -1 1 0 0 0
[pid=17931/tid=17935] ppid=17929 vsize=553556 CPUtime=0.62
/proc/17931/task/17935/stat : 17935 (satake) R 17929 17931 11369 0 -1 4202560 45537 0 0 0 32 30 0 0 18 0 5 0 1130021410 566841344 137059 4294967295 134512640 135180984 3214988640 3085852960 134513759 0 0 0 0 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 1.99
Current children cumulated vsize (KiB) 553556

[startup+1.51421 s]
/proc/loadavg: 2.64 2.90 2.96 4/120 17936
/proc/meminfo: memFree=2179880/3368532 swapFree=1941392/1959888
[pid=17931] ppid=17929 vsize=676004 CPUtime=4.37
/proc/17931/stat : 17931 (satake) S 17929 17931 11369 0 -1 4202496 164217 0 0 0 321 116 0 0 18 0 5 0 1130021410 692228096 164165 4294967295 134512640 135180984 3214988640 3214988076 134573496 0 0 0 0 4294967295 0 0 17 0 0 0 0
/proc/17931/statm: 169001 164166 63 164 0 168836 0
[pid=17931/tid=17932] ppid=17929 vsize=676004 CPUtime=0
/proc/17931/task/17932/stat : 17932 (satake) S 17929 17931 11369 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 5 0 1130021410 692228096 164166 4294967295 134512640 135180984 3214988640 3086049296 134580407 0 0 0 0 3223036458 0 0 -1 0 0 0 0
[pid=17931/tid=17933] ppid=17929 vsize=676004 CPUtime=1.49
/proc/17931/task/17933/stat : 17933 (satake) R 17929 17931 11369 0 -1 4202560 54725 0 0 0 112 37 0 0 18 0 5 0 1130021410 692228096 164167 4294967295 134512640 135180984 3214988640 3085983832 134675846 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=17931/tid=17934] ppid=17929 vsize=676004 CPUtime=1.48
/proc/17931/task/17934/stat : 17934 (satake) R 17929 17931 11369 0 -1 4202560 55005 0 0 0 106 42 0 0 18 0 5 0 1130021410 692228096 164167 4294967295 134512640 135180984 3214988640 3085918592 134514101 0 0 0 0 0 0 0 -1 1 0 0 0
[pid=17931/tid=17935] ppid=17929 vsize=676004 CPUtime=1.4
/proc/17931/task/17935/stat : 17935 (satake) R 17929 17931 11369 0 -1 4202560 54371 0 0 0 103 37 0 0 17 0 5 0 1130021410 692228096 164169 4294967295 134512640 135180984 3214988640 3085852944 134520022 0 0 0 0 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 4.37
Current children cumulated vsize (KiB) 676004

[startup+3.11415 s]
/proc/loadavg: 2.64 2.90 2.96 4/120 17936
/proc/meminfo: memFree=2031220/3368532 swapFree=1941392/1959888
[pid=17931] ppid=17929 vsize=911704 CPUtime=9.16
/proc/17931/stat : 17931 (satake) S 17929 17931 11369 0 -1 4202496 218280 0 0 0 766 150 0 0 18 0 5 0 1130021410 933584896 218221 4294967295 134512640 135180984 3214988640 3214988076 134573496 0 0 0 0 4294967295 0 0 17 0 0 0 0
/proc/17931/statm: 227926 218221 63 164 0 227761 0
[pid=17931/tid=17932] ppid=17929 vsize=911704 CPUtime=0
/proc/17931/task/17932/stat : 17932 (satake) S 17929 17931 11369 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 5 0 1130021410 933584896 218222 4294967295 134512640 135180984 3214988640 3086049296 134580407 0 0 0 0 3223036458 0 0 -1 0 0 0 0
[pid=17931/tid=17933] ppid=17929 vsize=911704 CPUtime=3.09
/proc/17931/task/17933/stat : 17933 (satake) R 17929 17931 11369 0 -1 4202560 72342 0 0 0 256 53 0 0 17 0 5 0 1130021410 933584896 218222 4294967295 134512640 135180984 3214988640 3085984032 134513717 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=17931/tid=17934] ppid=17929 vsize=911704 CPUtime=3.08
/proc/17931/task/17934/stat : 17934 (satake) R 17929 17931 11369 0 -1 4202560 73443 0 0 0 259 49 0 0 17 0 5 0 1130021410 933584896 218222 4294967295 134512640 135180984 3214988640 3085918296 134675846 0 0 0 0 0 0 0 -1 1 0 0 0
[pid=17931/tid=17935] ppid=17929 vsize=911704 CPUtime=2.99
/proc/17931/task/17935/stat : 17935 (satake) R 17929 17931 11369 0 -1 4202560 72378 0 0 0 251 48 0 0 17 0 5 0 1130021410 933584896 218222 4294967295 134512640 135180984 3214988640 3085853052 134513396 0 0 0 0 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 9.16
Current children cumulated vsize (KiB) 911704

[startup+6.31402 s]
/proc/loadavg: 2.67 2.90 2.96 3/120 17939
/proc/meminfo: memFree=1609544/3368532 swapFree=1941392/1959888
[pid=17931] ppid=17929 vsize=1330104 CPUtime=18.64
/proc/17931/stat : 17931 (satake) S 17929 17931 11369 0 -1 4202496 316800 0 0 0 1667 197 0 0 18 0 5 0 1130021410 1362026496 316741 4294967295 134512640 135180984 3214988640 3214988076 134573496 0 0 0 0 4294967295 0 0 17 0 0 0 0
/proc/17931/statm: 332526 316741 63 164 0 332361 0
[pid=17931/tid=17932] ppid=17929 vsize=1330104 CPUtime=0
/proc/17931/task/17932/stat : 17932 (satake) S 17929 17931 11369 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 5 0 1130021410 1362026496 316742 4294967295 134512640 135180984 3214988640 3086049296 134580407 0 0 0 0 3223036458 0 0 -1 0 0 0 0
[pid=17931/tid=17933] ppid=17929 vsize=1330104 CPUtime=6.28
/proc/17931/task/17933/stat : 17933 (satake) R 17929 17931 11369 0 -1 4202560 105170 0 0 0 558 70 0 0 16 0 5 0 1130021410 1362026496 316743 4294967295 134512640 135180984 3214988640 3085984000 134519618 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=17931/tid=17934] ppid=17929 vsize=1330104 CPUtime=6.25
/proc/17931/task/17934/stat : 17934 (satake) R 17929 17931 11369 0 -1 4202560 106637 0 0 0 565 60 0 0 16 0 5 0 1130021410 1362026496 316744 4294967295 134512640 135180984 3214988640 3085918296 134675846 0 0 0 0 0 0 0 -1 1 0 0 0
[pid=17931/tid=17935] ppid=17929 vsize=1330104 CPUtime=6.12
/proc/17931/task/17935/stat : 17935 (satake) R 17929 17931 11369 0 -1 4202560 104878 0 0 0 545 67 0 0 16 0 5 0 1130021410 1362026496 316744 4294967295 134512640 135180984 3214988640 3085852960 134513762 0 0 0 0 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 18.64
Current children cumulated vsize (KiB) 1330104

[startup+12.7138 s]
/proc/loadavg: 2.78 2.92 2.96 5/120 17940
/proc/meminfo: memFree=1803408/3368532 swapFree=1941392/1959888
[pid=17931] ppid=17929 vsize=1011916 CPUtime=37.78
/proc/17931/stat : 17931 (satake) S 17929 17931 11369 0 -1 4202496 366715 0 0 0 3540 238 0 0 18 0 5 0 1130021410 1036201984 241993 4294967295 134512640 135180984 3214988640 3214988076 134573496 0 0 0 0 4294967295 0 0 17 0 0 0 0
/proc/17931/statm: 252979 241993 68 164 0 252814 0
[pid=17931/tid=17932] ppid=17929 vsize=1011916 CPUtime=0.04
/proc/17931/task/17932/stat : 17932 (satake) S 17929 17931 11369 0 -1 4202560 2016 0 0 0 3 1 0 0 15 0 5 0 1130021410 1036201984 241993 4294967295 134512640 135180984 3214988640 3086049296 134580407 0 0 0 0 3223036458 0 0 -1 1 0 0 0
[pid=17931/tid=17933] ppid=17929 vsize=1011916 CPUtime=12.64
/proc/17931/task/17933/stat : 17933 (satake) R 17929 17931 11369 0 -1 4202560 120321 0 0 0 1178 86 0 0 25 0 5 0 1130021410 1036201984 241993 4294967295 134512640 135180984 3214988640 3085983600 134526635 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=17931/tid=17934] ppid=17929 vsize=1011916 CPUtime=12.61
/proc/17931/task/17934/stat : 17934 (satake) R 17929 17931 11369 0 -1 4202560 122680 0 0 0 1187 74 0 0 24 0 5 0 1130021410 1036201984 241993 4294967295 134512640 135180984 3214988640 3085918064 134528433 0 0 0 0 0 0 0 -1 1 0 0 0
[pid=17931/tid=17935] ppid=17929 vsize=1011916 CPUtime=12.5
/proc/17931/task/17935/stat : 17935 (satake) R 17929 17931 11369 0 -1 4202560 121587 0 0 0 1173 77 0 0 24 0 5 0 1130021410 1036201984 241993 4294967295 134512640 135180984 3214988640 3085852528 134528211 0 0 0 0 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 37.78
Current children cumulated vsize (KiB) 1011916

[startup+25.5133 s]
/proc/loadavg: 2.83 2.93 2.96 4/120 18123
/proc/meminfo: memFree=1764016/3368532 swapFree=1941392/1959888
[pid=17931] ppid=17929 vsize=1051124 CPUtime=76.1
/proc/17931/stat : 17931 (satake) S 17929 17931 11369 0 -1 4202496 375860 0 0 0 7355 255 0 0 18 0 5 0 1130021410 1076350976 251138 4294967295 134512640 135180984 3214988640 3214988076 134573496 0 0 0 0 4294967295 0 0 17 0 0 0 0
/proc/17931/statm: 262781 251138 68 164 0 262616 0
[pid=17931/tid=17932] ppid=17929 vsize=1051124 CPUtime=0.13
/proc/17931/task/17932/stat : 17932 (satake) S 17929 17931 11369 0 -1 4202560 2038 0 0 0 6 7 0 0 16 0 5 0 1130021410 1076350976 251138 4294967295 134512640 135180984 3214988640 3086049296 134580407 0 0 0 0 3223036458 0 0 -1 1 0 0 0
[pid=17931/tid=17933] ppid=17929 vsize=1051124 CPUtime=25.39
/proc/17931/task/17933/stat : 17933 (satake) R 17929 17931 11369 0 -1 4202560 123326 0 0 0 2450 89 0 0 25 0 5 0 1130021410 1076350976 251138 4294967295 134512640 135180984 3214988640 3085983592 134518227 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=17931/tid=17934] ppid=17929 vsize=1051124 CPUtime=25.31
/proc/17931/task/17934/stat : 17934 (satake) R 17929 17931 11369 0 -1 4202560 125182 0 0 0 2453 78 0 0 25 0 5 0 1130021410 1076350976 251138 4294967295 134512640 135180984 3214988640 3085918016 134527255 0 0 0 0 0 0 0 -1 1 0 0 0
[pid=17931/tid=17935] ppid=17929 vsize=1051124 CPUtime=25.28
/proc/17931/task/17935/stat : 17935 (satake) R 17929 17931 11369 0 -1 4202560 125203 0 0 0 2447 81 0 0 25 0 5 0 1130021410 1076350976 251139 4294967295 134512640 135180984 3214988640 3085852480 134522926 0 0 0 0 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 76.1
Current children cumulated vsize (KiB) 1051124

[startup+51.1122 s]
/proc/loadavg: 2.89 2.93 2.96 4/120 18127
/proc/meminfo: memFree=1654012/3368532 swapFree=1941392/1959888
[pid=17931] ppid=17929 vsize=1162320 CPUtime=152.86
/proc/17931/stat : 17931 (satake) S 17929 17931 11369 0 -1 4202496 403840 0 0 0 15006 280 0 0 18 0 5 0 1130021410 1190215680 279118 4294967295 134512640 135180984 3214988640 3214988076 134573496 0 0 0 0 4294967295 0 0 17 0 0 0 0
/proc/17931/statm: 290580 279118 68 164 0 290415 0
[pid=17931/tid=17932] ppid=17929 vsize=1162320 CPUtime=0.21
/proc/17931/task/17932/stat : 17932 (satake) S 17929 17931 11369 0 -1 4202560 2054 0 0 0 8 13 0 0 15 0 5 0 1130021410 1190215680 279118 4294967295 134512640 135180984 3214988640 3086049296 134580407 0 0 0 0 3223036458 0 0 -1 1 0 0 0
[pid=17931/tid=17933] ppid=17929 vsize=1162320 CPUtime=50.99
/proc/17931/task/17933/stat : 17933 (satake) R 17929 17931 11369 0 -1 4202560 130499 0 0 0 5007 92 0 0 25 0 5 0 1130021410 1190215680 279118 4294967295 134512640 135180984 3214988640 3085983600 134528433 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=17931/tid=17934] ppid=17929 vsize=1162320 CPUtime=50.83
/proc/17931/task/17934/stat : 17934 (satake) R 17929 17931 11369 0 -1 4202560 132742 0 0 0 5000 83 0 0 25 0 5 0 1130021410 1190215680 279118 4294967295 134512640 135180984 3214988640 3085918056 134518252 0 0 0 0 0 0 0 -1 1 0 0 0
[pid=17931/tid=17935] ppid=17929 vsize=1162320 CPUtime=50.84
/proc/17931/task/17935/stat : 17935 (satake) R 17929 17931 11369 0 -1 4202560 138434 0 0 0 4992 92 0 0 25 0 5 0 1130021410 1190215680 279118 4294967295 134512640 135180984 3214988640 3085852528 134526785 0 0 0 0 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 152.86
Current children cumulated vsize (KiB) 1162320

[startup+102.31 s]
/proc/loadavg: 2.95 2.94 2.96 4/120 18312
/proc/meminfo: memFree=1438384/3368532 swapFree=1941392/1959888
[pid=17931] ppid=17929 vsize=1376400 CPUtime=306.38
/proc/17931/stat : 17931 (satake) S 17929 17931 11369 0 -1 4202496 457152 0 0 0 30319 319 0 0 18 0 5 0 1130021410 1409433600 332430 4294967295 134512640 135180984 3214988640 3214988076 134573496 0 0 0 0 4294967295 0 0 17 0 0 0 0
/proc/17931/statm: 344100 332430 68 164 0 343935 0
[pid=17931/tid=17932] ppid=17929 vsize=1376400 CPUtime=0.28
/proc/17931/task/17932/stat : 17932 (satake) S 17929 17931 11369 0 -1 4202560 2063 0 0 0 10 18 0 0 15 0 5 0 1130021410 1409433600 332430 4294967295 134512640 135180984 3214988640 3086049296 134580407 0 0 0 0 3223036458 0 0 -1 1 0 0 0
[pid=17931/tid=17933] ppid=17929 vsize=1376400 CPUtime=102.14
/proc/17931/task/17933/stat : 17933 (satake) R 17929 17931 11369 0 -1 4202560 143878 0 0 0 10117 97 0 0 25 0 5 0 1130021410 1409433600 332430 4294967295 134512640 135180984 3214988640 3085983600 134528433 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=17931/tid=17934] ppid=17929 vsize=1376400 CPUtime=101.94
/proc/17931/task/17934/stat : 17934 (satake) R 17929 17931 11369 0 -1 4202560 151838 0 0 0 10098 96 0 0 25 0 5 0 1130021410 1409433600 332430 4294967295 134512640 135180984 3214988640 3085917936 134522614 0 0 0 0 0 0 0 -1 1 0 0 0
[pid=17931/tid=17935] ppid=17929 vsize=1376400 CPUtime=102.03
/proc/17931/task/17935/stat : 17935 (satake) R 17929 17931 11369 0 -1 4202560 159262 0 0 0 10095 108 0 0 25 0 5 0 1130021410 1409433600 332430 4294967295 134512640 135180984 3214988640 3085852528 134528648 0 0 0 0 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 306.38
Current children cumulated vsize (KiB) 1376400

[startup+162.308 s]
/proc/loadavg: 2.98 2.95 2.96 4/120 18501
/proc/meminfo: memFree=1232108/3368532 swapFree=1941392/1959888
[pid=17931] ppid=17929 vsize=1586276 CPUtime=486.28
/proc/17931/stat : 17931 (satake) S 17929 17931 11369 0 -1 4202496 509246 0 0 0 48275 353 0 0 18 0 5 0 1130021410 1624346624 384524 4294967295 134512640 135180984 3214988640 3214988076 134573496 0 0 0 0 4294967295 0 0 17 0 0 0 0
/proc/17931/statm: 396569 384524 68 164 0 396404 0
[pid=17931/tid=17932] ppid=17929 vsize=1586276 CPUtime=0.32
/proc/17931/task/17932/stat : 17932 (satake) S 17929 17931 11369 0 -1 4202560 2067 0 0 0 10 22 0 0 15 0 5 0 1130021410 1624346624 384524 4294967295 134512640 135180984 3214988640 3086049296 134580407 0 0 0 0 3223036458 0 0 -1 1 0 0 0
[pid=17931/tid=17933] ppid=17929 vsize=1586276 CPUtime=162.08
/proc/17931/task/17933/stat : 17933 (satake) R 17929 17931 11369 0 -1 4202560 156860 0 0 0 16103 105 0 0 25 0 5 0 1130021410 1624346624 384524 4294967295 134512640 135180984 3214988640 3085983496 134519103 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=17931/tid=17934] ppid=17929 vsize=1586276 CPUtime=161.88
/proc/17931/task/17934/stat : 17934 (satake) R 17929 17931 11369 0 -1 4202560 168299 0 0 0 16081 107 0 0 25 0 5 0 1130021410 1624346624 384524 4294967295 134512640 135180984 3214988640 3085917896 134675767 0 0 0 0 0 0 0 -1 1 0 0 0
[pid=17931/tid=17935] ppid=17929 vsize=1586276 CPUtime=162.01
/proc/17931/task/17935/stat : 17935 (satake) R 17929 17931 11369 0 -1 4202560 181909 0 0 0 16082 119 0 0 25 0 5 0 1130021410 1624346624 384524 4294967295 134512640 135180984 3214988640 3085852528 134528398 0 0 0 0 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 486.28
Current children cumulated vsize (KiB) 1586276

[startup+222.315 s]
/proc/loadavg: 2.99 2.95 2.96 4/120 18693
/proc/meminfo: memFree=1039996/3368532 swapFree=1941392/1959888
[pid=17931] ppid=17929 vsize=1776556 CPUtime=666.2
/proc/17931/stat : 17931 (satake) S 17929 17931 11369 0 -1 4202496 556654 0 0 0 66218 402 0 0 18 0 5 0 1130021410 1819193344 431932 4294967295 134512640 135180984 3214988640 3214988076 134573496 0 0 0 0 4294967295 0 0 17 0 0 0 0
/proc/17931/statm: 444139 431932 68 164 0 443974 0
[pid=17931/tid=17932] ppid=17929 vsize=1776556 CPUtime=0.41
/proc/17931/task/17932/stat : 17932 (satake) S 17929 17931 11369 0 -1 4202560 2073 0 0 0 11 30 0 0 15 0 5 0 1130021410 1819193344 431932 4294967295 134512640 135180984 3214988640 3086049296 134580407 0 0 0 0 3223036458 0 0 -1 1 0 0 0
[pid=17931/tid=17933] ppid=17929 vsize=1776556 CPUtime=222.05
/proc/17931/task/17933/stat : 17933 (satake) R 17929 17931 11369 0 -1 4202560 167476 0 0 0 22093 112 0 0 25 0 5 0 1130021410 1819193344 431932 4294967295 134512640 135180984 3214988640 3085983432 134675767 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=17931/tid=17934] ppid=17929 vsize=1776556 CPUtime=221.78
/proc/17931/task/17934/stat : 17934 (satake) R 17929 17931 11369 0 -1 4202560 187911 0 0 0 22056 122 0 0 25 0 5 0 1130021410 1819193344 431932 4294967295 134512640 135180984 3214988640 3085918064 134528433 0 0 0 0 0 0 0 -1 1 0 0 0
[pid=17931/tid=17935] ppid=17929 vsize=1776556 CPUtime=221.96
/proc/17931/task/17935/stat : 17935 (satake) R 17929 17931 11369 0 -1 4202560 199083 0 0 0 22058 138 0 0 25 0 5 0 1130021410 1819193344 431932 4294967295 134512640 135180984 3214988640 3085852524 134520854 0 0 0 0 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 666.2
Current children cumulated vsize (KiB) 1776556

[startup+282.313 s]
/proc/loadavg: 2.99 2.96 2.96 4/120 18881
/proc/meminfo: memFree=855616/3368532 swapFree=1941392/1959888
[pid=17931] ppid=17929 vsize=1964100 CPUtime=846.01
/proc/17931/stat : 17931 (satake) S 17929 17931 11369 0 -1 4202496 603350 0 0 0 84168 433 0 0 18 0 5 0 1130021410 2011238400 478628 4294967295 134512640 135180984 3214988640 3214988076 134573496 0 0 0 0 4294967295 0 0 17 0 0 0 0
/proc/17931/statm: 491025 478628 68 164 0 490860 0
[pid=17931/tid=17932] ppid=17929 vsize=1964100 CPUtime=0.45
/proc/17931/task/17932/stat : 17932 (satake) S 17929 17931 11369 0 -1 4202560 2075 0 0 0 13 32 0 0 15 0 5 0 1130021410 2011238400 478628 4294967295 134512640 135180984 3214988640 3086049296 134580407 0 0 0 0 3223036458 0 0 -1 1 0 0 0
[pid=17931/tid=17933] ppid=17929 vsize=1964100 CPUtime=282
/proc/17931/task/17933/stat : 17933 (satake) R 17929 17931 11369 0 -1 4202560 177542 0 0 0 28079 121 0 0 25 0 5 0 1130021410 2011238400 478628 4294967295 134512640 135180984 3214988640 3085983592 134518214 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=17931/tid=17934] ppid=17929 vsize=1964100 CPUtime=281.71
/proc/17931/task/17934/stat : 17934 (satake) R 17929 17931 11369 0 -1 4202560 208394 0 0 0 28036 135 0 0 25 0 5 0 1130021410 2011238400 478628 4294967295 134512640 135180984 3214988640 3085917968 134525183 0 0 0 0 0 0 0 -1 1 0 0 0
[pid=17931/tid=17935] ppid=17929 vsize=1964100 CPUtime=281.86
/proc/17931/task/17935/stat : 17935 (satake) R 17929 17931 11369 0 -1 4202560 215228 0 0 0 28041 145 0 0 25 0 5 0 1130021410 2011238400 478628 4294967295 134512640 135180984 3214988640 3085852428 134519094 0 0 0 0 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 846.01
Current children cumulated vsize (KiB) 1964100



Maximum VSize exceeded: sending SIGTERM then SIGKILL

[startup+318.812 s]
/proc/loadavg: 2.99 2.96 2.96 4/120 19066
/proc/meminfo: memFree=719724/3368532 swapFree=1941392/1959888
[pid=17931] ppid=17929 vsize=2096352 CPUtime=955.45
/proc/17931/stat : 17931 (satake) S 17929 17931 11369 0 -1 4202496 636638 0 0 0 95086 459 0 0 18 0 5 0 1130021410 2146664448 511916 4294967295 134512640 135180984 3214988640 3214988076 134573496 0 0 0 0 4294967295 0 0 17 0 0 0 0
/proc/17931/statm: 524088 511916 68 164 0 523923 0
[pid=17931/tid=17932] ppid=17929 vsize=2096352 CPUtime=0.46
/proc/17931/task/17932/stat : 17932 (satake) S 17929 17931 11369 0 -1 4202560 2075 0 0 0 13 33 0 0 15 0 5 0 1130021410 2146664448 511916 4294967295 134512640 135180984 3214988640 3086049296 134580407 0 0 0 0 3223036458 0 0 -1 1 0 0 0
[pid=17931/tid=17933] ppid=17929 vsize=2096352 CPUtime=318.46
/proc/17931/task/17933/stat : 17933 (satake) R 17929 17931 11369 0 -1 4202560 182729 0 0 0 31720 126 0 0 25 0 5 0 1130021410 2146664448 511916 4294967295 134512640 135180984 3214988640 3085983432 134675846 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=17931/tid=17934] ppid=17929 vsize=2096352 CPUtime=318.18
/proc/17931/task/17934/stat : 17934 (satake) R 17929 17931 11369 0 -1 4202560 220817 0 0 0 31676 142 0 0 25 0 5 0 1130021410 2146664448 511916 4294967295 134512640 135180984 3214988640 3085917896 134675846 0 0 0 0 0 0 0 -1 1 0 0 0
[pid=17931/tid=17935] ppid=17929 vsize=2096352 CPUtime=318.35
/proc/17931/task/17935/stat : 17935 (satake) R 17929 17931 11369 0 -1 4202560 230906 0 0 0 31677 158 0 0 25 0 5 0 1130021410 2146664448 511916 4294967295 134512640 135180984 3214988640 3085852360 134675767 0 0 0 0 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 955.45
Current children cumulated vsize (KiB) 2096352

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

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

[startup+318.932 s]
/proc/loadavg: 2.99 2.96 2.96 2/118 19067
/proc/meminfo: memFree=2428232/3368532 swapFree=1941392/1959888
[pid=17931] ppid=17929 vsize=0 CPUtime=955.6
/proc/17931/stat : 17931 (satake) Z 17929 17931 11369 0 -1 4203524 636651 0 0 0 95091 469 0 0 18 0 2 0 1130021410 0 0 4294967295 0 0 0 0 0 0 0 0 0 4294967295 0 0 17 0 0 0 0
/proc/17931/statm: 0 0 0 0 0 0 0
[pid=17931/tid=17934] ppid=17929 vsize=0 CPUtime=318.3
/proc/17931/task/17934/stat : 17934 (satake) R 17929 17931 11369 0 -1 4203588 220818 0 0 0 31678 152 0 0 25 0 2 0 1130021410 0 0 4294967295 0 0 0 0 0 0 0 0 0 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 955.6
Current children cumulated vsize (KiB) 0

Child ended because it received signal 15 (SIGTERM)
Real time (s): 318.952
CPU time (s): 955.62
CPU user time (s): 950.91
CPU system time (s): 4.71
CPU usage (%): 299.613
Max. virtual memory (cumulated for all children) (KiB): 2096352

deleting IPC queue 27787264
deleting IPC queue 27820033
deleting IPC queue 27852802
deleting IPC queue 27885571
deleting IPC queue 27918340
deleting IPC queue 27951109
deleting IPC queue 27983878
deleting IPC queue 28016647
deleting IPC queue 28049416
deleting IPC queue 28082185
deleting IPC queue 28114954
deleting IPC queue 28147723
deleting IPC queue 28180492
deleting IPC queue 28213261
deleting IPC queue 28246030
deleting IPC queue 28278799

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 950.91
system time used= 4.71
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 636651
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= 89861
involuntary context switches= 58466

runsolver used 0 second user time and 0.01 second system time

The end

Launcher Data 

Begin job on  at 2009-05-30 05:16:47
IDJOB=1781200
IDBENCH=71685
IDSOLVER=629
FILE ID=/1781200-1243653407
PBS_JOBID=
Free space on /tmp= 15567 MiB

SOLVER NAME= satake 2009-03-22 (4 threads)
BENCH NAME= SAT_RACE06/velev-pipe-sat-1.0-b7.cnf
COMMAND LINE= HOME/satake BENCHNAME MAXNBTHREAD TIMEOUT
RUNSOLVER COMMAND LINE= runsolver --timestamp  -w /tmp/evaluation-result-1781200-1243653407/watcher-1781200-1243653407 -o /tmp/evaluation-result-1781200-1243653407/solver-1781200-1243653407 -C 10000 -W 1000 -M 2047 --output-limit 1,15 --cleanup-all-ipc-queues HOME/satake HOME/instance-1781200-1243653407.cnf 4 10000

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

MD5SUM BENCH= 612845a855119304b698a4b55aed3089
RANDOM SEED= 1061907062

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.143
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.143
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.11
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.143
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.17
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.143
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.15
clflush size	: 64


/proc/meminfo:
MemTotal:      3368532 kB
MemFree:       2768624 kB
Buffers:         51264 kB
Cached:         463156 kB
SwapCached:       4320 kB
Active:         307512 kB
Inactive:       217488 kB
HighTotal:     2489216 kB
HighFree:      2013500 kB
LowTotal:       879316 kB
LowFree:        755124 kB
SwapTotal:     1959888 kB
SwapFree:      1941392 kB
Dirty:          166952 kB
Writeback:           0 kB
AnonPages:        9404 kB
Mapped:           4320 kB
Slab:            64792 kB
SReclaimable:    56092 kB
SUnreclaim:       8700 kB
PageTables:        784 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:   3644152 kB
Committed_AS:   127076 kB
VmallocTotal:   114680 kB
VmallocUsed:      1444 kB
VmallocChunk:   113072 kB

Free space on /tmp at the end= 15567 MiB
End job on  at 2009-05-30 05:22:17