0.00/0.02 c MoUsSaka vegetarian
1.10/1.19
1.10/1.19 s UNSATISFIABLE
49.38/49.46 c Core is minimal
49.38/49.46
49.38/49.46 v 1487436 1486526 1546860 1527052 1586476 1526142 1542616 6089 1542662 1545924 1522375 1545950 1526129 1542610 1527046 1527037 7133 1522879 1526131 1522858 1545949 1542588 1522888 1522785 1542446 7143 1542767 1522776 7132 6058 1526991 1522811 1522803 1542427 1542457 1542745 1545943 1542695 1545936 6092 1542773 1522384 1527065 1522351 1527016 1542689 1507244 1506334 1502888 1501333 467 1502868 8171 1502921 1506311 1502873 1502915 1502843 1502909 1522816 1467628 1545677 1541956 1565487 1561741 1541934 1561749 5035 1585318 1545554 1505833 1545702 1565525 7115 1502020 1502095 14 1566668 1502106 1585324 1541871 1581345 1565506 1541640 1585326 5037 1561467 1541820 1561509 1600989 1541663 1541741 1502037 1545666 1541905 1541617 1541623 1541716 1502031 1581484 8158 1561624 5040 1521852 1525883 1541803 1541814 1545704 1565503 6080 6078 1521896 1581423 8164 1521836 1541790 1525896 1525745 1525734 1545713 1521809 7123 8168 1506016 1502026 1502045 1521888 1581422 1541738 1541660 1561527 1561544 1521842 1561659 1521827 1541598 1525738 7122 1525637 6081 1561551 1581411 1541797 1505823 1565474 1506024 1581496 1581490 1525857 1521908 1521930 1525889 1581502 1506086 6073 1545543 9200 1486111 1486129 1486118 1486013 1486020 1486025 9209 1486122 7125 1545691 1540842 1581338 3998 1521985 3996 1581330 1522097 1525727 1561447 1541976 1521866 1521035 1521790 1581443 1561630 1525629 1561502 1561520 1521815 6085 1502113 1502119 8161 1506079 1565516 1561473 1545442 1565518 1561679 1561731 1561713 1561478 1525639 1606321 1565446 4001 7120 1545447 1561602 1600983 1581408 5043 1561637 7127 1525905 1522063 1466718 10259 1463455 1463509 1466713 1463533 10225 1463542 1463434 1466707 1463470 1463392 1463464 9216 1483200 1486515 10258 1483195 479 1466695 1463252 1482291 1463227 1466705 1463352 1486513 1463492 1463387 1483242 1483160 1483187 9217 9205 1483169 1483263 1483272 1463260 10255 1463379 1463361 1486274 1502177 1501227 1522006 1522168 1527031 1521933 1505920 1505827 1505938 1505927 1505925 1522012 1521855 1522562 1522540 1525872 9183 1486521 1483278 1483300 1483350 1483317 1483341 1447820 8165 1502201 1506088 1483101 473 1483060 1502977 1506321 1483113 1503003 9213 1483035 1483065 1483080 1502968 1502995 1486503 1428012 1466472 1462588 1462561 1462582 10249 1486039 1461560 9194 1461594 1502308 1466254 1481388 1481402 1481405 1446429 1466221 1466207 1486035 1446446 1446419 1481368 10236 1486049 1502311 9198 1461602 10240 1466237 1461585 10238 1506099 11278 1502305 1481385 1466227 9196 1486045 1461597 1486062 1481393 10252 11282 1461577 1486029 1466241 1481410 1461580 1466231 11280 1462744 1466448 8141 1482246 1481525 1482315 1483107 1482273 8175 1503071 1503008 1506323 1463272 1503050 1503158 1503080 1503125 1503149 1506329 1503086 1503108 8174 1368588 1348780 1328972 1446910 11301 11267 1446908 1446902 1481700 1481742 1486052 1388396 1408204 1426601 12336 1446506 1446513 1426591 12326 1309164 1446407 11283 1441803 1446405 1446502 11293 1446397 1446495 1427102 1426628 1426604 1422276 1426610 1422342 1422792 12330 1423074 1423078 1422300 1426750 1426786 1422318 1421977 1426843 12323 1422814 1502255 1501532 1506097 8169 1501574 1505860 1501508 1505982 1501550 1486214 1446887 1443464 1443491 1441909 1443485 1422891 1426850 1422867 12331 1426790 1443497 11297 1443571 1443444 12333 1422969 1443549 1422945 1446897 11300 1426856 1406817 1446423 1446433 1441752 1441772 1441769 1441777 12322 1426615 1421964 1402161 1406830 12320 1402156 1421961 1406813 1421944 1426625 1426621 1406807 1426638 13364 1421969 13362 9211 1507223 1506064 1502125 1502360 1482216 9207 1486267 1482447 1482369 1486280 9204 1482174 1486289 1462408 1462425 1481766 1466459 10246 1486174 1462431 1481724 1486256 1482552 1442108 1442126 1446436 1442084 1442150 14404 1382348 1402153 1387009 1402136 14406 1386999 1382353 1387022 1446414 1387005 1421981 1441785 1482233 1441789 1482393 1482198 1482239 1486210 1421987 1441795 1446558 1289356 1367183 15449 1367186 1362554 1387486 1407294 1443656 1443701 1443725 1443734 1427082 1443626 12339 1423656 1443647 1466322 1466311 1461610 1466210 12309 1427097 1423854 1423686 1422101 1423677 1423689 1581940 1565736 1581925 1562268 1586453 1565755 1443452 1443579 1562439 5050 1562517 1581920 1562431 5045 5016 1565749 1562509 1382365 1382371 1367197 1382345 15448 1367192 1362561 1362558 1386993 1382361 1386988 14407 1426595 1421995 1406793 13368 1362520 1347388 1347393 1367201 1342732 1342728 1347406 1342738 1347382 1362540 16488 1362546 16489 1269548 1402179 1402173 1249740 1303112 1307771 18573 1307766 1327585 1322924 1322930 1229932 18572 1307777 1322904 1307790 1303122 1303116 1210124 1209214 1268638 1189406 1327579 1327574 17531 1406796 1402169 1263878 1263812 1268286 1263836 1263854 1268164 1322920 1248342 21699 1243688 1248347 1327598 15446 1342712 1367214 1382328 17530 1406801 13365 1362536 1228539 23783 1228534 1223880 22741 1208732 1426693 1426695 14420 1386975 1426706 1406781 1406886 1406879 1426688 13377 485 1443422 1502754 1502732 1322946 1322941 1342749 17534 1327565 1342746 16492 1342754 1347373 1347379 1327571 1307763 1322938 18576 1307757 1303130 1287955 19618 1303138 1303133 1268146 1283331 20659 1287958 1287963 1283325 19615 1303096 1283288 1287982 20656 1287969 1268174 19614 1406788 1367678 1248571 21708 16504 1441810 1347359 1441807 1367165 1367263 1387077 1387072 15461 1367270 1423776 12343 1423818 1427091 1248356 1244004 1466215 1466304 1481418 1466309 10241 1244478 1363545 1363521 1367432 15459 1363467 1367426 1363443 1363398 1363425 15451 1362571 1367173 1362575 1382388 1362578 1367175 1382382 14415 1383206 1383275 1383233 1387234 1387174 1383251 1386978 1386983 14409 1382378 1402186 1402196 1402190 1421998 1461620 1461614 1422003 1403869 1403828 1403833 497 1403848 1403881 1407271 1403803 1461934 1466244 1466402 1466366 1461958 20657 1263496 1268155 1268150 1208740 1204430 1204412 1204454 1208862 1204388 1283304 1283314 1283308 1185113 1205930 1185096 1209203 1205888 14426 1383984 1384120 1384147 1384129 1384155 1387473 1383990 1383962 24834 1189147 15457 1525878 1505909 1486091 1521051 7117 8147 8159 1481461 1462639 1505904 1525717 1505899 1486101 1481452 1486096 1521072 1506070 24847 24843 1186067 1186040 1521077 1466481 10253 1501260 1501269 1481456 1501243 9201 9189 1501264 1486262 1423745 13381 1423839 1402293 1423736 1423848 1403875 1427089 12342 1423763 1423771 1442617 1442623 11288 1442600 1446640 1442939 1442948 1462390 1462366 1461916 1446651 1461892 1442933 1442582 1442558 1442886 1442882 1446594 1463299 1462691 1463305 1461717 1466485 1463293 1442630 1442675 1442657 1442699 1446658 11289 1446598 1402492 1402510 1402468 1406820 1402534 1422750 1422774 1481428 1481422 1486293 1482499 1383176 1461627 1486235 1501281 1466332 1388415 1466268 81 1446453 1481473 1466263 1482282 1461670 10231 1481478 10243 1545432 1521821 1482205 1461661 1446463 1486888 1466454 1525855 11275 1461678 1541629 1446473 1546313 1545663 1525624 11269 1466343 1481435 11271 1466288 9187 1466283 1481495 1526505 1501286 1466278 1486239 1486004 1466273 1461682 1486081 1461687 1481490 1481469 1486086 1461665 10229 10227 1466293 1422849 1422825 1328062 1347870 1387227 1406942 1387170 14414 1383193 1501298 1505894 8145 1486076 1486140 1461644 1481486 1501277 10233 1565471 1521089 1566121 1505889 1545525 1540885 1501303 9185 1486071 1561514 1461648 1565240 7105 1461855 1521068 1466301 1525707 1466261 1521094 1565467 1486151 1545686 1540859 1525712 11273 1446483 1461653 1540880 6075 1442047 1423023 1446493 1426865 12337 11295 1442831 1446673 15463 1367441 14421 1407057 13379 1387249 1466431 1462397 1466200 1467081 1328057 1324778 1324814 17519 1328051 1324736 1324836 1324799 1324808 17553 1387253 1383459 1344404 1324571 1364394 1344607 1367676 1364415 1344644 1364424 1344539 1347857 14427 1384223 1364339 1384160 16510 15468 10247 1364347 1344694 1324616 1364493 15469 1344586 16507 1347847 1344424 16477 1344685 1328039 1344661 15435 1324705 1344379 1364472 1367670 17549 1344616 1347865 1344622 1324596 1324696 1328049 16511 1324731 17552 1344504 1466466 1466407 1462465 1462438 1462483 1442777 11291 1364317 1384202 1344531 1344513 1387475 1446664 1367665 1384232 1324723 1364502 1344544 1347859 1442753 1462507 1466427 1462474 1406897 1406890 1324877 1324886 1324853 1324604 521 1367281 1387090 1367274 1387079 1347363 1347369 16494 1327561 17536 1342763 1347624 1343737 16501 1343713 1367444 1363651 1403137 1407048 1403161 13375 1367366 1423893 1382485 1403267 1407061 1383329 1387240 14417 1403928 14423 1403955 1404109 1404118 1404068 1384028 1384310 14393 1387463 1407281 1384040 1403963 1384238 503 13384 1383995 1403937 1404085 1407289 1404046 1407283 13351 1404010 13385 1404031 1404040 1423926 1423917 1423876 1384061 1384301 1384277 1384020 1384067 1384073 1387481 1384260 1190316 1403041 1407042 1403059 1406982 1403014 1403083 13373 12315 14395 1387036 1402241 1406864 1402263 14397 15437 1382446 1441845 1426838 1387041 1422049 1406849 1422054 11285 13357 1382450 1382455 1441819 1441840 1422028 1446485 1402246 1387100 1406859 1426672 13355 1406854 1367231 1446646 15443 1387031 1402237 12327 1367261 1367221 1387111 1402258 1387046 1422037 1426667 1422032 1426677 1367204 1362894 1362918 1362876 1362852 1367326 1382660 1363390 1363368 1382702 1387012 1382684 1367419 1367362 15456 1382726 1402984 1407035 1402942 1383407 1363599 1403215 1344454 1402961 1407010 1402967 1342869 1344409 515 1403249 13372 1344445 1403006 1406978 1344457 1342771 1387134 1347396 1343044 1343086 1343068 1343110 1343659 1343635 1347618 16499 1343617 1343593 1403968 1342766 1442589 1446392 1383134 1383158 1446623 1447273 1442666 1446619 1347518 1347633 16505 1343791 1343560 1347611 1347554 1343577 16498 1347558 1305069 18561 1305078 1308249 1305045 1362815 1343518 1343542 1308254 1327556 1327549 1327647 1327654 17545 1383512 1387216 1383199 1224787 1224811 1228770 22751 1224769 1224742 1305028 1304923 1304915 1304897 1304888 1305006 1308241 18594 17543 1327816 1323905 1347463 1327665 1327658 1347474 17541 1323851 1327810 1323782 1323809 1323827 1383350 1383356 527 1304796 18591 1304844 1304808 1304788 1308231 1304763 1304829 1323929 17547 1323983 1265192 1268618 20675 1327825 1284289 1284313 19627 1288200 1264481 1264505 20669 1268392 1284235 1288194 1284211 19625 1284193 1284166 1288135 1327829 1324035 1382438 17527 1362642 1382429 1402224 1406869 1367238 16479 1347495 1347484 14399 1382433 1327645 1402229 15439 1387056 1407030 1367233 1387051 1422011 13369 1402220 1347420 1347415 1362647 1327605 1323752 1323769 1327803 1323735 1323729 1324017 1323710 1327778 1327746 1288446 1323199 1324088 1327792 1323061 1324649 1324637 1324643 1204979 1204961 1204934 1208962 23793 1205003 18595 1284136 1288187 19624 1284094 1284118 1284158 1304970 1304991 1305000 1308243 1323775 1248830 1288130 1268127 20672 1303961 1307938 1307995 1303944 17540 1245654 1245499 1244028 21720 1245504 1245567 1245420 1225576 21721 1245645 1245364 1265312 20679 1245405 1245604 20678 1245473 1228999 1265307 1245372 1225597 21687 1248807 1245384 1248825 1265375 1243829 533 1268625 1268627 1245582 1245464 1245546 1225759 1265299 22759 1265281 1284988 1245411 1284980 1285000 1248819 1245621 21717 1265384 1265272 1245339 1288423 1284958 19633 1245491 545 1248817 1225738 1225768 1225696 1229011 22763 1225612 1265354 1245576 20666 1264328 1268322 1268379 1264350 1264427 1264403 20667 1268386 1303926 1303902 1322964 1322958 1322954 1228710 1343849 1327750 1343845 1343842 1268326 1327627 1327632 1323014 1342805 1342800 17525 1208902 1347456 1347461 18588 1307743 1288038 19629 1287933 1288031 18582 23787 1208711 1208709 1264361 1264385 1264310 1264286 1268137 20662 1288049 1288042 1283339 1287941 19619 1287943 22745 1228514 1223914 1228519 1303974 1308002 1304001 1248514 1244520 1244542 18583 1228763 1224712 22750 1224670 1224729 1308021 1304227 1285237 1304118 1285192 1304280 19603 19637 1285183 1285162 1288438 1308008 1288444 1307984 1304124 1285261 1285270 1304097 18585 1229022 1268131 1248329 1263531 21704 1265462 20645 1268633 1265453 1265390 1285115 1285107 19636 1285085 1288433 1265412 1265429 1304043 1304019 1228511 22756 1248422 1268229 1268224 1248415 21713 1248317 1248433 1248324 1248426 1268231 1268242 1304928 1307847 1307746 1307858 1323009 1347445 1347606 1342822 1362613 16483 1362587 16495 1362608 1327617 17523 1327622 1342817 1342796 1347435 1347440 1367253 1323005 1307819 19605 1287999 1322992 1307990 1327798 1288009 19607 19609 1288019 18567 1322971 17537 1307829 1303184 1303189 1303201 1303206 1303180 1327637 1307824 1322997 18579 1303214 18563 1287989 1307804 1307868 1307879 19611 1307799 1303146 1307751 18577 1307814 1303223 18565 1322988 1303197 1342779 1307809 1303218 1323026 1323031 1288029 1307845 1307840 1283346 1287950 1283343 1303150 1303156 1387061 14411 16481 1382421 1342830 1342839 1307797 1308017 1327612 15453 1327607 1367414 1342813 1382395 1402203 1362621 1367243 15441 1382412 1342834 1288209 18589 18569 1382416 17521 1347430 1347425 1327676 1327687 1323022 1362630 1362604 1387222 1307837 1362625 19631 1367248 1303391 1304175 1284418 1284425 1284421 1304835 1303253 1204862 1204921 23792 1208898 1224694 1244697 21711 1248584 1244673 1204904 1208955 1228706 1204886 1283583 1283321 1427465 1426811 1284367 1426584 1426815 1422858 1283620 1283644 1283662 1283686 1287972 1323236 1327588 1327710 1323260 1323302 1323278 1288094 1347600 1343896 1343583 1323818 1328424 1327771 1327775 1327540 1268401 1264559 20673 21715 1248593 1243732 1243726 1403050 1407007 1407657 1407003 1406776 1303428 1303452 1303470 1307780 1307902 1303494 1387199 1386968 1387849 1383242 1387195 1228529 1223924 1223918 1248332 1243705 22743 1228524 1268140 1263534 1263539 1244751 1206038 1205988 1209209 1206029 1189393 1206005 1205966 24846 1186075 1189395 1186122 1189383 1186049 23771 23805 1205960 1205951 1225048 1228752 1185940 1185915 1224886 1224892 22753 1224865 1228776 1185960 23795 1208968 1205057 1186080 1307942 1363326 1422781 1244046 1244070 1343549 1347583 1347352 1348233 1265213 1265225 1263637 1265222 1347579 1343626 1189090 1248478 1244550 1244619 1244577 1248578 21709 1244595 1248518 25889 1166314 1169587 1169575 1169593 25885 25855 1166152 1363350 1285021 1285033 1303967 1285027 1283445 1363357 1402973 1367160 1367391 1368041 1383165 1170508 24830 1169097 1204107 25872 1188899 1188905 1184299 1263513 1263517 1263523 1186143 1186152 1224735 1208719 1204111 1248337 21701 23785 1208721 1223897 1204114 24837 1185273 1185249 1189160 1185171 1185126 1185078 1185054 1189154 1185153 24835 1185195 1189094 1189401 24813 1186158 1208944 1205078 1205084 1205240 1225531 1264614 1264610 1323741 1166350 1166272 1169598 1228615 1208701 1228626 1208810 1188895 24840 1208817 1208799 23797 1208806 1224262 1224196 1224220 1228548 1228670 1224238 1186230 1186197 1186221 1169092 1169107 1204090 25870 24828 1188909 1184282 1188915 1169194 1169201 1184622 1189054 1188932 1184580 1184604 1184646 1184307 1184302 1185945 563 1185993 1185981 1185987 1184405 1243722 1228785 22757 1224943 1205187 1208980 1149299 1169101 1164474 26912 1228613 1228608 1228789 1224995 1243714 1243709 1244497 1244785 1248546 1244503 1244803 1248597 1288021 20651 1283376 1268203 1208757 1228636 23779 1228647 1208767 1228567 1225564 23804 1209201 1225774 1205883 1225556 1225846 1225796 1225813 1225837 1205848 1229017 1205875 22729 1205857 551 1204927 1169085 25881 1188999 1169190 1169183 1189010 1188992 1188997 1186180 1363434 1367387 1188925 1204094 24826 1204097 1223901 1223907 1228545 1268161 1248353 1223890 22740 21698 1223864 1243692 23782 1223884 1248366 1243698 1208750 1263500 1228558 1263480 1243672 1263506 1243777 1223986 22731 1248390 1228582 1228577 1243773 1248395 1243794 1228572 1223991 1248385 1208977 1189169 24841 23799 1185327 1205135 1185432 1185119 1189136 1204080 1208738 1204077 1150700 1149282 26913 1144682 1149287 1224021 1225603 1149279 26924 1164490 1149293 1164500 1144686 1144692 1164494 22762 1225656 1225683 1225526 1229009 1229951 1225520 1225665 1225498 1225691 121 1166132 1166107 1166372 1184265 1204073 25868 1208729 1169117 1188919 1165246 1165270 1169339 1145438 26918 1165288 1165305 1145462 1145480 1149474 1145497 1169282 1149531 1146433 1146424 1146451 1184290 1184285 1129969 27969 26930 1149777 27939 1126536 1129959 27972 1129980 1130892 1166173 1166179 1164597 569 25876 1166185 1166137 1164457 1169111 1149309 26910 1288182 1303163 19621 1208797 1149557 1145763 1204055 1188928 1188940 24823 1184268 1184273 1166389 1166413 25888 1166335 26927 1166344 1149767 1169585 1146344 1166232 1166241 1166267 1166259 1166422 1126621 1126643 1146299 575 1146332 26931 1146464 1126494 1126516 1146564 1146506 1149779 26897 1149785 1146542 1146324 1165318 1165363 1165345 1169346 25877 1165387 1164772 1164838 1169124 1164796 1164814 1169246 27960 1125672 1129723 27961 1129730 1125747 22733 1263585 1243782 1263590 1263564 1248400 1243799 1223982 23773 21691 21693 1268208 1283381 1188956 24815 1189031 25863 1223974 1223969 1243760 1243756 1248405 1248566 1263573 22735 25883 1223965 1228592 1169361 1268213 1268374 1243765 1283355 21705 1208769 1188951 1208774 20663 1263547 1263568 1228587 1169181 1204178 1189020 23775 1204183 1169141 1288155 1288159 1284202 1287928 1288809 1284125 1204351 1307967 1307963 1308617 1304010 1307736 1303933 1164465 1164460 1185381 1185384 25865 1169132 1169120 1185378 1164482 1164477 1149324 1164439 1149312 26907 1144669 1144657 1144652 1144674 1169148 1169143 26905 25857 1169212 1169223 1188961 1188966 1223948 1204157 1204161 1204166 1184366 24817 1223957 1228758 1208779 1208784 23777 22747 1223952 1243739 1228597 1268120 1264317 1268347 1268351 1264394 1269001 1184370 26925 1149553 1184375 1149333 1149373 1144927 1145711 1244509 1244586 1249193 1248312 1248539 1248543 1091276 1071468 1111084 1184247 1129982 1109663 1090366 28998 29008 1129578 1129585 1109673 1105864 1109915 1105886 29002 1109858 1129565 1149365 25873 1189142 1204123 1169334 1223931 23789 1208950 1204149 1149526 1184336 1208789 1144720 1204144 1169153 1144754 1129545 1164507 24831 1164533 1184315 1188981 1164545 1188976 1144716 1144742 24819 1184358 26915 1204140 1184341 1144725 1164528 27967 1169173 1129745 1188971 1184353 1169158 1164550 1164558 26903 1129555 25859 1144733 1164541 1164562 1149345 27943 1149404 1144759 1149340 1164567 26901 1129525 1149335 1144750 1129535 1149415 27941 26899 1149350 27947 1184332 1144737 1169168 1149360 1169163 27945 1164524 1149355 25861 1184349 1106017 1106041 1109928 29005 1105822 1105846 1109676 28995 1109681 1125180 1125156 1125222 1149790 1165571 1169365 1169328 1169286 1149303 1165624 1165311 1125630 1146527 1146536 1125694 1125771 26919 1145555 1145510 1145579 1149538 1145537 1149479 30044 1090107 1086078 1129670 1129666 1146365 1146371 1105067 30040 1129479 1109667 27955 1129477 1146377 1144789 1090014 1085540 1089892 1124875 1089865 1085606 1085564 1085582 1090050 1086056 1110174 1164735 1165519 1109937 29009 1146614 1146459 1146605 1146581 1125119 1125903 1106095 1125849 1125825 1129736 27963 1125654 1125702 1125729 1124841 1208923 1109687 1229385 1228735 1208927 1224701 1209577 1228504 1129501 1089885 30036 28994 1144649 1165354 1169311 1165277 1169076 1169960 1169307 1109693 1129495 1204970 1204893 1208696 1105033 27952 1125960 1125957 1125954 1070558 29003 1105963 1109922 1105939 1105921 1105897 1110151 1106708 1106683 1087112 1087103 1087082 1090355 30057 1106728 1087000 1087009 1087040 1087035 1087027 1090353 30056 31095 31099 161 1067310 1067304 1070553 1070547 1070545 31065 1067373 1070535 599 1067274 31098 1071487 1067295 1067332 1067382 1067349 1086875 1090343 1126651 29011 593 1086900 30053 1086908 30049 1109765 1089951 1089958 1089853 1109760 1228731 1224778 1149394 1129567 1089962 1149383 27965 1109767 1109778 1129469 1089969 1129574 1089860 1106920 581 1086920 1110163 1126524 1106848 1106911 1106890 29015 1090361 30023 1106843 1087181 1106808 1106817 1110161 1087190 1087157 29014 1106835 1106965 1106998 1106989 1106948 1106926 28981 1110169 1169352 25879 1165465 1165441 31087 1070306 1149316 1144988 1145030 1144964 1145006 1149438 1144631 27949 1129504 1124823 1129516 1070299 1070047 31092 31086 1070084 1149376 1149381 1105070 1105075 1070077 31078 1124867 1124861 1124849 1089879 1124844 1085225 992236 33173 986218 35249 990823 990818 1125198 1129508 32123 1070050 32133 1070162 1070151 1090129 30051 1126698 1126719 27973 1126728 1129974 1086287 31081 1070055 1070065 1085241 1070060 31079 1089868 32121 1149520 1126776 1145816 1145503 1126797 1126806 1149544 26921 1145633 1145660 1145654 1070246 1090133 1086339 1070325 27954 1144666 1129491 1086014 1087118 1087140 1109862 1085251 1105053 30037 1089873 1085245 1105059 1105049 1070242 1070071 32120 1070206 1085228 1105041 1085207 1105036 31075 1089900 1109696 30033 1089888 28991 1109708 1085233 1070080 1070092 1105015 1105414 1105348 1105372 1109700 1105390 1090120 1086209 30047 1086233 1129630 1189119 1189115 1188888 1185085 1185162 1189769 1086113 1090114 1086131 30045 1086086 1086155 1106761 1106749 587 1106758 1106713 1105173 1086033 1090082 1086039 1086321 1124879 1129486 1124882 1109822 31093 1070321 1086941 1086947 1085365 1086953 1090054 32141 1124857 1106150 1106146 1085262 1085268 1070288 33170 32128 32129 1070144 1070149 33166 33176 1126557 1126569 1124981 1126563 33164 986205 1005996 1010668 1006002 1010656 1006018 986228 1010646 1010651 1006013 1005992 990843 986210 1006030 990838 34201 1006036 33159 34203 986222 35245 32117 33161 1005975 990860 986188 986184 35243 990848 986194 1010633 34208 1010628 1010719 1010726 1010621 34217 1010737 1010730 33149 611 33179 32140 33182 33171 32131 1070312 31089 1070133 33153 33155 32113 32111 1006103 1006098 31083 34195 34193 1010694 1010689 1010679 1006094 1010684 1070294 1085275 31071 1070123 1085296 1089941 1085301 1070128 972428 32125 32109 1070113 1105104 30041 1090102 1105109 1105083 1109749 1085292 1089936 30029 1089931 1085318 1070118 31069 1085313 1144699 1070172 1085309 30027 1085330 1070103 1124917 31067 1085335 1070108 28987 32115 28999 1109744 1105100 1089926 1129718 1109910 1124891 1105126 1105121 1129557 27957 1109739 1124912 1089921 1070183 32135 1010897 33177 34219 991089 35235 36303 971101 967439 35261 971281 1010748 990909 990869 1010759 990871 990940 36283 990876 990951 35241 1010882 1006923 1006899 1006854 1006881 34213 1010822 987091 35255 987115 991074 987073 991014 1007107 1010901 987299 991080 991093 35257 987169 987193 32107 34224 33183 1007795 1007643 1007777 34221 1007668 1007768 1010888 1006977 34215 1007001 1085258 971518 1109656 1110537 1109887 1105853 1007958 1007871 34225 1007880 34191 991303 1007850 1007925 1007949 35263 1006374 1010660 1006308 1006350 1006332 991321 991313 35266 1007715 1006133 1007721 1007709 988078 1007676 617 1007803 1007908 1007886 1007808 1007688 35233 1006824 1006841 34212 1010875 1006782 1010782 1010818 34206 1010643 986974 991067 987016 623 1010864 988150 1007160 1006847 988141 988117 988100 35267 991326 991315 988072 988063 991010 35254 971507 36309 36308 971495 971505 629 36305 990974 990852 986566 986542 986524 986500 986998 990835 1010637 35248 1006010 971272 36299 967361 971259 36296 1007055 990829 36290 986202 971166 986325 1145546 1145469 1149272 1149503 1150153 1149499 990815 35260 1006064 1010704 1010699 34209 34197 1010870 1006069 1010709 1006060 1086045 1089848 1090079 1090729 932812 1129464 1125661 1125738 1129691 1130345 1129695 1007089 1006807 1010850 1006801 967385 37338 947400 37344 987247 947417 946950 946926 946884 971103 971110 36301 990917 990912 947358 967265 947382 967307 967283 971266 947430 947475 947499 37339 947457 971207 971121 37334 971114 37331 36297 931643 38380 946551 947688 947682 37327 947685 37341 947553 1109883 1105930 1006026 971513 36275 991056 990930 946908 36291 990919 37345 947631 927592 927609 931586 927880 908066 907784 911778 911835 39422 908072 927874 911616 906935 908069 911628 39411 907801 927877 947577 931436 38369 931424 986463 927550 927574 927118 927100 946603 927142 931428 931401 38376 1086122 1090075 986290 990896 971143 990891 33167 35239 986278 1006081 36277 36279 971132 37319 990886 990881 971078 986269 986273 986295 37325 35237 1006086 971202 1006077 946847 986286 39409 911637 36287 911657 971093 911667 911833 931477 37323 946645 946640 946619 39405 946636 38365 931638 931472 931467 37335 39419 39407 986256 990901 986261 37321 946674 931527 946662 36293 36281 971083 931462 971088 931457 931516 946679 931452 971254 931447 946653 946657 39403 911647 38363 986235 38361 38377 986167 36285 1070040 1070921 1070271 911601 946589 946595 946568 38373 931409 931404 911611 39415 911596 39413 893196 906952 911606 931414 911842 907859 39423 907883 1070267 911782 931550 931902 907766 907814 907841 635 948300 948219 948285 948252 948244 37347 948264 946709 948291 931615 927581 931381 911677 39425 907937 911848 932264 38389 928477 928489 928483 931590 927622 927649 927667 927691 928456 38381 931879 931650 927823 946611 946606 931665 38387 39428 931396 911742 911583 39417 911592 926794 931498 931389 911620 931487 38385 931494 931505 991062 986252 35251 1006043 931611 948344 37350 948379 37317 948426 948447 948456 37351 948371 37329 1010843 1010847 991039 1006890 927745 1006813 947389 39429 911857 971881 971227 971231 987005 987082 931656 908015 38383 967274 927658 991035 926804 946585 926798 991689 990808 1010616 947466 948462 948384 948353 947736 947423 928400 928406 928444 928436 641 928726 928378 928654 928717 928693 931897 928618 928648 928639 931891 38359 38393 928576 928676 38392 931889 928536 928545 928563 928411 928571 908737 908755 908728 908768 908810 893176 911803 911807 1342809 1086092 967244 931671 928603 928597 1086164 1086104 1149430 1284280 1149418 1264442 1264448 1264454 1264460 1006932 971138 1085325 1090183 1284262 1284268 1466625 1466630 1382445 1382442 1342812 1164489 1164486 1144749 1144763 1144766 1303238 1303244 1144768 1149607 1284388 1466317 1466679 931596 931602 931632 946649 967328 967334 967340 967346 967352 967460 932831 946572 946578 946581 1481434 1481431 1481417 1481414 1481400 1086170 1086176 1086098 1086182 1481731 1481516 1481510 1481504 1125714 1125708 1125924 1125930 1125187 1125146 1144954 946584 931522 931525 931530 1264472 1007649 1129811 1129799 1164469 946652 946666 946669 946683 928681 928699 931719 931731 931738 931754 931770 931809 1382428 1466320 1426701 1426704 1244568 1426730 1244562 1010834 1106122 1106116 1284394 1090278 1090273 1090234 1090218 1090202 1090195 1164588 1303145 1303159 1007187 1304301 1565598 1565594 1606284 1600994 1164472 1285255 1110010 1110026 1481502 1481499 1481485 1481482 948225 948231 948237 946915 931814 931863 928548 1285243 1010828 1106701 1106695 1106689 967250 967256 967316 967322 948411 948417 947508 947514 947520 947526 947532 947538 1284172 1285249 1403236 1463419 1585266 1581931 1581514 1581508 1581460 1581454 1384295 1387186 1387180 1387114 1387109 1384013 1384007 1384001 1383428 1383434 1422924 1422930 1442648 1522090 1522333 1403092 1403098 1384132 1387106 1382360 1382357 1462444 1462450 1463497 1486378 1486362 1486355 1486343 1463515 1501273 1463527 1463425 1442636 1403110 1463233 1403116 1403122 1442738 1442732 1442726 1442720 1442714 1383539 1402270 1402267 1503041 1525911 1525929 1525971 1403128 1442708 1522339 1383533 1521952 1402499 1521946 1521940 1522849 1522843 1522837 1522788 1522567 1522369 1522363 1403020 1403026 1403032 1522357 1522345 1506186 1506170 911685 911687 911693 908891 908897 908903 908909 908918 911573 1387088 1387085 1362620 1542003 1541997 1541961 1541898 1541892 1581448 1565758 1367507 1367546 1481397 1506151 1506103 1402199 1402202 1521101 1521098 1521084 1521081 1402233 1402236 1503143 1503137 1503131 1402250 1402253 1503113 907958 1463521 1503035 911696 911698 911734 41519 41517 911788 911794 911824 867351 986310 867346 911863 911923 1403821 1522309 1522195 1522189 1565610 1565604 1506163 1522084 1442642 1521976 1521970 1521964 1521958 1463239 1403809 1463245 1463364 1463413 1403815 1486295 1501324 1501318 1501312 1501310 1244628 1244634 1244640 1184362 1184365 1422900 1184379 1184382 1184384 1184390 1506202 1506241 1506246 1506295 1185459 1185921 1185927 1423050 1423044 1185933 1186052 1186101 1422936 911586 1422061 1422058 1422044 1422041 1422918 1244035 1426802 1426796 1244556 1164582 1303142 1149619 1149626 1149642 1149658 1144995 1149697 1149702 1149751 1303213 868225 868216 868210 868204 868198 868189 868167 867720 1363626 1344571 1344577 1347639 1347687 1347699 1347706 1323220 868276 868267 868243 868897 868891 868885 868879 1322953 1322950 1323267 1323226 912001 927107 867353 928429 928423 928417 1422307 1184297 1184311 1184314 1146317 987130 1303992 200 205 215 449 455 461 196 195 190 185 180 175 165 160 155 145 140 135 1347777 1347782 1184396 1184611 1184277 1184280 1184294 1363620 1561756 1562273 1562279 1363512 1363506 1363500 1363494 1363488 1363482 1363476 1562285 1562446 1562524 911962 1184345 1423748 1184348 1185453 987058 1344649 1323021 1347490 1347493 1347498 1347564 1347570 1342741 1342744 1342758 1342761 1342775 1344667 1006124 1347722 1347738 1347472 1347469 1347831 1441852 1387338 1441849 1387322 986316 867340 867319 867336 1387447 1387398 1387393 1402284 1486394 1486433 1461923 1442963 1442957 1461882 1461876 1006938 1149410 1483041 1501276 1501290 1501293 1501307 1442074 1442068 1403104 1384181 1384187 1384193 1483172 1483221 1441900 1441894 1387354 1441888 1482579 1483053 1483047 1422912 1422906 911680 1427014 1402165 1540889 1525544 1525836 1525842 1505933 1505936 1505962 1506028 1506034 1502980 1503029 1486438 1442951 1403242 1387315 1387303 1483227 1384265 1482252 1482258 1482264 1387255 1486487 1502276 1384283 1384289 1502282 1502381 1442858 1442115 1344516 1344565 1149413 1305063 1305057 1305051 1305033 1006339 1304961 1283388 1283385 1165324 1165330 1283337 1146485 1304900 1006107 1006110 1006112 867714 867708 1323052 1323046 1323040 39401 990954 1323038 990966 1323035 987064 1344673 1344679 1343917 1343923 1344385 1344391 1344397 987124 867696 867690 867385 867383 867380 867374 867370 869057 869051 869045 869034 869028 868903 1303986 1006962 1006956 1006950 1303980 1006944 1006118 991155 991143 991095 1342843 1149389 1149392 1342829 1342826 1304052 1146305 1146311 1303210 1268545 1323018 1323004 1323001 1322970 1322967 867702 1284274 1149559 991162 991178 991194 991233 1284250 991238 991287 1284244 1007181 971370 971386 971425 1007082 1007076 971430 1109773 1109776 1109802 1006968 971479 1109868 1109874 1283317 1283320 1303196 1303193 1303125 1303128 1129850 1165426 1165420 1165414 1165408 1165402 1165396 1288314 1288358 1129682 1288407 1165336 1129676 1165540 1129622 1165546 1010762 1284178 1284184 1007655 1007661 1110135 1110086 1110081 1110042 1085322 1085308 1085305 1304781 1086200 1303459 1264466 1086194 1086188 1129610 1165645 1165651 1144698 1144695 1166113 1164574 1164576 1303162 1288074 1144661 1144664 1164803 1288086 1288140 1164762 1164756 1288146 1144678 1144681 1343818 1343812 1343704 1343698 1343692 1343686 1423899 1244646 1423881 1244652 1244658 1244664 1244772 1244778 1423809 1423803 1423797 1245345 1245351 1245357 1263529 1263543 1461592 1461589 1482468 1486146 1243803 1243806 1243808 1327969 1304955 1146436 1304949 1146593 1146587 1283334 1146569 1304064 1304070 1343075 1342846 1307853 1146497 1146491 1268467 1268455 1283651 1283610 987274 990946 987268 990949 1283604 1283436 987160 990928 990925 38371 1461660 1461657 1224964 1224970 1225069 1461626 1461623 1225075 1486149 1486154 1486220 1486226 1483233 1483305 1483323 1483329 1483335 1446871 1446822 1223913 1223927 1223930 1446610 1446604 1446550 1446538 1208908 1208914 868237 1446778 1446739 1446727 1446679 1225717 1461691 1421973 1243814 1243820 1228934 1228983 1243701 1243704 1243718 1243721 1423911 1423905 1208983 1209043 1209082 1209121 1225723 1225729 1225801 1461677 1461674 1225819 1225825 1225831 1303412 1144948 1303418 1124960 1124924 948405 948356 931419 928711 928705 947763 947757 947658 947652 947544 946618 946615 946601 946598 947448 947442 947436 1164503 1164506 1144729 1145618 1145612 1145606 1164537 1125720 1125816 1125810 1125804 1165432 1288275 1288263 1303232 1144746 1144732 1303230 1303227 1149484 1149490 1284256 1006872 1006866 1006860 1124921 1124873 1124870 1124856 1124853 1125798 1125792 1125786 1125780 1144774 1144780 987136 1145837 1145843 1268506 1225537 1225543 1482324 1482330 1441801 1441798 1482336 1482342 1482348 1482354 1482360 1327930 1327914 1327898 1327891 988105 1327879 988123 988129 988135 1343680 1343674 1343668 1328023 1327974 1164540 1145600 1145594 1145588 1145528 1164554 1164557 1145522 1145516 1164571 1125140 1124972 1124966 1327831 1342778 987154 987148 1146599 1006093 1006090 1283430 1304058 1145624 1283424 1006076 1006073 1145732 1145738 987142 1522315 1522321 1522327 1482573 1426919 1426931 1402185 1402182 1526049 1526103 1527040 1402168 1426970 1427009 1185234 1185240 1185348 1185354 1166377 1166395 1205993 1206011 1206017 1206023 1189005 1189008 1189026 1189029 1189034 1189100 1166299 1166305 1169367 1382691 1466547 1466554 1466570 1481465 1462456 1462516 1367378 1367372 1462522 1462528 1186113 1185132 1185138 1185144 1185204 1185210 1185216 1185222 1185228 946686 1186107 1205267 1204173 1204187 1204190 1204372 1204378 1204419 1204940 1204946 1208854 1205860 1205909 1205915 1205921 872008 872000 871995 871990 1169415 1169427 1169434 1169450 1169466 1169505 1169510 1169559 1169218 1169221 1169226 1169238 1169292 1169298 1204952 946874 946868 946700 946694 946688 1502849 1442744 1441784 1441781 1502855 1502861 1501539 1502132 1502138 1502144 1502150 1502156 1502162 1502168 1482474 1427063 1382476 1382470 1382464 1382462 1382425 1466338 1466341 1466346 1383320 1383314 1383308 1383302 1383296 1383290 1546647 1546873 1546875 1546878 1542668 1362883 1542674 1442852 1502387 1502759 1466358 1466412 1466418 1481468 1383224 1383218 1383212 1542680 1362842 1362836 1545549 1362654 1362651 1545552 1545644 1362637 1362634 1545650 1466487 1466535 1382459 1466586 1462534 1367318 1462540 1462546 1462552 1462660 1462666 1462765 1462771 1461694 1382394 1382391 1461696 1461702 1461708 1382377 1382374 1383284 1166244 1166293 110 105 100 95 85 1307877 80 75 70 65 60 55 50 45 41 35 1307882 1307894 1178 1177 1176 1175 1174 1173 1167 1166 1165 1164 1163 1162 659 653 647 130 1166401 1166407 1166119 1166125 1541766 1541772 1541778 1541784 1363416 1363410 1363404 1545719 1545760 1545911 1561532 1561664 1561700 1561706 1565458 1561484 1561490 1561496 1402278 1402272 1307948 1307954 491 1308215 1322933 1322936 1362617 1542380 1542386 1542392 1542398 1542404 1542410 1542416 1540892 1541748 1541754 1362552 1362549 1541760 1205018 1205024 1205030 1205036 1205042 1205048 1205156 1205162 1205261 1324115 1324577 1324583 1324589 1324708 1324757 1324763 1324769 1323788 1323794 1323800 871985 871980 871975 871970 871968 1186185 1186203 1186209 1186215 1204153 1204156 1204170 1189106 1189175 1189223 1189235 1189242 1189258 1189274 1205012 1327762 1324841 1324859 1324865 1324871 557 1308023 1308071 539 1308083 1308090 1308106 1308122 1308161 1308166 1189313 1189318 1189367 1307856 1179 1323860 1323866 1323872 1323878 1323884 1323890 1323896 1324004 1324010 1324109 125 1307874 120 115 928609 1327682 1327685 1327690 1327702 1327756 1243789 1243786 1243772 1243769 1243738 1243735 1248791 1248742 1248737 1248698 1248682 1248666 1248659 1248647 1406922 1263577 1406988 1263546 1403940 41499 41501 41505 908831 908840 908885 41507 907773 41509 907807 41511 907820 907826 907832 41513 907850 41516 40471 907892 907898 907904 907910 907916 907922 907928 40473 927706 867357 867363 867349 971354 971347 1268599 927615 927628 927634 927640 927700 926787 926790 926793 1268550 927724 927730 927736 927766 927772 927844 927850 971335 41495 41497 927928 927949 927955 1443713 1443719 1228929 1228890 1228874 1228858 1228851 1228839 1228791 1228722 1228716 1228650 1225668 1225549 1461606 1461609 1224748 1407111 1407123 1407130 1407146 1407162 1407201 1407206 1407255 1209175 1209126 927712 927718 907964 908036 908042 40476 40477 908120 908141 908147 1304076 41485 908740 868282 908763 868288 908789 908795 908801 868294 1223910 1223896 1223893 1228645 1228642 1228624 1228621 1443707 1067259 1070186 1070181 1070178 1070160 1070157 1268240 1010754 1010757 971158 1268237 1087012 1264436 971146 1263843 1263597 1263594 1263580 971141 1086893 1086887 1086881 1006005 1006008 1007841 1007835 1090060 40465 1087163 1087169 1087175 40467 40469 971212 1006025 1006022 1268338 1268332 1086308 1086314 1304307 1304769 1304775 1087073 1087067 1087061 1085571 1268266 991020 991026 1085356 1085350 1085344 1085342 1085339 1105116 1105130 986231 1265435 1265417 986217 986214 1265345 1304082 1265339 1105065 1105062 1105048 1105045 1106002 1105996 1105990 1105984 1105978 1105972 986265 1265333 1106820 971218 986304 1109991 1110003 1090066 1105133 1007829 1265284 1264586 1105379 1264580 1007780 986268 986299 1089994 986285 986282 986302 1007913 1265447 1304088 1265441 1304196 1007931 1304202 1007937 1007943 1090327 986234 1105079 1105082 1105113 1263509 1245639 1404073 1245633 1404091 1404097 1404103 1245627 1245609 1245537 1245531 1245525 1245476 1248530 1248524 1248458 1224227 1224012 868300 986197 986200 868306 868312 868321 868342 1085237 1085240 1421976 1224006 1224000 1223998 1421990 1421993 1223995 1223981 1223978 1422007 1422010 1223964 1223961 1224856 1224850 1406994 1224844 1224838 1224832 1224826 1224820 1224760 1224754 1263526 1403989 1403995 1404001 1263512 1106953 1106971 1106977 1106983 40451 40453 40455 40457 1106008 1010951 1010963 1010970 1070519 1070470 1070465 1070426 1070410 1070394 1070387 1070375 1070327 1010986 1011002 40459 40464 1006042 1006039 1087145 1085254 1085257 1085271 1085274 1070252 1070258 868351 868399 868420 868426 868873 867366 867368 986484 1067367 1067361 1067355 986490 1067337 986531 39434 1067265 1106869 1106875 1106881 1010903 39435 40443 892286 892284 892278 892273 892266 892154 892115 892111 892103 892093 869152 869140 869134 869122 869113 869107 869098 869092 869080 869071 872241 872232 872226 872223 872178 872172 872169 872163 872127 872082 872080 872076 872071 872012 906979 906973 906969 906968 906965 906962 906956 889026 889002 888949 888925 888864 888840 888709 888685 888339 888333 888312 888262 888258 888253 888249 888244 888240 892055 892049 892043 892037 892027 892016 891998 891986 907742 907334 907310 907299 907292 907268 907258 907252 907231 907002 906999 906996 906990 906986 906985 906982 926866 926862 926861 926858 926854 926849 926845 926844 926841 926837 926832 926828 926811 926810 926807 887174 887171 887165 887161 887160 887157 887154 887148 887144 926781 926777 926776 926773 926770 926764 926760 926743 913004 912456 912094 912092 912083 912081 912055 912006 927076 926901 926892 926886 926880 926878 926875 926871 887510 887504 887498 887450 887444 887423 887194 887191 887188 887182 887178 887177 869302 869293 869287 869284 869275 869269 869224 869215 869194 869185 869179 869173 887127 873388 873367 872478 872476 872467 872461 872459 872346 872307 872304 872299 872286 888051 887999 887993 887976 887965 887959 887953 887934 887528 887522 887516 968264 968255 968234 968225 968219 968213 968192 968187 968179 968164 968161 968152 968105 968099 968093 968072 968060 968052 968045 968039 968033 971073 971068 951451 951446 951440 951423 951419 951410 951404 951398 951394 951358 951350 951338 951314 951312 951309 951303 951301 951296 951293 951285 951280 951275 951270 968270 967197 967190 967166 966758 966734 966723 966716 966692 966682 966676 966655 966517 966508 966502 966496 966494 966491 966487 966482 968027 967496 967493 967490 967466 971063 971061 971052 971044 971040 971035 971030 971027 971022 971015 971013 971005 971000 968342 968333 968327 968321 968315 968309 968297 968292 967238 967230 967208 891783 891778 891776 889104 889080 966380 966376 966359 952620 952073 951710 951705 951699 951697 951687 951671 951622 951617 951578 951562 951546 951539 951527 951479 888234 888228 888207 888153 888129 888075 891980 891974 891967 891935 891926 891890 891888 891885 891879 891869 891829 891820 891816 891808 891803 891798 891793 891788 966389 966386 951265 951263 951253 951244 951236 951232 951227 951222 951218 951212 951209 951203 951199 951192 948534 948525 948519 948513 948507 948501 948489 948484 951473 951464 951458 966478 966477 966474 966470 966465 966461 966460 966457 966453 966448 966444 966427 966418 966415 966411 966409 966406 966403 966397 966393 966392 987052 987046 987039 987033 988042 988033 988027 988021 988000 987995 987987 987972 987969 987960 987916 987907 987901 987880 987868 987860 987853 987847 987841 987835 987379 987373 987352 1050353 1050346 1050342 1050335 1050333 1050325 1050320 1050315 1050313 1050303 1050293 1050284 1050276 1050272 1050269 1050264 1050258 1050255 1050247 1050245 1050237 1050232 1065417 1065399 1051660 1051113 1050750 1050748 1050742 1050737 1050618 1050579 1050513 1050504 1050498 1050491 1050486 1050463 1050459 1050450 1050444 1050439 1050434 1050398 1050390 1046548 1046539 1046515 1046506 1046497 1046488 1046482 1046476 1046470 1046462 1046440 1046429 1046422 1046398 1045990 1045966 1045955 1045948 1045924 1045914 1045908 1045887 1047574 1047565 1047544 1047496 1047487 1047466 1047419 1047411 1047389 1046728 1046725 1046722 1046698 1046692 1046671 1046617 1046593 1046584 1046578 1046572 1046566 1046560 1046554 1066531 1066506 1066500 1066479 1066428 1066422 1066401 1066392 1066386 1066380 1066374 1066368 1066362 1066356 1066347 1066323 1066314 1066305 1066296 1066290 1066284 1066278 1067253 1067232 1067227 1067219 1067204 1067201 1067192 1067148 1067139 1067133 1067112 1067100 1067092 1067085 1067079 1067073 1067067 1067062 1067056 1067034 1066611 1066605 1066584 1065505 1065501 1065500 1065497 1065493 1065488 1065484 1065467 1065466 1065463 1065460 1065454 1065450 1065449 1065446 1065443 1065437 1065433 1065432 1065429 1065425 1065420 1066271 1066265 1066248 1066237 1066230 1066206 1065798 1065774 1065763 1065756 1065732 1065557 1065548 1065542 1065536 1065534 1065531 1065527 1065522 1065518 1065517 1065514 1065510 1026809 1026785 1026776 1026770 1026764 1026758 1026752 1026746 1026740 1026731 1026707 1026698 1026689 1026665 1026655 1026649 1026632 1026621 1026614 1026590 1026182 1026158 1027603 1027588 1027585 1027576 1027529 1027526 1027517 1027496 1027481 1027476 1027469 1027463 1027457 1027451 1026995 1026989 1026968 1026921 1026917 1026914 1026890 1026884 1026863 1025835 1025833 1025830 1025826 1025821 1025818 1025816 1025813 1025810 1025804 1025800 1025783 1012044 1011497 1011134 1011129 1011123 1011121 1011111 1011095 1011046 1011041 1026147 1026140 1026116 1025941 1025918 1025915 1025911 1025906 1025901 1025898 1025894 1025889 1025885 1025884 1025881 1025877 1025872 1025868 1025851 1025850 1025847 1025843 1025838 1031305 1030942 1030937 1030931 1030929 1030919 1030903 1030854 1030849 1030810 1030794 1030778 1030771 1030759 1030711 1030705 1030696 1030690 1030683 1030678 1030672 1030655 1045709 1045706 1045702 1045697 1045692 1045689 1045685 1045680 1045676 1045659 1045650 1045647 1045643 1045633 1045630 1045626 1045624 1045621 1045618 1045612 1045608 1045591 1031852 1030451 1030445 1030441 1030435 1030431 1030424 1027766 1027757 1027751 1027745 1027739 1027733 1027721 1027716 1027694 1027688 1027679 1027658 1027649 1027643 1027637 1027616 1027611 1030651 1030642 1030636 1030630 1030626 1030590 1030570 1030546 1030544 1030541 1030535 1030533 1030528 1030517 1030512 1030507 1030502 1030497 1030476 1030468 1030464 1030460 1030454 0
49.38/49.47
49.38/49.47 c Core has size 5776
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-3495899-1307808464/watcher-3495899-1307808464 -o /tmp/evaluation-result-3495899-1307808464/solver-3495899-1307808464 -C 1800 -W 1850 -M 7680 MoUsSaka HOME/instance-3495899-1307808464.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.11 3.37 2.98 4/186 26849
/proc/meminfo: memFree=30469160/32950928 swapFree=67052112/67111528
[pid=26849] ppid=26847 vsize=45024 CPUtime=0 cores=4,6
/proc/26849/stat : 26849 (MoUsSaka) R 26847 26849 23695 0 -1 4202496 1828 0 0 0 0 0 0 0 25 0 1 0 892445277 46104576 1766 33554432000 4194304 4365125 140737195082432 18446744073709551615 4318620 0 0 4096 2 0 0 0 17 4 0 0 0
/proc/26849/statm: 11256 1770 245 42 0 8404 0
[startup+0.080428 s]
/proc/loadavg: 4.11 3.37 2.98 4/186 26849
/proc/meminfo: memFree=30469160/32950928 swapFree=67052112/67111528
[pid=26849] ppid=26847 vsize=78944 CPUtime=0.07 cores=4,6
/proc/26849/stat : 26849 (MoUsSaka) R 26847 26849 23695 0 -1 4202496 15430 0 0 0 6 1 0 0 25 0 1 0 892445277 80838656 11935 33554432000 4194304 4365125 140737195082432 18446744073709551615 4266084 0 0 4096 2 0 0 0 17 4 0 0 0
/proc/26849/statm: 19736 11936 255 42 0 16884 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 78944
[startup+0.100422 s]
/proc/loadavg: 4.11 3.37 2.98 4/186 26849
/proc/meminfo: memFree=30469160/32950928 swapFree=67052112/67111528
[pid=26849] ppid=26847 vsize=78944 CPUtime=0.09 cores=4,6
/proc/26849/stat : 26849 (MoUsSaka) R 26847 26849 23695 0 -1 4202496 16101 0 0 0 8 1 0 0 25 0 1 0 892445277 80838656 12440 33554432000 4194304 4365125 140737195082432 18446744073709551615 235594485300 0 0 4096 2 0 0 0 17 4 0 0 0
/proc/26849/statm: 19736 12440 255 42 0 16884 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 78944
[startup+0.300438 s]
/proc/loadavg: 4.11 3.37 2.98 4/186 26849
/proc/meminfo: memFree=30469160/32950928 swapFree=67052112/67111528
[pid=26849] ppid=26847 vsize=91440 CPUtime=0.29 cores=4,6
/proc/26849/stat : 26849 (MoUsSaka) R 26847 26849 23695 0 -1 4202496 26231 0 0 0 26 3 0 0 25 0 1 0 892445277 93634560 17853 33554432000 4194304 4365125 140737195082432 18446744073709551615 4316862 0 0 4096 2 0 0 0 17 4 0 0 0
/proc/26849/statm: 22860 17853 255 42 0 20008 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 91440
[startup+0.700366 s]
/proc/loadavg: 4.11 3.37 2.98 4/186 26849
/proc/meminfo: memFree=30469160/32950928 swapFree=67052112/67111528
[pid=26849] ppid=26847 vsize=167236 CPUtime=0.69 cores=4,6
/proc/26849/stat : 26849 (MoUsSaka) R 26847 26849 23695 0 -1 4202496 67930 0 0 0 61 8 0 0 25 0 1 0 892445277 171249664 32451 33554432000 4194304 4365125 140737195082432 18446744073709551615 235594485300 0 0 4096 2 0 0 0 17 4 0 0 0
/proc/26849/statm: 41809 32453 255 42 0 38957 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 167236
[startup+1.50023 s]
/proc/loadavg: 4.11 3.37 2.98 5/187 26850
/proc/meminfo: memFree=30268744/32950928 swapFree=67052112/67111528
[pid=26849] ppid=26847 vsize=195816 CPUtime=1.49 cores=4,6
/proc/26849/stat : 26849 (MoUsSaka) R 26847 26849 23695 0 -1 4202496 77824 0 0 0 140 9 0 0 25 0 1 0 892445277 200515584 41282 33554432000 4194304 4365125 140737195082432 18446744073709551615 4244831 0 0 4096 2 0 0 0 17 4 0 0 0
/proc/26849/statm: 48954 41282 264 42 0 46102 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 195816
[startup+3.10089 s]
/proc/loadavg: 4.11 3.37 2.98 5/187 26850
/proc/meminfo: memFree=30216368/32950928 swapFree=67052112/67111528
[pid=26849] ppid=26847 vsize=195816 CPUtime=3.09 cores=4,6
/proc/26849/stat : 26849 (MoUsSaka) R 26847 26849 23695 0 -1 4202496 77825 0 0 0 299 10 0 0 25 0 1 0 892445277 200515584 41283 33554432000 4194304 4365125 140737195082432 18446744073709551615 4242923 0 0 4096 2 0 0 0 17 4 0 0 0
/proc/26849/statm: 48954 41283 264 42 0 46102 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 195816
[startup+6.30033 s]
/proc/loadavg: 4.10 3.39 2.99 5/187 26850
/proc/meminfo: memFree=30088056/32950928 swapFree=67052112/67111528
[pid=26849] ppid=26847 vsize=195816 CPUtime=6.27 cores=4,6
/proc/26849/stat : 26849 (MoUsSaka) R 26847 26849 23695 0 -1 4202496 77825 0 0 0 616 11 0 0 25 0 1 0 892445277 200515584 41283 33554432000 4194304 4365125 140737195082432 18446744073709551615 4258107 0 0 4096 2 0 0 0 17 4 0 0 0
/proc/26849/statm: 48954 41283 264 42 0 46102 0
Current children cumulated CPU time (s) 6.27
Current children cumulated vsize (KiB) 195816
[startup+12.7002 s]
/proc/loadavg: 4.09 3.39 2.99 5/190 26936
/proc/meminfo: memFree=30317096/32950928 swapFree=67052112/67111528
[pid=26849] ppid=26847 vsize=195816 CPUtime=12.67 cores=4,6
/proc/26849/stat : 26849 (MoUsSaka) R 26847 26849 23695 0 -1 4202496 77826 0 0 0 1255 12 0 0 25 0 1 0 892445277 200515584 41284 33554432000 4194304 4365125 140737195082432 18446744073709551615 4258077 0 0 4096 2 0 0 0 17 4 0 0 0
/proc/26849/statm: 48954 41284 264 42 0 46102 0
Current children cumulated CPU time (s) 12.67
Current children cumulated vsize (KiB) 195816
[startup+25.501 s]
/proc/loadavg: 4.07 3.42 3.01 4/188 26936
/proc/meminfo: memFree=30468736/32950928 swapFree=67052112/67111528
[pid=26849] ppid=26847 vsize=195816 CPUtime=25.47 cores=4,6
/proc/26849/stat : 26849 (MoUsSaka) R 26847 26849 23695 0 -1 4202496 77826 0 0 0 2535 12 0 0 25 0 1 0 892445277 200515584 41284 33554432000 4194304 4365125 140737195082432 18446744073709551615 4260965 0 0 4096 2 0 0 0 17 4 0 0 0
/proc/26849/statm: 48954 41284 264 42 0 46102 0
Current children cumulated CPU time (s) 25.47
Current children cumulated vsize (KiB) 195816
Solver just ended. Dumping a history of the last processes samples
[startup+38.3008 s]
/proc/loadavg: 4.06 3.44 3.02 5/186 27264
/proc/meminfo: memFree=30790172/32950928 swapFree=67052112/67111528
[pid=26849] ppid=26847 vsize=195816 CPUtime=38.27 cores=4,6
/proc/26849/stat : 26849 (MoUsSaka) R 26847 26849 23695 0 -1 4202496 77826 0 0 0 3815 12 0 0 25 0 1 0 892445277 200515584 41284 33554432000 4194304 4365125 140737195082432 18446744073709551615 4260678 0 0 4096 2 0 0 0 17 4 0 0 0
/proc/26849/statm: 48954 41284 264 42 0 46102 0
Current children cumulated CPU time (s) 38.27
Current children cumulated vsize (KiB) 195816
[startup+44.7006 s]
/proc/loadavg: 4.06 3.45 3.02 5/190 27279
/proc/meminfo: memFree=30371876/32950928 swapFree=67052112/67111528
[pid=26849] ppid=26847 vsize=195816 CPUtime=44.67 cores=4,6
/proc/26849/stat : 26849 (MoUsSaka) R 26847 26849 23695 0 -1 4202496 77826 0 0 0 4455 12 0 0 25 0 1 0 892445277 200515584 41284 33554432000 4194304 4365125 140737195082432 18446744073709551615 4291537 0 0 4096 2 0 0 0 17 4 0 0 0
/proc/26849/statm: 48954 41284 264 42 0 46102 0
Current children cumulated CPU time (s) 44.67
Current children cumulated vsize (KiB) 195816
[startup+47.9011 s]
/proc/loadavg: 4.05 3.46 3.03 5/187 27307
/proc/meminfo: memFree=30400952/32950928 swapFree=67052112/67111528
[pid=26849] ppid=26847 vsize=195816 CPUtime=47.87 cores=4,6
/proc/26849/stat : 26849 (MoUsSaka) R 26847 26849 23695 0 -1 4202496 77826 0 0 0 4775 12 0 0 25 0 1 0 892445277 200515584 41284 33554432000 4194304 4365125 140737195082432 18446744073709551615 4260907 0 0 4096 2 0 0 0 17 4 0 0 0
/proc/26849/statm: 48954 41284 264 42 0 46102 0
Current children cumulated CPU time (s) 47.87
Current children cumulated vsize (KiB) 195816
[startup+48.7009 s]
/proc/loadavg: 4.05 3.46 3.03 5/187 27307
/proc/meminfo: memFree=30363588/32950928 swapFree=67052112/67111528
[pid=26849] ppid=26847 vsize=195816 CPUtime=48.67 cores=4,6
/proc/26849/stat : 26849 (MoUsSaka) R 26847 26849 23695 0 -1 4202496 77826 0 0 0 4855 12 0 0 25 0 1 0 892445277 200515584 41284 33554432000 4194304 4365125 140737195082432 18446744073709551615 4263932 0 0 4096 2 0 0 0 17 4 0 0 0
/proc/26849/statm: 48954 41284 264 42 0 46102 0
Current children cumulated CPU time (s) 48.67
Current children cumulated vsize (KiB) 195816
[startup+49.1008 s]
/proc/loadavg: 4.05 3.46 3.03 5/187 27307
/proc/meminfo: memFree=30363588/32950928 swapFree=67052112/67111528
[pid=26849] ppid=26847 vsize=195816 CPUtime=49.07 cores=4,6
/proc/26849/stat : 26849 (MoUsSaka) R 26847 26849 23695 0 -1 4202496 77826 0 0 0 4895 12 0 0 25 0 1 0 892445277 200515584 41284 33554432000 4194304 4365125 140737195082432 18446744073709551615 4261587 0 0 4096 2 0 0 0 17 4 0 0 0
/proc/26849/statm: 48954 41284 264 42 0 46102 0
Current children cumulated CPU time (s) 49.07
Current children cumulated vsize (KiB) 195816
[startup+49.3008 s]
/proc/loadavg: 4.05 3.46 3.03 5/187 27307
/proc/meminfo: memFree=30363588/32950928 swapFree=67052112/67111528
[pid=26849] ppid=26847 vsize=195816 CPUtime=49.27 cores=4,6
/proc/26849/stat : 26849 (MoUsSaka) R 26847 26849 23695 0 -1 4202496 77826 0 0 0 4915 12 0 0 25 0 1 0 892445277 200515584 41284 33554432000 4194304 4365125 140737195082432 18446744073709551615 4260907 0 0 4096 2 0 0 0 17 4 0 0 0
/proc/26849/statm: 48954 41284 264 42 0 46102 0
Current children cumulated CPU time (s) 49.27
Current children cumulated vsize (KiB) 195816
[startup+49.4009 s]
/proc/loadavg: 4.05 3.47 3.03 5/190 27317
/proc/meminfo: memFree=30225232/32950928 swapFree=67052112/67111528
[pid=26849] ppid=26847 vsize=195816 CPUtime=49.38 cores=4,6
/proc/26849/stat : 26849 (MoUsSaka) R 26847 26849 23695 0 -1 4202496 77826 0 0 0 4926 12 0 0 25 0 1 0 892445277 200515584 41284 33554432000 4194304 4365125 140737195082432 18446744073709551615 4260907 0 0 4096 2 0 0 0 17 4 0 0 0
/proc/26849/statm: 48954 41284 264 42 0 46102 0
Current children cumulated CPU time (s) 49.38
Current children cumulated vsize (KiB) 195816
Child status: 20
Real time (s): 49.4775
CPU time (s): 49.4545
CPU user time (s): 49.3265
CPU system time (s): 0.12798
CPU usage (%): 99.9534
Max. virtual memory (cumulated for all children) (KiB): 195824
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 49.3265
system time used= 0.12798
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 77831
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= 5
involuntary context switches= 304
runsolver used 0.084987 second user time and 0.19197 second system time
The end
Begin job on node120 at 2011-06-11 18:07:45
IDJOB=3495899
IDBENCH=89407
IDSOLVER=1989
FILE ID=node120/3495899-1307808464
RUNJOBID= node120-1307808043-25676
PBS_JOBID= 13551076
Free space on /tmp= 73820 MiB
SOLVER NAME= MoUsSaka 2011-03-26
BENCH NAME= SAT11/mus/marques-silva/design-debugging/rsdecoder_multivec1.dimacs.filtered.cnf
COMMAND LINE= MoUsSaka BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3495899-1307808464/watcher-3495899-1307808464 -o /tmp/evaluation-result-3495899-1307808464/solver-3495899-1307808464 -C 1800 -W 1850 -M 7680 MoUsSaka HOME/instance-3495899-1307808464.cnf
TIME LIMIT= 1800 seconds
MEMORY LIMIT= 7680 MiB
NBCORE= 2
MD5SUM BENCH= 6fc0f387a7826e4f3464c3f63dbf5f24
RANDOM SEED=1062142200
node120.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.809
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.61
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.809
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.07
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.809
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.809
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.809
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.78
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.809
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.809
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.809
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: 32950928 kB
MemFree: 30469216 kB
Buffers: 163640 kB
Cached: 999308 kB
SwapCached: 11528 kB
Active: 1561760 kB
Inactive: 754100 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 32950928 kB
LowFree: 30469216 kB
SwapTotal: 67111528 kB
SwapFree: 67052112 kB
Dirty: 74092 kB
Writeback: 0 kB
AnonPages: 1150192 kB
Mapped: 9552 kB
Slab: 97572 kB
PageTables: 7560 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
CommitLimit: 83586992 kB
Committed_AS: 1503184 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= 73700 MiB
End job on node120 at 2011-06-11 18:08:35