Trace number 1775832

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) 2524.74 393.134

General information on the benchmark

Nameindustrial/anbulagan/
hard-unsat/partial-10-19-u.cnf
MD5SUMec6ae8f44e827ed5bcc8aed459990775
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 variables330372
Number of clauses1570953
Sum of the clauses size3643384
Maximum clause length10
Minimum clause length1
Number of clauses of size 124592
Number of clauses of size 21203951
Number of clauses of size 3281190
Number of clauses of size 46800
Number of clauses of size 527200
Number of clauses of size over 527220

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-1775832-1244723246/watcher-1775832-1244723246 -o /tmp/evaluation-result-1775832-1244723246/solver-1775832-1244723246 -C 10000 -W 1000 -M 2047 --output-limit 1,15 --cleanup-all-ipc-queues HOME/satake HOME/instance-1775832-1244723246.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: 5.28 5.63 7.17 2/184 29392
/proc/meminfo: memFree=19117448/36427776 swapFree=4488/8072
[pid=29392] ppid=29390 vsize=8088 CPUtime=0
/proc/29392/stat : 29392 (satake) R 29390 29392 27791 0 -1 4202496 446 0 0 0 0 0 0 0 20 0 15 0 631631027 8282112 401 18446744073709551615 134512640 135180984 4289143136 18446744073709551615 134702260 0 0 1 0 18446744073709551615 0 0 17 12 0 0 0 0 0
/proc/29392/statm: 2022 402 63 164 0 1857 0
[pid=29392/tid=29393] ppid=29390 vsize=8088 CPUtime=0
/proc/29392/task/29393/stat : 29393 (satake) S 29390 29392 27791 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 16 0 631631027 8282112 407 18446744073709551615 134512640 135180984 4289143136 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 13 0 0 0 0 0
[pid=29392/tid=29394] ppid=29390 vsize=8088 CPUtime=0
/proc/29392/task/29394/stat : 29394 (satake) R 29390 29392 27791 0 -1 4202560 53 0 0 0 0 0 0 0 20 0 16 0 631631027 8282112 407 18446744073709551615 134512640 135180984 4289143136 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 4 0 0 0 0 0
[pid=29392/tid=29395] ppid=29390 vsize=8088 CPUtime=0
/proc/29392/task/29395/stat : 29395 (satake) R 29390 29392 27791 0 -1 4202560 41 0 0 0 0 0 0 0 20 0 16 0 631631027 8282112 407 18446744073709551615 134512640 135180984 4289143136 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 13 0 0 0 0 0
[pid=29392/tid=29396] ppid=29390 vsize=8088 CPUtime=0
/proc/29392/task/29396/stat : 29396 (satake) D 29390 29392 27791 0 -1 4202560 50 0 0 0 0 0 0 0 20 0 16 0 631631027 8282112 407 18446744073709551615 134512640 135180984 4289143136 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 15 0 0 0 0 0
[pid=29392/tid=29397] ppid=29390 vsize=8088 CPUtime=0
/proc/29392/task/29397/stat : 29397 (satake) R 29390 29392 27791 0 -1 4202560 31 0 0 0 0 0 0 0 20 0 16 0 631631027 8282112 408 18446744073709551615 134512640 135180984 4289143136 18446744073709551615 134691935 0 0 1 0 0 0 0 -1 13 0 0 0 0 0
[pid=29392/tid=29398] ppid=29390 vsize=8088 CPUtime=0
/proc/29392/task/29398/stat : 29398 (satake) D 29390 29392 27791 0 -1 4202560 33 0 0 0 0 0 0 0 20 0 16 0 631631027 8282112 409 18446744073709551615 134512640 135180984 4289143136 18446744073709551615 134691935 0 0 1 0 0 0 0 -1 0 0 0 0 0 0
[pid=29392/tid=29399] ppid=29390 vsize=8152 CPUtime=0
/proc/29392/task/29399/stat : 29399 (satake) D 29390 29392 27791 0 -1 4202560 22 0 0 0 0 0 0 0 20 0 16 0 631631027 8347648 410 18446744073709551615 134512640 135180984 4289143136 18446744073709551615 134691935 0 0 1 0 0 0 0 -1 1 0 0 0 0 0
[pid=29392/tid=29400] ppid=29390 vsize=8152 CPUtime=0
/proc/29392/task/29400/stat : 29400 (satake) D 29390 29392 27791 0 -1 4202560 22 0 0 0 0 0 0 0 20 0 16 0 631631027 8347648 411 18446744073709551615 134512640 135180984 4289143136 18446744073709551615 134691935 0 0 1 0 0 0 0 -1 12 0 0 0 0 0
[pid=29392/tid=29401] ppid=29390 vsize=8156 CPUtime=0
/proc/29392/task/29401/stat : 29401 (satake) S 29390 29392 27791 0 -1 4202560 18 0 0 0 0 0 0 0 20 0 16 0 631631027 8351744 411 18446744073709551615 134512640 135180984 4289143136 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 2 0 0 0 0 0
[pid=29392/tid=29402] ppid=29390 vsize=8156 CPUtime=0
/proc/29392/task/29402/stat : 29402 (satake) S 29390 29392 27791 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 16 0 631631027 8351744 417 18446744073709551615 134512640 135180984 4289143136 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 14 0 0 0 0 0
[pid=29392/tid=29403] ppid=29390 vsize=8156 CPUtime=0
/proc/29392/task/29403/stat : 29403 (satake) R 29390 29392 27791 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 16 0 631631028 8351744 418 18446744073709551615 134512640 135180984 4289143136 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 3 0 0 0 0 0
[pid=29392/tid=29404] ppid=29390 vsize=8156 CPUtime=0
/proc/29392/task/29404/stat : 29404 (satake) R 29390 29392 27791 0 -1 4202560 13 0 0 0 0 0 0 0 20 0 16 0 631631028 8351744 418 18446744073709551615 134512640 135180984 4289143136 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 1 0 0 0 0 0
[pid=29392/tid=29405] ppid=29390 vsize=8156 CPUtime=0
/proc/29392/task/29405/stat : 29405 (satake) R 29390 29392 27791 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 16 0 631631028 8351744 418 18446744073709551615 134512640 135180984 4289143136 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 14 0 0 0 0 0
[pid=29392/tid=29406] ppid=29390 vsize=8156 CPUtime=0
/proc/29392/task/29406/stat : 29406 (satake) R 29390 29392 27791 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 16 0 631631028 8351744 418 18446744073709551615 134512640 135180984 4289143136 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 4 0 0 0 0 0
[pid=29392/tid=29407] ppid=29390 vsize=8156 CPUtime=0
/proc/29392/task/29407/stat : 29407 (satake) R 29390 29392 27791 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 16 0 631631028 8351744 418 18446744073709551615 134512640 135180984 4289143136 18446744073709551615 134702260 0 0 1 0 0 0 0 -1 2 0 0 0 0 0

[startup+0.101064 s]
/proc/loadavg: 5.28 5.63 7.17 2/184 29392
/proc/meminfo: memFree=19117448/36427776 swapFree=4488/8072
[pid=29392] ppid=29390 vsize=74372 CPUtime=0.61
/proc/29392/stat : 29392 (satake) S 29390 29392 27791 0 -1 4202496 11878 0 0 0 0 61 0 0 20 0 17 0 631631027 76156928 11833 18446744073709551615 134512640 135180984 4289143136 18446744073709551615 134573496 0 0 1 0 18446744073709551615 0 0 17 12 0 0 0 0 0
/proc/29392/statm: 18849 11839 63 164 0 18684 0
[pid=29392/tid=29393] ppid=29390 vsize=75396 CPUtime=0
/proc/29392/task/29393/stat : 29393 (satake) S 29390 29392 27791 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 17 0 631631027 77205504 11840 18446744073709551615 134512640 135180984 4289143136 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 13 0 0 0 0 0
[pid=29392/tid=29394] ppid=29390 vsize=75396 CPUtime=0.06
/proc/29392/task/29394/stat : 29394 (satake) R 29390 29392 27791 0 -1 4202560 1023 0 0 0 0 6 0 0 20 0 17 0 631631027 77205504 11842 18446744073709551615 134512640 135180984 4289143136 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 4 0 0 0 0 0
[pid=29392/tid=29395] ppid=29390 vsize=75396 CPUtime=0.04
/proc/29392/task/29395/stat : 29395 (satake) R 29390 29392 27791 0 -1 4202560 837 0 0 0 0 4 0 0 20 0 17 0 631631027 77205504 11842 18446744073709551615 134512640 135180984 4289143136 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 13 0 0 0 0 0
[pid=29392/tid=29396] ppid=29390 vsize=75396 CPUtime=0.06
/proc/29392/task/29396/stat : 29396 (satake) R 29390 29392 27791 0 -1 4202560 1178 0 0 0 0 6 0 0 20 0 17 0 631631027 77205504 11842 18446744073709551615 134512640 135180984 4289143136 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 15 0 0 0 0 0
[pid=29392/tid=29397] ppid=29390 vsize=75396 CPUtime=0.02
/proc/29392/task/29397/stat : 29397 (satake) R 29390 29392 27791 0 -1 4202560 324 0 0 0 0 2 0 0 20 0 17 0 631631027 77205504 11842 18446744073709551615 134512640 135180984 4289143136 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 13 0 0 0 0 0
[pid=29392/tid=29398] ppid=29390 vsize=75396 CPUtime=0.06
/proc/29392/task/29398/stat : 29398 (satake) R 29390 29392 27791 0 -1 4202560 1362 0 0 0 0 6 0 0 20 0 17 0 631631027 77205504 11842 18446744073709551615 134512640 135180984 4289143136 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 0 0 0 0 0 0
[pid=29392/tid=29399] ppid=29390 vsize=75396 CPUtime=0.04
/proc/29392/task/29399/stat : 29399 (satake) R 29390 29392 27791 0 -1 4202560 835 0 0 0 0 4 0 0 20 0 17 0 631631027 77205504 11842 18446744073709551615 134512640 135180984 4289143136 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 1 0 0 0 0 0
[pid=29392/tid=29400] ppid=29390 vsize=75396 CPUtime=0.06
/proc/29392/task/29400/stat : 29400 (satake) R 29390 29392 27791 0 -1 4202560 1188 0 0 0 0 6 0 0 20 0 17 0 631631027 77205504 11842 18446744073709551615 134512640 135180984 4289143136 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 12 0 0 0 0 0
[pid=29392/tid=29401] ppid=29390 vsize=75396 CPUtime=0.04
/proc/29392/task/29401/stat : 29401 (satake) R 29390 29392 27791 0 -1 4202560 880 0 0 0 0 4 0 0 20 0 17 0 631631027 77205504 11842 18446744073709551615 134512640 135180984 4289143136 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 2 0 0 0 0 0
[pid=29392/tid=29402] ppid=29390 vsize=75396 CPUtime=0.06
/proc/29392/task/29402/stat : 29402 (satake) R 29390 29392 27791 0 -1 4202560 1301 0 0 0 0 6 0 0 20 0 17 0 631631027 77205504 11843 18446744073709551615 134512640 135180984 4289143136 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 14 0 0 0 0 0
[pid=29392/tid=29403] ppid=29390 vsize=75396 CPUtime=0.06
/proc/29392/task/29403/stat : 29403 (satake) R 29390 29392 27791 0 -1 4202560 1086 0 0 0 0 6 0 0 20 0 17 0 631631028 77205504 11846 18446744073709551615 134512640 135180984 4289143136 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 3 0 0 0 0 0
[pid=29392/tid=29404] ppid=29390 vsize=75396 CPUtime=0
/proc/29392/task/29404/stat : 29404 (satake) R 29390 29392 27791 0 -1 4202560 213 0 0 0 0 0 0 0 20 0 17 0 631631028 77205504 11849 18446744073709551615 134512640 135180984 4289143136 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 1 0 0 0 0 0
[pid=29392/tid=29405] ppid=29390 vsize=75396 CPUtime=0
/proc/29392/task/29405/stat : 29405 (satake) R 29390 29392 27791 0 -1 4202560 161 0 0 0 0 0 0 0 20 0 17 0 631631028 77205504 11850 18446744073709551615 134512640 135180984 4289143136 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 14 0 0 0 0 0
[pid=29392/tid=29406] ppid=29390 vsize=75396 CPUtime=0
/proc/29392/task/29406/stat : 29406 (satake) R 29390 29392 27791 0 -1 4202560 92 0 0 0 0 0 0 0 20 0 17 0 631631028 77205504 11875 18446744073709551615 134512640 135180984 4289143136 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 4 0 0 0 0 0
[pid=29392/tid=29407] ppid=29390 vsize=75396 CPUtime=0
/proc/29392/task/29407/stat : 29407 (satake) R 29390 29392 27791 0 -1 4202560 278 0 0 0 0 0 0 0 20 0 17 0 631631028 77205504 11893 18446744073709551615 134512640 135180984 4289143136 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 0.61
Current children cumulated vsize (KiB) 74372

[startup+0.204986 s]
/proc/loadavg: 5.28 5.63 7.17 2/184 29392
/proc/meminfo: memFree=19117448/36427776 swapFree=4488/8072
[pid=29392] ppid=29390 vsize=199812 CPUtime=1.57
/proc/29392/stat : 29392 (satake) S 29390 29392 27791 0 -1 4202496 35172 0 0 0 0 157 0 0 20 0 17 0 631631027 204607488 35134 18446744073709551615 134512640 135180984 4289143136 18446744073709551615 134573496 0 0 1 0 18446744073709551615 0 0 17 12 0 0 0 0 0
/proc/29392/statm: 49953 35194 63 164 0 49788 0
[pid=29392/tid=29393] ppid=29390 vsize=199812 CPUtime=0
/proc/29392/task/29393/stat : 29393 (satake) S 29390 29392 27791 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 17 0 631631027 204607488 35212 18446744073709551615 134512640 135180984 4289143136 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 13 0 0 0 0 0
[pid=29392/tid=29394] ppid=29390 vsize=199812 CPUtime=0.1
/proc/29392/task/29394/stat : 29394 (satake) R 29390 29392 27791 0 -1 4202560 1810 0 0 0 0 10 0 0 20 0 17 0 631631027 204607488 35237 18446744073709551615 134512640 135180984 4289143136 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 4 0 0 0 0 0
[pid=29392/tid=29395] ppid=29390 vsize=199812 CPUtime=0.12
/proc/29392/task/29395/stat : 29395 (satake) R 29390 29392 27791 0 -1 4202560 2668 0 0 0 0 12 0 0 20 0 17 0 631631027 204607488 35254 18446744073709551615 134512640 135180984 4289143136 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 10 0 0 0 0 0
[pid=29392/tid=29396] ppid=29390 vsize=199812 CPUtime=0.14
/proc/29392/task/29396/stat : 29396 (satake) R 29390 29392 27791 0 -1 4202560 3434 0 0 0 0 14 0 0 20 0 17 0 631631027 204607488 35282 18446744073709551615 134512640 135180984 4289143136 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 15 0 0 0 0 0
[pid=29392/tid=29397] ppid=29390 vsize=199812 CPUtime=0.1
/proc/29392/task/29397/stat : 29397 (satake) R 29390 29392 27791 0 -1 4202560 2684 0 0 0 0 10 0 0 20 0 17 0 631631027 204607488 35302 18446744073709551615 134512640 135180984 4289143136 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 13 0 0 0 0 0
[pid=29392/tid=29398] ppid=29390 vsize=199812 CPUtime=0.14
/proc/29392/task/29398/stat : 29398 (satake) R 29390 29392 27791 0 -1 4202560 3370 0 0 0 0 14 0 0 20 0 17 0 631631027 204607488 35336 18446744073709551615 134512640 135180984 4289143136 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 0 0 0 0 0 0
[pid=29392/tid=29399] ppid=29390 vsize=199812 CPUtime=0.1
/proc/29392/task/29399/stat : 29399 (satake) R 29390 29392 27791 0 -1 4202560 2260 0 0 0 0 10 0 0 20 0 17 0 631631027 204607488 35359 18446744073709551615 134512640 135180984 4289143136 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 1 0 0 0 0 0
[pid=29392/tid=29400] ppid=29390 vsize=199812 CPUtime=0.14
/proc/29392/task/29400/stat : 29400 (satake) R 29390 29392 27791 0 -1 4202560 3392 0 0 0 0 14 0 0 20 0 17 0 631631027 204607488 35379 18446744073709551615 134512640 135180984 4289143136 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 12 0 0 0 0 0
[pid=29392/tid=29401] ppid=29390 vsize=199812 CPUtime=0.1
/proc/29392/task/29401/stat : 29401 (satake) R 29390 29392 27791 0 -1 4202560 2268 0 0 0 0 10 0 0 20 0 17 0 631631027 204607488 35400 18446744073709551615 134512640 135180984 4289143136 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 2 0 0 0 0 0
[pid=29392/tid=29402] ppid=29390 vsize=199812 CPUtime=0.08
/proc/29392/task/29402/stat : 29402 (satake) R 29390 29392 27791 0 -1 4202560 1994 0 0 0 0 8 0 0 20 0 17 0 631631027 204607488 35429 18446744073709551615 134512640 135180984 4289143136 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 14 0 0 0 0 0
[pid=29392/tid=29403] ppid=29390 vsize=199812 CPUtime=0.14
/proc/29392/task/29403/stat : 29403 (satake) R 29390 29392 27791 0 -1 4202560 3447 0 0 0 0 14 0 0 20 0 17 0 631631028 204607488 35452 18446744073709551615 134512640 135180984 4289143136 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 3 0 0 0 0 0
[pid=29392/tid=29404] ppid=29390 vsize=199812 CPUtime=0.04
/proc/29392/task/29404/stat : 29404 (satake) R 29390 29392 27791 0 -1 4202560 1163 0 0 0 0 4 0 0 20 0 17 0 631631028 204607488 35473 18446744073709551615 134512640 135180984 4289143136 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 1 0 0 0 0 0
[pid=29392/tid=29405] ppid=29390 vsize=199812 CPUtime=0.06
/proc/29392/task/29405/stat : 29405 (satake) R 29390 29392 27791 0 -1 4202560 1760 0 0 0 0 6 0 0 20 0 17 0 631631028 204607488 35502 18446744073709551615 134512640 135180984 4289143136 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 14 0 0 0 0 0
[pid=29392/tid=29406] ppid=29390 vsize=199812 CPUtime=0.04
/proc/29392/task/29406/stat : 29406 (satake) R 29390 29392 27791 0 -1 4202560 1172 0 0 0 0 4 0 0 20 0 17 0 631631028 204607488 35524 18446744073709551615 134512640 135180984 4289143136 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 4 0 0 0 0 0
[pid=29392/tid=29407] ppid=29390 vsize=199812 CPUtime=0.04
/proc/29392/task/29407/stat : 29407 (satake) R 29390 29392 27791 0 -1 4202560 1040 0 0 0 0 4 0 0 20 0 17 0 631631028 204607488 35550 18446744073709551615 134512640 135180984 4289143136 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1.57
Current children cumulated vsize (KiB) 199812

[startup+0.305026 s]
/proc/loadavg: 5.28 5.63 7.17 2/184 29392
/proc/meminfo: memFree=19117448/36427776 swapFree=4488/8072
[pid=29392] ppid=29390 vsize=367748 CPUtime=2.46
/proc/29392/stat : 29392 (satake) S 29390 29392 27791 0 -1 4202496 59273 0 0 0 0 246 0 0 20 0 17 0 631631027 376573952 59237 18446744073709551615 134512640 135180984 4289143136 18446744073709551615 134573496 0 0 1 0 18446744073709551615 0 0 17 12 0 0 0 0 0
/proc/29392/statm: 91937 59291 63 164 0 91772 0
[pid=29392/tid=29393] ppid=29390 vsize=367748 CPUtime=0
/proc/29392/task/29393/stat : 29393 (satake) S 29390 29392 27791 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 17 0 631631027 376573952 59325 18446744073709551615 134512640 135180984 4289143136 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 13 0 0 0 0 0
[pid=29392/tid=29394] ppid=29390 vsize=367748 CPUtime=0.16
/proc/29392/task/29394/stat : 29394 (satake) R 29390 29392 27791 0 -1 4202560 3191 0 0 0 0 16 0 0 20 0 17 0 631631027 376573952 59356 18446744073709551615 134512640 135180984 4289143136 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 4 0 0 0 0 0
[pid=29392/tid=29395] ppid=29390 vsize=367748 CPUtime=0.2
/proc/29392/task/29395/stat : 29395 (satake) R 29390 29392 27791 0 -1 4202560 4659 0 0 0 0 20 0 0 20 0 17 0 631631027 376573952 59382 18446744073709551615 134512640 135180984 4289143136 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 10 0 0 0 0 0
[pid=29392/tid=29396] ppid=29390 vsize=367748 CPUtime=0.22
/proc/29392/task/29396/stat : 29396 (satake) R 29390 29392 27791 0 -1 4202560 5961 0 0 0 0 22 0 0 20 0 17 0 631631027 376573952 59406 18446744073709551615 134512640 135180984 4289143136 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 15 0 0 0 0 0
[pid=29392/tid=29397] ppid=29390 vsize=367748 CPUtime=0.18
/proc/29392/task/29397/stat : 29397 (satake) R 29390 29392 27791 0 -1 4202560 5058 0 0 0 0 18 0 0 20 0 17 0 631631027 376573952 59428 18446744073709551615 134512640 135180984 4289143136 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 13 0 0 0 0 0
[pid=29392/tid=29398] ppid=29390 vsize=367748 CPUtime=0.22
/proc/29392/task/29398/stat : 29398 (satake) R 29390 29392 27791 0 -1 4202560 5515 0 0 0 0 22 0 0 20 0 17 0 631631027 376573952 59471 18446744073709551615 134512640 135180984 4289143136 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 0 0 0 0 0 0
[pid=29392/tid=29399] ppid=29390 vsize=367748 CPUtime=0.16
/proc/29392/task/29399/stat : 29399 (satake) R 29390 29392 27791 0 -1 4202560 3549 0 0 0 0 16 0 0 20 0 17 0 631631027 376573952 59494 18446744073709551615 134512640 135180984 4289143136 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 1 0 0 0 0 0
[pid=29392/tid=29400] ppid=29390 vsize=367748 CPUtime=0.22
/proc/29392/task/29400/stat : 29400 (satake) R 29390 29392 27791 0 -1 4202560 5691 0 0 0 0 22 0 0 20 0 17 0 631631027 376573952 59519 18446744073709551615 134512640 135180984 4289143136 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 12 0 0 0 0 0
[pid=29392/tid=29401] ppid=29390 vsize=367748 CPUtime=0.14
/proc/29392/task/29401/stat : 29401 (satake) R 29390 29392 27791 0 -1 4202560 3319 0 0 0 0 14 0 0 20 0 17 0 631631027 376573952 59543 18446744073709551615 134512640 135180984 4289143136 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 2 0 0 0 0 0
[pid=29392/tid=29402] ppid=29390 vsize=367748 CPUtime=0.14
/proc/29392/task/29402/stat : 29402 (satake) R 29390 29392 27791 0 -1 4202560 4114 0 0 0 0 14 0 0 20 0 17 0 631631027 376573952 59568 18446744073709551615 134512640 135180984 4289143136 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 14 0 0 0 0 0
[pid=29392/tid=29403] ppid=29390 vsize=367748 CPUtime=0.22
/proc/29392/task/29403/stat : 29403 (satake) R 29390 29392 27791 0 -1 4202560 5537 0 0 0 0 22 0 0 20 0 17 0 631631028 376573952 59598 18446744073709551615 134512640 135180984 4289143136 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 3 0 0 0 0 0
[pid=29392/tid=29404] ppid=29390 vsize=367748 CPUtime=0.08
/proc/29392/task/29404/stat : 29404 (satake) R 29390 29392 27791 0 -1 4202560 1981 0 0 0 0 8 0 0 20 0 17 0 631631028 376573952 59621 18446744073709551615 134512640 135180984 4289143136 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 1 0 0 0 0 0
[pid=29392/tid=29405] ppid=29390 vsize=367748 CPUtime=0.08
/proc/29392/task/29405/stat : 29405 (satake) R 29390 29392 27791 0 -1 4202560 2323 0 0 0 0 8 0 0 20 0 17 0 631631028 376573952 59666 18446744073709551615 134512640 135180984 4289143136 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 14 0 0 0 0 0
[pid=29392/tid=29406] ppid=29390 vsize=367748 CPUtime=0.08
/proc/29392/task/29406/stat : 29406 (satake) R 29390 29392 27791 0 -1 4202560 1650 0 0 0 0 8 0 0 20 0 17 0 631631028 376573952 59697 18446744073709551615 134512640 135180984 4289143136 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 4 0 0 0 0 0
[pid=29392/tid=29407] ppid=29390 vsize=367748 CPUtime=0.08
/proc/29392/task/29407/stat : 29407 (satake) R 29390 29392 27791 0 -1 4202560 2193 0 0 0 0 8 0 0 20 0 17 0 631631028 376573952 59720 18446744073709551615 134512640 135180984 4289143136 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 2.46
Current children cumulated vsize (KiB) 367748

[startup+0.707629 s]
/proc/loadavg: 5.28 5.63 7.17 2/184 29392
/proc/meminfo: memFree=19117448/36427776 swapFree=4488/8072
[pid=29392] ppid=29390 vsize=491704 CPUtime=5.51
/proc/29392/stat : 29392 (satake) S 29390 29392 27791 0 -1 4202496 91088 0 0 0 3 548 0 0 20 0 17 0 631631027 503504896 91043 18446744073709551615 134512640 135180984 4289143136 18446744073709551615 134573496 0 0 1 0 18446744073709551615 0 0 17 12 0 0 0 0 0
/proc/29392/statm: 122926 91046 63 164 0 122761 0
[pid=29392/tid=29393] ppid=29390 vsize=491704 CPUtime=0
/proc/29392/task/29393/stat : 29393 (satake) S 29390 29392 27791 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 17 0 631631027 503504896 91046 18446744073709551615 134512640 135180984 4289143136 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 13 0 0 0 0 0
[pid=29392/tid=29394] ppid=29390 vsize=491836 CPUtime=0.3
/proc/29392/task/29394/stat : 29394 (satake) D 29390 29392 27791 0 -1 4202560 4346 0 0 0 0 30 0 0 20 0 17 0 631631027 503640064 91047 18446744073709551615 134512640 135180984 4289143136 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 4 0 0 0 0 0
[pid=29392/tid=29395] ppid=29390 vsize=491836 CPUtime=0.46
/proc/29392/task/29395/stat : 29395 (satake) R 29390 29392 27791 0 -1 4202560 7258 0 0 0 0 46 0 0 20 0 17 0 631631027 503640064 91048 18446744073709551615 134512640 135180984 4289143136 18446744073709551615 134579486 0 0 1 0 0 0 0 -1 10 0 0 0 0 0
[pid=29392/tid=29396] ppid=29390 vsize=491836 CPUtime=0.5
/proc/29392/task/29396/stat : 29396 (satake) R 29390 29392 27791 0 -1 4202560 8359 0 0 0 2 48 0 0 20 0 17 0 631631027 503640064 91048 18446744073709551615 134512640 135180984 4289143136 18446744073709551615 134702260 0 0 1 0 0 0 0 -1 15 0 0 0 0 0
[pid=29392/tid=29397] ppid=29390 vsize=491836 CPUtime=0.46
/proc/29392/task/29397/stat : 29397 (satake) D 29390 29392 27791 0 -1 4202560 7749 0 0 0 0 46 0 0 20 0 17 0 631631027 503640064 91050 18446744073709551615 134512640 135180984 4289143136 18446744073709551615 134676560 0 0 1 0 0 0 0 -1 13 0 0 0 0 0
[pid=29392/tid=29398] ppid=29390 vsize=491836 CPUtime=0.5
/proc/29392/task/29398/stat : 29398 (satake) R 29390 29392 27791 0 -1 4202560 8133 0 0 0 0 50 0 0 20 0 17 0 631631027 503640064 91054 18446744073709551615 134512640 135180984 4289143136 18446744073709551615 134675846 0 0 1 0 0 0 0 -1 0 0 0 0 0 0
[pid=29392/tid=29399] ppid=29390 vsize=491836 CPUtime=0.28
/proc/29392/task/29399/stat : 29399 (satake) R 29390 29392 27791 0 -1 4202560 4586 0 0 0 0 28 0 0 20 0 17 0 631631027 503640064 91056 18446744073709551615 134512640 135180984 4289143136 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 1 0 0 0 0 0
[pid=29392/tid=29400] ppid=29390 vsize=491836 CPUtime=0.48
/proc/29392/task/29400/stat : 29400 (satake) R 29390 29392 27791 0 -1 4202560 7897 0 0 0 0 48 0 0 20 0 17 0 631631027 503640064 91056 18446744073709551615 134512640 135180984 4289143136 18446744073709551615 134675846 0 0 1 0 0 0 0 -1 12 0 0 0 0 0
[pid=29392/tid=29401] ppid=29390 vsize=491836 CPUtime=0.28
/proc/29392/task/29401/stat : 29401 (satake) R 29390 29392 27791 0 -1 4202560 4496 0 0 0 0 28 0 0 20 0 17 0 631631027 503640064 91057 18446744073709551615 134512640 135180984 4289143136 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 2 0 0 0 0 0
[pid=29392/tid=29402] ppid=29390 vsize=491836 CPUtime=0.28
/proc/29392/task/29402/stat : 29402 (satake) R 29390 29392 27791 0 -1 4202560 5318 0 0 0 0 28 0 0 20 0 17 0 631631027 503640064 91057 18446744073709551615 134512640 135180984 4289143136 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 14 0 0 0 0 0
[pid=29392/tid=29403] ppid=29390 vsize=491836 CPUtime=0.5
/proc/29392/task/29403/stat : 29403 (satake) R 29390 29392 27791 0 -1 4202560 7950 0 0 0 0 50 0 0 20 0 17 0 631631028 503640064 91057 18446744073709551615 134512640 135180984 4289143136 18446744073709551615 134675767 0 0 1 0 0 0 0 -1 3 0 0 0 0 0
[pid=29392/tid=29404] ppid=29390 vsize=491836 CPUtime=0.24
/proc/29392/task/29404/stat : 29404 (satake) R 29390 29392 27791 0 -1 4202560 4223 0 0 0 0 24 0 0 20 0 17 0 631631028 503640064 91071 18446744073709551615 134512640 135180984 4289143136 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 1 0 0 0 0 0
[pid=29392/tid=29405] ppid=29390 vsize=491836 CPUtime=0.24
/proc/29392/task/29405/stat : 29405 (satake) D 29390 29392 27791 0 -1 4202560 4828 0 0 0 0 24 0 0 20 0 17 0 631631028 503640064 91073 18446744073709551615 134512640 135180984 4289143136 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 14 0 0 0 0 0
[pid=29392/tid=29406] ppid=29390 vsize=491836 CPUtime=0.22

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

deleting IPC queue 187105358
deleting IPC queue 187138127
deleting IPC queue 187170896
deleting IPC queue 187203665
deleting IPC queue 187236434
deleting IPC queue 187269203
deleting IPC queue 187301972
deleting IPC queue 187334741
deleting IPC queue 187367510
deleting IPC queue 187400279
deleting IPC queue 187433048
deleting IPC queue 187465817
deleting IPC queue 187498586
deleting IPC queue 187531355
deleting IPC queue 187564124
deleting IPC queue 187596893
deleting IPC queue 187629662
deleting IPC queue 187662431
deleting IPC queue 187695200
deleting IPC queue 187727969
deleting IPC queue 187760738
deleting IPC queue 187793507
deleting IPC queue 187826276
deleting IPC queue 187859045
deleting IPC queue 187891814
deleting IPC queue 187924583
deleting IPC queue 187957352
deleting IPC queue 187990121
deleting IPC queue 188022890
deleting IPC queue 188055659
deleting IPC queue 188088428
deleting IPC queue 188121197
deleting IPC queue 188153966
deleting IPC queue 188186735
deleting IPC queue 188219504
deleting IPC queue 188252273
deleting IPC queue 188285042
deleting IPC queue 188317811
deleting IPC queue 188350580
deleting IPC queue 188383349
deleting IPC queue 188416118
deleting IPC queue 188448887
deleting IPC queue 188481656
deleting IPC queue 188514425
deleting IPC queue 188547194
deleting IPC queue 188579963
deleting IPC queue 188612732
deleting IPC queue 188645501
deleting IPC queue 188678270
deleting IPC queue 188711039
deleting IPC queue 188743808
deleting IPC queue 188776577
deleting IPC queue 188809346
deleting IPC queue 188842115
deleting IPC queue 188874884
deleting IPC queue 188907653
deleting IPC queue 188940422
deleting IPC queue 188973191
deleting IPC queue 189005960
deleting IPC queue 189038729
deleting IPC queue 189071498
deleting IPC queue 189104267
deleting IPC queue 189137036
deleting IPC queue 189169805
deleting IPC queue 189202574
deleting IPC queue 189235343
deleting IPC queue 189268112
deleting IPC queue 189300881
deleting IPC queue 189333650
deleting IPC queue 189366419
deleting IPC queue 189399188
deleting IPC queue 189431957
deleting IPC queue 189464726
deleting IPC queue 189497495
deleting IPC queue 189530264
deleting IPC queue 189563033
deleting IPC queue 189595802
deleting IPC queue 189628571
deleting IPC queue 189661340
deleting IPC queue 189694109
deleting IPC queue 189726878
deleting IPC queue 189759647
deleting IPC queue 189792416
deleting IPC queue 189825185
deleting IPC queue 189857954
deleting IPC queue 189890723
deleting IPC queue 189923492
deleting IPC queue 189956261
deleting IPC queue 189989030
deleting IPC queue 190021799
deleting IPC queue 190054568
deleting IPC queue 190087337
deleting IPC queue 190120106
deleting IPC queue 190152875
deleting IPC queue 190185644
deleting IPC queue 190218413
deleting IPC queue 190251182
deleting IPC queue 190283951
deleting IPC queue 190316720
deleting IPC queue 190349489
deleting IPC queue 190382258
deleting IPC queue 190415027
deleting IPC queue 190447796
deleting IPC queue 190480565
deleting IPC queue 190513334
deleting IPC queue 190546103
deleting IPC queue 190578872
deleting IPC queue 190611641
deleting IPC queue 190644410
deleting IPC queue 190677179
deleting IPC queue 190709948
deleting IPC queue 190742717
deleting IPC queue 190775486
deleting IPC queue 190808255
deleting IPC queue 190841024
deleting IPC queue 190873793
deleting IPC queue 190906562
deleting IPC queue 190939331
deleting IPC queue 190972100
deleting IPC queue 191004869
deleting IPC queue 191037638
deleting IPC queue 191070407
deleting IPC queue 191103176
deleting IPC queue 191135945
deleting IPC queue 191168714
deleting IPC queue 191201483
deleting IPC queue 191234252
deleting IPC queue 191267021
deleting IPC queue 191299790
deleting IPC queue 191332559
deleting IPC queue 191365328
deleting IPC queue 191398097
deleting IPC queue 191430866
deleting IPC queue 191463635
deleting IPC queue 191496404
deleting IPC queue 191529173
deleting IPC queue 191561942
deleting IPC queue 191594711
deleting IPC queue 191627480
deleting IPC queue 191660249
deleting IPC queue 191693018
deleting IPC queue 191725787
deleting IPC queue 191758556
deleting IPC queue 191791325
deleting IPC queue 191824094
deleting IPC queue 191856863
deleting IPC queue 191889632
deleting IPC queue 191922401
deleting IPC queue 191955170
deleting IPC queue 191987939
deleting IPC queue 192020708
deleting IPC queue 192053477
deleting IPC queue 192086246
deleting IPC queue 192119015
deleting IPC queue 192151784
deleting IPC queue 192184553
deleting IPC queue 192217322
deleting IPC queue 192250091
deleting IPC queue 192282860
deleting IPC queue 192315629
deleting IPC queue 192348398
deleting IPC queue 192381167
deleting IPC queue 192413936
deleting IPC queue 192446705
deleting IPC queue 192479474
deleting IPC queue 192512243
deleting IPC queue 192545012
deleting IPC queue 192577781
deleting IPC queue 192610550
deleting IPC queue 192643319
deleting IPC queue 192676088
deleting IPC queue 192708857
deleting IPC queue 192741626
deleting IPC queue 192774395
deleting IPC queue 192807164
deleting IPC queue 192839933
deleting IPC queue 192872702
deleting IPC queue 192905471

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2302.16
system time used= 222.578
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 556252
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= 18421493
involuntary context switches= 1075152

runsolver used 2.12813 second user time and 4.65629 second system time

The end

Launcher Data 

Begin job on xenhost3-49 at 2009-06-11 14:27:26
IDJOB=1775832
IDBENCH=20388
IDSOLVER=631
FILE ID=xenhost3-49/1775832-1244723246
PBS_JOBID=
Free space on /tmp= 7013 MiB

SOLVER NAME= satake 2009-03-22 (16 threads)
BENCH NAME= SAT07/industrial/anbulagan/hard-unsat/partial-10-19-u.cnf
COMMAND LINE= HOME/satake BENCHNAME MAXNBTHREAD TIMEOUT
RUNSOLVER COMMAND LINE= runsolver --timestamp  -w /tmp/evaluation-result-1775832-1244723246/watcher-1775832-1244723246 -o /tmp/evaluation-result-1775832-1244723246/solver-1775832-1244723246 -C 10000 -W 1000 -M 2047 --output-limit 1,15 --cleanup-all-ipc-queues HOME/satake HOME/instance-1775832-1244723246.cnf 16 10000

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

MD5SUM BENCH= ec6ae8f44e827ed5bcc8aed459990775
RANDOM SEED= 507784614

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:      19117448 kB
Buffers:        432100 kB
Cached:       14128248 kB
SwapCached:          0 kB
Active:        4076756 kB
Inactive:     10491544 kB
SwapTotal:    25398692 kB
SwapFree:     25398692 kB
Dirty:           29232 kB
Writeback:           0 kB
AnonPages:        8072 kB
Mapped:           3824 kB
Slab:           688352 kB
SReclaimable:   661480 kB
SUnreclaim:      26872 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= 7012 MiB
End job on xenhost3-49 at 2009-06-11 14:34:02