Trace number 1781412

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)? (MO) 1466.76 295.095

General information on the benchmark

Namevelev-pipe-o-uns-1.0-7.cnf
MD5SUMb7df25f653e1e7a9ffcd39b3231809e6
Bench CategoryAPPLICATION (applications instances)
Best result obtained on this benchmarkUNSAT
Best CPU time to get the best result obtained on this benchmark843.78
Satisfiable
(Un)Satisfiability was proved
Number of variables24415
Number of clauses711050
Sum of the clauses size2091630
Maximum clause length161
Minimum clause length1
Number of clauses of size 11
Number of clauses of size 2605924
Number of clauses of size 386384
Number of clauses of size 4614
Number of clauses of size 5475
Number of clauses of size over 517652

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-1781412-1244865277/watcher-1781412-1244865277 -o /tmp/evaluation-result-1781412-1244865277/solver-1781412-1244865277 -C 10000 -W 1000 -M 2047 --output-limit 1,15 --cleanup-all-ipc-queues HOME/satake HOME/instance-1781412-1244865277.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.20 2.37 2.72 2/184 13882
/proc/meminfo: memFree=19111968/36427776 swapFree=4408/8064
[pid=13882] ppid=13880 vsize=8592 CPUtime=0
/proc/13882/stat : 13882 (satake) R 13880 13882 27791 0 -1 4202496 457 0 0 0 0 0 0 0 20 0 16 0 645834133 8798208 413 18446744073709551615 134512640 135180984 4289120592 18446744073709551615 134702083 0 0 1 0 18446744073709551615 0 0 17 13 0 0 0 0 0
/proc/13882/statm: 2148 416 63 164 0 1983 0
[pid=13882/tid=13883] ppid=13880 vsize=8724 CPUtime=0
/proc/13882/task/13883/stat : 13883 (satake) S 13880 13882 27791 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 17 0 645834134 8933376 515 18446744073709551615 134512640 135180984 4289120592 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 14 0 0 0 0 0
[pid=13882/tid=13884] ppid=13880 vsize=8724 CPUtime=0
/proc/13882/task/13884/stat : 13884 (satake) R 13880 13882 27791 0 -1 4202560 70 0 0 0 0 0 0 0 20 0 17 0 645834134 8933376 517 18446744073709551615 134512640 135180984 4289120592 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 0 0 0 0 0 0
[pid=13882/tid=13885] ppid=13880 vsize=8724 CPUtime=0
/proc/13882/task/13885/stat : 13885 (satake) R 13880 13882 27791 0 -1 4202560 62 0 0 0 0 0 0 0 20 0 17 0 645834134 8933376 517 18446744073709551615 134512640 135180984 4289120592 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 1 0 0 0 0 0
[pid=13882/tid=13886] ppid=13880 vsize=8724 CPUtime=0
/proc/13882/task/13886/stat : 13886 (satake) R 13880 13882 27791 0 -1 4202560 48 0 0 0 0 0 0 0 20 0 17 0 645834134 8933376 517 18446744073709551615 134512640 135180984 4289120592 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 2 0 0 0 0 0
[pid=13882/tid=13887] ppid=13880 vsize=8724 CPUtime=0
/proc/13882/task/13887/stat : 13887 (satake) R 13880 13882 27791 0 -1 4202560 32 0 0 0 0 0 0 0 20 0 17 0 645834134 8933376 528 18446744073709551615 134512640 135180984 4289120592 18446744073709551615 134691935 0 0 1 0 0 0 0 -1 2 0 0 0 0 0
[pid=13882/tid=13888] ppid=13880 vsize=8724 CPUtime=0
/proc/13882/task/13888/stat : 13888 (satake) S 13880 13882 27791 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 17 0 645834134 8933376 542 18446744073709551615 134512640 135180984 4289120592 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 4 0 0 0 0 0
[pid=13882/tid=13889] ppid=13880 vsize=8724 CPUtime=0
/proc/13882/task/13889/stat : 13889 (satake) D 13880 13882 27791 0 -1 4202560 56 0 0 0 0 0 0 0 20 0 17 0 645834134 8933376 543 18446744073709551615 134512640 135180984 4289120592 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 5 0 0 0 0 0
[pid=13882/tid=13890] ppid=13880 vsize=8724 CPUtime=0
/proc/13882/task/13890/stat : 13890 (satake) D 13880 13882 27791 0 -1 4202560 22 0 0 0 0 0 0 0 20 0 17 0 645834134 8933376 543 18446744073709551615 134512640 135180984 4289120592 18446744073709551615 134691935 0 0 1 0 0 0 0 -1 0 0 0 0 0 0
[pid=13882/tid=13891] ppid=13880 vsize=8852 CPUtime=0
/proc/13882/task/13891/stat : 13891 (satake) R 13880 13882 27791 0 -1 4202560 28 0 0 0 0 0 0 0 20 0 17 0 645834134 9064448 543 18446744073709551615 134512640 135180984 4289120592 18446744073709551615 134691935 0 0 1 0 0 0 0 -1 6 0 0 0 0 0
[pid=13882/tid=13892] ppid=13880 vsize=8852 CPUtime=0
/proc/13882/task/13892/stat : 13892 (satake) R 13880 13882 27791 0 -1 4202560 34 0 0 0 0 0 0 0 20 0 17 0 645834134 9064448 548 18446744073709551615 134512640 135180984 4289120592 18446744073709551615 134691935 0 0 1 0 0 0 0 -1 7 0 0 0 0 0
[pid=13882/tid=13893] ppid=13880 vsize=8984 CPUtime=0
/proc/13882/task/13893/stat : 13893 (satake) S 13880 13882 27791 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 17 0 645834134 9199616 549 18446744073709551615 134512640 135180984 4289120592 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 8 0 0 0 0 0
[pid=13882/tid=13894] ppid=13880 vsize=8984 CPUtime=0
/proc/13882/task/13894/stat : 13894 (satake) D 13880 13882 27791 0 -1 4202560 18 0 0 0 0 0 0 0 20 0 17 0 645834134 9199616 550 18446744073709551615 134512640 135180984 4289120592 18446744073709551615 134702083 0 0 1 0 0 0 0 -1 6 0 0 0 0 0
[pid=13882/tid=13895] ppid=13880 vsize=8988 CPUtime=0
/proc/13882/task/13895/stat : 13895 (satake) D 13880 13882 27791 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 17 0 645834134 9203712 550 18446744073709551615 134512640 135180984 4289120592 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 6 0 0 0 0 0
[pid=13882/tid=13896] ppid=13880 vsize=8988 CPUtime=0
/proc/13882/task/13896/stat : 13896 (satake) S 13880 13882 27791 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 17 0 645834134 9203712 554 18446744073709551615 134512640 135180984 4289120592 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 9 0 0 0 0 0
[pid=13882/tid=13897] ppid=13880 vsize=8988 CPUtime=0
/proc/13882/task/13897/stat : 13897 (satake) D 13880 13882 27791 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 17 0 645834135 9203712 556 18446744073709551615 134512640 135180984 4289120592 18446744073709551615 134676560 0 0 1 0 0 0 0 -1 14 0 0 0 0 0
[pid=13882/tid=13898] ppid=13880 vsize=9120 CPUtime=0
/proc/13882/task/13898/stat : 13898 (satake) D 13880 13882 27791 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 17 0 645834135 9338880 556 18446744073709551615 134512640 135180984 4289120592 18446744073709551615 134702083 0 0 1 0 0 0 0 -1 14 0 0 0 0 0

[startup+0.036752 s]
/proc/loadavg: 2.20 2.37 2.72 2/184 13882
/proc/meminfo: memFree=19111968/36427776 swapFree=4408/8064
[pid=13882] ppid=13880 vsize=18356 CPUtime=0.17
/proc/13882/stat : 13882 (satake) S 13880 13882 27791 0 -1 4202496 2819 0 0 0 3 14 0 0 20 0 17 0 645834133 18796544 2775 18446744073709551615 134512640 135180984 4289120592 18446744073709551615 134573496 0 0 1 0 18446744073709551615 0 0 17 13 0 0 0 0 0
/proc/13882/statm: 4845 2778 63 164 0 4680 0
[pid=13882/tid=13883] ppid=13880 vsize=19380 CPUtime=0
/proc/13882/task/13883/stat : 13883 (satake) S 13880 13882 27791 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 17 0 645834134 19845120 2782 18446744073709551615 134512640 135180984 4289120592 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 14 0 0 0 0 0
[pid=13882/tid=13884] ppid=13880 vsize=19380 CPUtime=0.02
/proc/13882/task/13884/stat : 13884 (satake) R 13880 13882 27791 0 -1 4202560 279 0 0 0 0 2 0 0 20 0 17 0 645834134 19845120 2783 18446744073709551615 134512640 135180984 4289120592 18446744073709551615 134706046 0 0 1 0 0 0 0 -1 0 0 0 0 0 0
[pid=13882/tid=13885] ppid=13880 vsize=19380 CPUtime=0.02
/proc/13882/task/13885/stat : 13885 (satake) R 13880 13882 27791 0 -1 4202560 274 0 0 0 0 2 0 0 20 0 17 0 645834134 19845120 2784 18446744073709551615 134512640 135180984 4289120592 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 1 0 0 0 0 0
[pid=13882/tid=13886] ppid=13880 vsize=19380 CPUtime=0.02
/proc/13882/task/13886/stat : 13886 (satake) R 13880 13882 27791 0 -1 4202560 274 0 0 0 0 2 0 0 20 0 17 0 645834134 19845120 2784 18446744073709551615 134512640 135180984 4289120592 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 2 0 0 0 0 0
[pid=13882/tid=13887] ppid=13880 vsize=19380 CPUtime=0
/proc/13882/task/13887/stat : 13887 (satake) R 13880 13882 27791 0 -1 4202560 63 0 0 0 0 0 0 0 20 0 17 0 645834134 19845120 2785 18446744073709551615 134512640 135180984 4289120592 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 2 0 0 0 0 0
[pid=13882/tid=13888] ppid=13880 vsize=19380 CPUtime=0
/proc/13882/task/13888/stat : 13888 (satake) R 13880 13882 27791 0 -1 4202560 68 0 0 0 0 0 0 0 20 0 17 0 645834134 19845120 2785 18446744073709551615 134512640 135180984 4289120592 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 4 0 0 0 0 0
[pid=13882/tid=13889] ppid=13880 vsize=19380 CPUtime=0.02
/proc/13882/task/13889/stat : 13889 (satake) R 13880 13882 27791 0 -1 4202560 268 0 0 0 0 2 0 0 20 0 17 0 645834134 19845120 2785 18446744073709551615 134512640 135180984 4289120592 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 5 0 0 0 0 0
[pid=13882/tid=13890] ppid=13880 vsize=19380 CPUtime=0
/proc/13882/task/13890/stat : 13890 (satake) R 13880 13882 27791 0 -1 4202560 51 0 0 0 0 0 0 0 20 0 17 0 645834134 19845120 2785 18446744073709551615 134512640 135180984 4289120592 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 0 0 0 0 0 0
[pid=13882/tid=13891] ppid=13880 vsize=19380 CPUtime=0
/proc/13882/task/13891/stat : 13891 (satake) R 13880 13882 27791 0 -1 4202560 189 0 0 0 0 0 0 0 20 0 17 0 645834134 19845120 2785 18446744073709551615 134512640 135180984 4289120592 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 6 0 0 0 0 0
[pid=13882/tid=13892] ppid=13880 vsize=19380 CPUtime=0.02
/proc/13882/task/13892/stat : 13892 (satake) R 13880 13882 27791 0 -1 4202560 268 0 0 0 0 2 0 0 20 0 17 0 645834134 19845120 2785 18446744073709551615 134512640 135180984 4289120592 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 7 0 0 0 0 0
[pid=13882/tid=13893] ppid=13880 vsize=19380 CPUtime=0
/proc/13882/task/13893/stat : 13893 (satake) R 13880 13882 27791 0 -1 4202560 121 0 0 0 0 0 0 0 20 0 17 0 645834134 19845120 2786 18446744073709551615 134512640 135180984 4289120592 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 8 0 0 0 0 0
[pid=13882/tid=13894] ppid=13880 vsize=19380 CPUtime=0
/proc/13882/task/13894/stat : 13894 (satake) R 13880 13882 27791 0 -1 4202560 130 0 0 0 0 0 0 0 20 0 17 0 645834134 19845120 2786 18446744073709551615 134512640 135180984 4289120592 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 10 0 0 0 0 0
[pid=13882/tid=13895] ppid=13880 vsize=19380 CPUtime=0
/proc/13882/task/13895/stat : 13895 (satake) R 13880 13882 27791 0 -1 4202560 211 0 0 0 0 0 0 0 20 0 17 0 645834134 19845120 2786 18446744073709551615 134512640 135180984 4289120592 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 4 0 0 0 0 0
[pid=13882/tid=13896] ppid=13880 vsize=19380 CPUtime=0
/proc/13882/task/13896/stat : 13896 (satake) D 13880 13882 27791 0 -1 4202560 141 0 0 0 0 0 0 0 20 0 17 0 645834134 19845120 2786 18446744073709551615 134512640 135180984 4289120592 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 9 0 0 0 0 0
[pid=13882/tid=13897] ppid=13880 vsize=19380 CPUtime=0
/proc/13882/task/13897/stat : 13897 (satake) D 13880 13882 27791 0 -1 4202560 257 0 0 0 0 0 0 0 20 0 17 0 645834135 19845120 2789 18446744073709551615 134512640 135180984 4289120592 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 14 0 0 0 0 0
[pid=13882/tid=13898] ppid=13880 vsize=19380 CPUtime=0
/proc/13882/task/13898/stat : 13898 (satake) R 13880 13882 27791 0 -1 4202560 101 0 0 0 0 0 0 0 20 0 17 0 645834135 19845120 2790 18446744073709551615 134512640 135180984 4289120592 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 11 0 0 0 0 0
Current children cumulated CPU time (s) 0.17
Current children cumulated vsize (KiB) 18356

[startup+0.105461 s]
/proc/loadavg: 2.20 2.37 2.72 2/184 13882
/proc/meminfo: memFree=19111968/36427776 swapFree=4408/8064
[pid=13882] ppid=13880 vsize=62132 CPUtime=0.84
/proc/13882/stat : 13882 (satake) S 13880 13882 27791 0 -1 4202496 10580 0 0 0 3 81 0 0 20 0 17 0 645834133 63623168 10543 18446744073709551615 134512640 135180984 4289120592 18446744073709551615 134573496 0 0 1 0 18446744073709551615 0 0 17 13 0 0 0 0 0
/proc/13882/statm: 15533 10587 63 164 0 15368 0
[pid=13882/tid=13883] ppid=13880 vsize=62132 CPUtime=0
/proc/13882/task/13883/stat : 13883 (satake) S 13880 13882 27791 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 17 0 645834134 63623168 10617 18446744073709551615 134512640 135180984 4289120592 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 14 0 0 0 0 0
[pid=13882/tid=13884] ppid=13880 vsize=62132 CPUtime=0.06
/proc/13882/task/13884/stat : 13884 (satake) R 13880 13882 27791 0 -1 4202560 877 0 0 0 0 6 0 0 20 0 17 0 645834134 63623168 10665 18446744073709551615 134512640 135180984 4289120592 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 0 0 0 0 0 0
[pid=13882/tid=13885] ppid=13880 vsize=62132 CPUtime=0.06
/proc/13882/task/13885/stat : 13885 (satake) R 13880 13882 27791 0 -1 4202560 907 0 0 0 0 6 0 0 20 0 17 0 645834134 63623168 10695 18446744073709551615 134512640 135180984 4289120592 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 1 0 0 0 0 0
[pid=13882/tid=13886] ppid=13880 vsize=62132 CPUtime=0.06
/proc/13882/task/13886/stat : 13886 (satake) D 13880 13882 27791 0 -1 4202560 830 0 0 0 0 6 0 0 20 0 17 0 645834134 63623168 10711 18446744073709551615 134512640 135180984 4289120592 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 2 0 0 0 0 0
[pid=13882/tid=13887] ppid=13880 vsize=62132 CPUtime=0
/proc/13882/task/13887/stat : 13887 (satake) D 13880 13882 27791 0 -1 4202560 114 0 0 0 0 0 0 0 20 0 17 0 645834134 63623168 10711 18446744073709551615 134512640 135180984 4289120592 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 2 0 0 0 0 0
[pid=13882/tid=13888] ppid=13880 vsize=62132 CPUtime=0.02
/proc/13882/task/13888/stat : 13888 (satake) D 13880 13882 27791 0 -1 4202560 357 0 0 0 0 2 0 0 20 0 17 0 645834134 63623168 10711 18446744073709551615 134512640 135180984 4289120592 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 4 0 0 0 0 0
[pid=13882/tid=13889] ppid=13880 vsize=62132 CPUtime=0.06
/proc/13882/task/13889/stat : 13889 (satake) D 13880 13882 27791 0 -1 4202560 1010 0 0 0 0 6 0 0 20 0 17 0 645834134 63623168 10711 18446744073709551615 134512640 135180984 4289120592 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 5 0 0 0 0 0
[pid=13882/tid=13890] ppid=13880 vsize=62132 CPUtime=0.02
/proc/13882/task/13890/stat : 13890 (satake) D 13880 13882 27791 0 -1 4202560 262 0 0 0 0 2 0 0 20 0 17 0 645834134 63623168 10711 18446744073709551615 134512640 135180984 4289120592 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 0 0 0 0 0 0
[pid=13882/tid=13891] ppid=13880 vsize=62132 CPUtime=0.06
/proc/13882/task/13891/stat : 13891 (satake) D 13880 13882 27791 0 -1 4202560 747 0 0 0 0 6 0 0 20 0 17 0 645834134 63623168 10711 18446744073709551615 134512640 135180984 4289120592 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 6 0 0 0 0 0
[pid=13882/tid=13892] ppid=13880 vsize=62132 CPUtime=0.06
/proc/13882/task/13892/stat : 13892 (satake) D 13880 13882 27791 0 -1 4202560 1032 0 0 0 0 6 0 0 20 0 17 0 645834134 63623168 10711 18446744073709551615 134512640 135180984 4289120592 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 7 0 0 0 0 0
[pid=13882/tid=13893] ppid=13880 vsize=62132 CPUtime=0.06
/proc/13882/task/13893/stat : 13893 (satake) D 13880 13882 27791 0 -1 4202560 694 0 0 0 0 6 0 0 20 0 17 0 645834134 63623168 10711 18446744073709551615 134512640 135180984 4289120592 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 8 0 0 0 0 0
[pid=13882/tid=13894] ppid=13880 vsize=62132 CPUtime=0.06
/proc/13882/task/13894/stat : 13894 (satake) D 13880 13882 27791 0 -1 4202560 748 0 0 0 0 6 0 0 20 0 17 0 645834134 63623168 10711 18446744073709551615 134512640 135180984 4289120592 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 10 0 0 0 0 0
[pid=13882/tid=13895] ppid=13880 vsize=62132 CPUtime=0.04
/proc/13882/task/13895/stat : 13895 (satake) D 13880 13882 27791 0 -1 4202560 530 0 0 0 0 4 0 0 20 0 17 0 645834134 63623168 10711 18446744073709551615 134512640 135180984 4289120592 18446744073709551615 134706046 0 0 1 0 0 0 0 -1 4 0 0 0 0 0
[pid=13882/tid=13896] ppid=13880 vsize=62132 CPUtime=0.06
/proc/13882/task/13896/stat : 13896 (satake) D 13880 13882 27791 0 -1 4202560 725 0 0 0 0 6 0 0 20 0 17 0 645834134 63623168 10711 18446744073709551615 134512640 135180984 4289120592 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 9 0 0 0 0 0
[pid=13882/tid=13897] ppid=13880 vsize=62132 CPUtime=0.06
/proc/13882/task/13897/stat : 13897 (satake) D 13880 13882 27791 0 -1 4202560 1196 0 0 0 0 6 0 0 20 0 17 0 645834135 63623168 10711 18446744073709551615 134512640 135180984 4289120592 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 14 0 0 0 0 0
[pid=13882/tid=13898] ppid=13880 vsize=62132 CPUtime=0.06
/proc/13882/task/13898/stat : 13898 (satake) R 13880 13882 27791 0 -1 4202560 586 0 0 0 0 6 0 0 20 0 17 0 645834135 63623168 10711 18446744073709551615 134512640 135180984 4289120592 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 11 0 0 0 0 0
Current children cumulated CPU time (s) 0.84
Current children cumulated vsize (KiB) 62132

[startup+0.304144 s]
/proc/loadavg: 2.20 2.37 2.72 2/184 13882
/proc/meminfo: memFree=19111968/36427776 swapFree=4408/8064
[pid=13882] ppid=13880 vsize=204660 CPUtime=2.8
/proc/13882/stat : 13882 (satake) S 13880 13882 27791 0 -1 4202496 32815 0 0 0 3 277 0 0 20 0 17 0 645834133 209571840 32771 18446744073709551615 134512640 135180984 4289120592 18446744073709551615 134573496 0 0 1 0 18446744073709551615 0 0 17 13 0 0 0 0 0
/proc/13882/statm: 51165 32790 63 164 0 51000 0
[pid=13882/tid=13883] ppid=13880 vsize=204660 CPUtime=0
/proc/13882/task/13883/stat : 13883 (satake) S 13880 13882 27791 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 17 0 645834134 209571840 32796 18446744073709551615 134512640 135180984 4289120592 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 14 0 0 0 0 0
[pid=13882/tid=13884] ppid=13880 vsize=204660 CPUtime=0.14
/proc/13882/task/13884/stat : 13884 (satake) R 13880 13882 27791 0 -1 4202560 2117 0 0 0 0 14 0 0 20 0 17 0 645834134 209571840 32797 18446744073709551615 134512640 135180984 4289120592 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 0 0 0 0 0 0
[pid=13882/tid=13885] ppid=13880 vsize=204660 CPUtime=0.24
/proc/13882/task/13885/stat : 13885 (satake) R 13880 13882 27791 0 -1 4202560 2560 0 0 0 0 24 0 0 20 0 17 0 645834134 209571840 32797 18446744073709551615 134512640 135180984 4289120592 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 1 0 0 0 0 0
[pid=13882/tid=13886] ppid=13880 vsize=204660 CPUtime=0.16
/proc/13882/task/13886/stat : 13886 (satake) R 13880 13882 27791 0 -1 4202560 1754 0 0 0 0 16 0 0 20 0 17 0 645834134 209571840 32798 18446744073709551615 134512640 135180984 4289120592 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 2 0 0 0 0 0
[pid=13882/tid=13887] ppid=13880 vsize=204660 CPUtime=0.08
/proc/13882/task/13887/stat : 13887 (satake) R 13880 13882 27791 0 -1 4202560 834 0 0 0 0 8 0 0 20 0 17 0 645834134 209571840 32799 18446744073709551615 134512640 135180984 4289120592 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 2 0 0 0 0 0
[pid=13882/tid=13888] ppid=13880 vsize=204660 CPUtime=0.12
/proc/13882/task/13888/stat : 13888 (satake) R 13880 13882 27791 0 -1 4202560 1448 0 0 0 0 12 0 0 20 0 17 0 645834134 209571840 32801 18446744073709551615 134512640 135180984 4289120592 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 4 0 0 0 0 0
[pid=13882/tid=13889] ppid=13880 vsize=204660 CPUtime=0.22
/proc/13882/task/13889/stat : 13889 (satake) R 13880 13882 27791 0 -1 4202560 3075 0 0 0 0 22 0 0 20 0 17 0 645834134 209571840 32802 18446744073709551615 134512640 135180984 4289120592 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 5 0 0 0 0 0
[pid=13882/tid=13890] ppid=13880 vsize=204660 CPUtime=0.08
/proc/13882/task/13890/stat : 13890 (satake) R 13880 13882 27791 0 -1 4202560 1064 0 0 0 0 8 0 0 20 0 17 0 645834134 209571840 32805 18446744073709551615 134512640 135180984 4289120592 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 0 0 0 0 0 0
[pid=13882/tid=13891] ppid=13880 vsize=204660 CPUtime=0.22
/proc/13882/task/13891/stat : 13891 (satake) R 13880 13882 27791 0 -1 4202560 2381 0 0 0 0 22 0 0 20 0 17 0 645834134 209571840 32807 18446744073709551615 134512640 135180984 4289120592 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 6 0 0 0 0 0
[pid=13882/tid=13892] ppid=13880 vsize=204660 CPUtime=0.24
/proc/13882/task/13892/stat : 13892 (satake) R 13880 13882 27791 0 -1 4202560 2998 0 0 0 0 24 0 0 20 0 17 0 645834134 209571840 32807 18446744073709551615 134512640 135180984 4289120592 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 7 0 0 0 0 0
[pid=13882/tid=13893] ppid=13880 vsize=204660 CPUtime=0.22
/proc/13882/task/13893/stat : 13893 (satake) R 13880 13882 27791 0 -1 4202560 2427 0 0 0 0 22 0 0 20 0 17 0 645834134 209571840 32808 18446744073709551615 134512640 135180984 4289120592 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 8 0 0 0 0 0
[pid=13882/tid=13894] ppid=13880 vsize=204660 CPUtime=0.22
/proc/13882/task/13894/stat : 13894 (satake) R 13880 13882 27791 0 -1 4202560 2722 0 0 0 0 22 0 0 20 0 17 0 645834134 209571840 32809 18446744073709551615 134512640 135180984 4289120592 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 10 0 0 0 0 0
[pid=13882/tid=13895] ppid=13880 vsize=204660 CPUtime=0.1
/proc/13882/task/13895/stat : 13895 (satake) R 13880 13882 27791 0 -1 4202560 1127 0 0 0 0 10 0 0 20 0 17 0 645834134 209571840 32812 18446744073709551615 134512640 135180984 4289120592 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 4 0 0 0 0 0
[pid=13882/tid=13896] ppid=13880 vsize=204660 CPUtime=0.22
/proc/13882/task/13896/stat : 13896 (satake) R 13880 13882 27791 0 -1 4202560 2644 0 0 0 0 22 0 0 20 0 17 0 645834134 209571840 32813 18446744073709551615 134512640 135180984 4289120592 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 9 0 0 0 0 0
[pid=13882/tid=13897] ppid=13880 vsize=204660 CPUtime=0.24
/proc/13882/task/13897/stat : 13897 (satake) R 13880 13882 27791 0 -1 4202560 3391 0 0 0 0 24 0 0 20 0 17 0 645834135 209571840 32815 18446744073709551615 134512640 135180984 4289120592 18446744073709551615 134691935 0 0 1 0 0 0 0 -1 14 0 0 0 0 0
[pid=13882/tid=13898] ppid=13880 vsize=204660 CPUtime=0.22
/proc/13882/task/13898/stat : 13898 (satake) R 13880 13882 27791 0 -1 4202560 2172 0 0 0 0 22 0 0 20 0 17 0 645834135 209571840 32816 18446744073709551615 134512640 135180984 4289120592 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 11 0 0 0 0 0
Current children cumulated CPU time (s) 2.8
Current children cumulated vsize (KiB) 204660

[startup+0.703227 s]
/proc/loadavg: 2.20 2.37 2.72 2/184 13882
/proc/meminfo: memFree=19111968/36427776 swapFree=4408/8064
[pid=13882] ppid=13880 vsize=230204 CPUtime=5.53
/proc/13882/stat : 13882 (satake) S 13880 13882 27791 0 -1 4202496 47651 0 0 0 11 542 0 0 20 0 17 0 645834133 235728896 47607 18446744073709551615 134512640 135180984 4289120592 18446744073709551615 134573496 0 0 1 0 18446744073709551615 0 0 17 13 0 0 0 0 0
/proc/13882/statm: 57551 47610 63 164 0 57386 0
[pid=13882/tid=13883] ppid=13880 vsize=230204 CPUtime=0
/proc/13882/task/13883/stat : 13883 (satake) S 13880 13882 27791 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 17 0 645834134 235728896 47611 18446744073709551615 134512640 135180984 4289120592 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 14 0 0 0 0 0
[pid=13882/tid=13884] ppid=13880 vsize=230204 CPUtime=0.28
/proc/13882/task/13884/stat : 13884 (satake) D 13880 13882 27791 0 -1 4202560 3272 0 0 0 0 28 0 0 20 0 17 0 645834134 235728896 47615 18446744073709551615 134512640 135180984 4289120592 18446744073709551615 134675767 0 0 1 0 0 0 0 -1 0 0 0 0 0 0
[pid=13882/tid=13885] ppid=13880 vsize=230204 CPUtime=0.44
/proc/13882/task/13885/stat : 13885 (satake) R 13880 13882 27791 0 -1 4202560 3447 0 0 0 0 44 0 0 20 0 17 0 645834134 235728896 47615 18446744073709551615 134512640 135180984 4289120592 18446744073709551615 134522207 0 0 1 0 0 0 0 -1 1 0 0 0 0 0
[pid=13882/tid=13886] ppid=13880 vsize=230204 CPUtime=0.28
/proc/13882/task/13886/stat : 13886 (satake) R 13880 13882 27791 0 -1 4202560 2938 0 0 0 0 28 0 0 20 0 17 0 645834134 235728896 47623 18446744073709551615 134512640 135180984 4289120592 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 2 0 0 0 0 0
[pid=13882/tid=13887] ppid=13880 vsize=230204 CPUtime=0.2
/proc/13882/task/13887/stat : 13887 (satake) D 13880 13882 27791 0 -1 4202560 2085 0 0 0 0 20 0 0 20 0 17 0 645834134 235728896 47631 18446744073709551615 134512640 135180984 4289120592 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 2 0 0 0 0 0
[pid=13882/tid=13888] ppid=13880 vsize=230204 CPUtime=0.24
/proc/13882/task/13888/stat : 13888 (satake) D 13880 13882 27791 0 -1 4202560 2590 0 0 0 0 24 0 0 20 0 17 0 645834134 235728896 47631 18446744073709551615 134512640 135180984 4289120592 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 4 0 0 0 0 0
[pid=13882/tid=13889] ppid=13880 vsize=230204 CPUtime=0.44
/proc/13882/task/13889/stat : 13889 (satake) S 13880 13882 27791 0 -1 4202560 3728 0 0 0 2 42 0 0 20 0 17 0 645834134 235728896 47633 18446744073709551615 134512640 135180984 4289120592 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 5 0 0 0 0 0
[pid=13882/tid=13890] ppid=13880 vsize=230204 CPUtime=0.22
/proc/13882/task/13890/stat : 13890 (satake) R 13880 13882 27791 0 -1 4202560 2299 0 0 0 0 22 0 0 20 0 17 0 645834134 235728896 47634 18446744073709551615 134512640 135180984 4289120592 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 0 0 0 0 0 0
[pid=13882/tid=13891] ppid=13880 vsize=230204 CPUtime=0.44
/proc/13882/task/13891/stat : 13891 (satake) S 13880 13882 27791 0 -1 4202560 3427 0 0 0 0 44 0 0 20 0 17 0 645834134 235728896 47635 18446744073709551615 134512640 135180984 4289120592 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 6 0 0 0 0 0
[pid=13882/tid=13892] ppid=13880 vsize=230204 CPUtime=0.46

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

deleting IPC queue 203882574
deleting IPC queue 203915343
deleting IPC queue 203948112
deleting IPC queue 203980881
deleting IPC queue 204013650
deleting IPC queue 204046419
deleting IPC queue 204079188
deleting IPC queue 204111957
deleting IPC queue 204144726
deleting IPC queue 204177495
deleting IPC queue 204210264
deleting IPC queue 204243033
deleting IPC queue 204275802
deleting IPC queue 204308571
deleting IPC queue 204341340
deleting IPC queue 204374109
deleting IPC queue 204406878
deleting IPC queue 204439647
deleting IPC queue 204472416
deleting IPC queue 204505185
deleting IPC queue 204537954
deleting IPC queue 204570723
deleting IPC queue 204603492
deleting IPC queue 204636261
deleting IPC queue 204669030
deleting IPC queue 204701799
deleting IPC queue 204734568
deleting IPC queue 204767337
deleting IPC queue 204800106
deleting IPC queue 204832875
deleting IPC queue 204865644
deleting IPC queue 204898413
deleting IPC queue 204931182
deleting IPC queue 204963951
deleting IPC queue 204996720
deleting IPC queue 205029489
deleting IPC queue 205062258
deleting IPC queue 205095027
deleting IPC queue 205127796
deleting IPC queue 205160565
deleting IPC queue 205193334
deleting IPC queue 205226103
deleting IPC queue 205258872
deleting IPC queue 205291641
deleting IPC queue 205324410
deleting IPC queue 205357179
deleting IPC queue 205389948
deleting IPC queue 205422717
deleting IPC queue 205455486
deleting IPC queue 205488255
deleting IPC queue 205521024
deleting IPC queue 205553793
deleting IPC queue 205586562
deleting IPC queue 205619331
deleting IPC queue 205652100
deleting IPC queue 205684869
deleting IPC queue 205717638
deleting IPC queue 205750407
deleting IPC queue 205783176
deleting IPC queue 205815945
deleting IPC queue 205848714
deleting IPC queue 205881483
deleting IPC queue 205914252
deleting IPC queue 205947021
deleting IPC queue 205979790
deleting IPC queue 206012559
deleting IPC queue 206045328
deleting IPC queue 206078097
deleting IPC queue 206110866
deleting IPC queue 206143635
deleting IPC queue 206176404
deleting IPC queue 206209173
deleting IPC queue 206241942
deleting IPC queue 206274711
deleting IPC queue 206307480
deleting IPC queue 206340249
deleting IPC queue 206373018
deleting IPC queue 206405787
deleting IPC queue 206438556
deleting IPC queue 206471325
deleting IPC queue 206504094
deleting IPC queue 206536863
deleting IPC queue 206569632
deleting IPC queue 206602401
deleting IPC queue 206635170
deleting IPC queue 206667939
deleting IPC queue 206700708
deleting IPC queue 206733477
deleting IPC queue 206766246
deleting IPC queue 206799015
deleting IPC queue 206831784
deleting IPC queue 206864553
deleting IPC queue 206897322
deleting IPC queue 206930091
deleting IPC queue 206962860
deleting IPC queue 206995629
deleting IPC queue 207028398
deleting IPC queue 207061167
deleting IPC queue 207093936
deleting IPC queue 207126705
deleting IPC queue 207159474
deleting IPC queue 207192243
deleting IPC queue 207225012
deleting IPC queue 207257781
deleting IPC queue 207290550
deleting IPC queue 207323319
deleting IPC queue 207356088
deleting IPC queue 207388857
deleting IPC queue 207421626
deleting IPC queue 207454395
deleting IPC queue 207487164
deleting IPC queue 207519933
deleting IPC queue 207552702
deleting IPC queue 207585471
deleting IPC queue 207618240
deleting IPC queue 207651009
deleting IPC queue 207683778
deleting IPC queue 207716547
deleting IPC queue 207749316
deleting IPC queue 207782085
deleting IPC queue 207814854
deleting IPC queue 207847623
deleting IPC queue 207880392
deleting IPC queue 207913161
deleting IPC queue 207945930
deleting IPC queue 207978699
deleting IPC queue 208011468
deleting IPC queue 208044237
deleting IPC queue 208077006
deleting IPC queue 208109775
deleting IPC queue 208142544
deleting IPC queue 208175313
deleting IPC queue 208208082
deleting IPC queue 208240851
deleting IPC queue 208273620
deleting IPC queue 208306389
deleting IPC queue 208339158
deleting IPC queue 208371927
deleting IPC queue 208404696
deleting IPC queue 208437465
deleting IPC queue 208470234
deleting IPC queue 208503003
deleting IPC queue 208535772
deleting IPC queue 208568541
deleting IPC queue 208601310
deleting IPC queue 208634079
deleting IPC queue 208666848
deleting IPC queue 208699617
deleting IPC queue 208732386
deleting IPC queue 208765155
deleting IPC queue 208797924
deleting IPC queue 208830693
deleting IPC queue 208863462
deleting IPC queue 208896231
deleting IPC queue 208929000
deleting IPC queue 208961769
deleting IPC queue 208994538
deleting IPC queue 209027307
deleting IPC queue 209060076
deleting IPC queue 209092845
deleting IPC queue 209125614
deleting IPC queue 209158383
deleting IPC queue 209191152
deleting IPC queue 209223921
deleting IPC queue 209256690
deleting IPC queue 209289459
deleting IPC queue 209322228
deleting IPC queue 209354997
deleting IPC queue 209387766
deleting IPC queue 209420535
deleting IPC queue 209453304
deleting IPC queue 209486073
deleting IPC queue 209518842
deleting IPC queue 209551611
deleting IPC queue 209584380
deleting IPC queue 209617149
deleting IPC queue 209649918
deleting IPC queue 209682687

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1318.38
system time used= 148.377
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 556911
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= 11883071
involuntary context switches= 2411549

runsolver used 1.38009 second user time and 3.61223 second system time

The end

Launcher Data 

Begin job on xenhost3-49 at 2009-06-13 05:54:37
IDJOB=1781412
IDBENCH=71743
IDSOLVER=631
FILE ID=xenhost3-49/1781412-1244865277
PBS_JOBID=
Free space on /tmp= 7014 MiB

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

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

MD5SUM BENCH= b7df25f653e1e7a9ffcd39b3231809e6
RANDOM SEED= 523783066

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:      19111968 kB
Buffers:        435932 kB
Cached:       14126920 kB
SwapCached:          0 kB
Active:        4081772 kB
Inactive:     10489832 kB
SwapTotal:    25398692 kB
SwapFree:     25398692 kB
Dirty:           13580 kB
Writeback:           0 kB
AnonPages:        8064 kB
Mapped:           3744 kB
Slab:           689824 kB
SReclaimable:   662912 kB
SUnreclaim:      26912 kB
PageTables:          0 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
WritebackTmp:        0 kB
CommitLimit:  43612580 kB
Committed_AS:    29492 kB
VmallocTotal: 34359738367 kB
VmallocUsed:    275248 kB
VmallocChunk: 34359462839 kB
DirectMap4k:  99216660 kB
DirectMap2M:         0 kB

Free space on /tmp at the end= 7014 MiB
End job on xenhost3-49 at 2009-06-13 05:59:35