Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
MinisatID 2.4.8-gmp | OPT | 22328675631 | 993.895 | 993.873 |
Name | /OPT-BIGINT-LIN/leberre/opb-trendy/misc2010/ random/rand.newlist/normalized-rand085d8a.cudf.trendy.opb |
MD5SUM | 1eb26c521d2a44b4096e6f3ba040291a |
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 | 22328675631 |
Best CPU time to get the best result obtained on this benchmark | 8.28774 |
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 | 6305 |
Total number of constraints | 26496 |
Number of constraints which are clauses | 26236 |
Number of constraints which are cardinality constraints (but not clauses) | 260 |
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 | 2938 |
Biggest coefficient in the objective function | 3183010111 |
Number of bits for the biggest coefficient in the objective function | 32 |
Sum of the numbers in the objective function | 1757017254508 |
Number of bits of the sum of numbers in the objective function | 41 |
Biggest number in a constraint | 3183010111 |
Number of bits of the biggest number in a constraint | 32 |
Biggest sum of numbers in a constraint | 1757017254508 |
Number of bits of the biggest sum of numbers | 41 |
Number of products (including duplicates) | 0 |
Sum of products size (including duplicates) | 0 |
Number of different products | 0 |
Sum of products size | 0 |
0.00/0.00 >>> IMPORTANT: two aggregates with the same head occurred. Assuming that this head is certainly true. 1.79/1.80 o 1209881401603 1.89/1.92 o 1206698391492 2.10/2.15 o 1193972842572 2.21/2.23 o 1190789832461 2.29/2.39 o 1187606822350 2.59/2.66 o 1184423812239 2.69/2.74 o 1181240802128 2.79/2.82 o 1178057792017 2.99/3.01 o 1174874781906 3.09/3.10 o 1171691771795 3.09/3.21 o 1168508761684 3.31/3.32 o 1165325751573 3.31/3.39 o 1162142741462 3.59/3.65 o 1158959731351 3.69/3.76 o 1158957567510 3.79/3.86 o 1155774557399 3.89/3.99 o 1152591547288 4.09/4.17 o 1149408537177 4.19/4.27 o 1146225527066 4.41/4.42 o 1143042516955 4.49/4.53 o 1139859506844 4.69/4.72 o 1136676496733 4.69/4.79 o 1133493486622 4.79/4.86 o 1130310476511 4.89/4.96 o 1127127466400 4.99/5.02 o 1123944456289 5.09/5.13 o 1120761446178 5.29/5.36 o 1117578436067 5.39/5.51 o 1114395425956 5.79/5.89 o 1111214579686 5.99/6.07 o 1108031569575 6.09/6.14 o 1104848559464 6.19/6.29 o 1101665549353 6.39/6.41 o 1098482539242 6.49/6.55 o 1095299529131 6.60/6.65 o 1092116519020 6.79/6.81 o 1088933508909 6.89/6.91 o 1085750498798 6.99/7.10 o 1082567488687 7.19/7.26 o 1069839775927 7.59/7.61 o 1066656765816 7.59/7.66 o 1063473755705 7.70/7.75 o 1060292909435 7.79/7.81 o 1057112063165 7.79/7.89 o 1053929053054 7.89/7.95 o 1050746042943 7.99/8.03 o 1047563032832 8.09/8.11 o 1044380022721 8.19/8.28 o 1041197012610 8.29/8.32 o 1038014002499 8.39/8.42 o 1034830992388 8.49/8.56 o 1031647982277 8.59/8.66 o 1028464972166 8.69/8.76 o 1025281962055 8.80/8.82 o 1022098951944 8.80/8.87 o 1018915941833 8.99/9.01 o 1015732931722 8.99/9.06 o 1012549921611 9.29/9.36 o 1009366911500 9.39/9.41 o 1006183901389 9.39/9.46 o 1003000891278 9.49/9.54 o 999817881167 9.59/9.61 o 996634871056 9.79/9.90 o 993451860945 9.99/10.08 o 990268850834 10.29/10.33 o 987085840723 10.39/10.41 o 983902830613 10.49/10.54 o 980719820502 10.89/10.97 o 977538974232 11.09/11.17 o 974355964121 11.19/11.26 o 967994271581 11.39/11.49 o 964811261470 11.59/11.66 o 964809097629 11.69/11.71 o 961626087518 11.79/11.80 o 958443077407 11.79/11.87 o 955260067296 11.89/11.99 o 952077057185 11.99/12.09 o 948894047074 12.11/12.15 o 945711036963 12.79/12.89 o 942528026852 12.99/13.02 o 939345016741 12.99/13.07 o 936162006630 13.39/13.47 o 932978996519 14.59/14.64 o 926615140139 15.19/15.23 o 923434293870 15.29/15.39 o 920251283759 15.49/15.57 o 917068273648 15.69/15.72 o 904340560886 15.99/16.04 o 901157550775 16.09/16.12 o 897974540664 16.69/16.71 o 894791530553 16.69/16.75 o 891608520442 16.79/16.89 o 888427674172 16.99/17.04 o 885244664061 17.19/17.22 o 882061653950 17.29/17.33 o 878878643839 17.39/17.49 o 875695633731 18.09/18.15 o 872514787461 18.59/18.71 o 869331777350 19.29/19.36 o 866148767239 19.89/19.93 o 862965757128 20.19/20.29 o 859782747017 20.29/20.34 o 856599736906 20.79/20.85 o 853416726795 22.29/22.32 o 850235880525 22.69/22.76 o 850233716684 22.89/22.96 o 847050706573 23.49/23.52 o 847048542732 23.89/23.99 o 847046378891 25.79/25.81 o 847044215052 25.89/25.95 o 847042051218 26.09/26.12 o 847039887377 26.19/26.29 o 847037723536 27.39/27.48 o 847035559695 27.59/27.67 o 843852549584 27.79/27.85 o 843850385743 27.99/28.08 o 840669539473 28.09/28.12 o 840667375632 28.09/28.17 o 837484365521 28.19/28.25 o 834301355410 28.19/28.29 o 831118345299 28.39/28.40 o 827935335195 28.39/28.47 o 824752325085 28.49/28.52 o 821569314974 28.61/28.63 o 821569314972 29.09/29.17 o 818384141026 29.29/29.34 o 815194639391 29.39/29.44 o 808828619169 29.39/29.48 o 805647772899 29.49/29.54 o 802464762789 29.59/29.62 o 799296899565 29.59/29.69 o 796113889454 29.70/29.75 o 792930879343 29.79/29.81 o 789750033074 29.79/29.88 o 786567022963 29.89/29.96 o 783384012852 29.99/30.03 o 780201002741 30.09/30.10 o 777017992630 30.09/30.14 o 773834982519 30.19/30.22 o 770651972409 30.29/30.32 o 767468962298 30.39/30.44 o 767468962297 30.49/30.57 o 764285952186 30.69/30.76 o 764283788346 30.80/30.82 o 761100778235 30.80/30.89 o 754736921854 31.09/31.12 o 751553911743 31.19/31.26 o 745190055362 31.39/31.42 o 745187891521 31.39/31.47 o 742004881410 31.49/31.56 o 738821871299 31.69/31.74 o 729277168655 31.90/31.92 o 726094158544 31.99/32.00 o 722911148433 31.99/32.08 o 719728138322 32.09/32.15 o 716545128211 32.19/32.23 o 716542964370 32.29/32.33 o 713359954259 32.39/32.47 o 710176944148 32.49/32.52 o 706993934037 32.49/32.57 o 703810923926 32.79/32.81 o 700627913815 32.79/32.89 o 697444903704 32.89/32.96 o 694261893593 33.00/33.07 o 691078883482 33.19/33.20 o 687895873371 33.19/33.28 o 684712863260 33.29/33.39 o 681529853149 33.49/33.57 o 678346843038 33.59/33.64 o 675163832927 33.69/33.76 o 671980822816 33.79/33.88 o 668797812705 33.89/33.93 o 665614802594 33.99/34.04 o 656067936107 34.19/34.28 o 656065772267 34.39/34.42 o 652880598315 34.49/34.50 o 649697588204 34.59/34.63 o 646514578093 34.69/34.75 o 643331567982 34.79/34.83 o 640148557871 34.79/34.88 o 636965547760 34.89/34.99 o 633782537649 35.09/35.16 o 630599527537 35.20/35.22 o 627416517426 35.29/35.33 o 624233507315 35.29/35.38 o 624231343474 35.49/35.54 o 624222688123 35.59/35.63 o 621039678012 35.69/35.77 o 617860995583 35.79/35.88 o 614677985472 35.89/35.95 o 611494975361 35.99/36.01 o 611492811520 35.99/36.06 o 608309801409 36.09/36.10 o 605126791298 36.09/36.17 o 601943781187 36.19/36.25 o 598760771076 36.30/36.34 o 595577760965 36.30/36.39 o 592394750854 36.49/36.52 o 589211740743 36.69/36.76 o 586028730632 36.79/36.89 o 582845720521 36.99/37.03 o 582843556680 36.99/37.09 o 582841392839 37.09/37.13 o 579658382728 37.29/37.34 o 579656218887 37.59/37.67 o 579654055048 37.69/37.72 o 576471044937 37.69/37.77 o 576468881096 38.39/38.42 o 576466717256 38.39/38.47 o 573283707145 39.19/39.21 o 570100697034 39.29/39.39 o 566917686923 39.49/39.56 o 563734676812 39.60/39.69 o 560551666701 39.79/39.89 o 560549502860 39.89/39.94 o 557366492749 40.09/40.13 o 554183482638 40.09/40.19 o 551000472527 40.59/40.67 o 547817462416 40.89/40.94 o 544638779987 41.09/41.17 o 541455769876 41.19/41.24 o 541453606035 41.19/41.29 o 538270595924 41.29/41.36 o 538268432083 41.39/41.48 o 535085421972 41.49/41.56 o 535083258131 41.59/41.64 o 535081094290 41.69/41.75 o 528715074068 41.80/41.84 o 525532063957 41.89/41.97 o 522351217687 41.99/42.03 o 519170371417 41.99/42.09 o 519168207576 42.09/42.14 o 515985197466 42.19/42.22 o 515983033625 42.19/42.28 o 512800023514 42.69/42.72 o 509617013403 42.79/42.83 o 509614849562 42.90/42.95 o 506431839451 42.99/43.04 o 506429675610 43.29/43.34 o 506427511769 43.39/43.43 o 503244501658 43.79/43.90 o 480967758564 44.00/44.01 o 477784748453 44.00/44.06 o 474601738342 44.09/44.13 o 471418728231 44.19/44.24 o 468235718120 44.29/44.34 o 468233554279 44.59/44.68 o 465050544169 44.99/45.02 o 465048380328 45.19/45.20 o 465046216487 45.39/45.43 o 461863206376 45.79/45.86 o 458680196265 46.09/46.17 o 455501513836 46.29/46.35 o 452318503725 46.49/46.56 o 445958975025 46.59/46.63 o 442775964917 46.69/46.72 o 439592954806 46.79/46.81 o 436409944697 46.99/47.00 o 433229098428 47.09/47.16 o 430046088317 47.19/47.22 o 423680068095 47.19/47.28 o 423677904255 47.30/47.39 o 420494894144 47.39/47.45 o 420492730303 47.49/47.50 o 417309720192 47.49/47.55 o 414126710081 47.79/47.83 o 410943699970 47.79/47.88 o 407760689859 47.89/47.93 o 404577679748 47.99/48.03 o 398213823367 48.09/48.18 o 398211659526 48.19/48.25 o 395028649415 48.19/48.30 o 391845639304 48.80/48.88 o 388664793035 49.10/49.12 o 385481782924 49.10/49.18 o 382298772813 49.20/49.24 o 379115762702 49.40/49.46 o 375932752591 49.60/49.66 o 372758397844 49.70/49.73 o 369575387733 49.80/49.84 o 366392377622 49.90/49.91 o 363211531352 50.00/50.01 o 360030685082 50.00/50.07 o 360028521241 50.10/50.16 o 356847674972 50.20/50.21 o 356847674971 50.30/50.32 o 353664664860 50.30/50.38 o 350481654749 50.40/50.44 o 347298644638 50.40/50.51 o 344115634527 50.61/50.66 o 340932624416 50.70/50.73 o 340932624415 50.80/50.82 o 340930460574 50.90/50.92 o 337749614304 51.20/51.26 o 334566604193 51.40/51.48 o 331383594082 52.10/52.14 o 328200583971 52.20/52.28 o 325017573860 52.40/52.41 o 321834563749 52.50/52.58 o 318651553638 52.70/52.76 o 318651553637 52.81/52.82 o 315468543526 52.81/52.88 o 315468543525 53.50/53.55 o 315466379684 53.91/53.95 o 315464215843 54.10/54.14 o 315462052002 54.20/54.24 o 312279041891 54.50/54.50 o 312276878050 54.50/54.56 o 312274714209 54.70/54.70 o 305908693987 54.80/54.84 o 302730011557 54.90/54.92 o 299549165287 55.01/55.09 o 296372646701 55.20/55.23 o 293191800434 55.30/55.31 o 293191800433 55.30/55.39 o 290010954163 55.50/55.58 o 286827944052 55.60/55.70 o 283644933941 56.00/56.05 o 280461923830 56.90/56.92 o 277278913719 57.21/57.25 o 274095903608 57.50/57.59 o 274093739767 58.00/58.01 o 274091575926 58.10/58.19 o 270908565815 58.40/58.49 o 267732047230 58.70/58.74 o 264549037119 58.90/58.99 o 264546873278 59.10/59.18 o 261363863167 59.20/59.29 o 258180853056 59.30/59.41 o 254997842945 59.80/59.85 o 254995679104 59.90/60.00 o 251819160516 60.10/60.12 o 248636150405 60.10/60.17 o 245453140294 60.20/60.28 o 242272294024 60.51/60.52 o 235908437644 60.60/60.63 o 232727591374 60.70/60.76 o 229553236627 60.80/60.87 o 226372390359 61.00/61.03 o 223193707931 61.10/61.14 o 220010697820 61.80/61.89 o 216862309169 62.00/62.01 o 216860145329 62.00/62.09 o 213677135218 62.20/62.24 o 213674971377 62.30/62.31 o 213672807536 62.40/62.47 o 210496288948 62.50/62.55 o 210494125108 62.80/62.85 o 210494125107 63.10/63.19 o 210494125106 63.30/63.32 o 207313278836 63.40/63.41 o 207311114995 64.20/64.20 o 204128104884 64.30/64.39 o 200945094774 64.40/64.49 o 200942930933 64.60/64.66 o 197759920822 64.70/64.81 o 197757756981 64.91/64.98 o 191391736759 65.10/65.15 o 188213054330 65.20/65.23 o 188210890489 65.30/65.38 o 185027880378 65.50/65.50 o 181844870267 65.90/65.99 o 178666187838 66.30/66.36 o 175483177727 66.40/66.46 o 175481013886 66.50/66.54 o 172298003774 66.70/66.72 o 169114993664 67.11/67.12 o 165931983553 67.20/67.25 o 162748973442 67.30/67.36 o 159565963331 67.40/67.48 o 156382953220 67.60/67.60 o 153199943109 67.80/67.82 o 150019096839 68.10/68.12 o 150019096838 68.21/68.27 o 150019096837 68.50/68.58 o 146836086726 68.80/68.86 o 143653076615 69.00/69.02 o 140470066504 69.20/69.25 o 140467902663 69.50/69.51 o 137287056393 70.10/70.17 o 134104046282 70.20/70.30 o 130921036171 70.30/70.40 o 127742353742 70.90/70.91 o 124559343632 71.40/71.47 o 121376333521 71.51/71.59 o 118193323410 71.90/71.97 o 115010313300 72.00/72.04 o 111829467030 72.10/72.19 o 111827303189 72.50/72.59 o 111825139348 72.61/72.68 o 108642129237 73.30/73.35 o 105469938331 74.50/74.58 o 102291255902 74.70/74.80 o 102289092063 75.00/75.02 o 99108245792 75.70/75.78 o 95927399521 75.80/75.86 o 92744389410 75.91/75.97 o 92742225569 76.90/76.96 o 89565706980 77.01/77.07 o 83206178281 77.40/77.48 o 80023168172 77.50/77.57 o 76844485741 77.60/77.66 o 76842321901 77.90/77.92 o 76842321900 77.90/77.99 o 76842321899 78.00/78.07 o 76840158060 78.20/78.23 o 73661475630 78.30/78.30 o 73661475629 78.30/78.37 o 73659311790 78.40/78.48 o 70478465520 78.60/78.65 o 67295455410 78.70/78.77 o 64114609140 78.90/78.92 o 64114609139 79.00/79.02 o 64112445300 79.30/79.30 o 57744261236 79.60/79.63 o 54561251125 79.80/79.86 o 54561251123 80.10/80.19 o 54559087282 80.31/80.32 o 51382568693 80.40/80.40 o 51380404852 80.50/80.50 o 51378241012 80.60/80.67 o 51378241011 80.70/80.79 o 51376077171 80.80/80.87 o 48195230901 81.00/81.09 o 48195230900 81.41/81.43 o 45012220790 81.50/81.52 o 45012220789 81.50/81.59 o 45012220788 82.80/82.87 o 45010056951 83.00/83.04 o 45007893110 83.40/83.50 o 45007893109 83.90/83.92 o 45005729268 84.00/84.01 o 41822719157 84.30/84.37 o 41820555316 84.40/84.48 o 41818391476 84.60/84.69 o 41818391475 84.80/84.80 o 41816227635 85.00/85.01 o 41814063794 85.40/85.46 o 38631053683 85.50/85.55 o 38628889843 86.50/86.55 o 35443715898 87.20/87.22 o 35437224382 87.50/87.50 o 35435060541 87.60/87.64 o 35435060539 87.70/87.79 o 35432896698 88.10/88.11 o 35430732857 88.20/88.29 o 35428569014 88.60/88.61 o 35428569013 88.90/88.91 o 35428569012 88.90/88.99 o 35426405173 89.00/89.11 o 35422077491 89.60/89.65 o 35419913653 90.21/90.21 o 32239067433 90.60/90.66 o 32239067432 90.90/90.95 o 32236903591 91.20/91.23 o 32236903590 91.70/91.70 o 29064712685 91.80/91.85 o 29064712684 92.30/92.36 o 29058221162 92.70/92.77 o 29056057321 92.90/92.91 o 29053893480 93.00/93.02 o 29053893479 93.10/93.14 o 29051729638 93.20/93.27 o 29049565797 93.30/93.40 o 29047401957 93.51/93.56 o 29045238116 94.00/94.09 o 29045238115 94.20/94.30 o 29043074274 94.40/94.40 o 29040910433 94.50/94.56 o 29040910432 94.70/94.73 o 29040910431 95.00/95.00 o 29038746592 95.30/95.38 o 29036582752 95.50/95.56 o 29034418913 95.71/95.77 o 29034418912 96.70/96.72 o 25860064163 96.81/96.85 o 25857900322 96.90/96.99 o 25855736482 97.20/97.23 o 25853572642 97.70/97.78 o 25853572639 97.91/97.93 o 25851408798 98.30/98.34 o 22670562528 98.60/98.61 o 22668398687 98.80/98.81 o 22659743323 98.90/98.97 o 22657579482 99.10/99.11 o 22655415642 100.40/100.43 o 22653251802 100.40/100.48 o 22651087961 100.50/100.55 o 22648924120 100.90/100.96 o 22646760281 101.30/101.39 o 22644596441 102.10/102.12 o 22642432599 102.10/102.19 o 22642432598 102.80/102.80 o 22640268757 103.20/103.26 o 22640268754 103.50/103.55 o 22638104916 103.60/103.62 o 22638104915 103.60/103.67 o 22638104914 103.80/103.81 o 22635941075 105.10/105.11 o 22633777235 105.20/105.28 o 22631613394 105.30/105.35 o 22629449554 105.80/105.83 o 22627285712 105.90/105.90 o 22625121871 106.50/106.55 o 22625121870 106.71/106.75 o 22622958029 107.00/107.07 o 22620794188 107.40/107.48 o 22620794187 107.60/107.68 o 22618630346 108.00/108.03 o 22616466507 108.20/108.24 o 22616466506 108.30/108.38 o 22614302665 109.50/109.57 o 22607811145 109.70/109.71 o 22605647304 110.01/110.03 o 22603483465 110.20/110.29 o 22601319624 110.40/110.48 o 22601319623 111.40/111.42 o 22601319622 112.70/112.72 o 22601319620 113.90/113.94 o 22599155779 114.00/114.07 o 22599155778 114.20/114.20 o 22599155777 114.30/114.34 o 22599155776 114.41/114.42 o 22596991936 114.60/114.63 o 22594828095 115.00/115.00 o 22592664256 115.20/115.28 o 22592664255 115.30/115.34 o 22592664254 115.40/115.50 o 22590500415 116.20/116.23 o 22590500414 116.61/116.64 o 22588336581 116.80/116.88 o 22586172742 117.40/117.41 o 22586172741 117.60/117.65 o 22584008901 117.80/117.84 o 22581845061 118.10/118.16 o 22581845060 118.30/118.34 o 22581845059 118.50/118.56 o 22579681218 121.40/121.42 o 22579681204 121.60/121.60 o 22579681203 121.80/121.81 o 22579681202 122.00/122.04 o 22577517361 122.20/122.22 o 22577517360 122.40/122.48 o 22575353519 122.80/122.82 o 22575353518 123.21/123.23 o 22573189677 123.40/123.44 o 22573189676 123.60/123.62 o 22571025836 125.10/125.14 o 22568862013 125.20/125.30 o 22566698172 125.50/125.53 o 22558042815 125.70/125.78 o 22553715133 125.90/125.96 o 22551551293 127.00/127.09 o 22551551292 127.20/127.25 o 22549387451 127.70/127.74 o 22549387450 127.90/127.96 o 22549387449 128.20/128.25 o 22547223608 128.40/128.48 o 22547223607 129.00/129.01 o 22545059770 130.30/130.30 o 22545059768 130.40/130.42 o 22545059767 130.50/130.53 o 22545059766 130.60/130.69 o 22545059765 130.70/130.76 o 22545059764 130.80/130.81 o 22545059763 130.80/130.87 o 22545059762 131.00/131.05 o 22545059761 131.30/131.36 o 22542895924 131.40/131.43 o 22542895923 131.60/131.60 o 22542895922 131.80/131.81 o 22540732083 131.80/131.89 o 22540732082 132.90/132.92 o 22540732081 133.80/133.87 o 22540732080 134.00/134.09 o 22540732079 134.60/134.65 o 22540732078 135.00/135.05 o 22538568252 135.10/135.13 o 22538568251 135.10/135.19 o 22538568250 135.20/135.25 o 22538568249 135.31/135.36 o 22538568248 135.50/135.54 o 22538568246 135.60/135.63 o 22538568245 135.80/135.89 o 22538568244 136.90/136.95 o 22538568240 137.00/137.02 o 22538568239 137.00/137.08 o 22538568237 137.10/137.16 o 22536404405 138.10/138.15 o 22534240564 139.60/139.66 o 22534240563 139.80/139.83 o 22532076721 140.40/140.47 o 22532076720 140.70/140.80 o 22529912879 140.90/140.91 o 22527749047 140.90/140.98 o 22527749046 141.00/141.04 o 22527749045 141.10/141.11 o 22527749044 141.10/141.18 o 22527749042 141.20/141.24 o 22527749041 141.30/141.30 o 22527749040 141.50/141.56 o 22527749039 141.70/141.70 o 22527749038 141.80/141.90 o 22527749037 142.10/142.11 o 22527749036 142.20/142.23 o 22527749035 142.30/142.33 o 22527749034 142.40/142.47 o 22525585194 142.80/142.84 o 22525585192 143.90/143.91 o 22523421353 144.11/144.14 o 22521257520 144.20/144.21 o 22521257518 144.20/144.27 o 22521257517 144.30/144.33 o 22521257516 144.40/144.41 o 22521257515 144.40/144.48 o 22521257514 145.90/145.93 o 22519093683 146.00/146.01 o 22519093682 146.00/146.08 o 22519093681 146.10/146.19 o 22519093680 146.40/146.45 o 22519093679 147.10/147.13 o 22519093678 147.30/147.34 o 22519093677 147.60/147.64 o 22519093676 148.00/148.03 o 22519093675 148.00/148.09 o 22519093674 148.20/148.25 o 22519093673 148.51/148.58 o 22519093672 148.70/148.70 o 22519093671 148.80/148.81 o 22519093670 152.30/152.33 o 22516929835 152.40/152.43 o 22516929834 157.00/157.00 o 22516929821 157.20/157.27 o 22516929820 157.70/157.70 o 22516929819 157.80/157.82 o 22516929818 157.80/157.88 o 22516929817 157.90/157.96 o 22516929814 158.10/158.16 o 22516929813 158.20/158.26 o 22516929812 158.50/158.58 o 22514765971 158.70/158.73 o 22512602130 159.20/159.27 o 22510438291 159.51/159.55 o 22510438290 159.70/159.77 o 22508274449 161.50/161.52 o 22503946770 161.50/161.60 o 22503946769 161.71/161.75 o 22503946768 161.80/161.87 o 22503946767 162.00/162.00 o 22503946766 162.10/162.13 o 22503946765 162.20/162.23 o 22503946764 162.30/162.35 o 22503946763 162.50/162.50 o 22503946762 162.60/162.63 o 22503946761 163.50/163.59 o 22501782936 163.60/163.68 o 22501782935 163.70/163.77 o 22501782934 163.80/163.89 o 22501782933 163.91/163.96 o 22501782932 164.10/164.10 o 22501782931 164.10/164.16 o 22501782930 164.30/164.32 o 22499619089 164.49/164.50 o 22499619087 164.49/164.59 o 22499619086 164.69/164.73 o 22499619085 164.79/164.82 o 22499619084 164.79/164.90 o 22499619083 168.80/168.84 o 22499619082 168.90/168.96 o 22499619080 169.20/169.28 o 22499619079 169.30/169.36 o 22499619077 169.50/169.50 o 22499619076 169.70/169.79 o 22497455235 170.10/170.13 o 22497455233 170.19/170.23 o 22497455232 170.29/170.36 o 22497455231 170.40/170.45 o 22497455230 170.51/170.55 o 22497455229 170.69/170.74 o 22497455228 170.79/170.85 o 22497455227 170.89/170.97 o 22497455226 171.09/171.16 o 22497455225 171.19/171.26 o 22497455224 171.61/171.67 o 22497455223 171.89/171.91 o 22495291401 171.99/172.01 o 22495291400 172.09/172.15 o 22495291399 172.29/172.31 o 22495291398 172.29/172.40 o 22495291397 172.49/172.50 o 22495291396 172.49/172.60 o 22495291395 172.60/172.66 o 22495291393 172.71/172.72 o 22495291392 172.79/172.80 o 22495291391 172.79/172.89 o 22495291390 172.89/172.97 o 22495291389 172.99/173.03 o 22495291388 173.09/173.15 o 22495291387 173.19/173.22 o 22495291386 173.49/173.59 o 22493127553 173.59/173.66 o 22493127552 173.70/173.72 o 22493127551 173.70/173.81 o 22493127550 173.81/173.88 o 22493127549 173.89/173.97 o 22493127548 173.99/174.05 o 22493127547 174.29/174.35 o 22493127546 174.39/174.48 o 22493127545 175.09/175.15 o 22490963720 175.39/175.47 o 22490963719 175.59/175.69 o 22490963718 176.01/176.07 o 22488799889 176.09/176.16 o 22488799886 176.19/176.22 o 22488799885 176.19/176.29 o 22488799884 176.39/176.48 o 22488799883 176.59/176.66 o 22488799882 176.69/176.78 o 22488799881 176.89/176.99 o 22488799880 177.19/177.20 o 22488799879 177.39/177.44 o 22488799878 177.69/177.71 o 22488799877 177.79/177.86 o 22486636045 177.89/177.95 o 22486636044 177.99/178.05 o 22486636043 178.10/178.17 o 22486636042 178.21/178.24 o 22486636041 178.29/178.32 o 22486636040 178.39/178.41 o 22486636039 179.09/179.15 o 22486636038 179.20/179.25 o 22484472199 179.31/179.34 o 22482308359 179.39/179.49 o 22482308358 179.69/179.74 o 22482308357 179.89/179.97 o 22480144518 179.99/180.04 o 22480144517 180.09/180.13 o 22480144516 180.69/180.71 o 22477980684 180.79/180.88 o 22477980683 180.89/180.99 o 22477980682 181.69/181.70 o 22477980681 181.79/181.82 o 22477980680 181.89/181.91 o 22477980679 181.99/182.00 o 22477980678 182.09/182.12 o 22477980677 182.39/182.41 o 22475816843 182.61/182.66 o 22475816842 183.39/183.43 o 22475816841 183.49/183.57 o 22475816840 183.71/183.78 o 22475816839 183.89/183.91 o 22475816838 184.09/184.10 o 22475816837 184.59/184.68 o 22475816836 185.49/185.58 o 22475816835 191.49/191.50 o 22475816834 194.49/194.55 o 22475816833 197.69/197.77 o 22475816832 200.59/200.64 o 22475816831 200.89/200.92 o 22475816830 201.09/201.17 o 22473652990 201.69/201.72 o 22471489154 201.79/201.81 o 22471489153 201.99/202.09 o 22471489152 202.49/202.50 o 22469325319 202.59/202.65 o 22469325318 202.79/202.85 o 22469325317 202.89/202.91 o 22469325316 202.89/202.99 o 22469325315 203.09/203.10 o 22469325314 203.09/203.18 o 22469325313 203.19/203.28 o 22469325312 203.51/203.56 o 22469325311 203.59/203.65 o 22469325310 203.69/203.77 o 22467161471 203.99/204.08 o 22467161470 204.29/204.38 o 22464997636 204.39/204.45 o 22464997635 204.50/204.58 o 22464997634 204.61/204.68 o 22464997633 204.79/204.81 o 22464997632 204.99/205.03 o 22464997631 205.19/205.24 o 22464997630 205.60/205.62 o 22464997629 205.60/205.70 o 22462833795 205.71/205.77 o 22462833793 205.79/205.83 o 22462833792 205.79/205.89 o 22462833791 205.89/205.98 o 22462833790 205.99/206.05 o 22462833789 206.39/206.48 o 22460669948 207.80/207.83 o 22458506113 208.09/208.13 o 22458506112 208.29/208.33 o 22458506111 208.49/208.55 o 22458506110 208.79/208.81 o 22458506109 208.90/209.00 o 22458506108 209.19/209.27 o 22458506107 210.59/210.67 o 22458506106 210.69/210.73 o 22458506104 210.79/210.83 o 22456342266 211.59/211.66 o 22454178432 211.69/211.77 o 22454178431 211.89/211.90 o 22454178429 211.99/212.00 o 22454178428 212.09/212.11 o 22454178427 212.20/212.23 o 22454178426 212.39/212.44 o 22454178425 212.59/212.69 o 22452014585 212.89/212.94 o 22452014584 213.09/213.15 o 22449850750 213.19/213.25 o 22449850749 213.41/213.43 o 22449850748 213.49/213.53 o 22449850747 213.59/213.63 o 22449850746 213.69/213.70 o 22449850745 213.79/213.88 o 22449850744 214.79/214.84 o 22449850743 215.89/215.91 o 22449850742 216.89/216.92 o 22449850741 217.89/217.92 o 22449850740 218.99/219.01 o 22449850739 219.09/219.13 o 22447686899 228.09/228.18 o 22445523058 241.79/241.80 o 22441195384 241.79/241.88 o 22441195383 242.01/242.07 o 22439031543 242.19/242.20 o 22439031542 242.59/242.68 o 22439031541 242.89/242.93 o 22439031540 243.11/243.12 o 22439031539 243.29/243.34 o 22439031538 243.49/243.51 o 22439031536 247.79/247.89 o 22439031535 248.79/248.87 o 22436867702 248.89/249.00 o 22436867701 249.29/249.32 o 22436867700 249.60/249.64 o 22436867699 249.89/249.96 o 22436867698 250.09/250.13 o 22436867697 250.89/250.93 o 22436867696 251.59/251.61 o 22434703860 251.69/251.72 o 22434703859 251.80/251.81 o 22434703858 251.80/251.89 o 22434703857 252.19/252.27 o 22434703856 253.59/253.67 o 22434703855 254.49/254.55 o 22432540017 255.59/255.66 o 22432540016 262.69/262.71 o 22432540015 263.59/263.67 o 22432540014 267.99/268.08 o 22432540013 272.59/272.64 o 22432540012 276.49/276.58 o 22432540008 276.69/276.74 o 22432540007 276.79/276.85 o 22430376171 277.89/277.97 o 22430376170 279.30/279.39 o 22428212331 279.49/279.52 o 22428212330 280.51/280.59 o 22428212329 281.19/281.29 o 22426048489 282.39/282.45 o 22426048488 283.49/283.56 o 22423884648 284.91/284.95 o 22423884647 286.39/286.43 o 22421720807 287.39/287.41 o 22421720806 287.79/287.82 o 22421720805 288.10/288.19 o 22421720804 288.49/288.56 o 22419556971 288.59/288.64 o 22419556970 288.69/288.75 o 22419556969 288.89/288.96 o 22419556968 289.09/289.15 o 22419556967 289.39/289.41 o 22419556966 289.89/289.91 o 22419556965 292.89/292.94 o 22419556958 292.99/293.04 o 22419556957 293.09/293.14 o 22417393124 299.89/299.96 o 22417393123 302.99/303.09 o 22417393122 304.19/304.24 o 22417393121 306.59/306.62 o 22417393120 307.49/307.53 o 22417393119 310.69/310.74 o 22417393118 311.31/311.33 o 22415229284 311.59/311.66 o 22415229283 311.89/311.93 o 22415229282 311.99/312.06 o 22415229281 312.19/312.21 o 22415229280 312.59/312.68 o 22415229279 326.60/326.71 o 22415229278 330.39/330.47 o 22415229277 337.71/337.74 o 22413065436 342.59/342.63 o 22413065435 346.60/346.69 o 22413065434 347.90/347.93 o 22413065433 350.29/350.31 o 22410901595 350.49/350.57 o 22410901594 350.80/350.83 o 22410901593 351.29/351.33 o 22410901592 366.00/366.03 o 22410901591 366.10/366.13 o 22408737752 366.10/366.20 o 22408737751 372.60/372.68 o 22408737750 375.30/375.34 o 22408737749 376.40/376.42 o 22408737748 377.60/377.61 o 22406573908 378.41/378.48 o 22406573907 378.90/378.90 o 22406573906 379.40/379.44 o 22404410066 380.10/380.11 o 22404410065 380.80/380.88 o 22402246237 380.90/380.95 o 22402246236 381.10/381.10 o 22402246235 381.10/381.16 o 22402246234 381.20/381.23 o 22402246232 381.30/381.30 o 22402246231 381.30/381.37 o 22402246230 381.40/381.44 o 22402246229 381.50/381.59 o 22402246228 381.71/381.72 o 22402246227 381.80/381.82 o 22402246226 381.90/381.92 o 22402246225 382.30/382.30 o 22400082389 382.30/382.36 o 22400082387 382.50/382.50 o 22400082386 382.70/382.72 o 22400082385 382.90/382.91 o 22400082384 390.90/390.95 o 22400082383 391.40/391.50 o 22400082382 392.00/392.06 o 22400082381 395.60/395.63 o 22400082380 395.80/395.90 o 22400082379 396.30/396.33 o 22400082378 396.50/396.59 o 22400082377 397.20/397.30 o 22400082376 398.00/398.00 o 22397918543 398.10/398.16 o 22397918542 398.30/398.35 o 22397918541 398.70/398.73 o 22397918540 399.40/399.42 o 22397918539 399.60/399.67 o 22395754700 399.81/399.85 o 22395754699 401.11/401.10 o 22393590859 401.11/401.19 o 22393590858 402.21/402.24 o 22391427019 406.11/406.18 o 22391427018 406.71/406.77 o 22389263178 407.02/407.08 o 22389263176 407.91/407.99 o 22387099337 409.01/409.04 o 22384935496 413.11/413.13 o 22382771662 413.21/413.21 o 22382771661 413.31/413.36 o 22382771659 413.41/413.41 o 22382771658 413.51/413.55 o 22382771657 413.62/413.65 o 22382771656 413.81/413.86 o 22382771655 414.01/414.07 o 22382771654 414.31/414.31 o 22382771653 415.51/415.58 o 22382771652 415.71/415.80 o 22382771651 416.71/416.71 o 22382771650 417.61/417.64 o 22382771649 418.81/418.80 o 22380607808 427.51/427.57 o 22380607807 428.21/428.20 o 22378443967 428.31/428.31 o 22378443966 432.11/432.19 o 22376280138 432.21/432.26 o 22376280137 432.32/432.35 o 22376280136 432.41/432.42 o 22376280134 432.51/432.52 o 22376280133 432.51/432.58 o 22376280132 432.71/432.74 o 22376280131 432.91/432.93 o 22376280130 433.42/433.43 o 22376280129 435.31/435.36 o 22376280128 436.21/436.24 o 22376280126 437.61/437.62 o 22374116287 440.90/440.98 o 22374116286 479.71/479.74 o 22374116285 491.81/491.86 o 22374116284 494.11/494.10 o 22374116283 494.31/494.37 o 22371952446 494.41/494.44 o 22371952445 494.61/494.68 o 22371952444 494.91/494.96 o 22371952443 499.51/499.58 o 22371952442 501.71/501.76 o 22371952441 502.81/502.86 o 22369788601 506.41/506.41 o 22369788600 509.51/509.52 o 22369788599 516.41/516.47 o 22369788598 516.81/516.82 o 22369788597 519.91/519.90 o 22369788596 522.41/522.42 o 22367624758 522.71/522.72 o 22367624757 522.91/522.98 o 22367624756 528.81/528.87 o 22367624755 531.81/531.86 o 22365460915 534.11/534.17 o 22365460914 548.92/548.92 o 22363297081 549.11/549.10 o 22363297080 549.21/549.21 o 22363297079 549.31/549.32 o 22363297078 549.51/549.53 o 22363297077 549.71/549.72 o 22363297075 550.71/550.78 o 22363297074 552.22/552.29 o 22361133243 552.41/552.42 o 22361133242 552.41/552.48 o 22361133241 552.61/552.61 o 22361133240 552.61/552.66 o 22361133239 552.71/552.73 o 22361133238 552.81/552.86 o 22361133237 552.91/552.94 o 22361133235 553.01/553.06 o 22361133234 555.11/555.12 o 22361133233 555.91/555.96 o 22361133232 556.21/556.24 o 22361133231 557.01/557.03 o 22358969393 557.31/557.37 o 22358969392 557.51/557.56 o 22358969391 560.71/560.78 o 22358969390 569.41/569.48 o 22358969389 575.91/575.95 o 22356805559 576.01/576.03 o 22356805558 576.11/576.11 o 22356805557 576.21/576.24 o 22356805556 579.11/579.14 o 22356805555 580.11/580.14 o 22356805554 581.21/581.27 o 22354641718 581.51/581.51 o 22354641717 582.01/582.09 o 22354641716 583.11/583.18 o 22354641715 583.41/583.48 o 22354641714 584.41/584.45 o 22354641713 586.61/586.68 o 22352477889 586.71/586.77 o 22352477888 586.81/586.83 o 22352477887 586.91/586.91 o 22352477886 587.01/587.05 o 22352477885 587.31/587.38 o 22352477884 587.71/587.70 o 22352477883 590.01/590.04 o 22352477882 590.41/590.46 o 22352477881 590.51/590.56 o 22350314041 591.41/591.44 o 22348150207 591.61/591.61 o 22348150206 591.61/591.71 o 22348150205 591.71/591.80 o 22348150204 591.82/591.89 o 22348150203 592.01/592.07 o 22348150202 592.21/592.25 o 22348150201 592.41/592.48 o 22348150200 592.71/592.77 o 22348150199 593.11/593.13 o 22348150198 593.31/593.38 o 22348150197 593.61/593.62 o 22348150196 593.81/593.80 o 22345986356 595.71/595.72 o 22345986355 595.91/595.99 o 22343822522 596.01/596.09 o 22343822521 596.22/596.29 o 22343822520 596.41/596.46 o 22343822519 596.61/596.60 o 22343822518 596.71/596.72 o 22343822517 596.71/596.79 o 22343822516 596.91/596.93 o 22343822515 597.21/597.27 o 22343822514 597.51/597.59 o 22341658674 597.81/597.82 o 22341658673 598.51/598.51 o 22339494838 598.81/598.84 o 22339494837 599.91/600.00 o 22339494836 601.21/601.24 o 22339494835 602.01/602.08 o 22339494834 603.21/603.28 o 22339494833 603.51/603.59 o 22339494832 603.92/603.95 o 22339494831 604.51/604.52 o 22339494830 609.21/609.24 o 22339494829 645.61/645.69 o 22337331000 645.72/645.76 o 22337330999 645.81/645.82 o 22337330998 645.91/645.94 o 22337330997 646.01/646.04 o 22337330996 646.11/646.16 o 22337330995 646.31/646.30 o 22337330994 646.41/646.41 o 22337330993 646.51/646.54 o 22337330992 646.61/646.70 o 22337330991 646.82/646.82 o 22337330990 655.62/655.64 o 22335167151 667.72/667.73 o 22333003314 674.61/674.69 o 22330839477 674.71/674.75 o 22330839476 674.81/674.81 o 22330839475 675.01/675.00 o 22330839474 675.11/675.14 o 22330839473 679.71/679.72 o 22330839472 689.01/689.09 o 22330839471 707.33/707.32 o 22330839470 720.91/720.98 o 22330839469 729.81/729.87 o 22330839468 730.81/730.84 o 22330839467 730.91/730.92 o 22330839466 749.02/749.06 o 22330839465 756.11/756.12 o 22328675634 756.21/756.20 o 22328675633 756.31/756.39 o 22328675632 756.72/756.75 o 22328675631 993.81/993.86 s OPTIMUM FOUND 993.81/993.86 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
OK 22328675631
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-3467680-1307426757/watcher-3467680-1307426757 -o /tmp/evaluation-result-3467680-1307426757/solver-3467680-1307426757 -C 1800 -W 1900 -M 15500 --use-pty HOME/minisatid-gmp HOME/instance-3467680-1307426757.opb --verbosity=0 --format=opb running on 4 cores: 0,2,4,6 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB Using a pseudo terminal to collect output from the solver Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 2.00 2.04 2.01 2/458 7994 /proc/meminfo: memFree=26017216/32951124 swapFree=60688864/67111528 [pid=7994] ppid=7992 vsize=7680 CPUtime=0 cores=0,2,4,6 /proc/7994/stat : 7994 (minisatid-gmp) R 7992 7994 7230 0 -1 4202496 423 0 0 0 0 0 0 0 25 0 1 0 854273819 7864320 370 33554432000 4194304 6736272 140735989806016 18446744073709551615 5809726 0 0 4096 17571 0 0 0 17 2 0 0 0 /proc/7994/statm: 1920 371 221 621 0 1290 0 [startup+0.0216609 s] /proc/loadavg: 2.00 2.04 2.01 2/458 7994 /proc/meminfo: memFree=26017216/32951124 swapFree=60688864/67111528 [pid=7994] ppid=7992 vsize=9380 CPUtime=0.01 cores=0,2,4,6 /proc/7994/stat : 7994 (minisatid-gmp) R 7992 7994 7230 0 -1 4202496 904 0 0 0 1 0 0 0 25 0 1 0 854273819 9605120 816 33554432000 4194304 6736272 140735989806016 18446744073709551615 4533569 0 0 4096 17571 0 0 0 17 2 0 0 0 /proc/7994/statm: 2345 817 248 621 0 1715 0 Current children cumulated CPU time (s) 0.01 Current children cumulated vsize (KiB) 9380 [startup+0.10068 s] /proc/loadavg: 2.00 2.04 2.01 2/458 7994 /proc/meminfo: memFree=26017216/32951124 swapFree=60688864/67111528 [pid=7994] ppid=7992 vsize=15504 CPUtime=0.09 cores=0,2,4,6 /proc/7994/stat : 7994 (minisatid-gmp) R 7992 7994 7230 0 -1 4202496 2440 0 0 0 9 0 0 0 25 0 1 0 854273819 15876096 2352 33554432000 4194304 6736272 140735989806016 18446744073709551615 5809726 0 0 4096 17571 0 0 0 17 2 0 0 0 /proc/7994/statm: 3876 2353 248 621 0 3246 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 15504 [startup+0.300644 s] /proc/loadavg: 2.00 2.04 2.01 2/458 7994 /proc/meminfo: memFree=26017216/32951124 swapFree=60688864/67111528 [pid=7994] ppid=7992 vsize=32892 CPUtime=0.29 cores=0,2,4,6 /proc/7994/stat : 7994 (minisatid-gmp) R 7992 7994 7230 0 -1 4202496 7094 0 0 0 29 0 0 0 25 0 1 0 854273819 33681408 6704 33554432000 4194304 6736272 140735989806016 18446744073709551615 5809726 0 0 4096 17571 0 0 0 17 2 0 0 0 /proc/7994/statm: 8223 6705 265 621 0 7593 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 32892 [startup+0.700602 s] /proc/loadavg: 2.00 2.04 2.01 2/458 7994 /proc/meminfo: memFree=26017216/32951124 swapFree=60688864/67111528 [pid=7994] ppid=7992 vsize=77904 CPUtime=0.69 cores=0,2,4,6 /proc/7994/stat : 7994 (minisatid-gmp) R 7992 7994 7230 0 -1 4202496 18338 0 0 0 67 2 0 0 25 0 1 0 854273819 79773696 17882 33554432000 4194304 6736272 140735989806016 18446744073709551615 5809726 0 0 4096 17571 0 0 0 17 2 0 0 0 /proc/7994/statm: 19476 17883 266 621 0 18846 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 77904 [startup+1.50046 s] /proc/loadavg: 2.00 2.04 2.01 3/459 7995 /proc/meminfo: memFree=25940572/32951124 swapFree=60688864/67111528 [pid=7994] ppid=7992 vsize=79228 CPUtime=1.49 cores=0,2,4,6 /proc/7994/stat : 7994 (minisatid-gmp) R 7992 7994 7230 0 -1 4202496 19786 0 0 0 147 2 0 0 25 0 1 0 854273819 81129472 19324 33554432000 4194304 6736272 140735989806016 18446744073709551615 5219596 0 0 4096 17571 0 0 0 17 2 0 0 0 /proc/7994/statm: 19807 19324 284 621 0 19177 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 79228 [startup+3.10118 s] /proc/loadavg: 2.00 2.04 2.01 3/459 7995 /proc/meminfo: memFree=25939332/32951124 swapFree=60688864/67111528 [pid=7994] ppid=7992 vsize=79232 CPUtime=3.09 cores=0,2,4,6 /proc/7994/stat : 7994 (minisatid-gmp) R 7992 7994 7230 0 -1 4202496 19813 0 0 0 307 2 0 0 25 0 1 0 854273819 81133568 19351 33554432000 4194304 6736272 140735989806016 18446744073709551615 5219603 0 0 4096 17571 0 0 0 17 2 0 0 0 /proc/7994/statm: 19808 19351 286 621 0 19178 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 79232 [startup+6.30058 s] /proc/loadavg: 2.00 2.04 2.01 3/459 7995 /proc/meminfo: memFree=25939304/32951124 swapFree=60688864/67111528 [pid=7994] ppid=7992 vsize=79232 CPUtime=6.29 cores=0,2,4,6 /proc/7994/stat : 7994 (minisatid-gmp) R 7992 7994 7230 0 -1 4202496 19813 0 0 0 627 2 0 0 25 0 1 0 854273819 81133568 19351 33554432000 4194304 6736272 140735989806016 18446744073709551615 5811905 0 0 4096 17571 0 0 0 17 2 0 0 0 /proc/7994/statm: 19808 19351 286 621 0 19178 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 79232 [startup+12.7005 s] /proc/loadavg: 2.00 2.04 2.01 3/459 7996 /proc/meminfo: memFree=25938548/32951124 swapFree=60688864/67111528 [pid=7994] ppid=7992 vsize=79644 CPUtime=12.69 cores=0,2,4,6 /proc/7994/stat : 7994 (minisatid-gmp) R 7992 7994 7230 0 -1 4202496 19822 0 0 0 1267 2 0 0 25 0 1 0 854273819 81555456 19360 33554432000 4194304 6736272 140735989806016 18446744073709551615 5803324 0 0 4096 17571 0 0 0 17 2 0 0 0 /proc/7994/statm: 19911 19360 286 621 0 19281 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 79644 [startup+25.5002 s] /proc/loadavg: 2.00 2.04 2.01 3/459 7996 /proc/meminfo: memFree=25938548/32951124 swapFree=60688864/67111528 [pid=7994] ppid=7992 vsize=79644 CPUtime=25.49 cores=0,2,4,6 /proc/7994/stat : 7994 (minisatid-gmp) R 7992 7994 7230 0 -1 4202496 19846 0 0 0 2547 2 0 0 25 0 1 0 854273819 81555456 19382 33554432000 4194304 6736272 140735989806016 18446744073709551615 5148038 0 0 4096 17571 0 0 0 17 2 0 0 0 /proc/7994/statm: 19911 19382 286 621 0 19281 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 79644 [startup+51.1006 s] /proc/loadavg: 2.06 2.05 2.01 3/459 7997 /proc/meminfo: memFree=25937420/32951124 swapFree=60688864/67111528 [pid=7994] ppid=7992 vsize=81052 CPUtime=51.1 cores=0,2,4,6 /proc/7994/stat : 7994 (minisatid-gmp) R 7992 7994 7230 0 -1 4202496 20177 0 0 0 5107 3 0 0 25 0 1 0 854273819 82997248 19709 33554432000 4194304 6736272 140735989806016 18446744073709551615 5148038 0 0 4096 17571 0 0 0 17 2 0 0 0 /proc/7994/statm: 20263 19709 286 621 0 19633 0 Current children cumulated CPU time (s) 51.1 Current children cumulated vsize (KiB) 81052 [startup+102.318 s] /proc/loadavg: 2.02 2.04 2.01 3/459 7998 /proc/meminfo: memFree=25936164/32951124 swapFree=60688864/67111528 [pid=7994] ppid=7992 vsize=82700 CPUtime=102.31 cores=0,2,4,6 /proc/7994/stat : 7994 (minisatid-gmp) R 7992 7994 7230 0 -1 4202496 20556 0 0 0 10228 3 0 0 25 0 1 0 854273819 84684800 20084 33554432000 4194304 6736272 140735989806016 18446744073709551615 5222025 0 0 4096 17571 0 0 0 17 2 0 0 0 /proc/7994/statm: 20675 20084 286 621 0 20045 0 Current children cumulated CPU time (s) 102.31 Current children cumulated vsize (KiB) 82700 [startup+162.301 s] /proc/loadavg: 2.08 2.06 2.01 3/459 8000 /proc/meminfo: memFree=25934160/32951124 swapFree=60688864/67111528 [pid=7994] ppid=7992 vsize=85000 CPUtime=162.3 cores=0,2,4,6 /proc/7994/stat : 7994 (minisatid-gmp) R 7992 7994 7230 0 -1 4202496 20936 0 0 0 16227 3 0 0 25 0 1 0 854273819 87040000 20464 33554432000 4194304 6736272 140735989806016 18446744073709551615 5818068 0 0 4096 17571 0 0 0 17 2 0 0 0 /proc/7994/statm: 21250 20464 286 621 0 20620 0 Current children cumulated CPU time (s) 162.3 Current children cumulated vsize (KiB) 85000 [startup+222.301 s] /proc/loadavg: 2.15 2.09 2.02 3/459 8001 /proc/meminfo: memFree=25934756/32951124 swapFree=60688864/67111528 [pid=7994] ppid=7992 vsize=85000 CPUtime=222.29 cores=0,2,4,6 /proc/7994/stat : 7994 (minisatid-gmp) R 7992 7994 7230 0 -1 4202496 20936 0 0 0 22226 3 0 0 25 0 1 0 854273819 87040000 20464 33554432000 4194304 6736272 140735989806016 18446744073709551615 5150573 0 0 4096 17571 0 0 0 17 2 0 0 0 /proc/7994/statm: 21250 20464 286 621 0 20620 0 Current children cumulated CPU time (s) 222.29 Current children cumulated vsize (KiB) 85000 [startup+282.3 s] /proc/loadavg: 2.05 2.07 2.02 3/459 8003 /proc/meminfo: memFree=25934496/32951124 swapFree=60688864/67111528 [pid=7994] ppid=7992 vsize=85000 CPUtime=282.29 cores=0,2,4,6 /proc/7994/stat : 7994 (minisatid-gmp) R 7992 7994 7230 0 -1 4202496 20938 0 0 0 28226 3 0 0 25 0 1 0 854273819 87040000 20466 33554432000 4194304 6736272 140735989806016 18446744073709551615 4734537 0 0 4096 17571 0 0 0 17 2 0 0 0 /proc/7994/statm: 21250 20466 287 621 0 20620 0 Current children cumulated CPU time (s) 282.29 Current children cumulated vsize (KiB) 85000 [startup+342.301 s] /proc/loadavg: 2.02 2.05 2.01 3/459 8004 /proc/meminfo: memFree=25934952/32951124 swapFree=60688864/67111528 [pid=7994] ppid=7992 vsize=85000 CPUtime=342.29 cores=0,2,4,6 /proc/7994/stat : 7994 (minisatid-gmp) R 7992 7994 7230 0 -1 4202496 20938 0 0 0 34226 3 0 0 25 0 1 0 854273819 87040000 20466 33554432000 4194304 6736272 140735989806016 18446744073709551615 5146832 0 0 4096 17571 0 0 0 17 2 0 0 0 /proc/7994/statm: 21250 20466 287 621 0 20620 0 Current children cumulated CPU time (s) 342.29 Current children cumulated vsize (KiB) 85000 [startup+402.301 s] /proc/loadavg: 2.05 2.06 2.01 3/459 8006 /proc/meminfo: memFree=25935064/32951124 swapFree=60688864/67111528 [pid=7994] ppid=7992 vsize=85000 CPUtime=402.31 cores=0,2,4,6 /proc/7994/stat : 7994 (minisatid-gmp) R 7992 7994 7230 0 -1 4202496 20938 0 0 0 40227 4 0 0 25 0 1 0 854273819 87040000 20466 33554432000 4194304 6736272 140735989806016 18446744073709551615 4289011 0 0 4096 17571 0 0 0 17 2 0 0 0 /proc/7994/statm: 21250 20466 287 621 0 20620 0 Current children cumulated CPU time (s) 402.31 Current children cumulated vsize (KiB) 85000 [startup+462.3 s] /proc/loadavg: 2.01 2.04 2.00 3/459 8008 /proc/meminfo: memFree=25934912/32951124 swapFree=60688864/67111528 [pid=7994] ppid=7992 vsize=85000 CPUtime=462.31 cores=0,2,4,6 /proc/7994/stat : 7994 (minisatid-gmp) R 7992 7994 7230 0 -1 4202496 20938 0 0 0 46227 4 0 0 25 0 1 0 854273819 87040000 20466 33554432000 4194304 6736272 140735989806016 18446744073709551615 5818802 0 0 4096 17571 0 0 0 17 2 0 0 0 /proc/7994/statm: 21250 20466 287 621 0 20620 0 Current children cumulated CPU time (s) 462.31 Current children cumulated vsize (KiB) 85000 [startup+522.301 s] /proc/loadavg: 1.95 2.02 1.99 3/459 8037 /proc/meminfo: memFree=26000280/32951124 swapFree=60688864/67111528 [pid=7994] ppid=7992 vsize=85000 CPUtime=522.31 cores=0,2,4,6 /proc/7994/stat : 7994 (minisatid-gmp) R 7992 7994 7230 0 -1 4202496 20938 0 0 0 52227 4 0 0 25 0 1 0 854273819 87040000 20466 33554432000 4194304 6736272 140735989806016 18446744073709551615 5803165 0 0 4096 17571 0 0 0 17 2 0 0 0 /proc/7994/statm: 21250 20466 287 621 0 20620 0 Current children cumulated CPU time (s) 522.31 Current children cumulated vsize (KiB) 85000 [startup+582.301 s] /proc/loadavg: 2.11 2.06 2.00 3/459 8039 /proc/meminfo: memFree=25998200/32951124 swapFree=60688864/67111528 [pid=7994] ppid=7992 vsize=85000 CPUtime=582.31 cores=0,2,4,6 /proc/7994/stat : 7994 (minisatid-gmp) R 7992 7994 7230 0 -1 4202496 21173 0 0 0 58227 4 0 0 25 0 1 0 854273819 87040000 20701 33554432000 4194304 6736272 140735989806016 18446744073709551615 5149193 0 0 4096 17571 0 0 0 17 2 0 0 0 /proc/7994/statm: 21250 20701 287 621 0 20620 0 Current children cumulated CPU time (s) 582.31 Current children cumulated vsize (KiB) 85000 [startup+642.3 s] /proc/loadavg: 2.04 2.04 2.00 3/459 8040 /proc/meminfo: memFree=25999056/32951124 swapFree=60688864/67111528 [pid=7994] ppid=7992 vsize=85000 CPUtime=642.31 cores=0,2,4,6 /proc/7994/stat : 7994 (minisatid-gmp) R 7992 7994 7230 0 -1 4202496 21173 0 0 0 64227 4 0 0 25 0 1 0 854273819 87040000 20701 33554432000 4194304 6736272 140735989806016 18446744073709551615 5812000 0 0 4096 17571 0 0 0 17 2 0 0 0 /proc/7994/statm: 21250 20701 287 621 0 20620 0 Current children cumulated CPU time (s) 642.31 Current children cumulated vsize (KiB) 85000 [startup+702.301 s] /proc/loadavg: 2.07 2.05 2.00 3/459 8042 /proc/meminfo: memFree=25997424/32951124 swapFree=60688864/67111528 [pid=7994] ppid=7992 vsize=85000 CPUtime=702.31 cores=0,2,4,6 /proc/7994/stat : 7994 (minisatid-gmp) R 7992 7994 7230 0 -1 4202496 21173 0 0 0 70227 4 0 0 25 0 1 0 854273819 87040000 20701 33554432000 4194304 6736272 140735989806016 18446744073709551615 4509822 0 0 4096 17571 0 0 0 17 2 0 0 0 /proc/7994/statm: 21250 20701 287 621 0 20620 0 Current children cumulated CPU time (s) 702.31 Current children cumulated vsize (KiB) 85000 [startup+762.317 s] /proc/loadavg: 2.07 2.05 2.00 3/459 8044 /proc/meminfo: memFree=25997784/32951124 swapFree=60688864/67111528 [pid=7994] ppid=7992 vsize=85000 CPUtime=762.33 cores=0,2,4,6 /proc/7994/stat : 7994 (minisatid-gmp) R 7992 7994 7230 0 -1 4202496 21173 0 0 0 76229 4 0 0 25 0 1 0 854273819 87040000 20701 33554432000 4194304 6736272 140735989806016 18446744073709551615 5149232 0 0 4096 17571 0 0 0 17 2 0 0 0 /proc/7994/statm: 21250 20701 287 621 0 20620 0 Current children cumulated CPU time (s) 762.33 Current children cumulated vsize (KiB) 85000 [startup+822.3 s] /proc/loadavg: 2.02 2.04 2.00 3/459 8045 /proc/meminfo: memFree=25995672/32951124 swapFree=60688864/67111528 [pid=7994] ppid=7992 vsize=88732 CPUtime=822.31 cores=0,2,4,6 /proc/7994/stat : 7994 (minisatid-gmp) R 7992 7994 7230 0 -1 4202496 21787 0 0 0 82227 4 0 0 25 0 1 0 854273819 90861568 21309 33554432000 4194304 6736272 140735989806016 18446744073709551615 4534975 0 0 4096 17571 0 0 0 17 2 0 0 0 /proc/7994/statm: 22183 21309 287 621 0 21553 0 Current children cumulated CPU time (s) 822.31 Current children cumulated vsize (KiB) 88732 [startup+882.301 s] /proc/loadavg: 2.05 2.05 2.00 3/459 8047 /proc/meminfo: memFree=25994044/32951124 swapFree=60688864/67111528 [pid=7994] ppid=7992 vsize=88732 CPUtime=882.31 cores=0,2,4,6 /proc/7994/stat : 7994 (minisatid-gmp) R 7992 7994 7230 0 -1 4202496 22216 0 0 0 88227 4 0 0 25 0 1 0 854273819 90861568 21737 33554432000 4194304 6736272 140735989806016 18446744073709551615 5818807 0 0 4096 17571 0 0 0 17 2 0 0 0 /proc/7994/statm: 22183 21737 287 621 0 21553 0 Current children cumulated CPU time (s) 882.31 Current children cumulated vsize (KiB) 88732 [startup+942.301 s] /proc/loadavg: 2.07 2.05 2.00 3/459 8048 /proc/meminfo: memFree=25994148/32951124 swapFree=60688864/67111528 [pid=7994] ppid=7992 vsize=88732 CPUtime=942.32 cores=0,2,4,6 /proc/7994/stat : 7994 (minisatid-gmp) R 7992 7994 7230 0 -1 4202496 22216 0 0 0 94228 4 0 0 25 0 1 0 854273819 90861568 21737 33554432000 4194304 6736272 140735989806016 18446744073709551615 5149361 0 0 4096 17571 0 0 0 17 2 0 0 0 /proc/7994/statm: 22183 21737 287 621 0 21553 0 Current children cumulated CPU time (s) 942.32 Current children cumulated vsize (KiB) 88732 Solver just ended. Dumping a history of the last processes samples [startup+947.117 s] /proc/loadavg: 2.06 2.05 2.00 3/459 8049 /proc/meminfo: memFree=25994148/32951124 swapFree=60688864/67111528 [pid=7994] ppid=7992 vsize=88732 CPUtime=947.13 cores=0,2,4,6 /proc/7994/stat : 7994 (minisatid-gmp) R 7992 7994 7230 0 -1 4202496 22216 0 0 0 94709 4 0 0 25 0 1 0 854273819 90861568 21737 33554432000 4194304 6736272 140735989806016 18446744073709551615 5806616 0 0 4096 17571 0 0 0 17 2 0 0 0 /proc/7994/statm: 22183 21737 287 621 0 21553 0 Current children cumulated CPU time (s) 947.13 Current children cumulated vsize (KiB) 88732 [startup+972.701 s] /proc/loadavg: 2.04 2.05 2.00 3/459 8049 /proc/meminfo: memFree=25993516/32951124 swapFree=60688864/67111528 [pid=7994] ppid=7992 vsize=88732 CPUtime=972.71 cores=0,2,4,6 /proc/7994/stat : 7994 (minisatid-gmp) R 7992 7994 7230 0 -1 4202496 23668 0 0 0 97267 4 0 0 25 0 1 0 854273819 90861568 21737 33554432000 4194304 6736272 140735989806016 18446744073709551615 5811937 0 0 4096 17571 0 0 0 17 2 0 0 0 /proc/7994/statm: 22183 21737 287 621 0 21553 0 Current children cumulated CPU time (s) 972.71 Current children cumulated vsize (KiB) 88732 [startup+985.5 s] /proc/loadavg: 2.03 2.04 2.00 3/459 8050 /proc/meminfo: memFree=25993388/32951124 swapFree=60688864/67111528 [pid=7994] ppid=7992 vsize=88732 CPUtime=985.52 cores=0,2,4,6 /proc/7994/stat : 7994 (minisatid-gmp) R 7992 7994 7230 0 -1 4202496 23668 0 0 0 98548 4 0 0 25 0 1 0 854273819 90861568 21737 33554432000 4194304 6736272 140735989806016 18446744073709551615 5806424 0 0 4096 17571 0 0 0 17 2 0 0 0 /proc/7994/statm: 22183 21737 287 621 0 21553 0 Current children cumulated CPU time (s) 985.52 Current children cumulated vsize (KiB) 88732 [startup+988.701 s] /proc/loadavg: 2.03 2.04 2.00 3/459 8050 /proc/meminfo: memFree=25993504/32951124 swapFree=60688864/67111528 [pid=7994] ppid=7992 vsize=93216 CPUtime=988.71 cores=0,2,4,6 /proc/7994/stat : 7994 (minisatid-gmp) R 7992 7994 7230 0 -1 4202496 24209 0 0 0 98867 4 0 0 25 0 1 0 854273819 95453184 22278 33554432000 4194304 6736272 140735989806016 18446744073709551615 5803329 0 0 4096 17571 0 0 0 17 2 0 0 0 /proc/7994/statm: 23304 22278 287 621 0 22674 0 Current children cumulated CPU time (s) 988.71 Current children cumulated vsize (KiB) 93216 [startup+991.9 s] /proc/loadavg: 2.03 2.04 2.00 3/459 8050 /proc/meminfo: memFree=25990280/32951124 swapFree=60688864/67111528 [pid=7994] ppid=7992 vsize=93216 CPUtime=991.91 cores=0,2,4,6 /proc/7994/stat : 7994 (minisatid-gmp) R 7992 7994 7230 0 -1 4202496 24630 0 0 0 99187 4 0 0 25 0 1 0 854273819 95453184 22696 33554432000 4194304 6736272 140735989806016 18446744073709551615 5806437 0 0 4096 17571 0 0 0 17 2 0 0 0 /proc/7994/statm: 23304 22696 287 621 0 22674 0 Current children cumulated CPU time (s) 991.91 Current children cumulated vsize (KiB) 93216 [startup+992.701 s] /proc/loadavg: 2.11 2.06 2.01 3/459 8050 /proc/meminfo: memFree=25990404/32951124 swapFree=60688864/67111528 [pid=7994] ppid=7992 vsize=93216 CPUtime=992.71 cores=0,2,4,6 /proc/7994/stat : 7994 (minisatid-gmp) R 7992 7994 7230 0 -1 4202496 24630 0 0 0 99267 4 0 0 25 0 1 0 854273819 95453184 22696 33554432000 4194304 6736272 140735989806016 18446744073709551615 4501898 0 0 4096 17571 0 0 0 17 2 0 0 0 /proc/7994/statm: 23304 22696 287 621 0 22674 0 Current children cumulated CPU time (s) 992.71 Current children cumulated vsize (KiB) 93216 [startup+993.501 s] /proc/loadavg: 2.11 2.06 2.01 3/459 8050 /proc/meminfo: memFree=25990404/32951124 swapFree=60688864/67111528 [pid=7994] ppid=7992 vsize=93216 CPUtime=993.51 cores=0,2,4,6 /proc/7994/stat : 7994 (minisatid-gmp) R 7992 7994 7230 0 -1 4202496 24630 0 0 0 99347 4 0 0 25 0 1 0 854273819 95453184 22696 33554432000 4194304 6736272 140735989806016 18446744073709551615 5818587 0 0 4096 17571 0 0 0 17 2 0 0 0 /proc/7994/statm: 23304 22696 287 621 0 22674 0 Current children cumulated CPU time (s) 993.51 Current children cumulated vsize (KiB) 93216 [startup+993.701 s] /proc/loadavg: 2.11 2.06 2.01 3/459 8050 /proc/meminfo: memFree=25990404/32951124 swapFree=60688864/67111528 [pid=7994] ppid=7992 vsize=93216 CPUtime=993.71 cores=0,2,4,6 /proc/7994/stat : 7994 (minisatid-gmp) R 7992 7994 7230 0 -1 4202496 24630 0 0 0 99367 4 0 0 25 0 1 0 854273819 95453184 22696 33554432000 4194304 6736272 140735989806016 18446744073709551615 4745055 0 0 4096 17571 0 0 0 17 2 0 0 0 /proc/7994/statm: 23304 22696 287 621 0 22674 0 Current children cumulated CPU time (s) 993.71 Current children cumulated vsize (KiB) 93216 [startup+993.801 s] /proc/loadavg: 2.11 2.06 2.01 3/459 8050 /proc/meminfo: memFree=25990404/32951124 swapFree=60688864/67111528 [pid=7994] ppid=7992 vsize=93216 CPUtime=993.81 cores=0,2,4,6 /proc/7994/stat : 7994 (minisatid-gmp) R 7992 7994 7230 0 -1 4202496 24630 0 0 0 99377 4 0 0 25 0 1 0 854273819 95453184 22696 33554432000 4194304 6736272 140735989806016 18446744073709551615 5155021 0 0 4096 17571 0 0 0 17 2 0 0 0 /proc/7994/statm: 23304 22696 287 621 0 22674 0 Current children cumulated CPU time (s) 993.81 Current children cumulated vsize (KiB) 93216 Child status: 10 Real time (s): 993.873 CPU time (s): 993.895 CPU user time (s): 993.844 CPU system time (s): 0.050992 CPU usage (%): 100.002 Max. virtual memory (cumulated for all children) (KiB): 95808 getrusage(RUSAGE_CHILDREN,...) data: user time used= 993.844 system time used= 0.050992 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 24635 page faults= 0 swaps= 0 block input operations= 0 block output operations= 0 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 15 involuntary context switches= 1681 runsolver used 4.72128 second user time and 9.82251 second system time The end
Begin job on node132 at 2011-06-07 08:05:57 IDJOB=3467680 IDBENCH=72305 IDSOLVER=1957 FILE ID=node132/3467680-1307426757 RUNJOBID= node132-1307416440-7248 PBS_JOBID= 13514239 Free space on /tmp= 73992 MiB SOLVER NAME= MinisatID 2.4.8-gmp BENCH NAME= PB10/normalized-PB10/OPT-BIGINT-LIN/leberre/opb-trendy/misc2010/random/rand.newlist/normalized-rand085d8a.cudf.trendy.opb COMMAND LINE= HOME/minisatid-gmp BENCHNAME --verbosity=0 --format=opb RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3467680-1307426757/watcher-3467680-1307426757 -o /tmp/evaluation-result-3467680-1307426757/solver-3467680-1307426757 -C 1800 -W 1900 -M 15500 --use-pty HOME/minisatid-gmp HOME/instance-3467680-1307426757.opb --verbosity=0 --format=opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= 1eb26c521d2a44b4096e6f3ba040291a RANDOM SEED=1734198764 node132.alineos.net Linux 2.6.18-164.el5 #1 SMP Thu Sep 3 03:28:30 EDT 2009 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.833 cache size : 8192 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5333.66 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.833 cache size : 8192 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.74 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.833 cache size : 8192 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.76 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.833 cache size : 8192 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.75 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.833 cache size : 8192 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.77 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.833 cache size : 8192 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.67 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.833 cache size : 8192 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.82 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.833 cache size : 8192 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.75 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] /proc/meminfo: MemTotal: 32951124 kB MemFree: 26017240 kB Buffers: 336400 kB Cached: 3184316 kB SwapCached: 15140 kB Active: 1120624 kB Inactive: 5550492 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 32951124 kB LowFree: 26017240 kB SwapTotal: 67111528 kB SwapFree: 60688864 kB Dirty: 3720 kB Writeback: 0 kB AnonPages: 3143208 kB Mapped: 20288 kB Slab: 145020 kB PageTables: 50320 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 83587088 kB Committed_AS: 109313492 kB VmallocTotal: 34359738367 kB VmallocUsed: 33868 kB VmallocChunk: 34359703231 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 Hugepagesize: 2048 kB Free space on /tmp at the end= 73988 MiB End job on node132 at 2011-06-07 08:22:31