Trace number 3501533

Some explanations

A solver is run under the control of another program named runsolver. runsolver is in charge of imposing the CPU time limit and the memory limit to the solver. It also monitors some information about the process. The trace of the execution of a solver is divided into four (or five) parts:
  1. SOLVER DATA
    This is the output of the solver (stdout and stderr).
    Note that some very long lines in this section may be truncated by your web browser ! In such a case, you may want to use the "Download as text" link to get the trace as a text file.

    When the --timestamp option is passed to the runsolver program, each line output by the solver is prepended with a timestamp which indicates at what time the line was output by the solver. Times are relative to the start of the program, given in seconds. The first timestamp (if present) is estimated CPU time. The last timestamp is wall clock time.

    As some 'v lines' may be very long (sometimes several megabytes), the 'v line' output by your solver may be split on several lines to help limit the size of the trace recorded in the database. In any case, the exact output of your solver is preserved in a trace file.
  2. VERIFIER DATA
    The output of the solver is piped to a verifier program which will search a value line "v " and, if found, will check that the given interpretation satisfies all constraints.
  3. CONVERSION SCRIPT DATA (Optionnal)
    When a conversion script is used, this section shows the messages that were output by the conversion script.
  4. WATCHER DATA
    This is the informations gathered by the runsolver program. It first prints the different limits. There's a first limit on CPU time set to X seconds (see the parameters in the trace). After this time has ellapsed, runsolver sends a SIGTERM and 2 seconds later a SIGKILL to the solver. For safety, there's also another limit set to X+30 seconds which will send a SIGXPU to the solver. The last limit is on the virtual memory used by the process (see the parameters in the trace).
    Every ten seconds, the runsolver process fetches the content of /proc/loadavg, /proc/pid/stat and /proc/pid/statm (see man proc) and prints it as raw data. This is only recorded in case we need to investigate the behaviour of a solver. The memory used by the solver (vsize) is also given every ten seconds.
    When the solver exits, runsolver prints some informations such as status and time. CPU usage is the ratio CPU Time/Real Time.
  5. LAUNCHER DATA
    These informations are related to the script which will launch the solver. The most important informations are the command line given to the solver, the md5sum of the different files and the dump of the /proc/cpuinfo and /proc/meminfo which provides some useful information on the computer.

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
MoUsSaka 2011-03-26UNSAT 58.0562 58.0581

General information on the benchmark

Namegmus/belov/
bj08amba4g5.aig.k25.gcnf
MD5SUMc33663f618382c2878074068eb7ae094
Bench CategoryGMUS (GMUS)
Best result obtained on this benchmarkUNSAT
Best CPU time to get the best result obtained on this benchmark58.0562
Satisfiable
(Un)Satisfiability was proved
Number of variables241676
Number of clauses724294
Sum of the clauses size1690018
Maximum clause length3
Minimum clause length1
Number of clauses of size 11
Number of clauses of size 2482862
Number of clauses of size 3241431
Number of clauses of size 40
Number of clauses of size 50
Number of clauses of size over 50
Number of groups241431
Number of clauses in the kernel (group 0)1
Least number of clauses in a group (except group 0) 3
Greatest number of clauses in a group (except group 0) 3

Solver Data 

0.00/0.01	c MoUsSaka with meat
6.09/6.11	
6.09/6.11	s UNSATISFIABLE
57.99/58.05	c Core is minimal
57.99/58.05	
57.99/58.05	v 227481 227485 214272 214271 214274 214268 214263 214320 214319 214330 214282 214278 214280 214281 227626 227699 227613 227606 227620 227703 227687 227597 227619 227686 227618 227665 227611 227700 227625 227610 227608 227701 227624 227702 227672 227605 227609 227622 227617 227612 227614 227627 227673 227615 227623 227607 227621 227688 227571 227572 227596 227685 227570 227683 227790 227777 227684 227664 227573 227682 227594 227663 227595 227546 227593 227557 227548 227592 227560 227589 227569 227590 227549 227559 227568 227558 227591 227547 227556 227517 227518 227504 227506 227500 227519 227521 227520 214226 227529 227528 227525 227522 227530 227527 227534 227537 227535 227532 227540 227480 227536 227541 227538 227531 227542 227543 227507 227526 227533 227544 227539 227513 227510 214285 214258 214377 214380 214378 214381 214374 214371 214365 214366 214360 214375 214373 214367 214362 214369 214370 214312 214317 214308 214291 214288 214303 214283 214304 214290 214299 214286 214305 214295 214300 214293 214302 214297 214289 214294 214275 214298 214376 214379 214342 214364 227516 227515 214307 214311 214316 214301 227514 214267 214314 214264 214313 214270 214339 214332 214335 214341 214329 214331 214328 214277 214315 213971 213963 214078 213987 213982 213983 213984 214004 214003 214007 214005 214077 213960 213970 214253 214223 214256 214257 214255 214217 214225 214221 214219 214254 214218 213958 213957 213935 213918 213933 213934 213956 213948 213946 213894 213940 213945 213939 213942 213921 213954 213943 213936 213952 213941 213953 213950 213951 213949 213955 213962 214008 213986 213920 213914 213973 213911 213972 213974 213961 214006 214009 213985 213910 213932 214096 214095 214040 214041 214249 214251 214248 214250 214252 214214 214216 214213 214215 214113 214114 214265 214101 214102 214115 214100 214116 214117 214010 214043 214044 214042 214099 214097 214098 214266 213907 214027 213931 214038 214039 214024 214032 213908 200784 200795 200780 200792 200791 200781 200789 200785 200776 200794 200788 214191 227496 227493 227486 227492 227482 227495 214177 214175 214179 214358 214355 214356 214354 214359 214357 227628 227630 227602 227629 227604 214361 227524 227631 227776 227661 227635 227634 227797 227796 227798 214352 214353 214109 214105 214106 214034 214037 214020 214026 214033 214112 214022 214021 214035 214036 214023 214028 214110 214233 214025 214234 214111 214031 214019 214030 214029 214079 214011 214087 186766 173520 173581 173523 173598 173596 173597 173141 160012 160010 160015 159995 159969 160009 173148 173142 159991 159970 159984 159976 160014 159975 160011 159988 160008 159997 173151 173138 173137 159987 159986 227632 227497 227681 227598 227599 159946 159942 159957 159959 159944 159953 159947 159972 159939 159961 159963 159968 159945 159964 159950 159931 159967 159951 159949 159954 146186 146172 146171 146187 146170 146185 146053 146052 146042 146032 145990 145988 146054 146055 146056 132845 146019 146015 146018 146016 146041 146031 146043 146044 146004 146003 132749 146166 146183 146167 146168 146169 146260 146112 146114 146159 146161 146110 146111 146101 146163 146164 146098 146102 146001 146002 146008 146099 146046 146049 146048 146045 146051 145981 146047 146050 146100 146097 132812 132782 132801 132799 132779 132797 132778 132773 132775 132774 132784 132787 132816 132767 132796 132772 132823 132786 132759 146108 146105 146096 146094 146109 146104 146103 146107 146095 146106 160013 159973 159960 159958 159956 159985 159971 159955 159934 159928 159933 159938 159937 159936 159927 159924 159930 159923 159926 159920 214086 146090 146091 146089 132710 146178 146175 146303 146181 146182 146304 146176 146180 132742 146040 146093 146162 146179 132792 146184 146113 146033 146165 173555 173570 173557 159921 173594 173546 173517 173544 173550 173549 173536 173533 173531 173539 173505 173509 173516 173537 173545 173577 173558 173574 173571 173556 173583 173507 173595 173599 173553 173514 173510 214129 214124 214119 214120 214125 214128 241327 241317 241330 241332 241331 241306 241334 241313 241308 241320 241307 241324 241311 241298 241302 241309 241337 241310 241312 241293 241328 241335 241336 241329 241326 241193 241120 241213 241202 241196 227953 241129 241204 227956 227954 241125 241210 241269 241115 227902 241207 241304 241127 227964 241066 241273 241119 241212 241116 241197 227957 241211 241113 227871 241214 241270 241124 241205 227897 241121 241093 241112 227903 241272 241274 241126 241194 241215 227949 241114 241191 241267 241108 241206 227898 241118 241216 241128 227962 241123 227967 241130 227894 241209 241122 241117 227951 241271 241266 241195 241325 227893 241203 227963 241303 241305 159919 200688 200686 200695 200694 200692 173263 173267 173229 173202 173253 173244 173197 173248 173249 173319 173178 173181 173247 173189 173268 173264 173356 173355 173344 173358 173343 173359 173357 173342 173250 173252 173174 173177 173162 173225 173329 173328 173213 173205 173204 173320 173186 173188 173150 173152 173200 173193 173195 173187 173191 173194 173198 173190 173192 173321 173136 173183 173185 173214 173215 173203 173176 173173 173196 173245 173246 173156 173149 173153 173251 173341 173340 173182 173184 173199 173339 173338 173163 173337 173226 173227 173212 173224 173216 173228 173433 173446 173175 173160 214161 214157 213896 213895 213909 213899 200717 200745 227952 241111 241268 227955 241198 227950 241292 227960 227958 241301 227966 227904 241297 227946 227959 227948 227928 227965 227812 241350 241373 241390 241395 241391 241386 241346 241393 241397 241375 241340 241388 241343 241352 241348 241398 241387 241378 241385 241389 241381 227880 227886 227873 227876 241430 241431 227875 241351 227879 227888 227885 227874 227861 227881 227855 227887 227849 227891 227883 227878 227884 227889 227844 227869 227890 227877 227845 241349 227872 227882 241347 227853 227854 200726 200770 200730 200696 200734 200733 200682 200715 200731 200768 200714 200753 200744 213995 214000 213996 214002 213999 213998 214001 227633 227494 214180 214174 214168 214171 214178 214176 214165 214163 214164 214121 214130 200679 214140 214148 214141 214138 214147 214143 214133 214145 214153 214156 214132 214136 214144 214131 214154 214160 214151 214158 214139 214142 214155 214162 214152 214159 227852 227843 227842 227811 227809 227838 227840 227839 227766 227834 227835 227833 227831 227832 227805 227792 227802 227836 227799 227726 227719 227730 227727 227731 227729 200756 200783 200787 227819 227820 227692 227695 227694 227696 227691 227697 227587 227586 227584 227574 227579 227581 227588 227577 227585 227523 227718 227747 227816 227827 227818 227800 227803 227740 227823 227743 227830 227807 227795 227801 227804 227829 241300 241291 227717 227738 227733 227870 241296 227722 227724 227826 227741 227739 227715 227706 227712 227714 227756 227707 227758 227716 227750 227754 227759 227760 227757 227711 200678 200729 200728 200727 200691 200677 200681 200685 200700 200716 200749 200713 200755 200718 200712 200719 200711 200709 200767 200743 200746 200702 200689 200707 200697 200769 200722 200725 200704 200705 200708 200703 200742 200773 200771 200772 160034 160037 160031 160027 160026 160033 160023 160022 160018 160030 160036 160020 160025 160021 160032 227734 227753 227705 227752 227765 227748 227749 227762 227744 227761 227763 227764 227698 173286 173434 173335 173334 173330 173332 173333 173336 173331 173285 173284 173432 213929 213927 213924 213928 214259 173280 173277 173274 173279 173269 173271 173272 173273 173270 173265 173266 173281 173275 173283 173282 173276 173278 173261 173262 160017 160029 159998 160035 160016 173241 173237 173242 173240 173243 173238 159922 159914 159882 173287 173290 173289 173288 173291 173317 173180 173179 213930 213977 213976 213975 214091 214090 214092 214088 214089 213978 213979 214192 214206 214246 214242 214244 214245 214243 214230 214232 214239 214241 214228 173354 200684 200721 200779 200793 200774 173230 159941 173233 173235 173146 173147 173169 173171 173170 173166 173172 173218 173221 173217 173220 173219 173222 173223 173145 173140 173144 186727 186728 214237 214247 214209 227725 227751 200401 200374 200491 200492 200425 200493 200509 200510 200501 200500 186738 186735 186739 186736 186784 186749 186742 186759 186778 186779 186782 186786 186769 186722 186768 186776 173616 186868 186869 186872 186767 186930 186929 186788 186914 186944 186862 186774 186813 186801 186928 186838 186802 186926 186764 186770 186812 186780 186785 186777 186772 186781 186783 186773 186832 186831 186942 186943 186854 186924 186763 186906 187019 186857 173619 173623 186815 186860 186835 186762 173613 186798 186905 186839 173620 186865 186915 186748 186925 173603 186941 186923 186833 186864 186867 186775 186866 186814 173612 173617 173608 186927 186945 186870 186871 186761 186834 173609 186790 186836 186760 186907 186791 186837 186811 186746 186810 186789 186771 173398 173255 173412 173396 173260 173366 173395 173373 173254 173399 173353 173411 173374 173258 173452 173453 173454 173490 173491 173489 173492 173493 173488 173456 173459 173448 173465 173498 173499 173455 173497 173460 173467 173451 173495 173457 173458 173461 173494 173496 173463 173444 173442 173443 173437 173445 173386 173384 173400 173389 173385 173377 173378 173381 173380 173382 173375 173404 173403 173370 173379 187102 187100 200778 187167 187163 187160 187169 187142 187141 187185 187186 187184 187187 187183 187182 200511 200512 200513 187143 187106 187110 187109 187108 187099 200790 200630 200637 200639 200632 200667 200666 200662 200661 200633 200631 200670 200668 200627 200628 200629 200623 200669 200635 200671 200664 200665 200663 200397 200396 200399 200398 200400 200376 200386 187136 187145 187140 200388 200384 200377 200375 187147 187158 187148 200422 200423 200424 187159 200347 200348 187192 187170 187209 187206 200332 200328 200349 200325 200334 200346 187205 200417 200418 187208 200420 200421 200419 187139 187135 187144 200324 200323 200309 200310 187198 187199 187194 187195 187203 187190 187202 187207 187204 187193 187201 187197 187188 187094 187113 187123 187111 187116 187114 187125 187133 187122 187129 187127 187117 187128 187119 187130 187118 187103 187126 187121 187131 187132 187181 200387 200385 213991 214108 213993 213988 200531 200527 200528 200680 200515 200516 200514 200530 200529 200605 200355 200353 200363 200360 200368 200369 200358 200365 200367 200372 200366 200350 200364 200371 200359 200354 200356 200370 200308 200357 200362 200335 200361 173347 173348 173352 173409 173408 173350 173351 173383 173397 173387 173388 173390 173376 173394 146092 132789 187054 187093 187189 200321 200322 187096 187095 200660 227582 227728 227837 227841 214195 214203 214199 214197 214201 213944 213947 213981 213980 200775 213902 213904 213903 213898 214240 214198 213938 200620 200699 214185 214188 214182 214183 214186 214189 200640 214093 214094 213937 200766 213900 200345 214204 214190 214210 214211 200606 200615 200616 200613 200611 200610 200614 200612 200617 200439 200435 200440 200436 214048 214045 214075 200648 200658 200659 200651 200656 200655 200657 200653 200654 214018 214016 214013 214012 214049 200672 213906 214047 214046 214212 214200 214202 213905 200650 200649 200652 200643 200644 200602 200599 200647 200641 200642 200542 200646 200645 200342 200341 200338 200573 200546 200575 200567 200574 200543 200591 200593 200570 200589 200539 200571 200534 200568 200590 200594 200592 200588 200576 200572 200579 200577 200585 200582 200578 200596 200352 200456 200457 200458 200452 200453 200454 200455 200580 200538 187091 214149 214150 187086 200314 200320 200313 187092 187098 187156 187105 187157 187180 214166 214167 214126 214170 214169 214173 214172 200587 200545 214134 214135 214146 214137 200533 200586 200553 200556 200547 200555 200554 200552 200565 200535 200544 200437 200445 200446 200449 200450 200438 200444 200443 200442 200448 200441 200433 200447 200451 200434 200407 200520 200524 200522 200525 200526 200523 200402 200519 200405 200344 200343 200426 200432 200427 200430 200549 200551 200409 200416 200414 200415 200410 200412 200413 200351 200609 200608 200607 200507 200506 200503 200504 200502 200505 200564 200583 200557 200581 200584 200563 200561 200540 200597 200603 200600 200550 200566 200548 200562 200560 200569 200559 200558 187081 187080 187083 187082 187076 187079 187078 187084 187077 187043 187042 187046 187049 187045 187053 187051 187044 187041 200673 187085 187075 200312 200316 200317 200319 200318 173600 173525 173530 173601 173554 173506 173543 173528 173540 186734 173519 173522 173559 173542 173535 173532 173547 173541 173512 173524 173562 173561 173573 173572 186737 186723 186724 200389 200390 200392 200395 200394 200391 200393 187087 187074 173508 173513 173606 173618 173611 173607 186855 186861 186853 186856 186852 186851 186858 186863 186859 186847 186848 186850 187037 186960 187034 186849 187040 173615 173527 186938 173391 173393 173392 187006 187002 186999 187008 187004 105250 105249 118993 118872 118861 118885 118908 118906 118984 118812 118834 118853 118837 118840 118977 118854 118976 118856 118830 118985 118831 118901 118841 118907 118882 118816 118855 118844 118829 118868 118975 118902 118860 118833 118859 118994 118832 118869 118884 118909 118870 118871 118858 118818 118883 118843 118995 119012 119013 119015 118996 119011 119014 118998 118999 105673 118808 118805 118997 119000 105558 105563 105560 105559 105561 105562 119089 186981 186986 186983 186990 186827 186829 186824 186828 186830 186826 186823 186991 186996 186992 186993 186933 187017 187011 187010 187014 187016 186841 186846 186844 173487 173486 173468 186840 187073 186989 187072 187071 186979 186765 186970 186964 186966 186971 187069 187068 187070 186967 186972 186961 186976 186980 186973 186969 186968 186940 186939 186936 186934 187061 186959 186982 187062 187026 187028 187031 187030 187027 187029 173428 173431 173427 173440 173441 173430 173424 173425 187032 187038 186732 186730 186733 186731 186922 105295 105391 105323 92107 92104 92093 92101 92088 92097 92106 105297 105320 105296 105298 105321 105322 105299 105317 105319 105389 105316 105318 105390 105248 105233 105206 105253 105252 105254 105264 105262 105260 105261 105258 105256 105267 105259 105268 105257 105270 105266 105255 105251 105263 105269 105265 92096 92092 92103 92100 105399 105398 105425 105426 105315 105411 105413 105409 105412 105414 105407 105408 105410 105429 105427 105428 105222 105219 105246 105245 105247 92068 92091 92086 92090 92099 91992 91991 92095 92102 92105 92034 92038 92043 92033 92037 92042 105232 105274 105230 105226 105285 105286 105284 105282 105275 105243 105244 92087 105223 105220 105273 105283 92008 92006 92084 92083 92085 92082 91990 92007 92080 92081 91994 92000 91993 92004 92056 92065 92079 92067 105208 92045 105207 105221 91997 92061 92058 92046 92057 91989 91998 91996 92041 92003 92040 92039 92054 92078 105211 92055 105218 105212 186937 92015 92027 92017 92021 92025 92026 92014 92028 92016 92031 92030 92024 92029 92020 92012 92001 92023 92019 92009 91952 105324 78421 78422 78412 78414 78420 78417 78410 78404 78411 92011 78455 78468 78453 78454 91820 91819 91805 91737 91730 91711 91736 91734 91735 91712 91710 91816 91814 91815 91818 91817 91803 91804 91686 91713 91709 91708 91733 91732 91731 78438 78434 78433 78440 78428 78457 78408 78407 78437 78448 78429 78443 78423 78441 78447 78452 78439 78430 78426 78444 78431 78442 78451 78415 78445 78435 78403 78456 78481 78469 91626 78475 78479 78472 91625 78499 78498 78496 78497 91841 91843 91842 91828 91826 91827 91822 91824 91840 91821 91823 91825 91839 91813 91812 78501 91646 91644 91659 91660 91661 91640 78515 91671 91672 91702 91701 91703 91704 91700 91696 91705 91689 91699 91706 91698 91707 91688 91675 91674 91633 91636 91658 91657 78511 91662 91665 78510 78514 91669 91668 91684 91683 91681 91682 91667 91647 91680 91677 91678 91679 91676 78459 91622 91635 78517 78520 78506 78504 78505 78502 78507 91767 91766 91765 91770 91768 91769 91670 91673 91634 91637 78518 78521 78509 78513 78405 91620 91666 91664 91630 91629 91631 91628 91624 78482 78519 78516 78500 78406 91888 91881 91884 91878 91871 91874 91918 91917 91757 91687 91697 91940 91941 91935 91939 91979 91977 91975 91978 91973 91974 91943 91942 91944 91945 91981 91949 91947 91982 91980 91983 91951 91972 78425 91758 91897 91889 91891 91900 91894 91890 91904 91902 91906 78470 78471 91621 78460 91960 78495 78494 78493 78492 91749 91756 91755 91754 105242 91753 91663 78366 91764 78398 91928 91927 91929 91923 91925 91926 91919 91912 91924 91920 91921 91922 91970 91971 91969 91911 91958 91966 91956 91965 91963 91954 91964 91968 91967 91953 91957 91955 91962 91961 91914 91747 91752 91751 91748 91959 91835 91834 91836 91837 91832 91838 91760 91762 91763 91750 91759 91761 91746 91742 91744 91739 91862 91883 91864 91865 91860 91867 91861 91866 91863 91879 91850 91901 91859 91851 91856 91882 91854 91855 91852 91887 91847 91858 91903 91880 91857 91868 91870 91886 91845 91905 91846 91873 91872 91893 91892 91896 91895 91877 91876 91875 91898 91899 91831 78418 105272 91745 91729 91738 91885 105294 91869 91932 91976 105241 91632 186985 186975 119180 119178 119179 186953 186957 186958 186952 186947 186949 186956 186954 186948 187001 187005 186997 186998 186995 187003 186994 187000 187007 173500 173405 173361 173362 173371 173414 173413 173416 173406 173410 173367 173407 173415 173372 173368 173363 173422 173419 173421 173418 173417 173420 186726 186758 186757 187065 186752 186755 186756 187025 187023 186916 186921 186918 186920 186917 186919 186806 186807 186804 186809 186803 186808 186805 119168 119162 119169 119176 119170 119172 119186 119173 119200 132380 119217 119218 119257 119253 119256 119252 119254 119255 119251 132416 132394 132391 119259 119163 187018 186903 186874 186875 186876 186877 186873 186799 132419 132418 132417 132488 132487 132467 132466 132493 132494 132469 132470 132490 132489 132492 132491 132468 132562 132471 132429 132433 132432 132599 132600 132597 132601 132586 132598 132585 132584 173485 173483 173484 173482 173475 173476 173402 173401 173479 173472 173470 173481 119202 119203 119199 119175 119201 132460 132463 132464 132461 132459 132462 132465 132398 132404 132402 132392 132395 132420 132423 132510 132506 132505 132509 132637 132645 132638 132440 132441 132442 132563 132495 132571 132570 173584 173602 173604 173621 173622 132444 132561 187020 187013 200508 227737 227961 227710 227851 241208 241192 187039 173439 173474 146119 146115 146117 132437 132436 132438 132769 132435 132434 132426 132425 132427 132439 132405 132446 132456 132431 132428 132485 132486 132483 132479 132482 132480 132484 132478 132481 119229 132379 119228 119212 119213 119211 119184 119181 119195 119187 119191 119189 119188 119192 119197 119193 132383 119226 119233 119227 132384 119230 119239 119237 119250 132390 119215 119206 119210 132378 132424 132477 132472 132475 132644 132640 132641 132643 119165 119166 119124 119161 132393 119164 146118 146116 146158 146160 146057 146157 146261 146148 146081 146149 146156 132701 132703 132702 119183 132496 132422 132421 132750 132690 132697 132693 132731 132730 132732 132709 132705 132707 132698 132700 132699 132740 132734 132737 132736 132738 132739 132741 132735 132733 132788 132777 145969 132825 132798 145984 146005 132770 132800 132781 132783 132785 145978 145977 145980 132580 132579 146080 146079 146078 146074 146077 146073 146075 146076 132582 132583 132581 146086 146083 146088 132596 119209 119214 119205 119156 119198 119196 132593 132594 132590 132589 132723 132719 132718 132720 132728 132722 132729 132721 132726 132725 132717 132512 132516 132515 132514 132511 132513 119279 119276 119268 119272 119275 132527 132528 132578 132576 132575 132577 132573 132572 132574 132524 132525 132508 132507 132504 132503 132675 132526 146147 146030 132414 132413 146274 146201 146202 146223 132388 132386 132389 132382 132387 132522 132615 132517 132518 132523 132519 132520 132616 132521 132500 132497 132592 132727 132502 132595 132724 132617 132804 145965 132837 132840 132842 132815 145966 132803 132814 132841 132838 132843 146011 146028 145991 146014 146006 146020 146025 146012 146017 146009 146023 146010 146026 146022 145964 146024 146021 146027 146013 132756 145976 132836 132755 132751 132752 132762 132761 132748 132765 132764 187058 187067 187060 187056 186819 186821 186816 132747 132676 146082 146280 146282 146281 146145 132853 132855 132865 132851 132850 132861 132860 132864 132857 132846 132863 132862 132858 132859 132844 132848 159873 159870 159912 159910 159909 159877 159875 159871 159879 159913 159911 159906 159904 159862 159903 159902 159907 159908 159881 159874 159905 159865 159869 159872 146307 146310 146312 146309 146311 132791 132839 132795 132819 132813 145979 132754 132766 132758 145970 132826 132849 132854 132636 132646 132639 132642 132655 132652 132660 132658 132662 132664 132649 132647 132648 159813 159817 159816 159810 159815 159812 159901 146322 146325 146327 146318 146319 146324 146326 146320 146321 146323 132686 132685 132687 132684 132681 132682 132679 132680 132683 132677 132678 132712 132667 132670 132673 132672 132669 132666 132714 132631 132621 132628 132624 132630 132625 132627 132619 132635 132622 132623 132618 132620 132632 132629 132634 132633 132626 132612 132659 132614 132610 132651 132613 132604 132605 132609 132657 132654 132663 132661 132603 132608 132716 105577 118836 105568 105565 105564 105567 105566 105569 105214 105210 105215 105216 105217 105529 105525 105533 105535 105518 105530 105521 105527 105526 105528 105537 105531 105239 105236 105240 105554 105557 105551 105555 105556 105550 105553 105546 105552 105548 105540 105545 105420 105421 105418 105503 105466 132715 132713 132711 119150 119147 119149 119146 119154 119152 119155 119148 119151 119153 119117 119114 119113 119119 119111 119115 119123 119121 119116 119112 119145 119144 119132 105549 105542 105544 105328 105443 105356 105355 105354 105330 105325 105444 105468 105465 105469 105472 105471 105473 105314 105423 105313 105424 105310 105300 105308 105311 105305 105307 105303 105312 105334 105337 105336 105338 105332 105333 105335 105331 105349 105347 105350 105345 105353 105352 105346 105351 105348 91984 105341 105340 105343 105342 105344 105339 119142 119141 119143 119139 119140 119138 105432 105440 105441 105437 105436 105431 105491 105487 105489 105470 105476 105477 105475 105474 105486 105480 105483 105467 105538 105422 105417 105547 118851 118839 118819 118852 118848 118849 118850 119102 118842 118905 118904 118903 118881 118880 118920 118919 118924 118923 118846 118838 118845 118792 118847 105689 118809 118806 119131 105490 105488 105492 118926 118925 118927 105686 105683 105687 105690 105693 105692 105682 105674 105679 105678 105570 119109 119110 118911 118916 118929 118930 118921 118928 118914 118942 118910 118940 118941 119135 119055 119059 119052 118899 118896 118898 118893 118900 118894 119137 118939 118933 118936 118934 118931 118937 118932 118935 118917 118938 118922 118918 119108 119051 119008 119009 119004 119007 119010 119006 119003 105594 105592 105593 105580 105632 105590 105583 105642 105584 105586 105582 105575 105576 105631 105579 118891 105665 105543 105539 105541 105643 105625 105626 105589 105627 118793 105664 105647 105669 105651 105666 105671 105670 105667 105668 105653 105644 105641 118807 118794 105578 118798 118797 118804 105597 118897 118889 118886 105685 105654 105691 105681 105688 105676 105672 105607 105611 119088 118973 105606 105609 105605 105610 105629 105600 105614 105602 105601 105612 105620 105603 105624 105617 105613 105628 105619 105587 105615 105598 105677 105623 105595 105616 118944 118947 118943 118945 118946 105640 105288 105289 105290 105291 105292 105293 105287 105460 105464 105457 105402 105511 105515 105507 105504 105508 105510 105401 105509 105406 105405 105456 105463 105506 105403 105513 105512 105404 105459 105400 105505 105454 105458 105461 105514 105455 105462 78253 78254 78236 78235 78239 78238 78237 78241 78255 78240 78242 78256 78113 78114 78150 78126 78148 78145 78103 78110 78227 78112 78111 78218 78151 78125 78226 78102 78101 78122 78123 78143 78144 78147 78149 78127 78146 78141 78142 78100 78139 78136 78140 78138 78135 78098 78097 119107 119086 119104 105495 105500 105498 105497 105501 105494 119278 118835 119026 119046 119074 119030 119039 119064 119027 119024 119038 119070 119076 119065 119063 119029 119075 119028 119066 119056 119023 119018 119017 119022 119077 119073 119037 119031 119067 119061 119043 119068 119062 119071 119050 119034 119053 119019 119069 119078 119072 119060 119036 119130 119126 119128 119098 118986 118987 119096 118991 118988 118990 118989 119265 119269 119273 119264 78074 78075 78054 78058 78060 78073 78086 78082 78085 78076 78088 78080 78096 78094 78092 78089 78090 78034 78083 78091 78061 78093 78081 78079 78095 78373 78374 78365 78050 78047 64819 64915 78331 78231 78230 78228 78232 78229 78048 78051 64817 64836 64828 64832 64822 64826 64818 64821 64831 64869 64868 64885 64873 64874 64907 64886 64911 64889 64893 64910 64895 64913 78040 78036 78049 64825 78035 78353 118826 118822 118828 118825 118827 78233 78234 78072 78071 64870 64865 64871 64862 64861 64866 64837 64843 64859 64856 64848 64840 64852 64858 64855 64849 64829 64857 64845 78039 64906 64883 64882 78346 78349 78344 64931 64932 64925 64929 64921 64920 64924 64930 64919 64918 64923 64935 64934 78361 78363 64928 64933 78364 64927 64916 51085 51083 51068 51084 51070 50953 50954 50977 50952 50978 51046 51056 50955 50950 51064 51159 51065 51081 51082 50931 50930 50940 50972 50971 50975 50974 50973 50938 50928 50942 50939 50929 50943 50944 50946 50947 50948 50949 64914 64896 78356 78358 78357 78355 78354 78359 78350 78351 78297 78301 50916 50917 50913 50924 50925 50926 50923 78352 50907 50921 50889 50904 50922 50909 50911 50910 50919 50918 50862 50912 50941 50914 50908 50915 50994 50990 51054 51055 51047 51045 50979 51172 64834 64844 64867 64853 64912 64847 64851 64835 64908 64842 64854 64909 78243 64820 78330 78258 78308 78318 78298 78295 78314 78302 78311 78320 78305 78303 78316 51010 51012 51011 51158 37726 91656 91655 11433 11420 11418 11436 11444 11443 11448 91714 91724 91727 91721 91717 91725 91728 91726 91722 91719 37678 37670 91654 91650 91653 37661 50989 50993 37711 37710 37709 37668 37659 37660 37663 37667 37674 37676 37677 11488 11486 11425 11404 11413 11410 11412 11406 11399 11400 11414 11449 11245 11072 11085 11068 11090 11073 11084 11069 11070 3842 11249 11247 11076 11089 11075 11082 11088 11083 11071 11151 11080 11074 11081 11077 11079 11026 11087 11162 11155 11078 11053 11159 11086 11164 11163 3746 11161 11160 11176 11248 11246 11175 11174 11039 11107 11114 11064 11103 11063 11067 11066 11050 11052 11402 11447 11446 11409 11460 11109 11135 11110 11116 11042 11104 11141 11095 11108 11323 11111 11136 11113 11094 11040 11227 11220 11210 11228 11223 11211 11226 11219 11143 11119 11218 11046 11065 11230 11234 11229 11221 11233 11222 11231 11232 11225 11224 11445 11396 11142 11092 11322 11112 11115 11105 11140 11139 11137 11093 11118 11102 11106 11138 11043 11117 11209 11336 11041 11027 11028 11484 37664 37666 37715 37737 37735 37727 37731 37728 23851 23850 23852 23938 23846 23829 23920 23849 23814 23825 23921 23853 23824 23776 23804 23773 23762 78394 78392 78395 78390 78396 78391 78397 78388 78393 11487 11423 11485 11491 11489 11427 11430 11434 11490 11437 23741 11415 11440 23742 11407 11431 11451 11452 11403 11462 50984 50986 50980 50981 50879 37757 78387 78386 78377 78379 78380 78382 78384 78381 78383 78385 78078 50878 37707 37703 37708 37713 37704 50864 50863 37687 37695 37685 37686 37691 37697 37696 37684 37690 37771 37767 37774 50876 37679 37671 37694 37701 37699 37682 37712 11432 1079 1080 3706 3729 3690 3694 3732 3736 3733 848 1393 3700 1066 1041 1130 3699 855 937 1392 1157 3737 3730 1397 1060 910 3731 3727 3856 3843 3852 3728 3696 3735 1395 934 3734 3862 3697 3848 3855 3861 3859 11463 3704 3698 893 1132 1263 1372 1261 932 1109 1052 858 892 3702 1046 891 1053 1232 936 1056 1153 11467 11473 11471 11154 3858 3847 11158 3851 11461 50877 37700 37751 37753 37755 37754 37689 37725 37748 37673 37662 23780 23779 37773 37776 50900 37770 37758 37763 37762 37766 227814 227825 50899 50882 50886 50902 50903 51058 51060 51059 51057 11421 11395 11426 11439 11464 23760 23827 23848 11435 11429 37772 37760 37761 37756 37775 37765 37769 37738 51080 51079 51076 51078 51074 51077 51073 23928 23929 23750 23753 11153 11157 50867 50996 50998 50995 50999 51000 50997 50987 50991 51008 51009 51004 51005 51006 51007 51003 50992 51002 50988 51001 11156 11169 11170 11172 11171 11168 11166 11173 11165 11167 3841 3850 3823 3857 3846 3854 50875 50976 50945 37698 37777 37716 37693 51069 51067 51066 50874 50868 37724 50901 50920 23816 23815 23803 23812 23828 23826 23775 23845 23805 23777 23756 23774 23813 23847 227616 187047 186800 227828 3749 3738 3845 3860 3695 3748 64667 64668 64631 64514 64563 64632 64633 64541 64641 64565 51194 51233 1107 1150 1394 843 1064 1224 860 907 1259 1246 1110 930 919 908 935 1106 917 1116 1248 1186 1133 859 11337 11051 11398 11397 11493 23752 24107 24203 37605 37612 37644 37609 37643 37615 37611 37614 37610 37613 37602 37642 37645 37617 37650 37646 37651 37619 37652 37621 37653 37649 37647 37648 78304 64640 64884 78046 78084 78217 78216 64824 78124 78389 78257 64557 64558 64538 64539 64562 64564 64540 51234 78322 78087 78219 51191 51189 51223 51193 51224 51225 51181 51182 51184 51183 51174 51177 50970 50969 50964 50963 50961 50968 50966 50956 50898 50897 50895 50892 50896 23937 51220 51219 51221 51216 37334 37333 51180 51178 51017 51013 51015 51043 51016 50967 51014 37752 50959 37749 37750 50888 37681 50906 24157 24155 24156 37295 24195 24196 24198 24199 24200 24201 24197 24174 24183 24181 24177 24171 37296 24170 24173 24172 24162 37292 24161 37291 37305 24114 24120 24106 24112 24113 24122 24109 24124 24123 24110 24116 37567 37564 37378 37402 37403 37380 37400 37406 37404 37399 37401 37381 37405 37382 37379 37561 37560 37559 37640 37641 37570 37576 37574 37572 37551 37554 37558 37548 37544 37541 37513 37512 37498 37511 37496 37497 37491 37492 37356 37473 37407 37475 37474 37383 37509 37510 37495 37494 24119 24105 24194 24068 51179 51214 51218 51217 51222 51215 37598 37599 37597 50905 37306 37303 37398 37397 37304 37316 37331 37314 37329 37330 37310 37507 37508 37504 37501 37505 37506 37502 37436 37437 37439 37440 37438 37484 37483 37486 37482 37434 37435 37630 37629 37588 37490 37489 37587 37596 37590 37589 37638 37632 37633 37631 37591 37594 37593 37592 37595 24127 37327 37328 24108 24147 37302 24143 24154 24144 24150 24142 24130 24159 37393 37394 24153 24158 24149 37396 37395 37391 37390 24133 24137 24131 24132 24141 37358 37368 37325 37326 37324 37320 37294 37300 37299 37301 24223 24222 24220 24219 24100 37298 24217 24139 24145 24117 24125 24136 24146 24140 24128 24135 24212 24216 24208 24204 24209 24213 37290 37336 37337 37338 37317 37335 37339 37332 37628 37624 37428 37425 37627 37623 37581 37371 37373 37376 37377 37372 37374 37375 37354 37353 37525 37516 37524 37515 37575 37571 37578 37487 37485 37488 37352 37351 37418 37422 37430 37431 37432 37416 37424 37550 37549 37528 37553 37557 37530 37529 37535 37543 37555 37552 37539 37540 37531 37534 37533 37537 37556 37536 37532 37542 37538 37569 37568 37520 37522 37562 37563 37521 37566 37526 37573 37565 37412 37414 37409 37419 37423 37426 37415 37340 37341 37342 37343 37345 37344 37634 37387 37389 37384 37585 37349 37408 37433 37637 37582 37346 37579 37527 37635 37347 37429 37350 37421 37420 37417 37348 37626 37625 37636 37307 37639 37427 37584 11152 23749 37517 50951 37493 51063 1131 64526 64516 51283 51250 51329 51282 51242 51253 51239 51240 51298 51281 51249 51246 51248 51245 51343 51339 51338 118992 119090 119097 105452 105450 105449 105448 105445 105446 105451 105453 105447 105482 105478 105479 105485 105442 105438 105484 105433 105481 51148 51123 51144 51146 51132 51133 51139 51346 51334 51349 51345 51335 51236 51232 51238 51235 64515 64525 64517 64528 64524 64527 64492 64489 64472 64488 64474 51287 51299 51288 51296 64461 64449 51307 51300 64450 51303 51297 51326 51322 51324 51327 51321 51325 51284 51259 51256 51273 51276 51268 51251 51271 51285 51279 51262 51280 51261 51270 51269 51265 51267 51254 51263 51266 51243 64464 51348 64465 64462 64468 64487 64463 64486 64485 51332 51344 51333 51328 51330 51310 51341 51347 51337 51342 51231 51257 51320 51275 51272 51309 51323 64494 64649 64671 64653 64596 64510 64511 64493 64595 64490 64670 64652 64808 64802 64507 64502 64650 64475 64509 64495 64501 64594 64500 64810 64804 64805 64809 64811 64807 64806 64656 64560 64559 64537 64506 64597 64505 64498 64448 64746 64745 64512 64496 64651 64655 64499 64654 64508 64504 64598 64503 64497 64536 64592 64669 64803 64561 64593 64587 64575 64578 64581 64788 64576 64589 64591 64590 64574 64583 64579 64573 64588 64577 64585 64586 64787 64580 64582 64584 78169 78171 78159 78168 78163 78167 78170 78172 78175 78164 78166 78180 78160 78177 78176 78181 78173 78178 78179 78162 78161 78165 78174 78294 78293 78310 78291 78292 78317 78265 78269 78266 78306 78307 78270 78288 78280 78282 78271 78283 78279 78276 78273 78285 78278 78284 78281 78260 78319 78315 78259 78268 78264 78272 78287 78309 78152 64780 119095 119093 78158 78153 78156 132653 132656 132650 119080 119083 119087 119084 119081 118876 118877 118878 118874 118879 118875 119045 119042 119041 119049 119040 119099 119101 119100 64812 51226 78313 78184 78261 78312 78182 78183 132415 132430 146335 159593 159594 159590 159589 159591 159588 159587 159629 159638 159570 159567 159576 159574 159630 159564 159618 159628 159604 159605 159660 159659 159735 159667 159617 159627 159742 159743 159771 159772 159773 159614 159613 159750 159749 159612 159611 159642 159666 159770 159769 159751 159752 159639 159641 159665 159768 159640 159664 159700 159698 159699 159734 159643 159663 159662 159661 159756 159757 159758 159619 159603 159753 159755 159754 159626 159745 159748 159744 159733 146445 146441 146384 146344 146451 146448 146399 146338 159607 159608 159601 159598 159599 159606 159609 159602 159597 159577 159610 159595 159592 159600 159550 159596 159787 159635 159632 159631 159636 159637 159633 159634 146317 146316 146007 146432 146437 146436 146440 146444 146315 146071 145999 145998 146069 146313 145994 146314 146061 146070 146000 146065 146068 146066 146058 146063 146072 146412 146434 146424 146429 146426 146425 146423 146224 146431 146447 146450 159767 146439 146435 146443 146449 146341 146400 146389 146333 146342 146390 146334 146385 146422 146427 146398 146340 146383 146347 146411 146351 146428 146348 146337 146430 146401 146402 146350 146409 146352 146446 146405 159746 159747 159830 159827 159834 159848 159847 159900 159899 159859 159858 159857 159855 159839 159851 159845 159854 159856 159853 159842 159824 145997 146213 146212 145974 145968 145972 145973 146270 145975 146262 146271 146269 146283 146279 146276 146286 146289 146287 146288 146291 146295 146285 146284 146293 146272 146259 146252 146253 146256 146273 146336 159890 159889 159766 159762 159765 159841 159838 159844 159893 159892 159891 159898 159897 159896 159807 159803 159802 159800 159805 159806 159669 159685 159679 159682 159691 159676 159694 159693 159696 159683 159680 159688 159689 159684 159686 159692 159675 159695 159681 159677 159697 159690 159687 159678 159799 159798 159674 159672 159616 159849 159852 159850 159561 159560 159559 159558 159554 146235 146248 146244 146228 146234 146233 146225 146232 146246 146250 146241 146238 159553 159557 146302 146300 146298 159583 159586 159580 159584 159585 146355 146296 159668 146328 159788 159809 159785 159831 159814 159818 159811 159792 159790 159793 159794 159808 159795 159797 159791 159804 159801 159789 159796 159886 159895 159888 159894 159885 159887 159819 159820 159821 159782 159777 159786 159829 159823 159776 159781 159833 159826 159884 159822 159784 146218 146222 146215 159825 159780 159775 159828 159578 159579 159764 159654 159644 159658 159652 159651 159657 159581 159582 159761 159656 159655 159647 146227 146231 146214 146236 146243 146242 146240 146221 146237 146239 146189 146195 146194 146198 146196 146191 146203 146211 146249 146245 146199 146208 146206 146190 146209 146200 146217 146247 146210 159649 159883 159832 159836 227755 241374 173501 159915 146265 146255 146267 146258 146268 241333 132743 146329 105571 119157 118873 118803 118802 118801 118800 118796 64664 64660 64662 64665 64666 64663 64659 51120 51129 51107 51109 51106 51128 51101 51127 51116 64567 64570 64572 64566 64452 64459 64457 64458 64456 78077 64454 64460 64453 78251 78246 78245 78248 78250 78252 78249 64744 64839 64556 78115 78119 78117 78118 78116 78120 78121 78343 78342 78341 132408 132411 132412 78368 64555 78321 64535 64483 64484 64533 64529 64534 64530 64532 64531 64779 64772 64769 64773 64775 64770 64768 64771 64767 64777 64800 64801 64760 64763 64766 64764 64765 64758 64602 64601 64603 64629 64599 64600 51187 51186 51185 51202 51201 78372 78370 51209 51210 51207 51212 51205 51208 37546 37545 37547 64697 64698 64644 64645 64643 64642 64646 64647 64648 51211 51200 51198 64716 64712 64730 64725 64734 64718 64717 64732 64719 64722 64728 64711 64715 64706 64702 64699 64709 64701 64705 64707 64708 64690 64693 64713 64686 64692 64688 64687 64695 64694 64710 64689 64714 64691 64726 64720 64724 64721 64674 64683 64673 64678 64682 64723 64679 64727 64553 64549 64554 64552 64550 64733 64729 64731 64799 64798 37622 37654 51088 64797 64784 64796 64786 64782 64793 64795 64791 64794 78133 78128 78131 78069 78070 78067 78064 78068 51213 51196 64753 64755 64752 64754 64757 64756 64751 64749 64684 64675 64680 51150 51156 51137 51145 51147 51143 51134 64491 64739 64736 64742 64743 64737 64740 64545 64547 64542 64700 64703 64704 64685 959 956 51103 64482 64478 64481 64696 51169 51170 51171 51160 51167 51061 51166 51168 51062 51157 51163 51153 51165 51154 51151 51114 51117 51094 51102 51099 51115 51096 51112 51131 51141 51119 50870 50866 50873 50872 50871 51111 51124 51092 51135 51110 51130 51108 51098 51140 51105 51125 51118 51138 51136 51100 51142 51093 51089 51087 51126 51113 51121 51122 51097 51104 871 872 875 866 882 895 877 864 1185 1184 869 873 845 894 844 853 909 1151 897 1233 1223 1241 846 1057 931 1054 1242 852 867 850 842 898 890 861 1149 885 1045 880 1152 849 856 913 1396 1244 1247 1260 1243 1245 1129 1187 876 1337 1154 868 1225 1262 933 879 883 889 878 881 906 886 1118 939 1077 1081 1156 1078 3491 3466 3576 3467 3577 3490 3568 3567 78399 78339 78332 78335 78326 78038 78043 78337 78042 78328 78045 78044 78329 78323 78325 78340 91985 64813 78338 51227 37655 24101 3492 3560 3468 3559 3558 3441 1379 1380 3443 3453 3442 3452 3444 3454 3594 3583 3595 3401 3415 3596 3581 3598 3597 3582 3416 3399 3578 3579 3580 3463 3464 3487 3525 3524 3523 1074 1073 1257 1251 1070 1256 1075 1255 1076 1258 1252 804 836 1104 1176 1173 1178 1174 1177 1254 1399 1402 1398 1401 1400 1403 1336 3484 3488 3489 3455 3485 3465 3486 3451 3430 3427 3426 3428 3429 3425 3375 3433 3422 3435 3431 3420 3421 3434 3439 3438 3424 3417 3432 3437 3402 3436 3423 1103 3522 3521 3414 3395 3476 3512 3508 3513 3511 3509 3510 949 1189 1190 1188 952 945 954 920 938 951 948 944 940 1102 942 955 943 958 1108 841 1363 1364 1362 1365 1359 1355 1369 1367 1371 1360 1361 3392 3413 3672 3389 3412 1428 1417 1414 1476 1424 1426 1427 1411 1504 1500 1501 1505 1499 1420 1503 1502 1465 1413 1466 1477 1418 1524 1521 1517 1527 1507 1410 1474 1423 1461 1460 1459 1416 1412 1310 1309 1314 1304 1324 1317 1308 1326 1322 1311 1320 3419 3408 3409 3405 3410 3411 1487 1478 1485 1481 1475 3403 3407 3406 1409 1508 1513 1512 1516 1523 1526 1520 1510 1511 1488 1506 1522 1525 1515 3404 1301 1298 1431 1519 3687 1293 37323 3384 3383 3379 1404 1391 1390 1498 3504 3612 3418 3520 3500 3638 3637 3502 3517 3642 3514 3515 3516 3613 3635 3507 3634 3501 3505 3503 3519 3506 3640 3641 3518 1294 3481 3477 3479 3480 3590 3723 3726 3717 3482 3725 3591 3589 3472 3474 3716 3724 3587 3592 3586 3721 3483 3718 3469 3715 3714 3593 3722 3711 3720 3712 3713 3708 3710 3709 3719 3493 3378 3382 3499 3497 1287 1300 1299 1284 1297 1279 1282 1285 1303 1291 3494 1286 953 1155 3789 3793 3798 3747 3764 3783 3772 3778 3781 3785 3767 3776 3775 3780 3779 3782 3786 3784 3756 3769 3774 3839 3836 3835 3837 3838 3840 3816 3820 3813 3822 3762 3753 3755 3763 3759 3761 3812 3800 3801 3811 3752 11096 11101 11205 11206 11191 11201 11203 3834 11192 11207 11204 11200 11177 3797 24095 24097 24067 24092 24058 24060 24098 24096 24094 24057 24091 24055 24090 24093 24059 24063 24056 24099 24065 24061 3745 11181 11179 11180 11178 11145 11148 11150 24089 24088 24085 24086 24087 3707 3766 3788 11144 3792 3739 11344 11342 11343 3744 23947 23954 23955 23956 23958 23957 23959 23883 23953 23950 23882 23822 23823 23884 23886 23885 23781 23778 23784 23785 23844 23843 23948 23951 23952 23942 23944 23943 23941 23940 23939 23936 23788 23786 23789 23790 23787 23791 23935 23796 23798 23783 23763 23794 23792 23800 23799 23736 23782 23793 23797 23795 11510 11503 11507 3810 3809 3758 3833 11032 11038 3795 3796 11031 3794 3751 11513 24075 24076 24084 23863 23867 23862 23866 23973 23974 23838 23837 23841 23842 23840 23930 23919 23802 23751 23737 23738 23868 23864 23861 23865 23934 24033 23870 23874 23871 23873 24032 23996 23817 23819 23820 23821 23818 23872 23869 23772 23771 23878 23880 23877 23879 23876 23881 23875 23997 24005 24004 24022 24020 24018 24006 24013 24000 24016 23984 23985 23989 24003 23986 23993 23999 23987 23994 24054 11202 11243 11244 11240 11237 11238 11241 11242 11324 11215 11217 3771 11212 3770 11289 11286 11385 11389 11383 11388 11382 11387 11380 11384 11386 11381 23980 23983 23978 23982 23981 23975 24010 24007 11509 11512 11499 11498 11502 11506 11494 11358 23854 23962 23971 23966 23970 23858 23855 23860 23968 23972 23961 23967 23963 23995 23990 11417 23748 11288 23740 23746 23744 23747 23745 24079 24051 24048 24043 24044 24024 24025 24045 24039 24037 24041 24042 24031 24027 24028 24030 11279 11276 11283 11278 11282 11281 11263 11264 11285 11293 11501 11511 11474 11508 11505 11294 11290 11287 11280 11277 11284 11275 11274 11273 11272 11390 24009 24012 24015 11496 11492 11497 11345 11347 11348 11346 11350 11357 11353 11349 11355 11351 11378 11338 11341 11379 11036 11034 11035 11045 11049 11037 11030 11062 11044 11061 11047 11048 11060 11056 11059 24053 24046 23917 23890 23889 23888 24052 23891 23887 11311 11307 11309 3646 3643 3645 3655 3652 3644 3649 3639 3636 11269 24017 24019 24021 11391 11308 11295 11312 11306 11310 11300 11303 11297 11296 11298 11256 11260 11301 11302 11299 11252 11262 11258 11257 11270 11261 11271 11253 11267 11291 11292 11266 11251 11268 11265 23932 23933 24034 24040 24008 24011 24014 11360 11362 11364 11099 11366 3659 3661 3657 3626 3633 3629 23835 23833 23830 23770 23769 24081 24072 24082 24070 24083 24074 11133 11134 11132 11130 11131 11333 11334 11335 11330 11332 11331 11128 3606 3601 3658 3660 11320 11317 11314 11329 11327 11315 11321 11318 3600 3609 3610 3605 11127 11120 11125 11123 11377 11376 11369 11374 11371 11375 11373 11372 3386 3385 3456 3460 3458 3457 3459 3461 3462 3570 3573 3574 3575 3569 3572 3571 3619 3614 3618 11422 23766 23931 3656 3622 3621 3681 3667 3673 3676 3664 3678 3679 3684 3670 3682 3683 3680 3627 3625 3628 3624 3631 3632 3623 3615 3607 3620 3602 3630 3617 3616 3666 3663 3675 3677 3669 1352 1084 1383 1388 1389 1387 1386 3674 1278 1347 1348 1349 1338 1240 1239 1341 1346 1344 1235 1238 1236 1234 1237 1122 1051 1050 1126 1121 1345 1343 1125 1127 1289 1290 1288 240 230 231 239 238 241 104 170 132 143 142 103 101 99 97 95 121 177 133 125 131 171 124 122 130 167 180 166 98 181 178 202 206 219 205 203 185 334 346 947 957 1055 1042 271 276 273 275 274 272 1083 1183 1277 1350 292 293 1194 1191 1192 1193 1221 1195 204 225 229 232 189 191 220 182 179 333 1169 1097 1096 1091 1101 1100 1082 1067 1090 1164 862 863 1158 1162 1159 162 283 282 288 165 269 258 257 1166 1172 1167 1182 1092 1175 1181 1179 1040 1165 1180 1085 1168 1171 1170 1376 1385 1378 1216 1209 1213 1208 1217 1212 1220 1148 1147 1357 1356 1358 1266 1313 1316 1315 1312 1276 1267 1318 1272 1271 1319 1265 1275 1274 1270 1329 1335 1049 1044 1048 149 153 151 161 159 160 154 155 148 146 163 164 144 158 157 134 1328 1334 107 116 114 111 112 119 109 108 102 118 105 117 115 150 1141 1142 1146 1351 1128 1215 1214 1219 1218 1332 1331 94 353 352 145 208 361 363 354 355 357 356 359 387 385 386 388 732 738 734 735 739 737 389 556 541 390 391 564 566 561 562 563 560 565 559 823 821 814 815 820 822 819 817 818 828 827 555 553 554 538 540 528 534 795 799 803 796 801 364 810 808 806 1098 1094 1087 960 1086 1093 1099 1039 1088 1089 1095 1307 218 207 210 212 216 213 214 192 209 215 233 211 242 396 401 621 622 432 435 438 423 422 424 428 433 421 434 615 609 617 613 616 618 610 614 612 603 607 620 619 606 601 605 602 600 604 608 611 420 512 475 509 510 513 497 508 504 445 450 506 496 500 505 502 501 493 514 498 441 503 507 511 495 451 499 731 816 371 351 370 809 807 552 551 531 316 690 689 585 587 586 684 687 688 686 683 590 589 570 588 569 575 581 582 591 682 677 676 675 289 286 237 198 200 201 195 199 319 284 313 312 270 1374 813 825 826 824 579 549 546 547 548 543 544 550 545 542 407 453 405 454 418 784 787 448 460 459 458 462 456 461 457 403 455 446 465 397 400 348 243 246 247 251 255 254 252 253 245 244 248 249 256 250 366 291 290 379 384 381 374 376 382 383 378 368 377 380 235 372 236 694 693 812 680 811 695 673 674 678 692 679 691 805 580 685 399 398 474 468 472 311 296 308 305 301 294 302 303 300 298 307 452 463 404 464 447 314 317 320 829 304 310 430 431 427 402 392 425 429 426 419 408 416 437 449 299 436 440 444 417 792 794 625 624 623 709 710 721 720 749 758 741 740 736 743 733 742 593 717 723 719 727 715 698 699 712 724 702 594 597 599 730 707 697 703 722 716 718 729 728 711 714 725 726 706 708 704 713 754 756 797 793 791 752 746 830 831 835 833 834 832 755 753 751 745 747 757 748 750 744 26 29 28 27 30 83 71 86 64 65 87 88 84 89 69 70 66 67 82 90 85 63 56 23 24 32 31 55 57 62 58 61 60 59 47 48 43 44 1325 1321 1323 3654 3653 3611 3647 3648 3650 3651 68 1038 91908 46 45 91915 91909 159835 1134 1123 1124 11304 11305 837 1137 1139 1144 1145 1405 119260 51258 3740 37392  0
57.99/58.05	
57.99/58.05	c Core has size 7458

Verifier Data 

OK	7458

Watcher Data 

runsolver Copyright (C) 2010-2011 Olivier ROUSSEL

This is runsolver version 3.3.1 (svn: 989)

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-3501533-1308042340/watcher-3501533-1308042340 -o /tmp/evaluation-result-3501533-1308042340/solver-3501533-1308042340 -C 1800 -W 1850 -M 7680 MoUsSaka HOME/instance-3501533-1308042340.gcnf 

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.02 4.14 2.62 4/189 23204
/proc/meminfo: memFree=30748748/32950928 swapFree=67050644/67111528
[pid=23204] ppid=23202 vsize=31580 CPUtime=0 cores=4,6
/proc/23204/stat : 23204 (MoUsSaka) R 23202 23204 22849 0 -1 4202496 1679 0 0 0 0 0 0 0 25 0 1 0 915832685 32337920 1618 33554432000 4194304 4365125 140735073838224 18446744073709551615 4293676 0 0 4096 2 0 0 0 17 4 0 0 0
/proc/23204/statm: 7895 1628 245 42 0 5043 0

[startup+0.099512 s]
/proc/loadavg: 4.02 4.14 2.62 4/189 23204
/proc/meminfo: memFree=30748748/32950928 swapFree=67050644/67111528
[pid=23204] ppid=23202 vsize=39840 CPUtime=0.08 cores=4,6
/proc/23204/stat : 23204 (MoUsSaka) R 23202 23204 22849 0 -1 4202496 8619 0 0 0 8 0 0 0 25 0 1 0 915832685 40796160 6161 33554432000 4194304 4365125 140735073838224 18446744073709551615 251814240000 0 0 4096 2 0 0 0 17 4 0 0 0
/proc/23204/statm: 9960 6163 253 42 0 7108 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 39840

[startup+0.100503 s]
/proc/loadavg: 4.02 4.14 2.62 4/189 23204
/proc/meminfo: memFree=30748748/32950928 swapFree=67050644/67111528
[pid=23204] ppid=23202 vsize=39840 CPUtime=0.09 cores=4,6
/proc/23204/stat : 23204 (MoUsSaka) R 23202 23204 22849 0 -1 4202496 8644 0 0 0 9 0 0 0 25 0 1 0 915832685 40796160 6180 33554432000 4194304 4365125 140735073838224 18446744073709551615 4316862 0 0 4096 2 0 0 0 17 4 0 0 0
/proc/23204/statm: 9960 6184 253 42 0 7108 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 39840

[startup+0.300421 s]
/proc/loadavg: 4.02 4.14 2.62 4/189 23204
/proc/meminfo: memFree=30748748/32950928 swapFree=67050644/67111528
[pid=23204] ppid=23202 vsize=57644 CPUtime=0.29 cores=4,6
/proc/23204/stat : 23204 (MoUsSaka) R 23202 23204 22849 0 -1 4202496 21443 0 0 0 27 2 0 0 25 0 1 0 915832685 59027456 9840 33554432000 4194304 4365125 140735073838224 18446744073709551615 4316862 0 0 4096 2 0 0 0 17 4 0 0 0
/proc/23204/statm: 14411 9841 253 42 0 11559 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 57644

[startup+0.700358 s]
/proc/loadavg: 4.02 4.14 2.62 4/189 23204
/proc/meminfo: memFree=30748748/32950928 swapFree=67050644/67111528
[pid=23204] ppid=23202 vsize=69236 CPUtime=0.69 cores=4,6
/proc/23204/stat : 23204 (MoUsSaka) R 23202 23204 22849 0 -1 4202496 28740 0 0 0 66 3 0 0 25 0 1 0 915832685 70897664 11986 33554432000 4194304 4365125 140735073838224 18446744073709551615 4257409 0 0 4096 2 0 0 0 17 4 0 0 0
/proc/23204/statm: 17309 11986 262 42 0 14457 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 69236

[startup+1.50023 s]
/proc/loadavg: 4.02 4.14 2.62 5/190 23205
/proc/meminfo: memFree=30696064/32950928 swapFree=67050644/67111528
[pid=23204] ppid=23202 vsize=69236 CPUtime=1.49 cores=4,6
/proc/23204/stat : 23204 (MoUsSaka) R 23202 23204 22849 0 -1 4202496 29279 0 0 0 146 3 0 0 25 0 1 0 915832685 70897664 12416 33554432000 4194304 4365125 140735073838224 18446744073709551615 4242876 0 0 4096 2 0 0 0 17 4 0 0 0
/proc/23204/statm: 17309 12416 262 42 0 14457 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 69236

[startup+3.10089 s]
/proc/loadavg: 4.01 4.13 2.63 5/190 23205
/proc/meminfo: memFree=30667172/32950928 swapFree=67050644/67111528
[pid=23204] ppid=23202 vsize=81972 CPUtime=3.09 cores=4,6
/proc/23204/stat : 23204 (MoUsSaka) R 23202 23204 22849 0 -1 4202496 31819 0 0 0 306 3 0 0 25 0 1 0 915832685 83939328 14787 33554432000 4194304 4365125 140735073838224 18446744073709551615 4242785 0 0 4096 2 0 0 0 17 4 0 0 0
/proc/23204/statm: 20493 14787 262 42 0 17641 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 81972

[startup+6.30035 s]
/proc/loadavg: 4.01 4.13 2.63 5/190 23205
/proc/meminfo: memFree=30667240/32950928 swapFree=67050644/67111528
[pid=23204] ppid=23202 vsize=101080 CPUtime=6.29 cores=4,6
/proc/23204/stat : 23204 (MoUsSaka) R 23202 23204 22849 0 -1 4202496 37663 0 0 0 625 4 0 0 25 0 1 0 915832685 103505920 19319 33554432000 4194304 4365125 140735073838224 18446744073709551615 4257778 0 0 4096 2 0 0 0 17 4 0 0 0
/proc/23204/statm: 25270 19319 263 42 0 22418 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 101080

[startup+12.7003 s]
/proc/loadavg: 4.01 4.13 2.64 5/190 23205
/proc/meminfo: memFree=30681720/32950928 swapFree=67050644/67111528
[pid=23204] ppid=23202 vsize=101080 CPUtime=12.69 cores=4,6
/proc/23204/stat : 23204 (MoUsSaka) R 23202 23204 22849 0 -1 4202496 37664 0 0 0 1265 4 0 0 25 0 1 0 915832685 103505920 19320 33554432000 4194304 4365125 140735073838224 18446744073709551615 4242730 0 0 4096 2 0 0 0 17 4 0 0 0
/proc/23204/statm: 25270 19320 263 42 0 22418 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 101080

[startup+25.5012 s]
/proc/loadavg: 4.01 4.12 2.65 5/190 23205
/proc/meminfo: memFree=30609160/32950928 swapFree=67050644/67111528
[pid=23204] ppid=23202 vsize=101080 CPUtime=25.49 cores=4,6
/proc/23204/stat : 23204 (MoUsSaka) R 23202 23204 22849 0 -1 4202496 37664 0 0 0 2545 4 0 0 25 0 1 0 915832685 103505920 19320 33554432000 4194304 4365125 140735073838224 18446744073709551615 4242578 0 0 4096 2 0 0 0 17 4 0 0 0
/proc/23204/statm: 25270 19320 263 42 0 22418 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 101080

[startup+51.1009 s]
/proc/loadavg: 4.00 4.11 2.69 5/190 23243
/proc/meminfo: memFree=30689684/32950928 swapFree=67050644/67111528
[pid=23204] ppid=23202 vsize=101080 CPUtime=51.09 cores=4,6
/proc/23204/stat : 23204 (MoUsSaka) R 23202 23204 22849 0 -1 4202496 37664 0 0 0 5104 5 0 0 25 0 1 0 915832685 103505920 19320 33554432000 4194304 4365125 140735073838224 18446744073709551615 4273938 0 0 4096 2 0 0 0 17 4 0 0 0
/proc/23204/statm: 25270 19320 263 42 0 22418 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 101080

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

[startup+54.3003 s]
/proc/loadavg: 4.00 4.11 2.69 5/190 23243
/proc/meminfo: memFree=30689680/32950928 swapFree=67050644/67111528
[pid=23204] ppid=23202 vsize=101080 CPUtime=54.29 cores=4,6
/proc/23204/stat : 23204 (MoUsSaka) R 23202 23204 22849 0 -1 4202496 37664 0 0 0 5424 5 0 0 25 0 1 0 915832685 103505920 19320 33554432000 4194304 4365125 140735073838224 18446744073709551615 4242868 0 0 4096 2 0 0 0 17 4 0 0 0
/proc/23204/statm: 25270 19320 263 42 0 22418 0
Current children cumulated CPU time (s) 54.29
Current children cumulated vsize (KiB) 101080

[startup+55.901 s]
/proc/loadavg: 4.00 4.11 2.69 6/190 23243
/proc/meminfo: memFree=30689556/32950928 swapFree=67050644/67111528
[pid=23204] ppid=23202 vsize=101080 CPUtime=55.89 cores=4,6
/proc/23204/stat : 23204 (MoUsSaka) R 23202 23204 22849 0 -1 4202496 37664 0 0 0 5584 5 0 0 25 0 1 0 915832685 103505920 19320 33554432000 4194304 4365125 140735073838224 18446744073709551615 4257406 0 0 4096 2 0 0 0 17 4 0 0 0
/proc/23204/statm: 25270 19320 263 42 0 22418 0
Current children cumulated CPU time (s) 55.89
Current children cumulated vsize (KiB) 101080

[startup+56.7009 s]
/proc/loadavg: 4.00 4.11 2.69 5/190 23243
/proc/meminfo: memFree=30689556/32950928 swapFree=67050644/67111528
[pid=23204] ppid=23202 vsize=101080 CPUtime=56.69 cores=4,6
/proc/23204/stat : 23204 (MoUsSaka) R 23202 23204 22849 0 -1 4202496 37664 0 0 0 5664 5 0 0 25 0 1 0 915832685 103505920 19320 33554432000 4194304 4365125 140735073838224 18446744073709551615 4263932 0 0 4096 2 0 0 0 17 4 0 0 0
/proc/23204/statm: 25270 19320 263 42 0 22418 0
Current children cumulated CPU time (s) 56.69
Current children cumulated vsize (KiB) 101080

[startup+57.5008 s]
/proc/loadavg: 4.00 4.11 2.70 5/190 23243
/proc/meminfo: memFree=30714356/32950928 swapFree=67050644/67111528
[pid=23204] ppid=23202 vsize=101080 CPUtime=57.49 cores=4,6
/proc/23204/stat : 23204 (MoUsSaka) R 23202 23204 22849 0 -1 4202496 37664 0 0 0 5744 5 0 0 25 0 1 0 915832685 103505920 19320 33554432000 4194304 4365125 140735073838224 18446744073709551615 4257796 0 0 4096 2 0 0 0 17 4 0 0 0
/proc/23204/statm: 25270 19320 263 42 0 22418 0
Current children cumulated CPU time (s) 57.49
Current children cumulated vsize (KiB) 101080

[startup+57.9007 s]
/proc/loadavg: 4.00 4.11 2.70 5/190 23243
/proc/meminfo: memFree=30714356/32950928 swapFree=67050644/67111528
[pid=23204] ppid=23202 vsize=101080 CPUtime=57.89 cores=4,6
/proc/23204/stat : 23204 (MoUsSaka) R 23202 23204 22849 0 -1 4202496 37664 0 0 0 5784 5 0 0 25 0 1 0 915832685 103505920 19320 33554432000 4194304 4365125 140735073838224 18446744073709551615 4242730 0 0 4096 2 0 0 0 17 4 0 0 0
/proc/23204/statm: 25270 19320 263 42 0 22418 0
Current children cumulated CPU time (s) 57.89
Current children cumulated vsize (KiB) 101080

[startup+58.0007 s]
/proc/loadavg: 4.00 4.11 2.70 5/190 23243
/proc/meminfo: memFree=30714356/32950928 swapFree=67050644/67111528
[pid=23204] ppid=23202 vsize=101080 CPUtime=57.99 cores=4,6
/proc/23204/stat : 23204 (MoUsSaka) R 23202 23204 22849 0 -1 4202496 37664 0 0 0 5794 5 0 0 25 0 1 0 915832685 103505920 19320 33554432000 4194304 4365125 140735073838224 18446744073709551615 4258262 0 0 4096 2 0 0 0 17 4 0 0 0
/proc/23204/statm: 25270 19320 263 42 0 22418 0
Current children cumulated CPU time (s) 57.99
Current children cumulated vsize (KiB) 101080

Child status: 20
Real time (s): 58.0581
CPU time (s): 58.0562
CPU user time (s): 58.0002
CPU system time (s): 0.055991
CPU usage (%): 99.9966
Max. virtual memory (cumulated for all children) (KiB): 101080

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 58.0002
system time used= 0.055991
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 37669
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= 9
involuntary context switches= 104

runsolver used 0.084987 second user time and 0.233964 second system time

The end

Launcher Data 

Begin job on node126 at 2011-06-14 11:05:40
IDJOB=3501533
IDBENCH=90079
IDSOLVER=2000
FILE ID=node126/3501533-1308042340
RUNJOBID= node126-1308041928-22868
PBS_JOBID= 13564691
Free space on /tmp= 74036 MiB

SOLVER NAME= MoUsSaka 2011-03-26
BENCH NAME= SAT11/gmus/belov/bj08amba4g5.aig.k25.gcnf
COMMAND LINE= MoUsSaka BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3501533-1308042340/watcher-3501533-1308042340 -o /tmp/evaluation-result-3501533-1308042340/solver-3501533-1308042340 -C 1800 -W 1850 -M 7680  MoUsSaka HOME/instance-3501533-1308042340.gcnf

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

MD5SUM BENCH= c33663f618382c2878074068eb7ae094
RANDOM SEED=673428309

node126.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.783
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.56
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.783
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.783
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.74
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.783
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.74
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.783
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.80
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.783
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.783
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.783
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.76
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]


/proc/meminfo:
MemTotal:     32950928 kB
MemFree:      30749416 kB
Buffers:        147104 kB
Cached:         724152 kB
SwapCached:      14596 kB
Active:        1372888 kB
Inactive:       625556 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32950928 kB
LowFree:      30749416 kB
SwapTotal:    67111528 kB
SwapFree:     67050644 kB
Dirty:           18676 kB
Writeback:           0 kB
AnonPages:     1125488 kB
Mapped:           9812 kB
Slab:           134144 kB
PageTables:       7188 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83586992 kB
Committed_AS:  1787080 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= 74008 MiB
End job on node126 at 2011-06-14 11:06:38