0.00/0.00	c 2016-06-30T20:31:58+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-4120538-1467311518.opb"]
0.00/0.01	c use --random-gen="2510088160 112294257 970535599 2616659830 1287197327 1950360451 1137000587 3893236360 786212503 638451231 2832235892 3741730902 1687056174 46976451 3012532620 2229766784 3673390914 4068160089 2844122886 2356399182 3611056414 3776251009 945000799 212835251 3692971899 1725621971 1860269186 812925711 4008584750 410533562 4085180485 254102198 3904966729 3020267194 3743156990 3004330591 4188930922 3718186483 1162125547 457653114 236637932 4080196372 3736797758 1511217941 563363481 3919815048 2564553201 2215690657 1382898864 3150224065 3922512695 2715848287 505359132 691374824 3680069931 2044290390 2520827368 1410935885 2308050097 3013487713 3966133883 3496277809 1163001960 4281103270 300770520 231334109 3815204367 229196474 3650261348 882105210 3009295301 3145212767 2431674170 1235999793 193558544 309742237 123333532 3421679073 3780681317 2285135137 3030231072 3526874683 2573557880 1617533138 1660555705 592095222 171489549 964819015 1089140097 3116167422 1015536322 3354663624 2256130921 209699659 2408924376 2020212539 2642406734 3488734166 341476868 585375410 3986331786 3019831752 3997506435 33883859 2085317946 3490600974 1585673276 1951069823 506846320 3924584514 53805036 1783772800 3006364185 1615267183 986696361 2569973310 1870816888 3124885994 2389451058 3132015943 1804674827 1321665857 351423011 190892796 1729493433 169735924 2134636744 1554822979 2424150749 2185485022 2652469509 1078861735 2932541777 1558343025 1383308125 3508132848 3794751714 716186398 1210064529 4147006785 3595101133 2355646697 481149076 1716836551 2272612079 2392222377 3157589380 1435645173 1105000520 2846235461 3237836779 786509543 4195464329 1349334298 2100467354 4173390706 846269284 3120201830 269294692 344808493 4180159993 4055849939 2545277373 2749305695 503168281 2382769224 894087238 3660657844 3584307208 518712953 3154948972 306331063 1847820736 3375173394 2186651765 899551118 3556513777 3974404779 2511125683 543176225 4198726727 1694246268 2816799094 3076989584 2353289952 3409672955 2052308113 3367016417 1544213371 2298509741 1360386806 1350289163 2279724501 515673871 2143319008 3513874321 1903031380 2794215409 2136486591 2793598916 295537745 1027463494 1284196650 912216587 2440199279 1232942007 3962952315 2372452727 802131665 253216673 1707768260 3452853274 3474804045 858799688 2874659611 3410696280 2583748349 4190441878 2671568566 2307895493 168577666 1418345712 4191786711 706782807 3476898048 3747253634 245777386 2926180203 513181576 2267383416 364211311 3087661443 2441151896 1902753158 2050024062 258412652 3964833238 1361040110 3267621695 2049131049 4269544119 1791660176 2699396059 1918047102 1903538706 591028494 2188638341 497356613 2483072247 2091736685 2948924890 3119085242 4095041878 2742914990 52331863 1806031938 255 362436" option to reproduce the execution
0.00/0.01	c #vars 289
0.00/0.01	c #constraints 288
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 |      192      0 |        0 |        0
0.00/0.03	c  0.0s |       1 |      178 |      100 |      192      0 |        0 |        0
0.00/0.05	c  0.0s |       2 |      636 |      250 |      212      1 |        0 |        0
0.00/0.08	c  0.1s |       3 |     1154 |      475 |      234      1 |        0 |        0
0.09/0.11	c  0.1s |       4 |     1707 |      813 |      258      3 |        0 |        0
0.09/0.17	c  0.2s |       5 |     2760 |     1320 |      284      5 |        0 |        0
0.19/0.27	c  0.3s |       6 |     3891 |     2081 |      345      9 |        0 |        0
0.38/0.41	c  0.4s |       7 |     6336 |     3223 |      380     14 |        0 |        0
0.59/0.64	c  0.6s |       8 |     9342 |     4936 |      419     21 |        0 |        0
0.88/0.92	c  0.9s |       9 |    12683 |     7506 |      461     29 |        0 |        0
1.20/1.29	c  1.3s |      10 |    18222 |    11361 |      508     41 |        0 |        0
1.79/1.81	c  1.8s |      11 |    26720 |    17144 |      559     58 |        0 |        0
2.59/2.66	c  2.6s |      12 |    40663 |    25819 |      615     85 |        0 |        0
3.79/3.82	c  3.8s |      13 |    58783 |    38832 |      677    119 |        0 |        0
5.60/5.63	c  5.6s |      14 |    85167 |    58352 |      745    167 |        0 |        0
7.59/7.63	c  7.6s |      14 |   114423 |    79752 |      745    214 |        0 |        0
8.39/8.41	c  8.4s |      15 |   124989 |    87632 |      820    232 |        0 |        0
10.39/10.42	c 10.4s |      15 |   149987 |   106432 |      820    270 |        0 |        0
12.39/12.42	c 12.4s |      15 |   174623 |   125132 |      820    308 |        0 |        0
12.99/13.07	c 13.1s |      16 |   183193 |   131552 |      903    321 |        0 |        0
14.99/15.07	c 15.1s |      16 |   210199 |   151652 |      903    358 |        0 |        0
16.99/17.08	c 17.1s |      16 |   236843 |   171952 |      903    396 |        0 |        0
18.99/19.08	c 19.1s |      16 |   264782 |   192552 |      903    434 |        0 |        0
19.48/19.57	c 19.6s |      17 |   271215 |   197432 |      994    443 |        0 |        0
21.48/21.57	c 21.6s |      17 |   296425 |   215932 |      994    475 |        0 |        0
23.48/23.57	c 23.6s |      17 |   321942 |   235032 |      994    507 |        0 |        0
25.49/25.58	c 25.6s |      17 |   348918 |   254632 |      994    541 |        0 |        0
27.50/27.58	c 27.6s |      17 |   376614 |   274332 |      994    574 |        0 |        0
29.49/29.58	c 29.6s |      17 |   401870 |   293032 |      994    607 |        0 |        0
29.89/29.94	c 29.9s |      18 |   406397 |   296252 |     1094    612 |        0 |        0
31.89/31.94	c 31.9s |      18 |   430273 |   314552 |     1094    641 |        0 |        0
33.89/33.95	c 33.9s |      18 |   453703 |   332552 |     1094    670 |        0 |        0
35.88/35.95	c 35.9s |      18 |   477949 |   350752 |     1094    699 |        0 |        0
37.88/37.96	c 37.9s |      18 |   505280 |   370252 |     1094    731 |        0 |        0
39.88/39.97	c 40.0s |      18 |   529793 |   388752 |     1094    760 |        0 |        0
41.89/41.97	c 42.0s |      18 |   553535 |   406852 |     1094    789 |        0 |        0
43.88/43.97	c 44.0s |      18 |   579050 |   425752 |     1094    820 |        0 |        0
45.88/45.90	c 45.9s |      19 |   606817 |   444482 |     1204    849 |        0 |        0
47.88/47.90	c 47.9s |      19 |   628621 |   461582 |     1204    874 |        0 |        0
49.88/49.91	c 49.9s |      19 |   652231 |   479382 |     1204    900 |        0 |        0
51.88/51.91	c 51.9s |      19 |   675109 |   496982 |     1204    926 |        0 |        0
53.89/53.92	c 53.9s |      19 |   697537 |   514482 |     1204    952 |        0 |        0
55.88/55.93	c 55.9s |      19 |   719885 |   531582 |     1204    977 |        0 |        0
57.88/57.93	c 57.9s |      19 |   742815 |   548882 |     1204   1002 |        0 |        0
59.88/59.94	c 59.9s |      19 |   766660 |   566882 |     1204   1029 |        0 |        0
61.88/61.94	c 61.9s |      19 |   788844 |   583982 |     1204   1054 |        0 |        0
63.89/63.94	c 63.9s |      19 |   811351 |   601382 |     1204   1079 |        0 |        0
65.88/65.95	c 65.9s |      19 |   837329 |   620182 |     1204   1107 |        0 |        0
67.88/67.96	c 67.9s |      19 |   860564 |   637782 |     1204   1133 |        0 |        0
69.88/69.96	c 69.9s |      19 |   885919 |   656882 |     1204   1161 |        0 |        0
70.98/71.04	c 71.0s |      20 |   899540 |   666827 |     1325   1175 |        0 |        0
72.98/73.05	c 73.0s |      20 |   921382 |   684327 |     1325   1199 |        0 |        0
74.98/75.05	c 75.0s |      20 |   946835 |   703427 |     1325   1225 |        0 |        0
76.98/77.06	c 77.0s |      20 |   972756 |   722627 |     1325   1251 |        0 |        0
78.98/79.06	c 79.0s |      20 |   996476 |   740727 |     1325   1275 |        0 |        0
80.98/81.06	c 81.0s |      20 |  1020089 |   758627 |     1325   1300 |        0 |        0
82.98/83.07	c 83.1s |      20 |  1042969 |   776427 |     1325   1324 |        0 |        0
84.97/85.07	c 85.1s |      20 |  1066245 |   794227 |     1325   1348 |        0 |        0
86.98/87.07	c 87.1s |      20 |  1091222 |   813027 |     1325   1374 |        0 |        0
88.97/89.08	c 89.1s |      20 |  1116936 |   832527 |     1325   1400 |        0 |        0
90.97/91.09	c 91.1s |      20 |  1138813 |   850427 |     1325   1424 |        0 |        0
92.97/93.09	c 93.1s |      20 |  1162129 |   868527 |     1325   1449 |        0 |        0
95.07/95.10	c 95.1s |      20 |  1185178 |   886027 |     1325   1472 |        0 |        0
97.07/97.11	c 97.1s |      20 |  1209342 |   904127 |     1325   1497 |        0 |        0
99.08/99.12	c 99.1s |      20 |  1232847 |   922127 |     1325   1521 |        0 |        0
101.07/101.13	c  101s |      20 |  1256667 |   940327 |     1325   1545 |        0 |        0
103.08/103.14	c  103s |      20 |  1281397 |   958927 |     1325   1571 |        0 |        0
105.08/105.14	c  105s |      20 |  1305494 |   977127 |     1325   1595 |        0 |        0
107.08/107.14	c  107s |      20 |  1329498 |   995127 |     1458   1619 |        0 |        0
107.67/107.77	c  107s |      21 |  1336409 |  1000345 |     1458   1626 |        0 |        0
109.67/109.78	c  109s |      21 |  1360345 |  1017745 |     1458   1647 |        0 |        0
111.67/111.78	c  111s |      21 |  1383529 |  1034845 |     1458   1668 |        0 |        0
113.67/113.78	c  113s |      21 |  1407453 |  1052245 |     1458   1690 |        0 |        0
115.67/115.79	c  115s |      21 |  1432248 |  1070845 |     1458   1713 |        0 |        0
117.68/117.80	c  117s |      21 |  1454618 |  1088045 |     1458   1734 |        0 |        0
119.77/119.80	c  119s |      21 |  1478259 |  1105445 |     1458   1756 |        0 |        0
121.77/121.81	c  121s |      21 |  1502360 |  1123545 |     1458   1778 |        0 |        0
123.77/123.82	c  123s |      21 |  1524553 |  1140345 |     1458   1799 |        0 |        0
125.77/125.83	c  125s |      21 |  1546833 |  1157445 |     1458   1820 |        0 |        0
127.77/127.83	c  127s |      21 |  1569918 |  1175145 |     1458   1842 |        0 |        0
129.78/129.83	c  129s |      21 |  1594448 |  1193245 |     1458   1865 |        0 |        0
131.77/131.84	c  131s |      21 |  1615791 |  1209145 |     1458   1884 |        0 |        0
133.77/133.84	c  133s |      21 |  1638626 |  1226145 |     1458   1905 |        0 |        0
135.77/135.85	c  135s |      21 |  1662813 |  1243945 |     1458   1927 |        0 |        0
137.77/137.86	c  137s |      21 |  1685418 |  1260945 |     1458   1949 |        0 |        0
139.77/139.87	c  139s |      21 |  1709206 |  1278445 |     1458   1970 |        0 |        0
141.77/141.87	c  141s |      21 |  1731673 |  1295645 |     1458   1992 |        0 |        0
143.77/143.88	c  143s |      21 |  1755329 |  1313445 |     1458   2014 |        0 |        0
145.76/145.90	c  145s |      21 |  1779021 |  1330945 |     1458   2036 |        0 |        0
147.86/147.90	c  147s |      21 |  1800752 |  1347545 |     1458   2056 |        0 |        0
149.86/149.91	c  149s |      21 |  1821780 |  1364245 |     1458   2077 |        0 |        0
151.87/151.91	c  151s |      21 |  1845162 |  1381445 |     1458   2098 |        0 |        0
153.86/153.92	c  153s |      21 |  1867285 |  1398345 |     1458   2119 |        0 |        0
155.86/155.93	c  155s |      21 |  1890589 |  1415745 |     1458   2141 |        0 |        0
157.86/157.94	c  157s |      21 |  1914092 |  1433345 |     1458   2162 |        0 |        0
159.86/159.94	c  159s |      21 |  1939378 |  1451245 |     1458   2185 |        0 |        0
161.86/161.95	c  161s |      21 |  1964089 |  1469445 |     1458   2208 |        0 |        0
163.87/163.95	c  163s |      21 |  1988262 |  1487645 |     1458   2231 |        0 |        0
165.36/165.45	c  165s |      22 |  2005401 |  1500622 |     1604   2246 |        0 |        0
167.37/167.46	c  167s |      22 |  2028618 |  1518422 |     1604   2268 |        0 |        0
169.37/169.47	c  169s |      22 |  2055045 |  1536922 |     1604   2289 |        0 |        0
171.37/171.47	c  171s |      22 |  2076941 |  1553322 |     1604   2308 |        0 |        0
173.37/173.47	c  173s |      22 |  2099443 |  1570422 |     1604   2328 |        0 |        0
175.36/175.48	c  175s |      22 |  2121079 |  1587022 |     1604   2347 |        0 |        0
177.36/177.49	c  177s |      22 |  2140599 |  1602622 |     1604   2364 |        0 |        0
179.37/179.49	c  179s |      22 |  2163651 |  1619722 |     1604   2384 |        0 |        0
181.36/181.50	c  181s |      22 |  2185164 |  1636522 |     1604   2403 |        0 |        0
183.46/183.51	c  183s |      22 |  2207803 |  1653622 |     1604   2423 |        0 |        0
185.46/185.52	c  185s |      22 |  2230707 |  1670322 |     1604   2442 |        0 |        0
187.45/187.52	c  187s |      22 |  2252795 |  1686922 |     1604   2461 |        0 |        0
189.45/189.52	c  189s |      22 |  2275035 |  1703822 |     1604   2480 |        0 |        0
191.46/191.53	c  191s |      22 |  2298605 |  1721222 |     1604   2500 |        0 |        0
193.46/193.54	c  193s |      22 |  2321361 |  1738422 |     1604   2520 |        0 |        0
195.46/195.54	c  195s |      22 |  2343935 |  1755322 |     1604   2539 |        0 |        0
197.45/197.54	c  197s |      22 |  2367390 |  1772522 |     1604   2559 |        0 |        0
199.45/199.55	c  199s |      22 |  2390624 |  1789722 |     1604   2579 |        0 |        0
201.45/201.56	c  201s |      22 |  2412522 |  1806222 |     1604   2598 |        0 |        0
203.45/203.56	c  203s |      22 |  2434368 |  1822722 |     1604   2616 |        0 |        0
205.44/205.56	c  205s |      22 |  2456605 |  1839522 |     1604   2636 |        0 |        0
207.44/207.57	c  207s |      22 |  2479722 |  1856222 |     1604   2655 |        0 |        0
209.44/209.57	c  209s |      22 |  2501804 |  1872222 |     1604   2673 |        0 |        0
211.44/211.57	c  211s |      22 |  2523177 |  1888222 |     1604   2691 |        0 |        0
213.45/213.58	c  213s |      22 |  2544084 |  1904122 |     1604   2710 |        0 |        0
215.44/215.58	c  215s |      22 |  2567674 |  1921622 |     1604   2730 |        0 |        0
217.45/217.59	c  217s |      22 |  2590305 |  1938522 |     1604   2749 |        0 |        0
219.45/219.60	c  219s |      22 |  2610115 |  1953722 |     1604   2766 |        0 |        0
221.55/221.60	c  221s |      22 |  2630434 |  1969722 |     1604   2785 |        0 |        0
223.55/223.61	c  223s |      22 |  2652289 |  1986122 |     1604   2803 |        0 |        0
225.55/225.62	c  225s |      22 |  2672017 |  2001922 |     1604   2822 |        0 |        0
227.54/227.63	c  227s |      22 |  2692569 |  2017822 |     1604   2840 |        0 |        0
229.54/229.64	c  229s |      22 |  2715211 |  2035122 |     1604   2860 |        0 |        0
231.54/231.65	c  231s |      22 |  2735662 |  2051022 |     1604   2878 |        0 |        0
233.54/233.66	c  233s |      22 |  2758553 |  2068222 |     1604   2897 |        0 |        0
235.54/235.67	c  235s |      22 |  2781197 |  2085222 |     1604   2917 |        0 |        0
237.54/237.68	c  237s |      22 |  2803142 |  2101922 |     1604   2936 |        0 |        0
239.53/239.68	c  239s |      22 |  2824991 |  2118622 |     1604   2955 |        0 |        0
241.53/241.69	c  241s |      22 |  2846609 |  2135022 |     1604   2974 |        0 |        0
243.53/243.70	c  243s |      22 |  2869016 |  2151722 |     1604   2993 |        0 |        0
245.63/245.70	c  245s |      22 |  2890145 |  2167822 |     1604   3012 |        0 |        0
247.63/247.71	c  247s |      22 |  2912680 |  2184322 |     1604   3031 |        0 |        0
249.63/249.71	c  249s |      22 |  2935693 |  2201222 |     1604   3050 |        0 |        0
251.63/251.71	c  251s |      22 |  2959948 |  2218522 |     1604   3070 |        0 |        0
253.62/253.72	c  253s |      22 |  2982739 |  2235322 |     1765   3089 |        0 |        0
255.62/255.71	c  255s |      23 |  3004337 |  2251038 |     1765   3105 |        0 |        0
257.62/257.72	c  257s |      23 |  3024311 |  2266438 |     1765   3121 |        0 |        0
259.63/259.72	c  259s |      23 |  3046209 |  2282838 |     1765   3138 |        0 |        0
261.62/261.73	c  261s |      23 |  3065717 |  2298238 |     1765   3154 |        0 |        0
263.62/263.74	c  263s |      23 |  3087306 |  2314438 |     1765   3171 |        0 |        0
265.63/265.74	c  265s |      23 |  3109271 |  2330638 |     1765   3188 |        0 |        0
267.63/267.75	c  267s |      23 |  3129879 |  2346638 |     1765   3205 |        0 |        0
269.62/269.75	c  269s |      23 |  3152388 |  2363438 |     1765   3222 |        0 |        0
271.63/271.76	c  271s |      23 |  3172404 |  2379538 |     1765   3239 |        0 |        0
273.62/273.77	c  273s |      23 |  3193856 |  2396138 |     1765   3256 |        0 |        0
275.62/275.79	c  275s |      23 |  3214963 |  2412638 |     1765   3274 |        0 |        0
277.62/277.79	c  277s |      23 |  3236020 |  2428938 |     1765   3291 |        0 |        0
279.72/279.80	c  279s |      23 |  3256672 |  2444938 |     1765   3307 |        0 |        0
281.72/281.80	c  281s |      23 |  3277467 |  2461138 |     1765   3324 |        0 |        0
283.72/283.81	c  283s |      23 |  3297224 |  2476738 |     1765   3341 |        0 |        0
285.71/285.82	c  285s |      23 |  3319844 |  2493638 |     1765   3359 |        0 |        0
287.71/287.82	c  287s |      23 |  3342657 |  2510338 |     1765   3376 |        0 |        0
289.71/289.83	c  289s |      23 |  3364949 |  2526738 |     1765   3393 |        0 |        0
291.71/291.83	c  291s |      23 |  3386295 |  2542938 |     1765   3410 |        0 |        0
293.71/293.83	c  293s |      23 |  3407775 |  2559438 |     1765   3428 |        0 |        0
295.71/295.84	c  295s |      23 |  3429888 |  2575838 |     1765   3445 |        0 |        0
297.71/297.84	c  297s |      23 |  3451563 |  2592238 |     1765   3462 |        0 |        0
299.71/299.85	c  299s |      23 |  3473797 |  2608938 |     1765   3480 |        0 |        0
301.71/301.85	c  301s |      23 |  3496583 |  2625438 |     1765   3497 |        0 |        0
303.71/303.86	c  303s |      23 |  3518024 |  2641338 |     1765   3514 |        0 |        0
305.71/305.87	c  305s |      23 |  3541284 |  2657938 |     1765   3531 |        0 |        0
307.71/307.87	c  307s |      23 |  3562363 |  2673738 |     1765   3548 |        0 |        0
309.70/309.87	c  309s |      23 |  3583888 |  2690238 |     1765   3565 |        0 |        0
311.70/311.88	c  311s |      23 |  3606139 |  2707338 |     1765   3583 |        0 |        0
313.70/313.89	c  313s |      23 |  3629054 |  2724638 |     1765   3601 |        0 |        0
315.81/315.90	c  315s |      23 |  3651472 |  2741438 |     1765   3619 |        0 |        0
317.81/317.90	c  317s |      23 |  3672796 |  2758038 |     1765   3636 |        0 |        0
319.81/319.91	c  319s |      23 |  3695928 |  2775038 |     1765   3654 |        0 |        0
321.80/321.92	c  321s |      23 |  3717692 |  2791238 |     1765   3671 |        0 |        0
323.80/323.93	c  323s |      23 |  3739205 |  2807238 |     1765   3688 |        0 |        0
325.80/325.93	c  325s |      23 |  3761789 |  2824138 |     1765   3706 |        0 |        0
327.81/327.94	c  327s |      23 |  3782340 |  2840238 |     1765   3723 |        0 |        0
329.80/329.94	c  329s |      23 |  3803683 |  2856638 |     1765   3740 |        0 |        0
331.80/331.95	c  331s |      23 |  3827614 |  2873838 |     1765   3758 |        0 |        0
333.79/333.96	c  333s |      23 |  3849816 |  2890538 |     1765   3776 |        0 |        0
335.79/335.98	c  335s |      23 |  3869883 |  2906338 |     1765   3792 |        0 |        0
337.79/337.98	c  337s |      23 |  3889918 |  2921838 |     1765   3809 |        0 |        0
339.79/339.98	c  339s |      23 |  3911415 |  2938738 |     1765   3827 |        0 |        0
341.79/341.99	c  341s |      23 |  3931748 |  2954538 |     1765   3843 |        0 |        0
343.78/343.99	c  343s |      23 |  3953777 |  2970938 |     1765   3861 |        0 |        0
345.88/346.00	c  345s |      23 |  3975071 |  2986638 |     1765   3877 |        0 |        0
347.88/348.00	c  347s |      23 |  3995611 |  3002538 |     1765   3894 |        0 |        0
349.88/350.00	c  349s |      23 |  4016984 |  3018738 |     1765   3911 |        0 |        0
351.88/352.01	c  351s |      23 |  4038296 |  3035738 |     1765   3929 |        0 |        0
353.88/354.01	c  353s |      23 |  4060280 |  3052438 |     1765   3947 |        0 |        0
355.89/356.01	c  355s |      23 |  4082757 |  3069138 |     1765   3964 |        0 |        0
357.89/358.01	c  357s |      23 |  4104055 |  3085438 |     1765   3982 |        0 |        0
359.89/360.02	c  359s |      23 |  4125900 |  3101738 |     1765   3999 |        0 |        0
361.89/362.02	c  362s |      23 |  4148177 |  3118838 |     1765   4017 |        0 |        0
363.88/364.02	c  364s |      23 |  4170354 |  3135938 |     1765   4035 |        0 |        0
365.88/366.03	c  366s |      23 |  4191151 |  3152238 |     1765   4052 |        0 |        0
367.88/368.05	c  368s |      23 |  4211606 |  3167638 |     1765   4069 |        0 |        0
369.88/370.06	c  370s |      23 |  4232525 |  3182938 |     1765   4085 |        0 |        0
371.88/372.07	c  372s |      23 |  4254314 |  3199238 |     1765   4102 |        0 |        0
373.89/374.08	c  374s |      23 |  4276263 |  3215838 |     1765   4120 |        0 |        0
375.88/376.08	c  376s |      23 |  4296139 |  3231438 |     1765   4136 |        0 |        0
377.88/378.09	c  378s |      23 |  4317514 |  3247438 |     1765   4153 |        0 |        0
379.88/380.09	c  380s |      23 |  4336810 |  3262638 |     1765   4169 |        0 |        0
381.88/382.09	c  382s |      23 |  4357847 |  3278538 |     1765   4186 |        0 |        0
383.97/384.10	c  384s |      23 |  4377571 |  3294038 |     1765   4202 |        0 |        0
385.98/386.11	c  386s |      23 |  4398005 |  3309538 |     1765   4218 |        0 |        0
387.97/388.11	c  388s |      23 |  4417936 |  3325038 |     1765   4235 |        0 |        0
389.97/390.12	c  390s |      23 |  4440941 |  3342538 |     1765   4253 |        0 |        0
391.97/392.12	c  392s |      23 |  4462518 |  3358738 |     1942   4270 |        0 |        0
393.97/394.14	c  394s |      23 |  4485988 |  3376338 |     1942   4287 |        0 |        0
393.97/394.18	c  394s |      24 |  4486366 |  3376662 |     1942   4287 |        0 |        0
395.97/396.19	c  396s |      24 |  4506733 |  3392262 |     1942   4302 |        0 |        0
398.07/398.21	c  398s |      24 |  4528606 |  3408662 |     1942   4317 |        0 |        0
400.06/400.22	c  400s |      24 |  4549178 |  3424262 |     1942   4332 |        0 |        0
402.06/402.22	c  402s |      24 |  4569750 |  3440162 |     1942   4347 |        0 |        0
404.06/404.22	c  404s |      24 |  4589456 |  3455562 |     1942   4362 |        0 |        0
406.07/406.22	c  406s |      24 |  4609549 |  3471062 |     1942   4377 |        0 |        0
408.07/408.23	c  408s |      24 |  4631126 |  3487162 |     1942   4392 |        0 |        0
410.07/410.23	c  410s |      24 |  4651548 |  3503162 |     1942   4407 |        0 |        0
412.06/412.23	c  412s |      24 |  4673494 |  3519862 |     1942   4423 |        0 |        0
414.06/414.24	c  414s |      24 |  4695237 |  3536562 |     1942   4439 |        0 |        0
416.06/416.25	c  416s |      24 |  4715686 |  3552662 |     1942   4454 |        0 |        0
418.06/418.26	c  418s |      24 |  4736564 |  3568462 |     1942   4469 |        0 |        0
420.07/420.27	c  420s |      24 |  4757675 |  3584462 |     1942   4485 |        0 |        0
422.06/422.28	c  422s |      24 |  4776934 |  3599462 |     1942   4499 |        0 |        0
424.05/424.29	c  424s |      24 |  4795659 |  3614262 |     1942   4513 |        0 |        0
426.05/426.29	c  426s |      24 |  4813789 |  3628362 |     1942   4526 |        0 |        0
428.15/428.30	c  428s |      24 |  4833241 |  3643662 |     1942   4541 |        0 |        0
430.15/430.31	c  430s |      24 |  4851307 |  3657962 |     1942   4555 |        0 |        0
432.16/432.31	c  432s |      24 |  4868576 |  3671962 |     1942   4568 |        0 |        0
434.15/434.32	c  434s |      24 |  4887513 |  3686862 |     1942   4582 |        0 |        0
436.15/436.32	c  436s |      24 |  4904678 |  3700662 |     1942   4595 |        0 |        0
438.15/438.33	c  438s |      24 |  4926036 |  3716662 |     1942   4610 |        0 |        0
440.15/440.33	c  440s |      24 |  4944396 |  3731462 |     1942   4625 |        0 |        0
442.15/442.34	c  442s |      24 |  4964187 |  3747162 |     1942   4639 |        0 |        0
444.14/444.35	c  444s |      24 |  4983690 |  3762062 |     1942   4654 |        0 |        0
446.14/446.35	c  446s |      24 |  5000965 |  3776162 |     1942   4667 |        0 |        0
448.14/448.35	c  448s |      24 |  5018924 |  3790262 |     1942   4681 |        0 |        0
450.15/450.36	c  450s |      24 |  5040890 |  3807162 |     1942   4697 |        0 |        0
452.15/452.36	c  452s |      24 |  5062580 |  3823862 |     1942   4713 |        0 |        0
454.15/454.36	c  454s |      24 |  5083802 |  3839962 |     1942   4728 |        0 |        0
456.15/456.36	c  456s |      24 |  5104916 |  3856162 |     1942   4743 |        0 |        0
458.15/458.38	c  458s |      24 |  5122449 |  3870262 |     1942   4757 |        0 |        0
460.15/460.39	c  460s |      24 |  5140611 |  3884962 |     1942   4771 |        0 |        0
462.14/462.39	c  462s |      24 |  5160264 |  3900162 |     1942   4785 |        0 |        0
464.15/464.39	c  464s |      24 |  5181411 |  3916062 |     1942   4801 |        0 |        0
466.25/466.40	c  466s |      24 |  5203000 |  3932462 |     1942   4816 |        0 |        0
468.24/468.41	c  468s |      24 |  5222888 |  3947762 |     1942   4831 |        0 |        0
470.24/470.41	c  470s |      24 |  5244000 |  3963962 |     1942   4846 |        0 |        0
472.24/472.42	c  472s |      24 |  5265299 |  3979962 |     1942   4861 |        0 |        0
474.24/474.43	c  474s |      24 |  5287608 |  3997062 |     1942   4878 |        0 |        0
476.24/476.44	c  476s |      24 |  5308216 |  4012662 |     1942   4893 |        0 |        0
478.23/478.45	c  478s |      24 |  5329106 |  4027962 |     1942   4907 |        0 |        0
480.23/480.45	c  480s |      24 |  5351102 |  4043962 |     1942   4922 |        0 |        0
482.23/482.45	c  482s |      24 |  5372858 |  4060262 |     1942   4938 |        0 |        0
484.23/484.46	c  484s |      24 |  5395469 |  4077062 |     1942   4954 |        0 |        0
486.23/486.46	c  486s |      24 |  5417239 |  4093462 |     1942   4970 |        0 |        0
488.23/488.47	c  488s |      24 |  5437625 |  4109062 |     1942   4985 |        0 |        0
490.23/490.49	c  490s |      24 |  5457146 |  4124262 |     1942   4999 |        0 |        0
492.23/492.49	c  492s |      24 |  5476351 |  4139162 |     1942   5013 |        0 |        0
494.32/494.50	c  494s |      24 |  5498155 |  4155862 |     1942   5029 |        0 |        0
496.32/496.51	c  496s |      24 |  5521219 |  4172762 |     1942   5045 |        0 |        0
498.32/498.51	c  498s |      24 |  5541908 |  4188862 |     1942   5061 |        0 |        0
500.33/500.52	c  500s |      24 |  5562410 |  4204962 |     1942   5076 |        0 |        0
502.33/502.52	c  502s |      24 |  5582553 |  4220162 |     1942   5090 |        0 |        0
504.32/504.53	c  504s |      24 |  5605334 |  4237162 |     1942   5107 |        0 |        0
506.32/506.53	c  506s |      24 |  5627213 |  4254262 |     1942   5123 |        0 |        0
508.32/508.54	c  508s |      24 |  5648501 |  4270762 |     1942   5139 |        0 |        0
510.33/510.54	c  510s |      24 |  5671202 |  4287962 |     1942   5155 |        0 |        0
512.32/512.54	c  512s |      24 |  5691971 |  4304062 |     1942   5171 |        0 |        0
514.32/514.54	c  514s |      24 |  5714956 |  4320862 |     1942   5187 |        0 |        0
516.32/516.55	c  516s |      24 |  5737036 |  4337862 |     1942   5203 |        0 |        0
518.31/518.56	c  518s |      24 |  5759847 |  4355062 |     1942   5219 |        0 |        0
520.31/520.57	c  520s |      24 |  5782094 |  4371962 |     1942   5235 |        0 |        0
522.32/522.57	c  522s |      24 |  5804458 |  4388762 |     1942   5251 |        0 |        0
524.30/524.57	c  524s |      24 |  5824479 |  4404662 |     1942   5266 |        0 |        0
526.30/526.58	c  526s |      24 |  5846249 |  4420962 |     1942   5282 |        0 |        0
528.31/528.58	c  528s |      24 |  5868330 |  4437362 |     1942   5298 |        0 |        0
530.31/530.59	c  530s |      24 |  5890824 |  4454162 |     1942   5314 |        0 |        0
532.41/532.61	c  532s |      24 |  5912660 |  4470762 |     1942   5330 |        0 |        0
534.41/534.62	c  534s |      24 |  5934712 |  4487562 |     1942   5346 |        0 |        0
536.40/536.62	c  536s |      24 |  5958063 |  4505162 |     1942   5362 |        0 |        0
538.40/538.62	c  538s |      24 |  5976897 |  4520062 |     1942   5377 |        0 |        0
540.40/540.63	c  540s |      24 |  5996862 |  4535662 |     1942   5391 |        0 |        0
542.40/542.63	c  542s |      24 |  6018205 |  4552162 |     1942   5407 |        0 |        0
544.41/544.64	c  544s |      24 |  6039341 |  4568062 |     1942   5422 |        0 |        0
546.40/546.65	c  546s |      24 |  6059203 |  4583462 |     1942   5437 |        0 |        0
548.40/548.66	c  548s |      24 |  6079393 |  4599362 |     1942   5452 |        0 |        0
550.40/550.66	c  550s |      24 |  6099918 |  4615562 |     1942   5468 |        0 |        0
552.40/552.67	c  552s |      24 |  6121814 |  4632162 |     1942   5483 |        0 |        0
554.39/554.68	c  554s |      24 |  6141971 |  4647862 |     1942   5498 |        0 |        0
556.40/556.70	c  556s |      24 |  6163400 |  4663962 |     1942   5514 |        0 |        0
558.49/558.71	c  558s |      24 |  6185984 |  4680662 |     1942   5529 |        0 |        0
560.49/560.71	c  560s |      24 |  6206728 |  4696462 |     1942   5545 |        0 |        0
562.49/562.71	c  562s |      24 |  6226840 |  4712062 |     1942   5559 |        0 |        0
564.49/564.72	c  564s |      24 |  6248464 |  4728662 |     1942   5575 |        0 |        0
566.48/566.72	c  566s |      24 |  6268791 |  4744562 |     1942   5590 |        0 |        0
568.49/568.73	c  568s |      24 |  6290881 |  4761562 |     1942   5607 |        0 |        0
570.48/570.74	c  570s |      24 |  6311931 |  4777762 |     1942   5622 |        0 |        0
572.48/572.75	c  572s |      24 |  6333064 |  4793962 |     1942   5638 |        0 |        0
574.48/574.76	c  574s |      24 |  6353636 |  4810362 |     1942   5653 |        0 |        0
576.49/576.76	c  576s |      24 |  6376977 |  4827962 |     1942   5670 |        0 |        0
578.49/578.77	c  578s |      24 |  6400063 |  4844962 |     1942   5686 |        0 |        0
580.49/580.77	c  580s |      24 |  6422705 |  4862062 |     1942   5703 |        0 |        0
582.48/582.78	c  582s |      24 |  6444680 |  4878762 |     1942   5719 |        0 |        0
584.48/584.78	c  584s |      24 |  6463483 |  4893862 |     1942   5733 |        0 |        0
586.48/586.79	c  586s |      24 |  6484451 |  4910062 |     1942   5749 |        0 |        0
588.58/588.81	c  588s |      24 |  6506662 |  4926862 |     1942   5765 |        0 |        0
590.58/590.81	c  590s |      24 |  6528135 |  4943262 |     1942   5780 |        0 |        0
592.58/592.82	c  592s |      24 |  6549478 |  4959762 |     1942   5796 |        0 |        0
594.57/594.83	c  594s |      24 |  6571438 |  4976762 |     1942   5812 |        0 |        0
596.57/596.83	c  596s |      24 |  6590619 |  4991762 |     1942   5827 |        0 |        0
598.57/598.84	c  598s |      24 |  6611611 |  5007762 |     1942   5842 |        0 |        0
600.57/600.85	c  600s |      24 |  6632738 |  5023662 |     1942   5857 |        0 |        0
602.58/602.86	c  602s |      24 |  6653352 |  5039562 |     2137   5871 |        0 |        0
604.57/604.87	c  604s |      24 |  6674890 |  5055662 |     2137   5885 |        0 |        0
605.77/606.08	c  606s |      25 |  6687429 |  5065098 |     2137   5894 |        0 |        0
607.77/608.09	c  608s |      25 |  6707377 |  5080898 |     2137   5907 |        0 |        0
609.87/610.11	c  610s |      25 |  6728157 |  5097198 |     2137   5922 |        0 |        0
611.87/612.12	c  612s |      25 |  6749601 |  5113298 |     2137   5936 |        0 |        0
613.87/614.12	c  614s |      25 |  6767413 |  5127398 |     2137   5948 |        0 |        0
615.87/616.13	c  616s |      25 |  6787627 |  5142898 |     2137   5961 |        0 |        0
617.86/618.13	c  618s |      25 |  6808811 |  5159398 |     2137   5976 |        0 |        0
619.86/620.13	c  620s |      25 |  6829699 |  5175398 |     2137   5990 |        0 |        0
621.86/622.13	c  622s |      25 |  6851876 |  5191998 |     2137   6004 |        0 |        0
623.86/624.14	c  624s |      25 |  6872767 |  5207998 |     2137   6018 |        0 |        0
625.86/626.16	c  626s |      25 |  6894461 |  5224198 |     2137   6033 |        0 |        0
627.86/628.16	c  628s |      25 |  6915661 |  5240298 |     2137   6047 |        0 |        0
629.86/630.17	c  630s |      25 |  6937605 |  5256498 |     2137   6061 |        0 |        0
631.86/632.18	c  632s |      25 |  6958724 |  5272498 |     2137   6075 |        0 |        0
633.85/634.18	c  634s |      25 |  6979348 |  5288098 |     2137   6088 |        0 |        0
635.85/636.19	c  636s |      25 |  6998186 |  5302598 |     2137   6101 |        0 |        0
637.96/638.20	c  638s |      25 |  7019243 |  5318398 |     2137   6115 |        0 |        0
639.86/640.20	c  640s |      25 |  7038672 |  5333398 |     2137   6128 |        0 |        0
641.96/642.20	c  642s |      25 |  7060575 |  5349998 |     2137   6143 |        0 |        0
643.95/644.20	c  644s |      25 |  7082332 |  5366398 |     2137   6157 |        0 |        0
645.95/646.21	c  646s |      25 |  7101489 |  5381098 |     2137   6170 |        0 |        0
647.95/648.21	c  648s |      25 |  7122416 |  5396898 |     2137   6184 |        0 |        0
649.96/650.22	c  650s |      25 |  7140948 |  5411298 |     2137   6196 |        0 |        0
651.95/652.23	c  652s |      25 |  7161375 |  5426798 |     2137   6210 |        0 |        0
653.95/654.25	c  654s |      25 |  7179931 |  5441098 |     2137   6222 |        0 |        0
655.95/656.25	c  656s |      25 |  7200218 |  5456498 |     2137   6236 |        0 |        0
657.95/658.26	c  658s |      25 |  7221976 |  5472998 |     2137   6250 |        0 |        0
659.95/660.26	c  660s |      25 |  7241842 |  5488398 |     2137   6264 |        0 |        0
661.95/662.27	c  662s |      25 |  7262589 |  5503998 |     2137   6277 |        0 |        0
663.94/664.27	c  664s |      25 |  7280355 |  5518398 |     2137   6290 |        0 |        0
665.94/666.28	c  666s |      25 |  7300148 |  5533698 |     2137   6303 |        0 |        0
667.94/668.29	c  668s |      25 |  7322147 |  5550198 |     2137   6318 |        0 |        0
669.94/670.29	c  670s |      25 |  7341812 |  5565498 |     2137   6331 |        0 |        0
671.95/672.29	c  672s |      25 |  7363565 |  5581698 |     2137   6345 |        0 |        0
673.94/674.29	c  674s |      25 |  7386433 |  5598098 |     2137   6360 |        0 |        0
676.04/676.30	c  676s |      25 |  7406905 |  5613698 |     2137   6373 |        0 |        0
678.04/678.30	c  678s |      25 |  7428985 |  5629998 |     2137   6388 |        0 |        0
680.04/680.30	c  680s |      25 |  7448212 |  5645098 |     2137   6401 |        0 |        0
682.04/682.32	c  682s |      25 |  7469900 |  5661898 |     2137   6416 |        0 |        0
684.05/684.32	c  684s |      25 |  7490390 |  5677798 |     2137   6429 |        0 |        0
686.04/686.33	c  686s |      25 |  7512509 |  5693998 |     2137   6444 |        0 |        0
688.04/688.33	c  688s |      25 |  7534190 |  5710598 |     2137   6458 |        0 |        0
690.04/690.34	c  690s |      25 |  7555413 |  5726498 |     2137   6472 |        0 |        0
692.04/692.35	c  692s |      25 |  7574424 |  5741698 |     2137   6485 |        0 |        0
694.03/694.35	c  694s |      25 |  7592701 |  5756298 |     2137   6498 |        0 |        0
696.04/696.36	c  696s |      25 |  7613014 |  5771898 |     2137   6512 |        0 |        0
698.03/698.37	c  698s |      25 |  7632782 |  5787398 |     2137   6525 |        0 |        0
700.03/700.37	c  700s |      25 |  7654657 |  5803698 |     2137   6539 |        0 |        0
702.03/702.37	c  702s |      25 |  7673441 |  5818598 |     2137   6552 |        0 |        0
704.03/704.38	c  704s |      25 |  7694475 |  5834298 |     2137   6566 |        0 |        0
706.04/706.39	c  706s |      25 |  7715553 |  5850098 |     2137   6580 |        0 |        0
708.03/708.40	c  708s |      25 |  7736095 |  5865498 |     2137   6594 |        0 |        0
710.13/710.40	c  710s |      25 |  7756542 |  5880798 |     2137   6607 |        0 |        0
712.12/712.41	c  712s |      25 |  7776181 |  5896098 |     2137   6620 |        0 |        0
714.12/714.42	c  714s |      25 |  7797768 |  5912098 |     2137   6635 |        0 |        0
716.12/716.43	c  716s |      25 |  7819330 |  5928098 |     2137   6649 |        0 |        0
718.12/718.44	c  718s |      25 |  7840111 |  5943898 |     2137   6663 |        0 |        0
720.13/720.45	c  720s |      25 |  7861952 |  5960498 |     2137   6677 |        0 |        0
722.13/722.45	c  722s |      25 |  7882056 |  5976298 |     2137   6691 |        0 |        0
724.12/724.47	c  724s |      25 |  7903018 |  5992298 |     2137   6705 |        0 |        0
726.12/726.47	c  726s |      25 |  7923300 |  6007998 |     2137   6719 |        0 |        0
728.12/728.48	c  728s |      25 |  7945049 |  6024398 |     2137   6734 |        0 |        0
730.13/730.49	c  730s |      25 |  7966215 |  6040198 |     2137   6748 |        0 |        0
732.12/732.49	c  732s |      25 |  7989596 |  6057398 |     2137   6763 |        0 |        0
734.22/734.50	c  734s |      25 |  8010935 |  6073598 |     2137   6777 |        0 |        0
736.21/736.51	c  736s |      25 |  8030641 |  6088798 |     2137   6791 |        0 |        0
738.21/738.52	c  738s |      25 |  8052442 |  6104998 |     2137   6805 |        0 |        0
740.21/740.52	c  740s |      25 |  8072824 |  6120798 |     2137   6819 |        0 |        0
742.22/742.53	c  742s |      25 |  8093747 |  6137098 |     2137   6834 |        0 |        0
744.21/744.53	c  744s |      25 |  8116864 |  6153798 |     2137   6849 |        0 |        0
746.21/746.54	c  746s |      25 |  8139165 |  6170598 |     2137   6864 |        0 |        0
748.21/748.55	c  748s |      25 |  8161302 |  6186898 |     2137   6879 |        0 |        0
750.21/750.56	c  750s |      25 |  8183156 |  6203698 |     2137   6894 |        0 |        0
752.21/752.56	c  752s |      25 |  8203387 |  6219198 |     2137   6907 |        0 |        0
754.20/754.57	c  754s |      25 |  8224022 |  6234598 |     2137   6921 |        0 |        0
756.20/756.57	c  756s |      25 |  8245020 |  6250198 |     2137   6935 |        0 |        0
758.20/758.58	c  758s |      25 |  8264808 |  6265298 |     2137   6948 |        0 |        0
760.20/760.58	c  760s |      25 |  8284409 |  6280498 |     2137   6962 |        0 |        0
762.20/762.59	c  762s |      25 |  8304724 |  6295898 |     2137   6976 |        0 |        0
764.21/764.60	c  764s |      25 |  8326614 |  6312298 |     2137   6991 |        0 |        0
766.30/766.60	c  766s |      25 |  8346809 |  6328198 |     2137   7005 |        0 |        0
768.30/768.61	c  768s |      25 |  8365213 |  6342998 |     2137   7018 |        0 |        0
770.30/770.62	c  770s |      25 |  8386765 |  6358898 |     2137   7032 |        0 |        0
772.30/772.62	c  772s |      25 |  8408704 |  6374898 |     2137   7046 |        0 |        0
774.29/774.63	c  774s |      25 |  8429917 |  6391098 |     2137   7061 |        0 |        0
776.30/776.63	c  776s |      25 |  8450582 |  6406998 |     2137   7075 |        0 |        0
778.29/778.63	c  778s |      25 |  8471674 |  6423098 |     2137   7090 |        0 |        0
780.29/780.63	c  780s |      25 |  8490420 |  6438098 |     2137   7103 |        0 |        0
782.29/782.63	c  782s |      25 |  8511757 |  6453898 |     2137   7117 |        0 |        0
784.30/784.64	c  784s |      25 |  8533231 |  6469898 |     2137   7131 |        0 |        0
786.30/786.65	c  786s |      25 |  8554676 |  6485798 |     2137   7146 |        0 |        0
788.30/788.65	c  788s |      25 |  8576602 |  6502098 |     2137   7160 |        0 |        0
790.29/790.66	c  790s |      25 |  8598148 |  6517898 |     2137   7174 |        0 |        0
792.29/792.67	c  792s |      25 |  8618946 |  6533398 |     2137   7188 |        0 |        0
794.29/794.68	c  794s |      25 |  8636357 |  6547798 |     2137   7201 |        0 |        0
796.29/796.69	c  796s |      25 |  8658150 |  6563998 |     2137   7215 |        0 |        0
798.30/798.69	c  798s |      25 |  8678691 |  6579298 |     2137   7229 |        0 |        0
800.39/800.70	c  800s |      25 |  8698570 |  6594698 |     2137   7243 |        0 |        0
802.39/802.71	c  802s |      25 |  8718197 |  6609798 |     2137   7256 |        0 |        0
804.39/804.71	c  804s |      25 |  8739880 |  6625798 |     2137   7271 |        0 |        0
806.39/806.71	c  806s |      25 |  8760443 |  6641098 |     2137   7285 |        0 |        0
808.39/808.72	c  808s |      25 |  8780809 |  6656798 |     2137   7299 |        0 |        0
810.39/810.73	c  810s |      25 |  8798210 |  6670598 |     2137   7311 |        0 |        0
812.39/812.74	c  812s |      25 |  8819274 |  6685798 |     2137   7325 |        0 |        0
814.39/814.74	c  814s |      25 |  8839205 |  6701298 |     2137   7339 |        0 |        0
816.39/816.76	c  816s |      25 |  8860033 |  6716898 |     2137   7352 |        0 |        0
818.38/818.77	c  818s |      25 |  8881002 |  6732598 |     2137   7367 |        0 |        0
820.39/820.77	c  820s |      25 |  8899761 |  6747298 |     2137   7380 |        0 |        0
822.38/822.78	c  822s |      25 |  8918775 |  6761898 |     2137   7393 |        0 |        0
824.38/824.79	c  824s |      25 |  8938277 |  6776698 |     2137   7406 |        0 |        0
826.38/826.79	c  826s |      25 |  8960020 |  6792698 |     2137   7420 |        0 |        0
828.38/828.79	c  828s |      25 |  8980892 |  6808398 |     2137   7434 |        0 |        0
830.48/830.81	c  830s |      25 |  9003730 |  6825098 |     2137   7450 |        0 |        0
832.49/832.81	c  832s |      25 |  9024258 |  6840298 |     2137   7463 |        0 |        0
834.48/834.82	c  834s |      25 |  9045166 |  6855898 |     2137   7477 |        0 |        0
836.48/836.83	c  836s |      25 |  9064739 |  6870998 |     2137   7491 |        0 |        0
838.48/838.83	c  838s |      25 |  9084776 |  6885998 |     2137   7504 |        0 |        0
840.48/840.84	c  840s |      25 |  9104552 |  6900998 |     2137   7518 |        0 |        0
842.48/842.84	c  842s |      25 |  9124281 |  6915798 |     2137   7531 |        0 |        0
844.49/844.85	c  844s |      25 |  9148175 |  6933398 |     2137   7547 |        0 |        0
846.48/846.85	c  846s |      25 |  9170377 |  6949998 |     2137   7562 |        0 |        0
848.48/848.86	c  848s |      25 |  9191547 |  6966298 |     2137   7576 |        0 |        0
850.48/850.88	c  850s |      25 |  9213660 |  6982998 |     2137   7592 |        0 |        0
852.47/852.89	c  852s |      25 |  9235817 |  6999598 |     2137   7607 |        0 |        0
854.57/854.90	c  854s |      25 |  9258197 |  7016298 |     2137   7622 |        0 |        0
856.58/856.91	c  856s |      25 |  9278566 |  7031998 |     2137   7636 |        0 |        0
858.58/858.91	c  858s |      25 |  9299193 |  7047798 |     2137   7650 |        0 |        0
860.58/860.91	c  860s |      25 |  9321578 |  7064498 |     2137   7665 |        0 |        0
862.58/862.92	c  862s |      25 |  9342541 |  7080598 |     2137   7680 |        0 |        0
864.58/864.93	c  864s |      25 |  9362179 |  7096198 |     2137   7694 |        0 |        0
866.59/866.95	c  866s |      25 |  9384161 |  7112698 |     2137   7708 |        0 |        0
868.58/868.95	c  868s |      25 |  9405117 |  7128998 |     2137   7723 |        0 |        0
870.58/870.96	c  870s |      25 |  9426485 |  7145298 |     2137   7738 |        0 |        0
872.58/872.97	c  872s |      25 |  9447397 |  7161398 |     2137   7752 |        0 |        0
874.58/874.97	c  874s |      25 |  9467168 |  7176598 |     2137   7766 |        0 |        0
876.57/876.98	c  876s |      25 |  9488569 |  7192398 |     2137   7780 |        0 |        0
878.58/878.98	c  878s |      25 |  9509402 |  7208498 |     2137   7794 |        0 |        0
880.57/880.99	c  880s |      25 |  9530992 |  7224798 |     2137   7809 |        0 |        0
882.57/882.99	c  882s |      25 |  9550736 |  7239598 |     2137   7822 |        0 |        0
884.67/885.00	c  884s |      25 |  9569851 |  7254498 |     2137   7835 |        0 |        0
886.67/887.01	c  886s |      25 |  9588876 |  7268998 |     2137   7848 |        0 |        0
888.67/889.01	c  888s |      25 |  9608869 |  7284398 |     2137   7862 |        0 |        0
890.68/891.02	c  891s |      25 |  9625343 |  7297898 |     2137   7874 |        0 |        0
892.67/893.03	c  893s |      25 |  9645251 |  7313298 |     2137   7888 |        0 |        0
894.67/895.04	c  895s |      25 |  9666265 |  7329098 |     2137   7903 |        0 |        0
896.67/897.05	c  897s |      25 |  9687356 |  7344998 |     2137   7917 |        0 |        0
898.67/899.06	c  899s |      25 |  9708581 |  7361298 |     2137   7931 |        0 |        0
900.68/901.06	c  901s |      25 |  9729838 |  7377398 |     2137   7946 |        0 |        0
902.67/903.07	c  903s |      25 |  9752149 |  7393898 |     2137   7961 |        0 |        0
904.67/905.08	c  905s |      25 |  9773417 |  7410098 |     2137   7975 |        0 |        0
906.67/907.09	c  907s |      25 |  9793163 |  7425698 |     2137   7989 |        0 |        0
908.67/909.09	c  909s |      25 |  9813458 |  7441398 |     2137   8004 |        0 |        0
910.67/911.09	c  911s |      25 |  9835235 |  7457798 |     2137   8018 |        0 |        0
912.68/913.09	c  913s |      25 |  9856582 |  7474298 |     2137   8033 |        0 |        0
914.77/915.10	c  915s |      25 |  9876773 |  7489898 |     2137   8047 |        0 |        0
916.77/917.10	c  917s |      25 |  9896519 |  7505798 |     2137   8062 |        0 |        0
918.77/919.11	c  919s |      25 |  9918141 |  7522498 |     2137   8077 |        0 |        0
920.77/921.12	c  921s |      25 |  9940476 |  7539398 |     2137   8092 |        0 |        0
922.77/923.13	c  923s |      25 |  9961150 |  7555098 |     2351   8105 |        0 |        0
924.77/925.13	c  925s |      25 |  9982055 |  7570998 |     2351   8118 |        0 |        0
926.77/927.14	c  927s |      25 | 10003373 |  7587198 |     2351   8131 |        0 |        0
928.07/928.44	c  928s |      26 | 10017009 |  7597752 |     2351   8140 |        0 |        0
930.07/930.45	c  930s |      26 | 10034598 |  7611552 |     2351   8151 |        0 |        0
932.07/932.46	c  932s |      26 | 10053057 |  7626052 |     2351   8162 |        0 |        0
934.07/934.47	c  934s |      26 | 10072168 |  7640552 |     2351   8174 |        0 |        0
936.06/936.47	c  936s |      26 | 10091978 |  7655752 |     2351   8186 |        0 |        0
938.07/938.48	c  938s |      26 | 10112958 |  7671452 |     2351   8199 |        0 |        0
940.06/940.49	c  940s |      26 | 10131801 |  7685952 |     2351   8210 |        0 |        0
942.06/942.49	c  942s |      26 | 10152026 |  7701552 |     2351   8223 |        0 |        0
944.06/944.49	c  944s |      26 | 10169458 |  7715252 |     2351   8234 |        0 |        0
946.17/946.50	c  946s |      26 | 10189809 |  7730252 |     2351   8246 |        0 |        0
948.17/948.51	c  948s |      26 | 10209117 |  7745152 |     2351   8258 |        0 |        0
950.17/950.52	c  950s |      26 | 10229718 |  7760752 |     2351   8270 |        0 |        0
952.16/952.52	c  952s |      26 | 10251526 |  7776652 |     2351   8283 |        0 |        0
954.16/954.53	c  954s |      26 | 10272476 |  7792452 |     2351   8296 |        0 |        0
956.16/956.54	c  956s |      26 | 10291997 |  7807652 |     2351   8308 |        0 |        0
958.16/958.54	c  958s |      26 | 10312347 |  7822752 |     2351   8320 |        0 |        0
960.16/960.55	c  960s |      26 | 10332676 |  7838452 |     2351   8333 |        0 |        0
962.17/962.56	c  962s |      26 | 10352467 |  7853352 |     2351   8345 |        0 |        0
964.16/964.56	c  964s |      26 | 10373626 |  7868952 |     2351   8357 |        0 |        0
966.16/966.57	c  966s |      26 | 10393721 |  7884252 |     2351   8370 |        0 |        0
968.16/968.58	c  968s |      26 | 10412775 |  7898752 |     2351   8381 |        0 |        0
970.16/970.59	c  970s |      26 | 10434221 |  7915052 |     2351   8394 |        0 |        0
972.26/972.60	c  972s |      26 | 10452879 |  7929652 |     2351   8406 |        0 |        0
974.16/974.60	c  974s |      26 | 10472399 |  7944552 |     2351   8418 |        0 |        0
976.26/976.60	c  976s |      26 | 10491205 |  7958852 |     2351   8429 |        0 |        0
978.26/978.60	c  978s |      26 | 10509571 |  7972852 |     2351   8441 |        0 |        0
980.26/980.60	c  980s |      26 | 10529922 |  7987752 |     2351   8453 |        0 |        0
982.25/982.61	c  982s |      26 | 10548948 |  8002552 |     2351   8465 |        0 |        0
984.26/984.61	c  984s |      26 | 10567572 |  8016752 |     2351   8476 |        0 |        0
986.25/986.63	c  986s |      26 | 10587388 |  8031752 |     2351   8488 |        0 |        0
988.25/988.63	c  988s |      26 | 10607801 |  8046952 |     2351   8500 |        0 |        0
990.25/990.64	c  990s |      26 | 10627863 |  8062152 |     2351   8513 |        0 |        0
992.25/992.65	c  992s |      26 | 10647562 |  8077252 |     2351   8525 |        0 |        0
994.26/994.65	c  994s |      26 | 10666798 |  8091852 |     2351   8537 |        0 |        0
996.27/996.66	c  996s |      26 | 10687842 |  8107652 |     2351   8549 |        0 |        0
998.26/998.67	c  998s |      26 | 10707781 |  8122652 |     2351   8561 |        0 |        0
1000.26/1000.69	c 1000s |      26 | 10727960 |  8138252 |     2351   8574 |        0 |        0
1002.36/1002.70	c 1002s |      26 | 10748379 |  8153752 |     2351   8587 |        0 |        0
1004.36/1004.71	c 1004s |      26 | 10771143 |  8170952 |     2351   8600 |        0 |        0
1006.36/1006.71	c 1006s |      26 | 10792407 |  8187052 |     2351   8613 |        0 |        0
1008.36/1008.72	c 1008s |      26 | 10813198 |  8203252 |     2351   8626 |        0 |        0
1010.35/1010.73	c 1010s |      26 | 10832400 |  8217952 |     2351   8638 |        0 |        0
1012.35/1012.74	c 1012s |      26 | 10852176 |  8233152 |     2351   8650 |        0 |        0
1014.35/1014.74	c 1014s |      26 | 10871308 |  8247952 |     2351   8662 |        0 |        0
1016.35/1016.75	c 1016s |      26 | 10891762 |  8263152 |     2351   8675 |        0 |        0
1018.36/1018.75	c 1018s |      26 | 10912235 |  8278652 |     2351   8687 |        0 |        0
1020.35/1020.76	c 1020s |      26 | 10932808 |  8294352 |     2351   8700 |        0 |        0
1022.35/1022.77	c 1022s |      26 | 10954051 |  8310352 |     2351   8713 |        0 |        0
1024.35/1024.79	c 1024s |      26 | 10973726 |  8325152 |     2351   8725 |        0 |        0
1026.35/1026.79	c 1026s |      26 | 10992751 |  8339652 |     2351   8736 |        0 |        0
1028.45/1028.80	c 1028s |      26 | 11010921 |  8353852 |     2351   8748 |        0 |        0
1030.46/1030.81	c 1030s |      26 | 11030025 |  8368352 |     2351   8759 |        0 |        0
1032.45/1032.81	c 1032s |      26 | 11049872 |  8383652 |     2351   8771 |        0 |        0
1034.45/1034.82	c 1034s |      26 | 11071741 |  8399952 |     2351   8785 |        0 |        0
1036.45/1036.83	c 1036s |      26 | 11093161 |  8415952 |     2351   8798 |        0 |        0
1038.45/1038.84	c 1038s |      26 | 11116062 |  8432952 |     2351   8811 |        0 |        0
1040.44/1040.85	c 1040s |      26 | 11138372 |  8449652 |     2351   8825 |        0 |        0
1042.45/1042.85	c 1042s |      26 | 11157366 |  8464252 |     2351   8836 |        0 |        0
1044.44/1044.86	c 1044s |      26 | 11179265 |  8481052 |     2351   8850 |        0 |        0
1046.45/1046.87	c 1046s |      26 | 11198038 |  8495352 |     2351   8861 |        0 |        0
1048.45/1048.88	c 1048s |      26 | 11216193 |  8509652 |     2351   8873 |        0 |        0
1050.45/1050.88	c 1050s |      26 | 11237546 |  8525452 |     2351   8886 |        0 |        0
1052.46/1052.89	c 1052s |      26 | 11257715 |  8540852 |     2351   8898 |        0 |        0
1054.45/1054.89	c 1054s |      26 | 11276585 |  8555252 |     2351   8910 |        0 |        0
1056.55/1056.91	c 1056s |      26 | 11295390 |  8569652 |     2351   8922 |        0 |        0
1058.55/1058.91	c 1058s |      26 | 11314063 |  8583952 |     2351   8933 |        0 |        0
1060.55/1060.91	c 1060s |      26 | 11334814 |  8599652 |     2351   8946 |        0 |        0
1062.55/1062.92	c 1062s |      26 | 11354704 |  8614752 |     2351   8959 |        0 |        0
1064.55/1064.92	c 1064s |      26 | 11372786 |  8628752 |     2351   8970 |        0 |        0
1066.54/1066.92	c 1066s |      26 | 11391641 |  8643152 |     2351   8982 |        0 |        0
1068.54/1068.93	c 1068s |      26 | 11411167 |  8657852 |     2351   8994 |        0 |        0
1070.54/1070.94	c 1070s |      26 | 11432484 |  8673852 |     2351   9008 |        0 |        0
1072.54/1072.95	c 1072s |      26 | 11451920 |  8688952 |     2351   9020 |        0 |        0
1074.54/1074.96	c 1074s |      26 | 11471651 |  8703652 |     2351   9032 |        0 |        0
1076.55/1076.97	c 1076s |      26 | 11491771 |  8718952 |     2351   9044 |        0 |        0
1078.54/1078.97	c 1078s |      26 | 11508432 |  8732452 |     2351   9055 |        0 |        0
1080.54/1080.98	c 1080s |      26 | 11528838 |  8747952 |     2351   9068 |        0 |        0
1082.54/1082.98	c 1082s |      26 | 11550076 |  8763352 |     2351   9081 |        0 |        0
1084.54/1085.00	c 1084s |      26 | 11571985 |  8779752 |     2351   9094 |        0 |        0
1086.64/1087.00	c 1086s |      26 | 11592268 |  8794952 |     2351   9107 |        0 |        0
1088.64/1089.00	c 1088s |      26 | 11611626 |  8810052 |     2351   9119 |        0 |        0
1090.64/1091.01	c 1090s |      26 | 11628930 |  8824252 |     2351   9131 |        0 |        0
1092.65/1093.02	c 1093s |      26 | 11646414 |  8838452 |     2351   9142 |        0 |        0
1094.65/1095.03	c 1095s |      26 | 11664788 |  8853052 |     2351   9155 |        0 |        0
1096.64/1097.05	c 1097s |      26 | 11684412 |  8868752 |     2351   9167 |        0 |        0
1098.65/1099.05	c 1099s |      26 | 11701548 |  8882452 |     2351   9179 |        0 |        0
1100.64/1101.06	c 1101s |      26 | 11720587 |  8897252 |     2351   9191 |        0 |        0
1102.64/1103.07	c 1103s |      26 | 11740023 |  8912152 |     2351   9203 |        0 |        0
1104.64/1105.07	c 1105s |      26 | 11760892 |  8927752 |     2351   9216 |        0 |        0
1106.64/1107.07	c 1107s |      26 | 11780772 |  8943352 |     2351   9229 |        0 |        0
1108.64/1109.08	c 1109s |      26 | 11799016 |  8957752 |     2351   9240 |        0 |        0
1110.65/1111.09	c 1111s |      26 | 11818275 |  8972352 |     2351   9252 |        0 |        0
1112.64/1113.10	c 1113s |      26 | 11839007 |  8988452 |     2351   9265 |        0 |        0
1114.74/1115.11	c 1115s |      26 | 11859565 |  9004052 |     2351   9278 |        0 |        0
1116.74/1117.12	c 1117s |      26 | 11879786 |  9019152 |     2351   9291 |        0 |        0
1118.74/1119.13	c 1119s |      26 | 11899435 |  9034052 |     2351   9303 |        0 |        0
1120.74/1121.14	c 1121s |      26 | 11920003 |  9049352 |     2351   9315 |        0 |        0
1122.74/1123.14	c 1123s |      26 | 11940120 |  9064552 |     2351   9328 |        0 |        0
1124.74/1125.15	c 1125s |      26 | 11960528 |  9079752 |     2351   9340 |        0 |        0
1126.73/1127.16	c 1127s |      26 | 11981993 |  9095452 |     2351   9353 |        0 |        0
1128.73/1129.16	c 1129s |      26 | 12002140 |  9110552 |     2351   9366 |        0 |        0
1130.73/1131.17	c 1131s |      26 | 12021964 |  9125852 |     2351   9378 |        0 |        0
1132.74/1133.18	c 1133s |      26 | 12042518 |  9140952 |     2351   9391 |        0 |        0
1134.73/1135.19	c 1135s |      26 | 12063282 |  9156252 |     2351   9403 |        0 |        0
1136.83/1137.20	c 1137s |      26 | 12084146 |  9171952 |     2351   9416 |        0 |        0
1138.83/1139.22	c 1139s |      26 | 12104009 |  9187252 |     2351   9429 |        0 |        0
1140.83/1141.23	c 1141s |      26 | 12123472 |  9202552 |     2351   9441 |        0 |        0
1142.83/1143.23	c 1143s |      26 | 12141088 |  9216552 |     2351   9453 |        0 |        0
1144.84/1145.23	c 1145s |      26 | 12161067 |  9232152 |     2351   9466 |        0 |        0
1146.83/1147.24	c 1147s |      26 | 12182631 |  9248552 |     2351   9479 |        0 |        0
1148.83/1149.25	c 1149s |      26 | 12203713 |  9264652 |     2351   9492 |        0 |        0
1150.83/1151.25	c 1151s |      26 | 12224656 |  9279952 |     2351   9505 |        0 |        0
1152.83/1153.25	c 1153s |      26 | 12245141 |  9295152 |     2351   9518 |        0 |        0
1154.83/1155.26	c 1155s |      26 | 12264522 |  9309952 |     2351   9530 |        0 |        0
1156.84/1157.27	c 1157s |      26 | 12283128 |  9324552 |     2351   9542 |        0 |        0
1158.83/1159.28	c 1159s |      26 | 12300661 |  9338652 |     2351   9553 |        0 |        0
1160.83/1161.28	c 1161s |      26 | 12319002 |  9352852 |     2351   9565 |        0 |        0
1162.83/1163.29	c 1163s |      26 | 12338881 |  9367852 |     2351   9577 |        0 |        0
1164.83/1165.29	c 1165s |      26 | 12357227 |  9382152 |     2351   9589 |        0 |        0
1166.93/1167.30	c 1167s |      26 | 12376302 |  9396952 |     2351   9601 |        0 |        0
1168.83/1169.30	c 1169s |      26 | 12395972 |  9411952 |     2351   9613 |        0 |        0
1170.93/1171.31	c 1171s |      26 | 12416948 |  9427452 |     2351   9626 |        0 |        0
1172.93/1173.32	c 1173s |      26 | 12438020 |  9443252 |     2351   9639 |        0 |        0
1174.93/1175.32	c 1175s |      26 | 12454128 |  9456252 |     2351   9650 |        0 |        0
1176.93/1177.32	c 1177s |      26 | 12473085 |  9470552 |     2351   9662 |        0 |        0
1178.94/1179.33	c 1179s |      26 | 12492646 |  9485552 |     2351   9674 |        0 |        0
1180.93/1181.34	c 1181s |      26 | 12512197 |  9500352 |     2351   9686 |        0 |        0
1182.93/1183.34	c 1183s |      26 | 12531135 |  9515052 |     2351   9698 |        0 |        0
1184.93/1185.35	c 1185s |      26 | 12551223 |  9529752 |     2351   9710 |        0 |        0
1186.92/1187.36	c 1187s |      26 | 12569034 |  9543852 |     2351   9722 |        0 |        0
1188.92/1189.37	c 1189s |      26 | 12590366 |  9559052 |     2351   9734 |        0 |        0
1190.93/1191.38	c 1191s |      26 | 12611306 |  9574852 |     2351   9747 |        0 |        0
1192.92/1193.39	c 1193s |      26 | 12631167 |  9590052 |     2351   9760 |        0 |        0
1194.92/1195.40	c 1195s |      26 | 12651849 |  9605852 |     2351   9773 |        0 |        0
1197.02/1197.40	c 1197s |      26 | 12673033 |  9621652 |     2351   9786 |        0 |        0
1199.02/1199.40	c 1199s |      26 | 12693993 |  9637652 |     2351   9799 |        0 |        0
1201.02/1201.42	c 1201s |      26 | 12715016 |  9653352 |     2351   9812 |        0 |        0
1203.03/1203.42	c 1203s |      26 | 12735077 |  9668752 |     2351   9824 |        0 |        0
1205.02/1205.43	c 1205s |      26 | 12756305 |  9684652 |     2351   9837 |        0 |        0
1207.02/1207.44	c 1207s |      26 | 12775592 |  9699752 |     2351   9850 |        0 |        0
1209.02/1209.45	c 1209s |      26 | 12794161 |  9714252 |     2351   9862 |        0 |        0
1211.02/1211.45	c 1211s |      26 | 12811972 |  9727752 |     2351   9873 |        0 |        0
1213.03/1213.45	c 1213s |      26 | 12831589 |  9742152 |     2351   9885 |        0 |        0
1215.02/1215.46	c 1215s |      26 | 12850975 |  9756752 |     2351   9897 |        0 |        0
1217.02/1217.47	c 1217s |      26 | 12870351 |  9771552 |     2351   9909 |        0 |        0
1219.03/1219.47	c 1219s |      26 | 12890423 |  9786452 |     2351   9921 |        0 |        0
1221.03/1221.48	c 1221s |      26 | 12909465 |  9800952 |     2351   9933 |        0 |        0
1223.03/1223.48	c 1223s |      26 | 12929136 |  9816052 |     2351   9946 |        0 |        0
1225.03/1225.48	c 1225s |      26 | 12947664 |  9830652 |     2351   9958 |        0 |        0
1227.02/1227.49	c 1227s |      26 | 12966034 |  9844652 |     2351   9969 |        0 |        0
1229.02/1229.49	c 1229s |      26 | 12984177 |  9858852 |     2351   9981 |        0 |        0
1231.12/1231.50	c 1231s |      26 | 13003589 |  9873552 |     2351   9993 |        0 |        0
1233.12/1233.51	c 1233s |      26 | 13022605 |  9888352 |     2351  10005 |        0 |        0
1235.12/1235.52	c 1235s |      26 | 13041389 |  9902952 |     2351  10017 |        0 |        0
1237.13/1237.53	c 1237s |      26 | 13059651 |  9917152 |     2351  10029 |        0 |        0
1239.12/1239.53	c 1239s |      26 | 13078295 |  9931452 |     2351  10041 |        0 |        0
1241.12/1241.54	c 1241s |      26 | 13099117 |  9946952 |     2351  10053 |        0 |        0
1243.12/1243.55	c 1243s |      26 | 13118242 |  9961452 |     2351  10065 |        0 |        0
1245.12/1245.56	c 1245s |      26 | 13137459 |  9976352 |     2351  10077 |        0 |        0
1247.13/1247.57	c 1247s |      26 | 13157502 |  9991852 |     2351  10090 |        0 |        0
1249.12/1249.58	c 1249s |      26 | 13176227 | 10006452 |     2351  10102 |        0 |        0
1251.12/1251.58	c 1251s |      26 | 13193253 | 10020252 |     2351  10113 |        0 |        0
1253.12/1253.60	c 1253s |      26 | 13212912 | 10034952 |     2351  10126 |        0 |        0
1255.22/1255.60	c 1255s |      26 | 13233476 | 10050552 |     2351  10138 |        0 |        0
1257.22/1257.61	c 1257s |      26 | 13253436 | 10065652 |     2351  10151 |        0 |        0
1259.22/1259.62	c 1259s |      26 | 13273046 | 10080352 |     2351  10163 |        0 |        0
1261.22/1261.62	c 1261s |      26 | 13291067 | 10094452 |     2351  10175 |        0 |        0
1263.21/1263.63	c 1263s |      26 | 13310955 | 10109152 |     2351  10187 |        0 |        0
1265.21/1265.64	c 1265s |      26 | 13330269 | 10124052 |     2351  10199 |        0 |        0
1267.21/1267.64	c 1267s |      26 | 13349332 | 10138852 |     2351  10211 |        0 |        0
1269.21/1269.65	c 1269s |      26 | 13368674 | 10153352 |     2351  10223 |        0 |        0
1271.22/1271.65	c 1271s |      26 | 13386078 | 10167252 |     2351  10235 |        0 |        0
1273.21/1273.65	c 1273s |      26 | 13405453 | 10182052 |     2351  10247 |        0 |        0
1275.21/1275.66	c 1275s |      26 | 13424504 | 10196452 |     2351  10259 |        0 |        0
1277.21/1277.66	c 1277s |      26 | 13444412 | 10211252 |     2351  10271 |        0 |        0
1279.21/1279.67	c 1279s |      26 | 13465496 | 10226652 |     2351  10283 |        0 |        0
1281.22/1281.68	c 1281s |      26 | 13484854 | 10241552 |     2351  10296 |        0 |        0
1283.21/1283.69	c 1283s |      26 | 13504122 | 10256152 |     2351  10308 |        0 |        0
1285.31/1285.71	c 1285s |      26 | 13523479 | 10270952 |     2351  10320 |        0 |        0
1287.31/1287.71	c 1287s |      26 | 13542372 | 10285552 |     2351  10332 |        0 |        0
1289.31/1289.72	c 1289s |      26 | 13561624 | 10300652 |     2351  10344 |        0 |        0
1291.31/1291.72	c 1291s |      26 | 13581036 | 10315152 |     2351  10356 |        0 |        0
1293.31/1293.73	c 1293s |      26 | 13598676 | 10328952 |     2351  10367 |        0 |        0
1295.31/1295.74	c 1295s |      26 | 13616759 | 10342752 |     2351  10379 |        0 |        0
1297.31/1297.74	c 1297s |      26 | 13634799 | 10356452 |     2351  10390 |        0 |        0
1299.31/1299.75	c 1299s |      26 | 13652362 | 10370152 |     2351  10401 |        0 |        0
1301.31/1301.76	c 1301s |      26 | 13670878 | 10384152 |     2351  10413 |        0 |        0
1303.30/1303.77	c 1303s |      26 | 13689550 | 10398552 |     2351  10424 |        0 |        0
1305.31/1305.78	c 1305s |      26 | 13708646 | 10412952 |     2351  10436 |        0 |        0
1307.31/1307.78	c 1307s |      26 | 13726717 | 10426952 |     2351  10448 |        0 |        0
1309.31/1309.79	c 1309s |      26 | 13745133 | 10441252 |     2351  10459 |        0 |        0
1311.31/1311.79	c 1311s |      26 | 13762767 | 10455152 |     2351  10471 |        0 |        0
1313.31/1313.79	c 1313s |      26 | 13782243 | 10470152 |     2351  10483 |        0 |        0
1315.32/1315.80	c 1315s |      26 | 13802120 | 10484952 |     2351  10495 |        0 |        0
1317.42/1317.81	c 1317s |      26 | 13821389 | 10499452 |     2351  10507 |        0 |        0
1319.41/1319.81	c 1319s |      26 | 13840437 | 10513952 |     2351  10519 |        0 |        0
1321.41/1321.83	c 1321s |      26 | 13858511 | 10527852 |     2351  10531 |        0 |        0
1323.41/1323.84	c 1323s |      26 | 13877760 | 10542452 |     2351  10543 |        0 |        0
1325.41/1325.85	c 1325s |      26 | 13896516 | 10556852 |     2351  10554 |        0 |        0
1327.41/1327.86	c 1327s |      26 | 13916679 | 10571952 |     2351  10567 |        0 |        0
1329.40/1329.87	c 1329s |      26 | 13936925 | 10587452 |     2351  10580 |        0 |        0
1331.40/1331.87	c 1331s |      26 | 13955591 | 10602352 |     2351  10592 |        0 |        0
1333.40/1333.88	c 1333s |      26 | 13975634 | 10617652 |     2351  10604 |        0 |        0
1335.40/1335.89	c 1335s |      26 | 13995657 | 10632552 |     2351  10617 |        0 |        0
1337.50/1337.90	c 1337s |      26 | 14015102 | 10647352 |     2351  10629 |        0 |        0
1339.51/1339.91	c 1339s |      26 | 14034697 | 10662452 |     2351  10641 |        0 |        0
1341.51/1341.92	c 1341s |      26 | 14053475 | 10676852 |     2351  10653 |        0 |        0
1343.51/1343.92	c 1343s |      26 | 14074454 | 10692152 |     2351  10666 |        0 |        0
1345.51/1345.92	c 1345s |      26 | 14092360 | 10706252 |     2351  10677 |        0 |        0
1347.51/1347.94	c 1347s |      26 | 14112313 | 10721252 |     2351  10689 |        0 |        0
1349.51/1349.96	c 1349s |      26 | 14131649 | 10735952 |     2351  10702 |        0 |        0
1351.51/1351.96	c 1351s |      26 | 14151657 | 10750852 |     2351  10714 |        0 |        0
1353.51/1353.97	c 1353s |      26 | 14170666 | 10765252 |     2351  10726 |        0 |        0
1355.51/1355.97	c 1355s |      26 | 14190280 | 10780052 |     2351  10738 |        0 |        0
1357.50/1357.98	c 1357s |      26 | 14208998 | 10794352 |     2351  10750 |        0 |        0
1359.60/1360.00	c 1359s |      26 | 14228415 | 10808852 |     2351  10761 |        0 |        0
1361.60/1362.01	c 1361s |      26 | 14246295 | 10822652 |     2351  10773 |        0 |        0
1363.61/1364.02	c 1364s |      26 | 14264014 | 10835952 |     2351  10784 |        0 |        0
1365.60/1366.03	c 1366s |      26 | 14281583 | 10849252 |     2351  10795 |        0 |        0
1367.60/1368.04	c 1368s |      26 | 14300935 | 10863752 |     2351  10807 |        0 |        0
1369.60/1370.05	c 1370s |      26 | 14320269 | 10877852 |     2351  10818 |        0 |        0
1371.60/1372.06	c 1372s |      26 | 14338768 | 10891752 |     2351  10830 |        0 |        0
1373.61/1374.06	c 1374s |      26 | 14358184 | 10905952 |     2351  10841 |        0 |        0
1375.60/1376.07	c 1376s |      26 | 14377323 | 10920252 |     2351  10853 |        0 |        0
1377.60/1378.07	c 1378s |      26 | 14396499 | 10934952 |     2351  10865 |        0 |        0
1379.60/1380.07	c 1380s |      26 | 14415621 | 10949352 |     2351  10877 |        0 |        0
1381.60/1382.08	c 1382s |      26 | 14433379 | 10962952 |     2351  10888 |        0 |        0
1383.60/1384.09	c 1384s |      26 | 14452889 | 10977752 |     2351  10900 |        0 |        0
1385.60/1386.09	c 1386s |      26 | 14471781 | 10992152 |     2351  10912 |        0 |        0
1387.69/1388.10	c 1388s |      26 | 14488670 | 11005152 |     2351  10923 |        0 |        0
1389.69/1390.11	c 1390s |      26 | 14505598 | 11018252 |     2351  10933 |        0 |        0
1391.69/1392.11	c 1392s |      26 | 14523454 | 11031552 |     2351  10944 |        0 |        0
1393.69/1394.12	c 1394s |      26 | 14541004 | 11044652 |     2351  10955 |        0 |        0
1395.69/1396.13	c 1396s |      26 | 14558288 | 11058452 |     2351  10966 |        0 |        0
1397.70/1398.14	c 1398s |      26 | 14576313 | 11072552 |     2351  10978 |        0 |        0
1399.69/1400.15	c 1400s |      26 | 14594518 | 11086552 |     2351  10990 |        0 |        0
1401.69/1402.17	c 1402s |      26 | 14614276 | 11101052 |     2351  11002 |        0 |        0
1403.69/1404.17	c 1404s |      26 | 14632380 | 11114652 |     2351  11013 |        0 |        0
1405.69/1406.18	c 1406s |      26 | 14650908 | 11128452 |     2351  11024 |        0 |        0
1407.70/1408.18	c 1408s |      26 | 14668689 | 11142052 |     2351  11035 |        0 |        0
1409.69/1410.18	c 1410s |      26 | 14686432 | 11155952 |     2351  11047 |        0 |        0
1411.70/1412.19	c 1412s |      26 | 14706130 | 11170952 |     2351  11059 |        0 |        0
1413.80/1414.20	c 1414s |      26 | 14726178 | 11185952 |     2351  11071 |        0 |        0
1415.80/1416.21	c 1416s |      26 | 14744746 | 11199752 |     2351  11082 |        0 |        0
1417.79/1418.22	c 1418s |      26 | 14764595 | 11214552 |     2351  11095 |        0 |        0
1419.80/1420.23	c 1420s |      26 | 14784262 | 11229452 |     2351  11107 |        0 |        0
1421.79/1422.24	c 1422s |      26 | 14803981 | 11244252 |     2351  11119 |        0 |        0
1423.79/1424.25	c 1424s |      26 | 14825148 | 11259752 |     2351  11132 |        0 |        0
1425.79/1426.25	c 1426s |      26 | 14844518 | 11274252 |     2351  11144 |        0 |        0
1427.79/1428.25	c 1428s |      26 | 14864552 | 11289152 |     2351  11156 |        0 |        0
1429.79/1430.25	c 1430s |      26 | 14883304 | 11303752 |     2351  11168 |        0 |        0
1431.80/1432.26	c 1432s |      26 | 14900990 | 11317852 |     2587  11179 |        0 |        0
1433.79/1434.26	c 1434s |      26 | 14918933 | 11331452 |     2587  11189 |        0 |        0
1435.79/1436.27	c 1436s |      26 | 14936654 | 11344952 |     2587  11199 |        0 |        0
1437.79/1438.27	c 1438s |      26 | 14953813 | 11358052 |     2587  11209 |        0 |        0
1439.79/1440.28	c 1440s |      26 | 14970786 | 11371552 |     2587  11219 |        0 |        0
1441.79/1442.29	c 1442s |      26 | 14988639 | 11385452 |     2587  11230 |        0 |        0
1443.49/1443.95	c 1443s |      27 | 15003804 | 11396733 |     2587  11238 |        0 |        0
1445.49/1445.96	c 1445s |      27 | 15021981 | 11410633 |     2587  11248 |        0 |        0
1447.49/1447.97	c 1447s |      27 | 15040497 | 11424833 |     2587  11259 |        0 |        0
1449.49/1449.99	c 1449s |      27 | 15059092 | 11438733 |     2587  11269 |        0 |        0
1451.48/1452.00	c 1451s |      27 | 15077531 | 11453133 |     2587  11279 |        0 |        0
1453.58/1454.00	c 1453s |      27 | 15097903 | 11468533 |     2587  11291 |        0 |        0
1455.58/1456.01	c 1455s |      27 | 15117978 | 11483833 |     2587  11302 |        0 |        0
1457.58/1458.01	c 1457s |      27 | 15137004 | 11498433 |     2587  11312 |        0 |        0
1459.58/1460.01	c 1459s |      27 | 15156391 | 11513433 |     2587  11323 |        0 |        0
1461.59/1462.03	c 1462s |      27 | 15177200 | 11528633 |     2587  11335 |        0 |        0
1463.59/1464.04	c 1464s |      27 | 15198284 | 11544233 |     2587  11346 |        0 |        0
1465.59/1466.05	c 1466s |      27 | 15219607 | 11560033 |     2587  11358 |        0 |        0
1467.59/1468.06	c 1468s |      27 | 15238538 | 11574833 |     2587  11368 |        0 |        0
1469.59/1470.07	c 1470s |      27 | 15259113 | 11590633 |     2587  11380 |        0 |        0
1471.59/1472.07	c 1472s |      27 | 15278763 | 11605533 |     2587  11391 |        0 |        0
1473.59/1474.07	c 1474s |      27 | 15298677 | 11620633 |     2587  11402 |        0 |        0
1475.58/1476.08	c 1476s |      27 | 15318571 | 11635833 |     2587  11413 |        0 |        0
1477.58/1478.09	c 1478s |      27 | 15337859 | 11651133 |     2587  11424 |        0 |        0
1479.68/1480.10	c 1480s |      27 | 15352272 | 11663233 |     2587  11433 |        0 |        0
1481.68/1482.10	c 1482s |      27 | 15371129 | 11678033 |     2587  11444 |        0 |        0
1483.68/1484.10	c 1484s |      27 | 15390748 | 11692833 |     2587  11455 |        0 |        0
1485.69/1486.12	c 1486s |      27 | 15410645 | 11707933 |     2587  11466 |        0 |        0
1487.68/1488.12	c 1488s |      27 | 15430910 | 11723233 |     2587  11477 |        0 |        0
1489.68/1490.14	c 1490s |      27 | 15446239 | 11735333 |     2587  11486 |        0 |        0
1491.68/1492.15	c 1492s |      27 | 15464800 | 11749433 |     2587  11497 |        0 |        0
1493.69/1494.15	c 1494s |      27 | 15483633 | 11763733 |     2587  11507 |        0 |        0
1495.69/1496.16	c 1496s |      27 | 15503209 | 11778233 |     2587  11518 |        0 |        0
1497.68/1498.17	c 1498s |      27 | 15520806 | 11792133 |     2587  11528 |        0 |        0
1499.68/1500.18	c 1500s |      27 | 15539650 | 11806733 |     2587  11539 |        0 |        0
1501.68/1502.18	c 1502s |      27 | 15557216 | 11820733 |     2587  11550 |        0 |        0
1503.68/1504.19	c 1504s |      27 | 15577372 | 11835233 |     2587  11560 |        0 |        0
1505.68/1506.19	c 1506s |      27 | 15596621 | 11849233 |     2587  11571 |        0 |        0
1507.69/1508.20	c 1508s |      27 | 15616333 | 11863733 |     2587  11582 |        0 |        0
1509.78/1510.20	c 1510s |      27 | 15633566 | 11877233 |     2587  11592 |        0 |        0
1511.78/1512.20	c 1512s |      27 | 15650665 | 11890833 |     2587  11602 |        0 |        0
1513.78/1514.21	c 1514s |      27 | 15669373 | 11905233 |     2587  11612 |        0 |        0
1515.78/1516.21	c 1516s |      27 | 15688142 | 11919233 |     2587  11623 |        0 |        0
1517.78/1518.21	c 1518s |      27 | 15707069 | 11933333 |     2587  11633 |        0 |        0
1519.78/1520.22	c 1520s |      27 | 15723175 | 11945933 |     2587  11643 |        0 |        0
1521.78/1522.23	c 1522s |      27 | 15740703 | 11959833 |     2587  11653 |        0 |        0
1523.78/1524.23	c 1524s |      27 | 15758916 | 11973833 |     2587  11663 |        0 |        0
1525.78/1526.24	c 1526s |      27 | 15775710 | 11987133 |     2587  11673 |        0 |        0
1527.77/1528.25	c 1528s |      27 | 15794636 | 12001433 |     2587  11684 |        0 |        0
1529.78/1530.26	c 1530s |      27 | 15813118 | 12015633 |     2587  11694 |        0 |        0
1531.77/1532.26	c 1532s |      27 | 15833618 | 12030633 |     2587  11706 |        0 |        0
1533.77/1534.27	c 1534s |      27 | 15854012 | 12045933 |     2587  11717 |        0 |        0
1535.77/1536.27	c 1536s |      27 | 15875519 | 12061833 |     2587  11729 |        0 |        0
1537.77/1538.28	c 1538s |      27 | 15896254 | 12077333 |     2587  11740 |        0 |        0
1539.77/1540.29	c 1540s |      27 | 15916334 | 12092133 |     2587  11751 |        0 |        0
1541.78/1542.29	c 1542s |      27 | 15934087 | 12106333 |     2587  11761 |        0 |        0
1543.77/1544.29	c 1544s |      27 | 15952832 | 12120433 |     2587  11772 |        0 |        0
1545.87/1546.30	c 1546s |      27 | 15971463 | 12134433 |     2587  11782 |        0 |        0
1547.87/1548.30	c 1548s |      27 | 15992059 | 12149333 |     2587  11793 |        0 |        0
1549.87/1550.30	c 1550s |      27 | 16011863 | 12164433 |     2587  11804 |        0 |        0
1551.87/1552.31	c 1552s |      27 | 16031669 | 12178933 |     2587  11815 |        0 |        0
1553.87/1554.32	c 1554s |      27 | 16050178 | 12193033 |     2587  11826 |        0 |        0
1555.87/1556.33	c 1556s |      27 | 16070807 | 12208233 |     2587  11837 |        0 |        0
1557.88/1558.34	c 1558s |      27 | 16089825 | 12223233 |     2587  11848 |        0 |        0
1559.87/1560.34	c 1560s |      27 | 16108342 | 12237633 |     2587  11859 |        0 |        0
1561.87/1562.35	c 1562s |      27 | 16128646 | 12252933 |     2587  11870 |        0 |        0
1563.88/1564.36	c 1564s |      27 | 16146810 | 12266933 |     2587  11880 |        0 |        0
1565.87/1566.37	c 1566s |      27 | 16164299 | 12280433 |     2587  11890 |        0 |        0
1567.87/1568.38	c 1568s |      27 | 16181422 | 12294033 |     2587  11901 |        0 |        0
1569.87/1570.39	c 1570s |      27 | 16200517 | 12308733 |     2587  11911 |        0 |        0
1571.97/1572.41	c 1572s |      27 | 16220512 | 12323233 |     2587  11922 |        0 |        0
1573.97/1574.42	c 1574s |      27 | 16241263 | 12338033 |     2587  11933 |        0 |        0
1575.98/1576.43	c 1576s |      27 | 16261532 | 12353233 |     2587  11944 |        0 |        0
1577.97/1578.44	c 1578s |      27 | 16280002 | 12367633 |     2587  11955 |        0 |        0
1579.97/1580.45	c 1580s |      27 | 16297244 | 12381533 |     2587  11965 |        0 |        0
1581.97/1582.46	c 1582s |      27 | 16316481 | 12396233 |     2587  11976 |        0 |        0
1583.97/1584.47	c 1584s |      27 | 16336419 | 12411433 |     2587  11987 |        0 |        0
1585.97/1586.48	c 1586s |      27 | 16356529 | 12426333 |     2587  11999 |        0 |        0
1587.97/1588.49	c 1588s |      27 | 16376577 | 12441233 |     2587  12010 |        0 |        0
1590.07/1590.50	c 1590s |      27 | 16395904 | 12455933 |     2587  12020 |        0 |        0
1592.07/1592.51	c 1592s |      27 | 16415348 | 12470433 |     2587  12031 |        0 |        0
1594.06/1594.52	c 1594s |      27 | 16432684 | 12483733 |     2587  12041 |        0 |        0
1596.06/1596.52	c 1596s |      27 | 16449920 | 12496733 |     2587  12051 |        0 |        0
1598.06/1598.53	c 1598s |      27 | 16467201 | 12510633 |     2587  12061 |        0 |        0
1600.07/1600.54	c 1600s |      27 | 16484573 | 12524433 |     2587  12071 |        0 |        0
1602.06/1602.55	c 1602s |      27 | 16503680 | 12538533 |     2587  12082 |        0 |        0
1604.06/1604.56	c 1604s |      27 | 16520501 | 12551533 |     2587  12091 |        0 |        0
1606.06/1606.57	c 1606s |      27 | 16538580 | 12565733 |     2587  12102 |        0 |        0
1608.06/1608.57	c 1608s |      27 | 16559004 | 12580933 |     2587  12113 |        0 |        0
1610.07/1610.57	c 1610s |      27 | 16577798 | 12594933 |     2587  12124 |        0 |        0
1612.06/1612.58	c 1612s |      27 | 16596149 | 12609233 |     2587  12134 |        0 |        0
1614.06/1614.59	c 1614s |      27 | 16614781 | 12623333 |     2587  12144 |        0 |        0
1616.06/1616.59	c 1616s |      27 | 16632845 | 12637033 |     2587  12155 |        0 |        0
1618.06/1618.59	c 1618s |      27 | 16649372 | 12650133 |     2587  12164 |        0 |        0
1620.16/1620.60	c 1620s |      27 | 16667472 | 12663933 |     2587  12175 |        0 |        0
1622.16/1622.61	c 1622s |      27 | 16684261 | 12676833 |     2587  12184 |        0 |        0
1624.17/1624.62	c 1624s |      27 | 16703326 | 12691133 |     2587  12195 |        0 |        0
1626.16/1626.63	c 1626s |      27 | 16721195 | 12704633 |     2587  12205 |        0 |        0
1628.16/1628.64	c 1628s |      27 | 16739363 | 12718333 |     2587  12215 |        0 |        0
1630.16/1630.65	c 1630s |      27 | 16757977 | 12732233 |     2587  12225 |        0 |        0
1632.16/1632.66	c 1632s |      27 | 16776723 | 12745833 |     2587  12236 |        0 |        0
1634.17/1634.67	c 1634s |      27 | 16794346 | 12759633 |     2587  12246 |        0 |        0
1636.16/1636.68	c 1636s |      27 | 16812482 | 12773633 |     2587  12256 |        0 |        0
1638.16/1638.68	c 1638s |      27 | 16832375 | 12787933 |     2587  12267 |        0 |        0
1640.16/1640.69	c 1640s |      27 | 16851379 | 12802333 |     2587  12277 |        0 |        0
1642.16/1642.69	c 1642s |      27 | 16868872 | 12816033 |     2587  12288 |        0 |        0
1644.26/1644.70	c 1644s |      27 | 16887769 | 12830533 |     2587  12298 |        0 |        0
1646.26/1646.71	c 1646s |      27 | 16906181 | 12844733 |     2587  12309 |        0 |        0
1648.26/1648.72	c 1648s |      27 | 16923653 | 12857833 |     2587  12319 |        0 |        0
1650.26/1650.74	c 1650s |      27 | 16943197 | 12872633 |     2587  12330 |        0 |        0
1652.26/1652.75	c 1652s |      27 | 16963300 | 12887033 |     2587  12340 |        0 |        0
1654.26/1654.75	c 1654s |      27 | 16982694 | 12901333 |     2587  12351 |        0 |        0
1656.26/1656.76	c 1656s |      27 | 17003517 | 12916433 |     2587  12362 |        0 |        0
1658.26/1658.77	c 1658s |      27 | 17023344 | 12931033 |     2587  12373 |        0 |        0
1660.26/1660.77	c 1660s |      27 | 17043487 | 12946433 |     2587  12384 |        0 |        0
1662.26/1662.78	c 1662s |      27 | 17062056 | 12960633 |     2587  12395 |        0 |        0
1664.26/1664.79	c 1664s |      27 | 17081778 | 12975233 |     2587  12406 |        0 |        0
1666.35/1666.80	c 1666s |      27 | 17098796 | 12988333 |     2587  12415 |        0 |        0
1668.36/1668.81	c 1668s |      27 | 17118538 | 13002733 |     2587  12426 |        0 |        0
1670.35/1670.82	c 1670s |      27 | 17139201 | 13017633 |     2587  12437 |        0 |        0
1672.35/1672.83	c 1672s |      27 | 17156414 | 13030933 |     2587  12447 |        0 |        0
1674.36/1674.84	c 1674s |      27 | 17175027 | 13045433 |     2587  12458 |        0 |        0
1676.36/1676.84	c 1676s |      27 | 17194126 | 13059933 |     2587  12469 |        0 |        0
1678.35/1678.85	c 1678s |      27 | 17214385 | 13075333 |     2587  12480 |        0 |        0
1680.36/1680.85	c 1680s |      27 | 17233389 | 13089333 |     2587  12490 |        0 |        0
1682.35/1682.86	c 1682s |      27 | 17250969 | 13103033 |     2587  12501 |        0 |        0
1684.35/1684.86	c 1684s |      27 | 17271773 | 13117933 |     2587  12512 |        0 |        0
1686.35/1686.87	c 1686s |      27 | 17290034 | 13132133 |     2587  12522 |        0 |        0
1688.35/1688.87	c 1688s |      27 | 17309346 | 13146733 |     2587  12533 |        0 |        0
1690.36/1690.88	c 1690s |      27 | 17332376 | 13163133 |     2587  12545 |        0 |        0
1692.35/1692.89	c 1692s |      27 | 17352245 | 13178533 |     2587  12556 |        0 |        0
1694.45/1694.90	c 1694s |      27 | 17371155 | 13192733 |     2587  12567 |        0 |        0
1696.45/1696.90	c 1696s |      27 | 17390750 | 13207233 |     2587  12578 |        0 |        0
1698.45/1698.92	c 1698s |      27 | 17411060 | 13222433 |     2587  12589 |        0 |        0
1700.45/1700.92	c 1700s |      27 | 17428924 | 13236333 |     2587  12599 |        0 |        0
1702.45/1702.93	c 1702s |      27 | 17446286 | 13249933 |     2587  12609 |        0 |        0
1704.45/1704.95	c 1704s |      27 | 17462592 | 13262833 |     2587  12619 |        0 |        0
1706.45/1706.95	c 1706s |      27 | 17479144 | 13275733 |     2587  12628 |        0 |        0
1708.45/1708.95	c 1708s |      27 | 17496982 | 13288733 |     2587  12638 |        0 |        0
1710.45/1710.96	c 1710s |      27 | 17512472 | 13301033 |     2587  12647 |        0 |        0
1712.44/1712.97	c 1712s |      27 | 17528638 | 13313333 |     2587  12656 |        0 |        0
1714.45/1714.99	c 1714s |      27 | 17544549 | 13325733 |     2587  12666 |        0 |        0
1716.54/1717.00	c 1716s |      27 | 17559792 | 13337833 |     2587  12675 |        0 |        0
1718.54/1719.01	c 1718s |      27 | 17576584 | 13350933 |     2587  12684 |        0 |        0
1720.54/1721.02	c 1721s |      27 | 17592576 | 13363633 |     2587  12694 |        0 |        0
1722.54/1723.02	c 1723s |      27 | 17609324 | 13376433 |     2587  12703 |        0 |        0
1724.54/1725.03	c 1725s |      27 | 17626877 | 13390033 |     2587  12713 |        0 |        0
1726.55/1727.04	c 1727s |      27 | 17644551 | 13403433 |     2587  12723 |        0 |        0
1728.55/1729.05	c 1729s |      27 | 17661868 | 13416733 |     2587  12733 |        0 |        0
1730.55/1731.06	c 1731s |      27 | 17679609 | 13430333 |     2587  12743 |        0 |        0
1732.55/1733.06	c 1733s |      27 | 17698879 | 13444733 |     2587  12754 |        0 |        0
1734.55/1735.06	c 1735s |      27 | 17718056 | 13458933 |     2587  12765 |        0 |        0
1736.56/1737.07	c 1737s |      27 | 17738107 | 13473733 |     2587  12776 |        0 |        0
1738.55/1739.09	c 1739s |      27 | 17757765 | 13488733 |     2587  12787 |        0 |        0
1740.55/1741.09	c 1741s |      27 | 17777849 | 13503633 |     2587  12798 |        0 |        0
1742.65/1743.10	c 1743s |      27 | 17796784 | 13518533 |     2587  12809 |        0 |        0
1744.65/1745.10	c 1745s |      27 | 17816859 | 13533333 |     2587  12820 |        0 |        0
1746.65/1747.11	c 1747s |      27 | 17834107 | 13546433 |     2587  12830 |        0 |        0
1748.65/1749.11	c 1749s |      27 | 17851627 | 13560133 |     2587  12840 |        0 |        0
1750.64/1751.12	c 1751s |      27 | 17872110 | 13576033 |     2587  12852 |        0 |        0
1752.64/1753.14	c 1753s |      27 | 17892855 | 13591933 |     2587  12863 |        0 |        0
1754.64/1755.14	c 1755s |      27 | 17910753 | 13606133 |     2587  12874 |        0 |        0
1756.64/1757.15	c 1757s |      27 | 17929409 | 13620633 |     2587  12885 |        0 |        0
1758.64/1759.15	c 1759s |      27 | 17945974 | 13633533 |     2587  12894 |        0 |        0
1760.65/1761.15	c 1761s |      27 | 17964392 | 13647633 |     2587  12905 |        0 |        0
1762.64/1763.17	c 1763s |      27 | 17983313 | 13661933 |     2587  12915 |        0 |        0
1764.64/1765.18	c 1765s |      27 | 18001720 | 13675833 |     2587  12925 |        0 |        0
1766.64/1767.19	c 1767s |      27 | 18019812 | 13689633 |     2587  12936 |        0 |        0
1768.74/1769.20	c 1769s |      27 | 18039292 | 13704533 |     2587  12947 |        0 |        0
1770.74/1771.20	c 1771s |      27 | 18059799 | 13719533 |     2587  12958 |        0 |        0
1772.74/1773.22	c 1773s |      27 | 18079986 | 13734033 |     2587  12969 |        0 |        0
1774.74/1775.22	c 1775s |      27 | 18101615 | 13749833 |     2587  12980 |        0 |        0
1776.74/1777.24	c 1777s |      27 | 18121200 | 13765033 |     2587  12992 |        0 |        0
1778.74/1779.24	c 1779s |      27 | 18140365 | 13779833 |     2587  13003 |        0 |        0
1780.74/1781.25	c 1781s |      27 | 18160959 | 13795533 |     2587  13014 |        0 |        0
1782.74/1783.26	c 1783s |      27 | 18178457 | 13809433 |     2587  13025 |        0 |        0
1784.73/1785.26	c 1785s |      27 | 18196564 | 13823333 |     2587  13035 |        0 |        0
1786.73/1787.27	c 1787s |      27 | 18215710 | 13838333 |     2587  13046 |        0 |        0
1788.73/1789.27	c 1789s |      27 | 18234187 | 13852433 |     2587  13057 |        0 |        0
1790.73/1791.27	c 1791s |      27 | 18252161 | 13866233 |     2587  13067 |        0 |        0
1792.73/1793.27	c 1793s |      27 | 18270766 | 13880633 |     2587  13078 |        0 |        0
1794.74/1795.29	c 1795s |      27 | 18288745 | 13894933 |     2587  13088 |        0 |        0
1796.83/1797.30	c 1797s |      27 | 18306495 | 13908633 |     2587  13098 |        0 |        0
1798.83/1799.31	c 1799s |      27 | 18326663 | 13923433 |     2587  13109 |        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-4120538-1467311518/watcher-4120538-1467311518 -o /tmp/evaluation-result-4120538-1467311518/solver-4120538-1467311518 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node115-1467308742-11512 --watchdog 1960 toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4120538-1467311518.opb 

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

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


[startup+0 s]
/proc/loadavg: 2.25 2.19 2.10 3/179 12368
/proc/meminfo: memFree=29354100/32872528 swapFree=1102192/1183952
[pid=12368] ppid=12365 vsize=757180 CPUtime=0 cores=1,3,5,7
/proc/12368/stat : 12368 (toysat) R 12365 12368 11495 0 -1 4202496 2831 0 0 0 0 0 0 0 20 0 4 0 10180992 775352320 3192 33554432000 4194304 16246674 140733613743360 140733613742784 13880264 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/12368/statm: 190063 3200 441 2943 0 186957 0
[pid=12368/tid=12369] ppid=12365 vsize=775612 CPUtime=0 cores=1,3,5,7
/proc/12368/task/12369/stat : 12369 (toysat) S 12365 12368 11495 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 10180992 794226688 3261 33554432000 4194304 16246674 140733613743360 140074396134640 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=12368/tid=12370] ppid=12365 vsize=779708 CPUtime=0 cores=1,3,5,7
/proc/12368/task/12370/stat : 12370 (toysat) S 12365 12368 11495 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 10180992 798420992 3279 33554432000 4194304 16246674 140733613743360 140074385644784 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=12368/tid=12371] ppid=12365 vsize=783804 CPUtime=0 cores=1,3,5,7
/proc/12368/task/12371/stat : 12371 (toysat) S 12365 12368 11495 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 10180992 802615296 3296 33554432000 4194304 16246674 140733613743360 140074375171248 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0

[startup+0.100122 s]
/proc/loadavg: 2.25 2.19 2.10 3/179 12368
/proc/meminfo: memFree=29354100/32872528 swapFree=1102192/1183952
[pid=12368] ppid=12365 vsize=1218116 CPUtime=0.09 cores=1,3,5,7
/proc/12368/stat : 12368 (toysat) R 12365 12368 11495 0 -1 4202496 25260 0 0 0 6 3 0 0 20 0 4 0 10180992 1247350784 25610 33554432000 4194304 16246674 140733613743360 140733613742784 6023439 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/12368/statm: 304529 25621 707 2943 0 301423 0
[pid=12368/tid=12369] ppid=12365 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/12368/task/12369/stat : 12369 (toysat) S 12365 12368 11495 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 10180992 1247350784 25629 33554432000 4194304 16246674 140733613743360 140074396134640 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=12368/tid=12370] ppid=12365 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/12368/task/12370/stat : 12370 (toysat) S 12365 12368 11495 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 10180992 1247350784 25636 33554432000 4194304 16246674 140733613743360 140074385644784 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=12368/tid=12371] ppid=12365 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/12368/task/12371/stat : 12371 (toysat) S 12365 12368 11495 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 10180992 1247350784 25641 33554432000 4194304 16246674 140733613743360 140074375171248 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 1218116

[startup+0.200514 s]
/proc/loadavg: 2.25 2.19 2.10 3/179 12368
/proc/meminfo: memFree=29354100/32872528 swapFree=1102192/1183952
[pid=12368] ppid=12365 vsize=1218116 CPUtime=0.19 cores=1,3,5,7
/proc/12368/stat : 12368 (toysat) R 12365 12368 11495 0 -1 4202496 47942 0 0 0 13 6 0 0 20 0 4 0 10180992 1247350784 48293 33554432000 4194304 16246674 140733613743360 140733613742784 5708022 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/12368/statm: 304529 48301 707 2943 0 301423 0
[pid=12368/tid=12369] ppid=12365 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/12368/task/12369/stat : 12369 (toysat) S 12365 12368 11495 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 10180992 1247350784 48306 33554432000 4194304 16246674 140733613743360 140074396134640 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=12368/tid=12370] ppid=12365 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/12368/task/12370/stat : 12370 (toysat) S 12365 12368 11495 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 10180992 1247350784 48313 33554432000 4194304 16246674 140733613743360 140074385644784 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=12368/tid=12371] ppid=12365 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/12368/task/12371/stat : 12371 (toysat) S 12365 12368 11495 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 10180992 1247350784 48322 33554432000 4194304 16246674 140733613743360 140074375171248 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 1218116

[startup+0.300452 s]
/proc/loadavg: 2.25 2.19 2.10 3/179 12368
/proc/meminfo: memFree=29354100/32872528 swapFree=1102192/1183952
[pid=12368] ppid=12365 vsize=1218116 CPUtime=0.29 cores=1,3,5,7
/proc/12368/stat : 12368 (toysat) R 12365 12368 11495 0 -1 4202496 71165 0 0 0 20 9 0 0 20 0 4 0 10180992 1247350784 71516 33554432000 4194304 16246674 140733613743360 140733613742784 5546098 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/12368/statm: 304529 71530 707 2943 0 301423 0
[pid=12368/tid=12369] ppid=12365 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/12368/task/12369/stat : 12369 (toysat) S 12365 12368 11495 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 10180992 1247350784 71536 33554432000 4194304 16246674 140733613743360 140074396134640 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=12368/tid=12370] ppid=12365 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/12368/task/12370/stat : 12370 (toysat) S 12365 12368 11495 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 10180992 1247350784 71542 33554432000 4194304 16246674 140733613743360 140074385644784 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=12368/tid=12371] ppid=12365 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/12368/task/12371/stat : 12371 (toysat) S 12365 12368 11495 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 10180992 1247350784 71548 33554432000 4194304 16246674 140733613743360 140074375171248 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 1218116

[startup+0.700357 s]
/proc/loadavg: 2.25 2.19 2.10 3/179 12368
/proc/meminfo: memFree=29354100/32872528 swapFree=1102192/1183952
[pid=12368] ppid=12365 vsize=1218116 CPUtime=0.69 cores=1,3,5,7
/proc/12368/stat : 12368 (toysat) R 12365 12368 11495 0 -1 4202496 163641 0 0 0 48 21 0 0 20 0 4 0 10180992 1247350784 163991 33554432000 4194304 16246674 140733613743360 140733613742784 5708022 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/12368/statm: 304529 163998 707 2943 0 301423 0
[pid=12368/tid=12369] ppid=12365 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/12368/task/12369/stat : 12369 (toysat) S 12365 12368 11495 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 10180992 1247350784 164006 33554432000 4194304 16246674 140733613743360 140074396134640 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=12368/tid=12370] ppid=12365 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/12368/task/12370/stat : 12370 (toysat) S 12365 12368 11495 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 10180992 1247350784 164012 33554432000 4194304 16246674 140733613743360 140074385644784 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=12368/tid=12371] ppid=12365 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/12368/task/12371/stat : 12371 (toysat) S 12365 12368 11495 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 10180992 1247350784 164021 33554432000 4194304 16246674 140733613743360 140074375171248 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 1218116

[startup+1.50036 s]
/proc/loadavg: 2.23 2.19 2.10 4/183 12372
/proc/meminfo: memFree=28371204/32872528 swapFree=1102192/1183952
[pid=12368] ppid=12365 vsize=1219140 CPUtime=1.49 cores=1,3,5,7
/proc/12368/stat : 12368 (toysat) R 12365 12368 11495 0 -1 4202496 245652 0 0 0 116 33 0 0 20 0 4 0 10180992 1248399360 245982 33554432000 4194304 16246674 140733613743360 140733613742672 5677888 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/12368/statm: 304785 245982 783 2943 0 301679 0
[pid=12368/tid=12369] ppid=12365 vsize=1219140 CPUtime=0 cores=1,3,5,7
/proc/12368/task/12369/stat : 12369 (toysat) S 12365 12368 11495 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 10180992 1248399360 245982 33554432000 4194304 16246674 140733613743360 140074396134640 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=12368/tid=12370] ppid=12365 vsize=1219140 CPUtime=0 cores=1,3,5,7
/proc/12368/task/12370/stat : 12370 (toysat) S 12365 12368 11495 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 10180992 1248399360 245982 33554432000 4194304 16246674 140733613743360 140074385644784 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=12368/tid=12371] ppid=12365 vsize=1219140 CPUtime=0 cores=1,3,5,7
/proc/12368/task/12371/stat : 12371 (toysat) S 12365 12368 11495 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 10180992 1248399360 245982 33554432000 4194304 16246674 140733613743360 140074375171248 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 1219140

[startup+3.10037 s]
/proc/loadavg: 2.23 2.19 2.10 4/183 12372
/proc/meminfo: memFree=28283660/32872528 swapFree=1102192/1183952
[pid=12368] ppid=12365 vsize=1306180 CPUtime=3.09 cores=1,3,5,7
/proc/12368/stat : 12368 (toysat) R 12365 12368 11495 0 -1 4202496 267452 0 0 0 273 36 0 0 20 0 4 0 10180992 1337528320 267782 33554432000 4194304 16246674 140733613743360 140733613725248 5661528 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/12368/statm: 326545 267782 783 2943 0 323439 0
[pid=12368/tid=12369] ppid=12365 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/12368/task/12369/stat : 12369 (toysat) S 12365 12368 11495 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 10180992 1337528320 267782 33554432000 4194304 16246674 140733613743360 140074396134640 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=12368/tid=12370] ppid=12365 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/12368/task/12370/stat : 12370 (toysat) S 12365 12368 11495 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 10180992 1337528320 267782 33554432000 4194304 16246674 140733613743360 140074385644784 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=12368/tid=12371] ppid=12365 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/12368/task/12371/stat : 12371 (toysat) S 12365 12368 11495 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 10180992 1337528320 267782 33554432000 4194304 16246674 140733613743360 140074375171248 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 1306180

[startup+6.30037 s]
/proc/loadavg: 2.21 2.18 2.10 4/183 12372
/proc/meminfo: memFree=28283588/32872528 swapFree=1102192/1183952
[pid=12368] ppid=12365 vsize=1306180 CPUtime=6.29 cores=1,3,5,7
/proc/12368/stat : 12368 (toysat) R 12365 12368 11495 0 -1 4202496 267453 0 0 0 593 36 0 0 20 0 4 0 10180992 1337528320 267783 33554432000 4194304 16246674 140733613743360 140733613726360 5667560 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/12368/statm: 326545 267783 784 2943 0 323439 0
[pid=12368/tid=12369] ppid=12365 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/12368/task/12369/stat : 12369 (toysat) S 12365 12368 11495 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 10180992 1337528320 267783 33554432000 4194304 16246674 140733613743360 140074396134640 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=12368/tid=12370] ppid=12365 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/12368/task/12370/stat : 12370 (toysat) S 12365 12368 11495 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 10180992 1337528320 267783 33554432000 4194304 16246674 140733613743360 140074385644784 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=12368/tid=12371] ppid=12365 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/12368/task/12371/stat : 12371 (toysat) S 12365 12368 11495 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 10180992 1337528320 267783 33554432000 4194304 16246674 140733613743360 140074375171248 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 1306180

[startup+12.7004 s]
/proc/loadavg: 2.20 2.18 2.10 4/183 12372
/proc/meminfo: memFree=28282032/32872528 swapFree=1102192/1183952
[pid=12368] ppid=12365 vsize=1307204 CPUtime=12.69 cores=1,3,5,7
/proc/12368/stat : 12368 (toysat) R 12365 12368 11495 0 -1 4202496 267586 0 0 0 1233 36 0 0 20 0 4 0 10180992 1338576896 267916 33554432000 4194304 16246674 140733613743360 140733613725248 12995176 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/12368/statm: 326801 267916 785 2943 0 323695 0
[pid=12368/tid=12369] ppid=12365 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/12368/task/12369/stat : 12369 (toysat) S 12365 12368 11495 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 10180992 1338576896 267916 33554432000 4194304 16246674 140733613743360 140074396134640 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=12368/tid=12370] ppid=12365 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/12368/task/12370/stat : 12370 (toysat) S 12365 12368 11495 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 10180992 1338576896 267916 33554432000 4194304 16246674 140733613743360 140074385644784 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=12368/tid=12371] ppid=12365 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/12368/task/12371/stat : 12371 (toysat) S 12365 12368 11495 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 10180992 1338576896 267916 33554432000 4194304 16246674 140733613743360 140074375171248 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 1307204

[startup+25.5005 s]
/proc/loadavg: 2.17 2.17 2.10 4/183 12372
/proc/meminfo: memFree=28281048/32872528 swapFree=1102192/1183952
[pid=12368] ppid=12365 vsize=1308228 CPUtime=25.49 cores=1,3,5,7
/proc/12368/stat : 12368 (toysat) R 12365 12368 11495 0 -1 4202496 267894 0 0 0 2512 37 0 0 20 0 4 0 10180992 1339625472 268224 33554432000 4194304 16246674 140733613743360 140733613725248 5829166 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/12368/statm: 327057 268224 787 2943 0 323951 0
[pid=12368/tid=12369] ppid=12365 vsize=1308228 CPUtime=0 cores=1,3,5,7
/proc/12368/task/12369/stat : 12369 (toysat) S 12365 12368 11495 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 10180992 1339625472 268224 33554432000 4194304 16246674 140733613743360 140074396134640 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=12368/tid=12370] ppid=12365 vsize=1308228 CPUtime=0 cores=1,3,5,7
/proc/12368/task/12370/stat : 12370 (toysat) S 12365 12368 11495 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 10180992 1339625472 268224 33554432000 4194304 16246674 140733613743360 140074385644784 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=12368/tid=12371] ppid=12365 vsize=1308228 CPUtime=0 cores=1,3,5,7
/proc/12368/task/12371/stat : 12371 (toysat) S 12365 12368 11495 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 10180992 1339625472 268224 33554432000 4194304 16246674 140733613743360 140074375171248 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 1308228

[startup+51.1005 s]
/proc/loadavg: 2.10 2.16 2.09 4/183 12372
/proc/meminfo: memFree=28280396/32872528 swapFree=1102192/1183952
[pid=12368] ppid=12365 vsize=1308228 CPUtime=51.08 cores=1,3,5,7
/proc/12368/stat : 12368 (toysat) R 12365 12368 11495 0 -1 4202496 268080 0 0 0 5071 37 0 0 20 0 4 0 10180992 1339625472 268410 33554432000 4194304 16246674 140733613743360 140733613726360 6044799 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/12368/statm: 327057 268410 787 2943 0 323951 0
[pid=12368/tid=12369] ppid=12365 vsize=1308228 CPUtime=0 cores=1,3,5,7
/proc/12368/task/12369/stat : 12369 (toysat) S 12365 12368 11495 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 10180992 1339625472 268410 33554432000 4194304 16246674 140733613743360 140074396134640 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=12368/tid=12370] ppid=12365 vsize=1308228 CPUtime=0 cores=1,3,5,7
/proc/12368/task/12370/stat : 12370 (toysat) S 12365 12368 11495 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 10180992 1339625472 268410 33554432000 4194304 16246674 140733613743360 140074385644784 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=12368/tid=12371] ppid=12365 vsize=1308228 CPUtime=0 cores=1,3,5,7
/proc/12368/task/12371/stat : 12371 (toysat) S 12365 12368 11495 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 10180992 1339625472 268410 33554432000 4194304 16246674 140733613743360 140074375171248 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 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: 2.16 2.16 2.09 3/183 12373
/proc/meminfo: memFree=28280192/32872528 swapFree=1102192/1183952
[pid=12368] ppid=12365 vsize=1309252 CPUtime=102.28 cores=1,3,5,7
/proc/12368/stat : 12368 (toysat) R 12365 12368 11495 0 -1 4202496 268109 0 0 0 10190 38 0 0 20 0 4 0 10180992 1340674048 268439 33554432000 4194304 16246674 140733613743360 140733613725248 6012004 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/12368/statm: 327313 268439 787 2943 0 324207 0
[pid=12368/tid=12369] ppid=12365 vsize=1309252 CPUtime=0 cores=1,3,5,7
/proc/12368/task/12369/stat : 12369 (toysat) S 12365 12368 11495 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 10180992 1340674048 268439 33554432000 4194304 16246674 140733613743360 140074396134640 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=12368/tid=12370] ppid=12365 vsize=1309252 CPUtime=0 cores=1,3,5,7
/proc/12368/task/12370/stat : 12370 (toysat) S 12365 12368 11495 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 10180992 1340674048 268439 33554432000 4194304 16246674 140733613743360 140074385644784 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=12368/tid=12371] ppid=12365 vsize=1309252 CPUtime=0 cores=1,3,5,7
/proc/12368/task/12371/stat : 12371 (toysat) S 12365 12368 11495 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 10180992 1340674048 268439 33554432000 4194304 16246674 140733613743360 140074375171248 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 1309252


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

/proc/12368/task/12371/stat : 12371 (toysat) S 12365 12368 11495 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 10180992 1344868352 269694 33554432000 4194304 16246674 140733613743360 140074375171248 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1301.91
Current children cumulated vsize (KiB) 1313348

[startup+1362.3 s]
/proc/loadavg: 2.18 2.18 2.13 3/183 12550
/proc/meminfo: memFree=28282292/32872528 swapFree=1102192/1183952
[pid=12368] ppid=12365 vsize=1313348 CPUtime=1361.9 cores=1,3,5,7
/proc/12368/stat : 12368 (toysat) R 12365 12368 11495 0 -1 4202496 269745 0 0 0 136124 66 0 0 20 0 4 0 10180992 1344868352 269694 33554432000 4194304 16246674 140733613743360 140733613725248 5677537 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/12368/statm: 328337 269694 788 2943 0 325231 0
[pid=12368/tid=12369] ppid=12365 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/12368/task/12369/stat : 12369 (toysat) S 12365 12368 11495 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 10180992 1344868352 269694 33554432000 4194304 16246674 140733613743360 140074396134640 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=12368/tid=12370] ppid=12365 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/12368/task/12370/stat : 12370 (toysat) S 12365 12368 11495 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 10180992 1344868352 269694 33554432000 4194304 16246674 140733613743360 140074385644784 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=12368/tid=12371] ppid=12365 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/12368/task/12371/stat : 12371 (toysat) S 12365 12368 11495 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 10180992 1344868352 269694 33554432000 4194304 16246674 140733613743360 140074375171248 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1361.9
Current children cumulated vsize (KiB) 1313348

[startup+1422.3 s]
/proc/loadavg: 2.16 2.17 2.13 3/183 12600
/proc/meminfo: memFree=28283896/32872528 swapFree=1102192/1183952
[pid=12368] ppid=12365 vsize=1313348 CPUtime=1421.9 cores=1,3,5,7
/proc/12368/stat : 12368 (toysat) R 12365 12368 11495 0 -1 4202496 269745 0 0 0 142123 67 0 0 20 0 4 0 10180992 1344868352 269694 33554432000 4194304 16246674 140733613743360 140733613725248 13963975 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/12368/statm: 328337 269694 788 2943 0 325231 0
[pid=12368/tid=12369] ppid=12365 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/12368/task/12369/stat : 12369 (toysat) S 12365 12368 11495 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 10180992 1344868352 269694 33554432000 4194304 16246674 140733613743360 140074396134640 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=12368/tid=12370] ppid=12365 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/12368/task/12370/stat : 12370 (toysat) S 12365 12368 11495 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 10180992 1344868352 269694 33554432000 4194304 16246674 140733613743360 140074385644784 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=12368/tid=12371] ppid=12365 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/12368/task/12371/stat : 12371 (toysat) S 12365 12368 11495 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 10180992 1344868352 269694 33554432000 4194304 16246674 140733613743360 140074375171248 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1421.9
Current children cumulated vsize (KiB) 1313348

[startup+1482.3 s]
/proc/loadavg: 2.17 2.17 2.13 4/183 12650
/proc/meminfo: memFree=28278340/32872528 swapFree=1102192/1183952
[pid=12368] ppid=12365 vsize=1313348 CPUtime=1481.88 cores=1,3,5,7
/proc/12368/stat : 12368 (toysat) R 12365 12368 11495 0 -1 4202496 269745 0 0 0 148120 68 0 0 20 0 4 0 10180992 1344868352 269694 33554432000 4194304 16246674 140733613743360 140733613725248 5822240 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/12368/statm: 328337 269694 788 2943 0 325231 0
[pid=12368/tid=12369] ppid=12365 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/12368/task/12369/stat : 12369 (toysat) S 12365 12368 11495 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 10180992 1344868352 269694 33554432000 4194304 16246674 140733613743360 140074396134640 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=12368/tid=12370] ppid=12365 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/12368/task/12370/stat : 12370 (toysat) S 12365 12368 11495 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 10180992 1344868352 269694 33554432000 4194304 16246674 140733613743360 140074385644784 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=12368/tid=12371] ppid=12365 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/12368/task/12371/stat : 12371 (toysat) S 12365 12368 11495 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 10180992 1344868352 269694 33554432000 4194304 16246674 140733613743360 140074375171248 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1481.88
Current children cumulated vsize (KiB) 1313348

[startup+1542.31 s]
/proc/loadavg: 2.12 2.15 2.12 3/183 12651
/proc/meminfo: memFree=28277220/32872528 swapFree=1102192/1183952
[pid=12368] ppid=12365 vsize=1313348 CPUtime=1541.88 cores=1,3,5,7
/proc/12368/stat : 12368 (toysat) R 12365 12368 11495 0 -1 4202496 269745 0 0 0 154119 69 0 0 20 0 4 0 10180992 1344868352 269694 33554432000 4194304 16246674 140733613743360 140733613725248 15015658 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/12368/statm: 328337 269694 788 2943 0 325231 0
[pid=12368/tid=12369] ppid=12365 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/12368/task/12369/stat : 12369 (toysat) S 12365 12368 11495 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 10180992 1344868352 269694 33554432000 4194304 16246674 140733613743360 140074396134640 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=12368/tid=12370] ppid=12365 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/12368/task/12370/stat : 12370 (toysat) S 12365 12368 11495 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 10180992 1344868352 269694 33554432000 4194304 16246674 140733613743360 140074385644784 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=12368/tid=12371] ppid=12365 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/12368/task/12371/stat : 12371 (toysat) S 12365 12368 11495 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 10180992 1344868352 269694 33554432000 4194304 16246674 140733613743360 140074375171248 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1541.88
Current children cumulated vsize (KiB) 1313348

[startup+1602.3 s]
/proc/loadavg: 2.20 2.17 2.13 3/183 12652
/proc/meminfo: memFree=28277104/32872528 swapFree=1102192/1183952
[pid=12368] ppid=12365 vsize=1313348 CPUtime=1601.86 cores=1,3,5,7
/proc/12368/stat : 12368 (toysat) R 12365 12368 11495 0 -1 4202496 269745 0 0 0 160116 70 0 0 20 0 4 0 10180992 1344868352 269694 33554432000 4194304 16246674 140733613743360 140733613725248 5676609 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/12368/statm: 328337 269694 788 2943 0 325231 0
[pid=12368/tid=12369] ppid=12365 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/12368/task/12369/stat : 12369 (toysat) S 12365 12368 11495 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 10180992 1344868352 269694 33554432000 4194304 16246674 140733613743360 140074396134640 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=12368/tid=12370] ppid=12365 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/12368/task/12370/stat : 12370 (toysat) S 12365 12368 11495 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 10180992 1344868352 269694 33554432000 4194304 16246674 140733613743360 140074385644784 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=12368/tid=12371] ppid=12365 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/12368/task/12371/stat : 12371 (toysat) S 12365 12368 11495 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 10180992 1344868352 269694 33554432000 4194304 16246674 140733613743360 140074375171248 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1601.86
Current children cumulated vsize (KiB) 1313348

[startup+1662.3 s]
/proc/loadavg: 2.25 2.18 2.13 4/183 12653
/proc/meminfo: memFree=28276988/32872528 swapFree=1102192/1183952
[pid=12368] ppid=12365 vsize=1313348 CPUtime=1661.86 cores=1,3,5,7
/proc/12368/stat : 12368 (toysat) R 12365 12368 11495 0 -1 4202496 269745 0 0 0 166115 71 0 0 20 0 4 0 10180992 1344868352 269694 33554432000 4194304 16246674 140733613743360 140733613725248 12483362 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/12368/statm: 328337 269694 788 2943 0 325231 0
[pid=12368/tid=12369] ppid=12365 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/12368/task/12369/stat : 12369 (toysat) S 12365 12368 11495 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 10180992 1344868352 269694 33554432000 4194304 16246674 140733613743360 140074396134640 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=12368/tid=12370] ppid=12365 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/12368/task/12370/stat : 12370 (toysat) S 12365 12368 11495 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 10180992 1344868352 269694 33554432000 4194304 16246674 140733613743360 140074385644784 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=12368/tid=12371] ppid=12365 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/12368/task/12371/stat : 12371 (toysat) S 12365 12368 11495 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 10180992 1344868352 269694 33554432000 4194304 16246674 140733613743360 140074375171248 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1661.86
Current children cumulated vsize (KiB) 1313348

[startup+1722.3 s]
/proc/loadavg: 2.20 2.18 2.13 3/184 12657
/proc/meminfo: memFree=28276988/32872528 swapFree=1102192/1183952
[pid=12368] ppid=12365 vsize=1313348 CPUtime=1721.84 cores=1,3,5,7
/proc/12368/stat : 12368 (toysat) R 12365 12368 11495 0 -1 4202496 269745 0 0 0 172112 72 0 0 20 0 4 0 10180992 1344868352 269694 33554432000 4194304 16246674 140733613743360 140733613725248 5822604 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/12368/statm: 328337 269694 788 2943 0 325231 0
[pid=12368/tid=12369] ppid=12365 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/12368/task/12369/stat : 12369 (toysat) S 12365 12368 11495 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 10180992 1344868352 269694 33554432000 4194304 16246674 140733613743360 140074396134640 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=12368/tid=12370] ppid=12365 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/12368/task/12370/stat : 12370 (toysat) S 12365 12368 11495 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 10180992 1344868352 269694 33554432000 4194304 16246674 140733613743360 140074385644784 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=12368/tid=12371] ppid=12365 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/12368/task/12371/stat : 12371 (toysat) S 12365 12368 11495 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 10180992 1344868352 269694 33554432000 4194304 16246674 140733613743360 140074375171248 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1721.84
Current children cumulated vsize (KiB) 1313348

[startup+1782.3 s]
/proc/loadavg: 2.21 2.19 2.14 4/184 12682
/proc/meminfo: memFree=28273248/32872528 swapFree=1102192/1183952
[pid=12368] ppid=12365 vsize=1313348 CPUtime=1781.84 cores=1,3,5,7
/proc/12368/stat : 12368 (toysat) R 12365 12368 11495 0 -1 4202496 269745 0 0 0 178111 73 0 0 20 0 4 0 10180992 1344868352 269694 33554432000 4194304 16246674 140733613743360 140733613725248 5717716 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/12368/statm: 328337 269694 788 2943 0 325231 0
[pid=12368/tid=12369] ppid=12365 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/12368/task/12369/stat : 12369 (toysat) S 12365 12368 11495 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 10180992 1344868352 269694 33554432000 4194304 16246674 140733613743360 140074396134640 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=12368/tid=12370] ppid=12365 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/12368/task/12370/stat : 12370 (toysat) S 12365 12368 11495 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 10180992 1344868352 269694 33554432000 4194304 16246674 140733613743360 140074385644784 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=12368/tid=12371] ppid=12365 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/12368/task/12371/stat : 12371 (toysat) S 12365 12368 11495 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 10180992 1344868352 269694 33554432000 4194304 16246674 140733613743360 140074375171248 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1781.84
Current children cumulated vsize (KiB) 1313348



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.5 s]
/proc/loadavg: 2.31 2.21 2.14 3/184 12683
/proc/meminfo: memFree=28273116/32872528 swapFree=1102192/1183952
[pid=12368] ppid=12365 vsize=1313348 CPUtime=1800.03 cores=1,3,5,7
/proc/12368/stat : 12368 (toysat) R 12365 12368 11495 0 -1 4202496 269745 0 0 0 179930 73 0 0 20 0 4 0 10180992 1344868352 269694 33554432000 4194304 16246674 140733613743360 140733613725248 5822908 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/12368/statm: 328337 269694 788 2943 0 325231 0
[pid=12368/tid=12369] ppid=12365 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/12368/task/12369/stat : 12369 (toysat) S 12365 12368 11495 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 10180992 1344868352 269694 33554432000 4194304 16246674 140733613743360 140074396134640 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=12368/tid=12370] ppid=12365 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/12368/task/12370/stat : 12370 (toysat) S 12365 12368 11495 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 10180992 1344868352 269694 33554432000 4194304 16246674 140733613743360 140074385644784 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=12368/tid=12371] ppid=12365 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/12368/task/12371/stat : 12371 (toysat) S 12365 12368 11495 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 10180992 1344868352 269694 33554432000 4194304 16246674 140733613743360 140074375171248 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1800.03
Current children cumulated vsize (KiB) 1313348

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

[startup+1800.5 s]
/proc/loadavg: 2.31 2.21 2.14 3/184 12683
/proc/meminfo: memFree=28273116/32872528 swapFree=1102192/1183952
[pid=12368] ppid=12365 vsize=1313348 CPUtime=1800.03 cores=1,3,5,7
/proc/12368/stat : 12368 (toysat) R 12365 12368 11495 0 -1 4202496 269745 0 0 0 179930 73 0 0 20 0 4 0 10180992 1344868352 269694 33554432000 4194304 16246674 140733613743360 140733613725248 5822908 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/12368/statm: 328337 269694 788 2943 0 325231 0
[pid=12368/tid=12369] ppid=12365 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/12368/task/12369/stat : 12369 (toysat) S 12365 12368 11495 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 10180992 1344868352 269694 33554432000 4194304 16246674 140733613743360 140074396134640 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=12368/tid=12370] ppid=12365 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/12368/task/12370/stat : 12370 (toysat) S 12365 12368 11495 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 10180992 1344868352 269694 33554432000 4194304 16246674 140733613743360 140074385644784 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=12368/tid=12371] ppid=12365 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/12368/task/12371/stat : 12371 (toysat) S 12365 12368 11495 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 10180992 1344868352 269694 33554432000 4194304 16246674 140733613743360 140074375171248 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1800.03
Current children cumulated vsize (KiB) 1313348

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1800.51
CPU time (s): 1800.05
CPU user time (s): 1799.31
CPU system time (s): 0.736887
CPU usage (%): 99.9744
Max. virtual memory (cumulated for all children) (KiB): 1313348

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.31
system time used= 0.736887
maximum resident set size= 1078776
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 269745
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= 399
involuntary context switches= 1927

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 11.5532 second user time and 15.3567 second system time

The end

Begin job on node115 at 2016-06-30 20:31:58
IDJOB=4120538
IDBENCH=109988
IDSOLVER=2542
FILE ID=node115/4120538-1467311518
RUNJOBID= node115-1467308742-11512
PBS_JOBID= 20005276
Free space on /tmp= 71648 MiB

SOLVER NAME= toysat 2016-05-02
BENCH NAME= PB15eval/normalized-PB15eval/DEC-SMALLINT-LIN/ProofComplexity-Extracted-Cardinality-Constraints/ProofComplexity/normalized-fixed-bandwidth-72.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-4120538-1467311518/watcher-4120538-1467311518 -o /tmp/evaluation-result-4120538-1467311518/solver-4120538-1467311518 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node115-1467308742-11512 --watchdog 1960  toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4120538-1467311518.opb

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

MD5SUM BENCH= 3f7cb67e573855b0002f040c6d1d245a
RANDOM SEED=498502333

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

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

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

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

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

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

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

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2667.087
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:        29355008 kB
Buffers:          155080 kB
Cached:           342768 kB
SwapCached:            0 kB
Active:          1373832 kB
Inactive:         217556 kB
Active(anon):    1089556 kB
Inactive(anon):     6556 kB
Active(file):     284276 kB
Inactive(file):   211000 kB
Unevictable:     1183952 kB
Mlocked:         1102192 kB
SwapTotal:      67108856 kB
SwapFree:       67108856 kB
Dirty:             16624 kB
Writeback:             0 kB
AnonPages:       2277388 kB
Mapped:            17076 kB
Shmem:               204 kB
Slab:             608132 kB
SReclaimable:      51808 kB
SUnreclaim:       556324 kB
KernelStack:        1520 kB
PageTables:         8336 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    2413844 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:    956416 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= 71632 MiB
End job on node115 at 2016-06-30 21:01:58