0.00/0.00	c 2016-06-18T22:06:31+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-4106979-1466280391.opb"]
0.00/0.01	c use --random-gen="2937728651 3565381052 4028964750 3945803159 3543649333 534995691 1149369026 3462849324 4006695140 3801792023 3608351638 1166600620 3688015487 2066528844 1373000587 2733480504 1413764848 2671390939 347792449 189747006 996010274 423499800 530358082 47815778 2598194047 331863486 3743830391 3731567165 1725992898 384694594 3359123300 109183175 2171767848 881250767 4226972187 85334059 3750684470 3382347249 188145996 1501111422 1533549599 2008088951 2740094978 1975010646 516066958 63082299 1065492178 3816726137 1100124705 3247466176 3454599739 3848953600 1785234940 2344946326 2365229701 4267867932 3975930282 1025026546 3317238776 4184424624 608002257 1821736873 1929345039 1675630451 1278376161 3161575186 1342752573 2194630453 4049791470 1930673913 1454188810 3679596237 2453987993 3257304862 3425041529 3845937362 715502175 3483427413 4078363956 180858837 3664356820 2170507410 2207268353 113735688 178920403 758573511 1333673462 1352820474 2394900299 4294324190 1181664653 3967826355 3440138014 2808203835 1074528329 2375961227 2904544802 3150395764 4079555203 3486087643 3863479236 3268753568 148588734 1020563727 1667264537 3614060548 3928216839 1539399098 3818680781 459791027 614246263 3654447342 3872006167 1145438936 2385119850 1798104831 2882165081 3101838451 3379718300 803205130 3474443949 1731137365 1101934982 2331275334 1131507184 2574831329 765301813 2248660152 1740490140 1446411468 3442378733 2172708818 1892478566 1264908511 4288563184 3988897144 3220383295 2163954790 1634068223 3037926365 2723349809 2043779010 2052965547 3864807819 1556628426 2793603923 542105967 4048754357 1659469975 4100152833 142232814 853821337 3962769946 3660956234 3517311930 4051481963 4183907783 1112823656 3197953377 2409817643 2641184 3324415672 3024733306 2229754266 951563544 3758997794 25013195 3530390957 3938580692 4046436120 1458140334 525630169 41085890 3694558424 327833789 3015581012 1472360124 2157451148 1968554338 1476703707 3380596286 1268358429 1686432648 458206989 564924110 877201245 712734415 1039636068 3017870771 1336576651 3433213106 3875369047 2964538163 291005511 643035196 4090007508 3487817700 2220698873 2910085304 3591829900 2055657553 1169386924 884124815 1712322803 266676852 1031940397 3371595462 736488020 944408063 124202684 31890181 2290414429 602932755 3550742096 492803712 3153757042 1837824345 4242613973 2427260741 1823967752 803456533 2490234135 4036018221 703939736 2579510845 3312543795 3976373466 832047686 1435011263 1377935600 2868535175 539692118 3921722711 3508197973 2537052731 2147969847 856187565 1724389150 778918550 2612296296 318541443 2539931788 3671016157 2853698716 1278891341 1414936654 2381875174 3819501315 319511100 3324676363 3275724715 1852906291 1450231166 1528806295 1386087958 2248426607 255 362436" option to reproduce the execution
0.00/0.02	c #vars 200
0.00/0.02	c #constraints 302
0.00/0.05	c Solving starts ...
0.00/0.05	c ============================[ Search Statistics ]============================
0.00/0.05	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
0.00/0.05	c       |         |          |          |    Limit     GC | Var      | Constra 
0.00/0.05	c =============================================================================
0.00/0.05	c  0.0s |       0 |        0 |        0 |      999      0 |        0 |        0
0.09/0.10	c  0.1s |       1 |      260 |      100 |      999      0 |        0 |        0
0.09/0.16	c  0.1s |       2 |     2734 |      250 |     1099      0 |        0 |        0
0.19/0.25	c  0.2s |       3 |     3047 |      475 |     1209      0 |        0 |        0
0.28/0.39	c  0.3s |       4 |     3589 |      813 |     1330      0 |        0 |        0
0.59/0.63	c  0.6s |       5 |     4248 |     1320 |     1464      0 |        0 |        0
0.99/1.00	c  1.0s |       6 |     5244 |     2081 |     1773      1 |        0 |        0
1.39/1.40	c  1.4s |       7 |     6682 |     3223 |     1951      2 |        0 |        0
1.89/1.98	c  1.9s |       8 |     8766 |     4936 |     2147      3 |        0 |        0
2.89/2.92	c  2.9s |       9 |    11898 |     7506 |     2362      6 |        0 |        0
4.28/4.35	c  4.3s |      10 |    16212 |    11361 |     2599      9 |        0 |        0
6.28/6.37	c  6.3s |      10 |    22323 |    16861 |     2599     13 |        0 |        0
6.38/6.46	c  6.4s |      11 |    22638 |    17144 |     2859     13 |        0 |        0
8.39/8.47	c  8.4s |      11 |    29189 |    22744 |     2859     16 |        0 |        0
9.49/9.58	c  9.5s |      12 |    32728 |    25819 |     3145     18 |        0 |        0
11.59/11.60	c 11.6s |      12 |    39050 |    31519 |     3145     22 |        0 |        0
13.59/13.62	c 13.6s |      12 |    45108 |    37119 |     3145     25 |        0 |        0
14.19/14.21	c 14.2s |      13 |    47119 |    38832 |     3460     26 |        0 |        0
16.19/16.23	c 16.2s |      13 |    53160 |    44332 |     3460     29 |        0 |        0
18.19/18.24	c 18.2s |      13 |    59090 |    49732 |     3460     32 |        0 |        0
20.19/20.25	c 20.2s |      13 |    66098 |    55832 |     3460     36 |        0 |        0
21.09/21.13	c 21.1s |      14 |    69244 |    58352 |     3807     37 |        0 |        0
23.09/23.14	c 23.1s |      14 |    74739 |    63252 |     3807     39 |        0 |        0
25.09/25.18	c 25.1s |      14 |    81299 |    69052 |     3807     42 |        0 |        0
27.09/27.19	c 27.1s |      14 |    88217 |    74852 |     3807     45 |        0 |        0
29.19/29.21	c 29.2s |      14 |    94799 |    80552 |     3807     48 |        0 |        0
31.19/31.23	c 31.2s |      14 |   100739 |    86052 |     3807     51 |        0 |        0
31.79/31.81	c 31.8s |      15 |   102563 |    87632 |     4188     52 |        0 |        0
33.78/33.84	c 33.8s |      15 |   107519 |    92132 |     4188     54 |        0 |        0
35.78/35.85	c 35.8s |      15 |   113276 |    97332 |     4188     56 |        0 |        0
37.78/37.87	c 37.8s |      15 |   120035 |   103232 |     4188     59 |        0 |        0
39.78/39.87	c 39.8s |      15 |   125620 |   108032 |     4188     61 |        0 |        0
41.78/41.88	c 41.8s |      15 |   131859 |   113532 |     4188     64 |        0 |        0
43.78/43.89	c 43.8s |      15 |   137960 |   118832 |     4188     66 |        0 |        0
45.78/45.89	c 45.8s |      15 |   143975 |   124232 |     4188     69 |        0 |        0
47.78/47.89	c 47.8s |      15 |   150488 |   129832 |     4188     71 |        0 |        0
48.39/48.48	c 48.4s |      16 |   152481 |   131552 |     4607     72 |        0 |        0
50.49/50.52	c 50.5s |      16 |   158426 |   136852 |     4607     74 |        0 |        0
52.48/52.53	c 52.5s |      16 |   163901 |   141752 |     4607     76 |        0 |        0
54.48/54.54	c 54.5s |      16 |   170134 |   147252 |     4607     79 |        0 |        0
56.48/56.56	c 56.5s |      16 |   175588 |   152152 |     4607     81 |        0 |        0
58.48/58.59	c 58.5s |      16 |   181324 |   157052 |     4607     83 |        0 |        0
60.49/60.60	c 60.6s |      16 |   187638 |   162452 |     4607     85 |        0 |        0
62.58/62.61	c 62.6s |      16 |   193538 |   167752 |     4607     87 |        0 |        0
64.58/64.61	c 64.6s |      16 |   200302 |   173452 |     4607     90 |        0 |        0
66.58/66.65	c 66.6s |      16 |   207077 |   179352 |     4607     92 |        0 |        0
68.58/68.66	c 68.6s |      16 |   213760 |   185052 |     4607     95 |        0 |        0
70.58/70.68	c 70.6s |      16 |   221698 |   191552 |     4607     98 |        0 |        0
72.68/72.72	c 72.7s |      16 |   227692 |   196552 |     5068     99 |        0 |        0
72.98/73.01	c 73.0s |      17 |   228748 |   197432 |     5068    100 |        0 |        0
74.98/75.02	c 75.0s |      17 |   233668 |   201932 |     5068    102 |        0 |        0
76.98/77.03	c 77.0s |      17 |   239596 |   207232 |     5068    104 |        0 |        0
78.98/79.06	c 79.0s |      17 |   245412 |   212232 |     5068    106 |        0 |        0
80.98/81.07	c 81.0s |      17 |   251214 |   217532 |     5068    108 |        0 |        0
82.97/83.08	c 83.0s |      17 |   257609 |   223132 |     5068    110 |        0 |        0
84.97/85.09	c 85.0s |      17 |   263460 |   228432 |     5068    112 |        0 |        0
87.07/87.11	c 87.1s |      17 |   269847 |   234132 |     5068    114 |        0 |        0
89.08/89.11	c 89.1s |      17 |   276891 |   240032 |     5068    116 |        0 |        0
91.07/91.12	c 91.1s |      17 |   283065 |   245232 |     5068    118 |        0 |        0
93.07/93.14	c 93.1s |      17 |   289798 |   251032 |     5068    121 |        0 |        0
95.07/95.19	c 95.1s |      17 |   295901 |   256032 |     5068    122 |        0 |        0
97.17/97.22	c 97.2s |      17 |   302068 |   261232 |     5068    124 |        0 |        0
99.17/99.22	c 99.2s |      17 |   307458 |   266132 |     5068    126 |        0 |        0
101.18/101.24	c  101s |      17 |   313778 |   271632 |     5068    128 |        0 |        0
103.17/103.25	c  103s |      17 |   318978 |   276232 |     5068    130 |        0 |        0
105.17/105.25	c  105s |      17 |   325292 |   281632 |     5068    132 |        0 |        0
107.17/107.27	c  107s |      17 |   331216 |   286632 |     5068    134 |        0 |        0
109.27/109.31	c  109s |      17 |   337611 |   292232 |     5068    136 |        0 |        0
110.67/110.79	c  110s |      18 |   342226 |   296252 |     5575    138 |        0 |        0
112.68/112.79	c  112s |      18 |   347284 |   300652 |     5575    139 |        0 |        0
114.78/114.81	c  114s |      18 |   352690 |   305552 |     5575    141 |        0 |        0
116.78/116.83	c  116s |      18 |   358404 |   310552 |     5575    143 |        0 |        0
118.78/118.89	c  118s |      18 |   363842 |   315352 |     5575    144 |        0 |        0
120.87/120.90	c  120s |      18 |   369663 |   320552 |     5575    146 |        0 |        0
122.97/123.01	c  122s |      18 |   375567 |   325652 |     5575    148 |        0 |        0
124.97/125.03	c  124s |      18 |   382677 |   331552 |     5575    150 |        0 |        0
126.97/127.08	c  127s |      18 |   390310 |   337552 |     5575    152 |        0 |        0
129.07/129.10	c  129s |      18 |   395246 |   341752 |     5575    154 |        0 |        0
131.17/131.23	c  131s |      18 |   401788 |   347152 |     5575    156 |        0 |        0
133.18/133.25	c  133s |      18 |   407649 |   352352 |     5575    157 |        0 |        0
135.17/135.26	c  135s |      18 |   413332 |   357352 |     5575    159 |        0 |        0
137.17/137.27	c  137s |      18 |   419571 |   362652 |     5575    161 |        0 |        0
139.17/139.28	c  139s |      18 |   425917 |   368052 |     5575    163 |        0 |        0
141.27/141.33	c  141s |      18 |   432487 |   373752 |     5575    165 |        0 |        0
143.27/143.33	c  143s |      18 |   439990 |   379952 |     5575    167 |        0 |        0
145.27/145.39	c  145s |      18 |   445234 |   384052 |     5575    169 |        0 |        0
147.37/147.41	c  147s |      18 |   450821 |   388952 |     5575    170 |        0 |        0
149.36/149.41	c  149s |      18 |   457397 |   394252 |     5575    172 |        0 |        0
151.36/151.43	c  151s |      18 |   462784 |   399052 |     5575    174 |        0 |        0
153.36/153.44	c  153s |      18 |   468145 |   403852 |     5575    175 |        0 |        0
155.36/155.45	c  155s |      18 |   474475 |   409252 |     5575    177 |        0 |        0
157.37/157.48	c  157s |      18 |   480488 |   414552 |     5575    179 |        0 |        0
159.36/159.50	c  159s |      18 |   487269 |   420252 |     5575    181 |        0 |        0
161.67/161.74	c  161s |      18 |   494032 |   425852 |     5575    183 |        0 |        0
163.66/163.75	c  163s |      18 |   499800 |   430952 |     5575    185 |        0 |        0
165.76/165.85	c  165s |      18 |   505489 |   435952 |     5575    187 |        0 |        0
167.76/167.89	c  167s |      18 |   511079 |   441052 |     5575    189 |        0 |        0
169.26/169.37	c  169s |      19 |   514996 |   444482 |     6133    190 |        0 |        0
171.36/171.41	c  171s |      19 |   520805 |   449382 |     6133    191 |        0 |        0
173.36/173.47	c  173s |      19 |   525788 |   453882 |     6133    193 |        0 |        0
175.46/175.54	c  175s |      19 |   531725 |   459082 |     6133    194 |        0 |        0
177.46/177.55	c  177s |      19 |   536824 |   463682 |     6133    196 |        0 |        0
179.46/179.58	c  179s |      19 |   542575 |   468782 |     6133    197 |        0 |        0
181.56/181.60	c  181s |      19 |   548662 |   474082 |     6133    199 |        0 |        0
183.56/183.65	c  183s |      19 |   554512 |   479282 |     6133    201 |        0 |        0
185.56/185.66	c  185s |      19 |   561364 |   485082 |     6133    203 |        0 |        0
187.56/187.67	c  187s |      19 |   566223 |   488982 |     6133    204 |        0 |        0
189.56/189.70	c  189s |      19 |   571639 |   493882 |     6133    205 |        0 |        0
191.66/191.73	c  191s |      19 |   576731 |   498282 |     6133    207 |        0 |        0
193.67/193.76	c  193s |      19 |   582646 |   503482 |     6133    208 |        0 |        0
195.66/195.79	c  195s |      19 |   587745 |   508182 |     6133    210 |        0 |        0
197.66/197.79	c  197s |      19 |   593468 |   513182 |     6133    212 |        0 |        0
199.76/199.84	c  199s |      19 |   600022 |   518782 |     6133    213 |        0 |        0
201.76/201.84	c  201s |      19 |   606736 |   524482 |     6133    215 |        0 |        0
204.16/204.28	c  204s |      19 |   612897 |   529682 |     6133    217 |        0 |        0
206.16/206.29	c  206s |      19 |   618268 |   534482 |     6133    218 |        0 |        0
208.26/208.31	c  208s |      19 |   624041 |   539582 |     6133    220 |        0 |        0
210.45/210.50	c  210s |      19 |   630381 |   544782 |     6133    222 |        0 |        0
212.45/212.53	c  212s |      19 |   636094 |   549882 |     6133    223 |        0 |        0
214.46/214.55	c  214s |      19 |   641909 |   554782 |     6133    225 |        0 |        0
216.45/216.57	c  216s |      19 |   647891 |   559982 |     6133    227 |        0 |        0
218.46/218.58	c  218s |      19 |   653769 |   565182 |     6133    228 |        0 |        0
220.46/220.59	c  220s |      19 |   659915 |   570582 |     6133    230 |        0 |        0
222.46/222.59	c  222s |      19 |   665549 |   575382 |     6133    231 |        0 |        0
224.56/224.62	c  224s |      19 |   671612 |   580682 |     6133    233 |        0 |        0
226.57/226.64	c  226s |      19 |   676770 |   585382 |     6133    235 |        0 |        0
228.56/228.66	c  228s |      19 |   682801 |   590882 |     6133    236 |        0 |        0
230.56/230.67	c  230s |      19 |   689641 |   596682 |     6133    238 |        0 |        0
232.66/232.70	c  232s |      19 |   695162 |   601482 |     6133    240 |        0 |        0
234.66/234.74	c  234s |      19 |   700865 |   606582 |     6133    241 |        0 |        0
236.66/236.76	c  236s |      19 |   706704 |   611582 |     6133    243 |        0 |        0
238.66/238.77	c  238s |      19 |   713599 |   617482 |     6133    245 |        0 |        0
240.65/240.79	c  240s |      19 |   719985 |   622682 |     6133    247 |        0 |        0
242.75/242.82	c  242s |      19 |   727640 |   628782 |     6133    249 |        0 |        0
244.75/244.83	c  244s |      19 |   734730 |   634482 |     6133    250 |        0 |        0
246.75/246.84	c  246s |      19 |   741484 |   640182 |     6133    252 |        0 |        0
248.75/248.86	c  248s |      19 |   748919 |   646182 |     6133    254 |        0 |        0
250.76/250.88	c  250s |      19 |   756632 |   652382 |     6133    256 |        0 |        0
252.75/252.89	c  252s |      19 |   766292 |   659382 |     6133    258 |        0 |        0
254.85/254.90	c  254s |      19 |   770677 |   662882 |     6747    259 |        0 |        0
256.75/256.84	c  256s |      20 |   775329 |   666827 |     6747    261 |        0 |        0
258.75/258.86	c  258s |      20 |   780927 |   671527 |     6747    262 |        0 |        0
260.76/260.87	c  260s |      20 |   786300 |   676027 |     6747    263 |        0 |        0
262.75/262.90	c  262s |      20 |   792028 |   680827 |     6747    265 |        0 |        0
264.85/264.94	c  264s |      20 |   797833 |   686027 |     6747    266 |        0 |        0
266.85/266.97	c  266s |      20 |   802437 |   690027 |     6747    267 |        0 |        0
268.95/269.00	c  268s |      20 |   807399 |   694427 |     6747    269 |        0 |        0
270.95/271.07	c  271s |      20 |   812886 |   699227 |     6747    270 |        0 |        0
273.05/273.10	c  273s |      20 |   818410 |   704127 |     6747    271 |        0 |        0
275.05/275.14	c  275s |      20 |   823796 |   708927 |     6747    273 |        0 |        0
277.04/277.17	c  277s |      20 |   829519 |   714127 |     6747    274 |        0 |        0
279.35/279.50	c  279s |      20 |   835309 |   718927 |     6747    276 |        0 |        0
281.44/281.53	c  281s |      20 |   840542 |   723527 |     6747    277 |        0 |        0
283.44/283.54	c  283s |      20 |   845967 |   728327 |     6747    278 |        0 |        0
285.44/285.56	c  285s |      20 |   850939 |   732627 |     6747    280 |        0 |        0
287.44/287.57	c  287s |      20 |   855913 |   737127 |     6747    281 |        0 |        0
289.54/289.60	c  289s |      20 |   860855 |   741627 |     6747    282 |        0 |        0
291.55/291.60	c  291s |      20 |   865851 |   746227 |     6747    284 |        0 |        0
293.54/293.62	c  293s |      20 |   871281 |   751127 |     6747    285 |        0 |        0
295.54/295.66	c  295s |      20 |   876616 |   755927 |     6747    287 |        0 |        0
297.54/297.69	c  297s |      20 |   883174 |   761527 |     6747    288 |        0 |        0
299.75/299.85	c  299s |      20 |   887543 |   765027 |     6747    289 |        0 |        0
301.75/301.87	c  301s |      20 |   892732 |   769527 |     6747    291 |        0 |        0
303.75/303.87	c  303s |      20 |   897451 |   773927 |     6747    292 |        0 |        0
305.75/305.88	c  305s |      20 |   902967 |   778727 |     6747    293 |        0 |        0
307.75/307.88	c  307s |      20 |   907489 |   782727 |     6747    294 |        0 |        0
309.84/309.91	c  309s |      20 |   913783 |   788227 |     6747    296 |        0 |        0
311.84/311.93	c  311s |      20 |   919746 |   793227 |     6747    297 |        0 |        0
313.84/313.93	c  313s |      20 |   925085 |   797827 |     6747    299 |        0 |        0
315.84/315.94	c  315s |      20 |   929612 |   801927 |     6747    300 |        0 |        0
317.85/317.98	c  317s |      20 |   934934 |   806527 |     6747    301 |        0 |        0
319.84/319.99	c  319s |      20 |   940338 |   811327 |     6747    303 |        0 |        0
321.84/321.99	c  321s |      20 |   946375 |   816527 |     6747    304 |        0 |        0
323.94/324.01	c  323s |      20 |   952454 |   821727 |     6747    306 |        0 |        0
326.34/326.42	c  326s |      20 |   959622 |   827427 |     6747    307 |        0 |        0
328.34/328.43	c  328s |      20 |   965099 |   832127 |     6747    309 |        0 |        0
330.34/330.46	c  330s |      20 |   970896 |   837327 |     6747    310 |        0 |        0
332.33/332.46	c  332s |      20 |   976207 |   841927 |     6747    312 |        0 |        0
334.35/334.47	c  334s |      20 |   982176 |   847227 |     6747    313 |        0 |        0
336.34/336.48	c  336s |      20 |   989470 |   853027 |     6747    315 |        0 |        0
338.44/338.51	c  338s |      20 |   995242 |   857727 |     6747    316 |        0 |        0
340.44/340.52	c  340s |      20 |  1000936 |   862727 |     6747    318 |        0 |        0
342.44/342.54	c  342s |      20 |  1007103 |   868127 |     6747    319 |        0 |        0
344.44/344.56	c  344s |      20 |  1013551 |   873427 |     6747    321 |        0 |        0
346.55/346.63	c  346s |      20 |  1020318 |   879127 |     6747    323 |        0 |        0
348.54/348.64	c  348s |      20 |  1027386 |   884727 |     6747    324 |        0 |        0
350.54/350.66	c  350s |      20 |  1034792 |   890427 |     6747    326 |        0 |        0
352.54/352.69	c  352s |      20 |  1042372 |   896427 |     6747    328 |        0 |        0
354.64/354.71	c  354s |      20 |  1050606 |   902927 |     6747    329 |        0 |        0
356.64/356.72	c  356s |      20 |  1055507 |   906827 |     6747    331 |        0 |        0
358.64/358.72	c  358s |      20 |  1060815 |   911227 |     6747    332 |        0 |        0
360.63/360.75	c  360s |      20 |  1066364 |   916127 |     6747    333 |        0 |        0
362.63/362.77	c  362s |      20 |  1072590 |   921427 |     6747    335 |        0 |        0
364.73/364.80	c  364s |      20 |  1079053 |   926927 |     6747    336 |        0 |        0
366.73/366.82	c  366s |      20 |  1084444 |   931527 |     6747    338 |        0 |        0
368.73/368.83	c  368s |      20 |  1090729 |   936927 |     6747    339 |        0 |        0
370.74/370.86	c  370s |      20 |  1097698 |   942627 |     6747    341 |        0 |        0
372.73/372.87	c  372s |      20 |  1103280 |   947127 |     6747    342 |        0 |        0
374.83/374.91	c  374s |      20 |  1109608 |   952327 |     6747    344 |        0 |        0
376.83/376.92	c  376s |      20 |  1115682 |   957327 |     6747    345 |        0 |        0
378.83/378.93	c  378s |      20 |  1122158 |   962527 |     6747    347 |        0 |        0
380.83/380.97	c  380s |      20 |  1128211 |   967627 |     6747    348 |        0 |        0
382.83/382.99	c  382s |      20 |  1135151 |   973227 |     6747    350 |        0 |        0
384.93/385.02	c  384s |      20 |  1142075 |   978527 |     6747    351 |        0 |        0
386.93/387.05	c  387s |      20 |  1149296 |   984427 |     6747    353 |        0 |        0
388.93/389.05	c  389s |      20 |  1155801 |   989627 |     6747    355 |        0 |        0
390.93/391.10	c  391s |      20 |  1161294 |   994427 |     7422    356 |        0 |        0
393.03/393.10	c  393s |      20 |  1167064 |   999527 |     7422    357 |        0 |        0
393.23/393.37	c  393s |      21 |  1168199 |  1000345 |     7422    358 |        0 |        0
395.22/395.38	c  395s |      21 |  1172538 |  1003945 |     7422    359 |        0 |        0
397.32/397.40	c  397s |      21 |  1178692 |  1009045 |     7422    360 |        0 |        0
399.33/399.41	c  399s |      21 |  1184601 |  1014045 |     7422    361 |        0 |        0
401.33/401.46	c  401s |      21 |  1190117 |  1018945 |     7422    363 |        0 |        0
403.33/403.46	c  403s |      21 |  1195511 |  1023545 |     7422    364 |        0 |        0
405.33/405.49	c  405s |      21 |  1202727 |  1029245 |     7422    365 |        0 |        0
407.43/407.52	c  407s |      21 |  1208597 |  1033845 |     7422    366 |        0 |        0
409.43/409.53	c  409s |      21 |  1215233 |  1039345 |     7422    368 |        0 |        0
411.44/411.56	c  411s |      21 |  1221208 |  1044345 |     7422    369 |        0 |        0
413.43/413.59	c  413s |      21 |  1227524 |  1049445 |     7422    371 |        0 |        0
415.53/415.63	c  415s |      21 |  1234226 |  1055045 |     7422    372 |        0 |        0
417.53/417.63	c  417s |      21 |  1240909 |  1060545 |     7422    374 |        0 |        0
419.53/419.65	c  419s |      21 |  1249080 |  1066645 |     7422    375 |        0 |        0
422.02/422.17	c  422s |      21 |  1256436 |  1072545 |     7422    377 |        0 |        0
424.02/424.19	c  424s |      21 |  1262275 |  1077245 |     7422    378 |        0 |        0
426.12/426.21	c  426s |      21 |  1268054 |  1082045 |     7422    379 |        0 |        0
428.12/428.22	c  428s |      21 |  1273679 |  1086945 |     7422    381 |        0 |        0
430.13/430.26	c  430s |      21 |  1279759 |  1092045 |     7422    382 |        0 |        0
432.12/432.29	c  432s |      21 |  1285312 |  1097045 |     7422    383 |        0 |        0
434.22/434.32	c  434s |      21 |  1290896 |  1101945 |     7422    385 |        0 |        0
436.92/437.02	c  436s |      21 |  1296057 |  1106345 |     7422    386 |        0 |        0
438.93/439.06	c  439s |      21 |  1300623 |  1110545 |     7422    387 |        0 |        0
440.92/441.06	c  441s |      21 |  1305346 |  1114845 |     7422    388 |        0 |        0
442.92/443.08	c  443s |      21 |  1310349 |  1119145 |     7422    389 |        0 |        0
445.02/445.11	c  445s |      21 |  1314945 |  1123445 |     7422    390 |        0 |        0
447.02/447.14	c  447s |      21 |  1319868 |  1127845 |     7422    391 |        0 |        0
449.02/449.15	c  449s |      21 |  1325268 |  1132545 |     7422    393 |        0 |        0
451.02/451.16	c  451s |      21 |  1330391 |  1137145 |     7422    394 |        0 |        0
453.02/453.19	c  453s |      21 |  1335665 |  1141745 |     7422    395 |        0 |        0
455.11/455.20	c  455s |      21 |  1340652 |  1146345 |     7422    396 |        0 |        0
457.11/457.24	c  457s |      21 |  1346345 |  1151545 |     7422    398 |        0 |        0
459.73/459.81	c  459s |      21 |  1350706 |  1155245 |     7422    399 |        0 |        0
461.72/461.84	c  461s |      21 |  1355496 |  1159645 |     7422    400 |        0 |        0
463.72/463.86	c  463s |      21 |  1360821 |  1164445 |     7422    401 |        0 |        0
465.72/465.89	c  465s |      21 |  1366401 |  1169245 |     7422    402 |        0 |        0
467.82/467.92	c  467s |      21 |  1370736 |  1173145 |     7422    403 |        0 |        0
469.82/469.93	c  469s |      21 |  1376079 |  1177745 |     7422    405 |        0 |        0
471.83/471.95	c  471s |      21 |  1381072 |  1182245 |     7422    406 |        0 |        0
473.82/473.95	c  473s |      21 |  1387183 |  1187345 |     7422    407 |        0 |        0
475.92/476.01	c  475s |      21 |  1391845 |  1191345 |     7422    408 |        0 |        0
477.92/478.08	c  478s |      21 |  1397078 |  1195845 |     7422    410 |        0 |        0
480.02/480.11	c  480s |      21 |  1402468 |  1200645 |     7422    411 |        0 |        0
482.01/482.13	c  482s |      21 |  1407744 |  1205345 |     7422    412 |        0 |        0
484.02/484.14	c  484s |      21 |  1413549 |  1210445 |     7422    413 |        0 |        0
486.01/486.16	c  486s |      21 |  1420194 |  1216045 |     7422    415 |        0 |        0
488.01/488.20	c  488s |      21 |  1423732 |  1219145 |     7422    416 |        0 |        0
490.11/490.22	c  490s |      21 |  1429396 |  1224145 |     7422    417 |        0 |        0
492.11/492.24	c  492s |      21 |  1435142 |  1229245 |     7422    418 |        0 |        0
494.11/494.28	c  494s |      21 |  1439933 |  1233545 |     7422    420 |        0 |        0
496.12/496.29	c  496s |      21 |  1445175 |  1238345 |     7422    421 |        0 |        0
498.22/498.31	c  498s |      21 |  1451223 |  1243745 |     7422    422 |        0 |        0
500.21/500.32	c  500s |      21 |  1455901 |  1248045 |     7422    423 |        0 |        0
502.21/502.34	c  502s |      21 |  1462131 |  1253445 |     7422    425 |        0 |        0
504.22/504.36	c  504s |      21 |  1467612 |  1258345 |     7422    426 |        0 |        0
506.22/506.37	c  506s |      21 |  1474057 |  1263845 |     7422    428 |        0 |        0
508.32/508.42	c  508s |      21 |  1482040 |  1270245 |     7422    429 |        0 |        0
510.32/510.44	c  510s |      21 |  1485726 |  1273145 |     7422    430 |        0 |        0
512.31/512.45	c  512s |      21 |  1490521 |  1277245 |     7422    431 |        0 |        0
514.41/514.50	c  514s |      21 |  1495283 |  1281445 |     7422    432 |        0 |        0
516.41/516.54	c  516s |      21 |  1499870 |  1285645 |     7422    433 |        0 |        0
518.41/518.57	c  518s |      21 |  1505075 |  1290245 |     7422    435 |        0 |        0
520.41/520.57	c  520s |      21 |  1510591 |  1295245 |     7422    436 |        0 |        0
522.41/522.59	c  522s |      21 |  1517006 |  1300445 |     7422    437 |        0 |        0
524.51/524.60	c  524s |      21 |  1523060 |  1305545 |     7422    439 |        0 |        0
526.51/526.63	c  526s |      21 |  1527217 |  1309045 |     7422    440 |        0 |        0
528.50/528.67	c  528s |      21 |  1532846 |  1313845 |     7422    441 |        0 |        0
530.60/530.71	c  530s |      21 |  1538383 |  1318645 |     7422    442 |        0 |        0
532.60/532.73	c  532s |      21 |  1543817 |  1323445 |     7422    443 |        0 |        0
534.61/534.74	c  534s |      21 |  1549098 |  1328245 |     7422    445 |        0 |        0
536.60/536.77	c  536s |      21 |  1555512 |  1333845 |     7422    446 |        0 |        0
538.70/538.80	c  538s |      21 |  1557577 |  1335745 |     7422    447 |        0 |        0
540.70/540.81	c  540s |      21 |  1562834 |  1340645 |     7422    448 |        0 |        0
542.70/542.82	c  542s |      21 |  1567924 |  1345245 |     7422    449 |        0 |        0
544.70/544.87	c  544s |      21 |  1573558 |  1350145 |     7422    451 |        0 |        0
547.11/547.27	c  547s |      21 |  1580413 |  1355745 |     7422    452 |        0 |        0
549.11/549.28	c  549s |      21 |  1586468 |  1361045 |     7422    453 |        0 |        0
551.12/551.29	c  551s |      21 |  1592459 |  1366145 |     7422    455 |        0 |        0
553.11/553.29	c  553s |      21 |  1598184 |  1370745 |     7422    456 |        0 |        0
555.21/555.31	c  555s |      21 |  1604026 |  1375945 |     7422    457 |        0 |        0
557.21/557.34	c  557s |      21 |  1610105 |  1381045 |     7422    459 |        0 |        0
559.21/559.35	c  559s |      21 |  1616493 |  1386645 |     7422    460 |        0 |        0
561.20/561.36	c  561s |      21 |  1623762 |  1392445 |     7422    462 |        0 |        0
563.21/563.36	c  563s |      21 |  1631533 |  1398845 |     7422    463 |        0 |        0
565.20/565.38	c  565s |      21 |  1634917 |  1401445 |     7422    464 |        0 |        0
567.30/567.43	c  567s |      21 |  1640849 |  1406445 |     7422    466 |        0 |        0
569.30/569.47	c  569s |      21 |  1646452 |  1411145 |     7422    467 |        0 |        0
571.30/571.47	c  571s |      21 |  1652089 |  1416145 |     7422    468 |        0 |        0
573.50/573.60	c  573s |      21 |  1657980 |  1421045 |     7422    469 |        0 |        0
575.50/575.64	c  575s |      21 |  1663886 |  1425945 |     7422    471 |        0 |        0
577.51/577.66	c  577s |      21 |  1669781 |  1430945 |     7422    472 |        0 |        0
579.50/579.67	c  579s |      21 |  1675783 |  1436045 |     7422    473 |        0 |        0
581.50/581.68	c  581s |      21 |  1681079 |  1440445 |     7422    475 |        0 |        0
583.50/583.69	c  583s |      21 |  1686973 |  1445545 |     7422    476 |        0 |        0
585.60/585.73	c  585s |      21 |  1693805 |  1451345 |     7422    477 |        0 |        0
587.60/587.75	c  587s |      21 |  1699197 |  1455745 |     7422    479 |        0 |        0
589.61/589.76	c  589s |      21 |  1705680 |  1461045 |     7422    480 |        0 |        0
591.60/591.79	c  591s |      21 |  1712206 |  1466645 |     7422    482 |        0 |        0
593.70/593.80	c  593s |      21 |  1719788 |  1472945 |     7422    483 |        0 |        0
595.70/595.84	c  595s |      21 |  1724087 |  1476445 |     7422    484 |        0 |        0
597.70/597.84	c  597s |      21 |  1729662 |  1481345 |     7422    485 |        0 |        0
599.70/599.84	c  599s |      21 |  1734628 |  1485845 |     7422    487 |        0 |        0
601.71/601.85	c  601s |      21 |  1740545 |  1491145 |     8165    488 |        0 |        0
603.70/603.86	c  603s |      21 |  1745514 |  1495345 |     8165    489 |        0 |        0
605.70/605.88	c  605s |      21 |  1751338 |  1500545 |     8165    490 |        0 |        0
605.80/605.90	c  605s |      22 |  1751423 |  1500622 |     8165    490 |        0 |        0
607.80/607.91	c  607s |      22 |  1755497 |  1504122 |     8165    491 |        0 |        0
609.80/609.94	c  609s |      22 |  1761450 |  1509022 |     8165    492 |        0 |        0
611.80/611.96	c  611s |      22 |  1766242 |  1513222 |     8165    493 |        0 |        0
613.80/613.97	c  613s |      22 |  1771465 |  1517622 |     8165    494 |        0 |        0
615.80/615.97	c  615s |      22 |  1775612 |  1521522 |     8165    495 |        0 |        0
618.50/618.63	c  618s |      22 |  1780416 |  1525722 |     8165    496 |        0 |        0
620.50/620.64	c  620s |      22 |  1785134 |  1529922 |     8165    497 |        0 |        0
622.50/622.68	c  622s |      22 |  1790270 |  1534522 |     8165    498 |        0 |        0
624.60/624.70	c  624s |      22 |  1796118 |  1539422 |     8165    500 |        0 |        0
626.69/626.87	c  626s |      22 |  1801389 |  1543622 |     8165    501 |        0 |        0
628.79/628.90	c  628s |      22 |  1806255 |  1547822 |     8165    502 |        0 |        0
630.79/630.94	c  630s |      22 |  1811194 |  1552222 |     8165    503 |        0 |        0
632.79/632.95	c  632s |      22 |  1815946 |  1556422 |     8165    504 |        0 |        0
634.79/634.96	c  634s |      22 |  1821041 |  1561022 |     8165    505 |        0 |        0
636.80/636.99	c  636s |      22 |  1826768 |  1566122 |     8165    506 |        0 |        0
638.89/639.00	c  638s |      22 |  1830741 |  1569722 |     8165    507 |        0 |        0
640.89/641.00	c  640s |      22 |  1836134 |  1574422 |     8165    508 |        0 |        0
642.89/643.01	c  642s |      22 |  1840658 |  1578622 |     8165    509 |        0 |        0
644.89/645.03	c  644s |      22 |  1846196 |  1583522 |     8165    510 |        0 |        0
646.89/647.03	c  646s |      22 |  1851562 |  1587922 |     8165    511 |        0 |        0
648.89/649.09	c  649s |      22 |  1857306 |  1592822 |     8165    513 |        0 |        0
650.99/651.10	c  651s |      22 |  1863133 |  1597722 |     8165    514 |        0 |        0
652.99/653.13	c  653s |      22 |  1869295 |  1602622 |     8165    515 |        0 |        0
654.99/655.13	c  655s |      22 |  1875883 |  1608222 |     8165    516 |        0 |        0
657.09/657.22	c  657s |      22 |  1882281 |  1613422 |     8165    518 |        0 |        0
659.08/659.22	c  659s |      22 |  1890482 |  1619822 |     8165    519 |        0 |        0
661.10/661.23	c  661s |      22 |  1894414 |  1622722 |     8165    520 |        0 |        0
663.09/663.25	c  663s |      22 |  1899349 |  1627022 |     8165    521 |        0 |        0
665.09/665.26	c  665s |      22 |  1904169 |  1631222 |     8165    522 |        0 |        0
667.19/667.30	c  667s |      22 |  1909210 |  1635722 |     8165    523 |        0 |        0
669.19/669.32	c  669s |      22 |  1914240 |  1640122 |     8165    524 |        0 |        0
671.19/671.34	c  671s |      22 |  1920317 |  1645222 |     8165    525 |        0 |        0
673.49/673.67	c  673s |      22 |  1925924 |  1650122 |     8165    526 |        0 |        0
675.59/675.71	c  675s |      22 |  1929981 |  1653622 |     8165    527 |        0 |        0
677.59/677.73	c  677s |      22 |  1934618 |  1657422 |     8165    528 |        0 |        0
679.59/679.75	c  679s |      22 |  1938924 |  1661122 |     8165    529 |        0 |        0
681.59/681.79	c  681s |      22 |  1944243 |  1665622 |     8165    530 |        0 |        0
683.68/683.83	c  683s |      22 |  1949650 |  1670322 |     8165    531 |        0 |        0
685.68/685.86	c  685s |      22 |  1955767 |  1675222 |     8165    532 |        0 |        0
688.08/688.28	c  688s |      22 |  1961292 |  1680022 |     8165    534 |        0 |        0
690.08/690.30	c  690s |      22 |  1967205 |  1684922 |     8165    535 |        0 |        0
692.18/692.34	c  692s |      22 |  1971327 |  1688622 |     8165    536 |        0 |        0
694.18/694.35	c  694s |      22 |  1976300 |  1693022 |     8165    537 |        0 |        0
696.19/696.40	c  696s |      22 |  1981715 |  1697822 |     8165    538 |        0 |        0
698.29/698.42	c  698s |      22 |  1986797 |  1702322 |     8165    539 |        0 |        0
700.29/700.45	c  700s |      22 |  1991625 |  1706622 |     8165    540 |        0 |        0
702.29/702.45	c  702s |      22 |  1998144 |  1712122 |     8165    541 |        0 |        0
704.29/704.50	c  704s |      22 |  2000871 |  1714522 |     8165    542 |        0 |        0
706.28/706.50	c  706s |      22 |  2005734 |  1718722 |     8165    543 |        0 |        0
708.29/708.50	c  708s |      22 |  2010797 |  1723122 |     8165    544 |        0 |        0
710.38/710.52	c  710s |      22 |  2015827 |  1727522 |     8165    545 |        0 |        0
712.38/712.54	c  712s |      22 |  2021756 |  1732522 |     8165    546 |        0 |        0
714.38/714.54	c  714s |      22 |  2028395 |  1738022 |     8165    548 |        0 |        0
716.38/716.57	c  716s |      22 |  2032530 |  1741422 |     8165    548 |        0 |        0
718.38/718.58	c  718s |      22 |  2037179 |  1745622 |     8165    549 |        0 |        0
720.39/720.60	c  720s |      22 |  2042463 |  1750422 |     8165    551 |        0 |        0
722.48/722.60	c  722s |      22 |  2049416 |  1756222 |     8165    552 |        0 |        0
724.48/724.61	c  724s |      22 |  2053800 |  1760022 |     8165    553 |        0 |        0
726.48/726.61	c  726s |      22 |  2059079 |  1764522 |     8165    554 |        0 |        0
728.48/728.66	c  728s |      22 |  2064185 |  1769022 |     8165    555 |        0 |        0
730.48/730.67	c  730s |      22 |  2070544 |  1774422 |     8165    556 |        0 |        0
732.68/732.81	c  732s |      22 |  2075355 |  1778522 |     8165    557 |        0 |        0
734.68/734.82	c  734s |      22 |  2080477 |  1783122 |     8165    559 |        0 |        0
736.68/736.82	c  736s |      22 |  2086539 |  1788422 |     8165    560 |        0 |        0
738.67/738.85	c  738s |      22 |  2091509 |  1792722 |     8165    561 |        0 |        0
740.67/740.85	c  740s |      22 |  2098027 |  1798022 |     8165    562 |        0 |        0
742.67/742.88	c  742s |      22 |  2103896 |  1803122 |     8165    563 |        0 |        0
744.68/744.89	c  744s |      22 |  2111223 |  1808722 |     8165    565 |        0 |        0
746.67/746.90	c  746s |      22 |  2116053 |  1812322 |     8165    566 |        0 |        0
748.77/748.92	c  748s |      22 |  2121396 |  1817022 |     8165    567 |        0 |        0
750.76/750.93	c  750s |      22 |  2126379 |  1821422 |     8165    568 |        0 |        0
752.76/752.94	c  752s |      22 |  2131410 |  1825722 |     8165    569 |        0 |        0
754.76/754.97	c  754s |      22 |  2136003 |  1830022 |     8165    570 |        0 |        0
756.77/756.98	c  756s |      22 |  2140828 |  1834122 |     8165    571 |        0 |        0
758.76/758.98	c  758s |      22 |  2145926 |  1838722 |     8165    572 |        0 |        0
760.86/761.02	c  760s |      22 |  2150909 |  1843122 |     8165    573 |        0 |        0
762.86/763.07	c  763s |      22 |  2156206 |  1847922 |     8165    574 |        0 |        0
764.96/765.11	c  765s |      22 |  2162113 |  1853022 |     8165    575 |        0 |        0
766.96/767.14	c  767s |      22 |  2165646 |  1856222 |     8165    576 |        0 |        0
768.96/769.14	c  769s |      22 |  2171005 |  1860922 |     8165    577 |        0 |        0
770.96/771.16	c  771s |      22 |  2176213 |  1865522 |     8165    579 |        0 |        0
772.95/773.18	c  773s |      22 |  2182761 |  1870922 |     8165    580 |        0 |        0
774.96/775.19	c  775s |      22 |  2187136 |  1874622 |     8165    581 |        0 |        0
777.06/777.21	c  777s |      22 |  2193910 |  1880122 |     8165    582 |        0 |        0
779.06/779.24	c  779s |      22 |  2199210 |  1884822 |     8165    583 |        0 |        0
781.05/781.26	c  781s |      22 |  2203599 |  1888722 |     8165    584 |        0 |        0
783.05/783.27	c  783s |      22 |  2210069 |  1894222 |     8165    585 |        0 |        0
785.05/785.28	c  785s |      22 |  2215198 |  1898622 |     8165    587 |        0 |        0
787.15/787.31	c  787s |      22 |  2221530 |  1904022 |     8165    588 |        0 |        0
789.15/789.34	c  789s |      22 |  2227228 |  1908922 |     8165    589 |        0 |        0
791.14/791.38	c  791s |      22 |  2234099 |  1914622 |     8165    590 |        0 |        0
793.14/793.40	c  793s |      22 |  2241237 |  1920522 |     8165    592 |        0 |        0
795.54/795.73	c  795s |      22 |  2244211 |  1922922 |     8165    592 |        0 |        0
797.54/797.79	c  797s |      22 |  2249457 |  1927522 |     8165    594 |        0 |        0
799.64/799.82	c  799s |      22 |  2254811 |  1932122 |     8165    595 |        0 |        0
801.63/801.86	c  801s |      22 |  2260780 |  1937122 |     8165    596 |        0 |        0
803.63/803.87	c  803s |      22 |  2267329 |  1942422 |     8165    597 |        0 |        0
805.63/805.89	c  805s |      22 |  2272013 |  1945922 |     8165    598 |        0 |        0
807.73/807.91	c  807s |      22 |  2277790 |  1950822 |     8165    599 |        0 |        0
809.72/809.92	c  809s |      22 |  2283277 |  1955622 |     8165    600 |        0 |        0
811.73/811.95	c  811s |      22 |  2290017 |  1961122 |     8165    602 |        0 |        0
813.72/813.97	c  813s |      22 |  2294492 |  1965022 |     8165    603 |        0 |        0
815.82/816.00	c  815s |      22 |  2300226 |  1970122 |     8165    604 |        0 |        0
817.82/818.01	c  817s |      22 |  2306427 |  1975122 |     8165    605 |        0 |        0
819.81/820.03	c  819s |      22 |  2311856 |  1979822 |     8165    606 |        0 |        0
821.81/822.03	c  821s |      22 |  2317771 |  1984822 |     8165    607 |        0 |        0
823.82/824.04	c  823s |      22 |  2324524 |  1990222 |     8165    609 |        0 |        0
825.81/826.06	c  826s |      22 |  2332422 |  1996322 |     8165    610 |        0 |        0
827.82/828.06	c  828s |      22 |  2337662 |  2000122 |     8165    611 |        0 |        0
829.81/830.07	c  830s |      22 |  2344055 |  2005622 |     8165    612 |        0 |        0
831.81/832.08	c  832s |      22 |  2350596 |  2011122 |     8165    614 |        0 |        0
833.81/834.08	c  834s |      22 |  2356644 |  2016122 |     8165    615 |        0 |        0
835.92/836.11	c  836s |      22 |  2363146 |  2021722 |     8165    616 |        0 |        0
837.91/838.12	c  838s |      22 |  2370224 |  2027222 |     8165    618 |        0 |        0
839.91/840.14	c  840s |      22 |  2378622 |  2033822 |     8165    619 |        0 |        0
841.91/842.18	c  842s |      22 |  2383273 |  2037522 |     8165    620 |        0 |        0
844.01/844.23	c  844s |      22 |  2388364 |  2042022 |     8165    621 |        0 |        0
846.01/846.24	c  846s |      22 |  2393491 |  2046522 |     8165    622 |        0 |        0
848.01/848.26	c  848s |      22 |  2399035 |  2051422 |     8165    624 |        0 |        0
850.00/850.27	c  850s |      22 |  2404240 |  2055922 |     8165    625 |        0 |        0
852.00/852.27	c  852s |      22 |  2410182 |  2061122 |     8165    626 |        0 |        0
854.40/854.70	c  854s |      22 |  2416276 |  2066222 |     8165    627 |        0 |        0
856.50/856.72	c  856s |      22 |  2421766 |  2071022 |     8165    628 |        0 |        0
858.50/858.74	c  858s |      22 |  2427285 |  2075822 |     8165    629 |        0 |        0
860.49/860.75	c  860s |      22 |  2433251 |  2080922 |     8165    631 |        0 |        0
862.49/862.77	c  862s |      22 |  2439904 |  2086622 |     8165    632 |        0 |        0
864.50/864.77	c  864s |      22 |  2444132 |  2090222 |     8165    633 |        0 |        0
866.49/866.79	c  866s |      22 |  2451252 |  2095722 |     8165    634 |        0 |        0
868.59/868.82	c  868s |      22 |  2457465 |  2100822 |     8165    635 |        0 |        0
870.58/870.84	c  870s |      22 |  2464511 |  2106422 |     8165    637 |        0 |        0
872.98/873.20	c  873s |      22 |  2471660 |  2112222 |     8165    638 |        0 |        0
874.98/875.20	c  875s |      22 |  2477947 |  2117522 |     8165    640 |        0 |        0
876.98/877.23	c  877s |      22 |  2484766 |  2123022 |     8165    641 |        0 |        0
878.98/879.25	c  879s |      22 |  2491518 |  2128622 |     8165    642 |        0 |        0
880.98/881.26	c  881s |      22 |  2497871 |  2134122 |     8165    644 |        0 |        0
883.08/883.31	c  883s |      22 |  2505051 |  2139922 |     8165    645 |        0 |        0
885.07/885.33	c  885s |      22 |  2511214 |  2145122 |     8165    646 |        0 |        0
887.08/887.33	c  887s |      22 |  2515348 |  2148222 |     8165    647 |        0 |        0
889.08/889.33	c  889s |      22 |  2520595 |  2152622 |     8165    648 |        0 |        0
891.08/891.34	c  891s |      22 |  2524679 |  2156222 |     8165    649 |        0 |        0
893.09/893.37	c  893s |      22 |  2529581 |  2160522 |     8165    650 |        0 |        0
895.08/895.38	c  895s |      22 |  2535045 |  2165222 |     8165    651 |        0 |        0
897.07/897.39	c  897s |      22 |  2540262 |  2169822 |     8165    652 |        0 |        0
899.17/899.40	c  899s |      22 |  2545810 |  2174522 |     8165    653 |        0 |        0
901.17/901.43	c  901s |      22 |  2549644 |  2177622 |     8165    654 |        0 |        0
903.17/903.44	c  903s |      22 |  2554392 |  2181922 |     8165    655 |        0 |        0
905.18/905.46	c  905s |      22 |  2559162 |  2186122 |     8165    656 |        0 |        0
907.17/907.46	c  907s |      22 |  2563873 |  2190322 |     8165    657 |        0 |        0
909.26/909.50	c  909s |      22 |  2569032 |  2194922 |     8165    658 |        0 |        0
911.26/911.53	c  911s |      22 |  2575263 |  2200022 |     8165    660 |        0 |        0
913.26/913.56	c  913s |      22 |  2579258 |  2203622 |     8165    660 |        0 |        0
915.36/915.60	c  915s |      22 |  2584338 |  2208222 |     8165    662 |        0 |        0
917.36/917.64	c  917s |      22 |  2589958 |  2212922 |     8165    663 |        0 |        0
919.36/919.64	c  919s |      22 |  2596720 |  2218522 |     8165    664 |        0 |        0
921.36/921.65	c  921s |      22 |  2601001 |  2222222 |     8165    665 |        0 |        0
923.36/923.69	c  923s |      22 |  2606278 |  2227022 |     8165    666 |        0 |        0
925.45/925.72	c  925s |      22 |  2612264 |  2232222 |     8165    667 |        0 |        0
927.45/927.72	c  927s |      22 |  2616256 |  2235722 |     8982    668 |        0 |        0
929.45/929.77	c  929s |      22 |  2621892 |  2240522 |     8982    669 |        0 |        0
931.65/931.94	c  931s |      22 |  2627881 |  2245522 |     8982    670 |        0 |        0
933.66/933.95	c  933s |      22 |  2633114 |  2250222 |     8982    671 |        0 |        0
934.05/934.36	c  934s |      23 |  2634105 |  2251038 |     8982    671 |        0 |        0
936.05/936.37	c  936s |      23 |  2637747 |  2253938 |     8982    672 |        0 |        0
938.06/938.39	c  938s |      23 |  2642318 |  2258038 |     8982    673 |        0 |        0
940.15/940.40	c  940s |      23 |  2646832 |  2262038 |     8982    674 |        0 |        0
942.14/942.44	c  942s |      23 |  2651308 |  2265738 |     8982    675 |        0 |        0
944.14/944.49	c  944s |      23 |  2655549 |  2269738 |     8982    676 |        0 |        0
946.24/946.53	c  946s |      23 |  2660411 |  2274038 |     8982    676 |        0 |        0
948.24/948.54	c  948s |      23 |  2665016 |  2278138 |     8982    677 |        0 |        0
950.24/950.56	c  950s |      23 |  2669859 |  2282238 |     8982    678 |        0 |        0
952.34/952.60	c  952s |      23 |  2674923 |  2286738 |     8982    679 |        0 |        0
954.34/954.62	c  954s |      23 |  2679973 |  2291138 |     8982    680 |        0 |        0
956.34/956.62	c  956s |      23 |  2685365 |  2295838 |     8982    681 |        0 |        0
958.34/958.64	c  958s |      23 |  2689554 |  2299538 |     8982    682 |        0 |        0
960.33/960.67	c  960s |      23 |  2694792 |  2304038 |     8982    683 |        0 |        0
962.73/963.08	c  963s |      23 |  2699474 |  2308138 |     8982    684 |        0 |        0
964.83/965.16	c  965s |      23 |  2703835 |  2311938 |     8982    685 |        0 |        0
966.83/967.17	c  967s |      23 |  2708561 |  2316138 |     8982    686 |        0 |        0
968.84/969.18	c  969s |      23 |  2713771 |  2320838 |     8982    687 |        0 |        0
971.03/971.34	c  971s |      23 |  2718501 |  2324738 |     8982    688 |        0 |        0
973.03/973.35	c  973s |      23 |  2724778 |  2329838 |     8982    689 |        0 |        0
975.02/975.37	c  975s |      23 |  2732258 |  2335438 |     8982    690 |        0 |        0
977.02/977.39	c  977s |      23 |  2737163 |  2339738 |     8982    691 |        0 |        0
979.02/979.39	c  979s |      23 |  2743662 |  2344738 |     8982    692 |        0 |        0
981.22/981.51	c  981s |      23 |  2748370 |  2348938 |     8982    693 |        0 |        0
983.22/983.55	c  983s |      23 |  2754922 |  2354338 |     8982    694 |        0 |        0
985.22/985.57	c  985s |      23 |  2761892 |  2359438 |     8982    695 |        0 |        0
987.52/987.84	c  987s |      23 |  2769955 |  2365238 |     8982    697 |        0 |        0
989.51/989.89	c  989s |      23 |  2774085 |  2368438 |     8982    697 |        0 |        0
991.61/991.94	c  991s |      23 |  2778884 |  2372338 |     8982    698 |        0 |        0
993.61/993.99	c  993s |      23 |  2783513 |  2376138 |     8982    699 |        0 |        0
995.71/996.02	c  995s |      23 |  2788070 |  2380038 |     8982    700 |        0 |        0
997.71/998.05	c  998s |      23 |  2792734 |  2384038 |     8982    701 |        0 |        0
999.71/1000.07	c 1000s |      23 |  2797734 |  2388238 |     8982    702 |        0 |        0
1001.71/1002.08	c 1002s |      23 |  2804024 |  2393238 |     8982    703 |        0 |        0
1003.71/1004.09	c 1004s |      23 |  2808902 |  2397438 |     8982    704 |        0 |        0
1005.81/1006.18	c 1006s |      23 |  2813773 |  2401638 |     8982    705 |        0 |        0
1007.81/1008.20	c 1008s |      23 |  2818306 |  2405738 |     8982    705 |        0 |        0
1009.91/1010.23	c 1010s |      23 |  2823252 |  2409838 |     8982    706 |        0 |        0
1011.91/1012.27	c 1012s |      23 |  2828420 |  2414338 |     8982    707 |        0 |        0
1013.91/1014.27	c 1014s |      23 |  2835356 |  2419638 |     8982    708 |        0 |        0
1016.01/1016.31	c 1016s |      23 |  2841114 |  2424138 |     8982    709 |        0 |        0
1018.00/1018.34	c 1018s |      23 |  2845870 |  2428038 |     8982    710 |        0 |        0
1020.00/1020.34	c 1020s |      23 |  2850713 |  2432138 |     8982    711 |        0 |        0
1022.10/1022.40	c 1022s |      23 |  2855914 |  2436538 |     8982    712 |        0 |        0
1024.10/1024.44	c 1024s |      23 |  2861491 |  2441338 |     8982    713 |        0 |        0
1026.10/1026.45	c 1026s |      23 |  2865256 |  2444438 |     8982    714 |        0 |        0
1028.10/1028.46	c 1028s |      23 |  2870609 |  2449038 |     8982    715 |        0 |        0
1030.09/1030.49	c 1030s |      23 |  2876995 |  2454038 |     8982    716 |        0 |        0
1032.19/1032.52	c 1032s |      23 |  2881711 |  2457938 |     8982    717 |        0 |        0
1034.19/1034.55	c 1034s |      23 |  2886815 |  2462238 |     8982    718 |        0 |        0
1036.19/1036.58	c 1036s |      23 |  2892638 |  2466938 |     8982    719 |        0 |        0
1038.20/1038.59	c 1038s |      23 |  2897674 |  2471038 |     8982    720 |        0 |        0
1040.29/1040.62	c 1040s |      23 |  2903342 |  2475738 |     8982    721 |        0 |        0
1042.38/1042.79	c 1042s |      23 |  2909723 |  2480638 |     8982    722 |        0 |        0
1044.48/1044.82	c 1044s |      23 |  2915092 |  2485338 |     8982    723 |        0 |        0
1046.48/1046.84	c 1046s |      23 |  2921873 |  2490538 |     8982    724 |        0 |        0
1048.48/1048.86	c 1048s |      23 |  2927684 |  2495238 |     8982    725 |        0 |        0
1050.58/1050.91	c 1050s |      23 |  2932332 |  2498738 |     8982    726 |        0 |        0
1052.58/1052.94	c 1052s |      23 |  2937113 |  2502838 |     8982    727 |        0 |        0
1054.58/1054.94	c 1054s |      23 |  2941531 |  2506738 |     8982    728 |        0 |        0
1056.88/1057.22	c 1057s |      23 |  2948000 |  2511538 |     8982    729 |        0 |        0
1058.88/1059.23	c 1059s |      23 |  2953217 |  2515938 |     8982    730 |        0 |        0
1060.87/1061.26	c 1061s |      23 |  2959496 |  2520938 |     8982    731 |        0 |        0
1062.87/1063.27	c 1063s |      23 |  2965730 |  2525538 |     8982    732 |        0 |        0
1064.87/1065.29	c 1065s |      23 |  2970470 |  2529238 |     8982    733 |        0 |        0
1066.97/1067.36	c 1067s |      23 |  2976871 |  2533738 |     8982    734 |        0 |        0
1068.98/1069.39	c 1069s |      23 |  2983253 |  2538938 |     8982    735 |        0 |        0
1070.97/1071.40	c 1071s |      23 |  2988065 |  2542838 |     8982    736 |        0 |        0
1073.07/1073.44	c 1073s |      23 |  2993151 |  2546838 |     8982    736 |        0 |        0
1075.07/1075.45	c 1075s |      23 |  2998902 |  2551438 |     8982    738 |        0 |        0
1077.07/1077.48	c 1077s |      23 |  3005535 |  2556538 |     8982    739 |        0 |        0
1079.07/1079.48	c 1079s |      23 |  3010292 |  2560638 |     8982    740 |        0 |        0
1081.16/1081.50	c 1081s |      23 |  3016147 |  2565438 |     8982    741 |        0 |        0
1083.17/1083.53	c 1083s |      23 |  3022548 |  2570538 |     8982    742 |        0 |        0
1085.16/1085.53	c 1085s |      23 |  3029659 |  2575938 |     8982    743 |        0 |        0
1087.16/1087.55	c 1087s |      23 |  3036395 |  2581138 |     8982    744 |        0 |        0
1089.86/1090.25	c 1090s |      23 |  3043998 |  2587038 |     8982    745 |        0 |        0
1091.86/1092.27	c 1092s |      23 |  3049323 |  2591538 |     8982    746 |        0 |        0
1093.86/1094.29	c 1094s |      23 |  3054307 |  2595838 |     8982    747 |        0 |        0
1095.95/1096.35	c 1096s |      23 |  3060558 |  2600938 |     8982    748 |        0 |        0
1097.95/1098.36	c 1098s |      23 |  3064760 |  2604638 |     8982    749 |        0 |        0
1099.95/1100.39	c 1100s |      23 |  3070020 |  2609238 |     8982    750 |        0 |        0
1102.05/1102.44	c 1102s |      23 |  3076187 |  2614238 |     8982    751 |        0 |        0
1104.05/1104.47	c 1104s |      23 |  3080121 |  2617638 |     8982    752 |        0 |        0
1106.05/1106.49	c 1106s |      23 |  3085887 |  2622438 |     8982    753 |        0 |        0
1108.15/1108.52	c 1108s |      23 |  3091993 |  2627338 |     8982    754 |        0 |        0
1110.15/1110.56	c 1110s |      23 |  3097884 |  2632338 |     8982    755 |        0 |        0
1112.15/1112.58	c 1112s |      23 |  3103881 |  2637438 |     8982    756 |        0 |        0
1114.25/1114.60	c 1114s |      23 |  3111397 |  2643238 |     8982    758 |        0 |        0
1116.16/1116.60	c 1116s |      23 |  3115715 |  2646538 |     8982    758 |        0 |        0
1118.25/1118.61	c 1118s |      23 |  3121168 |  2651238 |     8982    760 |        0 |        0
1120.24/1120.63	c 1120s |      23 |  3127016 |  2656038 |     8982    761 |        0 |        0
1122.24/1122.64	c 1122s |      23 |  3133547 |  2661238 |     8982    762 |        0 |        0
1124.24/1124.65	c 1124s |      23 |  3141388 |  2667338 |     8982    763 |        0 |        0
1126.34/1126.70	c 1126s |      23 |  3147128 |  2671938 |     8982    764 |        0 |        0
1128.35/1128.77	c 1128s |      23 |  3153453 |  2677038 |     8982    765 |        0 |        0
1130.34/1130.77	c 1130s |      23 |  3160475 |  2682238 |     8982    766 |        0 |        0
1132.33/1132.78	c 1132s |      23 |  3167356 |  2687338 |     8982    767 |        0 |        0
1134.43/1134.80	c 1134s |      23 |  3173392 |  2692238 |     8982    769 |        0 |        0
1136.43/1136.82	c 1136s |      23 |  3180018 |  2697638 |     8982    770 |        0 |        0
1138.43/1138.84	c 1138s |      23 |  3185990 |  2702538 |     8982    771 |        0 |        0
1140.43/1140.86	c 1140s |      23 |  3193203 |  2708238 |     8982    772 |        0 |        0
1142.43/1142.88	c 1142s |      23 |  3199514 |  2712938 |     8982    773 |        0 |        0
1144.53/1144.90	c 1144s |      23 |  3206093 |  2718138 |     8982    774 |        0 |        0
1146.53/1146.95	c 1146s |      23 |  3212849 |  2723338 |     8982    775 |        0 |        0
1148.52/1148.95	c 1148s |      23 |  3217909 |  2727538 |     8982    776 |        0 |        0
1150.82/1151.21	c 1151s |      23 |  3223687 |  2732438 |     8982    777 |        0 |        0
1152.82/1153.21	c 1153s |      23 |  3230476 |  2737738 |     8982    779 |        0 |        0
1154.82/1155.25	c 1155s |      23 |  3235160 |  2741638 |     8982    779 |        0 |        0
1156.83/1157.30	c 1157s |      23 |  3241196 |  2746438 |     8982    781 |        0 |        0
1158.92/1159.33	c 1159s |      23 |  3246825 |  2751138 |     8982    782 |        0 |        0
1160.91/1161.33	c 1161s |      23 |  3251210 |  2754638 |     8982    782 |        0 |        0
1162.91/1163.36	c 1163s |      23 |  3256304 |  2758738 |     8982    783 |        0 |        0
1164.91/1165.38	c 1165s |      23 |  3261491 |  2763138 |     8982    784 |        0 |        0
1166.91/1167.39	c 1167s |      23 |  3265803 |  2766838 |     8982    785 |        0 |        0
1169.01/1169.42	c 1169s |      23 |  3270824 |  2771038 |     8982    786 |        0 |        0
1171.00/1171.46	c 1171s |      23 |  3276580 |  2775938 |     8982    787 |        0 |        0
1173.00/1173.48	c 1173s |      23 |  3283339 |  2780938 |     8982    788 |        0 |        0
1175.01/1175.49	c 1175s |      23 |  3288465 |  2784938 |     8982    789 |        0 |        0
1177.11/1177.51	c 1177s |      23 |  3294673 |  2789838 |     8982    790 |        0 |        0
1179.11/1179.58	c 1179s |      23 |  3301180 |  2794738 |     8982    791 |        0 |        0
1181.30/1181.71	c 1181s |      23 |  3307859 |  2799838 |     8982    792 |        0 |        0
1183.31/1183.71	c 1183s |      23 |  3314292 |  2804838 |     8982    793 |        0 |        0
1185.30/1185.74	c 1185s |      23 |  3319691 |  2809338 |     8982    794 |        0 |        0
1187.30/1187.76	c 1187s |      23 |  3327143 |  2814538 |     8982    796 |        0 |        0
1189.30/1189.78	c 1189s |      23 |  3334440 |  2819938 |     8982    797 |        0 |        0
1191.29/1191.78	c 1191s |      23 |  3338988 |  2823638 |     8982    798 |        0 |        0
1193.29/1193.80	c 1193s |      23 |  3344103 |  2828038 |     8982    798 |        0 |        0
1195.40/1195.83	c 1195s |      23 |  3349524 |  2832538 |     8982    799 |        0 |        0
1197.39/1197.85	c 1197s |      23 |  3356462 |  2837738 |     8982    801 |        0 |        0
1199.39/1199.86	c 1199s |      23 |  3361411 |  2841538 |     8982    801 |        0 |        0
1201.39/1201.87	c 1201s |      23 |  3366061 |  2845738 |     8982    802 |        0 |        0
1203.49/1203.90	c 1203s |      23 |  3371471 |  2850438 |     8982    803 |        0 |        0
1205.49/1205.92	c 1205s |      23 |  3377311 |  2855238 |     8982    804 |        0 |        0
1207.49/1207.93	c 1207s |      23 |  3381843 |  2859038 |     8982    805 |        0 |        0
1209.48/1209.95	c 1209s |      23 |  3387390 |  2863738 |     8982    806 |        0 |        0
1211.48/1211.99	c 1211s |      23 |  3393292 |  2868238 |     8982    807 |        0 |        0
1213.58/1214.00	c 1213s |      23 |  3399967 |  2873338 |     8982    808 |        0 |        0
1215.58/1216.01	c 1215s |      23 |  3406249 |  2878238 |     8982    810 |        0 |        0
1217.58/1218.04	c 1217s |      23 |  3412839 |  2883438 |     8982    811 |        0 |        0
1219.58/1220.07	c 1220s |      23 |  3418913 |  2888638 |     8982    812 |        0 |        0
1221.58/1222.08	c 1222s |      23 |  3426134 |  2894438 |     8982    813 |        0 |        0
1223.58/1224.09	c 1224s |      23 |  3429176 |  2896838 |     8982    814 |        0 |        0
1225.67/1226.11	c 1226s |      23 |  3434234 |  2901238 |     8982    815 |        0 |        0
1227.67/1228.14	c 1228s |      23 |  3440374 |  2906138 |     8982    816 |        0 |        0
1229.77/1230.22	c 1230s |      23 |  3445435 |  2910438 |     8982    817 |        0 |        0
1231.77/1232.24	c 1232s |      23 |  3451807 |  2915538 |     8982    818 |        0 |        0
1233.77/1234.25	c 1234s |      23 |  3457572 |  2919938 |     8982    819 |        0 |        0
1235.77/1236.28	c 1236s |      23 |  3463866 |  2924938 |     8982    820 |        0 |        0
1237.86/1238.30	c 1238s |      23 |  3470247 |  2930038 |     8982    821 |        0 |        0
1239.86/1240.34	c 1240s |      23 |  3476696 |  2934938 |     8982    822 |        0 |        0
1242.26/1242.77	c 1242s |      23 |  3481501 |  2938538 |     8982    823 |        0 |        0
1244.25/1244.78	c 1244s |      23 |  3486892 |  2943138 |     8982    824 |        0 |        0
1246.36/1246.80	c 1246s |      23 |  3493292 |  2948138 |     8982    825 |        0 |        0
1248.36/1248.82	c 1248s |      23 |  3498630 |  2952438 |     8982    826 |        0 |        0
1250.36/1250.85	c 1250s |      23 |  3504573 |  2957338 |     8982    827 |        0 |        0
1252.36/1252.86	c 1252s |      23 |  3511388 |  2962938 |     8982    828 |        0 |        0
1254.35/1254.88	c 1254s |      23 |  3515953 |  2966938 |     8982    829 |        0 |        0
1256.65/1257.14	c 1257s |      23 |  3520702 |  2971138 |     8982    830 |        0 |        0
1258.65/1259.19	c 1259s |      23 |  3526104 |  2975738 |     8982    831 |        0 |        0
1260.75/1261.21	c 1261s |      23 |  3531769 |  2980638 |     8982    832 |        0 |        0
1262.75/1263.23	c 1263s |      23 |  3538036 |  2985638 |     8982    833 |        0 |        0
1264.75/1265.26	c 1265s |      23 |  3544577 |  2991038 |     8982    834 |        0 |        0
1266.75/1267.28	c 1267s |      23 |  3549419 |  2995238 |     8982    835 |        0 |        0
1268.75/1269.29	c 1269s |      23 |  3555578 |  3000238 |     8982    836 |        0 |        0
1270.84/1271.30	c 1271s |      23 |  3561986 |  3005338 |     8982    838 |        0 |        0
1273.04/1273.51	c 1273s |      23 |  3569288 |  3010738 |     8982    839 |        0 |        0
1275.04/1275.51	c 1275s |      23 |  3577185 |  3016938 |     8982    840 |        0 |        0
1277.03/1277.52	c 1277s |      23 |  3585065 |  3023038 |     8982    841 |        0 |        0
1279.03/1279.54	c 1279s |      23 |  3591706 |  3028438 |     8982    843 |        0 |        0
1281.04/1281.54	c 1281s |      23 |  3594344 |  3030538 |     8982    843 |        0 |        0
1283.03/1283.56	c 1283s |      23 |  3599796 |  3034938 |     8982    844 |        0 |        0
1285.03/1285.57	c 1285s |      23 |  3604743 |  3039338 |     8982    845 |        0 |        0
1287.14/1287.60	c 1287s |      23 |  3610094 |  3043938 |     8982    846 |        0 |        0
1289.14/1289.62	c 1289s |      23 |  3614937 |  3047938 |     8982    847 |        0 |        0
1291.13/1291.66	c 1291s |      23 |  3620218 |  3052538 |     8982    848 |        0 |        0
1293.14/1293.68	c 1293s |      23 |  3626063 |  3057238 |     8982    849 |        0 |        0
1295.13/1295.68	c 1295s |      23 |  3631138 |  3061638 |     8982    850 |        0 |        0
1297.13/1297.69	c 1297s |      23 |  3637039 |  3066438 |     8982    851 |        0 |        0
1299.22/1299.71	c 1299s |      23 |  3641238 |  3070138 |     8982    852 |        0 |        0
1301.22/1301.74	c 1301s |      23 |  3647857 |  3075238 |     8982    853 |        0 |        0
1303.22/1303.74	c 1303s |      23 |  3653230 |  3079838 |     8982    854 |        0 |        0
1305.23/1305.78	c 1305s |      23 |  3658997 |  3084638 |     8982    855 |        0 |        0
1307.22/1307.80	c 1307s |      23 |  3666054 |  3090038 |     8982    856 |        0 |        0
1309.72/1310.22	c 1310s |      23 |  3672722 |  3095138 |     8982    857 |        0 |        0
1311.71/1312.24	c 1312s |      23 |  3678157 |  3099838 |     8982    858 |        0 |        0
1313.71/1314.25	c 1314s |      23 |  3684136 |  3104738 |     8982    859 |        0 |        0
1315.71/1316.29	c 1316s |      23 |  3688713 |  3108538 |     8982    860 |        0 |        0
1317.71/1318.30	c 1318s |      23 |  3693086 |  3112438 |     8982    861 |        0 |        0
1319.80/1320.33	c 1320s |      23 |  3699323 |  3117638 |     8982    862 |        0 |        0
1321.81/1322.36	c 1322s |      23 |  3705891 |  3122838 |     8982    863 |        0 |        0
1323.91/1324.42	c 1324s |      23 |  3712610 |  3127738 |     8982    865 |        0 |        0
1325.90/1326.46	c 1326s |      23 |  3717392 |  3131638 |     8982    865 |        0 |        0
1328.00/1328.50	c 1328s |      23 |  3723100 |  3136438 |     8982    866 |        0 |        0
1329.99/1330.52	c 1330s |      23 |  3727696 |  3140138 |     8982    867 |        0 |        0
1331.99/1332.56	c 1332s |      23 |  3733126 |  3144838 |     8982    868 |        0 |        0
1333.99/1334.58	c 1334s |      23 |  3738569 |  3149238 |     8982    869 |        0 |        0
1336.10/1336.61	c 1336s |      23 |  3743899 |  3153738 |     8982    870 |        0 |        0
1338.09/1338.62	c 1338s |      23 |  3749701 |  3158638 |     8982    871 |        0 |        0
1340.09/1340.63	c 1340s |      23 |  3755393 |  3163338 |     8982    872 |        0 |        0
1342.49/1343.10	c 1343s |      23 |  3761927 |  3168238 |     8982    873 |        0 |        0
1344.59/1345.10	c 1345s |      23 |  3767673 |  3173138 |     8982    875 |        0 |        0
1346.59/1347.11	c 1347s |      23 |  3773886 |  3178038 |     8982    876 |        0 |        0
1348.60/1349.11	c 1349s |      23 |  3780026 |  3182838 |     8982    877 |        0 |        0
1350.59/1351.12	c 1351s |      23 |  3785018 |  3186738 |     8982    878 |        0 |        0
1352.59/1353.14	c 1353s |      23 |  3791428 |  3192038 |     8982    879 |        0 |        0
1354.59/1355.15	c 1355s |      23 |  3796684 |  3196638 |     8982    880 |        0 |        0
1356.59/1357.15	c 1357s |      23 |  3802540 |  3201538 |     8982    881 |        0 |        0
1358.59/1359.15	c 1359s |      23 |  3808842 |  3206538 |     8982    882 |        0 |        0
1360.58/1361.18	c 1361s |      23 |  3816611 |  3212138 |     8982    883 |        0 |        0
1362.68/1363.20	c 1363s |      23 |  3822041 |  3216438 |     8982    884 |        0 |        0
1364.68/1365.23	c 1365s |      23 |  3828124 |  3221438 |     8982    885 |        0 |        0
1366.68/1367.26	c 1367s |      23 |  3834000 |  3226438 |     8982    886 |        0 |        0
1368.87/1369.49	c 1369s |      23 |  3839775 |  3231138 |     8982    887 |        0 |        0
1370.97/1371.50	c 1371s |      23 |  3846432 |  3236538 |     8982    889 |        0 |        0
1372.97/1373.50	c 1373s |      23 |  3853113 |  3241938 |     8982    890 |        0 |        0
1374.97/1375.51	c 1375s |      23 |  3860529 |  3247838 |     8982    891 |        0 |        0
1377.17/1377.75	c 1377s |      23 |  3866848 |  3252738 |     8982    892 |        0 |        0
1379.17/1379.79	c 1379s |      23 |  3871944 |  3257038 |     8982    893 |        0 |        0
1381.26/1381.80	c 1381s |      23 |  3875886 |  3260438 |     8982    894 |        0 |        0
1383.27/1383.82	c 1383s |      23 |  3881122 |  3264738 |     8982    895 |        0 |        0
1385.36/1385.94	c 1385s |      23 |  3885961 |  3268638 |     8982    896 |        0 |        0
1387.36/1387.98	c 1387s |      23 |  3891374 |  3273338 |     8982    897 |        0 |        0
1389.36/1389.99	c 1389s |      23 |  3896431 |  3277538 |     8982    898 |        0 |        0
1391.46/1392.02	c 1391s |      23 |  3901958 |  3282338 |     8982    899 |        0 |        0
1393.46/1394.05	c 1393s |      23 |  3907111 |  3286738 |     8982    900 |        0 |        0
1395.47/1396.06	c 1396s |      23 |  3913098 |  3291638 |     8982    901 |        0 |        0
1397.57/1398.11	c 1398s |      23 |  3917559 |  3295138 |     8982    901 |        0 |        0
1399.56/1400.13	c 1400s |      23 |  3922591 |  3299638 |     8982    902 |        0 |        0
1401.56/1402.13	c 1402s |      23 |  3927243 |  3303838 |     8982    903 |        0 |        0
1403.56/1404.14	c 1404s |      23 |  3932007 |  3307838 |     8982    904 |        0 |        0
1405.56/1406.16	c 1406s |      23 |  3936593 |  3311938 |     8982    905 |        0 |        0
1407.57/1408.18	c 1408s |      23 |  3942043 |  3316638 |     8982    906 |        0 |        0
1409.56/1410.19	c 1410s |      23 |  3947187 |  3321138 |     8982    907 |        0 |        0
1411.66/1412.22	c 1412s |      23 |  3953691 |  3326538 |     8982    908 |        0 |        0
1413.66/1414.22	c 1414s |      23 |  3959068 |  3330638 |     8982    909 |        0 |        0
1415.66/1416.26	c 1416s |      23 |  3964985 |  3335538 |     8982    910 |        0 |        0
1417.66/1418.28	c 1418s |      23 |  3969220 |  3339238 |     8982    911 |        0 |        0
1419.76/1420.30	c 1420s |      23 |  3974925 |  3344138 |     8982    912 |        0 |        0
1421.76/1422.31	c 1422s |      23 |  3979325 |  3347938 |     8982    913 |        0 |        0
1423.75/1424.32	c 1424s |      23 |  3985688 |  3353038 |     9881    914 |        0 |        0
1425.75/1426.33	c 1426s |      23 |  3992402 |  3358338 |     9881    915 |        0 |        0
1427.76/1428.34	c 1428s |      23 |  3994926 |  3360438 |     9881    916 |        0 |        0
1429.76/1430.36	c 1430s |      23 |  4001162 |  3365538 |     9881    917 |        0 |        0
1431.76/1432.37	c 1432s |      23 |  4007141 |  3370638 |     9881    918 |        0 |        0
1433.96/1434.57	c 1434s |      23 |  4013360 |  3375338 |     9881    919 |        0 |        0
1434.46/1435.01	c 1434s |      24 |  4014934 |  3376662 |     9881    919 |        0 |        0
1436.45/1437.07	c 1437s |      24 |  4017258 |  3378662 |     9881    919 |        0 |        0
1438.45/1439.08	c 1439s |      24 |  4021326 |  3382062 |     9881    920 |        0 |        0
1440.46/1441.09	c 1441s |      24 |  4025025 |  3385362 |     9881    921 |        0 |        0
1442.55/1443.13	c 1443s |      24 |  4029150 |  3388962 |     9881    921 |        0 |        0
1444.55/1445.14	c 1445s |      24 |  4033359 |  3392762 |     9881    922 |        0 |        0
1446.55/1447.16	c 1447s |      24 |  4037270 |  3396262 |     9881    923 |        0 |        0
1448.65/1449.21	c 1449s |      24 |  4041566 |  3400162 |     9881    924 |        0 |        0
1450.65/1451.24	c 1451s |      24 |  4046305 |  3404462 |     9881    924 |        0 |        0
1452.66/1453.25	c 1453s |      24 |  4051063 |  3408462 |     9881    925 |        0 |        0
1455.15/1455.79	c 1455s |      24 |  4056535 |  3412662 |     9881    926 |        0 |        0
1457.25/1457.82	c 1457s |      24 |  4061166 |  3416662 |     9881    927 |        0 |        0
1459.26/1459.87	c 1459s |      24 |  4065403 |  3420562 |     9881    928 |        0 |        0
1461.25/1461.87	c 1461s |      24 |  4068958 |  3423862 |     9881    928 |        0 |        0
1463.35/1463.91	c 1463s |      24 |  4073423 |  3427862 |     9881    929 |        0 |        0
1465.35/1465.91	c 1465s |      24 |  4076889 |  3430962 |     9881    930 |        0 |        0
1467.35/1467.92	c 1467s |      24 |  4081149 |  3434862 |     9881    930 |        0 |        0
1469.35/1469.98	c 1469s |      24 |  4086151 |  3439162 |     9881    931 |        0 |        0
1471.35/1471.99	c 1471s |      24 |  4091303 |  3443562 |     9881    932 |        0 |        0
1473.45/1474.01	c 1473s |      24 |  4096586 |  3448262 |     9881    933 |        0 |        0
1475.44/1476.03	c 1475s |      24 |  4099171 |  3450662 |     9881    934 |        0 |        0
1477.44/1478.08	c 1478s |      24 |  4103611 |  3454662 |     9881    934 |        0 |        0
1479.64/1480.20	c 1480s |      24 |  4107329 |  3457962 |     9881    935 |        0 |        0
1481.64/1482.23	c 1482s |      24 |  4109900 |  3460362 |     9881    936 |        0 |        0
1483.64/1484.25	c 1484s |      24 |  4114469 |  3464562 |     9881    936 |        0 |        0
1485.74/1486.30	c 1486s |      24 |  4118619 |  3468362 |     9881    937 |        0 |        0
1487.75/1488.33	c 1488s |      24 |  4122960 |  3472262 |     9881    938 |        0 |        0
1489.74/1490.35	c 1490s |      24 |  4127350 |  3476062 |     9881    939 |        0 |        0
1491.74/1492.36	c 1492s |      24 |  4131819 |  3480062 |     9881    939 |        0 |        0
1493.74/1494.37	c 1494s |      24 |  4136764 |  3484362 |     9881    940 |        0 |        0
1495.75/1496.37	c 1496s |      24 |  4138768 |  3486062 |     9881    941 |        0 |        0
1497.75/1498.38	c 1498s |      24 |  4143673 |  3490262 |     9881    942 |        0 |        0
1499.75/1500.39	c 1500s |      24 |  4148692 |  3494762 |     9881    942 |        0 |        0
1501.85/1502.43	c 1502s |      24 |  4153896 |  3499262 |     9881    943 |        0 |        0
1503.85/1504.46	c 1504s |      24 |  4159506 |  3504062 |     9881    944 |        0 |        0
1505.95/1506.50	c 1506s |      24 |  4162717 |  3506962 |     9881    945 |        0 |        0
1507.94/1508.52	c 1508s |      24 |  4166964 |  3510762 |     9881    946 |        0 |        0
1509.94/1510.53	c 1510s |      24 |  4171713 |  3515062 |     9881    947 |        0 |        0
1511.95/1512.53	c 1512s |      24 |  4176995 |  3519662 |     9881    947 |        0 |        0
1513.94/1514.56	c 1514s |      24 |  4181864 |  3523962 |     9881    948 |        0 |        0
1515.94/1516.58	c 1516s |      24 |  4187470 |  3528662 |     9881    949 |        0 |        0
1518.84/1519.43	c 1519s |      24 |  4194400 |  3534062 |     9881    950 |        0 |        0
1520.85/1521.46	c 1521s |      24 |  4198699 |  3537762 |     9881    951 |        0 |        0
1522.84/1523.49	c 1523s |      24 |  4203826 |  3542162 |     9881    952 |        0 |        0
1524.94/1525.50	c 1525s |      24 |  4208895 |  3546462 |     9881    953 |        0 |        0
1526.94/1527.50	c 1527s |      24 |  4214389 |  3551062 |     9881    954 |        0 |        0
1528.94/1529.51	c 1529s |      24 |  4218044 |  3554062 |     9881    954 |        0 |        0
1530.94/1531.52	c 1531s |      24 |  4222584 |  3557962 |     9881    955 |        0 |        0
1532.95/1533.57	c 1533s |      24 |  4225949 |  3560762 |     9881    956 |        0 |        0
1535.04/1535.61	c 1535s |      24 |  4230292 |  3564662 |     9881    956 |        0 |        0
1537.04/1537.69	c 1537s |      24 |  4233370 |  3567262 |     9881    957 |        0 |        0
1539.14/1539.71	c 1539s |      24 |  4237975 |  3571262 |     9881    958 |        0 |        0
1541.14/1541.73	c 1541s |      24 |  4242156 |  3574962 |     9881    959 |        0 |        0
1543.14/1543.76	c 1543s |      24 |  4246498 |  3578762 |     9881    959 |        0 |        0
1545.53/1546.13	c 1546s |      24 |  4251603 |  3583062 |     9881    960 |        0 |        0
1547.53/1548.15	c 1548s |      24 |  4256099 |  3587062 |     9881    961 |        0 |        0
1549.53/1550.17	c 1550s |      24 |  4260749 |  3591162 |     9881    962 |        0 |        0
1551.54/1552.19	c 1552s |      24 |  4266116 |  3595662 |     9881    963 |        0 |        0
1553.53/1554.19	c 1554s |      24 |  4271955 |  3600362 |     9881    964 |        0 |        0
1555.63/1556.22	c 1556s |      24 |  4277834 |  3605162 |     9881    965 |        0 |        0
1557.64/1558.23	c 1558s |      24 |  4279347 |  3606362 |     9881    965 |        0 |        0
1559.64/1560.25	c 1560s |      24 |  4283734 |  3610362 |     9881    966 |        0 |        0
1561.64/1562.26	c 1562s |      24 |  4287422 |  3613662 |     9881    966 |        0 |        0
1563.64/1564.27	c 1564s |      24 |  4292134 |  3617562 |     9881    967 |        0 |        0
1565.74/1566.30	c 1566s |      24 |  4297319 |  3621862 |     9881    968 |        0 |        0
1567.73/1568.34	c 1568s |      24 |  4302553 |  3626362 |     9881    969 |        0 |        0
1569.73/1570.35	c 1570s |      24 |  4308883 |  3631162 |     9881    970 |        0 |        0
1571.73/1572.38	c 1572s |      24 |  4312119 |  3634062 |     9881    970 |        0 |        0
1573.73/1574.39	c 1574s |      24 |  4317066 |  3638362 |     9881    971 |        0 |        0
1575.74/1576.40	c 1576s |      24 |  4322656 |  3643062 |     9881    972 |        0 |        0
1577.83/1578.41	c 1578s |      24 |  4327115 |  3646862 |     9881    973 |        0 |        0
1579.93/1580.55	c 1580s |      24 |  4332981 |  3651662 |     9881    974 |        0 |        0
1581.93/1582.57	c 1582s |      24 |  4338873 |  3656462 |     9881    975 |        0 |        0
1584.04/1584.61	c 1584s |      24 |  4343130 |  3660162 |     9881    976 |        0 |        0
1586.03/1586.62	c 1586s |      24 |  4349203 |  3665262 |     9881    977 |        0 |        0
1588.03/1588.62	c 1588s |      24 |  4355907 |  3670362 |     9881    978 |        0 |        0
1590.04/1590.68	c 1590s |      24 |  4358669 |  3672362 |     9881    978 |        0 |        0
1592.13/1592.72	c 1592s |      24 |  4363131 |  3676162 |     9881    979 |        0 |        0
1594.13/1594.73	c 1594s |      24 |  4368357 |  3680462 |     9881    980 |        0 |        0
1596.13/1596.77	c 1596s |      24 |  4373906 |  3684962 |     9881    981 |        0 |        0
1598.13/1598.78	c 1598s |      24 |  4379238 |  3689562 |     9881    981 |        0 |        0
1600.13/1600.78	c 1600s |      24 |  4384905 |  3694262 |     9881    982 |        0 |        0
1602.24/1602.81	c 1602s |      24 |  4389363 |  3697462 |     9881    983 |        0 |        0
1604.23/1604.82	c 1604s |      24 |  4393978 |  3701462 |     9881    984 |        0 |        0
1606.23/1606.86	c 1606s |      24 |  4397768 |  3704962 |     9881    985 |        0 |        0
1608.23/1608.88	c 1608s |      24 |  4402361 |  3709162 |     9881    985 |        0 |        0
1610.33/1610.92	c 1610s |      24 |  4406056 |  3712562 |     9881    986 |        0 |        0
1612.33/1612.93	c 1612s |      24 |  4410850 |  3716762 |     9881    987 |        0 |        0
1614.33/1614.95	c 1614s |      24 |  4414332 |  3719762 |     9881    988 |        0 |        0
1616.33/1616.97	c 1616s |      24 |  4420090 |  3724562 |     9881    988 |        0 |        0
1618.33/1618.98	c 1618s |      24 |  4426170 |  3729462 |     9881    989 |        0 |        0
1620.33/1620.98	c 1620s |      24 |  4429160 |  3732062 |     9881    990 |        0 |        0
1622.33/1622.98	c 1622s |      24 |  4433760 |  3736162 |     9881    991 |        0 |        0
1624.33/1624.99	c 1624s |      24 |  4437978 |  3739862 |     9881    992 |        0 |        0
1626.33/1626.99	c 1626s |      24 |  4443366 |  3744462 |     9881    992 |        0 |        0
1628.42/1629.05	c 1628s |      24 |  4447270 |  3747462 |     9881    993 |        0 |        0
1630.42/1631.05	c 1630s |      24 |  4451843 |  3751562 |     9881    994 |        0 |        0
1632.42/1633.06	c 1633s |      24 |  4456912 |  3755862 |     9881    995 |        0 |        0
1634.42/1635.07	c 1635s |      24 |  4462528 |  3760562 |     9881    996 |        0 |        0
1636.52/1637.10	c 1637s |      24 |  4466742 |  3764062 |     9881    996 |        0 |        0
1638.53/1639.12	c 1639s |      24 |  4472079 |  3768662 |     9881    997 |        0 |        0
1640.52/1641.15	c 1641s |      24 |  4477349 |  3773162 |     9881    998 |        0 |        0
1642.52/1643.18	c 1643s |      24 |  4483298 |  3778162 |     9881    999 |        0 |        0
1644.62/1645.21	c 1645s |      24 |  4488774 |  3782762 |     9881   1000 |        0 |        0
1646.62/1647.21	c 1647s |      24 |  4496833 |  3788662 |     9881   1001 |        0 |        0
1648.72/1649.31	c 1649s |      24 |  4497988 |  3789362 |     9881   1001 |        0 |        0
1650.72/1651.33	c 1651s |      24 |  4503271 |  3793762 |     9881   1002 |        0 |        0
1652.72/1653.35	c 1653s |      24 |  4508214 |  3798062 |     9881   1003 |        0 |        0
1654.72/1655.39	c 1655s |      24 |  4513575 |  3802462 |     9881   1004 |        0 |        0
1656.82/1657.43	c 1657s |      24 |  4519508 |  3807162 |     9881   1005 |        0 |        0
1658.82/1659.45	c 1659s |      24 |  4523119 |  3810162 |     9881   1006 |        0 |        0
1660.82/1661.49	c 1661s |      24 |  4528239 |  3814562 |     9881   1006 |        0 |        0
1662.92/1663.53	c 1663s |      24 |  4534008 |  3819362 |     9881   1007 |        0 |        0
1664.93/1665.56	c 1665s |      24 |  4538797 |  3823462 |     9881   1008 |        0 |        0
1666.92/1667.60	c 1667s |      24 |  4545500 |  3828562 |     9881   1009 |        0 |        0
1669.02/1669.64	c 1669s |      24 |  4551353 |  3833262 |     9881   1010 |        0 |        0
1671.02/1671.66	c 1671s |      24 |  4557838 |  3838462 |     9881   1011 |        0 |        0
1673.02/1673.67	c 1673s |      24 |  4564653 |  3843762 |     9881   1012 |        0 |        0
1675.11/1675.70	c 1675s |      24 |  4566660 |  3845162 |     9881   1013 |        0 |        0
1677.11/1677.75	c 1677s |      24 |  4571514 |  3849462 |     9881   1014 |        0 |        0
1679.12/1679.78	c 1679s |      24 |  4576812 |  3854162 |     9881   1014 |        0 |        0
1681.11/1681.78	c 1681s |      24 |  4581609 |  3858162 |     9881   1015 |        0 |        0
1683.11/1683.80	c 1683s |      24 |  4586573 |  3862262 |     9881   1016 |        0 |        0
1685.21/1685.82	c 1685s |      24 |  4592307 |  3867162 |     9881   1017 |        0 |        0
1687.21/1687.84	c 1687s |      24 |  4596403 |  3870762 |     9881   1018 |        0 |        0
1689.21/1689.85	c 1689s |      24 |  4600725 |  3874462 |     9881   1019 |        0 |        0
1691.23/1691.85	c 1691s |      24 |  4605971 |  3878762 |     9881   1019 |        0 |        0
1693.22/1693.88	c 1693s |      24 |  4611291 |  3883262 |     9881   1020 |        0 |        0
1695.32/1695.90	c 1695s |      24 |  4617025 |  3887962 |     9881   1021 |        0 |        0
1697.32/1697.91	c 1697s |      24 |  4623409 |  3892962 |     9881   1022 |        0 |        0
1699.31/1699.91	c 1699s |      24 |  4629856 |  3898162 |     9881   1023 |        0 |        0
1701.61/1702.26	c 1702s |      24 |  4633635 |  3901162 |     9881   1024 |        0 |        0
1703.61/1704.29	c 1704s |      24 |  4639230 |  3905762 |     9881   1025 |        0 |        0
1705.71/1706.32	c 1706s |      24 |  4644955 |  3910562 |     9881   1026 |        0 |        0
1707.72/1708.34	c 1708s |      24 |  4649913 |  3914562 |     9881   1027 |        0 |        0
1709.71/1710.40	c 1710s |      24 |  4655568 |  3919262 |     9881   1028 |        0 |        0
1711.81/1712.45	c 1712s |      24 |  4661891 |  3924262 |     9881   1029 |        0 |        0
1713.81/1714.47	c 1714s |      24 |  4669089 |  3929962 |     9881   1030 |        0 |        0
1715.81/1716.48	c 1716s |      24 |  4672333 |  3932562 |     9881   1030 |        0 |        0
1717.81/1718.49	c 1718s |      24 |  4678001 |  3937262 |     9881   1031 |        0 |        0
1719.82/1720.49	c 1720s |      24 |  4684596 |  3942462 |     9881   1032 |        0 |        0
1721.91/1722.51	c 1722s |      24 |  4690579 |  3947262 |     9881   1033 |        0 |        0
1723.91/1724.51	c 1724s |      24 |  4695071 |  3950862 |     9881   1034 |        0 |        0
1725.91/1726.52	c 1726s |      24 |  4700568 |  3955362 |     9881   1035 |        0 |        0
1728.01/1728.67	c 1728s |      24 |  4706011 |  3959762 |     9881   1036 |        0 |        0
1730.01/1730.68	c 1730s |      24 |  4712911 |  3965262 |     9881   1037 |        0 |        0
1732.11/1732.71	c 1732s |      24 |  4720618 |  3970962 |     9881   1038 |        0 |        0
1734.12/1734.74	c 1734s |      24 |  4728426 |  3977162 |     9881   1039 |        0 |        0
1736.42/1737.05	c 1736s |      24 |  4729714 |  3978162 |     9881   1039 |        0 |        0
1738.51/1739.11	c 1739s |      24 |  4734684 |  3982162 |     9881   1040 |        0 |        0
1740.51/1741.14	c 1741s |      24 |  4739266 |  3986162 |     9881   1041 |        0 |        0
1742.51/1743.19	c 1743s |      24 |  4743719 |  3990062 |     9881   1042 |        0 |        0
1744.61/1745.25	c 1745s |      24 |  4747426 |  3993362 |     9881   1042 |        0 |        0
1746.61/1747.29	c 1747s |      24 |  4751646 |  3997062 |     9881   1043 |        0 |        0
1748.71/1749.30	c 1749s |      24 |  4755907 |  4000762 |     9881   1044 |        0 |        0
1750.71/1751.31	c 1751s |      24 |  4760680 |  4004962 |     9881   1045 |        0 |        0
1752.70/1753.34	c 1753s |      24 |  4767276 |  4009962 |     9881   1046 |        0 |        0
1754.70/1755.37	c 1755s |      24 |  4770681 |  4012962 |     9881   1046 |        0 |        0
1756.70/1757.38	c 1757s |      24 |  4775007 |  4016862 |     9881   1047 |        0 |        0
1758.70/1759.39	c 1759s |      24 |  4779670 |  4020962 |     9881   1048 |        0 |        0
1760.80/1761.43	c 1761s |      24 |  4784370 |  4024962 |     9881   1049 |        0 |        0
1762.81/1763.46	c 1763s |      24 |  4789062 |  4029062 |     9881   1050 |        0 |        0
1764.80/1765.48	c 1765s |      24 |  4793936 |  4033362 |     9881   1050 |        0 |        0
1767.80/1768.43	c 1768s |      24 |  4800639 |  4038462 |     9881   1051 |        0 |        0
1769.80/1770.44	c 1770s |      24 |  4805073 |  4042562 |     9881   1052 |        0 |        0
1771.80/1772.47	c 1772s |      24 |  4809866 |  4046562 |     9881   1053 |        0 |        0
1773.81/1774.47	c 1774s |      24 |  4814742 |  4050562 |     9881   1054 |        0 |        0
1775.81/1776.49	c 1776s |      24 |  4820507 |  4055162 |     9881   1055 |        0 |        0
1778.31/1778.96	c 1778s |      24 |  4825803 |  4059262 |     9881   1056 |        0 |        0
1780.41/1781.05	c 1781s |      24 |  4831007 |  4063862 |     9881   1057 |        0 |        0
1782.41/1783.05	c 1783s |      24 |  4836287 |  4068362 |     9881   1057 |        0 |        0
1784.40/1785.08	c 1785s |      24 |  4842448 |  4073362 |     9881   1058 |        0 |        0
1786.50/1787.11	c 1787s |      24 |  4845942 |  4076462 |     9881   1059 |        0 |        0
1788.50/1789.12	c 1789s |      24 |  4851151 |  4080962 |     9881   1060 |        0 |        0
1790.50/1791.14	c 1791s |      24 |  4856529 |  4085462 |     9881   1061 |        0 |        0
1792.51/1793.14	c 1793s |      24 |  4861312 |  4089362 |     9881   1062 |        0 |        0
1794.50/1795.15	c 1795s |      24 |  4868001 |  4094562 |     9881   1063 |        0 |        0
1796.50/1797.17	c 1797s |      24 |  4875543 |  4100162 |     9881   1064 |        0 |        0
1798.50/1799.17	c 1799s |      24 |  4881559 |  4105162 |     9881   1065 |        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-4106979-1466280391/watcher-4106979-1466280391 -o /tmp/evaluation-result-4106979-1466280391/solver-4106979-1466280391 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node129-1466274985-24754 --watchdog 1960 toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4106979-1466280391.opb 

pid=25549
running on 4 cores: 1,3,5,7

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.31 2.29 2.22 4/179 25552
/proc/meminfo: memFree=29171852/32872528 swapFree=1370848/1518016
[pid=25552] ppid=25549 vsize=761276 CPUtime=0 cores=1,3,5,7
/proc/25552/stat : 25552 (toysat) R 25549 25552 24737 0 -1 4202496 2847 0 0 0 0 0 0 0 20 0 4 0 30085572 779546624 2697 33554432000 4194304 16246674 140737395818848 140737395818272 13880264 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/25552/statm: 190831 2705 441 2943 0 187725 0
[pid=25552/tid=25553] ppid=25549 vsize=779708 CPUtime=0 cores=1,3,5,7
/proc/25552/task/25553/stat : 25553 (toysat) S 25549 25552 24737 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 30085572 798420992 2767 33554432000 4194304 16246674 140737395818848 139878602878192 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=25552/tid=25554] ppid=25549 vsize=783804 CPUtime=0 cores=1,3,5,7
/proc/25552/task/25554/stat : 25554 (toysat) S 25549 25552 24737 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30085572 802615296 2785 33554432000 4194304 16246674 140737395818848 139878592388336 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=25552/tid=25555] ppid=25549 vsize=787900 CPUtime=0 cores=1,3,5,7
/proc/25552/task/25555/stat : 25555 (toysat) S 25549 25552 24737 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 30085572 806809600 2802 33554432000 4194304 16246674 140737395818848 139878581914800 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0

[startup+0.100131 s]
/proc/loadavg: 2.31 2.29 2.22 4/179 25552
/proc/meminfo: memFree=29171852/32872528 swapFree=1370848/1518016
[pid=25552] ppid=25549 vsize=1218116 CPUtime=0.09 cores=1,3,5,7
/proc/25552/stat : 25552 (toysat) R 25549 25552 24737 0 -1 4202496 27215 0 0 0 6 3 0 0 20 0 4 0 30085572 1247350784 27054 33554432000 4194304 16246674 140737395818848 140737395818272 6074686 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/25552/statm: 304529 27061 720 2943 0 301423 0
[pid=25552/tid=25553] ppid=25549 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/25552/task/25553/stat : 25553 (toysat) S 25549 25552 24737 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 30085572 1247350784 27065 33554432000 4194304 16246674 140737395818848 139878602878192 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=25552/tid=25554] ppid=25549 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/25552/task/25554/stat : 25554 (toysat) S 25549 25552 24737 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30085572 1247350784 27069 33554432000 4194304 16246674 140737395818848 139878592388336 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=25552/tid=25555] ppid=25549 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/25552/task/25555/stat : 25555 (toysat) S 25549 25552 24737 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 30085572 1247350784 27074 33554432000 4194304 16246674 140737395818848 139878581914800 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 1218116

[startup+0.2005 s]
/proc/loadavg: 2.31 2.29 2.22 4/179 25552
/proc/meminfo: memFree=29171852/32872528 swapFree=1370848/1518016
[pid=25552] ppid=25549 vsize=1218116 CPUtime=0.19 cores=1,3,5,7
/proc/25552/stat : 25552 (toysat) R 25549 25552 24737 0 -1 4202496 51395 0 0 0 12 7 0 0 20 0 4 0 30085572 1247350784 51234 33554432000 4194304 16246674 140737395818848 140737395818272 12461845 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/25552/statm: 304529 51249 720 2943 0 301423 0
[pid=25552/tid=25553] ppid=25549 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/25552/task/25553/stat : 25553 (toysat) S 25549 25552 24737 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 30085572 1247350784 51259 33554432000 4194304 16246674 140737395818848 139878602878192 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=25552/tid=25554] ppid=25549 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/25552/task/25554/stat : 25554 (toysat) S 25549 25552 24737 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30085572 1247350784 51267 33554432000 4194304 16246674 140737395818848 139878592388336 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=25552/tid=25555] ppid=25549 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/25552/task/25555/stat : 25555 (toysat) S 25549 25552 24737 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 30085572 1247350784 51273 33554432000 4194304 16246674 140737395818848 139878581914800 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 1218116

[startup+0.300449 s]
/proc/loadavg: 2.31 2.29 2.22 4/179 25552
/proc/meminfo: memFree=29171852/32872528 swapFree=1370848/1518016
[pid=25552] ppid=25549 vsize=1218116 CPUtime=0.28 cores=1,3,5,7
/proc/25552/stat : 25552 (toysat) R 25549 25552 24737 0 -1 4202496 76397 0 0 0 18 10 0 0 20 0 4 0 30085572 1247350784 76236 33554432000 4194304 16246674 140737395818848 140737395818272 5546181 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/25552/statm: 304529 76254 720 2943 0 301423 0
[pid=25552/tid=25553] ppid=25549 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/25552/task/25553/stat : 25553 (toysat) S 25549 25552 24737 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 30085572 1247350784 76263 33554432000 4194304 16246674 140737395818848 139878602878192 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=25552/tid=25554] ppid=25549 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/25552/task/25554/stat : 25554 (toysat) S 25549 25552 24737 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30085572 1247350784 76271 33554432000 4194304 16246674 140737395818848 139878592388336 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=25552/tid=25555] ppid=25549 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/25552/task/25555/stat : 25555 (toysat) S 25549 25552 24737 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 30085572 1247350784 76279 33554432000 4194304 16246674 140737395818848 139878581914800 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 1218116

[startup+0.700376 s]
/proc/loadavg: 2.31 2.29 2.22 4/179 25552
/proc/meminfo: memFree=29171852/32872528 swapFree=1370848/1518016
[pid=25552] ppid=25549 vsize=1218116 CPUtime=0.69 cores=1,3,5,7
/proc/25552/stat : 25552 (toysat) R 25549 25552 24737 0 -1 4202496 170783 0 0 0 46 23 0 0 20 0 4 0 30085572 1247350784 170621 33554432000 4194304 16246674 140737395818848 140737395818272 5675357 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/25552/statm: 304529 170631 720 2943 0 301423 0
[pid=25552/tid=25553] ppid=25549 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/25552/task/25553/stat : 25553 (toysat) S 25549 25552 24737 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 30085572 1247350784 170637 33554432000 4194304 16246674 140737395818848 139878602878192 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=25552/tid=25554] ppid=25549 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/25552/task/25554/stat : 25554 (toysat) S 25549 25552 24737 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30085572 1247350784 170644 33554432000 4194304 16246674 140737395818848 139878592388336 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=25552/tid=25555] ppid=25549 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/25552/task/25555/stat : 25555 (toysat) S 25549 25552 24737 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 30085572 1247350784 170650 33554432000 4194304 16246674 140737395818848 139878581914800 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 1218116

[startup+1.50038 s]
/proc/loadavg: 2.31 2.29 2.22 4/183 25556
/proc/meminfo: memFree=28181532/32872528 swapFree=1370848/1518016
[pid=25552] ppid=25549 vsize=1222212 CPUtime=1.49 cores=1,3,5,7
/proc/25552/stat : 25552 (toysat) R 25549 25552 24737 0 -1 4202496 246330 0 0 0 117 32 0 0 20 0 4 0 30085572 1251545088 246148 33554432000 4194304 16246674 140737395818848 140737395818160 5822252 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/25552/statm: 305553 246148 797 2943 0 302447 0
[pid=25552/tid=25553] ppid=25549 vsize=1222212 CPUtime=0 cores=1,3,5,7
/proc/25552/task/25553/stat : 25553 (toysat) S 25549 25552 24737 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 30085572 1251545088 246148 33554432000 4194304 16246674 140737395818848 139878602878192 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=25552/tid=25554] ppid=25549 vsize=1222212 CPUtime=0 cores=1,3,5,7
/proc/25552/task/25554/stat : 25554 (toysat) S 25549 25552 24737 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30085572 1251545088 246148 33554432000 4194304 16246674 140737395818848 139878592388336 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=25552/tid=25555] ppid=25549 vsize=1222212 CPUtime=0 cores=1,3,5,7
/proc/25552/task/25555/stat : 25555 (toysat) S 25549 25552 24737 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 30085572 1251545088 246148 33554432000 4194304 16246674 140737395818848 139878581914800 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 1222212

[startup+3.10043 s]
/proc/loadavg: 2.31 2.29 2.22 4/183 25556
/proc/meminfo: memFree=28099676/32872528 swapFree=1370848/1518016
[pid=25552] ppid=25549 vsize=1306180 CPUtime=3.09 cores=1,3,5,7
/proc/25552/stat : 25552 (toysat) R 25549 25552 24737 0 -1 4202496 267412 0 0 0 275 34 0 0 20 0 4 0 30085572 1337528320 267230 33554432000 4194304 16246674 140737395818848 140737395801848 13943664 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/25552/statm: 326545 267230 799 2943 0 323439 0
[pid=25552/tid=25553] ppid=25549 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/25552/task/25553/stat : 25553 (toysat) S 25549 25552 24737 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 30085572 1337528320 267230 33554432000 4194304 16246674 140737395818848 139878602878192 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=25552/tid=25554] ppid=25549 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/25552/task/25554/stat : 25554 (toysat) S 25549 25552 24737 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30085572 1337528320 267230 33554432000 4194304 16246674 140737395818848 139878592388336 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=25552/tid=25555] ppid=25549 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/25552/task/25555/stat : 25555 (toysat) S 25549 25552 24737 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 30085572 1337528320 267230 33554432000 4194304 16246674 140737395818848 139878581914800 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 1306180

[startup+6.30043 s]
/proc/loadavg: 2.28 2.29 2.22 3/183 25556
/proc/meminfo: memFree=28089408/32872528 swapFree=1370848/1518016
[pid=25552] ppid=25549 vsize=1308228 CPUtime=6.28 cores=1,3,5,7
/proc/25552/stat : 25552 (toysat) R 25549 25552 24737 0 -1 4202496 268095 0 0 0 594 34 0 0 20 0 4 0 30085572 1339625472 267913 33554432000 4194304 16246674 140737395818848 140737395800768 6021746 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/25552/statm: 327057 267913 799 2943 0 323951 0
[pid=25552/tid=25553] ppid=25549 vsize=1308228 CPUtime=0 cores=1,3,5,7
/proc/25552/task/25553/stat : 25553 (toysat) S 25549 25552 24737 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 30085572 1339625472 267913 33554432000 4194304 16246674 140737395818848 139878602878192 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=25552/tid=25554] ppid=25549 vsize=1308228 CPUtime=0 cores=1,3,5,7
/proc/25552/task/25554/stat : 25554 (toysat) S 25549 25552 24737 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30085572 1339625472 267913 33554432000 4194304 16246674 140737395818848 139878592388336 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=25552/tid=25555] ppid=25549 vsize=1308228 CPUtime=0 cores=1,3,5,7
/proc/25552/task/25555/stat : 25555 (toysat) S 25549 25552 24737 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 30085572 1339625472 267913 33554432000 4194304 16246674 140737395818848 139878581914800 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 1308228

[startup+12.7004 s]
/proc/loadavg: 2.26 2.28 2.22 4/183 25556
/proc/meminfo: memFree=28081792/32872528 swapFree=1370848/1518016
[pid=25552] ppid=25549 vsize=1315396 CPUtime=12.69 cores=1,3,5,7
/proc/25552/stat : 25552 (toysat) R 25549 25552 24737 0 -1 4202496 269887 0 0 0 1234 35 0 0 20 0 4 0 30085572 1346965504 269705 33554432000 4194304 16246674 140737395818848 140737395800768 12478365 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/25552/statm: 328849 269705 799 2943 0 325743 0
[pid=25552/tid=25553] ppid=25549 vsize=1315396 CPUtime=0 cores=1,3,5,7
/proc/25552/task/25553/stat : 25553 (toysat) S 25549 25552 24737 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 30085572 1346965504 269705 33554432000 4194304 16246674 140737395818848 139878602878192 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=25552/tid=25554] ppid=25549 vsize=1315396 CPUtime=0 cores=1,3,5,7
/proc/25552/task/25554/stat : 25554 (toysat) S 25549 25552 24737 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30085572 1346965504 269705 33554432000 4194304 16246674 140737395818848 139878592388336 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=25552/tid=25555] ppid=25549 vsize=1315396 CPUtime=0 cores=1,3,5,7
/proc/25552/task/25555/stat : 25555 (toysat) S 25549 25552 24737 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 30085572 1346965504 269705 33554432000 4194304 16246674 140737395818848 139878581914800 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 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.20 2.27 2.21 3/183 25556
/proc/meminfo: memFree=28071392/32872528 swapFree=1370848/1518016
[pid=25552] ppid=25549 vsize=1315396 CPUtime=25.49 cores=1,3,5,7
/proc/25552/stat : 25552 (toysat) R 25549 25552 24737 0 -1 4202496 269889 0 0 0 2514 35 0 0 20 0 4 0 30085572 1346965504 269707 33554432000 4194304 16246674 140737395818848 140737395800768 5822548 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/25552/statm: 328849 269707 801 2943 0 325743 0
[pid=25552/tid=25553] ppid=25549 vsize=1315396 CPUtime=0 cores=1,3,5,7
/proc/25552/task/25553/stat : 25553 (toysat) S 25549 25552 24737 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 30085572 1346965504 269707 33554432000 4194304 16246674 140737395818848 139878602878192 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=25552/tid=25554] ppid=25549 vsize=1315396 CPUtime=0 cores=1,3,5,7
/proc/25552/task/25554/stat : 25554 (toysat) S 25549 25552 24737 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30085572 1346965504 269707 33554432000 4194304 16246674 140737395818848 139878592388336 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=25552/tid=25555] ppid=25549 vsize=1315396 CPUtime=0 cores=1,3,5,7
/proc/25552/task/25555/stat : 25555 (toysat) S 25549 25552 24737 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 30085572 1346965504 269707 33554432000 4194304 16246674 140737395818848 139878581914800 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 1315396

[startup+51.1005 s]
/proc/loadavg: 2.27 2.28 2.22 3/183 25556
/proc/meminfo: memFree=28070680/32872528 swapFree=1370848/1518016
[pid=25552] ppid=25549 vsize=1315396 CPUtime=51.09 cores=1,3,5,7
/proc/25552/stat : 25552 (toysat) R 25549 25552 24737 0 -1 4202496 269889 0 0 0 5073 36 0 0 20 0 4 0 30085572 1346965504 269707 33554432000 4194304 16246674 140737395818848 140737395801848 5822604 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/25552/statm: 328849 269707 801 2943 0 325743 0
[pid=25552/tid=25553] ppid=25549 vsize=1315396 CPUtime=0 cores=1,3,5,7
/proc/25552/task/25553/stat : 25553 (toysat) S 25549 25552 24737 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 30085572 1346965504 269707 33554432000 4194304 16246674 140737395818848 139878602878192 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=25552/tid=25554] ppid=25549 vsize=1315396 CPUtime=0 cores=1,3,5,7
/proc/25552/task/25554/stat : 25554 (toysat) S 25549 25552 24737 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30085572 1346965504 269707 33554432000 4194304 16246674 140737395818848 139878592388336 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=25552/tid=25555] ppid=25549 vsize=1315396 CPUtime=0 cores=1,3,5,7
/proc/25552/task/25555/stat : 25555 (toysat) S 25549 25552 24737 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 30085572 1346965504 269707 33554432000 4194304 16246674 140737395818848 139878581914800 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 1315396

[startup+102.3 s]
/proc/loadavg: 2.32 2.28 2.22 3/183 25557
/proc/meminfo: memFree=28064428/32872528 swapFree=1370848/1518016
[pid=25552] ppid=25549 vsize=1319492 CPUtime=102.28 cores=1,3,5,7
/proc/25552/stat : 25552 (toysat) R 25549 25552 24737 0 -1 4202496 270913 0 0 0 10192 36 0 0 20 0 4 0 30085572 1351159808 270731 33554432000 4194304 16246674 140737395818848 140737395800768 5523080 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/25552/statm: 329873 270731 801 2943 0 326767 0
[pid=25552/tid=25553] ppid=25549 vsize=1319492 CPUtime=0 cores=1,3,5,7
/proc/25552/task/25553/stat : 25553 (toysat) S 25549 25552 24737 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 30085572 1351159808 270731 33554432000 4194304 16246674 140737395818848 139878602878192 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=25552/tid=25554] ppid=25549 vsize=1319492 CPUtime=0 cores=1,3,5,7
/proc/25552/task/25554/stat : 25554 (toysat) S 25549 25552 24737 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30085572 1351159808 270731 33554432000 4194304 16246674 140737395818848 139878592388336 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=25552/tid=25555] ppid=25549 vsize=1319492 CPUtime=0 cores=1,3,5,7
/proc/25552/task/25555/stat : 25555 (toysat) S 25549 25552 24737 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 30085572 1351159808 270731 33554432000 4194304 16246674 140737395818848 139878581914800 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 1319492


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

/proc/25552/task/25555/stat : 25555 (toysat) S 25549 25552 24737 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 30085572 1374228480 276620 33554432000 4194304 16246674 140737395818848 139878581914800 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1241.86
Current children cumulated vsize (KiB) 1342020

[startup+1302.3 s]
/proc/loadavg: 2.33 2.24 2.19 3/183 25587
/proc/meminfo: memFree=28005016/32872528 swapFree=1370848/1518016
[pid=25552] ppid=25549 vsize=1342020 CPUtime=1301.82 cores=1,3,5,7
/proc/25552/stat : 25552 (toysat) R 25549 25552 24737 0 -1 4202496 276948 0 0 0 130124 58 0 0 20 0 4 0 30085572 1374228480 276620 33554432000 4194304 16246674 140737395818848 140737395818024 5822604 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/25552/statm: 335505 276620 802 2943 0 332399 0
[pid=25552/tid=25553] ppid=25549 vsize=1342020 CPUtime=0 cores=1,3,5,7
/proc/25552/task/25553/stat : 25553 (toysat) S 25549 25552 24737 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 30085572 1374228480 276620 33554432000 4194304 16246674 140737395818848 139878602878192 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=25552/tid=25554] ppid=25549 vsize=1342020 CPUtime=0 cores=1,3,5,7
/proc/25552/task/25554/stat : 25554 (toysat) S 25549 25552 24737 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30085572 1374228480 276620 33554432000 4194304 16246674 140737395818848 139878592388336 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=25552/tid=25555] ppid=25549 vsize=1342020 CPUtime=0 cores=1,3,5,7
/proc/25552/task/25555/stat : 25555 (toysat) S 25549 25552 24737 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 30085572 1374228480 276620 33554432000 4194304 16246674 140737395818848 139878581914800 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1301.82
Current children cumulated vsize (KiB) 1342020

[startup+1362.3 s]
/proc/loadavg: 2.50 2.30 2.21 3/182 25588
/proc/meminfo: memFree=28004208/32872528 swapFree=1370848/1518016
[pid=25552] ppid=25549 vsize=1342020 CPUtime=1361.78 cores=1,3,5,7
/proc/25552/stat : 25552 (toysat) R 25549 25552 24737 0 -1 4202496 276992 0 0 0 136119 59 0 0 20 0 4 0 30085572 1374228480 276621 33554432000 4194304 16246674 140737395818848 140737395800768 15015658 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/25552/statm: 335505 276621 803 2943 0 332399 0
[pid=25552/tid=25553] ppid=25549 vsize=1342020 CPUtime=0 cores=1,3,5,7
/proc/25552/task/25553/stat : 25553 (toysat) S 25549 25552 24737 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 30085572 1374228480 276621 33554432000 4194304 16246674 140737395818848 139878602878192 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=25552/tid=25554] ppid=25549 vsize=1342020 CPUtime=0 cores=1,3,5,7
/proc/25552/task/25554/stat : 25554 (toysat) S 25549 25552 24737 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30085572 1374228480 276621 33554432000 4194304 16246674 140737395818848 139878592388336 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=25552/tid=25555] ppid=25549 vsize=1342020 CPUtime=0 cores=1,3,5,7
/proc/25552/task/25555/stat : 25555 (toysat) S 25549 25552 24737 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 30085572 1374228480 276621 33554432000 4194304 16246674 140737395818848 139878581914800 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1361.78
Current children cumulated vsize (KiB) 1342020

[startup+1422.3 s]
/proc/loadavg: 2.37 2.29 2.21 3/184 25593
/proc/meminfo: memFree=28004952/32872528 swapFree=1370848/1518016
[pid=25552] ppid=25549 vsize=1342020 CPUtime=1421.76 cores=1,3,5,7
/proc/25552/stat : 25552 (toysat) R 25549 25552 24737 0 -1 4202496 277007 0 0 0 142116 60 0 0 20 0 4 0 30085572 1374228480 276621 33554432000 4194304 16246674 140737395818848 140737395800768 13191752 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/25552/statm: 335505 276621 803 2943 0 332399 0
[pid=25552/tid=25553] ppid=25549 vsize=1342020 CPUtime=0 cores=1,3,5,7
/proc/25552/task/25553/stat : 25553 (toysat) S 25549 25552 24737 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 30085572 1374228480 276621 33554432000 4194304 16246674 140737395818848 139878602878192 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=25552/tid=25554] ppid=25549 vsize=1342020 CPUtime=0 cores=1,3,5,7
/proc/25552/task/25554/stat : 25554 (toysat) S 25549 25552 24737 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30085572 1374228480 276621 33554432000 4194304 16246674 140737395818848 139878592388336 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=25552/tid=25555] ppid=25549 vsize=1342020 CPUtime=0 cores=1,3,5,7
/proc/25552/task/25555/stat : 25555 (toysat) S 25549 25552 24737 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 30085572 1374228480 276621 33554432000 4194304 16246674 140737395818848 139878581914800 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1421.76
Current children cumulated vsize (KiB) 1342020

[startup+1482.3 s]
/proc/loadavg: 2.33 2.30 2.21 3/183 25594
/proc/meminfo: memFree=28005424/32872528 swapFree=1370848/1518016
[pid=25552] ppid=25549 vsize=1342020 CPUtime=1481.74 cores=1,3,5,7
/proc/25552/stat : 25552 (toysat) R 25549 25552 24737 0 -1 4202496 277007 0 0 0 148113 61 0 0 20 0 4 0 30085572 1374228480 276621 33554432000 4194304 16246674 140737395818848 140737395800768 5823037 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/25552/statm: 335505 276621 803 2943 0 332399 0
[pid=25552/tid=25553] ppid=25549 vsize=1342020 CPUtime=0 cores=1,3,5,7
/proc/25552/task/25553/stat : 25553 (toysat) S 25549 25552 24737 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 30085572 1374228480 276621 33554432000 4194304 16246674 140737395818848 139878602878192 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=25552/tid=25554] ppid=25549 vsize=1342020 CPUtime=0 cores=1,3,5,7
/proc/25552/task/25554/stat : 25554 (toysat) S 25549 25552 24737 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30085572 1374228480 276621 33554432000 4194304 16246674 140737395818848 139878592388336 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=25552/tid=25555] ppid=25549 vsize=1342020 CPUtime=0 cores=1,3,5,7
/proc/25552/task/25555/stat : 25555 (toysat) S 25549 25552 24737 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 30085572 1374228480 276621 33554432000 4194304 16246674 140737395818848 139878581914800 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1481.74
Current children cumulated vsize (KiB) 1342020

[startup+1542.31 s]
/proc/loadavg: 2.23 2.27 2.21 3/183 25595
/proc/meminfo: memFree=27999104/32872528 swapFree=1370848/1518016
[pid=25552] ppid=25549 vsize=1342020 CPUtime=1541.74 cores=1,3,5,7
/proc/25552/stat : 25552 (toysat) R 25549 25552 24737 0 -1 4202496 277007 0 0 0 154112 62 0 0 20 0 4 0 30085572 1374228480 276621 33554432000 4194304 16246674 140737395818848 140737395800768 5546177 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/25552/statm: 335505 276621 803 2943 0 332399 0
[pid=25552/tid=25553] ppid=25549 vsize=1342020 CPUtime=0 cores=1,3,5,7
/proc/25552/task/25553/stat : 25553 (toysat) S 25549 25552 24737 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 30085572 1374228480 276621 33554432000 4194304 16246674 140737395818848 139878602878192 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=25552/tid=25554] ppid=25549 vsize=1342020 CPUtime=0 cores=1,3,5,7
/proc/25552/task/25554/stat : 25554 (toysat) S 25549 25552 24737 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30085572 1374228480 276621 33554432000 4194304 16246674 140737395818848 139878592388336 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=25552/tid=25555] ppid=25549 vsize=1342020 CPUtime=0 cores=1,3,5,7
/proc/25552/task/25555/stat : 25555 (toysat) S 25549 25552 24737 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 30085572 1374228480 276621 33554432000 4194304 16246674 140737395818848 139878581914800 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1541.74
Current children cumulated vsize (KiB) 1342020

[startup+1602.3 s]
/proc/loadavg: 2.17 2.25 2.20 3/183 25596
/proc/meminfo: memFree=27999228/32872528 swapFree=1370848/1518016
[pid=25552] ppid=25549 vsize=1342020 CPUtime=1601.73 cores=1,3,5,7
/proc/25552/stat : 25552 (toysat) R 25549 25552 24737 0 -1 4202496 277007 0 0 0 160109 64 0 0 20 0 4 0 30085572 1374228480 276621 33554432000 4194304 16246674 140737395818848 140737395817944 14628944 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/25552/statm: 335505 276621 803 2943 0 332399 0
[pid=25552/tid=25553] ppid=25549 vsize=1342020 CPUtime=0 cores=1,3,5,7
/proc/25552/task/25553/stat : 25553 (toysat) S 25549 25552 24737 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 30085572 1374228480 276621 33554432000 4194304 16246674 140737395818848 139878602878192 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=25552/tid=25554] ppid=25549 vsize=1342020 CPUtime=0 cores=1,3,5,7
/proc/25552/task/25554/stat : 25554 (toysat) S 25549 25552 24737 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30085572 1374228480 276621 33554432000 4194304 16246674 140737395818848 139878592388336 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=25552/tid=25555] ppid=25549 vsize=1342020 CPUtime=0 cores=1,3,5,7
/proc/25552/task/25555/stat : 25555 (toysat) S 25549 25552 24737 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 30085572 1374228480 276621 33554432000 4194304 16246674 140737395818848 139878581914800 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1601.73
Current children cumulated vsize (KiB) 1342020

[startup+1662.3 s]
/proc/loadavg: 2.11 2.21 2.19 3/183 25597
/proc/meminfo: memFree=27999960/32872528 swapFree=1370848/1518016
[pid=25552] ppid=25549 vsize=1342020 CPUtime=1661.72 cores=1,3,5,7
/proc/25552/stat : 25552 (toysat) R 25549 25552 24737 0 -1 4202496 277007 0 0 0 166107 65 0 0 20 0 4 0 30085572 1374228480 276621 33554432000 4194304 16246674 140737395818848 140737395817944 5546868 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/25552/statm: 335505 276621 803 2943 0 332399 0
[pid=25552/tid=25553] ppid=25549 vsize=1342020 CPUtime=0 cores=1,3,5,7
/proc/25552/task/25553/stat : 25553 (toysat) S 25549 25552 24737 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 30085572 1374228480 276621 33554432000 4194304 16246674 140737395818848 139878602878192 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=25552/tid=25554] ppid=25549 vsize=1342020 CPUtime=0 cores=1,3,5,7
/proc/25552/task/25554/stat : 25554 (toysat) S 25549 25552 24737 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30085572 1374228480 276621 33554432000 4194304 16246674 140737395818848 139878592388336 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=25552/tid=25555] ppid=25549 vsize=1342020 CPUtime=0 cores=1,3,5,7
/proc/25552/task/25555/stat : 25555 (toysat) S 25549 25552 24737 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 30085572 1374228480 276621 33554432000 4194304 16246674 140737395818848 139878581914800 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1661.72
Current children cumulated vsize (KiB) 1342020

[startup+1722.3 s]
/proc/loadavg: 2.29 2.25 2.20 3/183 25599
/proc/meminfo: memFree=28000092/32872528 swapFree=1370848/1518016
[pid=25552] ppid=25549 vsize=1342020 CPUtime=1721.71 cores=1,3,5,7
/proc/25552/stat : 25552 (toysat) R 25549 25552 24737 0 -1 4202496 277007 0 0 0 172105 66 0 0 20 0 4 0 30085572 1374228480 276621 33554432000 4194304 16246674 140737395818848 140737395818024 5822484 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/25552/statm: 335505 276621 803 2943 0 332399 0
[pid=25552/tid=25553] ppid=25549 vsize=1342020 CPUtime=0 cores=1,3,5,7
/proc/25552/task/25553/stat : 25553 (toysat) S 25549 25552 24737 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 30085572 1374228480 276621 33554432000 4194304 16246674 140737395818848 139878602878192 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=25552/tid=25554] ppid=25549 vsize=1342020 CPUtime=0 cores=1,3,5,7
/proc/25552/task/25554/stat : 25554 (toysat) S 25549 25552 24737 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30085572 1374228480 276621 33554432000 4194304 16246674 140737395818848 139878592388336 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=25552/tid=25555] ppid=25549 vsize=1342020 CPUtime=0 cores=1,3,5,7
/proc/25552/task/25555/stat : 25555 (toysat) S 25549 25552 24737 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 30085572 1374228480 276621 33554432000 4194304 16246674 140737395818848 139878581914800 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1721.71
Current children cumulated vsize (KiB) 1342020

[startup+1782.3 s]
/proc/loadavg: 2.17 2.22 2.19 3/183 25600
/proc/meminfo: memFree=27999344/32872528 swapFree=1370848/1518016
[pid=25552] ppid=25549 vsize=1342020 CPUtime=1781.71 cores=1,3,5,7
/proc/25552/stat : 25552 (toysat) R 25549 25552 24737 0 -1 4202496 277007 0 0 0 178103 68 0 0 20 0 4 0 30085572 1374228480 276621 33554432000 4194304 16246674 140737395818848 140737395817944 5523192 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/25552/statm: 335505 276621 803 2943 0 332399 0
[pid=25552/tid=25553] ppid=25549 vsize=1342020 CPUtime=0 cores=1,3,5,7
/proc/25552/task/25553/stat : 25553 (toysat) S 25549 25552 24737 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 30085572 1374228480 276621 33554432000 4194304 16246674 140737395818848 139878602878192 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=25552/tid=25554] ppid=25549 vsize=1342020 CPUtime=0 cores=1,3,5,7
/proc/25552/task/25554/stat : 25554 (toysat) S 25549 25552 24737 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30085572 1374228480 276621 33554432000 4194304 16246674 140737395818848 139878592388336 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=25552/tid=25555] ppid=25549 vsize=1342020 CPUtime=0 cores=1,3,5,7
/proc/25552/task/25555/stat : 25555 (toysat) S 25549 25552 24737 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 30085572 1374228480 276621 33554432000 4194304 16246674 140737395818848 139878581914800 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1781.71
Current children cumulated vsize (KiB) 1342020



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.6 s]
/proc/loadavg: 2.13 2.20 2.18 2/174 25631
/proc/meminfo: memFree=29144884/32872528 swapFree=1370848/1518016
[pid=25552] ppid=25549 vsize=1342020 CPUtime=1800 cores=1,3,5,7
/proc/25552/stat : 25552 (toysat) R 25549 25552 24737 0 -1 4202496 277007 0 0 0 179932 68 0 0 20 0 4 0 30085572 1374228480 276621 33554432000 4194304 16246674 140737395818848 140737395817944 4220490 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/25552/statm: 335505 276621 803 2943 0 332399 0
[pid=25552/tid=25553] ppid=25549 vsize=1342020 CPUtime=0 cores=1,3,5,7
/proc/25552/task/25553/stat : 25553 (toysat) S 25549 25552 24737 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 30085572 1374228480 276621 33554432000 4194304 16246674 140737395818848 139878602878192 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=25552/tid=25554] ppid=25549 vsize=1342020 CPUtime=0 cores=1,3,5,7
/proc/25552/task/25554/stat : 25554 (toysat) S 25549 25552 24737 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30085572 1374228480 276621 33554432000 4194304 16246674 140737395818848 139878592388336 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=25552/tid=25555] ppid=25549 vsize=1342020 CPUtime=0 cores=1,3,5,7
/proc/25552/task/25555/stat : 25555 (toysat) S 25549 25552 24737 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 30085572 1374228480 276621 33554432000 4194304 16246674 140737395818848 139878581914800 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1800
Current children cumulated vsize (KiB) 1342020

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 25552 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.01
CPU user time (s): 1799.33
CPU system time (s): 0.684895
CPU usage (%): 99.9669
Max. virtual memory (cumulated for all children) (KiB): 1342020

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.33
system time used= 0.684895
maximum resident set size= 1106484
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 277007
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= 474
involuntary context switches= 1898

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 4.91825 second user time and 7.08292 second system time

The end

Begin job on node129 at 2016-06-18 22:06:31
IDJOB=4106979
IDBENCH=48351
IDSOLVER=2542
FILE ID=node129/4106979-1466280391
RUNJOBID= node129-1466274985-24754
PBS_JOBID= 19918243
Free space on /tmp= 71720 MiB

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

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

MD5SUM BENCH= 3f7fb60f05fdea42d317cf95beb113ab
RANDOM SEED=1797156103

node129.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		: 2666.143
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	: 5332.28
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		: 2666.143
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		: 2666.143
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		: 2666.143
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.55
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		: 2666.143
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		: 2666.143
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.54
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		: 2666.143
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.55
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		: 2666.143
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.54
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       32872528 kB
MemFree:        29171744 kB
Buffers:          162240 kB
Cached:           214552 kB
SwapCached:         1940 kB
Active:          1195964 kB
Inactive:         246084 kB
Active(anon):    1066540 kB
Inactive(anon):     1076 kB
Active(file):     129424 kB
Inactive(file):   245008 kB
Unevictable:     1518016 kB
Mlocked:         1370848 kB
SwapTotal:      67108856 kB
SwapFree:       67099228 kB
Dirty:             33020 kB
Writeback:             0 kB
AnonPages:       2586796 kB
Mapped:            10628 kB
Shmem:                 0 kB
Slab:             605496 kB
SReclaimable:      48464 kB
SUnreclaim:       557032 kB
KernelStack:        1464 kB
PageTables:         9180 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    2729200 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:    151552 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= 71720 MiB
End job on node129 at 2016-06-18 22:36:32