0.00/0.00	c 2016-06-18T22:00:13+0200
0.00/0.00	c version = 0.5.0
0.00/0.00	c githash = 1a49202
0.00/0.00	c compilationtime = 2016-05-02 00:19:28.990761 UTC
0.00/0.00	c arch = x86_64
0.00/0.00	c os = linux
0.00/0.00	c compiler = ghc 7.10
0.00/0.00	c packages:
0.00/0.00	c   OptDir-0.0.3
0.00/0.00	c   array-0.5.1.0
0.00/0.00	c   base-4.8.2.0
0.00/0.00	c   bytestring-0.10.6.0
0.00/0.00	c   bytestring-builder-0.10.6.0.0
0.00/0.00	c   clock-0.7.2
0.00/0.00	c   containers-0.5.6.2
0.00/0.00	c   data-default-0.5.3
0.00/0.00	c   data-default-class-0.0.1
0.00/0.00	c   data-interval-1.2.0
0.00/0.00	c   deepseq-1.4.1.1
0.00/0.00	c   directory-1.2.2.0
0.00/0.00	c   exceptions-0.8.2.1
0.00/0.00	c   extended-reals-0.2.1.0
0.00/0.00	c   filepath-1.4.0.0
0.00/0.00	c   finite-field-0.8.0
0.00/0.00	c   hashable-1.2.4.0
0.00/0.00	c   heaps-0.3.3
0.00/0.00	c   intern-0.9.1.4
0.00/0.00	c   loop-0.3.0
0.00/0.00	c   mtl-2.2.1
0.00/0.00	c   multiset-0.3.2
0.00/0.00	c   mwc-random-0.13.3.2
0.00/0.00	c   parse_dimacs-1.3
0.00/0.00	c   parsec-3.1.9
0.00/0.00	c   prettyclass-1.0.0.0
0.00/0.00	c   primes-0.2.1.0
0.00/0.00	c   primitive-0.6.1.0
0.00/0.00	c   process-1.2.3.0
0.00/0.00	c   pseudo-boolean-0.1.3.0
0.00/0.01	c   queue-0.1.2
0.00/0.01	c   semigroups-0.18.1
0.00/0.01	c   sign-0.4.3
0.00/0.01	c   stm-2.4.4.1
0.00/0.01	c   template-haskell-2.10.0.0
0.00/0.01	c   temporary-1.2.0.4
0.00/0.01	c   time-1.5.0.1
0.00/0.01	c   transformers-0.4.2.0
0.00/0.01	c   transformers-compat-0.5.1.4
0.00/0.01	c   type-level-numbers-0.1.1.1
0.00/0.01	c   unbounded-delays-0.1.0.9
0.00/0.01	c   unordered-containers-0.2.6.0
0.00/0.01	c   vector-0.11.0.0
0.00/0.01	c   vector-space-0.10.3
0.00/0.01	c command line = ["+RTS","-H1G","-M15500m","-K1G","-RTS","--pb","--search=bcd2","HOME/instance-4106907-1466280013.opb"]
0.00/0.01	c use --random-gen="3278627234 536613004 2553400237 2779798650 2686584250 731658213 1697321164 3448900513 4011302374 3029995085 4213439918 1264945180 447413153 3888317925 3102074024 2915682137 411887840 4104323016 3621520863 3059879043 2315095821 2492680144 109066671 2828780540 1375274833 2100827505 3244711253 1337543100 290664886 745159677 893535047 36193399 3155598004 1173958949 897059471 601504771 836785476 1607546404 1598329801 165340449 1010296371 2518398104 1943541346 2568091519 3861446222 2365745324 3367211397 3906467336 530130890 1357561836 3979935027 3578209614 1337379204 1692604822 4191918858 1642139173 659417242 3323660433 3480603212 797633742 3314007010 4226465697 2221898421 1319335748 2396674882 134934536 624103540 1228988225 3513886552 1276528970 2068913150 482696737 3995143862 1733773368 1001792963 4175008057 1252708906 2709046491 2517180181 1419228583 2608410722 3766710105 31515732 1787632163 1371183547 1902963175 2281347225 3896905986 2208315664 408064515 2381346221 915901680 3412624706 1125884532 3407649459 3891884594 3384153512 32570432 2399575534 3804474737 3401105372 3135408017 4130660601 2065403819 3065635013 2199462284 495028141 1892587448 2201188689 474210900 1570491210 2512755525 3492719996 1618810273 4198701745 2284211405 2681356497 1947171353 2925854421 1975983330 2848324195 156580594 1173236070 2411660030 1481518962 2429066050 3019293652 3137505815 3662069098 2942570629 3444140341 622021961 2927474504 2362432168 2286750393 3545027086 1475041756 1431366399 3702596702 207338390 2288357058 215174308 3195057137 2811415887 1631851106 335437944 2121732965 1485884387 4214505649 1711047257 2462239968 3849827137 2423913493 2782770151 1150888380 4109478156 1282900294 4044122105 2604942558 3361933957 2675923338 3392130977 963892109 1861171822 2043207940 920681010 2274900215 525418575 1427953400 2222573022 3941923233 837871100 1550236653 2436560067 2646852662 710159975 728284386 212674577 2053242335 3670566322 889886278 3032821913 3190012409 3667404711 1942034050 610938202 3652161619 1419656605 1750584821 1479477591 2578952871 3327245226 3796891599 2692512028 1937993308 2179853389 3217566020 2230882971 180871950 658021488 4280293778 3088787986 1015665559 3926803185 4276292782 3304991040 3322253971 1459053397 849628382 3621282909 680615901 708323620 1919596335 261567418 1427323494 2320902371 1409716556 2669803726 2173142923 1558782998 3365007118 626583550 50825869 4184918417 3397153994 3460345718 451426497 1824169028 977001904 1262563988 3721108309 4151109600 2211686443 1295905273 683136805 3138681092 1392243781 3010383192 1688659213 597695670 2037701452 4084411731 2931763220 3317454055 1605822834 1689071240 2900243763 3529250328 3845813611 4118167532 1285713751 3722900234 2612096623 1521661688 2747672321 2359773445 255 362436" option to reproduce the execution
0.00/0.03	c #vars 200
0.00/0.03	c #constraints 302
0.09/0.10	c Solving starts ...
0.09/0.10	c ============================[ Search Statistics ]============================
0.09/0.10	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
0.09/0.10	c       |         |          |          |    Limit     GC | Var      | Constra 
0.09/0.10	c =============================================================================
0.09/0.10	c  0.0s |       0 |        0 |        0 |     2227      0 |        0 |        0
0.09/0.14	c  0.0s |       1 |      223 |      100 |     2227      0 |        0 |        0
0.09/0.19	c  0.1s |       2 |     3695 |      250 |     2450      0 |        0 |        0
0.29/0.33	c  0.2s |       3 |     5321 |      475 |     2695      0 |        0 |        0
0.49/0.58	c  0.5s |       4 |     9555 |      813 |     2965      0 |        0 |        0
0.89/0.95	c  0.9s |       5 |    16371 |     1320 |     3262      0 |        0 |        0
1.29/1.33	c  1.2s |       6 |    22525 |     2081 |     3948      0 |        0 |        0
1.99/2.02	c  1.9s |       7 |    28840 |     3223 |     4343      0 |        0 |        0
2.99/3.02	c  2.9s |       8 |    39817 |     4936 |     4778      1 |        0 |        0
4.09/4.16	c  4.1s |       9 |    52657 |     7506 |     5256      2 |        0 |        0
6.09/6.18	c  6.1s |       9 |    88782 |    11306 |     5782      3 |        0 |        0
6.19/6.21	c  6.1s |      10 |    89190 |    11361 |     5782      3 |        0 |        0
8.19/8.26	c  8.2s |      10 |   122055 |    15161 |     5782      4 |        0 |        0
9.19/9.23	c  9.1s |      11 |   131869 |    17144 |     6361      5 |        0 |        0
11.18/11.24	c 11.1s |      11 |   178783 |    21444 |     6361      6 |        0 |        0
12.98/13.09	c 13.0s |      12 |   214133 |    25819 |     6998      7 |        0 |        0
14.98/15.09	c 15.0s |      12 |   239045 |    29419 |     6998      8 |        0 |        0
17.08/17.11	c 17.0s |      12 |   250753 |    33319 |     6998      9 |        0 |        0
19.08/19.16	c 19.1s |      12 |   279489 |    37819 |     6998     10 |        0 |        0
19.58/19.68	c 19.6s |      13 |   281669 |    38832 |     7698     11 |        0 |        0
21.68/21.73	c 21.6s |      13 |   309885 |    43032 |     7698     12 |        0 |        0
23.68/23.77	c 23.7s |      13 |   323196 |    47032 |     7698     13 |        0 |        0
25.68/25.77	c 25.7s |      13 |   346886 |    50332 |     7698     14 |        0 |        0
27.78/27.83	c 27.7s |      13 |   385442 |    54232 |     7698     15 |        0 |        0
29.79/29.87	c 29.8s |      13 |   427367 |    57932 |     7698     16 |        0 |        0
29.98/30.06	c 30.0s |      14 |   431314 |    58352 |     8468     16 |        0 |        0
31.99/32.06	c 32.0s |      14 |   481366 |    62452 |     8468     16 |        0 |        0
33.98/34.07	c 34.0s |      14 |   504962 |    66252 |     8468     17 |        0 |        0
36.09/36.10	c 36.0s |      14 |   522188 |    69252 |     8468     18 |        0 |        0
38.09/38.14	c 38.0s |      14 |   551496 |    73152 |     8468     19 |        0 |        0
40.09/40.19	c 40.1s |      14 |   569036 |    77052 |     8468     20 |        0 |        0
42.19/42.26	c 42.2s |      14 |   576590 |    80452 |     8468     21 |        0 |        0
44.29/44.30	c 44.2s |      14 |   607057 |    83552 |     8468     21 |        0 |        0
46.29/46.32	c 46.2s |      14 |   632537 |    87452 |     9315     22 |        0 |        0
46.39/46.42	c 46.3s |      15 |   633346 |    87632 |     9315     22 |        0 |        0
48.39/48.42	c 48.3s |      15 |   653913 |    90832 |     9315     23 |        0 |        0
50.38/50.43	c 50.3s |      15 |   670684 |    94032 |     9315     23 |        0 |        0
52.38/52.45	c 52.3s |      15 |   685717 |    97432 |     9315     24 |        0 |        0
54.38/54.46	c 54.4s |      15 |   712338 |   101232 |     9315     25 |        0 |        0
56.38/56.49	c 56.4s |      15 |   725008 |   104732 |     9315     26 |        0 |        0
58.48/58.54	c 58.4s |      15 |   737425 |   107932 |     9315     26 |        0 |        0
60.49/60.54	c 60.4s |      15 |   749152 |   110832 |     9315     27 |        0 |        0
62.48/62.55	c 62.4s |      15 |   756526 |   113732 |     9315     28 |        0 |        0
64.58/64.63	c 64.5s |      15 |   768205 |   117232 |     9315     28 |        0 |        0
66.58/66.65	c 66.6s |      15 |   781618 |   120032 |     9315     29 |        0 |        0
68.68/68.70	c 68.6s |      15 |   801442 |   123532 |     9315     30 |        0 |        0
70.68/70.72	c 70.6s |      15 |   819867 |   127032 |     9315     30 |        0 |        0
72.68/72.72	c 72.6s |      15 |   832353 |   130632 |     9315     31 |        0 |        0
73.28/73.37	c 73.3s |      16 |   834218 |   131552 |    10247     31 |        0 |        0
75.38/75.40	c 75.3s |      16 |   847469 |   134352 |    10247     32 |        0 |        0
77.37/77.44	c 77.3s |      16 |   881617 |   137552 |    10247     32 |        0 |        0
79.47/79.50	c 79.4s |      16 |   907665 |   141452 |    10247     33 |        0 |        0
81.48/81.51	c 81.4s |      16 |   923410 |   144752 |    10247     34 |        0 |        0
83.48/83.53	c 83.4s |      16 |   941853 |   147952 |    10247     34 |        0 |        0
85.48/85.54	c 85.4s |      16 |   970120 |   151952 |    10247     35 |        0 |        0
87.48/87.55	c 87.4s |      16 |   993871 |   155652 |    10247     36 |        0 |        0
89.48/89.56	c 89.5s |      16 |  1004248 |   159152 |    10247     36 |        0 |        0
91.48/91.59	c 91.5s |      16 |  1018131 |   162052 |    10247     37 |        0 |        0
93.59/93.61	c 93.5s |      16 |  1038683 |   166352 |    10247     38 |        0 |        0
95.58/95.65	c 95.5s |      16 |  1053267 |   170152 |    10247     38 |        0 |        0
97.57/97.67	c 97.6s |      16 |  1075913 |   173252 |    10247     39 |        0 |        0
99.67/99.71	c 99.6s |      16 |  1095615 |   176852 |    10247     40 |        0 |        0
101.68/101.71	c  101s |      16 |  1109640 |   180352 |    10247     40 |        0 |        0
103.68/103.74	c  103s |      16 |  1120191 |   183552 |    10247     41 |        0 |        0
105.68/105.74	c  105s |      16 |  1133585 |   186752 |    10247     42 |        0 |        0
107.78/107.90	c  107s |      16 |  1148109 |   189752 |    10247     42 |        0 |        0
109.88/109.93	c  109s |      16 |  1164946 |   193452 |    10247     43 |        0 |        0
111.88/111.94	c  111s |      16 |  1182249 |   196952 |    11272     43 |        0 |        0
112.28/112.32	c  112s |      17 |  1185631 |   197432 |    11272     44 |        0 |        0
114.27/114.35	c  114s |      17 |  1208150 |   200432 |    11272     44 |        0 |        0
116.27/116.35	c  116s |      17 |  1224889 |   203832 |    11272     45 |        0 |        0
118.27/118.38	c  118s |      17 |  1241868 |   207532 |    11272     45 |        0 |        0
120.27/120.39	c  120s |      17 |  1251433 |   210432 |    11272     46 |        0 |        0
122.37/122.40	c  122s |      17 |  1274863 |   213932 |    11272     46 |        0 |        0
124.38/124.46	c  124s |      17 |  1281096 |   217432 |    11272     47 |        0 |        0
126.37/126.47	c  126s |      17 |  1291946 |   220432 |    11272     48 |        0 |        0
128.68/128.73	c  128s |      17 |  1299696 |   223932 |    11272     48 |        0 |        0
130.67/130.75	c  130s |      17 |  1311642 |   227632 |    11272     49 |        0 |        0
132.67/132.75	c  132s |      17 |  1322983 |   231932 |    11272     49 |        0 |        0
134.67/134.76	c  134s |      17 |  1340467 |   235332 |    11272     50 |        0 |        0
136.77/136.81	c  136s |      17 |  1359677 |   237932 |    11272     51 |        0 |        0
138.86/138.93	c  138s |      17 |  1376418 |   241032 |    11272     51 |        0 |        0
140.87/140.96	c  140s |      17 |  1405648 |   244732 |    11272     52 |        0 |        0
142.86/142.98	c  142s |      17 |  1431790 |   248632 |    11272     52 |        0 |        0
145.06/145.13	c  145s |      17 |  1445048 |   252032 |    11272     53 |        0 |        0
147.16/147.29	c  147s |      17 |  1462440 |   254932 |    11272     54 |        0 |        0
149.27/149.31	c  149s |      17 |  1494055 |   258432 |    11272     54 |        0 |        0
151.27/151.31	c  151s |      17 |  1518278 |   261632 |    11272     55 |        0 |        0
153.27/153.32	c  153s |      17 |  1529866 |   264832 |    11272     55 |        0 |        0
155.27/155.39	c  155s |      17 |  1544468 |   268032 |    11272     56 |        0 |        0
157.38/157.46	c  157s |      17 |  1554763 |   270632 |    11272     56 |        0 |        0
159.37/159.50	c  159s |      17 |  1563378 |   273532 |    11272     57 |        0 |        0
161.47/161.56	c  161s |      17 |  1588724 |   276832 |    11272     57 |        0 |        0
163.47/163.59	c  163s |      17 |  1598012 |   279632 |    11272     58 |        0 |        0
165.57/165.63	c  165s |      17 |  1610063 |   282132 |    11272     58 |        0 |        0
167.56/167.66	c  167s |      17 |  1618870 |   284432 |    11272     59 |        0 |        0
169.56/169.67	c  169s |      17 |  1624832 |   286732 |    11272     59 |        0 |        0
171.57/171.68	c  171s |      17 |  1637637 |   289532 |    11272     60 |        0 |        0
173.66/173.73	c  173s |      17 |  1642539 |   292232 |    11272     60 |        0 |        0
176.26/176.38	c  176s |      17 |  1648388 |   294132 |    11272     60 |        0 |        0
177.96/178.08	c  177s |      18 |  1666903 |   296252 |    12400     61 |        0 |        0
179.96/180.08	c  179s |      18 |  1699767 |   299152 |    12400     61 |        0 |        0
182.06/182.14	c  182s |      18 |  1717697 |   302552 |    12400     62 |        0 |        0
184.16/184.20	c  184s |      18 |  1735463 |   306152 |    12400     62 |        0 |        0
186.16/186.24	c  186s |      18 |  1747585 |   309052 |    12400     63 |        0 |        0
188.16/188.26	c  188s |      18 |  1767844 |   312452 |    12400     63 |        0 |        0
190.37/190.41	c  190s |      18 |  1778143 |   315152 |    12400     64 |        0 |        0
192.36/192.45	c  192s |      18 |  1795013 |   318552 |    12400     64 |        0 |        0
194.46/194.54	c  194s |      18 |  1803924 |   321452 |    12400     65 |        0 |        0
196.56/196.60	c  196s |      18 |  1812649 |   324152 |    12400     65 |        0 |        0
198.56/198.68	c  198s |      18 |  1817104 |   326552 |    12400     65 |        0 |        0
200.66/200.72	c  200s |      18 |  1824199 |   328952 |    12400     66 |        0 |        0
202.66/202.73	c  202s |      18 |  1835734 |   330352 |    12400     66 |        0 |        0
204.67/204.79	c  204s |      18 |  1858188 |   333952 |    12400     66 |        0 |        0
206.66/206.79	c  206s |      18 |  1878142 |   337352 |    12400     67 |        0 |        0
208.76/208.82	c  208s |      18 |  1889620 |   340252 |    12400     67 |        0 |        0
210.76/210.87	c  210s |      18 |  1900851 |   343252 |    12400     68 |        0 |        0
212.76/212.89	c  212s |      18 |  1910120 |   345952 |    12400     68 |        0 |        0
214.86/214.92	c  214s |      18 |  1914615 |   348252 |    12400     69 |        0 |        0
216.86/216.94	c  216s |      18 |  1919844 |   350352 |    12400     69 |        0 |        0
218.86/218.98	c  218s |      18 |  1928489 |   353152 |    12400     69 |        0 |        0
220.96/221.01	c  220s |      18 |  1937788 |   355952 |    12400     70 |        0 |        0
223.06/223.11	c  223s |      18 |  1942266 |   358452 |    12400     70 |        0 |        0
225.05/225.18	c  225s |      18 |  1946915 |   360952 |    12400     71 |        0 |        0
227.35/227.43	c  227s |      18 |  1953874 |   363052 |    12400     71 |        0 |        0
229.35/229.44	c  229s |      18 |  1982125 |   365752 |    12400     72 |        0 |        0
231.35/231.48	c  231s |      18 |  1998888 |   368852 |    12400     72 |        0 |        0
233.45/233.51	c  233s |      18 |  2005111 |   371552 |    12400     72 |        0 |        0
235.46/235.54	c  235s |      18 |  2025340 |   374652 |    12400     73 |        0 |        0
237.45/237.55	c  237s |      18 |  2043315 |   377652 |    12400     73 |        0 |        0
239.55/239.61	c  239s |      18 |  2061590 |   380852 |    12400     74 |        0 |        0
241.55/241.64	c  241s |      18 |  2080436 |   384352 |    12400     74 |        0 |        0
243.55/243.69	c  243s |      18 |  2093359 |   387352 |    12400     75 |        0 |        0
245.55/245.69	c  245s |      18 |  2101592 |   390152 |    12400     75 |        0 |        0
247.95/248.07	c  247s |      18 |  2106136 |   392452 |    12400     76 |        0 |        0
250.05/250.11	c  250s |      18 |  2118886 |   395952 |    12400     76 |        0 |        0
252.15/252.28	c  252s |      18 |  2123029 |   398052 |    12400     77 |        0 |        0
254.24/254.30	c  254s |      18 |  2130163 |   402052 |    12400     77 |        0 |        0
256.26/256.31	c  256s |      18 |  2136405 |   405752 |    12400     78 |        0 |        0
258.25/258.35	c  258s |      18 |  2144381 |   409452 |    12400     78 |        0 |        0
260.25/260.39	c  260s |      18 |  2154001 |   411852 |    12400     79 |        0 |        0
262.25/262.39	c  262s |      18 |  2159470 |   414552 |    12400     79 |        0 |        0
264.34/264.42	c  264s |      18 |  2168674 |   417252 |    12400     80 |        0 |        0
266.34/266.44	c  266s |      18 |  2174558 |   419952 |    12400     80 |        0 |        0
268.35/268.46	c  268s |      18 |  2179792 |   422252 |    12400     80 |        0 |        0
270.34/270.47	c  270s |      18 |  2184346 |   424552 |    12400     81 |        0 |        0
272.94/273.09	c  272s |      18 |  2187064 |   426652 |    12400     81 |        0 |        0
275.04/275.12	c  275s |      18 |  2194033 |   429952 |    12400     82 |        0 |        0
277.04/277.15	c  277s |      18 |  2201687 |   433252 |    12400     82 |        0 |        0
279.04/279.19	c  279s |      18 |  2209654 |   435952 |    12400     83 |        0 |        0
281.14/281.23	c  281s |      18 |  2220305 |   438952 |    12400     83 |        0 |        0
283.14/283.28	c  283s |      18 |  2238366 |   441452 |    13641     83 |        0 |        0
285.13/285.28	c  285s |      18 |  2254196 |   443852 |    13641     84 |        0 |        0
285.53/285.63	c  285s |      19 |  2256777 |   444482 |    13641     84 |        0 |        0
287.53/287.69	c  287s |      19 |  2291030 |   447482 |    13641     84 |        0 |        0
289.63/289.75	c  289s |      19 |  2300469 |   449782 |    13641     84 |        0 |        0
291.73/291.83	c  291s |      19 |  2313541 |   452782 |    13641     85 |        0 |        0
293.74/293.85	c  293s |      19 |  2322787 |   455482 |    13641     85 |        0 |        0
295.84/295.92	c  295s |      19 |  2341626 |   458582 |    13641     86 |        0 |        0
297.83/297.93	c  297s |      19 |  2352461 |   461582 |    13641     86 |        0 |        0
299.83/299.94	c  299s |      19 |  2358423 |   464182 |    13641     87 |        0 |        0
302.03/302.10	c  302s |      19 |  2366334 |   466382 |    13641     87 |        0 |        0
304.02/304.11	c  304s |      19 |  2383217 |   469682 |    13641     87 |        0 |        0
306.02/306.12	c  306s |      19 |  2398785 |   472482 |    13641     88 |        0 |        0
308.03/308.12	c  308s |      19 |  2405111 |   475182 |    13641     88 |        0 |        0
310.22/310.35	c  310s |      19 |  2411822 |   477982 |    13641     89 |        0 |        0
312.32/312.40	c  312s |      19 |  2423382 |   480682 |    13641     89 |        0 |        0
314.31/314.42	c  314s |      19 |  2431159 |   483082 |    13641     89 |        0 |        0
316.32/316.44	c  316s |      19 |  2435732 |   485282 |    13641     90 |        0 |        0
318.42/318.50	c  318s |      19 |  2438497 |   487682 |    13641     90 |        0 |        0
320.42/320.52	c  320s |      19 |  2456762 |   490882 |    13641     90 |        0 |        0
322.42/322.56	c  322s |      19 |  2467553 |   493682 |    13641     91 |        0 |        0
324.52/324.61	c  324s |      19 |  2470791 |   496082 |    13641     91 |        0 |        0
326.51/326.66	c  326s |      19 |  2474846 |   498482 |    13641     91 |        0 |        0
328.61/328.79	c  328s |      19 |  2479297 |   500782 |    13641     92 |        0 |        0
330.71/330.81	c  330s |      19 |  2481934 |   502882 |    13641     92 |        0 |        0
332.71/332.88	c  332s |      19 |  2484082 |   504782 |    13641     92 |        0 |        0
335.21/335.34	c  335s |      19 |  2484661 |   505282 |    13641     92 |        0 |        0
337.21/337.35	c  337s |      19 |  2490264 |   507782 |    13641     93 |        0 |        0
339.51/339.65	c  339s |      19 |  2494959 |   510582 |    13641     93 |        0 |        0
341.51/341.67	c  341s |      19 |  2501773 |   513382 |    13641     94 |        0 |        0
343.60/343.73	c  343s |      19 |  2512007 |   516382 |    13641     94 |        0 |        0
345.70/345.81	c  345s |      19 |  2525645 |   519482 |    13641     95 |        0 |        0
347.70/347.85	c  347s |      19 |  2532012 |   522682 |    13641     95 |        0 |        0
349.81/349.91	c  349s |      19 |  2541965 |   525782 |    13641     95 |        0 |        0
351.80/351.93	c  351s |      19 |  2552903 |   528782 |    13641     96 |        0 |        0
353.80/353.97	c  353s |      19 |  2564020 |   531382 |    13641     96 |        0 |        0
355.99/356.17	c  356s |      19 |  2570491 |   534482 |    13641     97 |        0 |        0
357.99/358.18	c  358s |      19 |  2586166 |   538282 |    13641     97 |        0 |        0
360.09/360.20	c  360s |      19 |  2599346 |   541382 |    13641     98 |        0 |        0
362.09/362.22	c  362s |      19 |  2605387 |   544682 |    13641     98 |        0 |        0
364.10/364.28	c  364s |      19 |  2610827 |   547482 |    13641     99 |        0 |        0
366.09/366.28	c  366s |      19 |  2624778 |   550182 |    13641     99 |        0 |        0
368.19/368.35	c  368s |      19 |  2635693 |   553182 |    13641     99 |        0 |        0
370.19/370.37	c  370s |      19 |  2644601 |   556482 |    13641    100 |        0 |        0
372.19/372.39	c  372s |      19 |  2654380 |   559582 |    13641    100 |        0 |        0
374.28/374.43	c  374s |      19 |  2661704 |   562682 |    13641    101 |        0 |        0
376.28/376.46	c  376s |      19 |  2665857 |   565582 |    13641    101 |        0 |        0
378.29/378.50	c  378s |      19 |  2672132 |   569082 |    13641    102 |        0 |        0
380.38/380.56	c  380s |      19 |  2678581 |   572282 |    13641    102 |        0 |        0
382.48/382.60	c  382s |      19 |  2687121 |   575182 |    13641    103 |        0 |        0
384.47/384.66	c  384s |      19 |  2696689 |   578682 |    13641    103 |        0 |        0
386.47/386.68	c  386s |      19 |  2704255 |   581782 |    13641    103 |        0 |        0
388.57/388.71	c  388s |      19 |  2713850 |   584582 |    13641    104 |        0 |        0
390.57/390.73	c  390s |      19 |  2725556 |   587682 |    13641    104 |        0 |        0
392.58/392.78	c  392s |      19 |  2737404 |   590382 |    13641    105 |        0 |        0
394.67/394.84	c  394s |      19 |  2745680 |   593282 |    13641    105 |        0 |        0
396.76/396.91	c  396s |      19 |  2760670 |   596182 |    13641    106 |        0 |        0
398.76/398.97	c  398s |      19 |  2766972 |   598982 |    13641    106 |        0 |        0
400.86/401.00	c  400s |      19 |  2780661 |   601782 |    13641    106 |        0 |        0
402.87/403.01	c  402s |      19 |  2793528 |   603282 |    13641    107 |        0 |        0
404.86/405.02	c  404s |      19 |  2802387 |   606382 |    13641    107 |        0 |        0
406.87/407.03	c  406s |      19 |  2813763 |   609182 |    13641    107 |        0 |        0
408.86/409.05	c  408s |      19 |  2822947 |   611782 |    13641    108 |        0 |        0
410.86/411.05	c  410s |      19 |  2836495 |   614682 |    13641    108 |        0 |        0
412.86/413.07	c  412s |      19 |  2845352 |   617282 |    13641    109 |        0 |        0
414.85/415.08	c  414s |      19 |  2849788 |   620182 |    13641    109 |        0 |        0
416.95/417.14	c  417s |      19 |  2856985 |   622782 |    13641    109 |        0 |        0
418.96/419.17	c  419s |      19 |  2865359 |   625682 |    13641    110 |        0 |        0
421.05/421.21	c  421s |      19 |  2875459 |   628682 |    13641    110 |        0 |        0
423.05/423.25	c  423s |      19 |  2883542 |   631182 |    13641    111 |        0 |        0
425.15/425.32	c  425s |      19 |  2889356 |   633882 |    13641    111 |        0 |        0
427.15/427.39	c  427s |      19 |  2901260 |   636782 |    13641    111 |        0 |        0
429.25/429.46	c  429s |      19 |  2905480 |   639282 |    13641    112 |        0 |        0
431.25/431.47	c  431s |      19 |  2914174 |   641882 |    13641    112 |        0 |        0
433.35/433.52	c  433s |      19 |  2921074 |   644482 |    13641    113 |        0 |        0
435.34/435.58	c  435s |      19 |  2929279 |   647582 |    13641    113 |        0 |        0
437.44/437.64	c  437s |      19 |  2932589 |   649882 |    13641    113 |        0 |        0
439.44/439.67	c  439s |      19 |  2935466 |   652182 |    13641    114 |        0 |        0
441.44/441.69	c  441s |      19 |  2939364 |   654382 |    13641    114 |        0 |        0
443.53/443.75	c  443s |      19 |  2942703 |   657082 |    13641    114 |        0 |        0
445.53/445.79	c  445s |      19 |  2947185 |   659382 |    13641    115 |        0 |        0
447.83/448.08	c  447s |      19 |  2952200 |   661982 |    13641    115 |        0 |        0
449.93/450.12	c  450s |      19 |  2956476 |   664182 |    15006    115 |        0 |        0
452.04/452.29	c  452s |      19 |  2962977 |   666582 |    15006    116 |        0 |        0
452.23/452.47	c  452s |      20 |  2963321 |   666827 |    15006    116 |        0 |        0
454.44/454.65	c  454s |      20 |  2966003 |   667027 |    15006    116 |        0 |        0
456.44/456.68	c  456s |      20 |  2977095 |   669327 |    15006    116 |        0 |        0
458.43/458.70	c  458s |      20 |  2990114 |   671827 |    15006    116 |        0 |        0
460.53/460.76	c  460s |      20 |  3000894 |   674227 |    15006    117 |        0 |        0
463.04/463.21	c  463s |      20 |  3009294 |   676727 |    15006    117 |        0 |        0
465.03/465.24	c  465s |      20 |  3042283 |   679527 |    15006    117 |        0 |        0
467.03/467.29	c  467s |      20 |  3070002 |   681827 |    15006    118 |        0 |        0
469.13/469.33	c  469s |      20 |  3086382 |   684727 |    15006    118 |        0 |        0
471.13/471.35	c  471s |      20 |  3102119 |   687427 |    15006    118 |        0 |        0
473.23/473.42	c  473s |      20 |  3111810 |   689727 |    15006    119 |        0 |        0
475.42/475.67	c  475s |      20 |  3132419 |   692627 |    15006    119 |        0 |        0
477.52/477.72	c  477s |      20 |  3159224 |   695627 |    15006    119 |        0 |        0
479.53/479.78	c  479s |      20 |  3170459 |   697127 |    15006    120 |        0 |        0
481.63/481.81	c  481s |      20 |  3180722 |   699727 |    15006    120 |        0 |        0
483.62/483.82	c  483s |      20 |  3186417 |   701727 |    15006    120 |        0 |        0
485.72/485.92	c  485s |      20 |  3188668 |   703627 |    15006    120 |        0 |        0
487.71/487.97	c  487s |      20 |  3193883 |   705327 |    15006    121 |        0 |        0
489.71/489.98	c  489s |      20 |  3218172 |   707627 |    15006    121 |        0 |        0
491.81/492.03	c  491s |      20 |  3234153 |   710227 |    15006    121 |        0 |        0
493.82/494.05	c  493s |      20 |  3245954 |   712527 |    15006    122 |        0 |        0
495.81/496.10	c  495s |      20 |  3263558 |   715427 |    15006    122 |        0 |        0
497.91/498.13	c  498s |      20 |  3277561 |   718227 |    15006    122 |        0 |        0
499.91/500.19	c  500s |      20 |  3289256 |   720627 |    15006    123 |        0 |        0
502.01/502.24	c  502s |      20 |  3303609 |   723327 |    15006    123 |        0 |        0
504.00/504.29	c  504s |      20 |  3310374 |   725627 |    15006    123 |        0 |        0
506.10/506.36	c  506s |      20 |  3316934 |   727927 |    15006    124 |        0 |        0
508.20/508.45	c  508s |      20 |  3324648 |   730427 |    15006    124 |        0 |        0
510.21/510.46	c  510s |      20 |  3333766 |   732527 |    15006    124 |        0 |        0
512.52/512.73	c  512s |      20 |  3345618 |   733427 |    15006    124 |        0 |        0
514.50/514.73	c  514s |      20 |  3366776 |   735827 |    15006    125 |        0 |        0
516.50/516.78	c  516s |      20 |  3383743 |   738727 |    15006    125 |        0 |        0
518.50/518.79	c  518s |      20 |  3397890 |   741427 |    15006    125 |        0 |        0
520.50/520.79	c  520s |      20 |  3411961 |   743827 |    15006    126 |        0 |        0
522.60/522.80	c  522s |      20 |  3427665 |   746627 |    15006    126 |        0 |        0
524.61/524.88	c  524s |      20 |  3435283 |   749027 |    15006    126 |        0 |        0
526.60/526.89	c  526s |      20 |  3441772 |   750227 |    15006    127 |        0 |        0
528.70/528.93	c  528s |      20 |  3460690 |   753327 |    15006    127 |        0 |        0
530.70/530.94	c  530s |      20 |  3466279 |   756427 |    15006    127 |        0 |        0
532.70/532.95	c  532s |      20 |  3478283 |   758727 |    15006    128 |        0 |        0
534.69/534.96	c  534s |      20 |  3489078 |   761027 |    15006    128 |        0 |        0
536.70/536.97	c  536s |      20 |  3500692 |   763027 |    15006    128 |        0 |        0
538.90/539.13	c  539s |      20 |  3517669 |   765327 |    15006    129 |        0 |        0
540.89/541.14	c  541s |      20 |  3531745 |   767827 |    15006    129 |        0 |        0
542.89/543.17	c  543s |      20 |  3547669 |   770427 |    15006    129 |        0 |        0
544.99/545.22	c  545s |      20 |  3564107 |   773027 |    15006    130 |        0 |        0
546.99/547.29	c  547s |      20 |  3576151 |   775727 |    15006    130 |        0 |        0
549.09/549.33	c  549s |      20 |  3583671 |   778027 |    15006    130 |        0 |        0
551.09/551.38	c  551s |      20 |  3591618 |   780127 |    15006    130 |        0 |        0
553.09/553.40	c  553s |      20 |  3601307 |   782227 |    15006    131 |        0 |        0
555.18/555.46	c  555s |      20 |  3609822 |   784427 |    15006    131 |        0 |        0
557.28/557.54	c  557s |      20 |  3617644 |   786427 |    15006    131 |        0 |        0
559.28/559.55	c  559s |      20 |  3619801 |   787927 |    15006    131 |        0 |        0
561.38/561.61	c  561s |      20 |  3629187 |   789827 |    15006    132 |        0 |        0
563.37/563.65	c  563s |      20 |  3638634 |   792027 |    15006    132 |        0 |        0
565.37/565.66	c  565s |      20 |  3647717 |   794227 |    15006    132 |        0 |        0
567.38/567.68	c  567s |      20 |  3651536 |   796027 |    15006    133 |        0 |        0
569.47/569.72	c  569s |      20 |  3669517 |   798727 |    15006    133 |        0 |        0
571.47/571.78	c  571s |      20 |  3682487 |   801227 |    15006    133 |        0 |        0
573.57/573.81	c  573s |      20 |  3699663 |   803327 |    15006    134 |        0 |        0
575.57/575.81	c  575s |      20 |  3712846 |   805827 |    15006    134 |        0 |        0
577.57/577.89	c  577s |      20 |  3724928 |   808327 |    15006    134 |        0 |        0
579.66/579.95	c  579s |      20 |  3730003 |   810427 |    15006    134 |        0 |        0
581.96/582.21	c  582s |      20 |  3732651 |   812127 |    15006    135 |        0 |        0
583.97/584.28	c  584s |      20 |  3738829 |   814027 |    15006    135 |        0 |        0
585.96/586.30	c  586s |      20 |  3742004 |   815827 |    15006    135 |        0 |        0
588.06/588.30	c  588s |      20 |  3746700 |   817627 |    15006    135 |        0 |        0
590.07/590.39	c  590s |      20 |  3748307 |   819027 |    15006    136 |        0 |        0
592.17/592.50	c  592s |      20 |  3749914 |   820627 |    15006    136 |        0 |        0
594.26/594.59	c  594s |      20 |  3751621 |   822327 |    15006    136 |        0 |        0
596.46/596.70	c  596s |      20 |  3753123 |   823827 |    15006    136 |        0 |        0
598.56/598.81	c  598s |      20 |  3754999 |   825427 |    15006    136 |        0 |        0
600.56/600.85	c  600s |      20 |  3760760 |   827227 |    15006    137 |        0 |        0
602.67/602.92	c  602s |      20 |  3765663 |   829127 |    15006    137 |        0 |        0
604.66/604.99	c  604s |      20 |  3770973 |   831327 |    15006    137 |        0 |        0
606.76/607.08	c  606s |      20 |  3773237 |   833027 |    15006    137 |        0 |        0
608.86/609.17	c  609s |      20 |  3774738 |   834527 |    15006    138 |        0 |        0
610.86/611.19	c  611s |      20 |  3776347 |   836127 |    15006    138 |        0 |        0
613.06/613.30	c  613s |      20 |  3779260 |   837727 |    15006    138 |        0 |        0
615.15/615.41	c  615s |      20 |  3782795 |   839527 |    15006    138 |        0 |        0
619.15/619.49	c  619s |      20 |  3783152 |   839827 |    15006    138 |        0 |        0
621.25/621.51	c  621s |      20 |  3787282 |   840427 |    15006    138 |        0 |        0
623.24/623.53	c  623s |      20 |  3793165 |   842327 |    15006    139 |        0 |        0
625.24/625.54	c  625s |      20 |  3805202 |   844627 |    15006    139 |        0 |        0
627.34/627.60	c  627s |      20 |  3828476 |   847227 |    15006    139 |        0 |        0
629.34/629.60	c  629s |      20 |  3850070 |   849827 |    15006    140 |        0 |        0
631.34/631.60	c  631s |      20 |  3869429 |   852327 |    15006    140 |        0 |        0
633.34/633.62	c  633s |      20 |  3897992 |   854827 |    15006    140 |        0 |        0
635.33/635.70	c  635s |      20 |  3915076 |   857627 |    15006    141 |        0 |        0
637.43/637.72	c  637s |      20 |  3926423 |   860027 |    15006    141 |        0 |        0
639.43/639.73	c  639s |      20 |  3945822 |   862727 |    15006    141 |        0 |        0
641.43/641.77	c  641s |      20 |  3960332 |   865427 |    15006    142 |        0 |        0
643.53/643.80	c  643s |      20 |  3975507 |   867927 |    15006    142 |        0 |        0
645.53/645.81	c  645s |      20 |  3983236 |   870027 |    15006    142 |        0 |        0
647.53/647.85	c  647s |      20 |  3985163 |   871727 |    15006    142 |        0 |        0
649.63/649.92	c  649s |      20 |  3987485 |   873127 |    15006    143 |        0 |        0
651.63/651.96	c  651s |      20 |  3996829 |   875727 |    15006    143 |        0 |        0
653.62/653.96	c  653s |      20 |  4007944 |   878327 |    15006    143 |        0 |        0
655.62/655.97	c  655s |      20 |  4018866 |   880527 |    15006    144 |        0 |        0
657.72/658.02	c  657s |      20 |  4023984 |   883027 |    15006    144 |        0 |        0
659.73/660.08	c  659s |      20 |  4030262 |   885127 |    15006    144 |        0 |        0
661.82/662.12	c  662s |      20 |  4037383 |   887127 |    15006    145 |        0 |        0
663.82/664.17	c  664s |      20 |  4045328 |   889627 |    15006    145 |        0 |        0
665.91/666.25	c  666s |      20 |  4051088 |   892027 |    15006    145 |        0 |        0
668.01/668.36	c  668s |      20 |  4053546 |   893827 |    15006    145 |        0 |        0
670.11/670.48	c  670s |      20 |  4055327 |   895527 |    15006    146 |        0 |        0
672.32/672.65	c  672s |      20 |  4059321 |   897627 |    15006    146 |        0 |        0
674.32/674.65	c  674s |      20 |  4065544 |   898527 |    15006    146 |        0 |        0
676.42/676.71	c  676s |      20 |  4080959 |   900927 |    15006    146 |        0 |        0
678.42/678.73	c  678s |      20 |  4094160 |   903127 |    15006    147 |        0 |        0
680.51/680.82	c  680s |      20 |  4099530 |   905327 |    15006    147 |        0 |        0
682.51/682.87	c  682s |      20 |  4109049 |   907227 |    15006    147 |        0 |        0
684.61/684.90	c  684s |      20 |  4123473 |   909427 |    15006    147 |        0 |        0
686.61/686.92	c  686s |      20 |  4135664 |   912027 |    15006    148 |        0 |        0
688.71/689.00	c  688s |      20 |  4141249 |   914127 |    15006    148 |        0 |        0
690.71/691.06	c  690s |      20 |  4147072 |   916127 |    15006    148 |        0 |        0
692.72/693.10	c  693s |      20 |  4149093 |   917827 |    15006    149 |        0 |        0
694.80/695.17	c  695s |      20 |  4152226 |   919827 |    15006    149 |        0 |        0
696.80/697.18	c  697s |      20 |  4158398 |   921927 |    15006    149 |        0 |        0
698.90/699.23	c  699s |      20 |  4162608 |   922927 |    15006    149 |        0 |        0
700.90/701.24	c  701s |      20 |  4169167 |   925127 |    15006    150 |        0 |        0
702.90/703.28	c  703s |      20 |  4176532 |   927327 |    15006    150 |        0 |        0
705.00/705.32	c  705s |      20 |  4179750 |   929027 |    15006    150 |        0 |        0
707.01/707.38	c  707s |      20 |  4182450 |   930827 |    15006    150 |        0 |        0
709.10/709.40	c  709s |      20 |  4185615 |   932927 |    15006    151 |        0 |        0
711.10/711.44	c  711s |      20 |  4190883 |   935427 |    15006    151 |        0 |        0
713.20/713.50	c  713s |      20 |  4195479 |   937727 |    15006    151 |        0 |        0
715.20/715.51	c  715s |      20 |  4203248 |   939927 |    15006    151 |        0 |        0
717.19/717.55	c  717s |      20 |  4207855 |   941827 |    15006    152 |        0 |        0
719.20/719.55	c  719s |      20 |  4213396 |   944027 |    15006    152 |        0 |        0
721.30/721.61	c  721s |      20 |  4220714 |   945127 |    15006    152 |        0 |        0
723.39/723.71	c  723s |      20 |  4240914 |   947527 |    15006    152 |        0 |        0
725.49/725.80	c  725s |      20 |  4253296 |   949827 |    15006    153 |        0 |        0
727.49/727.83	c  727s |      20 |  4264000 |   952127 |    15006    153 |        0 |        0
729.49/729.87	c  729s |      20 |  4279146 |   953427 |    15006    153 |        0 |        0
731.49/731.89	c  731s |      20 |  4304222 |   956127 |    15006    154 |        0 |        0
733.58/733.94	c  733s |      20 |  4322921 |   959327 |    15006    154 |        0 |        0
735.59/735.95	c  735s |      20 |  4343079 |   961427 |    15006    154 |        0 |        0
737.58/737.98	c  737s |      20 |  4356909 |   963527 |    15006    155 |        0 |        0
739.68/740.01	c  739s |      20 |  4374863 |   966027 |    15006    155 |        0 |        0
741.68/742.09	c  741s |      20 |  4382473 |   968327 |    15006    155 |        0 |        0
743.77/744.13	c  744s |      20 |  4390176 |   970527 |    15006    155 |        0 |        0
745.87/746.21	c  746s |      20 |  4403230 |   972427 |    15006    156 |        0 |        0
747.87/748.25	c  748s |      20 |  4407868 |   974327 |    15006    156 |        0 |        0
749.88/750.26	c  750s |      20 |  4412537 |   975927 |    15006    156 |        0 |        0
751.97/752.37	c  752s |      20 |  4415243 |   977527 |    15006    156 |        0 |        0
754.17/754.51	c  754s |      20 |  4419092 |   979227 |    15006    157 |        0 |        0
756.17/756.54	c  756s |      20 |  4424328 |   981227 |    15006    157 |        0 |        0
758.27/758.62	c  758s |      20 |  4428101 |   983127 |    15006    157 |        0 |        0
760.37/760.74	c  760s |      20 |  4430504 |   984827 |    15006    157 |        0 |        0
762.37/762.79	c  762s |      20 |  4438201 |   985327 |    15006    157 |        0 |        0
764.46/764.84	c  764s |      20 |  4454227 |   988027 |    15006    158 |        0 |        0
766.47/766.87	c  766s |      20 |  4472210 |   990727 |    15006    158 |        0 |        0
768.46/768.89	c  768s |      20 |  4485659 |   992927 |    15006    158 |        0 |        0
770.56/770.94	c  770s |      20 |  4491235 |   995027 |    16507    159 |        0 |        0
772.66/773.02	c  772s |      20 |  4501324 |   997427 |    16507    159 |        0 |        0
774.65/775.04	c  774s |      20 |  4511475 |   999827 |    16507    159 |        0 |        0
775.05/775.50	c  775s |      21 |  4515808 |  1000345 |    16507    159 |        0 |        0
777.16/777.53	c  777s |      21 |  4521810 |  1001345 |    16507    159 |        0 |        0
779.16/779.57	c  779s |      21 |  4527372 |  1003245 |    16507    159 |        0 |        0
781.26/781.61	c  781s |      21 |  4537139 |  1003845 |    16507    160 |        0 |        0
783.26/783.62	c  783s |      21 |  4567674 |  1005745 |    16507    160 |        0 |        0
785.25/785.68	c  785s |      21 |  4599394 |  1008645 |    16507    160 |        0 |        0
787.36/787.73	c  787s |      21 |  4621680 |  1011045 |    16507    160 |        0 |        0
789.35/789.76	c  789s |      21 |  4631843 |  1013245 |    16507    161 |        0 |        0
791.45/791.81	c  791s |      21 |  4643488 |  1015445 |    16507    161 |        0 |        0
793.45/793.84	c  793s |      21 |  4654997 |  1017645 |    16507    161 |        0 |        0
795.45/795.86	c  795s |      21 |  4662201 |  1019745 |    16507    161 |        0 |        0
797.45/797.87	c  797s |      21 |  4668861 |  1021245 |    16507    162 |        0 |        0
799.55/799.94	c  799s |      21 |  4687993 |  1023945 |    16507    162 |        0 |        0
801.56/801.98	c  801s |      21 |  4692867 |  1025945 |    16507    162 |        0 |        0
803.54/803.99	c  803s |      21 |  4702345 |  1028145 |    16507    162 |        0 |        0
805.74/806.13	c  806s |      21 |  4706761 |  1029545 |    16507    163 |        0 |        0
807.84/808.23	c  808s |      21 |  4722286 |  1031745 |    16507    163 |        0 |        0
809.94/810.32	c  810s |      21 |  4731390 |  1034245 |    16507    163 |        0 |        0
811.94/812.39	c  812s |      21 |  4754761 |  1036445 |    16507    163 |        0 |        0
814.03/814.41	c  814s |      21 |  4782655 |  1038445 |    16507    164 |        0 |        0
816.13/816.52	c  816s |      21 |  4803189 |  1040945 |    16507    164 |        0 |        0
818.23/818.61	c  818s |      21 |  4811957 |  1043145 |    16507    164 |        0 |        0
820.24/820.62	c  820s |      21 |  4824143 |  1045345 |    16507    165 |        0 |        0
822.33/822.71	c  822s |      21 |  4833417 |  1047845 |    16507    165 |        0 |        0
824.33/824.73	c  824s |      21 |  4839237 |  1049945 |    16507    165 |        0 |        0
826.43/826.83	c  826s |      21 |  4842450 |  1050845 |    16507    165 |        0 |        0
828.43/828.86	c  828s |      21 |  4857118 |  1053145 |    16507    165 |        0 |        0
830.53/830.91	c  830s |      21 |  4868658 |  1055445 |    16507    166 |        0 |        0
832.53/832.92	c  832s |      21 |  4880125 |  1057845 |    16507    166 |        0 |        0
834.53/834.95	c  834s |      21 |  4886008 |  1059945 |    16507    166 |        0 |        0
836.62/837.01	c  836s |      21 |  4888764 |  1061745 |    16507    166 |        0 |        0
838.62/839.07	c  838s |      21 |  4891047 |  1062445 |    16507    167 |        0 |        0
840.72/841.10	c  841s |      21 |  4899779 |  1064945 |    16507    167 |        0 |        0
842.72/843.12	c  843s |      21 |  4913349 |  1067545 |    16507    167 |        0 |        0
844.72/845.19	c  845s |      21 |  4926075 |  1069945 |    16507    167 |        0 |        0
846.82/847.29	c  847s |      21 |  4931396 |  1071945 |    16507    168 |        0 |        0
848.92/849.39	c  849s |      21 |  4937946 |  1074045 |    16507    168 |        0 |        0
851.02/851.45	c  851s |      21 |  4941324 |  1075845 |    16507    168 |        0 |        0
853.01/853.47	c  853s |      21 |  4945341 |  1077745 |    16507    168 |        0 |        0
855.11/855.50	c  855s |      21 |  4952583 |  1079645 |    16507    169 |        0 |        0
857.11/857.58	c  857s |      21 |  4959421 |  1081945 |    16507    169 |        0 |        0
859.93/860.35	c  860s |      21 |  4961224 |  1083245 |    16507    169 |        0 |        0
861.92/862.39	c  862s |      21 |  4974472 |  1085145 |    16507    169 |        0 |        0
864.01/864.42	c  864s |      21 |  4993675 |  1087545 |    16507    170 |        0 |        0
866.01/866.45	c  866s |      21 |  5011782 |  1090045 |    16507    170 |        0 |        0
868.01/868.46	c  868s |      21 |  5030118 |  1092945 |    16507    170 |        0 |        0
870.11/870.52	c  870s |      21 |  5040402 |  1095445 |    16507    170 |        0 |        0
872.11/872.55	c  872s |      21 |  5050686 |  1097545 |    16507    171 |        0 |        0
874.22/874.63	c  874s |      21 |  5060802 |  1099945 |    16507    171 |        0 |        0
876.21/876.67	c  876s |      21 |  5069464 |  1102545 |    16507    171 |        0 |        0
878.31/878.71	c  878s |      21 |  5083517 |  1104845 |    16507    172 |        0 |        0
880.31/880.74	c  880s |      21 |  5102399 |  1107445 |    16507    172 |        0 |        0
882.41/882.87	c  882s |      21 |  5121349 |  1110045 |    16507    172 |        0 |        0
884.51/884.96	c  884s |      21 |  5124726 |  1111645 |    16507    172 |        0 |        0
886.91/887.38	c  887s |      21 |  5128082 |  1112645 |    16507    173 |        0 |        0
889.01/889.44	c  889s |      21 |  5143243 |  1115445 |    16507    173 |        0 |        0
891.01/891.46	c  891s |      21 |  5147881 |  1117345 |    16507    173 |        0 |        0
893.11/893.51	c  893s |      21 |  5155661 |  1119545 |    16507    173 |        0 |        0
895.30/895.77	c  895s |      21 |  5159306 |  1120845 |    16507    174 |        0 |        0
897.31/897.78	c  897s |      21 |  5168690 |  1121545 |    16507    174 |        0 |        0
899.40/899.81	c  899s |      21 |  5193045 |  1124445 |    16507    174 |        0 |        0
901.40/901.86	c  901s |      21 |  5223951 |  1127345 |    16507    174 |        0 |        0
903.40/903.89	c  903s |      21 |  5252709 |  1129645 |    16507    175 |        0 |        0
905.40/905.89	c  905s |      21 |  5273395 |  1132245 |    16507    175 |        0 |        0
907.50/907.96	c  907s |      21 |  5281952 |  1134445 |    16507    175 |        0 |        0
909.49/909.97	c  909s |      21 |  5293121 |  1136845 |    16507    175 |        0 |        0
911.61/912.00	c  911s |      21 |  5300032 |  1139045 |    16507    176 |        0 |        0
913.60/914.07	c  913s |      21 |  5305009 |  1141245 |    16507    176 |        0 |        0
915.70/916.11	c  916s |      21 |  5310295 |  1143245 |    16507    176 |        0 |        0
917.80/918.25	c  918s |      21 |  5316029 |  1144345 |    16507    176 |        0 |        0
919.90/920.30	c  920s |      21 |  5325774 |  1146045 |    16507    177 |        0 |        0
921.90/922.31	c  922s |      21 |  5353597 |  1149045 |    16507    177 |        0 |        0
923.89/924.31	c  924s |      21 |  5373037 |  1151845 |    16507    177 |        0 |        0
925.90/926.36	c  926s |      21 |  5380251 |  1153845 |    16507    177 |        0 |        0
928.00/928.42	c  928s |      21 |  5388561 |  1155845 |    16507    178 |        0 |        0
930.09/930.50	c  930s |      21 |  5404171 |  1158545 |    16507    178 |        0 |        0
932.09/932.58	c  932s |      21 |  5412974 |  1161045 |    16507    178 |        0 |        0
934.19/934.66	c  934s |      21 |  5416376 |  1162945 |    16507    179 |        0 |        0
936.29/936.76	c  936s |      21 |  5421884 |  1164945 |    16507    179 |        0 |        0
938.29/938.77	c  938s |      21 |  5424169 |  1166745 |    16507    179 |        0 |        0
940.39/940.85	c  940s |      21 |  5425981 |  1168545 |    16507    179 |        0 |        0
942.40/942.90	c  942s |      21 |  5429038 |  1170345 |    16507    179 |        0 |        0
944.50/944.97	c  944s |      21 |  5433941 |  1172245 |    16507    180 |        0 |        0
946.59/947.05	c  946s |      21 |  5436541 |  1174345 |    16507    180 |        0 |        0
948.59/949.06	c  948s |      21 |  5439307 |  1176145 |    16507    180 |        0 |        0
950.69/951.14	c  951s |      21 |  5442923 |  1177845 |    16507    180 |        0 |        0
952.79/953.22	c  953s |      21 |  5447267 |  1179545 |    16507    181 |        0 |        0
954.79/955.24	c  955s |      21 |  5450673 |  1180345 |    16507    181 |        0 |        0
956.89/957.33	c  957s |      21 |  5465818 |  1182645 |    16507    181 |        0 |        0
958.89/959.36	c  959s |      21 |  5474841 |  1184545 |    16507    181 |        0 |        0
960.99/961.47	c  961s |      21 |  5482306 |  1186545 |    16507    181 |        0 |        0
962.98/963.48	c  963s |      21 |  5488522 |  1188445 |    16507    182 |        0 |        0
965.39/965.82	c  965s |      21 |  5490971 |  1189745 |    16507    182 |        0 |        0
967.38/967.87	c  967s |      21 |  5495504 |  1192045 |    16507    182 |        0 |        0
969.38/969.89	c  969s |      21 |  5503019 |  1194445 |    16507    182 |        0 |        0
971.48/971.90	c  971s |      21 |  5506059 |  1196345 |    16507    183 |        0 |        0
973.48/973.91	c  973s |      21 |  5509848 |  1198645 |    16507    183 |        0 |        0
975.49/975.92	c  975s |      21 |  5516328 |  1200745 |    16507    183 |        0 |        0
977.60/978.01	c  977s |      21 |  5518589 |  1202745 |    16507    183 |        0 |        0
979.70/980.18	c  980s |      21 |  5521673 |  1204745 |    16507    184 |        0 |        0
981.79/982.25	c  982s |      21 |  5526375 |  1207045 |    16507    184 |        0 |        0
983.89/984.30	c  984s |      21 |  5528831 |  1209045 |    16507    184 |        0 |        0
985.89/986.32	c  986s |      21 |  5530480 |  1210345 |    16507    184 |        0 |        0
987.98/988.42	c  988s |      21 |  5537106 |  1212345 |    16507    184 |        0 |        0
989.98/990.46	c  990s |      21 |  5542227 |  1214145 |    16507    185 |        0 |        0
992.08/992.59	c  992s |      21 |  5548520 |  1215945 |    16507    185 |        0 |        0
994.18/994.64	c  994s |      21 |  5555972 |  1217945 |    16507    185 |        0 |        0
996.19/996.68	c  996s |      21 |  5563839 |  1220045 |    16507    185 |        0 |        0
998.28/998.71	c  998s |      21 |  5566605 |  1221745 |    16507    186 |        0 |        0
1000.28/1000.72	c 1000s |      21 |  5572902 |  1223145 |    16507    186 |        0 |        0
1002.28/1002.75	c 1002s |      21 |  5577802 |  1224445 |    16507    186 |        0 |        0
1004.28/1004.79	c 1004s |      21 |  5590155 |  1226845 |    16507    186 |        0 |        0
1006.38/1006.83	c 1006s |      21 |  5597541 |  1228845 |    16507    186 |        0 |        0
1008.39/1008.88	c 1008s |      21 |  5602343 |  1230545 |    16507    187 |        0 |        0
1010.48/1010.95	c 1010s |      21 |  5612482 |  1232845 |    16507    187 |        0 |        0
1012.58/1013.06	c 1012s |      21 |  5621258 |  1235145 |    16507    187 |        0 |        0
1014.68/1015.15	c 1015s |      21 |  5631753 |  1237245 |    16507    187 |        0 |        0
1017.47/1017.91	c 1017s |      21 |  5635353 |  1239045 |    16507    188 |        0 |        0
1019.48/1019.94	c 1019s |      21 |  5642593 |  1240245 |    16507    188 |        0 |        0
1021.49/1021.97	c 1021s |      21 |  5649414 |  1242745 |    16507    188 |        0 |        0
1023.58/1024.01	c 1023s |      21 |  5664746 |  1245045 |    16507    188 |        0 |        0
1025.58/1026.03	c 1025s |      21 |  5672923 |  1246945 |    16507    189 |        0 |        0
1027.58/1028.06	c 1027s |      21 |  5677064 |  1248945 |    16507    189 |        0 |        0
1029.58/1030.08	c 1029s |      21 |  5681066 |  1250745 |    16507    189 |        0 |        0
1031.68/1032.13	c 1032s |      21 |  5683377 |  1252345 |    16507    189 |        0 |        0
1033.78/1034.23	c 1034s |      21 |  5687886 |  1254245 |    16507    189 |        0 |        0
1035.79/1036.28	c 1036s |      21 |  5690743 |  1255745 |    16507    190 |        0 |        0
1037.88/1038.31	c 1038s |      21 |  5694189 |  1257645 |    16507    190 |        0 |        0
1040.29/1040.75	c 1040s |      21 |  5696956 |  1259345 |    16507    190 |        0 |        0
1042.28/1042.77	c 1042s |      21 |  5705681 |  1261545 |    16507    190 |        0 |        0
1044.38/1044.82	c 1044s |      21 |  5717219 |  1263645 |    16507    191 |        0 |        0
1046.38/1046.88	c 1046s |      21 |  5723737 |  1265945 |    16507    191 |        0 |        0
1048.37/1048.89	c 1048s |      21 |  5729400 |  1268145 |    16507    191 |        0 |        0
1050.47/1050.91	c 1050s |      21 |  5732480 |  1270045 |    16507    191 |        0 |        0
1052.57/1053.07	c 1052s |      21 |  5736040 |  1271745 |    16507    191 |        0 |        0
1054.97/1055.41	c 1055s |      21 |  5736682 |  1271945 |    16507    192 |        0 |        0
1056.97/1057.49	c 1057s |      21 |  5744198 |  1274145 |    16507    192 |        0 |        0
1059.07/1059.55	c 1059s |      21 |  5751271 |  1276245 |    16507    192 |        0 |        0
1061.08/1061.58	c 1061s |      21 |  5754195 |  1278045 |    16507    192 |        0 |        0
1063.17/1063.64	c 1063s |      21 |  5759993 |  1280045 |    16507    192 |        0 |        0
1065.17/1065.66	c 1065s |      21 |  5766304 |  1281845 |    16507    193 |        0 |        0
1067.17/1067.68	c 1067s |      21 |  5776430 |  1283945 |    16507    193 |        0 |        0
1069.27/1069.75	c 1069s |      21 |  5784786 |  1286245 |    16507    193 |        0 |        0
1071.27/1071.75	c 1071s |      21 |  5794912 |  1288345 |    16507    193 |        0 |        0
1073.37/1073.83	c 1073s |      21 |  5805167 |  1290445 |    16507    194 |        0 |        0
1075.38/1075.87	c 1075s |      21 |  5811738 |  1292545 |    16507    194 |        0 |        0
1077.47/1077.96	c 1077s |      21 |  5818073 |  1294645 |    16507    194 |        0 |        0
1079.47/1079.98	c 1079s |      21 |  5820005 |  1296145 |    16507    194 |        0 |        0
1081.57/1082.03	c 1081s |      21 |  5822126 |  1297745 |    16507    195 |        0 |        0
1083.57/1084.04	c 1083s |      21 |  5825789 |  1299745 |    16507    195 |        0 |        0
1085.57/1086.08	c 1085s |      21 |  5830024 |  1301745 |    16507    195 |        0 |        0
1087.67/1088.17	c 1088s |      21 |  5837124 |  1303845 |    16507    195 |        0 |        0
1089.77/1090.23	c 1090s |      21 |  5841007 |  1305545 |    16507    196 |        0 |        0
1091.87/1092.32	c 1092s |      21 |  5844957 |  1307545 |    16507    196 |        0 |        0
1093.87/1094.33	c 1094s |      21 |  5851184 |  1309645 |    16507    196 |        0 |        0
1095.87/1096.38	c 1096s |      21 |  5855647 |  1311645 |    16507    196 |        0 |        0
1097.96/1098.42	c 1098s |      21 |  5859352 |  1312945 |    16507    196 |        0 |        0
1100.06/1100.50	c 1100s |      21 |  5862010 |  1314245 |    16507    197 |        0 |        0
1102.06/1102.55	c 1102s |      21 |  5865312 |  1316145 |    16507    197 |        0 |        0
1104.07/1104.57	c 1104s |      21 |  5867424 |  1317945 |    16507    197 |        0 |        0
1106.67/1107.15	c 1107s |      21 |  5870878 |  1319545 |    16507    197 |        0 |        0
1109.96/1110.50	c 1110s |      21 |  5874308 |  1319745 |    16507    197 |        0 |        0
1112.06/1112.55	c 1112s |      21 |  5891948 |  1321245 |    16507    197 |        0 |        0
1114.06/1114.58	c 1114s |      21 |  5905845 |  1323445 |    16507    198 |        0 |        0
1116.07/1116.60	c 1116s |      21 |  5919908 |  1326045 |    16507    198 |        0 |        0
1118.27/1118.71	c 1118s |      21 |  5927486 |  1328545 |    16507    198 |        0 |        0
1120.26/1120.75	c 1120s |      21 |  5947317 |  1330845 |    16507    199 |        0 |        0
1122.36/1122.81	c 1122s |      21 |  5970370 |  1333445 |    16507    199 |        0 |        0
1124.36/1124.82	c 1124s |      21 |  5981946 |  1335945 |    16507    199 |        0 |        0
1126.36/1126.87	c 1126s |      21 |  5986530 |  1337745 |    16507    199 |        0 |        0
1128.47/1128.91	c 1128s |      21 |  5997279 |  1339845 |    16507    200 |        0 |        0
1130.47/1130.92	c 1130s |      21 |  6004328 |  1341945 |    16507    200 |        0 |        0
1132.46/1132.95	c 1132s |      21 |  6010908 |  1344145 |    16507    200 |        0 |        0
1134.46/1134.98	c 1134s |      21 |  6018896 |  1346445 |    16507    200 |        0 |        0
1136.56/1137.02	c 1136s |      21 |  6024697 |  1348645 |    16507    201 |        0 |        0
1139.76/1140.21	c 1140s |      21 |  6028077 |  1350145 |    16507    201 |        0 |        0
1141.76/1142.23	c 1142s |      21 |  6035307 |  1353145 |    16507    201 |        0 |        0
1143.86/1144.36	c 1144s |      21 |  6043186 |  1355745 |    16507    202 |        0 |        0
1145.87/1146.38	c 1146s |      21 |  6050814 |  1358345 |    16507    202 |        0 |        0
1147.96/1148.43	c 1148s |      21 |  6058268 |  1360645 |    16507    202 |        0 |        0
1150.06/1150.51	c 1150s |      21 |  6061646 |  1362945 |    16507    202 |        0 |        0
1152.05/1152.54	c 1152s |      21 |  6065867 |  1364645 |    16507    203 |        0 |        0
1154.05/1154.55	c 1154s |      21 |  6071804 |  1366945 |    16507    203 |        0 |        0
1156.05/1156.59	c 1156s |      21 |  6075376 |  1369345 |    16507    203 |        0 |        0
1158.15/1158.62	c 1158s |      21 |  6080631 |  1371645 |    16507    203 |        0 |        0
1160.25/1160.72	c 1160s |      21 |  6085204 |  1373745 |    16507    204 |        0 |        0
1162.26/1162.75	c 1162s |      21 |  6092078 |  1375545 |    16507    204 |        0 |        0
1164.35/1164.84	c 1164s |      21 |  6096162 |  1377645 |    16507    204 |        0 |        0
1166.35/1166.89	c 1166s |      21 |  6100745 |  1379845 |    16507    204 |        0 |        0
1168.45/1168.96	c 1168s |      21 |  6104048 |  1381745 |    16507    205 |        0 |        0
1170.45/1170.99	c 1170s |      21 |  6106788 |  1383645 |    16507    205 |        0 |        0
1172.55/1173.09	c 1172s |      21 |  6110186 |  1385945 |    16507    205 |        0 |        0
1174.65/1175.18	c 1175s |      21 |  6112712 |  1388045 |    16507    205 |        0 |        0
1176.95/1177.45	c 1177s |      21 |  6116576 |  1390145 |    16507    206 |        0 |        0
1179.05/1179.50	c 1179s |      21 |  6123339 |  1392245 |    16507    206 |        0 |        0
1180.96/1181.50	c 1181s |      21 |  6128179 |  1394345 |    16507    206 |        0 |        0
1183.05/1183.56	c 1183s |      21 |  6131134 |  1396445 |    16507    206 |        0 |        0
1185.15/1185.64	c 1185s |      21 |  6134926 |  1398445 |    16507    207 |        0 |        0
1187.15/1187.65	c 1187s |      21 |  6138548 |  1400645 |    16507    207 |        0 |        0
1189.25/1189.72	c 1189s |      21 |  6142565 |  1402845 |    16507    207 |        0 |        0
1191.25/1191.76	c 1191s |      21 |  6146669 |  1404945 |    16507    207 |        0 |        0
1193.35/1193.81	c 1193s |      21 |  6150052 |  1406845 |    16507    208 |        0 |        0
1195.36/1195.87	c 1195s |      21 |  6152047 |  1408745 |    16507    208 |        0 |        0
1197.46/1197.92	c 1197s |      21 |  6154827 |  1410645 |    16507    208 |        0 |        0
1199.55/1200.03	c 1199s |      21 |  6156922 |  1412145 |    16507    208 |        0 |        0
1201.65/1202.11	c 1202s |      21 |  6159336 |  1413945 |    16507    208 |        0 |        0
1203.65/1204.16	c 1204s |      21 |  6162081 |  1415645 |    16507    209 |        0 |        0
1205.65/1206.17	c 1206s |      21 |  6164213 |  1417745 |    16507    209 |        0 |        0
1207.75/1208.24	c 1208s |      21 |  6166286 |  1419745 |    16507    209 |        0 |        0
1210.15/1210.63	c 1210s |      21 |  6168512 |  1421245 |    16507    209 |        0 |        0
1212.25/1212.74	c 1212s |      21 |  6171800 |  1422045 |    16507    209 |        0 |        0
1214.25/1214.76	c 1214s |      21 |  6177127 |  1423945 |    16507    210 |        0 |        0
1216.25/1216.78	c 1216s |      21 |  6185536 |  1426545 |    16507    210 |        0 |        0
1218.35/1218.84	c 1218s |      21 |  6191941 |  1428945 |    16507    210 |        0 |        0
1220.45/1220.90	c 1220s |      21 |  6196334 |  1431045 |    16507    211 |        0 |        0
1222.45/1222.92	c 1222s |      21 |  6210792 |  1433845 |    16507    211 |        0 |        0
1224.44/1224.96	c 1224s |      21 |  6216444 |  1436345 |    16507    211 |        0 |        0
1226.54/1227.01	c 1226s |      21 |  6221355 |  1438645 |    16507    211 |        0 |        0
1228.54/1229.02	c 1228s |      21 |  6223317 |  1440345 |    16507    212 |        0 |        0
1230.55/1231.07	c 1230s |      21 |  6228925 |  1442745 |    16507    212 |        0 |        0
1232.65/1233.11	c 1233s |      21 |  6233805 |  1445045 |    16507    212 |        0 |        0
1234.95/1235.43	c 1235s |      21 |  6236001 |  1446945 |    16507    212 |        0 |        0
1237.06/1237.50	c 1237s |      21 |  6241728 |  1447745 |    16507    213 |        0 |        0
1239.05/1239.55	c 1239s |      21 |  6248956 |  1450245 |    16507    213 |        0 |        0
1241.05/1241.56	c 1241s |      21 |  6254849 |  1452245 |    16507    213 |        0 |        0
1243.15/1243.60	c 1243s |      21 |  6261282 |  1454445 |    16507    213 |        0 |        0
1245.15/1245.65	c 1245s |      21 |  6269275 |  1456445 |    16507    214 |        0 |        0
1247.25/1247.72	c 1247s |      21 |  6274227 |  1458845 |    16507    214 |        0 |        0
1249.25/1249.79	c 1249s |      21 |  6278172 |  1461145 |    16507    214 |        0 |        0
1251.35/1251.85	c 1251s |      21 |  6284960 |  1463145 |    16507    214 |        0 |        0
1253.35/1253.87	c 1253s |      21 |  6292684 |  1465245 |    16507    215 |        0 |        0
1255.45/1255.93	c 1255s |      21 |  6303398 |  1467945 |    16507    215 |        0 |        0
1257.44/1257.95	c 1257s |      21 |  6309134 |  1470345 |    16507    215 |        0 |        0
1259.54/1260.03	c 1259s |      21 |  6312935 |  1472545 |    16507    215 |        0 |        0
1261.54/1262.04	c 1261s |      21 |  6315657 |  1474645 |    16507    216 |        0 |        0
1263.64/1264.10	c 1263s |      21 |  6319675 |  1476745 |    16507    216 |        0 |        0
1265.65/1266.14	c 1266s |      21 |  6323469 |  1478945 |    16507    216 |        0 |        0
1267.85/1268.38	c 1268s |      21 |  6325869 |  1481045 |    16507    217 |        0 |        0
1269.94/1270.45	c 1270s |      21 |  6328418 |  1483445 |    16507    217 |        0 |        0
1272.04/1272.53	c 1272s |      21 |  6330289 |  1485145 |    16507    217 |        0 |        0
1274.04/1274.57	c 1274s |      21 |  6333238 |  1487345 |    16507    217 |        0 |        0
1276.14/1276.63	c 1276s |      21 |  6336838 |  1489145 |    16507    217 |        0 |        0
1278.24/1278.70	c 1278s |      21 |  6339766 |  1491045 |    18158    218 |        0 |        0
1280.24/1280.79	c 1280s |      21 |  6343523 |  1493245 |    18158    218 |        0 |        0
1282.34/1282.87	c 1282s |      21 |  6348779 |  1495445 |    18158    218 |        0 |        0
1284.34/1284.88	c 1284s |      21 |  6355247 |  1497545 |    18158    218 |        0 |        0
1286.84/1287.32	c 1287s |      21 |  6359382 |  1499345 |    18158    219 |        0 |        0
1288.24/1288.76	c 1288s |      22 |  6361548 |  1500622 |    18158    219 |        0 |        0
1290.34/1290.81	c 1290s |      22 |  6373698 |  1501622 |    18158    219 |        0 |        0
1292.34/1292.85	c 1292s |      22 |  6395807 |  1504022 |    18158    219 |        0 |        0
1294.44/1294.90	c 1294s |      22 |  6402629 |  1506322 |    18158    219 |        0 |        0
1296.54/1297.03	c 1296s |      22 |  6415098 |  1508622 |    18158    220 |        0 |        0
1298.53/1299.08	c 1298s |      22 |  6431540 |  1510622 |    18158    220 |        0 |        0
1300.63/1301.16	c 1301s |      22 |  6447039 |  1513022 |    18158    220 |        0 |        0
1302.63/1303.17	c 1303s |      22 |  6449703 |  1515022 |    18158    220 |        0 |        0
1304.63/1305.18	c 1305s |      22 |  6452849 |  1516822 |    18158    220 |        0 |        0
1306.73/1307.20	c 1307s |      22 |  6456838 |  1518722 |    18158    221 |        0 |        0
1308.73/1309.28	c 1309s |      22 |  6470417 |  1520522 |    18158    221 |        0 |        0
1310.84/1311.33	c 1311s |      22 |  6494642 |  1523222 |    18158    221 |        0 |        0
1312.83/1313.37	c 1313s |      22 |  6503236 |  1525322 |    18158    221 |        0 |        0
1314.93/1315.46	c 1315s |      22 |  6516350 |  1527322 |    18158    222 |        0 |        0
1317.04/1317.50	c 1317s |      22 |  6519738 |  1529022 |    18158    222 |        0 |        0
1319.04/1319.55	c 1319s |      22 |  6522793 |  1530722 |    18158    222 |        0 |        0
1321.04/1321.59	c 1321s |      22 |  6526482 |  1532622 |    18158    222 |        0 |        0
1323.14/1323.69	c 1323s |      22 |  6531140 |  1534522 |    18158    222 |        0 |        0
1325.43/1325.90	c 1325s |      22 |  6534104 |  1536322 |    18158    223 |        0 |        0
1327.43/1327.93	c 1327s |      22 |  6540555 |  1538422 |    18158    223 |        0 |        0
1329.44/1329.98	c 1329s |      22 |  6544119 |  1540722 |    18158    223 |        0 |        0
1331.53/1332.00	c 1331s |      22 |  6547292 |  1543022 |    18158    223 |        0 |        0
1333.53/1334.06	c 1333s |      22 |  6550635 |  1544922 |    18158    223 |        0 |        0
1335.53/1336.07	c 1335s |      22 |  6553873 |  1546922 |    18158    224 |        0 |        0
1337.63/1338.10	c 1338s |      22 |  6557961 |  1549022 |    18158    224 |        0 |        0
1339.73/1340.21	c 1340s |      22 |  6563375 |  1551022 |    18158    224 |        0 |        0
1341.73/1342.25	c 1342s |      22 |  6569576 |  1552922 |    18158    224 |        0 |        0
1343.84/1344.32	c 1344s |      22 |  6577692 |  1554722 |    18158    225 |        0 |        0
1345.83/1346.40	c 1346s |      22 |  6583633 |  1556722 |    18158    225 |        0 |        0
1347.93/1348.43	c 1348s |      22 |  6593204 |  1558822 |    18158    225 |        0 |        0
1350.03/1350.53	c 1350s |      22 |  6601382 |  1561222 |    18158    225 |        0 |        0
1352.13/1352.62	c 1352s |      22 |  6608199 |  1563322 |    18158    225 |        0 |        0
1354.13/1354.64	c 1354s |      22 |  6610909 |  1564522 |    18158    226 |        0 |        0
1356.23/1356.73	c 1356s |      22 |  6617263 |  1566822 |    18158    226 |        0 |        0
1358.23/1358.79	c 1358s |      22 |  6622447 |  1568822 |    18158    226 |        0 |        0
1360.34/1360.81	c 1360s |      22 |  6634906 |  1571222 |    18158    226 |        0 |        0
1362.53/1363.01	c 1362s |      22 |  6645440 |  1572922 |    18158    227 |        0 |        0
1364.63/1365.12	c 1365s |      22 |  6650660 |  1574822 |    18158    227 |        0 |        0
1366.63/1367.18	c 1367s |      22 |  6659694 |  1576722 |    18158    227 |        0 |        0
1368.63/1369.18	c 1369s |      22 |  6670612 |  1578922 |    18158    227 |        0 |        0
1370.63/1371.19	c 1371s |      22 |  6679362 |  1580922 |    18158    227 |        0 |        0
1372.63/1373.19	c 1373s |      22 |  6692545 |  1582422 |    18158    228 |        0 |        0
1374.73/1375.28	c 1375s |      22 |  6700030 |  1584222 |    18158    228 |        0 |        0
1376.83/1377.31	c 1377s |      22 |  6709128 |  1586222 |    18158    228 |        0 |        0
1378.93/1379.41	c 1379s |      22 |  6719739 |  1588422 |    18158    228 |        0 |        0
1381.02/1381.51	c 1381s |      22 |  6725063 |  1590122 |    18158    228 |        0 |        0
1383.12/1383.61	c 1383s |      22 |  6733426 |  1591822 |    18158    229 |        0 |        0
1385.12/1385.68	c 1385s |      22 |  6743583 |  1593922 |    18158    229 |        0 |        0
1387.22/1387.71	c 1387s |      22 |  6751652 |  1595822 |    18158    229 |        0 |        0
1389.32/1389.81	c 1389s |      22 |  6753245 |  1596122 |    18158    229 |        0 |        0
1391.32/1391.88	c 1391s |      22 |  6767234 |  1598122 |    18158    229 |        0 |        0
1393.42/1393.91	c 1393s |      22 |  6783161 |  1600022 |    18158    229 |        0 |        0
1395.42/1395.96	c 1395s |      22 |  6792183 |  1601522 |    18158    230 |        0 |        0
1397.42/1397.97	c 1397s |      22 |  6800198 |  1603622 |    18158    230 |        0 |        0
1399.52/1400.03	c 1399s |      22 |  6814489 |  1605222 |    18158    230 |        0 |        0
1401.52/1402.03	c 1401s |      22 |  6821568 |  1607022 |    18158    230 |        0 |        0
1403.62/1404.10	c 1403s |      22 |  6827333 |  1608022 |    18158    230 |        0 |        0
1405.62/1406.15	c 1406s |      22 |  6835482 |  1609922 |    18158    231 |        0 |        0
1407.63/1408.18	c 1408s |      22 |  6850050 |  1612222 |    18158    231 |        0 |        0
1409.73/1410.27	c 1410s |      22 |  6853798 |  1614122 |    18158    231 |        0 |        0
1411.82/1412.38	c 1412s |      22 |  6857052 |  1615822 |    18158    231 |        0 |        0
1413.92/1414.44	c 1414s |      22 |  6859669 |  1617422 |    18158    231 |        0 |        0
1415.92/1416.45	c 1416s |      22 |  6864408 |  1618922 |    18158    232 |        0 |        0
1418.02/1418.52	c 1418s |      22 |  6868276 |  1620722 |    18158    232 |        0 |        0
1420.12/1420.63	c 1420s |      22 |  6870780 |  1622322 |    18158    232 |        0 |        0
1422.22/1422.73	c 1422s |      22 |  6873814 |  1624022 |    18158    232 |        0 |        0
1424.22/1424.73	c 1424s |      22 |  6876672 |  1625622 |    18158    232 |        0 |        0
1426.23/1426.79	c 1426s |      22 |  6882414 |  1627622 |    18158    232 |        0 |        0
1428.32/1428.87	c 1428s |      22 |  6890836 |  1629922 |    18158    233 |        0 |        0
1430.42/1430.94	c 1430s |      22 |  6897443 |  1632122 |    18158    233 |        0 |        0
1432.42/1432.94	c 1432s |      22 |  6901036 |  1634022 |    18158    233 |        0 |        0
1434.42/1434.96	c 1434s |      22 |  6906234 |  1636022 |    18158    233 |        0 |        0
1436.52/1437.06	c 1436s |      22 |  6910930 |  1637922 |    18158    234 |        0 |        0
1438.62/1439.15	c 1439s |      22 |  6914571 |  1639922 |    18158    234 |        0 |        0
1440.72/1441.26	c 1441s |      22 |  6917238 |  1641822 |    18158    234 |        0 |        0
1442.72/1443.29	c 1443s |      22 |  6921986 |  1643422 |    18158    234 |        0 |        0
1444.81/1445.37	c 1445s |      22 |  6928416 |  1645222 |    18158    234 |        0 |        0
1446.81/1447.39	c 1447s |      22 |  6931547 |  1646622 |    18158    235 |        0 |        0
1449.61/1450.11	c 1450s |      22 |  6934952 |  1648422 |    18158    235 |        0 |        0
1451.81/1452.34	c 1452s |      22 |  6938276 |  1649122 |    18158    235 |        0 |        0
1453.91/1454.42	c 1454s |      22 |  6941171 |  1649822 |    18158    235 |        0 |        0
1455.92/1456.46	c 1456s |      22 |  6949213 |  1651622 |    18158    235 |        0 |        0
1457.91/1458.47	c 1458s |      22 |  6963984 |  1653922 |    18158    235 |        0 |        0
1460.01/1460.55	c 1460s |      22 |  6977504 |  1656022 |    18158    236 |        0 |        0
1462.01/1462.59	c 1462s |      22 |  6990780 |  1658122 |    18158    236 |        0 |        0
1464.11/1464.66	c 1464s |      22 |  7003027 |  1660622 |    18158    236 |        0 |        0
1466.11/1466.68	c 1466s |      22 |  7020311 |  1662922 |    18158    236 |        0 |        0
1468.11/1468.68	c 1468s |      22 |  7027300 |  1665022 |    18158    237 |        0 |        0
1470.21/1470.75	c 1470s |      22 |  7042499 |  1666722 |    18158    237 |        0 |        0
1472.30/1472.84	c 1472s |      22 |  7057459 |  1669422 |    18158    237 |        0 |        0
1474.30/1474.89	c 1474s |      22 |  7074296 |  1672022 |    18158    237 |        0 |        0
1476.71/1477.26	c 1477s |      22 |  7084257 |  1674122 |    18158    238 |        0 |        0
1478.71/1479.29	c 1479s |      22 |  7090897 |  1676422 |    18158    238 |        0 |        0
1480.71/1481.29	c 1481s |      22 |  7098628 |  1678722 |    18158    238 |        0 |        0
1482.71/1483.30	c 1483s |      22 |  7106394 |  1681022 |    18158    238 |        0 |        0
1484.81/1485.32	c 1485s |      22 |  7111642 |  1681422 |    18158    238 |        0 |        0
1486.81/1487.35	c 1487s |      22 |  7134532 |  1683222 |    18158    239 |        0 |        0
1488.91/1489.41	c 1489s |      22 |  7150849 |  1685322 |    18158    239 |        0 |        0
1490.90/1491.46	c 1491s |      22 |  7165227 |  1687622 |    18158    239 |        0 |        0
1493.00/1493.52	c 1493s |      22 |  7167653 |  1690022 |    18158    239 |        0 |        0
1495.10/1495.61	c 1495s |      22 |  7169799 |  1691722 |    18158    239 |        0 |        0
1497.10/1497.62	c 1497s |      22 |  7191539 |  1693622 |    18158    240 |        0 |        0
1499.10/1499.68	c 1499s |      22 |  7212955 |  1696022 |    18158    240 |        0 |        0
1501.20/1501.75	c 1501s |      22 |  7233512 |  1698422 |    18158    240 |        0 |        0
1503.21/1503.78	c 1503s |      22 |  7243339 |  1700522 |    18158    240 |        0 |        0
1505.30/1505.83	c 1505s |      22 |  7252062 |  1702522 |    18158    241 |        0 |        0
1507.40/1507.93	c 1507s |      22 |  7269196 |  1704922 |    18158    241 |        0 |        0
1509.50/1510.02	c 1509s |      22 |  7272919 |  1706722 |    18158    241 |        0 |        0
1512.91/1513.49	c 1513s |      22 |  7277031 |  1708422 |    18158    241 |        0 |        0
1515.01/1515.51	c 1515s |      22 |  7282922 |  1710722 |    18158    241 |        0 |        0
1517.01/1517.54	c 1517s |      22 |  7288098 |  1713022 |    18158    242 |        0 |        0
1519.01/1519.58	c 1519s |      22 |  7298812 |  1715522 |    18158    242 |        0 |        0
1521.11/1521.66	c 1521s |      22 |  7306443 |  1717222 |    18158    242 |        0 |        0
1523.11/1523.66	c 1523s |      22 |  7316398 |  1719222 |    18158    242 |        0 |        0
1525.21/1525.70	c 1525s |      22 |  7324221 |  1721022 |    18158    243 |        0 |        0
1527.20/1527.79	c 1527s |      22 |  7326606 |  1722822 |    18158    243 |        0 |        0
1529.30/1529.84	c 1529s |      22 |  7327193 |  1723222 |    18158    243 |        0 |        0
1531.40/1531.93	c 1531s |      22 |  7342701 |  1725522 |    18158    243 |        0 |        0
1533.40/1533.96	c 1533s |      22 |  7352923 |  1727722 |    18158    243 |        0 |        0
1535.50/1536.05	c 1535s |      22 |  7357274 |  1729722 |    18158    244 |        0 |        0
1537.50/1538.06	c 1537s |      22 |  7362445 |  1731922 |    18158    244 |        0 |        0
1539.51/1540.06	c 1539s |      22 |  7375538 |  1734122 |    18158    244 |        0 |        0
1541.71/1542.23	c 1542s |      22 |  7386818 |  1735822 |    18158    244 |        0 |        0
1543.70/1544.23	c 1544s |      22 |  7397410 |  1737922 |    18158    244 |        0 |        0
1545.70/1546.29	c 1546s |      22 |  7408605 |  1739922 |    18158    245 |        0 |        0
1547.80/1548.37	c 1548s |      22 |  7430114 |  1742522 |    18158    245 |        0 |        0
1549.90/1550.46	c 1550s |      22 |  7449602 |  1745122 |    18158    245 |        0 |        0
1551.90/1552.49	c 1552s |      22 |  7463020 |  1747422 |    18158    245 |        0 |        0
1553.91/1554.49	c 1554s |      22 |  7477699 |  1749622 |    18158    246 |        0 |        0
1556.01/1556.57	c 1556s |      22 |  7480817 |  1751522 |    18158    246 |        0 |        0
1558.10/1558.65	c 1558s |      22 |  7491106 |  1753922 |    18158    246 |        0 |        0
1560.20/1560.72	c 1560s |      22 |  7496119 |  1755922 |    18158    246 |        0 |        0
1562.20/1562.79	c 1562s |      22 |  7502261 |  1757922 |    18158    247 |        0 |        0
1564.30/1564.83	c 1564s |      22 |  7508010 |  1760022 |    18158    247 |        0 |        0
1566.30/1566.88	c 1566s |      22 |  7512647 |  1761922 |    18158    247 |        0 |        0
1568.40/1568.97	c 1568s |      22 |  7518896 |  1763722 |    18158    247 |        0 |        0
1570.50/1571.05	c 1570s |      22 |  7526955 |  1765722 |    18158    247 |        0 |        0
1572.50/1573.05	c 1572s |      22 |  7533338 |  1767522 |    18158    248 |        0 |        0
1574.49/1575.09	c 1574s |      22 |  7536227 |  1769422 |    18158    248 |        0 |        0
1577.39/1577.98	c 1577s |      22 |  7537824 |  1770122 |    18158    248 |        0 |        0
1579.49/1580.00	c 1579s |      22 |  7541571 |  1771722 |    18158    248 |        0 |        0
1581.49/1582.06	c 1581s |      22 |  7550016 |  1773922 |    18158    248 |        0 |        0
1583.50/1584.09	c 1583s |      22 |  7562659 |  1775822 |    18158    249 |        0 |        0
1585.59/1586.10	c 1586s |      22 |  7567390 |  1778022 |    18158    249 |        0 |        0
1587.69/1588.20	c 1588s |      22 |  7573145 |  1780022 |    18158    249 |        0 |        0
1589.69/1590.26	c 1590s |      22 |  7576169 |  1781922 |    18158    249 |        0 |        0
1591.79/1592.30	c 1592s |      22 |  7579951 |  1783922 |    18158    249 |        0 |        0
1593.89/1594.41	c 1594s |      22 |  7581614 |  1785422 |    18158    250 |        0 |        0
1595.89/1596.48	c 1596s |      22 |  7588741 |  1787622 |    18158    250 |        0 |        0
1597.99/1598.50	c 1598s |      22 |  7591445 |  1789622 |    18158    250 |        0 |        0
1599.89/1600.50	c 1600s |      22 |  7594593 |  1791422 |    18158    250 |        0 |        0
1602.09/1602.60	c 1602s |      22 |  7597998 |  1793222 |    18158    250 |        0 |        0
1604.09/1604.63	c 1604s |      22 |  7600700 |  1794822 |    18158    251 |        0 |        0
1606.09/1606.68	c 1606s |      22 |  7607511 |  1796922 |    18158    251 |        0 |        0
1608.19/1608.73	c 1608s |      22 |  7611922 |  1799022 |    18158    251 |        0 |        0
1610.19/1610.75	c 1610s |      22 |  7614905 |  1800822 |    18158    251 |        0 |        0
1612.20/1612.76	c 1612s |      22 |  7617079 |  1802622 |    18158    251 |        0 |        0
1614.30/1614.85	c 1614s |      22 |  7620708 |  1804422 |    18158    252 |        0 |        0
1616.89/1617.48	c 1617s |      22 |  7624369 |  1806222 |    18158    252 |        0 |        0
1618.99/1619.57	c 1619s |      22 |  7631118 |  1808222 |    18158    252 |        0 |        0
1621.09/1621.64	c 1621s |      22 |  7636621 |  1810422 |    18158    252 |        0 |        0
1623.29/1623.89	c 1623s |      22 |  7639640 |  1812422 |    18158    253 |        0 |        0
1625.89/1626.45	c 1626s |      22 |  7642199 |  1814522 |    18158    253 |        0 |        0
1627.89/1628.46	c 1628s |      22 |  7645735 |  1816222 |    18158    253 |        0 |        0
1629.99/1630.55	c 1630s |      22 |  7650646 |  1818322 |    18158    253 |        0 |        0
1632.09/1632.65	c 1632s |      22 |  7655367 |  1820222 |    18158    253 |        0 |        0
1634.19/1634.72	c 1634s |      22 |  7661639 |  1821722 |    18158    254 |        0 |        0
1636.29/1636.81	c 1636s |      22 |  7666593 |  1823522 |    18158    254 |        0 |        0
1638.29/1638.83	c 1638s |      22 |  7669023 |  1825322 |    18158    254 |        0 |        0
1640.39/1640.91	c 1640s |      22 |  7676553 |  1827622 |    18158    254 |        0 |        0
1642.39/1642.99	c 1642s |      22 |  7681456 |  1829722 |    18158    254 |        0 |        0
1644.48/1645.01	c 1644s |      22 |  7687161 |  1830822 |    18158    255 |        0 |        0
1646.48/1647.02	c 1646s |      22 |  7701166 |  1832522 |    18158    255 |        0 |        0
1648.49/1649.06	c 1648s |      22 |  7723255 |  1835322 |    18158    255 |        0 |        0
1650.59/1651.13	c 1651s |      22 |  7744926 |  1837822 |    18158    255 |        0 |        0
1652.58/1653.18	c 1653s |      22 |  7762006 |  1839922 |    18158    256 |        0 |        0
1654.68/1655.25	c 1655s |      22 |  7773639 |  1842122 |    18158    256 |        0 |        0
1656.78/1657.33	c 1657s |      22 |  7779390 |  1844222 |    18158    256 |        0 |        0
1658.78/1659.39	c 1659s |      22 |  7790720 |  1846322 |    18158    256 |        0 |        0
1660.88/1661.48	c 1661s |      22 |  7798637 |  1848422 |    18158    256 |        0 |        0
1662.98/1663.57	c 1663s |      22 |  7804271 |  1849922 |    18158    257 |        0 |        0
1665.08/1665.60	c 1665s |      22 |  7809509 |  1852222 |    18158    257 |        0 |        0
1667.08/1667.62	c 1667s |      22 |  7814755 |  1853722 |    18158    257 |        0 |        0
1669.08/1669.65	c 1669s |      22 |  7824014 |  1855922 |    18158    257 |        0 |        0
1671.08/1671.67	c 1671s |      22 |  7828054 |  1857622 |    18158    257 |        0 |        0
1673.08/1673.69	c 1673s |      22 |  7834989 |  1859022 |    18158    258 |        0 |        0
1675.18/1675.75	c 1675s |      22 |  7845230 |  1861522 |    18158    258 |        0 |        0
1677.27/1677.82	c 1677s |      22 |  7849255 |  1863522 |    18158    258 |        0 |        0
1679.37/1679.94	c 1679s |      22 |  7852668 |  1865522 |    18158    258 |        0 |        0
1681.48/1682.00	c 1681s |      22 |  7857846 |  1867422 |    18158    258 |        0 |        0
1683.58/1684.11	c 1684s |      22 |  7861195 |  1869222 |    18158    259 |        0 |        0
1685.58/1686.18	c 1686s |      22 |  7863663 |  1871022 |    18158    259 |        0 |        0
1687.68/1688.23	c 1688s |      22 |  7868507 |  1872922 |    18158    259 |        0 |        0
1689.68/1690.23	c 1690s |      22 |  7875432 |  1875122 |    18158    259 |        0 |        0
1692.08/1692.61	c 1692s |      22 |  7878573 |  1876822 |    18158    260 |        0 |        0
1694.18/1694.70	c 1694s |      22 |  7881268 |  1878722 |    18158    260 |        0 |        0
1696.18/1696.75	c 1696s |      22 |  7883789 |  1880522 |    18158    260 |        0 |        0
1698.18/1698.78	c 1698s |      22 |  7886135 |  1882222 |    18158    260 |        0 |        0
1700.28/1700.90	c 1700s |      22 |  7892054 |  1884222 |    18158    260 |        0 |        0
1702.58/1703.10	c 1703s |      22 |  7896040 |  1886022 |    18158    261 |        0 |        0
1704.58/1705.19	c 1705s |      22 |  7898828 |  1887822 |    18158    261 |        0 |        0
1706.68/1707.27	c 1707s |      22 |  7901365 |  1889822 |    18158    261 |        0 |        0
1709.77/1710.37	c 1710s |      22 |  7902835 |  1890822 |    18158    261 |        0 |        0
1711.87/1712.47	c 1712s |      22 |  7914331 |  1893022 |    18158    261 |        0 |        0
1713.97/1714.51	c 1714s |      22 |  7923505 |  1895122 |    18158    261 |        0 |        0
1715.98/1716.55	c 1716s |      22 |  7925201 |  1895922 |    18158    262 |        0 |        0
1717.98/1718.56	c 1718s |      22 |  7938165 |  1898322 |    18158    262 |        0 |        0
1720.08/1720.66	c 1720s |      22 |  7947729 |  1900422 |    18158    262 |        0 |        0
1722.18/1722.71	c 1722s |      22 |  7957854 |  1902522 |    18158    262 |        0 |        0
1724.28/1724.88	c 1724s |      22 |  7965694 |  1904422 |    18158    263 |        0 |        0
1726.48/1727.00	c 1726s |      22 |  7967952 |  1904822 |    18158    263 |        0 |        0
1728.47/1729.05	c 1728s |      22 |  7982381 |  1907122 |    18158    263 |        0 |        0
1730.47/1731.06	c 1730s |      22 |  7991704 |  1909222 |    18158    263 |        0 |        0
1732.57/1733.12	c 1733s |      22 |  8006582 |  1911322 |    18158    263 |        0 |        0
1734.57/1735.14	c 1735s |      22 |  8020258 |  1913222 |    18158    263 |        0 |        0
1736.57/1737.14	c 1737s |      22 |  8030859 |  1914722 |    18158    264 |        0 |        0
1738.68/1739.23	c 1739s |      22 |  8042183 |  1916622 |    18158    264 |        0 |        0
1740.67/1741.30	c 1741s |      22 |  8056674 |  1918922 |    18158    264 |        0 |        0
1742.87/1743.40	c 1743s |      22 |  8058740 |  1920822 |    18158    264 |        0 |        0
1744.87/1745.46	c 1745s |      22 |  8062865 |  1922822 |    18158    265 |        0 |        0
1746.97/1747.51	c 1747s |      22 |  8065032 |  1924822 |    18158    265 |        0 |        0
1749.07/1749.60	c 1749s |      22 |  8070552 |  1927122 |    18158    265 |        0 |        0
1751.07/1751.67	c 1751s |      22 |  8078549 |  1929422 |    18158    265 |        0 |        0
1753.17/1753.77	c 1753s |      22 |  8080932 |  1931422 |    18158    265 |        0 |        0
1755.17/1755.79	c 1755s |      22 |  8084413 |  1933122 |    18158    266 |        0 |        0
1757.27/1757.80	c 1757s |      22 |  8091148 |  1935522 |    18158    266 |        0 |        0
1759.37/1759.92	c 1759s |      22 |  8095949 |  1937322 |    18158    266 |        0 |        0
1761.37/1761.95	c 1761s |      22 |  8100609 |  1939022 |    18158    266 |        0 |        0
1763.47/1764.05	c 1763s |      22 |  8103996 |  1940922 |    18158    266 |        0 |        0
1765.56/1766.12	c 1766s |      22 |  8106294 |  1942522 |    18158    267 |        0 |        0
1767.56/1768.16	c 1768s |      22 |  8111633 |  1944122 |    18158    267 |        0 |        0
1769.66/1770.20	c 1770s |      22 |  8115439 |  1946222 |    18158    267 |        0 |        0
1771.76/1772.30	c 1772s |      22 |  8119166 |  1948122 |    18158    267 |        0 |        0
1773.77/1774.33	c 1774s |      22 |  8121503 |  1949522 |    18158    267 |        0 |        0
1775.86/1776.46	c 1776s |      22 |  8125812 |  1950722 |    18158    268 |        0 |        0
1777.96/1778.53	c 1778s |      22 |  8132660 |  1953122 |    18158    268 |        0 |        0
1779.96/1780.57	c 1780s |      22 |  8143025 |  1955422 |    18158    268 |        0 |        0
1782.06/1782.60	c 1782s |      22 |  8150229 |  1957522 |    18158    268 |        0 |        0
1784.06/1784.64	c 1784s |      22 |  8153321 |  1959622 |    18158    268 |        0 |        0
1786.06/1786.65	c 1786s |      22 |  8155968 |  1961622 |    18158    269 |        0 |        0
1788.16/1788.74	c 1788s |      22 |  8159473 |  1963722 |    18158    269 |        0 |        0
1790.26/1790.84	c 1790s |      22 |  8162443 |  1965822 |    18158    269 |        0 |        0
1792.26/1792.85	c 1792s |      22 |  8164508 |  1967622 |    18158    269 |        0 |        0
1794.36/1794.93	c 1794s |      22 |  8167227 |  1969222 |    18158    270 |        0 |        0
1796.36/1796.95	c 1796s |      22 |  8169442 |  1970522 |    18158    270 |        0 |        0
1798.56/1799.19	c 1799s |      22 |  8172694 |  1972322 |    18158    270 |        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-4106907-1466280013/watcher-4106907-1466280013 -o /tmp/evaluation-result-4106907-1466280013/solver-4106907-1466280013 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node138-1466276409-24424 --watchdog 1960 toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4106907-1466280013.opb 

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

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


[startup+0 s]
/proc/loadavg: 2.03 2.08 2.07 4/180 24911
/proc/meminfo: memFree=30143224/32872528 swapFree=534252/566956
[pid=24911] ppid=24908 vsize=769468 CPUtime=0 cores=1,3,5,7
/proc/24911/stat : 24911 (toysat) R 24908 24911 24407 0 -1 4202496 2879 0 0 0 0 0 0 0 20 0 4 0 30046913 787935232 2730 33554432000 4194304 16246674 140734680864992 140734680864416 13880264 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/24911/statm: 192879 2738 441 2943 0 189773 0
[pid=24911/tid=24912] ppid=24908 vsize=786876 CPUtime=0 cores=1,3,5,7
/proc/24911/task/24912/stat : 24912 (toysat) S 24908 24911 24407 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 30046913 805761024 2799 33554432000 4194304 16246674 140734680864992 139771765566704 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=24911/tid=24913] ppid=24908 vsize=790972 CPUtime=0 cores=1,3,5,7
/proc/24911/task/24913/stat : 24913 (toysat) S 24908 24911 24407 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30046913 809955328 2815 33554432000 4194304 16246674 140734680864992 139771755076848 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=24911/tid=24914] ppid=24908 vsize=796092 CPUtime=0 cores=1,3,5,7
/proc/24911/task/24914/stat : 24914 (toysat) S 24908 24911 24407 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 30046913 815198208 2833 33554432000 4194304 16246674 140734680864992 139771744603312 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0

[startup+0.10018 s]
/proc/loadavg: 2.03 2.08 2.07 4/180 24911
/proc/meminfo: memFree=30143224/32872528 swapFree=534252/566956
[pid=24911] ppid=24908 vsize=1222212 CPUtime=0.09 cores=1,3,5,7
/proc/24911/stat : 24911 (toysat) R 24908 24911 24407 0 -1 4202496 21907 0 0 0 5 4 0 0 20 0 4 0 30046913 1251545088 21704 33554432000 4194304 16246674 140734680864992 140734680864304 12481211 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/24911/statm: 305553 21704 838 2943 0 302447 0
[pid=24911/tid=24912] ppid=24908 vsize=1222212 CPUtime=0 cores=1,3,5,7
/proc/24911/task/24912/stat : 24912 (toysat) S 24908 24911 24407 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 30046913 1251545088 21704 33554432000 4194304 16246674 140734680864992 139771765566704 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=24911/tid=24913] ppid=24908 vsize=1222212 CPUtime=0 cores=1,3,5,7
/proc/24911/task/24913/stat : 24913 (toysat) S 24908 24911 24407 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30046913 1251545088 21704 33554432000 4194304 16246674 140734680864992 139771755076848 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=24911/tid=24914] ppid=24908 vsize=1222212 CPUtime=0 cores=1,3,5,7
/proc/24911/task/24914/stat : 24914 (toysat) S 24908 24911 24407 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 30046913 1251545088 21704 33554432000 4194304 16246674 140734680864992 139771744603312 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 1222212

[startup+0.200539 s]
/proc/loadavg: 2.03 2.08 2.07 4/180 24911
/proc/meminfo: memFree=30143224/32872528 swapFree=534252/566956
[pid=24911] ppid=24908 vsize=1222212 CPUtime=0.19 cores=1,3,5,7
/proc/24911/stat : 24911 (toysat) R 24908 24911 24407 0 -1 4202496 41510 0 0 0 13 6 0 0 20 0 4 0 30046913 1251545088 41307 33554432000 4194304 16246674 140734680864992 140734680864304 6021133 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/24911/statm: 305553 41317 876 2943 0 302447 0
[pid=24911/tid=24912] ppid=24908 vsize=1222212 CPUtime=0 cores=1,3,5,7
/proc/24911/task/24912/stat : 24912 (toysat) S 24908 24911 24407 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 30046913 1251545088 41324 33554432000 4194304 16246674 140734680864992 139771765566704 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=24911/tid=24913] ppid=24908 vsize=1222212 CPUtime=0 cores=1,3,5,7
/proc/24911/task/24913/stat : 24913 (toysat) S 24908 24911 24407 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30046913 1251545088 41331 33554432000 4194304 16246674 140734680864992 139771755076848 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=24911/tid=24914] ppid=24908 vsize=1222212 CPUtime=0 cores=1,3,5,7
/proc/24911/task/24914/stat : 24914 (toysat) S 24908 24911 24407 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 30046913 1251545088 41338 33554432000 4194304 16246674 140734680864992 139771744603312 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 1222212

[startup+0.300426 s]
/proc/loadavg: 2.03 2.08 2.07 4/180 24911
/proc/meminfo: memFree=30143224/32872528 swapFree=534252/566956
[pid=24911] ppid=24908 vsize=1222212 CPUtime=0.29 cores=1,3,5,7
/proc/24911/stat : 24911 (toysat) R 24908 24911 24407 0 -1 4202496 68127 0 0 0 19 10 0 0 20 0 4 0 30046913 1251545088 67924 33554432000 4194304 16246674 140734680864992 140734680864304 5669490 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/24911/statm: 305553 67930 876 2943 0 302447 0
[pid=24911/tid=24912] ppid=24908 vsize=1222212 CPUtime=0 cores=1,3,5,7
/proc/24911/task/24912/stat : 24912 (toysat) S 24908 24911 24407 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 30046913 1251545088 67935 33554432000 4194304 16246674 140734680864992 139771765566704 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=24911/tid=24913] ppid=24908 vsize=1222212 CPUtime=0 cores=1,3,5,7
/proc/24911/task/24913/stat : 24913 (toysat) S 24908 24911 24407 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30046913 1251545088 67939 33554432000 4194304 16246674 140734680864992 139771755076848 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=24911/tid=24914] ppid=24908 vsize=1222212 CPUtime=0 cores=1,3,5,7
/proc/24911/task/24914/stat : 24914 (toysat) S 24908 24911 24407 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 30046913 1251545088 67944 33554432000 4194304 16246674 140734680864992 139771744603312 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 1222212

[startup+0.700427 s]
/proc/loadavg: 2.03 2.08 2.07 4/180 24911
/proc/meminfo: memFree=30143224/32872528 swapFree=534252/566956
[pid=24911] ppid=24908 vsize=1222212 CPUtime=0.69 cores=1,3,5,7
/proc/24911/stat : 24911 (toysat) R 24908 24911 24407 0 -1 4202496 174139 0 0 0 45 24 0 0 20 0 4 0 30046913 1251545088 173937 33554432000 4194304 16246674 140734680864992 140734680847992 12479207 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/24911/statm: 305553 173953 876 2943 0 302447 0
[pid=24911/tid=24912] ppid=24908 vsize=1222212 CPUtime=0 cores=1,3,5,7
/proc/24911/task/24912/stat : 24912 (toysat) S 24908 24911 24407 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 30046913 1251545088 173963 33554432000 4194304 16246674 140734680864992 139771765566704 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=24911/tid=24913] ppid=24908 vsize=1222212 CPUtime=0 cores=1,3,5,7
/proc/24911/task/24913/stat : 24913 (toysat) S 24908 24911 24407 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30046913 1251545088 173972 33554432000 4194304 16246674 140734680864992 139771755076848 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=24911/tid=24914] ppid=24908 vsize=1222212 CPUtime=0 cores=1,3,5,7
/proc/24911/task/24914/stat : 24914 (toysat) S 24908 24911 24407 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 30046913 1251545088 173982 33554432000 4194304 16246674 140734680864992 139771744603312 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 1222212

[startup+1.50043 s]
/proc/loadavg: 2.03 2.08 2.07 4/184 24915
/proc/meminfo: memFree=28992952/32872528 swapFree=534252/566956
[pid=24911] ppid=24908 vsize=1301060 CPUtime=1.49 cores=1,3,5,7
/proc/24911/stat : 24911 (toysat) R 24908 24911 24407 0 -1 4202496 266277 0 0 0 114 35 0 0 20 0 4 0 30046913 1332285440 266074 33554432000 4194304 16246674 140734680864992 140734680847992 13943664 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/24911/statm: 325265 266074 879 2943 0 322159 0
[pid=24911/tid=24912] ppid=24908 vsize=1301060 CPUtime=0 cores=1,3,5,7
/proc/24911/task/24912/stat : 24912 (toysat) S 24908 24911 24407 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 30046913 1332285440 266074 33554432000 4194304 16246674 140734680864992 139771765566704 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=24911/tid=24913] ppid=24908 vsize=1301060 CPUtime=0 cores=1,3,5,7
/proc/24911/task/24913/stat : 24913 (toysat) S 24908 24911 24407 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30046913 1332285440 266074 33554432000 4194304 16246674 140734680864992 139771755076848 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=24911/tid=24914] ppid=24908 vsize=1301060 CPUtime=0 cores=1,3,5,7
/proc/24911/task/24914/stat : 24914 (toysat) S 24908 24911 24407 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 30046913 1332285440 266074 33554432000 4194304 16246674 140734680864992 139771744603312 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 1301060

[startup+3.10042 s]
/proc/loadavg: 2.03 2.08 2.07 4/184 24915
/proc/meminfo: memFree=28986380/32872528 swapFree=534252/566956
[pid=24911] ppid=24908 vsize=1307204 CPUtime=3.09 cores=1,3,5,7
/proc/24911/stat : 24911 (toysat) R 24908 24911 24407 0 -1 4202496 267972 0 0 0 274 35 0 0 20 0 4 0 30046913 1338576896 267769 33554432000 4194304 16246674 140734680864992 140734680846912 12483222 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/24911/statm: 326801 267769 889 2943 0 323695 0
[pid=24911/tid=24912] ppid=24908 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/24911/task/24912/stat : 24912 (toysat) S 24908 24911 24407 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 30046913 1338576896 267769 33554432000 4194304 16246674 140734680864992 139771765566704 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=24911/tid=24913] ppid=24908 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/24911/task/24913/stat : 24913 (toysat) S 24908 24911 24407 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30046913 1338576896 267769 33554432000 4194304 16246674 140734680864992 139771755076848 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=24911/tid=24914] ppid=24908 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/24911/task/24914/stat : 24914 (toysat) S 24908 24911 24407 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 30046913 1338576896 267769 33554432000 4194304 16246674 140734680864992 139771744603312 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 1307204

[startup+6.30042 s]
/proc/loadavg: 2.03 2.08 2.07 4/184 24915
/proc/meminfo: memFree=28980828/32872528 swapFree=534252/566956
[pid=24911] ppid=24908 vsize=1310276 CPUtime=6.29 cores=1,3,5,7
/proc/24911/stat : 24911 (toysat) R 24908 24911 24407 0 -1 4202496 268599 0 0 0 594 35 0 0 20 0 4 0 30046913 1341722624 268396 33554432000 4194304 16246674 140734680864992 140734680846912 13927243 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/24911/statm: 327569 268396 890 2943 0 324463 0
[pid=24911/tid=24912] ppid=24908 vsize=1310276 CPUtime=0 cores=1,3,5,7
/proc/24911/task/24912/stat : 24912 (toysat) S 24908 24911 24407 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 30046913 1341722624 268396 33554432000 4194304 16246674 140734680864992 139771765566704 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=24911/tid=24913] ppid=24908 vsize=1310276 CPUtime=0 cores=1,3,5,7
/proc/24911/task/24913/stat : 24913 (toysat) S 24908 24911 24407 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30046913 1341722624 268396 33554432000 4194304 16246674 140734680864992 139771755076848 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=24911/tid=24914] ppid=24908 vsize=1310276 CPUtime=0 cores=1,3,5,7
/proc/24911/task/24914/stat : 24914 (toysat) S 24908 24911 24407 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 30046913 1341722624 268396 33554432000 4194304 16246674 140734680864992 139771744603312 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 1310276

[startup+12.7004 s]
/proc/loadavg: 2.03 2.07 2.07 4/184 24915
/proc/meminfo: memFree=28975044/32872528 swapFree=534252/566956
[pid=24911] ppid=24908 vsize=1314372 CPUtime=12.68 cores=1,3,5,7
/proc/24911/stat : 24911 (toysat) R 24908 24911 24407 0 -1 4202496 269765 0 0 0 1233 35 0 0 20 0 4 0 30046913 1345916928 269562 33554432000 4194304 16246674 140734680864992 140734680847992 5722712 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/24911/statm: 328593 269562 890 2943 0 325487 0
[pid=24911/tid=24912] ppid=24908 vsize=1314372 CPUtime=0 cores=1,3,5,7
/proc/24911/task/24912/stat : 24912 (toysat) S 24908 24911 24407 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 30046913 1345916928 269562 33554432000 4194304 16246674 140734680864992 139771765566704 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=24911/tid=24913] ppid=24908 vsize=1314372 CPUtime=0 cores=1,3,5,7
/proc/24911/task/24913/stat : 24913 (toysat) S 24908 24911 24407 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30046913 1345916928 269562 33554432000 4194304 16246674 140734680864992 139771755076848 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=24911/tid=24914] ppid=24908 vsize=1314372 CPUtime=0 cores=1,3,5,7
/proc/24911/task/24914/stat : 24914 (toysat) S 24908 24911 24407 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 30046913 1345916928 269562 33554432000 4194304 16246674 140734680864992 139771744603312 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 1314372

[startup+25.5005 s]
/proc/loadavg: 2.02 2.07 2.06 4/184 24915
/proc/meminfo: memFree=28968860/32872528 swapFree=534252/566956
[pid=24911] ppid=24908 vsize=1318468 CPUtime=25.48 cores=1,3,5,7
/proc/24911/stat : 24911 (toysat) R 24908 24911 24407 0 -1 4202496 270790 0 0 0 2513 35 0 0 20 0 4 0 30046913 1350111232 270587 33554432000 4194304 16246674 140734680864992 140734680846912 13943664 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/24911/statm: 329617 270587 891 2943 0 326511 0
[pid=24911/tid=24912] ppid=24908 vsize=1318468 CPUtime=0 cores=1,3,5,7
/proc/24911/task/24912/stat : 24912 (toysat) S 24908 24911 24407 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 30046913 1350111232 270587 33554432000 4194304 16246674 140734680864992 139771765566704 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=24911/tid=24913] ppid=24908 vsize=1318468 CPUtime=0 cores=1,3,5,7
/proc/24911/task/24913/stat : 24913 (toysat) S 24908 24911 24407 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30046913 1350111232 270587 33554432000 4194304 16246674 140734680864992 139771755076848 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=24911/tid=24914] ppid=24908 vsize=1318468 CPUtime=0 cores=1,3,5,7
/proc/24911/task/24914/stat : 24914 (toysat) S 24908 24911 24407 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 30046913 1350111232 270587 33554432000 4194304 16246674 140734680864992 139771744603312 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 1318468

[startup+51.1005 s]
/proc/loadavg: 2.09 2.08 2.07 4/184 24937
/proc/meminfo: memFree=28962648/32872528 swapFree=534252/566956
[pid=24911] ppid=24908 vsize=1320516 CPUtime=51.08 cores=1,3,5,7
/proc/24911/stat : 24911 (toysat) R 24908 24911 24407 0 -1 4202496 271302 0 0 0 5072 36 0 0 20 0 4 0 30046913 1352208384 271099 33554432000 4194304 16246674 140734680864992 140734680847992 5721633 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/24911/statm: 330129 271099 891 2943 0 327023 0
[pid=24911/tid=24912] ppid=24908 vsize=1320516 CPUtime=0 cores=1,3,5,7
/proc/24911/task/24912/stat : 24912 (toysat) S 24908 24911 24407 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 30046913 1352208384 271099 33554432000 4194304 16246674 140734680864992 139771765566704 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=24911/tid=24913] ppid=24908 vsize=1320516 CPUtime=0 cores=1,3,5,7
/proc/24911/task/24913/stat : 24913 (toysat) S 24908 24911 24407 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30046913 1352208384 271099 33554432000 4194304 16246674 140734680864992 139771755076848 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=24911/tid=24914] ppid=24908 vsize=1320516 CPUtime=0 cores=1,3,5,7
/proc/24911/task/24914/stat : 24914 (toysat) S 24908 24911 24407 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 30046913 1352208384 271099 33554432000 4194304 16246674 140734680864992 139771744603312 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 1320516

[startup+102.3 s]
/proc/loadavg: 2.03 2.06 2.06 4/184 24939
/proc/meminfo: memFree=28931088/32872528 swapFree=534252/566956
[pid=24911] ppid=24908 vsize=1340996 CPUtime=102.29 cores=1,3,5,7
/proc/24911/stat : 24911 (toysat) R 24908 24911 24407 0 -1 4202496 276422 0 0 0 10191 38 0 0 20 0 4 0 30046913 1373179904 276219 33554432000 4194304 16246674 140734680864992 140734680846912 5672188 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/24911/statm: 335249 276219 891 2943 0 332143 0
[pid=24911/tid=24912] ppid=24908 vsize=1340996 CPUtime=0 cores=1,3,5,7
/proc/24911/task/24912/stat : 24912 (toysat) S 24908 24911 24407 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 30046913 1373179904 276219 33554432000 4194304 16246674 140734680864992 139771765566704 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=24911/tid=24913] ppid=24908 vsize=1340996 CPUtime=0 cores=1,3,5,7
/proc/24911/task/24913/stat : 24913 (toysat) S 24908 24911 24407 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30046913 1373179904 276219 33554432000 4194304 16246674 140734680864992 139771755076848 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=24911/tid=24914] ppid=24908 vsize=1340996 CPUtime=0 cores=1,3,5,7
/proc/24911/task/24914/stat : 24914 (toysat) S 24908 24911 24407 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 30046913 1373179904 276219 33554432000 4194304 16246674 140734680864992 139771744603312 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 102.29
Current children cumulated vsize (KiB) 1340996


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

/proc/24911/task/24914/stat : 24914 (toysat) S 24908 24911 24407 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 30046913 1387859968 280059 33554432000 4194304 16246674 140734680864992 139771744603312 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1241.85
Current children cumulated vsize (KiB) 1355332

[startup+1302.3 s]
/proc/loadavg: 2.05 2.06 2.07 3/182 25065
/proc/meminfo: memFree=28825824/32872528 swapFree=534252/566956
[pid=24911] ppid=24908 vsize=1355332 CPUtime=1301.83 cores=1,3,5,7
/proc/24911/stat : 24911 (toysat) R 24908 24911 24407 0 -1 4202496 280406 0 0 0 130127 56 0 0 20 0 4 0 30046913 1387859968 280059 33554432000 4194304 16246674 140734680864992 140734680846912 5823849 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/24911/statm: 338833 280059 891 2943 0 335727 0
[pid=24911/tid=24912] ppid=24908 vsize=1355332 CPUtime=0 cores=1,3,5,7
/proc/24911/task/24912/stat : 24912 (toysat) S 24908 24911 24407 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 30046913 1387859968 280059 33554432000 4194304 16246674 140734680864992 139771765566704 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=24911/tid=24913] ppid=24908 vsize=1355332 CPUtime=0 cores=1,3,5,7
/proc/24911/task/24913/stat : 24913 (toysat) S 24908 24911 24407 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30046913 1387859968 280059 33554432000 4194304 16246674 140734680864992 139771755076848 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=24911/tid=24914] ppid=24908 vsize=1355332 CPUtime=0 cores=1,3,5,7
/proc/24911/task/24914/stat : 24914 (toysat) S 24908 24911 24407 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 30046913 1387859968 280059 33554432000 4194304 16246674 140734680864992 139771744603312 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1301.83
Current children cumulated vsize (KiB) 1355332

[startup+1362.3 s]
/proc/loadavg: 2.02 2.05 2.06 3/183 25067
/proc/meminfo: memFree=28825472/32872528 swapFree=534252/566956
[pid=24911] ppid=24908 vsize=1355332 CPUtime=1361.83 cores=1,3,5,7
/proc/24911/stat : 24911 (toysat) R 24908 24911 24407 0 -1 4202496 280406 0 0 0 136126 57 0 0 20 0 4 0 30046913 1387859968 280059 33554432000 4194304 16246674 140734680864992 140734680846912 5672188 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/24911/statm: 338833 280059 891 2943 0 335727 0
[pid=24911/tid=24912] ppid=24908 vsize=1355332 CPUtime=0 cores=1,3,5,7
/proc/24911/task/24912/stat : 24912 (toysat) S 24908 24911 24407 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 30046913 1387859968 280059 33554432000 4194304 16246674 140734680864992 139771765566704 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=24911/tid=24913] ppid=24908 vsize=1355332 CPUtime=0 cores=1,3,5,7
/proc/24911/task/24913/stat : 24913 (toysat) S 24908 24911 24407 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30046913 1387859968 280059 33554432000 4194304 16246674 140734680864992 139771755076848 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=24911/tid=24914] ppid=24908 vsize=1355332 CPUtime=0 cores=1,3,5,7
/proc/24911/task/24914/stat : 24914 (toysat) S 24908 24911 24407 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 30046913 1387859968 280059 33554432000 4194304 16246674 140734680864992 139771744603312 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1361.83
Current children cumulated vsize (KiB) 1355332

[startup+1422.3 s]
/proc/loadavg: 2.04 2.05 2.06 3/183 25068
/proc/meminfo: memFree=28825256/32872528 swapFree=534252/566956
[pid=24911] ppid=24908 vsize=1355332 CPUtime=1421.83 cores=1,3,5,7
/proc/24911/stat : 24911 (toysat) R 24908 24911 24407 0 -1 4202496 280406 0 0 0 142125 58 0 0 20 0 4 0 30046913 1387859968 280059 33554432000 4194304 16246674 140734680864992 140734680846912 6012004 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/24911/statm: 338833 280059 891 2943 0 335727 0
[pid=24911/tid=24912] ppid=24908 vsize=1355332 CPUtime=0 cores=1,3,5,7
/proc/24911/task/24912/stat : 24912 (toysat) S 24908 24911 24407 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 30046913 1387859968 280059 33554432000 4194304 16246674 140734680864992 139771765566704 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=24911/tid=24913] ppid=24908 vsize=1355332 CPUtime=0 cores=1,3,5,7
/proc/24911/task/24913/stat : 24913 (toysat) S 24908 24911 24407 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30046913 1387859968 280059 33554432000 4194304 16246674 140734680864992 139771755076848 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=24911/tid=24914] ppid=24908 vsize=1355332 CPUtime=0 cores=1,3,5,7
/proc/24911/task/24914/stat : 24914 (toysat) S 24908 24911 24407 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 30046913 1387859968 280059 33554432000 4194304 16246674 140734680864992 139771744603312 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1421.83
Current children cumulated vsize (KiB) 1355332

[startup+1482.3 s]
/proc/loadavg: 2.14 2.07 2.07 3/182 25069
/proc/meminfo: memFree=28825924/32872528 swapFree=534252/566956
[pid=24911] ppid=24908 vsize=1355332 CPUtime=1481.81 cores=1,3,5,7
/proc/24911/stat : 24911 (toysat) R 24908 24911 24407 0 -1 4202496 280406 0 0 0 148122 59 0 0 20 0 4 0 30046913 1387859968 280059 33554432000 4194304 16246674 140734680864992 140734680846912 13950230 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/24911/statm: 338833 280059 891 2943 0 335727 0
[pid=24911/tid=24912] ppid=24908 vsize=1355332 CPUtime=0 cores=1,3,5,7
/proc/24911/task/24912/stat : 24912 (toysat) S 24908 24911 24407 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 30046913 1387859968 280059 33554432000 4194304 16246674 140734680864992 139771765566704 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=24911/tid=24913] ppid=24908 vsize=1355332 CPUtime=0 cores=1,3,5,7
/proc/24911/task/24913/stat : 24913 (toysat) S 24908 24911 24407 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30046913 1387859968 280059 33554432000 4194304 16246674 140734680864992 139771755076848 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=24911/tid=24914] ppid=24908 vsize=1355332 CPUtime=0 cores=1,3,5,7
/proc/24911/task/24914/stat : 24914 (toysat) S 24908 24911 24407 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 30046913 1387859968 280059 33554432000 4194304 16246674 140734680864992 139771744603312 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1481.81
Current children cumulated vsize (KiB) 1355332

[startup+1542.31 s]
/proc/loadavg: 2.05 2.05 2.06 3/183 25071
/proc/meminfo: memFree=28824840/32872528 swapFree=534252/566956
[pid=24911] ppid=24908 vsize=1355332 CPUtime=1541.81 cores=1,3,5,7
/proc/24911/stat : 24911 (toysat) R 24908 24911 24407 0 -1 4202496 280406 0 0 0 154121 60 0 0 20 0 4 0 30046913 1387859968 280059 33554432000 4194304 16246674 140734680864992 140734680864168 12478347 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/24911/statm: 338833 280059 891 2943 0 335727 0
[pid=24911/tid=24912] ppid=24908 vsize=1355332 CPUtime=0 cores=1,3,5,7
/proc/24911/task/24912/stat : 24912 (toysat) S 24908 24911 24407 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 30046913 1387859968 280059 33554432000 4194304 16246674 140734680864992 139771765566704 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=24911/tid=24913] ppid=24908 vsize=1355332 CPUtime=0 cores=1,3,5,7
/proc/24911/task/24913/stat : 24913 (toysat) S 24908 24911 24407 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30046913 1387859968 280059 33554432000 4194304 16246674 140734680864992 139771755076848 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=24911/tid=24914] ppid=24908 vsize=1355332 CPUtime=0 cores=1,3,5,7
/proc/24911/task/24914/stat : 24914 (toysat) S 24908 24911 24407 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 30046913 1387859968 280059 33554432000 4194304 16246674 140734680864992 139771744603312 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1541.81
Current children cumulated vsize (KiB) 1355332

[startup+1602.3 s]
/proc/loadavg: 2.02 2.04 2.06 3/183 25072
/proc/meminfo: memFree=28825116/32872528 swapFree=534252/566956
[pid=24911] ppid=24908 vsize=1355332 CPUtime=1601.79 cores=1,3,5,7
/proc/24911/stat : 24911 (toysat) R 24908 24911 24407 0 -1 4202496 280406 0 0 0 160119 60 0 0 20 0 4 0 30046913 1387859968 280059 33554432000 4194304 16246674 140734680864992 140734680846912 5721504 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/24911/statm: 338833 280059 891 2943 0 335727 0
[pid=24911/tid=24912] ppid=24908 vsize=1355332 CPUtime=0 cores=1,3,5,7
/proc/24911/task/24912/stat : 24912 (toysat) S 24908 24911 24407 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 30046913 1387859968 280059 33554432000 4194304 16246674 140734680864992 139771765566704 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=24911/tid=24913] ppid=24908 vsize=1355332 CPUtime=0 cores=1,3,5,7
/proc/24911/task/24913/stat : 24913 (toysat) S 24908 24911 24407 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30046913 1387859968 280059 33554432000 4194304 16246674 140734680864992 139771755076848 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=24911/tid=24914] ppid=24908 vsize=1355332 CPUtime=0 cores=1,3,5,7
/proc/24911/task/24914/stat : 24914 (toysat) S 24908 24911 24407 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 30046913 1387859968 280059 33554432000 4194304 16246674 140734680864992 139771744603312 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1601.79
Current children cumulated vsize (KiB) 1355332

[startup+1662.3 s]
/proc/loadavg: 2.07 2.05 2.06 3/183 25074
/proc/meminfo: memFree=28825272/32872528 swapFree=534252/566956
[pid=24911] ppid=24908 vsize=1355332 CPUtime=1661.78 cores=1,3,5,7
/proc/24911/stat : 24911 (toysat) R 24908 24911 24407 0 -1 4202496 280406 0 0 0 166117 61 0 0 20 0 4 0 30046913 1387859968 280059 33554432000 4194304 16246674 140734680864992 140734680846912 5822604 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/24911/statm: 338833 280059 891 2943 0 335727 0
[pid=24911/tid=24912] ppid=24908 vsize=1355332 CPUtime=0 cores=1,3,5,7
/proc/24911/task/24912/stat : 24912 (toysat) S 24908 24911 24407 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 30046913 1387859968 280059 33554432000 4194304 16246674 140734680864992 139771765566704 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=24911/tid=24913] ppid=24908 vsize=1355332 CPUtime=0 cores=1,3,5,7
/proc/24911/task/24913/stat : 24913 (toysat) S 24908 24911 24407 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30046913 1387859968 280059 33554432000 4194304 16246674 140734680864992 139771755076848 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=24911/tid=24914] ppid=24908 vsize=1355332 CPUtime=0 cores=1,3,5,7
/proc/24911/task/24914/stat : 24914 (toysat) S 24908 24911 24407 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 30046913 1387859968 280059 33554432000 4194304 16246674 140734680864992 139771744603312 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1661.78
Current children cumulated vsize (KiB) 1355332

[startup+1722.3 s]
/proc/loadavg: 2.11 2.07 2.06 3/183 25075
/proc/meminfo: memFree=28825624/32872528 swapFree=534252/566956
[pid=24911] ppid=24908 vsize=1355332 CPUtime=1721.78 cores=1,3,5,7
/proc/24911/stat : 24911 (toysat) R 24908 24911 24407 0 -1 4202496 280406 0 0 0 172115 63 0 0 20 0 4 0 30046913 1387859968 280059 33554432000 4194304 16246674 140734680864992 140734680846912 5823367 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/24911/statm: 338833 280059 891 2943 0 335727 0
[pid=24911/tid=24912] ppid=24908 vsize=1355332 CPUtime=0 cores=1,3,5,7
/proc/24911/task/24912/stat : 24912 (toysat) S 24908 24911 24407 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 30046913 1387859968 280059 33554432000 4194304 16246674 140734680864992 139771765566704 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=24911/tid=24913] ppid=24908 vsize=1355332 CPUtime=0 cores=1,3,5,7
/proc/24911/task/24913/stat : 24913 (toysat) S 24908 24911 24407 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30046913 1387859968 280059 33554432000 4194304 16246674 140734680864992 139771755076848 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=24911/tid=24914] ppid=24908 vsize=1355332 CPUtime=0 cores=1,3,5,7
/proc/24911/task/24914/stat : 24914 (toysat) S 24908 24911 24407 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 30046913 1387859968 280059 33554432000 4194304 16246674 140734680864992 139771744603312 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1721.78
Current children cumulated vsize (KiB) 1355332

[startup+1782.3 s]
/proc/loadavg: 2.25 2.11 2.08 3/183 25076
/proc/meminfo: memFree=28825508/32872528 swapFree=534252/566956
[pid=24911] ppid=24908 vsize=1355332 CPUtime=1781.76 cores=1,3,5,7
/proc/24911/stat : 24911 (toysat) R 24908 24911 24407 0 -1 4202496 280406 0 0 0 178113 63 0 0 20 0 4 0 30046913 1387859968 280059 33554432000 4194304 16246674 140734680864992 140734680846912 5545988 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/24911/statm: 338833 280059 891 2943 0 335727 0
[pid=24911/tid=24912] ppid=24908 vsize=1355332 CPUtime=0 cores=1,3,5,7
/proc/24911/task/24912/stat : 24912 (toysat) S 24908 24911 24407 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 30046913 1387859968 280059 33554432000 4194304 16246674 140734680864992 139771765566704 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=24911/tid=24913] ppid=24908 vsize=1355332 CPUtime=0 cores=1,3,5,7
/proc/24911/task/24913/stat : 24913 (toysat) S 24908 24911 24407 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30046913 1387859968 280059 33554432000 4194304 16246674 140734680864992 139771755076848 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=24911/tid=24914] ppid=24908 vsize=1355332 CPUtime=0 cores=1,3,5,7
/proc/24911/task/24914/stat : 24914 (toysat) S 24908 24911 24407 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 30046913 1387859968 280059 33554432000 4194304 16246674 140734680864992 139771744603312 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1781.76
Current children cumulated vsize (KiB) 1355332



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.6 s]
/proc/loadavg: 2.20 2.10 2.07 3/184 25080
/proc/meminfo: memFree=28825148/32872528 swapFree=534252/566956
[pid=24911] ppid=24908 vsize=1355332 CPUtime=1800.06 cores=1,3,5,7
/proc/24911/stat : 24911 (toysat) R 24908 24911 24407 0 -1 4202496 280406 0 0 0 179942 64 0 0 20 0 4 0 30046913 1387859968 280059 33554432000 4194304 16246674 140734680864992 140734680846912 5827966 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/24911/statm: 338833 280059 891 2943 0 335727 0
[pid=24911/tid=24912] ppid=24908 vsize=1355332 CPUtime=0 cores=1,3,5,7
/proc/24911/task/24912/stat : 24912 (toysat) S 24908 24911 24407 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 30046913 1387859968 280059 33554432000 4194304 16246674 140734680864992 139771765566704 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=24911/tid=24913] ppid=24908 vsize=1355332 CPUtime=0 cores=1,3,5,7
/proc/24911/task/24913/stat : 24913 (toysat) S 24908 24911 24407 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30046913 1387859968 280059 33554432000 4194304 16246674 140734680864992 139771755076848 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=24911/tid=24914] ppid=24908 vsize=1355332 CPUtime=0 cores=1,3,5,7
/proc/24911/task/24914/stat : 24914 (toysat) S 24908 24911 24407 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 30046913 1387859968 280059 33554432000 4194304 16246674 140734680864992 139771744603312 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1800.06
Current children cumulated vsize (KiB) 1355332

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 24911 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.07
CPU user time (s): 1799.43
CPU system time (s): 0.641902
CPU usage (%): 99.9702
Max. virtual memory (cumulated for all children) (KiB): 1355332

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.43
system time used= 0.641902
maximum resident set size= 1120236
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 280406
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= 413
involuntary context switches= 1964

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 4.47532 second user time and 7.06093 second system time

The end

Begin job on node138 at 2016-06-18 22:00:13
IDJOB=4106907
IDBENCH=48317
IDSOLVER=2542
FILE ID=node138/4106907-1466280013
RUNJOBID= node138-1466276409-24424
PBS_JOBID= 19918262
Free space on /tmp= 71716 MiB

SOLVER NAME= toysat 2016-05-02
BENCH NAME= PB07/normalized-PB07/SATUNSAT-SMALLINT-NLC/submittedPB07/manquinho/dbsg/normalized-dbsg_100_25_3_15.opb
COMMAND LINE= toysat +RTS -H1G -MMEMLIMITm -K1G -RTS --pb --search=bcd2 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4106907-1466280013/watcher-4106907-1466280013 -o /tmp/evaluation-result-4106907-1466280013/solver-4106907-1466280013 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node138-1466276409-24424 --watchdog 1960  toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4106907-1466280013.opb

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

MD5SUM BENCH= 0f8b3c4075c45404d33689fa65bc6a7e
RANDOM SEED=1471016593

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:       32872528 kB
MemFree:        30143868 kB
Buffers:          150204 kB
Cached:           280012 kB
SwapCached:         1060 kB
Active:          1119508 kB
Inactive:         297960 kB
Active(anon):     987876 kB
Inactive(anon):     1696 kB
Active(file):     131632 kB
Inactive(file):   296264 kB
Unevictable:      566956 kB
Mlocked:          534252 kB
SwapTotal:      67108856 kB
SwapFree:       67099640 kB
Dirty:             33048 kB
Writeback:             0 kB
AnonPages:       1555812 kB
Mapped:            10312 kB
Shmem:                 0 kB
Slab:             609588 kB
SReclaimable:      52084 kB
SUnreclaim:       557504 kB
KernelStack:        1464 kB
PageTables:         6780 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    1700304 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:     36864 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= 71700 MiB
End job on node138 at 2016-06-18 22:30:14