Trace number 1779132

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) 1464.46 1000.09

General information on the benchmark

NameAPPLICATIONS/bitverif/countbitsarray/
countbitsarray32_32.cnf
MD5SUMb7a07371a2da4a8c8bef63c213dd1e15
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 variables72202
Number of clauses213533
Sum of the clauses size498241
Maximum clause length3
Minimum clause length1
Number of clauses of size 12
Number of clauses of size 2142354
Number of clauses of size 371177
Number of clauses of size 40
Number of clauses of size 50
Number of clauses of size over 50

Solver Data


Verifier Data 

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

Watcher Data 

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

command line: runsolver --timestamp -w /tmp/evaluation-result-1779132-1244783276/watcher-1779132-1244783276 -o /tmp/evaluation-result-1779132-1244783276/solver-1779132-1244783276 -C 10000 -W 1000 -M 2047 --output-limit 1,15 --cleanup-all-ipc-queues HOME/satake HOME/instance-1779132-1244783276.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.38 2.32 2.84 2/184 3988
/proc/meminfo: memFree=19138088/36427776 swapFree=3948/8632
[pid=3988] ppid=3986 vsize=8012 CPUtime=0
/proc/3988/stat : 3988 (satake) R 3986 3988 27791 0 -1 4202496 507 0 0 0 0 0 0 0 20 0 13 0 637633975 8204288 463 18446744073709551615 134512640 135180984 4289565120 18446744073709551615 134568552 0 0 1 0 18446744073709551615 0 0 17 10 0 0 0 0 0
/proc/3988/statm: 2003 465 63 164 0 1838 0
[pid=3988/tid=3989] ppid=3986 vsize=10128 CPUtime=0
/proc/3988/task/3989/stat : 3989 (satake) S 3986 3988 27791 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 14 0 637633975 10371072 592 18446744073709551615 134512640 135180984 4289565120 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 11 0 0 0 0 0
[pid=3988/tid=3990] ppid=3986 vsize=10384 CPUtime=0
/proc/3988/task/3990/stat : 3990 (satake) R 3986 3988 27791 0 -1 4202560 88 0 0 0 0 0 0 0 20 0 14 0 637633975 10633216 592 18446744073709551615 134512640 135180984 4289565120 18446744073709551615 134706046 0 0 1 0 0 0 0 -1 12 0 0 0 0 0
[pid=3988/tid=3991] ppid=3986 vsize=10384 CPUtime=0
/proc/3988/task/3991/stat : 3991 (satake) R 3986 3988 27791 0 -1 4202560 64 0 0 0 0 0 0 0 20 0 14 0 637633975 10633216 597 18446744073709551615 134512640 135180984 4289565120 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 10 0 0 0 0 0
[pid=3988/tid=3992] ppid=3986 vsize=10384 CPUtime=0
/proc/3988/task/3992/stat : 3992 (satake) R 3986 3988 27791 0 -1 4202560 80 0 0 0 0 0 0 0 20 0 14 0 637633976 10633216 599 18446744073709551615 134512640 135180984 4289565120 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 13 0 0 0 0 0
[pid=3988/tid=3993] ppid=3986 vsize=10384 CPUtime=0
/proc/3988/task/3993/stat : 3993 (satake) D 3986 3988 27791 0 -1 4202560 50 0 0 0 0 0 0 0 20 0 14 0 637633976 10633216 599 18446744073709551615 134512640 135180984 4289565120 18446744073709551615 134706046 0 0 1 0 0 0 0 -1 10 0 0 0 0 0
[pid=3988/tid=3994] ppid=3986 vsize=10384 CPUtime=0
/proc/3988/task/3994/stat : 3994 (satake) R 3986 3988 27791 0 -1 4202560 67 0 0 0 0 0 0 0 20 0 14 0 637633976 10633216 599 18446744073709551615 134512640 135180984 4289565120 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 14 0 0 0 0 0
[pid=3988/tid=3995] ppid=3986 vsize=10384 CPUtime=0
/proc/3988/task/3995/stat : 3995 (satake) R 3986 3988 27791 0 -1 4202560 66 0 0 0 0 0 0 0 20 0 14 0 637633976 10633216 599 18446744073709551615 134512640 135180984 4289565120 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 11 0 0 0 0 0
[pid=3988/tid=3996] ppid=3986 vsize=10384 CPUtime=0
/proc/3988/task/3996/stat : 3996 (satake) R 3986 3988 27791 0 -1 4202560 33 0 0 0 0 0 0 0 20 0 14 0 637633976 10633216 599 18446744073709551615 134512640 135180984 4289565120 18446744073709551615 134691935 0 0 1 0 0 0 0 -1 15 0 0 0 0 0
[pid=3988/tid=3997] ppid=3986 vsize=10384 CPUtime=0
/proc/3988/task/3997/stat : 3997 (satake) R 3986 3988 27791 0 -1 4202560 15 0 0 0 0 0 0 0 20 0 14 0 637633976 10633216 599 18446744073709551615 134512640 135180984 4289565120 18446744073709551615 134691935 0 0 1 0 0 0 0 -1 11 0 0 0 0 0
[pid=3988/tid=3998] ppid=3986 vsize=10384 CPUtime=0
/proc/3988/task/3998/stat : 3998 (satake) D 3986 3988 27791 0 -1 4202560 35 0 0 0 0 0 0 0 20 0 14 0 637633976 10633216 599 18446744073709551615 134512640 135180984 4289565120 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 0 0 0 0 0 0
[pid=3988/tid=3999] ppid=3986 vsize=10384 CPUtime=0
/proc/3988/task/3999/stat : 3999 (satake) D 3986 3988 27791 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 14 0 637633976 10633216 600 18446744073709551615 134512640 135180984 4289565120 18446744073709551615 134691935 0 0 1 0 0 0 0 -1 0 0 0 0 0 0
[pid=3988/tid=4000] ppid=3986 vsize=10384 CPUtime=0
/proc/3988/task/4000/stat : 4000 (satake) D 3986 3988 27791 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 14 0 637633976 10633216 600 18446744073709551615 134512640 135180984 4289565120 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 1 0 0 0 0 0
[pid=3988/tid=4001] ppid=3986 vsize=10512 CPUtime=0
/proc/3988/task/4001/stat : 4001 (satake) R 3986 3988 27791 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 14 0 637633976 10764288 600 18446744073709551615 134512640 135180984 4289565120 18446744073709551615 134702260 0 0 1 0 0 0 0 -1 2 0 0 0 0 0

[startup+0.080851 s]
/proc/loadavg: 2.38 2.32 2.84 2/184 3988
/proc/meminfo: memFree=19138088/36427776 swapFree=3948/8632
[pid=3988] ppid=3986 vsize=49972 CPUtime=0.49
/proc/3988/stat : 3988 (satake) S 3986 3988 27791 0 -1 4202496 7088 0 0 0 2 47 0 0 20 0 17 0 637633975 51171328 7051 18446744073709551615 134512640 135180984 4289565120 18446744073709551615 134573496 0 0 1 0 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/3988/statm: 12493 7091 63 164 0 12328 0
[pid=3988/tid=3989] ppid=3986 vsize=49972 CPUtime=0
/proc/3988/task/3989/stat : 3989 (satake) S 3986 3988 27791 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 17 0 637633975 51171328 7115 18446744073709551615 134512640 135180984 4289565120 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 11 0 0 0 0 0
[pid=3988/tid=3990] ppid=3986 vsize=49972 CPUtime=0.04
/proc/3988/task/3990/stat : 3990 (satake) R 3986 3988 27791 0 -1 4202560 676 0 0 0 0 4 0 0 20 0 17 0 637633975 51171328 7141 18446744073709551615 134512640 135180984 4289565120 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 12 0 0 0 0 0
[pid=3988/tid=3991] ppid=3986 vsize=49972 CPUtime=0
/proc/3988/task/3991/stat : 3991 (satake) R 3986 3988 27791 0 -1 4202560 184 0 0 0 0 0 0 0 20 0 17 0 637633975 51171328 7154 18446744073709551615 134512640 135180984 4289565120 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 10 0 0 0 0 0
[pid=3988/tid=3992] ppid=3986 vsize=49972 CPUtime=0.04
/proc/3988/task/3992/stat : 3992 (satake) R 3986 3988 27791 0 -1 4202560 615 0 0 0 0 4 0 0 20 0 17 0 637633976 51171328 7167 18446744073709551615 134512640 135180984 4289565120 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 13 0 0 0 0 0
[pid=3988/tid=3993] ppid=3986 vsize=49972 CPUtime=0.04
/proc/3988/task/3993/stat : 3993 (satake) R 3986 3988 27791 0 -1 4202560 461 0 0 0 0 4 0 0 20 0 17 0 637633976 51171328 7177 18446744073709551615 134512640 135180984 4289565120 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 10 0 0 0 0 0
[pid=3988/tid=3994] ppid=3986 vsize=49972 CPUtime=0.04
/proc/3988/task/3994/stat : 3994 (satake) R 3986 3988 27791 0 -1 4202560 628 0 0 0 0 4 0 0 20 0 17 0 637633976 51171328 7197 18446744073709551615 134512640 135180984 4289565120 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 14 0 0 0 0 0
[pid=3988/tid=3995] ppid=3986 vsize=49972 CPUtime=0.04
/proc/3988/task/3995/stat : 3995 (satake) R 3986 3988 27791 0 -1 4202560 666 0 0 0 0 4 0 0 20 0 17 0 637633976 51171328 7211 18446744073709551615 134512640 135180984 4289565120 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 11 0 0 0 0 0
[pid=3988/tid=3996] ppid=3986 vsize=49972 CPUtime=0.04
/proc/3988/task/3996/stat : 3996 (satake) R 3986 3988 27791 0 -1 4202560 659 0 0 0 0 4 0 0 20 0 17 0 637633976 51171328 7226 18446744073709551615 134512640 135180984 4289565120 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 15 0 0 0 0 0
[pid=3988/tid=3997] ppid=3986 vsize=49972 CPUtime=0.02
/proc/3988/task/3997/stat : 3997 (satake) R 3986 3988 27791 0 -1 4202560 268 0 0 0 0 2 0 0 20 0 17 0 637633976 51171328 7250 18446744073709551615 134512640 135180984 4289565120 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 2 0 0 0 0 0
[pid=3988/tid=3998] ppid=3986 vsize=49972 CPUtime=0.04
/proc/3988/task/3998/stat : 3998 (satake) R 3986 3988 27791 0 -1 4202560 474 0 0 0 0 4 0 0 20 0 17 0 637633976 51171328 7276 18446744073709551615 134512640 135180984 4289565120 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 0 0 0 0 0 0
[pid=3988/tid=3999] ppid=3986 vsize=49972 CPUtime=0
/proc/3988/task/3999/stat : 3999 (satake) D 3986 3988 27791 0 -1 4202560 129 0 0 0 0 0 0 0 20 0 17 0 637633976 51171328 7279 18446744073709551615 134512640 135180984 4289565120 18446744073709551615 134706046 0 0 1 0 0 0 0 -1 0 0 0 0 0 0
[pid=3988/tid=4000] ppid=3986 vsize=49972 CPUtime=0.04
/proc/3988/task/4000/stat : 4000 (satake) D 3986 3988 27791 0 -1 4202560 637 0 0 0 0 4 0 0 20 0 17 0 637633976 51171328 7280 18446744073709551615 134512640 135180984 4289565120 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 1 0 0 0 0 0
[pid=3988/tid=4001] ppid=3986 vsize=49972 CPUtime=0.02
/proc/3988/task/4001/stat : 4001 (satake) D 3986 3988 27791 0 -1 4202560 409 0 0 0 2 0 0 0 20 0 17 0 637633976 51171328 7280 18446744073709551615 134512640 135180984 4289565120 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 0.49
Current children cumulated vsize (KiB) 49972

[startup+0.105188 s]
/proc/loadavg: 2.38 2.32 2.84 2/184 3988
/proc/meminfo: memFree=19138088/36427776 swapFree=3948/8632
[pid=3988] ppid=3986 vsize=57472 CPUtime=0.72
/proc/3988/stat : 3988 (satake) S 3986 3988 27791 0 -1 4202496 9502 0 0 0 2 70 0 0 20 0 17 0 637633975 58851328 9458 18446744073709551615 134512640 135180984 4289565120 18446744073709551615 134573496 0 0 1 0 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/3988/statm: 14368 9458 63 164 0 14203 0
[pid=3988/tid=3989] ppid=3986 vsize=57472 CPUtime=0
/proc/3988/task/3989/stat : 3989 (satake) S 3986 3988 27791 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 17 0 637633975 58851328 9458 18446744073709551615 134512640 135180984 4289565120 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 11 0 0 0 0 0
[pid=3988/tid=3990] ppid=3986 vsize=57472 CPUtime=0.06
/proc/3988/task/3990/stat : 3990 (satake) D 3986 3988 27791 0 -1 4202560 853 0 0 0 0 6 0 0 20 0 17 0 637633975 58851328 9458 18446744073709551615 134512640 135180984 4289565120 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 12 0 0 0 0 0
[pid=3988/tid=3991] ppid=3986 vsize=57472 CPUtime=0.02
/proc/3988/task/3991/stat : 3991 (satake) D 3986 3988 27791 0 -1 4202560 284 0 0 0 0 2 0 0 20 0 17 0 637633975 58851328 9459 18446744073709551615 134512640 135180984 4289565120 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 7 0 0 0 0 0
[pid=3988/tid=3992] ppid=3986 vsize=57472 CPUtime=0.06
/proc/3988/task/3992/stat : 3992 (satake) D 3986 3988 27791 0 -1 4202560 819 0 0 0 0 6 0 0 20 0 17 0 637633976 58851328 9516 18446744073709551615 134512640 135180984 4289565120 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 13 0 0 0 0 0
[pid=3988/tid=3993] ppid=3986 vsize=57472 CPUtime=0.04
/proc/3988/task/3993/stat : 3993 (satake) D 3986 3988 27791 0 -1 4202560 572 0 0 0 0 4 0 0 20 0 17 0 637633976 58851328 9516 18446744073709551615 134512640 135180984 4289565120 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 10 0 0 0 0 0
[pid=3988/tid=3994] ppid=3986 vsize=57472 CPUtime=0.06
/proc/3988/task/3994/stat : 3994 (satake) R 3986 3988 27791 0 -1 4202560 901 0 0 0 0 6 0 0 20 0 17 0 637633976 58851328 9522 18446744073709551615 134512640 135180984 4289565120 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 14 0 0 0 0 0
[pid=3988/tid=3995] ppid=3986 vsize=57472 CPUtime=0.06
/proc/3988/task/3995/stat : 3995 (satake) R 3986 3988 27791 0 -1 4202560 921 0 0 0 0 6 0 0 20 0 17 0 637633976 58851328 9524 18446744073709551615 134512640 135180984 4289565120 18446744073709551615 134702260 0 0 1 0 0 0 0 -1 11 0 0 0 0 0
[pid=3988/tid=3996] ppid=3986 vsize=57472 CPUtime=0.06
/proc/3988/task/3996/stat : 3996 (satake) R 3986 3988 27791 0 -1 4202560 842 0 0 0 0 6 0 0 20 0 17 0 637633976 58851328 9525 18446744073709551615 134512640 135180984 4289565120 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 15 0 0 0 0 0
[pid=3988/tid=3997] ppid=3986 vsize=57472 CPUtime=0.02
/proc/3988/task/3997/stat : 3997 (satake) R 3986 3988 27791 0 -1 4202560 304 0 0 0 0 2 0 0 20 0 17 0 637633976 58851328 9526 18446744073709551615 134512640 135180984 4289565120 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 2 0 0 0 0 0
[pid=3988/tid=3998] ppid=3986 vsize=57472 CPUtime=0.06
/proc/3988/task/3998/stat : 3998 (satake) R 3986 3988 27791 0 -1 4202560 537 0 0 0 0 6 0 0 20 0 17 0 637633976 58851328 9526 18446744073709551615 134512640 135180984 4289565120 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 0 0 0 0 0 0
[pid=3988/tid=3999] ppid=3986 vsize=57472 CPUtime=0
/proc/3988/task/3999/stat : 3999 (satake) R 3986 3988 27791 0 -1 4202560 242 0 0 0 0 0 0 0 20 0 17 0 637633976 58851328 9526 18446744073709551615 134512640 135180984 4289565120 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 0 0 0 0 0 0
[pid=3988/tid=4000] ppid=3986 vsize=57472 CPUtime=0.06
/proc/3988/task/4000/stat : 4000 (satake) R 3986 3988 27791 0 -1 4202560 805 0 0 0 0 6 0 0 20 0 17 0 637633976 58851328 9526 18446744073709551615 134512640 135180984 4289565120 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 1 0 0 0 0 0
[pid=3988/tid=4001] ppid=3986 vsize=57472 CPUtime=0.02
/proc/3988/task/4001/stat : 4001 (satake) R 3986 3988 27791 0 -1 4202560 604 0 0 0 2 0 0 0 20 0 17 0 637633976 58851328 9526 18446744073709551615 134512640 135180984 4289565120 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 0.72
Current children cumulated vsize (KiB) 57472

[startup+0.305894 s]
/proc/loadavg: 2.38 2.32 2.84 2/184 3988
/proc/meminfo: memFree=19138088/36427776 swapFree=3948/8632
[pid=3988] ppid=3986 vsize=73676 CPUtime=1.93
/proc/3988/stat : 3988 (satake) S 3986 3988 27791 0 -1 4202496 15945 0 0 0 2 191 0 0 20 0 17 0 637633975 75444224 15901 18446744073709551615 134512640 135180984 4289565120 18446744073709551615 134573496 0 0 1 0 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/3988/statm: 18419 15906 63 164 0 18254 0
[pid=3988/tid=3989] ppid=3986 vsize=73676 CPUtime=0
/proc/3988/task/3989/stat : 3989 (satake) S 3986 3988 27791 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 17 0 637633975 75444224 15906 18446744073709551615 134512640 135180984 4289565120 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 11 0 0 0 0 0
[pid=3988/tid=3990] ppid=3986 vsize=73676 CPUtime=0.16
/proc/3988/task/3990/stat : 3990 (satake) R 3986 3988 27791 0 -1 4202560 1168 0 0 0 0 16 0 0 20 0 17 0 637633975 75444224 15909 18446744073709551615 134512640 135180984 4289565120 18446744073709551615 134579486 0 0 1 0 0 0 0 -1 12 0 0 0 0 0
[pid=3988/tid=3991] ppid=3986 vsize=73676 CPUtime=0.12
/proc/3988/task/3991/stat : 3991 (satake) R 3986 3988 27791 0 -1 4202560 977 0 0 0 0 12 0 0 20 0 17 0 637633975 75444224 15918 18446744073709551615 134512640 135180984 4289565120 18446744073709551615 134513833 0 0 1 0 0 0 0 -1 7 0 0 0 0 0
[pid=3988/tid=3992] ppid=3986 vsize=73676 CPUtime=0.14
/proc/3988/task/3992/stat : 3992 (satake) S 3986 3988 27791 0 -1 4202560 1155 0 0 0 0 14 0 0 20 0 17 0 637633976 75444224 15929 18446744073709551615 134512640 135180984 4289565120 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 13 0 0 0 0 0
[pid=3988/tid=3993] ppid=3986 vsize=73676 CPUtime=0.14
/proc/3988/task/3993/stat : 3993 (satake) D 3986 3988 27791 0 -1 4202560 1060 0 0 0 0 14 0 0 20 0 17 0 637633976 75444224 15935 18446744073709551615 134512640 135180984 4289565120 18446744073709551615 134702260 0 0 1 0 0 0 0 -1 10 0 0 0 0 0
[pid=3988/tid=3994] ppid=3986 vsize=73676 CPUtime=0.16
/proc/3988/task/3994/stat : 3994 (satake) S 3986 3988 27791 0 -1 4202560 1206 0 0 0 0 16 0 0 20 0 17 0 637633976 75444224 15936 18446744073709551615 134512640 135180984 4289565120 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 14 0 0 0 0 0
[pid=3988/tid=3995] ppid=3986 vsize=73676 CPUtime=0.16
/proc/3988/task/3995/stat : 3995 (satake) S 3986 3988 27791 0 -1 4202560 1184 0 0 0 0 16 0 0 20 0 17 0 637633976 75444224 15937 18446744073709551615 134512640 135180984 4289565120 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 11 0 0 0 0 0
[pid=3988/tid=3996] ppid=3986 vsize=73676 CPUtime=0.16
/proc/3988/task/3996/stat : 3996 (satake) D 3986 3988 27791 0 -1 4202560 1196 0 0 0 0 16 0 0 20 0 17 0 637633976 75444224 15937 18446744073709551615 134512640 135180984 4289565120 18446744073709551615 134675846 0 0 1 0 0 0 0 -1 15 0 0 0 0 0
[pid=3988/tid=3997] ppid=3986 vsize=73676 CPUtime=0.08
/proc/3988/task/3997/stat : 3997 (satake) D 3986 3988 27791 0 -1 4202560 890 0 0 0 0 8 0 0 20 0 17 0 637633976 75444224 15940 18446744073709551615 134512640 135180984 4289565120 18446744073709551615 134702260 0 0 1 0 0 0 0 -1 2 0 0 0 0 0
[pid=3988/tid=3998] ppid=3986 vsize=73676 CPUtime=0.12
/proc/3988/task/3998/stat : 3998 (satake) S 3986 3988 27791 0 -1 4202560 1025 0 0 0 0 12 0 0 20 0 17 0 637633976 75444224 15940 18446744073709551615 134512640 135180984 4289565120 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 0 0 0 0 0 0
[pid=3988/tid=3999] ppid=3986 vsize=73676 CPUtime=0.06
/proc/3988/task/3999/stat : 3999 (satake) D 3986 3988 27791 0 -1 4202560 782 0 0 0 0 6 0 0 20 0 17 0 637633976 75444224 15942 18446744073709551615 134512640 135180984 4289565120 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 0 0 0 0 0 0
[pid=3988/tid=4000] ppid=3986 vsize=73676 CPUtime=0.14
/proc/3988/task/4000/stat : 4000 (satake) D 3986 3988 27791 0 -1 4202560 1137 0 0 0 0 14 0 0 20 0 17 0 637633976 75444224 15942 18446744073709551615 134512640 135180984 4289565120 18446744073709551615 134675767 0 0 1 0 0 0 0 -1 1 0 0 0 0 0
[pid=3988/tid=4001] ppid=3986 vsize=73676 CPUtime=0.08
/proc/3988/task/4001/stat : 4001 (satake) D 3986 3988 27791 0 -1 4202560 1034 0 0 0 2 6 0 0 20 0 17 0 637633976 75444224 15945 18446744073709551615 134512640 135180984 4289565120 18446744073709551615 134675846 0 0 1 0 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1.93
Current children cumulated vsize (KiB) 73676

[startup+0.70492 s]
/proc/loadavg: 2.38 2.32 2.84 2/184 3988
/proc/meminfo: memFree=19138088/36427776 swapFree=3948/8632
[pid=3988] ppid=3986 vsize=137412 CPUtime=3.69
/proc/3988/stat : 3988 (satake) S 3986 3988 27791 0 -1 4202496 29349 0 0 0 56 313 0 0 20 0 17 0 637633975 140709888 29305 18446744073709551615 134512640 135180984 4289565120 18446744073709551615 134573496 0 0 1 0 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/3988/statm: 34353 29305 63 164 0 34188 0
[pid=3988/tid=3989] ppid=3986 vsize=137412 CPUtime=0
/proc/3988/task/3989/stat : 3989 (satake) S 3986 3988 27791 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 17 0 637633975 140709888 29305 18446744073709551615 134512640 135180984 4289565120 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 11 0 0 0 0 0
[pid=3988/tid=3990] ppid=3986 vsize=137412 CPUtime=0.28
/proc/3988/task/3990/stat : 3990 (satake) D 3986 3988 27791 0 -1 4202560 2070 0 0 0 4 24 0 0 20 0 17 0 637633975 140709888 29306 18446744073709551615 134512640 135180984 4289565120 18446744073709551615 134675846 0 0 1 0 0 0 0 -1 12 0 0 0 0 0
[pid=3988/tid=3991] ppid=3986 vsize=137412 CPUtime=0.26
/proc/3988/task/3991/stat : 3991 (satake) R 3986 3988 27791 0 -1 4202560 1864 0 0 0 4 22 0 0 20 0 17 0 637633975 140709888 29307 18446744073709551615 134512640 135180984 4289565120 18446744073709551615 134579486 0 0 1 0 0 0 0 -1 7 0 0 0 0 0
[pid=3988/tid=3992] ppid=3986 vsize=137412 CPUtime=0.26
/proc/3988/task/3992/stat : 3992 (satake) R 3986 3988 27791 0 -1 4202560 2010 0 0 0 4 22 0 0 20 0 17 0 637633976 140709888 29307 18446744073709551615 134512640 135180984 4289565120 18446744073709551615 134579486 0 0 1 0 0 0 0 -1 13 0 0 0 0 0
[pid=3988/tid=3993] ppid=3986 vsize=137412 CPUtime=0.26
/proc/3988/task/3993/stat : 3993 (satake) D 3986 3988 27791 0 -1 4202560 1922 0 0 0 2 24 0 0 20 0 17 0 637633976 140709888 29307 18446744073709551615 134512640 135180984 4289565120 18446744073709551615 134522388 0 0 1 0 0 0 0 -1 10 0 0 0 0 0
[pid=3988/tid=3994] ppid=3986 vsize=137412 CPUtime=0.28
/proc/3988/task/3994/stat : 3994 (satake) R 3986 3988 27791 0 -1 4202560 2100 0 0 0 6 22 0 0 20 0 17 0 637633976 140709888 29308 18446744073709551615 134512640 135180984 4289565120 18446744073709551615 134675767 0 0 1 0 0 0 0 -1 14 0 0 0 0 0
[pid=3988/tid=3995] ppid=3986 vsize=137412 CPUtime=0.28
/proc/3988/task/3995/stat : 3995 (satake) R 3986 3988 27791 0 -1 4202560 2065 0 0 0 4 24 0 0 20 0 17 0 637633976 140709888 29314 18446744073709551615 134512640 135180984 4289565120 18446744073709551615 134579486 0 0 1 0 0 0 0 -1 11 0 0 0 0 0
[pid=3988/tid=3996] ppid=3986 vsize=137412 CPUtime=0.28
/proc/3988/task/3996/stat : 3996 (satake) R 3986 3988 27791 0 -1 4202560 2088 0 0 0 2 26 0 0 20 0 17 0 637633976 140709888 29314 18446744073709551615 134512640 135180984 4289565120 18446744073709551615 134522388 0 0 1 0 0 0 0 -1 15 0 0 0 0 0
[pid=3988/tid=3997] ppid=3986 vsize=137412 CPUtime=0.18
/proc/3988/task/3997/stat : 3997 (satake) R 3986 3988 27791 0 -1 4202560 1798 0 0 0 2 16 0 0 20 0 17 0 637633976 140709888 29315 18446744073709551615 134512640 135180984 4289565120 18446744073709551615 134579486 0 0 1 0 0 0 0 -1 2 0 0 0 0 0
[pid=3988/tid=3998] ppid=3986 vsize=137412 CPUtime=0.22
/proc/3988/task/3998/stat : 3998 (satake) R 3986 3988 27791 0 -1 4202560 1885 0 0 0 4 18 0 0 20 0 17 0 637633976 140709888 29316 18446744073709551615 134512640 135180984 4289565120 18446744073709551615 134579745 0 0 1 0 0 0 0 -1 0 0 0 0 0 0
[pid=3988/tid=3999] ppid=3986 vsize=137412 CPUtime=0.18
/proc/3988/task/3999/stat : 3999 (satake) R 3986 3988 27791 0 -1 4202560 1775 0 0 0 0 18 0 0 20 0 17 0 637633976 140709888 29317 18446744073709551615 134512640 135180984 4289565120 18446744073709551615 134579486 0 0 1 0 0 0 0 -1 0 0 0 0 0 0
[pid=3988/tid=4000] ppid=3986 vsize=137412 CPUtime=0.26
/proc/3988/task/4000/stat : 4000 (satake) D 3986 3988 27791 0 -1 4202560 1984 0 0 0 4 22 0 0 20 0 17 0 637633976 140709888 29317 18446744073709551615 134512640 135180984 4289565120 18446744073709551615 134702260 0 0 1 0 18446744071564503468 0 0 -1 1 0 0 0 0 0
[pid=3988/tid=4001] ppid=3986 vsize=137412 CPUtime=0.18
/proc/3988/task/4001/stat : 4001 (satake) D 3986 3988 27791 0 -1 4202560 1906 0 0 0 4 14 0 0 20 0 17 0 637633976 140709888 29317 18446744073709551615 134512640 135180984 4289565120 18446744073709551615 134702260 0 0 1 0 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 3.69
Current children cumulated vsize (KiB) 137412

[startup+1.50508 s]
/proc/loadavg: 2.38 2.32 2.84 4/201 4005
/proc/meminfo: memFree=18990028/36427776 swapFree=4260/156608
[pid=3988] ppid=3986 vsize=235180 CPUtime=7.05
/proc/3988/stat : 3988 (satake) S 3986 3988 27791 0 -1 4202496 51428 0 0 0 212 493 0 0 20 0 17 0 637633975 240824320 51384 18446744073709551615 134512640 135180984 4289565120 18446744073709551615 134573496 0 0 1 0 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/3988/statm: 58795 51384 63 164 0 58630 0
[pid=3988/tid=3989] ppid=3986 vsize=235180 CPUtime=0
/proc/3988/task/3989/stat : 3989 (satake) S 3986 3988 27791 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 17 0 637633975 240824320 51384 18446744073709551615 134512640 135180984 4289565120 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 11 0 0 0 0 0
[pid=3988/tid=3990] ppid=3986 vsize=235180 CPUtime=0.5
/proc/3988/task/3990/stat : 3990 (satake) D 3986 3988 27791 0 -1 4202560 3613 0 0 0 12 38 0 0 20 0 17 0 637633975 240824320 51384 18446744073709551615 134512640 135180984 4289565120 18446744073709551615 134520025 0 0 1 0 0 0 0 -1 12 0 0 0 0 0
[pid=3988/tid=3991] ppid=3986 vsize=235180 CPUtime=0.48
/proc/3988/task/3991/stat : 3991 (satake) R 3986 3988 27791 0 -1 4202560 3369 0 0 0 18 30 0 0 20 0 17 0 637633975 240824320 51384 18446744073709551615 134512640 135180984 4289565120 18446744073709551615 134675846 0 0 1 0 0 0 0 -1 7 0 0 0 0 0
[pid=3988/tid=3992] ppid=3986 vsize=235180 CPUtime=0.52
/proc/3988/task/3992/stat : 3992 (satake) D 3986 3988 27791 0 -1 4202560 3579 0 0 0 18 34 0 0 20 0 17 0 637633976 240824320 51384 18446744073709551615 134512640 135180984 4289565120 18446744073709551615 134520025 0 0 1 0 0 0 0 -1 13 0 0 0 0 0

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

deleting IPC queue 1076297806
deleting IPC queue 1076330575
deleting IPC queue 1076363344
deleting IPC queue 1076396113
deleting IPC queue 1076428882
deleting IPC queue 1076461651
deleting IPC queue 1076494420
deleting IPC queue 1076527189
deleting IPC queue 1076559958
deleting IPC queue 1076592727
deleting IPC queue 1076625496
deleting IPC queue 1076658265
deleting IPC queue 1076691034
deleting IPC queue 1076723803
deleting IPC queue 1076756572
deleting IPC queue 1076789341
deleting IPC queue 1076822110
deleting IPC queue 1076854879
deleting IPC queue 1076887648
deleting IPC queue 1076920417
deleting IPC queue 1076953186
deleting IPC queue 1076985955
deleting IPC queue 1077018724
deleting IPC queue 1077051493
deleting IPC queue 1077084262
deleting IPC queue 1077117031
deleting IPC queue 1077149800
deleting IPC queue 1077182569
deleting IPC queue 1077215338
deleting IPC queue 1077248107
deleting IPC queue 1077280876
deleting IPC queue 1077313645
deleting IPC queue 1077346414
deleting IPC queue 1077379183
deleting IPC queue 1077411952
deleting IPC queue 1077444721
deleting IPC queue 1077477490
deleting IPC queue 1077510259
deleting IPC queue 1077543028
deleting IPC queue 1077575797
deleting IPC queue 1077608566
deleting IPC queue 1077641335
deleting IPC queue 1077674104
deleting IPC queue 1077706873
deleting IPC queue 1077739642
deleting IPC queue 1077772411
deleting IPC queue 1077805180
deleting IPC queue 1077837949
deleting IPC queue 1077870718
deleting IPC queue 1077903487
deleting IPC queue 1077936256
deleting IPC queue 1077969025
deleting IPC queue 1078001794
deleting IPC queue 1078034563
deleting IPC queue 1078067332
deleting IPC queue 1078100101
deleting IPC queue 1078132870
deleting IPC queue 1078165639
deleting IPC queue 1078198408
deleting IPC queue 1078231177
deleting IPC queue 1078263946
deleting IPC queue 1078296715
deleting IPC queue 1078329484
deleting IPC queue 1078362253
deleting IPC queue 1078395022
deleting IPC queue 1078427791
deleting IPC queue 1078460560
deleting IPC queue 1078493329
deleting IPC queue 1078526098
deleting IPC queue 1078558867
deleting IPC queue 1078591636
deleting IPC queue 1078624405
deleting IPC queue 1078657174
deleting IPC queue 1078689943
deleting IPC queue 1078722712
deleting IPC queue 1078755481
deleting IPC queue 1078788250
deleting IPC queue 1078821019
deleting IPC queue 1078853788
deleting IPC queue 1078886557
deleting IPC queue 1078919326
deleting IPC queue 1078952095
deleting IPC queue 1078984864
deleting IPC queue 1079017633
deleting IPC queue 1079050402
deleting IPC queue 1079083171
deleting IPC queue 1079115940
deleting IPC queue 1079148709
deleting IPC queue 1079181478
deleting IPC queue 1079214247
deleting IPC queue 1079247016
deleting IPC queue 1079279785
deleting IPC queue 1079312554
deleting IPC queue 1079345323
deleting IPC queue 1079378092
deleting IPC queue 1079410861
deleting IPC queue 1079443630
deleting IPC queue 1079476399
deleting IPC queue 1079509168
deleting IPC queue 1079541937
deleting IPC queue 1079574706
deleting IPC queue 1079607475
deleting IPC queue 1079640244
deleting IPC queue 1079673013
deleting IPC queue 1079705782
deleting IPC queue 1079738551
deleting IPC queue 1079771320
deleting IPC queue 1079804089
deleting IPC queue 1079836858
deleting IPC queue 1079869627
deleting IPC queue 1079902396
deleting IPC queue 1079935165
deleting IPC queue 1079967934
deleting IPC queue 1080000703
deleting IPC queue 1080033472
deleting IPC queue 1080066241
deleting IPC queue 1080099010
deleting IPC queue 1080131779
deleting IPC queue 1080164548
deleting IPC queue 1080197317
deleting IPC queue 1080230086
deleting IPC queue 1080262855
deleting IPC queue 1080295624
deleting IPC queue 1080328393
deleting IPC queue 1080361162
deleting IPC queue 1080393931
deleting IPC queue 1080426700
deleting IPC queue 1080459469
deleting IPC queue 1080492238
deleting IPC queue 1080525007
deleting IPC queue 1080557776
deleting IPC queue 1080590545
deleting IPC queue 1080623314
deleting IPC queue 1080656083
deleting IPC queue 1080688852
deleting IPC queue 1080721621
deleting IPC queue 1080754390
deleting IPC queue 1080787159
deleting IPC queue 1080819928
deleting IPC queue 1080852697
deleting IPC queue 1080885466
deleting IPC queue 1080918235
deleting IPC queue 1080951004
deleting IPC queue 1080983773
deleting IPC queue 1081016542
deleting IPC queue 1081049311
deleting IPC queue 1081082080
deleting IPC queue 1081114849
deleting IPC queue 1081147618
deleting IPC queue 1081180387
deleting IPC queue 1081213156
deleting IPC queue 1081245925
deleting IPC queue 1081278694
deleting IPC queue 1081311463
deleting IPC queue 1081344232
deleting IPC queue 1081377001
deleting IPC queue 1081409770
deleting IPC queue 1081442539
deleting IPC queue 1081475308
deleting IPC queue 1081508077
deleting IPC queue 1081540846
deleting IPC queue 1081573615
deleting IPC queue 1081606384
deleting IPC queue 1081639153
deleting IPC queue 1081671922
deleting IPC queue 1081704691
deleting IPC queue 1081737460
deleting IPC queue 1081770229
deleting IPC queue 1081802998
deleting IPC queue 1081835767
deleting IPC queue 1081868536
deleting IPC queue 1081901305
deleting IPC queue 1081934074
deleting IPC queue 1081966843
deleting IPC queue 1081999612
deleting IPC queue 1082032381
deleting IPC queue 1082065150
deleting IPC queue 1082097919

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 654.753
system time used= 809.711
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 170668
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= 64039592
involuntary context switches= 2691897

runsolver used 4.22826 second user time and 11.2927 second system time

The end

Launcher Data 

Begin job on xenhost3-49 at 2009-06-12 07:07:56
IDJOB=1779132
IDBENCH=70813
IDSOLVER=631
FILE ID=xenhost3-49/1779132-1244783276
PBS_JOBID=
Free space on /tmp= 7033 MiB

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

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

MD5SUM BENCH= b7a07371a2da4a8c8bef63c213dd1e15
RANDOM SEED= 1236507771

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:      19138088 kB
Buffers:        433748 kB
Cached:       14107276 kB
SwapCached:          0 kB
Active:        4078860 kB
Inactive:     10469980 kB
SwapTotal:    25398692 kB
SwapFree:     25398692 kB
Dirty:            4008 kB
Writeback:           0 kB
AnonPages:        8632 kB
Mapped:           3948 kB
Slab:           688188 kB
SReclaimable:   661424 kB
SUnreclaim:      26764 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= 7033 MiB
End job on xenhost3-49 at 2009-06-12 07:24:38