0.00/0.00	c 2016-06-15T20:11:34+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-4088735-1466014294.opb"]
0.00/0.01	c use --random-gen="1311703443 2186485133 3889090672 101455959 2538474933 691834831 1436184556 3462945741 206011456 1603458408 1975526308 3443506648 267830415 1404856593 3473052292 307044593 580302499 2365213957 3588791252 1082062438 4281013737 2642170659 4037496287 1900558395 7860773 719971386 477565243 2227792065 3429972169 2415730674 871441102 667317444 3991027117 2337276017 3839359823 2842274239 327437334 1522045576 3325688891 1656821709 2091498685 2754466517 1405843811 3467745140 2168719176 4172798793 4149890783 4077766333 3464119129 4254766015 3974349743 3476214545 1857406587 3964531537 997267099 805582578 733810261 4290025116 1780876050 2661930361 2569538673 1297000592 959988640 3699357217 1593350398 878246974 1692027112 641443470 707534044 690592677 3592318915 1875905879 4044462608 3967697764 670937832 2964070309 130638391 602822795 3796176965 2798311201 3176122083 2925267314 403490760 1500412369 2291308880 1944568877 3067174670 4045527435 654767027 1874584057 3841831868 3593682703 3154931407 255169279 1366029548 1966084029 3173134950 2903165787 1767205287 1931386154 3673943549 685977056 1687951814 1032062180 3366283939 149358283 3119864431 3572913060 2563756021 2063551931 4057487690 2877077290 539728404 2746284237 738685486 4215822994 1322406442 2567126278 1598752229 787677488 3837959099 2988064114 2062269424 2746280372 3808030318 3721999686 3898985939 2579849505 2202218354 427662653 76459102 1331818366 1713521329 546697073 3747855732 1629719602 2917236196 3685254767 351166160 3659781683 1072087139 1057121045 581218176 2292096156 632460482 1703493975 711201647 351785694 1099436561 4104437862 1098441017 4271299232 325872597 3486936185 3657049874 1979799538 1828652225 3771641738 1128540434 3472917220 3651664859 2027383665 1789686471 1137103188 4256848814 3375716136 1720236833 3391463066 439051619 939577445 490493237 1025584755 986041720 3933005967 1174179307 1771480571 1798982445 1130541593 809991559 2666371891 975380387 2124853732 3763335860 1200164241 2529168562 2528285435 2392620102 2782172275 2668069609 3453256444 2144854779 2065606904 786308316 1434324532 1230866267 3574237070 694003358 2234941998 1531526519 4086797902 2648777585 3561796102 2365533496 1087153071 3540699653 1803770484 423970377 1440701637 3745043700 1787572364 80838820 3202765231 2690537116 1850420051 533506951 873819723 1482147743 3635876594 2396624415 2198263758 3440337655 3633809638 1991051 962513686 1239992973 2437798642 1828017000 2016051505 1412233804 2030444069 4235348911 3973724380 1704154348 2386961284 2173493529 743069621 3347796592 3210095881 308149166 1027922564 3609473647 1214197132 2515534767 389043180 4254858966 3890103474 3922781172 3699045874 919196604 1528553032 3972125560 383431324 2192513348 3531581398 2079979623 3002577031 255 362436" option to reproduce the execution
0.00/0.01	c #vars 901
0.00/0.01	c #constraints 451
0.00/0.03	c Solving starts ...
0.00/0.03	c ============================[ Search Statistics ]============================
0.00/0.03	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
0.00/0.03	c       |         |          |          |    Limit     GC | Var      | Constra 
0.00/0.03	c =============================================================================
0.00/0.03	c  0.0s |       0 |        0 |        0 |      601      0 |        0 |        0
0.00/0.04	c  0.0s |       1 |      545 |      100 |      601      0 |        0 |        0
0.00/0.05	c  0.0s |       2 |     1139 |      250 |      662      0 |        0 |        0
0.00/0.07	c  0.0s |       3 |     1764 |      475 |      729      0 |        0 |        0
0.09/0.10	c  0.1s |       4 |     2504 |      813 |      802      0 |        0 |        0
0.09/0.15	c  0.1s |       5 |     3461 |     1320 |      883      1 |        0 |        0
0.18/0.23	c  0.2s |       6 |     4663 |     2081 |     1070      2 |        0 |        0
0.29/0.35	c  0.3s |       7 |     6409 |     3223 |     1177      4 |        0 |        0
0.48/0.57	c  0.5s |       8 |     8827 |     4936 |     1295      5 |        0 |        0
0.88/0.96	c  0.9s |       9 |    13079 |     7506 |     1425      8 |        0 |        0
1.38/1.41	c  1.4s |      10 |    18418 |    11361 |     1568     12 |        0 |        0
1.88/1.96	c  1.9s |      11 |    26777 |    17144 |     1725     17 |        0 |        0
2.99/3.04	c  3.0s |      12 |    37361 |    25819 |     1898     25 |        0 |        0
4.59/4.61	c  4.6s |      13 |    57617 |    38832 |     2088     35 |        0 |        0
6.60/6.62	c  6.6s |      13 |    81426 |    56132 |     2088     49 |        0 |        0
6.79/6.86	c  6.8s |      14 |    84690 |    58352 |     2297     50 |        0 |        0
8.79/8.87	c  8.8s |      14 |   106441 |    73952 |     2297     61 |        0 |        0
10.39/10.40	c 10.4s |      15 |   124575 |    87632 |     2527     70 |        0 |        0
12.39/12.41	c 12.4s |      15 |   144939 |   102932 |     2527     80 |        0 |        0
14.39/14.43	c 14.4s |      15 |   165578 |   118732 |     2527     90 |        0 |        0
15.78/15.81	c 15.8s |      16 |   183158 |   131552 |     2780     98 |        0 |        0
17.78/17.83	c 17.8s |      16 |   203209 |   146752 |     2780    108 |        0 |        0
19.79/19.83	c 19.8s |      16 |   225285 |   162952 |     2780    118 |        0 |        0
21.78/21.83	c 21.8s |      16 |   250228 |   180952 |     2780    129 |        0 |        0
23.58/23.63	c 23.6s |      17 |   274483 |   197432 |     3059    139 |        0 |        0
25.58/25.64	c 25.6s |      17 |   296421 |   213732 |     3059    149 |        0 |        0
27.59/27.64	c 27.6s |      17 |   318575 |   230732 |     3059    160 |        0 |        0
29.58/29.65	c 29.6s |      17 |   337801 |   245232 |     3059    169 |        0 |        0
31.58/31.65	c 31.6s |      17 |   354698 |   257832 |     3059    176 |        0 |        0
33.58/33.66	c 33.6s |      17 |   370943 |   270632 |     3059    183 |        0 |        0
35.58/35.67	c 35.6s |      17 |   386875 |   283432 |     3059    190 |        0 |        0
37.38/37.42	c 37.4s |      18 |   404044 |   296252 |     3365    196 |        0 |        0
39.38/39.43	c 39.4s |      18 |   424483 |   311352 |     3365    204 |        0 |        0
41.38/41.43	c 41.4s |      18 |   442424 |   325952 |     3365    211 |        0 |        0
43.38/43.44	c 43.4s |      18 |   464102 |   342352 |     3365    219 |        0 |        0
45.37/45.44	c 45.4s |      18 |   485728 |   358852 |     3365    228 |        0 |        0
47.38/47.45	c 47.4s |      18 |   508101 |   375852 |     3365    236 |        0 |        0
49.37/49.46	c 49.4s |      18 |   531292 |   393152 |     3365    245 |        0 |        0
51.38/51.47	c 51.4s |      18 |   552001 |   409052 |     3365    253 |        0 |        0
53.38/53.48	c 53.5s |      18 |   571577 |   424052 |     3365    261 |        0 |        0
55.38/55.49	c 55.5s |      18 |   593910 |   440652 |     3365    269 |        0 |        0
55.88/55.97	c 55.9s |      19 |   599105 |   444482 |     3702    271 |        0 |        0
57.88/57.98	c 58.0s |      19 |   618598 |   458982 |     3702    278 |        0 |        0
59.88/59.98	c 60.0s |      19 |   641038 |   474182 |     3702    285 |        0 |        0
61.88/61.99	c 62.0s |      19 |   660090 |   487982 |     3702    292 |        0 |        0
63.98/64.00	c 64.0s |      19 |   680193 |   502782 |     3702    299 |        0 |        0
65.98/66.00	c 66.0s |      19 |   699395 |   517382 |     3702    306 |        0 |        0
67.98/68.01	c 68.0s |      19 |   721304 |   533782 |     3702    314 |        0 |        0
69.98/70.01	c 70.0s |      19 |   742332 |   549482 |     3702    321 |        0 |        0
71.98/72.02	c 72.0s |      19 |   763008 |   564782 |     3702    328 |        0 |        0
73.98/74.03	c 74.0s |      19 |   784632 |   580482 |     3702    336 |        0 |        0
75.98/76.04	c 76.0s |      19 |   805090 |   595982 |     3702    343 |        0 |        0
77.97/78.04	c 78.0s |      19 |   825310 |   611582 |     3702    350 |        0 |        0
79.97/80.04	c 80.0s |      19 |   847945 |   628382 |     3702    358 |        0 |        0
81.97/82.06	c 82.0s |      19 |   870550 |   644782 |     3702    366 |        0 |        0
83.97/84.06	c 84.0s |      19 |   883803 |   655882 |     3702    371 |        0 |        0
85.37/85.40	c 85.4s |      20 |   898914 |   666827 |     4073    376 |        0 |        0
87.37/87.41	c 87.4s |      20 |   917157 |   680727 |     4073    383 |        0 |        0
89.37/89.42	c 89.4s |      20 |   936908 |   695027 |     4073    389 |        0 |        0
91.38/91.44	c 91.4s |      20 |   956060 |   709627 |     4073    396 |        0 |        0
93.37/93.45	c 93.4s |      20 |   975227 |   724527 |     4073    403 |        0 |        0
95.37/95.46	c 95.4s |      20 |   989496 |   735727 |     4073    407 |        0 |        0
97.37/97.47	c 97.4s |      20 |  1003210 |   746727 |     4073    413 |        0 |        0
99.36/99.48	c 99.4s |      20 |  1018879 |   759227 |     4073    419 |        0 |        0
101.36/101.48	c  101s |      20 |  1036324 |   772727 |     4073    424 |        0 |        0
103.37/103.48	c  103s |      20 |  1057542 |   789027 |     4073    432 |        0 |        0
105.37/105.49	c  105s |      20 |  1077872 |   804727 |     4073    439 |        0 |        0
107.37/107.50	c  107s |      20 |  1095350 |   818627 |     4073    445 |        0 |        0
109.46/109.50	c  109s |      20 |  1114189 |   833227 |     4073    452 |        0 |        0
111.46/111.52	c  111s |      20 |  1130630 |   846427 |     4073    457 |        0 |        0
113.46/113.53	c  113s |      20 |  1150189 |   861527 |     4073    464 |        0 |        0
115.47/115.53	c  115s |      20 |  1172863 |   878627 |     4073    472 |        0 |        0
117.46/117.55	c  117s |      20 |  1195154 |   894727 |     4073    479 |        0 |        0
119.46/119.56	c  119s |      20 |  1214774 |   909627 |     4073    486 |        0 |        0
121.46/121.57	c  121s |      20 |  1237533 |   926727 |     4073    494 |        0 |        0
123.46/123.58	c  123s |      20 |  1256433 |   941127 |     4073    500 |        0 |        0
125.46/125.59	c  125s |      20 |  1276362 |   956427 |     4073    507 |        0 |        0
127.56/127.60	c  127s |      20 |  1296952 |   972127 |     4073    514 |        0 |        0
129.56/129.62	c  129s |      20 |  1316958 |   987527 |     4073    521 |        0 |        0
131.46/131.58	c  131s |      21 |  1334906 |  1000345 |     4481    526 |        0 |        0
133.45/133.59	c  133s |      21 |  1356672 |  1015945 |     4481    532 |        0 |        0
135.45/135.59	c  135s |      21 |  1376523 |  1029945 |     4481    538 |        0 |        0
137.56/137.60	c  137s |      21 |  1397487 |  1045145 |     4481    544 |        0 |        0
139.55/139.60	c  139s |      21 |  1420871 |  1062045 |     4481    551 |        0 |        0
141.55/141.61	c  141s |      21 |  1441506 |  1077545 |     4481    557 |        0 |        0
143.55/143.62	c  143s |      21 |  1461502 |  1092045 |     4481    563 |        0 |        0
145.55/145.62	c  145s |      21 |  1483996 |  1108445 |     4481    569 |        0 |        0
147.55/147.64	c  147s |      21 |  1505584 |  1124145 |     4481    575 |        0 |        0
149.56/149.64	c  149s |      21 |  1526658 |  1140145 |     4481    582 |        0 |        0
151.55/151.65	c  151s |      21 |  1543816 |  1152845 |     4481    587 |        0 |        0
153.55/153.66	c  153s |      21 |  1559188 |  1165245 |     4481    592 |        0 |        0
155.55/155.67	c  155s |      21 |  1571925 |  1175745 |     4481    596 |        0 |        0
157.55/157.67	c  157s |      21 |  1585817 |  1186645 |     4481    600 |        0 |        0
159.55/159.68	c  159s |      21 |  1601124 |  1198745 |     4481    605 |        0 |        0
161.54/161.68	c  161s |      21 |  1619422 |  1212945 |     4481    611 |        0 |        0
163.54/163.69	c  163s |      21 |  1644928 |  1231345 |     4481    619 |        0 |        0
165.64/165.70	c  165s |      21 |  1665711 |  1246945 |     4481    625 |        0 |        0
167.64/167.71	c  167s |      21 |  1687086 |  1262945 |     4481    631 |        0 |        0
169.64/169.71	c  169s |      21 |  1707516 |  1278745 |     4481    638 |        0 |        0
171.64/171.72	c  171s |      21 |  1725847 |  1292845 |     4481    644 |        0 |        0
173.63/173.72	c  173s |      21 |  1746212 |  1308345 |     4481    650 |        0 |        0
175.63/175.73	c  175s |      21 |  1769509 |  1325745 |     4481    657 |        0 |        0
177.63/177.75	c  177s |      21 |  1785522 |  1338745 |     4481    662 |        0 |        0
179.63/179.76	c  179s |      21 |  1807025 |  1354645 |     4481    669 |        0 |        0
181.63/181.77	c  181s |      21 |  1827363 |  1369945 |     4481    675 |        0 |        0
183.64/183.78	c  183s |      21 |  1846605 |  1384945 |     4481    681 |        0 |        0
185.63/185.79	c  185s |      21 |  1870012 |  1402545 |     4481    689 |        0 |        0
187.63/187.79	c  187s |      21 |  1889059 |  1417445 |     4481    695 |        0 |        0
189.73/189.82	c  189s |      21 |  1908877 |  1432645 |     4481    701 |        0 |        0
191.73/191.82	c  191s |      21 |  1929651 |  1448445 |     4481    707 |        0 |        0
193.73/193.84	c  193s |      21 |  1947829 |  1462745 |     4481    713 |        0 |        0
195.73/195.85	c  195s |      21 |  1968175 |  1478645 |     4481    720 |        0 |        0
197.73/197.86	c  197s |      21 |  1987306 |  1493445 |     4930    726 |        0 |        0
198.63/198.71	c  198s |      22 |  1996621 |  1500622 |     4930    728 |        0 |        0
200.63/200.72	c  200s |      22 |  2013775 |  1512722 |     4930    733 |        0 |        0
202.62/202.72	c  202s |      22 |  2034265 |  1527722 |     4930    738 |        0 |        0
204.63/204.72	c  204s |      22 |  2053920 |  1542522 |     4930    743 |        0 |        0
206.62/206.73	c  206s |      22 |  2073183 |  1556822 |     4930    749 |        0 |        0
208.62/208.75	c  208s |      22 |  2089272 |  1569622 |     4930    753 |        0 |        0
210.62/210.76	c  210s |      22 |  2106833 |  1583022 |     4930    758 |        0 |        0
212.62/212.78	c  212s |      22 |  2124819 |  1596422 |     4930    763 |        0 |        0
214.62/214.78	c  214s |      22 |  2144457 |  1611322 |     4930    769 |        0 |        0
216.62/216.79	c  216s |      22 |  2165017 |  1626222 |     4930    774 |        0 |        0
218.71/218.80	c  218s |      22 |  2185516 |  1641722 |     4930    780 |        0 |        0
220.71/220.81	c  220s |      22 |  2208857 |  1657622 |     4930    786 |        0 |        0
222.71/222.83	c  222s |      22 |  2225301 |  1670222 |     4930    791 |        0 |        0
224.71/224.83	c  224s |      22 |  2242150 |  1682722 |     4930    795 |        0 |        0
226.71/226.84	c  226s |      22 |  2257799 |  1694922 |     4930    799 |        0 |        0
228.72/228.84	c  228s |      22 |  2275640 |  1708022 |     4930    804 |        0 |        0
230.71/230.84	c  230s |      22 |  2291806 |  1720822 |     4930    809 |        0 |        0
232.71/232.85	c  232s |      22 |  2315043 |  1737022 |     4930    815 |        0 |        0
234.71/234.85	c  234s |      22 |  2335719 |  1752022 |     4930    820 |        0 |        0
236.71/236.87	c  236s |      22 |  2353792 |  1765822 |     4930    826 |        0 |        0
238.71/238.89	c  238s |      22 |  2375900 |  1782422 |     4930    832 |        0 |        0
240.70/240.89	c  240s |      22 |  2396976 |  1798222 |     4930    837 |        0 |        0
242.81/242.91	c  242s |      22 |  2414263 |  1811422 |     4930    842 |        0 |        0
244.81/244.92	c  244s |      22 |  2427714 |  1822422 |     4930    846 |        0 |        0
246.81/246.94	c  246s |      22 |  2442628 |  1834122 |     4930    851 |        0 |        0
248.81/248.94	c  248s |      22 |  2459822 |  1847622 |     4930    855 |        0 |        0
250.81/250.95	c  250s |      22 |  2475256 |  1859422 |     4930    860 |        0 |        0
252.80/252.96	c  252s |      22 |  2492929 |  1873022 |     4930    865 |        0 |        0
254.80/254.97	c  254s |      22 |  2508161 |  1884922 |     4930    869 |        0 |        0
256.80/256.98	c  256s |      22 |  2519169 |  1894222 |     4930    873 |        0 |        0
258.80/258.99	c  258s |      22 |  2530961 |  1903822 |     4930    876 |        0 |        0
260.80/260.99	c  260s |      22 |  2541793 |  1912922 |     4930    880 |        0 |        0
262.91/263.01	c  262s |      22 |  2556389 |  1924522 |     4930    884 |        0 |        0
264.89/265.06	c  265s |      22 |  2573995 |  1937822 |     4930    889 |        0 |        0
266.89/267.08	c  267s |      22 |  2592733 |  1952222 |     4930    894 |        0 |        0
268.89/269.08	c  269s |      22 |  2609187 |  1965322 |     4930    899 |        0 |        0
270.89/271.09	c  271s |      22 |  2633142 |  1982422 |     4930    905 |        0 |        0
272.99/273.10	c  273s |      22 |  2655507 |  1998622 |     4930    911 |        0 |        0
274.99/275.11	c  275s |      22 |  2676317 |  2013822 |     4930    917 |        0 |        0
276.99/277.11	c  277s |      22 |  2698363 |  2030122 |     4930    923 |        0 |        0
278.99/279.11	c  279s |      22 |  2721758 |  2047122 |     4930    929 |        0 |        0
280.99/281.12	c  281s |      22 |  2742446 |  2062622 |     4930    935 |        0 |        0
282.98/283.17	c  283s |      22 |  2760287 |  2075922 |     4930    940 |        0 |        0
284.98/285.17	c  285s |      22 |  2779977 |  2090122 |     4930    945 |        0 |        0
287.00/287.18	c  287s |      22 |  2799812 |  2104822 |     4930    950 |        0 |        0
289.09/289.20	c  289s |      22 |  2818937 |  2119522 |     4930    955 |        0 |        0
291.09/291.21	c  291s |      22 |  2837391 |  2133122 |     4930    960 |        0 |        0
293.09/293.21	c  293s |      22 |  2857867 |  2148422 |     4930    966 |        0 |        0
295.08/295.22	c  295s |      22 |  2876757 |  2162622 |     4930    971 |        0 |        0
297.08/297.22	c  297s |      22 |  2895006 |  2176222 |     4930    976 |        0 |        0
299.09/299.22	c  299s |      22 |  2915444 |  2191422 |     4930    982 |        0 |        0
301.08/301.24	c  301s |      22 |  2930709 |  2203322 |     4930    986 |        0 |        0
303.08/303.25	c  303s |      22 |  2944625 |  2213822 |     4930    990 |        0 |        0
305.07/305.27	c  305s |      22 |  2963779 |  2228022 |     4930    995 |        0 |        0
307.07/307.28	c  307s |      22 |  2983443 |  2242322 |     5423   1000 |        0 |        0
308.67/308.80	c  308s |      23 |  2994614 |  2251038 |     5423   1003 |        0 |        0
310.67/310.82	c  310s |      23 |  3013257 |  2265338 |     5423   1008 |        0 |        0
312.67/312.83	c  312s |      23 |  3030688 |  2278038 |     5423   1013 |        0 |        0
314.67/314.83	c  314s |      23 |  3047760 |  2290338 |     5423   1017 |        0 |        0
316.68/316.85	c  316s |      23 |  3064760 |  2303538 |     5423   1021 |        0 |        0
318.67/318.85	c  318s |      23 |  3082154 |  2316438 |     5423   1025 |        0 |        0
320.67/320.86	c  320s |      23 |  3098362 |  2328338 |     5423   1029 |        0 |        0
322.67/322.88	c  322s |      23 |  3116695 |  2341638 |     5423   1034 |        0 |        0
324.67/324.88	c  324s |      23 |  3137233 |  2356838 |     5423   1039 |        0 |        0
326.68/326.89	c  326s |      23 |  3157953 |  2372138 |     5423   1044 |        0 |        0
328.67/328.90	c  328s |      23 |  3178839 |  2387438 |     5423   1049 |        0 |        0
330.77/330.90	c  330s |      23 |  3199843 |  2403038 |     5423   1055 |        0 |        0
332.77/332.92	c  332s |      23 |  3216209 |  2415338 |     5423   1059 |        0 |        0
334.76/334.93	c  334s |      23 |  3233295 |  2428438 |     5423   1063 |        0 |        0
336.76/336.95	c  336s |      23 |  3246449 |  2438938 |     5423   1067 |        0 |        0
338.77/338.97	c  338s |      23 |  3261430 |  2450638 |     5423   1070 |        0 |        0
340.76/340.97	c  340s |      23 |  3276713 |  2462638 |     5423   1074 |        0 |        0
342.76/342.99	c  342s |      23 |  3291564 |  2474438 |     5423   1078 |        0 |        0
344.85/345.00	c  344s |      23 |  3306162 |  2485938 |     5423   1082 |        0 |        0
346.85/347.00	c  346s |      23 |  3322210 |  2498238 |     5423   1086 |        0 |        0
348.85/349.01	c  348s |      23 |  3341797 |  2512638 |     5423   1091 |        0 |        0
350.86/351.02	c  350s |      23 |  3360268 |  2526238 |     5423   1096 |        0 |        0
352.85/353.03	c  352s |      23 |  3378805 |  2539738 |     5423   1100 |        0 |        0
354.85/355.04	c  355s |      23 |  3394281 |  2551038 |     5423   1104 |        0 |        0
356.84/357.05	c  357s |      23 |  3411322 |  2564138 |     5423   1108 |        0 |        0
358.84/359.06	c  359s |      23 |  3426236 |  2575238 |     5423   1112 |        0 |        0
360.84/361.07	c  361s |      23 |  3441954 |  2587538 |     5423   1116 |        0 |        0
362.85/363.08	c  363s |      23 |  3455583 |  2598338 |     5423   1120 |        0 |        0
364.84/365.08	c  365s |      23 |  3470787 |  2609738 |     5423   1124 |        0 |        0
366.84/367.09	c  367s |      23 |  3486924 |  2621738 |     5423   1128 |        0 |        0
368.94/369.11	c  369s |      23 |  3502838 |  2633238 |     5423   1132 |        0 |        0
370.94/371.12	c  371s |      23 |  3520099 |  2646638 |     5423   1136 |        0 |        0
372.94/373.12	c  373s |      23 |  3539898 |  2661138 |     5423   1141 |        0 |        0
374.94/375.13	c  375s |      23 |  3558061 |  2674638 |     5423   1146 |        0 |        0
376.93/377.15	c  377s |      23 |  3576304 |  2688038 |     5423   1150 |        0 |        0
378.93/379.15	c  379s |      23 |  3593473 |  2700638 |     5423   1155 |        0 |        0
380.93/381.16	c  381s |      23 |  3605569 |  2710238 |     5423   1158 |        0 |        0
382.93/383.17	c  383s |      23 |  3620347 |  2721038 |     5423   1161 |        0 |        0
384.93/385.18	c  385s |      23 |  3635111 |  2732138 |     5423   1165 |        0 |        0
386.93/387.19	c  387s |      23 |  3652341 |  2744838 |     5423   1169 |        0 |        0
389.02/389.20	c  389s |      23 |  3667712 |  2756538 |     5423   1173 |        0 |        0
391.03/391.21	c  391s |      23 |  3677904 |  2765138 |     5423   1176 |        0 |        0
393.03/393.22	c  393s |      23 |  3692424 |  2776638 |     5423   1180 |        0 |        0
395.03/395.23	c  395s |      23 |  3707413 |  2788238 |     5423   1184 |        0 |        0
397.03/397.24	c  397s |      23 |  3723492 |  2799638 |     5423   1188 |        0 |        0
399.03/399.24	c  399s |      23 |  3739227 |  2811938 |     5423   1192 |        0 |        0
401.03/401.27	c  401s |      23 |  3751677 |  2822138 |     5423   1196 |        0 |        0
403.02/403.27	c  403s |      23 |  3765873 |  2833338 |     5423   1199 |        0 |        0
405.02/405.27	c  405s |      23 |  3775673 |  2841638 |     5423   1202 |        0 |        0
407.02/407.27	c  407s |      23 |  3789812 |  2852438 |     5423   1206 |        0 |        0
409.02/409.28	c  409s |      23 |  3807536 |  2865638 |     5423   1210 |        0 |        0
411.02/411.29	c  411s |      23 |  3826822 |  2879738 |     5423   1215 |        0 |        0
413.12/413.30	c  413s |      23 |  3840488 |  2890238 |     5423   1218 |        0 |        0
415.11/415.30	c  415s |      23 |  3852388 |  2899438 |     5423   1222 |        0 |        0
417.11/417.31	c  417s |      23 |  3866723 |  2910538 |     5423   1225 |        0 |        0
419.11/419.32	c  419s |      23 |  3879827 |  2920838 |     5423   1229 |        0 |        0
421.12/421.33	c  421s |      23 |  3895550 |  2932638 |     5423   1233 |        0 |        0
423.11/423.33	c  423s |      23 |  3915966 |  2947338 |     5423   1238 |        0 |        0
425.10/425.34	c  425s |      23 |  3937706 |  2962738 |     5423   1243 |        0 |        0
427.10/427.34	c  427s |      23 |  3953595 |  2974738 |     5423   1247 |        0 |        0
429.10/429.36	c  429s |      23 |  3970377 |  2987338 |     5423   1251 |        0 |        0
431.11/431.36	c  431s |      23 |  3986480 |  2999638 |     5423   1255 |        0 |        0
433.10/433.36	c  433s |      23 |  4005211 |  3013438 |     5423   1260 |        0 |        0
435.09/435.37	c  435s |      23 |  4022880 |  3025838 |     5423   1264 |        0 |        0
437.09/437.39	c  437s |      23 |  4040161 |  3038838 |     5423   1268 |        0 |        0
439.09/439.39	c  439s |      23 |  4057593 |  3052438 |     5423   1273 |        0 |        0
441.10/441.39	c  441s |      23 |  4075099 |  3065438 |     5423   1277 |        0 |        0
443.11/443.40	c  443s |      23 |  4092682 |  3078438 |     5423   1282 |        0 |        0
445.20/445.41	c  445s |      23 |  4111945 |  3092638 |     5423   1286 |        0 |        0
447.20/447.43	c  447s |      23 |  4127620 |  3104938 |     5423   1291 |        0 |        0
449.20/449.44	c  449s |      23 |  4142540 |  3116638 |     5423   1294 |        0 |        0
451.20/451.46	c  451s |      23 |  4157495 |  3127938 |     5423   1298 |        0 |        0
453.20/453.46	c  453s |      23 |  4174774 |  3140738 |     5423   1302 |        0 |        0
455.20/455.48	c  455s |      23 |  4194450 |  3154838 |     5423   1307 |        0 |        0
457.19/457.49	c  457s |      23 |  4213638 |  3168838 |     5423   1312 |        0 |        0
459.29/459.50	c  459s |      23 |  4232149 |  3183038 |     5423   1317 |        0 |        0
461.29/461.51	c  461s |      23 |  4246537 |  3194438 |     5423   1321 |        0 |        0
463.28/463.52	c  463s |      23 |  4264703 |  3208038 |     5423   1325 |        0 |        0
465.28/465.53	c  465s |      23 |  4285344 |  3223138 |     5423   1330 |        0 |        0
467.29/467.53	c  467s |      23 |  4296366 |  3232438 |     5423   1333 |        0 |        0
469.28/469.53	c  469s |      23 |  4310688 |  3243638 |     5423   1337 |        0 |        0
471.28/471.54	c  471s |      23 |  4329717 |  3257538 |     5423   1341 |        0 |        0
473.28/473.54	c  473s |      23 |  4347945 |  3271438 |     5423   1346 |        0 |        0
475.27/475.55	c  475s |      23 |  4364236 |  3284038 |     5423   1350 |        0 |        0
477.28/477.57	c  477s |      23 |  4374482 |  3293038 |     5423   1353 |        0 |        0
479.27/479.57	c  479s |      23 |  4390238 |  3304938 |     5423   1358 |        0 |        0
481.27/481.59	c  481s |      23 |  4408861 |  3318938 |     5423   1362 |        0 |        0
483.27/483.59	c  483s |      23 |  4426396 |  3332338 |     5423   1367 |        0 |        0
485.37/485.60	c  485s |      23 |  4439614 |  3343038 |     5423   1371 |        0 |        0
487.37/487.60	c  487s |      23 |  4457167 |  3356338 |     5966   1375 |        0 |        0
489.37/489.62	c  489s |      23 |  4470282 |  3366938 |     5966   1378 |        0 |        0
490.67/490.93	c  490s |      24 |  4483106 |  3376662 |     5966   1381 |        0 |        0
492.67/492.95	c  492s |      24 |  4500780 |  3389662 |     5966   1385 |        0 |        0
494.67/494.95	c  494s |      24 |  4514675 |  3400362 |     5966   1388 |        0 |        0
496.67/496.95	c  496s |      24 |  4529695 |  3411762 |     5966   1392 |        0 |        0
498.67/498.96	c  498s |      24 |  4548268 |  3425262 |     5966   1396 |        0 |        0
500.67/500.96	c  500s |      24 |  4561854 |  3435862 |     5966   1399 |        0 |        0
502.67/502.97	c  502s |      24 |  4573884 |  3445662 |     5966   1402 |        0 |        0
504.67/504.97	c  504s |      24 |  4586451 |  3455162 |     5966   1405 |        0 |        0
506.66/506.97	c  506s |      24 |  4600358 |  3465162 |     5966   1408 |        0 |        0
508.66/508.98	c  508s |      24 |  4613790 |  3475462 |     5966   1412 |        0 |        0
510.76/511.00	c  510s |      24 |  4630606 |  3487862 |     5966   1415 |        0 |        0
512.76/513.01	c  512s |      24 |  4641826 |  3496662 |     5966   1418 |        0 |        0
514.75/515.02	c  514s |      24 |  4658155 |  3508562 |     5966   1422 |        0 |        0
516.76/517.03	c  516s |      24 |  4671137 |  3519162 |     5966   1425 |        0 |        0
518.75/519.05	c  519s |      24 |  4686935 |  3530762 |     5966   1429 |        0 |        0
520.75/521.05	c  521s |      24 |  4703759 |  3542862 |     5966   1432 |        0 |        0
522.75/523.06	c  523s |      24 |  4723353 |  3557362 |     5966   1437 |        0 |        0
524.75/525.06	c  525s |      24 |  4743611 |  3572162 |     5966   1441 |        0 |        0
526.76/527.06	c  527s |      24 |  4765824 |  3588262 |     5966   1446 |        0 |        0
528.75/529.06	c  529s |      24 |  4788024 |  3604362 |     5966   1451 |        0 |        0
530.75/531.07	c  531s |      24 |  4808180 |  3619362 |     5966   1456 |        0 |        0
532.75/533.08	c  533s |      24 |  4825345 |  3632062 |     5966   1460 |        0 |        0
534.75/535.09	c  535s |      24 |  4844067 |  3645562 |     5966   1464 |        0 |        0
536.75/537.09	c  537s |      24 |  4863517 |  3659662 |     5966   1469 |        0 |        0
538.85/539.11	c  539s |      24 |  4883041 |  3674162 |     5966   1473 |        0 |        0
540.84/541.12	c  541s |      24 |  4903200 |  3689262 |     5966   1478 |        0 |        0
542.84/543.12	c  543s |      24 |  4920813 |  3702662 |     5966   1482 |        0 |        0
544.84/545.17	c  545s |      24 |  4935004 |  3713662 |     5966   1486 |        0 |        0
546.84/547.18	c  547s |      24 |  4955117 |  3728462 |     5966   1490 |        0 |        0
548.84/549.19	c  549s |      24 |  4972353 |  3741662 |     5966   1494 |        0 |        0
550.84/551.20	c  551s |      24 |  4990615 |  3755262 |     5966   1499 |        0 |        0
552.94/553.21	c  553s |      24 |  5007843 |  3768162 |     5966   1503 |        0 |        0
554.93/555.22	c  555s |      24 |  5028598 |  3783262 |     5966   1508 |        0 |        0
556.93/557.24	c  557s |      24 |  5044745 |  3796062 |     5966   1512 |        0 |        0
558.93/559.25	c  559s |      24 |  5060485 |  3807862 |     5966   1515 |        0 |        0
560.93/561.27	c  561s |      24 |  5081355 |  3823362 |     5966   1520 |        0 |        0
563.04/563.33	c  563s |      24 |  5099599 |  3837262 |     5966   1525 |        0 |        0
565.03/565.34	c  565s |      24 |  5117687 |  3851162 |     5966   1529 |        0 |        0
567.02/567.35	c  567s |      24 |  5134666 |  3864462 |     5966   1533 |        0 |        0
569.02/569.35	c  569s |      24 |  5149975 |  3876662 |     5966   1537 |        0 |        0
571.02/571.36	c  571s |      24 |  5168363 |  3890762 |     5966   1541 |        0 |        0
573.02/573.37	c  573s |      24 |  5182502 |  3901662 |     5966   1545 |        0 |        0
575.02/575.39	c  575s |      24 |  5199049 |  3914662 |     5966   1549 |        0 |        0
577.11/577.42	c  577s |      24 |  5214357 |  3926562 |     5966   1553 |        0 |        0
579.11/579.42	c  579s |      24 |  5232226 |  3940362 |     5966   1557 |        0 |        0
581.12/581.43	c  581s |      24 |  5247837 |  3953162 |     5966   1561 |        0 |        0
583.12/583.43	c  583s |      24 |  5262770 |  3964662 |     5966   1564 |        0 |        0
585.12/585.44	c  585s |      24 |  5276463 |  3975162 |     5966   1568 |        0 |        0
587.12/587.44	c  587s |      24 |  5294079 |  3988262 |     5966   1572 |        0 |        0
589.11/589.46	c  589s |      24 |  5307903 |  3999562 |     5966   1575 |        0 |        0
591.11/591.47	c  591s |      24 |  5326356 |  4013062 |     5966   1580 |        0 |        0
593.11/593.49	c  593s |      24 |  5346167 |  4028362 |     5966   1584 |        0 |        0
595.21/595.50	c  595s |      24 |  5365050 |  4042662 |     5966   1589 |        0 |        0
597.21/597.51	c  597s |      24 |  5385093 |  4057562 |     5966   1594 |        0 |        0
599.21/599.51	c  599s |      24 |  5403744 |  4071762 |     5966   1598 |        0 |        0
601.20/601.52	c  601s |      24 |  5421859 |  4085462 |     5966   1603 |        0 |        0
603.20/603.52	c  603s |      24 |  5437082 |  4097562 |     5966   1606 |        0 |        0
605.20/605.52	c  605s |      24 |  5448755 |  4106962 |     5966   1609 |        0 |        0
607.20/607.53	c  607s |      24 |  5461731 |  4117562 |     5966   1613 |        0 |        0
609.20/609.53	c  609s |      24 |  5474739 |  4127462 |     5966   1616 |        0 |        0
611.20/611.54	c  611s |      24 |  5491627 |  4140162 |     5966   1620 |        0 |        0
613.20/613.55	c  613s |      24 |  5504898 |  4150862 |     5966   1623 |        0 |        0
615.19/615.56	c  615s |      24 |  5516015 |  4160062 |     5966   1626 |        0 |        0
617.19/617.59	c  617s |      24 |  5524839 |  4167662 |     5966   1628 |        0 |        0
619.29/619.61	c  619s |      24 |  5537911 |  4177862 |     5966   1632 |        0 |        0
621.30/621.61	c  621s |      24 |  5548331 |  4186562 |     5966   1634 |        0 |        0
623.29/623.63	c  623s |      24 |  5560123 |  4196262 |     5966   1637 |        0 |        0
625.29/625.63	c  625s |      24 |  5571303 |  4205062 |     5966   1640 |        0 |        0
627.28/627.64	c  627s |      24 |  5582695 |  4214162 |     5966   1643 |        0 |        0
629.28/629.65	c  629s |      24 |  5597245 |  4225362 |     5966   1647 |        0 |        0
631.28/631.68	c  631s |      24 |  5606407 |  4233262 |     5966   1649 |        0 |        0
633.29/633.68	c  633s |      24 |  5621526 |  4244862 |     5966   1653 |        0 |        0
635.28/635.68	c  635s |      24 |  5639234 |  4258262 |     5966   1657 |        0 |        0
637.28/637.69	c  637s |      24 |  5658015 |  4272462 |     5966   1662 |        0 |        0
639.38/639.71	c  639s |      24 |  5679159 |  4288062 |     5966   1667 |        0 |        0
641.38/641.71	c  641s |      24 |  5698419 |  4302362 |     5966   1671 |        0 |        0
643.38/643.73	c  643s |      24 |  5714448 |  4315062 |     5966   1675 |        0 |        0
645.38/645.78	c  645s |      24 |  5732652 |  4328462 |     5966   1679 |        0 |        0
647.38/647.78	c  647s |      24 |  5750952 |  4342462 |     5966   1684 |        0 |        0
649.37/649.80	c  649s |      24 |  5762718 |  4352062 |     5966   1687 |        0 |        0
651.47/651.80	c  651s |      24 |  5775440 |  4362362 |     5966   1690 |        0 |        0
653.47/653.81	c  653s |      24 |  5787097 |  4372062 |     5966   1693 |        0 |        0
655.47/655.82	c  655s |      24 |  5801652 |  4383062 |     5966   1696 |        0 |        0
657.48/657.82	c  657s |      24 |  5818449 |  4395962 |     5966   1700 |        0 |        0
659.47/659.83	c  659s |      24 |  5834476 |  4408062 |     5966   1704 |        0 |        0
661.47/661.84	c  661s |      24 |  5853034 |  4422162 |     5966   1709 |        0 |        0
663.47/663.85	c  663s |      24 |  5872773 |  4436962 |     5966   1713 |        0 |        0
665.47/665.86	c  665s |      24 |  5892760 |  4451262 |     5966   1718 |        0 |        0
667.48/667.86	c  667s |      24 |  5910965 |  4464862 |     5966   1722 |        0 |        0
669.47/669.87	c  669s |      24 |  5928540 |  4478262 |     5966   1726 |        0 |        0
671.47/671.87	c  671s |      24 |  5942414 |  4489062 |     5966   1730 |        0 |        0
673.47/673.88	c  673s |      24 |  5955716 |  4499662 |     5966   1733 |        0 |        0
675.46/675.89	c  675s |      24 |  5967704 |  4509262 |     5966   1736 |        0 |        0
677.56/677.91	c  677s |      24 |  5980242 |  4519162 |     5966   1739 |        0 |        0
679.57/679.92	c  679s |      24 |  5991925 |  4528462 |     5966   1742 |        0 |        0
681.56/681.93	c  681s |      24 |  6009873 |  4541562 |     5966   1746 |        0 |        0
683.56/683.93	c  683s |      24 |  6026605 |  4554562 |     5966   1750 |        0 |        0
685.56/685.94	c  685s |      24 |  6043053 |  4567262 |     5966   1754 |        0 |        0
687.56/687.95	c  687s |      24 |  6058722 |  4578862 |     5966   1758 |        0 |        0
689.56/689.96	c  689s |      24 |  6073403 |  4590362 |     5966   1762 |        0 |        0
691.57/691.97	c  691s |      24 |  6085882 |  4600362 |     5966   1765 |        0 |        0
693.56/693.98	c  693s |      24 |  6098380 |  4609962 |     5966   1768 |        0 |        0
695.56/695.99	c  695s |      24 |  6111941 |  4620562 |     5966   1771 |        0 |        0
697.66/698.00	c  697s |      24 |  6124639 |  4630162 |     5966   1774 |        0 |        0
699.66/700.02	c  699s |      24 |  6139857 |  4641362 |     5966   1778 |        0 |        0
701.66/702.02	c  701s |      24 |  6153477 |  4652162 |     5966   1781 |        0 |        0
703.66/704.03	c  704s |      24 |  6169748 |  4664262 |     5966   1785 |        0 |        0
705.65/706.04	c  706s |      24 |  6185367 |  4676062 |     5966   1789 |        0 |        0
707.65/708.04	c  708s |      24 |  6199638 |  4686762 |     5966   1792 |        0 |        0
709.65/710.05	c  710s |      24 |  6216581 |  4699062 |     5966   1796 |        0 |        0
711.65/712.05	c  712s |      24 |  6233284 |  4711462 |     5966   1800 |        0 |        0
713.66/714.06	c  714s |      24 |  6249223 |  4723762 |     5966   1804 |        0 |        0
715.65/716.07	c  716s |      24 |  6265024 |  4735862 |     5966   1807 |        0 |        0
717.65/718.08	c  718s |      24 |  6281976 |  4748662 |     5966   1812 |        0 |        0
719.65/720.09	c  720s |      24 |  6297226 |  4760462 |     5966   1815 |        0 |        0
721.76/722.10	c  722s |      24 |  6313358 |  4772462 |     5966   1819 |        0 |        0
723.76/724.11	c  724s |      24 |  6328528 |  4784062 |     5966   1823 |        0 |        0
725.76/726.12	c  726s |      24 |  6345050 |  4796362 |     5966   1826 |        0 |        0
727.76/728.16	c  728s |      24 |  6362259 |  4809062 |     5966   1831 |        0 |        0
729.76/730.17	c  730s |      24 |  6378191 |  4821162 |     5966   1834 |        0 |        0
731.75/732.18	c  732s |      24 |  6391707 |  4831562 |     5966   1838 |        0 |        0
733.75/734.18	c  734s |      24 |  6408085 |  4843562 |     5966   1841 |        0 |        0
735.75/736.18	c  736s |      24 |  6421218 |  4853562 |     5966   1845 |        0 |        0
737.76/738.19	c  738s |      24 |  6435236 |  4864262 |     5966   1848 |        0 |        0
739.75/740.19	c  740s |      24 |  6453336 |  4877462 |     5966   1852 |        0 |        0
741.85/742.20	c  742s |      24 |  6472036 |  4891362 |     5966   1856 |        0 |        0
743.85/744.20	c  744s |      24 |  6485522 |  4901962 |     5966   1860 |        0 |        0
745.85/746.22	c  746s |      24 |  6502303 |  4914462 |     5966   1864 |        0 |        0
747.85/748.23	c  748s |      24 |  6517559 |  4926262 |     5966   1868 |        0 |        0
749.86/750.24	c  750s |      24 |  6531494 |  4936762 |     5966   1871 |        0 |        0
751.85/752.25	c  752s |      24 |  6544246 |  4946662 |     5966   1874 |        0 |        0
753.85/754.27	c  754s |      24 |  6561535 |  4959662 |     5966   1878 |        0 |        0
755.85/756.28	c  756s |      24 |  6574734 |  4970562 |     5966   1882 |        0 |        0
757.85/758.29	c  758s |      24 |  6590960 |  4982962 |     5966   1886 |        0 |        0
759.95/760.30	c  760s |      24 |  6606915 |  4995362 |     5966   1889 |        0 |        0
761.95/762.32	c  762s |      24 |  6618335 |  5004862 |     5966   1892 |        0 |        0
763.95/764.34	c  764s |      24 |  6629783 |  5013862 |     5966   1895 |        0 |        0
765.95/766.34	c  766s |      24 |  6643157 |  5024262 |     5966   1899 |        0 |        0
767.95/768.34	c  768s |      24 |  6661492 |  5037962 |     6563   1902 |        0 |        0
769.95/770.34	c  770s |      24 |  6672531 |  5047262 |     6563   1905 |        0 |        0
771.95/772.35	c  772s |      24 |  6682393 |  5055662 |     6563   1908 |        0 |        0
773.94/774.35	c  774s |      24 |  6693543 |  5064562 |     6563   1910 |        0 |        0
774.05/774.45	c  774s |      25 |  6694253 |  5065098 |     6563   1910 |        0 |        0
776.05/776.46	c  776s |      25 |  6713197 |  5078698 |     6563   1914 |        0 |        0
778.05/778.49	c  778s |      25 |  6728045 |  5090398 |     6563   1918 |        0 |        0
780.05/780.49	c  780s |      25 |  6741543 |  5101198 |     6563   1921 |        0 |        0
782.15/782.50	c  782s |      25 |  6753012 |  5110098 |     6563   1923 |        0 |        0
784.15/784.51	c  784s |      25 |  6763776 |  5118898 |     6563   1926 |        0 |        0
786.15/786.52	c  786s |      25 |  6778329 |  5130098 |     6563   1929 |        0 |        0
788.15/788.52	c  788s |      25 |  6790720 |  5139798 |     6563   1932 |        0 |        0
790.15/790.53	c  790s |      25 |  6807233 |  5152198 |     6563   1935 |        0 |        0
792.15/792.54	c  792s |      25 |  6822716 |  5163898 |     6563   1938 |        0 |        0
794.14/794.54	c  794s |      25 |  6833879 |  5172998 |     6563   1941 |        0 |        0
796.15/796.55	c  796s |      25 |  6844965 |  5181798 |     6563   1944 |        0 |        0
798.14/798.57	c  798s |      25 |  6858841 |  5192698 |     6563   1947 |        0 |        0
800.14/800.57	c  800s |      25 |  6873543 |  5203698 |     6563   1950 |        0 |        0
802.14/802.58	c  802s |      25 |  6889815 |  5215998 |     6563   1953 |        0 |        0
804.14/804.59	c  804s |      25 |  6901814 |  5225598 |     6563   1956 |        0 |        0
806.14/806.59	c  806s |      25 |  6920712 |  5239098 |     6563   1960 |        0 |        0
808.15/808.60	c  808s |      25 |  6932939 |  5249098 |     6563   1963 |        0 |        0
810.24/810.61	c  810s |      25 |  6948321 |  5260498 |     6563   1966 |        0 |        0
812.24/812.62	c  812s |      25 |  6962457 |  5271198 |     6563   1969 |        0 |        0
814.24/814.62	c  814s |      25 |  6976059 |  5281498 |     6563   1972 |        0 |        0
816.24/816.63	c  816s |      25 |  6990927 |  5292898 |     6563   1975 |        0 |        0
818.24/818.64	c  818s |      25 |  7007375 |  5304998 |     6563   1978 |        0 |        0
820.24/820.64	c  820s |      25 |  7023128 |  5316898 |     6563   1982 |        0 |        0
822.24/822.64	c  822s |      25 |  7040007 |  5328898 |     6563   1985 |        0 |        0
824.23/824.65	c  824s |      25 |  7054274 |  5339798 |     6563   1988 |        0 |        0
826.23/826.66	c  826s |      25 |  7073865 |  5353998 |     6563   1992 |        0 |        0
828.23/828.66	c  828s |      25 |  7088506 |  5365098 |     6563   1996 |        0 |        0
830.25/830.70	c  830s |      25 |  7107494 |  5378898 |     6563   1999 |        0 |        0
832.35/832.71	c  832s |      25 |  7126396 |  5392798 |     6563   2003 |        0 |        0
834.34/834.72	c  834s |      25 |  7141890 |  5404198 |     6563   2007 |        0 |        0
836.34/836.72	c  836s |      25 |  7158614 |  5416698 |     6563   2010 |        0 |        0
838.34/838.73	c  838s |      25 |  7176009 |  5429698 |     6563   2014 |        0 |        0
840.34/840.73	c  840s |      25 |  7190116 |  5440398 |     6563   2017 |        0 |        0
842.35/842.74	c  842s |      25 |  7206331 |  5451798 |     6563   2020 |        0 |        0
844.34/844.74	c  844s |      25 |  7225272 |  5465498 |     6563   2024 |        0 |        0
846.34/846.75	c  846s |      25 |  7244235 |  5479698 |     6563   2028 |        0 |        0
848.34/848.75	c  848s |      25 |  7253915 |  5487998 |     6563   2030 |        0 |        0
850.34/850.77	c  850s |      25 |  7267523 |  5498498 |     6563   2033 |        0 |        0
852.33/852.77	c  852s |      25 |  7286070 |  5512098 |     6563   2037 |        0 |        0
854.34/854.78	c  854s |      25 |  7304155 |  5525798 |     6563   2041 |        0 |        0
856.33/856.79	c  856s |      25 |  7321311 |  5538498 |     6563   2045 |        0 |        0
858.43/858.80	c  858s |      25 |  7342766 |  5553398 |     6563   2049 |        0 |        0
860.43/860.81	c  860s |      25 |  7361401 |  5567398 |     6563   2053 |        0 |        0
862.43/862.81	c  862s |      25 |  7381261 |  5581498 |     6563   2057 |        0 |        0
864.43/864.84	c  864s |      25 |  7393481 |  5590998 |     6563   2060 |        0 |        0
866.44/866.85	c  866s |      25 |  7410714 |  5603598 |     6563   2063 |        0 |        0
868.43/868.86	c  868s |      25 |  7425851 |  5614798 |     6563   2066 |        0 |        0
870.43/870.87	c  870s |      25 |  7443225 |  5627898 |     6563   2070 |        0 |        0
872.43/872.88	c  872s |      25 |  7459403 |  5639998 |     6563   2074 |        0 |        0
874.43/874.89	c  874s |      25 |  7476252 |  5652698 |     6563   2077 |        0 |        0
876.53/876.90	c  876s |      25 |  7491733 |  5664298 |     6563   2080 |        0 |        0
878.54/878.91	c  878s |      25 |  7504980 |  5674598 |     6563   2083 |        0 |        0
880.53/880.91	c  880s |      25 |  7519303 |  5685398 |     6563   2086 |        0 |        0
882.53/882.92	c  882s |      25 |  7538229 |  5699298 |     6563   2090 |        0 |        0
884.53/884.93	c  884s |      25 |  7550650 |  5709498 |     6563   2093 |        0 |        0
886.53/886.94	c  886s |      25 |  7566473 |  5721298 |     6563   2097 |        0 |        0
888.53/888.94	c  888s |      25 |  7579795 |  5731598 |     6563   2099 |        0 |        0
890.53/890.96	c  890s |      25 |  7595810 |  5743798 |     6563   2103 |        0 |        0
892.53/892.97	c  892s |      25 |  7614211 |  5757298 |     6563   2107 |        0 |        0
894.53/894.97	c  894s |      25 |  7632740 |  5770898 |     6563   2111 |        0 |        0
896.52/896.99	c  896s |      25 |  7650915 |  5784398 |     6563   2114 |        0 |        0
898.62/899.00	c  898s |      25 |  7665178 |  5795098 |     6563   2117 |        0 |        0
900.63/901.01	c  900s |      25 |  7682818 |  5808298 |     6563   2121 |        0 |        0
902.62/903.01	c  902s |      25 |  7697403 |  5819298 |     6563   2124 |        0 |        0
904.62/905.02	c  904s |      25 |  7708945 |  5828398 |     6563   2127 |        0 |        0
906.62/907.03	c  907s |      25 |  7724354 |  5840098 |     6563   2130 |        0 |        0
908.62/909.03	c  909s |      25 |  7741391 |  5852898 |     6563   2134 |        0 |        0
910.62/911.04	c  911s |      25 |  7757999 |  5865598 |     6563   2138 |        0 |        0
912.63/913.06	c  913s |      25 |  7770017 |  5875098 |     6563   2140 |        0 |        0
914.62/915.08	c  915s |      25 |  7783981 |  5885698 |     6563   2143 |        0 |        0
916.62/917.10	c  917s |      25 |  7798745 |  5896798 |     6563   2147 |        0 |        0
918.72/919.10	c  919s |      25 |  7812295 |  5907298 |     6563   2149 |        0 |        0
920.73/921.11	c  921s |      25 |  7828227 |  5918798 |     6563   2153 |        0 |        0
922.73/923.11	c  923s |      25 |  7842428 |  5929598 |     6563   2156 |        0 |        0
924.74/925.13	c  925s |      25 |  7852979 |  5938098 |     6563   2158 |        0 |        0
926.73/927.14	c  927s |      25 |  7863297 |  5946498 |     6563   2161 |        0 |        0
928.73/929.15	c  929s |      25 |  7877588 |  5957098 |     6563   2164 |        0 |        0
930.73/931.16	c  931s |      25 |  7892304 |  5968198 |     6563   2167 |        0 |        0
932.73/933.18	c  933s |      25 |  7908016 |  5980598 |     6563   2170 |        0 |        0
934.83/935.22	c  935s |      25 |  7924159 |  5993298 |     6563   2174 |        0 |        0
936.83/937.23	c  937s |      25 |  7941793 |  6006198 |     6563   2178 |        0 |        0
938.83/939.25	c  939s |      25 |  7958916 |  6019198 |     6563   2181 |        0 |        0
940.83/941.27	c  941s |      25 |  7968232 |  6026898 |     6563   2183 |        0 |        0
942.83/943.28	c  943s |      25 |  7983911 |  6038398 |     6563   2187 |        0 |        0
944.82/945.28	c  945s |      25 |  7998518 |  6049698 |     6563   2190 |        0 |        0
946.83/947.29	c  947s |      25 |  8014145 |  6061098 |     6563   2193 |        0 |        0
948.82/949.29	c  949s |      25 |  8024039 |  6069298 |     6563   2196 |        0 |        0
950.92/951.30	c  951s |      25 |  8037796 |  6079898 |     6563   2199 |        0 |        0
952.92/953.30	c  953s |      25 |  8053332 |  6091398 |     6563   2202 |        0 |        0
954.92/955.31	c  955s |      25 |  8068637 |  6103198 |     6563   2205 |        0 |        0
956.92/957.32	c  957s |      25 |  8084375 |  6115198 |     6563   2209 |        0 |        0
958.93/959.35	c  959s |      25 |  8096858 |  6125198 |     6563   2212 |        0 |        0
960.92/961.36	c  961s |      25 |  8110195 |  6135998 |     6563   2215 |        0 |        0
962.92/963.36	c  963s |      25 |  8124127 |  6146798 |     6563   2218 |        0 |        0
965.02/965.43	c  965s |      25 |  8137644 |  6157398 |     6563   2221 |        0 |        0
967.02/967.44	c  967s |      25 |  8151737 |  6168298 |     6563   2224 |        0 |        0
969.02/969.46	c  969s |      25 |  8163749 |  6177898 |     6563   2226 |        0 |        0
971.03/971.46	c  971s |      25 |  8173931 |  6186098 |     6563   2229 |        0 |        0
973.02/973.47	c  973s |      25 |  8187447 |  6196398 |     6563   2232 |        0 |        0
975.02/975.47	c  975s |      25 |  8201703 |  6207598 |     6563   2235 |        0 |        0
977.01/977.48	c  977s |      25 |  8216023 |  6218298 |     6563   2238 |        0 |        0
979.01/979.48	c  979s |      25 |  8227863 |  6227498 |     6563   2241 |        0 |        0
981.01/981.49	c  981s |      25 |  8244424 |  6239998 |     6563   2244 |        0 |        0
983.12/983.51	c  983s |      25 |  8255027 |  6248198 |     6563   2247 |        0 |        0
985.11/985.54	c  985s |      25 |  8268510 |  6258198 |     6563   2249 |        0 |        0
987.11/987.54	c  987s |      25 |  8280841 |  6267798 |     6563   2252 |        0 |        0
989.11/989.55	c  989s |      25 |  8295686 |  6279598 |     6563   2255 |        0 |        0
991.11/991.55	c  991s |      25 |  8311167 |  6291198 |     6563   2259 |        0 |        0
993.21/993.61	c  993s |      25 |  8327466 |  6303498 |     6563   2262 |        0 |        0
995.22/995.63	c  995s |      25 |  8340083 |  6313698 |     6563   2265 |        0 |        0
997.21/997.68	c  997s |      25 |  8349754 |  6321898 |     6563   2268 |        0 |        0
999.21/999.69	c  999s |      25 |  8362635 |  6331598 |     6563   2270 |        0 |        0
1001.21/1001.69	c 1001s |      25 |  8379021 |  6343698 |     6563   2274 |        0 |        0
1003.31/1003.70	c 1003s |      25 |  8397708 |  6357898 |     6563   2278 |        0 |        0
1005.31/1005.72	c 1005s |      25 |  8414924 |  6370598 |     6563   2281 |        0 |        0
1007.32/1007.73	c 1007s |      25 |  8430540 |  6382598 |     6563   2285 |        0 |        0
1009.31/1009.73	c 1009s |      25 |  8449484 |  6396598 |     6563   2289 |        0 |        0
1011.31/1011.74	c 1011s |      25 |  8461622 |  6406498 |     6563   2291 |        0 |        0
1013.31/1013.75	c 1013s |      25 |  8475368 |  6416998 |     6563   2294 |        0 |        0
1015.31/1015.75	c 1015s |      25 |  8488554 |  6426998 |     6563   2297 |        0 |        0
1017.31/1017.76	c 1017s |      25 |  8503093 |  6437498 |     6563   2300 |        0 |        0
1019.31/1019.76	c 1019s |      25 |  8517519 |  6448898 |     6563   2303 |        0 |        0
1021.31/1021.76	c 1021s |      25 |  8531603 |  6459698 |     6563   2306 |        0 |        0
1023.31/1023.77	c 1023s |      25 |  8544985 |  6469998 |     6563   2309 |        0 |        0
1025.31/1025.78	c 1025s |      25 |  8556067 |  6478998 |     6563   2312 |        0 |        0
1027.31/1027.78	c 1027s |      25 |  8568821 |  6488698 |     6563   2315 |        0 |        0
1029.32/1029.79	c 1029s |      25 |  8582435 |  6498698 |     6563   2318 |        0 |        0
1031.31/1031.79	c 1031s |      25 |  8596236 |  6509298 |     6563   2321 |        0 |        0
1033.31/1033.80	c 1033s |      25 |  8612047 |  6521498 |     6563   2324 |        0 |        0
1035.31/1035.80	c 1035s |      25 |  8626993 |  6533098 |     6563   2327 |        0 |        0
1037.41/1037.81	c 1037s |      25 |  8641958 |  6544898 |     6563   2331 |        0 |        0
1039.41/1039.81	c 1039s |      25 |  8656210 |  6556298 |     6563   2334 |        0 |        0
1041.41/1041.83	c 1041s |      25 |  8672937 |  6569198 |     6563   2338 |        0 |        0
1043.41/1043.83	c 1043s |      25 |  8690833 |  6582798 |     6563   2341 |        0 |        0
1045.40/1045.85	c 1045s |      25 |  8710057 |  6596998 |     6563   2346 |        0 |        0
1047.40/1047.86	c 1047s |      25 |  8729192 |  6611298 |     6563   2350 |        0 |        0
1049.40/1049.87	c 1049s |      25 |  8744860 |  6623298 |     6563   2353 |        0 |        0
1051.40/1051.87	c 1051s |      25 |  8763459 |  6636798 |     6563   2357 |        0 |        0
1053.41/1053.88	c 1053s |      25 |  8785019 |  6652598 |     6563   2361 |        0 |        0
1055.40/1055.89	c 1055s |      25 |  8803043 |  6666198 |     6563   2365 |        0 |        0
1057.50/1057.90	c 1057s |      25 |  8821553 |  6679598 |     6563   2369 |        0 |        0
1059.50/1059.90	c 1059s |      25 |  8841070 |  6694298 |     6563   2373 |        0 |        0
1061.50/1061.91	c 1061s |      25 |  8857362 |  6706398 |     6563   2377 |        0 |        0
1063.50/1063.91	c 1063s |      25 |  8874273 |  6718998 |     6563   2380 |        0 |        0
1065.51/1065.91	c 1065s |      25 |  8890701 |  6731398 |     6563   2384 |        0 |        0
1067.50/1067.92	c 1067s |      25 |  8904857 |  6742698 |     6563   2387 |        0 |        0
1069.50/1069.93	c 1069s |      25 |  8921294 |  6755398 |     6563   2391 |        0 |        0
1071.50/1071.94	c 1071s |      25 |  8938258 |  6768498 |     6563   2394 |        0 |        0
1073.50/1073.96	c 1073s |      25 |  8954599 |  6780598 |     6563   2398 |        0 |        0
1075.50/1075.96	c 1075s |      25 |  8971330 |  6792898 |     6563   2401 |        0 |        0
1077.50/1077.97	c 1077s |      25 |  8989707 |  6806598 |     6563   2405 |        0 |        0
1079.50/1079.99	c 1079s |      25 |  9005230 |  6818798 |     6563   2409 |        0 |        0
1081.60/1082.00	c 1081s |      25 |  9016763 |  6827298 |     6563   2411 |        0 |        0
1083.60/1084.00	c 1083s |      25 |  9029664 |  6837398 |     6563   2414 |        0 |        0
1085.60/1086.00	c 1085s |      25 |  9042926 |  6847998 |     6563   2417 |        0 |        0
1087.60/1088.01	c 1087s |      25 |  9059085 |  6860298 |     6563   2421 |        0 |        0
1089.59/1090.01	c 1089s |      25 |  9073872 |  6871498 |     6563   2424 |        0 |        0
1091.60/1092.01	c 1091s |      25 |  9088344 |  6882598 |     6563   2427 |        0 |        0
1093.60/1094.02	c 1093s |      25 |  9105299 |  6895198 |     6563   2430 |        0 |        0
1095.60/1096.02	c 1095s |      25 |  9121670 |  6907198 |     6563   2434 |        0 |        0
1097.60/1098.03	c 1097s |      25 |  9137767 |  6918998 |     6563   2437 |        0 |        0
1099.61/1100.04	c 1100s |      25 |  9153517 |  6930798 |     6563   2441 |        0 |        0
1101.60/1102.05	c 1102s |      25 |  9168178 |  6941698 |     6563   2444 |        0 |        0
1103.60/1104.06	c 1104s |      25 |  9184450 |  6953798 |     6563   2447 |        0 |        0
1105.60/1106.07	c 1106s |      25 |  9201722 |  6966598 |     6563   2451 |        0 |        0
1107.60/1108.07	c 1108s |      25 |  9213356 |  6975998 |     6563   2453 |        0 |        0
1109.60/1110.09	c 1110s |      25 |  9223954 |  6984298 |     6563   2456 |        0 |        0
1111.60/1112.09	c 1112s |      25 |  9233236 |  6991898 |     6563   2458 |        0 |        0
1113.59/1114.09	c 1114s |      25 |  9247872 |  7003298 |     6563   2461 |        0 |        0
1115.69/1116.10	c 1116s |      25 |  9262575 |  7014498 |     6563   2464 |        0 |        0
1117.69/1118.12	c 1118s |      25 |  9280267 |  7027298 |     6563   2468 |        0 |        0
1119.69/1120.13	c 1120s |      25 |  9299301 |  7041198 |     6563   2472 |        0 |        0
1121.70/1122.13	c 1122s |      25 |  9315097 |  7053198 |     6563   2475 |        0 |        0
1123.69/1124.15	c 1124s |      25 |  9327453 |  7062598 |     6563   2478 |        0 |        0
1125.69/1126.15	c 1126s |      25 |  9341115 |  7073098 |     6563   2481 |        0 |        0
1127.69/1128.16	c 1128s |      25 |  9353668 |  7082698 |     6563   2484 |        0 |        0
1129.69/1130.16	c 1130s |      25 |  9366214 |  7092598 |     6563   2487 |        0 |        0
1131.69/1132.16	c 1132s |      25 |  9381854 |  7104398 |     6563   2490 |        0 |        0
1133.70/1134.17	c 1134s |      25 |  9396166 |  7115598 |     6563   2493 |        0 |        0
1135.69/1136.18	c 1136s |      25 |  9416544 |  7130198 |     6563   2497 |        0 |        0
1137.79/1138.20	c 1138s |      25 |  9434243 |  7143498 |     6563   2501 |        0 |        0
1139.79/1140.21	c 1140s |      25 |  9453778 |  7157798 |     6563   2505 |        0 |        0
1141.79/1142.21	c 1142s |      25 |  9471888 |  7170798 |     6563   2509 |        0 |        0
1143.79/1144.22	c 1144s |      25 |  9489207 |  7183998 |     6563   2513 |        0 |        0
1145.80/1146.23	c 1146s |      25 |  9499349 |  7192198 |     6563   2515 |        0 |        0
1147.79/1148.24	c 1148s |      25 |  9516512 |  7205598 |     6563   2519 |        0 |        0
1149.79/1150.24	c 1150s |      25 |  9531805 |  7217298 |     6563   2522 |        0 |        0
1151.79/1152.25	c 1152s |      25 |  9546565 |  7228598 |     6563   2525 |        0 |        0
1153.79/1154.26	c 1154s |      25 |  9560973 |  7239798 |     6563   2528 |        0 |        0
1155.79/1156.27	c 1156s |      25 |  9569734 |  7247098 |     6563   2531 |        0 |        0
1157.79/1158.28	c 1158s |      25 |  9582361 |  7257298 |     6563   2533 |        0 |        0
1159.89/1160.31	c 1160s |      25 |  9592613 |  7265998 |     6563   2536 |        0 |        0
1161.88/1162.32	c 1162s |      25 |  9604398 |  7275398 |     6563   2539 |        0 |        0
1163.88/1164.33	c 1164s |      25 |  9616386 |  7284998 |     6563   2541 |        0 |        0
1165.88/1166.34	c 1166s |      25 |  9626367 |  7293098 |     6563   2544 |        0 |        0
1167.89/1168.35	c 1168s |      25 |  9638842 |  7303198 |     6563   2547 |        0 |        0
1169.88/1170.36	c 1170s |      25 |  9652004 |  7313198 |     6563   2549 |        0 |        0
1171.89/1172.37	c 1172s |      25 |  9668091 |  7325298 |     6563   2553 |        0 |        0
1173.89/1174.37	c 1174s |      25 |  9683409 |  7336998 |     6563   2556 |        0 |        0
1175.89/1176.37	c 1176s |      25 |  9699925 |  7349498 |     6563   2560 |        0 |        0
1177.89/1178.38	c 1178s |      25 |  9722494 |  7365798 |     6563   2564 |        0 |        0
1179.90/1180.39	c 1180s |      25 |  9736140 |  7376498 |     6563   2567 |        0 |        0
1181.99/1182.40	c 1182s |      25 |  9752573 |  7388698 |     6563   2571 |        0 |        0
1183.99/1184.41	c 1184s |      25 |  9763877 |  7397498 |     6563   2573 |        0 |        0
1185.98/1186.42	c 1186s |      25 |  9776575 |  7407498 |     6563   2576 |        0 |        0
1187.98/1188.42	c 1188s |      25 |  9794648 |  7420398 |     6563   2580 |        0 |        0
1189.98/1190.44	c 1190s |      25 |  9813043 |  7433698 |     6563   2584 |        0 |        0
1191.99/1192.44	c 1192s |      25 |  9832982 |  7448298 |     6563   2588 |        0 |        0
1193.98/1194.45	c 1194s |      25 |  9848222 |  7459598 |     6563   2591 |        0 |        0
1195.98/1196.46	c 1196s |      25 |  9866960 |  7473498 |     6563   2595 |        0 |        0
1197.98/1198.47	c 1198s |      25 |  9888638 |  7489298 |     6563   2599 |        0 |        0
1199.98/1200.47	c 1200s |      25 |  9906394 |  7502598 |     6563   2603 |        0 |        0
1201.99/1202.48	c 1202s |      25 |  9922161 |  7514398 |     6563   2607 |        0 |        0
1203.98/1204.49	c 1204s |      25 |  9935584 |  7524998 |     6563   2609 |        0 |        0
1206.08/1206.50	c 1206s |      25 |  9945771 |  7533298 |     6563   2612 |        0 |        0
1208.08/1208.51	c 1208s |      25 |  9956322 |  7541898 |     6563   2614 |        0 |        0
1210.08/1210.53	c 1210s |      25 |  9966908 |  7550798 |     7220   2617 |        0 |        0
1212.08/1212.55	c 1212s |      25 |  9979911 |  7561398 |     7220   2619 |        0 |        0
1214.09/1214.55	c 1214s |      25 |  9995652 |  7572898 |     7220   2622 |        0 |        0
1216.08/1216.56	c 1216s |      25 | 10009311 |  7583698 |     7220   2625 |        0 |        0
1218.08/1218.56	c 1218s |      25 | 10025183 |  7595398 |     7220   2628 |        0 |        0
1218.58/1219.07	c 1219s |      26 | 10028193 |  7597752 |     7220   2629 |        0 |        0
1220.58/1221.09	c 1221s |      26 | 10048615 |  7612252 |     7220   2632 |        0 |        0
1222.68/1223.10	c 1223s |      26 | 10060008 |  7620952 |     7220   2635 |        0 |        0
1224.68/1225.10	c 1225s |      26 | 10070899 |  7629252 |     7220   2637 |        0 |        0
1226.67/1227.11	c 1227s |      26 | 10083571 |  7638852 |     7220   2639 |        0 |        0
1228.67/1229.13	c 1229s |      26 | 10096955 |  7649252 |     7220   2642 |        0 |        0
1230.67/1231.14	c 1231s |      26 | 10111194 |  7660052 |     7220   2645 |        0 |        0
1232.68/1233.16	c 1233s |      26 | 10124664 |  7670352 |     7220   2647 |        0 |        0
1234.67/1235.16	c 1235s |      26 | 10141280 |  7682652 |     7220   2651 |        0 |        0
1236.68/1237.17	c 1237s |      26 | 10157593 |  7694952 |     7220   2654 |        0 |        0
1238.78/1239.26	c 1239s |      26 | 10172968 |  7706352 |     7220   2657 |        0 |        0
1240.78/1241.27	c 1241s |      26 | 10188936 |  7718352 |     7220   2660 |        0 |        0
1242.78/1243.28	c 1243s |      26 | 10205506 |  7730652 |     7220   2663 |        0 |        0
1244.78/1245.28	c 1245s |      26 | 10223738 |  7743652 |     7220   2667 |        0 |        0
1246.78/1247.28	c 1247s |      26 | 10238983 |  7755352 |     7220   2670 |        0 |        0
1248.88/1249.32	c 1249s |      26 | 10258616 |  7769852 |     7220   2674 |        0 |        0
1250.88/1251.34	c 1251s |      26 | 10276684 |  7783652 |     7220   2677 |        0 |        0
1252.88/1253.36	c 1253s |      26 | 10292100 |  7795552 |     7220   2680 |        0 |        0
1254.88/1255.36	c 1255s |      26 | 10306102 |  7806252 |     7220   2683 |        0 |        0
1256.88/1257.38	c 1257s |      26 | 10321824 |  7817852 |     7220   2686 |        0 |        0
1258.87/1259.39	c 1259s |      26 | 10335862 |  7828752 |     7220   2689 |        0 |        0
1260.97/1261.40	c 1261s |      26 | 10350197 |  7839552 |     7220   2692 |        0 |        0
1262.97/1263.40	c 1263s |      26 | 10365158 |  7850652 |     7220   2695 |        0 |        0
1265.07/1265.52	c 1265s |      26 | 10377933 |  7860352 |     7220   2697 |        0 |        0
1267.07/1267.54	c 1267s |      26 | 10392537 |  7871252 |     7220   2700 |        0 |        0
1269.08/1269.54	c 1269s |      26 | 10408936 |  7883552 |     7220   2703 |        0 |        0
1271.07/1271.55	c 1271s |      26 | 10422517 |  7894152 |     7220   2706 |        0 |        0
1273.07/1273.57	c 1273s |      26 | 10434865 |  7904252 |     7220   2708 |        0 |        0
1275.17/1275.63	c 1275s |      26 | 10444798 |  7912352 |     7220   2711 |        0 |        0
1277.17/1277.65	c 1277s |      26 | 10459686 |  7923652 |     7220   2713 |        0 |        0
1279.17/1279.66	c 1279s |      26 | 10474589 |  7935152 |     7220   2716 |        0 |        0
1281.17/1281.69	c 1281s |      26 | 10483882 |  7943152 |     7220   2719 |        0 |        0
1283.17/1283.69	c 1283s |      26 | 10494000 |  7951052 |     7220   2721 |        0 |        0
1285.27/1285.71	c 1285s |      26 | 10506606 |  7961052 |     7220   2723 |        0 |        0
1287.27/1287.72	c 1287s |      26 | 10520639 |  7971652 |     7220   2726 |        0 |        0
1289.26/1289.72	c 1289s |      26 | 10530100 |  7979752 |     7220   2728 |        0 |        0
1291.26/1291.75	c 1291s |      26 | 10542186 |  7989352 |     7220   2731 |        0 |        0
1293.27/1293.76	c 1293s |      26 | 10554817 |  7999252 |     7220   2733 |        0 |        0
1295.27/1295.76	c 1295s |      26 | 10570037 |  8011152 |     7220   2736 |        0 |        0
1297.27/1297.77	c 1297s |      26 | 10586596 |  8024052 |     7220   2740 |        0 |        0
1299.27/1299.78	c 1299s |      26 | 10602377 |  8036352 |     7220   2743 |        0 |        0
1301.27/1301.79	c 1301s |      26 | 10613788 |  8045752 |     7220   2745 |        0 |        0
1303.37/1303.81	c 1303s |      26 | 10627364 |  8056352 |     7220   2748 |        0 |        0
1305.38/1305.82	c 1305s |      26 | 10636854 |  8064152 |     7220   2750 |        0 |        0
1307.37/1307.83	c 1307s |      26 | 10651513 |  8074952 |     7220   2753 |        0 |        0
1309.37/1309.83	c 1309s |      26 | 10664910 |  8085552 |     7220   2756 |        0 |        0
1311.37/1311.84	c 1311s |      26 | 10682492 |  8098452 |     7220   2759 |        0 |        0
1313.37/1313.85	c 1313s |      26 | 10697973 |  8110152 |     7220   2762 |        0 |        0
1315.37/1315.86	c 1315s |      26 | 10711976 |  8121352 |     7220   2765 |        0 |        0
1317.37/1317.86	c 1317s |      26 | 10727396 |  8132752 |     7220   2768 |        0 |        0
1319.36/1319.89	c 1319s |      26 | 10741397 |  8143852 |     7220   2771 |        0 |        0
1321.46/1321.90	c 1321s |      26 | 10757820 |  8155552 |     7220   2774 |        0 |        0
1323.46/1323.90	c 1323s |      26 | 10774252 |  8167752 |     7220   2777 |        0 |        0
1325.46/1325.91	c 1325s |      26 | 10788693 |  8179452 |     7220   2780 |        0 |        0
1327.46/1327.94	c 1327s |      26 | 10804473 |  8191852 |     7220   2784 |        0 |        0
1329.47/1329.97	c 1329s |      26 | 10818790 |  8202952 |     7220   2787 |        0 |        0
1331.46/1331.98	c 1331s |      26 | 10833450 |  8214252 |     7220   2789 |        0 |        0
1333.46/1333.99	c 1333s |      26 | 10850171 |  8227152 |     7220   2793 |        0 |        0
1335.46/1335.99	c 1335s |      26 | 10861808 |  8236652 |     7220   2795 |        0 |        0
1337.56/1338.00	c 1337s |      26 | 10879151 |  8249952 |     7220   2799 |        0 |        0
1339.56/1340.04	c 1340s |      26 | 10891679 |  8260052 |     7220   2802 |        0 |        0
1341.57/1342.05	c 1342s |      26 | 10907002 |  8271952 |     7220   2805 |        0 |        0
1343.56/1344.05	c 1344s |      26 | 10924377 |  8284252 |     7220   2808 |        0 |        0
1345.56/1346.06	c 1346s |      26 | 10938388 |  8295052 |     7220   2811 |        0 |        0
1347.56/1348.08	c 1348s |      26 | 10951533 |  8304652 |     7220   2813 |        0 |        0
1349.65/1350.10	c 1350s |      26 | 10963463 |  8313652 |     7220   2816 |        0 |        0
1351.65/1352.11	c 1352s |      26 | 10975587 |  8323152 |     7220   2818 |        0 |        0
1353.66/1354.11	c 1354s |      26 | 10986929 |  8332152 |     7220   2820 |        0 |        0
1355.65/1356.14	c 1356s |      26 | 10998977 |  8341652 |     7220   2823 |        0 |        0
1357.66/1358.15	c 1358s |      26 | 11010135 |  8350452 |     7220   2825 |        0 |        0
1359.66/1360.15	c 1360s |      26 | 11021718 |  8359652 |     7220   2828 |        0 |        0
1361.66/1362.17	c 1362s |      26 | 11032455 |  8368052 |     7220   2830 |        0 |        0
1363.76/1364.21	c 1364s |      26 | 11046188 |  8378452 |     7220   2832 |        0 |        0
1365.77/1366.21	c 1366s |      26 | 11056129 |  8386652 |     7220   2834 |        0 |        0
1367.76/1368.25	c 1368s |      26 | 11066197 |  8394552 |     7220   2837 |        0 |        0
1369.76/1370.26	c 1370s |      26 | 11079883 |  8405052 |     7220   2839 |        0 |        0
1371.86/1372.31	c 1372s |      26 | 11091249 |  8413952 |     7220   2842 |        0 |        0
1373.86/1374.31	c 1374s |      26 | 11101798 |  8422152 |     7220   2844 |        0 |        0
1375.86/1376.32	c 1376s |      26 | 11112079 |  8430652 |     7220   2846 |        0 |        0
1377.86/1378.33	c 1378s |      26 | 11126883 |  8441552 |     7220   2849 |        0 |        0
1379.86/1380.33	c 1380s |      26 | 11145092 |  8455352 |     7220   2852 |        0 |        0
1381.86/1382.34	c 1382s |      26 | 11157062 |  8464952 |     7220   2855 |        0 |        0
1383.85/1384.36	c 1384s |      26 | 11169390 |  8474752 |     7220   2857 |        0 |        0
1385.85/1386.37	c 1386s |      26 | 11183279 |  8485652 |     7220   2860 |        0 |        0
1387.86/1388.38	c 1388s |      26 | 11197287 |  8496752 |     7220   2863 |        0 |        0
1389.85/1390.38	c 1390s |      26 | 11213632 |  8508952 |     7220   2866 |        0 |        0
1391.95/1392.41	c 1392s |      26 | 11229359 |  8521052 |     7220   2869 |        0 |        0
1393.95/1394.42	c 1394s |      26 | 11243187 |  8531652 |     7220   2872 |        0 |        0
1395.95/1396.42	c 1396s |      26 | 11260109 |  8544352 |     7220   2875 |        0 |        0
1397.95/1398.44	c 1398s |      26 | 11269757 |  8552352 |     7220   2878 |        0 |        0
1399.96/1400.45	c 1400s |      26 | 11279263 |  8560352 |     7220   2880 |        0 |        0
1401.95/1402.46	c 1402s |      26 | 11292404 |  8570352 |     7220   2882 |        0 |        0
1403.95/1404.46	c 1404s |      26 | 11305215 |  8580352 |     7220   2885 |        0 |        0
1405.95/1406.49	c 1406s |      26 | 11318359 |  8590652 |     7220   2888 |        0 |        0
1408.05/1408.50	c 1408s |      26 | 11331677 |  8600752 |     7220   2890 |        0 |        0
1410.05/1410.57	c 1410s |      26 | 11344432 |  8610452 |     7220   2893 |        0 |        0
1412.05/1412.59	c 1412s |      26 | 11360987 |  8622952 |     7220   2896 |        0 |        0
1414.15/1414.60	c 1414s |      26 | 11375512 |  8633852 |     7220   2899 |        0 |        0
1416.15/1416.62	c 1416s |      26 | 11392256 |  8646252 |     7220   2902 |        0 |        0
1418.14/1418.63	c 1418s |      26 | 11402660 |  8654552 |     7220   2904 |        0 |        0
1420.15/1420.64	c 1420s |      26 | 11416593 |  8665452 |     7220   2907 |        0 |        0
1422.15/1422.65	c 1422s |      26 | 11424505 |  8672052 |     7220   2909 |        0 |        0
1424.16/1424.66	c 1424s |      26 | 11435003 |  8680852 |     7220   2911 |        0 |        0
1426.15/1426.69	c 1426s |      26 | 11444810 |  8688752 |     7220   2913 |        0 |        0
1428.25/1428.71	c 1428s |      26 | 11454685 |  8696652 |     7220   2915 |        0 |        0
1430.25/1430.71	c 1430s |      26 | 11466484 |  8706152 |     7220   2918 |        0 |        0
1432.25/1432.72	c 1432s |      26 | 11478165 |  8715752 |     7220   2920 |        0 |        0
1434.25/1434.74	c 1434s |      26 | 11490814 |  8725252 |     7220   2923 |        0 |        0
1436.26/1436.75	c 1436s |      26 | 11503130 |  8735052 |     7220   2925 |        0 |        0
1438.25/1438.76	c 1438s |      26 | 11517029 |  8745552 |     7220   2928 |        0 |        0
1440.25/1440.77	c 1440s |      26 | 11528693 |  8754752 |     7220   2930 |        0 |        0
1442.25/1442.79	c 1442s |      26 | 11541002 |  8764552 |     7220   2933 |        0 |        0
1444.35/1444.80	c 1444s |      26 | 11556585 |  8776052 |     7220   2936 |        0 |        0
1446.35/1446.82	c 1446s |      26 | 11573398 |  8789052 |     7220   2939 |        0 |        0
1448.35/1448.83	c 1448s |      26 | 11587952 |  8800052 |     7220   2942 |        0 |        0
1450.35/1450.84	c 1450s |      26 | 11601056 |  8810552 |     7220   2945 |        0 |        0
1452.35/1452.86	c 1452s |      26 | 11614429 |  8821052 |     7220   2947 |        0 |        0
1454.35/1454.87	c 1454s |      26 | 11626886 |  8831052 |     7220   2950 |        0 |        0
1456.35/1456.87	c 1456s |      26 | 11638242 |  8840152 |     7220   2952 |        0 |        0
1458.35/1458.89	c 1458s |      26 | 11650687 |  8850252 |     7220   2955 |        0 |        0
1460.35/1460.90	c 1460s |      26 | 11663344 |  8859852 |     7220   2958 |        0 |        0
1462.45/1462.91	c 1462s |      26 | 11675133 |  8869352 |     7220   2960 |        0 |        0
1464.45/1464.92	c 1464s |      26 | 11688877 |  8880552 |     7220   2963 |        0 |        0
1466.44/1466.95	c 1466s |      26 | 11697179 |  8887352 |     7220   2965 |        0 |        0
1468.44/1468.97	c 1468s |      26 | 11713512 |  8899652 |     7220   2968 |        0 |        0
1470.54/1471.00	c 1470s |      26 | 11728231 |  8911452 |     7220   2971 |        0 |        0
1472.45/1473.00	c 1472s |      26 | 11741809 |  8922152 |     7220   2974 |        0 |        0
1474.54/1475.00	c 1474s |      26 | 11750961 |  8929852 |     7220   2976 |        0 |        0
1476.54/1477.01	c 1476s |      26 | 11767431 |  8942452 |     7220   2979 |        0 |        0
1478.54/1479.02	c 1478s |      26 | 11784490 |  8955052 |     7220   2982 |        0 |        0
1480.54/1481.03	c 1480s |      26 | 11798030 |  8965652 |     7220   2985 |        0 |        0
1482.54/1483.03	c 1483s |      26 | 11813653 |  8977752 |     7220   2988 |        0 |        0
1484.55/1485.06	c 1485s |      26 | 11828327 |  8989352 |     7220   2991 |        0 |        0
1486.54/1487.06	c 1487s |      26 | 11843989 |  9001352 |     7220   2994 |        0 |        0
1488.54/1489.07	c 1489s |      26 | 11853889 |  9009352 |     7220   2997 |        0 |        0
1490.54/1491.07	c 1491s |      26 | 11867810 |  9020352 |     7220   2999 |        0 |        0
1492.54/1493.08	c 1493s |      26 | 11883494 |  9032052 |     7220   3002 |        0 |        0
1494.54/1495.08	c 1495s |      26 | 11896202 |  9042252 |     7220   3005 |        0 |        0
1496.53/1497.09	c 1497s |      26 | 11913644 |  9055152 |     7220   3008 |        0 |        0
1498.63/1499.11	c 1499s |      26 | 11929156 |  9067152 |     7220   3012 |        0 |        0
1500.63/1501.13	c 1501s |      26 | 11944074 |  9078352 |     7220   3014 |        0 |        0
1502.63/1503.14	c 1503s |      26 | 11959244 |  9090152 |     7220   3017 |        0 |        0
1504.63/1505.17	c 1505s |      26 | 11972945 |  9100652 |     7220   3020 |        0 |        0
1506.64/1507.17	c 1507s |      26 | 11989207 |  9113052 |     7220   3023 |        0 |        0
1508.63/1509.17	c 1509s |      26 | 11999619 |  9121452 |     7220   3026 |        0 |        0
1510.63/1511.19	c 1511s |      26 | 12012547 |  9131852 |     7220   3028 |        0 |        0
1512.73/1513.20	c 1513s |      26 | 12025974 |  9141652 |     7220   3031 |        0 |        0
1514.73/1515.20	c 1515s |      26 | 12042798 |  9154252 |     7220   3034 |        0 |        0
1516.73/1517.21	c 1517s |      26 | 12055972 |  9164552 |     7220   3037 |        0 |        0
1518.74/1519.23	c 1519s |      26 | 12067822 |  9174352 |     7220   3039 |        0 |        0
1520.73/1521.24	c 1521s |      26 | 12082960 |  9185552 |     7220   3042 |        0 |        0
1522.73/1523.25	c 1523s |      26 | 12098676 |  9197852 |     7220   3045 |        0 |        0
1524.73/1525.27	c 1525s |      26 | 12113109 |  9209052 |     7220   3048 |        0 |        0
1526.73/1527.28	c 1527s |      26 | 12120722 |  9215552 |     7220   3050 |        0 |        0
1528.73/1529.28	c 1529s |      26 | 12133933 |  9225752 |     7220   3053 |        0 |        0
1530.84/1531.30	c 1531s |      26 | 12145032 |  9234752 |     7220   3055 |        0 |        0
1532.84/1533.36	c 1533s |      26 | 12158540 |  9245052 |     7220   3058 |        0 |        0
1534.84/1535.37	c 1535s |      26 | 12175637 |  9257752 |     7220   3061 |        0 |        0
1536.84/1537.38	c 1537s |      26 | 12189761 |  9268852 |     7220   3064 |        0 |        0
1538.94/1539.40	c 1539s |      26 | 12204613 |  9280652 |     7220   3067 |        0 |        0
1540.93/1541.43	c 1541s |      26 | 12212714 |  9287252 |     7220   3069 |        0 |        0
1542.94/1543.45	c 1543s |      26 | 12226542 |  9297952 |     7220   3071 |        0 |        0
1544.93/1545.45	c 1545s |      26 | 12240139 |  9308552 |     7220   3074 |        0 |        0
1546.93/1547.47	c 1547s |      26 | 12251504 |  9317552 |     7220   3077 |        0 |        0
1548.93/1549.48	c 1549s |      26 | 12263359 |  9327452 |     7220   3079 |        0 |        0
1550.93/1551.49	c 1551s |      26 | 12275635 |  9336852 |     7220   3082 |        0 |        0
1553.03/1553.52	c 1553s |      26 | 12285851 |  9345452 |     7220   3084 |        0 |        0
1555.04/1555.52	c 1555s |      26 | 12296422 |  9353952 |     7220   3086 |        0 |        0
1557.03/1557.53	c 1557s |      26 | 12308628 |  9363652 |     7220   3088 |        0 |        0
1559.03/1559.54	c 1559s |      26 | 12320162 |  9372852 |     7220   3091 |        0 |        0
1561.03/1561.55	c 1561s |      26 | 12335193 |  9384152 |     7220   3094 |        0 |        0
1563.03/1563.56	c 1563s |      26 | 12349798 |  9395552 |     7220   3097 |        0 |        0
1565.03/1565.57	c 1565s |      26 | 12362112 |  9405152 |     7220   3099 |        0 |        0
1567.14/1567.63	c 1567s |      26 | 12373222 |  9413952 |     7220   3102 |        0 |        0
1569.13/1569.67	c 1569s |      26 | 12383450 |  9422152 |     7220   3104 |        0 |        0
1571.13/1571.68	c 1571s |      26 | 12393241 |  9430452 |     7220   3106 |        0 |        0
1573.13/1573.68	c 1573s |      26 | 12401734 |  9437652 |     7220   3108 |        0 |        0
1575.23/1575.73	c 1575s |      26 | 12414380 |  9448052 |     7220   3110 |        0 |        0
1577.23/1577.74	c 1577s |      26 | 12427668 |  9458652 |     7220   3113 |        0 |        0
1579.23/1579.76	c 1579s |      26 | 12434299 |  9464752 |     7220   3115 |        0 |        0
1581.23/1581.77	c 1581s |      26 | 12446514 |  9474352 |     7220   3117 |        0 |        0
1583.23/1583.78	c 1583s |      26 | 12457933 |  9483552 |     7220   3120 |        0 |        0
1585.23/1585.78	c 1585s |      26 | 12470398 |  9493152 |     7220   3122 |        0 |        0
1587.33/1587.80	c 1587s |      26 | 12486842 |  9505552 |     7220   3125 |        0 |        0
1589.33/1589.80	c 1589s |      26 | 12505088 |  9519052 |     7220   3129 |        0 |        0
1591.33/1591.82	c 1591s |      26 | 12522814 |  9532152 |     7220   3132 |        0 |        0
1593.32/1593.83	c 1593s |      26 | 12535903 |  9542652 |     7220   3135 |        0 |        0
1595.32/1595.84	c 1595s |      26 | 12550362 |  9554052 |     7220   3138 |        0 |        0
1597.32/1597.85	c 1597s |      26 | 12560881 |  9562552 |     7220   3140 |        0 |        0
1599.32/1599.85	c 1599s |      26 | 12571825 |  9570952 |     7220   3142 |        0 |        0
1601.32/1601.86	c 1601s |      26 | 12585095 |  9581252 |     7220   3145 |        0 |        0
1603.33/1603.86	c 1603s |      26 | 12599000 |  9592352 |     7220   3148 |        0 |        0
1605.32/1605.87	c 1605s |      26 | 12610109 |  9601252 |     7220   3150 |        0 |        0
1607.32/1607.87	c 1607s |      26 | 12624164 |  9611652 |     7220   3153 |        0 |        0
1609.32/1609.88	c 1609s |      26 | 12639187 |  9623452 |     7220   3156 |        0 |        0
1611.32/1611.88	c 1611s |      26 | 12653189 |  9634452 |     7220   3159 |        0 |        0
1613.42/1613.90	c 1613s |      26 | 12666457 |  9644952 |     7220   3162 |        0 |        0
1615.43/1615.93	c 1615s |      26 | 12677291 |  9653952 |     7220   3164 |        0 |        0
1617.42/1617.94	c 1617s |      26 | 12689784 |  9663652 |     7220   3166 |        0 |        0
1619.52/1620.06	c 1620s |      26 | 12700962 |  9672252 |     7220   3169 |        0 |        0
1621.52/1622.07	c 1622s |      26 | 12712826 |  9681452 |     7220   3171 |        0 |        0
1623.52/1624.09	c 1624s |      26 | 12728116 |  9693152 |     7220   3174 |        0 |        0
1625.62/1626.11	c 1626s |      26 | 12740648 |  9703252 |     7220   3177 |        0 |        0
1627.62/1628.11	c 1628s |      26 | 12753860 |  9713552 |     7220   3179 |        0 |        0
1629.61/1630.12	c 1630s |      26 | 12768883 |  9725352 |     7220   3182 |        0 |        0
1631.62/1632.12	c 1632s |      26 | 12778170 |  9733152 |     7220   3184 |        0 |        0
1633.72/1634.26	c 1634s |      26 | 12788391 |  9741352 |     7220   3187 |        0 |        0
1635.72/1636.28	c 1636s |      26 | 12801511 |  9751252 |     7220   3189 |        0 |        0
1637.72/1638.28	c 1638s |      26 | 12816390 |  9762352 |     7220   3192 |        0 |        0
1639.73/1640.29	c 1640s |      26 | 12830958 |  9773952 |     7220   3195 |        0 |        0
1641.72/1642.30	c 1642s |      26 | 12842983 |  9783852 |     7220   3197 |        0 |        0
1643.82/1644.32	c 1644s |      26 | 12856660 |  9794852 |     7220   3200 |        0 |        0
1645.82/1646.35	c 1646s |      26 | 12866793 |  9803252 |     7220   3203 |        0 |        0
1647.82/1648.36	c 1648s |      26 | 12881591 |  9814452 |     7220   3205 |        0 |        0
1649.92/1650.42	c 1650s |      26 | 12893250 |  9823952 |     7220   3208 |        0 |        0
1651.92/1652.42	c 1652s |      26 | 12908094 |  9835652 |     7220   3211 |        0 |        0
1653.92/1654.43	c 1654s |      26 | 12919820 |  9845352 |     7220   3213 |        0 |        0
1655.92/1656.45	c 1656s |      26 | 12931276 |  9854752 |     7220   3216 |        0 |        0
1657.92/1658.45	c 1658s |      26 | 12941374 |  9863252 |     7220   3218 |        0 |        0
1659.92/1660.46	c 1660s |      26 | 12952784 |  9872152 |     7220   3220 |        0 |        0
1661.91/1662.47	c 1662s |      26 | 12966993 |  9883352 |     7220   3223 |        0 |        0
1663.92/1664.48	c 1664s |      26 | 12980770 |  9893652 |     7220   3226 |        0 |        0
1665.91/1666.49	c 1666s |      26 | 12995350 |  9904952 |     7220   3229 |        0 |        0
1668.01/1668.50	c 1668s |      26 | 13010666 |  9916852 |     7220   3232 |        0 |        0
1670.01/1670.50	c 1670s |      26 | 13019801 |  9924552 |     7220   3234 |        0 |        0
1672.01/1672.51	c 1672s |      26 | 13036184 |  9936852 |     7220   3237 |        0 |        0
1674.01/1674.53	c 1674s |      26 | 13048457 |  9946752 |     7220   3240 |        0 |        0
1676.02/1676.54	c 1676s |      26 | 13061531 |  9957052 |     7220   3243 |        0 |        0
1678.01/1678.55	c 1678s |      26 | 13069923 |  9964452 |     7220   3244 |        0 |        0
1680.01/1680.57	c 1680s |      26 | 13082014 |  9973752 |     7220   3247 |        0 |        0
1682.01/1682.58	c 1682s |      26 | 13097879 |  9985652 |     7220   3250 |        0 |        0
1684.01/1684.58	c 1684s |      26 | 13112091 |  9997052 |     7220   3253 |        0 |        0
1686.01/1686.58	c 1686s |      26 | 13126043 | 10007852 |     7220   3256 |        0 |        0
1688.01/1688.58	c 1688s |      26 | 13136058 | 10016152 |     7220   3258 |        0 |        0
1690.11/1690.60	c 1690s |      26 | 13148463 | 10025652 |     7220   3260 |        0 |        0
1692.11/1692.60	c 1692s |      26 | 13160113 | 10035052 |     7220   3263 |        0 |        0
1694.11/1694.61	c 1694s |      26 | 13172093 | 10044852 |     7220   3265 |        0 |        0
1696.11/1696.62	c 1696s |      26 | 13183139 | 10053652 |     7220   3268 |        0 |        0
1698.10/1698.62	c 1698s |      26 | 13195343 | 10063252 |     7220   3270 |        0 |        0
1700.11/1700.63	c 1700s |      26 | 13208143 | 10073452 |     7220   3273 |        0 |        0
1702.10/1702.63	c 1702s |      26 | 13219653 | 10082452 |     7220   3275 |        0 |        0
1704.20/1704.73	c 1704s |      26 | 13231157 | 10091552 |     7220   3278 |        0 |        0
1706.20/1706.75	c 1706s |      26 | 13242718 | 10101252 |     7220   3280 |        0 |        0
1708.20/1708.75	c 1708s |      26 | 13255288 | 10110952 |     7220   3283 |        0 |        0
1710.20/1710.77	c 1710s |      26 | 13269089 | 10121952 |     7220   3285 |        0 |        0
1712.21/1712.79	c 1712s |      26 | 13282159 | 10132652 |     7220   3288 |        0 |        0
1714.30/1714.80	c 1714s |      26 | 13291823 | 10140252 |     7220   3290 |        0 |        0
1716.30/1716.81	c 1716s |      26 | 13302956 | 10149352 |     7220   3292 |        0 |        0
1718.30/1718.83	c 1718s |      26 | 13314389 | 10158552 |     7220   3295 |        0 |        0
1720.30/1720.84	c 1720s |      26 | 13325230 | 10167352 |     7220   3297 |        0 |        0
1722.30/1722.84	c 1722s |      26 | 13336501 | 10176752 |     7220   3300 |        0 |        0
1724.31/1724.86	c 1724s |      26 | 13350195 | 10187452 |     7220   3302 |        0 |        0
1726.30/1726.86	c 1726s |      26 | 13360923 | 10195752 |     7220   3305 |        0 |        0
1728.30/1728.87	c 1728s |      26 | 13373378 | 10205452 |     7220   3307 |        0 |        0
1730.30/1730.88	c 1730s |      26 | 13389829 | 10217652 |     7220   3310 |        0 |        0
1732.40/1732.90	c 1732s |      26 | 13400810 | 10226652 |     7220   3313 |        0 |        0
1734.40/1734.91	c 1734s |      26 | 13410033 | 10234252 |     7220   3315 |        0 |        0
1736.40/1736.91	c 1736s |      26 | 13424182 | 10244552 |     7220   3317 |        0 |        0
1738.40/1738.92	c 1738s |      26 | 13438662 | 10255752 |     7220   3320 |        0 |        0
1740.40/1740.92	c 1740s |      26 | 13450808 | 10265752 |     7220   3323 |        0 |        0
1742.40/1742.93	c 1742s |      26 | 13464362 | 10276352 |     7220   3326 |        0 |        0
1744.40/1744.95	c 1744s |      26 | 13477774 | 10286952 |     7220   3328 |        0 |        0
1746.41/1746.97	c 1746s |      26 | 13488647 | 10295752 |     7220   3331 |        0 |        0
1748.40/1748.97	c 1748s |      26 | 13501553 | 10305752 |     7220   3333 |        0 |        0
1750.40/1750.99	c 1750s |      26 | 13513150 | 10314952 |     7220   3336 |        0 |        0
1752.40/1752.99	c 1752s |      26 | 13523534 | 10323352 |     7220   3338 |        0 |        0
1754.50/1755.01	c 1754s |      26 | 13535348 | 10332752 |     7220   3340 |        0 |        0
1756.50/1757.03	c 1757s |      26 | 13546197 | 10341752 |     7220   3342 |        0 |        0
1758.51/1759.04	c 1759s |      26 | 13556575 | 10349852 |     7220   3345 |        0 |        0
1760.50/1761.04	c 1761s |      26 | 13568778 | 10359952 |     7220   3347 |        0 |        0
1762.50/1763.08	c 1763s |      26 | 13580516 | 10369052 |     7220   3350 |        0 |        0
1764.50/1765.08	c 1765s |      26 | 13591824 | 10378152 |     7220   3352 |        0 |        0
1766.60/1767.11	c 1767s |      26 | 13605473 | 10389052 |     7220   3355 |        0 |        0
1768.60/1769.11	c 1769s |      26 | 13619122 | 10399252 |     7220   3357 |        0 |        0
1770.60/1771.13	c 1771s |      26 | 13632727 | 10409852 |     7220   3360 |        0 |        0
1772.60/1773.15	c 1773s |      26 | 13650171 | 10422952 |     7220   3364 |        0 |        0
1774.59/1775.15	c 1775s |      26 | 13665846 | 10434752 |     7220   3367 |        0 |        0
1776.59/1777.15	c 1777s |      26 | 13678477 | 10444152 |     7220   3369 |        0 |        0
1778.59/1779.15	c 1779s |      26 | 13692932 | 10455852 |     7220   3372 |        0 |        0
1780.69/1781.21	c 1781s |      26 | 13709376 | 10468452 |     7220   3375 |        0 |        0
1782.70/1783.23	c 1783s |      26 | 13721988 | 10478252 |     7220   3378 |        0 |        0
1784.69/1785.23	c 1785s |      26 | 13733864 | 10487752 |     7220   3380 |        0 |        0
1786.69/1787.24	c 1787s |      26 | 13745937 | 10497452 |     7220   3383 |        0 |        0
1788.69/1789.26	c 1789s |      26 | 13759046 | 10507452 |     7220   3386 |        0 |        0
1790.69/1791.27	c 1791s |      26 | 13774798 | 10519352 |     7220   3389 |        0 |        0
1792.69/1793.29	c 1793s |      26 | 13788644 | 10530252 |     7220   3391 |        0 |        0
1794.70/1795.30	c 1795s |      26 | 13801220 | 10539852 |     7220   3394 |        0 |        0
1796.79/1797.31	c 1797s |      26 | 13813232 | 10549952 |     7220   3397 |        0 |        0
1798.79/1799.31	c 1799s |      26 | 13823266 | 10557752 |     7220   3399 |        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-4088735-1466014294/watcher-4088735-1466014294 -o /tmp/evaluation-result-4088735-1466014294/solver-4088735-1466014294 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node106-1466012020-5772 --watchdog 1960 toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4088735-1466014294.opb 

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

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


[startup+0 s]
/proc/loadavg: 2.19 2.16 2.06 3/179 6080
/proc/meminfo: memFree=30430568/32872528 swapFree=524788/557492
[pid=6080] ppid=6077 vsize=620988 CPUtime=0 cores=0,2,4,6
/proc/6080/stat : 6080 (toysat) R 6077 6080 5756 0 -1 4202496 2300 0 0 0 0 0 0 0 20 0 4 0 3479512 635891712 2660 33554432000 4194304 16246674 140734555813072 140734555812496 13880264 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/6080/statm: 156015 2669 441 2943 0 152909 0
[pid=6080/tid=6081] ppid=6077 vsize=638396 CPUtime=0 cores=0,2,4,6
/proc/6080/task/6081/stat : 6081 (toysat) S 6077 6080 5756 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 3479512 653717504 2727 33554432000 4194304 16246674 140734555813072 140641795288304 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=6080/tid=6082] ppid=6077 vsize=642492 CPUtime=0 cores=0,2,4,6
/proc/6080/task/6082/stat : 6082 (toysat) S 6077 6080 5756 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 3479512 657911808 2743 33554432000 4194304 16246674 140734555813072 140641784798448 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=6080/tid=6083] ppid=6077 vsize=646588 CPUtime=0 cores=0,2,4,6
/proc/6080/task/6083/stat : 6083 (toysat) S 6077 6080 5756 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 3479512 662106112 2761 33554432000 4194304 16246674 140734555813072 140641774324912 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0

[startup+0.100168 s]
/proc/loadavg: 2.19 2.16 2.06 3/179 6080
/proc/meminfo: memFree=30430568/32872528 swapFree=524788/557492
[pid=6080] ppid=6077 vsize=1218116 CPUtime=0.09 cores=0,2,4,6
/proc/6080/stat : 6080 (toysat) R 6077 6080 5756 0 -1 4202496 24196 0 0 0 6 3 0 0 20 0 4 0 3479512 1247350784 24546 33554432000 4194304 16246674 140734555813072 140734555812496 5675357 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/6080/statm: 304529 24555 709 2943 0 301423 0
[pid=6080/tid=6081] ppid=6077 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/6080/task/6081/stat : 6081 (toysat) S 6077 6080 5756 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 3479512 1247350784 24562 33554432000 4194304 16246674 140734555813072 140641795288304 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=6080/tid=6082] ppid=6077 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/6080/task/6082/stat : 6082 (toysat) S 6077 6080 5756 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 3479512 1247350784 24568 33554432000 4194304 16246674 140734555813072 140641784798448 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=6080/tid=6083] ppid=6077 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/6080/task/6083/stat : 6083 (toysat) S 6077 6080 5756 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 3479512 1247350784 24575 33554432000 4194304 16246674 140734555813072 140641774324912 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 1218116

[startup+0.200517 s]
/proc/loadavg: 2.19 2.16 2.06 3/179 6080
/proc/meminfo: memFree=30430568/32872528 swapFree=524788/557492
[pid=6080] ppid=6077 vsize=1218116 CPUtime=0.18 cores=0,2,4,6
/proc/6080/stat : 6080 (toysat) R 6077 6080 5756 0 -1 4202496 46530 0 0 0 12 6 0 0 20 0 4 0 3479512 1247350784 46880 33554432000 4194304 16246674 140734555813072 140734555812496 5661217 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/6080/statm: 304529 46888 716 2943 0 301423 0
[pid=6080/tid=6081] ppid=6077 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/6080/task/6081/stat : 6081 (toysat) S 6077 6080 5756 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 3479512 1247350784 46893 33554432000 4194304 16246674 140734555813072 140641795288304 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=6080/tid=6082] ppid=6077 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/6080/task/6082/stat : 6082 (toysat) S 6077 6080 5756 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 3479512 1247350784 46900 33554432000 4194304 16246674 140734555813072 140641784798448 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=6080/tid=6083] ppid=6077 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/6080/task/6083/stat : 6083 (toysat) S 6077 6080 5756 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 3479512 1247350784 46907 33554432000 4194304 16246674 140734555813072 140641774324912 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 0.18
Current children cumulated vsize (KiB) 1218116

[startup+0.300479 s]
/proc/loadavg: 2.19 2.16 2.06 3/179 6080
/proc/meminfo: memFree=30430568/32872528 swapFree=524788/557492
[pid=6080] ppid=6077 vsize=1218116 CPUtime=0.29 cores=0,2,4,6
/proc/6080/stat : 6080 (toysat) R 6077 6080 5756 0 -1 4202496 68140 0 0 0 19 10 0 0 20 0 4 0 3479512 1247350784 68489 33554432000 4194304 16246674 140734555813072 140734555812496 5675357 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/6080/statm: 304529 68500 716 2943 0 301423 0
[pid=6080/tid=6081] ppid=6077 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/6080/task/6081/stat : 6081 (toysat) S 6077 6080 5756 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 3479512 1247350784 68504 33554432000 4194304 16246674 140734555813072 140641795288304 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=6080/tid=6082] ppid=6077 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/6080/task/6082/stat : 6082 (toysat) S 6077 6080 5756 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 3479512 1247350784 68511 33554432000 4194304 16246674 140734555813072 140641784798448 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=6080/tid=6083] ppid=6077 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/6080/task/6083/stat : 6083 (toysat) S 6077 6080 5756 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 3479512 1247350784 68516 33554432000 4194304 16246674 140734555813072 140641774324912 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 1218116

[startup+0.700404 s]
/proc/loadavg: 2.19 2.16 2.06 3/179 6080
/proc/meminfo: memFree=30430568/32872528 swapFree=524788/557492
[pid=6080] ppid=6077 vsize=1218116 CPUtime=0.69 cores=0,2,4,6
/proc/6080/stat : 6080 (toysat) R 6077 6080 5756 0 -1 4202496 151018 0 0 0 48 21 0 0 20 0 4 0 3479512 1247350784 151367 33554432000 4194304 16246674 140734555813072 140734555794944 12479207 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/6080/statm: 304529 151382 717 2943 0 301423 0
[pid=6080/tid=6081] ppid=6077 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/6080/task/6081/stat : 6081 (toysat) S 6077 6080 5756 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 3479512 1247350784 151387 33554432000 4194304 16246674 140734555813072 140641795288304 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=6080/tid=6082] ppid=6077 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/6080/task/6082/stat : 6082 (toysat) S 6077 6080 5756 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 3479512 1247350784 151391 33554432000 4194304 16246674 140734555813072 140641784798448 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=6080/tid=6083] ppid=6077 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/6080/task/6083/stat : 6083 (toysat) S 6077 6080 5756 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 3479512 1247350784 151396 33554432000 4194304 16246674 140734555813072 140641774324912 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 1218116

[startup+1.50036 s]
/proc/loadavg: 2.19 2.16 2.06 3/183 6084
/proc/meminfo: memFree=29481144/32872528 swapFree=524788/557492
[pid=6080] ppid=6077 vsize=1222212 CPUtime=1.48 cores=0,2,4,6
/proc/6080/stat : 6080 (toysat) R 6077 6080 5756 0 -1 4202496 246542 0 0 0 116 32 0 0 20 0 4 0 3479512 1251545088 246871 33554432000 4194304 16246674 140734555813072 140734555812384 5823131 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/6080/statm: 305553 246871 792 2943 0 302447 0
[pid=6080/tid=6081] ppid=6077 vsize=1222212 CPUtime=0 cores=0,2,4,6
/proc/6080/task/6081/stat : 6081 (toysat) S 6077 6080 5756 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 3479512 1251545088 246871 33554432000 4194304 16246674 140734555813072 140641795288304 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=6080/tid=6082] ppid=6077 vsize=1222212 CPUtime=0 cores=0,2,4,6
/proc/6080/task/6082/stat : 6082 (toysat) S 6077 6080 5756 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 3479512 1251545088 246871 33554432000 4194304 16246674 140734555813072 140641784798448 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=6080/tid=6083] ppid=6077 vsize=1222212 CPUtime=0 cores=0,2,4,6
/proc/6080/task/6083/stat : 6083 (toysat) S 6077 6080 5756 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 3479512 1251545088 246871 33554432000 4194304 16246674 140734555813072 140641774324912 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 1222212

[startup+3.10041 s]
/proc/loadavg: 2.26 2.17 2.07 4/183 6084
/proc/meminfo: memFree=29365948/32872528 swapFree=524788/557492
[pid=6080] ppid=6077 vsize=1307204 CPUtime=3.09 cores=0,2,4,6
/proc/6080/stat : 6080 (toysat) R 6077 6080 5756 0 -1 4202496 267617 0 0 0 273 36 0 0 20 0 4 0 3479512 1338576896 267946 33554432000 4194304 16246674 140734555813072 140734555796072 5661989 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/6080/statm: 326801 267946 792 2943 0 323695 0
[pid=6080/tid=6081] ppid=6077 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/6080/task/6081/stat : 6081 (toysat) S 6077 6080 5756 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 3479512 1338576896 267946 33554432000 4194304 16246674 140734555813072 140641795288304 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=6080/tid=6082] ppid=6077 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/6080/task/6082/stat : 6082 (toysat) S 6077 6080 5756 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 3479512 1338576896 267946 33554432000 4194304 16246674 140734555813072 140641784798448 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=6080/tid=6083] ppid=6077 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/6080/task/6083/stat : 6083 (toysat) S 6077 6080 5756 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 3479512 1338576896 267946 33554432000 4194304 16246674 140734555813072 140641774324912 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 1307204

[startup+6.30041 s]
/proc/loadavg: 2.26 2.17 2.07 3/183 6084
/proc/meminfo: memFree=29352704/32872528 swapFree=524788/557492
[pid=6080] ppid=6077 vsize=1313348 CPUtime=6.29 cores=0,2,4,6
/proc/6080/stat : 6080 (toysat) R 6077 6080 5756 0 -1 4202496 269367 0 0 0 593 36 0 0 20 0 4 0 3479512 1344868352 269696 33554432000 4194304 16246674 140734555813072 140734555794944 12478176 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/6080/statm: 328337 269696 792 2943 0 325231 0
[pid=6080/tid=6081] ppid=6077 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/6080/task/6081/stat : 6081 (toysat) S 6077 6080 5756 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 3479512 1344868352 269696 33554432000 4194304 16246674 140734555813072 140641795288304 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=6080/tid=6082] ppid=6077 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/6080/task/6082/stat : 6082 (toysat) S 6077 6080 5756 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 3479512 1344868352 269696 33554432000 4194304 16246674 140734555813072 140641784798448 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=6080/tid=6083] ppid=6077 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/6080/task/6083/stat : 6083 (toysat) S 6077 6080 5756 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 3479512 1344868352 269696 33554432000 4194304 16246674 140734555813072 140641774324912 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 1313348

[startup+12.7004 s]
/proc/loadavg: 2.22 2.17 2.07 3/183 6084
/proc/meminfo: memFree=29352008/32872528 swapFree=524788/557492
[pid=6080] ppid=6077 vsize=1313348 CPUtime=12.69 cores=0,2,4,6
/proc/6080/stat : 6080 (toysat) R 6077 6080 5756 0 -1 4202496 269367 0 0 0 1233 36 0 0 20 0 4 0 3479512 1344868352 269696 33554432000 4194304 16246674 140734555813072 140734555794944 5675857 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/6080/statm: 328337 269696 792 2943 0 325231 0
[pid=6080/tid=6081] ppid=6077 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/6080/task/6081/stat : 6081 (toysat) S 6077 6080 5756 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 3479512 1344868352 269696 33554432000 4194304 16246674 140734555813072 140641795288304 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=6080/tid=6082] ppid=6077 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/6080/task/6082/stat : 6082 (toysat) S 6077 6080 5756 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 3479512 1344868352 269696 33554432000 4194304 16246674 140734555813072 140641784798448 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=6080/tid=6083] ppid=6077 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/6080/task/6083/stat : 6083 (toysat) S 6077 6080 5756 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 3479512 1344868352 269696 33554432000 4194304 16246674 140734555813072 140641774324912 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 1313348

[startup+25.5005 s]
/proc/loadavg: 2.18 2.16 2.06 3/183 6084
/proc/meminfo: memFree=29351660/32872528 swapFree=524788/557492
[pid=6080] ppid=6077 vsize=1313348 CPUtime=25.48 cores=0,2,4,6
/proc/6080/stat : 6080 (toysat) R 6077 6080 5756 0 -1 4202496 269369 0 0 0 2512 36 0 0 20 0 4 0 3479512 1344868352 269698 33554432000 4194304 16246674 140734555813072 140734555794944 13198385 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/6080/statm: 328337 269698 794 2943 0 325231 0
[pid=6080/tid=6081] ppid=6077 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/6080/task/6081/stat : 6081 (toysat) S 6077 6080 5756 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 3479512 1344868352 269698 33554432000 4194304 16246674 140734555813072 140641795288304 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=6080/tid=6082] ppid=6077 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/6080/task/6082/stat : 6082 (toysat) S 6077 6080 5756 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 3479512 1344868352 269698 33554432000 4194304 16246674 140734555813072 140641784798448 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=6080/tid=6083] ppid=6077 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/6080/task/6083/stat : 6083 (toysat) S 6077 6080 5756 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 3479512 1344868352 269698 33554432000 4194304 16246674 140734555813072 140641774324912 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 1313348

[startup+51.1005 s]
/proc/loadavg: 2.20 2.16 2.07 3/183 6084
/proc/meminfo: memFree=29349148/32872528 swapFree=524788/557492
[pid=6080] ppid=6077 vsize=1316420 CPUtime=51.08 cores=0,2,4,6
/proc/6080/stat : 6080 (toysat) R 6077 6080 5756 0 -1 4202496 270145 0 0 0 5071 37 0 0 20 0 4 0 3479512 1348014080 270466 33554432000 4194304 16246674 140734555813072 140734555794944 5673980 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/6080/statm: 329105 270466 794 2943 0 325999 0
[pid=6080/tid=6081] ppid=6077 vsize=1316420 CPUtime=0 cores=0,2,4,6
/proc/6080/task/6081/stat : 6081 (toysat) S 6077 6080 5756 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 3479512 1348014080 270466 33554432000 4194304 16246674 140734555813072 140641795288304 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=6080/tid=6082] ppid=6077 vsize=1316420 CPUtime=0 cores=0,2,4,6
/proc/6080/task/6082/stat : 6082 (toysat) S 6077 6080 5756 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 3479512 1348014080 270466 33554432000 4194304 16246674 140734555813072 140641784798448 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=6080/tid=6083] ppid=6077 vsize=1316420 CPUtime=0 cores=0,2,4,6
/proc/6080/task/6083/stat : 6083 (toysat) S 6077 6080 5756 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 3479512 1348014080 270466 33554432000 4194304 16246674 140734555813072 140641774324912 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 1316420

[startup+102.301 s]
/proc/loadavg: 2.15 2.15 2.07 3/183 6085
/proc/meminfo: memFree=29345560/32872528 swapFree=524788/557492
[pid=6080] ppid=6077 vsize=1319492 CPUtime=102.27 cores=0,2,4,6
/proc/6080/stat : 6080 (toysat) R 6077 6080 5756 0 -1 4202496 270922 0 0 0 10190 37 0 0 20 0 4 0 3479512 1351159808 271235 33554432000 4194304 16246674 140734555813072 140734555794944 5832261 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/6080/statm: 329873 271235 795 2943 0 326767 0
[pid=6080/tid=6081] ppid=6077 vsize=1319492 CPUtime=0 cores=0,2,4,6
/proc/6080/task/6081/stat : 6081 (toysat) S 6077 6080 5756 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 3479512 1351159808 271235 33554432000 4194304 16246674 140734555813072 140641795288304 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=6080/tid=6082] ppid=6077 vsize=1319492 CPUtime=0 cores=0,2,4,6
/proc/6080/task/6082/stat : 6082 (toysat) S 6077 6080 5756 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 3479512 1351159808 271235 33554432000 4194304 16246674 140734555813072 140641784798448 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=6080/tid=6083] ppid=6077 vsize=1319492 CPUtime=0 cores=0,2,4,6
/proc/6080/task/6083/stat : 6083 (toysat) S 6077 6080 5756 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 3479512 1351159808 271235 33554432000 4194304 16246674 140734555813072 140641774324912 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 1319492


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

/proc/6080/task/6083/stat : 6083 (toysat) S 6077 6080 5756 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 3479512 1375277056 277124 33554432000 4194304 16246674 140734555813072 140641774324912 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1241.88
Current children cumulated vsize (KiB) 1343044

[startup+1302.3 s]
/proc/loadavg: 2.05 2.08 2.08 3/183 6214
/proc/meminfo: memFree=29291164/32872528 swapFree=524788/557492
[pid=6080] ppid=6077 vsize=1343044 CPUtime=1301.87 cores=0,2,4,6
/proc/6080/stat : 6080 (toysat) R 6077 6080 5756 0 -1 4202496 277163 0 0 0 130129 58 0 0 20 0 4 0 3479512 1375277056 277124 33554432000 4194304 16246674 140734555813072 140734555794944 4220880 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/6080/statm: 335761 277124 796 2943 0 332655 0
[pid=6080/tid=6081] ppid=6077 vsize=1343044 CPUtime=0 cores=0,2,4,6
/proc/6080/task/6081/stat : 6081 (toysat) S 6077 6080 5756 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 3479512 1375277056 277124 33554432000 4194304 16246674 140734555813072 140641795288304 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=6080/tid=6082] ppid=6077 vsize=1343044 CPUtime=0 cores=0,2,4,6
/proc/6080/task/6082/stat : 6082 (toysat) S 6077 6080 5756 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 3479512 1375277056 277124 33554432000 4194304 16246674 140734555813072 140641784798448 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=6080/tid=6083] ppid=6077 vsize=1343044 CPUtime=0 cores=0,2,4,6
/proc/6080/task/6083/stat : 6083 (toysat) S 6077 6080 5756 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 3479512 1375277056 277124 33554432000 4194304 16246674 140734555813072 140641774324912 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1301.87
Current children cumulated vsize (KiB) 1343044

[startup+1362.3 s]
/proc/loadavg: 2.19 2.11 2.09 3/183 6215
/proc/meminfo: memFree=29285864/32872528 swapFree=524788/557492
[pid=6080] ppid=6077 vsize=1348164 CPUtime=1361.86 cores=0,2,4,6
/proc/6080/stat : 6080 (toysat) R 6077 6080 5756 0 -1 4202496 278443 0 0 0 136127 59 0 0 20 0 4 0 3479512 1380519936 278404 33554432000 4194304 16246674 140734555813072 140734555810880 5823584 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/6080/statm: 337041 278404 796 2943 0 333935 0
[pid=6080/tid=6081] ppid=6077 vsize=1348164 CPUtime=0 cores=0,2,4,6
/proc/6080/task/6081/stat : 6081 (toysat) S 6077 6080 5756 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 3479512 1380519936 278404 33554432000 4194304 16246674 140734555813072 140641795288304 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=6080/tid=6082] ppid=6077 vsize=1348164 CPUtime=0 cores=0,2,4,6
/proc/6080/task/6082/stat : 6082 (toysat) S 6077 6080 5756 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 3479512 1380519936 278404 33554432000 4194304 16246674 140734555813072 140641784798448 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=6080/tid=6083] ppid=6077 vsize=1348164 CPUtime=0 cores=0,2,4,6
/proc/6080/task/6083/stat : 6083 (toysat) S 6077 6080 5756 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 3479512 1380519936 278404 33554432000 4194304 16246674 140734555813072 140641774324912 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1361.86
Current children cumulated vsize (KiB) 1348164

[startup+1422.3 s]
/proc/loadavg: 2.19 2.12 2.09 4/183 6216
/proc/meminfo: memFree=29285680/32872528 swapFree=524788/557492
[pid=6080] ppid=6077 vsize=1348164 CPUtime=1421.86 cores=0,2,4,6
/proc/6080/stat : 6080 (toysat) R 6077 6080 5756 0 -1 4202496 278443 0 0 0 142126 60 0 0 20 0 4 0 3479512 1380519936 278404 33554432000 4194304 16246674 140734555813072 140734555794944 5522977 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/6080/statm: 337041 278404 796 2943 0 333935 0
[pid=6080/tid=6081] ppid=6077 vsize=1348164 CPUtime=0 cores=0,2,4,6
/proc/6080/task/6081/stat : 6081 (toysat) S 6077 6080 5756 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 3479512 1380519936 278404 33554432000 4194304 16246674 140734555813072 140641795288304 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=6080/tid=6082] ppid=6077 vsize=1348164 CPUtime=0 cores=0,2,4,6
/proc/6080/task/6082/stat : 6082 (toysat) S 6077 6080 5756 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 3479512 1380519936 278404 33554432000 4194304 16246674 140734555813072 140641784798448 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=6080/tid=6083] ppid=6077 vsize=1348164 CPUtime=0 cores=0,2,4,6
/proc/6080/task/6083/stat : 6083 (toysat) S 6077 6080 5756 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 3479512 1380519936 278404 33554432000 4194304 16246674 140734555813072 140641774324912 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1421.86
Current children cumulated vsize (KiB) 1348164

[startup+1482.3 s]
/proc/loadavg: 2.20 2.13 2.10 3/183 6218
/proc/meminfo: memFree=29285680/32872528 swapFree=524788/557492
[pid=6080] ppid=6077 vsize=1348164 CPUtime=1481.84 cores=0,2,4,6
/proc/6080/stat : 6080 (toysat) R 6077 6080 5756 0 -1 4202496 278443 0 0 0 148124 60 0 0 20 0 4 0 3479512 1380519936 278404 33554432000 4194304 16246674 140734555813072 140734555794944 5726450 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/6080/statm: 337041 278404 796 2943 0 333935 0
[pid=6080/tid=6081] ppid=6077 vsize=1348164 CPUtime=0 cores=0,2,4,6
/proc/6080/task/6081/stat : 6081 (toysat) S 6077 6080 5756 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 3479512 1380519936 278404 33554432000 4194304 16246674 140734555813072 140641795288304 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=6080/tid=6082] ppid=6077 vsize=1348164 CPUtime=0 cores=0,2,4,6
/proc/6080/task/6082/stat : 6082 (toysat) S 6077 6080 5756 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 3479512 1380519936 278404 33554432000 4194304 16246674 140734555813072 140641784798448 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=6080/tid=6083] ppid=6077 vsize=1348164 CPUtime=0 cores=0,2,4,6
/proc/6080/task/6083/stat : 6083 (toysat) S 6077 6080 5756 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 3479512 1380519936 278404 33554432000 4194304 16246674 140734555813072 140641774324912 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1481.84
Current children cumulated vsize (KiB) 1348164

[startup+1542.31 s]
/proc/loadavg: 2.18 2.14 2.10 3/183 6219
/proc/meminfo: memFree=29285692/32872528 swapFree=524788/557492
[pid=6080] ppid=6077 vsize=1348164 CPUtime=1541.84 cores=0,2,4,6
/proc/6080/stat : 6080 (toysat) R 6077 6080 5756 0 -1 4202496 278443 0 0 0 154123 61 0 0 20 0 4 0 3479512 1380519936 278404 33554432000 4194304 16246674 140734555813072 140734555794944 5822756 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/6080/statm: 337041 278404 796 2943 0 333935 0
[pid=6080/tid=6081] ppid=6077 vsize=1348164 CPUtime=0 cores=0,2,4,6
/proc/6080/task/6081/stat : 6081 (toysat) S 6077 6080 5756 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 3479512 1380519936 278404 33554432000 4194304 16246674 140734555813072 140641795288304 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=6080/tid=6082] ppid=6077 vsize=1348164 CPUtime=0 cores=0,2,4,6
/proc/6080/task/6082/stat : 6082 (toysat) S 6077 6080 5756 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 3479512 1380519936 278404 33554432000 4194304 16246674 140734555813072 140641784798448 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=6080/tid=6083] ppid=6077 vsize=1348164 CPUtime=0 cores=0,2,4,6
/proc/6080/task/6083/stat : 6083 (toysat) S 6077 6080 5756 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 3479512 1380519936 278404 33554432000 4194304 16246674 140734555813072 140641774324912 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1541.84
Current children cumulated vsize (KiB) 1348164

[startup+1602.3 s]
/proc/loadavg: 2.07 2.12 2.09 3/183 6220
/proc/meminfo: memFree=29285684/32872528 swapFree=524788/557492
[pid=6080] ppid=6077 vsize=1348164 CPUtime=1601.82 cores=0,2,4,6
/proc/6080/stat : 6080 (toysat) R 6077 6080 5756 0 -1 4202496 278443 0 0 0 160121 61 0 0 20 0 4 0 3479512 1380519936 278404 33554432000 4194304 16246674 140734555813072 140734555810880 5667604 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/6080/statm: 337041 278404 796 2943 0 333935 0
[pid=6080/tid=6081] ppid=6077 vsize=1348164 CPUtime=0 cores=0,2,4,6
/proc/6080/task/6081/stat : 6081 (toysat) S 6077 6080 5756 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 3479512 1380519936 278404 33554432000 4194304 16246674 140734555813072 140641795288304 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=6080/tid=6082] ppid=6077 vsize=1348164 CPUtime=0 cores=0,2,4,6
/proc/6080/task/6082/stat : 6082 (toysat) S 6077 6080 5756 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 3479512 1380519936 278404 33554432000 4194304 16246674 140734555813072 140641784798448 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=6080/tid=6083] ppid=6077 vsize=1348164 CPUtime=0 cores=0,2,4,6
/proc/6080/task/6083/stat : 6083 (toysat) S 6077 6080 5756 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 3479512 1380519936 278404 33554432000 4194304 16246674 140734555813072 140641774324912 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1601.82
Current children cumulated vsize (KiB) 1348164

[startup+1662.3 s]
/proc/loadavg: 2.15 2.12 2.09 3/183 6221
/proc/meminfo: memFree=29285804/32872528 swapFree=524788/557492
[pid=6080] ppid=6077 vsize=1348164 CPUtime=1661.81 cores=0,2,4,6
/proc/6080/stat : 6080 (toysat) R 6077 6080 5756 0 -1 4202496 278443 0 0 0 166119 62 0 0 20 0 4 0 3479512 1380519936 278404 33554432000 4194304 16246674 140734555813072 140734555794944 5672188 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/6080/statm: 337041 278404 796 2943 0 333935 0
[pid=6080/tid=6081] ppid=6077 vsize=1348164 CPUtime=0 cores=0,2,4,6
/proc/6080/task/6081/stat : 6081 (toysat) S 6077 6080 5756 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 3479512 1380519936 278404 33554432000 4194304 16246674 140734555813072 140641795288304 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=6080/tid=6082] ppid=6077 vsize=1348164 CPUtime=0 cores=0,2,4,6
/proc/6080/task/6082/stat : 6082 (toysat) S 6077 6080 5756 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 3479512 1380519936 278404 33554432000 4194304 16246674 140734555813072 140641784798448 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=6080/tid=6083] ppid=6077 vsize=1348164 CPUtime=0 cores=0,2,4,6
/proc/6080/task/6083/stat : 6083 (toysat) S 6077 6080 5756 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 3479512 1380519936 278404 33554432000 4194304 16246674 140734555813072 140641774324912 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1661.81
Current children cumulated vsize (KiB) 1348164

[startup+1722.3 s]
/proc/loadavg: 2.05 2.10 2.09 3/184 6225
/proc/meminfo: memFree=29285552/32872528 swapFree=524788/557492
[pid=6080] ppid=6077 vsize=1348164 CPUtime=1721.8 cores=0,2,4,6
/proc/6080/stat : 6080 (toysat) R 6077 6080 5756 0 -1 4202496 278443 0 0 0 172118 62 0 0 20 0 4 0 3479512 1380519936 278404 33554432000 4194304 16246674 140734555813072 140734555794944 5677662 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/6080/statm: 337041 278404 796 2943 0 333935 0
[pid=6080/tid=6081] ppid=6077 vsize=1348164 CPUtime=0 cores=0,2,4,6
/proc/6080/task/6081/stat : 6081 (toysat) S 6077 6080 5756 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 3479512 1380519936 278404 33554432000 4194304 16246674 140734555813072 140641795288304 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=6080/tid=6082] ppid=6077 vsize=1348164 CPUtime=0 cores=0,2,4,6
/proc/6080/task/6082/stat : 6082 (toysat) S 6077 6080 5756 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 3479512 1380519936 278404 33554432000 4194304 16246674 140734555813072 140641784798448 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=6080/tid=6083] ppid=6077 vsize=1348164 CPUtime=0 cores=0,2,4,6
/proc/6080/task/6083/stat : 6083 (toysat) S 6077 6080 5756 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 3479512 1380519936 278404 33554432000 4194304 16246674 140734555813072 140641774324912 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1721.8
Current children cumulated vsize (KiB) 1348164

[startup+1782.3 s]
/proc/loadavg: 2.06 2.09 2.09 3/183 6227
/proc/meminfo: memFree=29284828/32872528 swapFree=524788/557492
[pid=6080] ppid=6077 vsize=1348164 CPUtime=1781.79 cores=0,2,4,6
/proc/6080/stat : 6080 (toysat) R 6077 6080 5756 0 -1 4202496 278444 0 0 0 178116 63 0 0 20 0 4 0 3479512 1380519936 278407 33554432000 4194304 16246674 140734555813072 140734555794944 13943664 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/6080/statm: 337041 278407 796 2943 0 333935 0
[pid=6080/tid=6081] ppid=6077 vsize=1348164 CPUtime=0 cores=0,2,4,6
/proc/6080/task/6081/stat : 6081 (toysat) S 6077 6080 5756 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 3479512 1380519936 278407 33554432000 4194304 16246674 140734555813072 140641795288304 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=6080/tid=6082] ppid=6077 vsize=1348164 CPUtime=0 cores=0,2,4,6
/proc/6080/task/6082/stat : 6082 (toysat) S 6077 6080 5756 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 3479512 1380519936 278407 33554432000 4194304 16246674 140734555813072 140641784798448 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=6080/tid=6083] ppid=6077 vsize=1348164 CPUtime=0 cores=0,2,4,6
/proc/6080/task/6083/stat : 6083 (toysat) S 6077 6080 5756 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 3479512 1380519936 278407 33554432000 4194304 16246674 140734555813072 140641774324912 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1781.79
Current children cumulated vsize (KiB) 1348164



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.6 s]
/proc/loadavg: 2.04 2.08 2.08 3/183 6227
/proc/meminfo: memFree=29285476/32872528 swapFree=524788/557492
[pid=6080] ppid=6077 vsize=1348164 CPUtime=1800.09 cores=0,2,4,6
/proc/6080/stat : 6080 (toysat) R 6077 6080 5756 0 -1 4202496 278444 0 0 0 179946 63 0 0 20 0 4 0 3479512 1380519936 278407 33554432000 4194304 16246674 140734555813072 140734555796072 5670624 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/6080/statm: 337041 278407 796 2943 0 333935 0
[pid=6080/tid=6081] ppid=6077 vsize=1348164 CPUtime=0 cores=0,2,4,6
/proc/6080/task/6081/stat : 6081 (toysat) S 6077 6080 5756 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 3479512 1380519936 278407 33554432000 4194304 16246674 140734555813072 140641795288304 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=6080/tid=6082] ppid=6077 vsize=1348164 CPUtime=0 cores=0,2,4,6
/proc/6080/task/6082/stat : 6082 (toysat) S 6077 6080 5756 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 3479512 1380519936 278407 33554432000 4194304 16246674 140734555813072 140641784798448 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=6080/tid=6083] ppid=6077 vsize=1348164 CPUtime=0 cores=0,2,4,6
/proc/6080/task/6083/stat : 6083 (toysat) S 6077 6080 5756 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 3479512 1380519936 278407 33554432000 4194304 16246674 140734555813072 140641774324912 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1800.09
Current children cumulated vsize (KiB) 1348164

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

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1800.61
CPU time (s): 1800.11
CPU user time (s): 1799.47
CPU system time (s): 0.638902
CPU usage (%): 99.9719
Max. virtual memory (cumulated for all children) (KiB): 1348164

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.47
system time used= 0.638902
maximum resident set size= 1113628
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 278444
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= 382
involuntary context switches= 2105

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.06708 second user time and 7.95979 second system time

The end

Begin job on node106 at 2016-06-15 20:11:34
IDJOB=4088735
IDBENCH=107306
IDSOLVER=2542
FILE ID=node106/4088735-1466014294
RUNJOBID= node106-1466012020-5772
PBS_JOBID= 19902815
Free space on /tmp= 71724 MiB

SOLVER NAME= toysat 2016-05-02
BENCH NAME= PB16/normalized-PB16/DEC-SMALLINT-LIN/pb16-16-elffers/EC_ODD_GRIDS/normalized-ECgrid5x90split.opb
COMMAND LINE= toysat +RTS -H1G -MMEMLIMITm -K1G -RTS --pb --search=bcd2 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4088735-1466014294/watcher-4088735-1466014294 -o /tmp/evaluation-result-4088735-1466014294/solver-4088735-1466014294 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node106-1466012020-5772 --watchdog 1960  toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4088735-1466014294.opb

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

MD5SUM BENCH= f939701c62eed5182314d73843e2525a
RANDOM SEED=470090793

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:       32872528 kB
MemFree:        30431360 kB
Buffers:           11652 kB
Cached:            68920 kB
SwapCached:         1436 kB
Active:          1157396 kB
Inactive:          16140 kB
Active(anon):    1094108 kB
Inactive(anon):     1220 kB
Active(file):      63288 kB
Inactive(file):    14920 kB
Unevictable:      557492 kB
Mlocked:          524788 kB
SwapTotal:      67108856 kB
SwapFree:       67099216 kB
Dirty:             16516 kB
Writeback:             0 kB
AnonPages:       1649392 kB
Mapped:             9808 kB
Shmem:                 0 kB
Slab:             576472 kB
SReclaimable:      20688 kB
SUnreclaim:       555784 kB
KernelStack:        1488 kB
PageTables:         7416 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    1791084 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:   1118208 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= 71708 MiB
End job on node106 at 2016-06-15 20:41:35