Trace number 1780062

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)? (MO) 1723.84 717.137

General information on the benchmark

NameAPPLICATIONS/c32sat/
post-cbmc-aes-ee-r2-noholes.cnf
MD5SUM4c8b9603e0c90cfb3c82064eae956799
Bench CategoryAPPLICATION (applications instances)
Best result obtained on this benchmarkUNSAT
Best CPU time to get the best result obtained on this benchmark748.4
Satisfiable
(Un)Satisfiability was proved
Number of variables266199
Number of clauses1575975
Sum of the clauses size4240496
Maximum clause length33
Minimum clause length1
Number of clauses of size 139783
Number of clauses of size 21138497
Number of clauses of size 3317809
Number of clauses of size 49949
Number of clauses of size 50
Number of clauses of size over 569937

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-1780062-1244813732/watcher-1780062-1244813732 -o /tmp/evaluation-result-1780062-1244813732/solver-1780062-1244813732 -C 10000 -W 1000 -M 2047 --output-limit 1,15 --cleanup-all-ipc-queues HOME/satake HOME/instance-1780062-1244813732.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.44 2.66 2.60 2/184 7967
/proc/meminfo: memFree=19101400/36427776 swapFree=4668/8172
[pid=7967] ppid=7965 vsize=8076 CPUtime=0
/proc/7967/stat : 7967 (satake) S 7965 7967 27791 0 -1 4202496 436 0 0 0 0 0 0 0 20 0 17 0 640679617 8269824 389 18446744073709551615 134512640 135180984 4291335024 18446744073709551615 134573496 0 0 1 0 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/7967/statm: 2052 391 63 164 0 1887 0
[pid=7967/tid=7968] ppid=7965 vsize=8732 CPUtime=0
/proc/7967/task/7968/stat : 7968 (satake) S 7965 7967 27791 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 17 0 640679617 8941568 491 18446744073709551615 134512640 135180984 4291335024 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 1 0 0 0 0 0
[pid=7967/tid=7969] ppid=7965 vsize=8732 CPUtime=0
/proc/7967/task/7969/stat : 7969 (satake) R 7965 7967 27791 0 -1 4202560 68 0 0 0 0 0 0 0 20 0 17 0 640679617 8941568 519 18446744073709551615 134512640 135180984 4291335024 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 2 0 0 0 0 0
[pid=7967/tid=7970] ppid=7965 vsize=8732 CPUtime=0
/proc/7967/task/7970/stat : 7970 (satake) R 7965 7967 27791 0 -1 4202560 63 0 0 0 0 0 0 0 20 0 17 0 640679617 8941568 547 18446744073709551615 134512640 135180984 4291335024 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 3 0 0 0 0 0
[pid=7967/tid=7971] ppid=7965 vsize=8732 CPUtime=0
/proc/7967/task/7971/stat : 7971 (satake) D 7965 7967 27791 0 -1 4202560 50 0 0 0 0 0 0 0 20 0 17 0 640679617 8941568 564 18446744073709551615 134512640 135180984 4291335024 18446744073709551615 134706046 0 0 1 0 0 0 0 -1 4 0 0 0 0 0
[pid=7967/tid=7972] ppid=7965 vsize=8732 CPUtime=0
/proc/7967/task/7972/stat : 7972 (satake) D 7965 7967 27791 0 -1 4202560 28 0 0 0 0 0 0 0 20 0 17 0 640679618 8941568 564 18446744073709551615 134512640 135180984 4291335024 18446744073709551615 134691935 0 0 1 0 0 0 0 -1 1 0 0 0 0 0
[pid=7967/tid=7973] ppid=7965 vsize=8732 CPUtime=0
/proc/7967/task/7973/stat : 7973 (satake) D 7965 7967 27791 0 -1 4202560 37 0 0 0 0 0 0 0 20 0 17 0 640679618 8941568 564 18446744073709551615 134512640 135180984 4291335024 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 1 0 0 0 0 0
[pid=7967/tid=7974] ppid=7965 vsize=8992 CPUtime=0
/proc/7967/task/7974/stat : 7974 (satake) D 7965 7967 27791 0 -1 4202560 36 0 0 0 0 0 0 0 20 0 17 0 640679618 9207808 564 18446744073709551615 134512640 135180984 4291335024 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 5 0 0 0 0 0
[pid=7967/tid=7975] ppid=7965 vsize=8860 CPUtime=0
/proc/7967/task/7975/stat : 7975 (satake) R 7965 7967 27791 0 -1 4202560 40 0 0 0 0 0 0 0 20 0 17 0 640679618 9072640 568 18446744073709551615 134512640 135180984 4291335024 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 1 0 0 0 0 0
[pid=7967/tid=7976] ppid=7965 vsize=8860 CPUtime=0
/proc/7967/task/7976/stat : 7976 (satake) R 7965 7967 27791 0 -1 4202560 32 0 0 0 0 0 0 0 20 0 17 0 640679618 9072640 570 18446744073709551615 134512640 135180984 4291335024 18446744073709551615 134691935 0 0 1 0 0 0 0 -1 6 0 0 0 0 0
[pid=7967/tid=7977] ppid=7965 vsize=8860 CPUtime=0
/proc/7967/task/7977/stat : 7977 (satake) D 7965 7967 27791 0 -1 4202560 13 0 0 0 0 0 0 0 20 0 17 0 640679618 9072640 570 18446744073709551615 134512640 135180984 4291335024 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 1 0 0 0 0 0
[pid=7967/tid=7978] ppid=7965 vsize=8860 CPUtime=0
/proc/7967/task/7978/stat : 7978 (satake) R 7965 7967 27791 0 -1 4202560 43 0 0 0 0 0 0 0 20 0 17 0 640679618 9072640 570 18446744073709551615 134512640 135180984 4291335024 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 7 0 0 0 0 0
[pid=7967/tid=7979] ppid=7965 vsize=8860 CPUtime=0
/proc/7967/task/7979/stat : 7979 (satake) S 7965 7967 27791 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 17 0 640679618 9072640 570 18446744073709551615 134512640 135180984 4291335024 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 2 0 0 0 0 0
[pid=7967/tid=7980] ppid=7965 vsize=8992 CPUtime=0
/proc/7967/task/7980/stat : 7980 (satake) R 7965 7967 27791 0 -1 4202560 15 0 0 0 0 0 0 0 20 0 17 0 640679618 9207808 571 18446744073709551615 134512640 135180984 4291335024 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 4 0 0 0 0 0
[pid=7967/tid=7981] ppid=7965 vsize=8992 CPUtime=0
/proc/7967/task/7981/stat : 7981 (satake) R 7965 7967 27791 0 -1 4202560 18 0 0 0 0 0 0 0 20 0 17 0 640679618 9207808 574 18446744073709551615 134512640 135180984 4291335024 18446744073709551615 134702083 0 0 1 0 0 0 0 -1 5 0 0 0 0 0
[pid=7967/tid=7982] ppid=7965 vsize=8992 CPUtime=0
/proc/7967/task/7982/stat : 7982 (satake) R 7965 7967 27791 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 17 0 640679618 9207808 575 18446744073709551615 134512640 135180984 4291335024 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 3 0 0 0 0 0
[pid=7967/tid=7983] ppid=7965 vsize=8992 CPUtime=0
/proc/7967/task/7983/stat : 7983 (satake) R 7965 7967 27791 0 -1 4202560 15 0 0 0 0 0 0 0 20 0 17 0 640679618 9207808 577 18446744073709551615 134512640 135180984 4291335024 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 6 0 0 0 0 0

[startup+0.073806 s]
/proc/loadavg: 2.44 2.66 2.60 2/184 7967
/proc/meminfo: memFree=19101400/36427776 swapFree=4668/8172
[pid=7967] ppid=7965 vsize=77876 CPUtime=0.34
/proc/7967/stat : 7967 (satake) S 7965 7967 27791 0 -1 4202496 11478 0 0 0 0 34 0 0 20 0 17 0 640679617 79745024 11432 18446744073709551615 134512640 135180984 4291335024 18446744073709551615 134573496 0 0 1 0 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/7967/statm: 19469 11435 63 164 0 19304 0
[pid=7967/tid=7968] ppid=7965 vsize=77876 CPUtime=0
/proc/7967/task/7968/stat : 7968 (satake) S 7965 7967 27791 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 17 0 640679617 79745024 11440 18446744073709551615 134512640 135180984 4291335024 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 1 0 0 0 0 0
[pid=7967/tid=7969] ppid=7965 vsize=77876 CPUtime=0.04
/proc/7967/task/7969/stat : 7969 (satake) R 7965 7967 27791 0 -1 4202560 1197 0 0 0 0 4 0 0 20 0 17 0 640679617 79745024 11465 18446744073709551615 134512640 135180984 4291335024 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 2 0 0 0 0 0
[pid=7967/tid=7970] ppid=7965 vsize=77876 CPUtime=0.04
/proc/7967/task/7970/stat : 7970 (satake) R 7965 7967 27791 0 -1 4202560 1292 0 0 0 0 4 0 0 20 0 17 0 640679617 79745024 11490 18446744073709551615 134512640 135180984 4291335024 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 3 0 0 0 0 0
[pid=7967/tid=7971] ppid=7965 vsize=77876 CPUtime=0.04
/proc/7967/task/7971/stat : 7971 (satake) R 7965 7967 27791 0 -1 4202560 1240 0 0 0 0 4 0 0 20 0 17 0 640679617 79745024 11521 18446744073709551615 134512640 135180984 4291335024 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 4 0 0 0 0 0
[pid=7967/tid=7972] ppid=7965 vsize=77876 CPUtime=0
/proc/7967/task/7972/stat : 7972 (satake) R 7965 7967 27791 0 -1 4202560 460 0 0 0 0 0 0 0 20 0 17 0 640679618 79745024 11545 18446744073709551615 134512640 135180984 4291335024 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 1 0 0 0 0 0
[pid=7967/tid=7973] ppid=7965 vsize=77876 CPUtime=0.04
/proc/7967/task/7973/stat : 7973 (satake) R 7965 7967 27791 0 -1 4202560 1302 0 0 0 0 4 0 0 20 0 17 0 640679618 79745024 11573 18446744073709551615 134512640 135180984 4291335024 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 9 0 0 0 0 0
[pid=7967/tid=7974] ppid=7965 vsize=77876 CPUtime=0.04
/proc/7967/task/7974/stat : 7974 (satake) R 7965 7967 27791 0 -1 4202560 1134 0 0 0 0 4 0 0 20 0 17 0 640679618 79745024 11599 18446744073709551615 134512640 135180984 4291335024 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 5 0 0 0 0 0
[pid=7967/tid=7975] ppid=7965 vsize=77876 CPUtime=0.02
/proc/7967/task/7975/stat : 7975 (satake) D 7965 7967 27791 0 -1 4202560 884 0 0 0 0 2 0 0 20 0 17 0 640679618 79745024 11614 18446744073709551615 134512640 135180984 4291335024 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 1 0 0 0 0 0
[pid=7967/tid=7976] ppid=7965 vsize=77876 CPUtime=0.04
/proc/7967/task/7976/stat : 7976 (satake) D 7965 7967 27791 0 -1 4202560 999 0 0 0 0 4 0 0 20 0 17 0 640679618 79745024 11615 18446744073709551615 134512640 135180984 4291335024 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 6 0 0 0 0 0
[pid=7967/tid=7977] ppid=7965 vsize=78388 CPUtime=0.04
/proc/7967/task/7977/stat : 7977 (satake) D 7965 7967 27791 0 -1 4202560 1110 0 0 0 0 4 0 0 20 0 17 0 640679618 80269312 11617 18446744073709551615 134512640 135180984 4291335024 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 8 0 0 0 0 0
[pid=7967/tid=7978] ppid=7965 vsize=78388 CPUtime=0.04
/proc/7967/task/7978/stat : 7978 (satake) R 7965 7967 27791 0 -1 4202560 1277 0 0 0 0 4 0 0 20 0 17 0 640679618 80269312 11620 18446744073709551615 134512640 135180984 4291335024 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 7 0 0 0 0 0
[pid=7967/tid=7979] ppid=7965 vsize=78388 CPUtime=0
/proc/7967/task/7979/stat : 7979 (satake) R 7965 7967 27791 0 -1 4202560 170 0 0 0 0 0 0 0 20 0 17 0 640679618 80269312 11621 18446744073709551615 134512640 135180984 4291335024 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 2 0 0 0 0 0
[pid=7967/tid=7980] ppid=7965 vsize=78388 CPUtime=0
/proc/7967/task/7980/stat : 7980 (satake) R 7965 7967 27791 0 -1 4202560 148 0 0 0 0 0 0 0 20 0 17 0 640679618 80269312 11623 18446744073709551615 134512640 135180984 4291335024 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 4 0 0 0 0 0
[pid=7967/tid=7981] ppid=7965 vsize=78388 CPUtime=0
/proc/7967/task/7981/stat : 7981 (satake) R 7965 7967 27791 0 -1 4202560 72 0 0 0 0 0 0 0 20 0 17 0 640679618 80269312 11623 18446744073709551615 134512640 135180984 4291335024 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 5 0 0 0 0 0
[pid=7967/tid=7982] ppid=7965 vsize=78388 CPUtime=0
/proc/7967/task/7982/stat : 7982 (satake) R 7965 7967 27791 0 -1 4202560 49 0 0 0 0 0 0 0 20 0 17 0 640679618 80269312 11623 18446744073709551615 134512640 135180984 4291335024 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 3 0 0 0 0 0
[pid=7967/tid=7983] ppid=7965 vsize=78388 CPUtime=0
/proc/7967/task/7983/stat : 7983 (satake) R 7965 7967 27791 0 -1 4202560 163 0 0 0 0 0 0 0 20 0 17 0 640679618 80269312 11623 18446744073709551615 134512640 135180984 4291335024 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 0.34
Current children cumulated vsize (KiB) 77876

[startup+0.105752 s]
/proc/loadavg: 2.44 2.66 2.60 2/184 7967
/proc/meminfo: memFree=19101400/36427776 swapFree=4668/8172
[pid=7967] ppid=7965 vsize=113332 CPUtime=0.57
/proc/7967/stat : 7967 (satake) S 7965 7967 27791 0 -1 4202496 19904 0 0 0 0 57 0 0 20 0 17 0 640679617 116051968 19857 18446744073709551615 134512640 135180984 4291335024 18446744073709551615 134573496 0 0 1 0 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/7967/statm: 28333 19857 63 164 0 28168 0
[pid=7967/tid=7968] ppid=7965 vsize=113332 CPUtime=0
/proc/7967/task/7968/stat : 7968 (satake) S 7965 7967 27791 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 17 0 640679617 116051968 19857 18446744073709551615 134512640 135180984 4291335024 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 1 0 0 0 0 0
[pid=7967/tid=7969] ppid=7965 vsize=113332 CPUtime=0.06
/proc/7967/task/7969/stat : 7969 (satake) R 7965 7967 27791 0 -1 4202560 2075 0 0 0 0 6 0 0 20 0 17 0 640679617 116051968 19857 18446744073709551615 134512640 135180984 4291335024 18446744073709551615 134706046 0 0 1 0 0 0 0 -1 2 0 0 0 0 0
[pid=7967/tid=7970] ppid=7965 vsize=113332 CPUtime=0.04
/proc/7967/task/7970/stat : 7970 (satake) D 7965 7967 27791 0 -1 4202560 1644 0 0 0 0 4 0 0 20 0 17 0 640679617 116051968 19857 18446744073709551615 134512640 135180984 4291335024 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 3 0 0 0 0 0
[pid=7967/tid=7971] ppid=7965 vsize=113332 CPUtime=0.04
/proc/7967/task/7971/stat : 7971 (satake) D 7965 7967 27791 0 -1 4202560 1916 0 0 0 0 4 0 0 20 0 17 0 640679617 116051968 19857 18446744073709551615 134512640 135180984 4291335024 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 4 0 0 0 0 0
[pid=7967/tid=7972] ppid=7965 vsize=113332 CPUtime=0.04
/proc/7967/task/7972/stat : 7972 (satake) D 7965 7967 27791 0 -1 4202560 1247 0 0 0 0 4 0 0 20 0 17 0 640679618 116051968 19857 18446744073709551615 134512640 135180984 4291335024 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 1 0 0 0 0 0
[pid=7967/tid=7973] ppid=7965 vsize=113332 CPUtime=0.06
/proc/7967/task/7973/stat : 7973 (satake) D 7965 7967 27791 0 -1 4202560 2152 0 0 0 0 6 0 0 20 0 17 0 640679618 116051968 19857 18446744073709551615 134512640 135180984 4291335024 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 9 0 0 0 0 0
[pid=7967/tid=7974] ppid=7965 vsize=113332 CPUtime=0.06
/proc/7967/task/7974/stat : 7974 (satake) D 7965 7967 27791 0 -1 4202560 1962 0 0 0 0 6 0 0 20 0 17 0 640679618 116051968 19857 18446744073709551615 134512640 135180984 4291335024 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 5 0 0 0 0 0
[pid=7967/tid=7975] ppid=7965 vsize=113332 CPUtime=0.02
/proc/7967/task/7975/stat : 7975 (satake) D 7965 7967 27791 0 -1 4202560 993 0 0 0 0 2 0 0 20 0 17 0 640679618 116051968 19857 18446744073709551615 134512640 135180984 4291335024 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 1 0 0 0 0 0
[pid=7967/tid=7976] ppid=7965 vsize=113332 CPUtime=0.06
/proc/7967/task/7976/stat : 7976 (satake) D 7965 7967 27791 0 -1 4202560 1917 0 0 0 0 6 0 0 20 0 17 0 640679618 116051968 19857 18446744073709551615 134512640 135180984 4291335024 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 6 0 0 0 0 0
[pid=7967/tid=7977] ppid=7965 vsize=113332 CPUtime=0.06
/proc/7967/task/7977/stat : 7977 (satake) D 7965 7967 27791 0 -1 4202560 2099 0 0 0 0 6 0 0 20 0 17 0 640679618 116051968 19857 18446744073709551615 134512640 135180984 4291335024 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 8 0 0 0 0 0
[pid=7967/tid=7978] ppid=7965 vsize=113332 CPUtime=0.06
/proc/7967/task/7978/stat : 7978 (satake) D 7965 7967 27791 0 -1 4202560 2039 0 0 0 0 6 0 0 20 0 17 0 640679618 116051968 19857 18446744073709551615 134512640 135180984 4291335024 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 7 0 0 0 0 0
[pid=7967/tid=7979] ppid=7965 vsize=113332 CPUtime=0
/proc/7967/task/7979/stat : 7979 (satake) D 7965 7967 27791 0 -1 4202560 300 0 0 0 0 0 0 0 20 0 17 0 640679618 116051968 19857 18446744073709551615 134512640 135180984 4291335024 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 2 0 0 0 0 0
[pid=7967/tid=7980] ppid=7965 vsize=113332 CPUtime=0
/proc/7967/task/7980/stat : 7980 (satake) D 7965 7967 27791 0 -1 4202560 535 0 0 0 0 0 0 0 20 0 17 0 640679618 116051968 19857 18446744073709551615 134512640 135180984 4291335024 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 4 0 0 0 0 0
[pid=7967/tid=7981] ppid=7965 vsize=129720 CPUtime=0
/proc/7967/task/7981/stat : 7981 (satake) D 7965 7967 27791 0 -1 4202560 119 0 0 0 0 0 0 0 20 0 17 0 640679618 132833280 19857 18446744073709551615 134512640 135180984 4291335024 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 5 0 0 0 0 0
[pid=7967/tid=7982] ppid=7965 vsize=121524 CPUtime=0
/proc/7967/task/7982/stat : 7982 (satake) D 7965 7967 27791 0 -1 4202560 533 0 0 0 0 0 0 0 20 0 17 0 640679618 124440576 19857 18446744073709551615 134512640 135180984 4291335024 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 3 0 0 0 0 0
[pid=7967/tid=7983] ppid=7965 vsize=121524 CPUtime=0
/proc/7967/task/7983/stat : 7983 (satake) D 7965 7967 27791 0 -1 4202560 244 0 0 0 0 0 0 0 20 0 17 0 640679618 124440576 19858 18446744073709551615 134512640 135180984 4291335024 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 0.57
Current children cumulated vsize (KiB) 113332

[startup+0.304464 s]
/proc/loadavg: 2.44 2.66 2.60 2/184 7967
/proc/meminfo: memFree=19101400/36427776 swapFree=4668/8172
[pid=7967] ppid=7965 vsize=416320 CPUtime=2.06
/proc/7967/stat : 7967 (satake) S 7965 7967 27791 0 -1 4202496 75576 0 0 0 0 206 0 0 20 0 17 0 640679617 426311680 75529 18446744073709551615 134512640 135180984 4291335024 18446744073709551615 134573496 0 0 1 0 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/7967/statm: 104080 75529 63 164 0 103915 0
[pid=7967/tid=7968] ppid=7965 vsize=416320 CPUtime=0
/proc/7967/task/7968/stat : 7968 (satake) S 7965 7967 27791 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 17 0 640679617 426311680 75530 18446744073709551615 134512640 135180984 4291335024 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 1 0 0 0 0 0
[pid=7967/tid=7969] ppid=7965 vsize=416320 CPUtime=0.14
/proc/7967/task/7969/stat : 7969 (satake) D 7965 7967 27791 0 -1 4202560 5280 0 0 0 0 14 0 0 20 0 17 0 640679617 426311680 75532 18446744073709551615 134512640 135180984 4291335024 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 2 0 0 0 0 0
[pid=7967/tid=7970] ppid=7965 vsize=416320 CPUtime=0.12
/proc/7967/task/7970/stat : 7970 (satake) R 7965 7967 27791 0 -1 4202560 4318 0 0 0 0 12 0 0 20 0 17 0 640679617 426311680 75534 18446744073709551615 134512640 135180984 4291335024 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 3 0 0 0 0 0
[pid=7967/tid=7971] ppid=7965 vsize=416320 CPUtime=0.12
/proc/7967/task/7971/stat : 7971 (satake) D 7965 7967 27791 0 -1 4202560 5007 0 0 0 0 12 0 0 20 0 17 0 640679617 426311680 75534 18446744073709551615 134512640 135180984 4291335024 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 4 0 0 0 0 0
[pid=7967/tid=7972] ppid=7965 vsize=416320 CPUtime=0.14
/proc/7967/task/7972/stat : 7972 (satake) D 7965 7967 27791 0 -1 4202560 4897 0 0 0 0 14 0 0 20 0 17 0 640679618 426311680 75534 18446744073709551615 134512640 135180984 4291335024 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 1 0 0 0 0 0
[pid=7967/tid=7973] ppid=7965 vsize=416320 CPUtime=0.22
/proc/7967/task/7973/stat : 7973 (satake) D 7965 7967 27791 0 -1 4202560 8172 0 0 0 0 22 0 0 20 0 17 0 640679618 426311680 75534 18446744073709551615 134512640 135180984 4291335024 18446744073709551615 134691935 0 0 1 0 0 0 0 -1 9 0 0 0 0 0
[pid=7967/tid=7974] ppid=7965 vsize=416320 CPUtime=0.14
/proc/7967/task/7974/stat : 7974 (satake) D 7965 7967 27791 0 -1 4202560 5407 0 0 0 0 14 0 0 20 0 17 0 640679618 426311680 75534 18446744073709551615 134512640 135180984 4291335024 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 5 0 0 0 0 0
[pid=7967/tid=7975] ppid=7965 vsize=416320 CPUtime=0.14
/proc/7967/task/7975/stat : 7975 (satake) R 7965 7967 27791 0 -1 4202560 5034 0 0 0 0 14 0 0 20 0 17 0 640679618 426311680 75534 18446744073709551615 134512640 135180984 4291335024 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 14 0 0 0 0 0
[pid=7967/tid=7976] ppid=7965 vsize=416320 CPUtime=0.14
/proc/7967/task/7976/stat : 7976 (satake) D 7965 7967 27791 0 -1 4202560 5363 0 0 0 0 14 0 0 20 0 17 0 640679618 426311680 75537 18446744073709551615 134512640 135180984 4291335024 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 6 0 0 0 0 0
[pid=7967/tid=7977] ppid=7965 vsize=416320 CPUtime=0.22
/proc/7967/task/7977/stat : 7977 (satake) R 7965 7967 27791 0 -1 4202560 8172 0 0 0 0 22 0 0 20 0 17 0 640679618 426311680 75538 18446744073709551615 134512640 135180984 4291335024 18446744073709551615 134702260 0 0 1 0 0 0 0 -1 8 0 0 0 0 0
[pid=7967/tid=7978] ppid=7965 vsize=416320 CPUtime=0.22
/proc/7967/task/7978/stat : 7978 (satake) R 7965 7967 27791 0 -1 4202560 7143 0 0 0 0 22 0 0 20 0 17 0 640679618 426311680 75539 18446744073709551615 134512640 135180984 4291335024 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 7 0 0 0 0 0
[pid=7967/tid=7979] ppid=7965 vsize=416320 CPUtime=0.08
/proc/7967/task/7979/stat : 7979 (satake) R 7965 7967 27791 0 -1 4202560 3616 0 0 0 0 8 0 0 20 0 17 0 640679618 426311680 75541 18446744073709551615 134512640 135180984 4291335024 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 2 0 0 0 0 0
[pid=7967/tid=7980] ppid=7965 vsize=416320 CPUtime=0.1
/proc/7967/task/7980/stat : 7980 (satake) R 7965 7967 27791 0 -1 4202560 3597 0 0 0 0 10 0 0 20 0 17 0 640679618 426311680 75542 18446744073709551615 134512640 135180984 4291335024 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 4 0 0 0 0 0
[pid=7967/tid=7981] ppid=7965 vsize=416320 CPUtime=0.08
/proc/7967/task/7981/stat : 7981 (satake) R 7965 7967 27791 0 -1 4202560 3225 0 0 0 0 8 0 0 20 0 17 0 640679618 426311680 75544 18446744073709551615 134512640 135180984 4291335024 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 5 0 0 0 0 0
[pid=7967/tid=7982] ppid=7965 vsize=416320 CPUtime=0.08
/proc/7967/task/7982/stat : 7982 (satake) R 7965 7967 27791 0 -1 4202560 2963 0 0 0 0 8 0 0 20 0 17 0 640679618 426311680 75545 18446744073709551615 134512640 135180984 4291335024 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 3 0 0 0 0 0
[pid=7967/tid=7983] ppid=7965 vsize=416320 CPUtime=0.08
/proc/7967/task/7983/stat : 7983 (satake) R 7965 7967 27791 0 -1 4202560 3264 0 0 0 0 8 0 0 20 0 17 0 640679618 426311680 75546 18446744073709551615 134512640 135180984 4291335024 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 2.06
Current children cumulated vsize (KiB) 416320

[startup+0.704594 s]
/proc/loadavg: 2.44 2.66 2.60 2/184 7967
/proc/meminfo: memFree=19101400/36427776 swapFree=4668/8172
[pid=7967] ppid=7965 vsize=508560 CPUtime=4.76
/proc/7967/stat : 7967 (satake) S 7965 7967 27791 0 -1 4202496 98298 0 0 0 10 466 0 0 20 0 17 0 640679617 520765440 98251 18446744073709551615 134512640 135180984 4291335024 18446744073709551615 134573496 0 0 1 0 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/7967/statm: 127140 98257 63 164 0 126975 0
[pid=7967/tid=7968] ppid=7965 vsize=508560 CPUtime=0
/proc/7967/task/7968/stat : 7968 (satake) S 7965 7967 27791 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 17 0 640679617 520765440 98258 18446744073709551615 134512640 135180984 4291335024 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 1 0 0 0 0 0
[pid=7967/tid=7969] ppid=7965 vsize=508560 CPUtime=0.28
/proc/7967/task/7969/stat : 7969 (satake) R 7965 7967 27791 0 -1 4202560 6756 0 0 0 0 28 0 0 20 0 17 0 640679617 520765440 98258 18446744073709551615 134512640 135180984 4291335024 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 2 0 0 0 0 0
[pid=7967/tid=7970] ppid=7965 vsize=508560 CPUtime=0.26
/proc/7967/task/7970/stat : 7970 (satake) R 7965 7967 27791 0 -1 4202560 5887 0 0 0 0 26 0 0 20 0 17 0 640679617 520765440 98259 18446744073709551615 134512640 135180984 4291335024 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 3 0 0 0 0 0
[pid=7967/tid=7971] ppid=7965 vsize=508560 CPUtime=0.26
/proc/7967/task/7971/stat : 7971 (satake) R 7965 7967 27791 0 -1 4202560 6618 0 0 0 0 26 0 0 20 0 17 0 640679617 520765440 98259 18446744073709551615 134512640 135180984 4291335024 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 4 0 0 0 0 0
[pid=7967/tid=7972] ppid=7965 vsize=508560 CPUtime=0.38
/proc/7967/task/7972/stat : 7972 (satake) R 7965 7967 27791 0 -1 4202560 7176 0 0 0 0 38 0 0 20 0 17 0 640679618 520765440 98259 18446744073709551615 134512640 135180984 4291335024 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 1 0 0 0 0 0
[pid=7967/tid=7973] ppid=7965 vsize=508560 CPUtime=0.48
/proc/7967/task/7973/stat : 7973 (satake) R 7965 7967 27791 0 -1 4202560 9198 0 0 0 6 42 0 0 20 0 17 0 640679618 520765440 98261 18446744073709551615 134512640 135180984 4291335024 18446744073709551615 134675846 0 0 1 0 0 0 0 -1 9 0 0 0 0 0
[pid=7967/tid=7974] ppid=7965 vsize=508560 CPUtime=0.26
/proc/7967/task/7974/stat : 7974 (satake) R 7965 7967 27791 0 -1 4202560 6838 0 0 0 0 26 0 0 20 0 17 0 640679618 520765440 98264 18446744073709551615 134512640 135180984 4291335024 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 5 0 0 0 0 0
[pid=7967/tid=7975] ppid=7965 vsize=508560 CPUtime=0.38
/proc/7967/task/7975/stat : 7975 (satake) R 7965 7967 27791 0 -1 4202560 7275 0 0 0 0 38 0 0 20 0 17 0 640679618 520765440 98287 18446744073709551615 134512640 135180984 4291335024 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 14 0 0 0 0 0
[pid=7967/tid=7976] ppid=7965 vsize=508560 CPUtime=0.28
/proc/7967/task/7976/stat : 7976 (satake) R 7965 7967 27791 0 -1 4202560 6615 0 0 0 0 28 0 0 20 0 17 0 640679618 520765440 98303 18446744073709551615 134512640 135180984 4291335024 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 6 0 0 0 0 0
[pid=7967/tid=7977] ppid=7965 vsize=508560 CPUtime=0.48

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

deleting IPC queue 1596391502
deleting IPC queue 1596424271
deleting IPC queue 1596457040
deleting IPC queue 1596489809
deleting IPC queue 1596522578
deleting IPC queue 1596555347
deleting IPC queue 1596588116
deleting IPC queue 1596620885
deleting IPC queue 1596653654
deleting IPC queue 1596686423
deleting IPC queue 1596719192
deleting IPC queue 1596751961
deleting IPC queue 1596784730
deleting IPC queue 1596817499
deleting IPC queue 1596850268
deleting IPC queue 1596883037
deleting IPC queue 1596915806
deleting IPC queue 1596948575
deleting IPC queue 1596981344
deleting IPC queue 1597014113
deleting IPC queue 1597046882
deleting IPC queue 1597079651
deleting IPC queue 1597112420
deleting IPC queue 1597145189
deleting IPC queue 1597177958
deleting IPC queue 1597210727
deleting IPC queue 1597243496
deleting IPC queue 1597276265
deleting IPC queue 1597309034
deleting IPC queue 1597341803
deleting IPC queue 1597374572
deleting IPC queue 1597407341
deleting IPC queue 1597440110
deleting IPC queue 1597472879
deleting IPC queue 1597505648
deleting IPC queue 1597538417
deleting IPC queue 1597571186
deleting IPC queue 1597603955
deleting IPC queue 1597636724
deleting IPC queue 1597669493
deleting IPC queue 1597702262
deleting IPC queue 1597735031
deleting IPC queue 1597767800
deleting IPC queue 1597800569
deleting IPC queue 1597833338
deleting IPC queue 1597866107
deleting IPC queue 1597898876
deleting IPC queue 1597931645
deleting IPC queue 1597964414
deleting IPC queue 1597997183
deleting IPC queue 1598029952
deleting IPC queue 1598062721
deleting IPC queue 1598095490
deleting IPC queue 1598128259
deleting IPC queue 1598161028
deleting IPC queue 1598193797
deleting IPC queue 1598226566
deleting IPC queue 1598259335
deleting IPC queue 1598292104
deleting IPC queue 1598324873
deleting IPC queue 1598357642
deleting IPC queue 1598390411
deleting IPC queue 1598423180
deleting IPC queue 1598455949
deleting IPC queue 1598488718
deleting IPC queue 1598521487
deleting IPC queue 1598554256
deleting IPC queue 1598587025
deleting IPC queue 1598619794
deleting IPC queue 1598652563
deleting IPC queue 1598685332
deleting IPC queue 1598718101
deleting IPC queue 1598750870
deleting IPC queue 1598783639
deleting IPC queue 1598816408
deleting IPC queue 1598849177
deleting IPC queue 1598881946
deleting IPC queue 1598914715
deleting IPC queue 1598947484
deleting IPC queue 1598980253
deleting IPC queue 1599013022
deleting IPC queue 1599045791
deleting IPC queue 1599078560
deleting IPC queue 1599111329
deleting IPC queue 1599144098
deleting IPC queue 1599176867
deleting IPC queue 1599209636
deleting IPC queue 1599242405
deleting IPC queue 1599275174
deleting IPC queue 1599307943
deleting IPC queue 1599340712
deleting IPC queue 1599373481
deleting IPC queue 1599406250
deleting IPC queue 1599439019
deleting IPC queue 1599471788
deleting IPC queue 1599504557
deleting IPC queue 1599537326
deleting IPC queue 1599570095
deleting IPC queue 1599602864
deleting IPC queue 1599635633
deleting IPC queue 1599668402
deleting IPC queue 1599701171
deleting IPC queue 1599733940
deleting IPC queue 1599766709
deleting IPC queue 1599799478
deleting IPC queue 1599832247
deleting IPC queue 1599865016
deleting IPC queue 1599897785
deleting IPC queue 1599930554
deleting IPC queue 1599963323
deleting IPC queue 1599996092
deleting IPC queue 1600028861
deleting IPC queue 1600061630
deleting IPC queue 1600094399
deleting IPC queue 1600127168
deleting IPC queue 1600159937
deleting IPC queue 1600192706
deleting IPC queue 1600225475
deleting IPC queue 1600258244
deleting IPC queue 1600291013
deleting IPC queue 1600323782
deleting IPC queue 1600356551
deleting IPC queue 1600389320
deleting IPC queue 1600422089
deleting IPC queue 1600454858
deleting IPC queue 1600487627
deleting IPC queue 1600520396
deleting IPC queue 1600553165
deleting IPC queue 1600585934
deleting IPC queue 1600618703
deleting IPC queue 1600651472
deleting IPC queue 1600684241
deleting IPC queue 1600717010
deleting IPC queue 1600749779
deleting IPC queue 1600782548
deleting IPC queue 1600815317
deleting IPC queue 1600848086
deleting IPC queue 1600880855
deleting IPC queue 1600913624
deleting IPC queue 1600946393
deleting IPC queue 1600979162
deleting IPC queue 1601011931
deleting IPC queue 1601044700
deleting IPC queue 1601077469
deleting IPC queue 1601110238
deleting IPC queue 1601143007
deleting IPC queue 1601175776
deleting IPC queue 1601208545
deleting IPC queue 1601241314
deleting IPC queue 1601274083
deleting IPC queue 1601306852
deleting IPC queue 1601339621
deleting IPC queue 1601372390
deleting IPC queue 1601405159
deleting IPC queue 1601437928
deleting IPC queue 1601470697
deleting IPC queue 1601503466
deleting IPC queue 1601536235
deleting IPC queue 1601569004
deleting IPC queue 1601601773
deleting IPC queue 1601634542
deleting IPC queue 1601667311
deleting IPC queue 1601700080
deleting IPC queue 1601732849
deleting IPC queue 1601765618
deleting IPC queue 1601798387
deleting IPC queue 1601831156
deleting IPC queue 1601863925
deleting IPC queue 1601896694
deleting IPC queue 1601929463
deleting IPC queue 1601962232
deleting IPC queue 1601995001
deleting IPC queue 1602027770
deleting IPC queue 1602060539
deleting IPC queue 1602093308
deleting IPC queue 1602126077
deleting IPC queue 1602158846
deleting IPC queue 1602191615

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1239.95
system time used= 483.89
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 551344
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= 42103352
involuntary context switches= 5085303

runsolver used 2.96419 second user time and 8.49653 second system time

The end

Launcher Data 

Begin job on xenhost3-49 at 2009-06-12 15:35:32
IDJOB=1780062
IDBENCH=70950
IDSOLVER=631
FILE ID=xenhost3-49/1780062-1244813732
PBS_JOBID=
Free space on /tmp= 6999 MiB

SOLVER NAME= satake 2009-03-22 (16 threads)
BENCH NAME= SAT09/APPLICATIONS/c32sat/post-cbmc-aes-ee-r2-noholes.cnf
COMMAND LINE= HOME/satake BENCHNAME MAXNBTHREAD TIMEOUT
RUNSOLVER COMMAND LINE= runsolver --timestamp  -w /tmp/evaluation-result-1780062-1244813732/watcher-1780062-1244813732 -o /tmp/evaluation-result-1780062-1244813732/solver-1780062-1244813732 -C 10000 -W 1000 -M 2047 --output-limit 1,15 --cleanup-all-ipc-queues HOME/satake HOME/instance-1780062-1244813732.cnf 16 10000

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

MD5SUM BENCH= 4c8b9603e0c90cfb3c82064eae956799
RANDOM SEED= 478397983

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:      19101400 kB
Buffers:        434092 kB
Cached:       14142056 kB
SwapCached:          0 kB
Active:        4079028 kB
Inactive:     10505088 kB
SwapTotal:    25398692 kB
SwapFree:     25398692 kB
Dirty:           33204 kB
Writeback:           0 kB
AnonPages:        8172 kB
Mapped:           4004 kB
Slab:           689360 kB
SReclaimable:   662384 kB
SUnreclaim:      26976 kB
PageTables:          0 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
WritebackTmp:        0 kB
CommitLimit:  43612580 kB
Committed_AS:    29492 kB
VmallocTotal: 34359738367 kB
VmallocUsed:    275248 kB
VmallocChunk: 34359462839 kB
DirectMap4k:  99216660 kB
DirectMap2M:         0 kB

Free space on /tmp at the end= 6999 MiB
End job on xenhost3-49 at 2009-06-12 15:47:32