This is pdfTeXk, Version 3.141592-1.40.3 (Web2C 7.5.6) (format=pdflatex 2009.3.6) 7 MAY 2010 14:59 entering extended mode %&-line parsing enabled. **\nonstopmode\input{tcs2010-main.tex} (./tcs2010-main.tex (./llncs.cls Document Class: llncs 2004/08/17 v2.14 LaTeX document class for Lecture Notes in Computer Science (/usr/share/texmf-texlive/tex/latex/base/article.cls Document Class: article 2005/09/16 v1.4f Standard LaTeX document class (/usr/share/texmf-texlive/tex/latex/base/size10.clo File: size10.clo 2005/09/16 v1.4f Standard LaTeX file (size option) ) \c@part=\count79 \c@section=\count80 \c@subsection=\count81 \c@subsubsection=\count82 \c@paragraph=\count83 \c@subparagraph=\count84 \c@figure=\count85 \c@table=\count86 \abovecaptionskip=\skip41 \belowcaptionskip=\skip42 \bibindent=\dimen102 ) (/usr/share/texmf-texlive/tex/latex/tools/multicol.sty Package: multicol 2006/05/18 v1.6g multicolumn formatting (FMi) \c@tracingmulticols=\count87 \mult@box=\box26 \multicol@leftmargin=\dimen103 \c@unbalance=\count88 \c@collectmore=\count89 \doublecol@number=\count90 \multicoltolerance=\count91 \multicolpretolerance=\count92 \full@width=\dimen104 \page@free=\dimen105 \premulticols=\dimen106 \postmulticols=\dimen107 \multicolsep=\skip43 \multicolbaselineskip=\skip44 \partial@page=\box27 \last@line=\box28 \mult@rightbox=\box29 \mult@grightbox=\box30 \mult@gfirstbox=\box31 \mult@firstbox=\box32 \@tempa=\box33 \@tempa=\box34 \@tempa=\box35 \@tempa=\box36 \@tempa=\box37 \@tempa=\box38 \@tempa=\box39 \@tempa=\box40 \@tempa=\box41 \@tempa=\box42 \@tempa=\box43 \@tempa=\box44 \@tempa=\box45 \@tempa=\box46 \@tempa=\box47 \@tempa=\box48 \@tempa=\box49 \c@columnbadness=\count93 \c@finalcolumnbadness=\count94 \last@try=\dimen108 \multicolovershoot=\dimen109 \multicolundershoot=\dimen110 \mult@nat@firstbox=\box50 \colbreak@box=\box51 ) \c@chapter=\count95 LaTeX Font Info: Redeclaring math symbol \Gamma on input line 360. LaTeX Font Info: Redeclaring math symbol \Delta on input line 361. LaTeX Font Info: Redeclaring math symbol \Theta on input line 362. LaTeX Font Info: Redeclaring math symbol \Lambda on input line 363. LaTeX Font Info: Redeclaring math symbol \Xi on input line 364. LaTeX Font Info: Redeclaring math symbol \Pi on input line 365. LaTeX Font Info: Redeclaring math symbol \Sigma on input line 366. LaTeX Font Info: Redeclaring math symbol \Upsilon on input line 367. LaTeX Font Info: Redeclaring math symbol \Phi on input line 368. LaTeX Font Info: Redeclaring math symbol \Psi on input line 369. LaTeX Font Info: Redeclaring math symbol \Omega on input line 370. \tocchpnum=\dimen111 \tocsecnum=\dimen112 \tocsectotal=\dimen113 \tocsubsecnum=\dimen114 \tocsubsectotal=\dimen115 \tocsubsubsecnum=\dimen116 \tocsubsubsectotal=\dimen117 \tocparanum=\dimen118 \tocparatotal=\dimen119 \tocsubparanum=\dimen120 \@tempcntc=\count96 \fnindent=\dimen121 \c@@inst=\count97 \c@@auth=\count98 \c@auco=\count99 \instindent=\dimen122 \authrun=\box52 \authorrunning=\toks14 \tocauthor=\toks15 \titrun=\box53 \titlerunning=\toks16 \toctitle=\toks17 \c@theorem=\count100 \c@case=\count101 \c@conjecture=\count102 \c@corollary=\count103 \c@definition=\count104 \c@example=\count105 \c@exercise=\count106 \c@lemma=\count107 \c@note=\count108 \c@problem=\count109 \c@property=\count110 \c@proposition=\count111 \c@question=\count112 \c@solution=\count113 \c@remark=\count114 \headlineindent=\dimen123 ) (./llncsdoc.sty) (/usr/share/texmf-texlive/tex/latex/psnfss/times.sty Package: times 2005/04/12 PSNFSS-v9.2a (SPQR) ) (/usr/share/texmf-texlive/tex/latex/tools/array.sty Package: array 2005/08/23 v2.4b Tabular extension package (FMi) \col@sep=\dimen124 \extrarowheight=\dimen125 \NC@list=\toks18 \extratabsurround=\skip45 \backup@length=\skip46 ) (/usr/share/texmf-texlive/tex/latex/amsmath/amsmath.sty Package: amsmath 2000/07/18 v2.13 AMS math features \@mathmargin=\skip47 For additional information on amsmath, use the `?' option. (/usr/share/texmf-texlive/tex/latex/amsmath/amstext.sty Package: amstext 2000/06/29 v2.01 (/usr/share/texmf-texlive/tex/latex/amsmath/amsgen.sty File: amsgen.sty 1999/11/30 v2.0 \@emptytoks=\toks19 \ex@=\dimen126 )) (/usr/share/texmf-texlive/tex/latex/amsmath/amsbsy.sty Package: amsbsy 1999/11/29 v1.2d \pmbraise@=\dimen127 ) (/usr/share/texmf-texlive/tex/latex/amsmath/amsopn.sty Package: amsopn 1999/12/14 v2.01 operator names ) \inf@bad=\count115 LaTeX Info: Redefining \frac on input line 211. \uproot@=\count116 \leftroot@=\count117 LaTeX Info: Redefining \overline on input line 307. \classnum@=\count118 \DOTSCASE@=\count119 LaTeX Info: Redefining \ldots on input line 379. LaTeX Info: Redefining \dots on input line 382. LaTeX Info: Redefining \cdots on input line 467. \Mathstrutbox@=\box54 \strutbox@=\box55 \big@size=\dimen128 LaTeX Font Info: Redeclaring font encoding OML on input line 567. LaTeX Font Info: Redeclaring font encoding OMS on input line 568. Package amsmath Warning: Unable to redefine math accent \vec. \macc@depth=\count120 \c@MaxMatrixCols=\count121 \dotsspace@=\muskip10 \c@parentequation=\count122 \dspbrk@lvl=\count123 \tag@help=\toks20 \row@=\count124 \column@=\count125 \maxfields@=\count126 \andhelp@=\toks21 \eqnshift@=\dimen129 \alignsep@=\dimen130 \tagshift@=\dimen131 \tagwidth@=\dimen132 \totwidth@=\dimen133 \lineht@=\dimen134 \@envbody=\toks22 \multlinegap=\skip48 \multlinetaggap=\skip49 \mathdisplay@stack=\toks23 LaTeX Info: Redefining \[ on input line 2666. LaTeX Info: Redefining \] on input line 2667. ) (/usr/share/texmf-texlive/tex/latex/graphics/epsfig.sty Package: epsfig 1999/02/16 v1.7a (e)psfig emulation (SPQR) (/usr/share/texmf-texlive/tex/latex/graphics/graphicx.sty Package: graphicx 1999/02/16 v1.0f Enhanced LaTeX Graphics (DPC,SPQR) (/usr/share/texmf-texlive/tex/latex/graphics/keyval.sty Package: keyval 1999/03/16 v1.13 key=value parser (DPC) \KV@toks@=\toks24 ) (/usr/share/texmf-texlive/tex/latex/graphics/graphics.sty Package: graphics 2006/02/20 v1.0o Standard LaTeX Graphics (DPC,SPQR) (/usr/share/texmf-texlive/tex/latex/graphics/trig.sty Package: trig 1999/03/16 v1.09 sin cos tan (DPC) ) (/etc/texmf/tex/latex/config/graphics.cfg File: graphics.cfg 2007/01/18 v1.5 graphics configuration of teTeX/TeXLive ) Package graphics Info: Driver file: pdftex.def on input line 90. (/usr/share/texmf-texlive/tex/latex/pdftex-def/pdftex.def File: pdftex.def 2007/01/08 v0.04d Graphics/color for pdfTeX \Gread@gobject=\count127 )) \Gin@req@height=\dimen135 \Gin@req@width=\dimen136 ) \epsfxsize=\dimen137 \epsfysize=\dimen138 ) (/usr/share/texmf-texlive/tex/latex/tools/xspace.sty Package: xspace 2006/05/08 v1.12 Space after command names (DPC,MH) ) (/usr/share/texmf-texlive/tex/latex/ltxmisc/boxedminipage.sty) (/usr/share/texmf-texlive/tex/latex/tools/varioref.sty Package: varioref 2006/05/13 v1.4p package for extended references (FMi) \c@vrcnt=\count128 ) (/usr/share/texmf-texlive/tex/latex/picinpar/picinpar.sty Pictures in Paragraphs. Version 1.2a, July 13, 1993 \br=\count129 \bl=\count130 \na=\count131 \nb=\count132 \tcdsav=\count133 \tcl=\count134 \tcd=\count135 \tcn=\count136 \cumtcl=\count137 \cumpartcl=\count138 \lftside=\dimen139 \rtside=\dimen140 \hpic=\dimen141 \vpic=\dimen142 \strutilg=\dimen143 \picwd=\dimen144 \topheight=\dimen145 \ilg=\dimen146 \lpic=\dimen147 \lwindowsep=\dimen148 \rwindowsep=\dimen149 \cumpar=\dimen150 \twa=\toks25 \la=\toks26 \ra=\toks27 \ha=\toks28 \pictoc=\toks29 \rawtext=\box56 \holder=\box57 \windowbox=\box58 \wartext=\box59 \finaltext=\box60 \aslice=\box61 \bslice=\box62 \wbox=\box63 \wstrutbox=\box64 \picbox=\box65 \waslice=\box66 \wbslice=\box67 \fslice=\box68 ) (./tcs2010-main.aux) \openout1 = `tcs2010-main.aux'. LaTeX Font Info: Checking defaults for OML/cmm/m/it on input line 27. LaTeX Font Info: ... okay on input line 27. LaTeX Font Info: Checking defaults for T1/cmr/m/n on input line 27. LaTeX Font Info: ... okay on input line 27. LaTeX Font Info: Checking defaults for OT1/cmr/m/n on input line 27. LaTeX Font Info: ... okay on input line 27. LaTeX Font Info: Checking defaults for OMS/cmsy/m/n on input line 27. LaTeX Font Info: ... okay on input line 27. LaTeX Font Info: Checking defaults for OMX/cmex/m/n on input line 27. LaTeX Font Info: ... okay on input line 27. LaTeX Font Info: Checking defaults for U/cmr/m/n on input line 27. LaTeX Font Info: ... okay on input line 27. LaTeX Font Info: Try loading font information for OT1+ptm on input line 27. (/usr/share/texmf-texlive/tex/latex/psnfss/ot1ptm.fd File: ot1ptm.fd 2001/06/04 font definitions for OT1/ptm. ) LaTeX Font Info: Font shape `OT1/ptm/bx/n' in size <14.4> not available (Font) Font shape `OT1/ptm/b/n' tried instead on input line 41. LaTeX Font Info: Font shape `OT1/ptm/bx/n' in size <9> not available (Font) Font shape `OT1/ptm/b/n' tried instead on input line 44. (./intro.tex LaTeX Font Info: Font shape `OT1/ptm/bx/n' in size <12> not available (Font) Font shape `OT1/ptm/b/n' tried instead on input line 1. Overfull \hbox (1.66321pt too wide) in paragraph at lines 15--25 []\OT1/ptm/m/n/10 Model check-ing [6] is an au-to-mated ver-i-fi-ca-tion tech-n ique that ex-haus-tively searches [] [1 {/var/lib/texmf/fonts/map/pdftex/updmap/pdftex.map}]) (./preliminaries.tex LaTeX Font Info: Font shape `OT1/ptm/bx/n' in size <10> not available (Font) Font shape `OT1/ptm/b/n' tried instead on input line 3. [2] File: PICT/node-type.png Graphic file (type png) File: PICT/branching-edges.png Graphic file (type png) [3 <./PICT/node-type.png (PNG copy)>] File: PICT/set-nodes.png Graphic file (type png) [4 <./PICT/branching-edges.png (PNG copy)> <./PICT/set-nodes.png (PNG copy)>]) (./slicingBT.tex [5] [6] [7] Overfull \hbox (7.5536pt too wide) in paragraph at lines 193--198 \OT1/ptm/m/n/10 for ex-ter-nal in-put/output nodes we do not have a sim-i-lar d e-pen-dency as the sender/receiver [] [8] [9]) (./eHealthSystem.tex File: PICT/HISoverview.png Graphic file (type png) File: PICT/HISmanager.png Graphic file (type png) [10] Underfull \hbox (badness 10000) in paragraph at lines 86--93 [] Underfull \hbox (badness 10000) in paragraph at lines 93--100 [] [11 <./PICT/HISoverview.png (PNG copy)> <./PICT/HISmanager.png (PNG copy)>] Underfull \hbox (badness 10000) in paragraph at lines 100--105 [] ) (./slicingCaseStudy.tex [12]) (./discussion.tex [13]) (./conclusion.tex) (./tcs2010-main.bbl [14]) [15] (./tcs2010-main.aux) ) Here is how much of TeX's memory you used: 2059 strings out of 93945 24030 string characters out of 1162044 95340 words of memory out of 1500000 5296 multiletter control sequences out of 10000+50000 21616 words of font info for 49 fonts, out of 1200000 for 2000 743 hyphenation exceptions out of 8191 33i,12n,21p,985b,298s stack positions out of 5000i,500n,6000p,200000b,5000s {/usr/share/texmf-texlive/ fonts/enc/dvips/base/8r.enc} Output written on tcs2010-main.pdf (15 pages, 177826 bytes). PDF statistics: 109 PDF objects out of 1000 (max. 8388607) 0 named destinations out of 1000 (max. 131072) 26 words of extra memory for PDF output out of 10000 (max. 10000000)