0.00/0.00	c 2016-06-18T22:11:54+0200
0.00/0.00	c version = 0.5.0
0.00/0.00	c githash = 1a49202
0.00/0.00	c compilationtime = 2016-05-02 00:19:28.990761 UTC
0.00/0.00	c arch = x86_64
0.00/0.00	c os = linux
0.00/0.00	c compiler = ghc 7.10
0.00/0.00	c packages:
0.00/0.00	c   OptDir-0.0.3
0.00/0.00	c   array-0.5.1.0
0.00/0.00	c   base-4.8.2.0
0.00/0.00	c   bytestring-0.10.6.0
0.00/0.00	c   bytestring-builder-0.10.6.0.0
0.00/0.00	c   clock-0.7.2
0.00/0.00	c   containers-0.5.6.2
0.00/0.00	c   data-default-0.5.3
0.00/0.00	c   data-default-class-0.0.1
0.00/0.00	c   data-interval-1.2.0
0.00/0.00	c   deepseq-1.4.1.1
0.00/0.00	c   directory-1.2.2.0
0.00/0.00	c   exceptions-0.8.2.1
0.00/0.00	c   extended-reals-0.2.1.0
0.00/0.00	c   filepath-1.4.0.0
0.00/0.00	c   finite-field-0.8.0
0.00/0.00	c   hashable-1.2.4.0
0.00/0.00	c   heaps-0.3.3
0.00/0.00	c   intern-0.9.1.4
0.00/0.00	c   loop-0.3.0
0.00/0.00	c   mtl-2.2.1
0.00/0.00	c   multiset-0.3.2
0.00/0.00	c   mwc-random-0.13.3.2
0.00/0.00	c   parse_dimacs-1.3
0.00/0.00	c   parsec-3.1.9
0.00/0.00	c   prettyclass-1.0.0.0
0.00/0.00	c   primes-0.2.1.0
0.00/0.00	c   primitive-0.6.1.0
0.00/0.00	c   process-1.2.3.0
0.00/0.00	c   pseudo-boolean-0.1.3.0
0.00/0.01	c   queue-0.1.2
0.00/0.01	c   semigroups-0.18.1
0.00/0.01	c   sign-0.4.3
0.00/0.01	c   stm-2.4.4.1
0.00/0.01	c   template-haskell-2.10.0.0
0.00/0.01	c   temporary-1.2.0.4
0.00/0.01	c   time-1.5.0.1
0.00/0.01	c   transformers-0.4.2.0
0.00/0.01	c   transformers-compat-0.5.1.4
0.00/0.01	c   type-level-numbers-0.1.1.1
0.00/0.01	c   unbounded-delays-0.1.0.9
0.00/0.01	c   unordered-containers-0.2.6.0
0.00/0.01	c   vector-0.11.0.0
0.00/0.01	c   vector-space-0.10.3
0.00/0.01	c command line = ["+RTS","-H1G","-M15500m","-K1G","-RTS","--pb","--search=bcd2","HOME/instance-4106991-1466280714.opb"]
0.00/0.01	c use --random-gen="2970652912 3874304607 2730497158 2455527071 3879835159 2361189971 337890911 4258990324 223382703 2399183672 2865925287 2907819141 1250846523 644549953 2156284230 1871642484 703471914 3945913864 3667092317 1703907784 2075142170 1153075412 1118853502 535770751 620136982 3931007483 628525228 922991689 295854578 3331514774 2780150146 3458983152 4293169914 73456513 21653646 3038150313 2076817906 771304342 392614427 191037796 2233143770 843596612 3326237864 947790147 878248466 1262406562 1060531715 1395425839 1745927539 3100987377 2788606709 4192566392 3216220845 3821619006 4260896006 1999493368 1472752919 2088434423 3605840765 3009115880 941765002 3197137191 882439889 1193982766 2163557486 3004293569 3243724960 1481075262 1007956413 328634683 602548160 1180423525 3740879146 3383422645 3719449101 3306198168 4036750810 3000719988 3483398231 228161940 2647030254 2923103216 1954561355 2663578615 2459233535 3052311172 650484117 46901136 31551518 1048877980 3307524334 4215602187 4281807456 2955676692 3389227529 2085133722 3364851649 3058529687 4194312023 3864217215 4224688707 1819025722 2214839425 1585083854 3422268476 4147389945 2271721754 3482375274 670017766 3452689279 90916324 386432830 1847763337 3374825005 3595626486 3833874958 3770585923 2438671785 1697380978 3816726439 1644559681 780323387 3590843912 694998257 859538772 1822770763 1124476653 719124110 1016932538 4143682397 4183110090 3646015751 2370407509 3676817529 3353649454 3999113310 2241489818 599744293 2927098288 3032701849 2263693186 2555215403 1185910052 2747591837 1050818938 3074426877 3544111846 3406026981 2557752230 3459161141 1912623424 2700159896 121448439 1114037984 4080899964 4136094392 2972355896 1843581379 3778425935 1229284270 2897819983 489449317 3017665582 1940129787 3054551432 502206586 747792516 2238197691 4143039665 3010345701 2013207195 182144470 4054910627 731040530 5389424 3212022431 2109282415 3143065757 3808940167 787753945 3959659013 3777586151 3349578953 926429502 524703791 856559576 3970433058 2396662867 1509010282 4090809988 3573097857 328137514 1752468455 4239752634 2887168894 1495109145 95423882 585841064 2551810777 1547586513 3362137293 1466562116 142556690 3166381219 4293521914 1550123145 3536446989 3718856431 4214458192 1251847912 712235441 2326631234 3445927019 1810975457 1867452725 506958023 3111259855 3008833059 2277708472 3972991857 3691721185 1539611926 967132765 1716498263 260801664 1934381838 395493386 3824718944 852609442 4063966655 2120504370 709682162 3302981180 960893650 1028281042 811067705 2212730643 4118472260 4206843388 2549381371 2241166716 670406798 1840125691 988661685 741512563 32778057 2261694570 688558438 2239909309 2917499650 4181747393 1033686335 528187673 3410170104 1694319760 3078146772 255 362436" option to reproduce the execution
0.00/0.03	c #vars 200
0.00/0.03	c #constraints 302
0.09/0.10	c Solving starts ...
0.09/0.10	c ============================[ Search Statistics ]============================
0.09/0.10	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
0.09/0.10	c       |         |          |          |    Limit     GC | Var      | Constra 
0.09/0.10	c =============================================================================
0.09/0.10	c  0.0s |       0 |        0 |        0 |     2227      0 |        0 |        0
0.09/0.14	c  0.0s |       1 |      264 |      100 |     2227      0 |        0 |        0
0.09/0.19	c  0.1s |       2 |     4059 |      250 |     2450      0 |        0 |        0
0.19/0.27	c  0.2s |       3 |     4635 |      475 |     2695      0 |        0 |        0
0.39/0.41	c  0.3s |       4 |     5242 |      813 |     2965      0 |        0 |        0
0.58/0.63	c  0.5s |       5 |     6043 |     1320 |     3262      0 |        0 |        0
0.89/0.95	c  0.8s |       6 |     7228 |     2081 |     3948      0 |        0 |        0
1.29/1.39	c  1.3s |       7 |     8608 |     3223 |     4343      0 |        0 |        0
1.99/2.04	c  1.9s |       8 |    10716 |     4936 |     4778      1 |        0 |        0
2.89/2.97	c  2.9s |       9 |    13755 |     7506 |     5256      2 |        0 |        0
4.29/4.33	c  4.2s |      10 |    18364 |    11361 |     5782      3 |        0 |        0
6.29/6.36	c  6.3s |      10 |    25086 |    17061 |     6361      5 |        0 |        0
6.29/6.38	c  6.3s |      11 |    25209 |    17144 |     6361      5 |        0 |        0
8.39/8.40	c  8.3s |      11 |    33042 |    23244 |     6361      7 |        0 |        0
9.19/9.26	c  9.2s |      12 |    36273 |    25819 |     6998      7 |        0 |        0
11.19/11.27	c 11.2s |      12 |    42810 |    31019 |     6998      9 |        0 |        0
13.19/13.29	c 13.2s |      12 |    50786 |    37219 |     6998     10 |        0 |        0
13.69/13.79	c 13.7s |      13 |    52814 |    38832 |     7698     11 |        0 |        0
15.78/15.81	c 15.7s |      13 |    59051 |    43632 |     7698     12 |        0 |        0
17.78/17.82	c 17.7s |      13 |    65906 |    49232 |     7698     13 |        0 |        0
19.79/19.84	c 19.7s |      13 |    74973 |    55632 |     7698     15 |        0 |        0
20.58/20.67	c 20.6s |      14 |    78797 |    58352 |     8468     16 |        0 |        0
22.58/22.68	c 22.6s |      14 |    85783 |    62352 |     8468     17 |        0 |        0
24.68/24.70	c 24.6s |      14 |    95683 |    67352 |     8468     18 |        0 |        0
26.69/26.72	c 26.6s |      14 |   105311 |    73752 |     8468     19 |        0 |        0
28.70/28.74	c 28.6s |      14 |   116458 |    80152 |     8468     21 |        0 |        0
30.69/30.75	c 30.7s |      14 |   127380 |    86752 |     8468     22 |        0 |        0
30.90/30.99	c 30.9s |      15 |   128573 |    87632 |     9315     22 |        0 |        0
33.00/33.04	c 32.9s |      15 |   134916 |    92332 |     9315     23 |        0 |        0
34.99/35.05	c 34.9s |      15 |   140409 |    96832 |     9315     24 |        0 |        0
36.99/37.05	c 37.0s |      15 |   145803 |   101432 |     9315     25 |        0 |        0
38.99/39.07	c 39.0s |      15 |   150624 |   105532 |     9315     26 |        0 |        0
40.99/41.09	c 41.0s |      15 |   156508 |   110232 |     9315     27 |        0 |        0
43.09/43.10	c 43.0s |      15 |   163703 |   115832 |     9315     28 |        0 |        0
45.09/45.11	c 45.0s |      15 |   171431 |   121432 |     9315     29 |        0 |        0
47.08/47.14	c 47.0s |      15 |   178441 |   126732 |     9315     31 |        0 |        0
48.98/49.09	c 49.0s |      16 |   184407 |   131552 |    10247     31 |        0 |        0
51.08/51.14	c 51.0s |      16 |   190140 |   136452 |    10247     32 |        0 |        0
53.08/53.15	c 53.1s |      16 |   196149 |   141352 |    10247     33 |        0 |        0
55.38/55.42	c 55.3s |      16 |   200796 |   145452 |    10247     34 |        0 |        0
57.38/57.43	c 57.3s |      16 |   205559 |   149752 |    10247     35 |        0 |        0
59.39/59.46	c 59.4s |      16 |   210951 |   154352 |    10247     36 |        0 |        0
61.38/61.48	c 61.4s |      16 |   216502 |   158852 |    10247     37 |        0 |        0
63.48/63.50	c 63.4s |      16 |   223456 |   164452 |    10247     38 |        0 |        0
65.48/65.52	c 65.4s |      16 |   228533 |   167952 |    10247     38 |        0 |        0
67.48/67.55	c 67.4s |      16 |   235377 |   173352 |    10247     39 |        0 |        0
69.48/69.55	c 69.4s |      16 |   242597 |   178352 |    10247     40 |        0 |        0
71.59/71.61	c 71.5s |      16 |   250194 |   183852 |    10247     42 |        0 |        0
73.58/73.62	c 73.5s |      16 |   257203 |   189152 |    10247     43 |        0 |        0
75.58/75.64	c 75.5s |      16 |   262845 |   193352 |    10247     43 |        0 |        0
77.08/77.13	c 77.0s |      17 |   268200 |   197432 |    11272     44 |        0 |        0
79.08/79.14	c 79.0s |      17 |   274106 |   201432 |    11272     45 |        0 |        0
81.27/81.36	c 81.3s |      17 |   280569 |   206232 |    11272     46 |        0 |        0
83.27/83.39	c 83.3s |      17 |   286677 |   211432 |    11272     46 |        0 |        0
85.67/85.72	c 85.6s |      17 |   292866 |   216532 |    11272     47 |        0 |        0
87.67/87.74	c 87.6s |      17 |   297554 |   220532 |    11272     48 |        0 |        0
89.67/89.78	c 89.7s |      17 |   304032 |   225232 |    11272     49 |        0 |        0
91.67/91.79	c 91.7s |      17 |   311867 |   230732 |    11272     50 |        0 |        0
93.77/93.84	c 93.7s |      17 |   317025 |   234332 |    11272     50 |        0 |        0
95.78/95.88	c 95.8s |      17 |   323455 |   239332 |    11272     51 |        0 |        0
97.88/97.90	c 97.8s |      17 |   329490 |   244432 |    11272     52 |        0 |        0
99.87/99.92	c 99.8s |      17 |   334450 |   248532 |    11272     53 |        0 |        0
101.87/101.95	c  101s |      17 |   340755 |   252932 |    11272     54 |        0 |        0
103.87/103.95	c  103s |      17 |   348554 |   258332 |    11272     55 |        0 |        0
105.87/105.99	c  105s |      17 |   355107 |   263332 |    11272     56 |        0 |        0
107.97/108.03	c  107s |      17 |   360878 |   266832 |    11272     56 |        0 |        0
109.98/110.03	c  109s |      17 |   367481 |   271932 |    11272     57 |        0 |        0
111.97/112.07	c  111s |      17 |   374293 |   277332 |    11272     58 |        0 |        0
113.97/114.08	c  113s |      17 |   378894 |   281132 |    11272     59 |        0 |        0
115.97/116.09	c  115s |      17 |   385351 |   286432 |    11272     60 |        0 |        0
118.07/118.12	c  118s |      17 |   392150 |   290832 |    11272     60 |        0 |        0
120.07/120.15	c  120s |      17 |   399608 |   296232 |    12400     61 |        0 |        0
120.07/120.15	c  120s |      18 |   399628 |   296252 |    12400     61 |        0 |        0
122.08/122.17	c  122s |      18 |   405008 |   300352 |    12400     62 |        0 |        0
124.07/124.19	c  124s |      18 |   410702 |   304852 |    12400     63 |        0 |        0
126.17/126.20	c  126s |      18 |   417078 |   309752 |    12400     63 |        0 |        0
128.17/128.23	c  128s |      18 |   421525 |   313152 |    12400     64 |        0 |        0
130.17/130.28	c  130s |      18 |   427039 |   317552 |    12400     65 |        0 |        0
132.27/132.30	c  132s |      18 |   433954 |   322952 |    12400     65 |        0 |        0
134.27/134.31	c  134s |      18 |   440873 |   327752 |    12400     66 |        0 |        0
136.26/136.32	c  136s |      18 |   446419 |   331852 |    12400     67 |        0 |        0
138.26/138.34	c  138s |      18 |   452016 |   336452 |    12400     68 |        0 |        0
140.36/140.40	c  140s |      18 |   459735 |   342052 |    12400     69 |        0 |        0
142.36/142.42	c  142s |      18 |   466445 |   346952 |    12400     69 |        0 |        0
144.37/144.45	c  144s |      18 |   472531 |   351752 |    12400     70 |        0 |        0
146.38/146.46	c  146s |      18 |   477869 |   355952 |    12400     71 |        0 |        0
148.37/148.47	c  148s |      18 |   483774 |   360652 |    12400     71 |        0 |        0
150.47/150.50	c  150s |      18 |   488876 |   364052 |    12400     72 |        0 |        0
152.47/152.51	c  152s |      18 |   494979 |   368952 |    12400     73 |        0 |        0
154.47/154.55	c  154s |      18 |   500528 |   373452 |    12400     74 |        0 |        0
156.47/156.59	c  156s |      18 |   506425 |   377552 |    12400     74 |        0 |        0
158.56/158.62	c  158s |      18 |   512174 |   382152 |    12400     75 |        0 |        0
160.57/160.63	c  160s |      18 |   518267 |   386352 |    12400     76 |        0 |        0
162.56/162.64	c  162s |      18 |   526862 |   391852 |    12400     76 |        0 |        0
164.56/164.68	c  164s |      18 |   534743 |   396852 |    12400     77 |        0 |        0
166.66/166.72	c  166s |      18 |   542530 |   402552 |    12400     78 |        0 |        0
168.66/168.72	c  168s |      18 |   549977 |   407552 |    12400     79 |        0 |        0
170.67/170.73	c  170s |      18 |   557465 |   412252 |    12400     80 |        0 |        0
172.67/172.79	c  172s |      18 |   563240 |   417052 |    12400     81 |        0 |        0
174.77/174.82	c  174s |      18 |   570635 |   422652 |    12400     81 |        0 |        0
176.77/176.86	c  176s |      18 |   577177 |   427652 |    12400     82 |        0 |        0
178.87/178.94	c  178s |      18 |   584434 |   432652 |    12400     83 |        0 |        0
180.87/180.99	c  180s |      18 |   590570 |   437052 |    12400     84 |        0 |        0
182.87/183.00	c  182s |      18 |   598774 |   442552 |    13641     84 |        0 |        0
183.77/183.84	c  183s |      19 |   601165 |   444482 |    13641     85 |        0 |        0
185.76/185.84	c  185s |      19 |   606337 |   447982 |    13641     85 |        0 |        0
187.76/187.85	c  187s |      19 |   611277 |   451882 |    13641     86 |        0 |        0
189.76/189.88	c  189s |      19 |   617127 |   456282 |    13641     86 |        0 |        0
191.86/191.90	c  191s |      19 |   623238 |   460982 |    13641     87 |        0 |        0
193.86/193.92	c  193s |      19 |   628288 |   464682 |    13641     88 |        0 |        0
195.87/195.95	c  195s |      19 |   633466 |   469082 |    13641     88 |        0 |        0
197.86/197.96	c  197s |      19 |   635778 |   471082 |    13641     89 |        0 |        0
199.96/200.01	c  199s |      19 |   640018 |   474682 |    13641     89 |        0 |        0
201.96/202.05	c  201s |      19 |   646372 |   478982 |    13641     90 |        0 |        0
203.96/204.05	c  203s |      19 |   651659 |   483082 |    13641     90 |        0 |        0
205.96/206.05	c  205s |      19 |   658467 |   488082 |    13641     91 |        0 |        0
208.56/208.68	c  208s |      19 |   665142 |   491682 |    13641     92 |        0 |        0
210.66/210.70	c  210s |      19 |   672806 |   496882 |    13641     92 |        0 |        0
212.66/212.73	c  212s |      19 |   677391 |   500182 |    13641     93 |        0 |        0
214.66/214.77	c  214s |      19 |   683366 |   504882 |    13641     93 |        0 |        0
216.96/217.05	c  216s |      19 |   689393 |   509482 |    13641     94 |        0 |        0
218.96/219.06	c  218s |      19 |   695004 |   513482 |    13641     95 |        0 |        0
220.95/221.09	c  220s |      19 |   702765 |   518782 |    13641     95 |        0 |        0
223.05/223.10	c  222s |      19 |   706838 |   521482 |    13641     96 |        0 |        0
225.05/225.14	c  225s |      19 |   714216 |   526582 |    13641     97 |        0 |        0
227.05/227.16	c  227s |      19 |   720298 |   531182 |    13641     97 |        0 |        0
229.05/229.17	c  229s |      19 |   726335 |   535682 |    13641     98 |        0 |        0
231.06/231.18	c  231s |      19 |   733334 |   540082 |    13641     99 |        0 |        0
233.16/233.22	c  233s |      19 |   741202 |   545482 |    13641     99 |        0 |        0
235.16/235.23	c  235s |      19 |   747020 |   548882 |    13641    100 |        0 |        0
237.16/237.23	c  237s |      19 |   754535 |   554182 |    13641    101 |        0 |        0
239.16/239.24	c  239s |      19 |   761740 |   559282 |    13641    101 |        0 |        0
241.16/241.25	c  241s |      19 |   768061 |   564082 |    13641    102 |        0 |        0
243.16/243.28	c  243s |      19 |   773185 |   567682 |    13641    103 |        0 |        0
245.16/245.30	c  245s |      19 |   781041 |   572882 |    13641    103 |        0 |        0
247.26/247.30	c  247s |      19 |   787772 |   577782 |    13641    104 |        0 |        0
249.66/249.73	c  249s |      19 |   793919 |   581982 |    13641    105 |        0 |        0
251.65/251.75	c  251s |      19 |   800746 |   587282 |    13641    105 |        0 |        0
253.65/253.78	c  253s |      19 |   806099 |   591482 |    13641    106 |        0 |        0
255.75/255.82	c  255s |      19 |   811330 |   595682 |    13641    107 |        0 |        0
257.75/257.84	c  257s |      19 |   817339 |   600482 |    13641    107 |        0 |        0
259.75/259.88	c  259s |      19 |   819573 |   601782 |    13641    108 |        0 |        0
261.76/261.89	c  261s |      19 |   826470 |   606882 |    13641    108 |        0 |        0
263.75/263.90	c  263s |      19 |   830396 |   610182 |    13641    109 |        0 |        0
265.85/265.91	c  265s |      19 |   836830 |   614982 |    13641    109 |        0 |        0
267.85/267.93	c  267s |      19 |   840985 |   618382 |    13641    110 |        0 |        0
269.95/270.04	c  269s |      19 |   846497 |   622882 |    13641    111 |        0 |        0
271.95/272.05	c  271s |      19 |   853864 |   628382 |    13641    111 |        0 |        0
274.05/274.10	c  274s |      19 |   857978 |   630682 |    13641    112 |        0 |        0
276.05/276.12	c  276s |      19 |   865215 |   635882 |    13641    112 |        0 |        0
278.05/278.15	c  278s |      19 |   872839 |   641382 |    13641    113 |        0 |        0
280.15/280.22	c  280s |      19 |   878788 |   645482 |    13641    114 |        0 |        0
282.15/282.22	c  282s |      19 |   884443 |   650182 |    13641    115 |        0 |        0
284.14/284.24	c  284s |      19 |   890538 |   655082 |    13641    115 |        0 |        0
286.14/286.27	c  286s |      19 |   895395 |   659082 |    13641    116 |        0 |        0
288.15/288.29	c  288s |      19 |   902045 |   664282 |    15006    116 |        0 |        0
290.04/290.18	c  290s |      20 |   905292 |   666827 |    15006    117 |        0 |        0
292.14/292.20	c  292s |      20 |   913950 |   672127 |    15006    117 |        0 |        0
294.14/294.21	c  294s |      20 |   920082 |   676227 |    15006    118 |        0 |        0
296.14/296.22	c  296s |      20 |   925996 |   680327 |    15006    119 |        0 |        0
298.15/298.23	c  298s |      20 |   933866 |   685927 |    15006    119 |        0 |        0
300.35/300.44	c  300s |      20 |   940168 |   690127 |    15006    120 |        0 |        0
302.35/302.46	c  302s |      20 |   949588 |   695627 |    15006    121 |        0 |        0
304.35/304.46	c  304s |      20 |   958290 |   700927 |    15006    121 |        0 |        0
306.35/306.47	c  306s |      20 |   966570 |   706027 |    15006    122 |        0 |        0
308.35/308.48	c  308s |      20 |   973526 |   711127 |    15006    123 |        0 |        0
310.34/310.48	c  310s |      20 |   981687 |   716527 |    15006    123 |        0 |        0
312.35/312.49	c  312s |      20 |   990364 |   722327 |    15006    124 |        0 |        0
314.44/314.51	c  314s |      20 |   997573 |   727127 |    15006    125 |        0 |        0
316.44/316.53	c  316s |      20 |  1005192 |   732227 |    15006    125 |        0 |        0
318.44/318.56	c  318s |      20 |  1014153 |   738027 |    15006    126 |        0 |        0
320.44/320.59	c  320s |      20 |  1021887 |   743127 |    15006    127 |        0 |        0
322.54/322.61	c  322s |      20 |  1029083 |   747827 |    15006    128 |        0 |        0
324.55/324.68	c  324s |      20 |  1036206 |   752627 |    15006    128 |        0 |        0
326.54/326.70	c  326s |      20 |  1045660 |   757627 |    15006    129 |        0 |        0
328.64/328.72	c  328s |      20 |  1054023 |   762527 |    15006    129 |        0 |        0
330.64/330.75	c  330s |      20 |  1061643 |   767427 |    15006    130 |        0 |        0
332.64/332.76	c  332s |      20 |  1067838 |   771527 |    15006    131 |        0 |        0
334.74/334.81	c  334s |      20 |  1075436 |   776427 |    15006    131 |        0 |        0
336.74/336.82	c  336s |      20 |  1082678 |   781827 |    15006    132 |        0 |        0
338.74/338.84	c  338s |      20 |  1089396 |   786627 |    15006    133 |        0 |        0
340.74/340.84	c  340s |      20 |  1096620 |   791627 |    15006    133 |        0 |        0
342.74/342.88	c  342s |      20 |  1105090 |   797527 |    15006    134 |        0 |        0
344.74/344.89	c  344s |      20 |  1111293 |   801627 |    15006    135 |        0 |        0
346.84/346.90	c  346s |      20 |  1119287 |   807427 |    15006    135 |        0 |        0
348.84/348.94	c  348s |      20 |  1126552 |   812727 |    15006    136 |        0 |        0
350.84/350.94	c  350s |      20 |  1132819 |   817027 |    15006    137 |        0 |        0
352.83/352.97	c  352s |      20 |  1140764 |   821927 |    15006    137 |        0 |        0
354.83/354.98	c  354s |      20 |  1148997 |   827627 |    15006    138 |        0 |        0
356.83/356.99	c  356s |      20 |  1159719 |   833627 |    15006    139 |        0 |        0
358.93/359.05	c  358s |      20 |  1169399 |   838227 |    15006    140 |        0 |        0
360.93/361.08	c  360s |      20 |  1176887 |   842927 |    15006    140 |        0 |        0
363.04/363.11	c  363s |      20 |  1183835 |   847227 |    15006    141 |        0 |        0
365.03/365.15	c  365s |      20 |  1192098 |   852227 |    15006    141 |        0 |        0
367.03/367.18	c  367s |      20 |  1200026 |   856627 |    15006    142 |        0 |        0
369.04/369.20	c  369s |      20 |  1207085 |   861127 |    15006    143 |        0 |        0
371.14/371.22	c  371s |      20 |  1216013 |   867127 |    15006    143 |        0 |        0
373.14/373.23	c  373s |      20 |  1224989 |   872427 |    15006    144 |        0 |        0
375.14/375.25	c  375s |      20 |  1232099 |   877127 |    15006    145 |        0 |        0
377.13/377.29	c  377s |      20 |  1239632 |   882327 |    15006    145 |        0 |        0
379.23/379.39	c  379s |      20 |  1245948 |   886927 |    15006    146 |        0 |        0
381.33/381.40	c  381s |      20 |  1253224 |   891627 |    15006    147 |        0 |        0
383.33/383.44	c  383s |      20 |  1261270 |   896727 |    15006    147 |        0 |        0
385.33/385.48	c  385s |      20 |  1269712 |   901727 |    15006    148 |        0 |        0
387.33/387.48	c  387s |      20 |  1277299 |   906027 |    15006    149 |        0 |        0
389.34/389.49	c  389s |      20 |  1284090 |   911027 |    15006    149 |        0 |        0
391.43/391.50	c  391s |      20 |  1293841 |   916927 |    15006    150 |        0 |        0
393.43/393.50	c  393s |      20 |  1302845 |   922527 |    15006    151 |        0 |        0
395.43/395.53	c  395s |      20 |  1312615 |   928127 |    15006    151 |        0 |        0
397.43/397.53	c  397s |      20 |  1319553 |   932927 |    15006    152 |        0 |        0
399.43/399.54	c  399s |      20 |  1326901 |   937527 |    15006    153 |        0 |        0
401.44/401.54	c  401s |      20 |  1334239 |   942627 |    15006    153 |        0 |        0
403.43/403.56	c  403s |      20 |  1340026 |   947227 |    15006    154 |        0 |        0
405.43/405.59	c  405s |      20 |  1345540 |   951627 |    15006    155 |        0 |        0
407.53/407.61	c  407s |      20 |  1351438 |   956127 |    15006    155 |        0 |        0
409.53/409.63	c  409s |      20 |  1359859 |   961627 |    15006    156 |        0 |        0
411.53/411.66	c  411s |      20 |  1367001 |   966427 |    15006    157 |        0 |        0
413.53/413.68	c  413s |      20 |  1376543 |   972227 |    15006    157 |        0 |        0
415.53/415.69	c  415s |      20 |  1384759 |   977527 |    15006    158 |        0 |        0
417.63/417.72	c  417s |      20 |  1392479 |   982527 |    15006    159 |        0 |        0
419.63/419.73	c  419s |      20 |  1402841 |   987727 |    15006    159 |        0 |        0
421.62/421.74	c  421s |      20 |  1410097 |   992327 |    15006    160 |        0 |        0
423.62/423.79	c  423s |      20 |  1416958 |   997227 |    16507    160 |        0 |        0
425.02/425.10	c  425s |      21 |  1422330 |  1000345 |    16507    161 |        0 |        0
427.02/427.13	c  427s |      21 |  1429809 |  1005145 |    16507    161 |        0 |        0
429.03/429.15	c  429s |      21 |  1436353 |  1009345 |    16507    162 |        0 |        0
431.02/431.19	c  431s |      21 |  1444144 |  1014145 |    16507    162 |        0 |        0
433.02/433.19	c  433s |      21 |  1452402 |  1019145 |    16507    163 |        0 |        0
435.12/435.20	c  435s |      21 |  1459134 |  1023545 |    16507    164 |        0 |        0
437.12/437.25	c  437s |      21 |  1466759 |  1028545 |    16507    164 |        0 |        0
439.22/439.31	c  439s |      21 |  1473984 |  1032445 |    16507    165 |        0 |        0
441.22/441.34	c  441s |      21 |  1485088 |  1037745 |    16507    165 |        0 |        0
443.23/443.36	c  443s |      21 |  1494590 |  1042745 |    16507    166 |        0 |        0
445.22/445.38	c  445s |      21 |  1500424 |  1046645 |    16507    166 |        0 |        0
447.22/447.39	c  447s |      21 |  1511098 |  1051745 |    16507    167 |        0 |        0
449.22/449.39	c  449s |      21 |  1520294 |  1055645 |    16507    167 |        0 |        0
451.32/451.41	c  451s |      21 |  1528776 |  1061045 |    16507    168 |        0 |        0
453.32/453.44	c  453s |      21 |  1538592 |  1066045 |    16507    169 |        0 |        0
455.32/455.48	c  455s |      21 |  1546720 |  1070645 |    16507    169 |        0 |        0
457.42/457.50	c  457s |      21 |  1553421 |  1075045 |    16507    170 |        0 |        0
459.42/459.52	c  459s |      21 |  1561708 |  1079545 |    16507    170 |        0 |        0
461.41/461.53	c  461s |      21 |  1570477 |  1084145 |    16507    171 |        0 |        0
463.41/463.58	c  463s |      21 |  1578307 |  1088745 |    16507    171 |        0 |        0
465.51/465.62	c  465s |      21 |  1586722 |  1093645 |    16507    172 |        0 |        0
467.52/467.69	c  467s |      21 |  1592525 |  1097245 |    16507    173 |        0 |        0
469.62/469.71	c  469s |      21 |  1601891 |  1103845 |    16507    173 |        0 |        0
471.62/471.71	c  471s |      21 |  1610582 |  1109145 |    16507    174 |        0 |        0
473.72/473.83	c  473s |      21 |  1620305 |  1113845 |    16507    175 |        0 |        0
475.72/475.84	c  475s |      21 |  1629349 |  1118445 |    16507    175 |        0 |        0
477.72/477.86	c  477s |      21 |  1636604 |  1122445 |    16507    176 |        0 |        0
479.72/479.86	c  479s |      21 |  1644263 |  1127345 |    16507    176 |        0 |        0
481.73/481.87	c  481s |      21 |  1650511 |  1131045 |    16507    177 |        0 |        0
483.72/483.87	c  483s |      21 |  1657902 |  1135045 |    16507    177 |        0 |        0
485.72/485.89	c  485s |      21 |  1665237 |  1139645 |    16507    178 |        0 |        0
487.82/487.91	c  487s |      21 |  1674100 |  1145545 |    16507    178 |        0 |        0
489.82/489.95	c  489s |      21 |  1682273 |  1150945 |    16507    179 |        0 |        0
491.82/491.97	c  491s |      21 |  1689675 |  1156245 |    16507    180 |        0 |        0
493.92/494.01	c  493s |      21 |  1697606 |  1161545 |    16507    180 |        0 |        0
495.91/496.02	c  495s |      21 |  1703789 |  1165345 |    16507    181 |        0 |        0
497.91/498.06	c  497s |      21 |  1711458 |  1170445 |    16507    181 |        0 |        0
499.91/500.06	c  499s |      21 |  1719503 |  1175245 |    16507    182 |        0 |        0
501.91/502.07	c  501s |      21 |  1726889 |  1179745 |    16507    182 |        0 |        0
504.01/504.10	c  503s |      21 |  1734217 |  1184645 |    16507    183 |        0 |        0
506.02/506.12	c  506s |      21 |  1741606 |  1189345 |    16507    184 |        0 |        0
508.01/508.14	c  508s |      21 |  1749168 |  1193945 |    16507    184 |        0 |        0
510.01/510.14	c  510s |      21 |  1754561 |  1197445 |    16507    185 |        0 |        0
512.01/512.15	c  512s |      21 |  1763899 |  1202945 |    16507    185 |        0 |        0
514.01/514.16	c  514s |      21 |  1770913 |  1207345 |    16507    186 |        0 |        0
516.01/516.18	c  516s |      21 |  1778761 |  1212345 |    16507    186 |        0 |        0
518.12/518.23	c  518s |      21 |  1787390 |  1217845 |    16507    187 |        0 |        0
520.11/520.27	c  520s |      21 |  1794092 |  1221845 |    16507    188 |        0 |        0
522.11/522.28	c  522s |      21 |  1801998 |  1226345 |    16507    188 |        0 |        0
524.21/524.30	c  524s |      21 |  1809745 |  1230945 |    16507    189 |        0 |        0
526.21/526.31	c  526s |      21 |  1817131 |  1235645 |    16507    189 |        0 |        0
528.21/528.32	c  528s |      21 |  1824111 |  1240245 |    16507    190 |        0 |        0
530.31/530.47	c  530s |      21 |  1830718 |  1244045 |    16507    190 |        0 |        0
532.42/532.51	c  532s |      21 |  1838870 |  1248545 |    16507    191 |        0 |        0
534.41/534.53	c  534s |      21 |  1848178 |  1254345 |    16507    191 |        0 |        0
536.41/536.58	c  536s |      21 |  1858375 |  1259945 |    16507    192 |        0 |        0
538.51/538.60	c  538s |      21 |  1865927 |  1264645 |    16507    193 |        0 |        0
540.51/540.63	c  540s |      21 |  1873316 |  1269645 |    16507    193 |        0 |        0
542.50/542.64	c  542s |      21 |  1879463 |  1273445 |    16507    194 |        0 |        0
544.51/544.67	c  544s |      21 |  1888160 |  1278545 |    16507    194 |        0 |        0
546.50/546.68	c  546s |      21 |  1893625 |  1282145 |    16507    195 |        0 |        0
548.60/548.74	c  548s |      21 |  1900841 |  1286845 |    16507    195 |        0 |        0
550.60/550.77	c  550s |      21 |  1908655 |  1291645 |    16507    196 |        0 |        0
552.60/552.79	c  552s |      21 |  1915444 |  1295645 |    16507    196 |        0 |        0
554.71/554.82	c  554s |      21 |  1922700 |  1299945 |    16507    197 |        0 |        0
556.81/556.97	c  556s |      21 |  1930621 |  1304745 |    16507    198 |        0 |        0
558.82/558.98	c  558s |      21 |  1939247 |  1310845 |    16507    198 |        0 |        0
560.81/560.99	c  560s |      21 |  1947033 |  1315845 |    16507    199 |        0 |        0
562.91/563.00	c  562s |      21 |  1954016 |  1320745 |    16507    200 |        0 |        0
564.91/565.04	c  564s |      21 |  1961014 |  1325445 |    16507    200 |        0 |        0
566.91/567.07	c  566s |      21 |  1967140 |  1329445 |    16507    201 |        0 |        0
568.91/569.08	c  568s |      21 |  1974681 |  1334745 |    16507    201 |        0 |        0
570.91/571.08	c  570s |      21 |  1982066 |  1340045 |    16507    202 |        0 |        0
573.01/573.12	c  573s |      21 |  1988506 |  1344745 |    16507    202 |        0 |        0
575.00/575.14	c  575s |      21 |  1997654 |  1350045 |    16507    203 |        0 |        0
577.00/577.15	c  577s |      21 |  2005013 |  1354645 |    16507    204 |        0 |        0
579.00/579.18	c  579s |      21 |  2011851 |  1359445 |    16507    204 |        0 |        0
581.10/581.20	c  581s |      21 |  2020681 |  1364745 |    16507    205 |        0 |        0
583.10/583.23	c  583s |      21 |  2028216 |  1370045 |    16507    205 |        0 |        0
585.11/585.27	c  585s |      21 |  2035408 |  1374845 |    16507    206 |        0 |        0
587.10/587.29	c  587s |      21 |  2042547 |  1378945 |    16507    207 |        0 |        0
589.20/589.31	c  589s |      21 |  2049876 |  1383045 |    16507    207 |        0 |        0
591.20/591.33	c  591s |      21 |  2057219 |  1387745 |    16507    208 |        0 |        0
593.20/593.35	c  593s |      21 |  2064041 |  1391845 |    16507    208 |        0 |        0
595.20/595.36	c  595s |      21 |  2071523 |  1396645 |    16507    209 |        0 |        0
597.21/597.37	c  597s |      21 |  2079606 |  1402345 |    16507    209 |        0 |        0
599.20/599.39	c  599s |      21 |  2086534 |  1407045 |    16507    210 |        0 |        0
601.30/601.43	c  601s |      21 |  2093438 |  1411445 |    16507    210 |        0 |        0
603.30/603.45	c  603s |      21 |  2101008 |  1416345 |    16507    211 |        0 |        0
605.30/605.45	c  605s |      21 |  2107742 |  1420545 |    16507    212 |        0 |        0
607.30/607.46	c  607s |      21 |  2116726 |  1425245 |    16507    212 |        0 |        0
609.30/609.49	c  609s |      21 |  2122240 |  1428945 |    16507    213 |        0 |        0
611.39/611.52	c  611s |      21 |  2130171 |  1435045 |    16507    213 |        0 |        0
613.39/613.53	c  613s |      21 |  2137313 |  1440245 |    16507    214 |        0 |        0
615.39/615.54	c  615s |      21 |  2144597 |  1444845 |    16507    214 |        0 |        0
617.39/617.54	c  617s |      21 |  2151248 |  1448645 |    16507    215 |        0 |        0
619.39/619.55	c  619s |      21 |  2157326 |  1452445 |    16507    215 |        0 |        0
621.40/621.56	c  621s |      21 |  2163745 |  1456045 |    16507    216 |        0 |        0
623.39/623.59	c  623s |      21 |  2169212 |  1459645 |    16507    216 |        0 |        0
625.49/625.61	c  625s |      21 |  2178164 |  1465445 |    16507    217 |        0 |        0
627.49/627.65	c  627s |      21 |  2186564 |  1470545 |    16507    218 |        0 |        0
629.49/629.68	c  629s |      21 |  2194670 |  1475445 |    16507    218 |        0 |        0
631.49/631.69	c  631s |      21 |  2202189 |  1479745 |    16507    219 |        0 |        0
633.50/633.69	c  633s |      21 |  2210294 |  1484145 |    16507    219 |        0 |        0
635.59/635.71	c  635s |      21 |  2218119 |  1488445 |    16507    220 |        0 |        0
637.79/637.94	c  637s |      21 |  2225219 |  1492745 |    18158    220 |        0 |        0
639.80/639.95	c  639s |      21 |  2231837 |  1497345 |    18158    221 |        0 |        0
640.80/640.91	c  640s |      22 |  2236452 |  1500622 |    18158    221 |        0 |        0
642.79/642.91	c  642s |      22 |  2242108 |  1504622 |    18158    221 |        0 |        0
644.79/644.93	c  644s |      22 |  2247669 |  1508922 |    18158    222 |        0 |        0
646.80/646.96	c  646s |      22 |  2266179 |  1513922 |    18158    222 |        0 |        0
648.79/649.00	c  648s |      22 |  2275049 |  1518122 |    18158    223 |        0 |        0
650.89/651.01	c  650s |      22 |  2282365 |  1522522 |    18158    223 |        0 |        0
652.89/653.02	c  652s |      22 |  2290059 |  1527722 |    18158    224 |        0 |        0
654.89/655.05	c  654s |      22 |  2297379 |  1532122 |    18158    224 |        0 |        0
656.89/657.09	c  656s |      22 |  2304428 |  1536822 |    18158    225 |        0 |        0
658.99/659.18	c  659s |      22 |  2311393 |  1540722 |    18158    225 |        0 |        0
661.00/661.18	c  661s |      22 |  2319122 |  1545422 |    18158    226 |        0 |        0
662.99/663.18	c  663s |      22 |  2325254 |  1549222 |    18158    226 |        0 |        0
665.09/665.21	c  665s |      22 |  2331180 |  1553022 |    18158    227 |        0 |        0
667.09/667.22	c  667s |      22 |  2338199 |  1557022 |    18158    227 |        0 |        0
669.09/669.27	c  669s |      22 |  2343368 |  1560222 |    18158    228 |        0 |        0
671.19/671.31	c  671s |      22 |  2349022 |  1563822 |    18158    228 |        0 |        0
673.20/673.36	c  673s |      22 |  2354848 |  1567422 |    18158    228 |        0 |        0
675.69/675.81	c  675s |      22 |  2361340 |  1570822 |    18158    229 |        0 |        0
677.69/677.84	c  677s |      22 |  2367722 |  1574622 |    18158    229 |        0 |        0
679.69/679.85	c  679s |      22 |  2377633 |  1579122 |    18158    230 |        0 |        0
681.69/681.86	c  681s |      22 |  2384135 |  1582022 |    18158    230 |        0 |        0
683.69/683.89	c  683s |      22 |  2392283 |  1586922 |    18158    230 |        0 |        0
686.39/686.57	c  686s |      22 |  2401998 |  1591322 |    18158    231 |        0 |        0
688.38/688.59	c  688s |      22 |  2411371 |  1595222 |    18158    231 |        0 |        0
690.88/691.05	c  690s |      22 |  2417843 |  1598522 |    18158    232 |        0 |        0
692.89/693.07	c  692s |      22 |  2428370 |  1604222 |    18158    232 |        0 |        0
695.09/695.29	c  695s |      22 |  2435972 |  1609122 |    18158    233 |        0 |        0
697.18/697.34	c  697s |      22 |  2442777 |  1613822 |    18158    233 |        0 |        0
699.18/699.37	c  699s |      22 |  2446307 |  1616122 |    18158    234 |        0 |        0
701.28/701.43	c  701s |      22 |  2453488 |  1620922 |    18158    234 |        0 |        0
703.59/703.73	c  703s |      22 |  2459498 |  1624322 |    18158    235 |        0 |        0
705.59/705.77	c  705s |      22 |  2467398 |  1629322 |    18158    235 |        0 |        0
707.79/707.93	c  707s |      22 |  2474043 |  1633122 |    18158    236 |        0 |        0
709.79/709.96	c  709s |      22 |  2481286 |  1637122 |    18158    236 |        0 |        0
711.79/711.98	c  711s |      22 |  2486793 |  1640422 |    18158    236 |        0 |        0
713.79/714.00	c  713s |      22 |  2491997 |  1643522 |    18158    237 |        0 |        0
715.89/716.05	c  715s |      22 |  2499147 |  1647722 |    18158    237 |        0 |        0
717.98/718.12	c  718s |      22 |  2504069 |  1650322 |    18158    237 |        0 |        0
719.98/720.14	c  720s |      22 |  2511254 |  1653622 |    18158    238 |        0 |        0
721.98/722.19	c  722s |      22 |  2518584 |  1657122 |    18158    238 |        0 |        0
724.18/724.38	c  724s |      22 |  2523603 |  1660422 |    18158    239 |        0 |        0
726.48/726.61	c  726s |      22 |  2529009 |  1663322 |    18158    239 |        0 |        0
728.48/728.66	c  728s |      22 |  2536043 |  1667022 |    18158    239 |        0 |        0
730.48/730.66	c  730s |      22 |  2540775 |  1670022 |    18158    240 |        0 |        0
732.49/732.67	c  732s |      22 |  2548474 |  1674322 |    18158    240 |        0 |        0
734.48/734.69	c  734s |      22 |  2554549 |  1677622 |    18158    240 |        0 |        0
736.99/737.15	c  737s |      22 |  2559022 |  1679822 |    18158    241 |        0 |        0
738.98/739.17	c  739s |      22 |  2568629 |  1684222 |    18158    241 |        0 |        0
741.08/741.21	c  741s |      22 |  2574403 |  1687722 |    18158    242 |        0 |        0
743.07/743.25	c  743s |      22 |  2577213 |  1689222 |    18158    242 |        0 |        0
745.07/745.26	c  745s |      22 |  2584228 |  1693222 |    18158    242 |        0 |        0
747.08/747.27	c  747s |      22 |  2590152 |  1695922 |    18158    242 |        0 |        0
749.28/749.42	c  749s |      22 |  2594045 |  1698022 |    18158    243 |        0 |        0
751.29/751.45	c  751s |      22 |  2600470 |  1702122 |    18158    243 |        0 |        0
753.28/753.48	c  753s |      22 |  2606335 |  1705022 |    18158    243 |        0 |        0
755.28/755.48	c  755s |      22 |  2611073 |  1707722 |    18158    244 |        0 |        0
757.38/757.52	c  757s |      22 |  2615189 |  1709722 |    18158    244 |        0 |        0
759.38/759.55	c  759s |      22 |  2620868 |  1712822 |    18158    244 |        0 |        0
762.18/762.39	c  762s |      22 |  2625738 |  1715522 |    18158    245 |        0 |        0
764.28/764.41	c  764s |      22 |  2632284 |  1720022 |    18158    245 |        0 |        0
766.27/766.42	c  766s |      22 |  2639166 |  1724522 |    18158    246 |        0 |        0
768.27/768.46	c  768s |      22 |  2645999 |  1728622 |    18158    246 |        0 |        0
770.27/770.47	c  770s |      22 |  2652649 |  1733022 |    18158    246 |        0 |        0
772.27/772.49	c  772s |      22 |  2657669 |  1734922 |    18158    247 |        0 |        0
774.28/774.50	c  774s |      22 |  2663374 |  1738222 |    18158    247 |        0 |        0
776.37/776.55	c  776s |      22 |  2668313 |  1741322 |    18158    247 |        0 |        0
778.47/778.62	c  778s |      22 |  2672152 |  1744122 |    18158    248 |        0 |        0
780.57/780.70	c  780s |      22 |  2676659 |  1747222 |    18158    248 |        0 |        0
782.57/782.76	c  782s |      22 |  2681155 |  1750022 |    18158    248 |        0 |        0
784.77/784.91	c  784s |      22 |  2685084 |  1752722 |    18158    249 |        0 |        0
786.77/786.96	c  786s |      22 |  2689358 |  1755722 |    18158    249 |        0 |        0
788.77/788.98	c  788s |      22 |  2693601 |  1758722 |    18158    249 |        0 |        0
791.97/792.18	c  792s |      22 |  2698431 |  1761222 |    18158    250 |        0 |        0
793.97/794.20	c  794s |      22 |  2703862 |  1764422 |    18158    250 |        0 |        0
796.07/796.24	c  796s |      22 |  2708297 |  1767222 |    18158    250 |        0 |        0
798.06/798.27	c  798s |      22 |  2712537 |  1770122 |    18158    251 |        0 |        0
800.06/800.27	c  800s |      22 |  2719784 |  1773322 |    18158    251 |        0 |        0
802.06/802.29	c  802s |      22 |  2731072 |  1777622 |    18158    251 |        0 |        0
804.16/804.32	c  804s |      22 |  2736060 |  1780722 |    18158    252 |        0 |        0
806.17/806.34	c  806s |      22 |  2741858 |  1784122 |    18158    252 |        0 |        0
808.16/808.35	c  808s |      22 |  2746082 |  1786922 |    18158    252 |        0 |        0
810.37/810.50	c  810s |      22 |  2749272 |  1788822 |    18158    253 |        0 |        0
812.37/812.52	c  812s |      22 |  2756527 |  1791322 |    18158    253 |        0 |        0
814.37/814.54	c  814s |      22 |  2760887 |  1794322 |    18158    253 |        0 |        0
816.47/816.61	c  816s |      22 |  2764719 |  1797022 |    18158    253 |        0 |        0
818.47/818.65	c  818s |      22 |  2768535 |  1799822 |    18158    254 |        0 |        0
820.48/820.67	c  820s |      22 |  2773917 |  1803222 |    18158    254 |        0 |        0
822.47/822.67	c  822s |      22 |  2778457 |  1806022 |    18158    254 |        0 |        0
824.47/824.67	c  824s |      22 |  2782713 |  1809022 |    18158    255 |        0 |        0
826.47/826.69	c  826s |      22 |  2787706 |  1812222 |    18158    255 |        0 |        0
828.57/828.71	c  828s |      22 |  2792080 |  1815222 |    18158    255 |        0 |        0
830.57/830.74	c  830s |      22 |  2795862 |  1818022 |    18158    256 |        0 |        0
832.57/832.78	c  832s |      22 |  2805078 |  1821522 |    18158    256 |        0 |        0
834.67/834.82	c  834s |      22 |  2808836 |  1824222 |    18158    256 |        0 |        0
836.66/836.83	c  836s |      22 |  2813471 |  1827222 |    18158    257 |        0 |        0
838.66/838.86	c  838s |      22 |  2817726 |  1830222 |    18158    257 |        0 |        0
840.66/840.88	c  840s |      22 |  2821469 |  1832622 |    18158    257 |        0 |        0
842.66/842.90	c  842s |      22 |  2825505 |  1835222 |    18158    258 |        0 |        0
845.16/845.30	c  845s |      22 |  2828618 |  1837822 |    18158    258 |        0 |        0
847.16/847.32	c  847s |      22 |  2835669 |  1842222 |    18158    258 |        0 |        0
849.17/849.34	c  849s |      22 |  2841671 |  1845922 |    18158    259 |        0 |        0
851.27/851.40	c  851s |      22 |  2847565 |  1849722 |    18158    259 |        0 |        0
853.26/853.47	c  853s |      22 |  2852104 |  1852722 |    18158    260 |        0 |        0
855.36/855.52	c  855s |      22 |  2859360 |  1857122 |    18158    260 |        0 |        0
857.46/857.69	c  857s |      22 |  2865873 |  1861022 |    18158    261 |        0 |        0
859.56/859.71	c  859s |      22 |  2872947 |  1864722 |    18158    261 |        0 |        0
861.56/861.75	c  861s |      22 |  2879794 |  1868322 |    18158    261 |        0 |        0
863.56/863.76	c  863s |      22 |  2885697 |  1871722 |    18158    262 |        0 |        0
865.56/865.77	c  865s |      22 |  2892172 |  1875222 |    18158    262 |        0 |        0
867.66/867.81	c  867s |      22 |  2898866 |  1878722 |    18158    262 |        0 |        0
869.65/869.83	c  869s |      22 |  2903548 |  1881222 |    18158    263 |        0 |        0
871.65/871.84	c  871s |      22 |  2911018 |  1885222 |    18158    263 |        0 |        0
873.65/873.87	c  873s |      22 |  2916609 |  1888522 |    18158    264 |        0 |        0
875.65/875.89	c  875s |      22 |  2923804 |  1893022 |    18158    264 |        0 |        0
877.76/877.93	c  877s |      22 |  2929325 |  1895922 |    18158    264 |        0 |        0
879.75/879.97	c  879s |      22 |  2934671 |  1898922 |    18158    265 |        0 |        0
881.75/881.98	c  881s |      22 |  2941787 |  1903122 |    18158    265 |        0 |        0
883.85/884.00	c  883s |      22 |  2948763 |  1906822 |    18158    266 |        0 |        0
885.85/886.01	c  885s |      22 |  2951593 |  1908622 |    18158    266 |        0 |        0
887.85/888.02	c  887s |      22 |  2960910 |  1913022 |    18158    266 |        0 |        0
889.86/890.04	c  889s |      22 |  2966307 |  1916322 |    18158    267 |        0 |        0
891.85/892.09	c  891s |      22 |  2973294 |  1920122 |    18158    267 |        0 |        0
894.76/894.98	c  894s |      22 |  2978639 |  1922522 |    18158    267 |        0 |        0
896.76/896.98	c  896s |      22 |  2984865 |  1925822 |    18158    268 |        0 |        0
899.66/899.81	c  899s |      22 |  2991068 |  1929622 |    18158    268 |        0 |        0
901.65/901.84	c  901s |      22 |  2997072 |  1932922 |    18158    268 |        0 |        0
903.65/903.87	c  903s |      22 |  3002979 |  1936222 |    18158    269 |        0 |        0
906.15/906.39	c  906s |      22 |  3010669 |  1939822 |    18158    269 |        0 |        0
908.15/908.39	c  908s |      22 |  3017696 |  1943722 |    18158    270 |        0 |        0
910.25/910.44	c  910s |      22 |  3025727 |  1948022 |    18158    270 |        0 |        0
912.35/912.51	c  912s |      22 |  3031408 |  1951522 |    18158    270 |        0 |        0
914.35/914.55	c  914s |      22 |  3034957 |  1953722 |    18158    271 |        0 |        0
916.35/916.56	c  916s |      22 |  3042940 |  1958122 |    18158    271 |        0 |        0
918.36/918.56	c  918s |      22 |  3048978 |  1961322 |    18158    271 |        0 |        0
920.35/920.58	c  920s |      22 |  3056892 |  1965022 |    18158    272 |        0 |        0
922.45/922.61	c  922s |      22 |  3063818 |  1968622 |    18158    272 |        0 |        0
924.45/924.63	c  924s |      22 |  3067906 |  1970822 |    18158    273 |        0 |        0
926.45/926.64	c  926s |      22 |  3072376 |  1973422 |    18158    273 |        0 |        0
928.45/928.68	c  928s |      22 |  3079355 |  1977522 |    18158    273 |        0 |        0
930.55/930.72	c  930s |      22 |  3086278 |  1981222 |    18158    274 |        0 |        0
932.55/932.79	c  932s |      22 |  3091554 |  1984322 |    18158    274 |        0 |        0
935.04/935.22	c  935s |      22 |  3096164 |  1987122 |    18158    274 |        0 |        0
937.05/937.28	c  937s |      22 |  3101931 |  1991122 |    18158    275 |        0 |        0
939.04/939.28	c  939s |      22 |  3108531 |  1995622 |    18158    275 |        0 |        0
941.14/941.32	c  941s |      22 |  3114104 |  1998822 |    18158    276 |        0 |        0
943.14/943.39	c  943s |      22 |  3120858 |  2002922 |    18158    276 |        0 |        0
945.24/945.42	c  945s |      22 |  3127026 |  2006422 |    18158    276 |        0 |        0
947.24/947.45	c  947s |      22 |  3132095 |  2009722 |    18158    277 |        0 |        0
949.25/949.45	c  949s |      22 |  3138372 |  2013622 |    18158    277 |        0 |        0
951.24/951.46	c  951s |      22 |  3144690 |  2016822 |    18158    278 |        0 |        0
953.24/953.49	c  953s |      22 |  3151894 |  2020522 |    18158    278 |        0 |        0
955.34/955.51	c  955s |      22 |  3157540 |  2024222 |    18158    278 |        0 |        0
957.34/957.54	c  957s |      22 |  3164715 |  2028622 |    18158    279 |        0 |        0
959.34/959.55	c  959s |      22 |  3171395 |  2031822 |    18158    279 |        0 |        0
961.35/961.58	c  961s |      22 |  3176458 |  2034922 |    18158    280 |        0 |        0
963.45/963.61	c  963s |      22 |  3181190 |  2037922 |    18158    280 |        0 |        0
965.45/965.62	c  965s |      22 |  3188565 |  2042022 |    18158    280 |        0 |        0
967.45/967.64	c  967s |      22 |  3194284 |  2045422 |    18158    281 |        0 |        0
969.45/969.67	c  969s |      22 |  3200546 |  2049222 |    18158    281 |        0 |        0
971.54/971.74	c  971s |      22 |  3205929 |  2052422 |    18158    281 |        0 |        0
973.54/973.77	c  973s |      22 |  3212443 |  2055922 |    18158    282 |        0 |        0
975.54/975.77	c  975s |      22 |  3219455 |  2059722 |    18158    282 |        0 |        0
978.04/978.22	c  978s |      22 |  3225227 |  2063222 |    18158    283 |        0 |        0
980.04/980.25	c  980s |      22 |  3233151 |  2067522 |    18158    283 |        0 |        0
982.03/982.28	c  982s |      22 |  3238897 |  2070822 |    18158    283 |        0 |        0
984.13/984.31	c  984s |      22 |  3245421 |  2074722 |    18158    284 |        0 |        0
986.13/986.36	c  986s |      22 |  3250219 |  2077622 |    18158    284 |        0 |        0
988.13/988.39	c  988s |      22 |  3255201 |  2081022 |    18158    285 |        0 |        0
990.23/990.40	c  990s |      22 |  3259725 |  2084022 |    18158    285 |        0 |        0
992.22/992.44	c  992s |      22 |  3267529 |  2087922 |    18158    285 |        0 |        0
994.23/994.47	c  994s |      22 |  3274486 |  2092222 |    18158    286 |        0 |        0
996.32/996.50	c  996s |      22 |  3282013 |  2096322 |    18158    286 |        0 |        0
998.32/998.55	c  998s |      22 |  3289003 |  2099822 |    18158    287 |        0 |        0
1000.32/1000.58	c 1000s |      22 |  3295554 |  2103522 |    18158    287 |        0 |        0
1002.41/1002.61	c 1002s |      22 |  3299338 |  2105922 |    18158    287 |        0 |        0
1004.41/1004.65	c 1004s |      22 |  3306215 |  2109722 |    18158    288 |        0 |        0
1006.51/1006.70	c 1006s |      22 |  3312752 |  2113622 |    18158    288 |        0 |        0
1008.52/1008.71	c 1008s |      22 |  3317822 |  2116522 |    18158    288 |        0 |        0
1010.51/1010.76	c 1010s |      22 |  3323280 |  2119522 |    18158    289 |        0 |        0
1012.51/1012.78	c 1012s |      22 |  3331161 |  2123422 |    18158    289 |        0 |        0
1014.51/1014.78	c 1014s |      22 |  3338640 |  2126822 |    18158    290 |        0 |        0
1017.01/1017.26	c 1017s |      22 |  3344290 |  2129722 |    18158    290 |        0 |        0
1019.01/1019.28	c 1019s |      22 |  3352260 |  2134222 |    18158    290 |        0 |        0
1021.10/1021.31	c 1021s |      22 |  3356802 |  2136622 |    18158    291 |        0 |        0
1023.10/1023.34	c 1023s |      22 |  3363465 |  2140922 |    18158    291 |        0 |        0
1025.20/1025.41	c 1025s |      22 |  3368348 |  2144122 |    18158    292 |        0 |        0
1027.21/1027.42	c 1027s |      22 |  3374093 |  2147522 |    18158    292 |        0 |        0
1029.20/1029.47	c 1029s |      22 |  3380398 |  2150222 |    18158    292 |        0 |        0
1031.40/1031.65	c 1031s |      22 |  3386011 |  2153222 |    18158    293 |        0 |        0
1033.40/1033.67	c 1033s |      22 |  3392597 |  2157522 |    18158    293 |        0 |        0
1035.50/1035.72	c 1035s |      22 |  3399960 |  2161222 |    18158    293 |        0 |        0
1037.50/1037.75	c 1037s |      22 |  3405724 |  2164222 |    18158    294 |        0 |        0
1039.49/1039.76	c 1039s |      22 |  3412529 |  2168522 |    18158    294 |        0 |        0
1041.79/1042.02	c 1041s |      22 |  3418426 |  2171622 |    18158    295 |        0 |        0
1043.80/1044.04	c 1043s |      22 |  3424203 |  2175222 |    18158    295 |        0 |        0
1045.79/1046.05	c 1045s |      22 |  3432490 |  2178922 |    18158    295 |        0 |        0
1047.89/1048.15	c 1048s |      22 |  3439670 |  2182322 |    18158    296 |        0 |        0
1049.89/1050.16	c 1050s |      22 |  3445047 |  2185722 |    18158    296 |        0 |        0
1051.99/1052.21	c 1052s |      22 |  3451324 |  2189422 |    18158    296 |        0 |        0
1053.99/1054.26	c 1054s |      22 |  3457654 |  2193222 |    18158    297 |        0 |        0
1055.99/1056.26	c 1056s |      22 |  3463955 |  2197022 |    18158    297 |        0 |        0
1057.99/1058.29	c 1058s |      22 |  3470675 |  2200522 |    18158    298 |        0 |        0
1059.98/1060.29	c 1060s |      22 |  3477537 |  2204122 |    18158    298 |        0 |        0
1061.98/1062.29	c 1062s |      22 |  3483425 |  2207622 |    18158    298 |        0 |        0
1064.09/1064.31	c 1064s |      22 |  3486834 |  2209922 |    18158    299 |        0 |        0
1066.09/1066.32	c 1066s |      22 |  3494212 |  2213722 |    18158    299 |        0 |        0
1068.29/1068.50	c 1068s |      22 |  3501180 |  2217022 |    18158    300 |        0 |        0
1070.29/1070.52	c 1070s |      22 |  3507192 |  2220522 |    18158    300 |        0 |        0
1072.29/1072.53	c 1072s |      22 |  3513953 |  2224322 |    18158    300 |        0 |        0
1074.28/1074.57	c 1074s |      22 |  3521209 |  2227922 |    18158    301 |        0 |        0
1076.38/1076.62	c 1076s |      22 |  3525468 |  2230222 |    18158    301 |        0 |        0
1078.38/1078.67	c 1078s |      22 |  3531729 |  2233922 |    18158    301 |        0 |        0
1080.48/1080.73	c 1080s |      22 |  3537607 |  2237122 |    19974    302 |        0 |        0
1082.47/1082.76	c 1082s |      22 |  3544893 |  2240822 |    19974    302 |        0 |        0
1084.48/1084.79	c 1084s |      22 |  3549704 |  2243422 |    19974    302 |        0 |        0
1086.58/1086.81	c 1086s |      22 |  3555301 |  2246522 |    19974    302 |        0 |        0
1088.57/1088.82	c 1088s |      22 |  3560614 |  2249622 |    19974    303 |        0 |        0
1089.17/1089.49	c 1089s |      23 |  3563449 |  2251038 |    19974    303 |        0 |        0
1091.27/1091.54	c 1091s |      23 |  3568321 |  2253638 |    19974    303 |        0 |        0
1093.27/1093.57	c 1093s |      23 |  3571513 |  2255638 |    19974    303 |        0 |        0
1095.37/1095.64	c 1095s |      23 |  3574983 |  2258138 |    19974    304 |        0 |        0
1097.47/1097.71	c 1097s |      23 |  3579538 |  2261338 |    19974    304 |        0 |        0
1099.46/1099.75	c 1099s |      23 |  3584106 |  2264138 |    19974    304 |        0 |        0
1101.46/1101.78	c 1101s |      23 |  3587611 |  2266538 |    19974    304 |        0 |        0
1103.56/1103.87	c 1103s |      23 |  3590732 |  2268738 |    19974    305 |        0 |        0
1105.75/1106.00	c 1105s |      23 |  3594498 |  2271238 |    19974    305 |        0 |        0
1107.75/1108.02	c 1107s |      23 |  3597966 |  2273738 |    19974    305 |        0 |        0
1109.85/1110.12	c 1110s |      23 |  3601116 |  2276038 |    19974    305 |        0 |        0
1111.86/1112.17	c 1112s |      23 |  3603773 |  2278038 |    19974    306 |        0 |        0
1113.85/1114.19	c 1114s |      23 |  3607279 |  2280338 |    19974    306 |        0 |        0
1115.95/1116.25	c 1116s |      23 |  3611608 |  2283338 |    19974    306 |        0 |        0
1117.95/1118.28	c 1118s |      23 |  3615918 |  2286138 |    19974    306 |        0 |        0
1120.15/1120.42	c 1120s |      23 |  3617637 |  2287338 |    19974    307 |        0 |        0
1122.15/1122.47	c 1122s |      23 |  3621920 |  2290438 |    19974    307 |        0 |        0
1124.15/1124.49	c 1124s |      23 |  3626751 |  2293838 |    19974    307 |        0 |        0
1126.26/1126.52	c 1126s |      23 |  3631251 |  2297138 |    19974    307 |        0 |        0
1128.25/1128.58	c 1128s |      23 |  3636127 |  2300538 |    19974    308 |        0 |        0
1130.25/1130.60	c 1130s |      23 |  3640529 |  2303538 |    19974    308 |        0 |        0
1132.34/1132.62	c 1132s |      23 |  3645122 |  2306338 |    19974    308 |        0 |        0
1134.34/1134.66	c 1134s |      23 |  3648919 |  2309038 |    19974    309 |        0 |        0
1136.44/1136.70	c 1136s |      23 |  3656112 |  2312938 |    19974    309 |        0 |        0
1138.44/1138.74	c 1138s |      23 |  3660678 |  2316838 |    19974    309 |        0 |        0
1140.74/1141.02	c 1140s |      23 |  3666960 |  2320638 |    19974    310 |        0 |        0
1142.74/1143.05	c 1142s |      23 |  3677018 |  2324638 |    19974    310 |        0 |        0
1144.84/1145.16	c 1145s |      23 |  3683734 |  2328638 |    19974    311 |        0 |        0
1146.93/1147.21	c 1147s |      23 |  3690472 |  2333438 |    19974    311 |        0 |        0
1148.93/1149.22	c 1149s |      23 |  3695681 |  2337038 |    19974    311 |        0 |        0
1150.93/1151.27	c 1151s |      23 |  3701115 |  2340238 |    19974    312 |        0 |        0
1153.03/1153.34	c 1153s |      23 |  3706512 |  2343638 |    19974    312 |        0 |        0
1155.03/1155.37	c 1155s |      23 |  3711911 |  2346438 |    19974    312 |        0 |        0
1157.13/1157.40	c 1157s |      23 |  3717284 |  2349938 |    19974    313 |        0 |        0
1159.13/1159.45	c 1159s |      23 |  3724328 |  2353438 |    19974    313 |        0 |        0
1161.22/1161.59	c 1161s |      23 |  3732214 |  2357738 |    19974    314 |        0 |        0
1163.32/1163.69	c 1163s |      23 |  3738819 |  2362338 |    19974    314 |        0 |        0
1165.42/1165.72	c 1165s |      23 |  3745386 |  2366238 |    19974    314 |        0 |        0
1167.42/1167.79	c 1167s |      23 |  3755646 |  2370638 |    19974    315 |        0 |        0
1169.52/1169.81	c 1169s |      23 |  3762922 |  2374338 |    19974    315 |        0 |        0
1171.51/1171.84	c 1171s |      23 |  3768967 |  2376938 |    19974    315 |        0 |        0
1173.52/1173.84	c 1173s |      23 |  3774155 |  2380538 |    19974    316 |        0 |        0
1175.51/1175.84	c 1175s |      23 |  3779625 |  2383538 |    19974    316 |        0 |        0
1177.51/1177.86	c 1177s |      23 |  3786072 |  2386838 |    19974    316 |        0 |        0
1179.61/1179.91	c 1179s |      23 |  3790628 |  2389238 |    19974    317 |        0 |        0
1181.62/1181.92	c 1181s |      23 |  3796441 |  2392438 |    19974    317 |        0 |        0
1183.62/1183.98	c 1183s |      23 |  3802970 |  2395638 |    19974    317 |        0 |        0
1185.71/1186.02	c 1185s |      23 |  3808675 |  2399038 |    19974    318 |        0 |        0
1188.31/1188.68	c 1188s |      23 |  3814743 |  2402438 |    19974    318 |        0 |        0
1190.41/1190.76	c 1190s |      23 |  3823084 |  2406238 |    19974    318 |        0 |        0
1192.41/1192.78	c 1192s |      23 |  3830033 |  2410138 |    19974    319 |        0 |        0
1194.51/1194.85	c 1194s |      23 |  3836717 |  2413838 |    19974    319 |        0 |        0
1196.51/1196.89	c 1196s |      23 |  3841589 |  2416638 |    19974    319 |        0 |        0
1198.60/1198.93	c 1198s |      23 |  3844862 |  2418338 |    19974    320 |        0 |        0
1200.60/1200.94	c 1200s |      23 |  3851972 |  2422238 |    19974    320 |        0 |        0
1202.70/1203.01	c 1202s |      23 |  3857768 |  2425138 |    19974    320 |        0 |        0
1204.70/1205.06	c 1204s |      23 |  3862240 |  2427438 |    19974    320 |        0 |        0
1206.70/1207.07	c 1206s |      23 |  3867841 |  2431138 |    19974    321 |        0 |        0
1208.80/1209.13	c 1209s |      23 |  3874114 |  2435138 |    19974    321 |        0 |        0
1210.80/1211.17	c 1211s |      23 |  3879873 |  2438038 |    19974    322 |        0 |        0
1212.90/1213.21	c 1213s |      23 |  3885933 |  2442538 |    19974    322 |        0 |        0
1214.89/1215.26	c 1215s |      23 |  3891483 |  2445738 |    19974    322 |        0 |        0
1216.89/1217.28	c 1217s |      23 |  3896823 |  2449538 |    19974    323 |        0 |        0
1218.89/1219.29	c 1219s |      23 |  3901558 |  2452238 |    19974    323 |        0 |        0
1220.99/1221.30	c 1221s |      23 |  3907417 |  2455838 |    19974    323 |        0 |        0
1222.99/1223.32	c 1223s |      23 |  3912646 |  2458438 |    19974    324 |        0 |        0
1225.39/1225.74	c 1225s |      23 |  3918349 |  2461438 |    19974    324 |        0 |        0
1227.39/1227.74	c 1227s |      23 |  3926714 |  2465838 |    19974    324 |        0 |        0
1229.39/1229.77	c 1229s |      23 |  3931865 |  2469438 |    19974    325 |        0 |        0
1231.38/1231.77	c 1231s |      23 |  3937380 |  2473138 |    19974    325 |        0 |        0
1233.38/1233.79	c 1233s |      23 |  3943672 |  2477438 |    19974    325 |        0 |        0
1235.38/1235.79	c 1235s |      23 |  3947697 |  2479838 |    19974    326 |        0 |        0
1237.38/1237.79	c 1237s |      23 |  3954308 |  2484538 |    19974    326 |        0 |        0
1239.49/1239.81	c 1239s |      23 |  3960409 |  2487638 |    19974    326 |        0 |        0
1241.47/1241.85	c 1241s |      23 |  3966545 |  2491438 |    19974    327 |        0 |        0
1243.97/1244.33	c 1244s |      23 |  3974665 |  2495438 |    19974    327 |        0 |        0
1245.98/1246.33	c 1246s |      23 |  3980556 |  2498738 |    19974    328 |        0 |        0
1248.58/1248.93	c 1248s |      23 |  3985015 |  2500938 |    19974    328 |        0 |        0
1250.58/1250.95	c 1250s |      23 |  3991174 |  2505238 |    19974    328 |        0 |        0
1253.17/1253.54	c 1253s |      23 |  3997344 |  2509338 |    19974    329 |        0 |        0
1255.17/1255.56	c 1255s |      23 |  4005570 |  2513538 |    19974    329 |        0 |        0
1257.17/1257.57	c 1257s |      23 |  4012242 |  2516738 |    19974    329 |        0 |        0
1259.28/1259.60	c 1259s |      23 |  4018277 |  2520338 |    19974    330 |        0 |        0
1261.27/1261.63	c 1261s |      23 |  4025124 |  2523738 |    19974    330 |        0 |        0
1263.27/1263.63	c 1263s |      23 |  4027986 |  2525538 |    19974    330 |        0 |        0
1265.27/1265.66	c 1265s |      23 |  4033393 |  2528138 |    19974    330 |        0 |        0
1267.27/1267.66	c 1267s |      23 |  4036837 |  2530238 |    19974    331 |        0 |        0
1269.27/1269.69	c 1269s |      23 |  4044651 |  2535638 |    19974    331 |        0 |        0
1271.37/1271.70	c 1271s |      23 |  4050315 |  2539438 |    19974    332 |        0 |        0
1273.37/1273.80	c 1273s |      23 |  4056289 |  2542838 |    19974    332 |        0 |        0
1275.47/1275.86	c 1275s |      23 |  4061297 |  2545838 |    19974    332 |        0 |        0
1277.47/1277.89	c 1277s |      23 |  4066359 |  2548838 |    19974    333 |        0 |        0
1279.57/1279.94	c 1279s |      23 |  4073440 |  2552138 |    19974    333 |        0 |        0
1281.56/1281.99	c 1281s |      23 |  4078280 |  2555038 |    19974    333 |        0 |        0
1283.66/1284.03	c 1283s |      23 |  4082743 |  2557738 |    19974    333 |        0 |        0
1285.67/1286.05	c 1285s |      23 |  4087944 |  2561738 |    19974    334 |        0 |        0
1287.87/1288.26	c 1288s |      23 |  4092063 |  2564538 |    19974    334 |        0 |        0
1289.86/1290.28	c 1290s |      23 |  4099288 |  2568638 |    19974    335 |        0 |        0
1291.95/1292.32	c 1292s |      23 |  4106353 |  2573238 |    19974    335 |        0 |        0
1293.95/1294.34	c 1294s |      23 |  4113360 |  2577438 |    19974    335 |        0 |        0
1295.95/1296.36	c 1296s |      23 |  4119402 |  2581338 |    19974    336 |        0 |        0
1297.95/1298.38	c 1298s |      23 |  4125328 |  2585038 |    19974    336 |        0 |        0
1300.05/1300.41	c 1300s |      23 |  4129814 |  2587738 |    19974    336 |        0 |        0
1302.35/1302.74	c 1302s |      23 |  4134730 |  2591038 |    19974    337 |        0 |        0
1304.44/1304.81	c 1304s |      23 |  4141396 |  2595038 |    19974    337 |        0 |        0
1306.64/1307.02	c 1306s |      23 |  4147161 |  2598438 |    19974    338 |        0 |        0
1308.65/1309.04	c 1308s |      23 |  4149395 |  2599538 |    19974    338 |        0 |        0
1310.74/1311.11	c 1311s |      23 |  4154955 |  2603238 |    19974    338 |        0 |        0
1312.74/1313.16	c 1313s |      23 |  4160433 |  2606338 |    19974    338 |        0 |        0
1314.84/1315.27	c 1315s |      23 |  4165330 |  2609238 |    19974    339 |        0 |        0
1316.84/1317.29	c 1317s |      23 |  4172751 |  2613438 |    19974    339 |        0 |        0
1318.94/1319.30	c 1319s |      23 |  4178652 |  2617438 |    19974    339 |        0 |        0
1320.94/1321.33	c 1321s |      23 |  4182658 |  2619638 |    19974    340 |        0 |        0
1322.95/1323.35	c 1323s |      23 |  4189981 |  2623238 |    19974    340 |        0 |        0
1324.94/1325.37	c 1325s |      23 |  4195731 |  2626738 |    19974    340 |        0 |        0
1326.94/1327.38	c 1327s |      23 |  4200086 |  2629438 |    19974    341 |        0 |        0
1329.04/1329.42	c 1329s |      23 |  4204755 |  2632138 |    19974    341 |        0 |        0
1331.03/1331.43	c 1331s |      23 |  4212386 |  2636138 |    19974    341 |        0 |        0
1333.03/1333.45	c 1333s |      23 |  4219242 |  2640038 |    19974    342 |        0 |        0
1335.03/1335.48	c 1335s |      23 |  4223535 |  2642338 |    19974    342 |        0 |        0
1337.12/1337.57	c 1337s |      23 |  4229644 |  2646238 |    19974    342 |        0 |        0
1339.12/1339.59	c 1339s |      23 |  4234183 |  2649538 |    19974    343 |        0 |        0
1341.23/1341.60	c 1341s |      23 |  4239483 |  2652638 |    19974    343 |        0 |        0
1343.23/1343.66	c 1343s |      23 |  4246407 |  2657138 |    19974    343 |        0 |        0
1345.23/1345.68	c 1345s |      23 |  4248682 |  2658538 |    19974    344 |        0 |        0
1347.32/1347.79	c 1347s |      23 |  4253925 |  2661738 |    19974    344 |        0 |        0
1349.33/1349.80	c 1349s |      23 |  4260875 |  2666238 |    19974    344 |        0 |        0
1351.42/1351.82	c 1351s |      23 |  4266549 |  2669238 |    19974    345 |        0 |        0
1353.42/1353.83	c 1353s |      23 |  4272842 |  2673038 |    19974    345 |        0 |        0
1355.42/1355.83	c 1355s |      23 |  4278268 |  2676238 |    19974    345 |        0 |        0
1357.41/1357.84	c 1357s |      23 |  4283055 |  2679338 |    19974    346 |        0 |        0
1359.41/1359.86	c 1359s |      23 |  4288198 |  2682638 |    19974    346 |        0 |        0
1361.41/1361.86	c 1361s |      23 |  4294491 |  2686338 |    19974    346 |        0 |        0
1365.11/1365.54	c 1365s |      23 |  4297585 |  2688638 |    19974    347 |        0 |        0
1367.11/1367.57	c 1367s |      23 |  4304193 |  2692338 |    19974    347 |        0 |        0
1369.12/1369.59	c 1369s |      23 |  4309611 |  2696138 |    19974    347 |        0 |        0
1372.10/1372.50	c 1372s |      23 |  4316525 |  2698838 |    19974    348 |        0 |        0
1374.10/1374.50	c 1374s |      23 |  4319901 |  2700838 |    19974    348 |        0 |        0
1376.10/1376.51	c 1376s |      23 |  4326696 |  2705238 |    19974    348 |        0 |        0
1378.10/1378.54	c 1378s |      23 |  4332389 |  2707938 |    19974    348 |        0 |        0
1380.11/1380.56	c 1380s |      23 |  4338122 |  2711738 |    19974    349 |        0 |        0
1382.09/1382.58	c 1382s |      23 |  4344806 |  2716438 |    19974    349 |        0 |        0
1384.09/1384.59	c 1384s |      23 |  4350439 |  2720238 |    19974    350 |        0 |        0
1386.19/1386.61	c 1386s |      23 |  4357602 |  2724638 |    19974    350 |        0 |        0
1388.19/1388.63	c 1388s |      23 |  4363078 |  2728338 |    19974    350 |        0 |        0
1390.19/1390.68	c 1390s |      23 |  4366441 |  2730238 |    19974    351 |        0 |        0
1392.30/1392.75	c 1392s |      23 |  4371343 |  2733138 |    19974    351 |        0 |        0
1394.29/1394.77	c 1394s |      23 |  4377027 |  2736538 |    19974    351 |        0 |        0
1396.49/1396.95	c 1396s |      23 |  4382125 |  2739338 |    19974    352 |        0 |        0
1398.49/1398.98	c 1398s |      23 |  4388915 |  2743038 |    19974    352 |        0 |        0
1400.59/1401.01	c 1400s |      23 |  4394782 |  2746338 |    19974    352 |        0 |        0
1403.08/1403.57	c 1403s |      23 |  4397696 |  2748538 |    19974    353 |        0 |        0
1405.18/1405.61	c 1405s |      23 |  4404202 |  2752238 |    19974    353 |        0 |        0
1407.18/1407.62	c 1407s |      23 |  4409512 |  2755438 |    19974    353 |        0 |        0
1409.18/1409.66	c 1409s |      23 |  4415791 |  2759938 |    19974    354 |        0 |        0
1412.48/1412.92	c 1412s |      23 |  4420978 |  2762938 |    19974    354 |        0 |        0
1414.48/1414.94	c 1414s |      23 |  4427291 |  2766638 |    19974    354 |        0 |        0
1416.49/1416.96	c 1416s |      23 |  4432773 |  2770438 |    19974    355 |        0 |        0
1418.48/1418.97	c 1418s |      23 |  4441136 |  2775238 |    19974    355 |        0 |        0
1420.58/1421.07	c 1420s |      23 |  4446953 |  2778938 |    19974    356 |        0 |        0
1422.58/1423.09	c 1422s |      23 |  4454697 |  2783138 |    19974    356 |        0 |        0
1424.68/1425.11	c 1425s |      23 |  4460643 |  2786938 |    19974    356 |        0 |        0
1426.68/1427.17	c 1427s |      23 |  4466031 |  2790238 |    19974    357 |        0 |        0
1428.68/1429.18	c 1429s |      23 |  4471144 |  2793238 |    19974    357 |        0 |        0
1430.78/1431.24	c 1431s |      23 |  4477204 |  2796038 |    19974    357 |        0 |        0
1433.47/1433.98	c 1433s |      23 |  4481192 |  2798238 |    19974    357 |        0 |        0
1435.57/1436.01	c 1435s |      23 |  4488431 |  2802038 |    19974    358 |        0 |        0
1437.57/1438.02	c 1437s |      23 |  4494489 |  2806338 |    19974    358 |        0 |        0
1439.58/1440.03	c 1439s |      23 |  4499928 |  2810338 |    19974    359 |        0 |        0
1441.57/1442.07	c 1441s |      23 |  4509267 |  2814638 |    19974    359 |        0 |        0
1443.67/1444.12	c 1444s |      23 |  4514661 |  2818238 |    19974    359 |        0 |        0
1445.67/1446.16	c 1446s |      23 |  4517297 |  2819938 |    19974    360 |        0 |        0
1447.66/1448.18	c 1448s |      23 |  4523858 |  2824138 |    19974    360 |        0 |        0
1449.66/1450.19	c 1450s |      23 |  4529888 |  2827938 |    19974    360 |        0 |        0
1452.36/1452.80	c 1452s |      23 |  4532722 |  2829538 |    19974    361 |        0 |        0
1454.36/1454.83	c 1454s |      23 |  4540563 |  2833638 |    19974    361 |        0 |        0
1456.36/1456.88	c 1456s |      23 |  4547299 |  2837138 |    19974    361 |        0 |        0
1458.46/1458.90	c 1458s |      23 |  4553094 |  2840238 |    19974    362 |        0 |        0
1460.46/1460.96	c 1460s |      23 |  4559127 |  2843038 |    19974    362 |        0 |        0
1462.56/1463.03	c 1462s |      23 |  4563729 |  2845438 |    19974    362 |        0 |        0
1464.55/1465.09	c 1464s |      23 |  4568003 |  2847638 |    19974    362 |        0 |        0
1466.85/1467.35	c 1467s |      23 |  4570891 |  2849138 |    19974    363 |        0 |        0
1468.85/1469.36	c 1469s |      23 |  4578450 |  2851538 |    19974    363 |        0 |        0
1470.85/1471.39	c 1471s |      23 |  4589010 |  2856138 |    19974    363 |        0 |        0
1472.95/1473.40	c 1473s |      23 |  4595030 |  2860038 |    19974    364 |        0 |        0
1474.95/1475.41	c 1475s |      23 |  4602468 |  2864338 |    19974    364 |        0 |        0
1476.95/1477.44	c 1477s |      23 |  4608933 |  2868938 |    19974    364 |        0 |        0
1478.94/1479.46	c 1479s |      23 |  4612959 |  2872038 |    19974    365 |        0 |        0
1481.04/1481.52	c 1481s |      23 |  4619604 |  2875738 |    19974    365 |        0 |        0
1483.04/1483.59	c 1483s |      23 |  4625472 |  2879238 |    19974    366 |        0 |        0
1485.14/1485.61	c 1485s |      23 |  4630981 |  2882538 |    19974    366 |        0 |        0
1487.14/1487.61	c 1487s |      23 |  4637937 |  2886938 |    19974    366 |        0 |        0
1489.14/1489.63	c 1489s |      23 |  4641841 |  2889238 |    19974    367 |        0 |        0
1491.14/1491.65	c 1491s |      23 |  4650085 |  2893638 |    19974    367 |        0 |        0
1493.13/1493.68	c 1493s |      23 |  4657090 |  2897738 |    19974    367 |        0 |        0
1495.23/1495.73	c 1495s |      23 |  4663900 |  2901338 |    19974    368 |        0 |        0
1497.23/1497.75	c 1497s |      23 |  4670175 |  2905438 |    19974    368 |        0 |        0
1499.34/1499.80	c 1499s |      23 |  4675770 |  2908838 |    19974    368 |        0 |        0
1501.34/1501.81	c 1501s |      23 |  4680684 |  2911938 |    19974    369 |        0 |        0
1503.34/1503.85	c 1503s |      23 |  4687221 |  2915438 |    19974    369 |        0 |        0
1505.34/1505.87	c 1505s |      23 |  4693228 |  2919838 |    19974    370 |        0 |        0
1507.34/1507.89	c 1507s |      23 |  4700330 |  2924438 |    19974    370 |        0 |        0
1509.44/1509.93	c 1509s |      23 |  4706998 |  2928638 |    19974    370 |        0 |        0
1511.53/1512.04	c 1511s |      23 |  4713765 |  2932638 |    19974    371 |        0 |        0
1513.53/1514.05	c 1513s |      23 |  4720916 |  2936838 |    19974    371 |        0 |        0
1515.63/1516.15	c 1516s |      23 |  4725913 |  2939938 |    19974    372 |        0 |        0
1517.64/1518.18	c 1518s |      23 |  4732766 |  2943938 |    19974    372 |        0 |        0
1519.63/1520.19	c 1520s |      23 |  4739206 |  2947938 |    19974    372 |        0 |        0
1521.73/1522.24	c 1522s |      23 |  4745115 |  2952138 |    19974    373 |        0 |        0
1523.73/1524.26	c 1524s |      23 |  4750655 |  2956438 |    19974    373 |        0 |        0
1525.83/1526.34	c 1526s |      23 |  4755118 |  2959638 |    19974    374 |        0 |        0
1527.83/1528.36	c 1528s |      23 |  4761136 |  2963538 |    19974    374 |        0 |        0
1529.83/1530.37	c 1530s |      23 |  4766315 |  2967238 |    19974    374 |        0 |        0
1531.83/1532.39	c 1532s |      23 |  4771518 |  2970338 |    19974    375 |        0 |        0
1533.92/1534.42	c 1534s |      23 |  4777019 |  2974038 |    19974    375 |        0 |        0
1535.92/1536.44	c 1536s |      23 |  4783490 |  2978138 |    19974    375 |        0 |        0
1537.92/1538.45	c 1538s |      23 |  4789798 |  2982238 |    19974    376 |        0 |        0
1539.92/1540.46	c 1540s |      23 |  4798734 |  2986838 |    19974    376 |        0 |        0
1541.91/1542.46	c 1542s |      23 |  4805103 |  2990638 |    19974    377 |        0 |        0
1543.92/1544.49	c 1544s |      23 |  4812513 |  2995538 |    19974    377 |        0 |        0
1546.01/1546.53	c 1546s |      23 |  4821350 |  2999638 |    19974    377 |        0 |        0
1548.01/1548.53	c 1548s |      23 |  4828884 |  3004138 |    19974    378 |        0 |        0
1550.01/1550.55	c 1550s |      23 |  4835466 |  3008038 |    19974    378 |        0 |        0
1552.01/1552.58	c 1552s |      23 |  4841634 |  3012038 |    19974    379 |        0 |        0
1554.11/1554.62	c 1554s |      23 |  4848121 |  3016338 |    19974    379 |        0 |        0
1556.21/1556.74	c 1556s |      23 |  4854032 |  3019738 |    19974    380 |        0 |        0
1558.21/1558.79	c 1558s |      23 |  4861762 |  3023738 |    19974    380 |        0 |        0
1560.31/1560.87	c 1560s |      23 |  4869640 |  3027038 |    19974    380 |        0 |        0
1562.40/1562.92	c 1562s |      23 |  4875328 |  3030738 |    19974    381 |        0 |        0
1564.40/1564.98	c 1564s |      23 |  4882423 |  3034938 |    19974    381 |        0 |        0
1566.50/1567.04	c 1566s |      23 |  4889356 |  3038638 |    19974    381 |        0 |        0
1568.50/1569.06	c 1568s |      23 |  4897154 |  3042838 |    19974    382 |        0 |        0
1570.60/1571.10	c 1570s |      23 |  4904662 |  3046538 |    19974    382 |        0 |        0
1572.60/1573.13	c 1573s |      23 |  4911353 |  3049838 |    19974    382 |        0 |        0
1574.59/1575.17	c 1575s |      23 |  4919694 |  3053738 |    19974    383 |        0 |        0
1576.69/1577.20	c 1577s |      23 |  4925939 |  3057538 |    19974    383 |        0 |        0
1578.69/1579.23	c 1579s |      23 |  4930958 |  3060238 |    19974    384 |        0 |        0
1580.69/1581.24	c 1581s |      23 |  4938712 |  3064238 |    19974    384 |        0 |        0
1582.68/1583.25	c 1583s |      23 |  4945268 |  3068338 |    19974    384 |        0 |        0
1584.69/1585.28	c 1585s |      23 |  4951381 |  3071938 |    19974    385 |        0 |        0
1586.79/1587.31	c 1587s |      23 |  4958590 |  3075838 |    19974    385 |        0 |        0
1588.78/1589.32	c 1589s |      23 |  4965020 |  3079238 |    19974    385 |        0 |        0
1590.78/1591.33	c 1591s |      23 |  4970860 |  3082738 |    19974    386 |        0 |        0
1592.78/1593.37	c 1593s |      23 |  4976406 |  3085838 |    19974    386 |        0 |        0
1594.88/1595.48	c 1595s |      23 |  4982664 |  3089838 |    19974    387 |        0 |        0
1596.98/1597.51	c 1597s |      23 |  4992134 |  3094138 |    19974    387 |        0 |        0
1599.00/1599.53	c 1599s |      23 |  4998651 |  3097038 |    19974    387 |        0 |        0
1601.09/1601.61	c 1601s |      23 |  5004130 |  3100038 |    19974    388 |        0 |        0
1603.09/1603.63	c 1603s |      23 |  5010337 |  3103638 |    19974    388 |        0 |        0
1605.09/1605.65	c 1605s |      23 |  5017062 |  3108438 |    19974    388 |        0 |        0
1607.09/1607.68	c 1607s |      23 |  5024500 |  3111938 |    19974    389 |        0 |        0
1609.09/1609.70	c 1609s |      23 |  5031234 |  3115738 |    19974    389 |        0 |        0
1611.19/1611.70	c 1611s |      23 |  5036179 |  3118638 |    19974    389 |        0 |        0
1613.19/1613.70	c 1613s |      23 |  5041752 |  3121738 |    19974    390 |        0 |        0
1615.19/1615.73	c 1615s |      23 |  5047146 |  3125038 |    19974    390 |        0 |        0
1617.39/1617.93	c 1617s |      23 |  5051918 |  3128038 |    19974    390 |        0 |        0
1619.38/1619.97	c 1619s |      23 |  5059306 |  3131738 |    19974    391 |        0 |        0
1621.48/1622.04	c 1621s |      23 |  5066520 |  3135238 |    19974    391 |        0 |        0
1623.48/1624.08	c 1623s |      23 |  5072040 |  3138138 |    19974    391 |        0 |        0
1625.58/1626.16	c 1626s |      23 |  5076925 |  3140438 |    19974    392 |        0 |        0
1627.68/1628.24	c 1628s |      23 |  5086882 |  3145238 |    19974    392 |        0 |        0
1629.69/1630.24	c 1630s |      23 |  5093062 |  3148738 |    19974    392 |        0 |        0
1631.68/1632.26	c 1632s |      23 |  5099332 |  3152438 |    19974    393 |        0 |        0
1633.67/1634.28	c 1634s |      23 |  5107494 |  3157038 |    19974    393 |        0 |        0
1635.87/1636.40	c 1636s |      23 |  5113636 |  3160338 |    19974    394 |        0 |        0
1637.87/1638.45	c 1638s |      23 |  5121348 |  3164338 |    19974    394 |        0 |        0
1639.87/1640.45	c 1640s |      23 |  5128528 |  3168238 |    19974    394 |        0 |        0
1641.87/1642.49	c 1642s |      23 |  5133965 |  3171338 |    19974    395 |        0 |        0
1643.97/1644.53	c 1644s |      23 |  5141323 |  3174838 |    19974    395 |        0 |        0
1645.97/1646.58	c 1646s |      23 |  5146533 |  3177838 |    19974    395 |        0 |        0
1648.07/1648.64	c 1648s |      23 |  5152549 |  3180738 |    19974    396 |        0 |        0
1650.07/1650.67	c 1650s |      23 |  5159518 |  3184238 |    19974    396 |        0 |        0
1652.16/1652.70	c 1652s |      23 |  5165837 |  3187338 |    19974    396 |        0 |        0
1654.16/1654.74	c 1654s |      23 |  5171376 |  3190038 |    19974    396 |        0 |        0
1656.17/1656.77	c 1656s |      23 |  5176425 |  3193038 |    19974    397 |        0 |        0
1658.16/1658.78	c 1658s |      23 |  5183502 |  3197438 |    19974    397 |        0 |        0
1660.26/1660.80	c 1660s |      23 |  5190733 |  3201338 |    19974    398 |        0 |        0
1662.26/1662.87	c 1662s |      23 |  5197400 |  3204738 |    19974    398 |        0 |        0
1664.36/1664.90	c 1664s |      23 |  5205484 |  3208638 |    19974    398 |        0 |        0
1666.36/1666.92	c 1666s |      23 |  5211221 |  3211638 |    19974    399 |        0 |        0
1668.36/1668.93	c 1668s |      23 |  5218004 |  3215738 |    19974    399 |        0 |        0
1670.37/1670.94	c 1670s |      23 |  5223741 |  3219338 |    19974    399 |        0 |        0
1672.36/1672.95	c 1672s |      23 |  5229319 |  3222238 |    19974    400 |        0 |        0
1674.36/1674.95	c 1674s |      23 |  5235929 |  3225638 |    19974    400 |        0 |        0
1676.36/1676.99	c 1676s |      23 |  5241365 |  3228738 |    19974    400 |        0 |        0
1678.46/1679.01	c 1678s |      23 |  5247269 |  3231738 |    19974    401 |        0 |        0
1680.46/1681.01	c 1680s |      23 |  5253414 |  3235238 |    19974    401 |        0 |        0
1682.46/1683.04	c 1682s |      23 |  5259356 |  3238538 |    19974    401 |        0 |        0
1684.46/1685.04	c 1684s |      23 |  5264943 |  3241338 |    19974    402 |        0 |        0
1686.45/1687.04	c 1686s |      23 |  5269896 |  3244338 |    19974    402 |        0 |        0
1688.55/1689.11	c 1689s |      23 |  5275433 |  3247638 |    19974    402 |        0 |        0
1690.55/1691.17	c 1691s |      23 |  5279590 |  3250238 |    19974    403 |        0 |        0
1692.65/1693.20	c 1693s |      23 |  5284830 |  3254338 |    19974    403 |        0 |        0
1694.67/1695.27	c 1695s |      23 |  5291551 |  3257838 |    19974    403 |        0 |        0
1696.77/1697.31	c 1697s |      23 |  5297305 |  3260538 |    19974    404 |        0 |        0
1698.76/1699.35	c 1699s |      23 |  5304992 |  3264038 |    19974    404 |        0 |        0
1700.86/1701.41	c 1701s |      23 |  5310297 |  3267038 |    19974    404 |        0 |        0
1702.86/1703.47	c 1703s |      23 |  5315403 |  3269838 |    19974    404 |        0 |        0
1704.86/1705.48	c 1705s |      23 |  5321042 |  3272738 |    19974    405 |        0 |        0
1706.96/1707.53	c 1707s |      23 |  5326280 |  3275538 |    19974    405 |        0 |        0
1708.97/1709.59	c 1709s |      23 |  5330990 |  3278138 |    19974    405 |        0 |        0
1711.06/1711.64	c 1711s |      23 |  5335226 |  3280238 |    19974    406 |        0 |        0
1713.06/1713.66	c 1713s |      23 |  5340026 |  3283238 |    19974    406 |        0 |        0
1715.16/1715.70	c 1715s |      23 |  5345797 |  3286138 |    19974    406 |        0 |        0
1717.16/1717.74	c 1717s |      23 |  5349511 |  3288938 |    19974    406 |        0 |        0
1719.26/1719.80	c 1719s |      23 |  5355337 |  3292238 |    19974    407 |        0 |        0
1721.26/1721.80	c 1721s |      23 |  5360821 |  3295238 |    19974    407 |        0 |        0
1723.26/1723.84	c 1723s |      23 |  5366696 |  3298338 |    19974    407 |        0 |        0
1725.26/1725.89	c 1725s |      23 |  5371936 |  3300738 |    19974    408 |        0 |        0
1727.36/1727.95	c 1727s |      23 |  5377739 |  3303538 |    19974    408 |        0 |        0
1729.46/1730.00	c 1729s |      23 |  5383254 |  3305938 |    19974    408 |        0 |        0
1731.55/1732.13	c 1732s |      23 |  5387592 |  3308538 |    19974    408 |        0 |        0
1733.55/1734.17	c 1734s |      23 |  5391377 |  3310438 |    19974    409 |        0 |        0
1735.55/1736.19	c 1736s |      23 |  5397642 |  3313438 |    19974    409 |        0 |        0
1737.65/1738.20	c 1738s |      23 |  5402631 |  3316538 |    19974    409 |        0 |        0
1739.66/1740.25	c 1740s |      23 |  5407425 |  3319238 |    19974    409 |        0 |        0
1741.65/1742.25	c 1742s |      23 |  5412436 |  3322138 |    19974    410 |        0 |        0
1743.65/1744.27	c 1744s |      23 |  5417672 |  3326138 |    19974    410 |        0 |        0
1745.75/1746.32	c 1746s |      23 |  5424464 |  3330338 |    19974    410 |        0 |        0
1747.75/1748.34	c 1748s |      23 |  5430294 |  3334438 |    19974    411 |        0 |        0
1749.75/1750.36	c 1750s |      23 |  5436400 |  3338738 |    19974    411 |        0 |        0
1751.86/1752.42	c 1752s |      23 |  5440202 |  3341238 |    19974    412 |        0 |        0
1753.85/1754.43	c 1754s |      23 |  5446760 |  3345538 |    19974    412 |        0 |        0
1755.85/1756.45	c 1756s |      23 |  5455585 |  3349438 |    19974    412 |        0 |        0
1757.85/1758.46	c 1758s |      23 |  5461669 |  3353238 |    21972    413 |        0 |        0
1759.95/1760.51	c 1760s |      23 |  5467406 |  3356638 |    21972    413 |        0 |        0
1761.95/1762.55	c 1762s |      23 |  5475768 |  3359938 |    21972    413 |        0 |        0
1764.05/1764.69	c 1764s |      23 |  5482429 |  3362638 |    21972    414 |        0 |        0
1766.16/1766.72	c 1766s |      23 |  5487678 |  3365538 |    21972    414 |        0 |        0
1768.15/1768.74	c 1768s |      23 |  5493207 |  3368438 |    21972    414 |        0 |        0
1770.15/1770.79	c 1770s |      23 |  5498741 |  3371338 |    21972    414 |        0 |        0
1772.25/1772.81	c 1772s |      23 |  5502822 |  3373538 |    21972    414 |        0 |        0
1774.25/1774.82	c 1774s |      23 |  5506872 |  3375638 |    21972    415 |        0 |        0
1774.65/1775.26	c 1775s |      24 |  5508424 |  3376662 |    21972    415 |        0 |        0
1776.65/1777.28	c 1777s |      24 |  5512023 |  3378962 |    21972    415 |        0 |        0
1778.75/1779.31	c 1779s |      24 |  5515598 |  3382062 |    21972    415 |        0 |        0
1780.75/1781.32	c 1781s |      24 |  5518536 |  3384662 |    21972    416 |        0 |        0
1782.75/1783.35	c 1783s |      24 |  5521780 |  3387662 |    21972    416 |        0 |        0
1784.75/1785.40	c 1785s |      24 |  5525434 |  3390862 |    21972    416 |        0 |        0
1786.84/1787.48	c 1787s |      24 |  5529068 |  3393962 |    21972    416 |        0 |        0
1788.94/1789.58	c 1789s |      24 |  5531369 |  3396062 |    21972    417 |        0 |        0
1791.04/1791.62	c 1791s |      24 |  5535747 |  3399762 |    21972    417 |        0 |        0
1793.04/1793.68	c 1793s |      24 |  5539984 |  3403162 |    21972    417 |        0 |        0
1795.04/1795.69	c 1795s |      24 |  5542939 |  3405862 |    21972    417 |        0 |        0
1797.24/1797.84	c 1797s |      24 |  5543998 |  3406762 |    21972    418 |        0 |        0
1799.54/1800.15	c 1800s |      24 |  5546493 |  3408962 |    21972    418 |        0 |        0

ERROR: no interpretation found !

runsolver Copyright (C) 2010-2013 Olivier ROUSSEL

This is runsolver version 3.3.7 (svn: 2553)

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-4106991-1466280714/watcher-4106991-1466280714 -o /tmp/evaluation-result-4106991-1466280714/solver-4106991-1466280714 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node106-1466277111-10296 --watchdog 1960 toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4106991-1466280714.opb 

pid=10683
running on 4 cores: 0,2,4,6

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB


[startup+0 s]
/proc/loadavg: 2.15 2.16 2.11 4/179 10686
/proc/meminfo: memFree=30770668/32872528 swapFree=526336/559040
[pid=10686] ppid=10683 vsize=736700 CPUtime=0 cores=0,2,4,6
/proc/10686/stat : 10686 (toysat) R 10683 10686 10280 0 -1 4202496 2747 0 0 0 0 0 0 0 20 0 4 0 30121490 754380800 3109 33554432000 4194304 16246674 140734289043280 140734289042704 13880264 0 2 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/10686/statm: 184687 3116 441 2943 0 181581 0
[pid=10686/tid=10687] ppid=10683 vsize=753084 CPUtime=0 cores=0,2,4,6
/proc/10686/task/10687/stat : 10687 (toysat) S 10683 10686 10280 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 30121490 771158016 3175 33554432000 4194304 16246674 140734289043280 139898870803696 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=10686/tid=10688] ppid=10683 vsize=758204 CPUtime=0 cores=0,2,4,6
/proc/10686/task/10688/stat : 10688 (toysat) S 10683 10686 10280 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30121490 776400896 3194 33554432000 4194304 16246674 140734289043280 139898860313840 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=10686/tid=10689] ppid=10683 vsize=762300 CPUtime=0 cores=0,2,4,6
/proc/10686/task/10689/stat : 10689 (toysat) S 10683 10686 10280 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 30121490 780595200 3209 33554432000 4194304 16246674 140734289043280 139898849840304 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0

[startup+0.100126 s]
/proc/loadavg: 2.15 2.16 2.11 4/179 10686
/proc/meminfo: memFree=30770668/32872528 swapFree=526336/559040
[pid=10686] ppid=10683 vsize=1222212 CPUtime=0.09 cores=0,2,4,6
/proc/10686/stat : 10686 (toysat) R 10683 10686 10280 0 -1 4202496 21903 0 0 0 6 3 0 0 20 0 4 0 30121490 1251545088 22211 33554432000 4194304 16246674 140734289043280 140734289042592 13811691 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/10686/statm: 305553 22211 838 2943 0 302447 0
[pid=10686/tid=10687] ppid=10683 vsize=1222212 CPUtime=0 cores=0,2,4,6
/proc/10686/task/10687/stat : 10687 (toysat) S 10683 10686 10280 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 30121490 1251545088 22211 33554432000 4194304 16246674 140734289043280 139898870803696 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=10686/tid=10688] ppid=10683 vsize=1222212 CPUtime=0 cores=0,2,4,6
/proc/10686/task/10688/stat : 10688 (toysat) S 10683 10686 10280 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30121490 1251545088 22211 33554432000 4194304 16246674 140734289043280 139898860313840 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=10686/tid=10689] ppid=10683 vsize=1222212 CPUtime=0 cores=0,2,4,6
/proc/10686/task/10689/stat : 10689 (toysat) S 10683 10686 10280 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 30121490 1251545088 22211 33554432000 4194304 16246674 140734289043280 139898849840304 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 1222212

[startup+0.200529 s]
/proc/loadavg: 2.15 2.16 2.11 4/179 10686
/proc/meminfo: memFree=30770668/32872528 swapFree=526336/559040
[pid=10686] ppid=10683 vsize=1222212 CPUtime=0.19 cores=0,2,4,6
/proc/10686/stat : 10686 (toysat) R 10683 10686 10280 0 -1 4202496 39795 0 0 0 14 5 0 0 20 0 4 0 30121490 1251545088 40103 33554432000 4194304 16246674 140734289043280 140734289042592 5675357 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/10686/statm: 305553 40111 876 2943 0 302447 0
[pid=10686/tid=10687] ppid=10683 vsize=1222212 CPUtime=0 cores=0,2,4,6
/proc/10686/task/10687/stat : 10687 (toysat) S 10683 10686 10280 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 30121490 1251545088 40118 33554432000 4194304 16246674 140734289043280 139898870803696 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=10686/tid=10688] ppid=10683 vsize=1222212 CPUtime=0 cores=0,2,4,6
/proc/10686/task/10688/stat : 10688 (toysat) S 10683 10686 10280 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30121490 1251545088 40126 33554432000 4194304 16246674 140734289043280 139898860313840 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=10686/tid=10689] ppid=10683 vsize=1222212 CPUtime=0 cores=0,2,4,6
/proc/10686/task/10689/stat : 10689 (toysat) S 10683 10686 10280 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 30121490 1251545088 40134 33554432000 4194304 16246674 140734289043280 139898849840304 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 1222212

[startup+0.300478 s]
/proc/loadavg: 2.15 2.16 2.11 4/179 10686
/proc/meminfo: memFree=30770668/32872528 swapFree=526336/559040
[pid=10686] ppid=10683 vsize=1222212 CPUtime=0.29 cores=0,2,4,6
/proc/10686/stat : 10686 (toysat) R 10683 10686 10280 0 -1 4202496 64166 0 0 0 20 9 0 0 20 0 4 0 30121490 1251545088 64474 33554432000 4194304 16246674 140734289043280 140734289042592 5707789 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/10686/statm: 305553 64486 876 2943 0 302447 0
[pid=10686/tid=10687] ppid=10683 vsize=1222212 CPUtime=0 cores=0,2,4,6
/proc/10686/task/10687/stat : 10687 (toysat) S 10683 10686 10280 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 30121490 1251545088 64492 33554432000 4194304 16246674 140734289043280 139898870803696 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=10686/tid=10688] ppid=10683 vsize=1222212 CPUtime=0 cores=0,2,4,6
/proc/10686/task/10688/stat : 10688 (toysat) S 10683 10686 10280 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30121490 1251545088 64500 33554432000 4194304 16246674 140734289043280 139898860313840 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=10686/tid=10689] ppid=10683 vsize=1222212 CPUtime=0 cores=0,2,4,6
/proc/10686/task/10689/stat : 10689 (toysat) S 10683 10686 10280 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 30121490 1251545088 64507 33554432000 4194304 16246674 140734289043280 139898849840304 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 1222212

[startup+0.700352 s]
/proc/loadavg: 2.15 2.16 2.11 4/179 10686
/proc/meminfo: memFree=30770668/32872528 swapFree=526336/559040
[pid=10686] ppid=10683 vsize=1222212 CPUtime=0.69 cores=0,2,4,6
/proc/10686/stat : 10686 (toysat) R 10683 10686 10280 0 -1 4202496 158042 0 0 0 46 23 0 0 20 0 4 0 30121490 1251545088 158351 33554432000 4194304 16246674 140734289043280 140734289042592 5661217 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/10686/statm: 305553 158360 876 2943 0 302447 0
[pid=10686/tid=10687] ppid=10683 vsize=1222212 CPUtime=0 cores=0,2,4,6
/proc/10686/task/10687/stat : 10687 (toysat) S 10683 10686 10280 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 30121490 1251545088 158368 33554432000 4194304 16246674 140734289043280 139898870803696 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=10686/tid=10688] ppid=10683 vsize=1222212 CPUtime=0 cores=0,2,4,6
/proc/10686/task/10688/stat : 10688 (toysat) S 10683 10686 10280 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30121490 1251545088 158375 33554432000 4194304 16246674 140734289043280 139898860313840 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=10686/tid=10689] ppid=10683 vsize=1222212 CPUtime=0 cores=0,2,4,6
/proc/10686/task/10689/stat : 10689 (toysat) S 10683 10686 10280 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 30121490 1251545088 158383 33554432000 4194304 16246674 140734289043280 139898849840304 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 1222212

[startup+1.50041 s]
/proc/loadavg: 2.22 2.18 2.11 4/183 10690
/proc/meminfo: memFree=29200088/32872528 swapFree=526336/559040
[pid=10686] ppid=10683 vsize=1300036 CPUtime=1.49 cores=0,2,4,6
/proc/10686/stat : 10686 (toysat) R 10683 10686 10280 0 -1 4202496 266059 0 0 0 112 37 0 0 20 0 4 0 30121490 1331236864 266367 33554432000 4194304 16246674 140734289043280 140734289025152 5523032 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/10686/statm: 325009 266367 879 2943 0 321903 0
[pid=10686/tid=10687] ppid=10683 vsize=1300036 CPUtime=0 cores=0,2,4,6
/proc/10686/task/10687/stat : 10687 (toysat) S 10683 10686 10280 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 30121490 1331236864 266367 33554432000 4194304 16246674 140734289043280 139898870803696 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=10686/tid=10688] ppid=10683 vsize=1300036 CPUtime=0 cores=0,2,4,6
/proc/10686/task/10688/stat : 10688 (toysat) S 10683 10686 10280 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30121490 1331236864 266367 33554432000 4194304 16246674 140734289043280 139898860313840 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=10686/tid=10689] ppid=10683 vsize=1300036 CPUtime=0 cores=0,2,4,6
/proc/10686/task/10689/stat : 10689 (toysat) S 10683 10686 10280 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 30121490 1331236864 266367 33554432000 4194304 16246674 140734289043280 139898849840304 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 1300036

[startup+3.10041 s]
/proc/loadavg: 2.22 2.18 2.11 3/183 10690
/proc/meminfo: memFree=29112668/32872528 swapFree=526336/559040
[pid=10686] ppid=10683 vsize=1311300 CPUtime=3.09 cores=0,2,4,6
/proc/10686/stat : 10686 (toysat) R 10683 10686 10280 0 -1 4202496 268993 0 0 0 272 37 0 0 20 0 4 0 30121490 1342771200 269301 33554432000 4194304 16246674 140734289043280 140734289042456 12483362 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/10686/statm: 327825 269301 889 2943 0 324719 0
[pid=10686/tid=10687] ppid=10683 vsize=1311300 CPUtime=0 cores=0,2,4,6
/proc/10686/task/10687/stat : 10687 (toysat) S 10683 10686 10280 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 30121490 1342771200 269301 33554432000 4194304 16246674 140734289043280 139898870803696 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=10686/tid=10688] ppid=10683 vsize=1311300 CPUtime=0 cores=0,2,4,6
/proc/10686/task/10688/stat : 10688 (toysat) S 10683 10686 10280 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30121490 1342771200 269301 33554432000 4194304 16246674 140734289043280 139898860313840 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=10686/tid=10689] ppid=10683 vsize=1311300 CPUtime=0 cores=0,2,4,6
/proc/10686/task/10689/stat : 10689 (toysat) S 10683 10686 10280 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 30121490 1342771200 269301 33554432000 4194304 16246674 140734289043280 139898849840304 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 1311300

[startup+6.30037 s]
/proc/loadavg: 2.20 2.17 2.11 3/183 10690
/proc/meminfo: memFree=29108712/32872528 swapFree=526336/559040
[pid=10686] ppid=10683 vsize=1311300 CPUtime=6.29 cores=0,2,4,6
/proc/10686/stat : 10686 (toysat) R 10683 10686 10280 0 -1 4202496 268993 0 0 0 592 37 0 0 20 0 4 0 30121490 1342771200 269301 33554432000 4194304 16246674 140734289043280 140734289025152 13809229 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/10686/statm: 327825 269301 889 2943 0 324719 0
[pid=10686/tid=10687] ppid=10683 vsize=1311300 CPUtime=0 cores=0,2,4,6
/proc/10686/task/10687/stat : 10687 (toysat) S 10683 10686 10280 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 30121490 1342771200 269301 33554432000 4194304 16246674 140734289043280 139898870803696 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=10686/tid=10688] ppid=10683 vsize=1311300 CPUtime=0 cores=0,2,4,6
/proc/10686/task/10688/stat : 10688 (toysat) S 10683 10686 10280 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30121490 1342771200 269301 33554432000 4194304 16246674 140734289043280 139898860313840 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=10686/tid=10689] ppid=10683 vsize=1311300 CPUtime=0 cores=0,2,4,6
/proc/10686/task/10689/stat : 10689 (toysat) S 10683 10686 10280 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 30121490 1342771200 269301 33554432000 4194304 16246674 140734289043280 139898849840304 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 1311300

[startup+12.7004 s]
/proc/loadavg: 2.18 2.17 2.11 3/183 10690
/proc/meminfo: memFree=29100648/32872528 swapFree=526336/559040
[pid=10686] ppid=10683 vsize=1315396 CPUtime=12.69 cores=0,2,4,6
/proc/10686/stat : 10686 (toysat) R 10683 10686 10280 0 -1 4202496 270019 0 0 0 1232 37 0 0 20 0 4 0 30121490 1346965504 270327 33554432000 4194304 16246674 140734289043280 140734289025152 6021616 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/10686/statm: 328849 270327 890 2943 0 325743 0
[pid=10686/tid=10687] ppid=10683 vsize=1315396 CPUtime=0 cores=0,2,4,6
/proc/10686/task/10687/stat : 10687 (toysat) S 10683 10686 10280 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 30121490 1346965504 270327 33554432000 4194304 16246674 140734289043280 139898870803696 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=10686/tid=10688] ppid=10683 vsize=1315396 CPUtime=0 cores=0,2,4,6
/proc/10686/task/10688/stat : 10688 (toysat) S 10683 10686 10280 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30121490 1346965504 270327 33554432000 4194304 16246674 140734289043280 139898860313840 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=10686/tid=10689] ppid=10683 vsize=1315396 CPUtime=0 cores=0,2,4,6
/proc/10686/task/10689/stat : 10689 (toysat) S 10683 10686 10280 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 30121490 1346965504 270327 33554432000 4194304 16246674 140734289043280 139898849840304 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 1315396

[startup+25.5005 s]
/proc/loadavg: 2.15 2.16 2.11 3/183 10690
/proc/meminfo: memFree=29099844/32872528 swapFree=526336/559040
[pid=10686] ppid=10683 vsize=1316420 CPUtime=25.48 cores=0,2,4,6
/proc/10686/stat : 10686 (toysat) R 10683 10686 10280 0 -1 4202496 270275 0 0 0 2511 37 0 0 20 0 4 0 30121490 1348014080 270583 33554432000 4194304 16246674 140734289043280 140734289025152 5522986 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/10686/statm: 329105 270583 890 2943 0 325999 0
[pid=10686/tid=10687] ppid=10683 vsize=1316420 CPUtime=0 cores=0,2,4,6
/proc/10686/task/10687/stat : 10687 (toysat) S 10683 10686 10280 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 30121490 1348014080 270583 33554432000 4194304 16246674 140734289043280 139898870803696 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=10686/tid=10688] ppid=10683 vsize=1316420 CPUtime=0 cores=0,2,4,6
/proc/10686/task/10688/stat : 10688 (toysat) S 10683 10686 10280 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30121490 1348014080 270583 33554432000 4194304 16246674 140734289043280 139898860313840 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=10686/tid=10689] ppid=10683 vsize=1316420 CPUtime=0 cores=0,2,4,6
/proc/10686/task/10689/stat : 10689 (toysat) S 10683 10686 10280 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 30121490 1348014080 270583 33554432000 4194304 16246674 140734289043280 139898849840304 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 1316420

[startup+51.1005 s]
/proc/loadavg: 2.23 2.18 2.11 3/183 10690
/proc/meminfo: memFree=29089932/32872528 swapFree=526336/559040
[pid=10686] ppid=10683 vsize=1323588 CPUtime=51.08 cores=0,2,4,6
/proc/10686/stat : 10686 (toysat) R 10683 10686 10280 0 -1 4202496 272068 0 0 0 5070 38 0 0 20 0 4 0 30121490 1355354112 272376 33554432000 4194304 16246674 140734289043280 140734289025152 5672188 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/10686/statm: 330897 272376 891 2943 0 327791 0
[pid=10686/tid=10687] ppid=10683 vsize=1323588 CPUtime=0 cores=0,2,4,6
/proc/10686/task/10687/stat : 10687 (toysat) S 10683 10686 10280 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 30121490 1355354112 272376 33554432000 4194304 16246674 140734289043280 139898870803696 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=10686/tid=10688] ppid=10683 vsize=1323588 CPUtime=0 cores=0,2,4,6
/proc/10686/task/10688/stat : 10688 (toysat) S 10683 10686 10280 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30121490 1355354112 272376 33554432000 4194304 16246674 140734289043280 139898860313840 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=10686/tid=10689] ppid=10683 vsize=1323588 CPUtime=0 cores=0,2,4,6
/proc/10686/task/10689/stat : 10689 (toysat) S 10683 10686 10280 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 30121490 1355354112 272376 33554432000 4194304 16246674 140734289043280 139898849840304 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 1323588

[startup+102.3 s]
/proc/loadavg: 2.16 2.17 2.11 3/183 10691
/proc/meminfo: memFree=29046844/32872528 swapFree=526336/559040
[pid=10686] ppid=10683 vsize=1349188 CPUtime=102.28 cores=0,2,4,6
/proc/10686/stat : 10686 (toysat) R 10683 10686 10280 0 -1 4202496 278468 0 0 0 10188 40 0 0 20 0 4 0 30121490 1381568512 278776 33554432000 4194304 16246674 140734289043280 140734289025152 5822428 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/10686/statm: 337297 278776 891 2943 0 334191 0
[pid=10686/tid=10687] ppid=10683 vsize=1349188 CPUtime=0 cores=0,2,4,6
/proc/10686/task/10687/stat : 10687 (toysat) S 10683 10686 10280 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 30121490 1381568512 278776 33554432000 4194304 16246674 140734289043280 139898870803696 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=10686/tid=10688] ppid=10683 vsize=1349188 CPUtime=0 cores=0,2,4,6
/proc/10686/task/10688/stat : 10688 (toysat) S 10683 10686 10280 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30121490 1381568512 278776 33554432000 4194304 16246674 140734289043280 139898860313840 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=10686/tid=10689] ppid=10683 vsize=1349188 CPUtime=0 cores=0,2,4,6
/proc/10686/task/10689/stat : 10689 (toysat) S 10683 10686 10280 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 30121490 1381568512 278776 33554432000 4194304 16246674 140734289043280 139898849840304 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 1349188


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

/proc/10686/task/10689/stat : 10689 (toysat) S 10683 10686 10280 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 30121490 1397297152 282621 33554432000 4194304 16246674 140734289043280 139898849840304 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1241.97
Current children cumulated vsize (KiB) 1364548

[startup+1302.3 s]
/proc/loadavg: 2.13 2.14 2.12 3/183 10721
/proc/meminfo: memFree=28960624/32872528 swapFree=526336/559040
[pid=10686] ppid=10683 vsize=1364548 CPUtime=1301.95 cores=0,2,4,6
/proc/10686/stat : 10686 (toysat) R 10683 10686 10280 0 -1 4202496 282533 0 0 0 130136 59 0 0 20 0 4 0 30121490 1397297152 282621 33554432000 4194304 16246674 140734289043280 140734289026280 14628944 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/10686/statm: 341137 282621 893 2943 0 338031 0
[pid=10686/tid=10687] ppid=10683 vsize=1364548 CPUtime=0 cores=0,2,4,6
/proc/10686/task/10687/stat : 10687 (toysat) S 10683 10686 10280 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 30121490 1397297152 282621 33554432000 4194304 16246674 140734289043280 139898870803696 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=10686/tid=10688] ppid=10683 vsize=1364548 CPUtime=0 cores=0,2,4,6
/proc/10686/task/10688/stat : 10688 (toysat) S 10683 10686 10280 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30121490 1397297152 282621 33554432000 4194304 16246674 140734289043280 139898860313840 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=10686/tid=10689] ppid=10683 vsize=1364548 CPUtime=0 cores=0,2,4,6
/proc/10686/task/10689/stat : 10689 (toysat) S 10683 10686 10280 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 30121490 1397297152 282621 33554432000 4194304 16246674 140734289043280 139898849840304 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1301.95
Current children cumulated vsize (KiB) 1364548

[startup+1362.3 s]
/proc/loadavg: 2.08 2.13 2.12 3/183 10722
/proc/meminfo: memFree=28960656/32872528 swapFree=526336/559040
[pid=10686] ppid=10683 vsize=1364548 CPUtime=1361.91 cores=0,2,4,6
/proc/10686/stat : 10686 (toysat) R 10683 10686 10280 0 -1 4202496 282578 0 0 0 136130 61 0 0 20 0 4 0 30121490 1397297152 282621 33554432000 4194304 16246674 140734289043280 140734289026280 5829844 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/10686/statm: 341137 282621 893 2943 0 338031 0
[pid=10686/tid=10687] ppid=10683 vsize=1364548 CPUtime=0 cores=0,2,4,6
/proc/10686/task/10687/stat : 10687 (toysat) S 10683 10686 10280 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 30121490 1397297152 282621 33554432000 4194304 16246674 140734289043280 139898870803696 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=10686/tid=10688] ppid=10683 vsize=1364548 CPUtime=0 cores=0,2,4,6
/proc/10686/task/10688/stat : 10688 (toysat) S 10683 10686 10280 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30121490 1397297152 282621 33554432000 4194304 16246674 140734289043280 139898860313840 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=10686/tid=10689] ppid=10683 vsize=1364548 CPUtime=0 cores=0,2,4,6
/proc/10686/task/10689/stat : 10689 (toysat) S 10683 10686 10280 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 30121490 1397297152 282621 33554432000 4194304 16246674 140734289043280 139898849840304 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1361.91
Current children cumulated vsize (KiB) 1364548

[startup+1422.3 s]
/proc/loadavg: 2.08 2.12 2.11 3/183 10723
/proc/meminfo: memFree=28960688/32872528 swapFree=526336/559040
[pid=10686] ppid=10683 vsize=1364548 CPUtime=1421.89 cores=0,2,4,6
/proc/10686/stat : 10686 (toysat) R 10683 10686 10280 0 -1 4202496 282619 0 0 0 142126 63 0 0 20 0 4 0 30121490 1397297152 282621 33554432000 4194304 16246674 140734289043280 140734289026280 6012196 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/10686/statm: 341137 282621 893 2943 0 338031 0
[pid=10686/tid=10687] ppid=10683 vsize=1364548 CPUtime=0 cores=0,2,4,6
/proc/10686/task/10687/stat : 10687 (toysat) S 10683 10686 10280 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 30121490 1397297152 282621 33554432000 4194304 16246674 140734289043280 139898870803696 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=10686/tid=10688] ppid=10683 vsize=1364548 CPUtime=0 cores=0,2,4,6
/proc/10686/task/10688/stat : 10688 (toysat) S 10683 10686 10280 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30121490 1397297152 282621 33554432000 4194304 16246674 140734289043280 139898860313840 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=10686/tid=10689] ppid=10683 vsize=1364548 CPUtime=0 cores=0,2,4,6
/proc/10686/task/10689/stat : 10689 (toysat) S 10683 10686 10280 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 30121490 1397297152 282621 33554432000 4194304 16246674 140734289043280 139898849840304 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1421.89
Current children cumulated vsize (KiB) 1364548

[startup+1482.3 s]
/proc/loadavg: 2.07 2.11 2.11 3/183 10724
/proc/meminfo: memFree=28960720/32872528 swapFree=526336/559040
[pid=10686] ppid=10683 vsize=1364548 CPUtime=1481.84 cores=0,2,4,6
/proc/10686/stat : 10686 (toysat) R 10683 10686 10280 0 -1 4202496 282662 0 0 0 148120 64 0 0 20 0 4 0 30121490 1397297152 282621 33554432000 4194304 16246674 140734289043280 140734289025152 5822252 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/10686/statm: 341137 282621 893 2943 0 338031 0
[pid=10686/tid=10687] ppid=10683 vsize=1364548 CPUtime=0 cores=0,2,4,6
/proc/10686/task/10687/stat : 10687 (toysat) S 10683 10686 10280 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 30121490 1397297152 282621 33554432000 4194304 16246674 140734289043280 139898870803696 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=10686/tid=10688] ppid=10683 vsize=1364548 CPUtime=0 cores=0,2,4,6
/proc/10686/task/10688/stat : 10688 (toysat) S 10683 10686 10280 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30121490 1397297152 282621 33554432000 4194304 16246674 140734289043280 139898860313840 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=10686/tid=10689] ppid=10683 vsize=1364548 CPUtime=0 cores=0,2,4,6
/proc/10686/task/10689/stat : 10689 (toysat) S 10683 10686 10280 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 30121490 1397297152 282621 33554432000 4194304 16246674 140734289043280 139898849840304 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1481.84
Current children cumulated vsize (KiB) 1364548

[startup+1542.31 s]
/proc/loadavg: 2.17 2.13 2.11 3/183 10726
/proc/meminfo: memFree=28960500/32872528 swapFree=526336/559040
[pid=10686] ppid=10683 vsize=1364548 CPUtime=1541.82 cores=0,2,4,6
/proc/10686/stat : 10686 (toysat) R 10683 10686 10280 0 -1 4202496 282703 0 0 0 154117 65 0 0 20 0 4 0 30121490 1397297152 282621 33554432000 4194304 16246674 140734289043280 140734289025152 5822428 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/10686/statm: 341137 282621 893 2943 0 338031 0
[pid=10686/tid=10687] ppid=10683 vsize=1364548 CPUtime=0 cores=0,2,4,6
/proc/10686/task/10687/stat : 10687 (toysat) S 10683 10686 10280 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 30121490 1397297152 282621 33554432000 4194304 16246674 140734289043280 139898870803696 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=10686/tid=10688] ppid=10683 vsize=1364548 CPUtime=0 cores=0,2,4,6
/proc/10686/task/10688/stat : 10688 (toysat) S 10683 10686 10280 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30121490 1397297152 282621 33554432000 4194304 16246674 140734289043280 139898860313840 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=10686/tid=10689] ppid=10683 vsize=1364548 CPUtime=0 cores=0,2,4,6
/proc/10686/task/10689/stat : 10689 (toysat) S 10683 10686 10280 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 30121490 1397297152 282621 33554432000 4194304 16246674 140734289043280 139898849840304 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1541.82
Current children cumulated vsize (KiB) 1364548

[startup+1602.3 s]
/proc/loadavg: 2.15 2.13 2.11 3/183 10727
/proc/meminfo: memFree=28960528/32872528 swapFree=526336/559040
[pid=10686] ppid=10683 vsize=1364548 CPUtime=1601.79 cores=0,2,4,6
/proc/10686/stat : 10686 (toysat) R 10683 10686 10280 0 -1 4202496 282733 0 0 0 160113 66 0 0 20 0 4 0 30121490 1397297152 282621 33554432000 4194304 16246674 140734289043280 140734289025152 5546015 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/10686/statm: 341137 282621 893 2943 0 338031 0
[pid=10686/tid=10687] ppid=10683 vsize=1364548 CPUtime=0 cores=0,2,4,6
/proc/10686/task/10687/stat : 10687 (toysat) S 10683 10686 10280 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 30121490 1397297152 282621 33554432000 4194304 16246674 140734289043280 139898870803696 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=10686/tid=10688] ppid=10683 vsize=1364548 CPUtime=0 cores=0,2,4,6
/proc/10686/task/10688/stat : 10688 (toysat) S 10683 10686 10280 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30121490 1397297152 282621 33554432000 4194304 16246674 140734289043280 139898860313840 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=10686/tid=10689] ppid=10683 vsize=1364548 CPUtime=0 cores=0,2,4,6
/proc/10686/task/10689/stat : 10689 (toysat) S 10683 10686 10280 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 30121490 1397297152 282621 33554432000 4194304 16246674 140734289043280 139898849840304 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1601.79
Current children cumulated vsize (KiB) 1364548

[startup+1662.3 s]
/proc/loadavg: 2.09 2.12 2.10 3/183 10728
/proc/meminfo: memFree=28961136/32872528 swapFree=526336/559040
[pid=10686] ppid=10683 vsize=1364548 CPUtime=1661.76 cores=0,2,4,6
/proc/10686/stat : 10686 (toysat) R 10683 10686 10280 0 -1 4202496 282751 0 0 0 166110 66 0 0 20 0 4 0 30121490 1397297152 282621 33554432000 4194304 16246674 140734289043280 140734289025152 5522977 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/10686/statm: 341137 282621 893 2943 0 338031 0
[pid=10686/tid=10687] ppid=10683 vsize=1364548 CPUtime=0 cores=0,2,4,6
/proc/10686/task/10687/stat : 10687 (toysat) S 10683 10686 10280 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 30121490 1397297152 282621 33554432000 4194304 16246674 140734289043280 139898870803696 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=10686/tid=10688] ppid=10683 vsize=1364548 CPUtime=0 cores=0,2,4,6
/proc/10686/task/10688/stat : 10688 (toysat) S 10683 10686 10280 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30121490 1397297152 282621 33554432000 4194304 16246674 140734289043280 139898860313840 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=10686/tid=10689] ppid=10683 vsize=1364548 CPUtime=0 cores=0,2,4,6
/proc/10686/task/10689/stat : 10689 (toysat) S 10683 10686 10280 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 30121490 1397297152 282621 33554432000 4194304 16246674 140734289043280 139898849840304 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1661.76
Current children cumulated vsize (KiB) 1364548

[startup+1722.3 s]
/proc/loadavg: 2.14 2.13 2.10 3/184 10732
/proc/meminfo: memFree=28961572/32872528 swapFree=526336/559040
[pid=10686] ppid=10683 vsize=1364548 CPUtime=1721.76 cores=0,2,4,6
/proc/10686/stat : 10686 (toysat) R 10683 10686 10280 0 -1 4202496 282751 0 0 0 172109 67 0 0 20 0 4 0 30121490 1397297152 282621 33554432000 4194304 16246674 140734289043280 140734289025152 5672188 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/10686/statm: 341137 282621 893 2943 0 338031 0
[pid=10686/tid=10687] ppid=10683 vsize=1364548 CPUtime=0 cores=0,2,4,6
/proc/10686/task/10687/stat : 10687 (toysat) S 10683 10686 10280 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 30121490 1397297152 282621 33554432000 4194304 16246674 140734289043280 139898870803696 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=10686/tid=10688] ppid=10683 vsize=1364548 CPUtime=0 cores=0,2,4,6
/proc/10686/task/10688/stat : 10688 (toysat) S 10683 10686 10280 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30121490 1397297152 282621 33554432000 4194304 16246674 140734289043280 139898860313840 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=10686/tid=10689] ppid=10683 vsize=1364548 CPUtime=0 cores=0,2,4,6
/proc/10686/task/10689/stat : 10689 (toysat) S 10683 10686 10280 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 30121490 1397297152 282621 33554432000 4194304 16246674 140734289043280 139898849840304 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1721.76
Current children cumulated vsize (KiB) 1364548

[startup+1782.3 s]
/proc/loadavg: 2.14 2.13 2.10 3/183 10733
/proc/meminfo: memFree=28960832/32872528 swapFree=526336/559040
[pid=10686] ppid=10683 vsize=1364548 CPUtime=1781.75 cores=0,2,4,6
/proc/10686/stat : 10686 (toysat) R 10683 10686 10280 0 -1 4202496 282751 0 0 0 178108 67 0 0 20 0 4 0 30121490 1397297152 282621 33554432000 4194304 16246674 140734289043280 140734289025152 5822756 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/10686/statm: 341137 282621 893 2943 0 338031 0
[pid=10686/tid=10687] ppid=10683 vsize=1364548 CPUtime=0 cores=0,2,4,6
/proc/10686/task/10687/stat : 10687 (toysat) S 10683 10686 10280 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 30121490 1397297152 282621 33554432000 4194304 16246674 140734289043280 139898870803696 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=10686/tid=10688] ppid=10683 vsize=1364548 CPUtime=0 cores=0,2,4,6
/proc/10686/task/10688/stat : 10688 (toysat) S 10683 10686 10280 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30121490 1397297152 282621 33554432000 4194304 16246674 140734289043280 139898860313840 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=10686/tid=10689] ppid=10683 vsize=1364548 CPUtime=0 cores=0,2,4,6
/proc/10686/task/10689/stat : 10689 (toysat) S 10683 10686 10280 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 30121490 1397297152 282621 33554432000 4194304 16246674 140734289043280 139898849840304 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1781.75
Current children cumulated vsize (KiB) 1364548



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.6 s]
/proc/loadavg: 2.11 2.12 2.10 4/182 10733
/proc/meminfo: memFree=28961088/32872528 swapFree=526336/559040
[pid=10686] ppid=10683 vsize=1364548 CPUtime=1800.04 cores=0,2,4,6
/proc/10686/stat : 10686 (toysat) R 10683 10686 10280 0 -1 4202496 282751 0 0 0 179937 67 0 0 20 0 4 0 30121490 1397297152 282621 33554432000 4194304 16246674 140734289043280 140734289042376 5822252 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/10686/statm: 341137 282621 893 2943 0 338031 0
[pid=10686/tid=10687] ppid=10683 vsize=1364548 CPUtime=0 cores=0,2,4,6
/proc/10686/task/10687/stat : 10687 (toysat) S 10683 10686 10280 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 30121490 1397297152 282621 33554432000 4194304 16246674 140734289043280 139898870803696 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=10686/tid=10688] ppid=10683 vsize=1364548 CPUtime=0 cores=0,2,4,6
/proc/10686/task/10688/stat : 10688 (toysat) S 10683 10686 10280 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30121490 1397297152 282621 33554432000 4194304 16246674 140734289043280 139898860313840 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=10686/tid=10689] ppid=10683 vsize=1364548 CPUtime=0 cores=0,2,4,6
/proc/10686/task/10689/stat : 10689 (toysat) S 10683 10686 10280 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 30121490 1397297152 282621 33554432000 4194304 16246674 140734289043280 139898849840304 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1800.04
Current children cumulated vsize (KiB) 1364548

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

Solver just ended.
??? exit watcher main loop
??? sigkill at end of watcher main loop
??? kill 10686 sig 9
??? end of watcher thread
Dumping a history of the last processes samples

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1800.61
CPU time (s): 1800.06
CPU user time (s): 1799.38
CPU system time (s): 0.674897
CPU usage (%): 99.9692
Max. virtual memory (cumulated for all children) (KiB): 1364548

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.38
system time used= 0.674897
maximum resident set size= 1130484
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 282751
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= 459
involuntary context switches= 1838

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 4.6173 second user time and 6.91195 second system time

The end

Begin job on node106 at 2016-06-18 22:11:54
IDJOB=4106991
IDBENCH=48355
IDSOLVER=2542
FILE ID=node106/4106991-1466280714
RUNJOBID= node106-1466277111-10296
PBS_JOBID= 19918270
Free space on /tmp= 71684 MiB

SOLVER NAME= toysat 2016-05-02
BENCH NAME= PB07/normalized-PB07/SATUNSAT-SMALLINT-NLC/submittedPB07/manquinho/dbsg/normalized-dbsg_100_25_3_40.opb
COMMAND LINE= toysat +RTS -H1G -MMEMLIMITm -K1G -RTS --pb --search=bcd2 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4106991-1466280714/watcher-4106991-1466280714 -o /tmp/evaluation-result-4106991-1466280714/solver-4106991-1466280714 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node106-1466277111-10296 --watchdog 1960  toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4106991-1466280714.opb

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

MD5SUM BENCH= 6ddc144a63b87021a78f3fe4530ac86f
RANDOM SEED=13148904

node106.alineos.net Linux 2.6.32-71.29.1.el6.x86_64 #1 SMP Mon Jun 27 19:49:27 BST 2011

/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		: 2667.073
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 0
initial apicid	: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5334.14
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2667.073
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 16
initial apicid	: 16
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 2
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2667.073
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 2
initial apicid	: 2
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 3
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2667.073
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 18
initial apicid	: 18
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.56
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 4
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2667.073
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 4
initial apicid	: 4
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 5
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2667.073
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 20
initial apicid	: 20
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.56
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2667.073
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 6
initial apicid	: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.38
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2667.073
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 22
initial apicid	: 22
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       32872528 kB
MemFree:        30785200 kB
Buffers:          104776 kB
Cached:           201204 kB
SwapCached:         1736 kB
Active:           577916 kB
Inactive:         203800 kB
Active(anon):     475180 kB
Inactive(anon):     3048 kB
Active(file):     102736 kB
Inactive(file):   200752 kB
Unevictable:      559040 kB
Mlocked:          526336 kB
SwapTotal:      67108856 kB
SwapFree:       67099160 kB
Dirty:             32900 kB
Writeback:             0 kB
AnonPages:       1034272 kB
Mapped:            10848 kB
Shmem:                 0 kB
Slab:             614176 kB
SReclaimable:      57472 kB
SUnreclaim:       556704 kB
KernelStack:        1488 kB
PageTables:         7396 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    1768196 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:     34816 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:        7552 kB
DirectMap2M:    33538048 kB

Free space on /tmp at the end= 71684 MiB
End job on node106 at 2016-06-18 22:41:54