Trace number 1776222

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)? (TO) 1127.23 1000.03

General information on the benchmark

Nameindustrial/jarvisalo/
eq.atree.braun.13.unsat.cnf
MD5SUM8ca1246723b65c8e0ae1eddb535ce13f
Bench CategoryAPPLICATION (applications instances)
Best result obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark
Satisfiable
(Un)Satisfiability was proved
Number of variables2010
Number of clauses6802
Sum of the clauses size17668
Maximum clause length25
Minimum clause length1
Number of clauses of size 13
Number of clauses of size 22961
Number of clauses of size 33733
Number of clauses of size 443
Number of clauses of size 546
Number of clauses of size over 516

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-1776222-1244740008/watcher-1776222-1244740008 -o /tmp/evaluation-result-1776222-1244740008/solver-1776222-1244740008 -C 10000 -W 1000 -M 2047 --output-limit 1,15 --cleanup-all-ipc-queues HOME/satake HOME/instance-1776222-1244740008.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.09 2.23 3.94 2/184 31158
/proc/meminfo: memFree=19143552/36427776 swapFree=3652/8360
[pid=31158] ppid=31156 vsize=6976 CPUtime=0
/proc/31158/stat : 31158 (satake) R 31156 31158 27791 0 -1 4202496 409 0 0 0 0 0 0 0 20 0 16 0 633307145 7143424 363 18446744073709551615 134512640 135180984 4288731376 18446744073709551615 134702083 0 0 1 0 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/31158/statm: 1744 363 63 164 0 1579 0
[pid=31158/tid=31159] ppid=31156 vsize=6976 CPUtime=0
/proc/31158/task/31159/stat : 31159 (satake) S 31156 31158 27791 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 16 0 633307146 7143424 364 18446744073709551615 134512640 135180984 4288731376 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 5 0 0 0 0 0
[pid=31158/tid=31160] ppid=31156 vsize=6976 CPUtime=0
/proc/31158/task/31160/stat : 31160 (satake) R 31156 31158 27791 0 -1 4202560 56 0 0 0 0 0 0 0 20 0 16 0 633307146 7143424 366 18446744073709551615 134512640 135180984 4288731376 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 6 0 0 0 0 0
[pid=31158/tid=31161] ppid=31156 vsize=7040 CPUtime=0
/proc/31158/task/31161/stat : 31161 (satake) D 31156 31158 27791 0 -1 4202560 53 0 0 0 0 0 0 0 20 0 16 0 633307146 7208960 366 18446744073709551615 134512640 135180984 4288731376 18446744073709551615 134706046 0 0 1 0 0 0 0 -1 7 0 0 0 0 0
[pid=31158/tid=31162] ppid=31156 vsize=7040 CPUtime=0
/proc/31158/task/31162/stat : 31162 (satake) D 31156 31158 27791 0 -1 4202560 32 0 0 0 0 0 0 0 20 0 16 0 633307146 7208960 366 18446744073709551615 134512640 135180984 4288731376 18446744073709551615 134691935 0 0 1 0 0 0 0 -1 15 0 0 0 0 0
[pid=31158/tid=31163] ppid=31156 vsize=7300 CPUtime=0
/proc/31158/task/31163/stat : 31163 (satake) D 31156 31158 27791 0 -1 4202560 30 0 0 0 0 0 0 0 20 0 16 0 633307146 7475200 366 18446744073709551615 134512640 135180984 4288731376 18446744073709551615 134691935 0 0 1 0 0 0 0 -1 8 0 0 0 0 0
[pid=31158/tid=31164] ppid=31156 vsize=7168 CPUtime=0
/proc/31158/task/31164/stat : 31164 (satake) S 31156 31158 27791 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 16 0 633307146 7340032 370 18446744073709551615 134512640 135180984 4288731376 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 9 0 0 0 0 0
[pid=31158/tid=31165] ppid=31156 vsize=7168 CPUtime=0
/proc/31158/task/31165/stat : 31165 (satake) S 31156 31158 27791 0 -1 4202560 18 0 0 0 0 0 0 0 20 0 16 0 633307146 7340032 374 18446744073709551615 134512640 135180984 4288731376 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 10 0 0 0 0 0
[pid=31158/tid=31166] ppid=31156 vsize=7168 CPUtime=0
/proc/31158/task/31166/stat : 31166 (satake) R 31156 31158 27791 0 -1 4202560 23 0 0 0 0 0 0 0 20 0 16 0 633307146 7340032 375 18446744073709551615 134512640 135180984 4288731376 18446744073709551615 134691935 0 0 1 0 0 0 0 -1 11 0 0 0 0 0
[pid=31158/tid=31167] ppid=31156 vsize=7168 CPUtime=0
/proc/31158/task/31167/stat : 31167 (satake) R 31156 31158 27791 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 16 0 633307146 7340032 375 18446744073709551615 134512640 135180984 4288731376 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 8 0 0 0 0 0
[pid=31158/tid=31168] ppid=31156 vsize=7168 CPUtime=0
/proc/31158/task/31168/stat : 31168 (satake) S 31156 31158 27791 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 16 0 633307146 7340032 375 18446744073709551615 134512640 135180984 4288731376 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 12 0 0 0 0 0
[pid=31158/tid=31169] ppid=31156 vsize=7168 CPUtime=0
/proc/31158/task/31169/stat : 31169 (satake) R 31156 31158 27791 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 16 0 633307146 7340032 375 18446744073709551615 134512640 135180984 4288731376 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 5 0 0 0 0 0
[pid=31158/tid=31170] ppid=31156 vsize=7168 CPUtime=0
/proc/31158/task/31170/stat : 31170 (satake) R 31156 31158 27791 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 16 0 633307146 7340032 376 18446744073709551615 134512640 135180984 4288731376 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 9 0 0 0 0 0
[pid=31158/tid=31171] ppid=31156 vsize=7168 CPUtime=0
/proc/31158/task/31171/stat : 31171 (satake) R 31156 31158 27791 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 16 0 633307146 7340032 379 18446744073709551615 134512640 135180984 4288731376 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 9 0 0 0 0 0
[pid=31158/tid=31172] ppid=31156 vsize=7168 CPUtime=0
/proc/31158/task/31172/stat : 31172 (satake) D 31156 31158 27791 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 16 0 633307146 7340032 380 18446744073709551615 134512640 135180984 4288731376 18446744073709551615 134702083 0 0 1 0 0 0 0 -1 10 0 0 0 0 0
[pid=31158/tid=31173] ppid=31156 vsize=7168 CPUtime=0
/proc/31158/task/31173/stat : 31173 (satake) D 31156 31158 27791 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 16 0 633307147 7340032 380 18446744073709551615 134512640 135180984 4288731376 18446744073709551615 134702083 0 0 1 0 0 0 0 -1 13 0 0 0 0 0

[startup+0.086965 s]
/proc/loadavg: 2.09 2.23 3.94 2/184 31158
/proc/meminfo: memFree=19143552/36427776 swapFree=3652/8360
[pid=31158] ppid=31156 vsize=14908 CPUtime=0.34
/proc/31158/stat : 31158 (satake) S 31156 31158 27791 0 -1 4202496 2525 0 0 0 22 12 0 0 20 0 17 0 633307145 15265792 2001 18446744073709551615 134512640 135180984 4288731376 18446744073709551615 134573496 0 0 1 0 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/31158/statm: 3727 2002 67 164 0 3562 0
[pid=31158/tid=31159] ppid=31156 vsize=14908 CPUtime=0
/proc/31158/task/31159/stat : 31159 (satake) R 31156 31158 27791 0 -1 4202560 43 0 0 0 0 0 0 0 20 0 17 0 633307146 15265792 2002 18446744073709551615 134512640 135180984 4288731376 18446744073709551615 134706407 0 0 1 0 0 0 0 -1 5 0 0 0 0 0
[pid=31158/tid=31160] ppid=31156 vsize=14908 CPUtime=0.02
/proc/31158/task/31160/stat : 31160 (satake) R 31156 31158 27791 0 -1 4202560 190 0 0 0 0 2 0 0 20 0 17 0 633307146 15265792 2002 18446744073709551615 134512640 135180984 4288731376 18446744073709551615 134579745 0 0 1 0 0 0 0 -1 6 0 0 0 0 0
[pid=31158/tid=31161] ppid=31156 vsize=14908 CPUtime=0.02
/proc/31158/task/31161/stat : 31161 (satake) R 31156 31158 27791 0 -1 4202560 171 0 0 0 2 0 0 0 20 0 17 0 633307146 15265792 2002 18446744073709551615 134512640 135180984 4288731376 18446744073709551615 134579745 0 0 1 0 0 0 0 -1 7 0 0 0 0 0
[pid=31158/tid=31162] ppid=31156 vsize=14908 CPUtime=0.02
/proc/31158/task/31162/stat : 31162 (satake) R 31156 31158 27791 0 -1 4202560 134 0 0 0 2 0 0 0 20 0 17 0 633307146 15265792 2002 18446744073709551615 134512640 135180984 4288731376 18446744073709551615 134706407 0 0 1 0 0 0 0 -1 15 0 0 0 0 0
[pid=31158/tid=31163] ppid=31156 vsize=14908 CPUtime=0.02
/proc/31158/task/31163/stat : 31163 (satake) R 31156 31158 27791 0 -1 4202560 172 0 0 0 0 2 0 0 20 0 17 0 633307146 15265792 2002 18446744073709551615 134512640 135180984 4288731376 18446744073709551615 134524655 0 0 1 0 0 0 0 -1 8 0 0 0 0 0
[pid=31158/tid=31164] ppid=31156 vsize=14908 CPUtime=0.02
/proc/31158/task/31164/stat : 31164 (satake) R 31156 31158 27791 0 -1 4202560 179 0 0 0 2 0 0 0 20 0 17 0 633307146 15265792 2002 18446744073709551615 134512640 135180984 4288731376 18446744073709551615 134518208 0 0 1 0 0 0 0 -1 14 0 0 0 0 0
[pid=31158/tid=31165] ppid=31156 vsize=14908 CPUtime=0.02
/proc/31158/task/31165/stat : 31165 (satake) S 31156 31158 27791 0 -1 4202560 132 0 0 0 2 0 0 0 20 0 17 0 633307146 15265792 2002 18446744073709551615 134512640 135180984 4288731376 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 10 0 0 0 0 0
[pid=31158/tid=31166] ppid=31156 vsize=14908 CPUtime=0.02
/proc/31158/task/31166/stat : 31166 (satake) R 31156 31158 27791 0 -1 4202560 172 0 0 0 0 2 0 0 20 0 17 0 633307146 15265792 2002 18446744073709551615 134512640 135180984 4288731376 18446744073709551615 134675767 0 0 1 0 0 0 0 -1 11 0 0 0 0 0
[pid=31158/tid=31167] ppid=31156 vsize=14908 CPUtime=0
/proc/31158/task/31167/stat : 31167 (satake) R 31156 31158 27791 0 -1 4202560 148 0 0 0 0 0 0 0 20 0 17 0 633307146 15265792 2002 18446744073709551615 134512640 135180984 4288731376 18446744073709551615 134513817 0 0 1 0 0 0 0 -1 8 0 0 0 0 0
[pid=31158/tid=31168] ppid=31156 vsize=14908 CPUtime=0.02
/proc/31158/task/31168/stat : 31168 (satake) R 31156 31158 27791 0 -1 4202560 161 0 0 0 2 0 0 0 20 0 17 0 633307146 15265792 2002 18446744073709551615 134512640 135180984 4288731376 18446744073709551615 134579486 0 0 1 0 0 0 0 -1 12 0 0 0 0 0
[pid=31158/tid=31169] ppid=31156 vsize=14908 CPUtime=0.02
/proc/31158/task/31169/stat : 31169 (satake) R 31156 31158 27791 0 -1 4202560 143 0 0 0 2 0 0 0 20 0 17 0 633307146 15265792 2002 18446744073709551615 134512640 135180984 4288731376 18446744073709551615 134527103 0 0 1 0 0 0 0 -1 5 0 0 0 0 0
[pid=31158/tid=31170] ppid=31156 vsize=14908 CPUtime=0.02
/proc/31158/task/31170/stat : 31170 (satake) R 31156 31158 27791 0 -1 4202560 168 0 0 0 2 0 0 0 20 0 17 0 633307146 15265792 2002 18446744073709551615 134512640 135180984 4288731376 18446744073709551615 134522706 0 0 1 0 0 0 0 -1 9 0 0 0 0 0
[pid=31158/tid=31171] ppid=31156 vsize=14908 CPUtime=0
/proc/31158/task/31171/stat : 31171 (satake) R 31156 31158 27791 0 -1 4202560 135 0 0 0 0 0 0 0 20 0 17 0 633307146 15265792 2002 18446744073709551615 134512640 135180984 4288731376 18446744073709551615 134513776 0 0 1 0 0 0 0 -1 9 0 0 0 0 0
[pid=31158/tid=31172] ppid=31156 vsize=14908 CPUtime=0.02
/proc/31158/task/31172/stat : 31172 (satake) R 31156 31158 27791 0 -1 4202560 152 0 0 0 2 0 0 0 20 0 17 0 633307146 15265792 2003 18446744073709551615 134512640 135180984 4288731376 18446744073709551615 134675767 0 0 1 0 0 0 0 -1 12 0 0 0 0 0
[pid=31158/tid=31173] ppid=31156 vsize=14908 CPUtime=0.02
/proc/31158/task/31173/stat : 31173 (satake) R 31156 31158 27791 0 -1 4202560 174 0 0 0 2 0 0 0 20 0 17 0 633307147 15265792 2003 18446744073709551615 134512640 135180984 4288731376 18446744073709551615 134579745 0 0 1 0 0 0 0 -1 13 0 0 0 0 0
Current children cumulated CPU time (s) 0.34
Current children cumulated vsize (KiB) 14908

[startup+0.102971 s]
/proc/loadavg: 2.09 2.23 3.94 2/184 31158
/proc/meminfo: memFree=19143552/36427776 swapFree=3652/8360
[pid=31158] ppid=31156 vsize=14220 CPUtime=0.48
/proc/31158/stat : 31158 (satake) S 31156 31158 27791 0 -1 4202496 2643 0 0 0 30 18 0 0 20 0 17 0 633307145 14561280 1951 18446744073709551615 134512640 135180984 4288731376 18446744073709551615 134573496 0 0 1 0 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/31158/statm: 3555 1951 67 164 0 3390 0
[pid=31158/tid=31159] ppid=31156 vsize=14220 CPUtime=0
/proc/31158/task/31159/stat : 31159 (satake) R 31156 31158 27791 0 -1 4202560 43 0 0 0 0 0 0 0 20 0 17 0 633307146 14561280 1951 18446744073709551615 134512640 135180984 4288731376 18446744073709551615 134706407 0 0 1 0 0 0 0 -1 5 0 0 0 0 0
[pid=31158/tid=31160] ppid=31156 vsize=14220 CPUtime=0.02
/proc/31158/task/31160/stat : 31160 (satake) S 31156 31158 27791 0 -1 4202560 191 0 0 0 0 2 0 0 20 0 17 0 633307146 14561280 1951 18446744073709551615 134512640 135180984 4288731376 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 6 0 0 0 0 0
[pid=31158/tid=31161] ppid=31156 vsize=14220 CPUtime=0.02
/proc/31158/task/31161/stat : 31161 (satake) S 31156 31158 27791 0 -1 4202560 175 0 0 0 2 0 0 0 20 0 17 0 633307146 14561280 1951 18446744073709551615 134512640 135180984 4288731376 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 7 0 0 0 0 0
[pid=31158/tid=31162] ppid=31156 vsize=14220 CPUtime=0.02
/proc/31158/task/31162/stat : 31162 (satake) R 31156 31158 27791 0 -1 4202560 134 0 0 0 2 0 0 0 20 0 17 0 633307146 14561280 1951 18446744073709551615 134512640 135180984 4288731376 18446744073709551615 134580588 0 0 1 0 0 0 0 -1 15 0 0 0 0 0
[pid=31158/tid=31163] ppid=31156 vsize=14220 CPUtime=0.02
/proc/31158/task/31163/stat : 31163 (satake) S 31156 31158 27791 0 -1 4202560 173 0 0 0 0 2 0 0 20 0 17 0 633307146 14561280 1951 18446744073709551615 134512640 135180984 4288731376 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 8 0 0 0 0 0
[pid=31158/tid=31164] ppid=31156 vsize=14220 CPUtime=0.02
/proc/31158/task/31164/stat : 31164 (satake) S 31156 31158 27791 0 -1 4202560 180 0 0 0 2 0 0 0 20 0 17 0 633307146 14561280 1951 18446744073709551615 134512640 135180984 4288731376 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 14 0 0 0 0 0
[pid=31158/tid=31165] ppid=31156 vsize=14220 CPUtime=0.02
/proc/31158/task/31165/stat : 31165 (satake) S 31156 31158 27791 0 -1 4202560 132 0 0 0 2 0 0 0 20 0 17 0 633307146 14561280 1951 18446744073709551615 134512640 135180984 4288731376 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 10 0 0 0 0 0
[pid=31158/tid=31166] ppid=31156 vsize=14220 CPUtime=0.04
/proc/31158/task/31166/stat : 31166 (satake) S 31156 31158 27791 0 -1 4202560 175 0 0 0 2 2 0 0 20 0 17 0 633307146 14561280 1951 18446744073709551615 134512640 135180984 4288731376 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 11 0 0 0 0 0
[pid=31158/tid=31167] ppid=31156 vsize=14220 CPUtime=0.02
/proc/31158/task/31167/stat : 31167 (satake) S 31156 31158 27791 0 -1 4202560 167 0 0 0 2 0 0 0 20 0 17 0 633307146 14561280 1951 18446744073709551615 134512640 135180984 4288731376 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 8 0 0 0 0 0
[pid=31158/tid=31168] ppid=31156 vsize=14220 CPUtime=0.02
/proc/31158/task/31168/stat : 31168 (satake) S 31156 31158 27791 0 -1 4202560 173 0 0 0 2 0 0 0 20 0 17 0 633307146 14561280 1951 18446744073709551615 134512640 135180984 4288731376 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 12 0 0 0 0 0
[pid=31158/tid=31169] ppid=31156 vsize=14220 CPUtime=0.02
/proc/31158/task/31169/stat : 31169 (satake) S 31156 31158 27791 0 -1 4202560 146 0 0 0 2 0 0 0 20 0 17 0 633307146 14561280 1951 18446744073709551615 134512640 135180984 4288731376 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 5 0 0 0 0 0
[pid=31158/tid=31170] ppid=31156 vsize=14220 CPUtime=0.02
/proc/31158/task/31170/stat : 31170 (satake) S 31156 31158 27791 0 -1 4202560 169 0 0 0 2 0 0 0 20 0 17 0 633307146 14561280 1951 18446744073709551615 134512640 135180984 4288731376 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 9 0 0 0 0 0
[pid=31158/tid=31171] ppid=31156 vsize=14220 CPUtime=0.02
/proc/31158/task/31171/stat : 31171 (satake) S 31156 31158 27791 0 -1 4202560 171 0 0 0 0 2 0 0 20 0 17 0 633307146 14561280 1951 18446744073709551615 134512640 135180984 4288731376 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 9 0 0 0 0 0
[pid=31158/tid=31172] ppid=31156 vsize=14220 CPUtime=0.02
/proc/31158/task/31172/stat : 31172 (satake) S 31156 31158 27791 0 -1 4202560 152 0 0 0 2 0 0 0 20 0 17 0 633307146 14561280 1951 18446744073709551615 134512640 135180984 4288731376 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 12 0 0 0 0 0
[pid=31158/tid=31173] ppid=31156 vsize=14220 CPUtime=0.02
/proc/31158/task/31173/stat : 31173 (satake) S 31156 31158 27791 0 -1 4202560 174 0 0 0 2 0 0 0 20 0 17 0 633307147 14561280 1951 18446744073709551615 134512640 135180984 4288731376 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 13 0 0 0 0 0
Current children cumulated CPU time (s) 0.48
Current children cumulated vsize (KiB) 14220

[startup+0.302945 s]
/proc/loadavg: 2.09 2.23 3.94 2/184 31158
/proc/meminfo: memFree=19143552/36427776 swapFree=3652/8360
[pid=31158] ppid=31156 vsize=14220 CPUtime=0.66
/proc/31158/stat : 31158 (satake) S 31156 31158 27791 0 -1 4202496 2671 0 0 0 36 30 0 0 20 0 17 0 633307145 14561280 1979 18446744073709551615 134512640 135180984 4288731376 18446744073709551615 134573496 0 0 1 0 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/31158/statm: 3555 1979 68 164 0 3390 0
[pid=31158/tid=31159] ppid=31156 vsize=14220 CPUtime=0.1
/proc/31158/task/31159/stat : 31159 (satake) D 31156 31158 27791 0 -1 4202560 51 0 0 0 0 10 0 0 20 0 17 0 633307146 14561280 1979 18446744073709551615 134512640 135180984 4288731376 18446744073709551615 134706407 0 0 1 0 0 0 0 -1 5 0 0 0 0 0
[pid=31158/tid=31160] ppid=31156 vsize=14220 CPUtime=0.02
/proc/31158/task/31160/stat : 31160 (satake) S 31156 31158 27791 0 -1 4202560 191 0 0 0 0 2 0 0 20 0 17 0 633307146 14561280 1979 18446744073709551615 134512640 135180984 4288731376 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 6 0 0 0 0 0
[pid=31158/tid=31161] ppid=31156 vsize=14220 CPUtime=0.02
/proc/31158/task/31161/stat : 31161 (satake) S 31156 31158 27791 0 -1 4202560 175 0 0 0 2 0 0 0 20 0 17 0 633307146 14561280 1979 18446744073709551615 134512640 135180984 4288731376 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 7 0 0 0 0 0
[pid=31158/tid=31162] ppid=31156 vsize=14220 CPUtime=0.04
/proc/31158/task/31162/stat : 31162 (satake) S 31156 31158 27791 0 -1 4202560 138 0 0 0 4 0 0 0 20 0 17 0 633307146 14561280 1979 18446744073709551615 134512640 135180984 4288731376 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 15 0 0 0 0 0
[pid=31158/tid=31163] ppid=31156 vsize=14220 CPUtime=0.02
/proc/31158/task/31163/stat : 31163 (satake) S 31156 31158 27791 0 -1 4202560 173 0 0 0 0 2 0 0 20 0 17 0 633307146 14561280 1979 18446744073709551615 134512640 135180984 4288731376 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 8 0 0 0 0 0
[pid=31158/tid=31164] ppid=31156 vsize=14220 CPUtime=0.02
/proc/31158/task/31164/stat : 31164 (satake) S 31156 31158 27791 0 -1 4202560 180 0 0 0 2 0 0 0 20 0 17 0 633307146 14561280 1979 18446744073709551615 134512640 135180984 4288731376 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 14 0 0 0 0 0
[pid=31158/tid=31165] ppid=31156 vsize=14220 CPUtime=0.04
/proc/31158/task/31165/stat : 31165 (satake) S 31156 31158 27791 0 -1 4202560 138 0 0 0 4 0 0 0 20 0 17 0 633307146 14561280 1979 18446744073709551615 134512640 135180984 4288731376 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 10 0 0 0 0 0
[pid=31158/tid=31166] ppid=31156 vsize=14220 CPUtime=0.04
/proc/31158/task/31166/stat : 31166 (satake) S 31156 31158 27791 0 -1 4202560 175 0 0 0 2 2 0 0 20 0 17 0 633307146 14561280 1979 18446744073709551615 134512640 135180984 4288731376 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 11 0 0 0 0 0
[pid=31158/tid=31167] ppid=31156 vsize=14220 CPUtime=0.02
/proc/31158/task/31167/stat : 31167 (satake) S 31156 31158 27791 0 -1 4202560 167 0 0 0 2 0 0 0 20 0 17 0 633307146 14561280 1979 18446744073709551615 134512640 135180984 4288731376 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 8 0 0 0 0 0
[pid=31158/tid=31168] ppid=31156 vsize=14220 CPUtime=0.02
/proc/31158/task/31168/stat : 31168 (satake) S 31156 31158 27791 0 -1 4202560 173 0 0 0 2 0 0 0 20 0 17 0 633307146 14561280 1979 18446744073709551615 134512640 135180984 4288731376 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 12 0 0 0 0 0
[pid=31158/tid=31169] ppid=31156 vsize=14220 CPUtime=0.02
/proc/31158/task/31169/stat : 31169 (satake) S 31156 31158 27791 0 -1 4202560 146 0 0 0 2 0 0 0 20 0 17 0 633307146 14561280 1979 18446744073709551615 134512640 135180984 4288731376 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 5 0 0 0 0 0
[pid=31158/tid=31170] ppid=31156 vsize=14220 CPUtime=0.06
/proc/31158/task/31170/stat : 31170 (satake) S 31156 31158 27791 0 -1 4202560 175 0 0 0 6 0 0 0 20 0 17 0 633307146 14561280 1979 18446744073709551615 134512640 135180984 4288731376 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 9 0 0 0 0 0
[pid=31158/tid=31171] ppid=31156 vsize=14220 CPUtime=0.02
/proc/31158/task/31171/stat : 31171 (satake) S 31156 31158 27791 0 -1 4202560 171 0 0 0 0 2 0 0 20 0 17 0 633307146 14561280 1979 18446744073709551615 134512640 135180984 4288731376 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 9 0 0 0 0 0
[pid=31158/tid=31172] ppid=31156 vsize=14220 CPUtime=0.06
/proc/31158/task/31172/stat : 31172 (satake) R 31156 31158 27791 0 -1 4202560 156 0 0 0 2 4 0 0 20 0 17 0 633307146 14561280 1979 18446744073709551615 134512640 135180984 4288731376 18446744073709551615 134706407 0 0 1 0 0 0 0 -1 12 0 0 0 0 0
[pid=31158/tid=31173] ppid=31156 vsize=14220 CPUtime=0.02
/proc/31158/task/31173/stat : 31173 (satake) S 31156 31158 27791 0 -1 4202560 174 0 0 0 2 0 0 0 20 0 17 0 633307147 14561280 1979 18446744073709551615 134512640 135180984 4288731376 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 13 0 0 0 0 0
Current children cumulated CPU time (s) 0.66
Current children cumulated vsize (KiB) 14220

[startup+0.702971 s]
/proc/loadavg: 2.09 2.23 3.94 2/184 31158
/proc/meminfo: memFree=19143552/36427776 swapFree=3652/8360
[pid=31158] ppid=31156 vsize=14352 CPUtime=1.05
/proc/31158/stat : 31158 (satake) S 31156 31158 27791 0 -1 4202496 2724 0 0 0 48 57 0 0 20 0 17 0 633307145 14696448 2032 18446744073709551615 134512640 135180984 4288731376 18446744073709551615 134573496 0 0 1 0 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/31158/statm: 3588 2032 68 164 0 3423 0
[pid=31158/tid=31159] ppid=31156 vsize=14352 CPUtime=0.24
/proc/31158/task/31159/stat : 31159 (satake) R 31156 31158 27791 0 -1 4202560 61 0 0 0 0 24 0 0 20 0 17 0 633307146 14696448 2032 18446744073709551615 134512640 135180984 4288731376 18446744073709551615 134706407 0 0 1 0 0 0 0 -1 5 0 0 0 0 0
[pid=31158/tid=31160] ppid=31156 vsize=14352 CPUtime=0.04
/proc/31158/task/31160/stat : 31160 (satake) R 31156 31158 27791 0 -1 4202560 193 0 0 0 2 2 0 0 20 0 17 0 633307146 14696448 2032 18446744073709551615 134512640 135180984 4288731376 18446744073709551615 134580407 0 0 1 0 0 0 0 -1 6 0 0 0 0 0
[pid=31158/tid=31161] ppid=31156 vsize=14352 CPUtime=0.02
/proc/31158/task/31161/stat : 31161 (satake) S 31156 31158 27791 0 -1 4202560 175 0 0 0 2 0 0 0 20 0 17 0 633307146 14696448 2032 18446744073709551615 134512640 135180984 4288731376 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 7 0 0 0 0 0
[pid=31158/tid=31162] ppid=31156 vsize=14352 CPUtime=0.04
/proc/31158/task/31162/stat : 31162 (satake) S 31156 31158 27791 0 -1 4202560 138 0 0 0 4 0 0 0 20 0 17 0 633307146 14696448 2032 18446744073709551615 134512640 135180984 4288731376 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 15 0 0 0 0 0
[pid=31158/tid=31163] ppid=31156 vsize=14352 CPUtime=0.06
/proc/31158/task/31163/stat : 31163 (satake) S 31156 31158 27791 0 -1 4202560 184 0 0 0 0 6 0 0 20 0 17 0 633307146 14696448 2032 18446744073709551615 134512640 135180984 4288731376 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 8 0 0 0 0 0
[pid=31158/tid=31164] ppid=31156 vsize=14352 CPUtime=0.1
/proc/31158/task/31164/stat : 31164 (satake) S 31156 31158 27791 0 -1 4202560 194 0 0 0 4 6 0 0 20 0 17 0 633307146 14696448 2032 18446744073709551615 134512640 135180984 4288731376 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 14 0 0 0 0 0
[pid=31158/tid=31165] ppid=31156 vsize=14352 CPUtime=0.04
/proc/31158/task/31165/stat : 31165 (satake) S 31156 31158 27791 0 -1 4202560 138 0 0 0 4 0 0 0 20 0 17 0 633307146 14696448 2032 18446744073709551615 134512640 135180984 4288731376 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 10 0 0 0 0 0
[pid=31158/tid=31166] ppid=31156 vsize=14352 CPUtime=0.1
/proc/31158/task/31166/stat : 31166 (satake) S 31156 31158 27791 0 -1 4202560 187 0 0 0 6 4 0 0 20 0 17 0 633307146 14696448 2032 18446744073709551615 134512640 135180984 4288731376 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 11 0 0 0 0 0
[pid=31158/tid=31167] ppid=31156 vsize=14352 CPUtime=0.02
/proc/31158/task/31167/stat : 31167 (satake) S 31156 31158 27791 0 -1 4202560 167 0 0 0 2 0 0 0 20 0 17 0 633307146 14696448 2032 18446744073709551615 134512640 135180984 4288731376 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 8 0 0 0 0 0
[pid=31158/tid=31168] ppid=31156 vsize=14352 CPUtime=0.02
/proc/31158/task/31168/stat : 31168 (satake) S 31156 31158 27791 0 -1 4202560 173 0 0 0 2 0 0 0 20 0 17 0 633307146 14696448 2032 18446744073709551615 134512640 135180984 4288731376 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 12 0 0 0 0 0
[pid=31158/tid=31169] ppid=31156 vsize=14352 CPUtime=0.02
/proc/31158/task/31169/stat : 31169 (satake) S 31156 31158 27791 0 -1 4202560 146 0 0 0 2 0 0 0 20 0 17 0 633307146 14696448 2032 18446744073709551615 134512640 135180984 4288731376 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 5 0 0 0 0 0
[pid=31158/tid=31170] ppid=31156 vsize=14352 CPUtime=0.06
/proc/31158/task/31170/stat : 31170 (satake) S 31156 31158 27791 0 -1 4202560 175 0 0 0 6 0 0 0 20 0 17 0 633307146 14696448 2032 18446744073709551615 134512640 135180984 4288731376 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 9 0 0 0 0 0
[pid=31158/tid=31171] ppid=31156 vsize=14352 CPUtime=0.02
/proc/31158/task/31171/stat : 31171 (satake) S 31156 31158 27791 0 -1 4202560 171 0 0 0 0 2 0 0 20 0 17 0 633307146 14696448 2032 18446744073709551615 134512640 135180984 4288731376 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 9 0 0 0 0 0
[pid=31158/tid=31172] ppid=31156 vsize=14352 CPUtime=0.08

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

deleting IPC queue 405209166
deleting IPC queue 405241935
deleting IPC queue 405274704
deleting IPC queue 405307473
deleting IPC queue 405340242
deleting IPC queue 405373011
deleting IPC queue 405405780
deleting IPC queue 405438549
deleting IPC queue 405471318
deleting IPC queue 405504087
deleting IPC queue 405536856
deleting IPC queue 405569625
deleting IPC queue 405602394
deleting IPC queue 405635163
deleting IPC queue 405667932
deleting IPC queue 405700701
deleting IPC queue 405733470
deleting IPC queue 405766239
deleting IPC queue 405799008
deleting IPC queue 405831777
deleting IPC queue 405864546
deleting IPC queue 405897315
deleting IPC queue 405930084
deleting IPC queue 405962853
deleting IPC queue 405995622
deleting IPC queue 406028391
deleting IPC queue 406061160
deleting IPC queue 406093929
deleting IPC queue 406126698
deleting IPC queue 406159467
deleting IPC queue 406192236
deleting IPC queue 406225005
deleting IPC queue 406257774
deleting IPC queue 406290543
deleting IPC queue 406323312
deleting IPC queue 406356081
deleting IPC queue 406388850
deleting IPC queue 406421619
deleting IPC queue 406454388
deleting IPC queue 406487157
deleting IPC queue 406519926
deleting IPC queue 406552695
deleting IPC queue 406585464
deleting IPC queue 406618233
deleting IPC queue 406651002
deleting IPC queue 406683771
deleting IPC queue 406716540
deleting IPC queue 406749309
deleting IPC queue 406782078
deleting IPC queue 406814847
deleting IPC queue 406847616
deleting IPC queue 406880385
deleting IPC queue 406913154
deleting IPC queue 406945923
deleting IPC queue 406978692
deleting IPC queue 407011461
deleting IPC queue 407044230
deleting IPC queue 407076999
deleting IPC queue 407109768
deleting IPC queue 407142537
deleting IPC queue 407175306
deleting IPC queue 407208075
deleting IPC queue 407240844
deleting IPC queue 407273613
deleting IPC queue 407306382
deleting IPC queue 407339151
deleting IPC queue 407371920
deleting IPC queue 407404689
deleting IPC queue 407437458
deleting IPC queue 407470227
deleting IPC queue 407502996
deleting IPC queue 407535765
deleting IPC queue 407568534
deleting IPC queue 407601303
deleting IPC queue 407634072
deleting IPC queue 407666841
deleting IPC queue 407699610
deleting IPC queue 407732379
deleting IPC queue 407765148
deleting IPC queue 407797917
deleting IPC queue 407830686
deleting IPC queue 407863455
deleting IPC queue 407896224
deleting IPC queue 407928993
deleting IPC queue 407961762
deleting IPC queue 407994531
deleting IPC queue 408027300
deleting IPC queue 408060069
deleting IPC queue 408092838
deleting IPC queue 408125607
deleting IPC queue 408158376
deleting IPC queue 408191145
deleting IPC queue 408223914
deleting IPC queue 408256683
deleting IPC queue 408289452
deleting IPC queue 408322221
deleting IPC queue 408354990
deleting IPC queue 408387759
deleting IPC queue 408420528
deleting IPC queue 408453297
deleting IPC queue 408486066
deleting IPC queue 408518835
deleting IPC queue 408551604
deleting IPC queue 408584373
deleting IPC queue 408617142
deleting IPC queue 408649911
deleting IPC queue 408682680
deleting IPC queue 408715449
deleting IPC queue 408748218
deleting IPC queue 408780987
deleting IPC queue 408813756
deleting IPC queue 408846525
deleting IPC queue 408879294
deleting IPC queue 408912063
deleting IPC queue 408944832
deleting IPC queue 408977601
deleting IPC queue 409010370
deleting IPC queue 409043139
deleting IPC queue 409075908
deleting IPC queue 409108677
deleting IPC queue 409141446
deleting IPC queue 409174215
deleting IPC queue 409206984
deleting IPC queue 409239753
deleting IPC queue 409272522
deleting IPC queue 409305291
deleting IPC queue 409338060
deleting IPC queue 409370829
deleting IPC queue 409403598
deleting IPC queue 409436367
deleting IPC queue 409469136
deleting IPC queue 409501905
deleting IPC queue 409534674
deleting IPC queue 409567443
deleting IPC queue 409600212
deleting IPC queue 409632981
deleting IPC queue 409665750
deleting IPC queue 409698519
deleting IPC queue 409731288
deleting IPC queue 409764057
deleting IPC queue 409796826
deleting IPC queue 409829595
deleting IPC queue 409862364
deleting IPC queue 409895133
deleting IPC queue 409927902
deleting IPC queue 409960671
deleting IPC queue 409993440
deleting IPC queue 410026209
deleting IPC queue 410058978
deleting IPC queue 410091747
deleting IPC queue 410124516
deleting IPC queue 410157285
deleting IPC queue 410190054
deleting IPC queue 410222823
deleting IPC queue 410255592
deleting IPC queue 410288361
deleting IPC queue 410321130
deleting IPC queue 410353899
deleting IPC queue 410386668
deleting IPC queue 410419437
deleting IPC queue 410452206
deleting IPC queue 410484975
deleting IPC queue 410517744
deleting IPC queue 410550513
deleting IPC queue 410583282
deleting IPC queue 410616051
deleting IPC queue 410648820
deleting IPC queue 410681589
deleting IPC queue 410714358
deleting IPC queue 410747127
deleting IPC queue 410779896
deleting IPC queue 410812665
deleting IPC queue 410845434
deleting IPC queue 410878203
deleting IPC queue 410910972
deleting IPC queue 410943741
deleting IPC queue 410976510
deleting IPC queue 411009279

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 399.601
system time used= 727.633
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 18930
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= 66003477
involuntary context switches= 14895737

runsolver used 4.17226 second user time and 10.9767 second system time

The end

Launcher Data 

Begin job on xenhost3-49 at 2009-06-11 19:06:48
IDJOB=1776222
IDBENCH=20470
IDSOLVER=631
FILE ID=xenhost3-49/1776222-1244740008
PBS_JOBID=
Free space on /tmp= 7040 MiB

SOLVER NAME= satake 2009-03-22 (16 threads)
BENCH NAME= SAT07/industrial/jarvisalo/eq.atree.braun.13.unsat.cnf
COMMAND LINE= HOME/satake BENCHNAME MAXNBTHREAD TIMEOUT
RUNSOLVER COMMAND LINE= runsolver --timestamp  -w /tmp/evaluation-result-1776222-1244740008/watcher-1776222-1244740008 -o /tmp/evaluation-result-1776222-1244740008/solver-1776222-1244740008 -C 10000 -W 1000 -M 2047 --output-limit 1,15 --cleanup-all-ipc-queues HOME/satake HOME/instance-1776222-1244740008.cnf 16 10000

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

MD5SUM BENCH= 8ca1246723b65c8e0ae1eddb535ce13f
RANDOM SEED= 1081998633

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:      19143552 kB
Buffers:        432332 kB
Cached:       14101120 kB
SwapCached:          0 kB
Active:        4077176 kB
Inactive:     10463956 kB
SwapTotal:    25398692 kB
SwapFree:     25398692 kB
Dirty:             692 kB
Writeback:           0 kB
AnonPages:        8360 kB
Mapped:           3652 kB
Slab:           687544 kB
SReclaimable:   660832 kB
SUnreclaim:      26712 kB
PageTables:          0 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
WritebackTmp:        0 kB
CommitLimit:  43612580 kB
Committed_AS:    29372 kB
VmallocTotal: 34359738367 kB
VmallocUsed:    275248 kB
VmallocChunk: 34359462839 kB
DirectMap4k:  99216660 kB
DirectMap2M:         0 kB

Free space on /tmp at the end= 7039 MiB
End job on xenhost3-49 at 2009-06-11 19:23:30