0.00/0.00	c 2016-06-30T20:44:21+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-4120754-1467312261.opb"]
0.00/0.01	c use --random-gen="4264732940 2368242357 2073346529 932886527 3018621240 3460755673 2688918718 431869932 2200861284 2777708952 3453924224 3576224077 2037826841 3420175158 1128640999 3800447745 1106967385 1372480365 3050831786 333182376 2063322403 3227218694 1964542038 577112634 1376336273 2968723241 2004565494 3386036637 3787848981 907817371 977583735 2186533045 1504792640 3592942579 652343622 1904351399 373523630 3697541039 978771967 2166776896 3918963996 672866176 3840530817 1757580856 40942113 2892454678 3083438887 1159133812 3219316976 3276656659 2931883452 2942658213 601214154 2528498066 3675531364 3889656350 147907764 658111460 1323069625 4157693301 3974115159 4029943363 3011046530 3202616013 1198709622 5823745 2592124564 593939847 932775233 105598313 4281387021 2705914913 1438976836 2226196329 1591862071 3025007865 175433661 1723552819 3269515397 1557729690 949230807 338470686 2048565252 739932133 1024031497 2271046761 979373197 835193639 678617379 98308226 3547097878 3995397520 4136538056 1115855639 2252545072 4288593998 1788991311 366743932 1866076493 1571189743 1558221857 2208751750 3082301465 841966121 2903001080 2149167766 902113215 1026165078 3669258414 3027458192 2046924413 2598220570 858009104 2915111411 999174240 1701357385 499291291 66278723 463742981 1734825297 35082980 1647096882 2808419235 2573336841 1567798666 594987888 426612162 2098214138 3848353512 3270601640 1960976977 1970059613 1803359465 2132477112 2142464653 2780267857 3629071623 2030147474 1322245216 2836812821 1277649632 989041214 1582139904 3173535690 452172297 2943314821 2830562978 2496340224 1817062369 3705899827 1156095963 2330788453 3067552800 17547630 3433476013 4062731899 4109055684 2070287309 318715772 977407294 922453527 2473299560 3532126220 3148884959 2899905982 1356454476 587259335 3144709975 2396543463 2949087665 1501838165 1318031830 3097461769 1956965967 3196683970 1958140690 750693502 2961880152 1965582707 3045222058 4101869774 746548680 2384208293 948672390 1339287694 1737079656 2854353848 2156165128 670909632 2536932403 1709516104 1274122621 1952104411 1016868446 1872665880 1961281559 2256436286 2482821307 2414213865 2108920692 1992385729 980008783 3659633089 3904682644 2300790563 582481992 3860432550 490880910 2086351860 1823526530 707701008 146241239 2546851178 1074609281 764571934 4273981087 2480950843 1888735638 2940954073 4161564321 1368597403 1229251985 3910144825 2145734944 1396882416 4051113913 3592880934 4264738845 3790079475 2997649163 1650750725 2876691706 3431539712 143506370 608237089 267388730 770704126 1195124750 1929031528 1944960695 2847046904 3140165192 1324767365 1181472583 3496493951 105970288 431741908 335315318 2314066670 1000652935 97717680 466313223 4156468155 840406824 451106045 1607829156 255 362436" option to reproduce the execution
0.00/0.01	c #vars 337
0.00/0.01	c #constraints 336
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 |      224      0 |        0 |        0
0.00/0.03	c  0.0s |       1 |      207 |      100 |      224      0 |        0 |        0
0.00/0.05	c  0.0s |       2 |      823 |      250 |      247      0 |        0 |        0
0.00/0.08	c  0.1s |       3 |     1296 |      475 |      272      2 |        0 |        0
0.09/0.12	c  0.1s |       4 |     2170 |      813 |      300      4 |        0 |        0
0.19/0.20	c  0.2s |       5 |     3105 |     1320 |      330      5 |        0 |        0
0.19/0.28	c  0.3s |       6 |     4222 |     2081 |      401      8 |        0 |        0
0.38/0.46	c  0.4s |       7 |     5933 |     3223 |      442     12 |        0 |        0
0.59/0.68	c  0.7s |       8 |     8895 |     4936 |      487     17 |        0 |        0
0.99/1.00	c  1.0s |       9 |    13631 |     7506 |      536     27 |        0 |        0
1.29/1.38	c  1.4s |      10 |    19719 |    11361 |      590     38 |        0 |        0
1.88/1.93	c  1.9s |      11 |    28874 |    17144 |      649     53 |        0 |        0
2.69/2.72	c  2.7s |      12 |    41697 |    25819 |      714     74 |        0 |        0
3.99/4.07	c  4.1s |      13 |    62236 |    38832 |      786    105 |        0 |        0
5.89/5.95	c  5.9s |      14 |    90013 |    58352 |      865    145 |        0 |        0
7.89/7.95	c  7.9s |      14 |   117295 |    77952 |      865    181 |        0 |        0
8.89/8.99	c  9.0s |      15 |   130830 |    87632 |      952    199 |        0 |        0
10.88/10.99	c 11.0s |      15 |   157860 |   106832 |      952    233 |        0 |        0
12.88/12.99	c 13.0s |      15 |   185546 |   126232 |      952    268 |        0 |        0
13.48/13.58	c 13.6s |      16 |   193816 |   131552 |     1048    277 |        0 |        0
15.50/15.58	c 15.6s |      16 |   219228 |   150452 |     1048    308 |        0 |        0
17.49/17.59	c 17.6s |      16 |   249788 |   170352 |     1048    341 |        0 |        0
19.49/19.59	c 19.6s |      16 |   278425 |   189852 |     1048    373 |        0 |        0
20.28/20.34	c 20.3s |      17 |   289659 |   197432 |     1153    386 |        0 |        0
22.28/22.35	c 22.3s |      17 |   315274 |   216432 |     1153    415 |        0 |        0
24.29/24.36	c 24.3s |      17 |   340806 |   234032 |     1153    442 |        0 |        0
26.28/26.37	c 26.4s |      17 |   368353 |   253232 |     1153    472 |        0 |        0
28.28/28.37	c 28.4s |      17 |   396321 |   271832 |     1153    502 |        0 |        0
30.28/30.38	c 30.4s |      17 |   422751 |   289932 |     1153    530 |        0 |        0
31.08/31.10	c 31.1s |      18 |   431902 |   296252 |     1269    540 |        0 |        0
33.09/33.11	c 33.1s |      18 |   458088 |   315452 |     1269    566 |        0 |        0
35.08/35.12	c 35.1s |      18 |   482119 |   333552 |     1269    592 |        0 |        0
37.09/37.12	c 37.1s |      18 |   506347 |   351352 |     1269    617 |        0 |        0
39.09/39.14	c 39.1s |      18 |   528013 |   368252 |     1269    641 |        0 |        0
41.08/41.15	c 41.1s |      18 |   552141 |   386352 |     1269    666 |        0 |        0
43.08/43.15	c 43.1s |      18 |   576884 |   404452 |     1269    691 |        0 |        0
45.09/45.16	c 45.1s |      18 |   602814 |   423452 |     1269    718 |        0 |        0
47.08/47.16	c 47.1s |      18 |   626115 |   440952 |     1269    743 |        0 |        0
47.58/47.61	c 47.6s |      19 |   630711 |   444482 |     1396    747 |        0 |        0
49.59/49.61	c 49.6s |      19 |   652489 |   460782 |     1396    767 |        0 |        0
51.58/51.62	c 51.6s |      19 |   676474 |   478282 |     1396    789 |        0 |        0
53.58/53.63	c 53.6s |      19 |   701255 |   496182 |     1396    812 |        0 |        0
55.58/55.63	c 55.6s |      19 |   725924 |   513882 |     1396    834 |        0 |        0
57.58/57.63	c 57.6s |      19 |   749840 |   531582 |     1396    856 |        0 |        0
59.58/59.64	c 59.6s |      19 |   773616 |   549582 |     1396    879 |        0 |        0
61.59/61.65	c 61.6s |      19 |   796168 |   566882 |     1396    901 |        0 |        0
63.58/63.65	c 63.6s |      19 |   819184 |   584582 |     1396    923 |        0 |        0
65.58/65.66	c 65.6s |      19 |   838842 |   600382 |     1396    943 |        0 |        0
67.58/67.67	c 67.7s |      19 |   860684 |   616682 |     1396    963 |        0 |        0
69.58/69.67	c 69.7s |      19 |   881380 |   632882 |     1396    983 |        0 |        0
71.58/71.68	c 71.7s |      19 |   903829 |   649682 |     1396   1005 |        0 |        0
73.58/73.63	c 73.6s |      20 |   925976 |   666827 |     1536   1026 |        0 |        0
75.58/75.64	c 75.6s |      20 |   948301 |   683927 |     1536   1045 |        0 |        0
77.58/77.64	c 77.6s |      20 |   971020 |   701227 |     1536   1065 |        0 |        0
79.57/79.64	c 79.6s |      20 |   991659 |   717327 |     1536   1084 |        0 |        0
81.57/81.65	c 81.6s |      20 |  1013567 |   733727 |     1536   1103 |        0 |        0
83.58/83.65	c 83.6s |      20 |  1035831 |   750427 |     1536   1122 |        0 |        0
85.57/85.65	c 85.6s |      20 |  1058153 |   767427 |     1536   1142 |        0 |        0
87.57/87.66	c 87.6s |      20 |  1080084 |   784127 |     1536   1162 |        0 |        0
89.57/89.67	c 89.7s |      20 |  1103513 |   801327 |     1536   1181 |        0 |        0
91.57/91.67	c 91.7s |      20 |  1125665 |   817927 |     1536   1201 |        0 |        0
93.58/93.69	c 93.7s |      20 |  1147983 |   835127 |     1536   1221 |        0 |        0
95.57/95.70	c 95.7s |      20 |  1170297 |   852327 |     1536   1240 |        0 |        0
97.67/97.70	c 97.7s |      20 |  1192430 |   869027 |     1536   1260 |        0 |        0
99.67/99.71	c 99.7s |      20 |  1208455 |   882127 |     1536   1275 |        0 |        0
101.67/101.72	c  101s |      20 |  1226444 |   896227 |     1536   1291 |        0 |        0
103.67/103.72	c  103s |      20 |  1246863 |   911427 |     1536   1309 |        0 |        0
105.67/105.72	c  105s |      20 |  1266825 |   926427 |     1536   1327 |        0 |        0
107.67/107.73	c  107s |      20 |  1287861 |   942627 |     1536   1346 |        0 |        0
109.67/109.73	c  109s |      20 |  1308768 |   959027 |     1536   1365 |        0 |        0
111.67/111.75	c  111s |      20 |  1331108 |   976027 |     1536   1384 |        0 |        0
113.67/113.75	c  113s |      20 |  1351889 |   992227 |     1536   1403 |        0 |        0
114.77/114.81	c  114s |      21 |  1362419 |  1000345 |     1690   1412 |        0 |        0
116.77/116.82	c  116s |      21 |  1384531 |  1017245 |     1690   1430 |        0 |        0
118.78/118.82	c  118s |      21 |  1406721 |  1034145 |     1690   1448 |        0 |        0
120.77/120.82	c  120s |      21 |  1428230 |  1050645 |     1690   1465 |        0 |        0
122.77/122.83	c  122s |      21 |  1450994 |  1067945 |     1690   1484 |        0 |        0
124.77/124.83	c  124s |      21 |  1474357 |  1085645 |     1690   1503 |        0 |        0
126.77/126.83	c  126s |      21 |  1497387 |  1103045 |     1690   1521 |        0 |        0
128.78/128.84	c  128s |      21 |  1516821 |  1118445 |     1690   1538 |        0 |        0
130.77/130.84	c  130s |      21 |  1538448 |  1135145 |     1690   1556 |        0 |        0
132.77/132.84	c  132s |      21 |  1558225 |  1150445 |     1690   1572 |        0 |        0
134.77/134.85	c  134s |      21 |  1579721 |  1166545 |     1690   1589 |        0 |        0
136.77/136.86	c  136s |      21 |  1600728 |  1183245 |     1690   1607 |        0 |        0
138.77/138.87	c  138s |      21 |  1622024 |  1199645 |     1690   1625 |        0 |        0
140.77/140.87	c  140s |      21 |  1643743 |  1216045 |     1690   1643 |        0 |        0
142.77/142.87	c  142s |      21 |  1664678 |  1231745 |     1690   1660 |        0 |        0
144.77/144.89	c  144s |      21 |  1686157 |  1248845 |     1690   1678 |        0 |        0
146.87/146.90	c  146s |      21 |  1707550 |  1265345 |     1690   1696 |        0 |        0
148.87/148.90	c  148s |      21 |  1730353 |  1282545 |     1690   1714 |        0 |        0
150.87/150.91	c  150s |      21 |  1752673 |  1299745 |     1690   1733 |        0 |        0
152.87/152.92	c  152s |      21 |  1776429 |  1317245 |     1690   1751 |        0 |        0
154.86/154.92	c  154s |      21 |  1800167 |  1335145 |     1690   1771 |        0 |        0
156.86/156.93	c  156s |      21 |  1821485 |  1351345 |     1690   1788 |        0 |        0
158.86/158.94	c  158s |      21 |  1841974 |  1367445 |     1690   1805 |        0 |        0
160.86/160.94	c  160s |      21 |  1864294 |  1384245 |     1690   1823 |        0 |        0
162.87/162.95	c  162s |      21 |  1885237 |  1400745 |     1690   1841 |        0 |        0
164.86/164.95	c  164s |      21 |  1906635 |  1417045 |     1690   1858 |        0 |        0
166.86/166.95	c  166s |      21 |  1924815 |  1431945 |     1690   1874 |        0 |        0
168.86/168.96	c  168s |      21 |  1944674 |  1447745 |     1690   1891 |        0 |        0
170.86/170.97	c  170s |      21 |  1965652 |  1463845 |     1690   1908 |        0 |        0
172.86/172.97	c  172s |      21 |  1987239 |  1480245 |     1690   1926 |        0 |        0
174.87/174.98	c  174s |      21 |  2009666 |  1496745 |     1860   1943 |        0 |        0
175.36/175.46	c  175s |      22 |  2014807 |  1500622 |     1860   1947 |        0 |        0
177.36/177.47	c  177s |      22 |  2034262 |  1515522 |     1860   1962 |        0 |        0
179.37/179.47	c  179s |      22 |  2053051 |  1530422 |     1860   1976 |        0 |        0
181.35/181.49	c  181s |      22 |  2072053 |  1545222 |     1860   1991 |        0 |        0
183.45/183.50	c  183s |      22 |  2092160 |  1560522 |     1860   2006 |        0 |        0
185.45/185.50	c  185s |      22 |  2113585 |  1576322 |     1860   2021 |        0 |        0
187.45/187.51	c  187s |      22 |  2132730 |  1591122 |     1860   2035 |        0 |        0
189.45/189.52	c  189s |      22 |  2152019 |  1606322 |     1860   2050 |        0 |        0
191.46/191.52	c  191s |      22 |  2170827 |  1621222 |     1860   2065 |        0 |        0
193.45/193.53	c  193s |      22 |  2191057 |  1637022 |     1860   2080 |        0 |        0
195.45/195.54	c  195s |      22 |  2211447 |  1652922 |     1860   2096 |        0 |        0
197.45/197.54	c  197s |      22 |  2228970 |  1667022 |     1860   2109 |        0 |        0
199.45/199.55	c  199s |      22 |  2247395 |  1680822 |     1860   2123 |        0 |        0
201.46/201.56	c  201s |      22 |  2266411 |  1695322 |     1860   2137 |        0 |        0
203.46/203.56	c  203s |      22 |  2287364 |  1710722 |     1860   2152 |        0 |        0
205.46/205.57	c  205s |      22 |  2307824 |  1726122 |     1860   2167 |        0 |        0
207.46/207.58	c  207s |      22 |  2325797 |  1740322 |     1860   2181 |        0 |        0
209.46/209.59	c  209s |      22 |  2346058 |  1755322 |     1860   2196 |        0 |        0
211.45/211.59	c  211s |      22 |  2366265 |  1770622 |     1860   2211 |        0 |        0
213.55/213.60	c  213s |      22 |  2385740 |  1785722 |     1860   2225 |        0 |        0
215.56/215.61	c  215s |      22 |  2404774 |  1800422 |     1860   2240 |        0 |        0
217.55/217.61	c  217s |      22 |  2424199 |  1815722 |     1860   2255 |        0 |        0
219.55/219.62	c  219s |      22 |  2443478 |  1830822 |     1860   2270 |        0 |        0
221.55/221.62	c  221s |      22 |  2462809 |  1845922 |     1860   2284 |        0 |        0
223.55/223.63	c  223s |      22 |  2483891 |  1861622 |     1860   2300 |        0 |        0
225.55/225.64	c  225s |      22 |  2502591 |  1876822 |     1860   2314 |        0 |        0
227.55/227.65	c  227s |      22 |  2522738 |  1892522 |     1860   2330 |        0 |        0
229.55/229.66	c  229s |      22 |  2541912 |  1907722 |     1860   2345 |        0 |        0
231.54/231.66	c  231s |      22 |  2563602 |  1923622 |     1860   2360 |        0 |        0
233.54/233.67	c  233s |      22 |  2581587 |  1938022 |     1860   2374 |        0 |        0
235.54/235.68	c  235s |      22 |  2598745 |  1952022 |     1860   2388 |        0 |        0
237.55/237.69	c  237s |      22 |  2619232 |  1967622 |     1860   2403 |        0 |        0
239.54/239.69	c  239s |      22 |  2638627 |  1982922 |     1860   2418 |        0 |        0
241.64/241.70	c  241s |      22 |  2658134 |  1998122 |     1860   2433 |        0 |        0
243.64/243.70	c  243s |      22 |  2677292 |  2012722 |     1860   2447 |        0 |        0
245.64/245.70	c  245s |      22 |  2697568 |  2027622 |     1860   2461 |        0 |        0
247.64/247.71	c  247s |      22 |  2716739 |  2042322 |     1860   2476 |        0 |        0
249.64/249.71	c  249s |      22 |  2735171 |  2056522 |     1860   2490 |        0 |        0
251.64/251.71	c  251s |      22 |  2754740 |  2071422 |     1860   2504 |        0 |        0
253.64/253.72	c  253s |      22 |  2773638 |  2086222 |     1860   2519 |        0 |        0
255.64/255.72	c  255s |      22 |  2791276 |  2100222 |     1860   2533 |        0 |        0
257.63/257.73	c  257s |      22 |  2810185 |  2114822 |     1860   2547 |        0 |        0
259.64/259.75	c  259s |      22 |  2828871 |  2129622 |     1860   2562 |        0 |        0
261.63/261.76	c  261s |      22 |  2849536 |  2145222 |     1860   2577 |        0 |        0
263.63/263.77	c  263s |      22 |  2866105 |  2158722 |     1860   2590 |        0 |        0
265.63/265.78	c  265s |      22 |  2885582 |  2173922 |     1860   2605 |        0 |        0
267.73/267.80	c  267s |      22 |  2903465 |  2188122 |     1860   2619 |        0 |        0
269.73/269.80	c  269s |      22 |  2922013 |  2202522 |     1860   2633 |        0 |        0
271.73/271.81	c  271s |      22 |  2942646 |  2217822 |     1860   2648 |        0 |        0
273.72/273.82	c  273s |      22 |  2962372 |  2233422 |     1860   2663 |        0 |        0
275.72/275.83	c  275s |      22 |  2980323 |  2247822 |     2047   2676 |        0 |        0
276.03/276.20	c  276s |      23 |  2984528 |  2251038 |     2047   2679 |        0 |        0
278.12/278.20	c  278s |      23 |  3003983 |  2265438 |     2047   2692 |        0 |        0
280.12/280.21	c  280s |      23 |  3023530 |  2280138 |     2047   2705 |        0 |        0
282.13/282.21	c  282s |      23 |  3042901 |  2295338 |     2047   2719 |        0 |        0
284.13/284.22	c  284s |      23 |  3063581 |  2310538 |     2047   2732 |        0 |        0
286.13/286.22	c  286s |      23 |  3083659 |  2325938 |     2047   2746 |        0 |        0
288.13/288.23	c  288s |      23 |  3105077 |  2341638 |     2047   2760 |        0 |        0
290.13/290.23	c  290s |      23 |  3124361 |  2356638 |     2047   2774 |        0 |        0
292.12/292.24	c  292s |      23 |  3142783 |  2371338 |     2047   2787 |        0 |        0
294.12/294.25	c  294s |      23 |  3163229 |  2386938 |     2047   2801 |        0 |        0
296.12/296.25	c  296s |      23 |  3183717 |  2401938 |     2047   2814 |        0 |        0
298.13/298.25	c  298s |      23 |  3203703 |  2417338 |     2047   2828 |        0 |        0
300.12/300.26	c  300s |      23 |  3221153 |  2431638 |     2047   2841 |        0 |        0
302.12/302.27	c  302s |      23 |  3240162 |  2446538 |     2047   2854 |        0 |        0
304.12/304.28	c  304s |      23 |  3259087 |  2461338 |     2047   2868 |        0 |        0
306.12/306.29	c  306s |      23 |  3276878 |  2475638 |     2047   2880 |        0 |        0
308.12/308.29	c  308s |      23 |  3296657 |  2490738 |     2047   2894 |        0 |        0
310.12/310.29	c  310s |      23 |  3317898 |  2506738 |     2047   2908 |        0 |        0
312.22/312.30	c  312s |      23 |  3338337 |  2521438 |     2047   2922 |        0 |        0
314.22/314.30	c  314s |      23 |  3357416 |  2536338 |     2047   2935 |        0 |        0
316.21/316.30	c  316s |      23 |  3377414 |  2551338 |     2047   2948 |        0 |        0
318.21/318.32	c  318s |      23 |  3397723 |  2567138 |     2047   2963 |        0 |        0
320.22/320.32	c  320s |      23 |  3416370 |  2581938 |     2047   2976 |        0 |        0
322.22/322.32	c  322s |      23 |  3436776 |  2597238 |     2047   2990 |        0 |        0
324.21/324.33	c  324s |      23 |  3455924 |  2612138 |     2047   3003 |        0 |        0
326.21/326.34	c  326s |      23 |  3475345 |  2627138 |     2047   3016 |        0 |        0
328.21/328.35	c  328s |      23 |  3493941 |  2641538 |     2047   3029 |        0 |        0
330.21/330.35	c  330s |      23 |  3513727 |  2656738 |     2047   3043 |        0 |        0
332.21/332.36	c  332s |      23 |  3531814 |  2670638 |     2047   3055 |        0 |        0
334.20/334.37	c  334s |      23 |  3549730 |  2684438 |     2047   3068 |        0 |        0
336.20/336.37	c  336s |      23 |  3568651 |  2698738 |     2047   3081 |        0 |        0
338.20/338.38	c  338s |      23 |  3587497 |  2713438 |     2047   3094 |        0 |        0
340.20/340.38	c  340s |      23 |  3607253 |  2728638 |     2047   3107 |        0 |        0
342.20/342.39	c  342s |      23 |  3625694 |  2742738 |     2047   3120 |        0 |        0
344.20/344.40	c  344s |      23 |  3645393 |  2757938 |     2047   3134 |        0 |        0
346.30/346.40	c  346s |      23 |  3664429 |  2772638 |     2047   3147 |        0 |        0
348.29/348.41	c  348s |      23 |  3682995 |  2786438 |     2047   3159 |        0 |        0
350.29/350.42	c  350s |      23 |  3701804 |  2800638 |     2047   3172 |        0 |        0
352.29/352.43	c  352s |      23 |  3719705 |  2814938 |     2047   3185 |        0 |        0
354.29/354.44	c  354s |      23 |  3736782 |  2828438 |     2047   3197 |        0 |        0
356.29/356.44	c  356s |      23 |  3754822 |  2842338 |     2047   3210 |        0 |        0
358.29/358.45	c  358s |      23 |  3773162 |  2856538 |     2047   3222 |        0 |        0
360.30/360.46	c  360s |      23 |  3790188 |  2869438 |     2047   3234 |        0 |        0
362.29/362.47	c  362s |      23 |  3805934 |  2881838 |     2047   3245 |        0 |        0
364.29/364.47	c  364s |      23 |  3823709 |  2895738 |     2047   3258 |        0 |        0
366.30/366.47	c  366s |      23 |  3842780 |  2910238 |     2047   3271 |        0 |        0
368.29/368.48	c  368s |      23 |  3861968 |  2924938 |     2047   3284 |        0 |        0
370.29/370.49	c  370s |      23 |  3878995 |  2938638 |     2047   3296 |        0 |        0
372.28/372.49	c  372s |      23 |  3899237 |  2954038 |     2047   3310 |        0 |        0
374.38/374.50	c  374s |      23 |  3919951 |  2969438 |     2047   3324 |        0 |        0
376.38/376.51	c  376s |      23 |  3938519 |  2983838 |     2047   3337 |        0 |        0
378.39/378.51	c  378s |      23 |  3958298 |  2998838 |     2047   3350 |        0 |        0
380.38/380.52	c  380s |      23 |  3975190 |  3012638 |     2047   3363 |        0 |        0
382.38/382.52	c  382s |      23 |  3994835 |  3027438 |     2047   3376 |        0 |        0
384.38/384.53	c  384s |      23 |  4014466 |  3042438 |     2047   3389 |        0 |        0
386.38/386.53	c  386s |      23 |  4033591 |  3057238 |     2047   3403 |        0 |        0
388.38/388.54	c  388s |      23 |  4051820 |  3071438 |     2047   3416 |        0 |        0
390.38/390.55	c  390s |      23 |  4071645 |  3086338 |     2047   3429 |        0 |        0
392.37/392.56	c  392s |      23 |  4090944 |  3101438 |     2047   3443 |        0 |        0
394.37/394.57	c  394s |      23 |  4109626 |  3115938 |     2047   3456 |        0 |        0
396.37/396.57	c  396s |      23 |  4128420 |  3130838 |     2047   3469 |        0 |        0
398.37/398.57	c  398s |      23 |  4147882 |  3146038 |     2047   3482 |        0 |        0
400.38/400.59	c  400s |      23 |  4168626 |  3161738 |     2047   3497 |        0 |        0
402.37/402.60	c  402s |      23 |  4189869 |  3177738 |     2047   3511 |        0 |        0
404.46/404.60	c  404s |      23 |  4210245 |  3192938 |     2047   3525 |        0 |        0
406.46/406.60	c  406s |      23 |  4230545 |  3208438 |     2047   3539 |        0 |        0
408.46/408.60	c  408s |      23 |  4250577 |  3224038 |     2047   3552 |        0 |        0
410.46/410.61	c  410s |      23 |  4270231 |  3238538 |     2047   3565 |        0 |        0
412.46/412.62	c  412s |      23 |  4290325 |  3253738 |     2047   3579 |        0 |        0
414.46/414.62	c  414s |      23 |  4308723 |  3268138 |     2047   3592 |        0 |        0
416.46/416.63	c  416s |      23 |  4329535 |  3284038 |     2047   3606 |        0 |        0
418.46/418.64	c  418s |      23 |  4350389 |  3299738 |     2047   3621 |        0 |        0
420.46/420.66	c  420s |      23 |  4370926 |  3315238 |     2047   3635 |        0 |        0
422.45/422.67	c  422s |      23 |  4390584 |  3330538 |     2047   3648 |        0 |        0
424.46/424.68	c  424s |      23 |  4409293 |  3345038 |     2047   3661 |        0 |        0
426.45/426.69	c  426s |      23 |  4427713 |  3359038 |     2252   3673 |        0 |        0
428.56/428.70	c  428s |      23 |  4445936 |  3373038 |     2252   3685 |        0 |        0
429.06/429.23	c  429s |      24 |  4450336 |  3376662 |     2252   3687 |        0 |        0
431.06/431.25	c  431s |      24 |  4470584 |  3391962 |     2252   3700 |        0 |        0
433.05/433.26	c  433s |      24 |  4488465 |  3405962 |     2252   3711 |        0 |        0
435.05/435.26	c  435s |      24 |  4508025 |  3420262 |     2252   3723 |        0 |        0
437.05/437.27	c  437s |      24 |  4526741 |  3434862 |     2252   3735 |        0 |        0
439.05/439.28	c  439s |      24 |  4544490 |  3448862 |     2252   3747 |        0 |        0
441.05/441.28	c  441s |      24 |  4564137 |  3463262 |     2252   3758 |        0 |        0
443.04/443.29	c  443s |      24 |  4581886 |  3476362 |     2252   3769 |        0 |        0
445.04/445.29	c  445s |      24 |  4601542 |  3490662 |     2252   3781 |        0 |        0
447.14/447.31	c  447s |      24 |  4620800 |  3505162 |     2252   3793 |        0 |        0
449.14/449.31	c  449s |      24 |  4639199 |  3519262 |     2252   3804 |        0 |        0
451.14/451.32	c  451s |      24 |  4656955 |  3532962 |     2252   3815 |        0 |        0
453.15/453.34	c  453s |      24 |  4674977 |  3546662 |     2252   3827 |        0 |        0
455.14/455.34	c  455s |      24 |  4691158 |  3559562 |     2252   3837 |        0 |        0
457.14/457.34	c  457s |      24 |  4707112 |  3572262 |     2252   3848 |        0 |        0
459.14/459.35	c  459s |      24 |  4724450 |  3585762 |     2252   3859 |        0 |        0
461.13/461.36	c  461s |      24 |  4743097 |  3599862 |     2252   3870 |        0 |        0
463.13/463.36	c  463s |      24 |  4760267 |  3613062 |     2252   3881 |        0 |        0
465.14/465.36	c  465s |      24 |  4779094 |  3626062 |     2252   3892 |        0 |        0
467.13/467.38	c  467s |      24 |  4798196 |  3640462 |     2252   3904 |        0 |        0
469.13/469.38	c  469s |      24 |  4816777 |  3654662 |     2252   3915 |        0 |        0
471.13/471.39	c  471s |      24 |  4835079 |  3668462 |     2252   3927 |        0 |        0
473.23/473.40	c  473s |      24 |  4854873 |  3682362 |     2252   3938 |        0 |        0
475.22/475.41	c  475s |      24 |  4874388 |  3697162 |     2252   3950 |        0 |        0
477.23/477.42	c  477s |      24 |  4894169 |  3711962 |     2252   3962 |        0 |        0
479.22/479.43	c  479s |      24 |  4913660 |  3726562 |     2252   3974 |        0 |        0
481.22/481.43	c  481s |      24 |  4931332 |  3739962 |     2252   3985 |        0 |        0
483.22/483.44	c  483s |      24 |  4948630 |  3753362 |     2252   3996 |        0 |        0
485.22/485.45	c  485s |      24 |  4965960 |  3766762 |     2252   4007 |        0 |        0
487.22/487.45	c  487s |      24 |  4982773 |  3779762 |     2252   4018 |        0 |        0
489.22/489.46	c  489s |      24 |  5001055 |  3793262 |     2252   4029 |        0 |        0
491.21/491.47	c  491s |      24 |  5018424 |  3806262 |     2252   4039 |        0 |        0
493.21/493.48	c  493s |      24 |  5036640 |  3819462 |     2252   4050 |        0 |        0
495.22/495.49	c  495s |      24 |  5052950 |  3831962 |     2252   4060 |        0 |        0
497.22/497.50	c  497s |      24 |  5072405 |  3846262 |     2252   4072 |        0 |        0
499.33/499.51	c  499s |      24 |  5091413 |  3860362 |     2252   4084 |        0 |        0
501.31/501.51	c  501s |      24 |  5109012 |  3873562 |     2252   4094 |        0 |        0
503.31/503.53	c  503s |      24 |  5128075 |  3888062 |     2252   4106 |        0 |        0
505.31/505.54	c  505s |      24 |  5147699 |  3902462 |     2252   4118 |        0 |        0
507.31/507.55	c  507s |      24 |  5166884 |  3916662 |     2252   4130 |        0 |        0
509.31/509.55	c  509s |      24 |  5184659 |  3930562 |     2252   4141 |        0 |        0
511.31/511.55	c  511s |      24 |  5201368 |  3943862 |     2252   4152 |        0 |        0
513.31/513.56	c  513s |      24 |  5219737 |  3957362 |     2252   4163 |        0 |        0
515.31/515.57	c  515s |      24 |  5239010 |  3971762 |     2252   4175 |        0 |        0
517.31/517.58	c  517s |      24 |  5258977 |  3986962 |     2252   4187 |        0 |        0
519.30/519.59	c  519s |      24 |  5277160 |  4001262 |     2252   4199 |        0 |        0
521.40/521.60	c  521s |      24 |  5295219 |  4015362 |     2252   4210 |        0 |        0
523.41/523.61	c  523s |      24 |  5312836 |  4029462 |     2252   4222 |        0 |        0
525.40/525.61	c  525s |      24 |  5331110 |  4043562 |     2252   4233 |        0 |        0
527.40/527.62	c  527s |      24 |  5350007 |  4058262 |     2252   4245 |        0 |        0
529.40/529.62	c  529s |      24 |  5369967 |  4073062 |     2252   4258 |        0 |        0
531.39/531.62	c  531s |      24 |  5387434 |  4086962 |     2252   4269 |        0 |        0
533.40/533.63	c  533s |      24 |  5404725 |  4100362 |     2252   4280 |        0 |        0
535.39/535.64	c  535s |      24 |  5421905 |  4113562 |     2252   4291 |        0 |        0
537.39/537.65	c  537s |      24 |  5440700 |  4127262 |     2252   4302 |        0 |        0
539.39/539.65	c  539s |      24 |  5460358 |  4142062 |     2252   4314 |        0 |        0
541.38/541.65	c  541s |      24 |  5480120 |  4156362 |     2252   4326 |        0 |        0
543.38/543.66	c  543s |      24 |  5499347 |  4170662 |     2252   4337 |        0 |        0
545.39/545.67	c  545s |      24 |  5518464 |  4185062 |     2252   4349 |        0 |        0
547.38/547.69	c  547s |      24 |  5537380 |  4199362 |     2252   4361 |        0 |        0
549.38/549.69	c  549s |      24 |  5555785 |  4213462 |     2252   4373 |        0 |        0
551.48/551.71	c  551s |      24 |  5576269 |  4228262 |     2252   4385 |        0 |        0
553.48/553.72	c  553s |      24 |  5595600 |  4242862 |     2252   4397 |        0 |        0
555.48/555.72	c  555s |      24 |  5613881 |  4256962 |     2252   4408 |        0 |        0
557.48/557.73	c  557s |      24 |  5633944 |  4271962 |     2252   4421 |        0 |        0
559.48/559.74	c  559s |      24 |  5654733 |  4287262 |     2252   4433 |        0 |        0
561.47/561.75	c  561s |      24 |  5672181 |  4300362 |     2252   4444 |        0 |        0
563.47/563.76	c  563s |      24 |  5691387 |  4315062 |     2252   4456 |        0 |        0
565.47/565.76	c  565s |      24 |  5711077 |  4329262 |     2252   4468 |        0 |        0
567.48/567.77	c  567s |      24 |  5728670 |  4343262 |     2252   4479 |        0 |        0
569.47/569.78	c  569s |      24 |  5748465 |  4357562 |     2252   4491 |        0 |        0
571.47/571.78	c  571s |      24 |  5766513 |  4371762 |     2252   4503 |        0 |        0
573.46/573.79	c  573s |      24 |  5783902 |  4384862 |     2252   4513 |        0 |        0
575.46/575.79	c  575s |      24 |  5803097 |  4398962 |     2252   4525 |        0 |        0
577.56/577.80	c  577s |      24 |  5820704 |  4412462 |     2252   4536 |        0 |        0
579.57/579.81	c  579s |      24 |  5837500 |  4425862 |     2252   4547 |        0 |        0
581.56/581.82	c  581s |      24 |  5853178 |  4438362 |     2252   4558 |        0 |        0
583.56/583.82	c  583s |      24 |  5870423 |  4451862 |     2252   4569 |        0 |        0
585.57/585.83	c  585s |      24 |  5889201 |  4466062 |     2252   4580 |        0 |        0
587.57/587.83	c  587s |      24 |  5907094 |  4479762 |     2252   4592 |        0 |        0
589.56/589.84	c  589s |      24 |  5924788 |  4493562 |     2252   4603 |        0 |        0
591.57/591.85	c  591s |      24 |  5944481 |  4508062 |     2252   4615 |        0 |        0
593.56/593.85	c  593s |      24 |  5963470 |  4522562 |     2252   4627 |        0 |        0
595.56/595.87	c  595s |      24 |  5981832 |  4536862 |     2252   4639 |        0 |        0
597.56/597.88	c  597s |      24 |  5999037 |  4550162 |     2252   4649 |        0 |        0
599.56/599.88	c  599s |      24 |  6017104 |  4563762 |     2252   4661 |        0 |        0
601.56/601.89	c  601s |      24 |  6034929 |  4577762 |     2252   4672 |        0 |        0
603.55/603.89	c  603s |      24 |  6054101 |  4592262 |     2252   4684 |        0 |        0
605.55/605.90	c  605s |      24 |  6072550 |  4606462 |     2252   4695 |        0 |        0
607.65/607.91	c  607s |      24 |  6093114 |  4621362 |     2252   4708 |        0 |        0
609.65/609.92	c  609s |      24 |  6113359 |  4636362 |     2252   4720 |        0 |        0
611.65/611.93	c  611s |      24 |  6134242 |  4651762 |     2252   4732 |        0 |        0
613.65/613.94	c  613s |      24 |  6153819 |  4666162 |     2252   4744 |        0 |        0
615.65/615.95	c  615s |      24 |  6172503 |  4680562 |     2252   4756 |        0 |        0
617.64/617.95	c  617s |      24 |  6192319 |  4695462 |     2252   4768 |        0 |        0
619.64/619.95	c  619s |      24 |  6211695 |  4710362 |     2252   4780 |        0 |        0
621.64/621.96	c  621s |      24 |  6230998 |  4725162 |     2252   4792 |        0 |        0
623.64/623.97	c  623s |      24 |  6250019 |  4739762 |     2252   4804 |        0 |        0
625.64/625.98	c  625s |      24 |  6267630 |  4753662 |     2252   4815 |        0 |        0
627.64/627.98	c  627s |      24 |  6285252 |  4767462 |     2252   4826 |        0 |        0
629.64/629.98	c  629s |      24 |  6303529 |  4781462 |     2252   4838 |        0 |        0
631.63/631.99	c  631s |      24 |  6323280 |  4795562 |     2252   4849 |        0 |        0
633.73/634.00	c  633s |      24 |  6342554 |  4809762 |     2252   4860 |        0 |        0
635.73/636.01	c  635s |      24 |  6362048 |  4824662 |     2252   4873 |        0 |        0
637.74/638.01	c  637s |      24 |  6382571 |  4839962 |     2252   4885 |        0 |        0
639.73/640.01	c  639s |      24 |  6402019 |  4854862 |     2252   4897 |        0 |        0
641.73/642.02	c  642s |      24 |  6421911 |  4870162 |     2252   4910 |        0 |        0
643.73/644.03	c  644s |      24 |  6440603 |  4884662 |     2252   4922 |        0 |        0
645.73/646.03	c  646s |      24 |  6461411 |  4899862 |     2252   4934 |        0 |        0
647.74/648.05	c  648s |      24 |  6481883 |  4914862 |     2252   4947 |        0 |        0
649.73/650.05	c  650s |      24 |  6500141 |  4928962 |     2252   4958 |        0 |        0
651.73/652.07	c  652s |      24 |  6519388 |  4943562 |     2252   4970 |        0 |        0
653.73/654.08	c  654s |      24 |  6538486 |  4957762 |     2252   4982 |        0 |        0
655.73/656.09	c  656s |      24 |  6557257 |  4971962 |     2252   4993 |        0 |        0
657.73/658.09	c  658s |      24 |  6576927 |  4986862 |     2252   5006 |        0 |        0
659.73/660.10	c  660s |      24 |  6596860 |  5002262 |     2252   5018 |        0 |        0
661.82/662.10	c  662s |      24 |  6617236 |  5016862 |     2252   5030 |        0 |        0
663.82/664.12	c  664s |      24 |  6637817 |  5032262 |     2478   5042 |        0 |        0
665.82/666.13	c  666s |      24 |  6656447 |  5046162 |     2478   5053 |        0 |        0
667.82/668.14	c  668s |      24 |  6674217 |  5059662 |     2478   5063 |        0 |        0
668.72/669.01	c  668s |      25 |  6681585 |  5065098 |     2478   5067 |        0 |        0
670.72/671.02	c  670s |      25 |  6702143 |  5080198 |     2478   5078 |        0 |        0
672.71/673.03	c  673s |      25 |  6720267 |  5094198 |     2478   5089 |        0 |        0
674.71/675.04	c  675s |      25 |  6738258 |  5108198 |     2478   5099 |        0 |        0
676.71/677.05	c  677s |      25 |  6757414 |  5122898 |     2478   5111 |        0 |        0
678.71/679.06	c  679s |      25 |  6778647 |  5138898 |     2478   5123 |        0 |        0
680.72/681.07	c  681s |      25 |  6799411 |  5154698 |     2478   5134 |        0 |        0
682.71/683.07	c  683s |      25 |  6817676 |  5169098 |     2478   5145 |        0 |        0
684.71/685.08	c  685s |      25 |  6836402 |  5183698 |     2478   5156 |        0 |        0
686.71/687.08	c  687s |      25 |  6853261 |  5196898 |     2478   5166 |        0 |        0
688.71/689.09	c  689s |      25 |  6871190 |  5210798 |     2478   5177 |        0 |        0
690.71/691.09	c  691s |      25 |  6892478 |  5226998 |     2478   5189 |        0 |        0
692.71/693.10	c  693s |      25 |  6912040 |  5242098 |     2478   5200 |        0 |        0
694.81/695.12	c  695s |      25 |  6931799 |  5257298 |     2478   5212 |        0 |        0
696.81/697.13	c  697s |      25 |  6949241 |  5271098 |     2478   5222 |        0 |        0
698.81/699.13	c  699s |      25 |  6968028 |  5285198 |     2478   5232 |        0 |        0
700.81/701.15	c  701s |      25 |  6987136 |  5299698 |     2478   5243 |        0 |        0
702.80/703.16	c  703s |      25 |  7003913 |  5313198 |     2478   5254 |        0 |        0
704.81/705.16	c  705s |      25 |  7024017 |  5328198 |     2478   5265 |        0 |        0
706.80/707.17	c  707s |      25 |  7042634 |  5342198 |     2478   5275 |        0 |        0
708.80/709.18	c  709s |      25 |  7063351 |  5357898 |     2478   5287 |        0 |        0
710.80/711.19	c  711s |      25 |  7082951 |  5372698 |     2478   5298 |        0 |        0
712.89/713.20	c  713s |      25 |  7102864 |  5387498 |     2478   5309 |        0 |        0
714.89/715.21	c  715s |      25 |  7124230 |  5403098 |     2478   5321 |        0 |        0
716.90/717.22	c  717s |      25 |  7143626 |  5418198 |     2478   5332 |        0 |        0
718.89/719.22	c  719s |      25 |  7163234 |  5433098 |     2478   5344 |        0 |        0
720.89/721.23	c  721s |      25 |  7183982 |  5448698 |     2478   5355 |        0 |        0
722.89/723.24	c  723s |      25 |  7203941 |  5463598 |     2478   5367 |        0 |        0
724.88/725.25	c  725s |      25 |  7220778 |  5476698 |     2478   5376 |        0 |        0
726.89/727.25	c  727s |      25 |  7239894 |  5490898 |     2478   5387 |        0 |        0
728.88/729.26	c  729s |      25 |  7259115 |  5505398 |     2478   5398 |        0 |        0
730.88/731.26	c  731s |      25 |  7278494 |  5519898 |     2478   5409 |        0 |        0
732.88/733.27	c  733s |      25 |  7296351 |  5533498 |     2478   5419 |        0 |        0
734.88/735.28	c  735s |      25 |  7312820 |  5546698 |     2478   5429 |        0 |        0
736.88/737.28	c  737s |      25 |  7331712 |  5560798 |     2478   5440 |        0 |        0
738.89/739.28	c  739s |      25 |  7352075 |  5575698 |     2478   5451 |        0 |        0
740.89/741.29	c  741s |      25 |  7369190 |  5588998 |     2478   5461 |        0 |        0
742.99/743.30	c  743s |      25 |  7384655 |  5601598 |     2478   5471 |        0 |        0
744.99/745.30	c  745s |      25 |  7403677 |  5616598 |     2478   5482 |        0 |        0
746.98/747.31	c  747s |      25 |  7424299 |  5632098 |     2478   5494 |        0 |        0
748.99/749.32	c  749s |      25 |  7444185 |  5646998 |     2478   5505 |        0 |        0
750.99/751.34	c  751s |      25 |  7465677 |  5662798 |     2478   5517 |        0 |        0
752.98/753.34	c  753s |      25 |  7483673 |  5676798 |     2478   5527 |        0 |        0
754.98/755.34	c  755s |      25 |  7503258 |  5691198 |     2478   5538 |        0 |        0
756.98/757.34	c  757s |      25 |  7523211 |  5705898 |     2478   5549 |        0 |        0
758.98/759.35	c  759s |      25 |  7542166 |  5720298 |     2478   5560 |        0 |        0
760.98/761.35	c  761s |      25 |  7563318 |  5736398 |     2478   5572 |        0 |        0
762.97/763.36	c  763s |      25 |  7583002 |  5751398 |     2478   5583 |        0 |        0
764.97/765.37	c  765s |      25 |  7602585 |  5766598 |     2478   5595 |        0 |        0
766.97/767.38	c  767s |      25 |  7621763 |  5780898 |     2478   5606 |        0 |        0
768.97/769.39	c  769s |      25 |  7640932 |  5795098 |     2478   5616 |        0 |        0
770.97/771.39	c  771s |      25 |  7660345 |  5809598 |     2478   5627 |        0 |        0
772.97/773.39	c  773s |      25 |  7678671 |  5823898 |     2478   5638 |        0 |        0
775.06/775.41	c  775s |      25 |  7698914 |  5838698 |     2478   5649 |        0 |        0
777.07/777.42	c  777s |      25 |  7719223 |  5853998 |     2478   5661 |        0 |        0
779.07/779.43	c  779s |      25 |  7740237 |  5869198 |     2478   5672 |        0 |        0
781.07/781.44	c  781s |      25 |  7757999 |  5883398 |     2478   5683 |        0 |        0
783.07/783.45	c  783s |      25 |  7777162 |  5897598 |     2478   5693 |        0 |        0
785.07/785.46	c  785s |      25 |  7796378 |  5912198 |     2478   5704 |        0 |        0
787.07/787.46	c  787s |      25 |  7815546 |  5926698 |     2478   5715 |        0 |        0
789.06/789.47	c  789s |      25 |  7831163 |  5939098 |     2478   5725 |        0 |        0
791.06/791.48	c  791s |      25 |  7849463 |  5952998 |     2478   5735 |        0 |        0
793.06/793.48	c  793s |      25 |  7867735 |  5967298 |     2478   5746 |        0 |        0
795.07/795.50	c  795s |      25 |  7886692 |  5981598 |     2478   5757 |        0 |        0
797.16/797.52	c  797s |      25 |  7905931 |  5996098 |     2478   5768 |        0 |        0
799.16/799.52	c  799s |      25 |  7923242 |  6009498 |     2478   5778 |        0 |        0
801.15/801.53	c  801s |      25 |  7942648 |  6023698 |     2478   5788 |        0 |        0
803.15/803.54	c  803s |      25 |  7961366 |  6037898 |     2478   5799 |        0 |        0
805.15/805.55	c  805s |      25 |  7979988 |  6052098 |     2478   5810 |        0 |        0
807.16/807.56	c  807s |      25 |  7998710 |  6066598 |     2478   5820 |        0 |        0
809.15/809.57	c  809s |      25 |  8016885 |  6080098 |     2478   5831 |        0 |        0
811.15/811.58	c  811s |      25 |  8037151 |  6095098 |     2478   5842 |        0 |        0
813.15/813.59	c  813s |      25 |  8057608 |  6109998 |     2478   5853 |        0 |        0
815.25/815.60	c  815s |      25 |  8076238 |  6124298 |     2478   5864 |        0 |        0
817.25/817.61	c  817s |      25 |  8094700 |  6138398 |     2478   5874 |        0 |        0
819.25/819.62	c  819s |      25 |  8111599 |  6151698 |     2478   5884 |        0 |        0
821.25/821.62	c  821s |      25 |  8129578 |  6165498 |     2478   5895 |        0 |        0
823.25/823.63	c  823s |      25 |  8146939 |  6179198 |     2478   5905 |        0 |        0
825.25/825.63	c  825s |      25 |  8162860 |  6192098 |     2478   5915 |        0 |        0
827.24/827.63	c  827s |      25 |  8181409 |  6206098 |     2478   5925 |        0 |        0
829.24/829.65	c  829s |      25 |  8198370 |  6218798 |     2478   5935 |        0 |        0
831.25/831.65	c  831s |      25 |  8215767 |  6232098 |     2478   5945 |        0 |        0
833.24/833.65	c  833s |      25 |  8233624 |  6245998 |     2478   5955 |        0 |        0
835.24/835.66	c  835s |      25 |  8250547 |  6259698 |     2478   5966 |        0 |        0
837.24/837.67	c  837s |      25 |  8268568 |  6273798 |     2478   5976 |        0 |        0
839.24/839.67	c  839s |      25 |  8288294 |  6288798 |     2478   5988 |        0 |        0
841.25/841.68	c  841s |      25 |  8309196 |  6303898 |     2478   5999 |        0 |        0
843.24/843.68	c  843s |      25 |  8327058 |  6317898 |     2478   6010 |        0 |        0
845.34/845.70	c  845s |      25 |  8345934 |  6332398 |     2478   6021 |        0 |        0
847.34/847.70	c  847s |      25 |  8365297 |  6347198 |     2478   6032 |        0 |        0
849.35/849.71	c  849s |      25 |  8384229 |  6361698 |     2478   6043 |        0 |        0
851.35/851.72	c  851s |      25 |  8402562 |  6376098 |     2478   6053 |        0 |        0
853.35/853.72	c  853s |      25 |  8422768 |  6391198 |     2478   6065 |        0 |        0
855.35/855.73	c  855s |      25 |  8445368 |  6407598 |     2478   6077 |        0 |        0
857.35/857.73	c  857s |      25 |  8464508 |  6422098 |     2478   6088 |        0 |        0
859.34/859.73	c  859s |      25 |  8485135 |  6437498 |     2478   6100 |        0 |        0
861.34/861.74	c  861s |      25 |  8506034 |  6452998 |     2478   6111 |        0 |        0
863.34/863.74	c  863s |      25 |  8526646 |  6468498 |     2478   6123 |        0 |        0
865.35/865.75	c  865s |      25 |  8546510 |  6483598 |     2478   6135 |        0 |        0
867.34/867.75	c  867s |      25 |  8565306 |  6497898 |     2478   6145 |        0 |        0
869.34/869.77	c  869s |      25 |  8583315 |  6511498 |     2478   6156 |        0 |        0
871.34/871.78	c  871s |      25 |  8601342 |  6525198 |     2478   6166 |        0 |        0
873.34/873.79	c  873s |      25 |  8619108 |  6539098 |     2478   6176 |        0 |        0
875.44/875.80	c  875s |      25 |  8636573 |  6552698 |     2478   6186 |        0 |        0
877.44/877.81	c  877s |      25 |  8650198 |  6564498 |     2478   6195 |        0 |        0
879.44/879.82	c  879s |      25 |  8667910 |  6578198 |     2478   6206 |        0 |        0
881.44/881.83	c  881s |      25 |  8685114 |  6591898 |     2478   6216 |        0 |        0
883.44/883.83	c  883s |      25 |  8702720 |  6605698 |     2478   6226 |        0 |        0
885.44/885.84	c  885s |      25 |  8719945 |  6619598 |     2478   6237 |        0 |        0
887.44/887.86	c  887s |      25 |  8736410 |  6632598 |     2478   6247 |        0 |        0
889.44/889.87	c  889s |      25 |  8752505 |  6645498 |     2478   6256 |        0 |        0
891.43/891.87	c  891s |      25 |  8771869 |  6660698 |     2478   6268 |        0 |        0
893.43/893.89	c  893s |      25 |  8787713 |  6673898 |     2478   6278 |        0 |        0
895.44/895.89	c  895s |      25 |  8806248 |  6687998 |     2478   6288 |        0 |        0
897.54/897.90	c  897s |      25 |  8825665 |  6703198 |     2478   6300 |        0 |        0
899.55/899.91	c  899s |      25 |  8844916 |  6717598 |     2478   6311 |        0 |        0
901.54/901.92	c  901s |      25 |  8864278 |  6732498 |     2478   6322 |        0 |        0
903.54/903.92	c  903s |      25 |  8884992 |  6748298 |     2478   6334 |        0 |        0
905.54/905.94	c  905s |      25 |  8903719 |  6762798 |     2478   6344 |        0 |        0
907.54/907.95	c  907s |      25 |  8919865 |  6775898 |     2478   6354 |        0 |        0
909.54/909.95	c  909s |      25 |  8938129 |  6789798 |     2478   6365 |        0 |        0
911.54/911.96	c  911s |      25 |  8958052 |  6804598 |     2478   6376 |        0 |        0
913.54/913.96	c  913s |      25 |  8976020 |  6818298 |     2478   6386 |        0 |        0
915.54/915.96	c  915s |      25 |  8996243 |  6832998 |     2478   6397 |        0 |        0
917.54/917.98	c  917s |      25 |  9015797 |  6848098 |     2478   6409 |        0 |        0
919.53/919.99	c  919s |      25 |  9035615 |  6863598 |     2478   6420 |        0 |        0
921.54/921.99	c  921s |      25 |  9054554 |  6878298 |     2478   6432 |        0 |        0
923.53/924.00	c  923s |      25 |  9071919 |  6891998 |     2478   6442 |        0 |        0
925.63/926.01	c  925s |      25 |  9090020 |  6905998 |     2478   6452 |        0 |        0
927.63/928.02	c  927s |      25 |  9108762 |  6920198 |     2478   6463 |        0 |        0
929.63/930.03	c  930s |      25 |  9128967 |  6935398 |     2478   6475 |        0 |        0
931.63/932.05	c  932s |      25 |  9147538 |  6949598 |     2478   6485 |        0 |        0
933.64/934.06	c  934s |      25 |  9167266 |  6964298 |     2478   6496 |        0 |        0
935.63/936.07	c  936s |      25 |  9185067 |  6978298 |     2478   6507 |        0 |        0
937.63/938.07	c  938s |      25 |  9204422 |  6993498 |     2478   6518 |        0 |        0
939.63/940.08	c  940s |      25 |  9223003 |  7007898 |     2478   6529 |        0 |        0
941.63/942.09	c  942s |      25 |  9242219 |  7022298 |     2478   6540 |        0 |        0
943.63/944.10	c  944s |      25 |  9260729 |  7037198 |     2478   6551 |        0 |        0
945.74/946.11	c  946s |      25 |  9280505 |  7052198 |     2478   6563 |        0 |        0
947.73/948.11	c  948s |      25 |  9300763 |  7067498 |     2478   6574 |        0 |        0
949.72/950.12	c  950s |      25 |  9320039 |  7082198 |     2478   6585 |        0 |        0
951.73/952.13	c  952s |      25 |  9335473 |  7094798 |     2478   6595 |        0 |        0
953.73/954.13	c  954s |      25 |  9352895 |  7108298 |     2478   6605 |        0 |        0
955.73/956.14	c  956s |      25 |  9370528 |  7122198 |     2478   6615 |        0 |        0
957.74/958.15	c  958s |      25 |  9387967 |  7136198 |     2478   6626 |        0 |        0
959.73/960.16	c  960s |      25 |  9405193 |  7149998 |     2478   6636 |        0 |        0
961.73/962.17	c  962s |      25 |  9423243 |  7164198 |     2478   6647 |        0 |        0
963.73/964.17	c  964s |      25 |  9441988 |  7178598 |     2478   6658 |        0 |        0
965.73/966.18	c  966s |      25 |  9460999 |  7193498 |     2478   6669 |        0 |        0
967.73/968.18	c  968s |      25 |  9480577 |  7208798 |     2478   6681 |        0 |        0
969.73/970.18	c  970s |      25 |  9499030 |  7223198 |     2478   6691 |        0 |        0
971.73/972.19	c  972s |      25 |  9517828 |  7237898 |     2478   6702 |        0 |        0
973.73/974.20	c  974s |      25 |  9536709 |  7252998 |     2478   6714 |        0 |        0
975.82/976.21	c  976s |      25 |  9554920 |  7267298 |     2478   6725 |        0 |        0
977.82/978.21	c  978s |      25 |  9573804 |  7281798 |     2478   6735 |        0 |        0
979.83/980.22	c  980s |      25 |  9593540 |  7296698 |     2478   6747 |        0 |        0
981.82/982.23	c  982s |      25 |  9609961 |  7310298 |     2478   6757 |        0 |        0
983.82/984.23	c  984s |      25 |  9626774 |  7323798 |     2478   6767 |        0 |        0
985.82/986.25	c  986s |      25 |  9644656 |  7337798 |     2478   6778 |        0 |        0
987.82/988.25	c  988s |      25 |  9663530 |  7352098 |     2478   6788 |        0 |        0
989.82/990.26	c  990s |      25 |  9682598 |  7366498 |     2478   6799 |        0 |        0
991.82/992.27	c  992s |      25 |  9702151 |  7381598 |     2478   6811 |        0 |        0
993.83/994.28	c  994s |      25 |  9721533 |  7396498 |     2478   6822 |        0 |        0
995.83/996.28	c  996s |      25 |  9742706 |  7412498 |     2478   6834 |        0 |        0
997.82/998.29	c  998s |      25 |  9763419 |  7428198 |     2478   6846 |        0 |        0
999.92/1000.30	c 1000s |      25 |  9783266 |  7443098 |     2478   6857 |        0 |        0
1001.92/1002.30	c 1002s |      25 |  9800454 |  7457198 |     2478   6867 |        0 |        0
1003.93/1004.31	c 1004s |      25 |  9820537 |  7472298 |     2478   6879 |        0 |        0
1005.92/1006.32	c 1006s |      25 |  9839163 |  7486798 |     2478   6890 |        0 |        0
1007.92/1008.33	c 1008s |      25 |  9857347 |  7500998 |     2478   6900 |        0 |        0
1009.92/1010.35	c 1010s |      25 |  9874829 |  7514698 |     2478   6911 |        0 |        0
1011.92/1012.36	c 1012s |      25 |  9892823 |  7528798 |     2478   6921 |        0 |        0
1013.93/1014.37	c 1014s |      25 |  9912351 |  7543798 |     2726   6932 |        0 |        0
1015.92/1016.37	c 1016s |      25 |  9930643 |  7557998 |     2726   6942 |        0 |        0
1017.92/1018.38	c 1018s |      25 |  9947616 |  7571398 |     2726   6951 |        0 |        0
1019.92/1020.38	c 1020s |      25 |  9967445 |  7586198 |     2726   6962 |        0 |        0
1021.62/1022.01	c 1021s |      26 |  9983087 |  7597752 |     2726   6969 |        0 |        0
1023.62/1024.01	c 1023s |      26 | 10002076 |  7612252 |     2726   6979 |        0 |        0
1025.61/1026.02	c 1026s |      26 | 10020642 |  7626652 |     2726   6989 |        0 |        0
1027.61/1028.02	c 1028s |      26 | 10038072 |  7640752 |     2726   6999 |        0 |        0
1029.61/1030.04	c 1030s |      26 | 10055702 |  7654152 |     2726   7008 |        0 |        0
1031.61/1032.05	c 1032s |      26 | 10074544 |  7668452 |     2726   7018 |        0 |        0
1033.62/1034.06	c 1034s |      26 | 10092053 |  7682152 |     2726   7027 |        0 |        0
1035.61/1036.07	c 1036s |      26 | 10106898 |  7694152 |     2726   7036 |        0 |        0
1037.61/1038.07	c 1038s |      26 | 10125119 |  7708252 |     2726   7045 |        0 |        0
1039.61/1040.09	c 1040s |      26 | 10143852 |  7722752 |     2726   7055 |        0 |        0
1041.61/1042.09	c 1042s |      26 | 10160574 |  7735952 |     2726   7064 |        0 |        0
1043.62/1044.09	c 1044s |      26 | 10177170 |  7749052 |     2726   7073 |        0 |        0
1045.62/1046.10	c 1046s |      26 | 10193706 |  7762452 |     2726   7082 |        0 |        0
1047.72/1048.11	c 1048s |      26 | 10209953 |  7775552 |     2726   7091 |        0 |        0
1049.72/1050.11	c 1050s |      26 | 10226830 |  7788852 |     2726   7100 |        0 |        0
1051.72/1052.12	c 1052s |      26 | 10243057 |  7801752 |     2726   7109 |        0 |        0
1053.72/1054.13	c 1054s |      26 | 10261136 |  7815652 |     2726   7119 |        0 |        0
1055.72/1056.14	c 1056s |      26 | 10278790 |  7828952 |     2726   7128 |        0 |        0
1057.72/1058.14	c 1058s |      26 | 10296637 |  7842452 |     2726   7137 |        0 |        0
1059.72/1060.14	c 1060s |      26 | 10313895 |  7856152 |     2726   7146 |        0 |        0
1061.71/1062.15	c 1062s |      26 | 10331410 |  7869852 |     2726   7156 |        0 |        0
1063.71/1064.16	c 1064s |      26 | 10348162 |  7882952 |     2726   7165 |        0 |        0
1065.72/1066.16	c 1066s |      26 | 10364033 |  7895152 |     2726   7173 |        0 |        0
1067.72/1068.17	c 1068s |      26 | 10381461 |  7908452 |     2726   7182 |        0 |        0
1069.71/1070.18	c 1070s |      26 | 10395575 |  7919852 |     2726   7190 |        0 |        0
1071.71/1072.18	c 1072s |      26 | 10411745 |  7932452 |     2726   7199 |        0 |        0
1073.71/1074.18	c 1074s |      26 | 10426765 |  7944152 |     2726   7207 |        0 |        0
1075.81/1076.20	c 1076s |      26 | 10444745 |  7958052 |     2726   7216 |        0 |        0
1077.81/1078.20	c 1078s |      26 | 10461752 |  7971352 |     2726   7226 |        0 |        0
1079.81/1080.21	c 1080s |      26 | 10478172 |  7984452 |     2726   7235 |        0 |        0
1081.81/1082.22	c 1082s |      26 | 10495374 |  7998152 |     2726   7244 |        0 |        0
1083.81/1084.23	c 1084s |      26 | 10513114 |  8011652 |     2726   7253 |        0 |        0
1085.81/1086.24	c 1086s |      26 | 10529907 |  8024652 |     2726   7262 |        0 |        0
1087.81/1088.25	c 1088s |      26 | 10547107 |  8037852 |     2726   7271 |        0 |        0
1089.81/1090.25	c 1090s |      26 | 10562570 |  8050252 |     2726   7280 |        0 |        0
1091.80/1092.25	c 1092s |      26 | 10578543 |  8062752 |     2726   7288 |        0 |        0
1093.80/1094.28	c 1094s |      26 | 10595510 |  8076152 |     2726   7298 |        0 |        0
1095.80/1096.29	c 1096s |      26 | 10611452 |  8088852 |     2726   7306 |        0 |        0
1097.90/1098.30	c 1098s |      26 | 10629302 |  8102252 |     2726   7316 |        0 |        0
1099.90/1100.30	c 1100s |      26 | 10645247 |  8115252 |     2726   7325 |        0 |        0
1101.91/1102.30	c 1102s |      26 | 10664913 |  8130252 |     2726   7335 |        0 |        0
1103.90/1104.32	c 1104s |      26 | 10681581 |  8143052 |     2726   7344 |        0 |        0
1105.90/1106.33	c 1106s |      26 | 10698031 |  8156052 |     2726   7353 |        0 |        0
1107.90/1108.33	c 1108s |      26 | 10715673 |  8169752 |     2726   7362 |        0 |        0
1109.90/1110.33	c 1110s |      26 | 10733633 |  8183852 |     2726   7372 |        0 |        0
1111.90/1112.34	c 1112s |      26 | 10749723 |  8196452 |     2726   7381 |        0 |        0
1113.91/1114.35	c 1114s |      26 | 10765488 |  8208852 |     2726   7389 |        0 |        0
1115.90/1116.35	c 1116s |      26 | 10781862 |  8221452 |     2726   7398 |        0 |        0
1117.90/1118.36	c 1118s |      26 | 10797293 |  8233652 |     2726   7406 |        0 |        0
1119.90/1120.36	c 1120s |      26 | 10814425 |  8246752 |     2726   7415 |        0 |        0
1121.90/1122.36	c 1122s |      26 | 10829426 |  8258852 |     2726   7424 |        0 |        0
1123.91/1124.36	c 1124s |      26 | 10846183 |  8272252 |     2726   7433 |        0 |        0
1125.90/1126.37	c 1126s |      26 | 10863534 |  8285552 |     2726   7442 |        0 |        0
1127.90/1128.38	c 1128s |      26 | 10879574 |  8298752 |     2726   7451 |        0 |        0
1129.90/1130.38	c 1130s |      26 | 10897415 |  8312352 |     2726   7461 |        0 |        0
1131.90/1132.39	c 1132s |      26 | 10914641 |  8325752 |     2726   7470 |        0 |        0
1133.90/1134.39	c 1134s |      26 | 10931453 |  8338652 |     2726   7479 |        0 |        0
1135.91/1136.40	c 1136s |      26 | 10949660 |  8352852 |     2726   7489 |        0 |        0
1138.00/1138.40	c 1138s |      26 | 10968565 |  8366952 |     2726   7498 |        0 |        0
1140.00/1140.41	c 1140s |      26 | 10985038 |  8379152 |     2726   7507 |        0 |        0
1142.00/1142.41	c 1142s |      26 | 11002442 |  8392552 |     2726   7516 |        0 |        0
1144.00/1144.41	c 1144s |      26 | 11017515 |  8404552 |     2726   7524 |        0 |        0
1146.00/1146.41	c 1146s |      26 | 11034080 |  8417352 |     2726   7533 |        0 |        0
1148.01/1148.42	c 1148s |      26 | 11052742 |  8431052 |     2726   7543 |        0 |        0
1150.00/1150.43	c 1150s |      26 | 11070295 |  8444452 |     2726   7552 |        0 |        0
1152.00/1152.43	c 1152s |      26 | 11086758 |  8456952 |     2726   7561 |        0 |        0
1154.00/1154.44	c 1154s |      26 | 11104210 |  8470352 |     2726   7570 |        0 |        0
1156.00/1156.45	c 1156s |      26 | 11122750 |  8484152 |     2726   7579 |        0 |        0
1158.01/1158.46	c 1158s |      26 | 11139411 |  8497152 |     2726   7588 |        0 |        0
1160.00/1160.47	c 1160s |      26 | 11157634 |  8510952 |     2726   7598 |        0 |        0
1162.00/1162.48	c 1162s |      26 | 11174748 |  8524352 |     2726   7607 |        0 |        0
1164.00/1164.49	c 1164s |      26 | 11193153 |  8538052 |     2726   7617 |        0 |        0
1166.10/1166.50	c 1166s |      26 | 11210162 |  8551452 |     2726   7626 |        0 |        0
1168.10/1168.51	c 1168s |      26 | 11227519 |  8564652 |     2726   7635 |        0 |        0
1170.10/1170.51	c 1170s |      26 | 11243683 |  8577152 |     2726   7644 |        0 |        0
1172.10/1172.51	c 1172s |      26 | 11260645 |  8590252 |     2726   7653 |        0 |        0
1174.09/1174.51	c 1174s |      26 | 11277419 |  8603052 |     2726   7662 |        0 |        0
1176.09/1176.52	c 1176s |      26 | 11293622 |  8615652 |     2726   7670 |        0 |        0
1178.09/1178.52	c 1178s |      26 | 11311511 |  8629152 |     2726   7680 |        0 |        0
1180.09/1180.53	c 1180s |      26 | 11328081 |  8642152 |     2726   7689 |        0 |        0
1182.10/1182.54	c 1182s |      26 | 11346464 |  8656252 |     2726   7698 |        0 |        0
1184.09/1184.55	c 1184s |      26 | 11363426 |  8669552 |     2726   7707 |        0 |        0
1186.09/1186.55	c 1186s |      26 | 11380404 |  8682652 |     2726   7717 |        0 |        0
1188.09/1188.56	c 1188s |      26 | 11396910 |  8695252 |     2726   7725 |        0 |        0
1190.09/1190.57	c 1190s |      26 | 11413162 |  8707452 |     2726   7734 |        0 |        0
1192.10/1192.58	c 1192s |      26 | 11430703 |  8720352 |     2726   7743 |        0 |        0
1194.09/1194.59	c 1194s |      26 | 11448349 |  8733452 |     2726   7752 |        0 |        0
1196.19/1196.60	c 1196s |      26 | 11466552 |  8747452 |     2726   7761 |        0 |        0
1198.19/1198.60	c 1198s |      26 | 11483083 |  8760152 |     2726   7770 |        0 |        0
1200.19/1200.60	c 1200s |      26 | 11500794 |  8773352 |     2726   7779 |        0 |        0
1202.19/1202.62	c 1202s |      26 | 11518984 |  8787352 |     2726   7789 |        0 |        0
1204.20/1204.63	c 1204s |      26 | 11537554 |  8801352 |     2726   7799 |        0 |        0
1206.19/1206.63	c 1206s |      26 | 11554672 |  8814552 |     2726   7808 |        0 |        0
1208.19/1208.64	c 1208s |      26 | 11572815 |  8828452 |     2726   7817 |        0 |        0
1210.19/1210.65	c 1210s |      26 | 11591857 |  8842452 |     2726   7827 |        0 |        0
1212.18/1212.66	c 1212s |      26 | 11610234 |  8856552 |     2726   7837 |        0 |        0
1214.18/1214.66	c 1214s |      26 | 11628106 |  8870352 |     2726   7847 |        0 |        0
1216.19/1216.67	c 1216s |      26 | 11643726 |  8883052 |     2726   7855 |        0 |        0
1218.18/1218.68	c 1218s |      26 | 11661139 |  8896252 |     2726   7865 |        0 |        0
1220.18/1220.69	c 1220s |      26 | 11680057 |  8910252 |     2726   7874 |        0 |        0
1222.18/1222.69	c 1222s |      26 | 11697791 |  8923352 |     2726   7883 |        0 |        0
1224.18/1224.70	c 1224s |      26 | 11714781 |  8936152 |     2726   7892 |        0 |        0
1226.28/1226.70	c 1226s |      26 | 11731402 |  8949252 |     2726   7901 |        0 |        0
1228.29/1228.71	c 1228s |      26 | 11750315 |  8963352 |     2726   7911 |        0 |        0
1230.28/1230.71	c 1230s |      26 | 11769271 |  8977952 |     2726   7921 |        0 |        0
1232.29/1232.72	c 1232s |      26 | 11787036 |  8991652 |     2726   7931 |        0 |        0
1234.29/1234.73	c 1234s |      26 | 11804954 |  9005252 |     2726   7940 |        0 |        0
1236.29/1236.73	c 1236s |      26 | 11823974 |  9019352 |     2726   7950 |        0 |        0
1238.29/1238.75	c 1238s |      26 | 11841324 |  9032552 |     2726   7959 |        0 |        0
1240.28/1240.76	c 1240s |      26 | 11859188 |  9046452 |     2726   7969 |        0 |        0
1242.28/1242.76	c 1242s |      26 | 11876601 |  9060152 |     2726   7978 |        0 |        0
1244.28/1244.77	c 1244s |      26 | 11896056 |  9074752 |     2726   7988 |        0 |        0
1246.28/1246.78	c 1246s |      26 | 11911855 |  9087452 |     2726   7997 |        0 |        0
1248.28/1248.78	c 1248s |      26 | 11928803 |  9100452 |     2726   8006 |        0 |        0
1250.29/1250.78	c 1250s |      26 | 11944165 |  9113052 |     2726   8015 |        0 |        0
1252.28/1252.80	c 1252s |      26 | 11962607 |  9126852 |     2726   8024 |        0 |        0
1254.39/1254.80	c 1254s |      26 | 11977985 |  9139152 |     2726   8033 |        0 |        0
1256.39/1256.81	c 1256s |      26 | 11995589 |  9152852 |     2726   8042 |        0 |        0
1258.39/1258.82	c 1258s |      26 | 12012568 |  9165952 |     2726   8051 |        0 |        0
1260.39/1260.83	c 1260s |      26 | 12028884 |  9178852 |     2726   8060 |        0 |        0
1262.39/1262.84	c 1262s |      26 | 12046357 |  9192352 |     2726   8070 |        0 |        0
1264.38/1264.85	c 1264s |      26 | 12064414 |  9206252 |     2726   8079 |        0 |        0
1266.38/1266.86	c 1266s |      26 | 12082679 |  9220352 |     2726   8089 |        0 |        0
1268.38/1268.87	c 1268s |      26 | 12100527 |  9233952 |     2726   8098 |        0 |        0
1270.38/1270.88	c 1270s |      26 | 12113002 |  9244652 |     2726   8106 |        0 |        0
1272.39/1272.88	c 1272s |      26 | 12129034 |  9257452 |     2726   8115 |        0 |        0
1274.38/1274.89	c 1274s |      26 | 12146173 |  9269952 |     2726   8123 |        0 |        0
1276.48/1276.90	c 1276s |      26 | 12163860 |  9283052 |     2726   8132 |        0 |        0
1278.48/1278.91	c 1278s |      26 | 12181680 |  9296952 |     2726   8142 |        0 |        0
1280.48/1280.92	c 1280s |      26 | 12198837 |  9310052 |     2726   8151 |        0 |        0
1282.48/1282.92	c 1282s |      26 | 12215135 |  9323352 |     2726   8160 |        0 |        0
1284.48/1284.93	c 1284s |      26 | 12231364 |  9336552 |     2726   8169 |        0 |        0
1286.48/1286.94	c 1286s |      26 | 12248712 |  9349752 |     2726   8178 |        0 |        0
1288.48/1288.96	c 1288s |      26 | 12264874 |  9362652 |     2726   8187 |        0 |        0
1290.48/1290.97	c 1290s |      26 | 12281507 |  9375452 |     2726   8196 |        0 |        0
1292.48/1292.98	c 1292s |      26 | 12298258 |  9388152 |     2726   8205 |        0 |        0
1294.48/1294.99	c 1294s |      26 | 12314205 |  9400452 |     2726   8213 |        0 |        0
1296.58/1297.01	c 1296s |      26 | 12327984 |  9411952 |     2726   8221 |        0 |        0
1298.57/1299.02	c 1299s |      26 | 12340633 |  9422552 |     2726   8229 |        0 |        0
1300.57/1301.03	c 1301s |      26 | 12355034 |  9434352 |     2726   8237 |        0 |        0
1302.57/1303.04	c 1303s |      26 | 12370716 |  9446652 |     2726   8245 |        0 |        0
1304.57/1305.05	c 1305s |      26 | 12387938 |  9459852 |     2726   8255 |        0 |        0
1306.57/1307.06	c 1307s |      26 | 12404221 |  9472852 |     2726   8264 |        0 |        0
1308.58/1309.07	c 1309s |      26 | 12419457 |  9484952 |     2726   8272 |        0 |        0
1310.57/1311.08	c 1311s |      26 | 12433546 |  9496352 |     2726   8280 |        0 |        0
1312.57/1313.09	c 1313s |      26 | 12449715 |  9509052 |     2726   8289 |        0 |        0
1314.57/1315.09	c 1315s |      26 | 12464050 |  9520652 |     2726   8297 |        0 |        0
1316.57/1317.09	c 1317s |      26 | 12479956 |  9533052 |     2726   8305 |        0 |        0
1318.67/1319.11	c 1319s |      26 | 12495665 |  9545852 |     2726   8314 |        0 |        0
1320.68/1321.11	c 1321s |      26 | 12512082 |  9558752 |     2726   8323 |        0 |        0
1322.67/1323.11	c 1323s |      26 | 12528953 |  9571752 |     2726   8332 |        0 |        0
1324.67/1325.12	c 1325s |      26 | 12542816 |  9583152 |     2726   8340 |        0 |        0
1326.67/1327.13	c 1327s |      26 | 12559212 |  9596152 |     2726   8349 |        0 |        0
1328.67/1329.14	c 1329s |      26 | 12573751 |  9607852 |     2726   8357 |        0 |        0
1330.68/1331.14	c 1331s |      26 | 12589173 |  9620052 |     2726   8366 |        0 |        0
1332.67/1333.17	c 1333s |      26 | 12605888 |  9632852 |     2726   8375 |        0 |        0
1334.67/1335.17	c 1335s |      26 | 12618147 |  9643452 |     2726   8382 |        0 |        0
1336.67/1337.19	c 1337s |      26 | 12632351 |  9654952 |     2726   8390 |        0 |        0
1338.77/1339.21	c 1339s |      26 | 12648005 |  9667552 |     2726   8399 |        0 |        0
1340.77/1341.23	c 1341s |      26 | 12664887 |  9680352 |     2726   8408 |        0 |        0
1342.78/1343.24	c 1343s |      26 | 12680618 |  9692552 |     2726   8416 |        0 |        0
1344.77/1345.26	c 1345s |      26 | 12697057 |  9705352 |     2726   8425 |        0 |        0
1346.77/1347.26	c 1347s |      26 | 12713654 |  9718252 |     2726   8434 |        0 |        0
1348.77/1349.26	c 1349s |      26 | 12730435 |  9731352 |     2726   8443 |        0 |        0
1350.77/1351.27	c 1351s |      26 | 12745483 |  9743652 |     2726   8451 |        0 |        0
1352.77/1353.28	c 1353s |      26 | 12760958 |  9755952 |     2726   8460 |        0 |        0
1354.77/1355.30	c 1355s |      26 | 12777176 |  9768752 |     2726   8468 |        0 |        0
1356.86/1357.31	c 1357s |      26 | 12793071 |  9781152 |     2726   8477 |        0 |        0
1358.86/1359.32	c 1359s |      26 | 12808315 |  9793352 |     2726   8485 |        0 |        0
1360.86/1361.33	c 1361s |      26 | 12826853 |  9807252 |     2726   8495 |        0 |        0
1362.86/1363.34	c 1363s |      26 | 12842004 |  9819052 |     2726   8503 |        0 |        0
1364.86/1365.35	c 1365s |      26 | 12856319 |  9830652 |     2726   8511 |        0 |        0
1366.87/1367.36	c 1367s |      26 | 12869701 |  9841552 |     2726   8519 |        0 |        0
1368.86/1369.37	c 1369s |      26 | 12884839 |  9853552 |     2726   8527 |        0 |        0
1370.86/1371.38	c 1371s |      26 | 12900900 |  9866052 |     2726   8535 |        0 |        0
1372.86/1373.38	c 1373s |      26 | 12917485 |  9878552 |     2726   8544 |        0 |        0
1374.86/1375.38	c 1375s |      26 | 12933383 |  9890452 |     2726   8552 |        0 |        0
1376.87/1377.39	c 1377s |      26 | 12949930 |  9903352 |     2726   8561 |        0 |        0
1378.87/1379.40	c 1379s |      26 | 12966481 |  9916152 |     2726   8570 |        0 |        0
1380.97/1381.41	c 1381s |      26 | 12983637 |  9929152 |     2726   8579 |        0 |        0
1382.97/1383.42	c 1383s |      26 | 12998802 |  9940752 |     2726   8587 |        0 |        0
1384.97/1385.43	c 1385s |      26 | 13013333 |  9951952 |     2726   8595 |        0 |        0
1386.97/1387.43	c 1387s |      26 | 13029388 |  9964152 |     2726   8603 |        0 |        0
1388.97/1389.44	c 1389s |      26 | 13047263 |  9977252 |     2726   8612 |        0 |        0
1390.97/1391.45	c 1391s |      26 | 13064661 |  9990652 |     2726   8622 |        0 |        0
1392.97/1393.46	c 1393s |      26 | 13082361 | 10004352 |     2726   8631 |        0 |        0
1394.97/1395.47	c 1395s |      26 | 13099714 | 10017652 |     2726   8640 |        0 |        0
1396.96/1397.48	c 1397s |      26 | 13118619 | 10031652 |     2726   8650 |        0 |        0
1398.96/1399.49	c 1399s |      26 | 13134842 | 10044452 |     2726   8659 |        0 |        0
1400.97/1401.49	c 1401s |      26 | 13153215 | 10058652 |     2726   8669 |        0 |        0
1403.06/1403.51	c 1403s |      26 | 13171174 | 10072652 |     2726   8678 |        0 |        0
1405.06/1405.51	c 1405s |      26 | 13190308 | 10086952 |     2726   8688 |        0 |        0
1407.06/1407.52	c 1407s |      26 | 13205975 | 10099352 |     2726   8697 |        0 |        0
1409.06/1409.54	c 1409s |      26 | 13223518 | 10113352 |     2726   8707 |        0 |        0
1411.06/1411.54	c 1411s |      26 | 13240563 | 10126352 |     2726   8716 |        0 |        0
1413.07/1413.55	c 1413s |      26 | 13257197 | 10139352 |     2726   8725 |        0 |        0
1415.06/1415.56	c 1415s |      26 | 13273642 | 10152352 |     2726   8733 |        0 |        0
1417.06/1417.56	c 1417s |      26 | 13291498 | 10165752 |     2726   8743 |        0 |        0
1419.06/1419.57	c 1419s |      26 | 13309774 | 10179352 |     2726   8752 |        0 |        0
1421.06/1421.58	c 1421s |      26 | 13326813 | 10192452 |     2726   8761 |        0 |        0
1423.06/1423.59	c 1423s |      26 | 13342492 | 10204452 |     2726   8770 |        0 |        0
1425.06/1425.59	c 1425s |      26 | 13357142 | 10215552 |     2726   8777 |        0 |        0
1427.16/1427.60	c 1427s |      26 | 13372904 | 10227352 |     2726   8785 |        0 |        0
1429.15/1429.60	c 1429s |      26 | 13388886 | 10239052 |     2726   8793 |        0 |        0
1431.15/1431.62	c 1431s |      26 | 13404651 | 10250952 |     2726   8802 |        0 |        0
1433.15/1433.62	c 1433s |      26 | 13421206 | 10263752 |     2726   8811 |        0 |        0
1435.16/1435.62	c 1435s |      26 | 13437411 | 10276352 |     2726   8819 |        0 |        0
1437.15/1437.64	c 1437s |      26 | 13452248 | 10288052 |     2726   8827 |        0 |        0
1439.15/1439.65	c 1439s |      26 | 13468490 | 10300052 |     2726   8836 |        0 |        0
1441.15/1441.66	c 1441s |      26 | 13485358 | 10313152 |     2726   8845 |        0 |        0
1443.15/1443.66	c 1443s |      26 | 13500124 | 10324752 |     2726   8853 |        0 |        0
1445.15/1445.68	c 1445s |      26 | 13517669 | 10338552 |     2726   8862 |        0 |        0
1447.16/1447.69	c 1447s |      26 | 13534643 | 10351652 |     2726   8872 |        0 |        0
1449.25/1449.70	c 1449s |      26 | 13550985 | 10364452 |     2726   8880 |        0 |        0
1451.25/1451.71	c 1451s |      26 | 13567914 | 10377552 |     2726   8890 |        0 |        0
1453.25/1453.72	c 1453s |      26 | 13586136 | 10391452 |     2726   8899 |        0 |        0
1455.25/1455.73	c 1455s |      26 | 13602817 | 10404252 |     2726   8908 |        0 |        0
1457.25/1457.73	c 1457s |      26 | 13619282 | 10416552 |     2726   8917 |        0 |        0
1459.26/1459.74	c 1459s |      26 | 13637157 | 10429852 |     2726   8926 |        0 |        0
1461.25/1461.74	c 1461s |      26 | 13656503 | 10444052 |     2726   8936 |        0 |        0
1463.25/1463.74	c 1463s |      26 | 13674609 | 10457552 |     2726   8945 |        0 |        0
1465.25/1465.76	c 1465s |      26 | 13692474 | 10470752 |     2726   8954 |        0 |        0
1467.25/1467.76	c 1467s |      26 | 13709718 | 10483452 |     2726   8963 |        0 |        0
1469.25/1469.77	c 1469s |      26 | 13726372 | 10496252 |     2726   8972 |        0 |        0
1471.25/1471.78	c 1471s |      26 | 13741516 | 10508552 |     2726   8980 |        0 |        0
1473.25/1473.78	c 1473s |      26 | 13756960 | 10520652 |     2726   8989 |        0 |        0
1475.25/1475.79	c 1475s |      26 | 13773788 | 10533352 |     2726   8998 |        0 |        0
1477.35/1477.80	c 1477s |      26 | 13790362 | 10545952 |     2726   9006 |        0 |        0
1479.35/1479.81	c 1479s |      26 | 13807666 | 10559152 |     2726   9015 |        0 |        0
1481.36/1481.81	c 1481s |      26 | 13826018 | 10572652 |     2726   9025 |        0 |        0
1483.35/1483.81	c 1483s |      26 | 13842875 | 10585252 |     2726   9034 |        0 |        0
1485.35/1485.82	c 1485s |      26 | 13859990 | 10598152 |     2726   9043 |        0 |        0
1487.35/1487.83	c 1487s |      26 | 13877057 | 10611452 |     2726   9052 |        0 |        0
1489.35/1489.84	c 1489s |      26 | 13893448 | 10624252 |     2726   9061 |        0 |        0
1491.35/1491.84	c 1491s |      26 | 13910188 | 10637152 |     2726   9069 |        0 |        0
1493.36/1493.85	c 1493s |      26 | 13925262 | 10649352 |     2726   9078 |        0 |        0
1495.35/1495.85	c 1495s |      26 | 13942772 | 10662952 |     2726   9087 |        0 |        0
1497.35/1497.86	c 1497s |      26 | 13960317 | 10676452 |     2726   9097 |        0 |        0
1499.35/1499.88	c 1499s |      26 | 13976952 | 10689352 |     2726   9106 |        0 |        0
1501.35/1501.89	c 1501s |      26 | 13994386 | 10702652 |     2726   9115 |        0 |        0
1503.35/1503.90	c 1503s |      26 | 14010015 | 10715352 |     2726   9123 |        0 |        0
1505.35/1505.90	c 1505s |      26 | 14027113 | 10728252 |     2726   9132 |        0 |        0
1507.44/1507.91	c 1507s |      26 | 14042527 | 10740152 |     2726   9141 |        0 |        0
1509.44/1509.92	c 1509s |      26 | 14059577 | 10753252 |     2726   9150 |        0 |        0
1511.44/1511.93	c 1511s |      26 | 14075932 | 10766352 |     2726   9159 |        0 |        0
1513.44/1513.93	c 1513s |      26 | 14092541 | 10779452 |     2726   9168 |        0 |        0
1515.45/1515.94	c 1515s |      26 | 14110136 | 10793052 |     2726   9177 |        0 |        0
1517.44/1517.95	c 1517s |      26 | 14126703 | 10806152 |     2726   9186 |        0 |        0
1519.44/1519.96	c 1519s |      26 | 14142106 | 10818752 |     2726   9195 |        0 |        0
1521.44/1521.97	c 1521s |      26 | 14158259 | 10831652 |     2726   9203 |        0 |        0
1523.44/1523.98	c 1523s |      26 | 14174241 | 10844552 |     2726   9212 |        0 |        0
1525.44/1525.99	c 1525s |      26 | 14190579 | 10857352 |     2726   9221 |        0 |        0
1527.44/1528.00	c 1527s |      26 | 14206577 | 10869452 |     2726   9230 |        0 |        0
1529.54/1530.00	c 1529s |      26 | 14222912 | 10882552 |     2726   9239 |        0 |        0
1531.54/1532.01	c 1531s |      26 | 14239194 | 10895352 |     2726   9248 |        0 |        0
1533.53/1534.02	c 1534s |      26 | 14256091 | 10908152 |     2726   9257 |        0 |        0
1535.53/1536.04	c 1536s |      26 | 14273112 | 10921152 |     2726   9266 |        0 |        0
1537.53/1538.06	c 1538s |      26 | 14289251 | 10933852 |     2726   9275 |        0 |        0
1539.55/1540.07	c 1540s |      26 | 14304493 | 10946152 |     2726   9283 |        0 |        0
1541.54/1542.07	c 1542s |      26 | 14320320 | 10958852 |     2726   9292 |        0 |        0
1543.54/1544.08	c 1544s |      26 | 14334849 | 10970052 |     2726   9300 |        0 |        0
1545.54/1546.09	c 1546s |      26 | 14348740 | 10981152 |     2726   9307 |        0 |        0
1547.64/1548.10	c 1548s |      26 | 14366713 | 10995052 |     2726   9317 |        0 |        0
1549.64/1550.10	c 1550s |      26 | 14384684 | 11008852 |     2726   9327 |        0 |        0
1551.64/1552.11	c 1552s |      26 | 14400410 | 11021452 |     2726   9335 |        0 |        0
1553.64/1554.12	c 1554s |      26 | 14416934 | 11033852 |     2726   9344 |        0 |        0
1555.64/1556.14	c 1556s |      26 | 14433592 | 11046152 |     2726   9352 |        0 |        0
1557.64/1558.14	c 1558s |      26 | 14449531 | 11058252 |     2726   9361 |        0 |        0
1559.63/1560.15	c 1560s |      26 | 14466143 | 11070952 |     2726   9370 |        0 |        0
1561.64/1562.16	c 1562s |      26 | 14483797 | 11084752 |     2726   9379 |        0 |        0
1563.63/1564.17	c 1564s |      26 | 14499243 | 11097252 |     2726   9388 |        0 |        0
1565.63/1566.17	c 1566s |      26 | 14514154 | 11109352 |     2726   9396 |        0 |        0
1567.63/1568.18	c 1568s |      26 | 14531726 | 11122852 |     2726   9406 |        0 |        0
1569.63/1570.18	c 1570s |      26 | 14549023 | 11135752 |     2726   9415 |        0 |        0
1571.63/1572.19	c 1572s |      26 | 14564600 | 11147752 |     2726   9423 |        0 |        0
1573.64/1574.20	c 1574s |      26 | 14583427 | 11161652 |     2726   9433 |        0 |        0
1575.73/1576.22	c 1576s |      26 | 14600230 | 11174552 |     2726   9442 |        0 |        0
1577.73/1578.22	c 1578s |      26 | 14616119 | 11187152 |     2726   9450 |        0 |        0
1579.73/1580.23	c 1580s |      26 | 14631944 | 11199752 |     2726   9459 |        0 |        0
1581.73/1582.25	c 1582s |      26 | 14647271 | 11211752 |     2726   9467 |        0 |        0
1583.73/1584.26	c 1584s |      26 | 14665268 | 11225052 |     2726   9477 |        0 |        0
1585.74/1586.27	c 1586s |      26 | 14683035 | 11238852 |     2726   9486 |        0 |        0
1587.73/1588.27	c 1588s |      26 | 14699381 | 11251552 |     2726   9495 |        0 |        0
1589.73/1590.28	c 1590s |      26 | 14716246 | 11264752 |     2726   9504 |        0 |        0
1591.83/1592.30	c 1592s |      26 | 14730366 | 11276152 |     2726   9512 |        0 |        0
1593.83/1594.31	c 1594s |      26 | 14748200 | 11289852 |     2726   9522 |        0 |        0
1595.83/1596.32	c 1596s |      26 | 14763159 | 11301652 |     2726   9530 |        0 |        0
1597.83/1598.33	c 1598s |      26 | 14778840 | 11313852 |     2726   9538 |        0 |        0
1599.82/1600.33	c 1600s |      26 | 14794469 | 11326052 |     2999   9546 |        0 |        0
1601.82/1602.33	c 1602s |      26 | 14810876 | 11338652 |     2999   9554 |        0 |        0
1603.82/1604.35	c 1604s |      26 | 14827204 | 11351452 |     2999   9562 |        0 |        0
1605.83/1606.36	c 1606s |      26 | 14841368 | 11362852 |     2999   9569 |        0 |        0
1607.84/1608.37	c 1608s |      26 | 14855961 | 11374752 |     2999   9577 |        0 |        0
1609.83/1610.38	c 1610s |      26 | 14870935 | 11386852 |     2999   9584 |        0 |        0
1611.63/1612.15	c 1612s |      27 | 14883528 | 11396733 |     2999   9591 |        0 |        0
1613.63/1614.15	c 1614s |      27 | 14898342 | 11408733 |     2999   9598 |        0 |        0
1615.63/1616.16	c 1616s |      27 | 14913770 | 11421333 |     2999   9606 |        0 |        0
1617.64/1618.17	c 1618s |      27 | 14930417 | 11434633 |     2999   9614 |        0 |        0
1619.63/1620.17	c 1620s |      27 | 14947158 | 11447933 |     2999   9623 |        0 |        0
1621.63/1622.18	c 1622s |      27 | 14965866 | 11461933 |     2999   9631 |        0 |        0
1623.63/1624.18	c 1624s |      27 | 14984886 | 11476233 |     2999   9640 |        0 |        0
1625.62/1626.19	c 1626s |      27 | 15002994 | 11490133 |     2999   9649 |        0 |        0
1627.63/1628.19	c 1628s |      27 | 15020618 | 11503833 |     2999   9658 |        0 |        0
1629.62/1630.20	c 1630s |      27 | 15037113 | 11516833 |     2999   9666 |        0 |        0
1631.72/1632.20	c 1632s |      27 | 15053530 | 11529733 |     2999   9674 |        0 |        0
1633.72/1634.21	c 1634s |      27 | 15068483 | 11542033 |     2999   9682 |        0 |        0
1635.72/1636.21	c 1636s |      27 | 15085021 | 11554833 |     2999   9690 |        0 |        0
1637.72/1638.22	c 1638s |      27 | 15103617 | 11568833 |     2999   9698 |        0 |        0
1639.73/1640.23	c 1640s |      27 | 15121987 | 11582333 |     2999   9707 |        0 |        0
1641.72/1642.24	c 1642s |      27 | 15140196 | 11596333 |     2999   9716 |        0 |        0
1643.72/1644.25	c 1644s |      27 | 15159877 | 11610733 |     2999   9725 |        0 |        0
1645.72/1646.26	c 1646s |      27 | 15178189 | 11624633 |     2999   9733 |        0 |        0
1647.72/1648.27	c 1648s |      27 | 15197642 | 11638833 |     2999   9742 |        0 |        0
1649.72/1650.27	c 1650s |      27 | 15214828 | 11651933 |     2999   9750 |        0 |        0
1651.72/1652.28	c 1652s |      27 | 15233545 | 11666433 |     2999   9759 |        0 |        0
1653.72/1654.28	c 1654s |      27 | 15250748 | 11680233 |     2999   9768 |        0 |        0
1655.72/1656.29	c 1656s |      27 | 15269827 | 11694433 |     2999   9777 |        0 |        0
1657.72/1658.29	c 1658s |      27 | 15287599 | 11708133 |     2999   9786 |        0 |        0
1659.82/1660.30	c 1660s |      27 | 15307219 | 11722533 |     2999   9795 |        0 |        0
1661.82/1662.31	c 1662s |      27 | 15323363 | 11735833 |     2999   9803 |        0 |        0
1663.82/1664.32	c 1664s |      27 | 15341289 | 11749433 |     2999   9812 |        0 |        0
1665.82/1666.33	c 1666s |      27 | 15359396 | 11763233 |     2999   9820 |        0 |        0
1667.82/1668.34	c 1668s |      27 | 15377566 | 11777333 |     2999   9829 |        0 |        0
1669.82/1670.34	c 1670s |      27 | 15393887 | 11790133 |     2999   9837 |        0 |        0
1671.82/1672.35	c 1672s |      27 | 15412365 | 11804033 |     2999   9846 |        0 |        0
1673.83/1674.36	c 1674s |      27 | 15429988 | 11817433 |     2999   9854 |        0 |        0
1675.82/1676.37	c 1676s |      27 | 15448200 | 11831233 |     2999   9863 |        0 |        0
1677.82/1678.37	c 1678s |      27 | 15465153 | 11844433 |     2999   9871 |        0 |        0
1679.82/1680.38	c 1680s |      27 | 15483059 | 11858133 |     2999   9880 |        0 |        0
1681.82/1682.38	c 1682s |      27 | 15500759 | 11871733 |     2999   9888 |        0 |        0
1683.82/1684.39	c 1684s |      27 | 15519694 | 11886133 |     2999   9897 |        0 |        0
1685.93/1686.41	c 1686s |      27 | 15536819 | 11899533 |     2999   9906 |        0 |        0
1687.92/1688.41	c 1688s |      27 | 15553275 | 11912833 |     2999   9914 |        0 |        0
1689.92/1690.42	c 1690s |      27 | 15571904 | 11927233 |     2999   9923 |        0 |        0
1691.92/1692.42	c 1692s |      27 | 15591487 | 11942133 |     2999   9933 |        0 |        0
1693.92/1694.43	c 1694s |      27 | 15610454 | 11956533 |     2999   9942 |        0 |        0
1695.92/1696.44	c 1696s |      27 | 15629396 | 11970733 |     2999   9951 |        0 |        0
1697.92/1698.45	c 1698s |      27 | 15643610 | 11982733 |     2999   9958 |        0 |        0
1699.92/1700.45	c 1700s |      27 | 15659578 | 11995533 |     2999   9966 |        0 |        0
1701.92/1702.46	c 1702s |      27 | 15675433 | 12008033 |     2999   9974 |        0 |        0
1703.92/1704.48	c 1704s |      27 | 15693132 | 12021733 |     2999   9983 |        0 |        0
1706.01/1706.50	c 1706s |      27 | 15712169 | 12036033 |     2999   9992 |        0 |        0
1708.02/1708.50	c 1708s |      27 | 15730256 | 12050133 |     2999  10000 |        0 |        0
1710.02/1710.53	c 1710s |      27 | 15747076 | 12063133 |     2999  10009 |        0 |        0
1712.01/1712.54	c 1712s |      27 | 15765476 | 12076833 |     2999  10017 |        0 |        0
1714.01/1714.54	c 1714s |      27 | 15785334 | 12091233 |     2999  10026 |        0 |        0
1716.01/1716.55	c 1716s |      27 | 15803252 | 12104933 |     2999  10035 |        0 |        0
1718.01/1718.56	c 1718s |      27 | 15821135 | 12118933 |     2999  10044 |        0 |        0
1720.02/1720.57	c 1720s |      27 | 15838753 | 12132433 |     2999  10052 |        0 |        0
1722.01/1722.58	c 1722s |      27 | 15855218 | 12145533 |     2999  10060 |        0 |        0
1724.01/1724.59	c 1724s |      27 | 15873496 | 12159433 |     2999  10069 |        0 |        0
1726.11/1726.60	c 1726s |      27 | 15891878 | 12173533 |     2999  10078 |        0 |        0
1728.11/1728.61	c 1728s |      27 | 15908796 | 12186433 |     2999  10086 |        0 |        0
1730.11/1730.61	c 1730s |      27 | 15926326 | 12200333 |     2999  10095 |        0 |        0
1732.12/1732.63	c 1732s |      27 | 15945733 | 12214833 |     2999  10104 |        0 |        0
1734.11/1734.64	c 1734s |      27 | 15965139 | 12229533 |     2999  10113 |        0 |        0
1736.11/1736.65	c 1736s |      27 | 15984581 | 12243933 |     2999  10122 |        0 |        0
1738.11/1738.65	c 1738s |      27 | 16003533 | 12258233 |     2999  10131 |        0 |        0
1740.11/1740.66	c 1740s |      27 | 16023434 | 12273233 |     2999  10140 |        0 |        0
1742.11/1742.67	c 1742s |      27 | 16042549 | 12287633 |     2999  10149 |        0 |        0
1744.12/1744.67	c 1744s |      27 | 16062671 | 12302233 |     2999  10159 |        0 |        0
1746.11/1746.67	c 1746s |      27 | 16080481 | 12316033 |     2999  10167 |        0 |        0
1748.11/1748.68	c 1748s |      27 | 16099868 | 12330633 |     2999  10176 |        0 |        0
1750.11/1750.68	c 1750s |      27 | 16117903 | 12344233 |     2999  10185 |        0 |        0
1752.21/1752.70	c 1752s |      27 | 16134085 | 12357333 |     2999  10193 |        0 |        0
1754.21/1754.70	c 1754s |      27 | 16149914 | 12369833 |     2999  10201 |        0 |        0
1756.11/1756.70	c 1756s |      27 | 16166882 | 12383233 |     2999  10209 |        0 |        0
1758.21/1758.71	c 1758s |      27 | 16183286 | 12395833 |     2999  10217 |        0 |        0
1760.21/1760.71	c 1760s |      27 | 16201125 | 12409133 |     2999  10226 |        0 |        0
1762.21/1762.71	c 1762s |      27 | 16218692 | 12422433 |     2999  10234 |        0 |        0
1764.21/1764.72	c 1764s |      27 | 16235595 | 12435633 |     2999  10242 |        0 |        0
1766.21/1766.72	c 1766s |      27 | 16255044 | 12450133 |     2999  10251 |        0 |        0
1768.21/1768.73	c 1768s |      27 | 16274835 | 12464733 |     2999  10261 |        0 |        0
1770.21/1770.73	c 1770s |      27 | 16293125 | 12478833 |     2999  10270 |        0 |        0
1772.20/1772.74	c 1772s |      27 | 16312938 | 12493133 |     2999  10279 |        0 |        0
1774.20/1774.74	c 1774s |      27 | 16331316 | 12506733 |     2999  10287 |        0 |        0
1776.20/1776.75	c 1776s |      27 | 16351731 | 12521633 |     2999  10297 |        0 |        0
1778.21/1778.76	c 1778s |      27 | 16371452 | 12536433 |     2999  10306 |        0 |        0
1780.20/1780.77	c 1780s |      27 | 16390873 | 12551033 |     2999  10315 |        0 |        0
1782.20/1782.78	c 1782s |      27 | 16410526 | 12565933 |     2999  10325 |        0 |        0
1784.30/1784.81	c 1784s |      27 | 16431278 | 12581233 |     2999  10335 |        0 |        0
1786.30/1786.83	c 1786s |      27 | 16449254 | 12595233 |     2999  10343 |        0 |        0
1788.30/1788.84	c 1788s |      27 | 16467572 | 12609233 |     2999  10352 |        0 |        0
1790.31/1790.84	c 1790s |      27 | 16487103 | 12623833 |     2999  10362 |        0 |        0
1792.30/1792.85	c 1792s |      27 | 16505891 | 12637733 |     2999  10370 |        0 |        0
1794.30/1794.86	c 1794s |      27 | 16522503 | 12650533 |     2999  10378 |        0 |        0
1796.30/1796.86	c 1796s |      27 | 16539540 | 12663933 |     2999  10387 |        0 |        0
1798.30/1798.87	c 1798s |      27 | 16557713 | 12677733 |     2999  10396 |        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-4120754-1467312261/watcher-4120754-1467312261 -o /tmp/evaluation-result-4120754-1467312261/solver-4120754-1467312261 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node102-1467310764-16424 --watchdog 1960 toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4120754-1467312261.opb 

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

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


[startup+0 s]
/proc/loadavg: 2.00 2.01 2.24 2/243 17031
/proc/meminfo: memFree=30124472/32872528 swapFree=189444/189444
[pid=17031] ppid=17028 vsize=709052 CPUtime=0 cores=0,2,4,6
/proc/17031/stat : 17031 (toysat) R 17028 17031 13211 0 -1 4202496 2641 0 0 0 0 0 0 0 20 0 4 0 12332650 726069248 3003 33554432000 4194304 16246674 140733842351040 140733842350464 13880264 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/17031/statm: 177775 3013 441 2943 0 174669 0
[pid=17031/tid=17032] ppid=17028 vsize=726460 CPUtime=0 cores=0,2,4,6
/proc/17031/task/17032/stat : 17032 (toysat) S 17028 17031 13211 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 12332650 743895040 3074 33554432000 4194304 16246674 140733842351040 139713026436336 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=17031/tid=17033] ppid=17028 vsize=731580 CPUtime=0 cores=0,2,4,6
/proc/17031/task/17033/stat : 17033 (toysat) S 17028 17031 13211 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12332650 749137920 3092 33554432000 4194304 16246674 140733842351040 139713015946480 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=17031/tid=17034] ppid=17028 vsize=736700 CPUtime=0 cores=0,2,4,6
/proc/17031/task/17034/stat : 17034 (toysat) S 17028 17031 13211 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 12332650 754380800 3112 33554432000 4194304 16246674 140733842351040 139712937323696 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0

[startup+0.100169 s]
/proc/loadavg: 2.00 2.01 2.24 2/243 17031
/proc/meminfo: memFree=30124472/32872528 swapFree=189444/189444
[pid=17031] ppid=17028 vsize=1218116 CPUtime=0.09 cores=0,2,4,6
/proc/17031/stat : 17031 (toysat) R 17028 17031 13211 0 -1 4202496 24575 0 0 0 6 3 0 0 20 0 4 0 12332650 1247350784 24926 33554432000 4194304 16246674 140733842351040 140733842350464 5708022 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/17031/statm: 304529 24936 709 2943 0 301423 0
[pid=17031/tid=17032] ppid=17028 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/17031/task/17032/stat : 17032 (toysat) S 17028 17031 13211 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 12332650 1247350784 24943 33554432000 4194304 16246674 140733842351040 139713026436336 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=17031/tid=17033] ppid=17028 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/17031/task/17033/stat : 17033 (toysat) S 17028 17031 13211 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12332650 1247350784 24950 33554432000 4194304 16246674 140733842351040 139713015946480 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=17031/tid=17034] ppid=17028 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/17031/task/17034/stat : 17034 (toysat) S 17028 17031 13211 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 12332650 1247350784 24958 33554432000 4194304 16246674 140733842351040 139712937323696 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 1218116

[startup+0.200558 s]
/proc/loadavg: 2.00 2.01 2.24 2/243 17031
/proc/meminfo: memFree=30124472/32872528 swapFree=189444/189444
[pid=17031] ppid=17028 vsize=1218116 CPUtime=0.19 cores=0,2,4,6
/proc/17031/stat : 17031 (toysat) R 17028 17031 13211 0 -1 4202496 48001 0 0 0 13 6 0 0 20 0 4 0 12332650 1247350784 48351 33554432000 4194304 16246674 140733842351040 140733842332928 6023439 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/17031/statm: 304529 48364 709 2943 0 301423 0
[pid=17031/tid=17032] ppid=17028 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/17031/task/17032/stat : 17032 (toysat) S 17028 17031 13211 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 12332650 1247350784 48370 33554432000 4194304 16246674 140733842351040 139713026436336 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=17031/tid=17033] ppid=17028 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/17031/task/17033/stat : 17033 (toysat) S 17028 17031 13211 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12332650 1247350784 48375 33554432000 4194304 16246674 140733842351040 139713015946480 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=17031/tid=17034] ppid=17028 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/17031/task/17034/stat : 17034 (toysat) S 17028 17031 13211 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 12332650 1247350784 48379 33554432000 4194304 16246674 140733842351040 139712937323696 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 1218116

[startup+0.300468 s]
/proc/loadavg: 2.00 2.01 2.24 2/243 17031
/proc/meminfo: memFree=30124472/32872528 swapFree=189444/189444
[pid=17031] ppid=17028 vsize=1218116 CPUtime=0.29 cores=0,2,4,6
/proc/17031/stat : 17031 (toysat) R 17028 17031 13211 0 -1 4202496 70290 0 0 0 20 9 0 0 20 0 4 0 12332650 1247350784 70640 33554432000 4194304 16246674 140733842351040 140733842332928 13198569 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/17031/statm: 304529 70649 709 2943 0 301423 0
[pid=17031/tid=17032] ppid=17028 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/17031/task/17032/stat : 17032 (toysat) S 17028 17031 13211 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 12332650 1247350784 70656 33554432000 4194304 16246674 140733842351040 139713026436336 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=17031/tid=17033] ppid=17028 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/17031/task/17033/stat : 17033 (toysat) S 17028 17031 13211 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12332650 1247350784 70665 33554432000 4194304 16246674 140733842351040 139713015946480 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=17031/tid=17034] ppid=17028 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/17031/task/17034/stat : 17034 (toysat) S 17028 17031 13211 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 12332650 1247350784 70671 33554432000 4194304 16246674 140733842351040 139712937323696 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 1218116

[startup+0.70041 s]
/proc/loadavg: 2.00 2.01 2.24 2/243 17031
/proc/meminfo: memFree=30124472/32872528 swapFree=189444/189444
[pid=17031] ppid=17028 vsize=1218116 CPUtime=0.69 cores=0,2,4,6
/proc/17031/stat : 17031 (toysat) R 17028 17031 13211 0 -1 4202496 163547 0 0 0 47 22 0 0 20 0 4 0 12332650 1247350784 163897 33554432000 4194304 16246674 140733842351040 140733842332928 13954410 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/17031/statm: 304529 163907 709 2943 0 301423 0
[pid=17031/tid=17032] ppid=17028 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/17031/task/17032/stat : 17032 (toysat) S 17028 17031 13211 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 12332650 1247350784 163913 33554432000 4194304 16246674 140733842351040 139713026436336 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=17031/tid=17033] ppid=17028 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/17031/task/17033/stat : 17033 (toysat) S 17028 17031 13211 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12332650 1247350784 163921 33554432000 4194304 16246674 140733842351040 139713015946480 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=17031/tid=17034] ppid=17028 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/17031/task/17034/stat : 17034 (toysat) S 17028 17031 13211 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 12332650 1247350784 163927 33554432000 4194304 16246674 140733842351040 139712937323696 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 1218116

[startup+1.50042 s]
/proc/loadavg: 2.00 2.01 2.24 3/247 17035
/proc/meminfo: memFree=29141312/32872528 swapFree=189444/189444
[pid=17031] ppid=17028 vsize=1219140 CPUtime=1.49 cores=0,2,4,6
/proc/17031/stat : 17031 (toysat) R 17028 17031 13211 0 -1 4202496 245613 0 0 0 116 33 0 0 20 0 4 0 12332650 1248399360 245943 33554432000 4194304 16246674 140733842351040 140733842332928 5708466 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/17031/statm: 304785 245943 786 2943 0 301679 0
[pid=17031/tid=17032] ppid=17028 vsize=1219140 CPUtime=0 cores=0,2,4,6
/proc/17031/task/17032/stat : 17032 (toysat) S 17028 17031 13211 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 12332650 1248399360 245943 33554432000 4194304 16246674 140733842351040 139713026436336 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=17031/tid=17033] ppid=17028 vsize=1219140 CPUtime=0 cores=0,2,4,6
/proc/17031/task/17033/stat : 17033 (toysat) S 17028 17031 13211 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12332650 1248399360 245943 33554432000 4194304 16246674 140733842351040 139713015946480 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=17031/tid=17034] ppid=17028 vsize=1219140 CPUtime=0 cores=0,2,4,6
/proc/17031/task/17034/stat : 17034 (toysat) S 17028 17031 13211 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 12332650 1248399360 245943 33554432000 4194304 16246674 140733842351040 139712937323696 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 1219140

[startup+3.10041 s]
/proc/loadavg: 2.00 2.01 2.24 3/247 17035
/proc/meminfo: memFree=29053704/32872528 swapFree=189444/189444
[pid=17031] ppid=17028 vsize=1306180 CPUtime=3.09 cores=0,2,4,6
/proc/17031/stat : 17031 (toysat) R 17028 17031 13211 0 -1 4202496 267534 0 0 0 273 36 0 0 20 0 4 0 12332650 1337528320 267864 33554432000 4194304 16246674 140733842351040 140733842332928 5724451 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/17031/statm: 326545 267864 786 2943 0 323439 0
[pid=17031/tid=17032] ppid=17028 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/17031/task/17032/stat : 17032 (toysat) S 17028 17031 13211 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 12332650 1337528320 267864 33554432000 4194304 16246674 140733842351040 139713026436336 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=17031/tid=17033] ppid=17028 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/17031/task/17033/stat : 17033 (toysat) S 17028 17031 13211 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12332650 1337528320 267864 33554432000 4194304 16246674 140733842351040 139713015946480 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=17031/tid=17034] ppid=17028 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/17031/task/17034/stat : 17034 (toysat) S 17028 17031 13211 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 12332650 1337528320 267864 33554432000 4194304 16246674 140733842351040 139712937323696 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 1306180

[startup+6.30042 s]
/proc/loadavg: 2.00 2.01 2.23 3/247 17035
/proc/meminfo: memFree=29051496/32872528 swapFree=189444/189444
[pid=17031] ppid=17028 vsize=1307204 CPUtime=6.29 cores=0,2,4,6
/proc/17031/stat : 17031 (toysat) R 17028 17031 13211 0 -1 4202496 267593 0 0 0 593 36 0 0 20 0 4 0 12332650 1338576896 267923 33554432000 4194304 16246674 140733842351040 140733842332928 13820120 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/17031/statm: 326801 267923 786 2943 0 323695 0
[pid=17031/tid=17032] ppid=17028 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/17031/task/17032/stat : 17032 (toysat) S 17028 17031 13211 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 12332650 1338576896 267923 33554432000 4194304 16246674 140733842351040 139713026436336 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=17031/tid=17033] ppid=17028 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/17031/task/17033/stat : 17033 (toysat) S 17028 17031 13211 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12332650 1338576896 267923 33554432000 4194304 16246674 140733842351040 139713015946480 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=17031/tid=17034] ppid=17028 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/17031/task/17034/stat : 17034 (toysat) S 17028 17031 13211 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 12332650 1338576896 267923 33554432000 4194304 16246674 140733842351040 139712937323696 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 1307204

[startup+12.7004 s]
/proc/loadavg: 2.00 2.01 2.23 3/247 17035
/proc/meminfo: memFree=29050480/32872528 swapFree=189444/189444
[pid=17031] ppid=17028 vsize=1308228 CPUtime=12.68 cores=0,2,4,6
/proc/17031/stat : 17031 (toysat) R 17028 17031 13211 0 -1 4202496 267856 0 0 0 1232 36 0 0 20 0 4 0 12332650 1339625472 268186 33554432000 4194304 16246674 140733842351040 140733842332928 5672188 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/17031/statm: 327057 268186 786 2943 0 323951 0
[pid=17031/tid=17032] ppid=17028 vsize=1308228 CPUtime=0 cores=0,2,4,6
/proc/17031/task/17032/stat : 17032 (toysat) S 17028 17031 13211 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 12332650 1339625472 268186 33554432000 4194304 16246674 140733842351040 139713026436336 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=17031/tid=17033] ppid=17028 vsize=1308228 CPUtime=0 cores=0,2,4,6
/proc/17031/task/17033/stat : 17033 (toysat) S 17028 17031 13211 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12332650 1339625472 268186 33554432000 4194304 16246674 140733842351040 139713015946480 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=17031/tid=17034] ppid=17028 vsize=1308228 CPUtime=0 cores=0,2,4,6
/proc/17031/task/17034/stat : 17034 (toysat) S 17028 17031 13211 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 12332650 1339625472 268186 33554432000 4194304 16246674 140733842351040 139712937323696 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 1308228

[startup+25.5005 s]
/proc/loadavg: 2.00 2.01 2.23 3/247 17035
/proc/meminfo: memFree=29049636/32872528 swapFree=189444/189444
[pid=17031] ppid=17028 vsize=1308228 CPUtime=25.48 cores=0,2,4,6
/proc/17031/stat : 17031 (toysat) R 17028 17031 13211 0 -1 4202496 268081 0 0 0 2511 37 0 0 20 0 4 0 12332650 1339625472 268411 33554432000 4194304 16246674 140733842351040 140733842332928 6844352 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/17031/statm: 327057 268411 787 2943 0 323951 0
[pid=17031/tid=17032] ppid=17028 vsize=1308228 CPUtime=0 cores=0,2,4,6
/proc/17031/task/17032/stat : 17032 (toysat) S 17028 17031 13211 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 12332650 1339625472 268411 33554432000 4194304 16246674 140733842351040 139713026436336 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=17031/tid=17033] ppid=17028 vsize=1308228 CPUtime=0 cores=0,2,4,6
/proc/17031/task/17033/stat : 17033 (toysat) S 17028 17031 13211 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12332650 1339625472 268411 33554432000 4194304 16246674 140733842351040 139713015946480 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=17031/tid=17034] ppid=17028 vsize=1308228 CPUtime=0 cores=0,2,4,6
/proc/17031/task/17034/stat : 17034 (toysat) S 17028 17031 13211 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 12332650 1339625472 268411 33554432000 4194304 16246674 140733842351040 139712937323696 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 1308228

[startup+51.1005 s]
/proc/loadavg: 2.06 2.02 2.23 3/247 17035
/proc/meminfo: memFree=29048780/32872528 swapFree=189444/189444
[pid=17031] ppid=17028 vsize=1309252 CPUtime=51.08 cores=0,2,4,6
/proc/17031/stat : 17031 (toysat) R 17028 17031 13211 0 -1 4202496 268337 0 0 0 5070 38 0 0 20 0 4 0 12332650 1340674048 268667 33554432000 4194304 16246674 140733842351040 140733842332928 13193979 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/17031/statm: 327313 268667 787 2943 0 324207 0
[pid=17031/tid=17032] ppid=17028 vsize=1309252 CPUtime=0 cores=0,2,4,6
/proc/17031/task/17032/stat : 17032 (toysat) S 17028 17031 13211 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 12332650 1340674048 268667 33554432000 4194304 16246674 140733842351040 139713026436336 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=17031/tid=17033] ppid=17028 vsize=1309252 CPUtime=0 cores=0,2,4,6
/proc/17031/task/17033/stat : 17033 (toysat) S 17028 17031 13211 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12332650 1340674048 268667 33554432000 4194304 16246674 140733842351040 139713015946480 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=17031/tid=17034] ppid=17028 vsize=1309252 CPUtime=0 cores=0,2,4,6
/proc/17031/task/17034/stat : 17034 (toysat) S 17028 17031 13211 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 12332650 1340674048 268667 33554432000 4194304 16246674 140733842351040 139712937323696 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 1309252

[startup+102.301 s]
/proc/loadavg: 2.02 2.02 2.21 3/247 17036
/proc/meminfo: memFree=29048780/32872528 swapFree=189444/189444
[pid=17031] ppid=17028 vsize=1309252 CPUtime=102.28 cores=0,2,4,6
/proc/17031/stat : 17031 (toysat) R 17028 17031 13211 0 -1 4202496 268337 0 0 0 10190 38 0 0 20 0 4 0 12332650 1340674048 268667 33554432000 4194304 16246674 140733842351040 140733842334040 5822252 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/17031/statm: 327313 268667 787 2943 0 324207 0
[pid=17031/tid=17032] ppid=17028 vsize=1309252 CPUtime=0 cores=0,2,4,6
/proc/17031/task/17032/stat : 17032 (toysat) S 17028 17031 13211 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 12332650 1340674048 268667 33554432000 4194304 16246674 140733842351040 139713026436336 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=17031/tid=17033] ppid=17028 vsize=1309252 CPUtime=0 cores=0,2,4,6
/proc/17031/task/17033/stat : 17033 (toysat) S 17028 17031 13211 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12332650 1340674048 268667 33554432000 4194304 16246674 140733842351040 139713015946480 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=17031/tid=17034] ppid=17028 vsize=1309252 CPUtime=0 cores=0,2,4,6
/proc/17031/task/17034/stat : 17034 (toysat) S 17028 17031 13211 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 12332650 1340674048 268667 33554432000 4194304 16246674 140733842351040 139712937323696 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 1309252


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

/proc/17031/task/17034/stat : 17034 (toysat) S 17028 17031 13211 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 12332650 1346965504 270460 33554432000 4194304 16246674 140733842351040 139712937323696 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1301.87
Current children cumulated vsize (KiB) 1315396

[startup+1362.3 s]
/proc/loadavg: 2.01 2.03 2.07 3/247 17479
/proc/meminfo: memFree=29041624/32872528 swapFree=189444/189444
[pid=17031] ppid=17028 vsize=1315396 CPUtime=1361.86 cores=0,2,4,6
/proc/17031/stat : 17031 (toysat) R 17028 17031 13211 0 -1 4202496 270258 0 0 0 136128 58 0 0 20 0 4 0 12332650 1346965504 270460 33554432000 4194304 16246674 140733842351040 140733842332928 6842720 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/17031/statm: 328849 270460 788 2943 0 325743 0
[pid=17031/tid=17032] ppid=17028 vsize=1315396 CPUtime=0 cores=0,2,4,6
/proc/17031/task/17032/stat : 17032 (toysat) S 17028 17031 13211 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 12332650 1346965504 270460 33554432000 4194304 16246674 140733842351040 139713026436336 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=17031/tid=17033] ppid=17028 vsize=1315396 CPUtime=0 cores=0,2,4,6
/proc/17031/task/17033/stat : 17033 (toysat) S 17028 17031 13211 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12332650 1346965504 270460 33554432000 4194304 16246674 140733842351040 139713015946480 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=17031/tid=17034] ppid=17028 vsize=1315396 CPUtime=0 cores=0,2,4,6
/proc/17031/task/17034/stat : 17034 (toysat) S 17028 17031 13211 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 12332650 1346965504 270460 33554432000 4194304 16246674 140733842351040 139712937323696 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1361.86
Current children cumulated vsize (KiB) 1315396

[startup+1422.3 s]
/proc/loadavg: 2.06 2.04 2.07 3/247 17481
/proc/meminfo: memFree=29041796/32872528 swapFree=189444/189444
[pid=17031] ppid=17028 vsize=1315396 CPUtime=1421.86 cores=0,2,4,6
/proc/17031/stat : 17031 (toysat) R 17028 17031 13211 0 -1 4202496 270258 0 0 0 142127 59 0 0 20 0 4 0 12332650 1346965504 270460 33554432000 4194304 16246674 140733842351040 140733842332928 5546214 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/17031/statm: 328849 270460 788 2943 0 325743 0
[pid=17031/tid=17032] ppid=17028 vsize=1315396 CPUtime=0 cores=0,2,4,6
/proc/17031/task/17032/stat : 17032 (toysat) S 17028 17031 13211 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 12332650 1346965504 270460 33554432000 4194304 16246674 140733842351040 139713026436336 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=17031/tid=17033] ppid=17028 vsize=1315396 CPUtime=0 cores=0,2,4,6
/proc/17031/task/17033/stat : 17033 (toysat) S 17028 17031 13211 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12332650 1346965504 270460 33554432000 4194304 16246674 140733842351040 139713015946480 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=17031/tid=17034] ppid=17028 vsize=1315396 CPUtime=0 cores=0,2,4,6
/proc/17031/task/17034/stat : 17034 (toysat) S 17028 17031 13211 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 12332650 1346965504 270460 33554432000 4194304 16246674 140733842351040 139712937323696 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1421.86
Current children cumulated vsize (KiB) 1315396

[startup+1482.3 s]
/proc/loadavg: 2.02 2.03 2.07 3/247 17482
/proc/meminfo: memFree=29041956/32872528 swapFree=189444/189444
[pid=17031] ppid=17028 vsize=1315396 CPUtime=1481.85 cores=0,2,4,6
/proc/17031/stat : 17031 (toysat) R 17028 17031 13211 0 -1 4202496 270258 0 0 0 148125 60 0 0 20 0 4 0 12332650 1346965504 270460 33554432000 4194304 16246674 140733842351040 140733842332928 15015658 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/17031/statm: 328849 270460 788 2943 0 325743 0
[pid=17031/tid=17032] ppid=17028 vsize=1315396 CPUtime=0 cores=0,2,4,6
/proc/17031/task/17032/stat : 17032 (toysat) S 17028 17031 13211 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 12332650 1346965504 270460 33554432000 4194304 16246674 140733842351040 139713026436336 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=17031/tid=17033] ppid=17028 vsize=1315396 CPUtime=0 cores=0,2,4,6
/proc/17031/task/17033/stat : 17033 (toysat) S 17028 17031 13211 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12332650 1346965504 270460 33554432000 4194304 16246674 140733842351040 139713015946480 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=17031/tid=17034] ppid=17028 vsize=1315396 CPUtime=0 cores=0,2,4,6
/proc/17031/task/17034/stat : 17034 (toysat) S 17028 17031 13211 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 12332650 1346965504 270460 33554432000 4194304 16246674 140733842351040 139712937323696 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1481.85
Current children cumulated vsize (KiB) 1315396

[startup+1542.31 s]
/proc/loadavg: 2.00 2.02 2.06 3/248 17486
/proc/meminfo: memFree=29040280/32872528 swapFree=189444/189444
[pid=17031] ppid=17028 vsize=1315396 CPUtime=1541.85 cores=0,2,4,6
/proc/17031/stat : 17031 (toysat) R 17028 17031 13211 0 -1 4202496 270258 0 0 0 154124 61 0 0 20 0 4 0 12332650 1346965504 270460 33554432000 4194304 16246674 140733842351040 140733842334040 5523232 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/17031/statm: 328849 270460 788 2943 0 325743 0
[pid=17031/tid=17032] ppid=17028 vsize=1315396 CPUtime=0 cores=0,2,4,6
/proc/17031/task/17032/stat : 17032 (toysat) S 17028 17031 13211 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 12332650 1346965504 270460 33554432000 4194304 16246674 140733842351040 139713026436336 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=17031/tid=17033] ppid=17028 vsize=1315396 CPUtime=0 cores=0,2,4,6
/proc/17031/task/17033/stat : 17033 (toysat) S 17028 17031 13211 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12332650 1346965504 270460 33554432000 4194304 16246674 140733842351040 139713015946480 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=17031/tid=17034] ppid=17028 vsize=1315396 CPUtime=0 cores=0,2,4,6
/proc/17031/task/17034/stat : 17034 (toysat) S 17028 17031 13211 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 12332650 1346965504 270460 33554432000 4194304 16246674 140733842351040 139712937323696 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1541.85
Current children cumulated vsize (KiB) 1315396

[startup+1602.3 s]
/proc/loadavg: 2.00 2.02 2.06 3/247 17487
/proc/meminfo: memFree=29041708/32872528 swapFree=189444/189444
[pid=17031] ppid=17028 vsize=1315396 CPUtime=1601.82 cores=0,2,4,6
/proc/17031/stat : 17031 (toysat) R 17028 17031 13211 0 -1 4202496 270258 0 0 0 160121 61 0 0 20 0 4 0 12332650 1346965504 270460 33554432000 4194304 16246674 140733842351040 140733842332928 5823919 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/17031/statm: 328849 270460 788 2943 0 325743 0
[pid=17031/tid=17032] ppid=17028 vsize=1315396 CPUtime=0 cores=0,2,4,6
/proc/17031/task/17032/stat : 17032 (toysat) S 17028 17031 13211 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 12332650 1346965504 270460 33554432000 4194304 16246674 140733842351040 139713026436336 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=17031/tid=17033] ppid=17028 vsize=1315396 CPUtime=0 cores=0,2,4,6
/proc/17031/task/17033/stat : 17033 (toysat) S 17028 17031 13211 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12332650 1346965504 270460 33554432000 4194304 16246674 140733842351040 139713015946480 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=17031/tid=17034] ppid=17028 vsize=1315396 CPUtime=0 cores=0,2,4,6
/proc/17031/task/17034/stat : 17034 (toysat) S 17028 17031 13211 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 12332650 1346965504 270460 33554432000 4194304 16246674 140733842351040 139712937323696 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1601.82
Current children cumulated vsize (KiB) 1315396

[startup+1662.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/247 17488
/proc/meminfo: memFree=29040596/32872528 swapFree=189444/189444
[pid=17031] ppid=17028 vsize=1315396 CPUtime=1661.82 cores=0,2,4,6
/proc/17031/stat : 17031 (toysat) R 17028 17031 13211 0 -1 4202496 270258 0 0 0 166120 62 0 0 20 0 4 0 12332650 1346965504 270460 33554432000 4194304 16246674 140733842351040 140733842334040 5672832 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/17031/statm: 328849 270460 788 2943 0 325743 0
[pid=17031/tid=17032] ppid=17028 vsize=1315396 CPUtime=0 cores=0,2,4,6
/proc/17031/task/17032/stat : 17032 (toysat) S 17028 17031 13211 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 12332650 1346965504 270460 33554432000 4194304 16246674 140733842351040 139713026436336 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=17031/tid=17033] ppid=17028 vsize=1315396 CPUtime=0 cores=0,2,4,6
/proc/17031/task/17033/stat : 17033 (toysat) S 17028 17031 13211 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12332650 1346965504 270460 33554432000 4194304 16246674 140733842351040 139713015946480 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=17031/tid=17034] ppid=17028 vsize=1315396 CPUtime=0 cores=0,2,4,6
/proc/17031/task/17034/stat : 17034 (toysat) S 17028 17031 13211 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 12332650 1346965504 270460 33554432000 4194304 16246674 140733842351040 139712937323696 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1661.82
Current children cumulated vsize (KiB) 1315396

[startup+1722.3 s]
/proc/loadavg: 2.05 2.02 2.05 3/247 17490
/proc/meminfo: memFree=29041424/32872528 swapFree=189444/189444
[pid=17031] ppid=17028 vsize=1315396 CPUtime=1721.81 cores=0,2,4,6
/proc/17031/stat : 17031 (toysat) R 17028 17031 13211 0 -1 4202496 270258 0 0 0 172118 63 0 0 20 0 4 0 12332650 1346965504 270460 33554432000 4194304 16246674 140733842351040 140733842332928 5822263 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/17031/statm: 328849 270460 788 2943 0 325743 0
[pid=17031/tid=17032] ppid=17028 vsize=1315396 CPUtime=0 cores=0,2,4,6
/proc/17031/task/17032/stat : 17032 (toysat) S 17028 17031 13211 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 12332650 1346965504 270460 33554432000 4194304 16246674 140733842351040 139713026436336 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=17031/tid=17033] ppid=17028 vsize=1315396 CPUtime=0 cores=0,2,4,6
/proc/17031/task/17033/stat : 17033 (toysat) S 17028 17031 13211 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12332650 1346965504 270460 33554432000 4194304 16246674 140733842351040 139713015946480 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=17031/tid=17034] ppid=17028 vsize=1315396 CPUtime=0 cores=0,2,4,6
/proc/17031/task/17034/stat : 17034 (toysat) S 17028 17031 13211 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 12332650 1346965504 270460 33554432000 4194304 16246674 140733842351040 139712937323696 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1721.81
Current children cumulated vsize (KiB) 1315396

[startup+1782.3 s]
/proc/loadavg: 2.05 2.03 2.05 3/247 17491
/proc/meminfo: memFree=29040584/32872528 swapFree=189444/189444
[pid=17031] ppid=17028 vsize=1315396 CPUtime=1781.8 cores=0,2,4,6
/proc/17031/stat : 17031 (toysat) R 17028 17031 13211 0 -1 4202496 270258 0 0 0 178116 64 0 0 20 0 4 0 12332650 1346965504 270460 33554432000 4194304 16246674 140733842351040 140733842334040 5822428 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/17031/statm: 328849 270460 788 2943 0 325743 0
[pid=17031/tid=17032] ppid=17028 vsize=1315396 CPUtime=0 cores=0,2,4,6
/proc/17031/task/17032/stat : 17032 (toysat) S 17028 17031 13211 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 12332650 1346965504 270460 33554432000 4194304 16246674 140733842351040 139713026436336 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=17031/tid=17033] ppid=17028 vsize=1315396 CPUtime=0 cores=0,2,4,6
/proc/17031/task/17033/stat : 17033 (toysat) S 17028 17031 13211 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12332650 1346965504 270460 33554432000 4194304 16246674 140733842351040 139713015946480 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=17031/tid=17034] ppid=17028 vsize=1315396 CPUtime=0 cores=0,2,4,6
/proc/17031/task/17034/stat : 17034 (toysat) S 17028 17031 13211 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 12332650 1346965504 270460 33554432000 4194304 16246674 140733842351040 139712937323696 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1781.8
Current children cumulated vsize (KiB) 1315396



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.5 s]
/proc/loadavg: 2.04 2.03 2.05 3/247 17491
/proc/meminfo: memFree=29041328/32872528 swapFree=189444/189444
[pid=17031] ppid=17028 vsize=1315396 CPUtime=1800 cores=0,2,4,6
/proc/17031/stat : 17031 (toysat) R 17028 17031 13211 0 -1 4202496 270258 0 0 0 179936 64 0 0 20 0 4 0 12332650 1346965504 270460 33554432000 4194304 16246674 140733842351040 140733842332928 5546116 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/17031/statm: 328849 270460 788 2943 0 325743 0
[pid=17031/tid=17032] ppid=17028 vsize=1315396 CPUtime=0 cores=0,2,4,6
/proc/17031/task/17032/stat : 17032 (toysat) S 17028 17031 13211 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 12332650 1346965504 270460 33554432000 4194304 16246674 140733842351040 139713026436336 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=17031/tid=17033] ppid=17028 vsize=1315396 CPUtime=0 cores=0,2,4,6
/proc/17031/task/17033/stat : 17033 (toysat) S 17028 17031 13211 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12332650 1346965504 270460 33554432000 4194304 16246674 140733842351040 139713015946480 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=17031/tid=17034] ppid=17028 vsize=1315396 CPUtime=0 cores=0,2,4,6
/proc/17031/task/17034/stat : 17034 (toysat) S 17028 17031 13211 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 12332650 1346965504 270460 33554432000 4194304 16246674 140733842351040 139712937323696 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1800
Current children cumulated vsize (KiB) 1315396

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

[startup+1800.5 s]
/proc/loadavg: 2.04 2.03 2.05 3/247 17491
/proc/meminfo: memFree=29041328/32872528 swapFree=189444/189444
[pid=17031] ppid=17028 vsize=1315396 CPUtime=1800 cores=0,2,4,6
/proc/17031/stat : 17031 (toysat) R 17028 17031 13211 0 -1 4202496 270258 0 0 0 179936 64 0 0 20 0 4 0 12332650 1346965504 270460 33554432000 4194304 16246674 140733842351040 140733842332928 5546116 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/17031/statm: 328849 270460 788 2943 0 325743 0
[pid=17031/tid=17032] ppid=17028 vsize=1315396 CPUtime=0 cores=0,2,4,6
/proc/17031/task/17032/stat : 17032 (toysat) S 17028 17031 13211 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 12332650 1346965504 270460 33554432000 4194304 16246674 140733842351040 139713026436336 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=17031/tid=17033] ppid=17028 vsize=1315396 CPUtime=0 cores=0,2,4,6
/proc/17031/task/17033/stat : 17033 (toysat) S 17028 17031 13211 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12332650 1346965504 270460 33554432000 4194304 16246674 140733842351040 139713015946480 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=17031/tid=17034] ppid=17028 vsize=1315396 CPUtime=0 cores=0,2,4,6
/proc/17031/task/17034/stat : 17034 (toysat) S 17028 17031 13211 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 12332650 1346965504 270460 33554432000 4194304 16246674 140733842351040 139712937323696 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1800
Current children cumulated vsize (KiB) 1315396

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1800.51
CPU time (s): 1800.01
CPU user time (s): 1799.37
CPU system time (s): 0.645901
CPU usage (%): 99.9726
Max. virtual memory (cumulated for all children) (KiB): 1315396

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.37
system time used= 0.645901
maximum resident set size= 1081840
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 270258
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= 398
involuntary context switches= 1860

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 13.9259 second user time and 15.0517 second system time

The end

Begin job on node102 at 2016-06-30 20:44:21
IDJOB=4120754
IDBENCH=110101
IDSOLVER=2542
FILE ID=node102/4120754-1467312261
RUNJOBID= node102-1467310764-16424
PBS_JOBID= 20005272
Free space on /tmp= 71656 MiB

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

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

MD5SUM BENCH= 5717c2798559964dfa16aa1bdf21c4c1
RANDOM SEED=442288404

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

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

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

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

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

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

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

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

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.744
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:        30125364 kB
Buffers:          156860 kB
Cached:           569868 kB
SwapCached:            0 kB
Active:          1397152 kB
Inactive:         419544 kB
Active(anon):    1092556 kB
Inactive(anon):        0 kB
Active(file):     304596 kB
Inactive(file):   419544 kB
Unevictable:      189444 kB
Mlocked:          189444 kB
SwapTotal:      67108856 kB
SwapFree:       67108856 kB
Dirty:             16336 kB
Writeback:             0 kB
AnonPages:       1279132 kB
Mapped:            17616 kB
Shmem:               204 kB
Slab:             609792 kB
SReclaimable:      53128 kB
SUnreclaim:       556664 kB
KernelStack:        2032 kB
PageTables:         6780 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    1426100 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:   1073152 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= 71636 MiB
End job on node102 at 2016-06-30 21:14:22