0.00/0.00	c 2016-06-16T19:30:12+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-4095889-1466098211.opb"]
0.00/0.01	c use --random-gen="3915592076 3955830804 2684397988 2941395283 1571822307 2440605464 34048458 1662466321 577433436 2564475693 182603908 1349778560 2048756417 3426662201 2116326505 1371130670 3675576585 433726832 920614139 4208503196 3559694228 3834508407 1746977613 917862826 3741930168 3956330463 4066218712 2191861529 1305083132 2297243054 2316157001 4184376145 3481434278 1762311551 4237454760 3936156506 2194361780 2368882527 1165745275 2145595153 3148217547 809660571 2965970308 2634608805 665290723 1647313000 3529730423 3712267952 2442314267 3193602076 1505265791 2170362344 1989611459 692944982 2060180767 2643068184 4105706835 1383042649 4206804162 2723188518 3458170779 2744551822 584654870 3200456884 254752261 2391619398 2292378332 245239494 1292119101 2336415558 1554956153 3111093742 3622623819 2427564041 2911871038 2954370119 1616567322 3316865158 1724059243 1432197296 637449982 1053863202 1164351953 3676971843 2314526367 4089090813 1828545661 3689730972 2804572644 3002312589 138203835 228460164 2794398840 3643277546 1568957067 579369781 3757183003 1439268307 3875613777 1661870188 610473007 2028953591 565507172 3938200210 2182259787 1331005972 965833925 1486305639 1834355946 2958704959 3250979475 1708022627 1008393802 2548287112 2405093535 3228538364 2634828656 3154867580 1610418061 823965246 3362297657 1773381163 195545204 2424419057 3559052773 2560992181 2006500964 6518405 3013804253 1930121950 343039049 432156872 761764051 4027309222 124070501 4143604264 1509956339 1206767405 1032691282 270481269 1617871315 3831832211 728105621 3803185616 2877284832 4068162148 4155852221 193250262 2410775523 1125176390 3368019867 662505303 844371240 1750724022 3295658322 1373526842 3115732338 2213816794 3658513236 445686512 883603205 2331915190 1940884012 80457100 3176592275 997813891 3700989549 3643527972 2033277624 3336188495 3293934901 4285734328 3482624066 2473592240 1866591598 323331116 2112251502 1286271649 333316875 3248390519 4067806912 3448778077 2329648218 2878891172 3171967704 484722407 2147013219 526567332 3700951943 539662306 625962732 2768456094 2463418317 415949260 2683731209 792152121 2272954823 2816712104 3287875915 1815120495 1618877958 33708968 2962797657 4046331102 1371822804 2023467775 4271689181 189703630 2623325759 1469765954 2715655965 3743292965 1727971121 2844691192 3972249612 410601792 1585331141 3768719001 3394999957 16245842 208348856 4273339135 3317549664 3914015508 1274707600 3849033368 2125392323 2670742690 2046342642 1519355474 4210616202 3251485472 1211234580 1875199834 2266244759 2038249476 1737037143 2986805306 3490161296 3132289368 2831668920 1420168784 1122950660 3549928794 3742976137 182039660 2838997709 2095727961 840548502 1025759189 3197514062 2696670171 3264583284 322546533 773251115 4166417421 255 362436" option to reproduce the execution
0.00/0.01	c #vars 221
0.00/0.01	c #constraints 110
0.00/0.01	c Solving starts ...
0.00/0.02	c ============================[ Search Statistics ]============================
0.00/0.02	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
0.00/0.02	c       |         |          |          |    Limit     GC | Var      | Constra 
0.00/0.02	c =============================================================================
0.00/0.02	c  0.0s |       0 |        0 |        0 |      147      0 |        0 |        0
0.00/0.03	c  0.0s |       1 |      172 |      100 |      147      0 |        0 |        0
0.00/0.04	c  0.0s |       2 |      431 |      250 |      162      0 |        0 |        0
0.00/0.07	c  0.1s |       3 |      768 |      475 |      179      2 |        0 |        0
0.09/0.11	c  0.1s |       4 |     1406 |      813 |      197      5 |        0 |        0
0.09/0.17	c  0.2s |       5 |     2237 |     1320 |      217      7 |        0 |        0
0.19/0.29	c  0.3s |       6 |     3614 |     2081 |      263     12 |        0 |        0
0.39/0.45	c  0.4s |       7 |     5483 |     3223 |      290     17 |        0 |        0
0.59/0.68	c  0.7s |       8 |     8228 |     4936 |      319     26 |        0 |        0
0.89/0.98	c  1.0s |       9 |    11949 |     7506 |      351     40 |        0 |        0
1.29/1.34	c  1.3s |      10 |    18775 |    11361 |      387     57 |        0 |        0
1.79/1.82	c  1.8s |      11 |    26628 |    17144 |      426     80 |        0 |        0
2.49/2.51	c  2.5s |      12 |    38846 |    25819 |      469    112 |        0 |        0
3.59/3.67	c  3.7s |      13 |    55700 |    38832 |      516    156 |        0 |        0
5.28/5.31	c  5.3s |      14 |    82060 |    58352 |      568    216 |        0 |        0
7.28/7.31	c  7.3s |      14 |   107896 |    78652 |      568    275 |        0 |        0
8.08/8.14	c  8.1s |      15 |   119596 |    87632 |      625    302 |        0 |        0
10.08/10.14	c 10.1s |      15 |   148007 |   109232 |      625    360 |        0 |        0
12.09/12.15	c 12.1s |      15 |   176630 |   130332 |      625    417 |        0 |        0
12.19/12.27	c 12.3s |      16 |   178178 |   131552 |      688    420 |        0 |        0
14.19/14.28	c 14.3s |      16 |   207166 |   153352 |      688    474 |        0 |        0
16.19/16.28	c 16.3s |      16 |   235404 |   174152 |      688    527 |        0 |        0
18.19/18.28	c 18.3s |      16 |   263454 |   194952 |      688    581 |        0 |        0
18.49/18.54	c 18.5s |      17 |   266710 |   197432 |      757    586 |        0 |        0
20.49/20.55	c 20.5s |      17 |   295937 |   219232 |      757    639 |        0 |        0
22.49/22.55	c 22.5s |      17 |   323679 |   240032 |      757    690 |        0 |        0
24.49/24.57	c 24.6s |      17 |   345240 |   258032 |      757    731 |        0 |        0
26.50/26.57	c 26.6s |      17 |   370313 |   277532 |      757    777 |        0 |        0
28.39/28.42	c 28.4s |      18 |   394480 |   296252 |      833    821 |        0 |        0
30.39/30.43	c 30.4s |      18 |   423920 |   317652 |      833    869 |        0 |        0
32.39/32.44	c 32.4s |      18 |   452418 |   338652 |      833    916 |        0 |        0
34.39/34.44	c 34.4s |      18 |   480680 |   359652 |      833    962 |        0 |        0
36.39/36.45	c 36.4s |      18 |   508212 |   380652 |      833   1008 |        0 |        0
38.38/38.45	c 38.4s |      18 |   537783 |   402452 |      833   1057 |        0 |        0
40.38/40.46	c 40.4s |      18 |   566770 |   423952 |      833   1105 |        0 |        0
42.38/42.46	c 42.4s |      18 |   593363 |   443752 |      917   1149 |        0 |        0
42.48/42.53	c 42.5s |      19 |   594378 |   444482 |      917   1150 |        0 |        0
44.48/44.54	c 44.5s |      19 |   620064 |   463282 |      917   1186 |        0 |        0
46.48/46.54	c 46.5s |      19 |   646435 |   481982 |      917   1223 |        0 |        0
48.49/48.55	c 48.5s |      19 |   672718 |   501282 |      917   1261 |        0 |        0
50.48/50.55	c 50.5s |      19 |   702369 |   521482 |      917   1301 |        0 |        0
52.48/52.56	c 52.5s |      19 |   732138 |   542382 |      917   1343 |        0 |        0
54.48/54.57	c 54.6s |      19 |   762636 |   563982 |      917   1388 |        0 |        0
56.48/56.57	c 56.6s |      19 |   789934 |   584182 |      917   1429 |        0 |        0
58.48/58.57	c 58.6s |      19 |   819092 |   603782 |      917   1469 |        0 |        0
60.48/60.58	c 60.6s |      19 |   847022 |   623582 |      917   1509 |        0 |        0
62.48/62.58	c 62.6s |      19 |   873652 |   641382 |      917   1546 |        0 |        0
64.48/64.58	c 64.6s |      19 |   904241 |   660982 |      917   1586 |        0 |        0
65.18/65.28	c 65.3s |      20 |   912257 |   666827 |     1009   1597 |        0 |        0
67.18/67.29	c 67.3s |      20 |   939113 |   687427 |     1009   1633 |        0 |        0
69.17/69.29	c 69.3s |      20 |   964547 |   706627 |     1009   1668 |        0 |        0
71.28/71.30	c 71.3s |      20 |   989825 |   726027 |     1009   1703 |        0 |        0
73.28/73.30	c 73.3s |      20 |  1015856 |   745227 |     1009   1738 |        0 |        0
75.28/75.31	c 75.3s |      20 |  1040287 |   764027 |     1009   1772 |        0 |        0
77.28/77.31	c 77.3s |      20 |  1065295 |   783027 |     1009   1807 |        0 |        0
79.29/79.32	c 79.3s |      20 |  1092004 |   802727 |     1009   1843 |        0 |        0
81.28/81.33	c 81.3s |      20 |  1117927 |   822127 |     1009   1878 |        0 |        0
83.28/83.34	c 83.3s |      20 |  1143832 |   841427 |     1009   1913 |        0 |        0
85.28/85.35	c 85.3s |      20 |  1169557 |   860927 |     1009   1948 |        0 |        0
87.28/87.35	c 87.3s |      20 |  1196496 |   879727 |     1009   1983 |        0 |        0
89.28/89.36	c 89.3s |      20 |  1221439 |   898327 |     1009   2018 |        0 |        0
91.28/91.36	c 91.3s |      20 |  1248636 |   917627 |     1009   2054 |        0 |        0
93.28/93.37	c 93.4s |      20 |  1275442 |   937127 |     1009   2090 |        0 |        0
95.28/95.37	c 95.4s |      20 |  1302088 |   956527 |     1009   2126 |        0 |        0
97.28/97.38	c 97.4s |      20 |  1325921 |   974827 |     1009   2159 |        0 |        0
99.27/99.38	c 99.4s |      20 |  1351819 |   993927 |     1110   2194 |        0 |        0
99.97/100.09	c  100s |      21 |  1360668 |  1000345 |     1110   2205 |        0 |        0
102.07/102.10	c  102s |      21 |  1385188 |  1019645 |     1110   2237 |        0 |        0
104.07/104.10	c  104s |      21 |  1412027 |  1039445 |     1110   2270 |        0 |        0
106.07/106.11	c  106s |      21 |  1438363 |  1059545 |     1110   2303 |        0 |        0
108.07/108.11	c  108s |      21 |  1464230 |  1078645 |     1110   2335 |        0 |        0
110.08/110.12	c  110s |      21 |  1489626 |  1097945 |     1110   2367 |        0 |        0
112.07/112.12	c  112s |      21 |  1514028 |  1116645 |     1110   2398 |        0 |        0
114.07/114.13	c  114s |      21 |  1538839 |  1135145 |     1110   2429 |        0 |        0
116.08/116.13	c  116s |      21 |  1564383 |  1153845 |     1110   2460 |        0 |        0
118.08/118.14	c  118s |      21 |  1590332 |  1172845 |     1110   2492 |        0 |        0
120.07/120.14	c  120s |      21 |  1613922 |  1190845 |     1110   2522 |        0 |        0
122.08/122.15	c  122s |      21 |  1637305 |  1209245 |     1110   2553 |        0 |        0
124.07/124.16	c  124s |      21 |  1661772 |  1227845 |     1110   2585 |        0 |        0
126.07/126.17	c  126s |      21 |  1685826 |  1246245 |     1110   2615 |        0 |        0
128.07/128.17	c  128s |      21 |  1710208 |  1264545 |     1110   2646 |        0 |        0
130.07/130.18	c  130s |      21 |  1735047 |  1282945 |     1110   2677 |        0 |        0
132.08/132.19	c  132s |      21 |  1758661 |  1301345 |     1110   2708 |        0 |        0
134.07/134.19	c  134s |      21 |  1782256 |  1319145 |     1110   2738 |        0 |        0
136.17/136.20	c  136s |      21 |  1808289 |  1338545 |     1110   2770 |        0 |        0
138.17/138.20	c  138s |      21 |  1834259 |  1357645 |     1110   2802 |        0 |        0
140.17/140.21	c  140s |      21 |  1858232 |  1375745 |     1110   2833 |        0 |        0
142.17/142.22	c  142s |      21 |  1884603 |  1395045 |     1110   2866 |        0 |        0
144.17/144.22	c  144s |      21 |  1910700 |  1414445 |     1110   2899 |        0 |        0
146.17/146.22	c  146s |      21 |  1935292 |  1433245 |     1110   2931 |        0 |        0
148.16/148.23	c  148s |      21 |  1960250 |  1451645 |     1110   2962 |        0 |        0
150.16/150.23	c  150s |      21 |  1984596 |  1469945 |     1110   2993 |        0 |        0
152.16/152.23	c  152s |      21 |  2008932 |  1488445 |     1110   3024 |        0 |        0
153.46/153.56	c  153s |      22 |  2025384 |  1500622 |     1221   3043 |        0 |        0
155.46/155.56	c  155s |      22 |  2048644 |  1518922 |     1221   3071 |        0 |        0
157.47/157.57	c  157s |      22 |  2074034 |  1538322 |     1221   3100 |        0 |        0
159.48/159.57	c  159s |      22 |  2097372 |  1556022 |     1221   3126 |        0 |        0
161.47/161.58	c  161s |      22 |  2122459 |  1574722 |     1221   3155 |        0 |        0
163.47/163.58	c  163s |      22 |  2146351 |  1592822 |     1221   3182 |        0 |        0
165.47/165.58	c  165s |      22 |  2170325 |  1611722 |     1221   3211 |        0 |        0
167.46/167.59	c  167s |      22 |  2193775 |  1629822 |     1221   3239 |        0 |        0
169.56/169.60	c  169s |      22 |  2215767 |  1647322 |     1221   3266 |        0 |        0
171.57/171.61	c  171s |      22 |  2238451 |  1665122 |     1221   3294 |        0 |        0
173.56/173.61	c  173s |      22 |  2263423 |  1683422 |     1221   3322 |        0 |        0
175.56/175.61	c  175s |      22 |  2286581 |  1701422 |     1221   3351 |        0 |        0
177.56/177.61	c  177s |      22 |  2309219 |  1719322 |     1221   3379 |        0 |        0
179.56/179.62	c  179s |      22 |  2332581 |  1737022 |     1221   3406 |        0 |        0
181.56/181.62	c  181s |      22 |  2355209 |  1754822 |     1221   3434 |        0 |        0
183.56/183.63	c  183s |      22 |  2379182 |  1773022 |     1221   3463 |        0 |        0
185.56/185.64	c  185s |      22 |  2402553 |  1791122 |     1221   3492 |        0 |        0
187.56/187.64	c  187s |      22 |  2427949 |  1810222 |     1221   3522 |        0 |        0
189.55/189.65	c  189s |      22 |  2453893 |  1828622 |     1221   3550 |        0 |        0
191.55/191.65	c  191s |      22 |  2477250 |  1846622 |     1221   3578 |        0 |        0
193.56/193.66	c  193s |      22 |  2500189 |  1864322 |     1221   3605 |        0 |        0
195.55/195.66	c  195s |      22 |  2522705 |  1881622 |     1221   3632 |        0 |        0
197.55/197.67	c  197s |      22 |  2544500 |  1898722 |     1221   3658 |        0 |        0
199.55/199.68	c  199s |      22 |  2565161 |  1915122 |     1221   3684 |        0 |        0
201.55/201.68	c  201s |      22 |  2588277 |  1933022 |     1221   3712 |        0 |        0
203.56/203.68	c  203s |      22 |  2610583 |  1950522 |     1221   3739 |        0 |        0
205.55/205.68	c  205s |      22 |  2633661 |  1967822 |     1221   3766 |        0 |        0
207.55/207.69	c  207s |      22 |  2656049 |  1984722 |     1221   3792 |        0 |        0
209.66/209.71	c  209s |      22 |  2676867 |  2000822 |     1221   3817 |        0 |        0
211.66/211.71	c  211s |      22 |  2698437 |  2017122 |     1221   3842 |        0 |        0
213.66/213.71	c  213s |      22 |  2720642 |  2034022 |     1221   3868 |        0 |        0
215.67/215.72	c  215s |      22 |  2743761 |  2051422 |     1221   3894 |        0 |        0
217.66/217.72	c  217s |      22 |  2767165 |  2068822 |     1221   3921 |        0 |        0
219.66/219.72	c  219s |      22 |  2789188 |  2085822 |     1221   3948 |        0 |        0
221.66/221.73	c  221s |      22 |  2811931 |  2103222 |     1221   3975 |        0 |        0
223.65/223.74	c  223s |      22 |  2834799 |  2120522 |     1221   4002 |        0 |        0
225.65/225.75	c  225s |      22 |  2859999 |  2139122 |     1221   4031 |        0 |        0
227.66/227.75	c  227s |      22 |  2884113 |  2156822 |     1221   4059 |        0 |        0
229.65/229.76	c  229s |      22 |  2909609 |  2175122 |     1221   4088 |        0 |        0
231.65/231.76	c  231s |      22 |  2933617 |  2193122 |     1221   4116 |        0 |        0
233.65/233.77	c  233s |      22 |  2956346 |  2210022 |     1221   4143 |        0 |        0
235.65/235.77	c  235s |      22 |  2978958 |  2227522 |     1221   4170 |        0 |        0
237.66/237.77	c  237s |      22 |  3002835 |  2245622 |     1344   4197 |        0 |        0
238.25/238.39	c  238s |      23 |  3009846 |  2251038 |     1344   4204 |        0 |        0
240.35/240.41	c  240s |      23 |  3030909 |  2267738 |     1344   4227 |        0 |        0
242.35/242.42	c  242s |      23 |  3052520 |  2284338 |     1344   4250 |        0 |        0
244.35/244.43	c  244s |      23 |  3073868 |  2300938 |     1344   4272 |        0 |        0
246.36/246.44	c  246s |      23 |  3095188 |  2317138 |     1344   4295 |        0 |        0
248.35/248.44	c  248s |      23 |  3115132 |  2333238 |     1344   4317 |        0 |        0
250.35/250.46	c  250s |      23 |  3136698 |  2349638 |     1344   4339 |        0 |        0
252.35/252.47	c  252s |      23 |  3157542 |  2365838 |     1344   4361 |        0 |        0
254.35/254.47	c  254s |      23 |  3177195 |  2381238 |     1344   4383 |        0 |        0
256.35/256.48	c  256s |      23 |  3198294 |  2397538 |     1344   4405 |        0 |        0
258.35/258.48	c  258s |      23 |  3219257 |  2413938 |     1344   4427 |        0 |        0
260.35/260.48	c  260s |      23 |  3239395 |  2429738 |     1344   4449 |        0 |        0
262.35/262.49	c  262s |      23 |  3259239 |  2445438 |     1344   4471 |        0 |        0
264.44/264.50	c  264s |      23 |  3279724 |  2461638 |     1344   4493 |        0 |        0
266.44/266.51	c  266s |      23 |  3300349 |  2477438 |     1344   4515 |        0 |        0
268.45/268.51	c  268s |      23 |  3323067 |  2494338 |     1344   4538 |        0 |        0
270.44/270.52	c  270s |      23 |  3344512 |  2510738 |     1344   4561 |        0 |        0
272.45/272.53	c  272s |      23 |  3365687 |  2527038 |     1344   4583 |        0 |        0
274.45/274.53	c  274s |      23 |  3388243 |  2544138 |     1344   4606 |        0 |        0
276.45/276.54	c  276s |      23 |  3409984 |  2560938 |     1344   4629 |        0 |        0
278.45/278.55	c  278s |      23 |  3431071 |  2577038 |     1344   4651 |        0 |        0
280.45/280.55	c  280s |      23 |  3450888 |  2592638 |     1344   4673 |        0 |        0
282.45/282.56	c  282s |      23 |  3471947 |  2608738 |     1344   4696 |        0 |        0
284.45/284.57	c  284s |      23 |  3493095 |  2624638 |     1344   4718 |        0 |        0
286.45/286.58	c  286s |      23 |  3514579 |  2640838 |     1344   4741 |        0 |        0
288.44/288.58	c  288s |      23 |  3536688 |  2657238 |     1344   4764 |        0 |        0
290.45/290.59	c  290s |      23 |  3557280 |  2673338 |     1344   4787 |        0 |        0
292.44/292.59	c  292s |      23 |  3578043 |  2689438 |     1344   4810 |        0 |        0
294.54/294.60	c  294s |      23 |  3600425 |  2705938 |     1344   4833 |        0 |        0
296.54/296.61	c  296s |      23 |  3620658 |  2721538 |     1344   4856 |        0 |        0
298.54/298.62	c  298s |      23 |  3640263 |  2736838 |     1344   4877 |        0 |        0
300.54/300.63	c  300s |      23 |  3659949 |  2752238 |     1344   4899 |        0 |        0
302.55/302.64	c  302s |      23 |  3679107 |  2767438 |     1344   4921 |        0 |        0
304.54/304.64	c  304s |      23 |  3698052 |  2782638 |     1344   4943 |        0 |        0
306.54/306.65	c  306s |      23 |  3718099 |  2798238 |     1344   4965 |        0 |        0
308.54/308.66	c  308s |      23 |  3738461 |  2814038 |     1344   4987 |        0 |        0
310.54/310.67	c  310s |      23 |  3761151 |  2830838 |     1344   5012 |        0 |        0
312.54/312.69	c  312s |      23 |  3783610 |  2847538 |     1344   5035 |        0 |        0
314.54/314.69	c  314s |      23 |  3803934 |  2863838 |     1344   5059 |        0 |        0
316.54/316.69	c  316s |      23 |  3825614 |  2880638 |     1344   5083 |        0 |        0
318.64/318.70	c  318s |      23 |  3846503 |  2896838 |     1344   5106 |        0 |        0
320.64/320.71	c  320s |      23 |  3869307 |  2913638 |     1344   5130 |        0 |        0
322.64/322.71	c  322s |      23 |  3892338 |  2930838 |     1344   5154 |        0 |        0
324.64/324.72	c  324s |      23 |  3915137 |  2948138 |     1344   5179 |        0 |        0
326.65/326.72	c  326s |      23 |  3936825 |  2964738 |     1344   5202 |        0 |        0
328.64/328.73	c  328s |      23 |  3957144 |  2980338 |     1344   5224 |        0 |        0
330.64/330.74	c  330s |      23 |  3978281 |  2996138 |     1344   5247 |        0 |        0
332.64/332.74	c  332s |      23 |  3999287 |  3011838 |     1344   5269 |        0 |        0
334.64/334.75	c  334s |      23 |  4019698 |  3027038 |     1344   5291 |        0 |        0
336.64/336.75	c  336s |      23 |  4039386 |  3042038 |     1344   5313 |        0 |        0
338.64/338.76	c  338s |      23 |  4061110 |  3058238 |     1344   5336 |        0 |        0
340.64/340.77	c  340s |      23 |  4079274 |  3072638 |     1344   5356 |        0 |        0
342.63/342.78	c  342s |      23 |  4099824 |  3088238 |     1344   5379 |        0 |        0
344.73/344.80	c  344s |      23 |  4120794 |  3104238 |     1344   5402 |        0 |        0
346.73/346.80	c  346s |      23 |  4141932 |  3120238 |     1344   5424 |        0 |        0
348.74/348.80	c  348s |      23 |  4162049 |  3136038 |     1344   5446 |        0 |        0
350.73/350.81	c  350s |      23 |  4183178 |  3151838 |     1344   5468 |        0 |        0
352.73/352.81	c  352s |      23 |  4203294 |  3167138 |     1344   5490 |        0 |        0
354.73/354.82	c  354s |      23 |  4224161 |  3183038 |     1344   5512 |        0 |        0
356.73/356.82	c  356s |      23 |  4245785 |  3199638 |     1344   5535 |        0 |        0
358.73/358.83	c  358s |      23 |  4266308 |  3215338 |     1344   5557 |        0 |        0
360.74/360.83	c  360s |      23 |  4285565 |  3230638 |     1344   5579 |        0 |        0
362.73/362.83	c  362s |      23 |  4306401 |  3247138 |     1344   5602 |        0 |        0
364.73/364.84	c  364s |      23 |  4327525 |  3263338 |     1344   5624 |        0 |        0
366.73/366.85	c  366s |      23 |  4348699 |  3279738 |     1344   5647 |        0 |        0
368.74/368.86	c  368s |      23 |  4370548 |  3296438 |     1344   5671 |        0 |        0
370.74/370.86	c  370s |      23 |  4393012 |  3313438 |     1344   5695 |        0 |        0
372.74/372.87	c  372s |      23 |  4414945 |  3330438 |     1344   5718 |        0 |        0
374.74/374.87	c  374s |      23 |  4435096 |  3346338 |     1344   5740 |        0 |        0
376.73/376.87	c  376s |      23 |  4456311 |  3362638 |     1479   5762 |        0 |        0
378.53/378.65	c  378s |      24 |  4474261 |  3376662 |     1479   5779 |        0 |        0
380.54/380.66	c  380s |      24 |  4495366 |  3393162 |     1479   5800 |        0 |        0
382.53/382.67	c  382s |      24 |  4516977 |  3410062 |     1479   5821 |        0 |        0
384.53/384.67	c  384s |      24 |  4540079 |  3427462 |     1479   5843 |        0 |        0
386.53/386.68	c  386s |      24 |  4562641 |  3444562 |     1479   5865 |        0 |        0
388.53/388.68	c  388s |      24 |  4582114 |  3459862 |     1479   5884 |        0 |        0
390.54/390.68	c  390s |      24 |  4602282 |  3475662 |     1479   5904 |        0 |        0
392.53/392.69	c  392s |      24 |  4621977 |  3491262 |     1479   5923 |        0 |        0
394.63/394.70	c  394s |      24 |  4642412 |  3507062 |     1479   5943 |        0 |        0
396.63/396.71	c  396s |      24 |  4661528 |  3522162 |     1479   5963 |        0 |        0
398.63/398.72	c  398s |      24 |  4681961 |  3537862 |     1479   5982 |        0 |        0
400.63/400.72	c  400s |      24 |  4701062 |  3553062 |     1479   6002 |        0 |        0
402.63/402.72	c  402s |      24 |  4720414 |  3568062 |     1479   6021 |        0 |        0
404.63/404.73	c  404s |      24 |  4742232 |  3584662 |     1479   6042 |        0 |        0
406.62/406.73	c  406s |      24 |  4761663 |  3600062 |     1479   6062 |        0 |        0
408.62/408.75	c  408s |      24 |  4783663 |  3616762 |     1479   6083 |        0 |        0
410.62/410.76	c  410s |      24 |  4804033 |  3632962 |     1479   6104 |        0 |        0
412.62/412.76	c  412s |      24 |  4823942 |  3648362 |     1479   6124 |        0 |        0
414.63/414.77	c  414s |      24 |  4843243 |  3663162 |     1479   6143 |        0 |        0
416.62/416.78	c  416s |      24 |  4863503 |  3678362 |     1479   6163 |        0 |        0
418.62/418.79	c  418s |      24 |  4883252 |  3693762 |     1479   6182 |        0 |        0
420.62/420.79	c  420s |      24 |  4902004 |  3708262 |     1479   6201 |        0 |        0
422.62/422.80	c  422s |      24 |  4922184 |  3723762 |     1479   6221 |        0 |        0
424.73/424.81	c  424s |      24 |  4943820 |  3740162 |     1479   6243 |        0 |        0
426.73/426.81	c  426s |      24 |  4964636 |  3755962 |     1479   6263 |        0 |        0
428.73/428.81	c  428s |      24 |  4987876 |  3773962 |     1479   6286 |        0 |        0
430.73/430.82	c  430s |      24 |  5009746 |  3791062 |     1479   6308 |        0 |        0
432.73/432.83	c  432s |      24 |  5030798 |  3807562 |     1479   6329 |        0 |        0
434.73/434.83	c  434s |      24 |  5053136 |  3824362 |     1479   6351 |        0 |        0
436.73/436.84	c  436s |      24 |  5075245 |  3841262 |     1479   6373 |        0 |        0
438.73/438.85	c  438s |      24 |  5096713 |  3857762 |     1479   6395 |        0 |        0
440.73/440.86	c  440s |      24 |  5115495 |  3872762 |     1479   6414 |        0 |        0
442.72/442.86	c  442s |      24 |  5135992 |  3888162 |     1479   6434 |        0 |        0
444.72/444.86	c  444s |      24 |  5155778 |  3903262 |     1479   6454 |        0 |        0
446.72/446.87	c  446s |      24 |  5176063 |  3918662 |     1479   6474 |        0 |        0
448.73/448.87	c  448s |      24 |  5195526 |  3933462 |     1479   6493 |        0 |        0
450.72/450.88	c  450s |      24 |  5218199 |  3950862 |     1479   6516 |        0 |        0
452.72/452.88	c  452s |      24 |  5238999 |  3966962 |     1479   6537 |        0 |        0
454.72/454.88	c  454s |      24 |  5258966 |  3982462 |     1479   6557 |        0 |        0
456.72/456.89	c  456s |      24 |  5280086 |  3998662 |     1479   6578 |        0 |        0
458.72/458.90	c  458s |      24 |  5299679 |  4014162 |     1479   6599 |        0 |        0
460.72/460.90	c  460s |      24 |  5318637 |  4029262 |     1479   6618 |        0 |        0
462.81/462.90	c  462s |      24 |  5341625 |  4046262 |     1479   6640 |        0 |        0
464.81/464.91	c  464s |      24 |  5365505 |  4063662 |     1479   6662 |        0 |        0
466.81/466.92	c  466s |      24 |  5386435 |  4079062 |     1479   6682 |        0 |        0
468.81/468.93	c  468s |      24 |  5407006 |  4095162 |     1479   6702 |        0 |        0
470.82/470.93	c  470s |      24 |  5430070 |  4112462 |     1479   6725 |        0 |        0
472.81/472.94	c  472s |      24 |  5452567 |  4129262 |     1479   6746 |        0 |        0
474.81/474.95	c  474s |      24 |  5471129 |  4143862 |     1479   6765 |        0 |        0
476.81/476.95	c  476s |      24 |  5492517 |  4159762 |     1479   6786 |        0 |        0
478.81/478.96	c  478s |      24 |  5509739 |  4173262 |     1479   6803 |        0 |        0
480.82/480.96	c  480s |      24 |  5525860 |  4186262 |     1479   6820 |        0 |        0
482.83/482.97	c  482s |      24 |  5547053 |  4202362 |     1479   6841 |        0 |        0
484.82/484.98	c  484s |      24 |  5566600 |  4217362 |     1479   6860 |        0 |        0
486.82/486.99	c  486s |      24 |  5583590 |  4231262 |     1479   6879 |        0 |        0
488.82/489.00	c  488s |      24 |  5602039 |  4245662 |     1479   6897 |        0 |        0
490.92/491.01	c  490s |      24 |  5621471 |  4260562 |     1479   6916 |        0 |        0
492.92/493.02	c  493s |      24 |  5641759 |  4276162 |     1479   6936 |        0 |        0
494.92/495.03	c  495s |      24 |  5664116 |  4292862 |     1479   6958 |        0 |        0
496.92/497.04	c  497s |      24 |  5685509 |  4309562 |     1479   6979 |        0 |        0
498.92/499.05	c  499s |      24 |  5706547 |  4325562 |     1479   6999 |        0 |        0
500.92/501.06	c  501s |      24 |  5725959 |  4340562 |     1479   7019 |        0 |        0
502.91/503.07	c  503s |      24 |  5744028 |  4354462 |     1479   7037 |        0 |        0
504.92/505.07	c  505s |      24 |  5763467 |  4369262 |     1479   7056 |        0 |        0
506.91/507.08	c  507s |      24 |  5781667 |  4383262 |     1479   7074 |        0 |        0
508.91/509.08	c  509s |      24 |  5798765 |  4396562 |     1479   7091 |        0 |        0
510.91/511.09	c  511s |      24 |  5816633 |  4410162 |     1479   7108 |        0 |        0
513.01/513.10	c  513s |      24 |  5837597 |  4425862 |     1479   7129 |        0 |        0
515.01/515.11	c  515s |      24 |  5859195 |  4441962 |     1479   7149 |        0 |        0
517.01/517.12	c  517s |      24 |  5879951 |  4457162 |     1479   7169 |        0 |        0
519.01/519.13	c  519s |      24 |  5900024 |  4472362 |     1479   7188 |        0 |        0
521.00/521.13	c  521s |      24 |  5918282 |  4486162 |     1479   7206 |        0 |        0
523.00/523.13	c  523s |      24 |  5940355 |  4502462 |     1479   7227 |        0 |        0
525.00/525.14	c  525s |      24 |  5962243 |  4519462 |     1479   7248 |        0 |        0
527.00/527.15	c  527s |      24 |  5982114 |  4535462 |     1479   7268 |        0 |        0
529.02/529.15	c  529s |      24 |  6005288 |  4552762 |     1479   7290 |        0 |        0
531.01/531.16	c  531s |      24 |  6026494 |  4569562 |     1479   7312 |        0 |        0
533.01/533.16	c  533s |      24 |  6047093 |  4585362 |     1479   7332 |        0 |        0
535.01/535.17	c  535s |      24 |  6065630 |  4600062 |     1479   7351 |        0 |        0
537.01/537.17	c  537s |      24 |  6084556 |  4614662 |     1479   7370 |        0 |        0
539.02/539.18	c  539s |      24 |  6102202 |  4628762 |     1479   7388 |        0 |        0
541.01/541.19	c  541s |      24 |  6119810 |  4642862 |     1479   7406 |        0 |        0
543.01/543.19	c  543s |      24 |  6140099 |  4658562 |     1479   7427 |        0 |        0
545.11/545.21	c  545s |      24 |  6159447 |  4673162 |     1479   7445 |        0 |        0
547.11/547.21	c  547s |      24 |  6179467 |  4688662 |     1479   7465 |        0 |        0
549.11/549.23	c  549s |      24 |  6198524 |  4703662 |     1479   7485 |        0 |        0
551.11/551.24	c  551s |      24 |  6218283 |  4718862 |     1479   7504 |        0 |        0
553.10/553.25	c  553s |      24 |  6237390 |  4733762 |     1479   7523 |        0 |        0
555.10/555.25	c  555s |      24 |  6258473 |  4749962 |     1479   7544 |        0 |        0
557.10/557.27	c  557s |      24 |  6280509 |  4766362 |     1479   7566 |        0 |        0
559.10/559.27	c  559s |      24 |  6301170 |  4782362 |     1479   7586 |        0 |        0
561.10/561.28	c  561s |      24 |  6324025 |  4799462 |     1479   7609 |        0 |        0
563.11/563.28	c  563s |      24 |  6345498 |  4816162 |     1479   7630 |        0 |        0
565.10/565.28	c  565s |      24 |  6366364 |  4832162 |     1479   7651 |        0 |        0
567.10/567.29	c  567s |      24 |  6387360 |  4848162 |     1479   7672 |        0 |        0
569.10/569.29	c  569s |      24 |  6407125 |  4863062 |     1479   7691 |        0 |        0
571.20/571.31	c  571s |      24 |  6427419 |  4878362 |     1479   7711 |        0 |        0
573.20/573.31	c  573s |      24 |  6447918 |  4894162 |     1479   7731 |        0 |        0
575.21/575.31	c  575s |      24 |  6467071 |  4908962 |     1479   7751 |        0 |        0
577.20/577.33	c  577s |      24 |  6487192 |  4924062 |     1479   7770 |        0 |        0
579.20/579.34	c  579s |      24 |  6506769 |  4938862 |     1479   7789 |        0 |        0
581.20/581.34	c  581s |      24 |  6527984 |  4954862 |     1479   7810 |        0 |        0
583.20/583.35	c  583s |      24 |  6549771 |  4971362 |     1479   7831 |        0 |        0
585.20/585.36	c  585s |      24 |  6571394 |  4988062 |     1479   7853 |        0 |        0
587.20/587.36	c  587s |      24 |  6592928 |  5004362 |     1479   7873 |        0 |        0
589.20/589.37	c  589s |      24 |  6614159 |  5020262 |     1479   7893 |        0 |        0
591.20/591.37	c  591s |      24 |  6636139 |  5036962 |     1627   7913 |        0 |        0
593.19/593.37	c  593s |      24 |  6656943 |  5052762 |     1627   7932 |        0 |        0
594.69/594.87	c  594s |      25 |  6673070 |  5065098 |     1627   7946 |        0 |        0
596.70/596.88	c  596s |      25 |  6693169 |  5080898 |     1627   7964 |        0 |        0
598.70/598.89	c  598s |      25 |  6712319 |  5095698 |     1627   7980 |        0 |        0
600.70/600.90	c  600s |      25 |  6732563 |  5111398 |     1627   7998 |        0 |        0
602.81/602.91	c  602s |      25 |  6751842 |  5126498 |     1627   8016 |        0 |        0
604.80/604.91	c  604s |      25 |  6771886 |  5141998 |     1627   8033 |        0 |        0
606.80/606.92	c  606s |      25 |  6791536 |  5157198 |     1627   8051 |        0 |        0
608.80/608.93	c  608s |      25 |  6811318 |  5172198 |     1627   8068 |        0 |        0
610.80/610.94	c  610s |      25 |  6831892 |  5188098 |     1627   8086 |        0 |        0
612.79/612.94	c  612s |      25 |  6851397 |  5203198 |     1627   8103 |        0 |        0
614.80/614.95	c  614s |      25 |  6871037 |  5218598 |     1627   8121 |        0 |        0
616.79/616.95	c  616s |      25 |  6890389 |  5233398 |     1627   8137 |        0 |        0
618.79/618.96	c  618s |      25 |  6909835 |  5248798 |     1627   8155 |        0 |        0
620.79/620.97	c  620s |      25 |  6929721 |  5264098 |     1627   8173 |        0 |        0
622.79/622.98	c  622s |      25 |  6951459 |  5280298 |     1627   8191 |        0 |        0
624.80/624.99	c  624s |      25 |  6971464 |  5295998 |     1627   8209 |        0 |        0
626.79/627.00	c  626s |      25 |  6991140 |  5311298 |     1627   8227 |        0 |        0
628.89/629.00	c  628s |      25 |  7009996 |  5326498 |     1627   8244 |        0 |        0
630.89/631.01	c  630s |      25 |  7030233 |  5342198 |     1627   8262 |        0 |        0
632.89/633.02	c  633s |      25 |  7049478 |  5357098 |     1627   8279 |        0 |        0
634.89/635.02	c  635s |      25 |  7069126 |  5372498 |     1627   8297 |        0 |        0
636.90/637.03	c  637s |      25 |  7088894 |  5388098 |     1627   8315 |        0 |        0
638.89/639.04	c  639s |      25 |  7107460 |  5402798 |     1627   8332 |        0 |        0
640.89/641.05	c  641s |      25 |  7127970 |  5418798 |     1627   8351 |        0 |        0
642.89/643.06	c  643s |      25 |  7150659 |  5435198 |     1627   8370 |        0 |        0
644.89/645.07	c  645s |      25 |  7170798 |  5450298 |     1627   8387 |        0 |        0
646.89/647.07	c  647s |      25 |  7188721 |  5464198 |     1627   8403 |        0 |        0
648.89/649.08	c  649s |      25 |  7208043 |  5479098 |     1627   8421 |        0 |        0
650.89/651.08	c  651s |      25 |  7227812 |  5494198 |     1627   8438 |        0 |        0
652.89/653.09	c  653s |      25 |  7246745 |  5509098 |     1627   8455 |        0 |        0
654.89/655.09	c  655s |      25 |  7263955 |  5522898 |     1627   8471 |        0 |        0
656.99/657.10	c  657s |      25 |  7282782 |  5537498 |     1627   8488 |        0 |        0
658.99/659.11	c  659s |      25 |  7303098 |  5552998 |     1627   8506 |        0 |        0
660.99/661.12	c  661s |      25 |  7320996 |  5567398 |     1627   8523 |        0 |        0
662.98/663.13	c  663s |      25 |  7339749 |  5582298 |     1627   8540 |        0 |        0
664.98/665.14	c  665s |      25 |  7358675 |  5596898 |     1627   8557 |        0 |        0
666.98/667.15	c  667s |      25 |  7378275 |  5612098 |     1627   8575 |        0 |        0
668.98/669.16	c  669s |      25 |  7397259 |  5626898 |     1627   8592 |        0 |        0
670.99/671.17	c  671s |      25 |  7416903 |  5642098 |     1627   8610 |        0 |        0
672.98/673.17	c  673s |      25 |  7435482 |  5656598 |     1627   8627 |        0 |        0
674.98/675.18	c  675s |      25 |  7455428 |  5671698 |     1627   8645 |        0 |        0
676.98/677.19	c  677s |      25 |  7476204 |  5687298 |     1627   8663 |        0 |        0
678.98/679.19	c  679s |      25 |  7496851 |  5702898 |     1627   8681 |        0 |        0
680.98/681.20	c  681s |      25 |  7518635 |  5719498 |     1627   8700 |        0 |        0
683.00/683.20	c  683s |      25 |  7540382 |  5735698 |     1627   8719 |        0 |        0
685.09/685.20	c  685s |      25 |  7560917 |  5751298 |     1627   8737 |        0 |        0
687.09/687.21	c  687s |      25 |  7582272 |  5767498 |     1627   8756 |        0 |        0
689.09/689.22	c  689s |      25 |  7600891 |  5782798 |     1627   8773 |        0 |        0
691.09/691.22	c  691s |      25 |  7618396 |  5796698 |     1627   8789 |        0 |        0
693.09/693.22	c  693s |      25 |  7636344 |  5810898 |     1627   8806 |        0 |        0
695.09/695.23	c  695s |      25 |  7654405 |  5825098 |     1627   8822 |        0 |        0
697.08/697.24	c  697s |      25 |  7672543 |  5839298 |     1627   8839 |        0 |        0
699.08/699.25	c  699s |      25 |  7691750 |  5853998 |     1627   8855 |        0 |        0
701.08/701.26	c  701s |      25 |  7710325 |  5868498 |     1627   8872 |        0 |        0
703.08/703.27	c  703s |      25 |  7729237 |  5882998 |     1627   8889 |        0 |        0
705.09/705.27	c  705s |      25 |  7748242 |  5897798 |     1627   8906 |        0 |        0
707.08/707.27	c  707s |      25 |  7767082 |  5912298 |     1627   8923 |        0 |        0
709.08/709.29	c  709s |      25 |  7786155 |  5926798 |     1627   8939 |        0 |        0
711.18/711.30	c  711s |      25 |  7804048 |  5940598 |     1627   8955 |        0 |        0
713.18/713.30	c  713s |      25 |  7822332 |  5954798 |     1627   8972 |        0 |        0
715.18/715.31	c  715s |      25 |  7841668 |  5969598 |     1627   8989 |        0 |        0
717.18/717.33	c  717s |      25 |  7860104 |  5983898 |     1627   9006 |        0 |        0
719.18/719.33	c  719s |      25 |  7879394 |  5998898 |     1627   9023 |        0 |        0
721.18/721.33	c  721s |      25 |  7900310 |  6014498 |     1627   9041 |        0 |        0
723.17/723.34	c  723s |      25 |  7920404 |  6029498 |     1627   9059 |        0 |        0
725.17/725.35	c  725s |      25 |  7940539 |  6044698 |     1627   9076 |        0 |        0
727.17/727.35	c  727s |      25 |  7962531 |  6060798 |     1627   9095 |        0 |        0
729.18/729.36	c  729s |      25 |  7983231 |  6076398 |     1627   9113 |        0 |        0
731.17/731.37	c  731s |      25 |  8002327 |  6091198 |     1627   9130 |        0 |        0
733.17/733.38	c  733s |      25 |  8022505 |  6106698 |     1627   9149 |        0 |        0
735.17/735.39	c  735s |      25 |  8042357 |  6121598 |     1627   9166 |        0 |        0
737.28/737.40	c  737s |      25 |  8062781 |  6137398 |     1627   9184 |        0 |        0
739.28/739.40	c  739s |      25 |  8082905 |  6152998 |     1627   9202 |        0 |        0
741.28/741.41	c  741s |      25 |  8102454 |  6167998 |     1627   9220 |        0 |        0
743.28/743.42	c  743s |      25 |  8122947 |  6183398 |     1627   9238 |        0 |        0
745.28/745.43	c  745s |      25 |  8143941 |  6199098 |     1627   9256 |        0 |        0
747.28/747.43	c  747s |      25 |  8163898 |  6214198 |     1627   9273 |        0 |        0
749.28/749.43	c  749s |      25 |  8183440 |  6228698 |     1627   9290 |        0 |        0
751.28/751.44	c  751s |      25 |  8204964 |  6244698 |     1627   9309 |        0 |        0
753.28/753.44	c  753s |      25 |  8225088 |  6259998 |     1627   9326 |        0 |        0
755.28/755.45	c  755s |      25 |  8244729 |  6274898 |     1627   9344 |        0 |        0
757.27/757.45	c  757s |      25 |  8264785 |  6289898 |     1627   9361 |        0 |        0
759.27/759.46	c  759s |      25 |  8283675 |  6304598 |     1627   9378 |        0 |        0
761.27/761.47	c  761s |      25 |  8303043 |  6319298 |     1627   9395 |        0 |        0
763.28/763.48	c  763s |      25 |  8324274 |  6335498 |     1627   9414 |        0 |        0
765.27/765.48	c  765s |      25 |  8344694 |  6351398 |     1627   9432 |        0 |        0
767.27/767.49	c  767s |      25 |  8365171 |  6366998 |     1627   9450 |        0 |        0
769.37/769.50	c  769s |      25 |  8385600 |  6382498 |     1627   9468 |        0 |        0
771.37/771.51	c  771s |      25 |  8404604 |  6396698 |     1627   9484 |        0 |        0
773.37/773.52	c  773s |      25 |  8423807 |  6411098 |     1627   9501 |        0 |        0
775.38/775.52	c  775s |      25 |  8442471 |  6425398 |     1627   9518 |        0 |        0
777.37/777.52	c  777s |      25 |  8461652 |  6439798 |     1627   9535 |        0 |        0
779.37/779.53	c  779s |      25 |  8479427 |  6453998 |     1627   9551 |        0 |        0
781.37/781.55	c  781s |      25 |  8498696 |  6468898 |     1627   9569 |        0 |        0
783.37/783.55	c  783s |      25 |  8517394 |  6483498 |     1627   9586 |        0 |        0
785.37/785.55	c  785s |      25 |  8536579 |  6498198 |     1627   9603 |        0 |        0
787.37/787.56	c  787s |      25 |  8557361 |  6513198 |     1627   9620 |        0 |        0
789.37/789.56	c  789s |      25 |  8578258 |  6528798 |     1627   9638 |        0 |        0
791.36/791.56	c  791s |      25 |  8598540 |  6544398 |     1627   9657 |        0 |        0
793.36/793.57	c  793s |      25 |  8619914 |  6560398 |     1627   9675 |        0 |        0
795.36/795.58	c  795s |      25 |  8641380 |  6576498 |     1627   9694 |        0 |        0
797.37/797.58	c  797s |      25 |  8660875 |  6591598 |     1627   9712 |        0 |        0
799.36/799.58	c  799s |      25 |  8679094 |  6605598 |     1627   9728 |        0 |        0
801.36/801.59	c  801s |      25 |  8698652 |  6620498 |     1627   9745 |        0 |        0
803.36/803.59	c  803s |      25 |  8718461 |  6635498 |     1627   9763 |        0 |        0
805.36/805.59	c  805s |      25 |  8738342 |  6650398 |     1627   9780 |        0 |        0
807.46/807.60	c  807s |      25 |  8760128 |  6666198 |     1627   9799 |        0 |        0
809.47/809.62	c  809s |      25 |  8779489 |  6681098 |     1627   9816 |        0 |        0
811.46/811.63	c  811s |      25 |  8798952 |  6696198 |     1627   9834 |        0 |        0
813.46/813.64	c  813s |      25 |  8819830 |  6711798 |     1627   9852 |        0 |        0
815.46/815.64	c  815s |      25 |  8839654 |  6726698 |     1627   9869 |        0 |        0
817.46/817.64	c  817s |      25 |  8860099 |  6741998 |     1627   9887 |        0 |        0
819.47/819.65	c  819s |      25 |  8880249 |  6756698 |     1627   9904 |        0 |        0
821.46/821.66	c  821s |      25 |  8901402 |  6772098 |     1627   9922 |        0 |        0
823.46/823.67	c  823s |      25 |  8925349 |  6789098 |     1627   9942 |        0 |        0
825.47/825.68	c  825s |      25 |  8947446 |  6805098 |     1627   9961 |        0 |        0
827.46/827.69	c  827s |      25 |  8968694 |  6820598 |     1627   9979 |        0 |        0
829.46/829.69	c  829s |      25 |  8990960 |  6836598 |     1627   9997 |        0 |        0
831.47/831.70	c  831s |      25 |  9014609 |  6853098 |     1627  10016 |        0 |        0
833.56/833.70	c  833s |      25 |  9036337 |  6869298 |     1627  10035 |        0 |        0
835.56/835.71	c  835s |      25 |  9055989 |  6884498 |     1627  10053 |        0 |        0
837.56/837.72	c  837s |      25 |  9075171 |  6899398 |     1627  10070 |        0 |        0
839.56/839.72	c  839s |      25 |  9095379 |  6914498 |     1627  10088 |        0 |        0
841.56/841.73	c  841s |      25 |  9114745 |  6929398 |     1627  10106 |        0 |        0
843.56/843.74	c  843s |      25 |  9135011 |  6944498 |     1627  10123 |        0 |        0
845.56/845.76	c  845s |      25 |  9153725 |  6958898 |     1627  10140 |        0 |        0
847.56/847.77	c  847s |      25 |  9171588 |  6972998 |     1627  10157 |        0 |        0
849.56/849.77	c  849s |      25 |  9190378 |  6987398 |     1627  10174 |        0 |        0
851.56/851.78	c  851s |      25 |  9211543 |  7003198 |     1627  10192 |        0 |        0
853.56/853.78	c  853s |      25 |  9230877 |  7018098 |     1627  10210 |        0 |        0
855.56/855.79	c  855s |      25 |  9252007 |  7033898 |     1627  10228 |        0 |        0
857.55/857.79	c  857s |      25 |  9272544 |  7049498 |     1627  10246 |        0 |        0
859.65/859.81	c  859s |      25 |  9291561 |  7064398 |     1627  10264 |        0 |        0
861.65/861.82	c  861s |      25 |  9312215 |  7080198 |     1627  10282 |        0 |        0
863.65/863.82	c  863s |      25 |  9332086 |  7095598 |     1627  10300 |        0 |        0
865.66/865.83	c  865s |      25 |  9352196 |  7111098 |     1627  10318 |        0 |        0
867.66/867.84	c  867s |      25 |  9371957 |  7126098 |     1627  10336 |        0 |        0
869.66/869.85	c  869s |      25 |  9393146 |  7142298 |     1627  10355 |        0 |        0
871.66/871.85	c  871s |      25 |  9413092 |  7157498 |     1627  10372 |        0 |        0
873.66/873.87	c  873s |      25 |  9435334 |  7173198 |     1627  10391 |        0 |        0
875.66/875.88	c  875s |      25 |  9456356 |  7189098 |     1627  10409 |        0 |        0
877.66/877.89	c  877s |      25 |  9475807 |  7203998 |     1627  10427 |        0 |        0
879.65/879.89	c  879s |      25 |  9495185 |  7218398 |     1627  10443 |        0 |        0
881.65/881.89	c  881s |      25 |  9515325 |  7233198 |     1627  10461 |        0 |        0
883.65/883.90	c  883s |      25 |  9535443 |  7248598 |     1627  10479 |        0 |        0
885.75/885.90	c  885s |      25 |  9557340 |  7264998 |     1627  10498 |        0 |        0
887.75/887.90	c  887s |      25 |  9577180 |  7280198 |     1627  10516 |        0 |        0
889.76/889.90	c  889s |      25 |  9596397 |  7294598 |     1627  10533 |        0 |        0
891.75/891.91	c  891s |      25 |  9617691 |  7310598 |     1627  10551 |        0 |        0
893.75/893.92	c  893s |      25 |  9638457 |  7326498 |     1627  10570 |        0 |        0
895.75/895.92	c  895s |      25 |  9658501 |  7342198 |     1627  10588 |        0 |        0
897.75/897.93	c  897s |      25 |  9678878 |  7357998 |     1627  10606 |        0 |        0
899.75/899.94	c  899s |      25 |  9699863 |  7373698 |     1627  10625 |        0 |        0
901.74/901.95	c  901s |      25 |  9720569 |  7389198 |     1627  10643 |        0 |        0
903.74/903.96	c  903s |      25 |  9739030 |  7403798 |     1627  10660 |        0 |        0
905.74/905.97	c  905s |      25 |  9759508 |  7419198 |     1627  10679 |        0 |        0
907.75/907.97	c  907s |      25 |  9779029 |  7434098 |     1627  10696 |        0 |        0
909.75/909.99	c  909s |      25 |  9799332 |  7448898 |     1627  10714 |        0 |        0
911.76/911.99	c  911s |      25 |  9819638 |  7464498 |     1627  10732 |        0 |        0
913.75/913.99	c  913s |      25 |  9840728 |  7480298 |     1627  10750 |        0 |        0
915.85/916.01	c  915s |      25 |  9861245 |  7495698 |     1627  10768 |        0 |        0
917.85/918.01	c  917s |      25 |  9880690 |  7510198 |     1627  10785 |        0 |        0
919.85/920.02	c  920s |      25 |  9900407 |  7524998 |     1627  10803 |        0 |        0
921.85/922.03	c  922s |      25 |  9919367 |  7539498 |     1627  10820 |        0 |        0
923.85/924.03	c  924s |      25 |  9937935 |  7553498 |     1790  10835 |        0 |        0
925.85/926.04	c  926s |      25 |  9959437 |  7568498 |     1790  10852 |        0 |        0
927.85/928.04	c  928s |      25 |  9980239 |  7583898 |     1790  10868 |        0 |        0
929.74/929.97	c  929s |      26 |  9998333 |  7597752 |     1790  10883 |        0 |        0
931.74/931.97	c  931s |      26 | 10018271 |  7613052 |     1790  10899 |        0 |        0
933.75/933.98	c  933s |      26 | 10036140 |  7626652 |     1790  10913 |        0 |        0
935.74/935.98	c  935s |      26 | 10053752 |  7640152 |     1790  10928 |        0 |        0
937.74/937.98	c  937s |      26 | 10073557 |  7654552 |     1790  10943 |        0 |        0
939.74/939.99	c  939s |      26 | 10093869 |  7669052 |     1790  10959 |        0 |        0
941.84/942.00	c  941s |      26 | 10113325 |  7682552 |     1790  10973 |        0 |        0
943.84/944.02	c  944s |      26 | 10132845 |  7696252 |     1790  10988 |        0 |        0
945.85/946.02	c  946s |      26 | 10152732 |  7710552 |     1790  11004 |        0 |        0
947.84/948.03	c  948s |      26 | 10169446 |  7723452 |     1790  11018 |        0 |        0
949.84/950.03	c  950s |      26 | 10188544 |  7736752 |     1790  11032 |        0 |        0
951.84/952.03	c  952s |      26 | 10208042 |  7750852 |     1790  11047 |        0 |        0
953.84/954.03	c  954s |      26 | 10229760 |  7766452 |     1790  11064 |        0 |        0
955.84/956.04	c  956s |      26 | 10250247 |  7781652 |     1790  11080 |        0 |        0
957.84/958.04	c  958s |      26 | 10272752 |  7797652 |     1790  11097 |        0 |        0
959.84/960.05	c  960s |      26 | 10290643 |  7812552 |     1790  11113 |        0 |        0
961.84/962.05	c  962s |      26 | 10310922 |  7827152 |     1790  11129 |        0 |        0
963.84/964.06	c  964s |      26 | 10330224 |  7841252 |     1790  11144 |        0 |        0
965.84/966.07	c  966s |      26 | 10349691 |  7855852 |     1790  11160 |        0 |        0
967.85/968.08	c  968s |      26 | 10368915 |  7870552 |     1790  11176 |        0 |        0
969.84/970.09	c  970s |      26 | 10388869 |  7884752 |     1790  11191 |        0 |        0
971.94/972.10	c  972s |      26 | 10410600 |  7900452 |     1790  11208 |        0 |        0
973.94/974.11	c  974s |      26 | 10431456 |  7916052 |     1790  11225 |        0 |        0
975.94/976.11	c  976s |      26 | 10449451 |  7929652 |     1790  11240 |        0 |        0
977.94/978.11	c  978s |      26 | 10468696 |  7944152 |     1790  11255 |        0 |        0
979.95/980.12	c  980s |      26 | 10490014 |  7959752 |     1790  11272 |        0 |        0
981.94/982.12	c  982s |      26 | 10510973 |  7974052 |     1790  11287 |        0 |        0
983.94/984.13	c  984s |      26 | 10532374 |  7988852 |     1790  11303 |        0 |        0
985.94/986.14	c  986s |      26 | 10550421 |  8001952 |     1790  11318 |        0 |        0
987.94/988.15	c  988s |      26 | 10570243 |  8016152 |     1790  11333 |        0 |        0
989.94/990.15	c  990s |      26 | 10590627 |  8030852 |     1790  11349 |        0 |        0
991.94/992.16	c  992s |      26 | 10610785 |  8045552 |     1790  11364 |        0 |        0
993.93/994.17	c  994s |      26 | 10632366 |  8061352 |     1790  11381 |        0 |        0
995.93/996.18	c  996s |      26 | 10650052 |  8074952 |     1790  11396 |        0 |        0
997.93/998.19	c  998s |      26 | 10669335 |  8089452 |     1790  11412 |        0 |        0
1000.03/1000.20	c 1000s |      26 | 10685944 |  8102352 |     1790  11426 |        0 |        0
1002.04/1002.22	c 1002s |      26 | 10702962 |  8115152 |     1790  11440 |        0 |        0
1004.03/1004.22	c 1004s |      26 | 10720315 |  8128452 |     1790  11454 |        0 |        0
1006.03/1006.22	c 1006s |      26 | 10736599 |  8140852 |     1790  11467 |        0 |        0
1008.03/1008.23	c 1008s |      26 | 10756407 |  8155252 |     1790  11483 |        0 |        0
1010.03/1010.24	c 1010s |      26 | 10777091 |  8169852 |     1790  11499 |        0 |        0
1012.03/1012.25	c 1012s |      26 | 10799347 |  8186052 |     1790  11516 |        0 |        0
1014.04/1014.26	c 1014s |      26 | 10819277 |  8200752 |     1790  11532 |        0 |        0
1016.03/1016.27	c 1016s |      26 | 10839544 |  8215952 |     1790  11549 |        0 |        0
1018.03/1018.28	c 1018s |      26 | 10861247 |  8231852 |     1790  11566 |        0 |        0
1020.03/1020.29	c 1020s |      26 | 10880681 |  8247252 |     1790  11582 |        0 |        0
1022.13/1022.31	c 1022s |      26 | 10899404 |  8261752 |     1790  11597 |        0 |        0
1024.13/1024.31	c 1024s |      26 | 10919659 |  8277252 |     1790  11614 |        0 |        0
1026.13/1026.32	c 1026s |      26 | 10939002 |  8292152 |     1790  11630 |        0 |        0
1028.13/1028.33	c 1028s |      26 | 10956865 |  8306052 |     1790  11645 |        0 |        0
1030.13/1030.34	c 1030s |      26 | 10977731 |  8321452 |     1790  11662 |        0 |        0
1032.13/1032.34	c 1032s |      26 | 10997012 |  8336052 |     1790  11677 |        0 |        0
1034.13/1034.35	c 1034s |      26 | 11017324 |  8351052 |     1790  11693 |        0 |        0
1036.13/1036.36	c 1036s |      26 | 11038331 |  8366652 |     1790  11710 |        0 |        0
1038.13/1038.36	c 1038s |      26 | 11056399 |  8380552 |     1790  11725 |        0 |        0
1040.12/1040.37	c 1040s |      26 | 11075223 |  8394952 |     1790  11740 |        0 |        0
1042.12/1042.38	c 1042s |      26 | 11096057 |  8410352 |     1790  11757 |        0 |        0
1044.12/1044.39	c 1044s |      26 | 11116981 |  8425852 |     1790  11774 |        0 |        0
1046.22/1046.40	c 1046s |      26 | 11138339 |  8441552 |     1790  11790 |        0 |        0
1048.13/1048.40	c 1048s |      26 | 11157292 |  8455652 |     1790  11806 |        0 |        0
1050.22/1050.41	c 1050s |      26 | 11177348 |  8470252 |     1790  11821 |        0 |        0
1052.22/1052.43	c 1052s |      26 | 11192594 |  8482352 |     1790  11835 |        0 |        0
1054.23/1054.43	c 1054s |      26 | 11213036 |  8497652 |     1790  11851 |        0 |        0
1056.23/1056.44	c 1056s |      26 | 11234425 |  8513452 |     1790  11868 |        0 |        0
1058.23/1058.44	c 1058s |      26 | 11251678 |  8527052 |     1790  11883 |        0 |        0
1060.23/1060.45	c 1060s |      26 | 11272098 |  8541652 |     1790  11899 |        0 |        0
1062.23/1062.45	c 1062s |      26 | 11291284 |  8555852 |     1790  11914 |        0 |        0
1064.23/1064.46	c 1064s |      26 | 11310151 |  8569652 |     1790  11929 |        0 |        0
1066.23/1066.46	c 1066s |      26 | 11327396 |  8582652 |     1790  11944 |        0 |        0
1068.23/1068.48	c 1068s |      26 | 11347058 |  8597352 |     1790  11959 |        0 |        0
1070.23/1070.49	c 1070s |      26 | 11367859 |  8612752 |     1790  11976 |        0 |        0
1072.23/1072.49	c 1072s |      26 | 11389635 |  8628252 |     1790  11993 |        0 |        0
1074.22/1074.49	c 1074s |      26 | 11410249 |  8643452 |     1790  12009 |        0 |        0
1076.22/1076.49	c 1076s |      26 | 11430982 |  8658152 |     1790  12025 |        0 |        0
1078.32/1078.50	c 1078s |      26 | 11450881 |  8672952 |     1790  12041 |        0 |        0
1080.32/1080.51	c 1080s |      26 | 11470289 |  8688152 |     1790  12057 |        0 |        0
1082.33/1082.51	c 1082s |      26 | 11490720 |  8703452 |     1790  12074 |        0 |        0
1084.32/1084.52	c 1084s |      26 | 11510372 |  8717952 |     1790  12089 |        0 |        0
1086.32/1086.53	c 1086s |      26 | 11531211 |  8733752 |     1790  12106 |        0 |        0
1088.32/1088.54	c 1088s |      26 | 11549743 |  8748652 |     1790  12122 |        0 |        0
1090.32/1090.55	c 1090s |      26 | 11568248 |  8763352 |     1790  12138 |        0 |        0
1092.32/1092.55	c 1092s |      26 | 11588884 |  8778652 |     1790  12155 |        0 |        0
1094.33/1094.55	c 1094s |      26 | 11609235 |  8793352 |     1790  12171 |        0 |        0
1096.32/1096.56	c 1096s |      26 | 11630314 |  8808352 |     1790  12187 |        0 |        0
1098.32/1098.57	c 1098s |      26 | 11648841 |  8822152 |     1790  12202 |        0 |        0
1100.32/1100.57	c 1100s |      26 | 11667444 |  8836052 |     1790  12217 |        0 |        0
1102.32/1102.58	c 1102s |      26 | 11686140 |  8850452 |     1790  12233 |        0 |        0
1104.32/1104.59	c 1104s |      26 | 11705943 |  8865252 |     1790  12249 |        0 |        0
1106.32/1106.59	c 1106s |      26 | 11722825 |  8878252 |     1790  12263 |        0 |        0
1108.32/1108.60	c 1108s |      26 | 11740377 |  8891352 |     1790  12277 |        0 |        0
1110.42/1110.60	c 1110s |      26 | 11757648 |  8904652 |     1790  12292 |        0 |        0
1112.42/1112.60	c 1112s |      26 | 11776597 |  8919252 |     1790  12308 |        0 |        0
1114.41/1114.61	c 1114s |      26 | 11795295 |  8933652 |     1790  12323 |        0 |        0
1116.42/1116.62	c 1116s |      26 | 11814036 |  8948252 |     1790  12339 |        0 |        0
1118.42/1118.62	c 1118s |      26 | 11836046 |  8963952 |     1790  12356 |        0 |        0
1120.42/1120.62	c 1120s |      26 | 11856190 |  8979652 |     1790  12373 |        0 |        0
1122.42/1122.63	c 1122s |      26 | 11875618 |  8994452 |     1790  12389 |        0 |        0
1124.42/1124.65	c 1124s |      26 | 11895637 |  9009552 |     1790  12405 |        0 |        0
1126.42/1126.65	c 1126s |      26 | 11916096 |  9024352 |     1790  12421 |        0 |        0
1128.42/1128.67	c 1128s |      26 | 11935898 |  9039352 |     1790  12437 |        0 |        0
1130.42/1130.68	c 1130s |      26 | 11955758 |  9054352 |     1790  12453 |        0 |        0
1132.42/1132.69	c 1132s |      26 | 11975354 |  9068852 |     1790  12469 |        0 |        0
1134.41/1134.69	c 1134s |      26 | 11995631 |  9084252 |     1790  12486 |        0 |        0
1136.51/1136.70	c 1136s |      26 | 12014704 |  9098652 |     1790  12501 |        0 |        0
1138.51/1138.70	c 1138s |      26 | 12035169 |  9113652 |     1790  12518 |        0 |        0
1140.41/1140.70	c 1140s |      26 | 12054487 |  9127252 |     1790  12532 |        0 |        0
1142.51/1142.71	c 1142s |      26 | 12075395 |  9142552 |     1790  12549 |        0 |        0
1144.51/1144.72	c 1144s |      26 | 12097209 |  9157852 |     1790  12565 |        0 |        0
1146.51/1146.72	c 1146s |      26 | 12118390 |  9173552 |     1790  12582 |        0 |        0
1148.51/1148.73	c 1148s |      26 | 12139395 |  9188352 |     1790  12598 |        0 |        0
1150.51/1150.74	c 1150s |      26 | 12160030 |  9203152 |     1790  12614 |        0 |        0
1152.52/1152.75	c 1152s |      26 | 12181718 |  9218152 |     1790  12631 |        0 |        0
1154.51/1154.75	c 1154s |      26 | 12204252 |  9233352 |     1790  12647 |        0 |        0
1156.51/1156.76	c 1156s |      26 | 12225112 |  9248152 |     1790  12663 |        0 |        0
1158.51/1158.77	c 1158s |      26 | 12245463 |  9263352 |     1790  12679 |        0 |        0
1160.51/1160.78	c 1160s |      26 | 12264721 |  9278152 |     1790  12695 |        0 |        0
1162.52/1162.78	c 1162s |      26 | 12285325 |  9293452 |     1790  12712 |        0 |        0
1164.51/1164.79	c 1164s |      26 | 12304828 |  9307652 |     1790  12727 |        0 |        0
1166.61/1166.80	c 1166s |      26 | 12325948 |  9322852 |     1790  12744 |        0 |        0
1168.61/1168.81	c 1168s |      26 | 12345538 |  9337352 |     1790  12759 |        0 |        0
1170.60/1170.82	c 1170s |      26 | 12365739 |  9352252 |     1790  12775 |        0 |        0
1172.61/1172.82	c 1172s |      26 | 12387247 |  9367652 |     1790  12792 |        0 |        0
1174.62/1174.82	c 1174s |      26 | 12407934 |  9382352 |     1790  12808 |        0 |        0
1176.61/1176.83	c 1176s |      26 | 12428176 |  9397052 |     1790  12824 |        0 |        0
1178.61/1178.83	c 1178s |      26 | 12448375 |  9411352 |     1790  12839 |        0 |        0
1180.61/1180.83	c 1180s |      26 | 12467694 |  9425052 |     1790  12854 |        0 |        0
1182.61/1182.84	c 1182s |      26 | 12487196 |  9438552 |     1790  12869 |        0 |        0
1184.62/1184.84	c 1184s |      26 | 12508715 |  9453352 |     1790  12885 |        0 |        0
1186.61/1186.85	c 1186s |      26 | 12530770 |  9468352 |     1790  12901 |        0 |        0
1188.61/1188.86	c 1188s |      26 | 12550993 |  9483752 |     1790  12917 |        0 |        0
1190.61/1190.87	c 1190s |      26 | 12571334 |  9498652 |     1790  12933 |        0 |        0
1192.61/1192.89	c 1192s |      26 | 12590333 |  9512652 |     1790  12949 |        0 |        0
1194.61/1194.89	c 1194s |      26 | 12608493 |  9526352 |     1790  12963 |        0 |        0
1196.61/1196.89	c 1196s |      26 | 12630014 |  9541652 |     1790  12980 |        0 |        0
1198.60/1198.89	c 1198s |      26 | 12648072 |  9555152 |     1790  12994 |        0 |        0
1200.70/1200.90	c 1200s |      26 | 12668040 |  9569652 |     1790  13010 |        0 |        0
1202.70/1202.92	c 1202s |      26 | 12687232 |  9584252 |     1790  13026 |        0 |        0
1204.70/1204.92	c 1204s |      26 | 12706382 |  9598852 |     1790  13041 |        0 |        0
1206.70/1206.92	c 1206s |      26 | 12725229 |  9613052 |     1790  13057 |        0 |        0
1208.71/1208.92	c 1208s |      26 | 12745828 |  9628052 |     1790  13073 |        0 |        0
1210.71/1210.93	c 1210s |      26 | 12765070 |  9642652 |     1790  13089 |        0 |        0
1212.71/1212.93	c 1212s |      26 | 12785107 |  9657652 |     1790  13105 |        0 |        0
1214.71/1214.94	c 1214s |      26 | 12804624 |  9672652 |     1790  13121 |        0 |        0
1216.71/1216.94	c 1216s |      26 | 12824327 |  9687652 |     1790  13137 |        0 |        0
1218.71/1218.95	c 1218s |      26 | 12844746 |  9703052 |     1790  13154 |        0 |        0
1220.71/1220.96	c 1220s |      26 | 12864759 |  9717252 |     1790  13169 |        0 |        0
1222.70/1222.97	c 1222s |      26 | 12884520 |  9731852 |     1790  13185 |        0 |        0
1224.70/1224.98	c 1224s |      26 | 12902542 |  9744952 |     1790  13199 |        0 |        0
1226.70/1226.98	c 1226s |      26 | 12921075 |  9758552 |     1790  13214 |        0 |        0
1228.70/1228.99	c 1228s |      26 | 12940971 |  9772552 |     1790  13229 |        0 |        0
1230.81/1231.01	c 1230s |      26 | 12962144 |  9787852 |     1790  13245 |        0 |        0
1232.80/1233.02	c 1233s |      26 | 12981440 |  9802252 |     1790  13261 |        0 |        0
1234.80/1235.03	c 1235s |      26 | 13001937 |  9817252 |     1790  13277 |        0 |        0
1236.80/1237.04	c 1237s |      26 | 13022420 |  9832052 |     1790  13293 |        0 |        0
1238.80/1239.04	c 1239s |      26 | 13042918 |  9847252 |     1790  13309 |        0 |        0
1240.80/1241.05	c 1241s |      26 | 13062688 |  9862152 |     1790  13325 |        0 |        0
1242.81/1243.06	c 1243s |      26 | 13082075 |  9876652 |     1790  13341 |        0 |        0
1244.80/1245.07	c 1245s |      26 | 13102421 |  9892052 |     1790  13357 |        0 |        0
1246.80/1247.08	c 1247s |      26 | 13122765 |  9907752 |     1790  13374 |        0 |        0
1248.80/1249.09	c 1249s |      26 | 13143573 |  9923652 |     1790  13391 |        0 |        0
1250.90/1251.10	c 1251s |      26 | 13164883 |  9939552 |     1790  13409 |        0 |        0
1252.90/1253.12	c 1253s |      26 | 13185562 |  9955452 |     1790  13425 |        0 |        0
1254.90/1255.12	c 1255s |      26 | 13206958 |  9971352 |     1790  13443 |        0 |        0
1256.90/1257.12	c 1257s |      26 | 13228378 |  9987052 |     1790  13459 |        0 |        0
1258.89/1259.12	c 1259s |      26 | 13247798 | 10001952 |     1790  13475 |        0 |        0
1260.89/1261.12	c 1261s |      26 | 13266816 | 10016752 |     1790  13491 |        0 |        0
1262.89/1263.14	c 1263s |      26 | 13288312 | 10032952 |     1790  13508 |        0 |        0
1264.90/1265.15	c 1265s |      26 | 13307409 | 10047752 |     1790  13524 |        0 |        0
1266.89/1267.16	c 1267s |      26 | 13327452 | 10063152 |     1790  13541 |        0 |        0
1268.89/1269.17	c 1269s |      26 | 13345880 | 10076852 |     1790  13555 |        0 |        0
1270.89/1271.18	c 1271s |      26 | 13365226 | 10091752 |     1790  13571 |        0 |        0
1272.89/1273.18	c 1273s |      26 | 13383470 | 10106252 |     1790  13587 |        0 |        0
1274.89/1275.19	c 1275s |      26 | 13403698 | 10121752 |     1790  13603 |        0 |        0
1276.89/1277.20	c 1277s |      26 | 13423136 | 10136752 |     1790  13619 |        0 |        0
1278.99/1279.21	c 1279s |      26 | 13440656 | 10149852 |     1790  13634 |        0 |        0
1280.99/1281.22	c 1281s |      26 | 13458806 | 10163652 |     1790  13649 |        0 |        0
1282.99/1283.22	c 1283s |      26 | 13478022 | 10177652 |     1790  13664 |        0 |        0
1284.99/1285.22	c 1285s |      26 | 13498970 | 10191952 |     1790  13679 |        0 |        0
1287.00/1287.23	c 1287s |      26 | 13519632 | 10206752 |     1790  13695 |        0 |        0
1289.00/1289.24	c 1289s |      26 | 13537990 | 10220652 |     1790  13710 |        0 |        0
1290.99/1291.26	c 1291s |      26 | 13555595 | 10234352 |     1790  13725 |        0 |        0
1292.99/1293.27	c 1293s |      26 | 13572050 | 10247352 |     1790  13739 |        0 |        0
1294.99/1295.28	c 1295s |      26 | 13589876 | 10261152 |     1790  13753 |        0 |        0
1296.99/1297.29	c 1297s |      26 | 13610779 | 10276452 |     1790  13770 |        0 |        0
1299.09/1299.30	c 1299s |      26 | 13628953 | 10290952 |     1790  13786 |        0 |        0
1300.99/1301.30	c 1301s |      26 | 13648926 | 10306052 |     1790  13802 |        0 |        0
1303.09/1303.31	c 1303s |      26 | 13668064 | 10320552 |     1790  13817 |        0 |        0
1305.09/1305.33	c 1305s |      26 | 13684094 | 10333252 |     1790  13831 |        0 |        0
1307.09/1307.33	c 1307s |      26 | 13700884 | 10346052 |     1790  13845 |        0 |        0
1309.09/1309.34	c 1309s |      26 | 13718898 | 10359652 |     1790  13860 |        0 |        0
1311.10/1311.35	c 1311s |      26 | 13736052 | 10372852 |     1790  13874 |        0 |        0
1313.09/1313.36	c 1313s |      26 | 13754692 | 10386952 |     1790  13889 |        0 |        0
1315.09/1315.36	c 1315s |      26 | 13774473 | 10402152 |     1790  13906 |        0 |        0
1317.09/1317.37	c 1317s |      26 | 13793948 | 10417252 |     1790  13922 |        0 |        0
1319.09/1319.38	c 1319s |      26 | 13810762 | 10430252 |     1790  13936 |        0 |        0
1321.09/1321.39	c 1321s |      26 | 13831744 | 10444752 |     1790  13951 |        0 |        0
1323.09/1323.39	c 1323s |      26 | 13854120 | 10460852 |     1790  13969 |        0 |        0
1325.09/1325.40	c 1325s |      26 | 13875441 | 10475952 |     1790  13985 |        0 |        0
1327.19/1327.40	c 1327s |      26 | 13897287 | 10490752 |     1790  14001 |        0 |        0
1329.19/1329.42	c 1329s |      26 | 13917266 | 10504852 |     1790  14017 |        0 |        0
1331.18/1331.42	c 1331s |      26 | 13939525 | 10520552 |     1790  14034 |        0 |        0
1333.18/1333.42	c 1333s |      26 | 13959148 | 10534752 |     1790  14049 |        0 |        0
1335.19/1335.43	c 1335s |      26 | 13980610 | 10549552 |     1790  14065 |        0 |        0
1337.18/1337.43	c 1337s |      26 | 14000464 | 10564152 |     1790  14081 |        0 |        0
1339.18/1339.45	c 1339s |      26 | 14020229 | 10579352 |     1790  14097 |        0 |        0
1341.18/1341.46	c 1341s |      26 | 14038991 | 10594052 |     1790  14113 |        0 |        0
1343.18/1343.47	c 1343s |      26 | 14058096 | 10608552 |     1790  14128 |        0 |        0
1345.19/1345.47	c 1345s |      26 | 14077543 | 10623052 |     1790  14144 |        0 |        0
1347.18/1347.48	c 1347s |      26 | 14096472 | 10637052 |     1790  14159 |        0 |        0
1349.18/1349.49	c 1349s |      26 | 14115611 | 10651752 |     1790  14174 |        0 |        0
1351.28/1351.50	c 1351s |      26 | 14135842 | 10666452 |     1790  14190 |        0 |        0
1353.28/1353.51	c 1353s |      26 | 14155588 | 10680352 |     1790  14205 |        0 |        0
1355.28/1355.51	c 1355s |      26 | 14176716 | 10695652 |     1790  14222 |        0 |        0
1357.28/1357.51	c 1357s |      26 | 14197317 | 10710852 |     1790  14238 |        0 |        0
1359.27/1359.51	c 1359s |      26 | 14213488 | 10723752 |     1790  14252 |        0 |        0
1361.27/1361.52	c 1361s |      26 | 14231543 | 10737852 |     1790  14267 |        0 |        0
1363.27/1363.52	c 1363s |      26 | 14248245 | 10750752 |     1790  14281 |        0 |        0
1365.27/1365.53	c 1365s |      26 | 14266435 | 10764652 |     1790  14296 |        0 |        0
1367.27/1367.54	c 1367s |      26 | 14283954 | 10778152 |     1790  14310 |        0 |        0
1369.27/1369.55	c 1369s |      26 | 14302342 | 10792052 |     1790  14326 |        0 |        0
1371.26/1371.57	c 1371s |      26 | 14320665 | 10805952 |     1790  14341 |        0 |        0
1373.26/1373.58	c 1373s |      26 | 14338103 | 10819152 |     1790  14355 |        0 |        0
1375.26/1375.59	c 1375s |      26 | 14354085 | 10831452 |     1790  14368 |        0 |        0
1377.26/1377.59	c 1377s |      26 | 14370727 | 10844552 |     1790  14382 |        0 |        0
1379.36/1379.60	c 1379s |      26 | 14390981 | 10859652 |     1790  14399 |        0 |        0
1381.37/1381.61	c 1381s |      26 | 14408798 | 10872952 |     1790  14413 |        0 |        0
1383.36/1383.61	c 1383s |      26 | 14426716 | 10886652 |     1790  14428 |        0 |        0
1385.36/1385.62	c 1385s |      26 | 14443702 | 10899552 |     1790  14442 |        0 |        0
1387.36/1387.63	c 1387s |      26 | 14463307 | 10913452 |     1790  14457 |        0 |        0
1389.36/1389.64	c 1389s |      26 | 14480975 | 10925952 |     1790  14470 |        0 |        0
1391.36/1391.64	c 1391s |      26 | 14501560 | 10940252 |     1790  14486 |        0 |        0
1393.36/1393.64	c 1393s |      26 | 14522794 | 10955552 |     1790  14502 |        0 |        0
1395.35/1395.65	c 1395s |      26 | 14542694 | 10970052 |     1790  14518 |        0 |        0
1397.35/1397.67	c 1397s |      26 | 14560651 | 10983252 |     1790  14532 |        0 |        0
1399.35/1399.68	c 1399s |      26 | 14580209 | 10996952 |     1790  14547 |        0 |        0
1401.35/1401.69	c 1401s |      26 | 14600055 | 11010652 |     1790  14562 |        0 |        0
1403.36/1403.69	c 1403s |      26 | 14621786 | 11025652 |     1790  14578 |        0 |        0
1405.34/1405.69	c 1405s |      26 | 14641444 | 11039452 |     1790  14593 |        0 |        0
1407.44/1407.70	c 1407s |      26 | 14660420 | 11052852 |     1790  14608 |        0 |        0
1409.44/1409.71	c 1409s |      26 | 14680922 | 11067552 |     1790  14624 |        0 |        0
1411.44/1411.71	c 1411s |      26 | 14701920 | 11082752 |     1790  14640 |        0 |        0
1413.44/1413.72	c 1413s |      26 | 14724809 | 11098652 |     1790  14657 |        0 |        0
1415.45/1415.73	c 1415s |      26 | 14744999 | 11113752 |     1790  14674 |        0 |        0
1417.44/1417.73	c 1417s |      26 | 14764422 | 11128452 |     1790  14689 |        0 |        0
1419.44/1419.74	c 1419s |      26 | 14782162 | 11142152 |     1790  14704 |        0 |        0
1421.44/1421.75	c 1421s |      26 | 14800613 | 11156552 |     1790  14720 |        0 |        0
1423.44/1423.76	c 1423s |      26 | 14820932 | 11171752 |     1790  14736 |        0 |        0
1425.44/1425.77	c 1425s |      26 | 14842043 | 11187652 |     1790  14754 |        0 |        0
1427.43/1427.78	c 1427s |      26 | 14861724 | 11202952 |     1790  14770 |        0 |        0
1429.43/1429.79	c 1429s |      26 | 14882907 | 11219052 |     1790  14788 |        0 |        0
1431.43/1431.79	c 1431s |      26 | 14901642 | 11233852 |     1790  14804 |        0 |        0
1433.53/1433.80	c 1433s |      26 | 14922474 | 11249452 |     1790  14821 |        0 |        0
1435.53/1435.80	c 1435s |      26 | 14940891 | 11263952 |     1790  14836 |        0 |        0
1437.53/1437.80	c 1437s |      26 | 14960762 | 11279052 |     1790  14853 |        0 |        0
1439.52/1439.82	c 1439s |      26 | 14979310 | 11293452 |     1790  14869 |        0 |        0
1441.52/1441.84	c 1441s |      26 | 14997900 | 11307252 |     1790  14884 |        0 |        0
1443.52/1443.85	c 1443s |      26 | 15016752 | 11321352 |     1970  14898 |        0 |        0
1445.53/1445.85	c 1445s |      26 | 15037249 | 11336352 |     1970  14913 |        0 |        0
1447.53/1447.85	c 1447s |      26 | 15056150 | 11350852 |     1970  14927 |        0 |        0
1449.53/1449.86	c 1449s |      26 | 15075557 | 11365052 |     1970  14941 |        0 |        0
1451.52/1451.87	c 1451s |      26 | 15092098 | 11377752 |     1970  14953 |        0 |        0
1453.52/1453.88	c 1453s |      26 | 15111671 | 11392052 |     1970  14968 |        0 |        0
1454.12/1454.49	c 1454s |      27 | 15118537 | 11396733 |     1970  14972 |        0 |        0
1456.12/1456.49	c 1456s |      27 | 15137717 | 11410433 |     1970  14985 |        0 |        0
1458.12/1458.49	c 1458s |      27 | 15153747 | 11423533 |     1970  14998 |        0 |        0
1460.12/1460.49	c 1460s |      27 | 15171822 | 11437433 |     1970  15012 |        0 |        0
1462.11/1462.49	c 1462s |      27 | 15190083 | 11451033 |     1970  15025 |        0 |        0
1464.21/1464.50	c 1464s |      27 | 15207290 | 11464333 |     1970  15038 |        0 |        0
1466.21/1466.51	c 1466s |      27 | 15225081 | 11478133 |     1970  15052 |        0 |        0
1468.22/1468.52	c 1468s |      27 | 15242742 | 11491733 |     1970  15065 |        0 |        0
1470.21/1470.53	c 1470s |      27 | 15261631 | 11505833 |     1970  15079 |        0 |        0
1472.21/1472.53	c 1472s |      27 | 15279147 | 11519333 |     1970  15092 |        0 |        0
1474.20/1474.55	c 1474s |      27 | 15295211 | 11531833 |     1970  15104 |        0 |        0
1476.20/1476.55	c 1476s |      27 | 15315055 | 11546533 |     1970  15119 |        0 |        0
1478.21/1478.56	c 1478s |      27 | 15333624 | 11560733 |     1970  15132 |        0 |        0
1480.20/1480.57	c 1480s |      27 | 15351596 | 11574533 |     1970  15146 |        0 |        0
1482.20/1482.57	c 1482s |      27 | 15369346 | 11588233 |     1970  15159 |        0 |        0
1484.19/1484.59	c 1484s |      27 | 15386871 | 11601833 |     1970  15173 |        0 |        0
1486.29/1486.60	c 1486s |      27 | 15403953 | 11614933 |     1970  15185 |        0 |        0
1488.29/1488.61	c 1488s |      27 | 15419365 | 11626933 |     1970  15197 |        0 |        0
1490.30/1490.62	c 1490s |      27 | 15436982 | 11640033 |     1970  15210 |        0 |        0
1492.29/1492.62	c 1492s |      27 | 15454717 | 11652933 |     1970  15223 |        0 |        0
1494.29/1494.63	c 1494s |      27 | 15470536 | 11665033 |     1970  15234 |        0 |        0
1496.29/1496.64	c 1496s |      27 | 15488871 | 11678633 |     1970  15248 |        0 |        0
1498.29/1498.64	c 1498s |      27 | 15506414 | 11692133 |     1970  15261 |        0 |        0
1500.29/1500.66	c 1500s |      27 | 15524205 | 11705833 |     1970  15274 |        0 |        0
1502.29/1502.67	c 1502s |      27 | 15542821 | 11720133 |     1970  15288 |        0 |        0
1504.28/1504.67	c 1504s |      27 | 15559619 | 11732833 |     1970  15301 |        0 |        0
1506.28/1506.68	c 1506s |      27 | 15574269 | 11744233 |     1970  15312 |        0 |        0
1508.38/1508.70	c 1508s |      27 | 15587497 | 11755033 |     1970  15323 |        0 |        0
1510.38/1510.70	c 1510s |      27 | 15604533 | 11768233 |     1970  15336 |        0 |        0
1512.38/1512.70	c 1512s |      27 | 15623635 | 11782333 |     1970  15350 |        0 |        0
1514.38/1514.72	c 1514s |      27 | 15641976 | 11796133 |     1970  15363 |        0 |        0
1516.37/1516.72	c 1516s |      27 | 15659710 | 11809733 |     1970  15376 |        0 |        0
1518.37/1518.73	c 1518s |      27 | 15677400 | 11823333 |     1970  15390 |        0 |        0
1520.38/1520.73	c 1520s |      27 | 15695830 | 11837433 |     1970  15404 |        0 |        0
1522.38/1522.74	c 1522s |      27 | 15714525 | 11851833 |     1970  15418 |        0 |        0
1524.38/1524.75	c 1524s |      27 | 15734716 | 11867133 |     1970  15432 |        0 |        0
1526.37/1526.76	c 1526s |      27 | 15754316 | 11881933 |     1970  15447 |        0 |        0
1528.37/1528.76	c 1528s |      27 | 15773362 | 11896333 |     1970  15461 |        0 |        0
1530.37/1530.76	c 1530s |      27 | 15789982 | 11909333 |     1970  15473 |        0 |        0
1532.37/1532.76	c 1532s |      27 | 15807995 | 11923033 |     1970  15487 |        0 |        0
1534.37/1534.77	c 1534s |      27 | 15827276 | 11937833 |     1970  15501 |        0 |        0
1536.38/1536.78	c 1536s |      27 | 15845931 | 11951833 |     1970  15515 |        0 |        0
1538.37/1538.79	c 1538s |      27 | 15864909 | 11966033 |     1970  15528 |        0 |        0
1540.37/1540.80	c 1540s |      27 | 15884280 | 11980433 |     1970  15543 |        0 |        0
1542.47/1542.81	c 1542s |      27 | 15902739 | 11994333 |     1970  15556 |        0 |        0
1544.46/1544.82	c 1544s |      27 | 15919845 | 12008233 |     1970  15570 |        0 |        0
1546.46/1546.82	c 1546s |      27 | 15939110 | 12022333 |     1970  15584 |        0 |        0
1548.47/1548.82	c 1548s |      27 | 15957342 | 12035833 |     1970  15597 |        0 |        0
1550.46/1550.84	c 1550s |      27 | 15975853 | 12050033 |     1970  15611 |        0 |        0
1552.46/1552.84	c 1552s |      27 | 15994883 | 12064033 |     1970  15625 |        0 |        0
1554.46/1554.85	c 1554s |      27 | 16012563 | 12076933 |     1970  15638 |        0 |        0
1556.45/1556.85	c 1556s |      27 | 16027797 | 12088533 |     1970  15649 |        0 |        0
1558.46/1558.86	c 1558s |      27 | 16045066 | 12101433 |     1970  15662 |        0 |        0
1560.45/1560.86	c 1560s |      27 | 16063899 | 12115133 |     1970  15675 |        0 |        0
1562.45/1562.86	c 1562s |      27 | 16081306 | 12128033 |     1970  15688 |        0 |        0
1564.44/1564.87	c 1564s |      27 | 16100145 | 12141333 |     1970  15701 |        0 |        0
1566.44/1566.87	c 1566s |      27 | 16117449 | 12154533 |     1970  15714 |        0 |        0
1568.44/1568.88	c 1568s |      27 | 16135696 | 12168433 |     1970  15728 |        0 |        0
1570.46/1570.90	c 1570s |      27 | 16154822 | 12182433 |     1970  15741 |        0 |        0
1572.55/1572.91	c 1572s |      27 | 16172828 | 12196133 |     1970  15755 |        0 |        0
1574.55/1574.91	c 1574s |      27 | 16190104 | 12209533 |     1970  15768 |        0 |        0
1576.55/1576.91	c 1576s |      27 | 16204604 | 12220833 |     1970  15779 |        0 |        0
1578.54/1578.92	c 1578s |      27 | 16220029 | 12233033 |     1970  15791 |        0 |        0
1580.54/1580.93	c 1580s |      27 | 16236814 | 12246133 |     1970  15804 |        0 |        0
1582.55/1582.94	c 1582s |      27 | 16253076 | 12259033 |     1970  15817 |        0 |        0
1584.54/1584.94	c 1584s |      27 | 16270707 | 12272433 |     1970  15830 |        0 |        0
1586.54/1586.95	c 1586s |      27 | 16286527 | 12284933 |     1970  15843 |        0 |        0
1588.54/1588.95	c 1588s |      27 | 16302816 | 12297933 |     1970  15856 |        0 |        0
1590.54/1590.96	c 1590s |      27 | 16319861 | 12311333 |     1970  15869 |        0 |        0
1592.54/1592.97	c 1592s |      27 | 16336153 | 12324133 |     1970  15881 |        0 |        0
1594.53/1594.97	c 1594s |      27 | 16352966 | 12337133 |     1970  15894 |        0 |        0
1596.53/1596.98	c 1596s |      27 | 16369460 | 12349733 |     1970  15907 |        0 |        0
1598.53/1598.99	c 1598s |      27 | 16386664 | 12363333 |     1970  15920 |        0 |        0
1600.63/1601.00	c 1600s |      27 | 16403577 | 12376633 |     1970  15933 |        0 |        0
1602.63/1603.01	c 1602s |      27 | 16421084 | 12390033 |     1970  15946 |        0 |        0
1604.63/1605.01	c 1604s |      27 | 16439123 | 12403833 |     1970  15960 |        0 |        0
1606.62/1607.02	c 1607s |      27 | 16455814 | 12417033 |     1970  15973 |        0 |        0
1608.62/1609.02	c 1609s |      27 | 16472854 | 12430133 |     1970  15986 |        0 |        0
1610.62/1611.04	c 1611s |      27 | 16490132 | 12443733 |     1970  15999 |        0 |        0
1612.62/1613.04	c 1613s |      27 | 16508086 | 12457633 |     1970  16012 |        0 |        0
1614.62/1615.06	c 1615s |      27 | 16524679 | 12470833 |     1970  16025 |        0 |        0
1616.62/1617.08	c 1617s |      27 | 16543094 | 12484833 |     1970  16038 |        0 |        0
1618.62/1619.09	c 1619s |      27 | 16560908 | 12498633 |     1970  16051 |        0 |        0
1620.62/1621.09	c 1621s |      27 | 16577514 | 12511933 |     1970  16064 |        0 |        0
1622.72/1623.10	c 1623s |      27 | 16594237 | 12524833 |     1970  16077 |        0 |        0
1624.71/1625.12	c 1625s |      27 | 16609421 | 12536633 |     1970  16088 |        0 |        0
1626.71/1627.12	c 1627s |      27 | 16625435 | 12549533 |     1970  16101 |        0 |        0
1628.72/1629.14	c 1629s |      27 | 16643035 | 12563033 |     1970  16114 |        0 |        0
1630.71/1631.14	c 1631s |      27 | 16659837 | 12575733 |     1970  16127 |        0 |        0
1632.71/1633.15	c 1633s |      27 | 16677482 | 12589233 |     1970  16140 |        0 |        0
1634.70/1635.15	c 1635s |      27 | 16695760 | 12602933 |     1970  16153 |        0 |        0
1636.70/1637.16	c 1637s |      27 | 16713938 | 12616833 |     1970  16167 |        0 |        0
1638.71/1639.16	c 1639s |      27 | 16732183 | 12630533 |     1970  16180 |        0 |        0
1640.70/1641.17	c 1641s |      27 | 16746235 | 12642133 |     1970  16191 |        0 |        0
1642.70/1643.18	c 1643s |      27 | 16761506 | 12654233 |     1970  16203 |        0 |        0
1644.80/1645.20	c 1645s |      27 | 16777639 | 12667033 |     1970  16216 |        0 |        0
1646.80/1647.21	c 1647s |      27 | 16795644 | 12680233 |     1970  16229 |        0 |        0
1648.81/1649.21	c 1649s |      27 | 16814738 | 12694333 |     1970  16243 |        0 |        0
1650.81/1651.22	c 1651s |      27 | 16834173 | 12708933 |     1970  16257 |        0 |        0
1652.80/1653.22	c 1653s |      27 | 16852043 | 12723033 |     1970  16270 |        0 |        0
1654.80/1655.23	c 1655s |      27 | 16868917 | 12735933 |     1970  16283 |        0 |        0
1656.80/1657.24	c 1657s |      27 | 16887021 | 12750133 |     1970  16297 |        0 |        0
1658.80/1659.25	c 1659s |      27 | 16903668 | 12763233 |     1970  16309 |        0 |        0
1660.80/1661.25	c 1661s |      27 | 16920614 | 12776333 |     1970  16322 |        0 |        0
1662.80/1663.26	c 1663s |      27 | 16939112 | 12790133 |     1970  16335 |        0 |        0
1664.79/1665.27	c 1665s |      27 | 16956499 | 12803133 |     1970  16348 |        0 |        0
1666.79/1667.28	c 1667s |      27 | 16973126 | 12815733 |     1970  16360 |        0 |        0
1668.79/1669.28	c 1669s |      27 | 16989901 | 12828633 |     1970  16373 |        0 |        0
1670.89/1671.30	c 1671s |      27 | 17008491 | 12842433 |     1970  16387 |        0 |        0
1672.89/1673.31	c 1673s |      27 | 17026692 | 12856433 |     1970  16400 |        0 |        0
1674.89/1675.31	c 1675s |      27 | 17046016 | 12870733 |     1970  16414 |        0 |        0
1676.88/1677.33	c 1677s |      27 | 17062136 | 12883533 |     1970  16427 |        0 |        0
1678.88/1679.33	c 1679s |      27 | 17076935 | 12894833 |     1970  16438 |        0 |        0
1680.88/1681.35	c 1681s |      27 | 17093780 | 12907633 |     1970  16450 |        0 |        0
1682.88/1683.36	c 1683s |      27 | 17105766 | 12917633 |     1970  16460 |        0 |        0
1684.88/1685.37	c 1685s |      27 | 17118639 | 12928033 |     1970  16470 |        0 |        0
1686.88/1687.38	c 1687s |      27 | 17134031 | 12939833 |     1970  16482 |        0 |        0
1688.98/1689.40	c 1689s |      27 | 17148356 | 12950633 |     1970  16493 |        0 |        0
1690.98/1691.41	c 1691s |      27 | 17163501 | 12962333 |     1970  16504 |        0 |        0
1692.97/1693.42	c 1693s |      27 | 17177067 | 12972833 |     1970  16514 |        0 |        0
1694.97/1695.43	c 1695s |      27 | 17190627 | 12983433 |     1970  16525 |        0 |        0
1696.98/1697.44	c 1697s |      27 | 17206248 | 12995433 |     1970  16537 |        0 |        0
1698.97/1699.44	c 1699s |      27 | 17223634 | 13009033 |     1970  16550 |        0 |        0
1700.97/1701.45	c 1701s |      27 | 17240981 | 13022433 |     1970  16563 |        0 |        0
1702.97/1703.45	c 1703s |      27 | 17260779 | 13037233 |     1970  16577 |        0 |        0
1704.96/1705.46	c 1705s |      27 | 17279953 | 13051933 |     1970  16592 |        0 |        0
1706.97/1707.46	c 1707s |      27 | 17297201 | 13065433 |     1970  16605 |        0 |        0
1708.98/1709.47	c 1709s |      27 | 17316051 | 13079733 |     1970  16619 |        0 |        0
1710.97/1711.49	c 1711s |      27 | 17334696 | 13093933 |     1970  16633 |        0 |        0
1713.07/1713.50	c 1713s |      27 | 17352456 | 13107633 |     1970  16646 |        0 |        0
1715.07/1715.50	c 1715s |      27 | 17370096 | 13121533 |     1970  16660 |        0 |        0
1717.06/1717.51	c 1717s |      27 | 17388102 | 13135533 |     1970  16673 |        0 |        0
1719.06/1719.51	c 1719s |      27 | 17406681 | 13149533 |     1970  16687 |        0 |        0
1721.07/1721.51	c 1721s |      27 | 17424974 | 13163333 |     1970  16700 |        0 |        0
1723.06/1723.52	c 1723s |      27 | 17441604 | 13176233 |     1970  16713 |        0 |        0
1725.06/1725.53	c 1725s |      27 | 17458904 | 13189833 |     1970  16726 |        0 |        0
1727.06/1727.54	c 1727s |      27 | 17475129 | 13202233 |     1970  16739 |        0 |        0
1729.06/1729.55	c 1729s |      27 | 17492301 | 13215333 |     1970  16752 |        0 |        0
1731.06/1731.55	c 1731s |      27 | 17509687 | 13228433 |     1970  16764 |        0 |        0
1733.06/1733.55	c 1733s |      27 | 17525830 | 13240733 |     1970  16776 |        0 |        0
1735.05/1735.56	c 1735s |      27 | 17541824 | 13252933 |     1970  16788 |        0 |        0
1737.05/1737.58	c 1737s |      27 | 17557224 | 13265233 |     1970  16800 |        0 |        0
1739.05/1739.59	c 1739s |      27 | 17573338 | 13277733 |     1970  16813 |        0 |        0
1741.15/1741.60	c 1741s |      27 | 17587205 | 13288733 |     1970  16823 |        0 |        0
1743.06/1743.60	c 1743s |      27 | 17605136 | 13302433 |     1970  16837 |        0 |        0
1745.14/1745.60	c 1745s |      27 | 17623107 | 13316033 |     1970  16850 |        0 |        0
1747.14/1747.61	c 1747s |      27 | 17642190 | 13330033 |     1970  16864 |        0 |        0
1749.14/1749.62	c 1749s |      27 | 17660817 | 13343933 |     1970  16877 |        0 |        0
1751.14/1751.63	c 1751s |      27 | 17679525 | 13357833 |     1970  16891 |        0 |        0
1753.14/1753.64	c 1753s |      27 | 17697243 | 13371633 |     1970  16904 |        0 |        0
1755.15/1755.64	c 1755s |      27 | 17713750 | 13384533 |     1970  16917 |        0 |        0
1757.14/1757.64	c 1757s |      27 | 17730283 | 13397733 |     1970  16929 |        0 |        0
1759.14/1759.65	c 1759s |      27 | 17747030 | 13410533 |     1970  16942 |        0 |        0
1761.14/1761.65	c 1761s |      27 | 17763512 | 13423533 |     1970  16955 |        0 |        0
1763.14/1763.66	c 1763s |      27 | 17780400 | 13436533 |     1970  16967 |        0 |        0
1765.14/1765.66	c 1765s |      27 | 17798106 | 13449733 |     1970  16980 |        0 |        0
1767.13/1767.67	c 1767s |      27 | 17816461 | 13463933 |     1970  16994 |        0 |        0
1769.13/1769.68	c 1769s |      27 | 17835588 | 13478733 |     1970  17008 |        0 |        0
1771.13/1771.69	c 1771s |      27 | 17853811 | 13493333 |     1970  17023 |        0 |        0
1773.13/1773.69	c 1773s |      27 | 17872660 | 13507833 |     1970  17037 |        0 |        0
1775.24/1775.71	c 1775s |      27 | 17889473 | 13521233 |     1970  17050 |        0 |        0
1777.24/1777.71	c 1777s |      27 | 17904237 | 13533433 |     1970  17062 |        0 |        0
1779.24/1779.72	c 1779s |      27 | 17921307 | 13546733 |     1970  17075 |        0 |        0
1781.24/1781.73	c 1781s |      27 | 17939019 | 13560933 |     1970  17089 |        0 |        0
1783.24/1783.74	c 1783s |      27 | 17956077 | 13574533 |     1970  17102 |        0 |        0
1785.23/1785.75	c 1785s |      27 | 17973838 | 13588333 |     1970  17116 |        0 |        0
1787.23/1787.76	c 1787s |      27 | 17989933 | 13600833 |     1970  17129 |        0 |        0
1789.24/1789.76	c 1789s |      27 | 18007567 | 13614333 |     1970  17142 |        0 |        0
1791.23/1791.76	c 1791s |      27 | 18027586 | 13629633 |     1970  17156 |        0 |        0
1793.22/1793.77	c 1793s |      27 | 18045615 | 13643733 |     1970  17170 |        0 |        0
1795.22/1795.78	c 1795s |      27 | 18063094 | 13657533 |     1970  17183 |        0 |        0
1797.22/1797.79	c 1797s |      27 | 18082006 | 13671933 |     1970  17197 |        0 |        0
1799.32/1799.80	c 1799s |      27 | 18099788 | 13685733 |     1970  17211 |        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-4095889-1466098211/watcher-4095889-1466098211 -o /tmp/evaluation-result-4095889-1466098211/solver-4095889-1466098211 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node134-1466098211-20848 --watchdog 1960 toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4095889-1466098211.opb 

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

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


[startup+0 s]
/proc/loadavg: 1.54 2.06 2.13 4/181 20880
/proc/meminfo: memFree=30330676/32872528 swapFree=1481856/1661728
[pid=20880] ppid=20872 vsize=603580 CPUtime=0 cores=0,2,4,6
/proc/20880/stat : 20880 (toysat) R 20872 20880 20832 0 -1 4202496 2231 0 0 0 0 0 0 0 20 0 4 0 11867566 618065920 2592 33554432000 4194304 16246674 140737474111552 140737474110976 13880264 0 2 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/20880/statm: 151407 2602 441 2943 0 148301 0
[pid=20880/tid=20881] ppid=20872 vsize=619964 CPUtime=0 cores=0,2,4,6
/proc/20880/task/20881/stat : 20881 (toysat) S 20872 20880 20832 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 11867566 634843136 2658 33554432000 4194304 16246674 140737474111552 140322886626544 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=20880/tid=20882] ppid=20872 vsize=625084 CPUtime=0 cores=0,2,4,6
/proc/20880/task/20882/stat : 20882 (toysat) S 20872 20880 20832 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 11867567 640086016 2676 33554432000 4194304 16246674 140737474111552 140322876136688 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=20880/tid=20883] ppid=20872 vsize=629180 CPUtime=0 cores=0,2,4,6
/proc/20880/task/20883/stat : 20883 (toysat) S 20872 20880 20832 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 11867567 644280320 2694 33554432000 4194304 16246674 140737474111552 140322755570864 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0

[startup+0.100167 s]
/proc/loadavg: 1.54 2.06 2.13 4/181 20880
/proc/meminfo: memFree=30330676/32872528 swapFree=1481856/1661728
[pid=20880] ppid=20872 vsize=1218116 CPUtime=0.09 cores=0,2,4,6
/proc/20880/stat : 20880 (toysat) R 20872 20880 20832 0 -1 4202496 24452 0 0 0 6 3 0 0 20 0 4 0 11867566 1247350784 24801 33554432000 4194304 16246674 140737474111552 140737474093440 5675357 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/20880/statm: 304529 24809 712 2943 0 301423 0
[pid=20880/tid=20881] ppid=20872 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/20880/task/20881/stat : 20881 (toysat) S 20872 20880 20832 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 11867566 1247350784 24814 33554432000 4194304 16246674 140737474111552 140322886626544 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=20880/tid=20882] ppid=20872 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/20880/task/20882/stat : 20882 (toysat) S 20872 20880 20832 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 11867567 1247350784 24819 33554432000 4194304 16246674 140737474111552 140322876136688 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=20880/tid=20883] ppid=20872 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/20880/task/20883/stat : 20883 (toysat) S 20872 20880 20832 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 11867567 1247350784 24825 33554432000 4194304 16246674 140737474111552 140322755570864 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 1218116

[startup+0.200485 s]
/proc/loadavg: 1.54 2.06 2.13 4/181 20880
/proc/meminfo: memFree=30330676/32872528 swapFree=1481856/1661728
[pid=20880] ppid=20872 vsize=1218116 CPUtime=0.19 cores=0,2,4,6
/proc/20880/stat : 20880 (toysat) R 20872 20880 20832 0 -1 4202496 46995 0 0 0 13 6 0 0 20 0 4 0 11867566 1247350784 47344 33554432000 4194304 16246674 140737474111552 140737474093440 5665836 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/20880/statm: 304529 47352 712 2943 0 301423 0
[pid=20880/tid=20881] ppid=20872 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/20880/task/20881/stat : 20881 (toysat) S 20872 20880 20832 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 11867566 1247350784 47357 33554432000 4194304 16246674 140737474111552 140322886626544 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=20880/tid=20882] ppid=20872 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/20880/task/20882/stat : 20882 (toysat) S 20872 20880 20832 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 11867567 1247350784 47363 33554432000 4194304 16246674 140737474111552 140322876136688 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=20880/tid=20883] ppid=20872 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/20880/task/20883/stat : 20883 (toysat) S 20872 20880 20832 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 11867567 1247350784 47372 33554432000 4194304 16246674 140737474111552 140322755570864 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 1218116

[startup+0.300444 s]
/proc/loadavg: 1.54 2.06 2.13 4/181 20880
/proc/meminfo: memFree=30330676/32872528 swapFree=1481856/1661728
[pid=20880] ppid=20872 vsize=1218116 CPUtime=0.29 cores=0,2,4,6
/proc/20880/stat : 20880 (toysat) R 20872 20880 20832 0 -1 4202496 70453 0 0 0 19 10 0 0 20 0 4 0 11867566 1247350784 70802 33554432000 4194304 16246674 140737474111552 140737474093440 5831697 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/20880/statm: 304529 70810 712 2943 0 301423 0
[pid=20880/tid=20881] ppid=20872 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/20880/task/20881/stat : 20881 (toysat) S 20872 20880 20832 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 11867566 1247350784 70816 33554432000 4194304 16246674 140737474111552 140322886626544 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=20880/tid=20882] ppid=20872 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/20880/task/20882/stat : 20882 (toysat) S 20872 20880 20832 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 11867567 1247350784 70826 33554432000 4194304 16246674 140737474111552 140322876136688 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=20880/tid=20883] ppid=20872 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/20880/task/20883/stat : 20883 (toysat) S 20872 20880 20832 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 11867567 1247350784 70833 33554432000 4194304 16246674 140737474111552 140322755570864 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 1218116

[startup+0.700376 s]
/proc/loadavg: 1.54 2.06 2.13 4/181 20880
/proc/meminfo: memFree=30330676/32872528 swapFree=1481856/1661728
[pid=20880] ppid=20872 vsize=1218116 CPUtime=0.69 cores=0,2,4,6
/proc/20880/stat : 20880 (toysat) R 20872 20880 20832 0 -1 4202496 165129 0 0 0 45 24 0 0 20 0 4 0 11867566 1247350784 165479 33554432000 4194304 16246674 140737474111552 140737474093440 5516309 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/20880/statm: 304529 165485 713 2943 0 301423 0
[pid=20880/tid=20881] ppid=20872 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/20880/task/20881/stat : 20881 (toysat) S 20872 20880 20832 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 11867566 1247350784 165493 33554432000 4194304 16246674 140737474111552 140322886626544 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=20880/tid=20882] ppid=20872 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/20880/task/20882/stat : 20882 (toysat) S 20872 20880 20832 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 11867567 1247350784 165498 33554432000 4194304 16246674 140737474111552 140322876136688 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=20880/tid=20883] ppid=20872 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/20880/task/20883/stat : 20883 (toysat) S 20872 20880 20832 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 11867567 1247350784 165505 33554432000 4194304 16246674 140737474111552 140322755570864 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 1218116

[startup+1.50037 s]
/proc/loadavg: 1.54 2.06 2.13 4/186 20885
/proc/meminfo: memFree=28367188/32872528 swapFree=1481856/1661728
[pid=20880] ppid=20872 vsize=1219140 CPUtime=1.49 cores=0,2,4,6
/proc/20880/stat : 20880 (toysat) R 20872 20880 20832 0 -1 4202496 245561 0 0 0 112 37 0 0 20 0 4 0 11867566 1248399360 245890 33554432000 4194304 16246674 140737474111552 140737474110864 12478333 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/20880/statm: 304785 245890 786 2943 0 301679 0
[pid=20880/tid=20881] ppid=20872 vsize=1219140 CPUtime=0 cores=0,2,4,6
/proc/20880/task/20881/stat : 20881 (toysat) S 20872 20880 20832 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 11867566 1248399360 245890 33554432000 4194304 16246674 140737474111552 140322886626544 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=20880/tid=20882] ppid=20872 vsize=1219140 CPUtime=0 cores=0,2,4,6
/proc/20880/task/20882/stat : 20882 (toysat) S 20872 20880 20832 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 11867567 1248399360 245890 33554432000 4194304 16246674 140737474111552 140322876136688 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=20880/tid=20883] ppid=20872 vsize=1219140 CPUtime=0 cores=0,2,4,6
/proc/20880/task/20883/stat : 20883 (toysat) S 20872 20880 20832 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 11867567 1248399360 245890 33554432000 4194304 16246674 140737474111552 140322755570864 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 1219140

[startup+3.10038 s]
/proc/loadavg: 1.54 2.06 2.13 4/186 20885
/proc/meminfo: memFree=28192208/32872528 swapFree=1481856/1661728
[pid=20880] ppid=20872 vsize=1306180 CPUtime=3.09 cores=0,2,4,6
/proc/20880/stat : 20880 (toysat) R 20872 20880 20832 0 -1 4202496 267437 0 0 0 270 39 0 0 20 0 4 0 11867566 1337528320 267766 33554432000 4194304 16246674 140737474111552 140737474093440 12477724 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/20880/statm: 326545 267766 786 2943 0 323439 0
[pid=20880/tid=20881] ppid=20872 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/20880/task/20881/stat : 20881 (toysat) S 20872 20880 20832 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 11867566 1337528320 267766 33554432000 4194304 16246674 140737474111552 140322886626544 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=20880/tid=20882] ppid=20872 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/20880/task/20882/stat : 20882 (toysat) S 20872 20880 20832 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 11867567 1337528320 267766 33554432000 4194304 16246674 140737474111552 140322876136688 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=20880/tid=20883] ppid=20872 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/20880/task/20883/stat : 20883 (toysat) S 20872 20880 20832 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 11867567 1337528320 267766 33554432000 4194304 16246674 140737474111552 140322755570864 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 1306180

[startup+6.30038 s]
/proc/loadavg: 1.57 2.06 2.13 5/185 20885
/proc/meminfo: memFree=28189868/32872528 swapFree=1481856/1661728
[pid=20880] ppid=20872 vsize=1306180 CPUtime=6.28 cores=0,2,4,6
/proc/20880/stat : 20880 (toysat) R 20872 20880 20832 0 -1 4202496 267524 0 0 0 589 39 0 0 20 0 4 0 11867566 1337528320 267853 33554432000 4194304 16246674 140737474111552 140737474093440 5827966 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/20880/statm: 326545 267853 786 2943 0 323439 0
[pid=20880/tid=20881] ppid=20872 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/20880/task/20881/stat : 20881 (toysat) S 20872 20880 20832 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 11867566 1337528320 267853 33554432000 4194304 16246674 140737474111552 140322886626544 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=20880/tid=20882] ppid=20872 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/20880/task/20882/stat : 20882 (toysat) S 20872 20880 20832 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 11867567 1337528320 267853 33554432000 4194304 16246674 140737474111552 140322876136688 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=20880/tid=20883] ppid=20872 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/20880/task/20883/stat : 20883 (toysat) S 20872 20880 20832 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 11867567 1337528320 267853 33554432000 4194304 16246674 140737474111552 140322755570864 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 1306180

[startup+12.7004 s]
/proc/loadavg: 1.61 2.06 2.13 4/186 20886
/proc/meminfo: memFree=28190672/32872528 swapFree=1481856/1661728
[pid=20880] ppid=20872 vsize=1306180 CPUtime=12.68 cores=0,2,4,6
/proc/20880/stat : 20880 (toysat) R 20872 20880 20832 0 -1 4202496 267570 0 0 0 1229 39 0 0 20 0 4 0 11867566 1337528320 267899 33554432000 4194304 16246674 140737474111552 140737474093440 13954552 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/20880/statm: 326545 267899 787 2943 0 323439 0
[pid=20880/tid=20881] ppid=20872 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/20880/task/20881/stat : 20881 (toysat) S 20872 20880 20832 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 11867566 1337528320 267899 33554432000 4194304 16246674 140737474111552 140322886626544 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=20880/tid=20882] ppid=20872 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/20880/task/20882/stat : 20882 (toysat) S 20872 20880 20832 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 11867567 1337528320 267899 33554432000 4194304 16246674 140737474111552 140322876136688 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=20880/tid=20883] ppid=20872 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/20880/task/20883/stat : 20883 (toysat) S 20872 20880 20832 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 11867567 1337528320 267899 33554432000 4194304 16246674 140737474111552 140322755570864 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 1306180

[startup+25.5005 s]
/proc/loadavg: 1.69 2.06 2.13 4/186 20886
/proc/meminfo: memFree=28191464/32872528 swapFree=1481856/1661728
[pid=20880] ppid=20872 vsize=1307204 CPUtime=25.49 cores=0,2,4,6
/proc/20880/stat : 20880 (toysat) R 20872 20880 20832 0 -1 4202496 267683 0 0 0 2509 40 0 0 20 0 4 0 11867566 1338576896 268012 33554432000 4194304 16246674 140737474111552 140737474093440 4220880 0 2 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/20880/statm: 326801 268012 788 2943 0 323695 0
[pid=20880/tid=20881] ppid=20872 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/20880/task/20881/stat : 20881 (toysat) S 20872 20880 20832 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 11867566 1338576896 268012 33554432000 4194304 16246674 140737474111552 140322886626544 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=20880/tid=20882] ppid=20872 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/20880/task/20882/stat : 20882 (toysat) S 20872 20880 20832 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 11867567 1338576896 268012 33554432000 4194304 16246674 140737474111552 140322876136688 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=20880/tid=20883] ppid=20872 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/20880/task/20883/stat : 20883 (toysat) S 20872 20880 20832 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 11867567 1338576896 268012 33554432000 4194304 16246674 140737474111552 140322755570864 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 1307204

[startup+51.1005 s]
/proc/loadavg: 2.01 2.10 2.14 4/185 20886
/proc/meminfo: memFree=28191172/32872528 swapFree=1481856/1661728
[pid=20880] ppid=20872 vsize=1307204 CPUtime=51.08 cores=0,2,4,6
/proc/20880/stat : 20880 (toysat) R 20872 20880 20832 0 -1 4202496 267827 0 0 0 5068 40 0 0 20 0 4 0 11867566 1338576896 268156 33554432000 4194304 16246674 140737474111552 140737474093440 5823849 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/20880/statm: 326801 268156 788 2943 0 323695 0
[pid=20880/tid=20881] ppid=20872 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/20880/task/20881/stat : 20881 (toysat) S 20872 20880 20832 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 11867566 1338576896 268156 33554432000 4194304 16246674 140737474111552 140322886626544 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=20880/tid=20882] ppid=20872 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/20880/task/20882/stat : 20882 (toysat) S 20872 20880 20832 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 11867567 1338576896 268156 33554432000 4194304 16246674 140737474111552 140322876136688 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=20880/tid=20883] ppid=20872 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/20880/task/20883/stat : 20883 (toysat) S 20872 20880 20832 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 11867567 1338576896 268156 33554432000 4194304 16246674 140737474111552 140322755570864 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 1307204

[startup+102.3 s]
/proc/loadavg: 2.12 2.11 2.14 4/185 20887
/proc/meminfo: memFree=28190508/32872528 swapFree=1481856/1661728
[pid=20880] ppid=20872 vsize=1307204 CPUtime=102.28 cores=0,2,4,6
/proc/20880/stat : 20880 (toysat) R 20872 20880 20832 0 -1 4202496 267829 0 0 0 10187 41 0 0 20 0 4 0 11867566 1338576896 268158 33554432000 4194304 16246674 140737474111552 140737474093440 5840185 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/20880/statm: 326801 268158 790 2943 0 323695 0
[pid=20880/tid=20881] ppid=20872 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/20880/task/20881/stat : 20881 (toysat) S 20872 20880 20832 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 11867566 1338576896 268158 33554432000 4194304 16246674 140737474111552 140322886626544 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=20880/tid=20882] ppid=20872 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/20880/task/20882/stat : 20882 (toysat) S 20872 20880 20832 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 11867567 1338576896 268158 33554432000 4194304 16246674 140737474111552 140322876136688 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=20880/tid=20883] ppid=20872 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/20880/task/20883/stat : 20883 (toysat) S 20872 20880 20832 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 11867567 1338576896 268158 33554432000 4194304 16246674 140737474111552 140322755570864 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 1307204


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

/proc/20880/task/20883/stat : 20883 (toysat) S 20872 20880 20832 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 11867567 1340674048 268536 33554432000 4194304 16246674 140737474111552 140322755570864 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1302.09
Current children cumulated vsize (KiB) 1309252

[startup+1362.3 s]
/proc/loadavg: 2.30 2.31 2.27 4/185 20918
/proc/meminfo: memFree=28183176/32872528 swapFree=1481856/1661728
[pid=20880] ppid=20872 vsize=1309252 CPUtime=1362.07 cores=0,2,4,6
/proc/20880/stat : 20880 (toysat) R 20872 20880 20832 0 -1 4202496 268212 0 0 0 136144 63 0 0 20 0 4 0 11867566 1340674048 268793 33554432000 4194304 16246674 140737474111552 140737474093440 5722834 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/20880/statm: 327313 268793 792 2943 0 324207 0
[pid=20880/tid=20881] ppid=20872 vsize=1309252 CPUtime=0 cores=0,2,4,6
/proc/20880/task/20881/stat : 20881 (toysat) S 20872 20880 20832 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 11867566 1340674048 268793 33554432000 4194304 16246674 140737474111552 140322886626544 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=20880/tid=20882] ppid=20872 vsize=1309252 CPUtime=0 cores=0,2,4,6
/proc/20880/task/20882/stat : 20882 (toysat) S 20872 20880 20832 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 11867567 1340674048 268793 33554432000 4194304 16246674 140737474111552 140322876136688 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=20880/tid=20883] ppid=20872 vsize=1309252 CPUtime=0 cores=0,2,4,6
/proc/20880/task/20883/stat : 20883 (toysat) S 20872 20880 20832 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 11867567 1340674048 268793 33554432000 4194304 16246674 140737474111552 140322755570864 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1362.07
Current children cumulated vsize (KiB) 1309252

[startup+1422.3 s]
/proc/loadavg: 2.15 2.26 2.26 4/184 20919
/proc/meminfo: memFree=28184464/32872528 swapFree=1481856/1661728
[pid=20880] ppid=20872 vsize=1309252 CPUtime=1422.05 cores=0,2,4,6
/proc/20880/stat : 20880 (toysat) R 20872 20880 20832 0 -1 4202496 268251 0 0 0 142141 64 0 0 20 0 4 0 11867566 1340674048 268793 33554432000 4194304 16246674 140737474111552 140737474093440 5677716 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/20880/statm: 327313 268793 792 2943 0 324207 0
[pid=20880/tid=20881] ppid=20872 vsize=1309252 CPUtime=0 cores=0,2,4,6
/proc/20880/task/20881/stat : 20881 (toysat) S 20872 20880 20832 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 11867566 1340674048 268793 33554432000 4194304 16246674 140737474111552 140322886626544 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=20880/tid=20882] ppid=20872 vsize=1309252 CPUtime=0 cores=0,2,4,6
/proc/20880/task/20882/stat : 20882 (toysat) S 20872 20880 20832 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 11867567 1340674048 268793 33554432000 4194304 16246674 140737474111552 140322876136688 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=20880/tid=20883] ppid=20872 vsize=1309252 CPUtime=0 cores=0,2,4,6
/proc/20880/task/20883/stat : 20883 (toysat) S 20872 20880 20832 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 11867567 1340674048 268793 33554432000 4194304 16246674 140737474111552 140322755570864 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1422.05
Current children cumulated vsize (KiB) 1309252

[startup+1482.3 s]
/proc/loadavg: 2.35 2.29 2.27 4/185 20921
/proc/meminfo: memFree=28183276/32872528 swapFree=1481856/1661728
[pid=20880] ppid=20872 vsize=1309252 CPUtime=1482 cores=0,2,4,6
/proc/20880/stat : 20880 (toysat) R 20872 20880 20832 0 -1 4202496 268433 0 0 0 148135 65 0 0 20 0 4 0 11867566 1340674048 268928 33554432000 4194304 16246674 140737474111552 140737474094552 5672264 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/20880/statm: 327313 268928 792 2943 0 324207 0
[pid=20880/tid=20881] ppid=20872 vsize=1309252 CPUtime=0 cores=0,2,4,6
/proc/20880/task/20881/stat : 20881 (toysat) S 20872 20880 20832 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 11867566 1340674048 268928 33554432000 4194304 16246674 140737474111552 140322886626544 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=20880/tid=20882] ppid=20872 vsize=1309252 CPUtime=0 cores=0,2,4,6
/proc/20880/task/20882/stat : 20882 (toysat) S 20872 20880 20832 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 11867567 1340674048 268928 33554432000 4194304 16246674 140737474111552 140322876136688 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=20880/tid=20883] ppid=20872 vsize=1309252 CPUtime=0 cores=0,2,4,6
/proc/20880/task/20883/stat : 20883 (toysat) S 20872 20880 20832 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 11867567 1340674048 268928 33554432000 4194304 16246674 140737474111552 140322755570864 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1482
Current children cumulated vsize (KiB) 1309252

[startup+1542.31 s]
/proc/loadavg: 2.28 2.28 2.26 4/185 20923
/proc/meminfo: memFree=28183312/32872528 swapFree=1481856/1661728
[pid=20880] ppid=20872 vsize=1309252 CPUtime=1541.98 cores=0,2,4,6
/proc/20880/stat : 20880 (toysat) R 20872 20880 20832 0 -1 4202496 268479 0 0 0 154132 66 0 0 20 0 4 0 11867566 1340674048 268928 33554432000 4194304 16246674 140737474111552 140737474093440 5676002 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/20880/statm: 327313 268928 792 2943 0 324207 0
[pid=20880/tid=20881] ppid=20872 vsize=1309252 CPUtime=0 cores=0,2,4,6
/proc/20880/task/20881/stat : 20881 (toysat) S 20872 20880 20832 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 11867566 1340674048 268928 33554432000 4194304 16246674 140737474111552 140322886626544 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=20880/tid=20882] ppid=20872 vsize=1309252 CPUtime=0 cores=0,2,4,6
/proc/20880/task/20882/stat : 20882 (toysat) S 20872 20880 20832 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 11867567 1340674048 268928 33554432000 4194304 16246674 140737474111552 140322876136688 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=20880/tid=20883] ppid=20872 vsize=1309252 CPUtime=0 cores=0,2,4,6
/proc/20880/task/20883/stat : 20883 (toysat) S 20872 20880 20832 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 11867567 1340674048 268928 33554432000 4194304 16246674 140737474111552 140322755570864 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1541.98
Current children cumulated vsize (KiB) 1309252

[startup+1602.3 s]
/proc/loadavg: 2.23 2.26 2.26 4/185 20924
/proc/meminfo: memFree=28182928/32872528 swapFree=1481856/1661728
[pid=20880] ppid=20872 vsize=1309252 CPUtime=1601.93 cores=0,2,4,6
/proc/20880/stat : 20880 (toysat) R 20872 20880 20832 0 -1 4202496 268525 0 0 0 160126 67 0 0 20 0 4 0 11867566 1340674048 268928 33554432000 4194304 16246674 140737474111552 140737474093440 5808184 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/20880/statm: 327313 268928 792 2943 0 324207 0
[pid=20880/tid=20881] ppid=20872 vsize=1309252 CPUtime=0 cores=0,2,4,6
/proc/20880/task/20881/stat : 20881 (toysat) S 20872 20880 20832 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 11867566 1340674048 268928 33554432000 4194304 16246674 140737474111552 140322886626544 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=20880/tid=20882] ppid=20872 vsize=1309252 CPUtime=0 cores=0,2,4,6
/proc/20880/task/20882/stat : 20882 (toysat) S 20872 20880 20832 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 11867567 1340674048 268928 33554432000 4194304 16246674 140737474111552 140322876136688 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=20880/tid=20883] ppid=20872 vsize=1309252 CPUtime=0 cores=0,2,4,6
/proc/20880/task/20883/stat : 20883 (toysat) S 20872 20880 20832 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 11867567 1340674048 268928 33554432000 4194304 16246674 140737474111552 140322755570864 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1601.93
Current children cumulated vsize (KiB) 1309252

[startup+1662.3 s]
/proc/loadavg: 2.43 2.30 2.27 4/185 20925
/proc/meminfo: memFree=28183000/32872528 swapFree=1481856/1661728
[pid=20880] ppid=20872 vsize=1309252 CPUtime=1661.9 cores=0,2,4,6
/proc/20880/stat : 20880 (toysat) R 20872 20880 20832 0 -1 4202496 268571 0 0 0 166122 68 0 0 20 0 4 0 11867566 1340674048 268928 33554432000 4194304 16246674 140737474111552 140737474093440 5673657 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/20880/statm: 327313 268928 792 2943 0 324207 0
[pid=20880/tid=20881] ppid=20872 vsize=1309252 CPUtime=0 cores=0,2,4,6
/proc/20880/task/20881/stat : 20881 (toysat) S 20872 20880 20832 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 11867566 1340674048 268928 33554432000 4194304 16246674 140737474111552 140322886626544 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=20880/tid=20882] ppid=20872 vsize=1309252 CPUtime=0 cores=0,2,4,6
/proc/20880/task/20882/stat : 20882 (toysat) S 20872 20880 20832 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 11867567 1340674048 268928 33554432000 4194304 16246674 140737474111552 140322876136688 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=20880/tid=20883] ppid=20872 vsize=1309252 CPUtime=0 cores=0,2,4,6
/proc/20880/task/20883/stat : 20883 (toysat) S 20872 20880 20832 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 11867567 1340674048 268928 33554432000 4194304 16246674 140737474111552 140322755570864 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1661.9
Current children cumulated vsize (KiB) 1309252

[startup+1722.3 s]
/proc/loadavg: 2.29 2.29 2.27 4/185 20926
/proc/meminfo: memFree=28182320/32872528 swapFree=1481856/1661728
[pid=20880] ppid=20872 vsize=1309252 CPUtime=1721.86 cores=0,2,4,6
/proc/20880/stat : 20880 (toysat) R 20872 20880 20832 0 -1 4202496 268615 0 0 0 172117 69 0 0 20 0 4 0 11867566 1340674048 268928 33554432000 4194304 16246674 140737474111552 140737474093440 5822492 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/20880/statm: 327313 268928 792 2943 0 324207 0
[pid=20880/tid=20881] ppid=20872 vsize=1309252 CPUtime=0 cores=0,2,4,6
/proc/20880/task/20881/stat : 20881 (toysat) S 20872 20880 20832 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 11867566 1340674048 268928 33554432000 4194304 16246674 140737474111552 140322886626544 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=20880/tid=20882] ppid=20872 vsize=1309252 CPUtime=0 cores=0,2,4,6
/proc/20880/task/20882/stat : 20882 (toysat) S 20872 20880 20832 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 11867567 1340674048 268928 33554432000 4194304 16246674 140737474111552 140322876136688 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=20880/tid=20883] ppid=20872 vsize=1309252 CPUtime=0 cores=0,2,4,6
/proc/20880/task/20883/stat : 20883 (toysat) S 20872 20880 20832 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 11867567 1340674048 268928 33554432000 4194304 16246674 140737474111552 140322755570864 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1721.86
Current children cumulated vsize (KiB) 1309252

[startup+1782.3 s]
/proc/loadavg: 2.29 2.29 2.27 4/185 20927
/proc/meminfo: memFree=28182220/32872528 swapFree=1481856/1661728
[pid=20880] ppid=20872 vsize=1309252 CPUtime=1781.84 cores=0,2,4,6
/proc/20880/stat : 20880 (toysat) R 20872 20880 20832 0 -1 4202496 268659 0 0 0 178114 70 0 0 20 0 4 0 11867566 1340674048 268928 33554432000 4194304 16246674 140737474111552 140737474093440 15015658 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/20880/statm: 327313 268928 792 2943 0 324207 0
[pid=20880/tid=20881] ppid=20872 vsize=1309252 CPUtime=0 cores=0,2,4,6
/proc/20880/task/20881/stat : 20881 (toysat) S 20872 20880 20832 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 11867566 1340674048 268928 33554432000 4194304 16246674 140737474111552 140322886626544 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=20880/tid=20882] ppid=20872 vsize=1309252 CPUtime=0 cores=0,2,4,6
/proc/20880/task/20882/stat : 20882 (toysat) S 20872 20880 20832 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 11867567 1340674048 268928 33554432000 4194304 16246674 140737474111552 140322876136688 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=20880/tid=20883] ppid=20872 vsize=1309252 CPUtime=0 cores=0,2,4,6
/proc/20880/task/20883/stat : 20883 (toysat) S 20872 20880 20832 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 11867567 1340674048 268928 33554432000 4194304 16246674 140737474111552 140322755570864 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1781.84
Current children cumulated vsize (KiB) 1309252



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.5 s]
/proc/loadavg: 2.35 2.30 2.27 4/186 20930
/proc/meminfo: memFree=28182092/32872528 swapFree=1481856/1661728
[pid=20880] ppid=20872 vsize=1309252 CPUtime=1800.02 cores=0,2,4,6
/proc/20880/stat : 20880 (toysat) R 20872 20880 20832 0 -1 4202496 268675 0 0 0 179932 70 0 0 20 0 4 0 11867566 1340674048 268928 33554432000 4194304 16246674 140737474111552 140737474093440 5822756 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/20880/statm: 327313 268928 792 2943 0 324207 0
[pid=20880/tid=20881] ppid=20872 vsize=1309252 CPUtime=0 cores=0,2,4,6
/proc/20880/task/20881/stat : 20881 (toysat) S 20872 20880 20832 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 11867566 1340674048 268928 33554432000 4194304 16246674 140737474111552 140322886626544 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=20880/tid=20882] ppid=20872 vsize=1309252 CPUtime=0 cores=0,2,4,6
/proc/20880/task/20882/stat : 20882 (toysat) S 20872 20880 20832 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 11867567 1340674048 268928 33554432000 4194304 16246674 140737474111552 140322876136688 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=20880/tid=20883] ppid=20872 vsize=1309252 CPUtime=0 cores=0,2,4,6
/proc/20880/task/20883/stat : 20883 (toysat) S 20872 20880 20832 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 11867567 1340674048 268928 33554432000 4194304 16246674 140737474111552 140322755570864 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1800.02
Current children cumulated vsize (KiB) 1309252

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 20880 sig 9
??? end of watcher thread
Dumping a history of the last processes samples

[startup+1800.5 s]
/proc/loadavg: 2.35 2.30 2.27 4/186 20930
/proc/meminfo: memFree=28182092/32872528 swapFree=1481856/1661728
[pid=20880] ppid=20872 vsize=1309252 CPUtime=1800.02 cores=0,2,4,6
/proc/20880/stat : 20880 (toysat) R 20872 20880 20832 0 -1 4202496 268675 0 0 0 179932 70 0 0 20 0 4 0 11867566 1340674048 268928 33554432000 4194304 16246674 140737474111552 140737474093440 5822756 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/20880/statm: 327313 268928 792 2943 0 324207 0
[pid=20880/tid=20881] ppid=20872 vsize=1309252 CPUtime=0 cores=0,2,4,6
/proc/20880/task/20881/stat : 20881 (toysat) S 20872 20880 20832 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 11867566 1340674048 268928 33554432000 4194304 16246674 140737474111552 140322886626544 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=20880/tid=20882] ppid=20872 vsize=1309252 CPUtime=0 cores=0,2,4,6
/proc/20880/task/20882/stat : 20882 (toysat) S 20872 20880 20832 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 11867567 1340674048 268928 33554432000 4194304 16246674 140737474111552 140322876136688 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=20880/tid=20883] ppid=20872 vsize=1309252 CPUtime=0 cores=0,2,4,6
/proc/20880/task/20883/stat : 20883 (toysat) S 20872 20880 20832 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 11867567 1340674048 268928 33554432000 4194304 16246674 140737474111552 140322755570864 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1800.02
Current children cumulated vsize (KiB) 1309252

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1800.53
CPU time (s): 1800.06
CPU user time (s): 1799.33
CPU system time (s): 0.729889
CPU usage (%): 99.9738
Max. virtual memory (cumulated for all children) (KiB): 1309252

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.33
system time used= 0.729889
maximum resident set size= 1075712
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 268675
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= 348
involuntary context switches= 1929

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 4.80827 second user time and 6.82696 second system time

The end

Begin job on node134 at 2016-06-16 19:30:11
IDJOB=4095889
IDBENCH=107536
IDSOLVER=2542
FILE ID=node134/4095889-1466098211
RUNJOBID= node134-1466098211-20848
PBS_JOBID= 19904059
Free space on /tmp= 71720 MiB

SOLVER NAME= toysat 2016-05-02
BENCH NAME= PB16/normalized-PB16/DEC-SMALLINT-LIN/pb16-16-elffers/subsetcard/normalized-subsetcard-eq-fixedbandwidth-55.opb
COMMAND LINE= toysat +RTS -H1G -MMEMLIMITm -K1G -RTS --pb --search=bcd2 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4095889-1466098211/watcher-4095889-1466098211 -o /tmp/evaluation-result-4095889-1466098211/solver-4095889-1466098211 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node134-1466098211-20848 --watchdog 1960  toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4095889-1466098211.opb

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

MD5SUM BENCH= cf4d91676518fe8019597583819bc1db
RANDOM SEED=984108036

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

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

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2667.020
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	: 7358.89
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

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

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

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


/proc/meminfo:
MemTotal:       32872528 kB
MemFree:        30336720 kB
Buffers:           33816 kB
Cached:           126680 kB
SwapCached:         8908 kB
Active:           102640 kB
Inactive:          67828 kB
Active(anon):       4532 kB
Inactive(anon):     8200 kB
Active(file):      98108 kB
Inactive(file):    59628 kB
Unevictable:     1661728 kB
Mlocked:         1481856 kB
SwapTotal:      67108856 kB
SwapFree:       67092044 kB
Dirty:             32624 kB
Writeback:             0 kB
AnonPages:       1666392 kB
Mapped:             7164 kB
Shmem:                 0 kB
Slab:             568472 kB
SReclaimable:      12972 kB
SUnreclaim:       555500 kB
KernelStack:        1360 kB
PageTables:         7596 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    1760084 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341987908 kB
HardwareCorrupted:     0 kB
AnonHugePages:    182272 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= 71688 MiB
End job on node134 at 2016-06-16 20:00:12