Trace number 1779912

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) 1617.49 1000.06

General information on the benchmark

NameAPPLICATIONS/bioinfo/
q_query_3_l44_lambda.cnf
MD5SUMa7bc41b32260e4459b2bee7c18cacba1
Bench CategoryAPPLICATION (applications instances)
Best result obtained on this benchmarkUNSAT
Best CPU time to get the best result obtained on this benchmark385.17
Satisfiable
(Un)Satisfiability was proved
Number of variables31540
Number of clauses157264
Sum of the clauses size453246
Maximum clause length9
Minimum clause length1
Number of clauses of size 14112
Number of clauses of size 239373
Number of clauses of size 392004
Number of clauses of size 415027
Number of clauses of size 56616
Number of clauses of size over 5132

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

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


[startup+0 s]
/proc/loadavg: 2.33 2.53 4.04 2/184 7306
/proc/meminfo: memFree=19128388/36427776 swapFree=4120/8028
[pid=7306] ppid=7304 vsize=7940 CPUtime=0
/proc/7306/stat : 7306 (satake) R 7304 7306 27791 0 -1 4202496 396 0 0 0 0 0 0 0 20 0 14 0 640031046 8130560 353 18446744073709551615 134512640 135180984 4294590096 18446744073709551615 134702260 0 0 1 0 18446744073709551615 0 0 17 14 0 0 0 0 0
/proc/7306/statm: 1985 357 63 164 0 1820 0
[pid=7306/tid=7307] ppid=7304 vsize=8004 CPUtime=0
/proc/7306/task/7307/stat : 7307 (satake) S 7304 7306 27791 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 15 0 640031046 8196096 397 18446744073709551615 134512640 135180984 4294590096 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 15 0 0 0 0 0
[pid=7306/tid=7308] ppid=7304 vsize=8004 CPUtime=0
/proc/7306/task/7308/stat : 7308 (satake) D 7304 7306 27791 0 -1 4202560 55 0 0 0 0 0 0 0 20 0 15 0 640031046 8196096 397 18446744073709551615 134512640 135180984 4294590096 18446744073709551615 134706046 0 0 1 0 0 0 0 -1 0 0 0 0 0 0
[pid=7306/tid=7309] ppid=7304 vsize=8004 CPUtime=0
/proc/7306/task/7309/stat : 7309 (satake) D 7304 7306 27791 0 -1 4202560 50 0 0 0 0 0 0 0 20 0 15 0 640031046 8196096 397 18446744073709551615 134512640 135180984 4294590096 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 1 0 0 0 0 0
[pid=7306/tid=7310] ppid=7304 vsize=8004 CPUtime=0
/proc/7306/task/7310/stat : 7310 (satake) D 7304 7306 27791 0 -1 4202560 34 0 0 0 0 0 0 0 20 0 15 0 640031046 8196096 398 18446744073709551615 134512640 135180984 4294590096 18446744073709551615 134691935 0 0 1 0 0 0 0 -1 15 0 0 0 0 0
[pid=7306/tid=7311] ppid=7304 vsize=8004 CPUtime=0
/proc/7306/task/7311/stat : 7311 (satake) S 7304 7306 27791 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 15 0 640031046 8196096 398 18446744073709551615 134512640 135180984 4294590096 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 15 0 0 0 0 0
[pid=7306/tid=7312] ppid=7304 vsize=8132 CPUtime=0
/proc/7306/task/7312/stat : 7312 (satake) R 7304 7306 27791 0 -1 4202560 31 0 0 0 0 0 0 0 20 0 15 0 640031046 8327168 400 18446744073709551615 134512640 135180984 4294590096 18446744073709551615 134691935 0 0 1 0 0 0 0 -1 2 0 0 0 0 0
[pid=7306/tid=7313] ppid=7304 vsize=8132 CPUtime=0
/proc/7306/task/7313/stat : 7313 (satake) D 7304 7306 27791 0 -1 4202560 30 0 0 0 0 0 0 0 20 0 15 0 640031046 8327168 400 18446744073709551615 134512640 135180984 4294590096 18446744073709551615 134691935 0 0 1 0 0 0 0 -1 3 0 0 0 0 0
[pid=7306/tid=7314] ppid=7304 vsize=8132 CPUtime=0
/proc/7306/task/7314/stat : 7314 (satake) S 7304 7306 27791 0 -1 4202560 18 0 0 0 0 0 0 0 20 0 15 0 640031046 8327168 401 18446744073709551615 134512640 135180984 4294590096 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 1 0 0 0 0 0
[pid=7306/tid=7315] ppid=7304 vsize=8132 CPUtime=0
/proc/7306/task/7315/stat : 7315 (satake) R 7304 7306 27791 0 -1 4202560 25 0 0 0 0 0 0 0 20 0 15 0 640031046 8327168 406 18446744073709551615 134512640 135180984 4294590096 18446744073709551615 134691935 0 0 1 0 0 0 0 -1 4 0 0 0 0 0
[pid=7306/tid=7316] ppid=7304 vsize=8132 CPUtime=0
/proc/7306/task/7316/stat : 7316 (satake) S 7304 7306 27791 0 -1 4202560 18 0 0 0 0 0 0 0 20 0 15 0 640031047 8327168 408 18446744073709551615 134512640 135180984 4294590096 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 6 0 0 0 0 0
[pid=7306/tid=7317] ppid=7304 vsize=8132 CPUtime=0
/proc/7306/task/7317/stat : 7317 (satake) S 7304 7306 27791 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 16 0 640031047 8327168 408 18446744073709551615 134512640 135180984 4294590096 18446744073709551615 134579486 0 0 1 0 0 0 0 -1 5 0 0 0 0 0
[pid=7306/tid=7318] ppid=7304 vsize=8132 CPUtime=0
/proc/7306/task/7318/stat : 7318 (satake) R 7304 7306 27791 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 16 0 640031047 8327168 409 18446744073709551615 134512640 135180984 4294590096 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 5 0 0 0 0 0
[pid=7306/tid=7319] ppid=7304 vsize=8132 CPUtime=0
/proc/7306/task/7319/stat : 7319 (satake) R 7304 7306 27791 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 16 0 640031047 8327168 409 18446744073709551615 134512640 135180984 4294590096 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 6 0 0 0 0 0
[pid=7306/tid=7320] ppid=7304 vsize=8132 CPUtime=0
/proc/7306/task/7320/stat : 7320 (satake) D 7304 7306 27791 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 16 0 640031047 8327168 409 18446744073709551615 134512640 135180984 4294590096 18446744073709551615 134702083 0 0 1 0 0 0 0 -1 7 0 0 0 0 0
[pid=7306/tid=7321] ppid=7304 vsize=8132 CPUtime=0
/proc/7306/task/7321/stat : 7321 (satake) R 7304 7306 27791 0 -1 4202560 0 0 0 0 0 0 0 0 20 0 16 0 640031047 8327168 409 18446744073709551615 134512640 135180984 4294590096 18446744073709551615 134675846 0 0 1 0 0 0 0 -1 7 0 0 0 0 0

[startup+0.061164 s]
/proc/loadavg: 2.33 2.53 4.04 2/184 7306
/proc/meminfo: memFree=19128388/36427776 swapFree=4120/8028
[pid=7306] ppid=7304 vsize=30648 CPUtime=0.32
/proc/7306/stat : 7306 (satake) S 7304 7306 27791 0 -1 4202496 5026 0 0 0 2 30 0 0 20 0 17 0 640031046 31383552 4981 18446744073709551615 134512640 135180984 4294590096 18446744073709551615 134573496 0 0 1 0 18446744073709551615 0 0 17 14 0 0 0 0 0
/proc/7306/statm: 7629 4988 63 164 0 7464 0
[pid=7306/tid=7307] ppid=7304 vsize=30516 CPUtime=0
/proc/7306/task/7307/stat : 7307 (satake) S 7304 7306 27791 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 17 0 640031046 31248384 4988 18446744073709551615 134512640 135180984 4294590096 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 15 0 0 0 0 0
[pid=7306/tid=7308] ppid=7304 vsize=30516 CPUtime=0.02
/proc/7306/task/7308/stat : 7308 (satake) D 7304 7306 27791 0 -1 4202560 504 0 0 0 0 2 0 0 20 0 17 0 640031046 31248384 4989 18446744073709551615 134512640 135180984 4294590096 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 0 0 0 0 0 0
[pid=7306/tid=7309] ppid=7304 vsize=30516 CPUtime=0.02
/proc/7306/task/7309/stat : 7309 (satake) D 7304 7306 27791 0 -1 4202560 263 0 0 0 0 2 0 0 20 0 17 0 640031046 31248384 4989 18446744073709551615 134512640 135180984 4294590096 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 1 0 0 0 0 0
[pid=7306/tid=7310] ppid=7304 vsize=30516 CPUtime=0.02
/proc/7306/task/7310/stat : 7310 (satake) R 7304 7306 27791 0 -1 4202560 449 0 0 0 0 2 0 0 20 0 17 0 640031046 31248384 4990 18446744073709551615 134512640 135180984 4294590096 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 9 0 0 0 0 0
[pid=7306/tid=7311] ppid=7304 vsize=30516 CPUtime=0.02
/proc/7306/task/7311/stat : 7311 (satake) R 7304 7306 27791 0 -1 4202560 375 0 0 0 0 2 0 0 20 0 17 0 640031046 31248384 4990 18446744073709551615 134512640 135180984 4294590096 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 15 0 0 0 0 0
[pid=7306/tid=7312] ppid=7304 vsize=30516 CPUtime=0.04
/proc/7306/task/7312/stat : 7312 (satake) R 7304 7306 27791 0 -1 4202560 501 0 0 0 0 4 0 0 20 0 17 0 640031046 31248384 4991 18446744073709551615 134512640 135180984 4294590096 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 2 0 0 0 0 0
[pid=7306/tid=7313] ppid=7304 vsize=30516 CPUtime=0.02
/proc/7306/task/7313/stat : 7313 (satake) R 7304 7306 27791 0 -1 4202560 466 0 0 0 0 2 0 0 20 0 17 0 640031046 31248384 4991 18446744073709551615 134512640 135180984 4294590096 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 3 0 0 0 0 0
[pid=7306/tid=7314] ppid=7304 vsize=30516 CPUtime=0.02
/proc/7306/task/7314/stat : 7314 (satake) R 7304 7306 27791 0 -1 4202560 276 0 0 0 0 2 0 0 20 0 17 0 640031046 31248384 4991 18446744073709551615 134512640 135180984 4294590096 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 1 0 0 0 0 0
[pid=7306/tid=7315] ppid=7304 vsize=30516 CPUtime=0.02
/proc/7306/task/7315/stat : 7315 (satake) R 7304 7306 27791 0 -1 4202560 412 0 0 0 0 2 0 0 20 0 17 0 640031046 31248384 4991 18446744073709551615 134512640 135180984 4294590096 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 4 0 0 0 0 0
[pid=7306/tid=7316] ppid=7304 vsize=30516 CPUtime=0.02
/proc/7306/task/7316/stat : 7316 (satake) R 7304 7306 27791 0 -1 4202560 390 0 0 0 0 2 0 0 20 0 17 0 640031047 31248384 4991 18446744073709551615 134512640 135180984 4294590096 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 6 0 0 0 0 0
[pid=7306/tid=7317] ppid=7304 vsize=30516 CPUtime=0.02
/proc/7306/task/7317/stat : 7317 (satake) R 7304 7306 27791 0 -1 4202560 458 0 0 0 0 2 0 0 20 0 17 0 640031047 31248384 4991 18446744073709551615 134512640 135180984 4294590096 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 5 0 0 0 0 0
[pid=7306/tid=7318] ppid=7304 vsize=30516 CPUtime=0
/proc/7306/task/7318/stat : 7318 (satake) R 7304 7306 27791 0 -1 4202560 51 0 0 0 0 0 0 0 20 0 17 0 640031047 31248384 4994 18446744073709551615 134512640 135180984 4294590096 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 5 0 0 0 0 0
[pid=7306/tid=7319] ppid=7304 vsize=30516 CPUtime=0
/proc/7306/task/7319/stat : 7319 (satake) R 7304 7306 27791 0 -1 4202560 58 0 0 0 0 0 0 0 20 0 17 0 640031047 31248384 5027 18446744073709551615 134512640 135180984 4294590096 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 6 0 0 0 0 0
[pid=7306/tid=7320] ppid=7304 vsize=30516 CPUtime=0.02
/proc/7306/task/7320/stat : 7320 (satake) R 7304 7306 27791 0 -1 4202560 415 0 0 0 0 2 0 0 20 0 17 0 640031047 31248384 5092 18446744073709551615 134512640 135180984 4294590096 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 7 0 0 0 0 0
[pid=7306/tid=7321] ppid=7304 vsize=30516 CPUtime=0
/proc/7306/task/7321/stat : 7321 (satake) R 7304 7306 27791 0 -1 4202560 41 0 0 0 0 0 0 0 20 0 17 0 640031047 31248384 5112 18446744073709551615 134512640 135180984 4294590096 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 0.32
Current children cumulated vsize (KiB) 30648

[startup+0.106204 s]
/proc/loadavg: 2.33 2.53 4.04 2/184 7306
/proc/meminfo: memFree=19128388/36427776 swapFree=4120/8028
[pid=7306] ppid=7304 vsize=50884 CPUtime=0.71
/proc/7306/stat : 7306 (satake) S 7304 7306 27791 0 -1 4202496 8581 0 0 0 2 69 0 0 20 0 17 0 640031046 52105216 8536 18446744073709551615 134512640 135180984 4294590096 18446744073709551615 134573496 0 0 1 0 18446744073709551615 0 0 17 14 0 0 0 0 0
/proc/7306/statm: 12721 8537 63 164 0 12556 0
[pid=7306/tid=7307] ppid=7304 vsize=50884 CPUtime=0
/proc/7306/task/7307/stat : 7307 (satake) S 7304 7306 27791 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 17 0 640031046 52105216 8538 18446744073709551615 134512640 135180984 4294590096 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 15 0 0 0 0 0
[pid=7306/tid=7308] ppid=7304 vsize=50884 CPUtime=0.06
/proc/7306/task/7308/stat : 7308 (satake) R 7304 7306 27791 0 -1 4202560 753 0 0 0 0 6 0 0 20 0 17 0 640031046 52105216 8538 18446744073709551615 134512640 135180984 4294590096 18446744073709551615 134522959 0 0 1 0 0 0 0 -1 0 0 0 0 0 0
[pid=7306/tid=7309] ppid=7304 vsize=50884 CPUtime=0.04
/proc/7306/task/7309/stat : 7309 (satake) D 7304 7306 27791 0 -1 4202560 510 0 0 0 0 4 0 0 20 0 17 0 640031046 52105216 8541 18446744073709551615 134512640 135180984 4294590096 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 1 0 0 0 0 0
[pid=7306/tid=7310] ppid=7304 vsize=50884 CPUtime=0.06
/proc/7306/task/7310/stat : 7310 (satake) R 7304 7306 27791 0 -1 4202560 742 0 0 0 0 6 0 0 20 0 17 0 640031046 52105216 8541 18446744073709551615 134512640 135180984 4294590096 18446744073709551615 134579745 0 0 1 0 0 0 0 -1 9 0 0 0 0 0
[pid=7306/tid=7311] ppid=7304 vsize=50884 CPUtime=0.06
/proc/7306/task/7311/stat : 7311 (satake) D 7304 7306 27791 0 -1 4202560 633 0 0 0 0 6 0 0 20 0 17 0 640031046 52105216 8541 18446744073709551615 134512640 135180984 4294590096 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 15 0 0 0 0 0
[pid=7306/tid=7312] ppid=7304 vsize=50884 CPUtime=0.06
/proc/7306/task/7312/stat : 7312 (satake) D 7304 7306 27791 0 -1 4202560 820 0 0 0 0 6 0 0 20 0 17 0 640031046 52105216 8541 18446744073709551615 134512640 135180984 4294590096 18446744073709551615 134675846 0 0 1 0 0 0 0 -1 2 0 0 0 0 0
[pid=7306/tid=7313] ppid=7304 vsize=50884 CPUtime=0.06
/proc/7306/task/7313/stat : 7313 (satake) D 7304 7306 27791 0 -1 4202560 758 0 0 0 0 6 0 0 20 0 17 0 640031046 52105216 8541 18446744073709551615 134512640 135180984 4294590096 18446744073709551615 134691935 0 0 1 0 0 0 0 -1 3 0 0 0 0 0
[pid=7306/tid=7314] ppid=7304 vsize=50884 CPUtime=0.04
/proc/7306/task/7314/stat : 7314 (satake) R 7304 7306 27791 0 -1 4202560 532 0 0 0 0 4 0 0 20 0 17 0 640031046 52105216 8541 18446744073709551615 134512640 135180984 4294590096 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 12 0 0 0 0 0
[pid=7306/tid=7315] ppid=7304 vsize=50884 CPUtime=0.06
/proc/7306/task/7315/stat : 7315 (satake) D 7304 7306 27791 0 -1 4202560 723 0 0 0 0 6 0 0 20 0 17 0 640031046 52105216 8541 18446744073709551615 134512640 135180984 4294590096 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 4 0 0 0 0 0
[pid=7306/tid=7316] ppid=7304 vsize=50884 CPUtime=0.04
/proc/7306/task/7316/stat : 7316 (satake) D 7304 7306 27791 0 -1 4202560 611 0 0 0 0 4 0 0 20 0 17 0 640031047 52105216 8541 18446744073709551615 134512640 135180984 4294590096 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 6 0 0 0 0 0
[pid=7306/tid=7317] ppid=7304 vsize=50884 CPUtime=0.04
/proc/7306/task/7317/stat : 7317 (satake) S 7304 7306 27791 0 -1 4202560 739 0 0 0 0 4 0 0 20 0 17 0 640031047 52105216 8541 18446744073709551615 134512640 135180984 4294590096 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 5 0 0 0 0 0
[pid=7306/tid=7318] ppid=7304 vsize=50884 CPUtime=0
/proc/7306/task/7318/stat : 7318 (satake) D 7304 7306 27791 0 -1 4202560 135 0 0 0 0 0 0 0 20 0 17 0 640031047 52105216 8541 18446744073709551615 134512640 135180984 4294590096 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 5 0 0 0 0 0
[pid=7306/tid=7319] ppid=7304 vsize=50884 CPUtime=0.02
/proc/7306/task/7319/stat : 7319 (satake) D 7304 7306 27791 0 -1 4202560 146 0 0 0 0 2 0 0 20 0 17 0 640031047 52105216 8541 18446744073709551615 134512640 135180984 4294590096 18446744073709551615 134706046 0 0 1 0 0 0 0 -1 6 0 0 0 0 0
[pid=7306/tid=7320] ppid=7304 vsize=50884 CPUtime=0.04
/proc/7306/task/7320/stat : 7320 (satake) D 7304 7306 27791 0 -1 4202560 559 0 0 0 0 4 0 0 20 0 17 0 640031047 52105216 8541 18446744073709551615 134512640 135180984 4294590096 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 7 0 0 0 0 0
[pid=7306/tid=7321] ppid=7304 vsize=50884 CPUtime=0.02
/proc/7306/task/7321/stat : 7321 (satake) D 7304 7306 27791 0 -1 4202560 205 0 0 0 0 2 0 0 20 0 17 0 640031047 52105216 8541 18446744073709551615 134512640 135180984 4294590096 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 0.71
Current children cumulated vsize (KiB) 50884

[startup+0.305561 s]
/proc/loadavg: 2.33 2.53 4.04 2/184 7306
/proc/meminfo: memFree=19128388/36427776 swapFree=4120/8028
[pid=7306] ppid=7304 vsize=72452 CPUtime=1.7
/proc/7306/stat : 7306 (satake) S 7304 7306 27791 0 -1 4202496 15787 0 0 0 12 158 0 0 20 0 17 0 640031046 74190848 15742 18446744073709551615 134512640 135180984 4294590096 18446744073709551615 134573496 0 0 1 0 18446744073709551615 0 0 17 14 0 0 0 0 0
/proc/7306/statm: 18113 15742 63 164 0 17948 0
[pid=7306/tid=7307] ppid=7304 vsize=72452 CPUtime=0
/proc/7306/task/7307/stat : 7307 (satake) S 7304 7306 27791 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 17 0 640031046 74190848 15742 18446744073709551615 134512640 135180984 4294590096 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 15 0 0 0 0 0
[pid=7306/tid=7308] ppid=7304 vsize=72452 CPUtime=0.14
/proc/7306/task/7308/stat : 7308 (satake) D 7304 7306 27791 0 -1 4202560 1142 0 0 0 0 14 0 0 20 0 17 0 640031046 74190848 15742 18446744073709551615 134512640 135180984 4294590096 18446744073709551615 134520025 0 0 1 0 0 0 0 -1 0 0 0 0 0 0
[pid=7306/tid=7309] ppid=7304 vsize=72452 CPUtime=0.12
/proc/7306/task/7309/stat : 7309 (satake) D 7304 7306 27791 0 -1 4202560 1073 0 0 0 2 10 0 0 20 0 17 0 640031046 74190848 15742 18446744073709551615 134512640 135180984 4294590096 18446744073709551615 134675846 0 0 1 0 0 0 0 -1 1 0 0 0 0 0
[pid=7306/tid=7310] ppid=7304 vsize=72452 CPUtime=0.12
/proc/7306/task/7310/stat : 7310 (satake) D 7304 7306 27791 0 -1 4202560 1036 0 0 0 0 12 0 0 20 0 17 0 640031046 74190848 15742 18446744073709551615 134512640 135180984 4294590096 18446744073709551615 134675846 0 0 1 0 0 0 0 -1 9 0 0 0 0 0
[pid=7306/tid=7311] ppid=7304 vsize=72452 CPUtime=0.12
/proc/7306/task/7311/stat : 7311 (satake) S 7304 7306 27791 0 -1 4202560 1012 0 0 0 2 10 0 0 20 0 17 0 640031046 74190848 15742 18446744073709551615 134512640 135180984 4294590096 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 15 0 0 0 0 0
[pid=7306/tid=7312] ppid=7304 vsize=72452 CPUtime=0.16
/proc/7306/task/7312/stat : 7312 (satake) D 7304 7306 27791 0 -1 4202560 1417 0 0 0 2 14 0 0 20 0 17 0 640031046 74190848 15742 18446744073709551615 134512640 135180984 4294590096 18446744073709551615 134522388 0 0 1 0 0 0 0 -1 2 0 0 0 0 0
[pid=7306/tid=7313] ppid=7304 vsize=72452 CPUtime=0.14
/proc/7306/task/7313/stat : 7313 (satake) S 7304 7306 27791 0 -1 4202560 1110 0 0 0 0 14 0 0 20 0 17 0 640031046 74190848 15742 18446744073709551615 134512640 135180984 4294590096 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 3 0 0 0 0 0
[pid=7306/tid=7314] ppid=7304 vsize=72452 CPUtime=0.12
/proc/7306/task/7314/stat : 7314 (satake) R 7304 7306 27791 0 -1 4202560 1121 0 0 0 0 12 0 0 20 0 17 0 640031046 74190848 15742 18446744073709551615 134512640 135180984 4294590096 18446744073709551615 134691935 0 0 1 0 0 0 0 -1 12 0 0 0 0 0
[pid=7306/tid=7315] ppid=7304 vsize=72452 CPUtime=0.14
/proc/7306/task/7315/stat : 7315 (satake) D 7304 7306 27791 0 -1 4202560 1085 0 0 0 2 12 0 0 20 0 17 0 640031046 74190848 15742 18446744073709551615 134512640 135180984 4294590096 18446744073709551615 134522598 0 0 1 0 0 0 0 -1 4 0 0 0 0 0
[pid=7306/tid=7316] ppid=7304 vsize=72452 CPUtime=0.1
/proc/7306/task/7316/stat : 7316 (satake) S 7304 7306 27791 0 -1 4202560 1014 0 0 0 0 10 0 0 20 0 17 0 640031047 74190848 15742 18446744073709551615 134512640 135180984 4294590096 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 6 0 0 0 0 0
[pid=7306/tid=7317] ppid=7304 vsize=72452 CPUtime=0.08
/proc/7306/task/7317/stat : 7317 (satake) D 7304 7306 27791 0 -1 4202560 1052 0 0 0 0 8 0 0 20 0 17 0 640031047 74190848 15742 18446744073709551615 134512640 135180984 4294590096 18446744073709551615 134702260 0 0 1 0 0 0 0 -1 5 0 0 0 0 0
[pid=7306/tid=7318] ppid=7304 vsize=72452 CPUtime=0.08
/proc/7306/task/7318/stat : 7318 (satake) S 7304 7306 27791 0 -1 4202560 873 0 0 0 0 8 0 0 20 0 17 0 640031047 74190848 15742 18446744073709551615 134512640 135180984 4294590096 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 5 0 0 0 0 0
[pid=7306/tid=7319] ppid=7304 vsize=72452 CPUtime=0.06
/proc/7306/task/7319/stat : 7319 (satake) S 7304 7306 27791 0 -1 4202560 877 0 0 0 0 6 0 0 20 0 17 0 640031047 74190848 15742 18446744073709551615 134512640 135180984 4294590096 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 6 0 0 0 0 0
[pid=7306/tid=7320] ppid=7304 vsize=72452 CPUtime=0.08
/proc/7306/task/7320/stat : 7320 (satake) S 7304 7306 27791 0 -1 4202560 919 0 0 0 0 8 0 0 20 0 17 0 640031047 74190848 15742 18446744073709551615 134512640 135180984 4294590096 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 7 0 0 0 0 0
[pid=7306/tid=7321] ppid=7304 vsize=72452 CPUtime=0.06
/proc/7306/task/7321/stat : 7321 (satake) D 7304 7306 27791 0 -1 4202560 913 0 0 0 0 6 0 0 20 0 17 0 640031047 74190848 15742 18446744073709551615 134512640 135180984 4294590096 18446744073709551615 134702260 0 0 1 0 0 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 1.7
Current children cumulated vsize (KiB) 72452

[startup+0.705105 s]
/proc/loadavg: 2.33 2.53 4.04 2/184 7306
/proc/meminfo: memFree=19128388/36427776 swapFree=4120/8028
[pid=7306] ppid=7304 vsize=123228 CPUtime=3.45
/proc/7306/stat : 7306 (satake) S 7304 7306 27791 0 -1 4202496 26663 0 0 0 81 264 0 0 20 0 17 0 640031046 126185472 26618 18446744073709551615 134512640 135180984 4294590096 18446744073709551615 134573496 0 0 1 0 18446744073709551615 0 0 17 14 0 0 0 0 0
/proc/7306/statm: 30807 26628 63 164 0 30642 0
[pid=7306/tid=7307] ppid=7304 vsize=123228 CPUtime=0
/proc/7306/task/7307/stat : 7307 (satake) S 7304 7306 27791 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 17 0 640031046 126185472 26628 18446744073709551615 134512640 135180984 4294590096 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 15 0 0 0 0 0
[pid=7306/tid=7308] ppid=7304 vsize=123360 CPUtime=0.24
/proc/7306/task/7308/stat : 7308 (satake) S 7304 7306 27791 0 -1 4202560 1917 0 0 0 4 20 0 0 20 0 17 0 640031046 126320640 26628 18446744073709551615 134512640 135180984 4294590096 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 0 0 0 0 0 0
[pid=7306/tid=7309] ppid=7304 vsize=123360 CPUtime=0.24
/proc/7306/task/7309/stat : 7309 (satake) D 7304 7306 27791 0 -1 4202560 1883 0 0 0 4 20 0 0 20 0 17 0 640031046 126320640 26628 18446744073709551615 134512640 135180984 4294590096 18446744073709551615 134702260 0 0 1 0 0 0 0 -1 1 0 0 0 0 0
[pid=7306/tid=7310] ppid=7304 vsize=123360 CPUtime=0.26
/proc/7306/task/7310/stat : 7310 (satake) R 7304 7306 27791 0 -1 4202560 1908 0 0 0 4 22 0 0 20 0 17 0 640031046 126320640 26630 18446744073709551615 134512640 135180984 4294590096 18446744073709551615 134579486 0 0 1 0 0 0 0 -1 9 0 0 0 0 0
[pid=7306/tid=7311] ppid=7304 vsize=123360 CPUtime=0.24
/proc/7306/task/7311/stat : 7311 (satake) S 7304 7306 27791 0 -1 4202560 1615 0 0 0 6 18 0 0 20 0 17 0 640031046 126320640 26630 18446744073709551615 134512640 135180984 4294590096 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 15 0 0 0 0 0
[pid=7306/tid=7312] ppid=7304 vsize=123360 CPUtime=0.3
/proc/7306/task/7312/stat : 7312 (satake) S 7304 7306 27791 0 -1 4202560 2277 0 0 0 6 24 0 0 20 0 17 0 640031046 126320640 26633 18446744073709551615 134512640 135180984 4294590096 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 2 0 0 0 0 0
[pid=7306/tid=7313] ppid=7304 vsize=123360 CPUtime=0.26
/proc/7306/task/7313/stat : 7313 (satake) R 7304 7306 27791 0 -1 4202560 1879 0 0 0 8 18 0 0 20 0 17 0 640031046 126320640 26634 18446744073709551615 134512640 135180984 4294590096 18446744073709551615 134522268 0 0 1 0 0 0 0 -1 3 0 0 0 0 0
[pid=7306/tid=7314] ppid=7304 vsize=123360 CPUtime=0.24
/proc/7306/task/7314/stat : 7314 (satake) S 7304 7306 27791 0 -1 4202560 1927 0 0 0 2 22 0 0 20 0 17 0 640031046 126320640 26634 18446744073709551615 134512640 135180984 4294590096 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 12 0 0 0 0 0
[pid=7306/tid=7315] ppid=7304 vsize=123360 CPUtime=0.26
/proc/7306/task/7315/stat : 7315 (satake) R 7304 7306 27791 0 -1 4202560 1869 0 0 0 8 18 0 0 20 0 17 0 640031046 126320640 26634 18446744073709551615 134512640 135180984 4294590096 18446744073709551615 134522388 0 0 1 0 0 0 0 -1 4 0 0 0 0 0
[pid=7306/tid=7316] ppid=7304 vsize=123360 CPUtime=0.22
/proc/7306/task/7316/stat : 7316 (satake) R 7304 7306 27791 0 -1 4202560 1753 0 0 0 6 16 0 0 20 0 17 0 640031047 126320640 26634 18446744073709551615 134512640 135180984 4294590096 18446744073709551615 134691935 0 0 1 0 0 0 0 -1 6 0 0 0 0 0
[pid=7306/tid=7317] ppid=7304 vsize=123360 CPUtime=0.18
/proc/7306/task/7317/stat : 7317 (satake) S 7304 7306 27791 0 -1 4202560 1652 0 0 0 4 14 0 0 20 0 17 0 640031047 126320640 26635 18446744073709551615 134512640 135180984 4294590096 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 5 0 0 0 0 0
[pid=7306/tid=7318] ppid=7304 vsize=123360 CPUtime=0.18
/proc/7306/task/7318/stat : 7318 (satake) R 7304 7306 27791 0 -1 4202560 1570 0 0 0 2 16 0 0 20 0 17 0 640031047 126320640 26638 18446744073709551615 134512640 135180984 4294590096 18446744073709551615 134579486 0 0 1 0 0 0 0 -1 5 0 0 0 0 0
[pid=7306/tid=7319] ppid=7304 vsize=123360 CPUtime=0.14
/proc/7306/task/7319/stat : 7319 (satake) S 7304 7306 27791 0 -1 4202560 1443 0 0 0 4 10 0 0 20 0 17 0 640031047 126320640 26640 18446744073709551615 134512640 135180984 4294590096 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 6 0 0 0 0 0
[pid=7306/tid=7320] ppid=7304 vsize=123360 CPUtime=0.2

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

deleting IPC queue 1512505422
deleting IPC queue 1512538191
deleting IPC queue 1512570960
deleting IPC queue 1512603729
deleting IPC queue 1512636498
deleting IPC queue 1512669267
deleting IPC queue 1512702036
deleting IPC queue 1512734805
deleting IPC queue 1512767574
deleting IPC queue 1512800343
deleting IPC queue 1512833112
deleting IPC queue 1512865881
deleting IPC queue 1512898650
deleting IPC queue 1512931419
deleting IPC queue 1512964188
deleting IPC queue 1512996957
deleting IPC queue 1513029726
deleting IPC queue 1513062495
deleting IPC queue 1513095264
deleting IPC queue 1513128033
deleting IPC queue 1513160802
deleting IPC queue 1513193571
deleting IPC queue 1513226340
deleting IPC queue 1513259109
deleting IPC queue 1513291878
deleting IPC queue 1513324647
deleting IPC queue 1513357416
deleting IPC queue 1513390185
deleting IPC queue 1513422954
deleting IPC queue 1513455723
deleting IPC queue 1513488492
deleting IPC queue 1513521261
deleting IPC queue 1513554030
deleting IPC queue 1513586799
deleting IPC queue 1513619568
deleting IPC queue 1513652337
deleting IPC queue 1513685106
deleting IPC queue 1513717875
deleting IPC queue 1513750644
deleting IPC queue 1513783413
deleting IPC queue 1513816182
deleting IPC queue 1513848951
deleting IPC queue 1513881720
deleting IPC queue 1513914489
deleting IPC queue 1513947258
deleting IPC queue 1513980027
deleting IPC queue 1514012796
deleting IPC queue 1514045565
deleting IPC queue 1514078334
deleting IPC queue 1514111103
deleting IPC queue 1514143872
deleting IPC queue 1514176641
deleting IPC queue 1514209410
deleting IPC queue 1514242179
deleting IPC queue 1514274948
deleting IPC queue 1514307717
deleting IPC queue 1514340486
deleting IPC queue 1514373255
deleting IPC queue 1514406024
deleting IPC queue 1514438793
deleting IPC queue 1514471562
deleting IPC queue 1514504331
deleting IPC queue 1514537100
deleting IPC queue 1514569869
deleting IPC queue 1514602638
deleting IPC queue 1514635407
deleting IPC queue 1514668176
deleting IPC queue 1514700945
deleting IPC queue 1514733714
deleting IPC queue 1514766483
deleting IPC queue 1514799252
deleting IPC queue 1514832021
deleting IPC queue 1514864790
deleting IPC queue 1514897559
deleting IPC queue 1514930328
deleting IPC queue 1514963097
deleting IPC queue 1514995866
deleting IPC queue 1515028635
deleting IPC queue 1515061404
deleting IPC queue 1515094173
deleting IPC queue 1515126942
deleting IPC queue 1515159711
deleting IPC queue 1515192480
deleting IPC queue 1515225249
deleting IPC queue 1515258018
deleting IPC queue 1515290787
deleting IPC queue 1515323556
deleting IPC queue 1515356325
deleting IPC queue 1515389094
deleting IPC queue 1515421863
deleting IPC queue 1515454632
deleting IPC queue 1515487401
deleting IPC queue 1515520170
deleting IPC queue 1515552939
deleting IPC queue 1515585708
deleting IPC queue 1515618477
deleting IPC queue 1515651246
deleting IPC queue 1515684015
deleting IPC queue 1515716784
deleting IPC queue 1515749553
deleting IPC queue 1515782322
deleting IPC queue 1515815091
deleting IPC queue 1515847860
deleting IPC queue 1515880629
deleting IPC queue 1515913398
deleting IPC queue 1515946167
deleting IPC queue 1515978936
deleting IPC queue 1516011705
deleting IPC queue 1516044474
deleting IPC queue 1516077243
deleting IPC queue 1516110012
deleting IPC queue 1516142781
deleting IPC queue 1516175550
deleting IPC queue 1516208319
deleting IPC queue 1516241088
deleting IPC queue 1516273857
deleting IPC queue 1516306626
deleting IPC queue 1516339395
deleting IPC queue 1516372164
deleting IPC queue 1516404933
deleting IPC queue 1516437702
deleting IPC queue 1516470471
deleting IPC queue 1516503240
deleting IPC queue 1516536009
deleting IPC queue 1516568778
deleting IPC queue 1516601547
deleting IPC queue 1516634316
deleting IPC queue 1516667085
deleting IPC queue 1516699854
deleting IPC queue 1516732623
deleting IPC queue 1516765392
deleting IPC queue 1516798161
deleting IPC queue 1516830930
deleting IPC queue 1516863699
deleting IPC queue 1516896468
deleting IPC queue 1516929237
deleting IPC queue 1516962006
deleting IPC queue 1516994775
deleting IPC queue 1517027544
deleting IPC queue 1517060313
deleting IPC queue 1517093082
deleting IPC queue 1517125851
deleting IPC queue 1517158620
deleting IPC queue 1517191389
deleting IPC queue 1517224158
deleting IPC queue 1517256927
deleting IPC queue 1517289696
deleting IPC queue 1517322465
deleting IPC queue 1517355234
deleting IPC queue 1517388003
deleting IPC queue 1517420772
deleting IPC queue 1517453541
deleting IPC queue 1517486310
deleting IPC queue 1517519079
deleting IPC queue 1517551848
deleting IPC queue 1517584617
deleting IPC queue 1517617386
deleting IPC queue 1517650155
deleting IPC queue 1517682924
deleting IPC queue 1517715693
deleting IPC queue 1517748462
deleting IPC queue 1517781231
deleting IPC queue 1517814000
deleting IPC queue 1517846769
deleting IPC queue 1517879538
deleting IPC queue 1517912307
deleting IPC queue 1517945076
deleting IPC queue 1517977845
deleting IPC queue 1518010614
deleting IPC queue 1518043383
deleting IPC queue 1518076152
deleting IPC queue 1518108921
deleting IPC queue 1518141690
deleting IPC queue 1518174459
deleting IPC queue 1518207228
deleting IPC queue 1518239997
deleting IPC queue 1518272766
deleting IPC queue 1518305535

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 914.629
system time used= 702.856
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 110118
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= 62741727
involuntary context switches= 5746128

runsolver used 4.32027 second user time and 10.9607 second system time

The end

Launcher Data 

Begin job on xenhost3-49 at 2009-06-12 13:47:27
IDJOB=1779912
IDBENCH=70940
IDSOLVER=631
FILE ID=xenhost3-49/1779912-1244807247
PBS_JOBID=
Free space on /tmp= 7029 MiB

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

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

MD5SUM BENCH= a7bc41b32260e4459b2bee7c18cacba1
RANDOM SEED= 227184918

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:      19128388 kB
Buffers:        434004 kB
Cached:       14112012 kB
SwapCached:          0 kB
Active:        4079312 kB
Inactive:     10474712 kB
SwapTotal:    25398692 kB
SwapFree:     25398692 kB
Dirty:            3524 kB
Writeback:           0 kB
AnonPages:        8028 kB
Mapped:           4120 kB
Slab:           688376 kB
SReclaimable:   661628 kB
SUnreclaim:      26748 kB
PageTables:          0 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
WritebackTmp:        0 kB
CommitLimit:  43612580 kB
Committed_AS:    29732 kB
VmallocTotal: 34359738367 kB
VmallocUsed:    275248 kB
VmallocChunk: 34359462839 kB
DirectMap4k:  99216660 kB
DirectMap2M:         0 kB

Free space on /tmp at the end= 7029 MiB
End job on xenhost3-49 at 2009-06-12 14:04:09