Download the above graph as a PDF file / as an EPS file
| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| MinisatID 2.4.8-gmp | OPT | 4241573758 | 1602.81 | 1602.8 |
| Name | /OPT-BIGINT-LIN/leberre/opb-trendy/misc2010/ random/rand.newlist/normalized-randc5fe62.cudf.trendy.opb |
| MD5SUM | 43875142ae1c220985d6e8b2ab6ecef8 |
| 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 | 4241573758 |
| Best CPU time to get the best result obtained on this benchmark | 5.76712 |
| 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 | 6791 |
| Total number of constraints | 28455 |
| Number of constraints which are clauses | 28164 |
| Number of constraints which are cardinality constraints (but not clauses) | 291 |
| 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 | 3172 |
| Biggest coefficient in the objective function | 4004529472 |
| Number of bits for the biggest coefficient in the objective function | 32 |
| Sum of the numbers in the objective function | 2210495226091 |
| Number of bits of the sum of numbers in the objective function | 42 |
| Biggest number in a constraint | 4004529472 |
| Number of bits of the biggest number in a constraint | 32 |
| Biggest sum of numbers in a constraint | 2210495226091 |
| Number of bits of the biggest sum of numbers | 42 |
| 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.68/2.72 o 1297971898032 2.98/3.00 o 1293969890304 2.98/3.07 o 1289965360832 3.08/3.18 o 1285960831360 3.38/3.45 o 1281956301888 3.98/4.03 o 1277951772416 4.08/4.19 o 1273947242944 4.29/4.31 o 1269942713472 4.40/4.44 o 1265938184000 4.78/4.83 o 1261933654528 4.88/4.96 o 1257929125056 5.18/5.21 o 1253924595584 5.39/5.49 o 1249920066112 5.68/5.77 o 1237916564673 5.98/6.04 o 1233912035201 6.08/6.18 o 1229907505729 6.28/6.32 o 1225902976257 6.60/6.62 o 1221900968529 6.78/6.82 o 1217896439057 7.08/7.10 o 1213891909585 7.18/7.21 o 1209889901857 7.28/7.34 o 1205885372385 7.48/7.50 o 1201880842913 7.59/7.63 o 1197876313441 7.70/7.75 o 1193871783969 7.88/7.90 o 1189867254497 7.98/8.05 o 1185862725025 8.08/8.14 o 1181860717297 8.18/8.20 o 1177856187825 8.38/8.48 o 1173851658353 8.58/8.60 o 1169847128881 8.58/8.69 o 1165842599409 8.69/8.81 o 1161838069937 8.88/8.96 o 1157836062209 8.98/9.03 o 1153831532737 9.18/9.24 o 1149827003265 9.28/9.32 o 1145824995537 9.28/9.39 o 1141820466065 9.68/9.71 o 1137815936593 9.98/10.03 o 1133811407121 10.18/10.26 o 1129809399393 10.38/10.48 o 1125804869921 10.58/10.63 o 1121800340449 10.68/10.77 o 1117795810977 11.28/11.33 o 1113791281507 11.48/11.50 o 1109786752035 11.48/11.59 o 1105782222563 11.58/11.67 o 1101777693091 11.78/11.86 o 1097773163619 11.99/12.05 o 1093768634147 12.18/12.21 o 1089764104675 12.38/12.42 o 1085759575203 12.48/12.53 o 1081755045731 12.88/12.91 o 1077750516259 13.09/13.21 o 1073745986787 13.68/13.70 o 1069741457315 14.38/14.45 o 1065736927843 14.58/14.60 o 1061732398371 14.68/14.73 o 1057727868899 14.88/14.90 o 1053723339427 15.08/15.10 o 1049718809955 15.40/15.47 o 1045714280483 15.88/15.91 o 1041709751011 16.08/16.19 o 1037705221539 16.50/16.57 o 1025699198355 17.08/17.19 o 1021694668883 17.38/17.41 o 1017692661155 17.68/17.70 o 1013688131683 17.88/17.90 o 1009683602211 18.48/18.58 o 1005679072739 18.88/18.90 o 1001674543267 19.58/19.69 o 997670013795 20.18/20.27 o 993665484323 21.08/21.14 o 989660954852 21.58/21.66 o 985656425380 21.78/21.89 o 981654417652 22.08/22.12 o 977649888180 22.68/22.79 o 973645358708 22.88/22.98 o 969640829236 23.38/23.48 o 965636299764 23.58/23.67 o 961631770292 23.88/23.90 o 957627240820 24.68/24.73 o 953622711348 24.88/24.95 o 949618181876 25.58/25.62 o 949615660132 25.68/25.72 o 949613138388 25.98/26.00 o 949610616644 26.08/26.14 o 949608094900 26.98/27.07 o 949605573156 34.10/34.17 o 945601043687 34.38/34.43 o 945598521943 34.78/34.81 o 941601557707 34.78/34.87 o 937599549979 34.88/34.94 o 933595020507 34.98/35.09 o 925588483307 35.09/35.18 o 925585961563 35.20/35.25 o 921581432091 35.28/35.33 o 917576902619 35.38/35.41 o 913572373148 35.48/35.51 o 909567843677 35.48/35.58 o 905563314205 35.58/35.64 o 905563314204 35.68/35.70 o 901558784732 35.68/35.76 o 897554255260 35.88/35.91 o 893549725788 35.98/36.02 o 889545196316 36.08/36.11 o 885540666844 36.19/36.21 o 881536137372 36.19/36.26 o 877531607900 36.30/36.37 o 873527078428 36.38/36.43 o 869522548956 36.38/36.48 o 865518019484 36.58/36.65 o 865512975996 36.88/36.98 o 857508960541 37.09/37.12 o 853504431069 37.19/37.29 o 849499901597 37.29/37.38 o 845495372125 37.40/37.46 o 841490842653 37.49/37.51 o 837486313181 37.59/37.66 o 833481783709 37.89/37.91 o 833479261965 37.89/37.96 o 829474732493 38.09/38.19 o 825470203021 38.39/38.50 o 821468195293 38.50/38.56 o 817463665821 38.69/38.74 o 813459136349 38.79/38.80 o 809454606877 39.19/39.21 o 805450077405 39.49/39.51 o 801445547933 40.29/40.31 o 777446110295 40.49/40.51 o 773441580823 40.59/40.61 o 769437051352 40.59/40.66 o 765432521880 40.70/40.76 o 761427992408 40.89/40.99 o 749421969226 41.19/41.25 o 745417439755 41.29/41.32 o 741412910283 41.49/41.56 o 737408380811 41.59/41.71 o 733403851339 41.80/41.87 o 729399321867 42.09/42.18 o 725394792396 42.39/42.40 o 725392270658 42.59/42.61 o 721387741186 42.69/42.79 o 717383211714 42.79/42.88 o 713378682242 42.99/43.03 o 709374152770 43.09/43.10 o 705369623298 43.19/43.23 o 701365093826 43.19/43.29 o 697360564354 43.29/43.36 o 693356034882 43.49/43.52 o 689351505410 43.59/43.68 o 685346975938 43.89/43.98 o 681342446466 44.19/44.20 o 677337916996 44.29/44.34 o 673333387524 44.69/44.76 o 669328858052 44.89/44.97 o 665324328580 45.10/45.19 o 661319799108 45.29/45.39 o 657315269636 45.59/45.64 o 653310740164 45.79/45.86 o 649306210692 46.09/46.14 o 645301681220 46.20/46.27 o 641299673492 46.29/46.37 o 637295144020 46.49/46.54 o 633290614548 46.59/46.67 o 629286085076 47.09/47.11 o 625281555606 47.39/47.49 o 621277026134 47.69/47.73 o 621274504390 47.89/47.92 o 621271982646 47.99/48.04 o 617267453184 48.19/48.20 o 617264931440 48.29/48.39 o 617262409696 48.69/48.73 o 613257880224 48.99/49.07 o 609253350752 49.09/49.18 o 609250829008 49.19/49.25 o 609248307264 49.79/49.81 o 605243777792 49.89/49.94 o 605241256048 50.19/50.28 o 605236212560 50.39/50.43 o 605233690816 50.49/50.51 o 605231169072 50.60/50.63 o 605228647328 50.69/50.70 o 601224117856 50.99/51.06 o 601221596112 51.19/51.27 o 601219074368 51.39/51.43 o 601216552624 51.59/51.66 o 601214030880 52.09/52.10 o 601211509136 52.49/52.57 o 601208987392 52.59/52.64 o 601206465648 53.59/53.60 o 597204457920 53.69/53.72 o 593210015424 53.79/53.81 o 589205485952 53.79/53.88 o 585200956480 53.99/54.00 o 581196427008 54.39/54.41 o 577194419280 54.59/54.65 o 573189889808 54.69/54.79 o 569185360336 54.89/54.96 o 565180830864 55.19/55.20 o 565178309120 55.19/55.27 o 565175787376 55.29/55.37 o 565173265631 55.39/55.44 o 561168736159 55.49/55.58 o 561168736158 55.69/55.75 o 557164206686 55.79/55.82 o 553159677214 55.79/55.89 o 549155147742 56.29/56.31 o 545150618270 56.39/56.45 o 545150618269 56.59/56.68 o 541146088797 56.79/56.82 o 537141559325 57.20/57.26 o 533137029853 57.29/57.38 o 529132500381 57.59/57.68 o 529129978637 58.69/58.73 o 525125449165 58.79/58.84 o 521120919693 59.09/59.10 o 517116390221 59.19/59.25 o 513111860749 59.29/59.38 o 501110881053 59.40/59.47 o 497108873325 60.50/60.56 o 485120502369 60.69/60.71 o 481121016386 60.69/60.78 o 477116486914 60.79/60.88 o 477116486913 61.19/61.21 o 473114479186 61.39/61.47 o 469112471459 61.60/61.64 o 465107941987 61.69/61.76 o 461103412515 61.79/61.87 o 457098883043 61.89/61.94 o 453094353571 61.99/62.07 o 453094353570 62.19/62.20 o 449089824098 62.29/62.32 o 449087302355 62.39/62.48 o 445082772883 63.89/63.92 o 445077729395 64.09/64.15 o 445075207651 64.29/64.35 o 441073199923 66.38/66.46 o 441068156435 66.59/66.61 o 437068670450 66.69/66.79 o 433069184465 66.89/66.93 o 433064140977 67.10/67.19 o 429064654994 67.19/67.26 o 425062647266 67.69/67.74 o 421060639538 68.39/68.49 o 421058117794 69.19/69.21 o 417053588322 69.30/69.34 o 417048544834 69.39/69.43 o 417046023090 69.49/69.50 o 413041493619 69.69/69.73 o 401027905204 69.79/69.86 o 401025383460 69.99/70.05 o 401022861716 70.29/70.33 o 397020853988 70.69/70.79 o 393026411492 70.89/70.96 o 389026925508 71.29/71.36 o 385032483012 71.50/71.53 o 381027953540 72.99/73.09 o 381025431796 73.70/73.76 o 373016372852 73.79/73.88 o 373016372851 74.29/74.37 o 369011843379 74.39/74.48 o 352996247235 74.69/74.79 o 352993725491 74.99/75.03 o 344987188292 75.08/75.14 o 340985180564 75.28/75.31 o 336980651092 75.38/75.44 o 332976121620 75.48/75.51 o 332976121619 75.58/75.69 o 332973599875 75.79/75.85 o 328974113891 75.90/75.96 o 328971592147 76.28/76.33 o 328966548659 76.38/76.42 o 328961505171 76.78/76.80 o 324956975699 76.89/76.91 o 320952446227 77.00/77.07 o 316950438499 77.08/77.18 o 312948430771 77.88/77.90 o 308943901299 78.89/78.91 o 308941379558 79.09/79.11 o 308938857814 80.19/80.21 o 300932320614 80.19/80.31 o 292923261670 80.78/80.86 o 288928819177 80.98/81.00 o 276917752506 81.18/81.24 o 272915744778 81.29/81.36 o 272915744777 81.98/82.01 o 272915744776 82.39/82.47 o 272913223032 82.58/82.69 o 272910701288 82.78/82.86 o 272908179544 82.98/83.05 o 272903136056 83.18/83.29 o 268901128328 83.38/83.43 o 264896598856 83.88/83.99 o 264894077112 84.08/84.10 o 264894077111 84.18/84.20 o 260889547639 84.48/84.51 o 248886046199 84.59/84.62 o 244884038471 84.88/84.99 o 240889595976 84.98/85.09 o 240887074232 85.08/85.19 o 240884552489 85.18/85.26 o 240882030745 85.28/85.34 o 236877501274 85.38/85.42 o 232872971803 85.58/85.60 o 232870450060 85.80/85.82 o 232867928317 85.88/85.93 o 232867928316 85.98/86.06 o 232865406572 86.58/86.65 o 232865406571 87.08/87.11 o 232862884827 87.18/87.26 o 228863398842 87.38/87.42 o 228860877099 87.58/87.64 o 228858355355 88.00/88.07 o 224868956347 88.08/88.17 o 224866434603 88.38/88.46 o 224863912859 88.78/88.89 o 224861391115 88.99/89.01 o 220856861643 89.18/89.22 o 216852332171 89.28/89.39 o 216849810427 89.48/89.52 o 216847288683 90.20/90.22 o 212842759211 90.48/90.55 o 212840237467 90.98/91.04 o 208835707995 91.48/91.51 o 208833186251 91.98/92.02 o 208830664508 91.98/92.09 o 208828142764 92.18/92.23 o 208825621020 92.29/92.36 o 208823099276 93.28/93.31 o 204833700267 93.28/93.39 o 204831178523 93.50/93.57 o 204828656780 93.88/93.98 o 200834214282 94.08/94.15 o 200831692538 94.18/94.24 o 200829170795 94.38/94.46 o 196824641324 94.60/94.63 o 196822119580 95.08/95.15 o 184816096396 95.78/95.85 o 184813574663 95.98/96.04 o 184811052922 96.08/96.17 o 184811052921 96.18/96.28 o 184811052920 97.38/97.40 o 176807037467 97.48/97.50 o 176807037466 97.48/97.59 o 176807037465 97.68/97.70 o 176804515721 98.48/98.54 o 172799986250 98.68/98.73 o 172797464510 98.78/98.84 o 168792935038 98.89/98.98 o 164788405567 99.08/99.15 o 164788405566 99.18/99.24 o 164785883823 99.28/99.38 o 160796484813 99.38/99.49 o 160793963070 99.58/99.62 o 160791441327 99.78/99.85 o 156786911855 100.28/100.32 o 148790461632 100.38/100.48 o 148790461631 100.58/100.67 o 144785932159 100.88/100.93 o 144783410415 100.98/101.08 o 140778880944 102.38/102.48 o 136784438451 102.58/102.62 o 136784438450 102.68/102.70 o 136784438449 102.78/102.81 o 136784438448 102.88/102.91 o 136784438447 103.08/103.19 o 136784438446 103.29/103.36 o 132782430718 103.40/103.46 o 128777901246 103.88/103.98 o 128775379505 104.18/104.20 o 128772857761 104.39/104.42 o 128772857760 104.50/104.55 o 128772857759 104.68/104.78 o 128772857758 104.88/104.98 o 124770850031 105.39/105.41 o 124768328287 106.39/106.44 o 124765806543 107.09/107.14 o 124765806541 107.29/107.35 o 120771364047 107.59/107.60 o 112762305103 108.09/108.20 o 112762305102 108.49/108.54 o 112759783358 108.59/108.64 o 112757261614 108.80/108.81 o 112754739870 108.91/108.91 o 108747688654 109.29/109.32 o 104770898366 109.29/109.40 o 104768376622 109.39/109.48 o 104765854878 109.59/109.67 o 104760811390 109.90/109.94 o 104758289646 110.29/110.32 o 100768890639 110.39/110.46 o 100768890638 110.49/110.54 o 100766368894 110.59/110.68 o 100766368893 110.69/110.78 o 100763847150 110.89/110.91 o 100763847149 111.00/111.01 o 100761325406 111.11/111.12 o 100758803663 111.59/111.68 o 96756795935 111.79/111.85 o 96754274192 112.10/112.14 o 92749744720 112.89/112.99 o 88747736992 113.20/113.30 o 88745215248 113.31/113.39 o 88742693504 113.69/113.77 o 84745729264 113.79/113.86 o 84743207520 114.41/114.48 o 84740685776 114.49/114.56 o 84738164032 114.89/114.98 o 84735642288 116.29/116.34 o 80738678052 116.39/116.46 o 80736156310 116.50/116.56 o 80733634566 116.89/116.96 o 72732140854 116.99/117.05 o 72732140853 117.09/117.16 o 72729619109 117.29/117.33 o 68732654868 117.79/117.86 o 68730133124 118.99/119.00 o 68727611381 119.49/119.55 o 64718038423 119.69/119.70 o 64718038422 119.80/119.88 o 64715516680 120.09/120.17 o 60710987208 120.39/120.49 o 60708465464 120.79/120.80 o 60708465463 121.49/121.52 o 56716544711 121.69/121.77 o 56714022967 122.59/122.68 o 56711501224 122.99/123.04 o 56708979481 123.69/123.73 o 48702442281 123.79/123.85 o 44700434553 123.89/123.99 o 44697912809 127.89/128.00 o 40789209618 128.09/128.10 o 40789209617 128.29/128.33 o 40789209616 129.29/129.38 o 36799810607 129.59/129.64 o 36799810606 129.70/129.76 o 36799810605 130.29/130.30 o 36799810604 130.69/130.71 o 36799810602 131.39/131.44 o 36797288861 131.69/131.78 o 32792759389 132.01/132.06 o 32792759388 132.69/132.70 o 28793273404 133.29/133.37 o 24791265676 133.99/134.03 o 24791265675 134.49/134.59 o 20801866674 134.99/135.09 o 20799344932 135.09/135.18 o 20799344931 135.20/135.27 o 20799344930 135.69/135.78 o 20796823188 136.79/136.83 o 20794301444 136.99/137.06 o 20794301443 137.19/137.21 o 20794301442 137.40/137.41 o 20794301441 138.19/138.21 o 20794301438 138.19/138.29 o 20794301437 138.99/139.01 o 20794301436 139.29/139.32 o 20794301435 139.39/139.43 o 20794301434 139.99/140.08 o 20791779690 140.59/140.60 o 20791779689 140.81/140.84 o 20791779688 140.89/140.95 o 20791779687 143.09/143.17 o 20764040502 144.99/145.09 o 20761518759 150.99/151.08 o 16779684990 151.29/151.35 o 16779684989 151.49/151.54 o 16779684988 151.81/151.88 o 16779684987 152.29/152.36 o 12777677260 152.49/152.55 o 12775155516 152.69/152.75 o 12775155515 153.49/153.59 o 8783234761 153.90/153.94 o 8778191273 154.01/154.02 o 8778191272 154.09/154.16 o 8778191271 154.19/154.27 o 8775669527 154.49/154.50 o 4776183542 154.59/154.61 o 4776183541 154.59/154.70 o 4776183540 155.79/155.86 o 4773661796 155.89/155.98 o 4771140053 156.10/156.12 o 4768618310 156.29/156.39 o 4768618309 156.99/157.08 o 4766096565 158.19/158.25 o 4763574822 158.30/158.35 o 4761053078 158.30/158.41 o 4758531334 165.79/165.86 o 4758531332 168.20/168.26 o 4758531331 172.29/172.39 o 4756009591 172.79/172.84 o 4753487848 172.89/172.94 o 4753487847 173.39/173.41 o 4753487846 173.70/173.76 o 4753487845 173.99/174.03 o 4753487844 174.29/174.31 o 4750966100 176.89/176.96 o 4745922612 192.29/192.37 o 4743400870 192.99/193.03 o 4743400869 193.50/193.59 o 4740879125 193.61/193.67 o 4740879124 193.79/193.86 o 4738357381 194.99/195.00 o 4738357380 195.09/195.14 o 4738357379 196.59/196.66 o 4738357378 197.59/197.61 o 4735835637 198.09/198.12 o 4733313894 198.09/198.19 o 4730792150 198.39/198.40 o 4728270406 198.79/198.80 o 4728270405 199.69/199.79 o 4725748662 199.79/199.89 o 4723226919 199.89/199.98 o 4723226918 202.59/202.66 o 4720705175 203.59/203.60 o 4720705174 204.29/204.35 o 4718183430 215.61/215.65 o 4713139951 216.19/216.23 o 4710618207 216.39/216.47 o 4708096463 217.49/217.57 o 4708096462 224.19/224.26 o 4705574723 224.49/224.50 o 4703052979 235.79/235.84 o 4682879029 236.40/236.49 o 4680357285 236.59/236.63 o 4680357284 237.09/237.10 o 4680357283 242.01/242.02 o 4680357282 245.39/245.43 o 4680357281 245.99/246.02 o 4680357279 253.79/253.85 o 4680357278 254.11/254.15 o 4677835535 256.59/256.66 o 4675313792 256.69/256.78 o 4672792049 257.19/257.25 o 4667748561 260.99/261.00 o 4667748560 261.29/261.34 o 4667748559 265.89/265.94 o 4667748558 265.99/266.07 o 4665226815 280.79/280.80 o 4665226813 280.89/280.96 o 4662705069 282.09/282.14 o 4660183328 282.19/282.22 o 4660183327 282.39/282.45 o 4660183325 284.59/284.62 o 4660183324 289.39/289.47 o 4652618099 289.49/289.59 o 4652618098 289.69/289.70 o 4652618097 292.19/292.27 o 4652618096 292.39/292.43 o 4650096352 292.50/292.57 o 4645052864 294.81/294.89 o 4645052863 295.99/296.10 o 4642531120 297.49/297.53 o 4642531119 297.59/297.60 o 4642531118 297.69/297.79 o 4642531117 301.41/301.46 o 4640009375 301.79/301.80 o 4637487631 304.29/304.35 o 4634965887 304.71/304.74 o 4632444148 304.79/304.84 o 4632444147 304.89/304.94 o 4632444146 304.99/305.02 o 4632444145 306.91/306.97 o 4632444144 307.59/307.67 o 4632444143 310.99/311.07 o 4629922401 312.09/312.19 o 4627400659 312.19/312.27 o 4627400658 312.30/312.36 o 4627400657 312.49/312.58 o 4624878915 312.69/312.70 o 4624878914 312.79/312.81 o 4624878913 313.40/313.45 o 4609748450 313.59/313.65 o 4609748449 315.49/315.53 o 4607226709 315.60/315.62 o 4607226708 315.71/315.73 o 4607226707 317.80/317.87 o 4607226706 320.69/320.77 o 4607226705 321.39/321.42 o 4607226704 325.39/325.47 o 4604704965 325.50/325.61 o 4604704964 325.79/325.84 o 4604704963 325.99/326.01 o 4602183219 326.49/326.51 o 4602183218 326.60/326.62 o 4602183217 333.60/333.68 o 4602183216 335.40/335.41 o 4599661472 337.09/337.11 o 4599661471 338.09/338.18 o 4597139727 338.81/338.85 o 4594617991 339.20/339.27 o 4592096248 339.40/339.45 o 4592096247 339.50/339.54 o 4592096246 339.60/339.63 o 4592096245 340.00/340.00 o 4589574501 340.80/340.87 o 4589574500 341.01/341.01 o 4589574499 343.10/343.20 o 4589574498 343.21/343.28 o 4589574497 343.39/343.49 o 4587052755 344.20/344.30 o 4587052754 352.80/352.85 o 4576965782 353.20/353.28 o 4576965781 358.50/358.57 o 4571922296 358.61/358.68 o 4571922295 358.80/358.82 o 4571922294 358.90/358.92 o 4571922293 359.00/359.01 o 4571922292 359.10/359.10 o 4571922291 359.10/359.20 o 4571922290 359.19/359.29 o 4571922289 359.50/359.53 o 4571922288 359.80/359.81 o 4571922287 360.40/360.48 o 4571922286 364.00/364.09 o 4569400546 364.11/364.19 o 4569400545 364.30/364.33 o 4569400544 365.00/365.05 o 4566878802 365.10/365.15 o 4566878801 365.21/365.26 o 4566878800 366.10/366.14 o 4566878799 366.40/366.46 o 4566878798 366.60/366.68 o 4564357055 367.10/367.10 o 4564357054 368.60/368.62 o 4559313567 368.80/368.82 o 4559313566 369.10/369.16 o 4559313565 369.30/369.33 o 4559313564 370.60/370.61 o 4559313563 370.80/370.85 o 4559313562 370.90/370.96 o 4559313561 371.00/371.07 o 4559313560 371.50/371.55 o 4556791816 376.70/376.77 o 4554270095 376.90/376.94 o 4554270094 377.10/377.10 o 4554270093 378.20/378.29 o 4551748349 378.60/378.67 o 4551748348 378.80/378.84 o 4551748347 381.10/381.19 o 4551748346 381.20/381.29 o 4549226603 381.71/381.73 o 4546704864 381.80/381.83 o 4546704862 381.90/381.96 o 4546704861 382.00/382.06 o 4546704860 382.10/382.17 o 4546704859 384.30/384.35 o 4546704858 391.90/391.93 o 4544183119 394.00/394.04 o 4544183118 394.10/394.15 o 4544183117 396.90/396.93 o 4541661374 397.11/397.12 o 4541661373 397.60/397.66 o 4541661372 397.70/397.79 o 4541661371 398.90/398.95 o 4539139627 405.10/405.17 o 4536617886 405.20/405.29 o 4534096141 408.60/408.63 o 4534096140 408.80/408.89 o 4534096139 414.30/414.31 o 4531574398 414.50/414.54 o 4531574397 415.81/415.83 o 4531574396 419.30/419.34 o 4531574395 421.20/421.21 o 4529052652 425.72/425.73 o 4529052649 425.90/425.92 o 4529052648 426.00/426.03 o 4529052647 426.10/426.14 o 4529052646 426.20/426.24 o 4529052645 426.30/426.35 o 4529052644 426.50/426.50 o 4529052642 428.00/428.00 o 4529052641 428.20/428.24 o 4529052640 430.30/430.36 o 4529052639 453.22/453.26 o 4526530909 453.40/453.43 o 4526530908 454.00/454.00 o 4526530907 454.10/454.14 o 4526530906 454.20/454.28 o 4526530905 454.40/454.43 o 4526530904 454.50/454.54 o 4526530903 457.30/457.33 o 4526530901 457.40/457.47 o 4526530900 457.50/457.57 o 4526530899 457.80/457.84 o 4526530898 457.90/457.94 o 4526530897 458.00/458.06 o 4526530896 458.80/458.88 o 4526530895 459.50/459.50 o 4526530894 459.70/459.72 o 4526530893 460.10/460.14 o 4526530892 464.22/464.24 o 4524009151 468.20/468.26 o 4518965664 468.40/468.47 o 4518965663 468.50/468.56 o 4518965662 469.90/469.99 o 4518965661 470.40/470.40 o 4518965660 470.60/470.69 o 4518965659 471.00/471.03 o 4518965658 472.90/472.91 o 4518965657 473.30/473.34 o 4518965656 473.60/473.63 o 4516443914 479.20/479.24 o 4516443913 484.60/484.69 o 4513922169 484.70/484.78 o 4513922168 485.40/485.42 o 4513922167 485.90/485.90 o 4511400427 486.00/486.00 o 4511400426 486.10/486.13 o 4511400425 486.22/486.26 o 4511400424 486.40/486.42 o 4508878680 486.70/486.79 o 4506356935 486.90/486.91 o 4506356934 487.00/487.08 o 4506356933 488.30/488.37 o 4506356932 489.90/489.98 o 4503835192 491.20/491.28 o 4503835191 492.82/492.85 o 4501313449 493.40/493.40 o 4501313448 493.92/493.97 o 4501313447 494.80/494.89 o 4501313446 495.50/495.51 o 4498791703 496.60/496.69 o 4496269959 497.00/497.06 o 4496269958 497.50/497.56 o 4493748218 497.80/497.83 o 4493748217 497.90/497.99 o 4493748216 498.10/498.12 o 4493748215 498.40/498.50 o 4491226471 499.31/499.31 o 4491226470 502.60/502.61 o 4488704727 503.40/503.42 o 4488704726 503.71/503.81 o 4486182984 504.40/504.44 o 4483661241 504.60/504.68 o 4483661240 505.00/505.01 o 4483661239 506.30/506.39 o 4481139495 506.70/506.79 o 4478617751 507.00/507.07 o 4478617750 507.50/507.53 o 4478617749 507.80/507.88 o 4476096007 508.10/508.14 o 4476096006 508.50/508.53 o 4473574264 508.60/508.62 o 4473574263 510.10/510.17 o 4473574262 511.00/511.03 o 4473574261 512.10/512.16 o 4471052518 512.70/512.78 o 4468530774 513.40/513.42 o 4466009042 513.50/513.52 o 4466009041 513.60/513.62 o 4466009040 513.72/513.79 o 4466009037 513.90/513.91 o 4466009036 514.00/514.03 o 4466009035 514.10/514.16 o 4466009034 514.30/514.35 o 4466009033 514.50/514.52 o 4466009032 515.00/515.08 o 4466009031 515.10/515.18 o 4466009030 515.30/515.36 o 4463487288 516.30/516.30 o 4463487287 516.80/516.89 o 4463487286 517.10/517.13 o 4463487285 517.30/517.39 o 4463487284 517.70/517.75 o 4463487283 518.40/518.44 o 4463487282 527.20/527.20 o 4463487281 527.40/527.44 o 4460965544 527.91/527.97 o 4460965543 528.30/528.31 o 4460965542 528.70/528.73 o 4460965541 528.90/528.95 o 4460965540 529.20/529.29 o 4460965539 530.50/530.55 o 4458443795 532.50/532.53 o 4458443794 533.41/533.42 o 4458443793 534.30/534.30 o 4455922060 534.40/534.40 o 4455922059 534.40/534.49 o 4455922058 534.51/534.61 o 4455922057 534.70/534.73 o 4455922055 535.00/535.04 o 4455922054 535.20/535.28 o 4455922053 535.50/535.51 o 4455922052 535.72/535.73 o 4455922051 535.80/535.90 o 4455922050 536.20/536.29 o 4455922049 537.50/537.51 o 4453400307 537.81/537.83 o 4453400306 538.40/538.45 o 4453400305 539.90/539.91 o 4453400304 548.81/548.84 o 4450878594 548.92/548.99 o 4450878592 549.10/549.15 o 4450878591 549.30/549.34 o 4450878590 549.40/549.48 o 4450878589 549.60/549.63 o 4450878588 549.70/549.75 o 4450878587 550.20/550.24 o 4450878586 553.60/553.63 o 4450878585 555.00/555.00 o 4450878584 556.40/556.44 o 4448356841 557.90/557.91 o 4448356840 559.40/559.41 o 4445835097 560.80/560.80 o 4445835096 562.12/562.15 o 4445835095 564.10/564.15 o 4443313357 564.32/564.34 o 4443313356 564.40/564.45 o 4443313355 564.80/564.89 o 4443313354 566.20/566.23 o 4443313353 567.40/567.46 o 4443313352 570.10/570.18 o 4443313351 571.50/571.54 o 4443313350 572.10/572.14 o 4440791613 572.20/572.29 o 4440791612 572.40/572.40 o 4440791611 572.50/572.54 o 4440791610 572.80/572.90 o 4440791609 573.70/573.70 o 4440791608 574.30/574.31 o 4440791606 575.50/575.59 o 4438269873 575.60/575.69 o 4438269872 575.80/575.89 o 4438269871 576.00/576.01 o 4438269870 576.10/576.17 o 4438269869 576.70/576.75 o 4438269868 577.00/577.09 o 4438269867 577.30/577.39 o 4438269866 577.60/577.65 o 4435748132 577.70/577.75 o 4435748131 577.80/577.84 o 4435748130 577.90/577.94 o 4435748128 578.00/578.04 o 4435748127 578.10/578.17 o 4435748126 578.30/578.33 o 4435748124 578.80/578.83 o 4435748123 579.10/579.14 o 4435748122 579.50/579.52 o 4435748121 579.90/579.99 o 4433226377 582.00/582.01 o 4430704645 582.10/582.12 o 4430704643 582.20/582.24 o 4430704642 582.30/582.33 o 4430704641 582.40/582.48 o 4430704640 582.60/582.60 o 4430704639 582.70/582.74 o 4430704638 583.02/583.07 o 4430704637 583.30/583.35 o 4430704636 583.70/583.76 o 4430704635 586.80/586.86 o 4430704634 589.10/589.15 o 4430704633 589.30/589.40 o 4430704632 590.10/590.18 o 4430704631 590.61/590.71 o 4430704630 592.00/592.06 o 4430704629 593.30/593.37 o 4430704628 597.10/597.18 o 4430704627 599.52/599.56 o 4430704626 600.20/600.23 o 4430704625 601.90/601.91 o 4430704624 602.90/602.96 o 4430704623 603.30/603.31 o 4430704622 603.70/603.76 o 4428182888 603.81/603.86 o 4428182887 603.92/603.95 o 4428182886 604.00/604.04 o 4428182885 604.10/604.18 o 4428182884 604.30/604.31 o 4428182883 604.40/604.41 o 4428182882 604.50/604.52 o 4428182881 604.60/604.65 o 4428182880 604.70/604.77 o 4428182879 605.02/605.05 o 4428182878 605.30/605.39 o 4428182877 605.70/605.72 o 4428182876 605.80/605.82 o 4428182875 606.01/606.01 o 4425661141 606.12/606.13 o 4425661140 606.20/606.27 o 4425661139 606.40/606.44 o 4425661138 606.60/606.65 o 4425661137 606.80/606.85 o 4425661136 607.00/607.05 o 4425661135 607.22/607.23 o 4425661134 607.40/607.42 o 4425661133 608.21/608.25 o 4425661132 608.80/608.82 o 4425661131 609.10/609.15 o 4425661130 609.50/609.59 o 4423139388 610.80/610.83 o 4423139387 612.90/612.99 o 4420617653 613.00/613.09 o 4420617652 613.10/613.17 o 4420617651 613.20/613.27 o 4420617650 613.30/613.36 o 4420617649 613.40/613.46 o 4420617647 613.50/613.54 o 4420617646 613.60/613.70 o 4420617645 613.71/613.80 o 4420617644 614.70/614.74 o 4420617643 615.70/615.73 o 4415574156 615.80/615.85 o 4415574155 616.50/616.53 o 4413052421 616.60/616.63 o 4413052420 616.80/616.82 o 4413052418 616.90/616.97 o 4413052417 617.01/617.10 o 4413052416 617.20/617.20 o 4413052415 617.30/617.33 o 4413052414 617.40/617.48 o 4413052413 617.60/617.68 o 4413052412 618.11/618.11 o 4413052411 618.50/618.50 o 4413052410 618.80/618.81 o 4410530681 618.90/618.93 o 4410530680 619.00/619.07 o 4410530679 619.10/619.17 o 4410530677 619.21/619.26 o 4410530676 619.32/619.35 o 4410530675 619.40/619.44 o 4410530674 619.50/619.56 o 4410530673 619.60/619.67 o 4410530672 619.80/619.80 o 4410530671 619.80/619.88 o 4410530670 620.00/620.02 o 4410530669 620.10/620.17 o 4410530668 620.31/620.38 o 4410530667 621.60/621.64 o 4410530666 623.00/623.05 o 4408008937 623.10/623.16 o 4408008936 623.20/623.26 o 4408008935 623.30/623.35 o 4408008934 623.40/623.49 o 4408008933 623.61/623.63 o 4408008931 623.72/623.75 o 4408008930 623.80/623.86 o 4408008929 623.90/623.97 o 4408008928 624.10/624.11 o 4408008927 624.20/624.23 o 4408008926 624.30/624.36 o 4408008925 624.40/624.49 o 4408008924 624.60/624.63 o 4408008923 624.71/624.81 o 4408008922 625.60/625.62 o 4408008921 626.00/626.00 o 4408008920 626.10/626.10 o 4405487177 630.80/630.87 o 4405487176 641.31/641.36 o 4405487175 647.80/647.81 o 4405487174 651.89/651.91 o 4405487173 652.31/652.35 o 4405487172 655.29/655.35 o 4405487171 656.60/656.63 o 4405487170 657.00/657.02 o 4405487169 661.11/661.17 o 4405487168 662.50/662.55 o 4405487167 662.90/662.98 o 4405487166 663.80/663.82 o 4402965434 663.90/663.98 o 4402965433 664.10/664.14 o 4402965432 664.99/665.02 o 4402965431 666.19/666.29 o 4402965430 669.00/669.07 o 4402965429 670.40/670.42 o 4402965428 671.69/671.78 o 4402965427 672.11/672.13 o 4402965426 673.60/673.61 o 4400443683 675.30/675.37 o 4400443682 675.60/675.62 o 4400443681 677.40/677.45 o 4400443680 678.09/678.19 o 4397921940 678.39/678.42 o 4397921939 678.80/678.85 o 4397921938 679.81/679.84 o 4397921937 680.10/680.14 o 4397921936 680.70/680.73 o 4397921935 681.70/681.78 o 4395400194 683.00/683.06 o 4395400193 684.10/684.17 o 4395400192 684.21/684.26 o 4395400191 685.40/685.43 o 4395400190 685.90/685.97 o 4395400189 686.30/686.35 o 4392878446 688.20/688.28 o 4390356705 688.50/688.60 o 4390356704 688.90/688.97 o 4390356703 692.90/692.94 o 4390356702 693.50/693.50 o 4387834970 693.60/693.67 o 4387834966 693.70/693.77 o 4387834965 694.11/694.12 o 4387834964 694.20/694.27 o 4387834963 694.50/694.54 o 4387834962 694.80/694.82 o 4387834961 695.00/695.05 o 4387834960 695.21/695.25 o 4387834959 696.10/696.12 o 4385313230 696.20/696.22 o 4385313229 696.31/696.37 o 4385313228 696.40/696.46 o 4385313227 696.60/696.61 o 4385313224 696.70/696.72 o 4385313223 696.80/696.82 o 4385313222 696.90/696.92 o 4385313221 697.00/697.04 o 4385313220 697.10/697.14 o 4385313219 697.30/697.37 o 4385313218 697.50/697.55 o 4385313217 697.70/697.73 o 4385313216 698.10/698.10 o 4385313215 698.90/698.93 o 4385313214 700.50/700.51 o 4385313213 710.61/710.65 o 4382791476 710.80/710.81 o 4382791475 711.10/711.11 o 4382791474 711.40/711.46 o 4382791473 711.80/711.84 o 4382791472 712.20/712.25 o 4382791471 714.00/714.03 o 4382791470 716.20/716.26 o 4380269739 716.30/716.36 o 4380269738 716.40/716.45 o 4380269737 716.50/716.54 o 4380269736 716.70/716.70 o 4380269734 716.70/716.79 o 4380269733 716.90/716.90 o 4380269732 716.90/716.99 o 4380269731 717.10/717.11 o 4380269730 717.21/717.21 o 4380269729 717.30/717.32 o 4380269728 717.40/717.43 o 4380269727 718.90/718.92 o 4380269726 720.70/720.75 o 4380269725 721.10/721.19 o 4377747988 721.30/721.33 o 4377747987 721.40/721.46 o 4377747986 721.50/721.59 o 4377747985 721.70/721.73 o 4377747984 722.20/722.24 o 4377747983 722.60/722.61 o 4377747982 722.80/722.80 o 4377747981 723.00/723.06 o 4377747980 723.20/723.29 o 4375226245 723.40/723.44 o 4375226244 723.60/723.61 o 4375226243 723.60/723.69 o 4375226242 723.70/723.78 o 4375226241 723.81/723.88 o 4375226240 724.00/724.07 o 4375226239 724.10/724.15 o 4375226238 724.30/724.34 o 4375226237 724.60/724.64 o 4375226236 724.80/724.85 o 4375226235 725.00/725.09 o 4375226234 725.60/725.65 o 4375226232 726.20/726.21 o 4375226231 727.40/727.43 o 4375226230 728.00/728.03 o 4375226229 731.80/731.89 o 4372704504 732.00/732.01 o 4372704503 732.00/732.09 o 4372704502 732.20/732.21 o 4372704501 732.30/732.30 o 4372704500 732.50/732.58 o 4372704499 732.61/732.67 o 4372704498 732.80/732.87 o 4372704497 733.00/733.09 o 4372704496 733.20/733.29 o 4372704495 733.40/733.47 o 4372704494 733.60/733.67 o 4372704493 734.30/734.30 o 4372704492 747.10/747.16 o 4370182749 748.20/748.23 o 4370182748 749.70/749.77 o 4370182747 750.10/750.19 o 4367661010 750.30/750.32 o 4367661009 750.40/750.42 o 4367661008 750.50/750.57 o 4367661007 750.70/750.72 o 4367661006 751.50/751.52 o 4367661005 751.80/751.85 o 4367661004 752.70/752.72 o 4367661003 754.61/754.62 o 4365139280 754.70/754.73 o 4365139279 754.80/754.82 o 4365139278 754.90/754.90 o 4365139277 754.90/754.99 o 4365139276 755.10/755.14 o 4365139274 755.20/755.25 o 4365139273 755.30/755.33 o 4365139271 755.40/755.42 o 4365139270 755.50/755.52 o 4365139268 755.60/755.62 o 4365139266 755.90/755.94 o 4365139265 756.11/756.10 o 4365139264 756.21/756.24 o 4365139263 756.41/756.40 o 4365139262 756.41/756.49 o 4365139261 756.71/756.71 o 4365139260 765.01/765.03 o 4365139259 769.41/769.43 o 4365139258 777.91/777.97 o 4362617516 778.11/778.14 o 4362617515 778.21/778.22 o 4362617514 788.81/788.84 o 4360095772 788.91/788.93 o 4360095771 789.51/789.52 o 4360095770 801.71/801.70 o 4357574043 801.81/801.82 o 4357574042 801.93/801.93 o 4357574041 802.01/802.04 o 4357574040 802.11/802.14 o 4357574039 802.31/802.35 o 4357574038 810.31/810.37 o 4357574037 810.51/810.58 o 4357574036 819.11/819.14 o 4357574035 827.91/827.96 o 4357574034 831.51/831.51 o 4357574033 832.11/832.15 o 4357574032 835.41/835.41 o 4355052305 835.51/835.51 o 4355052303 835.61/835.60 o 4355052302 835.61/835.69 o 4355052301 835.71/835.78 o 4355052300 835.81/835.88 o 4355052299 835.91/835.97 o 4355052298 836.03/836.07 o 4355052297 836.11/836.16 o 4355052296 836.41/836.45 o 4355052295 836.71/836.74 o 4355052294 837.21/837.20 o 4355052293 837.41/837.44 o 4355052292 837.71/837.76 o 4355052291 840.11/840.14 o 4355052290 842.21/842.21 o 4355052289 843.73/843.75 o 4355052288 851.81/851.85 o 4355052287 853.91/853.94 o 4355052286 855.21/855.20 o 4352530551 855.31/855.31 o 4352530549 855.41/855.41 o 4352530548 855.41/855.49 o 4352530547 855.61/855.67 o 4352530546 855.71/855.77 o 4352530545 855.82/855.86 o 4352530544 856.01/856.04 o 4352530543 856.11/856.17 o 4352530542 857.81/857.85 o 4352530541 857.91/858.01 o 4352530540 859.61/859.66 o 4352530539 860.51/860.54 o 4352530538 861.91/861.96 o 4350008799 862.01/862.06 o 4350008798 862.11/862.16 o 4350008797 862.42/862.47 o 4350008796 862.71/862.75 o 4350008795 863.11/863.17 o 4350008794 863.41/863.47 o 4350008793 864.31/864.39 o 4350008792 920.91/920.97 o 4350008791 932.72/932.75 o 4350008790 934.41/934.43 o 4350008789 936.13/936.18 o 4347487063 936.21/936.29 o 4347487062 936.31/936.38 o 4347487060 936.41/936.49 o 4347487059 936.61/936.65 o 4347487058 936.81/936.81 o 4347487057 937.01/937.01 o 4347487056 937.11/937.19 o 4347487055 937.31/937.35 o 4347487054 937.41/937.49 o 4347487053 937.61/937.67 o 4347487052 937.81/937.81 o 4347487051 937.91/937.97 o 4347487050 938.21/938.30 o 4347487049 938.51/938.57 o 4347487048 938.61/938.68 o 4347487047 938.91/938.95 o 4347487046 939.21/939.23 o 4347487045 940.11/940.10 o 4347487044 940.71/940.77 o 4344965312 940.91/940.93 o 4344965311 941.01/941.09 o 4344965310 941.21/941.25 o 4344965307 941.51/941.51 o 4344965306 941.63/941.67 o 4344965305 941.71/941.77 o 4344965304 941.81/941.85 o 4344965303 941.91/941.95 o 4344965302 942.01/942.03 o 4344965301 942.41/942.41 o 4344965300 948.01/948.09 o 4342443567 948.11/948.20 o 4342443566 948.23/948.29 o 4342443565 948.31/948.37 o 4342443564 948.41/948.45 o 4342443563 948.61/948.61 o 4342443562 948.71/948.74 o 4342443561 948.91/948.90 o 4342443560 949.11/949.12 o 4342443559 949.21/949.26 o 4342443558 949.41/949.42 o 4342443557 950.51/950.57 o 4342443556 958.41/958.48 o 4342443555 962.61/962.64 o 4339921819 963.01/963.03 o 4339921818 963.21/963.29 o 4339921817 963.41/963.46 o 4339921816 963.63/963.68 o 4339921815 963.91/963.96 o 4339921814 964.31/964.30 o 4339921813 964.62/964.61 o 4339921812 964.73/964.79 o 4339921811 965.11/965.12 o 4339921810 965.41/965.44 o 4339921809 977.61/977.64 o 4337400081 977.71/977.74 o 4337400080 977.82/977.91 o 4337400079 978.01/978.09 o 4337400078 978.21/978.26 o 4337400077 978.31/978.34 o 4337400076 978.41/978.43 o 4337400075 978.51/978.54 o 4337400074 978.61/978.63 o 4337400073 978.71/978.72 o 4337400072 978.92/978.96 o 4337400071 979.31/979.30 o 4337400070 979.61/979.67 o 4337400069 979.91/979.93 o 4337400068 980.21/980.23 o 4337400067 980.51/980.51 o 4337400066 980.71/980.79 o 4337400065 982.71/982.75 o 4334878325 983.21/983.25 o 4334878324 983.51/983.50 o 4334878323 983.61/983.69 o 4334878322 985.52/985.52 o 4334878321 995.81/995.88 o 4334878320 1018.81/1018.87 o 4332356587 1019.11/1019.11 o 4332356586 1019.21/1019.21 o 4332356585 1019.31/1019.30 o 4332356584 1019.31/1019.39 o 4332356583 1019.62/1019.65 o 4332356582 1020.01/1020.05 o 4332356581 1021.93/1021.92 o 4332356580 1022.51/1022.59 o 4332356579 1022.81/1022.89 o 4332356578 1026.91/1026.92 o 4332356577 1029.91/1029.96 o 4332356576 1054.31/1054.38 o 4332356575 1066.41/1066.40 o 4329834832 1066.81/1066.88 o 4327313101 1066.92/1066.97 o 4327313100 1067.03/1067.05 o 4327313099 1067.11/1067.13 o 4327313097 1067.21/1067.22 o 4327313096 1067.31/1067.31 o 4327313095 1067.41/1067.41 o 4327313094 1067.51/1067.51 o 4327313093 1067.61/1067.60 o 4327313092 1067.61/1067.69 o 4327313091 1067.71/1067.79 o 4327313090 1067.91/1067.95 o 4327313089 1068.13/1068.15 o 4327313088 1068.31/1068.33 o 4327313087 1068.61/1068.66 o 4327313086 1069.41/1069.49 o 4327313085 1070.81/1070.80 o 4324791342 1071.91/1071.95 o 4324791341 1072.31/1072.30 o 4324791340 1075.11/1075.12 o 4324791339 1076.01/1076.08 o 4324791338 1077.61/1077.69 o 4324791337 1079.31/1079.32 o 4322269606 1079.41/1079.41 o 4322269605 1079.41/1079.49 o 4322269604 1079.51/1079.58 o 4322269603 1079.71/1079.75 o 4322269602 1079.91/1079.92 o 4322269601 1080.01/1080.09 o 4322269600 1080.12/1080.17 o 4322269598 1080.23/1080.26 o 4322269597 1080.31/1080.34 o 4322269596 1080.41/1080.42 o 4322269595 1080.51/1080.50 o 4322269594 1081.81/1081.83 o 4322269593 1083.71/1083.74 o 4322269592 1084.21/1084.28 o 4322269591 1084.41/1084.44 o 4319747848 1085.81/1085.89 o 4319747847 1087.82/1087.87 o 4319747846 1091.23/1091.29 o 4319747845 1092.41/1092.45 o 4319747844 1093.51/1093.59 o 4319747843 1094.42/1094.41 o 4319747842 1094.61/1094.68 o 4319747841 1095.31/1095.30 o 4319747840 1095.31/1095.38 o 4319747839 1095.71/1095.79 o 4317226108 1095.81/1095.88 o 4317226107 1095.91/1095.96 o 4317226106 1096.01/1096.05 o 4317226105 1096.41/1096.48 o 4317226104 1096.62/1096.65 o 4317226103 1096.81/1096.83 o 4317226102 1097.01/1097.00 o 4317226101 1097.11/1097.18 o 4317226100 1097.21/1097.29 o 4317226099 1097.41/1097.41 o 4317226098 1097.51/1097.53 o 4317226097 1097.61/1097.67 o 4317226096 1098.11/1098.17 o 4314704359 1098.21/1098.25 o 4314704358 1098.31/1098.33 o 4314704357 1098.41/1098.42 o 4314704355 1098.61/1098.60 o 4314704354 1098.61/1098.69 o 4314704353 1101.21/1101.26 o 4314704352 1105.11/1105.20 o 4312182615 1105.21/1105.29 o 4312182613 1105.31/1105.37 o 4312182612 1105.42/1105.44 o 4312182611 1105.61/1105.60 o 4312182610 1105.71/1105.77 o 4312182609 1105.91/1105.94 o 4312182608 1109.01/1109.00 o 4312182607 1110.41/1110.48 o 4312182606 1110.71/1110.72 o 4309660863 1133.21/1133.21 o 4309660862 1133.71/1133.73 o 4309660861 1134.02/1134.07 o 4309660860 1137.32/1137.37 o 4309660859 1138.01/1138.07 o 4309660858 1138.71/1138.76 o 4307139126 1138.81/1138.85 o 4307139125 1138.91/1138.92 o 4307139124 1139.01/1139.01 o 4307139123 1139.11/1139.10 o 4307139122 1139.11/1139.18 o 4307139121 1139.31/1139.39 o 4307139120 1139.52/1139.56 o 4307139118 1139.63/1139.69 o 4307139117 1139.91/1139.96 o 4307139116 1145.13/1145.19 o 4307139115 1154.21/1154.20 o 4307139114 1162.01/1162.09 o 4307139113 1196.91/1196.99 o 4307139112 1216.71/1216.78 o 4307139111 1217.73/1217.76 o 4304617369 1220.31/1220.31 o 4304617368 1220.41/1220.41 o 4304617367 1233.91/1233.97 o 4302095638 1234.12/1234.15 o 4302095637 1234.41/1234.47 o 4302095636 1234.61/1234.65 o 4302095635 1234.81/1234.82 o 4302095633 1235.51/1235.54 o 4302095632 1235.71/1235.78 o 4302095631 1236.01/1236.09 o 4302095630 1236.32/1236.39 o 4302095629 1237.01/1237.09 o 4302095628 1238.11/1238.14 o 4302095627 1238.81/1238.82 o 4302095626 1245.23/1245.25 o 4302095625 1245.81/1245.82 o 4302095624 1246.11/1246.10 o 4302095623 1262.32/1262.31 o 4302095622 1289.42/1289.44 o 4302095621 1320.32/1320.34 o 4299573891 1320.52/1320.51 o 4299573890 1320.62/1320.68 o 4299573889 1321.02/1321.01 o 4297052150 1321.13/1321.19 o 4297052149 1321.32/1321.37 o 4297052148 1321.52/1321.55 o 4297052147 1321.72/1321.72 o 4297052146 1321.92/1321.92 o 4297052145 1322.02/1322.09 o 4297052144 1322.23/1322.26 o 4297052143 1322.52/1322.55 o 4297052142 1322.92/1322.90 o 4297052140 1323.22/1323.22 o 4297052139 1323.33/1323.36 o 4297052138 1323.52/1323.53 o 4297052137 1323.72/1323.74 o 4297052136 1327.73/1327.77 o 4297052135 1342.03/1342.06 o 4297052134 1383.32/1383.35 o 4297052133 1384.82/1384.88 o 4294530410 1385.02/1385.03 o 4294530409 1385.12/1385.10 o 4294530408 1385.12/1385.17 o 4294530407 1385.32/1385.34 o 4294530406 1385.52/1385.55 o 4294530405 1385.72/1385.78 o 4294530404 1386.04/1386.04 o 4294530403 1386.32/1386.31 o 4294530402 1386.42/1386.47 o 4294530401 1386.72/1386.71 o 4294530400 1386.82/1386.88 o 4294530399 1387.14/1387.13 o 4294530398 1387.32/1387.38 o 4294530397 1387.62/1387.62 o 4294530396 1388.42/1388.49 o 4294530395 1389.02/1389.09 o 4294530394 1389.72/1389.73 o 4294530393 1390.32/1390.31 o 4294530392 1390.62/1390.63 o 4294530391 1390.92/1391.00 o 4294530390 1397.42/1397.50 o 4292008644 1397.62/1397.61 o 4292008643 1397.72/1397.72 o 4292008642 1397.82/1397.84 o 4289486915 1397.92/1397.93 o 4289486914 1397.92/1397.99 o 4289486913 1398.02/1398.06 o 4289486910 1398.14/1398.12 o 4289486908 1398.14/1398.19 o 4289486905 1398.32/1398.30 o 4289486904 1398.42/1398.40 o 4289486903 1401.82/1401.86 o 4289486902 1408.72/1408.78 o 4286965163 1408.92/1408.91 o 4286965162 1408.92/1408.97 o 4286965161 1409.02/1409.09 o 4286965160 1409.22/1409.23 o 4286965159 1409.32/1409.32 o 4286965158 1411.23/1411.22 o 4286965157 1414.42/1414.45 o 4284443426 1414.52/1414.54 o 4284443425 1414.52/1414.60 o 4284443424 1414.64/1414.66 o 4284443423 1414.72/1414.75 o 4284443422 1414.82/1414.84 o 4284443421 1414.92/1414.96 o 4284443420 1415.02/1415.06 o 4284443419 1415.12/1415.15 o 4284443418 1415.22/1415.26 o 4284443417 1415.32/1415.37 o 4284443416 1415.42/1415.46 o 4284443415 1415.82/1415.83 o 4281921686 1415.92/1415.91 o 4281921685 1415.92/1415.98 o 4281921684 1416.02/1416.04 o 4281921683 1416.12/1416.10 o 4281921682 1416.12/1416.19 o 4281921681 1416.32/1416.31 o 4281921680 1416.42/1416.44 o 4281921679 1416.62/1416.60 o 4281921678 1416.73/1416.74 o 4281921677 1416.84/1416.88 o 4281921676 1417.02/1417.00 o 4281921675 1417.12/1417.13 o 4281921674 1417.32/1417.33 o 4281921673 1417.52/1417.58 o 4281921672 1417.83/1417.87 o 4281921671 1423.62/1423.63 o 4281921670 1423.92/1423.91 o 4281921669 1429.42/1429.43 o 4281921668 1429.72/1429.76 o 4281921667 1441.22/1441.25 o 4276878200 1441.32/1441.34 o 4276878199 1441.42/1441.43 o 4276878198 1441.52/1441.51 o 4276878197 1441.62/1441.61 o 4276878196 1441.72/1441.77 o 4276878195 1441.92/1441.91 o 4276878194 1442.03/1442.07 o 4276878193 1442.22/1442.23 o 4276878192 1442.42/1442.45 o 4276878191 1442.72/1442.77 o 4276878190 1443.02/1443.05 o 4276878189 1443.24/1443.25 o 4276878188 1443.42/1443.41 o 4276878187 1443.52/1443.57 o 4276878186 1443.62/1443.64 o 4276878185 1443.82/1443.88 o 4276878184 1444.12/1444.19 o 4276878183 1444.42/1444.44 o 4276878182 1449.84/1449.82 o 4276878181 1455.22/1455.30 o 4276878180 1461.94/1461.92 o 4276878179 1463.42/1463.44 o 4276878178 1468.02/1468.07 o 4274356463 1468.12/1468.18 o 4274356462 1468.43/1468.42 o 4274356461 1468.62/1468.68 o 4274356460 1468.92/1468.91 o 4274356459 1469.02/1469.03 o 4274356458 1469.12/1469.15 o 4274356457 1469.22/1469.27 o 4274356456 1469.32/1469.39 o 4274356455 1469.53/1469.52 o 4274356454 1469.64/1469.64 o 4274356453 1469.72/1469.78 o 4274356452 1469.92/1469.93 o 4274356451 1470.02/1470.00 o 4274356450 1470.12/1470.10 o 4274356449 1470.12/1470.16 o 4274356448 1470.22/1470.26 o 4274356447 1470.42/1470.41 o 4274356446 1470.52/1470.51 o 4274356445 1470.63/1470.68 o 4274356444 1470.82/1470.86 o 4274356443 1471.02/1471.05 o 4274356442 1471.22/1471.29 o 4274356441 1471.52/1471.59 o 4274356440 1471.73/1471.79 o 4274356439 1472.02/1472.06 o 4274356438 1472.42/1472.45 o 4274356437 1472.72/1472.78 o 4271834718 1472.83/1472.85 o 4271834717 1473.02/1473.04 o 4271834716 1473.12/1473.11 o 4271834715 1473.22/1473.22 o 4271834714 1473.42/1473.41 o 4271834713 1473.42/1473.47 o 4271834712 1473.52/1473.53 o 4271834711 1473.62/1473.65 o 4271834710 1473.72/1473.72 o 4271834709 1473.82/1473.80 o 4269312965 1473.92/1473.91 o 4269312964 1474.04/1474.02 o 4269312963 1474.12/1474.14 o 4269312962 1474.22/1474.26 o 4269312961 1474.32/1474.36 o 4269312960 1474.42/1474.45 o 4269312959 1474.62/1474.63 o 4269312958 1474.92/1474.99 o 4269312957 1475.22/1475.26 o 4269312956 1475.42/1475.48 o 4269312955 1475.62/1475.66 o 4269312954 1475.92/1475.92 o 4269312953 1476.12/1476.17 o 4269312952 1476.32/1476.40 o 4269312951 1476.62/1476.62 o 4269312950 1476.72/1476.78 o 4269312949 1477.02/1477.08 o 4269312948 1480.42/1480.49 o 4269312947 1484.72/1484.73 o 4264269483 1484.72/1484.79 o 4264269482 1484.82/1484.86 o 4264269481 1484.93/1484.92 o 4264269480 1484.93/1484.98 o 4264269479 1485.12/1485.11 o 4264269478 1485.22/1485.21 o 4264269477 1485.22/1485.29 o 4264269476 1485.32/1485.37 o 4264269475 1485.42/1485.44 o 4264269474 1485.52/1485.53 o 4264269472 1485.62/1485.61 o 4264269471 1485.62/1485.67 o 4264269470 1485.72/1485.73 o 4264269469 1485.82/1485.82 o 4264269468 1485.82/1485.88 o 4264269467 1486.03/1486.03 o 4264269466 1486.14/1486.18 o 4264269465 1486.32/1486.35 o 4264269464 1486.52/1486.51 o 4264269463 1486.72/1486.74 o 4264269462 1487.02/1487.02 o 4264269461 1487.32/1487.31 o 4264269460 1487.92/1487.93 o 4264269459 1492.52/1492.54 o 4261747731 1492.63/1492.61 o 4261747730 1492.74/1492.72 o 4261747729 1492.74/1492.79 o 4261747728 1492.92/1492.91 o 4261747727 1493.02/1493.03 o 4261747726 1493.12/1493.15 o 4261747725 1493.22/1493.27 o 4261747724 1493.32/1493.39 o 4261747723 1493.42/1493.47 o 4261747721 1493.72/1493.73 o 4261747720 1493.92/1493.98 o 4261747719 1494.12/1494.20 o 4261747718 1494.42/1494.44 o 4261747717 1495.42/1495.47 o 4261747716 1496.10/1496.15 o 4261747715 1496.20/1496.24 o 4261747714 1496.40/1496.48 o 4259225989 1496.50/1496.56 o 4259225988 1496.60/1496.61 o 4259225987 1496.60/1496.67 o 4259225986 1496.70/1496.73 o 4259225985 1496.80/1496.80 o 4259225984 1496.90/1496.90 o 4259225983 1497.30/1497.38 o 4259225982 1497.60/1497.67 o 4259225981 1498.00/1498.05 o 4259225980 1498.21/1498.26 o 4259225979 1498.50/1498.58 o 4259225978 1498.80/1498.80 o 4259225977 1499.00/1499.03 o 4259225976 1499.20/1499.23 o 4259225975 1499.40/1499.48 o 4259225974 1499.70/1499.73 o 4259225973 1501.60/1501.66 o 4259225972 1503.20/1503.27 o 4259225971 1508.00/1508.11 o 4259225970 1513.50/1513.57 o 4259225969 1513.90/1513.93 o 4256704247 1514.00/1514.02 o 4256704246 1514.00/1514.08 o 4256704245 1514.10/1514.15 o 4256704244 1514.20/1514.21 o 4256704243 1514.20/1514.28 o 4256704242 1514.30/1514.35 o 4256704241 1514.40/1514.42 o 4256704240 1514.50/1514.50 o 4256704239 1514.50/1514.57 o 4256704238 1514.60/1514.66 o 4256704237 1514.71/1514.74 o 4256704236 1514.80/1514.82 o 4256704235 1514.80/1514.89 o 4256704234 1514.90/1514.98 o 4256704233 1515.10/1515.19 o 4256704232 1515.40/1515.41 o 4256704231 1515.60/1515.61 o 4256704230 1515.70/1515.81 o 4256704229 1515.90/1515.97 o 4256704228 1516.10/1516.14 o 4256704227 1516.30/1516.31 o 4256704226 1516.60/1516.64 o 4254182495 1516.70/1516.71 o 4254182494 1516.70/1516.76 o 4254182492 1516.80/1516.82 o 4254182491 1516.80/1516.88 o 4254182490 1516.91/1516.94 o 4254182489 1517.00/1517.05 o 4254182488 1517.10/1517.14 o 4254182487 1517.20/1517.24 o 4254182486 1517.30/1517.33 o 4254182485 1517.40/1517.42 o 4254182484 1517.50/1517.50 o 4254182483 1523.40/1523.43 o 4254182482 1526.70/1526.72 o 4249139013 1526.70/1526.77 o 4249139010 1526.81/1526.83 o 4249139009 1526.81/1526.88 o 4249139008 1526.90/1526.94 o 4249139007 1527.00/1527.03 o 4249139006 1527.10/1527.15 o 4249139005 1527.70/1527.73 o 4249139004 1527.91/1527.98 o 4249139003 1528.20/1528.24 o 4249139002 1528.40/1528.43 o 4249139001 1528.60/1528.64 o 4249139000 1528.90/1528.95 o 4249138999 1529.10/1529.14 o 4249138998 1529.30/1529.32 o 4249138997 1529.50/1529.54 o 4249138996 1529.80/1529.84 o 4249138995 1530.00/1530.07 o 4249138994 1534.51/1534.57 o 4249138993 1546.30/1546.30 o 4249138992 1548.90/1548.91 o 4249138991 1550.50/1550.54 o 4249138990 1551.20/1551.20 o 4246617269 1551.30/1551.31 o 4246617268 1551.30/1551.38 o 4246617267 1551.40/1551.44 o 4246617266 1551.40/1551.49 o 4246617264 1551.50/1551.56 o 4246617263 1551.60/1551.61 o 4246617261 1551.60/1551.69 o 4246617260 1551.70/1551.78 o 4246617259 1551.80/1551.88 o 4246617258 1551.90/1551.96 o 4246617257 1552.00/1552.05 o 4246617256 1552.12/1552.15 o 4246617255 1552.20/1552.25 o 4246617254 1552.30/1552.37 o 4246617253 1552.40/1552.45 o 4246617252 1552.70/1552.76 o 4246617251 1553.00/1553.03 o 4246617250 1553.21/1553.27 o 4246617249 1553.50/1553.51 o 4246617248 1554.60/1554.64 o 4246617247 1555.42/1555.49 o 4244095512 1555.50/1555.59 o 4244095511 1555.80/1555.84 o 4244095510 1556.10/1556.11 o 4244095509 1556.20/1556.26 o 4244095508 1556.40/1556.41 o 4244095507 1556.52/1556.60 o 4244095506 1556.70/1556.78 o 4244095505 1557.00/1557.00 o 4244095504 1561.00/1561.05 o 4244095503 1567.30/1567.41 o 4241573775 1567.52/1567.52 o 4241573774 1567.60/1567.63 o 4241573773 1567.80/1567.89 o 4241573772 1568.10/1568.14 o 4241573771 1568.30/1568.37 o 4241573770 1568.50/1568.60 o 4241573769 1568.80/1568.87 o 4241573768 1569.10/1569.12 o 4241573767 1569.20/1569.28 o 4241573766 1569.40/1569.47 o 4241573765 1569.60/1569.68 o 4241573764 1569.80/1569.87 o 4241573763 1570.00/1570.04 o 4241573762 1571.00/1571.07 o 4241573761 1572.50/1572.56 o 4241573760 1578.10/1578.12 o 4241573759 1591.00/1591.02 o 4241573758 1602.72/1602.79 s OPTIMUM FOUND 1602.72/1602.79 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 x6758 x6759 -x6760 -x6761 -x6762 -x6763 -x6764 -x6765 -x6766 -x6767 -x6768 -x6769 -x6770 -x6771 -x6772 -x6773 x6774 x6775 x6776 -x6777 -x6778 -x6779 x6780 x6781 x6782 -x6783 -x6784 -x6785 -x6786 -x6787 -x6788 -x6789 -x6790 -x6791
OK 4241573758
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-3467688-1307426892/watcher-3467688-1307426892 -o /tmp/evaluation-result-3467688-1307426892/solver-3467688-1307426892 -C 1800 -W 1900 -M 15500 --use-pty HOME/minisatid-gmp HOME/instance-3467688-1307426892.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.12 2.05 2.01 3/488 10630 /proc/meminfo: memFree=21272276/32951124 swapFree=46575304/67111528 [pid=10630] ppid=10628 vsize=7332 CPUtime=0 cores=0,2,4,6 /proc/10630/stat : 10630 (minisatid-gmp) R 10628 10630 9774 0 -1 4202496 340 0 0 0 0 0 0 0 25 0 1 0 586880503 7507968 287 33554432000 4194304 6736272 140736382348976 18446744073709551615 5809726 0 0 4096 17571 0 0 0 17 0 0 0 0 /proc/10630/statm: 1833 288 221 621 0 1203 0 [startup+0.0339149 s] /proc/loadavg: 2.12 2.05 2.01 3/488 10630 /proc/meminfo: memFree=21272276/32951124 swapFree=46575304/67111528 [pid=10630] ppid=10628 vsize=9900 CPUtime=0.02 cores=0,2,4,6 /proc/10630/stat : 10630 (minisatid-gmp) R 10628 10630 9774 0 -1 4202496 1028 0 0 0 2 0 0 0 25 0 1 0 586880503 10137600 932 33554432000 4194304 6736272 140736382348976 18446744073709551615 5809726 0 0 4096 17571 0 0 0 17 0 0 0 0 /proc/10630/statm: 2475 932 248 621 0 1845 0 Current children cumulated CPU time (s) 0.02 Current children cumulated vsize (KiB) 9900 [startup+0.100893 s] /proc/loadavg: 2.12 2.05 2.01 3/488 10630 /proc/meminfo: memFree=21272276/32951124 swapFree=46575304/67111528 [pid=10630] ppid=10628 vsize=14516 CPUtime=0.09 cores=0,2,4,6 /proc/10630/stat : 10630 (minisatid-gmp) R 10628 10630 9774 0 -1 4202496 2185 0 0 0 9 0 0 0 25 0 1 0 586880503 14864384 2089 33554432000 4194304 6736272 140736382348976 18446744073709551615 5809726 0 0 4096 17571 0 0 0 17 0 0 0 0 /proc/10630/statm: 3629 2090 248 621 0 2999 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 14516 [startup+0.300869 s] /proc/loadavg: 2.12 2.05 2.01 3/488 10630 /proc/meminfo: memFree=21272276/32951124 swapFree=46575304/67111528 [pid=10630] ppid=10628 vsize=29776 CPUtime=0.28 cores=0,2,4,6 /proc/10630/stat : 10630 (minisatid-gmp) R 10628 10630 9774 0 -1 4202496 5992 0 0 0 28 0 0 0 25 0 1 0 586880503 30490624 5896 33554432000 4194304 6736272 140736382348976 18446744073709551615 4699385 0 0 4096 17571 0 0 0 17 0 0 0 0 /proc/10630/statm: 7444 5896 259 621 0 6814 0 Current children cumulated CPU time (s) 0.28 Current children cumulated vsize (KiB) 29776 [startup+0.700797 s] /proc/loadavg: 2.12 2.05 2.01 3/488 10630 /proc/meminfo: memFree=21272276/32951124 swapFree=46575304/67111528 [pid=10630] ppid=10628 vsize=61364 CPUtime=0.69 cores=0,2,4,6 /proc/10630/stat : 10630 (minisatid-gmp) R 10628 10630 9774 0 -1 4202496 14257 0 0 0 67 2 0 0 25 0 1 0 586880503 62836736 13793 33554432000 4194304 6736272 140736382348976 18446744073709551615 5809726 0 0 4096 17571 0 0 0 17 0 0 0 0 /proc/10630/statm: 15341 13794 266 621 0 14711 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 61364 [startup+1.50065 s] /proc/loadavg: 2.11 2.05 2.01 3/489 10631 /proc/meminfo: memFree=21190180/32951124 swapFree=46575304/67111528 [pid=10630] ppid=10628 vsize=84704 CPUtime=1.48 cores=0,2,4,6 /proc/10630/stat : 10630 (minisatid-gmp) R 10628 10630 9774 0 -1 4202496 21184 0 0 0 145 3 0 0 25 0 1 0 586880503 86736896 20714 33554432000 4194304 6736272 140736382348976 18446744073709551615 5149213 0 0 4096 17571 0 0 0 17 0 0 0 0 /proc/10630/statm: 21176 20714 284 621 0 20546 0 Current children cumulated CPU time (s) 1.48 Current children cumulated vsize (KiB) 84704 [startup+3.10032 s] /proc/loadavg: 2.11 2.05 2.01 3/489 10631 /proc/meminfo: memFree=21188940/32951124 swapFree=46575304/67111528 [pid=10630] ppid=10628 vsize=84708 CPUtime=3.08 cores=0,2,4,6 /proc/10630/stat : 10630 (minisatid-gmp) R 10628 10630 9774 0 -1 4202496 21201 0 0 0 305 3 0 0 25 0 1 0 586880503 86740992 20731 33554432000 4194304 6736272 140736382348976 18446744073709551615 4640348 0 0 4096 17571 0 0 0 17 0 0 0 0 /proc/10630/statm: 21177 20731 286 621 0 20547 0 Current children cumulated CPU time (s) 3.08 Current children cumulated vsize (KiB) 84708 [startup+6.3008 s] /proc/loadavg: 2.11 2.05 2.01 3/489 10631 /proc/meminfo: memFree=21187628/32951124 swapFree=46575304/67111528 [pid=10630] ppid=10628 vsize=84708 CPUtime=6.28 cores=0,2,4,6 /proc/10630/stat : 10630 (minisatid-gmp) R 10628 10630 9774 0 -1 4202496 21201 0 0 0 625 3 0 0 25 0 1 0 586880503 86740992 20731 33554432000 4194304 6736272 140736382348976 18446744073709551615 4750614 0 0 4096 17571 0 0 0 17 0 0 0 0 /proc/10630/statm: 21177 20731 286 621 0 20547 0 Current children cumulated CPU time (s) 6.28 Current children cumulated vsize (KiB) 84708 [startup+12.7007 s] /proc/loadavg: 2.10 2.05 2.01 3/489 10632 /proc/meminfo: memFree=21187412/32951124 swapFree=46575304/67111528 [pid=10630] ppid=10628 vsize=84708 CPUtime=12.68 cores=0,2,4,6 /proc/10630/stat : 10630 (minisatid-gmp) R 10628 10630 9774 0 -1 4202496 21202 0 0 0 1265 3 0 0 25 0 1 0 586880503 86740992 20732 33554432000 4194304 6736272 140736382348976 18446744073709551615 5803175 0 0 4096 17571 0 0 0 17 0 0 0 0 /proc/10630/statm: 21177 20732 286 621 0 20547 0 Current children cumulated CPU time (s) 12.68 Current children cumulated vsize (KiB) 84708 [startup+25.5004 s] /proc/loadavg: 2.08 2.05 2.01 3/489 10632 /proc/meminfo: memFree=21187512/32951124 swapFree=46575304/67111528 [pid=10630] ppid=10628 vsize=85104 CPUtime=25.48 cores=0,2,4,6 /proc/10630/stat : 10630 (minisatid-gmp) R 10628 10630 9774 0 -1 4202496 21216 0 0 0 2545 3 0 0 25 0 1 0 586880503 87146496 20746 33554432000 4194304 6736272 140736382348976 18446744073709551615 5811858 0 0 4096 17571 0 0 0 17 0 0 0 0 /proc/10630/statm: 21276 20746 286 621 0 20646 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 85104 [startup+51.1009 s] /proc/loadavg: 1.98 2.02 2.00 3/489 10715 /proc/meminfo: memFree=21144884/32951124 swapFree=46575304/67111528 [pid=10630] ppid=10628 vsize=85104 CPUtime=51.09 cores=0,2,4,6 /proc/10630/stat : 10630 (minisatid-gmp) R 10628 10630 9774 0 -1 4202496 21299 0 0 0 5105 4 0 0 25 0 1 0 586880503 87146496 20828 33554432000 4194304 6736272 140736382348976 18446744073709551615 5811923 0 0 4096 17571 0 0 0 17 0 0 0 0 /proc/10630/statm: 21276 20828 286 621 0 20646 0 Current children cumulated CPU time (s) 51.09 Current children cumulated vsize (KiB) 85104 [startup+102.318 s] /proc/loadavg: 1.99 2.02 2.00 3/489 10716 /proc/meminfo: memFree=21140596/32951124 swapFree=46575304/67111528 [pid=10630] ppid=10628 vsize=87148 CPUtime=102.3 cores=0,2,4,6 /proc/10630/stat : 10630 (minisatid-gmp) R 10628 10630 9774 0 -1 4202496 21815 0 0 0 10226 4 0 0 25 0 1 0 586880503 89239552 21340 33554432000 4194304 6736272 140736382348976 18446744073709551615 4534900 0 0 4096 17571 0 0 0 17 0 0 0 0 /proc/10630/statm: 21787 21340 286 621 0 21157 0 Current children cumulated CPU time (s) 102.3 Current children cumulated vsize (KiB) 87148 [startup+162.3 s] /proc/loadavg: 1.99 2.01 2.00 3/489 10718 /proc/meminfo: memFree=21132148/32951124 swapFree=46575304/67111528 [pid=10630] ppid=10628 vsize=88812 CPUtime=162.29 cores=0,2,4,6 /proc/10630/stat : 10630 (minisatid-gmp) R 10628 10630 9774 0 -1 4202496 22225 0 0 0 16224 5 0 0 25 0 1 0 586880503 90943488 21748 33554432000 4194304 6736272 140736382348976 18446744073709551615 5803203 0 0 4096 17571 0 0 0 17 0 0 0 0 /proc/10630/statm: 22203 21748 286 621 0 21573 0 Current children cumulated CPU time (s) 162.29 Current children cumulated vsize (KiB) 88812 [startup+222.301 s] /proc/loadavg: 1.99 2.01 2.00 3/489 10719 /proc/meminfo: memFree=21127924/32951124 swapFree=46575304/67111528 [pid=10630] ppid=10628 vsize=88812 CPUtime=222.29 cores=0,2,4,6 /proc/10630/stat : 10630 (minisatid-gmp) R 10628 10630 9774 0 -1 4202496 22234 0 0 0 22224 5 0 0 25 0 1 0 586880503 90943488 21757 33554432000 4194304 6736272 140736382348976 18446744073709551615 5818029 0 0 4096 17571 0 0 0 17 0 0 0 0 /proc/10630/statm: 22203 21757 286 621 0 21573 0 Current children cumulated CPU time (s) 222.29 Current children cumulated vsize (KiB) 88812 [startup+282.301 s] /proc/loadavg: 2.06 2.03 2.01 3/489 10721 /proc/meminfo: memFree=21127292/32951124 swapFree=46575304/67111528 [pid=10630] ppid=10628 vsize=88812 CPUtime=282.29 cores=0,2,4,6 /proc/10630/stat : 10630 (minisatid-gmp) R 10628 10630 9774 0 -1 4202496 22234 0 0 0 28224 5 0 0 25 0 1 0 586880503 90943488 21757 33554432000 4194304 6736272 140736382348976 18446744073709551615 5221920 0 0 4096 17571 0 0 0 17 0 0 0 0 /proc/10630/statm: 22203 21757 286 621 0 21573 0 Current children cumulated CPU time (s) 282.29 Current children cumulated vsize (KiB) 88812 [startup+342.301 s] /proc/loadavg: 2.02 2.02 2.00 3/489 10722 /proc/meminfo: memFree=21133348/32951124 swapFree=46575304/67111528 [pid=10630] ppid=10628 vsize=88812 CPUtime=342.29 cores=0,2,4,6 /proc/10630/stat : 10630 (minisatid-gmp) R 10628 10630 9774 0 -1 4202496 22234 0 0 0 34224 5 0 0 25 0 1 0 586880503 90943488 21757 33554432000 4194304 6736272 140736382348976 18446744073709551615 4534864 0 0 4096 17571 0 0 0 17 0 0 0 0 /proc/10630/statm: 22203 21757 286 621 0 21573 0 Current children cumulated CPU time (s) 342.29 Current children cumulated vsize (KiB) 88812 [startup+402.301 s] /proc/loadavg: 2.14 2.05 2.01 3/489 10724 /proc/meminfo: memFree=21122544/32951124 swapFree=46575304/67111528 [pid=10630] ppid=10628 vsize=88812 CPUtime=402.3 cores=0,2,4,6 /proc/10630/stat : 10630 (minisatid-gmp) R 10628 10630 9774 0 -1 4202496 22234 0 0 0 40225 5 0 0 25 0 1 0 586880503 90943488 21757 33554432000 4194304 6736272 140736382348976 18446744073709551615 4505361 0 0 4096 17571 0 0 0 17 0 0 0 0 /proc/10630/statm: 22203 21757 286 621 0 21573 0 Current children cumulated CPU time (s) 402.3 Current children cumulated vsize (KiB) 88812 [startup+462.3 s] /proc/loadavg: 2.11 2.06 2.01 3/489 10726 /proc/meminfo: memFree=21122776/32951124 swapFree=46575304/67111528 [pid=10630] ppid=10628 vsize=88812 CPUtime=462.3 cores=0,2,4,6 /proc/10630/stat : 10630 (minisatid-gmp) R 10628 10630 9774 0 -1 4202496 22236 0 0 0 46225 5 0 0 25 0 1 0 586880503 90943488 21759 33554432000 4194304 6736272 140736382348976 18446744073709551615 4630298 0 0 4096 17571 0 0 0 17 0 0 0 0 /proc/10630/statm: 22203 21759 287 621 0 21573 0 Current children cumulated CPU time (s) 462.3 Current children cumulated vsize (KiB) 88812 [startup+522.301 s] /proc/loadavg: 2.04 2.04 2.00 3/489 10727 /proc/meminfo: memFree=21122756/32951124 swapFree=46575304/67111528 [pid=10630] ppid=10628 vsize=88812 CPUtime=522.3 cores=0,2,4,6 /proc/10630/stat : 10630 (minisatid-gmp) R 10628 10630 9774 0 -1 4202496 22236 0 0 0 52225 5 0 0 25 0 1 0 586880503 90943488 21759 33554432000 4194304 6736272 140736382348976 18446744073709551615 5219603 0 0 4096 17571 0 0 0 17 0 0 0 0 /proc/10630/statm: 22203 21759 287 621 0 21573 0 Current children cumulated CPU time (s) 522.3 Current children cumulated vsize (KiB) 88812 [startup+582.3 s] /proc/loadavg: 2.01 2.03 2.00 3/489 10729 /proc/meminfo: memFree=21120004/32951124 swapFree=46575304/67111528 [pid=10630] ppid=10628 vsize=88812 CPUtime=582.3 cores=0,2,4,6 /proc/10630/stat : 10630 (minisatid-gmp) R 10628 10630 9774 0 -1 4202496 22236 0 0 0 58225 5 0 0 25 0 1 0 586880503 90943488 21759 33554432000 4194304 6736272 140736382348976 18446744073709551615 4535200 0 0 4096 17571 0 0 0 17 0 0 0 0 /proc/10630/statm: 22203 21759 287 621 0 21573 0 Current children cumulated CPU time (s) 582.3 Current children cumulated vsize (KiB) 88812 ################ # More data... # ################ /proc/meminfo: memFree=21127420/32951124 swapFree=46575304/67111528 [pid=10630] ppid=10628 vsize=88812 CPUtime=642.3 cores=0,2,4,6 /proc/10630/stat : 10630 (minisatid-gmp) R 10628 10630 9774 0 -1 4202496 22236 0 0 0 64225 5 0 0 25 0 1 0 586880503 90943488 21759 33554432000 4194304 6736272 140736382348976 18446744073709551615 4535219 0 0 4096 17571 0 0 0 17 0 0 0 0 /proc/10630/statm: 22203 21759 287 621 0 21573 0 Current children cumulated CPU time (s) 642.3 Current children cumulated vsize (KiB) 88812 [startup+702.301 s] /proc/loadavg: 2.00 2.02 2.00 3/489 10732 /proc/meminfo: memFree=21122568/32951124 swapFree=46575304/67111528 [pid=10630] ppid=10628 vsize=88812 CPUtime=702.3 cores=0,2,4,6 /proc/10630/stat : 10630 (minisatid-gmp) R 10628 10630 9774 0 -1 4202496 22236 0 0 0 70225 5 0 0 25 0 1 0 586880503 90943488 21759 33554432000 4194304 6736272 140736382348976 18446744073709551615 5148128 0 0 4096 17571 0 0 0 17 0 0 0 0 /proc/10630/statm: 22203 21759 287 621 0 21573 0 Current children cumulated CPU time (s) 702.3 Current children cumulated vsize (KiB) 88812 [startup+762.319 s] /proc/loadavg: 2.00 2.01 2.00 3/489 10734 /proc/meminfo: memFree=21120312/32951124 swapFree=46575304/67111528 [pid=10630] ppid=10628 vsize=90484 CPUtime=762.32 cores=0,2,4,6 /proc/10630/stat : 10630 (minisatid-gmp) R 10628 10630 9774 0 -1 4202496 22654 0 0 0 76226 6 0 0 25 0 1 0 586880503 92655616 22177 33554432000 4194304 6736272 140736382348976 18446744073709551615 5219536 0 0 4096 17571 0 0 0 17 0 0 0 0 /proc/10630/statm: 22621 22177 287 621 0 21991 0 Current children cumulated CPU time (s) 762.32 Current children cumulated vsize (KiB) 90484 [startup+822.301 s] /proc/loadavg: 2.09 2.04 2.01 3/489 10735 /proc/meminfo: memFree=21119060/32951124 swapFree=46575304/67111528 [pid=10630] ppid=10628 vsize=94192 CPUtime=822.31 cores=0,2,4,6 /proc/10630/stat : 10630 (minisatid-gmp) R 10628 10630 9774 0 -1 4202496 22709 0 0 0 82225 6 0 0 25 0 1 0 586880503 96452608 22232 33554432000 4194304 6736272 140736382348976 18446744073709551615 5818797 0 0 4096 17571 0 0 0 17 0 0 0 0 /proc/10630/statm: 23548 22232 287 621 0 22918 0 Current children cumulated CPU time (s) 822.31 Current children cumulated vsize (KiB) 94192 [startup+882.3 s] /proc/loadavg: 2.07 2.04 2.01 3/489 10737 /proc/meminfo: memFree=21118804/32951124 swapFree=46575304/67111528 [pid=10630] ppid=10628 vsize=94192 CPUtime=882.31 cores=0,2,4,6 /proc/10630/stat : 10630 (minisatid-gmp) R 10628 10630 9774 0 -1 4202496 22709 0 0 0 88225 6 0 0 25 0 1 0 586880503 96452608 22232 33554432000 4194304 6736272 140736382348976 18446744073709551615 4535195 0 0 4096 17571 0 0 0 17 0 0 0 0 /proc/10630/statm: 23548 22232 287 621 0 22918 0 Current children cumulated CPU time (s) 882.31 Current children cumulated vsize (KiB) 94192 [startup+942.301 s] /proc/loadavg: 2.02 2.03 2.00 3/489 10738 /proc/meminfo: memFree=21118772/32951124 swapFree=46575304/67111528 [pid=10630] ppid=10628 vsize=94192 CPUtime=942.31 cores=0,2,4,6 /proc/10630/stat : 10630 (minisatid-gmp) R 10628 10630 9774 0 -1 4202496 22709 0 0 0 94225 6 0 0 25 0 1 0 586880503 96452608 22232 33554432000 4194304 6736272 140736382348976 18446744073709551615 4755853 0 0 4096 17571 0 0 0 17 0 0 0 0 /proc/10630/statm: 23548 22232 287 621 0 22918 0 Current children cumulated CPU time (s) 942.31 Current children cumulated vsize (KiB) 94192 [startup+1002.3 s] /proc/loadavg: 2.08 2.05 2.01 3/489 10740 /proc/meminfo: memFree=21118876/32951124 swapFree=46575304/67111528 [pid=10630] ppid=10628 vsize=94192 CPUtime=1002.31 cores=0,2,4,6 /proc/10630/stat : 10630 (minisatid-gmp) R 10628 10630 9774 0 -1 4202496 22709 0 0 0 100225 6 0 0 25 0 1 0 586880503 96452608 22232 33554432000 4194304 6736272 140736382348976 18446744073709551615 5806424 0 0 4096 17571 0 0 0 17 0 0 0 0 /proc/10630/statm: 23548 22232 287 621 0 22918 0 Current children cumulated CPU time (s) 1002.31 Current children cumulated vsize (KiB) 94192 [startup+1062.3 s] /proc/loadavg: 2.06 2.05 2.01 3/489 10742 /proc/meminfo: memFree=21117468/32951124 swapFree=46575304/67111528 [pid=10630] ppid=10628 vsize=94192 CPUtime=1062.31 cores=0,2,4,6 /proc/10630/stat : 10630 (minisatid-gmp) R 10628 10630 9774 0 -1 4202496 22779 0 0 0 106225 6 0 0 25 0 1 0 586880503 96452608 22302 33554432000 4194304 6736272 140736382348976 18446744073709551615 5148172 0 0 4096 17571 0 0 0 17 0 0 0 0 /proc/10630/statm: 23548 22302 287 621 0 22918 0 Current children cumulated CPU time (s) 1062.31 Current children cumulated vsize (KiB) 94192 [startup+1122.3 s] /proc/loadavg: 2.02 2.04 2.00 3/489 10743 /proc/meminfo: memFree=21116564/32951124 swapFree=46575304/67111528 [pid=10630] ppid=10628 vsize=94192 CPUtime=1122.31 cores=0,2,4,6 /proc/10630/stat : 10630 (minisatid-gmp) R 10628 10630 9774 0 -1 4202496 22834 0 0 0 112225 6 0 0 25 0 1 0 586880503 96452608 22357 33554432000 4194304 6736272 140736382348976 18446744073709551615 4753706 0 0 4096 17571 0 0 0 17 0 0 0 0 /proc/10630/statm: 23548 22357 287 621 0 22918 0 Current children cumulated CPU time (s) 1122.31 Current children cumulated vsize (KiB) 94192 [startup+1182.3 s] /proc/loadavg: 2.00 2.03 2.00 3/489 10745 /proc/meminfo: memFree=21114932/32951124 swapFree=46575304/67111528 [pid=10630] ppid=10628 vsize=94192 CPUtime=1182.31 cores=0,2,4,6 /proc/10630/stat : 10630 (minisatid-gmp) R 10628 10630 9774 0 -1 4202496 22870 0 0 0 118225 6 0 0 25 0 1 0 586880503 96452608 22393 33554432000 4194304 6736272 140736382348976 18446744073709551615 5803152 0 0 4096 17571 0 0 0 17 0 0 0 0 /proc/10630/statm: 23548 22393 287 621 0 22918 0 Current children cumulated CPU time (s) 1182.31 Current children cumulated vsize (KiB) 94192 [startup+1242.3 s] /proc/loadavg: 2.00 2.02 2.00 3/489 10746 /proc/meminfo: memFree=21114296/32951124 swapFree=46575304/67111528 [pid=10630] ppid=10628 vsize=94192 CPUtime=1242.32 cores=0,2,4,6 /proc/10630/stat : 10630 (minisatid-gmp) R 10628 10630 9774 0 -1 4202496 22881 0 0 0 124225 7 0 0 25 0 1 0 586880503 96452608 22404 33554432000 4194304 6736272 140736382348976 18446744073709551615 5811974 0 0 4096 17571 0 0 0 17 0 0 0 0 /proc/10630/statm: 23548 22404 287 621 0 22918 0 Current children cumulated CPU time (s) 1242.32 Current children cumulated vsize (KiB) 94192 [startup+1302.3 s] /proc/loadavg: 2.00 2.02 2.00 3/489 10748 /proc/meminfo: memFree=21113904/32951124 swapFree=46575304/67111528 [pid=10630] ppid=10628 vsize=94192 CPUtime=1302.32 cores=0,2,4,6 /proc/10630/stat : 10630 (minisatid-gmp) R 10628 10630 9774 0 -1 4202496 22881 0 0 0 130225 7 0 0 25 0 1 0 586880503 96452608 22404 33554432000 4194304 6736272 140736382348976 18446744073709551615 5812137 0 0 4096 17571 0 0 0 17 0 0 0 0 /proc/10630/statm: 23548 22404 287 621 0 22918 0 Current children cumulated CPU time (s) 1302.32 Current children cumulated vsize (KiB) 94192 [startup+1362.3 s] /proc/loadavg: 2.12 2.04 2.01 3/489 10750 /proc/meminfo: memFree=21113492/32951124 swapFree=46575304/67111528 [pid=10630] ppid=10628 vsize=94192 CPUtime=1362.32 cores=0,2,4,6 /proc/10630/stat : 10630 (minisatid-gmp) R 10628 10630 9774 0 -1 4202496 22886 0 0 0 136225 7 0 0 25 0 1 0 586880503 96452608 22409 33554432000 4194304 6736272 140736382348976 18446744073709551615 5803157 0 0 4096 17571 0 0 0 17 0 0 0 0 /proc/10630/statm: 23548 22409 287 621 0 22918 0 Current children cumulated CPU time (s) 1362.32 Current children cumulated vsize (KiB) 94192 [startup+1422.32 s] /proc/loadavg: 2.10 2.05 2.01 3/489 10751 /proc/meminfo: memFree=21114304/32951124 swapFree=46575304/67111528 [pid=10630] ppid=10628 vsize=94192 CPUtime=1422.34 cores=0,2,4,6 /proc/10630/stat : 10630 (minisatid-gmp) R 10628 10630 9774 0 -1 4202496 22886 0 0 0 142227 7 0 0 25 0 1 0 586880503 96452608 22409 33554432000 4194304 6736272 140736382348976 18446744073709551615 5150928 0 0 4096 17571 0 0 0 17 0 0 0 0 /proc/10630/statm: 23548 22409 287 621 0 22918 0 Current children cumulated CPU time (s) 1422.34 Current children cumulated vsize (KiB) 94192 [startup+1482.3 s] /proc/loadavg: 2.04 2.04 2.00 3/489 10753 /proc/meminfo: memFree=21114400/32951124 swapFree=46575304/67111528 [pid=10630] ppid=10628 vsize=94192 CPUtime=1482.32 cores=0,2,4,6 /proc/10630/stat : 10630 (minisatid-gmp) R 10628 10630 9774 0 -1 4202496 22886 0 0 0 148225 7 0 0 25 0 1 0 586880503 96452608 22409 33554432000 4194304 6736272 140736382348976 18446744073709551615 5806341 0 0 4096 17571 0 0 0 17 0 0 0 0 /proc/10630/statm: 23548 22409 287 621 0 22918 0 Current children cumulated CPU time (s) 1482.32 Current children cumulated vsize (KiB) 94192 [startup+1542.3 s] /proc/loadavg: 2.11 2.06 2.01 3/489 10754 /proc/meminfo: memFree=21113372/32951124 swapFree=46575304/67111528 [pid=10630] ppid=10628 vsize=94192 CPUtime=1542.3 cores=0,2,4,6 /proc/10630/stat : 10630 (minisatid-gmp) R 10628 10630 9774 0 -1 4202496 22886 0 0 0 154223 7 0 0 25 0 1 0 586880503 96452608 22409 33554432000 4194304 6736272 140736382348976 18446744073709551615 5803188 0 0 4096 17571 0 0 0 17 0 0 0 0 /proc/10630/statm: 23548 22409 287 621 0 22918 0 Current children cumulated CPU time (s) 1542.3 Current children cumulated vsize (KiB) 94192 [startup+1602.3 s] /proc/loadavg: 2.08 2.06 2.01 3/489 10756 /proc/meminfo: memFree=21112732/32951124 swapFree=46575304/67111528 [pid=10630] ppid=10628 vsize=94192 CPUtime=1602.3 cores=0,2,4,6 /proc/10630/stat : 10630 (minisatid-gmp) R 10628 10630 9774 0 -1 4202496 23008 0 0 0 160223 7 0 0 25 0 1 0 586880503 96452608 22531 33554432000 4194304 6736272 140736382348976 18446744073709551615 5148030 0 0 4096 17571 0 0 0 17 0 0 0 0 /proc/10630/statm: 23548 22531 287 621 0 22918 0 Current children cumulated CPU time (s) 1602.3 Current children cumulated vsize (KiB) 94192 Solver just ended. Dumping a history of the last processes samples [startup+1602.72 s] /proc/loadavg: 2.08 2.06 2.01 3/489 10756 /proc/meminfo: memFree=21112732/32951124 swapFree=46575304/67111528 [pid=10630] ppid=10628 vsize=94192 CPUtime=1602.72 cores=0,2,4,6 /proc/10630/stat : 10630 (minisatid-gmp) R 10628 10630 9774 0 -1 4202496 23008 0 0 0 160265 7 0 0 25 0 1 0 586880503 96452608 22531 33554432000 4194304 6736272 140736382348976 18446744073709551615 5148063 0 0 4096 17571 0 0 0 17 0 0 0 0 /proc/10630/statm: 23548 22531 287 621 0 22918 0 Current children cumulated CPU time (s) 1602.72 Current children cumulated vsize (KiB) 94192 [startup+1602.8 s] /proc/loadavg: 2.08 2.06 2.01 3/489 10756 /proc/meminfo: memFree=21112732/32951124 swapFree=46575304/67111528 [pid=10630] ppid=10628 vsize=0 CPUtime=1602.79 cores=0,2,4,6 /proc/10630/stat : 10630 (minisatid-gmp) S 10628 10630 9774 0 -1 4202500 23013 0 0 0 160272 7 0 0 25 0 1 0 586880503 0 0 33554432000 0 0 0 0 0 0 2147483391 4096 17571 18446744073709551615 0 0 17 0 0 0 0 /proc/10630/statm: 0 0 0 0 0 0 0 Current children cumulated CPU time (s) 1602.79 Current children cumulated vsize (KiB) 0 Child status: 10 Real time (s): 1602.8 CPU time (s): 1602.81 CPU user time (s): 1602.73 CPU system time (s): 0.078987 CPU usage (%): 100 Max. virtual memory (cumulated for all children) (KiB): 94192 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1602.73 system time used= 0.078987 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 23013 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= 16 involuntary context switches= 3368 runsolver used 8.12276 second user time and 16.7854 second system time The end
Begin job on node107 at 2011-06-07 08:08:12 IDJOB=3467688 IDBENCH=72317 IDSOLVER=1957 FILE ID=node107/3467688-1307426892 RUNJOBID= node107-1307417880-10028 PBS_JOBID= 13514224 Free space on /tmp= 73900 MiB SOLVER NAME= MinisatID 2.4.8-gmp BENCH NAME= PB10/normalized-PB10/OPT-BIGINT-LIN/leberre/opb-trendy/misc2010/random/rand.newlist/normalized-randc5fe62.cudf.trendy.opb COMMAND LINE= HOME/minisatid-gmp BENCHNAME --verbosity=0 --format=opb RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3467688-1307426892/watcher-3467688-1307426892 -o /tmp/evaluation-result-3467688-1307426892/solver-3467688-1307426892 -C 1800 -W 1900 -M 15500 --use-pty HOME/minisatid-gmp HOME/instance-3467688-1307426892.opb --verbosity=0 --format=opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= 43875142ae1c220985d6e8b2ab6ecef8 RANDOM SEED=855195638 node107.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.829 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.65 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.829 cache size : 8192 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.75 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.829 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.67 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.829 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.82 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.829 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.74 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.829 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 : 5359.47 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.829 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.829 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.83 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] /proc/meminfo: MemTotal: 32951124 kB MemFree: 21272556 kB Buffers: 358324 kB Cached: 2243364 kB SwapCached: 22548 kB Active: 9299680 kB Inactive: 2027332 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 32951124 kB LowFree: 21272556 kB SwapTotal: 67111528 kB SwapFree: 46575304 kB Dirty: 3900 kB Writeback: 0 kB AnonPages: 8719988 kB Mapped: 33848 kB Slab: 188464 kB PageTables: 94504 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 83587088 kB Committed_AS: 145123396 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= 73896 MiB End job on node107 at 2011-06-07 08:34:55