Trace number 1780782

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 786.501

General information on the benchmark

NameAPPLICATIONS/satComp09_BioInstances/
rbcl_xits_10_UNKNOWN.cnf
MD5SUMe868383f091c36fa9594c670095c9824
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 variables1584
Number of clauses91646
Sum of the clauses size272553
Maximum clause length11
Minimum clause length2
Number of clauses of size 10
Number of clauses of size 22569
Number of clauses of size 389054
Number of clauses of size 40
Number of clauses of size 50
Number of clauses of size over 523

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-1780782-1244841495/watcher-1780782-1244841495 -o /tmp/evaluation-result-1780782-1244841495/solver-1780782-1244841495 -C 10000 -W 1000 -M 2047 --output-limit 1,15 --cleanup-all-ipc-queues HOME/satake HOME/instance-1780782-1244841495.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: 6.17 6.59 8.02 2/184 11173
/proc/meminfo: memFree=19126888/36427776 swapFree=5012/7668
[pid=11173] ppid=11171 vsize=8232 CPUtime=0
/proc/11173/stat : 11173 (satake) R 11171 11173 27791 0 -1 4202496 427 0 0 0 0 0 0 0 20 0 16 0 643455824 8429568 382 18446744073709551615 134512640 135180984 4288719088 18446744073709551615 134702083 0 0 1 0 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/11173/statm: 2058 383 63 164 0 1893 0
[pid=11173/tid=11174] ppid=11171 vsize=8304 CPUtime=0
/proc/11173/task/11174/stat : 11174 (satake) S 11171 11173 27791 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 16 0 643455824 8503296 418 18446744073709551615 134512640 135180984 4288719088 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 2 0 0 0 0 0
[pid=11173/tid=11175] ppid=11171 vsize=8304 CPUtime=0
/proc/11173/task/11175/stat : 11175 (satake) D 11171 11173 27791 0 -1 4202560 60 0 0 0 0 0 0 0 20 0 16 0 643455824 8503296 418 18446744073709551615 134512640 135180984 4288719088 18446744073709551615 134691935 0 0 1 0 0 0 0 -1 3 0 0 0 0 0
[pid=11173/tid=11176] ppid=11171 vsize=8304 CPUtime=0
/proc/11173/task/11176/stat : 11176 (satake) D 11171 11173 27791 0 -1 4202560 49 0 0 0 0 0 0 0 20 0 16 0 643455824 8503296 421 18446744073709551615 134512640 135180984 4288719088 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 6 0 0 0 0 0
[pid=11173/tid=11177] ppid=11171 vsize=8304 CPUtime=0
/proc/11173/task/11177/stat : 11177 (satake) R 11171 11173 27791 0 -1 4202560 29 0 0 0 0 0 0 0 20 0 16 0 643455824 8503296 424 18446744073709551615 134512640 135180984 4288719088 18446744073709551615 134691935 0 0 1 0 0 0 0 -1 13 0 0 0 0 0
[pid=11173/tid=11178] ppid=11171 vsize=8304 CPUtime=0
/proc/11173/task/11178/stat : 11178 (satake) R 11171 11173 27791 0 -1 4202560 48 0 0 0 0 0 0 0 20 0 16 0 643455824 8503296 426 18446744073709551615 134512640 135180984 4288719088 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 2 0 0 0 0 0
[pid=11173/tid=11179] ppid=11171 vsize=8304 CPUtime=0
/proc/11173/task/11179/stat : 11179 (satake) R 11171 11173 27791 0 -1 4202560 30 0 0 0 0 0 0 0 20 0 17 0 643455824 8503296 426 18446744073709551615 134512640 135180984 4288719088 18446744073709551615 134691935 0 0 1 0 0 0 0 -1 9 0 0 0 0 0
[pid=11173/tid=11180] ppid=11171 vsize=8304 CPUtime=0
/proc/11173/task/11180/stat : 11180 (satake) S 11171 11173 27791 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 17 0 643455824 8503296 426 18446744073709551615 134512640 135180984 4288719088 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 10 0 0 0 0 0
[pid=11173/tid=11181] ppid=11171 vsize=8304 CPUtime=0
/proc/11173/task/11181/stat : 11181 (satake) S 11171 11173 27791 0 -1 4202560 18 0 0 0 0 0 0 0 20 0 17 0 643455824 8503296 436 18446744073709551615 134512640 135180984 4288719088 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 8 0 0 0 0 0
[pid=11173/tid=11182] ppid=11171 vsize=8304 CPUtime=0
/proc/11173/task/11182/stat : 11182 (satake) S 11171 11173 27791 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 17 0 643455824 8503296 437 18446744073709551615 134512640 135180984 4288719088 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 9 0 0 0 0 0
[pid=11173/tid=11183] ppid=11171 vsize=8304 CPUtime=0
/proc/11173/task/11183/stat : 11183 (satake) R 11171 11173 27791 0 -1 4202560 29 0 0 0 0 0 0 0 20 0 17 0 643455824 8503296 440 18446744073709551615 134512640 135180984 4288719088 18446744073709551615 134691935 0 0 1 0 0 0 0 -1 11 0 0 0 0 0
[pid=11173/tid=11184] ppid=11171 vsize=8304 CPUtime=0
/proc/11173/task/11184/stat : 11184 (satake) S 11171 11173 27791 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 17 0 643455824 8503296 442 18446744073709551615 134512640 135180984 4288719088 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 10 0 0 0 0 0
[pid=11173/tid=11185] ppid=11171 vsize=8304 CPUtime=0
/proc/11173/task/11185/stat : 11185 (satake) R 11171 11173 27791 0 -1 4202560 13 0 0 0 0 0 0 0 20 0 17 0 643455824 8503296 442 18446744073709551615 134512640 135180984 4288719088 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 8 0 0 0 0 0
[pid=11173/tid=11186] ppid=11171 vsize=8304 CPUtime=0
/proc/11173/task/11186/stat : 11186 (satake) D 11171 11173 27791 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 17 0 643455824 8503296 442 18446744073709551615 134512640 135180984 4288719088 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 2 0 0 0 0 0
[pid=11173/tid=11187] ppid=11171 vsize=8304 CPUtime=0
/proc/11173/task/11187/stat : 11187 (satake) D 11171 11173 27791 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 17 0 643455824 8503296 442 18446744073709551615 134512640 135180984 4288719088 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 12 0 0 0 0 0
[pid=11173/tid=11188] ppid=11171 vsize=8304 CPUtime=0
/proc/11173/task/11188/stat : 11188 (satake) D 11171 11173 27791 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 17 0 643455825 8503296 442 18446744073709551615 134512640 135180984 4288719088 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 13 0 0 0 0 0
[pid=11173/tid=11189] ppid=11171 vsize=8564 CPUtime=0
/proc/11173/task/11189/stat : 11189 (satake) D 11171 11173 27791 0 -1 4202560 0 0 0 0 0 0 0 0 20 0 17 0 643455825 8769536 442 18446744073709551615 134512640 135180984 4288719088 18446744073709551615 134675767 0 0 1 0 0 0 0 -1 15 0 0 0 0 0

[startup+0.039359 s]
/proc/loadavg: 6.17 6.59 8.02 2/184 11173
/proc/meminfo: memFree=19126888/36427776 swapFree=5012/7668
[pid=11173] ppid=11171 vsize=18328 CPUtime=0.16
/proc/11173/stat : 11173 (satake) S 11171 11173 27791 0 -1 4202496 2606 0 0 0 4 12 0 0 20 0 17 0 643455824 18767872 2561 18446744073709551615 134512640 135180984 4288719088 18446744073709551615 134573496 0 0 1 0 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/11173/statm: 4582 2561 63 164 0 4417 0
[pid=11173/tid=11174] ppid=11171 vsize=18328 CPUtime=0
/proc/11173/task/11174/stat : 11174 (satake) S 11171 11173 27791 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 17 0 643455824 18767872 2561 18446744073709551615 134512640 135180984 4288719088 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 2 0 0 0 0 0
[pid=11173/tid=11175] ppid=11171 vsize=18328 CPUtime=0.02
/proc/11173/task/11175/stat : 11175 (satake) D 11171 11173 27791 0 -1 4202560 245 0 0 0 0 2 0 0 20 0 17 0 643455824 18767872 2561 18446744073709551615 134512640 135180984 4288719088 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 3 0 0 0 0 0
[pid=11173/tid=11176] ppid=11171 vsize=18328 CPUtime=0.02
/proc/11173/task/11176/stat : 11176 (satake) D 11171 11173 27791 0 -1 4202560 247 0 0 0 0 2 0 0 20 0 17 0 643455824 18767872 2561 18446744073709551615 134512640 135180984 4288719088 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 6 0 0 0 0 0
[pid=11173/tid=11177] ppid=11171 vsize=18840 CPUtime=0
/proc/11173/task/11177/stat : 11177 (satake) R 11171 11173 27791 0 -1 4202560 149 0 0 0 0 0 0 0 20 0 17 0 643455824 19292160 2561 18446744073709551615 134512640 135180984 4288719088 18446744073709551615 134706046 0 0 1 0 0 0 0 -1 13 0 0 0 0 0
[pid=11173/tid=11178] ppid=11171 vsize=18840 CPUtime=0.02
/proc/11173/task/11178/stat : 11178 (satake) R 11171 11173 27791 0 -1 4202560 235 0 0 0 0 2 0 0 20 0 17 0 643455824 19292160 2567 18446744073709551615 134512640 135180984 4288719088 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 2 0 0 0 0 0
[pid=11173/tid=11179] ppid=11171 vsize=18840 CPUtime=0.02
/proc/11173/task/11179/stat : 11179 (satake) D 11171 11173 27791 0 -1 4202560 247 0 0 0 0 2 0 0 20 0 17 0 643455824 19292160 2569 18446744073709551615 134512640 135180984 4288719088 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 9 0 0 0 0 0
[pid=11173/tid=11180] ppid=11171 vsize=18840 CPUtime=0
/proc/11173/task/11180/stat : 11180 (satake) R 11171 11173 27791 0 -1 4202560 247 0 0 0 0 0 0 0 20 0 17 0 643455824 19292160 2570 18446744073709551615 134512640 135180984 4288719088 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 10 0 0 0 0 0
[pid=11173/tid=11181] ppid=11171 vsize=18840 CPUtime=0
/proc/11173/task/11181/stat : 11181 (satake) R 11171 11173 27791 0 -1 4202560 188 0 0 0 0 0 0 0 20 0 17 0 643455824 19292160 2570 18446744073709551615 134512640 135180984 4288719088 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 8 0 0 0 0 0
[pid=11173/tid=11182] ppid=11171 vsize=18840 CPUtime=0
/proc/11173/task/11182/stat : 11182 (satake) R 11171 11173 27791 0 -1 4202560 44 0 0 0 0 0 0 0 20 0 17 0 643455824 19292160 2570 18446744073709551615 134512640 135180984 4288719088 18446744073709551615 134691935 0 0 1 0 0 0 0 -1 9 0 0 0 0 0
[pid=11173/tid=11183] ppid=11171 vsize=18840 CPUtime=0.02
/proc/11173/task/11183/stat : 11183 (satake) R 11171 11173 27791 0 -1 4202560 237 0 0 0 2 0 0 0 20 0 17 0 643455824 19292160 2570 18446744073709551615 134512640 135180984 4288719088 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 11 0 0 0 0 0
[pid=11173/tid=11184] ppid=11171 vsize=18840 CPUtime=0
/proc/11173/task/11184/stat : 11184 (satake) R 11171 11173 27791 0 -1 4202560 42 0 0 0 0 0 0 0 20 0 17 0 643455824 19292160 2571 18446744073709551615 134512640 135180984 4288719088 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 10 0 0 0 0 0
[pid=11173/tid=11185] ppid=11171 vsize=18840 CPUtime=0
/proc/11173/task/11185/stat : 11185 (satake) R 11171 11173 27791 0 -1 4202560 56 0 0 0 0 0 0 0 20 0 17 0 643455824 19292160 2575 18446744073709551615 134512640 135180984 4288719088 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 8 0 0 0 0 0
[pid=11173/tid=11186] ppid=11171 vsize=18840 CPUtime=0
/proc/11173/task/11186/stat : 11186 (satake) R 11171 11173 27791 0 -1 4202560 130 0 0 0 0 0 0 0 20 0 17 0 643455824 19292160 2578 18446744073709551615 134512640 135180984 4288719088 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 12 0 0 0 0 0
[pid=11173/tid=11187] ppid=11171 vsize=18840 CPUtime=0
/proc/11173/task/11187/stat : 11187 (satake) R 11171 11173 27791 0 -1 4202560 106 0 0 0 0 0 0 0 20 0 17 0 643455824 19292160 2579 18446744073709551615 134512640 135180984 4288719088 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 12 0 0 0 0 0
[pid=11173/tid=11188] ppid=11171 vsize=18840 CPUtime=0
/proc/11173/task/11188/stat : 11188 (satake) R 11171 11173 27791 0 -1 4202560 99 0 0 0 0 0 0 0 20 0 17 0 643455825 19292160 2589 18446744073709551615 134512640 135180984 4288719088 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 13 0 0 0 0 0
[pid=11173/tid=11189] ppid=11171 vsize=18840 CPUtime=0
/proc/11173/task/11189/stat : 11189 (satake) R 11171 11173 27791 0 -1 4202560 209 0 0 0 0 0 0 0 20 0 17 0 643455825 19292160 2605 18446744073709551615 134512640 135180984 4288719088 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 15 0 0 0 0 0
Current children cumulated CPU time (s) 0.16
Current children cumulated vsize (KiB) 18328

[startup+0.103411 s]
/proc/loadavg: 6.17 6.59 8.02 2/184 11173
/proc/meminfo: memFree=19126888/36427776 swapFree=5012/7668
[pid=11173] ppid=11171 vsize=32532 CPUtime=0.5
/proc/11173/stat : 11173 (satake) S 11171 11173 27791 0 -1 4202496 5805 0 0 0 8 42 0 0 20 0 17 0 643455824 33312768 5760 18446744073709551615 134512640 135180984 4288719088 18446744073709551615 134573496 0 0 1 0 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/11173/statm: 8133 5761 63 164 0 7968 0
[pid=11173/tid=11174] ppid=11171 vsize=32532 CPUtime=0
/proc/11173/task/11174/stat : 11174 (satake) S 11171 11173 27791 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 17 0 643455824 33312768 5761 18446744073709551615 134512640 135180984 4288719088 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 2 0 0 0 0 0
[pid=11173/tid=11175] ppid=11171 vsize=32532 CPUtime=0.04
/proc/11173/task/11175/stat : 11175 (satake) D 11171 11173 27791 0 -1 4202560 471 0 0 0 0 4 0 0 20 0 17 0 643455824 33312768 5764 18446744073709551615 134512640 135180984 4288719088 18446744073709551615 134675846 0 0 1 0 0 0 0 -1 3 0 0 0 0 0
[pid=11173/tid=11176] ppid=11171 vsize=32532 CPUtime=0.04
/proc/11173/task/11176/stat : 11176 (satake) S 11171 11173 27791 0 -1 4202560 439 0 0 0 0 4 0 0 20 0 17 0 643455824 33312768 5764 18446744073709551615 134512640 135180984 4288719088 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 6 0 0 0 0 0
[pid=11173/tid=11177] ppid=11171 vsize=32532 CPUtime=0.02
/proc/11173/task/11177/stat : 11177 (satake) D 11171 11173 27791 0 -1 4202560 406 0 0 0 0 2 0 0 20 0 17 0 643455824 33312768 5764 18446744073709551615 134512640 135180984 4288719088 18446744073709551615 134522560 0 0 1 0 0 0 0 -1 13 0 0 0 0 0
[pid=11173/tid=11178] ppid=11171 vsize=32532 CPUtime=0.04
/proc/11173/task/11178/stat : 11178 (satake) R 11171 11173 27791 0 -1 4202560 450 0 0 0 0 4 0 0 20 0 17 0 643455824 33312768 5764 18446744073709551615 134512640 135180984 4288719088 18446744073709551615 134702260 0 0 1 0 0 0 0 -1 2 0 0 0 0 0
[pid=11173/tid=11179] ppid=11171 vsize=32532 CPUtime=0.04
/proc/11173/task/11179/stat : 11179 (satake) S 11171 11173 27791 0 -1 4202560 428 0 0 0 0 4 0 0 20 0 17 0 643455824 33312768 5765 18446744073709551615 134512640 135180984 4288719088 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 9 0 0 0 0 0
[pid=11173/tid=11180] ppid=11171 vsize=32532 CPUtime=0.04
/proc/11173/task/11180/stat : 11180 (satake) R 11171 11173 27791 0 -1 4202560 467 0 0 0 0 4 0 0 20 0 17 0 643455824 33312768 5766 18446744073709551615 134512640 135180984 4288719088 18446744073709551615 134675846 0 0 1 0 0 0 0 -1 10 0 0 0 0 0
[pid=11173/tid=11181] ppid=11171 vsize=32532 CPUtime=0.02
/proc/11173/task/11181/stat : 11181 (satake) R 11171 11173 27791 0 -1 4202560 426 0 0 0 0 2 0 0 20 0 17 0 643455824 33312768 5767 18446744073709551615 134512640 135180984 4288719088 18446744073709551615 134522598 0 0 1 0 0 0 0 -1 8 0 0 0 0 0
[pid=11173/tid=11182] ppid=11171 vsize=32532 CPUtime=0
/proc/11173/task/11182/stat : 11182 (satake) R 11171 11173 27791 0 -1 4202560 250 0 0 0 0 0 0 0 20 0 17 0 643455824 33312768 5769 18446744073709551615 134512640 135180984 4288719088 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 9 0 0 0 0 0
[pid=11173/tid=11183] ppid=11171 vsize=32532 CPUtime=0.04
/proc/11173/task/11183/stat : 11183 (satake) D 11171 11173 27791 0 -1 4202560 465 0 0 0 2 2 0 0 20 0 17 0 643455824 33312768 5769 18446744073709551615 134512640 135180984 4288719088 18446744073709551615 134702260 0 0 1 0 0 0 0 -1 11 0 0 0 0 0
[pid=11173/tid=11184] ppid=11171 vsize=32532 CPUtime=0
/proc/11173/task/11184/stat : 11184 (satake) D 11171 11173 27791 0 -1 4202560 193 0 0 0 0 0 0 0 20 0 17 0 643455824 33312768 5769 18446744073709551615 134512640 135180984 4288719088 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 10 0 0 0 0 0
[pid=11173/tid=11185] ppid=11171 vsize=32532 CPUtime=0.02
/proc/11173/task/11185/stat : 11185 (satake) R 11171 11173 27791 0 -1 4202560 216 0 0 0 0 2 0 0 20 0 17 0 643455824 33312768 5771 18446744073709551615 134512640 135180984 4288719088 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 8 0 0 0 0 0
[pid=11173/tid=11186] ppid=11171 vsize=32532 CPUtime=0.02
/proc/11173/task/11186/stat : 11186 (satake) D 11171 11173 27791 0 -1 4202560 359 0 0 0 2 0 0 0 20 0 17 0 643455824 33312768 5771 18446744073709551615 134512640 135180984 4288719088 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 12 0 0 0 0 0
[pid=11173/tid=11187] ppid=11171 vsize=32532 CPUtime=0.02
/proc/11173/task/11187/stat : 11187 (satake) R 11171 11173 27791 0 -1 4202560 384 0 0 0 0 2 0 0 20 0 17 0 643455824 33312768 5774 18446744073709551615 134512640 135180984 4288719088 18446744073709551615 134675846 0 0 1 0 0 0 0 -1 12 0 0 0 0 0
[pid=11173/tid=11188] ppid=11171 vsize=32532 CPUtime=0.02
/proc/11173/task/11188/stat : 11188 (satake) R 11171 11173 27791 0 -1 4202560 301 0 0 0 0 2 0 0 20 0 17 0 643455825 33312768 5776 18446744073709551615 134512640 135180984 4288719088 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 13 0 0 0 0 0
[pid=11173/tid=11189] ppid=11171 vsize=32532 CPUtime=0.04
/proc/11173/task/11189/stat : 11189 (satake) R 11171 11173 27791 0 -1 4202560 427 0 0 0 0 4 0 0 20 0 17 0 643455825 33312768 5777 18446744073709551615 134512640 135180984 4288719088 18446744073709551615 134691935 0 0 1 0 0 0 0 -1 15 0 0 0 0 0
Current children cumulated CPU time (s) 0.5
Current children cumulated vsize (KiB) 32532

[startup+0.303331 s]
/proc/loadavg: 6.17 6.59 8.02 2/184 11173
/proc/meminfo: memFree=19126888/36427776 swapFree=5012/7668
[pid=11173] ppid=11171 vsize=48304 CPUtime=1.2
/proc/11173/stat : 11173 (satake) S 11171 11173 27791 0 -1 4202496 10430 0 0 0 22 98 0 0 20 0 17 0 643455824 49463296 10385 18446744073709551615 134512640 135180984 4288719088 18446744073709551615 134573496 0 0 1 0 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/11173/statm: 12076 10385 63 164 0 11911 0
[pid=11173/tid=11174] ppid=11171 vsize=48304 CPUtime=0
/proc/11173/task/11174/stat : 11174 (satake) S 11171 11173 27791 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 17 0 643455824 49463296 10385 18446744073709551615 134512640 135180984 4288719088 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 2 0 0 0 0 0
[pid=11173/tid=11175] ppid=11171 vsize=48304 CPUtime=0.12
/proc/11173/task/11175/stat : 11175 (satake) D 11171 11173 27791 0 -1 4202560 883 0 0 0 2 10 0 0 20 0 17 0 643455824 49463296 10386 18446744073709551615 134512640 135180984 4288719088 18446744073709551615 134702260 0 0 1 0 0 0 0 -1 3 0 0 0 0 0
[pid=11173/tid=11176] ppid=11171 vsize=48304 CPUtime=0.1
/proc/11173/task/11176/stat : 11176 (satake) D 11171 11173 27791 0 -1 4202560 799 0 0 0 4 6 0 0 20 0 17 0 643455824 49463296 10386 18446744073709551615 134512640 135180984 4288719088 18446744073709551615 134702260 0 0 1 0 0 0 0 -1 6 0 0 0 0 0
[pid=11173/tid=11177] ppid=11171 vsize=48304 CPUtime=0.08
/proc/11173/task/11177/stat : 11177 (satake) S 11171 11173 27791 0 -1 4202560 773 0 0 0 2 6 0 0 20 0 17 0 643455824 49463296 10389 18446744073709551615 134512640 135180984 4288719088 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 13 0 0 0 0 0
[pid=11173/tid=11178] ppid=11171 vsize=48304 CPUtime=0.12
/proc/11173/task/11178/stat : 11178 (satake) D 11171 11173 27791 0 -1 4202560 872 0 0 0 0 12 0 0 20 0 17 0 643455824 49463296 10389 18446744073709551615 134512640 135180984 4288719088 18446744073709551615 134675767 0 0 1 0 0 0 0 -1 2 0 0 0 0 0
[pid=11173/tid=11179] ppid=11171 vsize=48304 CPUtime=0.04
/proc/11173/task/11179/stat : 11179 (satake) S 11171 11173 27791 0 -1 4202560 467 0 0 0 0 4 0 0 20 0 17 0 643455824 49463296 10391 18446744073709551615 134512640 135180984 4288719088 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 9 0 0 0 0 0
[pid=11173/tid=11180] ppid=11171 vsize=48304 CPUtime=0.1
/proc/11173/task/11180/stat : 11180 (satake) S 11171 11173 27791 0 -1 4202560 917 0 0 0 0 10 0 0 20 0 17 0 643455824 49463296 10393 18446744073709551615 134512640 135180984 4288719088 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 10 0 0 0 0 0
[pid=11173/tid=11181] ppid=11171 vsize=48304 CPUtime=0.04
/proc/11173/task/11181/stat : 11181 (satake) R 11171 11173 27791 0 -1 4202560 506 0 0 0 0 4 0 0 20 0 17 0 643455824 49463296 10393 18446744073709551615 134512640 135180984 4288719088 18446744073709551615 134675767 0 0 1 0 0 0 0 -1 8 0 0 0 0 0
[pid=11173/tid=11182] ppid=11171 vsize=48304 CPUtime=0.04
/proc/11173/task/11182/stat : 11182 (satake) D 11171 11173 27791 0 -1 4202560 504 0 0 0 0 4 0 0 20 0 17 0 643455824 49463296 10393 18446744073709551615 134512640 135180984 4288719088 18446744073709551615 134691935 0 0 1 0 0 0 0 -1 10 0 0 0 0 0
[pid=11173/tid=11183] ppid=11171 vsize=48304 CPUtime=0.1
/proc/11173/task/11183/stat : 11183 (satake) D 11171 11173 27791 0 -1 4202560 867 0 0 0 2 8 0 0 20 0 17 0 643455824 49463296 10394 18446744073709551615 134512640 135180984 4288719088 18446744073709551615 134675767 0 0 1 0 0 0 0 -1 11 0 0 0 0 0
[pid=11173/tid=11184] ppid=11171 vsize=48304 CPUtime=0.04
/proc/11173/task/11184/stat : 11184 (satake) S 11171 11173 27791 0 -1 4202560 509 0 0 0 0 4 0 0 20 0 17 0 643455824 49463296 10394 18446744073709551615 134512640 135180984 4288719088 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 15 0 0 0 0 0
[pid=11173/tid=11185] ppid=11171 vsize=48304 CPUtime=0.06
/proc/11173/task/11185/stat : 11185 (satake) S 11171 11173 27791 0 -1 4202560 565 0 0 0 0 6 0 0 20 0 17 0 643455824 49463296 10395 18446744073709551615 134512640 135180984 4288719088 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 8 0 0 0 0 0
[pid=11173/tid=11186] ppid=11171 vsize=48304 CPUtime=0.06
/proc/11173/task/11186/stat : 11186 (satake) S 11171 11173 27791 0 -1 4202560 646 0 0 0 6 0 0 0 20 0 17 0 643455824 49463296 10395 18446744073709551615 134512640 135180984 4288719088 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 12 0 0 0 0 0
[pid=11173/tid=11187] ppid=11171 vsize=48304 CPUtime=0.08
/proc/11173/task/11187/stat : 11187 (satake) D 11171 11173 27791 0 -1 4202560 677 0 0 0 0 8 0 0 20 0 17 0 643455824 49463296 10398 18446744073709551615 134512640 135180984 4288719088 18446744073709551615 134675767 0 0 1 0 0 0 0 -1 12 0 0 0 0 0
[pid=11173/tid=11188] ppid=11171 vsize=48304 CPUtime=0.04
/proc/11173/task/11188/stat : 11188 (satake) S 11171 11173 27791 0 -1 4202560 488 0 0 0 0 4 0 0 20 0 17 0 643455825 49463296 10399 18446744073709551615 134512640 135180984 4288719088 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 9 0 0 0 0 0
[pid=11173/tid=11189] ppid=11171 vsize=48304 CPUtime=0.1
/proc/11173/task/11189/stat : 11189 (satake) R 11171 11173 27791 0 -1 4202560 831 0 0 0 2 8 0 0 20 0 17 0 643455825 49463296 10401 18446744073709551615 134512640 135180984 4288719088 18446744073709551615 134675767 0 0 1 0 0 0 0 -1 15 0 0 0 0 0
Current children cumulated CPU time (s) 1.2
Current children cumulated vsize (KiB) 48304

[startup+0.703269 s]
/proc/loadavg: 6.17 6.59 8.02 2/184 11173
/proc/meminfo: memFree=19126888/36427776 swapFree=5012/7668
[pid=11173] ppid=11171 vsize=73364 CPUtime=2.86
/proc/11173/stat : 11173 (satake) S 11171 11173 27791 0 -1 4202496 17693 0 0 0 128 158 0 0 20 0 17 0 643455824 75124736 15170 18446744073709551615 134512640 135180984 4288719088 18446744073709551615 134573496 0 0 1 0 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/11173/statm: 18341 15170 68 164 0 18176 0
[pid=11173/tid=11174] ppid=11171 vsize=73364 CPUtime=0.04
/proc/11173/task/11174/stat : 11174 (satake) D 11171 11173 27791 0 -1 4202560 39 0 0 0 0 4 0 0 20 0 17 0 643455824 75124736 15170 18446744073709551615 134512640 135180984 4288719088 18446744073709551615 134706407 0 0 1 0 0 0 0 -1 2 0 0 0 0 0
[pid=11173/tid=11175] ppid=11171 vsize=73364 CPUtime=0.28
/proc/11173/task/11175/stat : 11175 (satake) R 11171 11173 27791 0 -1 4202560 1284 0 0 0 16 12 0 0 20 0 17 0 643455824 75124736 15170 18446744073709551615 134512640 135180984 4288719088 18446744073709551615 134706407 0 0 1 0 0 0 0 -1 3 0 0 0 0 0
[pid=11173/tid=11176] ppid=11171 vsize=73364 CPUtime=0.2
/proc/11173/task/11176/stat : 11176 (satake) S 11171 11173 27791 0 -1 4202560 1257 0 0 0 10 10 0 0 20 0 17 0 643455824 75124736 15170 18446744073709551615 134512640 135180984 4288719088 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 6 0 0 0 0 0
[pid=11173/tid=11177] ppid=11171 vsize=73364 CPUtime=0.18
/proc/11173/task/11177/stat : 11177 (satake) S 11171 11173 27791 0 -1 4202560 1312 0 0 0 8 10 0 0 20 0 17 0 643455824 75124736 15170 18446744073709551615 134512640 135180984 4288719088 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 13 0 0 0 0 0
[pid=11173/tid=11178] ppid=11171 vsize=73364 CPUtime=0.28
/proc/11173/task/11178/stat : 11178 (satake) S 11171 11173 27791 0 -1 4202560 1283 0 0 0 14 14 0 0 20 0 17 0 643455824 75124736 15172 18446744073709551615 134512640 135180984 4288719088 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 2 0 0 0 0 0
[pid=11173/tid=11179] ppid=11171 vsize=73364 CPUtime=0.12
/proc/11173/task/11179/stat : 11179 (satake) R 11171 11173 27791 0 -1 4202560 967 0 0 0 4 8 0 0 20 0 17 0 643455824 75124736 15175 18446744073709551615 134512640 135180984 4288719088 18446744073709551615 134675846 0 0 1 0 0 0 0 -1 9 0 0 0 0 0
[pid=11173/tid=11180] ppid=11171 vsize=73364 CPUtime=0.3
/proc/11173/task/11180/stat : 11180 (satake) S 11171 11173 27791 0 -1 4202560 1257 0 0 0 18 12 0 0 20 0 17 0 643455824 75124736 15175 18446744073709551615 134512640 135180984 4288719088 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 10 0 0 0 0 0
[pid=11173/tid=11181] ppid=11171 vsize=73364 CPUtime=0.12
/proc/11173/task/11181/stat : 11181 (satake) D 11171 11173 27791 0 -1 4202560 1011 0 0 0 2 10 0 0 20 0 17 0 643455824 75124736 15175 18446744073709551615 134512640 135180984 4288719088 18446744073709551615 134702260 0 0 1 0 0 0 0 -1 8 0 0 0 0 0
[pid=11173/tid=11182] ppid=11171 vsize=73364 CPUtime=0.14
/proc/11173/task/11182/stat : 11182 (satake) R 11171 11173 27791 0 -1 4202560 1049 0 0 0 6 8 0 0 20 0 17 0 643455824 75124736 15175 18446744073709551615 134512640 135180984 4288719088 18446744073709551615 134675846 0 0 1 0 0 0 0 -1 10 0 0 0 0 0
[pid=11173/tid=11183] ppid=11171 vsize=73364 CPUtime=0.26

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

deleting IPC queue 1999044686
deleting IPC queue 1999077455
deleting IPC queue 1999110224
deleting IPC queue 1999142993
deleting IPC queue 1999175762
deleting IPC queue 1999208531
deleting IPC queue 1999241300
deleting IPC queue 1999274069
deleting IPC queue 1999306838
deleting IPC queue 1999339607
deleting IPC queue 1999372376
deleting IPC queue 1999405145
deleting IPC queue 1999437914
deleting IPC queue 1999470683
deleting IPC queue 1999503452
deleting IPC queue 1999536221
deleting IPC queue 1999568990
deleting IPC queue 1999601759
deleting IPC queue 1999634528
deleting IPC queue 1999667297
deleting IPC queue 1999700066
deleting IPC queue 1999732835
deleting IPC queue 1999765604
deleting IPC queue 1999798373
deleting IPC queue 1999831142
deleting IPC queue 1999863911
deleting IPC queue 1999896680
deleting IPC queue 1999929449
deleting IPC queue 1999962218
deleting IPC queue 1999994987
deleting IPC queue 2000027756
deleting IPC queue 2000060525
deleting IPC queue 2000093294
deleting IPC queue 2000126063
deleting IPC queue 2000158832
deleting IPC queue 2000191601
deleting IPC queue 2000224370
deleting IPC queue 2000257139
deleting IPC queue 2000289908
deleting IPC queue 2000322677
deleting IPC queue 2000355446
deleting IPC queue 2000388215
deleting IPC queue 2000420984
deleting IPC queue 2000453753
deleting IPC queue 2000486522
deleting IPC queue 2000519291
deleting IPC queue 2000552060
deleting IPC queue 2000584829
deleting IPC queue 2000617598
deleting IPC queue 2000650367
deleting IPC queue 2000683136
deleting IPC queue 2000715905
deleting IPC queue 2000748674
deleting IPC queue 2000781443
deleting IPC queue 2000814212
deleting IPC queue 2000846981
deleting IPC queue 2000879750
deleting IPC queue 2000912519
deleting IPC queue 2000945288
deleting IPC queue 2000978057
deleting IPC queue 2001010826
deleting IPC queue 2001043595
deleting IPC queue 2001076364
deleting IPC queue 2001109133
deleting IPC queue 2001141902
deleting IPC queue 2001174671
deleting IPC queue 2001207440
deleting IPC queue 2001240209
deleting IPC queue 2001272978
deleting IPC queue 2001305747
deleting IPC queue 2001338516
deleting IPC queue 2001371285
deleting IPC queue 2001404054
deleting IPC queue 2001436823
deleting IPC queue 2001469592
deleting IPC queue 2001502361
deleting IPC queue 2001535130
deleting IPC queue 2001567899
deleting IPC queue 2001600668
deleting IPC queue 2001633437
deleting IPC queue 2001666206
deleting IPC queue 2001698975
deleting IPC queue 2001731744
deleting IPC queue 2001764513
deleting IPC queue 2001797282
deleting IPC queue 2001830051
deleting IPC queue 2001862820
deleting IPC queue 2001895589
deleting IPC queue 2001928358
deleting IPC queue 2001961127
deleting IPC queue 2001993896
deleting IPC queue 2002026665
deleting IPC queue 2002059434
deleting IPC queue 2002092203
deleting IPC queue 2002124972
deleting IPC queue 2002157741
deleting IPC queue 2002190510
deleting IPC queue 2002223279
deleting IPC queue 2002256048
deleting IPC queue 2002288817
deleting IPC queue 2002321586
deleting IPC queue 2002354355
deleting IPC queue 2002387124
deleting IPC queue 2002419893
deleting IPC queue 2002452662
deleting IPC queue 2002485431
deleting IPC queue 2002518200
deleting IPC queue 2002550969
deleting IPC queue 2002583738
deleting IPC queue 2002616507
deleting IPC queue 2002649276
deleting IPC queue 2002682045
deleting IPC queue 2002714814
deleting IPC queue 2002747583
deleting IPC queue 2002780352
deleting IPC queue 2002813121
deleting IPC queue 2002845890
deleting IPC queue 2002878659
deleting IPC queue 2002911428
deleting IPC queue 2002944197
deleting IPC queue 2002976966
deleting IPC queue 2003009735
deleting IPC queue 2003042504
deleting IPC queue 2003075273
deleting IPC queue 2003108042
deleting IPC queue 2003140811
deleting IPC queue 2003173580
deleting IPC queue 2003206349
deleting IPC queue 2003239118
deleting IPC queue 2003271887
deleting IPC queue 2003304656
deleting IPC queue 2003337425
deleting IPC queue 2003370194
deleting IPC queue 2003402963
deleting IPC queue 2003435732
deleting IPC queue 2003468501
deleting IPC queue 2003501270
deleting IPC queue 2003534039
deleting IPC queue 2003566808
deleting IPC queue 2003599577
deleting IPC queue 2003632346
deleting IPC queue 2003665115
deleting IPC queue 2003697884
deleting IPC queue 2003730653
deleting IPC queue 2003763422
deleting IPC queue 2003796191
deleting IPC queue 2003828960
deleting IPC queue 2003861729
deleting IPC queue 2003894498
deleting IPC queue 2003927267
deleting IPC queue 2003960036
deleting IPC queue 2003992805
deleting IPC queue 2004025574
deleting IPC queue 2004058343
deleting IPC queue 2004091112
deleting IPC queue 2004123881
deleting IPC queue 2004156650
deleting IPC queue 2004189419
deleting IPC queue 2004222188
deleting IPC queue 2004254957
deleting IPC queue 2004287726
deleting IPC queue 2004320495
deleting IPC queue 2004353264
deleting IPC queue 2004386033
deleting IPC queue 2004418802
deleting IPC queue 2004451571
deleting IPC queue 2004484340
deleting IPC queue 2004517109
deleting IPC queue 2004549878
deleting IPC queue 2004582647
deleting IPC queue 2004615416
deleting IPC queue 2004648185
deleting IPC queue 2004680954
deleting IPC queue 2004713723
deleting IPC queue 2004746492
deleting IPC queue 2004779261
deleting IPC queue 2004812030
deleting IPC queue 2004844799

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 9796.6
system time used= 205.229
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 186206
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= 16991005
involuntary context switches= 6717693

runsolver used 3.62823 second user time and 11.1127 second system time

The end

Launcher Data 

Begin job on xenhost3-49 at 2009-06-12 23:18:15
IDJOB=1780782
IDBENCH=71066
IDSOLVER=631
FILE ID=xenhost3-49/1780782-1244841495
PBS_JOBID=
Free space on /tmp= 7027 MiB

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

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

MD5SUM BENCH= e868383f091c36fa9594c670095c9824
RANDOM SEED= 1729110649

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:      19126888 kB
Buffers:        435540 kB
Cached:       14113828 kB
SwapCached:          0 kB
Active:        4080976 kB
Inactive:     10476736 kB
SwapTotal:    25398692 kB
SwapFree:     25398692 kB
Dirty:            2028 kB
Writeback:           0 kB
AnonPages:        7668 kB
Mapped:           4348 kB
Slab:           689460 kB
SReclaimable:   662612 kB
SUnreclaim:      26848 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= 7027 MiB
End job on xenhost3-49 at 2009-06-12 23:31:23