Trace number 1775877

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) 1341.22 1000.05

General information on the benchmark

Nameindustrial/fuhs/hard/
AProVE07-01.cnf
MD5SUMd2f77e32530988f77dca5112174eee00
Bench CategoryAPPLICATION (applications instances)
Best result obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark
Satisfiable
(Un)Satisfiability was proved
Number of variables7502
Number of clauses28770
Sum of the clauses size76290
Maximum clause length847
Minimum clause length1
Number of clauses of size 11
Number of clauses of size 215814
Number of clauses of size 311119
Number of clauses of size 4733
Number of clauses of size 5172
Number of clauses of size over 5931

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

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 10000 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 10030 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1000 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 2096128 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 2147328 KiB
Solver output will be limited to a maximum of 15728640 bytes. The first 1048576 bytes and the last 14680064 bytes will be preserved
Current StackSize limit: 8192 KiB


[startup+0 s]
/proc/loadavg: 5.83 6.09 6.49 2/184 29591
/proc/meminfo: memFree=19143944/36427776 swapFree=4332/8036
[pid=29591] ppid=29589 vsize=7080 CPUtime=0
/proc/29591/stat : 29591 (satake) R 29589 29591 27791 0 -1 4202496 413 0 0 0 0 0 0 0 20 0 17 0 631842288 7249920 369 18446744073709551615 134512640 135180984 4293043472 18446744073709551615 134573496 0 0 1 0 18446744073709551615 0 0 17 9 0 0 0 0 0
/proc/29591/statm: 1770 369 63 164 0 1605 0
[pid=29591/tid=29592] ppid=29589 vsize=7080 CPUtime=0
/proc/29591/task/29592/stat : 29592 (satake) S 29589 29591 27791 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 17 0 631842289 7249920 369 18446744073709551615 134512640 135180984 4293043472 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 10 0 0 0 0 0
[pid=29591/tid=29593] ppid=29589 vsize=7080 CPUtime=0
/proc/29591/task/29593/stat : 29593 (satake) D 29589 29591 27791 0 -1 4202560 54 0 0 0 0 0 0 0 20 0 17 0 631842289 7249920 370 18446744073709551615 134512640 135180984 4293043472 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 11 0 0 0 0 0
[pid=29591/tid=29594] ppid=29589 vsize=9128 CPUtime=0
/proc/29591/task/29594/stat : 29594 (satake) D 29589 29591 27791 0 -1 4202560 40 0 0 0 0 0 0 0 20 0 17 0 631842289 9347072 370 18446744073709551615 134512640 135180984 4293043472 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 10 0 0 0 0 0
[pid=29591/tid=29595] ppid=29589 vsize=9128 CPUtime=0
/proc/29591/task/29595/stat : 29595 (satake) R 29589 29591 27791 0 -1 4202560 28 0 0 0 0 0 0 0 20 0 17 0 631842289 9347072 376 18446744073709551615 134512640 135180984 4293043472 18446744073709551615 134691935 0 0 1 0 0 0 0 -1 12 0 0 0 0 0
[pid=29591/tid=29596] ppid=29589 vsize=9128 CPUtime=0
/proc/29591/task/29596/stat : 29596 (satake) D 29589 29591 27791 0 -1 4202560 24 0 0 0 0 0 0 0 20 0 17 0 631842289 9347072 377 18446744073709551615 134512640 135180984 4293043472 18446744073709551615 134691935 0 0 1 0 0 0 0 -1 10 0 0 0 0 0
[pid=29591/tid=29597] ppid=29589 vsize=9128 CPUtime=0
/proc/29591/task/29597/stat : 29597 (satake) R 29589 29591 27791 0 -1 4202560 20 0 0 0 0 0 0 0 20 0 17 0 631842289 9347072 377 18446744073709551615 134512640 135180984 4293043472 18446744073709551615 134691935 0 0 1 0 0 0 0 -1 9 0 0 0 0 0
[pid=29591/tid=29598] ppid=29589 vsize=9128 CPUtime=0
/proc/29591/task/29598/stat : 29598 (satake) S 29589 29591 27791 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 17 0 631842289 9347072 378 18446744073709551615 134512640 135180984 4293043472 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 11 0 0 0 0 0
[pid=29591/tid=29599] ppid=29589 vsize=9128 CPUtime=0
/proc/29591/task/29599/stat : 29599 (satake) S 29589 29591 27791 0 -1 4202560 18 0 0 0 0 0 0 0 20 0 17 0 631842289 9347072 379 18446744073709551615 134512640 135180984 4293043472 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 13 0 0 0 0 0
[pid=29591/tid=29600] ppid=29589 vsize=9128 CPUtime=0
/proc/29591/task/29600/stat : 29600 (satake) S 29589 29591 27791 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 17 0 631842289 9347072 379 18446744073709551615 134512640 135180984 4293043472 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 14 0 0 0 0 0
[pid=29591/tid=29601] ppid=29589 vsize=9128 CPUtime=0
/proc/29591/task/29601/stat : 29601 (satake) R 29589 29591 27791 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 17 0 631842289 9347072 379 18446744073709551615 134512640 135180984 4293043472 18446744073709551615 134691935 0 0 1 0 0 0 0 -1 15 0 0 0 0 0
[pid=29591/tid=29602] ppid=29589 vsize=9128 CPUtime=0
/proc/29591/task/29602/stat : 29602 (satake) R 29589 29591 27791 0 -1 4202560 18 0 0 0 0 0 0 0 20 0 17 0 631842289 9347072 379 18446744073709551615 134512640 135180984 4293043472 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 0 0 0 0 0 0
[pid=29591/tid=29603] ppid=29589 vsize=9128 CPUtime=0
/proc/29591/task/29603/stat : 29603 (satake) R 29589 29591 27791 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 17 0 631842289 9347072 379 18446744073709551615 134512640 135180984 4293043472 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 1 0 0 0 0 0
[pid=29591/tid=29604] ppid=29589 vsize=9128 CPUtime=0
/proc/29591/task/29604/stat : 29604 (satake) R 29589 29591 27791 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 17 0 631842289 9347072 379 18446744073709551615 134512640 135180984 4293043472 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 1 0 0 0 0 0
[pid=29591/tid=29605] ppid=29589 vsize=9128 CPUtime=0
/proc/29591/task/29605/stat : 29605 (satake) D 29589 29591 27791 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 17 0 631842289 9347072 381 18446744073709551615 134512640 135180984 4293043472 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 2 0 0 0 0 0
[pid=29591/tid=29606] ppid=29589 vsize=8104 CPUtime=0
/proc/29591/task/29606/stat : 29606 (satake) R 29589 29591 27791 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 17 0 631842289 8298496 381 18446744073709551615 134512640 135180984 4293043472 18446744073709551615 134702083 0 0 1 0 0 0 0 -1 13 0 0 0 0 0
[pid=29591/tid=29607] ppid=29589 vsize=8108 CPUtime=0
/proc/29591/task/29607/stat : 29607 (satake) D 29589 29591 27791 0 -1 4202560 0 0 0 0 0 0 0 0 20 0 17 0 631842290 8302592 384 18446744073709551615 134512640 135180984 4293043472 18446744073709551615 134702260 0 0 1 0 0 0 0 -1 14 0 0 0 0 0

[startup+0.114351 s]
/proc/loadavg: 5.83 6.09 6.49 2/184 29591
/proc/meminfo: memFree=19143944/36427776 swapFree=4332/8036
[pid=29591] ppid=29589 vsize=28540 CPUtime=0.45
/proc/29591/stat : 29591 (satake) S 29589 29591 27791 0 -1 4202496 3800 0 0 0 5 40 0 0 20 0 17 0 631842288 29224960 3740 18446744073709551615 134512640 135180984 4293043472 18446744073709551615 134573496 0 0 1 0 18446744073709551615 0 0 17 9 0 0 0 0 0
/proc/29591/statm: 7135 3742 63 164 0 6970 0
[pid=29591/tid=29592] ppid=29589 vsize=28540 CPUtime=0
/proc/29591/task/29592/stat : 29592 (satake) S 29589 29591 27791 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 17 0 631842289 29224960 3742 18446744073709551615 134512640 135180984 4293043472 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 10 0 0 0 0 0
[pid=29591/tid=29593] ppid=29589 vsize=28540 CPUtime=0.04
/proc/29591/task/29593/stat : 29593 (satake) D 29589 29591 27791 0 -1 4202560 301 0 0 0 0 4 0 0 20 0 17 0 631842289 29224960 3743 18446744073709551615 134512640 135180984 4293043472 18446744073709551615 134675846 0 0 1 0 0 0 0 -1 11 0 0 0 0 0
[pid=29591/tid=29594] ppid=29589 vsize=28540 CPUtime=0.02
/proc/29591/task/29594/stat : 29594 (satake) R 29589 29591 27791 0 -1 4202560 265 0 0 0 0 2 0 0 20 0 17 0 631842289 29224960 3747 18446744073709551615 134512640 135180984 4293043472 18446744073709551615 134522388 0 0 1 0 0 0 0 -1 10 0 0 0 0 0
[pid=29591/tid=29595] ppid=29589 vsize=28540 CPUtime=0.04
/proc/29591/task/29595/stat : 29595 (satake) D 29589 29591 27791 0 -1 4202560 295 0 0 0 0 4 0 0 20 0 17 0 631842289 29224960 3747 18446744073709551615 134512640 135180984 4293043472 18446744073709551615 134675846 0 0 1 0 0 0 0 -1 12 0 0 0 0 0
[pid=29591/tid=29596] ppid=29589 vsize=28540 CPUtime=0.02
/proc/29591/task/29596/stat : 29596 (satake) R 29589 29591 27791 0 -1 4202560 210 0 0 0 2 0 0 0 20 0 17 0 631842289 29224960 3748 18446744073709551615 134512640 135180984 4293043472 18446744073709551615 134675767 0 0 1 0 0 0 0 -1 10 0 0 0 0 0
[pid=29591/tid=29597] ppid=29589 vsize=28540 CPUtime=0.04
/proc/29591/task/29597/stat : 29597 (satake) R 29589 29591 27791 0 -1 4202560 271 0 0 0 0 4 0 0 20 0 17 0 631842289 29224960 3748 18446744073709551615 134512640 135180984 4293043472 18446744073709551615 134691935 0 0 1 0 0 0 0 -1 9 0 0 0 0 0
[pid=29591/tid=29598] ppid=29589 vsize=28540 CPUtime=0
/proc/29591/task/29598/stat : 29598 (satake) D 29589 29591 27791 0 -1 4202560 201 0 0 0 0 0 0 0 20 0 17 0 631842289 29224960 3748 18446744073709551615 134512640 135180984 4293043472 18446744073709551615 134522209 0 0 1 0 0 0 0 -1 11 0 0 0 0 0
[pid=29591/tid=29599] ppid=29589 vsize=28540 CPUtime=0.04
/proc/29591/task/29599/stat : 29599 (satake) D 29589 29591 27791 0 -1 4202560 281 0 0 0 0 4 0 0 20 0 17 0 631842289 29224960 3749 18446744073709551615 134512640 135180984 4293043472 18446744073709551615 134522560 0 0 1 0 0 0 0 -1 13 0 0 0 0 0
[pid=29591/tid=29600] ppid=29589 vsize=28540 CPUtime=0.04
/proc/29591/task/29600/stat : 29600 (satake) D 29589 29591 27791 0 -1 4202560 255 0 0 0 0 4 0 0 20 0 17 0 631842289 29224960 3750 18446744073709551615 134512640 135180984 4293043472 18446744073709551615 134702260 0 0 1 0 0 0 0 -1 14 0 0 0 0 0
[pid=29591/tid=29601] ppid=29589 vsize=28540 CPUtime=0.04
/proc/29591/task/29601/stat : 29601 (satake) R 29589 29591 27791 0 -1 4202560 271 0 0 0 0 4 0 0 20 0 17 0 631842289 29224960 3750 18446744073709551615 134512640 135180984 4293043472 18446744073709551615 134702260 0 0 1 0 0 0 0 -1 15 0 0 0 0 0
[pid=29591/tid=29602] ppid=29589 vsize=28540 CPUtime=0.04
/proc/29591/task/29602/stat : 29602 (satake) D 29589 29591 27791 0 -1 4202560 264 0 0 0 0 4 0 0 20 0 17 0 631842289 29224960 3752 18446744073709551615 134512640 135180984 4293043472 18446744073709551615 134522388 0 0 1 0 0 0 0 -1 0 0 0 0 0 0
[pid=29591/tid=29603] ppid=29589 vsize=28540 CPUtime=0.02
/proc/29591/task/29603/stat : 29603 (satake) D 29589 29591 27791 0 -1 4202560 252 0 0 0 0 2 0 0 20 0 17 0 631842289 29224960 3752 18446744073709551615 134512640 135180984 4293043472 18446744073709551615 134522312 0 0 1 0 0 0 0 -1 1 0 0 0 0 0
[pid=29591/tid=29604] ppid=29589 vsize=28540 CPUtime=0
/proc/29591/task/29604/stat : 29604 (satake) D 29589 29591 27791 0 -1 4202560 181 0 0 0 0 0 0 0 20 0 17 0 631842289 29224960 3752 18446744073709551615 134512640 135180984 4293043472 18446744073709551615 134522361 0 0 1 0 0 0 0 -1 1 0 0 0 0 0
[pid=29591/tid=29605] ppid=29589 vsize=28540 CPUtime=0.04
/proc/29591/task/29605/stat : 29605 (satake) D 29589 29591 27791 0 -1 4202560 261 0 0 0 0 4 0 0 20 0 17 0 631842289 29224960 3752 18446744073709551615 134512640 135180984 4293043472 18446744073709551615 134522361 0 0 1 0 0 0 0 -1 2 0 0 0 0 0
[pid=29591/tid=29606] ppid=29589 vsize=28540 CPUtime=0
/proc/29591/task/29606/stat : 29606 (satake) D 29589 29591 27791 0 -1 4202560 179 0 0 0 0 0 0 0 20 0 17 0 631842289 29224960 3757 18446744073709551615 134512640 135180984 4293043472 18446744073709551615 134522560 0 0 1 0 0 0 0 -1 13 0 0 0 0 0
[pid=29591/tid=29607] ppid=29589 vsize=28540 CPUtime=0
/proc/29591/task/29607/stat : 29607 (satake) R 29589 29591 27791 0 -1 4202560 192 0 0 0 0 0 0 0 20 0 17 0 631842290 29224960 3759 18446744073709551615 134512640 135180984 4293043472 18446744073709551615 134675767 0 0 1 0 0 0 0 -1 14 0 0 0 0 0
Current children cumulated CPU time (s) 0.45
Current children cumulated vsize (KiB) 28540

[startup+0.206348 s]
/proc/loadavg: 5.83 6.09 6.49 2/184 29591
/proc/meminfo: memFree=19143944/36427776 swapFree=4332/8036
[pid=29591] ppid=29589 vsize=32332 CPUtime=0.79
/proc/29591/stat : 29591 (satake) S 29589 29591 27791 0 -1 4202496 5948 0 0 0 5 74 0 0 20 0 17 0 631842288 33107968 5888 18446744073709551615 134512640 135180984 4293043472 18446744073709551615 134573496 0 0 1 0 18446744073709551615 0 0 17 9 0 0 0 0 0
/proc/29591/statm: 8083 5890 63 164 0 7918 0
[pid=29591/tid=29592] ppid=29589 vsize=32332 CPUtime=0
/proc/29591/task/29592/stat : 29592 (satake) S 29589 29591 27791 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 17 0 631842289 33107968 5890 18446744073709551615 134512640 135180984 4293043472 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 10 0 0 0 0 0
[pid=29591/tid=29593] ppid=29589 vsize=32332 CPUtime=0.06
/proc/29591/task/29593/stat : 29593 (satake) R 29589 29591 27791 0 -1 4202560 437 0 0 0 0 6 0 0 20 0 17 0 631842289 33107968 5890 18446744073709551615 134512640 135180984 4293043472 18446744073709551615 134702260 0 0 1 0 0 0 0 -1 11 0 0 0 0 0
[pid=29591/tid=29594] ppid=29589 vsize=32332 CPUtime=0.04
/proc/29591/task/29594/stat : 29594 (satake) S 29589 29591 27791 0 -1 4202560 361 0 0 0 0 4 0 0 20 0 17 0 631842289 33107968 5890 18446744073709551615 134512640 135180984 4293043472 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 10 0 0 0 0 0
[pid=29591/tid=29595] ppid=29589 vsize=32332 CPUtime=0.06
/proc/29591/task/29595/stat : 29595 (satake) S 29589 29591 27791 0 -1 4202560 384 0 0 0 0 6 0 0 20 0 17 0 631842289 33107968 5890 18446744073709551615 134512640 135180984 4293043472 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 12 0 0 0 0 0
[pid=29591/tid=29596] ppid=29589 vsize=32332 CPUtime=0.04
/proc/29591/task/29596/stat : 29596 (satake) R 29589 29591 27791 0 -1 4202560 380 0 0 0 2 2 0 0 20 0 17 0 631842289 33107968 5890 18446744073709551615 134512640 135180984 4293043472 18446744073709551615 134579745 0 0 1 0 0 0 0 -1 10 0 0 0 0 0
[pid=29591/tid=29597] ppid=29589 vsize=32332 CPUtime=0.06
/proc/29591/task/29597/stat : 29597 (satake) S 29589 29591 27791 0 -1 4202560 391 0 0 0 0 6 0 0 20 0 17 0 631842289 33107968 5892 18446744073709551615 134512640 135180984 4293043472 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 9 0 0 0 0 0
[pid=29591/tid=29598] ppid=29589 vsize=32332 CPUtime=0.02
/proc/29591/task/29598/stat : 29598 (satake) R 29589 29591 27791 0 -1 4202560 382 0 0 0 0 2 0 0 20 0 17 0 631842289 33107968 5894 18446744073709551615 134512640 135180984 4293043472 18446744073709551615 134520025 0 0 1 0 0 0 0 -1 11 0 0 0 0 0
[pid=29591/tid=29599] ppid=29589 vsize=32332 CPUtime=0.06
/proc/29591/task/29599/stat : 29599 (satake) R 29589 29591 27791 0 -1 4202560 413 0 0 0 0 6 0 0 20 0 17 0 631842289 33107968 5894 18446744073709551615 134512640 135180984 4293043472 18446744073709551615 134520025 0 0 1 0 0 0 0 -1 13 0 0 0 0 0
[pid=29591/tid=29600] ppid=29589 vsize=32332 CPUtime=0.04
/proc/29591/task/29600/stat : 29600 (satake) R 29589 29591 27791 0 -1 4202560 392 0 0 0 0 4 0 0 20 0 17 0 631842289 33107968 5894 18446744073709551615 134512640 135180984 4293043472 18446744073709551615 134579745 0 0 1 0 0 0 0 -1 14 0 0 0 0 0
[pid=29591/tid=29601] ppid=29589 vsize=32332 CPUtime=0.06
/proc/29591/task/29601/stat : 29601 (satake) S 29589 29591 27791 0 -1 4202560 378 0 0 0 0 6 0 0 20 0 17 0 631842289 33107968 5895 18446744073709551615 134512640 135180984 4293043472 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 15 0 0 0 0 0
[pid=29591/tid=29602] ppid=29589 vsize=32332 CPUtime=0.06
/proc/29591/task/29602/stat : 29602 (satake) S 29589 29591 27791 0 -1 4202560 404 0 0 0 0 6 0 0 20 0 17 0 631842289 33107968 5896 18446744073709551615 134512640 135180984 4293043472 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 0 0 0 0 0 0
[pid=29591/tid=29603] ppid=29589 vsize=32332 CPUtime=0.06
/proc/29591/task/29603/stat : 29603 (satake) D 29589 29591 27791 0 -1 4202560 381 0 0 0 0 6 0 0 20 0 17 0 631842289 33107968 5897 18446744073709551615 134512640 135180984 4293043472 18446744073709551615 134702260 0 0 1 0 0 0 0 -1 1 0 0 0 0 0
[pid=29591/tid=29604] ppid=29589 vsize=32332 CPUtime=0.02
/proc/29591/task/29604/stat : 29604 (satake) R 29589 29591 27791 0 -1 4202560 373 0 0 0 0 2 0 0 20 0 17 0 631842289 33107968 5897 18446744073709551615 134512640 135180984 4293043472 18446744073709551615 134579745 0 0 1 0 0 0 0 -1 1 0 0 0 0 0
[pid=29591/tid=29605] ppid=29589 vsize=32332 CPUtime=0.06
/proc/29591/task/29605/stat : 29605 (satake) D 29589 29591 27791 0 -1 4202560 383 0 0 0 0 6 0 0 20 0 17 0 631842289 33107968 5897 18446744073709551615 134512640 135180984 4293043472 18446744073709551615 134675767 0 0 1 0 0 0 0 -1 2 0 0 0 0 0
[pid=29591/tid=29606] ppid=29589 vsize=32332 CPUtime=0.02
/proc/29591/task/29606/stat : 29606 (satake) D 29589 29591 27791 0 -1 4202560 372 0 0 0 0 2 0 0 20 0 17 0 631842289 33107968 5897 18446744073709551615 134512640 135180984 4293043472 18446744073709551615 134675846 0 0 1 0 0 0 0 -1 13 0 0 0 0 0
[pid=29591/tid=29607] ppid=29589 vsize=32332 CPUtime=0.02
/proc/29591/task/29607/stat : 29607 (satake) R 29589 29591 27791 0 -1 4202560 394 0 0 0 0 2 0 0 20 0 17 0 631842290 33107968 5898 18446744073709551615 134512640 135180984 4293043472 18446744073709551615 134691935 0 0 1 0 0 0 0 -1 14 0 0 0 0 0
Current children cumulated CPU time (s) 0.79
Current children cumulated vsize (KiB) 32332

[startup+0.306332 s]
/proc/loadavg: 5.83 6.09 6.49 2/184 29591
/proc/meminfo: memFree=19143944/36427776 swapFree=4332/8036
[pid=29591] ppid=29589 vsize=36244 CPUtime=1.3
/proc/29591/stat : 29591 (satake) S 29589 29591 27791 0 -1 4202496 7957 0 0 0 40 90 0 0 20 0 17 0 631842288 37113856 6778 18446744073709551615 134512640 135180984 4293043472 18446744073709551615 134573496 0 0 1 0 18446744073709551615 0 0 17 9 0 0 0 0 0
/proc/29591/statm: 9061 6782 66 164 0 8896 0
[pid=29591/tid=29592] ppid=29589 vsize=36244 CPUtime=0
/proc/29591/task/29592/stat : 29592 (satake) R 29589 29591 27791 0 -1 4202560 61 0 0 0 0 0 0 0 20 0 17 0 631842289 37113856 6783 18446744073709551615 134512640 135180984 4293043472 18446744073709551615 134543400 0 0 1 0 0 0 0 -1 10 0 0 0 0 0
[pid=29591/tid=29593] ppid=29589 vsize=36244 CPUtime=0.1
/proc/29591/task/29593/stat : 29593 (satake) R 29589 29591 27791 0 -1 4202560 587 0 0 0 4 6 0 0 20 0 17 0 631842289 37113856 6784 18446744073709551615 134512640 135180984 4293043472 18446744073709551615 134579745 0 0 1 0 0 0 0 -1 11 0 0 0 0 0
[pid=29591/tid=29594] ppid=29589 vsize=36244 CPUtime=0.08
/proc/29591/task/29594/stat : 29594 (satake) S 29589 29591 27791 0 -1 4202560 484 0 0 0 4 4 0 0 20 0 17 0 631842289 37113856 6786 18446744073709551615 134512640 135180984 4293043472 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 10 0 0 0 0 0
[pid=29591/tid=29595] ppid=29589 vsize=36244 CPUtime=0.1
/proc/29591/task/29595/stat : 29595 (satake) S 29589 29591 27791 0 -1 4202560 488 0 0 0 2 8 0 0 20 0 17 0 631842289 37113856 6789 18446744073709551615 134512640 135180984 4293043472 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 12 0 0 0 0 0
[pid=29591/tid=29596] ppid=29589 vsize=36244 CPUtime=0.06
/proc/29591/task/29596/stat : 29596 (satake) R 29589 29591 27791 0 -1 4202560 484 0 0 0 2 4 0 0 20 0 17 0 631842289 37113856 6793 18446744073709551615 134512640 135180984 4293043472 18446744073709551615 134691935 0 0 1 0 0 0 0 -1 10 0 0 0 0 0
[pid=29591/tid=29597] ppid=29589 vsize=36244 CPUtime=0.1
/proc/29591/task/29597/stat : 29597 (satake) S 29589 29591 27791 0 -1 4202560 509 0 0 0 2 8 0 0 20 0 17 0 631842289 37113856 6796 18446744073709551615 134512640 135180984 4293043472 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 9 0 0 0 0 0
[pid=29591/tid=29598] ppid=29589 vsize=36244 CPUtime=0.06
/proc/29591/task/29598/stat : 29598 (satake) R 29589 29591 27791 0 -1 4202560 539 0 0 0 2 4 0 0 20 0 17 0 631842289 37113856 6798 18446744073709551615 134512640 135180984 4293043472 18446744073709551615 134579486 0 0 1 0 0 0 0 -1 11 0 0 0 0 0
[pid=29591/tid=29599] ppid=29589 vsize=36244 CPUtime=0.08
/proc/29591/task/29599/stat : 29599 (satake) R 29589 29591 27791 0 -1 4202560 537 0 0 0 2 6 0 0 20 0 17 0 631842289 37113856 6799 18446744073709551615 134512640 135180984 4293043472 18446744073709551615 134523985 0 0 1 0 0 0 0 -1 13 0 0 0 0 0
[pid=29591/tid=29600] ppid=29589 vsize=36244 CPUtime=0.08
/proc/29591/task/29600/stat : 29600 (satake) S 29589 29591 27791 0 -1 4202560 543 0 0 0 2 6 0 0 20 0 17 0 631842289 37113856 6799 18446744073709551615 134512640 135180984 4293043472 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 14 0 0 0 0 0
[pid=29591/tid=29601] ppid=29589 vsize=36244 CPUtime=0.1
/proc/29591/task/29601/stat : 29601 (satake) R 29589 29591 27791 0 -1 4202560 504 0 0 0 4 6 0 0 20 0 17 0 631842289 37113856 6800 18446744073709551615 134512640 135180984 4293043472 18446744073709551615 134579745 0 0 1 0 0 0 0 -1 15 0 0 0 0 0
[pid=29591/tid=29602] ppid=29589 vsize=36244 CPUtime=0.1
/proc/29591/task/29602/stat : 29602 (satake) S 29589 29591 27791 0 -1 4202560 540 0 0 0 2 8 0 0 20 0 17 0 631842289 37113856 6801 18446744073709551615 134512640 135180984 4293043472 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 0 0 0 0 0 0
[pid=29591/tid=29603] ppid=29589 vsize=36244 CPUtime=0.08
/proc/29591/task/29603/stat : 29603 (satake) S 29589 29591 27791 0 -1 4202560 505 0 0 0 2 6 0 0 20 0 17 0 631842289 37113856 6802 18446744073709551615 134512640 135180984 4293043472 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 1 0 0 0 0 0
[pid=29591/tid=29604] ppid=29589 vsize=36244 CPUtime=0.06
/proc/29591/task/29604/stat : 29604 (satake) S 29589 29591 27791 0 -1 4202560 493 0 0 0 2 4 0 0 20 0 17 0 631842289 37113856 6803 18446744073709551615 134512640 135180984 4293043472 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 1 0 0 0 0 0
[pid=29591/tid=29605] ppid=29589 vsize=36244 CPUtime=0.1
/proc/29591/task/29605/stat : 29605 (satake) S 29589 29591 27791 0 -1 4202560 501 0 0 0 4 6 0 0 20 0 17 0 631842289 37113856 6806 18446744073709551615 134512640 135180984 4293043472 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 2 0 0 0 0 0
[pid=29591/tid=29606] ppid=29589 vsize=36244 CPUtime=0.04
/proc/29591/task/29606/stat : 29606 (satake) S 29589 29591 27791 0 -1 4202560 496 0 0 0 0 4 0 0 20 0 17 0 631842289 37113856 6809 18446744073709551615 134512640 135180984 4293043472 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 13 0 0 0 0 0
[pid=29591/tid=29607] ppid=29589 vsize=36244 CPUtime=0.06
/proc/29591/task/29607/stat : 29607 (satake) R 29589 29591 27791 0 -1 4202560 567 0 0 0 0 6 0 0 20 0 17 0 631842290 37113856 6810 18446744073709551615 134512640 135180984 4293043472 18446744073709551615 134579745 0 0 1 0 0 0 0 -1 14 0 0 0 0 0
Current children cumulated CPU time (s) 1.3
Current children cumulated vsize (KiB) 36244

[startup+0.702315 s]
/proc/loadavg: 5.83 6.09 6.49 2/184 29591
/proc/meminfo: memFree=19143944/36427776 swapFree=4332/8036
[pid=29591] ppid=29589 vsize=37056 CPUtime=1.92
/proc/29591/stat : 29591 (satake) S 29589 29591 27791 0 -1 4202496 8251 0 0 0 68 124 0 0 20 0 17 0 631842288 37945344 6511 18446744073709551615 134512640 135180984 4293043472 18446744073709551615 134573496 0 0 1 0 18446744073709551615 0 0 17 9 0 0 0 0 0
/proc/29591/statm: 9264 6511 68 164 0 9099 0
[pid=29591/tid=29592] ppid=29589 vsize=37056 CPUtime=0.2
/proc/29591/task/29592/stat : 29592 (satake) D 29589 29591 27791 0 -1 4202560 113 0 0 0 2 18 0 0 20 0 17 0 631842289 37945344 6511 18446744073709551615 134512640 135180984 4293043472 18446744073709551615 134706407 0 0 1 0 0 0 0 -1 2 0 0 0 0 0
[pid=29591/tid=29593] ppid=29589 vsize=37056 CPUtime=0.12
/proc/29591/task/29593/stat : 29593 (satake) S 29589 29591 27791 0 -1 4202560 603 0 0 0 6 6 0 0 20 0 17 0 631842289 37945344 6511 18446744073709551615 134512640 135180984 4293043472 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 11 0 0 0 0 0
[pid=29591/tid=29594] ppid=29589 vsize=37056 CPUtime=0.1
/proc/29591/task/29594/stat : 29594 (satake) S 29589 29591 27791 0 -1 4202560 496 0 0 0 4 6 0 0 20 0 17 0 631842289 37945344 6511 18446744073709551615 134512640 135180984 4293043472 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 10 0 0 0 0 0
[pid=29591/tid=29595] ppid=29589 vsize=37056 CPUtime=0.12
/proc/29591/task/29595/stat : 29595 (satake) S 29589 29591 27791 0 -1 4202560 491 0 0 0 4 8 0 0 20 0 17 0 631842289 37945344 6511 18446744073709551615 134512640 135180984 4293043472 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 12 0 0 0 0 0
[pid=29591/tid=29596] ppid=29589 vsize=37056 CPUtime=0.08
/proc/29591/task/29596/stat : 29596 (satake) S 29589 29591 27791 0 -1 4202560 522 0 0 0 2 6 0 0 20 0 17 0 631842289 37945344 6511 18446744073709551615 134512640 135180984 4293043472 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 10 0 0 0 0 0
[pid=29591/tid=29597] ppid=29589 vsize=37056 CPUtime=0.12
/proc/29591/task/29597/stat : 29597 (satake) S 29589 29591 27791 0 -1 4202560 519 0 0 0 4 8 0 0 20 0 17 0 631842289 37945344 6511 18446744073709551615 134512640 135180984 4293043472 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 9 0 0 0 0 0
[pid=29591/tid=29598] ppid=29589 vsize=37056 CPUtime=0.08
/proc/29591/task/29598/stat : 29598 (satake) S 29589 29591 27791 0 -1 4202560 547 0 0 0 4 4 0 0 20 0 17 0 631842289 37945344 6511 18446744073709551615 134512640 135180984 4293043472 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 11 0 0 0 0 0
[pid=29591/tid=29599] ppid=29589 vsize=37056 CPUtime=0.12
/proc/29591/task/29599/stat : 29599 (satake) S 29589 29591 27791 0 -1 4202560 547 0 0 0 4 8 0 0 20 0 17 0 631842289 37945344 6511 18446744073709551615 134512640 135180984 4293043472 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 13 0 0 0 0 0
[pid=29591/tid=29600] ppid=29589 vsize=37056 CPUtime=0.1
/proc/29591/task/29600/stat : 29600 (satake) R 29589 29591 27791 0 -1 4202560 558 0 0 0 4 6 0 0 20 0 17 0 631842289 37945344 6511 18446744073709551615 134512640 135180984 4293043472 18446744073709551615 134706407 0 0 1 0 0 0 0 -1 14 0 0 0 0 0
[pid=29591/tid=29601] ppid=29589 vsize=37056 CPUtime=0.14

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

deleting IPC queue 212271182
deleting IPC queue 212303951
deleting IPC queue 212336720
deleting IPC queue 212369489
deleting IPC queue 212402258
deleting IPC queue 212435027
deleting IPC queue 212467796
deleting IPC queue 212500565
deleting IPC queue 212533334
deleting IPC queue 212566103
deleting IPC queue 212598872
deleting IPC queue 212631641
deleting IPC queue 212664410
deleting IPC queue 212697179
deleting IPC queue 212729948
deleting IPC queue 212762717
deleting IPC queue 212795486
deleting IPC queue 212828255
deleting IPC queue 212861024
deleting IPC queue 212893793
deleting IPC queue 212926562
deleting IPC queue 212959331
deleting IPC queue 212992100
deleting IPC queue 213024869
deleting IPC queue 213057638
deleting IPC queue 213090407
deleting IPC queue 213123176
deleting IPC queue 213155945
deleting IPC queue 213188714
deleting IPC queue 213221483
deleting IPC queue 213254252
deleting IPC queue 213287021
deleting IPC queue 213319790
deleting IPC queue 213352559
deleting IPC queue 213385328
deleting IPC queue 213418097
deleting IPC queue 213450866
deleting IPC queue 213483635
deleting IPC queue 213516404
deleting IPC queue 213549173
deleting IPC queue 213581942
deleting IPC queue 213614711
deleting IPC queue 213647480
deleting IPC queue 213680249
deleting IPC queue 213713018
deleting IPC queue 213745787
deleting IPC queue 213778556
deleting IPC queue 213811325
deleting IPC queue 213844094
deleting IPC queue 213876863
deleting IPC queue 213909632
deleting IPC queue 213942401
deleting IPC queue 213975170
deleting IPC queue 214007939
deleting IPC queue 214040708
deleting IPC queue 214073477
deleting IPC queue 214106246
deleting IPC queue 214139015
deleting IPC queue 214171784
deleting IPC queue 214204553
deleting IPC queue 214237322
deleting IPC queue 214270091
deleting IPC queue 214302860
deleting IPC queue 214335629
deleting IPC queue 214368398
deleting IPC queue 214401167
deleting IPC queue 214433936
deleting IPC queue 214466705
deleting IPC queue 214499474
deleting IPC queue 214532243
deleting IPC queue 214565012
deleting IPC queue 214597781
deleting IPC queue 214630550
deleting IPC queue 214663319
deleting IPC queue 214696088
deleting IPC queue 214728857
deleting IPC queue 214761626
deleting IPC queue 214794395
deleting IPC queue 214827164
deleting IPC queue 214859933
deleting IPC queue 214892702
deleting IPC queue 214925471
deleting IPC queue 214958240
deleting IPC queue 214991009
deleting IPC queue 215023778
deleting IPC queue 215056547
deleting IPC queue 215089316
deleting IPC queue 215122085
deleting IPC queue 215154854
deleting IPC queue 215187623
deleting IPC queue 215220392
deleting IPC queue 215253161
deleting IPC queue 215285930
deleting IPC queue 215318699
deleting IPC queue 215351468
deleting IPC queue 215384237
deleting IPC queue 215417006
deleting IPC queue 215449775
deleting IPC queue 215482544
deleting IPC queue 215515313
deleting IPC queue 215548082
deleting IPC queue 215580851
deleting IPC queue 215613620
deleting IPC queue 215646389
deleting IPC queue 215679158
deleting IPC queue 215711927
deleting IPC queue 215744696
deleting IPC queue 215777465
deleting IPC queue 215810234
deleting IPC queue 215843003
deleting IPC queue 215875772
deleting IPC queue 215908541
deleting IPC queue 215941310
deleting IPC queue 215974079
deleting IPC queue 216006848
deleting IPC queue 216039617
deleting IPC queue 216072386
deleting IPC queue 216105155
deleting IPC queue 216137924
deleting IPC queue 216170693
deleting IPC queue 216203462
deleting IPC queue 216236231
deleting IPC queue 216269000
deleting IPC queue 216301769
deleting IPC queue 216334538
deleting IPC queue 216367307
deleting IPC queue 216400076
deleting IPC queue 216432845
deleting IPC queue 216465614
deleting IPC queue 216498383
deleting IPC queue 216531152
deleting IPC queue 216563921
deleting IPC queue 216596690
deleting IPC queue 216629459
deleting IPC queue 216662228
deleting IPC queue 216694997
deleting IPC queue 216727766
deleting IPC queue 216760535
deleting IPC queue 216793304
deleting IPC queue 216826073
deleting IPC queue 216858842
deleting IPC queue 216891611
deleting IPC queue 216924380
deleting IPC queue 216957149
deleting IPC queue 216989918
deleting IPC queue 217022687
deleting IPC queue 217055456
deleting IPC queue 217088225
deleting IPC queue 217120994
deleting IPC queue 217153763
deleting IPC queue 217186532
deleting IPC queue 217219301
deleting IPC queue 217252070
deleting IPC queue 217284839
deleting IPC queue 217317608
deleting IPC queue 217350377
deleting IPC queue 217383146
deleting IPC queue 217415915
deleting IPC queue 217448684
deleting IPC queue 217481453
deleting IPC queue 217514222
deleting IPC queue 217546991
deleting IPC queue 217579760
deleting IPC queue 217612529
deleting IPC queue 217645298
deleting IPC queue 217678067
deleting IPC queue 217710836
deleting IPC queue 217743605
deleting IPC queue 217776374
deleting IPC queue 217809143
deleting IPC queue 217841912
deleting IPC queue 217874681
deleting IPC queue 217907450
deleting IPC queue 217940219
deleting IPC queue 217972988
deleting IPC queue 218005757
deleting IPC queue 218038526
deleting IPC queue 218071295

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 648.133
system time used= 693.083
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 29925
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= 60054764
involuntary context switches= 5049220

runsolver used 4.14026 second user time and 11.2807 second system time

The end

Launcher Data 

Begin job on xenhost3-49 at 2009-06-11 15:02:39
IDJOB=1775877
IDBENCH=20399
IDSOLVER=631
FILE ID=xenhost3-49/1775877-1244725359
PBS_JOBID=
Free space on /tmp= 7040 MiB

SOLVER NAME= satake 2009-03-22 (16 threads)
BENCH NAME= SAT07/industrial/fuhs/hard/AProVE07-01.cnf
COMMAND LINE= HOME/satake BENCHNAME MAXNBTHREAD TIMEOUT
RUNSOLVER COMMAND LINE= runsolver --timestamp  -w /tmp/evaluation-result-1775877-1244725359/watcher-1775877-1244725359 -o /tmp/evaluation-result-1775877-1244725359/solver-1775877-1244725359 -C 10000 -W 1000 -M 2047 --output-limit 1,15 --cleanup-all-ipc-queues HOME/satake HOME/instance-1775877-1244725359.cnf 16 10000

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

MD5SUM BENCH= d2f77e32530988f77dca5112174eee00
RANDOM SEED= 1278867430

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:      19143944 kB
Buffers:        432108 kB
Cached:       14099864 kB
SwapCached:          0 kB
Active:        4077052 kB
Inactive:     10463640 kB
SwapTotal:    25398692 kB
SwapFree:     25398692 kB
Dirty:             692 kB
Writeback:           0 kB
AnonPages:        8036 kB
Mapped:           3668 kB
Slab:           687424 kB
SReclaimable:   660712 kB
SUnreclaim:      26712 kB
PageTables:          0 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
WritebackTmp:        0 kB
CommitLimit:  43612580 kB
Committed_AS:    29612 kB
VmallocTotal: 34359738367 kB
VmallocUsed:    275248 kB
VmallocChunk: 34359462839 kB
DirectMap4k:  99216660 kB
DirectMap2M:         0 kB

Free space on /tmp at the end= 7040 MiB
End job on xenhost3-49 at 2009-06-11 15:19:21