0.00/0.00	c 2016-06-16T19:29:27+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-4095868-1466098167.opb"]
0.00/0.01	c use --random-gen="1656035425 3033061014 993110909 1930229356 648609788 2130436326 1832106560 414687853 3656495857 1910279010 3420193017 1686390966 3875292709 3681669172 2900297292 2715755497 2965630554 3494447011 2643648239 1286794771 3215659407 2639056659 897810192 1482403368 1799345830 3852517725 345251248 1431864955 88819125 767595282 2324835725 2062748325 1278080469 2814431236 3981937974 3311012465 3729047133 988012189 2654948110 2379368572 1075863620 4036902153 701481896 680752235 2567188996 3881324318 2499646052 1805903521 1753059225 453367324 3370192507 744460505 398441506 632051470 1771342996 3936942735 3604702544 4107640953 211215016 464017643 3809239516 3739755132 2409514584 1470804636 1593263093 1766253938 4035229963 69209521 2130895897 763673639 4124534558 1251633482 2147679563 1333328820 3783656621 2312435992 3162918531 3511223051 4051344267 2360737636 2534466278 3601420186 2724719813 725700274 3947799582 3271341281 1834875505 2505164636 4060915266 237038321 670562633 741438480 2106998370 2847927472 2335402270 1243036243 13594383 2458531726 472804685 1618206330 3708118375 3878195455 1698182902 1055264737 1961553135 769761532 3600869234 2173780688 2556117968 394534990 1025049831 1240772196 3413171240 3400474209 447991302 264024079 788905983 3200048465 1317896047 3014922777 956214213 913948064 3788160363 677639044 735601898 778501178 1858617468 3553375256 1315423215 3370483108 1666272875 1065356628 3079470512 2390595522 2758871190 294914748 3923473846 1585944268 4062033565 621389384 3540039781 2953983639 104426699 2594186918 1241136829 489082748 4158313529 2727178079 727676361 52590874 2298716218 3787881167 3256065862 2884346336 3757625473 2068424997 1659166919 3259787142 2617154020 3706988485 2521872240 1374485409 3268110772 4075257055 277683662 892900462 257091802 3351497802 3396837469 4291793090 438675914 3984911923 3351267658 3456471328 2922081456 3133137706 248496271 2765329986 654669424 4066347979 1905162407 3079416049 3387869918 2435361199 2478697634 2582748905 297307112 1387789055 303242029 3378301271 2297182563 4241648638 3827805362 768392042 2439360534 2170441150 2506821850 3054600040 356429775 3227638157 2876896 2944243642 3543255141 4225061338 1151677851 3818795566 2606503368 3189702368 3254108364 2628802864 3738507444 697110262 1727821043 2341687754 232667080 2456879681 3951927491 3157112157 2477420719 2338072970 4227249713 1958511097 188664483 3892139652 1182463319 1689210868 1049652500 536028850 1264766667 922274709 2323948741 1704498056 3098316217 2160996519 155673695 39662000 3601797153 3619672994 335939546 400146748 2059947583 2806355658 3310131395 566196926 4234924467 4119754879 397206352 1950777831 3670622126 2136203069 2501838718 2138730564 3401749273 3779559647 615478492 1795807808 255 362436" option to reproduce the execution
0.00/0.01	c #vars 261
0.00/0.01	c #constraints 130
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 |      130      0 |        0 |        0
0.00/0.02	c  0.0s |       1 |      168 |      100 |      130      0 |        0 |        0
0.00/0.03	c  0.0s |       2 |      436 |      250 |      143      0 |        0 |        0
0.00/0.06	c  0.0s |       3 |      744 |      475 |      158      1 |        0 |        0
0.00/0.09	c  0.1s |       4 |     1317 |      813 |      174      4 |        0 |        0
0.09/0.14	c  0.1s |       5 |     2069 |     1320 |      192      8 |        0 |        0
0.19/0.22	c  0.2s |       6 |     3154 |     2081 |      234     12 |        0 |        0
0.29/0.33	c  0.3s |       7 |     4688 |     3223 |      258     19 |        0 |        0
0.39/0.49	c  0.5s |       8 |     7030 |     4936 |      284     26 |        0 |        0
0.69/0.76	c  0.8s |       9 |    10526 |     7506 |      313     37 |        0 |        0
1.10/1.15	c  1.1s |      10 |    15341 |    11361 |      345     53 |        0 |        0
1.49/1.57	c  1.6s |      11 |    23498 |    17144 |      380     77 |        0 |        0
2.20/2.22	c  2.2s |      12 |    36186 |    25819 |      419    109 |        0 |        0
3.19/3.25	c  3.2s |      13 |    53591 |    38832 |      461    158 |        0 |        0
4.68/4.75	c  4.7s |      14 |    80153 |    58352 |      508    221 |        0 |        0
6.69/6.75	c  6.7s |      14 |   113264 |    83252 |      508    296 |        0 |        0
7.08/7.11	c  7.1s |      15 |   119402 |    87632 |      559    309 |        0 |        0
9.09/9.11	c  9.1s |      15 |   154553 |   113532 |      559    387 |        0 |        0
10.59/10.62	c 10.6s |      16 |   178253 |   131552 |      615    441 |        0 |        0
12.59/12.62	c 12.6s |      16 |   206434 |   153652 |      615    499 |        0 |        0
14.59/14.62	c 14.6s |      16 |   236134 |   176652 |      615    559 |        0 |        0
16.29/16.38	c 16.4s |      17 |   263661 |   197432 |      677    614 |        0 |        0
18.29/18.38	c 18.4s |      17 |   293989 |   220532 |      677    670 |        0 |        0
20.29/20.38	c 20.4s |      17 |   322873 |   242932 |      677    726 |        0 |        0
22.29/22.38	c 22.4s |      17 |   356668 |   267632 |      677    788 |        0 |        0
24.30/24.39	c 24.4s |      17 |   387212 |   290032 |      677    845 |        0 |        0
24.89/24.97	c 25.0s |      18 |   395403 |   296252 |      745    860 |        0 |        0
26.89/26.98	c 27.0s |      18 |   423899 |   317752 |      745    909 |        0 |        0
28.89/28.98	c 29.0s |      18 |   454855 |   340552 |      745    961 |        0 |        0
30.89/30.99	c 31.0s |      18 |   484756 |   362852 |      745   1011 |        0 |        0
32.88/32.99	c 33.0s |      18 |   513435 |   384452 |      745   1060 |        0 |        0
34.98/35.00	c 35.0s |      18 |   542163 |   406252 |      745   1110 |        0 |        0
36.98/37.00	c 37.0s |      18 |   572970 |   429052 |      745   1162 |        0 |        0
38.38/38.49	c 38.5s |      19 |   592554 |   444482 |      820   1196 |        0 |        0
40.39/40.49	c 40.5s |      19 |   620320 |   466482 |      820   1241 |        0 |        0
42.49/42.50	c 42.5s |      19 |   651969 |   489982 |      820   1290 |        0 |        0
44.48/44.50	c 44.5s |      19 |   681556 |   512282 |      820   1337 |        0 |        0
46.48/46.51	c 46.5s |      19 |   710892 |   534582 |      820   1383 |        0 |        0
48.49/48.51	c 48.5s |      19 |   740871 |   557082 |      820   1430 |        0 |        0
50.48/50.52	c 50.5s |      19 |   767527 |   577382 |      820   1472 |        0 |        0
52.48/52.52	c 52.5s |      19 |   795993 |   598582 |      820   1517 |        0 |        0
54.48/54.52	c 54.5s |      19 |   824687 |   620282 |      820   1562 |        0 |        0
56.48/56.53	c 56.5s |      19 |   852672 |   641182 |      820   1606 |        0 |        0
58.48/58.54	c 58.5s |      19 |   881470 |   662282 |      903   1650 |        0 |        0
58.98/59.00	c 59.0s |      20 |   887313 |   666827 |      903   1659 |        0 |        0
60.98/61.00	c 61.0s |      20 |   914914 |   687827 |      903   1699 |        0 |        0
62.98/63.01	c 63.0s |      20 |   940720 |   708127 |      903   1738 |        0 |        0
64.98/65.01	c 65.0s |      20 |   969673 |   729527 |      903   1779 |        0 |        0
66.98/67.01	c 67.0s |      20 |   997799 |   750927 |      903   1820 |        0 |        0
68.98/69.01	c 69.0s |      20 |  1026724 |   772327 |      903   1861 |        0 |        0
70.97/71.01	c 71.0s |      20 |  1053639 |   792927 |      903   1901 |        0 |        0
72.97/73.01	c 73.0s |      20 |  1079930 |   812727 |      903   1939 |        0 |        0
74.97/75.02	c 75.0s |      20 |  1110297 |   834627 |      903   1981 |        0 |        0
76.99/77.02	c 77.0s |      20 |  1139257 |   856027 |      903   2023 |        0 |        0
78.98/79.03	c 79.0s |      20 |  1168526 |   877427 |      903   2064 |        0 |        0
80.98/81.03	c 81.0s |      20 |  1194940 |   898427 |      903   2104 |        0 |        0
82.98/83.03	c 83.0s |      20 |  1224402 |   919327 |      903   2145 |        0 |        0
84.98/85.03	c 85.0s |      20 |  1252562 |   940527 |      903   2186 |        0 |        0
86.98/87.04	c 87.0s |      20 |  1277180 |   959927 |      903   2224 |        0 |        0
88.98/89.04	c 89.0s |      20 |  1305898 |   981127 |      903   2266 |        0 |        0
90.78/90.87	c 90.9s |      21 |  1332680 |  1000345 |      994   2302 |        0 |        0
92.77/92.87	c 92.9s |      21 |  1359712 |  1019845 |      994   2337 |        0 |        0
94.77/94.88	c 94.9s |      21 |  1388158 |  1040045 |      994   2373 |        0 |        0
96.79/96.88	c 96.9s |      21 |  1417850 |  1061045 |      994   2410 |        0 |        0
98.78/98.89	c 98.9s |      21 |  1442603 |  1079345 |      994   2443 |        0 |        0
100.78/100.89	c  100s |      21 |  1468162 |  1097745 |      994   2476 |        0 |        0
102.88/102.90	c  102s |      21 |  1494595 |  1116745 |      994   2511 |        0 |        0
104.88/104.91	c  104s |      21 |  1521575 |  1135645 |      994   2545 |        0 |        0
106.88/106.92	c  106s |      21 |  1548325 |  1154045 |      994   2579 |        0 |        0
108.88/108.92	c  108s |      21 |  1575728 |  1173145 |      994   2613 |        0 |        0
110.88/110.93	c  110s |      21 |  1601904 |  1191945 |      994   2647 |        0 |        0
112.88/112.93	c  112s |      21 |  1629104 |  1211145 |      994   2682 |        0 |        0
114.87/114.93	c  114s |      21 |  1659475 |  1231145 |      994   2718 |        0 |        0
116.87/116.93	c  116s |      21 |  1689029 |  1250945 |      994   2754 |        0 |        0
118.88/118.94	c  118s |      21 |  1716638 |  1269745 |      994   2788 |        0 |        0
120.87/120.94	c  120s |      21 |  1743882 |  1289545 |      994   2825 |        0 |        0
122.87/122.94	c  122s |      21 |  1774833 |  1310745 |      994   2863 |        0 |        0
124.87/124.94	c  124s |      21 |  1803154 |  1330645 |      994   2900 |        0 |        0
126.87/126.95	c  126s |      21 |  1832161 |  1351245 |      994   2939 |        0 |        0
128.87/128.95	c  128s |      21 |  1865327 |  1373445 |      994   2981 |        0 |        0
130.87/130.95	c  130s |      21 |  1895889 |  1394245 |      994   3020 |        0 |        0
132.87/132.95	c  132s |      21 |  1925302 |  1414445 |      994   3057 |        0 |        0
134.87/134.96	c  134s |      21 |  1953273 |  1434045 |      994   3094 |        0 |        0
136.87/136.97	c  136s |      21 |  1982864 |  1453945 |      994   3131 |        0 |        0
138.86/138.97	c  138s |      21 |  2013583 |  1474745 |      994   3170 |        0 |        0
140.87/140.98	c  140s |      21 |  2043573 |  1495545 |     1094   3209 |        0 |        0
141.36/141.49	c  141s |      22 |  2050899 |  1500622 |     1094   3218 |        0 |        0
143.36/143.49	c  143s |      22 |  2076364 |  1519822 |     1094   3248 |        0 |        0
145.46/145.50	c  145s |      22 |  2102370 |  1539522 |     1094   3281 |        0 |        0
147.47/147.51	c  147s |      22 |  2130151 |  1560522 |     1094   3315 |        0 |        0
149.46/149.51	c  149s |      22 |  2157202 |  1580922 |     1094   3349 |        0 |        0
151.46/151.51	c  151s |      22 |  2183247 |  1600422 |     1094   3380 |        0 |        0
153.47/153.51	c  153s |      22 |  2210713 |  1620722 |     1094   3414 |        0 |        0
155.47/155.52	c  155s |      22 |  2238601 |  1641122 |     1094   3447 |        0 |        0
157.47/157.52	c  157s |      22 |  2264910 |  1661022 |     1094   3480 |        0 |        0
159.47/159.53	c  159s |      22 |  2290423 |  1680622 |     1094   3512 |        0 |        0
161.47/161.53	c  161s |      22 |  2314863 |  1699622 |     1094   3543 |        0 |        0
163.47/163.53	c  163s |      22 |  2341710 |  1719622 |     1094   3577 |        0 |        0
165.47/165.54	c  165s |      22 |  2367547 |  1739322 |     1094   3610 |        0 |        0
167.47/167.55	c  167s |      22 |  2391952 |  1758222 |     1094   3641 |        0 |        0
169.47/169.56	c  169s |      22 |  2418677 |  1778122 |     1094   3675 |        0 |        0
171.46/171.56	c  171s |      22 |  2445198 |  1798022 |     1094   3708 |        0 |        0
173.46/173.57	c  173s |      22 |  2469989 |  1817022 |     1094   3741 |        0 |        0
175.46/175.57	c  175s |      22 |  2493922 |  1835322 |     1094   3771 |        0 |        0
177.46/177.58	c  177s |      22 |  2517712 |  1853622 |     1094   3802 |        0 |        0
179.56/179.60	c  179s |      22 |  2541636 |  1871522 |     1094   3832 |        0 |        0
181.47/181.60	c  181s |      22 |  2565302 |  1889122 |     1094   3861 |        0 |        0
183.56/183.60	c  183s |      22 |  2590574 |  1907822 |     1094   3892 |        0 |        0
185.56/185.61	c  185s |      22 |  2614115 |  1926022 |     1094   3922 |        0 |        0
187.56/187.61	c  187s |      22 |  2636762 |  1943222 |     1094   3950 |        0 |        0
189.56/189.62	c  189s |      22 |  2662951 |  1962222 |     1094   3981 |        0 |        0
191.56/191.62	c  191s |      22 |  2687400 |  1980522 |     1094   4011 |        0 |        0
193.56/193.63	c  193s |      22 |  2711228 |  1998122 |     1094   4040 |        0 |        0
195.56/195.63	c  195s |      22 |  2736514 |  2017222 |     1094   4071 |        0 |        0
197.56/197.63	c  197s |      22 |  2761088 |  2035422 |     1094   4101 |        0 |        0
199.56/199.64	c  199s |      22 |  2784089 |  2052722 |     1094   4129 |        0 |        0
201.56/201.64	c  201s |      22 |  2807431 |  2070022 |     1094   4158 |        0 |        0
203.57/203.65	c  203s |      22 |  2831634 |  2088622 |     1094   4189 |        0 |        0
205.56/205.66	c  205s |      22 |  2854429 |  2106122 |     1094   4217 |        0 |        0
207.56/207.67	c  207s |      22 |  2879427 |  2124722 |     1094   4248 |        0 |        0
209.56/209.67	c  209s |      22 |  2904420 |  2143022 |     1094   4279 |        0 |        0
211.56/211.67	c  211s |      22 |  2927795 |  2160722 |     1094   4308 |        0 |        0
213.56/213.67	c  213s |      22 |  2952200 |  2179022 |     1094   4339 |        0 |        0
215.56/215.67	c  215s |      22 |  2977838 |  2198222 |     1094   4370 |        0 |        0
217.55/217.68	c  217s |      22 |  3002002 |  2216822 |     1094   4401 |        0 |        0
219.55/219.68	c  219s |      22 |  3026381 |  2235222 |     1204   4431 |        0 |        0
221.25/221.39	c  221s |      23 |  3047549 |  2251038 |     1204   4456 |        0 |        0
223.36/223.40	c  223s |      23 |  3071679 |  2269438 |     1204   4483 |        0 |        0
225.35/225.40	c  225s |      23 |  3096319 |  2287638 |     1204   4511 |        0 |        0
227.36/227.41	c  227s |      23 |  3120027 |  2305338 |     1204   4538 |        0 |        0
229.36/229.41	c  229s |      23 |  3146228 |  2323938 |     1204   4566 |        0 |        0
231.36/231.42	c  231s |      23 |  3170598 |  2341938 |     1204   4593 |        0 |        0
233.35/233.42	c  233s |      23 |  3193902 |  2359638 |     1204   4620 |        0 |        0
235.36/235.42	c  235s |      23 |  3217270 |  2376938 |     1204   4647 |        0 |        0
237.35/237.44	c  237s |      23 |  3240840 |  2394538 |     1204   4673 |        0 |        0
239.35/239.44	c  239s |      23 |  3262112 |  2410638 |     1204   4698 |        0 |        0
241.35/241.44	c  241s |      23 |  3287868 |  2429538 |     1204   4726 |        0 |        0
243.35/243.44	c  243s |      23 |  3313542 |  2448338 |     1204   4755 |        0 |        0
245.36/245.45	c  245s |      23 |  3338231 |  2466438 |     1204   4782 |        0 |        0
247.35/247.45	c  247s |      23 |  3360078 |  2483338 |     1204   4808 |        0 |        0
249.35/249.45	c  249s |      23 |  3382982 |  2500738 |     1204   4834 |        0 |        0
251.35/251.46	c  251s |      23 |  3407735 |  2518938 |     1204   4862 |        0 |        0
253.35/253.46	c  253s |      23 |  3431048 |  2536638 |     1204   4889 |        0 |        0
255.35/255.47	c  255s |      23 |  3454235 |  2553538 |     1204   4914 |        0 |        0
257.36/257.47	c  257s |      23 |  3476902 |  2570538 |     1204   4940 |        0 |        0
259.35/259.48	c  259s |      23 |  3502481 |  2588938 |     1204   4968 |        0 |        0
261.35/261.48	c  261s |      23 |  3527205 |  2606938 |     1204   4995 |        0 |        0
263.35/263.49	c  263s |      23 |  3551374 |  2625238 |     1204   5023 |        0 |        0
265.35/265.49	c  265s |      23 |  3575160 |  2643238 |     1204   5050 |        0 |        0
267.45/267.50	c  267s |      23 |  3600615 |  2662138 |     1204   5078 |        0 |        0
269.35/269.50	c  269s |      23 |  3622801 |  2679738 |     1204   5105 |        0 |        0
271.45/271.50	c  271s |      23 |  3647212 |  2698438 |     1204   5133 |        0 |        0
273.45/273.50	c  273s |      23 |  3671500 |  2716838 |     1204   5161 |        0 |        0
275.45/275.50	c  275s |      23 |  3694942 |  2734238 |     1204   5187 |        0 |        0
277.44/277.51	c  277s |      23 |  3717437 |  2751638 |     1204   5213 |        0 |        0
279.45/279.52	c  279s |      23 |  3743007 |  2771138 |     1204   5242 |        0 |        0
281.44/281.53	c  281s |      23 |  3768358 |  2789738 |     1204   5271 |        0 |        0
283.44/283.54	c  283s |      23 |  3794026 |  2808638 |     1204   5299 |        0 |        0
285.44/285.54	c  285s |      23 |  3818594 |  2827538 |     1204   5328 |        0 |        0
287.44/287.54	c  287s |      23 |  3843151 |  2845838 |     1204   5356 |        0 |        0
289.44/289.54	c  289s |      23 |  3867537 |  2864438 |     1204   5384 |        0 |        0
291.45/291.55	c  291s |      23 |  3892449 |  2883338 |     1204   5413 |        0 |        0
293.44/293.55	c  293s |      23 |  3917500 |  2901838 |     1204   5441 |        0 |        0
295.45/295.55	c  295s |      23 |  3942214 |  2920238 |     1204   5469 |        0 |        0
297.45/297.56	c  297s |      23 |  3967220 |  2938538 |     1204   5497 |        0 |        0
299.45/299.56	c  299s |      23 |  3990002 |  2955938 |     1204   5523 |        0 |        0
301.45/301.57	c  301s |      23 |  4013419 |  2973538 |     1204   5550 |        0 |        0
303.45/303.58	c  303s |      23 |  4036863 |  2991138 |     1204   5576 |        0 |        0
305.44/305.59	c  305s |      23 |  4059838 |  3008638 |     1204   5603 |        0 |        0
307.44/307.59	c  307s |      23 |  4084119 |  3027038 |     1204   5630 |        0 |        0
309.44/309.59	c  309s |      23 |  4106725 |  3044538 |     1204   5656 |        0 |        0
311.54/311.60	c  311s |      23 |  4132489 |  3063238 |     1204   5684 |        0 |        0
313.55/313.61	c  313s |      23 |  4159401 |  3082438 |     1204   5713 |        0 |        0
315.54/315.62	c  315s |      23 |  4186161 |  3101638 |     1204   5743 |        0 |        0
317.54/317.62	c  317s |      23 |  4211659 |  3120038 |     1204   5771 |        0 |        0
319.54/319.62	c  319s |      23 |  4237120 |  3138938 |     1204   5799 |        0 |        0
321.54/321.63	c  321s |      23 |  4263537 |  3158738 |     1204   5829 |        0 |        0
323.53/323.63	c  323s |      23 |  4288757 |  3177538 |     1204   5857 |        0 |        0
325.54/325.63	c  325s |      23 |  4313799 |  3196138 |     1204   5885 |        0 |        0
327.53/327.64	c  327s |      23 |  4339984 |  3214838 |     1204   5913 |        0 |        0
329.53/329.64	c  329s |      23 |  4364755 |  3233838 |     1204   5942 |        0 |        0
331.53/331.65	c  331s |      23 |  4387499 |  3251138 |     1204   5969 |        0 |        0
333.53/333.65	c  333s |      23 |  4411264 |  3269238 |     1204   5997 |        0 |        0
335.53/335.66	c  335s |      23 |  4435022 |  3287138 |     1204   6025 |        0 |        0
337.53/337.66	c  337s |      23 |  4459142 |  3305038 |     1204   6053 |        0 |        0
339.53/339.67	c  339s |      23 |  4483701 |  3323538 |     1204   6081 |        0 |        0
341.53/341.68	c  341s |      23 |  4506599 |  3340938 |     1204   6108 |        0 |        0
343.52/343.69	c  343s |      23 |  4528570 |  3357938 |     1325   6134 |        0 |        0
345.62/345.70	c  345s |      23 |  4552654 |  3376138 |     1325   6160 |        0 |        0
345.62/345.75	c  345s |      24 |  4553285 |  3376662 |     1325   6160 |        0 |        0
347.64/347.75	c  347s |      24 |  4576098 |  3394362 |     1325   6184 |        0 |        0
349.63/349.75	c  349s |      24 |  4600560 |  3412262 |     1325   6209 |        0 |        0
351.63/351.76	c  351s |      24 |  4625010 |  3430662 |     1325   6234 |        0 |        0
353.63/353.76	c  353s |      24 |  4650063 |  3449462 |     1325   6260 |        0 |        0
355.62/355.77	c  355s |      24 |  4674522 |  3467962 |     1325   6285 |        0 |        0
357.62/357.77	c  357s |      24 |  4698757 |  3486762 |     1325   6311 |        0 |        0
359.63/359.78	c  359s |      24 |  4724351 |  3505662 |     1325   6337 |        0 |        0
361.62/361.78	c  361s |      24 |  4748189 |  3523562 |     1325   6362 |        0 |        0
363.62/363.79	c  363s |      24 |  4773210 |  3542362 |     1325   6388 |        0 |        0
365.62/365.79	c  365s |      24 |  4796726 |  3560562 |     1325   6413 |        0 |        0
367.72/367.80	c  367s |      24 |  4821137 |  3579062 |     1325   6438 |        0 |        0
369.71/369.80	c  369s |      24 |  4846075 |  3597862 |     1325   6464 |        0 |        0
371.72/371.81	c  371s |      24 |  4870699 |  3616262 |     1325   6489 |        0 |        0
373.71/373.81	c  373s |      24 |  4893261 |  3633862 |     1325   6512 |        0 |        0
375.71/375.82	c  375s |      24 |  4915829 |  3651462 |     1325   6536 |        0 |        0
377.71/377.82	c  377s |      24 |  4938967 |  3669162 |     1325   6560 |        0 |        0
379.71/379.82	c  379s |      24 |  4963532 |  3687562 |     1325   6585 |        0 |        0
381.72/381.83	c  381s |      24 |  4988172 |  3705862 |     1325   6611 |        0 |        0
383.71/383.84	c  383s |      24 |  5012547 |  3724562 |     1325   6636 |        0 |        0
385.71/385.85	c  385s |      24 |  5037168 |  3742962 |     1325   6661 |        0 |        0
387.71/387.85	c  387s |      24 |  5060821 |  3760662 |     1325   6685 |        0 |        0
389.70/389.85	c  389s |      24 |  5085666 |  3778862 |     1325   6710 |        0 |        0
391.70/391.86	c  391s |      24 |  5110499 |  3797362 |     1325   6735 |        0 |        0
393.71/393.87	c  393s |      24 |  5136197 |  3816362 |     1325   6761 |        0 |        0
395.70/395.87	c  395s |      24 |  5160651 |  3834762 |     1325   6786 |        0 |        0
397.70/397.88	c  397s |      24 |  5185466 |  3853562 |     1325   6811 |        0 |        0
399.70/399.89	c  399s |      24 |  5210778 |  3872262 |     1325   6837 |        0 |        0
401.70/401.89	c  401s |      24 |  5236001 |  3890762 |     1325   6863 |        0 |        0
403.80/403.90	c  403s |      24 |  5260990 |  3909262 |     1325   6888 |        0 |        0
405.81/405.91	c  405s |      24 |  5282927 |  3926262 |     1325   6911 |        0 |        0
407.80/407.91	c  407s |      24 |  5307446 |  3944562 |     1325   6936 |        0 |        0
409.80/409.92	c  409s |      24 |  5332169 |  3963162 |     1325   6961 |        0 |        0
411.80/411.92	c  411s |      24 |  5354085 |  3980462 |     1325   6985 |        0 |        0
413.81/413.93	c  413s |      24 |  5375905 |  3997362 |     1325   7008 |        0 |        0
415.81/415.94	c  415s |      24 |  5396594 |  4012862 |     1325   7030 |        0 |        0
417.80/417.94	c  417s |      24 |  5416626 |  4028562 |     1325   7051 |        0 |        0
419.80/419.95	c  419s |      24 |  5438138 |  4044462 |     1325   7073 |        0 |        0
421.80/421.96	c  421s |      24 |  5460382 |  4061062 |     1325   7097 |        0 |        0
423.80/423.97	c  423s |      24 |  5484424 |  4079562 |     1325   7122 |        0 |        0
425.79/425.97	c  425s |      24 |  5510012 |  4098962 |     1325   7149 |        0 |        0
427.80/427.98	c  427s |      24 |  5533388 |  4117162 |     1325   7175 |        0 |        0
429.79/429.98	c  429s |      24 |  5555859 |  4134862 |     1325   7199 |        0 |        0
431.79/431.98	c  431s |      24 |  5578698 |  4152662 |     1325   7224 |        0 |        0
433.79/433.99	c  433s |      24 |  5603059 |  4171462 |     1325   7249 |        0 |        0
435.88/436.00	c  435s |      24 |  5626431 |  4189862 |     1325   7274 |        0 |        0
437.88/438.00	c  437s |      24 |  5651759 |  4208862 |     1325   7300 |        0 |        0
439.89/440.01	c  439s |      24 |  5677245 |  4227662 |     1325   7326 |        0 |        0
441.88/442.02	c  442s |      24 |  5699396 |  4245162 |     1325   7350 |        0 |        0
443.88/444.02	c  444s |      24 |  5722863 |  4262962 |     1325   7374 |        0 |        0
445.88/446.02	c  446s |      24 |  5745793 |  4280362 |     1325   7398 |        0 |        0
447.88/448.03	c  448s |      24 |  5768951 |  4298062 |     1325   7422 |        0 |        0
449.88/450.03	c  450s |      24 |  5793377 |  4316362 |     1325   7447 |        0 |        0
451.87/452.04	c  452s |      24 |  5818512 |  4335362 |     1325   7474 |        0 |        0
453.87/454.04	c  454s |      24 |  5841290 |  4352962 |     1325   7498 |        0 |        0
455.87/456.05	c  456s |      24 |  5864796 |  4370862 |     1325   7523 |        0 |        0
457.87/458.06	c  458s |      24 |  5887448 |  4388562 |     1325   7547 |        0 |        0
459.87/460.07	c  460s |      24 |  5910956 |  4406562 |     1325   7573 |        0 |        0
461.87/462.08	c  462s |      24 |  5935089 |  4425162 |     1325   7598 |        0 |        0
463.86/464.09	c  464s |      24 |  5959823 |  4443562 |     1325   7623 |        0 |        0
465.86/466.09	c  466s |      24 |  5982359 |  4460462 |     1325   7647 |        0 |        0
467.86/468.09	c  468s |      24 |  6004732 |  4477662 |     1325   7671 |        0 |        0
469.96/470.10	c  470s |      24 |  6028198 |  4495362 |     1325   7696 |        0 |        0
471.96/472.10	c  472s |      24 |  6049113 |  4511162 |     1325   7718 |        0 |        0
473.97/474.11	c  474s |      24 |  6070990 |  4528362 |     1325   7742 |        0 |        0
475.96/476.12	c  476s |      24 |  6095719 |  4547062 |     1325   7768 |        0 |        0
477.96/478.13	c  478s |      24 |  6117850 |  4564362 |     1325   7792 |        0 |        0
479.96/480.14	c  480s |      24 |  6140099 |  4580862 |     1325   7815 |        0 |        0
481.96/482.14	c  482s |      24 |  6164054 |  4598962 |     1325   7840 |        0 |        0
483.96/484.15	c  484s |      24 |  6188865 |  4617462 |     1325   7865 |        0 |        0
485.96/486.15	c  486s |      24 |  6213441 |  4635562 |     1325   7890 |        0 |        0
487.96/488.15	c  488s |      24 |  6237429 |  4653962 |     1325   7916 |        0 |        0
489.96/490.16	c  490s |      24 |  6262711 |  4673162 |     1325   7942 |        0 |        0
491.96/492.16	c  492s |      24 |  6288685 |  4692762 |     1325   7970 |        0 |        0
493.96/494.17	c  494s |      24 |  6315338 |  4712162 |     1325   7997 |        0 |        0
495.96/496.18	c  496s |      24 |  6340616 |  4731062 |     1325   8023 |        0 |        0
497.95/498.18	c  498s |      24 |  6365975 |  4750162 |     1325   8050 |        0 |        0
499.95/500.19	c  500s |      24 |  6390202 |  4768662 |     1325   8076 |        0 |        0
501.95/502.19	c  502s |      24 |  6414156 |  4786762 |     1325   8101 |        0 |        0
504.05/504.21	c  504s |      24 |  6437067 |  4804262 |     1325   8126 |        0 |        0
506.05/506.22	c  506s |      24 |  6460267 |  4821462 |     1325   8150 |        0 |        0
508.05/508.22	c  508s |      24 |  6485400 |  4839962 |     1325   8175 |        0 |        0
510.05/510.23	c  510s |      24 |  6510319 |  4858362 |     1325   8200 |        0 |        0
512.05/512.23	c  512s |      24 |  6534724 |  4876362 |     1325   8225 |        0 |        0
514.04/514.24	c  514s |      24 |  6559401 |  4894962 |     1325   8250 |        0 |        0
516.04/516.24	c  516s |      24 |  6584126 |  4913662 |     1325   8276 |        0 |        0
518.05/518.25	c  518s |      24 |  6608248 |  4931562 |     1325   8301 |        0 |        0
520.04/520.25	c  520s |      24 |  6633610 |  4950762 |     1325   8327 |        0 |        0
522.04/522.26	c  522s |      24 |  6659116 |  4969862 |     1325   8354 |        0 |        0
524.04/524.26	c  524s |      24 |  6683704 |  4988562 |     1325   8380 |        0 |        0
526.03/526.27	c  526s |      24 |  6708319 |  5007262 |     1325   8406 |        0 |        0
528.03/528.27	c  528s |      24 |  6733589 |  5026662 |     1325   8432 |        0 |        0
530.04/530.28	c  530s |      24 |  6758209 |  5045362 |     1458   8456 |        0 |        0
532.03/532.28	c  532s |      24 |  6782264 |  5063062 |     1458   8479 |        0 |        0
532.34/532.52	c  532s |      25 |  6784861 |  5065098 |     1458   8481 |        0 |        0
534.33/534.52	c  534s |      25 |  6809875 |  5083698 |     1458   8505 |        0 |        0
536.33/536.53	c  536s |      25 |  6833355 |  5101798 |     1458   8528 |        0 |        0
538.33/538.53	c  538s |      25 |  6856269 |  5119798 |     1458   8550 |        0 |        0
540.33/540.54	c  540s |      25 |  6879203 |  5137198 |     1458   8573 |        0 |        0
542.33/542.55	c  542s |      25 |  6901850 |  5153998 |     1458   8594 |        0 |        0
544.33/544.56	c  544s |      25 |  6924473 |  5171098 |     1458   8616 |        0 |        0
546.32/546.57	c  546s |      25 |  6946854 |  5187798 |     1458   8638 |        0 |        0
548.33/548.58	c  548s |      25 |  6967582 |  5203298 |     1458   8657 |        0 |        0
550.33/550.58	c  550s |      25 |  6987790 |  5219098 |     1458   8677 |        0 |        0
552.33/552.58	c  552s |      25 |  7010698 |  5236198 |     1458   8699 |        0 |        0
554.33/554.58	c  554s |      25 |  7031400 |  5252398 |     1458   8720 |        0 |        0
556.33/556.59	c  556s |      25 |  7052139 |  5268298 |     1458   8740 |        0 |        0
558.43/558.61	c  558s |      25 |  7072245 |  5284098 |     1458   8761 |        0 |        0
560.42/560.61	c  560s |      25 |  7092559 |  5299598 |     1458   8780 |        0 |        0
562.42/562.62	c  562s |      25 |  7113473 |  5316298 |     1458   8802 |        0 |        0
564.42/564.63	c  564s |      25 |  7135674 |  5333198 |     1458   8824 |        0 |        0
566.43/566.64	c  566s |      25 |  7156493 |  5349298 |     1458   8844 |        0 |        0
568.42/568.64	c  568s |      25 |  7175534 |  5364398 |     1458   8864 |        0 |        0
570.42/570.65	c  570s |      25 |  7196907 |  5380798 |     1458   8885 |        0 |        0
572.42/572.65	c  572s |      25 |  7220268 |  5398098 |     1458   8907 |        0 |        0
574.41/574.66	c  574s |      25 |  7241651 |  5414298 |     1458   8928 |        0 |        0
576.41/576.67	c  576s |      25 |  7263501 |  5430698 |     1458   8949 |        0 |        0
578.42/578.68	c  578s |      25 |  7285372 |  5447398 |     1458   8970 |        0 |        0
580.42/580.69	c  580s |      25 |  7307583 |  5464098 |     1458   8991 |        0 |        0
582.42/582.69	c  582s |      25 |  7329040 |  5480498 |     1458   9012 |        0 |        0
584.41/584.70	c  584s |      25 |  7351629 |  5497598 |     1458   9034 |        0 |        0
586.51/586.70	c  586s |      25 |  7373873 |  5514798 |     1458   9056 |        0 |        0
588.51/588.71	c  588s |      25 |  7396584 |  5531998 |     1458   9078 |        0 |        0
590.52/590.71	c  590s |      25 |  7419666 |  5549798 |     1458   9101 |        0 |        0
592.51/592.72	c  592s |      25 |  7442396 |  5567098 |     1458   9123 |        0 |        0
594.51/594.72	c  594s |      25 |  7465415 |  5584198 |     1458   9145 |        0 |        0
596.51/596.73	c  596s |      25 |  7486956 |  5600798 |     1458   9166 |        0 |        0
598.51/598.74	c  598s |      25 |  7509256 |  5617798 |     1458   9188 |        0 |        0
600.51/600.75	c  600s |      25 |  7530440 |  5634098 |     1458   9209 |        0 |        0
602.51/602.75	c  602s |      25 |  7552682 |  5650698 |     1458   9230 |        0 |        0
604.51/604.75	c  604s |      25 |  7575046 |  5667398 |     1458   9252 |        0 |        0
606.50/606.76	c  606s |      25 |  7598372 |  5685198 |     1458   9274 |        0 |        0
608.50/608.77	c  608s |      25 |  7619427 |  5701398 |     1458   9295 |        0 |        0
610.50/610.78	c  610s |      25 |  7641987 |  5718598 |     1458   9317 |        0 |        0
612.51/612.78	c  612s |      25 |  7665204 |  5736498 |     1458   9339 |        0 |        0
614.50/614.79	c  614s |      25 |  7687860 |  5753898 |     1458   9362 |        0 |        0
616.59/616.80	c  616s |      25 |  7709406 |  5771198 |     1458   9384 |        0 |        0
618.60/618.81	c  618s |      25 |  7731415 |  5788198 |     1458   9405 |        0 |        0
620.60/620.82	c  620s |      25 |  7752000 |  5804898 |     1458   9427 |        0 |        0
622.60/622.82	c  622s |      25 |  7775351 |  5823098 |     1458   9450 |        0 |        0
624.60/624.83	c  624s |      25 |  7797965 |  5840698 |     1458   9473 |        0 |        0
626.59/626.84	c  626s |      25 |  7820984 |  5858398 |     1458   9495 |        0 |        0
628.59/628.85	c  628s |      25 |  7842350 |  5875498 |     1458   9517 |        0 |        0
630.59/630.85	c  630s |      25 |  7865401 |  5893298 |     1458   9540 |        0 |        0
632.59/632.86	c  632s |      25 |  7882908 |  5907298 |     1458   9558 |        0 |        0
634.60/634.87	c  634s |      25 |  7901711 |  5921598 |     1458   9576 |        0 |        0
636.59/636.88	c  636s |      25 |  7920955 |  5936198 |     1458   9595 |        0 |        0
638.59/638.88	c  638s |      25 |  7940860 |  5951498 |     1458   9615 |        0 |        0
640.59/640.88	c  640s |      25 |  7961326 |  5966998 |     1458   9634 |        0 |        0
642.59/642.89	c  642s |      25 |  7982047 |  5982598 |     1458   9654 |        0 |        0
644.59/644.89	c  644s |      25 |  8003151 |  5998598 |     1458   9675 |        0 |        0
646.59/646.89	c  646s |      25 |  8027871 |  6016398 |     1458   9698 |        0 |        0
648.68/648.90	c  648s |      25 |  8051088 |  6034198 |     1458   9721 |        0 |        0
650.68/650.90	c  650s |      25 |  8074269 |  6051298 |     1458   9743 |        0 |        0
652.68/652.90	c  652s |      25 |  8097578 |  6067998 |     1458   9764 |        0 |        0
654.68/654.91	c  654s |      25 |  8117747 |  6083498 |     1458   9784 |        0 |        0
656.68/656.92	c  656s |      25 |  8137136 |  6098798 |     1458   9804 |        0 |        0
658.68/658.93	c  658s |      25 |  8159456 |  6115498 |     1458   9825 |        0 |        0
660.68/660.94	c  660s |      25 |  8180074 |  6131498 |     1458   9846 |        0 |        0
662.68/662.94	c  662s |      25 |  8202378 |  6148198 |     1458   9867 |        0 |        0
664.67/664.95	c  664s |      25 |  8223612 |  6164098 |     1458   9888 |        0 |        0
666.67/666.96	c  666s |      25 |  8246302 |  6181298 |     1458   9910 |        0 |        0
668.68/668.97	c  668s |      25 |  8271057 |  6199698 |     1458   9933 |        0 |        0
670.68/670.97	c  670s |      25 |  8296727 |  6218798 |     1458   9957 |        0 |        0
672.68/672.97	c  672s |      25 |  8321961 |  6237698 |     1458   9981 |        0 |        0
674.67/674.98	c  674s |      25 |  8344899 |  6254698 |     1458  10003 |        0 |        0
676.68/676.99	c  676s |      25 |  8367005 |  6271298 |     1458  10025 |        0 |        0
678.67/678.99	c  678s |      25 |  8389360 |  6288298 |     1458  10046 |        0 |        0
680.68/681.00	c  680s |      25 |  8414432 |  6306998 |     1458  10070 |        0 |        0
682.77/683.00	c  682s |      25 |  8440683 |  6325998 |     1458  10095 |        0 |        0
684.77/685.00	c  684s |      25 |  8465885 |  6344398 |     1458  10119 |        0 |        0
686.76/687.02	c  687s |      25 |  8490035 |  6362398 |     1458  10142 |        0 |        0
688.76/689.02	c  689s |      25 |  8515597 |  6381098 |     1458  10166 |        0 |        0
690.76/691.02	c  691s |      25 |  8540282 |  6399198 |     1458  10189 |        0 |        0
692.77/693.04	c  693s |      25 |  8564232 |  6417498 |     1458  10212 |        0 |        0
694.77/695.05	c  695s |      25 |  8587953 |  6436098 |     1458  10236 |        0 |        0
696.77/697.05	c  697s |      25 |  8611583 |  6453898 |     1458  10259 |        0 |        0
698.76/699.05	c  699s |      25 |  8633283 |  6470898 |     1458  10281 |        0 |        0
700.76/701.06	c  701s |      25 |  8654853 |  6487298 |     1458  10302 |        0 |        0
702.77/703.07	c  703s |      25 |  8676298 |  6503398 |     1458  10323 |        0 |        0
704.76/705.07	c  705s |      25 |  8697835 |  6519898 |     1458  10344 |        0 |        0
706.76/707.08	c  707s |      25 |  8720453 |  6536998 |     1458  10366 |        0 |        0
708.76/709.08	c  709s |      25 |  8741719 |  6553098 |     1458  10387 |        0 |        0
710.76/711.09	c  711s |      25 |  8762520 |  6569398 |     1458  10408 |        0 |        0
712.76/713.09	c  713s |      25 |  8785003 |  6586298 |     1458  10429 |        0 |        0
714.76/715.10	c  715s |      25 |  8808030 |  6603598 |     1458  10452 |        0 |        0
716.85/717.10	c  717s |      25 |  8830948 |  6621298 |     1458  10474 |        0 |        0
718.85/719.10	c  719s |      25 |  8852063 |  6637498 |     1458  10495 |        0 |        0
720.85/721.11	c  721s |      25 |  8874893 |  6654398 |     1458  10517 |        0 |        0
722.85/723.11	c  723s |      25 |  8899545 |  6672198 |     1458  10540 |        0 |        0
724.84/725.12	c  725s |      25 |  8922954 |  6689698 |     1458  10563 |        0 |        0
726.85/727.13	c  727s |      25 |  8947174 |  6707798 |     1458  10586 |        0 |        0
728.84/729.14	c  729s |      25 |  8970029 |  6725298 |     1458  10608 |        0 |        0
730.84/731.14	c  731s |      25 |  8994315 |  6742898 |     1458  10631 |        0 |        0
732.84/733.14	c  733s |      25 |  9018200 |  6760398 |     1458  10654 |        0 |        0
734.84/735.15	c  735s |      25 |  9041299 |  6777898 |     1458  10676 |        0 |        0
736.84/737.16	c  737s |      25 |  9063243 |  6795498 |     1458  10699 |        0 |        0
738.84/739.17	c  739s |      25 |  9084690 |  6811898 |     1458  10720 |        0 |        0
740.84/741.18	c  741s |      25 |  9106580 |  6828798 |     1458  10742 |        0 |        0
742.84/743.19	c  743s |      25 |  9129903 |  6846398 |     1458  10764 |        0 |        0
744.94/745.20	c  745s |      25 |  9153550 |  6864198 |     1458  10787 |        0 |        0
746.94/747.21	c  747s |      25 |  9177857 |  6882798 |     1458  10811 |        0 |        0
748.94/749.22	c  749s |      25 |  9202632 |  6901698 |     1458  10836 |        0 |        0
750.93/751.23	c  751s |      25 |  9226796 |  6919998 |     1458  10859 |        0 |        0
752.93/753.24	c  753s |      25 |  9251348 |  6938398 |     1458  10882 |        0 |        0
754.93/755.24	c  755s |      25 |  9273920 |  6955498 |     1458  10904 |        0 |        0
756.93/757.25	c  757s |      25 |  9296620 |  6972198 |     1458  10925 |        0 |        0
758.93/759.25	c  759s |      25 |  9319421 |  6989498 |     1458  10948 |        0 |        0
760.94/761.26	c  761s |      25 |  9343022 |  7007798 |     1458  10971 |        0 |        0
762.93/763.27	c  763s |      25 |  9364721 |  7024598 |     1458  10992 |        0 |        0
764.92/765.27	c  765s |      25 |  9387725 |  7042098 |     1458  11015 |        0 |        0
766.92/767.28	c  767s |      25 |  9412177 |  7060698 |     1458  11039 |        0 |        0
768.92/769.29	c  769s |      25 |  9435731 |  7078598 |     1458  11062 |        0 |        0
770.93/771.29	c  771s |      25 |  9458550 |  7096198 |     1458  11084 |        0 |        0
772.92/773.29	c  773s |      25 |  9480529 |  7113098 |     1458  11106 |        0 |        0
775.02/775.30	c  775s |      25 |  9503182 |  7131098 |     1458  11129 |        0 |        0
777.02/777.31	c  777s |      25 |  9524804 |  7147698 |     1458  11150 |        0 |        0
779.02/779.31	c  779s |      25 |  9548419 |  7165498 |     1458  11173 |        0 |        0
781.02/781.32	c  781s |      25 |  9571426 |  7182398 |     1458  11194 |        0 |        0
783.02/783.32	c  783s |      25 |  9593415 |  7199098 |     1458  11216 |        0 |        0
785.01/785.33	c  785s |      25 |  9615863 |  7215898 |     1458  11238 |        0 |        0
787.01/787.33	c  787s |      25 |  9638558 |  7233098 |     1458  11260 |        0 |        0
789.01/789.33	c  789s |      25 |  9662708 |  7250798 |     1458  11283 |        0 |        0
791.01/791.33	c  791s |      25 |  9686221 |  7267998 |     1458  11305 |        0 |        0
793.01/793.35	c  793s |      25 |  9710069 |  7285798 |     1458  11328 |        0 |        0
795.01/795.35	c  795s |      25 |  9733729 |  7303098 |     1458  11350 |        0 |        0
797.01/797.36	c  797s |      25 |  9756542 |  7320398 |     1458  11372 |        0 |        0
799.01/799.36	c  799s |      25 |  9779063 |  7337898 |     1458  11395 |        0 |        0
801.00/801.37	c  801s |      25 |  9802666 |  7355798 |     1458  11418 |        0 |        0
803.00/803.38	c  803s |      25 |  9826695 |  7373698 |     1458  11441 |        0 |        0
805.02/805.39	c  805s |      25 |  9848321 |  7390398 |     1458  11462 |        0 |        0
807.01/807.40	c  807s |      25 |  9867540 |  7405898 |     1458  11482 |        0 |        0
809.11/809.40	c  809s |      25 |  9889214 |  7422798 |     1458  11504 |        0 |        0
811.11/811.41	c  811s |      25 |  9912436 |  7440098 |     1458  11526 |        0 |        0
813.11/813.41	c  813s |      25 |  9934867 |  7457398 |     1458  11548 |        0 |        0
815.10/815.41	c  815s |      25 |  9956949 |  7474398 |     1458  11570 |        0 |        0
817.11/817.42	c  817s |      25 |  9979665 |  7491398 |     1458  11592 |        0 |        0
819.10/819.43	c  819s |      25 | 10002141 |  7508298 |     1458  11614 |        0 |        0
821.10/821.44	c  821s |      25 | 10024950 |  7525398 |     1458  11636 |        0 |        0
823.10/823.44	c  823s |      25 | 10048115 |  7543198 |     1458  11659 |        0 |        0
825.10/825.44	c  825s |      25 | 10070167 |  7560098 |     1604  11679 |        0 |        0
827.10/827.45	c  827s |      25 | 10090965 |  7576498 |     1604  11698 |        0 |        0
829.10/829.45	c  829s |      25 | 10111454 |  7592498 |     1604  11716 |        0 |        0
829.69/830.07	c  830s |      26 | 10118224 |  7597752 |     1604  11722 |        0 |        0
831.69/832.08	c  832s |      26 | 10140115 |  7615052 |     1604  11742 |        0 |        0
833.69/834.09	c  834s |      26 | 10160893 |  7631352 |     1604  11761 |        0 |        0
835.70/836.10	c  836s |      26 | 10184182 |  7648952 |     1604  11781 |        0 |        0
837.79/838.11	c  838s |      26 | 10205765 |  7665552 |     1604  11800 |        0 |        0
839.79/840.11	c  840s |      26 | 10228173 |  7682652 |     1604  11820 |        0 |        0
841.79/842.12	c  842s |      26 | 10248932 |  7698952 |     1604  11838 |        0 |        0
843.79/844.12	c  844s |      26 | 10271317 |  7715952 |     1604  11858 |        0 |        0
845.79/846.14	c  846s |      26 | 10292268 |  7732152 |     1604  11877 |        0 |        0
847.79/848.15	c  848s |      26 | 10313430 |  7748752 |     1604  11896 |        0 |        0
849.78/850.15	c  850s |      26 | 10336337 |  7766052 |     1604  11916 |        0 |        0
851.78/852.15	c  852s |      26 | 10358838 |  7782752 |     1604  11935 |        0 |        0
853.79/854.15	c  854s |      26 | 10380801 |  7799752 |     1604  11955 |        0 |        0
855.79/856.16	c  856s |      26 | 10403546 |  7817252 |     1604  11976 |        0 |        0
857.79/858.17	c  858s |      26 | 10426025 |  7834552 |     1604  11996 |        0 |        0
859.78/860.18	c  860s |      26 | 10448309 |  7851552 |     1604  12016 |        0 |        0
861.78/862.18	c  862s |      26 | 10469811 |  7868252 |     1604  12035 |        0 |        0
863.78/864.19	c  864s |      26 | 10491008 |  7884952 |     1604  12055 |        0 |        0
865.78/866.19	c  866s |      26 | 10511342 |  7900552 |     1604  12073 |        0 |        0
867.88/868.20	c  868s |      26 | 10531924 |  7916452 |     1604  12091 |        0 |        0
869.78/870.20	c  870s |      26 | 10551000 |  7931652 |     1604  12109 |        0 |        0
871.87/872.20	c  872s |      26 | 10572309 |  7948352 |     1604  12128 |        0 |        0
873.87/874.21	c  874s |      26 | 10594572 |  7965152 |     1604  12147 |        0 |        0
875.87/876.21	c  876s |      26 | 10618553 |  7982852 |     1604  12168 |        0 |        0
877.87/878.21	c  878s |      26 | 10639450 |  7999252 |     1604  12187 |        0 |        0
879.87/880.22	c  880s |      26 | 10661011 |  8016052 |     1604  12207 |        0 |        0
881.88/882.22	c  882s |      26 | 10680630 |  8031252 |     1604  12224 |        0 |        0
883.87/884.23	c  884s |      26 | 10700535 |  8046352 |     1604  12242 |        0 |        0
885.87/886.24	c  886s |      26 | 10721292 |  8061952 |     1604  12260 |        0 |        0
887.87/888.25	c  888s |      26 | 10742627 |  8078052 |     1604  12279 |        0 |        0
889.87/890.25	c  890s |      26 | 10764620 |  8095152 |     1604  12299 |        0 |        0
891.88/892.26	c  892s |      26 | 10787670 |  8112852 |     1604  12320 |        0 |        0
893.87/894.28	c  894s |      26 | 10811104 |  8130552 |     1604  12340 |        0 |        0
895.87/896.28	c  896s |      26 | 10832500 |  8146652 |     1604  12359 |        0 |        0
897.87/898.28	c  898s |      26 | 10853922 |  8163452 |     1604  12379 |        0 |        0
899.87/900.29	c  900s |      26 | 10876925 |  8180552 |     1604  12399 |        0 |        0
901.96/902.30	c  902s |      26 | 10899875 |  8197852 |     1604  12419 |        0 |        0
903.97/904.31	c  904s |      26 | 10923122 |  8215152 |     1604  12439 |        0 |        0
905.96/906.31	c  906s |      26 | 10944651 |  8231552 |     1604  12458 |        0 |        0
907.96/908.31	c  908s |      26 | 10966822 |  8248352 |     1604  12478 |        0 |        0
909.96/910.31	c  910s |      26 | 10988565 |  8265252 |     1604  12497 |        0 |        0
911.96/912.32	c  912s |      26 | 11010927 |  8282552 |     1604  12517 |        0 |        0
913.95/914.32	c  914s |      26 | 11033680 |  8299452 |     1604  12537 |        0 |        0
915.96/916.32	c  916s |      26 | 11055937 |  8316452 |     1604  12556 |        0 |        0
917.95/918.33	c  918s |      26 | 11078556 |  8333552 |     1604  12576 |        0 |        0
919.95/920.33	c  920s |      26 | 11100349 |  8350152 |     1604  12596 |        0 |        0
921.95/922.34	c  922s |      26 | 11120212 |  8364952 |     1604  12613 |        0 |        0
923.96/924.35	c  924s |      26 | 11140299 |  8380052 |     1604  12631 |        0 |        0
925.96/926.35	c  926s |      26 | 11160385 |  8395152 |     1604  12649 |        0 |        0
927.96/928.36	c  928s |      26 | 11182739 |  8412052 |     1604  12668 |        0 |        0
929.95/930.36	c  930s |      26 | 11204375 |  8428452 |     1604  12687 |        0 |        0
931.95/932.37	c  932s |      26 | 11227245 |  8445052 |     1604  12706 |        0 |        0
933.95/934.37	c  934s |      26 | 11248415 |  8461252 |     1604  12725 |        0 |        0
935.95/936.38	c  936s |      26 | 11269712 |  8477652 |     1604  12744 |        0 |        0
937.95/938.38	c  938s |      26 | 11291738 |  8494552 |     1604  12763 |        0 |        0
939.95/940.38	c  940s |      26 | 11311894 |  8510252 |     1604  12781 |        0 |        0
941.94/942.38	c  942s |      26 | 11332922 |  8526452 |     1604  12800 |        0 |        0
943.94/944.39	c  944s |      26 | 11356723 |  8544152 |     1604  12821 |        0 |        0
945.94/946.40	c  946s |      26 | 11379267 |  8561752 |     1604  12842 |        0 |        0
948.04/948.40	c  948s |      26 | 11401098 |  8578552 |     1604  12861 |        0 |        0
950.04/950.41	c  950s |      26 | 11423802 |  8595552 |     1604  12881 |        0 |        0
952.04/952.42	c  952s |      26 | 11447469 |  8613352 |     1604  12901 |        0 |        0
954.04/954.44	c  954s |      26 | 11470057 |  8630752 |     1604  12922 |        0 |        0
956.04/956.44	c  956s |      26 | 11491844 |  8648052 |     1604  12942 |        0 |        0
958.04/958.46	c  958s |      26 | 11513336 |  8664452 |     1604  12961 |        0 |        0
960.04/960.47	c  960s |      26 | 11533330 |  8679752 |     1604  12978 |        0 |        0
962.04/962.47	c  962s |      26 | 11556108 |  8696952 |     1604  12998 |        0 |        0
964.03/964.47	c  964s |      26 | 11578807 |  8713852 |     1604  13018 |        0 |        0
966.03/966.48	c  966s |      26 | 11599940 |  8730052 |     1604  13036 |        0 |        0
968.03/968.48	c  968s |      26 | 11621217 |  8746652 |     1604  13056 |        0 |        0
970.03/970.49	c  970s |      26 | 11640553 |  8762352 |     1604  13074 |        0 |        0
972.04/972.50	c  972s |      26 | 11661744 |  8778452 |     1604  13093 |        0 |        0
974.14/974.51	c  974s |      26 | 11683550 |  8794752 |     1604  13112 |        0 |        0
976.14/976.52	c  976s |      26 | 11705205 |  8810752 |     1604  13131 |        0 |        0
978.14/978.53	c  978s |      26 | 11727797 |  8827652 |     1604  13151 |        0 |        0
980.14/980.53	c  980s |      26 | 11751301 |  8845052 |     1604  13172 |        0 |        0
982.14/982.53	c  982s |      26 | 11773248 |  8861952 |     1604  13192 |        0 |        0
984.14/984.54	c  984s |      26 | 11796868 |  8879652 |     1604  13213 |        0 |        0
986.14/986.54	c  986s |      26 | 11820078 |  8896952 |     1604  13233 |        0 |        0
988.14/988.55	c  988s |      26 | 11842413 |  8913852 |     1604  13253 |        0 |        0
990.14/990.56	c  990s |      26 | 11863329 |  8930652 |     1604  13272 |        0 |        0
992.14/992.57	c  992s |      26 | 11883283 |  8946152 |     1604  13290 |        0 |        0
994.14/994.57	c  994s |      26 | 11904246 |  8961852 |     1604  13309 |        0 |        0
996.13/996.58	c  996s |      26 | 11927737 |  8979452 |     1604  13329 |        0 |        0
998.13/998.58	c  998s |      26 | 11950784 |  8997052 |     1604  13350 |        0 |        0
1000.13/1000.59	c 1000s |      26 | 11972928 |  9013652 |     1604  13369 |        0 |        0
1002.23/1002.60	c 1002s |      26 | 11996133 |  9031152 |     1604  13390 |        0 |        0
1004.23/1004.61	c 1004s |      26 | 12019759 |  9048352 |     1604  13411 |        0 |        0
1006.24/1006.62	c 1006s |      26 | 12042858 |  9065352 |     1604  13431 |        0 |        0
1008.23/1008.62	c 1008s |      26 | 12065278 |  9082352 |     1604  13450 |        0 |        0
1010.23/1010.62	c 1010s |      26 | 12086750 |  9098552 |     1604  13470 |        0 |        0
1012.23/1012.63	c 1012s |      26 | 12107979 |  9113752 |     1604  13487 |        0 |        0
1014.23/1014.64	c 1014s |      26 | 12131508 |  9131352 |     1604  13508 |        0 |        0
1016.23/1016.64	c 1016s |      26 | 12153559 |  9147952 |     1604  13528 |        0 |        0
1018.23/1018.64	c 1018s |      26 | 12175528 |  9164852 |     1604  13548 |        0 |        0
1020.22/1020.65	c 1020s |      26 | 12199615 |  9182652 |     1604  13568 |        0 |        0
1022.22/1022.65	c 1022s |      26 | 12222003 |  9199352 |     1604  13588 |        0 |        0
1024.22/1024.67	c 1024s |      26 | 12244398 |  9215652 |     1604  13607 |        0 |        0
1026.22/1026.67	c 1026s |      26 | 12266451 |  9232452 |     1604  13627 |        0 |        0
1028.23/1028.67	c 1028s |      26 | 12288245 |  9249052 |     1604  13647 |        0 |        0
1030.22/1030.68	c 1030s |      26 | 12311076 |  9266252 |     1604  13667 |        0 |        0
1032.22/1032.68	c 1032s |      26 | 12333785 |  9283552 |     1604  13687 |        0 |        0
1034.22/1034.69	c 1034s |      26 | 12356531 |  9300552 |     1604  13707 |        0 |        0
1036.22/1036.69	c 1036s |      26 | 12376659 |  9315652 |     1604  13724 |        0 |        0
1038.32/1038.70	c 1038s |      26 | 12400013 |  9332852 |     1604  13745 |        0 |        0
1040.33/1040.71	c 1040s |      26 | 12423104 |  9349952 |     1604  13765 |        0 |        0
1042.32/1042.72	c 1042s |      26 | 12443451 |  9365352 |     1604  13783 |        0 |        0
1044.32/1044.72	c 1044s |      26 | 12463844 |  9381252 |     1604  13801 |        0 |        0
1046.32/1046.73	c 1046s |      26 | 12487174 |  9398652 |     1604  13822 |        0 |        0
1048.33/1048.74	c 1048s |      26 | 12508224 |  9414852 |     1604  13841 |        0 |        0
1050.33/1050.75	c 1050s |      26 | 12532487 |  9432652 |     1604  13861 |        0 |        0
1052.33/1052.76	c 1052s |      26 | 12554650 |  9449352 |     1604  13880 |        0 |        0
1054.33/1054.76	c 1054s |      26 | 12574446 |  9464752 |     1604  13898 |        0 |        0
1056.33/1056.76	c 1056s |      26 | 12594661 |  9480152 |     1604  13916 |        0 |        0
1058.33/1058.77	c 1058s |      26 | 12616215 |  9496052 |     1604  13935 |        0 |        0
1060.33/1060.77	c 1060s |      26 | 12638065 |  9513252 |     1604  13955 |        0 |        0
1062.33/1062.78	c 1062s |      26 | 12659384 |  9529052 |     1604  13974 |        0 |        0
1064.33/1064.78	c 1064s |      26 | 12681430 |  9545952 |     1604  13994 |        0 |        0
1066.42/1066.80	c 1066s |      26 | 12704620 |  9563352 |     1604  14014 |        0 |        0
1068.42/1068.81	c 1068s |      26 | 12726781 |  9579652 |     1604  14034 |        0 |        0
1070.42/1070.82	c 1070s |      26 | 12745832 |  9594352 |     1604  14051 |        0 |        0
1072.42/1072.83	c 1072s |      26 | 12766939 |  9610652 |     1604  14070 |        0 |        0
1074.43/1074.83	c 1074s |      26 | 12789513 |  9627452 |     1604  14090 |        0 |        0
1076.42/1076.83	c 1076s |      26 | 12812523 |  9644952 |     1604  14111 |        0 |        0
1078.42/1078.84	c 1078s |      26 | 12836773 |  9662652 |     1604  14131 |        0 |        0
1080.42/1080.84	c 1080s |      26 | 12858649 |  9679152 |     1604  14151 |        0 |        0
1082.42/1082.85	c 1082s |      26 | 12881805 |  9696252 |     1604  14171 |        0 |        0
1084.42/1084.85	c 1084s |      26 | 12905259 |  9713952 |     1604  14192 |        0 |        0
1086.42/1086.86	c 1086s |      26 | 12929217 |  9731852 |     1604  14213 |        0 |        0
1088.42/1088.86	c 1088s |      26 | 12949165 |  9747552 |     1604  14231 |        0 |        0
1090.42/1090.87	c 1090s |      26 | 12970951 |  9764552 |     1604  14251 |        0 |        0
1092.42/1092.88	c 1092s |      26 | 12994003 |  9781952 |     1604  14272 |        0 |        0
1094.41/1094.89	c 1094s |      26 | 13012492 |  9796452 |     1604  14289 |        0 |        0
1096.42/1096.90	c 1096s |      26 | 13032939 |  9812252 |     1604  14308 |        0 |        0
1098.52/1098.90	c 1098s |      26 | 13052461 |  9827752 |     1604  14326 |        0 |        0
1100.51/1100.91	c 1100s |      26 | 13076612 |  9845452 |     1604  14347 |        0 |        0
1102.51/1102.91	c 1102s |      26 | 13101290 |  9863552 |     1604  14368 |        0 |        0
1104.51/1104.91	c 1104s |      26 | 13124308 |  9880952 |     1604  14389 |        0 |        0
1106.51/1106.93	c 1106s |      26 | 13148027 |  9898752 |     1604  14410 |        0 |        0
1108.53/1108.93	c 1108s |      26 | 13170595 |  9915752 |     1604  14429 |        0 |        0
1110.52/1110.94	c 1110s |      26 | 13195187 |  9933452 |     1604  14450 |        0 |        0
1112.52/1112.95	c 1112s |      26 | 13219595 |  9951252 |     1604  14471 |        0 |        0
1114.52/1114.96	c 1114s |      26 | 13240712 |  9967152 |     1604  14490 |        0 |        0
1116.52/1116.96	c 1116s |      26 | 13263108 |  9983952 |     1604  14509 |        0 |        0
1118.52/1118.97	c 1118s |      26 | 13285193 | 10000852 |     1604  14529 |        0 |        0
1120.52/1120.97	c 1120s |      26 | 13308172 | 10018452 |     1604  14550 |        0 |        0
1122.52/1122.98	c 1122s |      26 | 13330436 | 10035452 |     1604  14570 |        0 |        0
1124.52/1124.99	c 1124s |      26 | 13351969 | 10052152 |     1604  14590 |        0 |        0
1126.52/1127.00	c 1126s |      26 | 13374921 | 10069452 |     1604  14610 |        0 |        0
1128.62/1129.00	c 1128s |      26 | 13397442 | 10086052 |     1604  14629 |        0 |        0
1130.62/1131.01	c 1130s |      26 | 13418541 | 10101952 |     1604  14648 |        0 |        0
1132.62/1133.01	c 1133s |      26 | 13439955 | 10118152 |     1604  14667 |        0 |        0
1134.61/1135.02	c 1135s |      26 | 13461272 | 10134252 |     1604  14686 |        0 |        0
1136.61/1137.02	c 1137s |      26 | 13481671 | 10150152 |     1604  14704 |        0 |        0
1138.61/1139.04	c 1139s |      26 | 13503599 | 10166852 |     1604  14724 |        0 |        0
1140.61/1141.04	c 1141s |      26 | 13524919 | 10183052 |     1604  14743 |        0 |        0
1142.62/1143.05	c 1143s |      26 | 13547432 | 10199552 |     1604  14763 |        0 |        0
1144.61/1145.05	c 1145s |      26 | 13571039 | 10217052 |     1604  14783 |        0 |        0
1146.61/1147.06	c 1147s |      26 | 13594120 | 10234152 |     1604  14803 |        0 |        0
1148.61/1149.06	c 1149s |      26 | 13615904 | 10251152 |     1604  14824 |        0 |        0
1150.61/1151.07	c 1151s |      26 | 13638657 | 10268152 |     1604  14844 |        0 |        0
1152.61/1153.08	c 1153s |      26 | 13661518 | 10285352 |     1604  14864 |        0 |        0
1154.62/1155.08	c 1155s |      26 | 13684812 | 10302852 |     1604  14885 |        0 |        0
1156.61/1157.08	c 1157s |      26 | 13708373 | 10320452 |     1604  14906 |        0 |        0
1158.61/1159.09	c 1159s |      26 | 13728829 | 10335952 |     1604  14924 |        0 |        0
1160.61/1161.09	c 1161s |      26 | 13752493 | 10353752 |     1604  14945 |        0 |        0
1162.71/1163.10	c 1163s |      26 | 13775483 | 10371152 |     1604  14965 |        0 |        0
1164.71/1165.10	c 1165s |      26 | 13796569 | 10387352 |     1604  14984 |        0 |        0
1166.61/1167.10	c 1167s |      26 | 13818337 | 10404452 |     1604  15005 |        0 |        0
1168.70/1169.11	c 1169s |      26 | 13840844 | 10421652 |     1604  15025 |        0 |        0
1170.70/1171.12	c 1171s |      26 | 13865100 | 10439552 |     1604  15046 |        0 |        0
1172.70/1173.12	c 1173s |      26 | 13889917 | 10457952 |     1604  15068 |        0 |        0
1174.70/1175.13	c 1175s |      26 | 13912935 | 10474752 |     1604  15087 |        0 |        0
1176.71/1177.13	c 1177s |      26 | 13935260 | 10491452 |     1604  15107 |        0 |        0
1178.70/1179.13	c 1179s |      26 | 13957473 | 10508152 |     1604  15127 |        0 |        0
1180.70/1181.14	c 1181s |      26 | 13979120 | 10524752 |     1604  15146 |        0 |        0
1182.70/1183.15	c 1183s |      26 | 13998760 | 10539952 |     1604  15164 |        0 |        0
1184.70/1185.15	c 1185s |      26 | 14018231 | 10555152 |     1604  15182 |        0 |        0
1186.70/1187.16	c 1187s |      26 | 14040049 | 10571452 |     1604  15201 |        0 |        0
1188.70/1189.17	c 1189s |      26 | 14061509 | 10587752 |     1604  15220 |        0 |        0
1190.70/1191.18	c 1191s |      26 | 14082482 | 10603652 |     1604  15239 |        0 |        0
1192.70/1193.19	c 1193s |      26 | 14104088 | 10619752 |     1604  15258 |        0 |        0
1194.80/1195.20	c 1195s |      26 | 14124379 | 10635252 |     1604  15277 |        0 |        0
1196.80/1197.20	c 1197s |      26 | 14146213 | 10651852 |     1604  15296 |        0 |        0
1198.80/1199.21	c 1199s |      26 | 14168261 | 10668152 |     1604  15315 |        0 |        0
1200.81/1201.21	c 1201s |      26 | 14190241 | 10685152 |     1604  15335 |        0 |        0
1202.80/1203.22	c 1203s |      26 | 14211514 | 10701452 |     1604  15355 |        0 |        0
1204.80/1205.23	c 1205s |      26 | 14234439 | 10718552 |     1604  15375 |        0 |        0
1206.80/1207.23	c 1207s |      26 | 14256649 | 10735452 |     1604  15394 |        0 |        0
1208.80/1209.23	c 1209s |      26 | 14278282 | 10751952 |     1604  15413 |        0 |        0
1210.81/1211.25	c 1211s |      26 | 14298787 | 10767552 |     1604  15432 |        0 |        0
1212.80/1213.26	c 1213s |      26 | 14320381 | 10783752 |     1604  15451 |        0 |        0
1214.80/1215.26	c 1215s |      26 | 14342373 | 10800352 |     1604  15470 |        0 |        0
1216.80/1217.27	c 1217s |      26 | 14363016 | 10816352 |     1604  15489 |        0 |        0
1218.80/1219.28	c 1219s |      26 | 14383144 | 10832152 |     1604  15507 |        0 |        0
1220.80/1221.29	c 1221s |      26 | 14404735 | 10848752 |     1604  15527 |        0 |        0
1222.80/1223.29	c 1223s |      26 | 14425448 | 10864552 |     1604  15546 |        0 |        0
1224.90/1225.30	c 1225s |      26 | 14445194 | 10879752 |     1604  15564 |        0 |        0
1226.90/1227.31	c 1227s |      26 | 14464625 | 10894652 |     1604  15582 |        0 |        0
1228.90/1229.31	c 1229s |      26 | 14483873 | 10909352 |     1604  15599 |        0 |        0
1230.89/1231.32	c 1231s |      26 | 14502033 | 10923452 |     1604  15616 |        0 |        0
1232.89/1233.33	c 1233s |      26 | 14521468 | 10938152 |     1604  15633 |        0 |        0
1234.90/1235.34	c 1235s |      26 | 14541729 | 10953952 |     1604  15652 |        0 |        0
1236.89/1237.35	c 1237s |      26 | 14561509 | 10968852 |     1604  15669 |        0 |        0
1238.89/1239.36	c 1239s |      26 | 14581019 | 10984252 |     1604  15687 |        0 |        0
1240.89/1241.37	c 1241s |      26 | 14601128 | 10999452 |     1604  15705 |        0 |        0
1242.89/1243.38	c 1243s |      26 | 14621122 | 11014452 |     1604  15723 |        0 |        0
1244.90/1245.39	c 1245s |      26 | 14642237 | 11030452 |     1604  15742 |        0 |        0
1246.90/1247.40	c 1247s |      26 | 14663929 | 11046252 |     1604  15760 |        0 |        0
1249.00/1249.41	c 1249s |      26 | 14685935 | 11062752 |     1604  15780 |        0 |        0
1250.99/1251.41	c 1251s |      26 | 14706171 | 11077952 |     1604  15798 |        0 |        0
1252.99/1253.43	c 1253s |      26 | 14727911 | 11094652 |     1604  15818 |        0 |        0
1254.99/1255.43	c 1255s |      26 | 14749210 | 11111452 |     1604  15837 |        0 |        0
1257.00/1257.44	c 1257s |      26 | 14769538 | 11127752 |     1604  15856 |        0 |        0
1258.99/1259.46	c 1259s |      26 | 14789601 | 11143552 |     1604  15875 |        0 |        0
1260.99/1261.46	c 1261s |      26 | 14808593 | 11158752 |     1604  15892 |        0 |        0
1262.99/1263.46	c 1263s |      26 | 14828403 | 11174252 |     1604  15911 |        0 |        0
1264.99/1265.47	c 1265s |      26 | 14848690 | 11189652 |     1604  15929 |        0 |        0
1266.99/1267.47	c 1267s |      26 | 14868566 | 11204952 |     1604  15947 |        0 |        0
1268.99/1269.48	c 1269s |      26 | 14889036 | 11220752 |     1604  15965 |        0 |        0
1270.99/1271.49	c 1271s |      26 | 14909877 | 11236652 |     1604  15984 |        0 |        0
1272.99/1273.49	c 1273s |      26 | 14930017 | 11252352 |     1604  16003 |        0 |        0
1275.09/1275.50	c 1275s |      26 | 14952774 | 11269352 |     1604  16023 |        0 |        0
1277.09/1277.51	c 1277s |      26 | 14973724 | 11285252 |     1604  16042 |        0 |        0
1279.09/1279.52	c 1279s |      26 | 14992812 | 11300052 |     1604  16059 |        0 |        0
1281.09/1281.53	c 1281s |      26 | 15011901 | 11314752 |     1604  16077 |        0 |        0
1283.09/1283.54	c 1283s |      26 | 15030546 | 11329252 |     1765  16092 |        0 |        0
1285.08/1285.55	c 1285s |      26 | 15050166 | 11344852 |     1765  16109 |        0 |        0
1287.08/1287.56	c 1287s |      26 | 15069536 | 11359452 |     1765  16125 |        0 |        0
1289.08/1289.57	c 1289s |      26 | 15088470 | 11373752 |     1765  16140 |        0 |        0
1291.09/1291.57	c 1291s |      26 | 15108179 | 11388552 |     1765  16156 |        0 |        0
1292.19/1292.63	c 1292s |      27 | 15118867 | 11396733 |     1765  16165 |        0 |        0
1294.18/1294.64	c 1294s |      27 | 15139884 | 11413333 |     1765  16182 |        0 |        0
1296.18/1296.65	c 1296s |      27 | 15162351 | 11430633 |     1765  16200 |        0 |        0
1298.18/1298.65	c 1298s |      27 | 15184283 | 11447833 |     1765  16218 |        0 |        0
1300.18/1300.66	c 1300s |      27 | 15206863 | 11465833 |     1765  16237 |        0 |        0
1302.19/1302.66	c 1302s |      27 | 15227309 | 11482433 |     1765  16255 |        0 |        0
1304.20/1304.67	c 1304s |      27 | 15248550 | 11499133 |     1765  16273 |        0 |        0
1306.19/1306.68	c 1306s |      27 | 15270736 | 11516433 |     1765  16291 |        0 |        0
1308.19/1308.68	c 1308s |      27 | 15293523 | 11533933 |     1765  16310 |        0 |        0
1310.19/1310.68	c 1310s |      27 | 15314554 | 11550433 |     1765  16327 |        0 |        0
1312.19/1312.69	c 1312s |      27 | 15337241 | 11568033 |     1765  16346 |        0 |        0
1314.19/1314.69	c 1314s |      27 | 15361044 | 11585933 |     1765  16365 |        0 |        0
1316.19/1316.70	c 1316s |      27 | 15382790 | 11602933 |     1765  16383 |        0 |        0
1318.28/1318.70	c 1318s |      27 | 15404005 | 11619433 |     1765  16400 |        0 |        0
1320.28/1320.71	c 1320s |      27 | 15427925 | 11637533 |     1765  16419 |        0 |        0
1322.28/1322.71	c 1322s |      27 | 15449799 | 11654233 |     1765  16437 |        0 |        0
1324.28/1324.72	c 1324s |      27 | 15472523 | 11671633 |     1765  16456 |        0 |        0
1326.29/1326.72	c 1326s |      27 | 15496657 | 11689933 |     1765  16475 |        0 |        0
1328.28/1328.73	c 1328s |      27 | 15519835 | 11707633 |     1765  16494 |        0 |        0
1330.28/1330.73	c 1330s |      27 | 15541001 | 11723433 |     1765  16511 |        0 |        0
1332.28/1332.75	c 1332s |      27 | 15560475 | 11738333 |     1765  16526 |        0 |        0
1334.28/1334.75	c 1334s |      27 | 15579509 | 11753233 |     1765  16542 |        0 |        0
1336.28/1336.76	c 1336s |      27 | 15602112 | 11769833 |     1765  16560 |        0 |        0
1338.28/1338.76	c 1338s |      27 | 15621512 | 11785133 |     1765  16576 |        0 |        0
1340.28/1340.77	c 1340s |      27 | 15641187 | 11800633 |     1765  16593 |        0 |        0
1342.28/1342.79	c 1342s |      27 | 15661005 | 11815633 |     1765  16609 |        0 |        0
1344.28/1344.79	c 1344s |      27 | 15682492 | 11832033 |     1765  16626 |        0 |        0
1346.38/1346.80	c 1346s |      27 | 15702670 | 11847933 |     1765  16643 |        0 |        0
1348.38/1348.80	c 1348s |      27 | 15722308 | 11863133 |     1765  16659 |        0 |        0
1350.38/1350.80	c 1350s |      27 | 15742820 | 11879033 |     1765  16676 |        0 |        0
1352.37/1352.81	c 1352s |      27 | 15763170 | 11894533 |     1765  16693 |        0 |        0
1354.37/1354.81	c 1354s |      27 | 15783825 | 11910033 |     1765  16709 |        0 |        0
1356.37/1356.82	c 1356s |      27 | 15804485 | 11925633 |     1765  16726 |        0 |        0
1358.38/1358.83	c 1358s |      27 | 15824235 | 11940733 |     1765  16742 |        0 |        0
1360.39/1360.84	c 1360s |      27 | 15844471 | 11956133 |     1765  16758 |        0 |        0
1362.38/1362.84	c 1362s |      27 | 15864368 | 11971433 |     1765  16774 |        0 |        0
1364.38/1364.85	c 1364s |      27 | 15884776 | 11987033 |     1765  16791 |        0 |        0
1366.38/1366.86	c 1366s |      27 | 15905629 | 12002733 |     1765  16808 |        0 |        0
1368.38/1368.87	c 1368s |      27 | 15926999 | 12018833 |     1765  16825 |        0 |        0
1370.38/1370.88	c 1370s |      27 | 15946647 | 12034333 |     1765  16841 |        0 |        0
1372.38/1372.88	c 1372s |      27 | 15966547 | 12049633 |     1765  16858 |        0 |        0
1374.38/1374.89	c 1374s |      27 | 15987641 | 12065833 |     1765  16875 |        0 |        0
1376.38/1376.90	c 1376s |      27 | 16007451 | 12081333 |     1765  16891 |        0 |        0
1378.48/1378.91	c 1378s |      27 | 16028429 | 12097633 |     1765  16909 |        0 |        0
1380.47/1380.92	c 1380s |      27 | 16047625 | 12112833 |     1765  16925 |        0 |        0
1382.47/1382.92	c 1382s |      27 | 16067215 | 12127933 |     1765  16941 |        0 |        0
1384.48/1384.93	c 1384s |      27 | 16085285 | 12142433 |     1765  16956 |        0 |        0
1386.47/1386.93	c 1386s |      27 | 16104564 | 12158033 |     1765  16973 |        0 |        0
1388.47/1388.94	c 1388s |      27 | 16125744 | 12174433 |     1765  16990 |        0 |        0
1390.47/1390.94	c 1390s |      27 | 16147289 | 12190633 |     1765  17007 |        0 |        0
1392.47/1392.95	c 1392s |      27 | 16167909 | 12206733 |     1765  17025 |        0 |        0
1394.48/1394.96	c 1394s |      27 | 16189448 | 12223433 |     1765  17042 |        0 |        0
1396.47/1396.97	c 1396s |      27 | 16210303 | 12239533 |     1765  17060 |        0 |        0
1398.47/1398.98	c 1398s |      27 | 16231786 | 12256033 |     1765  17077 |        0 |        0
1400.47/1400.99	c 1400s |      27 | 16251993 | 12272233 |     1765  17095 |        0 |        0
1402.57/1403.00	c 1402s |      27 | 16273168 | 12288333 |     1765  17112 |        0 |        0
1404.57/1405.00	c 1404s |      27 | 16296879 | 12306033 |     1765  17131 |        0 |        0
1406.58/1407.02	c 1407s |      27 | 16318119 | 12322333 |     1765  17148 |        0 |        0
1408.57/1409.02	c 1409s |      27 | 16337208 | 12338033 |     1765  17165 |        0 |        0
1410.57/1411.02	c 1411s |      27 | 16359620 | 12355033 |     1765  17183 |        0 |        0
1412.57/1413.03	c 1413s |      27 | 16380652 | 12371533 |     1765  17201 |        0 |        0
1414.57/1415.04	c 1415s |      27 | 16404085 | 12389233 |     1765  17220 |        0 |        0
1416.57/1417.04	c 1417s |      27 | 16425427 | 12405633 |     1765  17237 |        0 |        0
1418.58/1419.05	c 1419s |      27 | 16446812 | 12422133 |     1765  17255 |        0 |        0
1420.57/1421.05	c 1421s |      27 | 16466359 | 12437733 |     1765  17271 |        0 |        0
1422.57/1423.06	c 1423s |      27 | 16489080 | 12454633 |     1765  17289 |        0 |        0
1424.57/1425.07	c 1425s |      27 | 16510588 | 12471233 |     1765  17307 |        0 |        0
1426.57/1427.07	c 1427s |      27 | 16532180 | 12487733 |     1765  17325 |        0 |        0
1428.57/1429.08	c 1429s |      27 | 16552645 | 12503733 |     1765  17342 |        0 |        0
1430.56/1431.08	c 1431s |      27 | 16573357 | 12519833 |     1765  17359 |        0 |        0
1432.56/1433.09	c 1433s |      27 | 16593279 | 12535433 |     1765  17375 |        0 |        0
1434.66/1435.10	c 1435s |      27 | 16615220 | 12552033 |     1765  17393 |        0 |        0
1436.67/1437.10	c 1437s |      27 | 16635737 | 12568333 |     1765  17410 |        0 |        0
1438.67/1439.11	c 1439s |      27 | 16657424 | 12585133 |     1765  17428 |        0 |        0
1440.68/1441.11	c 1441s |      27 | 16678834 | 12601733 |     1765  17446 |        0 |        0
1442.67/1443.12	c 1443s |      27 | 16700009 | 12618633 |     1765  17464 |        0 |        0
1444.67/1445.13	c 1445s |      27 | 16722560 | 12636233 |     1765  17483 |        0 |        0
1446.67/1447.13	c 1447s |      27 | 16742412 | 12651933 |     1765  17499 |        0 |        0
1448.67/1449.14	c 1449s |      27 | 16761711 | 12667233 |     1765  17516 |        0 |        0
1450.67/1451.15	c 1451s |      27 | 16781092 | 12682233 |     1765  17532 |        0 |        0
1452.67/1453.16	c 1453s |      27 | 16802767 | 12698933 |     1765  17550 |        0 |        0
1454.66/1455.16	c 1455s |      27 | 16825533 | 12716633 |     1765  17569 |        0 |        0
1456.66/1457.17	c 1457s |      27 | 16848944 | 12734733 |     1765  17588 |        0 |        0
1458.66/1459.17	c 1459s |      27 | 16871580 | 12752433 |     1765  17607 |        0 |        0
1460.66/1461.18	c 1461s |      27 | 16892928 | 12768733 |     1765  17624 |        0 |        0
1462.67/1463.19	c 1463s |      27 | 16914951 | 12785533 |     1765  17642 |        0 |        0
1464.66/1465.20	c 1465s |      27 | 16934769 | 12800933 |     1765  17659 |        0 |        0
1466.76/1467.20	c 1467s |      27 | 16956397 | 12817533 |     1765  17676 |        0 |        0
1468.76/1469.21	c 1469s |      27 | 16979025 | 12834633 |     1765  17695 |        0 |        0
1470.76/1471.22	c 1471s |      27 | 16999114 | 12850133 |     1765  17711 |        0 |        0
1472.76/1473.22	c 1473s |      27 | 17019213 | 12865833 |     1765  17728 |        0 |        0
1474.77/1475.23	c 1475s |      27 | 17041449 | 12882533 |     1765  17746 |        0 |        0
1476.76/1477.24	c 1477s |      27 | 17063526 | 12899233 |     1765  17764 |        0 |        0
1478.76/1479.25	c 1479s |      27 | 17085240 | 12915833 |     1765  17781 |        0 |        0
1480.76/1481.25	c 1481s |      27 | 17108183 | 12933133 |     1765  17800 |        0 |        0
1482.76/1483.25	c 1483s |      27 | 17130937 | 12950333 |     1765  17818 |        0 |        0
1484.76/1485.26	c 1485s |      27 | 17152669 | 12967533 |     1765  17836 |        0 |        0
1486.76/1487.27	c 1487s |      27 | 17174764 | 12984333 |     1765  17854 |        0 |        0
1488.76/1489.27	c 1489s |      27 | 17195434 | 13000533 |     1765  17871 |        0 |        0
1490.76/1491.27	c 1491s |      27 | 17217352 | 13017533 |     1765  17889 |        0 |        0
1492.76/1493.27	c 1493s |      27 | 17238374 | 13033633 |     1765  17907 |        0 |        0
1494.76/1495.28	c 1495s |      27 | 17260707 | 13051133 |     1765  17925 |        0 |        0
1496.76/1497.29	c 1497s |      27 | 17283238 | 13068233 |     1765  17944 |        0 |        0
1498.75/1499.30	c 1499s |      27 | 17302866 | 13083233 |     1765  17960 |        0 |        0
1500.85/1501.31	c 1501s |      27 | 17322718 | 13098733 |     1765  17976 |        0 |        0
1502.85/1503.32	c 1503s |      27 | 17346242 | 13116533 |     1765  17995 |        0 |        0
1504.85/1505.32	c 1505s |      27 | 17369369 | 13134433 |     1765  18014 |        0 |        0
1506.85/1507.33	c 1507s |      27 | 17391043 | 13151233 |     1765  18032 |        0 |        0
1508.86/1509.33	c 1509s |      27 | 17413620 | 13168833 |     1765  18051 |        0 |        0
1510.85/1511.33	c 1511s |      27 | 17436370 | 13185833 |     1765  18069 |        0 |        0
1512.85/1513.34	c 1513s |      27 | 17457380 | 13202433 |     1765  18087 |        0 |        0
1514.85/1515.34	c 1515s |      27 | 17481107 | 13220433 |     1765  18106 |        0 |        0
1516.85/1517.35	c 1517s |      27 | 17503536 | 13238133 |     1765  18125 |        0 |        0
1518.85/1519.35	c 1519s |      27 | 17524380 | 13255033 |     1765  18143 |        0 |        0
1520.85/1521.36	c 1521s |      27 | 17547069 | 13272433 |     1765  18162 |        0 |        0
1522.85/1523.36	c 1523s |      27 | 17570462 | 13290233 |     1765  18181 |        0 |        0
1524.85/1525.37	c 1525s |      27 | 17591387 | 13306733 |     1765  18199 |        0 |        0
1526.85/1527.37	c 1527s |      27 | 17612525 | 13323433 |     1765  18217 |        0 |        0
1528.85/1529.37	c 1529s |      27 | 17634021 | 13340233 |     1765  18235 |        0 |        0
1530.85/1531.38	c 1531s |      27 | 17655558 | 13356833 |     1765  18252 |        0 |        0
1532.86/1533.38	c 1533s |      27 | 17676681 | 13373033 |     1765  18270 |        0 |        0
1534.85/1535.38	c 1535s |      27 | 17697676 | 13388933 |     1765  18287 |        0 |        0
1536.85/1537.39	c 1537s |      27 | 17718156 | 13405033 |     1765  18304 |        0 |        0
1538.85/1539.39	c 1539s |      27 | 17740387 | 13421733 |     1765  18322 |        0 |        0
1540.95/1541.40	c 1541s |      27 | 17761566 | 13437933 |     1765  18339 |        0 |        0
1542.96/1543.41	c 1543s |      27 | 17782431 | 13453933 |     1765  18356 |        0 |        0
1544.95/1545.42	c 1545s |      27 | 17802880 | 13469333 |     1765  18373 |        0 |        0
1546.95/1547.43	c 1547s |      27 | 17823127 | 13484833 |     1765  18389 |        0 |        0
1548.95/1549.44	c 1549s |      27 | 17843271 | 13500633 |     1765  18406 |        0 |        0
1550.95/1551.44	c 1551s |      27 | 17865035 | 13517533 |     1765  18424 |        0 |        0
1552.95/1553.45	c 1553s |      27 | 17884973 | 13533433 |     1765  18441 |        0 |        0
1554.95/1555.46	c 1555s |      27 | 17907093 | 13550433 |     1765  18459 |        0 |        0
1556.95/1557.47	c 1557s |      27 | 17927372 | 13566533 |     1765  18477 |        0 |        0
1558.95/1559.47	c 1559s |      27 | 17947539 | 13582333 |     1765  18494 |        0 |        0
1560.94/1561.48	c 1561s |      27 | 17969651 | 13598933 |     1765  18511 |        0 |        0
1562.94/1563.49	c 1563s |      27 | 17991142 | 13615333 |     1765  18529 |        0 |        0
1565.04/1565.50	c 1565s |      27 | 18011035 | 13631033 |     1765  18546 |        0 |        0
1567.05/1567.51	c 1567s |      27 | 18031982 | 13647133 |     1765  18563 |        0 |        0
1569.04/1569.52	c 1569s |      27 | 18052538 | 13663233 |     1765  18580 |        0 |        0
1571.04/1571.53	c 1571s |      27 | 18070355 | 13677833 |     1765  18596 |        0 |        0
1573.04/1573.53	c 1573s |      27 | 18090857 | 13693833 |     1765  18613 |        0 |        0
1575.04/1575.53	c 1575s |      27 | 18111639 | 13709833 |     1765  18630 |        0 |        0
1577.05/1577.54	c 1577s |      27 | 18134288 | 13726833 |     1765  18648 |        0 |        0
1579.04/1579.55	c 1579s |      27 | 18155422 | 13743233 |     1765  18666 |        0 |        0
1581.04/1581.55	c 1581s |      27 | 18178342 | 13760433 |     1765  18684 |        0 |        0
1583.04/1583.56	c 1583s |      27 | 18200331 | 13777033 |     1765  18702 |        0 |        0
1585.04/1585.56	c 1585s |      27 | 18220639 | 13792733 |     1765  18719 |        0 |        0
1587.05/1587.57	c 1587s |      27 | 18244334 | 13810533 |     1765  18738 |        0 |        0
1589.05/1589.58	c 1589s |      27 | 18264504 | 13826433 |     1765  18754 |        0 |        0
1591.04/1591.59	c 1591s |      27 | 18285723 | 13842533 |     1765  18772 |        0 |        0
1593.04/1593.59	c 1593s |      27 | 18305767 | 13857933 |     1765  18788 |        0 |        0
1595.14/1595.61	c 1595s |      27 | 18327224 | 13874333 |     1765  18806 |        0 |        0
1597.14/1597.62	c 1597s |      27 | 18348110 | 13890733 |     1765  18823 |        0 |        0
1599.14/1599.62	c 1599s |      27 | 18371657 | 13908433 |     1765  18842 |        0 |        0
1601.15/1601.63	c 1601s |      27 | 18393857 | 13925433 |     1765  18860 |        0 |        0
1603.14/1603.64	c 1603s |      27 | 18415390 | 13941633 |     1765  18878 |        0 |        0
1605.14/1605.65	c 1605s |      27 | 18434513 | 13956233 |     1765  18893 |        0 |        0
1607.14/1607.66	c 1607s |      27 | 18455034 | 13971633 |     1765  18910 |        0 |        0
1609.14/1609.67	c 1609s |      27 | 18476432 | 13987433 |     1765  18926 |        0 |        0
1611.14/1611.67	c 1611s |      27 | 18497551 | 14003433 |     1765  18943 |        0 |        0
1613.14/1613.67	c 1613s |      27 | 18518252 | 14019133 |     1765  18960 |        0 |        0
1615.14/1615.67	c 1615s |      27 | 18539098 | 14035433 |     1765  18978 |        0 |        0
1617.14/1617.68	c 1617s |      27 | 18561349 | 14052133 |     1765  18996 |        0 |        0
1619.13/1619.68	c 1619s |      27 | 18584113 | 14069133 |     1765  19014 |        0 |        0
1621.13/1621.69	c 1621s |      27 | 18603895 | 14084833 |     1765  19031 |        0 |        0
1623.14/1623.70	c 1623s |      27 | 18623042 | 14099633 |     1765  19046 |        0 |        0
1625.23/1625.71	c 1625s |      27 | 18642981 | 14115233 |     1765  19063 |        0 |        0
1627.23/1627.71	c 1627s |      27 | 18665675 | 14131933 |     1765  19081 |        0 |        0
1629.23/1629.72	c 1629s |      27 | 18688802 | 14149133 |     1765  19099 |        0 |        0
1631.23/1631.72	c 1631s |      27 | 18709691 | 14165133 |     1765  19116 |        0 |        0
1633.24/1633.73	c 1633s |      27 | 18729390 | 14180233 |     1765  19133 |        0 |        0
1635.24/1635.74	c 1635s |      27 | 18747671 | 14194433 |     1765  19148 |        0 |        0
1637.24/1637.75	c 1637s |      27 | 18765865 | 14208733 |     1765  19163 |        0 |        0
1639.24/1639.76	c 1639s |      27 | 18784519 | 14223033 |     1765  19178 |        0 |        0
1641.24/1641.76	c 1641s |      27 | 18803644 | 14237733 |     1765  19194 |        0 |        0
1643.24/1643.77	c 1643s |      27 | 18820513 | 14251133 |     1765  19208 |        0 |        0
1645.24/1645.79	c 1645s |      27 | 18839843 | 14265933 |     1765  19224 |        0 |        0
1647.24/1647.80	c 1647s |      27 | 18857914 | 14279633 |     1765  19239 |        0 |        0
1649.34/1649.80	c 1649s |      27 | 18876785 | 14294633 |     1765  19255 |        0 |        0
1651.34/1651.81	c 1651s |      27 | 18898345 | 14311033 |     1765  19272 |        0 |        0
1653.33/1653.82	c 1653s |      27 | 18920071 | 14327333 |     1765  19290 |        0 |        0
1655.33/1655.83	c 1655s |      27 | 18941689 | 14343733 |     1765  19307 |        0 |        0
1657.34/1657.84	c 1657s |      27 | 18963815 | 14360533 |     1765  19325 |        0 |        0
1659.33/1659.84	c 1659s |      27 | 18986501 | 14377433 |     1765  19343 |        0 |        0
1661.33/1661.84	c 1661s |      27 | 19007458 | 14393333 |     1765  19360 |        0 |        0
1663.33/1663.84	c 1663s |      27 | 19027960 | 14409033 |     1765  19377 |        0 |        0
1665.33/1665.85	c 1665s |      27 | 19048924 | 14425133 |     1765  19394 |        0 |        0
1667.33/1667.86	c 1667s |      27 | 19071221 | 14442133 |     1765  19412 |        0 |        0
1669.34/1669.87	c 1669s |      27 | 19094177 | 14459533 |     1765  19430 |        0 |        0
1671.33/1671.87	c 1671s |      27 | 19113944 | 14474833 |     1765  19447 |        0 |        0
1673.33/1673.88	c 1673s |      27 | 19135302 | 14490733 |     1765  19464 |        0 |        0
1675.33/1675.89	c 1675s |      27 | 19154907 | 14505933 |     1765  19480 |        0 |        0
1677.43/1677.90	c 1677s |      27 | 19175013 | 14521333 |     1765  19496 |        0 |        0
1679.43/1679.90	c 1679s |      27 | 19195884 | 14536933 |     1765  19513 |        0 |        0
1681.43/1681.91	c 1681s |      27 | 19215485 | 14552233 |     1765  19529 |        0 |        0
1683.43/1683.92	c 1683s |      27 | 19234221 | 14566933 |     1765  19545 |        0 |        0
1685.43/1685.93	c 1685s |      27 | 19255772 | 14583233 |     1765  19562 |        0 |        0
1687.43/1687.94	c 1687s |      27 | 19276450 | 14599433 |     1765  19579 |        0 |        0
1689.42/1689.95	c 1689s |      27 | 19298137 | 14615433 |     1765  19597 |        0 |        0
1691.43/1691.96	c 1691s |      27 | 19319351 | 14631433 |     1765  19614 |        0 |        0
1693.42/1693.96	c 1693s |      27 | 19339522 | 14646933 |     1765  19630 |        0 |        0
1695.42/1695.97	c 1695s |      27 | 19359460 | 14662133 |     1765  19646 |        0 |        0
1697.42/1697.98	c 1697s |      27 | 19379160 | 14677333 |     1765  19663 |        0 |        0
1699.42/1699.99	c 1699s |      27 | 19399650 | 14693233 |     1765  19680 |        0 |        0
1701.42/1701.99	c 1701s |      27 | 19419612 | 14708633 |     1765  19696 |        0 |        0
1703.43/1703.99	c 1703s |      27 | 19439229 | 14723933 |     1765  19712 |        0 |        0
1705.52/1706.00	c 1705s |      27 | 19459435 | 14739533 |     1765  19729 |        0 |        0
1707.52/1708.01	c 1707s |      27 | 19478496 | 14754233 |     1765  19745 |        0 |        0
1709.52/1710.01	c 1709s |      27 | 19498122 | 14768933 |     1765  19761 |        0 |        0
1711.53/1712.02	c 1712s |      27 | 19518958 | 14784333 |     1765  19777 |        0 |        0
1713.53/1714.02	c 1714s |      27 | 19539793 | 14800033 |     1765  19794 |        0 |        0
1715.53/1716.03	c 1716s |      27 | 19559629 | 14815333 |     1765  19810 |        0 |        0
1717.53/1718.03	c 1718s |      27 | 19579165 | 14830233 |     1765  19826 |        0 |        0
1719.53/1720.03	c 1720s |      27 | 19598939 | 14845233 |     1765  19842 |        0 |        0
1721.53/1722.05	c 1722s |      27 | 19619966 | 14861233 |     1765  19859 |        0 |        0
1723.53/1724.05	c 1724s |      27 | 19640259 | 14876733 |     1765  19876 |        0 |        0
1725.53/1726.06	c 1726s |      27 | 19662756 | 14893733 |     1765  19894 |        0 |        0
1727.52/1728.06	c 1728s |      27 | 19684009 | 14910133 |     1765  19912 |        0 |        0
1729.52/1730.06	c 1730s |      27 | 19705525 | 14926433 |     1765  19929 |        0 |        0
1731.52/1732.07	c 1732s |      27 | 19727669 | 14943533 |     1765  19948 |        0 |        0
1733.52/1734.08	c 1734s |      27 | 19749885 | 14960433 |     1765  19966 |        0 |        0
1735.52/1736.09	c 1736s |      27 | 19770590 | 14976433 |     1765  19983 |        0 |        0
1737.53/1738.09	c 1738s |      27 | 19794996 | 14994533 |     1765  20002 |        0 |        0
1739.62/1740.10	c 1740s |      27 | 19815833 | 15011033 |     1765  20019 |        0 |        0
1741.62/1742.11	c 1742s |      27 | 19838160 | 15027833 |     1765  20037 |        0 |        0
1743.62/1744.11	c 1744s |      27 | 19860360 | 15045133 |     1765  20056 |        0 |        0
1745.62/1746.12	c 1746s |      27 | 19880969 | 15061033 |     1765  20073 |        0 |        0
1747.62/1748.13	c 1748s |      27 | 19899323 | 15075733 |     1765  20088 |        0 |        0
1749.62/1750.14	c 1750s |      27 | 19917059 | 15089833 |     1765  20103 |        0 |        0
1751.62/1752.14	c 1752s |      27 | 19936831 | 15104633 |     1765  20119 |        0 |        0
1753.62/1754.15	c 1754s |      27 | 19957074 | 15120333 |     1765  20136 |        0 |        0
1755.61/1756.16	c 1756s |      27 | 19975991 | 15135333 |     1765  20152 |        0 |        0
1757.61/1758.16	c 1758s |      27 | 19995761 | 15150633 |     1765  20168 |        0 |        0
1759.62/1760.17	c 1760s |      27 | 20015464 | 15166033 |     1765  20185 |        0 |        0
1761.61/1762.18	c 1762s |      27 | 20036771 | 15182333 |     1765  20202 |        0 |        0
1763.61/1764.18	c 1764s |      27 | 20058307 | 15198933 |     1765  20220 |        0 |        0
1765.61/1766.19	c 1766s |      27 | 20081162 | 15216633 |     1765  20239 |        0 |        0
1767.71/1768.20	c 1768s |      27 | 20101811 | 15232433 |     1765  20256 |        0 |        0
1769.71/1770.21	c 1770s |      27 | 20123078 | 15249233 |     1765  20273 |        0 |        0
1771.73/1772.21	c 1772s |      27 | 20145868 | 15266633 |     1765  20292 |        0 |        0
1773.72/1774.22	c 1774s |      27 | 20168421 | 15283533 |     1765  20310 |        0 |        0
1775.72/1776.22	c 1776s |      27 | 20190986 | 15300933 |     1765  20329 |        0 |        0
1777.72/1778.23	c 1778s |      27 | 20212814 | 15317433 |     1765  20346 |        0 |        0
1779.72/1780.24	c 1780s |      27 | 20234756 | 15333833 |     1765  20364 |        0 |        0
1781.71/1782.25	c 1782s |      27 | 20255914 | 15349733 |     1765  20381 |        0 |        0
1783.72/1784.25	c 1784s |      27 | 20278582 | 15366833 |     1765  20399 |        0 |        0
1785.71/1786.25	c 1786s |      27 | 20302105 | 15384533 |     1765  20418 |        0 |        0
1787.71/1788.26	c 1788s |      27 | 20324055 | 15400833 |     1765  20435 |        0 |        0
1789.71/1790.27	c 1790s |      27 | 20345359 | 15417233 |     1765  20453 |        0 |        0
1791.71/1792.27	c 1792s |      27 | 20366313 | 15433033 |     1765  20470 |        0 |        0
1793.71/1794.28	c 1794s |      27 | 20386686 | 15449433 |     1765  20487 |        0 |        0
1795.71/1796.28	c 1796s |      27 | 20406243 | 15464933 |     1765  20504 |        0 |        0
1797.71/1798.29	c 1798s |      27 | 20429463 | 15482333 |     1765  20522 |        0 |        0
1799.81/1800.30	c 1800s |      27 | 20450575 | 15498833 |     1765  20540 |        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-4095868-1466098167/watcher-4095868-1466098167 -o /tmp/evaluation-result-4095868-1466098167/solver-4095868-1466098167 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node141-1466098167-28726 --watchdog 1960 toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4095868-1466098167.opb 

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

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


[startup+0 s]
/proc/loadavg: 0.96 1.10 1.45 4/175 28754
/proc/meminfo: memFree=31442248/32872528 swapFree=496356/529060
[pid=28753] ppid=28747 vsize=699836 CPUtime=0 cores=1,3,5,7
/proc/28753/stat : 28753 (toysat) R 28747 28753 28709 0 -1 4202496 2605 0 0 0 0 0 0 0 20 0 4 0 11862134 716632064 2966 33554432000 4194304 16246674 140733419261600 140733419261024 13880264 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/28753/statm: 175471 2975 441 2943 0 172365 0
[pid=28753/tid=28758] ppid=28747 vsize=721476 CPUtime=0 cores=1,3,5,7
/proc/28753/task/28758/stat : 28758 (toysat) S 28747 28753 28709 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 11862134 738791424 3053 33554432000 4194304 16246674 140733419261600 140436358278384 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=28753/tid=28759] ppid=28747 vsize=725572 CPUtime=0 cores=1,3,5,7
/proc/28753/task/28759/stat : 28759 (toysat) S 28747 28753 28709 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 11862134 742985728 3069 33554432000 4194304 16246674 140733419261600 140436347788528 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=28753/tid=28760] ppid=28747 vsize=730692 CPUtime=0 cores=1,3,5,7
/proc/28753/task/28760/stat : 28760 (toysat) S 28747 28753 28709 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 11862134 748228608 3086 33554432000 4194304 16246674 140733419261600 140436337314992 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0

[startup+0.100203 s]
/proc/loadavg: 0.96 1.10 1.45 4/175 28754
/proc/meminfo: memFree=31442248/32872528 swapFree=496356/529060
[pid=28753] ppid=28747 vsize=1218116 CPUtime=0.09 cores=1,3,5,7
/proc/28753/stat : 28753 (toysat) R 28747 28753 28709 0 -1 4202496 24571 0 0 0 6 3 0 0 20 0 4 0 11862134 1247350784 24921 33554432000 4194304 16246674 140733419261600 140733419261024 6024617 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/28753/statm: 304529 24931 708 2943 0 301423 0
[pid=28753/tid=28758] ppid=28747 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/28753/task/28758/stat : 28758 (toysat) S 28747 28753 28709 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 11862134 1247350784 24936 33554432000 4194304 16246674 140733419261600 140436358278384 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=28753/tid=28759] ppid=28747 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/28753/task/28759/stat : 28759 (toysat) S 28747 28753 28709 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 11862134 1247350784 24944 33554432000 4194304 16246674 140733419261600 140436347788528 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=28753/tid=28760] ppid=28747 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/28753/task/28760/stat : 28760 (toysat) S 28747 28753 28709 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 11862134 1247350784 24954 33554432000 4194304 16246674 140733419261600 140436337314992 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 1218116

[startup+0.200546 s]
/proc/loadavg: 0.96 1.10 1.45 4/175 28754
/proc/meminfo: memFree=31442248/32872528 swapFree=496356/529060
[pid=28753] ppid=28747 vsize=1218116 CPUtime=0.19 cores=1,3,5,7
/proc/28753/stat : 28753 (toysat) R 28747 28753 28709 0 -1 4202496 47313 0 0 0 12 7 0 0 20 0 4 0 11862134 1247350784 47662 33554432000 4194304 16246674 140733419261600 140733419261024 13954518 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/28753/statm: 304529 47670 708 2943 0 301423 0
[pid=28753/tid=28758] ppid=28747 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/28753/task/28758/stat : 28758 (toysat) S 28747 28753 28709 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 11862134 1247350784 47675 33554432000 4194304 16246674 140733419261600 140436358278384 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=28753/tid=28759] ppid=28747 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/28753/task/28759/stat : 28759 (toysat) S 28747 28753 28709 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 11862134 1247350784 47682 33554432000 4194304 16246674 140733419261600 140436347788528 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=28753/tid=28760] ppid=28747 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/28753/task/28760/stat : 28760 (toysat) S 28747 28753 28709 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 11862134 1247350784 47688 33554432000 4194304 16246674 140733419261600 140436337314992 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 1218116

[startup+0.300522 s]
/proc/loadavg: 0.96 1.10 1.45 4/175 28754
/proc/meminfo: memFree=31442248/32872528 swapFree=496356/529060
[pid=28753] ppid=28747 vsize=1218116 CPUtime=0.29 cores=1,3,5,7
/proc/28753/stat : 28753 (toysat) R 28747 28753 28709 0 -1 4202496 69373 0 0 0 18 11 0 0 20 0 4 0 11862134 1247350784 69722 33554432000 4194304 16246674 140733419261600 140733419261024 6076251 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/28753/statm: 304529 69731 709 2943 0 301423 0
[pid=28753/tid=28758] ppid=28747 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/28753/task/28758/stat : 28758 (toysat) S 28747 28753 28709 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 11862134 1247350784 69739 33554432000 4194304 16246674 140733419261600 140436358278384 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=28753/tid=28759] ppid=28747 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/28753/task/28759/stat : 28759 (toysat) S 28747 28753 28709 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 11862134 1247350784 69746 33554432000 4194304 16246674 140733419261600 140436347788528 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=28753/tid=28760] ppid=28747 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/28753/task/28760/stat : 28760 (toysat) S 28747 28753 28709 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 11862134 1247350784 69753 33554432000 4194304 16246674 140733419261600 140436337314992 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 1218116

[startup+0.700437 s]
/proc/loadavg: 0.96 1.10 1.45 4/175 28754
/proc/meminfo: memFree=31442248/32872528 swapFree=496356/529060
[pid=28753] ppid=28747 vsize=1218116 CPUtime=0.69 cores=1,3,5,7
/proc/28753/stat : 28753 (toysat) R 28747 28753 28709 0 -1 4202496 159477 0 0 0 45 24 0 0 20 0 4 0 11862134 1247350784 159826 33554432000 4194304 16246674 140733419261600 140733419244600 12467381 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/28753/statm: 304529 159839 709 2943 0 301423 0
[pid=28753/tid=28758] ppid=28747 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/28753/task/28758/stat : 28758 (toysat) S 28747 28753 28709 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 11862134 1247350784 159844 33554432000 4194304 16246674 140733419261600 140436358278384 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=28753/tid=28759] ppid=28747 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/28753/task/28759/stat : 28759 (toysat) S 28747 28753 28709 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 11862134 1247350784 159852 33554432000 4194304 16246674 140733419261600 140436347788528 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=28753/tid=28760] ppid=28747 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/28753/task/28760/stat : 28760 (toysat) S 28747 28753 28709 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 11862134 1247350784 159858 33554432000 4194304 16246674 140733419261600 140436337314992 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 1218116

[startup+1.50048 s]
/proc/loadavg: 0.96 1.10 1.45 4/183 28762
/proc/meminfo: memFree=29480152/32872528 swapFree=496356/529060
[pid=28753] ppid=28747 vsize=1219140 CPUtime=1.49 cores=1,3,5,7
/proc/28753/stat : 28753 (toysat) R 28747 28753 28709 0 -1 4202496 245608 0 0 0 114 35 0 0 20 0 4 0 11862134 1248399360 245937 33554432000 4194304 16246674 140733419261600 140733419243520 13923834 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/28753/statm: 304785 245937 784 2943 0 301679 0
[pid=28753/tid=28758] ppid=28747 vsize=1219140 CPUtime=0 cores=1,3,5,7
/proc/28753/task/28758/stat : 28758 (toysat) S 28747 28753 28709 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 11862134 1248399360 245937 33554432000 4194304 16246674 140733419261600 140436358278384 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=28753/tid=28759] ppid=28747 vsize=1219140 CPUtime=0 cores=1,3,5,7
/proc/28753/task/28759/stat : 28759 (toysat) S 28747 28753 28709 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 11862134 1248399360 245937 33554432000 4194304 16246674 140733419261600 140436347788528 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=28753/tid=28760] ppid=28747 vsize=1219140 CPUtime=0 cores=1,3,5,7
/proc/28753/task/28760/stat : 28760 (toysat) S 28747 28753 28709 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 11862134 1248399360 245937 33554432000 4194304 16246674 140733419261600 140436337314992 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 1219140

[startup+3.10047 s]
/proc/loadavg: 0.96 1.10 1.45 4/183 28762
/proc/meminfo: memFree=29303196/32872528 swapFree=496356/529060
[pid=28753] ppid=28747 vsize=1306180 CPUtime=3.09 cores=1,3,5,7
/proc/28753/stat : 28753 (toysat) R 28747 28753 28709 0 -1 4202496 267458 0 0 0 271 38 0 0 20 0 4 0 11862134 1337528320 267787 33554432000 4194304 16246674 140733419261600 140733419243520 13194213 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/28753/statm: 326545 267787 784 2943 0 323439 0
[pid=28753/tid=28758] ppid=28747 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/28753/task/28758/stat : 28758 (toysat) S 28747 28753 28709 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 11862134 1337528320 267787 33554432000 4194304 16246674 140733419261600 140436358278384 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=28753/tid=28759] ppid=28747 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/28753/task/28759/stat : 28759 (toysat) S 28747 28753 28709 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 11862134 1337528320 267787 33554432000 4194304 16246674 140733419261600 140436347788528 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=28753/tid=28760] ppid=28747 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/28753/task/28760/stat : 28760 (toysat) S 28747 28753 28709 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 11862134 1337528320 267787 33554432000 4194304 16246674 140733419261600 140436337314992 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 1306180

[startup+6.30043 s]
/proc/loadavg: 1.04 1.11 1.46 3/183 28811
/proc/meminfo: memFree=29510984/32872528 swapFree=496356/529060
[pid=28753] ppid=28747 vsize=1306180 CPUtime=6.28 cores=1,3,5,7
/proc/28753/stat : 28753 (toysat) R 28747 28753 28709 0 -1 4202496 267461 0 0 0 590 38 0 0 20 0 4 0 11862134 1337528320 267790 33554432000 4194304 16246674 140733419261600 140733419243456 5725232 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/28753/statm: 326545 267790 785 2943 0 323439 0
[pid=28753/tid=28758] ppid=28747 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/28753/task/28758/stat : 28758 (toysat) S 28747 28753 28709 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 11862134 1337528320 267790 33554432000 4194304 16246674 140733419261600 140436358278384 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=28753/tid=28759] ppid=28747 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/28753/task/28759/stat : 28759 (toysat) S 28747 28753 28709 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 11862134 1337528320 267790 33554432000 4194304 16246674 140733419261600 140436347788528 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=28753/tid=28760] ppid=28747 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/28753/task/28760/stat : 28760 (toysat) S 28747 28753 28709 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 11862134 1337528320 267790 33554432000 4194304 16246674 140733419261600 140436337314992 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 1306180

[startup+12.7004 s]
/proc/loadavg: 1.12 1.13 1.46 3/183 28811
/proc/meminfo: memFree=29297752/32872528 swapFree=496356/529060
[pid=28753] ppid=28747 vsize=1307204 CPUtime=12.69 cores=1,3,5,7
/proc/28753/stat : 28753 (toysat) R 28747 28753 28709 0 -1 4202496 267600 0 0 0 1230 39 0 0 20 0 4 0 11862134 1338576896 267929 33554432000 4194304 16246674 140733419261600 140733419243520 5523080 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/28753/statm: 326801 267929 785 2943 0 323695 0
[pid=28753/tid=28758] ppid=28747 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/28753/task/28758/stat : 28758 (toysat) S 28747 28753 28709 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 11862134 1338576896 267929 33554432000 4194304 16246674 140733419261600 140436358278384 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=28753/tid=28759] ppid=28747 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/28753/task/28759/stat : 28759 (toysat) S 28747 28753 28709 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 11862134 1338576896 267929 33554432000 4194304 16246674 140733419261600 140436347788528 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=28753/tid=28760] ppid=28747 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/28753/task/28760/stat : 28760 (toysat) S 28747 28753 28709 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 11862134 1338576896 267929 33554432000 4194304 16246674 140733419261600 140436337314992 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 1307204

[startup+25.5006 s]
/proc/loadavg: 1.32 1.17 1.47 4/182 28811
/proc/meminfo: memFree=29298552/32872528 swapFree=496356/529060
[pid=28753] ppid=28747 vsize=1307204 CPUtime=25.49 cores=1,3,5,7
/proc/28753/stat : 28753 (toysat) R 28747 28753 28709 0 -1 4202496 267601 0 0 0 2510 39 0 0 20 0 4 0 11862134 1338576896 267930 33554432000 4194304 16246674 140733419261600 140733419243520 5754801 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/28753/statm: 326801 267930 786 2943 0 323695 0
[pid=28753/tid=28758] ppid=28747 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/28753/task/28758/stat : 28758 (toysat) S 28747 28753 28709 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 11862134 1338576896 267930 33554432000 4194304 16246674 140733419261600 140436358278384 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=28753/tid=28759] ppid=28747 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/28753/task/28759/stat : 28759 (toysat) S 28747 28753 28709 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 11862134 1338576896 267930 33554432000 4194304 16246674 140733419261600 140436347788528 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=28753/tid=28760] ppid=28747 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/28753/task/28760/stat : 28760 (toysat) S 28747 28753 28709 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 11862134 1338576896 267930 33554432000 4194304 16246674 140733419261600 140436337314992 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 1307204

[startup+51.1005 s]
/proc/loadavg: 1.62 1.25 1.48 3/184 28815
/proc/meminfo: memFree=29298488/32872528 swapFree=496356/529060
[pid=28753] ppid=28747 vsize=1307204 CPUtime=51.08 cores=1,3,5,7
/proc/28753/stat : 28753 (toysat) R 28747 28753 28709 0 -1 4202496 267790 0 0 0 5068 40 0 0 20 0 4 0 11862134 1338576896 268119 33554432000 4194304 16246674 140733419261600 140733419243520 5822252 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/28753/statm: 326801 268119 788 2943 0 323695 0
[pid=28753/tid=28758] ppid=28747 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/28753/task/28758/stat : 28758 (toysat) S 28747 28753 28709 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 11862134 1338576896 268119 33554432000 4194304 16246674 140733419261600 140436358278384 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=28753/tid=28759] ppid=28747 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/28753/task/28759/stat : 28759 (toysat) S 28747 28753 28709 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 11862134 1338576896 268119 33554432000 4194304 16246674 140733419261600 140436347788528 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=28753/tid=28760] ppid=28747 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/28753/task/28760/stat : 28760 (toysat) S 28747 28753 28709 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 11862134 1338576896 268119 33554432000 4194304 16246674 140733419261600 140436337314992 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 1307204

[startup+102.301 s]
/proc/loadavg: 1.97 1.40 1.52 3/183 28816
/proc/meminfo: memFree=29297188/32872528 swapFree=496356/529060
[pid=28753] ppid=28747 vsize=1308228 CPUtime=102.28 cores=1,3,5,7
/proc/28753/stat : 28753 (toysat) R 28747 28753 28709 0 -1 4202496 267853 0 0 0 10186 42 0 0 20 0 4 0 11862134 1339625472 268182 33554432000 4194304 16246674 140733419261600 140733419243520 5546098 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/28753/statm: 327057 268182 788 2943 0 323951 0
[pid=28753/tid=28758] ppid=28747 vsize=1308228 CPUtime=0 cores=1,3,5,7
/proc/28753/task/28758/stat : 28758 (toysat) S 28747 28753 28709 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 11862134 1339625472 268182 33554432000 4194304 16246674 140733419261600 140436358278384 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=28753/tid=28759] ppid=28747 vsize=1308228 CPUtime=0 cores=1,3,5,7
/proc/28753/task/28759/stat : 28759 (toysat) S 28747 28753 28709 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 11862134 1339625472 268182 33554432000 4194304 16246674 140733419261600 140436347788528 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=28753/tid=28760] ppid=28747 vsize=1308228 CPUtime=0 cores=1,3,5,7
/proc/28753/task/28760/stat : 28760 (toysat) S 28747 28753 28709 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 11862134 1339625472 268182 33554432000 4194304 16246674 140733419261600 140436337314992 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 1308228


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

/proc/28753/task/28760/stat : 28760 (toysat) S 28747 28753 28709 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 11862134 1341722624 268683 33554432000 4194304 16246674 140733419261600 140436337314992 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1301.89
Current children cumulated vsize (KiB) 1310276

[startup+1362.3 s]
/proc/loadavg: 2.02 2.09 1.94 3/182 28848
/proc/meminfo: memFree=29290596/32872528 swapFree=496356/529060
[pid=28753] ppid=28747 vsize=1310276 CPUtime=1361.88 cores=1,3,5,7
/proc/28753/stat : 28753 (toysat) R 28747 28753 28709 0 -1 4202496 268743 0 0 0 136122 66 0 0 20 0 4 0 11862134 1341722624 268683 33554432000 4194304 16246674 140733419261600 140733419243520 6024131 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/28753/statm: 327569 268683 789 2943 0 324463 0
[pid=28753/tid=28758] ppid=28747 vsize=1310276 CPUtime=0 cores=1,3,5,7
/proc/28753/task/28758/stat : 28758 (toysat) S 28747 28753 28709 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 11862134 1341722624 268683 33554432000 4194304 16246674 140733419261600 140436358278384 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=28753/tid=28759] ppid=28747 vsize=1310276 CPUtime=0 cores=1,3,5,7
/proc/28753/task/28759/stat : 28759 (toysat) S 28747 28753 28709 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 11862134 1341722624 268683 33554432000 4194304 16246674 140733419261600 140436347788528 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=28753/tid=28760] ppid=28747 vsize=1310276 CPUtime=0 cores=1,3,5,7
/proc/28753/task/28760/stat : 28760 (toysat) S 28747 28753 28709 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 11862134 1341722624 268683 33554432000 4194304 16246674 140733419261600 140436337314992 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1361.88
Current children cumulated vsize (KiB) 1310276

[startup+1422.3 s]
/proc/loadavg: 2.08 2.09 1.94 3/183 28850
/proc/meminfo: memFree=29290360/32872528 swapFree=496356/529060
[pid=28753] ppid=28747 vsize=1310276 CPUtime=1421.87 cores=1,3,5,7
/proc/28753/stat : 28753 (toysat) R 28747 28753 28709 0 -1 4202496 268743 0 0 0 142120 67 0 0 20 0 4 0 11862134 1341722624 268683 33554432000 4194304 16246674 140733419261600 140733419244600 5822484 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/28753/statm: 327569 268683 789 2943 0 324463 0
[pid=28753/tid=28758] ppid=28747 vsize=1310276 CPUtime=0 cores=1,3,5,7
/proc/28753/task/28758/stat : 28758 (toysat) S 28747 28753 28709 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 11862134 1341722624 268683 33554432000 4194304 16246674 140733419261600 140436358278384 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=28753/tid=28759] ppid=28747 vsize=1310276 CPUtime=0 cores=1,3,5,7
/proc/28753/task/28759/stat : 28759 (toysat) S 28747 28753 28709 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 11862134 1341722624 268683 33554432000 4194304 16246674 140733419261600 140436347788528 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=28753/tid=28760] ppid=28747 vsize=1310276 CPUtime=0 cores=1,3,5,7
/proc/28753/task/28760/stat : 28760 (toysat) S 28747 28753 28709 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 11862134 1341722624 268683 33554432000 4194304 16246674 140733419261600 140436337314992 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1421.87
Current children cumulated vsize (KiB) 1310276

[startup+1482.3 s]
/proc/loadavg: 2.07 2.08 1.95 3/183 28851
/proc/meminfo: memFree=29290356/32872528 swapFree=496356/529060
[pid=28753] ppid=28747 vsize=1310276 CPUtime=1481.86 cores=1,3,5,7
/proc/28753/stat : 28753 (toysat) R 28747 28753 28709 0 -1 4202496 268743 0 0 0 148118 68 0 0 20 0 4 0 11862134 1341722624 268683 33554432000 4194304 16246674 140733419261600 140733419243520 5677888 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/28753/statm: 327569 268683 789 2943 0 324463 0
[pid=28753/tid=28758] ppid=28747 vsize=1310276 CPUtime=0 cores=1,3,5,7
/proc/28753/task/28758/stat : 28758 (toysat) S 28747 28753 28709 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 11862134 1341722624 268683 33554432000 4194304 16246674 140733419261600 140436358278384 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=28753/tid=28759] ppid=28747 vsize=1310276 CPUtime=0 cores=1,3,5,7
/proc/28753/task/28759/stat : 28759 (toysat) S 28747 28753 28709 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 11862134 1341722624 268683 33554432000 4194304 16246674 140733419261600 140436347788528 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=28753/tid=28760] ppid=28747 vsize=1310276 CPUtime=0 cores=1,3,5,7
/proc/28753/task/28760/stat : 28760 (toysat) S 28747 28753 28709 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 11862134 1341722624 268683 33554432000 4194304 16246674 140733419261600 140436337314992 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1481.86
Current children cumulated vsize (KiB) 1310276

[startup+1542.31 s]
/proc/loadavg: 2.06 2.08 1.95 3/183 28852
/proc/meminfo: memFree=29289736/32872528 swapFree=496356/529060
[pid=28753] ppid=28747 vsize=1310276 CPUtime=1541.86 cores=1,3,5,7
/proc/28753/stat : 28753 (toysat) R 28747 28753 28709 0 -1 4202496 268743 0 0 0 154117 69 0 0 20 0 4 0 11862134 1341722624 268683 33554432000 4194304 16246674 140733419261600 140733419243520 5672188 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/28753/statm: 327569 268683 789 2943 0 324463 0
[pid=28753/tid=28758] ppid=28747 vsize=1310276 CPUtime=0 cores=1,3,5,7
/proc/28753/task/28758/stat : 28758 (toysat) S 28747 28753 28709 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 11862134 1341722624 268683 33554432000 4194304 16246674 140733419261600 140436358278384 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=28753/tid=28759] ppid=28747 vsize=1310276 CPUtime=0 cores=1,3,5,7
/proc/28753/task/28759/stat : 28759 (toysat) S 28747 28753 28709 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 11862134 1341722624 268683 33554432000 4194304 16246674 140733419261600 140436347788528 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=28753/tid=28760] ppid=28747 vsize=1310276 CPUtime=0 cores=1,3,5,7
/proc/28753/task/28760/stat : 28760 (toysat) S 28747 28753 28709 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 11862134 1341722624 268683 33554432000 4194304 16246674 140733419261600 140436337314992 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1541.86
Current children cumulated vsize (KiB) 1310276

[startup+1602.3 s]
/proc/loadavg: 2.02 2.06 1.95 3/183 28854
/proc/meminfo: memFree=29289992/32872528 swapFree=496356/529060
[pid=28753] ppid=28747 vsize=1310276 CPUtime=1601.84 cores=1,3,5,7
/proc/28753/stat : 28753 (toysat) R 28747 28753 28709 0 -1 4202496 268743 0 0 0 160114 70 0 0 20 0 4 0 11862134 1341722624 268683 33554432000 4194304 16246674 140733419261600 140733419244600 5519604 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/28753/statm: 327569 268683 789 2943 0 324463 0
[pid=28753/tid=28758] ppid=28747 vsize=1310276 CPUtime=0 cores=1,3,5,7
/proc/28753/task/28758/stat : 28758 (toysat) S 28747 28753 28709 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 11862134 1341722624 268683 33554432000 4194304 16246674 140733419261600 140436358278384 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=28753/tid=28759] ppid=28747 vsize=1310276 CPUtime=0 cores=1,3,5,7
/proc/28753/task/28759/stat : 28759 (toysat) S 28747 28753 28709 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 11862134 1341722624 268683 33554432000 4194304 16246674 140733419261600 140436347788528 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=28753/tid=28760] ppid=28747 vsize=1310276 CPUtime=0 cores=1,3,5,7
/proc/28753/task/28760/stat : 28760 (toysat) S 28747 28753 28709 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 11862134 1341722624 268683 33554432000 4194304 16246674 140733419261600 140436337314992 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1601.84
Current children cumulated vsize (KiB) 1310276

[startup+1662.3 s]
/proc/loadavg: 2.10 2.08 1.96 3/183 28855
/proc/meminfo: memFree=29289668/32872528 swapFree=496356/529060
[pid=28753] ppid=28747 vsize=1310276 CPUtime=1661.83 cores=1,3,5,7
/proc/28753/stat : 28753 (toysat) R 28747 28753 28709 0 -1 4202496 268743 0 0 0 166112 71 0 0 20 0 4 0 11862134 1341722624 268683 33554432000 4194304 16246674 140733419261600 140733419244600 5677422 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/28753/statm: 327569 268683 789 2943 0 324463 0
[pid=28753/tid=28758] ppid=28747 vsize=1310276 CPUtime=0 cores=1,3,5,7
/proc/28753/task/28758/stat : 28758 (toysat) S 28747 28753 28709 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 11862134 1341722624 268683 33554432000 4194304 16246674 140733419261600 140436358278384 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=28753/tid=28759] ppid=28747 vsize=1310276 CPUtime=0 cores=1,3,5,7
/proc/28753/task/28759/stat : 28759 (toysat) S 28747 28753 28709 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 11862134 1341722624 268683 33554432000 4194304 16246674 140733419261600 140436347788528 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=28753/tid=28760] ppid=28747 vsize=1310276 CPUtime=0 cores=1,3,5,7
/proc/28753/task/28760/stat : 28760 (toysat) S 28747 28753 28709 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 11862134 1341722624 268683 33554432000 4194304 16246674 140733419261600 140436337314992 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1661.83
Current children cumulated vsize (KiB) 1310276

[startup+1722.3 s]
/proc/loadavg: 2.04 2.06 1.96 3/183 28856
/proc/meminfo: memFree=29289776/32872528 swapFree=496356/529060
[pid=28753] ppid=28747 vsize=1310276 CPUtime=1721.83 cores=1,3,5,7
/proc/28753/stat : 28753 (toysat) R 28747 28753 28709 0 -1 4202496 268743 0 0 0 172111 72 0 0 20 0 4 0 11862134 1341722624 268683 33554432000 4194304 16246674 140733419261600 140733419243520 6020540 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/28753/statm: 327569 268683 789 2943 0 324463 0
[pid=28753/tid=28758] ppid=28747 vsize=1310276 CPUtime=0 cores=1,3,5,7
/proc/28753/task/28758/stat : 28758 (toysat) S 28747 28753 28709 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 11862134 1341722624 268683 33554432000 4194304 16246674 140733419261600 140436358278384 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=28753/tid=28759] ppid=28747 vsize=1310276 CPUtime=0 cores=1,3,5,7
/proc/28753/task/28759/stat : 28759 (toysat) S 28747 28753 28709 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 11862134 1341722624 268683 33554432000 4194304 16246674 140733419261600 140436347788528 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=28753/tid=28760] ppid=28747 vsize=1310276 CPUtime=0 cores=1,3,5,7
/proc/28753/task/28760/stat : 28760 (toysat) S 28747 28753 28709 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 11862134 1341722624 268683 33554432000 4194304 16246674 140733419261600 140436337314992 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1721.83
Current children cumulated vsize (KiB) 1310276

[startup+1782.3 s]
/proc/loadavg: 2.06 2.06 1.97 3/183 28857
/proc/meminfo: memFree=29289016/32872528 swapFree=496356/529060
[pid=28753] ppid=28747 vsize=1310276 CPUtime=1781.81 cores=1,3,5,7
/proc/28753/stat : 28753 (toysat) R 28747 28753 28709 0 -1 4202496 268743 0 0 0 178108 73 0 0 20 0 4 0 11862134 1341722624 268683 33554432000 4194304 16246674 140733419261600 140733419244600 5717840 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/28753/statm: 327569 268683 789 2943 0 324463 0
[pid=28753/tid=28758] ppid=28747 vsize=1310276 CPUtime=0 cores=1,3,5,7
/proc/28753/task/28758/stat : 28758 (toysat) S 28747 28753 28709 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 11862134 1341722624 268683 33554432000 4194304 16246674 140733419261600 140436358278384 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=28753/tid=28759] ppid=28747 vsize=1310276 CPUtime=0 cores=1,3,5,7
/proc/28753/task/28759/stat : 28759 (toysat) S 28747 28753 28709 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 11862134 1341722624 268683 33554432000 4194304 16246674 140733419261600 140436347788528 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=28753/tid=28760] ppid=28747 vsize=1310276 CPUtime=0 cores=1,3,5,7
/proc/28753/task/28760/stat : 28760 (toysat) S 28747 28753 28709 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 11862134 1341722624 268683 33554432000 4194304 16246674 140733419261600 140436337314992 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1781.81
Current children cumulated vsize (KiB) 1310276



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.5 s]
/proc/loadavg: 2.04 2.06 1.97 3/183 28857
/proc/meminfo: memFree=29288892/32872528 swapFree=496356/529060
[pid=28753] ppid=28747 vsize=1310276 CPUtime=1800.01 cores=1,3,5,7
/proc/28753/stat : 28753 (toysat) R 28747 28753 28709 0 -1 4202496 268743 0 0 0 179928 73 0 0 20 0 4 0 11862134 1341722624 268683 33554432000 4194304 16246674 140733419261600 140733419243520 6026371 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/28753/statm: 327569 268683 789 2943 0 324463 0
[pid=28753/tid=28758] ppid=28747 vsize=1310276 CPUtime=0 cores=1,3,5,7
/proc/28753/task/28758/stat : 28758 (toysat) S 28747 28753 28709 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 11862134 1341722624 268683 33554432000 4194304 16246674 140733419261600 140436358278384 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=28753/tid=28759] ppid=28747 vsize=1310276 CPUtime=0 cores=1,3,5,7
/proc/28753/task/28759/stat : 28759 (toysat) S 28747 28753 28709 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 11862134 1341722624 268683 33554432000 4194304 16246674 140733419261600 140436347788528 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=28753/tid=28760] ppid=28747 vsize=1310276 CPUtime=0 cores=1,3,5,7
/proc/28753/task/28760/stat : 28760 (toysat) S 28747 28753 28709 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 11862134 1341722624 268683 33554432000 4194304 16246674 140733419261600 140436337314992 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1800.01
Current children cumulated vsize (KiB) 1310276

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

[startup+1800.5 s]
/proc/loadavg: 2.04 2.06 1.97 3/183 28857
/proc/meminfo: memFree=29288892/32872528 swapFree=496356/529060
[pid=28753] ppid=28747 vsize=1310276 CPUtime=1800.01 cores=1,3,5,7
/proc/28753/stat : 28753 (toysat) R 28747 28753 28709 0 -1 4202496 268743 0 0 0 179928 73 0 0 20 0 4 0 11862134 1341722624 268683 33554432000 4194304 16246674 140733419261600 140733419243520 6026371 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/28753/statm: 327569 268683 789 2943 0 324463 0
[pid=28753/tid=28758] ppid=28747 vsize=1310276 CPUtime=0 cores=1,3,5,7
/proc/28753/task/28758/stat : 28758 (toysat) S 28747 28753 28709 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 11862134 1341722624 268683 33554432000 4194304 16246674 140733419261600 140436358278384 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=28753/tid=28759] ppid=28747 vsize=1310276 CPUtime=0 cores=1,3,5,7
/proc/28753/task/28759/stat : 28759 (toysat) S 28747 28753 28709 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 11862134 1341722624 268683 33554432000 4194304 16246674 140733419261600 140436347788528 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=28753/tid=28760] ppid=28747 vsize=1310276 CPUtime=0 cores=1,3,5,7
/proc/28753/task/28760/stat : 28760 (toysat) S 28747 28753 28709 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 11862134 1341722624 268683 33554432000 4194304 16246674 140733419261600 140436337314992 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1800.01
Current children cumulated vsize (KiB) 1310276

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1800.51
CPU time (s): 1800.02
CPU user time (s): 1799.29
CPU system time (s): 0.738887
CPU usage (%): 99.9731
Max. virtual memory (cumulated for all children) (KiB): 1310276

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.29
system time used= 0.738887
maximum resident set size= 1074732
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 268743
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= 407
involuntary context switches= 1853

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 8.64668 second user time and 19.3511 second system time

The end

Begin job on node141 at 2016-06-16 19:29:27
IDJOB=4095868
IDBENCH=107533
IDSOLVER=2542
FILE ID=node141/4095868-1466098167
RUNJOBID= node141-1466098167-28726
PBS_JOBID= 19904052
Free space on /tmp= 71728 MiB

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

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

MD5SUM BENCH= 58cc7a27c86d0bb9ad456540763b6be6
RANDOM SEED=403068579

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

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:       32872528 kB
MemFree:        31444552 kB
Buffers:           44476 kB
Cached:           148760 kB
SwapCached:         2880 kB
Active:           123660 kB
Inactive:          73372 kB
Active(anon):       4396 kB
Inactive(anon):     2144 kB
Active(file):     119264 kB
Inactive(file):    71228 kB
Unevictable:      529060 kB
Mlocked:          496356 kB
SwapTotal:      67108856 kB
SwapFree:       67098996 kB
Dirty:             32644 kB
Writeback:             0 kB
AnonPages:        531688 kB
Mapped:             6568 kB
Shmem:                 0 kB
Slab:             569736 kB
SReclaimable:      13944 kB
SUnreclaim:       555792 kB
KernelStack:        1344 kB
PageTables:         6028 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:     625596 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:     32768 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= 71696 MiB
End job on node141 at 2016-06-16 19:59:28