Trace number 1780557

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) 5266.01 631.243

General information on the benchmark

NameAPPLICATIONS/diagnosis/
ACG-20-5p1.cnf
MD5SUM8eb175d312e8be3bb4695a79b8f45bdc
Bench CategoryAPPLICATION (applications instances)
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark1870.47
Satisfiable
(Un)Satisfiability was proved
Number of variables331196
Number of clauses1416850
Sum of the clauses size3333531
Maximum clause length10
Minimum clause length1
Number of clauses of size 111403
Number of clauses of size 21064373
Number of clauses of size 3284354
Number of clauses of size 46300
Number of clauses of size 525200
Number of clauses of size over 525220

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-1780557-1244831934/watcher-1780557-1244831934 -o /tmp/evaluation-result-1780557-1244831934/solver-1780557-1244831934 -C 10000 -W 1000 -M 2047 --output-limit 1,15 --cleanup-all-ipc-queues HOME/satake HOME/instance-1780557-1244831934.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: 7.97 9.88 10.61 2/184 10185
/proc/meminfo: memFree=19100848/36427776 swapFree=4756/8096
[pid=10185] ppid=10183 vsize=8008 CPUtime=0
/proc/10185/stat : 10185 (satake) D 10183 10185 27791 0 -1 4202496 434 0 0 0 0 0 0 0 20 0 15 0 642499883 8200192 391 18446744073709551615 134512640 135180984 4289393040 18446744073709551615 134702260 0 0 1 0 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/10185/statm: 2035 393 63 164 0 1870 0
[pid=10185/tid=10186] ppid=10183 vsize=8332 CPUtime=0
/proc/10185/task/10186/stat : 10186 (satake) S 10183 10185 27791 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 17 0 642499883 8531968 432 18446744073709551615 134512640 135180984 4289393040 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 2 0 0 0 0 0
[pid=10185/tid=10187] ppid=10183 vsize=8332 CPUtime=0
/proc/10185/task/10187/stat : 10187 (satake) D 10183 10185 27791 0 -1 4202560 53 0 0 0 0 0 0 0 20 0 17 0 642499883 8531968 433 18446744073709551615 134512640 135180984 4289393040 18446744073709551615 134706046 0 0 1 0 0 0 0 -1 3 0 0 0 0 0
[pid=10185/tid=10188] ppid=10183 vsize=8332 CPUtime=0
/proc/10185/task/10188/stat : 10188 (satake) R 10183 10185 27791 0 -1 4202560 58 0 0 0 0 0 0 0 20 0 17 0 642499883 8531968 433 18446744073709551615 134512640 135180984 4289393040 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 4 0 0 0 0 0
[pid=10185/tid=10189] ppid=10183 vsize=8332 CPUtime=0
/proc/10185/task/10189/stat : 10189 (satake) R 10183 10185 27791 0 -1 4202560 35 0 0 0 0 0 0 0 20 0 17 0 642499883 8531968 433 18446744073709551615 134512640 135180984 4289393040 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 6 0 0 0 0 0
[pid=10185/tid=10190] ppid=10183 vsize=8332 CPUtime=0
/proc/10185/task/10190/stat : 10190 (satake) R 10183 10185 27791 0 -1 4202560 34 0 0 0 0 0 0 0 20 0 17 0 642499883 8531968 434 18446744073709551615 134512640 135180984 4289393040 18446744073709551615 134691935 0 0 1 0 0 0 0 -1 4 0 0 0 0 0
[pid=10185/tid=10191] ppid=10183 vsize=8464 CPUtime=0
/proc/10185/task/10191/stat : 10191 (satake) D 10183 10185 27791 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 17 0 642499883 8667136 435 18446744073709551615 134512640 135180984 4289393040 18446744073709551615 134676560 0 0 1 0 0 0 0 -1 5 0 0 0 0 0
[pid=10185/tid=10192] ppid=10183 vsize=8464 CPUtime=0
/proc/10185/task/10192/stat : 10192 (satake) D 10183 10185 27791 0 -1 4202560 30 0 0 0 0 0 0 0 20 0 17 0 642499883 8667136 435 18446744073709551615 134512640 135180984 4289393040 18446744073709551615 134691935 0 0 1 0 0 0 0 -1 6 0 0 0 0 0
[pid=10185/tid=10193] ppid=10183 vsize=8592 CPUtime=0
/proc/10185/task/10193/stat : 10193 (satake) D 10183 10185 27791 0 -1 4202560 25 0 0 0 0 0 0 0 20 0 17 0 642499883 8798208 435 18446744073709551615 134512640 135180984 4289393040 18446744073709551615 134691935 0 0 1 0 0 0 0 -1 3 0 0 0 0 0
[pid=10185/tid=10194] ppid=10183 vsize=8596 CPUtime=0
/proc/10185/task/10194/stat : 10194 (satake) S 10183 10185 27791 0 -1 4202560 18 0 0 0 0 0 0 0 20 0 17 0 642499883 8802304 435 18446744073709551615 134512640 135180984 4289393040 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 1 0 0 0 0 0
[pid=10185/tid=10195] ppid=10183 vsize=8596 CPUtime=0
/proc/10185/task/10195/stat : 10195 (satake) S 10183 10185 27791 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 17 0 642499883 8802304 440 18446744073709551615 134512640 135180984 4289393040 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 7 0 0 0 0 0
[pid=10185/tid=10196] ppid=10183 vsize=8596 CPUtime=0
/proc/10185/task/10196/stat : 10196 (satake) R 10183 10185 27791 0 -1 4202560 23 0 0 0 0 0 0 0 20 0 17 0 642499883 8802304 441 18446744073709551615 134512640 135180984 4289393040 18446744073709551615 134691935 0 0 1 0 0 0 0 -1 2 0 0 0 0 0
[pid=10185/tid=10197] ppid=10183 vsize=8596 CPUtime=0
/proc/10185/task/10197/stat : 10197 (satake) R 10183 10185 27791 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 17 0 642499883 8802304 442 18446744073709551615 134512640 135180984 4289393040 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 5 0 0 0 0 0
[pid=10185/tid=10198] ppid=10183 vsize=8596 CPUtime=0
/proc/10185/task/10198/stat : 10198 (satake) R 10183 10185 27791 0 -1 4202560 14 0 0 0 0 0 0 0 20 0 17 0 642499884 8802304 442 18446744073709551615 134512640 135180984 4289393040 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 8 0 0 0 0 0
[pid=10185/tid=10199] ppid=10183 vsize=8596 CPUtime=0
/proc/10185/task/10199/stat : 10199 (satake) R 10183 10185 27791 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 17 0 642499884 8802304 443 18446744073709551615 134512640 135180984 4289393040 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 9 0 0 0 0 0
[pid=10185/tid=10200] ppid=10183 vsize=8596 CPUtime=0
/proc/10185/task/10200/stat : 10200 (satake) R 10183 10185 27791 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 17 0 642499884 8802304 443 18446744073709551615 134512640 135180984 4289393040 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 10 0 0 0 0 0
[pid=10185/tid=10201] ppid=10183 vsize=8596 CPUtime=0
/proc/10185/task/10201/stat : 10201 (satake) R 10183 10185 27791 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 17 0 642499884 8802304 443 18446744073709551615 134512640 135180984 4289393040 18446744073709551615 134675846 0 0 1 0 0 0 0 -1 11 0 0 0 0 0

[startup+0.030481 s]
/proc/loadavg: 7.97 9.88 10.61 2/184 10185
/proc/meminfo: memFree=19100848/36427776 swapFree=4756/8096
[pid=10185] ppid=10183 vsize=13872 CPUtime=0.15
/proc/10185/stat : 10185 (satake) S 10183 10185 27791 0 -1 4202496 1567 0 0 0 7 8 0 0 20 0 17 0 642499883 14204928 1524 18446744073709551615 134512640 135180984 4289393040 18446744073709551615 134573496 0 0 1 0 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/10185/statm: 3532 1537 63 164 0 3367 0
[pid=10185/tid=10186] ppid=10183 vsize=14260 CPUtime=0
/proc/10185/task/10186/stat : 10186 (satake) S 10183 10185 27791 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 17 0 642499883 14602240 1539 18446744073709551615 134512640 135180984 4289393040 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 2 0 0 0 0 0
[pid=10185/tid=10187] ppid=10183 vsize=14260 CPUtime=0
/proc/10185/task/10187/stat : 10187 (satake) D 10183 10185 27791 0 -1 4202560 173 0 0 0 0 0 0 0 20 0 17 0 642499883 14602240 1543 18446744073709551615 134512640 135180984 4289393040 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 15 0 0 0 0 0
[pid=10185/tid=10188] ppid=10183 vsize=14260 CPUtime=0
/proc/10185/task/10188/stat : 10188 (satake) D 10183 10185 27791 0 -1 4202560 146 0 0 0 0 0 0 0 20 0 17 0 642499883 14602240 1735 18446744073709551615 134512640 135180984 4289393040 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 4 0 0 0 0 0
[pid=10185/tid=10189] ppid=10183 vsize=14260 CPUtime=0
/proc/10185/task/10189/stat : 10189 (satake) D 10183 10185 27791 0 -1 4202560 141 0 0 0 0 0 0 0 20 0 17 0 642499883 14602240 1735 18446744073709551615 134512640 135180984 4289393040 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 6 0 0 0 0 0
[pid=10185/tid=10190] ppid=10183 vsize=14388 CPUtime=0
/proc/10185/task/10190/stat : 10190 (satake) D 10183 10185 27791 0 -1 4202560 56 0 0 0 0 0 0 0 20 0 17 0 642499883 14733312 1735 18446744073709551615 134512640 135180984 4289393040 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 4 0 0 0 0 0
[pid=10185/tid=10191] ppid=10183 vsize=14388 CPUtime=0
/proc/10185/task/10191/stat : 10191 (satake) R 10183 10185 27791 0 -1 4202560 146 0 0 0 0 0 0 0 20 0 17 0 642499883 14733312 1738 18446744073709551615 134512640 135180984 4289393040 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 5 0 0 0 0 0
[pid=10185/tid=10192] ppid=10183 vsize=14388 CPUtime=0
/proc/10185/task/10192/stat : 10192 (satake) D 10183 10185 27791 0 -1 4202560 53 0 0 0 0 0 0 0 20 0 17 0 642499883 14733312 1740 18446744073709551615 134512640 135180984 4289393040 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 6 0 0 0 0 0
[pid=10185/tid=10193] ppid=10183 vsize=14388 CPUtime=0
/proc/10185/task/10193/stat : 10193 (satake) D 10183 10185 27791 0 -1 4202560 116 0 0 0 0 0 0 0 20 0 17 0 642499883 14733312 1751 18446744073709551615 134512640 135180984 4289393040 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 3 0 0 0 0 0
[pid=10185/tid=10194] ppid=10183 vsize=14388 CPUtime=0
/proc/10185/task/10194/stat : 10194 (satake) D 10183 10185 27791 0 -1 4202560 102 0 0 0 0 0 0 0 20 0 17 0 642499883 14733312 1751 18446744073709551615 134512640 135180984 4289393040 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 1 0 0 0 0 0
[pid=10185/tid=10195] ppid=10183 vsize=14388 CPUtime=0
/proc/10185/task/10195/stat : 10195 (satake) D 10183 10185 27791 0 -1 4202560 128 0 0 0 0 0 0 0 20 0 17 0 642499883 14733312 1751 18446744073709551615 134512640 135180984 4289393040 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 7 0 0 0 0 0
[pid=10185/tid=10196] ppid=10183 vsize=14900 CPUtime=0
/proc/10185/task/10196/stat : 10196 (satake) D 10183 10185 27791 0 -1 4202560 118 0 0 0 0 0 0 0 20 0 17 0 642499883 15257600 1751 18446744073709551615 134512640 135180984 4289393040 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 2 0 0 0 0 0
[pid=10185/tid=10197] ppid=10183 vsize=14900 CPUtime=0
/proc/10185/task/10197/stat : 10197 (satake) D 10183 10185 27791 0 -1 4202560 38 0 0 0 0 0 0 0 20 0 17 0 642499883 15257600 1751 18446744073709551615 134512640 135180984 4289393040 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 5 0 0 0 0 0
[pid=10185/tid=10198] ppid=10183 vsize=14900 CPUtime=0
/proc/10185/task/10198/stat : 10198 (satake) R 10183 10185 27791 0 -1 4202560 146 0 0 0 0 0 0 0 20 0 17 0 642499884 15257600 1751 18446744073709551615 134512640 135180984 4289393040 18446744073709551615 134706046 0 0 1 0 0 0 0 -1 8 0 0 0 0 0
[pid=10185/tid=10199] ppid=10183 vsize=14900 CPUtime=0
/proc/10185/task/10199/stat : 10199 (satake) D 10183 10185 27791 0 -1 4202560 51 0 0 0 0 0 0 0 20 0 17 0 642499884 15257600 1751 18446744073709551615 134512640 135180984 4289393040 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 9 0 0 0 0 0
[pid=10185/tid=10200] ppid=10183 vsize=14900 CPUtime=0
/proc/10185/task/10200/stat : 10200 (satake) D 10183 10185 27791 0 -1 4202560 107 0 0 0 0 0 0 0 20 0 17 0 642499884 15257600 1751 18446744073709551615 134512640 135180984 4289393040 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 10 0 0 0 0 0
[pid=10185/tid=10201] ppid=10183 vsize=14900 CPUtime=0
/proc/10185/task/10201/stat : 10201 (satake) D 10183 10185 27791 0 -1 4202560 126 0 0 0 0 0 0 0 20 0 17 0 642499884 15257600 1751 18446744073709551615 134512640 135180984 4289393040 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 11 0 0 0 0 0
Current children cumulated CPU time (s) 0.15
Current children cumulated vsize (KiB) 13872

[startup+0.114151 s]
/proc/loadavg: 7.97 9.88 10.61 2/184 10185
/proc/meminfo: memFree=19100848/36427776 swapFree=4756/8096
[pid=10185] ppid=10183 vsize=60596 CPUtime=1.01
/proc/10185/stat : 10185 (satake) S 10183 10185 27791 0 -1 4202496 10985 0 0 0 8 93 0 0 20 0 17 0 642499883 62050304 10942 18446744073709551615 134512640 135180984 4289393040 18446744073709551615 134573496 0 0 1 0 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/10185/statm: 15149 10942 63 164 0 14984 0
[pid=10185/tid=10186] ppid=10183 vsize=60596 CPUtime=0
/proc/10185/task/10186/stat : 10186 (satake) S 10183 10185 27791 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 17 0 642499883 62050304 10942 18446744073709551615 134512640 135180984 4289393040 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 2 0 0 0 0 0
[pid=10185/tid=10187] ppid=10183 vsize=60596 CPUtime=0.08
/proc/10185/task/10187/stat : 10187 (satake) R 10183 10185 27791 0 -1 4202560 1045 0 0 0 0 8 0 0 20 0 17 0 642499883 62050304 10942 18446744073709551615 134512640 135180984 4289393040 18446744073709551615 134706046 0 0 1 0 0 0 0 -1 15 0 0 0 0 0
[pid=10185/tid=10188] ppid=10183 vsize=60596 CPUtime=0.06
/proc/10185/task/10188/stat : 10188 (satake) D 10183 10185 27791 0 -1 4202560 663 0 0 0 0 6 0 0 20 0 17 0 642499883 62050304 10942 18446744073709551615 134512640 135180984 4289393040 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 4 0 0 0 0 0
[pid=10185/tid=10189] ppid=10183 vsize=60596 CPUtime=0.06
/proc/10185/task/10189/stat : 10189 (satake) D 10183 10185 27791 0 -1 4202560 929 0 0 0 0 6 0 0 20 0 17 0 642499883 62050304 10942 18446744073709551615 134512640 135180984 4289393040 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 6 0 0 0 0 0
[pid=10185/tid=10190] ppid=10183 vsize=60596 CPUtime=0.02
/proc/10185/task/10190/stat : 10190 (satake) D 10183 10185 27791 0 -1 4202560 365 0 0 0 0 2 0 0 20 0 17 0 642499883 62050304 10942 18446744073709551615 134512640 135180984 4289393040 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 4 0 0 0 0 0
[pid=10185/tid=10191] ppid=10183 vsize=60596 CPUtime=0.06
/proc/10185/task/10191/stat : 10191 (satake) D 10183 10185 27791 0 -1 4202560 709 0 0 0 0 6 0 0 20 0 17 0 642499883 62050304 10942 18446744073709551615 134512640 135180984 4289393040 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 5 0 0 0 0 0
[pid=10185/tid=10192] ppid=10183 vsize=60596 CPUtime=0
/proc/10185/task/10192/stat : 10192 (satake) D 10183 10185 27791 0 -1 4202560 267 0 0 0 0 0 0 0 20 0 17 0 642499883 62050304 10942 18446744073709551615 134512640 135180984 4289393040 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 6 0 0 0 0 0
[pid=10185/tid=10193] ppid=10183 vsize=60596 CPUtime=0.08
/proc/10185/task/10193/stat : 10193 (satake) D 10183 10185 27791 0 -1 4202560 771 0 0 0 0 8 0 0 20 0 17 0 642499883 62050304 10942 18446744073709551615 134512640 135180984 4289393040 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 3 0 0 0 0 0
[pid=10185/tid=10194] ppid=10183 vsize=60596 CPUtime=0.06
/proc/10185/task/10194/stat : 10194 (satake) D 10183 10185 27791 0 -1 4202560 724 0 0 0 0 6 0 0 20 0 17 0 642499883 62050304 10942 18446744073709551615 134512640 135180984 4289393040 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 1 0 0 0 0 0
[pid=10185/tid=10195] ppid=10183 vsize=60596 CPUtime=0.08
/proc/10185/task/10195/stat : 10195 (satake) D 10183 10185 27791 0 -1 4202560 855 0 0 0 0 8 0 0 20 0 17 0 642499883 62050304 10942 18446744073709551615 134512640 135180984 4289393040 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 7 0 0 0 0 0
[pid=10185/tid=10196] ppid=10183 vsize=60596 CPUtime=0.08
/proc/10185/task/10196/stat : 10196 (satake) D 10183 10185 27791 0 -1 4202560 778 0 0 0 0 8 0 0 20 0 17 0 642499883 62050304 10942 18446744073709551615 134512640 135180984 4289393040 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 2 0 0 0 0 0
[pid=10185/tid=10197] ppid=10183 vsize=60596 CPUtime=0.02
/proc/10185/task/10197/stat : 10197 (satake) D 10183 10185 27791 0 -1 4202560 191 0 0 0 0 2 0 0 20 0 17 0 642499883 62050304 10942 18446744073709551615 134512640 135180984 4289393040 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 5 0 0 0 0 0
[pid=10185/tid=10198] ppid=10183 vsize=60596 CPUtime=0.08
/proc/10185/task/10198/stat : 10198 (satake) D 10183 10185 27791 0 -1 4202560 868 0 0 0 0 8 0 0 20 0 17 0 642499884 62050304 10942 18446744073709551615 134512640 135180984 4289393040 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 8 0 0 0 0 0
[pid=10185/tid=10199] ppid=10183 vsize=60596 CPUtime=0.06
/proc/10185/task/10199/stat : 10199 (satake) D 10183 10185 27791 0 -1 4202560 913 0 0 0 0 6 0 0 20 0 17 0 642499884 62050304 10942 18446744073709551615 134512640 135180984 4289393040 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 9 0 0 0 0 0
[pid=10185/tid=10200] ppid=10183 vsize=60596 CPUtime=0.08
/proc/10185/task/10200/stat : 10200 (satake) D 10183 10185 27791 0 -1 4202560 876 0 0 0 0 8 0 0 20 0 17 0 642499884 62050304 10942 18446744073709551615 134512640 135180984 4289393040 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 10 0 0 0 0 0
[pid=10185/tid=10201] ppid=10183 vsize=60596 CPUtime=0.08
/proc/10185/task/10201/stat : 10201 (satake) D 10183 10185 27791 0 -1 4202560 901 0 0 0 0 8 0 0 20 0 17 0 642499884 62050304 10942 18446744073709551615 134512640 135180984 4289393040 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 11 0 0 0 0 0
Current children cumulated CPU time (s) 1.01
Current children cumulated vsize (KiB) 60596

[startup+0.306384 s]
/proc/loadavg: 7.97 9.88 10.61 2/184 10185
/proc/meminfo: memFree=19100848/36427776 swapFree=4756/8096
[pid=10185] ppid=10183 vsize=236724 CPUtime=2.98
/proc/10185/stat : 10185 (satake) S 10183 10185 27791 0 -1 4202496 42131 0 0 0 8 290 0 0 20 0 17 0 642499883 242405376 42095 18446744073709551615 134512640 135180984 4289393040 18446744073709551615 134573496 0 0 1 0 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/10185/statm: 59181 42127 63 164 0 59016 0
[pid=10185/tid=10186] ppid=10183 vsize=236724 CPUtime=0
/proc/10185/task/10186/stat : 10186 (satake) S 10183 10185 27791 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 17 0 642499883 242405376 42152 18446744073709551615 134512640 135180984 4289393040 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 2 0 0 0 0 0
[pid=10185/tid=10187] ppid=10183 vsize=236724 CPUtime=0.24
/proc/10185/task/10187/stat : 10187 (satake) R 10183 10185 27791 0 -1 4202560 4368 0 0 0 0 24 0 0 20 0 17 0 642499883 242405376 42168 18446744073709551615 134512640 135180984 4289393040 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 15 0 0 0 0 0
[pid=10185/tid=10188] ppid=10183 vsize=236724 CPUtime=0.14
/proc/10185/task/10188/stat : 10188 (satake) R 10183 10185 27791 0 -1 4202560 1856 0 0 0 0 14 0 0 20 0 17 0 642499883 242405376 42202 18446744073709551615 134512640 135180984 4289393040 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 0 0 0 0 0 0
[pid=10185/tid=10189] ppid=10183 vsize=236724 CPUtime=0.16
/proc/10185/task/10189/stat : 10189 (satake) R 10183 10185 27791 0 -1 4202560 2346 0 0 0 0 16 0 0 20 0 17 0 642499883 242405376 42221 18446744073709551615 134512640 135180984 4289393040 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 6 0 0 0 0 0
[pid=10185/tid=10190] ppid=10183 vsize=236724 CPUtime=0.12
/proc/10185/task/10190/stat : 10190 (satake) R 10183 10185 27791 0 -1 4202560 1828 0 0 0 0 12 0 0 20 0 17 0 642499883 242405376 42248 18446744073709551615 134512640 135180984 4289393040 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 4 0 0 0 0 0
[pid=10185/tid=10191] ppid=10183 vsize=236724 CPUtime=0.12
/proc/10185/task/10191/stat : 10191 (satake) R 10183 10185 27791 0 -1 4202560 2068 0 0 0 0 12 0 0 20 0 17 0 642499883 242405376 42272 18446744073709551615 134512640 135180984 4289393040 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 5 0 0 0 0 0
[pid=10185/tid=10192] ppid=10183 vsize=236724 CPUtime=0.08
/proc/10185/task/10192/stat : 10192 (satake) R 10183 10185 27791 0 -1 4202560 1506 0 0 0 0 8 0 0 20 0 17 0 642499883 242405376 42290 18446744073709551615 134512640 135180984 4289393040 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 6 0 0 0 0 0
[pid=10185/tid=10193] ppid=10183 vsize=236724 CPUtime=0.24
/proc/10185/task/10193/stat : 10193 (satake) R 10183 10185 27791 0 -1 4202560 3321 0 0 0 0 24 0 0 20 0 17 0 642499883 242405376 42313 18446744073709551615 134512640 135180984 4289393040 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 3 0 0 0 0 0
[pid=10185/tid=10194] ppid=10183 vsize=236724 CPUtime=0.24
/proc/10185/task/10194/stat : 10194 (satake) R 10183 10185 27791 0 -1 4202560 2925 0 0 0 0 24 0 0 20 0 17 0 642499883 242405376 42336 18446744073709551615 134512640 135180984 4289393040 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 1 0 0 0 0 0
[pid=10185/tid=10195] ppid=10183 vsize=236724 CPUtime=0.24
/proc/10185/task/10195/stat : 10195 (satake) R 10183 10185 27791 0 -1 4202560 3049 0 0 0 0 24 0 0 20 0 17 0 642499883 242405376 42351 18446744073709551615 134512640 135180984 4289393040 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 7 0 0 0 0 0
[pid=10185/tid=10196] ppid=10183 vsize=236724 CPUtime=0.24
/proc/10185/task/10196/stat : 10196 (satake) R 10183 10185 27791 0 -1 4202560 3663 0 0 0 0 24 0 0 20 0 17 0 642499883 242405376 42373 18446744073709551615 134512640 135180984 4289393040 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 2 0 0 0 0 0
[pid=10185/tid=10197] ppid=10183 vsize=236724 CPUtime=0.1
/proc/10185/task/10197/stat : 10197 (satake) R 10183 10185 27791 0 -1 4202560 1747 0 0 0 0 10 0 0 20 0 17 0 642499883 242405376 42380 18446744073709551615 134512640 135180984 4289393040 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 5 0 0 0 0 0
[pid=10185/tid=10198] ppid=10183 vsize=236724 CPUtime=0.24
/proc/10185/task/10198/stat : 10198 (satake) R 10183 10185 27791 0 -1 4202560 3206 0 0 0 0 24 0 0 20 0 17 0 642499884 242405376 42380 18446744073709551615 134512640 135180984 4289393040 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 8 0 0 0 0 0
[pid=10185/tid=10199] ppid=10183 vsize=236724 CPUtime=0.22
/proc/10185/task/10199/stat : 10199 (satake) R 10183 10185 27791 0 -1 4202560 3400 0 0 0 0 22 0 0 20 0 17 0 642499884 242405376 42381 18446744073709551615 134512640 135180984 4289393040 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 9 0 0 0 0 0
[pid=10185/tid=10200] ppid=10183 vsize=236724 CPUtime=0.24
/proc/10185/task/10200/stat : 10200 (satake) R 10183 10185 27791 0 -1 4202560 3342 0 0 0 0 24 0 0 20 0 17 0 642499884 242405376 42382 18446744073709551615 134512640 135180984 4289393040 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 10 0 0 0 0 0
[pid=10185/tid=10201] ppid=10183 vsize=236724 CPUtime=0.24
/proc/10185/task/10201/stat : 10201 (satake) R 10183 10185 27791 0 -1 4202560 3616 0 0 0 0 24 0 0 20 0 17 0 642499884 242405376 42383 18446744073709551615 134512640 135180984 4289393040 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 11 0 0 0 0 0
Current children cumulated CPU time (s) 2.98
Current children cumulated vsize (KiB) 236724

[startup+0.704367 s]
/proc/loadavg: 7.97 9.88 10.61 2/184 10185
/proc/meminfo: memFree=19100848/36427776 swapFree=4756/8096
[pid=10185] ppid=10183 vsize=419816 CPUtime=7.52
/proc/10185/stat : 10185 (satake) S 10183 10185 27791 0 -1 4202496 81923 0 0 0 8 744 0 0 20 0 17 0 642499883 429891584 81880 18446744073709551615 134512640 135180984 4289393040 18446744073709551615 134573496 0 0 1 0 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/10185/statm: 104954 81887 63 164 0 104789 0
[pid=10185/tid=10186] ppid=10183 vsize=419816 CPUtime=0
/proc/10185/task/10186/stat : 10186 (satake) S 10183 10185 27791 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 17 0 642499883 429891584 81888 18446744073709551615 134512640 135180984 4289393040 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 2 0 0 0 0 0
[pid=10185/tid=10187] ppid=10183 vsize=419816 CPUtime=0.6
/proc/10185/task/10187/stat : 10187 (satake) R 10183 10185 27791 0 -1 4202560 7762 0 0 0 0 60 0 0 20 0 17 0 642499883 429891584 81888 18446744073709551615 134512640 135180984 4289393040 18446744073709551615 134675767 0 0 1 0 0 0 0 -1 15 0 0 0 0 0
[pid=10185/tid=10188] ppid=10183 vsize=419816 CPUtime=0.48
/proc/10185/task/10188/stat : 10188 (satake) R 10183 10185 27791 0 -1 4202560 4959 0 0 0 0 48 0 0 20 0 17 0 642499883 429891584 81889 18446744073709551615 134512640 135180984 4289393040 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 0 0 0 0 0 0
[pid=10185/tid=10189] ppid=10183 vsize=419816 CPUtime=0.34
/proc/10185/task/10189/stat : 10189 (satake) D 10183 10185 27791 0 -1 4202560 3778 0 0 0 0 34 0 0 20 0 17 0 642499883 429891584 81890 18446744073709551615 134512640 135180984 4289393040 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 6 0 0 0 0 0
[pid=10185/tid=10190] ppid=10183 vsize=419816 CPUtime=0.46
/proc/10185/task/10190/stat : 10190 (satake) R 10183 10185 27791 0 -1 4202560 5202 0 0 0 0 46 0 0 20 0 17 0 642499883 429891584 81891 18446744073709551615 134512640 135180984 4289393040 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 4 0 0 0 0 0
[pid=10185/tid=10191] ppid=10183 vsize=419816 CPUtime=0.34
/proc/10185/task/10191/stat : 10191 (satake) R 10183 10185 27791 0 -1 4202560 3885 0 0 0 0 34 0 0 20 0 17 0 642499883 429891584 81891 18446744073709551615 134512640 135180984 4289393040 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 5 0 0 0 0 0
[pid=10185/tid=10192] ppid=10183 vsize=419816 CPUtime=0.26
/proc/10185/task/10192/stat : 10192 (satake) R 10183 10185 27791 0 -1 4202560 2918 0 0 0 0 26 0 0 20 0 17 0 642499883 429891584 81891 18446744073709551615 134512640 135180984 4289393040 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 6 0 0 0 0 0
[pid=10185/tid=10193] ppid=10183 vsize=419816 CPUtime=0.58
/proc/10185/task/10193/stat : 10193 (satake) R 10183 10185 27791 0 -1 4202560 6468 0 0 0 0 58 0 0 20 0 17 0 642499883 429891584 81891 18446744073709551615 134512640 135180984 4289393040 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 3 0 0 0 0 0
[pid=10185/tid=10194] ppid=10183 vsize=419816 CPUtime=0.58
/proc/10185/task/10194/stat : 10194 (satake) R 10183 10185 27791 0 -1 4202560 5547 0 0 0 0 58 0 0 20 0 17 0 642499883 429891584 81891 18446744073709551615 134512640 135180984 4289393040 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 1 0 0 0 0 0
[pid=10185/tid=10195] ppid=10183 vsize=419816 CPUtime=0.58

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

deleting IPC queue 1873215566
deleting IPC queue 1873248335
deleting IPC queue 1873281104
deleting IPC queue 1873313873
deleting IPC queue 1873346642
deleting IPC queue 1873379411
deleting IPC queue 1873412180
deleting IPC queue 1873444949
deleting IPC queue 1873477718
deleting IPC queue 1873510487
deleting IPC queue 1873543256
deleting IPC queue 1873576025
deleting IPC queue 1873608794
deleting IPC queue 1873641563
deleting IPC queue 1873674332
deleting IPC queue 1873707101
deleting IPC queue 1873739870
deleting IPC queue 1873772639
deleting IPC queue 1873805408
deleting IPC queue 1873838177
deleting IPC queue 1873870946
deleting IPC queue 1873903715
deleting IPC queue 1873936484
deleting IPC queue 1873969253
deleting IPC queue 1874002022
deleting IPC queue 1874034791
deleting IPC queue 1874067560
deleting IPC queue 1874100329
deleting IPC queue 1874133098
deleting IPC queue 1874165867
deleting IPC queue 1874198636
deleting IPC queue 1874231405
deleting IPC queue 1874264174
deleting IPC queue 1874296943
deleting IPC queue 1874329712
deleting IPC queue 1874362481
deleting IPC queue 1874395250
deleting IPC queue 1874428019
deleting IPC queue 1874460788
deleting IPC queue 1874493557
deleting IPC queue 1874526326
deleting IPC queue 1874559095
deleting IPC queue 1874591864
deleting IPC queue 1874624633
deleting IPC queue 1874657402
deleting IPC queue 1874690171
deleting IPC queue 1874722940
deleting IPC queue 1874755709
deleting IPC queue 1874788478
deleting IPC queue 1874821247
deleting IPC queue 1874854016
deleting IPC queue 1874886785
deleting IPC queue 1874919554
deleting IPC queue 1874952323
deleting IPC queue 1874985092
deleting IPC queue 1875017861
deleting IPC queue 1875050630
deleting IPC queue 1875083399
deleting IPC queue 1875116168
deleting IPC queue 1875148937
deleting IPC queue 1875181706
deleting IPC queue 1875214475
deleting IPC queue 1875247244
deleting IPC queue 1875280013
deleting IPC queue 1875312782
deleting IPC queue 1875345551
deleting IPC queue 1875378320
deleting IPC queue 1875411089
deleting IPC queue 1875443858
deleting IPC queue 1875476627
deleting IPC queue 1875509396
deleting IPC queue 1875542165
deleting IPC queue 1875574934
deleting IPC queue 1875607703
deleting IPC queue 1875640472
deleting IPC queue 1875673241
deleting IPC queue 1875706010
deleting IPC queue 1875738779
deleting IPC queue 1875771548
deleting IPC queue 1875804317
deleting IPC queue 1875837086
deleting IPC queue 1875869855
deleting IPC queue 1875902624
deleting IPC queue 1875935393
deleting IPC queue 1875968162
deleting IPC queue 1876000931
deleting IPC queue 1876033700
deleting IPC queue 1876066469
deleting IPC queue 1876099238
deleting IPC queue 1876132007
deleting IPC queue 1876164776
deleting IPC queue 1876197545
deleting IPC queue 1876230314
deleting IPC queue 1876263083
deleting IPC queue 1876295852
deleting IPC queue 1876328621
deleting IPC queue 1876361390
deleting IPC queue 1876394159
deleting IPC queue 1876426928
deleting IPC queue 1876459697
deleting IPC queue 1876492466
deleting IPC queue 1876525235
deleting IPC queue 1876558004
deleting IPC queue 1876590773
deleting IPC queue 1876623542
deleting IPC queue 1876656311
deleting IPC queue 1876689080
deleting IPC queue 1876721849
deleting IPC queue 1876754618
deleting IPC queue 1876787387
deleting IPC queue 1876820156
deleting IPC queue 1876852925
deleting IPC queue 1876885694
deleting IPC queue 1876918463
deleting IPC queue 1876951232
deleting IPC queue 1876984001
deleting IPC queue 1877016770
deleting IPC queue 1877049539
deleting IPC queue 1877082308
deleting IPC queue 1877115077
deleting IPC queue 1877147846
deleting IPC queue 1877180615
deleting IPC queue 1877213384
deleting IPC queue 1877246153
deleting IPC queue 1877278922
deleting IPC queue 1877311691
deleting IPC queue 1877344460
deleting IPC queue 1877377229
deleting IPC queue 1877409998
deleting IPC queue 1877442767
deleting IPC queue 1877475536
deleting IPC queue 1877508305
deleting IPC queue 1877541074
deleting IPC queue 1877573843
deleting IPC queue 1877606612
deleting IPC queue 1877639381
deleting IPC queue 1877672150
deleting IPC queue 1877704919
deleting IPC queue 1877737688
deleting IPC queue 1877770457
deleting IPC queue 1877803226
deleting IPC queue 1877835995
deleting IPC queue 1877868764
deleting IPC queue 1877901533
deleting IPC queue 1877934302
deleting IPC queue 1877967071
deleting IPC queue 1877999840
deleting IPC queue 1878032609
deleting IPC queue 1878065378
deleting IPC queue 1878098147
deleting IPC queue 1878130916
deleting IPC queue 1878163685
deleting IPC queue 1878196454
deleting IPC queue 1878229223
deleting IPC queue 1878261992
deleting IPC queue 1878294761
deleting IPC queue 1878327530
deleting IPC queue 1878360299
deleting IPC queue 1878393068
deleting IPC queue 1878425837
deleting IPC queue 1878458606
deleting IPC queue 1878491375
deleting IPC queue 1878524144
deleting IPC queue 1878556913
deleting IPC queue 1878589682
deleting IPC queue 1878622451
deleting IPC queue 1878655220
deleting IPC queue 1878687989
deleting IPC queue 1878720758
deleting IPC queue 1878753527
deleting IPC queue 1878786296
deleting IPC queue 1878819065
deleting IPC queue 1878851834
deleting IPC queue 1878884603
deleting IPC queue 1878917372
deleting IPC queue 1878950141
deleting IPC queue 1878982910
deleting IPC queue 1879015679

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4948.29
system time used= 317.72
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 544993
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= 25962433
involuntary context switches= 924405

runsolver used 2.84418 second user time and 8.70854 second system time

The end

Launcher Data 

Begin job on xenhost3-49 at 2009-06-12 20:38:54
IDJOB=1780557
IDBENCH=71023
IDSOLVER=631
FILE ID=xenhost3-49/1780557-1244831934
PBS_JOBID=
Free space on /tmp= 7003 MiB

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

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

MD5SUM BENCH= 8eb175d312e8be3bb4695a79b8f45bdc
RANDOM SEED= 76498096

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:      19100848 kB
Buffers:        435384 kB
Cached:       14137776 kB
SwapCached:          0 kB
Active:        4080864 kB
Inactive:     10500840 kB
SwapTotal:    25398692 kB
SwapFree:     25398692 kB
Dirty:           26608 kB
Writeback:           0 kB
AnonPages:        8096 kB
Mapped:           4092 kB
Slab:           689820 kB
SReclaimable:   662828 kB
SUnreclaim:      26992 kB
PageTables:          0 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
WritebackTmp:        0 kB
CommitLimit:  43612580 kB
Committed_AS:    29852 kB
VmallocTotal: 34359738367 kB
VmallocUsed:    275248 kB
VmallocChunk: 34359462839 kB
DirectMap4k:  99216660 kB
DirectMap2M:         0 kB

Free space on /tmp at the end= 7003 MiB
End job on xenhost3-49 at 2009-06-12 20:49:28