Trace number 1780182

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) 58.5877 13.9235

General information on the benchmark

NameAPPLICATIONS/c32sat/
post-cbmc-aes-ee-r3-noholes.cnf
MD5SUM91d125ee3007575f40ddeef126d7f80f
Bench CategoryAPPLICATION (applications instances)
Best result obtained on this benchmarkUNSAT
Best CPU time to get the best result obtained on this benchmark2834.97
Satisfiable
(Un)Satisfiability was proved
Number of variables498723
Number of clauses2928183
Sum of the clauses size7885040
Maximum clause length33
Minimum clause length1
Number of clauses of size 170035
Number of clauses of size 22107033
Number of clauses of size 3609981
Number of clauses of size 419805
Number of clauses of size 50
Number of clauses of size over 5121329

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-1780182-1244819281/watcher-1780182-1244819281 -o /tmp/evaluation-result-1780182-1244819281/solver-1780182-1244819281 -C 10000 -W 1000 -M 2047 --output-limit 1,15 --cleanup-all-ipc-queues HOME/satake HOME/instance-1780182-1244819281.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: 8.45 7.08 5.23 2/184 8599
/proc/meminfo: memFree=19066664/36427776 swapFree=3684/8320
[pid=8599] ppid=8597 vsize=6896 CPUtime=0
/proc/8599/stat : 8599 (satake) R 8597 8599 27791 0 -1 4202496 394 0 0 0 0 0 0 0 20 0 15 0 641234679 7061504 347 18446744073709551615 134512640 135180984 4291169088 18446744073709551615 134705812 0 0 1 0 18446744073709551615 0 0 17 13 0 0 0 0 0
/proc/8599/statm: 1725 347 63 164 0 1560 0
[pid=8599/tid=8600] ppid=8597 vsize=9468 CPUtime=0
/proc/8599/task/8600/stat : 8600 (satake) S 8597 8599 27791 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 16 0 641234680 9695232 443 18446744073709551615 134512640 135180984 4291169088 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 14 0 0 0 0 0
[pid=8599/tid=8601] ppid=8597 vsize=9468 CPUtime=0
/proc/8599/task/8601/stat : 8601 (satake) R 8597 8599 27791 0 -1 4202560 57 0 0 0 0 0 0 0 20 0 16 0 641234680 9695232 445 18446744073709551615 134512640 135180984 4291169088 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 15 0 0 0 0 0
[pid=8599/tid=8602] ppid=8597 vsize=9468 CPUtime=0
/proc/8599/task/8602/stat : 8602 (satake) S 8597 8599 27791 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 16 0 641234680 9695232 445 18446744073709551615 134512640 135180984 4291169088 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 15 0 0 0 0 0
[pid=8599/tid=8603] ppid=8597 vsize=9468 CPUtime=0
/proc/8599/task/8603/stat : 8603 (satake) R 8597 8599 27791 0 -1 4202560 42 0 0 0 0 0 0 0 20 0 16 0 641234680 9695232 445 18446744073709551615 134512640 135180984 4291169088 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 14 0 0 0 0 0
[pid=8599/tid=8604] ppid=8597 vsize=9468 CPUtime=0
/proc/8599/task/8604/stat : 8604 (satake) R 8597 8599 27791 0 -1 4202560 49 0 0 0 0 0 0 0 20 0 16 0 641234680 9695232 445 18446744073709551615 134512640 135180984 4291169088 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 0 0 0 0 0 0
[pid=8599/tid=8605] ppid=8597 vsize=9468 CPUtime=0
/proc/8599/task/8605/stat : 8605 (satake) D 8597 8599 27791 0 -1 4202560 34 0 0 0 0 0 0 0 20 0 16 0 641234680 9695232 445 18446744073709551615 134512640 135180984 4291169088 18446744073709551615 134691935 0 0 1 0 0 0 0 -1 14 0 0 0 0 0
[pid=8599/tid=8606] ppid=8597 vsize=9468 CPUtime=0
/proc/8599/task/8606/stat : 8606 (satake) S 8597 8599 27791 0 -1 4202560 18 0 0 0 0 0 0 0 20 0 16 0 641234680 9695232 445 18446744073709551615 134512640 135180984 4291169088 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 1 0 0 0 0 0
[pid=8599/tid=8607] ppid=8597 vsize=9468 CPUtime=0
/proc/8599/task/8607/stat : 8607 (satake) R 8597 8599 27791 0 -1 4202560 33 0 0 0 0 0 0 0 20 0 16 0 641234680 9695232 446 18446744073709551615 134512640 135180984 4291169088 18446744073709551615 134691935 0 0 1 0 0 0 0 -1 13 0 0 0 0 0
[pid=8599/tid=8608] ppid=8597 vsize=8684 CPUtime=0
/proc/8599/task/8608/stat : 8608 (satake) D 8597 8599 27791 0 -1 4202560 25 0 0 0 0 0 0 0 20 0 16 0 641234680 8892416 446 18446744073709551615 134512640 135180984 4291169088 18446744073709551615 134691935 0 0 1 0 0 0 0 -1 2 0 0 0 0 0
[pid=8599/tid=8609] ppid=8597 vsize=8816 CPUtime=0
/proc/8599/task/8609/stat : 8609 (satake) S 8597 8599 27791 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 16 0 641234680 9027584 447 18446744073709551615 134512640 135180984 4291169088 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 3 0 0 0 0 0
[pid=8599/tid=8610] ppid=8597 vsize=8816 CPUtime=0
/proc/8599/task/8610/stat : 8610 (satake) D 8597 8599 27791 0 -1 4202560 29 0 0 0 0 0 0 0 20 0 16 0 641234680 9027584 450 18446744073709551615 134512640 135180984 4291169088 18446744073709551615 134691935 0 0 1 0 0 0 0 -1 4 0 0 0 0 0
[pid=8599/tid=8611] ppid=8597 vsize=8816 CPUtime=0
/proc/8599/task/8611/stat : 8611 (satake) S 8597 8599 27791 0 -1 4202560 18 0 0 0 0 0 0 0 20 0 16 0 641234680 9027584 453 18446744073709551615 134512640 135180984 4291169088 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 5 0 0 0 0 0
[pid=8599/tid=8612] ppid=8597 vsize=8816 CPUtime=0
/proc/8599/task/8612/stat : 8612 (satake) R 8597 8599 27791 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 16 0 641234680 9027584 454 18446744073709551615 134512640 135180984 4291169088 18446744073709551615 134702083 0 0 1 0 0 0 0 -1 1 0 0 0 0 0
[pid=8599/tid=8613] ppid=8597 vsize=8816 CPUtime=0
/proc/8599/task/8613/stat : 8613 (satake) D 8597 8599 27791 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 16 0 641234680 9027584 454 18446744073709551615 134512640 135180984 4291169088 18446744073709551615 134702225 0 0 1 0 0 0 0 -1 1 0 0 0 0 0
[pid=8599/tid=8614] ppid=8597 vsize=8816 CPUtime=0
/proc/8599/task/8614/stat : 8614 (satake) R 8597 8599 27791 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 16 0 641234680 9027584 454 18446744073709551615 134512640 135180984 4291169088 18446744073709551615 134693905 0 0 1 0 0 0 0 -1 6 0 0 0 0 0

[startup+0.092881 s]
/proc/loadavg: 8.45 7.08 5.23 2/184 8599
/proc/meminfo: memFree=19066664/36427776 swapFree=3684/8320
[pid=8599] ppid=8597 vsize=72232 CPUtime=0.56
/proc/8599/stat : 8599 (satake) S 8597 8599 27791 0 -1 4202496 11422 0 0 0 4 52 0 0 20 0 17 0 641234679 73965568 11380 18446744073709551615 134512640 135180984 4291169088 18446744073709551615 134573496 0 0 1 0 18446744073709551615 0 0 17 13 0 0 0 0 0
/proc/8599/statm: 18058 11448 63 164 0 17893 0
[pid=8599/tid=8600] ppid=8597 vsize=72232 CPUtime=0
/proc/8599/task/8600/stat : 8600 (satake) S 8597 8599 27791 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 17 0 641234680 73965568 11471 18446744073709551615 134512640 135180984 4291169088 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 14 0 0 0 0 0
[pid=8599/tid=8601] ppid=8597 vsize=72232 CPUtime=0.06
/proc/8599/task/8601/stat : 8601 (satake) R 8597 8599 27791 0 -1 4202560 1018 0 0 0 0 6 0 0 20 0 17 0 641234680 73965568 11492 18446744073709551615 134512640 135180984 4291169088 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 15 0 0 0 0 0
[pid=8599/tid=8602] ppid=8597 vsize=72232 CPUtime=0
/proc/8599/task/8602/stat : 8602 (satake) R 8597 8599 27791 0 -1 4202560 81 0 0 0 0 0 0 0 20 0 17 0 641234680 73965568 11522 18446744073709551615 134512640 135180984 4291169088 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 15 0 0 0 0 0
[pid=8599/tid=8603] ppid=8597 vsize=72232 CPUtime=0.04
/proc/8599/task/8603/stat : 8603 (satake) R 8597 8599 27791 0 -1 4202560 654 0 0 0 0 4 0 0 20 0 17 0 641234680 73965568 11542 18446744073709551615 134512640 135180984 4291169088 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 14 0 0 0 0 0
[pid=8599/tid=8604] ppid=8597 vsize=72232 CPUtime=0.04
/proc/8599/task/8604/stat : 8604 (satake) R 8597 8599 27791 0 -1 4202560 1278 0 0 0 0 4 0 0 20 0 17 0 641234680 73965568 11585 18446744073709551615 134512640 135180984 4291169088 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 0 0 0 0 0 0
[pid=8599/tid=8605] ppid=8597 vsize=72232 CPUtime=0.02
/proc/8599/task/8605/stat : 8605 (satake) R 8597 8599 27791 0 -1 4202560 516 0 0 0 2 0 0 0 20 0 17 0 641234680 73965568 11616 18446744073709551615 134512640 135180984 4291169088 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 14 0 0 0 0 0
[pid=8599/tid=8606] ppid=8597 vsize=72232 CPUtime=0.04
/proc/8599/task/8606/stat : 8606 (satake) R 8597 8599 27791 0 -1 4202560 726 0 0 0 0 4 0 0 20 0 17 0 641234680 73965568 11636 18446744073709551615 134512640 135180984 4291169088 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 5 0 0 0 0 0
[pid=8599/tid=8607] ppid=8597 vsize=72232 CPUtime=0.06
/proc/8599/task/8607/stat : 8607 (satake) R 8597 8599 27791 0 -1 4202560 1130 0 0 0 0 6 0 0 20 0 17 0 641234680 73965568 11669 18446744073709551615 134512640 135180984 4291169088 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 13 0 0 0 0 0
[pid=8599/tid=8608] ppid=8597 vsize=72232 CPUtime=0.06
/proc/8599/task/8608/stat : 8608 (satake) R 8597 8599 27791 0 -1 4202560 1038 0 0 0 0 6 0 0 20 0 17 0 641234680 73965568 11685 18446744073709551615 134512640 135180984 4291169088 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 2 0 0 0 0 0
[pid=8599/tid=8609] ppid=8597 vsize=72232 CPUtime=0.04
/proc/8599/task/8609/stat : 8609 (satake) R 8597 8599 27791 0 -1 4202560 1079 0 0 0 0 4 0 0 20 0 17 0 641234680 73965568 11715 18446744073709551615 134512640 135180984 4291169088 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 3 0 0 0 0 0
[pid=8599/tid=8610] ppid=8597 vsize=72232 CPUtime=0.06
/proc/8599/task/8610/stat : 8610 (satake) R 8597 8599 27791 0 -1 4202560 1302 0 0 0 0 6 0 0 20 0 17 0 641234680 73965568 11749 18446744073709551615 134512640 135180984 4291169088 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 4 0 0 0 0 0
[pid=8599/tid=8611] ppid=8597 vsize=72232 CPUtime=0
/proc/8599/task/8611/stat : 8611 (satake) R 8597 8599 27791 0 -1 4202560 384 0 0 0 0 0 0 0 20 0 17 0 641234680 73965568 11762 18446744073709551615 134512640 135180984 4291169088 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 5 0 0 0 0 0
[pid=8599/tid=8612] ppid=8597 vsize=72232 CPUtime=0.04
/proc/8599/task/8612/stat : 8612 (satake) D 8597 8599 27791 0 -1 4202560 1017 0 0 0 0 4 0 0 20 0 17 0 641234680 73965568 11762 18446744073709551615 134512640 135180984 4291169088 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 6 0 0 0 0 0
[pid=8599/tid=8613] ppid=8597 vsize=72232 CPUtime=0.02
/proc/8599/task/8613/stat : 8613 (satake) R 8597 8599 27791 0 -1 4202560 300 0 0 0 2 0 0 0 20 0 17 0 641234680 73965568 11762 18446744073709551615 134512640 135180984 4291169088 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 1 0 0 0 0 0
[pid=8599/tid=8614] ppid=8597 vsize=72232 CPUtime=0
/proc/8599/task/8614/stat : 8614 (satake) D 8597 8599 27791 0 -1 4202560 199 0 0 0 0 0 0 0 20 0 17 0 641234680 73965568 11762 18446744073709551615 134512640 135180984 4291169088 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 0.56
Current children cumulated vsize (KiB) 72232

[startup+0.104806 s]
/proc/loadavg: 8.45 7.08 5.23 2/184 8599
/proc/meminfo: memFree=19066664/36427776 swapFree=3684/8320
[pid=8599] ppid=8597 vsize=86568 CPUtime=0.62
/proc/8599/stat : 8599 (satake) S 8597 8599 27791 0 -1 4202496 13278 0 0 0 4 58 0 0 20 0 17 0 641234679 88645632 13231 18446744073709551615 134512640 135180984 4291169088 18446744073709551615 134573496 0 0 1 0 18446744073709551615 0 0 17 13 0 0 0 0 0
/proc/8599/statm: 21642 13233 63 164 0 21477 0
[pid=8599/tid=8600] ppid=8597 vsize=86568 CPUtime=0
/proc/8599/task/8600/stat : 8600 (satake) S 8597 8599 27791 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 17 0 641234680 88645632 13233 18446744073709551615 134512640 135180984 4291169088 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 14 0 0 0 0 0
[pid=8599/tid=8601] ppid=8597 vsize=86568 CPUtime=0.06
/proc/8599/task/8601/stat : 8601 (satake) R 8597 8599 27791 0 -1 4202560 1169 0 0 0 0 6 0 0 20 0 17 0 641234680 88645632 13237 18446744073709551615 134512640 135180984 4291169088 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 15 0 0 0 0 0
[pid=8599/tid=8602] ppid=8597 vsize=86568 CPUtime=0
/proc/8599/task/8602/stat : 8602 (satake) R 8597 8599 27791 0 -1 4202560 85 0 0 0 0 0 0 0 20 0 17 0 641234680 88645632 13255 18446744073709551615 134512640 135180984 4291169088 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 15 0 0 0 0 0
[pid=8599/tid=8603] ppid=8597 vsize=86568 CPUtime=0.04
/proc/8599/task/8603/stat : 8603 (satake) R 8597 8599 27791 0 -1 4202560 658 0 0 0 0 4 0 0 20 0 17 0 641234680 88645632 13281 18446744073709551615 134512640 135180984 4291169088 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 14 0 0 0 0 0
[pid=8599/tid=8604] ppid=8597 vsize=86568 CPUtime=0.06
/proc/8599/task/8604/stat : 8604 (satake) R 8597 8599 27791 0 -1 4202560 1490 0 0 0 0 6 0 0 20 0 17 0 641234680 88645632 13302 18446744073709551615 134512640 135180984 4291169088 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 0 0 0 0 0 0
[pid=8599/tid=8605] ppid=8597 vsize=86568 CPUtime=0.02
/proc/8599/task/8605/stat : 8605 (satake) R 8597 8599 27791 0 -1 4202560 660 0 0 0 2 0 0 0 20 0 17 0 641234680 88645632 13328 18446744073709551615 134512640 135180984 4291169088 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 14 0 0 0 0 0
[pid=8599/tid=8606] ppid=8597 vsize=86568 CPUtime=0.04
/proc/8599/task/8606/stat : 8606 (satake) R 8597 8599 27791 0 -1 4202560 877 0 0 0 0 4 0 0 20 0 17 0 641234680 88645632 13367 18446744073709551615 134512640 135180984 4291169088 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 5 0 0 0 0 0
[pid=8599/tid=8607] ppid=8597 vsize=86568 CPUtime=0.06
/proc/8599/task/8607/stat : 8607 (satake) R 8597 8599 27791 0 -1 4202560 1304 0 0 0 0 6 0 0 20 0 17 0 641234680 88645632 13384 18446744073709551615 134512640 135180984 4291169088 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 13 0 0 0 0 0
[pid=8599/tid=8608] ppid=8597 vsize=86568 CPUtime=0.06
/proc/8599/task/8608/stat : 8608 (satake) R 8597 8599 27791 0 -1 4202560 1180 0 0 0 0 6 0 0 20 0 17 0 641234680 88645632 13412 18446744073709551615 134512640 135180984 4291169088 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 2 0 0 0 0 0
[pid=8599/tid=8609] ppid=8597 vsize=86568 CPUtime=0.06
/proc/8599/task/8609/stat : 8609 (satake) R 8597 8599 27791 0 -1 4202560 1255 0 0 0 0 6 0 0 20 0 17 0 641234680 88645632 13440 18446744073709551615 134512640 135180984 4291169088 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 3 0 0 0 0 0
[pid=8599/tid=8610] ppid=8597 vsize=86568 CPUtime=0.06
/proc/8599/task/8610/stat : 8610 (satake) R 8597 8599 27791 0 -1 4202560 1509 0 0 0 0 6 0 0 20 0 17 0 641234680 88645632 13469 18446744073709551615 134512640 135180984 4291169088 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 4 0 0 0 0 0
[pid=8599/tid=8611] ppid=8597 vsize=86568 CPUtime=0.02
/proc/8599/task/8611/stat : 8611 (satake) R 8597 8599 27791 0 -1 4202560 387 0 0 0 0 2 0 0 20 0 17 0 641234680 88645632 13494 18446744073709551615 134512640 135180984 4291169088 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 5 0 0 0 0 0
[pid=8599/tid=8612] ppid=8597 vsize=86568 CPUtime=0.06
/proc/8599/task/8612/stat : 8612 (satake) R 8597 8599 27791 0 -1 4202560 1200 0 0 0 0 6 0 0 20 0 17 0 641234680 88645632 13517 18446744073709551615 134512640 135180984 4291169088 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 6 0 0 0 0 0
[pid=8599/tid=8613] ppid=8597 vsize=86568 CPUtime=0.02
/proc/8599/task/8613/stat : 8613 (satake) R 8597 8599 27791 0 -1 4202560 439 0 0 0 2 0 0 0 20 0 17 0 641234680 88645632 13535 18446744073709551615 134512640 135180984 4291169088 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 1 0 0 0 0 0
[pid=8599/tid=8614] ppid=8597 vsize=86568 CPUtime=0
/proc/8599/task/8614/stat : 8614 (satake) R 8597 8599 27791 0 -1 4202560 202 0 0 0 0 0 0 0 20 0 17 0 641234680 88645632 13559 18446744073709551615 134512640 135180984 4291169088 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 0.62
Current children cumulated vsize (KiB) 86568

[startup+0.304006 s]
/proc/loadavg: 8.45 7.08 5.23 2/184 8599
/proc/meminfo: memFree=19066664/36427776 swapFree=3684/8320
[pid=8599] ppid=8597 vsize=318760 CPUtime=2.49
/proc/8599/stat : 8599 (satake) S 8597 8599 27791 0 -1 4202496 53597 0 0 0 4 245 0 0 20 0 17 0 641234679 326410240 53557 18446744073709551615 134512640 135180984 4291169088 18446744073709551615 134573496 0 0 1 0 18446744073709551615 0 0 17 13 0 0 0 0 0
/proc/8599/statm: 79690 53605 63 164 0 79525 0
[pid=8599/tid=8600] ppid=8597 vsize=318760 CPUtime=0
/proc/8599/task/8600/stat : 8600 (satake) S 8597 8599 27791 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 17 0 641234680 326410240 53633 18446744073709551615 134512640 135180984 4291169088 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 14 0 0 0 0 0
[pid=8599/tid=8601] ppid=8597 vsize=318760 CPUtime=0.14
/proc/8599/task/8601/stat : 8601 (satake) R 8597 8599 27791 0 -1 4202560 2635 0 0 0 0 14 0 0 20 0 17 0 641234680 326410240 53654 18446744073709551615 134512640 135180984 4291169088 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 15 0 0 0 0 0
[pid=8599/tid=8602] ppid=8597 vsize=318760 CPUtime=0.1
/proc/8599/task/8602/stat : 8602 (satake) R 8597 8599 27791 0 -1 4202560 2069 0 0 0 0 10 0 0 20 0 17 0 641234680 326410240 53673 18446744073709551615 134512640 135180984 4291169088 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 15 0 0 0 0 0
[pid=8599/tid=8603] ppid=8597 vsize=318760 CPUtime=0.2
/proc/8599/task/8603/stat : 8603 (satake) R 8597 8599 27791 0 -1 4202560 3832 0 0 0 0 20 0 0 20 0 17 0 641234680 326410240 53692 18446744073709551615 134512640 135180984 4291169088 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 14 0 0 0 0 0
[pid=8599/tid=8604] ppid=8597 vsize=318760 CPUtime=0.22
/proc/8599/task/8604/stat : 8604 (satake) R 8597 8599 27791 0 -1 4202560 6103 0 0 0 0 22 0 0 20 0 17 0 641234680 326410240 53713 18446744073709551615 134512640 135180984 4291169088 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 0 0 0 0 0 0
[pid=8599/tid=8605] ppid=8597 vsize=318760 CPUtime=0.18
/proc/8599/task/8605/stat : 8605 (satake) R 8597 8599 27791 0 -1 4202560 3640 0 0 0 2 16 0 0 20 0 17 0 641234680 326410240 53751 18446744073709551615 134512640 135180984 4291169088 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 11 0 0 0 0 0
[pid=8599/tid=8606] ppid=8597 vsize=318760 CPUtime=0.14
/proc/8599/task/8606/stat : 8606 (satake) R 8597 8599 27791 0 -1 4202560 2535 0 0 0 0 14 0 0 20 0 17 0 641234680 326410240 53774 18446744073709551615 134512640 135180984 4291169088 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 5 0 0 0 0 0
[pid=8599/tid=8607] ppid=8597 vsize=318760 CPUtime=0.22
/proc/8599/task/8607/stat : 8607 (satake) R 8597 8599 27791 0 -1 4202560 5300 0 0 0 0 22 0 0 20 0 17 0 641234680 326410240 53796 18446744073709551615 134512640 135180984 4291169088 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 13 0 0 0 0 0
[pid=8599/tid=8608] ppid=8597 vsize=318760 CPUtime=0.24
/proc/8599/task/8608/stat : 8608 (satake) R 8597 8599 27791 0 -1 4202560 4485 0 0 0 0 24 0 0 20 0 17 0 641234680 326410240 53831 18446744073709551615 134512640 135180984 4291169088 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 2 0 0 0 0 0
[pid=8599/tid=8609] ppid=8597 vsize=318760 CPUtime=0.22
/proc/8599/task/8609/stat : 8609 (satake) R 8597 8599 27791 0 -1 4202560 5083 0 0 0 0 22 0 0 20 0 17 0 641234680 326410240 53859 18446744073709551615 134512640 135180984 4291169088 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 3 0 0 0 0 0
[pid=8599/tid=8610] ppid=8597 vsize=318760 CPUtime=0.24
/proc/8599/task/8610/stat : 8610 (satake) R 8597 8599 27791 0 -1 4202560 6197 0 0 0 0 24 0 0 20 0 17 0 641234680 326410240 53884 18446744073709551615 134512640 135180984 4291169088 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 4 0 0 0 0 0
[pid=8599/tid=8611] ppid=8597 vsize=318760 CPUtime=0.1
/proc/8599/task/8611/stat : 8611 (satake) R 8597 8599 27791 0 -1 4202560 2263 0 0 0 0 10 0 0 20 0 17 0 641234680 326410240 53927 18446744073709551615 134512640 135180984 4291169088 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 5 0 0 0 0 0
[pid=8599/tid=8612] ppid=8597 vsize=318760 CPUtime=0.14
/proc/8599/task/8612/stat : 8612 (satake) R 8597 8599 27791 0 -1 4202560 3050 0 0 0 0 14 0 0 20 0 17 0 641234680 326410240 53945 18446744073709551615 134512640 135180984 4291169088 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 6 0 0 0 0 0
[pid=8599/tid=8613] ppid=8597 vsize=318760 CPUtime=0.12
/proc/8599/task/8613/stat : 8613 (satake) R 8597 8599 27791 0 -1 4202560 2463 0 0 0 2 10 0 0 20 0 17 0 641234680 326410240 53989 18446744073709551615 134512640 135180984 4291169088 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 1 0 0 0 0 0
[pid=8599/tid=8614] ppid=8597 vsize=318760 CPUtime=0.08
/proc/8599/task/8614/stat : 8614 (satake) R 8597 8599 27791 0 -1 4202560 1652 0 0 0 0 8 0 0 20 0 17 0 641234680 326410240 54008 18446744073709551615 134512640 135180984 4291169088 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 2.49
Current children cumulated vsize (KiB) 318760

[startup+0.704628 s]
/proc/loadavg: 8.45 7.08 5.23 2/184 8599
/proc/meminfo: memFree=19066664/36427776 swapFree=3684/8320
[pid=8599] ppid=8597 vsize=758396 CPUtime=6.43
/proc/8599/stat : 8599 (satake) S 8597 8599 27791 0 -1 4202496 156872 0 0 0 4 639 0 0 20 0 17 0 641234679 776597504 156829 18446744073709551615 134512640 135180984 4291169088 18446744073709551615 134573496 0 0 1 0 18446744073709551615 0 0 17 13 0 0 0 0 0
/proc/8599/statm: 189599 156868 63 164 0 189434 0
[pid=8599/tid=8600] ppid=8597 vsize=758396 CPUtime=0
/proc/8599/task/8600/stat : 8600 (satake) S 8597 8599 27791 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 17 0 641234680 776597504 156886 18446744073709551615 134512640 135180984 4291169088 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 14 0 0 0 0 0
[pid=8599/tid=8601] ppid=8597 vsize=758396 CPUtime=0.32
/proc/8599/task/8601/stat : 8601 (satake) R 8597 8599 27791 0 -1 4202560 8291 0 0 0 0 32 0 0 20 0 17 0 641234680 776597504 156907 18446744073709551615 134512640 135180984 4291169088 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 15 0 0 0 0 0
[pid=8599/tid=8602] ppid=8597 vsize=758396 CPUtime=0.28
/proc/8599/task/8602/stat : 8602 (satake) R 8597 8599 27791 0 -1 4202560 7855 0 0 0 0 28 0 0 20 0 17 0 641234680 776597504 156923 18446744073709551615 134512640 135180984 4291169088 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 15 0 0 0 0 0
[pid=8599/tid=8603] ppid=8597 vsize=758396 CPUtime=0.56
/proc/8599/task/8603/stat : 8603 (satake) R 8597 8599 27791 0 -1 4202560 13335 0 0 0 0 56 0 0 20 0 17 0 641234680 776597504 156939 18446744073709551615 134512640 135180984 4291169088 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 14 0 0 0 0 0
[pid=8599/tid=8604] ppid=8597 vsize=758396 CPUtime=0.58
/proc/8599/task/8604/stat : 8604 (satake) R 8597 8599 27791 0 -1 4202560 15773 0 0 0 0 58 0 0 20 0 17 0 641234680 776597504 156956 18446744073709551615 134512640 135180984 4291169088 18446744073709551615 134675846 0 0 1 0 0 0 0 -1 0 0 0 0 0 0
[pid=8599/tid=8605] ppid=8597 vsize=758396 CPUtime=0.54
/proc/8599/task/8605/stat : 8605 (satake) R 8597 8599 27791 0 -1 4202560 11920 0 0 0 2 52 0 0 20 0 17 0 641234680 776597504 156972 18446744073709551615 134512640 135180984 4291169088 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 11 0 0 0 0 0
[pid=8599/tid=8606] ppid=8597 vsize=758396 CPUtime=0.3
/proc/8599/task/8606/stat : 8606 (satake) R 8597 8599 27791 0 -1 4202560 7084 0 0 0 0 30 0 0 20 0 17 0 641234680 776597504 156994 18446744073709551615 134512640 135180984 4291169088 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 5 0 0 0 0 0
[pid=8599/tid=8607] ppid=8597 vsize=758396 CPUtime=0.58
/proc/8599/task/8607/stat : 8607 (satake) R 8597 8599 27791 0 -1 4202560 14710 0 0 0 0 58 0 0 20 0 17 0 641234680 776597504 157016 18446744073709551615 134512640 135180984 4291169088 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 13 0 0 0 0 0
[pid=8599/tid=8608] ppid=8597 vsize=758396 CPUtime=0.58
/proc/8599/task/8608/stat : 8608 (satake) D 8597 8599 27791 0 -1 4202560 14067 0 0 0 0 58 0 0 20 0 17 0 641234680 776597504 157028 18446744073709551615 134512640 135180984 4291169088 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 2 0 0 0 0 0
[pid=8599/tid=8609] ppid=8597 vsize=758396 CPUtime=0.58
/proc/8599/task/8609/stat : 8609 (satake) D 8597 8599 27791 0 -1 4202560 14961 0 0 0 0 58 0 0 20 0 17 0 641234680 776597504 157030 18446744073709551615 134512640 135180984 4291169088 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 3 0 0 0 0 0
[pid=8599/tid=8610] ppid=8597 vsize=758528 CPUtime=0.6
/proc/8599/task/8610/stat : 8610 (satake) R 8597 8599 27791 0 -1 4202560 15031 0 0 0 0 60 0 0 20 0 17 0 641234680 776732672 157030 18446744073709551615 134512640 135180984 4291169088 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 4 0 0 0 0 0
[pid=8599/tid=8611] ppid=8597 vsize=758528 CPUtime=0.28
/proc/8599/task/8611/stat : 8611 (satake) D 8597 8599 27791 0 -1 4202560 6914 0 0 0 0 28 0 0 20 0 17 0 641234680 776732672 157035 18446744073709551615 134512640 135180984 4291169088 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 5 0 0 0 0 0
[pid=8599/tid=8612] ppid=8597 vsize=758528 CPUtime=0.32
/proc/8599/task/8612/stat : 8612 (satake) D 8597 8599 27791 0 -1 4202560 7162 0 0 0 0 32 0 0 20 0 17 0 641234680 776732672 157035 18446744073709551615 134512640 135180984 4291169088 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 6 0 0 0 0 0
[pid=8599/tid=8613] ppid=8597 vsize=758528 CPUtime=0.3

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

deleting IPC queue 1663500366
deleting IPC queue 1663533135
deleting IPC queue 1663565904
deleting IPC queue 1663598673
deleting IPC queue 1663631442
deleting IPC queue 1663664211
deleting IPC queue 1663696980
deleting IPC queue 1663729749
deleting IPC queue 1663762518
deleting IPC queue 1663795287
deleting IPC queue 1663828056
deleting IPC queue 1663860825
deleting IPC queue 1663893594
deleting IPC queue 1663926363
deleting IPC queue 1663959132
deleting IPC queue 1663991901
deleting IPC queue 1664024670
deleting IPC queue 1664057439
deleting IPC queue 1664090208
deleting IPC queue 1664122977
deleting IPC queue 1664155746
deleting IPC queue 1664188515
deleting IPC queue 1664221284
deleting IPC queue 1664254053
deleting IPC queue 1664286822
deleting IPC queue 1664319591
deleting IPC queue 1664352360
deleting IPC queue 1664385129
deleting IPC queue 1664417898
deleting IPC queue 1664450667
deleting IPC queue 1664483436
deleting IPC queue 1664516205
deleting IPC queue 1664548974
deleting IPC queue 1664581743
deleting IPC queue 1664614512
deleting IPC queue 1664647281
deleting IPC queue 1664680050
deleting IPC queue 1664712819
deleting IPC queue 1664745588
deleting IPC queue 1664778357
deleting IPC queue 1664811126
deleting IPC queue 1664843895
deleting IPC queue 1664876664
deleting IPC queue 1664909433
deleting IPC queue 1664942202
deleting IPC queue 1664974971
deleting IPC queue 1665007740
deleting IPC queue 1665040509
deleting IPC queue 1665073278
deleting IPC queue 1665106047
deleting IPC queue 1665138816
deleting IPC queue 1665171585
deleting IPC queue 1665204354
deleting IPC queue 1665237123
deleting IPC queue 1665269892
deleting IPC queue 1665302661
deleting IPC queue 1665335430
deleting IPC queue 1665368199
deleting IPC queue 1665400968
deleting IPC queue 1665433737
deleting IPC queue 1665466506
deleting IPC queue 1665499275
deleting IPC queue 1665532044
deleting IPC queue 1665564813
deleting IPC queue 1665597582
deleting IPC queue 1665630351
deleting IPC queue 1665663120
deleting IPC queue 1665695889
deleting IPC queue 1665728658
deleting IPC queue 1665761427
deleting IPC queue 1665794196
deleting IPC queue 1665826965
deleting IPC queue 1665859734
deleting IPC queue 1665892503
deleting IPC queue 1665925272
deleting IPC queue 1665958041
deleting IPC queue 1665990810
deleting IPC queue 1666023579
deleting IPC queue 1666056348
deleting IPC queue 1666089117
deleting IPC queue 1666121886
deleting IPC queue 1666154655
deleting IPC queue 1666187424
deleting IPC queue 1666220193
deleting IPC queue 1666252962
deleting IPC queue 1666285731
deleting IPC queue 1666318500
deleting IPC queue 1666351269
deleting IPC queue 1666384038
deleting IPC queue 1666416807
deleting IPC queue 1666449576
deleting IPC queue 1666482345
deleting IPC queue 1666515114
deleting IPC queue 1666547883
deleting IPC queue 1666580652
deleting IPC queue 1666613421
deleting IPC queue 1666646190
deleting IPC queue 1666678959
deleting IPC queue 1666711728
deleting IPC queue 1666744497
deleting IPC queue 1666777266
deleting IPC queue 1666810035
deleting IPC queue 1666842804
deleting IPC queue 1666875573
deleting IPC queue 1666908342
deleting IPC queue 1666941111
deleting IPC queue 1666973880
deleting IPC queue 1667006649
deleting IPC queue 1667039418
deleting IPC queue 1667072187
deleting IPC queue 1667104956
deleting IPC queue 1667137725
deleting IPC queue 1667170494
deleting IPC queue 1667203263
deleting IPC queue 1667236032
deleting IPC queue 1667268801
deleting IPC queue 1667301570
deleting IPC queue 1667334339
deleting IPC queue 1667367108
deleting IPC queue 1667399877
deleting IPC queue 1667432646
deleting IPC queue 1667465415
deleting IPC queue 1667498184
deleting IPC queue 1667530953
deleting IPC queue 1667563722
deleting IPC queue 1667596491
deleting IPC queue 1667629260
deleting IPC queue 1667662029
deleting IPC queue 1667694798
deleting IPC queue 1667727567
deleting IPC queue 1667760336
deleting IPC queue 1667793105
deleting IPC queue 1667825874
deleting IPC queue 1667858643
deleting IPC queue 1667891412
deleting IPC queue 1667924181
deleting IPC queue 1667956950
deleting IPC queue 1667989719
deleting IPC queue 1668022488
deleting IPC queue 1668055257
deleting IPC queue 1668088026
deleting IPC queue 1668120795
deleting IPC queue 1668153564
deleting IPC queue 1668186333
deleting IPC queue 1668219102
deleting IPC queue 1668251871
deleting IPC queue 1668284640
deleting IPC queue 1668317409
deleting IPC queue 1668350178
deleting IPC queue 1668382947
deleting IPC queue 1668415716
deleting IPC queue 1668448485
deleting IPC queue 1668481254
deleting IPC queue 1668514023
deleting IPC queue 1668546792
deleting IPC queue 1668579561
deleting IPC queue 1668612330
deleting IPC queue 1668645099
deleting IPC queue 1668677868
deleting IPC queue 1668710637
deleting IPC queue 1668743406
deleting IPC queue 1668776175
deleting IPC queue 1668808944
deleting IPC queue 1668841713
deleting IPC queue 1668874482
deleting IPC queue 1668907251
deleting IPC queue 1668940020
deleting IPC queue 1668972789
deleting IPC queue 1669005558
deleting IPC queue 1669038327
deleting IPC queue 1669071096
deleting IPC queue 1669103865
deleting IPC queue 1669136634
deleting IPC queue 1669169403
deleting IPC queue 1669202172
deleting IPC queue 1669234941
deleting IPC queue 1669267710
deleting IPC queue 1669300479

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 14.3889
system time used= 44.1988
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 476622
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= 484609
involuntary context switches= 1554

runsolver used 0.064004 second user time and 0.192012 second system time

The end

Launcher Data 

Begin job on xenhost3-49 at 2009-06-12 17:08:01
IDJOB=1780182
IDBENCH=70959
IDSOLVER=631
FILE ID=xenhost3-49/1780182-1244819281
PBS_JOBID=
Free space on /tmp= 6970 MiB

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

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

MD5SUM BENCH= 91d125ee3007575f40ddeef126d7f80f
RANDOM SEED= 121352675

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:      19066664 kB
Buffers:        434892 kB
Cached:       14171788 kB
SwapCached:          0 kB
Active:        4080084 kB
Inactive:     10534840 kB
SwapTotal:    25398692 kB
SwapFree:     25398692 kB
Dirty:           62712 kB
Writeback:           0 kB
AnonPages:        8320 kB
Mapped:           3684 kB
Slab:           690780 kB
SReclaimable:   663408 kB
SUnreclaim:      27372 kB
PageTables:          0 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
WritebackTmp:        0 kB
CommitLimit:  43612580 kB
Committed_AS:    29612 kB
VmallocTotal: 34359738367 kB
VmallocUsed:    275248 kB
VmallocChunk: 34359462839 kB
DirectMap4k:  99216660 kB
DirectMap2M:         0 kB

Free space on /tmp at the end= 6970 MiB
End job on xenhost3-49 at 2009-06-12 17:08:19