Trace number 1779552

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 (16 threads)? (TO) 4163.43 1000.06

General information on the benchmark

NameAPPLICATIONS/crypto/
desgen/gss-24-s100.cnf
MD5SUM107f2922072d64498e09af3270c7b9c3
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 variables31821
Number of clauses95735
Sum of the clauses size225739
Maximum clause length3
Minimum clause length1
Number of clauses of size 164
Number of clauses of size 261338
Number of clauses of size 334333
Number of clauses of size 40
Number of clauses of size 50
Number of clauses of size over 50

Solver Data


Verifier Data 

sh: BIN/SAT-verifier: No such file or directory

Watcher Data 

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

command line: runsolver --timestamp -w /tmp/evaluation-result-1779552-1244800914/watcher-1779552-1244800914 -o /tmp/evaluation-result-1779552-1244800914/solver-1779552-1244800914 -C 10000 -W 1000 -M 2047 --output-limit 1,15 --cleanup-all-ipc-queues HOME/satake HOME/instance-1779552-1244800914.cnf 16 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: 5.14 5.41 6.13 2/184 5871
/proc/meminfo: memFree=19138780/36427776 swapFree=2988/6356
[pid=5871] ppid=5869 vsize=6576 CPUtime=0
/proc/5871/stat : 5871 (satake) R 5869 5871 27791 0 -1 4202496 330 0 0 0 0 0 0 0 20 0 13 0 639397791 6733824 286 18446744073709551615 134512640 135180984 4294039040 18446744073709551615 134705812 0 0 1 0 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/5871/statm: 1645 286 62 164 0 1480 0
[pid=5871/tid=5872] ppid=5869 vsize=8192 CPUtime=0
/proc/5871/task/5872/stat : 5872 (satake) S 5869 5871 27791 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 16 0 639397792 8388608 386 18446744073709551615 134512640 135180984 4294039040 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 4 0 0 0 0 0
[pid=5871/tid=5873] ppid=5869 vsize=8192 CPUtime=0
/proc/5871/task/5873/stat : 5873 (satake) R 5869 5871 27791 0 -1 4202560 53 0 0 0 0 0 0 0 20 0 16 0 639397792 8388608 391 18446744073709551615 134512640 135180984 4294039040 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 5 0 0 0 0 0
[pid=5871/tid=5874] ppid=5869 vsize=8192 CPUtime=0
/proc/5871/task/5874/stat : 5874 (satake) R 5869 5871 27791 0 -1 4202560 44 0 0 0 0 0 0 0 20 0 16 0 639397792 8388608 392 18446744073709551615 134512640 135180984 4294039040 18446744073709551615 134691935 0 0 1 0 0 0 0 -1 6 0 0 0 0 0
[pid=5871/tid=5875] ppid=5869 vsize=8192 CPUtime=0
/proc/5871/task/5875/stat : 5875 (satake) R 5869 5871 27791 0 -1 4202560 24 0 0 0 0 0 0 0 20 0 16 0 639397792 8388608 393 18446744073709551615 134512640 135180984 4294039040 18446744073709551615 134691935 0 0 1 0 0 0 0 -1 5 0 0 0 0 0
[pid=5871/tid=5876] ppid=5869 vsize=8192 CPUtime=0
/proc/5871/task/5876/stat : 5876 (satake) R 5869 5871 27791 0 -1 4202560 39 0 0 0 0 0 0 0 20 0 16 0 639397792 8388608 393 18446744073709551615 134512640 135180984 4294039040 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 7 0 0 0 0 0
[pid=5871/tid=5877] ppid=5869 vsize=8192 CPUtime=0
/proc/5871/task/5877/stat : 5877 (satake) R 5869 5871 27791 0 -1 4202560 38 0 0 0 0 0 0 0 20 0 16 0 639397792 8388608 393 18446744073709551615 134512640 135180984 4294039040 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 8 0 0 0 0 0
[pid=5871/tid=5878] ppid=5869 vsize=8192 CPUtime=0
/proc/5871/task/5878/stat : 5878 (satake) S 5869 5871 27791 0 -1 4202560 18 0 0 0 0 0 0 0 20 0 16 0 639397792 8388608 393 18446744073709551615 134512640 135180984 4294039040 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 7 0 0 0 0 0
[pid=5871/tid=5879] ppid=5869 vsize=8192 CPUtime=0
/proc/5871/task/5879/stat : 5879 (satake) S 5869 5871 27791 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 16 0 639397792 8388608 395 18446744073709551615 134512640 135180984 4294039040 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 9 0 0 0 0 0
[pid=5871/tid=5880] ppid=5869 vsize=8192 CPUtime=0
/proc/5871/task/5880/stat : 5880 (satake) S 5869 5871 27791 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 16 0 639397792 8388608 396 18446744073709551615 134512640 135180984 4294039040 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 10 0 0 0 0 0
[pid=5871/tid=5881] ppid=5869 vsize=8196 CPUtime=0
/proc/5871/task/5881/stat : 5881 (satake) D 5869 5871 27791 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 16 0 639397792 8392704 396 18446744073709551615 134512640 135180984 4294039040 18446744073709551615 134702083 0 0 1 0 0 0 0 -1 7 0 0 0 0 0
[pid=5871/tid=5882] ppid=5869 vsize=8328 CPUtime=0
/proc/5871/task/5882/stat : 5882 (satake) D 5869 5871 27791 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 16 0 639397792 8527872 396 18446744073709551615 134512640 135180984 4294039040 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 8 0 0 0 0 0
[pid=5871/tid=5883] ppid=5869 vsize=8328 CPUtime=0
/proc/5871/task/5883/stat : 5883 (satake) D 5869 5871 27791 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 17 0 639397792 8527872 396 18446744073709551615 134512640 135180984 4294039040 18446744073709551615 134676560 0 0 1 0 0 0 0 -1 4 0 0 0 0 0
[pid=5871/tid=5884] ppid=5869 vsize=8332 CPUtime=0
/proc/5871/task/5884/stat : 5884 (satake) D 5869 5871 27791 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 17 0 639397792 8531968 399 18446744073709551615 134512640 135180984 4294039040 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 4 0 0 0 0 0
[pid=5871/tid=5885] ppid=5869 vsize=8332 CPUtime=0
/proc/5871/task/5885/stat : 5885 (satake) D 5869 5871 27791 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 17 0 639397792 8531968 401 18446744073709551615 134512640 135180984 4294039040 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 11 0 0 0 0 0
[pid=5871/tid=5886] ppid=5869 vsize=8332 CPUtime=0
/proc/5871/task/5886/stat : 5886 (satake) R 5869 5871 27791 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 17 0 639397793 8531968 401 18446744073709551615 134512640 135180984 4294039040 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 10 0 0 0 0 0
[pid=5871/tid=5887] ppid=5869 vsize=8332 CPUtime=0
/proc/5871/task/5887/stat : 5887 (satake) D 5869 5871 27791 0 -1 4202560 0 0 0 0 0 0 0 0 20 0 17 0 639397793 8531968 401 18446744073709551615 134512640 135180984 4294039040 18446744073709551615 134675846 0 0 1 0 0 0 0 -1 12 0 0 0 0 0

[startup+0.019387 s]
/proc/loadavg: 5.14 5.41 6.13 2/184 5871
/proc/meminfo: memFree=19138780/36427776 swapFree=2988/6356
[pid=5871] ppid=5869 vsize=10796 CPUtime=0
/proc/5871/stat : 5871 (satake) S 5869 5871 27791 0 -1 4202496 907 0 0 0 0 0 0 0 20 0 17 0 639397791 11055104 866 18446744073709551615 134512640 135180984 4294039040 18446744073709551615 134573496 0 0 1 0 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/5871/statm: 2699 900 63 164 0 2534 0
[pid=5871/tid=5872] ppid=5869 vsize=10796 CPUtime=0
/proc/5871/task/5872/stat : 5872 (satake) S 5869 5871 27791 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 17 0 639397792 11055104 905 18446744073709551615 134512640 135180984 4294039040 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 4 0 0 0 0 0
[pid=5871/tid=5873] ppid=5869 vsize=10928 CPUtime=0
/proc/5871/task/5873/stat : 5873 (satake) S 5869 5871 27791 0 -1 4202560 55 0 0 0 0 0 0 0 20 0 17 0 639397792 11190272 905 18446744073709551615 134512640 135180984 4294039040 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 5 0 0 0 0 0
[pid=5871/tid=5874] ppid=5869 vsize=10928 CPUtime=0
/proc/5871/task/5874/stat : 5874 (satake) R 5869 5871 27791 0 -1 4202560 107 0 0 0 0 0 0 0 20 0 17 0 639397792 11190272 910 18446744073709551615 134512640 135180984 4294039040 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 6 0 0 0 0 0
[pid=5871/tid=5875] ppid=5869 vsize=10928 CPUtime=0
/proc/5871/task/5875/stat : 5875 (satake) R 5869 5871 27791 0 -1 4202560 83 0 0 0 0 0 0 0 20 0 17 0 639397792 11190272 912 18446744073709551615 134512640 135180984 4294039040 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 5 0 0 0 0 0
[pid=5871/tid=5876] ppid=5869 vsize=10928 CPUtime=0
/proc/5871/task/5876/stat : 5876 (satake) R 5869 5871 27791 0 -1 4202560 94 0 0 0 0 0 0 0 20 0 17 0 639397792 11190272 913 18446744073709551615 134512640 135180984 4294039040 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 7 0 0 0 0 0
[pid=5871/tid=5877] ppid=5869 vsize=10928 CPUtime=0
/proc/5871/task/5877/stat : 5877 (satake) R 5869 5871 27791 0 -1 4202560 94 0 0 0 0 0 0 0 20 0 17 0 639397792 11190272 913 18446744073709551615 134512640 135180984 4294039040 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 8 0 0 0 0 0
[pid=5871/tid=5878] ppid=5869 vsize=10928 CPUtime=0
/proc/5871/task/5878/stat : 5878 (satake) R 5869 5871 27791 0 -1 4202560 37 0 0 0 0 0 0 0 20 0 17 0 639397792 11190272 913 18446744073709551615 134512640 135180984 4294039040 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 9 0 0 0 0 0
[pid=5871/tid=5879] ppid=5869 vsize=10928 CPUtime=0
/proc/5871/task/5879/stat : 5879 (satake) R 5869 5871 27791 0 -1 4202560 37 0 0 0 0 0 0 0 20 0 17 0 639397792 11190272 913 18446744073709551615 134512640 135180984 4294039040 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 9 0 0 0 0 0
[pid=5871/tid=5880] ppid=5869 vsize=10928 CPUtime=0
/proc/5871/task/5880/stat : 5880 (satake) D 5869 5871 27791 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 17 0 639397792 11190272 915 18446744073709551615 134512640 135180984 4294039040 18446744073709551615 134676560 0 0 1 0 0 0 0 -1 10 0 0 0 0 0
[pid=5871/tid=5881] ppid=5869 vsize=11060 CPUtime=0
/proc/5871/task/5881/stat : 5881 (satake) D 5869 5871 27791 0 -1 4202560 27 0 0 0 0 0 0 0 20 0 17 0 639397792 11325440 916 18446744073709551615 134512640 135180984 4294039040 18446744073709551615 134691935 0 0 1 0 0 0 0 -1 7 0 0 0 0 0
[pid=5871/tid=5882] ppid=5869 vsize=11060 CPUtime=0
/proc/5871/task/5882/stat : 5882 (satake) D 5869 5871 27791 0 -1 4202560 24 0 0 0 0 0 0 0 20 0 17 0 639397792 11325440 917 18446744073709551615 134512640 135180984 4294039040 18446744073709551615 134691935 0 0 1 0 0 0 0 -1 8 0 0 0 0 0
[pid=5871/tid=5883] ppid=5869 vsize=11060 CPUtime=0
/proc/5871/task/5883/stat : 5883 (satake) D 5869 5871 27791 0 -1 4202560 78 0 0 0 0 0 0 0 20 0 17 0 639397792 11325440 917 18446744073709551615 134512640 135180984 4294039040 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 4 0 0 0 0 0
[pid=5871/tid=5884] ppid=5869 vsize=11188 CPUtime=0
/proc/5871/task/5884/stat : 5884 (satake) D 5869 5871 27791 0 -1 4202560 18 0 0 0 0 0 0 0 20 0 17 0 639397792 11456512 917 18446744073709551615 134512640 135180984 4294039040 18446744073709551615 134676560 0 0 1 0 0 0 0 -1 4 0 0 0 0 0
[pid=5871/tid=5885] ppid=5869 vsize=11188 CPUtime=0
/proc/5871/task/5885/stat : 5885 (satake) R 5869 5871 27791 0 -1 4202560 51 0 0 0 0 0 0 0 20 0 17 0 639397792 11456512 921 18446744073709551615 134512640 135180984 4294039040 18446744073709551615 134706046 0 0 1 0 0 0 0 -1 11 0 0 0 0 0
[pid=5871/tid=5886] ppid=5869 vsize=11188 CPUtime=0
/proc/5871/task/5886/stat : 5886 (satake) D 5869 5871 27791 0 -1 4202560 60 0 0 0 0 0 0 0 20 0 17 0 639397793 11456512 924 18446744073709551615 134512640 135180984 4294039040 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 10 0 0 0 0 0
[pid=5871/tid=5887] ppid=5869 vsize=11188 CPUtime=0
/proc/5871/task/5887/stat : 5887 (satake) R 5869 5871 27791 0 -1 4202560 50 0 0 0 0 0 0 0 20 0 17 0 639397793 11456512 924 18446744073709551615 134512640 135180984 4294039040 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 12 0 0 0 0 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 10796

[startup+0.103732 s]
/proc/loadavg: 5.14 5.41 6.13 2/184 5871
/proc/meminfo: memFree=19138780/36427776 swapFree=2988/6356
[pid=5871] ppid=5869 vsize=32960 CPUtime=0.43
/proc/5871/stat : 5871 (satake) S 5869 5871 27791 0 -1 4202496 5793 0 0 0 4 39 0 0 20 0 17 0 639397791 33751040 5732 18446744073709551615 134512640 135180984 4294039040 18446744073709551615 134573496 0 0 1 0 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/5871/statm: 8240 5737 63 164 0 8075 0
[pid=5871/tid=5872] ppid=5869 vsize=32960 CPUtime=0
/proc/5871/task/5872/stat : 5872 (satake) S 5869 5871 27791 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 17 0 639397792 33751040 5740 18446744073709551615 134512640 135180984 4294039040 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 4 0 0 0 0 0
[pid=5871/tid=5873] ppid=5869 vsize=32960 CPUtime=0.04
/proc/5871/task/5873/stat : 5873 (satake) D 5869 5871 27791 0 -1 4202560 538 0 0 0 0 4 0 0 20 0 17 0 639397792 33751040 5740 18446744073709551615 134512640 135180984 4294039040 18446744073709551615 134691935 0 0 1 0 0 0 0 -1 5 0 0 0 0 0
[pid=5871/tid=5874] ppid=5869 vsize=32960 CPUtime=0.04
/proc/5871/task/5874/stat : 5874 (satake) R 5869 5871 27791 0 -1 4202560 533 0 0 0 0 4 0 0 20 0 17 0 639397792 33751040 5740 18446744073709551615 134512640 135180984 4294039040 18446744073709551615 134522361 0 0 1 0 0 0 0 -1 6 0 0 0 0 0
[pid=5871/tid=5875] ppid=5869 vsize=32960 CPUtime=0
/proc/5871/task/5875/stat : 5875 (satake) D 5869 5871 27791 0 -1 4202560 249 0 0 0 0 0 0 0 20 0 17 0 639397792 33751040 5744 18446744073709551615 134512640 135180984 4294039040 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 5 0 0 0 0 0
[pid=5871/tid=5876] ppid=5869 vsize=32960 CPUtime=0.04
/proc/5871/task/5876/stat : 5876 (satake) D 5869 5871 27791 0 -1 4202560 494 0 0 0 0 4 0 0 20 0 17 0 639397792 33751040 5745 18446744073709551615 134512640 135180984 4294039040 18446744073709551615 134702260 0 0 1 0 0 0 0 -1 7 0 0 0 0 0
[pid=5871/tid=5877] ppid=5869 vsize=32960 CPUtime=0.04
/proc/5871/task/5877/stat : 5877 (satake) R 5869 5871 27791 0 -1 4202560 505 0 0 0 0 4 0 0 20 0 17 0 639397792 33751040 5746 18446744073709551615 134512640 135180984 4294039040 18446744073709551615 134675767 0 0 1 0 0 0 0 -1 8 0 0 0 0 0
[pid=5871/tid=5878] ppid=5869 vsize=32960 CPUtime=0.02
/proc/5871/task/5878/stat : 5878 (satake) S 5869 5871 27791 0 -1 4202560 481 0 0 0 0 2 0 0 20 0 17 0 639397792 33751040 5746 18446744073709551615 134512640 135180984 4294039040 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 9 0 0 0 0 0
[pid=5871/tid=5879] ppid=5869 vsize=32960 CPUtime=0
/proc/5871/task/5879/stat : 5879 (satake) R 5869 5871 27791 0 -1 4202560 190 0 0 0 0 0 0 0 20 0 17 0 639397792 33751040 5746 18446744073709551615 134512640 135180984 4294039040 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 9 0 0 0 0 0
[pid=5871/tid=5880] ppid=5869 vsize=32960 CPUtime=0.02
/proc/5871/task/5880/stat : 5880 (satake) S 5869 5871 27791 0 -1 4202560 484 0 0 0 0 2 0 0 20 0 17 0 639397792 33751040 5746 18446744073709551615 134512640 135180984 4294039040 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 10 0 0 0 0 0
[pid=5871/tid=5881] ppid=5869 vsize=32960 CPUtime=0
/proc/5871/task/5881/stat : 5881 (satake) R 5869 5871 27791 0 -1 4202560 192 0 0 0 0 0 0 0 20 0 17 0 639397792 33751040 5746 18446744073709551615 134512640 135180984 4294039040 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 7 0 0 0 0 0
[pid=5871/tid=5882] ppid=5869 vsize=32960 CPUtime=0
/proc/5871/task/5882/stat : 5882 (satake) R 5869 5871 27791 0 -1 4202560 185 0 0 0 0 0 0 0 20 0 17 0 639397792 33751040 5748 18446744073709551615 134512640 135180984 4294039040 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 8 0 0 0 0 0
[pid=5871/tid=5883] ppid=5869 vsize=32960 CPUtime=0.04
/proc/5871/task/5883/stat : 5883 (satake) D 5869 5871 27791 0 -1 4202560 471 0 0 0 0 4 0 0 20 0 17 0 639397792 33751040 5748 18446744073709551615 134512640 135180984 4294039040 18446744073709551615 134675767 0 0 1 0 0 0 0 -1 4 0 0 0 0 0
[pid=5871/tid=5884] ppid=5869 vsize=32960 CPUtime=0
/proc/5871/task/5884/stat : 5884 (satake) D 5869 5871 27791 0 -1 4202560 170 0 0 0 0 0 0 0 20 0 17 0 639397792 33751040 5748 18446744073709551615 134512640 135180984 4294039040 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 4 0 0 0 0 0
[pid=5871/tid=5885] ppid=5869 vsize=32960 CPUtime=0.04
/proc/5871/task/5885/stat : 5885 (satake) D 5869 5871 27791 0 -1 4202560 462 0 0 0 0 4 0 0 20 0 17 0 639397792 33751040 5749 18446744073709551615 134512640 135180984 4294039040 18446744073709551615 134675846 0 0 1 0 0 0 0 -1 11 0 0 0 0 0
[pid=5871/tid=5886] ppid=5869 vsize=32960 CPUtime=0
/proc/5871/task/5886/stat : 5886 (satake) R 5869 5871 27791 0 -1 4202560 210 0 0 0 0 0 0 0 20 0 17 0 639397793 33751040 5754 18446744073709551615 134512640 135180984 4294039040 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 10 0 0 0 0 0
[pid=5871/tid=5887] ppid=5869 vsize=32960 CPUtime=0.04
/proc/5871/task/5887/stat : 5887 (satake) R 5869 5871 27791 0 -1 4202560 514 0 0 0 0 4 0 0 20 0 17 0 639397793 33751040 5755 18446744073709551615 134512640 135180984 4294039040 18446744073709551615 134522388 0 0 1 0 0 0 0 -1 12 0 0 0 0 0
Current children cumulated CPU time (s) 0.43
Current children cumulated vsize (KiB) 32960

[startup+0.303484 s]
/proc/loadavg: 5.14 5.41 6.13 2/184 5871
/proc/meminfo: memFree=19138780/36427776 swapFree=2988/6356
[pid=5871] ppid=5869 vsize=72960 CPUtime=1.3
/proc/5871/stat : 5871 (satake) S 5869 5871 27791 0 -1 4202496 12273 0 0 0 4 126 0 0 20 0 17 0 639397791 74711040 12212 18446744073709551615 134512640 135180984 4294039040 18446744073709551615 134573496 0 0 1 0 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/5871/statm: 18240 12215 63 164 0 18075 0
[pid=5871/tid=5872] ppid=5869 vsize=72960 CPUtime=0
/proc/5871/task/5872/stat : 5872 (satake) S 5869 5871 27791 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 17 0 639397792 74711040 12215 18446744073709551615 134512640 135180984 4294039040 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 4 0 0 0 0 0
[pid=5871/tid=5873] ppid=5869 vsize=72960 CPUtime=0.1
/proc/5871/task/5873/stat : 5873 (satake) R 5869 5871 27791 0 -1 4202560 988 0 0 0 0 10 0 0 20 0 17 0 639397792 74711040 12215 18446744073709551615 134512640 135180984 4294039040 18446744073709551615 134702260 0 0 1 0 0 0 0 -1 5 0 0 0 0 0
[pid=5871/tid=5874] ppid=5869 vsize=72960 CPUtime=0.12
/proc/5871/task/5874/stat : 5874 (satake) D 5869 5871 27791 0 -1 4202560 1025 0 0 0 0 12 0 0 20 0 17 0 639397792 74711040 12216 18446744073709551615 134512640 135180984 4294039040 18446744073709551615 134702260 0 0 1 0 0 0 0 -1 6 0 0 0 0 0
[pid=5871/tid=5875] ppid=5869 vsize=72960 CPUtime=0.06
/proc/5871/task/5875/stat : 5875 (satake) R 5869 5871 27791 0 -1 4202560 605 0 0 0 0 6 0 0 20 0 17 0 639397792 74711040 12216 18446744073709551615 134512640 135180984 4294039040 18446744073709551615 134522598 0 0 1 0 0 0 0 -1 5 0 0 0 0 0
[pid=5871/tid=5876] ppid=5869 vsize=72960 CPUtime=0.1
/proc/5871/task/5876/stat : 5876 (satake) D 5869 5871 27791 0 -1 4202560 943 0 0 0 0 10 0 0 20 0 17 0 639397792 74711040 12216 18446744073709551615 134512640 135180984 4294039040 18446744073709551615 134522408 0 0 1 0 0 0 0 -1 7 0 0 0 0 0
[pid=5871/tid=5877] ppid=5869 vsize=72960 CPUtime=0.1
/proc/5871/task/5877/stat : 5877 (satake) D 5869 5871 27791 0 -1 4202560 936 0 0 0 0 10 0 0 20 0 17 0 639397792 74711040 12218 18446744073709551615 134512640 135180984 4294039040 18446744073709551615 134675767 0 0 1 0 0 0 0 -1 8 0 0 0 0 0
[pid=5871/tid=5878] ppid=5869 vsize=72960 CPUtime=0.08
/proc/5871/task/5878/stat : 5878 (satake) D 5869 5871 27791 0 -1 4202560 869 0 0 0 0 8 0 0 20 0 17 0 639397792 74711040 12218 18446744073709551615 134512640 135180984 4294039040 18446744073709551615 134522388 0 0 1 0 0 0 0 -1 9 0 0 0 0 0
[pid=5871/tid=5879] ppid=5869 vsize=72960 CPUtime=0.06
/proc/5871/task/5879/stat : 5879 (satake) D 5869 5871 27791 0 -1 4202560 596 0 0 0 0 6 0 0 20 0 17 0 639397792 74711040 12219 18446744073709551615 134512640 135180984 4294039040 18446744073709551615 134691935 0 0 1 0 0 0 0 -1 9 0 0 0 0 0
[pid=5871/tid=5880] ppid=5869 vsize=72960 CPUtime=0.08
/proc/5871/task/5880/stat : 5880 (satake) D 5869 5871 27791 0 -1 4202560 860 0 0 0 0 8 0 0 20 0 17 0 639397792 74711040 12219 18446744073709551615 134512640 135180984 4294039040 18446744073709551615 134522560 0 0 1 0 0 0 0 -1 10 0 0 0 0 0
[pid=5871/tid=5881] ppid=5869 vsize=72960 CPUtime=0.06
/proc/5871/task/5881/stat : 5881 (satake) D 5869 5871 27791 0 -1 4202560 648 0 0 0 0 6 0 0 20 0 17 0 639397792 74711040 12219 18446744073709551615 134512640 135180984 4294039040 18446744073709551615 134691935 0 0 1 0 0 0 0 -1 7 0 0 0 0 0
[pid=5871/tid=5882] ppid=5869 vsize=72960 CPUtime=0.04
/proc/5871/task/5882/stat : 5882 (satake) S 5869 5871 27791 0 -1 4202560 548 0 0 0 0 4 0 0 20 0 17 0 639397792 74711040 12220 18446744073709551615 134512640 135180984 4294039040 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 8 0 0 0 0 0
[pid=5871/tid=5883] ppid=5869 vsize=72960 CPUtime=0.1
/proc/5871/task/5883/stat : 5883 (satake) D 5869 5871 27791 0 -1 4202560 946 0 0 0 0 10 0 0 20 0 17 0 639397792 74711040 12220 18446744073709551615 134512640 135180984 4294039040 18446744073709551615 134522388 0 0 1 0 0 0 0 -1 4 0 0 0 0 0
[pid=5871/tid=5884] ppid=5869 vsize=72960 CPUtime=0.04
/proc/5871/task/5884/stat : 5884 (satake) R 5869 5871 27791 0 -1 4202560 573 0 0 0 0 4 0 0 20 0 17 0 639397792 74711040 12224 18446744073709551615 134512640 135180984 4294039040 18446744073709551615 134675767 0 0 1 0 0 0 0 -1 4 0 0 0 0 0
[pid=5871/tid=5885] ppid=5869 vsize=72960 CPUtime=0.1
/proc/5871/task/5885/stat : 5885 (satake) R 5869 5871 27791 0 -1 4202560 895 0 0 0 0 10 0 0 20 0 17 0 639397792 74711040 12227 18446744073709551615 134512640 135180984 4294039040 18446744073709551615 134675846 0 0 1 0 0 0 0 -1 11 0 0 0 0 0
[pid=5871/tid=5886] ppid=5869 vsize=72960 CPUtime=0.06
/proc/5871/task/5886/stat : 5886 (satake) R 5869 5871 27791 0 -1 4202560 686 0 0 0 0 6 0 0 20 0 17 0 639397793 74711040 12227 18446744073709551615 134512640 135180984 4294039040 18446744073709551615 134675846 0 0 1 0 0 0 0 -1 10 0 0 0 0 0
[pid=5871/tid=5887] ppid=5869 vsize=72960 CPUtime=0.12
/proc/5871/task/5887/stat : 5887 (satake) R 5869 5871 27791 0 -1 4202560 1034 0 0 0 0 12 0 0 20 0 17 0 639397793 74711040 12228 18446744073709551615 134512640 135180984 4294039040 18446744073709551615 134691935 0 0 1 0 0 0 0 -1 12 0 0 0 0 0
Current children cumulated CPU time (s) 1.3
Current children cumulated vsize (KiB) 72960

[startup+0.70358 s]
/proc/loadavg: 5.14 5.41 6.13 2/184 5871
/proc/meminfo: memFree=19138780/36427776 swapFree=2988/6356
[pid=5871] ppid=5869 vsize=104376 CPUtime=2.62
/proc/5871/stat : 5871 (satake) S 5869 5871 27791 0 -1 4202496 23255 0 0 0 22 240 0 0 20 0 17 0 639397791 106881024 23194 18446744073709551615 134512640 135180984 4294039040 18446744073709551615 134573496 0 0 1 0 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/5871/statm: 26094 23195 63 164 0 25929 0
[pid=5871/tid=5872] ppid=5869 vsize=104376 CPUtime=0
/proc/5871/task/5872/stat : 5872 (satake) S 5869 5871 27791 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 17 0 639397792 106881024 23196 18446744073709551615 134512640 135180984 4294039040 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 4 0 0 0 0 0
[pid=5871/tid=5873] ppid=5869 vsize=104376 CPUtime=0.2
/proc/5871/task/5873/stat : 5873 (satake) S 5869 5871 27791 0 -1 4202560 1628 0 0 0 4 16 0 0 20 0 17 0 639397792 106881024 23196 18446744073709551615 134512640 135180984 4294039040 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 5 0 0 0 0 0
[pid=5871/tid=5874] ppid=5869 vsize=104376 CPUtime=0.22
/proc/5871/task/5874/stat : 5874 (satake) D 5869 5871 27791 0 -1 4202560 1665 0 0 0 2 20 0 0 20 0 17 0 639397792 106881024 23196 18446744073709551615 134512640 135180984 4294039040 18446744073709551615 134675767 0 0 1 0 0 0 0 -1 6 0 0 0 0 0
[pid=5871/tid=5875] ppid=5869 vsize=104376 CPUtime=0.12
/proc/5871/task/5875/stat : 5875 (satake) S 5869 5871 27791 0 -1 4202560 1407 0 0 0 0 12 0 0 20 0 17 0 639397792 106881024 23196 18446744073709551615 134512640 135180984 4294039040 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 5 0 0 0 0 0
[pid=5871/tid=5876] ppid=5869 vsize=104376 CPUtime=0.18
/proc/5871/task/5876/stat : 5876 (satake) R 5869 5871 27791 0 -1 4202560 1645 0 0 0 0 18 0 0 20 0 17 0 639397792 106881024 23196 18446744073709551615 134512640 135180984 4294039040 18446744073709551615 134579745 0 0 1 0 0 0 0 -1 7 0 0 0 0 0
[pid=5871/tid=5877] ppid=5869 vsize=104376 CPUtime=0.18
/proc/5871/task/5877/stat : 5877 (satake) S 5869 5871 27791 0 -1 4202560 1656 0 0 0 2 16 0 0 20 0 17 0 639397792 106881024 23197 18446744073709551615 134512640 135180984 4294039040 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 8 0 0 0 0 0
[pid=5871/tid=5878] ppid=5869 vsize=104376 CPUtime=0.16
/proc/5871/task/5878/stat : 5878 (satake) D 5869 5871 27791 0 -1 4202560 1481 0 0 0 0 16 0 0 20 0 17 0 639397792 106881024 23197 18446744073709551615 134512640 135180984 4294039040 18446744073709551615 134675846 0 0 1 0 0 0 0 -1 9 0 0 0 0 0
[pid=5871/tid=5879] ppid=5869 vsize=104376 CPUtime=0.12
/proc/5871/task/5879/stat : 5879 (satake) R 5869 5871 27791 0 -1 4202560 1468 0 0 0 2 10 0 0 20 0 17 0 639397792 106881024 23197 18446744073709551615 134512640 135180984 4294039040 18446744073709551615 134702260 0 0 1 0 0 0 0 -1 9 0 0 0 0 0
[pid=5871/tid=5880] ppid=5869 vsize=104376 CPUtime=0.16
/proc/5871/task/5880/stat : 5880 (satake) R 5869 5871 27791 0 -1 4202560 1603 0 0 0 2 14 0 0 20 0 17 0 639397792 106881024 23202 18446744073709551615 134512640 135180984 4294039040 18446744073709551615 134579745 0 0 1 0 0 0 0 -1 10 0 0 0 0 0
[pid=5871/tid=5881] ppid=5869 vsize=104376 CPUtime=0.14

################
# More data... #
################

deleting IPC queue 1311178830
deleting IPC queue 1311211599
deleting IPC queue 1311244368
deleting IPC queue 1311277137
deleting IPC queue 1311309906
deleting IPC queue 1311342675
deleting IPC queue 1311375444
deleting IPC queue 1311408213
deleting IPC queue 1311440982
deleting IPC queue 1311473751
deleting IPC queue 1311506520
deleting IPC queue 1311539289
deleting IPC queue 1311572058
deleting IPC queue 1311604827
deleting IPC queue 1311637596
deleting IPC queue 1311670365
deleting IPC queue 1311703134
deleting IPC queue 1311735903
deleting IPC queue 1311768672
deleting IPC queue 1311801441
deleting IPC queue 1311834210
deleting IPC queue 1311866979
deleting IPC queue 1311899748
deleting IPC queue 1311932517
deleting IPC queue 1311965286
deleting IPC queue 1311998055
deleting IPC queue 1312030824
deleting IPC queue 1312063593
deleting IPC queue 1312096362
deleting IPC queue 1312129131
deleting IPC queue 1312161900
deleting IPC queue 1312194669
deleting IPC queue 1312227438
deleting IPC queue 1312260207
deleting IPC queue 1312292976
deleting IPC queue 1312325745
deleting IPC queue 1312358514
deleting IPC queue 1312391283
deleting IPC queue 1312424052
deleting IPC queue 1312456821
deleting IPC queue 1312489590
deleting IPC queue 1312522359
deleting IPC queue 1312555128
deleting IPC queue 1312587897
deleting IPC queue 1312620666
deleting IPC queue 1312653435
deleting IPC queue 1312686204
deleting IPC queue 1312718973
deleting IPC queue 1312751742
deleting IPC queue 1312784511
deleting IPC queue 1312817280
deleting IPC queue 1312850049
deleting IPC queue 1312882818
deleting IPC queue 1312915587
deleting IPC queue 1312948356
deleting IPC queue 1312981125
deleting IPC queue 1313013894
deleting IPC queue 1313046663
deleting IPC queue 1313079432
deleting IPC queue 1313112201
deleting IPC queue 1313144970
deleting IPC queue 1313177739
deleting IPC queue 1313210508
deleting IPC queue 1313243277
deleting IPC queue 1313276046
deleting IPC queue 1313308815
deleting IPC queue 1313341584
deleting IPC queue 1313374353
deleting IPC queue 1313407122
deleting IPC queue 1313439891
deleting IPC queue 1313472660
deleting IPC queue 1313505429
deleting IPC queue 1313538198
deleting IPC queue 1313570967
deleting IPC queue 1313603736
deleting IPC queue 1313636505
deleting IPC queue 1313669274
deleting IPC queue 1313702043
deleting IPC queue 1313734812
deleting IPC queue 1313767581
deleting IPC queue 1313800350
deleting IPC queue 1313833119
deleting IPC queue 1313865888
deleting IPC queue 1313898657
deleting IPC queue 1313931426
deleting IPC queue 1313964195
deleting IPC queue 1313996964
deleting IPC queue 1314029733
deleting IPC queue 1314062502
deleting IPC queue 1314095271
deleting IPC queue 1314128040
deleting IPC queue 1314160809
deleting IPC queue 1314193578
deleting IPC queue 1314226347
deleting IPC queue 1314259116
deleting IPC queue 1314291885
deleting IPC queue 1314324654
deleting IPC queue 1314357423
deleting IPC queue 1314390192
deleting IPC queue 1314422961
deleting IPC queue 1314455730
deleting IPC queue 1314488499
deleting IPC queue 1314521268
deleting IPC queue 1314554037
deleting IPC queue 1314586806
deleting IPC queue 1314619575
deleting IPC queue 1314652344
deleting IPC queue 1314685113
deleting IPC queue 1314717882
deleting IPC queue 1314750651
deleting IPC queue 1314783420
deleting IPC queue 1314816189
deleting IPC queue 1314848958
deleting IPC queue 1314881727
deleting IPC queue 1314914496
deleting IPC queue 1314947265
deleting IPC queue 1314980034
deleting IPC queue 1315012803
deleting IPC queue 1315045572
deleting IPC queue 1315078341
deleting IPC queue 1315111110
deleting IPC queue 1315143879
deleting IPC queue 1315176648
deleting IPC queue 1315209417
deleting IPC queue 1315242186
deleting IPC queue 1315274955
deleting IPC queue 1315307724
deleting IPC queue 1315340493
deleting IPC queue 1315373262
deleting IPC queue 1315406031
deleting IPC queue 1315438800
deleting IPC queue 1315471569
deleting IPC queue 1315504338
deleting IPC queue 1315537107
deleting IPC queue 1315569876
deleting IPC queue 1315602645
deleting IPC queue 1315635414
deleting IPC queue 1315668183
deleting IPC queue 1315700952
deleting IPC queue 1315733721
deleting IPC queue 1315766490
deleting IPC queue 1315799259
deleting IPC queue 1315832028
deleting IPC queue 1315864797
deleting IPC queue 1315897566
deleting IPC queue 1315930335
deleting IPC queue 1315963104
deleting IPC queue 1315995873
deleting IPC queue 1316028642
deleting IPC queue 1316061411
deleting IPC queue 1316094180
deleting IPC queue 1316126949
deleting IPC queue 1316159718
deleting IPC queue 1316192487
deleting IPC queue 1316225256
deleting IPC queue 1316258025
deleting IPC queue 1316290794
deleting IPC queue 1316323563
deleting IPC queue 1316356332
deleting IPC queue 1316389101
deleting IPC queue 1316421870
deleting IPC queue 1316454639
deleting IPC queue 1316487408
deleting IPC queue 1316520177
deleting IPC queue 1316552946
deleting IPC queue 1316585715
deleting IPC queue 1316618484
deleting IPC queue 1316651253
deleting IPC queue 1316684022
deleting IPC queue 1316716791
deleting IPC queue 1316749560
deleting IPC queue 1316782329
deleting IPC queue 1316815098
deleting IPC queue 1316847867
deleting IPC queue 1316880636
deleting IPC queue 1316913405
deleting IPC queue 1316946174
deleting IPC queue 1316978943

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3538.33
system time used= 625.107
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 80219
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= 60165475
involuntary context switches= 2250766

runsolver used 4.38827 second user time and 11.8327 second system time

The end

Launcher Data 

Begin job on xenhost3-49 at 2009-06-12 12:01:54
IDJOB=1779552
IDBENCH=70874
IDSOLVER=631
FILE ID=xenhost3-49/1779552-1244800914
PBS_JOBID=
Free space on /tmp= 7034 MiB

SOLVER NAME= satake 2009-03-22 (16 threads)
BENCH NAME= SAT09/APPLICATIONS/crypto/desgen/gss-24-s100.cnf
COMMAND LINE= HOME/satake BENCHNAME MAXNBTHREAD TIMEOUT
RUNSOLVER COMMAND LINE= runsolver --timestamp  -w /tmp/evaluation-result-1779552-1244800914/watcher-1779552-1244800914 -o /tmp/evaluation-result-1779552-1244800914/solver-1779552-1244800914 -C 10000 -W 1000 -M 2047 --output-limit 1,15 --cleanup-all-ipc-queues HOME/satake HOME/instance-1779552-1244800914.cnf 16 10000

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

MD5SUM BENCH= 107f2922072d64498e09af3270c7b9c3
RANDOM SEED= 967967334

Linux xenhost3-49 2.6.27.5 #1 SMP Mon Mar 30 10:34:22 CEST 2009 x86_64 GNU/Linux

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 15
model name	: Intel(R) Xeon(R) CPU           X7350  @ 2.93GHz
stepping	: 11
cpu MHz		: 2925.864
cache size	: 4096 KB
physical id	: 0
siblings	: 1
core id		: 0
cpu cores	: 1
apicid		: 0
initial apicid	: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 10
wp		: yes
flags		: fpu de tsc msr pae mce cx8 apic sep mtrr mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx lm constant_tsc arch_perfmon pebs bts rep_good nopl pni monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr dca lahf_lm
bogomips	: 5855.06
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 15
model name	: Intel(R) Xeon(R) CPU           X7350  @ 2.93GHz
stepping	: 11
cpu MHz		: 2925.864
cache size	: 4096 KB
physical id	: 2
siblings	: 1
core id		: 0
cpu cores	: 1
apicid		: 8
initial apicid	: 8
fpu		: yes
fpu_exception	: yes
cpuid level	: 10
wp		: yes
flags		: fpu de tsc msr pae mce cx8 apic sep mtrr mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx lm constant_tsc arch_perfmon pebs bts rep_good nopl pni monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr dca lahf_lm
bogomips	: 5855.06
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 2
vendor_id	: GenuineIntel
cpu family	: 6
model		: 15
model name	: Intel(R) Xeon(R) CPU           X7350  @ 2.93GHz
stepping	: 11
cpu MHz		: 2925.864
cache size	: 4096 KB
physical id	: 4
siblings	: 1
core id		: 0
cpu cores	: 1
apicid		: 16
initial apicid	: 16
fpu		: yes
fpu_exception	: yes
cpuid level	: 10
wp		: yes
flags		: fpu de tsc msr pae mce cx8 apic sep mtrr mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx lm constant_tsc arch_perfmon pebs bts rep_good nopl pni monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr dca lahf_lm
bogomips	: 5855.06
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 3
vendor_id	: GenuineIntel
cpu family	: 6
model		: 15
model name	: Intel(R) Xeon(R) CPU           X7350  @ 2.93GHz
stepping	: 11
cpu MHz		: 2925.864
cache size	: 4096 KB
physical id	: 6
siblings	: 1
core id		: 0
cpu cores	: 1
apicid		: 24
initial apicid	: 24
fpu		: yes
fpu_exception	: yes
cpuid level	: 10
wp		: yes
flags		: fpu de tsc msr pae mce cx8 apic sep mtrr mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx lm constant_tsc arch_perfmon pebs bts rep_good nopl pni monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr dca lahf_lm
bogomips	: 5855.06
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 4
vendor_id	: GenuineIntel
cpu family	: 6
model		: 15
model name	: Intel(R) Xeon(R) CPU           X7350  @ 2.93GHz
stepping	: 11
cpu MHz		: 2925.864
cache size	: 4096 KB
physical id	: 0
siblings	: 1
core id		: 2
cpu cores	: 1
apicid		: 2
initial apicid	: 2
fpu		: yes
fpu_exception	: yes
cpuid level	: 10
wp		: yes
flags		: fpu de tsc msr pae mce cx8 apic sep mtrr mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx lm constant_tsc arch_perfmon pebs bts rep_good nopl pni monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr dca lahf_lm
bogomips	: 5855.06
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 5
vendor_id	: GenuineIntel
cpu family	: 6
model		: 15
model name	: Intel(R) Xeon(R) CPU           X7350  @ 2.93GHz
stepping	: 11
cpu MHz		: 2925.864
cache size	: 4096 KB
physical id	: 2
siblings	: 1
core id		: 2
cpu cores	: 1
apicid		: 10
initial apicid	: 10
fpu		: yes
fpu_exception	: yes
cpuid level	: 10
wp		: yes
flags		: fpu de tsc msr pae mce cx8 apic sep mtrr mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx lm constant_tsc arch_perfmon pebs bts rep_good nopl pni monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr dca lahf_lm
bogomips	: 5855.06
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 15
model name	: Intel(R) Xeon(R) CPU           X7350  @ 2.93GHz
stepping	: 11
cpu MHz		: 2925.864
cache size	: 4096 KB
physical id	: 4
siblings	: 1
core id		: 2
cpu cores	: 1
apicid		: 18
initial apicid	: 18
fpu		: yes
fpu_exception	: yes
cpuid level	: 10
wp		: yes
flags		: fpu de tsc msr pae mce cx8 apic sep mtrr mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx lm constant_tsc arch_perfmon pebs bts rep_good nopl pni monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr dca lahf_lm
bogomips	: 5855.06
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 15
model name	: Intel(R) Xeon(R) CPU           X7350  @ 2.93GHz
stepping	: 11
cpu MHz		: 2925.864
cache size	: 4096 KB
physical id	: 6
siblings	: 1
core id		: 2
cpu cores	: 1
apicid		: 26
initial apicid	: 26
fpu		: yes
fpu_exception	: yes
cpuid level	: 10
wp		: yes
flags		: fpu de tsc msr pae mce cx8 apic sep mtrr mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx lm constant_tsc arch_perfmon pebs bts rep_good nopl pni monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr dca lahf_lm
bogomips	: 5855.06
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 8
vendor_id	: GenuineIntel
cpu family	: 6
model		: 15
model name	: Intel(R) Xeon(R) CPU           X7350  @ 2.93GHz
stepping	: 11
cpu MHz		: 2925.864
cache size	: 4096 KB
physical id	: 0
siblings	: 1
core id		: 1
cpu cores	: 1
apicid		: 1
initial apicid	: 1
fpu		: yes
fpu_exception	: yes
cpuid level	: 10
wp		: yes
flags		: fpu de tsc msr pae mce cx8 apic sep mtrr mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx lm constant_tsc arch_perfmon pebs bts rep_good nopl pni monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr dca lahf_lm
bogomips	: 5855.06
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 9
vendor_id	: GenuineIntel
cpu family	: 6
model		: 15
model name	: Intel(R) Xeon(R) CPU           X7350  @ 2.93GHz
stepping	: 11
cpu MHz		: 2925.864
cache size	: 4096 KB
physical id	: 2
siblings	: 1
core id		: 1
cpu cores	: 1
apicid		: 9
initial apicid	: 9
fpu		: yes
fpu_exception	: yes
cpuid level	: 10
wp		: yes
flags		: fpu de tsc msr pae mce cx8 apic sep mtrr mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx lm constant_tsc arch_perfmon pebs bts rep_good nopl pni monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr dca lahf_lm
bogomips	: 5855.06
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 10
vendor_id	: GenuineIntel
cpu family	: 6
model		: 15
model name	: Intel(R) Xeon(R) CPU           X7350  @ 2.93GHz
stepping	: 11
cpu MHz		: 2925.864
cache size	: 4096 KB
physical id	: 4
siblings	: 1
core id		: 1
cpu cores	: 1
apicid		: 17
initial apicid	: 17
fpu		: yes
fpu_exception	: yes
cpuid level	: 10
wp		: yes
flags		: fpu de tsc msr pae mce cx8 apic sep mtrr mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx lm constant_tsc arch_perfmon pebs bts rep_good nopl pni monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr dca lahf_lm
bogomips	: 5855.06
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 11
vendor_id	: GenuineIntel
cpu family	: 6
model		: 15
model name	: Intel(R) Xeon(R) CPU           X7350  @ 2.93GHz
stepping	: 11
cpu MHz		: 2925.864
cache size	: 4096 KB
physical id	: 6
siblings	: 1
core id		: 1
cpu cores	: 1
apicid		: 25
initial apicid	: 25
fpu		: yes
fpu_exception	: yes
cpuid level	: 10
wp		: yes
flags		: fpu de tsc msr pae mce cx8 apic sep mtrr mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx lm constant_tsc arch_perfmon pebs bts rep_good nopl pni monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr dca lahf_lm
bogomips	: 5855.06
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 12
vendor_id	: GenuineIntel
cpu family	: 6
model		: 15
model name	: Intel(R) Xeon(R) CPU           X7350  @ 2.93GHz
stepping	: 11
cpu MHz		: 2925.864
cache size	: 4096 KB
physical id	: 0
siblings	: 1
core id		: 3
cpu cores	: 1
apicid		: 3
initial apicid	: 3
fpu		: yes
fpu_exception	: yes
cpuid level	: 10
wp		: yes
flags		: fpu de tsc msr pae mce cx8 apic sep mtrr mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx lm constant_tsc arch_perfmon pebs bts rep_good nopl pni monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr dca lahf_lm
bogomips	: 5855.06
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 13
vendor_id	: GenuineIntel
cpu family	: 6
model		: 15
model name	: Intel(R) Xeon(R) CPU           X7350  @ 2.93GHz
stepping	: 11
cpu MHz		: 2925.864
cache size	: 4096 KB
physical id	: 2
siblings	: 1
core id		: 3
cpu cores	: 1
apicid		: 11
initial apicid	: 11
fpu		: yes
fpu_exception	: yes
cpuid level	: 10
wp		: yes
flags		: fpu de tsc msr pae mce cx8 apic sep mtrr mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx lm constant_tsc arch_perfmon pebs bts rep_good nopl pni monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr dca lahf_lm
bogomips	: 5855.06
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 14
vendor_id	: GenuineIntel
cpu family	: 6
model		: 15
model name	: Intel(R) Xeon(R) CPU           X7350  @ 2.93GHz
stepping	: 11
cpu MHz		: 2925.864
cache size	: 4096 KB
physical id	: 4
siblings	: 1
core id		: 3
cpu cores	: 1
apicid		: 19
initial apicid	: 19
fpu		: yes
fpu_exception	: yes
cpuid level	: 10
wp		: yes
flags		: fpu de tsc msr pae mce cx8 apic sep mtrr mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx lm constant_tsc arch_perfmon pebs bts rep_good nopl pni monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr dca lahf_lm
bogomips	: 5855.06
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 15
vendor_id	: GenuineIntel
cpu family	: 6
model		: 15
model name	: Intel(R) Xeon(R) CPU           X7350  @ 2.93GHz
stepping	: 11
cpu MHz		: 2925.864
cache size	: 4096 KB
physical id	: 6
siblings	: 1
core id		: 3
cpu cores	: 1
apicid		: 27
initial apicid	: 27
fpu		: yes
fpu_exception	: yes
cpuid level	: 10
wp		: yes
flags		: fpu de tsc msr pae mce cx8 apic sep mtrr mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx lm constant_tsc arch_perfmon pebs bts rep_good nopl pni monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr dca lahf_lm
bogomips	: 5855.06
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:     36427776 kB
MemFree:      19138780 kB
Buffers:        433844 kB
Cached:       14106300 kB
SwapCached:          0 kB
Active:        4078212 kB
Inactive:     10468940 kB
SwapTotal:    25398692 kB
SwapFree:     25398692 kB
Dirty:            2016 kB
Writeback:           0 kB
AnonPages:        6356 kB
Mapped:           2988 kB
Slab:           688300 kB
SReclaimable:   661508 kB
SUnreclaim:      26792 kB
PageTables:          0 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
WritebackTmp:        0 kB
CommitLimit:  43612580 kB
Committed_AS:    29640 kB
VmallocTotal: 34359738367 kB
VmallocUsed:    275248 kB
VmallocChunk: 34359462839 kB
DirectMap4k:  99216660 kB
DirectMap2M:         0 kB

Free space on /tmp at the end= 7034 MiB
End job on xenhost3-49 at 2009-06-12 12:18:36