Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
MinisatID 2.4.8-gmp | OPT | 27562740203 | 586.259 | 586.337 |
Name | /OPT-BIGINT-LIN/leberre/opb-trendy/misc2010/ random/rand.newlist/normalized-rand27da90.cudf.trendy.opb |
MD5SUM | 1db531ec7fbea38dd353f31b0fba98ed |
Bench Category | OPT-BIGINT-LIN (optimisation, big integers, linear constraints) |
Best result obtained on this benchmark | OPT |
Best value of the objective obtained on this benchmark | 27562740203 |
Best CPU time to get the best result obtained on this benchmark | 3.11852 |
Has Objective Function | YES |
Satisfiable | |
(Un)Satisfiability was proved | |
Best value of the objective function | |
Optimality of the best value was proved | |
Number of variables | 6757 |
Total number of constraints | 28229 |
Number of constraints which are clauses | 27934 |
Number of constraints which are cardinality constraints (but not clauses) | 295 |
Number of constraints which are nor clauses,nor cardinality constraints | 0 |
Minimum length of a constraint | 1 |
Maximum length of a constraint | 553 |
Number of terms in the objective function | 3152 |
Biggest coefficient in the objective function | 3929352552 |
Number of bits for the biggest coefficient in the objective function | 32 |
Sum of the numbers in the objective function | 2168997629561 |
Number of bits of the sum of numbers in the objective function | 41 |
Biggest number in a constraint | 3929352552 |
Number of bits of the biggest number in a constraint | 32 |
Biggest sum of numbers in a constraint | 2168997629561 |
Number of bits of the biggest sum of numbers | 41 |
Number of products (including duplicates) | 0 |
Sum of products size (including duplicates) | 0 |
Number of different products | 0 |
Sum of products size | 0 |
0.00/0.01 >>> IMPORTANT: two aggregates with the same head occurred. Assuming that this head is certainly true. 2.21/2.22 o 1399307684301 2.29/2.38 o 1395378331749 2.39/2.47 o 1391451469281 2.59/2.61 o 1387522116729 2.69/2.70 o 1383592764177 2.79/2.85 o 1379663411625 2.99/3.08 o 1375734059073 3.09/3.17 o 1371804706521 3.21/3.22 o 1367875353969 3.31/3.33 o 1363946001417 3.39/3.47 o 1360016648865 3.49/3.52 o 1356087296313 3.49/3.58 o 1352160433845 3.59/3.67 o 1348231081293 3.69/3.73 o 1344301728741 3.69/3.80 o 1340372376189 3.79/3.86 o 1336443023637 3.89/3.97 o 1332513671085 3.99/4.04 o 1328584318533 4.19/4.23 o 1305005713143 4.41/4.44 o 1301078850675 4.41/4.49 o 1297149498123 4.59/4.62 o 1297144517955 4.69/4.70 o 1293217655487 4.69/4.78 o 1289290793019 4.79/4.83 o 1285363930551 4.79/4.88 o 1281434577999 4.99/5.04 o 1253944050639 5.29/5.35 o 1250014698087 5.29/5.40 o 1246085345535 5.40/5.45 o 1242158483067 5.69/5.71 o 1234299777966 5.69/5.78 o 1234299777965 5.79/5.85 o 1230370425413 5.89/5.91 o 1226441072861 5.89/5.99 o 1222511720309 5.99/6.05 o 1218582367757 6.29/6.38 o 1218579877673 6.39/6.44 o 1214650525121 6.50/6.54 o 1210721172569 6.50/6.60 o 1206791820017 6.61/6.68 o 1202862467465 6.69/6.75 o 1198933114913 6.79/6.82 o 1195003762361 6.89/6.91 o 1191074409809 6.89/6.96 o 1187145057257 6.99/7.01 o 1183215704705 7.19/7.29 o 1179286352153 7.39/7.43 o 1175356999602 7.39/7.49 o 1171427647050 7.60/7.63 o 1163571432030 7.79/7.84 o 1159642079478 7.89/7.96 o 1155712726926 7.99/8.01 o 1151783374374 8.09/8.10 o 1147854021822 8.09/8.16 o 1143924669270 8.19/8.26 o 1139995316718 8.29/8.31 o 1136065964166 8.29/8.36 o 1132136611614 8.49/8.53 o 1128207259063 8.70/8.79 o 1124277906511 8.81/8.86 o 1120348553959 8.99/9.08 o 1116419201407 9.09/9.13 o 1112489848855 9.29/9.31 o 1108560496303 9.59/9.65 o 1104631143751 9.69/9.80 o 1100701791199 9.91/9.98 o 1096772438647 9.99/10.04 o 1092843086095 10.09/10.11 o 1088913733543 10.09/10.16 o 1084984380991 10.19/10.23 o 1081055028439 10.39/10.43 o 1077125675887 10.49/10.50 o 1073196323335 10.49/10.56 o 1069266970783 10.59/10.63 o 1065337618231 11.01/11.04 o 1061408265679 11.09/11.12 o 1057478913127 11.19/11.26 o 1037832150368 11.59/11.61 o 1033902797816 11.59/11.66 o 1029973445264 11.69/11.70 o 1026044092712 11.69/11.75 o 1022114740160 11.79/11.81 o 1018185387608 11.79/11.87 o 1014256035056 11.89/11.98 o 1010326682504 12.11/12.13 o 1010324192420 12.29/12.30 o 1006394839868 12.39/12.41 o 998538624848 12.49/12.57 o 994609272296 12.59/12.62 o 990679919744 12.69/12.71 o 986750567192 12.89/12.92 o 982821214640 12.89/12.98 o 978891862088 12.99/13.06 o 974962509536 13.21/13.27 o 963176941964 13.49/13.57 o 959247589412 13.59/13.62 o 955318236860 13.69/13.74 o 951388884308 13.79/13.84 o 947459531756 13.89/13.90 o 943530179204 13.89/13.95 o 939600826652 13.99/14.00 o 935671474100 13.99/14.06 o 931742121548 14.09/14.16 o 927812768996 14.20/14.30 o 923883416444 14.31/14.35 o 919954063892 14.39/14.41 o 916024711340 14.49/14.52 o 912095358788 14.49/14.56 o 908166006236 14.59/14.62 o 904236653684 14.89/14.90 o 900309791216 14.89/14.95 o 896380438664 15.09/15.14 o 892451086112 15.09/15.18 o 888521733560 15.19/15.24 o 884592381008 15.19/15.30 o 880663028456 15.30/15.37 o 876733675904 15.41/15.43 o 872804323352 15.41/15.49 o 868874970800 15.49/15.55 o 864945618248 15.59/15.61 o 861016265696 15.59/15.67 o 857086913144 15.79/15.83 o 853157560592 15.89/15.92 o 845301345572 16.09/16.10 o 841371993020 16.19/16.23 o 837442640469 16.19/16.28 o 833513287917 16.29/16.33 o 829583935365 16.29/16.39 o 825654582813 16.40/16.48 o 817795877709 16.69/16.79 o 813866525157 16.79/16.84 o 809937172605 16.79/16.89 o 806007820053 16.89/16.99 o 802078467501 17.09/17.10 o 798149114949 17.19/17.28 o 794219762397 17.29/17.32 o 790290409845 17.39/17.48 o 778504842273 17.79/17.82 o 774575489721 17.79/17.87 o 770646137169 17.89/17.91 o 766716784617 17.89/17.96 o 762787432065 17.99/18.05 o 758858079513 18.39/18.43 o 754926236877 18.39/18.49 o 750996884325 18.60/18.70 o 747067531773 18.71/18.76 o 743138179221 18.79/18.82 o 739206336585 18.89/18.98 o 723498886715 19.09/19.17 o 719569534163 19.19/19.24 o 711715809227 19.29/19.33 o 707786456675 19.29/19.39 o 703857104123 19.39/19.50 o 699927751571 19.49/19.55 o 695998399019 19.59/19.61 o 692069046467 19.99/20.03 o 688139693915 19.99/20.09 o 684210341363 20.09/20.18 o 680280988811 20.19/20.29 o 676351636259 20.29/20.35 o 672424773791 20.49/20.52 o 668497911323 20.69/20.80 o 664571048855 20.90/20.97 o 664568558771 21.09/21.17 o 664566068687 21.79/21.91 o 664563578612 21.90/21.99 o 664561088528 22.09/22.17 o 664558598444 22.29/22.30 o 664556108360 22.49/22.56 o 664553618276 24.29/24.33 o 664551128193 27.19/27.21 o 664548638109 27.50/27.57 o 664546148025 27.79/27.81 o 664543657941 27.79/27.86 o 664541167857 27.89/27.99 o 664538677773 28.09/28.15 o 660609325224 28.19/28.26 o 660606835140 28.29/28.35 o 660604345056 28.39/28.43 o 656674992504 28.50/28.55 o 652745639952 28.79/28.82 o 652745639951 29.09/29.11 o 633106347449 29.29/29.33 o 629179484981 29.39/29.46 o 625252622513 29.49/29.58 o 617393917413 29.60/29.71 o 617391427329 30.09/30.11 o 613462074777 30.19/30.24 o 609532722225 30.30/30.31 o 609530232141 30.50/30.53 o 609527742057 30.50/30.58 o 605598389505 30.90/30.96 o 605595899421 31.00/31.05 o 601666546869 31.10/31.13 o 601664056785 31.30/31.31 o 597734704233 31.30/31.37 o 597732214149 31.50/31.52 o 593802861597 32.00/32.05 o 589873509045 32.10/32.16 o 585944156493 32.60/32.69 o 585941666409 32.80/32.83 o 582012313857 32.91/32.95 o 582009823773 33.30/33.31 o 582009823772 33.30/33.37 o 578080471220 33.40/33.47 o 578077981136 33.50/33.56 o 574148628584 33.59/33.63 o 570219276032 33.79/33.89 o 566289923480 34.11/34.19 o 566289923479 34.19/34.25 o 566287433395 34.29/34.37 o 562358080853 34.39/34.43 o 558428728301 34.49/34.54 o 554504355920 34.59/34.68 o 550575003368 34.69/34.74 o 546645650816 34.99/35.03 o 530938200945 35.11/35.21 o 527008848393 35.29/35.32 o 523079495844 35.39/35.45 o 519150143292 35.59/35.69 o 515220790741 35.99/36.01 o 511291438191 36.09/36.16 o 507364575723 36.31/36.34 o 507362085639 36.49/36.58 o 503432733087 36.89/36.94 o 491652145684 37.19/37.20 o 487722793132 37.19/37.26 o 483793440580 37.31/37.38 o 483790950497 37.59/37.69 o 479861597945 37.79/37.89 o 475932245393 37.89/37.97 o 472002892841 37.99/38.02 o 468073540289 38.09/38.12 o 464144187737 38.09/38.17 o 460214835185 38.19/38.29 o 456285482633 38.29/38.37 o 452356130081 38.41/38.43 o 448426777529 38.51/38.53 o 448424287445 38.59/38.60 o 444494934893 38.59/38.65 o 440565582341 38.69/38.70 o 436636229789 38.69/38.76 o 432706877237 38.79/38.82 o 428777524685 38.99/39.00 o 424848172133 39.29/39.32 o 420921309665 39.39/39.46 o 416991957113 39.69/39.71 o 413062604561 39.99/40.05 o 409133252011 40.09/40.11 o 405203899459 40.09/40.17 o 401274546907 40.29/40.39 o 397345194355 40.79/40.84 o 393415841803 41.49/41.56 o 385557136699 41.81/41.82 o 385554646615 41.89/41.92 o 385552156531 41.99/42.05 o 385549666447 42.09/42.13 o 385547176363 42.19/42.23 o 385542196195 42.29/42.30 o 385542196194 42.29/42.39 o 377688471257 42.69/42.78 o 373766588959 42.81/42.88 o 373764098875 42.99/43.09 o 373761608791 43.49/43.52 o 369837236407 43.49/43.59 o 365907883855 43.69/43.71 o 365905393771 44.09/44.17 o 365902903687 44.29/44.32 o 365900413603 44.29/44.40 o 365897923519 45.01/45.09 o 361968570967 45.49/45.56 o 358041708499 45.79/45.87 o 358039218415 45.99/46.00 o 354109865863 46.21/46.22 o 354109865862 46.59/46.60 o 350185493478 46.59/46.67 o 346256140927 46.69/46.75 o 342329278459 46.79/46.89 o 338402415992 47.09/47.18 o 334488003947 47.21/47.26 o 330561141479 47.39/47.43 o 326639259179 47.69/47.73 o 322709906627 48.69/48.78 o 322704926460 48.89/48.92 o 318775573908 48.99/49.02 o 318773083824 49.09/49.12 o 314843731272 49.19/49.25 o 314843731271 49.29/49.32 o 314843731270 49.29/49.39 o 314841241186 49.41/49.46 o 310911888634 49.69/49.70 o 310909398550 49.89/49.93 o 310906908466 49.99/50.03 o 306977555914 50.09/50.12 o 299118850810 50.19/50.25 o 295191988342 50.29/50.32 o 291262635790 50.39/50.41 o 287335773322 50.51/50.61 o 283408910854 52.39/52.44 o 283408910853 52.49/52.50 o 283408910852 52.59/52.64 o 279479558300 52.81/52.88 o 275550205748 53.09/53.19 o 275547715664 53.19/53.26 o 275545225580 53.69/53.76 o 271615873028 53.81/53.87 o 271613382944 53.91/53.95 o 267689010560 54.49/54.51 o 251969110268 54.91/54.92 o 251966620184 55.19/55.28 o 251966620183 55.79/55.83 o 251964130099 55.89/55.96 o 248037267631 56.01/56.10 o 244112895247 56.39/56.49 o 244112895246 56.59/56.62 o 244110405162 56.79/56.82 o 244107915078 56.89/56.90 o 236249209975 57.29/57.38 o 236246719892 57.79/57.80 o 232317367340 57.89/57.96 o 228392994959 57.99/58.07 o 224466132491 58.31/58.33 o 220539270023 58.39/58.42 o 216612407555 58.49/58.55 o 212685545087 58.79/58.81 o 212683055009 58.99/59.02 o 208753702457 59.41/59.48 o 204824349905 59.69/59.76 o 200894997353 59.89/59.91 o 200892507269 59.89/59.98 o 200892507268 60.89/60.96 o 196963154716 61.29/61.37 o 196960664632 63.09/63.13 o 193031312080 63.39/63.44 o 189101959527 63.49/63.58 o 189099469445 63.59/63.64 o 189099469444 63.81/63.85 o 185182567313 65.69/65.72 o 185180077232 65.79/65.85 o 181253214764 65.91/65.96 o 181253214762 66.01/66.05 o 177326352294 68.21/68.28 o 173401979940 68.29/68.36 o 169475117472 68.39/68.47 o 165553235172 68.59/68.62 o 161626372705 68.59/68.69 o 161623882622 69.49/69.55 o 157699510238 69.69/69.70 o 153772647771 69.79/69.89 o 153770157688 70.31/70.34 o 149855745642 70.41/70.46 o 149855745641 70.89/70.97 o 149853255557 71.09/71.16 o 145926393089 71.19/71.25 o 145923903005 71.59/71.67 o 145923903004 71.99/72.09 o 141999530621 72.99/73.00 o 141997040537 73.49/73.53 o 141994550453 73.61/73.67 o 141994550452 73.71/73.78 o 141994550451 73.79/73.87 o 141994550450 73.89/73.97 o 141994550448 74.19/74.29 o 138072668148 74.39/74.42 o 134145805680 74.99/75.01 o 134145805679 75.49/75.55 o 134143315596 75.69/75.71 o 134140825512 75.69/75.78 o 134138335428 75.81/75.86 o 134138335427 75.91/75.96 o 134138335426 75.99/76.03 o 134138335425 76.09/76.10 o 134138335424 76.19/76.28 o 134138335423 76.39/76.46 o 130208982871 76.59/76.65 o 126284610489 76.69/76.72 o 122355257937 76.79/76.80 o 114496552833 77.01/77.07 o 114494062750 78.39/78.43 o 114494062749 78.59/78.68 o 110574670532 78.79/78.86 o 106650298148 78.89/78.92 o 106647808064 79.39/79.41 o 106645317980 79.39/79.49 o 106642827896 80.79/80.80 o 102713475344 83.39/83.51 o 98796573219 83.69/83.79 o 94869710752 84.09/84.16 o 90940358200 84.29/84.34 o 90940358199 84.39/84.45 o 90937868115 84.71/84.73 o 90937868114 85.29/85.30 o 90935378030 86.59/86.62 o 87011005647 86.59/86.69 o 87011005646 86.69/86.80 o 87011005645 86.99/87.06 o 79162260877 87.19/87.29 o 79159770795 87.29/87.36 o 79159770794 87.39/87.44 o 79159770793 88.01/88.05 o 79157280709 88.29/88.39 o 79154790625 88.59/88.66 o 75227928157 88.79/88.84 o 71303555772 89.29/89.34 o 67376693304 89.39/89.41 o 67374203221 89.89/89.95 o 63454811005 89.99/90.05 o 63452320921 90.11/90.20 o 63449830838 90.29/90.31 o 63449830837 90.39/90.49 o 63447340755 90.49/90.58 o 63447340754 90.99/91.03 o 63444850670 91.31/91.33 o 59515498119 91.49/91.50 o 59515498118 91.59/91.67 o 55591125733 92.09/92.11 o 51661773181 92.31/92.40 o 51659283098 92.49/92.60 o 47732420630 93.29/93.33 o 47729930547 93.79/93.83 o 47727440469 93.99/94.00 o 47724950385 94.39/94.49 o 47724950384 95.39/95.48 o 47724950383 95.99/96.09 o 47722460299 96.81/96.89 o 47722460298 96.99/97.01 o 43795597830 97.09/97.18 o 43793107746 97.29/97.39 o 43790617662 97.49/97.55 o 43790617661 97.99/98.07 o 43790617660 98.79/98.90 o 43790617659 100.29/100.35 o 43788127575 100.49/100.55 o 39863755189 100.69/100.72 o 39861265106 101.11/101.16 o 39858775022 101.59/101.61 o 39856284938 101.99/102.03 o 39853794858 102.09/102.15 o 39851304774 102.59/102.64 o 35924442306 103.99/104.06 o 35924442305 104.19/104.25 o 35921952221 104.41/104.50 o 35914481969 104.59/104.60 o 35914481968 105.09/105.18 o 35911991886 105.51/105.53 o 31987619501 105.99/106.02 o 31980149248 106.09/106.19 o 31977659164 106.49/106.56 o 31977659163 106.61/106.64 o 31977659162 107.09/107.12 o 31977659161 107.19/107.25 o 31977659160 107.29/107.37 o 31975169080 107.39/107.46 o 31975169079 107.49/107.55 o 31975169078 108.19/108.21 o 31972678996 108.99/109.01 o 31972678995 109.09/109.14 o 31972678994 109.29/109.38 o 31970188913 109.49/109.56 o 31970188912 109.69/109.71 o 31970188911 109.79/109.86 o 31970188910 110.01/110.04 o 31967698828 110.09/110.12 o 31967698827 110.09/110.19 o 31967698826 110.39/110.44 o 31967698825 110.49/110.54 o 31965208742 110.59/110.68 o 31962718658 110.69/110.78 o 31960228574 112.99/113.03 o 28033366107 113.31/113.33 o 28030876023 113.49/113.52 o 28030876022 113.49/113.58 o 28030876021 113.69/113.72 o 28030876020 113.79/113.80 o 28030876019 115.29/115.34 o 28008465263 115.51/115.59 o 28008465261 115.99/116.07 o 28005975179 116.39/116.46 o 28003485095 116.89/116.97 o 27998504931 118.19/118.22 o 27998504930 118.29/118.32 o 27998504929 119.91/119.92 o 27988544595 119.99/120.03 o 27988544594 120.49/120.50 o 27986054511 120.59/120.61 o 27986054510 121.01/121.08 o 27978584274 121.19/121.21 o 27978584273 121.19/121.28 o 27978584272 121.29/121.34 o 27978584271 121.29/121.39 o 27978584270 121.39/121.45 o 27978584269 121.49/121.51 o 27978584268 122.89/122.96 o 27978584267 122.99/123.05 o 27978584266 123.49/123.51 o 27978584265 123.59/123.63 o 27978584264 124.69/124.75 o 27976094183 124.79/124.89 o 27976094182 126.99/127.07 o 27976094181 127.09/127.15 o 27973604099 127.19/127.27 o 27973604098 127.39/127.50 o 27971114014 127.61/127.62 o 27966133846 127.79/127.86 o 27963643765 127.89/127.94 o 27963643764 127.99/128.00 o 27963643763 127.99/128.06 o 27963643762 128.09/128.12 o 27963643761 128.09/128.18 o 27963643760 128.29/128.30 o 27963643759 129.39/129.45 o 27963643758 129.49/129.52 o 27963643757 129.59/129.65 o 27963643756 129.70/129.72 o 27963643755 129.81/129.83 o 27961153671 129.89/129.92 o 27961153670 130.59/130.61 o 27961153669 130.69/130.71 o 27961153668 133.11/133.13 o 27953683419 133.89/133.96 o 27951193336 133.99/134.03 o 27951193335 134.10/134.16 o 27951193334 134.21/134.29 o 27948703251 134.29/134.39 o 27948703250 134.59/134.66 o 27948703249 134.69/134.72 o 27948703248 134.89/134.97 o 27948703247 135.79/135.81 o 27948703246 135.79/135.87 o 27948703245 137.19/137.27 o 27946213165 137.51/137.54 o 27943723081 137.89/137.94 o 27943723080 138.29/138.32 o 27941233002 138.61/138.68 o 27938742918 139.19/139.22 o 27936252842 139.29/139.39 o 27936252841 139.49/139.52 o 27936252840 139.49/139.58 o 27936252839 140.09/140.11 o 27936252838 140.19/140.25 o 27936252837 145.49/145.56 o 27936252836 145.59/145.63 o 27936252835 145.89/145.98 o 27933762751 146.09/146.15 o 27931272669 146.59/146.69 o 27931272668 146.99/147.08 o 27928782593 147.09/147.16 o 27928782592 147.19/147.26 o 27928782591 147.30/147.35 o 27928782590 147.59/147.64 o 27928782589 147.69/147.74 o 27928782588 147.99/148.08 o 27928782587 148.29/148.32 o 27928782586 148.89/148.90 o 27928782585 155.39/155.46 o 27928782584 155.59/155.62 o 27926292500 156.11/156.16 o 27926292499 156.39/156.42 o 27926292498 156.49/156.56 o 27926292497 160.99/161.06 o 27923802417 161.29/161.39 o 27923802416 161.71/161.75 o 27921312331 162.39/162.42 o 27921312330 162.49/162.56 o 27921312329 163.09/163.12 o 27918822247 163.39/163.49 o 27918822246 163.91/163.96 o 27918822245 165.19/165.24 o 27918822243 165.49/165.51 o 27916332160 166.39/166.46 o 27916332158 166.49/166.57 o 27913842076 169.59/169.65 o 27913842073 169.69/169.74 o 27913842072 170.99/171.06 o 27913842071 171.69/171.76 o 27911351987 171.89/171.92 o 27911351986 171.99/172.01 o 27911351985 172.09/172.10 o 27908861901 172.29/172.33 o 27906371817 172.61/172.64 o 27906371816 172.79/172.85 o 27903881735 172.89/172.92 o 27903881734 172.89/172.99 o 27903881733 172.99/173.09 o 27903881732 173.19/173.25 o 27903881731 173.29/173.36 o 27901391647 174.29/174.33 o 27901391646 174.99/175.02 o 27901391645 175.09/175.14 o 27901391644 175.29/175.36 o 27898901562 175.79/175.91 o 27898901561 180.31/180.34 o 27898901560 182.39/182.43 o 27886451142 182.61/182.65 o 27883961060 182.69/182.73 o 27883961059 182.79/182.85 o 27883961058 184.99/185.03 o 27881470988 185.09/185.19 o 27881470986 185.19/185.27 o 27881470985 185.29/185.36 o 27881470984 185.39/185.45 o 27881470983 185.49/185.52 o 27881470982 185.80/185.88 o 27881470981 185.91/185.98 o 27878980897 185.99/186.06 o 27876490813 186.09/186.14 o 27876490812 186.59/186.67 o 27874000739 186.79/186.84 o 27874000738 187.09/187.17 o 27874000736 187.29/187.34 o 27874000735 187.49/187.54 o 27871510651 187.89/187.92 o 27871510650 189.59/189.68 o 27871510646 189.99/190.07 o 27871510645 190.31/190.35 o 27869020562 190.49/190.52 o 27869020561 191.19/191.22 o 27866530475 191.41/191.43 o 27866530474 191.49/191.59 o 27866530473 193.50/193.59 o 27864040391 193.79/193.80 o 27864040390 193.89/193.93 o 27861550306 197.79/197.90 o 27861550305 200.21/200.22 o 27859060228 200.29/200.32 o 27859060227 200.39/200.41 o 27859060226 200.49/200.50 o 27859060225 200.49/200.58 o 27859060224 200.59/200.65 o 27859060223 203.99/204.07 o 27859060222 204.61/204.63 o 27856570145 204.69/204.72 o 27856570144 204.79/204.81 o 27856570143 204.79/204.89 o 27856570142 204.89/204.98 o 27856570141 205.09/205.10 o 27856570140 205.09/205.18 o 27856570139 205.19/205.29 o 27856570138 205.49/205.57 o 27854080055 206.09/206.10 o 27854080054 206.09/206.18 o 27851589971 206.59/206.67 o 27851589970 206.89/206.95 o 27851589969 207.49/207.52 o 27849099887 207.69/207.70 o 27846609803 207.99/208.02 o 27844119727 207.99/208.10 o 27844119726 208.09/208.17 o 27844119725 208.19/208.25 o 27844119724 208.29/208.37 o 27844119723 208.39/208.49 o 27844119722 208.49/208.58 o 27844119721 208.59/208.67 o 27844119720 208.69/208.77 o 27844119719 210.59/210.64 o 27841629639 211.10/211.11 o 27839139558 212.99/213.06 o 27836649481 213.09/213.14 o 27836649479 213.19/213.24 o 27836649478 213.31/213.37 o 27836649477 213.49/213.52 o 27836649476 213.59/213.60 o 27836649475 214.09/214.18 o 27834159398 214.19/214.26 o 27834159397 214.29/214.33 o 27834159396 214.41/214.43 o 27834159395 214.41/214.51 o 27834159394 214.59/214.62 o 27834159393 214.69/214.70 o 27834159392 215.69/215.78 o 27834159391 216.09/216.12 o 27834159390 216.19/216.29 o 27834159389 216.39/216.49 o 27831669305 217.39/217.47 o 27831669304 220.89/220.98 o 27831669303 221.29/221.38 o 27831669302 221.79/221.89 o 27831669301 221.99/222.00 o 27829179218 222.89/222.93 o 27826689135 222.99/223.03 o 27826689134 224.09/224.11 o 27826689133 224.69/224.79 o 27824199062 225.29/225.38 o 27824199061 225.51/225.56 o 27821708980 225.59/225.69 o 27821708978 225.99/226.09 o 27821708977 226.39/226.44 o 27819218899 226.50/226.58 o 27819218898 226.79/226.84 o 27819218897 226.99/227.02 o 27819218896 227.19/227.20 o 27819218894 227.49/227.51 o 27819218893 227.79/227.81 o 27819218892 227.99/228.00 o 27816728809 228.29/228.34 o 27814238731 228.39/228.43 o 27814238730 228.49/228.51 o 27814238729 228.59/228.61 o 27814238728 228.59/228.71 o 27814238727 228.81/228.82 o 27814238726 228.89/228.97 o 27814238725 229.39/229.42 o 27814238724 229.59/229.69 o 27814238723 230.29/230.36 o 27814238722 231.01/231.06 o 27811748640 231.29/231.38 o 27811748639 231.79/231.84 o 27809258557 231.89/231.91 o 27809258556 232.49/232.56 o 27809258555 232.89/232.92 o 27809258554 232.99/233.09 o 27806768472 233.29/233.38 o 27806768471 233.49/233.53 o 27806768470 233.79/233.89 o 27804278391 233.99/234.02 o 27804278390 234.20/234.22 o 27804278389 234.31/234.39 o 27804278388 234.69/234.70 o 27804278387 235.19/235.21 o 27801788304 235.41/235.46 o 27799298226 235.49/235.54 o 27799298225 235.59/235.64 o 27799298224 235.69/235.72 o 27799298223 235.69/235.79 o 27799298222 235.89/235.92 o 27799298221 235.99/236.00 o 27799298220 236.29/236.40 o 27799298219 236.40/236.50 o 27796808136 236.79/236.82 o 27796808135 237.09/237.13 o 27796808134 237.29/237.38 o 27794318054 237.39/237.47 o 27794318053 237.61/237.64 o 27794318052 237.69/237.72 o 27794318051 238.79/238.86 o 27794318050 240.09/240.10 o 27794318049 240.39/240.42 o 27791827972 240.49/240.51 o 27791827971 240.59/240.65 o 27791827970 240.69/240.79 o 27791827969 240.99/241.00 o 27791827968 241.09/241.10 o 27791827967 241.09/241.19 o 27791827966 242.09/242.18 o 27789337888 242.19/242.26 o 27789337886 242.29/242.38 o 27789337885 242.59/242.61 o 27789337884 243.99/244.04 o 27786847799 244.49/244.58 o 27784357721 244.59/244.67 o 27784357720 244.69/244.75 o 27784357719 244.79/244.86 o 27784357718 244.89/244.99 o 27784357716 246.59/246.68 o 27784357715 247.19/247.23 o 27781867633 247.29/247.35 o 27781867632 247.40/247.44 o 27781867631 247.69/247.74 o 27781867630 248.39/248.50 o 27779377547 249.19/249.24 o 27779377546 249.29/249.35 o 27779377545 249.49/249.61 o 27779377543 250.19/250.21 o 27776887462 250.29/250.34 o 27776887461 250.39/250.48 o 27776887460 251.09/251.19 o 27776887459 251.29/251.37 o 27774397378 251.49/251.57 o 27774397377 251.69/251.71 o 27774397376 251.91/251.93 o 27774397375 252.09/252.14 o 27774397374 252.79/252.87 o 27774397373 253.01/253.05 o 27774397372 253.29/253.34 o 27774397371 253.69/253.74 o 27774397370 253.89/253.92 o 27771907290 254.00/254.02 o 27771907289 254.11/254.15 o 27771907288 254.39/254.40 o 27771907287 254.69/254.72 o 27771907285 254.79/254.86 o 27771907284 255.10/255.18 o 27769417208 255.21/255.27 o 27769417207 255.29/255.37 o 27769417206 255.39/255.46 o 27769417205 255.59/255.64 o 27769417204 255.79/255.82 o 27769417203 256.20/256.25 o 27769417202 256.79/256.80 o 27766927124 256.89/256.91 o 27766927123 256.89/256.99 o 27766927122 257.09/257.10 o 27766927121 257.19/257.20 o 27766927120 257.19/257.30 o 27766927119 257.41/257.43 o 27766927118 257.69/257.73 o 27766927117 258.29/258.31 o 27766927116 259.09/259.15 o 27766927115 259.50/259.54 o 27766927114 260.89/260.93 o 27766927113 261.19/261.23 o 27766927112 262.09/262.11 o 27766927111 262.69/262.73 o 27766927110 263.29/263.39 o 27764437031 263.39/263.49 o 27764437030 263.59/263.62 o 27764437029 263.69/263.75 o 27764437028 263.90/263.92 o 27764437027 264.19/264.29 o 27761946950 264.29/264.37 o 27761946949 264.39/264.47 o 27761946948 264.49/264.56 o 27761946947 264.59/264.64 o 27761946946 264.69/264.71 o 27761946945 264.79/264.81 o 27761946944 265.00/265.09 o 27761946943 265.69/265.74 o 27759456871 265.79/265.85 o 27759456870 265.89/265.93 o 27759456869 265.99/266.01 o 27759456868 265.99/266.08 o 27759456867 266.10/266.16 o 27759456866 266.21/266.28 o 27759456865 266.39/266.41 o 27759456864 266.49/266.51 o 27759456863 266.59/266.60 o 27759456862 269.09/269.18 o 27759456861 269.69/269.78 o 27759456860 270.61/270.64 o 27759456859 271.79/271.81 o 27756966775 272.89/272.94 o 27754476699 273.09/273.10 o 27754476698 273.19/273.22 o 27754476697 273.29/273.35 o 27754476696 273.39/273.49 o 27754476695 273.59/273.65 o 27754476694 273.69/273.80 o 27754476693 273.91/273.93 o 27754476692 274.09/274.14 o 27754476691 274.59/274.60 o 27754476690 275.01/275.05 o 27751986609 275.09/275.13 o 27751986608 275.19/275.27 o 27751986607 275.89/275.93 o 27749496524 276.49/276.56 o 27747006440 277.29/277.32 o 27747006439 277.79/277.82 o 27747006438 277.89/277.97 o 27744516358 277.99/278.05 o 27744516357 278.09/278.21 o 27744516356 278.31/278.34 o 27744516355 279.09/279.13 o 27744516354 280.20/280.20 o 27742026273 280.30/280.34 o 27742026272 280.41/280.42 o 27742026271 281.51/281.60 o 27742026270 281.70/281.70 o 27739536187 283.30/283.38 o 27739536186 283.50/283.59 o 27737046104 283.60/283.70 o 27737046103 284.40/284.44 o 27737046102 284.81/284.83 o 27734556019 288.22/288.26 o 27732065936 288.50/288.52 o 27732065935 288.70/288.74 o 27732065934 289.32/289.38 o 27729575854 289.40/289.46 o 27729575853 289.50/289.53 o 27729575852 289.80/289.83 o 27729575851 290.20/290.25 o 27727085769 291.00/291.07 o 27727085768 291.41/291.46 o 27727085767 293.80/293.84 o 27727085766 295.30/295.31 o 27724595683 296.60/296.61 o 27724595682 296.80/296.83 o 27722105602 296.91/296.95 o 27722105601 297.01/297.06 o 27722105600 297.20/297.22 o 27722105599 298.30/298.36 o 27722105598 298.80/298.87 o 27719615517 298.90/298.99 o 27719615516 299.11/299.12 o 27719615515 300.60/300.65 o 27719615514 301.70/301.74 o 27717125433 301.90/301.91 o 27717125432 303.90/303.97 o 27717125431 305.00/305.09 o 27717125430 305.71/305.74 o 27717125429 307.30/307.32 o 27717125428 308.10/308.17 o 27717125427 309.20/309.22 o 27717125426 311.21/311.30 o 27717125425 313.30/313.38 o 27717125424 313.70/313.76 o 27714635341 313.80/313.89 o 27714635340 321.11/321.17 o 27712145256 321.80/321.83 o 27709655175 322.10/322.16 o 27709655174 324.55/324.66 o 27709655173 326.13/326.29 o 27709655172 328.13/328.28 o 27709655171 329.23/329.39 o 27709655170 329.43/329.50 o 27707165087 329.84/329.98 o 27704675003 330.23/330.38 o 27704675002 330.53/330.62 o 27702184920 330.63/330.77 o 27702184919 331.13/331.22 o 27699694841 331.23/331.30 o 27699694840 331.23/331.37 o 27699694839 331.33/331.45 o 27699694838 331.43/331.57 o 27699694837 331.53/331.68 o 27699694836 331.63/331.79 o 27699694835 332.15/332.24 o 27699694834 335.53/335.67 o 27699694833 336.93/337.08 o 27699694832 337.73/337.85 o 27699694831 337.93/338.08 o 27697204749 338.33/338.45 o 27697204748 338.64/338.78 o 27697204747 339.63/339.74 o 27694714668 339.74/339.86 o 27694714667 339.85/339.98 o 27694714666 339.93/340.09 o 27694714665 340.13/340.23 o 27694714664 340.95/341.03 o 27694714663 341.33/341.49 o 27694714662 341.73/341.87 o 27692224579 342.63/342.71 o 27689734503 342.73/342.83 o 27689734502 342.83/342.97 o 27689734501 342.93/343.04 o 27689734500 343.04/343.17 o 27689734499 343.23/343.32 o 27689734498 343.43/343.54 o 27689734497 343.63/343.77 o 27689734496 343.93/344.07 o 27689734495 344.33/344.43 o 27689734494 345.03/345.11 o 27687244412 345.13/345.23 o 27687244411 346.13/346.30 o 27684754329 346.34/346.43 o 27684754328 346.63/346.75 o 27684754327 347.44/347.61 o 27682264252 347.55/347.70 o 27682264251 347.73/347.82 o 27682264250 347.73/347.89 o 27682264249 347.83/347.96 o 27682264248 348.03/348.15 o 27682264247 348.13/348.27 o 27682264246 348.23/348.36 o 27682264245 348.43/348.61 o 27682264244 348.83/348.99 o 27682264243 349.13/349.20 o 27679774162 349.23/349.31 o 27679774161 349.23/349.39 o 27679774160 352.13/352.22 o 27679774159 353.13/353.22 o 27679774158 356.93/357.04 o 27679774157 357.73/357.86 o 27677284074 358.33/358.44 o 27677284073 359.43/359.60 o 27674793995 359.54/359.67 o 27674793993 359.73/359.86 o 27674793992 359.93/360.09 o 27674793991 360.23/360.31 o 27674793990 360.43/360.53 o 27674793989 363.94/364.03 o 27674793988 367.13/367.23 o 27674793987 367.34/367.45 o 27672303907 367.43/367.57 o 27672303906 367.53/367.64 o 27672303905 367.93/368.00 o 27672303904 369.93/370.08 o 27672303903 370.23/370.35 o 27669813822 370.33/370.44 o 27669813821 370.54/370.63 o 27669813820 370.83/370.95 o 27669813819 371.83/371.93 o 27667323737 371.93/372.05 o 27667323736 372.33/372.43 o 27667323735 373.13/373.23 o 27667323734 373.53/373.62 o 27664833651 374.23/374.39 o 27664833650 374.94/375.11 o 27662343571 375.04/375.19 o 27662343570 375.23/375.35 o 27662343569 375.43/375.55 o 27662343568 375.73/375.85 o 27662343567 380.73/380.87 o 27659853486 380.83/380.96 o 27659853485 381.03/381.10 o 27659853484 381.03/381.17 o 27659853483 381.54/381.64 o 27657363403 381.64/381.73 o 27657363402 381.93/382.01 o 27657363401 381.93/382.08 o 27657363400 383.84/383.96 o 27657363399 384.12/384.20 o 27654873319 384.12/384.29 o 27654873318 384.32/384.49 o 27654873317 384.52/384.63 o 27654873316 386.52/386.66 o 27652383236 386.62/386.74 o 27652383235 386.72/386.86 o 27652383234 386.92/387.00 o 27652383233 387.14/387.26 o 27652383232 387.62/387.70 o 27652383231 388.14/388.26 o 27649893152 388.24/388.33 o 27649893151 388.32/388.45 o 27649893150 388.52/388.63 o 27649893149 388.82/388.96 o 27649893148 390.02/390.15 o 27647403066 390.12/390.29 o 27647403065 390.44/390.58 o 27647403064 391.02/391.11 o 27644912991 391.12/391.20 o 27644912990 391.22/391.40 o 27644912989 391.54/391.62 o 27644912988 391.62/391.72 o 27644912987 391.72/391.89 o 27644912986 391.92/392.05 o 27644912985 392.02/392.18 o 27644912984 392.22/392.34 o 27644912983 392.32/392.46 o 27644912982 392.54/392.63 o 27644912981 392.82/392.92 o 27644912980 393.22/393.37 o 27642422899 393.42/393.59 o 27642422898 393.64/393.72 o 27642422897 393.82/393.93 o 27642422896 395.12/395.29 o 27642422895 395.22/395.39 o 27639932814 395.32/395.47 o 27639932812 396.52/396.62 o 27639932811 396.94/397.09 o 27637442728 398.14/398.22 o 27637442727 398.22/398.34 o 27634952644 398.72/398.87 o 27632462561 398.92/399.03 o 27632462560 400.12/400.26 o 27629972485 400.24/400.35 o 27629972484 400.34/400.47 o 27629972481 400.42/400.55 o 27629972480 400.52/400.62 o 27629972479 400.52/400.68 o 27629972478 400.62/400.76 o 27629972477 400.72/400.83 o 27629972476 400.92/401.09 o 27627482393 402.44/402.55 o 27627482392 404.32/404.49 o 27627482391 405.84/405.99 o 27627482390 406.02/406.12 o 27624992308 406.22/406.35 o 27624992307 407.02/407.11 o 27622502227 407.02/407.18 o 27622502226 407.52/407.64 o 27622502225 408.22/408.34 o 27622502223 411.62/411.71 o 27620012145 411.62/411.78 o 27620012144 411.72/411.85 o 27620012143 411.82/411.97 o 27620012142 411.92/412.08 o 27620012141 412.02/412.18 o 27620012140 412.22/412.34 o 27620012139 414.64/414.77 o 27620012138 416.52/416.65 o 27620012137 422.62/422.77 o 27617522066 422.72/422.85 o 27617522065 422.82/422.95 o 27617522064 422.92/423.04 o 27617522063 423.02/423.16 o 27617522062 423.12/423.26 o 27617522061 423.22/423.37 o 27617522060 423.34/423.47 o 27617522059 423.44/423.58 o 27617522058 423.62/423.74 o 27617522057 423.82/423.93 o 27617522056 424.02/424.17 o 27617522055 427.12/427.22 o 27617522054 427.22/427.37 o 27615031971 427.62/427.79 o 27615031970 431.32/431.42 o 27615031969 441.72/441.84 o 27615031968 443.42/443.54 o 27615031967 445.22/445.31 o 27615031966 446.44/446.59 o 27612541884 447.22/447.30 o 27612541883 449.92/450.05 o 27610051799 455.52/455.61 o 27610051798 456.72/456.89 o 27607561715 460.52/460.64 o 27607561714 460.62/460.79 o 27605071632 460.84/460.98 o 27605071631 462.93/463.04 o 27602581553 463.04/463.11 o 27602581552 463.12/463.25 o 27602581551 463.22/463.31 o 27602581550 463.22/463.38 o 27602581549 463.42/463.55 o 27602581548 471.22/471.34 o 27602581547 472.22/472.35 o 27600091464 483.62/483.75 o 27597601382 483.72/483.85 o 27597601381 484.12/484.21 o 27597601380 488.12/488.24 o 27597601379 488.42/488.50 o 27595111297 488.52/488.64 o 27595111296 498.13/498.22 o 27592621216 498.24/498.33 o 27592621215 498.32/498.44 o 27592621214 507.32/507.49 o 27592621213 508.14/508.24 o 27592621212 508.72/508.86 o 27590131133 508.82/508.93 o 27590131132 508.92/509.04 o 27590131131 509.02/509.14 o 27590131130 509.02/509.21 o 27590131129 510.23/510.35 o 27590131128 510.92/511.00 o 27587641047 510.92/511.09 o 27587641046 511.12/511.28 o 27587641045 512.32/512.48 o 27585150964 512.54/512.67 o 27585150963 512.82/512.90 o 27585150962 513.02/513.11 o 27585150961 514.02/514.10 o 27585150959 518.04/518.18 o 27585150958 518.22/518.39 o 27585150957 521.72/521.83 o 27582660884 521.82/521.99 o 27582660883 529.92/530.05 o 27580170809 530.03/530.14 o 27580170808 530.22/530.37 o 27580170807 530.72/530.89 o 27580170806 531.02/531.15 o 27580170805 531.13/531.21 o 27580170804 531.24/531.35 o 27580170803 531.42/531.51 o 27580170802 531.52/531.67 o 27580170801 531.62/531.79 o 27580170800 531.82/531.98 o 27580170799 532.02/532.18 o 27580170798 532.12/532.30 o 27580170797 532.34/532.43 o 27580170796 532.42/532.55 o 27580170795 532.82/532.93 o 27580170794 533.22/533.31 o 27580170793 533.22/533.40 o 27580170792 535.82/535.92 o 27580170791 544.92/545.01 o 27577680712 545.02/545.16 o 27577680711 545.43/545.52 o 27577680710 545.82/545.90 o 27577680709 546.12/546.22 o 27577680708 546.53/546.64 o 27577680707 546.82/546.98 o 27577680706 547.22/547.31 o 27575190634 547.32/547.43 o 27575190633 547.52/547.60 o 27575190632 547.63/547.80 o 27575190628 547.74/547.89 o 27575190627 547.82/547.99 o 27575190626 548.02/548.10 o 27575190625 548.32/548.40 o 27575190624 549.83/549.96 o 27572700541 575.91/576.09 o 27572700538 576.11/576.22 o 27572700537 576.23/576.38 o 27572700536 576.51/576.62 o 27572700535 576.71/576.80 o 27572700534 576.71/576.87 o 27572700533 576.91/577.02 o 27572700532 577.01/577.14 o 27572700531 577.21/577.40 o 27570210447 578.11/578.28 o 27570210445 578.31/578.43 o 27570210444 578.71/578.81 o 27570210442 578.81/578.95 o 27570210441 578.91/579.01 o 27570210440 579.31/579.42 o 27570210439 579.63/579.79 o 27567720388 580.01/580.12 o 27567720387 580.31/580.45 o 27567720386 580.51/580.62 o 27567720385 580.63/580.80 o 27567720384 580.81/580.96 o 27567720383 581.01/581.11 o 27567720382 581.11/581.23 o 27567720381 581.21/581.36 o 27567720379 581.31/581.46 o 27567720378 581.41/581.58 o 27567720377 581.73/581.82 o 27567720375 582.01/582.11 o 27565230291 582.61/582.71 o 27565230290 582.83/582.94 o 27565230287 583.41/583.54 o 27562740210 583.71/583.84 o 27562740208 583.93/584.02 o 27562740207 583.93/584.07 o 27562740206 584.11/584.29 o 27562740205 585.13/585.22 o 27562740204 586.01/586.19 o 27562740203 586.23/586.32 s OPTIMUM FOUND 586.23/586.32 v -x1 x2 -x3 -x4 x5 -x6 -x7 x8 -x9 -x10 x11 -x12 x13 x14 -x15 -x16 x17 -x18 x19 -x20 -x21 x22 x23 -x24 -x25 x26 x27 -x28 x29 -x30 x31 -x32 -x33 x34 -x35 x36 -x37 -x38 x39 -x40 -x41 x42 x43 -x44 -x45 x46 -x47 -x48 -x49 -x50 -x51 -x52 -x53 -x54 -x55 -x56 -x57 -x58 -x59 -x60 -x61 -x62 -x63 -x64 -x65 -x66 x67 -x68 -x69 -x70 -x71 -x72 -x73 -x74 -x75 -x76 -x77 -x78 -x79 -x80 -x81 x82 -x83 x84 -x85 -x86 x87 -x88 x89 -x90 -x91 -x92 x93 -x94 -x95 -x96 -x97 -x98 -x99 -x100 -x101 -x102 -x103 -x104 -x105 x106 -x107 -x108 -x109 x110 -x111 -x112 -x113 -x114 -x115 -x116 -x117 -x118 -x119 -x120 x121 x122 -x123 x124 -x125 x126 x127 x128 -x129 x130 -x131 -x132 -x133 -x134 x135 x136 -x137 -x138 x139 x140 -x141 x142 -x143 -x144 x145 -x146 -x147 -x148 -x149 x150 -x151 -x152 -x153 -x154 -x155 x156 x157 -x158 -x159 x160 -x161 -x162 x163 -x164 -x165 -x166 x167 -x168 -x169 -x170 -x171 -x172 -x173 -x174 -x175 -x176 -x177 -x178 -x179 -x180 -x181 -x182 -x183 -x184 -x185 -x186 -x187 -x188 -x189 -x190 -x191 -x192 -x193 -x194 -x195 -x196 -x197 -x198 -x199 -x200 -x201 -x202 -x203 -x204 -x205 -x206 -x207 -x208 -x209 -x210 -x211 -x212 -x213 -x214 -x215 -x216 -x217 -x218 -x219 -x220 -x221 -x222 -x223 -x224 -x225 -x226 -x227 -x228 -x229 -x230 -x231 -x232 -x233 -x234 -x235 -x236 -x237 -x238 x239 -x240 -x241 -x242 -x243 -x244 x245 -x246 -x247 x248 -x249 -x250 -x251 -x252 -x253 -x254 -x255 -x256 -x257 -x258 -x259 x260 -x261 x262 -x263 x264 -x265 -x266 -x267 x268 -x269 -x270 x271 x272 -x273 x274 x275 -x276 x277 x278 -x279 -x280 -x281 -x282 x283 -x284 x285 x286 -x287 x288 -x289 -x290 -x291 x292 x293 -x294 x295 -x296 x297 -x298 -x299 -x300 x301 x302 -x303 -x304 x305 -x306 -x307 x308 x309 -x310 -x311 x312 x313 -x314 -x315 -x316 x317 -x318 x319 -x320 -x321 x322 -x323 -x324 x325 -x326 x327 x328 -x329 x330 -x331 -x332 x333 -x334 -x335 x336 x337 -x338 x339 x340 x341 -x342 x343 -x344 -x345 -x346 x347 -x348 x349 -x350 x351 -x352 -x353 x354 -x355 x356 -x357 -x358 x359 x360 -x361 -x362 -x363 -x364 -x365 -x366 -x367 -x368 -x369 x370 -x371 -x372 -x373 -x374 -x375 -x376 -x377 -x378 -x379 -x380 x381 -x382 -x383 -x384 -x385 x386 x387 x388 x389 x390 x391 -x392 -x393 -x394 -x395 x396 -x397 x398 -x399 -x400 x401 x402 x403 x404 x405 x406 -x407 -x408 -x409 x410 -x411 -x412 -x413 -x414 x415 x416 -x417 x418 -x419 -x420 -x421 -x422 -x423 x424 x425 -x426 x427 -x428 -x429 -x430 x431 -x432 -x433 -x434 -x435 -x436 x437 -x438 -x439 -x440 -x441 -x442 x443 x444 -x445 -x446 -x447 x448 -x449 x450 -x451 -x452 x453 x454 -x455 -x456 -x457 x458 -x459 -x460 -x461 -x462 -x463 x464 x465 -x466 -x467 -x468 -x469 -x470 -x471 -x472 -x473 -x474 -x475 -x476 -x477 x478 -x479 x480 -x481 x482 -x483 -x484 x485 -x486 -x487 -x488 -x489 x490 -x491 -x492 -x493 x494 -x495 -x496 x497 -x498 -x499 x500 -x501 x502 -x503 -x504 -x505 -x506 x507 -x508 -x509 -x510 -x511 -x512 -x513 -x514 -x515 -x516 -x517 -x518 -x519 -x520 -x521 x522 x523 -x524 x525 -x526 -x527 -x528 -x529 x530 x531 -x532 x533 -x534 -x535 x536 -x537 x538 -x539 -x540 -x541 x542 x543 -x544 -x545 -x546 -x547 x548 -x549 -x550 -x551 -x552 x553 -x554 -x555 -x556 -x557 -x558 -x559 -x560 -x561 -x562 -x563 x564 -x565 -x566 -x567 -x568 -x569 -x570 x571 -x572 -x573 x574 -x575 -x576 x577 -x578 -x579 -x580 x581 -x582 -x583 x584 x585 -x586 -x587 -x588 -x589 x590 -x591 -x592 -x593 -x594 -x595 x596 -x597 -x598 x599 -x600 -x601 -x602 x603 -x604 x605 -x606 x607 -x608 -x609 -x610 x611 -x612 -x613 -x614 -x615 -x616 x617 -x618 x619 -x620 x621 -x622 -x623 x624 x625 -x626 x627 -x628 x629 -x630 -x631 -x632 -x633 x634 -x635 x636 x637 x638 -x639 -x640 x641 -x642 x643 x644 -x645 -x646 -x647 -x648 x649 -x650 x651 -x652 -x653 -x654 x655 x656 -x657 -x658 -x659 -x660 -x661 -x662 -x663 -x664 x665 -x666 -x667 -x668 -x669 x670 -x671 -x672 -x673 -x674 -x675 -x676 x677 -x678 -x679 -x680 x681 -x682 x683 -x684 -x685 x686 -x687 x688 -x689 x690 -x691 -x692 -x693 -x694 x695 -x696 -x697 -x698 -x699 x700 x701 -x702 -x703 -x704 -x705 -x706 -x707 -x708 -x709 -x710 x711 -x712 x713 x714 -x715 -x716 x717 -x718 -x719 -x720 -x721 -x722 x723 x724 x725 -x726 x727 -x728 -x729 -x730 -x731 x732 -x733 -x734 -x735 x736 x737 x738 -x739 x740 -x741 x742 -x743 x744 -x745 -x746 -x747 x748 -x749 x750 x751 -x752 -x753 -x754 -x755 x756 -x757 x758 -x759 x760 x761 -x762 -x763 -x764 x765 -x766 x767 -x768 -x769 x770 -x771 -x772 x773 -x774 x775 x776 -x777 x778 x779 -x780 -x781 x782 -x783 x784 -x785 x786 -x787 x788 x789 x790 -x791 -x792 x793 -x794 -x795 x796 -x797 -x798 x799 -x800 x801 -x802 -x803 -x804 -x805 -x806 -x807 x808 x809 -x810 -x811 -x812 x813 x814 -x815 -x816 x817 -x818 -x819 x820 -x821 x822 -x823 -x824 x825 -x826 -x827 -x828 -x829 -x830 x831 -x832 x833 -x834 -x835 x836 x837 -x838 -x839 x840 -x841 -x842 x843 -x844 -x845 -x846 -x847 x848 -x849 -x850 -x851 -x852 -x853 -x854 -x855 x856 -x857 -x858 x859 -x860 x861 -x862 x863 -x864 -x865 x866 x867 -x868 -x869 -x870 -x871 x872 -x873 -x874 -x875 x876 -x877 x878 -x879 -x880 x881 -x882 -x883 -x884 x885 -x886 -x887 -x888 -x889 -x890 -x891 x892 -x893 -x894 -x895 -x896 -x897 -x898 -x899 -x900 -x901 -x902 -x903 x904 -x905 x906 -x907 x908 -x909 -x910 -x911 x912 -x913 x914 -x915 -x916 -x917 x918 -x919 x920 -x921 -x922 -x923 -x924 -x925 x926 x927 -x928 -x929 -x930 -x931 -x932 -x933 -x934 -x935 x936 -x937 -x938 -x939 x940 x941 -x942 x943 -x944 x945 -x946 -x947 -x948 -x949 -x950 -x951 -x952 -x953 -x954 -x955 -x956 -x957 x958 -x959 x960 -x961 x962 x963 -x964 -x965 x966 -x967 -x968 -x969 x970 -x971 -x972 -x973 -x974 -x975 -x976 -x977 -x978 x979 x980 -x981 -x982 -x983 -x984 -x985 -x986 x987 -x988 -x989 -x990 -x991 -x992 -x993 -x994 -x995 -x996 -x997 -x998 -x999 -x1000 -x1001 -x1002 -x1003 -x1004 -x1005 -x1006 x1007 -x1008 -x1009 x1010 -x1011 -x1012 -x1013 x1014 -x1015 -x1016 -x1017 x1018 -x1019 x1020 -x1021 -x1022 x1023 -x1024 -x1025 -x1026 -x1027 -x1028 -x1029 -x1030 -x1031 -x1032 -x1033 -x1034 -x1035 -x1036 -x1037 -x1038 x1039 -x1040 -x1041 x1042 -x1043 -x1044 -x1045 -x1046 x1047 x1048 -x1049 -x1050 -x1051 -x1052 -x1053 -x1054 -x1055 -x1056 -x1057 -x1058 -x1059 -x1060 -x1061 -x1062 -x1063 -x1064 -x1065 -x1066 -x1067 -x1068 -x1069 -x1070 -x1071 -x1072 -x1073 -x1074 -x1075 -x1076 -x1077 -x1078 -x1079 -x1080 -x1081 -x1082 -x1083 -x1084 x1085 -x1086 -x1087 -x1088 -x1089 -x1090 -x1091 -x1092 -x1093 -x1094 -x1095 -x1096 x1097 -x1098 x1099 -x1100 -x1101 -x1102 -x1103 x1104 -x1105 x1106 -x1107 x1108 -x1109 -x1110 -x1111 -x1112 x1113 -x1114 -x1115 -x1116 -x1117 x1118 x1119 -x1120 -x1121 -x1122 x1123 -x1124 -x1125 -x1126 -x1127 -x1128 x1129 -x1130 x1131 x1132 -x1133 -x1134 -x1135 x1136 x1137 -x1138 x1139 -x1140 -x1141 -x1142 -x1143 x1144 x1145 x1146 x1147 x1148 -x1149 -x1150 x1151 -x1152 -x1153 x1154 x1155 -x1156 -x1157 -x1158 -x1159 -x1160 -x1161 -x1162 x1163 -x1164 -x1165 x1166 -x1167 -x1168 x1169 -x1170 -x1171 -x1172 x1173 -x1174 -x1175 x1176 -x1177 -x1178 x1179 x1180 -x1181 -x1182 -x1183 x1184 -x1185 -x1186 -x1187 -x1188 -x1189 -x1190 x1191 -x1192 x1193 -x1194 x1195 -x1196 x1197 -x1198 x1199 -x1200 x1201 -x1202 x1203 -x1204 x1205 x1206 -x1207 x1208 -x1209 x1210 -x1211 -x1212 -x1213 -x1214 x1215 -x1216 -x1217 x1218 -x1219 -x1220 -x1221 x1222 -x1223 x1224 -x1225 -x1226 -x1227 -x1228 -x1229 -x1230 -x1231 -x1232 -x1233 -x1234 -x1235 -x1236 -x1237 x1238 -x1239 -x1240 -x1241 -x1242 -x1243 -x1244 -x1245 -x1246 -x1247 -x1248 x1249 -x1250 -x1251 -x1252 -x1253 -x1254 x1255 x1256 -x1257 x1258 -x1259 -x1260 -x1261 -x1262 -x1263 -x1264 -x1265 -x1266 -x1267 -x1268 -x1269 -x1270 -x1271 -x1272 x1273 x1274 -x1275 -x1276 x1277 -x1278 -x1279 -x1280 -x1281 -x1282 x1283 -x1284 -x1285 -x1286 -x1287 -x1288 -x1289 -x1290 -x1291 -x1292 -x1293 -x1294 x1295 -x1296 -x1297 -x1298 -x1299 -x1300 -x1301 x1302 -x1303 -x1304 x1305 x1306 -x1307 x1308 -x1309 x1310 -x1311 x1312 -x1313 -x1314 x1315 -x1316 -x1317 x1318 x1319 -x1320 x1321 -x1322 x1323 -x1324 -x1325 x1326 x1327 x1328 x1329 -x1330 -x1331 -x1332 x1333 -x1334 x1335 x1336 x1337 -x1338 -x1339 -x1340 -x1341 -x1342 -x1343 x1344 x1345 -x1346 -x1347 -x1348 x1349 x1350 -x1351 x1352 x1353 -x1354 -x1355 -x1356 x1357 -x1358 x1359 -x1360 -x1361 x1362 -x1363 -x1364 x1365 -x1366 x1367 -x1368 x1369 -x1370 -x1371 -x1372 -x1373 -x1374 -x1375 -x1376 x1377 -x1378 -x1379 -x1380 -x1381 -x1382 x1383 -x1384 -x1385 x1386 -x1387 x1388 -x1389 -x1390 -x1391 -x1392 -x1393 -x1394 -x1395 -x1396 -x1397 -x1398 -x1399 -x1400 -x1401 -x1402 x1403 -x1404 x1405 -x1406 -x1407 -x1408 x1409 -x1410 -x1411 -x1412 x1413 -x1414 -x1415 -x1416 -x1417 x1418 x1419 -x1420 -x1421 -x1422 -x1423 -x1424 -x1425 -x1426 -x1427 -x1428 -x1429 -x1430 -x1431 -x1432 -x1433 -x1434 -x1435 -x1436 -x1437 x1438 -x1439 -x1440 x1441 -x1442 x1443 -x1444 x1445 -x1446 -x1447 x1448 -x1449 -x1450 -x1451 -x1452 x1453 -x1454 -x1455 -x1456 -x1457 -x1458 -x1459 -x1460 -x1461 -x1462 -x1463 -x1464 -x1465 -x1466 -x1467 x1468 -x1469 x1470 x1471 -x1472 x1473 x1474 -x1475 -x1476 x1477 -x1478 x1479 -x1480 -x1481 -x1482 x1483 -x1484 x1485 -x1486 -x1487 x1488 -x1489 -x1490 x1491 -x1492 x1493 -x1494 -x1495 x1496 -x1497 -x1498 x1499 x1500 -x1501 x1502 -x1503 x1504 -x1505 -x1506 -x1507 -x1508 -x1509 -x1510 x1511 -x1512 -x1513 x1514 -x1515 x1516 -x1517 x1518 -x1519 x1520 -x1521 -x1522 -x1523 -x1524 x1525 -x1526 -x1527 -x1528 -x1529 -x1530 -x1531 x1532 -x1533 -x1534 x1535 -x1536 -x1537 -x1538 -x1539 -x1540 -x1541 -x1542 -x1543 -x1544 -x1545 -x1546 -x1547 -x1548 -x1549 -x1550 -x1551 x1552 -x1553 -x1554 -x1555 -x1556 -x1557 -x1558 -x1559 -x1560 -x1561 -x1562 -x1563 -x1564 -x1565 -x1566 x1567 x1568 x1569 x1570 x1571 x1572 -x1573 -x1574 -x1575 -x1576 -x1577 -x1578 -x1579 -x1580 -x1581 x1582 -x1583 x1584 -x1585 -x1586 -x1587 -x1588 x1589 x1590 -x1591 x1592 -x1593 x1594 x1595 x1596 -x1597 x1598 x1599 x1600 x1601 x1602 x1603 x1604 x1605 x1606 -x1607 -x1608 x1609 x1610 -x1611 -x1612 -x1613 -x1614 -x1615 -x1616 -x1617 -x1618 x1619 -x1620 -x1621 -x1622 -x1623 -x1624 -x1625 -x1626 -x1627 -x1628 -x1629 -x1630 -x1631 x1632 -x1633 -x1634 -x1635 x1636 -x1637 x1638 x1639 x1640 x1641 x1642 x1643 -x1644 x1645 -x1646 -x1647 -x1648 x1649 -x1650 -x1651 -x1652 -x1653 -x1654 -x1655 x1656 -x1657 -x1658 -x1659 x1660 -x1661 -x1662 -x1663 -x1664 -x1665 -x1666 x1667 -x1668 x1669 -x1670 x1671 x1672 -x1673 -x1674 x1675 -x1676 x1677 x1678 x1679 -x1680 -x1681 x1682 -x1683 -x1684 -x1685 x1686 -x1687 x1688 -x1689 x1690 -x1691 x1692 x1693 -x1694 x1695 -x1696 x1697 -x1698 x1699 -x1700 -x1701 x1702 x1703 x1704 -x1705 x1706 -x1707 -x1708 -x1709 -x1710 x1711 x1712 -x1713 x1714 x1715 -x1716 x1717 -x1718 x1719 -x1720 -x1721 x1722 x1723 -x1724 -x1725 -x1726 -x1727 x1728 -x1729 -x1730 -x1731 x1732 -x1733 -x1734 -x1735 -x1736 -x1737 -x1738 -x1739 -x1740 -x1741 x1742 x1743 x1744 -x1745 x1746 -x1747 -x1748 x1749 x1750 -x1751 x1752 -x1753 -x1754 -x1755 -x1756 -x1757 -x1758 -x1759 x1760 -x1761 -x1762 x1763 -x1764 -x1765 -x1766 -x1767 -x1768 x1769 -x1770 -x1771 -x1772 -x1773 -x1774 -x1775 -x1776 -x1777 -x1778 -x1779 x1780 -x1781 -x1782 -x1783 -x1784 -x1785 -x1786 x1787 x1788 -x1789 x1790 -x1791 -x1792 x1793 -x1794 x1795 x1796 -x1797 x1798 -x1799 x1800 -x1801 -x1802 -x1803 x1804 x1805 -x1806 x1807 x1808 x1809 x1810 x1811 -x1812 x1813 -x1814 x1815 x1816 x1817 x1818 -x1819 -x1820 -x1821 x1822 x1823 -x1824 -x1825 x1826 x1827 -x1828 x1829 -x1830 -x1831 -x1832 -x1833 -x1834 x1835 x1836 x1837 x1838 x1839 -x1840 x1841 -x1842 -x1843 -x1844 -x1845 x1846 x1847 -x1848 -x1849 -x1850 x1851 -x1852 -x1853 x1854 -x1855 -x1856 -x1857 -x1858 -x1859 -x1860 -x1861 -x1862 x1863 -x1864 x1865 x1866 -x1867 x1868 x1869 -x1870 x1871 -x1872 -x1873 -x1874 -x1875 x1876 x1877 -x1878 -x1879 -x1880 -x1881 -x1882 x1883 -x1884 -x1885 x1886 x1887 x1888 -x1889 x1890 x1891 x1892 -x1893 -x1894 x1895 -x1896 x1897 -x1898 x1899 x1900 -x1901 x1902 x1903 -x1904 -x1905 x1906 -x1907 x1908 x1909 -x1910 -x1911 x1912 -x1913 x1914 -x1915 x1916 -x1917 x1918 -x1919 x1920 -x1921 x1922 -x1923 -x1924 x1925 x1926 -x1927 x1928 -x1929 x1930 -x1931 -x1932 x1933 -x1934 -x1935 -x1936 -x1937 -x1938 x1939 -x1940 x1941 -x1942 x1943 -x1944 x1945 -x1946 -x1947 x1948 -x1949 x1950 -x1951 -x1952 -x1953 x1954 -x1955 -x1956 -x1957 -x1958 x1959 x1960 -x1961 -x1962 -x1963 -x1964 x1965 -x1966 -x1967 -x1968 -x1969 x1970 -x1971 -x1972 -x1973 -x1974 x1975 -x1976 x1977 x1978 -x1979 -x1980 x1981 -x1982 -x1983 -x1984 -x1985 -x1986 -x1987 x1988 -x1989 x1990 -x1991 x1992 x1993 x1994 x1995 -x1996 x1997 x1998 -x1999 x2000 -x2001 x2002 x2003 -x2004 x2005 -x2006 x2007 x2008 x2009 x2010 -x2011 -x2012 x2013 x2014 x2015 x2016 x2017 -x2018 x2019 x2020 -x2021 x2022 x2023 x2024 -x2025 x2026 x2027 -x2028 x2029 -x2030 x2031 x2032 -x2033 -x2034 x2035 x2036 x2037 x2038 x2039 x2040 x2041 -x2042 x2043 x2044 -x2045 x2046 x2047 -x2048 -x2049 -x2050 x2051 -x2052 -x2053 -x2054 x2055 x2056 x2057 -x2058 -x2059 x2060 -x2061 -x2062 -x2063 -x2064 -x2065 x2066 -x2067 -x2068 -x2069 -x2070 x2071 x2072 -x2073 -x2074 x2075 -x2076 -x2077 x2078 -x2079 x2080 -x2081 x2082 x2083 x2084 -x2085 -x2086 -x2087 x2088 -x2089 -x2090 -x2091 -x2092 x2093 x2094 -x2095 -x2096 -x2097 -x2098 -x2099 -x2100 -x2101 -x2102 -x2103 x2104 x2105 -x2106 -x2107 x2108 -x2109 -x2110 -x2111 -x2112 x2113 x2114 x2115 x2116 -x2117 -x2118 x2119 -x2120 -x2121 x2122 x2123 -x2124 x2125 -x2126 -x2127 x2128 -x2129 -x2130 -x2131 -x2132 -x2133 -x2134 -x2135 -x2136 -x2137 -x2138 x2139 -x2140 -x2141 -x2142 -x2143 x2144 -x2145 -x2146 -x2147 -x2148 -x2149 x2150 -x2151 x2152 -x2153 -x2154 x2155 -x2156 -x2157 -x2158 -x2159 -x2160 -x2161 -x2162 -x2163 -x2164 -x2165 -x2166 x2167 -x2168 -x2169 -x2170 x2171 -x2172 -x2173 x2174 -x2175 -x2176 -x2177 -x2178 -x2179 -x2180 -x2181 -x2182 -x2183 -x2184 -x2185 -x2186 -x2187 -x2188 -x2189 -x2190 -x2191 -x2192 x2193 x2194 x2195 x2196 x2197 -x2198 x2199 -x2200 x2201 -x2202 -x2203 -x2204 -x2205 -x2206 -x2207 -x2208 -x2209 -x2210 -x2211 -x2212 x2213 -x2214 -x2215 -x2216 -x2217 -x2218 -x2219 -x2220 x2221 -x2222 -x2223 -x2224 x2225 -x2226 x2227 -x2228 x2229 -x2230 x2231 -x2232 -x2233 -x2234 -x2235 -x2236 x2237 -x2238 -x2239 -x2240 -x2241 x2242 -x2243 -x2244 x2245 x2246 -x2247 x2248 x2249 -x2250 x2251 -x2252 x2253 -x2254 x2255 -x2256 x2257 -x2258 x2259 x2260 x2261 x2262 -x2263 -x2264 -x2265 -x2266 -x2267 -x2268 x2269 -x2270 x2271 x2272 -x2273 x2274 -x2275 -x2276 -x2277 -x2278 x2279 -x2280 x2281 -x2282 -x2283 x2284 x2285 -x2286 -x2287 -x2288 -x2289 -x2290 x2291 -x2292 -x2293 x2294 x2295 -x2296 -x2297 -x2298 x2299 -x2300 x2301 -x2302 x2303 -x2304 x2305 -x2306 -x2307 x2308 -x2309 -x2310 x2311 -x2312 -x2313 -x2314 -x2315 -x2316 x2317 -x2318 -x2319 -x2320 -x2321 x2322 -x2323 -x2324 x2325 -x2326 -x2327 -x2328 -x2329 -x2330 -x2331 x2332 -x2333 -x2334 x2335 -x2336 -x2337 -x2338 -x2339 x2340 -x2341 -x2342 -x2343 x2344 -x2345 -x2346 -x2347 -x2348 -x2349 x2350 -x2351 -x2352 -x2353 -x2354 -x2355 -x2356 x2357 x2358 -x2359 x2360 -x2361 x2362 -x2363 -x2364 -x2365 x2366 -x2367 x2368 -x2369 -x2370 -x2371 -x2372 -x2373 -x2374 -x2375 x2376 -x2377 -x2378 x2379 -x2380 x2381 -x2382 -x2383 -x2384 x2385 -x2386 -x2387 -x2388 -x2389 -x2390 x2391 -x2392 -x2393 x2394 -x2395 x2396 -x2397 x2398 -x2399 -x2400 -x2401 -x2402 -x2403 -x2404 -x2405 -x2406 -x2407 -x2408 -x2409 -x2410 -x2411 -x2412 x2413 x2414 x2415 x2416 x2417 x2418 -x2419 x2420 -x2421 -x2422 -x2423 x2424 -x2425 -x2426 x2427 -x2428 -x2429 x2430 -x2431 -x2432 x2433 x2434 x2435 x2436 -x2437 x2438 -x2439 x2440 -x2441 x2442 x2443 -x2444 x2445 -x2446 -x2447 x2448 -x2449 x2450 -x2451 -x2452 -x2453 -x2454 -x2455 x2456 -x2457 -x2458 x2459 x2460 -x2461 -x2462 x2463 -x2464 -x2465 x2466 x2467 -x2468 -x2469 -x2470 -x2471 -x2472 -x2473 -x2474 -x2475 -x2476 -x2477 -x2478 -x2479 -x2480 x2481 -x2482 x2483 x2484 -x2485 -x2486 -x2487 -x2488 -x2489 x2490 -x2491 x2492 -x2493 -x2494 -x2495 x2496 -x2497 -x2498 -x2499 -x2500 x2501 -x2502 x2503 x2504 x2505 -x2506 -x2507 x2508 -x2509 x2510 -x2511 -x2512 x2513 -x2514 x2515 -x2516 x2517 -x2518 -x2519 -x2520 x2521 -x2522 x2523 -x2524 -x2525 x2526 x2527 x2528 x2529 x2530 -x2531 -x2532 x2533 x2534 x2535 -x2536 x2537 -x2538 -x2539 -x2540 -x2541 x2542 x2543 -x2544 -x2545 -x2546 -x2547 -x2548 -x2549 -x2550 -x2551 -x2552 -x2553 -x2554 -x2555 x2556 -x2557 -x2558 -x2559 -x2560 -x2561 x2562 -x2563 -x2564 -x2565 -x2566 -x2567 -x2568 x2569 x2570 x2571 -x2572 x2573 -x2574 x2575 -x2576 -x2577 x2578 -x2579 -x2580 x2581 x2582 -x2583 x2584 x2585 x2586 -x2587 x2588 -x2589 -x2590 -x2591 -x2592 -x2593 -x2594 -x2595 -x2596 -x2597 x2598 x2599 -x2600 -x2601 -x2602 x2603 -x2604 x2605 -x2606 -x2607 -x2608 -x2609 -x2610 -x2611 -x2612 x2613 x2614 x2615 -x2616 -x2617 -x2618 x2619 x2620 x2621 x2622 x2623 -x2624 -x2625 -x2626 -x2627 -x2628 -x2629 x2630 -x2631 -x2632 -x2633 -x2634 x2635 x2636 -x2637 -x2638 x2639 -x2640 x2641 -x2642 x2643 -x2644 x2645 -x2646 -x2647 x2648 -x2649 x2650 x2651 x2652 -x2653 x2654 -x2655 x2656 -x2657 x2658 -x2659 -x2660 -x2661 -x2662 -x2663 -x2664 -x2665 x2666 x2667 -x2668 -x2669 -x2670 -x2671 x2672 -x2673 -x2674 -x2675 x2676 -x2677 -x2678 -x2679 x2680 x2681 -x2682 -x2683 x2684 -x2685 -x2686 -x2687 -x2688 -x2689 -x2690 -x2691 -x2692 -x2693 -x2694 -x2695 -x2696 -x2697 -x2698 -x2699 -x2700 -x2701 -x2702 -x2703 -x2704 -x2705 -x2706 -x2707 -x2708 -x2709 -x2710 x2711 -x2712 x2713 -x2714 -x2715 x2716 -x2717 -x2718 -x2719 -x2720 -x2721 -x2722 x2723 x2724 -x2725 -x2726 x2727 x2728 -x2729 x2730 -x2731 -x2732 -x2733 -x2734 -x2735 x2736 x2737 x2738 -x2739 -x2740 -x2741 -x2742 x2743 x2744 -x2745 -x2746 -x2747 -x2748 x2749 -x2750 -x2751 -x2752 x2753 -x2754 -x2755 x2756 -x2757 -x2758 x2759 -x2760 x2761 -x2762 -x2763 -x2764 x2765 -x2766 -x2767 -x2768 -x2769 -x2770 -x2771 x2772 -x2773 x2774 -x2775 -x2776 x2777 -x2778 x2779 -x2780 x2781 -x2782 -x2783 -x2784 x2785 -x2786 -x2787 -x2788 x2789 x2790 -x2791 -x2792 x2793 -x2794 x2795 -x2796 x2797 -x2798 x2799 -x2800 x2801 -x2802 -x2803 -x2804 x2805 x2806 -x2807 -x2808 -x2809 -x2810 x2811 -x2812 -x2813 x2814 x2815 -x2816 x2817 x2818 -x2819 x2820 -x2821 -x2822 x2823 -x2824 -x2825 -x2826 x2827 x2828 x2829 x2830 -x2831 -x2832 -x2833 -x2834 -x2835 x2836 -x2837 -x2838 -x2839 x2840 -x2841 -x2842 -x2843 -x2844 x2845 -x2846 -x2847 -x2848 x2849 -x2850 -x2851 x2852 -x2853 x2854 -x2855 x2856 -x2857 -x2858 -x2859 -x2860 -x2861 x2862 -x2863 x2864 x2865 -x2866 x2867 -x2868 -x2869 -x2870 -x2871 -x2872 -x2873 x2874 -x2875 -x2876 -x2877 x2878 -x2879 -x2880 x2881 -x2882 -x2883 x2884 -x2885 -x2886 -x2887 -x2888 x2889 -x2890 -x2891 -x2892 -x2893 -x2894 x2895 -x2896 -x2897 -x2898 x2899 -x2900 x2901 -x2902 -x2903 x2904 -x2905 x2906 -x2907 -x2908 -x2909 x2910 -x2911 x2912 -x2913 -x2914 x2915 -x2916 -x2917 -x2918 -x2919 x2920 -x2921 -x2922 -x2923 -x2924 x2925 -x2926 -x2927 -x2928 -x2929 -x2930 x2931 -x2932 -x2933 -x2934 x2935 -x2936 x2937 -x2938 x2939 -x2940 x2941 x2942 x2943 x2944 -x2945 -x2946 -x2947 x2948 -x2949 x2950 x2951 -x2952 x2953 -x2954 x2955 -x2956 x2957 -x2958 -x2959 -x2960 -x2961 -x2962 -x2963 -x2964 -x2965 x2966 -x2967 x2968 -x2969 -x2970 x2971 -x2972 -x2973 x2974 -x2975 -x2976 -x2977 -x2978 -x2979 x2980 -x2981 x2982 x2983 -x2984 x2985 x2986 -x2987 -x2988 x2989 -x2990 x2991 -x2992 -x2993 -x2994 -x2995 -x2996 -x2997 -x2998 -x2999 -x3000 x3001 x3002 x3003 -x3004 -x3005 -x3006 x3007 x3008 -x3009 -x3010 x3011 -x3012 -x3013 -x3014 -x3015 -x3016 -x3017 -x3018 -x3019 -x3020 -x3021 -x3022 -x3023 -x3024 -x3025 -x3026 -x3027 x3028 x3029 -x3030 x3031 -x3032 -x3033 -x3034 x3035 -x3036 x3037 -x3038 -x3039 -x3040 x3041 -x3042 x3043 -x3044 x3045 -x3046 x3047 -x3048 -x3049 x3050 x3051 x3052 x3053 -x3054 -x3055 -x3056 -x3057 -x3058 -x3059 -x3060 -x3061 -x3062 -x3063 -x3064 -x3065 -x3066 -x3067 -x3068 -x3069 -x3070 -x3071 -x3072 -x3073 -x3074 -x3075 -x3076 -x3077 -x3078 -x3079 -x3080 -x3081 -x3082 -x3083 -x3084 -x3085 -x3086 -x3087 -x3088 -x3089 -x3090 -x3091 -x3092 -x3093 -x3094 -x3095 -x3096 -x3097 -x3098 -x3099 -x3100 -x3101 -x3102 -x3103 -x3104 -x3105 -x3106 -x3107 -x3108 -x3109 -x3110 -x3111 -x3112 -x3113 -x3114 -x3115 -x3116 -x3117 -x3118 -x3119 -x3120 -x3121 -x3122 -x3123 -x3124 -x3125 -x3126 -x3127 -x3128 -x3129 -x3130 -x3131 -x3132 -x3133 -x3134 -x3135 -x3136 -x3137 -x3138 -x3139 -x3140 -x3141 -x3142 -x3143 -x3144 -x3145 -x3146 -x3147 -x3148 -x3149 -x3150 -x3151 -x3152 -x3153 -x3154 -x3155 -x3156 -x3157 -x3158 -x3159 -x3160 -x3161 -x3162 -x3163 -x3164 -x3165 -x3166 -x3167 -x3168 -x3169 -x3170 -x3171 -x3172 -x3173 -x3174 -x3175 -x3176 -x3177 -x3178 -x3179 -x3180 -x3181 -x3182 -x3183 -x3184 -x3185 -x3186 -x3187 -x3188 -x3189 -x3190 -x3191 -x3192 -x3193 -x3194 -x3195 -x3196 -x3197 -x3198 -x3199 -x3200 -x3201 -x3202 -x3203 -x3204 -x3205 -x3206 -x3207 -x3208 -x3209 -x3210 -x3211 -x3212 -x3213 -x3214 -x3215 -x3216 -x3217 -x3218 -x3219 -x3220 -x3221 -x3222 -x3223 -x3224 -x3225 -x3226 -x3227 -x3228 -x3229 -x3230 -x3231 -x3232 -x3233 -x3234 -x3235 -x3236 -x3237 -x3238 -x3239 -x3240 -x3241 -x3242 -x3243 -x3244 -x3245 -x3246 -x3247 -x3248 -x3249 -x3250 -x3251 -x3252 -x3253 -x3254 -x3255 -x3256 -x3257 -x3258 -x3259 -x3260 -x3261 -x3262 -x3263 -x3264 -x3265 -x3266 -x3267 -x3268 -x3269 -x3270 -x3271 -x3272 -x3273 -x3274 -x3275 -x3276 -x3277 -x3278 -x3279 -x3280 -x3281 -x3282 -x3283 -x3284 -x3285 -x3286 -x3287 -x3288 -x3289 -x3290 -x3291 -x3292 -x3293 -x3294 -x3295 -x3296 -x3297 -x3298 -x3299 -x3300 -x3301 -x3302 -x3303 -x3304 -x3305 -x3306 -x3307 -x3308 -x3309 -x3310 -x3311 -x3312 -x3313 -x3314 -x3315 -x3316 -x3317 -x3318 -x3319 -x3320 -x3321 -x3322 -x3323 -x3324 -x3325 -x3326 -x3327 -x3328 -x3329 -x3330 -x3331 -x3332 -x3333 -x3334 -x3335 -x3336 -x3337 -x3338 -x3339 -x3340 -x3341 -x3342 -x3343 -x3344 -x3345 -x3346 -x3347 -x3348 -x3349 -x3350 -x3351 -x3352 -x3353 -x3354 -x3355 -x3356 -x3357 -x3358 -x3359 -x3360 -x3361 -x3362 -x3363 -x3364 -x3365 -x3366 -x3367 -x3368 -x3369 -x3370 -x3371 -x3372 -x3373 -x3374 -x3375 -x3376 -x3377 -x3378 -x3379 -x3380 -x3381 -x3382 -x3383 -x3384 -x3385 -x3386 -x3387 -x3388 -x3389 -x3390 -x3391 -x3392 -x3393 -x3394 -x3395 -x3396 -x3397 -x3398 -x3399 -x3400 -x3401 -x3402 -x3403 -x3404 -x3405 -x3406 -x3407 -x3408 -x3409 -x3410 -x3411 -x3412 -x3413 -x3414 -x3415 -x3416 -x3417 -x3418 -x3419 -x3420 -x3421 -x3422 -x3423 -x3424 x3425 -x3426 -x3427 -x3428 -x3429 -x3430 -x3431 -x3432 -x3433 -x3434 -x3435 -x3436 -x3437 -x3438 -x3439 -x3440 -x3441 -x3442 -x3443 -x3444 -x3445 -x3446 -x3447 -x3448 -x3449 -x3450 -x3451 -x3452 -x3453 -x3454 -x3455 -x3456 -x3457 -x3458 -x3459 -x3460 -x3461 -x3462 -x3463 -x3464 -x3465 -x3466 -x3467 -x3468 -x3469 -x3470 -x3471 -x3472 -x3473 -x3474 -x3475 -x3476 -x3477 -x3478 -x3479 -x3480 -x3481 -x3482 -x3483 -x3484 -x3485 -x3486 -x3487 -x3488 -x3489 -x3490 -x3491 -x3492 -x3493 -x3494 -x3495 -x3496 -x3497 -x3498 -x3499 -x3500 -x3501 -x3502 -x3503 -x3504 -x3505 -x3506 -x3507 -x3508 -x3509 -x3510 -x3511 -x3512 -x3513 -x3514 -x3515 -x3516 -x3517 -x3518 -x3519 -x3520 -x3521 -x3522 -x3523 -x3524 -x3525 -x3526 -x3527 -x3528 -x3529 -x3530 -x3531 -x3532 -x3533 -x3534 -x3535 -x3536 -x3537 -x3538 -x3539 -x3540 -x3541 -x3542 -x3543 -x3544 -x3545 -x3546 -x3547 -x3548 -x3549 -x3550 -x3551 -x3552 -x3553 -x3554 -x3555 -x3556 -x3557 -x3558 -x3559 -x3560 -x3561 -x3562 -x3563 -x3564 -x3565 -x3566 -x3567 -x3568 -x3569 -x3570 -x3571 -x3572 -x3573 -x3574 -x3575 -x3576 -x3577 -x3578 -x3579 -x3580 -x3581 -x3582 -x3583 -x3584 -x3585 -x3586 -x3587 -x3588 -x3589 -x3590 -x3591 -x3592 -x3593 -x3594 -x3595 -x3596 -x3597 -x3598 -x3599 -x3600 -x3601 -x3602 -x3603 -x3604 -x3605 -x3606 -x3607 -x3608 -x3609 -x3610 -x3611 -x3612 -x3613 -x3614 -x3615 -x3616 -x3617 -x3618 -x3619 -x3620 -x3621 -x3622 -x3623 -x3624 -x3625 -x3626 -x3627 -x3628 -x3629 -x3630 -x3631 -x3632 -x3633 -x3634 -x3635 -x3636 -x3637 -x3638 -x3639 -x3640 -x3641 -x3642 -x3643 -x3644 -x3645 -x3646 -x3647 -x3648 -x3649 -x3650 -x3651 -x3652 -x3653 -x3654 -x3655 -x3656 -x3657 -x3658 -x3659 -x3660 -x3661 -x3662 -x3663 -x3664 -x3665 -x3666 -x3667 -x3668 -x3669 -x3670 -x3671 -x3672 -x3673 -x3674 -x3675 -x3676 -x3677 -x3678 -x3679 -x3680 -x3681 -x3682 -x3683 -x3684 -x3685 -x3686 -x3687 -x3688 -x3689 -x3690 -x3691 -x3692 -x3693 -x3694 -x3695 -x3696 -x3697 -x3698 -x3699 -x3700 -x3701 -x3702 -x3703 -x3704 -x3705 -x3706 -x3707 -x3708 -x3709 -x3710 -x3711 -x3712 -x3713 -x3714 -x3715 -x3716 -x3717 -x3718 -x3719 -x3720 -x3721 -x3722 -x3723 -x3724 -x3725 x3726 -x3727 -x3728 -x3729 -x3730 -x3731 -x3732 -x3733 -x3734 -x3735 -x3736 -x3737 -x3738 -x3739 -x3740 -x3741 -x3742 -x3743 -x3744 -x3745 -x3746 -x3747 -x3748 -x3749 -x3750 -x3751 -x3752 -x3753 -x3754 -x3755 -x3756 -x3757 -x3758 -x3759 -x3760 -x3761 -x3762 -x3763 -x3764 -x3765 -x3766 -x3767 -x3768 -x3769 -x3770 -x3771 -x3772 x3773 -x3774 -x3775 x3776 -x3777 -x3778 -x3779 -x3780 -x3781 -x3782 -x3783 -x3784 -x3785 -x3786 -x3787 -x3788 -x3789 -x3790 -x3791 -x3792 -x3793 -x3794 -x3795 -x3796 -x3797 -x3798 -x3799 -x3800 -x3801 -x3802 -x3803 -x3804 -x3805 -x3806 -x3807 -x3808 -x3809 -x3810 -x3811 -x3812 -x3813 -x3814 -x3815 -x3816 -x3817 -x3818 -x3819 -x3820 -x3821 -x3822 -x3823 -x3824 -x3825 -x3826 -x3827 -x3828 -x3829 -x3830 -x3831 -x3832 -x3833 -x3834 -x3835 -x3836 -x3837 -x3838 -x3839 -x3840 -x3841 -x3842 -x3843 -x3844 -x3845 -x3846 -x3847 -x3848 -x3849 -x3850 -x3851 -x3852 -x3853 -x3854 -x3855 -x3856 -x3857 -x3858 -x3859 -x3860 -x3861 -x3862 -x3863 -x3864 -x3865 -x3866 -x3867 -x3868 -x3869 -x3870 -x3871 -x3872 -x3873 -x3874 -x3875 -x3876 -x3877 -x3878 -x3879 -x3880 -x3881 -x3882 -x3883 -x3884 -x3885 -x3886 -x3887 -x3888 -x3889 -x3890 -x3891 -x3892 -x3893 -x3894 -x3895 -x3896 -x3897 -x3898 -x3899 -x3900 -x3901 x3902 -x3903 -x3904 -x3905 -x3906 -x3907 -x3908 -x3909 -x3910 -x3911 -x3912 -x3913 -x3914 -x3915 -x3916 -x3917 -x3918 -x3919 -x3920 -x3921 -x3922 -x3923 -x3924 -x3925 -x3926 -x3927 -x3928 -x3929 -x3930 -x3931 -x3932 -x3933 -x3934 -x3935 -x3936 -x3937 -x3938 -x3939 -x3940 -x3941 -x3942 -x3943 -x3944 -x3945 -x3946 -x3947 -x3948 -x3949 -x3950 -x3951 -x3952 -x3953 -x3954 -x3955 -x3956 -x3957 -x3958 -x3959 -x3960 -x3961 -x3962 -x3963 -x3964 -x3965 -x3966 -x3967 -x3968 -x3969 -x3970 -x3971 -x3972 -x3973 -x3974 -x3975 -x3976 -x3977 -x3978 -x3979 -x3980 -x3981 x3982 -x3983 -x3984 -x3985 -x3986 -x3987 -x3988 -x3989 -x3990 -x3991 -x3992 -x3993 -x3994 -x3995 -x3996 -x3997 -x3998 -x3999 -x4000 -x4001 -x4002 -x4003 -x4004 -x4005 -x4006 -x4007 -x4008 -x4009 -x4010 -x4011 -x4012 -x4013 -x4014 -x4015 x4016 -x4017 -x4018 -x4019 -x4020 -x4021 -x4022 -x4023 -x4024 -x4025 -x4026 -x4027 -x4028 -x4029 -x4030 -x4031 -x4032 -x4033 -x4034 -x4035 -x4036 -x4037 -x4038 -x4039 -x4040 -x4041 -x4042 -x4043 -x4044 -x4045 -x4046 -x4047 -x4048 -x4049 -x4050 -x4051 -x4052 -x4053 -x4054 -x4055 -x4056 -x4057 -x4058 -x4059 -x4060 -x4061 -x4062 -x4063 -x4064 -x4065 -x4066 x4067 -x4068 -x4069 -x4070 -x4071 -x4072 -x4073 -x4074 -x4075 -x4076 -x4077 -x4078 -x4079 -x4080 -x4081 -x4082 -x4083 -x4084 -x4085 -x4086 -x4087 -x4088 -x4089 -x4090 -x4091 -x4092 -x4093 -x4094 -x4095 -x4096 -x4097 -x4098 -x4099 -x4100 -x4101 -x4102 -x4103 -x4104 -x4105 -x4106 -x4107 -x4108 -x4109 -x4110 -x4111 -x4112 -x4113 -x4114 -x4115 -x4116 -x4117 -x4118 -x4119 -x4120 -x4121 -x4122 -x4123 -x4124 -x4125 -x4126 -x4127 -x4128 -x4129 -x4130 -x4131 -x4132 -x4133 -x4134 -x4135 -x4136 -x4137 -x4138 -x4139 -x4140 -x4141 -x4142 -x4143 -x4144 -x4145 -x4146 -x4147 -x4148 -x4149 -x4150 -x4151 -x4152 -x4153 -x4154 -x4155 -x4156 -x4157 -x4158 -x4159 -x4160 -x4161 -x4162 -x4163 -x4164 -x4165 -x4166 -x4167 -x4168 -x4169 -x4170 -x4171 -x4172 -x4173 -x4174 -x4175 -x4176 -x4177 -x4178 -x4179 -x4180 -x4181 -x4182 -x4183 -x4184 -x4185 -x4186 -x4187 -x4188 -x4189 -x4190 -x4191 -x4192 -x4193 -x4194 -x4195 -x4196 -x4197 -x4198 -x4199 -x4200 -x4201 -x4202 -x4203 -x4204 -x4205 -x4206 -x4207 -x4208 -x4209 -x4210 -x4211 -x4212 -x4213 -x4214 -x4215 -x4216 -x4217 -x4218 -x4219 -x4220 -x4221 -x4222 -x4223 -x4224 -x4225 -x4226 -x4227 -x4228 -x4229 -x4230 -x4231 -x4232 -x4233 -x4234 -x4235 -x4236 -x4237 x4238 -x4239 -x4240 -x4241 -x4242 -x4243 -x4244 -x4245 -x4246 -x4247 -x4248 -x4249 -x4250 -x4251 -x4252 -x4253 -x4254 -x4255 -x4256 -x4257 -x4258 -x4259 -x4260 -x4261 -x4262 -x4263 -x4264 -x4265 -x4266 -x4267 -x4268 -x4269 -x4270 -x4271 -x4272 -x4273 -x4274 -x4275 -x4276 -x4277 -x4278 -x4279 -x4280 -x4281 -x4282 -x4283 -x4284 -x4285 -x4286 -x4287 -x4288 -x4289 -x4290 -x4291 -x4292 -x4293 -x4294 -x4295 -x4296 -x4297 -x4298 -x4299 -x4300 -x4301 -x4302 -x4303 -x4304 -x4305 -x4306 -x4307 -x4308 -x4309 -x4310 -x4311 -x4312 -x4313 -x4314 -x4315 -x4316 -x4317 -x4318 -x4319 -x4320 -x4321 -x4322 -x4323 -x4324 -x4325 -x4326 -x4327 -x4328 -x4329 -x4330 -x4331 -x4332 -x4333 -x4334 -x4335 -x4336 -x4337 -x4338 -x4339 -x4340 -x4341 -x4342 -x4343 -x4344 -x4345 -x4346 -x4347 -x4348 -x4349 -x4350 -x4351 -x4352 -x4353 -x4354 -x4355 -x4356 -x4357 -x4358 -x4359 -x4360 -x4361 -x4362 -x4363 -x4364 -x4365 -x4366 -x4367 -x4368 -x4369 -x4370 -x4371 -x4372 -x4373 -x4374 -x4375 -x4376 -x4377 -x4378 -x4379 -x4380 -x4381 -x4382 -x4383 -x4384 -x4385 -x4386 -x4387 -x4388 -x4389 -x4390 -x4391 -x4392 -x4393 -x4394 x4395 x4396 -x4397 -x4398 -x4399 -x4400 -x4401 -x4402 -x4403 -x4404 -x4405 -x4406 -x4407 -x4408 -x4409 -x4410 -x4411 -x4412 -x4413 -x4414 -x4415 -x4416 -x4417 -x4418 -x4419 -x4420 -x4421 -x4422 -x4423 -x4424 -x4425 -x4426 -x4427 -x4428 -x4429 -x4430 -x4431 -x4432 -x4433 -x4434 -x4435 -x4436 -x4437 -x4438 -x4439 -x4440 -x4441 -x4442 -x4443 -x4444 -x4445 -x4446 -x4447 -x4448 -x4449 -x4450 -x4451 -x4452 -x4453 -x4454 -x4455 -x4456 -x4457 -x4458 -x4459 -x4460 -x4461 -x4462 -x4463 -x4464 -x4465 -x4466 -x4467 -x4468 -x4469 -x4470 -x4471 -x4472 -x4473 -x4474 -x4475 -x4476 -x4477 -x4478 -x4479 -x4480 -x4481 -x4482 -x4483 -x4484 -x4485 -x4486 -x4487 -x4488 -x4489 -x4490 -x4491 -x4492 -x4493 -x4494 -x4495 -x4496 -x4497 -x4498 -x4499 -x4500 -x4501 -x4502 -x4503 -x4504 -x4505 -x4506 -x4507 -x4508 -x4509 -x4510 x4511 -x4512 -x4513 -x4514 -x4515 -x4516 -x4517 -x4518 -x4519 -x4520 -x4521 -x4522 -x4523 -x4524 -x4525 -x4526 -x4527 -x4528 -x4529 -x4530 -x4531 -x4532 -x4533 -x4534 -x4535 -x4536 -x4537 -x4538 -x4539 -x4540 -x4541 -x4542 -x4543 -x4544 -x4545 -x4546 -x4547 -x4548 -x4549 -x4550 -x4551 -x4552 -x4553 -x4554 -x4555 -x4556 -x4557 -x4558 -x4559 -x4560 -x4561 -x4562 -x4563 -x4564 -x4565 -x4566 -x4567 -x4568 -x4569 -x4570 -x4571 -x4572 -x4573 -x4574 -x4575 -x4576 -x4577 -x4578 -x4579 -x4580 -x4581 -x4582 -x4583 -x4584 -x4585 -x4586 -x4587 -x4588 -x4589 -x4590 -x4591 -x4592 -x4593 -x4594 -x4595 -x4596 -x4597 -x4598 -x4599 -x4600 -x4601 -x4602 -x4603 -x4604 -x4605 -x4606 -x4607 -x4608 -x4609 -x4610 -x4611 -x4612 -x4613 -x4614 -x4615 -x4616 -x4617 -x4618 -x4619 -x4620 -x4621 -x4622 -x4623 -x4624 -x4625 -x4626 -x4627 -x4628 -x4629 -x4630 -x4631 -x4632 -x4633 -x4634 -x4635 -x4636 -x4637 -x4638 -x4639 -x4640 -x4641 -x4642 -x4643 -x4644 -x4645 -x4646 -x4647 -x4648 -x4649 -x4650 -x4651 -x4652 -x4653 -x4654 -x4655 -x4656 -x4657 -x4658 -x4659 -x4660 -x4661 -x4662 -x4663 -x4664 -x4665 -x4666 -x4667 -x4668 -x4669 -x4670 -x4671 -x4672 -x4673 -x4674 -x4675 -x4676 -x4677 -x4678 x4679 -x4680 -x4681 -x4682 -x4683 -x4684 -x4685 -x4686 -x4687 -x4688 -x4689 -x4690 -x4691 -x4692 -x4693 -x4694 -x4695 -x4696 -x4697 -x4698 -x4699 -x4700 -x4701 -x4702 -x4703 -x4704 -x4705 -x4706 -x4707 -x4708 -x4709 -x4710 -x4711 -x4712 -x4713 -x4714 -x4715 -x4716 -x4717 -x4718 -x4719 -x4720 -x4721 -x4722 -x4723 -x4724 -x4725 -x4726 -x4727 -x4728 -x4729 -x4730 -x4731 -x4732 -x4733 -x4734 -x4735 -x4736 -x4737 -x4738 -x4739 -x4740 -x4741 -x4742 -x4743 -x4744 -x4745 -x4746 -x4747 -x4748 -x4749 x4750 x4751 -x4752 -x4753 -x4754 -x4755 -x4756 -x4757 -x4758 -x4759 -x4760 -x4761 -x4762 -x4763 -x4764 -x4765 -x4766 -x4767 x4768 -x4769 -x4770 -x4771 -x4772 -x4773 -x4774 -x4775 -x4776 -x4777 -x4778 -x4779 -x4780 -x4781 -x4782 -x4783 -x4784 -x4785 -x4786 -x4787 -x4788 -x4789 -x4790 -x4791 -x4792 -x4793 -x4794 -x4795 -x4796 -x4797 -x4798 -x4799 -x4800 -x4801 -x4802 -x4803 -x4804 -x4805 -x4806 -x4807 -x4808 -x4809 -x4810 -x4811 -x4812 -x4813 -x4814 -x4815 -x4816 -x4817 -x4818 -x4819 -x4820 -x4821 -x4822 -x4823 -x4824 -x4825 -x4826 -x4827 -x4828 -x4829 -x4830 -x4831 -x4832 -x4833 -x4834 -x4835 -x4836 -x4837 -x4838 -x4839 -x4840 -x4841 -x4842 -x4843 -x4844 -x4845 -x4846 -x4847 -x4848 -x4849 -x4850 -x4851 -x4852 -x4853 -x4854 -x4855 -x4856 -x4857 -x4858 -x4859 -x4860 -x4861 -x4862 -x4863 -x4864 -x4865 -x4866 -x4867 -x4868 -x4869 -x4870 -x4871 -x4872 -x4873 -x4874 -x4875 -x4876 -x4877 -x4878 -x4879 -x4880 -x4881 -x4882 -x4883 -x4884 -x4885 -x4886 -x4887 -x4888 -x4889 -x4890 -x4891 -x4892 -x4893 -x4894 -x4895 -x4896 -x4897 -x4898 -x4899 -x4900 -x4901 -x4902 -x4903 -x4904 -x4905 -x4906 -x4907 -x4908 -x4909 -x4910 -x4911 -x4912 -x4913 -x4914 -x4915 -x4916 -x4917 -x4918 -x4919 -x4920 -x4921 -x4922 -x4923 -x4924 -x4925 -x4926 -x4927 -x4928 -x4929 -x4930 -x4931 -x4932 -x4933 -x4934 -x4935 -x4936 -x4937 -x4938 -x4939 -x4940 -x4941 -x4942 -x4943 -x4944 -x4945 -x4946 -x4947 -x4948 -x4949 -x4950 -x4951 -x4952 -x4953 -x4954 -x4955 -x4956 -x4957 -x4958 -x4959 -x4960 -x4961 -x4962 -x4963 -x4964 -x4965 -x4966 -x4967 -x4968 -x4969 -x4970 -x4971 -x4972 -x4973 -x4974 -x4975 -x4976 -x4977 -x4978 -x4979 -x4980 -x4981 -x4982 -x4983 -x4984 -x4985 -x4986 -x4987 -x4988 -x4989 -x4990 -x4991 -x4992 -x4993 -x4994 -x4995 -x4996 -x4997 -x4998 -x4999 -x5000 -x5001 -x5002 -x5003 -x5004 -x5005 -x5006 -x5007 -x5008 -x5009 -x5010 -x5011 -x5012 -x5013 -x5014 -x5015 -x5016 -x5017 -x5018 -x5019 -x5020 -x5021 -x5022 -x5023 -x5024 -x5025 -x5026 -x5027 -x5028 -x5029 -x5030 -x5031 -x5032 -x5033 -x5034 -x5035 -x5036 -x5037 -x5038 -x5039 -x5040 -x5041 -x5042 -x5043 -x5044 -x5045 -x5046 -x5047 -x5048 -x5049 -x5050 -x5051 -x5052 -x5053 -x5054 -x5055 -x5056 -x5057 -x5058 -x5059 -x5060 -x5061 -x5062 -x5063 -x5064 -x5065 -x5066 -x5067 -x5068 -x5069 -x5070 -x5071 -x5072 -x5073 -x5074 -x5075 -x5076 -x5077 -x5078 -x5079 -x5080 -x5081 -x5082 -x5083 x5084 x5085 -x5086 -x5087 -x5088 -x5089 -x5090 -x5091 -x5092 -x5093 -x5094 -x5095 -x5096 -x5097 -x5098 -x5099 -x5100 -x5101 -x5102 -x5103 -x5104 -x5105 -x5106 -x5107 -x5108 -x5109 -x5110 -x5111 -x5112 -x5113 -x5114 x5115 x5116 -x5117 -x5118 -x5119 -x5120 -x5121 -x5122 -x5123 -x5124 -x5125 -x5126 -x5127 -x5128 -x5129 -x5130 -x5131 -x5132 -x5133 -x5134 -x5135 -x5136 -x5137 -x5138 -x5139 -x5140 -x5141 x5142 -x5143 -x5144 -x5145 -x5146 -x5147 -x5148 -x5149 -x5150 -x5151 -x5152 -x5153 -x5154 -x5155 -x5156 -x5157 -x5158 -x5159 -x5160 -x5161 -x5162 -x5163 -x5164 -x5165 -x5166 -x5167 -x5168 -x5169 -x5170 -x5171 -x5172 -x5173 -x5174 -x5175 -x5176 -x5177 -x5178 -x5179 -x5180 -x5181 -x5182 -x5183 -x5184 -x5185 -x5186 x5187 x5188 x5189 -x5190 -x5191 -x5192 -x5193 -x5194 -x5195 -x5196 -x5197 -x5198 -x5199 -x5200 -x5201 -x5202 -x5203 -x5204 -x5205 -x5206 -x5207 -x5208 -x5209 -x5210 -x5211 -x5212 -x5213 -x5214 -x5215 -x5216 -x5217 -x5218 -x5219 -x5220 -x5221 -x5222 -x5223 -x5224 -x5225 -x5226 -x5227 -x5228 -x5229 -x5230 -x5231 -x5232 -x5233 -x5234 -x5235 -x5236 -x5237 -x5238 -x5239 -x5240 -x5241 -x5242 -x5243 -x5244 -x5245 -x5246 -x5247 -x5248 -x5249 -x5250 -x5251 -x5252 -x5253 -x5254 -x5255 -x5256 -x5257 -x5258 -x5259 -x5260 -x5261 -x5262 -x5263 -x5264 -x5265 -x5266 -x5267 -x5268 -x5269 -x5270 -x5271 -x5272 -x5273 -x5274 -x5275 -x5276 -x5277 -x5278 -x5279 -x5280 -x5281 -x5282 -x5283 -x5284 -x5285 -x5286 -x5287 -x5288 -x5289 -x5290 -x5291 -x5292 -x5293 -x5294 -x5295 -x5296 -x5297 -x5298 -x5299 -x5300 -x5301 -x5302 -x5303 -x5304 -x5305 -x5306 -x5307 -x5308 -x5309 -x5310 -x5311 -x5312 -x5313 -x5314 -x5315 -x5316 -x5317 -x5318 -x5319 -x5320 -x5321 -x5322 -x5323 -x5324 -x5325 -x5326 -x5327 -x5328 -x5329 -x5330 -x5331 -x5332 -x5333 -x5334 -x5335 -x5336 -x5337 -x5338 -x5339 -x5340 -x5341 -x5342 -x5343 -x5344 -x5345 -x5346 -x5347 -x5348 -x5349 -x5350 -x5351 -x5352 -x5353 -x5354 -x5355 -x5356 -x5357 -x5358 -x5359 -x5360 -x5361 -x5362 -x5363 -x5364 -x5365 -x5366 -x5367 -x5368 -x5369 -x5370 -x5371 -x5372 -x5373 -x5374 -x5375 -x5376 -x5377 -x5378 -x5379 -x5380 -x5381 -x5382 -x5383 -x5384 -x5385 -x5386 -x5387 -x5388 -x5389 -x5390 -x5391 -x5392 -x5393 -x5394 -x5395 -x5396 -x5397 -x5398 -x5399 -x5400 -x5401 -x5402 -x5403 -x5404 -x5405 -x5406 -x5407 -x5408 -x5409 -x5410 -x5411 -x5412 -x5413 -x5414 -x5415 -x5416 -x5417 -x5418 -x5419 -x5420 -x5421 -x5422 -x5423 -x5424 -x5425 -x5426 -x5427 -x5428 -x5429 -x5430 -x5431 -x5432 -x5433 -x5434 -x5435 -x5436 -x5437 -x5438 -x5439 -x5440 x5441 -x5442 -x5443 -x5444 -x5445 -x5446 -x5447 -x5448 -x5449 -x5450 -x5451 -x5452 -x5453 -x5454 -x5455 -x5456 -x5457 -x5458 -x5459 -x5460 -x5461 -x5462 -x5463 -x5464 -x5465 -x5466 -x5467 -x5468 -x5469 -x5470 x5471 x5472 x5473 x5474 x5475 -x5476 -x5477 -x5478 -x5479 -x5480 -x5481 -x5482 -x5483 -x5484 -x5485 -x5486 -x5487 -x5488 -x5489 -x5490 -x5491 -x5492 -x5493 -x5494 -x5495 -x5496 -x5497 -x5498 -x5499 -x5500 -x5501 -x5502 -x5503 -x5504 -x5505 -x5506 -x5507 -x5508 -x5509 -x5510 -x5511 -x5512 -x5513 -x5514 -x5515 -x5516 -x5517 -x5518 -x5519 -x5520 -x5521 -x5522 -x5523 -x5524 -x5525 -x5526 -x5527 -x5528 -x5529 -x5530 -x5531 -x5532 -x5533 -x5534 -x5535 -x5536 -x5537 -x5538 -x5539 -x5540 -x5541 -x5542 -x5543 -x5544 -x5545 -x5546 -x5547 -x5548 -x5549 -x5550 -x5551 -x5552 -x5553 -x5554 -x5555 -x5556 -x5557 -x5558 -x5559 -x5560 -x5561 -x5562 -x5563 -x5564 -x5565 -x5566 -x5567 -x5568 -x5569 -x5570 -x5571 -x5572 -x5573 -x5574 -x5575 -x5576 -x5577 -x5578 -x5579 -x5580 -x5581 -x5582 -x5583 -x5584 -x5585 -x5586 -x5587 x5588 -x5589 -x5590 -x5591 -x5592 -x5593 -x5594 -x5595 -x5596 -x5597 -x5598 -x5599 -x5600 -x5601 -x5602 -x5603 -x5604 -x5605 -x5606 -x5607 -x5608 -x5609 -x5610 -x5611 -x5612 -x5613 -x5614 -x5615 -x5616 -x5617 -x5618 -x5619 -x5620 -x5621 -x5622 -x5623 -x5624 -x5625 -x5626 -x5627 -x5628 -x5629 -x5630 -x5631 -x5632 -x5633 -x5634 -x5635 -x5636 -x5637 -x5638 -x5639 -x5640 -x5641 -x5642 -x5643 -x5644 -x5645 -x5646 -x5647 -x5648 -x5649 -x5650 -x5651 -x5652 -x5653 -x5654 -x5655 -x5656 -x5657 -x5658 -x5659 -x5660 -x5661 -x5662 -x5663 -x5664 -x5665 -x5666 -x5667 -x5668 -x5669 -x5670 -x5671 -x5672 -x5673 -x5674 -x5675 -x5676 -x5677 -x5678 -x5679 -x5680 -x5681 -x5682 -x5683 -x5684 -x5685 -x5686 -x5687 -x5688 -x5689 -x5690 -x5691 -x5692 -x5693 -x5694 -x5695 -x5696 -x5697 -x5698 -x5699 -x5700 -x5701 -x5702 -x5703 -x5704 -x5705 -x5706 -x5707 -x5708 -x5709 -x5710 -x5711 -x5712 -x5713 -x5714 -x5715 -x5716 -x5717 -x5718 -x5719 -x5720 -x5721 -x5722 -x5723 -x5724 -x5725 -x5726 -x5727 -x5728 -x5729 -x5730 -x5731 -x5732 x5733 -x5734 x5735 -x5736 -x5737 -x5738 -x5739 -x5740 -x5741 -x5742 -x5743 -x5744 -x5745 -x5746 x5747 -x5748 -x5749 -x5750 -x5751 -x5752 -x5753 -x5754 -x5755 x5756 -x5757 -x5758 -x5759 -x5760 x5761 -x5762 -x5763 -x5764 -x5765 -x5766 -x5767 -x5768 -x5769 -x5770 -x5771 -x5772 -x5773 -x5774 -x5775 x5776 -x5777 -x5778 -x5779 -x5780 -x5781 -x5782 -x5783 -x5784 -x5785 x5786 -x5787 -x5788 x5789 x5790 x5791 x5792 -x5793 x5794 x5795 x5796 x5797 -x5798 -x5799 x5800 -x5801 -x5802 x5803 -x5804 -x5805 -x5806 -x5807 -x5808 -x5809 -x5810 x5811 x5812 x5813 x5814 -x5815 -x5816 -x5817 -x5818 -x5819 -x5820 -x5821 -x5822 -x5823 -x5824 -x5825 -x5826 -x5827 -x5828 -x5829 -x5830 -x5831 -x5832 -x5833 -x5834 -x5835 -x5836 -x5837 -x5838 -x5839 -x5840 -x5841 -x5842 -x5843 -x5844 -x5845 -x5846 -x5847 -x5848 -x5849 -x5850 -x5851 -x5852 -x5853 -x5854 -x5855 -x5856 -x5857 -x5858 -x5859 -x5860 -x5861 -x5862 -x5863 -x5864 -x5865 -x5866 x5867 x5868 -x5869 x5870 x5871 -x5872 -x5873 -x5874 -x5875 -x5876 -x5877 x5878 -x5879 x5880 -x5881 -x5882 x5883 x5884 x5885 x5886 x5887 x5888 x5889 x5890 x5891 x5892 -x5893 -x5894 -x5895 x5896 -x5897 -x5898 -x5899 -x5900 -x5901 -x5902 x5903 x5904 -x5905 x5906 -x5907 -x5908 -x5909 x5910 -x5911 -x5912 -x5913 -x5914 -x5915 -x5916 -x5917 -x5918 -x5919 -x5920 -x5921 -x5922 -x5923 -x5924 -x5925 -x5926 -x5927 -x5928 -x5929 -x5930 -x5931 -x5932 -x5933 -x5934 -x5935 -x5936 x5937 -x5938 -x5939 -x5940 -x5941 -x5942 -x5943 -x5944 x5945 -x5946 -x5947 -x5948 -x5949 -x5950 -x5951 -x5952 -x5953 -x5954 x5955 x5956 -x5957 -x5958 -x5959 -x5960 -x5961 -x5962 -x5963 -x5964 -x5965 -x5966 -x5967 -x5968 -x5969 -x5970 -x5971 -x5972 x5973 x5974 x5975 -x5976 -x5977 x5978 x5979 -x5980 -x5981 -x5982 x5983 x5984 -x5985 -x5986 x5987 -x5988 -x5989 -x5990 -x5991 -x5992 x5993 x5994 x5995 x5996 -x5997 x5998 -x5999 -x6000 -x6001 -x6002 -x6003 -x6004 -x6005 -x6006 -x6007 x6008 x6009 x6010 -x6011 -x6012 -x6013 x6014 x6015 -x6016 -x6017 x6018 x6019 x6020 x6021 -x6022 -x6023 -x6024 -x6025 x6026 x6027 x6028 x6029 x6030 x6031 x6032 -x6033 -x6034 x6035 -x6036 -x6037 -x6038 -x6039 x6040 x6041 x6042 x6043 x6044 x6045 x6046 -x6047 -x6048 -x6049 -x6050 -x6051 -x6052 x6053 x6054 -x6055 x6056 -x6057 -x6058 -x6059 -x6060 -x6061 -x6062 x6063 x6064 -x6065 x6066 x6067 x6068 x6069 x6070 -x6071 x6072 -x6073 -x6074 -x6075 x6076 -x6077 -x6078 -x6079 x6080 x6081 x6082 x6083 -x6084 -x6085 -x6086 x6087 -x6088 -x6089 x6090 -x6091 -x6092 x6093 x6094 x6095 x6096 x6097 x6098 x6099 x6100 x6101 x6102 x6103 x6104 x6105 x6106 x6107 x6108 x6109 x6110 -x6111 -x6112 x6113 x6114 x6115 x6116 x6117 x6118 x6119 -x6120 x6121 x6122 -x6123 x6124 -x6125 x6126 x6127 x6128 -x6129 -x6130 -x6131 x6132 -x6133 -x6134 -x6135 -x6136 x6137 x6138 -x6139 -x6140 x6141 x6142 -x6143 x6144 x6145 x6146 x6147 x6148 -x6149 -x6150 x6151 x6152 -x6153 -x6154 -x6155 -x6156 x6157 -x6158 -x6159 -x6160 -x6161 -x6162 -x6163 -x6164 -x6165 -x6166 -x6167 -x6168 x6169 -x6170 -x6171 -x6172 -x6173 -x6174 x6175 -x6176 x6177 x6178 -x6179 -x6180 x6181 x6182 -x6183 -x6184 -x6185 -x6186 x6187 -x6188 -x6189 -x6190 -x6191 x6192 -x6193 -x6194 -x6195 -x6196 x6197 x6198 -x6199 -x6200 -x6201 -x6202 -x6203 -x6204 -x6205 -x6206 -x6207 -x6208 -x6209 -x6210 -x6211 -x6212 -x6213 -x6214 -x6215 -x6216 -x6217 -x6218 -x6219 -x6220 x6221 x6222 x6223 x6224 -x6225 -x6226 -x6227 -x6228 -x6229 -x6230 x6231 x6232 -x6233 -x6234 -x6235 -x6236 -x6237 -x6238 -x6239 -x6240 -x6241 -x6242 -x6243 -x6244 x6245 -x6246 -x6247 x6248 -x6249 -x6250 -x6251 -x6252 -x6253 -x6254 x6255 -x6256 -x6257 -x6258 x6259 -x6260 -x6261 -x6262 x6263 -x6264 -x6265 -x6266 x6267 -x6268 x6269 -x6270 x6271 x6272 -x6273 x6274 x6275 x6276 x6277 -x6278 x6279 x6280 x6281 x6282 x6283 x6284 x6285 -x6286 -x6287 -x6288 -x6289 x6290 x6291 x6292 x6293 x6294 -x6295 x6296 x6297 x6298 x6299 x6300 x6301 -x6302 -x6303 x6304 -x6305 x6306 -x6307 -x6308 x6309 -x6310 -x6311 -x6312 x6313 x6314 x6315 -x6316 -x6317 x6318 x6319 -x6320 x6321 x6322 x6323 -x6324 -x6325 x6326 x6327 x6328 x6329 x6330 x6331 x6332 x6333 -x6334 x6335 x6336 x6337 x6338 -x6339 x6340 x6341 x6342 x6343 x6344 x6345 x6346 x6347 x6348 x6349 -x6350 x6351 -x6352 x6353 x6354 x6355 x6356 x6357 -x6358 -x6359 -x6360 x6361 x6362 x6363 -x6364 x6365 x6366 x6367 x6368 x6369 -x6370 x6371 x6372 -x6373 -x6374 -x6375 -x6376 -x6377 x6378 -x6379 x6380 -x6381 -x6382 x6383 -x6384 x6385 x6386 -x6387 x6388 x6389 -x6390 -x6391 -x6392 x6393 -x6394 -x6395 -x6396 x6397 -x6398 -x6399 x6400 x6401 x6402 x6403 -x6404 -x6405 x6406 x6407 -x6408 -x6409 x6410 -x6411 x6412 -x6413 x6414 x6415 x6416 x6417 -x6418 -x6419 x6420 x6421 -x6422 x6423 x6424 x6425 x6426 x6427 x6428 -x6429 x6430 x6431 x6432 x6433 x6434 x6435 x6436 x6437 -x6438 x6439 x6440 x6441 x6442 -x6443 -x6444 -x6445 -x6446 -x6447 x6448 x6449 x6450 x6451 -x6452 x6453 -x6454 -x6455 -x6456 -x6457 -x6458 -x6459 -x6460 x6461 x6462 x6463 -x6464 x6465 -x6466 x6467 x6468 x6469 -x6470 x6471 x6472 x6473 x6474 -x6475 x6476 -x6477 -x6478 -x6479 x6480 x6481 x6482 x6483 x6484 x6485 x6486 x6487 -x6488 x6489 x6490 -x6491 -x6492 x6493 -x6494 -x6495 x6496 x6497 -x6498 x6499 -x6500 x6501 x6502 x6503 x6504 x6505 -x6506 -x6507 x6508 x6509 -x6510 x6511 x6512 x6513 -x6514 -x6515 -x6516 -x6517 x6518 x6519 x6520 -x6521 -x6522 -x6523 x6524 -x6525 -x6526 x6527 x6528 -x6529 -x6530 x6531 x6532 x6533 x6534 x6535 -x6536 -x6537 -x6538 x6539 x6540 x6541 x6542 x6543 x6544 x6545 x6546 x6547 -x6548 -x6549 x6550 x6551 x6552 -x6553 x6554 -x6555 x6556 -x6557 x6558 x6559 x6560 x6561 x6562 x6563 x6564 -x6565 x6566 -x6567 -x6568 -x6569 -x6570 x6571 x6572 -x6573 -x6574 -x6575 -x6576 -x6577 -x6578 -x6579 x6580 -x6581 x6582 -x6583 -x6584 x6585 -x6586 -x6587 -x6588 -x6589 -x6590 -x6591 -x6592 -x6593 -x6594 -x6595 -x6596 -x6597 -x6598 -x6599 -x6600 x6601 x6602 -x6603 x6604 x6605 x6606 -x6607 x6608 -x6609 -x6610 -x6611 -x6612 -x6613 x6614 x6615 x6616 -x6617 -x6618 -x6619 -x6620 -x6621 -x6622 -x6623 -x6624 -x6625 -x6626 -x6627 -x6628 x6629 x6630 x6631 x6632 x6633 -x6634 -x6635 -x6636 x6637 x6638 -x6639 -x6640 x6641 -x6642 -x6643 -x6644 x6645 x6646 -x6647 -x6648 -x6649 -x6650 -x6651 -x6652 -x6653 x6654 x6655 -x6656 -x6657 -x6658 -x6659 x6660 -x6661 x6662 -x6663 -x6664 x6665 x6666 x6667 x6668 -x6669 -x6670 -x6671 -x6672 -x6673 -x6674 -x6675 -x6676 x6677 x6678 -x6679 -x6680 -x6681 x6682 -x6683 -x6684 -x6685 -x6686 -x6687 -x6688 -x6689 -x6690 -x6691 -x6692 x6693 -x6694 x6695 x6696 x6697 x6698 -x6699 -x6700 -x6701 -x6702 -x6703 -x6704 x6705 -x6706 x6707 x6708 -x6709 -x6710 x6711 x6712 -x6713 -x6714 -x6715 -x6716 -x6717 -x6718 -x6719 -x6720 -x6721 -x6722 -x6723 -x6724 -x6725 -x6726 x6727 -x6728 -x6729 x6730 -x6731 -x6732 -x6733 -x6734 -x6735 -x6736 -x6737 -x6738 -x6739 -x6740 -x6741 x6742 x6743 -x6744 -x6745 -x6746 -x6747 -x6748 -x6749 -x6750 -x6751 -x6752 -x6753 -x6754 x6755 x6756 -x6757
OK 27562740203
runsolver Copyright (C) 2010-2011 Olivier ROUSSEL This is runsolver version 3.3.0 (svn: 977) This program is distributed in the hope that it will be useful, but WITHOUT ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License for more details. command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3467683-1307426738/watcher-3467683-1307426738 -o /tmp/evaluation-result-3467683-1307426738/solver-3467683-1307426738 -C 1800 -W 1900 -M 15500 --use-pty HOME/minisatid-gmp HOME/instance-3467683-1307426738.opb --verbosity=0 --format=opb running on 4 cores: 0,2,4,6 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB Using a pseudo terminal to collect output from the solver Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 2.00 2.01 2.00 2/477 22730 /proc/meminfo: memFree=18800352/32951124 swapFree=67057928/67111528 [pid=22730] ppid=22728 vsize=8748 CPUtime=0.01 cores=0,2,4,6 /proc/22730/stat : 22730 (minisatid-gmp) R 22728 22730 21867 0 -1 4202496 779 0 0 0 1 0 0 0 25 0 1 0 835089107 8957952 683 33554432000 4194304 6736272 140736064997088 18446744073709551615 5911552 0 0 4096 17571 0 0 0 17 2 0 0 0 /proc/22730/statm: 2187 683 248 621 0 1557 0 [startup+0.0865289 s] /proc/loadavg: 2.00 2.01 2.00 2/477 22730 /proc/meminfo: memFree=18800352/32951124 swapFree=67057928/67111528 [pid=22730] ppid=22728 vsize=14496 CPUtime=0.08 cores=0,2,4,6 /proc/22730/stat : 22730 (minisatid-gmp) R 22728 22730 21867 0 -1 4202496 2180 0 0 0 8 0 0 0 25 0 1 0 835089107 14843904 2084 33554432000 4194304 6736272 140736064997088 18446744073709551615 5809726 0 0 4096 17571 0 0 0 17 2 0 0 0 /proc/22730/statm: 3624 2085 248 621 0 2994 0 Current children cumulated CPU time (s) 0.08 Current children cumulated vsize (KiB) 14496 [startup+0.100518 s] /proc/loadavg: 2.00 2.01 2.00 2/477 22730 /proc/meminfo: memFree=18800352/32951124 swapFree=67057928/67111528 [pid=22730] ppid=22728 vsize=15504 CPUtime=0.09 cores=0,2,4,6 /proc/22730/stat : 22730 (minisatid-gmp) R 22728 22730 21867 0 -1 4202496 2438 0 0 0 9 0 0 0 25 0 1 0 835089107 15876096 2342 33554432000 4194304 6736272 140736064997088 18446744073709551615 5809726 0 0 4096 17571 0 0 0 17 2 0 0 0 /proc/22730/statm: 3876 2343 248 621 0 3246 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 15504 [startup+0.300497 s] /proc/loadavg: 2.00 2.01 2.00 2/477 22730 /proc/meminfo: memFree=18800352/32951124 swapFree=67057928/67111528 [pid=22730] ppid=22728 vsize=32624 CPUtime=0.29 cores=0,2,4,6 /proc/22730/stat : 22730 (minisatid-gmp) R 22728 22730 21867 0 -1 4202496 7037 0 0 0 29 0 0 0 25 0 1 0 835089107 33406976 6643 33554432000 4194304 6736272 140736064997088 18446744073709551615 5809726 0 0 4096 17571 0 0 0 17 2 0 0 0 /proc/22730/statm: 8156 6644 265 621 0 7526 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 32624 [startup+0.70042 s] /proc/loadavg: 2.00 2.01 2.00 2/477 22730 /proc/meminfo: memFree=18800352/32951124 swapFree=67057928/67111528 [pid=22730] ppid=22728 vsize=73984 CPUtime=0.69 cores=0,2,4,6 /proc/22730/stat : 22730 (minisatid-gmp) R 22728 22730 21867 0 -1 4202496 17416 0 0 0 67 2 0 0 25 0 1 0 835089107 75759616 16956 33554432000 4194304 6736272 140736064997088 18446744073709551615 5809726 0 0 4096 17571 0 0 0 17 2 0 0 0 /proc/22730/statm: 18529 16959 266 621 0 17899 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 73984 [startup+1.50028 s] /proc/loadavg: 2.00 2.01 2.00 3/478 22731 /proc/meminfo: memFree=18718256/32951124 swapFree=67057928/67111528 [pid=22730] ppid=22728 vsize=84392 CPUtime=1.49 cores=0,2,4,6 /proc/22730/stat : 22730 (minisatid-gmp) R 22728 22730 21867 0 -1 4202496 21099 0 0 0 147 2 0 0 25 0 1 0 835089107 86417408 20634 33554432000 4194304 6736272 140736064997088 18446744073709551615 5817998 0 0 4096 17571 0 0 0 17 2 0 0 0 /proc/22730/statm: 21098 20634 284 621 0 20468 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 84392 [startup+3.101 s] /proc/loadavg: 2.00 2.01 2.00 3/478 22731 /proc/meminfo: memFree=18717140/32951124 swapFree=67057928/67111528 [pid=22730] ppid=22728 vsize=84396 CPUtime=3.09 cores=0,2,4,6 /proc/22730/stat : 22730 (minisatid-gmp) R 22728 22730 21867 0 -1 4202496 21115 0 0 0 307 2 0 0 25 0 1 0 835089107 86421504 20650 33554432000 4194304 6736272 140736064997088 18446744073709551615 5812137 0 0 4096 17571 0 0 0 17 2 0 0 0 /proc/22730/statm: 21099 20650 286 621 0 20469 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 84396 [startup+6.30043 s] /proc/loadavg: 2.00 2.01 2.00 3/478 22731 /proc/meminfo: memFree=18718064/32951124 swapFree=67057928/67111528 [pid=22730] ppid=22728 vsize=84396 CPUtime=6.29 cores=0,2,4,6 /proc/22730/stat : 22730 (minisatid-gmp) R 22728 22730 21867 0 -1 4202496 21115 0 0 0 627 2 0 0 25 0 1 0 835089107 86421504 20650 33554432000 4194304 6736272 140736064997088 18446744073709551615 5149219 0 0 4096 17571 0 0 0 17 2 0 0 0 /proc/22730/statm: 21099 20650 286 621 0 20469 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 84396 [startup+12.7003 s] /proc/loadavg: 2.00 2.01 2.00 3/478 22731 /proc/meminfo: memFree=18717296/32951124 swapFree=67057928/67111528 [pid=22730] ppid=22728 vsize=84796 CPUtime=12.69 cores=0,2,4,6 /proc/22730/stat : 22730 (minisatid-gmp) R 22728 22730 21867 0 -1 4202496 21139 0 0 0 1267 2 0 0 25 0 1 0 835089107 86831104 20674 33554432000 4194304 6736272 140736064997088 18446744073709551615 5155024 0 0 4096 17571 0 0 0 17 2 0 0 0 /proc/22730/statm: 21199 20674 286 621 0 20569 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 84796 [startup+25.501 s] /proc/loadavg: 1.93 1.99 1.99 3/478 22759 /proc/meminfo: memFree=21011216/32951124 swapFree=67057928/67111528 [pid=22730] ppid=22728 vsize=84796 CPUtime=25.49 cores=0,2,4,6 /proc/22730/stat : 22730 (minisatid-gmp) R 22728 22730 21867 0 -1 4202496 21197 0 0 0 2547 2 0 0 25 0 1 0 835089107 86831104 20731 33554432000 4194304 6736272 140736064997088 18446744073709551615 5811974 0 0 4096 17571 0 0 0 17 2 0 0 0 /proc/22730/statm: 21199 20731 286 621 0 20569 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 84796 [startup+51.1005 s] /proc/loadavg: 1.95 1.99 1.99 3/478 22760 /proc/meminfo: memFree=21009708/32951124 swapFree=67057928/67111528 [pid=22730] ppid=22728 vsize=86204 CPUtime=51.09 cores=0,2,4,6 /proc/22730/stat : 22730 (minisatid-gmp) R 22728 22730 21867 0 -1 4202496 21533 0 0 0 5106 3 0 0 25 0 1 0 835089107 88272896 21065 33554432000 4194304 6736272 140736064997088 18446744073709551615 5803251 0 0 4096 17571 0 0 0 17 2 0 0 0 /proc/22730/statm: 21551 21065 286 621 0 20921 0 Current children cumulated CPU time (s) 51.09 Current children cumulated vsize (KiB) 86204 [startup+102.318 s] /proc/loadavg: 1.98 1.99 1.99 3/478 22762 /proc/meminfo: memFree=21004312/32951124 swapFree=67057928/67111528 [pid=22730] ppid=22728 vsize=88500 CPUtime=102.31 cores=0,2,4,6 /proc/22730/stat : 22730 (minisatid-gmp) R 22728 22730 21867 0 -1 4202496 22103 0 0 0 10228 3 0 0 25 0 1 0 835089107 90624000 21630 33554432000 4194304 6736272 140736064997088 18446744073709551615 5816799 0 0 4096 17571 0 0 0 17 2 0 0 0 /proc/22730/statm: 22125 21630 286 621 0 21495 0 Current children cumulated CPU time (s) 102.31 Current children cumulated vsize (KiB) 88500 [startup+162.301 s] /proc/loadavg: 2.12 2.02 2.00 3/478 22763 /proc/meminfo: memFree=20999464/32951124 swapFree=67057928/67111528 [pid=22730] ppid=22728 vsize=93884 CPUtime=162.29 cores=0,2,4,6 /proc/22730/stat : 22730 (minisatid-gmp) R 22728 22730 21867 0 -1 4202496 22631 0 0 0 16226 3 0 0 25 0 1 0 835089107 96137216 22156 33554432000 4194304 6736272 140736064997088 18446744073709551615 5803339 0 0 4096 17571 0 0 0 17 2 0 0 0 /proc/22730/statm: 23471 22156 286 621 0 22841 0 Current children cumulated CPU time (s) 162.29 Current children cumulated vsize (KiB) 93884 [startup+222.3 s] /proc/loadavg: 2.10 2.03 2.00 3/478 22765 /proc/meminfo: memFree=20999820/32951124 swapFree=67057928/67111528 [pid=22730] ppid=22728 vsize=87868 CPUtime=222.29 cores=0,2,4,6 /proc/22730/stat : 22730 (minisatid-gmp) R 22728 22730 21867 0 -1 4202496 23257 0 0 0 22226 3 0 0 25 0 1 0 835089107 89976832 21509 33554432000 4194304 6736272 140736064997088 18446744073709551615 5818807 0 0 4096 17571 0 0 0 17 2 0 0 0 /proc/22730/statm: 21967 21509 286 621 0 21337 0 Current children cumulated CPU time (s) 222.29 Current children cumulated vsize (KiB) 87868 [startup+282.301 s] /proc/loadavg: 2.03 2.02 2.00 3/478 22766 /proc/meminfo: memFree=21002744/32951124 swapFree=67057928/67111528 [pid=22730] ppid=22728 vsize=90148 CPUtime=282.3 cores=0,2,4,6 /proc/22730/stat : 22730 (minisatid-gmp) R 22728 22730 21867 0 -1 4202496 23408 0 0 0 28226 4 0 0 25 0 1 0 835089107 92311552 21659 33554432000 4194304 6736272 140736064997088 18446744073709551615 4509741 0 0 4096 17571 0 0 0 17 2 0 0 0 /proc/22730/statm: 22537 21659 286 621 0 21907 0 Current children cumulated CPU time (s) 282.3 Current children cumulated vsize (KiB) 90148 [startup+342.301 s] /proc/loadavg: 2.01 2.02 2.00 3/478 22768 /proc/meminfo: memFree=21001596/32951124 swapFree=67057928/67111528 [pid=22730] ppid=22728 vsize=90148 CPUtime=342.23 cores=0,2,4,6 /proc/22730/stat : 22730 (minisatid-gmp) R 22728 22730 21867 0 -1 4202496 23476 0 0 0 34219 4 0 0 25 0 1 0 835089107 92311552 21727 33554432000 4194304 6736272 140736064997088 18446744073709551615 5149379 0 0 4096 17571 0 0 0 17 2 0 0 0 /proc/22730/statm: 22537 21727 286 621 0 21907 0 Current children cumulated CPU time (s) 342.23 Current children cumulated vsize (KiB) 90148 [startup+402.3 s] /proc/loadavg: 2.00 2.01 2.00 3/478 22769 /proc/meminfo: memFree=21001572/32951124 swapFree=67057928/67111528 [pid=22730] ppid=22728 vsize=90148 CPUtime=402.22 cores=0,2,4,6 /proc/22730/stat : 22730 (minisatid-gmp) R 22728 22730 21867 0 -1 4202496 23533 0 0 0 40218 4 0 0 25 0 1 0 835089107 92311552 21784 33554432000 4194304 6736272 140736064997088 18446744073709551615 4734706 0 0 4096 17571 0 0 0 17 2 0 0 0 /proc/22730/statm: 22537 21784 286 621 0 21907 0 Current children cumulated CPU time (s) 402.22 Current children cumulated vsize (KiB) 90148 [startup+462.301 s] /proc/loadavg: 2.11 2.04 2.01 3/478 22771 /proc/meminfo: memFree=21000068/32951124 swapFree=67057928/67111528 [pid=22730] ppid=22728 vsize=90148 CPUtime=462.22 cores=0,2,4,6 /proc/22730/stat : 22730 (minisatid-gmp) R 22728 22730 21867 0 -1 4202496 23644 0 0 0 46218 4 0 0 25 0 1 0 835089107 92311552 21895 33554432000 4194304 6736272 140736064997088 18446744073709551615 4745109 0 0 4096 17571 0 0 0 17 2 0 0 0 /proc/22730/statm: 22537 21895 287 621 0 21907 0 Current children cumulated CPU time (s) 462.22 Current children cumulated vsize (KiB) 90148 [startup+522.3 s] /proc/loadavg: 2.09 2.04 2.01 3/478 22773 /proc/meminfo: memFree=20999284/32951124 swapFree=67057928/67111528 [pid=22730] ppid=22728 vsize=93884 CPUtime=522.22 cores=0,2,4,6 /proc/22730/stat : 22730 (minisatid-gmp) R 22728 22730 21867 0 -1 4202496 23916 0 0 0 52218 4 0 0 25 0 1 0 835089107 96137216 22165 33554432000 4194304 6736272 140736064997088 18446744073709551615 4535211 0 0 4096 17571 0 0 0 17 2 0 0 0 /proc/22730/statm: 23471 22165 287 621 0 22841 0 Current children cumulated CPU time (s) 522.22 Current children cumulated vsize (KiB) 93884 [startup+582.301 s] /proc/loadavg: 2.03 2.03 2.00 3/478 22774 /proc/meminfo: memFree=21001128/32951124 swapFree=67057928/67111528 [pid=22730] ppid=22728 vsize=93884 CPUtime=582.21 cores=0,2,4,6 /proc/22730/stat : 22730 (minisatid-gmp) R 22728 22730 21867 0 -1 4202496 23916 0 0 0 58217 4 0 0 25 0 1 0 835089107 96137216 22165 33554432000 4194304 6736272 140736064997088 18446744073709551615 4534891 0 0 4096 17571 0 0 0 17 2 0 0 0 /proc/22730/statm: 23471 22165 287 621 0 22841 0 Current children cumulated CPU time (s) 582.21 Current children cumulated vsize (KiB) 93884 Solver just ended. Dumping a history of the last processes samples [startup+583.9 s] /proc/loadavg: 2.03 2.03 2.00 3/478 22774 /proc/meminfo: memFree=21000508/32951124 swapFree=67057928/67111528 [pid=22730] ppid=22728 vsize=93884 CPUtime=583.81 cores=0,2,4,6 /proc/22730/stat : 22730 (minisatid-gmp) R 22728 22730 21867 0 -1 4202496 23916 0 0 0 58377 4 0 0 25 0 1 0 835089107 96137216 22165 33554432000 4194304 6736272 140736064997088 18446744073709551615 4535205 0 0 4096 17571 0 0 0 17 2 0 0 0 /proc/22730/statm: 23471 22165 287 621 0 22841 0 Current children cumulated CPU time (s) 583.81 Current children cumulated vsize (KiB) 93884 [startup+585.501 s] /proc/loadavg: 2.03 2.03 2.00 3/478 22774 /proc/meminfo: memFree=21000756/32951124 swapFree=67057928/67111528 [pid=22730] ppid=22728 vsize=93884 CPUtime=585.41 cores=0,2,4,6 /proc/22730/stat : 22730 (minisatid-gmp) R 22728 22730 21867 0 -1 4202496 23916 0 0 0 58537 4 0 0 25 0 1 0 835089107 96137216 22165 33554432000 4194304 6736272 140736064997088 18446744073709551615 5151408 0 0 4096 17571 0 0 0 17 2 0 0 0 /proc/22730/statm: 23471 22165 287 621 0 22841 0 Current children cumulated CPU time (s) 585.41 Current children cumulated vsize (KiB) 93884 [startup+585.901 s] /proc/loadavg: 2.03 2.03 2.00 3/478 22774 /proc/meminfo: memFree=21000756/32951124 swapFree=67057928/67111528 [pid=22730] ppid=22728 vsize=93884 CPUtime=585.81 cores=0,2,4,6 /proc/22730/stat : 22730 (minisatid-gmp) R 22728 22730 21867 0 -1 4202496 23916 0 0 0 58577 4 0 0 25 0 1 0 835089107 96137216 22165 33554432000 4194304 6736272 140736064997088 18446744073709551615 5811937 0 0 4096 17571 0 0 0 17 2 0 0 0 /proc/22730/statm: 23471 22165 287 621 0 22841 0 Current children cumulated CPU time (s) 585.81 Current children cumulated vsize (KiB) 93884 [startup+586.318 s] /proc/loadavg: 2.03 2.03 2.00 3/478 22774 /proc/meminfo: memFree=21000384/32951124 swapFree=67057928/67111528 [pid=22730] ppid=22728 vsize=93884 CPUtime=586.23 cores=0,2,4,6 /proc/22730/stat : 22730 (minisatid-gmp) R 22728 22730 21867 0 -1 4202496 23916 0 0 0 58619 4 0 0 25 0 1 0 835089107 96137216 22165 33554432000 4194304 6736272 140736064997088 18446744073709551615 5817073 0 0 4096 17571 0 0 0 17 2 0 0 0 /proc/22730/statm: 23471 22165 287 621 0 22841 0 Current children cumulated CPU time (s) 586.23 Current children cumulated vsize (KiB) 93884 Child status: 10 Real time (s): 586.337 CPU time (s): 586.259 CPU user time (s): 586.205 CPU system time (s): 0.053991 CPU usage (%): 99.9868 Max. virtual memory (cumulated for all children) (KiB): 93884 getrusage(RUSAGE_CHILDREN,...) data: user time used= 586.205 system time used= 0.053991 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 23921 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= 15 involuntary context switches= 1211 runsolver used 2.93655 second user time and 6.21406 second system time The end
Begin job on node140 at 2011-06-07 08:05:38 IDJOB=3467683 IDBENCH=72299 IDSOLVER=1957 FILE ID=node140/3467683-1307426738 RUNJOBID= node140-1307417691-21995 PBS_JOBID= 13514228 Free space on /tmp= 73692 MiB SOLVER NAME= MinisatID 2.4.8-gmp BENCH NAME= PB10/normalized-PB10/OPT-BIGINT-LIN/leberre/opb-trendy/misc2010/random/rand.newlist/normalized-rand27da90.cudf.trendy.opb COMMAND LINE= HOME/minisatid-gmp BENCHNAME --verbosity=0 --format=opb RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3467683-1307426738/watcher-3467683-1307426738 -o /tmp/evaluation-result-3467683-1307426738/solver-3467683-1307426738 -C 1800 -W 1900 -M 15500 --use-pty HOME/minisatid-gmp HOME/instance-3467683-1307426738.opb --verbosity=0 --format=opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= 1db531ec7fbea38dd353f31b0fba98ed RANDOM SEED=498776535 node140.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.833 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.66 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.833 cache size : 8192 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5226.14 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.833 cache size : 8192 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.75 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.833 cache size : 8192 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.77 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.833 cache size : 8192 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.75 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.833 cache size : 8192 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.74 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.833 cache size : 8192 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.75 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.833 cache size : 8192 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.75 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] /proc/meminfo: MemTotal: 32951124 kB MemFree: 18800632 kB Buffers: 335604 kB Cached: 4221356 kB SwapCached: 6932 kB Active: 9920792 kB Inactive: 3887524 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 32951124 kB LowFree: 18800632 kB SwapTotal: 67111528 kB SwapFree: 67057928 kB Dirty: 3896 kB Writeback: 0 kB AnonPages: 9249656 kB Mapped: 39188 kB Slab: 216732 kB PageTables: 56628 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 83587088 kB Committed_AS: 143751616 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= 73732 MiB End job on node140 at 2011-06-07 08:15:24