0.00/0.00	c 2016-06-30T20:08:02+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-4120138-1467310081.opb"]
0.00/0.01	c use --random-gen="1001239526 2623390876 928433839 2856343556 1822415289 406241728 3565200053 1852764051 712526091 3704174270 2055838313 2609973231 2134663798 2393456673 4264714978 2346141392 1902959070 237804884 2179379707 1629696645 3721169746 1928906311 3035629677 797244975 502208067 1682559303 1787750384 2216286933 2869018757 4079595395 452593558 607282627 3581202059 730139852 539856448 2294154787 3857950945 4125921625 644234885 1203110438 1519431576 2374194625 3663941495 4149591074 4110057412 1858151146 3567398000 573383830 3622918604 4130956119 2139582739 2656708076 2912197833 237238760 3952692846 992155339 2670565649 2126467610 62814272 872351291 2195428616 4202083 1520938838 3426577208 2083837827 128444299 3099637483 3743017836 2828989830 1784617810 2328161013 2510751456 3709209157 2055806596 880788652 3257877768 621088544 1913892389 1923350722 1248360832 2438766029 943886692 2054636469 2126800878 538361382 2495202714 1066926195 2532459789 1873453923 2702406846 3028014208 2186178064 271206824 1362566856 939324987 3387316666 2960552099 655527190 208059491 1305352561 280470569 2177636985 3725058790 324410062 2914917584 1136522641 1775405724 699626135 4129071685 2808383543 4093432207 3906235281 3681665669 2583776851 1817988209 3415780667 360931989 3116950255 558996225 3314035392 1436043451 1012451214 3264360650 2902594937 3358081908 2818312346 845993961 2947205225 3258934350 3589943860 1831126990 2058253996 1263494262 2364287677 339182026 3854676660 3721303081 1465711662 1016799557 3866581143 3422509766 2966629844 421156217 2289737015 3741197990 545252094 2444075784 1887228414 4060801572 3871527726 3069065707 3511445933 161412195 902514285 3199316394 3281420945 4037153949 4091683808 2091838553 476768896 2444224849 2478683913 1698635538 3177383634 959494950 616887362 3193684127 2583046500 1269839929 1233652130 4082301925 3836498174 2861572420 1628025812 1733513164 2242226888 711571448 3030935488 2439365066 185765555 1602464646 2445188944 1405211911 1090990562 3500023429 983832618 4239033651 254456839 1076710552 3594289945 2164947864 3355422151 2309759924 426884897 1716289166 119202233 2244250092 2239425284 3150691645 3157836279 3319406744 2046446194 1397982046 613561320 3561775568 2273810532 520882497 1672779278 3347534908 2071316058 3214909466 2545646003 3160667616 2673012375 3740287831 798208371 70202358 1966386781 663835031 2879692625 2433381077 1181428293 915303637 1653335632 2396825817 1419068330 4111846489 4139441578 1890745796 2020047886 4200866654 185391988 851989360 2760891563 93749516 4260149510 1772796156 2496502243 1403957470 897871434 3098183020 2934799169 1379196535 2520488372 3234042731 1624506936 598080957 3112626678 1842302595 2198170474 211565224 1373686489 1845413968 3757805514 4157370780 1538113592 255 362436" option to reproduce the execution
0.00/0.01	c #vars 333
0.00/0.01	c #constraints 332
0.00/0.02	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 |      221      0 |        0 |        0
0.00/0.03	c  0.0s |       1 |      193 |      100 |      221      0 |        0 |        0
0.00/0.05	c  0.0s |       2 |      477 |      250 |      244      0 |        0 |        0
0.00/0.07	c  0.0s |       3 |      822 |      475 |      269      1 |        0 |        0
0.09/0.10	c  0.1s |       4 |     1295 |      813 |      296      3 |        0 |        0
0.09/0.16	c  0.1s |       5 |     1952 |     1320 |      326      5 |        0 |        0
0.19/0.23	c  0.2s |       6 |     3124 |     2081 |      395      7 |        0 |        0
0.29/0.36	c  0.3s |       7 |     4653 |     3223 |      435     11 |        0 |        0
0.59/0.60	c  0.6s |       8 |     6725 |     4936 |      479     16 |        0 |        0
0.88/0.95	c  0.9s |       9 |    10061 |     7506 |      527     23 |        0 |        0
1.29/1.37	c  1.3s |      10 |    15472 |    11361 |      580     34 |        0 |        0
1.89/1.90	c  1.9s |      11 |    23209 |    17144 |      638     48 |        0 |        0
2.69/2.76	c  2.7s |      12 |    34478 |    25819 |      702     68 |        0 |        0
3.99/4.06	c  4.0s |      13 |    51982 |    38832 |      773    100 |        0 |        0
5.99/6.07	c  6.0s |      13 |    76693 |    57632 |      773    139 |        0 |        0
6.09/6.13	c  6.1s |      14 |    77553 |    58352 |      851    140 |        0 |        0
8.09/8.13	c  8.1s |      14 |   103534 |    78152 |      851    178 |        0 |        0
9.09/9.15	c  9.1s |      15 |   115613 |    87632 |      937    196 |        0 |        0
11.09/11.16	c 11.1s |      15 |   140488 |   106332 |      937    229 |        0 |        0
13.09/13.17	c 13.1s |      15 |   165252 |   125432 |      937    263 |        0 |        0
13.78/13.83	c 13.8s |      16 |   173314 |   131552 |     1031    273 |        0 |        0
15.78/15.84	c 15.8s |      16 |   196247 |   149152 |     1031    302 |        0 |        0
17.78/17.85	c 17.8s |      16 |   218335 |   166552 |     1031    330 |        0 |        0
19.79/19.86	c 19.8s |      16 |   242626 |   183952 |     1031    358 |        0 |        0
21.38/21.43	c 21.4s |      17 |   260891 |   197432 |     1135    380 |        0 |        0
23.38/23.43	c 23.4s |      17 |   281540 |   213932 |     1135    405 |        0 |        0
25.39/25.44	c 25.4s |      17 |   303227 |   230532 |     1135    430 |        0 |        0
27.38/27.45	c 27.4s |      17 |   324318 |   246832 |     1135    454 |        0 |        0
29.38/29.46	c 29.4s |      17 |   344486 |   262732 |     1135    478 |        0 |        0
31.38/31.47	c 31.4s |      17 |   366889 |   279832 |     1135    504 |        0 |        0
33.29/33.34	c 33.3s |      18 |   389205 |   296252 |     1249    528 |        0 |        0
35.29/35.36	c 35.3s |      18 |   410137 |   312252 |     1249    551 |        0 |        0
37.29/37.37	c 37.3s |      18 |   429388 |   327352 |     1249    572 |        0 |        0
39.29/39.38	c 39.4s |      18 |   448643 |   342452 |     1249    593 |        0 |        0
41.29/41.39	c 41.4s |      18 |   468786 |   357752 |     1249    614 |        0 |        0
43.29/43.39	c 43.4s |      18 |   489428 |   373352 |     1249    636 |        0 |        0
45.38/45.40	c 45.4s |      18 |   510896 |   389252 |     1249    658 |        0 |        0
47.39/47.41	c 47.4s |      18 |   531507 |   405052 |     1249    680 |        0 |        0
49.38/49.42	c 49.4s |      18 |   552330 |   421352 |     1249    702 |        0 |        0
51.38/51.42	c 51.4s |      18 |   575269 |   438052 |     1249    726 |        0 |        0
52.18/52.24	c 52.2s |      19 |   583445 |   444482 |     1374    734 |        0 |        0
54.18/54.24	c 54.2s |      19 |   605106 |   460682 |     1374    754 |        0 |        0
56.19/56.25	c 56.2s |      19 |   626076 |   476582 |     1374    775 |        0 |        0
58.18/58.26	c 58.2s |      19 |   647245 |   492882 |     1374    795 |        0 |        0
60.18/60.26	c 60.2s |      19 |   668895 |   509482 |     1374    816 |        0 |        0
62.18/62.26	c 62.2s |      19 |   690343 |   525682 |     1374    837 |        0 |        0
64.18/64.27	c 64.2s |      19 |   713009 |   542482 |     1374    858 |        0 |        0
66.18/66.27	c 66.2s |      19 |   735333 |   558782 |     1374    878 |        0 |        0
68.18/68.28	c 68.3s |      19 |   756442 |   574582 |     1374    898 |        0 |        0
70.18/70.29	c 70.3s |      19 |   779669 |   591082 |     1374    919 |        0 |        0
72.18/72.29	c 72.3s |      19 |   801598 |   607582 |     1374    940 |        0 |        0
74.27/74.30	c 74.3s |      19 |   822574 |   623282 |     1374    960 |        0 |        0
76.27/76.31	c 76.3s |      19 |   843831 |   638882 |     1374    980 |        0 |        0
78.27/78.32	c 78.3s |      19 |   864926 |   654682 |     1374   1000 |        0 |        0
79.77/79.85	c 79.8s |      20 |   881099 |   666827 |     1512   1015 |        0 |        0
81.77/81.85	c 81.8s |      20 |   901035 |   682027 |     1512   1033 |        0 |        0
83.77/83.86	c 83.8s |      20 |   923222 |   698427 |     1512   1052 |        0 |        0
85.78/85.87	c 85.8s |      20 |   947477 |   716227 |     1512   1073 |        0 |        0
87.77/87.88	c 87.9s |      20 |   970217 |   733327 |     1512   1093 |        0 |        0
89.77/89.89	c 89.9s |      20 |   992192 |   750027 |     1512   1112 |        0 |        0
91.87/91.90	c 91.9s |      20 |  1014030 |   766327 |     1512   1132 |        0 |        0
93.87/93.91	c 93.9s |      20 |  1035787 |   782727 |     1512   1151 |        0 |        0
95.87/95.91	c 95.9s |      20 |  1056974 |   798627 |     1512   1170 |        0 |        0
97.87/97.93	c 97.9s |      20 |  1077082 |   813927 |     1512   1188 |        0 |        0
99.87/99.93	c 99.9s |      20 |  1096590 |   829127 |     1512   1206 |        0 |        0
101.87/101.93	c  101s |      20 |  1116682 |   844627 |     1512   1224 |        0 |        0
103.87/103.94	c  103s |      20 |  1137453 |   860727 |     1512   1243 |        0 |        0
105.87/105.95	c  105s |      20 |  1159826 |   877727 |     1512   1263 |        0 |        0
107.87/107.96	c  107s |      20 |  1181924 |   894127 |     1512   1283 |        0 |        0
109.87/109.97	c  109s |      20 |  1203192 |   910127 |     1512   1302 |        0 |        0
111.86/111.97	c  111s |      20 |  1223351 |   925527 |     1512   1320 |        0 |        0
113.86/113.99	c  113s |      20 |  1242643 |   940327 |     1512   1337 |        0 |        0
115.96/116.00	c  115s |      20 |  1264184 |   956627 |     1512   1357 |        0 |        0
117.96/118.01	c  117s |      20 |  1285092 |   972727 |     1512   1376 |        0 |        0
119.97/120.01	c  119s |      20 |  1305764 |   988927 |     1512   1395 |        0 |        0
121.36/121.43	c  121s |      21 |  1320795 |  1000345 |     1664   1408 |        0 |        0
123.36/123.43	c  123s |      21 |  1339151 |  1014545 |     1664   1423 |        0 |        0
125.38/125.43	c  125s |      21 |  1358374 |  1028945 |     1664   1439 |        0 |        0
127.37/127.44	c  127s |      21 |  1378519 |  1044045 |     1664   1456 |        0 |        0
129.37/129.45	c  129s |      21 |  1398758 |  1059545 |     1664   1473 |        0 |        0
131.37/131.46	c  131s |      21 |  1419747 |  1075145 |     1664   1490 |        0 |        0
133.37/133.46	c  133s |      21 |  1440958 |  1090845 |     1664   1507 |        0 |        0
135.37/135.47	c  135s |      21 |  1461667 |  1106245 |     1664   1524 |        0 |        0
137.37/137.47	c  137s |      21 |  1482073 |  1121945 |     1664   1541 |        0 |        0
139.37/139.48	c  139s |      21 |  1502112 |  1137345 |     1664   1558 |        0 |        0
141.37/141.49	c  141s |      21 |  1522353 |  1153045 |     1664   1575 |        0 |        0
143.46/143.51	c  143s |      21 |  1543269 |  1168445 |     1664   1592 |        0 |        0
145.46/145.52	c  145s |      21 |  1565005 |  1184445 |     1664   1609 |        0 |        0
147.47/147.52	c  147s |      21 |  1586970 |  1200245 |     1664   1626 |        0 |        0
149.46/149.53	c  149s |      21 |  1608552 |  1215645 |     1664   1643 |        0 |        0
151.46/151.54	c  151s |      21 |  1630281 |  1231645 |     1664   1661 |        0 |        0
153.46/153.54	c  153s |      21 |  1652249 |  1247645 |     1664   1678 |        0 |        0
155.46/155.55	c  155s |      21 |  1674596 |  1263845 |     1664   1696 |        0 |        0
157.46/157.55	c  157s |      21 |  1693567 |  1278245 |     1664   1711 |        0 |        0
159.47/159.56	c  159s |      21 |  1712242 |  1292945 |     1664   1728 |        0 |        0
161.46/161.57	c  161s |      21 |  1731005 |  1307845 |     1664   1744 |        0 |        0
163.46/163.57	c  163s |      21 |  1752713 |  1323845 |     1664   1761 |        0 |        0
165.46/165.57	c  165s |      21 |  1774298 |  1340045 |     1664   1779 |        0 |        0
167.46/167.58	c  167s |      21 |  1795628 |  1355845 |     1664   1796 |        0 |        0
169.47/169.58	c  169s |      21 |  1815651 |  1370945 |     1664   1813 |        0 |        0
171.46/171.59	c  171s |      21 |  1835888 |  1386345 |     1664   1830 |        0 |        0
173.46/173.59	c  173s |      21 |  1857080 |  1401545 |     1664   1846 |        0 |        0
175.56/175.61	c  175s |      21 |  1875040 |  1416345 |     1664   1862 |        0 |        0
177.56/177.62	c  177s |      21 |  1893500 |  1430545 |     1664   1878 |        0 |        0
179.55/179.63	c  179s |      21 |  1914405 |  1446045 |     1664   1895 |        0 |        0
181.56/181.64	c  181s |      21 |  1935408 |  1461145 |     1664   1911 |        0 |        0
183.55/183.64	c  183s |      21 |  1956128 |  1476145 |     1664   1928 |        0 |        0
185.55/185.64	c  185s |      21 |  1976271 |  1491245 |     1831   1944 |        0 |        0
186.85/186.90	c  186s |      22 |  1988599 |  1500622 |     1831   1953 |        0 |        0
188.85/188.90	c  188s |      22 |  2008710 |  1515722 |     1831   1968 |        0 |        0
190.85/190.91	c  190s |      22 |  2028753 |  1530922 |     1831   1983 |        0 |        0
192.85/192.92	c  192s |      22 |  2049724 |  1546622 |     1831   1998 |        0 |        0
194.85/194.94	c  194s |      22 |  2069005 |  1561222 |     1831   2013 |        0 |        0
196.86/196.95	c  196s |      22 |  2088825 |  1576422 |     1831   2027 |        0 |        0
198.85/198.96	c  198s |      22 |  2109225 |  1591522 |     1831   2042 |        0 |        0
200.85/200.96	c  200s |      22 |  2128123 |  1606222 |     1831   2057 |        0 |        0
202.85/202.97	c  202s |      22 |  2148534 |  1621522 |     1831   2072 |        0 |        0
204.85/204.98	c  204s |      22 |  2170948 |  1637922 |     1831   2088 |        0 |        0
206.85/206.98	c  206s |      22 |  2189893 |  1652922 |     1831   2103 |        0 |        0
208.85/209.00	c  208s |      22 |  2208131 |  1667222 |     1831   2117 |        0 |        0
210.96/211.01	c  210s |      22 |  2226350 |  1681122 |     1831   2130 |        0 |        0
212.96/213.01	c  212s |      22 |  2245837 |  1695822 |     1831   2145 |        0 |        0
214.96/215.02	c  215s |      22 |  2264806 |  1710422 |     1831   2159 |        0 |        0
216.96/217.04	c  217s |      22 |  2283454 |  1724822 |     1831   2173 |        0 |        0
218.96/219.05	c  219s |      22 |  2303970 |  1740122 |     1831   2188 |        0 |        0
220.96/221.06	c  221s |      22 |  2324133 |  1755522 |     1831   2203 |        0 |        0
222.96/223.07	c  223s |      22 |  2344055 |  1770622 |     1831   2218 |        0 |        0
224.95/225.07	c  225s |      22 |  2364048 |  1785922 |     1831   2233 |        0 |        0
226.95/227.08	c  227s |      22 |  2385375 |  1801922 |     1831   2249 |        0 |        0
229.05/229.10	c  229s |      22 |  2404510 |  1816722 |     1831   2264 |        0 |        0
231.06/231.11	c  231s |      22 |  2426853 |  1832922 |     1831   2279 |        0 |        0
233.05/233.12	c  233s |      22 |  2446766 |  1847722 |     1831   2294 |        0 |        0
235.05/235.13	c  235s |      22 |  2466854 |  1862822 |     1831   2309 |        0 |        0
237.05/237.13	c  237s |      22 |  2485757 |  1877522 |     1831   2323 |        0 |        0
239.05/239.14	c  239s |      22 |  2504669 |  1892122 |     1831   2337 |        0 |        0
241.05/241.14	c  241s |      22 |  2523936 |  1906922 |     1831   2352 |        0 |        0
243.06/243.15	c  243s |      22 |  2545646 |  1922822 |     1831   2368 |        0 |        0
245.05/245.15	c  245s |      22 |  2564278 |  1937622 |     1831   2382 |        0 |        0
247.05/247.16	c  247s |      22 |  2583420 |  1952322 |     1831   2397 |        0 |        0
249.05/249.17	c  249s |      22 |  2602665 |  1967322 |     1831   2411 |        0 |        0
251.05/251.18	c  251s |      22 |  2621596 |  1981922 |     1831   2425 |        0 |        0
253.06/253.18	c  253s |      22 |  2639815 |  1996322 |     1831   2440 |        0 |        0
255.05/255.19	c  255s |      22 |  2657587 |  2010522 |     1831   2453 |        0 |        0
257.15/257.20	c  257s |      22 |  2676738 |  2025322 |     1831   2468 |        0 |        0
259.15/259.21	c  259s |      22 |  2695465 |  2039522 |     1831   2482 |        0 |        0
261.15/261.21	c  261s |      22 |  2715300 |  2054722 |     1831   2497 |        0 |        0
263.15/263.21	c  263s |      22 |  2735405 |  2069922 |     1831   2512 |        0 |        0
265.15/265.23	c  265s |      22 |  2755709 |  2085022 |     1831   2526 |        0 |        0
267.15/267.24	c  267s |      22 |  2774918 |  2099622 |     1831   2541 |        0 |        0
269.15/269.25	c  269s |      22 |  2792694 |  2113522 |     1831   2554 |        0 |        0
271.15/271.26	c  271s |      22 |  2811923 |  2127522 |     1831   2568 |        0 |        0
273.15/273.27	c  273s |      22 |  2829348 |  2141122 |     1831   2581 |        0 |        0
275.15/275.29	c  275s |      22 |  2846884 |  2154422 |     1831   2594 |        0 |        0
277.15/277.30	c  277s |      22 |  2864390 |  2167722 |     1831   2607 |        0 |        0
279.24/279.30	c  279s |      22 |  2882252 |  2181322 |     1831   2621 |        0 |        0
281.24/281.31	c  281s |      22 |  2899569 |  2194522 |     1831   2634 |        0 |        0
283.24/283.32	c  283s |      22 |  2918582 |  2208822 |     1831   2648 |        0 |        0
285.24/285.32	c  285s |      22 |  2935528 |  2222322 |     1831   2661 |        0 |        0
287.24/287.34	c  287s |      22 |  2953980 |  2236122 |     2015   2674 |        0 |        0
289.25/289.34	c  289s |      22 |  2971918 |  2250022 |     2015   2687 |        0 |        0
289.44/289.51	c  289s |      23 |  2973185 |  2251038 |     2015   2688 |        0 |        0
291.45/291.52	c  291s |      23 |  2991911 |  2265338 |     2015   2701 |        0 |        0
293.44/293.53	c  293s |      23 |  3010684 |  2279438 |     2015   2714 |        0 |        0
295.44/295.54	c  295s |      23 |  3028543 |  2293338 |     2015   2726 |        0 |        0
297.44/297.55	c  297s |      23 |  3046736 |  2307538 |     2015   2739 |        0 |        0
299.44/299.57	c  299s |      23 |  3064718 |  2321238 |     2015   2752 |        0 |        0
301.44/301.57	c  301s |      23 |  3082140 |  2334838 |     2015   2765 |        0 |        0
303.44/303.58	c  303s |      23 |  3100534 |  2348838 |     2015   2778 |        0 |        0
305.44/305.59	c  305s |      23 |  3120554 |  2363338 |     2015   2791 |        0 |        0
307.54/307.61	c  307s |      23 |  3139254 |  2376938 |     2015   2804 |        0 |        0
309.54/309.63	c  309s |      23 |  3157702 |  2390838 |     2015   2816 |        0 |        0
311.53/311.64	c  311s |      23 |  3174763 |  2404138 |     2015   2829 |        0 |        0
313.54/313.64	c  313s |      23 |  3194672 |  2418538 |     2015   2842 |        0 |        0
315.53/315.65	c  315s |      23 |  3214094 |  2432138 |     2015   2855 |        0 |        0
317.53/317.66	c  317s |      23 |  3232547 |  2445638 |     2015   2867 |        0 |        0
319.53/319.67	c  319s |      23 |  3252464 |  2460238 |     2015   2881 |        0 |        0
321.53/321.68	c  321s |      23 |  3269259 |  2473438 |     2015   2893 |        0 |        0
323.53/323.69	c  323s |      23 |  3289735 |  2488238 |     2015   2906 |        0 |        0
325.54/325.69	c  325s |      23 |  3308914 |  2502738 |     2015   2920 |        0 |        0
327.63/327.71	c  327s |      23 |  3325873 |  2516038 |     2015   2932 |        0 |        0
329.63/329.72	c  329s |      23 |  3344454 |  2530438 |     2015   2945 |        0 |        0
331.63/331.73	c  331s |      23 |  3364062 |  2545138 |     2015   2959 |        0 |        0
333.63/333.73	c  333s |      23 |  3382698 |  2558938 |     2015   2971 |        0 |        0
335.63/335.74	c  335s |      23 |  3401756 |  2573038 |     2015   2984 |        0 |        0
337.64/337.74	c  337s |      23 |  3422284 |  2588038 |     2015   2998 |        0 |        0
339.63/339.74	c  339s |      23 |  3443319 |  2603238 |     2015   3012 |        0 |        0
341.63/341.75	c  341s |      23 |  3461774 |  2617438 |     2015   3025 |        0 |        0
343.63/343.77	c  343s |      23 |  3482285 |  2632538 |     2015   3039 |        0 |        0
345.63/345.77	c  345s |      23 |  3500757 |  2646938 |     2015   3052 |        0 |        0
347.63/347.78	c  347s |      23 |  3519179 |  2661038 |     2015   3065 |        0 |        0
349.63/349.79	c  349s |      23 |  3538065 |  2675238 |     2015   3078 |        0 |        0
351.63/351.79	c  351s |      23 |  3556985 |  2689838 |     2015   3091 |        0 |        0
353.73/353.80	c  353s |      23 |  3575897 |  2704138 |     2015   3104 |        0 |        0
355.72/355.81	c  355s |      23 |  3595368 |  2718838 |     2015   3118 |        0 |        0
357.72/357.82	c  357s |      23 |  3614639 |  2733338 |     2015   3131 |        0 |        0
359.73/359.83	c  359s |      23 |  3633790 |  2747338 |     2015   3144 |        0 |        0
361.72/361.83	c  361s |      23 |  3651037 |  2760238 |     2015   3156 |        0 |        0
363.72/363.84	c  363s |      23 |  3668256 |  2774038 |     2015   3168 |        0 |        0
365.72/365.85	c  365s |      23 |  3685312 |  2787238 |     2015   3181 |        0 |        0
367.72/367.85	c  367s |      23 |  3702227 |  2800338 |     2015   3193 |        0 |        0
369.72/369.86	c  369s |      23 |  3721283 |  2814238 |     2015   3206 |        0 |        0
371.73/371.87	c  371s |      23 |  3741863 |  2829038 |     2015   3220 |        0 |        0
373.73/373.88	c  373s |      23 |  3762112 |  2843538 |     2015   3233 |        0 |        0
375.73/375.88	c  375s |      23 |  3781048 |  2857638 |     2015   3246 |        0 |        0
377.73/377.89	c  377s |      23 |  3802337 |  2873638 |     2015   3261 |        0 |        0
379.73/379.89	c  379s |      23 |  3822117 |  2888338 |     2015   3274 |        0 |        0
381.83/381.90	c  381s |      23 |  3840549 |  2902738 |     2015   3288 |        0 |        0
383.84/383.91	c  383s |      23 |  3858771 |  2916938 |     2015   3301 |        0 |        0
385.83/385.92	c  385s |      23 |  3877333 |  2930838 |     2015   3313 |        0 |        0
387.83/387.93	c  387s |      23 |  3897638 |  2945638 |     2015   3327 |        0 |        0
389.83/389.93	c  389s |      23 |  3917148 |  2960638 |     2015   3341 |        0 |        0
391.83/391.95	c  391s |      23 |  3937109 |  2975838 |     2015   3355 |        0 |        0
393.83/393.95	c  393s |      23 |  3956598 |  2990738 |     2015   3368 |        0 |        0
395.83/395.96	c  395s |      23 |  3975113 |  3005238 |     2015   3381 |        0 |        0
397.83/397.96	c  397s |      23 |  3994081 |  3019438 |     2015   3394 |        0 |        0
399.83/399.97	c  399s |      23 |  4013631 |  3033938 |     2015   3408 |        0 |        0
401.82/401.97	c  401s |      23 |  4033294 |  3048338 |     2015   3421 |        0 |        0
403.82/403.98	c  403s |      23 |  4053116 |  3062338 |     2015   3434 |        0 |        0
405.83/405.98	c  405s |      23 |  4072275 |  3076538 |     2015   3447 |        0 |        0
407.92/408.00	c  407s |      23 |  4092608 |  3091538 |     2015   3461 |        0 |        0
409.92/410.00	c  409s |      23 |  4112335 |  3106038 |     2015   3474 |        0 |        0
411.92/412.01	c  411s |      23 |  4131720 |  3120338 |     2015   3487 |        0 |        0
413.92/414.02	c  414s |      23 |  4150881 |  3134738 |     2015   3501 |        0 |        0
415.92/416.02	c  416s |      23 |  4171609 |  3150438 |     2015   3515 |        0 |        0
417.93/418.03	c  418s |      23 |  4190855 |  3164838 |     2015   3529 |        0 |        0
419.92/420.05	c  420s |      23 |  4208905 |  3178938 |     2015   3542 |        0 |        0
421.92/422.05	c  422s |      23 |  4228849 |  3193838 |     2015   3555 |        0 |        0
423.92/424.06	c  424s |      23 |  4249019 |  3208738 |     2015   3569 |        0 |        0
425.92/426.06	c  426s |      23 |  4267295 |  3222838 |     2015   3582 |        0 |        0
427.93/428.06	c  428s |      23 |  4287550 |  3237938 |     2015   3596 |        0 |        0
429.92/430.08	c  430s |      23 |  4307660 |  3252738 |     2015   3609 |        0 |        0
431.92/432.08	c  432s |      23 |  4328202 |  3267738 |     2015   3623 |        0 |        0
433.92/434.09	c  434s |      23 |  4347860 |  3282438 |     2015   3636 |        0 |        0
436.02/436.10	c  436s |      23 |  4367458 |  3297038 |     2015   3650 |        0 |        0
438.02/438.10	c  438s |      23 |  4386559 |  3311838 |     2015   3663 |        0 |        0
440.03/440.11	c  440s |      23 |  4406355 |  3326938 |     2015   3677 |        0 |        0
442.02/442.12	c  442s |      23 |  4423578 |  3340338 |     2015   3689 |        0 |        0
444.02/444.13	c  444s |      23 |  4440651 |  3353538 |     2217   3701 |        0 |        0
446.02/446.14	c  446s |      23 |  4459987 |  3367638 |     2217   3713 |        0 |        0
447.42/447.51	c  447s |      24 |  4472028 |  3376662 |     2217   3721 |        0 |        0
449.42/449.53	c  449s |      24 |  4490762 |  3391062 |     2217   3733 |        0 |        0
451.42/451.53	c  451s |      24 |  4506720 |  3403262 |     2217   3743 |        0 |        0
453.42/453.54	c  453s |      24 |  4524956 |  3416762 |     2217   3754 |        0 |        0
455.42/455.54	c  455s |      24 |  4545158 |  3431062 |     2217   3766 |        0 |        0
457.42/457.55	c  457s |      24 |  4563800 |  3444862 |     2217   3777 |        0 |        0
459.42/459.56	c  459s |      24 |  4582691 |  3459162 |     2217   3789 |        0 |        0
461.42/461.57	c  461s |      24 |  4602999 |  3473562 |     2217   3801 |        0 |        0
463.42/463.58	c  463s |      24 |  4622788 |  3488062 |     2217   3813 |        0 |        0
465.42/465.58	c  465s |      24 |  4642270 |  3502462 |     2217   3825 |        0 |        0
467.42/467.58	c  467s |      24 |  4661648 |  3517062 |     2217   3837 |        0 |        0
469.41/469.59	c  469s |      24 |  4680697 |  3531462 |     2217   3849 |        0 |        0
471.41/471.59	c  471s |      24 |  4699264 |  3545162 |     2217   3861 |        0 |        0
473.51/473.61	c  473s |      24 |  4717074 |  3559262 |     2217   3872 |        0 |        0
475.51/475.61	c  475s |      24 |  4736470 |  3573862 |     2217   3884 |        0 |        0
477.51/477.62	c  477s |      24 |  4756484 |  3588762 |     2217   3897 |        0 |        0
479.52/479.63	c  479s |      24 |  4773349 |  3602062 |     2217   3908 |        0 |        0
481.51/481.64	c  481s |      24 |  4791648 |  3615862 |     2217   3919 |        0 |        0
483.51/483.65	c  483s |      24 |  4809424 |  3629362 |     2217   3930 |        0 |        0
485.51/485.65	c  485s |      24 |  4828697 |  3643262 |     2217   3942 |        0 |        0
487.51/487.66	c  487s |      24 |  4847838 |  3657362 |     2217   3954 |        0 |        0
489.52/489.66	c  489s |      24 |  4866584 |  3671462 |     2217   3965 |        0 |        0
491.51/491.66	c  491s |      24 |  4884430 |  3685662 |     2217   3977 |        0 |        0
493.51/493.67	c  493s |      24 |  4904835 |  3700362 |     2217   3990 |        0 |        0
495.51/495.68	c  495s |      24 |  4923493 |  3714562 |     2217   4001 |        0 |        0
497.51/497.69	c  497s |      24 |  4940951 |  3728062 |     2217   4013 |        0 |        0
499.61/499.70	c  499s |      24 |  4958596 |  3741662 |     2217   4024 |        0 |        0
501.62/501.71	c  501s |      24 |  4976057 |  3755162 |     2217   4035 |        0 |        0
503.61/503.71	c  503s |      24 |  4994717 |  3769162 |     2217   4047 |        0 |        0
505.61/505.72	c  505s |      24 |  5013244 |  3782862 |     2217   4058 |        0 |        0
507.61/507.73	c  507s |      24 |  5031122 |  3796262 |     2217   4069 |        0 |        0
509.61/509.74	c  509s |      24 |  5048459 |  3809662 |     2217   4081 |        0 |        0
511.61/511.74	c  511s |      24 |  5066442 |  3823262 |     2217   4092 |        0 |        0
513.61/513.76	c  513s |      24 |  5084925 |  3837162 |     2217   4104 |        0 |        0
515.60/515.76	c  515s |      24 |  5104567 |  3851562 |     2217   4116 |        0 |        0
517.60/517.77	c  517s |      24 |  5123624 |  3865662 |     2217   4127 |        0 |        0
519.60/519.78	c  519s |      24 |  5142743 |  3879962 |     2217   4139 |        0 |        0
521.60/521.79	c  521s |      24 |  5161944 |  3894362 |     2217   4151 |        0 |        0
523.70/523.80	c  523s |      24 |  5180034 |  3908362 |     2217   4163 |        0 |        0
525.71/525.82	c  525s |      24 |  5196959 |  3921262 |     2217   4174 |        0 |        0
527.70/527.82	c  527s |      24 |  5214009 |  3934162 |     2217   4184 |        0 |        0
529.70/529.83	c  529s |      24 |  5232383 |  3947962 |     2217   4196 |        0 |        0
531.70/531.84	c  531s |      24 |  5250316 |  3961362 |     2217   4207 |        0 |        0
533.70/533.85	c  533s |      24 |  5269263 |  3975862 |     2217   4219 |        0 |        0
535.71/535.85	c  535s |      24 |  5288994 |  3990362 |     2217   4231 |        0 |        0
537.70/537.86	c  537s |      24 |  5307248 |  4004562 |     2217   4243 |        0 |        0
539.70/539.87	c  539s |      24 |  5324253 |  4017862 |     2217   4254 |        0 |        0
541.70/541.88	c  541s |      24 |  5342793 |  4031562 |     2217   4265 |        0 |        0
543.70/543.89	c  543s |      24 |  5362667 |  4045262 |     2217   4277 |        0 |        0
545.70/545.89	c  545s |      24 |  5380361 |  4058562 |     2217   4288 |        0 |        0
547.80/547.90	c  547s |      24 |  5398441 |  4072162 |     2217   4299 |        0 |        0
549.80/549.91	c  549s |      24 |  5417620 |  4085962 |     2217   4311 |        0 |        0
551.80/551.91	c  551s |      24 |  5436725 |  4099662 |     2217   4322 |        0 |        0
553.80/553.91	c  553s |      24 |  5455729 |  4113662 |     2217   4334 |        0 |        0
555.80/555.91	c  555s |      24 |  5476055 |  4128462 |     2217   4346 |        0 |        0
557.80/557.92	c  557s |      24 |  5495038 |  4142462 |     2217   4358 |        0 |        0
559.80/559.93	c  559s |      24 |  5513208 |  4156362 |     2217   4370 |        0 |        0
561.80/561.94	c  561s |      24 |  5530092 |  4169362 |     2217   4381 |        0 |        0
563.80/563.95	c  563s |      24 |  5548800 |  4182962 |     2217   4392 |        0 |        0
565.79/565.96	c  565s |      24 |  5569715 |  4198262 |     2217   4405 |        0 |        0
567.79/567.96	c  567s |      24 |  5588573 |  4212062 |     2217   4416 |        0 |        0
569.80/569.98	c  569s |      24 |  5608211 |  4226462 |     2217   4429 |        0 |        0
571.79/571.99	c  571s |      24 |  5626535 |  4240262 |     2217   4440 |        0 |        0
573.79/573.99	c  573s |      24 |  5644773 |  4253662 |     2217   4451 |        0 |        0
575.89/576.00	c  575s |      24 |  5663698 |  4267362 |     2217   4463 |        0 |        0
577.89/578.02	c  578s |      24 |  5684359 |  4281462 |     2217   4475 |        0 |        0
579.89/580.04	c  580s |      24 |  5703054 |  4295062 |     2217   4486 |        0 |        0
581.90/582.04	c  582s |      24 |  5722075 |  4309862 |     2217   4498 |        0 |        0
583.89/584.05	c  584s |      24 |  5740876 |  4324362 |     2217   4511 |        0 |        0
585.89/586.05	c  586s |      24 |  5758349 |  4338062 |     2217   4522 |        0 |        0
587.89/588.06	c  588s |      24 |  5777233 |  4352362 |     2217   4534 |        0 |        0
589.89/590.07	c  590s |      24 |  5795771 |  4366662 |     2217   4546 |        0 |        0
591.89/592.08	c  592s |      24 |  5816193 |  4381862 |     2217   4559 |        0 |        0
593.89/594.09	c  594s |      24 |  5834147 |  4395562 |     2217   4570 |        0 |        0
595.89/596.09	c  596s |      24 |  5852920 |  4409262 |     2217   4582 |        0 |        0
597.99/598.11	c  598s |      24 |  5869689 |  4422562 |     2217   4593 |        0 |        0
599.99/600.11	c  600s |      24 |  5888227 |  4436462 |     2217   4605 |        0 |        0
601.99/602.11	c  602s |      24 |  5905982 |  4449862 |     2217   4616 |        0 |        0
603.99/604.11	c  604s |      24 |  5925044 |  4464062 |     2217   4628 |        0 |        0
605.99/606.12	c  606s |      24 |  5943414 |  4477762 |     2217   4640 |        0 |        0
607.98/608.12	c  608s |      24 |  5962398 |  4491162 |     2217   4651 |        0 |        0
609.99/610.14	c  610s |      24 |  5981165 |  4504962 |     2217   4662 |        0 |        0
611.99/612.15	c  612s |      24 |  5999159 |  4518662 |     2217   4674 |        0 |        0
613.99/614.16	c  614s |      24 |  6018000 |  4532962 |     2217   4686 |        0 |        0
616.00/616.16	c  616s |      24 |  6036719 |  4547462 |     2217   4698 |        0 |        0
617.99/618.16	c  618s |      24 |  6057371 |  4562262 |     2217   4711 |        0 |        0
619.99/620.17	c  620s |      24 |  6075387 |  4575962 |     2217   4722 |        0 |        0
621.99/622.18	c  622s |      24 |  6097194 |  4591162 |     2217   4735 |        0 |        0
623.99/624.19	c  624s |      24 |  6116945 |  4605562 |     2217   4747 |        0 |        0
626.09/626.20	c  626s |      24 |  6137020 |  4620462 |     2217   4760 |        0 |        0
628.10/628.21	c  628s |      24 |  6157235 |  4635362 |     2217   4772 |        0 |        0
630.09/630.23	c  630s |      24 |  6176063 |  4649662 |     2217   4785 |        0 |        0
632.09/632.25	c  632s |      24 |  6194467 |  4663562 |     2217   4796 |        0 |        0
634.09/634.25	c  634s |      24 |  6210866 |  4676462 |     2217   4807 |        0 |        0
636.09/636.26	c  636s |      24 |  6228480 |  4689762 |     2217   4818 |        0 |        0
638.09/638.27	c  638s |      24 |  6245536 |  4702562 |     2217   4829 |        0 |        0
640.09/640.28	c  640s |      24 |  6264830 |  4716562 |     2217   4841 |        0 |        0
642.09/642.28	c  642s |      24 |  6283379 |  4730962 |     2217   4853 |        0 |        0
644.08/644.28	c  644s |      24 |  6302619 |  4745662 |     2217   4865 |        0 |        0
646.08/646.29	c  646s |      24 |  6322559 |  4760462 |     2217   4878 |        0 |        0
648.08/648.29	c  648s |      24 |  6342059 |  4774962 |     2217   4890 |        0 |        0
650.18/650.30	c  650s |      24 |  6361276 |  4789262 |     2217   4902 |        0 |        0
652.19/652.30	c  652s |      24 |  6379521 |  4803462 |     2217   4914 |        0 |        0
654.18/654.31	c  654s |      24 |  6399600 |  4817562 |     2217   4926 |        0 |        0
656.18/656.32	c  656s |      24 |  6418949 |  4831762 |     2217   4938 |        0 |        0
658.18/658.32	c  658s |      24 |  6438284 |  4846262 |     2217   4950 |        0 |        0
660.18/660.33	c  660s |      24 |  6458189 |  4861262 |     2217   4963 |        0 |        0
662.19/662.33	c  662s |      24 |  6478895 |  4876162 |     2217   4975 |        0 |        0
664.18/664.34	c  664s |      24 |  6498062 |  4890762 |     2217   4988 |        0 |        0
666.18/666.35	c  666s |      24 |  6515871 |  4904362 |     2217   4999 |        0 |        0
668.18/668.36	c  668s |      24 |  6533055 |  4917462 |     2217   5010 |        0 |        0
670.18/670.38	c  670s |      24 |  6551742 |  4931562 |     2217   5022 |        0 |        0
672.18/672.38	c  672s |      24 |  6571073 |  4945962 |     2217   5034 |        0 |        0
674.18/674.39	c  674s |      24 |  6591498 |  4961362 |     2217   5047 |        0 |        0
676.27/676.40	c  676s |      24 |  6609982 |  4975162 |     2217   5058 |        0 |        0
678.27/678.41	c  678s |      24 |  6628997 |  4989562 |     2217   5071 |        0 |        0
680.27/680.41	c  680s |      24 |  6647489 |  5003262 |     2217   5082 |        0 |        0
682.27/682.41	c  682s |      24 |  6664855 |  5016762 |     2217   5093 |        0 |        0
684.27/684.42	c  684s |      24 |  6682696 |  5030162 |     2439   5105 |        0 |        0
686.27/686.42	c  686s |      24 |  6700491 |  5043762 |     2439   5115 |        0 |        0
688.27/688.43	c  688s |      24 |  6716822 |  5056362 |     2439   5125 |        0 |        0
689.57/689.74	c  689s |      25 |  6728274 |  5065098 |     2439   5131 |        0 |        0
691.56/691.74	c  691s |      25 |  6745246 |  5077998 |     2439   5141 |        0 |        0
693.56/693.75	c  693s |      25 |  6760963 |  5090298 |     2439   5151 |        0 |        0
695.56/695.76	c  695s |      25 |  6776746 |  5102598 |     2439   5160 |        0 |        0
697.56/697.77	c  697s |      25 |  6792733 |  5114698 |     2439   5169 |        0 |        0
699.57/699.78	c  699s |      25 |  6809030 |  5127098 |     2439   5179 |        0 |        0
701.56/701.79	c  701s |      25 |  6825476 |  5139298 |     2439   5188 |        0 |        0
703.66/703.80	c  703s |      25 |  6842076 |  5151698 |     2439   5197 |        0 |        0
705.66/705.80	c  705s |      25 |  6859171 |  5164298 |     2439   5207 |        0 |        0
707.66/707.82	c  707s |      25 |  6875051 |  5176598 |     2439   5217 |        0 |        0
709.66/709.83	c  709s |      25 |  6891010 |  5188998 |     2439   5226 |        0 |        0
711.66/711.83	c  711s |      25 |  6906276 |  5200998 |     2439   5235 |        0 |        0
713.65/713.84	c  713s |      25 |  6922121 |  5213598 |     2439   5245 |        0 |        0
715.65/715.85	c  715s |      25 |  6938924 |  5226498 |     2439   5255 |        0 |        0
717.65/717.87	c  717s |      25 |  6955738 |  5239598 |     2439   5265 |        0 |        0
719.65/719.88	c  719s |      25 |  6973859 |  5253398 |     2439   5275 |        0 |        0
721.65/721.88	c  721s |      25 |  6991723 |  5266898 |     2439   5285 |        0 |        0
723.66/723.90	c  723s |      25 |  7008527 |  5280198 |     2439   5296 |        0 |        0
725.75/725.92	c  725s |      25 |  7027232 |  5294498 |     2439   5306 |        0 |        0
727.75/727.92	c  727s |      25 |  7045641 |  5308498 |     2439   5317 |        0 |        0
729.75/729.92	c  729s |      25 |  7063021 |  5321798 |     2439   5327 |        0 |        0
731.75/731.92	c  731s |      25 |  7081913 |  5336098 |     2439   5338 |        0 |        0
733.75/733.94	c  733s |      25 |  7099645 |  5349098 |     2439   5348 |        0 |        0
735.75/735.94	c  735s |      25 |  7115108 |  5360798 |     2439   5357 |        0 |        0
737.74/737.95	c  737s |      25 |  7130938 |  5372598 |     2439   5366 |        0 |        0
739.74/739.95	c  739s |      25 |  7147106 |  5384498 |     2439   5376 |        0 |        0
741.75/741.96	c  741s |      25 |  7163172 |  5396798 |     2439   5385 |        0 |        0
743.75/743.96	c  743s |      25 |  7179797 |  5409398 |     2439   5395 |        0 |        0
745.76/745.98	c  745s |      25 |  7196167 |  5421698 |     2439   5404 |        0 |        0
747.86/748.01	c  747s |      25 |  7211483 |  5433798 |     2439   5414 |        0 |        0
749.85/750.01	c  749s |      25 |  7226890 |  5445698 |     2439   5423 |        0 |        0
751.85/752.02	c  752s |      25 |  7240616 |  5456498 |     2439   5431 |        0 |        0
753.85/754.02	c  754s |      25 |  7257627 |  5468998 |     2439   5441 |        0 |        0
755.85/756.03	c  756s |      25 |  7274367 |  5481298 |     2439   5450 |        0 |        0
757.85/758.04	c  758s |      25 |  7290795 |  5493598 |     2439   5460 |        0 |        0
759.85/760.05	c  760s |      25 |  7307299 |  5505898 |     2439   5469 |        0 |        0
761.85/762.05	c  762s |      25 |  7322695 |  5517898 |     2439   5478 |        0 |        0
763.84/764.06	c  764s |      25 |  7338593 |  5529798 |     2439   5487 |        0 |        0
765.84/766.06	c  766s |      25 |  7354535 |  5542198 |     2439   5497 |        0 |        0
767.84/768.06	c  768s |      25 |  7370722 |  5554398 |     2439   5506 |        0 |        0
769.85/770.06	c  770s |      25 |  7387137 |  5566698 |     2439   5516 |        0 |        0
771.84/772.08	c  772s |      25 |  7401243 |  5578098 |     2439   5525 |        0 |        0
773.84/774.09	c  774s |      25 |  7415434 |  5589398 |     2439   5533 |        0 |        0
775.83/776.09	c  776s |      25 |  7432261 |  5601698 |     2439   5543 |        0 |        0
777.93/778.10	c  778s |      25 |  7450502 |  5615298 |     2439   5553 |        0 |        0
779.93/780.10	c  780s |      25 |  7466407 |  5627598 |     2439   5563 |        0 |        0
781.94/782.10	c  782s |      25 |  7483650 |  5640798 |     2439   5573 |        0 |        0
783.93/784.11	c  784s |      25 |  7500227 |  5653898 |     2439   5583 |        0 |        0
785.93/786.12	c  786s |      25 |  7519172 |  5668298 |     2439   5594 |        0 |        0
787.93/788.13	c  788s |      25 |  7537802 |  5682598 |     2439   5605 |        0 |        0
789.92/790.14	c  790s |      25 |  7554440 |  5695498 |     2439   5614 |        0 |        0
791.93/792.15	c  792s |      25 |  7571848 |  5708998 |     2439   5625 |        0 |        0
793.92/794.16	c  794s |      25 |  7588404 |  5721898 |     2439   5635 |        0 |        0
795.92/796.17	c  796s |      25 |  7605216 |  5735098 |     2439   5645 |        0 |        0
797.92/798.18	c  798s |      25 |  7622866 |  5748598 |     2439   5655 |        0 |        0
799.92/800.18	c  800s |      25 |  7641345 |  5762498 |     2439   5666 |        0 |        0
801.92/802.19	c  802s |      25 |  7658103 |  5775698 |     2439   5676 |        0 |        0
803.93/804.19	c  804s |      25 |  7675795 |  5789498 |     2439   5686 |        0 |        0
806.02/806.20	c  806s |      25 |  7694527 |  5803898 |     2439   5697 |        0 |        0
808.02/808.21	c  808s |      25 |  7711678 |  5817598 |     2439   5708 |        0 |        0
810.02/810.23	c  810s |      25 |  7729596 |  5831598 |     2439   5719 |        0 |        0
812.02/812.24	c  812s |      25 |  7748073 |  5845598 |     2439   5729 |        0 |        0
814.02/814.25	c  814s |      25 |  7767534 |  5860198 |     2439   5740 |        0 |        0
816.02/816.26	c  816s |      25 |  7785596 |  5874198 |     2439   5751 |        0 |        0
818.01/818.27	c  818s |      25 |  7803187 |  5887898 |     2439   5761 |        0 |        0
820.01/820.28	c  820s |      25 |  7819298 |  5900798 |     2439   5771 |        0 |        0
822.01/822.28	c  822s |      25 |  7837205 |  5914298 |     2439   5782 |        0 |        0
824.01/824.29	c  824s |      25 |  7855589 |  5928498 |     2439   5793 |        0 |        0
826.01/826.29	c  826s |      25 |  7873883 |  5942598 |     2439   5803 |        0 |        0
828.11/828.30	c  828s |      25 |  7891413 |  5956098 |     2439   5814 |        0 |        0
830.10/830.32	c  830s |      25 |  7909276 |  5969498 |     2439   5824 |        0 |        0
832.10/832.32	c  832s |      25 |  7928701 |  5983898 |     2439   5835 |        0 |        0
834.10/834.32	c  834s |      25 |  7945989 |  5997498 |     2439   5845 |        0 |        0
836.09/836.33	c  836s |      25 |  7963494 |  6010798 |     2439   5856 |        0 |        0
838.10/838.33	c  838s |      25 |  7978773 |  6022798 |     2439   5865 |        0 |        0
840.09/840.35	c  840s |      25 |  7994979 |  6035098 |     2439   5874 |        0 |        0
842.09/842.36	c  842s |      25 |  8010753 |  6047298 |     2439   5884 |        0 |        0
844.09/844.37	c  844s |      25 |  8025486 |  6058998 |     2439   5893 |        0 |        0
846.09/846.37	c  846s |      25 |  8042677 |  6071898 |     2439   5903 |        0 |        0
848.09/848.37	c  848s |      25 |  8060792 |  6085698 |     2439   5913 |        0 |        0
850.10/850.39	c  850s |      25 |  8078078 |  6099098 |     2439   5923 |        0 |        0
852.19/852.41	c  852s |      25 |  8095096 |  6112298 |     2439   5934 |        0 |        0
854.19/854.42	c  854s |      25 |  8112545 |  6125498 |     2439   5944 |        0 |        0
856.18/856.43	c  856s |      25 |  8129964 |  6138998 |     2439   5954 |        0 |        0
858.18/858.45	c  858s |      25 |  8147388 |  6152398 |     2439   5964 |        0 |        0
860.18/860.46	c  860s |      25 |  8162467 |  6164198 |     2439   5973 |        0 |        0
862.19/862.46	c  862s |      25 |  8176585 |  6175398 |     2439   5982 |        0 |        0
864.18/864.47	c  864s |      25 |  8192370 |  6187698 |     2439   5991 |        0 |        0
866.18/866.47	c  866s |      25 |  8207780 |  6199498 |     2439   6000 |        0 |        0
868.18/868.47	c  868s |      25 |  8224500 |  6212198 |     2439   6010 |        0 |        0
870.17/870.48	c  870s |      25 |  8240787 |  6224798 |     2439   6020 |        0 |        0
872.19/872.49	c  872s |      25 |  8257759 |  6238098 |     2439   6030 |        0 |        0
874.18/874.50	c  874s |      25 |  8274698 |  6251198 |     2439   6040 |        0 |        0
876.28/876.50	c  876s |      25 |  8290861 |  6263998 |     2439   6050 |        0 |        0
878.28/878.50	c  878s |      25 |  8307690 |  6277098 |     2439   6060 |        0 |        0
880.28/880.53	c  880s |      25 |  8325395 |  6290798 |     2439   6071 |        0 |        0
882.28/882.54	c  882s |      25 |  8342027 |  6303998 |     2439   6081 |        0 |        0
884.28/884.56	c  884s |      25 |  8359382 |  6317198 |     2439   6091 |        0 |        0
886.28/886.56	c  886s |      25 |  8376711 |  6330498 |     2439   6101 |        0 |        0
888.27/888.57	c  888s |      25 |  8393662 |  6343498 |     2439   6111 |        0 |        0
890.27/890.58	c  890s |      25 |  8410432 |  6356398 |     2439   6121 |        0 |        0
892.27/892.58	c  892s |      25 |  8427678 |  6369398 |     2439   6131 |        0 |        0
894.27/894.59	c  894s |      25 |  8443762 |  6382198 |     2439   6140 |        0 |        0
896.27/896.59	c  896s |      25 |  8462679 |  6395998 |     2439   6151 |        0 |        0
898.27/898.60	c  898s |      25 |  8480645 |  6409698 |     2439   6161 |        0 |        0
900.37/900.61	c  900s |      25 |  8496898 |  6422898 |     2439   6171 |        0 |        0
902.37/902.63	c  902s |      25 |  8511449 |  6434998 |     2439   6181 |        0 |        0
904.36/904.63	c  904s |      25 |  8528834 |  6448198 |     2439   6191 |        0 |        0
906.36/906.63	c  906s |      25 |  8546700 |  6461598 |     2439   6201 |        0 |        0
908.37/908.64	c  908s |      25 |  8563755 |  6474598 |     2439   6211 |        0 |        0
910.36/910.64	c  910s |      25 |  8581612 |  6488198 |     2439   6221 |        0 |        0
912.36/912.64	c  912s |      25 |  8596144 |  6500198 |     2439   6230 |        0 |        0
914.36/914.65	c  914s |      25 |  8612619 |  6513198 |     2439   6240 |        0 |        0
916.35/916.66	c  916s |      25 |  8628842 |  6525898 |     2439   6250 |        0 |        0
918.36/918.66	c  918s |      25 |  8646027 |  6538898 |     2439   6259 |        0 |        0
920.35/920.67	c  920s |      25 |  8662259 |  6551698 |     2439   6269 |        0 |        0
922.35/922.67	c  922s |      25 |  8677896 |  6564198 |     2439   6279 |        0 |        0
924.35/924.68	c  924s |      25 |  8693846 |  6576898 |     2439   6288 |        0 |        0
926.45/926.70	c  926s |      25 |  8711045 |  6590298 |     2439   6299 |        0 |        0
928.45/928.71	c  928s |      25 |  8728340 |  6603798 |     2439   6309 |        0 |        0
930.45/930.71	c  930s |      25 |  8746550 |  6617598 |     2439   6319 |        0 |        0
932.45/932.72	c  932s |      25 |  8764671 |  6630998 |     2439   6329 |        0 |        0
934.45/934.73	c  934s |      25 |  8782515 |  6644498 |     2439   6340 |        0 |        0
936.44/936.74	c  936s |      25 |  8798080 |  6657098 |     2439   6349 |        0 |        0
938.44/938.75	c  938s |      25 |  8814765 |  6669798 |     2439   6359 |        0 |        0
940.44/940.75	c  940s |      25 |  8830421 |  6681898 |     2439   6368 |        0 |        0
942.44/942.77	c  942s |      25 |  8846291 |  6694398 |     2439   6378 |        0 |        0
944.44/944.78	c  944s |      25 |  8861576 |  6706798 |     2439   6387 |        0 |        0
946.43/946.79	c  946s |      25 |  8879346 |  6720498 |     2439   6398 |        0 |        0
948.53/948.80	c  948s |      25 |  8897319 |  6734298 |     2439   6408 |        0 |        0
950.53/950.81	c  950s |      25 |  8914755 |  6747698 |     2439   6418 |        0 |        0
952.53/952.82	c  952s |      25 |  8934322 |  6762098 |     2439   6429 |        0 |        0
954.54/954.83	c  954s |      25 |  8951536 |  6775398 |     2439   6439 |        0 |        0
956.53/956.84	c  956s |      25 |  8969350 |  6789298 |     2439   6450 |        0 |        0
958.53/958.85	c  958s |      25 |  8986573 |  6802698 |     2439   6460 |        0 |        0
960.53/960.86	c  960s |      25 |  9002891 |  6815898 |     2439   6470 |        0 |        0
962.53/962.87	c  962s |      25 |  9019632 |  6829198 |     2439   6481 |        0 |        0
964.54/964.88	c  964s |      25 |  9036923 |  6842698 |     2439   6491 |        0 |        0
966.52/966.88	c  966s |      25 |  9052162 |  6854898 |     2439   6500 |        0 |        0
968.52/968.90	c  968s |      25 |  9069061 |  6868398 |     2439   6511 |        0 |        0
970.62/970.91	c  970s |      25 |  9087150 |  6882198 |     2439   6521 |        0 |        0
972.62/972.92	c  972s |      25 |  9105492 |  6895998 |     2439   6532 |        0 |        0
974.62/974.93	c  974s |      25 |  9123537 |  6909798 |     2439   6542 |        0 |        0
976.62/976.93	c  976s |      25 |  9140019 |  6922798 |     2439   6552 |        0 |        0
978.61/978.95	c  978s |      25 |  9157238 |  6936098 |     2439   6563 |        0 |        0
980.61/980.96	c  980s |      25 |  9174589 |  6949498 |     2439   6573 |        0 |        0
982.61/982.97	c  982s |      25 |  9193424 |  6963498 |     2439   6584 |        0 |        0
984.61/984.97	c  984s |      25 |  9211009 |  6976898 |     2439   6594 |        0 |        0
986.61/986.99	c  986s |      25 |  9227990 |  6990298 |     2439   6604 |        0 |        0
988.62/989.00	c  988s |      25 |  9245986 |  7003798 |     2439   6614 |        0 |        0
990.71/991.01	c  990s |      25 |  9264065 |  7017598 |     2439   6625 |        0 |        0
992.71/993.02	c  993s |      25 |  9281004 |  7030398 |     2439   6635 |        0 |        0
994.71/995.03	c  995s |      25 |  9297707 |  7043398 |     2439   6645 |        0 |        0
996.70/997.05	c  997s |      25 |  9313988 |  7055998 |     2439   6654 |        0 |        0
998.70/999.05	c  999s |      25 |  9331741 |  7069298 |     2439   6665 |        0 |        0
1000.71/1001.05	c 1001s |      25 |  9349244 |  7082798 |     2439   6675 |        0 |        0
1002.70/1003.06	c 1003s |      25 |  9367501 |  7096798 |     2439   6686 |        0 |        0
1004.70/1005.07	c 1005s |      25 |  9385707 |  7110398 |     2439   6696 |        0 |        0
1006.70/1007.08	c 1007s |      25 |  9405271 |  7125198 |     2439   6708 |        0 |        0
1008.70/1009.09	c 1009s |      25 |  9423269 |  7138898 |     2439   6718 |        0 |        0
1010.70/1011.09	c 1011s |      25 |  9441302 |  7152598 |     2439   6728 |        0 |        0
1012.70/1013.09	c 1013s |      25 |  9457466 |  7164698 |     2439   6738 |        0 |        0
1014.80/1015.10	c 1015s |      25 |  9473032 |  7176798 |     2439   6747 |        0 |        0
1016.79/1017.11	c 1017s |      25 |  9488183 |  7188498 |     2439   6756 |        0 |        0
1018.79/1019.13	c 1019s |      25 |  9503673 |  7200398 |     2439   6765 |        0 |        0
1020.79/1021.13	c 1021s |      25 |  9519349 |  7212398 |     2439   6774 |        0 |        0
1022.80/1023.14	c 1023s |      25 |  9534466 |  7224298 |     2439   6784 |        0 |        0
1024.79/1025.14	c 1025s |      25 |  9549922 |  7236398 |     2439   6793 |        0 |        0
1026.79/1027.15	c 1027s |      25 |  9565451 |  7248598 |     2439   6802 |        0 |        0
1028.79/1029.15	c 1029s |      25 |  9581732 |  7261198 |     2439   6812 |        0 |        0
1030.79/1031.17	c 1031s |      25 |  9597745 |  7273798 |     2439   6822 |        0 |        0
1032.79/1033.17	c 1033s |      25 |  9613750 |  7286398 |     2439   6831 |        0 |        0
1034.79/1035.18	c 1035s |      25 |  9629180 |  7298698 |     2439   6841 |        0 |        0
1036.78/1037.18	c 1037s |      25 |  9643024 |  7309898 |     2439   6849 |        0 |        0
1038.88/1039.20	c 1039s |      25 |  9658729 |  7321898 |     2439   6859 |        0 |        0
1040.88/1041.20	c 1041s |      25 |  9676132 |  7335598 |     2439   6869 |        0 |        0
1042.88/1043.21	c 1043s |      25 |  9694329 |  7349398 |     2439   6880 |        0 |        0
1044.88/1045.21	c 1045s |      25 |  9711371 |  7362598 |     2439   6890 |        0 |        0
1046.88/1047.22	c 1047s |      25 |  9728356 |  7376198 |     2439   6900 |        0 |        0
1048.87/1049.23	c 1049s |      25 |  9746238 |  7389998 |     2439   6911 |        0 |        0
1050.87/1051.24	c 1051s |      25 |  9764270 |  7403498 |     2439   6921 |        0 |        0
1052.87/1053.26	c 1053s |      25 |  9779790 |  7415898 |     2439   6931 |        0 |        0
1054.87/1055.26	c 1055s |      25 |  9797182 |  7429098 |     2439   6941 |        0 |        0
1056.87/1057.28	c 1057s |      25 |  9814915 |  7442798 |     2439   6951 |        0 |        0
1058.87/1059.29	c 1059s |      25 |  9832156 |  7456398 |     2439   6962 |        0 |        0
1060.97/1061.31	c 1061s |      25 |  9848973 |  7469298 |     2439   6971 |        0 |        0
1062.97/1063.31	c 1063s |      25 |  9865562 |  7481898 |     2439   6981 |        0 |        0
1064.97/1065.32	c 1065s |      25 |  9880862 |  7493598 |     2439   6990 |        0 |        0
1066.96/1067.33	c 1067s |      25 |  9898089 |  7506898 |     2439   7000 |        0 |        0
1068.97/1069.33	c 1069s |      25 |  9916097 |  7520998 |     2439   7011 |        0 |        0
1070.96/1071.34	c 1071s |      25 |  9933417 |  7533998 |     2439   7021 |        0 |        0
1072.96/1073.34	c 1073s |      25 |  9948701 |  7545998 |     2683   7030 |        0 |        0
1074.96/1075.36	c 1075s |      25 |  9963389 |  7557798 |     2683   7038 |        0 |        0
1076.97/1077.36	c 1077s |      25 |  9978902 |  7570298 |     2683   7047 |        0 |        0
1078.97/1079.37	c 1079s |      25 |  9996698 |  7583998 |     2683   7057 |        0 |        0
1080.97/1081.38	c 1081s |      25 | 10012826 |  7596498 |     2683   7065 |        0 |        0
1081.16/1081.60	c 1081s |      26 | 10014473 |  7597752 |     2683   7066 |        0 |        0
1083.17/1083.60	c 1083s |      26 | 10029188 |  7609752 |     2683   7075 |        0 |        0
1085.26/1085.62	c 1085s |      26 | 10044542 |  7622052 |     2683   7083 |        0 |        0
1087.26/1087.62	c 1087s |      26 | 10061265 |  7634752 |     2683   7092 |        0 |        0
1089.26/1089.62	c 1089s |      26 | 10079349 |  7648452 |     2683   7101 |        0 |        0
1091.26/1091.63	c 1091s |      26 | 10096093 |  7661552 |     2683   7111 |        0 |        0
1093.25/1093.64	c 1093s |      26 | 10113251 |  7674652 |     2683   7120 |        0 |        0
1095.26/1095.64	c 1095s |      26 | 10128006 |  7686752 |     2683   7128 |        0 |        0
1097.25/1097.64	c 1097s |      26 | 10144912 |  7699552 |     2683   7137 |        0 |        0
1099.25/1099.66	c 1099s |      26 | 10163888 |  7713652 |     2683   7147 |        0 |        0
1101.25/1101.67	c 1101s |      26 | 10177800 |  7725252 |     2683   7155 |        0 |        0
1103.25/1103.68	c 1103s |      26 | 10193963 |  7737552 |     2683   7164 |        0 |        0
1105.25/1105.69	c 1105s |      26 | 10211762 |  7751052 |     2683   7173 |        0 |        0
1107.25/1107.69	c 1107s |      26 | 10228972 |  7764552 |     2683   7183 |        0 |        0
1109.35/1109.71	c 1109s |      26 | 10245991 |  7778252 |     2683   7192 |        0 |        0
1111.35/1111.72	c 1111s |      26 | 10263089 |  7791552 |     2683   7201 |        0 |        0
1113.34/1113.74	c 1113s |      26 | 10279204 |  7803752 |     2683   7210 |        0 |        0
1115.34/1115.75	c 1115s |      26 | 10295951 |  7816452 |     2683   7219 |        0 |        0
1117.35/1117.78	c 1117s |      26 | 10312498 |  7828952 |     2683   7228 |        0 |        0
1119.34/1119.78	c 1119s |      26 | 10328567 |  7841452 |     2683   7236 |        0 |        0
1121.34/1121.79	c 1121s |      26 | 10345703 |  7854152 |     2683   7245 |        0 |        0
1123.44/1123.80	c 1123s |      26 | 10363174 |  7867252 |     2683   7254 |        0 |        0
1125.43/1125.81	c 1125s |      26 | 10382408 |  7881452 |     2683   7264 |        0 |        0
1127.43/1127.82	c 1127s |      26 | 10398737 |  7894252 |     2683   7273 |        0 |        0
1129.44/1129.83	c 1129s |      26 | 10416834 |  7907452 |     2683   7283 |        0 |        0
1131.43/1131.85	c 1131s |      26 | 10433427 |  7920052 |     2683   7291 |        0 |        0
1133.43/1133.86	c 1133s |      26 | 10448171 |  7931652 |     2683   7299 |        0 |        0
1135.43/1135.86	c 1135s |      26 | 10467512 |  7946052 |     2683   7310 |        0 |        0
1137.43/1137.87	c 1137s |      26 | 10484897 |  7958952 |     2683   7319 |        0 |        0
1139.43/1139.88	c 1139s |      26 | 10502988 |  7972452 |     2683   7328 |        0 |        0
1141.43/1141.90	c 1141s |      26 | 10520652 |  7985752 |     2683   7337 |        0 |        0
1143.53/1143.91	c 1143s |      26 | 10538103 |  7999052 |     2683   7347 |        0 |        0
1145.52/1145.92	c 1145s |      26 | 10556071 |  8012552 |     2683   7356 |        0 |        0
1147.52/1147.93	c 1147s |      26 | 10572438 |  8025352 |     2683   7365 |        0 |        0
1149.52/1149.93	c 1149s |      26 | 10591147 |  8039452 |     2683   7375 |        0 |        0
1151.52/1151.94	c 1151s |      26 | 10608807 |  8052552 |     2683   7384 |        0 |        0
1153.53/1153.94	c 1153s |      26 | 10627482 |  8065852 |     2683   7394 |        0 |        0
1155.52/1155.95	c 1155s |      26 | 10644543 |  8078652 |     2683   7403 |        0 |        0
1157.52/1157.96	c 1157s |      26 | 10661605 |  8091552 |     2683   7412 |        0 |        0
1159.52/1159.98	c 1159s |      26 | 10678507 |  8104252 |     2683   7421 |        0 |        0
1161.52/1161.98	c 1161s |      26 | 10695636 |  8117252 |     2683   7430 |        0 |        0
1163.52/1163.99	c 1163s |      26 | 10713546 |  8130652 |     2683   7439 |        0 |        0
1165.51/1165.99	c 1165s |      26 | 10732493 |  8144552 |     2683   7449 |        0 |        0
1167.61/1168.01	c 1167s |      26 | 10751017 |  8157952 |     2683   7458 |        0 |        0
1169.61/1170.01	c 1169s |      26 | 10768829 |  8171452 |     2683   7468 |        0 |        0
1171.61/1172.02	c 1171s |      26 | 10787413 |  8184952 |     2683   7477 |        0 |        0
1173.61/1174.02	c 1173s |      26 | 10803987 |  8197552 |     2683   7486 |        0 |        0
1175.61/1176.03	c 1176s |      26 | 10819859 |  8209852 |     2683   7495 |        0 |        0
1177.60/1178.04	c 1178s |      26 | 10836784 |  8222252 |     2683   7503 |        0 |        0
1179.60/1180.05	c 1180s |      26 | 10851670 |  8233652 |     2683   7511 |        0 |        0
1181.60/1182.07	c 1182s |      26 | 10866991 |  8245852 |     2683   7520 |        0 |        0
1183.60/1184.07	c 1184s |      26 | 10882498 |  8257552 |     2683   7528 |        0 |        0
1185.59/1186.08	c 1186s |      26 | 10898813 |  8269952 |     2683   7537 |        0 |        0
1187.60/1188.09	c 1188s |      26 | 10915962 |  8282752 |     2683   7546 |        0 |        0
1189.69/1190.10	c 1190s |      26 | 10932019 |  8295052 |     2683   7554 |        0 |        0
1191.70/1192.10	c 1192s |      26 | 10947051 |  8307052 |     2683   7563 |        0 |        0
1193.70/1194.10	c 1194s |      26 | 10963306 |  8319352 |     2683   7571 |        0 |        0
1195.69/1196.10	c 1196s |      26 | 10980201 |  8332152 |     2683   7580 |        0 |        0
1197.69/1198.10	c 1198s |      26 | 10996735 |  8344652 |     2683   7589 |        0 |        0
1199.70/1200.12	c 1200s |      26 | 11013966 |  8357552 |     2683   7598 |        0 |        0
1201.69/1202.13	c 1202s |      26 | 11031698 |  8370652 |     2683   7607 |        0 |        0
1203.69/1204.15	c 1204s |      26 | 11046762 |  8382552 |     2683   7616 |        0 |        0
1205.69/1206.16	c 1206s |      26 | 11062315 |  8394452 |     2683   7624 |        0 |        0
1207.69/1208.17	c 1208s |      26 | 11079945 |  8408152 |     2683   7634 |        0 |        0
1209.69/1210.18	c 1210s |      26 | 11098135 |  8421952 |     2683   7643 |        0 |        0
1211.68/1212.18	c 1212s |      26 | 11116059 |  8435452 |     2683   7653 |        0 |        0
1213.68/1214.19	c 1214s |      26 | 11133828 |  8448552 |     2683   7662 |        0 |        0
1215.78/1216.20	c 1216s |      26 | 11150326 |  8461552 |     2683   7671 |        0 |        0
1217.78/1218.20	c 1218s |      26 | 11165794 |  8473752 |     2683   7680 |        0 |        0
1219.78/1220.22	c 1220s |      26 | 11181940 |  8486052 |     2683   7689 |        0 |        0
1221.78/1222.23	c 1222s |      26 | 11200159 |  8499552 |     2683   7698 |        0 |        0
1223.78/1224.24	c 1224s |      26 | 11219261 |  8513152 |     2683   7708 |        0 |        0
1225.77/1226.24	c 1226s |      26 | 11237495 |  8527152 |     2683   7717 |        0 |        0
1227.77/1228.25	c 1228s |      26 | 11252925 |  8538952 |     2683   7726 |        0 |        0
1229.77/1230.25	c 1230s |      26 | 11268280 |  8551352 |     2683   7734 |        0 |        0
1231.77/1232.27	c 1232s |      26 | 11287232 |  8565352 |     2683   7744 |        0 |        0
1233.78/1234.27	c 1234s |      26 | 11303405 |  8577952 |     2683   7753 |        0 |        0
1235.77/1236.29	c 1236s |      26 | 11319704 |  8590252 |     2683   7762 |        0 |        0
1237.77/1238.29	c 1238s |      26 | 11336308 |  8603452 |     2683   7771 |        0 |        0
1239.87/1240.30	c 1240s |      26 | 11353235 |  8616752 |     2683   7780 |        0 |        0
1241.87/1242.31	c 1242s |      26 | 11369255 |  8629552 |     2683   7789 |        0 |        0
1243.87/1244.32	c 1244s |      26 | 11385819 |  8642352 |     2683   7798 |        0 |        0
1245.87/1246.32	c 1246s |      26 | 11403327 |  8655852 |     2683   7808 |        0 |        0
1247.86/1248.33	c 1248s |      26 | 11421016 |  8668752 |     2683   7817 |        0 |        0
1249.86/1250.35	c 1250s |      26 | 11437249 |  8681252 |     2683   7826 |        0 |        0
1251.86/1252.35	c 1252s |      26 | 11454767 |  8694552 |     2683   7835 |        0 |        0
1253.86/1254.36	c 1254s |      26 | 11471279 |  8707152 |     2683   7844 |        0 |        0
1255.86/1256.37	c 1256s |      26 | 11488774 |  8720152 |     2683   7853 |        0 |        0
1257.85/1258.38	c 1258s |      26 | 11504292 |  8732252 |     2683   7862 |        0 |        0
1259.85/1260.38	c 1260s |      26 | 11520142 |  8744352 |     2683   7870 |        0 |        0
1261.85/1262.39	c 1262s |      26 | 11537037 |  8757152 |     2683   7879 |        0 |        0
1263.95/1264.40	c 1264s |      26 | 11553524 |  8769152 |     2683   7888 |        0 |        0
1265.95/1266.41	c 1266s |      26 | 11569469 |  8781652 |     2683   7896 |        0 |        0
1267.95/1268.43	c 1268s |      26 | 11586400 |  8794552 |     2683   7905 |        0 |        0
1269.95/1270.43	c 1270s |      26 | 11604142 |  8808052 |     2683   7915 |        0 |        0
1271.95/1272.43	c 1272s |      26 | 11620903 |  8820552 |     2683   7924 |        0 |        0
1273.95/1274.44	c 1274s |      26 | 11637919 |  8833452 |     2683   7933 |        0 |        0
1275.94/1276.45	c 1276s |      26 | 11654610 |  8845952 |     2683   7941 |        0 |        0
1277.94/1278.46	c 1278s |      26 | 11672693 |  8859452 |     2683   7951 |        0 |        0
1279.95/1280.47	c 1280s |      26 | 11689665 |  8872452 |     2683   7960 |        0 |        0
1281.94/1282.48	c 1282s |      26 | 11706522 |  8885252 |     2683   7969 |        0 |        0
1283.94/1284.49	c 1284s |      26 | 11722855 |  8897552 |     2683   7978 |        0 |        0
1285.94/1286.49	c 1286s |      26 | 11739036 |  8910052 |     2683   7987 |        0 |        0
1288.04/1288.51	c 1288s |      26 | 11754327 |  8922352 |     2683   7995 |        0 |        0
1290.04/1290.51	c 1290s |      26 | 11770258 |  8934352 |     2683   8004 |        0 |        0
1292.04/1292.53	c 1292s |      26 | 11787138 |  8947052 |     2683   8013 |        0 |        0
1294.04/1294.54	c 1294s |      26 | 11803399 |  8960152 |     2683   8022 |        0 |        0
1296.03/1296.55	c 1296s |      26 | 11819637 |  8972552 |     2683   8030 |        0 |        0
1298.03/1298.56	c 1298s |      26 | 11836270 |  8985752 |     2683   8040 |        0 |        0
1300.03/1300.56	c 1300s |      26 | 11854495 |  8999352 |     2683   8049 |        0 |        0
1302.03/1302.57	c 1302s |      26 | 11871415 |  9012352 |     2683   8058 |        0 |        0
1304.03/1304.58	c 1304s |      26 | 11888100 |  9025452 |     2683   8068 |        0 |        0
1306.02/1306.59	c 1306s |      26 | 11905169 |  9038352 |     2683   8077 |        0 |        0
1308.12/1308.60	c 1308s |      26 | 11920605 |  9050552 |     2683   8085 |        0 |        0
1310.12/1310.61	c 1310s |      26 | 11935790 |  9062352 |     2683   8094 |        0 |        0
1312.12/1312.61	c 1312s |      26 | 11950827 |  9074152 |     2683   8102 |        0 |        0
1314.13/1314.62	c 1314s |      26 | 11963370 |  9084652 |     2683   8109 |        0 |        0
1316.12/1316.64	c 1316s |      26 | 11979268 |  9097252 |     2683   8118 |        0 |        0
1318.12/1318.65	c 1318s |      26 | 11994798 |  9109552 |     2683   8127 |        0 |        0
1320.12/1320.66	c 1320s |      26 | 12010661 |  9122052 |     2683   8135 |        0 |        0
1322.12/1322.67	c 1322s |      26 | 12026453 |  9134652 |     2683   8144 |        0 |        0
1324.11/1324.68	c 1324s |      26 | 12040771 |  9146252 |     2683   8152 |        0 |        0
1326.12/1326.70	c 1326s |      26 | 12056339 |  9158352 |     2683   8161 |        0 |        0
1328.21/1328.71	c 1328s |      26 | 12072441 |  9170552 |     2683   8169 |        0 |        0
1330.22/1330.71	c 1330s |      26 | 12088656 |  9183152 |     2683   8178 |        0 |        0
1332.22/1332.71	c 1332s |      26 | 12103657 |  9195252 |     2683   8187 |        0 |        0
1334.22/1334.72	c 1334s |      26 | 12119011 |  9207152 |     2683   8195 |        0 |        0
1336.22/1336.73	c 1336s |      26 | 12135313 |  9219252 |     2683   8203 |        0 |        0
1338.23/1338.73	c 1338s |      26 | 12151062 |  9231252 |     2683   8212 |        0 |        0
1340.22/1340.74	c 1340s |      26 | 12168944 |  9244452 |     2683   8221 |        0 |        0
1342.22/1342.74	c 1342s |      26 | 12185824 |  9257352 |     2683   8230 |        0 |        0
1344.22/1344.75	c 1344s |      26 | 12202278 |  9269852 |     2683   8239 |        0 |        0
1346.22/1346.75	c 1346s |      26 | 12218463 |  9282052 |     2683   8248 |        0 |        0
1348.22/1348.76	c 1348s |      26 | 12233930 |  9294352 |     2683   8256 |        0 |        0
1350.22/1350.77	c 1350s |      26 | 12248213 |  9305752 |     2683   8264 |        0 |        0
1352.22/1352.77	c 1352s |      26 | 12264437 |  9318052 |     2683   8273 |        0 |        0
1354.22/1354.78	c 1354s |      26 | 12281454 |  9331052 |     2683   8282 |        0 |        0
1356.22/1356.78	c 1356s |      26 | 12298241 |  9344052 |     2683   8291 |        0 |        0
1358.22/1358.79	c 1358s |      26 | 12315840 |  9357252 |     2683   8300 |        0 |        0
1360.22/1360.80	c 1360s |      26 | 12333122 |  9370352 |     2683   8310 |        0 |        0
1362.31/1362.80	c 1362s |      26 | 12351693 |  9383952 |     2683   8319 |        0 |        0
1364.31/1364.82	c 1364s |      26 | 12367413 |  9396152 |     2683   8328 |        0 |        0
1366.31/1366.82	c 1366s |      26 | 12384508 |  9409152 |     2683   8337 |        0 |        0
1368.31/1368.83	c 1368s |      26 | 12401324 |  9422052 |     2683   8346 |        0 |        0
1370.31/1370.84	c 1370s |      26 | 12416673 |  9434052 |     2683   8354 |        0 |        0
1372.32/1372.85	c 1372s |      26 | 12431954 |  9445852 |     2683   8363 |        0 |        0
1374.31/1374.86	c 1374s |      26 | 12445879 |  9457052 |     2683   8370 |        0 |        0
1376.31/1376.87	c 1376s |      26 | 12460183 |  9468552 |     2683   8378 |        0 |        0
1378.31/1378.88	c 1378s |      26 | 12476381 |  9481452 |     2683   8388 |        0 |        0
1380.31/1380.88	c 1380s |      26 | 12493890 |  9494752 |     2683   8397 |        0 |        0
1382.31/1382.89	c 1382s |      26 | 12510389 |  9507452 |     2683   8406 |        0 |        0
1384.31/1384.89	c 1384s |      26 | 12526056 |  9520052 |     2683   8415 |        0 |        0
1386.41/1386.90	c 1386s |      26 | 12542947 |  9533152 |     2683   8424 |        0 |        0
1388.41/1388.91	c 1388s |      26 | 12558482 |  9545352 |     2683   8432 |        0 |        0
1390.41/1390.92	c 1390s |      26 | 12574281 |  9557752 |     2683   8441 |        0 |        0
1392.41/1392.93	c 1392s |      26 | 12588561 |  9569452 |     2683   8449 |        0 |        0
1394.41/1394.94	c 1394s |      26 | 12603708 |  9581552 |     2683   8458 |        0 |        0
1396.40/1396.95	c 1396s |      26 | 12619448 |  9593952 |     2683   8467 |        0 |        0
1398.40/1398.96	c 1398s |      26 | 12635860 |  9606352 |     2683   8475 |        0 |        0
1400.40/1400.97	c 1400s |      26 | 12652840 |  9619252 |     2683   8484 |        0 |        0
1402.40/1402.98	c 1402s |      26 | 12668844 |  9631752 |     2683   8493 |        0 |        0
1404.40/1404.99	c 1404s |      26 | 12686116 |  9644952 |     2683   8502 |        0 |        0
1406.41/1407.00	c 1406s |      26 | 12702601 |  9657752 |     2683   8511 |        0 |        0
1408.50/1409.02	c 1409s |      26 | 12719477 |  9670952 |     2683   8521 |        0 |        0
1410.50/1411.03	c 1411s |      26 | 12736090 |  9683552 |     2683   8529 |        0 |        0
1412.50/1413.03	c 1413s |      26 | 12753235 |  9696152 |     2683   8538 |        0 |        0
1414.50/1415.04	c 1415s |      26 | 12769472 |  9708952 |     2683   8547 |        0 |        0
1416.50/1417.05	c 1417s |      26 | 12787380 |  9722452 |     2683   8557 |        0 |        0
1418.51/1419.06	c 1419s |      26 | 12803447 |  9735352 |     2683   8566 |        0 |        0
1420.50/1421.06	c 1421s |      26 | 12820327 |  9748052 |     2683   8575 |        0 |        0
1422.50/1423.08	c 1423s |      26 | 12838727 |  9762352 |     2683   8585 |        0 |        0
1424.50/1425.08	c 1425s |      26 | 12856023 |  9775652 |     2683   8594 |        0 |        0
1426.60/1427.10	c 1427s |      26 | 12874173 |  9789152 |     2683   8604 |        0 |        0
1428.60/1429.10	c 1429s |      26 | 12891515 |  9802352 |     2683   8613 |        0 |        0
1430.60/1431.11	c 1431s |      26 | 12907190 |  9814352 |     2683   8621 |        0 |        0
1432.60/1433.12	c 1433s |      26 | 12924116 |  9827052 |     2683   8630 |        0 |        0
1434.60/1435.12	c 1435s |      26 | 12942484 |  9840452 |     2683   8640 |        0 |        0
1436.60/1437.12	c 1437s |      26 | 12958566 |  9852952 |     2683   8648 |        0 |        0
1438.60/1439.13	c 1439s |      26 | 12975827 |  9865952 |     2683   8657 |        0 |        0
1440.60/1441.13	c 1441s |      26 | 12994493 |  9879752 |     2683   8667 |        0 |        0
1442.59/1443.15	c 1443s |      26 | 13011966 |  9893352 |     2683   8677 |        0 |        0
1444.59/1445.15	c 1445s |      26 | 13026954 |  9905352 |     2683   8685 |        0 |        0
1446.59/1447.17	c 1447s |      26 | 13042974 |  9917952 |     2683   8694 |        0 |        0
1448.59/1449.17	c 1449s |      26 | 13060112 |  9930952 |     2683   8703 |        0 |        0
1450.59/1451.18	c 1451s |      26 | 13074600 |  9942752 |     2683   8711 |        0 |        0
1452.60/1453.19	c 1453s |      26 | 13090794 |  9955052 |     2683   8720 |        0 |        0
1454.69/1455.20	c 1455s |      26 | 13108768 |  9968152 |     2683   8729 |        0 |        0
1456.69/1457.21	c 1457s |      26 | 13125736 |  9981052 |     2683   8738 |        0 |        0
1458.69/1459.22	c 1459s |      26 | 13141398 |  9993152 |     2683   8747 |        0 |        0
1460.69/1461.23	c 1461s |      26 | 13155719 | 10003952 |     2683   8754 |        0 |        0
1462.69/1463.23	c 1463s |      26 | 13173150 | 10017252 |     2683   8764 |        0 |        0
1464.70/1465.24	c 1465s |      26 | 13187525 | 10028852 |     2683   8772 |        0 |        0
1466.69/1467.25	c 1467s |      26 | 13201328 | 10039952 |     2683   8780 |        0 |        0
1468.69/1469.26	c 1469s |      26 | 13215969 | 10051652 |     2683   8788 |        0 |        0
1470.69/1471.26	c 1471s |      26 | 13230605 | 10063152 |     2683   8796 |        0 |        0
1472.69/1473.27	c 1473s |      26 | 13247569 | 10076352 |     2683   8805 |        0 |        0
1474.69/1475.28	c 1475s |      26 | 13263762 | 10089052 |     2683   8814 |        0 |        0
1476.79/1477.30	c 1477s |      26 | 13281211 | 10102652 |     2683   8824 |        0 |        0
1478.79/1479.31	c 1479s |      26 | 13298650 | 10115452 |     2683   8833 |        0 |        0
1480.79/1481.31	c 1481s |      26 | 13315395 | 10128252 |     2683   8841 |        0 |        0
1482.79/1483.32	c 1483s |      26 | 13331929 | 10141052 |     2683   8850 |        0 |        0
1484.79/1485.33	c 1485s |      26 | 13349375 | 10153652 |     2683   8859 |        0 |        0
1486.79/1487.33	c 1487s |      26 | 13366818 | 10166652 |     2683   8868 |        0 |        0
1488.78/1489.34	c 1489s |      26 | 13381670 | 10178852 |     2683   8877 |        0 |        0
1490.78/1491.36	c 1491s |      26 | 13399989 | 10192452 |     2683   8887 |        0 |        0
1492.78/1493.36	c 1493s |      26 | 13418136 | 10206252 |     2683   8896 |        0 |        0
1494.78/1495.37	c 1495s |      26 | 13433550 | 10218152 |     2683   8905 |        0 |        0
1496.78/1497.39	c 1497s |      26 | 13449493 | 10230552 |     2683   8913 |        0 |        0
1498.79/1499.40	c 1499s |      26 | 13466568 | 10243552 |     2683   8922 |        0 |        0
1500.88/1501.41	c 1501s |      26 | 13481908 | 10255452 |     2683   8931 |        0 |        0
1502.89/1503.42	c 1503s |      26 | 13497664 | 10267652 |     2683   8939 |        0 |        0
1504.89/1505.44	c 1505s |      26 | 13514835 | 10280752 |     2683   8949 |        0 |        0
1506.89/1507.46	c 1507s |      26 | 13532623 | 10294052 |     2683   8958 |        0 |        0
1508.89/1509.46	c 1509s |      26 | 13548797 | 10306652 |     2683   8967 |        0 |        0
1510.90/1511.46	c 1511s |      26 | 13566181 | 10319452 |     2683   8976 |        0 |        0
1512.89/1513.48	c 1513s |      26 | 13584126 | 10332752 |     2683   8985 |        0 |        0
1514.89/1515.48	c 1515s |      26 | 13601398 | 10346152 |     2683   8994 |        0 |        0
1516.89/1517.49	c 1517s |      26 | 13621032 | 10360552 |     2683   9005 |        0 |        0
1518.99/1519.50	c 1519s |      26 | 13638301 | 10373252 |     2683   9013 |        0 |        0
1520.99/1521.51	c 1521s |      26 | 13656543 | 10386552 |     2683   9023 |        0 |        0
1522.99/1523.51	c 1523s |      26 | 13675420 | 10400052 |     2683   9032 |        0 |        0
1524.99/1525.52	c 1525s |      26 | 13691392 | 10412652 |     2683   9041 |        0 |        0
1526.98/1527.52	c 1527s |      26 | 13708420 | 10425452 |     2683   9050 |        0 |        0
1528.98/1529.53	c 1529s |      26 | 13723382 | 10437452 |     2683   9059 |        0 |        0
1530.98/1531.54	c 1531s |      26 | 13740037 | 10450252 |     2683   9068 |        0 |        0
1532.99/1533.55	c 1533s |      26 | 13757174 | 10463052 |     2683   9077 |        0 |        0
1534.98/1535.56	c 1535s |      26 | 13774294 | 10476052 |     2683   9086 |        0 |        0
1536.98/1537.56	c 1537s |      26 | 13790338 | 10488552 |     2683   9094 |        0 |        0
1538.98/1539.57	c 1539s |      26 | 13806498 | 10500752 |     2683   9103 |        0 |        0
1540.98/1541.58	c 1541s |      26 | 13822479 | 10513052 |     2683   9112 |        0 |        0
1542.98/1543.58	c 1543s |      26 | 13839391 | 10526052 |     2683   9121 |        0 |        0
1544.99/1545.58	c 1545s |      26 | 13856198 | 10539052 |     2683   9130 |        0 |        0
1546.98/1547.59	c 1547s |      26 | 13871261 | 10551152 |     2683   9138 |        0 |        0
1549.08/1549.60	c 1549s |      26 | 13886904 | 10563452 |     2683   9147 |        0 |        0
1551.08/1551.62	c 1551s |      26 | 13905011 | 10576752 |     2683   9156 |        0 |        0
1553.08/1553.62	c 1553s |      26 | 13921699 | 10589352 |     2683   9165 |        0 |        0
1555.08/1555.63	c 1555s |      26 | 13940217 | 10603252 |     2683   9175 |        0 |        0
1557.08/1557.63	c 1557s |      26 | 13959081 | 10617552 |     2683   9185 |        0 |        0
1559.08/1559.64	c 1559s |      26 | 13978977 | 10632752 |     2683   9196 |        0 |        0
1561.08/1561.66	c 1561s |      26 | 13996682 | 10646452 |     2683   9205 |        0 |        0
1563.08/1563.67	c 1563s |      26 | 14012811 | 10659152 |     2683   9214 |        0 |        0
1565.08/1565.67	c 1565s |      26 | 14028621 | 10671952 |     2683   9223 |        0 |        0
1567.08/1567.69	c 1567s |      26 | 14046579 | 10685252 |     2683   9232 |        0 |        0
1569.08/1569.69	c 1569s |      26 | 14063556 | 10698252 |     2683   9241 |        0 |        0
1571.18/1571.70	c 1571s |      26 | 14082240 | 10712252 |     2683   9251 |        0 |        0
1573.18/1573.71	c 1573s |      26 | 14101610 | 10726252 |     2683   9261 |        0 |        0
1575.18/1575.72	c 1575s |      26 | 14120386 | 10740252 |     2683   9271 |        0 |        0
1577.18/1577.73	c 1577s |      26 | 14137212 | 10753552 |     2683   9280 |        0 |        0
1579.18/1579.74	c 1579s |      26 | 14153509 | 10766452 |     2683   9289 |        0 |        0
1581.17/1581.76	c 1581s |      26 | 14170588 | 10779552 |     2683   9298 |        0 |        0
1583.17/1583.77	c 1583s |      26 | 14188321 | 10792952 |     2683   9308 |        0 |        0
1585.17/1585.78	c 1585s |      26 | 14205767 | 10806352 |     2683   9317 |        0 |        0
1587.17/1587.79	c 1587s |      26 | 14223107 | 10820152 |     2683   9327 |        0 |        0
1589.17/1589.79	c 1589s |      26 | 14241090 | 10833752 |     2683   9336 |        0 |        0
1591.18/1591.79	c 1591s |      26 | 14259556 | 10847652 |     2683   9346 |        0 |        0
1593.17/1593.79	c 1593s |      26 | 14276452 | 10860552 |     2683   9355 |        0 |        0
1595.27/1595.81	c 1595s |      26 | 14296229 | 10875152 |     2683   9365 |        0 |        0
1597.27/1597.83	c 1597s |      26 | 14312978 | 10888552 |     2683   9375 |        0 |        0
1599.27/1599.83	c 1599s |      26 | 14330629 | 10902152 |     2683   9384 |        0 |        0
1601.27/1601.84	c 1601s |      26 | 14347316 | 10914852 |     2683   9393 |        0 |        0
1603.28/1603.85	c 1603s |      26 | 14364789 | 10928652 |     2683   9403 |        0 |        0
1605.27/1605.86	c 1605s |      26 | 14381824 | 10941952 |     2683   9412 |        0 |        0
1607.27/1607.87	c 1607s |      26 | 14398953 | 10955352 |     2683   9422 |        0 |        0
1609.27/1609.87	c 1609s |      26 | 14415859 | 10968352 |     2683   9431 |        0 |        0
1611.27/1611.89	c 1611s |      26 | 14433795 | 10981352 |     2683   9440 |        0 |        0
1613.27/1613.89	c 1613s |      26 | 14450848 | 10994252 |     2683   9449 |        0 |        0
1615.37/1615.91	c 1615s |      26 | 14468243 | 11007352 |     2683   9458 |        0 |        0
1617.37/1617.91	c 1617s |      26 | 14483640 | 11019752 |     2683   9467 |        0 |        0
1619.37/1619.92	c 1619s |      26 | 14501047 | 11032952 |     2683   9476 |        0 |        0
1621.37/1621.92	c 1621s |      26 | 14517845 | 11045952 |     2683   9485 |        0 |        0
1623.37/1623.92	c 1623s |      26 | 14536408 | 11059852 |     2683   9495 |        0 |        0
1625.37/1625.93	c 1625s |      26 | 14553680 | 11073452 |     2683   9504 |        0 |        0
1627.36/1627.93	c 1627s |      26 | 14571491 | 11086352 |     2683   9514 |        0 |        0
1629.36/1629.95	c 1629s |      26 | 14590574 | 11100552 |     2683   9524 |        0 |        0
1631.36/1631.96	c 1631s |      26 | 14605879 | 11112552 |     2683   9532 |        0 |        0
1633.36/1633.96	c 1633s |      26 | 14624390 | 11126252 |     2683   9541 |        0 |        0
1635.36/1635.97	c 1635s |      26 | 14642405 | 11139952 |     2683   9551 |        0 |        0
1637.37/1637.97	c 1637s |      26 | 14656735 | 11151552 |     2683   9559 |        0 |        0
1639.36/1639.97	c 1639s |      26 | 14672170 | 11163352 |     2683   9567 |        0 |        0
1641.36/1641.98	c 1641s |      26 | 14687851 | 11175552 |     2683   9576 |        0 |        0
1643.36/1643.99	c 1643s |      26 | 14703525 | 11187752 |     2683   9585 |        0 |        0
1645.36/1645.99	c 1645s |      26 | 14719383 | 11200052 |     2683   9593 |        0 |        0
1647.37/1647.99	c 1647s |      26 | 14735250 | 11212452 |     2683   9602 |        0 |        0
1649.36/1650.00	c 1649s |      26 | 14750273 | 11224652 |     2683   9610 |        0 |        0
1651.46/1652.01	c 1651s |      26 | 14768065 | 11238152 |     2683   9620 |        0 |        0
1653.46/1654.01	c 1653s |      26 | 14783149 | 11250152 |     2683   9628 |        0 |        0
1655.46/1656.01	c 1655s |      26 | 14800305 | 11263252 |     2683   9638 |        0 |        0
1657.46/1658.02	c 1658s |      26 | 14818546 | 11276752 |     2683   9647 |        0 |        0
1659.46/1660.03	c 1660s |      26 | 14837255 | 11290852 |     2683   9657 |        0 |        0
1661.46/1662.04	c 1662s |      26 | 14852934 | 11303252 |     2683   9666 |        0 |        0
1663.46/1664.05	c 1664s |      26 | 14868807 | 11315852 |     2952   9674 |        0 |        0
1665.46/1666.07	c 1666s |      26 | 14884979 | 11328152 |     2952   9682 |        0 |        0
1667.46/1668.07	c 1668s |      26 | 14901572 | 11340652 |     2952   9690 |        0 |        0
1669.46/1670.09	c 1670s |      26 | 14919766 | 11354252 |     2952   9699 |        0 |        0
1671.46/1672.09	c 1672s |      26 | 14936319 | 11367152 |     2952   9707 |        0 |        0
1673.56/1674.11	c 1674s |      26 | 14949521 | 11378152 |     2952   9714 |        0 |        0
1675.56/1676.12	c 1676s |      26 | 14964855 | 11390252 |     2952   9722 |        0 |        0
1676.66/1677.21	c 1677s |      27 | 14973444 | 11396733 |     2952   9726 |        0 |        0
1678.66/1679.23	c 1679s |      27 | 14988232 | 11408533 |     2952   9734 |        0 |        0
1680.66/1681.24	c 1681s |      27 | 15003910 | 11420633 |     2952   9741 |        0 |        0
1682.65/1683.25	c 1683s |      27 | 15019460 | 11433033 |     2952   9749 |        0 |        0
1684.66/1685.25	c 1685s |      27 | 15035417 | 11445533 |     2952   9757 |        0 |        0
1686.65/1687.25	c 1687s |      27 | 15050352 | 11457233 |     2952   9765 |        0 |        0
1688.65/1689.26	c 1689s |      27 | 15064574 | 11468233 |     2952   9772 |        0 |        0
1690.65/1691.26	c 1691s |      27 | 15080142 | 11479833 |     2952   9779 |        0 |        0
1692.65/1693.26	c 1693s |      27 | 15095136 | 11491233 |     2952   9786 |        0 |        0
1694.66/1695.27	c 1695s |      27 | 15109774 | 11502433 |     2952   9793 |        0 |        0
1696.65/1697.28	c 1697s |      27 | 15126041 | 11514533 |     2952   9801 |        0 |        0
1698.65/1699.28	c 1699s |      27 | 15142537 | 11526633 |     2952   9809 |        0 |        0
1700.65/1701.29	c 1701s |      27 | 15158499 | 11538633 |     2952   9816 |        0 |        0
1702.75/1703.31	c 1703s |      27 | 15173148 | 11550433 |     2952   9824 |        0 |        0
1704.75/1705.31	c 1705s |      27 | 15187929 | 11562333 |     2952   9831 |        0 |        0
1706.76/1707.31	c 1707s |      27 | 15201611 | 11573033 |     2952   9838 |        0 |        0
1708.75/1709.33	c 1709s |      27 | 15217748 | 11585733 |     2952   9846 |        0 |        0
1710.75/1711.35	c 1711s |      27 | 15231592 | 11597233 |     2952   9854 |        0 |        0
1712.75/1713.37	c 1713s |      27 | 15245822 | 11609133 |     2952   9861 |        0 |        0
1714.75/1715.39	c 1715s |      27 | 15260639 | 11620433 |     2952   9868 |        0 |        0
1716.85/1717.40	c 1717s |      27 | 15276680 | 11632633 |     2952   9876 |        0 |        0
1718.76/1719.40	c 1719s |      27 | 15292576 | 11644633 |     2952   9884 |        0 |        0
1720.86/1721.41	c 1721s |      27 | 15308898 | 11657133 |     2952   9892 |        0 |        0
1722.86/1723.42	c 1723s |      27 | 15325281 | 11669833 |     2952   9900 |        0 |        0
1724.86/1725.45	c 1725s |      27 | 15340864 | 11681933 |     2952   9908 |        0 |        0
1726.86/1727.45	c 1727s |      27 | 15356331 | 11693933 |     2952   9915 |        0 |        0
1728.86/1729.46	c 1729s |      27 | 15372269 | 11706233 |     2952   9923 |        0 |        0
1730.86/1731.47	c 1731s |      27 | 15388231 | 11718033 |     2952   9931 |        0 |        0
1732.85/1733.47	c 1733s |      27 | 15403555 | 11729933 |     2952   9938 |        0 |        0
1734.85/1735.48	c 1735s |      27 | 15419378 | 11742033 |     2952   9946 |        0 |        0
1736.95/1737.50	c 1737s |      27 | 15434643 | 11754133 |     2952   9954 |        0 |        0
1738.95/1739.50	c 1739s |      27 | 15450007 | 11766433 |     2952   9961 |        0 |        0
1740.95/1741.51	c 1741s |      27 | 15465375 | 11778433 |     2952   9969 |        0 |        0
1742.96/1743.51	c 1743s |      27 | 15481835 | 11790733 |     2952   9977 |        0 |        0
1744.95/1745.52	c 1745s |      27 | 15498163 | 11802733 |     2952   9985 |        0 |        0
1746.95/1747.53	c 1747s |      27 | 15512614 | 11813733 |     2952   9992 |        0 |        0
1748.95/1749.55	c 1749s |      27 | 15528516 | 11826133 |     2952   9999 |        0 |        0
1750.95/1751.56	c 1751s |      27 | 15542637 | 11837033 |     2952  10006 |        0 |        0
1752.95/1753.57	c 1753s |      27 | 15557555 | 11848533 |     2952  10014 |        0 |        0
1754.95/1755.57	c 1755s |      27 | 15573955 | 11860633 |     2952  10021 |        0 |        0
1756.94/1757.58	c 1757s |      27 | 15590874 | 11873733 |     2952  10030 |        0 |        0
1758.94/1759.59	c 1759s |      27 | 15607039 | 11885833 |     2952  10037 |        0 |        0
1761.04/1761.60	c 1761s |      27 | 15622724 | 11898133 |     2952  10045 |        0 |        0
1763.04/1763.62	c 1763s |      27 | 15637834 | 11909433 |     2952  10053 |        0 |        0
1765.05/1765.63	c 1765s |      27 | 15654351 | 11921933 |     2952  10061 |        0 |        0
1767.04/1767.63	c 1767s |      27 | 15668881 | 11933833 |     2952  10068 |        0 |        0
1769.04/1769.64	c 1769s |      27 | 15684563 | 11945633 |     2952  10076 |        0 |        0
1771.04/1771.65	c 1771s |      27 | 15700017 | 11957133 |     2952  10083 |        0 |        0
1773.04/1773.66	c 1773s |      27 | 15716833 | 11969833 |     2952  10091 |        0 |        0
1775.04/1775.68	c 1775s |      27 | 15734560 | 11983133 |     2952  10100 |        0 |        0
1777.05/1777.68	c 1777s |      27 | 15749918 | 11995033 |     2952  10107 |        0 |        0
1779.04/1779.69	c 1779s |      27 | 15765393 | 12006233 |     2952  10114 |        0 |        0
1781.14/1781.71	c 1781s |      27 | 15780920 | 12017733 |     2952  10122 |        0 |        0
1783.14/1783.71	c 1783s |      27 | 15794233 | 12028433 |     2952  10128 |        0 |        0
1785.14/1785.72	c 1785s |      27 | 15808943 | 12039533 |     2952  10135 |        0 |        0
1787.14/1787.73	c 1787s |      27 | 15825612 | 12051633 |     2952  10143 |        0 |        0
1789.15/1789.73	c 1789s |      27 | 15839779 | 12063433 |     2952  10151 |        0 |        0
1791.14/1791.75	c 1791s |      27 | 15853267 | 12074233 |     2952  10158 |        0 |        0
1793.14/1793.77	c 1793s |      27 | 15869205 | 12087133 |     2952  10166 |        0 |        0
1795.14/1795.78	c 1795s |      27 | 15885041 | 12099533 |     2952  10174 |        0 |        0
1797.14/1797.79	c 1797s |      27 | 15900022 | 12111333 |     2952  10181 |        0 |        0
1799.24/1799.80	c 1799s |      27 | 15913048 | 12121933 |     2952  10188 |        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-4120138-1467310081/watcher-4120138-1467310081 -o /tmp/evaluation-result-4120138-1467310081/solver-4120138-1467310081 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node104-1467310023-19959 --watchdog 1960 toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4120138-1467310081.opb 

pid=20185
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.76 1.62 1.69 3/177 20188
/proc/meminfo: memFree=29434664/32872528 swapFree=447588/480292
[pid=20188] ppid=20185 vsize=656828 CPUtime=0 cores=0,2,4,6
/proc/20188/stat : 20188 (toysat) R 20185 20188 16080 0 -1 4202496 2437 0 0 0 0 0 0 0 20 0 4 0 12111920 672591872 3309 33554432000 4194304 16246674 140736020808720 140736020808144 13880264 0 2 0 34082818 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/20188/statm: 164719 3318 441 2943 0 161613 0
[pid=20188/tid=20189] ppid=20185 vsize=674236 CPUtime=0 cores=0,2,4,6
/proc/20188/task/20189/stat : 20189 (toysat) S 20185 20188 16080 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12111921 690417664 3377 33554432000 4194304 16246674 140736020808720 140398601153776 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=20188/tid=20190] ppid=20185 vsize=678332 CPUtime=0 cores=0,2,4,6
/proc/20188/task/20190/stat : 20190 (toysat) S 20185 20188 16080 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 12111921 694611968 3394 33554432000 4194304 16246674 140736020808720 140398521462000 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=20188/tid=20191] ppid=20185 vsize=682428 CPUtime=0 cores=0,2,4,6
/proc/20188/task/20191/stat : 20191 (toysat) S 20185 20188 16080 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 12111921 698806272 3410 33554432000 4194304 16246674 140736020808720 140398510988464 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0

[startup+0.100121 s]
/proc/loadavg: 1.76 1.62 1.69 3/177 20188
/proc/meminfo: memFree=29434664/32872528 swapFree=447588/480292
[pid=20188] ppid=20185 vsize=1218116 CPUtime=0.09 cores=0,2,4,6
/proc/20188/stat : 20188 (toysat) R 20185 20188 16080 0 -1 4202496 24347 0 0 0 6 3 0 0 20 0 4 0 12111920 1247350784 25207 33554432000 4194304 16246674 140736020808720 140736020808144 5675357 0 0 0 34082818 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/20188/statm: 304529 25216 707 2943 0 301423 0
[pid=20188/tid=20189] ppid=20185 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/20188/task/20189/stat : 20189 (toysat) S 20185 20188 16080 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12111921 1247350784 25223 33554432000 4194304 16246674 140736020808720 140398601153776 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=20188/tid=20190] ppid=20185 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/20188/task/20190/stat : 20190 (toysat) S 20185 20188 16080 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 12111921 1247350784 25232 33554432000 4194304 16246674 140736020808720 140398521462000 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=20188/tid=20191] ppid=20185 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/20188/task/20191/stat : 20191 (toysat) S 20185 20188 16080 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 12111921 1247350784 25238 33554432000 4194304 16246674 140736020808720 140398510988464 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 1218116

[startup+0.200449 s]
/proc/loadavg: 1.76 1.62 1.69 3/177 20188
/proc/meminfo: memFree=29434664/32872528 swapFree=447588/480292
[pid=20188] ppid=20185 vsize=1218116 CPUtime=0.19 cores=0,2,4,6
/proc/20188/stat : 20188 (toysat) R 20185 20188 16080 0 -1 4202496 46409 0 0 0 13 6 0 0 20 0 4 0 12111920 1247350784 47269 33554432000 4194304 16246674 140736020808720 140736020808144 5675357 0 0 0 34082818 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/20188/statm: 304529 47277 707 2943 0 301423 0
[pid=20188/tid=20189] ppid=20185 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/20188/task/20189/stat : 20189 (toysat) S 20185 20188 16080 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12111921 1247350784 47285 33554432000 4194304 16246674 140736020808720 140398601153776 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=20188/tid=20190] ppid=20185 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/20188/task/20190/stat : 20190 (toysat) S 20185 20188 16080 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 12111921 1247350784 47290 33554432000 4194304 16246674 140736020808720 140398521462000 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=20188/tid=20191] ppid=20185 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/20188/task/20191/stat : 20191 (toysat) S 20185 20188 16080 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 12111921 1247350784 47297 33554432000 4194304 16246674 140736020808720 140398510988464 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 1218116

[startup+0.300408 s]
/proc/loadavg: 1.76 1.62 1.69 3/177 20188
/proc/meminfo: memFree=29434664/32872528 swapFree=447588/480292
[pid=20188] ppid=20185 vsize=1218116 CPUtime=0.29 cores=0,2,4,6
/proc/20188/stat : 20188 (toysat) R 20185 20188 16080 0 -1 4202496 68407 0 0 0 19 10 0 0 20 0 4 0 12111920 1247350784 69267 33554432000 4194304 16246674 140736020808720 140736020808144 5669490 0 0 0 34082818 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/20188/statm: 304529 69276 707 2943 0 301423 0
[pid=20188/tid=20189] ppid=20185 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/20188/task/20189/stat : 20189 (toysat) S 20185 20188 16080 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12111921 1247350784 69285 33554432000 4194304 16246674 140736020808720 140398601153776 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=20188/tid=20190] ppid=20185 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/20188/task/20190/stat : 20190 (toysat) S 20185 20188 16080 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 12111921 1247350784 69291 33554432000 4194304 16246674 140736020808720 140398521462000 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=20188/tid=20191] ppid=20185 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/20188/task/20191/stat : 20191 (toysat) S 20185 20188 16080 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 12111921 1247350784 69295 33554432000 4194304 16246674 140736020808720 140398510988464 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 1218116

[startup+0.700341 s]
/proc/loadavg: 1.76 1.62 1.69 3/177 20188
/proc/meminfo: memFree=29434664/32872528 swapFree=447588/480292
[pid=20188] ppid=20185 vsize=1218116 CPUtime=0.69 cores=0,2,4,6
/proc/20188/stat : 20188 (toysat) R 20185 20188 16080 0 -1 4202496 155166 0 0 0 49 20 0 0 20 0 4 0 12111920 1247350784 156027 33554432000 4194304 16246674 140736020808720 140736020790592 12478070 0 0 0 34082818 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/20188/statm: 304529 156035 707 2943 0 301423 0
[pid=20188/tid=20189] ppid=20185 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/20188/task/20189/stat : 20189 (toysat) S 20185 20188 16080 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12111921 1247350784 156040 33554432000 4194304 16246674 140736020808720 140398601153776 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=20188/tid=20190] ppid=20185 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/20188/task/20190/stat : 20190 (toysat) S 20185 20188 16080 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 12111921 1247350784 156047 33554432000 4194304 16246674 140736020808720 140398521462000 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=20188/tid=20191] ppid=20185 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/20188/task/20191/stat : 20191 (toysat) S 20185 20188 16080 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 12111921 1247350784 156055 33554432000 4194304 16246674 140736020808720 140398510988464 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 1218116

[startup+1.50034 s]
/proc/loadavg: 1.78 1.62 1.69 3/181 20192
/proc/meminfo: memFree=28473140/32872528 swapFree=447588/480292
[pid=20188] ppid=20185 vsize=1219140 CPUtime=1.49 cores=0,2,4,6
/proc/20188/stat : 20188 (toysat) R 20185 20188 16080 0 -1 4202496 245711 0 0 0 115 34 0 0 20 0 4 0 12111920 1248399360 246551 33554432000 4194304 16246674 140736020808720 140736020791720 5666944 0 0 0 34082818 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/20188/statm: 304785 246551 782 2943 0 301679 0
[pid=20188/tid=20189] ppid=20185 vsize=1219140 CPUtime=0 cores=0,2,4,6
/proc/20188/task/20189/stat : 20189 (toysat) S 20185 20188 16080 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12111921 1248399360 246551 33554432000 4194304 16246674 140736020808720 140398601153776 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=20188/tid=20190] ppid=20185 vsize=1219140 CPUtime=0 cores=0,2,4,6
/proc/20188/task/20190/stat : 20190 (toysat) S 20185 20188 16080 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 12111921 1248399360 246551 33554432000 4194304 16246674 140736020808720 140398521462000 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=20188/tid=20191] ppid=20185 vsize=1219140 CPUtime=0 cores=0,2,4,6
/proc/20188/task/20191/stat : 20191 (toysat) S 20185 20188 16080 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 12111921 1248399360 246551 33554432000 4194304 16246674 140736020808720 140398510988464 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 1219140

[startup+3.10034 s]
/proc/loadavg: 1.78 1.62 1.69 4/181 20192
/proc/meminfo: memFree=28362780/32872528 swapFree=447588/480292
[pid=20188] ppid=20185 vsize=1306180 CPUtime=3.09 cores=0,2,4,6
/proc/20188/stat : 20188 (toysat) R 20185 20188 16080 0 -1 4202496 267506 0 0 0 272 37 0 0 20 0 4 0 12111920 1337528320 268346 33554432000 4194304 16246674 140736020808720 140736020790592 12477701 0 0 0 34082818 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/20188/statm: 326545 268346 782 2943 0 323439 0
[pid=20188/tid=20189] ppid=20185 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/20188/task/20189/stat : 20189 (toysat) S 20185 20188 16080 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12111921 1337528320 268346 33554432000 4194304 16246674 140736020808720 140398601153776 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=20188/tid=20190] ppid=20185 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/20188/task/20190/stat : 20190 (toysat) S 20185 20188 16080 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 12111921 1337528320 268346 33554432000 4194304 16246674 140736020808720 140398521462000 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=20188/tid=20191] ppid=20185 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/20188/task/20191/stat : 20191 (toysat) S 20185 20188 16080 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 12111921 1337528320 268346 33554432000 4194304 16246674 140736020808720 140398510988464 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 1306180

[startup+6.30034 s]
/proc/loadavg: 1.79 1.63 1.69 3/181 20192
/proc/meminfo: memFree=28360564/32872528 swapFree=447588/480292
[pid=20188] ppid=20185 vsize=1307204 CPUtime=6.29 cores=0,2,4,6
/proc/20188/stat : 20188 (toysat) R 20185 20188 16080 0 -1 4202496 267816 0 0 0 592 37 0 0 20 0 4 0 12111920 1338576896 268656 33554432000 4194304 16246674 140736020808720 140736020791720 5546015 0 0 0 34082818 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/20188/statm: 326801 268656 784 2943 0 323695 0
[pid=20188/tid=20189] ppid=20185 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/20188/task/20189/stat : 20189 (toysat) S 20185 20188 16080 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12111921 1338576896 268656 33554432000 4194304 16246674 140736020808720 140398601153776 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=20188/tid=20190] ppid=20185 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/20188/task/20190/stat : 20190 (toysat) S 20185 20188 16080 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 12111921 1338576896 268656 33554432000 4194304 16246674 140736020808720 140398521462000 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=20188/tid=20191] ppid=20185 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/20188/task/20191/stat : 20191 (toysat) S 20185 20188 16080 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 12111921 1338576896 268656 33554432000 4194304 16246674 140736020808720 140398510988464 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 1307204

[startup+12.7003 s]
/proc/loadavg: 1.81 1.63 1.69 3/181 20192
/proc/meminfo: memFree=28360248/32872528 swapFree=447588/480292
[pid=20188] ppid=20185 vsize=1308228 CPUtime=12.69 cores=0,2,4,6
/proc/20188/stat : 20188 (toysat) R 20185 20188 16080 0 -1 4202496 267912 0 0 0 1232 37 0 0 20 0 4 0 12111920 1339625472 268752 33554432000 4194304 16246674 140736020808720 140736020791720 5672197 0 0 0 34082818 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/20188/statm: 327057 268752 784 2943 0 323951 0
[pid=20188/tid=20189] ppid=20185 vsize=1308228 CPUtime=0 cores=0,2,4,6
/proc/20188/task/20189/stat : 20189 (toysat) S 20185 20188 16080 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12111921 1339625472 268752 33554432000 4194304 16246674 140736020808720 140398601153776 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=20188/tid=20190] ppid=20185 vsize=1308228 CPUtime=0 cores=0,2,4,6
/proc/20188/task/20190/stat : 20190 (toysat) S 20185 20188 16080 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 12111921 1339625472 268752 33554432000 4194304 16246674 140736020808720 140398521462000 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=20188/tid=20191] ppid=20185 vsize=1308228 CPUtime=0 cores=0,2,4,6
/proc/20188/task/20191/stat : 20191 (toysat) S 20185 20188 16080 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 12111921 1339625472 268752 33554432000 4194304 16246674 140736020808720 140398510988464 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 1308228

[startup+25.5004 s]
/proc/loadavg: 1.85 1.65 1.70 3/181 20192
/proc/meminfo: memFree=28358380/32872528 swapFree=447588/480292
[pid=20188] ppid=20185 vsize=1308228 CPUtime=25.48 cores=0,2,4,6
/proc/20188/stat : 20188 (toysat) R 20185 20188 16080 0 -1 4202496 268077 0 0 0 2511 37 0 0 20 0 4 0 12111920 1339625472 268917 33554432000 4194304 16246674 140736020808720 140736020790592 6010943 0 0 0 34082818 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/20188/statm: 327057 268917 784 2943 0 323951 0
[pid=20188/tid=20189] ppid=20185 vsize=1308228 CPUtime=0 cores=0,2,4,6
/proc/20188/task/20189/stat : 20189 (toysat) S 20185 20188 16080 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12111921 1339625472 268917 33554432000 4194304 16246674 140736020808720 140398601153776 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=20188/tid=20190] ppid=20185 vsize=1308228 CPUtime=0 cores=0,2,4,6
/proc/20188/task/20190/stat : 20190 (toysat) S 20185 20188 16080 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 12111921 1339625472 268917 33554432000 4194304 16246674 140736020808720 140398521462000 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=20188/tid=20191] ppid=20185 vsize=1308228 CPUtime=0 cores=0,2,4,6
/proc/20188/task/20191/stat : 20191 (toysat) S 20185 20188 16080 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 12111921 1339625472 268917 33554432000 4194304 16246674 140736020808720 140398510988464 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 1308228

[startup+51.1004 s]
/proc/loadavg: 1.90 1.68 1.70 3/181 20193
/proc/meminfo: memFree=28358604/32872528 swapFree=447588/480292
[pid=20188] ppid=20185 vsize=1308228 CPUtime=51.08 cores=0,2,4,6
/proc/20188/stat : 20188 (toysat) R 20185 20188 16080 0 -1 4202496 268077 0 0 0 5070 38 0 0 20 0 4 0 12111920 1339625472 268917 33554432000 4194304 16246674 140736020808720 140736020791720 5822484 0 0 0 34082818 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/20188/statm: 327057 268917 784 2943 0 323951 0
[pid=20188/tid=20189] ppid=20185 vsize=1308228 CPUtime=0 cores=0,2,4,6
/proc/20188/task/20189/stat : 20189 (toysat) S 20185 20188 16080 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12111921 1339625472 268917 33554432000 4194304 16246674 140736020808720 140398601153776 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=20188/tid=20190] ppid=20185 vsize=1308228 CPUtime=0 cores=0,2,4,6
/proc/20188/task/20190/stat : 20190 (toysat) S 20185 20188 16080 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 12111921 1339625472 268917 33554432000 4194304 16246674 140736020808720 140398521462000 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=20188/tid=20191] ppid=20185 vsize=1308228 CPUtime=0 cores=0,2,4,6
/proc/20188/task/20191/stat : 20191 (toysat) S 20185 20188 16080 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 12111921 1339625472 268917 33554432000 4194304 16246674 140736020808720 140398510988464 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 1308228

[startup+102.3 s]
/proc/loadavg: 1.95 1.73 1.72 3/180 20194
/proc/meminfo: memFree=28358624/32872528 swapFree=447588/480292
[pid=20188] ppid=20185 vsize=1309252 CPUtime=102.27 cores=0,2,4,6
/proc/20188/stat : 20188 (toysat) R 20185 20188 16080 0 -1 4202496 268188 0 0 0 10189 38 0 0 20 0 4 0 12111920 1340674048 269028 33554432000 4194304 16246674 140736020808720 140736020790592 5997856 0 0 0 34082818 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/20188/statm: 327313 269028 784 2943 0 324207 0
[pid=20188/tid=20189] ppid=20185 vsize=1309252 CPUtime=0 cores=0,2,4,6
/proc/20188/task/20189/stat : 20189 (toysat) S 20185 20188 16080 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12111921 1340674048 269028 33554432000 4194304 16246674 140736020808720 140398601153776 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=20188/tid=20190] ppid=20185 vsize=1309252 CPUtime=0 cores=0,2,4,6
/proc/20188/task/20190/stat : 20190 (toysat) S 20185 20188 16080 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 12111921 1340674048 269028 33554432000 4194304 16246674 140736020808720 140398521462000 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=20188/tid=20191] ppid=20185 vsize=1309252 CPUtime=0 cores=0,2,4,6
/proc/20188/task/20191/stat : 20191 (toysat) S 20185 20188 16080 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 12111921 1340674048 269028 33554432000 4194304 16246674 140736020808720 140398510988464 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 1309252


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

/proc/20188/task/20191/stat : 20191 (toysat) S 20185 20188 16080 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 12111921 1350111232 271484 33554432000 4194304 16246674 140736020808720 140398510988464 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1241.87
Current children cumulated vsize (KiB) 1318468

[startup+1302.3 s]
/proc/loadavg: 2.00 2.07 1.97 3/181 20225
/proc/meminfo: memFree=28341752/32872528 swapFree=447588/480292
[pid=20188] ppid=20185 vsize=1318468 CPUtime=1301.83 cores=0,2,4,6
/proc/20188/stat : 20188 (toysat) R 20185 20188 16080 0 -1 4202496 271071 0 0 0 130136 47 0 0 20 0 4 0 12111920 1350111232 271484 33554432000 4194304 16246674 140736020808720 140736020791720 5673627 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/20188/statm: 329617 271484 788 2943 0 326511 0
[pid=20188/tid=20189] ppid=20185 vsize=1318468 CPUtime=0 cores=0,2,4,6
/proc/20188/task/20189/stat : 20189 (toysat) S 20185 20188 16080 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12111921 1350111232 271484 33554432000 4194304 16246674 140736020808720 140398601153776 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=20188/tid=20190] ppid=20185 vsize=1318468 CPUtime=0 cores=0,2,4,6
/proc/20188/task/20190/stat : 20190 (toysat) S 20185 20188 16080 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 12111921 1350111232 271484 33554432000 4194304 16246674 140736020808720 140398521462000 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=20188/tid=20191] ppid=20185 vsize=1318468 CPUtime=0 cores=0,2,4,6
/proc/20188/task/20191/stat : 20191 (toysat) S 20185 20188 16080 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 12111921 1350111232 271484 33554432000 4194304 16246674 140736020808720 140398510988464 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1301.83
Current children cumulated vsize (KiB) 1318468

[startup+1362.3 s]
/proc/loadavg: 2.00 2.05 1.97 3/182 20229
/proc/meminfo: memFree=28341412/32872528 swapFree=447588/480292
[pid=20188] ppid=20185 vsize=1318468 CPUtime=1361.82 cores=0,2,4,6
/proc/20188/stat : 20188 (toysat) R 20185 20188 16080 0 -1 4202496 271087 0 0 0 136134 48 0 0 20 0 4 0 12111920 1350111232 271484 33554432000 4194304 16246674 140736020808720 140736020791720 5823615 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/20188/statm: 329617 271484 788 2943 0 326511 0
[pid=20188/tid=20189] ppid=20185 vsize=1318468 CPUtime=0 cores=0,2,4,6
/proc/20188/task/20189/stat : 20189 (toysat) S 20185 20188 16080 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12111921 1350111232 271484 33554432000 4194304 16246674 140736020808720 140398601153776 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=20188/tid=20190] ppid=20185 vsize=1318468 CPUtime=0 cores=0,2,4,6
/proc/20188/task/20190/stat : 20190 (toysat) S 20185 20188 16080 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 12111921 1350111232 271484 33554432000 4194304 16246674 140736020808720 140398521462000 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=20188/tid=20191] ppid=20185 vsize=1318468 CPUtime=0 cores=0,2,4,6
/proc/20188/task/20191/stat : 20191 (toysat) S 20185 20188 16080 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 12111921 1350111232 271484 33554432000 4194304 16246674 140736020808720 140398510988464 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1361.82
Current children cumulated vsize (KiB) 1318468

[startup+1422.3 s]
/proc/loadavg: 2.03 2.06 1.97 3/181 20230
/proc/meminfo: memFree=28338692/32872528 swapFree=447588/480292
[pid=20188] ppid=20185 vsize=1318468 CPUtime=1421.81 cores=0,2,4,6
/proc/20188/stat : 20188 (toysat) R 20185 20188 16080 0 -1 4202496 271087 0 0 0 142133 48 0 0 20 0 4 0 12111920 1350111232 271484 33554432000 4194304 16246674 140736020808720 140736020790592 5822252 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/20188/statm: 329617 271484 788 2943 0 326511 0
[pid=20188/tid=20189] ppid=20185 vsize=1318468 CPUtime=0 cores=0,2,4,6
/proc/20188/task/20189/stat : 20189 (toysat) S 20185 20188 16080 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12111921 1350111232 271484 33554432000 4194304 16246674 140736020808720 140398601153776 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=20188/tid=20190] ppid=20185 vsize=1318468 CPUtime=0 cores=0,2,4,6
/proc/20188/task/20190/stat : 20190 (toysat) S 20185 20188 16080 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 12111921 1350111232 271484 33554432000 4194304 16246674 140736020808720 140398521462000 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=20188/tid=20191] ppid=20185 vsize=1318468 CPUtime=0 cores=0,2,4,6
/proc/20188/task/20191/stat : 20191 (toysat) S 20185 20188 16080 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 12111921 1350111232 271484 33554432000 4194304 16246674 140736020808720 140398510988464 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1421.81
Current children cumulated vsize (KiB) 1318468

[startup+1482.3 s]
/proc/loadavg: 2.13 2.07 1.98 3/181 20231
/proc/meminfo: memFree=28338692/32872528 swapFree=447588/480292
[pid=20188] ppid=20185 vsize=1318468 CPUtime=1481.79 cores=0,2,4,6
/proc/20188/stat : 20188 (toysat) R 20185 20188 16080 0 -1 4202496 271087 0 0 0 148131 48 0 0 20 0 4 0 12111920 1350111232 271484 33554432000 4194304 16246674 140736020808720 140736020791720 5722816 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/20188/statm: 329617 271484 788 2943 0 326511 0
[pid=20188/tid=20189] ppid=20185 vsize=1318468 CPUtime=0 cores=0,2,4,6
/proc/20188/task/20189/stat : 20189 (toysat) S 20185 20188 16080 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12111921 1350111232 271484 33554432000 4194304 16246674 140736020808720 140398601153776 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=20188/tid=20190] ppid=20185 vsize=1318468 CPUtime=0 cores=0,2,4,6
/proc/20188/task/20190/stat : 20190 (toysat) S 20185 20188 16080 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 12111921 1350111232 271484 33554432000 4194304 16246674 140736020808720 140398521462000 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=20188/tid=20191] ppid=20185 vsize=1318468 CPUtime=0 cores=0,2,4,6
/proc/20188/task/20191/stat : 20191 (toysat) S 20185 20188 16080 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 12111921 1350111232 271484 33554432000 4194304 16246674 140736020808720 140398510988464 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1481.79
Current children cumulated vsize (KiB) 1318468

[startup+1542.31 s]
/proc/loadavg: 2.08 2.07 1.99 3/181 20232
/proc/meminfo: memFree=28338948/32872528 swapFree=447588/480292
[pid=20188] ppid=20185 vsize=1318468 CPUtime=1541.79 cores=0,2,4,6
/proc/20188/stat : 20188 (toysat) R 20185 20188 16080 0 -1 4202496 271087 0 0 0 154130 49 0 0 20 0 4 0 12111920 1350111232 271484 33554432000 4194304 16246674 140736020808720 140736020791712 6022530 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/20188/statm: 329617 271484 788 2943 0 326511 0
[pid=20188/tid=20189] ppid=20185 vsize=1318468 CPUtime=0 cores=0,2,4,6
/proc/20188/task/20189/stat : 20189 (toysat) S 20185 20188 16080 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12111921 1350111232 271484 33554432000 4194304 16246674 140736020808720 140398601153776 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=20188/tid=20190] ppid=20185 vsize=1318468 CPUtime=0 cores=0,2,4,6
/proc/20188/task/20190/stat : 20190 (toysat) S 20185 20188 16080 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 12111921 1350111232 271484 33554432000 4194304 16246674 140736020808720 140398521462000 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=20188/tid=20191] ppid=20185 vsize=1318468 CPUtime=0 cores=0,2,4,6
/proc/20188/task/20191/stat : 20191 (toysat) S 20185 20188 16080 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 12111921 1350111232 271484 33554432000 4194304 16246674 140736020808720 140398510988464 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1541.79
Current children cumulated vsize (KiB) 1318468

[startup+1602.3 s]
/proc/loadavg: 2.12 2.09 2.00 3/181 20234
/proc/meminfo: memFree=28338828/32872528 swapFree=447588/480292
[pid=20188] ppid=20185 vsize=1318468 CPUtime=1601.77 cores=0,2,4,6
/proc/20188/stat : 20188 (toysat) R 20185 20188 16080 0 -1 4202496 271087 0 0 0 160128 49 0 0 20 0 4 0 12111920 1350111232 271484 33554432000 4194304 16246674 140736020808720 140736020791712 13923648 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/20188/statm: 329617 271484 788 2943 0 326511 0
[pid=20188/tid=20189] ppid=20185 vsize=1318468 CPUtime=0 cores=0,2,4,6
/proc/20188/task/20189/stat : 20189 (toysat) S 20185 20188 16080 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12111921 1350111232 271484 33554432000 4194304 16246674 140736020808720 140398601153776 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=20188/tid=20190] ppid=20185 vsize=1318468 CPUtime=0 cores=0,2,4,6
/proc/20188/task/20190/stat : 20190 (toysat) S 20185 20188 16080 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 12111921 1350111232 271484 33554432000 4194304 16246674 140736020808720 140398521462000 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=20188/tid=20191] ppid=20185 vsize=1318468 CPUtime=0 cores=0,2,4,6
/proc/20188/task/20191/stat : 20191 (toysat) S 20185 20188 16080 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 12111921 1350111232 271484 33554432000 4194304 16246674 140736020808720 140398510988464 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1601.77
Current children cumulated vsize (KiB) 1318468

[startup+1662.3 s]
/proc/loadavg: 2.07 2.08 2.00 3/181 20235
/proc/meminfo: memFree=28338528/32872528 swapFree=447588/480292
[pid=20188] ppid=20185 vsize=1318468 CPUtime=1661.76 cores=0,2,4,6
/proc/20188/stat : 20188 (toysat) R 20185 20188 16080 0 -1 4202496 271087 0 0 0 166127 49 0 0 20 0 4 0 12111920 1350111232 271484 33554432000 4194304 16246674 140736020808720 140736020791712 5674018 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/20188/statm: 329617 271484 788 2943 0 326511 0
[pid=20188/tid=20189] ppid=20185 vsize=1318468 CPUtime=0 cores=0,2,4,6
/proc/20188/task/20189/stat : 20189 (toysat) S 20185 20188 16080 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12111921 1350111232 271484 33554432000 4194304 16246674 140736020808720 140398601153776 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=20188/tid=20190] ppid=20185 vsize=1318468 CPUtime=0 cores=0,2,4,6
/proc/20188/task/20190/stat : 20190 (toysat) S 20185 20188 16080 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 12111921 1350111232 271484 33554432000 4194304 16246674 140736020808720 140398521462000 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=20188/tid=20191] ppid=20185 vsize=1318468 CPUtime=0 cores=0,2,4,6
/proc/20188/task/20191/stat : 20191 (toysat) S 20185 20188 16080 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 12111921 1350111232 271484 33554432000 4194304 16246674 140736020808720 140398510988464 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1661.76
Current children cumulated vsize (KiB) 1318468

[startup+1722.3 s]
/proc/loadavg: 2.06 2.08 2.00 3/181 20236
/proc/meminfo: memFree=28338580/32872528 swapFree=447588/480292
[pid=20188] ppid=20185 vsize=1318468 CPUtime=1721.76 cores=0,2,4,6
/proc/20188/stat : 20188 (toysat) R 20185 20188 16080 0 -1 4202496 271087 0 0 0 172126 50 0 0 20 0 4 0 12111920 1350111232 271484 33554432000 4194304 16246674 140736020808720 140736020791720 5822428 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/20188/statm: 329617 271484 788 2943 0 326511 0
[pid=20188/tid=20189] ppid=20185 vsize=1318468 CPUtime=0 cores=0,2,4,6
/proc/20188/task/20189/stat : 20189 (toysat) S 20185 20188 16080 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12111921 1350111232 271484 33554432000 4194304 16246674 140736020808720 140398601153776 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=20188/tid=20190] ppid=20185 vsize=1318468 CPUtime=0 cores=0,2,4,6
/proc/20188/task/20190/stat : 20190 (toysat) S 20185 20188 16080 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 12111921 1350111232 271484 33554432000 4194304 16246674 140736020808720 140398521462000 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=20188/tid=20191] ppid=20185 vsize=1318468 CPUtime=0 cores=0,2,4,6
/proc/20188/task/20191/stat : 20191 (toysat) S 20185 20188 16080 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 12111921 1350111232 271484 33554432000 4194304 16246674 140736020808720 140398510988464 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1721.76
Current children cumulated vsize (KiB) 1318468

[startup+1782.3 s]
/proc/loadavg: 2.05 2.08 2.00 4/181 20286
/proc/meminfo: memFree=28348260/32872528 swapFree=447588/480292
[pid=20188] ppid=20185 vsize=1318468 CPUtime=1781.74 cores=0,2,4,6
/proc/20188/stat : 20188 (toysat) R 20185 20188 16080 0 -1 4202496 271087 0 0 0 178124 50 0 0 20 0 4 0 12111920 1350111232 271484 33554432000 4194304 16246674 140736020808720 140736020791720 5708149 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/20188/statm: 329617 271484 788 2943 0 326511 0
[pid=20188/tid=20189] ppid=20185 vsize=1318468 CPUtime=0 cores=0,2,4,6
/proc/20188/task/20189/stat : 20189 (toysat) S 20185 20188 16080 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12111921 1350111232 271484 33554432000 4194304 16246674 140736020808720 140398601153776 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=20188/tid=20190] ppid=20185 vsize=1318468 CPUtime=0 cores=0,2,4,6
/proc/20188/task/20190/stat : 20190 (toysat) S 20185 20188 16080 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 12111921 1350111232 271484 33554432000 4194304 16246674 140736020808720 140398521462000 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=20188/tid=20191] ppid=20185 vsize=1318468 CPUtime=0 cores=0,2,4,6
/proc/20188/task/20191/stat : 20191 (toysat) S 20185 20188 16080 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 12111921 1350111232 271484 33554432000 4194304 16246674 140736020808720 140398510988464 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1781.74
Current children cumulated vsize (KiB) 1318468



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.6 s]
/proc/loadavg: 2.04 2.07 2.00 4/181 20286
/proc/meminfo: memFree=28348136/32872528 swapFree=447588/480292
[pid=20188] ppid=20185 vsize=1318468 CPUtime=1800.04 cores=0,2,4,6
/proc/20188/stat : 20188 (toysat) R 20185 20188 16080 0 -1 4202496 271087 0 0 0 179954 50 0 0 20 0 4 0 12111920 1350111232 271484 33554432000 4194304 16246674 140736020808720 140736020790592 6011712 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/20188/statm: 329617 271484 788 2943 0 326511 0
[pid=20188/tid=20189] ppid=20185 vsize=1318468 CPUtime=0 cores=0,2,4,6
/proc/20188/task/20189/stat : 20189 (toysat) S 20185 20188 16080 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12111921 1350111232 271484 33554432000 4194304 16246674 140736020808720 140398601153776 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=20188/tid=20190] ppid=20185 vsize=1318468 CPUtime=0 cores=0,2,4,6
/proc/20188/task/20190/stat : 20190 (toysat) S 20185 20188 16080 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 12111921 1350111232 271484 33554432000 4194304 16246674 140736020808720 140398521462000 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=20188/tid=20191] ppid=20185 vsize=1318468 CPUtime=0 cores=0,2,4,6
/proc/20188/task/20191/stat : 20191 (toysat) S 20185 20188 16080 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 12111921 1350111232 271484 33554432000 4194304 16246674 140736020808720 140398510988464 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1800.04
Current children cumulated vsize (KiB) 1318468

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

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1800.61
CPU time (s): 1800.05
CPU user time (s): 1799.55
CPU system time (s): 0.507922
CPU usage (%): 99.9692
Max. virtual memory (cumulated for all children) (KiB): 1318468

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.55
system time used= 0.507922
maximum resident set size= 1085936
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 271087
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 459
involuntary context switches= 2761

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 5.03323 second user time and 5.80012 second system time

The end

Begin job on node104 at 2016-06-30 20:08:01
IDJOB=4120138
IDBENCH=109724
IDSOLVER=2542
FILE ID=node104/4120138-1467310081
RUNJOBID= node104-1467310023-19959
PBS_JOBID= 20005270
Free space on /tmp= 71704 MiB

SOLVER NAME= toysat 2016-05-02
BENCH NAME= PB15eval/normalized-PB15eval/DEC-SMALLINT-LIN/ProofComplexity-Extracted-Cardinality-Constraints/ProofComplexity/normalized-fixed-bandwidth-83.cnf.gz-extracted.pb.metafix.opb
COMMAND LINE= toysat +RTS -H1G -MMEMLIMITm -K1G -RTS --pb --search=bcd2 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4120138-1467310081/watcher-4120138-1467310081 -o /tmp/evaluation-result-4120138-1467310081/solver-4120138-1467310081 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node104-1467310023-19959 --watchdog 1960  toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4120138-1467310081.opb

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

MD5SUM BENCH= e2d14e2926e40df10aad66fbacabe439
RANDOM SEED=431017557

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

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

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

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

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

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

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

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

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.334
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:        29435224 kB
Buffers:          192404 kB
Cached:           934688 kB
SwapCached:            0 kB
Active:          1422196 kB
Inactive:         790172 kB
Active(anon):    1087836 kB
Inactive(anon):        0 kB
Active(file):     334360 kB
Inactive(file):   790172 kB
Unevictable:      480292 kB
Mlocked:          447588 kB
SwapTotal:      67108856 kB
SwapFree:       67108856 kB
Dirty:             16344 kB
Writeback:             0 kB
AnonPages:       1571588 kB
Mapped:            16392 kB
Shmem:               204 kB
Slab:             610480 kB
SReclaimable:      54852 kB
SUnreclaim:       555628 kB
KernelStack:        1504 kB
PageTables:         7064 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    1689828 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:     61440 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 node104 at 2016-06-30 20:38:02