Trace number 1779057

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

General information on the benchmark

NameAPPLICATIONS/bitverif/countbitswegner/
countbitswegner064.cnf
MD5SUM1a0b22841159d2c84fdcb857229ffa08
Bench CategoryAPPLICATION (applications instances)
Best result obtained on this benchmarkUNSAT
Best CPU time to get the best result obtained on this benchmark369.55
Satisfiable
(Un)Satisfiability was proved
Number of variables24448
Number of clauses73151
Sum of the clauses size170683
Maximum clause length3
Minimum clause length1
Number of clauses of size 12
Number of clauses of size 248766
Number of clauses of size 324383
Number of clauses of size 40
Number of clauses of size 50
Number of clauses of size over 50

Solver Data


Verifier Data 

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

Watcher Data 

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

command line: runsolver --timestamp -w /tmp/evaluation-result-1779057-1244779384/watcher-1779057-1244779384 -o /tmp/evaluation-result-1779057-1244779384/solver-1779057-1244779384 -C 10000 -W 1000 -M 2047 --output-limit 1,15 --cleanup-all-ipc-queues HOME/satake HOME/instance-1779057-1244779384.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: 15.18 14.16 10.69 2/184 3516
/proc/meminfo: memFree=19141588/36427776 swapFree=4316/7620
[pid=3516] ppid=3514 vsize=6812 CPUtime=0
/proc/3516/stat : 3516 (satake) D 3514 3516 27791 0 -1 4202496 353 0 0 0 0 0 0 0 20 0 15 0 637244764 6975488 310 18446744073709551615 134512640 135180984 4286662400 18446744073709551615 134568552 0 0 1 0 18446744073709551615 0 0 17 10 0 0 0 0 0
/proc/3516/statm: 1703 311 63 164 0 1538 0
[pid=3516/tid=3517] ppid=3514 vsize=8364 CPUtime=0
/proc/3516/task/3517/stat : 3517 (satake) S 3514 3516 27791 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 15 0 637244764 8564736 402 18446744073709551615 134512640 135180984 4286662400 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 11 0 0 0 0 0
[pid=3516/tid=3518] ppid=3514 vsize=8364 CPUtime=0
/proc/3516/task/3518/stat : 3518 (satake) R 3514 3516 27791 0 -1 4202560 59 0 0 0 0 0 0 0 20 0 15 0 637244764 8564736 408 18446744073709551615 134512640 135180984 4286662400 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 12 0 0 0 0 0
[pid=3516/tid=3519] ppid=3514 vsize=8364 CPUtime=0
/proc/3516/task/3519/stat : 3519 (satake) R 3514 3516 27791 0 -1 4202560 51 0 0 0 0 0 0 0 20 0 15 0 637244764 8564736 409 18446744073709551615 134512640 135180984 4286662400 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 14 0 0 0 0 0
[pid=3516/tid=3520] ppid=3514 vsize=8364 CPUtime=0
/proc/3516/task/3520/stat : 3520 (satake) R 3514 3516 27791 0 -1 4202560 37 0 0 0 0 0 0 0 20 0 15 0 637244764 8564736 409 18446744073709551615 134512640 135180984 4286662400 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 15 0 0 0 0 0
[pid=3516/tid=3521] ppid=3514 vsize=8364 CPUtime=0
/proc/3516/task/3521/stat : 3521 (satake) R 3514 3516 27791 0 -1 4202560 20 0 0 0 0 0 0 0 20 0 15 0 637244764 8564736 409 18446744073709551615 134512640 135180984 4286662400 18446744073709551615 134691935 0 0 1 0 0 0 0 -1 0 0 0 0 0 0
[pid=3516/tid=3522] ppid=3514 vsize=8364 CPUtime=0
/proc/3516/task/3522/stat : 3522 (satake) R 3514 3516 27791 0 -1 4202560 28 0 0 0 0 0 0 0 20 0 15 0 637244764 8564736 409 18446744073709551615 134512640 135180984 4286662400 18446744073709551615 134691935 0 0 1 0 0 0 0 -1 12 0 0 0 0 0
[pid=3516/tid=3523] ppid=3514 vsize=8364 CPUtime=0
/proc/3516/task/3523/stat : 3523 (satake) R 3514 3516 27791 0 -1 4202560 32 0 0 0 0 0 0 0 20 0 15 0 637244764 8564736 409 18446744073709551615 134512640 135180984 4286662400 18446744073709551615 134691935 0 0 1 0 0 0 0 -1 0 0 0 0 0 0
[pid=3516/tid=3524] ppid=3514 vsize=8364 CPUtime=0
/proc/3516/task/3524/stat : 3524 (satake) S 3514 3516 27791 0 -1 4202560 18 0 0 0 0 0 0 0 20 0 15 0 637244764 8564736 413 18446744073709551615 134512640 135180984 4286662400 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 14 0 0 0 0 0
[pid=3516/tid=3525] ppid=3514 vsize=8364 CPUtime=0
/proc/3516/task/3525/stat : 3525 (satake) D 3514 3516 27791 0 -1 4202560 22 0 0 0 0 0 0 0 20 0 15 0 637244764 8564736 413 18446744073709551615 134512640 135180984 4286662400 18446744073709551615 134691935 0 0 1 0 0 0 0 -1 1 0 0 0 0 0
[pid=3516/tid=3526] ppid=3514 vsize=8364 CPUtime=0
/proc/3516/task/3526/stat : 3526 (satake) S 3514 3516 27791 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 15 0 637244764 8564736 417 18446744073709551615 134512640 135180984 4286662400 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 2 0 0 0 0 0
[pid=3516/tid=3527] ppid=3514 vsize=8364 CPUtime=0
/proc/3516/task/3527/stat : 3527 (satake) R 3514 3516 27791 0 -1 4202560 13 0 0 0 0 0 0 0 20 0 15 0 637244764 8564736 419 18446744073709551615 134512640 135180984 4286662400 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 2 0 0 0 0 0
[pid=3516/tid=3528] ppid=3514 vsize=8364 CPUtime=0
/proc/3516/task/3528/stat : 3528 (satake) R 3514 3516 27791 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 15 0 637244764 8564736 420 18446744073709551615 134512640 135180984 4286662400 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 3 0 0 0 0 0
[pid=3516/tid=3529] ppid=3514 vsize=8364 CPUtime=0
/proc/3516/task/3529/stat : 3529 (satake) R 3514 3516 27791 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 15 0 637244764 8564736 421 18446744073709551615 134512640 135180984 4286662400 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 4 0 0 0 0 0
[pid=3516/tid=3530] ppid=3514 vsize=8364 CPUtime=0
/proc/3516/task/3530/stat : 3530 (satake) R 3514 3516 27791 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 15 0 637244764 8564736 421 18446744073709551615 134512640 135180984 4286662400 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 4 0 0 0 0 0

[startup+0.068777 s]
/proc/loadavg: 15.18 14.16 10.69 2/184 3516
/proc/meminfo: memFree=19141588/36427776 swapFree=4316/7620
[pid=3516] ppid=3514 vsize=22296 CPUtime=0.3
/proc/3516/stat : 3516 (satake) S 3514 3516 27791 0 -1 4202496 3902 0 0 0 4 26 0 0 20 0 17 0 637244764 22831104 3845 18446744073709551615 134512640 135180984 4286662400 18446744073709551615 134573496 0 0 1 0 18446744073709551615 0 0 17 10 0 0 0 0 0
/proc/3516/statm: 5574 3880 63 164 0 5409 0
[pid=3516/tid=3517] ppid=3514 vsize=22296 CPUtime=0
/proc/3516/task/3517/stat : 3517 (satake) S 3514 3516 27791 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 17 0 637244764 22831104 3889 18446744073709551615 134512640 135180984 4286662400 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 11 0 0 0 0 0
[pid=3516/tid=3518] ppid=3514 vsize=22296 CPUtime=0.02
/proc/3516/task/3518/stat : 3518 (satake) R 3514 3516 27791 0 -1 4202560 340 0 0 0 0 2 0 0 20 0 17 0 637244764 22831104 3889 18446744073709551615 134512640 135180984 4286662400 18446744073709551615 134579745 0 0 1 0 0 0 0 -1 12 0 0 0 0 0
[pid=3516/tid=3519] ppid=3514 vsize=22296 CPUtime=0.02
/proc/3516/task/3519/stat : 3519 (satake) S 3514 3516 27791 0 -1 4202560 318 0 0 0 0 2 0 0 20 0 17 0 637244764 22831104 3889 18446744073709551615 134512640 135180984 4286662400 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 14 0 0 0 0 0
[pid=3516/tid=3520] ppid=3514 vsize=22296 CPUtime=0.02
/proc/3516/task/3520/stat : 3520 (satake) S 3514 3516 27791 0 -1 4202560 317 0 0 0 0 2 0 0 20 0 17 0 637244764 22831104 3890 18446744073709551615 134512640 135180984 4286662400 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 15 0 0 0 0 0
[pid=3516/tid=3521] ppid=3514 vsize=22296 CPUtime=0.02
/proc/3516/task/3521/stat : 3521 (satake) S 3514 3516 27791 0 -1 4202560 317 0 0 0 0 2 0 0 20 0 17 0 637244764 22831104 3892 18446744073709551615 134512640 135180984 4286662400 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 0 0 0 0 0 0
[pid=3516/tid=3522] ppid=3514 vsize=22296 CPUtime=0
/proc/3516/task/3522/stat : 3522 (satake) D 3514 3516 27791 0 -1 4202560 121 0 0 0 0 0 0 0 20 0 17 0 637244764 22831104 3892 18446744073709551615 134512640 135180984 4286662400 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 12 0 0 0 0 0
[pid=3516/tid=3523] ppid=3514 vsize=22296 CPUtime=0
/proc/3516/task/3523/stat : 3523 (satake) R 3514 3516 27791 0 -1 4202560 146 0 0 0 0 0 0 0 20 0 17 0 637244764 22831104 3896 18446744073709551615 134512640 135180984 4286662400 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 0 0 0 0 0 0
[pid=3516/tid=3524] ppid=3514 vsize=22296 CPUtime=0
/proc/3516/task/3524/stat : 3524 (satake) D 3514 3516 27791 0 -1 4202560 121 0 0 0 0 0 0 0 20 0 17 0 637244764 22831104 3896 18446744073709551615 134512640 135180984 4286662400 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 14 0 0 0 0 0
[pid=3516/tid=3525] ppid=3514 vsize=22296 CPUtime=0.02
/proc/3516/task/3525/stat : 3525 (satake) S 3514 3516 27791 0 -1 4202560 326 0 0 0 0 2 0 0 20 0 17 0 637244764 22831104 3896 18446744073709551615 134512640 135180984 4286662400 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 1 0 0 0 0 0
[pid=3516/tid=3526] ppid=3514 vsize=22296 CPUtime=0.02
/proc/3516/task/3526/stat : 3526 (satake) D 3514 3516 27791 0 -1 4202560 254 0 0 0 0 2 0 0 20 0 17 0 637244764 22831104 3898 18446744073709551615 134512640 135180984 4286662400 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 2 0 0 0 0 0
[pid=3516/tid=3527] ppid=3514 vsize=22296 CPUtime=0
/proc/3516/task/3527/stat : 3527 (satake) R 3514 3516 27791 0 -1 4202560 163 0 0 0 0 0 0 0 20 0 17 0 637244764 22831104 3902 18446744073709551615 134512640 135180984 4286662400 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 2 0 0 0 0 0
[pid=3516/tid=3528] ppid=3514 vsize=22296 CPUtime=0.02
/proc/3516/task/3528/stat : 3528 (satake) R 3514 3516 27791 0 -1 4202560 322 0 0 0 2 0 0 0 20 0 17 0 637244764 22831104 3902 18446744073709551615 134512640 135180984 4286662400 18446744073709551615 134675767 0 0 1 0 0 0 0 -1 3 0 0 0 0 0
[pid=3516/tid=3529] ppid=3514 vsize=22296 CPUtime=0
/proc/3516/task/3529/stat : 3529 (satake) R 3514 3516 27791 0 -1 4202560 212 0 0 0 0 0 0 0 20 0 17 0 637244764 22831104 3903 18446744073709551615 134512640 135180984 4286662400 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 4 0 0 0 0 0
[pid=3516/tid=3530] ppid=3514 vsize=22296 CPUtime=0.02
/proc/3516/task/3530/stat : 3530 (satake) R 3514 3516 27791 0 -1 4202560 247 0 0 0 0 2 0 0 20 0 17 0 637244764 22831104 3903 18446744073709551615 134512640 135180984 4286662400 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 0.3
Current children cumulated vsize (KiB) 22296

[startup+0.104693 s]
/proc/loadavg: 15.18 14.16 10.69 2/184 3516
/proc/meminfo: memFree=19141588/36427776 swapFree=4316/7620
[pid=3516] ppid=3514 vsize=30304 CPUtime=0.45
/proc/3516/stat : 3516 (satake) S 3514 3516 27791 0 -1 4202496 5689 0 0 0 8 37 0 0 20 0 17 0 637244764 31031296 5630 18446744073709551615 134512640 135180984 4286662400 18446744073709551615 134573496 0 0 1 0 18446744073709551615 0 0 17 10 0 0 0 0 0
/proc/3516/statm: 7576 5633 63 164 0 7411 0
[pid=3516/tid=3517] ppid=3514 vsize=30304 CPUtime=0
/proc/3516/task/3517/stat : 3517 (satake) S 3514 3516 27791 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 17 0 637244764 31031296 5634 18446744073709551615 134512640 135180984 4286662400 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 11 0 0 0 0 0
[pid=3516/tid=3518] ppid=3514 vsize=30304 CPUtime=0.04
/proc/3516/task/3518/stat : 3518 (satake) R 3514 3516 27791 0 -1 4202560 411 0 0 0 0 4 0 0 20 0 17 0 637244764 31031296 5635 18446744073709551615 134512640 135180984 4286662400 18446744073709551615 134579486 0 0 1 0 0 0 0 -1 12 0 0 0 0 0
[pid=3516/tid=3519] ppid=3514 vsize=30304 CPUtime=0.04
/proc/3516/task/3519/stat : 3519 (satake) R 3514 3516 27791 0 -1 4202560 379 0 0 0 0 4 0 0 20 0 17 0 637244764 31031296 5641 18446744073709551615 134512640 135180984 4286662400 18446744073709551615 134579745 0 0 1 0 0 0 0 -1 14 0 0 0 0 0
[pid=3516/tid=3520] ppid=3514 vsize=30304 CPUtime=0.04
/proc/3516/task/3520/stat : 3520 (satake) R 3514 3516 27791 0 -1 4202560 370 0 0 0 0 4 0 0 20 0 17 0 637244764 31031296 5642 18446744073709551615 134512640 135180984 4286662400 18446744073709551615 134579745 0 0 1 0 0 0 0 -1 15 0 0 0 0 0
[pid=3516/tid=3521] ppid=3514 vsize=30304 CPUtime=0.04
/proc/3516/task/3521/stat : 3521 (satake) R 3514 3516 27791 0 -1 4202560 375 0 0 0 0 4 0 0 20 0 17 0 637244764 31031296 5645 18446744073709551615 134512640 135180984 4286662400 18446744073709551615 134579486 0 0 1 0 0 0 0 -1 0 0 0 0 0 0
[pid=3516/tid=3522] ppid=3514 vsize=30304 CPUtime=0.02
/proc/3516/task/3522/stat : 3522 (satake) D 3514 3516 27791 0 -1 4202560 385 0 0 0 0 2 0 0 20 0 17 0 637244764 31031296 5646 18446744073709551615 134512640 135180984 4286662400 18446744073709551615 134869198 0 0 1 0 0 0 0 -1 12 0 0 0 0 0
[pid=3516/tid=3523] ppid=3514 vsize=30304 CPUtime=0.02
/proc/3516/task/3523/stat : 3523 (satake) S 3514 3516 27791 0 -1 4202560 351 0 0 0 2 0 0 0 20 0 17 0 637244764 31031296 5646 18446744073709551615 134512640 135180984 4286662400 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 0 0 0 0 0 0
[pid=3516/tid=3524] ppid=3514 vsize=30304 CPUtime=0
/proc/3516/task/3524/stat : 3524 (satake) R 3514 3516 27791 0 -1 4202560 340 0 0 0 0 0 0 0 20 0 17 0 637244764 31031296 5648 18446744073709551615 134512640 135180984 4286662400 18446744073709551615 134579486 0 0 1 0 0 0 0 -1 14 0 0 0 0 0
[pid=3516/tid=3525] ppid=3514 vsize=30440 CPUtime=0.04
/proc/3516/task/3525/stat : 3525 (satake) S 3514 3516 27791 0 -1 4202560 389 0 0 0 0 4 0 0 20 0 17 0 637244764 31170560 5648 18446744073709551615 134512640 135180984 4286662400 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 1 0 0 0 0 0
[pid=3516/tid=3526] ppid=3514 vsize=30440 CPUtime=0.02
/proc/3516/task/3526/stat : 3526 (satake) R 3514 3516 27791 0 -1 4202560 375 0 0 0 0 2 0 0 20 0 17 0 637244764 31170560 5655 18446744073709551615 134512640 135180984 4286662400 18446744073709551615 134675767 0 0 1 0 0 0 0 -1 2 0 0 0 0 0
[pid=3516/tid=3527] ppid=3514 vsize=30440 CPUtime=0.02
/proc/3516/task/3527/stat : 3527 (satake) R 3514 3516 27791 0 -1 4202560 336 0 0 0 2 0 0 0 20 0 17 0 637244764 31170560 5659 18446744073709551615 134512640 135180984 4286662400 18446744073709551615 134579745 0 0 1 0 0 0 0 -1 2 0 0 0 0 0
[pid=3516/tid=3528] ppid=3514 vsize=30440 CPUtime=0.04
/proc/3516/task/3528/stat : 3528 (satake) R 3514 3516 27791 0 -1 4202560 407 0 0 0 4 0 0 0 20 0 17 0 637244764 31170560 5660 18446744073709551615 134512640 135180984 4286662400 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 3 0 0 0 0 0
[pid=3516/tid=3529] ppid=3514 vsize=30440 CPUtime=0.02
/proc/3516/task/3529/stat : 3529 (satake) R 3514 3516 27791 0 -1 4202560 360 0 0 0 0 2 0 0 20 0 17 0 637244764 31170560 5663 18446744073709551615 134512640 135180984 4286662400 18446744073709551615 134702260 0 0 1 0 0 0 0 -1 4 0 0 0 0 0
[pid=3516/tid=3530] ppid=3514 vsize=30440 CPUtime=0.02
/proc/3516/task/3530/stat : 3530 (satake) R 3514 3516 27791 0 -1 4202560 365 0 0 0 0 2 0 0 20 0 17 0 637244764 31170560 5668 18446744073709551615 134512640 135180984 4286662400 18446744073709551615 134691935 0 0 1 0 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 0.45
Current children cumulated vsize (KiB) 30304

[startup+0.304864 s]
/proc/loadavg: 15.18 14.16 10.69 2/184 3516
/proc/meminfo: memFree=19141588/36427776 swapFree=4316/7620
[pid=3516] ppid=3514 vsize=64348 CPUtime=1.48
/proc/3516/stat : 3516 (satake) S 3514 3516 27791 0 -1 4202496 13420 0 0 0 49 99 0 0 20 0 17 0 637244764 65892352 13361 18446744073709551615 134512640 135180984 4286662400 18446744073709551615 134573496 0 0 1 0 18446744073709551615 0 0 17 10 0 0 0 0 0
/proc/3516/statm: 16087 13366 63 164 0 15922 0
[pid=3516/tid=3517] ppid=3514 vsize=64348 CPUtime=0
/proc/3516/task/3517/stat : 3517 (satake) S 3514 3516 27791 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 17 0 637244764 65892352 13367 18446744073709551615 134512640 135180984 4286662400 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 11 0 0 0 0 0
[pid=3516/tid=3518] ppid=3514 vsize=64348 CPUtime=0.1
/proc/3516/task/3518/stat : 3518 (satake) R 3514 3516 27791 0 -1 4202560 964 0 0 0 2 8 0 0 20 0 17 0 637244764 65892352 13368 18446744073709551615 134512640 135180984 4286662400 18446744073709551615 134579745 0 0 1 0 0 0 0 -1 2 0 0 0 0 0
[pid=3516/tid=3519] ppid=3514 vsize=64348 CPUtime=0.1
/proc/3516/task/3519/stat : 3519 (satake) R 3514 3516 27791 0 -1 4202560 855 0 0 0 2 8 0 0 20 0 17 0 637244764 65892352 13368 18446744073709551615 134512640 135180984 4286662400 18446744073709551615 134579486 0 0 1 0 0 0 0 -1 14 0 0 0 0 0
[pid=3516/tid=3520] ppid=3514 vsize=64348 CPUtime=0.1
/proc/3516/task/3520/stat : 3520 (satake) R 3514 3516 27791 0 -1 4202560 843 0 0 0 2 8 0 0 20 0 17 0 637244764 65892352 13370 18446744073709551615 134512640 135180984 4286662400 18446744073709551615 134579486 0 0 1 0 0 0 0 -1 15 0 0 0 0 0
[pid=3516/tid=3521] ppid=3514 vsize=64348 CPUtime=0.1
/proc/3516/task/3521/stat : 3521 (satake) R 3514 3516 27791 0 -1 4202560 896 0 0 0 4 6 0 0 20 0 17 0 637244764 65892352 13370 18446744073709551615 134512640 135180984 4286662400 18446744073709551615 134579486 0 0 1 0 0 0 0 -1 0 0 0 0 0 0
[pid=3516/tid=3522] ppid=3514 vsize=64348 CPUtime=0.08
/proc/3516/task/3522/stat : 3522 (satake) R 3514 3516 27791 0 -1 4202560 960 0 0 0 4 4 0 0 20 0 17 0 637244764 65892352 13371 18446744073709551615 134512640 135180984 4286662400 18446744073709551615 134579745 0 0 1 0 0 0 0 -1 12 0 0 0 0 0
[pid=3516/tid=3523] ppid=3514 vsize=64348 CPUtime=0.06
/proc/3516/task/3523/stat : 3523 (satake) R 3514 3516 27791 0 -1 4202560 835 0 0 0 6 0 0 0 20 0 17 0 637244764 65892352 13371 18446744073709551615 134512640 135180984 4286662400 18446744073709551615 134579745 0 0 1 0 0 0 0 -1 0 0 0 0 0 0
[pid=3516/tid=3524] ppid=3514 vsize=64348 CPUtime=0.06
/proc/3516/task/3524/stat : 3524 (satake) R 3514 3516 27791 0 -1 4202560 776 0 0 0 2 4 0 0 20 0 17 0 637244764 65892352 13371 18446744073709551615 134512640 135180984 4286662400 18446744073709551615 134579745 0 0 1 0 0 0 0 -1 14 0 0 0 0 0
[pid=3516/tid=3525] ppid=3514 vsize=64348 CPUtime=0.12
/proc/3516/task/3525/stat : 3525 (satake) S 3514 3516 27791 0 -1 4202560 970 0 0 0 0 12 0 0 20 0 17 0 637244764 65892352 13371 18446744073709551615 134512640 135180984 4286662400 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 1 0 0 0 0 0
[pid=3516/tid=3526] ppid=3514 vsize=64348 CPUtime=0.08
/proc/3516/task/3526/stat : 3526 (satake) S 3514 3516 27791 0 -1 4202560 885 0 0 0 0 8 0 0 20 0 17 0 637244764 65892352 13371 18446744073709551615 134512640 135180984 4286662400 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 15 0 0 0 0 0
[pid=3516/tid=3527] ppid=3514 vsize=64348 CPUtime=0.06
/proc/3516/task/3527/stat : 3527 (satake) S 3514 3516 27791 0 -1 4202560 690 0 0 0 2 4 0 0 20 0 17 0 637244764 65892352 13371 18446744073709551615 134512640 135180984 4286662400 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 2 0 0 0 0 0
[pid=3516/tid=3528] ppid=3514 vsize=64348 CPUtime=0.1
/proc/3516/task/3528/stat : 3528 (satake) R 3514 3516 27791 0 -1 4202560 986 0 0 0 4 6 0 0 20 0 17 0 637244764 65892352 13372 18446744073709551615 134512640 135180984 4286662400 18446744073709551615 134675767 0 0 1 0 0 0 0 -1 3 0 0 0 0 0
[pid=3516/tid=3529] ppid=3514 vsize=64348 CPUtime=0.08
/proc/3516/task/3529/stat : 3529 (satake) S 3514 3516 27791 0 -1 4202560 885 0 0 0 2 6 0 0 20 0 17 0 637244764 65892352 13373 18446744073709551615 134512640 135180984 4286662400 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 4 0 0 0 0 0
[pid=3516/tid=3530] ppid=3514 vsize=64348 CPUtime=0.08
/proc/3516/task/3530/stat : 3530 (satake) S 3514 3516 27791 0 -1 4202560 850 0 0 0 2 6 0 0 20 0 17 0 637244764 65892352 13373 18446744073709551615 134512640 135180984 4286662400 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 64348

[startup+0.705191 s]
/proc/loadavg: 15.18 14.16 10.69 2/184 3516
/proc/meminfo: memFree=19141588/36427776 swapFree=4316/7620
[pid=3516] ppid=3514 vsize=94476 CPUtime=3.74
/proc/3516/stat : 3516 (satake) S 3514 3516 27791 0 -1 4202496 23388 0 0 0 228 146 0 0 20 0 17 0 637244764 96743424 18964 18446744073709551615 134512640 135180984 4286662400 18446744073709551615 134573496 0 0 1 0 18446744073709551615 0 0 17 10 0 0 0 0 0
/proc/3516/statm: 23619 18964 68 164 0 23454 0
[pid=3516/tid=3517] ppid=3514 vsize=94476 CPUtime=0.06
/proc/3516/task/3517/stat : 3517 (satake) S 3514 3516 27791 0 -1 4202560 420 0 0 0 2 4 0 0 20 0 17 0 637244764 96743424 18964 18446744073709551615 134512640 135180984 4286662400 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 11 0 0 0 0 0
[pid=3516/tid=3518] ppid=3514 vsize=94476 CPUtime=0.26
/proc/3516/task/3518/stat : 3518 (satake) R 3514 3516 27791 0 -1 4202560 1533 0 0 0 16 10 0 0 20 0 17 0 637244764 96743424 18964 18446744073709551615 134512640 135180984 4286662400 18446744073709551615 134579486 0 0 1 0 0 0 0 -1 2 0 0 0 0 0
[pid=3516/tid=3519] ppid=3514 vsize=94476 CPUtime=0.24
/proc/3516/task/3519/stat : 3519 (satake) S 3514 3516 27791 0 -1 4202560 1402 0 0 0 14 10 0 0 20 0 17 0 637244764 96743424 18964 18446744073709551615 134512640 135180984 4286662400 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 14 0 0 0 0 0
[pid=3516/tid=3520] ppid=3514 vsize=94476 CPUtime=0.24
/proc/3516/task/3520/stat : 3520 (satake) R 3514 3516 27791 0 -1 4202560 1533 0 0 0 12 12 0 0 20 0 17 0 637244764 96743424 18964 18446744073709551615 134512640 135180984 4286662400 18446744073709551615 134526471 0 0 1 0 0 0 0 -1 15 0 0 0 0 0
[pid=3516/tid=3521] ppid=3514 vsize=94476 CPUtime=0.22
/proc/3516/task/3521/stat : 3521 (satake) R 3514 3516 27791 0 -1 4202560 1503 0 0 0 14 8 0 0 20 0 17 0 637244764 96743424 18964 18446744073709551615 134512640 135180984 4286662400 18446744073709551615 134580407 0 0 1 0 0 0 0 -1 0 0 0 0 0 0
[pid=3516/tid=3522] ppid=3514 vsize=94476 CPUtime=0.24
/proc/3516/task/3522/stat : 3522 (satake) R 3514 3516 27791 0 -1 4202560 1601 0 0 0 18 6 0 0 20 0 17 0 637244764 96743424 18964 18446744073709551615 134512640 135180984 4286662400 18446744073709551615 134528101 0 0 1 0 0 0 0 -1 12 0 0 0 0 0
[pid=3516/tid=3523] ppid=3514 vsize=94476 CPUtime=0.16
/proc/3516/task/3523/stat : 3523 (satake) R 3514 3516 27791 0 -1 4202560 1623 0 0 0 10 6 0 0 20 0 17 0 637244764 96743424 18964 18446744073709551615 134512640 135180984 4286662400 18446744073709551615 134520886 0 0 1 0 0 0 0 -1 0 0 0 0 0 0
[pid=3516/tid=3524] ppid=3514 vsize=94476 CPUtime=0.18
/proc/3516/task/3524/stat : 3524 (satake) R 3514 3516 27791 0 -1 4202560 1498 0 0 0 14 4 0 0 20 0 17 0 637244764 96743424 18964 18446744073709551615 134512640 135180984 4286662400 18446744073709551615 134520863 0 0 1 0 0 0 0 -1 8 0 0 0 0 0
[pid=3516/tid=3525] ppid=3514 vsize=94476 CPUtime=0.36
/proc/3516/task/3525/stat : 3525 (satake) R 3514 3516 27791 0 -1 4202560 1430 0 0 0 24 12 0 0 20 0 17 0 637244764 96743424 18964 18446744073709551615 134512640 135180984 4286662400 18446744073709551615 134518208 0 0 1 0 0 0 0 -1 1 0 0 0 0 0
[pid=3516/tid=3526] ppid=3514 vsize=94476 CPUtime=0.2
/proc/3516/task/3526/stat : 3526 (satake) R 3514 3516 27791 0 -1 4202560 1555 0 0 0 8 12 0 0 20 0 17 0 637244764 96743424 18964 18446744073709551615 134512640 135180984 4286662400 18446744073709551615 134579486 0 0 1 0 0 0 0 -1 15 0 0 0 0 0
[pid=3516/tid=3527] ppid=3514 vsize=94476 CPUtime=0.16
/proc/3516/task/3527/stat : 3527 (satake) R 3514 3516 27791 0 -1 4202560 1500 0 0 0 8 8 0 0 20 0 17 0 637244764 96743424 18964 18446744073709551615 134512640 135180984 4286662400 18446744073709551615 134522704 0 0 1 0 0 0 0 -1 2 0 0 0 0 0
[pid=3516/tid=3528] ppid=3514 vsize=94476 CPUtime=0.32
/proc/3516/task/3528/stat : 3528 (satake) S 3514 3516 27791 0 -1 4202560 1510 0 0 0 22 10 0 0 20 0 17 0 637244764 96743424 18964 18446744073709551615 134512640 135180984 4286662400 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 3 0 0 0 0 0
[pid=3516/tid=3529] ppid=3514 vsize=94476 CPUtime=0.22
/proc/3516/task/3529/stat : 3529 (satake) R 3514 3516 27791 0 -1 4202560 1556 0 0 0 12 10 0 0 20 0 17 0 637244764 96743424 18964 18446744073709551615 134512640 135180984 4286662400 18446744073709551615 134521128 0 0 1 0 0 0 0 -1 4 0 0 0 0 0
[pid=3516/tid=3530] ppid=3514 vsize=94476 CPUtime=0.16
/proc/3516/task/3530/stat : 3530 (satake) S 3514 3516 27791 0 -1 4202560 1541 0 0 0 8 8 0 0 20 0 17 0 637244764 96743424 18964 18446744073709551615 134512640 135180984 4286662400 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 3.74
Current children cumulated vsize (KiB) 94476

[startup+1.50093 s]
/proc/loadavg: 14.61 14.06 10.67 3/201 3533
/proc/meminfo: memFree=19063108/36427776 swapFree=4332/83316
[pid=3516] ppid=3514 vsize=95632 CPUtime=5.4

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

deleting IPC queue 1034354766
deleting IPC queue 1034387535
deleting IPC queue 1034420304
deleting IPC queue 1034453073
deleting IPC queue 1034485842
deleting IPC queue 1034518611
deleting IPC queue 1034551380
deleting IPC queue 1034584149
deleting IPC queue 1034616918
deleting IPC queue 1034649687
deleting IPC queue 1034682456
deleting IPC queue 1034715225
deleting IPC queue 1034747994
deleting IPC queue 1034780763
deleting IPC queue 1034813532
deleting IPC queue 1034846301
deleting IPC queue 1034879070
deleting IPC queue 1034911839
deleting IPC queue 1034944608
deleting IPC queue 1034977377
deleting IPC queue 1035010146
deleting IPC queue 1035042915
deleting IPC queue 1035075684
deleting IPC queue 1035108453
deleting IPC queue 1035141222
deleting IPC queue 1035173991
deleting IPC queue 1035206760
deleting IPC queue 1035239529
deleting IPC queue 1035272298
deleting IPC queue 1035305067
deleting IPC queue 1035337836
deleting IPC queue 1035370605
deleting IPC queue 1035403374
deleting IPC queue 1035436143
deleting IPC queue 1035468912
deleting IPC queue 1035501681
deleting IPC queue 1035534450
deleting IPC queue 1035567219
deleting IPC queue 1035599988
deleting IPC queue 1035632757
deleting IPC queue 1035665526
deleting IPC queue 1035698295
deleting IPC queue 1035731064
deleting IPC queue 1035763833
deleting IPC queue 1035796602
deleting IPC queue 1035829371
deleting IPC queue 1035862140
deleting IPC queue 1035894909
deleting IPC queue 1035927678
deleting IPC queue 1035960447
deleting IPC queue 1035993216
deleting IPC queue 1036025985
deleting IPC queue 1036058754
deleting IPC queue 1036091523
deleting IPC queue 1036124292
deleting IPC queue 1036157061
deleting IPC queue 1036189830
deleting IPC queue 1036222599
deleting IPC queue 1036255368
deleting IPC queue 1036288137
deleting IPC queue 1036320906
deleting IPC queue 1036353675
deleting IPC queue 1036386444
deleting IPC queue 1036419213
deleting IPC queue 1036451982
deleting IPC queue 1036484751
deleting IPC queue 1036517520
deleting IPC queue 1036550289
deleting IPC queue 1036583058
deleting IPC queue 1036615827
deleting IPC queue 1036648596
deleting IPC queue 1036681365
deleting IPC queue 1036714134
deleting IPC queue 1036746903
deleting IPC queue 1036779672
deleting IPC queue 1036812441
deleting IPC queue 1036845210
deleting IPC queue 1036877979
deleting IPC queue 1036910748
deleting IPC queue 1036943517
deleting IPC queue 1036976286
deleting IPC queue 1037009055
deleting IPC queue 1037041824
deleting IPC queue 1037074593
deleting IPC queue 1037107362
deleting IPC queue 1037140131
deleting IPC queue 1037172900
deleting IPC queue 1037205669
deleting IPC queue 1037238438
deleting IPC queue 1037271207
deleting IPC queue 1037303976
deleting IPC queue 1037336745
deleting IPC queue 1037369514
deleting IPC queue 1037402283
deleting IPC queue 1037435052
deleting IPC queue 1037467821
deleting IPC queue 1037500590
deleting IPC queue 1037533359
deleting IPC queue 1037566128
deleting IPC queue 1037598897
deleting IPC queue 1037631666
deleting IPC queue 1037664435
deleting IPC queue 1037697204
deleting IPC queue 1037729973
deleting IPC queue 1037762742
deleting IPC queue 1037795511
deleting IPC queue 1037828280
deleting IPC queue 1037861049
deleting IPC queue 1037893818
deleting IPC queue 1037926587
deleting IPC queue 1037959356
deleting IPC queue 1037992125
deleting IPC queue 1038024894
deleting IPC queue 1038057663
deleting IPC queue 1038090432
deleting IPC queue 1038123201
deleting IPC queue 1038155970
deleting IPC queue 1038188739
deleting IPC queue 1038221508
deleting IPC queue 1038254277
deleting IPC queue 1038287046
deleting IPC queue 1038319815
deleting IPC queue 1038352584
deleting IPC queue 1038385353
deleting IPC queue 1038418122
deleting IPC queue 1038450891
deleting IPC queue 1038483660
deleting IPC queue 1038516429
deleting IPC queue 1038549198
deleting IPC queue 1038581967
deleting IPC queue 1038614736
deleting IPC queue 1038647505
deleting IPC queue 1038680274
deleting IPC queue 1038713043
deleting IPC queue 1038745812
deleting IPC queue 1038778581
deleting IPC queue 1038811350
deleting IPC queue 1038844119
deleting IPC queue 1038876888
deleting IPC queue 1038909657
deleting IPC queue 1038942426
deleting IPC queue 1038975195
deleting IPC queue 1039007964
deleting IPC queue 1039040733
deleting IPC queue 1039073502
deleting IPC queue 1039106271
deleting IPC queue 1039139040
deleting IPC queue 1039171809
deleting IPC queue 1039204578
deleting IPC queue 1039237347
deleting IPC queue 1039270116
deleting IPC queue 1039302885
deleting IPC queue 1039335654
deleting IPC queue 1039368423
deleting IPC queue 1039401192
deleting IPC queue 1039433961
deleting IPC queue 1039466730
deleting IPC queue 1039499499
deleting IPC queue 1039532268
deleting IPC queue 1039565037
deleting IPC queue 1039597806
deleting IPC queue 1039630575
deleting IPC queue 1039663344
deleting IPC queue 1039696113
deleting IPC queue 1039728882
deleting IPC queue 1039761651
deleting IPC queue 1039794420
deleting IPC queue 1039827189
deleting IPC queue 1039859958
deleting IPC queue 1039892727
deleting IPC queue 1039925496
deleting IPC queue 1039958265
deleting IPC queue 1039991034
deleting IPC queue 1040023803
deleting IPC queue 1040056572
deleting IPC queue 1040089341
deleting IPC queue 1040122110
deleting IPC queue 1040154879

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1973.1
system time used= 695.431
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 110615
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= 58911781
involuntary context switches= 3080706

runsolver used 4.38427 second user time and 11.4687 second system time

The end

Launcher Data 

Begin job on xenhost3-49 at 2009-06-12 06:03:04
IDJOB=1779057
IDBENCH=70800
IDSOLVER=631
FILE ID=xenhost3-49/1779057-1244779384
PBS_JOBID=
Free space on /tmp= 7036 MiB

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

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

MD5SUM BENCH= 1a0b22841159d2c84fdcb857229ffa08
RANDOM SEED= 856687421

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:      19141588 kB
Buffers:        433712 kB
Cached:       14104800 kB
SwapCached:          0 kB
Active:        4078236 kB
Inactive:     10467912 kB
SwapTotal:    25398692 kB
SwapFree:     25398692 kB
Dirty:            2016 kB
Writeback:           0 kB
AnonPages:        7620 kB
Mapped:           3652 kB
Slab:           688140 kB
SReclaimable:   661384 kB
SUnreclaim:      26756 kB
PageTables:          0 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
WritebackTmp:        0 kB
CommitLimit:  43612580 kB
Committed_AS:    29732 kB
VmallocTotal: 34359738367 kB
VmallocUsed:    275248 kB
VmallocChunk: 34359462839 kB
DirectMap4k:  99216660 kB
DirectMap2M:         0 kB

Free space on /tmp at the end= 7036 MiB
End job on xenhost3-49 at 2009-06-12 06:19:46