0.00/0.07 c MoUsSaka vegetarian
2.99/3.07
2.99/3.07 s UNSATISFIABLE
14.59/14.65 c Core is minimal
14.59/14.65
14.59/14.65 v 898286 898289 898292 898255 898261 898258 624133 624134 624158 624145 897871 897874 624164 624147 624157 624135 624171 624140 624176 624152 624066 897849 897852 624166 624099 624087 624092 624070 624097 624071 624073 624085 624110 624116 624111 624080 624075 624104 624098 624086 624074 624131 624130 624170 624146 624159 624106 624142 624082 898376 898373 898785 898779 898782 623975 623970 3032791 624154 3032789 598225 598230 623958 3032765 3032785 1288766 3032787 1060915 826075 1288761 1060911 624094 624178 624118 1060924 3032761 3032759 1060920 1288770 1288775 826084 826080 598221 623963 826071 3032763 598234 623977 623965 898810 898813 898816 898395 898398 826076 1083097 1310955 1310952 1310948 1083111 826104 851572 851568 1310949 1288794 3000845 3000843 826085 598212 3032735 1060933 1060929 1288779 3032733 1288784 826093 3032737 623982 623989 3032739 623987 598243 826089 598239 3032817 623951 623953 3032815 826062 598216 623946 3032813 1060902 1288757 826066 3032811 1288752 1060906 1800299 1800303 1800300 2033389 2033392 2030380 2033396 2030378 1799954 1799950 1800288 1800294 1800291 1799951 826067 826094 1082920 1082916 831193 831196 1310773 1310776 2973524 1799859 826088 1572031 2973526 1310766 1799845 1799849 1799853 1799841 3006705 3006703 1799862 1799865 1571991 1799852 1800009 1800012 1800003 1799943 831226 1310778 826097 1082932 1082928 3006680 3006678 831229 1572081 2973474 2973476 1572481 1799942 1799939 1799935 1799931 1310788 1310785 1800038 1800057 2033189 1800035 1800069 1800050 1800053 2032999 1800072 2032997 1800054 2033191 1800174 2031682 2031496 2031493 2031677 1800177 2031679 1800155 1800158 1800173 1800170 1800192 1800189 2031491 1799868 1800015 1800018 1800159 1800162 2031865 1800140 2031868 2031863 1800143 1799948 2027647 2255473 2027619 2973572 2255469 2255481 2255480 2973570 2255477 1799858 1800021 1800024 2030935 2032246 1800237 1800275 1800271 2033197 1800309 2033194 1800308 2033200 1800027 1800312 2030195 2030938 2032435 2030752 1800234 1800233 2030749 1800252 1800218 1800230 1800215 2030933 2030747 1800249 2030197 1800317 1800280 1800284 1799820 1799823 1799817 2973549 1799803 1799811 1571949 1310764 2973551 1310761 3006730 826079 3006728 1571989 1799799 831181 1310754 1082904 1799807 1799810 1082908 831178 1799793 1799790 1800065 1800084 1799787 1800087 1800068 2032807 2032805 1799816 2030566 1799877 1800264 2030561 1800261 1800245 2030563 1799871 2032057 1800260 1799874 1800248 1800099 1800083 1800080 1799832 1799835 1799829 1799826 2255735 2488891 2255757 2255754 2488889 2255738 1800185 1800204 1800207 1800188 2031305 2031307 2031310 1799781 2255753 2255769 2255750 2488699 2255772 2488697 1800102 2032621 2032618 2032616 1799786 2027649 2255503 2255499 2255507 2255511 2027689 2973545 2255510 2973547 2255516 2255639 2027781 2255712 2255642 2255635 2028181 2973470 2255643 2255703 2255709 2255718 2255715 2255631 2973472 2255517 2255520 1082892 1082896 831163 826070 1310742 3006755 3006753 831166 2973576 2973574 1571919 1310752 1799769 1310749 1571947 1799780 1799777 1799773 2255523 2255526 2255486 2255813 2487943 2255810 2487938 2487940 2255832 2255829 2487565 2487563 2255862 2487568 2255859 1800110 1800129 1800098 1800114 2032240 2032429 2032243 1800132 2032054 1800095 1800117 2032238 2032432 2032427 2032051 1800125 1800144 2032049 1800147 1800128 1800113 2031119 2032624 1800222 1800219 2031121 1800200 1800203 2031124 1800006 2255648 2255558 2973520 2255721 2255724 2027731 2255545 2255549 2255552 2027691 2255541 2255553 2973522 2255562 2255565 2255571 2255559 2255574 2255568 2255487 2488505 2488507 2255765 2255768 2255490 2255493 2255780 2488316 2488318 2488321 2255930 2255949 2255933 2255952 2487946 2486452 2486449 2486447 989362 2979933 989357 989383 989373 1217207 1217212 2269126 2269309 2269816 1445062 1445057 1445073 2979929 1445083 1672912 1672907 2269123 1942903 3053852 1818398 1981743 2027602 1816288 1753623 1753627 1937433 1531659 1531740 1821464 2008444 2008448 2011180 2011183 2014927 1981575 1814478 3022336 1937473 3053987 1942932 1942927 1942764 1937553 1814180 3054653 3054628 2024171 2024167 1531641 1531650 1942939 1817641 1817643 1531647 1942841 1942980 1943004 3054544 1818698 1942800 3053958 3053823 3053960 1753983 1943008 1943015 1942999 1819751 2015983 1709578 1942836 1981665 1942896 3053931 3022446 3022448 1531095 1942943 1942913 1942908 2019853 1937464 2019860 1753717 1813426 1814116 1754077 1813609 2014934 1942891 1942900 2021113 1813125 1937409 1709595 1937534 1937469 1982025 3022228 1814664 1531731 3054599 1709559 3053933 1981664 3022558 3022556 1987344 1754073 1981484 1815171 2269121 1937450 1531728 1942968 1942949 1942769 3053825 1820868 2017193 2017190 2022112 2027318 1814481 1942944 3054655 1531653 2018650 1937445 1817345 1942936 1531656 2024174 1942872 1753713 1813423 1709523 1981833 1819753 1819455 1937373 1808784 1813123 1816588 2022119 2027315 2027311 2012087 1715149 1714986 1981485 2025151 1813421 1820446 1821166 1981563 1982013 1982024 1819756 3054626 3053906 3053904 2014931 1981845 1709542 1981923 1981755 1820866 1818400 1815233 1942985 1943011 1817343 1818336 1981653 1942860 1942907 3053877 3053879 1753897 3022226 1709614 1817829 1816226 2013748 1981754 3054546 1816591 1816774 3022666 1819939 1715005 1981844 1820508 1818701 3017128 1981927 1981938 1981935 1937397 1981948 3017126 1753803 1709698 1814476 3053985 2027606 1817281 1942805 2007344 1715130 1814178 1821164 2022116 1942788 2023168 1937378 2007340 1714914 1987341 1816290 1986792 1986795 1753893 3053850 1753987 2017186 1981473 1815533 1672923 1820510 1714933 1981951 1981934 1715058 1531092 2012084 1709679 2024611 1714969 3054601 1531734 2019857 1937480 1937476 1531644 1819453 1819391 1818884 1981574 1715077 1715094 1715113 1942824 1217231 1217227 1217223 1672931 1531737 1753807 1816586 1815536 1815719 1815531 1815235 1672927 1937414 1714950 1715022 1715041 1754163 1754167 1531746 3022338 1531743 1818696 1817646 2012080 1942877 1937529 2027609 1821462 3022668 2033008 2255594 2027779 2255600 1800318 2255583 2255595 2030014 2033005 2255591 2255587 1800321 2030012 2033002 2973495 2973497 2027733 1942795 1942799 1942792 1942783 1987347 1987353 1987350 1987356 1655925 1655929 1655932 1656013 1655924 1655919 1655935 1428018 1655868 1708143 2984989 1655873 1655878 1428166 1428024 1428061 1428163 1655907 1428057 1428079 1428075 1428028 1428082 1428085 1428069 1655911 1428074 1428023 1708147 1987359 1200850 1200934 1200853 1200856 1200840 972978 1200794 972995 1252519 972945 972949 972982 972939 1200846 1200795 1200789 973006 972990 1200832 973003 1200828 1252515 973084 1200845 973087 972996 2984837 973000 1200799 972944 1428678 1428682 1428649 1428645 1656540 1656550 1656553 1656546 1656556 1480372 1480365 1200937 1480376 1656545 1656634 1708215 1708219 1656637 1428690 1428696 1428784 1428706 1656495 1656499 1656532 1428695 1656489 1428703 1656528 1936065 1936072 1428787 1936076 1428700 1428639 1428644 1656494 1655874 2255903 2255922 2255919 2488324 2486824 2486821 2486819 2255900 1984966 1984961 1984963 1984969 1293898 1293901 1766491 3006676 1766488 1538635 3006674 1288787 1766481 1538631 1200219 1200224 1200229 1200313 1200235 1200225 1200232 1656016 1936004 1935993 1936000 972318 972361 1200211 1200174 1200178 972357 972323 1200173 1252443 972379 972382 972375 972374 1252447 972385 1480293 1200168 2984993 972328 972324 1480304 1480300 1200316 972466 1200207 972463 972369 2255706 2255601 2255613 2255616 2255619 2255610 2255622 2255607 2973518 2221571 2255873 2221601 2221833 2221837 2256018 2255984 2256017 2438875 2488705 2488702 2221563 2450003 2450007 2483433 2438873 2441257 2441260 2441263 2450027 2438494 2256021 2483438 2450015 2255727 3006693 3006718 2255892 2221953 2221957 2221717 2439931 2221721 2221713 2438878 2483324 2483349 2483354 3006908 2483391 2439934 2438686 2221597 2485712 2485714 2255625 3006743 2255980 2221961 2483396 3006768 2973493 2221841 2255870 2221593 2439929 2450019 2488708 2438492 2449995 2438684 2221567 2483319 2441255 2255889 1984558 1984561 1984556 2276566 1987428 1942871 1942867 1957934 1957951 2154834 2829441 2270181 2209863 2270364 2828934 2209867 2828751 2024857 2026865 2024851 2024854 2024848 2024844 2154850 1900762 1900757 2111629 2111619 2111632 2111713 2111635 2111625 2111624 1883782 1883718 1883863 2984985 2163847 1883723 2111607 1883866 2111573 2163843 1883779 1883775 1883774 1883785 1883769 1883724 2111574 1883757 2111568 2391704 1883761 2111716 2391693 2391700 1883728 1900783 2128612 2128607 2979925 1900773 2111611 2111578 2828746 2442495 2442492 2380057 2443134 1982036 2026573 2128627 2128623 1982028 2828748 2443137 2024814 2024823 2443131 2025413 2024830 2443128 2024827 2024833 2024836 2128631 2380064 2380061 2024819 1982032 2380053 1199435 1480044 1926988 1569157 1571165 1569154 2985273 1655132 1046534 1046551 1199424 971574 971668 1935735 1569142 1569140 1655135 1427274 1655128 1427368 1199432 1199428 1480047 1046596 2985275 1569151 1569148 1935744 1935747 1699150 1655124 1502251 1935732 1502234 1926984 1569144 2026695 2437267 2696754 2696214 2437478 2437363 2828386 2023401 2026826 2023408 2016229 2016216 2153967 2437388 2986877 2013970 2437474 2437447 2274036 2437453 2834209 2696404 2827879 2381393 2026745 2153548 2480851 2696426 2437533 2696934 2023405 2697304 2023411 2697124 2480311 2986875 2381821 2827696 2153532 2437294 2153113 2025416 2479874 2696584 2834716 2273346 2475560 2381390 2472893 2381825 2437263 2478868 2437298 2476813 2449958 2474350 2696394 2437537 2986777 2437384 2381386 2696944 2697326 2437443 2986775 2696574 2471683 2381828 2483309 2381382 2696966 2696224 2696786 2016220 2016226 2477819 2437357 2483018 2013964 2013961 2013957 2025418 2449953 2381817 2696764 2154418 2013967 2437273 2153983 2697294 2026709 2016223 2696246 2023414 2154402 2697146 2437353 2697114 2696606 2273529 1571054 2481120 2481127 2481620 2481130 2481124 2481623 2391447 2391438 2391435 2391444 2391432 2480540 2469653 2469656 2482565 2480548 2481627 2481630 2481639 2481636 2481633 2480554 2480557 2480551 2481624 2391441 2480544 2480542 2482445 2471916 2471929 2471926 2471920 2471923 2471914 2471912 2255651 2255989 2255993 2255994 2482562 2482402 2482395 2482399 2477046 2477050 2477053 2477059 2477056 2482490 2479105 2479111 2479114 2479108 2482526 2479101 2479097 2479099 2474587 2474590 2474593 2474596 2482454 2474583 2474581 2474579 1560516 1571045 1565659 1565656 1565653 1565650 2413634 2413651 1571162 1571002 1570999 1570995 1567711 1571126 1567708 1567705 1567699 1567697 2604912 1273452 1698283 2110828 2110832 2110835 1926125 1567701 1567714 1957051 1957044 1045633 1045629 1045615 1045611 1571090 1698267 1957054 1957048 1957043 1957038 1957057 1501354 1501357 1501351 1501343 1501344 1045651 1560526 1560523 1560529 1560520 1926128 1926552 1045657 1045648 1045638 1045654 1565646 1045643 1045644 1501348 1501338 2255577 2255960 2489095 2486080 2256000 2255999 2256003 2486078 2489092 2489089 2791188 2791192 2807129 2806295 2805805 2805802 2805799 2805795 2806298 2781335 2781332 2757666 2757663 2757660 1994103 1766269 1766253 2398528 2398500 2398505 2398535 2398519 2398524 2398531 2820819 2398608 1046112 1046125 1046128 1046131 1046089 1046085 1046107 1273984 1273926 1046122 1046118 1046117 1501807 1501803 1501785 1501789 1046103 2025386 2398488 2398495 2398464 2398492 2398499 2398483 2398469 2146065 1987446 2621998 2026450 2437208 2621994 2025946 2632917 1937564 1937428 2622310 1981747 2632993 2829505 2021321 2470630 1981946 2018862 1981582 2025398 2018875 2622146 2021338 1981578 2483302 2633205 1981768 2023387 2827691 2622138 2023380 2276146 1942979 2023384 2275639 2275456 1981858 2274396 2274100 1981861 2986852 1942963 2016186 2025410 1937557 1942972 1942975 2443041 2472886 2622070 2165259 1987440 2023393 2025392 1981758 2023390 1981762 1981477 2021335 1981501 1981567 2021325 1981657 2632921 2835434 1981942 2470634 2144641 2622142 2834778 1981837 2633069 2472889 2026198 2443053 2437183 2622306 2025379 2393092 2443050 2393073 2393078 2393097 2393108 2393101 2393104 2393264 2398672 2835138 2026075 1982041 2393229 1937404 2987000 2025404 2632849 2827693 2632925 2823054 2274098 1987443 2633137 1937392 1937560 2025361 2633141 2016193 2475556 2021329 2025376 2633213 2632845 2276208 2632777 2633209 2018866 1942835 2479870 2021332 2622074 2475553 2437173 2144625 2835136 1981586 1942855 2483014 2835734 1942828 2398704 2398711 2398708 1981668 2632989 2463040 2632853 1987437 2828450 2373915 2632997 1981766 2827393 2443056 2835436 1981492 2832966 2483011 2373926 2829503 1981488 2834780 1981672 2835732 2276210 2018869 1981681 2832968 2443059 1981848 1981498 1981852 2987002 2827395 1942831 1981678 2632773 2479867 2437204 2026324 2018872 2437177 1937548 1942864 1981676 2398715 2398680 1981588 2373919 1987431 1982017 1981495 2398679 2986850 2016191 2165242 2483305 2398675 2393253 2398668 2398649 2393260 2443044 2398644 2633133 2477815 1981771 2622066 2443047 1937437 1937401 2477812 1981856 2393248 2393234 2398663 1981591 2021316 2398564 2398567 2398596 2393257 1937408 1982038 1942819 2632781 2021323 2398600 2398577 2398607 2398571 2622314 2622002 2828448 2025372 2398536 2398699 2398555 2398685 2398541 2398591 2398603 2398560 2398572 3006793 1994263 2222103 2222111 3006795 1024593 2222107 898379 1024665 898357 2984995 1024672 790827 1024676 898359 1024600 1024604 790759 790755 790831 898381 1538814 2256027 1766651 1766652 1766655 1310959 3000841 1538800 3000839 2485528 2256024 1766658 1994253 1994127 1994108 1994124 1994130 2440663 1985281 2440666 2440669 1985560 1985563 1985279 2440661 1994100 1994073 1994097 1766223 1766239 1994094 1985557 1994078 1985284 1985287 1985555 2441539 1994138 1994160 1985831 1994070 1766193 2441531 2441533 1994067 1766209 1985833 1985836 1985839 2441536 1994064 1994043 1994154 1994157 1994048 1994133 1766283 1766299 1310747 1310759 1310783 1310771 1571910 2820617 2820999 2820611 2820944 2820614 2820961 2820962 2820960 2820942 2820943 2820980 2820534 2820812 2820843 1994119 2820608 2820925 2820924 2820926 2820607 2820872 2487193 1983565 1983757 1983560 1983562 1983752 1994059 1983754 2487191 2487196 1993743 1993759 1765893 1765909 2820531 2820528 2820525 2820783 2820522 2820833 2820840 2820801 2820826 1538595 1538599 1766445 1293838 1293835 1766455 3006751 1288760 3006749 1766452 2820796 2820770 2820513 2820516 2820757 2820537 2820519 2820747 2820512 1560508 1560505 1565629 1565625 1565638 1565635 1565632 2808707 2808702 2809245 2487757 2255948 2820800 2820859 2820920 2820904 2820888 1765879 1993713 1765863 2563906 2563903 2563899 2563909 2563898 2563893 1884349 1884345 1884382 1884378 2621834 2823967 1993740 1993737 2621826 2643939 2823965 2824491 2643944 2824489 1982984 1982986 1994299 2439071 2439073 1982794 1993718 1993770 1994295 1993734 1993748 1982792 1993767 1993764 1994040 1766163 1994018 1994013 1766179 2439457 1994037 2439452 2439454 2356462 2356457 1993729 2339457 2339428 2339424 2339461 2112240 2112256 2112334 2112253 2112250 2112245 2112246 2412751 2412744 2412757 2412748 2412743 2412738 2356473 2979921 2356483 2580886 2580881 2340044 2564469 2340187 2564463 2340049 2564502 2564473 2340039 2340045 2340082 2340078 2564506 2564468 1884484 1884396 1884403 1884400 1884390 1884395 1884406 2112195 2112189 1884339 2112228 1884344 2112194 1884487 2984829 2112232 2112199 2163915 2163919 2391776 2112337 2391772 2391765 1567680 1567690 1567693 1567687 1567684 2412754 1569676 1569672 1569679 2339479 2339482 2339485 2339469 2339563 2339475 2339474 1122293 659482 659480 894450 894445 894444 894439 659475 1122296 1122299 251623 251618 251620 251626 438484 435023 435022 435024 251607 2995067 256708 251614 251611 1766464 1766467 3006726 1538607 1293853 1766457 1293850 1538611 1288769 3006724 3047594 1061220 897833 856300 856303 1045602 1046084 811822 2998383 1045610 628447 1046076 897855 856293 897857 812238 812296 628443 1045606 1061231 3047596 1046080 624003 811764 624007 897835 826398 826408 1199519 2413207 2413203 2413185 2413189 1569123 1569136 1569127 1569130 1569133 1569713 1957507 1957485 1957503 1957489 1558261 1571009 1558270 1558257 1558267 1558264 1538619 1293865 3006699 1766479 1288778 3006701 1766469 1293868 1538623 1766476 2413228 2413225 2413231 2413212 2413222 2413218 2413217 1986119 1994343 1986124 1994347 1986127 1986661 1986121 1986656 1986658 1986130 1986667 1986664 2563885 2563847 2339418 2984981 2563842 2563852 2563881 2339566 2563848 2339423 2340106 2340095 2340090 2340184 2340096 1957512 1957518 1957525 1957531 1957517 1957528 1957522 1501825 1501812 1501818 1501822 1501817 1501828 1501831 438483 598220 598229 1698274 1698271 2824458 2824429 2222013 2163923 1994187 2655430 2647804 2647800 2648748 2666291 2680126 2665607 2665608 2673028 2673151 2673153 2685682 2685694 2696938 2696794 2685706 2221991 2221987 2620553 2685619 2808977 2808978 435029 2669468 2669469 2857295 2681937 2681936 2681931 2647789 2681930 2658246 2655411 2696430 1715032 1715029 2824117 1715026 2669400 2622361 2648791 2648794 2648797 2667665 2580905 2580907 2620549 2221983 435012 623724 1993988 1993983 1983946 2658250 2648743 2664973 2986856 2665711 2667079 2667067 603328 2816758 2816755 2621838 2619401 2619522 2619526 2619530 2672290 2580901 2620405 2620402 2620398 2619382 2746109 2669503 2820830 1993778 1993789 1916792 2146072 2146069 2809110 1994168 2666286 2667672 2667671 2648775 2648780 2648781 2648785 2648788 2667666 2697181 2681878 2644007 1993803 1994089 1986410 435016 435020 2656364 2656359 2653537 2647799 2647795 2647791 2661003 2661008 2666285 2666280 2666279 2644003 2676445 2665601 2816014 2674582 2674570 2632905 826405 1082899 1066052 1714996 1715065 1715068 2824242 1994179 1994184 2824240 1715098 1715101 2824192 1709683 1709686 598238 598247 1691824 1693251 1694694 1694698 1694701 1694710 1696503 1696507 2454941 1765873 1765897 1765900 1926134 1697836 1480116 2449677 2449680 2449800 1714960 1714921 2454937 1696510 1696519 1696938 2221969 1688941 1252523 603347 2439265 1709689 2449533 2449530 2650639 2650635 2622065 2580897 2665792 2667746 2667741 2648737 1066015 2836716 1066019 826402 2697185 2816381 2817508 2824345 1708151 2449797 2449794 2449538 2449497 2824265 1765953 2449494 2449489 2619966 2619962 1927001 2685616 2685613 1994163 1993974 1993977 1765903 1024598 1753657 2665738 2655416 2696398 2648747 2672843 2144632 2439493 2439301 2027788 2027785 2027740 1655219 2824460 2027698 2027695 2027656 1082923 790835 1082915 2669462 2669463 2650575 2649745 2646783 2646788 2649742 1993773 1577999 1766167 1766170 1766173 1766197 1766200 1805850 1766415 1766359 1699138 1699141 1766662 1799761 1799798 1766020 1577996 1066048 2209897 2209894 2209873 1714954 1714957 2696260 2808866 2673001 2808867 2746968 2808675 2808678 2808681 2808684 2824401 1696945 2672974 1273931 2676357 1344058 1350139 2746778 2746781 2746786 2676351 2676356 2671436 2632792 2622377 2622373 2622370 2683132 2221657 2221653 2221639 2619538 2678087 2809022 2809025 2746770 2672919 1924823 1924829 2693438 2633276 2667697 2667709 2667721 2674542 2657329 2659194 1994302 1570873 1570750 1765960 1924816 2449500 2449914 1924820 2449503 1697413 1926121 1926117 1925699 2809014 2677565 2438932 2438722 1688925 1688929 1688932 1925693 1708223 1565644 2817128 2817130 1565642 1916786 1916783 1916779 1916775 1983944 1986421 1986418 1986415 2713176 2713179 2803106 2803108 2803110 2713167 2674875 2674873 2027737 1569121 2677567 2678082 2672838 1709533 2824343 2824317 1709563 1709566 2824315 1480113 2807167 2681941 1480119 1480122 1480125 1957480 1957476 1957061 1690369 1690365 2027653 1709527 1709530 2654454 2654458 2654463 2654468 2657284 2657280 2657279 2661061 2442355 2649739 2449674 1957996 1957535 2654436 2654440 2672831 1993800 1993797 2654469 2654473 2653419 2653424 2653477 2653479 2653483 2653487 2653488 2653492 2653506 2650633 2650580 2439778 2439649 2033699 2033696 2033693 1926563 1672934 2672832 2672837 2669530 2685883 2693430 2605376 2605371 2604952 2674027 2674025 2674022 2674018 1926569 1922552 1922548 2808600 2808604 2808606 2808610 2770244 1765957 1350144 1350145 1925247 1925251 2808876 1925255 1925258 2693434 1445078 1922544 2669491 2683852 1986412 2672296 2672300 2672826 2632909 2632912 2632916 2665624 2666317 2666329 2666314 2672292 2033691 2033430 2807980 2824215 2807984 2808278 2808279 1729152 2808282 2808568 1882974 2824095 2824093 2824073 2824427 1571047 1567678 1567676 2669557 1883068 1754104 1754107 1882981 2809102 2809098 2659180 2671201 2685742 2685760 2674012 2674014 2719598 2719594 2719590 2672947 2672935 2672923 2668846 2669393 2775715 2808694 2665612 2678224 2678212 2678208 2619386 2619534 2808871 2696790 2685724 2808669 2808892 2808888 2808913 2809121 2809118 2221661 1993969 2824140 2824142 2824165 1714924 1715140 1765867 2683738 2683741 2683743 2659175 2622085 2622102 2673158 2659176 1350150 2675734 2675736 2632809 2678272 2678254 2678236 2676350 2674547 2674548 2674553 2963819 3006770 3006766 2719642 2719638 2699446 2699083 623944 623941 623933 623932 2836976 1957484 1935998 1936070 2809097 1925264 1925682 1925686 1922555 1922561 1082927 1082935 1697832 1753633 1765993 1765990 1765987 1765983 1766149 1766143 2209804 2209807 1766013 1765999 2027626 1984231 1984229 1983949 1994010 1994007 1994004 1082939 1060928 1060919 1060910 2817889 2818262 1046135 1805845 2677562 2674880 2680186 2633102 2633116 2681838 2696250 2696254 2836981 628450 2853833 1060937 2853838 2221631 2185331 2154409 1765923 2755211 2755208 1273510 1273457 1427278 1754197 1754194 2128634 2144629 2698705 2698345 2697622 623710 1924792 2027623 2645947 2987004 2657298 2986854 2986771 2657312 2657313 2857962 2685610 2655427 2650644 2650648 2650662 2650666 2650671 2645953 2650643 2655402 2657302 2657307 2697150 2697154 2697160 2442181 2680092 2680096 2680107 2680111 2696641 2696645 2696758 2986881 2986879 2696285 2643999 2696434 2696440 2696461 2696465 2669455 2680122 2655406 2648752 2645936 2645937 2645941 2645944 2803123 2803120 2803117 2803114 989378 1024670 1729157 2824115 1753654 2808690 2808688 1882978 1754173 1993980 2775712 2757669 2755216 2808597 2808594 2809255 2809251 2809250 2221999 2658227 2412733 2658228 2658232 2683662 2683667 2683668 2683672 2693440 2693458 2684095 2681917 2681919 2681924 2681925 2685622 2681992 2682019 2154838 2154841 2163851 2805793 2805791 2805526 2809001 2696825 2696821 2696800 2819411 2819029 2683870 2679476 2679479 2679481 2679996 2680001 2680002 2962411 2808627 2777522 2781127 2962404 2962397 2680150 2680168 2808624 2808623 2808618 2808617 2808614 2680081 2680138 2681965 2646901 2647731 2857249 2857229 2857227 2666298 2665627 2807201 2807203 2713182 2713185 2713254 2857251 2857271 2857273 2857293 2643997 2857315 2857317 2645931 2962415 2808665 2808666 2807131 2807165 2685568 2685579 2685583 2685594 2685598 2796110 2680021 2857340 2633049 2790955 2791184 2791186 2667654 2667659 2667660 2645950 2648679 2648684 2645840 2645893 2658159 2658164 2986779 2986781 2645895 2649736 2681320 2633272 2633269 2633265 2633260 2633246 2669479 2669475 2669474 2660170 2660173 2647827 2647822 2647818 2647736 2681953 2661063 2657326 2857924 2857922 2796118 2796114 2796112 2857979 2800220 2800222 2665639 2665651 2674657 2819027 2671121 2671122 2671126 3047742 3047740 2659213 2962434 2962428 2962422 2962748 2962755 2962762 2962766 2962773 2787730 2787734 1766350 2439109 2439260 2439262 2221579 2802877 2801696 2801692 2801689 2800237 2800234 2800231 2800228 2800224 1935738 1926560 1926556 1765930 1765933 2449478 1480035 1061228 1061224 624002 2655421 2655424 2654482 2654485 2655315 2655320 2655373 1690372 1690381 1691808 1691812 1691815 1935741 1765939 2449683 2824399 1766347 2153536 2153539 2153971 2153974 2154406 1993953 1993958 2110824 2153101 2153104 1993950 1993947 1993944 1714918 2824167 2824190 1919669 1919675 1921101 1921105 1558255 1558253 2633193 2633188 2633174 2645835 2823527 2864441 2864438 2864436 2666260 2665922 2986871 2664886 2664890 2664893 2660119 2986869 2657275 2645899 2808990 2645903 2645904 2645908 2645922 2645926 2808982 2857943 2857960 2669457 2697298 2697330 2863386 2863383 2652586 2652589 2449759 2665917 2665915 2633030 2666273 2659171 2659209 2659208 2659203 2664882 2657323 2696281 2857905 2857365 2857342 2808998 2864140 2864138 2864076 2863569 2697361 2807122 2665663 2680036 2680032 2674641 2633197 2820900 2820901 2820916 1765927 1697404 1697401 1697397 1696978 1696969 1045661 1924812 1924805 1924799 1982617 1982614 1982612 603380 603376 1805844 1805839 1800332 1799882 1799840 623981 623969 623968 623957 623956 623945 1563169 1563166 1563162 1563160 1563158 1560514 1560512 2449833 1753813 1924353 1066004 1066000 2449803 2653510 2653515 2653520 2653521 2653525 2653528 2653531 1714993 1714990 1918232 1983373 1983371 1983178 1065989 1065985 1501835 1766422 1766425 1766431 1766450 1501784 1766486 1766110 1766107 1766103 1766089 1993794 1924357 1563193 1563190 1563187 1563183 1983175 1983173 1698702 1698706 1698709 1082911 1082903 603313 1766474 1569119 2817133 2817506 1480298 1766353 2656365 2653534 1993999 1766140 1766137 1766133 1924796 1918215 1918219 1918223 1918226 971581 971578 1921109 1921112 1766119 1766113 1924788 1924370 1924364 1924361 2809062 2669584 2649714 2669707 2719808 2719660 2719657 2719654 2719650 2703577 2702953 2672918 2672913 2677558 2677554 2619238 2604917 2604928 2604936 2604941 628454 790763 1252451 1217234 1480032 2816383 2670581 2670578 2678107 2678103 2672848 2672844 2713173 2713170 2809094 2809086 2809078 2809074 2809073 2809070 2676595 2665765 2633008 2676597 2664980 2664975 2664987 2664986 2705779 2706256 2712577 2682176 2666353 2666341 2669709 2672875 2676418 2667295 2667172 2667145 1729684 1729631 1766263 1753747 1753744 1753723 1729626 1729210 2808672 2678197 2685678 2685667 2685663 2685652 2685648 2685637 2685633 2672863 2672860 2676472 2619977 2620098 2620102 2620106 2620110 2674750 2449554 1766287 1766290 1766293 1766313 1766317 1766320 1766323 1766329 1766343 1926995 1926992 1565623 2620261 1696966 1696962 1696954 1427281 2632953 2632936 2702161 2701516 2700955 2700580 2700205 2699842 2671098 1982248 1982245 1982243 1122291 1122027 2619970 2619973 2678516 2719648 2719645 2670583 2678155 2678152 1116214 1116212 1116207 1697848 1697839 1709605 1709602 1766462 887326 2818264 856298 851565 851562 851561 2620265 2620386 2678092 2678088 2620390 2620394 2675749 2676264 2676269 2676270 2809054 2809050 2809049 2809046 2809038 2808587 2808584 2777518 2777515 2679466 2648739 2697005 2665596 2665595 2665590 2665589 2665584 2697001 2665583 2666270 2665021 2680204 2680423 2667297 2667019 2646843 2807237 2808887 2633241 2633224 2660164 2666975 2683147 2664992 2808660 2808659 2808656 2808652 2681843 2681844 2681849 2681850 2681855 2681856 2857981 2808863 2633053 2680017 2667045 2660115 2667043 2667031 2666373 2666372 2633044 2666266 2666262 2666367 2666366 2697118 2823547 2674645 2823549 2684097 2684102 2684998 2685000 2685004 2685008 2685010 2665048 2665075 2632814 2632864 2659112 2659165 2659167 2808884 2660055 2668848 2669388 2668852 2668856 2669382 2664993 2666297 2487379 2487377 2482597 2482567 2681861 2664997 2665009 2665580 2680006 2667735 2667733 2665225 2665227 2665232 2660060 2667992 2667987 2667985 2667862 2665572 2669387 2669394 2667835 2660113 2665576 2665570 2681318 2633097 2674566 2620674 2665671 2665670 2665665 2620534 2620538 2632844 2649728 2646874 2620542 2646870 2620546 2667650 2667653 2669443 2632886 2680425 2680430 2681308 2681310 2632881 2823877 2668859 2668861 2669376 2669381 2659225 2659222 2666292 2683735 2670574 2670570 2683732 2683729 2670568 2669714 2619397 2619394 2619390 2746580 2683717 2683713 2696980 2696974 2696970 2606241 2696218 603343 2817886 2817884 2817511 603332 2667682 2667694 2681314 2815639 2815642 2823875 2671153 2671165 2671177 2671179 2671184 2671185 2671190 2671191 2671196 2671197 2674628 2674629 2674634 2674635 2823903 2823905 2633125 2633121 2483310 3041451 3041453 3041476 2809122 2823934 2823936 2676367 2676379 2671116 2676391 2823718 2823741 2816011 2808934 2808942 2808950 3047738 2667051 2667050 2664981 2622366 2656327 2656331 2656332 2819413 2823666 2823668 2823691 2823693 2823716 2814892 2815264 2815637 2666976 2667118 2667091 2622342 2619674 2619678 2619682 2622325 2674640 2666302 2676363 2666389 3041422 3041424 3041426 3041449 2619826 2619829 2619833 2620117 2696578 2665699 2619541 2676275 2621842 2621845 2621849 2619545 2619666 2622035 2667063 2667062 2667056 2633080 2482492 2620678 2482528 2487751 2487754 2620682 2648770 2648766 2656336 2605811 2605806 2605387 2666355 2633025 2667740 2649723 2632988 2666377 2666274 2667007 2667004 2666992 2666988 2666987 2606692 2619685 2619689 2619810 2619814 2619818 2619822 2824373 2824371 1754083 1754017 1754014 1753993 1715062 2824267 1753927 1753924 1753903 2824290 2824292 1753837 1753834 1565621 2816386 2816753 1563196 2221609 2221623 2221627 2666982 2666981 2620121 2669431 2669419 2669416 2669404 2660151 2665682 2665677 2665676 2674560 2646847 2646851 2646852 2646856 2487749 2671431 2671429 2671306 2671279 2671252 2671225 2671213 2683702 2683698 2683687 2683683 2632828 2632900 2633128 2619670 2622013 2622030 2680072 2633200 2680077 2633204 2622347 2674565 2680075 2674559 2622061 2622058 2622054 2622049 2487382 2622133 2622137 2667057 2646898 2660161 2660157 2660156 2647843 2647840 2647837 2647833 2647832 2665687 2665683 2676602 2680051 2680063 2680066 2680069 2658261 2620114 2605822 2619958 2619954 2674554 2676345 2676343 2676331 2676319 2676307 2676304 2676292 2676288 2667646 2667642 2667640 2667302 2620258 2620254 2620250 2620246 2620242 2683792 2665102 2683142 2683138 2683134 2619234 2607124 2607113 2607108 2746576 2746572 2746117 2746112 2712621 2712618 2622107 2666360 2649718 2682171 2682169 2682046 2666361 2651581 2678137 2619378 2678133 2619257 2678122 2678118 2674723 2677552 2675744 2675740 2620530 2620409 2666970 2666969 2666964 2666963 2666960 2666956 2666952 2666950 2696620 2696614 2696610 2679472 2679468 2667678 2667677 2986873 2652573 2661109 2661105 2661104 2649733 2658223 2658219 2657320 2657317 2683804 2683816 2683834 2681881 2681893 2681905 2680047 2666612 2666607 2666605 2666482 2683145 2666455 2666428 2666401 2633132 2683777 2683788 3047592 2820917 2671110 2823525 2661112 2661115 2661118 2676287 2676282 2676281 2676276 2675747 2658260 2672887 2672899 2632981 2672901 2672906 2672907 2672912 2647846 2647849 2633152 2633169 2646841 2632840 2861273 2861276 2808698 2808701 2644008 2665602 2808571 2808575 2808576 2808580 2809002 2671141 2809026 2809030 2818267 2809126 2808897 2808918 3047584 2671115 3047586 3047588 3047590 2678511 2632837 2632977 2632972 2660167 2632833 2632958 2658217 2683773 2659198 2659107 2658277 2658274 2658271 2658268 2658265 2644030 2660128 2660142 2632984 2644035 2658255 2622209 2622205 2622202 2622198 2622193 2622130 2622126 2622121 2661121 2661986 2662003 2662049 2664537 2664542 2664880 2659216 2659219 2681862 2681866 2667808 2667781 2667769 2667757 2667753 2669399 2667752 2619253 2619250 2619246 2619242 2818643 2818645 2671138 2660146 2644045 2644026 2644048 2644040 2644041 2820780 2820792 2820793 2820808 2820809 2960661 2960668 2860973 2644012 2860975 2861271 2667747 2671109 2678149 2705212 2704657 2704117 2606681 2606676 2606257 2606246 1994149 2449617 2449620 2449623 2449628 2449639 2449644 2449647 2449838 2449849 2449854 2449857 2449860 2449863 2449868 2449879 2656372 2656375 2656378 2656381 2657211 2657216 2652572 1919658 1919662 1919666 2449587 2449590 2449593 2449598 2449609 2655417 2563990 2654476 2255934 2255937 2165233 2449830 2652535 2652539 2652540 2652544 2652558 2652562 2652583 2165263 2165266 2165269 2449950 2449508 2449519 2449524 2449527 2449557 2449560 2449563 2449568 2449579 2449549 2449614 2449707 2449584 2449743 2449748 2656369 2449808 2449819 2449824 2449827 2656350 2656354 2487005 2487007 2487010 2654431 2654435 2378261 2651583 2651587 2651591 2652567 2824051 2824071 2655375 2655379 2655383 2655384 2655388 2449884 2449887 2449963 2449710 2449713 2449718 2449729 2449734 2449737 2449740 2449688 2449699 2449704 2621686 2646895 2995372 2995897 2486638 2620841 2620962 2620966 2620970 2621258 2621262 2621266 2621269 2621273 2488132 1571056 1571092 2649687 2649691 2649695 2649696 2649700 2622179 2621550 2621554 2646885 2646889 2646892 2482411 2621406 2621410 2449965 2449970 1501306 1538602 1538606 1538614 1538618 2621413 2621417 2621538 2621542 2621546 2483479 2483481 2621557 2621561 2621682 2652531 2652577 2652580 2488135 1570624 2413176 2413180 1569716 1569718 1570246 1570375 1570498 2655433 2656263 2656268 2656321 2656323 1571998 1572085 1502296 1501302 2996697 2996797 2996947 2997022 2997297 2997547 2998365 2998367 2998369 2986756 2986769 2633056 2481116 2481118 2483486 2483881 2485895 2485897 2441644 2441818 2441935 2442109 2657269 2657271 2651635 2651638 2651641 2652471 2652476 2652529 1765969 1765963 1766260 1766257 2996122 2996372 2995972 1563181 1563179 1563175 1480041 1480038 1765870 1957002 1693267 1693258 1693255 1957006 1957010 1957011 1957015 1957029 1957033 1696942 2649729 1766073 1766059 1766053 1766050 1766047 1766043 1766029 1766023 1766419 812243 811769 603317 1921118 1900778 1925690 1709599 1709569 2621394 2621398 2621402 2412761 2373932 2340100 2381399 2255918 2488900 2489130 2489391 2489393 2489396 2489399 2563098 2563102 2563106 2563109 2651592 2651596 2649627 2649632 2649685 2622157 2622174 2620693 2620697 2620818 2620822 2620826 2620830 2620834 2620837 2620974 2620978 2620981 2620985 2621106 2621110 2621114 2621118 2621122 2621125 2621129 2621250 2621254 1766017 1699134 1698718 1766077 1538626 1538630 1538638 2413184 2412702 2412706 2412710 2412711 2412715 2412729 2482447 2482456 2650684 2255798 2340103 1766083 1766080 1766233 1766230 1766227 1766203 2633060 2808974 2808966 2808958 2808954 2808953 2806305 2806302 2807977 2807272 2807242 2807240 2719633 2719630 2719626 2746105 2746101 2727340 2674623 2674621 2674609 2674597 2674585 2676362 2809342 2809338 2809324 2809320 2809303 2809297 2809293 2809279 2809275 2809274 2809269 2697340 2697334 2719621 2719618 2719614 2719612 2719609 2719606 2719602 2719600 2746774 2713272 2713269 2713266 2746588 2746583 2727337 2727334 2727330 2719819 2719815 2719812 2719809 2661090 2661076 2661072 2661071 2661067 2755001 2795881 2793068 2793064 2793061 2791201 2791198 2791195 2816009 2814520 2814148 2813779 2813413 2812681 2808845 2808648 2808646 2857941 2986773 2633065 2987006 2987069 2987071 2646879 2646884 2633061 2650681 2650677 2650676 2685564 2685553 2685549 2685548 2685543 2685013 2683762 2683758 2683747 2661099 2661094 2809231 2809226 2809222 2809215 2809204 2809200 2809199 2809191 2807074 2807070 2755204 2755200 2755006 2807120 2807086 2807077 2678158 2672825 2672820 2672305 2672303 2674696 2674669 2808642 2808639 2808636 2808633 2808630 2809244 2809240 2757672 2806308 2833725 2833723 2833661 2832670 2832668 2832606 2820884 2820869 2820868 2820856 2820855 2820837 2820836 2824049 2831911 2862331 2862328 2862326 2862030 2862028 2861966 2962071 2858095 2858093 2858076 2858074 2858057 2858055 2858038 2858036 2820815 2820829 2820823 2820822 2820816 2853844 2959995 2959989 2959982 2823849 2823847 2823821 2823819 2823793 2820744 2820743 2820120 2820115 2820114 2820109 2819876 2857515 2857492 2857490 2962083 2962077 2832099 2831916 2831913 2987081 2987079 2987077 2987075 2987073 2986481 2819874 2819871 2833154 2832971 2678509 2678290 2671104 2671103 2678193 2678182 2678178 2678167 2678163 2678161 2808930 2808929 2808926 2853839 2820766 2820754 2820753 2986430 2986428 2967258 2967257 2967254 2967253 2967250 2967249 2967246 2967245 2967242 2986673 3006835 3007050 3007048 3007046 2995322 2995297 2995272 2809235 2806314 2806311 2808909 2808908 2808905 2808842 2823643 2834026 2834023 2834021 2719624 2754998 2754994 2754990 2753845 2753840 2753837 2753833 2753829 2746984 2746979 2809006 2768036 2768032 2757675 2719636 2770240 2697365 2808831 2808828 2808825 2808822 2808819 2808816 2808813 2808810 2808758 2808755 2808750 2808749 2808746 2808593 2808588 2820885 2830560 2960654 2823791 2823768 2823766 2823743 2823641 2823618 2823616 2823593 2823591 2823571 2823569 2861459 2986426 2967225 2986375 2986373 2986371 2964884 2820779 2820767 2960001 2746976 2746972 2806299 2809351 2809349 2809180 2809176 2809175 2809172 2809164 2809153 2809149 2809148 2809145 2809137 2808834 2831615 2831613 2831551 2831044 2830861 2830858 2830856 2393150 2393164 2393169 2393173 2393176 2393180 2621690 2621694 2621698 2621701 2621705 2621830 2620686 2620690 2650687 2650690 2650693 2651523 2651528 2488127 2488129 2483315 2483317 2483347 2483389 2483431 2486261 2486263 2486266 2486633 2486635 2380492 2356478 2372475 2372479 2372483 2372486 2372492 2373923 2255915 2222017 2222021 2209323 2165389 2165398 2170614 2170618 2170621 2170624 2170633 2170650 2170654 2651624 2651625 2651629 2651632 2563987 2488894 2488897 2564514 2564519 2564520 2564524 2564527 2564530 1937444 1937440 1993808 1984234 1715137 1715134 2824217 1715104 2016195 2016199 2016202 2016205 2016208 1994289 1994292 2209597 2209603 2209624 2209627 2209683 1993819 1993824 1993827 2222362 2255461 2255498 2209357 2209413 2209417 2209423 2209444 2209447 2209503 2209507 2209513 2209534 2209537 1994514 2027610 2027615 2027617 2025354 2025359 2021342 2021344 2021346 2170657 2264484 2268823 2268825 2277164 2564608 2564611 2654479 2563192 2654367 2654372 2654425 2654427 2380496 2380499 2380505 2380512 2380516 2380520 2380523 2277162 2276568 2276864 2276866 1993923 1993928 1993939 1987434 2209327 2209333 2209354 1993914 1993917 1993920 2221683 2221687 2221691 2221699 2221729 2221743 2221747 2221751 2221759 2221849 2221863 2221867 2110919 2221893 2221897 2221901 2221909 2221923 2221927 2221931 2221939 2165223 2378255 2391698 2438317 2438353 2441368 2398627 2398632 2398636 2398639 2437943 2437945 2437948 2438161 2440816 2413235 2450031 2450035 2450039 2450043 2450047 2450051 2450200 2450214 2273043 2273045 2273341 2271990 2272286 2272288 2272291 2272474 2272981 2449650 2449653 2449658 2449669 2449890 2449893 2449898 2449909 2153097 2221669 2270871 2270933 2270935 2271231 2271233 2271236 2271419 2271926 2273343 2165227 2165230 2021350 2021353 2021356 2021359 2170660 2170669 2170686 2170690 2170693 2170696 2209687 2209693 2209593 2269878 2269880 2270176 2270178 2449764 2449767 2449770 2449773 2449778 2449789 2271988 2380529 2255904 2255907 2466880 2466883 2467780 2467783 2467787 2469448 2470627 2449917 2449920 2449923 2449928 2449939 2449944 2449947 2255847 2255855 2255858 2255874 2255877 2255885 2255888 2375358 2651610 2651614 2651619 2380947 2380951 2380955 2380958 2380964 2382260 2381834 2382252 2382256 2393114 2393128 2393133 2393137 2393140 2393144 2393145 2398613 2413696 2433054 2433059 2433064 2380070 2380488 2464144 2464148 2454933 2449473 2448421 2449413 2440105 2440256 2440258 2440261 2440498 2391770 1571128 1572088 1577730 1577991 1577993 1569659 1569661 1569686 1569692 1538642 2376818 2378244 2378248 2378252 2375362 2393109 2255945 2274398 2274401 2274584 2275091 2275153 2275155 2275451 2275453 2261544 2261545 2261550 2449981 2449986 2449989 2449992 2449999 2450011 2450023 2477042 2477044 2221871 2221879 2463044 2961344 2866248 2866186 2865679 2857903 2857886 2857884 2857867 2857865 2857848 2857846 2857829 2857827 2857810 2857808 2857791 2863381 2863085 2713263 2713260 2713257 2964880 2964873 2964866 2857467 2857465 2857442 2857440 2961732 2961726 2865496 2865493 2865491 2865195 2865193 2865131 2864624 2960999 2857751 2857691 2857689 2857660 2857658 2857629 2857627 2857601 2857599 2785850 2785621 2783216 2783212 2783209 2961709 2961702 2961695 2961381 2961375 2961369 2961362 2961358 2961351 2867303 2867241 2866734 2866551 2866250 2830558 2830496 2829989 2829806 2829803 2829801 2854723 2854330 2960346 2960340 2960334 2960327 2960323 2960316 2960309 2959964 2869314 2869312 2869016 2869014 2868360 2868358 2868296 2867789 2867606 2961720 2961713 2799991 2797586 2797582 2797579 2796127 2796124 2796121 2959978 2959971 2960691 2960685 2960679 2960672 2963117 2963113 2963106 2963099 2962785 2962779 2857573 2857571 2857545 2857543 2857517 2962064 2962060 2962053 2962046 2867305 2785864 2785861 2785858 2785854 2785852 2858017 2858000 2857998 2857417 2857415 2857392 2857390 2857367 2961036 2961030 2961024 2961017 2961013 2961006 2856731 2856729 2857789 2857772 2979503 2979502 2978930 2978926 2978922 2984043 2985261 2858019 3054620 3054618 3054616 2967232 2967229 2964509 2964189 2964183 2964177 2964170 2964166 2964159 2964152 2963838 2963832 2963826 2963815 2963808 2857770 2857753 2856778 2856738 2856735 2856734 2856732 2863083 2863021 2862514 2787727 2785867 3006741 3006739 3006722 3006720 3006716 3006714 3006697 3006695 3006691 2967228 2967217 2982795 2982639 2982483 2982327 2966343 2966336 2966332 2966325 2966318 2965992 2965986 2965980 2965973 2965969 2965962 2965955 2965629 2965623 3006789 2985259 2985234 2984991 2984987 2984983 2967216 2967213 2967212 2966355 2966349 3006931 3006929 3006927 3006912 3006910 3006906 2984831 2984827 2984825 2984823 2982171 2979919 2979521 2984355 2979517 2979513 2979509 2979505 3006764 3006747 3006745 2984199 2963450 2963136 2963130 2963124 2965617 2965610 2644974 2644960 2644956 2644955 2644951 2644947 2644945 2644892 2644887 2644057 2644054 2644051 2986671 2986669 2986606 2995347 2660124 3006954 3006952 3006950 3006689 3006672 3006670 2986479 2986477 2986475 2965606 2965599 2965592 2965260 2965254 2965248 2965241 2965237 2965230 2965223 2964903 2964897 2964891 2984979 2986500 3006935 3006933 2967241 2967239 2967233 2964546 2964540 2964534 2964527 2964523 2964516 2984667 2984511 2664934 2664922 2664918 2664917 2664912 2664911 2664906 2664905 2664900 2664899 2664894 2645005 2645002 2644999 2963801 2963487 2963481 2963475 2963468 2963464 2963457 2973541 2973539 2973516 2973514 2973491 2973489 2973468 2973466 2973464 3006668 3006666 2967224 2967221 2967220 3001049 3001024 2644993 2644989 2644988 2644983 2644978 2644996 2986369 2986367 2985271 2985269 2985267 2985265 2985263 2986754 2986752 2986750 2986681 2986679 2986677 2986675 2660123 2664961 2664949 2664937 1560491 1560493 1560495 1560499 1560502 1480370 1563172 1571915 1571917 1571923 1571926 1571953 1571956 1571995 2398643 2443140 2375366 2375369 2375375 2376801 2376805 2376809 2376812 2382263 2382269 2382684 2382688 2382692 2382695 2382701 2438312 2438314 1569698 1569704 1569710 1501310 1501311 1501315 1501329 1501333 1571011 1501361 1501776 1501780 1571167 1571197 2018893 2018896 2439644 2439646 2026711 2026747 1994326 1994330 1994331 2013953 2013955 1994190 1994193 1994198 1994209 1994214 1994217 1994220 1994257 1994260 1994265 1994270 1994281 1994286 1994029 2255582 2255604 2255630 2255799 2255802 2255814 2255817 2026699 2026702 2438545 2023371 2023376 2023378 2023397 2023399 2026754 2026756 1994335 1994338 1994342 1994350 1994354 1994500 1994034 1994306 1994307 1994311 1994314 1994318 1994319 1994323 2018853 2018858 2018860 2018879 2018881 2018883 2018887 2018890 2440979 2440981 2440984 2440987 2441092 2449418 2449429 2449434 2449437 2449440 2449443 2449448 2449459 2449464 2449467 2449470 2443143 2443146 2437543 2437564 2437568 2437623 2437627 2437633 2437654 2437658 2437713 2437717 2437723 2437744 2437748 2437792 2255825 2255828 2255840 2255529 2255532 2255535 2255540 2338674 2338679 2338768 2255844 2026790 2026792 2026828 2026862 2026867 2026897 2024821 2024840 2024842 2016212 2016214 2255961 2255964 2255971 2255975 2256008 2256009 2256012 2256032 2261539 2255843 3006956 3006958 3006973 3006975 3006977 3006979 3006981 3006772 3006787 3007002 3007004 3007019 3007021 3007023 3006791 3006812 3006814 3006816 2998385 3000830 3000831 3000833 3000835 3000837 3000847 3000849 3000851 3000999 2986420 2986422 2986424 2986502 2986504 2986506 2986519 2986521 2986523 2986525 2986527 2986529 2986531 2986600 2986602 2986604 3007025 3007027 3007042 3007044 3006996 3006998 3007000 3006837 3006839 3006841 3006843 3006858 3006860 3006862 3006864 3006866 3006881 3006883 3006885 3006887 3006889 3006904 2986377 2986379 2986418 3017116 3017118 3017120 3017122 3017124 3023231 3023233 3023235 3027384 3027398 3027400 3041314 3041341 3041343 3041345 3041368 3041370 3041372 3007067 3007069 3048062 3048064 3048066 3048224 3048226 3001074 3001099 3006639 3006641 3006643 3006645 3006647 3006664 3007186 3007188 3007203 3007205 3007207 3007209 3007211 3022662 3022664 3022550 3022552 3022554 3055970 3056128 3056130 3056132 3056290 3056292 3056294 3056452 3056454 3056456 3056614 3056616 3056618 3056776 3056778 3007071 3007073 3007088 3007090 3007092 3048228 3048386 3048388 3048390 3048548 3048550 3048552 3048710 3048712 3007180 3007182 3007184 3007165 3022656 3022658 3022660 3047576 3047578 3047580 3047582 3049198 3049200 3049358 3049360 3049362 3049520 3049522 3049524 3049682 3049684 3049686 3049844 3049846 3049848 3050006 3050008 3041478 2808708 2808711 2808714 3007094 3007096 3007111 3007113 3007115 3007117 3007119 3007134 3007136 3007138 3007140 3007142 3007157 3007159 3007161 3007163 3046334 3041696 3041719 3041721 3041723 3049196 3022106 3022108 3022110 3022112 3022114 3022116 3022118 3022216 3007065 3047754 3047756 3047758 3047900 3047902 3047904 3050010 3047744 3047746 3047748 3047750 2808717 2808720 2808723 2808726 2808729 2808732 2808736 2808738 2808742 3041640 3041642 3041665 3041667 3041669 3041692 3041694 3054651 3054832 3054834 3054836 3054994 3053948 3053950 3053952 3053954 3057768 3057947 3056940 3056942 3057100 3057102 3057104 3057262 3057264 3057266 3057424 3041557 3041559 3041561 3041584 3041586 3041588 3041611 3041613 3041615 3041638 3048714 3048872 3048874 3053867 3053869 3054622 3054624 3054643 3054645 3054647 3054649 2982951 2983107 2983263 2983419 2983575 2983731 2983887 2973543 2973564 2973566 2973568 2978911 2978912 2978914 2978918 3054996 3054998 3053975 3053977 3053979 3057426 3057428 3053842 3053844 3053846 3053848 3053981 3053983 3054534 3054536 3054538 3054540 3054542 3054589 3054591 3054593 3054595 3054597 2984833 2984835 2984839 3057586 3057588 3057590 3057592 3057594 3057596 3057598 3057600 3057602 3057604 3057606 3057748 3057750 3057752 3057754 3057756 3057758 3057760 3057762 3057764 3056780 3041395 3041397 3053956 3050168 3050170 3050172 3050330 3050332 3050334 3050492 3050494 3050496 3053813 3053815 3053817 3053819 3053821 3053840 3022546 3022548 3053873 3053875 3053894 3053896 3053898 3053900 3053902 3053921 3053923 3053925 3053927 3053929 3047752 3041480 3041503 3041505 3041507 3041530 3041532 3041534 3057766 3041399 3022218 3022220 3022222 3022224 3022326 3022328 3022330 3022332 3022334 3022436 3022438 3022440 3022442 3022444 3048876 3049034 3049036 3049038 3053871 2185384 1993909 1993898 1993893 1993890 1993887 1993884 1993879 1993868 1993863 1993860 1993857 1993854 1993849 1993838 1993833 1993830 2209783 2209777 2209773 2209717 2209714 2222152 2222149 2222145 2222131 2222123 2222119 2165386 2165383 2165379 2165314 2165305 2165302 2165299 2165295 2165278 2185326 2184910 2184857 2184852 2170849 2170840 2255795 2255787 2255784 2255783 2170777 2170768 2170765 2170762 2170758 2170741 2170732 2170729 2170726 2170722 2170705 2222169 2222167 2222164 2222161 2222157 2222155 2222176 2222173 2221819 2221811 2221807 2221803 2221789 2221781 2221777 2221773 2222115 2222114 2222089 2222081 2222077 2222073 2222059 2222051 2222047 2222043 2222029 2170837 2170834 2170830 2170813 2170804 2170801 2170798 2170794 2222358 2222355 2222352 2222351 2222203 2222200 2222197 2222193 2222191 2222188 2222185 2222181 2222179 3056938 3055156 3055158 3055160 3055318 3055320 3055322 3055480 3055482 3055484 3055642 3055644 3055646 3055804 3055806 3055808 3055966 3055968 2152678 2152669 2152666 2152662 2152654 2152645 2152642 2152638 2152219 2152210 2152207 2152203 2150410 2150401 2150398 2150394 2148967 2148958 2148955 2148951 2147524 2147515 2147512 2147508 2146081 0
14.59/14.65
14.59/14.65 c Core has size 6010
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-3495830-1307808351/watcher-3495830-1307808351 -o /tmp/evaluation-result-3495830-1307808351/solver-3495830-1307808351 -C 1800 -W 1850 -M 7680 MoUsSaka HOME/instance-3495830-1307808351.cnf
running on 2 cores: 0,2
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.98 3.63 5/189 22114
/proc/meminfo: memFree=30230968/32951124 swapFree=67052812/67111528
[pid=22114] ppid=22112 vsize=67996 CPUtime=0 cores=0,2
/proc/22114/stat : 22114 (MoUsSaka) R 22112 22114 20670 0 -1 4202496 2094 0 0 0 0 0 0 0 24 0 1 0 892438005 69627904 2033 33554432000 4194304 4365125 140735777472736 18446744073709551615 4292364 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/22114/statm: 16999 2043 245 42 0 14147 0
[startup+0.106283 s]
/proc/loadavg: 4.00 3.98 3.63 5/189 22114
/proc/meminfo: memFree=30230968/32951124 swapFree=67052812/67111528
[pid=22114] ppid=22112 vsize=146216 CPUtime=0.09 cores=0,2
/proc/22114/stat : 22114 (MoUsSaka) R 22112 22114 20670 0 -1 4202496 31209 0 0 0 6 3 0 0 25 0 1 0 892438005 149725184 22662 33554432000 4194304 4365125 140735777472736 18446744073709551615 4316862 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/22114/statm: 36554 22662 254 42 0 33702 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 146216
[startup+0.200257 s]
/proc/loadavg: 4.00 3.98 3.63 5/189 22114
/proc/meminfo: memFree=30230968/32951124 swapFree=67052812/67111528
[pid=22114] ppid=22112 vsize=149288 CPUtime=0.19 cores=0,2
/proc/22114/stat : 22114 (MoUsSaka) R 22112 22114 20670 0 -1 4202496 34311 0 0 0 15 4 0 0 25 0 1 0 892438005 152870912 25195 33554432000 4194304 4365125 140735777472736 18446744073709551615 216634515200 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/22114/statm: 37322 25196 254 42 0 34470 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 149288
[startup+0.300239 s]
/proc/loadavg: 4.00 3.98 3.63 5/189 22114
/proc/meminfo: memFree=30230968/32951124 swapFree=67052812/67111528
[pid=22114] ppid=22112 vsize=149288 CPUtime=0.29 cores=0,2
/proc/22114/stat : 22114 (MoUsSaka) R 22112 22114 20670 0 -1 4202496 36992 0 0 0 25 4 0 0 25 0 1 0 892438005 152870912 27318 33554432000 4194304 4365125 140735777472736 18446744073709551615 4316862 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/22114/statm: 37322 27318 254 42 0 34470 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 149288
[startup+0.701146 s]
/proc/loadavg: 4.00 3.98 3.63 5/189 22114
/proc/meminfo: memFree=30230968/32951124 swapFree=67052812/67111528
[pid=22114] ppid=22112 vsize=173520 CPUtime=0.69 cores=0,2
/proc/22114/stat : 22114 (MoUsSaka) R 22112 22114 20670 0 -1 4202496 54830 0 0 0 62 7 0 0 25 0 1 0 892438005 177684480 37023 33554432000 4194304 4365125 140735777472736 18446744073709551615 4316862 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/22114/statm: 43380 37024 254 42 0 40528 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 173520
[startup+2.0949 s]
/proc/loadavg: 4.00 3.98 3.63 5/189 22114
/proc/meminfo: memFree=30230968/32951124 swapFree=67052812/67111528
[pid=22114] ppid=22112 vsize=326616 CPUtime=2.08 cores=0,2
/proc/22114/stat : 22114 (MoUsSaka) R 22112 22114 20670 0 -1 4202496 138668 0 0 0 189 19 0 0 25 0 1 0 892438005 334454784 67788 33554432000 4194304 4365125 140735777472736 18446744073709551615 4257329 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/22114/statm: 81654 67788 256 42 0 78802 0
Current children cumulated CPU time (s) 2.08
Current children cumulated vsize (KiB) 326616
[startup+3.10072 s]
/proc/loadavg: 4.00 3.98 3.63 4/187 22116
/proc/meminfo: memFree=29803060/32951124 swapFree=67052812/67111528
[pid=22114] ppid=22112 vsize=366936 CPUtime=3.09 cores=0,2
/proc/22114/stat : 22114 (MoUsSaka) R 22112 22114 20670 0 -1 4202496 160593 0 0 0 287 22 0 0 25 0 1 0 892438005 375742464 69546 33554432000 4194304 4365125 140735777472736 18446744073709551615 4262107 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/22114/statm: 91734 69546 263 42 0 88882 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 366936
[startup+6.30019 s]
/proc/loadavg: 3.84 3.94 3.62 4/178 22164
/proc/meminfo: memFree=30166580/32951124 swapFree=67052812/67111528
[pid=22114] ppid=22112 vsize=366936 CPUtime=6.29 cores=0,2
/proc/22114/stat : 22114 (MoUsSaka) R 22112 22114 20670 0 -1 4202496 160801 0 0 0 606 23 0 0 25 0 1 0 892438005 375742464 69754 33554432000 4194304 4365125 140735777472736 18446744073709551615 4260635 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/22114/statm: 91734 69754 263 42 0 88882 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 366936
[startup+12.7011 s]
/proc/loadavg: 3.69 3.91 3.61 3/178 22164
/proc/meminfo: memFree=30222472/32951124 swapFree=67052812/67111528
[pid=22114] ppid=22112 vsize=366936 CPUtime=12.69 cores=0,2
/proc/22114/stat : 22114 (MoUsSaka) R 22112 22114 20670 0 -1 4202496 160802 0 0 0 1246 23 0 0 25 0 1 0 892438005 375742464 69755 33554432000 4194304 4365125 140735777472736 18446744073709551615 4242546 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/22114/statm: 91734 69755 263 42 0 88882 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 366936
Solver just ended. Dumping a history of the last processes samples
[startup+14.0008 s]
/proc/loadavg: 3.69 3.91 3.61 3/178 22164
/proc/meminfo: memFree=30222612/32951124 swapFree=67052812/67111528
[pid=22114] ppid=22112 vsize=366936 CPUtime=13.99 cores=0,2
/proc/22114/stat : 22114 (MoUsSaka) R 22112 22114 20670 0 -1 4202496 160802 0 0 0 1376 23 0 0 25 0 1 0 892438005 375742464 69755 33554432000 4194304 4365125 140735777472736 18446744073709551615 4260907 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/22114/statm: 91734 69755 263 42 0 88882 0
Current children cumulated CPU time (s) 13.99
Current children cumulated vsize (KiB) 366936
[startup+14.4008 s]
/proc/loadavg: 3.56 3.88 3.60 3/178 22164
/proc/meminfo: memFree=30200664/32951124 swapFree=67052812/67111528
[pid=22114] ppid=22112 vsize=366936 CPUtime=14.4 cores=0,2
/proc/22114/stat : 22114 (MoUsSaka) R 22112 22114 20670 0 -1 4202496 160802 0 0 0 1417 23 0 0 25 0 1 0 892438005 375742464 69755 33554432000 4194304 4365125 140735777472736 18446744073709551615 216634539927 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/22114/statm: 91734 69755 263 42 0 88882 0
Current children cumulated CPU time (s) 14.4
Current children cumulated vsize (KiB) 366936
[startup+14.6008 s]
/proc/loadavg: 3.56 3.88 3.60 3/178 22164
/proc/meminfo: memFree=30200664/32951124 swapFree=67052812/67111528
[pid=22114] ppid=22112 vsize=366936 CPUtime=14.59 cores=0,2
/proc/22114/stat : 22114 (MoUsSaka) R 22112 22114 20670 0 -1 4202496 160802 0 0 0 1436 23 0 0 25 0 1 0 892438005 375742464 69755 33554432000 4194304 4365125 140735777472736 18446744073709551615 4260965 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/22114/statm: 91734 69755 263 42 0 88882 0
Current children cumulated CPU time (s) 14.59
Current children cumulated vsize (KiB) 366936
Child status: 20
Real time (s): 14.6724
CPU time (s): 14.6708
CPU user time (s): 14.4248
CPU system time (s): 0.245962
CPU usage (%): 99.9887
Max. virtual memory (cumulated for all children) (KiB): 447580
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 14.4248
system time used= 0.245962
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 160807
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= 43
runsolver used 0.017997 second user time and 0.049992 second system time
The end
Begin job on node103 at 2011-06-11 18:05:54
IDJOB=3495830
IDBENCH=89268
IDSOLVER=1989
FILE ID=node103/3495830-1307808351
RUNJOBID= node103-1307806548-21803
PBS_JOBID= 13551073
Free space on /tmp= 73944 MiB
SOLVER NAME= MoUsSaka 2011-03-26
BENCH NAME= SAT11/mus/marques-silva/abstraction-refinement-intel/edn_2948_14.cnf_0.97000000.unsat.cnf
COMMAND LINE= MoUsSaka BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3495830-1307808351/watcher-3495830-1307808351 -o /tmp/evaluation-result-3495830-1307808351/solver-3495830-1307808351 -C 1800 -W 1850 -M 7680 MoUsSaka HOME/instance-3495830-1307808351.cnf
TIME LIMIT= 1800 seconds
MEMORY LIMIT= 7680 MiB
NBCORE= 2
MD5SUM BENCH= ce3547e804ab94b9a2f162cc4bd55f16
RANDOM SEED=1642378807
node103.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.858
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.71
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.858
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 : 5332.75
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.858
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.75
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.858
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.77
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.858
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.75
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.858
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.858
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.83
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.858
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: 30257940 kB
Buffers: 301308 kB
Cached: 1031772 kB
SwapCached: 22864 kB
Active: 1752020 kB
Inactive: 726608 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 32951124 kB
LowFree: 30257940 kB
SwapTotal: 67111528 kB
SwapFree: 67052812 kB
Dirty: 130988 kB
Writeback: 0 kB
AnonPages: 1142732 kB
Mapped: 9520 kB
Slab: 146960 kB
PageTables: 7408 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
CommitLimit: 83587088 kB
Committed_AS: 1662780 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= 74016 MiB
End job on node103 at 2011-06-11 18:06:09