0.00/0.00	c Outputting solution to console
0.00/0.00	c This is CryptoMiniSat 3.0.0
0.00/0.00	c WARNING: for repeatability, setting FPU to use double precision
0.00/0.00	c Reading file 'HOME/instance-3421902-1306611002.cnf'
0.00/0.00	c -- header says num vars:          34307
0.00/0.00	c -- header says num clauses:      708206
0.19/0.29	c -- clauses added:            0 learnts,       708206 normals,            0 xors
0.19/0.29	c -- vars added      34307
0.19/0.29	c Parsing time:  0.27 s
0.19/0.29	c  N st     0         0     34307    708206         0         0   3541030         0   no data   no data
0.69/0.70	c asymm  cl-useful: 0/41100/708206 lits-rem:0 time: 0.41
0.89/0.99	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  6.5M T:  0.29
1.19/1.25	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
1.19/1.25	c bin-w-bin subsume rem            0 bins  time:  0.00 s
1.19/1.25	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
1.19/1.25	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  34307 time:  0.00 s
1.19/1.26	c Removed useless bin:       0  fixed:     0  props:   0.14M  time:  0.00 s
2.00/2.02	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.75 s
2.00/2.02	c Finding binary XORs  T:     0.01 s  found:       0
2.40/2.42	c Finding non-binary XORs:     0.38 s (found:       0, avg size: nan)
2.40/2.42	c calculated reachability. Time: 0.00
2.40/2.48	c Calc default polars -  time:   0.05 s pos:       0 undec:   34307 neg:       0
2.40/2.48	c =========================================================================================
2.40/2.48	c types(t): F = full restart, N = normal restart
2.40/2.48	c types(t): S = simplification begin/end, E = solution found
2.40/2.48	c restart types(rt): st = static, dy = dynamic
2.40/2.48	c  t rt  Rest     Confl      Vars   NormCls    BinCls   Learnts    ClLits    LtLits
2.40/2.48	c  B st     0         0     34307    708206         0         0   3541030         0   no data   no data
3.09/3.13	c  N dy    20      4300     34307    708206         0      4294   3541030   1008255    159.13    169.26
3.49/3.54	c  N dy    42      8305     34307    708206         0      8297   3541030   1815613    151.08    159.16
3.89/3.97	c  N dy    65     12337     34307    708206         0     12328   3541030   2595581    147.64    155.43
4.41/4.45	c  N dy    93     16380     34307    708206         0     16369   3541030   3400197    147.17    164.65
4.99/5.00	c  N dy   119     20484     34307    708206         0     10481   3541030    716324    146.11    154.60
5.40/5.46	c  N dy   145     24584     34307    708206         0     14580   3541030   1517968    145.84    164.93
5.40/5.50	c  F st   147     25001     34307    708206         0     14997   3541030   1594218    145.63    132.25
5.59/5.67	c Found part       41 vars:       4293 clauses:     88534 lits size:    442670
5.59/5.67	c Found part       48 vars:       4265 clauses:     86046 lits size:    430230
5.59/5.67	c Found part       63 vars:       4257 clauses:     85800 lits size:    429000
5.59/5.67	c Found part       66 vars:       4296 clauses:     89914 lits size:    449570
5.59/5.67	c Found part       67 vars:      17196 clauses:    357912 lits size:   1789560
5.59/5.67	c Found parts:          5 time: 0.17 s
5.59/5.67	c Solving part 63
5.69/5.74	c  N st     0         0      4257     85800         0         0    429000         0   no data   no data
5.99/6.07	c asymm  cl-useful: 0/85800/85800 lits-rem:0 time: 0.33
5.99/6.09	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.8M T:  0.02
5.99/6.09	c Finding binary XORs  T:     0.00 s  found:       0
6.09/6.12	c Finding non-binary XORs:     0.02 s (found:       0, avg size: nan)
6.09/6.12	c calculated reachability. Time: 0.00
6.09/6.12	c Calc default polars -  time:   0.00 s pos:       0 undec:   34307 neg:       0
6.09/6.12	c =========================================================================================
6.09/6.12	c types(t): F = full restart, N = normal restart
6.09/6.12	c types(t): S = simplification begin/end, E = solution found
6.09/6.12	c restart types(rt): st = static, dy = dynamic
6.09/6.12	c  t rt  Rest     Confl      Vars   NormCls    BinCls   Learnts    ClLits    LtLits
6.09/6.12	c  B st     0         0      4257     85800         0         0    429000         0   no data   no data
6.60/6.65	c  N dy    17      4285      4257     85800         0      4285    429000    965177    152.87    162.70
7.00/7.06	c  N dy    42      8397      4257     85800         0      8394    429000   1794414    150.25    158.53
7.39/7.49	c  N dy    69     12496      4257     85800         0     12490    429000   2621131    149.80    174.37
7.89/7.93	c  N dy    94     16511      4257     85800         0     16503    429000   3415634    148.37    196.45
8.39/8.42	c  N dy   119     20600      4257     85800         0     10595    429000    759543    148.43    186.45
8.81/8.88	c  N dy   145     24790      4257     85800         0     14783    429000   1586289    147.62    156.50
8.89/8.90	c  F st   147     25002      4257     85800         0     14995    429000   1629109    147.54   no data
9.49/9.51	c  N dy   153     30203      4257     85800         0     20193    429000   2848312    147.54   no data
9.91/9.99	c  N dy   178     34318      4257     85800         0     24305    429000   3687061    147.63    158.56
10.49/10.50	c  N dy   207     38407      4257     85800         0     28392    429000   4507898    147.97    156.79
11.01/11.02	c  N dy   233     42586      4257     85800         0     17081    429000   1036767    147.39    155.74
11.49/11.51	c  N dy   263     46747      4257     85800         0     21240    429000   1889594    147.70    157.45
11.89/11.99	c  N dy   289     50838      4257     85800         0     25330    429000   2691327    147.35    155.35
12.39/12.49	c  N dy   316     54877      4257     85800         0     29367    429000   3496990    147.29    157.51
12.99/13.01	c  N dy   342     58968      4257     85800         0     33457    429000   4314808    147.01    155.61
13.49/13.59	c  N dy   369     63124      4257     85800         0     18873    429000    716909    146.95    158.32
13.99/14.08	c  N dy   395     67247      4257     85800         0     22994    429000   1551585    146.78    155.41
14.59/14.60	c  N dy   420     71689      4257     85800         0     27436    429000   2431850    146.50    159.81
15.09/15.17	c  N dy   448     76303      4257     85800         0     32048    429000   3338278    146.23    155.31
15.79/15.80	c  N dy   478     81200      4257     85800         0     36944    429000   4288347    145.85    154.82
16.50/16.54	c  N dy   516     86380      4257     85800         0     21258    429000    712267    145.84    157.79
16.59/16.67	c  F st   524     87500      4257     85800         0     22376    429000    924494    145.78    121.85
17.29/17.32	c  N dy   530     92696      4257     85800         0     27566    429000   2186878    145.78   no data
17.99/18.08	c  N dy   565     98661      4257     85800         0     33528    429000   3378624    145.61    157.12
18.90/18.94	c  N dy   609    105014      4257     85800         0     39879    429000   4645291    145.70    155.25
19.89/19.90	c  N dy   658    111795      4257     85800         0     24236    429000    966734    145.82    181.60
20.69/20.79	c  N dy   708    119015      4257     85800         0     31453    429000   2394993    145.75    159.58
21.79/21.83	c  N dy   762    126638      4257     85800         0     39076    429000   3950102    145.95    155.11
22.89/22.99	c  N dy   810    134790      4257     85800         0     47223    429000   5572567    145.81    156.83
24.10/24.14	c  N dy   867    143680      4257     85800         0     32402    429000   2328247    145.89    158.53
25.30/25.39	c  N dy   927    152950      4257     85800         0     41669    429000   4164676    145.84    154.62
26.79/26.87	c  N dy  1002    162973      4257     85800         0     26834    429000    923432    145.95    163.49
28.19/28.23	c  N dy  1077    173433      4257     85800         0     37290    429000   3004461    146.01    174.37
29.79/29.86	c  N dy  1159    184700      4257     85800         0     48552    429000   5273453    146.15    157.93
31.40/31.46	c  N dy  1239    196485      4257     85800         0     34414    429000   2221821    146.11    154.34
33.19/33.24	c  N dy  1323    209164      4257     85800         0     47090    429000   4741212    145.96    156.08
35.10/35.12	c  N dy  1411    222610      4257     85800         0     33569    429000   1810777    145.82    155.05
36.99/37.09	c  N dy  1503    236892      4257     85800         0     47848    429000   4648460    145.66    155.52
39.19/39.24	c  N dy  1601    252065      4257     85800         0     35045    429000   1883639    145.58    164.23
41.49/41.55	c  N dy  1715    268251      4257     85800         0     51228    429000   5191290    145.71    160.03
43.89/43.95	c  N dy  1814    285460      4257     85800         0     39449    429000   2584690    145.47    191.41
46.60/46.66	c  N dy  1936    303741      4257     85800         0     57722    429000   6234312    145.51    156.81
47.10/47.10	c  F st  1956    306250      4257     85800         0     30243    429000    536304    145.53   no data
49.30/49.41	c  N dy  2037    323225      4257     85800         0     47213    429000   4204623    145.49    153.51
52.39/52.43	c  N dy  2171    343226      4257     85800         0     36223    429000   1550426    145.46    160.59
55.19/55.28	c  N dy  2301    363231      4257     85800         0     56220    429000   5557271    145.42    157.62
58.09/58.20	c  N dy  2428    383511      4257     85800         0     44500    429000   2965524    145.32    154.46
61.19/61.29	c  N dy  2564    403552      4257     85800         0     64536    429000   6986046    145.38    202.52
64.10/64.16	c  N dy  2693    423594      4257     85800         0     51592    429000   4222136    145.35    156.60
67.29/67.30	c  N dy  2823    443712      4257     85800         0     37713    429000   1231559    145.32    154.42
70.20/70.24	c  N dy  2953    463947      4257     85800         0     57942    429000   5255408    145.27    158.83
73.29/73.32	c  N dy  3085    484026      4257     85800         0     43021    429000   2093732    145.27    156.28
76.30/76.32	c  N dy  3207    504096      4257     85800         0     63089    429000   6057175    145.20    157.90
79.29/79.39	c  N dy  3336    524261      4257     85800         0     47263    429000   2746245    145.15    154.72
82.51/82.57	c  N dy  3473    544381      4257     85800         0     67377    429000   6794319    145.20    155.36
85.59/85.64	c  N dy  3602    564526      4257     85800         0     50529    429000   3200358    145.19    153.27
88.80/88.89	c  N dy  3740    584584      4257     85800         0     70581    429000   7180079    145.20    153.86
91.89/91.95	c  N dy  3872    604678      4257     85800         0     52680    429000   3470876    145.21    165.72
95.20/95.28	c  N dy  4014    624743      4257     85800         0     72738    429000   7482823    145.25    153.00
98.29/98.38	c  N dy  4144    644958      4257     85800         0     53958    429000   3458998    145.22    154.57
101.60/101.69	c  N dy  4280    665001      4257     85800         0     73995    429000   7493214    145.24    153.68
104.79/104.84	c  N dy  4415    685070      4257     85800         0     54067    429000   3342325    145.25    153.56
108.09/108.14	c  N dy  4551    705267      4257     85800         0     74259    429000   7411480    145.27    154.56
111.30/111.37	c  N dy  4690    725414      4257     85800         0     53412    429000   3014808    145.34    156.15
114.59/114.64	c  N dy  4819    745432      4257     85800         0     73423    429000   7032468    145.37    154.67
117.90/117.94	c  N dy  4952    765495      4257     85800         0     51493    429000   2437616    145.39    167.33
121.10/121.16	c  N dy  5089    785503      4257     85800         0     71491    429000   6415607    145.42    157.32
124.49/124.59	c  N dy  5213    805641      4257     85800         0     48638    429000   1639898    145.38    155.16
127.70/127.77	c  N dy  5350    825712      4257     85800         0     68702    429000   5639768    145.38    155.38
131.39/131.41	c  N dy  5485    845739      4257     85800         0     44734    429000    694024    145.39    172.47
134.40/134.46	c  N dy  5613    865803      4257     85800         0     64790    429000   4685660    145.38    155.73
137.99/138.00	c  N dy  5748    885895      4257     85800         0     84874    429000   8690901    145.37    155.97
141.30/141.30	c  N dy  5886    905944      4257     85800         0     59935    429000   3537354    145.38    154.37
144.69/144.72	c  N dy  6021    925985      4257     85800         0     79974    429000   7573550    145.40    161.87
148.20/148.29	c  N dy  6163    946008      4257     85800         0     54004    429000   2142134    145.43    154.50
151.50/151.55	c  N dy  6298    966103      4257     85800         0     74096    429000   6144257    145.43    153.65
155.30/155.36	c  N dy  6430    986161      4257     85800         0     47158    429000    597310    145.40    156.28
158.41/158.47	c  N dy  6567   1006196      4257     85800         0     67185    429000   4614274    145.40    153.34
162.00/162.01	c  N dy  6701   1026282      4257     85800         0     87262    429000   8613795    145.39    157.82
165.40/165.47	c  N dy  6836   1046349      4257     85800         0     59331    429000   2821550    145.40    156.77
168.69/168.79	c  N dy  6962   1066490      4257     85800         0     79463    429000   6834325    145.38    155.73
169.70/169.76	c  F st  6995   1071876      4257     85800         0     84844    429000   7899520    145.37   no data
172.39/172.46	c  N dy  7063   1086637      4257     85800         0     50618    429000    901908    145.35    153.27
175.60/175.65	c  N dy  7198   1106749      4257     85800         0     70723    429000   4939532    145.37    153.78
179.31/179.33	c  N dy  7333   1126839      4257     85800         0     90803    429000   8936056    145.36    154.39
182.80/182.89	c  N dy  7474   1146899      4257     85800         0     60884    429000   2781231    145.37    153.53
186.20/186.28	c  N dy  7600   1166960      4257     85800         0     80934    429000   6775253    145.37    185.18
190.20/190.22	c  N dy  7736   1187092      4257     85800         0    101065    429000  10800669    145.38    154.09
193.40/193.45	c  N dy  7867   1207166      4257     85800         0     70160    429000   4424049    145.37    153.92
197.10/197.14	c  N dy  8006   1227317      4257     85800         0     90303    429000   8453299    145.38    155.68
200.89/200.91	c  N dy  8142   1247348      4257     85800         0     58343    429000   1859782    145.37    158.43
204.20/204.27	c  N dy  8270   1267671      4257     85800         0     78656    429000   5889917    145.35    154.12
208.10/208.18	c  N dy  8408   1287849      4257     85800         0     98825    429000   9965796    145.36    155.30
211.69/211.77	c  N dy  8548   1307937      4257     85800         0     65921    429000   3155966    145.37    153.73
215.30/215.30	c  N dy  8686   1327996      4257     85800         0     85974    429000   7160942    145.37    153.10
219.30/219.32	c  N dy  8823   1348080      4257     85800         0    106054    429000  11169850    145.38    154.42
222.70/222.73	c  N dy  8967   1368117      4257     85800         0     72108    429000   4244963    145.40    153.45
226.29/226.39	c  N dy  9100   1388128      4257     85800         0     92111    429000   8276750    145.42    154.66
230.40/230.42	c  N dy  9226   1408146      4257     85800         0     57133    429000   1032162    145.39    153.56
233.70/233.74	c  N dy  9369   1428235      4257     85800         0     77214    429000   5046712    145.41    162.17
237.50/237.56	c  N dy  9513   1448243      4257     85800         0     97211    429000   9133467    145.46    174.73
241.39/241.49	c  N dy  9647   1468249      4257     85800         0     61232    429000   1653937    145.46    191.51
244.90/244.92	c  N dy  9789   1488290      4257     85800         0     81269    429000   5714197    145.49    155.99
248.80/248.82	c  N dy  9926   1508377      4257     85800         0    101347    429000   9748978    145.50    154.52
252.70/252.77	c  N dy 10066   1528460      4257     85800         0     64443    429000   2132908    145.53    153.55
256.21/256.26	c  N dy 10193   1548525      4257     85800         0     84500    429000   6104117    145.51    153.41
260.10/260.15	c  N dy 10324   1568616      4257     85800         0    104580    429000  10097676    145.49    154.76
263.90/264.00	c  N dy 10456   1588622      4257     85800         0     66607    429000   2341716    145.50    155.23
267.40/267.48	c  N dy 10584   1608702      4257     85800         0     86680    429000   6367026    145.48    155.30
271.40/271.46	c  N dy 10717   1628704      4257     85800         0    106677    429000  10388885    145.48    154.25
275.30/275.39	c  N dy 10856   1648767      4257     85800         0     67761    429000   2391225    145.50    178.73
278.90/278.98	c  N dy 10997   1668802      4257     85800         0     87791    429000   6395940    145.51    160.85
283.00/283.01	c  N dy 11130   1688894      4257     85800         0    107879    429000  10407286    145.51    155.70
287.00/287.04	c  N dy 11272   1709038      4257     85800         0     68026    429000   2251324    145.53    154.20
290.70/290.73	c  N dy 11411   1729243      4257     85800         0     88222    429000   6323031    145.54    154.72
294.71/294.79	c  N dy 11544   1749467      4257     85800         0    108441    429000  10423101    145.55    155.51
299.00/299.00	c  N dy 11694   1769603      4257     85800         0     67591    429000   1980390    145.59    158.31
302.51/302.52	c  N dy 11831   1789614      4257     85800         0     87596    429000   5972357    145.60    154.96
306.50/306.53	c  N dy 11967   1809690      4257     85800         0    107666    429000   9990648    145.61    154.01
310.80/310.84	c  N dy 12109   1829751      4257     85800         0     65740    429000   1404011    145.64    156.39
314.30/314.34	c  N dy 12247   1849792      4257     85800         0     85775    429000   5422651    145.65    182.28
318.30/318.32	c  N dy 12383   1869863      4257     85800         0    105835    429000   9424218    145.65    155.83
322.70/322.77	c  N dy 12515   1889962      4257     85800         0    125927    429000  13437090    145.65    156.60
326.30/326.30	c  N dy 12658   1910023      4257     85800         0     83010    429000   4686240    145.68    167.76
330.20/330.25	c  N dy 12799   1930202      4257     85800         0    103182    429000   8810918    145.70    157.66
334.80/334.80	c  N dy 12943   1950446      4257     85800         0    123420    429000  12878686    145.71    155.65
338.60/338.60	c  N dy 13079   1970590      4257     85800         0     79579    429000   3781715    145.71    154.03
342.30/342.39	c  N dy 13211   1990666      4257     85800         0     99646    429000   7781781    145.71    173.89
346.71/346.74	c  N dy 13351   2010877      4257     85800         0    119849    429000  11843587    145.72    160.29
350.70/350.80	c  N dy 13490   2030908      4257     85800         0     74898    429000   2642813    145.74    154.53
354.40/354.46	c  N dy 13623   2051013      4257     85800         0     94997    429000   6686391    145.74    155.84
358.62/358.66	c  N dy 13762   2071042      4257     85800         0    115021    429000  10701322    145.74    159.69
363.02/363.06	c  N dy 13896   2091110      4257     85800         0     69101    429000   1288123    145.74    161.41
366.60/366.65	c  N dy 14033   2111192      4257     85800         0     89177    429000   5349030    145.76    163.37
370.71/370.79	c  N dy 14170   2131539      4257     85800         0    109514    429000   9523380    145.78    155.29
375.20/375.23	c  N dy 14304   2151562      4257     85800         0    129531    429000  13521791    145.79    153.51
379.00/379.07	c  N dy 14436   2171804      4257     85800         0     82791    429000   3796523    145.77    157.62
382.90/382.93	c  N dy 14571   2191956      4257     85800         0    102938    429000   7838351    145.77    157.39
387.30/387.37	c  N dy 14716   2211985      4257     85800         0    122960    429000  11901096    145.79    154.05
391.70/391.78	c  N dy 14858   2232086      4257     85800         0     75083    429000   2107943    145.81    155.24
395.40/395.49	c  N dy 14997   2252148      4257     85800         0     95138    429000   6142851    145.82    155.18
399.60/399.67	c  N dy 15132   2272259      4257     85800         0    115240    429000  10160349    145.82    158.96
404.30/404.36	c  N dy 15280   2292328      4257     85800         0    135305    429000  14213125    145.84    154.35
408.01/408.09	c  N dy 15408   2312393      4257     85800         0     86384    429000   4164446    145.82    157.21
412.10/412.12	c  N dy 15549   2332498      4257     85800         0    106484    429000   8222707    145.84    154.34
416.50/416.57	c  N dy 15689   2352502      4257     85800         0    126484    429000  12265305    145.86    153.96
421.00/421.01	c  N dy 15824   2372543      4257     85800         0     76538    429000   2054477    145.88    217.66
424.70/424.73	c  N dy 15959   2392579      4257     85800         0     96568    429000   6146129    145.89    159.03
428.91/428.97	c  N dy 16090   2412620      4257     85800         0    116599    429000  10215480    145.89    181.41
433.60/433.67	c  N dy 16223   2432690      4257     85800         0    136664    429000  14245340    145.90    168.00
437.60/437.69	c  N dy 16366   2452770      4257     85800         0     85760    429000   3740808    145.92    166.31
441.50/441.59	c  N dy 16498   2472827      4257     85800         0    105810    429000   7750821    145.92    157.01
446.00/446.09	c  N dy 16635   2493026      4257     85800         0    126002    429000  11823280    145.93    155.84
450.81/450.91	c  N dy 16777   2513125      4257     85800         0     74114    429000   1138176    145.94    154.42
454.60/454.66	c  N dy 16924   2533196      4257     85800         0     94177    429000   5212945    145.96    176.23
458.80/458.88	c  N dy 17062   2553298      4257     85800         0    114274    429000   9339171    145.98    154.43
463.51/463.57	c  N dy 17203   2573389      4257     85800         0    134360    429000  13390885    145.99    162.17
468.00/468.02	c  N dy 17337   2593452      4257     85800         0     81435    429000   2444851    145.99    155.90
471.81/471.89	c  N dy 17475   2613563      4257     85800         0    101535    429000   6544130    146.00    155.31
476.10/476.13	c  N dy 17613   2633674      4257     85800         0    121632    429000  10571653    146.01    155.79
480.91/480.90	c  N dy 17749   2653810      4257     85800         0    141760    429000  14631188    146.01    155.25
485.01/485.07	c  N dy 17891   2673936      4257     85800         0     87915    429000   3538246    146.02    155.58
489.00/489.07	c  N dy 18028   2694008      4257     85800         0    107979    429000   7568210    146.02    154.99
493.51/493.58	c  N dy 18167   2714224      4257     85800         0    128190    429000  11687626    146.04    154.52
498.51/498.57	c  N dy 18303   2734433      4257     85800         0    148390    429000  15747206    146.04    154.62
502.50/502.50	c  N dy 18442   2754505      4257     85800         0     93495    429000   4525001    146.07    156.09
506.61/506.66	c  N dy 18579   2774535      4257     85800         0    113518    429000   8602219    146.09    176.97
511.30/511.31	c  N dy 18720   2794629      4257     85800         0    133605    429000  12658441    146.10    154.05
516.40/516.45	c  N dy 18863   2814727      4257     85800         0     77722    429000   1116324    146.12    165.22
520.11/520.16	c  N dy 18995   2834822      4257     85800         0     97811    429000   5163413    146.12    154.05
524.41/524.40	c  N dy 19131   2854937      4257     85800         0    117922    429000   9189155    146.12    154.31
529.01/529.04	c  N dy 19264   2875095      4257     85800         0    138079    429000  13291782    146.13    159.35
533.91/533.90	c  N dy 19398   2895120      4257     85800         0     81117    429000   1606944    146.13    156.04
537.70/537.71	c  N dy 19537   2915189      4257     85800         0    101181    429000   5681434    146.14    154.26
542.01/542.02	c  N dy 19668   2935243      4257     85800         0    121226    429000   9704777    146.14    164.43
546.72/546.77	c  N dy 19805   2955253      4257     85800         0    141232    429000  13738367    146.14    155.85
551.61/551.66	c  N dy 19943   2975397      4257     85800         0     83385    429000   1874653    146.16    154.02
555.52/555.54	c  N dy 20071   2995639      4257     85800         0    103621    429000   5912035    146.15    155.09
559.92/559.95	c  N dy 20211   3015713      4257     85800         0    123691    429000   9972814    146.16    162.11
564.71/564.74	c  N dy 20341   3035716      4257     85800         0    143690    429000  13983354    146.16    162.36
569.60/569.61	c  N dy 20476   3055795      4257     85800         0     84783    429000   1978845    146.16    155.29
573.41/573.45	c  N dy 20607   3075818      4257     85800         0    104801    429000   6007358    146.15    155.88
577.81/577.81	c  N dy 20739   3095870      4257     85800         0    124846    429000  10038339    146.15    159.18
582.61/582.67	c  N dy 20873   3115951      4257     85800         0    144923    429000  14069752    146.14    156.66
587.61/587.62	c  N dy 21006   3135980      4257     85800         0     84971    429000   1817885    146.15    157.07
591.51/591.53	c  N dy 21145   3155989      4257     85800         0    104973    429000   5865155    146.17    155.36
595.91/595.93	c  N dy 21286   3176086      4257     85800         0    125065    429000   9948173    146.18    154.19
600.81/600.81	c  N dy 21429   3196150      4257     85800         0    145121    429000  14035089    146.19    195.18
605.91/605.98	c  N dy 21570   3216167      4257     85800         0     84153    429000   1448168    146.20    155.73
609.91/609.92	c  N dy 21704   3236264      4257     85800         0    104242    429000   5490367    146.21    162.09
614.31/614.31	c  N dy 21843   3256290      4257     85800         0    124264    429000   9507963    146.22    155.11
619.21/619.25	c  N dy 21987   3276322      4257     85800         0    144291    429000  13568757    146.23    154.52
624.71/624.77	c  N dy 22131   3296404      4257     85800         0     82390    429000    908263    146.25    155.68
628.61/628.60	c  N dy 22270   3316441      4257     85800         0    102422    429000   4975264    146.26    155.10
632.91/632.96	c  N dy 22411   3336476      4257     85800         0    122447    429000   9022426    146.27    168.43
637.81/637.83	c  N dy 22552   3356536      4257     85800         0    142503    429000  13050100    146.28    154.26
643.11/643.15	c  N dy 22687   3376786      4257     85800         0    162747    429000  17104337    146.28    154.93
647.31/647.35	c  N dy 22822   3396836      4257     85800         0     99819    429000   4207262    146.28    165.85
651.61/651.63	c  N dy 22966   3416951      4257     85800         0    119928    429000   8273494    146.29    155.59
656.21/656.20	c  N dy 23088   3437032      4257     85800         0    140002    429000  12293450    146.28    154.80
661.41/661.49	c  N dy 23233   3457052      4257     85800         0    160014    429000  16409339    146.31    190.59
666.01/666.05	c  N dy 23368   3477082      4257     85800         0     96059    429000   3279909    146.31    156.70
670.22/670.21	c  N dy 23501   3497215      4257     85800         0    116190    429000   7328757    146.31    156.22
674.81/674.81	c  N dy 23634   3517298      4257     85800         0    136268    429000  11349316    146.31    155.93
679.91/679.94	c  N dy 23767   3537348      4257     85800         0    156316    429000  15359476    146.31    157.92
685.01/685.02	c  N dy 23911   3557356      4257     85800         0     91346    429000   2143609    146.33    160.19
689.11/689.11	c  N dy 24053   3577468      4257     85800         0    111455    429000   6198201    146.33    156.18
693.61/693.64	c  N dy 24191   3597471      4257     85800         0    131454    429000  10220136    146.33    154.57
698.42/698.48	c  N dy 24313   3617543      4257     85800         0    151517    429000  14248295    146.32    167.71
703.92/703.98	c  N dy 24455   3637567      4257     85800         0    171528    429000  18261658    146.32    162.05
708.01/708.02	c  N dy 24589   3657664      4257     85800         0    105646    429000   4835558    146.33    167.86
712.41/712.41	c  N dy 24729   3677748      4257     85800         0    125721    429000   8846963    146.33    159.53
717.23/717.29	c  N dy 24868   3697761      4257     85800         0    145727    429000  12846606    146.33    154.74
722.62/722.69	c  N dy 25007   3717889      4257     85800         0    165850    429000  16931540    146.34    157.78
727.41/727.46	c  N dy 25144   3737933      4257     85800         0     98917    429000   3315299    146.35    186.17
730.32/730.31	c  F st 25239   3751564      4257     85800         0    112545    429000   6057041    146.35    151.80
731.53/731.57	c  N dy 25254   3757971      4257     85800         0    118946    429000   7513921    146.35    155.12
736.42/736.44	c  N dy 25399   3778098      4257     85800         0    139070    429000  11591465    146.36    154.18
741.61/741.63	c  N dy 25536   3798319      4257     85800         0    159288    429000  15650910    146.37    155.30
747.01/747.06	c  N dy 25670   3818425      4257     85800         0     91411    429000   1575814    146.37    156.30
751.01/751.09	c  N dy 25805   3838586      4257     85800         0    111569    429000   5632268    146.38    155.88
755.62/755.67	c  N dy 25938   3858786      4257     85800         0    131764    429000   9706966    146.38    155.95
760.61/760.66	c  N dy 26066   3878867      4257     85800         0    151840    429000  13727476    146.37    160.91
766.11/766.13	c  N dy 26201   3898918      4257     85800         0    171884    429000  17773234    146.38    155.11
770.72/770.78	c  N dy 26340   3918988      4257     85800         0    102971    429000   3715742    146.38    159.27
775.11/775.12	c  N dy 26476   3939210      4257     85800         0    123186    429000   7812836    146.39    157.86
779.82/779.83	c  N dy 26604   3959300      4257     85800         0    143264    429000  11884761    146.39    155.38
785.12/785.11	c  N dy 26744   3979302      4257     85800         0    163260    429000  15951365    146.40    154.89
790.41/790.46	c  N dy 26870   3999394      4257     85800         0     93385    429000   1584256    146.40    177.77
794.51/794.53	c  N dy 27004   4019463      4257     85800         0    113442    429000   5652552    146.40    156.73
799.11/799.14	c  N dy 27144   4039541      4257     85800         0    133514    429000   9654745    146.40    156.36
804.32/804.32	c  N dy 27284   4059654      4257     85800         0    153625    429000  13731262    146.41    158.00
810.02/810.01	c  N dy 27424   4079954      4257     85800         0    173921    429000  17802667    146.41    157.43
814.81/814.85	c  N dy 27557   4099969      4257     85800         0    102952    429000   3315404    146.41    154.29
819.12/819.16	c  N dy 27689   4120060      4257     85800         0    123037    429000   7372696    146.41    191.31
824.02/824.01	c  N dy 27827   4140179      4257     85800         0    143152    429000  11444044    146.41    160.41
829.21/829.23	c  N dy 27957   4160277      4257     85800         0    163243    429000  15515235    146.42    154.70
834.93/834.96	c  N dy 28091   4180425      4257     85800         0    183388    429000  19561966    146.41    161.72
839.22/839.23	c  N dy 28235   4200518      4257     85800         0    111500    429000   4858740    146.42    156.48
843.73/843.79	c  N dy 28376   4220554      4257     85800         0    131528    429000   8915316    146.44    171.87
848.81/848.80	c  N dy 28517   4240559      4257     85800         0    151523    429000  12976005    146.44    156.23
854.31/854.30	c  N dy 28652   4260571      4257     85800         0    171529    429000  16983327    146.45    167.05
859.62/859.67	c  N dy 28791   4280719      4257     85800         0     98700    429000   2094869    146.45    155.40
863.82/863.86	c  N dy 28930   4300743      4257     85800         0    118721    429000   6131004    146.45    156.25
868.42/868.49	c  N dy 29062   4320744      4257     85800         0    138716    429000  10185643    146.45    155.19
873.52/873.58	c  N dy 29193   4340839      4257     85800         0    158803    429000  14286449    146.45    168.57
879.21/879.24	c  N dy 29332   4360958      4257     85800         0    178918    429000  18386518    146.46    154.51
884.21/884.23	c  N dy 29472   4380980      4257     85800         0    104960    429000   3185944    146.47    156.62
888.62/888.66	c  N dy 29613   4401034      4257     85800         0    125008    429000   7286917    146.49    160.94
893.41/893.47	c  N dy 29744   4421106      4257     85800         0    145077    429000  11328035    146.49    154.86
898.73/898.79	c  N dy 29879   4441150      4257     85800         0    165113    429000  15371857    146.49    157.81
904.62/904.69	c  N dy 30013   4461292      4257     85800         0    185251    429000  19470639    146.50    155.42
909.42/909.41	c  N dy 30151   4481353      4257     85800         0    110333    429000   4051962    146.50    156.90
913.82/913.88	c  N dy 30289   4501478      4257     85800         0    130450    429000   8137088    146.50    154.30
918.82/918.89	c  N dy 30427   4521526      4257     85800         0    150490    429000  12237530    146.52    155.26
924.31/924.34	c  N dy 30557   4541527      4257     85800         0    170486    429000  16226878    146.51    154.48
930.32/930.31	c  N dy 30698   4561529      4257     85800         0    190485    429000  20274545    146.52    155.20
934.72/934.72	c  N dy 30835   4581535      4257     85800         0    114510    429000   4682013    146.52    162.90
939.32/939.37	c  N dy 30978   4601560      4257     85800         0    134525    429000   8739003    146.53    164.22
944.52/944.53	c  N dy 31120   4621607      4257     85800         0    154563    429000  12796390    146.54    155.39
950.02/950.05	c  N dy 31248   4641818      4257     85800         0    174769    429000  16829552    146.53    158.26
956.22/956.23	c  N dy 31394   4661898      4257     85800         0     97876    429000   1158658    146.54    155.66
960.42/960.41	c  N dy 31534   4681979      4257     85800         0    117953    429000   5197489    146.55    154.63
965.02/965.04	c  N dy 31669   4702066      4257     85800         0    138035    429000   9256906    146.55    241.25
970.23/970.25	c  N dy 31813   4722249      4257     85800         0    158211    429000  13378044    146.57    157.65
975.82/975.86	c  N dy 31945   4742359      4257     85800         0    178319    429000  17415850    146.56    155.33
981.72/981.71	c  N dy 32067   4762474      4257     85800         0    100470    429000   1469986    146.56    157.78
986.02/986.01	c  N dy 32202   4782742      4257     85800         0    120736    429000   5573944    146.57    157.51
990.82/990.80	c  N dy 32339   4802749      4257     85800         0    140735    429000   9638195    146.57    155.30
996.02/996.03	c  N dy 32475   4822953      4257     85800         0    160931    429000  13690102    146.57    160.84
1001.62/1001.65	c  N dy 32601   4843100      4257     85800         0    181073    429000  17749377    146.57    156.62
1007.63/1007.68	c  N dy 32739   4863194      4257     85800         0    102188    429000   1642971    146.58    169.45
1011.92/1011.96	c  N dy 32870   4883205      4257     85800         0    122186    429000   5694979    146.58    155.14
1016.72/1016.74	c  N dy 33000   4903453      4257     85800         0    142427    429000   9749495    146.58    158.05
1022.02/1022.00	c  N dy 33134   4923552      4257     85800         0    162519    429000  13789423    146.57    178.34
1027.73/1027.71	c  N dy 33271   4943650      4257     85800         0    182608    429000  17827667    146.58    154.80
1033.72/1033.72	c  N dy 33405   4963683      4257     85800         0    102660    429000   1546412    146.58    154.99
1037.92/1037.96	c  N dy 33537   4983696      4257     85800         0    122668    429000   5572861    146.58    154.59
1042.73/1042.76	c  N dy 33678   5003822      4257     85800         0    142790    429000   9642621    146.59    154.57
1047.92/1047.96	c  N dy 33812   5023862      4257     85800         0    162827    429000  13696729    146.59    155.43
1053.62/1053.63	c  N dy 33943   5043873      4257     85800         0    182831    429000  17752531    146.59    156.18
1059.93/1059.93	c  N dy 34086   5064103      4257     85800         0    102079    429000   1229673    146.60    155.53
1064.22/1064.21	c  N dy 34219   5084243      4257     85800         0    122211    429000   5274330    146.60    154.71
1068.92/1068.90	c  N dy 34352   5104270      4257     85800         0    142235    429000   9275548    146.59    155.70
1074.12/1074.14	c  N dy 34490   5124305      4257     85800         0    162266    429000  13335160    146.60    156.53
1079.93/1079.91	c  N dy 34629   5144394      4257     85800         0    182349    429000  17359257    146.60    158.80
1086.12/1086.14	c  N dy 34771   5164395      4257     85800         0    202345    429000  21383797    146.60    155.25
1090.62/1090.64	c  N dy 34899   5184528      4257     85800         0    120493    429000   4790702    146.60    154.61
1095.32/1095.36	c  N dy 35037   5204532      4257     85800         0    140492    429000   8837505    146.60    169.84
1100.42/1100.46	c  N dy 35167   5224718      4257     85800         0    160675    429000  12909678    146.60    158.97
1106.23/1106.27	c  N dy 35310   5244776      4257     85800         0    180727    429000  16979991    146.62    161.11
1112.42/1112.43	c  N dy 35440   5264879      4257     85800         0    200827    429000  21003739    146.61    155.03
1117.43/1117.47	c  N dy 35587   5285008      4257     85800         0    117986    429000   4057917    146.62    154.68
1122.13/1122.19	c  N dy 35725   5305018      4257     85800         0    137991    429000   8134902    146.63    154.60
1127.32/1127.36	c  N dy 35861   5325190      4257     85800         0    158158    429000  12215788    146.63    164.42
1132.93/1132.99	c  N dy 35997   5345195      4257     85800         0    178157    429000  16223021    146.63    155.77
1139.22/1139.21	c  N dy 36140   5365251      4257     85800         0    198206    429000  20292623    146.64    183.96
1144.63/1144.67	c  N dy 36279   5385264      4257     85800         0    114252    429000   3141374    146.64    159.62
1149.33/1149.34	c  N dy 36422   5405413      4257     85800         0    134393    429000   7231927    146.65    154.89
1154.32/1154.35	c  N dy 36557   5425454      4257     85800         0    154429    429000  11290376    146.65    161.31
1160.03/1160.06	c  N dy 36699   5445749      4257     85800         0    174715    429000  15446939    146.66    154.38
1166.22/1166.20	c  N dy 36837   5465917      4257     85800         0    194879    429000  19536559    146.66    154.56
1172.23/1172.24	c  N dy 36966   5486018      4257     85800         0    110012    429000   2053325    146.66    157.04
1176.73/1176.74	c  N dy 37106   5506064      4257     85800         0    130051    429000   6122505    146.67    160.38
1181.73/1181.74	c  N dy 37237   5526320      4257     85800         0    150301    429000  10205208    146.66    156.68
1187.13/1187.19	c  N dy 37375   5546419      4257     85800         0    170392    429000  14269122    146.66    156.49
1193.03/1193.02	c  N dy 37506   5566486      4257     85800         0    190452    429000  18296879    146.66    155.55
1199.53/1199.50	c  N dy 37643   5586530      4257     85800         0    210491    429000  22348834    146.67    158.10
1204.02/1204.09	c  N dy 37772   5606615      4257     85800         0    124604    429000   4814794    146.67    157.62
1208.95/1208.94	c  N dy 37911   5626798      4257     85800         0    144777    429000   8925244    146.68    154.68
1214.22/1214.26	c  N dy 38054   5646806      4257     85800         0    164782    429000  12993139    146.68    156.33
1220.12/1220.11	c  N dy 38195   5666913      4257     85800         0    184880    429000  17077561    146.68    159.35
1226.33/1226.37	c  N dy 38330   5686951      4257     85800         0    204915    429000  21108057    146.69    155.09
1231.83/1231.87	c  N dy 38466   5706958      4257     85800         0    117939    429000   3320247    146.70    156.78
1236.52/1236.50	c  N dy 38602   5727087      4257     85800         0    138067    429000   7372163    146.70    155.07
1241.72/1241.70	c  N dy 38745   5747191      4257     85800         0    158164    429000  11447387    146.70    154.74
1247.34/1247.35	c  N dy 38880   5767247      4257     85800         0    178213    429000  15528909    146.71    155.54
1253.43/1253.43	c  N dy 39016   5787344      4257     85800         0    198305    429000  19626189    146.71    156.72
1259.83/1259.84	c  N dy 39158   5807520      4257     85800         0    110504    429000   1595918    146.72    161.47
1264.33/1264.35	c  N dy 39294   5827629      4257     85800         0    130605    429000   5664822    146.72    158.44
1269.33/1269.35	c  N dy 39431   5847881      4257     85800         0    150852    429000   9799008    146.73    156.59
1274.84/1274.91	c  N dy 39577   5867975      4257     85800         0    170938    429000  13839547    146.73    154.58
1281.02/1281.03	c  N dy 39725   5888066      4257     85800         0    191024    429000  17923135    146.74    200.07
1287.42/1287.49	c  N dy 39866   5908087      4257     85800         0    211037    429000  22016805    146.75    164.42
1292.73/1292.78	c  N dy 39998   5928097      4257     85800         0    122071    429000   3727161    146.75    158.70
1297.53/1297.51	c  N dy 40130   5948201      4257     85800         0    142168    429000   7797981    146.75    156.21
1302.73/1302.72	c  N dy 40264   5968251      4257     85800         0    162213    429000  11808157    146.75    175.80
1308.53/1308.58	c  N dy 40409   5988315      4257     85800         0    182267    429000  15910809    146.76    160.63
1314.83/1314.82	c  N dy 40540   6008412      4257     85800         0    202359    429000  19985653    146.76    154.60
1321.23/1321.27	c  N dy 40672   6028455      4257     85800         0    112441    429000   1581065    146.76    159.33
1325.83/1325.81	c  N dy 40815   6048485      4257     85800         0    132465    429000   5658716    146.77    154.51
1330.83/1330.82	c  N dy 40948   6068573      4257     85800         0    152550    429000   9720565    146.77    154.90
1336.33/1336.35	c  N dy 41086   6088638      4257     85800         0    172608    429000  13806245    146.78    197.65
1342.33/1342.30	c  N dy 41215   6108806      4257     85800         0    192770    429000  17871355    146.78    160.19
1348.83/1348.80	c  N dy 41347   6128908      4257     85800         0    212866    429000  21930376    146.78    190.76
1354.33/1354.39	c  N dy 41478   6148931      4257     85800         0    121914    429000   3317331    146.78    160.78
1359.13/1359.19	c  N dy 41620   6168972      4257     85800         0    141950    429000   7375595    146.79    158.44
1364.53/1364.52	c  N dy 41769   6189215      4257     85800         0    162185    429000  11537308    146.80    160.55
1370.23/1370.28	c  N dy 41911   6209315      4257     85800         0    182277    429000  15607525    146.81    161.94
1376.43/1376.49	c  N dy 42051   6229356      4257     85800         0    202311    429000  19662091    146.81    156.57
1383.33/1383.36	c  N dy 42195   6249373      4257     85800         0    222320    429000  23801852    146.82    159.05
1388.14/1388.19	c  N dy 42331   6269377      4257     85800         0    130348    429000   4853448    146.83    155.89
1393.03/1393.05	c  N dy 42461   6289394      4257     85800         0    150360    429000   8908278    146.83    155.27
1398.44/1398.41	c  N dy 42596   6309432      4257     85800         0    170393    429000  12977654    146.84    155.41
1404.43/1404.49	c  N dy 42741   6329557      4257     85800         0    190515    429000  17065157    146.84    157.86
1411.03/1411.00	c  N dy 42883   6349575      4257     85800         0    210528    429000  21098652    146.84    156.46
1417.33/1417.38	c  N dy 43021   6369613      4257     85800         0    117603    429000   2062601    146.85    155.43
1421.93/1421.92	c  N dy 43149   6389669      4257     85800         0    137647    429000   6056694    146.84    156.61
1427.03/1427.06	c  N dy 43289   6409702      4257     85800         0    157674    429000  10119287    146.85    186.76
1432.63/1432.66	c  N dy 43417   6429811      4257     85800         0    177778    429000  14157293    146.84    160.85
1438.63/1438.67	c  N dy 43554   6449871      4257     85800         0    197832    429000  18205421    146.85    159.19
1445.34/1445.37	c  N dy 43693   6469968      4257     85800         0    217923    429000  22271052    146.85    157.68
1451.14/1451.15	c  N dy 43825   6489972      4257     85800         0    123948    429000   3142776    146.85    225.91
1455.93/1455.97	c  N dy 43965   6510051      4257     85800         0    144022    429000   7213406    146.86    163.86
1461.14/1461.13	c  N dy 44091   6530123      4257     85800         0    164088    429000  11284544    146.86    159.48
1467.03/1467.01	c  N dy 44228   6550249      4257     85800         0    184210    429000  15365729    146.86    154.76
1473.23/1473.20	c  N dy 44360   6570331      4257     85800         0    204285    429000  19348957    146.86    156.08
1479.84/1479.89	c  N dy 44494   6590335      4257     85800         0    224283    429000  23386796    146.86    156.94
1485.33/1485.30	c  N dy 44633   6610406      4257     85800         0    129378    429000   4070584    146.86    155.27
1490.24/1490.23	c  N dy 44776   6630416      4257     85800         0    149383    429000   8138080    146.87    158.46
1495.63/1495.62	c  N dy 44913   6650435      4257     85800         0    169396    429000  12177697    146.87    155.66
1501.55/1501.55	c  N dy 45054   6670472      4257     85800         0    189423    429000  16245690    146.88    173.45
1507.94/1507.93	c  N dy 45192   6690571      4257     85800         0    209506    429000  20276129    146.88    156.81
1515.03/1515.00	c  N dy 45338   6710816      4257     85800         0    229746    429000  24448372    146.89    157.34
1520.04/1520.03	c  N dy 45479   6730915      4257     85800         0    133878    429000   4768811    146.89    164.98
1525.13/1525.10	c  N dy 45613   6750931      4257     85800         0    153891    429000   8763955    146.89    156.19
1530.53/1530.58	c  N dy 45751   6771039      4257     85800         0    173993    429000  12830652    146.90    156.16
1536.54/1536.61	c  N dy 45885   6791244      4257     85800         0    194193    429000  16912115    146.90    155.34
1543.04/1543.08	c  N dy 46020   6811309      4257     85800         0    214254    429000  21021958    146.90    155.65
1550.34/1550.33	c  N dy 46162   6831362      4257     85800         0    117332    429000   1244353    146.91    174.21
1555.03/1555.06	c  N dy 46304   6851550      4257     85800         0    137513    429000   5338974    146.92    155.50
1560.14/1560.18	c  N dy 46442   6871618      4257     85800         0    157569    429000   9403402    146.92    158.19
1565.84/1565.87	c  N dy 46590   6891696      4257     85800         0    177638    429000  13491840    146.93    157.88
1572.04/1572.00	c  N dy 46724   6911805      4257     85800         0    197739    429000  17552726    146.93    154.84
1578.64/1578.67	c  N dy 46858   6931954      4257     85800         0    217883    429000  21621912    146.93    154.92
1585.54/1585.54	c  N dy 46987   6952083      4257     85800         0    120051    429000   1597108    146.93    156.67
1590.14/1590.14	c  N dy 47118   6972131      4257     85800         0    140092    429000   5626814    146.93    157.84
1595.34/1595.38	c  N dy 47255   6992200      4257     85800         0    160157    429000   9666237    146.93    156.33
1601.04/1601.02	c  N dy 47384   7012417      4257     85800         0    180368    429000  13782250    146.93    156.55
1607.24/1607.24	c  N dy 47528   7032480      4257     85800         0    200426    429000  17875001    146.94    159.43
1614.04/1614.04	c  N dy 47674   7052596      4257     85800         0    220529    429000  21983888    146.95    154.89
1620.94/1620.96	c  N dy 47808   7072654      4257     85800         0    121627    429000   1738480    146.95    164.40
1625.54/1625.55	c  N dy 47930   7092713      4257     85800         0    141678    429000   5784825    146.94    154.70
1630.84/1630.80	c  N dy 48064   7112739      4257     85800         0    161696    429000   9815229    146.94    160.85
1636.43/1636.40	c  N dy 48195   7132777      4257     85800         0    181730    429000  13859182    146.94    154.69
1642.54/1642.55	c  N dy 48332   7152793      4257     85800         0    201740    429000  17920426    146.94    155.70
1649.34/1649.30	c  N dy 48472   7172794      4257     85800         0    221738    429000  21940286    146.94    176.08
1656.55/1656.55	c  N dy 48615   7192986      4257     85800         0    121958    429000   1598087    146.94    156.55
1661.34/1661.33	c  N dy 48756   7213204      4257     85800         0    142169    429000   5687968    146.95    154.78
1666.56/1666.52	c  N dy 48898   7233213      4257     85800         0    162171    429000   9766475    146.95    154.98
1672.34/1672.31	c  N dy 49033   7253577      4257     85800         0    182527    429000  13898782    146.95    155.05
1678.54/1678.53	c  N dy 49170   7273621      4257     85800         0    202565    429000  17992597    146.96    172.48
1685.14/1685.18	c  N dy 49305   7293770      4257     85800         0    222708    429000  22027448    146.96    154.82
1692.35/1692.30	c  N dy 49436   7313868      4257     85800         0    121852    429000   1383311    146.96    156.18
1696.94/1696.93	c  N dy 49566   7333995      4257     85800         0    141971    429000   5430404    146.96    164.51
1702.04/1702.06	c  N dy 49708   7354024      4257     85800         0    161995    429000   9503960    146.96    155.11
1707.74/1707.77	c  N dy 49845   7374132      4257     85800         0    182095    429000  13548798    146.96    156.72
1714.04/1714.08	c  N dy 49989   7394157      4257     85800         0    202113    429000  17607504    146.97    167.60
1720.84/1720.83	c  N dy 50129   7414305      4257     85800         0    222253    429000  21727584    146.98    155.75
1728.05/1728.10	c  N dy 50268   7434834      4257     85800         0    242777    429000  25881126    146.98    155.37
1733.14/1733.15	c  N dy 50404   7454885      4257     85800         0    140862    429000   5059795    146.98    172.93
1738.34/1738.39	c  N dy 50544   7475255      4257     85800         0    161225    429000   9179779    146.99    158.38
1744.14/1744.10	c  N dy 50683   7495317      4257     85800         0    181281    429000  13254568    146.99    197.70
1750.34/1750.31	c  N dy 50818   7515488      4257     85800         0    201446    429000  17320496    146.99    157.38
1757.05/1757.02	c  N dy 50959   7535586      4257     85800         0    221532    429000  21423532    147.00    155.40
1764.14/1764.14	c  N dy 51093   7555610      4257     85800         0    241551    429000  25488860    147.00    156.85
1769.55/1769.57	c  N dy 51231   7575611      4257     85800         0    138575    429000   4401279    147.00    156.09
1774.74/1774.73	c  N dy 51369   7595708      4257     85800         0    158663    429000   8454931    147.01    154.92
1780.34/1780.31	c  N dy 51506   7615760      4257     85800         0    178711    429000  12508510    147.01    155.80
1786.54/1786.51	c  N dy 51650   7635843      4257     85800         0    198788    429000  16584381    147.02    155.06
1793.15/1793.18	c  N dy 51793   7655889      4257     85800         0    218829    429000  20676068    147.02    156.47
1800.35/1800.33	c  N dy 51936   7675914      4257     85800         0    238848    429000  24748584    147.03    158.17
1806.45/1806.43	c  N dy 52077   7696007      4257     85800         0    134975    429000   3492250    147.03    159.79
1811.55/1811.57	c  N dy 52222   7716201      4257     85800         0    155161    429000   7580976    147.03    154.97
1817.15/1817.15	c  N dy 52361   7736391      4257     85800         0    175348    429000  11673685    147.04    155.10
1823.24/1823.29	c  N dy 52503   7756533      4257     85800         0    195485    429000  15741804    147.04    161.62
1829.84/1829.85	c  N dy 52643   7776612      4257     85800         0    215557    429000  19847503    147.04    159.24
1836.74/1836.71	c  N dy 52775   7796681      4257     85800         0    235621    429000  23905346    147.04    157.03
1843.55/1843.52	c  N dy 52913   7816707      4257     85800         0    130673    429000   2420446    147.05    156.18
1848.45/1848.47	c  N dy 53052   7836765      4257     85800         0    150724    429000   6484776    147.05    155.31
1853.94/1853.91	c  N dy 53189   7856804      4257     85800         0    170755    429000  10548843    147.05    157.25
1859.84/1859.83	c  N dy 53325   7876906      4257     85800         0    190853    429000  14589909    147.05    158.68
1866.34/1866.32	c  N dy 53467   7897027      4257     85800         0    210971    429000  18661008    147.06    156.56
1873.36/1873.33	c  N dy 53602   7917180      4257     85800         0    231119    429000  22721389    147.06    155.11
1880.64/1880.66	c  N dy 53734   7937192      4257     85800         0    251122    429000  26735327    147.06    162.38
1885.65/1885.69	c  N dy 53872   7957210      4257     85800         0    145173    429000   5167564    147.06    155.69
1891.05/1891.02	c  N dy 54017   7977285      4257     85800         0    165241    429000   9250726    147.06    154.91
1896.75/1896.77	c  N dy 54150   7997407      4257     85800         0    185355    429000  13409685    147.07    160.48
1903.07/1903.01	c  N dy 54287   8017446      4257     85800         0    205388    429000  17467448    147.07    163.63
1909.75/1909.74	c  N dy 54424   8037472      4257     85800         0    225408    429000  21524785    147.07    157.54
1916.85/1916.89	c  N dy 54556   8057495      4257     85800         0    245427    429000  25568245    147.07    161.77
1922.95/1922.98	c  N dy 54695   8077557      4257     85800         0    138524    429000   3607438    147.08    158.22
1928.15/1928.12	c  N dy 54837   8097566      4257     85800         0    158529    429000   7706005    147.09    155.02
1933.76/1933.75	c  N dy 54978   8117767      4257     85800         0    178723    429000  11822173    147.09    155.28
1939.65/1939.67	c  N dy 55102   8137854      4257     85800         0    198803    429000  15875991    147.09    155.93
1946.35/1946.30	c  N dy 55237   8157872      4257     85800         0    218817    429000  19942817    147.09    158.39
1953.45/1953.49	c  N dy 55381   8177965      4257     85800         0    238905    429000  24031481    147.09    156.02
1960.75/1960.74	c  N dy 55517   8198048      4257     85800         0    131025    429000   1883115    147.09    154.97
1965.65/1965.62	c  N dy 55648   8218295      4257     85800         0    151263    429000   5938611    147.09    156.86
1971.05/1971.10	c  N dy 55791   8238341      4257     85800         0    171304    429000  10047010    147.10    156.90
1976.95/1976.99	c  N dy 55932   8258368      4257     85800         0    191328    429000  14091439    147.10    158.23
1983.55/1983.50	c  N dy 56070   8278477      4257     85800         0    211435    429000  18153976    147.09    155.03
1990.45/1990.46	c  N dy 56210   8298597      4257     85800         0    231553    429000  22228076    147.10    154.87
1997.56/1997.60	c  N dy 56341   8318703      4257     85800         0    251655    429000  26301878    147.10    160.39
2003.55/2003.52	c  N dy 56478   8338723      4257     85800         0    142707    429000   4053085    147.10    155.41
2008.75/2008.74	c  N dy 56617   8358734      4257     85800         0    162711    429000   8149254    147.11    155.75
2014.45/2014.42	c  N dy 56751   8378771      4257     85800         0    182742    429000  12228648    147.11    179.18
2020.85/2020.83	c  N dy 56896   8399235      4257     85800         0    203202    429000  16413306    147.12    156.24
2027.55/2027.59	c  N dy 57034   8419424      4257     85800         0    223384    429000  20539461    147.12    156.74
2034.75/2034.79	c  N dy 57171   8439715      4257     85800         0    243666    429000  24629726    147.12    156.63
2042.15/2042.15	c  N dy 57304   8459795      4257     85800         0    133774    429000   2080984    147.12    168.01
2047.17/2047.17	c  N dy 57438   8479849      4257     85800         0    153818    429000   6134461    147.13    174.76
2052.67/2052.69	c  N dy 57577   8499947      4257     85800         0    173906    429000  10249856    147.13    157.98
2058.75/2058.72	c  N dy 57723   8519967      4257     85800         0    193918    429000  14362057    147.14    156.83
2065.35/2065.31	c  N dy 57862   8540061      4257     85800         0    214007    429000  18439443    147.14    155.87
2072.25/2072.30	c  N dy 57996   8560253      4257     85800         0    234193    429000  22523843    147.14    162.02
2079.75/2079.77	c  N dy 58133   8580505      4257     85800         0    254441    429000  26617653    147.14    154.94
2085.76/2085.78	c  N dy 58269   8600610      4257     85800         0    143579    429000   3874455    147.15    156.86
2091.17/2091.15	c  N dy 58417   8620703      4257     85800         0    163663    429000   7960383    147.15    158.70
2096.85/2096.81	c  N dy 58553   8640807      4257     85800         0    183760    429000  12072320    147.15    159.18
2103.16/2103.19	c  N dy 58694   8660896      4257     85800         0    203841    429000  16150839    147.16    157.44
2109.87/2109.89	c  N dy 58833   8680977      4257     85800         0    223914    429000  20252075    147.17    157.28
2117.05/2117.03	c  N dy 58969   8700999      4257     85800         0    243930    429000  24371523    147.17    187.16
2124.86/2124.87	c  N dy 59104   8721102      4257     85800         0    132065    429000   1338454    147.17    156.90
2129.86/2129.80	c  N dy 59238   8741162      4257     85800         0    152121    429000   5379132    147.17    156.07
2135.17/2135.13	c  N dy 59367   8761281      4257     85800         0    172236    429000   9438751    147.17    160.20
2141.06/2141.09	c  N dy 59507   8781320      4257     85800         0    192267    429000  13565447    147.18    158.26
2147.55/2147.53	c  N dy 59639   8801324      4257     85800         0    212267    429000  17585456    147.18    155.11
2154.65/2154.64	c  N dy 59786   8821412      4257     85800         0    232342    429000  21679687    147.18    160.66
2161.95/2161.98	c  N dy 59917   8841554      4257     85800         0    252478    429000  25717138    147.18    158.18
2169.06/2169.02	c  N dy 60052   8861619      4257     85800         0    139585    429000   2671865    147.18    161.59
2174.16/2174.13	c  N dy 60190   8881713      4257     85800         0    159673    429000   6807130    147.19    155.27
2179.76/2179.76	c  N dy 60325   8901799      4257     85800         0    179753    429000  10848675    147.19    160.25
2185.96/2185.91	c  N dy 60463   8921899      4257     85800         0    199846    429000  14915606    147.19    163.66
2192.46/2192.49	c  N dy 60594   8942005      4257     85800         0    219951    429000  18966640    147.19    166.60
2199.45/2199.46	c  N dy 60725   8962063      4257     85800         0    240006    429000  23067244    147.19    158.00
2207.16/2207.15	c  N dy 60866   8982204      4257     85800         0    260140    429000  27143853    147.19    156.13
2213.56/2213.54	c  N dy 61013   9002297      4257     85800         0    146266    429000   3861459    147.20    156.04
2218.77/2218.77	c  N dy 61145   9022370      4257     85800         0    166329    429000   7961560    147.20    155.19
2224.56/2224.55	c  N dy 61279   9042470      4257     85800         0    186421    429000  12021454    147.20    156.16
2230.88/2230.86	c  N dy 61421   9062555      4257     85800         0    206498    429000  16081373    147.20    166.80
2237.75/2237.72	c  N dy 61564   9082626      4257     85800         0    226564    429000  20197055    147.21    155.09
2244.95/2244.94	c  N dy 61697   9102721      4257     85800         0    246649    429000  24258978    147.21    176.20
2252.66/2252.68	c  N dy 61845   9122777      4257     85800         0    266700    429000  28382521    147.22    155.81
2258.38/2258.39	c  N dy 61986   9142821      4257     85800         0    151785    429000   4756172    147.22    163.52
2263.87/2263.84	c  N dy 62127   9162828      4257     85800         0    171787    429000   8834374    147.22    155.79
2269.96/2269.93	c  N dy 62266   9183111      4257     85800         0    192065    429000  12942420    147.23    156.63
2276.26/2276.21	c  N dy 62397   9203177      4257     85800         0    212125    429000  16985688    147.23    155.84
2282.96/2282.92	c  N dy 62518   9223251      4257     85800         0    232195    429000  21020128    147.22    157.74
2290.28/2290.23	c  N dy 62652   9243275      4257     85800         0    252212    429000  25093989    147.22    169.99
2298.26/2298.23	c  N dy 62785   9263318      4257     85800         0    136295    429000   1427924    147.23    156.51
2303.26/2303.27	c  N dy 62926   9283428      4257     85800         0    156398    429000   5516207    147.23    155.52
2308.87/2308.90	c  N dy 63071   9303439      4257     85800         0    176406    429000   9590527    147.24    158.23
2314.96/2314.98	c  N dy 63210   9323461      4257     85800         0    196420    429000  13671202    147.24    162.11
2321.66/2321.62	c  N dy 63351   9343558      4257     85800         0    216511    429000  17752019    147.24    157.36
2328.66/2328.71	c  N dy 63491   9363658      4257     85800         0    236603    429000  21829654    147.24    163.87
2336.26/2336.29	c  N dy 63635   9383724      4257     85800         0    256661    429000  25910715    147.25    157.71
2344.07/2344.05	c  N dy 63775   9403785      4257     85800         0    139756    429000   1942335    147.25    156.56
2349.26/2349.23	c  N dy 63912   9423903      4257     85800         0    159859    429000   6026129    147.25    155.92
2354.96/2354.99	c  N dy 64058   9444033      4257     85800         0    179980    429000  10137183    147.26    158.39
2361.16/2361.13	c  N dy 64192   9464086      4257     85800         0    200025    429000  14214187    147.26    155.01
2367.76/2367.77	c  N dy 64327   9484193      4257     85800         0    220123    429000  18269635    147.26    157.17
2374.86/2374.86	c  N dy 64460   9504268      4257     85800         0    240192    429000  22387858    147.26    157.52
2382.36/2382.36	c  N dy 64595   9524289      4257     85800         0    260208    429000  26464190    147.26    157.63
2390.06/2390.02	c  N dy 64736   9544443      4257     85800         0    142408    429000   2280012    147.27    159.46
2395.17/2395.16	c  N dy 64869   9564482      4257     85800         0    162443    429000   6391069    147.27    156.63
2400.96/2400.91	c  N dy 65011   9584529      4257     85800         0    182484    429000  10500751    147.28    158.10
2407.16/2407.13	c  N dy 65146   9604542      4257     85800         0    202493    429000  14568747    147.29    158.74
2413.86/2413.80	c  N dy 65286   9624598      4257     85800         0    222546    429000  18684793    147.29    159.43
2421.07/2421.03	c  N dy 65422   9644630      4257     85800         0    242575    429000  22748802    147.29    159.75
2428.77/2428.73	c  N dy 65559   9664832      4257     85800         0    262770    429000  26852739    147.30    156.53
2436.36/2436.37	c  N dy 65697   9684895      4257     85800         0    143862    429000   2373867    147.30    164.43
2441.66/2441.68	c  N dy 65842   9705005      4257     85800         0    163963    429000   6510280    147.31    164.32
2447.47/2447.44	c  N dy 65980   9725043      4257     85800         0    183998    429000  10528730    147.31    156.92
2453.67/2453.63	c  N dy 66110   9745286      4257     85800         0    204235    429000  14590870    147.31    155.11
2460.17/2460.18	c  N dy 66242   9765349      4257     85800         0    224286    429000  18666862    147.31    158.34
2467.57/2467.53	c  N dy 66382   9785423      4257     85800         0    244353    429000  22749733    147.31    168.75
2475.09/2475.06	c  N dy 66508   9805427      4257     85800         0    264352    429000  26796282    147.31    155.10
2482.78/2482.72	c  N dy 66645   9825432      4257     85800         0    144400    429000   2293395    147.31    155.38
2487.87/2487.88	c  N dy 66777   9845450      4257     85800         0    164408    429000   6339413    147.31    160.51
2493.78/2493.74	c  N dy 66924   9865603      4257     85800         0    184554    429000  10458297    147.31    159.91
2500.07/2500.04	c  N dy 67067   9885643      4257     85800         0    204588    429000  14536431    147.32    155.29
2506.99/2506.95	c  N dy 67213   9905722      4257     85800         0    224653    429000  18645452    147.32    176.79
2514.17/2514.10	c  N dy 67347   9925765      4257     85800         0    244687    429000  22730811    147.33    158.61
2521.87/2521.81	c  N dy 67488   9945868      4257     85800         0    264783    429000  26835009    147.33    156.53
2529.76/2529.75	c  N dy 67622   9965903      4257     85800         0    143866    429000   2000161    147.34    157.69
2534.96/2534.94	c  N dy 67756   9985967      4257     85800         0    163921    429000   6047686    147.33    155.64
2540.76/2540.76	c  N dy 67900  10006038      4257     85800         0    183986    429000  10104784    147.34    156.39
2547.06/2547.06	c  N dy 68042  10026075      4257     85800         0    204017    429000  14181274    147.34    157.71
2553.87/2553.88	c  N dy 68184  10046091      4257     85800         0    224020    429000  18238253    147.34    156.35
2561.17/2561.18	c  N dy 68324  10066151      4257     85800         0    244073    429000  22344778    147.35    156.92
2568.87/2568.88	c  N dy 68464  10086208      4257     85800         0    264123    429000  26462492    147.35    155.48
2577.27/2577.27	c  N dy 68604  10106269      4257     85800         0    142226    429000   1477729    147.36    174.55
2582.46/2582.46	c  N dy 68747  10126293      4257     85800         0    162244    429000   5581428    147.36    178.29
2588.17/2588.13	c  N dy 68882  10146344      4257     85800         0    182289    429000   9651236    147.37    196.19
2594.36/2594.30	c  N dy 69018  10166405      4257     85800         0    202346    429000  13760924    147.37    158.75
2600.86/2600.88	c  N dy 69147  10186410      4257     85800         0    222345    429000  17800018    147.37    186.45
2608.19/2608.16	c  N dy 69287  10206536      4257     85800         0    242466    429000  21946061    147.38    155.85
2615.97/2615.91	c  N dy 69428  10226636      4257     85800         0    262557    429000  26019187    147.38    155.93
2624.27/2624.22	c  N dy 69570  10246728      4257     85800         0    282641    429000  30187935    147.39    158.50
2630.07/2630.07	c  N dy 69709  10266752      4257     85800         0    159705    429000   4839219    147.39    164.81
2635.57/2635.52	c  N dy 69837  10286868      4257     85800         0    179813    429000   8920025    147.39    158.05
2641.77/2641.78	c  N dy 69977  10307037      4257     85800         0    199972    429000  13030914    147.39    158.95
2648.27/2648.29	c  N dy 70103  10327078      4257     85800         0    220005    429000  17050554    147.39    158.27
2655.38/2655.35	c  N dy 70234  10347219      4257     85800         0    240142    429000  21132381    147.39    159.10
2662.97/2662.90	c  N dy 70370  10367248      4257     85800         0    260163    429000  25204172    147.39    159.79
2671.07/2671.09	c  N dy 70506  10387380      4257     85800         0    280288    429000  29299251    147.39    155.36
2677.57/2677.57	c  N dy 70640  10407404      4257     85800         0    156365    429000   3961005    147.39    156.27
2683.17/2683.10	c  N dy 70778  10427578      4257     85800         0    176533    429000   8059748    147.39    160.99
2689.07/2689.03	c  N dy 70913  10447595      4257     85800         0    196543    429000  12095743    147.39    157.00
2695.57/2695.59	c  N dy 71055  10467655      4257     85800         0    216600    429000  16160347    147.39    168.10
2702.68/2702.67	c  N dy 71193  10487698      4257     85800         0    236637    429000  20223968    147.40    176.05
2710.17/2710.17	c  N dy 71334  10507701      4257     85800         0    256636    429000  24332506    147.40    180.73
2717.97/2717.91	c  N dy 71462  10527709      4257     85800         0    276639    429000  28423203    147.40    166.61
2725.37/2725.38	c  N dy 71600  10547770      4257     85800         0    151731    429000   2819186    147.40    157.97
2730.77/2730.77	c  N dy 71729  10567830      4257     85800         0    171787    429000   6896757    147.40    155.62
2736.68/2736.67	c  N dy 71870  10587891      4257     85800         0    191843    429000  11003335    147.41    162.11
2743.17/2743.14	c  N dy 72010  10607898      4257     85800         0    211847    429000  15107968    147.41    176.99
2750.09/2750.05	c  N dy 72145  10627939      4257     85800         0    231881    429000  19147086    147.41    164.46
2757.58/2757.56	c  N dy 72285  10648145      4257     85800         0    252076    429000  23282699    147.41    155.67
2765.68/2765.65	c  N dy 72421  10668365      4257     85800         0    272290    429000  27435620    147.41    163.40
2774.37/2774.30	c  N dy 72559  10688461      4257     85800         0    146426    429000   1547753    147.42    156.86
2779.57/2779.59	c  N dy 72695  10708471      4257     85800         0    166429    429000   5601475    147.42    155.47
2785.29/2785.26	c  N dy 72828  10728625      4257     85800         0    186575    429000   9678483    147.42    160.12
2791.67/2791.61	c  N dy 72967  10748672      4257     85800         0    206619    429000  13733526    147.42    158.37
2798.27/2798.21	c  N dy 73095  10768732      4257     85800         0    226675    429000  17823261    147.42    155.39
2805.67/2805.61	c  N dy 73236  10788940      4257     85800         0    246874    429000  21930328    147.42    155.66
2813.37/2813.35	c  N dy 73374  10809007      4257     85800         0    266933    429000  26084486    147.43    156.57
2821.38/2821.33	c  N dy 73498  10829032      4257     85800         0    286956    429000  30143629    147.42    155.63
2827.87/2827.85	c  N dy 73627  10849118      4257     85800         0    160081    429000   4131431    147.42    155.80
2833.37/2833.36	c  N dy 73756  10869126      4257     85800         0    180085    429000   8187434    147.42    172.78
2839.57/2839.50	c  N dy 73900  10889161      4257     85800         0    200110    429000  12224514    147.43    155.28
2846.07/2846.05	c  N dy 74025  10909408      4257     85800         0    220353    429000  16272645    147.42    158.45
2853.27/2853.29	c  N dy 74169  10929492      4257     85800         0    240429    429000  20377611    147.43    161.81
2860.97/2860.97	c  N dy 74306  10949627      4257     85800         0    260554    429000  24444903    147.43    155.59
2869.18/2869.13	c  N dy 74445  10970007      4257     85800         0    280930    429000  28630973    147.43    158.40
2877.17/2877.12	c  N dy 74584  10990193      4257     85800         0    153159    429000   2524761    147.43    155.70
2882.48/2882.49	c  N dy 74721  11010217      4257     85800         0    173177    429000   6572194    147.43    156.93
2888.47/2888.41	c  N dy 74857  11030346      4257     85800         0    193303    429000  10700337    147.44    157.66
2894.88/2894.80	c  N dy 74991  11050356      4257     85800         0    213309    429000  14825056    147.44    160.99
2901.68/2901.67	c  N dy 75130  11070394      4257     85800         0    233340    429000  18897882    147.44    161.34
2909.28/2909.25	c  N dy 75269  11090715      4257     85800         0    253657    429000  23058889    147.45    155.65
2917.29/2917.28	c  N dy 75411  11110779      4257     85800         0    273715    429000  27158424    147.45    160.89
2925.67/2925.68	c  N dy 75546  11130865      4257     85800         0    293794    429000  31228332    147.45    157.23
2931.97/2931.97	c  N dy 75684  11150881      4257     85800         0    164843    429000   4719163    147.46    162.91
2937.68/2937.61	c  N dy 75819  11170931      4257     85800         0    184887    429000   8782357    147.46    156.88
2943.97/2943.92	c  N dy 75965  11190982      4257     85800         0    204933    429000  12895997    147.46    157.67
2950.67/2950.62	c  N dy 76105  11211049      4257     85800         0    224996    429000  16966880    147.47    175.11
2957.58/2957.58	c  N dy 76230  11231154      4257     85800         0    245093    429000  21023178    147.46    158.31
2965.37/2965.32	c  N dy 76372  11251206      4257     85800         0    265132    429000  25129692    147.47    158.63
2973.48/2973.49	c  N dy 76513  11271273      4257     85800         0    285193    429000  29246841    147.47    179.59
2981.38/2981.31	c  N dy 76643  11291341      4257     85800         0    155297    429000   2596645    147.47    190.86
2986.78/2986.79	c  N dy 76779  11311385      4257     85800         0    175333    429000   6667073    147.48    173.92
2992.78/2992.74	c  N dy 76915  11331475      4257     85800         0    195421    429000  10740662    147.48    157.37
2999.18/2999.16	c  N dy 77049  11351572      4257     85800         0    215510    429000  14823771    147.47    157.64
3006.28/3006.30	c  N dy 77195  11371622      4257     85800         0    235545    429000  18937740    147.48    159.64
3013.78/3013.71	c  N dy 77333  11391739      4257     85800         0    255654    429000  23010333    147.48    158.96
3021.69/3021.63	c  N dy 77467  11411789      4257     85800         0    275698    429000  27089173    147.48    156.25
3030.08/3030.07	c  N dy 77605  11431828      4257     85800         0    295733    429000  31152497    147.48    156.02
3036.48/3036.50	c  N dy 77733  11451906      4257     85800         0    164864    429000   4357268    147.48    183.29
3042.18/3042.16	c  N dy 77873  11471945      4257     85800         0    184891    429000   8448543    147.49    204.59
3048.38/3048.36	c  N dy 78014  11491989      4257     85800         0    204930    429000  12537312    147.49    155.86
3055.08/3055.02	c  N dy 78148  11512023      4257     85800         0    224961    429000  16619374    147.49    155.88
3062.28/3062.24	c  N dy 78288  11532037      4257     85800         0    244969    429000  20730678    147.49    162.91
3069.98/3069.96	c  N dy 78425  11552091      4257     85800         0    265013    429000  24773298    147.50    156.93
3077.98/3077.95	c  N dy 78556  11572115      4257     85800         0    285030    429000  28847990    147.50    158.54
3086.70/3086.61	c  N dy 78690  11592343      4257     85800         0    153299    429000   1790431    147.50    155.81
3091.98/3091.93	c  N dy 78821  11612406      4257     85800         0    173349    429000   5890040    147.50    155.27
3097.98/3097.90	c  N dy 78965  11632438      4257     85800         0    193375    429000   9964569    147.50    158.31
3104.38/3104.33	c  N dy 79101  11652521      4257     85800         0    213451    429000  13989708    147.50    155.77
3111.39/3111.32	c  N dy 79237  11672641      4257     85800         0    233567    429000  18069387    147.50    160.33
3118.99/3118.91	c  N dy 79381  11692757      4257     85800         0    253674    429000  22158096    147.51    160.00
3126.89/3126.83	c  N dy 79517  11712844      4257     85800         0    273753    429000  26219247    147.51    162.28
3135.38/3135.30	c  N dy 79658  11732955      4257     85800         0    293854    429000  30333243    147.51    155.53
3142.98/3142.96	c  N dy 79797  11753016      4257     85800         0    160965    429000   3178420    147.51    167.04
3148.69/3148.66	c  N dy 79936  11773087      4257     85800         0    181032    429000   7269084    147.51    155.55
3154.79/3154.79	c  N dy 80078  11793103      4257     85800         0    201045    429000  11330855    147.51    168.80
3161.50/3161.42	c  N dy 80214  11813151      4257     85800         0    221087    429000  15413285    147.52    158.58
3168.69/3168.61	c  N dy 80356  11833226      4257     85800         0    241157    429000  19471152    147.52    164.01
3176.29/3176.25	c  N dy 80500  11853256      4257     85800         0    261177    429000  23582267    147.52    158.67
3184.49/3184.45	c  N dy 80639  11873334      4257     85800         0    281251    429000  27646144    147.53    201.44
3193.19/3193.10	c  N dy 80785  11893411      4257     85800         0    301318    429000  31778148    147.53    155.42
3199.90/3199.84	c  N dy 80925  11913510      4257     85800         0    167469    429000   4297633    147.53    165.37
3205.51/3205.49	c  N dy 81055  11933522      4257     85800         0    187475    429000   8333370    147.53    210.84
3211.89/3211.81	c  N dy 81192  11953616      4257     85800         0    207566    429000  12405582    147.53    157.39
3218.70/3218.69	c  N dy 81332  11973659      4257     85800         0    227607    429000  16481137    147.53    159.78
3225.98/3225.96	c  N dy 81475  11993777      4257     85800         0    247723    429000  20583664    147.54    157.69
3233.69/3233.66	c  N dy 81616  12013883      4257     85800         0    267820    429000  24729321    147.54    156.81
3241.89/3241.88	c  N dy 81750  12033937      4257     85800         0    287868    429000  28800540    147.54    156.66
3250.89/3250.86	c  N dy 81897  12053986      4257     85800         0    307904    429000  32918448    147.55    156.08
3256.98/3257.01	c  N dy 82043  12074156      4257     85800         0    173118    429000   5292234    147.55    155.62
3262.99/3262.97	c  N dy 82181  12094222      4257     85800         0    193180    429000   9366632    147.55    155.44
3269.48/3269.43	c  N dy 82321  12114264      4257     85800         0    213217    429000  13444928    147.56    179.55
3276.28/3276.25	c  N dy 82455  12134275      4257     85800         0    233224    429000  17542052    147.56    156.01
3283.69/3283.67	c  N dy 82591  12154306      4257     85800         0    253249    429000  21592520    147.56    156.90
3291.48/3291.45	c  N dy 82723  12174363      4257     85800         0    273300    429000  25622308    147.56    165.70
3299.99/3300.00	c  N dy 82862  12194507      4257     85800         0    293435    429000  29690730    147.56    159.25
3308.91/3308.81	c  N dy 82997  12214597      4257     85800         0    157564    429000   1880187    147.56    157.93
3314.40/3314.33	c  N dy 83137  12234693      4257     85800         0    177654    429000   6022285    147.56    159.09
3320.29/3320.25	c  N dy 83274  12254703      4257     85800         0    197656    429000  10091058    147.57    158.31
3326.68/3326.61	c  N dy 83402  12274784      4257     85800         0    217724    429000  14201884    147.57    155.66
3333.59/3333.55	c  N dy 83531  12294831      4257     85800         0    237764    429000  18203663    147.57    155.77
3341.19/3341.15	c  N dy 83672  12314864      4257     85800         0    257791    429000  22277015    147.57    157.45
3349.19/3349.13	c  N dy 83809  12334876      4257     85800         0    277797    429000  26379568    147.58    155.55
3357.59/3357.55	c  N dy 83945  12354977      4257     85800         0    297895    429000  30496551    147.58    159.04
3366.11/3366.07	c  N dy 84080  12374991      4257     85800         0    160955    429000   2373524    147.58    188.75
3371.79/3371.70	c  N dy 84220  12395001      4257     85800         0    180955    429000   6437138    147.58    158.04
3377.89/3377.81	c  N dy 84358  12415026      4257     85800         0    200974    429000  10493116    147.58    158.12
3384.59/3384.58	c  N dy 84503  12435075      4257     85800         0    221017    429000  14590100    147.58    156.11
3391.79/3391.73	c  N dy 84642  12455173      4257     85800         0    241106    429000  18713421    147.58    178.91
3399.39/3399.33	c  N dy 84780  12475210      4257     85800         0    261138    429000  22809879    147.59    156.95
3407.59/3407.59	c  N dy 84924  12495260      4257     85800         0    281179    429000  26903578    147.59    186.36
3416.19/3416.12	c  N dy 85065  12515311      4257     85800         0    301225    429000  31000001    147.59    158.97
3424.59/3424.52	c  N dy 85204  12535339      4257     85800         0    163300    429000   2660372    147.60    166.86
3430.29/3430.25	c  N dy 85346  12555456      4257     85800         0    183411    429000   6778927    147.60    158.11
3436.51/3436.42	c  N dy 85481  12575569      4257     85800         0    203520    429000  10830723    147.60    157.78
3443.11/3443.07	c  N dy 85614  12595643      4257     85800         0    223582    429000  14873655    147.60    157.00
3450.29/3450.28	c  N dy 85754  12615716      4257     85800         0    243650    429000  18983966    147.60    159.57
3458.10/3458.06	c  N dy 85900  12635936      4257     85800         0    263866    429000  23113998    147.61    159.96
3466.30/3466.28	c  N dy 86040  12655961      4257     85800         0    283888    429000  27215804    147.61    159.35
3475.09/3475.00	c  N dy 86177  12675994      4257     85800         0    303913    429000  31274540    147.61    157.40
3483.19/3483.18	c  N dy 86306  12696115      4257     85800         0    165073    429000   2842581    147.61    156.15
3488.89/3488.88	c  N dy 86440  12716286      4257     85800         0    185232    429000   6952104    147.61    156.11
3494.99/3494.91	c  N dy 86570  12736299      4257     85800         0    205240    429000  10959140    147.61    157.28
3501.49/3501.45	c  N dy 86707  12756310      4257     85800         0    225243    429000  15020659    147.61    157.16
3508.79/3508.74	c  N dy 86849  12776318      4257     85800         0    245244    429000  19056250    147.61    170.73
3516.50/3516.47	c  N dy 86990  12796419      4257     85800         0    265336    429000  23138689    147.61    156.34
3524.79/3524.80	c  N dy 87137  12816457      4257     85800         0    285369    429000  27218597    147.62    157.51
3533.49/3533.44	c  N dy 87269  12836559      4257     85800         0    305465    429000  31332023    147.62    174.55
3541.89/3541.89	c  N dy 87407  12856625      4257     85800         0    165580    429000   2737678    147.62    156.59
3547.79/3547.72	c  N dy 87552  12876818      4257     85800         0    185770    429000   6865507    147.62    157.57
3553.99/3553.91	c  N dy 87688  12896822      4257     85800         0    205765    429000  10930100    147.63    156.64
3560.60/3560.51	c  N dy 87822  12917014      4257     85800         0    225951    429000  15044766    147.63    156.78
3567.90/3567.83	c  N dy 87967  12937167      4257     85800         0    246098    429000  19198457    147.63    156.97
3575.60/3575.50	c  N dy 88103  12957168      4257     85800         0    266090    429000  23263367    147.63    155.86
3584.00/3583.94	c  N dy 88250  12977234      4257     85800         0    286153    429000  27361107    147.64    174.46
3592.72/3592.63	c  N dy 88390  12997259      4257     85800         0    306173    429000  31469693    147.64    159.69
3601.10/3601.02	c  N dy 88523  13017323      4257     85800         0    165290    429000   2497407    147.64    156.49
3606.70/3606.61	c  N dy 88652  13037438      4257     85800         0    185395    429000   6592563    147.64    155.55
3612.79/3612.76	c  N dy 88791  13057444      4257     85800         0    205397    429000  10699890    147.65    159.56
3619.50/3619.43	c  N dy 88928  13077543      4257     85800         0    225487    429000  14833946    147.65    168.40
3626.81/3626.73	c  N dy 89065  13097714      4257     85800         0    245653    429000  18955860    147.65    160.53
3634.52/3634.44	c  N dy 89206  13117866      4257     85800         0    265798    429000  23049917    147.65    156.82
3639.59/3639.59	c  F st 89292  13130469      4257     85800         0    278393    429000  25614242    147.65   no data
3642.10/3642.10	c  N dy 89314  13137890      4257     85800         0    285807    429000  27365984    147.65    156.35
3651.01/3650.97	c  N dy 89455  13157977      4257     85800         0    305889    429000  31497826    147.66    158.93
3660.00/3659.97	c  N dy 89593  13178054      4257     85800         0    164010    429000   2034694    147.66    157.92
3665.60/3665.59	c  N dy 89729  13198131      4257     85800         0    184081    429000   6118632    147.66    155.77
3671.80/3671.75	c  N dy 89866  13218266      4257     85800         0    204212    429000  10197631    147.66    157.76
3678.41/3678.39	c  N dy 89999  13238317      4257     85800         0    224259    429000  14298818    147.67    155.96
3685.59/3685.56	c  N dy 90136  13258364      4257     85800         0    244303    429000  18383349    147.67    171.06
3693.20/3693.17	c  N dy 90267  13278419      4257     85800         0    264355    429000  22427627    147.67    157.22
3701.40/3701.31	c  N dy 90405  13298471      4257     85800         0    284403    429000  26552735    147.67    179.03
3710.10/3710.08	c  N dy 90549  13318611      4257     85800         0    304540    429000  30704951    147.68    159.35
3719.50/3719.44	c  N dy 90693  13338711      4257     85800         0    324632    429000  34867371    147.68    160.10
3725.71/3725.68	c  N dy 90837  13358864      4257     85800         0    181834    429000   5502551    147.68    158.27
3731.80/3731.75	c  N dy 90971  13378939      4257     85800         0    201904    429000   9554897    147.68    160.78
3738.30/3738.27	c  N dy 91103  13398952      4257     85800         0    221914    429000  13627212    147.68    157.27
3745.40/3745.30	c  N dy 91234  13418983      4257     85800         0    241942    429000  17690785    147.68    155.79
3753.11/3753.07	c  N dy 91375  13439094      4257     85800         0    262046    429000  21833859    147.69    155.65
3761.40/3761.35	c  N dy 91517  13459202      4257     85800         0    282147    429000  25923474    147.69    157.98
3770.20/3770.13	c  N dy 91659  13479280      4257     85800         0    302214    429000  30016191    147.70    164.36
3779.41/3779.39	c  N dy 91802  13499339      4257     85800         0    322264    429000  34144263    147.70    161.70
3786.40/3786.38	c  N dy 91935  13519355      4257     85800         0    178330    429000   4588047    147.70    190.33
3792.40/3792.34	c  N dy 92072  13539481      4257     85800         0    198452    429000   8647822    147.70    159.43
3798.90/3798.86	c  N dy 92212  13559484      4257     85800         0    218451    429000  12773629    147.70    159.03
3805.90/3805.88	c  N dy 92348  13579541      4257     85800         0    238503    429000  16848950    147.71    164.41
3813.30/3813.29	c  N dy 92478  13599598      4257     85800         0    258556    429000  20859497    147.70    155.57
3821.52/3821.43	c  N dy 92613  13619659      4257     85800         0    278608    429000  24905709    147.70    155.68
3830.32/3830.22	c  N dy 92761  13639681      4257     85800         0    298623    429000  28980378    147.71    161.23
3839.41/3839.31	c  N dy 92900  13659787      4257     85800         0    318721    429000  33113561    147.71    157.34
3847.30/3847.29	c  N dy 93038  13679884      4257     85800         0    173848    429000   3476666    147.71    155.92
3853.20/3853.14	c  N dy 93171  13699919      4257     85800         0    193875    429000   7607934    147.71    219.70
3859.71/3859.65	c  N dy 93315  13719939      4257     85800         0    213889    429000  11712998    147.72    177.71
3866.70/3866.68	c  N dy 93458  13740079      4257     85800         0    234019    429000  15835192    147.72    157.18
3874.00/3873.94	c  N dy 93590  13760095      4257     85800         0    254031    429000  19905404    147.72    196.26
3881.91/3881.86	c  N dy 93728  13780110      4257     85800         0    274040    429000  23952143    147.72    192.99
3890.41/3890.39	c  N dy 93871  13800165      4257     85800         0    294084    429000  28068441    147.72    164.65
3899.41/3899.32	c  N dy 94009  13820216      4257     85800         0    314129    429000  32145544    147.72    158.41
3908.80/3908.78	c  N dy 94154  13840503      4257     85800         0    168461    429000   2171929    147.73    157.77
3914.61/3914.59	c  N dy 94291  13860575      4257     85800         0    188525    429000   6309676    147.73    164.23
3920.91/3920.86	c  N dy 94425  13880774      4257     85800         0    208721    429000  10365643    147.73    156.73
3927.71/3927.65	c  N dy 94557  13901004      4257     85800         0    228948    429000  14494452    147.73    160.66
3935.01/3934.97	c  N dy 94694  13921333      4257     85800         0    249274    429000  18637729    147.73    156.87
3942.91/3942.80	c  N dy 94834  13941358      4257     85800         0    269293    429000  22730760    147.73    163.61
3951.22/3951.16	c  N dy 94970  13961379      4257     85800         0    289305    429000  26836808    147.74    156.27
3959.91/3959.90	c  N dy 95104  13981406      4257     85800         0    309324    429000  30933779    147.74    161.92
3969.30/3969.24	c  N dy 95239  14001578      4257     85800         0    329494    429000  35090028    147.74    156.50
3976.21/3976.16	c  N dy 95382  14021654      4257     85800         0    182612    429000   4935361    147.75    155.93
3982.31/3982.24	c  N dy 95518  14041748      4257     85800         0    202700    429000   9093735    147.75    156.64
3989.11/3989.06	c  N dy 95661  14061865      4257     85800         0    222812    429000  13166158    147.75    159.46
3996.31/3996.25	c  N dy 95799  14081910      4257     85800         0    242847    429000  17245403    147.76    157.09
4004.02/4003.97	c  N dy 95942  14102046      4257     85800         0    262978    429000  21360010    147.76    155.98
4012.11/4012.04	c  N dy 96074  14122143      4257     85800         0    283070    429000  25458368    147.76    155.94
4020.81/4020.73	c  N dy 96211  14142168      4257     85800         0    303090    429000  29540338    147.76    159.55
4030.01/4029.98	c  N dy 96347  14162170      4257     85800         0    323084    429000  33620873    147.77    156.73
4038.51/4038.44	c  N dy 96492  14182184      4257     85800         0    175141    429000   3156829    147.77    158.26
4044.51/4044.40	c  N dy 96630  14202274      4257     85800         0    195224    429000   7230691    147.77    155.65
4051.11/4051.05	c  N dy 96774  14222407      4257     85800         0    215350    429000  11389588    147.77    158.33
4057.91/4057.84	c  N dy 96904  14242544      4257     85800         0    235481    429000  15429006    147.77    156.93
4065.21/4065.15	c  N dy 97033  14262609      4257     85800         0    255537    429000  19535523    147.77    174.72
4073.11/4073.03	c  N dy 97165  14282729      4257     85800         0    275649    429000  23629137    147.77    159.08
4081.52/4081.46	c  N dy 97307  14302820      4257     85800         0    295738    429000  27788482    147.78    155.74
4090.61/4090.53	c  N dy 97453  14322901      4257     85800         0    315814    429000  31917264    147.78    158.61
4100.01/4099.98	c  N dy 97595  14342926      4257     85800         0    335836    429000  36037463    147.79    171.67
4106.32/4106.28	c  N dy 97730  14362928      4257     85800         0    186883    429000   5334072    147.79    163.59
4112.51/4112.48	c  N dy 97867  14383000      4257     85800         0    206947    429000   9442510    147.79    174.18
4119.31/4119.23	c  N dy 98008  14403146      4257     85800         0    227089    429000  13561175    147.79    158.91
4126.51/4126.42	c  N dy 98144  14423203      4257     85800         0    247139    429000  17678109    147.79    163.65
4134.12/4134.08	c  N dy 98280  14443267      4257     85800         0    267199    429000  21788549    147.80    158.98
4142.41/4142.32	c  N dy 98416  14463287      4257     85800         0    287213    429000  25863606    147.80    160.34
4151.12/4151.07	c  N dy 98555  14483306      4257     85800         0    307224    429000  29927746    147.80    155.94
4160.51/4160.40	c  N dy 98694  14503390      4257     85800         0    327304    429000  34040889    147.80    156.42
4169.13/4169.03	c  N dy 98838  14523589      4257     85800         0    177551    429000   3261211    147.80    155.86
4175.11/4175.03	c  N dy 98972  14543760      4257     85800         0    197715    429000   7353736    147.81    157.67
4181.72/4181.66	c  N dy 99115  14563819      4257     85800         0    217769    429000  11450900    147.81    155.67
4188.61/4188.57	c  N dy 99247  14583839      4257     85800         0    237781    429000  15522787    147.81    166.11
4196.12/4196.09	c  N dy 99381  14603845      4257     85800         0    257776    429000  19583890    147.81    155.94
4204.02/4203.99	c  N dy 99514  14623884      4257     85800         0    277806    429000  23635706    147.81    160.01
4212.62/4212.59	c  N dy 99657  14643963      4257     85800         0    297880    429000  27715547    147.81    164.52
4221.82/4221.73	c  N dy 99798  14664020      4257     85800         0    317926    429000  31848502    147.81    158.38
4231.52/4231.40	c  N dy 99933  14684091      4257     85800         0    337989    429000  35900233    147.81    157.81
4238.33/4238.26	c  N dy100064  14704160      4257     85800         0    187107    429000   4994165    147.81    189.13
4244.51/4244.50	c  N dy100203  14724218      4257     85800         0    207162    429000   9092036    147.81    157.14
4251.42/4251.32	c  N dy100344  14744470      4257     85800         0    227409    429000  13223889    147.82    155.81
4258.72/4258.68	c  N dy100489  14764493      4257     85800         0    247422    429000  17320865    147.82    157.17
4266.52/4266.44	c  N dy100628  14784519      4257     85800         0    267445    429000  21400550    147.82    157.70
4274.62/4274.61	c  N dy100769  14804612      4257     85800         0    287532    429000  25541352    147.83    156.47
4283.42/4283.38	c  N dy100905  14824711      4257     85800         0    307623    429000  29599906    147.83    191.03
4292.92/4292.81	c  N dy101047  14844814      4257     85800         0    327720    429000  33690829    147.83    159.56
4302.01/4301.98	c  N dy101183  14865005      4257     85800         0    175967    429000   2544749    147.83    156.49
4308.02/4307.90	c  N dy101318  14885045      4257     85800         0    196001    429000   6565473    147.83    159.18
4314.33/4314.28	c  N dy101449  14905060      4257     85800         0    216005    429000  10619817    147.83    157.27
4321.32/4321.25	c  N dy101585  14925206      4257     85800         0    236144    429000  14727230    147.83    157.70
4328.92/4328.82	c  N dy101724  14945257      4257     85800         0    256192    429000  18806747    147.83    156.57
4336.81/4336.79	c  N dy101861  14965356      4257     85800         0    276282    429000  22908234    147.84    167.44
4345.62/4345.52	c  N dy102006  14985449      4257     85800         0    296368    429000  27024650    147.84    190.97
4354.72/4354.69	c  N dy102149  15005599      4257     85800         0    316512    429000  31198016    147.84    157.63
4364.31/4364.28	c  N dy102292  15025818      4257     85800         0    336721    429000  35319185    147.84    156.34
4372.32/4372.22	c  N dy102420  15045937      4257     85800         0    183892    429000   3968514    147.84    155.64
4378.32/4378.28	c  N dy102557  15065976      4257     85800         0    203926    429000   8029092    147.84    160.03
4385.12/4385.08	c  N dy102699  15086016      4257     85800         0    223954    429000  12140755    147.85    165.22
4392.43/4392.33	c  N dy102838  15106113      4257     85800         0    244044    429000  16241807    147.85    155.68
4399.92/4399.84	c  N dy102967  15126178      4257     85800         0    264103    429000  20297378    147.85    156.05
4408.12/4408.00	c  N dy103101  15146249      4257     85800         0    284166    429000  24384759    147.85    162.15
4416.82/4416.75	c  N dy103244  15166329      4257     85800         0    304240    429000  28459774    147.85    159.52
4426.02/4425.97	c  N dy103389  15186504      4257     85800         0    324408    429000  32618876    147.86    157.12
4436.13/4436.03	c  N dy103534  15206659      4257     85800         0    344560    429000  36752454    147.86    162.67
4442.93/4442.91	c  N dy103673  15226857      4257     85800         0    190806    429000   5149665    147.86    157.95
4449.32/4449.22	c  N dy103809  15246897      4257     85800         0    210839    429000   9220762    147.86    158.89
4456.24/4456.15	c  N dy103953  15266984      4257     85800         0    230919    429000  13331748    147.87    157.99
4463.62/4463.53	c  N dy104097  15286996      4257     85800         0    250927    429000  17447466    147.87    156.21
4471.53/4471.50	c  N dy104242  15307093      4257     85800         0    271017    429000  21579902    147.87    160.49
4479.93/4479.83	c  N dy104382  15327188      4257     85800         0    291103    429000  25681047    147.88    168.59
4489.03/4488.93	c  N dy104535  15347247      4257     85800         0    311154    429000  29797589    147.88    158.02
4498.52/4498.47	c  N dy104675  15367350      4257     85800         0    331252    429000  33916563    147.88    157.64
4508.42/4508.33	c  N dy104817  15387379      4257     85800         0    176334    429000   2032215    147.88    158.88
4514.54/4514.46	c  N dy104967  15407477      4257     85800         0    196424    429000   6146822    147.89    176.14
4521.04/4520.99	c  N dy105113  15427482      4257     85800         0    216419    429000  10270323    147.89    157.08
4527.82/4527.73	c  N dy105241  15447546      4257     85800         0    236478    429000  14369827    147.89    156.98
4535.22/4535.15	c  N dy105378  15467583      4257     85800         0    256509    429000  18452490    147.89    158.67
4543.22/4543.12	c  N dy105511  15487606      4257     85800         0    276528    429000  22447645    147.89    177.89
4551.72/4551.62	c  N dy105650  15507679      4257     85800         0    296593    429000  26514133    147.89    157.28
4560.92/4560.82	c  N dy105794  15527700      4257     85800         0    316607    429000  30569047    147.90    155.69
4570.22/4570.10	c  N dy105926  15547740      4257     85800         0    336641    429000  34641379    147.90    158.66
4579.52/4579.45	c  N dy106073  15567979      4257     85800         0    180929    429000   2767120    147.90    157.16
4585.62/4585.52	c  N dy106211  15588044      4257     85800         0    200991    429000   6868673    147.90    158.58
4592.22/4592.14	c  N dy106349  15608135      4257     85800         0    221071    429000  10973797    147.90    181.31
4599.32/4599.27	c  N dy106491  15628211      4257     85800         0    241138    429000  15100851    147.91    162.88
4606.95/4606.81	c  N dy106625  15648310      4257     85800         0    261228    429000  19190146    147.91    155.97
4614.93/4614.87	c  N dy106765  15668331      4257     85800         0    281241    429000  23262470    147.91    173.40
4623.63/4623.52	c  N dy106905  15688621      4257     85800         0    301525    429000  27408868    147.91    160.13
4632.72/4632.65	c  N dy107038  15708744      4257     85800         0    321643    429000  31474771    147.91    162.17
4642.33/4642.20	c  N dy107175  15728851      4257     85800         0    341743    429000  35596770    147.91    160.55
4651.02/4650.99	c  N dy107314  15748899      4257     85800         0    184848    429000   3386782    147.92    156.96
4657.23/4657.11	c  N dy107444  15769014      4257     85800         0    204953    429000   7486155    147.92    161.90
4663.92/4663.83	c  N dy107580  15789376      4257     85800         0    225309    429000  11602587    147.92    156.58
4670.93/4670.89	c  N dy107714  15809443      4257     85800         0    245370    429000  15691656    147.92    157.73
4678.62/4678.53	c  N dy107852  15829485      4257     85800         0    265402    429000  19785056    147.92    159.36
4686.93/4686.82	c  N dy107994  15849894      4257     85800         0    285804    429000  23930307    147.92    156.42
4695.62/4695.54	c  N dy108137  15869917      4257     85800         0    305820    429000  28077130    147.93    161.99
4704.85/4704.79	c  N dy108275  15889968      4257     85800         0    325862    429000  32166486    147.93    158.04
4714.52/4714.48	c  N dy108419  15909999      4257     85800         0    345884    429000  36266150    147.93    178.43
4722.92/4722.80	c  N dy108559  15930051      4257     85800         0    187994    429000   3827801    147.93    186.49
4729.13/4729.06	c  N dy108695  15950068      4257     85800         0    208008    429000   7903970    147.94    158.65
4735.83/4735.79	c  N dy108836  15970109      4257     85800         0    228041    429000  12004421    147.94    155.79
4743.24/4743.21	c  N dy108979  15990170      4257     85800         0    248097    429000  16122161    147.94    166.86
4751.23/4751.16	c  N dy109125  16010244      4257     85800         0    268166    429000  20224879    147.94    156.56
4759.33/4759.26	c  N dy109257  16030245      4257     85800         0    288161    429000  24293565    147.94    158.24
4768.33/4768.20	c  N dy109397  16050383      4257     85800         0    308293    429000  28422208    147.95    161.79
4777.34/4777.30	c  N dy109534  16070484      4257     85800         0    328389    429000  32514896    147.95    156.90
4787.43/4787.35	c  N dy109679  16090519      4257     85800         0    348419    429000  36659957    147.95    155.99
4795.73/4795.60	c  N dy109819  16110634      4257     85800         0    189580    429000   3947255    147.95    159.71
4801.94/4801.82	c  N dy109951  16130827      4257     85800         0    209767    429000   8075049    147.95    157.46
4808.63/4808.56	c  N dy110087  16150840      4257     85800         0    229771    429000  12113182    147.95    158.73
4815.84/4815.75	c  N dy110218  16170923      4257     85800         0    249848    429000  16181457    147.95    156.42
4823.65/4823.56	c  N dy110358  16190986      4257     85800         0    269904    429000  20291408    147.95    158.72
4832.04/4831.94	c  N dy110500  16211099      4257     85800         0    290011    429000  24391667    147.96    156.44
4840.83/4840.76	c  N dy110640  16231254      4257     85800         0    310163    429000  28463365    147.96    155.94
4850.33/4850.22	c  N dy110788  16251349      4257     85800         0    330253    429000  32597467    147.96    165.67
4859.95/4859.86	c  N dy110921  16271445      4257     85800         0    350339    429000  36782584    147.96    158.60
4868.23/4868.15	c  N dy111060  16291463      4257     85800         0    190412    429000   3959675    147.97    236.19
4874.53/4874.47	c  N dy111197  16311588      4257     85800         0    210536    429000   8079238    147.97    158.73
4881.34/4881.29	c  N dy111334  16331619      4257     85800         0    230563    429000  12218456    147.97    156.70
4888.64/4888.54	c  N dy111467  16351648      4257     85800         0    250587    429000  16276672    147.97    157.55
4896.54/4896.40	c  N dy111606  16371841      4257     85800         0    270775    429000  20380315    147.97    156.33
4904.73/4904.62	c  N dy111747  16391933      4257     85800         0    290864    429000  24490453    147.97    170.61
4913.44/4913.34	c  N dy111884  16411966      4257     85800         0    310889    429000  28600641    147.97    183.28
4922.73/4922.61	c  N dy112011  16432040      4257     85800         0    330956    429000  32705327    147.97    160.22
4932.74/4932.60	c  N dy112152  16452136      4257     85800         0    351044    429000  36773794    147.98    156.55
4941.24/4941.21	c  N dy112292  16472358      4257     85800         0    190306    429000   3726431    147.98    158.53
4947.53/4947.47	c  N dy112431  16492553      4257     85800         0    210491    429000   7880282    147.98    158.11
4954.33/4954.31	c  N dy112563  16512740      4257     85800         0    230670    429000  11993075    147.98    156.68
4961.73/4961.68	c  N dy112705  16532833      4257     85800         0    250756    429000  16133262    147.98    157.41
4969.44/4969.37	c  N dy112839  16552907      4257     85800         0    270820    429000  20214443    147.98    155.86
4977.94/4977.88	c  N dy112983  16572980      4257     85800         0    290886    429000  24289920    147.99    156.14
4986.83/4986.77	c  N dy113122  16593000      4257     85800         0    310898    429000  28378018    147.99    176.17
4996.03/4995.90	c  N dy113252  16613048      4257     85800         0    330938    429000  32485043    147.99    160.50

ERROR: Unexpected answer ! (SATISFIABLE/UNSATISFIABLE expected)
Got answer: <no 's ' line found>

runsolver Copyright (C) 2010-2011 Olivier ROUSSEL

This is runsolver version 3.3.0 (svn: 961)

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-3421902-1306611002/watcher-3421902-1306611002 -o /tmp/evaluation-result-3421902-1306611002/solver-3421902-1306611002 -C 5000 -W 5100 -M 15500 ./strangenight2-st HOME/instance-3421902-1306611002.cnf 

running on 4 cores: 1,3,5,7

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 5000 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 5030 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 5100 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
Current StackSize limit: 10240 KiB


[startup+0 s]
/proc/loadavg: 1.85 2.00 1.99 2/461 4760
/proc/meminfo: memFree=16264700/32951124 swapFree=49827280/67111528
[pid=4760] ppid=4758 vsize=31904 CPUtime=0 cores=1,3,5,7
/proc/4760/stat : 4760 (strangenight2-s) R 4758 4760 4716 0 -1 4202496 1331 0 0 0 0 0 0 0 22 0 1 0 772698313 32669696 1174 33554432000 4194304 4580011 140735940916896 18446744073709551615 4311298 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/4760/statm: 7976 1175 322 95 0 2958 0

[startup+0.0364981 s]
/proc/loadavg: 1.85 2.00 1.99 2/461 4760
/proc/meminfo: memFree=16264700/32951124 swapFree=49827280/67111528
[pid=4760] ppid=4758 vsize=36980 CPUtime=0.02 cores=1,3,5,7
/proc/4760/stat : 4760 (strangenight2-s) R 4758 4760 4716 0 -1 4202496 3144 0 0 0 2 0 0 0 22 0 1 0 772698313 37867520 2853 33554432000 4194304 4580011 140735940916896 18446744073709551615 4489378 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/4760/statm: 9245 2854 323 95 0 4227 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 36980

[startup+0.100491 s]
/proc/loadavg: 1.85 2.00 1.99 2/461 4760
/proc/meminfo: memFree=16264700/32951124 swapFree=49827280/67111528
[pid=4760] ppid=4758 vsize=45252 CPUtime=0.09 cores=1,3,5,7
/proc/4760/stat : 4760 (strangenight2-s) R 4758 4760 4716 0 -1 4202496 6503 0 0 0 9 0 0 0 22 0 1 0 772698313 46338048 5933 33554432000 4194304 4580011 140735940916896 18446744073709551615 4489378 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/4760/statm: 11313 5934 323 95 0 6295 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 45252

[startup+0.300455 s]
/proc/loadavg: 1.85 2.00 1.99 2/461 4760
/proc/meminfo: memFree=16264700/32951124 swapFree=49827280/67111528
[pid=4760] ppid=4758 vsize=100200 CPUtime=0.29 cores=1,3,5,7
/proc/4760/stat : 4760 (strangenight2-s) R 4758 4760 4716 0 -1 4202496 15104 0 0 0 27 2 0 0 23 0 1 0 772698313 102604800 14007 33554432000 4194304 4580011 140735940916896 18446744073709551615 4500968 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/4760/statm: 25050 14007 336 95 0 20032 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 100200

[startup+0.700379 s]
/proc/loadavg: 1.85 2.00 1.99 2/461 4760
/proc/meminfo: memFree=16264700/32951124 swapFree=49827280/67111528
[pid=4760] ppid=4758 vsize=106008 CPUtime=0.69 cores=1,3,5,7
/proc/4760/stat : 4760 (strangenight2-s) R 4758 4760 4716 0 -1 4202496 16563 0 0 0 67 2 0 0 25 0 1 0 772698313 108552192 15466 33554432000 4194304 4580011 140735940916896 18446744073709551615 4294553 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/4760/statm: 26502 15466 338 95 0 21484 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 106008

[startup+1.50024 s]
/proc/loadavg: 1.85 2.00 1.99 3/462 4761
/proc/meminfo: memFree=16199716/32951124 swapFree=49827280/67111528
[pid=4760] ppid=4758 vsize=233712 CPUtime=1.49 cores=1,3,5,7
/proc/4760/stat : 4760 (strangenight2-s) R 4758 4760 4716 0 -1 4202496 45334 0 0 0 143 6 0 0 25 0 1 0 772698313 239321088 44237 33554432000 4194304 4580011 140735940916896 18446744073709551615 4451588 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/4760/statm: 58428 44237 350 95 0 53410 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 233712

[startup+3.10094 s]
/proc/loadavg: 1.85 2.00 1.99 3/462 4761
/proc/meminfo: memFree=16091712/32951124 swapFree=49827280/67111528
[pid=4760] ppid=4758 vsize=224120 CPUtime=3.09 cores=1,3,5,7
/proc/4760/stat : 4760 (strangenight2-s) R 4758 4760 4716 0 -1 4202496 54102 0 0 0 302 7 0 0 18 0 1 0 772698313 229498880 44208 33554432000 4194304 4580011 140735940916896 18446744073709551615 4294394 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/4760/statm: 56030 44208 363 95 0 51012 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 224120

[startup+6.30036 s]
/proc/loadavg: 1.87 2.00 1.99 3/462 4763
/proc/meminfo: memFree=16082296/32951124 swapFree=49827280/67111528
[pid=4760] ppid=4758 vsize=239400 CPUtime=6.29 cores=1,3,5,7
/proc/4760/stat : 4760 (strangenight2-s) R 4758 4760 4716 0 -1 4202496 67547 0 0 0 621 8 0 0 18 0 1 0 772698313 245145600 47801 33554432000 4194304 4580011 140735940916896 18446744073709551615 4489420 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/4760/statm: 59850 47801 365 95 0 54832 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 239400

[startup+12.7002 s]
/proc/loadavg: 1.88 2.00 1.99 3/462 4763
/proc/meminfo: memFree=16031104/32951124 swapFree=49827280/67111528
[pid=4760] ppid=4758 vsize=330144 CPUtime=12.69 cores=1,3,5,7
/proc/4760/stat : 4760 (strangenight2-s) R 4758 4760 4716 0 -1 4202496 81704 0 0 0 1258 11 0 0 25 0 1 0 772698313 338067456 57210 33554432000 4194304 4580011 140735940916896 18446744073709551615 4489420 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/4760/statm: 82536 57210 365 95 0 77518 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 330144

[startup+25.5009 s]
/proc/loadavg: 1.90 2.00 1.99 3/462 4763
/proc/meminfo: memFree=16016600/32951124 swapFree=49827280/67111528
[pid=4760] ppid=4758 vsize=327528 CPUtime=25.49 cores=1,3,5,7
/proc/4760/stat : 4760 (strangenight2-s) R 4758 4760 4716 0 -1 4202496 91895 0 0 0 2536 13 0 0 25 0 1 0 772698313 335388672 57915 33554432000 4194304 4580011 140735940916896 18446744073709551615 4294394 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/4760/statm: 81882 57915 365 95 0 76864 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 327528

[startup+51.1002 s]
/proc/loadavg: 1.93 2.00 1.99 3/462 4764
/proc/meminfo: memFree=16007208/32951124 swapFree=49827280/67111528
[pid=4760] ppid=4758 vsize=326392 CPUtime=51.09 cores=1,3,5,7
/proc/4760/stat : 4760 (strangenight2-s) R 4758 4760 4716 0 -1 4202496 114120 0 0 0 5093 16 0 0 25 0 1 0 772698313 334225408 60082 33554432000 4194304 4580011 140735940916896 18446744073709551615 4316976 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/4760/statm: 81598 60082 366 95 0 76580 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 326392

[startup+102.317 s]
/proc/loadavg: 1.97 2.00 1.99 3/462 4765
/proc/meminfo: memFree=15963452/32951124 swapFree=49827280/67111528
[pid=4760] ppid=4758 vsize=339912 CPUtime=102.31 cores=1,3,5,7
/proc/4760/stat : 4760 (strangenight2-s) R 4758 4760 4716 0 -1 4202496 162758 0 0 0 10206 25 0 0 25 0 1 0 772698313 348069888 64975 33554432000 4194304 4580011 140735940916896 18446744073709551615 4293016 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/4760/statm: 84978 64975 366 95 0 79960 0
Current children cumulated CPU time (s) 102.31
Current children cumulated vsize (KiB) 339912

[startup+162.301 s]
/proc/loadavg: 1.99 2.00 1.99 3/462 4768
/proc/meminfo: memFree=15950284/32951124 swapFree=49827280/67111528
[pid=4760] ppid=4758 vsize=342520 CPUtime=162.29 cores=1,3,5,7
/proc/4760/stat : 4760 (strangenight2-s) R 4758 4760 4716 0 -1 4202496 215739 0 0 0 16194 35 0 0 25 0 1 0 772698313 350740480 65913 33554432000 4194304 4580011 140735940916896 18446744073709551615 4295369 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/4760/statm: 85630 65913 366 95 0 80612 0
Current children cumulated CPU time (s) 162.29
Current children cumulated vsize (KiB) 342520

[startup+222.3 s]
/proc/loadavg: 1.99 2.00 1.99 3/462 4769
/proc/meminfo: memFree=15968592/32951124 swapFree=49827280/67111528
[pid=4760] ppid=4758 vsize=345588 CPUtime=222.3 cores=1,3,5,7
/proc/4760/stat : 4760 (strangenight2-s) R 4758 4760 4716 0 -1 4202496 266989 0 0 0 22184 46 0 0 25 0 1 0 772698313 353882112 61206 33554432000 4194304 4580011 140735940916896 18446744073709551615 4295369 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/4760/statm: 86397 61206 366 95 0 81379 0
Current children cumulated CPU time (s) 222.3
Current children cumulated vsize (KiB) 345588

[startup+282.3 s]
/proc/loadavg: 2.05 2.01 2.00 3/462 4771
/proc/meminfo: memFree=15932080/32951124 swapFree=49827280/67111528
[pid=4760] ppid=4758 vsize=347924 CPUtime=282.29 cores=1,3,5,7
/proc/4760/stat : 4760 (strangenight2-s) R 4758 4760 4716 0 -1 4202496 319258 0 0 0 28175 54 0 0 25 0 1 0 772698313 356274176 67466 33554432000 4194304 4580011 140735940916896 18446744073709551615 4294592 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/4760/statm: 86981 67466 366 95 0 81963 0
Current children cumulated CPU time (s) 282.29
Current children cumulated vsize (KiB) 347924

[startup+342.3 s]
/proc/loadavg: 2.02 2.00 2.00 3/462 4774
/proc/meminfo: memFree=15936152/32951124 swapFree=49827280/67111528
[pid=4760] ppid=4758 vsize=350684 CPUtime=342.3 cores=1,3,5,7
/proc/4760/stat : 4760 (strangenight2-s) R 4758 4760 4716 0 -1 4202496 368824 0 0 0 34167 63 0 0 25 0 1 0 772698313 359100416 65931 33554432000 4194304 4580011 140735940916896 18446744073709551615 4294592 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/4760/statm: 87671 65932 366 95 0 82653 0
Current children cumulated CPU time (s) 342.3
Current children cumulated vsize (KiB) 350684

[startup+402.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/462 4775
/proc/meminfo: memFree=15902016/32951124 swapFree=49827280/67111528
[pid=4760] ppid=4758 vsize=351832 CPUtime=402.31 cores=1,3,5,7
/proc/4760/stat : 4760 (strangenight2-s) R 4758 4760 4716 0 -1 4202496 418052 0 0 0 40158 73 0 0 25 0 1 0 772698313 360275968 70745 33554432000 4194304 4580011 140735940916896 18446744073709551615 4294592 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/4760/statm: 87958 70745 366 95 0 82940 0
Current children cumulated CPU time (s) 402.31
Current children cumulated vsize (KiB) 351832

[startup+462.301 s]
/proc/loadavg: 2.07 2.03 2.00 3/462 4777
/proc/meminfo: memFree=15878180/32951124 swapFree=49827280/67111528
[pid=4760] ppid=4758 vsize=368364 CPUtime=462.3 cores=1,3,5,7
/proc/4760/stat : 4760 (strangenight2-s) R 4758 4760 4716 0 -1 4202496 469469 0 0 0 46147 83 0 0 25 0 1 0 772698313 377204736 74435 33554432000 4194304 4580011 140735940916896 18446744073709551615 4294501 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/4760/statm: 92091 74435 366 95 0 87073 0
Current children cumulated CPU time (s) 462.3
Current children cumulated vsize (KiB) 368364

[startup+522.301 s]
/proc/loadavg: 2.02 2.02 2.00 3/462 4778
/proc/meminfo: memFree=15886452/32951124 swapFree=49827280/67111528
[pid=4760] ppid=4758 vsize=385292 CPUtime=522.3 cores=1,3,5,7
/proc/4760/stat : 4760 (strangenight2-s) R 4758 4760 4716 0 -1 4202496 519452 0 0 0 52137 93 0 0 25 0 1 0 772698313 394539008 73364 33554432000 4194304 4580011 140735940916896 18446744073709551615 4295644 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/4760/statm: 96323 73364 366 95 0 91305 0
Current children cumulated CPU time (s) 522.3
Current children cumulated vsize (KiB) 385292

[startup+582.301 s]
/proc/loadavg: 2.01 2.01 2.00 3/462 4781
/proc/meminfo: memFree=15851296/32951124 swapFree=49827280/67111528
[pid=4760] ppid=4758 vsize=386488 CPUtime=582.31 cores=1,3,5,7
/proc/4760/stat : 4760 (strangenight2-s) R 4758 4760 4716 0 -1 4202496 566178 0 0 0 58127 104 0 0 25 0 1 0 772698313 395763712 79899 33554432000 4194304 4580011 140735940916896 18446744073709551615 4294357 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/4760/statm: 96622 79899 366 95 0 91604 0
Current children cumulated CPU time (s) 582.31
Current children cumulated vsize (KiB) 386488

[startup+642.301 s]

################
# More data... #
################

[startup+4062.32 s]
/proc/loadavg: 2.00 2.00 2.00 3/462 4894
/proc/meminfo: memFree=15688580/32951124 swapFree=49827280/67111528
[pid=4760] ppid=4758 vsize=381584 CPUtime=4062.43 cores=1,3,5,7
/proc/4760/stat : 4760 (strangenight2-s) R 4758 4760 4716 0 -1 4202496 2995646 0 0 0 405648 595 0 0 25 0 1 0 772698313 390742016 76335 33554432000 4194304 4580011 140735940916896 18446744073709551615 4294394 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/4760/statm: 95396 76335 366 95 0 90378 0
Current children cumulated CPU time (s) 4062.43
Current children cumulated vsize (KiB) 381584

[startup+4122.3 s]
/proc/loadavg: 2.14 2.04 2.01 3/462 4895
/proc/meminfo: memFree=15701428/32951124 swapFree=49827280/67111528
[pid=4760] ppid=4758 vsize=381896 CPUtime=4122.41 cores=1,3,5,7
/proc/4760/stat : 4760 (strangenight2-s) R 4758 4760 4716 0 -1 4202496 3030307 0 0 0 411639 602 0 0 25 0 1 0 772698313 391061504 73720 33554432000 4194304 4580011 140735940916896 18446744073709551615 4489420 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/4760/statm: 95474 73720 366 95 0 90456 0
Current children cumulated CPU time (s) 4122.41
Current children cumulated vsize (KiB) 381896

[startup+4182.3 s]
/proc/loadavg: 2.05 2.03 2.00 3/462 4897
/proc/meminfo: memFree=15716136/32951124 swapFree=49827280/67111528
[pid=4760] ppid=4758 vsize=382204 CPUtime=4182.42 cores=1,3,5,7
/proc/4760/stat : 4760 (strangenight2-s) R 4758 4760 4716 0 -1 4202496 3064296 0 0 0 417632 610 0 0 25 0 1 0 772698313 391376896 70270 33554432000 4194304 4580011 140735940916896 18446744073709551615 4294436 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/4760/statm: 95551 70270 366 95 0 90533 0
Current children cumulated CPU time (s) 4182.42
Current children cumulated vsize (KiB) 382204

[startup+4242.3 s]
/proc/loadavg: 2.02 2.02 2.00 3/462 4899
/proc/meminfo: memFree=15732492/32951124 swapFree=49827280/67111528
[pid=4760] ppid=4758 vsize=382484 CPUtime=4242.41 cores=1,3,5,7
/proc/4760/stat : 4760 (strangenight2-s) R 4758 4760 4716 0 -1 4202496 3097677 0 0 0 423623 618 0 0 25 0 1 0 772698313 391663616 66155 33554432000 4194304 4580011 140735940916896 18446744073709551615 4294592 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/4760/statm: 95621 66155 366 95 0 90603 0
Current children cumulated CPU time (s) 4242.41
Current children cumulated vsize (KiB) 382484

[startup+4302.3 s]
/proc/loadavg: 2.11 2.05 2.01 3/462 4900
/proc/meminfo: memFree=15735544/32951124 swapFree=49827280/67111528
[pid=4760] ppid=4758 vsize=295228 CPUtime=4302.41 cores=1,3,5,7
/proc/4760/stat : 4760 (strangenight2-s) R 4758 4760 4716 0 -1 4202496 3130625 0 0 0 429617 624 0 0 25 0 1 0 772698313 302313472 61287 33554432000 4194304 4580011 140735940916896 18446744073709551615 4294394 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/4760/statm: 73807 61287 366 95 0 68789 0
Current children cumulated CPU time (s) 4302.41
Current children cumulated vsize (KiB) 295228

[startup+4362.3 s]
/proc/loadavg: 2.04 2.04 2.00 3/462 4902
/proc/meminfo: memFree=15610636/32951124 swapFree=49827280/67111528
[pid=4760] ppid=4758 vsize=644964 CPUtime=4362.42 cores=1,3,5,7
/proc/4760/stat : 4760 (strangenight2-s) R 4758 4760 4716 0 -1 4202496 3162047 0 0 0 435610 632 0 0 25 0 1 0 772698313 660443136 92709 33554432000 4194304 4580011 140735940916896 18446744073709551615 4294514 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/4760/statm: 161241 92709 366 95 0 156223 0
Current children cumulated CPU time (s) 4362.42
Current children cumulated vsize (KiB) 644964

[startup+4422.3 s]
/proc/loadavg: 2.01 2.03 2.00 3/462 4903
/proc/meminfo: memFree=15623132/32951124 swapFree=49827280/67111528
[pid=4760] ppid=4758 vsize=645268 CPUtime=4422.42 cores=1,3,5,7
/proc/4760/stat : 4760 (strangenight2-s) R 4758 4760 4716 0 -1 4202496 3196582 0 0 0 441601 641 0 0 25 0 1 0 772698313 660754432 89268 33554432000 4194304 4580011 140735940916896 18446744073709551615 4295647 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/4760/statm: 161317 89268 366 95 0 156299 0
Current children cumulated CPU time (s) 4422.42
Current children cumulated vsize (KiB) 645268

[startup+4482.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/462 4905
/proc/meminfo: memFree=15649120/32951124 swapFree=49827280/67111528
[pid=4760] ppid=4758 vsize=645552 CPUtime=4482.43 cores=1,3,5,7
/proc/4760/stat : 4760 (strangenight2-s) R 4758 4760 4716 0 -1 4202496 3230718 0 0 0 447594 649 0 0 25 0 1 0 772698313 661045248 85148 33554432000 4194304 4580011 140735940916896 18446744073709551615 4293197 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/4760/statm: 161388 85148 366 95 0 156370 0
Current children cumulated CPU time (s) 4482.43
Current children cumulated vsize (KiB) 645552

[startup+4542.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/462 4908
/proc/meminfo: memFree=15667536/32951124 swapFree=49827280/67111528
[pid=4760] ppid=4758 vsize=383744 CPUtime=4542.42 cores=1,3,5,7
/proc/4760/stat : 4760 (strangenight2-s) R 4758 4760 4716 0 -1 4202496 3264465 0 0 0 453586 656 0 0 25 0 1 0 772698313 392953856 80371 33554432000 4194304 4580011 140735940916896 18446744073709551615 4295369 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/4760/statm: 95936 80371 366 95 0 90918 0
Current children cumulated CPU time (s) 4542.42
Current children cumulated vsize (KiB) 383744

[startup+4602.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/462 4909
/proc/meminfo: memFree=15685500/32951124 swapFree=49827280/67111528
[pid=4760] ppid=4758 vsize=383996 CPUtime=4602.43 cores=1,3,5,7
/proc/4760/stat : 4760 (strangenight2-s) R 4758 4760 4716 0 -1 4202496 3297835 0 0 0 459579 664 0 0 25 0 1 0 772698313 393211904 75129 33554432000 4194304 4580011 140735940916896 18446744073709551615 4489420 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/4760/statm: 95999 75129 366 95 0 90981 0
Current children cumulated CPU time (s) 4602.43
Current children cumulated vsize (KiB) 383996

[startup+4662.3 s]
/proc/loadavg: 2.09 2.03 2.01 3/462 4911
/proc/meminfo: memFree=15702588/32951124 swapFree=49827280/67111528
[pid=4760] ppid=4758 vsize=384320 CPUtime=4662.42 cores=1,3,5,7
/proc/4760/stat : 4760 (strangenight2-s) R 4758 4760 4716 0 -1 4202496 3330771 0 0 0 465569 673 0 0 25 0 1 0 772698313 393543680 69142 33554432000 4194304 4580011 140735940916896 18446744073709551615 4294394 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/4760/statm: 96080 69142 366 95 0 91062 0
Current children cumulated CPU time (s) 4662.42
Current children cumulated vsize (KiB) 384320

[startup+4722.32 s]
/proc/loadavg: 2.07 2.04 2.01 3/462 4912
/proc/meminfo: memFree=15725736/32951124 swapFree=49827280/67111528
[pid=4760] ppid=4758 vsize=295592 CPUtime=4722.44 cores=1,3,5,7
/proc/4760/stat : 4760 (strangenight2-s) R 4758 4760 4716 0 -1 4202496 3362796 0 0 0 471565 679 0 0 25 0 1 0 772698313 302686208 62016 33554432000 4194304 4580011 140735940916896 18446744073709551615 4294501 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/4760/statm: 73898 62016 366 95 0 68880 0
Current children cumulated CPU time (s) 4722.44
Current children cumulated vsize (KiB) 295592

[startup+4782.3 s]
/proc/loadavg: 2.18 2.06 2.01 3/462 4915
/proc/meminfo: memFree=15608280/32951124 swapFree=49827280/67111528
[pid=4760] ppid=4758 vsize=646792 CPUtime=4782.43 cores=1,3,5,7
/proc/4760/stat : 4760 (strangenight2-s) R 4758 4760 4716 0 -1 4202496 3393669 0 0 0 477558 685 0 0 25 0 1 0 772698313 662315008 92889 33554432000 4194304 4580011 140735940916896 18446744073709551615 4293032 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/4760/statm: 161698 92889 366 95 0 156680 0
Current children cumulated CPU time (s) 4782.43
Current children cumulated vsize (KiB) 646792

[startup+4842.3 s]
/proc/loadavg: 2.13 2.06 2.01 3/462 4917
/proc/meminfo: memFree=15626960/32951124 swapFree=49827280/67111528
[pid=4760] ppid=4758 vsize=647052 CPUtime=4842.43 cores=1,3,5,7
/proc/4760/stat : 4760 (strangenight2-s) R 4758 4760 4716 0 -1 4202496 3427644 0 0 0 483551 692 0 0 25 0 1 0 772698313 662581248 87448 33554432000 4194304 4580011 140735940916896 18446744073709551615 4294503 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/4760/statm: 161763 87448 366 95 0 156745 0
Current children cumulated CPU time (s) 4842.43
Current children cumulated vsize (KiB) 647052

[startup+4902.3 s]
/proc/loadavg: 2.05 2.05 2.01 3/462 4918
/proc/meminfo: memFree=15641940/32951124 swapFree=49827280/67111528
[pid=4760] ppid=4758 vsize=385264 CPUtime=4902.43 cores=1,3,5,7
/proc/4760/stat : 4760 (strangenight2-s) R 4758 4760 4716 0 -1 4202496 3461461 0 0 0 489543 700 0 0 25 0 1 0 772698313 394510336 81711 33554432000 4194304 4580011 140735940916896 18446744073709551615 4294931 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/4760/statm: 96316 81711 366 95 0 91298 0
Current children cumulated CPU time (s) 4902.43
Current children cumulated vsize (KiB) 385264

[startup+4962.3 s]
/proc/loadavg: 2.02 2.04 2.00 3/462 4920
/proc/meminfo: memFree=15669456/32951124 swapFree=49827280/67111528
[pid=4760] ppid=4758 vsize=385508 CPUtime=4962.43 cores=1,3,5,7
/proc/4760/stat : 4760 (strangenight2-s) R 4758 4760 4716 0 -1 4202496 3494432 0 0 0 495537 706 0 0 25 0 1 0 772698313 394760192 74887 33554432000 4194304 4580011 140735940916896 18446744073709551615 4294553 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/4760/statm: 96377 74887 366 95 0 91359 0
Current children cumulated CPU time (s) 4962.43
Current children cumulated vsize (KiB) 385508



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+4999.9 s]
/proc/loadavg: 2.01 2.03 2.00 2/460 4922
/proc/meminfo: memFree=15900324/32951124 swapFree=49827280/67111528
[pid=4760] ppid=4758 vsize=647656 CPUtime=5000.05 cores=1,3,5,7
/proc/4760/stat : 4760 (strangenight2-s) R 4758 4760 4716 0 -1 4202496 3511982 0 0 0 499295 710 0 0 25 0 1 0 772698313 663199744 92437 33554432000 4194304 4580011 140735940916896 18446744073709551615 4294304 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/4760/statm: 161914 92437 366 95 0 156896 0
Current children cumulated CPU time (s) 5000.05
Current children cumulated vsize (KiB) 647656

Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds

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

[startup+4999.9 s]
/proc/loadavg: 2.01 2.03 2.00 2/460 4922
/proc/meminfo: memFree=15900324/32951124 swapFree=49827280/67111528
[pid=4760] ppid=4758 vsize=647656 CPUtime=5000.05 cores=1,3,5,7
/proc/4760/stat : 4760 (strangenight2-s) R 4758 4760 4716 0 -1 4202496 3511982 0 0 0 499295 710 0 0 25 0 1 0 772698313 663199744 92437 33554432000 4194304 4580011 140735940916896 18446744073709551615 4294304 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/4760/statm: 161914 92437 366 95 0 156896 0
Current children cumulated CPU time (s) 5000.05
Current children cumulated vsize (KiB) 647656

Child ended because it received signal 15 (SIGTERM)
Real time (s): 4999.93
CPU time (s): 5000.08
CPU user time (s): 4992.96
CPU system time (s): 7.11492
CPU usage (%): 100.003
Max. virtual memory (cumulated for all children) (KiB): 669440

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

runsolver used 20.5679 second user time and 53.1669 second system time

The end

Begin job on node138 at 2011-05-28 21:30:03
IDJOB=3421902
IDBENCH=83251
IDSOLVER=1887
FILE ID=node138/3421902-1306611002
RUNJOBID= node138-1306611002-4738
PBS_JOBID= 13471609
Free space on /tmp= 73268 MiB

SOLVER NAME= CryptoMiniSat Strange-Night2-st (fixed)
BENCH NAME= SAT11/crafted/kullmann/GreenTao/GreenTaok1k2/GreenTao_2-5-5_34309.cnf
COMMAND LINE= ./strangenight2-st BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3421902-1306611002/watcher-3421902-1306611002 -o /tmp/evaluation-result-3421902-1306611002/solver-3421902-1306611002 -C 5000 -W 5100 -M 15500  ./strangenight2-st HOME/instance-3421902-1306611002.cnf

TIME LIMIT= 5000 seconds
MEMORY LIMIT= 15500 MiB
NBCORE= 4

MD5SUM BENCH= e252fbf81407f3388187ab50f0786909
RANDOM SEED=3410215

node138.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.854
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.70
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.854
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 16
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.75
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

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

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

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.854
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.854
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:      16264980 kB
Buffers:        251120 kB
Cached:        5484420 kB
SwapCached:      72388 kB
Active:        4216380 kB
Inactive:     12171604 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      16264980 kB
SwapTotal:    67111528 kB
SwapFree:     49827280 kB
Dirty:           33932 kB
Writeback:           0 kB
AnonPages:    10590876 kB
Mapped:          19096 kB
Slab:           136452 kB
PageTables:      92716 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS: 130685900 kB
VmallocTotal: 34359738367 kB
VmallocUsed:    296008 kB
VmallocChunk: 34359440975 kB
HugePages_Total:     0
HugePages_Free:      0
HugePages_Rsvd:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 73260 MiB
End job on node138 at 2011-05-28 22:53:25