Trace number 3495895

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
MoUsSaka 2011-03-26UNSAT 39.0671 39.0672

General information on the benchmark

Namemus/marques-silva/design-debugging/
mrisc_mem2wire-problem.dimacs_29.filtered.cnf
MD5SUM9574be73c23008f19b7d705f6482cb67
Bench CategoryMUS (MUS)
Best result obtained on this benchmarkUNSAT
Best CPU time to get the best result obtained on this benchmark39.0671
Satisfiable
(Un)Satisfiability was proved
Number of variables843865
Number of clauses2905976
Sum of the clauses size7550552
Maximum clause length4
Minimum clause length1
Number of clauses of size 13350
Number of clauses of size 21163426
Number of clauses of size 31736450
Number of clauses of size 42750
Number of clauses of size 50
Number of clauses of size over 50

Solver Data 

0.00/0.05	c MoUsSaka vegetarian
1.99/2.00	
1.99/2.00	s UNSATISFIABLE
38.99/39.05	c Core is minimal
38.99/39.05	
38.99/39.05	v 1994105 1943312 2248070 1892519 1949822 2000613 1949820 1949972 234983 242450 242448 2000625 2000770 2000765 2000618 234989 2000615 2051418 1949825 1899027 227518 234985 1949977 1899179 1899029 1949832 1899032 227524 219802 1844994 1850906 1844946 1946573 242222 227288 1844941 2051543 2048159 2051538 2051535 1997380 1844991 219806 234757 242218 1844977 1895793 1850897 1850900 1850903 1844980 1895779 2048173 1844943 234753 227292 1844890 1844883 2051528 1946587 1997366 1844948 1844950 1844953 1994318 381125 1848386 1848382 1899038 1848236 1848234 220038 1899183 1848403 1848239 227520 1848394 1848397 1848400 220034 1850764 1850769 1844147 1844164 1850761 1844161 1844150 1844158 1844144 1844897 1850909 1844909 1845066 1845063 1844971 1844957 1850921 1850918 1850912 234987 1899193 1997438 234773 1899196 227308 1899175 1949983 1946645 2051545 2051549 1899190 1899187 1949989 1949986 242238 1949980 2000761 2051552 1949968 2048231 227522 264551 2052755 2148615 2047021 2046548 2148149 2097353 2249735 2198942 272004 272016 2097824 2053164 2250201 249588 257086 257074 2251885 2296192 2046557 2047019 2047028 2288325 2052746 2052676 2053160 264539 2199408 2288321 2053081 2053151 2052759 249600 2296048 2046550 204422 1689515 1844415 204426 1845069 204414 1943574 1841981 1841978 1841976 1841973 1841963 234353 204466 219402 241818 197001 1689372 1994367 1844425 2045160 2045182 1689424 1850915 1844964 219822 226888 196949 196957 196961 196980 204445 1845071 1892783 1841984 2045186 2045184 1844431 211879 211887 1689583 211891 211910 1895851 1844904 211931 1845052 1845049 1845047 1689438 2045189 204894 197429 1689347 2047868 2047953 2047947 2149540 2052610 249656 2052612 2200333 2251126 2053939 2046916 2047537 2098749 2258181 2053722 2053918 2053935 2047586 257142 264607 2047518 2047448 2047871 272072 2047858 1997431 1997428 1946635 2045190 1997450 1997448 2003161 241801 2047870 2054031 242236 2045106 1946638 1952368 234771 1946633 1996805 1996807 1946657 1946655 1996810 1997426 2047859 1996895 242160 1996859 1996798 1996795 1996790 242162 2047652 2003158 1996892 1996890 1952365 1689574 1689610 381341 196997 189530 381379 381376 381343 381373 189519 197008 381385 381357 381346 2250107 2250091 2255791 2255788 2256313 2248359 2048762 1994329 256746 2250802 204462 2111582 1892745 226875 2045147 242154 264211 2257124 264231 249280 2045149 2045152 211927 271696 286982 2250799 219389 2095954 2146683 2080701 2073577 2301616 2301601 301908 286990 2045158 294455 1996841 2051526 2048710 2250831 241805 2250755 2250860 2248353 2248331 2250729 2250760 2250763 2085775 2080704 2054858 2054878 279496 2197538 2248363 294447 2250855 204473 256766 219738 2045143 301900 252321 2250797 2248269 2197476 2085787 2352410 279504 2352392 2073574 2067241 2064072 2250857 211938 2146745 2051626 2047634 2047656 2047658 227224 2045122 271676 2064054 2255721 2256261 2256264 2256328 2256331 2256334 2255763 2255772 2255775 2256255 2256325 2256322 2255730 2408406 301874 301882 2047640 1692679 2256343 2255705 2256340 2256270 2256276 279475 279480 286958 279467 279472 2255718 2351316 2250174 2250198 2250195 2255715 2255973 2255979 2256030 286953 2256198 2255539 2255535 2255928 2256201 2256091 2300525 294423 294426 294431 294418 2255541 2250158 2255931 2250192 2250183 2250056 2256358 301876 2256097 301884 2249729 2256094 2249722 2249720 301871 286961 2300963 2300979 301879 286966 2255925 2255922 2351791 2256337 2255720 2250164 2250161 2250176 1895209 226871 227230 1895204 1895212 2255709 2256082 2250054 2255985 2256352 2256006 2255988 2255761 2148581 227306 1895842 1895845 1892652 1892638 226852 1946557 1946563 1946566 1946577 1946580 1946550 2250189 227290 227286 227232 2044933 2044924 1892595 1895219 1952491 1952485 1946649 1946527 2053029 1997260 2052890 2003278 2148603 1895840 1895787 2003284 2047843 1892702 1892688 226867 226864 234297 234300 2250167 1997332 1997336 226840 1994304 1997322 1946536 1946534 2052881 2045097 271780 2053719 1946539 226848 1946543 226832 1892729 226835 1997255 1994289 234329 234332 2046985 2046917 1997445 2045001 241786 2248872 234305 1997264 1994131 256850 1994143 1994184 1994197 1946652 264315 249596 2288657 2258004 2052946 2053016 2053025 1892610 1952494 2003293 2052073 2003296 241765 1952498 1892624 241770 241758 249364 241797 2047329 2047011 2047331 242220 242216 234309 234313 234317 2047004 1892556 1892715 1892544 234325 234321 264543 257078 257082 2199396 264547 1997370 2047002 2045687 2045552 2047449 2047335 2047334 1895784 2198079 2096495 2046994 2046987 2045689 2052894 241762 2003300 1997267 1997277 2003291 226860 2052607 249592 2003287 2052811 241774 1895757 1895750 1895746 1895743 1895741 1895739 2199374 2097790 2097807 2045699 241794 272008 272012 226844 1946532 1895862 1895864 1895859 2147286 1895856 1946529 226856 1997373 1997442 226828 2045018 2045082 2045065 2045054 2045029 2044987 2044972 1997320 241790 1895770 1895773 1892674 1997325 1997327 1997329 234293 1997359 1997356 1997350 1997343 2047844 1895764 1845059 211918 196988 197427 1844411 1844416 212359 1844419 1850780 204892 212357 1692530 1692578 1692585 1692592 279627 274737 2252096 2255783 2252090 2252011 2251973 2255976 2255982 2256252 2255604 2255566 2255558 2248200 2250098 2248236 2256355 2249232 2255587 2255570 2255556 2255552 2255601 2255590 2256088 2256085 259807 2162373 294578 267272 2255547 2250087 2256346 2256349 2255592 302031 2255780 2353481 287113 2408180 2408184 2408186 2408204 2408208 205108 390311 384356 384370 384462 390307 390316 390313 384465 384363 384297 390320 1848391 212575 212573 1696015 205110 197643 1696021 1696018 1696024 1603478 182486 1696011 1603329 182015 1603388 182488 1609343 1609348 1609345 384451 189951 190167 1603497 1603500 387799 174550 1603494 1603483 387793 387802 1609352 1600157 1600236 1603402 1603480 1603395 381199 384468 384458 384470 384448 384446 387796 1603490 1609339 197645 2408425 2408428 2408434 2408422 2408419 2408352 2408446 2408443 264545 2205129 2205070 2204927 2204925 2204922 2256310 2199390 2256040 2097677 2097675 2103549 2103552 2103754 2103813 264180 2204916 2204919 257072 264172 257080 264537 2250145 2250151 2095795 2097672 2097673 2095859 2097341 2097343 2198936 2199258 2154342 2146562 2148143 2148136 2095781 256759 2103336 2097350 264203 264183 264187 264192 271637 264195 256738 256730 264224 2097804 2146591 2154277 2198929 2097797 2097795 2103330 2351781 2306833 2306836 2306839 2306842 2306845 2306848 286629 2307078 2349694 2349656 2351784 2307136 2408409 2307081 2307109 2307130 2352341 2357358 2357350 2357347 2357345 2357341 2300944 2352446 2352443 2352441 2352349 2307090 286594 2352346 294055 286598 2307106 2307103 2300951 2306775 2306422 2306425 2307069 2408431 2408449 2408403 2306799 2306778 2306781 2307121 2307124 2307127 2349776 2306814 2307087 294094 2307063 2307057 2307054 2307048 2307045 294421 2349762 2307151 2306887 2306890 2306893 2349869 2306772 2306769 2307042 2306766 2307916 2307163 2307139 2307157 2307160 2349790 2357313 2357317 2357333 2357330 2349734 286590 2307112 2307142 2307145 2300957 2300954 286988 2307133 2307036 2307148 286964 286956 2357322 2357319 2307115 2307118 2408467 2306823 2298982 2298996 1451009 1451023 1450216 1450199 1450202 1450213 1450196 1450210 175021 1603502 1602857 1602859 2045024 2044999 2045008 2045011 2042494 2042491 2045085 2307100 2307095 2307092 2299070 2047008 2046991 2046750 2044950 2044956 2044960 2095786 2095789 2095702 2095692 2095804 2044982 2044979 2044917 2044943 2044944 2044946 2095691 216994 1602862 2095743 211916 256744 1600394 256757 1892601 2044002 2249871 2146555 2146552 2146546 2146542 2146536 2199087 2199083 2097347 2095856 2095853 2095850 2256014 1447979 2349780 2349783 2351429 2044966 2044969 2097501 2097497 2095792 2044898 2249851 2249863 2249867 144701 144684 144682 164715 2093286 2148294 2148290 2095772 2148140 1892604 157287 157252 157251 157250 152168 152149 264185 1890114 264181 294053 284215 2349727 1892682 279112 1892693 1892696 279108 1244620 2307038 284217 1943363 2349724 284216 284223 2351369 2307154 2349720 264222 284224 2349766 2351425 164716 164717 2044949 1244664 159643 159607 159362 1244653 284225 284226 284227 1892576 160080 159652 149797 144703 129741 1447870 264209 2299067 2299064 2095742 2102387 2102390 2095775 2095778 279104 2351405 2351409 2351417 2349863 2347250 1244765 256720 1244768 2349857 2349860 1447944 1892586 1892583 1892581 1892580 1244622 1892578 1244625 2351433 254347 254346 254345 254342 254340 254339 254338 254336 2306789 2306786 2306783 2256002 2256299 2097801 2349701 2347253 1244688 1244691 1994119 1994121 1994124 2298931 1994162 1994166 2298927 1994167 2256302 2256307 2256037 2256032 2256281 2256079 2146495 2256008 2256011 2146585 2146582 2146579 2146597 269288 269289 2307071 269295 269287 2252093 261857 261832 261831 261830 261829 261824 261826 2307065 264178 2351381 264170 2046748 2046746 2046744 2046554 2300640 2248121 2300644 2248123 2248125 2198933 2203976 2203973 2255969 2255966 2351373 2248274 2248277 2249726 2248138 2248141 2146594 254348 254373 254388 1244771 1244606 261823 261822 261820 1346206 1346208 264201 1295399 1295413 1295415 1295418 1994298 1994295 1994292 1295424 2306792 2306810 264190 2307074 2256361 2255990 2255993 2255996 2255999 286627 2307029 263931 390181 2307032 336488 2307050 1892726 330486 2307059 328995 326981 2349769 319528 2298916 2300744 2300732 2300700 2300688 2300680 2300676 2300672 2306795 286600 2306801 2306804 256466 2349794 2349797 264193 1892706 2307083 2349707 2349705 2349703 1295446 1994156 271635 269322 209530 286592 194592 194598 194623 196708 286345 284267 1295567 1343786 2306830 1343789 256736 2306825 286596 1346192 2298918 216995 216996 216997 152147 2095801 2095705 2095707 2095710 2095716 2095736 2298987 2298990 2299001 2299004 2044985 2044993 2044996 2146503 2045027 2045057 2045060 2045063 2045021 2095814 2095810 2154336 2154339 2146604 2146607 2146610 2249963 2249959 2249955 2146613 2146619 2146643 2146646 2146649 2146655 2146671 2249951 2248071 2205402 2205399 2205340 2197355 2197348 2197345 2197339 2197328 2197322 2197303 2197296 2197293 2197291 2146532 2146535 2095823 2095820 2095817 2248211 2248208 2199381 2199383 2408345 2408348 2146485 2148134 2153180 2153183 2154123 2154126 2300660 2154129 2154132 2154134 2198927 2300656 2255712 2047950 2045696 2095737 2095739 2045404 2045155 2250136 2248134 2103816 2103819 2103822 2144078 2144081 2146484 2146510 2146529 2146530 2248271 2199263 2199261 2199259 2248148 2408440 2154615 2154612 2154609 2154606 2154547 2408437 2154345 2197514 2300636 2248119 2300632 2300624 2300616 2047025 2256017 1892615 1892618 291700 291699 2051594 1892538 278254 291711 1892535 1892533 2408381 2197278 2197277 2194873 2146674 2146677 2146721 2205405 2248197 2250142 2248307 2408416 2197470 2197467 2197464 2197448 2197412 2197397 2197390 2197387 2197384 2197370 2248117 2248115 2248096 2306851 2351437 2351449 2351453 2351457 2351465 2351469 2408411 2146565 2146568 2146571 2146577 2197288 2194870 2256278 2256272 2256266 2256257 2205408 316188 314110 381136 383830 383827 383825 293810 271655 271657 256715 2306520 2306820 256716 256718 1295484 2300580 2300576 2299073 2306817 1295481 1295457 286588 2306807 2051597 294429 1606853 216993 216992 2103333 196999 2095753 196986 196978 196959 196955 196947 211929 1606856 2095749 127379 164752 256705 256707 256713 1447985 1447982 1346211 1346218 1346239 387821 387824 286602 286604 286606 286608 286610 256722 256725 256727 256728 152137 294092 2408464 2300612 1295564 1295561 2300588 1295558 1295490 1397070 301906 308109 1447789 1346274 312054 314070 1346250 1450467 1450423 2103546 2103543 2103484 2103341 2103339 1346357 1346354 211889 211877 209564 209539 209531 127382 217003 217004 219104 219342 276750 2250180 2095759 1346277 1447845 1346284 306617 1346351 1447842 1447822 1346363 1396985 1397011 1397032 2095762 1609213 217000 217001 217002 2349738 2349741 2349748 2349752 2349755 226587 226826 234291 234052 278862 1447848 1447778 308717 1451016 1447851 381382 381362 294453 294057 294059 294061 294063 294065 271660 271668 271674 1844371 1447801 1397067 1397077 1397156 216998 216999 279143 279124 279120 279116 219346 219349 219354 219358 219362 276751 276752 276758 276759 276760 276761 276762 2095768 1451099 271687 271689 272002 272010 2349711 2349709 271652 271648 271645 271643 291707 1892589 1892592 291701 2249993 2250007 2250045 2250051 2250052 2248194 2248190 2199387 2148468 2148466 2148465 2146500 2146498 2248183 2248180 2248172 2248169 2248166 2248158 2248155 2248152 2249876 2247175 2245666 2245663 2213166 2256319 2256316 2255612 2255616 2255618 2255620 2255629 2255632 2255662 2255671 2255674 2255690 2255702 2148597 2148594 2148590 2148588 2148470 2263959 2256370 2256367 2256364 2300664 2306383 2306380 2306362 2306353 2306351 2306348 2306337 2306598 2306594 2306592 2306590 2255758 2255749 2306397 2306400 2306408 2306411 2306414 2408385 2408387 2306498 2306495 2306484 2306467 2306464 2306456 2306600 2306618 2306622 2306759 2306762 2045091 2045088 2249847 2249843 2249839 2249831 2249823 2249819 2249795 2249787 2249783 2249879 2249880 2249883 2249887 2249895 2249907 2249939 2255747 2255744 2255735 2255733 2256027 2256024 2256021 2255796 2255799 2255863 2255829 2255825 2255807 2255804 2044914 2044912 2044909 2044899 2408364 2408361 2408358 2408355 2256049 2256052 2357616 2256076 2256073 2256070 2256067 2256064 2256061 2256058 2256055 2306854 2306857 2306860 2351778 2256249 2256245 2256243 2256239 2256236 2408390 2408393 2408396 2306524 2306526 2306529 2306537 2408378 2408375 2408372 2408369 2408367 2298910 2298912 2298914 2256285 2256288 2256290 2256294 2256297 2256043 2256046 2306586 2306584 2408461 2408458 2408455 2408452 2306386 2306394 2306863 2306866 2306869 2306872 2306875 2306878 2306881 2306884 2256195 2256192 2256133 2256100 2205138 2205135 2205132 2296458 2298863 2298900 2298908 1450961 1450956 1450949 1450483 1450477 381333 381318 381315 381312 381290 381287 381284 381210 291708 291709 291710 202074 202068 202066 202065 202064 202062 294075 294073 294071 294069 294067 137236 137219 137217 1892679 137207 137205 381207 381196 381193 381187 381183 202099 204173 204412 204420 204424 204443 204451 204453 1892723 204464 144672 144670 142332 249232 239416 239413 239411 239410 239409 182058 182051 179693 175023 219378 219381 219385 219746 174595 142326 142323 224457 137238 174593 174586 174584 174548 172228 231947 231946 231945 231944 134856 1892668 1892665 134850 1892660 134847 134844 1892657 129760 1892646 1892643 1892632 194589 194590 381139 381141 381144 381170 381172 241756 1892709 129729 129491 127391 127385 189510 1892574 1892572 1892570 1892568 1892566 1892563 1892720 1892712 189523 194586 194588 167083 167085 167119 167121 226865 231948 231949 167128 167130 167556 167558 172192 172193 231950 231951 231952 249229 231953 234295 224469 234298 234303 224468 224467 224466 224465 246874 246873 246871 226838 241784 234311 226833 234315 234319 226830 234323 234327 1892629 226869 219370 219366 231943 234330 231942 234334 231941 224464 189502 189483 189479 189471 189233 187158 187133 187127 187125 187124 187123 187121 182060 249236 249241 249244 249252 249260 224463 249273 224462 224461 224460 224459 224458 226842 241792 226846 241795 226850 226862 226858 234307 226854 219374 2351770 2351545 2351549 2357116 2357124 2357127 2357130 2357141 2357144 2357146 2357155 2357173 2357176 2357179 2357187 2357190 2357193 2402464 2402459 2402457 2402448 2402445 2357852 2357856 2357858 2357862 2357864 2357867 2357871 2357874 2357876 2357880 2357883 2357885 2357888 2357893 2357896 2357899 2351541 2351537 2351525 2351493 2351481 2351473 2357260 2357277 2357288 2357291 2351757 2298945 2298940 2298934 2306323 2302690 2301653 2301650 2301648 2301556 2301553 2301548 2300997 2300991 2300988 2300985 2298948 2298954 2298959 2298962 2298968 2298973 2298976 2351599 2351592 2351583 2351573 2351566 2306582 2306579 2306576 2306574 2306571 2306568 2306565 2306557 2306554 2306552 2306548 2306540 2351621 2351624 2351634 2351650 2357201 2357204 2357207 2357215 2357218 2357249 2357257 2402414 2402417 2402427 2402443 2351731 2351728 2351722 2351699 2351690 2351683 2351676 2351671 2351666 2351664 2351655 2351652 2300935 2300929 2300906 2300897 2300938 2351737 2351744 2351747 2351750 2306331 2306334 2357613 2357610 2357607 2357603 2357600 2357597 2357594 2300890 2300883 2300878 2300873 2300871 2300862 2300859 2300857 2300841 2357618 2357623 2357626 2357629 2357632 2357635 2357638 2357641 2357361 2357364 2357367 2357369 2357565 2357568 2357571 2357574 2357847 2402250 2402258 2402262 2402266 2402274 2402286 2402318 2357917 2357920 2357923 2357850 2357592 2357588 2357585 2357582 2357579 2357576 2402515 2402492 2402483 2402476 2402469 2300748 2300752 2300756 2300773 2300780 2300790 2300799 2300806 2300828 2300831 2357559 2357555 2357552 2357415 2357411 2357393 2357391 2357387 2357385 2357383 2357379 2357377 2357375 2357372 2357908 2357905 2357902 2357562 1691782 1691779 1691771 1691768 1691765 1952500 1952503 1952507 1991698 1991701 1696043 1696046 1698382 1698385 1698390 1689506 1689509 1689512 1689534 1689537 1689540 1689543 1943359 1943356 1943350 1943338 1943331 1943328 1994282 1994279 1994275 1994261 1994254 1994251 1994239 1994225 1994218 1994215 1943365 1943367 1943369 1943371 1943373 1943374 1943376 1943379 1943382 1943385 1943391 1943394 1943397 1943404 1901572 1901575 1994211 1844385 1895736 1895734 1895691 1895681 1895678 1895674 1895669 1895309 1895306 1895304 1895272 1895257 1895224 1895221 1842019 1943361 1844453 1844455 1844458 1844487 1844511 1844513 1844516 1841941 1841943 1841946 1841949 1841951 1841957 1841987 1842009 1842015 1943439 1943436 1943432 1943425 1943422 1600370 1600168 1689432 1689429 1689418 1689415 1689409 1689405 1689394 1689392 1689366 1940906 1940909 1943326 1943511 1943513 1943516 1943519 1943525 1943536 1945997 1946002 1943502 1943505 1686942 1689358 1689361 1689363 241782 241778 241776 249221 248983 248374 246908 246883 246882 246881 246880 246877 246875 234755 234751 234697 1943446 1943450 1943453 1943458 1943461 1943468 1943472 1943475 1943482 1943486 1943489 1943496 1943499 234336 234340 234689 234695 1498647 1498644 1692525 1692518 1692052 1692046 1692036 1691992 1691785 1451123 1451121 1451118 1451115 1451104 1451101 1501916 1692668 1692670 1692673 1692684 1692687 1692690 1692692 1501802 1501809 1501816 1501892 1501894 1501897 1501903 1501908 1501911 1501914 1901714 1901710 1901707 1901705 1901701 1901698 1901692 1943418 1943411 1943408 1946484 1946474 1946471 1946467 1946462 1946102 1498772 1498775 1498778 1498781 1498807 1501271 1501273 1501276 1501743 1946005 1946012 1946014 1946017 1946048 1946066 1946097 1946099 2357926 2357929 2357932 2357935 2357938 2357941 2357944 2357947 2357950 2357953 2095878 2095881 2095884 2095887 2095927 2400583 2400662 2402109 2402162 2402166 2402174 2402198 2402202 2402210 2402218 2402222 2402226 2402230 2402242 2402246 2402584 2403134 2403139 2403142 2403185 2403203 2403234 2403236 2403239 2404274 2407909 2402330 2402334 2402338 2402342 2402359 2402366 2402376 2402385 2402392 2357956 2358709 2398042 2398045 2400449 2400487 2400527 2400541 2400555 2400569 2402521 2402524 2402530 2402537 2402540 2402543 2402550 2402563 2402571 2402574 2402577 2453343 2453356 2453377 2453978 2453984 2453996 2454000 2454002 2455053 2455057 2455067 2457970 2461000 2470398 2408084 2408106 2408110 2408112 2408115 2408123 2499314 2499630 2517925 2550422 2550425 2568716 2601214 2601217 2602725 2619509 2652009 2408740 2408743 2408746 2408749 2409502 2448835 2448838 2450347 2452902 2407937 2407939 2407948 2407966 2407969 2407972 2407980 2407983 2407986 2407994 2407997 2408000 2408008 2408011 2408042 2408050 2408053 2408070 2408081 2408400 2408126 2408134 2408138 2408140 2408143 2408151 2408154 2408157 2408160 2408162 2408165 2408168 2408170 2408172 2408176 2408178 2407917 2407920 2407923 2407934 2357831 2357835 2357838 2357841 2357843 2408673 2408676 2408678 2408681 2408686 2408689 2408692 2408695 2408698 2408701 2408704 2408707 2408710 2408713 2408716 2357911 2357914 2357644 2357647 2357650 2357653 2357656 2357659 2357662 2357665 2357668 2357671 2357674 2357677 2357680 2357683 2357686 2357822 2357825 2357829 2408645 2408649 2408651 2408655 2408657 2408660 2408664 2408667 2408669 2470415 2473586 2479917 2479922 2487044 2487047 2487050 2491429 2491433 2491703 2499218 2408719 2408722 2408725 2408728 2408731 2408734 2408737 2408470 2408473 2408476 2408479 2408615 2408618 2408622 2408624 2408628 2408631 2408634 2408636 2408640 2408643 1454474 1454477 1456813 1456816 1456821 1456961 1456964 1456967 1456970 1456973 1496166 1498571 1498582 1498615 1498635 1498638 1498641 1552064 1552066 1552069 1552536 1552595 1552602 1552609 1552685 1552687 1552690 1552697 1552701 1552704 1552707 1552709 1556060 1556063 1558420 1558546 1558550 1558552 1558555 1558559 1505267 1505270 1507627 1507753 1507757 1507759 1507762 1507766 1546958 1546961 1549364 1549375 1549408 1549428 1549431 1549434 1549437 1549443 1549565 1549568 1549571 1549577 1549601 1794266 1794270 1794273 1794276 1794278 1797598 1797601 1797604 1797607 1797610 1797629 1797632 1799968 1799971 1799976 1800116 1800119 1800122 1800125 1800128 1839319 1839322 1791132 1791158 1791170 1791194 1793351 1793354 1793357 1793365 1793368 1793371 1793578 1793622 1793632 1793638 1794104 1794111 1794116 1794164 1794171 1794178 1794254 1794256 1794259 1841822 1841825 1841836 1841839 1841850 1841853 1841864 1841867 1841872 1841875 1841886 1841889 1841892 1841900 1841903 1841913 1841916 1841919 1841925 1841927 1841930 1841933 1841726 1841740 1841742 1841745 1841752 1841770 1841773 1841775 1841777 1841779 1841781 1841783 1841785 1841787 1841788 1841790 1841793 1841796 1841799 1841801 1841808 1841811 1841818 1740299 1740302 1740305 1740311 1740327 1740330 1740333 1740339 1740365 1740377 1740401 1742558 1742561 1742564 1742572 1742575 1742578 1742785 1742829 1742839 1742845 1743311 1698530 1698533 1698536 1698539 1698542 1737734 1737737 1740140 1740151 1740154 1740156 1740159 1740166 1740185 1740187 1740198 1740202 1740208 1740211 1740218 1740222 1740225 1740232 1749323 1749326 1749329 1749332 1749335 1788526 1788529 1790933 1790944 1790947 1790949 1790952 1790959 1790980 1790995 1791011 1791015 1791018 1791025 1791104 1791120 1791123 1791126 1743318 1743323 1743371 1743378 1743385 1743461 1743463 1743466 1743473 1743477 1743480 1743483 1743485 1746805 1746808 1746811 1746814 1746817 1746836 1746839 1749175 1749178 1749183  0
38.99/39.05	
38.99/39.05	c Core has size 2894

Verifier Data 

OK	2894

Watcher Data 

runsolver Copyright (C) 2010-2011 Olivier ROUSSEL

This is runsolver version 3.3.1 (svn: 988)

This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
GNU General Public License for more details.

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3495895-1307808500/watcher-3495895-1307808500 -o /tmp/evaluation-result-3495895-1307808500/solver-3495895-1307808500 -C 1800 -W 1850 -M 7680 MoUsSaka HOME/instance-3495895-1307808500.cnf 

running on 2 cores: 4,6

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1850 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 7864320 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 7915520 KiB
Current StackSize limit: 10240 KiB


[startup+0 s]
/proc/loadavg: 4.00 3.80 3.56 4/189 16773
/proc/meminfo: memFree=29789684/32951124 swapFree=67050520/67111528
[pid=16773] ppid=16771 vsize=73856 CPUtime=0 cores=4,6
/proc/16773/stat : 16773 (MoUsSaka) R 16771 16773 14141 0 -1 4202496 2197 0 0 0 0 0 0 0 25 0 1 0 892452568 75628544 2136 33554432000 4194304 4365125 140735687714240 18446744073709551615 4318677 0 0 4096 2 0 0 0 17 4 0 0 0
/proc/16773/statm: 18464 2140 245 42 0 15612 0

[startup+0.0859441 s]
/proc/loadavg: 4.00 3.80 3.56 4/189 16773
/proc/meminfo: memFree=29789684/32951124 swapFree=67050520/67111528
[pid=16773] ppid=16771 vsize=134120 CPUtime=0.08 cores=4,6
/proc/16773/stat : 16773 (MoUsSaka) R 16771 16773 14141 0 -1 4202496 27219 0 0 0 5 3 0 0 25 0 1 0 892452568 137338880 20341 33554432000 4194304 4365125 140735687714240 18446744073709551615 4284413 0 0 4096 2 0 0 0 17 4 0 0 0
/proc/16773/statm: 33530 20342 254 42 0 30678 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 134120

[startup+0.10094 s]
/proc/loadavg: 4.00 3.80 3.56 4/189 16773
/proc/meminfo: memFree=29789684/32951124 swapFree=67050520/67111528
[pid=16773] ppid=16771 vsize=134120 CPUtime=0.09 cores=4,6
/proc/16773/stat : 16773 (MoUsSaka) R 16771 16773 14141 0 -1 4202496 27758 0 0 0 6 3 0 0 25 0 1 0 892452568 137338880 20797 33554432000 4194304 4365125 140735687714240 18446744073709551615 4316862 0 0 4096 2 0 0 0 17 4 0 0 0
/proc/16773/statm: 33530 20798 254 42 0 30678 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 134120

[startup+0.300904 s]
/proc/loadavg: 4.00 3.80 3.56 4/189 16773
/proc/meminfo: memFree=29789684/32951124 swapFree=67050520/67111528
[pid=16773] ppid=16771 vsize=141288 CPUtime=0.29 cores=4,6
/proc/16773/stat : 16773 (MoUsSaka) R 16771 16773 14141 0 -1 4202496 35419 0 0 0 25 4 0 0 25 0 1 0 892452568 144678912 27113 33554432000 4194304 4365125 140735687714240 18446744073709551615 4316862 0 0 4096 2 0 0 0 17 4 0 0 0
/proc/16773/statm: 35322 27117 254 42 0 32470 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 141288

[startup+0.700825 s]
/proc/loadavg: 4.00 3.80 3.56 4/189 16773
/proc/meminfo: memFree=29789684/32951124 swapFree=67050520/67111528
[pid=16773] ppid=16771 vsize=177860 CPUtime=0.68 cores=4,6
/proc/16773/stat : 16773 (MoUsSaka) R 16771 16773 14141 0 -1 4202496 61631 0 0 0 61 7 0 0 25 0 1 0 892452568 182128640 36560 33554432000 4194304 4365125 140735687714240 18446744073709551615 4316862 0 0 4096 2 0 0 0 17 4 0 0 0
/proc/16773/statm: 44465 36561 254 42 0 41613 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 177860

[startup+1.50065 s]
/proc/loadavg: 4.00 3.80 3.56 6/190 16774
/proc/meminfo: memFree=29198716/32951124 swapFree=67050520/67111528
[pid=16773] ppid=16771 vsize=319392 CPUtime=1.49 cores=4,6
/proc/16773/stat : 16773 (MoUsSaka) R 16771 16773 14141 0 -1 4202496 138009 0 0 0 131 18 0 0 25 0 1 0 892452568 327057408 63344 33554432000 4194304 4365125 140735687714240 18446744073709551615 4261012 0 0 4096 2 0 0 0 17 4 0 0 0
/proc/16773/statm: 79848 63344 255 42 0 76996 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 319392

[startup+3.10038 s]
/proc/loadavg: 4.00 3.80 3.56 6/190 16774
/proc/meminfo: memFree=29287376/32951124 swapFree=67050520/67111528
[pid=16773] ppid=16771 vsize=357708 CPUtime=3.09 cores=4,6
/proc/16773/stat : 16773 (MoUsSaka) R 16771 16773 14141 0 -1 4202496 159554 0 0 0 289 20 0 0 25 0 1 0 892452568 366292992 65728 33554432000 4194304 4365125 140735687714240 18446744073709551615 4260907 0 0 4096 2 0 0 0 17 4 0 0 0
/proc/16773/statm: 89427 65728 263 42 0 86575 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 357708

[startup+6.30077 s]
/proc/loadavg: 4.00 3.80 3.56 6/190 16774
/proc/meminfo: memFree=29280244/32951124 swapFree=67050520/67111528
[pid=16773] ppid=16771 vsize=357708 CPUtime=6.29 cores=4,6
/proc/16773/stat : 16773 (MoUsSaka) R 16771 16773 14141 0 -1 4202496 159554 0 0 0 609 20 0 0 25 0 1 0 892452568 366292992 65728 33554432000 4194304 4365125 140735687714240 18446744073709551615 4260635 0 0 4096 2 0 0 0 17 4 0 0 0
/proc/16773/statm: 89427 65728 263 42 0 86575 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 357708

[startup+12.7006 s]
/proc/loadavg: 4.00 3.80 3.57 6/190 16774
/proc/meminfo: memFree=29236244/32951124 swapFree=67050520/67111528
[pid=16773] ppid=16771 vsize=357708 CPUtime=12.69 cores=4,6
/proc/16773/stat : 16773 (MoUsSaka) R 16771 16773 14141 0 -1 4202496 159554 0 0 0 1249 20 0 0 25 0 1 0 892452568 366292992 65728 33554432000 4194304 4365125 140735687714240 18446744073709551615 4260871 0 0 4096 2 0 0 0 17 4 0 0 0
/proc/16773/statm: 89427 65728 263 42 0 86575 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 357708

[startup+25.5011 s]
/proc/loadavg: 4.00 3.81 3.57 6/190 16774
/proc/meminfo: memFree=29493532/32951124 swapFree=67050520/67111528
[pid=16773] ppid=16771 vsize=357708 CPUtime=25.49 cores=4,6
/proc/16773/stat : 16773 (MoUsSaka) R 16771 16773 14141 0 -1 4202496 159554 0 0 0 2529 20 0 0 25 0 1 0 892452568 366292992 65728 33554432000 4194304 4365125 140735687714240 18446744073709551615 4260907 0 0 4096 2 0 0 0 17 4 0 0 0
/proc/16773/statm: 89427 65728 263 42 0 86575 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 357708

Solver just ended. Dumping a history of the last processes samples

[startup+31.9069 s]
/proc/loadavg: 4.00 3.81 3.57 6/190 16774
/proc/meminfo: memFree=29493980/32951124 swapFree=67050520/67111528
[pid=16773] ppid=16771 vsize=357708 CPUtime=31.89 cores=4,6
/proc/16773/stat : 16773 (MoUsSaka) R 16771 16773 14141 0 -1 4202496 159554 0 0 0 3169 20 0 0 25 0 1 0 892452568 366292992 65728 33554432000 4194304 4365125 140735687714240 18446744073709551615 4260956 0 0 4096 2 0 0 0 17 4 0 0 0
/proc/16773/statm: 89427 65728 263 42 0 86575 0
Current children cumulated CPU time (s) 31.89
Current children cumulated vsize (KiB) 357708

[startup+35.1003 s]
/proc/loadavg: 4.00 3.82 3.58 6/190 16774
/proc/meminfo: memFree=29388828/32951124 swapFree=67050520/67111528
[pid=16773] ppid=16771 vsize=357708 CPUtime=35.09 cores=4,6
/proc/16773/stat : 16773 (MoUsSaka) R 16771 16773 14141 0 -1 4202496 159554 0 0 0 3489 20 0 0 25 0 1 0 892452568 366292992 65728 33554432000 4194304 4365125 140735687714240 18446744073709551615 4260893 0 0 4096 2 0 0 0 17 4 0 0 0
/proc/16773/statm: 89427 65728 263 42 0 86575 0
Current children cumulated CPU time (s) 35.09
Current children cumulated vsize (KiB) 357708

[startup+36.701 s]
/proc/loadavg: 4.00 3.82 3.58 6/190 16774
/proc/meminfo: memFree=29525972/32951124 swapFree=67050520/67111528
[pid=16773] ppid=16771 vsize=357708 CPUtime=36.69 cores=4,6
/proc/16773/stat : 16773 (MoUsSaka) R 16771 16773 14141 0 -1 4202496 159554 0 0 0 3649 20 0 0 25 0 1 0 892452568 366292992 65728 33554432000 4194304 4365125 140735687714240 18446744073709551615 4260907 0 0 4096 2 0 0 0 17 4 0 0 0
/proc/16773/statm: 89427 65728 263 42 0 86575 0
Current children cumulated CPU time (s) 36.69
Current children cumulated vsize (KiB) 357708

[startup+38.3007 s]
/proc/loadavg: 4.00 3.82 3.58 6/190 16775
/proc/meminfo: memFree=29513076/32951124 swapFree=67050520/67111528
[pid=16773] ppid=16771 vsize=357708 CPUtime=38.29 cores=4,6
/proc/16773/stat : 16773 (MoUsSaka) R 16771 16773 14141 0 -1 4202496 159554 0 0 0 3809 20 0 0 25 0 1 0 892452568 366292992 65728 33554432000 4194304 4365125 140735687714240 18446744073709551615 4260848 0 0 4096 2 0 0 0 17 4 0 0 0
/proc/16773/statm: 89427 65728 263 42 0 86575 0
Current children cumulated CPU time (s) 38.29
Current children cumulated vsize (KiB) 357708

[startup+38.7007 s]
/proc/loadavg: 4.00 3.82 3.58 6/190 16775
/proc/meminfo: memFree=29512952/32951124 swapFree=67050520/67111528
[pid=16773] ppid=16771 vsize=357708 CPUtime=38.69 cores=4,6
/proc/16773/stat : 16773 (MoUsSaka) R 16771 16773 14141 0 -1 4202496 159554 0 0 0 3849 20 0 0 25 0 1 0 892452568 366292992 65728 33554432000 4194304 4365125 140735687714240 18446744073709551615 4260944 0 0 4096 2 0 0 0 17 4 0 0 0
/proc/16773/statm: 89427 65728 263 42 0 86575 0
Current children cumulated CPU time (s) 38.69
Current children cumulated vsize (KiB) 357708

[startup+38.9006 s]
/proc/loadavg: 4.00 3.82 3.58 6/190 16775
/proc/meminfo: memFree=29512952/32951124 swapFree=67050520/67111528
[pid=16773] ppid=16771 vsize=357708 CPUtime=38.89 cores=4,6
/proc/16773/stat : 16773 (MoUsSaka) R 16771 16773 14141 0 -1 4202496 159554 0 0 0 3869 20 0 0 25 0 1 0 892452568 366292992 65728 33554432000 4194304 4365125 140735687714240 18446744073709551615 4260927 0 0 4096 2 0 0 0 17 4 0 0 0
/proc/16773/statm: 89427 65728 263 42 0 86575 0
Current children cumulated CPU time (s) 38.89
Current children cumulated vsize (KiB) 357708

[startup+39.0006 s]
/proc/loadavg: 4.00 3.82 3.58 6/190 16775
/proc/meminfo: memFree=29512952/32951124 swapFree=67050520/67111528
[pid=16773] ppid=16771 vsize=357708 CPUtime=38.99 cores=4,6
/proc/16773/stat : 16773 (MoUsSaka) R 16771 16773 14141 0 -1 4202496 159554 0 0 0 3879 20 0 0 25 0 1 0 892452568 366292992 65728 33554432000 4194304 4365125 140735687714240 18446744073709551615 4260944 0 0 4096 2 0 0 0 17 4 0 0 0
/proc/16773/statm: 89427 65728 263 42 0 86575 0
Current children cumulated CPU time (s) 38.99
Current children cumulated vsize (KiB) 357708

Child status: 20
Real time (s): 39.0672
CPU time (s): 39.0671
CPU user time (s): 38.8491
CPU system time (s): 0.217966
CPU usage (%): 99.9995
Max. virtual memory (cumulated for all children) (KiB): 357712

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 38.8491
system time used= 0.217966
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 159559
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= 6
involuntary context switches= 56

runsolver used 0.065989 second user time and 0.148977 second system time

The end

Launcher Data 

Begin job on node102 at 2011-06-11 18:08:22
IDJOB=3495895
IDBENCH=89437
IDSOLVER=1989
FILE ID=node102/3495895-1307808500
RUNJOBID= node102-1307807882-15965
PBS_JOBID= 13551074
Free space on /tmp= 73996 MiB

SOLVER NAME= MoUsSaka 2011-03-26
BENCH NAME= SAT11/mus/marques-silva/design-debugging/mrisc_mem2wire-problem.dimacs_29.filtered.cnf
COMMAND LINE= MoUsSaka BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3495895-1307808500/watcher-3495895-1307808500 -o /tmp/evaluation-result-3495895-1307808500/solver-3495895-1307808500 -C 1800 -W 1850 -M 7680  MoUsSaka HOME/instance-3495895-1307808500.cnf

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 7680 MiB
NBCORE= 2

MD5SUM BENCH= 9574be73c23008f19b7d705f6482cb67
RANDOM SEED=1052835431

node102.alineos.net Linux 2.6.18-164.el5 #1 SMP Thu Sep 3 03:28:30 EDT 2009

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.828
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5333.65
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.828
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 16
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5226.15
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 2
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.828
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 2
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.82
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 3
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.828
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 18
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.75
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 4
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.828
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 4
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.82
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 5
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.828
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 20
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.75
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.828
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.82
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.828
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 22
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.75
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]


/proc/meminfo:
MemTotal:     32951124 kB
MemFree:      29790104 kB
Buffers:        297548 kB
Cached:        1146556 kB
SwapCached:      25172 kB
Active:        2145228 kB
Inactive:       802712 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      29790104 kB
SwapTotal:    67111528 kB
SwapFree:     67050520 kB
Dirty:          131032 kB
Writeback:           0 kB
AnonPages:     1501056 kB
Mapped:           9684 kB
Slab:           144184 kB
PageTables:       8248 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS:  2019260 kB
VmallocTotal: 34359738367 kB
VmallocUsed:    296008 kB
VmallocChunk: 34359440975 kB
HugePages_Total:     0
HugePages_Free:      0
HugePages_Rsvd:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 73992 MiB
End job on node102 at 2011-06-11 18:09:01