Trace number 1779310

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)UNSAT 305.04 102.077

General information on the benchmark

NameAPPLICATIONS/crypto/
md5gen/gus-md5-07.cnf
MD5SUMd5384c4b81fff59c87944d03e9ed7d02
Bench CategoryAPPLICATION (applications instances)
Best result obtained on this benchmarkUNSAT
Best CPU time to get the best result obtained on this benchmark138.97
Satisfiable
(Un)Satisfiability was proved
Number of variables69097
Number of clauses225325
Sum of the clauses size583973
Maximum clause length3
Minimum clause length1
Number of clauses of size 1129
Number of clauses of size 291744
Number of clauses of size 3133452
Number of clauses of size 40
Number of clauses of size 50
Number of clauses of size over 50

Solver Data 

304.98/102.07	c Benchmark name    : HOME/instance-1779310-1243643573.cnf
304.98/102.07	c Thread Num        :            4
304.98/102.07	c restarts          :           11
304.98/102.07	c conflicts         :        16388
304.98/102.07	c decisions         :       107750           (     1062 / sec      )
304.98/102.07	c propagations      :    114750790           (  1130813 / sec      )
304.98/102.07	c inspects          :    308462570           (  3039749 / sec      )
304.98/102.07	c conflict literals :       727895           (    59.08 % deleted  )
304.98/102.07	c cpu time          :       101.48           
304.98/102.07	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-1779310-1243643573/watcher-1779310-1243643573 -o /tmp/evaluation-result-1779310-1243643573/solver-1779310-1243643573 -C 10000 -W 1000 -M 2047 --output-limit 1,15 --cleanup-all-ipc-queues HOME/satake HOME/instance-1779310-1243643573.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.76 2.95 2.98 3/115 17947
/proc/meminfo: memFree=2994448/3368532 swapFree=1941392/1959888
[pid=17947] ppid=17945 vsize=4248 CPUtime=0.01
/proc/17947/stat : 17947 (satake) S 17945 17947 11369 0 -1 4202496 838 0 0 0 0 1 0 0 18 0 5 0 1129037102 4349952 794 4294967295 134512640 135180984 3220738784 3220738220 134573496 0 0 0 0 4294967295 0 0 17 1 0 0 0
/proc/17947/statm: 1062 798 63 164 0 897 0
[pid=17947/tid=17948] ppid=17945 vsize=4248 CPUtime=0
/proc/17947/task/17948/stat : 17948 (satake) S 17945 17947 11369 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 5 0 1129037102 4349952 818 4294967295 134512640 135180984 3220738784 3086757904 134580407 0 0 0 0 3223036458 0 0 -1 1 0 0 0
[pid=17947/tid=17949] ppid=17945 vsize=4248 CPUtime=0.01
/proc/17947/task/17949/stat : 17949 (satake) R 17945 17947 11369 0 -1 4202560 506 0 0 0 0 1 0 0 19 0 5 0 1129037102 4349952 823 4294967295 134512640 135180984 3220738784 3086692644 134583077 0 0 0 0 0 0 0 -1 1 0 0 0
[pid=17947/tid=17950] ppid=17945 vsize=4248 CPUtime=0
/proc/17947/task/17950/stat : 17950 (satake) R 17945 17947 11369 0 -1 4202560 247 0 0 0 0 0 0 0 19 0 5 0 1129037102 4349952 828 4294967295 134512640 135180984 3220738784 3086627108 134583077 0 0 0 0 0 0 0 -1 1 0 0 0
[pid=17947/tid=17951] ppid=17945 vsize=4248 CPUtime=0
/proc/17947/task/17951/stat : 17951 (satake) R 17945 17947 11369 0 -1 4202560 0 0 0 0 0 0 0 0 20 0 5 0 1129037102 4349952 833 4294967295 134512640 135180984 3220738784 3086562116 134705812 0 0 0 0 0 0 0 -1 1 0 0 0

[startup+0.043312 s]
/proc/loadavg: 2.76 2.95 2.98 3/115 17947
/proc/meminfo: memFree=2994448/3368532 swapFree=1941392/1959888
[pid=17947] ppid=17945 vsize=49404 CPUtime=0.06
/proc/17947/stat : 17947 (satake) S 17945 17947 11369 0 -1 4202496 6925 0 0 0 3 3 0 0 18 0 5 0 1129037102 50589696 6872 4294967295 134512640 135180984 3220738784 3220738220 134573496 0 0 0 0 4294967295 0 0 17 1 0 0 0
/proc/17947/statm: 12351 6872 63 164 0 12186 0
[pid=17947/tid=17948] ppid=17945 vsize=49404 CPUtime=0
/proc/17947/task/17948/stat : 17948 (satake) S 17945 17947 11369 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 5 0 1129037102 50589696 6872 4294967295 134512640 135180984 3220738784 3086757904 134580407 0 0 0 0 3223036458 0 0 -1 1 0 0 0
[pid=17947/tid=17949] ppid=17945 vsize=49404 CPUtime=0.01
/proc/17947/task/17949/stat : 17949 (satake) D 17945 17947 11369 0 -1 4202560 1692 0 0 0 0 1 0 0 20 0 5 0 1129037102 50589696 6872 4294967295 134512640 135180984 3220738784 3086692424 134675846 0 0 0 0 3223098951 0 0 -1 1 0 0 0
[pid=17947/tid=17950] ppid=17945 vsize=49404 CPUtime=0.03
/proc/17947/task/17950/stat : 17950 (satake) D 17945 17947 11369 0 -1 4202560 2738 0 0 0 3 0 0 0 20 0 5 0 1129037102 50589696 6872 4294967295 134512640 135180984 3220738784 3086626888 134675767 0 0 0 0 3223098951 0 0 -1 1 0 0 0
[pid=17947/tid=17951] ppid=17945 vsize=49404 CPUtime=0.02
/proc/17947/task/17951/stat : 17951 (satake) R 17945 17947 11369 0 -1 4202560 2376 0 0 0 0 2 0 0 21 0 5 0 1129037102 50589696 6872 4294967295 134512640 135180984 3220738784 3086561344 134702260 0 0 0 0 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 49404

[startup+0.107323 s]
/proc/loadavg: 2.76 2.95 2.98 3/115 17947
/proc/meminfo: memFree=2994448/3368532 swapFree=1941392/1959888
[pid=17947] ppid=17945 vsize=57552 CPUtime=0.23
/proc/17947/stat : 17947 (satake) S 17945 17947 11369 0 -1 4202496 10438 0 0 0 18 5 0 0 18 0 5 0 1129037102 58933248 10385 4294967295 134512640 135180984 3220738784 3220738220 134573496 0 0 0 0 4294967295 0 0 17 1 0 0 0
/proc/17947/statm: 14388 10385 63 164 0 14223 0
[pid=17947/tid=17948] ppid=17945 vsize=57552 CPUtime=0
/proc/17947/task/17948/stat : 17948 (satake) S 17945 17947 11369 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 5 0 1129037102 58933248 10385 4294967295 134512640 135180984 3220738784 3086757904 134580407 0 0 0 0 3223036458 0 0 -1 1 0 0 0
[pid=17947/tid=17949] ppid=17945 vsize=57552 CPUtime=0.05
/proc/17947/task/17949/stat : 17949 (satake) R 17945 17947 11369 0 -1 4202560 3385 0 0 0 3 2 0 0 19 0 5 0 1129037102 58933248 10385 4294967295 134512640 135180984 3220738784 3086692440 134675846 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=17947/tid=17950] ppid=17945 vsize=57552 CPUtime=0.1
/proc/17947/task/17950/stat : 17950 (satake) R 17945 17947 11369 0 -1 4202560 3507 0 0 0 10 0 0 0 19 0 5 0 1129037102 58933248 10386 4294967295 134512640 135180984 3220738784 3086626904 134675846 0 0 0 0 0 0 0 -1 1 0 0 0
[pid=17947/tid=17951] ppid=17945 vsize=57552 CPUtime=0.08
/proc/17947/task/17951/stat : 17951 (satake) R 17945 17947 11369 0 -1 4202560 3428 0 0 0 5 3 0 0 20 0 5 0 1129037102 58933248 10386 4294967295 134512640 135180984 3220738784 3086561568 134513637 0 0 0 0 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 0.23
Current children cumulated vsize (KiB) 57552

[startup+0.303861 s]
/proc/loadavg: 2.76 2.95 2.98 3/115 17947
/proc/meminfo: memFree=2994448/3368532 swapFree=1941392/1959888
[pid=17947] ppid=17945 vsize=68640 CPUtime=0.77
/proc/17947/stat : 17947 (satake) S 17945 17947 11369 0 -1 4202496 13872 0 0 0 69 8 0 0 18 0 5 0 1129037102 70287360 12802 4294967295 134512640 135180984 3220738784 3220738220 134573496 0 0 0 0 4294967295 0 0 17 1 0 0 0
/proc/17947/statm: 17160 12802 66 164 0 16995 0
[pid=17947/tid=17948] ppid=17945 vsize=68640 CPUtime=0
/proc/17947/task/17948/stat : 17948 (satake) S 17945 17947 11369 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 5 0 1129037102 70287360 12802 4294967295 134512640 135180984 3220738784 3086757904 134580407 0 0 0 0 3223036458 0 0 -1 1 0 0 0
[pid=17947/tid=17949] ppid=17945 vsize=68640 CPUtime=0.24
/proc/17947/task/17949/stat : 17949 (satake) R 17945 17947 11369 0 -1 4202560 4604 0 0 0 21 3 0 0 18 0 5 0 1129037102 70287360 12802 4294967295 134512640 135180984 3220738784 3086692604 134519101 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=17947/tid=17950] ppid=17945 vsize=68640 CPUtime=0.27
/proc/17947/task/17950/stat : 17950 (satake) S 17945 17947 11369 0 -1 4202560 4615 0 0 0 26 1 0 0 19 0 5 0 1129037102 70287360 12802 4294967295 134512640 135180984 3220738784 3086626464 134580407 0 0 0 0 3223036458 0 0 -1 1 0 0 0
[pid=17947/tid=17951] ppid=17945 vsize=68640 CPUtime=0.26
/proc/17947/task/17951/stat : 17951 (satake) R 17945 17947 11369 0 -1 4202560 4534 0 0 0 22 4 0 0 19 0 5 0 1129037102 70287360 12802 4294967295 134512640 135180984 3220738784 3086561600 134535641 0 0 0 0 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 0.77
Current children cumulated vsize (KiB) 68640

[startup+0.703845 s]
/proc/loadavg: 2.76 2.95 2.98 3/115 17947
/proc/meminfo: memFree=2994448/3368532 swapFree=1941392/1959888
[pid=17947] ppid=17945 vsize=66348 CPUtime=1.96
/proc/17947/stat : 17947 (satake) S 17945 17947 11369 0 -1 4202496 15607 0 0 0 188 8 0 0 18 0 5 0 1129037102 67940352 12503 4294967295 134512640 135180984 3220738784 3220738220 134573496 0 0 0 0 4294967295 0 0 17 1 0 0 0
/proc/17947/statm: 16587 12503 68 164 0 16422 0
[pid=17947/tid=17948] ppid=17945 vsize=66348 CPUtime=0.02
/proc/17947/task/17948/stat : 17948 (satake) S 17945 17947 11369 0 -1 4202560 1226 0 0 0 2 0 0 0 16 0 5 0 1129037102 67940352 12503 4294967295 134512640 135180984 3220738784 3086757904 134580407 0 0 0 0 3223036458 0 0 -1 1 0 0 0
[pid=17947/tid=17949] ppid=17945 vsize=66348 CPUtime=0.64
/proc/17947/task/17949/stat : 17949 (satake) R 17945 17947 11369 0 -1 4202560 4773 0 0 0 61 3 0 0 18 0 5 0 1129037102 67940352 12503 4294967295 134512640 135180984 3220738784 3086692208 134526964 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=17947/tid=17950] ppid=17945 vsize=66348 CPUtime=0.64
/proc/17947/task/17950/stat : 17950 (satake) R 17945 17947 11369 0 -1 4202560 4787 0 0 0 63 1 0 0 18 0 5 0 1129037102 67940352 12503 4294967295 134512640 135180984 3220738784 3086626608 134527529 0 0 0 0 0 0 0 -1 1 0 0 0
[pid=17947/tid=17951] ppid=17945 vsize=66348 CPUtime=0.66
/proc/17947/task/17951/stat : 17951 (satake) R 17945 17947 11369 0 -1 4202560 4709 0 0 0 62 4 0 0 19 0 5 0 1129037102 67940352 12503 4294967295 134512640 135180984 3220738784 3086561136 134526529 0 0 0 0 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 1.96
Current children cumulated vsize (KiB) 66348

[startup+1.50381 s]
/proc/loadavg: 2.76 2.95 2.98 5/120 17952
/proc/meminfo: memFree=2944572/3368532 swapFree=1941392/1959888
[pid=17947] ppid=17945 vsize=66840 CPUtime=4.36
/proc/17947/stat : 17947 (satake) S 17945 17947 11369 0 -1 4202496 15894 0 0 0 425 11 0 0 18 0 5 0 1129037102 68444160 12790 4294967295 134512640 135180984 3220738784 3220738220 134573496 0 0 0 0 4294967295 0 0 17 1 0 0 0
/proc/17947/statm: 16710 12790 68 164 0 16545 0
[pid=17947/tid=17948] ppid=17945 vsize=66840 CPUtime=0.04
/proc/17947/task/17948/stat : 17948 (satake) S 17945 17947 11369 0 -1 4202560 1228 0 0 0 2 2 0 0 15 0 5 0 1129037102 68444160 12790 4294967295 134512640 135180984 3220738784 3086757904 134580407 0 0 0 0 3223036458 0 0 -1 1 0 0 0
[pid=17947/tid=17949] ppid=17945 vsize=66840 CPUtime=1.44
/proc/17947/task/17949/stat : 17949 (satake) R 17945 17947 11369 0 -1 4202560 4856 0 0 0 141 3 0 0 18 0 5 0 1129037102 68444160 12790 4294967295 134512640 135180984 3220738784 3086692144 134523800 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=17947/tid=17950] ppid=17945 vsize=66840 CPUtime=1.42
/proc/17947/task/17950/stat : 17950 (satake) R 17945 17947 11369 0 -1 4202560 4869 0 0 0 141 1 0 0 19 0 5 0 1129037102 68444160 12790 4294967295 134512640 135180984 3220738784 3086626668 134518208 0 0 0 0 0 0 0 -1 1 0 0 0
[pid=17947/tid=17951] ppid=17945 vsize=66840 CPUtime=1.46
/proc/17947/task/17951/stat : 17951 (satake) R 17945 17947 11369 0 -1 4202560 4829 0 0 0 141 5 0 0 20 0 5 0 1129037102 68444160 12790 4294967295 134512640 135180984 3220738784 3086561008 134522614 0 0 0 0 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 4.36
Current children cumulated vsize (KiB) 66840

[startup+3.10375 s]
/proc/loadavg: 2.76 2.95 2.98 4/120 17952
/proc/meminfo: memFree=2943644/3368532 swapFree=1941392/1959888
[pid=17947] ppid=17945 vsize=68888 CPUtime=9.16
/proc/17947/stat : 17947 (satake) S 17945 17947 11369 0 -1 4202496 16021 0 0 0 900 16 0 0 18 0 5 0 1129037102 70541312 12917 4294967295 134512640 135180984 3220738784 3220738220 134573496 0 0 0 0 4294967295 0 0 17 1 0 0 0
/proc/17947/statm: 17222 12917 68 164 0 17057 0
[pid=17947/tid=17948] ppid=17945 vsize=68888 CPUtime=0.07
/proc/17947/task/17948/stat : 17948 (satake) S 17945 17947 11369 0 -1 4202560 1233 0 0 0 3 4 0 0 16 0 5 0 1129037102 70541312 12917 4294967295 134512640 135180984 3220738784 3086757904 134580407 0 0 0 0 3223036458 0 0 -1 1 0 0 0
[pid=17947/tid=17949] ppid=17945 vsize=68888 CPUtime=3.04
/proc/17947/task/17949/stat : 17949 (satake) R 17945 17947 11369 0 -1 4202560 4908 0 0 0 300 4 0 0 21 0 5 0 1129037102 70541312 12917 4294967295 134512640 135180984 3220738784 3086692208 134528433 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=17947/tid=17950] ppid=17945 vsize=68888 CPUtime=2.99
/proc/17947/task/17950/stat : 17950 (satake) R 17945 17947 11369 0 -1 4202560 4906 0 0 0 297 2 0 0 23 0 5 0 1129037102 70541312 12917 4294967295 134512640 135180984 3220738784 3086626672 134528211 0 0 0 0 0 0 0 -1 1 0 0 0
[pid=17947/tid=17951] ppid=17945 vsize=68888 CPUtime=3.06
/proc/17947/task/17951/stat : 17951 (satake) R 17945 17947 11369 0 -1 4202560 4862 0 0 0 300 6 0 0 25 0 5 0 1129037102 70541312 12917 4294967295 134512640 135180984 3220738784 3086561136 134528267 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) 68888

[startup+6.30362 s]
/proc/loadavg: 2.78 2.95 2.98 4/120 17952
/proc/meminfo: memFree=2943296/3368532 swapFree=1941392/1959888
[pid=17947] ppid=17945 vsize=69340 CPUtime=18.75
/proc/17947/stat : 17947 (satake) S 17945 17947 11369 0 -1 4202496 16215 0 0 0 1852 23 0 0 18 0 5 0 1129037102 71004160 13111 4294967295 134512640 135180984 3220738784 3220738220 134573496 0 0 0 0 4294967295 0 0 17 1 0 0 0
/proc/17947/statm: 17335 13111 68 164 0 17170 0
[pid=17947/tid=17948] ppid=17945 vsize=69340 CPUtime=0.13
/proc/17947/task/17948/stat : 17948 (satake) S 17945 17947 11369 0 -1 4202560 1249 0 0 0 4 9 0 0 15 0 5 0 1129037102 71004160 13111 4294967295 134512640 135180984 3220738784 3086757904 134580407 0 0 0 0 3223036458 0 0 -1 1 0 0 0
[pid=17947/tid=17949] ppid=17945 vsize=69340 CPUtime=6.24
/proc/17947/task/17949/stat : 17949 (satake) R 17945 17947 11369 0 -1 4202560 4960 0 0 0 619 5 0 0 25 0 5 0 1129037102 71004160 13111 4294967295 134512640 135180984 3220738784 3086692204 134519895 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=17947/tid=17950] ppid=17945 vsize=69340 CPUtime=6.12
/proc/17947/task/17950/stat : 17950 (satake) R 17945 17947 11369 0 -1 4202560 4980 0 0 0 610 2 0 0 25 0 5 0 1129037102 71004160 13111 4294967295 134512640 135180984 3220738784 3086626572 134519095 0 0 0 0 0 0 0 -1 1 0 0 0
[pid=17947/tid=17951] ppid=17945 vsize=69340 CPUtime=6.26
/proc/17947/task/17951/stat : 17951 (satake) R 17945 17947 11369 0 -1 4202560 4914 0 0 0 619 7 0 0 25 0 5 0 1129037102 71004160 13111 4294967295 134512640 135180984 3220738784 3086561136 134528869 0 0 0 0 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 18.75
Current children cumulated vsize (KiB) 69340

[startup+12.7034 s]
/proc/loadavg: 2.80 2.95 2.98 5/120 17957
/proc/meminfo: memFree=2941344/3368532 swapFree=1941392/1959888
[pid=17947] ppid=17945 vsize=71812 CPUtime=37.94
/proc/17947/stat : 17947 (satake) S 17945 17947 11369 0 -1 4202496 16528 0 0 0 3763 31 0 0 18 0 5 0 1129037102 73535488 13424 4294967295 134512640 135180984 3220738784 3220738220 134573496 0 0 0 0 4294967295 0 0 17 1 0 0 0
/proc/17947/statm: 17953 13424 68 164 0 17788 0
[pid=17947/tid=17948] ppid=17945 vsize=71812 CPUtime=0.21
/proc/17947/task/17948/stat : 17948 (satake) S 17945 17947 11369 0 -1 4202560 1276 0 0 0 7 14 0 0 15 0 5 0 1129037102 73535488 13424 4294967295 134512640 135180984 3220738784 3086757904 134580407 0 0 0 0 3223036458 0 0 -1 1 0 0 0
[pid=17947/tid=17949] ppid=17945 vsize=71812 CPUtime=12.64
/proc/17947/task/17949/stat : 17949 (satake) R 17945 17947 11369 0 -1 4202560 5051 0 0 0 1258 6 0 0 25 0 5 0 1129037102 73535488 13424 4294967295 134512640 135180984 3220738784 3086692200 134519896 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=17947/tid=17950] ppid=17945 vsize=71812 CPUtime=12.44
/proc/17947/task/17950/stat : 17950 (satake) R 17945 17947 11369 0 -1 4202560 5097 0 0 0 1242 2 0 0 25 0 5 0 1129037102 73535488 13424 4294967295 134512640 135180984 3220738784 3086626672 134528211 0 0 0 0 0 0 0 -1 1 0 0 0
[pid=17947/tid=17951] ppid=17945 vsize=71812 CPUtime=12.65
/proc/17947/task/17951/stat : 17951 (satake) R 17945 17947 11369 0 -1 4202560 4992 0 0 0 1256 9 0 0 25 0 5 0 1129037102 73535488 13424 4294967295 134512640 135180984 3220738784 3086561088 134522782 0 0 0 0 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 37.94
Current children cumulated vsize (KiB) 71812

[startup+25.5129 s]
/proc/loadavg: 2.84 2.96 2.98 4/120 18140
/proc/meminfo: memFree=2937716/3368532 swapFree=1941392/1959888
[pid=17947] ppid=17945 vsize=73496 CPUtime=76.28
/proc/17947/stat : 17947 (satake) S 17945 17947 11369 0 -1 4202496 17067 0 0 0 7573 55 0 0 18 0 5 0 1129037102 75259904 13963 4294967295 134512640 135180984 3220738784 3220738220 134573496 0 0 0 0 4294967295 0 0 17 1 0 0 0
/proc/17947/statm: 18374 13963 68 164 0 18209 0
[pid=17947/tid=17948] ppid=17945 vsize=73496 CPUtime=0.38
/proc/17947/task/17948/stat : 17948 (satake) S 17945 17947 11369 0 -1 4202560 1344 0 0 0 14 24 0 0 15 0 5 0 1129037102 75259904 13963 4294967295 134512640 135180984 3220738784 3086757904 134580407 0 0 0 0 3223036458 0 0 -1 1 0 0 0
[pid=17947/tid=17949] ppid=17945 vsize=73496 CPUtime=25.41
/proc/17947/task/17949/stat : 17949 (satake) R 17945 17947 11369 0 -1 4202560 5214 0 0 0 2532 9 0 0 25 0 5 0 1129037102 75259904 13963 4294967295 134512640 135180984 3220738784 3086692200 134520863 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=17947/tid=17950] ppid=17945 vsize=73496 CPUtime=25.06
/proc/17947/task/17950/stat : 17950 (satake) R 17945 17947 11369 0 -1 4202560 5308 0 0 0 2500 6 0 0 25 0 5 0 1129037102 75259904 13963 4294967295 134512640 135180984 3220738784 3086626640 134520027 0 0 0 0 0 0 0 -1 1 0 0 0
[pid=17947/tid=17951] ppid=17945 vsize=73496 CPUtime=25.43
/proc/17947/task/17951/stat : 17951 (satake) R 17945 17947 11369 0 -1 4202560 5089 0 0 0 2527 16 0 0 25 0 5 0 1129037102 75259904 13963 4294967295 134512640 135180984 3220738784 3086561136 134528680 0 0 0 0 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 76.28
Current children cumulated vsize (KiB) 73496

[startup+51.1118 s]
/proc/loadavg: 2.89 2.96 2.98 4/120 18142
/proc/meminfo: memFree=2935976/3368532 swapFree=1941392/1959888
[pid=17947] ppid=17945 vsize=75380 CPUtime=153.02
/proc/17947/stat : 17947 (satake) S 17945 17947 11369 0 -1 4202496 17877 0 0 0 15199 103 0 0 18 0 5 0 1129037102 77189120 14773 4294967295 134512640 135180984 3220738784 3220738220 134573496 0 0 0 0 4294967295 0 0 17 1 0 0 0
/proc/17947/statm: 18845 14773 68 164 0 18680 0
[pid=17947/tid=17948] ppid=17945 vsize=75380 CPUtime=0.67
/proc/17947/task/17948/stat : 17948 (satake) S 17945 17947 11369 0 -1 4202560 1484 0 0 0 18 49 0 0 15 0 5 0 1129037102 77189120 14773 4294967295 134512640 135180984 3220738784 3086757904 134580407 0 0 0 0 3223036458 0 0 -1 1 0 0 0
[pid=17947/tid=17949] ppid=17945 vsize=75380 CPUtime=51.01
/proc/17947/task/17949/stat : 17949 (satake) R 17945 17947 11369 0 -1 4202560 5437 0 0 0 5087 14 0 0 25 0 5 0 1129037102 77189120 14773 4294967295 134512640 135180984 3220738784 3086692096 134522987 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=17947/tid=17950] ppid=17945 vsize=75380 CPUtime=50.33
/proc/17947/task/17950/stat : 17950 (satake) R 17945 17947 11369 0 -1 4202560 5584 0 0 0 5022 11 0 0 25 0 5 0 1129037102 77189120 14773 4294967295 134512640 135180984 3220738784 3086626668 134518208 0 0 0 0 0 0 0 -1 1 0 0 0
[pid=17947/tid=17951] ppid=17945 vsize=75380 CPUtime=51.01
/proc/17947/task/17951/stat : 17951 (satake) R 17945 17947 11369 0 -1 4202560 5260 0 0 0 5072 29 0 0 25 0 5 0 1129037102 77189120 14773 4294967295 134512640 135180984 3220738784 3086561136 134528211 0 0 0 0 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 153.02
Current children cumulated vsize (KiB) 75380

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

[startup+76.7108 s]
/proc/loadavg: 2.93 2.96 2.98 4/120 18145
/proc/meminfo: memFree=2933752/3368532 swapFree=1941392/1959888
[pid=17947] ppid=17945 vsize=78980 CPUtime=229.79
/proc/17947/stat : 17947 (satake) S 17945 17947 11369 0 -1 4202496 18363 0 0 0 22841 138 0 0 18 0 5 0 1129037102 80875520 15259 4294967295 134512640 135180984 3220738784 3220738220 134573496 0 0 0 0 4294967295 0 0 17 1 0 0 0
/proc/17947/statm: 19745 15259 68 164 0 19580 0
[pid=17947/tid=17948] ppid=17945 vsize=78980 CPUtime=0.9
/proc/17947/task/17948/stat : 17948 (satake) S 17945 17947 11369 0 -1 4202560 1583 0 0 0 24 66 0 0 16 0 5 0 1129037102 80875520 15259 4294967295 134512640 135180984 3220738784 3086757904 134580407 0 0 0 0 3223036458 0 0 -1 1 0 0 0
[pid=17947/tid=17949] ppid=17945 vsize=78980 CPUtime=76.59
/proc/17947/task/17949/stat : 17949 (satake) R 17945 17947 11369 0 -1 4202560 5542 0 0 0 7642 17 0 0 25 0 5 0 1129037102 80875520 15259 4294967295 134512640 135180984 3220738784 3086692176 134519935 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=17947/tid=17950] ppid=17945 vsize=78980 CPUtime=75.69
/proc/17947/task/17950/stat : 17950 (satake) R 17945 17947 11369 0 -1 4202560 5761 0 0 0 7550 19 0 0 25 0 5 0 1129037102 80875520 15259 4294967295 134512640 135180984 3220738784 3086626608 134527464 0 0 0 0 0 0 0 -1 1 0 0 0
[pid=17947/tid=17951] ppid=17945 vsize=78980 CPUtime=76.61
/proc/17947/task/17951/stat : 17951 (satake) R 17945 17947 11369 0 -1 4202560 5365 0 0 0 7625 36 0 0 25 0 5 0 1129037102 80875520 15259 4294967295 134512640 135180984 3220738784 3086561152 134518808 0 0 0 0 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 229.79
Current children cumulated vsize (KiB) 78980

[startup+89.5103 s]
/proc/loadavg: 2.94 2.96 2.98 4/120 18329
/proc/meminfo: memFree=2931168/3368532 swapFree=1941392/1959888
[pid=17947] ppid=17945 vsize=78980 CPUtime=268.1
/proc/17947/stat : 17947 (satake) S 17945 17947 11369 0 -1 4202496 18443 0 0 0 26658 152 0 0 18 0 5 0 1129037102 80875520 15339 4294967295 134512640 135180984 3220738784 3220738220 134573496 0 0 0 0 4294967295 0 0 17 1 0 0 0
/proc/17947/statm: 19745 15339 68 164 0 19580 0
[pid=17947/tid=17948] ppid=17945 vsize=78980 CPUtime=0.99
/proc/17947/task/17948/stat : 17948 (satake) S 17945 17947 11369 0 -1 4202560 1632 0 0 0 25 74 0 0 16 0 5 0 1129037102 80875520 15339 4294967295 134512640 135180984 3220738784 3086757904 134580407 0 0 0 0 3223036458 0 0 -1 1 0 0 0
[pid=17947/tid=17949] ppid=17945 vsize=78980 CPUtime=89.33
/proc/17947/task/17949/stat : 17949 (satake) R 17945 17947 11369 0 -1 4202560 5556 0 0 0 8914 19 0 0 25 0 5 0 1129037102 80875520 15339 4294967295 134512640 135180984 3220738784 3086692208 134528866 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=17947/tid=17950] ppid=17945 vsize=78980 CPUtime=88.37
/proc/17947/task/17950/stat : 17950 (satake) R 17945 17947 11369 0 -1 4202560 5765 0 0 0 8817 20 0 0 25 0 5 0 1129037102 80875520 15339 4294967295 134512640 135180984 3220738784 3086626672 134528211 0 0 0 0 0 0 0 -1 1 0 0 0
[pid=17947/tid=17951] ppid=17945 vsize=78980 CPUtime=89.41
/proc/17947/task/17951/stat : 17951 (satake) R 17945 17947 11369 0 -1 4202560 5378 0 0 0 8902 39 0 0 25 0 5 0 1129037102 80875520 15339 4294967295 134512640 135180984 3220738784 3086561136 134528587 0 0 0 0 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 268.1
Current children cumulated vsize (KiB) 78980

[startup+95.91 s]
/proc/loadavg: 2.95 2.96 2.98 4/120 18329
/proc/meminfo: memFree=2931356/3368532 swapFree=1941392/1959888
[pid=17947] ppid=17945 vsize=79144 CPUtime=287.29
/proc/17947/stat : 17947 (satake) S 17945 17947 11369 0 -1 4202496 18528 0 0 0 28568 161 0 0 18 0 5 0 1129037102 81043456 15424 4294967295 134512640 135180984 3220738784 3220738220 134573496 0 0 0 0 4294967295 0 0 17 1 0 0 0
/proc/17947/statm: 19786 15424 68 164 0 19621 0
[pid=17947/tid=17948] ppid=17945 vsize=79144 CPUtime=1.07
/proc/17947/task/17948/stat : 17948 (satake) S 17945 17947 11369 0 -1 4202560 1652 0 0 0 26 81 0 0 15 0 5 0 1129037102 81043456 15424 4294967295 134512640 135180984 3220738784 3086757904 134580407 0 0 0 0 3223036458 0 0 -1 1 0 0 0
[pid=17947/tid=17949] ppid=17945 vsize=79144 CPUtime=95.73
/proc/17947/task/17949/stat : 17949 (satake) R 17945 17947 11369 0 -1 4202560 5570 0 0 0 9554 19 0 0 25 0 5 0 1129037102 81043456 15424 4294967295 134512640 135180984 3220738784 3086692208 134528062 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=17947/tid=17950] ppid=17945 vsize=79144 CPUtime=94.69
/proc/17947/task/17950/stat : 17950 (satake) R 17945 17947 11369 0 -1 4202560 5798 0 0 0 9449 20 0 0 25 0 5 0 1129037102 81043456 15424 4294967295 134512640 135180984 3220738784 3086626544 134522875 0 0 0 0 0 0 0 -1 1 0 0 0
[pid=17947/tid=17951] ppid=17945 vsize=79144 CPUtime=95.8
/proc/17947/task/17951/stat : 17951 (satake) R 17945 17947 11369 0 -1 4202560 5396 0 0 0 9539 41 0 0 25 0 5 0 1129037102 81043456 15424 4294967295 134512640 135180984 3220738784 3086561136 134528516 0 0 0 0 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 287.29
Current children cumulated vsize (KiB) 79144

[startup+99.1099 s]
/proc/loadavg: 2.95 2.96 2.98 5/120 18329
/proc/meminfo: memFree=2931480/3368532 swapFree=1941392/1959888
[pid=17947] ppid=17945 vsize=79144 CPUtime=296.89
/proc/17947/stat : 17947 (satake) S 17945 17947 11369 0 -1 4202496 18538 0 0 0 29527 162 0 0 18 0 5 0 1129037102 81043456 15434 4294967295 134512640 135180984 3220738784 3220738220 134573496 0 0 0 0 4294967295 0 0 17 1 0 0 0
/proc/17947/statm: 19786 15434 68 164 0 19621 0
[pid=17947/tid=17948] ppid=17945 vsize=79144 CPUtime=1.08
/proc/17947/task/17948/stat : 17948 (satake) S 17945 17947 11369 0 -1 4202560 1656 0 0 0 26 82 0 0 15 0 5 0 1129037102 81043456 15434 4294967295 134512640 135180984 3220738784 3086757904 134580407 0 0 0 0 3223036458 0 0 -1 1 0 0 0
[pid=17947/tid=17949] ppid=17945 vsize=79144 CPUtime=98.93
/proc/17947/task/17949/stat : 17949 (satake) R 17945 17947 11369 0 -1 4202560 5570 0 0 0 9874 19 0 0 25 0 5 0 1129037102 81043456 15434 4294967295 134512640 135180984 3220738784 3086692208 134528433 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=17947/tid=17950] ppid=17945 vsize=79144 CPUtime=97.88
/proc/17947/task/17950/stat : 17950 (satake) R 17945 17947 11369 0 -1 4202560 5801 0 0 0 9768 20 0 0 25 0 5 0 1129037102 81043456 15434 4294967295 134512640 135180984 3220738784 3086626544 134522972 0 0 0 0 0 0 0 -1 1 0 0 0
[pid=17947/tid=17951] ppid=17945 vsize=79144 CPUtime=99
/proc/17947/task/17951/stat : 17951 (satake) R 17945 17947 11369 0 -1 4202560 5399 0 0 0 9859 41 0 0 25 0 5 0 1129037102 81043456 15434 4294967295 134512640 135180984 3220738784 3086561128 134520863 0 0 0 0 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 296.89
Current children cumulated vsize (KiB) 79144

[startup+100.71 s]
/proc/loadavg: 2.95 2.96 2.98 4/120 18329
/proc/meminfo: memFree=2931512/3368532 swapFree=1941392/1959888
[pid=17947] ppid=17945 vsize=79144 CPUtime=301.69
/proc/17947/stat : 17947 (satake) S 17945 17947 11369 0 -1 4202496 18540 0 0 0 30006 163 0 0 18 0 5 0 1129037102 81043456 15436 4294967295 134512640 135180984 3220738784 3220738220 134573496 0 0 0 0 4294967295 0 0 17 1 0 0 0
/proc/17947/statm: 19786 15436 68 164 0 19621 0
[pid=17947/tid=17948] ppid=17945 vsize=79144 CPUtime=1.08
/proc/17947/task/17948/stat : 17948 (satake) S 17945 17947 11369 0 -1 4202560 1658 0 0 0 26 82 0 0 15 0 5 0 1129037102 81043456 15436 4294967295 134512640 135180984 3220738784 3086757904 134580407 0 0 0 0 3223036458 0 0 -1 1 0 0 0
[pid=17947/tid=17949] ppid=17945 vsize=79144 CPUtime=100.53
/proc/17947/task/17949/stat : 17949 (satake) R 17945 17947 11369 0 -1 4202560 5570 0 0 0 10034 19 0 0 25 0 5 0 1129037102 81043456 15436 4294967295 134512640 135180984 3220738784 3086692112 134524655 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=17947/tid=17950] ppid=17945 vsize=79144 CPUtime=99.48
/proc/17947/task/17950/stat : 17950 (satake) R 17945 17947 11369 0 -1 4202560 5801 0 0 0 9928 20 0 0 25 0 5 0 1129037102 81043456 15436 4294967295 134512640 135180984 3220738784 3086626640 134522714 0 0 0 0 0 0 0 -1 1 0 0 0
[pid=17947/tid=17951] ppid=17945 vsize=79144 CPUtime=100.6
/proc/17947/task/17951/stat : 17951 (satake) R 17945 17947 11369 0 -1 4202560 5399 0 0 0 10018 42 0 0 25 0 5 0 1129037102 81043456 15436 4294967295 134512640 135180984 3220738784 3086561136 134528568 0 0 0 0 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 301.69
Current children cumulated vsize (KiB) 79144

[startup+101.51 s]
/proc/loadavg: 2.95 2.96 2.98 4/120 18330
/proc/meminfo: memFree=2931512/3368532 swapFree=1941392/1959888
[pid=17947] ppid=17945 vsize=75428 CPUtime=304.09
/proc/17947/stat : 17947 (satake) S 17945 17947 11369 0 -1 4202496 18555 0 0 0 30246 163 0 0 18 0 4 0 1129037102 77238272 14683 4294967295 134512640 135180984 3220738784 3220738220 134573496 0 0 0 0 4294967295 0 0 17 1 0 0 0
/proc/17947/statm: 18857 14683 77 164 0 18692 0
[pid=17947/tid=17949] ppid=17945 vsize=75428 CPUtime=101.33
/proc/17947/task/17949/stat : 17949 (satake) R 17945 17947 11369 0 -1 4202560 5570 0 0 0 10114 19 0 0 25 0 4 0 1129037102 77238272 14683 4294967295 134512640 135180984 3220738784 3086692176 134522620 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=17947/tid=17950] ppid=17945 vsize=75428 CPUtime=100.26
/proc/17947/task/17950/stat : 17950 (satake) R 17945 17947 11369 0 -1 4202560 5810 0 0 0 10006 20 0 0 25 0 4 0 1129037102 77238272 14683 4294967295 134512640 135180984 3220738784 3086627208 134672228 0 0 0 0 0 0 0 -1 3 0 0 0
[pid=17947/tid=17951] ppid=17945 vsize=75428 CPUtime=101.4
/proc/17947/task/17951/stat : 17951 (satake) R 17945 17947 11369 0 -1 4202560 5399 0 0 0 10098 42 0 0 25 0 4 0 1129037102 77238272 14683 4294967295 134512640 135180984 3220738784 3086561128 134520896 0 0 0 0 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 304.09
Current children cumulated vsize (KiB) 75428

[startup+101.91 s]
/proc/loadavg: 2.95 2.96 2.98 4/120 18330
/proc/meminfo: memFree=2931512/3368532 swapFree=1941392/1959888
[pid=17947] ppid=17945 vsize=56808 CPUtime=304.88
/proc/17947/stat : 17947 (satake) S 17945 17947 11369 0 -1 4202496 18555 0 0 0 30325 163 0 0 18 0 2 0 1129037102 58171392 12146 4294967295 134512640 135180984 3220738784 3220738220 134573496 0 0 0 0 4294967295 0 0 17 1 0 0 0
/proc/17947/statm: 14202 12146 77 164 0 14037 0
[pid=17947/tid=17949] ppid=17945 vsize=56808 CPUtime=101.73
/proc/17947/task/17949/stat : 17949 (satake) R 17945 17947 11369 0 -1 4202560 5570 0 0 0 10154 19 0 0 25 0 2 0 1129037102 58171392 12146 4294967295 134512640 135180984 3220738784 3086692208 134528052 0 0 0 0 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 304.88
Current children cumulated vsize (KiB) 56808

[startup+102.01 s]
/proc/loadavg: 2.95 2.96 2.98 4/120 18330
/proc/meminfo: memFree=2931512/3368532 swapFree=1941392/1959888
[pid=17947] ppid=17945 vsize=56808 CPUtime=304.98
/proc/17947/stat : 17947 (satake) S 17945 17947 11369 0 -1 4202496 18555 0 0 0 30335 163 0 0 18 0 2 0 1129037102 58171392 12146 4294967295 134512640 135180984 3220738784 3220738220 134573496 0 0 0 0 4294967295 0 0 17 1 0 0 0
/proc/17947/statm: 14202 12146 77 164 0 14037 0
[pid=17947/tid=17949] ppid=17945 vsize=56808 CPUtime=101.83
/proc/17947/task/17949/stat : 17949 (satake) R 17945 17947 11369 0 -1 4202560 5570 0 0 0 10164 19 0 0 25 0 2 0 1129037102 58171392 12146 4294967295 134512640 135180984 3220738784 3086692208 134525702 0 0 0 0 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 304.98
Current children cumulated vsize (KiB) 56808

Child status: 4
Real time (s): 102.077
CPU time (s): 305.04
CPU user time (s): 303.41
CPU system time (s): 1.63
CPU usage (%): 298.832
Max. virtual memory (cumulated for all children) (KiB): 79144


getrusage(RUSAGE_CHILDREN,...) data:
user time used= 303.41
system time used= 1.63
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 18556
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= 170054
involuntary context switches= 151692

runsolver used 0.01 second user time and 0 second system time

The end

Launcher Data 

Begin job on  at 2009-05-30 02:32:53
IDJOB=1779310
IDBENCH=70831
IDSOLVER=629
FILE ID=/1779310-1243643573
PBS_JOBID=
Free space on /tmp= 15726 MiB

SOLVER NAME= satake 2009-03-22 (4 threads)
BENCH NAME= SAT09/APPLICATIONS/crypto/md5gen/gus-md5-07.cnf
COMMAND LINE= HOME/satake BENCHNAME MAXNBTHREAD TIMEOUT
RUNSOLVER COMMAND LINE= runsolver --timestamp  -w /tmp/evaluation-result-1779310-1243643573/watcher-1779310-1243643573 -o /tmp/evaluation-result-1779310-1243643573/solver-1779310-1243643573 -C 10000 -W 1000 -M 2047 --output-limit 1,15 --cleanup-all-ipc-queues HOME/satake HOME/instance-1779310-1243643573.cnf 4 10000

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

MD5SUM BENCH= d5384c4b81fff59c87944d03e9ed7d02
RANDOM SEED= 858342815

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:       2994448 kB
Buffers:         48616 kB
Cached:         239956 kB
SwapCached:       4320 kB
Active:         144020 kB
Inactive:       155092 kB
HighTotal:     2489216 kB
HighFree:      2236912 kB
LowTotal:       879316 kB
LowFree:        757536 kB
SwapTotal:     1959888 kB
SwapFree:      1941392 kB
Dirty:            4712 kB
Writeback:           0 kB
AnonPages:        9352 kB
Mapped:           4296 kB
Slab:            64624 kB
SReclaimable:    55912 kB
SUnreclaim:       8712 kB
PageTables:        748 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:   3644152 kB
Committed_AS:   127072 kB
VmallocTotal:   114680 kB
VmallocUsed:      1444 kB
VmallocChunk:   113072 kB

Free space on /tmp at the end= 15726 MiB
End job on  at 2009-05-30 02:34:35