Trace number 1780902

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) 10001.8 693.282

General information on the benchmark

NameAPPLICATIONS/satComp09_BioInstances/
ndhf_xits_15_UNKNOWN.cnf
MD5SUM8e41b9860982308be5a85106d5324611
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 variables3152
Number of clauses330948
Sum of the clauses size988222
Maximum clause length16
Minimum clause length2
Number of clauses of size 10
Number of clauses of size 25025
Number of clauses of size 3325892
Number of clauses of size 40
Number of clauses of size 50
Number of clauses of size over 531

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-1780902-1244845666/watcher-1780902-1244845666 -o /tmp/evaluation-result-1780902-1244845666/solver-1780902-1244845666 -C 10000 -W 1000 -M 2047 --output-limit 1,15 --cleanup-all-ipc-queues HOME/satake HOME/instance-1780902-1244845666.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.02 14.89 14.55 2/184 11684
/proc/meminfo: memFree=19123996/36427776 swapFree=3652/7764
[pid=11684] ppid=11682 vsize=6764 CPUtime=0
/proc/11684/stat : 11684 (satake) R 11682 11684 27791 0 -1 4202496 382 0 0 0 0 0 0 0 20 0 15 0 643872991 6926336 333 18446744073709551615 134512640 135180984 4291548064 18446744073709551615 134702260 0 0 1 0 18446744073709551615 0 0 17 8 0 0 0 0 0
/proc/11684/statm: 1691 337 63 164 0 1526 0
[pid=11684/tid=11685] ppid=11682 vsize=7096 CPUtime=0
/proc/11684/task/11685/stat : 11685 (satake) S 11682 11684 27791 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 16 0 643872991 7266304 365 18446744073709551615 134512640 135180984 4291548064 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 9 0 0 0 0 0
[pid=11684/tid=11686] ppid=11682 vsize=7096 CPUtime=0
/proc/11684/task/11686/stat : 11686 (satake) D 11682 11684 27791 0 -1 4202560 52 0 0 0 0 0 0 0 20 0 16 0 643872991 7266304 365 18446744073709551615 134512640 135180984 4291548064 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 11 0 0 0 0 0
[pid=11684/tid=11687] ppid=11682 vsize=7096 CPUtime=0
/proc/11684/task/11687/stat : 11687 (satake) D 11682 11684 27791 0 -1 4202560 51 0 0 0 0 0 0 0 20 0 16 0 643872991 7266304 372 18446744073709551615 134512640 135180984 4291548064 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 12 0 0 0 0 0
[pid=11684/tid=11688] ppid=11682 vsize=7096 CPUtime=0
/proc/11684/task/11688/stat : 11688 (satake) R 11682 11684 27791 0 -1 4202560 37 0 0 0 0 0 0 0 20 0 16 0 643872991 7266304 373 18446744073709551615 134512640 135180984 4291548064 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 13 0 0 0 0 0
[pid=11684/tid=11689] ppid=11682 vsize=7096 CPUtime=0
/proc/11684/task/11689/stat : 11689 (satake) S 11682 11684 27791 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 16 0 643872991 7266304 373 18446744073709551615 134512640 135180984 4291548064 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 9 0 0 0 0 0
[pid=11684/tid=11690] ppid=11682 vsize=7096 CPUtime=0
/proc/11684/task/11690/stat : 11690 (satake) S 11682 11684 27791 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 17 0 643872991 7266304 374 18446744073709551615 134512640 135180984 4291548064 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 14 0 0 0 0 0
[pid=11684/tid=11691] ppid=11682 vsize=7096 CPUtime=0
/proc/11684/task/11691/stat : 11691 (satake) R 11682 11684 27791 0 -1 4202560 19 0 0 0 0 0 0 0 20 0 17 0 643872991 7266304 374 18446744073709551615 134512640 135180984 4291548064 18446744073709551615 134676560 0 0 1 0 0 0 0 -1 4 0 0 0 0 0
[pid=11684/tid=11692] ppid=11682 vsize=7096 CPUtime=0
/proc/11684/task/11692/stat : 11692 (satake) R 11682 11684 27791 0 -1 4202560 31 0 0 0 0 0 0 0 20 0 17 0 643872991 7266304 374 18446744073709551615 134512640 135180984 4291548064 18446744073709551615 134691935 0 0 1 0 0 0 0 -1 15 0 0 0 0 0
[pid=11684/tid=11693] ppid=11682 vsize=7096 CPUtime=0
/proc/11684/task/11693/stat : 11693 (satake) S 11682 11684 27791 0 -1 4202560 18 0 0 0 0 0 0 0 20 0 17 0 643872991 7266304 375 18446744073709551615 134512640 135180984 4291548064 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 11 0 0 0 0 0
[pid=11684/tid=11694] ppid=11682 vsize=7096 CPUtime=0
/proc/11684/task/11694/stat : 11694 (satake) R 11682 11684 27791 0 -1 4202560 18 0 0 0 0 0 0 0 20 0 17 0 643872991 7266304 375 18446744073709551615 134512640 135180984 4291548064 18446744073709551615 134691935 0 0 1 0 0 0 0 -1 0 0 0 0 0 0
[pid=11684/tid=11695] ppid=11682 vsize=7096 CPUtime=0
/proc/11684/task/11695/stat : 11695 (satake) R 11682 11684 27791 0 -1 4202560 13 0 0 0 0 0 0 0 20 0 17 0 643872991 7266304 376 18446744073709551615 134512640 135180984 4291548064 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 8 0 0 0 0 0
[pid=11684/tid=11696] ppid=11682 vsize=7096 CPUtime=0
/proc/11684/task/11696/stat : 11696 (satake) R 11682 11684 27791 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 17 0 643872992 7266304 376 18446744073709551615 134512640 135180984 4291548064 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 12 0 0 0 0 0
[pid=11684/tid=11697] ppid=11682 vsize=7096 CPUtime=0
/proc/11684/task/11697/stat : 11697 (satake) R 11682 11684 27791 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 17 0 643872992 7266304 376 18446744073709551615 134512640 135180984 4291548064 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 9 0 0 0 0 0
[pid=11684/tid=11698] ppid=11682 vsize=7100 CPUtime=0
/proc/11684/task/11698/stat : 11698 (satake) D 11682 11684 27791 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 17 0 643872992 7270400 376 18446744073709551615 134512640 135180984 4291548064 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 14 0 0 0 0 0
[pid=11684/tid=11699] ppid=11682 vsize=7100 CPUtime=0
/proc/11684/task/11699/stat : 11699 (satake) R 11682 11684 27791 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 17 0 643872992 7270400 376 18446744073709551615 134512640 135180984 4291548064 18446744073709551615 134702083 0 0 1 0 0 0 0 -1 3 0 0 0 0 0
[pid=11684/tid=11700] ppid=11682 vsize=7100 CPUtime=0
/proc/11684/task/11700/stat : 11700 (satake) D 11682 11684 27791 0 -1 4202560 0 0 0 0 0 0 0 0 20 0 17 0 643872992 7270400 376 18446744073709551615 134512640 135180984 4291548064 18446744073709551615 134702260 0 0 1 0 0 0 0 -1 6 0 0 0 0 0

[startup+0.10823 s]
/proc/loadavg: 15.02 14.89 14.55 2/184 11684
/proc/meminfo: memFree=19123996/36427776 swapFree=3652/7764
[pid=11684] ppid=11682 vsize=65832 CPUtime=0.74
/proc/11684/stat : 11684 (satake) S 11682 11684 27791 0 -1 4202496 11237 0 0 0 0 74 0 0 20 0 17 0 643872991 67411968 11172 18446744073709551615 134512640 135180984 4291548064 18446744073709551615 134573496 0 0 1 0 18446744073709551615 0 0 17 8 0 0 0 0 0
/proc/11684/statm: 16458 11174 63 164 0 16293 0
[pid=11684/tid=11685] ppid=11682 vsize=65832 CPUtime=0
/proc/11684/task/11685/stat : 11685 (satake) S 11682 11684 27791 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 17 0 643872991 67411968 11175 18446744073709551615 134512640 135180984 4291548064 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 9 0 0 0 0 0
[pid=11684/tid=11686] ppid=11682 vsize=65832 CPUtime=0.04
/proc/11684/task/11686/stat : 11686 (satake) R 11682 11684 27791 0 -1 4202560 500 0 0 0 0 4 0 0 20 0 17 0 643872991 67411968 11177 18446744073709551615 134512640 135180984 4291548064 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 11 0 0 0 0 0
[pid=11684/tid=11687] ppid=11682 vsize=65832 CPUtime=0.06
/proc/11684/task/11687/stat : 11687 (satake) R 11682 11684 27791 0 -1 4202560 839 0 0 0 0 6 0 0 20 0 17 0 643872991 67411968 11177 18446744073709551615 134512640 135180984 4291548064 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 12 0 0 0 0 0
[pid=11684/tid=11688] ppid=11682 vsize=65832 CPUtime=0.06
/proc/11684/task/11688/stat : 11688 (satake) R 11682 11684 27791 0 -1 4202560 1063 0 0 0 0 6 0 0 20 0 17 0 643872991 67411968 11177 18446744073709551615 134512640 135180984 4291548064 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 13 0 0 0 0 0
[pid=11684/tid=11689] ppid=11682 vsize=65832 CPUtime=0.04
/proc/11684/task/11689/stat : 11689 (satake) R 11682 11684 27791 0 -1 4202560 733 0 0 0 0 4 0 0 20 0 17 0 643872991 67411968 11178 18446744073709551615 134512640 135180984 4291548064 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 9 0 0 0 0 0
[pid=11684/tid=11690] ppid=11682 vsize=65832 CPUtime=0.04
/proc/11684/task/11690/stat : 11690 (satake) R 11682 11684 27791 0 -1 4202560 598 0 0 0 0 4 0 0 20 0 17 0 643872991 67411968 11191 18446744073709551615 134512640 135180984 4291548064 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 14 0 0 0 0 0
[pid=11684/tid=11691] ppid=11682 vsize=65832 CPUtime=0.06
/proc/11684/task/11691/stat : 11691 (satake) D 11682 11684 27791 0 -1 4202560 931 0 0 0 0 6 0 0 20 0 17 0 643872991 67411968 11195 18446744073709551615 134512640 135180984 4291548064 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 4 0 0 0 0 0
[pid=11684/tid=11692] ppid=11682 vsize=65832 CPUtime=0.06
/proc/11684/task/11692/stat : 11692 (satake) D 11682 11684 27791 0 -1 4202560 1062 0 0 0 0 6 0 0 20 0 17 0 643872991 67411968 11195 18446744073709551615 134512640 135180984 4291548064 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 15 0 0 0 0 0
[pid=11684/tid=11693] ppid=11682 vsize=65832 CPUtime=0.04
/proc/11684/task/11693/stat : 11693 (satake) D 11682 11684 27791 0 -1 4202560 533 0 0 0 0 4 0 0 20 0 17 0 643872991 67411968 11195 18446744073709551615 134512640 135180984 4291548064 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 11 0 0 0 0 0
[pid=11684/tid=11694] ppid=11682 vsize=65832 CPUtime=0.06
/proc/11684/task/11694/stat : 11694 (satake) R 11682 11684 27791 0 -1 4202560 1042 0 0 0 0 6 0 0 20 0 17 0 643872991 67411968 11195 18446744073709551615 134512640 135180984 4291548064 18446744073709551615 134706046 0 0 1 0 0 0 0 -1 0 0 0 0 0 0
[pid=11684/tid=11695] ppid=11682 vsize=65832 CPUtime=0.06
/proc/11684/task/11695/stat : 11695 (satake) D 11682 11684 27791 0 -1 4202560 1043 0 0 0 0 6 0 0 20 0 17 0 643872991 67411968 11195 18446744073709551615 134512640 135180984 4291548064 18446744073709551615 134706046 0 0 1 0 0 0 0 -1 8 0 0 0 0 0
[pid=11684/tid=11696] ppid=11682 vsize=65832 CPUtime=0
/proc/11684/task/11696/stat : 11696 (satake) D 11682 11684 27791 0 -1 4202560 244 0 0 0 0 0 0 0 20 0 17 0 643872992 67411968 11195 18446744073709551615 134512640 135180984 4291548064 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 12 0 0 0 0 0
[pid=11684/tid=11697] ppid=11682 vsize=65832 CPUtime=0.02
/proc/11684/task/11697/stat : 11697 (satake) D 11682 11684 27791 0 -1 4202560 279 0 0 0 0 2 0 0 20 0 17 0 643872992 67411968 11195 18446744073709551615 134512640 135180984 4291548064 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 9 0 0 0 0 0
[pid=11684/tid=11698] ppid=11682 vsize=65832 CPUtime=0.02
/proc/11684/task/11698/stat : 11698 (satake) D 11682 11684 27791 0 -1 4202560 260 0 0 0 0 2 0 0 20 0 17 0 643872992 67411968 11195 18446744073709551615 134512640 135180984 4291548064 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 14 0 0 0 0 0
[pid=11684/tid=11699] ppid=11682 vsize=65832 CPUtime=0.06
/proc/11684/task/11699/stat : 11699 (satake) D 11682 11684 27791 0 -1 4202560 973 0 0 0 0 6 0 0 20 0 17 0 643872992 67411968 11195 18446744073709551615 134512640 135180984 4291548064 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 3 0 0 0 0 0
[pid=11684/tid=11700] ppid=11682 vsize=65832 CPUtime=0.06
/proc/11684/task/11700/stat : 11700 (satake) D 11682 11684 27791 0 -1 4202560 1023 0 0 0 0 6 0 0 20 0 17 0 643872992 67411968 11195 18446744073709551615 134512640 135180984 4291548064 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 0.74
Current children cumulated vsize (KiB) 65832

[startup+0.204455 s]
/proc/loadavg: 15.02 14.89 14.55 2/184 11684
/proc/meminfo: memFree=19123996/36427776 swapFree=3652/7764
[pid=11684] ppid=11682 vsize=84672 CPUtime=1.44
/proc/11684/stat : 11684 (satake) S 11682 11684 27791 0 -1 4202496 17335 0 0 0 0 144 0 0 20 0 17 0 643872991 86704128 17270 18446744073709551615 134512640 135180984 4291548064 18446744073709551615 134573496 0 0 1 0 18446744073709551615 0 0 17 8 0 0 0 0 0
/proc/11684/statm: 21168 17274 63 164 0 21003 0
[pid=11684/tid=11685] ppid=11682 vsize=84672 CPUtime=0
/proc/11684/task/11685/stat : 11685 (satake) S 11682 11684 27791 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 17 0 643872991 86704128 17274 18446744073709551615 134512640 135180984 4291548064 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 9 0 0 0 0 0
[pid=11684/tid=11686] ppid=11682 vsize=84672 CPUtime=0.08
/proc/11684/task/11686/stat : 11686 (satake) R 11682 11684 27791 0 -1 4202560 972 0 0 0 0 8 0 0 20 0 17 0 643872991 86704128 17274 18446744073709551615 134512640 135180984 4291548064 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 11 0 0 0 0 0
[pid=11684/tid=11687] ppid=11682 vsize=84804 CPUtime=0.08
/proc/11684/task/11687/stat : 11687 (satake) D 11682 11684 27791 0 -1 4202560 1103 0 0 0 0 8 0 0 20 0 17 0 643872991 86839296 17274 18446744073709551615 134512640 135180984 4291548064 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 12 0 0 0 0 0
[pid=11684/tid=11688] ppid=11682 vsize=84804 CPUtime=0.12
/proc/11684/task/11688/stat : 11688 (satake) S 11682 11684 27791 0 -1 4202560 1508 0 0 0 0 12 0 0 20 0 17 0 643872991 86839296 17275 18446744073709551615 134512640 135180984 4291548064 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 13 0 0 0 0 0
[pid=11684/tid=11689] ppid=11682 vsize=84804 CPUtime=0.08
/proc/11684/task/11689/stat : 11689 (satake) R 11682 11684 27791 0 -1 4202560 1205 0 0 0 0 8 0 0 20 0 17 0 643872991 86839296 17277 18446744073709551615 134512640 135180984 4291548064 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 9 0 0 0 0 0
[pid=11684/tid=11690] ppid=11682 vsize=84804 CPUtime=0.08
/proc/11684/task/11690/stat : 11690 (satake) D 11682 11684 27791 0 -1 4202560 999 0 0 0 0 8 0 0 20 0 17 0 643872991 86839296 17277 18446744073709551615 134512640 135180984 4291548064 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 14 0 0 0 0 0
[pid=11684/tid=11691] ppid=11682 vsize=84804 CPUtime=0.12
/proc/11684/task/11691/stat : 11691 (satake) R 11682 11684 27791 0 -1 4202560 1436 0 0 0 0 12 0 0 20 0 17 0 643872991 86839296 17277 18446744073709551615 134512640 135180984 4291548064 18446744073709551615 134702260 0 0 1 0 0 0 0 -1 4 0 0 0 0 0
[pid=11684/tid=11692] ppid=11682 vsize=84804 CPUtime=0.14
/proc/11684/task/11692/stat : 11692 (satake) D 11682 11684 27791 0 -1 4202560 1580 0 0 0 0 14 0 0 20 0 17 0 643872991 86839296 17278 18446744073709551615 134512640 135180984 4291548064 18446744073709551615 134675846 0 0 1 0 0 0 0 -1 15 0 0 0 0 0
[pid=11684/tid=11693] ppid=11682 vsize=84804 CPUtime=0.06
/proc/11684/task/11693/stat : 11693 (satake) D 11682 11684 27791 0 -1 4202560 740 0 0 0 0 6 0 0 20 0 17 0 643872991 86839296 17280 18446744073709551615 134512640 135180984 4291548064 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 11 0 0 0 0 0
[pid=11684/tid=11694] ppid=11682 vsize=84804 CPUtime=0.12
/proc/11684/task/11694/stat : 11694 (satake) S 11682 11684 27791 0 -1 4202560 1535 0 0 0 0 12 0 0 20 0 17 0 643872991 86839296 17280 18446744073709551615 134512640 135180984 4291548064 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 0 0 0 0 0 0
[pid=11684/tid=11695] ppid=11682 vsize=84804 CPUtime=0.12
/proc/11684/task/11695/stat : 11695 (satake) R 11682 11684 27791 0 -1 4202560 1509 0 0 0 0 12 0 0 20 0 17 0 643872991 86839296 17285 18446744073709551615 134512640 135180984 4291548064 18446744073709551615 134675767 0 0 1 0 0 0 0 -1 8 0 0 0 0 0
[pid=11684/tid=11696] ppid=11682 vsize=84804 CPUtime=0.04
/proc/11684/task/11696/stat : 11696 (satake) R 11682 11684 27791 0 -1 4202560 687 0 0 0 0 4 0 0 20 0 17 0 643872992 86839296 17286 18446744073709551615 134512640 135180984 4291548064 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 12 0 0 0 0 0
[pid=11684/tid=11697] ppid=11682 vsize=84804 CPUtime=0.04
/proc/11684/task/11697/stat : 11697 (satake) R 11682 11684 27791 0 -1 4202560 526 0 0 0 0 4 0 0 20 0 17 0 643872992 86839296 17287 18446744073709551615 134512640 135180984 4291548064 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 9 0 0 0 0 0
[pid=11684/tid=11698] ppid=11682 vsize=84804 CPUtime=0.04
/proc/11684/task/11698/stat : 11698 (satake) R 11682 11684 27791 0 -1 4202560 507 0 0 0 0 4 0 0 20 0 17 0 643872992 86839296 17287 18446744073709551615 134512640 135180984 4291548064 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 14 0 0 0 0 0
[pid=11684/tid=11699] ppid=11682 vsize=84804 CPUtime=0.12
/proc/11684/task/11699/stat : 11699 (satake) R 11682 11684 27791 0 -1 4202560 1427 0 0 0 0 12 0 0 20 0 17 0 643872992 86839296 17287 18446744073709551615 134512640 135180984 4291548064 18446744073709551615 134675767 0 0 1 0 0 0 0 -1 3 0 0 0 0 0
[pid=11684/tid=11700] ppid=11682 vsize=84804 CPUtime=0.12
/proc/11684/task/11700/stat : 11700 (satake) R 11682 11684 27791 0 -1 4202560 1481 0 0 0 0 12 0 0 20 0 17 0 643872992 86839296 17287 18446744073709551615 134512640 135180984 4291548064 18446744073709551615 134691935 0 0 1 0 0 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 1.44
Current children cumulated vsize (KiB) 84672

[startup+0.304361 s]
/proc/loadavg: 15.02 14.89 14.55 2/184 11684
/proc/meminfo: memFree=19123996/36427776 swapFree=3652/7764
[pid=11684] ppid=11682 vsize=101260 CPUtime=2.01
/proc/11684/stat : 11684 (satake) S 11682 11684 27791 0 -1 4202496 20921 0 0 0 0 201 0 0 20 0 17 0 643872991 103690240 20856 18446744073709551615 134512640 135180984 4291548064 18446744073709551615 134573496 0 0 1 0 18446744073709551615 0 0 17 8 0 0 0 0 0
/proc/11684/statm: 25315 20860 63 164 0 25150 0
[pid=11684/tid=11685] ppid=11682 vsize=101260 CPUtime=0
/proc/11684/task/11685/stat : 11685 (satake) S 11682 11684 27791 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 17 0 643872991 103690240 20861 18446744073709551615 134512640 135180984 4291548064 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 9 0 0 0 0 0
[pid=11684/tid=11686] ppid=11682 vsize=101260 CPUtime=0.1
/proc/11684/task/11686/stat : 11686 (satake) D 11682 11684 27791 0 -1 4202560 1285 0 0 0 0 10 0 0 20 0 17 0 643872991 103690240 20863 18446744073709551615 134512640 135180984 4291548064 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 11 0 0 0 0 0
[pid=11684/tid=11687] ppid=11682 vsize=101260 CPUtime=0.12
/proc/11684/task/11687/stat : 11687 (satake) D 11682 11684 27791 0 -1 4202560 1437 0 0 0 0 12 0 0 20 0 17 0 643872991 103690240 20864 18446744073709551615 134512640 135180984 4291548064 18446744073709551615 134675846 0 0 1 0 0 0 0 -1 12 0 0 0 0 0
[pid=11684/tid=11688] ppid=11682 vsize=101260 CPUtime=0.18
/proc/11684/task/11688/stat : 11688 (satake) R 11682 11684 27791 0 -1 4202560 1653 0 0 0 0 18 0 0 20 0 17 0 643872991 103690240 20868 18446744073709551615 134512640 135180984 4291548064 18446744073709551615 134702260 0 0 1 0 0 0 0 -1 13 0 0 0 0 0
[pid=11684/tid=11689] ppid=11682 vsize=101260 CPUtime=0.12
/proc/11684/task/11689/stat : 11689 (satake) D 11682 11684 27791 0 -1 4202560 1469 0 0 0 0 12 0 0 20 0 17 0 643872991 103690240 20869 18446744073709551615 134512640 135180984 4291548064 18446744073709551615 134675767 0 0 1 0 0 0 0 -1 9 0 0 0 0 0
[pid=11684/tid=11690] ppid=11682 vsize=101260 CPUtime=0.12
/proc/11684/task/11690/stat : 11690 (satake) R 11682 11684 27791 0 -1 4202560 1336 0 0 0 0 12 0 0 20 0 17 0 643872991 103690240 20869 18446744073709551615 134512640 135180984 4291548064 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 14 0 0 0 0 0
[pid=11684/tid=11691] ppid=11682 vsize=101260 CPUtime=0.16
/proc/11684/task/11691/stat : 11691 (satake) R 11682 11684 27791 0 -1 4202560 1572 0 0 0 0 16 0 0 20 0 17 0 643872991 103690240 20869 18446744073709551615 134512640 135180984 4291548064 18446744073709551615 134579486 0 0 1 0 0 0 0 -1 4 0 0 0 0 0
[pid=11684/tid=11692] ppid=11682 vsize=101260 CPUtime=0.2
/proc/11684/task/11692/stat : 11692 (satake) R 11682 11684 27791 0 -1 4202560 1785 0 0 0 0 20 0 0 20 0 17 0 643872991 103690240 20870 18446744073709551615 134512640 135180984 4291548064 18446744073709551615 134675846 0 0 1 0 0 0 0 -1 15 0 0 0 0 0
[pid=11684/tid=11693] ppid=11682 vsize=101260 CPUtime=0.08
/proc/11684/task/11693/stat : 11693 (satake) R 11682 11684 27791 0 -1 4202560 1090 0 0 0 0 8 0 0 20 0 17 0 643872991 103690240 20870 18446744073709551615 134512640 135180984 4291548064 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 11 0 0 0 0 0
[pid=11684/tid=11694] ppid=11682 vsize=101260 CPUtime=0.16
/proc/11684/task/11694/stat : 11694 (satake) R 11682 11684 27791 0 -1 4202560 1649 0 0 0 0 16 0 0 20 0 17 0 643872991 103690240 20876 18446744073709551615 134512640 135180984 4291548064 18446744073709551615 134579486 0 0 1 0 0 0 0 -1 0 0 0 0 0 0
[pid=11684/tid=11695] ppid=11682 vsize=101260 CPUtime=0.16
/proc/11684/task/11695/stat : 11695 (satake) S 11682 11684 27791 0 -1 4202560 1606 0 0 0 0 16 0 0 20 0 17 0 643872991 103690240 20880 18446744073709551615 134512640 135180984 4291548064 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 8 0 0 0 0 0
[pid=11684/tid=11696] ppid=11682 vsize=101260 CPUtime=0.08
/proc/11684/task/11696/stat : 11696 (satake) R 11682 11684 27791 0 -1 4202560 1028 0 0 0 0 8 0 0 20 0 17 0 643872992 103690240 20880 18446744073709551615 134512640 135180984 4291548064 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 12 0 0 0 0 0
[pid=11684/tid=11697] ppid=11682 vsize=101260 CPUtime=0.08
/proc/11684/task/11697/stat : 11697 (satake) D 11682 11684 27791 0 -1 4202560 866 0 0 0 0 8 0 0 20 0 17 0 643872992 103690240 20880 18446744073709551615 134512640 135180984 4291548064 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 9 0 0 0 0 0
[pid=11684/tid=11698] ppid=11682 vsize=101260 CPUtime=0.08
/proc/11684/task/11698/stat : 11698 (satake) D 11682 11684 27791 0 -1 4202560 844 0 0 0 0 8 0 0 20 0 17 0 643872992 103690240 20881 18446744073709551615 134512640 135180984 4291548064 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 14 0 0 0 0 0
[pid=11684/tid=11699] ppid=11682 vsize=101260 CPUtime=0.16
/proc/11684/task/11699/stat : 11699 (satake) S 11682 11684 27791 0 -1 4202560 1546 0 0 0 0 16 0 0 20 0 17 0 643872992 103690240 20882 18446744073709551615 134512640 135180984 4291548064 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 3 0 0 0 0 0
[pid=11684/tid=11700] ppid=11682 vsize=101260 CPUtime=0.18
/proc/11684/task/11700/stat : 11700 (satake) D 11682 11684 27791 0 -1 4202560 1642 0 0 0 0 18 0 0 20 0 17 0 643872992 103690240 20884 18446744073709551615 134512640 135180984 4291548064 18446744073709551615 134675767 0 0 1 0 0 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 2.01
Current children cumulated vsize (KiB) 101260

[startup+0.704329 s]
/proc/loadavg: 15.02 14.89 14.55 2/184 11684
/proc/meminfo: memFree=19123996/36427776 swapFree=3652/7764
[pid=11684] ppid=11682 vsize=134060 CPUtime=3.56
/proc/11684/stat : 11684 (satake) S 11682 11684 27791 0 -1 4202496 30628 0 0 0 38 318 0 0 20 0 17 0 643872991 137277440 30564 18446744073709551615 134512640 135180984 4291548064 18446744073709551615 134573496 0 0 1 0 18446744073709551615 0 0 17 8 0 0 0 0 0
/proc/11684/statm: 33515 30565 63 164 0 33350 0
[pid=11684/tid=11685] ppid=11682 vsize=134060 CPUtime=0
/proc/11684/task/11685/stat : 11685 (satake) S 11682 11684 27791 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 17 0 643872991 137277440 30568 18446744073709551615 134512640 135180984 4291548064 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 9 0 0 0 0 0
[pid=11684/tid=11686] ppid=11682 vsize=134060 CPUtime=0.2
/proc/11684/task/11686/stat : 11686 (satake) S 11682 11684 27791 0 -1 4202560 1929 0 0 0 0 20 0 0 20 0 17 0 643872991 137277440 30569 18446744073709551615 134512640 135180984 4291548064 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 11 0 0 0 0 0
[pid=11684/tid=11687] ppid=11682 vsize=134060 CPUtime=0.2
/proc/11684/task/11687/stat : 11687 (satake) S 11682 11684 27791 0 -1 4202560 1989 0 0 0 2 18 0 0 20 0 17 0 643872991 137277440 30569 18446744073709551615 134512640 135180984 4291548064 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 12 0 0 0 0 0
[pid=11684/tid=11688] ppid=11682 vsize=134060 CPUtime=0.32
/proc/11684/task/11688/stat : 11688 (satake) R 11682 11684 27791 0 -1 4202560 2398 0 0 0 4 28 0 0 20 0 17 0 643872991 137277440 30572 18446744073709551615 134512640 135180984 4291548064 18446744073709551615 134675846 0 0 1 0 0 0 0 -1 13 0 0 0 0 0
[pid=11684/tid=11689] ppid=11682 vsize=134060 CPUtime=0.22
/proc/11684/task/11689/stat : 11689 (satake) R 11682 11684 27791 0 -1 4202560 2097 0 0 0 6 16 0 0 20 0 17 0 643872991 137277440 30572 18446744073709551615 134512640 135180984 4291548064 18446744073709551615 134675846 0 0 1 0 0 0 0 -1 9 0 0 0 0 0
[pid=11684/tid=11690] ppid=11682 vsize=134060 CPUtime=0.2
/proc/11684/task/11690/stat : 11690 (satake) D 11682 11684 27791 0 -1 4202560 1950 0 0 0 2 18 0 0 20 0 17 0 643872991 137277440 30572 18446744073709551615 134512640 135180984 4291548064 18446744073709551615 134675767 0 0 1 0 0 0 0 -1 14 0 0 0 0 0
[pid=11684/tid=11691] ppid=11682 vsize=134060 CPUtime=0.26
/proc/11684/task/11691/stat : 11691 (satake) R 11682 11684 27791 0 -1 4202560 2073 0 0 0 2 24 0 0 20 0 17 0 643872991 137277440 30572 18446744073709551615 134512640 135180984 4291548064 18446744073709551615 134675846 0 0 1 0 0 0 0 -1 4 0 0 0 0 0
[pid=11684/tid=11692] ppid=11682 vsize=134060 CPUtime=0.34
/proc/11684/task/11692/stat : 11692 (satake) D 11682 11684 27791 0 -1 4202560 2596 0 0 0 6 28 0 0 20 0 17 0 643872991 137277440 30572 18446744073709551615 134512640 135180984 4291548064 18446744073709551615 134675846 0 0 1 0 0 0 0 -1 15 0 0 0 0 0
[pid=11684/tid=11693] ppid=11682 vsize=134060 CPUtime=0.16
/proc/11684/task/11693/stat : 11693 (satake) S 11682 11684 27791 0 -1 4202560 1668 0 0 0 0 16 0 0 20 0 17 0 643872991 137277440 30572 18446744073709551615 134512640 135180984 4291548064 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 11 0 0 0 0 0
[pid=11684/tid=11694] ppid=11682 vsize=134060 CPUtime=0.3

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

deleting IPC queue 2066153550
deleting IPC queue 2066186319
deleting IPC queue 2066219088
deleting IPC queue 2066251857
deleting IPC queue 2066284626
deleting IPC queue 2066317395
deleting IPC queue 2066350164
deleting IPC queue 2066382933
deleting IPC queue 2066415702
deleting IPC queue 2066448471
deleting IPC queue 2066481240
deleting IPC queue 2066514009
deleting IPC queue 2066546778
deleting IPC queue 2066579547
deleting IPC queue 2066612316
deleting IPC queue 2066645085
deleting IPC queue 2066677854
deleting IPC queue 2066710623
deleting IPC queue 2066743392
deleting IPC queue 2066776161
deleting IPC queue 2066808930
deleting IPC queue 2066841699
deleting IPC queue 2066874468
deleting IPC queue 2066907237
deleting IPC queue 2066940006
deleting IPC queue 2066972775
deleting IPC queue 2067005544
deleting IPC queue 2067038313
deleting IPC queue 2067071082
deleting IPC queue 2067103851
deleting IPC queue 2067136620
deleting IPC queue 2067169389
deleting IPC queue 2067202158
deleting IPC queue 2067234927
deleting IPC queue 2067267696
deleting IPC queue 2067300465
deleting IPC queue 2067333234
deleting IPC queue 2067366003
deleting IPC queue 2067398772
deleting IPC queue 2067431541
deleting IPC queue 2067464310
deleting IPC queue 2067497079
deleting IPC queue 2067529848
deleting IPC queue 2067562617
deleting IPC queue 2067595386
deleting IPC queue 2067628155
deleting IPC queue 2067660924
deleting IPC queue 2067693693
deleting IPC queue 2067726462
deleting IPC queue 2067759231
deleting IPC queue 2067792000
deleting IPC queue 2067824769
deleting IPC queue 2067857538
deleting IPC queue 2067890307
deleting IPC queue 2067923076
deleting IPC queue 2067955845
deleting IPC queue 2067988614
deleting IPC queue 2068021383
deleting IPC queue 2068054152
deleting IPC queue 2068086921
deleting IPC queue 2068119690
deleting IPC queue 2068152459
deleting IPC queue 2068185228
deleting IPC queue 2068217997
deleting IPC queue 2068250766
deleting IPC queue 2068283535
deleting IPC queue 2068316304
deleting IPC queue 2068349073
deleting IPC queue 2068381842
deleting IPC queue 2068414611
deleting IPC queue 2068447380
deleting IPC queue 2068480149
deleting IPC queue 2068512918
deleting IPC queue 2068545687
deleting IPC queue 2068578456
deleting IPC queue 2068611225
deleting IPC queue 2068643994
deleting IPC queue 2068676763
deleting IPC queue 2068709532
deleting IPC queue 2068742301
deleting IPC queue 2068775070
deleting IPC queue 2068807839
deleting IPC queue 2068840608
deleting IPC queue 2068873377
deleting IPC queue 2068906146
deleting IPC queue 2068938915
deleting IPC queue 2068971684
deleting IPC queue 2069004453
deleting IPC queue 2069037222
deleting IPC queue 2069069991
deleting IPC queue 2069102760
deleting IPC queue 2069135529
deleting IPC queue 2069168298
deleting IPC queue 2069201067
deleting IPC queue 2069233836
deleting IPC queue 2069266605
deleting IPC queue 2069299374
deleting IPC queue 2069332143
deleting IPC queue 2069364912
deleting IPC queue 2069397681
deleting IPC queue 2069430450
deleting IPC queue 2069463219
deleting IPC queue 2069495988
deleting IPC queue 2069528757
deleting IPC queue 2069561526
deleting IPC queue 2069594295
deleting IPC queue 2069627064
deleting IPC queue 2069659833
deleting IPC queue 2069692602
deleting IPC queue 2069725371
deleting IPC queue 2069758140
deleting IPC queue 2069790909
deleting IPC queue 2069823678
deleting IPC queue 2069856447
deleting IPC queue 2069889216
deleting IPC queue 2069921985
deleting IPC queue 2069954754
deleting IPC queue 2069987523
deleting IPC queue 2070020292
deleting IPC queue 2070053061
deleting IPC queue 2070085830
deleting IPC queue 2070118599
deleting IPC queue 2070151368
deleting IPC queue 2070184137
deleting IPC queue 2070216906
deleting IPC queue 2070249675
deleting IPC queue 2070282444
deleting IPC queue 2070315213
deleting IPC queue 2070347982
deleting IPC queue 2070380751
deleting IPC queue 2070413520
deleting IPC queue 2070446289
deleting IPC queue 2070479058
deleting IPC queue 2070511827
deleting IPC queue 2070544596
deleting IPC queue 2070577365
deleting IPC queue 2070610134
deleting IPC queue 2070642903
deleting IPC queue 2070675672
deleting IPC queue 2070708441
deleting IPC queue 2070741210
deleting IPC queue 2070773979
deleting IPC queue 2070806748
deleting IPC queue 2070839517
deleting IPC queue 2070872286
deleting IPC queue 2070905055
deleting IPC queue 2070937824
deleting IPC queue 2070970593
deleting IPC queue 2071003362
deleting IPC queue 2071036131
deleting IPC queue 2071068900
deleting IPC queue 2071101669
deleting IPC queue 2071134438
deleting IPC queue 2071167207
deleting IPC queue 2071199976
deleting IPC queue 2071232745
deleting IPC queue 2071265514
deleting IPC queue 2071298283
deleting IPC queue 2071331052
deleting IPC queue 2071363821
deleting IPC queue 2071396590
deleting IPC queue 2071429359
deleting IPC queue 2071462128
deleting IPC queue 2071494897
deleting IPC queue 2071527666
deleting IPC queue 2071560435
deleting IPC queue 2071593204
deleting IPC queue 2071625973
deleting IPC queue 2071658742
deleting IPC queue 2071691511
deleting IPC queue 2071724280
deleting IPC queue 2071757049
deleting IPC queue 2071789818
deleting IPC queue 2071822587
deleting IPC queue 2071855356
deleting IPC queue 2071888125
deleting IPC queue 2071920894
deleting IPC queue 2071953663

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 9889.99
system time used= 111.859
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 505172
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= 6887377
involuntary context switches= 3263797

runsolver used 3.28021 second user time and 10.0046 second system time

The end

Launcher Data 

Begin job on xenhost3-49 at 2009-06-13 00:27:46
IDJOB=1780902
IDBENCH=71077
IDSOLVER=631
FILE ID=xenhost3-49/1780902-1244845666
PBS_JOBID=
Free space on /tmp= 7022 MiB

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

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

MD5SUM BENCH= 8e41b9860982308be5a85106d5324611
RANDOM SEED= 1950852604

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:      19123996 kB
Buffers:        435600 kB
Cached:       14118484 kB
SwapCached:          0 kB
Active:        4080936 kB
Inactive:     10480872 kB
SwapTotal:    25398692 kB
SwapFree:     25398692 kB
Dirty:            5984 kB
Writeback:           0 kB
AnonPages:        7764 kB
Mapped:           2988 kB
Slab:           689472 kB
SReclaimable:   662636 kB
SUnreclaim:      26836 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= 7022 MiB
End job on xenhost3-49 at 2009-06-13 00:39:21