Trace number 1776567

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) 1140.59 292.509

General information on the benchmark

Nameindustrial/vliw_unsat_2.0/
9dlx_vliw_at_b_iq3.cnf
MD5SUMba6236c6cc840bb0208f73665843c375
Bench CategoryAPPLICATION (applications instances)
Best result obtained on this benchmarkUNSAT
Best CPU time to get the best result obtained on this benchmark3541.26
Satisfiable
(Un)Satisfiability was proved
Number of variables69789
Number of clauses968295
Sum of the clauses size2788367
Maximum clause length110
Minimum clause length1
Number of clauses of size 11
Number of clauses of size 2899512
Number of clauses of size 316116
Number of clauses of size 43707
Number of clauses of size 56480
Number of clauses of size over 542479

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-1776567-1244750553/watcher-1776567-1244750553 -o /tmp/evaluation-result-1776567-1244750553/solver-1776567-1244750553 -C 10000 -W 1000 -M 2047 --output-limit 1,15 --cleanup-all-ipc-queues HOME/satake HOME/instance-1776567-1244750553.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.56 7.45 7.09 2/184 32600
/proc/meminfo: memFree=19124484/36427776 swapFree=3856/7492
[pid=32600] ppid=32598 vsize=6288 CPUtime=0
/proc/32600/stat : 32600 (satake) S 32598 32600 27791 0 -1 4202496 1168 0 0 0 0 0 0 0 20 0 4 0 634361721 6438912 1123 18446744073709551615 134512640 135180984 4292248656 18446744073709551615 134579486 0 0 1 0 18446744073709551615 0 0 17 9 0 0 0 0 0
/proc/32600/statm: 1572 1123 63 164 0 1407 0
[pid=32600/tid=32601] ppid=32598 vsize=6288 CPUtime=0
/proc/32600/task/32601/stat : 32601 (satake) S 32598 32600 27791 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 4 0 634361721 6438912 1123 18446744073709551615 134512640 135180984 4292248656 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 10 0 0 0 0 0
[pid=32600/tid=32602] ppid=32598 vsize=14484 CPUtime=0
/proc/32600/task/32602/stat : 32602 (satake) R 32598 32600 27791 0 -1 4202560 1050 0 0 0 0 0 0 0 20 0 4 0 634361721 14831616 1123 18446744073709551615 134512640 135180984 4292248656 18446744073709551615 134706046 0 0 1 0 0 0 0 -1 11 0 0 0 0 0
[pid=32600/tid=32603] ppid=32598 vsize=10384 CPUtime=0
/proc/32600/task/32603/stat : 32603 (satake) R 32598 32600 27791 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 634361721 10633216 1126 18446744073709551615 134512640 135180984 4292248656 18446744073709551615 134579486 0 0 1 0 0 0 0 -1 11 0 0 0 0 0

[startup+0.040195 s]
/proc/loadavg: 7.56 7.45 7.09 2/184 32600
/proc/meminfo: memFree=19124484/36427776 swapFree=3856/7492
[pid=32600] ppid=32598 vsize=18360 CPUtime=0.14
/proc/32600/stat : 32600 (satake) S 32598 32600 27791 0 -1 4202496 2269 0 0 0 4 10 0 0 20 0 17 0 634361721 18800640 2225 18446744073709551615 134512640 135180984 4292248656 18446744073709551615 134573496 0 0 1 0 18446744073709551615 0 0 17 9 0 0 0 0 0
/proc/32600/statm: 4590 2226 63 164 0 4425 0
[pid=32600/tid=32601] ppid=32598 vsize=18360 CPUtime=0
/proc/32600/task/32601/stat : 32601 (satake) S 32598 32600 27791 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 17 0 634361721 18800640 2226 18446744073709551615 134512640 135180984 4292248656 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 10 0 0 0 0 0
[pid=32600/tid=32602] ppid=32598 vsize=18616 CPUtime=0.02
/proc/32600/task/32602/stat : 32602 (satake) D 32598 32600 27791 0 -1 4202560 1248 0 0 0 0 2 0 0 20 0 17 0 634361721 19062784 2226 18446744073709551615 134512640 135180984 4292248656 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 11 0 0 0 0 0
[pid=32600/tid=32603] ppid=32598 vsize=18616 CPUtime=0
/proc/32600/task/32603/stat : 32603 (satake) R 32598 32600 27791 0 -1 4202560 128 0 0 0 0 0 0 0 20 0 17 0 634361721 19062784 2232 18446744073709551615 134512640 135180984 4292248656 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 14 0 0 0 0 0
Current children cumulated CPU time (s) 0.14
Current children cumulated vsize (KiB) 18360

[startup+0.104282 s]
/proc/loadavg: 7.56 7.45 7.09 2/184 32600
/proc/meminfo: memFree=19124484/36427776 swapFree=3856/7492
[pid=32600] ppid=32598 vsize=54340 CPUtime=0.76
/proc/32600/stat : 32600 (satake) S 32598 32600 27791 0 -1 4202496 8504 0 0 0 4 72 0 0 20 0 17 0 634361721 55644160 8460 18446744073709551615 134512640 135180984 4292248656 18446744073709551615 134573496 0 0 1 0 18446744073709551615 0 0 17 9 0 0 0 0 0
/proc/32600/statm: 13585 8462 63 164 0 13420 0
[pid=32600/tid=32601] ppid=32598 vsize=54340 CPUtime=0
/proc/32600/task/32601/stat : 32601 (satake) S 32598 32600 27791 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 17 0 634361721 55644160 8474 18446744073709551615 134512640 135180984 4292248656 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 10 0 0 0 0 0
[pid=32600/tid=32602] ppid=32598 vsize=54340 CPUtime=0.08
/proc/32600/task/32602/stat : 32602 (satake) R 32598 32600 27791 0 -1 4202560 1847 0 0 0 0 8 0 0 20 0 17 0 634361721 55644160 8502 18446744073709551615 134512640 135180984 4292248656 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 11 0 0 0 0 0
[pid=32600/tid=32603] ppid=32598 vsize=54340 CPUtime=0.06
/proc/32600/task/32603/stat : 32603 (satake) D 32598 32600 27791 0 -1 4202560 617 0 0 0 0 6 0 0 20 0 17 0 634361721 55644160 8516 18446744073709551615 134512640 135180984 4292248656 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 14 0 0 0 0 0
Current children cumulated CPU time (s) 0.76
Current children cumulated vsize (KiB) 54340

[startup+0.304361 s]
/proc/loadavg: 7.56 7.45 7.09 2/184 32600
/proc/meminfo: memFree=19124484/36427776 swapFree=3856/7492
[pid=32600] ppid=32598 vsize=231812 CPUtime=2.85
/proc/32600/stat : 32600 (satake) S 32598 32600 27791 0 -1 4202496 39759 0 0 0 4 281 0 0 20 0 17 0 634361721 237375488 39702 18446744073709551615 134512640 135180984 4292248656 18446744073709551615 134573496 0 0 1 0 18446744073709551615 0 0 17 9 0 0 0 0 0
/proc/32600/statm: 57953 39752 63 164 0 57788 0
[pid=32600/tid=32601] ppid=32598 vsize=231812 CPUtime=0
/proc/32600/task/32601/stat : 32601 (satake) S 32598 32600 27791 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 17 0 634361721 237375488 39769 18446744073709551615 134512640 135180984 4292248656 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 10 0 0 0 0 0
[pid=32600/tid=32602] ppid=32598 vsize=231812 CPUtime=0.24
/proc/32600/task/32602/stat : 32602 (satake) R 32598 32600 27791 0 -1 4202560 4696 0 0 0 0 24 0 0 20 0 17 0 634361721 237375488 39797 18446744073709551615 134512640 135180984 4292248656 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 11 0 0 0 0 0
[pid=32600/tid=32603] ppid=32598 vsize=231812 CPUtime=0.24
/proc/32600/task/32603/stat : 32603 (satake) R 32598 32600 27791 0 -1 4202560 3631 0 0 0 0 24 0 0 20 0 17 0 634361721 237375488 39816 18446744073709551615 134512640 135180984 4292248656 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 14 0 0 0 0 0
Current children cumulated CPU time (s) 2.85
Current children cumulated vsize (KiB) 231812

[startup+0.705854 s]
/proc/loadavg: 7.56 7.45 7.09 2/184 32600
/proc/meminfo: memFree=19124484/36427776 swapFree=3856/7492
[pid=32600] ppid=32598 vsize=283076 CPUtime=6.2
/proc/32600/stat : 32600 (satake) S 32598 32600 27791 0 -1 4202496 63745 0 0 0 10 610 0 0 20 0 17 0 634361721 289869824 63684 18446744073709551615 134512640 135180984 4292248656 18446744073709551615 134573496 0 0 1 0 18446744073709551615 0 0 17 9 0 0 0 0 0
/proc/32600/statm: 70769 63687 63 164 0 70604 0
[pid=32600/tid=32601] ppid=32598 vsize=283076 CPUtime=0
/proc/32600/task/32601/stat : 32601 (satake) S 32598 32600 27791 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 17 0 634361721 289869824 63690 18446744073709551615 134512640 135180984 4292248656 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 10 0 0 0 0 0
[pid=32600/tid=32602] ppid=32598 vsize=283076 CPUtime=0.48
/proc/32600/task/32602/stat : 32602 (satake) R 32598 32600 27791 0 -1 4202560 5453 0 0 0 4 44 0 0 20 0 17 0 634361721 289869824 63691 18446744073709551615 134512640 135180984 4292248656 18446744073709551615 134522207 0 0 1 0 0 0 0 -1 11 0 0 0 0 0
[pid=32600/tid=32603] ppid=32598 vsize=283076 CPUtime=0.46
/proc/32600/task/32603/stat : 32603 (satake) R 32598 32600 27791 0 -1 4202560 4853 0 0 0 0 46 0 0 20 0 17 0 634361721 289869824 63693 18446744073709551615 134512640 135180984 4292248656 18446744073709551615 134520025 0 0 1 0 0 0 0 -1 14 0 0 0 0 0
Current children cumulated CPU time (s) 6.2
Current children cumulated vsize (KiB) 283076

[startup+1.50496 s]
/proc/loadavg: 8.15 7.57 7.14 2/201 32617
/proc/meminfo: memFree=18822468/36427776 swapFree=3796/312696
[pid=32600] ppid=32598 vsize=367536 CPUtime=10.19
/proc/32600/stat : 32600 (satake) S 32598 32600 27791 0 -1 4202496 88412 0 0 0 120 899 0 0 20 0 17 0 634361721 376356864 88351 18446744073709551615 134512640 135180984 4292248656 18446744073709551615 134573496 0 0 1 0 18446744073709551615 0 0 17 9 0 0 0 0 0
/proc/32600/statm: 91884 88351 63 164 0 91719 0
[pid=32600/tid=32601] ppid=32598 vsize=367536 CPUtime=0
/proc/32600/task/32601/stat : 32601 (satake) S 32598 32600 27791 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 17 0 634361721 376356864 88356 18446744073709551615 134512640 135180984 4292248656 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 10 0 0 0 0 0
[pid=32600/tid=32602] ppid=32598 vsize=367536 CPUtime=0.8
/proc/32600/task/32602/stat : 32602 (satake) R 32598 32600 27791 0 -1 4202560 6793 0 0 0 18 62 0 0 20 0 17 0 634361721 376356864 88357 18446744073709551615 134512640 135180984 4292248656 18446744073709551615 134579745 0 0 1 0 0 0 0 -1 11 0 0 0 0 0
[pid=32600/tid=32603] ppid=32598 vsize=367536 CPUtime=0.74
/proc/32600/task/32603/stat : 32603 (satake) S 32598 32600 27791 0 -1 4202560 5927 0 0 0 6 68 0 0 20 0 17 0 634361721 376356864 88357 18446744073709551615 134512640 135180984 4292248656 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 14 0 0 0 0 0
[pid=32600/tid=32605] ppid=32598 vsize=367536 CPUtime=0.78
/proc/32600/task/32605/stat : 32605 (satake) R 32598 32600 27791 0 -1 4202560 6036 0 0 0 12 66 0 0 20 0 17 0 634361722 376356864 88357 18446744073709551615 134512640 135180984 4292248656 18446744073709551615 134675846 0 0 1 0 0 0 0 -1 10 0 0 0 0 0
[pid=32600/tid=32606] ppid=32598 vsize=367536 CPUtime=0.66
/proc/32600/task/32606/stat : 32606 (satake) R 32598 32600 27791 0 -1 4202560 5702 0 0 0 6 60 0 0 20 0 17 0 634361722 376356864 88357 18446744073709551615 134512640 135180984 4292248656 18446744073709551615 134675846 0 0 1 0 0 0 0 -1 5 0 0 0 0 0
[pid=32600/tid=32607] ppid=32598 vsize=367536 CPUtime=0.8
/proc/32600/task/32607/stat : 32607 (satake) D 32598 32600 27791 0 -1 4202560 5892 0 0 0 8 72 0 0 20 0 17 0 634361722 376356864 88357 18446744073709551615 134512640 135180984 4292248656 18446744073709551615 134702260 0 0 1 0 0 0 0 -1 13 0 0 0 0 0
[pid=32600/tid=32608] ppid=32598 vsize=367536 CPUtime=0.74
/proc/32600/task/32608/stat : 32608 (satake) D 32598 32600 27791 0 -1 4202560 5980 0 0 0 6 68 0 0 20 0 17 0 634361722 376356864 88357 18446744073709551615 134512640 135180984 4292248656 18446744073709551615 134675767 0 0 1 0 0 0 0 -1 15 0 0 0 0 0
[pid=32600/tid=32609] ppid=32598 vsize=367536 CPUtime=0.6
/proc/32600/task/32609/stat : 32609 (satake) R 32598 32600 27791 0 -1 4202560 5778 0 0 0 6 54 0 0 20 0 17 0 634361722 376356864 88361 18446744073709551615 134512640 135180984 4292248656 18446744073709551615 134691935 0 0 1 0 0 0 0 -1 0 0 0 0 0 0
[pid=32600/tid=32610] ppid=32598 vsize=367536 CPUtime=0.68
/proc/32600/task/32610/stat : 32610 (satake) S 32598 32600 27791 0 -1 4202560 6069 0 0 0 8 60 0 0 20 0 17 0 634361723 376356864 88362 18446744073709551615 134512640 135180984 4292248656 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 1 0 0 0 0 0
[pid=32600/tid=32611] ppid=32598 vsize=367536 CPUtime=0.72
/proc/32600/task/32611/stat : 32611 (satake) R 32598 32600 27791 0 -1 4202560 5911 0 0 0 4 68 0 0 20 0 17 0 634361723 376356864 88362 18446744073709551615 134512640 135180984 4292248656 18446744073709551615 134520025 0 0 1 0 0 0 0 -1 2 0 0 0 0 0
[pid=32600/tid=32612] ppid=32598 vsize=367536 CPUtime=0.62
/proc/32600/task/32612/stat : 32612 (satake) S 32598 32600 27791 0 -1 4202560 5788 0 0 0 6 56 0 0 20 0 17 0 634361723 376356864 88362 18446744073709551615 134512640 135180984 4292248656 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 12 0 0 0 0 0
[pid=32600/tid=32613] ppid=32598 vsize=367536 CPUtime=0.54
/proc/32600/task/32613/stat : 32613 (satake) R 32598 32600 27791 0 -1 4202560 5457 0 0 0 4 50 0 0 20 0 17 0 634361723 376356864 88362 18446744073709551615 134512640 135180984 4292248656 18446744073709551615 134579486 0 0 1 0 0 0 0 -1 7 0 0 0 0 0
[pid=32600/tid=32614] ppid=32598 vsize=367536 CPUtime=0.5
/proc/32600/task/32614/stat : 32614 (satake) R 32598 32600 27791 0 -1 4202560 5702 0 0 0 10 40 0 0 20 0 17 0 634361723 376356864 88362 18446744073709551615 134512640 135180984 4292248656 18446744073709551615 134675767 0 0 1 0 0 0 0 -1 3 0 0 0 0 0
[pid=32600/tid=32615] ppid=32598 vsize=367536 CPUtime=0.72
/proc/32600/task/32615/stat : 32615 (satake) R 32598 32600 27791 0 -1 4202560 5960 0 0 0 6 66 0 0 20 0 17 0 634361723 376356864 88364 18446744073709551615 134512640 135180984 4292248656 18446744073709551615 134579486 0 0 1 0 0 0 0 -1 4 0 0 0 0 0
[pid=32600/tid=32616] ppid=32598 vsize=367536 CPUtime=0.72
/proc/32600/task/32616/stat : 32616 (satake) R 32598 32600 27791 0 -1 4202560 5860 0 0 0 10 62 0 0 20 0 17 0 634361723 376356864 88367 18446744073709551615 134512640 135180984 4292248656 18446744073709551615 134579486 0 0 1 0 0 0 0 -1 5 0 0 0 0 0
[pid=32600/tid=32617] ppid=32598 vsize=367536 CPUtime=0.44
/proc/32600/task/32617/stat : 32617 (satake) R 32598 32600 27791 0 -1 4202560 5435 0 0 0 2 42 0 0 20 0 17 0 634361724 376356864 88368 18446744073709551615 134512640 135180984 4292248656 18446744073709551615 134579745 0 0 1 0 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 10.19
Current children cumulated vsize (KiB) 367536

[startup+3.10357 s]
/proc/loadavg: 8.15 7.57 7.14 2/201 32617
/proc/meminfo: memFree=18720052/36427776 swapFree=4568/414436
[pid=32600] ppid=32598 vsize=520208 CPUtime=17.95
/proc/32600/stat : 32600 (satake) S 32598 32600 27791 0 -1 4202496 123432 0 0 0 464 1331 0 0 20 0 17 0 634361721 532692992 123371 18446744073709551615 134512640 135180984 4292248656 18446744073709551615 134573496 0 0 1 0 18446744073709551615 0 0 17 9 0 0 0 0 0
/proc/32600/statm: 130052 123372 63 164 0 129887 0
[pid=32600/tid=32601] ppid=32598 vsize=520208 CPUtime=0
/proc/32600/task/32601/stat : 32601 (satake) S 32598 32600 27791 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 17 0 634361721 532692992 123373 18446744073709551615 134512640 135180984 4292248656 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 10 0 0 0 0 0
[pid=32600/tid=32602] ppid=32598 vsize=520208 CPUtime=1.36
/proc/32600/task/32602/stat : 32602 (satake) S 32598 32600 27791 0 -1 4202560 9350 0 0 0 42 94 0 0 20 0 17 0 634361721 532692992 123373 18446744073709551615 134512640 135180984 4292248656 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 11 0 0 0 0 0
[pid=32600/tid=32603] ppid=32598 vsize=520208 CPUtime=1.32
/proc/32600/task/32603/stat : 32603 (satake) D 32598 32600 27791 0 -1 4202560 8419 0 0 0 34 98 0 0 20 0 17 0 634361721 532692992 123375 18446744073709551615 134512640 135180984 4292248656 18446744073709551615 134522598 0 0 1 0 0 0 0 -1 14 0 0 0 0 0
[pid=32600/tid=32605] ppid=32598 vsize=520208 CPUtime=1.34
/proc/32600/task/32605/stat : 32605 (satake) R 32598 32600 27791 0 -1 4202560 8530 0 0 0 38 96 0 0 20 0 17 0 634361722 532692992 123379 18446744073709551615 134512640 135180984 4292248656 18446744073709551615 134675846 0 0 1 0 0 0 0 -1 10 0 0 0 0 0
[pid=32600/tid=32606] ppid=32598 vsize=520208 CPUtime=1.1
/proc/32600/task/32606/stat : 32606 (satake) R 32598 32600 27791 0 -1 4202560 7728 0 0 0 28 82 0 0 20 0 17 0 634361722 532692992 123380 18446744073709551615 134512640 135180984 4292248656 18446744073709551615 134675767 0 0 1 0 0 0 0 -1 1 0 0 0 0 0
[pid=32600/tid=32607] ppid=32598 vsize=520208 CPUtime=1.34
/proc/32600/task/32607/stat : 32607 (satake) R 32598 32600 27791 0 -1 4202560 8266 0 0 0 30 104 0 0 20 0 17 0 634361722 532692992 123380 18446744073709551615 134512640 135180984 4292248656 18446744073709551615 134675767 0 0 1 0 0 0 0 -1 13 0 0 0 0 0
[pid=32600/tid=32608] ppid=32598 vsize=520208 CPUtime=1.3
/proc/32600/task/32608/stat : 32608 (satake) R 32598 32600 27791 0 -1 4202560 8356 0 0 0 32 98 0 0 20 0 17 0 634361722 532692992 123380 18446744073709551615 134512640 135180984 4292248656 18446744073709551615 134675767 0 0 1 0 0 0 0 -1 15 0 0 0 0 0
[pid=32600/tid=32609] ppid=32598 vsize=520208 CPUtime=1.1
/proc/32600/task/32609/stat : 32609 (satake) R 32598 32600 27791 0 -1 4202560 8104 0 0 0 20 90 0 0 20 0 17 0 634361722 532692992 123380 18446744073709551615 134512640 135180984 4292248656 18446744073709551615 134579486 0 0 1 0 0 0 0 -1 0 0 0 0 0 0
[pid=32600/tid=32610] ppid=32598 vsize=520208 CPUtime=1.18
/proc/32600/task/32610/stat : 32610 (satake) R 32598 32600 27791 0 -1 4202560 8353 0 0 0 38 80 0 0 20 0 17 0 634361723 532692992 123385 18446744073709551615 134512640 135180984 4292248656 18446744073709551615 134579486 0 0 1 0 0 0 0 -1 4 0 0 0 0 0
[pid=32600/tid=32611] ppid=32598 vsize=520208 CPUtime=1.24
/proc/32600/task/32611/stat : 32611 (satake) R 32598 32600 27791 0 -1 4202560 8311 0 0 0 22 102 0 0 20 0 17 0 634361723 532692992 123386 18446744073709551615 134512640 135180984 4292248656 18446744073709551615 134675846 0 0 1 0 0 0 0 -1 2 0 0 0 0 0
[pid=32600/tid=32612] ppid=32598 vsize=520208 CPUtime=1.14
/proc/32600/task/32612/stat : 32612 (satake) R 32598 32600 27791 0 -1 4202560 8151 0 0 0 32 82 0 0 20 0 17 0 634361723 532692992 123387 18446744073709551615 134512640 135180984 4292248656 18446744073709551615 134579745 0 0 1 0 0 0 0 -1 12 0 0 0 0 0
[pid=32600/tid=32613] ppid=32598 vsize=520208 CPUtime=1.08
/proc/32600/task/32613/stat : 32613 (satake) R 32598 32600 27791 0 -1 4202560 7988 0 0 0 30 78 0 0 20 0 17 0 634361723 532692992 123387 18446744073709551615 134512640 135180984 4292248656 18446744073709551615 134579486 0 0 1 0 0 0 0 -1 7 0 0 0 0 0
[pid=32600/tid=32614] ppid=32598 vsize=520208 CPUtime=1.06
/proc/32600/task/32614/stat : 32614 (satake) R 32598 32600 27791 0 -1 4202560 8144 0 0 0 30 76 0 0 20 0 17 0 634361723 532692992 123387 18446744073709551615 134512640 135180984 4292248656 18446744073709551615 134579745 0 0 1 0 0 0 0 -1 3 0 0 0 0 0
[pid=32600/tid=32615] ppid=32598 vsize=520208 CPUtime=1.18
/proc/32600/task/32615/stat : 32615 (satake) R 32598 32600 27791 0 -1 4202560 8116 0 0 0 26 92 0 0 20 0 17 0 634361723 532692992 123389 18446744073709551615 134512640 135180984 4292248656 18446744073709551615 134579486 0 0 1 0 0 0 0 -1 0 0 0 0 0 0
[pid=32600/tid=32616] ppid=32598 vsize=520208 CPUtime=1.2
/proc/32600/task/32616/stat : 32616 (satake) R 32598 32600 27791 0 -1 4202560 8103 0 0 0 30 90 0 0 20 0 17 0 634361723 532692992 123391 18446744073709551615 134512640 135180984 4292248656 18446744073709551615 134522207 0 0 1 0 0 0 0 -1 5 0 0 0 0 0
[pid=32600/tid=32617] ppid=32598 vsize=520208 CPUtime=0.86
/proc/32600/task/32617/stat : 32617 (satake) S 32598 32600 27791 0 -1 4202560 7395 0 0 0 24 62 0 0 20 0 17 0 634361724 532692992 123392 18446744073709551615 134512640 135180984 4292248656 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 17.95
Current children cumulated vsize (KiB) 520208

[startup+6.30297 s]
/proc/loadavg: 8.30 7.61 7.15 7/201 32617
/proc/meminfo: memFree=18435884/36427776 swapFree=4568/698280
[pid=32600] ppid=32598 vsize=816404 CPUtime=32.31
/proc/32600/stat : 32600 (satake) S 32598 32600 27791 0 -1 4202496 191604 0 0 0 1155 2076 0 0 20 0 17 0 634361721 835997696 191543 18446744073709551615 134512640 135180984 4292248656 18446744073709551615 134573496 0 0 1 0 18446744073709551615 0 0 17 9 0 0 0 0 0
/proc/32600/statm: 204101 191543 63 164 0 203936 0
[pid=32600/tid=32601] ppid=32598 vsize=816404 CPUtime=0
/proc/32600/task/32601/stat : 32601 (satake) S 32598 32600 27791 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 17 0 634361721 835997696 191543 18446744073709551615 134512640 135180984 4292248656 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 10 0 0 0 0 0
[pid=32600/tid=32602] ppid=32598 vsize=816404 CPUtime=2.46
/proc/32600/task/32602/stat : 32602 (satake) D 32598 32600 27791 0 -1 4202560 14716 0 0 0 90 156 0 0 20 0 17 0 634361721 835997696 191543 18446744073709551615 134512640 135180984 4292248656 18446744073709551615 134522312 0 0 1 0 0 0 0 -1 11 0 0 0 0 0
[pid=32600/tid=32603] ppid=32598 vsize=816404 CPUtime=2.18
/proc/32600/task/32603/stat : 32603 (satake) S 32598 32600 27791 0 -1 4202560 12556 0 0 0 88 130 0 0 20 0 17 0 634361721 835997696 191543 18446744073709551615 134512640 135180984 4292248656 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 13 0 0 0 0 0
[pid=32600/tid=32605] ppid=32598 vsize=816404 CPUtime=2.34
/proc/32600/task/32605/stat : 32605 (satake) S 32598 32600 27791 0 -1 4202560 13395 0 0 0 92 142 0 0 20 0 17 0 634361722 835997696 191543 18446744073709551615 134512640 135180984 4292248656 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 10 0 0 0 0 0
[pid=32600/tid=32606] ppid=32598 vsize=816404 CPUtime=1.9
/proc/32600/task/32606/stat : 32606 (satake) D 32598 32600 27791 0 -1 4202560 11737 0 0 0 72 118 0 0 20 0 17 0 634361722 835997696 191543 18446744073709551615 134512640 135180984 4292248656 18446744073709551615 134675767 0 0 1 0 0 0 0 -1 1 0 0 0 0 0
[pid=32600/tid=32607] ppid=32598 vsize=816404 CPUtime=2.24
/proc/32600/task/32607/stat : 32607 (satake) D 32598 32600 27791 0 -1 4202560 12396 0 0 0 80 144 0 0 20 0 17 0 634361722 835997696 191543 18446744073709551615 134512640 135180984 4292248656 18446744073709551615 134675767 0 0 1 0 0 0 0 -1 1 0 0 0 0 0
[pid=32600/tid=32608] ppid=32598 vsize=816404 CPUtime=2.38
/proc/32600/task/32608/stat : 32608 (satake) D 32598 32600 27791 0 -1 4202560 13212 0 0 0 82 156 0 0 20 0 17 0 634361722 835997696 191543 18446744073709551615 134512640 135180984 4292248656 18446744073709551615 134675767 0 0 1 0 0 0 0 -1 15 0 0 0 0 0
[pid=32600/tid=32609] ppid=32598 vsize=816404 CPUtime=2.08
/proc/32600/task/32609/stat : 32609 (satake) S 32598 32600 27791 0 -1 4202560 12633 0 0 0 66 142 0 0 20 0 17 0 634361722 835997696 191543 18446744073709551615 134512640 135180984 4292248656 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 14 0 0 0 0 0
[pid=32600/tid=32610] ppid=32598 vsize=816404 CPUtime=2.2
/proc/32600/task/32610/stat : 32610 (satake) D 32598 32600 27791 0 -1 4202560 13147 0 0 0 82 138 0 0 20 0 17 0 634361723 835997696 191543 18446744073709551615 134512640 135180984 4292248656 18446744073709551615 134702260 0 0 1 0 0 0 0 -1 4 0 0 0 0 0
[pid=32600/tid=32611] ppid=32598 vsize=816404 CPUtime=2.12
/proc/32600/task/32611/stat : 32611 (satake) S 32598 32600 27791 0 -1 4202560 12562 0 0 0 70 142 0 0 20 0 17 0 634361723 835997696 191543 18446744073709551615 134512640 135180984 4292248656 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 3 0 0 0 0 0
[pid=32600/tid=32612] ppid=32598 vsize=816404 CPUtime=2.16
/proc/32600/task/32612/stat : 32612 (satake) D 32598 32600 27791 0 -1 4202560 12900 0 0 0 82 134 0 0 20 0 17 0 634361723 835997696 191543 18446744073709551615 134512640 135180984 4292248656 18446744073709551615 134675767 0 0 1 0 0 0 0 -1 12 0 0 0 0 0
[pid=32600/tid=32613] ppid=32598 vsize=816404 CPUtime=2.08
/proc/32600/task/32613/stat : 32613 (satake) R 32598 32600 27791 0 -1 4202560 12715 0 0 0 66 142 0 0 20 0 17 0 634361723 835997696 191543 18446744073709551615 134512640 135180984 4292248656 18446744073709551615 134520025 0 0 1 0 0 0 0 -1 7 0 0 0 0 0
[pid=32600/tid=32614] ppid=32598 vsize=816404 CPUtime=2.04
/proc/32600/task/32614/stat : 32614 (satake) S 32598 32600 27791 0 -1 4202560 12761 0 0 0 72 132 0 0 20 0 17 0 634361723 835997696 191543 18446744073709551615 134512640 135180984 4292248656 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 3 0 0 0 0 0

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

deleting IPC queue 598147150
deleting IPC queue 598179919
deleting IPC queue 598212688
deleting IPC queue 598245457
deleting IPC queue 598278226
deleting IPC queue 598310995
deleting IPC queue 598343764
deleting IPC queue 598376533
deleting IPC queue 598409302
deleting IPC queue 598442071
deleting IPC queue 598474840
deleting IPC queue 598507609
deleting IPC queue 598540378
deleting IPC queue 598573147
deleting IPC queue 598605916
deleting IPC queue 598638685
deleting IPC queue 598671454
deleting IPC queue 598704223
deleting IPC queue 598736992
deleting IPC queue 598769761
deleting IPC queue 598802530
deleting IPC queue 598835299
deleting IPC queue 598868068
deleting IPC queue 598900837
deleting IPC queue 598933606
deleting IPC queue 598966375
deleting IPC queue 598999144
deleting IPC queue 599031913
deleting IPC queue 599064682
deleting IPC queue 599097451
deleting IPC queue 599130220
deleting IPC queue 599162989
deleting IPC queue 599195758
deleting IPC queue 599228527
deleting IPC queue 599261296
deleting IPC queue 599294065
deleting IPC queue 599326834
deleting IPC queue 599359603
deleting IPC queue 599392372
deleting IPC queue 599425141
deleting IPC queue 599457910
deleting IPC queue 599490679
deleting IPC queue 599523448
deleting IPC queue 599556217
deleting IPC queue 599588986
deleting IPC queue 599621755
deleting IPC queue 599654524
deleting IPC queue 599687293
deleting IPC queue 599720062
deleting IPC queue 599752831
deleting IPC queue 599785600
deleting IPC queue 599818369
deleting IPC queue 599851138
deleting IPC queue 599883907
deleting IPC queue 599916676
deleting IPC queue 599949445
deleting IPC queue 599982214
deleting IPC queue 600014983
deleting IPC queue 600047752
deleting IPC queue 600080521
deleting IPC queue 600113290
deleting IPC queue 600146059
deleting IPC queue 600178828
deleting IPC queue 600211597
deleting IPC queue 600244366
deleting IPC queue 600277135
deleting IPC queue 600309904
deleting IPC queue 600342673
deleting IPC queue 600375442
deleting IPC queue 600408211
deleting IPC queue 600440980
deleting IPC queue 600473749
deleting IPC queue 600506518
deleting IPC queue 600539287
deleting IPC queue 600572056
deleting IPC queue 600604825
deleting IPC queue 600637594
deleting IPC queue 600670363
deleting IPC queue 600703132
deleting IPC queue 600735901
deleting IPC queue 600768670
deleting IPC queue 600801439
deleting IPC queue 600834208
deleting IPC queue 600866977
deleting IPC queue 600899746
deleting IPC queue 600932515
deleting IPC queue 600965284
deleting IPC queue 600998053
deleting IPC queue 601030822
deleting IPC queue 601063591
deleting IPC queue 601096360
deleting IPC queue 601129129
deleting IPC queue 601161898
deleting IPC queue 601194667
deleting IPC queue 601227436
deleting IPC queue 601260205
deleting IPC queue 601292974
deleting IPC queue 601325743
deleting IPC queue 601358512
deleting IPC queue 601391281
deleting IPC queue 601424050
deleting IPC queue 601456819
deleting IPC queue 601489588
deleting IPC queue 601522357
deleting IPC queue 601555126
deleting IPC queue 601587895
deleting IPC queue 601620664
deleting IPC queue 601653433
deleting IPC queue 601686202
deleting IPC queue 601718971
deleting IPC queue 601751740
deleting IPC queue 601784509
deleting IPC queue 601817278
deleting IPC queue 601850047
deleting IPC queue 601882816
deleting IPC queue 601915585
deleting IPC queue 601948354
deleting IPC queue 601981123
deleting IPC queue 602013892
deleting IPC queue 602046661
deleting IPC queue 602079430
deleting IPC queue 602112199
deleting IPC queue 602144968
deleting IPC queue 602177737
deleting IPC queue 602210506
deleting IPC queue 602243275
deleting IPC queue 602276044
deleting IPC queue 602308813
deleting IPC queue 602341582
deleting IPC queue 602374351
deleting IPC queue 602407120
deleting IPC queue 602439889
deleting IPC queue 602472658
deleting IPC queue 602505427
deleting IPC queue 602538196
deleting IPC queue 602570965
deleting IPC queue 602603734
deleting IPC queue 602636503
deleting IPC queue 602669272
deleting IPC queue 602702041
deleting IPC queue 602734810
deleting IPC queue 602767579
deleting IPC queue 602800348
deleting IPC queue 602833117
deleting IPC queue 602865886
deleting IPC queue 602898655
deleting IPC queue 602931424
deleting IPC queue 602964193
deleting IPC queue 602996962
deleting IPC queue 603029731
deleting IPC queue 603062500
deleting IPC queue 603095269
deleting IPC queue 603128038
deleting IPC queue 603160807
deleting IPC queue 603193576
deleting IPC queue 603226345
deleting IPC queue 603259114
deleting IPC queue 603291883
deleting IPC queue 603324652
deleting IPC queue 603357421
deleting IPC queue 603390190
deleting IPC queue 603422959
deleting IPC queue 603455728
deleting IPC queue 603488497
deleting IPC queue 603521266
deleting IPC queue 603554035
deleting IPC queue 603586804
deleting IPC queue 603619573
deleting IPC queue 603652342
deleting IPC queue 603685111
deleting IPC queue 603717880
deleting IPC queue 603750649
deleting IPC queue 603783418
deleting IPC queue 603816187
deleting IPC queue 603848956
deleting IPC queue 603881725
deleting IPC queue 603914494
deleting IPC queue 603947263

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 975.449
system time used= 165.142
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 567297
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= 13575222
involuntary context switches= 1475846

runsolver used 1.42409 second user time and 3.42821 second system time

The end

Launcher Data 

Begin job on xenhost3-49 at 2009-06-11 22:02:33
IDJOB=1776567
IDBENCH=20581
IDSOLVER=631
FILE ID=xenhost3-49/1776567-1244750553
PBS_JOBID=
Free space on /tmp= 7021 MiB

SOLVER NAME= satake 2009-03-22 (16 threads)
BENCH NAME= SAT07/industrial/vliw_unsat_2.0/9dlx_vliw_at_b_iq3.cnf
COMMAND LINE= HOME/satake BENCHNAME MAXNBTHREAD TIMEOUT
RUNSOLVER COMMAND LINE= runsolver --timestamp  -w /tmp/evaluation-result-1776567-1244750553/watcher-1776567-1244750553 -o /tmp/evaluation-result-1776567-1244750553/solver-1776567-1244750553 -C 10000 -W 1000 -M 2047 --output-limit 1,15 --cleanup-all-ipc-queues HOME/satake HOME/instance-1776567-1244750553.cnf 16 10000

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

MD5SUM BENCH= ba6236c6cc840bb0208f73665843c375
RANDOM SEED= 1240916661

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:      19124484 kB
Buffers:        433040 kB
Cached:       14120104 kB
SwapCached:          0 kB
Active:        4078240 kB
Inactive:     10482916 kB
SwapTotal:    25398692 kB
SwapFree:     25398692 kB
Dirty:           20012 kB
Writeback:           0 kB
AnonPages:        7492 kB
Mapped:           3856 kB
Slab:           688496 kB
SReclaimable:   661304 kB
SUnreclaim:      27192 kB
PageTables:          0 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
WritebackTmp:        0 kB
CommitLimit:  43612580 kB
Committed_AS:    29492 kB
VmallocTotal: 34359738367 kB
VmallocUsed:    275248 kB
VmallocChunk: 34359462839 kB
DirectMap4k:  99216660 kB
DirectMap2M:         0 kB

Free space on /tmp at the end= 7021 MiB
End job on xenhost3-49 at 2009-06-11 22:07:28