Trace number 3495148

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
OptimuS p100_sourceUNSAT 1268.6 1268.58

General information on the benchmark

Nameapplication/jarvisalo/HWMCC10-combination-timeframe-expansion/
hwmcc10-timeframe-expansion-k50-nusmvguidancep1-tseitin.cnf
MD5SUMb2267b143035244a66de95533c1faeb9
Bench CategoryAPPLICATION (applications instances)
Best result obtained on this benchmarkUNSAT
Best CPU time to get the best result obtained on this benchmark145.975
Satisfiable
(Un)Satisfiability was proved
Number of variables71523
Number of clauses201968
Sum of the clauses size471256
Maximum clause length3
Minimum clause length1
Number of clauses of size 12
Number of clauses of size 2134644
Number of clauses of size 367322
Number of clauses of size 40
Number of clauses of size 50
Number of clauses of size over 50

Solver Data 

1268.51/1268.50	c - Reading the instance.. OK! Totally clauses:   201968; Vars:    71523; Time: 0.14
1268.51/1268.50	c - Unit propagation..     OK! Removed clauses:        2;                 Time: 0.00
1268.51/1268.50	c - Delete by resolution.. OK! Removed clauses:    65912;                 Time: 6.09
1268.51/1268.50	c   - Solving the original instance..
1268.51/1268.50	c     - yet UNKNOWN! Continue to clause elimination..
1268.51/1268.50	c   - round:    1;   Skips in previous round:    0
1268.51/1268.50	c     - clauses done:  1%; among them skipped: 0.10%;
1268.51/1268.50	c     - clauses done: 10%; among them skipped: 0.01%;
1268.51/1268.50	c     - clauses done: 20%; among them skipped: 0.01%;
1268.51/1268.50	c     - clauses done: 30%; among them skipped: 0.01%;
1268.51/1268.50	c     - clauses done: 40%; among them skipped: 0.01%;
1268.51/1268.50	c     - clauses done: 50%; among them skipped: 0.01%;
1268.51/1268.50	c     - clauses done: 60%; among them skipped: 0.01%;
1268.51/1268.50	c     - clauses done: 70%; among them skipped: 0.00%;
1268.51/1268.50	c     - clauses done: 80%; among them skipped: 0.00%;
1268.51/1268.50	c     - clauses done: 90%; among them skipped: 0.00%;
1268.51/1268.50	c     - clauses done: 99%; among them skipped: 0.00%;
1268.51/1268.50	c   - round:    2;   Skips in previous round:    7
1268.51/1268.50	c     - clauses done:  1%; among them skipped: 0.00%;
1268.51/1268.50	c     - clauses done: 10%; among them skipped: 0.00%;
1268.51/1268.50	c     - clauses done: 20%; among them skipped: 0.00%;
1268.51/1268.50	c     - clauses done: 30%; among them skipped: 0.00%;
1268.51/1268.50	c     - clauses done: 40%; among them skipped: 0.00%;
1268.51/1268.50	c     - clauses done: 50%; among them skipped: 0.00%;
1268.51/1268.50	c     - clauses done: 60%; among them skipped: 0.00%;
1268.51/1268.50	c     - clauses done: 70%; among them skipped: 0.00%;
1268.51/1268.50	c     - clauses done: 80%; among them skipped: 0.00%;
1268.51/1268.50	c     - clauses done: 90%; among them skipped: 0.00%;
1268.51/1268.50	c     - clauses done: 99%; among them skipped: 0.00%;
1268.51/1268.50	c - Finish! Unsat core size: 10899 / 201968; Time: 1264.75 s
1268.51/1268.50	c - ---------------------------------------------------------------------------
1268.51/1268.50	c - Statistics: |    unit   |    BCE    | sat-saved | sat-check | unsat-check |
1268.51/1268.50	c -             |       2   |  101029   |    7410   |    3489   |   90038     |
1268.51/1268.50	c - ---------------------------------------------------------------------------
1268.51/1268.50	s UNSATISFIABLE
1268.51/1268.50	v 50 52 332 334 341 410 412 413 415 416 752 754 755 805 808 2690 2692 3446 3448 3665 3710 3712 3715 3761 3763 3782 3803 3805 3991 3995 3999 4000 4010 4013 4015 4020 4028 4031 4035 4036 4040 4044 4045 4049 4051 4054 4055 4057 4058 4061 4065 4066 4079 4083 4084 4088 4092 4100 4103 4112 4116 4121 4124 4127 4129 4139 4143 4144 4148 4150 4155 4156 4159 4162 4165 4170 4171 4175 4179 4180 4183 4188 4193 4195 4198 4201 4204 4209 4214 4217 4221 4222 4229 4233 4235 4238 4240 4245 4250 4253 4255 4258 4263 4264 4274 4278 4279 4282 4287 4288 4293 4298 4300 4303 4308 4309 4312 4317 4318 4319 5252 5254 5255 5257 5258 5262 5266 5282 5297 5301 5303 5306 5310 5311 5314 5315 6958 6961 7625 7637 7643 7646 7661 7663 7868 7870 7873 7886 7888 7891 7894 7899 7900 7905 7912 7913 7915 7918 7923 7924 7927 7931 7933 7938 7943 7945 7950 7951 7958 7961 7963 7968 7970 7972 7973 7975 7976 7978 7983 7984 8000 8030 8045 8069 8073 8078 8093 8095 8099 8103 8104 8105 8152 8156 8160 8161 8164 8168 8170 8175 8180 8183 8187 8188 8192 8196 8197 8201 8203 8204 8206 8207 8209 8210 8213 8217 8218 8222 8230 8235 8236 8240 8244 8245 8248 8251 8254 8259 8260 8261 8264 8266 8270 8272 8275 8280 8285 8288 8292 8293 8294 8296 8299 8302 8307 8308 8309 8311 8316 8317 8318 8321 8325 8326 8330 8332 8335 8336 8338 8343 8348 8351 8355 8356 8357 8359 8360 8362 8367 8372 8375 8379 8384 8387 8389 8390 8392 8397 8398 8399 8402 8404 8405 8407 8412 8413 8414 8417 8421 8422 8423 8427 8432 8434 8437 8442 8443 8446 8451 8452 8453 9350 9352 9353 9355 9356 9360 9364 9365 9379 9380 9395 9399 9400 9401 9403 9404 9408 9409 9412 9413 11056 11057 11059 11722 11723 11735 11741 11744 11756 11758 11761 11762 11925 11930 11934 11939 11941 11942 11946 11951 11953 11954 11956 11959 11964 11965 11966 11968 11971 11984 11986 11989 11992 11997 11998 12003 12010 12011 12013 12016 12021 12022 12025 12029 12031 12036 12037 12041 12043 12048 12049 12056 12059 12061 12066 12068 12069 12070 12071 12073 12074 12076 12081 12082 12098 12128 12143 12158 12160 12165 12166 12167 12171 12176 12191 12193 12197 12201 12202 12203 12250 12254 12258 12259 12262 12266 12268 12273 12275 12278 12280 12281 12285 12286 12287 12289 12294 12295 12299 12301 12302 12304 12307 12308 12310 12311 12315 12316 12317 12319 12320 12322 12325 12328 12333 12334 12337 12338 12342 12343 12344 12346 12349 12352 12357 12358 12359 12361 12362 12364 12365 12367 12370 12373 12378 12383 12386 12390 12391 12392 12394 12397 12400 12405 12406 12407 12409 12414 12415 12419 12423 12424 12425 12427 12428 12430 12433 12434 12436 12437 12441 12446 12449 12453 12454 12455 12457 12458 12460 12461 12465 12470 12473 12477 12478 12482 12484 12487 12488 12490 12491 12495 12496 12497 12500 12502 12503 12505 12506 12510 12511 12512 12515 12519 12520 12521 12525 12530 12532 12535 12540 12541 12544 12549 12550 12551 13448 13450 13451 13453 13454 13458 13462 13463 13477 13478 13493 13497 13498 13499 13501 13502 13506 13507 13510 13511 15154 15155 15157 15820 15821 15833 15839 15842 15854 15856 15859 15860 16023 16028 16032 16037 16039 16040 16044 16049 16051 16052 16054 16057 16062 16063 16064 16066 16069 16082 16084 16087 16090 16095 16096 16101 16108 16109 16111 16114 16119 16120 16123 16127 16129 16134 16135 16139 16141 16146 16147 16154 16157 16159 16164 16166 16168 16169 16171 16172 16174 16179 16180 16196 16226 16241 16256 16258 16263 16264 16265 16269 16274 16289 16291 16295 16299 16300 16301 16348 16352 16356 16357 16360 16364 16366 16371 16373 16376 16378 16379 16383 16384 16385 16387 16392 16393 16394 16397 16399 16400 16402 16405 16406 16408 16409 16413 16414 16415 16417 16418 16420 16423 16426 16431 16432 16435 16436 16440 16441 16442 16444 16447 16450 16455 16456 16457 16459 16460 16462 16463 16465 16468 16471 16476 16481 16484 16488 16489 16490 16492 16495 16498 16503 16504 16505 16507 16512 16513 16517 16521 16522 16523 16525 16526 16528 16531 16532 16534 16535 16539 16544 16547 16551 16552 16553 16555 16556 16558 16559 16563 16568 16571 16575 16576 16580 16582 16585 16586 16588 16589 16593 16594 16595 16598 16600 16601 16603 16604 16608 16609 16610 16613 16617 16618 16619 16623 16628 16630 16633 16638 16639 16642 16647 16648 16649 17546 17548 17549 17551 17552 17556 17560 17561 17575 17576 17591 17595 17596 17597 17599 17600 17604 17605 17608 17609 19252 19253 19255 19918 19919 19931 19937 19940 19952 19954 19957 19958 20121 20126 20130 20135 20137 20138 20142 20147 20149 20150 20152 20155 20160 20161 20162 20164 20167 20180 20182 20185 20188 20193 20194 20199 20206 20207 20209 20212 20217 20218 20221 20225 20227 20232 20233 20237 20239 20244 20245 20252 20255 20257 20262 20264 20266 20267 20269 20270 20272 20277 20278 20294 20324 20339 20354 20356 20361 20362 20363 20367 20372 20387 20389 20393 20397 20398 20399 20446 20450 20454 20455 20458 20462 20464 20469 20471 20474 20476 20477 20481 20482 20483 20485 20490 20491 20492 20495 20497 20498 20500 20503 20504 20506 20507 20511 20512 20513 20515 20516 20518 20521 20524 20529 20530 20533 20534 20538 20539 20540 20542 20545 20548 20553 20554 20555 20557 20558 20560 20561 20563 20566 20569 20574 20579 20582 20586 20587 20588 20590 20593 20596 20601 20602 20603 20605 20610 20611 20615 20619 20620 20621 20623 20624 20626 20629 20630 20632 20633 20637 20642 20645 20649 20650 20651 20653 20654 20656 20657 20661 20666 20669 20673 20674 20678 20680 20683 20684 20686 20687 20691 20692 20693 20696 20698 20699 20701 20702 20706 20707 20708 20711 20715 20716 20717 20721 20726 20728 20731 20736 20737 20740 20745 20746 20747 21644 21646 21647 21649 21650 21654 21658 21659 21673 21674 21689 21693 21694 21695 21697 21698 21702 21703 21706 21707 23350 23351 23353 24016 24017 24029 24035 24038 24050 24052 24055 24056 24219 24224 24228 24233 24235 24236 24240 24245 24247 24248 24250 24253 24258 24259 24260 24262 24265 24278 24280 24283 24286 24291 24292 24297 24304 24305 24307 24310 24315 24316 24319 24323 24325 24330 24331 24335 24337 24342 24343 24350 24353 24355 24360 24362 24364 24365 24367 24368 24370 24375 24376 24392 24422 24437 24452 24454 24459 24460 24461 24465 24470 24485 24487 24491 24495 24496 24497 24544 24548 24552 24553 24556 24560 24562 24567 24569 24572 24574 24575 24579 24580 24581 24583 24588 24589 24590 24593 24595 24596 24598 24601 24602 24604 24605 24609 24610 24611 24613 24614 24616 24619 24622 24627 24628 24631 24632 24636 24637 24638 24640 24643 24646 24651 24652 24653 24655 24656 24658 24659 24661 24664 24667 24672 24677 24680 24684 24685 24686 24688 24691 24694 24699 24700 24701 24703 24708 24709 24713 24717 24718 24719 24721 24722 24724 24727 24728 24730 24731 24735 24740 24743 24747 24748 24749 24751 24752 24754 24755 24759 24764 24767 24771 24772 24776 24778 24781 24782 24784 24785 24789 24790 24791 24794 24796 24797 24799 24800 24804 24805 24806 24809 24813 24814 24815 24819 24824 24826 24829 24834 24835 24838 24843 24844 24845 25742 25744 25745 25747 25748 25752 25756 25757 25771 25772 25787 25791 25792 25793 25795 25796 25800 25801 25804 25805 27448 27449 27451 28114 28115 28127 28133 28136 28148 28150 28153 28154 28317 28322 28326 28331 28333 28334 28338 28343 28345 28346 28348 28351 28356 28357 28358 28360 28363 28376 28378 28381 28384 28389 28390 28395 28402 28403 28405 28408 28413 28414 28417 28421 28423 28428 28429 28433 28435 28440 28441 28448 28451 28453 28458 28460 28462 28463 28465 28466 28468 28473 28474 28490 28520 28535 28550 28552 28557 28558 28559 28563 28568 28583 28585 28589 28593 28594 28595 28642 28646 28650 28651 28654 28658 28660 28665 28667 28670 28672 28673 28677 28678 28679 28681 28686 28687 28688 28691 28693 28694 28696 28699 28700 28702 28703 28707 28708 28709 28711 28712 28714 28717 28720 28725 28726 28729 28730 28734 28735 28736 28738 28741 28744 28749 28750 28751 28753 28754 28756 28757 28759 28762 28765 28770 28775 28778 28782 28783 28784 28786 28789 28792 28797 28798 28799 28801 28806 28807 28811 28815 28816 28817 28819 28820 28822 28825 28826 28828 28829 28833 28838 28841 28845 28846 28847 28849 28850 28852 28853 28857 28862 28865 28869 28870 28874 28876 28879 28880 28882 28883 28887 28888 28889 28892 28894 28895 28897 28898 28902 28903 28904 28907 28911 28912 28913 28917 28922 28924 28927 28932 28933 28936 28941 28942 28943 29840 29842 29843 29845 29846 29850 29854 29855 29869 29870 29885 29889 29890 29891 29893 29894 29898 29899 29902 29903 31546 31547 31549 32212 32213 32225 32231 32234 32246 32248 32251 32252 32415 32420 32424 32429 32431 32432 32436 32441 32443 32444 32446 32449 32454 32455 32456 32458 32461 32474 32476 32479 32482 32487 32488 32493 32500 32501 32503 32506 32511 32512 32515 32519 32521 32526 32527 32531 32533 32538 32539 32546 32549 32551 32556 32558 32560 32561 32563 32564 32566 32571 32572 32588 32618 32633 32648 32650 32655 32656 32657 32661 32666 32681 32683 32687 32691 32692 32693 32740 32744 32748 32749 32752 32756 32758 32763 32765 32768 32770 32771 32775 32776 32777 32779 32784 32785 32786 32789 32791 32792 32794 32797 32798 32800 32801 32805 32806 32807 32809 32810 32812 32815 32818 32823 32824 32827 32828 32832 32833 32834 32836 32839 32842 32847 32848 32849 32851 32852 32854 32855 32857 32860 32863 32868 32873 32876 32880 32881 32882 32884 32887 32890 32895 32896 32897 32899 32904 32905 32909 32913 32914 32915 32917 32918 32920 32923 32924 32926 32927 32931 32936 32939 32943 32944 32945 32947 32948 32950 32951 32955 32960 32963 32967 32968 32972 32974 32977 32978 32980 32981 32985 32986 32987 32990 32992 32993 32995 32996 33000 33001 33002 33005 33009 33010 33011 33015 33020 33022 33025 33030 33031 33034 33039 33040 33041 33938 33940 33941 33943 33944 33948 33952 33953 33967 33968 33983 33987 33988 33989 33991 33992 33996 33997 34000 34001 35644 35645 35647 36310 36311 36323 36329 36332 36344 36346 36349 36350 36513 36518 36522 36527 36529 36530 36534 36539 36541 36542 36544 36547 36552 36553 36554 36556 36559 36572 36574 36577 36580 36585 36586 36591 36598 36599 36601 36604 36609 36610 36613 36617 36619 36624 36625 36629 36631 36636 36637 36644 36647 36649 36654 36656 36658 36659 36661 36662 36664 36669 36670 36686 36716 36731 36746 36748 36753 36754 36755 36759 36764 36779 36781 36785 36789 36790 36791 36838 36842 36846 36847 36850 36854 36856 36861 36863 36866 36868 36869 36873 36874 36875 36877 36882 36883 36884 36887 36889 36890 36892 36895 36896 36898 36899 36903 36904 36905 36907 36908 36910 36913 36916 36921 36922 36925 36926 36930 36931 36932 36934 36937 36940 36945 36946 36947 36949 36950 36952 36953 36955 36958 36961 36966 36971 36974 36978 36979 36980 36982 36985 36988 36993 36994 36995 36997 37002 37003 37007 37011 37012 37013 37015 37016 37018 37021 37022 37024 37025 37029 37034 37037 37041 37042 37043 37045 37046 37048 37049 37053 37058 37061 37065 37066 37070 37072 37075 37076 37078 37079 37083 37084 37085 37088 37090 37091 37093 37094 37098 37099 37100 37103 37107 37108 37109 37113 37118 37120 37123 37128 37129 37132 37137 37138 37139 38036 38038 38039 38041 38042 38046 38050 38051 38065 38066 38081 38085 38086 38087 38089 38090 38094 38095 38098 38099 39742 39743 39745 40408 40409 40421 40427 40430 40442 40444 40447 40448 40611 40616 40620 40625 40627 40628 40632 40637 40639 40640 40642 40645 40650 40651 40652 40654 40657 40670 40672 40675 40678 40683 40684 40689 40696 40697 40699 40702 40707 40708 40711 40715 40717 40722 40723 40727 40729 40734 40735 40742 40745 40747 40752 40754 40756 40757 40759 40760 40762 40767 40768 40784 40814 40829 40844 40846 40851 40852 40853 40857 40862 40877 40879 40883 40887 40888 40889 40936 40940 40944 40945 40948 40952 40954 40959 40961 40964 40966 40967 40971 40972 40973 40975 40980 40981 40982 40985 40987 40988 40990 40993 40994 40996 40997 41001 41002 41003 41005 41006 41008 41011 41014 41019 41020 41023 41024 41028 41029 41030 41032 41035 41038 41043 41044 41045 41047 41048 41050 41051 41053 41056 41059 41064 41069 41072 41076 41077 41078 41080 41083 41086 41091 41092 41093 41095 41100 41101 41105 41109 41110 41111 41113 41114 41116 41119 41120 41122 41123 41127 41132 41135 41139 41140 41141 41143 41144 41146 41147 41151 41156 41159 41163 41164 41168 41170 41173 41174 41176 41177 41181 41182 41183 41186 41188 41189 41191 41192 41196 41197 41198 41201 41205 41206 41207 41211 41216 41218 41221 41226 41227 41230 41235 41236 41237 42134 42136 42137 42139 42140 42144 42148 42149 42163 42164 42179 42183 42184 42185 42187 42188 42192 42193 42196 42197 43840 43841 43843 44506 44507 44519 44525 44528 44540 44542 44545 44546 44709 44714 44718 44723 44725 44726 44730 44735 44737 44738 44740 44743 44748 44749 44750 44752 44755 44768 44770 44773 44776 44781 44782 44787 44794 44795 44797 44800 44805 44806 44809 44813 44815 44820 44821 44825 44827 44832 44833 44840 44843 44845 44850 44852 44854 44855 44857 44858 44860 44865 44866 44882 44912 44927 44942 44944 44949 44950 44951 44955 44960 44975 44977 44981 44985 44986 44987 45034 45038 45042 45043 45046 45050 45052 45057 45059 45062 45064 45065 45069 45070 45071 45073 45078 45079 45080 45083 45085 45086 45088 45091 45092 45094 45095 45099 45100 45101 45103 45104 45106 45109 45112 45117 45118 45121 45122 45126 45127 45128 45130 45133 45136 45141 45142 45143 45145 45146 45148 45149 45151 45154 45157 45162 45167 45170 45174 45175 45176 45178 45181 45184 45189 45190 45191 45193 45198 45199 45203 45207 45208 45209 45211 45212 45214 45217 45218 45220 45221 45225 45230 45233 45237 45238 45239 45241 45242 45244 45245 45249 45254 45257 45261 45262 45266 45268 45271 45272 45274 45275 45279 45280 45281 45284 45286 45287 45289 45290 45294 45295 45296 45299 45303 45304 45305 45309 45314 45316 45319 45324 45325 45328 45333 45334 45335 46232 46234 46235 46237 46238 46242 46246 46247 46261 46262 46277 46281 46282 46283 46285 46286 46290 46291 46294 46295 47938 47939 47941 48604 48605 48617 48623 48626 48638 48640 48643 48644 48807 48812 48816 48821 48823 48824 48828 48833 48835 48836 48838 48841 48846 48847 48848 48850 48853 48866 48868 48871 48874 48879 48880 48885 48892 48893 48895 48898 48903 48904 48907 48911 48913 48918 48919 48923 48925 48930 48931 48938 48941 48943 48948 48950 48952 48953 48955 48956 48958 48963 48964 48980 49010 49025 49040 49042 49047 49048 49049 49053 49058 49073 49075 49079 49083 49084 49085 49132 49136 49140 49141 49144 49148 49150 49155 49157 49160 49162 49163 49167 49168 49169 49171 49176 49177 49178 49181 49183 49184 49186 49189 49190 49192 49193 49197 49198 49199 49201 49202 49204 49207 49210 49215 49216 49219 49220 49224 49225 49226 49228 49231 49234 49239 49240 49241 49243 49244 49246 49247 49249 49252 49255 49260 49265 49268 49272 49273 49274 49276 49279 49282 49287 49288 49289 49291 49296 49297 49301 49305 49306 49307 49309 49310 49312 49315 49316 49318 49319 49323 49328 49331 49335 49336 49337 49339 49340 49342 49343 49347 49352 49355 49359 49360 49364 49366 49369 49370 49372 49373 49377 49378 49379 49382 49384 49385 49387 49388 49392 49393 49394 49397 49401 49402 49403 49407 49412 49414 49417 49422 49423 49426 49431 49432 49433 50330 50332 50333 50335 50336 50340 50344 50345 50359 50360 50375 50379 50380 50381 50383 50384 50388 50389 50392 50393 52036 52037 52039 52702 52703 52715 52721 52724 52736 52738 52741 52742 52905 52910 52914 52919 52921 52922 52926 52931 52933 52934 52936 52939 52944 52945 52946 52948 52951 52964 52966 52969 52972 52977 52978 52983 52990 52991 52993 52996 53001 53002 53005 53009 53011 53016 53017 53021 53023 53028 53029 53036 53039 53041 53046 53048 53050 53051 53053 53054 53056 53061 53062 53078 53108 53123 53138 53140 53145 53146 53147 53151 53156 53171 53173 53177 53181 53182 53183 53230 53234 53238 53239 53242 53246 53248 53253 53255 53258 53260 53261 53265 53266 53267 53269 53274 53275 53276 53279 53281 53282 53284 53287 53288 53290 53291 53295 53296 53297 53299 53300 53302 53305 53308 53313 53314 53317 53318 53322 53323 53324 53326 53329 53332 53337 53338 53339 53341 53342 53344 53345 53347 53350 53353 53358 53363 53366 53370 53371 53372 53374 53377 53380 53385 53386 53387 53389 53394 53395 53399 53403 53404 53405 53407 53408 53410 53413 53414 53416 53417 53421 53426 53429 53433 53434 53435 53437 53438 53440 53441 53445 53450 53453 53457 53458 53462 53464 53467 53468 53470 53471 53475 53476 53477 53480 53482 53483 53485 53486 53490 53491 53492 53495 53499 53500 53501 53505 53510 53512 53515 53520 53521 53524 53529 53530 53531 54428 54430 54431 54433 54434 54438 54442 54443 54457 54458 54473 54477 54478 54479 54481 54482 54486 54487 54490 54491 56134 56135 56137 56800 56801 56813 56819 56822 56834 56836 56839 56840 57003 57008 57012 57017 57019 57020 57024 57029 57031 57032 57034 57037 57042 57043 57044 57046 57049 57062 57064 57067 57070 57075 57076 57081 57088 57089 57091 57094 57099 57100 57103 57107 57109 57114 57115 57119 57121 57126 57127 57134 57137 57139 57144 57146 57148 57149 57151 57152 57154 57159 57160 57176 57206 57221 57236 57238 57243 57244 57245 57249 57254 57269 57271 57275 57279 57280 57281 57328 57332 57336 57337 57340 57344 57346 57351 57353 57356 57358 57359 57363 57364 57365 57367 57372 57373 57374 57377 57379 57380 57382 57385 57386 57388 57389 57393 57394 57395 57397 57398 57400 57403 57406 57411 57412 57415 57416 57420 57421 57422 57424 57427 57430 57435 57436 57437 57439 57440 57442 57443 57445 57448 57451 57456 57461 57464 57468 57469 57470 57472 57475 57478 57483 57484 57485 57487 57492 57493 57497 57501 57502 57503 57505 57506 57508 57511 57512 57514 57515 57519 57524 57527 57531 57532 57533 57535 57536 57538 57539 57543 57548 57551 57555 57556 57560 57562 57565 57566 57568 57569 57573 57574 57575 57578 57580 57581 57583 57584 57588 57589 57590 57593 57597 57598 57599 57603 57608 57610 57613 57618 57619 57622 57627 57628 57629 58526 58528 58529 58531 58532 58536 58540 58541 58555 58556 58571 58575 58576 58577 58579 58580 58584 58585 58588 58589 60232 60233 60235 60898 60899 60911 60917 60920 60932 60934 60937 60938 61101 61106 61110 61115 61117 61118 61122 61127 61129 61130 61132 61135 61140 61141 61142 61144 61147 61160 61162 61165 61168 61173 61174 61179 61186 61187 61189 61192 61197 61198 61201 61205 61207 61212 61213 61217 61219 61224 61225 61232 61235 61237 61242 61244 61246 61247 61249 61250 61252 61257 61258 61274 61304 61319 61334 61336 61341 61342 61343 61347 61352 61367 61369 61373 61377 61378 61379 61426 61430 61434 61435 61438 61442 61444 61449 61451 61454 61456 61457 61461 61462 61463 61465 61470 61471 61472 61475 61477 61478 61480 61483 61484 61486 61487 61491 61492 61493 61495 61496 61498 61501 61504 61509 61510 61513 61514 61518 61519 61520 61522 61525 61528 61533 61534 61535 61537 61538 61540 61541 61543 61546 61549 61554 61559 61562 61566 61567 61568 61570 61573 61576 61581 61582 61583 61585 61590 61591 61595 61599 61600 61601 61603 61604 61606 61609 61610 61612 61613 61617 61622 61625 61629 61630 61631 61633 61634 61636 61637 61641 61646 61649 61653 61654 61658 61660 61663 61664 61666 61667 61671 61672 61673 61676 61678 61679 61681 61682 61686 61687 61688 61691 61695 61696 61697 61701 61706 61708 61711 61716 61717 61720 61725 61726 61727 62624 62626 62627 62629 62630 62634 62638 62639 62653 62654 62669 62673 62674 62675 62677 62678 62682 62683 62686 62687 64330 64331 64333 64996 64997 65009 65015 65018 65030 65032 65035 65036 65199 65204 65208 65213 65215 65216 65220 65225 65227 65228 65230 65233 65238 65239 65240 65242 65245 65258 65260 65263 65266 65271 65272 65277 65284 65285 65287 65290 65295 65296 65299 65303 65305 65310 65311 65315 65317 65322 65323 65330 65333 65335 65340 65342 65344 65345 65347 65348 65350 65355 65356 65372 65402 65417 65432 65434 65439 65440 65441 65445 65450 65465 65467 65471 65475 65476 65477 65524 65528 65532 65533 65536 65540 65542 65547 65549 65552 65554 65555 65559 65560 65561 65563 65568 65569 65570 65573 65575 65576 65578 65581 65582 65584 65585 65589 65590 65591 65593 65594 65596 65599 65602 65607 65608 65611 65612 65616 65617 65618 65620 65623 65626 65631 65632 65633 65635 65636 65638 65639 65641 65644 65647 65652 65657 65660 65664 65665 65666 65668 65671 65674 65679 65680 65681 65683 65688 65689 65693 65697 65698 65699 65701 65702 65704 65707 65708 65710 65711 65715 65720 65723 65727 65728 65729 65731 65732 65734 65735 65739 65744 65747 65751 65752 65756 65758 65761 65762 65764 65765 65769 65770 65771 65774 65776 65777 65779 65780 65784 65785 65786 65789 65793 65794 65795 65799 65804 65806 65809 65814 65815 65818 65823 65824 65825 66722 66724 66725 66727 66728 66732 66736 66737 66751 66752 66767 66771 66772 66773 66775 66776 66780 66781 66784 66785 68428 68429 68431 69094 69095 69107 69113 69116 69128 69130 69133 69134 69297 69302 69306 69311 69313 69314 69318 69323 69325 69326 69328 69331 69336 69337 69338 69340 69343 69356 69358 69361 69364 69369 69370 69375 69382 69383 69385 69388 69393 69394 69397 69401 69403 69408 69409 69413 69415 69420 69421 69428 69431 69433 69438 69440 69442 69443 69445 69446 69448 69453 69454 69470 69500 69515 69530 69532 69537 69538 69539 69543 69548 69563 69565 69569 69573 69574 69575 69622 69626 69630 69631 69634 69638 69640 69645 69647 69650 69652 69653 69657 69658 69659 69661 69666 69667 69668 69671 69673 69674 69676 69679 69680 69682 69683 69687 69688 69689 69691 69692 69694 69697 69700 69705 69706 69709 69710 69714 69715 69716 69718 69721 69724 69729 69730 69731 69733 69734 69736 69737 69739 69742 69745 69750 69755 69758 69762 69763 69764 69766 69769 69772 69777 69778 69779 69781 69786 69787 69791 69795 69796 69797 69799 69800 69802 69805 69806 69808 69809 69813 69818 69821 69825 69826 69827 69829 69830 69832 69833 69837 69842 69845 69849 69850 69854 69856 69859 69860 69862 69863 69867 69868 69869 69872 69874 69875 69877 69878 69882 69883 69884 69887 69891 69892 69893 69897 69902 69904 69907 69912 69913 69916 69921 69922 69923 70820 70822 70823 70825 70826 70830 70834 70835 70849 70850 70865 70869 70870 70871 70873 70874 70878 70879 70882 70883 72526 72527 72529 73192 73193 73205 73211 73214 73226 73228 73231 73232 73395 73400 73404 73409 73411 73412 73416 73421 73423 73424 73426 73429 73434 73435 73436 73438 73441 73454 73456 73459 73462 73467 73468 73473 73480 73481 73483 73486 73491 73492 73495 73499 73501 73506 73507 73511 73513 73518 73519 73526 73529 73531 73536 73538 73540 73541 73543 73544 73546 73551 73552 73568 73598 73613 73628 73630 73635 73636 73637 73641 73646 73661 73663 73667 73671 73672 73673 73720 73724 73728 73729 73732 73736 73738 73743 73745 73748 73750 73751 73755 73756 73757 73759 73764 73765 73766 73769 73771 73772 73774 73777 73778 73780 73781 73785 73786 73787 73789 73790 73792 73795 73798 73803 73804 73807 73808 73812 73813 73814 73816 73819 73822 73827 73828 73829 73831 73832 73834 73835 73837 73840 73843 73848 73853 73856 73860 73861 73862 73864 73867 73870 73875 73876 73877 73879 73884 73885 73889 73893 73894 73895 73897 73898 73900 73903 73904 73906 73907 73911 73916 73919 73923 73924 73925 73927 73928 73930 73931 73935 73940 73943 73947 73948 73952 73954 73957 73958 73960 73961 73965 73966 73967 73970 73972 73973 73975 73976 73980 73981 73982 73985 73989 73990 73991 73995 74000 74002 74005 74010 74011 74014 74019 74020 74021 74918 74920 74921 74923 74924 74928 74932 74933 74947 74948 74963 74967 74968 74969 74971 74972 74976 74977 74980 74981 76624 76625 76627 77290 77291 77303 77309 77312 77324 77326 77329 77330 77493 77498 77502 77507 77509 77510 77514 77519 77521 77522 77524 77527 77532 77533 77534 77536 77539 77552 77554 77557 77560 77565 77566 77571 77578 77579 77581 77584 77589 77590 77593 77597 77599 77604 77605 77609 77611 77616 77617 77624 77627 77629 77634 77636 77638 77639 77641 77642 77644 77649 77650 77666 77696 77711 77726 77728 77733 77734 77735 77739 77744 77759 77761 77765 77769 77770 77771 77818 77822 77826 77827 77830 77834 77836 77841 77843 77846 77848 77849 77853 77854 77855 77857 77862 77863 77864 77867 77869 77870 77872 77875 77876 77878 77879 77883 77884 77885 77887 77888 77890 77893 77896 77901 77902 77905 77906 77910 77911 77912 77914 77917 77920 77925 77926 77927 77929 77930 77932 77933 77935 77938 77941 77946 77951 77954 77958 77959 77960 77962 77965 77968 77973 77974 77975 77977 77982 77983 77987 77991 77992 77993 77995 77996 77998 78001 78002 78004 78005 78009 78014 78017 78021 78022 78023 78025 78026 78028 78029 78033 78038 78041 78045 78046 78050 78052 78055 78056 78058 78059 78063 78064 78065 78068 78070 78071 78073 78074 78078 78079 78080 78083 78087 78088 78089 78093 78098 78100 78103 78108 78109 78112 78117 78118 78119 79016 79018 79019 79021 79022 79026 79030 79031 79045 79046 79061 79065 79066 79067 79069 79070 79074 79075 79078 79079 80722 80723 80725 81388 81389 81401 81407 81410 81422 81424 81427 81428 81591 81596 81600 81605 81607 81608 81612 81617 81619 81620 81622 81625 81630 81631 81632 81634 81637 81650 81652 81655 81658 81663 81664 81669 81676 81677 81679 81682 81687 81688 81691 81695 81697 81702 81703 81707 81709 81714 81715 81722 81725 81727 81732 81734 81736 81737 81739 81740 81742 81747 81748 81764 81794 81809 81824 81826 81831 81832 81833 81837 81842 81857 81859 81863 81867 81868 81869 81916 81920 81924 81925 81928 81932 81934 81939 81941 81944 81946 81947 81951 81952 81953 81955 81960 81961 81962 81965 81967 81968 81970 81973 81974 81976 81977 81981 81982 81983 81985 81986 81988 81991 81994 81999 82000 82003 82004 82008 82009 82010 82012 82015 82018 82023 82024 82025 82027 82028 82030 82031 82033 82036 82039 82044 82049 82052 82056 82057 82058 82060 82063 82066 82071 82072 82073 82075 82080 82081 82085 82089 82090 82091 82093 82094 82096 82099 82100 82102 82103 82107 82112 82115 82119 82120 82121 82123 82124 82126 82127 82131 82136 82139 82143 82144 82148 82150 82153 82154 82156 82157 82161 82162 82163 82166 82168 82169 82171 82172 82176 82177 82178 82181 82185 82186 82187 82191 82196 82198 82201 82206 82207 82210 82215 82216 82217 83114 83116 83117 83119 83120 83124 83128 83129 83143 83144 83159 83163 83164 83165 83167 83168 83172 83173 83176 83177 84820 84821 84823 85486 85487 85499 85505 85508 85520 85522 85525 85526 85689 85694 85698 85703 85705 85706 85710 85715 85717 85718 85720 85723 85728 85729 85730 85732 85735 85748 85750 85753 85756 85761 85762 85767 85774 85775 85777 85780 85785 85786 85789 85793 85795 85800 85801 85805 85807 85812 85813 85820 85823 85825 85830 85832 85834 85835 85837 85838 85840 85845 85846 85862 85892 85907 85922 85924 85929 85930 85931 85935 85940 85955 85957 85961 85965 85966 85967 86014 86018 86022 86023 86026 86030 86032 86037 86039 86042 86044 86045 86049 86050 86051 86053 86058 86059 86060 86063 86065 86066 86068 86071 86072 86074 86075 86079 86080 86081 86083 86084 86086 86089 86092 86097 86098 86101 86102 86106 86107 86108 86110 86113 86116 86121 86122 86123 86125 86126 86128 86129 86131 86134 86137 86142 86147 86150 86154 86155 86156 86158 86161 86164 86169 86170 86171 86173 86178 86179 86183 86187 86188 86189 86191 86192 86194 86197 86198 86200 86201 86205 86210 86213 86217 86218 86219 86221 86222 86224 86225 86229 86234 86237 86241 86242 86246 86248 86251 86252 86254 86255 86259 86260 86261 86264 86266 86267 86269 86270 86274 86275 86276 86279 86283 86284 86285 86289 86294 86296 86299 86304 86305 86308 86313 86314 86315 87212 87214 87215 87217 87218 87222 87226 87227 87241 87242 87257 87261 87262 87263 87265 87266 87270 87271 87274 87275 88918 88919 88921 89584 89585 89597 89603 89606 89618 89620 89623 89624 89787 89792 89796 89801 89803 89804 89808 89813 89815 89816 89818 89821 89826 89827 89828 89830 89833 89846 89848 89851 89854 89859 89860 89865 89872 89873 89875 89878 89883 89884 89887 89891 89893 89898 89899 89903 89905 89910 89911 89918 89921 89923 89928 89930 89932 89933 89935 89936 89938 89943 89944 89960 89990 90005 90020 90022 90027 90028 90029 90033 90038 90053 90055 90059 90063 90064 90065 90112 90116 90120 90121 90124 90128 90130 90135 90137 90140 90142 90143 90147 90148 90149 90151 90156 90157 90158 90161 90163 90164 90166 90169 90170 90172 90173 90177 90178 90179 90181 90182 90184 90187 90190 90195 90196 90199 90200 90204 90205 90206 90208 90211 90214 90219 90220 90221 90223 90224 90226 90227 90229 90232 90235 90240 90245 90248 90252 90253 90254 90256 90259 90262 90267 90268 90269 90271 90276 90277 90281 90285 90286 90287 90289 90290 90292 90295 90296 90298 90299 90303 90308 90311 90315 90316 90317 90319 90320 90322 90323 90327 90332 90335 90339 90340 90344 90346 90349 90350 90352 90353 90357 90358 90359 90362 90364 90365 90367 90368 90372 90373 90374 90377 90381 90382 90383 90387 90392 90394 90397 90402 90403 90406 90411 90412 90413 91310 91312 91313 91315 91316 91320 91324 91325 91339 91340 91355 91359 91360 91361 91363 91364 91368 91369 91372 91373 93016 93017 93019 93682 93683 93695 93701 93704 93716 93718 93721 93722 93885 93890 93894 93899 93901 93902 93906 93911 93913 93914 93916 93919 93924 93925 93926 93928 93931 93944 93946 93949 93952 93957 93958 93963 93970 93971 93973 93976 93981 93982 93985 93989 93991 93996 93997 94001 94003 94008 94009 94016 94019 94021 94026 94028 94030 94031 94033 94034 94036 94041 94042 94058 94088 94103 94118 94120 94125 94126 94127 94131 94136 94151 94153 94157 94161 94162 94163 94210 94214 94218 94219 94222 94226 94228 94233 94235 94238 94240 94241 94245 94246 94247 94249 94254 94255 94256 94259 94261 94262 94264 94267 94268 94270 94271 94275 94276 94277 94279 94280 94282 94285 94288 94293 94294 94297 94298 94302 94303 94304 94306 94309 94312 94317 94318 94319 94321 94322 94324 94325 94327 94330 94333 94338 94343 94346 94350 94351 94352 94354 94357 94360 94365 94366 94367 94369 94374 94375 94379 94383 94384 94385 94387 94388 94390 94393 94394 94396 94397 94401 94406 94409 94413 94414 94415 94417 94418 94420 94421 94425 94430 94433 94437 94438 94442 94444 94447 94448 94450 94451 94455 94456 94457 94460 94462 94463 94465 94466 94470 94471 94472 94475 94479 94480 94481 94485 94490 94492 94495 94500 94501 94504 94509 94510 94511 95408 95410 95411 95413 95414 95418 95422 95423 95437 95438 95453 95457 95458 95459 95461 95462 95466 95467 95470 95471 97114 97115 97117 97780 97781 97793 97799 97802 97814 97816 97819 97820 97983 97988 97992 97997 97999 98000 98004 98009 98011 98012 98014 98017 98022 98023 98024 98026 98029 98042 98044 98047 98050 98055 98056 98061 98068 98069 98071 98074 98079 98080 98083 98087 98089 98094 98095 98099 98101 98106 98107 98114 98117 98119 98124 98126 98128 98129 98131 98132 98134 98139 98140 98156 98186 98201 98216 98218 98223 98224 98225 98229 98234 98249 98251 98255 98259 98260 98261 98308 98312 98316 98317 98320 98324 98326 98331 98333 98336 98338 98339 98343 98344 98345 98347 98352 98353 98354 98357 98359 98360 98362 98365 98366 98368 98369 98373 98374 98375 98377 98378 98380 98383 98386 98391 98392 98395 98396 98400 98401 98402 98404 98407 98410 98415 98416 98417 98419 98420 98422 98423 98425 98428 98431 98436 98441 98444 98448 98449 98450 98452 98455 98458 98463 98464 98465 98467 98472 98473 98477 98481 98482 98483 98485 98486 98488 98491 98492 98494 98495 98499 98504 98507 98511 98512 98513 98515 98516 98518 98519 98523 98528 98531 98535 98536 98540 98542 98545 98546 98548 98549 98553 98554 98555 98558 98560 98561 98563 98564 98568 98569 98570 98573 98577 98578 98579 98583 98588 98590 98593 98598 98599 98602 98607 98608 98609 99506 99508 99509 99511 99512 99516 99520 99521 99535 99536 99551 99555 99556 99557 99559 99560 99564 99565 99568 99569 101212 101213 101215 101878 101879 101891 101897 101900 101912 101914 101917 101918 102081 102086 102090 102095 102097 102098 102102 102107 102109 102110 102112 102115 102120 102121 102122 102124 102127 102140 102142 102145 102148 102153 102154 102159 102166 102167 102169 102172 102177 102178 102181 102185 102187 102192 102193 102197 102199 102204 102205 102212 102215 102217 102222 102224 102226 102227 102229 102230 102232 102237 102238 102254 102284 102299 102314 102316 102321 102322 102323 102327 102332 102347 102349 102353 102357 102358 102359 102406 102410 102414 102415 102418 102422 102424 102429 102431 102434 102436 102437 102441 102442 102443 102445 102450 102451 102452 102455 102457 102458 102460 102463 102464 102466 102467 102471 102472 102473 102475 102476 102478 102481 102484 102489 102490 102493 102494 102498 102499 102500 102502 102505 102508 102513 102514 102515 102517 102518 102520 102521 102523 102526 102529 102534 102539 102542 102546 102547 102548 102550 102553 102556 102561 102562 102563 102565 102570 102571 102575 102579 102580 102581 102583 102584 102586 102589 102590 102592 102593 102597 102602 102605 102609 102610 102611 102613 102614 102616 102617 102621 102626 102629 102633 102634 102638 102640 102643 102644 102646 102647 102651 102652 102653 102656 102658 102659 102661 102662 102666 102667 102668 102671 102675 102676 102677 102681 102686 102688 102691 102696 102697 102700 102705 102706 102707 103604 103606 103607 103609 103610 103614 103618 103619 103633 103634 103649 103653 103654 103655 103657 103658 103662 103663 103666 103667 105310 105311 105313 105976 105977 105989 105995 105998 106010 106012 106015 106016 106179 106184 106188 106193 106195 106196 106200 106205 106207 106208 106210 106213 106218 106219 106220 106222 106225 106238 106240 106243 106246 106251 106252 106257 106264 106265 106267 106270 106275 106276 106279 106283 106285 106290 106291 106295 106297 106302 106303 106310 106313 106315 106320 106322 106324 106325 106327 106328 106330 106335 106336 106352 106382 106397 106412 106414 106419 106420 106421 106425 106430 106445 106447 106451 106455 106456 106457 106504 106508 106512 106513 106516 106520 106522 106527 106529 106532 106534 106535 106539 106540 106541 106543 106548 106549 106550 106553 106555 106556 106558 106561 106562 106564 106565 106569 106570 106571 106573 106574 106576 106579 106582 106587 106588 106591 106592 106596 106597 106598 106600 106603 106606 106611 106612 106613 106615 106616 106618 106619 106621 106624 106627 106632 106637 106640 106644 106645 106646 106648 106651 106654 106659 106660 106661 106663 106668 106669 106673 106677 106678 106679 106681 106682 106684 106687 106688 106690 106691 106695 106700 106703 106707 106708 106709 106711 106712 106714 106715 106719 106724 106727 106731 106732 106736 106738 106741 106742 106744 106745 106749 106750 106751 106754 106756 106757 106759 106760 106764 106765 106766 106769 106773 106774 106775 106779 106784 106786 106789 106794 106795 106798 106803 106804 106805 107702 107704 107705 107707 107708 107712 107716 107717 107731 107732 107747 107751 107752 107753 107755 107756 107760 107761 107764 107765 109408 109409 109411 110074 110075 110087 110093 110096 110108 110110 110113 110114 110277 110282 110286 110291 110293 110294 110298 110303 110305 110306 110308 110311 110316 110317 110318 110320 110323 110336 110338 110341 110344 110349 110350 110355 110362 110363 110365 110368 110373 110374 110377 110381 110383 110388 110389 110393 110395 110400 110401 110408 110411 110413 110418 110420 110422 110423 110425 110426 110428 110433 110434 110450 110480 110495 110510 110512 110517 110518 110519 110523 110528 110543 110545 110549 110553 110554 110555 110602 110606 110610 110611 110614 110618 110620 110625 110627 110630 110632 110633 110637 110638 110639 110641 110646 110647 110648 110651 110653 110654 110656 110659 110660 110662 110663 110667 110668 110669 110671 110672 110674 110677 110680 110685 110686 110689 110690 110694 110695 110696 110698 110701 110704 110709 110710 110711 110713 110714 110716 110717 110719 110722 110725 110730 110735 110738 110742 110743 110744 110746 110749 110752 110757 110758 110759 110761 110766 110767 110771 110775 110776 110777 110779 110780 110782 110785 110786 110788 110789 110793 110798 110801 110805 110806 110807 110809 110810 110812 110813 110817 110822 110825 110829 110830 110834 110836 110839 110840 110842 110843 110847 110848 110849 110852 110854 110855 110857 110858 110862 110863 110864 110867 110871 110872 110873 110877 110882 110884 110887 110892 110893 110896 110901 110902 110903 111800 111802 111803 111805 111806 111810 111814 111815 111829 111830 111845 111849 111850 111851 111853 111854 111858 111859 111862 111863 113506 113507 113509 114172 114173 114185 114191 114194 114206 114208 114211 114212 114375 114380 114384 114389 114391 114392 114396 114401 114403 114404 114406 114409 114414 114415 114416 114418 114421 114434 114436 114439 114442 114447 114448 114453 114460 114461 114463 114466 114471 114472 114475 114479 114481 114486 114487 114491 114493 114498 114499 114506 114509 114511 114516 114518 114520 114521 114523 114524 114526 114531 114532 114548 114578 114593 114608 114610 114615 114616 114617 114621 114626 114641 114643 114647 114651 114652 114653 114700 114704 114708 114709 114712 114716 114718 114723 114725 114728 114730 114731 114735 114736 114737 114739 114744 114745 114746 114749 114751 114752 114754 114757 114758 114760 114761 114765 114766 114767 114769 114770 114772 114775 114778 114783 114784 114787 114788 114792 114793 114794 114796 114799 114802 114807 114808 114809 114811 114812 114814 114815 114817 114820 114823 114828 114833 114836 114840 114841 114842 114844 114847 114850 114855 114856 114857 114859 114864 114865 114869 114873 114874 114875 114877 114878 114880 114883 114884 114886 114887 114891 114896 114899 114903 114904 114905 114907 114908 114910 114911 114915 114920 114923 114927 114928 114932 114934 114937 114938 114940 114941 114945 114946 114947 114950 114952 114953 114955 114956 114960 114961 114962 114965 114969 114970 114971 114975 114980 114982 114985 114990 114991 114994 114999 115000 115001 115898 115900 115901 115903 115904 115908 115912 115913 115927 115928 115943 115947 115948 115949 115951 115952 115956 115957 115960 115961 117604 117605 117607 118270 118271 118283 118289 118292 118304 118306 118309 118310 118473 118478 118482 118487 118489 118490 118494 118499 118501 118502 118504 118507 118512 118513 118514 118516 118519 118532 118534 118537 118540 118545 118546 118551 118558 118559 118561 118564 118569 118570 118573 118577 118579 118584 118585 118589 118591 118596 118597 118604 118607 118609 118614 118616 118618 118619 118621 118622 118624 118629 118630 118646 118676 118691 118706 118708 118713 118714 118715 118719 118724 118739 118741 118745 118749 118750 118751 118798 118802 118806 118807 118810 118814 118816 118821 118823 118826 118828 118829 118833 118834 118835 118837 118842 118843 118844 118847 118849 118850 118852 118855 118856 118858 118859 118863 118864 118865 118867 118868 118870 118873 118876 118881 118882 118885 118886 118890 118891 118892 118894 118897 118900 118905 118906 118907 118909 118910 118912 118913 118915 118918 118921 118926 118931 118934 118938 118939 118940 118942 118945 118948 118953 118954 118955 118957 118962 118963 118967 118971 118972 118973 118975 118976 118978 118981 118982 118984 118985 118989 118994 118997 119001 119002 119003 119005 119006 119008 119009 119013 119018 119021 119025 119026 119030 119032 119035 119036 119038 119039 119043 119044 119045 119048 119050 119051 119053 119054 119058 119059 119060 119063 119067 119068 119069 119073 119078 119080 119083 119088 119089 119092 119097 119098 119099 119996 119998 119999 120001 120002 120006 120010 120011 120025 120026 120041 120045 120046 120047 120049 120050 120054 120055 120058 120059 121702 121703 121705 122368 122369 122381 122387 122390 122402 122404 122407 122408 122571 122576 122580 122585 122587 122588 122592 122597 122599 122600 122602 122605 122610 122611 122612 122614 122617 122630 122632 122635 122638 122643 122644 122649 122656 122657 122659 122662 122667 122668 122671 122675 122677 122682 122683 122687 122689 122694 122695 122702 122705 122707 122712 122714 122716 122717 122719 122720 122722 122727 122728 122744 122774 122789 122804 122806 122811 122812 122813 122817 122822 122837 122839 122843 122847 122848 122849 122896 122900 122904 122905 122908 122912 122914 122919 122921 122924 122926 122927 122931 122932 122933 122935 122940 122941 122942 122945 122947 122948 122950 122953 122954 122956 122957 122961 122962 122963 122965 122966 122968 122971 122974 122979 122980 122983 122984 122988 122989 122990 122992 122995 122998 123003 123004 123005 123007 123008 123010 123011 123013 123016 123019 123024 123029 123032 123036 123037 123038 123040 123043 123046 123051 123052 123053 123055 123060 123061 123065 123069 123070 123071 123073 123074 123076 123079 123080 123082 123083 123087 123092 123095 123099 123100 123101 123103 123104 123106 123107 123111 123116 123119 123123 123124 123128 123130 123133 123134 123136 123137 123141 123142 123143 123146 123148 123149 123151 123152 123156 123157 123158 123161 123165 123166 123167 123171 123176 123178 123181 123186 123187 123190 123195 123196 123197 124094 124096 124097 124099 124100 124104 124108 124109 124123 124124 124139 124143 124144 124145 124147 124148 124152 124153 124156 124157 125800 125801 125803 126466 126467 126479 126485 126488 126500 126502 126505 126506 126669 126674 126678 126683 126685 126686 126690 126695 126697 126698 126700 126703 126708 126709 126710 126712 126715 126728 126730 126733 126736 126741 126742 126747 126754 126755 126757 126760 126765 126766 126769 126773 126775 126780 126781 126785 126787 126792 126793 126800 126803 126805 126810 126812 126814 126815 126817 126818 126820 126825 126826 126842 126872 126887 126902 126904 126909 126910 126911 126915 126920 126935 126937 126941 126945 126946 126947 126994 126998 127002 127003 127006 127010 127012 127017 127019 127022 127024 127025 127029 127030 127031 127033 127038 127039 127040 127043 127045 127046 127048 127051 127052 127054 127055 127059 127060 127061 127063 127064 127066 127069 127072 127077 127078 127081 127082 127086 127087 127088 127090 127093 127096 127101 127102 127103 127105 127106 127108 127109 127111 127114 127117 127122 127127 127130 127134 127135 127136 127138 127141 127144 127149 127150 127151 127153 127158 127159 127163 127167 127168 127169 127171 127172 127174 127177 127178 127180 127181 127185 127190 127193 127197 127198 127199 127201 127202 127204 127205 127209 127214 127217 127221 127222 127226 127228 127231 127232 127234 127235 127239 127240 127241 127244 127246 127247 127249 127250 127254 127255 127256 127259 127263 127264 127265 127269 127274 127276 127279 127284 127285 127288 127293 127294 127295 128192 128194 128195 128197 128198 128202 128206 128207 128221 128222 128237 128241 128242 128243 128245 128246 128250 128251 128254 128255 129898 129899 129901 130564 130565 130577 130583 130586 130598 130600 130603 130604 130767 130772 130776 130781 130783 130784 130788 130793 130795 130796 130798 130801 130806 130807 130808 130810 130813 130826 130828 130831 130834 130839 130840 130845 130852 130853 130855 130858 130863 130864 130867 130871 130873 130878 130879 130883 130885 130890 130891 130898 130901 130903 130908 130910 130912 130913 130915 130916 130918 130923 130924 130940 130970 130985 131000 131002 131007 131008 131009 131013 131018 131033 131035 131039 131043 131044 131045 131092 131096 131100 131101 131104 131108 131110 131115 131117 131120 131122 131123 131127 131128 131129 131131 131136 131137 131138 131141 131143 131144 131146 131149 131150 131152 131153 131157 131158 131159 131161 131162 131164 131167 131170 131175 131176 131179 131180 131184 131185 131186 131188 131191 131194 131199 131200 131201 131203 131204 131206 131207 131209 131212 131215 131220 131225 131228 131232 131233 131234 131236 131239 131242 131247 131248 131249 131251 131256 131257 131261 131265 131266 131267 131269 131270 131272 131275 131276 131278 131279 131283 131288 131291 131295 131296 131297 131299 131300 131302 131303 131307 131312 131315 131319 131320 131324 131326 131329 131330 131332 131333 131337 131338 131339 131342 131344 131345 131347 131348 131352 131353 131354 131357 131361 131362 131363 131367 131372 131374 131377 131382 131383 131386 131391 131392 131393 132290 132292 132293 132295 132296 132300 132304 132305 132319 132320 132335 132339 132340 132341 132343 132344 132348 132349 132352 132353 133996 133997 133999 134662 134663 134675 134681 134684 134696 134698 134701 134702 134865 134870 134874 134879 134881 134882 134886 134891 134893 134894 134896 134899 134904 134905 134906 134908 134911 134924 134926 134929 134932 134937 134938 134943 134950 134951 134953 134956 134961 134962 134965 134969 134971 134976 134977 134981 134983 134988 134989 134996 134999 135001 135006 135008 135010 135011 135013 135014 135016 135021 135022 135038 135068 135083 135098 135100 135105 135106 135107 135111 135116 135131 135133 135137 135141 135142 135143 135190 135194 135198 135199 135202 135206 135208 135213 135215 135218 135220 135221 135225 135226 135227 135229 135234 135235 135236 135239 135241 135242 135244 135247 135248 135250 135251 135255 135256 135257 135259 135260 135262 135265 135268 135273 135274 135277 135278 135282 135283 135284 135286 135289 135292 135297 135298 135299 135301 135302 135304 135305 135307 135310 135313 135318 135323 135326 135330 135331 135332 135334 135337 135340 135345 135346 135347 135349 135354 135355 135359 135363 135364 135365 135367 135368 135370 135373 135374 135376 135377 135381 135386 135389 135393 135394 135395 135397 135398 135400 135401 135405 135410 135413 135417 135418 135422 135424 135427 135428 135430 135431 135435 135436 135437 135440 135442 135443 135445 135446 135450 135451 135452 135455 135459 135460 135461 135465 135470 135472 135475 135480 135481 135484 135489 135490 135491 136388 136390 136391 136393 136394 136398 136402 136403 136417 136418 136433 136437 136438 136439 136441 136442 136446 136447 136450 136451 138094 138095 138097 138760 138761 138773 138779 138782 138794 138796 138799 138800 138963 138968 138972 138977 138979 138980 138984 138989 138991 138992 138994 138997 139002 139003 139004 139006 139009 139022 139024 139027 139030 139035 139036 139041 139048 139049 139051 139054 139059 139060 139063 139067 139069 139074 139075 139079 139081 139086 139087 139094 139097 139099 139104 139106 139108 139109 139111 139112 139114 139119 139120 139136 139166 139181 139196 139198 139203 139204 139205 139209 139214 139229 139231 139235 139239 139240 139241 139288 139292 139296 139297 139300 139304 139306 139311 139313 139316 139318 139319 139323 139324 139325 139327 139332 139333 139334 139337 139339 139340 139342 139345 139346 139348 139349 139353 139354 139355 139357 139358 139360 139363 139366 139371 139372 139375 139376 139380 139381 139382 139384 139387 139390 139395 139396 139397 139399 139400 139402 139403 139405 139408 139411 139416 139421 139424 139428 139429 139430 139432 139435 139438 139443 139444 139445 139447 139452 139453 139457 139461 139462 139463 139465 139466 139468 139471 139472 139474 139475 139479 139484 139487 139491 139492 139493 139495 139496 139498 139499 139503 139508 139511 139515 139516 139520 139522 139525 139526 139528 139529 139533 139534 139535 139538 139540 139541 139543 139544 139548 139549 139550 139553 139557 139558 139559 139563 139568 139570 139573 139578 139579 139582 139587 139588 139589 140486 140488 140489 140491 140492 140496 140500 140501 140515 140516 140531 140535 140536 140537 140539 140540 140544 140545 140548 140549 142192 142193 142195 142858 142859 142871 142877 142880 142892 142894 142897 142898 143061 143066 143070 143075 143077 143078 143082 143087 143089 143090 143092 143095 143100 143101 143102 143104 143107 143120 143122 143125 143128 143133 143134 143139 143146 143147 143149 143152 143157 143158 143161 143165 143167 143172 143173 143177 143179 143184 143185 143192 143195 143197 143202 143204 143206 143207 143209 143210 143212 143217 143218 143234 143264 143279 143294 143296 143301 143302 143303 143307 143312 143327 143329 143333 143337 143338 143339 143386 143390 143394 143395 143398 143402 143404 143409 143411 143414 143416 143417 143421 143422 143423 143425 143430 143431 143432 143435 143437 143438 143440 143443 143444 143446 143447 143451 143452 143453 143455 143456 143458 143461 143464 143469 143470 143473 143474 143478 143479 143480 143482 143485 143488 143493 143494 143495 143497 143498 143500 143501 143503 143506 143509 143514 143519 143522 143526 143527 143528 143530 143533 143536 143541 143542 143543 143545 143550 143551 143555 143559 143560 143561 143563 143564 143566 143569 143570 143572 143573 143577 143582 143585 143589 143590 143591 143593 143594 143596 143597 143601 143606 143609 143613 143614 143618 143620 143623 143624 143626 143627 143631 143632 143633 143636 143638 143639 143641 143642 143646 143647 143648 143651 143655 143656 143657 143661 143666 143668 143671 143676 143677 143680 143685 143686 143687 144584 144586 144587 144589 144590 144594 144598 144599 144613 144614 144629 144633 144634 144635 144637 144638 144642 144643 144646 144647 146290 146291 146293 146956 146957 146969 146975 146978 146990 146992 146995 146996 147159 147164 147168 147173 147175 147176 147180 147185 147187 147188 147190 147193 147198 147199 147200 147202 147205 147218 147220 147223 147226 147231 147232 147237 147244 147245 147247 147250 147255 147256 147259 147263 147265 147270 147271 147275 147277 147282 147283 147290 147293 147295 147300 147302 147304 147305 147307 147308 147310 147315 147316 147332 147362 147377 147392 147394 147399 147400 147401 147405 147410 147425 147427 147431 147435 147436 147437 147484 147488 147492 147493 147496 147500 147502 147507 147509 147512 147514 147515 147519 147520 147521 147523 147528 147529 147530 147533 147535 147536 147538 147541 147542 147544 147545 147549 147550 147551 147553 147554 147556 147559 147562 147567 147568 147571 147572 147576 147577 147578 147580 147583 147586 147591 147592 147593 147595 147596 147598 147599 147601 147604 147607 147612 147617 147620 147624 147625 147626 147628 147631 147634 147639 147640 147641 147643 147648 147649 147653 147657 147658 147659 147661 147662 147664 147667 147668 147670 147671 147675 147680 147683 147687 147688 147689 147691 147692 147694 147695 147699 147704 147707 147711 147712 147716 147718 147721 147722 147724 147725 147729 147730 147731 147734 147736 147737 147739 147740 147744 147745 147746 147749 147753 147754 147755 147759 147764 147766 147769 147774 147775 147778 147783 147784 147785 148682 148684 148685 148687 148688 148692 148696 148697 148711 148712 148727 148731 148732 148733 148735 148736 148740 148741 148744 148745 150388 150389 150391 151054 151055 151067 151073 151076 151088 151090 151093 151094 151257 151262 151266 151271 151273 151274 151278 151283 151285 151286 151288 151291 151296 151297 151298 151300 151303 151316 151318 151321 151324 151329 151330 151335 151342 151343 151345 151348 151353 151354 151357 151361 151363 151368 151369 151373 151375 151380 151381 151388 151391 151393 151398 151400 151402 151403 151405 151406 151408 151413 151414 151430 151460 151475 151490 151492 151497 151498 151499 151503 151508 151523 151525 151529 151533 151534 151535 151582 151586 151590 151591 151594 151598 151600 151605 151607 151610 151612 151613 151617 151618 151619 151621 151626 151627 151628 151631 151633 151634 151636 151639 151640 151642 151643 151647 151648 151649 151651 151652 151654 151657 151660 151665 151666 151669 151670 151674 151675 151676 151678 151681 151684 151689 151690 151691 151693 151694 151696 151697 151699 151702 151705 151710 151715 151718 151722 151723 151724 151726 151729 151732 151737 151738 151739 151741 151746 151747 151751 151755 151756 151757 151759 151760 151762 151765 151766 151768 151769 151773 151778 151781 151785 151786 151787 151789 151790 151792 151793 151797 151802 151805 151809 151810 151814 151816 151819 151820 151822 151823 151827 151828 151829 151832 151834 151835 151837 151838 151842 151843 151844 151847 151851 151852 151853 151857 151862 151864 151867 151872 151873 151876 151881 151882 151883 152780 152782 152783 152785 152786 152790 152794 152795 152809 152810 152825 152829 152830 152831 152833 152834 152838 152839 152842 152843 154486 154487 154489 155152 155153 155165 155171 155174 155186 155188 155191 155192 155355 155360 155364 155369 155371 155372 155376 155381 155383 155384 155386 155389 155394 155395 155396 155398 155401 155414 155416 155419 155422 155427 155428 155433 155440 155441 155443 155446 155451 155452 155455 155459 155461 155466 155467 155471 155473 155478 155479 155486 155489 155491 155496 155498 155500 155501 155503 155504 155506 155511 155512 155528 155558 155573 155588 155590 155595 155596 155597 155601 155606 155621 155623 155627 155631 155632 155633 155680 155684 155688 155689 155692 155696 155698 155703 155705 155708 155710 155711 155715 155716 155717 155719 155724 155725 155726 155729 155731 155732 155734 155737 155738 155740 155741 155745 155746 155747 155749 155750 155752 155755 155758 155763 155764 155767 155768 155772 155773 155774 155776 155779 155782 155787 155788 155789 155791 155792 155794 155795 155797 155800 155803 155808 155813 155816 155820 155821 155822 155824 155827 155830 155835 155836 155837 155839 155844 155845 155849 155853 155854 155855 155857 155858 155860 155863 155864 155866 155867 155871 155876 155879 155883 155884 155885 155887 155888 155890 155891 155895 155900 155903 155907 155908 155912 155914 155917 155918 155920 155921 155925 155926 155927 155930 155932 155933 155935 155936 155940 155941 155942 155945 155949 155950 155951 155955 155960 155962 155965 155970 155971 155974 155979 155980 155981 156878 156880 156881 156883 156884 156888 156892 156893 156907 156908 156923 156927 156928 156929 156931 156932 156936 156937 156940 156941 158584 158585 158587 159250 159251 159263 159269 159272 159284 159286 159289 159290 159453 159458 159462 159467 159469 159470 159474 159479 159481 159482 159484 159487 159492 159493 159494 159496 159499 159512 159514 159517 159520 159525 159526 159531 159538 159539 159541 159544 159549 159550 159553 159557 159559 159564 159565 159569 159571 159576 159577 159584 159587 159589 159594 159596 159598 159599 159601 159602 159604 159609 159610 159626 159656 159671 159686 159688 159693 159694 159695 159699 159704 159719 159721 159725 159729 159730 159731 159778 159782 159786 159787 159790 159794 159796 159801 159803 159806 159808 159809 159813 159814 159815 159817 159822 159823 159824 159827 159829 159830 159832 159835 159836 159838 159839 159843 159844 159845 159847 159848 159850 159853 159856 159861 159862 159865 159866 159870 159871 159872 159874 159877 159880 159885 159886 159887 159889 159890 159892 159893 159895 159898 159901 159906 159911 159914 159918 159919 159920 159922 159925 159928 159933 159934 159935 159937 159942 159943 159947 159951 159952 159953 159955 159956 159958 159961 159962 159964 159965 159969 159974 159977 159981 159982 159983 159985 159986 159988 159989 159993 159998 160001 160005 160006 160010 160012 160015 160016 160018 160019 160023 160024 160025 160028 160030 160031 160033 160034 160038 160039 160040 160043 160047 160048 160049 160053 160058 160060 160063 160068 160069 160072 160077 160078 160079 160976 160978 160979 160981 160982 160986 160990 160991 161005 161006 161021 161025 161026 161027 161029 161030 161034 161035 161038 161039 162682 162683 162685 163348 163349 163361 163367 163370 163382 163384 163387 163388 163551 163556 163560 163565 163567 163568 163572 163577 163579 163580 163582 163585 163590 163591 163592 163594 163597 163610 163612 163615 163618 163623 163624 163629 163636 163637 163639 163642 163647 163648 163651 163655 163657 163662 163663 163667 163669 163674 163675 163682 163685 163687 163692 163694 163696 163697 163699 163700 163702 163707 163708 163724 163754 163769 163784 163786 163791 163792 163793 163797 163802 163817 163819 163823 163827 163828 163829 163876 163880 163884 163885 163888 163892 163894 163899 163901 163904 163906 163907 163911 163912 163913 163915 163920 163921 163922 163925 163927 163928 163930 163933 163934 163936 163937 163941 163942 163943 163945 163946 163948 163951 163954 163959 163960 163963 163964 163968 163969 163970 163972 163975 163978 163983 163984 163985 163987 163988 163990 163991 163993 163996 163999 164004 164009 164012 164016 164017 164018 164020 164023 164026 164031 164032 164033 164035 164040 164041 164045 164049 164050 164051 164053 164054 164056 164059 164060 164062 164063 164067 164072 164075 164079 164080 164081 164083 164084 164086 164087 164091 164096 164099 164103 164104 164108 164110 164113 164114 164116 164117 164121 164122 164123 164126 164128 164129 164131 164132 164136 164137 164138 164141 164145 164146 164147 164151 164156 164158 164161 164166 164167 164170 164175 164176 164177 165074 165076 165077 165079 165080 165084 165088 165089 165103 165104 165119 165123 165124 165125 165127 165128 165132 165133 165136 165137 166780 166781 166783 167446 167447 167459 167465 167468 167480 167482 167485 167486 167649 167654 167658 167663 167665 167666 167670 167675 167677 167678 167680 167683 167688 167689 167690 167692 167695 167708 167710 167713 167716 167721 167722 167727 167734 167735 167737 167740 167745 167746 167749 167753 167755 167760 167761 167765 167767 167772 167773 167780 167783 167785 167790 167792 167794 167795 167797 167798 167800 167805 167806 167822 167852 167867 167882 167884 167889 167890 167891 167895 167900 167915 167917 167921 167925 167926 167927 167974 167978 167982 167983 167986 167990 167992 167997 167999 168002 168004 168005 168009 168010 168011 168013 168018 168019 168020 168023 168025 168026 168028 168031 168032 168034 168035 168039 168040 168041 168043 168044 168046 168049 168052 168057 168058 168061 168062 168066 168067 168068 168070 168073 168076 168081 168082 168083 168085 168086 168088 168089 168091 168094 168097 168102 168107 168110 168114 168115 168116 168118 168121 168124 168129 168130 168131 168133 168138 168139 168143 168147 168148 168149 168151 168152 168154 168157 168158 168160 168161 168165 168170 168173 168177 168178 168179 168181 168182 168184 168185 168189 168194 168197 168201 168202 168206 168208 168211 168212 168214 168215 168219 168220 168221 168224 168226 168227 168229 168230 168234 168235 168236 168239 168243 168244 168245 168249 168254 168256 168259 168264 168265 168268 168273 168274 168275 169172 169174 169175 169177 169178 169182 169186 169187 169201 169202 169217 169221 169222 169223 169225 169226 169230 169231 169234 169235 170878 170879 170881 171544 171545 171557 171563 171566 171578 171580 171583 171584 171747 171752 171756 171761 171763 171764 171768 171773 171775 171776 171778 171781 171786 171787 171788 171790 171793 171806 171808 171811 171814 171819 171820 171825 171832 171833 171835 171838 171843 171844 171847 171851 171853 171858 171859 171863 171865 171870 171871 171878 171881 171883 171888 171890 171892 171893 171895 171896 171898 171903 171904 171920 171950 171965 171980 171982 171987 171988 171989 171993 171998 172013 172015 172019 172023 172024 172025 172072 172076 172080 172081 172084 172088 172090 172095 172097 172100 172102 172103 172107 172108 172109 172111 172116 172117 172118 172121 172123 172124 172126 172129 172130 172132 172133 172137 172138 172139 172141 172142 172144 172147 172150 172155 172156 172159 172160 172164 172165 172166 172168 172171 172174 172179 172180 172181 172183 172184 172186 172187 172189 172192 172195 172200 172205 172208 172212 172213 172214 172216 172219 172222 172227 172228 172229 172231 172236 172237 172241 172245 172246 172247 172249 172250 172252 172255 172256 172258 172259 172263 172268 172271 172275 172276 172277 172279 172280 172282 172283 172287 172292 172295 172299 172300 172304 172306 172309 172310 172312 172313 172317 172318 172319 172322 172324 172325 172327 172328 172332 172333 172334 172337 172341 172342 172343 172347 172352 172354 172357 172362 172363 172366 172371 172372 172373 173270 173272 173273 173275 173276 173280 173284 173285 173299 173300 173315 173319 173320 173321 173323 173324 173328 173329 173332 173333 174976 174977 174979 175642 175643 175655 175661 175664 175676 175678 175681 175682 175845 175850 175854 175859 175861 175862 175866 175871 175873 175874 175876 175879 175884 175885 175886 175888 175891 175904 175906 175909 175912 175917 175918 175923 175930 175931 175933 175936 175941 175942 175945 175949 175951 175956 175957 175961 175963 175968 175969 175976 175979 175981 175986 175988 175990 175991 175993 175994 175996 176001 176002 176018 176048 176063 176078 176080 176085 176086 176087 176091 176096 176111 176113 176117 176121 176122 176123 176170 176174 176178 176179 176182 176186 176188 176193 176195 176198 176200 176201 176205 176206 176207 176209 176214 176215 176216 176219 176221 176222 176224 176227 176228 176230 176231 176235 176236 176237 176239 176240 176242 176245 176248 176253 176254 176257 176258 176262 176263 176264 176266 176269 176272 176277 176278 176279 176281 176282 176284 176285 176287 176290 176293 176298 176303 176306 176310 176311 176312 176314 176317 176320 176325 176326 176327 176329 176334 176335 176339 176343 176344 176345 176347 176348 176350 176353 176354 176356 176357 176361 176366 176369 176373 176374 176375 176377 176378 176380 176381 176385 176390 176393 176397 176398 176402 176404 176407 176408 176410 176411 176415 176416 176417 176420 176422 176423 176425 176426 176430 176431 176432 176435 176439 176440 176441 176445 176450 176452 176455 176460 176461 176464 176469 176470 176471 177368 177370 177371 177373 177374 177378 177382 177383 177397 177398 177413 177417 177418 177419 177421 177422 177426 177427 177430 177431 179074 179075 179077 179740 179741 179753 179759 179762 179774 179776 179779 179780 179943 179948 179952 179957 179959 179960 179964 179969 179971 179972 179974 179977 179982 179983 179984 179986 179989 180002 180004 180007 180010 180015 180016 180021 180028 180029 180031 180034 180039 180040 180043 180047 180049 180054 180055 180059 180061 180066 180067 180074 180077 180079 180084 180086 180088 180089 180091 180092 180094 180099 180100 180116 180146 180161 180176 180178 180183 180184 180185 180189 180194 180209 180211 180215 180219 180220 180221 180268 180272 180276 180277 180280 180284 180286 180291 180293 180296 180298 180299 180303 180304 180305 180307 180312 180313 180314 180317 180319 180320 180322 180325 180326 180328 180329 180333 180334 180335 180337 180338 180340 180343 180346 180351 180352 180355 180356 180360 180361 180362 180364 180367 180370 180375 180376 180377 180379 180380 180382 180383 180385 180388 180391 180396 180401 180404 180408 180409 180410 180412 180415 180418 180423 180424 180425 180427 180432 180433 180437 180441 180442 180443 180445 180446 180448 180451 180452 180454 180455 180459 180464 180467 180471 180472 180473 180475 180476 180478 180479 180483 180488 180491 180495 180496 180500 180502 180505 180506 180508 180509 180513 180514 180515 180518 180520 180521 180523 180524 180528 180529 180530 180533 180537 180538 180539 180543 180548 180550 180553 180558 180559 180562 180567 180568 180569 181466 181468 181469 181471 181472 181476 181480 181481 181495 181496 181511 181515 181516 181517 181519 181520 181524 181525 181528 181529 183172 183173 183175 183838 183839 183851 183857 183860 183872 183874 183877 183878 184041 184046 184050 184055 184057 184058 184062 184067 184069 184070 184072 184075 184080 184081 184082 184084 184087 184100 184102 184105 184108 184113 184114 184119 184126 184127 184129 184132 184137 184138 184141 184145 184147 184152 184153 184157 184159 184164 184165 184172 184175 184177 184182 184184 184186 184187 184189 184190 184192 184197 184198 184214 184244 184259 184274 184276 184281 184282 184283 184287 184292 184307 184309 184313 184317 184318 184319 184366 184370 184374 184375 184378 184382 184384 184389 184391 184394 184396 184397 184401 184402 184403 184405 184410 184411 184412 184415 184417 184418 184420 184423 184424 184426 184427 184431 184432 184433 184435 184436 184438 184441 184444 184449 184450 184453 184454 184458 184459 184460 184462 184465 184468 184473 184474 184475 184477 184478 184480 184481 184483 184486 184489 184494 184499 184502 184506 184507 184508 184510 184513 184516 184521 184522 184523 184525 184530 184531 184535 184539 184540 184541 184543 184544 184546 184549 184550 184552 184553 184557 184562 184565 184569 184570 184571 184573 184574 184576 184577 184581 184586 184589 184593 184594 184598 184600 184603 184604 184606 184607 184611 184612 184613 184616 184618 184619 184621 184622 184626 184627 184628 184631 184635 184636 184637 184641 184646 184648 184651 184656 184657 184660 184665 184666 184667 185564 185566 185567 185569 185570 185574 185578 185579 185593 185594 185609 185613 185614 185615 185617 185618 185622 185623 185626 185627 187270 187271 187273 187936 187937 187949 187955 187958 187970 187972 187975 187976 188139 188144 188148 188153 188155 188156 188160 188165 188167 188168 188170 188173 188178 188179 188180 188182 188185 188198 188200 188203 188206 188211 188212 188217 188224 188225 188227 188230 188235 188236 188239 188243 188245 188250 188251 188255 188257 188262 188263 188270 188273 188275 188280 188282 188284 188285 188287 188288 188290 188295 188296 188312 188342 188357 188372 188374 188379 188380 188381 188385 188390 188405 188407 188411 188415 188416 188417 188464 188468 188472 188473 188476 188480 188482 188487 188489 188492 188494 188495 188499 188500 188501 188503 188508 188509 188510 188513 188515 188516 188518 188521 188522 188524 188525 188529 188530 188531 188533 188534 188536 188539 188542 188547 188548 188551 188552 188556 188557 188558 188560 188563 188566 188571 188572 188573 188575 188576 188578 188579 188581 188584 188587 188592 188597 188600 188604 188605 188606 188608 188611 188614 188619 188620 188621 188623 188628 188629 188633 188637 188638 188639 188641 188642 188644 188647 188648 188650 188651 188655 188660 188663 188667 188668 188669 188671 188672 188674 188675 188679 188684 188687 188691 188692 188696 188698 188701 188702 188704 188705 188709 188710 188711 188714 188716 188717 188719 188720 188724 188725 188726 188729 188733 188734 188735 188739 188744 188746 188749 188754 188755 188758 188763 188764 188765 189662 189664 189665 189667 189668 189672 189676 189677 189691 189692 189707 189711 189712 189713 189715 189716 189720 189721 189724 189725 191368 191369 191371 192034 192035 192047 192053 192056 192068 192070 192073 192074 192237 192242 192246 192251 192253 192254 192258 192263 192265 192266 192268 192271 192276 192277 192278 192280 192283 192296 192298 192301 192304 192309 192310 192315 192322 192323 192325 192328 192333 192334 192337 192341 192343 192348 192349 192353 192355 192360 192361 192368 192371 192373 192378 192380 192382 192383 192385 192386 192388 192393 192394 192410 192440 192455 192470 192472 192477 192478 192479 192483 192488 192503 192505 192509 192513 192514 192515 192562 192566 192570 192571 192574 192578 192580 192585 192587 192590 192592 192593 192597 192598 192599 192601 192606 192607 192608 192611 192613 192614 192616 192619 192620 192622 192623 192627 192628 192629 192631 192632 192634 192637 192640 192645 192646 192649 192650 192654 192655 192656 192658 192661 192664 192669 192670 192671 192673 192674 192676 192677 192679 192682 192685 192690 192695 192698 192702 192703 192704 192706 192709 192712 192717 192718 192719 192721 192726 192727 192731 192735 192736 192737 192739 192740 192742 192745 192746 192748 192749 192753 192758 192761 192765 192766 192767 192769 192770 192772 192773 192777 192782 192785 192789 192790 192794 192796 192799 192800 192802 192803 192807 192808 192809 192812 192814 192815 192817 192818 192822 192823 192824 192827 192831 192832 192833 192837 192842 192844 192847 192852 192853 192856 192861 192862 192863 193760 193762 193763 193765 193766 193770 193774 193775 193789 193790 193805 193809 193810 193811 193813 193814 193818 193819 193822 193823 195466 195467 195469 196133 196145 196151 196154 196165 196166 196168 196171 196172 196335 196340 196344 196349 196351 196352 196356 196361 196363 196364 196366 196369 196374 196375 196376 196378 196381 196394 196396 196399 196402 196407 196408 196413 196420 196421 196423 196426 196431 196432 196435 196439 196441 196446 196447 196451 196453 196458 196459 196466 196469 196471 196476 196478 196480 196481 196483 196484 196486 196491 196492 196508 196538 196553 196568 196570 196575 196576 196577 196581 196586 196601 196603 196607 196611 196612 196613 196660 196664 196668 196669 196672 196676 196678 196683 196685 196688 196690 196691 196695 196696 196697 196699 196704 196705 196706 196709 196711 196712 196714 196717 196718 196720 196721 196725 196726 196727 196729 196730 196732 196735 196738 196743 196744 196747 196748 196752 196753 196754 196756 196759 196762 196767 196768 196769 196772 196774 196775 196777 196778 196780 196783 196788 196793 196796 196800 196801 196802 196804 196807 196810 196811 196815 196816 196817 196819 196820 196824 196825 196829 196833 196834 196835 196837 196838 196840 196843 196844 196846 196847 196851 196852 196856 196858 196859 196863 196864 196865 196867 196870 196871 196875 196880 196883 196887 196888 196892 196894 196897 196898 196900 196901 196905 196906 196907 196909 196910 196912 196913 196915 196916 196920 196921 196922 196925 196929 196930 196931 196935 196940 196942 196945 196950 196951 196954 196959 196960 196961 197858 197860 197861 197863 197864 197868 197872 197873 197887 197888 197903 197907 197908 197909 197911 197912 197916 197917 197920 197921 199564 199565 199567 200231 200252 200263 200264 200266 200267 200269 200270 200433 200438 200442 200447 200449 200450 200454 200459 200461 200462 200464 200467 200472 200473 200476 200479 200492 200494 200497 200500 200505 200506 200511 200519 200521 200524 200529 200530 200533 200537 200539 200544 200545 200549 200551 200556 200557 200564 200567 200569 200574 200576 200578 200579 200581 200582 200584 200589 200590 200606 200636 200651 200666 200668 200673 200674 200675 200679 200684 200699 200701 200705 200709 200710 200711 200758 200762 200766 200767 200770 200774 200776 200781 200783 200786 200788 200793 200794 200795 200797 200802 200803 200804 200807 200813 200815 200818 200823 200824 200825 200827 200830 200833 200836 200841 200842 200845 200850 200851 200852 200855 200857 200860 200865 200866 200873 200875 200878 200881 200886 200891 200894 200898 200899 200903 200905 200909 200913 200914 200918 200922 200923 200927 200931 200932 200939 200941 200944 200949 200954 200957 200961 200962 200969 200973 200978 200981 200985 200986 200990 200999 201003 201004 201014 201018 201019 201023 201027 201028 201029 201033 201038 201040 201043 201048 201049 201052 201057 201058 201059 201956 201958 201959 201961 201962 201966 201968 0

Verifier Data 

OK	10899

Watcher Data 

runsolver Copyright (C) 2010-2011 Olivier ROUSSEL

This is runsolver version 3.3.1 (svn: 988)

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3495148-1307806205/watcher-3495148-1307806205 -o /tmp/evaluation-result-3495148-1307806205/solver-3495148-1307806205 -C 1800 -W 1850 -M 7680 OptimuS_release HOME/instance-3495148-1307806205.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: 3.99 3.21 2.60 5/189 25841
/proc/meminfo: memFree=30646668/32950928 swapFree=67050648/67111528
[pid=25841] ppid=25839 vsize=23180 CPUtime=0 cores=5,7
/proc/25841/stat : 25841 (OptimuS_release) R 25839 25841 23549 0 -1 4202496 1551 0 0 0 0 0 0 0 25 0 1 0 892219183 23736320 1490 33554432000 4194304 4279399 140736799960288 18446744073709551615 251814298026 0 0 4096 8388610 0 0 0 17 5 0 0 0
/proc/25841/statm: 5849 1490 223 21 0 2486 0

[startup+0.0763719 s]
/proc/loadavg: 3.99 3.21 2.60 5/189 25841
/proc/meminfo: memFree=30646668/32950928 swapFree=67050648/67111528
[pid=25841] ppid=25839 vsize=52700 CPUtime=0.07 cores=5,7
/proc/25841/stat : 25841 (OptimuS_release) R 25839 25841 23549 0 -1 4202496 9267 0 0 0 6 1 0 0 25 0 1 0 892219183 53964800 8925 33554432000 4194304 4279399 140736799960288 18446744073709551615 4221595 0 0 4096 8388610 0 0 0 17 5 0 0 0
/proc/25841/statm: 13175 8926 239 21 0 9812 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 52700

[startup+0.10037 s]
/proc/loadavg: 3.99 3.21 2.60 5/189 25841
/proc/meminfo: memFree=30646668/32950928 swapFree=67050648/67111528
[pid=25841] ppid=25839 vsize=57612 CPUtime=0.09 cores=5,7
/proc/25841/stat : 25841 (OptimuS_release) R 25839 25841 23549 0 -1 4202496 10470 0 0 0 8 1 0 0 25 0 1 0 892219183 58994688 10128 33554432000 4194304 4279399 140736799960288 18446744073709551615 251813900997 0 0 4096 8388610 0 0 0 17 5 0 0 0
/proc/25841/statm: 14403 10129 239 21 0 11040 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 57612

[startup+0.300337 s]
/proc/loadavg: 3.99 3.21 2.60 5/189 25841
/proc/meminfo: memFree=30646668/32950928 swapFree=67050648/67111528
[pid=25841] ppid=25839 vsize=86672 CPUtime=0.28 cores=5,7
/proc/25841/stat : 25841 (OptimuS_release) R 25839 25841 23549 0 -1 4202496 17002 0 0 0 26 2 0 0 25 0 1 0 892219183 88752128 16659 33554432000 4194304 4279399 140736799960288 18446744073709551615 4209224 0 0 4096 8388610 0 0 0 17 5 0 0 0
/proc/25841/statm: 21668 16659 251 21 0 18305 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 86672

[startup+0.700269 s]
/proc/loadavg: 3.99 3.21 2.60 5/189 25841
/proc/meminfo: memFree=30646668/32950928 swapFree=67050648/67111528
[pid=25841] ppid=25839 vsize=86672 CPUtime=0.68 cores=5,7
/proc/25841/stat : 25841 (OptimuS_release) R 25839 25841 23549 0 -1 4202496 17002 0 0 0 66 2 0 0 25 0 1 0 892219183 88752128 16659 33554432000 4194304 4279399 140736799960288 18446744073709551615 4208586 0 0 4096 8388610 0 0 0 17 5 0 0 0
/proc/25841/statm: 21668 16659 251 21 0 18305 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 86672

[startup+1.50013 s]
/proc/loadavg: 3.99 3.21 2.60 5/190 25843
/proc/meminfo: memFree=30543392/32950928 swapFree=67050648/67111528
[pid=25841] ppid=25839 vsize=86672 CPUtime=1.48 cores=5,7
/proc/25841/stat : 25841 (OptimuS_release) R 25839 25841 23549 0 -1 4202496 17006 0 0 0 146 2 0 0 25 0 1 0 892219183 88752128 16663 33554432000 4194304 4279399 140736799960288 18446744073709551615 4209557 0 0 4096 8388610 0 0 0 17 5 0 0 0
/proc/25841/statm: 21668 16663 251 21 0 18305 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 86672

[startup+3.10087 s]
/proc/loadavg: 3.99 3.22 2.61 5/190 25843
/proc/meminfo: memFree=30498724/32950928 swapFree=67050648/67111528
[pid=25841] ppid=25839 vsize=86808 CPUtime=3.09 cores=5,7
/proc/25841/stat : 25841 (OptimuS_release) R 25839 25841 23549 0 -1 4202496 17027 0 0 0 307 2 0 0 25 0 1 0 892219183 88891392 16684 33554432000 4194304 4279399 140736799960288 18446744073709551615 4210060 0 0 4096 8388610 0 0 0 17 5 0 0 0
/proc/25841/statm: 21702 16684 251 21 0 18339 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 86808

[startup+6.30033 s]
/proc/loadavg: 3.99 3.22 2.61 5/190 25843
/proc/meminfo: memFree=30377808/32950928 swapFree=67050648/67111528
[pid=25841] ppid=25839 vsize=87104 CPUtime=6.29 cores=5,7
/proc/25841/stat : 25841 (OptimuS_release) R 25839 25841 23549 0 -1 4202496 17102 0 0 0 626 3 0 0 25 0 1 0 892219183 89194496 16755 33554432000 4194304 4279399 140736799960288 18446744073709551615 4208301 0 0 4096 8388610 0 0 0 17 5 0 0 0
/proc/25841/statm: 21776 16755 251 21 0 18413 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 87104

[startup+12.7003 s]
/proc/loadavg: 3.99 3.25 2.62 5/190 25843
/proc/meminfo: memFree=30303156/32950928 swapFree=67050648/67111528
[pid=25841] ppid=25839 vsize=299888 CPUtime=12.69 cores=5,7
/proc/25841/stat : 25841 (OptimuS_release) R 25839 25841 23549 0 -1 4202496 56489 0 0 0 1262 7 0 0 25 0 1 0 892219183 307085312 55864 33554432000 4194304 4279399 140736799960288 18446744073709551615 4242261 0 0 4096 8388610 0 0 0 17 5 0 0 0
/proc/25841/statm: 74972 55864 270 21 0 71609 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 299888

[startup+25.5011 s]
/proc/loadavg: 3.99 3.27 2.64 5/190 25843
/proc/meminfo: memFree=29914404/32950928 swapFree=67050648/67111528
[pid=25841] ppid=25839 vsize=432936 CPUtime=25.49 cores=5,7
/proc/25841/stat : 25841 (OptimuS_release) R 25839 25841 23549 0 -1 4202496 84741 0 0 0 2539 10 0 0 25 0 1 0 892219183 443326464 84110 33554432000 4194304 4279399 140736799960288 18446744073709551615 251817699893 0 0 4096 8388610 0 0 0 17 5 0 0 0
/proc/25841/statm: 108234 84110 270 21 0 104871 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 432936

[startup+51.1008 s]
/proc/loadavg: 3.99 3.33 2.67 5/190 25844
/proc/meminfo: memFree=29337896/32950928 swapFree=67050648/67111528
[pid=25841] ppid=25839 vsize=648664 CPUtime=51.09 cores=5,7
/proc/25841/stat : 25841 (OptimuS_release) R 25839 25841 23549 0 -1 4202496 118543 0 0 0 5095 14 0 0 25 0 1 0 892219183 664231936 117906 33554432000 4194304 4279399 140736799960288 18446744073709551615 4209513 0 0 4096 8388610 0 0 0 17 5 0 0 0
/proc/25841/statm: 162166 117906 270 21 0 158803 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 648664

[startup+102.307 s]
/proc/loadavg: 3.99 3.44 2.75 5/190 25845
/proc/meminfo: memFree=28554328/32950928 swapFree=67050648/67111528
[pid=25841] ppid=25839 vsize=998648 CPUtime=102.3 cores=5,7
/proc/25841/stat : 25841 (OptimuS_release) R 25839 25841 23549 0 -1 4202496 181550 0 0 0 10208 22 0 0 25 0 1 0 892219183 1022615552 180903 33554432000 4194304 4279399 140736799960288 18446744073709551615 4242683 0 0 4096 8388610 0 0 0 17 5 0 0 0
/proc/25841/statm: 249662 180903 270 21 0 246299 0
Current children cumulated CPU time (s) 102.3
Current children cumulated vsize (KiB) 998648

[startup+162.301 s]
/proc/loadavg: 3.99 3.54 2.82 5/190 25847
/proc/meminfo: memFree=27541100/32950928 swapFree=67050648/67111528
[pid=25841] ppid=25839 vsize=1567028 CPUtime=162.29 cores=5,7
/proc/25841/stat : 25841 (OptimuS_release) R 25839 25841 23549 0 -1 4202496 282632 0 0 0 16196 33 0 0 25 0 1 0 892219183 1604636672 281974 33554432000 4194304 4279399 140736799960288 18446744073709551615 4242683 0 0 4096 8388610 0 0 0 17 5 0 0 0
/proc/25841/statm: 391757 281974 270 21 0 388394 0
Current children cumulated CPU time (s) 162.29
Current children cumulated vsize (KiB) 1567028

[startup+222.301 s]
/proc/loadavg: 3.99 3.62 2.89 5/190 25848
/proc/meminfo: memFree=26088404/32950928 swapFree=67050648/67111528
[pid=25841] ppid=25839 vsize=2490032 CPUtime=222.29 cores=5,7
/proc/25841/stat : 25841 (OptimuS_release) R 25839 25841 23549 0 -1 4202496 441119 0 0 0 22177 52 0 0 25 0 1 0 892219183 2549792768 440437 33554432000 4194304 4279399 140736799960288 18446744073709551615 4236209 0 0 4096 8388610 0 0 0 17 5 0 0 0
/proc/25841/statm: 622508 440437 270 21 0 619145 0
Current children cumulated CPU time (s) 222.29
Current children cumulated vsize (KiB) 2490032

[startup+282.301 s]
/proc/loadavg: 3.99 3.68 2.95 5/190 25850
/proc/meminfo: memFree=26771620/32950928 swapFree=67050648/67111528
[pid=25841] ppid=25839 vsize=1000824 CPUtime=282.3 cores=5,7
/proc/25841/stat : 25841 (OptimuS_release) R 25839 25841 23549 0 -1 4202496 737229 0 0 0 28140 90 0 0 25 0 1 0 892219183 1024843776 240989 33554432000 4194304 4279399 140736799960288 18446744073709551615 4242240 0 0 4096 8388610 0 0 0 17 5 0 0 0
/proc/25841/statm: 250206 240989 270 21 0 246843 0
Current children cumulated CPU time (s) 282.3
Current children cumulated vsize (KiB) 1000824

[startup+342.301 s]
/proc/loadavg: 4.08 3.77 3.03 5/190 25852
/proc/meminfo: memFree=25499116/32950928 swapFree=67050648/67111528
[pid=25841] ppid=25839 vsize=2491224 CPUtime=342.3 cores=5,7
/proc/25841/stat : 25841 (OptimuS_release) R 25839 25841 23549 0 -1 4202496 883815 0 0 0 34123 107 0 0 25 0 1 0 892219183 2551013376 387562 33554432000 4194304 4279399 140736799960288 18446744073709551615 4235634 0 0 4096 8388610 0 0 0 17 5 0 0 0
/proc/25841/statm: 622806 387562 270 21 0 619443 0
Current children cumulated CPU time (s) 342.3
Current children cumulated vsize (KiB) 2491224

[startup+402.301 s]
/proc/loadavg: 4.03 3.81 3.08 5/190 25853
/proc/meminfo: memFree=24561528/32950928 swapFree=67050648/67111528
[pid=25841] ppid=25839 vsize=2491524 CPUtime=402.3 cores=5,7
/proc/25841/stat : 25841 (OptimuS_release) R 25839 25841 23549 0 -1 4202496 1042984 0 0 0 40102 128 0 0 25 0 1 0 892219183 2551320576 546717 33554432000 4194304 4279399 140736799960288 18446744073709551615 4258239 0 0 4096 8388610 0 0 0 17 5 0 0 0
/proc/25841/statm: 622881 546717 270 21 0 619518 0
Current children cumulated CPU time (s) 402.3
Current children cumulated vsize (KiB) 2491524

[startup+462.301 s]
/proc/loadavg: 4.01 3.84 3.14 5/190 25855
/proc/meminfo: memFree=23520880/32950928 swapFree=67050648/67111528
[pid=25841] ppid=25839 vsize=3990840 CPUtime=462.3 cores=5,7
/proc/25841/stat : 25841 (OptimuS_release) R 25839 25841 23549 0 -1 4202496 1173471 0 0 0 46086 144 0 0 25 0 1 0 892219183 4086620160 677189 33554432000 4194304 4279399 140736799960288 18446744073709551615 4258464 0 0 4096 8388610 0 0 0 17 5 0 0 0
/proc/25841/statm: 997710 677189 270 21 0 994347 0
Current children cumulated CPU time (s) 462.3
Current children cumulated vsize (KiB) 3990840

[startup+522.301 s]
/proc/loadavg: 4.06 3.88 3.19 5/190 25856
/proc/meminfo: memFree=24671444/32950928 swapFree=67050648/67111528
[pid=25841] ppid=25839 vsize=1570556 CPUtime=522.3 cores=5,7
/proc/25841/stat : 25841 (OptimuS_release) R 25839 25841 23549 0 -1 4202496 1464921 0 0 0 52041 189 0 0 25 0 1 0 892219183 1608249344 290796 33554432000 4194304 4279399 140736799960288 18446744073709551615 4242261 0 0 4096 8388610 0 0 0 17 5 0 0 0
/proc/25841/statm: 392639 290796 270 21 0 389276 0
Current children cumulated CPU time (s) 522.3
Current children cumulated vsize (KiB) 1570556

[startup+582.3 s]
/proc/loadavg: 4.02 3.90 3.25 5/190 25858
/proc/meminfo: memFree=23534708/32950928 swapFree=67050648/67111528
[pid=25841] ppid=25839 vsize=2493404 CPUtime=582.3 cores=5,7
/proc/25841/stat : 25841 (OptimuS_release) R 25839 25841 23549 0 -1 4202496 1625727 0 0 0 58020 210 0 0 25 0 1 0 892219183 2553245696 451588 33554432000 4194304 4279399 140736799960288 18446744073709551615 4242154 0 0 4096 8388610 0 0 0 17 5 0 0 0
/proc/25841/statm: 623351 451588 270 21 0 619988 0
Current children cumulated CPU time (s) 582.3
Current children cumulated vsize (KiB) 2493404

[startup+642.3 s]
/proc/loadavg: 4.01 3.92 3.29 5/190 25860
/proc/meminfo: memFree=22154808/32950928 swapFree=67050648/67111528
[pid=25841] ppid=25839 vsize=2493992 CPUtime=642.3 cores=5,7
/proc/25841/stat : 25841 (OptimuS_release) R 25839 25841 23549 0 -1 4202496 1779080 0 0 0 64001 229 0 0 25 0 1 0 892219183 2553847808 604932 33554432000 4194304 4279399 140736799960288 18446744073709551615 4259163 0 0 4096 8388610 0 0 0 17 5 0 0 0
/proc/25841/statm: 623498 604932 270 21 0 620135 0
Current children cumulated CPU time (s) 642.3
Current children cumulated vsize (KiB) 2493992

[startup+702.3 s]
/proc/loadavg: 4.00 3.93 3.33 5/190 25899
/proc/meminfo: memFree=29954112/32950928 swapFree=67050648/67111528
[pid=25841] ppid=25839 vsize=1004404 CPUtime=702.3 cores=5,7
/proc/25841/stat : 25841 (OptimuS_release) R 25839 25841 23549 0 -1 4202496 2010171 0 0 0 69966 264 0 0 25 0 1 0 892219183 1028509696 167619 33554432000 4194304 4279399 140736799960288 18446744073709551615 4242193 0 0 4096 8388610 0 0 0 17 5 0 0 0
/proc/25841/statm: 251101 167619 270 21 0 247738 0
Current children cumulated CPU time (s) 702.3
Current children cumulated vsize (KiB) 1004404

[startup+762.307 s]
/proc/loadavg: 4.00 3.94 3.37 5/190 25901
/proc/meminfo: memFree=29066980/32950928 swapFree=67050648/67111528
[pid=25841] ppid=25839 vsize=1572384 CPUtime=762.31 cores=5,7
/proc/25841/stat : 25841 (OptimuS_release) R 25839 25841 23549 0 -1 4202496 2101924 0 0 0 75956 275 0 0 25 0 1 0 892219183 1610121216 259364 33554432000 4194304 4279399 140736799960288 18446744073709551615 4241985 0 0 4096 8388610 0 0 0 17 5 0 0 0
/proc/25841/statm: 393096 259364 270 21 0 389733 0
Current children cumulated CPU time (s) 762.31
Current children cumulated vsize (KiB) 1572384

[startup+822.301 s]
/proc/loadavg: 4.00 3.95 3.41 5/190 25902
/proc/meminfo: memFree=28889628/32950928 swapFree=67050648/67111528
[pid=25841] ppid=25839 vsize=1572740 CPUtime=822.3 cores=5,7
/proc/25841/stat : 25841 (OptimuS_release) R 25839 25841 23549 0 -1 4202496 2186320 0 0 0 81944 286 0 0 25 0 1 0 892219183 1610485760 343754 33554432000 4194304 4279399 140736799960288 18446744073709551615 4241985 0 0 4096 8388610 0 0 0 17 5 0 0 0
/proc/25841/statm: 393185 343754 270 21 0 389822 0
Current children cumulated CPU time (s) 822.3
Current children cumulated vsize (KiB) 1572740

[startup+882.301 s]
/proc/loadavg: 4.00 3.95 3.44 5/190 25904
/proc/meminfo: memFree=28477304/32950928 swapFree=67050648/67111528
[pid=25841] ppid=25839 vsize=2495380 CPUtime=882.31 cores=5,7
/proc/25841/stat : 25841 (OptimuS_release) R 25839 25841 23549 0 -1 4202496 2285727 0 0 0 87933 298 0 0 25 0 1 0 892219183 2555269120 443143 33554432000 4194304 4279399 140736799960288 18446744073709551615 4260461 0 0 4096 8388610 0 0 0 17 5 0 0 0
/proc/25841/statm: 623845 443143 270 21 0 620482 0
Current children cumulated CPU time (s) 882.31
Current children cumulated vsize (KiB) 2495380

[startup+942.301 s]
/proc/loadavg: 4.13 3.99 3.48 5/190 25906
/proc/meminfo: memFree=28019464/32950928 swapFree=67050648/67111528
[pid=25841] ppid=25839 vsize=2496032 CPUtime=942.31 cores=5,7
/proc/25841/stat : 25841 (OptimuS_release) R 25839 25841 23549 0 -1 4202496 2370119 0 0 0 93921 310 0 0 25 0 1 0 892219183 2555936768 527526 33554432000 4194304 4279399 140736799960288 18446744073709551615 4260368 0 0 4096 8388610 0 0 0 17 5 0 0 0
/proc/25841/statm: 624008 527526 270 21 0 620645 0
Current children cumulated CPU time (s) 942.31
Current children cumulated vsize (KiB) 2496032

[startup+1002.3 s]
/proc/loadavg: 4.05 3.99 3.51 5/190 25907
/proc/meminfo: memFree=29653504/32950928 swapFree=67050648/67111528
[pid=25841] ppid=25839 vsize=657348 CPUtime=1002.31 cores=5,7
/proc/25841/stat : 25841 (OptimuS_release) R 25839 25841 23549 0 -1 4202496 2545536 0 0 0 99892 339 0 0 25 0 1 0 892219183 673124352 153446 33554432000 4194304 4279399 140736799960288 18446744073709551615 4241913 0 0 4096 8388610 0 0 0 17 5 0 0 0
/proc/25841/statm: 164337 153446 270 21 0 160974 0
Current children cumulated CPU time (s) 1002.31
Current children cumulated vsize (KiB) 657348

[startup+1062.3 s]
/proc/loadavg: 4.02 3.99 3.54 5/190 25909
/proc/meminfo: memFree=29360832/32950928 swapFree=67050648/67111528
[pid=25841] ppid=25839 vsize=1007040 CPUtime=1062.31 cores=5,7
/proc/25841/stat : 25841 (OptimuS_release) R 25839 25841 23549 0 -1 4202496 2637893 0 0 0 105881 350 0 0 25 0 1 0 892219183 1031208960 245800 33554432000 4194304 4279399 140736799960288 18446744073709551615 4242508 0 0 4096 8388610 0 0 0 17 5 0 0 0
/proc/25841/statm: 251760 245800 270 21 0 248397 0
Current children cumulated CPU time (s) 1062.31
Current children cumulated vsize (KiB) 1007040

[startup+1122.3 s]
/proc/loadavg: 4.04 4.00 3.57 5/190 25910
/proc/meminfo: memFree=28981616/32950928 swapFree=67050648/67111528
[pid=25841] ppid=25839 vsize=1574944 CPUtime=1122.31 cores=5,7
/proc/25841/stat : 25841 (OptimuS_release) R 25839 25841 23549 0 -1 4202496 2715218 0 0 0 111871 360 0 0 25 0 1 0 892219183 1612742656 323116 33554432000 4194304 4279399 140736799960288 18446744073709551615 4237970 0 0 4096 8388610 0 0 0 17 5 0 0 0
/proc/25841/statm: 393736 323116 270 21 0 390373 0
Current children cumulated CPU time (s) 1122.31
Current children cumulated vsize (KiB) 1574944

[startup+1182.3 s]
/proc/loadavg: 4.01 4.00 3.59 5/190 25912
/proc/meminfo: memFree=28878676/32950928 swapFree=67050648/67111528
[pid=25841] ppid=25839 vsize=1575552 CPUtime=1182.31 cores=5,7
/proc/25841/stat : 25841 (OptimuS_release) R 25839 25841 23549 0 -1 4202496 2776717 0 0 0 117864 367 0 0 25 0 1 0 892219183 1613365248 384603 33554432000 4194304 4279399 140736799960288 18446744073709551615 4237875 0 0 4096 8388610 0 0 0 17 5 0 0 0
/proc/25841/statm: 393888 384603 270 21 0 390525 0
Current children cumulated CPU time (s) 1182.31
Current children cumulated vsize (KiB) 1575552

[startup+1242.3 s]
/proc/loadavg: 4.00 4.00 3.62 5/190 25914
/proc/meminfo: memFree=28829916/32950928 swapFree=67050648/67111528
[pid=25841] ppid=25839 vsize=2498136 CPUtime=1242.31 cores=5,7
/proc/25841/stat : 25841 (OptimuS_release) R 25839 25841 23549 0 -1 4202496 2809971 0 0 0 123860 371 0 0 25 0 1 0 892219183 2558091264 417849 33554432000 4194304 4279399 140736799960288 18446744073709551615 4260730 0 0 4096 8388610 0 0 0 17 5 0 0 0
/proc/25841/statm: 624534 417849 270 21 0 621171 0
Current children cumulated CPU time (s) 1242.31
Current children cumulated vsize (KiB) 2498136

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

[startup+1254.3 s]
/proc/loadavg: 4.00 4.00 3.62 5/190 25914
/proc/meminfo: memFree=28760228/32950928 swapFree=67050648/67111528
[pid=25841] ppid=25839 vsize=2498136 CPUtime=1254.31 cores=5,7
/proc/25841/stat : 25841 (OptimuS_release) R 25839 25841 23549 0 -1 4202496 2813454 0 0 0 125060 371 0 0 25 0 1 0 892219183 2558091264 421332 33554432000 4194304 4279399 140736799960288 18446744073709551615 4260406 0 0 4096 8388610 0 0 0 17 5 0 0 0
/proc/25841/statm: 624534 421332 270 21 0 621171 0
Current children cumulated CPU time (s) 1254.31
Current children cumulated vsize (KiB) 2498136

[startup+1260.7 s]
/proc/loadavg: 4.00 4.00 3.62 5/190 25914
/proc/meminfo: memFree=28804620/32950928 swapFree=67050648/67111528
[pid=25841] ppid=25839 vsize=2498136 CPUtime=1260.71 cores=5,7
/proc/25841/stat : 25841 (OptimuS_release) R 25839 25841 23549 0 -1 4202496 2813777 0 0 0 125700 371 0 0 25 0 1 0 892219183 2558091264 421654 33554432000 4194304 4279399 140736799960288 18446744073709551615 4258054 0 0 4096 8388610 0 0 0 17 5 0 0 0
/proc/25841/statm: 624534 421654 270 21 0 621171 0
Current children cumulated CPU time (s) 1260.71
Current children cumulated vsize (KiB) 2498136

[startup+1263.91 s]
/proc/loadavg: 4.00 4.00 3.63 5/190 25914
/proc/meminfo: memFree=28682356/32950928 swapFree=67050648/67111528
[pid=25841] ppid=25839 vsize=2498136 CPUtime=1263.91 cores=5,7
/proc/25841/stat : 25841 (OptimuS_release) R 25839 25841 23549 0 -1 4202496 2814187 0 0 0 126020 371 0 0 25 0 1 0 892219183 2558091264 422064 33554432000 4194304 4279399 140736799960288 18446744073709551615 4258319 0 0 4096 8388610 0 0 0 17 5 0 0 0
/proc/25841/statm: 624534 422064 270 21 0 621171 0
Current children cumulated CPU time (s) 1263.91
Current children cumulated vsize (KiB) 2498136

[startup+1267.1 s]
/proc/loadavg: 4.00 4.00 3.63 5/190 25914
/proc/meminfo: memFree=28568152/32950928 swapFree=67050648/67111528
[pid=25841] ppid=25839 vsize=2498136 CPUtime=1267.11 cores=5,7
/proc/25841/stat : 25841 (OptimuS_release) R 25839 25841 23549 0 -1 4202496 2814799 0 0 0 126340 371 0 0 25 0 1 0 892219183 2558091264 422676 33554432000 4194304 4279399 140736799960288 18446744073709551615 4241600 0 0 4096 8388610 0 0 0 17 5 0 0 0
/proc/25841/statm: 624534 422676 270 21 0 621171 0
Current children cumulated CPU time (s) 1267.11
Current children cumulated vsize (KiB) 2498136

[startup+1267.9 s]
/proc/loadavg: 4.00 4.00 3.63 5/190 25914
/proc/meminfo: memFree=28568152/32950928 swapFree=67050648/67111528
[pid=25841] ppid=25839 vsize=2498136 CPUtime=1267.91 cores=5,7
/proc/25841/stat : 25841 (OptimuS_release) R 25839 25841 23549 0 -1 4202496 2814799 0 0 0 126420 371 0 0 25 0 1 0 892219183 2558091264 422676 33554432000 4194304 4279399 140736799960288 18446744073709551615 4226746 0 0 4096 8388610 0 0 0 17 5 0 0 0
/proc/25841/statm: 624534 422676 270 21 0 621171 0
Current children cumulated CPU time (s) 1267.91
Current children cumulated vsize (KiB) 2498136

[startup+1268.31 s]
/proc/loadavg: 4.00 4.00 3.63 5/190 25914
/proc/meminfo: memFree=28689796/32950928 swapFree=67050648/67111528
[pid=25841] ppid=25839 vsize=2498136 CPUtime=1268.31 cores=5,7
/proc/25841/stat : 25841 (OptimuS_release) R 25839 25841 23549 0 -1 4202496 2814799 0 0 0 126460 371 0 0 25 0 1 0 892219183 2558091264 422676 33554432000 4194304 4279399 140736799960288 18446744073709551615 4242135 0 0 4096 8388610 0 0 0 17 5 0 0 0
/proc/25841/statm: 624534 422676 270 21 0 621171 0
Current children cumulated CPU time (s) 1268.31
Current children cumulated vsize (KiB) 2498136

[startup+1268.5 s]
/proc/loadavg: 4.00 4.00 3.63 5/190 25914
/proc/meminfo: memFree=28689796/32950928 swapFree=67050648/67111528
[pid=25841] ppid=25839 vsize=2498136 CPUtime=1268.51 cores=5,7
/proc/25841/stat : 25841 (OptimuS_release) R 25839 25841 23549 0 -1 4202496 2814799 0 0 0 126480 371 0 0 25 0 1 0 892219183 2558091264 422676 33554432000 4194304 4279399 140736799960288 18446744073709551615 4260457 0 0 4096 8388610 0 0 0 17 5 0 0 0
/proc/25841/statm: 624534 422676 270 21 0 621171 0
Current children cumulated CPU time (s) 1268.51
Current children cumulated vsize (KiB) 2498136

Child status: 20
Real time (s): 1268.58
CPU time (s): 1268.6
CPU user time (s): 1264.81
CPU system time (s): 3.78542
CPU usage (%): 100.001
Max. virtual memory (cumulated for all children) (KiB): 4551600

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

runsolver used 2.06669 second user time and 4.85726 second system time

The end

Launcher Data 

Begin job on node126 at 2011-06-11 17:30:05
IDJOB=3495148
IDBENCH=82464
IDSOLVER=1987
FILE ID=node126/3495148-1307806205
RUNJOBID= node126-1307805814-25624
PBS_JOBID= 13551024
Free space on /tmp= 74152 MiB

SOLVER NAME= OptimuS p100_source
BENCH NAME= SAT11/application/jarvisalo/HWMCC10-combination-timeframe-expansion/hwmcc10-timeframe-expansion-k50-nusmvguidancep1-tseitin.cnf
COMMAND LINE= OptimuS_release BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3495148-1307806205/watcher-3495148-1307806205 -o /tmp/evaluation-result-3495148-1307806205/solver-3495148-1307806205 -C 1800 -W 1850 -M 7680  OptimuS_release HOME/instance-3495148-1307806205.cnf

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

MD5SUM BENCH= b2267b143035244a66de95533c1faeb9
RANDOM SEED=1921635234

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

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:     32950928 kB
MemFree:      30648080 kB
Buffers:        298264 kB
Cached:         913900 kB
SwapCached:      14888 kB
Active:        1376884 kB
Inactive:       723720 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32950928 kB
LowFree:      30648080 kB
SwapTotal:    67111528 kB
SwapFree:     67050648 kB
Dirty:            8784 kB
Writeback:           0 kB
AnonPages:      885808 kB
Mapped:           9592 kB
Slab:           134264 kB
PageTables:       6908 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83586992 kB
Committed_AS:  1345928 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= 74156 MiB
End job on node126 at 2011-06-11 17:51:13