Trace number 1781382

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) 1142.46 322.738

General information on the benchmark

Namevelev-vliw-uns-4.0-9C1.cnf
MD5SUM0c9a15d0f561e9d1bb438b04ae3c31af
Bench CategoryAPPLICATION (applications instances)
Best result obtained on this benchmarkUNSAT
Best CPU time to get the best result obtained on this benchmark1803.22
Satisfiable
(Un)Satisfiability was proved
Number of variables96177
Number of clauses1814189
Sum of the clauses size5280501
Maximum clause length2216
Minimum clause length1
Number of clauses of size 11
Number of clauses of size 21178665
Number of clauses of size 3560157
Number of clauses of size 45491
Number of clauses of size 54739
Number of clauses of size over 565136

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

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


[startup+0 s]
/proc/loadavg: 2.11 2.18 2.65 2/184 13758
/proc/meminfo: memFree=19089008/36427776 swapFree=3824/8064
[pid=13758] ppid=13756 vsize=8364 CPUtime=0
/proc/13758/stat : 13758 (satake) S 13756 13758 27791 0 -1 4202496 475 0 0 0 0 0 0 0 20 0 17 0 645732133 8564736 432 18446744073709551615 134512640 135180984 4288776448 18446744073709551615 134573496 0 0 1 0 18446744073709551615 0 0 17 14 0 0 0 0 0
/proc/13758/statm: 2091 434 63 164 0 1926 0
[pid=13758/tid=13759] ppid=13756 vsize=8504 CPUtime=0
/proc/13758/task/13759/stat : 13759 (satake) S 13756 13758 27791 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 17 0 645732133 8708096 489 18446744073709551615 134512640 135180984 4288776448 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 15 0 0 0 0 0
[pid=13758/tid=13760] ppid=13756 vsize=8504 CPUtime=0
/proc/13758/task/13760/stat : 13760 (satake) R 13756 13758 27791 0 -1 4202560 63 0 0 0 0 0 0 0 20 0 17 0 645732133 8708096 489 18446744073709551615 134512640 135180984 4288776448 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 6 0 0 0 0 0
[pid=13758/tid=13761] ppid=13756 vsize=8504 CPUtime=0
/proc/13758/task/13761/stat : 13761 (satake) R 13756 13758 27791 0 -1 4202560 38 0 0 0 0 0 0 0 20 0 17 0 645732133 8708096 493 18446744073709551615 134512640 135180984 4288776448 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 0 0 0 0 0 0
[pid=13758/tid=13762] ppid=13756 vsize=8636 CPUtime=0
/proc/13758/task/13762/stat : 13762 (satake) D 13756 13758 27791 0 -1 4202560 30 0 0 0 0 0 0 0 20 0 17 0 645732133 8843264 493 18446744073709551615 134512640 135180984 4288776448 18446744073709551615 134691935 0 0 1 0 0 0 0 -1 0 0 0 0 0 0
[pid=13758/tid=13763] ppid=13756 vsize=8636 CPUtime=0
/proc/13758/task/13763/stat : 13763 (satake) S 13756 13758 27791 0 -1 4202560 49 0 0 0 0 0 0 0 20 0 17 0 645732133 8843264 496 18446744073709551615 134512640 135180984 4288776448 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 15 0 0 0 0 0
[pid=13758/tid=13764] ppid=13756 vsize=8636 CPUtime=0
/proc/13758/task/13764/stat : 13764 (satake) R 13756 13758 27791 0 -1 4202560 49 0 0 0 0 0 0 0 20 0 17 0 645732133 8843264 498 18446744073709551615 134512640 135180984 4288776448 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 1 0 0 0 0 0
[pid=13758/tid=13765] ppid=13756 vsize=8636 CPUtime=0
/proc/13758/task/13765/stat : 13765 (satake) S 13756 13758 27791 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 17 0 645732133 8843264 499 18446744073709551615 134512640 135180984 4288776448 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 15 0 0 0 0 0
[pid=13758/tid=13766] ppid=13756 vsize=8636 CPUtime=0
/proc/13758/task/13766/stat : 13766 (satake) S 13756 13758 27791 0 -1 4202560 18 0 0 0 0 0 0 0 20 0 17 0 645732133 8843264 500 18446744073709551615 134512640 135180984 4288776448 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 0 0 0 0 0 0
[pid=13758/tid=13767] ppid=13756 vsize=8636 CPUtime=0
/proc/13758/task/13767/stat : 13767 (satake) R 13756 13758 27791 0 -1 4202560 40 0 0 0 0 0 0 0 20 0 17 0 645732133 8843264 516 18446744073709551615 134512640 135180984 4288776448 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 2 0 0 0 0 0
[pid=13758/tid=13768] ppid=13756 vsize=8636 CPUtime=0
/proc/13758/task/13768/stat : 13768 (satake) D 13756 13758 27791 0 -1 4202560 37 0 0 0 0 0 0 0 20 0 17 0 645732133 8843264 519 18446744073709551615 134512640 135180984 4288776448 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 3 0 0 0 0 0
[pid=13758/tid=13769] ppid=13756 vsize=8636 CPUtime=0
/proc/13758/task/13769/stat : 13769 (satake) D 13756 13758 27791 0 -1 4202560 18 0 0 0 0 0 0 0 20 0 17 0 645732133 8843264 519 18446744073709551615 134512640 135180984 4288776448 18446744073709551615 134702083 0 0 1 0 0 0 0 -1 1 0 0 0 0 0
[pid=13758/tid=13770] ppid=13756 vsize=8764 CPUtime=0
/proc/13758/task/13770/stat : 13770 (satake) R 13756 13758 27791 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 17 0 645732133 8974336 520 18446744073709551615 134512640 135180984 4288776448 18446744073709551615 134691935 0 0 1 0 0 0 0 -1 4 0 0 0 0 0
[pid=13758/tid=13771] ppid=13756 vsize=8764 CPUtime=0
/proc/13758/task/13771/stat : 13771 (satake) R 13756 13758 27791 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 17 0 645732133 8974336 525 18446744073709551615 134512640 135180984 4288776448 18446744073709551615 134691935 0 0 1 0 0 0 0 -1 5 0 0 0 0 0
[pid=13758/tid=13772] ppid=13756 vsize=8764 CPUtime=0
/proc/13758/task/13772/stat : 13772 (satake) D 13756 13758 27791 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 17 0 645732133 8974336 526 18446744073709551615 134512640 135180984 4288776448 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 6 0 0 0 0 0
[pid=13758/tid=13773] ppid=13756 vsize=8764 CPUtime=0
/proc/13758/task/13773/stat : 13773 (satake) R 13756 13758 27791 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 17 0 645732133 8974336 526 18446744073709551615 134512640 135180984 4288776448 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 5 0 0 0 0 0
[pid=13758/tid=13774] ppid=13756 vsize=8764 CPUtime=0
/proc/13758/task/13774/stat : 13774 (satake) R 13756 13758 27791 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 17 0 645732134 8974336 526 18446744073709551615 134512640 135180984 4288776448 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 7 0 0 0 0 0

[startup+0.029029 s]
/proc/loadavg: 2.11 2.18 2.65 2/184 13758
/proc/meminfo: memFree=19089008/36427776 swapFree=3824/8064
[pid=13758] ppid=13756 vsize=15188 CPUtime=0.14
/proc/13758/stat : 13758 (satake) S 13756 13758 27791 0 -1 4202496 1717 0 0 0 6 8 0 0 20 0 17 0 645732133 15552512 1673 18446744073709551615 134512640 135180984 4288776448 18446744073709551615 134573496 0 0 1 0 18446744073709551615 0 0 17 14 0 0 0 0 0
/proc/13758/statm: 3797 1678 63 164 0 3632 0
[pid=13758/tid=13759] ppid=13756 vsize=15188 CPUtime=0
/proc/13758/task/13759/stat : 13759 (satake) S 13756 13758 27791 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 17 0 645732133 15552512 1679 18446744073709551615 134512640 135180984 4288776448 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 15 0 0 0 0 0
[pid=13758/tid=13760] ppid=13756 vsize=15188 CPUtime=0
/proc/13758/task/13760/stat : 13760 (satake) D 13756 13758 27791 0 -1 4202560 156 0 0 0 0 0 0 0 20 0 17 0 645732133 15552512 1679 18446744073709551615 134512640 135180984 4288776448 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 6 0 0 0 0 0
[pid=13758/tid=13761] ppid=13756 vsize=15188 CPUtime=0
/proc/13758/task/13761/stat : 13761 (satake) D 13756 13758 27791 0 -1 4202560 120 0 0 0 0 0 0 0 20 0 17 0 645732133 15552512 1679 18446744073709551615 134512640 135180984 4288776448 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 8 0 0 0 0 0
[pid=13758/tid=13762] ppid=13756 vsize=15188 CPUtime=0
/proc/13758/task/13762/stat : 13762 (satake) D 13756 13758 27791 0 -1 4202560 129 0 0 0 0 0 0 0 20 0 17 0 645732133 15552512 1679 18446744073709551615 134512640 135180984 4288776448 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 0 0 0 0 0 0
[pid=13758/tid=13763] ppid=13756 vsize=15700 CPUtime=0
/proc/13758/task/13763/stat : 13763 (satake) S 13756 13758 27791 0 -1 4202560 49 0 0 0 0 0 0 0 20 0 17 0 645732133 16076800 1679 18446744073709551615 134512640 135180984 4288776448 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 15 0 0 0 0 0
[pid=13758/tid=13764] ppid=13756 vsize=15700 CPUtime=0
/proc/13758/task/13764/stat : 13764 (satake) R 13756 13758 27791 0 -1 4202560 146 0 0 0 0 0 0 0 20 0 17 0 645732133 16076800 1685 18446744073709551615 134512640 135180984 4288776448 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 1 0 0 0 0 0
[pid=13758/tid=13765] ppid=13756 vsize=15700 CPUtime=0
/proc/13758/task/13765/stat : 13765 (satake) R 13756 13758 27791 0 -1 4202560 132 0 0 0 0 0 0 0 20 0 17 0 645732133 16076800 1686 18446744073709551615 134512640 135180984 4288776448 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 15 0 0 0 0 0
[pid=13758/tid=13766] ppid=13756 vsize=15700 CPUtime=0
/proc/13758/task/13766/stat : 13766 (satake) D 13756 13758 27791 0 -1 4202560 33 0 0 0 0 0 0 0 20 0 17 0 645732133 16076800 1687 18446744073709551615 134512640 135180984 4288776448 18446744073709551615 134691935 0 0 1 0 0 0 0 -1 0 0 0 0 0 0
[pid=13758/tid=13767] ppid=13756 vsize=15700 CPUtime=0
/proc/13758/task/13767/stat : 13767 (satake) R 13756 13758 27791 0 -1 4202560 149 0 0 0 0 0 0 0 20 0 17 0 645732133 16076800 1688 18446744073709551615 134512640 135180984 4288776448 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 2 0 0 0 0 0
[pid=13758/tid=13768] ppid=13756 vsize=15700 CPUtime=0
/proc/13758/task/13768/stat : 13768 (satake) R 13756 13758 27791 0 -1 4202560 178 0 0 0 0 0 0 0 20 0 17 0 645732133 16076800 1688 18446744073709551615 134512640 135180984 4288776448 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 3 0 0 0 0 0
[pid=13758/tid=13769] ppid=13756 vsize=15700 CPUtime=0
/proc/13758/task/13769/stat : 13769 (satake) R 13756 13758 27791 0 -1 4202560 40 0 0 0 0 0 0 0 20 0 17 0 645732133 16076800 1688 18446744073709551615 134512640 135180984 4288776448 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 1 0 0 0 0 0
[pid=13758/tid=13770] ppid=13756 vsize=15700 CPUtime=0
/proc/13758/task/13770/stat : 13770 (satake) R 13756 13758 27791 0 -1 4202560 153 0 0 0 0 0 0 0 20 0 17 0 645732133 16076800 1692 18446744073709551615 134512640 135180984 4288776448 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 4 0 0 0 0 0
[pid=13758/tid=13771] ppid=13756 vsize=15700 CPUtime=0
/proc/13758/task/13771/stat : 13771 (satake) R 13756 13758 27791 0 -1 4202560 147 0 0 0 0 0 0 0 20 0 17 0 645732133 16076800 1692 18446744073709551615 134512640 135180984 4288776448 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 5 0 0 0 0 0
[pid=13758/tid=13772] ppid=13756 vsize=15700 CPUtime=0
/proc/13758/task/13772/stat : 13772 (satake) R 13756 13758 27791 0 -1 4202560 31 0 0 0 0 0 0 0 20 0 17 0 645732133 16076800 1694 18446744073709551615 134512640 135180984 4288776448 18446744073709551615 134691935 0 0 1 0 0 0 0 -1 6 0 0 0 0 0
[pid=13758/tid=13773] ppid=13756 vsize=15700 CPUtime=0
/proc/13758/task/13773/stat : 13773 (satake) R 13756 13758 27791 0 -1 4202560 22 0 0 0 0 0 0 0 20 0 17 0 645732133 16076800 1695 18446744073709551615 134512640 135180984 4288776448 18446744073709551615 134691935 0 0 1 0 0 0 0 -1 5 0 0 0 0 0
[pid=13758/tid=13774] ppid=13756 vsize=15700 CPUtime=0
/proc/13758/task/13774/stat : 13774 (satake) R 13756 13758 27791 0 -1 4202560 113 0 0 0 0 0 0 0 20 0 17 0 645732134 16076800 1695 18446744073709551615 134512640 135180984 4288776448 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 0.14
Current children cumulated vsize (KiB) 15188

[startup+0.105126 s]
/proc/loadavg: 2.11 2.18 2.65 2/184 13758
/proc/meminfo: memFree=19089008/36427776 swapFree=3824/8064
[pid=13758] ppid=13756 vsize=96536 CPUtime=0.67
/proc/13758/stat : 13758 (satake) S 13756 13758 27791 0 -1 4202496 13978 0 0 0 7 60 0 0 20 0 17 0 645732133 98852864 13925 18446744073709551615 134512640 135180984 4288776448 18446744073709551615 134573496 0 0 1 0 18446744073709551615 0 0 17 14 0 0 0 0 0
/proc/13758/statm: 24134 13972 63 164 0 23969 0
[pid=13758/tid=13759] ppid=13756 vsize=96536 CPUtime=0
/proc/13758/task/13759/stat : 13759 (satake) S 13756 13758 27791 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 17 0 645732133 98852864 13993 18446744073709551615 134512640 135180984 4288776448 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 15 0 0 0 0 0
[pid=13758/tid=13760] ppid=13756 vsize=96536 CPUtime=0.06
/proc/13758/task/13760/stat : 13760 (satake) R 13756 13758 27791 0 -1 4202560 1200 0 0 0 0 6 0 0 20 0 17 0 645732133 98852864 14014 18446744073709551615 134512640 135180984 4288776448 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 6 0 0 0 0 0
[pid=13758/tid=13761] ppid=13756 vsize=96536 CPUtime=0.06
/proc/13758/task/13761/stat : 13761 (satake) R 13756 13758 27791 0 -1 4202560 1470 0 0 0 0 6 0 0 20 0 17 0 645732133 98852864 14027 18446744073709551615 134512640 135180984 4288776448 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 8 0 0 0 0 0
[pid=13758/tid=13762] ppid=13756 vsize=96536 CPUtime=0.06
/proc/13758/task/13762/stat : 13762 (satake) R 13756 13758 27791 0 -1 4202560 1198 0 0 0 0 6 0 0 20 0 17 0 645732133 98852864 14053 18446744073709551615 134512640 135180984 4288776448 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 0 0 0 0 0 0
[pid=13758/tid=13763] ppid=13756 vsize=96536 CPUtime=0.04
/proc/13758/task/13763/stat : 13763 (satake) R 13756 13758 27791 0 -1 4202560 1184 0 0 0 0 4 0 0 20 0 17 0 645732133 98852864 14079 18446744073709551615 134512640 135180984 4288776448 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 15 0 0 0 0 0
[pid=13758/tid=13764] ppid=13756 vsize=96536 CPUtime=0.06
/proc/13758/task/13764/stat : 13764 (satake) R 13756 13758 27791 0 -1 4202560 1311 0 0 0 0 6 0 0 20 0 17 0 645732133 98852864 14133 18446744073709551615 134512640 135180984 4288776448 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 1 0 0 0 0 0
[pid=13758/tid=13765] ppid=13756 vsize=96536 CPUtime=0
/proc/13758/task/13765/stat : 13765 (satake) R 13756 13758 27791 0 -1 4202560 228 0 0 0 0 0 0 0 20 0 17 0 645732133 98852864 14165 18446744073709551615 134512640 135180984 4288776448 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 15 0 0 0 0 0
[pid=13758/tid=13766] ppid=13756 vsize=96536 CPUtime=0
/proc/13758/task/13766/stat : 13766 (satake) R 13756 13758 27791 0 -1 4202560 163 0 0 0 0 0 0 0 20 0 17 0 645732133 98852864 14186 18446744073709551615 134512640 135180984 4288776448 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 0 0 0 0 0 0
[pid=13758/tid=13767] ppid=13756 vsize=96536 CPUtime=0.06
/proc/13758/task/13767/stat : 13767 (satake) R 13756 13758 27791 0 -1 4202560 1389 0 0 0 0 6 0 0 20 0 17 0 645732133 98852864 14219 18446744073709551615 134512640 135180984 4288776448 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 2 0 0 0 0 0
[pid=13758/tid=13768] ppid=13756 vsize=96536 CPUtime=0.06
/proc/13758/task/13768/stat : 13768 (satake) R 13756 13758 27791 0 -1 4202560 1374 0 0 0 0 6 0 0 20 0 17 0 645732133 98852864 14255 18446744073709551615 134512640 135180984 4288776448 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 3 0 0 0 0 0
[pid=13758/tid=13769] ppid=13756 vsize=96536 CPUtime=0
/proc/13758/task/13769/stat : 13769 (satake) D 13756 13758 27791 0 -1 4202560 286 0 0 0 0 0 0 0 20 0 17 0 645732133 98852864 14260 18446744073709551615 134512640 135180984 4288776448 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 1 0 0 0 0 0
[pid=13758/tid=13770] ppid=13756 vsize=96536 CPUtime=0.06
/proc/13758/task/13770/stat : 13770 (satake) D 13756 13758 27791 0 -1 4202560 1222 0 0 0 0 6 0 0 20 0 17 0 645732133 98852864 14262 18446744073709551615 134512640 135180984 4288776448 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 4 0 0 0 0 0
[pid=13758/tid=13771] ppid=13756 vsize=96536 CPUtime=0.04
/proc/13758/task/13771/stat : 13771 (satake) D 13756 13758 27791 0 -1 4202560 1047 0 0 0 0 4 0 0 20 0 17 0 645732133 98852864 14262 18446744073709551615 134512640 135180984 4288776448 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 5 0 0 0 0 0
[pid=13758/tid=13772] ppid=13756 vsize=96536 CPUtime=0
/proc/13758/task/13772/stat : 13772 (satake) D 13756 13758 27791 0 -1 4202560 285 0 0 0 0 0 0 0 20 0 17 0 645732133 98852864 14262 18446744073709551615 134512640 135180984 4288776448 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 6 0 0 0 0 0
[pid=13758/tid=13773] ppid=13756 vsize=96536 CPUtime=0
/proc/13758/task/13773/stat : 13773 (satake) R 13756 13758 27791 0 -1 4202560 275 0 0 0 0 0 0 0 20 0 17 0 645732133 98852864 14262 18446744073709551615 134512640 135180984 4288776448 18446744073709551615 134706046 0 0 1 0 0 0 0 -1 5 0 0 0 0 0
[pid=13758/tid=13774] ppid=13756 vsize=96536 CPUtime=0.06
/proc/13758/task/13774/stat : 13774 (satake) D 13756 13758 27791 0 -1 4202560 1449 0 0 0 0 6 0 0 20 0 17 0 645732134 98852864 14262 18446744073709551615 134512640 135180984 4288776448 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 0.67
Current children cumulated vsize (KiB) 96536

[startup+0.305035 s]
/proc/loadavg: 2.11 2.18 2.65 2/184 13758
/proc/meminfo: memFree=19089008/36427776 swapFree=3824/8064
[pid=13758] ppid=13756 vsize=376088 CPUtime=2.38
/proc/13758/stat : 13758 (satake) S 13756 13758 27791 0 -1 4202496 63908 0 0 0 7 231 0 0 20 0 17 0 645732133 385114112 63848 18446744073709551615 134512640 135180984 4288776448 18446744073709551615 134573496 0 0 1 0 18446744073709551615 0 0 17 14 0 0 0 0 0
/proc/13758/statm: 94022 63848 63 164 0 93857 0
[pid=13758/tid=13759] ppid=13756 vsize=376088 CPUtime=0
/proc/13758/task/13759/stat : 13759 (satake) S 13756 13758 27791 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 17 0 645732133 385114112 63848 18446744073709551615 134512640 135180984 4288776448 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 15 0 0 0 0 0
[pid=13758/tid=13760] ppid=13756 vsize=376088 CPUtime=0.14
/proc/13758/task/13760/stat : 13760 (satake) D 13756 13758 27791 0 -1 4202560 4157 0 0 0 0 14 0 0 20 0 17 0 645732133 385114112 63848 18446744073709551615 134512640 135180984 4288776448 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 6 0 0 0 0 0
[pid=13758/tid=13761] ppid=13756 vsize=376088 CPUtime=0.22
/proc/13758/task/13761/stat : 13761 (satake) D 13756 13758 27791 0 -1 4202560 6260 0 0 0 0 22 0 0 20 0 17 0 645732133 385114112 63848 18446744073709551615 134512640 135180984 4288776448 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 8 0 0 0 0 0
[pid=13758/tid=13762] ppid=13756 vsize=376088 CPUtime=0.14
/proc/13758/task/13762/stat : 13762 (satake) D 13756 13758 27791 0 -1 4202560 4115 0 0 0 0 14 0 0 20 0 17 0 645732133 385114112 63848 18446744073709551615 134512640 135180984 4288776448 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 0 0 0 0 0 0
[pid=13758/tid=13763] ppid=13756 vsize=376088 CPUtime=0.14
/proc/13758/task/13763/stat : 13763 (satake) R 13756 13758 27791 0 -1 4202560 4146 0 0 0 0 14 0 0 20 0 17 0 645732133 385114112 63848 18446744073709551615 134512640 135180984 4288776448 18446744073709551615 134706046 0 0 1 0 0 0 0 -1 15 0 0 0 0 0
[pid=13758/tid=13764] ppid=13756 vsize=376088 CPUtime=0.14
/proc/13758/task/13764/stat : 13764 (satake) D 13756 13758 27791 0 -1 4202560 4325 0 0 0 0 14 0 0 20 0 17 0 645732133 385114112 63848 18446744073709551615 134512640 135180984 4288776448 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 1 0 0 0 0 0
[pid=13758/tid=13765] ppid=13756 vsize=376088 CPUtime=0.08
/proc/13758/task/13765/stat : 13765 (satake) D 13756 13758 27791 0 -1 4202560 2080 0 0 0 0 8 0 0 20 0 17 0 645732133 385114112 63848 18446744073709551615 134512640 135180984 4288776448 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 15 0 0 0 0 0
[pid=13758/tid=13766] ppid=13756 vsize=376088 CPUtime=0.08
/proc/13758/task/13766/stat : 13766 (satake) D 13756 13758 27791 0 -1 4202560 2709 0 0 0 0 8 0 0 20 0 17 0 645732133 385114112 63848 18446744073709551615 134512640 135180984 4288776448 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 0 0 0 0 0 0
[pid=13758/tid=13767] ppid=13756 vsize=376088 CPUtime=0.22
/proc/13758/task/13767/stat : 13767 (satake) D 13756 13758 27791 0 -1 4202560 6572 0 0 0 0 22 0 0 20 0 17 0 645732133 385114112 63848 18446744073709551615 134512640 135180984 4288776448 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 2 0 0 0 0 0
[pid=13758/tid=13768] ppid=13756 vsize=376088 CPUtime=0.24
/proc/13758/task/13768/stat : 13768 (satake) D 13756 13758 27791 0 -1 4202560 6253 0 0 0 0 24 0 0 20 0 17 0 645732133 385114112 63848 18446744073709551615 134512640 135180984 4288776448 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 3 0 0 0 0 0
[pid=13758/tid=13769] ppid=13756 vsize=376088 CPUtime=0.08
/proc/13758/task/13769/stat : 13769 (satake) D 13756 13758 27791 0 -1 4202560 2832 0 0 0 0 8 0 0 20 0 17 0 645732133 385114112 63848 18446744073709551615 134512640 135180984 4288776448 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 1 0 0 0 0 0
[pid=13758/tid=13770] ppid=13756 vsize=376088 CPUtime=0.22
/proc/13758/task/13770/stat : 13770 (satake) D 13756 13758 27791 0 -1 4202560 5381 0 0 0 0 22 0 0 20 0 17 0 645732133 385114112 63848 18446744073709551615 134512640 135180984 4288776448 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 4 0 0 0 0 0
[pid=13758/tid=13771] ppid=13756 vsize=376088 CPUtime=0.14
/proc/13758/task/13771/stat : 13771 (satake) D 13756 13758 27791 0 -1 4202560 3546 0 0 0 0 14 0 0 20 0 17 0 645732133 385114112 63848 18446744073709551615 134512640 135180984 4288776448 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 5 0 0 0 0 0
[pid=13758/tid=13772] ppid=13756 vsize=376088 CPUtime=0.08
/proc/13758/task/13772/stat : 13772 (satake) D 13756 13758 27791 0 -1 4202560 2628 0 0 0 0 8 0 0 20 0 17 0 645732133 385114112 63848 18446744073709551615 134512640 135180984 4288776448 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 6 0 0 0 0 0
[pid=13758/tid=13773] ppid=13756 vsize=376088 CPUtime=0.08
/proc/13758/task/13773/stat : 13773 (satake) D 13756 13758 27791 0 -1 4202560 1919 0 0 0 0 8 0 0 20 0 17 0 645732133 385114112 63848 18446744073709551615 134512640 135180984 4288776448 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 5 0 0 0 0 0
[pid=13758/tid=13774] ppid=13756 vsize=376088 CPUtime=0.22
/proc/13758/task/13774/stat : 13774 (satake) D 13756 13758 27791 0 -1 4202560 6852 0 0 0 0 22 0 0 20 0 17 0 645732134 385114112 63848 18446744073709551615 134512640 135180984 4288776448 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 2.38
Current children cumulated vsize (KiB) 376088

[startup+0.704436 s]
/proc/loadavg: 2.11 2.18 2.65 2/184 13758
/proc/meminfo: memFree=19089008/36427776 swapFree=3824/8064
[pid=13758] ppid=13756 vsize=547812 CPUtime=5.33
/proc/13758/stat : 13758 (satake) S 13756 13758 27791 0 -1 4202496 97030 0 0 0 7 526 0 0 20 0 17 0 645732133 560959488 96970 18446744073709551615 134512640 135180984 4288776448 18446744073709551615 134573496 0 0 1 0 18446744073709551615 0 0 17 14 0 0 0 0 0
/proc/13758/statm: 136953 96973 63 164 0 136788 0
[pid=13758/tid=13759] ppid=13756 vsize=547812 CPUtime=0
/proc/13758/task/13759/stat : 13759 (satake) S 13756 13758 27791 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 17 0 645732133 560959488 96975 18446744073709551615 134512640 135180984 4288776448 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 15 0 0 0 0 0
[pid=13758/tid=13760] ppid=13756 vsize=547812 CPUtime=0.3
/proc/13758/task/13760/stat : 13760 (satake) D 13756 13758 27791 0 -1 4202560 6290 0 0 0 0 30 0 0 20 0 17 0 645732133 560959488 96975 18446744073709551615 134512640 135180984 4288776448 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 6 0 0 0 0 0
[pid=13758/tid=13761] ppid=13756 vsize=547812 CPUtime=0.5
/proc/13758/task/13761/stat : 13761 (satake) D 13756 13758 27791 0 -1 4202560 9269 0 0 0 0 50 0 0 20 0 17 0 645732133 560959488 96981 18446744073709551615 134512640 135180984 4288776448 18446744073709551615 134702260 0 0 1 0 0 0 0 -1 8 0 0 0 0 0
[pid=13758/tid=13762] ppid=13756 vsize=547812 CPUtime=0.28
/proc/13758/task/13762/stat : 13762 (satake) D 13756 13758 27791 0 -1 4202560 5734 0 0 0 0 28 0 0 20 0 17 0 645732133 560959488 96981 18446744073709551615 134512640 135180984 4288776448 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 0 0 0 0 0 0
[pid=13758/tid=13763] ppid=13756 vsize=547812 CPUtime=0.34
/proc/13758/task/13763/stat : 13763 (satake) D 13756 13758 27791 0 -1 4202560 5256 0 0 0 0 34 0 0 20 0 17 0 645732133 560959488 96981 18446744073709551615 134512640 135180984 4288776448 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 15 0 0 0 0 0
[pid=13758/tid=13764] ppid=13756 vsize=547812 CPUtime=0.3
/proc/13758/task/13764/stat : 13764 (satake) D 13756 13758 27791 0 -1 4202560 6250 0 0 0 0 30 0 0 20 0 17 0 645732133 560959488 96981 18446744073709551615 134512640 135180984 4288776448 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 1 0 0 0 0 0
[pid=13758/tid=13765] ppid=13756 vsize=547812 CPUtime=0.32
/proc/13758/task/13765/stat : 13765 (satake) R 13756 13758 27791 0 -1 4202560 5018 0 0 0 0 32 0 0 20 0 17 0 645732133 560959488 96985 18446744073709551615 134512640 135180984 4288776448 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 12 0 0 0 0 0
[pid=13758/tid=13766] ppid=13756 vsize=547812 CPUtime=0.22
/proc/13758/task/13766/stat : 13766 (satake) D 13756 13758 27791 0 -1 4202560 4815 0 0 0 0 22 0 0 20 0 17 0 645732133 560959488 96986 18446744073709551615 134512640 135180984 4288776448 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 0 0 0 0 0 0
[pid=13758/tid=13767] ppid=13756 vsize=547812 CPUtime=0.5
/proc/13758/task/13767/stat : 13767 (satake) D 13756 13758 27791 0 -1 4202560 9423 0 0 0 0 50 0 0 20 0 17 0 645732133 560959488 96988 18446744073709551615 134512640 135180984 4288776448 18446744073709551615 134675767 0 0 1 0 0 0 0 -1 2 0 0 0 0 0
[pid=13758/tid=13768] ppid=13756 vsize=547812 CPUtime=0.5

################
# 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= 942.147
system time used= 200.317
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 630284
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= 15476545
involuntary context switches= 1519714

runsolver used 1.6841 second user time and 3.65623 second system time

The end

Launcher Data 

Begin job on xenhost3-49 at 2009-06-13 05:37:37
IDJOB=1781382
IDBENCH=71736
IDSOLVER=631
FILE ID=xenhost3-49/1781382-1244864257
PBS_JOBID=
Free space on /tmp= 6992 MiB

SOLVER NAME= satake 2009-03-22 (16 threads)
BENCH NAME= SAT_RACE06/velev-vliw-uns-4.0-9C1.cnf
COMMAND LINE= HOME/satake BENCHNAME MAXNBTHREAD TIMEOUT
RUNSOLVER COMMAND LINE= runsolver --timestamp  -w /tmp/evaluation-result-1781382-1244864257/watcher-1781382-1244864257 -o /tmp/evaluation-result-1781382-1244864257/solver-1781382-1244864257 -C 10000 -W 1000 -M 2047 --output-limit 1,15 --cleanup-all-ipc-queues HOME/satake HOME/instance-1781382-1244864257.cnf 16 10000

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

MD5SUM BENCH= 0c9a15d0f561e9d1bb438b04ae3c31af
RANDOM SEED= 1024683694

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:      19089008 kB
Buffers:        435920 kB
Cached:       14149188 kB
SwapCached:          0 kB
Active:        4080928 kB
Inactive:     10512120 kB
SwapTotal:    25398692 kB
SwapFree:     25398692 kB
Dirty:           36472 kB
Writeback:           0 kB
AnonPages:        8064 kB
Mapped:           3824 kB
Slab:           690296 kB
SReclaimable:   663356 kB
SUnreclaim:      26940 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= 6992 MiB
End job on xenhost3-49 at 2009-06-13 05:43:02