Trace number 3481109

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
MUSer 2011-02-10UNSAT 300.154 300.147

General information on the benchmark

Namemus/marques-silva/
hardware-verification/g7n.cnf
MD5SUMa707bfe320eae858fdac64b973892ea8
Bench CategoryMUS (MUS)
Best result obtained on this benchmarkUNSAT
Best CPU time to get the best result obtained on this benchmark173.249
Satisfiable
(Un)Satisfiability was proved
Number of variables23936
Number of clauses70492
Sum of the clauses size164480
Maximum clause length3
Minimum clause length1
Number of clauses of size 11
Number of clauses of size 246994
Number of clauses of size 323497
Number of clauses of size 40
Number of clauses of size 50
Number of clauses of size over 50

Solver Data 

0.00/0.00	c *** MUSer: a MUS extractor ***
0.00/0.00	c *** release date: 2011210 ***
0.00/0.00	c *** release ref: f95464aa99ac ***
0.00/0.00	c *** built: 2011-Feb-10 00:59 ***
0.00/0.00	c *** author: Joao Marques-Silva (jpms@ucd.ie) ***
0.00/0.00	c 
0.00/0.00	c *** instance: HOME/instance-3481109-1307606887.cnf ***
0.00/0.00	c 
0.00/0.07	c Parsing CPU Time: 0.070989
0.00/0.07	c Running MUSer ...
4.30/4.31	c 0.00% completed ... 
11.59/11.63	c 5.01% completed ... 
16.29/16.36	c 10.03% completed ... 
19.09/19.15	c 16.16% completed ... 
49.79/49.86	c 21.16% completed ... 
74.00/74.09	c 26.16% completed ... 
94.89/94.99	c 42.23% completed ... 
118.89/118.95	c 57.81% completed ... 
172.71/172.76	c 63.18% completed ... 
187.69/187.78	c 68.82% completed ... 
264.90/264.96	c 83.95% completed ... 
294.71/294.74	c 97.43% completed ... 
300.10/300.11	c 100.00% completed ... 
300.10/300.11	c MUS size: 13950
300.10/300.11	s UNSATISFIABLE
300.10/300.11	v 45486 65724 41131 16538 17947 13453 43949 15001 49713 65596 26529 12184 17819 13325 7829 33702 43821 14873 64059 39466 69823 45230 65468 16282 26401 46639 12056 17691 13197 43693 14745 119 69695 46511 11928 66749 43565 14617 69567 44974 16026 1103 46383 66621 7445 43437 14489 44846 40491 15898 46255 43309 18716 63547 14361 44718 15770 50482 46127 11544 17179 47536 63419 40235 15642 45999 11416 66237 17051 47408 18460 14105 69055 15514 50226 70464 45871 11288 47280 18332 13977 12427 44334 15386 39979 70336 45743 11160 41388 47152 18204 13710 13849 68799 44206 64444 15258 45615 11032 41260 18076 13582 44078 15130 70080 45487 41132 36777 13454 43950 15002 64188 49714 69952 65597 41004 12185 17820 13326 7830 48177 43822 560 64060 39467 14874 69824 65469 16283 26402 46640 17692 12057 13198 43694 14746 49458 69696 46512 66750 7574 43566 14618 63804 44975 16027 1104 46384 66622 17436 7446 43438 14490 44847 40492 15899 46256 43310 18717 14362 63548 49074 44719 40364 15771 50483 46128 17180 47537 18589 63420 69184 40236 15643 46000 11417 66238 17052 47409 18461 14106 15515 45872 41517 11289 47281 18333 13978 39980 15387 70337 45744 41389 47153 18205 13711 13850 68800 44207 64445 39852 15259 70209 45616 11033 36906 18077 13583 44079 15131 70081 45488 41133 16540 36778 42542 13455 43951 15003 49715 69953 45360 65598 41005 26531 13327 48178 33704 43823 14875 64061 39468 69825 16284 26403 46641 17693 12058 13199 43695 14747 121 69697 46513 11930 17565 7575 43567 14619 44976 16028 46385 66623 17437 43439 14491 49203 69441 40493 15900 46257 43311 18718 63549 14363 44720 15772 50484 46129 11546 17181 47538 63421 15644 46001 17053 7063 47410 18462 14107 69057 15516 50228 45873 11290 47282 18334 13979 39981 15388 45745 11162 41390 47154 18206 13712 13851 12301 68801 44208 19615 15260 64446 39853 45617 41262 11034 36907 13584 44080 39725 15132 70082 65727 41134 6551 36779 42543 13456 43952 15004 49716 45361 65599 41006 26532 17822 13328 7832 48179 43824 562 64062 39469 14876 69826 65471 16285 46642 12059 66880 17694 13200 48051 43696 14748 122 69698 16157 46514 66752 11931 43568 14620 63806 49332 44977 16029 1106 46386 66624 17438 7448 43440 14492 69442 44849 40494 15901 46258 11675 43312 18719 63550 14364 44721 15773 50485 46130 17182 11547 47539 18591 63422 69186 15645 46002 17054 11419 47411 18463 14108 15517 50229 70467 45874 11291 66112 16926 6936 47283 18335 13980 12430 44337 39982 15389 70339 45746 16798 11163 47155 18207 13713 13852 12302 68802 44209 39854 15261 45618 36908 13585 44081 15133 39726 45490 41135 36780 17951 13457 43953 15005 64191 49717 69955 65600 41007 17823 13329 7833 33706 43825 563 64063 39470 14877 69827 45234 65472 16286 26405 46643 17695 12060 13201 43697 14749 49461 69699 16158 46515 66753 7577 43569 14621 63807 44978 16030 1107 46387 66625 7449 43441 14493 69443 44850 15902 46259 43313 18720 14365 63551 49077 44722 15774 50486 46131 47540 18592 63423 15646 46003 11420 66241 17055 47412 18464 14109 15518 50230 45875 41520 11292 47284 18336 13981 44338 64576 39983 15390 70340 45747 47156 18208 13714 13853 12303 68803 44210 64448 39855 15262 70212 45619 11036 41264 36909 13586 44082 15134 45491 41136 42545 17952 13458 43954 64192 15006 49718 69956 65601 26534 12189 13330 7834 43826 64064 39471 14878 69828 45235 16287 26406 46644 17696 13202 43698 39343 14750 46516 11933 17568 7578 43570 14622 44979 40624 16031 46388 66626 43442 14494 49206 40496 15903 46260 43314 14366 63552 49078 44723 40368 50487 46132 11549 17184 47541 18593 63424 15647 46004 66242 17056 11421 47413 18465 14110 15519 50231 45876 16928 6938 47285 18337 13982 44339 15391 39984 45748 11165 65986 47157 18209 13715 13854 12304 68804 44211 19618 15263 64449 39856 70213 45620 41265 11037 47029 18081 13587 44083 39728 15135 65730 41137 42546 13459 43955 15007 64193 49719 69957 45364 65602 26535 17825 13331 43827 565 14879 64065 39472 69829 65474 16288 46645 17697 12062 13203 48054 43699 39344 14751 69701 16160 46517 66755 11934 43571 14623 63809 49335 44980 16032 50744 46389 66627 43443 14495 44852 40497 15904 46261 11678 43315 18722 63553 14367 49079 44724 40369 50488 46133 17185 11550 47542 18594 14239 63425 15648 46005 11422 66243 17057 7067 47414 14111 12561 15520 50232 70470 45877 11294 66115 47286 18338 13983 12433 39985 15392 70342 45749 41394 11166 47158 18210 13716 13855 12305 68805 44212 15264 70214 45621 41266 36911 18082 13588 44084 15136 39729 70086 45493 41138 16545 6555 17954 13460 43956 15008 45365 26536 17826 13332 48183 33709 43828 566 64066 39473 14880 69830 65475 16289 26408 46646 66884 17698 12063 13204 48055 43700 39345 14752 49464 69702 45109 16161 46518 43572 14624 63810 49336 44981 16033 1110 46390 66628 17442 43444 14496 44853 15905 46262 43316 18723 14368 63554 44725 40370 50489 46134 11551 47543 14240 63426 15649 46006 11423 17058 7068 47415 18467 14112 15521 50233 70471 45878 41523 11295 47287 18339 13984 64579 39986 15393 70343 45750 47159 13717 13856 12306 68806 44213 15265 64451 45622 31148 11039 65860 41267 13589 44085 15137 45494 41139 16546 6556 42548 17955 13461 43957 64195 15009 69959 45366 12192 13333 43829 14881 39474 69831 45238 16290 26409 46647 17699 13205 48056 43701 14753 16162 46519 17571 43573 63811 14625 49337 44982 40627 16034 46391 66629 43445 14497 49209 44854 15906 46263 11680 43317 63555 38962 14369 44726 50490 46135 11552 17187 47544 18596 63427 14241 15650 46007 66245 11424 7069 47416 18468 14113 12563 15522 50234 70472 45879 11296 66117 6941 47288 13985 15394 39987 45751 11168 65989 16803 47160 18212 13718 13857 12307 68807 44214 19621 15266 64452 39859 70216 45623 41268 11040 36913 47032 13590 44086 15138 65733 41140 16547 6557 42549 17956 13462 43958 15010 69960 17828 13334 7838 33711 43830 568 14882 39475 45239 16291 26410 46648 17700 12065 13206 43702 14754 69704 16163 46520 17572 43574 14626 63812 44983 16035 46392 66630 43446 39091 14498 44855 15907 46264 43318 18725 14370 44727 50491 46136 11553 47545 18597 63428 14242 15651 46008 66246 17060 11425 7070 47417 14114 15523 50235 45880 11297 66118 16932 6942 47289 18341 13986 12436 44343 15395 64581 39988 45752 41397 11169 47161 18213 13719 13858 12308 68808 44215 15267 70217 45624 47033 18085 13591 44087 15139 70089 45496 41141 17957 13463 43959 15011 45368 65606 26539 36658 17829 13335 48186 43831 39476 14883 45240 16292 46649 1369 66887 17701 12066 13207 43703 14755 49467 69705 45112 16164 46521 66759 43575 14627 63813 44984 40629 16036 46393 1113 66631 17445 43447 14499 44856 15908 46265 7327 43319 18726 14371 49083 44728 50492 46137 17189 47546 18598 14243 63429 15652 46009 66247 17061 11426 7071 47418 18470 14115 12565 15524 45881 66119 41526 16933 11298 6943 47290 18342 13987 12437 64582 39989 15396 70346 45753 65991 41398 11170 47162 13720 13859 12309 68809 44216 15268 64454 45625 11042 65863 36915 47034 13592 44088 15140 70090 45497 41142 16549 6559 42551 17958 13464 43960 64198 15012 45369 65607 17830 12195 13336 48187 33713 43832 64070 39477 14884 69834 40886 16293 46650 1370 17702 13208 43704 14756 45113 16165 46522 17574 43576 63814 14628 44985 16037 46394 66632 17446 43448 49212 44857 15909 46266 43320 14372 63558 38965 44729 50493 46138 11555 17190 47547 43192 18599 63430 14244 15653 46010 11427 47419 18471 14116 15525 45882 11299 66120 47291 13988 12438 64583 39990 15397 45754 65992 41399 16806 47163 18215 13721 13860 68810 44217 19624 64455 15269 45626 11043 47035 13593 44089 15141 70091 65736 41143 16550 6560 42552 17959 13465 43961 15013 69963 26541 13337 48188 33714 43833 14885 64071 39478 45242 40887 16294 26413 46651 12068 17703 13209 48060 43705 14757 69707 45114 16166 46523 17575 43577 63815 14629 49341 44986 40631 16038 46395 66633 17447 43449 39094 49213 44858 15910 46267 43321 18728 14373 44730 50494 46139 17191 11556 47548 18600 14245 63431 15654 46011 11428 17063 7073 47420 14117 15526 70476 45883 11300 66121 16935 47292 18344 13989 12439 44346 64584 39991 15398 70348 45755 65993 6817 37045 47164 18216 13722 13861 12311 68811 44218 19625 39863 15270 45627 65865 11044 36917 47036 18088 13594 48445 44090 15142 45499 41144 42553 17960 13466 43962 15014 65609 36661 13338 7842 43834 39479 14886 45243 40888 16295 26414 46652 66890 17704 12069 13210 43706 14758 49470 69708 16167 46524 66762 17576 43578 14630 63816 44987 40632 16039 46396 1116 66634 43450 44859 15911 46268 43322 14374 38967 49086 44731 50495 46140 11557 17192 47549 14246 63432 15655 46012 66250 17064 11429 7074 47421 43066 18473 14118 15527 70477 45884 66122 41529 16936 11301 6946 47293 18345 13990 12440 44347 64585 39992 15399 70349 45756 11173 65994 47165 13723 13862 12312 68812 44219 19626 15271 64457 70221 45628 65866 47037 18089 13595 44091 15143 45500 41145 6562 42554 17961 13467 43963 64201 15015 65610 26543 17833 12198 13339 33716 43835 64073 39480 14887 69837 16296 26415 46653 17705 13211 43707 14759 45116 16168 46525 17577 43579 14631 44988 40633 16040 46397 66635 43451 39096 49215 44860 15912 46269 7331 43323 18730 14375 63561 38968 49087 44732 15784 50496 46141 11558 17193 47550 43195 18602 63433 38840 14247 15656 46013 17065 11430 47422 18474 14119 12569 64714 15528 70478 45885 11302 66123 16937 47294 13991 12441 44348 15400 64586 39993 45757 65995 16809 11174 47166 18218 13724 13863 68813 44220 19627 64458 15272 45629 65867 41274 36919 18090 13596 44092 15144 65739 6563 42555 13468 43964 64202 15016 69966 26544 36663 17834 13340 33717 43836 14888 64074 69838 16297 26416 46654 66892 17706 12071 13212 48063 43708 63946 14760 69710 45117 16169 46526 66764 17578 43580 63818 14632 49344 44989 40634 16041 46398 66636 43452 39097 49216 44861 15913 46270 7332 43324 63562 38969 14376 49088 44733 15785 50497 46142 11559 47551 18603 14248 63434 38841 15657 46014 11431 66252 7076 47423 18475 14120 15529 45886 11303 6948 47295 42940 18347 13992 12442 64587 39994 15401 70351 45758 65996 41403 16810 11175 37048 47167 18219 13725 13864 12314 68814 44221 19628 64459 15273 45630 11047 65868 18091 13597 48448 44093 15145 70095 45502 42556 17963 13469 43965 15017 64203 69967 65612 26545 36664 17835 13341 48192 43837 39482 14889 69839 16298 26417 46655 12072 13213 43709 14761 49473 69711 16170 46527 17579 43581 63819 14633 49345 44990 40635 16042 46399 1119 66637 17451 43453 39098 49217 44862 40507 15914 46271 991 43325 18732 14377 63563 38970 44734 15786 50498 46143 11560 17195 47552 43197 14249 63435 38842 15658 46015 11432 66253 17067 7077 47424 43069 14121 19885 15530 45887 66125 41532 11304 6949 47296 18348 13993 12443 64588 39995 15402 70352 45759 11176 65997 37049 47168 13726 13865 12315 68815 44222 19629 15274 64460 39867 70224 45631 11048 65869 41276 36921 13598 44094 15146 45503 41148 42557 17964 13470 43966 64204 15018 69968 65613 26546 36665 17836 12201 13342 7846 33719 43838 14890 64076 39483 40892 16299 26418 46656 66894 17708 13214 43710 14762 16171 46528 17580 43582 14634 49346 44991 40636 16043 46400 1120 66638 43454 39099 49218 44863 15915 46272 7334 43326 14378 44735 15787 50499 46144 11561 17196 47553 43198 18605 63436 14250 15659 46016 66254 17068 11433 14122 64717 15531 45888 66126 47297 18349 13994 12444 15403 64589 39996 45760 16812 11177 47169 18221 13727 13866 68816 44223 19630 15275 64461 70225 45632 65870 11049 36922 13599 48450 44095 15147 65742 6566 42558 13471 43967 15019 26547 36666 42430 17837 12202 13343 33720 43839 14891 64077 40893 16300 26419 36538 46657 12074 17709 13215 48066 43711 63949 14763 69713 16172 46529 66767 43583 14635 63821 44992 40637 16044 46401 66639 43455 39100 49219 44864 15916 46273 7335 43327 18734 63565 14379 44736 15788 50500 46145 17197 11562 47554 43199 18606 14251 63437 15660 46017 66255 17069 11434 7079 47426 43071 18478 14123 12573 15532 70482 45889 11306 6951 47298 42943 13995 44352 15404 64590 39997 45761 65999 41406 16813 11178 37051 47170 18222 13728 13867 12317 68817 44224 19631 64462 39869 15276 70226 45633 11050 65871 36923 13600 44096 15148 70098 45505 17966 13472 43968 15020 69970 36667 17838 13344 48195 43840 14892 16301 26420 46658 66896 12075 13216 43712 14764 49476 69714 16173 46530 43584 14636 63822 44993 40638 16045 46402 1122 66640 17454 43456 39101 49220 44865 40510 15917 46274 994 43328 14380 49092 44737 15789 50501 46146 11563 17198 47555 43200 18607 63438 14252 15661 46018 11435 66256 17070 47427 43072 18479 14124 19888 15533 64719 50245 45890 66128 47299 13996 12446 64591 39998 15405 70355 45762 11179 66000 41407 16814 47171 13729 13868 12318 68818 44225 19632 15277 64463 45634 11051 36924 18095 13601 48452 44097 15149 70099 45506 41151 17967 13473 43969 15021 69971 26549 36668 17839 13345 7849 48196 43841 14893 69843 40895 16302 26421 46659 66897 17711 13217 43713 14765 63951 16174 46531 43585 14637 44994 40639 16046 46403 66641 17455 11820 43457 14509 39102 49221 44866 15918 46275 11692 43329 18736 14381 44738 15790 50502 46147 11564 17199 47556 43201 18608 63439 38846 14253 15662 46019 66257 17071 11436 43073 18480 14125 64720 15534 50246 70484 45891 66129 6953 47300 42945 18352 13997 12447 64592 39999 15406 45763 21170 11180 41408 16815 37053 47172 18224 13730 13869 68819 44226 64464 15278 45635 65873 41280 11052 47044 18096 13602 48453 44098 15150 70100 65745 13474 43970 64208 15022 69972 26550 36669 42433 17840 12205 13346 48197 43842 14894 40896 16303 36541 46660 12077 17712 13218 48069 43714 63952 14766 69716 16175 46532 66770 7594 43586 14638 63824 49350 44995 40640 16047 46404 1124 66642 17456 43458 39103 14510 44867 40512 15919 46276 996 43330 63568 14382 44739 15791 50503 46148 17200 11565 47557 43202 14254 63440 38847 15663 46020 11437 66258 17072 7082 43074 18481 14126 12576 64721 15535 50247 45892 11309 66130 6954 47301 42946 18353 13998 44355 64593 15407 45764 66002 16816 11181 47173 18225 13731 13870 12320 68820 44227 19634 64465 15279 45636 11053 65874 13603 44099 15151 45508 17969 13475 43971 15023 64209 69973 36670 17841 13347 43843 14895 69845 16304 26423 46661 66899 17713 12078 13219 48070 43715 14767 63953 49479 69717 16176 46533 43587 63825 14639 44996 40641 16048 36286 46405 1125 66643 43459 39104 14511 44868 40513 15920 997 46277 43331 18738 14383 49095 44740 15792 50504 46149 11566 17201 47558 43203 63441 14255 48967 15664 46021 17073 11438 43075 18482 14127 12577 19891 64722 40129 15536 45893 66131 42947 18354 13999 12449 44356 64594 40001 15408 45765 66003 11182 47174 13732 13871 12321 68821 44228 19635 15280 64466 39873 70230 45637 11054 18098 13604 48455 44100 15152 41154 10926 17970 13476 43972 15024 69974 41026 26552 36671 42435 17842 13348 7852 43844 14896 16305 26424 36543 46662 66900 17714 13220 48071 43716 14768 63954 69718 16177 46534 43588 14640 44997 40642 16049 46406 66644 11823 43460 14512 39105 44869 40514 15921 46278 43332 18739 14384 49096 44741 15793 50505 46150 11567 17202 47559 18611 63442 38849 14256 15665 46022 66260 17074 11439 43076 18483 14128 64723 15537 45894 66132 6956 47303 42948 18355 14000 12450 44357 15409 64595 40002 45766 11183 66004 47175 18227 13733 13872 68822 44229 64467 39874 15281 45638 65876 11055 47047 18099 13605 48456 44101 15153 65748 13477 43973 15025 69975 41027 26553 36672 42436 17843 12208 13349 7853 43845 14897 16306 36544 46663 66901 13221 43717 63955 14769 69719 16178 46535 7597 43589 14641 63827 49353 44998 40643 16050 46407 1127 11824 66645 43461 39106 14513 44870 40515 15922 46279 11696 43333 18740 63571 14385 49097 44742 15794 50506 46151 17203 11568 47560 43205 14257 38850 44614 64852 15666 46023 11440 66261 17075 7085 43077 18484 14129 12579 15538 64724 70488 45895 11312 66133 6957 47304 42949 18356 14001 64596 15410 45767 21174 66005 41412 11184 47176 18228 13734 13873 12323 68823 44230 19637 64468 39875 15282 45639 65877 41284 11056 18100 13606 44102 15154 70104 45511 10928 17972 13478 43974 15026 41028 26554 36673 42437 17844 13350 48201 43846 14898 69848 16307 26426 36545 46664 17716 13222 43718 14770 63956 49482 69720 16179 46536 66774 7598 43590 14642 63828 49354 44999 40644 16051 36289 46408 1128 11825 66646 17460 43462 39107 14514 44871 15923 1000 46280 43334 18741 14386 63572 44743 15795 50507 46152 11569 17204 47561 43206 18613 14258 48970 15667 46024 11441 17076 18485 14130 12580 19894 64725 40132 15539 70489 45896 66134 6958 42950 18357 14002 12452 64597 15411 45768 11185 66006 16820 47177 13735 13874 12324 68824 44231 19638 15283 64469 70233 45640 11057 65878 47049 42694 18101 13607 48458 44103 15155 45512 41157 17973 13479 43975 15027 42438 17845 13351 43847 14899 16308 26427 36546 46665 17717 13223 43719 14771 63957 16180 36418 46537 7599 43591 63829 14643 49355 45000 40645 16052 46409 66647 43463 39108 14515 44872 15924 46281 1001 43335 14387 63573 44744 15796 50508 46153 11570 66391 17205 47562 14259 15668 46025 66263 17077 11442 43079 18486 14131 19895 64726 15540 70490 45897 66135 6959 42951 18358 14003 12453 15412 64598 45769 11186 66007 16821 47178 18230 13736 13875 68825 44232 15284 64470 70234 45641 65879 11058 47050 18102 13608 48459 44104 15156 45513 65751 41158 17974 13480 43976 15028 69978 36675 12211 17846 13352 43848 14900 39493 69850 16309 26428 36547 46666 66904 13224 48075 43720 63958 39365 14772 16181 46538 66776 7600 43592 63830 14644 45001 40646 16053 36291 46410 1130 66648 11827 43464 14516 39109 44873 15925 46282 1002 43336 18743 63574 14388 44745 15797 50509 46154 11571 47563 43208 18615 14260 63446 44617 64855 15669 46026 66264 17078 11443 43080 18487 14132 19896 15541 64727 40134 45898 66136 18359 14004 44361 15413 64599 45770 66008 41415 11187 47179 13737 13876 12326 68826 44233 19640 64471 15285 70235 45642 11059 65880 41287 47051 18103 13609 44105 15157 70107 45514 13481 43977 39622 15029 26557 12212 17847 13353 48204 43849 14901 16310 36548 46667 13225 43721 14773 63959 39366 49485 16182 46539 7601 43593 14645 63831 45002 40647 16054 36292 46411 1131 66649 17463 43465 39110 14517 44874 15926 46283 17335 11700 43337 18744 14389 49101 44746 40391 15798 50510 46155 11572 17207 47564 43209 63447 14261 15670 46027 11444 66265 17079 7089 18488 14133 19897 15542 64728 40135 70492 45899 66137 16951 11316 6961 42953 18360 14005 12455 64600 15414 45771 66009 41416 16823 11188 47180 13738 13877 12327 68827 44234 19641 15286 64472 45643 11060 65881 41288 47052 18104 13610 48461 44106 15158 70108 45515 41160 36805 42569 13482 43978 15030 26558 36677 17848 12213 13354 48205 43850 14902 69852 16311 36549 46668 1388 66906 13226 43722 14774 63960 39367 16183 36421 46540 7602 43594 63832 14646 45003 40648 16055 36293 46412 66650 17464 47821 43466 14518 39111 44875 30401 15927 46284 1004 43338 18745 14390 44747 40392 15799 50511 46156 11573 17208 47565 43210 18617 14262 44619 64857 15671 46028 17080 11445 43082 18489 14134 12584 19898 40136 15543 45900 66138 6962 42954 18361 14006 12456 64601 15415 70365 45772 11189 66010 41417 16824 47181 13739 13878 68828 44235 15287 64473 45644 65882 41289 11061 47053 18105 13611 48462 44107 15159 70109 45516 65754 17977 13483 43979 15031 69981 26559 36678 12214 17849 13355 48206 43851 39496 14903 16312 26431 36550 17721 13227 48078 43723 63961 14775 49487 16184 46541 66779 7603 43595 63833 14647 49359 45004 40649 16056 36294 46413 1133 66651 17465 11830 43467 14519 39112 44876 15928 46285 1005 11702 43339 18746 14391 44748 40393 15800 50512 46157 17209 11574 47566 43211 63449 14263 44620 64858 15672 46029 66267 17081 11446 7091 43083 18490 14135 19899 64730 40137 15544 45901 11318 66139 18362 14007 44364 64602 15416 45773 66011 16825 11190 6835 47182 13740 13879 68829 44236 19643 64474 15288 45645 65883 41290 11062 47054 42699 13612 48463 44108 15160 45517 41162 17978 13484 43980 15032 39625 69982 36679 17850 12215 13356 43852 14904 69854 16313 26432 36551 17722 13228 7732 48079 43724 14776 63962 49488 16185 50897 36423 46542 7604 43596 14648 63834 45005 40650 16057 36295 46414 1134 66652 43468 39113 14520 44877 15929 1006 46286 17338 43340 18747 63578 14392 49104 44749 15801 50513 46158 11575 17210 47567 18619 14264 63450 44621 64859 15673 46030 11447 17082 43084 18491 14136 12586 19900 64731 40138 15545 50257 45902 66140 42956 18363 14008 12458 44365 64603 15417 45774 70367 11191 66012 16826 47183 13741 13880 12330 44237 19644 68830 15289 64475 45646 70239 11063 65884 41291 47055 18107 13613 48464 44109 15161 45518 41163 36808 42572 17979 13485 43981 64219 15033 69983 26561 36680 12216 13357 43853 14905 39498 69855 16314 26433 36552 46671 66909 13229 48080 43725 14777 63963 16186 36424 46543 7605 43597 63835 14649 45006 40651 16058 36296 46415 66653 47824 43469 14521 39114 44878 15930 46287 1007 11704 43341 14393 63579 49105 44750 15802 50514 46159 11576 17211 47568 43213 14265 44622 64860 15674 46031 17083 11448 66269 43085 18492 14137 12587 19901 64732 40139 15546 50258 45903 16955 66141 42957 18364 14009 12459 44366 15418 64604 45775 11192 16827 66013 47184 13742 13881 44238 68831 15290 64476 45647 41292 11064 65885 47056 42701 18108 13614 48465 44110 15162 45519 65757 36809 17980 13486 43982 15034 39627 26562 36681 17852 12217 13358 43854 39499 14906 69856 16315 26434 36553 13230 43726 63964 39371 14778 16187 50899 36425 46544 66782 43598 14650 63836 49362 45007 40652 16059 36297 46416 1136 11833 66654 43470 14522 39115 44879 40524 15931 46288 1008 11705 43342 18749 14394 49106 44751 15803 50515 46160 11577 47569 43214 18621 14266 63452 44623 15675 64861 46032 11449 17084 66270 18493 14138 12588 19902 40140 15547 64733 50259 45904 11321 66142 6966 42958 18365 14010 40012 15419 64605 50131 45776 70369 41421 16828 11193 47185 13743 13882 44239 19646 68832 15291 64477 45648 31174 41293 11065 65886 47057 13615 48466 44111 15163 45520 70113 41165 17981 13487 43983 15035 39628 26563 36682 12218 17853 13359 48210 43855 39500 14907 69857 16316 26435 36554 17725 13231 43727 14779 39372 63965 16188 36426 46545 7607 43599 14651 63837 49363 45008 40653 16060 46417 1137 17469 43471 39116 14523 44880 20287 15932 46289 7351 43343 18750 14395 44752 40397 15804 64990 50516 46161 17213 47570 18622 14267 63453 44624 15676 64862 46033 11450 17085 66271 7095 43087 18494 14139 63325 12589 40141 15548 64734 45905 66143 6967 47314 42959 18366 14011 12461 15420 45777 16829 11194 47186 18238 13744 13883 12333 44240 19647 68833 15292 64478 45649 70242 11066 41294 65887 47058 18110 13616 48467 44112 15164 45521 41166 36811 42575 17982 13488 43984 39629 15036 64222 26564 36683 12219 13360 43856 14908 39501 69858 16317 26436 36555 46674 13232 7736 43728 14780 63966 16189 50901 36427 46546 7608 43600 14652 63838 49364 45009 40654 16061 36299 46418 43472 14524 39117 44881 40526 15933 1010 46290 43344 14396 38989 44753 69346 40398 15805 50517 46162 11579 17214 47571 18623 14268 44625 15677 64863 50389 46034 17086 11451 66272 43088 18495 14140 12590 19904 40142 15549 64735 45906 16958 66144 6968 18367 14012 12462 15421 45778 11195 16830 66016 47187 13745 13884 12334 44241 68834 15293 64479 45650 70243 41295 11067 47059 18111 13617 48468 44113 15165 45522 65760 17983 13489 43985 15037 39630 69987 26565 36684 17855 13361 43857 14909 16318 26437 36556 46675 66913 13233 7737 48084 43729 39374 14781 63967 16190 36428 46547 11964 66785 43601 14653 63839 45010 40655 16062 36300 46419 1139 11836 66657 47828 43473 14525 39118 44882 15934 46291 1011 11708 43345 18752 38990 14397 44754 69347 15806 50518 46163 17215 11580 47572 18624 14269 44626 15678 64864 46035 17087 11452 66273 7097 18496 14141 12591 19905 40143 15550 64736 45907 66145 42961 18368 14013 44370 15422 40015 64608 50134 45779 70372 41424 16831 11196 66017 6841 47188 13746 13885 12335 44242 19649 68835 15294 64480 45651 70244 31177 11068 47060 13618 44114 15166 45523 70116 41168 65761 36813 42577 17984 13490 43986 39631 15038 64224 17856 12221 13362 48213 43858 14910 69860 16319 26438 36557 46676 17728 13234 43730 14782 39375 63968 16191 50903 36429 46548 7610 43602 14654 63840 45011 40656 46420 1140 11837 17472 43474 39119 14526 44883 15935 1012 46292 7354 43346 18753 14398 38991 49110 44755 69348 40400 15807 64993 50519 46164 11581 17216 47573 43218 14270 44627 15679 64865 46036 11453 17088 66274 18497 14142 63328 12592 40144 15551 64737 45908 16960 11325 66146 47317 42962 18369 14014 15423 45780 70373 11197 41425 16832 66018 47189 18241 13747 13886 44243 19650 68836 15295 64481 45652 31178 11069 65890 47061 18113 13619 48470 44115 15167 45524 70117 41169 42578 17985 13491 43987 39632 15039 26567 17857 12222 13363 43859 14911 16320 26439 36558 17729 13235 7739 43731 14783 63969 16192 50904 36430 46549 7611 43603 14655 63841 45012 40657 36302 60895 46421 17473 11838 47830 43475 14527 39120 44884 15936 46293 1013 7355 43347 14399 44756 40401 15808 50520 46165 17217 11582 47574 43219 18626 14271 44628 15680 64866 46037 17089 11454 66275 7099 18498 14143 12593 19907 40145 15552 64738 45909 66147 47318 18370 14015 12465 15424 40017 45781 11198 41426 16833 47190 18242 13748 13887 12337 44244 68837 15296 64482 45653 41298 11070 65891 47062 18114 13620 48471 44116 15168 45525 70118 36815 17986 13492 43988 39633 15040 64226 45397 69990 26568 42451 17858 13364 43860 14912 16321 36559 17730 13236 7740 48087 43732 14784 63970 16193 36431 46550 11967 66788 43604 14656 63842 49368 45013 40658 36303 46422 1142 11839 17474 66660 43476 14528 39121 44885 40530 15937 46294 1014 11711 7356 43348 14400 44757 69350 15809 64995 50521 46166 17218 11583 47575 43220 18627 14272 44629 15681 64867 46038 11455 17090 66276 7100 43092 18499 14144 63330 12594 19908 40146 15553 64739 45910 11327 66148 6972 47319 18371 14016 58847 44373 40018 15425 64611 50137 45782 70375 16834 11199 66020 47191 18243 13749 13888 44245 68838 15297 64483 45654 11071 65892 47063 13621 44117 15169 45526 41171 65764 17987 13493 43989 15041 39634 64227 69991 12224 13365 48216 43861 14913 16322 26441 36560 17731 13237 48088 43733 14785 63971 16194 50906 36432 46551 11968 43605 14657 63843 45014 40659 46423 1143 11840 66661 43477 39122 14529 44886 20293 15938 1015 46295 7357 43349 14401 44758 69351 15810 64996 50522 46167 11584 17219 47576 14273 44630 15682 64868 46039 17091 11456 66277 7101 43093 18500 14145 63331 12595 40147 15554 64740 45911 66149 6973 47320 18372 14017 44374 40019 15426 64612 45783 70376 16835 11200 66021 47192 18244 13750 13889 44246 68839 15298 64484 45655 70248 11072 47064 18116 13622 48473 44118 19525 15170 45527 41172 65765 36817 42581 17988 13494 43990 39635 15042 69992 26570 17860 12225 13366 43862 14914 45271 69864 16323 26442 36561 46680 66918 13238 48089 43734 14786 63972 16195 50907 36433 46552 11969 43606 14658 63844 45015 1144 46424 11841 66662 43478 14530 39123 44887 20294 40532 15939 46296 1016 11713 7358 43350 14402 49114 44759 69352 15811 64997 50523 46168 11585 47577 43222 18629 14274 44631 15683 64869 46040 17092 11457 66278 18501 14146 63332 12596 19910 40148 15555 64741 45912 66150 47321 42966 18373 14018 12468 44375 15427 40020 64613 45784 11201 16836 47193 18245 13751 13890 12340 44247 68840 15299 64485 45656 31182 41301 11073 65894 47065 18117 13623 48474 44119 15171 45528 65766 17989 13495 43991 15043 39636 64229 45400 26571 42454 17861 13367 43863 14915 16324 36562 66919 13239 43735 14787 63973 40789 16196 50908 36434 46553 43607 14659 63845 49371 40661 60899 46425 1145 11842 43479 14531 39124 44888 15940 50652 46297 1017 7359 43351 14403 63589 44760 69353 15812 64998 50524 46169 17221 11586 47578 43223 18630 14275 44632 15684 64870 46041 11458 17093 66279 7103 18502 14147 63333 12597 19911 40149 15556 64742 45913 66151 47322 42967 18374 14019 12469 15428 50140 45785 70378 41430 11202 18246 13752 13891 44248 68841 15300 64486 45657 11074 41302 65895 47066 18118 13624 44120 15172 45529 70122 41174 36819 17990 13496 43992 15044 39637 64230 26572 12227 13368 48219 43864 14916 16325 26444 36563 1402 13240 43736 14788 63974 45145 16197 36435 46554 11971 66792 43608 14660 63846 49372 45017 40662 60900 46426 1146 11843 17478 47835 43480 39125 14532 44889 40534 15941 46298 7360 43352 14404 69354 15813 64999 50525 46170 11587 17222 47579 14276 44633 15685 64871 46042 11459 17094 7104 43096 18503 14148 63334 12598 40150 15557 64743 50269 45914 11331 66152 6976 47323 18375 14020 12470 15429 64615 50141 45786 70379 16838 47195 18247 13753 13892 44249 68842 15301 45658 70251 41303 11075 47067 13625 44121 19528 15173 45530 41175 65768 42584 17991 13497 43993 39638 15045 64231 45402 42456 12228 13369 43865 14917 45274 69867 16326 26445 36564 46683 17735 66921 13241 43737 14789 63975 16198 36436 46555 66793 43609 14661 63847 49373 45018 1147 46427 11844 7489 47836 43481 39126 44890 15942 65128 50654 46299 1019 7361 43353 14405 44762 15814 65000 50526 46171 11588 47580 43225 18632 14277 44634 15686 64872 46043 17095 11460 7105 43097 18504 14149 63335 12599 19913 40151 15558 50270 45915 11332 66153 6977 47324 18376 14021 15430 64616 50142 45787 11204 16839 47196 18248 13754 13893 12343 44250 68843 15302 45659 31185 11076 36949 47068 42713 13626 48477 44122 15174 45531 65769 36821 17992 13498 43994 15046 39639 64232 45403 69996 41048 42457 13370 43866 14918 16327 26446 46684 17736 66922 13242 48093 43738 14790 40792 16199 50911 36437 46556 43610 14662 63848 60902 1148 46428 66666 43482 44891 20298 40536 15943 1020 46300 7362 43354 14406 63592 44763 15815 65001 50527 46172 11589 47581 43226 18633 14278 44635 15687 64873 46044 17096 11461 7106 43098 18505 14150 38743 63336 12600 19914 40152 15559 50271 45916 16968 11333 66154 6978 47325 42970 18377 14022 44379 15431 64617 50143 45788 41433 11205 18249 13755 13894 44251 68844 39896 15303 45660 47069 18121 13627 44123 15175 70125 45532 41177 17993 13499 43995 39640 15047 64233 45404 41049 42458 17865 12230 13371 48222 43867 14919 69869 45276 16328 36566 46685 66923 13243 43739 14791 45148 16200 36438 46557 11974 43611 14663 63849 45020 16072 60903 1149 46429 11846 43483 39128 44892 15944 1021 46301 11718 43355 14407 49119 69357 15816 65002 50528 46173 11590 17225 47582 14279 44636 15688 64874 46045 11462 17097 7107 18506 14151 63337 12601 40153 15560 64746 45917 6979 47326 18378 42971 14023 15432 64618 50144 45789 41434 16841 47198 18250 13756 13895 68845 44252 39897 15304 64490 70254 45661 11078 47070 18122 13628 19531 44124 15176 70126 45533 41178 36823 17994 13500 43996 39641 15048 64234 45405 41050 26576 17866 12231 42459 13372 43868 14920 45277 16329 36567 1406 17738 66924 13244 43740 14792 63978 40794 16201 50913 36439 46558 43612 14664 63850 45021 16073 60904 46430 17482 11847 43484 39129 44893 15945 65131 50657 1022 46302 7364 43356 14408 63594 44765 15817 65003 50529 46174 11591 17226 47583 18635 43228 14280 44637 15689 64875 46046 17098 11463 18507 43100 14152 63338 12602 19916 40154 15561 45918 16970 6980 47327 18379 42972 14024 12474 15433 50145 70383 45790 11207 16842 41435 47199 18251 13757 13896 12346 68846 44253 15305 39898 64491 45662 11079 41307 36952 47071 18123 42716 13629 48480 44125 15177 70127 45534 42588 13501 43997 39642 15049 64235 69999 45406 26577 42460 13373 43869 14921 45278 16330 26449 17739 66925 13245 48096 43741 14793 45150 16202 40795 36440 46559 66797 43613 14665 63851 49377 16074 60905 1151 46431 66669 7493 47840 43485 20301 44894 15946 1023 46303 7365 43357 14409 44766 15818 65004 50530 46175 11592 47584 18636 43229 14281 44638 15690 64876 46047 17099 11464 7109 43101 14153 38746 63339 12603 19917 15562 40155 45919 11336 66157 6981 47328 18380 14025 58856 44382 15434 64620 50146 45791 11208 47200 18252 13758 13897 12347 68847 44254 15306 45663 36953 47072 18124 13630 48481 44126 15178 45535 41180 36825 17996 13502 43998 15050 64236 39643 45407 26578 12233 13374 48225 43870 14922 69872 45279 16331 26450 17740 66926 13246 48097 43742 14794 45151 16203 40796 36441 46560 11977 43614 14666 63852 16075 60906 1152 46432 11849 66670 7494 43486 44895 15947 65133 50659 1024 46304 11721 43358 14410 63596 49122 69360 15819 65005 50531 46176 17228 47585 18637 14282 44639 15691 64877 46048 11465 17100 7110 18509 14154 63340 12604 15563 64749 40156 45920 66158 47329 18381 42974 14026 44383 15435 50147 45792 16844 47201 18253 13759 13898 12348 68848 44255 15307 64493 70257 45664 11081 47073 18125 42718 13631 19534 44127 15179 49891 45536 41181 36826 17997 13503 43999 15051 39644 45408 26579 17869 12234 42462 13375 43871 14923 45280 16332 26451 46689 17741 66927 13247 48098 43743 14795 63981 45152 16204 40797 50916 36442 46561 43615 14667 63853 16076 1153 46433 11850 66671 43487 20303 15948 65134 1025 46305 11722 7367 43359 14411 63597 49123 69361 15820 65006 50532 46177 11594 17229 47586 43231 14283 44640 15692 64878 46049 17101 11466 47458 18510 14155 63341 38748 12605 19919 15564 64750 40157 45921 66159 6983 47330 42975 14027 12477 44384 15436 64622 50148 70386 45793 11210 16845 47202 18254 13760 13899 12349 68849 44256 15308 64494 45665 16717 11082 41310 36955 47074 18126 13632 48483 19535 44128 15180 64366 45537 41182 36827 42591 13504 44000 15052 64238 39645 70002 41054 26580 13376 43872 14924 69874 45281 26452 1410 17742 13248 43744 14796 63982 45153 16205 40798 36443 46562 66800 43616 14668 63854 49380 16077 1154 46434 7496 43488 44897 15949 65135 1026 46306 11723 7368 43360 14412 49124 69362 30295 15821 65007 50533 46178 11595 47587 18639 43232 14284 44641 15693 64879 46050 11467 17102 14156 63342 38749 12606 19920 15565 64751 40158 45922 16974 6984 47331 18383 14028 15437 64623 45794 11211 41439 47203 18255 13761 13900 12350 68850 44257 15309 39902 45666 41311 47075 18127 13633 19536 44129 15181 70131 45538 41183 36828 17999 42592 13505 44001 15053 64239 39646 45410 41055 26581 12236 42464 13377 48228 43873 14925 45282 26453 1411 17743 12108 13249 43745 14797 63983 45154 16206 40799 36444 46563 11980 43617 14669 63855 49381 16078 36316 1155 46435 11852 17487 7497 47844 43489 44898 15950 65136 1027 46307 43361 63599 15822 65008 50534 46179 11596 17231 47588 14285 44642 15694 64880 46051 11468 17103 18512 14157 63343 38750 12607 15566 40159 45923 11340 66161 47332 18384 14029 58860 15438 64624 50150 45795 16847 11212 47204 18256 13762 13901 12351 68851 44258 15310 64496 39903 70260 45667 11084 41312 36957 47076 18128 13634 48485 19537 44130 15182 49894 45539 41184 18000 42593 13506 44002 15054 39647 45411 26582 17872 12237 42465 13378 43874 14926 69876 26454 1412 46692 17744 66930 13250 43746 14798 45155 16207 40800 46564 11981 43618 14670 63856 49382 16079 40672 36317 1156 46436 11853 43490 15951 65137 1028 46308 11725 43362 63600 69364 15823 65009 50535 46180 17232 11597 47589 18641 43234 14286 44643 15695 64881 46052 17104 11469 66290 47461 18513 14158 63344 38751 12608 15567 64753 40160 45924 11341 66162 6986 47333 14030 12480 15439 64625 50151 70389 45796 16848 47205 18257 13763 13902 12352 68852 44259 15311 64497 45668 16720 11085 47077 18129 42722 13635 48486 19538 44131 15183 64369 45540 41185 18001 13507 44003 15055 64241 39648 70005 41057 26583 17873 42466 13379 43875 14927 39520 45284 26455 46693 17745 13251 48102 43747 14799 63985 45156 16208 40801 50920 36446 46565 11982 66803 43619 14671 16080 65266 36318 1157 46437 66675 47846 43491 20307 15952 65138 50664 1029 46309 43363 63601 69365 15824 65010 50536 46181 11598 47590 43235 14287 44644 15696 46053 17105 11470 14159 63345 38752 12609 15568 64754 40161 45925 11342 6987 47334 18386 14031 58862 19795 44388 15440 64626 45797 16849 41442 47206 18258 13764 13903 12353 68853 44260 15312 39905 45669 11086 36959 47078 18130 13636 19539 44132 15184 70134 45541 41186 18002 13508 44004 15056 64242 39649 45413 41058 17874 42467 13380 48231 43876 14928 39521 69878 45285 26456 46694 12111 13252 7756 43748 14800 16209 40802 36447 46566 11983 43620 14672 69622 16081 60912 36319 1158 46438 17490 11855 43492 15953 65139 46310 11727 43364 63602 69366 15825 65011 50537 46182 11599 17234 47591 18643 14288 44645 15697 46054 17106 11471 18515 14160 63346 38753 12610 15569 40162 45926 16978 11343 47335 18387 14032 58863 15441 64627 50153 45798 16850 11215 41443 47207 13765 13904 12354 68854 44261 15313 39906 70263 45670 47079 18131 13637 48488 19540 44133 15185 64371 49897 70135 45542 41187 46951 13509 44005 15057 39650 45414 26585 17875 12240 42468 13381 43877 14929 39522 69879 26457 1415 12112 17747 66933 13253 43749 14801 45158 16210 40803 46567 11984 43621 14673 16082 40675 36320 1159 46439 17491 11856 47848 43493 15954 65140 50666 1031 46311 43365 63603 30300 15826 65012 50538 46183 17235 11600 47592 43237 14289 44646 15698 64884 46055 17107 11472 18516 14161 63347 38754 12611 15570 64756 40163 45927 11344 47336 14033 12483 58864 15442 64628 50154 70392 45799 11216 16851 41444 47208 18260 13766 13905 68855 44262 15314 45671 41316 36961 47080 18132 13638 48489 19541 44134 15186 64372 70136 45543 31069 41188 18004 42597 13510 44006 15058 64244 39651 70008 45415 26586 13382 48233 43878 14930 69880 45287 12113 17748 66934 13254 48105 43750 14802 63988 45159 16211 40804 50923 46568 11985 43622 14674 63860 49386 16083 65269 60914 36321 1160 46440 17492 66678 43494 39139 20310 65141 1032 46312 11729 43366 63604 39011 30301 15827 65013 50539 46184 17236 11601 7246 47593 18645 43238 14290 44647 15699 46056 17108 11473 66294 47465 18517 14162 63348 38755 12612 15571 40164 45928 11345 280 47337 18389 14034 58865 19798 44391 15443 64629 45800 16852 11217 47209 18261 13767 13906 12356 68856 44263 15315 45672 11089 16724 41317 47081 18133 42726 13639 48490 19542 44135 15187 64373 45544 41189 18005 13511 44007 15059 64245 39652 45416 13383 48234 43879 14931 69881 45288 26459 66935 13255 7759 48106 43751 14803 16212 40805 46569 11986 43623 14675 63861 39268 45032 16084 40677 36322 1161 46441 11858 66679 43495 65142 50668 46313 11730 43367 63605 39012 49131 44776 30302 15828 65014 50540 46185 11602 47594 14291 44648 15700 46057 11474 17109 47466 18518 14163 63349 38756 12613 15572 64758 45929 11346 47338 18390 14035 58866 15444 64630 50156 45801 11218 16853 47210 13768 13907 12357 68857 44264 15316 70266 45673 16725 11090 36963 47082 18134 42727 13640 48491 44136 15188 64374 49900 45545 41190 46954 13512 44008 15060 39653 26588 12243 13384 43880 14932 69882 45289 26460 1418 46698 17750 12115 13256 7760 48107 43752 14804 45161 16213 40806 50925 46570 11987 43624 14676 69626 16085 65271 40678 36323 1162 46442 11859 66680 43496 1034 46314 11731 43368 63606 39013 15829 65015 50541 46186 11603 17238 47595 18647 43240 14292 44649 15701 64887 40294 46058 17110 11475 66296 18519 14164 63350 38757 12614 15573 40166 45930 47339 18391 14036 12486 15445 64631 50157 70395 45802 16854 11219 47211 18263 13769 13908 68858 44265 15317 45674 11091 41319 47083 18135 13641 48492 19544 44137 15189 64375 49901 45546 31072 41191 42600 13513 44009 15061 64247 39654 70011 45418 26589 12244 17879 13385 43881 14933 45290 16342 17751 13257 7761 43753 14805 63991 45162 16214 40807 50926 46571 11988 43625 14677 63863 49389 16086 65272 40679 36324 1163 46443 43497 39142 20313 65144 1035 46315 11732 43369 49133 15830 65016 50542 46187 17239 11604 47596 14293 44650 15702 64888 46059 11476 17111 47468 18520 14165 63351 38758 12615 15574 64760 40167 45931 11348 283 47340 14037 12487 19801 44394 15446 40039 45803 16855 11220 41448 47212 18264 13770 13909 12359 68859 44266 15318 45675 11092 16727 36965 47084 18136 13642 48493 19545 44138 15190 64376 49902 70140 45547 31073 41192 46956 42601 13514 44010 15062 64248 39655 45419 36709 12245 17880 13386 43882 14934 26462 13258 7762 43754 14806 63992 45163 16215 40808 50927 46572 43626 14678 63864 39271 49390 69628 45035 16087 65273 40680 60918 36325 1164 46444 11861 47853 43498 63736 20314 65145 1036 46316 11733 43370 14422 63608 44779 15831 65017 50543 46188 11605 7250 47597 18649 14294 44651 15703 64889 46060 11477 17112 66298 47469 18521 14166 63352 38759 12616 15575 45932 11349 284 47341 14038 12488 15447 64633 40040 50159 45804 11221 16856 47213 13771 13910 12360 68860 44267 15319 70269 45676 16728 11093 41321 47085 18137 13643 48494 44139 15191 64377 49903 45548 41193 46957 42602 18009 13515 44011 15063 64249 39656 26591 13387 43883 14935 69885 45292 26463 46701 12118 66939 17753 13259 7763 43755 14807 63993 45164 16216 40809 50928 46573 11990 43627 14679 49391 16088 65274 60919 36326 1165 46445 11862 47854 43499 39144 65146 1037 46317 43371 14423 63609 44780 30306 15832 65018 50544 46189 11606 17241 7251 47598 43243 14295 44652 15704 40297 46061 11478 66299 17113 47470 18522 14167 63353 38760 12617 15576 64762 45933 11350 47342 18394 14039 15448 64634 40041 50160 45805 11222 16857 47214 18266 13772 13911 68861 44268 15320 45677 11094 41322 36967 47086 42731 18138 13644 48495 44140 19547 15192 64378 49904 45549 41194 46958 18010 13516 44012 15064 64250 39657 70014 26592 12247 17882 13388 43884 14936 45293 26464 46702 17754 13260 7764 48111 43756 14808 63994 40810 16217 50929 46574 11991 43628 14680 63866 39273 65275 16089 36327 46446 66684 47855 43500 39145 44909 20316 65147 50673 1038 46318 43372 14424 39017 44781 65019 15833 50545 46190 11607 47599 43244 18651 44653 15705 46062 11479 66300 17114 47471 18523 14168 63354 38761 12618 15577 45934 11351 16986 47343 18395 14040 12490 44397 19804 64635 15449 45806 11223 41451 16858 47215 18267 13773 13912 12362 68862 44269 15321 45678 11095 16730 47087 13645 44141 19548 64379 15193 49905 70143 45550 41195 46959 13517 44013 15065 64251 26593 36712 17883 13389 43885 14937 16346 46703 13261 7765 43757 14809 45166 65404 40811 16218 50930 46575 27746 43629 14681 63867 39274 45038 65276 16090 1167 46447 17499 43501 63739 39146 20317 65148 50674 1039 46319 11736 43373 14425 63611 39018 49137 44782 15834 50546 46191 11608 17243 7253 47600 43245 18652 44654 64892 40299 15706 46063 11480 17115 47472 38762 14169 12619 64764 15578 45935 11352 287 6997 47344 18396 14041 19805 64636 15450 50162 45807 11224 41452 47216 18268 13774 13913 12363 68863 44270 15322 70272 45679 11096 41324 16731 36969 47088 42733 18140 13646 44142 15194 64380 49906 70144 45551 41196 46960 13518 44014 64252 39659 15066 45423 26594 36713 17884 13390 43886 14938 69888 17756 12121 13262 7766 43758 14810 45167 40812 16219 50931 46576 11993 43630 39275 14682 69632 65277 16091 36329 1168 46448 47857 43502 39147 65149 40556 50675 1040 46320 43374 63612 14426 44783 30309 15835 50547 46192 11609 17244 7254 47601 43246 18653 69248 44655 40300 15707 46064 66302 17116 11481 47473 18525 14170 38763 12620 64765 15579 45936 11353 16988 6998 47345 18397 14042 12492 19806 15451 50163 70401 45808 41453 11225 47217 13775 13914 68864 44271 15323 70273 45680 41325 11097 47089 18141 13647 44143 19550 64381 15195 49907 70145 45552 41197 46961 42606 18013 13519 44015 15067 64253 39660 70017 45424 26595 42478 17885 12250 13391 43887 14939 69889 26467 66943 17757 13263 7767 48114 43759 14811 40813 16220 46577 66815 11994 43631 14683 39276 49395 16092 60923 36330 1169 46449 66687 17501 47858 43503 63741 44912 65150 40557 15964 1041 46321 43375 39020 14427 44784 30310 65022 15836 50548 46193 17245 11610 47602 43247 18654 69249 44656 64894 40301 15708 46065 66303 17117 11482 47474 14171 63357 38764 12621 64766 15580 45937 11354 6999 47346 18398 14043 44400 19807 15452 45809 16861 11226 47218 13776 13915 12365 68865 44272 15324 70274 45681 41326 16733 11098 36971 47090 13648 44144 19551 15196 64382 49908 45553 41198 46962 13520 44016 64254 15068 70018 36715 17886 13392 43888 14940 69890 45297 26468 17758 13264 48115 43760 14812 63998 65407 40814 16221 50933 46578 43632 39277 14684 69634 45041 65279 16093 60924 46450 66688 43504 63742 20320 65151 40558 15965 46322 11739 43376 63614 39021 14428 44785 30311 15837 50549 46194 17246 47603 43248 69250 44657 40302 15709 46066 17118 47475 18527 38765 14172 12622 64767 15581 45938 11355 47347 18399 14044 12494 19808 15453 50165 70403 45810 11227 16862 47219 18271 13777 13916 12366 68866 44273 15325 45682 11099 41327 16734 36972 47091 42736 18143 13649 44145 15197 64383 45554 41199 46963 13521 44017 64255 15069 70019 26597 17887 13393 43889 14941 45298 16350 26469 46707 12124 13265 7769 48116 43761 63999 14813 40815 16222 50934 46579 11996 66817 43633 39278 14685 65280 16094 46451 66689 7513 43505 63743 20321 65152 15966 50678 1043 46323 11740 43377 14429 63615 49141 44786 15838 50550 46195 11612 17247 47604 43249 18656 69251 44658 64896 40303 15710 46067 17119 11484 47476 18528 38766 14173 12623 64768 15582 45939 11356 7001 47348 18400 14045 19809 15454 64640 50166 45811 11228 66049 16863 47220 18272 13778 13917 68867 44274 15326 45683 41328 16735 11100 47092 42737 18144 13650 48501 44146 19553 64384 15198 49910 45555 41200 46964 42609 18016 13522 44018 15070 64256 45427 26598 36717 42481 17888 12253 13394 43890 14942 16351 26470 12125 13266 7770 43762 14814 45171 65409 40816 16223 46580 11997 43634 14686 39279 49398 65281 16095 60926 1172 46452 43506 63744 44915 20322 65153 15967 1044 46324 11741 43378 14430 44787 65025 15839 50551 46196 47605 43250 18657 69252 44659 40304 15711 46068 17120 47477 18529 14174 63360 38767 12624 64769 15583 45940 11357 16992 7002 47349 18401 14046 12496 19810 15455 64641 45812 41457 16864 11229 47221 18273 13779 13918 12368 68868 44275 15327 45684 31210 11101 16736 47093 42738 18145 13651 44147 19554 15199 64385 49911 70149 45556 41201 10973 46965 42610 18017 13523 44019 15071 64257 45428 36718 42482 17889 13395 43891 14943 16352 26471 17761 12126 13267 43763 14815 45172 65410 40817 16224 50936 46581 43635 14687 39280 49399 45044 65282 16096 60927 46453 17505 43507 63745 20323 65154 15968 46325 43379 14431 63617 65026 15840 50552 46197 17249 11614 47606 43251 18658 69253 44660 64898 40305 15712 46069 11486 17121 47478 18530 63361 38768 14175 12625 64770 40177 15584 45941 11358 7003 47350 18402 14047 19811 15456 50168 45813 11230 16865 47222 18274 13780 13919 12369 68869 44276 15328 70278 45685 11102 65923 41330 16737 47094 18146 13652 48503 44148 64386 15200 45557 41202 10974 46966 42611 18018 13524 44020 64258 15072 45429 26600 36719 13396 43892 14944 69894 45301 26472 46710 12127 66948 17762 13268 7772 43764 14816 65411 40818 16225 50937 46582 11999 43636 39281 14688 49400 69638 65283 16097 1174 46454 7516 43508 63746 14560 20324 65155 40562 15969 50681 1046 46326 11743 43380 14432 63618 30315 65027 15841 50553 46198 17250 47607 43252 18659 69254 44661 40306 15713 46070 17122 47479 18531 14176 63362 38769 12626 64771 15585 45942 7004 47351 18403 14048 19812 64643 15457 50169 45814 11231 66052 16866 47223 18275 13781 13920 68870 44277 15329 45686 41331 16738 11103 47095 42740 13653 44149 19556 64387 15201 49913 45558 41203 10975 46967 18019 13525 44021 15073 64259 70023 26601 12256 42484 17891 13397 43893 14945 69895 45302 26473 46711 17763 12128 13269 7773 48120 43765 14817 65412 40819 16226 46583 12000 43637 14689 39282 65284 16098 60929 46455 66693 7517 43509 14561 63747 44918 20325 65156 40563 15970 46327 1047 66565 43381 63619 14433 15842 50554 46199 17251 11616 47608 43253 18660 69255 44662 64900 40307 15714 46071 17123 11488 47480 18532 38770 14177 12627 64772 15586 45943 11360 7005 47352 18404 14049 12499 64644 15458 70408 45815 41460 16867 11232 47224 18276 13782 13921 12371 68871 44278 15330 45687 16739 11104 47096 42741 18148 13654 44150 19557 15202 64388 49914 70152 45559 65797 41204 46968 13526 44022 15074 64260 45431 36721 12257 17892 13398 43894 14946 45303 16355 26474 46712 17764 12129 13270 43766 14818 45175 65413 40820 16227 50939 46584 66822 27755 43638 14690 39283 69640 45047 65285 16099 60930 46456 1176 7518 43510 63748 14562 20326 65157 15971 1048 46328 43382 14434 63620 49146 44791 15843 50555 46200 17252 47609 43254 44663 40308 15715 46072 17124 47481 18533 63364 38771 14178 12628 64773 40180 15587 45944 16996 11361 47353 18405 14050 19814 15459 50171 45816 11233 66054 41461 47225 18277 13783 13922 12372 68872 44279 15331 70281 45688 11105 65926 41333 16740 47097 18149 13655 44151 64389 15203 45560 41205 46969 13527 44023 64261 15075 45432 42486 12258 13399 43895 14947 69897 65542 26475 17765 12130 13271 43767 14819 45176 65414 40821 16228 50940 46585 12002 43639 39284 14691 65286 16100 46457 17509 7519 43511 14563 63749 20327 40565 15972 46329 1049 43383 14435 63621 30318 65030 15844 50556 46201 17253 11618 47610 43255 18662 44664 64902 40309 15716 46073 17125 11490 47482 18534 14179 38772 12629 64774 15588 45945 11362 7007 47354 18406 14051 12501 19815 64646 15460 50172 45817 66055 41462 11234 47226 18278 13784 13923 68873 44280 15332 70282 45689 31215 41334 11106 47098 13656 44152 19559 64390 15204 49916 45561 41206 10978 46970 42615 13528 44024 15076 64262 70026 36723 12259 17894 13400 43896 14948 45305 12131 66952 17766 13272 48123 43768 14820 45177 65415 40822 16229 46586 66824 12003 43640 14692 39285 49404 65287 16101 46458 1178 66696 7520 43512 14564 63750 69514 44921 20328 40566 15973 46330 1050 11747 66568 43384 63622 14436 30319 15845 50557 46202 17254 11619 47611 43256 18663 69258 44665 64903 40310 15717 46074 17126 47483 18535 14180 38773 12630 40182 15589 45946 11363 7008 47355 18407 14052 15461 64647 70411 45818 66056 11235 47227 18279 13785 13924 68874 44281 15333 70283 45690 31216 11107 65928 41335 16742 47099 13657 44153 19560 15205 64391 49917 70155 45562 10979 65800 41207 46971 18023 13529 44025 15077 64263 39670 70027 17895 12260 13401 43897 39542 14949 69899 45306 26477 17767 12132 13273 48124 43769 14821 65416 40823 16230 50942 46587 43641 14693 39286 45050 65288 16102 46459 66697 7521 43513 63751 14565 69515 65160 15974 1051 46331 66569 11748 43385 14437 63623 49149 65032 15846 50558 46203 11620 17255 47612 43257 44666 64904 40311 15718 46075 66313 17127 47484 43129 18536 63367 38774 14181 12631 40183 15590 50302 45947 11364 7009 47356 18408 14053 12503 19817 15462 50174 70412 45819 11236 66057 47228 18280 13786 13925 12375 68875 44282 15334 45691 31217 11108 65929 41336 16743 47100 13658 44154 15206 64392 39799 45563 41208 10980 36853 46972 18024 13530 44026 64264 15078 70028 36725 42489 12261 13402 43898 14950 39543 69900 65545 26478 46716 17768 13274 48125 43770 14822 45179 65417 40824 16231 50943 46588 12005 66826 27759 43642 39287 14694 69644 65289 16103 46460 66698 7522 43514 14566 63752 69516 20330 15975 46332 1052 66570 43386 14438 63624 49150 44795 30321 50559 46204 11621 17256 47613 43258 18665 44667 64905 40312 15719 46076 17128 11493 47485 18537 38775 14182 12632 40184 15591 45948 11365 7010 47357 18409 14054 19818 15463 50175 45820 11237 66058 47229 18281 13787 13926 68876 44283 15335 45692 65930 41337 11109 47101 18153 13659 48510 44155 64393 15207 49919 45564 10981 65802 41209 46973 42618 13531 44027 15079 64265 17897 12262 13403 43899 14951 39544 69901 36598 12134 17769 13275 43771 64009 14823 45180 65418 16232 50944 46589 12006 7651 43643 14695 39288 49407 45052 65290 16104 50816 46461 1181 7523 43515 63753 14567 69517 44924 20331 15976 46333 1053 66571 11750 43387 63625 14439 49151 65034 50560 46205 17257 11622 47614 43259 18666 69261 44668 64906 40313 15720 46077 66315 17129 47486 18538 14183 38776 48895 12633 64778 40185 15592 45949 17001 11366 7011 47358 43003 18410 14055 15464 50176 70414 45821 66059 41466 11238 47230 18282 13788 13927 68877 44284 15336 45693 65931 41338 16745 11110 47102 18154 13660 44156 15208 64394 49920 70158 45565 65803 41210 10982 46974 42619 18026 13532 44028 19435 15080 64266 39673 36727 12263 17898 13404 43900 14952 69902 65547 40954 26480 17770 12135 13276 43772 14824 65419 40826 16233 50945 46590 43644 14696 39289 49408 69646 65291 16105 46462 17514 7524 43516 63754 14568 69518 65163 15977 46334 66572 11751 43388 14440 63626 44797 30323 50561 46206 17258 47615 43260 18667 69262 44669 64907 40314 15721 46078 17130 47487 43132 18539 63370 38777 14184 12634 64779 15593 45950 11367 47359 18411 14056 19820 15465 50177 70415 45822 11239 66060 47231 18283 13789 13928 12378 68878 44285 15337 70287 45694 11111 65932 41339 16746 47103 18155 13661 48512 44157 64395 39802 15209 45566 65804 41211 10983 36856 46975 42620 18027 13533 44029 64267 15081 42492 12264 13405 43901 14953 69903 65548 26481 46719 66957 17771 13277 43773 14825 69775 65420 40827 16234 50946 46591 43645 39290 14697 49409 69647 45054 65292 40699 16106 50818 1183 46463 43517 14569 63755 69519 20333 65164 15978 46335 1055 66573 43389 14441 63627 30324 65036 50562 46207 17259 11624 47616 43261 18668 69263 44670 64908 40315 15722 46079 66317 17131 11496 47488 18540 14185 63371 38778 12635 15594 45951 11368 7013 47360 18412 14057 12507 19821 15466 50178 45823 11240 16875 47232 42877 18284 13790 13929 12379 68879 44286 15338 45695 65933 41340 16747 11112 47104 13662 44158 15210 49922 45567 10984 65805 41212 36857 46976 18028 13534 44030 15082 64268 39675 70032 36729 42493 17900 13406 43902 14954 65549 26482 36601 46720 17772 12137 13278 48129 33655 43774 64012 14826 65421 16235 46592 13150 43646 14698 39291 69648 45055 65293 40700 16107 1184 46464 66702 7526 43518 63756 14570 44927 20334 65165 15979 46336 1056 11753 66574 43390 63628 14442 44799 50563 46208 11625 7270 47617 43262 18669 44671 64909 40316 15723 46080 11497 66318 17132 47489 43134 63372 14186 48898 12636 64781 15595 45952 66190 17004 11369 7014 47361 43006 18413 14058 12508 15467 50179 45824 66062 41469 11241 47233 18285 13791 13930 12380 68880 44287 15339 45696 11113 65934 41341 47105 18157 13663 44159 15211 39804 49923 70161 45568 10985 65806 41213 46977 18029 13535 44031 19438 15083 64269 39676 42494 17901 12266 13407 43903 39548 14955 69905 65550 40957 46721 17773 12138 13279 43775 14827 65422 16236 50948 46593 66831 13151 7655 43647 14699 39292 69649 45056 65294 40701 16108 46465 17517 7527 43519 63757 14571 20335 15980 46337 66575 11754 12895 43391 14443 63629 49155 44800 30326 65038 50564 46209 17261 47618 43263 44672 64910 40317 15724 46081 66319 17133 11498 47490 43135 18542 63373 38780 14187 12637 64782 15596 45953 11370 7015 18414 14059 12509 19823 40061 15468 50180 45825 11242 66063 41470 16877 47234 18286 13792 13931 68881 44288 15340 70290 45697 11114 41342 16749 47106 18158 13664 44160 64398 39805 15212 45569 65807 41214 10986 36859 46978 18030 13536 44032 64270 39677 15084 36731 17902 12267 13408 43904 39549 14956 65551 36603 66960 17774 13280 43776 14828 64014 65423 16237 50949 26356 46594 66832 13152 7656 43648 39293 14700 69650 45057 65295 16109 46466 17518 43520 14572 63758 69522 44929 20336 15981 46338 1058 11755 66576 43392 14444 63630 44801 30327 50565 46210 17262 11627 47619 43264 18671 69266 44673 64911 40318 15725 46082 66320 17134 47491 43136 18543 14188 38781 12638 48900 15597 45954 7016 47363 43008 18415 14060 19824 40062 15469 50181 70419 45826 41471 11243 47235 42880 18287 13793 13932 12382 68882 44289 15341 70291 45698 65936 41343 11115 13665 48516 44161 39806 15213 49925 45570 10987 65808 41215 46979 42624 18031 13537 44033 15085 64271 39678 70035 65680 36732 13409 43905 14957 65552 40959 26485 36604 12140 17775 13281 48132 33658 43777 14829 69779 65424 16238 50950 46595 13153 43649 14701 39294 49413 69651 45058 16110 46467 66705 17519 7529 43521 14573 63759 39166 20337 65168 15982 46339 1059 11756 66577 43393 63631 14445 44802 65040 46211 17263 11628 7273 47620 43265 14317 64912 40319 15726 46083 66321 17135 47492 43137 14189 12639 64784 15598 45955 66193 17007 11372 7017 47364 43009 18416 14061 12511 69011 15470 40063 50182 45827 66065 11244 47236 18288 13794 13933 68883 44290 15342 70292 45699 65937 41344 11116 47108 18160 13666 44162 15214 39807 49926 70164 45571 10988 41216 36861 46980 18032 13538 44034 19441 15086 64272 70036 12269 13410 43906 39551 14958 69908 65553 40960 36605 17776 12141 13282 43778 64016 14830 65425 16239 50951 46596 13154 7658 43650 14702 39295 45059 16111 50823 46468 66706 7530 43522 63760 39167 14574 44931 15983 1060 46340 66578 11757 43394 63632 49158 44803 65041 50567 46212 11629 17264 7274 47621 43266 18673 14318 44675 40320 15727 46084 66322 17136 47493 43138 18545 14190 12640 48902 64785 15599 45956 11373 43010 18417 14062 12512 69012 19826 15471 50183 45828 66066 47237 42882 18289 13795 13934 44291 15343 45700 11117 41345 16752 47109 18161 13667 44163 15215 64401 39808 45572 65810 41217 10989 46981 18033 13539 44035 64273 15087 70037 17905 12270 13411 43907 14959 39552 65554 40961 26487 36606 46725 66963 17777 13283 43779 14831 64017 69781 65426 16240 50952 26359 36478 46597 66835 13155 7659 43651 39296 14703 69653 45060 65298 16112 46469 66707 43523 63761 39168 14575 69525 44932 65170 15984 46341 1061 66579 43395 63633 49159 44804 65042 15856 50568 46213 17265 7275 47622 43267 14319 69269 44676 40321 15728 46085 66323 17137 47494 43139 18546 63377 14191 12641 48903 15600 45957 66195 7019 47366 43011 18418 14063 69013 19827 15472 50184 70422 45829 11246 66067 47238 42883 18290 13796 13935 12385 44292 15344 45701 65939 41346 16753 11118 13668 44164 64402 39809 15216 45573 10990 65811 41218 36863 46982 42627 13540 44036 15088 64274 65683 42499 17906 13412 43908 14960 65555 40962 36607 66964 17778 12143 13284 48135 43780 14832 65427 16241 26360 46598 66836 13156 43652 14704 39297 49416 69654 45061 16113 46470 43524 14576 63762 69526 44933 15985 46342 1062 11759 66580 43396 63634 49160 44805 65043 15857 46214 11631 7276 47623 43268 18675 14320 40322 15729 46086 66324 17138 47495 43140 18547 14192 63378 12642 15601 45958 11375 66196 17010 7020 47367 43012 18419 14064 12514 69014 15473 45830 66068 41475 11247 6892 47239 42884 18291 13797 13936 68886 44293 15345 45702 65940 41347 47111 18163 13669 48520 44165 15217 64403 39810 70167 45574 41219 10991 46983 18035 13541 44037 19444 15089 64275 12272 17907 13413 43909 14961 65556 40963 26489 36608 12144 13285 43781 14833 64019 65428 16242 26361 46599 13157 43653 14705 39298 49417 45062 16114 46471 17523 43525 63763 14577 69527 44934 65172 15986 1063 46343 66581 11760 43397 63635 44806 65044 15858 50570 46215 11632 17267 7277 47624 43269 14321 38914 44678 64916 40323 15730 46087 17139 47496 14193 12643 48905 15602 45959 66197 11376 7021 43013 18420 14065 12515 69015 19829 40067 15474 45831 66069 47240 42885 18292 13798 13937 44294 15346 70296 45703 11120 65941 41348 16755 47112 18164 13670 44166 15218 39811 45575 65813 41220 10992 36865 46984 18036 13542 44038 19445 64276 15090 65685 17908 12273 13414 43910 14962 69912 65557 40964 26490 36609 46728 66966 17780 13286 43782 14834 64020 65429 16243 26362 36481 46600 13158 43654 39299 14706 49418 69656 45063 65301 16115 46472 43526 63764 14578 44935 15987 46344 1064 11761 66582 43398 63636 44807 65045 15859 50571 46216 17268 11633 7278 47625 43270 18677 14322 69272 44679 64917 40324 15731 46088 17140 11505 47497 43142 18549 14194 12644 48906 15603 45960 66198 17012 7022 43014 18421 14066 69016 19830 15475 40068 70425 45832 11249 66070 16884 47241 42886 18293 13799 13938 12388 44295 15347 45704 65942 41349 11121 13671 44167 64405 39812 15219 45576 10993 65814 41221 46985 42630 13543 44039 19446 15091 70041 65686 42502 17909 13415 43911 14963 65558 40965 26491 36610 12146 17781 13287 48138 33664 43783 64021 14835 69785 65430 40837 16244 26363 46601 66839 13159 43655 39300 14707 69657 45064 65302 16116 46473 66711 43527 14579 63765 44936 65174 15988 46345 1065 11762 66583 43399 63637 44808 15860 46217 17269 11634 7279 47626 43271 14323 40325 15732 46089 17141 47498 43143 18550 14195 48907 12645 15604 45961 66199 7023 18422 14067 12517 15476 45833 66071 41478 11250 42887 18294 13800 13939 68889 44296 15348 45705 65943 41350 16757 18166 13672 44168 15220 39813 70170 45577 65815 41222 10994 36867 46986 18038 13544 44040 19447 15092 65687 42503 17910 12275 13416 43912 14964 65559 40966 26492 36611 66968 12147 13288 43784 14836 64022 65431 16245 26364 36483 46602 13160 43656 14708 39301 45065 65303 16117 46474 17526 43528 14580 44937 15989 46346 66584 11763 7408 43400 63638 49164 44809 65047 15861 50573 46218 11635 17270 7280 47627 43272 18679 14324 38917 64919 40326 15733 46090 17142 11507 47499 18551 14196 12646 48908 69146 15605 45962 66200 17014 43016 18423 14068 12518 69018 40070 15477 45834 66072 41479 16886 6896 47243 42888 18295 13801 13940 68890 44297 15349 70299 45706 11123 65944 41351 16758 18167 13673 44169 15221 39814 45578 65816 41223 10995 46987 18039 13545 44041 19448 15093 65688 17911 12276 13417 43913 14965 69915 65560 40967 26493 36612 46731 66969 17783 13289 43785 64023 14837 69787 65432 16246 26365 36484 46603 13161 43657 39302 14709 69659 45066 16118 46475 17527 11892 43529 14581 69531 44938 65176 15990 46347 1067 11764 66585 43401 63639 44810 65048 15862 50574 46219 11636 17271 7281 47628 43273 14325 69275 64920 40327 15734 46091 17143 47500 43145 14197 12647 48909 69147 15606 45963 66201 7025 43017 14069 40071 15478 70428 45835 11252 66073 41480 6897 47244 18296 13802 13941 12391 68891 44298 19705 15350 70300 45707 65945 41352 11124 36997 13674 48525 44170 64408 39815 15222 45579 65817 41224 36869 46988 42633 13546 52752 44042 19449 64280 15094 70044 65689 42505 17912 13418 43914 14966 69916 65561 40968 36613 12149 17784 13290 48141 43786 64024 14838 65433 40840 16247 26366 36485 46604 66842 17656 13162 43658 39303 14710 49422 69660 45067 16119 46476 66714 17528 43530 14582 63768 44939 15991 46348 1068 11765 66586 43402 63640 44811 30337 65049 15863 46220 17272 11637 47629 43274 18681 14326 38919 40328 15735 46092 17144 47501 43146 18553 14198 38791 48910 12648 69148 15607 45964 7026 18425 14070 12520 69020 15479 45836 66074 11253 42890 18297 13803 13942 12392 44299 15351 70301 45708 65946 41353 16760 18169 13675 44171 15223 39816 70173 45580 10997 65818 41225 46989 18041 13547 44043 19450 64281 15095 70045 65690 12278 17913 13419 43915 14967 65562 40969 26495 36614 66971 17785 12150 13291 33668 43787 64025 14839 16248 26367 36486 46605 13163 43659 14711 45068 65306 36358 46477 66715 43531 14583 44940 65178 15992 46349 66587 11766 43403 63641 14455 49167 44812 65050 15864 50576 46221 11638 17273 7283 47630 43275 18682 14327 38920 49039 64922 40329 15736 46093 17145 47502 43147 14199 12649 48911 69149 15608 45965 66203 7027 43019 18426 14071 12521 69021 15480 45837 11254 66075 16889 42891 13804 13943 12393 44300 15352 45709 11126 65947 41354 16761 18170 13676 44172 15224 39817 45581 65819 41226 10998 36871 46990 18042 13548 44044 19451 15096 70046 65691 42507 17914 12279 13420 43916 14968 69918 65563 40970 26496 36615 46734 66972 17786 13292 43788 14840 64026 40842 16249 36487 46606 13164 43660 39305 14712 45069 69662 50833 46478 66716 11895 43532 14584 44941 69534 65179 15993 46350 1070 11767 66588 7412 43404 14456 63642 49168 44813 15865 46222 11639 17274 7284 47631 43276 18683 38921 14328 69278 64923 15737 46094 17146 11511 47503 43148 18555 14200 12650 48912 69150 15609 45966 66204 7028 43020 14072 12522 69022 15481 45838 70431 11255 66076 16890 18299 13805 13944 12394 44301 19708 68894 15353 45710 70303 65948 41355 16762 11127 37000 13677 48528 44173 64411 39818 15225 45582 65820 41227 46991 42636 13549 52755 44045 19452 15097 64283 65692 17915 13421 43917 14969 49681 65564 40971 36616 13293 48144 43789 14841 69791 65436 40843 16250 26369 36488 46607 17659 66845 13165 43661 39306 14713 49425 45070 69663 65308 46479 11896 43533 63771 14585 49297 44942 65180 15994 46351 1071 11768 66589 7413 43405 63643 14457 49169 44814 30340 40459 15866 46223 17275 11640 47632 43277 18684 14329 38922 40331 15738 46095 17147 47504 14201 38794 48913 12651 69151 15610 45967 17019 7029 43021 18428 14073 12523 69023 15482 45839 70432 41484 16891 11256 42893 18300 13806 13945 12395 44302 15354 45711 70304 16763 11128 65949 18172 13678 44174 15226 64412 39819 45583 70176 11000 41228 65821 36873 46992 18044 13550 44046 64284 15098 65693 12281 17916 13422 43918 64156 14970 69920 40972 65565 26498 36617 17788 66974 13294 43790 14842 64028 40844 16251 26370 36489 46608 13166 43662 14714 49426 45071 69664 36361 46480 11897 17532 43534 63772 14586 44943 15995 65181 1072 46352 11769 66590 43406 63644 14458 44815 15867 50579 46224 11641 17276 7286 47633 43278 14330 38923 49042 40332 15739 46096 17148 66334 47505 43150 18557 63388 14202 12652 48914 40204 15611 45968 66206 47377 43022 18429 14074 12524 69024 15483 45840 70433 11257 42894 13807 13946 12396 44303 15355 45712 16764 65950 37002 13679 44175 15227 39820 64413 45584 41229 11001 65822 46993 18045 13551 44047 19454 15099 65694 42510 17917 12282 13423 43919 14971 69921 40973 65566 26499 36618 46737 17789 66975 13295 33672 43791 14843 64029 69793 40845 16252 36490 46609 13167 43663 14715 49427 45072 69665 65310 46481 43535 14587 63773 44944 69537 15996 65182 46353 1073 11770 66591 7415 43407 14459 63645 44816 30342 15868 65054 46225 17277 11642 7287 47634 43279 18686 38924 14331 69281 15740 46097 17149 66335 47506 43151 38796 14203 12653 48915 69153 40205 15612 45969 17021 66207 7031 47378 14075 12525 15484 50196 45841 11258 66079 42895 18302 13808 13947 12397 44304 19711 15356 45713 41358 16765 37003 47122 18174 13680 48531 44176 39821 15228 64414 45585 20992 41230 65823 36875 46994 42639 18046 52758 13552 44048 19455 15100 64286 70050 65695 17918 13424 43920 14972 49684 69922 40974 65567 26500 36619 13296 48147 33673 43792 14844 16253 65439 26372 36491 46610 66848 13168 43664 14716 45073 69666 50837 36363 46482 11899 66720 43536 14588 49300 44945 15997 46354 1074 11771 66592 7416 43408 14460 63646 44817 30343 40462 15869 65055 46226 17278 47635 43280 18687 14332 38925 44689 15741 46098 17150 11515 66336 47507 18559 14204 38797 48916 12654 40206 15613 45970 66208 7032 47379 43024 18431 14076 12526 15485 45842 41487 16894 11259 66080 42896 18303 13809 13948 12398 44305 68898 15357 45714 11131 37004 18175 13681 48532 44177 15229 39822 45586 70179 11003 41231 65824 36876 46995 13553 52759 44049 15101 64287 65696 17919 13425 43921 14973 64159 69923 40975 65568 36620 66977 13297 33674 43793 14845 64031 16254 65440 26373 36492 46611 17663 13169 43665 14717 45074 69667 65312 36364 46483 17535 43537 14589 63775 44946 15998 65184 1075 46355 17407 11772 66593 43409 14461 49173 44818 30344 15870 46227 17279 47636 43281 18688 38926 14333 15742 46099 17151 47508 38798 14205 63391 12655 48917 69155 15614 45971 66209 7033 47380 43025 18432 14077 12527 69027 15486 50198 45843 11260 41488 66081 13810 13949 12399 34187 44306 15358 45715 70308 11132 65953 37005 18176 13682 44178 15230 39823 45587 41232 11004 46996 52760 13554 44050 19457 15102 65697 42513 17920 12285 13426 52632 43922 14974 49686 69924 40976 65569 36621 66978 13298 43794 14846 64032 16255 65441 26374 36493 46612 17664 13170 43666 14718 45075 69668 36365 46484 43538 14590 44947 69540 15999 65185 46356 1076 66594 43410 14462 44819 30345 40464 15871 65057 46228 11645 17280 47637 43282 18689 38927 14334 69284 15743 46100 17152 47509 18561 14206 38799 12656 48918 69156 15615 45972 11389 66210 7034 47381 18433 14078 12528 15487 45844 21251 41489 16896 11261 42898 18305 13811 13950 34188 44307 19714 15359 45716 41361 16768 11133 65954 47125 18177 13683 48534 44179 39824 15231 45588 41233 11005 46997 18049 13555 44051 19458 15103 45460 70053 65698 42514 17921 13427 43923 14975 64161 40977 65570 26503 36622 17793 66979 13299 48150 43795 14847 69797 16256 36494 46613 13171 7675 43667 14719 49431 45076 69669 40721 65314 50840 36366 46485 11902 66723 43539 14591 44948 16000 65186 46357 1077 11774 66595 43411 14463 44820 40465 15872 65058 46229 17281 47638 43283 18690 14335 38928 49047 44692 15744 46101 17153 11518 47510 43155 18562 14207 63393 48919 12657 69157 15616 45973 17025 66211 7035 47382 14079 12529 15488 45845 16897 11262 66083 47254 42899 18306 13812 13951 12401 34189 44308 19715 68901 15360 45717 11134 41362 65955 37007 47126 18178 13684 48535 44180 15232 39825 64418 45589 70182 41234 65827 46998 18050 13556 44052 15104 39697 70054 16513 65699 42515 17922 52634 13428 43924 14976 64162 49688 40978 65571 26504 36623 17794 66980 13300 48151 33677 43796 14848 64034 16257 36495 46614 17666 13172 43668 14720 45077 69670 40722 36367 46486 17538 43540 14592 63778 44949 16001 65187 46358 17410 11775 66596 43412 14464 63650 49176 44821 40466 15873 46230 17282 47639 43284 38929 14336 44693 15745 46102 17154 47511 43156 18563 14208 12658 48920 69158 15617 45974 17026 47383 14080 12530 69030 15489 50201 45846 11263 66084 47255 18307 13813 13952 12402 44309 19716 15361 45718 70311 41363 11135 47127 18179 13685 48536 44181 15233 39826 64419 45590 41235 65828 46999 18051 13557 44053 19460 39698 15105 70055 65700 12288 13429 43925 14977 64163 49689 45334 69927 40979 26505 36624 66981 13301 48152 43797 14849 64035 69799 16258 65444 26377 36496 46615 17667 13173 43669 14721 45078 69671 40723 65316 36368 46487 43541 14593 49305 44950 69543 16002 65188 46359 1079 66597 43413 14465 63651 44822 40467 15874 65060 46231 17283 47640 43285 18692 38930 14337 44694 15746 46103 17155 11520 47512 18564 14209 63395 12659 48921 69159 15618 45975 17027 7037 47384 43029 18436 14081 12531 69031 15490 45847 16899 11264 47256 13814 13953 44310 19717 68903 15362 45719 70312 16771 11136 65957 37009 47128 18180 13686 48537 44182 39827 15234 45591 11008 41236 65829 47000 18052 13558 44054 19461 15106 39699 45463 65701 12289 42517 17924 13430 43926 14978 64164 40980 13302 43798 14850 69800 16259 26378 36497 46616 17668 13174 7678 48025 43670 14722 49434 69672 65317 36369 46488 11905 66726 43542 14594 44951 16003 46360 1080 11777 66598 43414 14466 44823 15875 65061 46232 17284 11649 43286 18693 14338 38931 49050 44695 69288 15747 46104 17156 47513 14210 63396 48922 12660 15619 45976 11393 66214 7038 47385 43030 18437 14082 12532 69032 15491 50203 45848 21255 70441 41493 11265 47257 13815 13954 12404 44311 19718 15363 45720 70313 11137 16772 65958 47129 13687 48538 44183 15235 39828 45592 70185 41237 11009 47001 18053 13559 44055 15107 16516 65702 42518 17925 12290 13431 52637 43927 14979 64165 49691 40981 65574 26507 36626 17797 66983 13303 33680 43799 14851 64037 45208 69801 16260 65446 26379 36498 46617 17669 13175 7679 43671 39316 14723 49435 45080 69673 65318 36370 46489 17541 43543 39188 14595 63781 44952 16004 46361 11778 66599 43415 14467 63653 49179 44824 40469 15876 46233 17285 43287 38932 14339 49051 44696 15748 46105 11522 17157 47514 43159 18566 14211 48923 15620 45977 66215 47386 18438 14083 12533 15492 50204 45849 16901 47258 42903 18310 13816 13955 12405 44312 19719 15364 45721 11138 16773 37011 47130 13688 13827 44184 39829 15236 45593 41238 11010 65831 47002 18054 13560 44056 19463 15108 45465 65703 13432 43928 14980 64166 49692 45337 69930 40982 26508 36627 66984 13304 43800 538 14852 39445 64038 69802 16261 26380 36499 46618 17670 13176 7680 43672 14724 49436 45081 65319 36371 46490 43544 39189 14596 63782 49308 44953 69546 16005 46362 1082 66600 43416 14468 63654 44825 40470 15877 46234 17286 11651 43288 18695 38933 14340 63526 49052 44697 69290 40342 15749 46106 17158 11523 47515 43160 18567 14212 63398 48924 69162 15621 45978 66216 47387 18439 14084 12534 15493 50205 45850 16902 11267 47259 42904 18311 13817 13956 34194 44313 19720 68906 15365 45722 41367 11139 47131 18183 13689 13828 44185 39830 15237 45594 11011 41239 65832 47003 18055 13561 44057 19464 15109 45466 70059 65704 17927 13433 43929 14981 64167 49693 69931 40983 26509 66985 13305 48156 43801 14853 64039 69803 16262 65448 26381 36500 46619 17671 12036 13177 7681 48028 43673 14725 40727 65320 36372 46491 11908 66729 43545 14597 39190 63783 49309 44954 16006 65192 46363 1083 11780 17415 66601 43417 14469 44826 40471 15878 46235 17287 43289 18696 14341 38934 15750 46107 11524 17159 47516 43161 18568 14213 63399 48925 15622 45979 11396 17031 47388 43033 18440 14085 12535 69035 15494 45851 41496 11268 6913 47260 18312 13818 13957 12407 34195 44314 19721 15366 45723 11140 37013 47132 13690 13829 44186 15238 39831 45595 70188 41240 11012 47004 18056 13562 44058 15110 45467 65705 36757 17928 13434 43930 14982 64168 49694 45339 69932 40984 65577 26510 17800 66986 13306 43802 14854 64040 45211 69804 16263 26382 36501 46620 17672 13178 7682 43674 14726 39319 69676 40728 65321 36373 46492 11909 17544 43546 14598 63784 49310 44955 16007 65193 1084 46364 11781 66602 43418 14470 63656 49182 44827 40472 15879 46236 17288 43290 38935 14342 15751 46108 17160 11525 66346 47517 18569 14214 63400 48926 15623 45980 17032 66218 47389 43034 18441 14086 12536 15495 50207 45852 16904 47261 18313 13819 13958 12408 44315 19722 15367 70317 45724 11141 47133 18185 13691 13830 48542 44187 15239 39832 45596 41241 11013 47005 18057 13563 44059 19466 15111 45468 16520 65706 17929 13435 52641 43931 14983 64169 49695 45340 40985 65578 26511 17801 66987 13307 43803 14855 39448 64041 16264 65450 26383 36502 46621 17673 13179 7683 43675 14727 65322 36374 46493 11910 43547 14599 69549 16008 1085 46365 66603 43419 14471 63657 69421 44828 40473 15880 46237 17289 11654 43291 18698 38936 14343 63529 40345 15752 46109 17161 11526 66347 47518 43163 18570 14215 63401 48927 69165 15624 45981 17033 66219 47390 18442 43035 14087 12537 15496 50208 70446 45853 16905 47262 18314 42907 13820 13959 44316 15368 45725 41370 11142 37015 47134 18186 13692 13831 48543 44188 39833 15240 45597 41242 11014 47006 18058 13564 19467 44060 15112 70062 45469 65707 17930 13436 43932 14984 64170 49696 69934 45341 40986 65579 17802 66988 13308 48159 43804 14856 64042 45213 16265 26384 36503 46622 12039 66860 13180 7684 43676 14728 39321 49440 40730 65323 36375 46494 11911 66732 43548 14600 69550 44957 65195 1086 46366 17418 11783 66604 43420 14472 69422 44829 40474 15881 46238 18699 43292 14344 38937 49056 44701 15753 46110 17162 66348 47519 43164 14216 63402 69166 15625 45982 11399 66220 47391 18443 14088 12538 69038 15497 70447 45854 16906 11271 41499 6916 47263 18315 42908 13821 13960 12410 34198 19724 68910 44317 15369 45726 11143 41371 18187 13693 13832 44189 39834 15241 70191 45598 11015 41243 47007 18059 13565 44061 15113 70063 45470 16522 65708 36760 13437 43933 14985 64171 49697 69935 45342 26513 17803 66989 13309 48160 43805 14857 39450 64043 69807 45214 16266 65452 26385 36504 46623 17675 12040 13181 7685 43677 14729 39322 103 69679 65324 40731 36376 46495 17547 11912 43549 39194 14601 44958 65196 1087 46367 17419 11784 66605 43421 14473 49185 69423 44830 15882 40475 46239 43293 38938 14345 63531 15754 40347 46111 17163 47520 18572 14217 63403 69167 15626 45983 7045 47392 18444 43037 14089 12539 15498 70448 45855 16907 6917 47264 18316 42909 13822 13961 12411 34199 19725 44318 15370 70320 45727 11144 16779 41372 37017 18188 13694 13833 44190 15242 45599 11016 41244 47008 18060 13566 19469 44062 15114 70064 45471 65709 41116 17932 13438 52644 43934 14986 64172 49698 69936 45343 40988 26514 66990 13310 7814 48161 43806 14858 64044 39451 69808 45215 16267 46624 12041 17676 66862 13182 7686 48033 43678 14730 39323 104 65325 36377 46496 11913 43550 14602 63788 39195 49314 1088 46368 17420 66606 43422 14474 69424 44831 15883 40476 46240 11657 66478 18701 43294 14346 63532 38939 15755 40348 46112 17164 11529 47521 18573 63404 15627 45984 47393 18445 43038 14090 12540 15499 45856 11273 16908 6918 47265 18317 13823 13962 34200 44319 15371 39964 45728 11145 37018 18189 13695 13834 44191 15243 64429 39836 45600 11017 41245 47009 18061 13567 19470 44063 15115 36762 17933 13439 52645 43935 14987 64173 45344 65582 40989 13311 7815 43807 14859 64045 39452 45216 16268 65454 26387 36506 46625 13183 43679 14731 39324 49443 65326 36378 46497 11914 66735 43551 14603 63789 69553 65198 1089 46369 11786 66607 43423 14475 69425 44832 15884 40477 46241 47650 43295 14347 63533 38940 49059 15756 40349 46113 17165 47522 63405 15628 45985 11402 17037 66223 7047 47394 18446 14091 15500 45857 16909 41502 6919 47266 18318 42911 13824 13963 12413 19727 68913 44320 15372 45729 16781 11146 37019 47138 18190 13696 13835 44192 15244 39837 70194 45601 11018 41246 47010 18062 13568 44064 15116 45473 36763 13440 52646 43936 14988 64174 49700 69938 45345 26516 13312 43808 14860 64046 39453 69810 45217 16269 65455 26388 36507 46626 17678 12043 13184 7688 43680 14732 106 69682 36379 46498 11915 17550 43552 14604 39197 69554 65199 46370 11787 66608 7432 43424 14476 49188 69426 44833 15885 40478 46242 18703 43296 14348 63534 38941 49060 44705 15757 40350 46114 17166 47523 18575 69170 15629 45986 47395 18447 14092 12542 69042 15501 45858 16910 6920 47267 18319 42912 13825 13964 12414 34202 19728 68914 44321 15373 70323 45730 11147 37020 18191 13697 13836 44193 15245 70195 45602 11019 41247 47011 18063 13569 44065 15117 45474 65712 41119 36764 13441 43937 14989 64175 49701 65584 26517 17807 13313 7817 43809 14861 64047 39454 45218 16270 65456 46627 17679 13185 7689 43681 14733 69683 36380 46499 11916 43553 14605 39198 49317 69555 1091 46371 66609 43425 14477 69427 44834 15886 40479 46243 11660 43297 14349 63535 38942 49061 15758 40351 46115 17167 11532 47524 18576 63407 15630 45987 17039 66225 47396 18448 14093 15502 45859 47268 18320 13826 13965 34203 68915 44322 15374 39967 45731 11148 41376 18192 13698 13837 44194 15246 64432 70196 45603 11020 41248 47012 18064 13570 44066 15118 70068 16527 36765 13442 43938 14990 64176 45347 26518 17808 13314 7818 48165 43810 14862 64048 39455 69812 45219 16271 65457 40864 26390 46628 13186 48037 43682 14734 49446 69684 36381 46500 66738 43554 14606 49318 69556 1092 46372 11789 17424 66610 43426 14478 69428 44835 15887 40480 46244 18705 43298 14350 63536 38943 44707 15759 46116 17168 11533 47525 18577 63408 15631 45988 11405 66226 7050 47397 18449 14094 15503 70453 45860 11277 41505 47269 18321 13966 12416 19730 44323 15375 45732 11149 47141 18193 13699 13838 44195 15247 45604 11021 41249 47013 18065 13571 44067 15119 45476 16528 41121 17937 13443 43939 14991 64177 49703 69941 45348 65586 13315 43811 14863 64049 39456 69813 16272 65458 40865 26391 46629 17681 12046 66867 13187 7691 43683 14735 65330 36382 46501 17553 11918 43555 14607 49319 69557 46373 11790 66611 7435 43427 14479 49191 69429 44836 15888 40481 46245 11662 47654 43299 14351 63537 38944 15760 46117 11534 17169 47526 18578 69173 15632 45989 66227 7051 47398 18450 14095 69045 15504 45861 11278 47270 18322 13967 12417 19731 68917 44324 15376 39969 70326 45733 11150 13700 13839 44196 15248 64434 45605 11022 41250 18066 13572 44068 15120 45477 65715 41122 36767 17938 13444 43940 14992 64178 49704 17810 13316 7820 43812 550 14864 64050 39457 45221 16273 65459 40866 26392 46630 17682 13188 7692 43684 14736 69686 65331 36383 46502 11919 43556 14608 69558 46374 66612 7436 43428 14480 69430 44837 15889 40482 46246 18707 43300 14352 63538 38945 44709 15761 40354 46118 17170 47527 18579 63410 15633 40226 45990 66228 7052 47399 18451 14096 12546 15505 45862 11279 47271 18323 13968 44325 15377 39970 45734 11151 41379 47143 13701 13840 44197 15249 45606 11023 47015 13573 44069 15121 70071 45478 65716 41123 42532 13445 43941 14993 64179 45350 65588 26521 17811 13317 48168 43813 14865 64051 39458 69815 45222 16274 65460 46631 13189 43685 14737 49449 69687 36384 46503 66741 43557 14609 69559 16018 1095 46375 17427 66613 7437 43429 14481 69431 44838 15890 40483 46247 43301 14353 63539 38946 49065 44710 15762 46119 17171 47528 63411 38818 15634 40227 45991 11408 17043 66229 47400 18452 14097 15506 45863 41508 47272 18324 13969 19733 68919 44326 15378 39971 45735 11152 41380 18196 13702 13841 44198 15250 64436 70200 45607 11024 47016 18068 13574 44070 15122 70072 45479 65717 41124 36769 13446 43942 14994 64180 49706 69944 45351 26522 17812 13318 7822 48169 43814 14866 64052 39459 69816 16275 65461 46632 17684 12049 13190 43686 14738 69688 65333 46504 17556 11921 66742 43558 14610 69560 16019 1096 46376 17428 66614 7438 43430 14482 49194 69432 44839 15891 40484 46248 18709 43302 14354 63540 38947 44711 15763 46120 17172 66358 47529 18581 38819 15635 40228 45992 17044 66230 47401 18453 14098 12548 69048 15507 45864 47273 18325 13970 12420 19734 44327 15379 39972 70329 45736 11153 16788 41381 47145 13703 13842 12292 44199 15251 64437 45608 11025 41253 18069 13575 44071 15123 70073 16532 41125 6542 17941 13447 43943 14995 64181 49707 45352 65590 17813 13319 48170 43815 14867 64053 39460 45224 16276 65462 26395 46633 17685 13191 43687 14739 65334 36386 46505 11922 43559 14611 49323 69561 44968 16020 1097 46377 17429 66615 7439 43431 14483 69433 44840 15892 40485 46249 47658 43303 14355 63541 38948 44712 15764 50476 46121 17173 11538 66359 47530 63413 38820 69177 15636 45993 66231 47402 18454 14099 15508 50220 70458 45865 11282 16917 6927 47274 18326 13971 44328 15380 45737 11154 47146 13704 13843 44200 15252 45609 11026 47018 13576 44072 15124 45481 41126 36771 42535 13448 43944 14996 64182 45353 17814 13320 43816 554 14868 64054 39461 69818 45225 16277 65463 26396 46634 17686 13192 43688 14740 49452 36387 46506 66744 43560 14612 16021 1098 46378 66616 7440 43432 14484 69434 44841 15893 40486 46250 47659 18711 43304 14356 63542 38949 49068 44713 15765 40358 46122 11539 17174 66360 47531 18583 63414 15637 45994 11411 7056 47403 18455 14100 58931 15509 70459 45866 41511 47275 18327 13972 19736 44329 15381 39974 45738 11155 16790 47147 18199 13705 13844 68794 44201 15253 64439 70203 45610 11027 47019 18071 13577 44073 15125 45482 41127 42536 13449 43945 14997 64183 49709 69947 65592 40999 26525 17815 12180 13321 43817 14869 64055 39462 69819 45226 16278 65464 26397 46635 12052 13193 27806 43689 14741 69691 16150 65336 46507 11924 17559 43561 14613 63799 69563 16022 1099 46379 66617 7441 43433 14485 49197 69435 44842 15894 40487 46251 47660 18712 43305 14357 63543 49069 44714 15766 46123 17175 47532 15638 45995 17047 66233 47404 18456 14101 69051 15510 70460 45867 11284 16919 6929 47276 18328 13973 12423 19737 44330 15382 39975 70332 45739 11156 47148 13706 13845 12295 68795 44202 15254 64440 39847 70204 45611 11028 36901 18072 13578 44074 15126 39719 65721 41128 36773 17944 13450 43946 14998 64184 49710 45355 65593 26526 17816 13322 43818 556 14870 64056 39463 45227 16279 26398 46636 12053 13194 48045 43690 14742 65337 46508 11925 66746 7570 43562 14614 49326 69564 44971 16023 1100 46380 66618 7442 43434 14486 44843 15895 40488 46252 18713 43306 14358 63544 38951 49070 44715 15767 50479 46124 17176 11541 47533 18585 63416 69180 15639 40232 45996 11413 17048 66234 7058 47405 18457 14102 69052 15511 50223 45868 47277 18329 13974 12424 44331 15383 39976 70333 45740 11157 41385 47149 13707 13846 68796 44203 15255 64441 70205 45612 11029 41257 18073 13579 44075 15127 39720 70077 16536 41129 42538 17945 13451 43947 14999 64185 49711 45356 65594 17817 13323 7827 48174 33700 43819 557 14871 64057 39464 69821 16280 26399 46637 12054 17689 13195 43691 14743 49455 69693 46509 66747 43563 14615 49327 44972 16024 1101 46381 66619 17433 7443 43435 14487 44844 15896 40489 46253 43307 18714 14359 63545 38952 44716 15768 50480 46125 17177 47534 63417 69181 15640 40233 45997 11414 17049 47406 18458 14103 69053 15512 50224 45869 11286 41514 47278 18330 13975 12425 19739 15384 39977 45741 11158 47150 18202 13708 13847 68797 44204 15256 64442 45613 11030 18074 13580 44076 15128 39721 41130 6547 36775 42539 17946 13452 43948 15000 49712 69950 65595 41002 26528 12183 13324 33701 43820 14872 64058 39465 69822 45229 16281 26400 46638 12055 17690 13196 48047 43692 14744 69694 16153 46510 11927 17562 43564 14616 63802 49328 69566 44973 16025 46382 66620 43436 14488 49200 69438 44845 40490 15897 46254 47663 43308 18715 14360 63546 44717 40362 15769 50481 46126 11543 17178 47535 18587 63418 69182 15641 45998 66236 17050 47407 18459 14104 15513 45870 11287 47279 18331 13976 19740 15385 39978 45742 11159 16794 47151 18203 13709 13848 12298 68798 44205 15257 64443 39850 45614 11031 36904 13581 44077 15129 0
300.10/300.12	c Terminating MUSer ...
300.10/300.12	c CPU Time: 299.88

Verifier Data 

OK	13950

Watcher Data 

runsolver Copyright (C) 2010-2011 Olivier ROUSSEL

This is runsolver version 3.3.0 (svn: 977)

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-3481109-1307606887/watcher-3481109-1307606887 -o /tmp/evaluation-result-3481109-1307606887/solver-3481109-1307606887 -C 1800 -W 1850 -M 7680 ./muser -comp HOME/instance-3481109-1307606887.cnf 

running on 2 cores: 5,7

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: 2.02 2.08 2.00 3/766 16473
/proc/meminfo: memFree=9989152/32950904 swapFree=56615552/67111528
[pid=16473] ppid=16471 vsize=7712 CPUtime=0.01 cores=5,7
/proc/16473/stat : 16473 (muser) R 16471 16473 15810 0 -1 4202496 1410 0 0 0 1 0 0 0 23 0 1 0 872288465 7897088 1365 33554432000 4194304 5696331 140736623887984 18446744073709551615 4965206 0 0 4096 24615 0 0 0 17 5 0 0 0
/proc/16473/statm: 1928 1366 114 367 0 1558 0

[startup+0.081478 s]
/proc/loadavg: 2.02 2.08 2.00 3/766 16473
/proc/meminfo: memFree=9989152/32950904 swapFree=56615552/67111528
[pid=16473] ppid=16471 vsize=21160 CPUtime=0.07 cores=5,7
/proc/16473/stat : 16473 (muser) R 16471 16473 15810 0 -1 4202496 5475 0 0 0 7 0 0 0 23 0 1 0 872288465 21667840 4990 33554432000 4194304 5696331 140736623887984 18446744073709551615 4965206 0 0 4096 24615 0 0 0 17 5 0 0 0
/proc/16473/statm: 5290 4992 140 367 0 4920 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 21160

[startup+0.100475 s]
/proc/loadavg: 2.02 2.08 2.00 3/766 16473
/proc/meminfo: memFree=9989152/32950904 swapFree=56615552/67111528
[pid=16473] ppid=16471 vsize=24568 CPUtime=0.09 cores=5,7
/proc/16473/stat : 16473 (muser) R 16471 16473 15810 0 -1 4202496 6308 0 0 0 9 0 0 0 23 0 1 0 872288465 25157632 5823 33554432000 4194304 5696331 140736623887984 18446744073709551615 4965206 0 0 4096 24615 0 0 0 17 5 0 0 0
/proc/16473/statm: 6142 5825 141 367 0 5772 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 24568

[startup+0.300459 s]
/proc/loadavg: 2.02 2.08 2.00 3/766 16473
/proc/meminfo: memFree=9989152/32950904 swapFree=56615552/67111528
[pid=16473] ppid=16471 vsize=26320 CPUtime=0.29 cores=5,7
/proc/16473/stat : 16473 (muser) R 16471 16473 15810 0 -1 4202496 6623 0 0 0 29 0 0 0 25 0 1 0 872288465 26951680 6138 33554432000 4194304 5696331 140736623887984 18446744073709551615 4399955 0 0 4096 24615 0 0 0 17 5 0 0 0
/proc/16473/statm: 6580 6138 143 367 0 6210 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 26320

[startup+0.700429 s]
/proc/loadavg: 2.02 2.08 2.00 3/766 16473
/proc/meminfo: memFree=9989152/32950904 swapFree=56615552/67111528
[pid=16473] ppid=16471 vsize=27540 CPUtime=0.69 cores=5,7
/proc/16473/stat : 16473 (muser) R 16471 16473 15810 0 -1 4202496 6936 0 0 0 69 0 0 0 25 0 1 0 872288465 28200960 6451 33554432000 4194304 5696331 140736623887984 18446744073709551615 4400276 0 0 4096 24615 0 0 0 17 5 0 0 0
/proc/16473/statm: 6885 6451 143 367 0 6515 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 27540

[startup+1.50022 s]
/proc/loadavg: 2.10 2.10 2.01 5/769 16532
/proc/meminfo: memFree=9906648/32950904 swapFree=56615552/67111528
[pid=16473] ppid=16471 vsize=30692 CPUtime=1.49 cores=5,7
/proc/16473/stat : 16473 (muser) R 16471 16473 15810 0 -1 4202496 7695 0 0 0 149 0 0 0 25 0 1 0 872288465 31428608 7210 33554432000 4194304 5696331 140736623887984 18446744073709551615 4400122 0 0 4096 24615 0 0 0 17 5 0 0 0
/proc/16473/statm: 7673 7210 143 367 0 7303 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 30692

[startup+3.10094 s]
/proc/loadavg: 2.10 2.10 2.01 5/772 16538
/proc/meminfo: memFree=9796168/32950904 swapFree=56615552/67111528
[pid=16473] ppid=16471 vsize=23076 CPUtime=3.09 cores=5,7
/proc/16473/stat : 16473 (muser) R 16471 16473 15810 0 -1 4202496 9924 0 0 0 309 0 0 0 25 0 1 0 872288465 23629824 5471 33554432000 4194304 5696331 140736623887984 18446744073709551615 4400112 0 0 4096 24615 0 0 0 17 5 0 0 0
/proc/16473/statm: 5769 5471 144 367 0 5399 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 23076

[startup+6.30037 s]
/proc/loadavg: 2.10 2.10 2.01 5/772 16538
/proc/meminfo: memFree=9557628/32950904 swapFree=56615552/67111528
[pid=16473] ppid=16471 vsize=69936 CPUtime=6.3 cores=5,7
/proc/16473/stat : 16473 (muser) R 16471 16473 15810 0 -1 4202496 25039 0 0 0 627 3 0 0 25 0 1 0 872288465 71614464 17129 33554432000 4194304 5696331 140736623887984 18446744073709551615 4391904 0 0 4096 24615 0 0 0 17 5 0 0 0
/proc/16473/statm: 17520 17133 149 367 0 17150 0
Current children cumulated CPU time (s) 6.3
Current children cumulated vsize (KiB) 69936

[startup+12.7002 s]
/proc/loadavg: 2.39 2.16 2.03 5/772 16538
/proc/meminfo: memFree=9201740/32950904 swapFree=56615552/67111528
[pid=16473] ppid=16471 vsize=159948 CPUtime=12.69 cores=5,7
/proc/16473/stat : 16473 (muser) R 16471 16473 15810 0 -1 4202496 47565 0 0 0 1264 5 0 0 25 0 1 0 872288465 163786752 39646 33554432000 4194304 5696331 140736623887984 18446744073709551615 4400263 0 0 4096 24615 0 0 0 17 5 0 0 0
/proc/16473/statm: 39987 39646 150 367 0 39617 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 159948

[startup+25.5009 s]
/proc/loadavg: 2.71 2.23 2.05 5/772 16539
/proc/meminfo: memFree=8952504/32950904 swapFree=56615552/67111528
[pid=16473] ppid=16471 vsize=202676 CPUtime=25.49 cores=5,7
/proc/16473/stat : 16473 (muser) R 16471 16473 15810 0 -1 4202496 58753 0 0 0 2543 6 0 0 25 0 1 0 872288465 207540224 50320 33554432000 4194304 5696331 140736623887984 18446744073709551615 4400400 0 0 4096 24615 0 0 0 17 5 0 0 0
/proc/16473/statm: 50669 50320 150 367 0 50299 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 202676

[startup+51.1004 s]
/proc/loadavg: 3.15 2.38 2.10 5/772 16539
/proc/meminfo: memFree=8289288/32950904 swapFree=56615552/67111528
[pid=16473] ppid=16471 vsize=558668 CPUtime=51.09 cores=5,7
/proc/16473/stat : 16473 (muser) R 16471 16473 15810 0 -1 4202496 147769 0 0 0 5093 16 0 0 25 0 1 0 872288465 572076032 139308 33554432000 4194304 5696331 140736623887984 18446744073709551615 4417519 0 0 4096 24615 0 0 0 17 5 0 0 0
/proc/16473/statm: 139667 139308 150 367 0 139297 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 558668

[startup+102.319 s]
/proc/loadavg: 3.75 2.68 2.22 5/772 16541
/proc/meminfo: memFree=8159720/32950904 swapFree=56615552/67111528
[pid=16473] ppid=16471 vsize=691900 CPUtime=102.32 cores=5,7
/proc/16473/stat : 16473 (muser) R 16471 16473 15810 0 -1 4202496 182268 0 0 0 10210 22 0 0 25 0 1 0 872288465 708505600 172690 33554432000 4194304 5696331 140736623887984 18446744073709551615 4400211 0 0 4096 24615 0 0 0 17 5 0 0 0
/proc/16473/statm: 172975 172690 150 367 0 172605 0
Current children cumulated CPU time (s) 102.32
Current children cumulated vsize (KiB) 691900

[startup+162.301 s]
/proc/loadavg: 3.90 2.91 2.33 5/772 16542
/proc/meminfo: memFree=8482752/32950904 swapFree=56615552/67111528
[pid=16473] ppid=16471 vsize=691900 CPUtime=162.3 cores=5,7
/proc/16473/stat : 16473 (muser) R 16471 16473 15810 0 -1 4202496 182296 0 0 0 16208 22 0 0 25 0 1 0 872288465 708505600 172718 33554432000 4194304 5696331 140736623887984 18446744073709551615 4399871 0 0 4096 24615 0 0 0 17 5 0 0 0
/proc/16473/statm: 172975 172718 150 367 0 172605 0
Current children cumulated CPU time (s) 162.3
Current children cumulated vsize (KiB) 691900

[startup+222.301 s]
/proc/loadavg: 3.67 3.04 2.41 4/766 16561
/proc/meminfo: memFree=8712480/32950904 swapFree=56615552/67111528
[pid=16473] ppid=16471 vsize=691900 CPUtime=222.3 cores=5,7
/proc/16473/stat : 16473 (muser) R 16471 16473 15810 0 -1 4202496 182296 0 0 0 22207 23 0 0 25 0 1 0 872288465 708505600 172718 33554432000 4194304 5696331 140736623887984 18446744073709551615 4301718 0 0 4096 24615 0 0 0 17 5 0 0 0
/proc/16473/statm: 172975 172718 150 367 0 172605 0
Current children cumulated CPU time (s) 222.3
Current children cumulated vsize (KiB) 691900

[startup+282.3 s]
/proc/loadavg: 3.02 2.98 2.43 3/760 16580
/proc/meminfo: memFree=8978336/32950904 swapFree=56615552/67111528
[pid=16473] ppid=16471 vsize=691900 CPUtime=282.3 cores=5,7
/proc/16473/stat : 16473 (muser) R 16471 16473 15810 0 -1 4202496 182296 0 0 0 28206 24 0 0 25 0 1 0 872288465 708505600 172718 33554432000 4194304 5696331 140736623887984 18446744073709551615 4381210 0 0 4096 24615 0 0 0 17 5 0 0 0
/proc/16473/statm: 172975 172718 150 367 0 172605 0
Current children cumulated CPU time (s) 282.3
Current children cumulated vsize (KiB) 691900

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

[startup+287.9 s]
/proc/loadavg: 2.94 2.97 2.42 3/760 16580
/proc/meminfo: memFree=8978464/32950904 swapFree=56615552/67111528
[pid=16473] ppid=16471 vsize=691900 CPUtime=287.9 cores=5,7
/proc/16473/stat : 16473 (muser) R 16471 16473 15810 0 -1 4202496 182296 0 0 0 28766 24 0 0 25 0 1 0 872288465 708505600 172718 33554432000 4194304 5696331 140736623887984 18446744073709551615 4381740 0 0 4096 24615 0 0 0 17 5 0 0 0
/proc/16473/statm: 172975 172718 150 367 0 172605 0
Current children cumulated CPU time (s) 287.9
Current children cumulated vsize (KiB) 691900

[startup+294.301 s]
/proc/loadavg: 2.86 2.95 2.42 3/760 16580
/proc/meminfo: memFree=8978332/32950904 swapFree=56615552/67111528
[pid=16473] ppid=16471 vsize=691900 CPUtime=294.3 cores=5,7
/proc/16473/stat : 16473 (muser) R 16471 16473 15810 0 -1 4202496 182296 0 0 0 29406 24 0 0 25 0 1 0 872288465 708505600 172718 33554432000 4194304 5696331 140736623887984 18446744073709551615 4416793 0 0 4096 24615 0 0 0 17 5 0 0 0
/proc/16473/statm: 172975 172718 150 367 0 172605 0
Current children cumulated CPU time (s) 294.3
Current children cumulated vsize (KiB) 691900

[startup+297.501 s]
/proc/loadavg: 2.79 2.93 2.42 3/760 16580
/proc/meminfo: memFree=8978580/32950904 swapFree=56615552/67111528
[pid=16473] ppid=16471 vsize=691900 CPUtime=297.49 cores=5,7
/proc/16473/stat : 16473 (muser) R 16471 16473 15810 0 -1 4202496 182296 0 0 0 29725 24 0 0 25 0 1 0 872288465 708505600 172718 33554432000 4194304 5696331 140736623887984 18446744073709551615 4300628 0 0 4096 24615 0 0 0 17 5 0 0 0
/proc/16473/statm: 172975 172718 150 367 0 172605 0
Current children cumulated CPU time (s) 297.49
Current children cumulated vsize (KiB) 691900

[startup+299.1 s]
/proc/loadavg: 2.79 2.93 2.42 3/760 16580
/proc/meminfo: memFree=8978580/32950904 swapFree=56615552/67111528
[pid=16473] ppid=16471 vsize=691900 CPUtime=299.11 cores=5,7
/proc/16473/stat : 16473 (muser) R 16471 16473 15810 0 -1 4202496 182296 0 0 0 29887 24 0 0 25 0 1 0 872288465 708505600 172718 33554432000 4194304 5696331 140736623887984 18446744073709551615 4400269 0 0 4096 24615 0 0 0 17 5 0 0 0
/proc/16473/statm: 172975 172718 150 367 0 172605 0
Current children cumulated CPU time (s) 299.11
Current children cumulated vsize (KiB) 691900

[startup+299.901 s]
/proc/loadavg: 2.79 2.93 2.42 3/760 16580
/proc/meminfo: memFree=8978580/32950904 swapFree=56615552/67111528
[pid=16473] ppid=16471 vsize=691900 CPUtime=299.9 cores=5,7
/proc/16473/stat : 16473 (muser) R 16471 16473 15810 0 -1 4202496 182296 0 0 0 29965 25 0 0 25 0 1 0 872288465 708505600 172718 33554432000 4194304 5696331 140736623887984 18446744073709551615 4381656 0 0 4096 24615 0 0 0 17 5 0 0 0
/proc/16473/statm: 172975 172718 150 367 0 172605 0
Current children cumulated CPU time (s) 299.9
Current children cumulated vsize (KiB) 691900

[startup+300.101 s]
/proc/loadavg: 2.79 2.93 2.42 3/760 16580
/proc/meminfo: memFree=8978580/32950904 swapFree=56615552/67111528
[pid=16473] ppid=16471 vsize=691900 CPUtime=300.1 cores=5,7
/proc/16473/stat : 16473 (muser) R 16471 16473 15810 0 -1 4202496 182296 0 0 0 29985 25 0 0 25 0 1 0 872288465 708505600 172718 33554432000 4194304 5696331 140736623887984 18446744073709551615 4416838 0 0 4096 24615 0 0 0 17 5 0 0 0
/proc/16473/statm: 172975 172718 150 367 0 172605 0
Current children cumulated CPU time (s) 300.1
Current children cumulated vsize (KiB) 691900

Child status: 20
Real time (s): 300.147
CPU time (s): 300.154
CPU user time (s): 299.879
CPU system time (s): 0.274958
CPU usage (%): 100.002
Max. virtual memory (cumulated for all children) (KiB): 696348

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 299.879
system time used= 0.274958
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 182297
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= 3
involuntary context switches= 3681

runsolver used 1.45278 second user time and 3.2635 second system time

The end

Launcher Data 

Begin job on node121 at 2011-06-09 10:08:07
IDJOB=3481109
IDBENCH=89535
IDSOLVER=1969
FILE ID=node121/3481109-1307606887
RUNJOBID= node121-1307606887-16444
PBS_JOBID= 13547768
Free space on /tmp= 73476 MiB

SOLVER NAME= MUSer 2011-02-10
BENCH NAME= SAT11/mus/marques-silva/hardware-verification/g7n.cnf
COMMAND LINE= ./muser -comp BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3481109-1307606887/watcher-3481109-1307606887 -o /tmp/evaluation-result-3481109-1307606887/solver-3481109-1307606887 -C 1800 -W 1850 -M 7680  ./muser -comp HOME/instance-3481109-1307606887.cnf

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

MD5SUM BENCH= a707bfe320eae858fdac64b973892ea8
RANDOM SEED=1032513245

node121.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.817
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.63
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.817
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.817
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.84
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.817
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 18
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.77
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

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

processor	: 5
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.817
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.74
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.817
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.75
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.817
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:     32950904 kB
MemFree:       9989300 kB
Buffers:        216720 kB
Cached:         985524 kB
SwapCached:       9940 kB
Active:       22353404 kB
Inactive:       295740 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32950904 kB
LowFree:       9989300 kB
SwapTotal:    67111528 kB
SwapFree:     56615552 kB
Dirty:            6012 kB
Writeback:           0 kB
AnonPages:    21444084 kB
Mapped:         131180 kB
Slab:           144316 kB
PageTables:      96884 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83586980 kB
Committed_AS: 110762056 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= 73460 MiB
End job on node121 at 2011-06-09 10:13:07