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