Trace number 1780047

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) 1494.99 1000.07

General information on the benchmark

NameAPPLICATIONS/bioinfo/
q_query_3_l45_lambda.cnf
MD5SUM94aa7bdbcbe99c5b3082c395dc2384e9
Bench CategoryAPPLICATION (applications instances)
Best result obtained on this benchmarkUNSAT
Best CPU time to get the best result obtained on this benchmark345.2
Satisfiable
(Un)Satisfiability was proved
Number of variables32313
Number of clauses161529
Sum of the clauses size465707
Maximum clause length9
Minimum clause length1
Number of clauses of size 14190
Number of clauses of size 240231
Number of clauses of size 394818
Number of clauses of size 415389
Number of clauses of size 56766
Number of clauses of size over 5135

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-1780047-1244812729/watcher-1780047-1244812729 -o /tmp/evaluation-result-1780047-1244812729/solver-1780047-1244812729 -C 10000 -W 1000 -M 2047 --output-limit 1,15 --cleanup-all-ipc-queues HOME/satake HOME/instance-1780047-1244812729.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: 2.28 2.60 2.61 2/184 7892
/proc/meminfo: memFree=19128640/36427776 swapFree=4028/8176
[pid=7892] ppid=7890 vsize=7352 CPUtime=0
/proc/7892/stat : 7892 (satake) R 7890 7892 27791 0 -1 4202496 463 0 0 0 0 0 0 0 20 0 16 0 640579303 7528448 419 18446744073709551615 134512640 135180984 4287463360 18446744073709551615 134705812 0 0 1 0 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/7892/statm: 1838 419 63 164 0 1673 0
[pid=7892/tid=7893] ppid=7890 vsize=7556 CPUtime=0
/proc/7892/task/7893/stat : 7893 (satake) S 7890 7892 27791 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 16 0 640579303 7737344 451 18446744073709551615 134512640 135180984 4287463360 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 1 0 0 0 0 0
[pid=7892/tid=7894] ppid=7890 vsize=7556 CPUtime=0
/proc/7892/task/7894/stat : 7894 (satake) R 7890 7892 27791 0 -1 4202560 70 0 0 0 0 0 0 0 20 0 16 0 640579303 7737344 453 18446744073709551615 134512640 135180984 4287463360 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 2 0 0 0 0 0
[pid=7892/tid=7895] ppid=7890 vsize=7556 CPUtime=0
/proc/7892/task/7895/stat : 7895 (satake) R 7890 7892 27791 0 -1 4202560 62 0 0 0 0 0 0 0 20 0 16 0 640579303 7737344 454 18446744073709551615 134512640 135180984 4287463360 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 1 0 0 0 0 0
[pid=7892/tid=7896] ppid=7890 vsize=7556 CPUtime=0
/proc/7892/task/7896/stat : 7896 (satake) S 7890 7892 27791 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 17 0 640579303 7737344 454 18446744073709551615 134512640 135180984 4287463360 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 1 0 0 0 0 0
[pid=7892/tid=7897] ppid=7890 vsize=7556 CPUtime=0
/proc/7892/task/7897/stat : 7897 (satake) R 7890 7892 27791 0 -1 4202560 42 0 0 0 0 0 0 0 20 0 17 0 640579303 7737344 454 18446744073709551615 134512640 135180984 4287463360 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 3 0 0 0 0 0
[pid=7892/tid=7898] ppid=7890 vsize=7556 CPUtime=0
/proc/7892/task/7898/stat : 7898 (satake) R 7890 7892 27791 0 -1 4202560 39 0 0 0 0 0 0 0 20 0 17 0 640579303 7737344 454 18446744073709551615 134512640 135180984 4287463360 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 4 0 0 0 0 0
[pid=7892/tid=7899] ppid=7890 vsize=7556 CPUtime=0
/proc/7892/task/7899/stat : 7899 (satake) R 7890 7892 27791 0 -1 4202560 29 0 0 0 0 0 0 0 20 0 17 0 640579303 7737344 455 18446744073709551615 134512640 135180984 4287463360 18446744073709551615 134691935 0 0 1 0 0 0 0 -1 4 0 0 0 0 0
[pid=7892/tid=7900] ppid=7890 vsize=7556 CPUtime=0
/proc/7892/task/7900/stat : 7900 (satake) R 7890 7892 27791 0 -1 4202560 24 0 0 0 0 0 0 0 20 0 17 0 640579303 7737344 457 18446744073709551615 134512640 135180984 4287463360 18446744073709551615 134691935 0 0 1 0 0 0 0 -1 5 0 0 0 0 0
[pid=7892/tid=7901] ppid=7890 vsize=7556 CPUtime=0
/proc/7892/task/7901/stat : 7901 (satake) R 7890 7892 27791 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 17 0 640579303 7737344 458 18446744073709551615 134512640 135180984 4287463360 18446744073709551615 134691935 0 0 1 0 0 0 0 -1 5 0 0 0 0 0
[pid=7892/tid=7902] ppid=7890 vsize=7556 CPUtime=0
/proc/7892/task/7902/stat : 7902 (satake) R 7890 7892 27791 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 17 0 640579303 7737344 461 18446744073709551615 134512640 135180984 4287463360 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 3 0 0 0 0 0
[pid=7892/tid=7903] ppid=7890 vsize=7556 CPUtime=0
/proc/7892/task/7903/stat : 7903 (satake) S 7890 7892 27791 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 17 0 640579303 7737344 476 18446744073709551615 134512640 135180984 4287463360 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 7 0 0 0 0 0
[pid=7892/tid=7904] ppid=7890 vsize=7556 CPUtime=0
/proc/7892/task/7904/stat : 7904 (satake) D 7890 7892 27791 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 17 0 640579303 7737344 479 18446744073709551615 134512640 135180984 4287463360 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 8 0 0 0 0 0
[pid=7892/tid=7905] ppid=7890 vsize=7556 CPUtime=0
/proc/7892/task/7905/stat : 7905 (satake) D 7890 7892 27791 0 -1 4202560 14 0 0 0 0 0 0 0 20 0 17 0 640579303 7737344 479 18446744073709551615 134512640 135180984 4287463360 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 9 0 0 0 0 0
[pid=7892/tid=7906] ppid=7890 vsize=7556 CPUtime=0
/proc/7892/task/7906/stat : 7906 (satake) R 7890 7892 27791 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 17 0 640579304 7737344 484 18446744073709551615 134512640 135180984 4287463360 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 7 0 0 0 0 0
[pid=7892/tid=7907] ppid=7890 vsize=7556 CPUtime=0
/proc/7892/task/7907/stat : 7907 (satake) R 7890 7892 27791 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 17 0 640579304 7737344 485 18446744073709551615 134512640 135180984 4287463360 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 10 0 0 0 0 0
[pid=7892/tid=7908] ppid=7890 vsize=7556 CPUtime=0
/proc/7892/task/7908/stat : 7908 (satake) R 7890 7892 27791 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 17 0 640579304 7737344 487 18446744073709551615 134512640 135180984 4287463360 18446744073709551615 134702260 0 0 1 0 0 0 0 -1 11 0 0 0 0 0

[startup+0.029337 s]
/proc/loadavg: 2.28 2.60 2.61 2/184 7892
/proc/meminfo: memFree=19128640/36427776 swapFree=4028/8176
[pid=7892] ppid=7890 vsize=14248 CPUtime=0.09
/proc/7892/stat : 7892 (satake) S 7890 7892 27791 0 -1 4202496 1701 0 0 0 3 6 0 0 20 0 17 0 640579303 14589952 1657 18446744073709551615 134512640 135180984 4287463360 18446744073709551615 134573496 0 0 1 0 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/7892/statm: 3562 1674 63 164 0 3397 0
[pid=7892/tid=7893] ppid=7890 vsize=14248 CPUtime=0
/proc/7892/task/7893/stat : 7893 (satake) S 7890 7892 27791 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 17 0 640579303 14589952 1695 18446744073709551615 134512640 135180984 4287463360 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 1 0 0 0 0 0
[pid=7892/tid=7894] ppid=7890 vsize=14248 CPUtime=0
/proc/7892/task/7894/stat : 7894 (satake) R 7890 7892 27791 0 -1 4202560 181 0 0 0 0 0 0 0 20 0 17 0 640579303 14589952 1714 18446744073709551615 134512640 135180984 4287463360 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 2 0 0 0 0 0
[pid=7892/tid=7895] ppid=7890 vsize=14248 CPUtime=0
/proc/7892/task/7895/stat : 7895 (satake) D 7890 7892 27791 0 -1 4202560 196 0 0 0 0 0 0 0 20 0 17 0 640579303 14589952 1732 18446744073709551615 134512640 135180984 4287463360 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 1 0 0 0 0 0
[pid=7892/tid=7896] ppid=7890 vsize=14760 CPUtime=0
/proc/7892/task/7896/stat : 7896 (satake) R 7890 7892 27791 0 -1 4202560 39 0 0 0 0 0 0 0 20 0 17 0 640579303 15114240 1732 18446744073709551615 134512640 135180984 4287463360 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 1 0 0 0 0 0
[pid=7892/tid=7897] ppid=7890 vsize=14760 CPUtime=0
/proc/7892/task/7897/stat : 7897 (satake) R 7890 7892 27791 0 -1 4202560 156 0 0 0 0 0 0 0 20 0 17 0 640579303 15114240 1735 18446744073709551615 134512640 135180984 4287463360 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 3 0 0 0 0 0
[pid=7892/tid=7898] ppid=7890 vsize=14760 CPUtime=0
/proc/7892/task/7898/stat : 7898 (satake) D 7890 7892 27791 0 -1 4202560 63 0 0 0 0 0 0 0 20 0 17 0 640579303 15114240 1737 18446744073709551615 134512640 135180984 4287463360 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 4 0 0 0 0 0
[pid=7892/tid=7899] ppid=7890 vsize=14760 CPUtime=0
/proc/7892/task/7899/stat : 7899 (satake) R 7890 7892 27791 0 -1 4202560 178 0 0 0 0 0 0 0 20 0 17 0 640579303 15114240 1738 18446744073709551615 134512640 135180984 4287463360 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 4 0 0 0 0 0
[pid=7892/tid=7900] ppid=7890 vsize=14760 CPUtime=0
/proc/7892/task/7900/stat : 7900 (satake) R 7890 7892 27791 0 -1 4202560 146 0 0 0 0 0 0 0 20 0 17 0 640579303 15114240 1740 18446744073709551615 134512640 135180984 4287463360 18446744073709551615 134706046 0 0 1 0 0 0 0 -1 5 0 0 0 0 0
[pid=7892/tid=7901] ppid=7890 vsize=14760 CPUtime=0
/proc/7892/task/7901/stat : 7901 (satake) R 7890 7892 27791 0 -1 4202560 46 0 0 0 0 0 0 0 20 0 17 0 640579303 15114240 1740 18446744073709551615 134512640 135180984 4287463360 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 5 0 0 0 0 0
[pid=7892/tid=7902] ppid=7890 vsize=14760 CPUtime=0
/proc/7892/task/7902/stat : 7902 (satake) R 7890 7892 27791 0 -1 4202560 20 0 0 0 0 0 0 0 20 0 17 0 640579303 15114240 1740 18446744073709551615 134512640 135180984 4287463360 18446744073709551615 134691935 0 0 1 0 0 0 0 -1 3 0 0 0 0 0
[pid=7892/tid=7903] ppid=7890 vsize=14760 CPUtime=0
/proc/7892/task/7903/stat : 7903 (satake) R 7890 7892 27791 0 -1 4202560 100 0 0 0 0 0 0 0 20 0 17 0 640579303 15114240 1741 18446744073709551615 134512640 135180984 4287463360 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 7 0 0 0 0 0
[pid=7892/tid=7904] ppid=7890 vsize=14760 CPUtime=0
/proc/7892/task/7904/stat : 7904 (satake) R 7890 7892 27791 0 -1 4202560 143 0 0 0 0 0 0 0 20 0 17 0 640579303 15114240 1742 18446744073709551615 134512640 135180984 4287463360 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 8 0 0 0 0 0
[pid=7892/tid=7905] ppid=7890 vsize=14760 CPUtime=0
/proc/7892/task/7905/stat : 7905 (satake) R 7890 7892 27791 0 -1 4202560 61 0 0 0 0 0 0 0 20 0 17 0 640579303 15114240 1743 18446744073709551615 134512640 135180984 4287463360 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 9 0 0 0 0 0
[pid=7892/tid=7906] ppid=7890 vsize=14760 CPUtime=0
/proc/7892/task/7906/stat : 7906 (satake) R 7890 7892 27791 0 -1 4202560 77 0 0 0 0 0 0 0 20 0 17 0 640579304 15114240 1746 18446744073709551615 134512640 135180984 4287463360 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 7 0 0 0 0 0
[pid=7892/tid=7907] ppid=7890 vsize=14760 CPUtime=0
/proc/7892/task/7907/stat : 7907 (satake) R 7890 7892 27791 0 -1 4202560 119 0 0 0 0 0 0 0 20 0 17 0 640579304 15114240 1747 18446744073709551615 134512640 135180984 4287463360 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 10 0 0 0 0 0
[pid=7892/tid=7908] ppid=7890 vsize=14760 CPUtime=0
/proc/7892/task/7908/stat : 7908 (satake) R 7890 7892 27791 0 -1 4202560 127 0 0 0 0 0 0 0 20 0 17 0 640579304 15114240 1747 18446744073709551615 134512640 135180984 4287463360 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 11 0 0 0 0 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 14248

[startup+0.106979 s]
/proc/loadavg: 2.28 2.60 2.61 2/184 7892
/proc/meminfo: memFree=19128640/36427776 swapFree=4028/8176
[pid=7892] ppid=7890 vsize=50064 CPUtime=0.71
/proc/7892/stat : 7892 (satake) S 7890 7892 27791 0 -1 4202496 8897 0 0 0 3 68 0 0 20 0 17 0 640579303 51265536 8853 18446744073709551615 134512640 135180984 4287463360 18446744073709551615 134573496 0 0 1 0 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/7892/statm: 12516 8854 63 164 0 12351 0
[pid=7892/tid=7893] ppid=7890 vsize=50064 CPUtime=0
/proc/7892/task/7893/stat : 7893 (satake) S 7890 7892 27791 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 17 0 640579303 51265536 8854 18446744073709551615 134512640 135180984 4287463360 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 1 0 0 0 0 0
[pid=7892/tid=7894] ppid=7890 vsize=50064 CPUtime=0.06
/proc/7892/task/7894/stat : 7894 (satake) R 7890 7892 27791 0 -1 4202560 782 0 0 0 0 6 0 0 20 0 17 0 640579303 51265536 8855 18446744073709551615 134512640 135180984 4287463360 18446744073709551615 134522207 0 0 1 0 0 0 0 -1 2 0 0 0 0 0
[pid=7892/tid=7895] ppid=7890 vsize=50064 CPUtime=0.06
/proc/7892/task/7895/stat : 7895 (satake) S 7890 7892 27791 0 -1 4202560 826 0 0 0 0 6 0 0 20 0 17 0 640579303 51265536 8856 18446744073709551615 134512640 135180984 4287463360 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 1 0 0 0 0 0
[pid=7892/tid=7896] ppid=7890 vsize=50064 CPUtime=0.04
/proc/7892/task/7896/stat : 7896 (satake) R 7890 7892 27791 0 -1 4202560 526 0 0 0 0 4 0 0 20 0 17 0 640579303 51265536 8858 18446744073709551615 134512640 135180984 4287463360 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 14 0 0 0 0 0
[pid=7892/tid=7897] ppid=7890 vsize=50064 CPUtime=0.04
/proc/7892/task/7897/stat : 7897 (satake) R 7890 7892 27791 0 -1 4202560 594 0 0 0 0 4 0 0 20 0 17 0 640579303 51265536 8861 18446744073709551615 134512640 135180984 4287463360 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 3 0 0 0 0 0
[pid=7892/tid=7898] ppid=7890 vsize=50064 CPUtime=0.02
/proc/7892/task/7898/stat : 7898 (satake) R 7890 7892 27791 0 -1 4202560 354 0 0 0 0 2 0 0 20 0 17 0 640579303 51265536 8861 18446744073709551615 134512640 135180984 4287463360 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 4 0 0 0 0 0
[pid=7892/tid=7899] ppid=7890 vsize=50064 CPUtime=0.04
/proc/7892/task/7899/stat : 7899 (satake) R 7890 7892 27791 0 -1 4202560 762 0 0 0 0 4 0 0 20 0 17 0 640579303 51265536 8865 18446744073709551615 134512640 135180984 4287463360 18446744073709551615 134522207 0 0 1 0 0 0 0 -1 4 0 0 0 0 0
[pid=7892/tid=7900] ppid=7890 vsize=50064 CPUtime=0.04
/proc/7892/task/7900/stat : 7900 (satake) D 7890 7892 27791 0 -1 4202560 639 0 0 0 0 4 0 0 20 0 17 0 640579303 51265536 8865 18446744073709551615 134512640 135180984 4287463360 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 5 0 0 0 0 0
[pid=7892/tid=7901] ppid=7890 vsize=50064 CPUtime=0.02
/proc/7892/task/7901/stat : 7901 (satake) D 7890 7892 27791 0 -1 4202560 300 0 0 0 0 2 0 0 20 0 17 0 640579303 51265536 8865 18446744073709551615 134512640 135180984 4287463360 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 5 0 0 0 0 0
[pid=7892/tid=7902] ppid=7890 vsize=50064 CPUtime=0.02
/proc/7892/task/7902/stat : 7902 (satake) D 7890 7892 27791 0 -1 4202560 218 0 0 0 0 2 0 0 20 0 17 0 640579303 51265536 8865 18446744073709551615 134512640 135180984 4287463360 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 3 0 0 0 0 0
[pid=7892/tid=7903] ppid=7890 vsize=50064 CPUtime=0.04
/proc/7892/task/7903/stat : 7903 (satake) D 7890 7892 27791 0 -1 4202560 571 0 0 0 0 4 0 0 20 0 17 0 640579303 51265536 8866 18446744073709551615 134512640 135180984 4287463360 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 7 0 0 0 0 0
[pid=7892/tid=7904] ppid=7890 vsize=50064 CPUtime=0.06
/proc/7892/task/7904/stat : 7904 (satake) D 7890 7892 27791 0 -1 4202560 776 0 0 0 0 6 0 0 20 0 17 0 640579303 51265536 8866 18446744073709551615 134512640 135180984 4287463360 18446744073709551615 134675846 0 0 1 0 0 0 0 -1 8 0 0 0 0 0
[pid=7892/tid=7905] ppid=7890 vsize=50064 CPUtime=0.06
/proc/7892/task/7905/stat : 7905 (satake) D 7890 7892 27791 0 -1 4202560 696 0 0 0 0 6 0 0 20 0 17 0 640579303 51265536 8866 18446744073709551615 134512640 135180984 4287463360 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 9 0 0 0 0 0
[pid=7892/tid=7906] ppid=7890 vsize=50064 CPUtime=0.02
/proc/7892/task/7906/stat : 7906 (satake) D 7890 7892 27791 0 -1 4202560 266 0 0 0 0 2 0 0 20 0 17 0 640579304 51265536 8866 18446744073709551615 134512640 135180984 4287463360 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 7 0 0 0 0 0
[pid=7892/tid=7907] ppid=7890 vsize=50064 CPUtime=0.06
/proc/7892/task/7907/stat : 7907 (satake) D 7890 7892 27791 0 -1 4202560 651 0 0 0 0 6 0 0 20 0 17 0 640579304 51265536 8866 18446744073709551615 134512640 135180984 4287463360 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 10 0 0 0 0 0
[pid=7892/tid=7908] ppid=7890 vsize=50064 CPUtime=0.06
/proc/7892/task/7908/stat : 7908 (satake) D 7890 7892 27791 0 -1 4202560 816 0 0 0 0 6 0 0 20 0 17 0 640579304 51265536 8866 18446744073709551615 134512640 135180984 4287463360 18446744073709551615 134691935 0 0 1 0 0 0 0 -1 11 0 0 0 0 0
Current children cumulated CPU time (s) 0.71
Current children cumulated vsize (KiB) 50064

[startup+0.306344 s]
/proc/loadavg: 2.28 2.60 2.61 2/184 7892
/proc/meminfo: memFree=19128640/36427776 swapFree=4028/8176
[pid=7892] ppid=7890 vsize=75260 CPUtime=1.55
/proc/7892/stat : 7892 (satake) S 7890 7892 27791 0 -1 4202496 16793 0 0 0 8 147 0 0 20 0 17 0 640579303 77066240 16749 18446744073709551615 134512640 135180984 4287463360 18446744073709551615 134573496 0 0 1 0 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/7892/statm: 18815 16749 63 164 0 18650 0
[pid=7892/tid=7893] ppid=7890 vsize=75260 CPUtime=0
/proc/7892/task/7893/stat : 7893 (satake) S 7890 7892 27791 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 17 0 640579303 77066240 16749 18446744073709551615 134512640 135180984 4287463360 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 1 0 0 0 0 0
[pid=7892/tid=7894] ppid=7890 vsize=75260 CPUtime=0.12
/proc/7892/task/7894/stat : 7894 (satake) D 7890 7892 27791 0 -1 4202560 1261 0 0 0 2 10 0 0 20 0 17 0 640579303 77066240 16749 18446744073709551615 134512640 135180984 4287463360 18446744073709551615 134691935 0 0 1 0 0 0 0 -1 2 0 0 0 0 0
[pid=7892/tid=7895] ppid=7890 vsize=75260 CPUtime=0.14
/proc/7892/task/7895/stat : 7895 (satake) R 7890 7892 27791 0 -1 4202560 1301 0 0 0 0 14 0 0 20 0 17 0 640579303 77066240 16749 18446744073709551615 134512640 135180984 4287463360 18446744073709551615 134522207 0 0 1 0 0 0 0 -1 1 0 0 0 0 0
[pid=7892/tid=7896] ppid=7890 vsize=75260 CPUtime=0.1
/proc/7892/task/7896/stat : 7896 (satake) R 7890 7892 27791 0 -1 4202560 1056 0 0 0 2 8 0 0 20 0 17 0 640579303 77066240 16749 18446744073709551615 134512640 135180984 4287463360 18446744073709551615 134675767 0 0 1 0 0 0 0 -1 14 0 0 0 0 0
[pid=7892/tid=7897] ppid=7890 vsize=75260 CPUtime=0.1
/proc/7892/task/7897/stat : 7897 (satake) S 7890 7892 27791 0 -1 4202560 1066 0 0 0 0 10 0 0 20 0 17 0 640579303 77066240 16749 18446744073709551615 134512640 135180984 4287463360 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 3 0 0 0 0 0
[pid=7892/tid=7898] ppid=7890 vsize=75260 CPUtime=0.06
/proc/7892/task/7898/stat : 7898 (satake) D 7890 7892 27791 0 -1 4202560 1034 0 0 0 0 6 0 0 20 0 17 0 640579303 77066240 16749 18446744073709551615 134512640 135180984 4287463360 18446744073709551615 134702260 0 0 1 0 0 0 0 -1 4 0 0 0 0 0
[pid=7892/tid=7899] ppid=7890 vsize=75260 CPUtime=0.1
/proc/7892/task/7899/stat : 7899 (satake) D 7890 7892 27791 0 -1 4202560 1111 0 0 0 0 10 0 0 20 0 17 0 640579303 77066240 16749 18446744073709551615 134512640 135180984 4287463360 18446744073709551615 134522388 0 0 1 0 0 0 0 -1 4 0 0 0 0 0
[pid=7892/tid=7900] ppid=7890 vsize=75260 CPUtime=0.1
/proc/7892/task/7900/stat : 7900 (satake) S 7890 7892 27791 0 -1 4202560 1102 0 0 0 0 10 0 0 20 0 17 0 640579303 77066240 16749 18446744073709551615 134512640 135180984 4287463360 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 5 0 0 0 0 0
[pid=7892/tid=7901] ppid=7890 vsize=75260 CPUtime=0.06
/proc/7892/task/7901/stat : 7901 (satake) D 7890 7892 27791 0 -1 4202560 1022 0 0 0 0 6 0 0 20 0 17 0 640579303 77066240 16749 18446744073709551615 134512640 135180984 4287463360 18446744073709551615 134522598 0 0 1 0 0 0 0 -1 5 0 0 0 0 0
[pid=7892/tid=7902] ppid=7890 vsize=75260 CPUtime=0.06
/proc/7892/task/7902/stat : 7902 (satake) S 7890 7892 27791 0 -1 4202560 1047 0 0 0 0 6 0 0 20 0 17 0 640579303 77066240 16749 18446744073709551615 134512640 135180984 4287463360 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 3 0 0 0 0 0
[pid=7892/tid=7903] ppid=7890 vsize=75260 CPUtime=0.08
/proc/7892/task/7903/stat : 7903 (satake) S 7890 7892 27791 0 -1 4202560 1030 0 0 0 0 8 0 0 20 0 17 0 640579303 77066240 16749 18446744073709551615 134512640 135180984 4287463360 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 7 0 0 0 0 0
[pid=7892/tid=7904] ppid=7890 vsize=75260 CPUtime=0.12
/proc/7892/task/7904/stat : 7904 (satake) S 7890 7892 27791 0 -1 4202560 1107 0 0 0 0 12 0 0 20 0 17 0 640579303 77066240 16749 18446744073709551615 134512640 135180984 4287463360 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 8 0 0 0 0 0
[pid=7892/tid=7905] ppid=7890 vsize=75260 CPUtime=0.12
/proc/7892/task/7905/stat : 7905 (satake) S 7890 7892 27791 0 -1 4202560 1168 0 0 0 0 12 0 0 20 0 17 0 640579303 77066240 16749 18446744073709551615 134512640 135180984 4287463360 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 9 0 0 0 0 0
[pid=7892/tid=7906] ppid=7890 vsize=75260 CPUtime=0.06
/proc/7892/task/7906/stat : 7906 (satake) S 7890 7892 27791 0 -1 4202560 985 0 0 0 0 6 0 0 20 0 17 0 640579304 77066240 16749 18446744073709551615 134512640 135180984 4287463360 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 7 0 0 0 0 0
[pid=7892/tid=7907] ppid=7890 vsize=75260 CPUtime=0.14
/proc/7892/task/7907/stat : 7907 (satake) D 7890 7892 27791 0 -1 4202560 1215 0 0 0 0 14 0 0 20 0 17 0 640579304 77066240 16749 18446744073709551615 134512640 135180984 4287463360 18446744073709551615 134702260 0 0 1 0 0 0 0 -1 10 0 0 0 0 0
[pid=7892/tid=7908] ppid=7890 vsize=75260 CPUtime=0.12
/proc/7892/task/7908/stat : 7908 (satake) D 7890 7892 27791 0 -1 4202560 1157 0 0 0 2 10 0 0 20 0 17 0 640579304 77066240 16749 18446744073709551615 134512640 135180984 4287463360 18446744073709551615 134520025 0 0 1 0 0 0 0 -1 11 0 0 0 0 0
Current children cumulated CPU time (s) 1.55
Current children cumulated vsize (KiB) 75260

[startup+0.705637 s]
/proc/loadavg: 2.28 2.60 2.61 2/184 7892
/proc/meminfo: memFree=19128640/36427776 swapFree=4028/8176
[pid=7892] ppid=7890 vsize=124796 CPUtime=3.19
/proc/7892/stat : 7892 (satake) S 7890 7892 27791 0 -1 4202496 27222 0 0 0 89 230 0 0 20 0 17 0 640579303 127791104 27178 18446744073709551615 134512640 135180984 4287463360 18446744073709551615 134573496 0 0 1 0 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/7892/statm: 31199 27179 63 164 0 31034 0
[pid=7892/tid=7893] ppid=7890 vsize=124796 CPUtime=0
/proc/7892/task/7893/stat : 7893 (satake) S 7890 7892 27791 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 17 0 640579303 127791104 27179 18446744073709551615 134512640 135180984 4287463360 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 1 0 0 0 0 0
[pid=7892/tid=7894] ppid=7890 vsize=124796 CPUtime=0.26
/proc/7892/task/7894/stat : 7894 (satake) S 7890 7892 27791 0 -1 4202560 2064 0 0 0 4 22 0 0 20 0 17 0 640579303 127791104 27179 18446744073709551615 134512640 135180984 4287463360 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 2 0 0 0 0 0
[pid=7892/tid=7895] ppid=7890 vsize=124796 CPUtime=0.28
/proc/7892/task/7895/stat : 7895 (satake) S 7890 7892 27791 0 -1 4202560 2201 0 0 0 6 22 0 0 20 0 17 0 640579303 127791104 27181 18446744073709551615 134512640 135180984 4287463360 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 1 0 0 0 0 0
[pid=7892/tid=7896] ppid=7890 vsize=124796 CPUtime=0.18
/proc/7892/task/7896/stat : 7896 (satake) R 7890 7892 27791 0 -1 4202560 1647 0 0 0 6 12 0 0 20 0 17 0 640579303 127791104 27181 18446744073709551615 134512640 135180984 4287463360 18446744073709551615 134579486 0 0 1 0 0 0 0 -1 14 0 0 0 0 0
[pid=7892/tid=7897] ppid=7890 vsize=124796 CPUtime=0.2
/proc/7892/task/7897/stat : 7897 (satake) R 7890 7892 27791 0 -1 4202560 1780 0 0 0 6 14 0 0 20 0 17 0 640579303 127791104 27181 18446744073709551615 134512640 135180984 4287463360 18446744073709551615 134681037 0 0 1 0 0 0 0 -1 14 0 0 0 0 0
[pid=7892/tid=7898] ppid=7890 vsize=124796 CPUtime=0.16
/proc/7892/task/7898/stat : 7898 (satake) R 7890 7892 27791 0 -1 4202560 1641 0 0 0 4 12 0 0 20 0 17 0 640579303 127791104 27181 18446744073709551615 134512640 135180984 4287463360 18446744073709551615 134702260 0 0 1 0 0 0 0 -1 3 0 0 0 0 0
[pid=7892/tid=7899] ppid=7890 vsize=124796 CPUtime=0.18
/proc/7892/task/7899/stat : 7899 (satake) D 7890 7892 27791 0 -1 4202560 1642 0 0 0 4 14 0 0 20 0 17 0 640579303 127791104 27181 18446744073709551615 134512640 135180984 4287463360 18446744073709551615 134675767 0 0 1 0 0 0 0 -1 4 0 0 0 0 0
[pid=7892/tid=7900] ppid=7890 vsize=124796 CPUtime=0.2
/proc/7892/task/7900/stat : 7900 (satake) S 7890 7892 27791 0 -1 4202560 1781 0 0 0 6 14 0 0 20 0 17 0 640579303 127791104 27183 18446744073709551615 134512640 135180984 4287463360 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 5 0 0 0 0 0
[pid=7892/tid=7901] ppid=7890 vsize=124796 CPUtime=0.16
/proc/7892/task/7901/stat : 7901 (satake) D 7890 7892 27791 0 -1 4202560 1621 0 0 0 6 10 0 0 20 0 17 0 640579303 127791104 27183 18446744073709551615 134512640 135180984 4287463360 18446744073709551615 134675767 0 0 1 0 0 0 0 -1 11 0 0 0 0 0
[pid=7892/tid=7902] ppid=7890 vsize=124796 CPUtime=0.16

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

deleting IPC queue 1588002894
deleting IPC queue 1588035663
deleting IPC queue 1588068432
deleting IPC queue 1588101201
deleting IPC queue 1588133970
deleting IPC queue 1588166739
deleting IPC queue 1588199508
deleting IPC queue 1588232277
deleting IPC queue 1588265046
deleting IPC queue 1588297815
deleting IPC queue 1588330584
deleting IPC queue 1588363353
deleting IPC queue 1588396122
deleting IPC queue 1588428891
deleting IPC queue 1588461660
deleting IPC queue 1588494429
deleting IPC queue 1588527198
deleting IPC queue 1588559967
deleting IPC queue 1588592736
deleting IPC queue 1588625505
deleting IPC queue 1588658274
deleting IPC queue 1588691043
deleting IPC queue 1588723812
deleting IPC queue 1588756581
deleting IPC queue 1588789350
deleting IPC queue 1588822119
deleting IPC queue 1588854888
deleting IPC queue 1588887657
deleting IPC queue 1588920426
deleting IPC queue 1588953195
deleting IPC queue 1588985964
deleting IPC queue 1589018733
deleting IPC queue 1589051502
deleting IPC queue 1589084271
deleting IPC queue 1589117040
deleting IPC queue 1589149809
deleting IPC queue 1589182578
deleting IPC queue 1589215347
deleting IPC queue 1589248116
deleting IPC queue 1589280885
deleting IPC queue 1589313654
deleting IPC queue 1589346423
deleting IPC queue 1589379192
deleting IPC queue 1589411961
deleting IPC queue 1589444730
deleting IPC queue 1589477499
deleting IPC queue 1589510268
deleting IPC queue 1589543037
deleting IPC queue 1589575806
deleting IPC queue 1589608575
deleting IPC queue 1589641344
deleting IPC queue 1589674113
deleting IPC queue 1589706882
deleting IPC queue 1589739651
deleting IPC queue 1589772420
deleting IPC queue 1589805189
deleting IPC queue 1589837958
deleting IPC queue 1589870727
deleting IPC queue 1589903496
deleting IPC queue 1589936265
deleting IPC queue 1589969034
deleting IPC queue 1590001803
deleting IPC queue 1590034572
deleting IPC queue 1590067341
deleting IPC queue 1590100110
deleting IPC queue 1590132879
deleting IPC queue 1590165648
deleting IPC queue 1590198417
deleting IPC queue 1590231186
deleting IPC queue 1590263955
deleting IPC queue 1590296724
deleting IPC queue 1590329493
deleting IPC queue 1590362262
deleting IPC queue 1590395031
deleting IPC queue 1590427800
deleting IPC queue 1590460569
deleting IPC queue 1590493338
deleting IPC queue 1590526107
deleting IPC queue 1590558876
deleting IPC queue 1590591645
deleting IPC queue 1590624414
deleting IPC queue 1590657183
deleting IPC queue 1590689952
deleting IPC queue 1590722721
deleting IPC queue 1590755490
deleting IPC queue 1590788259
deleting IPC queue 1590821028
deleting IPC queue 1590853797
deleting IPC queue 1590886566
deleting IPC queue 1590919335
deleting IPC queue 1590952104
deleting IPC queue 1590984873
deleting IPC queue 1591017642
deleting IPC queue 1591050411
deleting IPC queue 1591083180
deleting IPC queue 1591115949
deleting IPC queue 1591148718
deleting IPC queue 1591181487
deleting IPC queue 1591214256
deleting IPC queue 1591247025
deleting IPC queue 1591279794
deleting IPC queue 1591312563
deleting IPC queue 1591345332
deleting IPC queue 1591378101
deleting IPC queue 1591410870
deleting IPC queue 1591443639
deleting IPC queue 1591476408
deleting IPC queue 1591509177
deleting IPC queue 1591541946
deleting IPC queue 1591574715
deleting IPC queue 1591607484
deleting IPC queue 1591640253
deleting IPC queue 1591673022
deleting IPC queue 1591705791
deleting IPC queue 1591738560
deleting IPC queue 1591771329
deleting IPC queue 1591804098
deleting IPC queue 1591836867
deleting IPC queue 1591869636
deleting IPC queue 1591902405
deleting IPC queue 1591935174
deleting IPC queue 1591967943
deleting IPC queue 1592000712
deleting IPC queue 1592033481
deleting IPC queue 1592066250
deleting IPC queue 1592099019
deleting IPC queue 1592131788
deleting IPC queue 1592164557
deleting IPC queue 1592197326
deleting IPC queue 1592230095
deleting IPC queue 1592262864
deleting IPC queue 1592295633
deleting IPC queue 1592328402
deleting IPC queue 1592361171
deleting IPC queue 1592393940
deleting IPC queue 1592426709
deleting IPC queue 1592459478
deleting IPC queue 1592492247
deleting IPC queue 1592525016
deleting IPC queue 1592557785
deleting IPC queue 1592590554
deleting IPC queue 1592623323
deleting IPC queue 1592656092
deleting IPC queue 1592688861
deleting IPC queue 1592721630
deleting IPC queue 1592754399
deleting IPC queue 1592787168
deleting IPC queue 1592819937
deleting IPC queue 1592852706
deleting IPC queue 1592885475
deleting IPC queue 1592918244
deleting IPC queue 1592951013
deleting IPC queue 1592983782
deleting IPC queue 1593016551
deleting IPC queue 1593049320
deleting IPC queue 1593082089
deleting IPC queue 1593114858
deleting IPC queue 1593147627
deleting IPC queue 1593180396
deleting IPC queue 1593213165
deleting IPC queue 1593245934
deleting IPC queue 1593278703
deleting IPC queue 1593311472
deleting IPC queue 1593344241
deleting IPC queue 1593377010
deleting IPC queue 1593409779
deleting IPC queue 1593442548
deleting IPC queue 1593475317
deleting IPC queue 1593508086
deleting IPC queue 1593540855
deleting IPC queue 1593573624
deleting IPC queue 1593606393
deleting IPC queue 1593639162
deleting IPC queue 1593671931
deleting IPC queue 1593704700
deleting IPC queue 1593737469
deleting IPC queue 1593770238
deleting IPC queue 1593803007

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 799.302
system time used= 695.683
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 110580
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= 63703629
involuntary context switches= 5976994

runsolver used 4.30427 second user time and 10.8967 second system time

The end

Launcher Data 

Begin job on xenhost3-49 at 2009-06-12 15:18:49
IDJOB=1780047
IDBENCH=70949
IDSOLVER=631
FILE ID=xenhost3-49/1780047-1244812729
PBS_JOBID=
Free space on /tmp= 7028 MiB

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

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

MD5SUM BENCH= 94aa7bdbcbe99c5b3082c395dc2384e9
RANDOM SEED= 1839236289

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:      19128640 kB
Buffers:        434064 kB
Cached:       14112088 kB
SwapCached:          0 kB
Active:        4079596 kB
Inactive:     10475148 kB
SwapTotal:    25398692 kB
SwapFree:     25398692 kB
Dirty:            3388 kB
Writeback:           0 kB
AnonPages:        8176 kB
Mapped:           4028 kB
Slab:           688508 kB
SReclaimable:   661684 kB
SUnreclaim:      26824 kB
PageTables:          0 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
WritebackTmp:        0 kB
CommitLimit:  43612580 kB
Committed_AS:    29732 kB
VmallocTotal: 34359738367 kB
VmallocUsed:    275248 kB
VmallocChunk: 34359462839 kB
DirectMap4k:  99216660 kB
DirectMap2M:         0 kB

Free space on /tmp at the end= 7028 MiB
End job on xenhost3-49 at 2009-06-12 15:35:31