0.00/0.00	c 2016-06-16T20:00:13+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-4095973-1466100012.opb"]
0.00/0.01	c use --random-gen="2482442491 2290655045 3168303226 2326893867 2405452996 1285231464 2411204797 895341683 3856707791 329118349 1822529532 811581139 1947545158 1744804736 1876000874 2280252002 3195667687 3199672516 1678559269 1345589963 3026220869 2181856371 1431598462 1489878747 1592939551 3217141045 1435001005 17362199 1183403515 3650017317 570031875 2683090856 672211348 2589813343 1280026955 981122882 4109155975 2880115487 103232670 1856286225 4043842751 4281020303 2348198206 4190791742 4174818969 492536996 3092497831 320019811 2436386359 385292116 3419248214 167554686 724590001 1158468380 735833325 1640701914 1935592098 333181419 3737042960 3735269536 2511728719 3672744681 2528637887 895723381 2962896273 2687492812 2758170330 556067038 1490951203 580891475 2762556460 2576700033 30102163 2025903110 2402709075 1236561500 3792617421 4173698136 2506704764 1270097119 1528618819 3746588806 2189943029 2610098516 3169155081 1342398848 798576926 3653251493 4136060616 2795151393 2943076109 3624561093 2385119761 2821693703 3246442827 2773165733 2916901672 1037442779 3299462911 404520081 913640486 3771177934 4284884406 873022336 2250511220 3933748370 1369502190 4212236159 2614231121 4205065564 1571536699 1515329127 636268896 1957036003 95108864 2564206700 1642332354 1869010313 1488389016 4072083899 847060496 927711990 3683397325 3139953306 1896390945 4105642799 2172571290 2581095960 271348735 553592299 74131207 1266876663 494440562 3723618798 933650906 3947701030 1217479934 866540606 2926751809 638952711 2632666115 4035687538 2502024547 2511083581 304271725 2000986018 884989135 1617772957 3721453332 1117327204 1431572791 2803401356 2582464752 2878189836 4119133094 1967336065 2759627031 3751940342 1759561640 2686658186 523540122 230171087 2436168422 2324098718 4044045100 2089989134 22016914 1725210782 2115130578 123662471 3370262937 3336814261 325788327 63019714 768678658 1130402919 329188907 3278316533 3079969594 372321633 766816489 2086525879 3075304668 1009518338 236115478 1965180667 4139236386 910164370 3354549517 3409722374 1892648912 253328630 4025267369 4252293950 100454379 4185840478 3104658143 3373256842 2761572457 3536184329 3636480295 3257092978 541065767 4109851919 3445931373 1657263752 4149888701 2021441087 1733396956 3121701585 2188551128 2776675305 869058924 3866831024 272203490 4066630885 707203699 3519514618 4125358064 2397724842 1408869806 1333874029 1366209820 543972256 2383476518 1670197278 855572977 3352270647 1978048264 3999778385 311958769 846985697 2420442001 2028523079 1723396539 3634003726 932491937 3444252786 4151059447 2672569714 4066851371 3361532697 3441332842 4175534849 83226753 3248039511 172448305 740192214 1111400246 1123612469 732449294 2817488029 3501789967 1845275162 2194132722 2974831511 255 362436" option to reproduce the execution
0.00/0.01	c #vars 141
0.00/0.01	c #constraints 70
0.00/0.01	c Solving starts ...
0.00/0.01	c ============================[ Search Statistics ]============================
0.00/0.01	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
0.00/0.01	c       |         |          |          |    Limit     GC | Var      | Constra 
0.00/0.01	c =============================================================================
0.00/0.01	c  0.0s |       0 |        0 |        0 |       70      0 |        0 |        0
0.00/0.02	c  0.0s |       1 |      143 |      100 |       70      0 |        0 |        0
0.00/0.03	c  0.0s |       2 |      342 |      250 |       77      2 |        0 |        0
0.00/0.05	c  0.0s |       3 |      801 |      475 |       85      7 |        0 |        0
0.00/0.08	c  0.1s |       4 |     1330 |      813 |       94     12 |        0 |        0
0.09/0.13	c  0.1s |       5 |     2049 |     1320 |      104     18 |        0 |        0
0.19/0.20	c  0.2s |       6 |     3282 |     2081 |      127     27 |        0 |        0
0.29/0.31	c  0.3s |       7 |     4925 |     3223 |      140     38 |        0 |        0
0.39/0.47	c  0.5s |       8 |     7310 |     4936 |      154     58 |        0 |        0
0.69/0.72	c  0.7s |       9 |    11044 |     7506 |      170     83 |        0 |        0
0.99/1.07	c  1.1s |      10 |    16151 |    11361 |      188    115 |        0 |        0
1.39/1.44	c  1.4s |      11 |    24630 |    17144 |      207    165 |        0 |        0
2.09/2.14	c  2.1s |      12 |    37785 |    25819 |      228    235 |        0 |        0
2.99/3.09	c  3.1s |      13 |    55923 |    38832 |      251    334 |        0 |        0
4.29/4.38	c  4.4s |      14 |    82168 |    58352 |      277    456 |        0 |        0
6.29/6.35	c  6.3s |      15 |   122838 |    87632 |      305    654 |        0 |        0
8.29/8.36	c  8.3s |      15 |   165434 |   115032 |      305    816 |        0 |        0
9.59/9.63	c  9.6s |      16 |   189743 |   131552 |      336    914 |        0 |        0
11.59/11.64	c 11.6s |      16 |   223635 |   158652 |      336   1050 |        0 |        0
13.59/13.64	c 13.6s |      16 |   262565 |   187452 |      336   1205 |        0 |        0
14.29/14.39	c 14.4s |      17 |   275936 |   197432 |      370   1258 |        0 |        0
16.38/16.40	c 16.4s |      17 |   309018 |   220432 |      370   1371 |        0 |        0
18.38/18.41	c 18.4s |      17 |   342100 |   244532 |      370   1492 |        0 |        0
20.38/20.41	c 20.4s |      17 |   377270 |   268332 |      370   1609 |        0 |        0
22.39/22.41	c 22.4s |      17 |   414099 |   292932 |      370   1732 |        0 |        0
22.59/22.68	c 22.7s |      18 |   418893 |   296252 |      408   1747 |        0 |        0
24.59/24.69	c 24.7s |      18 |   456321 |   323752 |      408   1869 |        0 |        0
26.59/26.69	c 26.7s |      18 |   491906 |   349552 |      408   1983 |        0 |        0
28.60/28.70	c 28.7s |      18 |   529092 |   375252 |      408   2098 |        0 |        0
30.69/30.70	c 30.7s |      18 |   563171 |   400452 |      408   2209 |        0 |        0
32.69/32.70	c 32.7s |      18 |   596480 |   424452 |      408   2319 |        0 |        0
34.19/34.27	c 34.3s |      19 |   626668 |   444482 |      449   2410 |        0 |        0
36.18/36.27	c 36.3s |      19 |   661162 |   470782 |      449   2517 |        0 |        0
38.18/38.28	c 38.3s |      19 |   695742 |   496982 |      449   2625 |        0 |        0
40.18/40.29	c 40.3s |      19 |   731908 |   523482 |      449   2734 |        0 |        0
42.18/42.29	c 42.3s |      19 |   769174 |   550882 |      449   2847 |        0 |        0
44.18/44.29	c 44.3s |      19 |   806405 |   577882 |      449   2961 |        0 |        0
46.19/46.30	c 46.3s |      19 |   839675 |   602782 |      449   3066 |        0 |        0
48.28/48.31	c 48.3s |      19 |   874313 |   628382 |      449   3176 |        0 |        0
50.28/50.31	c 50.3s |      19 |   909163 |   653482 |      449   3281 |        0 |        0
51.38/51.40	c 51.4s |      20 |   927467 |   666827 |      494   3336 |        0 |        0
53.38/53.40	c 53.4s |      20 |   961866 |   691627 |      494   3432 |        0 |        0
55.38/55.41	c 55.4s |      20 |   998749 |   717127 |      494   3530 |        0 |        0
57.38/57.41	c 57.4s |      20 |  1036715 |   742927 |      494   3629 |        0 |        0
59.39/59.42	c 59.4s |      20 |  1074793 |   768027 |      494   3726 |        0 |        0
61.38/61.42	c 61.4s |      20 |  1111933 |   793727 |      494   3825 |        0 |        0
63.37/63.43	c 63.4s |      20 |  1146387 |   817127 |      494   3916 |        0 |        0
65.37/65.43	c 65.4s |      20 |  1183200 |   841427 |      494   4009 |        0 |        0
67.37/67.43	c 67.4s |      20 |  1218728 |   866227 |      494   4106 |        0 |        0
69.38/69.44	c 69.4s |      20 |  1255925 |   892427 |      494   4207 |        0 |        0
71.37/71.44	c 71.4s |      20 |  1291168 |   919427 |      494   4310 |        0 |        0
73.36/73.45	c 73.4s |      20 |  1326509 |   946227 |      494   4416 |        0 |        0
75.36/75.46	c 75.4s |      20 |  1361624 |   972127 |      494   4517 |        0 |        0
77.37/77.46	c 77.4s |      20 |  1395621 |   997427 |      544   4615 |        0 |        0
77.67/77.70	c 77.7s |      21 |  1399379 |  1000345 |      544   4625 |        0 |        0
79.67/79.71	c 79.7s |      21 |  1436273 |  1027345 |      544   4719 |        0 |        0
81.67/81.71	c 81.7s |      21 |  1469402 |  1051545 |      544   4801 |        0 |        0
83.68/83.71	c 83.7s |      21 |  1501745 |  1076045 |      544   4888 |        0 |        0
85.67/85.72	c 85.7s |      21 |  1535672 |  1101345 |      544   4979 |        0 |        0
87.67/87.73	c 87.7s |      21 |  1569307 |  1125845 |      544   5065 |        0 |        0
89.67/89.73	c 89.7s |      21 |  1605187 |  1152045 |      544   5156 |        0 |        0
91.67/91.74	c 91.7s |      21 |  1639295 |  1177645 |      544   5244 |        0 |        0
93.66/93.74	c 93.7s |      21 |  1670485 |  1201045 |      544   5325 |        0 |        0
95.67/95.75	c 95.7s |      21 |  1699342 |  1223345 |      544   5403 |        0 |        0
97.66/97.75	c 97.7s |      21 |  1730053 |  1246445 |      544   5485 |        0 |        0
99.66/99.75	c 99.7s |      21 |  1761573 |  1270745 |      544   5569 |        0 |        0
101.66/101.76	c  101s |      21 |  1794790 |  1295545 |      544   5658 |        0 |        0
103.66/103.77	c  103s |      21 |  1829954 |  1320345 |      544   5744 |        0 |        0
105.66/105.78	c  105s |      21 |  1861793 |  1343845 |      544   5827 |        0 |        0
107.66/107.78	c  107s |      21 |  1893741 |  1366645 |      544   5905 |        0 |        0
109.66/109.79	c  109s |      21 |  1927379 |  1392245 |      544   5992 |        0 |        0
111.66/111.79	c  111s |      21 |  1962526 |  1418645 |      544   6082 |        0 |        0
113.66/113.79	c  113s |      21 |  1997176 |  1444345 |      544   6173 |        0 |        0
115.66/115.79	c  115s |      21 |  2032806 |  1470745 |      544   6261 |        0 |        0
117.67/117.80	c  117s |      21 |  2066041 |  1495345 |      599   6344 |        0 |        0
118.16/118.21	c  118s |      22 |  2073149 |  1500622 |      599   6360 |        0 |        0
120.16/120.22	c  120s |      22 |  2107208 |  1526022 |      599   6438 |        0 |        0
122.17/122.22	c  122s |      22 |  2140204 |  1550622 |      599   6515 |        0 |        0
124.16/124.23	c  124s |      22 |  2173063 |  1575122 |      599   6591 |        0 |        0
126.16/126.23	c  126s |      22 |  2206895 |  1599322 |      599   6668 |        0 |        0
128.16/128.24	c  128s |      22 |  2239960 |  1623622 |      599   6745 |        0 |        0
130.16/130.25	c  130s |      22 |  2269586 |  1646322 |      599   6815 |        0 |        0
132.16/132.25	c  132s |      22 |  2302461 |  1669922 |      599   6889 |        0 |        0
134.16/134.25	c  134s |      22 |  2333987 |  1693922 |      599   6964 |        0 |        0
136.15/136.26	c  136s |      22 |  2367528 |  1718522 |      599   7042 |        0 |        0
138.15/138.27	c  138s |      22 |  2395238 |  1739722 |      599   7110 |        0 |        0
140.15/140.27	c  140s |      22 |  2428248 |  1763822 |      599   7186 |        0 |        0
142.15/142.28	c  142s |      22 |  2459607 |  1787822 |      599   7260 |        0 |        0
144.16/144.28	c  144s |      22 |  2492356 |  1812022 |      599   7335 |        0 |        0
146.15/146.28	c  146s |      22 |  2528054 |  1836722 |      599   7412 |        0 |        0
148.15/148.29	c  148s |      22 |  2561705 |  1860722 |      599   7487 |        0 |        0
150.16/150.29	c  150s |      22 |  2592550 |  1883622 |      599   7559 |        0 |        0
152.15/152.29	c  152s |      22 |  2622274 |  1906122 |      599   7629 |        0 |        0
154.15/154.29	c  154s |      22 |  2653751 |  1929322 |      599   7703 |        0 |        0
156.16/156.30	c  156s |      22 |  2687993 |  1953822 |      599   7780 |        0 |        0
158.25/158.30	c  158s |      22 |  2720771 |  1977622 |      599   7856 |        0 |        0
160.25/160.31	c  160s |      22 |  2750943 |  2000422 |      599   7926 |        0 |        0
162.25/162.31	c  162s |      22 |  2783478 |  2024422 |      599   8002 |        0 |        0
164.24/164.31	c  164s |      22 |  2815788 |  2047722 |      599   8076 |        0 |        0
166.24/166.31	c  166s |      22 |  2848674 |  2072022 |      599   8151 |        0 |        0
168.25/168.31	c  168s |      22 |  2881027 |  2096022 |      599   8227 |        0 |        0
170.24/170.32	c  170s |      22 |  2913571 |  2119322 |      599   8301 |        0 |        0
172.24/172.32	c  172s |      22 |  2945199 |  2142622 |      599   8374 |        0 |        0
174.24/174.32	c  174s |      22 |  2979144 |  2166922 |      599   8450 |        0 |        0
176.24/176.33	c  176s |      22 |  3011247 |  2190522 |      599   8525 |        0 |        0
178.24/178.33	c  178s |      22 |  3044000 |  2214622 |      599   8601 |        0 |        0
180.24/180.33	c  180s |      22 |  3075152 |  2238422 |      659   8673 |        0 |        0
181.34/181.45	c  181s |      23 |  3092132 |  2251038 |      659   8709 |        0 |        0
183.34/183.45	c  183s |      23 |  3124153 |  2275138 |      659   8777 |        0 |        0
185.33/185.46	c  185s |      23 |  3159380 |  2300538 |      659   8849 |        0 |        0
187.34/187.46	c  187s |      23 |  3190238 |  2323638 |      659   8914 |        0 |        0
189.34/189.47	c  189s |      23 |  3221174 |  2347038 |      659   8981 |        0 |        0
191.35/191.48	c  191s |      23 |  3253001 |  2371038 |      659   9050 |        0 |        0
193.34/193.48	c  193s |      23 |  3285067 |  2394438 |      659   9118 |        0 |        0
195.34/195.48	c  195s |      23 |  3316849 |  2418038 |      659   9186 |        0 |        0
197.33/197.49	c  197s |      23 |  3348261 |  2441038 |      659   9253 |        0 |        0
199.43/199.50	c  199s |      23 |  3381237 |  2465438 |      659   9324 |        0 |        0
201.43/201.50	c  201s |      23 |  3415546 |  2490338 |      659   9396 |        0 |        0
203.44/203.50	c  203s |      23 |  3448687 |  2514538 |      659   9466 |        0 |        0
205.43/205.51	c  205s |      23 |  3482502 |  2539338 |      659   9538 |        0 |        0
207.43/207.52	c  207s |      23 |  3513292 |  2563138 |      659   9608 |        0 |        0
209.43/209.52	c  209s |      23 |  3542152 |  2585238 |      659   9671 |        0 |        0
211.43/211.52	c  211s |      23 |  3575586 |  2609638 |      659   9743 |        0 |        0
213.43/213.52	c  213s |      23 |  3609086 |  2634338 |      659   9813 |        0 |        0
215.42/215.53	c  215s |      23 |  3641471 |  2658138 |      659   9883 |        0 |        0
217.42/217.54	c  217s |      23 |  3674889 |  2682538 |      659   9954 |        0 |        0
219.42/219.54	c  219s |      23 |  3709094 |  2707838 |      659  10027 |        0 |        0
221.42/221.55	c  221s |      23 |  3740229 |  2731438 |      659  10094 |        0 |        0
223.42/223.55	c  223s |      23 |  3771148 |  2754738 |      659  10160 |        0 |        0
225.43/225.55	c  225s |      23 |  3802925 |  2778738 |      659  10230 |        0 |        0
227.42/227.55	c  227s |      23 |  3833379 |  2801738 |      659  10296 |        0 |        0
229.42/229.55	c  229s |      23 |  3866763 |  2826138 |      659  10368 |        0 |        0
231.42/231.56	c  231s |      23 |  3899135 |  2850438 |      659  10440 |        0 |        0
233.42/233.56	c  233s |      23 |  3931911 |  2874438 |      659  10511 |        0 |        0
235.42/235.56	c  235s |      23 |  3964859 |  2898238 |      659  10580 |        0 |        0
237.42/237.57	c  237s |      23 |  3996582 |  2922138 |      659  10647 |        0 |        0
239.41/239.57	c  239s |      23 |  4027722 |  2945138 |      659  10713 |        0 |        0
241.41/241.57	c  241s |      23 |  4058491 |  2968538 |      659  10780 |        0 |        0
243.41/243.57	c  243s |      23 |  4089898 |  2991638 |      659  10846 |        0 |        0
245.42/245.57	c  245s |      23 |  4121370 |  3014538 |      659  10912 |        0 |        0
247.43/247.57	c  247s |      23 |  4154008 |  3038538 |      659  10982 |        0 |        0
249.42/249.58	c  249s |      23 |  4184686 |  3060138 |      659  11046 |        0 |        0
251.42/251.59	c  251s |      23 |  4216985 |  3083438 |      659  11114 |        0 |        0
253.42/253.59	c  253s |      23 |  4247039 |  3106238 |      659  11181 |        0 |        0
255.51/255.60	c  255s |      23 |  4278774 |  3129638 |      659  11250 |        0 |        0
257.51/257.61	c  257s |      23 |  4311447 |  3153938 |      659  11321 |        0 |        0
259.52/259.61	c  259s |      23 |  4342725 |  3177238 |      659  11389 |        0 |        0
261.51/261.62	c  261s |      23 |  4376508 |  3201138 |      659  11458 |        0 |        0
263.51/263.62	c  263s |      23 |  4408565 |  3224438 |      659  11526 |        0 |        0
265.51/265.62	c  265s |      23 |  4444539 |  3249838 |      659  11600 |        0 |        0
267.51/267.62	c  267s |      23 |  4478640 |  3274438 |      659  11672 |        0 |        0
269.52/269.63	c  269s |      23 |  4512479 |  3297838 |      659  11741 |        0 |        0
271.51/271.64	c  271s |      23 |  4546564 |  3323238 |      659  11815 |        0 |        0
273.51/273.64	c  273s |      23 |  4581279 |  3348838 |      659  11890 |        0 |        0
275.51/275.65	c  275s |      23 |  4615208 |  3373638 |      725  11957 |        0 |        0
275.81/275.90	c  275s |      24 |  4619233 |  3376662 |      725  11965 |        0 |        0
277.81/277.90	c  277s |      24 |  4646697 |  3398062 |      725  12020 |        0 |        0
279.81/279.90	c  279s |      24 |  4673104 |  3418062 |      725  12073 |        0 |        0
281.81/281.90	c  281s |      24 |  4697856 |  3437962 |      725  12125 |        0 |        0
283.82/283.91	c  283s |      24 |  4726224 |  3459062 |      725  12181 |        0 |        0
285.81/285.91	c  285s |      24 |  4751280 |  3478962 |      725  12233 |        0 |        0
287.81/287.92	c  287s |      24 |  4778822 |  3499762 |      725  12288 |        0 |        0
289.81/289.92	c  289s |      24 |  4809461 |  3522562 |      725  12348 |        0 |        0
291.81/291.93	c  291s |      24 |  4836087 |  3543062 |      725  12401 |        0 |        0
293.80/293.93	c  293s |      24 |  4863471 |  3563562 |      725  12455 |        0 |        0
295.81/295.93	c  295s |      24 |  4892743 |  3584362 |      725  12510 |        0 |        0
297.80/297.94	c  297s |      24 |  4917112 |  3602962 |      725  12559 |        0 |        0
299.80/299.95	c  299s |      24 |  4942580 |  3621662 |      725  12608 |        0 |        0
301.80/301.96	c  301s |      24 |  4967750 |  3640262 |      725  12657 |        0 |        0
303.80/303.97	c  303s |      24 |  4995782 |  3660462 |      725  12710 |        0 |        0
305.80/305.97	c  305s |      24 |  5023799 |  3681062 |      725  12765 |        0 |        0
307.80/307.98	c  307s |      24 |  5046311 |  3699562 |      725  12813 |        0 |        0
309.79/309.99	c  309s |      24 |  5072946 |  3720262 |      725  12867 |        0 |        0
311.79/312.00	c  311s |      24 |  5099792 |  3740362 |      725  12920 |        0 |        0
313.89/314.00	c  313s |      24 |  5128691 |  3762362 |      725  12978 |        0 |        0
315.89/316.01	c  316s |      24 |  5158775 |  3784362 |      725  13036 |        0 |        0
317.89/318.02	c  318s |      24 |  5183167 |  3804162 |      725  13088 |        0 |        0
319.89/320.02	c  320s |      24 |  5213200 |  3825662 |      725  13146 |        0 |        0
321.89/322.03	c  322s |      24 |  5243691 |  3846862 |      725  13202 |        0 |        0
323.88/324.03	c  324s |      24 |  5271871 |  3867662 |      725  13258 |        0 |        0
325.89/326.03	c  326s |      24 |  5300657 |  3889462 |      725  13316 |        0 |        0
327.89/328.04	c  328s |      24 |  5327991 |  3910462 |      725  13372 |        0 |        0
329.90/330.05	c  330s |      24 |  5357866 |  3931962 |      725  13429 |        0 |        0
331.89/332.05	c  332s |      24 |  5386821 |  3953462 |      725  13486 |        0 |        0
333.89/334.05	c  334s |      24 |  5414442 |  3973562 |      725  13540 |        0 |        0
335.89/336.06	c  336s |      24 |  5441810 |  3993762 |      725  13594 |        0 |        0
337.88/338.07	c  338s |      24 |  5467917 |  4013462 |      725  13646 |        0 |        0
339.89/340.07	c  340s |      24 |  5490349 |  4032062 |      725  13695 |        0 |        0
341.88/342.08	c  342s |      24 |  5515430 |  4051462 |      725  13747 |        0 |        0
343.88/344.09	c  344s |      24 |  5538480 |  4069362 |      725  13794 |        0 |        0
345.98/346.10	c  346s |      24 |  5563415 |  4088262 |      725  13844 |        0 |        0
347.98/348.11	c  348s |      24 |  5588427 |  4107362 |      725  13895 |        0 |        0
349.98/350.11	c  350s |      24 |  5614434 |  4127062 |      725  13947 |        0 |        0
351.99/352.12	c  352s |      24 |  5640986 |  4146562 |      725  13999 |        0 |        0
353.98/354.13	c  354s |      24 |  5671191 |  4166662 |      725  14052 |        0 |        0
355.98/356.13	c  356s |      24 |  5696806 |  4186062 |      725  14103 |        0 |        0
357.98/358.13	c  358s |      24 |  5722823 |  4205162 |      725  14154 |        0 |        0
359.98/360.14	c  360s |      24 |  5750020 |  4223662 |      725  14203 |        0 |        0
361.98/362.14	c  362s |      24 |  5776425 |  4242762 |      725  14253 |        0 |        0
363.98/364.15	c  364s |      24 |  5804115 |  4262462 |      725  14306 |        0 |        0
365.97/366.16	c  366s |      24 |  5835892 |  4284162 |      725  14364 |        0 |        0
367.97/368.16	c  368s |      24 |  5867210 |  4305662 |      725  14421 |        0 |        0
369.97/370.16	c  370s |      24 |  5897327 |  4327062 |      725  14478 |        0 |        0
371.97/372.16	c  372s |      24 |  5926461 |  4348662 |      725  14535 |        0 |        0
373.97/374.17	c  374s |      24 |  5957223 |  4369862 |      725  14592 |        0 |        0
375.96/376.17	c  376s |      24 |  5990813 |  4391862 |      725  14651 |        0 |        0
377.96/378.18	c  378s |      24 |  6024242 |  4413462 |      725  14709 |        0 |        0
379.96/380.18	c  380s |      24 |  6052155 |  4433262 |      725  14761 |        0 |        0
381.96/382.18	c  382s |      24 |  6078900 |  4453062 |      725  14814 |        0 |        0
383.96/384.19	c  384s |      24 |  6106333 |  4472062 |      725  14864 |        0 |        0
385.97/386.19	c  386s |      24 |  6133667 |  4491862 |      725  14917 |        0 |        0
387.97/388.20	c  388s |      24 |  6160597 |  4510862 |      725  14968 |        0 |        0
390.07/390.20	c  390s |      24 |  6188035 |  4530362 |      725  15020 |        0 |        0
392.07/392.20	c  392s |      24 |  6219503 |  4551562 |      725  15077 |        0 |        0
394.07/394.21	c  394s |      24 |  6251728 |  4573262 |      725  15135 |        0 |        0
396.07/396.21	c  396s |      24 |  6279610 |  4594562 |      725  15192 |        0 |        0
398.07/398.21	c  398s |      24 |  6310147 |  4617162 |      725  15252 |        0 |        0
400.07/400.22	c  400s |      24 |  6340051 |  4639162 |      725  15311 |        0 |        0
402.07/402.22	c  402s |      24 |  6369685 |  4660562 |      725  15368 |        0 |        0
404.06/404.22	c  404s |      24 |  6400510 |  4681762 |      725  15425 |        0 |        0
406.06/406.23	c  406s |      24 |  6434375 |  4704062 |      725  15484 |        0 |        0
408.07/408.23	c  408s |      24 |  6468397 |  4726362 |      725  15544 |        0 |        0
410.06/410.24	c  410s |      24 |  6499003 |  4747462 |      725  15600 |        0 |        0
412.06/412.24	c  412s |      24 |  6529056 |  4767962 |      725  15655 |        0 |        0
414.06/414.25	c  414s |      24 |  6560504 |  4789162 |      725  15712 |        0 |        0
416.05/416.25	c  416s |      24 |  6589749 |  4808762 |      725  15764 |        0 |        0
418.05/418.26	c  418s |      24 |  6622892 |  4830262 |      725  15821 |        0 |        0
420.06/420.26	c  420s |      24 |  6653993 |  4851662 |      725  15879 |        0 |        0
422.05/422.26	c  422s |      24 |  6684258 |  4872862 |      725  15935 |        0 |        0
424.05/424.27	c  424s |      24 |  6719476 |  4895662 |      725  15996 |        0 |        0
426.05/426.27	c  426s |      24 |  6750382 |  4917062 |      725  16053 |        0 |        0
428.05/428.28	c  428s |      24 |  6782765 |  4938662 |      725  16111 |        0 |        0
430.06/430.28	c  430s |      24 |  6816129 |  4960662 |      725  16169 |        0 |        0
432.05/432.28	c  432s |      24 |  6845865 |  4982162 |      725  16226 |        0 |        0
434.05/434.29	c  434s |      24 |  6876332 |  5003762 |      725  16284 |        0 |        0
436.05/436.29	c  436s |      24 |  6908859 |  5026062 |      725  16344 |        0 |        0
438.05/438.29	c  438s |      24 |  6940904 |  5047562 |      798  16397 |        0 |        0
439.75/439.97	c  439s |      25 |  6966594 |  5065098 |      798  16440 |        0 |        0
441.74/441.97	c  441s |      25 |  6996218 |  5085998 |      798  16491 |        0 |        0
443.74/443.98	c  443s |      25 |  7026792 |  5107498 |      798  16543 |        0 |        0
445.74/445.98	c  445s |      25 |  7057046 |  5127798 |      798  16592 |        0 |        0
447.74/447.99	c  447s |      25 |  7086874 |  5148298 |      798  16641 |        0 |        0
449.75/450.00	c  449s |      25 |  7116263 |  5169498 |      798  16692 |        0 |        0
451.84/452.01	c  451s |      25 |  7141502 |  5188298 |      798  16738 |        0 |        0
453.84/454.02	c  454s |      25 |  7170876 |  5209398 |      798  16789 |        0 |        0
455.84/456.02	c  456s |      25 |  7201922 |  5230698 |      798  16840 |        0 |        0
457.84/458.03	c  458s |      25 |  7234291 |  5252098 |      798  16892 |        0 |        0
459.84/460.03	c  460s |      25 |  7265742 |  5273798 |      798  16945 |        0 |        0
461.85/462.04	c  462s |      25 |  7297931 |  5296498 |      798  17000 |        0 |        0
463.83/464.04	c  464s |      25 |  7328674 |  5318898 |      798  17054 |        0 |        0
465.83/466.05	c  466s |      25 |  7356435 |  5339498 |      798  17104 |        0 |        0
467.83/468.06	c  468s |      25 |  7384702 |  5360198 |      798  17153 |        0 |        0
469.83/470.06	c  470s |      25 |  7415379 |  5382098 |      798  17207 |        0 |        0
471.84/472.07	c  472s |      25 |  7443431 |  5402698 |      798  17256 |        0 |        0
473.83/474.07	c  474s |      25 |  7471322 |  5423498 |      798  17306 |        0 |        0
475.83/476.08	c  476s |      25 |  7498457 |  5443498 |      798  17354 |        0 |        0
477.83/478.08	c  478s |      25 |  7530062 |  5465398 |      798  17407 |        0 |        0
479.83/480.08	c  480s |      25 |  7561290 |  5487198 |      798  17460 |        0 |        0
481.83/482.09	c  482s |      25 |  7590952 |  5507998 |      798  17511 |        0 |        0
483.83/484.10	c  484s |      25 |  7620552 |  5528998 |      798  17562 |        0 |        0
485.92/486.10	c  486s |      25 |  7649703 |  5549598 |      798  17612 |        0 |        0
487.92/488.11	c  488s |      25 |  7678329 |  5569998 |      798  17662 |        0 |        0
489.92/490.11	c  490s |      25 |  7707336 |  5590298 |      798  17711 |        0 |        0
491.92/492.11	c  492s |      25 |  7733875 |  5609698 |      798  17759 |        0 |        0
493.92/494.12	c  494s |      25 |  7761983 |  5630398 |      798  17810 |        0 |        0
495.92/496.13	c  496s |      25 |  7787537 |  5650198 |      798  17858 |        0 |        0
497.92/498.13	c  498s |      25 |  7817576 |  5671998 |      798  17912 |        0 |        0
499.92/500.14	c  500s |      25 |  7849322 |  5694698 |      798  17967 |        0 |        0
501.92/502.14	c  502s |      25 |  7880785 |  5716998 |      798  18020 |        0 |        0
503.92/504.14	c  504s |      25 |  7911981 |  5738998 |      798  18073 |        0 |        0
505.93/506.15	c  506s |      25 |  7943698 |  5761998 |      798  18129 |        0 |        0
507.92/508.15	c  508s |      25 |  7971758 |  5782698 |      798  18179 |        0 |        0
509.92/510.16	c  510s |      25 |  7999988 |  5803398 |      798  18229 |        0 |        0
511.92/512.16	c  512s |      25 |  8030474 |  5825398 |      798  18282 |        0 |        0
513.91/514.16	c  514s |      25 |  8059089 |  5846498 |      798  18333 |        0 |        0
515.91/516.17	c  516s |      25 |  8086734 |  5867298 |      798  18383 |        0 |        0
517.92/518.17	c  518s |      25 |  8115380 |  5888498 |      798  18435 |        0 |        0
519.91/520.18	c  520s |      25 |  8141443 |  5908598 |      798  18484 |        0 |        0
521.91/522.18	c  522s |      25 |  8168199 |  5929098 |      798  18533 |        0 |        0
523.90/524.18	c  524s |      25 |  8191114 |  5947598 |      798  18577 |        0 |        0
525.90/526.19	c  526s |      25 |  8222224 |  5969598 |      798  18630 |        0 |        0
527.91/528.19	c  528s |      25 |  8249692 |  5990098 |      798  18679 |        0 |        0
529.90/530.20	c  530s |      25 |  8278541 |  6010998 |      798  18730 |        0 |        0
532.00/532.20	c  532s |      25 |  8308359 |  6032198 |      798  18782 |        0 |        0
533.99/534.21	c  534s |      25 |  8338419 |  6053998 |      798  18834 |        0 |        0
535.99/536.22	c  536s |      25 |  8370131 |  6077198 |      798  18890 |        0 |        0
537.99/538.22	c  538s |      25 |  8400584 |  6099098 |      798  18943 |        0 |        0
540.00/540.23	c  540s |      25 |  8430799 |  6120898 |      798  18996 |        0 |        0
541.99/542.23	c  542s |      25 |  8459632 |  6141598 |      798  19046 |        0 |        0
543.99/544.24	c  544s |      25 |  8486909 |  6161398 |      798  19094 |        0 |        0
545.99/546.24	c  546s |      25 |  8515474 |  6181798 |      798  19145 |        0 |        0
547.99/548.25	c  548s |      25 |  8545880 |  6203398 |      798  19198 |        0 |        0
549.99/550.25	c  550s |      25 |  8576921 |  6225498 |      798  19251 |        0 |        0
551.99/552.25	c  552s |      25 |  8605500 |  6246598 |      798  19301 |        0 |        0
553.98/554.26	c  554s |      25 |  8634275 |  6267598 |      798  19352 |        0 |        0
555.98/556.27	c  556s |      25 |  8663305 |  6288898 |      798  19403 |        0 |        0
557.98/558.27	c  558s |      25 |  8693504 |  6310198 |      798  19455 |        0 |        0
559.99/560.27	c  560s |      25 |  8721311 |  6330098 |      798  19503 |        0 |        0
562.00/562.28	c  562s |      25 |  8747820 |  6349698 |      798  19550 |        0 |        0
563.99/564.28	c  564s |      25 |  8777537 |  6370998 |      798  19601 |        0 |        0
565.99/566.28	c  566s |      25 |  8803473 |  6390898 |      798  19648 |        0 |        0
567.99/568.28	c  568s |      25 |  8831407 |  6411598 |      798  19698 |        0 |        0
569.99/570.29	c  570s |      25 |  8864000 |  6434198 |      798  19753 |        0 |        0
571.99/572.29	c  572s |      25 |  8896985 |  6456898 |      798  19808 |        0 |        0
573.99/574.30	c  574s |      25 |  8923729 |  6477798 |      798  19859 |        0 |        0
576.08/576.31	c  576s |      25 |  8950702 |  6498498 |      798  19909 |        0 |        0
578.08/578.31	c  578s |      25 |  8975865 |  6518298 |      798  19957 |        0 |        0
580.08/580.31	c  580s |      25 |  9001432 |  6537298 |      798  20003 |        0 |        0
582.08/582.32	c  582s |      25 |  9028956 |  6557298 |      798  20051 |        0 |        0
584.08/584.32	c  584s |      25 |  9055114 |  6576598 |      798  20097 |        0 |        0
586.08/586.32	c  586s |      25 |  9081358 |  6595898 |      798  20143 |        0 |        0
588.08/588.33	c  588s |      25 |  9107017 |  6614798 |      798  20188 |        0 |        0
590.08/590.33	c  590s |      25 |  9130724 |  6633198 |      798  20232 |        0 |        0
592.07/592.33	c  592s |      25 |  9154864 |  6651798 |      798  20277 |        0 |        0
594.07/594.33	c  594s |      25 |  9182179 |  6671498 |      798  20324 |        0 |        0
596.08/596.34	c  596s |      25 |  9209885 |  6692398 |      798  20374 |        0 |        0
598.07/598.34	c  598s |      25 |  9236844 |  6712498 |      798  20423 |        0 |        0
600.07/600.35	c  600s |      25 |  9264514 |  6732498 |      798  20471 |        0 |        0
602.07/602.35	c  602s |      25 |  9293084 |  6753098 |      798  20521 |        0 |        0
604.06/604.35	c  604s |      25 |  9319584 |  6772898 |      798  20570 |        0 |        0
606.06/606.36	c  606s |      25 |  9343544 |  6791598 |      798  20615 |        0 |        0
608.08/608.36	c  608s |      25 |  9367456 |  6809998 |      798  20660 |        0 |        0
610.07/610.37	c  610s |      25 |  9392335 |  6828598 |      798  20705 |        0 |        0
612.07/612.38	c  612s |      25 |  9417112 |  6847698 |      798  20751 |        0 |        0
614.06/614.38	c  614s |      25 |  9443092 |  6867498 |      798  20798 |        0 |        0
616.06/616.39	c  616s |      25 |  9468054 |  6886798 |      798  20844 |        0 |        0
618.16/618.40	c  618s |      25 |  9492934 |  6905898 |      798  20890 |        0 |        0
620.06/620.40	c  620s |      25 |  9522773 |  6926698 |      798  20940 |        0 |        0
622.16/622.41	c  622s |      25 |  9551788 |  6947698 |      798  20991 |        0 |        0
624.16/624.41	c  624s |      25 |  9578641 |  6967598 |      798  21039 |        0 |        0
626.16/626.41	c  626s |      25 |  9605404 |  6987298 |      798  21087 |        0 |        0
628.16/628.42	c  628s |      25 |  9633855 |  7007498 |      798  21136 |        0 |        0
630.16/630.42	c  630s |      25 |  9660608 |  7027198 |      798  21184 |        0 |        0
632.16/632.43	c  632s |      25 |  9686444 |  7046298 |      798  21230 |        0 |        0
634.15/634.43	c  634s |      25 |  9713150 |  7065798 |      798  21277 |        0 |        0
636.15/636.43	c  636s |      25 |  9742035 |  7086198 |      798  21326 |        0 |        0
638.15/638.44	c  638s |      25 |  9770384 |  7106898 |      798  21376 |        0 |        0
640.15/640.44	c  640s |      25 |  9795243 |  7125798 |      798  21422 |        0 |        0
642.17/642.44	c  642s |      25 |  9824060 |  7146398 |      798  21472 |        0 |        0
644.16/644.45	c  644s |      25 |  9852578 |  7166998 |      798  21522 |        0 |        0
646.16/646.45	c  646s |      25 |  9881021 |  7187498 |      798  21572 |        0 |        0
648.16/648.45	c  648s |      25 |  9913285 |  7208898 |      798  21624 |        0 |        0
650.16/650.46	c  650s |      25 |  9941210 |  7229598 |      798  21674 |        0 |        0
652.16/652.47	c  652s |      25 |  9968629 |  7249798 |      798  21722 |        0 |        0
654.15/654.47	c  654s |      25 | 10000158 |  7271298 |      798  21775 |        0 |        0
656.15/656.48	c  656s |      25 | 10027816 |  7291498 |      798  21824 |        0 |        0
658.15/658.49	c  658s |      25 | 10056427 |  7311698 |      798  21872 |        0 |        0
660.15/660.49	c  660s |      25 | 10086033 |  7332498 |      798  21923 |        0 |        0
662.15/662.50	c  662s |      25 | 10112409 |  7352298 |      798  21972 |        0 |        0
664.15/664.50	c  664s |      25 | 10141487 |  7372998 |      798  22022 |        0 |        0
666.24/666.51	c  666s |      25 | 10173563 |  7394098 |      798  22074 |        0 |        0
668.24/668.51	c  668s |      25 | 10201498 |  7414298 |      798  22124 |        0 |        0
670.24/670.51	c  670s |      25 | 10229055 |  7434498 |      798  22173 |        0 |        0
672.24/672.52	c  672s |      25 | 10255167 |  7453598 |      798  22220 |        0 |        0
674.24/674.53	c  674s |      25 | 10284529 |  7474798 |      798  22271 |        0 |        0
676.24/676.53	c  676s |      25 | 10313101 |  7495998 |      798  22322 |        0 |        0
678.24/678.53	c  678s |      25 | 10340986 |  7516898 |      798  22372 |        0 |        0
680.24/680.54	c  680s |      25 | 10366015 |  7536398 |      798  22419 |        0 |        0
682.25/682.55	c  682s |      25 | 10391161 |  7555498 |      878  22461 |        0 |        0
684.25/684.55	c  684s |      25 | 10418528 |  7576098 |      878  22506 |        0 |        0
686.25/686.55	c  686s |      25 | 10446708 |  7596598 |      878  22551 |        0 |        0
686.34/686.67	c  686s |      26 | 10448234 |  7597752 |      878  22553 |        0 |        0
688.35/688.67	c  688s |      26 | 10479477 |  7619252 |      878  22601 |        0 |        0
690.34/690.68	c  690s |      26 | 10513210 |  7642152 |      878  22651 |        0 |        0
692.34/692.69	c  692s |      26 | 10545221 |  7664052 |      878  22700 |        0 |        0
694.34/694.69	c  694s |      26 | 10576238 |  7686052 |      878  22748 |        0 |        0
696.34/696.69	c  696s |      26 | 10605426 |  7706952 |      878  22794 |        0 |        0
698.44/698.70	c  698s |      26 | 10635177 |  7727752 |      878  22840 |        0 |        0
700.45/700.71	c  700s |      26 | 10661377 |  7747352 |      878  22883 |        0 |        0
702.44/702.71	c  702s |      26 | 10691907 |  7769552 |      878  22932 |        0 |        0
704.44/704.72	c  704s |      26 | 10721375 |  7791052 |      878  22980 |        0 |        0
706.44/706.72	c  706s |      26 | 10746313 |  7810852 |      878  23023 |        0 |        0
708.44/708.73	c  708s |      26 | 10772624 |  7831352 |      878  23069 |        0 |        0
710.45/710.74	c  710s |      26 | 10796116 |  7850352 |      878  23111 |        0 |        0
712.44/712.75	c  712s |      26 | 10822683 |  7870452 |      878  23155 |        0 |        0
714.44/714.76	c  714s |      26 | 10851078 |  7891452 |      878  23201 |        0 |        0
716.44/716.76	c  716s |      26 | 10879761 |  7912652 |      878  23248 |        0 |        0
718.44/718.77	c  718s |      26 | 10908919 |  7934352 |      878  23297 |        0 |        0
720.43/720.77	c  720s |      26 | 10937916 |  7956552 |      878  23346 |        0 |        0
722.44/722.78	c  722s |      26 | 10968286 |  7979352 |      878  23396 |        0 |        0
724.43/724.78	c  724s |      26 | 10997657 |  8001652 |      878  23446 |        0 |        0
726.43/726.78	c  726s |      26 | 11027267 |  8023952 |      878  23495 |        0 |        0
728.43/728.78	c  728s |      26 | 11056812 |  8046252 |      878  23545 |        0 |        0
730.43/730.79	c  730s |      26 | 11085517 |  8067652 |      878  23592 |        0 |        0
732.44/732.79	c  732s |      26 | 11114328 |  8088652 |      878  23639 |        0 |        0
734.43/734.79	c  734s |      26 | 11143182 |  8109352 |      878  23685 |        0 |        0
736.43/736.80	c  736s |      26 | 11172149 |  8130252 |      878  23731 |        0 |        0
738.53/738.80	c  738s |      26 | 11201805 |  8151152 |      878  23777 |        0 |        0
740.53/740.81	c  740s |      26 | 11229209 |  8170452 |      878  23820 |        0 |        0
742.53/742.81	c  742s |      26 | 11259430 |  8191652 |      878  23867 |        0 |        0
744.54/744.81	c  744s |      26 | 11289492 |  8213552 |      878  23916 |        0 |        0
746.53/746.81	c  746s |      26 | 11319135 |  8234852 |      878  23963 |        0 |        0
748.53/748.82	c  748s |      26 | 11346578 |  8255252 |      878  24008 |        0 |        0
750.53/750.82	c  750s |      26 | 11376200 |  8276652 |      878  24056 |        0 |        0
752.53/752.83	c  752s |      26 | 11404630 |  8297252 |      878  24102 |        0 |        0
754.53/754.83	c  754s |      26 | 11433669 |  8319252 |      878  24151 |        0 |        0
756.54/756.84	c  756s |      26 | 11461763 |  8340752 |      878  24199 |        0 |        0
758.53/758.84	c  758s |      26 | 11489113 |  8360752 |      878  24243 |        0 |        0
760.53/760.85	c  760s |      26 | 11517802 |  8381752 |      878  24290 |        0 |        0
762.53/762.86	c  762s |      26 | 11544796 |  8402252 |      878  24335 |        0 |        0
764.53/764.86	c  764s |      26 | 11570377 |  8421752 |      878  24379 |        0 |        0
766.53/766.87	c  766s |      26 | 11595866 |  8442252 |      878  24424 |        0 |        0
768.53/768.87	c  768s |      26 | 11624804 |  8463852 |      878  24472 |        0 |        0
770.52/770.88	c  770s |      26 | 11653001 |  8484852 |      878  24519 |        0 |        0
772.52/772.89	c  772s |      26 | 11682129 |  8506352 |      878  24566 |        0 |        0
774.52/774.89	c  774s |      26 | 11708218 |  8526452 |      878  24611 |        0 |        0
776.62/776.90	c  776s |      26 | 11734351 |  8546552 |      878  24655 |        0 |        0
778.64/778.91	c  778s |      26 | 11761883 |  8567052 |      878  24700 |        0 |        0
780.63/780.91	c  780s |      26 | 11788369 |  8587152 |      878  24745 |        0 |        0
782.63/782.92	c  782s |      26 | 11818797 |  8608552 |      878  24793 |        0 |        0
784.63/784.92	c  784s |      26 | 11847154 |  8629552 |      878  24840 |        0 |        0
786.63/786.93	c  786s |      26 | 11874605 |  8649452 |      878  24884 |        0 |        0
788.63/788.94	c  788s |      26 | 11906382 |  8670952 |      878  24932 |        0 |        0
790.63/790.95	c  790s |      26 | 11936662 |  8692352 |      878  24979 |        0 |        0
792.63/792.95	c  792s |      26 | 11969449 |  8714452 |      878  25028 |        0 |        0
794.63/794.95	c  794s |      26 | 12001184 |  8736552 |      878  25077 |        0 |        0
796.62/796.96	c  796s |      26 | 12032984 |  8758852 |      878  25127 |        0 |        0
798.62/798.97	c  798s |      26 | 12064790 |  8781752 |      878  25178 |        0 |        0
800.63/800.97	c  800s |      26 | 12093306 |  8802852 |      878  25225 |        0 |        0
802.62/802.98	c  802s |      26 | 12123265 |  8823752 |      878  25271 |        0 |        0
804.62/804.98	c  804s |      26 | 12153691 |  8844752 |      878  25318 |        0 |        0
806.62/806.98	c  806s |      26 | 12181884 |  8865752 |      878  25364 |        0 |        0
808.62/808.99	c  808s |      26 | 12208224 |  8885852 |      878  25408 |        0 |        0
810.62/810.99	c  810s |      26 | 12231148 |  8904452 |      878  25449 |        0 |        0
812.63/812.99	c  812s |      26 | 12253853 |  8922852 |      878  25490 |        0 |        0
814.72/815.00	c  814s |      26 | 12276773 |  8941252 |      878  25530 |        0 |        0
816.72/817.01	c  816s |      26 | 12301520 |  8960352 |      878  25573 |        0 |        0
818.72/819.01	c  818s |      26 | 12326341 |  8979452 |      878  25615 |        0 |        0
820.72/821.02	c  821s |      26 | 12352703 |  8999352 |      878  25659 |        0 |        0
822.72/823.02	c  823s |      26 | 12382435 |  9020452 |      878  25705 |        0 |        0
824.73/825.02	c  825s |      26 | 12409563 |  9040752 |      878  25750 |        0 |        0
826.72/827.03	c  827s |      26 | 12440861 |  9062852 |      878  25799 |        0 |        0
828.72/829.04	c  829s |      26 | 12471934 |  9085152 |      878  25849 |        0 |        0
830.72/831.05	c  831s |      26 | 12503496 |  9107852 |      878  25899 |        0 |        0
832.72/833.05	c  833s |      26 | 12535153 |  9130252 |      878  25949 |        0 |        0
834.73/835.06	c  835s |      26 | 12567789 |  9153352 |      878  26000 |        0 |        0
836.72/837.06	c  837s |      26 | 12600887 |  9176452 |      878  26051 |        0 |        0
838.72/839.06	c  839s |      26 | 12630927 |  9198052 |      878  26099 |        0 |        0
840.72/841.06	c  841s |      26 | 12665206 |  9220752 |      878  26149 |        0 |        0
842.72/843.06	c  843s |      26 | 12699758 |  9243752 |      878  26200 |        0 |        0
844.72/845.07	c  845s |      26 | 12729900 |  9266252 |      878  26250 |        0 |        0
846.72/847.07	c  847s |      26 | 12758725 |  9287252 |      878  26297 |        0 |        0
848.72/849.08	c  849s |      26 | 12789249 |  9309452 |      878  26346 |        0 |        0
850.71/851.08	c  851s |      26 | 12818908 |  9331252 |      878  26394 |        0 |        0
852.71/853.08	c  853s |      26 | 12845784 |  9351452 |      878  26438 |        0 |        0
854.71/855.09	c  855s |      26 | 12874564 |  9372352 |      878  26485 |        0 |        0
856.72/857.09	c  857s |      26 | 12907352 |  9395052 |      878  26535 |        0 |        0
858.71/859.10	c  859s |      26 | 12937970 |  9416952 |      878  26583 |        0 |        0
860.81/861.10	c  861s |      26 | 12966215 |  9437652 |      878  26629 |        0 |        0
862.81/863.10	c  863s |      26 | 12996724 |  9458752 |      878  26675 |        0 |        0
864.81/865.10	c  865s |      26 | 13029907 |  9481252 |      878  26725 |        0 |        0
866.81/867.10	c  867s |      26 | 13058130 |  9501752 |      878  26771 |        0 |        0
868.82/869.10	c  869s |      26 | 13085215 |  9522052 |      878  26816 |        0 |        0
870.81/871.11	c  871s |      26 | 13119019 |  9545352 |      878  26868 |        0 |        0
872.82/873.11	c  873s |      26 | 13147585 |  9566152 |      878  26914 |        0 |        0
874.82/875.12	c  875s |      26 | 13179984 |  9588652 |      878  26964 |        0 |        0
876.81/877.12	c  877s |      26 | 13211339 |  9610452 |      878  27012 |        0 |        0
878.81/879.12	c  879s |      26 | 13241707 |  9631552 |      878  27060 |        0 |        0
880.82/881.13	c  881s |      26 | 13272981 |  9652652 |      878  27106 |        0 |        0
882.81/883.13	c  883s |      26 | 13302331 |  9672952 |      878  27151 |        0 |        0
884.81/885.14	c  885s |      26 | 13331723 |  9693652 |      878  27197 |        0 |        0
886.81/887.15	c  887s |      26 | 13362025 |  9714752 |      878  27244 |        0 |        0
888.81/889.15	c  889s |      26 | 13395811 |  9736652 |      878  27293 |        0 |        0
890.82/891.16	c  891s |      26 | 13426373 |  9757952 |      878  27340 |        0 |        0
892.81/893.17	c  893s |      26 | 13455769 |  9778452 |      878  27385 |        0 |        0
894.81/895.17	c  895s |      26 | 13486944 |  9799452 |      878  27431 |        0 |        0
896.81/897.17	c  897s |      26 | 13519168 |  9820952 |      878  27479 |        0 |        0
898.81/899.17	c  899s |      26 | 13552200 |  9842852 |      878  27528 |        0 |        0
900.81/901.17	c  901s |      26 | 13585234 |  9864552 |      878  27576 |        0 |        0
902.81/903.18	c  903s |      26 | 13615741 |  9885352 |      878  27623 |        0 |        0
904.81/905.19	c  905s |      26 | 13645316 |  9906052 |      878  27669 |        0 |        0
906.81/907.19	c  907s |      26 | 13677545 |  9927252 |      878  27716 |        0 |        0
908.90/909.20	c  909s |      26 | 13706557 |  9947652 |      878  27761 |        0 |        0
910.90/911.20	c  911s |      26 | 13738974 |  9969152 |      878  27809 |        0 |        0
912.90/913.21	c  913s |      26 | 13768361 |  9990052 |      878  27856 |        0 |        0
914.91/915.22	c  915s |      26 | 13795541 | 10010152 |      878  27901 |        0 |        0
916.90/917.22	c  917s |      26 | 13826871 | 10031352 |      878  27948 |        0 |        0
918.90/919.23	c  919s |      26 | 13858958 | 10052352 |      878  27995 |        0 |        0
920.90/921.23	c  921s |      26 | 13885342 | 10071952 |      878  28038 |        0 |        0
922.90/923.23	c  923s |      26 | 13918098 | 10093252 |      878  28086 |        0 |        0
924.91/925.24	c  925s |      26 | 13947274 | 10114252 |      878  28133 |        0 |        0
926.90/927.24	c  927s |      26 | 13976192 | 10135452 |      878  28180 |        0 |        0
928.90/929.24	c  929s |      26 | 14005406 | 10156252 |      878  28226 |        0 |        0
930.90/931.25	c  931s |      26 | 14036415 | 10177352 |      878  28273 |        0 |        0
932.90/933.25	c  933s |      26 | 14067047 | 10198852 |      878  28321 |        0 |        0
934.91/935.26	c  935s |      26 | 14097308 | 10219652 |      878  28367 |        0 |        0
936.91/937.26	c  937s |      26 | 14130039 | 10242152 |      878  28417 |        0 |        0
938.90/939.27	c  939s |      26 | 14161536 | 10263252 |      878  28464 |        0 |        0
940.90/941.28	c  941s |      26 | 14191797 | 10284452 |      878  28511 |        0 |        0
942.90/943.28	c  943s |      26 | 14221622 | 10304852 |      878  28557 |        0 |        0
944.90/945.28	c  945s |      26 | 14251474 | 10325552 |      878  28603 |        0 |        0
946.91/947.28	c  947s |      26 | 14283982 | 10346352 |      878  28650 |        0 |        0
948.90/949.29	c  949s |      26 | 14317301 | 10367152 |      878  28696 |        0 |        0
950.90/951.29	c  951s |      26 | 14345466 | 10387152 |      878  28741 |        0 |        0
952.90/953.29	c  953s |      26 | 14372450 | 10406752 |      878  28784 |        0 |        0
955.00/955.30	c  955s |      26 | 14401501 | 10426952 |      878  28829 |        0 |        0
957.00/957.30	c  957s |      26 | 14430201 | 10447052 |      878  28874 |        0 |        0
959.01/959.30	c  959s |      26 | 14459362 | 10467752 |      878  28920 |        0 |        0
961.00/961.31	c  961s |      26 | 14491400 | 10489152 |      878  28967 |        0 |        0
963.00/963.31	c  963s |      26 | 14516536 | 10509052 |      878  29011 |        0 |        0
965.00/965.31	c  965s |      26 | 14547132 | 10531352 |      878  29060 |        0 |        0
967.00/967.32	c  967s |      26 | 14577780 | 10553652 |      878  29110 |        0 |        0
969.00/969.33	c  969s |      26 | 14609365 | 10576552 |      878  29160 |        0 |        0
971.00/971.33	c  971s |      26 | 14640686 | 10598852 |      878  29210 |        0 |        0
973.00/973.34	c  973s |      26 | 14671484 | 10621052 |      878  29259 |        0 |        0
975.00/975.34	c  975s |      26 | 14704270 | 10644352 |      878  29311 |        0 |        0
977.00/977.35	c  977s |      26 | 14736241 | 10667652 |      878  29363 |        0 |        0
979.00/979.35	c  979s |      26 | 14766332 | 10690052 |      878  29412 |        0 |        0
981.00/981.35	c  981s |      26 | 14796327 | 10712352 |      878  29462 |        0 |        0
982.99/983.35	c  983s |      26 | 14829099 | 10735552 |      878  29513 |        0 |        0
984.99/985.36	c  985s |      26 | 14858298 | 10756652 |      878  29560 |        0 |        0
986.99/987.37	c  987s |      26 | 14886903 | 10777152 |      878  29606 |        0 |        0
988.99/989.38	c  989s |      26 | 14916820 | 10798252 |      878  29652 |        0 |        0
990.99/991.38	c  991s |      26 | 14941577 | 10817652 |      878  29695 |        0 |        0
993.00/993.38	c  993s |      26 | 14967614 | 10837252 |      878  29739 |        0 |        0
994.99/995.39	c  995s |      26 | 14996541 | 10858252 |      878  29785 |        0 |        0
996.99/997.39	c  997s |      26 | 15023596 | 10878452 |      878  29830 |        0 |        0
999.09/999.40	c  999s |      26 | 15051468 | 10899252 |      878  29876 |        0 |        0
1001.09/1001.40	c 1001s |      26 | 15081540 | 10920552 |      878  29924 |        0 |        0
1003.10/1003.41	c 1003s |      26 | 15114397 | 10942552 |      878  29972 |        0 |        0
1005.10/1005.41	c 1005s |      26 | 15144927 | 10963952 |      878  30019 |        0 |        0
1007.09/1007.41	c 1007s |      26 | 15174600 | 10985152 |      878  30066 |        0 |        0
1009.09/1009.41	c 1009s |      26 | 15202832 | 11006052 |      878  30112 |        0 |        0
1011.09/1011.42	c 1011s |      26 | 15232896 | 11027752 |      878  30160 |        0 |        0
1013.09/1013.42	c 1013s |      26 | 15264337 | 11050352 |      878  30210 |        0 |        0
1015.10/1015.43	c 1015s |      26 | 15291640 | 11070852 |      878  30256 |        0 |        0
1017.09/1017.44	c 1017s |      26 | 15320361 | 11091952 |      878  30303 |        0 |        0
1019.09/1019.44	c 1019s |      26 | 15348327 | 11112552 |      878  30348 |        0 |        0
1021.09/1021.44	c 1021s |      26 | 15377711 | 11134452 |      878  30397 |        0 |        0
1023.09/1023.44	c 1023s |      26 | 15403710 | 11154952 |      878  30442 |        0 |        0
1025.09/1025.45	c 1025s |      26 | 15430968 | 11175852 |      878  30489 |        0 |        0
1027.09/1027.46	c 1027s |      26 | 15457839 | 11195752 |      878  30533 |        0 |        0
1029.08/1029.46	c 1029s |      26 | 15482531 | 11214552 |      878  30574 |        0 |        0
1031.08/1031.47	c 1031s |      26 | 15508993 | 11233952 |      878  30617 |        0 |        0
1033.08/1033.47	c 1033s |      26 | 15534704 | 11253452 |      878  30660 |        0 |        0
1035.08/1035.48	c 1035s |      26 | 15558673 | 11271952 |      878  30702 |        0 |        0
1037.09/1037.48	c 1037s |      26 | 15585132 | 11291252 |      878  30745 |        0 |        0
1039.09/1039.48	c 1039s |      26 | 15611975 | 11310552 |      878  30788 |        0 |        0
1041.09/1041.49	c 1041s |      26 | 15637007 | 11329252 |      966  30826 |        0 |        0
1043.19/1043.50	c 1043s |      26 | 15665745 | 11349652 |      966  30867 |        0 |        0
1045.19/1045.51	c 1045s |      26 | 15692052 | 11370152 |      966  30908 |        0 |        0
1047.19/1047.51	c 1047s |      26 | 15718255 | 11389652 |      966  30947 |        0 |        0
1047.89/1048.25	c 1048s |      27 | 15726990 | 11396733 |      966  30962 |        0 |        0
1049.89/1050.26	c 1050s |      27 | 15760300 | 11419033 |      966  31006 |        0 |        0
1051.89/1052.26	c 1052s |      27 | 15791668 | 11441033 |      966  31050 |        0 |        0
1053.89/1054.27	c 1054s |      27 | 15822153 | 11462433 |      966  31093 |        0 |        0
1055.89/1056.28	c 1056s |      27 | 15850772 | 11482633 |      966  31134 |        0 |        0
1057.89/1058.28	c 1058s |      27 | 15880691 | 11503233 |      966  31175 |        0 |        0
1059.88/1060.28	c 1060s |      27 | 15909717 | 11524233 |      966  31217 |        0 |        0
1061.88/1062.29	c 1062s |      27 | 15941839 | 11546233 |      966  31261 |        0 |        0
1063.98/1064.30	c 1064s |      27 | 15971208 | 11567733 |      966  31304 |        0 |        0
1065.98/1066.30	c 1066s |      27 | 16002691 | 11589633 |      966  31348 |        0 |        0
1067.98/1068.30	c 1068s |      27 | 16027473 | 11609333 |      966  31387 |        0 |        0
1069.99/1070.30	c 1070s |      27 | 16053047 | 11628533 |      966  31426 |        0 |        0
1071.98/1072.31	c 1072s |      27 | 16081444 | 11649133 |      966  31467 |        0 |        0
1073.98/1074.32	c 1074s |      27 | 16107062 | 11668233 |      966  31505 |        0 |        0
1075.98/1076.32	c 1076s |      27 | 16132154 | 11686833 |      966  31542 |        0 |        0
1077.98/1078.32	c 1078s |      27 | 16160346 | 11706733 |      966  31582 |        0 |        0
1079.99/1080.33	c 1080s |      27 | 16186165 | 11726033 |      966  31620 |        0 |        0
1081.98/1082.33	c 1082s |      27 | 16212630 | 11745633 |      966  31659 |        0 |        0
1083.98/1084.34	c 1084s |      27 | 16241305 | 11766233 |      966  31700 |        0 |        0
1085.98/1086.34	c 1086s |      27 | 16268813 | 11786433 |      966  31740 |        0 |        0
1087.98/1088.35	c 1088s |      27 | 16297798 | 11807333 |      966  31782 |        0 |        0
1089.98/1090.35	c 1090s |      27 | 16326742 | 11828133 |      966  31824 |        0 |        0
1091.98/1092.35	c 1092s |      27 | 16356866 | 11849533 |      966  31867 |        0 |        0
1093.97/1094.36	c 1094s |      27 | 16381960 | 11868633 |      966  31905 |        0 |        0
1095.98/1096.37	c 1096s |      27 | 16410527 | 11889233 |      966  31947 |        0 |        0
1097.98/1098.38	c 1098s |      27 | 16440324 | 11911233 |      966  31991 |        0 |        0
1099.98/1100.38	c 1100s |      27 | 16468477 | 11931933 |      966  32032 |        0 |        0
1101.99/1102.38	c 1102s |      27 | 16494830 | 11950933 |      966  32070 |        0 |        0
1103.98/1104.38	c 1104s |      27 | 16523539 | 11971733 |      966  32111 |        0 |        0
1105.98/1106.39	c 1106s |      27 | 16552115 | 11992033 |      966  32152 |        0 |        0
1108.08/1108.40	c 1108s |      27 | 16578858 | 12012133 |      966  32192 |        0 |        0
1110.08/1110.41	c 1110s |      27 | 16604707 | 12031533 |      966  32230 |        0 |        0
1112.08/1112.41	c 1112s |      27 | 16629310 | 12050433 |      966  32268 |        0 |        0
1114.08/1114.42	c 1114s |      27 | 16653676 | 12069233 |      966  32307 |        0 |        0
1116.08/1116.42	c 1116s |      27 | 16679476 | 12088833 |      966  32346 |        0 |        0
1118.08/1118.43	c 1118s |      27 | 16707269 | 12109633 |      966  32388 |        0 |        0
1120.07/1120.44	c 1120s |      27 | 16733655 | 12129433 |      966  32428 |        0 |        0
1122.07/1122.44	c 1122s |      27 | 16759810 | 12149133 |      966  32468 |        0 |        0
1124.07/1124.45	c 1124s |      27 | 16784784 | 12168333 |      966  32507 |        0 |        0
1126.08/1126.46	c 1126s |      27 | 16814346 | 12189133 |      966  32549 |        0 |        0
1128.07/1128.46	c 1128s |      27 | 16841085 | 12208833 |      966  32588 |        0 |        0
1130.07/1130.46	c 1130s |      27 | 16867940 | 12228633 |      966  32629 |        0 |        0
1132.07/1132.47	c 1132s |      27 | 16895313 | 12249133 |      966  32670 |        0 |        0
1134.07/1134.47	c 1134s |      27 | 16921020 | 12268733 |      966  32710 |        0 |        0
1136.08/1136.48	c 1136s |      27 | 16947076 | 12288933 |      966  32751 |        0 |        0
1138.07/1138.49	c 1138s |      27 | 16973579 | 12309133 |      966  32792 |        0 |        0
1140.17/1140.50	c 1140s |      27 | 16997746 | 12327733 |      966  32829 |        0 |        0
1142.17/1142.50	c 1142s |      27 | 17024462 | 12347233 |      966  32868 |        0 |        0
1144.17/1144.50	c 1144s |      27 | 17049625 | 12366433 |      966  32906 |        0 |        0
1146.17/1146.50	c 1146s |      27 | 17076905 | 12386033 |      966  32945 |        0 |        0
1148.17/1148.50	c 1148s |      27 | 17101868 | 12405433 |      966  32983 |        0 |        0
1150.17/1150.51	c 1150s |      27 | 17127467 | 12424633 |      966  33021 |        0 |        0
1152.16/1152.51	c 1152s |      27 | 17153780 | 12444533 |      966  33060 |        0 |        0
1154.16/1154.52	c 1154s |      27 | 17180254 | 12463633 |      966  33098 |        0 |        0
1156.16/1156.53	c 1156s |      27 | 17206800 | 12483733 |      966  33138 |        0 |        0
1158.16/1158.53	c 1158s |      27 | 17232988 | 12503233 |      966  33177 |        0 |        0
1160.17/1160.54	c 1160s |      27 | 17258288 | 12522233 |      966  33215 |        0 |        0
1162.16/1162.54	c 1162s |      27 | 17284544 | 12541633 |      966  33253 |        0 |        0
1164.16/1164.55	c 1164s |      27 | 17313930 | 12562533 |      966  33295 |        0 |        0
1166.16/1166.55	c 1166s |      27 | 17342084 | 12582533 |      966  33335 |        0 |        0
1168.16/1168.56	c 1168s |      27 | 17370966 | 12603133 |      966  33377 |        0 |        0
1170.17/1170.56	c 1170s |      27 | 17399719 | 12623133 |      966  33417 |        0 |        0
1172.16/1172.57	c 1172s |      27 | 17429321 | 12643833 |      966  33458 |        0 |        0
1174.16/1174.57	c 1174s |      27 | 17459227 | 12664133 |      966  33499 |        0 |        0
1176.16/1176.57	c 1176s |      27 | 17488190 | 12684933 |      966  33541 |        0 |        0
1178.16/1178.58	c 1178s |      27 | 17514988 | 12704933 |      966  33581 |        0 |        0
1180.16/1180.59	c 1180s |      27 | 17541041 | 12724133 |      966  33620 |        0 |        0
1182.17/1182.60	c 1182s |      27 | 17567648 | 12744133 |      966  33660 |        0 |        0
1184.26/1184.60	c 1184s |      27 | 17594676 | 12764233 |      966  33701 |        0 |        0
1186.26/1186.61	c 1186s |      27 | 17620864 | 12783733 |      966  33740 |        0 |        0
1188.27/1188.62	c 1188s |      27 | 17647651 | 12803133 |      966  33779 |        0 |        0
1190.27/1190.62	c 1190s |      27 | 17672407 | 12822133 |      966  33818 |        0 |        0
1192.27/1192.63	c 1192s |      27 | 17698687 | 12842033 |      966  33858 |        0 |        0
1194.27/1194.64	c 1194s |      27 | 17723458 | 12861433 |      966  33896 |        0 |        0
1196.27/1196.64	c 1196s |      27 | 17748505 | 12880533 |      966  33935 |        0 |        0
1198.27/1198.65	c 1198s |      27 | 17776811 | 12901533 |      966  33977 |        0 |        0
1200.27/1200.65	c 1200s |      27 | 17804837 | 12921933 |      966  34018 |        0 |        0
1202.26/1202.66	c 1202s |      27 | 17833694 | 12942533 |      966  34060 |        0 |        0
1204.27/1204.66	c 1204s |      27 | 17858728 | 12961833 |      966  34099 |        0 |        0
1206.26/1206.67	c 1206s |      27 | 17885660 | 12981733 |      966  34138 |        0 |        0
1208.26/1208.67	c 1208s |      27 | 17915749 | 13003333 |      966  34182 |        0 |        0
1210.26/1210.68	c 1210s |      27 | 17944488 | 13023733 |      966  34223 |        0 |        0
1212.26/1212.69	c 1212s |      27 | 17971799 | 13043833 |      966  34263 |        0 |        0
1214.26/1214.69	c 1214s |      27 | 18002500 | 13065833 |      966  34307 |        0 |        0
1216.26/1216.70	c 1216s |      27 | 18032798 | 13087133 |      966  34350 |        0 |        0
1218.26/1218.70	c 1218s |      27 | 18060293 | 13107233 |      966  34391 |        0 |        0
1220.35/1220.71	c 1220s |      27 | 18087607 | 13127133 |      966  34431 |        0 |        0
1222.35/1222.72	c 1222s |      27 | 18116441 | 13147333 |      966  34471 |        0 |        0
1224.35/1224.72	c 1224s |      27 | 18143972 | 13167133 |      966  34511 |        0 |        0
1226.36/1226.72	c 1226s |      27 | 18171431 | 13186733 |      966  34550 |        0 |        0
1228.37/1228.73	c 1228s |      27 | 18198132 | 13206333 |      966  34590 |        0 |        0
1230.36/1230.74	c 1230s |      27 | 18228421 | 13227433 |      966  34632 |        0 |        0
1232.36/1232.74	c 1232s |      27 | 18258261 | 13248233 |      966  34674 |        0 |        0
1234.36/1234.74	c 1234s |      27 | 18288487 | 13269233 |      966  34716 |        0 |        0
1236.36/1236.74	c 1236s |      27 | 18315474 | 13289233 |      966  34756 |        0 |        0
1238.37/1238.75	c 1238s |      27 | 18345935 | 13310433 |      966  34799 |        0 |        0
1240.36/1240.76	c 1240s |      27 | 18376343 | 13331433 |      966  34841 |        0 |        0
1242.36/1242.76	c 1242s |      27 | 18405979 | 13352233 |      966  34882 |        0 |        0
1244.36/1244.77	c 1244s |      27 | 18434660 | 13372533 |      966  34923 |        0 |        0
1246.36/1246.77	c 1246s |      27 | 18461676 | 13392033 |      966  34963 |        0 |        0
1248.36/1248.77	c 1248s |      27 | 18487292 | 13411133 |      966  35001 |        0 |        0
1250.36/1250.77	c 1250s |      27 | 18515131 | 13430933 |      966  35041 |        0 |        0
1252.35/1252.78	c 1252s |      27 | 18547476 | 13452433 |      966  35084 |        0 |        0
1254.35/1254.78	c 1254s |      27 | 18580519 | 13474833 |      966  35130 |        0 |        0
1256.35/1256.79	c 1256s |      27 | 18611579 | 13496033 |      966  35173 |        0 |        0
1258.35/1258.79	c 1258s |      27 | 18640243 | 13516533 |      966  35214 |        0 |        0
1260.45/1260.80	c 1260s |      27 | 18667062 | 13536533 |      966  35254 |        0 |        0
1262.35/1262.80	c 1262s |      27 | 18695867 | 13556933 |      966  35295 |        0 |        0
1264.45/1264.80	c 1264s |      27 | 18723022 | 13576533 |      966  35335 |        0 |        0
1266.45/1266.81	c 1266s |      27 | 18752315 | 13598133 |      966  35379 |        0 |        0
1268.45/1268.81	c 1268s |      27 | 18783741 | 13620533 |      966  35424 |        0 |        0
1270.45/1270.82	c 1270s |      27 | 18812578 | 13640933 |      966  35465 |        0 |        0
1272.46/1272.82	c 1272s |      27 | 18840085 | 13660433 |      966  35505 |        0 |        0
1274.45/1274.82	c 1274s |      27 | 18866396 | 13680233 |      966  35545 |        0 |        0
1276.45/1276.83	c 1276s |      27 | 18894006 | 13700533 |      966  35586 |        0 |        0
1278.45/1278.84	c 1278s |      27 | 18921442 | 13720533 |      966  35627 |        0 |        0
1280.45/1280.84	c 1280s |      27 | 18950239 | 13741433 |      966  35669 |        0 |        0
1282.45/1282.85	c 1282s |      27 | 18977460 | 13761333 |      966  35709 |        0 |        0
1284.45/1284.85	c 1284s |      27 | 19004537 | 13781233 |      966  35749 |        0 |        0
1286.45/1286.86	c 1286s |      27 | 19032643 | 13801933 |      966  35791 |        0 |        0
1288.45/1288.86	c 1288s |      27 | 19060226 | 13822133 |      966  35832 |        0 |        0
1290.44/1290.87	c 1290s |      27 | 19088596 | 13842533 |      966  35873 |        0 |        0
1292.44/1292.87	c 1292s |      27 | 19117416 | 13862733 |      966  35914 |        0 |        0
1294.46/1294.88	c 1294s |      27 | 19145884 | 13883233 |      966  35955 |        0 |        0
1296.45/1296.88	c 1296s |      27 | 19173840 | 13903133 |      966  35995 |        0 |        0
1298.45/1298.89	c 1298s |      27 | 19199775 | 13922633 |      966  36034 |        0 |        0
1300.55/1300.90	c 1300s |      27 | 19226425 | 13942033 |      966  36073 |        0 |        0
1302.55/1302.91	c 1302s |      27 | 19252998 | 13961233 |      966  36112 |        0 |        0
1304.55/1304.92	c 1304s |      27 | 19280693 | 13980833 |      966  36152 |        0 |        0
1306.55/1306.93	c 1306s |      27 | 19305886 | 13999833 |      966  36190 |        0 |        0
1308.55/1308.93	c 1308s |      27 | 19334423 | 14020333 |      966  36232 |        0 |        0
1310.54/1310.94	c 1310s |      27 | 19361325 | 14039933 |      966  36271 |        0 |        0
1312.54/1312.95	c 1312s |      27 | 19388752 | 14059733 |      966  36311 |        0 |        0
1314.54/1314.95	c 1314s |      27 | 19416114 | 14079933 |      966  36352 |        0 |        0
1316.54/1316.95	c 1316s |      27 | 19444198 | 14100833 |      966  36394 |        0 |        0
1318.55/1318.95	c 1318s |      27 | 19472247 | 14121333 |      966  36436 |        0 |        0
1320.54/1320.95	c 1320s |      27 | 19502824 | 14142733 |      966  36479 |        0 |        0
1322.54/1322.97	c 1322s |      27 | 19532393 | 14163733 |      966  36522 |        0 |        0
1324.54/1324.97	c 1324s |      27 | 19558709 | 14183033 |      966  36560 |        0 |        0
1326.54/1326.97	c 1326s |      27 | 19583832 | 14201733 |      966  36598 |        0 |        0
1328.55/1328.98	c 1328s |      27 | 19608066 | 14220433 |      966  36635 |        0 |        0
1330.54/1330.98	c 1330s |      27 | 19639442 | 14241733 |      966  36678 |        0 |        0
1332.54/1332.98	c 1332s |      27 | 19668303 | 14262233 |      966  36720 |        0 |        0
1334.55/1334.98	c 1334s |      27 | 19697317 | 14282833 |      966  36761 |        0 |        0
1336.55/1336.99	c 1336s |      27 | 19726116 | 14302633 |      966  36801 |        0 |        0
1338.55/1338.99	c 1338s |      27 | 19752890 | 14322333 |      966  36841 |        0 |        0
1340.55/1341.00	c 1340s |      27 | 19781174 | 14342933 |      966  36882 |        0 |        0
1342.64/1343.00	c 1342s |      27 | 19810249 | 14363733 |      966  36924 |        0 |        0
1344.64/1345.00	c 1344s |      27 | 19839820 | 14384433 |      966  36966 |        0 |        0
1346.64/1347.01	c 1346s |      27 | 19869671 | 14405533 |      966  37008 |        0 |        0
1348.64/1349.01	c 1349s |      27 | 19898167 | 14426333 |      966  37050 |        0 |        0
1350.64/1351.01	c 1351s |      27 | 19925561 | 14446233 |      966  37090 |        0 |        0
1352.65/1353.02	c 1353s |      27 | 19955189 | 14467133 |      966  37132 |        0 |        0
1354.64/1355.02	c 1355s |      27 | 19984315 | 14487733 |      966  37174 |        0 |        0
1356.64/1357.03	c 1357s |      27 | 20015816 | 14509933 |      966  37219 |        0 |        0
1358.64/1359.04	c 1359s |      27 | 20046759 | 14531833 |      966  37263 |        0 |        0
1360.64/1361.04	c 1361s |      27 | 20075546 | 14552933 |      966  37305 |        0 |        0
1362.64/1363.05	c 1363s |      27 | 20105909 | 14574333 |      966  37348 |        0 |        0
1364.64/1365.05	c 1365s |      27 | 20133453 | 14595233 |      966  37390 |        0 |        0
1366.64/1367.05	c 1367s |      27 | 20161498 | 14615533 |      966  37430 |        0 |        0
1368.64/1369.06	c 1369s |      27 | 20188994 | 14635233 |      966  37470 |        0 |        0
1370.63/1371.06	c 1371s |      27 | 20216431 | 14655233 |      966  37510 |        0 |        0
1372.64/1373.07	c 1373s |      27 | 20242122 | 14674433 |      966  37549 |        0 |        0
1374.65/1375.07	c 1375s |      27 | 20268793 | 14693633 |      966  37588 |        0 |        0
1376.64/1377.08	c 1377s |      27 | 20296963 | 14713533 |      966  37628 |        0 |        0
1378.64/1379.08	c 1379s |      27 | 20326689 | 14734333 |      966  37669 |        0 |        0
1380.64/1381.08	c 1381s |      27 | 20356733 | 14755933 |      966  37713 |        0 |        0
1382.64/1383.09	c 1383s |      27 | 20386749 | 14776733 |      966  37755 |        0 |        0
1384.73/1385.10	c 1385s |      27 | 20413279 | 14795933 |      966  37793 |        0 |        0
1386.63/1387.10	c 1387s |      27 | 20440557 | 14815033 |      966  37832 |        0 |        0
1388.73/1389.10	c 1389s |      27 | 20471004 | 14836633 |      966  37875 |        0 |        0
1390.73/1391.12	c 1391s |      27 | 20499834 | 14857633 |      966  37918 |        0 |        0
1392.73/1393.12	c 1393s |      27 | 20526582 | 14877633 |      966  37958 |        0 |        0
1394.73/1395.12	c 1395s |      27 | 20556103 | 14898633 |      966  38000 |        0 |        0
1396.74/1397.12	c 1397s |      27 | 20583791 | 14919233 |      966  38042 |        0 |        0
1398.73/1399.13	c 1399s |      27 | 20612552 | 14940133 |      966  38083 |        0 |        0
1400.73/1401.14	c 1401s |      27 | 20638680 | 14959833 |      966  38123 |        0 |        0
1402.73/1403.14	c 1403s |      27 | 20666101 | 14980033 |      966  38163 |        0 |        0
1404.73/1405.14	c 1405s |      27 | 20694349 | 15000233 |      966  38204 |        0 |        0
1406.73/1407.15	c 1407s |      27 | 20722666 | 15019933 |      966  38243 |        0 |        0
1408.73/1409.15	c 1409s |      27 | 20749119 | 15038833 |      966  38281 |        0 |        0
1410.73/1411.15	c 1411s |      27 | 20773430 | 15056833 |      966  38317 |        0 |        0
1412.73/1413.16	c 1413s |      27 | 20797200 | 15074533 |      966  38353 |        0 |        0
1414.73/1415.16	c 1415s |      27 | 20821864 | 15092833 |      966  38389 |        0 |        0
1416.73/1417.17	c 1417s |      27 | 20843767 | 15109733 |      966  38423 |        0 |        0
1418.74/1419.17	c 1419s |      27 | 20866081 | 15127033 |      966  38458 |        0 |        0
1420.73/1421.18	c 1421s |      27 | 20894419 | 15146733 |      966  38498 |        0 |        0
1422.73/1423.18	c 1423s |      27 | 20922902 | 15166533 |      966  38538 |        0 |        0
1424.73/1425.19	c 1425s |      27 | 20953970 | 15187633 |      966  38580 |        0 |        0
1426.73/1427.20	c 1427s |      27 | 20984392 | 15208533 |      966  38622 |        0 |        0
1428.83/1429.20	c 1429s |      27 | 21013309 | 15229733 |      966  38665 |        0 |        0
1430.83/1431.20	c 1431s |      27 | 21041978 | 15250333 |      966  38706 |        0 |        0
1432.83/1433.21	c 1433s |      27 | 21070686 | 15270833 |      966  38748 |        0 |        0
1434.82/1435.21	c 1435s |      27 | 21099667 | 15290533 |      966  38788 |        0 |        0
1436.82/1437.21	c 1437s |      27 | 21126702 | 15309933 |      966  38827 |        0 |        0
1438.82/1439.22	c 1439s |      27 | 21154585 | 15329533 |      966  38867 |        0 |        0
1440.82/1441.22	c 1441s |      27 | 21177137 | 15347333 |      966  38903 |        0 |        0
1442.83/1443.23	c 1443s |      27 | 21202905 | 15366333 |      966  38941 |        0 |        0
1444.82/1445.24	c 1445s |      27 | 21228505 | 15385133 |      966  38979 |        0 |        0
1446.82/1447.25	c 1447s |      27 | 21255926 | 15404733 |      966  39019 |        0 |        0
1448.82/1449.25	c 1449s |      27 | 21282833 | 15424133 |      966  39058 |        0 |        0
1450.82/1451.25	c 1451s |      27 | 21308363 | 15442933 |      966  39096 |        0 |        0
1452.83/1453.25	c 1453s |      27 | 21335310 | 15462533 |      966  39135 |        0 |        0
1454.83/1455.26	c 1455s |      27 | 21361709 | 15481133 |      966  39173 |        0 |        0
1456.83/1457.27	c 1457s |      27 | 21386440 | 15499533 |      966  39210 |        0 |        0
1458.83/1459.28	c 1459s |      27 | 21414317 | 15518633 |      966  39248 |        0 |        0
1460.83/1461.28	c 1461s |      27 | 21440965 | 15537833 |      966  39287 |        0 |        0
1462.83/1463.29	c 1463s |      27 | 21468692 | 15558133 |      966  39328 |        0 |        0
1464.83/1465.29	c 1465s |      27 | 21498055 | 15579533 |      966  39371 |        0 |        0
1466.82/1467.29	c 1467s |      27 | 21526417 | 15600833 |      966  39414 |        0 |        0
1468.92/1469.30	c 1469s |      27 | 21553864 | 15621233 |      966  39455 |        0 |        0
1470.92/1471.31	c 1471s |      27 | 21581205 | 15641233 |      966  39495 |        0 |        0
1472.92/1473.31	c 1473s |      27 | 21607899 | 15660733 |      966  39534 |        0 |        0
1474.92/1475.31	c 1475s |      27 | 21636198 | 15680533 |      966  39574 |        0 |        0
1476.93/1477.31	c 1477s |      27 | 21661218 | 15699633 |      966  39612 |        0 |        0
1478.92/1479.31	c 1479s |      27 | 21687641 | 15719233 |      966  39652 |        0 |        0
1480.92/1481.32	c 1481s |      27 | 21715977 | 15739933 |      966  39694 |        0 |        0
1482.92/1483.32	c 1483s |      27 | 21743921 | 15760133 |      966  39734 |        0 |        0
1484.92/1485.33	c 1485s |      27 | 21772379 | 15780433 |      966  39776 |        0 |        0
1486.93/1487.33	c 1487s |      27 | 21798679 | 15799833 |      966  39815 |        0 |        0
1488.92/1489.34	c 1489s |      27 | 21828940 | 15820333 |      966  39856 |        0 |        0
1490.92/1491.35	c 1491s |      27 | 21861440 | 15842333 |      966  39901 |        0 |        0
1492.91/1493.35	c 1493s |      27 | 21893365 | 15863733 |      966  39944 |        0 |        0
1494.92/1495.36	c 1495s |      27 | 21924725 | 15884733 |      966  39986 |        0 |        0
1496.92/1497.37	c 1497s |      27 | 21955436 | 15906133 |      966  40030 |        0 |        0
1498.93/1499.38	c 1499s |      27 | 21985299 | 15926733 |      966  40071 |        0 |        0
1500.92/1501.38	c 1501s |      27 | 22014843 | 15947533 |      966  40113 |        0 |        0
1502.92/1503.39	c 1503s |      27 | 22047684 | 15969933 |      966  40159 |        0 |        0
1504.92/1505.39	c 1505s |      27 | 22078806 | 15991233 |      966  40202 |        0 |        0
1506.92/1507.39	c 1507s |      27 | 22110111 | 16012433 |      966  40245 |        0 |        0
1509.02/1509.40	c 1509s |      27 | 22140009 | 16033733 |      966  40287 |        0 |        0
1510.92/1511.40	c 1511s |      27 | 22170378 | 16054433 |      966  40329 |        0 |        0
1513.02/1513.41	c 1513s |      27 | 22200993 | 16075533 |      966  40372 |        0 |        0
1515.01/1515.42	c 1515s |      27 | 22231441 | 16096433 |      966  40414 |        0 |        0
1517.01/1517.42	c 1517s |      27 | 22260660 | 16117433 |      966  40457 |        0 |        0
1519.01/1519.43	c 1519s |      27 | 22286347 | 16136333 |      966  40495 |        0 |        0
1521.02/1521.44	c 1521s |      27 | 22316749 | 16157433 |      966  40537 |        0 |        0
1523.01/1523.44	c 1523s |      27 | 22343682 | 16176433 |      966  40576 |        0 |        0
1525.01/1525.44	c 1525s |      27 | 22369863 | 16195033 |      966  40613 |        0 |        0
1527.01/1527.45	c 1527s |      27 | 22392013 | 16212533 |      966  40648 |        0 |        0
1529.01/1529.46	c 1529s |      27 | 22416246 | 16231033 |      966  40685 |        0 |        0
1531.01/1531.47	c 1531s |      27 | 22440992 | 16249533 |      966  40723 |        0 |        0
1533.02/1533.48	c 1533s |      27 | 22468856 | 16269433 |      966  40763 |        0 |        0
1535.01/1535.48	c 1535s |      27 | 22493670 | 16288133 |      966  40800 |        0 |        0
1537.01/1537.49	c 1537s |      27 | 22521355 | 16308033 |      966  40840 |        0 |        0
1539.11/1539.50	c 1539s |      27 | 22548948 | 16327433 |      966  40879 |        0 |        0
1541.11/1541.50	c 1541s |      27 | 22575357 | 16346833 |      966  40918 |        0 |        0
1543.11/1543.51	c 1543s |      27 | 22600197 | 16365833 |      966  40956 |        0 |        0
1545.12/1545.52	c 1545s |      27 | 22626766 | 16384733 |      966  40994 |        0 |        0
1547.11/1547.52	c 1547s |      27 | 22652885 | 16404033 |      966  41033 |        0 |        0
1549.11/1549.52	c 1549s |      27 | 22676787 | 16422033 |      966  41069 |        0 |        0
1551.11/1551.53	c 1551s |      27 | 22700481 | 16440033 |      966  41105 |        0 |        0
1553.11/1553.54	c 1553s |      27 | 22728174 | 16460333 |      966  41145 |        0 |        0
1555.11/1555.54	c 1555s |      27 | 22755758 | 16480533 |      966  41185 |        0 |        0
1557.11/1557.55	c 1557s |      27 | 22783631 | 16500733 |      966  41226 |        0 |        0
1559.10/1559.55	c 1559s |      27 | 22809061 | 16520033 |      966  41264 |        0 |        0
1561.10/1561.56	c 1561s |      27 | 22836094 | 16539833 |      966  41304 |        0 |        0
1563.10/1563.57	c 1563s |      27 | 22861316 | 16558933 |      966  41342 |        0 |        0
1565.10/1565.57	c 1565s |      27 | 22884834 | 16576933 |      966  41378 |        0 |        0
1567.11/1567.58	c 1567s |      27 | 22909531 | 16595333 |      966  41415 |        0 |        0
1569.11/1569.59	c 1569s |      27 | 22934280 | 16614333 |      966  41453 |        0 |        0
1571.11/1571.59	c 1571s |      27 | 22961814 | 16634233 |      966  41492 |        0 |        0
1573.21/1573.60	c 1573s |      27 | 22987560 | 16652933 |      966  41530 |        0 |        0
1575.21/1575.60	c 1575s |      27 | 23016088 | 16672933 |      966  41570 |        0 |        0
1577.21/1577.61	c 1577s |      27 | 23044497 | 16692733 |      966  41610 |        0 |        0
1579.21/1579.62	c 1579s |      27 | 23073583 | 16713333 |      966  41651 |        0 |        0
1581.21/1581.62	c 1581s |      27 | 23104167 | 16734033 |      966  41693 |        0 |        0
1583.21/1583.63	c 1583s |      27 | 23133670 | 16754833 |      966  41735 |        0 |        0
1585.21/1585.64	c 1585s |      27 | 23163130 | 16775533 |      966  41776 |        0 |        0
1587.20/1587.64	c 1587s |      27 | 23189535 | 16795033 |      966  41816 |        0 |        0
1589.21/1589.65	c 1589s |      27 | 23217708 | 16814533 |      966  41855 |        0 |        0
1591.20/1591.65	c 1591s |      27 | 23247659 | 16835633 |      966  41897 |        0 |        0
1593.20/1593.66	c 1593s |      27 | 23275613 | 16855833 |      966  41938 |        0 |        0
1595.20/1595.67	c 1595s |      27 | 23304195 | 16876133 |      966  41978 |        0 |        0
1597.20/1597.67	c 1597s |      27 | 23332281 | 16896133 |      966  42019 |        0 |        0
1599.20/1599.68	c 1599s |      27 | 23362502 | 16916733 |      966  42060 |        0 |        0
1601.21/1601.69	c 1601s |      27 | 23392100 | 16937433 |      966  42102 |        0 |        0
1603.20/1603.69	c 1603s |      27 | 23422075 | 16958133 |      966  42144 |        0 |        0
1605.20/1605.69	c 1605s |      27 | 23450180 | 16977933 |     1063  42183 |        0 |        0
1607.20/1607.69	c 1607s |      27 | 23476463 | 16996933 |     1063  42218 |        0 |        0
1609.30/1609.70	c 1609s |      27 | 23499878 | 17014333 |     1063  42250 |        0 |        0
1611.30/1611.70	c 1611s |      27 | 23526288 | 17033133 |     1063  42285 |        0 |        0
1613.30/1613.71	c 1613s |      27 | 23552634 | 17051833 |     1063  42320 |        0 |        0
1615.30/1615.72	c 1615s |      27 | 23580704 | 17071233 |     1063  42355 |        0 |        0
1617.30/1617.72	c 1617s |      27 | 23608046 | 17090933 |     1063  42391 |        0 |        0
1617.70/1618.15	c 1618s |      28 | 23613832 | 17095205 |     1063  42399 |        0 |        0
1619.69/1620.16	c 1620s |      28 | 23642286 | 17116405 |     1063  42438 |        0 |        0
1621.69/1622.16	c 1622s |      28 | 23671577 | 17138405 |     1063  42479 |        0 |        0
1623.69/1624.17	c 1624s |      28 | 23700338 | 17160105 |     1063  42518 |        0 |        0
1625.69/1626.17	c 1626s |      28 | 23728848 | 17181605 |     1063  42558 |        0 |        0
1627.70/1628.18	c 1628s |      28 | 23758182 | 17203905 |     1063  42599 |        0 |        0
1629.69/1630.18	c 1630s |      28 | 23785722 | 17225405 |     1063  42639 |        0 |        0
1631.69/1632.19	c 1632s |      28 | 23814575 | 17247305 |     1063  42679 |        0 |        0
1633.69/1634.19	c 1634s |      28 | 23844337 | 17269605 |     1063  42720 |        0 |        0
1635.69/1636.19	c 1636s |      28 | 23871185 | 17290405 |     1063  42758 |        0 |        0
1637.79/1638.20	c 1638s |      28 | 23898972 | 17311305 |     1063  42796 |        0 |        0
1639.70/1640.20	c 1640s |      28 | 23929674 | 17334005 |     1063  42838 |        0 |        0
1641.79/1642.21	c 1642s |      28 | 23959310 | 17355905 |     1063  42879 |        0 |        0
1643.79/1644.21	c 1644s |      28 | 23986695 | 17376805 |     1063  42917 |        0 |        0
1645.80/1646.22	c 1646s |      28 | 24014816 | 17397205 |     1063  42954 |        0 |        0
1647.80/1648.22	c 1648s |      28 | 24038955 | 17415705 |     1063  42988 |        0 |        0
1649.80/1650.22	c 1650s |      28 | 24067810 | 17437105 |     1063  43027 |        0 |        0
1651.80/1652.23	c 1652s |      28 | 24098545 | 17459705 |     1063  43069 |        0 |        0
1653.80/1654.24	c 1654s |      28 | 24128373 | 17481805 |     1063  43110 |        0 |        0
1655.80/1656.24	c 1656s |      28 | 24155783 | 17502905 |     1063  43149 |        0 |        0
1657.80/1658.24	c 1658s |      28 | 24182893 | 17524005 |     1063  43187 |        0 |        0
1659.80/1660.25	c 1660s |      28 | 24212255 | 17545805 |     1063  43227 |        0 |        0
1661.80/1662.25	c 1662s |      28 | 24241435 | 17567605 |     1063  43268 |        0 |        0
1663.79/1664.25	c 1664s |      28 | 24267937 | 17588505 |     1063  43306 |        0 |        0
1665.79/1666.25	c 1666s |      28 | 24293194 | 17608405 |     1063  43343 |        0 |        0
1667.79/1668.26	c 1668s |      28 | 24321628 | 17629305 |     1063  43382 |        0 |        0
1669.79/1670.26	c 1670s |      28 | 24350010 | 17650405 |     1063  43421 |        0 |        0
1671.79/1672.27	c 1672s |      28 | 24376265 | 17671305 |     1063  43460 |        0 |        0
1673.80/1674.28	c 1674s |      28 | 24403541 | 17692105 |     1063  43498 |        0 |        0
1675.79/1676.28	c 1676s |      28 | 24432267 | 17713405 |     1063  43537 |        0 |        0
1677.79/1678.28	c 1678s |      28 | 24458554 | 17733105 |     1063  43573 |        0 |        0
1679.79/1680.29	c 1680s |      28 | 24483260 | 17751905 |     1063  43608 |        0 |        0
1681.79/1682.29	c 1682s |      28 | 24509825 | 17772305 |     1063  43646 |        0 |        0
1683.79/1684.29	c 1684s |      28 | 24537209 | 17792905 |     1063  43684 |        0 |        0
1685.78/1686.30	c 1686s |      28 | 24565833 | 17814005 |     1063  43723 |        0 |        0
1687.89/1688.30	c 1688s |      28 | 24594402 | 17835505 |     1063  43763 |        0 |        0
1689.89/1690.31	c 1690s |      28 | 24621707 | 17856305 |     1063  43801 |        0 |        0
1691.89/1692.31	c 1692s |      28 | 24648198 | 17877205 |     1063  43839 |        0 |        0
1693.89/1694.32	c 1694s |      28 | 24676775 | 17898905 |     1063  43879 |        0 |        0
1695.90/1696.33	c 1696s |      28 | 24705245 | 17920405 |     1063  43919 |        0 |        0
1697.89/1698.34	c 1698s |      28 | 24730571 | 17940205 |     1063  43956 |        0 |        0
1699.89/1700.34	c 1700s |      28 | 24757913 | 17960805 |     1063  43993 |        0 |        0
1701.89/1702.34	c 1702s |      28 | 24783963 | 17981005 |     1063  44030 |        0 |        0
1703.89/1704.34	c 1704s |      28 | 24810894 | 18001905 |     1063  44069 |        0 |        0
1705.89/1706.34	c 1706s |      28 | 24836417 | 18021305 |     1063  44105 |        0 |        0
1707.89/1708.35	c 1708s |      28 | 24863136 | 18041905 |     1063  44143 |        0 |        0
1709.89/1710.36	c 1710s |      28 | 24889843 | 18062505 |     1063  44181 |        0 |        0
1711.89/1712.36	c 1712s |      28 | 24914724 | 18082305 |     1063  44217 |        0 |        0
1713.88/1714.36	c 1714s |      28 | 24940166 | 18102505 |     1063  44255 |        0 |        0
1715.88/1716.37	c 1716s |      28 | 24965595 | 18122405 |     1063  44292 |        0 |        0
1717.89/1718.38	c 1718s |      28 | 24992588 | 18142405 |     1063  44329 |        0 |        0
1719.88/1720.39	c 1720s |      28 | 25019401 | 18162905 |     1063  44366 |        0 |        0
1721.98/1722.40	c 1722s |      28 | 25047590 | 18183505 |     1063  44405 |        0 |        0
1723.98/1724.40	c 1724s |      28 | 25073567 | 18202805 |     1063  44440 |        0 |        0
1725.98/1726.40	c 1726s |      28 | 25097525 | 18221205 |     1063  44474 |        0 |        0
1727.98/1728.41	c 1728s |      28 | 25121666 | 18239805 |     1063  44508 |        0 |        0
1729.99/1730.41	c 1730s |      28 | 25145573 | 18258105 |     1063  44542 |        0 |        0
1731.98/1732.42	c 1732s |      28 | 25170075 | 18277005 |     1063  44577 |        0 |        0
1733.98/1734.42	c 1734s |      28 | 25195713 | 18296505 |     1063  44613 |        0 |        0
1735.98/1736.43	c 1736s |      28 | 25219653 | 18315205 |     1063  44647 |        0 |        0
1737.98/1738.43	c 1738s |      28 | 25246784 | 18335405 |     1063  44684 |        0 |        0
1739.98/1740.44	c 1740s |      28 | 25274343 | 18356305 |     1063  44723 |        0 |        0
1741.98/1742.44	c 1742s |      28 | 25301465 | 18377105 |     1063  44761 |        0 |        0
1743.98/1744.45	c 1744s |      28 | 25328622 | 18397505 |     1063  44799 |        0 |        0
1745.98/1746.45	c 1746s |      28 | 25353998 | 18416905 |     1063  44835 |        0 |        0
1747.98/1748.46	c 1748s |      28 | 25380300 | 18436605 |     1063  44871 |        0 |        0
1749.98/1750.47	c 1750s |      28 | 25404820 | 18455805 |     1063  44907 |        0 |        0
1751.98/1752.48	c 1752s |      28 | 25430828 | 18475405 |     1063  44943 |        0 |        0
1753.97/1754.49	c 1754s |      28 | 25456342 | 18494705 |     1063  44978 |        0 |        0
1755.97/1756.49	c 1756s |      28 | 25479826 | 18512705 |     1063  45011 |        0 |        0
1757.97/1758.49	c 1758s |      28 | 25506382 | 18532205 |     1063  45047 |        0 |        0
1760.07/1760.50	c 1760s |      28 | 25531107 | 18551305 |     1063  45083 |        0 |        0
1762.07/1762.51	c 1762s |      28 | 25558639 | 18571805 |     1063  45120 |        0 |        0
1764.08/1764.51	c 1764s |      28 | 25582724 | 18590805 |     1063  45156 |        0 |        0
1766.08/1766.51	c 1766s |      28 | 25609826 | 18610805 |     1063  45193 |        0 |        0
1768.08/1768.52	c 1768s |      28 | 25635981 | 18630405 |     1063  45229 |        0 |        0
1770.08/1770.53	c 1770s |      28 | 25664958 | 18651005 |     1063  45267 |        0 |        0
1772.08/1772.54	c 1772s |      28 | 25692561 | 18671305 |     1063  45305 |        0 |        0
1774.08/1774.54	c 1774s |      28 | 25720739 | 18692105 |     1063  45343 |        0 |        0
1776.09/1776.54	c 1776s |      28 | 25749627 | 18713105 |     1063  45382 |        0 |        0
1778.08/1778.55	c 1778s |      28 | 25779436 | 18734305 |     1063  45421 |        0 |        0
1780.08/1780.55	c 1780s |      28 | 25806103 | 18754305 |     1063  45458 |        0 |        0
1782.08/1782.55	c 1782s |      28 | 25835433 | 18775105 |     1063  45497 |        0 |        0
1784.08/1784.56	c 1784s |      28 | 25864722 | 18796105 |     1063  45536 |        0 |        0
1786.08/1786.57	c 1786s |      28 | 25893240 | 18817105 |     1063  45575 |        0 |        0
1788.08/1788.57	c 1788s |      28 | 25921792 | 18837805 |     1063  45613 |        0 |        0
1790.07/1790.57	c 1790s |      28 | 25950209 | 18859105 |     1063  45652 |        0 |        0
1792.07/1792.59	c 1792s |      28 | 25973507 | 18877205 |     1063  45686 |        0 |        0
1794.07/1794.59	c 1794s |      28 | 25997531 | 18895905 |     1063  45720 |        0 |        0
1796.07/1796.60	c 1796s |      28 | 26025595 | 18916605 |     1063  45758 |        0 |        0
1798.08/1798.60	c 1798s |      28 | 26053616 | 18937305 |     1063  45796 |        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-4095973-1466100012/watcher-4095973-1466100012 -o /tmp/evaluation-result-4095973-1466100012/solver-4095973-1466100012 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node134-1466098211-20848 --watchdog 1960 toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4095973-1466100012.opb 

pid=21008
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.35 2.30 2.27 3/174 21011
/proc/meminfo: memFree=30332200/32872528 swapFree=1481856/1661728
[pid=21011] ppid=21008 vsize=718268 CPUtime=0 cores=0,2,4,6
/proc/21011/stat : 21011 (toysat) R 21008 21011 20832 0 -1 4202496 2675 0 0 0 0 0 0 0 20 0 4 0 12047675 735506432 3548 33554432000 4194304 16246674 140736981638512 140736981637936 13880264 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/21011/statm: 180335 3557 441 2943 0 177229 0
[pid=21011/tid=21012] ppid=21008 vsize=735676 CPUtime=0 cores=0,2,4,6
/proc/21011/task/21012/stat : 21012 (toysat) S 21008 21011 20832 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12047675 753332224 3616 33554432000 4194304 16246674 140736981638512 140334382165232 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=21011/tid=21013] ppid=21008 vsize=739772 CPUtime=0 cores=0,2,4,6
/proc/21011/task/21013/stat : 21013 (toysat) S 21008 21011 20832 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 12047675 757526528 3632 33554432000 4194304 16246674 140736981638512 140334298279152 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=21011/tid=21014] ppid=21008 vsize=744892 CPUtime=0 cores=0,2,4,6
/proc/21011/task/21014/stat : 21014 (toysat) S 21008 21011 20832 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 12047675 762769408 3648 33554432000 4194304 16246674 140736981638512 140334287805616 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0

[startup+0.100139 s]
/proc/loadavg: 2.35 2.30 2.27 3/174 21011
/proc/meminfo: memFree=30332200/32872528 swapFree=1481856/1661728
[pid=21011] ppid=21008 vsize=1218116 CPUtime=0.09 cores=0,2,4,6
/proc/21011/stat : 21011 (toysat) R 21008 21011 20832 0 -1 4202496 24508 0 0 0 5 4 0 0 20 0 4 0 12047675 1247350784 25369 33554432000 4194304 16246674 140736981638512 140736981637936 5831697 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/21011/statm: 304529 25377 707 2943 0 301423 0
[pid=21011/tid=21012] ppid=21008 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/21011/task/21012/stat : 21012 (toysat) S 21008 21011 20832 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12047675 1247350784 25383 33554432000 4194304 16246674 140736981638512 140334382165232 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=21011/tid=21013] ppid=21008 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/21011/task/21013/stat : 21013 (toysat) S 21008 21011 20832 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 12047675 1247350784 25390 33554432000 4194304 16246674 140736981638512 140334298279152 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=21011/tid=21014] ppid=21008 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/21011/task/21014/stat : 21014 (toysat) S 21008 21011 20832 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 12047675 1247350784 25397 33554432000 4194304 16246674 140736981638512 140334287805616 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.200509 s]
/proc/loadavg: 2.35 2.30 2.27 3/174 21011
/proc/meminfo: memFree=30332200/32872528 swapFree=1481856/1661728
[pid=21011] ppid=21008 vsize=1218116 CPUtime=0.19 cores=0,2,4,6
/proc/21011/stat : 21011 (toysat) R 21008 21011 20832 0 -1 4202496 48053 0 0 0 12 7 0 0 20 0 4 0 12047675 1247350784 48915 33554432000 4194304 16246674 140736981638512 140736981637936 5675357 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/21011/statm: 304529 48925 707 2943 0 301423 0
[pid=21011/tid=21012] ppid=21008 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/21011/task/21012/stat : 21012 (toysat) S 21008 21011 20832 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12047675 1247350784 48933 33554432000 4194304 16246674 140736981638512 140334382165232 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=21011/tid=21013] ppid=21008 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/21011/task/21013/stat : 21013 (toysat) S 21008 21011 20832 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 12047675 1247350784 48939 33554432000 4194304 16246674 140736981638512 140334298279152 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=21011/tid=21014] ppid=21008 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/21011/task/21014/stat : 21014 (toysat) S 21008 21011 20832 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 12047675 1247350784 48946 33554432000 4194304 16246674 140736981638512 140334287805616 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.300469 s]
/proc/loadavg: 2.35 2.30 2.27 3/174 21011
/proc/meminfo: memFree=30332200/32872528 swapFree=1481856/1661728
[pid=21011] ppid=21008 vsize=1218116 CPUtime=0.29 cores=0,2,4,6
/proc/21011/stat : 21011 (toysat) R 21008 21011 20832 0 -1 4202496 71267 0 0 0 19 10 0 0 20 0 4 0 12047675 1247350784 72129 33554432000 4194304 16246674 140736981638512 140736981637936 6023439 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/21011/statm: 304529 72143 707 2943 0 301423 0
[pid=21011/tid=21012] ppid=21008 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/21011/task/21012/stat : 21012 (toysat) S 21008 21011 20832 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12047675 1247350784 72148 33554432000 4194304 16246674 140736981638512 140334382165232 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=21011/tid=21013] ppid=21008 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/21011/task/21013/stat : 21013 (toysat) S 21008 21011 20832 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 12047675 1247350784 72156 33554432000 4194304 16246674 140736981638512 140334298279152 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=21011/tid=21014] ppid=21008 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/21011/task/21014/stat : 21014 (toysat) S 21008 21011 20832 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 12047675 1247350784 72162 33554432000 4194304 16246674 140736981638512 140334287805616 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.700399 s]
/proc/loadavg: 2.35 2.30 2.27 3/174 21011
/proc/meminfo: memFree=30332200/32872528 swapFree=1481856/1661728
[pid=21011] ppid=21008 vsize=1218116 CPUtime=0.69 cores=0,2,4,6
/proc/21011/stat : 21011 (toysat) R 21008 21011 20832 0 -1 4202496 163326 0 0 0 46 23 0 0 20 0 4 0 12047675 1247350784 164187 33554432000 4194304 16246674 140736981638512 140736981637936 5829366 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/21011/statm: 304529 164197 708 2943 0 301423 0
[pid=21011/tid=21012] ppid=21008 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/21011/task/21012/stat : 21012 (toysat) S 21008 21011 20832 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12047675 1247350784 164200 33554432000 4194304 16246674 140736981638512 140334382165232 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=21011/tid=21013] ppid=21008 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/21011/task/21013/stat : 21013 (toysat) S 21008 21011 20832 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 12047675 1247350784 164206 33554432000 4194304 16246674 140736981638512 140334298279152 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=21011/tid=21014] ppid=21008 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/21011/task/21014/stat : 21014 (toysat) S 21008 21011 20832 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 12047675 1247350784 164213 33554432000 4194304 16246674 140736981638512 140334287805616 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.50041 s]
/proc/loadavg: 2.35 2.30 2.27 3/186 21028
/proc/meminfo: memFree=28364972/32872528 swapFree=1481856/1661728
[pid=21011] ppid=21008 vsize=1218116 CPUtime=1.49 cores=0,2,4,6
/proc/21011/stat : 21011 (toysat) R 21008 21011 20832 0 -1 4202496 245489 0 0 0 115 34 0 0 20 0 4 0 12047675 1247350784 246330 33554432000 4194304 16246674 140736981638512 140736981637824 5822252 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/21011/statm: 304529 246330 783 2943 0 301423 0
[pid=21011/tid=21012] ppid=21008 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/21011/task/21012/stat : 21012 (toysat) S 21008 21011 20832 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12047675 1247350784 246330 33554432000 4194304 16246674 140736981638512 140334382165232 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=21011/tid=21013] ppid=21008 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/21011/task/21013/stat : 21013 (toysat) S 21008 21011 20832 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 12047675 1247350784 246330 33554432000 4194304 16246674 140736981638512 140334298279152 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=21011/tid=21014] ppid=21008 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/21011/task/21014/stat : 21014 (toysat) S 21008 21011 20832 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 12047675 1247350784 246330 33554432000 4194304 16246674 140736981638512 140334287805616 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) 1218116

[startup+3.1004 s]
/proc/loadavg: 2.35 2.30 2.27 3/186 21028
/proc/meminfo: memFree=28188272/32872528 swapFree=1481856/1661728
[pid=21011] ppid=21008 vsize=1306180 CPUtime=3.09 cores=0,2,4,6
/proc/21011/stat : 21011 (toysat) R 21008 21011 20832 0 -1 4202496 267379 0 0 0 272 37 0 0 20 0 4 0 12047675 1337528320 268220 33554432000 4194304 16246674 140736981638512 140736981620416 13191272 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/21011/statm: 326545 268220 783 2943 0 323439 0
[pid=21011/tid=21012] ppid=21008 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/21011/task/21012/stat : 21012 (toysat) S 21008 21011 20832 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12047675 1337528320 268220 33554432000 4194304 16246674 140736981638512 140334382165232 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=21011/tid=21013] ppid=21008 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/21011/task/21013/stat : 21013 (toysat) S 21008 21011 20832 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 12047675 1337528320 268220 33554432000 4194304 16246674 140736981638512 140334298279152 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=21011/tid=21014] ppid=21008 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/21011/task/21014/stat : 21014 (toysat) S 21008 21011 20832 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 12047675 1337528320 268220 33554432000 4194304 16246674 140736981638512 140334287805616 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.30037 s]
/proc/loadavg: 2.32 2.30 2.27 3/186 21028
/proc/meminfo: memFree=28188164/32872528 swapFree=1481856/1661728
[pid=21011] ppid=21008 vsize=1306180 CPUtime=6.29 cores=0,2,4,6
/proc/21011/stat : 21011 (toysat) R 21008 21011 20832 0 -1 4202496 267426 0 0 0 592 37 0 0 20 0 4 0 12047675 1337528320 268267 33554432000 4194304 16246674 140736981638512 140736981620416 13191326 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/21011/statm: 326545 268267 783 2943 0 323439 0
[pid=21011/tid=21012] ppid=21008 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/21011/task/21012/stat : 21012 (toysat) S 21008 21011 20832 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12047675 1337528320 268267 33554432000 4194304 16246674 140736981638512 140334382165232 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=21011/tid=21013] ppid=21008 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/21011/task/21013/stat : 21013 (toysat) S 21008 21011 20832 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 12047675 1337528320 268267 33554432000 4194304 16246674 140736981638512 140334298279152 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=21011/tid=21014] ppid=21008 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/21011/task/21014/stat : 21014 (toysat) S 21008 21011 20832 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 12047675 1337528320 268267 33554432000 4194304 16246674 140736981638512 140334287805616 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) 1306180

[startup+12.7004 s]
/proc/loadavg: 2.38 2.31 2.28 3/186 21028
/proc/meminfo: memFree=28188408/32872528 swapFree=1481856/1661728
[pid=21011] ppid=21008 vsize=1306180 CPUtime=12.69 cores=0,2,4,6
/proc/21011/stat : 21011 (toysat) R 21008 21011 20832 0 -1 4202496 267429 0 0 0 1232 37 0 0 20 0 4 0 12047675 1337528320 268270 33554432000 4194304 16246674 140736981638512 140736981620416 5754648 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/21011/statm: 326545 268270 784 2943 0 323439 0
[pid=21011/tid=21012] ppid=21008 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/21011/task/21012/stat : 21012 (toysat) S 21008 21011 20832 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12047675 1337528320 268270 33554432000 4194304 16246674 140736981638512 140334382165232 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=21011/tid=21013] ppid=21008 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/21011/task/21013/stat : 21013 (toysat) S 21008 21011 20832 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 12047675 1337528320 268270 33554432000 4194304 16246674 140736981638512 140334298279152 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=21011/tid=21014] ppid=21008 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/21011/task/21014/stat : 21014 (toysat) S 21008 21011 20832 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 12047675 1337528320 268270 33554432000 4194304 16246674 140736981638512 140334287805616 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 1306180

[startup+25.5005 s]
/proc/loadavg: 2.29 2.29 2.27 3/186 21028
/proc/meminfo: memFree=28188800/32872528 swapFree=1481856/1661728
[pid=21011] ppid=21008 vsize=1306180 CPUtime=25.49 cores=0,2,4,6
/proc/21011/stat : 21011 (toysat) R 21008 21011 20832 0 -1 4202496 267429 0 0 0 2511 38 0 0 20 0 4 0 12047675 1337528320 268270 33554432000 4194304 16246674 140736981638512 140736981620416 12483320 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/21011/statm: 326545 268270 784 2943 0 323439 0
[pid=21011/tid=21012] ppid=21008 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/21011/task/21012/stat : 21012 (toysat) S 21008 21011 20832 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12047675 1337528320 268270 33554432000 4194304 16246674 140736981638512 140334382165232 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=21011/tid=21013] ppid=21008 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/21011/task/21013/stat : 21013 (toysat) S 21008 21011 20832 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 12047675 1337528320 268270 33554432000 4194304 16246674 140736981638512 140334298279152 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=21011/tid=21014] ppid=21008 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/21011/task/21014/stat : 21014 (toysat) S 21008 21011 20832 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 12047675 1337528320 268270 33554432000 4194304 16246674 140736981638512 140334287805616 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 1306180

[startup+51.1005 s]
/proc/loadavg: 2.25 2.29 2.27 3/186 21052
/proc/meminfo: memFree=28186752/32872528 swapFree=1481856/1661728
[pid=21011] ppid=21008 vsize=1306180 CPUtime=51.08 cores=0,2,4,6
/proc/21011/stat : 21011 (toysat) R 21008 21011 20832 0 -1 4202496 267463 0 0 0 5070 38 0 0 20 0 4 0 12047675 1337528320 268298 33554432000 4194304 16246674 140736981638512 140736981621512 5827966 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/21011/statm: 326545 268298 784 2943 0 323439 0
[pid=21011/tid=21012] ppid=21008 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/21011/task/21012/stat : 21012 (toysat) S 21008 21011 20832 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12047675 1337528320 268298 33554432000 4194304 16246674 140736981638512 140334382165232 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=21011/tid=21013] ppid=21008 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/21011/task/21013/stat : 21013 (toysat) S 21008 21011 20832 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 12047675 1337528320 268298 33554432000 4194304 16246674 140736981638512 140334298279152 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=21011/tid=21014] ppid=21008 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/21011/task/21014/stat : 21014 (toysat) S 21008 21011 20832 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 12047675 1337528320 268298 33554432000 4194304 16246674 140736981638512 140334287805616 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) 1306180

[startup+102.3 s]
/proc/loadavg: 2.23 2.27 2.26 3/186 21053
/proc/meminfo: memFree=28188316/32872528 swapFree=1481856/1661728
[pid=21011] ppid=21008 vsize=1306180 CPUtime=102.27 cores=0,2,4,6
/proc/21011/stat : 21011 (toysat) R 21008 21011 20832 0 -1 4202496 267482 0 0 0 10188 39 0 0 20 0 4 0 12047675 1337528320 268301 33554432000 4194304 16246674 140736981638512 140736981620416 5822252 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/21011/statm: 326545 268301 786 2943 0 323439 0
[pid=21011/tid=21012] ppid=21008 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/21011/task/21012/stat : 21012 (toysat) S 21008 21011 20832 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12047675 1337528320 268301 33554432000 4194304 16246674 140736981638512 140334382165232 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=21011/tid=21013] ppid=21008 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/21011/task/21013/stat : 21013 (toysat) S 21008 21011 20832 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 12047675 1337528320 268301 33554432000 4194304 16246674 140736981638512 140334298279152 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=21011/tid=21014] ppid=21008 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/21011/task/21014/stat : 21014 (toysat) S 21008 21011 20832 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 12047675 1337528320 268301 33554432000 4194304 16246674 140736981638512 140334287805616 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 1306180


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

/proc/21011/task/21014/stat : 21014 (toysat) S 21008 21011 20832 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 12047675 1338576896 268481 33554432000 4194304 16246674 140736981638512 140334287805616 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1301.95
Current children cumulated vsize (KiB) 1307204

[startup+1362.3 s]
/proc/loadavg: 2.31 2.26 2.26 3/185 21084
/proc/meminfo: memFree=28181240/32872528 swapFree=1481856/1661728
[pid=21011] ppid=21008 vsize=1307204 CPUtime=1361.94 cores=0,2,4,6
/proc/21011/stat : 21011 (toysat) R 21008 21011 20832 0 -1 4202496 267934 0 0 0 136129 65 0 0 20 0 4 0 12047675 1338576896 268481 33554432000 4194304 16246674 140736981638512 140736981621512 13905545 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/21011/statm: 326801 268481 788 2943 0 323695 0
[pid=21011/tid=21012] ppid=21008 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/21011/task/21012/stat : 21012 (toysat) S 21008 21011 20832 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12047675 1338576896 268481 33554432000 4194304 16246674 140736981638512 140334382165232 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=21011/tid=21013] ppid=21008 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/21011/task/21013/stat : 21013 (toysat) S 21008 21011 20832 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 12047675 1338576896 268481 33554432000 4194304 16246674 140736981638512 140334298279152 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=21011/tid=21014] ppid=21008 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/21011/task/21014/stat : 21014 (toysat) S 21008 21011 20832 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 12047675 1338576896 268481 33554432000 4194304 16246674 140736981638512 140334287805616 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1361.94
Current children cumulated vsize (KiB) 1307204

[startup+1422.3 s]
/proc/loadavg: 2.25 2.26 2.26 3/185 21085
/proc/meminfo: memFree=28181760/32872528 swapFree=1481856/1661728
[pid=21011] ppid=21008 vsize=1307204 CPUtime=1421.94 cores=0,2,4,6
/proc/21011/stat : 21011 (toysat) R 21008 21011 20832 0 -1 4202496 267966 0 0 0 142127 67 0 0 20 0 4 0 12047675 1338576896 268513 33554432000 4194304 16246674 140736981638512 140736981620416 13927401 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/21011/statm: 326801 268513 788 2943 0 323695 0
[pid=21011/tid=21012] ppid=21008 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/21011/task/21012/stat : 21012 (toysat) S 21008 21011 20832 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12047675 1338576896 268513 33554432000 4194304 16246674 140736981638512 140334382165232 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=21011/tid=21013] ppid=21008 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/21011/task/21013/stat : 21013 (toysat) S 21008 21011 20832 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 12047675 1338576896 268513 33554432000 4194304 16246674 140736981638512 140334298279152 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=21011/tid=21014] ppid=21008 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/21011/task/21014/stat : 21014 (toysat) S 21008 21011 20832 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 12047675 1338576896 268513 33554432000 4194304 16246674 140736981638512 140334287805616 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1421.94
Current children cumulated vsize (KiB) 1307204

[startup+1482.3 s]
/proc/loadavg: 2.21 2.24 2.25 3/185 21086
/proc/meminfo: memFree=28181860/32872528 swapFree=1481856/1661728
[pid=21011] ppid=21008 vsize=1307204 CPUtime=1481.92 cores=0,2,4,6
/proc/21011/stat : 21011 (toysat) R 21008 21011 20832 0 -1 4202496 267966 0 0 0 148124 68 0 0 20 0 4 0 12047675 1338576896 268513 33554432000 4194304 16246674 140736981638512 140736981621512 5674768 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/21011/statm: 326801 268513 788 2943 0 323695 0
[pid=21011/tid=21012] ppid=21008 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/21011/task/21012/stat : 21012 (toysat) S 21008 21011 20832 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12047675 1338576896 268513 33554432000 4194304 16246674 140736981638512 140334382165232 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=21011/tid=21013] ppid=21008 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/21011/task/21013/stat : 21013 (toysat) S 21008 21011 20832 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 12047675 1338576896 268513 33554432000 4194304 16246674 140736981638512 140334298279152 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=21011/tid=21014] ppid=21008 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/21011/task/21014/stat : 21014 (toysat) S 21008 21011 20832 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 12047675 1338576896 268513 33554432000 4194304 16246674 140736981638512 140334287805616 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1481.92
Current children cumulated vsize (KiB) 1307204

[startup+1542.31 s]
/proc/loadavg: 2.21 2.24 2.25 3/185 21087
/proc/meminfo: memFree=28182208/32872528 swapFree=1481856/1661728
[pid=21011] ppid=21008 vsize=1307204 CPUtime=1541.92 cores=0,2,4,6
/proc/21011/stat : 21011 (toysat) R 21008 21011 20832 0 -1 4202496 267966 0 0 0 154123 69 0 0 20 0 4 0 12047675 1338576896 268513 33554432000 4194304 16246674 140736981638512 140736981620416 13943664 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/21011/statm: 326801 268513 788 2943 0 323695 0
[pid=21011/tid=21012] ppid=21008 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/21011/task/21012/stat : 21012 (toysat) S 21008 21011 20832 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12047675 1338576896 268513 33554432000 4194304 16246674 140736981638512 140334382165232 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=21011/tid=21013] ppid=21008 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/21011/task/21013/stat : 21013 (toysat) S 21008 21011 20832 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 12047675 1338576896 268513 33554432000 4194304 16246674 140736981638512 140334298279152 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=21011/tid=21014] ppid=21008 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/21011/task/21014/stat : 21014 (toysat) S 21008 21011 20832 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 12047675 1338576896 268513 33554432000 4194304 16246674 140736981638512 140334287805616 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1541.92
Current children cumulated vsize (KiB) 1307204

[startup+1602.3 s]
/proc/loadavg: 2.23 2.24 2.25 3/185 21089
/proc/meminfo: memFree=28181824/32872528 swapFree=1481856/1661728
[pid=21011] ppid=21008 vsize=1307204 CPUtime=1601.9 cores=0,2,4,6
/proc/21011/stat : 21011 (toysat) R 21008 21011 20832 0 -1 4202496 267967 0 0 0 160120 70 0 0 20 0 4 0 12047675 1338576896 268514 33554432000 4194304 16246674 140736981638512 140736981620416 5822604 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/21011/statm: 326801 268514 788 2943 0 323695 0
[pid=21011/tid=21012] ppid=21008 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/21011/task/21012/stat : 21012 (toysat) S 21008 21011 20832 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12047675 1338576896 268514 33554432000 4194304 16246674 140736981638512 140334382165232 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=21011/tid=21013] ppid=21008 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/21011/task/21013/stat : 21013 (toysat) S 21008 21011 20832 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 12047675 1338576896 268514 33554432000 4194304 16246674 140736981638512 140334298279152 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=21011/tid=21014] ppid=21008 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/21011/task/21014/stat : 21014 (toysat) S 21008 21011 20832 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 12047675 1338576896 268514 33554432000 4194304 16246674 140736981638512 140334287805616 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1601.9
Current children cumulated vsize (KiB) 1307204

[startup+1662.3 s]
/proc/loadavg: 2.24 2.24 2.25 3/185 21090
/proc/meminfo: memFree=28181432/32872528 swapFree=1481856/1661728
[pid=21011] ppid=21008 vsize=1307204 CPUtime=1661.9 cores=0,2,4,6
/proc/21011/stat : 21011 (toysat) R 21008 21011 20832 0 -1 4202496 268105 0 0 0 166119 71 0 0 20 0 4 0 12047675 1338576896 268652 33554432000 4194304 16246674 140736981638512 140736981620416 5673965 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/21011/statm: 326801 268652 788 2943 0 323695 0
[pid=21011/tid=21012] ppid=21008 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/21011/task/21012/stat : 21012 (toysat) S 21008 21011 20832 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12047675 1338576896 268652 33554432000 4194304 16246674 140736981638512 140334382165232 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=21011/tid=21013] ppid=21008 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/21011/task/21013/stat : 21013 (toysat) S 21008 21011 20832 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 12047675 1338576896 268652 33554432000 4194304 16246674 140736981638512 140334298279152 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=21011/tid=21014] ppid=21008 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/21011/task/21014/stat : 21014 (toysat) S 21008 21011 20832 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 12047675 1338576896 268652 33554432000 4194304 16246674 140736981638512 140334287805616 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1661.9
Current children cumulated vsize (KiB) 1307204

[startup+1722.3 s]
/proc/loadavg: 2.15 2.20 2.23 3/185 21091
/proc/meminfo: memFree=28181200/32872528 swapFree=1481856/1661728
[pid=21011] ppid=21008 vsize=1307204 CPUtime=1721.88 cores=0,2,4,6
/proc/21011/stat : 21011 (toysat) R 21008 21011 20832 0 -1 4202496 268105 0 0 0 172116 72 0 0 20 0 4 0 12047675 1338576896 268652 33554432000 4194304 16246674 140736981638512 140736981621512 13192476 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/21011/statm: 326801 268652 788 2943 0 323695 0
[pid=21011/tid=21012] ppid=21008 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/21011/task/21012/stat : 21012 (toysat) S 21008 21011 20832 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12047675 1338576896 268652 33554432000 4194304 16246674 140736981638512 140334382165232 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=21011/tid=21013] ppid=21008 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/21011/task/21013/stat : 21013 (toysat) S 21008 21011 20832 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 12047675 1338576896 268652 33554432000 4194304 16246674 140736981638512 140334298279152 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=21011/tid=21014] ppid=21008 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/21011/task/21014/stat : 21014 (toysat) S 21008 21011 20832 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 12047675 1338576896 268652 33554432000 4194304 16246674 140736981638512 140334287805616 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1721.88
Current children cumulated vsize (KiB) 1307204

[startup+1782.3 s]
/proc/loadavg: 2.25 2.23 2.24 3/185 21092
/proc/meminfo: memFree=28180448/32872528 swapFree=1481856/1661728
[pid=21011] ppid=21008 vsize=1307204 CPUtime=1781.88 cores=0,2,4,6
/proc/21011/stat : 21011 (toysat) R 21008 21011 20832 0 -1 4202496 268105 0 0 0 178115 73 0 0 20 0 4 0 12047675 1338576896 268652 33554432000 4194304 16246674 140736981638512 140736981620416 13818309 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/21011/statm: 326801 268652 788 2943 0 323695 0
[pid=21011/tid=21012] ppid=21008 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/21011/task/21012/stat : 21012 (toysat) S 21008 21011 20832 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12047675 1338576896 268652 33554432000 4194304 16246674 140736981638512 140334382165232 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=21011/tid=21013] ppid=21008 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/21011/task/21013/stat : 21013 (toysat) S 21008 21011 20832 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 12047675 1338576896 268652 33554432000 4194304 16246674 140736981638512 140334298279152 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=21011/tid=21014] ppid=21008 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/21011/task/21014/stat : 21014 (toysat) S 21008 21011 20832 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 12047675 1338576896 268652 33554432000 4194304 16246674 140736981638512 140334287805616 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1781.88
Current children cumulated vsize (KiB) 1307204



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.5 s]
/proc/loadavg: 2.25 2.23 2.24 3/186 21095
/proc/meminfo: memFree=28180716/32872528 swapFree=1481856/1661728
[pid=21011] ppid=21008 vsize=1307204 CPUtime=1800.07 cores=0,2,4,6
/proc/21011/stat : 21011 (toysat) R 21008 21011 20832 0 -1 4202496 268105 0 0 0 179934 73 0 0 20 0 4 0 12047675 1338576896 268652 33554432000 4194304 16246674 140736981638512 140736981621512 13943664 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/21011/statm: 326801 268652 788 2943 0 323695 0
[pid=21011/tid=21012] ppid=21008 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/21011/task/21012/stat : 21012 (toysat) S 21008 21011 20832 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12047675 1338576896 268652 33554432000 4194304 16246674 140736981638512 140334382165232 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=21011/tid=21013] ppid=21008 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/21011/task/21013/stat : 21013 (toysat) S 21008 21011 20832 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 12047675 1338576896 268652 33554432000 4194304 16246674 140736981638512 140334298279152 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=21011/tid=21014] ppid=21008 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/21011/task/21014/stat : 21014 (toysat) S 21008 21011 20832 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 12047675 1338576896 268652 33554432000 4194304 16246674 140736981638512 140334287805616 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1800.07
Current children cumulated vsize (KiB) 1307204

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

[startup+1800.5 s]
/proc/loadavg: 2.25 2.23 2.24 3/186 21095
/proc/meminfo: memFree=28180716/32872528 swapFree=1481856/1661728
[pid=21011] ppid=21008 vsize=1307204 CPUtime=1800.07 cores=0,2,4,6
/proc/21011/stat : 21011 (toysat) R 21008 21011 20832 0 -1 4202496 268105 0 0 0 179934 73 0 0 20 0 4 0 12047675 1338576896 268652 33554432000 4194304 16246674 140736981638512 140736981621512 13943664 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/21011/statm: 326801 268652 788 2943 0 323695 0
[pid=21011/tid=21012] ppid=21008 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/21011/task/21012/stat : 21012 (toysat) S 21008 21011 20832 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12047675 1338576896 268652 33554432000 4194304 16246674 140736981638512 140334382165232 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=21011/tid=21013] ppid=21008 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/21011/task/21013/stat : 21013 (toysat) S 21008 21011 20832 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 12047675 1338576896 268652 33554432000 4194304 16246674 140736981638512 140334298279152 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=21011/tid=21014] ppid=21008 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/21011/task/21014/stat : 21014 (toysat) S 21008 21011 20832 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 12047675 1338576896 268652 33554432000 4194304 16246674 140736981638512 140334287805616 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1800.07
Current children cumulated vsize (KiB) 1307204

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1800.51
CPU time (s): 1800.09
CPU user time (s): 1799.35
CPU system time (s): 0.734888
CPU usage (%): 99.9765
Max. virtual memory (cumulated for all children) (KiB): 1307204

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.35
system time used= 0.734888
maximum resident set size= 1074608
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 268105
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= 308
involuntary context switches= 1922

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 4.73628 second user time and 6.77697 second system time

The end

Begin job on node134 at 2016-06-16 20:00:13
IDJOB=4095973
IDBENCH=107548
IDSOLVER=2542
FILE ID=node134/4095973-1466100012
RUNJOBID= node134-1466098211-20848
PBS_JOBID= 19904059
Free space on /tmp= 71720 MiB

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

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

MD5SUM BENCH= 93b23d76cb0216126a7054986484a9ab
RANDOM SEED=791440118

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

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:       32872528 kB
MemFree:        30345660 kB
Buffers:           36720 kB
Cached:           115564 kB
SwapCached:         8908 kB
Active:            87008 kB
Inactive:          75216 kB
Active(anon):       4220 kB
Inactive(anon):     8200 kB
Active(file):      82788 kB
Inactive(file):    67016 kB
Unevictable:     1661728 kB
Mlocked:         1481856 kB
SwapTotal:      67108856 kB
SwapFree:       67092044 kB
Dirty:             19200 kB
Writeback:             0 kB
AnonPages:       1664408 kB
Mapped:             7004 kB
Shmem:                 0 kB
Slab:             569180 kB
SReclaimable:      12812 kB
SUnreclaim:       556368 kB
KernelStack:        1440 kB
PageTables:         7248 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    1758488 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341987908 kB
HardwareCorrupted:     0 kB
AnonHugePages:    180224 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:        7552 kB
DirectMap2M:    33538048 kB

Free space on /tmp at the end= 71688 MiB
End job on node134 at 2016-06-16 20:30:13