0.00/0.00	c 2016-06-15T21:22: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-4088910-1466018533.opb"]
0.00/0.01	c use --random-gen="2040688828 1399066463 2155563676 423056754 2667631423 4234696337 2496057791 2629171078 1273335861 163531211 49333588 2069338735 791796146 4207741921 2352312220 643201420 2113550451 812269252 1960782663 2532048806 1451994719 1745867272 1271523528 2348978228 884999637 82818097 1812647819 953138614 418756305 1582024987 4155451285 226160805 1857356972 1479085944 345378073 2662347318 3018073706 2251636309 3490318338 1282589756 3215827943 3371189099 520187307 3623685555 825596430 397194078 2269639352 2517374571 1852209099 1114006554 11026184 2620443420 4105945179 2061116669 3724640784 1249883015 2474890505 1860198773 2269109698 3650767256 3993981892 1225264398 555300177 4108549103 3867194523 529459673 1080600649 3477177440 1497189920 1256956042 3531619275 721917256 2926082172 2598727273 3905067120 21482479 2652939780 1318918301 1635654662 2509629380 505024626 2509161313 4179113951 444868771 3647183349 348208743 1410749523 3914837240 2198024676 704426975 1052839692 823869421 3232420691 3387788502 2644864234 1782638690 481442256 4054691260 3284453325 2506689117 2906185165 2640483661 3915563337 3642065948 2871163526 1229736925 153496483 3181387017 861742156 4209268710 2384078115 2061648991 3235691836 622991777 1435233655 3017983101 3924274435 977797823 2970934603 4213153144 114175139 287115475 1407867749 465261899 911048060 2369239920 3515366977 2819638224 982104594 2744001520 3130364548 643116304 4157448882 3439997966 2053661110 892433828 4232099279 1546810943 4127950333 3503782002 2229099082 1411097029 1312621050 3185852293 125049952 1256177920 1462283852 772562207 682220872 2642243395 2335205998 290176796 2772391109 3200481352 1206410194 1256679406 476792932 2358792830 3961493886 2203749379 3363777743 2953822602 1171599593 2156221716 2278029595 1388409721 3745627409 3413325627 2337351289 3652568662 3149246853 1030342164 2825364957 3513180456 2861658841 2366062292 2293167523 2901311740 2177724887 3067776949 3419689566 1241295767 105336696 473311129 3108972352 1432456510 2111492568 450120004 2361048002 1396802674 2687659270 883536325 4039030519 2400194582 3260293950 2901955432 2159746707 3268803796 394105156 3908617546 562512040 295206432 2547616427 1712280117 2194994895 1964947284 638729109 1999813533 2196012711 2379644314 1912949571 2013009947 599888928 2104255730 3779695637 882522339 968983124 1968214717 2067029688 3447527248 1844491044 3439342609 1619258558 2552297168 136939007 3152336599 3898787034 3462551004 4267492752 3356346703 3795627509 3957094882 1278831399 1979953562 2700872700 4056427336 3964272691 3062541388 1081751998 261643557 3437221452 3038219530 3449156551 2030839688 3015412348 4085110137 1364521357 1951803459 1766409667 2610044748 1498012638 3580876053 3239137482 1846577120 2921471961 546467942 255 362436" option to reproduce the execution
0.00/0.06	c #vars 8580
0.00/0.06	c #constraints 2146
0.09/0.13	c Solving starts ...
0.09/0.13	c ============================[ Search Statistics ]============================
0.09/0.13	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
0.09/0.13	c       |         |          |          |    Limit     GC | Var      | Constra 
0.09/0.13	c =============================================================================
0.09/0.13	c  0.0s |       0 |        0 |        0 |     3575      0 |        0 |        0
0.09/0.18	c  0.1s |       1 |      654 |      100 |     3575      0 |        0 |        0
0.09/0.20	c  0.1s |       2 |     1119 |      250 |     3933      0 |        0 |        0
0.18/0.21	c  0.1s |       3 |     1515 |      475 |     4327      0 |        0 |        0
0.18/0.24	c  0.1s |       4 |     2238 |      813 |     4760      0 |        0 |        0
0.18/0.28	c  0.2s |       5 |     3335 |     1320 |     5236      0 |        0 |        0
0.29/0.34	c  0.2s |       6 |     6058 |     2081 |     6337      0 |        0 |        0
0.39/0.46	c  0.3s |       7 |    11738 |     3223 |     6971      0 |        0 |        0
0.59/0.62	c  0.5s |       8 |    15224 |     4936 |     7669      0 |        0 |        0
0.79/0.89	c  0.8s |       9 |    19608 |     7506 |     8436      0 |        0 |        0
1.19/1.22	c  1.1s |      10 |    26789 |    11361 |     9280      1 |        0 |        0
1.49/1.58	c  1.5s |      11 |    39559 |    17144 |    10208      2 |        0 |        0
2.29/2.38	c  2.2s |      12 |    58720 |    25819 |    11229      3 |        0 |        0
3.29/3.38	c  3.3s |      13 |    84857 |    38832 |    12352      5 |        0 |        0
5.09/5.17	c  5.0s |      14 |   117835 |    58352 |    13588      8 |        0 |        0
7.19/7.27	c  7.1s |      14 |   176780 |    83652 |    13588     12 |        0 |        0
7.59/7.60	c  7.5s |      15 |   182886 |    87632 |    14947     12 |        0 |        0
9.59/9.60	c  9.5s |      15 |   245648 |   114832 |    14947     15 |        0 |        0
11.18/11.22	c 11.1s |      16 |   303701 |   131552 |    16442     17 |        0 |        0
13.20/13.22	c 13.1s |      16 |   349981 |   152752 |    16442     20 |        0 |        0
15.19/15.28	c 15.2s |      16 |   426018 |   176852 |    16442     23 |        0 |        0
17.09/17.10	c 17.0s |      17 |   465247 |   197432 |    18087     24 |        0 |        0
19.09/19.11	c 19.0s |      17 |   508420 |   216832 |    18087     27 |        0 |        0
21.09/21.11	c 21.0s |      17 |   555577 |   232732 |    18087     28 |        0 |        0
23.09/23.12	c 23.0s |      17 |   600858 |   254132 |    18087     30 |        0 |        0
25.08/25.12	c 25.0s |      17 |   664752 |   272032 |    18087     32 |        0 |        0
27.08/27.12	c 27.0s |      17 |   791010 |   291932 |    18087     34 |        0 |        0
27.59/27.63	c 27.5s |      18 |   815423 |   296252 |    19896     34 |        0 |        0
29.58/29.64	c 29.5s |      18 |   857429 |   318452 |    19896     37 |        0 |        0
31.58/31.65	c 31.5s |      18 |   909846 |   340452 |    19896     39 |        0 |        0
33.58/33.65	c 33.5s |      18 |   974406 |   363852 |    19896     41 |        0 |        0
35.58/35.66	c 35.5s |      18 |  1024124 |   383752 |    19896     43 |        0 |        0
37.58/37.66	c 37.5s |      18 |  1043720 |   397052 |    19896     44 |        0 |        0
39.59/39.68	c 39.6s |      18 |  1089547 |   412352 |    19896     46 |        0 |        0
41.58/41.69	c 41.6s |      18 |  1161890 |   434852 |    19896     48 |        0 |        0
42.38/42.41	c 42.3s |      19 |  1183209 |   444482 |    21886     48 |        0 |        0
44.48/44.50	c 44.4s |      19 |  1237921 |   464482 |    21886     50 |        0 |        0
46.49/46.51	c 46.4s |      19 |  1305963 |   480982 |    21886     52 |        0 |        0
48.49/48.52	c 48.4s |      19 |  1397607 |   502282 |    21886     53 |        0 |        0
50.48/50.52	c 50.4s |      19 |  1466955 |   521982 |    21886     55 |        0 |        0
52.48/52.53	c 52.4s |      19 |  1510226 |   544882 |    21886     56 |        0 |        0
54.48/54.58	c 54.5s |      19 |  1530609 |   557382 |    21886     58 |        0 |        0
56.48/56.58	c 56.5s |      19 |  1563868 |   575182 |    21886     59 |        0 |        0
58.58/58.61	c 58.5s |      19 |  1593501 |   593582 |    21886     61 |        0 |        0
60.59/60.67	c 60.5s |      19 |  1618257 |   608682 |    21886     62 |        0 |        0
62.58/62.67	c 62.5s |      19 |  1637625 |   621482 |    21886     63 |        0 |        0
64.58/64.67	c 64.5s |      19 |  1650903 |   631082 |    21886     64 |        0 |        0
66.58/66.68	c 66.5s |      19 |  1676841 |   644582 |    21886     65 |        0 |        0
68.58/68.68	c 68.6s |      19 |  1750191 |   665482 |    24075     66 |        0 |        0
68.68/68.77	c 68.6s |      20 |  1752158 |   666827 |    24075     66 |        0 |        0
70.68/70.78	c 70.6s |      20 |  1776342 |   682427 |    24075     68 |        0 |        0
72.69/72.78	c 72.6s |      20 |  1806659 |   700527 |    24075     69 |        0 |        0
74.68/74.78	c 74.7s |      20 |  1863940 |   721427 |    24075     71 |        0 |        0
76.78/76.80	c 76.7s |      20 |  1903736 |   741627 |    24075     73 |        0 |        0
78.78/78.81	c 78.7s |      20 |  1984090 |   763827 |    24075     74 |        0 |        0
80.78/80.82	c 80.7s |      20 |  2029218 |   784827 |    24075     76 |        0 |        0
82.78/82.83	c 82.7s |      20 |  2059849 |   803027 |    24075     78 |        0 |        0
84.78/84.84	c 84.7s |      20 |  2073324 |   811927 |    24075     78 |        0 |        0
86.77/86.84	c 86.7s |      20 |  2088302 |   821227 |    24075     79 |        0 |        0
88.77/88.84	c 88.7s |      20 |  2150872 |   842627 |    24075     81 |        0 |        0
90.97/91.08	c 90.9s |      20 |  2207102 |   862827 |    24075     82 |        0 |        0
92.97/93.08	c 93.0s |      20 |  2277624 |   882327 |    24075     84 |        0 |        0
95.07/95.10	c 95.0s |      20 |  2319962 |   899027 |    24075     85 |        0 |        0
97.07/97.11	c 97.0s |      20 |  2333193 |   907827 |    24075     85 |        0 |        0
99.08/99.13	c 99.0s |      20 |  2341927 |   914027 |    24075     86 |        0 |        0
101.08/101.13	c  101s |      20 |  2368233 |   927327 |    24075     87 |        0 |        0
103.08/103.14	c  103s |      20 |  2401641 |   946627 |    24075     88 |        0 |        0
105.08/105.14	c  105s |      20 |  2431339 |   963527 |    24075     90 |        0 |        0
107.07/107.15	c  107s |      20 |  2519270 |   983327 |    24075     91 |        0 |        0
108.77/108.85	c  108s |      21 |  2558543 |  1000345 |    26483     92 |        0 |        0
110.77/110.85	c  110s |      21 |  2594508 |  1018145 |    26483     94 |        0 |        0
112.77/112.85	c  112s |      21 |  2634086 |  1039945 |    26483     95 |        0 |        0
114.77/114.86	c  114s |      21 |  2689432 |  1063345 |    26483     97 |        0 |        0
116.77/116.86	c  116s |      21 |  2729681 |  1081245 |    26483     98 |        0 |        0
118.77/118.87	c  118s |      21 |  2763753 |  1101645 |    26483    100 |        0 |        0
120.77/120.88	c  120s |      21 |  2803953 |  1120745 |    26483    101 |        0 |        0
122.77/122.88	c  122s |      21 |  2849003 |  1143745 |    26483    103 |        0 |        0
124.77/124.89	c  124s |      21 |  2927927 |  1166945 |    26483    105 |        0 |        0
126.77/126.90	c  126s |      21 |  2978863 |  1187445 |    26483    106 |        0 |        0
128.87/128.91	c  128s |      21 |  3001679 |  1203045 |    26483    107 |        0 |        0
130.88/130.92	c  130s |      21 |  3036724 |  1216245 |    26483    108 |        0 |        0
132.87/132.92	c  132s |      21 |  3073415 |  1233045 |    26483    109 |        0 |        0
134.87/134.93	c  134s |      21 |  3115699 |  1251045 |    26483    111 |        0 |        0
136.87/136.94	c  136s |      21 |  3139717 |  1264445 |    26483    112 |        0 |        0
138.87/138.96	c  138s |      21 |  3165439 |  1281045 |    26483    113 |        0 |        0
140.88/140.97	c  140s |      21 |  3233638 |  1299945 |    26483    114 |        0 |        0
142.87/142.98	c  142s |      21 |  3290114 |  1317645 |    26483    116 |        0 |        0
144.87/144.99	c  144s |      21 |  3325409 |  1336745 |    26483    117 |        0 |        0
146.97/147.00	c  146s |      21 |  3383873 |  1354045 |    26483    118 |        0 |        0
148.97/149.00	c  148s |      21 |  3412233 |  1372545 |    26483    120 |        0 |        0
150.97/151.01	c  150s |      21 |  3428619 |  1383345 |    26483    120 |        0 |        0
152.98/153.02	c  152s |      21 |  3452747 |  1398245 |    26483    122 |        0 |        0
154.97/155.03	c  154s |      21 |  3497671 |  1413645 |    26483    123 |        0 |        0
156.97/157.03	c  156s |      21 |  3530255 |  1432845 |    26483    124 |        0 |        0
158.96/159.04	c  158s |      21 |  3540690 |  1440345 |    26483    124 |        0 |        0
160.96/161.05	c  160s |      21 |  3547807 |  1445745 |    26483    125 |        0 |        0
162.96/163.09	c  162s |      21 |  3554647 |  1450645 |    26483    125 |        0 |        0
164.97/165.10	c  164s |      21 |  3601154 |  1459245 |    26483    126 |        0 |        0
167.06/167.10	c  166s |      21 |  3634748 |  1478445 |    26483    127 |        0 |        0
169.06/169.10	c  168s |      21 |  3658629 |  1492645 |    29132    128 |        0 |        0
170.16/170.24	c  170s |      22 |  3672379 |  1500622 |    29132    129 |        0 |        0
172.16/172.26	c  172s |      22 |  3706777 |  1518222 |    29132    130 |        0 |        0
174.26/174.34	c  174s |      22 |  3796901 |  1535522 |    29132    131 |        0 |        0
176.26/176.35	c  176s |      22 |  3817391 |  1548022 |    29132    132 |        0 |        0
178.26/178.37	c  178s |      22 |  3829191 |  1556322 |    29132    132 |        0 |        0
180.26/180.37	c  180s |      22 |  3851617 |  1562522 |    29132    133 |        0 |        0
182.26/182.37	c  182s |      22 |  3879590 |  1577222 |    29132    134 |        0 |        0
184.26/184.37	c  184s |      22 |  3914289 |  1597922 |    29132    135 |        0 |        0
186.27/186.38	c  186s |      22 |  3946431 |  1613722 |    29132    136 |        0 |        0
188.26/188.38	c  188s |      22 |  3971811 |  1629322 |    29132    137 |        0 |        0
190.46/190.50	c  190s |      22 |  4008826 |  1642022 |    29132    138 |        0 |        0
192.47/192.51	c  192s |      22 |  4064404 |  1656622 |    29132    139 |        0 |        0
194.46/194.54	c  194s |      22 |  4086916 |  1671322 |    29132    140 |        0 |        0
196.46/196.54	c  196s |      22 |  4130806 |  1689422 |    29132    141 |        0 |        0
198.46/198.54	c  198s |      22 |  4196876 |  1701222 |    29132    142 |        0 |        0
200.46/200.55	c  200s |      22 |  4270635 |  1726522 |    29132    144 |        0 |        0
202.46/202.55	c  202s |      22 |  4310055 |  1746022 |    29132    145 |        0 |        0
204.45/204.55	c  204s |      22 |  4393103 |  1761222 |    29132    146 |        0 |        0
206.45/206.55	c  206s |      22 |  4433883 |  1782222 |    29132    147 |        0 |        0
208.55/208.64	c  208s |      22 |  4499432 |  1798822 |    29132    149 |        0 |        0
210.56/210.64	c  210s |      22 |  4546055 |  1816122 |    29132    150 |        0 |        0
212.56/212.68	c  212s |      22 |  4607247 |  1834422 |    29132    151 |        0 |        0
214.66/214.70	c  214s |      22 |  4684156 |  1847222 |    29132    152 |        0 |        0
216.56/216.70	c  216s |      22 |  4731000 |  1866222 |    29132    153 |        0 |        0
218.66/218.71	c  218s |      22 |  4812193 |  1887222 |    29132    154 |        0 |        0
220.66/220.71	c  220s |      22 |  4876925 |  1910822 |    29132    156 |        0 |        0
222.66/222.72	c  222s |      22 |  4912584 |  1930022 |    29132    157 |        0 |        0
224.66/224.72	c  224s |      22 |  4945341 |  1947522 |    29132    159 |        0 |        0
226.66/226.72	c  226s |      22 |  4976814 |  1964422 |    29132    160 |        0 |        0
228.66/228.72	c  228s |      22 |  5012314 |  1980522 |    29132    161 |        0 |        0
230.65/230.73	c  230s |      22 |  5048122 |  2000722 |    29132    162 |        0 |        0
232.65/232.73	c  232s |      22 |  5100611 |  2022322 |    29132    164 |        0 |        0
234.65/234.73	c  234s |      22 |  5150817 |  2043422 |    29132    165 |        0 |        0
236.65/236.77	c  236s |      22 |  5187095 |  2062522 |    29132    166 |        0 |        0
238.66/238.78	c  238s |      22 |  5204425 |  2073622 |    29132    167 |        0 |        0
240.75/240.83	c  240s |      22 |  5225454 |  2086022 |    29132    168 |        0 |        0
242.75/242.83	c  242s |      22 |  5261888 |  2106022 |    29132    169 |        0 |        0
244.86/244.90	c  244s |      22 |  5292996 |  2121922 |    29132    170 |        0 |        0
246.86/246.90	c  246s |      22 |  5341286 |  2142522 |    29132    171 |        0 |        0
248.86/248.91	c  248s |      22 |  5355721 |  2152022 |    29132    172 |        0 |        0
250.86/250.91	c  250s |      22 |  5414023 |  2173022 |    29132    173 |        0 |        0
252.85/252.95	c  252s |      22 |  5473079 |  2191122 |    29132    175 |        0 |        0
254.85/254.95	c  254s |      22 |  5539686 |  2207722 |    29132    176 |        0 |        0
256.85/256.96	c  256s |      22 |  5558418 |  2220622 |    29132    176 |        0 |        0
258.85/258.96	c  258s |      22 |  5589115 |  2233822 |    29132    177 |        0 |        0
260.76/260.84	c  260s |      23 |  5619818 |  2251038 |    32046    178 |        0 |        0
262.75/262.85	c  262s |      23 |  5651121 |  2268938 |    32046    179 |        0 |        0
264.75/264.85	c  264s |      23 |  5697857 |  2284838 |    32046    180 |        0 |        0
266.75/266.86	c  266s |      23 |  5736835 |  2300238 |    32046    181 |        0 |        0
268.75/268.87	c  268s |      23 |  5767713 |  2318738 |    32046    182 |        0 |        0
270.75/270.88	c  270s |      23 |  5796594 |  2327138 |    32046    183 |        0 |        0
272.76/272.89	c  272s |      23 |  5838236 |  2344338 |    32046    184 |        0 |        0
274.85/274.90	c  274s |      23 |  5860930 |  2357838 |    32046    185 |        0 |        0
276.85/276.96	c  276s |      23 |  5908331 |  2375138 |    32046    186 |        0 |        0
278.85/278.97	c  278s |      23 |  5959965 |  2396438 |    32046    187 |        0 |        0
280.85/280.97	c  280s |      23 |  6021800 |  2415138 |    32046    188 |        0 |        0
282.85/282.97	c  282s |      23 |  6051843 |  2427638 |    32046    189 |        0 |        0
284.85/285.00	c  284s |      23 |  6108965 |  2447538 |    32046    190 |        0 |        0
286.95/287.04	c  286s |      23 |  6154050 |  2467638 |    32046    191 |        0 |        0
288.95/289.05	c  288s |      23 |  6202024 |  2488938 |    32046    192 |        0 |        0
290.95/291.05	c  290s |      23 |  6273222 |  2504738 |    32046    193 |        0 |        0
292.95/293.05	c  292s |      23 |  6369249 |  2521438 |    32046    194 |        0 |        0
294.95/295.06	c  294s |      23 |  6433945 |  2541138 |    32046    195 |        0 |        0
297.15/297.23	c  297s |      23 |  6484175 |  2558838 |    32046    197 |        0 |        0
299.15/299.23	c  299s |      23 |  6551354 |  2580138 |    32046    198 |        0 |        0
301.15/301.24	c  301s |      23 |  6580636 |  2598038 |    32046    199 |        0 |        0
303.14/303.26	c  303s |      23 |  6620060 |  2614738 |    32046    200 |        0 |        0
305.14/305.26	c  305s |      23 |  6659094 |  2631338 |    32046    201 |        0 |        0
307.14/307.26	c  307s |      23 |  6722204 |  2650838 |    32046    202 |        0 |        0
309.15/309.27	c  309s |      23 |  6753272 |  2667938 |    32046    203 |        0 |        0
311.25/311.36	c  311s |      23 |  6839569 |  2685538 |    32046    204 |        0 |        0
313.24/313.36	c  313s |      23 |  6899991 |  2708738 |    32046    205 |        0 |        0
315.25/315.36	c  315s |      23 |  6968242 |  2731238 |    32046    207 |        0 |        0
317.25/317.37	c  317s |      23 |  7037547 |  2751538 |    32046    208 |        0 |        0
319.25/319.37	c  319s |      23 |  7126981 |  2772938 |    32046    209 |        0 |        0
321.35/321.47	c  321s |      23 |  7178233 |  2796338 |    32046    211 |        0 |        0
323.35/323.47	c  323s |      23 |  7275096 |  2819938 |    32046    212 |        0 |        0
325.34/325.47	c  325s |      23 |  7317517 |  2839138 |    32046    213 |        0 |        0
327.34/327.47	c  327s |      23 |  7344716 |  2855038 |    32046    214 |        0 |        0
329.34/329.48	c  329s |      23 |  7369182 |  2865638 |    32046    215 |        0 |        0
331.34/331.48	c  331s |      23 |  7416761 |  2887138 |    32046    216 |        0 |        0
333.35/333.49	c  333s |      23 |  7449207 |  2904438 |    32046    217 |        0 |        0
335.34/335.49	c  335s |      23 |  7502241 |  2923538 |    32046    218 |        0 |        0
337.34/337.49	c  337s |      23 |  7531562 |  2940538 |    32046    219 |        0 |        0
339.44/339.50	c  339s |      23 |  7560509 |  2958438 |    32046    220 |        0 |        0
341.44/341.52	c  341s |      23 |  7573909 |  2967938 |    32046    221 |        0 |        0
343.44/343.52	c  343s |      23 |  7601498 |  2982038 |    32046    222 |        0 |        0
345.44/345.58	c  345s |      23 |  7655916 |  3001538 |    32046    223 |        0 |        0
347.44/347.58	c  347s |      23 |  7694678 |  3021338 |    32046    224 |        0 |        0
349.43/349.59	c  349s |      23 |  7764963 |  3039238 |    32046    225 |        0 |        0
351.43/351.59	c  351s |      23 |  7851672 |  3058938 |    32046    226 |        0 |        0
353.43/353.59	c  353s |      23 |  7911416 |  3079138 |    32046    227 |        0 |        0
355.53/355.69	c  355s |      23 |  7960643 |  3099338 |    32046    229 |        0 |        0
357.63/357.70	c  357s |      23 |  7993077 |  3119338 |    32046    230 |        0 |        0
359.64/359.79	c  359s |      23 |  8017449 |  3130538 |    32046    230 |        0 |        0
361.73/361.80	c  361s |      23 |  8068845 |  3152638 |    32046    232 |        0 |        0
363.74/363.80	c  363s |      23 |  8115566 |  3172638 |    32046    233 |        0 |        0
365.74/365.80	c  365s |      23 |  8150338 |  3188738 |    32046    234 |        0 |        0
367.74/367.81	c  367s |      23 |  8214642 |  3209238 |    32046    235 |        0 |        0
369.74/369.82	c  369s |      23 |  8246498 |  3226738 |    32046    236 |        0 |        0
371.74/371.83	c  371s |      23 |  8295141 |  3247138 |    32046    237 |        0 |        0
373.74/373.83	c  373s |      23 |  8363657 |  3267638 |    32046    238 |        0 |        0
375.84/375.92	c  375s |      23 |  8412977 |  3285838 |    32046    240 |        0 |        0
377.84/377.93	c  377s |      23 |  8438298 |  3300538 |    32046    240 |        0 |        0
379.84/379.93	c  379s |      23 |  8461252 |  3312438 |    32046    241 |        0 |        0
381.84/381.94	c  381s |      23 |  8509753 |  3330138 |    32046    242 |        0 |        0
383.84/383.95	c  383s |      23 |  8527893 |  3343038 |    32046    243 |        0 |        0
385.93/386.06	c  385s |      23 |  8565853 |  3357538 |    35251    244 |        0 |        0
387.73/387.88	c  387s |      24 |  8612361 |  3376662 |    35251    245 |        0 |        0
389.73/389.88	c  389s |      24 |  8688780 |  3400662 |    35251    246 |        0 |        0
391.73/391.88	c  391s |      24 |  8731915 |  3422262 |    35251    247 |        0 |        0
393.74/393.89	c  393s |      24 |  8761980 |  3440462 |    35251    248 |        0 |        0
395.83/395.96	c  395s |      24 |  8785470 |  3454162 |    35251    249 |        0 |        0
397.83/397.97	c  397s |      24 |  8803573 |  3465362 |    35251    250 |        0 |        0
399.83/399.98	c  399s |      24 |  8829706 |  3480862 |    35251    250 |        0 |        0
401.82/401.98	c  401s |      24 |  8880114 |  3497062 |    35251    251 |        0 |        0
403.92/404.00	c  403s |      24 |  8906045 |  3512562 |    35251    252 |        0 |        0
405.93/406.01	c  405s |      24 |  8945104 |  3530862 |    35251    253 |        0 |        0
407.92/408.01	c  407s |      24 |  8973403 |  3547562 |    35251    254 |        0 |        0
409.92/410.02	c  409s |      24 |  8995698 |  3560862 |    35251    255 |        0 |        0
411.92/412.04	c  411s |      24 |  9018120 |  3573962 |    35251    256 |        0 |        0
413.92/414.05	c  413s |      24 |  9042391 |  3588962 |    35251    256 |        0 |        0
415.93/416.05	c  415s |      24 |  9068747 |  3604662 |    35251    257 |        0 |        0
418.04/418.13	c  418s |      24 |  9114311 |  3619462 |    35251    258 |        0 |        0
420.03/420.13	c  420s |      24 |  9174416 |  3638262 |    35251    259 |        0 |        0
422.03/422.14	c  422s |      24 |  9203236 |  3655162 |    35251    260 |        0 |        0
424.03/424.14	c  424s |      24 |  9235880 |  3671962 |    35251    261 |        0 |        0
426.02/426.15	c  426s |      24 |  9277014 |  3691062 |    35251    262 |        0 |        0
428.02/428.15	c  428s |      24 |  9310011 |  3711262 |    35251    263 |        0 |        0
430.03/430.18	c  430s |      24 |  9407694 |  3732362 |    35251    264 |        0 |        0
432.12/432.21	c  432s |      24 |  9461579 |  3746862 |    35251    265 |        0 |        0
434.12/434.21	c  434s |      24 |  9527592 |  3767962 |    35251    266 |        0 |        0
436.13/436.22	c  436s |      24 |  9593805 |  3788262 |    35251    267 |        0 |        0
438.23/438.31	c  438s |      24 |  9640937 |  3806962 |    35251    268 |        0 |        0
440.23/440.31	c  440s |      24 |  9664960 |  3820962 |    35251    269 |        0 |        0
442.23/442.32	c  442s |      24 |  9727551 |  3842662 |    35251    270 |        0 |        0
444.33/444.44	c  444s |      24 |  9835380 |  3859562 |    35251    271 |        0 |        0
446.32/446.45	c  446s |      24 |  9875844 |  3881462 |    35251    272 |        0 |        0
448.32/448.45	c  448s |      24 |  9938894 |  3900362 |    35251    273 |        0 |        0
450.32/450.47	c  450s |      24 |  9971857 |  3914962 |    35251    274 |        0 |        0
452.32/452.48	c  452s |      24 | 10010415 |  3934862 |    35251    275 |        0 |        0
454.33/454.48	c  454s |      24 | 10048183 |  3953262 |    35251    276 |        0 |        0
456.32/456.49	c  456s |      24 | 10120976 |  3970362 |    35251    277 |        0 |        0
458.32/458.49	c  458s |      24 | 10148874 |  3986662 |    35251    278 |        0 |        0
460.42/460.50	c  460s |      24 | 10176797 |  4002362 |    35251    279 |        0 |        0
462.42/462.52	c  462s |      24 | 10222427 |  4018262 |    35251    280 |        0 |        0
464.42/464.52	c  464s |      24 | 10272267 |  4038262 |    35251    281 |        0 |        0
466.43/466.53	c  466s |      24 | 10289939 |  4050862 |    35251    281 |        0 |        0
468.42/468.54	c  468s |      24 | 10332424 |  4072962 |    35251    282 |        0 |        0
470.42/470.55	c  470s |      24 | 10411150 |  4091562 |    35251    283 |        0 |        0
472.42/472.59	c  472s |      24 | 10447875 |  4111962 |    35251    285 |        0 |        0
474.42/474.59	c  474s |      24 | 10474275 |  4128462 |    35251    285 |        0 |        0
476.52/476.61	c  476s |      24 | 10502150 |  4143162 |    35251    286 |        0 |        0
478.52/478.62	c  478s |      24 | 10522224 |  4157662 |    35251    287 |        0 |        0
480.51/480.62	c  480s |      24 | 10541378 |  4170062 |    35251    288 |        0 |        0
482.51/482.62	c  482s |      24 | 10565952 |  4185262 |    35251    288 |        0 |        0
484.51/484.62	c  484s |      24 | 10586747 |  4197562 |    35251    289 |        0 |        0
486.51/486.63	c  486s |      24 | 10629012 |  4215162 |    35251    290 |        0 |        0
488.52/488.63	c  488s |      24 | 10671773 |  4231862 |    35251    291 |        0 |        0
490.53/490.64	c  490s |      24 | 10699686 |  4248062 |    35251    292 |        0 |        0
492.52/492.64	c  492s |      24 | 10733507 |  4266262 |    35251    293 |        0 |        0
494.52/494.65	c  494s |      24 | 10791863 |  4282362 |    35251    294 |        0 |        0
496.52/496.65	c  496s |      24 | 10825253 |  4299962 |    35251    295 |        0 |        0
498.52/498.65	c  498s |      24 | 10857189 |  4317462 |    35251    296 |        0 |        0
500.52/500.67	c  500s |      24 | 10893617 |  4332662 |    35251    296 |        0 |        0
502.52/502.68	c  502s |      24 | 10908629 |  4341962 |    35251    297 |        0 |        0
504.52/504.69	c  504s |      24 | 10980132 |  4359862 |    35251    298 |        0 |        0
506.52/506.69	c  506s |      24 | 11036303 |  4381862 |    35251    299 |        0 |        0
508.61/508.70	c  508s |      24 | 11069936 |  4397262 |    35251    300 |        0 |        0
510.61/510.71	c  510s |      24 | 11149976 |  4417262 |    35251    301 |        0 |        0
512.62/512.72	c  512s |      24 | 11193232 |  4437262 |    35251    302 |        0 |        0
514.61/514.72	c  514s |      24 | 11221620 |  4452962 |    35251    303 |        0 |        0
516.61/516.72	c  516s |      24 | 11268046 |  4475362 |    35251    304 |        0 |        0
518.61/518.73	c  518s |      24 | 11305430 |  4493762 |    35251    305 |        0 |        0
520.61/520.78	c  520s |      24 | 11355763 |  4512962 |    35251    306 |        0 |        0
522.61/522.79	c  522s |      24 | 11419547 |  4532462 |    35251    307 |        0 |        0
524.61/524.79	c  524s |      24 | 11456410 |  4549962 |    35251    308 |        0 |        0
526.71/526.80	c  526s |      24 | 11477201 |  4564962 |    35251    309 |        0 |        0
528.71/528.82	c  528s |      24 | 11529723 |  4585862 |    35251    310 |        0 |        0
530.71/530.82	c  530s |      24 | 11557256 |  4598362 |    35251    311 |        0 |        0
532.70/532.83	c  532s |      24 | 11612978 |  4616962 |    35251    312 |        0 |        0
534.71/534.83	c  534s |      24 | 11639912 |  4632162 |    35251    312 |        0 |        0
536.72/536.84	c  536s |      24 | 11659635 |  4644562 |    35251    313 |        0 |        0
538.71/538.85	c  538s |      24 | 11672346 |  4653162 |    35251    314 |        0 |        0
540.81/540.91	c  540s |      24 | 11717366 |  4669962 |    35251    314 |        0 |        0
542.81/542.93	c  542s |      24 | 11744442 |  4686062 |    35251    315 |        0 |        0
544.81/544.93	c  544s |      24 | 11779026 |  4702362 |    35251    316 |        0 |        0
546.81/546.94	c  546s |      24 | 11840654 |  4719762 |    35251    317 |        0 |        0
548.81/548.94	c  548s |      24 | 11867626 |  4735262 |    35251    318 |        0 |        0
550.81/550.95	c  550s |      24 | 11899574 |  4752162 |    35251    319 |        0 |        0
552.81/552.95	c  552s |      24 | 11927617 |  4766062 |    35251    320 |        0 |        0
554.80/554.95	c  554s |      24 | 11953818 |  4780662 |    35251    320 |        0 |        0
556.80/556.96	c  556s |      24 | 11992339 |  4796062 |    35251    321 |        0 |        0
558.81/558.97	c  558s |      24 | 12023329 |  4814962 |    35251    322 |        0 |        0
560.80/560.98	c  560s |      24 | 12047808 |  4828362 |    35251    323 |        0 |        0
562.80/562.98	c  562s |      24 | 12114910 |  4848362 |    35251    324 |        0 |        0
564.90/565.04	c  564s |      24 | 12188747 |  4867962 |    35251    325 |        0 |        0
566.90/567.05	c  566s |      24 | 12233704 |  4883362 |    35251    326 |        0 |        0
568.90/569.05	c  568s |      24 | 12250746 |  4895062 |    35251    327 |        0 |        0
571.01/571.13	c  571s |      24 | 12271302 |  4909262 |    35251    328 |        0 |        0
573.01/573.13	c  573s |      24 | 12295013 |  4924462 |    35251    328 |        0 |        0
575.01/575.13	c  575s |      24 | 12311041 |  4935762 |    35251    329 |        0 |        0
577.01/577.14	c  577s |      24 | 12329523 |  4945762 |    35251    330 |        0 |        0
579.01/579.14	c  579s |      24 | 12388839 |  4965562 |    35251    331 |        0 |        0
581.00/581.15	c  581s |      24 | 12448181 |  4981562 |    35251    331 |        0 |        0
583.01/583.15	c  583s |      24 | 12481130 |  4998262 |    35251    332 |        0 |        0
585.00/585.16	c  585s |      24 | 12569208 |  5019162 |    35251    333 |        0 |        0
587.00/587.16	c  587s |      24 | 12602671 |  5037562 |    38777    334 |        0 |        0
589.00/589.17	c  589s |      24 | 12659894 |  5057962 |    38777    335 |        0 |        0
590.20/590.37	c  590s |      25 | 12673500 |  5065098 |    38777    335 |        0 |        0
592.20/592.38	c  592s |      25 | 12701901 |  5082098 |    38777    336 |        0 |        0
594.20/594.39	c  594s |      25 | 12718275 |  5092898 |    38777    337 |        0 |        0
596.40/596.54	c  596s |      25 | 12751199 |  5110698 |    38777    338 |        0 |        0
598.41/598.55	c  598s |      25 | 12792397 |  5132198 |    38777    339 |        0 |        0
600.40/600.55	c  600s |      25 | 12841670 |  5151398 |    38777    340 |        0 |        0
602.39/602.56	c  602s |      25 | 12874679 |  5169698 |    38777    341 |        0 |        0
604.39/604.57	c  604s |      25 | 12922388 |  5188798 |    38777    342 |        0 |        0
606.39/606.59	c  606s |      25 | 12958908 |  5207698 |    38777    343 |        0 |        0
608.49/608.63	c  608s |      25 | 13037763 |  5228398 |    38777    344 |        0 |        0
610.50/610.63	c  610s |      25 | 13118644 |  5246598 |    38777    345 |        0 |        0
612.49/612.64	c  612s |      25 | 13138259 |  5259298 |    38777    345 |        0 |        0
614.49/614.67	c  614s |      25 | 13153174 |  5268798 |    38777    346 |        0 |        0
616.49/616.67	c  616s |      25 | 13166398 |  5277198 |    38777    346 |        0 |        0
618.50/618.67	c  618s |      25 | 13203448 |  5295598 |    38777    347 |        0 |        0
620.50/620.67	c  620s |      25 | 13259489 |  5316198 |    38777    348 |        0 |        0
622.51/622.67	c  622s |      25 | 13328322 |  5338298 |    38777    349 |        0 |        0
624.50/624.69	c  624s |      25 | 13352142 |  5351998 |    38777    350 |        0 |        0
626.60/626.70	c  626s |      25 | 13379933 |  5364898 |    38777    351 |        0 |        0
628.60/628.70	c  628s |      25 | 13398140 |  5372398 |    38777    351 |        0 |        0
630.60/630.76	c  630s |      25 | 13442772 |  5388198 |    38777    352 |        0 |        0
632.70/632.82	c  632s |      25 | 13503043 |  5403698 |    38777    353 |        0 |        0
634.70/634.89	c  634s |      25 | 13547376 |  5424598 |    38777    354 |        0 |        0
636.69/636.89	c  636s |      25 | 13577013 |  5442398 |    38777    354 |        0 |        0
639.10/639.23	c  639s |      25 | 13618052 |  5460198 |    38777    355 |        0 |        0
641.09/641.24	c  641s |      25 | 13659695 |  5481698 |    38777    356 |        0 |        0
643.09/643.25	c  643s |      25 | 13706301 |  5503698 |    38777    357 |        0 |        0
645.09/645.25	c  645s |      25 | 13738649 |  5522198 |    38777    358 |        0 |        0
647.09/647.25	c  647s |      25 | 13766042 |  5538398 |    38777    359 |        0 |        0
649.09/649.26	c  649s |      25 | 13806397 |  5553098 |    38777    360 |        0 |        0
651.10/651.27	c  651s |      25 | 13846355 |  5570798 |    38777    361 |        0 |        0
653.19/653.34	c  653s |      25 | 13897015 |  5585598 |    38777    362 |        0 |        0
655.19/655.34	c  655s |      25 | 13953984 |  5604198 |    38777    363 |        0 |        0
657.19/657.35	c  657s |      25 | 13987844 |  5620398 |    38777    363 |        0 |        0
659.19/659.35	c  659s |      25 | 14067559 |  5635598 |    38777    364 |        0 |        0
661.19/661.36	c  661s |      25 | 14101252 |  5653098 |    38777    365 |        0 |        0
663.19/663.36	c  663s |      25 | 14145637 |  5670798 |    38777    366 |        0 |        0
665.18/665.36	c  665s |      25 | 14194436 |  5689898 |    38777    367 |        0 |        0
667.18/667.37	c  667s |      25 | 14220331 |  5705598 |    38777    368 |        0 |        0
669.19/669.38	c  669s |      25 | 14246078 |  5721798 |    38777    368 |        0 |        0
671.19/671.38	c  671s |      25 | 14276447 |  5731598 |    38777    369 |        0 |        0
673.20/673.38	c  673s |      25 | 14341216 |  5747498 |    38777    370 |        0 |        0
675.19/675.39	c  675s |      25 | 14381240 |  5768298 |    38777    371 |        0 |        0
677.29/677.40	c  677s |      25 | 14406479 |  5783298 |    38777    371 |        0 |        0
679.29/679.42	c  679s |      25 | 14421691 |  5792598 |    38777    372 |        0 |        0
681.29/681.45	c  681s |      25 | 14439993 |  5804198 |    38777    373 |        0 |        0
683.29/683.45	c  683s |      25 | 14490608 |  5822798 |    38777    373 |        0 |        0
685.29/685.45	c  685s |      25 | 14520426 |  5838498 |    38777    374 |        0 |        0
687.29/687.45	c  687s |      25 | 14540434 |  5849098 |    38777    375 |        0 |        0
689.29/689.46	c  689s |      25 | 14605908 |  5866998 |    38777    376 |        0 |        0
691.38/691.50	c  691s |      25 | 14651809 |  5881298 |    38777    376 |        0 |        0
693.38/693.50	c  693s |      25 | 14724084 |  5901298 |    38777    377 |        0 |        0
695.38/695.51	c  695s |      25 | 14798923 |  5921298 |    38777    378 |        0 |        0
697.39/697.51	c  697s |      25 | 14879120 |  5942098 |    38777    379 |        0 |        0
699.38/699.52	c  699s |      25 | 14948209 |  5963498 |    38777    381 |        0 |        0
701.39/701.53	c  701s |      25 | 14984732 |  5985698 |    38777    382 |        0 |        0
703.39/703.54	c  703s |      25 | 15076350 |  6002998 |    38777    382 |        0 |        0
705.38/705.55	c  705s |      25 | 15090696 |  6012198 |    38777    383 |        0 |        0
707.38/707.55	c  707s |      25 | 15115122 |  6020398 |    38777    383 |        0 |        0
709.39/709.59	c  709s |      25 | 15172112 |  6043998 |    38777    385 |        0 |        0
711.48/711.62	c  711s |      25 | 15208887 |  6063498 |    38777    386 |        0 |        0
713.48/713.63	c  713s |      25 | 15243092 |  6075698 |    38777    386 |        0 |        0
715.48/715.63	c  715s |      25 | 15301067 |  6096298 |    38777    387 |        0 |        0
717.48/717.65	c  717s |      25 | 15332310 |  6114498 |    38777    388 |        0 |        0
719.48/719.67	c  719s |      25 | 15377501 |  6129098 |    38777    389 |        0 |        0
721.49/721.69	c  721s |      25 | 15391736 |  6137798 |    38777    389 |        0 |        0
723.58/723.72	c  723s |      25 | 15399938 |  6143098 |    38777    390 |        0 |        0
725.68/725.80	c  725s |      25 | 15450510 |  6162598 |    38777    391 |        0 |        0
727.68/727.83	c  727s |      25 | 15471035 |  6176998 |    38777    391 |        0 |        0
729.68/729.84	c  729s |      25 | 15496055 |  6190798 |    38777    392 |        0 |        0
731.68/731.84	c  731s |      25 | 15527385 |  6207598 |    38777    393 |        0 |        0
733.68/733.85	c  733s |      25 | 15588983 |  6218698 |    38777    393 |        0 |        0
735.67/735.86	c  735s |      25 | 15613148 |  6233698 |    38777    394 |        0 |        0
737.67/737.86	c  737s |      25 | 15658516 |  6248798 |    38777    395 |        0 |        0
739.67/739.87	c  739s |      25 | 15688175 |  6267198 |    38777    396 |        0 |        0
741.67/741.87	c  741s |      25 | 15704537 |  6278798 |    38777    396 |        0 |        0
743.67/743.87	c  743s |      25 | 15718248 |  6287898 |    38777    397 |        0 |        0
745.68/745.88	c  745s |      25 | 15787277 |  6306398 |    38777    398 |        0 |        0
747.67/747.88	c  747s |      25 | 15849805 |  6323698 |    38777    399 |        0 |        0
749.97/750.10	c  749s |      25 | 15885387 |  6342298 |    38777    400 |        0 |        0
751.97/752.11	c  751s |      25 | 15917256 |  6360198 |    38777    400 |        0 |        0
753.98/754.11	c  753s |      25 | 15961828 |  6377298 |    38777    401 |        0 |        0
755.98/756.12	c  755s |      25 | 16001698 |  6397798 |    38777    402 |        0 |        0
758.07/758.29	c  758s |      25 | 16051375 |  6407098 |    38777    403 |        0 |        0
760.08/760.29	c  760s |      25 | 16093999 |  6429498 |    38777    404 |        0 |        0
762.07/762.30	c  762s |      25 | 16160366 |  6451598 |    38777    405 |        0 |        0
764.17/764.31	c  764s |      25 | 16207785 |  6470298 |    38777    406 |        0 |        0
766.17/766.31	c  766s |      25 | 16244666 |  6488798 |    38777    407 |        0 |        0
768.16/768.32	c  768s |      25 | 16280128 |  6506298 |    38777    408 |        0 |        0
770.16/770.33	c  770s |      25 | 16347480 |  6526598 |    38777    409 |        0 |        0
772.17/772.33	c  772s |      25 | 16366986 |  6538698 |    38777    410 |        0 |        0
774.16/774.33	c  774s |      25 | 16406299 |  6554998 |    38777    410 |        0 |        0
776.17/776.33	c  776s |      25 | 16455684 |  6575198 |    38777    411 |        0 |        0
778.27/778.43	c  778s |      25 | 16527469 |  6595298 |    38777    412 |        0 |        0
780.27/780.43	c  780s |      25 | 16613322 |  6610898 |    38777    413 |        0 |        0
782.27/782.43	c  782s |      25 | 16655435 |  6633398 |    38777    414 |        0 |        0
784.27/784.43	c  784s |      25 | 16702823 |  6652398 |    38777    415 |        0 |        0
786.37/786.58	c  786s |      25 | 16766923 |  6672098 |    38777    416 |        0 |        0
788.36/788.59	c  788s |      25 | 16805134 |  6689998 |    38777    417 |        0 |        0
790.46/790.61	c  790s |      25 | 16831291 |  6703798 |    38777    418 |        0 |        0
792.46/792.64	c  792s |      25 | 16865185 |  6716998 |    38777    419 |        0 |        0
794.46/794.64	c  794s |      25 | 16885851 |  6730398 |    38777    419 |        0 |        0
796.46/796.64	c  796s |      25 | 16941502 |  6746198 |    38777    420 |        0 |        0
798.47/798.65	c  798s |      25 | 16968256 |  6761698 |    38777    421 |        0 |        0
800.46/800.66	c  800s |      25 | 16990256 |  6774798 |    38777    421 |        0 |        0
802.46/802.67	c  802s |      25 | 17009436 |  6785698 |    38777    422 |        0 |        0
804.46/804.67	c  804s |      25 | 17036881 |  6797998 |    38777    423 |        0 |        0
806.46/806.67	c  806s |      25 | 17059860 |  6807598 |    38777    423 |        0 |        0
808.46/808.68	c  808s |      25 | 17108444 |  6824498 |    38777    424 |        0 |        0
810.46/810.68	c  810s |      25 | 17137971 |  6840698 |    38777    425 |        0 |        0
812.45/812.69	c  812s |      25 | 17184716 |  6859298 |    38777    426 |        0 |        0
814.45/814.69	c  814s |      25 | 17211369 |  6875398 |    38777    427 |        0 |        0
816.45/816.70	c  816s |      25 | 17242040 |  6890998 |    38777    427 |        0 |        0
818.66/818.81	c  818s |      25 | 17269460 |  6907598 |    38777    428 |        0 |        0
820.66/820.81	c  820s |      25 | 17316349 |  6920498 |    38777    429 |        0 |        0
822.66/822.82	c  822s |      25 | 17340140 |  6936498 |    38777    430 |        0 |        0
824.76/824.93	c  824s |      25 | 17404793 |  6955498 |    38777    431 |        0 |        0
826.96/827.17	c  827s |      25 | 17467945 |  6973798 |    38777    432 |        0 |        0
828.96/829.17	c  829s |      25 | 17527014 |  6995598 |    38777    433 |        0 |        0
830.95/831.17	c  831s |      25 | 17548962 |  7010398 |    38777    433 |        0 |        0
832.95/833.18	c  833s |      25 | 17660645 |  7030298 |    38777    434 |        0 |        0
835.05/835.20	c  835s |      25 | 17686386 |  7045698 |    38777    435 |        0 |        0
836.96/837.20	c  837s |      25 | 17702863 |  7056098 |    38777    436 |        0 |        0
839.05/839.26	c  839s |      25 | 17765935 |  7073998 |    38777    437 |        0 |        0
841.05/841.27	c  841s |      25 | 17837804 |  7096698 |    38777    438 |        0 |        0
843.15/843.37	c  843s |      25 | 17890943 |  7115298 |    38777    439 |        0 |        0
845.15/845.37	c  845s |      25 | 17970830 |  7130098 |    38777    439 |        0 |        0
847.15/847.38	c  847s |      25 | 17999022 |  7146398 |    38777    440 |        0 |        0
849.15/849.38	c  849s |      25 | 18018109 |  7157998 |    38777    441 |        0 |        0
851.14/851.39	c  851s |      25 | 18036391 |  7169498 |    38777    441 |        0 |        0
853.24/853.45	c  853s |      25 | 18070437 |  7183298 |    38777    442 |        0 |        0
855.24/855.46	c  855s |      25 | 18098510 |  7200098 |    38777    443 |        0 |        0
857.24/857.46	c  857s |      25 | 18131699 |  7219798 |    38777    444 |        0 |        0
859.34/859.54	c  859s |      25 | 18169287 |  7235598 |    38777    445 |        0 |        0
861.44/861.69	c  861s |      25 | 18197504 |  7251598 |    38777    445 |        0 |        0
863.44/863.70	c  863s |      25 | 18226713 |  7268298 |    38777    446 |        0 |        0
865.44/865.70	c  865s |      25 | 18254037 |  7284098 |    38777    447 |        0 |        0
867.54/867.70	c  867s |      25 | 18307752 |  7303598 |    38777    448 |        0 |        0
869.54/869.70	c  869s |      25 | 18358523 |  7319998 |    38777    449 |        0 |        0
871.54/871.70	c  871s |      25 | 18412514 |  7337898 |    38777    450 |        0 |        0
873.54/873.71	c  873s |      25 | 18483586 |  7353798 |    38777    450 |        0 |        0
875.54/875.72	c  875s |      25 | 18508316 |  7368598 |    38777    451 |        0 |        0
877.54/877.72	c  877s |      25 | 18528060 |  7380698 |    38777    452 |        0 |        0
879.54/879.77	c  879s |      25 | 18547922 |  7392898 |    38777    453 |        0 |        0
881.54/881.78	c  881s |      25 | 18585463 |  7413298 |    38777    454 |        0 |        0
883.64/883.85	c  883s |      25 | 18618066 |  7431898 |    38777    455 |        0 |        0
885.64/885.86	c  885s |      25 | 18641843 |  7445598 |    38777    455 |        0 |        0
887.64/887.88	c  887s |      25 | 18654797 |  7454098 |    38777    456 |        0 |        0
889.63/889.89	c  889s |      25 | 18676204 |  7466698 |    38777    456 |        0 |        0
891.63/891.89	c  891s |      25 | 18730381 |  7481998 |    38777    457 |        0 |        0
893.63/893.89	c  893s |      25 | 18754163 |  7497398 |    38777    458 |        0 |        0
895.73/895.91	c  895s |      25 | 18774870 |  7509798 |    38777    458 |        0 |        0
897.73/897.91	c  897s |      25 | 18823362 |  7525098 |    38777    459 |        0 |        0
899.74/899.92	c  899s |      25 | 18898722 |  7545898 |    42655    460 |        0 |        0
901.84/902.06	c  901s |      25 | 18933990 |  7562898 |    42655    461 |        0 |        0
903.83/904.07	c  903s |      25 | 18950317 |  7573898 |    42655    461 |        0 |        0
905.83/906.08	c  905s |      25 | 18965842 |  7583598 |    42655    462 |        0 |        0
907.82/908.09	c  907s |      25 | 18975478 |  7590298 |    42655    462 |        0 |        0
909.53/909.73	c  909s |      26 | 18988099 |  7597752 |    42655    462 |        0 |        0
911.52/911.73	c  911s |      26 | 18996989 |  7603452 |    42655    463 |        0 |        0
913.52/913.74	c  913s |      26 | 19032044 |  7623352 |    42655    464 |        0 |        0
915.52/915.74	c  915s |      26 | 19051533 |  7636452 |    42655    464 |        0 |        0
917.51/917.74	c  917s |      26 | 19086151 |  7651352 |    42655    465 |        0 |        0
919.52/919.75	c  919s |      26 | 19148273 |  7672252 |    42655    466 |        0 |        0
921.62/921.83	c  921s |      26 | 19204528 |  7689052 |    42655    467 |        0 |        0
923.61/923.84	c  923s |      26 | 19246621 |  7706952 |    42655    467 |        0 |        0
925.61/925.87	c  925s |      26 | 19279043 |  7722752 |    42655    468 |        0 |        0
927.62/927.88	c  927s |      26 | 19293506 |  7732152 |    42655    469 |        0 |        0
929.61/929.88	c  929s |      26 | 19329585 |  7752752 |    42655    470 |        0 |        0
931.71/931.90	c  931s |      26 | 19378431 |  7769852 |    42655    470 |        0 |        0
933.72/933.93	c  933s |      26 | 19391163 |  7778452 |    42655    471 |        0 |        0
935.71/935.94	c  935s |      26 | 19400236 |  7784852 |    42655    471 |        0 |        0
937.71/937.94	c  937s |      26 | 19414388 |  7793652 |    42655    471 |        0 |        0
939.71/939.94	c  939s |      26 | 19449728 |  7807752 |    42655    472 |        0 |        0
941.70/941.94	c  941s |      26 | 19496575 |  7825452 |    42655    473 |        0 |        0
943.71/943.96	c  943s |      26 | 19582762 |  7842852 |    42655    474 |        0 |        0
945.70/945.96	c  945s |      26 | 19662825 |  7862252 |    42655    475 |        0 |        0
947.80/948.01	c  947s |      26 | 19706219 |  7882852 |    42655    476 |        0 |        0
949.90/950.17	c  950s |      26 | 19744591 |  7892652 |    42655    476 |        0 |        0
951.90/952.18	c  952s |      26 | 19818242 |  7915252 |    42655    477 |        0 |        0
953.90/954.19	c  954s |      26 | 19878058 |  7935752 |    42655    478 |        0 |        0
956.00/956.20	c  956s |      26 | 19896454 |  7947452 |    42655    478 |        0 |        0
958.00/958.21	c  958s |      26 | 19946762 |  7964552 |    42655    479 |        0 |        0
959.99/960.24	c  960s |      26 | 19958706 |  7972952 |    42655    480 |        0 |        0
961.99/962.25	c  962s |      26 | 20011897 |  7980652 |    42655    480 |        0 |        0
963.99/964.27	c  964s |      26 | 20041035 |  7997652 |    42655    481 |        0 |        0
965.99/966.27	c  966s |      26 | 20086772 |  8010452 |    42655    481 |        0 |        0
967.98/968.28	c  968s |      26 | 20133314 |  8027352 |    42655    482 |        0 |        0
970.09/970.32	c  970s |      26 | 20144940 |  8035152 |    42655    483 |        0 |        0
972.08/972.32	c  972s |      26 | 20163946 |  8047852 |    42655    483 |        0 |        0
974.09/974.34	c  974s |      26 | 20177391 |  8056752 |    42655    483 |        0 |        0
976.09/976.35	c  976s |      26 | 20192410 |  8066252 |    42655    484 |        0 |        0
978.09/978.38	c  978s |      26 | 20203859 |  8073452 |    42655    484 |        0 |        0
980.19/980.47	c  980s |      26 | 20212574 |  8078852 |    42655    485 |        0 |        0
982.19/982.47	c  982s |      26 | 20222677 |  8084752 |    42655    485 |        0 |        0
984.18/984.48	c  984s |      26 | 20233172 |  8092352 |    42655    485 |        0 |        0
986.18/986.48	c  986s |      26 | 20239144 |  8096252 |    42655    485 |        0 |        0
988.18/988.49	c  988s |      26 | 20247489 |  8101852 |    42655    486 |        0 |        0
990.28/990.51	c  990s |      26 | 20254567 |  8106552 |    42655    486 |        0 |        0
992.28/992.52	c  992s |      26 | 20263397 |  8112352 |    42655    486 |        0 |        0
994.28/994.59	c  994s |      26 | 20279917 |  8118752 |    42655    486 |        0 |        0
996.38/996.62	c  996s |      26 | 20290542 |  8124952 |    42655    487 |        0 |        0
998.37/998.63	c  998s |      26 | 20337339 |  8137452 |    42655    487 |        0 |        0
1000.37/1000.66	c 1000s |      26 | 20377546 |  8149252 |    42655    488 |        0 |        0
1002.37/1002.66	c 1002s |      26 | 20414397 |  8164552 |    42655    488 |        0 |        0
1004.38/1004.67	c 1004s |      26 | 20453051 |  8183152 |    42655    489 |        0 |        0
1006.38/1006.68	c 1006s |      26 | 20473991 |  8197052 |    42655    490 |        0 |        0
1008.37/1008.69	c 1008s |      26 | 20516421 |  8212252 |    42655    491 |        0 |        0
1010.47/1010.70	c 1010s |      26 | 20533197 |  8224252 |    42655    491 |        0 |        0
1012.47/1012.71	c 1012s |      26 | 20553942 |  8235252 |    42655    492 |        0 |        0
1014.47/1014.71	c 1014s |      26 | 20583211 |  8253052 |    42655    493 |        0 |        0
1016.47/1016.72	c 1016s |      26 | 20610482 |  8270652 |    42655    493 |        0 |        0
1018.47/1018.73	c 1018s |      26 | 20651980 |  8284152 |    42655    494 |        0 |        0
1020.46/1020.74	c 1020s |      26 | 20669581 |  8296152 |    42655    494 |        0 |        0
1022.46/1022.74	c 1022s |      26 | 20681628 |  8303952 |    42655    495 |        0 |        0
1024.46/1024.78	c 1024s |      26 | 20693168 |  8311052 |    42655    495 |        0 |        0
1026.46/1026.79	c 1026s |      26 | 20703318 |  8317652 |    42655    495 |        0 |        0
1028.55/1028.84	c 1028s |      26 | 20721552 |  8328452 |    42655    496 |        0 |        0
1030.57/1030.85	c 1030s |      26 | 20739151 |  8340552 |    42655    497 |        0 |        0
1032.56/1032.85	c 1032s |      26 | 20757649 |  8350852 |    42655    497 |        0 |        0
1034.56/1034.88	c 1034s |      26 | 20778042 |  8362652 |    42655    498 |        0 |        0
1036.66/1036.90	c 1036s |      26 | 20810787 |  8378952 |    42655    498 |        0 |        0
1038.65/1038.90	c 1038s |      26 | 20840279 |  8390452 |    42655    499 |        0 |        0
1040.65/1040.90	c 1040s |      26 | 20885465 |  8407852 |    42655    500 |        0 |        0
1042.56/1042.90	c 1042s |      26 | 20946031 |  8419652 |    42655    500 |        0 |        0
1044.65/1044.91	c 1044s |      26 | 20972311 |  8434152 |    42655    501 |        0 |        0
1046.75/1047.03	c 1046s |      26 | 21002608 |  8448352 |    42655    502 |        0 |        0
1048.75/1049.04	c 1048s |      26 | 21055901 |  8461052 |    42655    502 |        0 |        0
1050.74/1051.05	c 1050s |      26 | 21083795 |  8470552 |    42655    503 |        0 |        0
1052.74/1053.06	c 1052s |      26 | 21134556 |  8491252 |    42655    503 |        0 |        0
1054.75/1055.06	c 1054s |      26 | 21189800 |  8508052 |    42655    504 |        0 |        0
1056.74/1057.07	c 1056s |      26 | 21265166 |  8524852 |    42655    505 |        0 |        0
1058.74/1059.07	c 1058s |      26 | 21326438 |  8547152 |    42655    506 |        0 |        0
1060.84/1061.10	c 1060s |      26 | 21382127 |  8565452 |    42655    507 |        0 |        0
1062.84/1063.11	c 1062s |      26 | 21445596 |  8585452 |    42655    508 |        0 |        0
1064.84/1065.11	c 1064s |      26 | 21498285 |  8601052 |    42655    508 |        0 |        0
1066.84/1067.13	c 1067s |      26 | 21512790 |  8611252 |    42655    509 |        0 |        0
1068.83/1069.20	c 1069s |      26 | 21559592 |  8625052 |    42655    510 |        0 |        0
1070.93/1071.21	c 1071s |      26 | 21593883 |  8643552 |    42655    510 |        0 |        0
1072.93/1073.21	c 1073s |      26 | 21655317 |  8662952 |    42655    511 |        0 |        0
1074.93/1075.21	c 1075s |      26 | 21697304 |  8680452 |    42655    512 |        0 |        0
1076.93/1077.27	c 1077s |      26 | 21725840 |  8690352 |    42655    513 |        0 |        0
1078.94/1079.28	c 1079s |      26 | 21750480 |  8704352 |    42655    513 |        0 |        0
1080.93/1081.28	c 1081s |      26 | 21773424 |  8718252 |    42655    514 |        0 |        0
1082.93/1083.28	c 1083s |      26 | 21797529 |  8733752 |    42655    514 |        0 |        0
1084.93/1085.29	c 1085s |      26 | 21841542 |  8751452 |    42655    515 |        0 |        0
1086.93/1087.29	c 1087s |      26 | 21866932 |  8761252 |    42655    516 |        0 |        0
1088.92/1089.29	c 1089s |      26 | 21921459 |  8778852 |    42655    517 |        0 |        0
1090.93/1091.29	c 1091s |      26 | 21985592 |  8798052 |    42655    517 |        0 |        0
1092.92/1093.29	c 1093s |      26 | 22037365 |  8812952 |    42655    518 |        0 |        0
1095.02/1095.30	c 1095s |      26 | 22055948 |  8825152 |    42655    519 |        0 |        0
1097.02/1097.31	c 1097s |      26 | 22076467 |  8839152 |    42655    519 |        0 |        0
1099.01/1099.32	c 1099s |      26 | 22113225 |  8855252 |    42655    520 |        0 |        0
1101.01/1101.33	c 1101s |      26 | 22147735 |  8874152 |    42655    521 |        0 |        0
1103.02/1103.33	c 1103s |      26 | 22176723 |  8890252 |    42655    522 |        0 |        0
1105.01/1105.34	c 1105s |      26 | 22216989 |  8908252 |    42655    522 |        0 |        0
1107.01/1107.34	c 1107s |      26 | 22291289 |  8927652 |    42655    523 |        0 |        0
1109.00/1109.34	c 1109s |      26 | 22326792 |  8937652 |    42655    524 |        0 |        0
1111.01/1111.35	c 1111s |      26 | 22347862 |  8952052 |    42655    524 |        0 |        0
1113.02/1113.36	c 1113s |      26 | 22379406 |  8969152 |    42655    525 |        0 |        0
1115.01/1115.37	c 1115s |      26 | 22408887 |  8981952 |    42655    526 |        0 |        0
1117.01/1117.37	c 1117s |      26 | 22422524 |  8990652 |    42655    526 |        0 |        0
1119.01/1119.37	c 1119s |      26 | 22435745 |  8999952 |    42655    527 |        0 |        0
1121.01/1121.39	c 1121s |      26 | 22457197 |  9006852 |    42655    527 |        0 |        0
1123.11/1123.40	c 1123s |      26 | 22468596 |  9013852 |    42655    527 |        0 |        0
1125.11/1125.42	c 1125s |      26 | 22476448 |  9018752 |    42655    527 |        0 |        0
1127.10/1127.42	c 1127s |      26 | 22481052 |  9022152 |    42655    528 |        0 |        0
1129.10/1129.43	c 1129s |      26 | 22484764 |  9024552 |    42655    528 |        0 |        0
1131.10/1131.47	c 1131s |      26 | 22490170 |  9028052 |    42655    528 |        0 |        0
1133.10/1133.49	c 1133s |      26 | 22496040 |  9031852 |    42655    528 |        0 |        0
1135.20/1135.51	c 1135s |      26 | 22499369 |  9033852 |    42655    528 |        0 |        0
1137.20/1137.57	c 1137s |      26 | 22503719 |  9036952 |    42655    528 |        0 |        0
1139.19/1139.58	c 1139s |      26 | 22508527 |  9040052 |    42655    528 |        0 |        0
1141.29/1141.61	c 1141s |      26 | 22513323 |  9042952 |    42655    528 |        0 |        0
1143.29/1143.62	c 1143s |      26 | 22514240 |  9043552 |    42655    529 |        0 |        0
1145.29/1145.63	c 1145s |      26 | 22516981 |  9045152 |    42655    529 |        0 |        0
1147.28/1147.64	c 1147s |      26 | 22522397 |  9048552 |    42655    529 |        0 |        0
1149.29/1149.69	c 1149s |      26 | 22527259 |  9051852 |    42655    529 |        0 |        0
1151.39/1151.75	c 1151s |      26 | 22531485 |  9054452 |    42655    529 |        0 |        0
1153.48/1153.80	c 1153s |      26 | 22535964 |  9057352 |    42655    529 |        0 |        0
1155.48/1155.85	c 1155s |      26 | 22540832 |  9060652 |    42655    529 |        0 |        0
1157.48/1157.86	c 1157s |      26 | 22556299 |  9067952 |    42655    530 |        0 |        0
1159.57/1159.90	c 1159s |      26 | 22626140 |  9078252 |    42655    530 |        0 |        0
1161.58/1161.91	c 1161s |      26 | 22646898 |  9091852 |    42655    531 |        0 |        0
1163.59/1163.97	c 1163s |      26 | 22683920 |  9108352 |    42655    532 |        0 |        0
1165.58/1165.98	c 1165s |      26 | 22713480 |  9123652 |    42655    532 |        0 |        0
1167.68/1168.02	c 1167s |      26 | 22725053 |  9132152 |    42655    533 |        0 |        0
1169.68/1170.02	c 1169s |      26 | 22742536 |  9139252 |    42655    533 |        0 |        0
1172.98/1173.36	c 1173s |      26 | 22797707 |  9152452 |    42655    534 |        0 |        0
1175.48/1175.80	c 1175s |      26 | 22829228 |  9165452 |    42655    534 |        0 |        0
1177.57/1177.96	c 1177s |      26 | 22881180 |  9182152 |    42655    535 |        0 |        0
1179.57/1179.98	c 1179s |      26 | 22898040 |  9194452 |    42655    535 |        0 |        0
1182.18/1182.51	c 1182s |      26 | 22942172 |  9211052 |    42655    536 |        0 |        0
1184.17/1184.52	c 1184s |      26 | 22980719 |  9226552 |    42655    537 |        0 |        0
1186.57/1186.96	c 1186s |      26 | 23002397 |  9237252 |    42655    537 |        0 |        0
1188.66/1189.01	c 1188s |      26 | 23035421 |  9246452 |    42655    538 |        0 |        0
1190.66/1191.01	c 1190s |      26 | 23069615 |  9262652 |    42655    539 |        0 |        0
1192.67/1193.03	c 1192s |      26 | 23107818 |  9278852 |    42655    539 |        0 |        0
1194.67/1195.03	c 1194s |      26 | 23166971 |  9294352 |    42655    540 |        0 |        0
1196.67/1197.04	c 1196s |      26 | 23189463 |  9309752 |    42655    541 |        0 |        0
1198.67/1199.06	c 1198s |      26 | 23219405 |  9323952 |    42655    541 |        0 |        0
1200.66/1201.09	c 1200s |      26 | 23276339 |  9335752 |    42655    542 |        0 |        0
1202.66/1203.09	c 1202s |      26 | 23354284 |  9359252 |    42655    543 |        0 |        0
1204.66/1205.09	c 1204s |      26 | 23388845 |  9375252 |    42655    544 |        0 |        0
1206.76/1207.10	c 1206s |      26 | 23439894 |  9387852 |    42655    544 |        0 |        0
1208.75/1209.10	c 1208s |      26 | 23518654 |  9403752 |    42655    545 |        0 |        0
1210.76/1211.11	c 1210s |      26 | 23570998 |  9414552 |    42655    546 |        0 |        0
1212.75/1213.11	c 1212s |      26 | 23585396 |  9424852 |    42655    546 |        0 |        0
1214.75/1215.12	c 1214s |      26 | 23595874 |  9432352 |    42655    546 |        0 |        0
1216.76/1217.13	c 1217s |      26 | 23606447 |  9439552 |    42655    547 |        0 |        0
1218.75/1219.14	c 1219s |      26 | 23625275 |  9453052 |    42655    547 |        0 |        0
1220.76/1221.15	c 1221s |      26 | 23638679 |  9462352 |    42655    548 |        0 |        0
1222.75/1223.15	c 1223s |      26 | 23655600 |  9470552 |    42655    548 |        0 |        0
1224.95/1225.37	c 1225s |      26 | 23687596 |  9481952 |    42655    549 |        0 |        0
1226.95/1227.37	c 1227s |      26 | 23722842 |  9494752 |    42655    549 |        0 |        0
1228.94/1229.38	c 1229s |      26 | 23753725 |  9513052 |    42655    550 |        0 |        0
1230.94/1231.38	c 1231s |      26 | 23780623 |  9527852 |    42655    551 |        0 |        0
1232.94/1233.39	c 1233s |      26 | 23811677 |  9540152 |    42655    551 |        0 |        0
1234.95/1235.40	c 1235s |      26 | 23834614 |  9551452 |    42655    552 |        0 |        0
1237.04/1237.42	c 1237s |      26 | 23844459 |  9557952 |    42655    552 |        0 |        0
1239.03/1239.42	c 1239s |      26 | 23855619 |  9564952 |    42655    552 |        0 |        0
1241.03/1241.42	c 1241s |      26 | 23873831 |  9572852 |    42655    553 |        0 |        0
1243.04/1243.43	c 1243s |      26 | 23902801 |  9588252 |    42655    553 |        0 |        0
1245.04/1245.46	c 1245s |      26 | 23916424 |  9597352 |    42655    554 |        0 |        0
1247.14/1247.57	c 1247s |      26 | 23943329 |  9607652 |    42655    554 |        0 |        0
1249.13/1249.59	c 1249s |      26 | 23971352 |  9623752 |    42655    555 |        0 |        0
1251.23/1251.60	c 1251s |      26 | 23988731 |  9634752 |    42655    556 |        0 |        0
1253.23/1253.60	c 1253s |      26 | 24004034 |  9644252 |    42655    556 |        0 |        0
1255.23/1255.61	c 1255s |      26 | 24025436 |  9655552 |    42655    557 |        0 |        0
1257.23/1257.61	c 1257s |      26 | 24084498 |  9676952 |    42655    558 |        0 |        0
1259.23/1259.61	c 1259s |      26 | 24121039 |  9698052 |    42655    559 |        0 |        0
1261.23/1261.62	c 1261s |      26 | 24190808 |  9713452 |    42655    559 |        0 |        0
1263.23/1263.62	c 1263s |      26 | 24209813 |  9726552 |    42655    560 |        0 |        0
1265.23/1265.65	c 1265s |      26 | 24222247 |  9735352 |    42655    560 |        0 |        0
1267.22/1267.65	c 1267s |      26 | 24253257 |  9751952 |    42655    561 |        0 |        0
1269.22/1269.66	c 1269s |      26 | 24299523 |  9771852 |    42655    562 |        0 |        0
1271.24/1271.68	c 1271s |      26 | 24316580 |  9783252 |    42655    562 |        0 |        0
1273.44/1273.88	c 1273s |      26 | 24339221 |  9795452 |    42655    563 |        0 |        0
1275.53/1275.97	c 1275s |      26 | 24357994 |  9807952 |    42655    564 |        0 |        0
1277.53/1277.99	c 1277s |      26 | 24380967 |  9820652 |    42655    564 |        0 |        0
1279.73/1280.16	c 1280s |      26 | 24397203 |  9831652 |    42655    565 |        0 |        0
1281.73/1282.17	c 1282s |      26 | 24418989 |  9841252 |    42655    565 |        0 |        0
1283.72/1284.17	c 1284s |      26 | 24456806 |  9859352 |    42655    566 |        0 |        0
1285.72/1286.17	c 1286s |      26 | 24518644 |  9880052 |    42655    567 |        0 |        0
1287.83/1288.27	c 1288s |      26 | 24566356 |  9894252 |    42655    567 |        0 |        0
1289.82/1290.28	c 1290s |      26 | 24594753 |  9911952 |    42655    568 |        0 |        0
1291.82/1292.28	c 1292s |      26 | 24645013 |  9933152 |    42655    569 |        0 |        0
1293.82/1294.29	c 1294s |      26 | 24689622 |  9946952 |    42655    570 |        0 |        0
1295.92/1296.31	c 1296s |      26 | 24752268 |  9964252 |    42655    571 |        0 |        0
1297.92/1298.32	c 1298s |      26 | 24778365 |  9979552 |    42655    571 |        0 |        0
1299.92/1300.33	c 1300s |      26 | 24819379 |  9995452 |    42655    572 |        0 |        0
1301.92/1302.35	c 1302s |      26 | 24834663 | 10005752 |    42655    573 |        0 |        0
1303.92/1304.36	c 1304s |      26 | 24846013 | 10013152 |    42655    573 |        0 |        0
1305.92/1306.36	c 1306s |      26 | 24854077 | 10018852 |    42655    573 |        0 |        0
1307.91/1308.38	c 1308s |      26 | 24861044 | 10023852 |    42655    573 |        0 |        0
1309.91/1310.40	c 1310s |      26 | 24870590 | 10028052 |    42655    574 |        0 |        0
1311.92/1312.40	c 1312s |      26 | 24889784 | 10038052 |    42655    574 |        0 |        0
1314.01/1314.40	c 1314s |      26 | 24940779 | 10056452 |    42655    575 |        0 |        0
1316.02/1316.40	c 1316s |      26 | 24957295 | 10067652 |    42655    575 |        0 |        0
1318.02/1318.41	c 1318s |      26 | 24978638 | 10080352 |    42655    576 |        0 |        0
1320.12/1320.56	c 1320s |      26 | 24987335 | 10086652 |    42655    576 |        0 |        0
1322.71/1323.18	c 1323s |      26 | 24995609 | 10091752 |    42655    577 |        0 |        0
1324.71/1325.18	c 1325s |      26 | 25016408 | 10105552 |    42655    577 |        0 |        0
1326.71/1327.18	c 1327s |      26 | 25051184 | 10117552 |    42655    578 |        0 |        0
1328.71/1329.19	c 1329s |      26 | 25071780 | 10131252 |    42655    578 |        0 |        0
1330.72/1331.19	c 1331s |      26 | 25084355 | 10138652 |    42655    579 |        0 |        0
1332.71/1333.20	c 1333s |      26 | 25106765 | 10151552 |    42655    579 |        0 |        0
1334.81/1335.21	c 1335s |      26 | 25154882 | 10163452 |    42655    580 |        0 |        0
1336.81/1337.23	c 1337s |      26 | 25190258 | 10177652 |    42655    581 |        0 |        0
1338.81/1339.23	c 1339s |      26 | 25217098 | 10192852 |    42655    581 |        0 |        0
1340.81/1341.23	c 1341s |      26 | 25239965 | 10205352 |    42655    582 |        0 |        0
1342.91/1343.32	c 1343s |      26 | 25306298 | 10222352 |    42655    583 |        0 |        0
1344.91/1345.33	c 1345s |      26 | 25360067 | 10241952 |    42655    583 |        0 |        0
1346.90/1347.33	c 1347s |      26 | 25430434 | 10258652 |    42655    584 |        0 |        0
1348.90/1349.34	c 1349s |      26 | 25454274 | 10274152 |    42655    585 |        0 |        0
1350.90/1351.35	c 1351s |      26 | 25491585 | 10293252 |    42655    586 |        0 |        0
1352.90/1353.36	c 1353s |      26 | 25523539 | 10309652 |    42655    586 |        0 |        0
1354.91/1355.36	c 1355s |      26 | 25558135 | 10329852 |    42655    587 |        0 |        0
1357.01/1357.45	c 1357s |      26 | 25617730 | 10346752 |    42655    588 |        0 |        0
1359.00/1359.46	c 1359s |      26 | 25661615 | 10366352 |    42655    589 |        0 |        0
1361.00/1361.47	c 1361s |      26 | 25693655 | 10385052 |    42655    590 |        0 |        0
1363.00/1363.47	c 1363s |      26 | 25730805 | 10404952 |    42655    591 |        0 |        0
1365.00/1365.47	c 1365s |      26 | 25758110 | 10420152 |    42655    591 |        0 |        0
1367.00/1367.49	c 1367s |      26 | 25791550 | 10434552 |    42655    592 |        0 |        0
1368.99/1369.49	c 1369s |      26 | 25812683 | 10447052 |    42655    593 |        0 |        0
1371.09/1371.50	c 1371s |      26 | 25825434 | 10455552 |    42655    593 |        0 |        0
1373.09/1373.52	c 1373s |      26 | 25834134 | 10461552 |    42655    593 |        0 |        0
1375.09/1375.54	c 1375s |      26 | 25851749 | 10474052 |    42655    594 |        0 |        0
1377.09/1377.56	c 1377s |      26 | 25863161 | 10481252 |    42655    594 |        0 |        0
1379.09/1379.57	c 1379s |      26 | 25899515 | 10490752 |    42655    595 |        0 |        0
1381.08/1381.59	c 1381s |      26 | 25913676 | 10500752 |    42655    595 |        0 |        0
1383.18/1383.60	c 1383s |      26 | 25922531 | 10507152 |    42655    595 |        0 |        0
1385.48/1385.92	c 1385s |      26 | 25927506 | 10510152 |    42655    596 |        0 |        0
1387.48/1387.93	c 1387s |      26 | 25947599 | 10520252 |    42655    596 |        0 |        0
1389.48/1389.94	c 1389s |      26 | 25959200 | 10528152 |    42655    596 |        0 |        0
1391.48/1391.95	c 1391s |      26 | 25968165 | 10534052 |    42655    597 |        0 |        0
1393.48/1393.99	c 1393s |      26 | 25975370 | 10538652 |    42655    597 |        0 |        0
1395.48/1395.99	c 1395s |      26 | 25983306 | 10543752 |    42655    597 |        0 |        0
1397.57/1398.02	c 1397s |      26 | 25989309 | 10547652 |    42655    597 |        0 |        0
1399.57/1400.06	c 1399s |      26 | 25995111 | 10551252 |    42655    597 |        0 |        0
1401.68/1402.16	c 1402s |      26 | 26001619 | 10555252 |    42655    598 |        0 |        0
1403.68/1404.17	c 1404s |      26 | 26009051 | 10560052 |    42655    598 |        0 |        0
1405.78/1406.24	c 1406s |      26 | 26048688 | 10569252 |    42655    598 |        0 |        0
1407.78/1408.25	c 1408s |      26 | 26079058 | 10581852 |    42655    599 |        0 |        0
1409.78/1410.25	c 1410s |      26 | 26110421 | 10597152 |    42655    600 |        0 |        0
1411.87/1412.39	c 1412s |      26 | 26152317 | 10614552 |    42655    600 |        0 |        0
1413.97/1414.40	c 1414s |      26 | 26198222 | 10634152 |    42655    601 |        0 |        0
1415.97/1416.41	c 1416s |      26 | 26246805 | 10647752 |    42655    602 |        0 |        0
1419.48/1419.94	c 1419s |      26 | 26276497 | 10660452 |    42655    602 |        0 |        0
1421.48/1421.94	c 1421s |      26 | 26290939 | 10670152 |    42655    603 |        0 |        0
1423.48/1423.95	c 1423s |      26 | 26306116 | 10680352 |    42655    603 |        0 |        0
1425.48/1425.97	c 1425s |      26 | 26325016 | 10692652 |    42655    604 |        0 |        0
1427.48/1427.99	c 1427s |      26 | 26384851 | 10702852 |    42655    604 |        0 |        0
1429.48/1430.00	c 1429s |      26 | 26403951 | 10715152 |    42655    605 |        0 |        0
1431.58/1432.01	c 1431s |      26 | 26437576 | 10729252 |    42655    606 |        0 |        0
1433.58/1434.01	c 1433s |      26 | 26462204 | 10745652 |    42655    606 |        0 |        0
1435.57/1436.02	c 1435s |      26 | 26482881 | 10758752 |    42655    607 |        0 |        0
1437.57/1438.03	c 1437s |      26 | 26494672 | 10767152 |    42655    607 |        0 |        0
1439.58/1440.04	c 1439s |      26 | 26503286 | 10773352 |    42655    608 |        0 |        0
1441.57/1442.05	c 1441s |      26 | 26512533 | 10779852 |    42655    608 |        0 |        0
1443.57/1444.06	c 1443s |      26 | 26527165 | 10789852 |    42655    608 |        0 |        0
1445.57/1446.07	c 1445s |      26 | 26550901 | 10800152 |    42655    609 |        0 |        0
1447.57/1448.07	c 1447s |      26 | 26579838 | 10814052 |    42655    609 |        0 |        0
1449.67/1450.15	c 1450s |      26 | 26618561 | 10826752 |    42655    610 |        0 |        0
1451.67/1452.15	c 1452s |      26 | 26655932 | 10842052 |    42655    611 |        0 |        0
1453.77/1454.25	c 1454s |      26 | 26716077 | 10860252 |    42655    611 |        0 |        0
1455.77/1456.26	c 1456s |      26 | 26757919 | 10877052 |    42655    612 |        0 |        0
1457.77/1458.26	c 1458s |      26 | 26787678 | 10887852 |    42655    613 |        0 |        0
1459.77/1460.28	c 1460s |      26 | 26806164 | 10900452 |    42655    613 |        0 |        0
1461.86/1462.30	c 1462s |      26 | 26816232 | 10907252 |    42655    614 |        0 |        0
1463.86/1464.30	c 1464s |      26 | 26842826 | 10917652 |    42655    614 |        0 |        0
1465.87/1466.31	c 1466s |      26 | 26872187 | 10931052 |    42655    615 |        0 |        0
1467.86/1468.31	c 1468s |      26 | 26883614 | 10938652 |    42655    615 |        0 |        0
1469.86/1470.37	c 1470s |      26 | 26902166 | 10948452 |    42655    616 |        0 |        0
1471.86/1472.38	c 1472s |      26 | 26998542 | 10957252 |    42655    616 |        0 |        0
1473.96/1474.41	c 1474s |      26 | 27047247 | 10970652 |    42655    616 |        0 |        0
1476.07/1476.55	c 1476s |      26 | 27100381 | 10993652 |    42655    618 |        0 |        0
1478.08/1478.55	c 1478s |      26 | 27135785 | 11010852 |    42655    618 |        0 |        0
1480.07/1480.56	c 1480s |      26 | 27163987 | 11026552 |    42655    619 |        0 |        0
1482.17/1482.61	c 1482s |      26 | 27232884 | 11037652 |    42655    620 |        0 |        0
1484.17/1484.62	c 1484s |      26 | 27269011 | 11058352 |    42655    620 |        0 |        0
1486.17/1486.63	c 1486s |      26 | 27310174 | 11075252 |    42655    621 |        0 |        0
1488.17/1488.63	c 1488s |      26 | 27341069 | 11092252 |    42655    622 |        0 |        0
1490.17/1490.64	c 1490s |      26 | 27382612 | 11107452 |    42655    623 |        0 |        0
1492.17/1492.64	c 1492s |      26 | 27420123 | 11126152 |    42655    624 |        0 |        0
1494.16/1494.64	c 1494s |      26 | 27456418 | 11146252 |    42655    624 |        0 |        0
1496.16/1496.65	c 1496s |      26 | 27504461 | 11165552 |    42655    625 |        0 |        0
1498.16/1498.65	c 1498s |      26 | 27548789 | 11181152 |    42655    626 |        0 |        0
1500.16/1500.66	c 1500s |      26 | 27585338 | 11198952 |    42655    627 |        0 |        0
1502.17/1502.66	c 1502s |      26 | 27630452 | 11215652 |    42655    628 |        0 |        0
1504.16/1504.66	c 1504s |      26 | 27677843 | 11232052 |    42655    628 |        0 |        0
1506.26/1506.79	c 1506s |      26 | 27753636 | 11250352 |    42655    629 |        0 |        0
1508.36/1508.80	c 1508s |      26 | 27793420 | 11269752 |    42655    630 |        0 |        0
1510.36/1510.80	c 1510s |      26 | 27832583 | 11283452 |    42655    631 |        0 |        0
1512.37/1512.81	c 1512s |      26 | 27881978 | 11297952 |    42655    631 |        0 |        0
1514.37/1514.82	c 1514s |      26 | 27947172 | 11317152 |    46921    632 |        0 |        0
1516.36/1516.82	c 1516s |      26 | 27991029 | 11336252 |    46921    633 |        0 |        0
1518.36/1518.84	c 1518s |      26 | 28018582 | 11352952 |    46921    633 |        0 |        0
1520.36/1520.84	c 1520s |      26 | 28041531 | 11367552 |    46921    634 |        0 |        0
1522.46/1522.96	c 1522s |      26 | 28116302 | 11380352 |    46921    635 |        0 |        0
1524.66/1525.16	c 1525s |      26 | 28149530 | 11394652 |    46921    635 |        0 |        0
1524.86/1525.33	c 1525s |      27 | 28152885 | 11396733 |    46921    635 |        0 |        0
1526.86/1527.37	c 1527s |      27 | 28198068 | 11412233 |    46921    636 |        0 |        0
1528.86/1529.37	c 1529s |      27 | 28236761 | 11430933 |    46921    637 |        0 |        0
1530.86/1531.38	c 1531s |      27 | 28257761 | 11443933 |    46921    637 |        0 |        0
1532.86/1533.39	c 1533s |      27 | 28289035 | 11462633 |    46921    638 |        0 |        0
1535.46/1535.91	c 1535s |      27 | 28307646 | 11472933 |    46921    638 |        0 |        0
1537.46/1537.92	c 1537s |      27 | 28343998 | 11492133 |    46921    639 |        0 |        0
1539.45/1539.92	c 1539s |      27 | 28377613 | 11507533 |    46921    640 |        0 |        0
1541.55/1542.01	c 1541s |      27 | 28422784 | 11522733 |    46921    640 |        0 |        0
1543.55/1544.02	c 1543s |      27 | 28459686 | 11539433 |    46921    641 |        0 |        0
1545.55/1546.02	c 1545s |      27 | 28484842 | 11554533 |    46921    642 |        0 |        0
1547.55/1548.07	c 1547s |      27 | 28521151 | 11572533 |    46921    643 |        0 |        0
1549.56/1550.07	c 1549s |      27 | 28571764 | 11594833 |    46921    643 |        0 |        0
1551.55/1552.10	c 1551s |      27 | 28633554 | 11611733 |    46921    644 |        0 |        0
1553.65/1554.10	c 1553s |      27 | 28714768 | 11624133 |    46921    645 |        0 |        0
1555.66/1556.11	c 1555s |      27 | 28764185 | 11644733 |    46921    645 |        0 |        0
1557.65/1558.15	c 1558s |      27 | 28801154 | 11654233 |    46921    646 |        0 |        0
1559.65/1560.15	c 1560s |      27 | 28870547 | 11674133 |    46921    647 |        0 |        0
1561.75/1562.26	c 1562s |      27 | 28940833 | 11694033 |    46921    648 |        0 |        0
1563.76/1564.26	c 1564s |      27 | 28978670 | 11714333 |    46921    648 |        0 |        0
1565.75/1566.27	c 1566s |      27 | 29007211 | 11730533 |    46921    649 |        0 |        0
1567.75/1568.29	c 1568s |      27 | 29028108 | 11741533 |    46921    649 |        0 |        0
1569.85/1570.30	c 1570s |      27 | 29049596 | 11754033 |    46921    650 |        0 |        0
1571.85/1572.33	c 1572s |      27 | 29101142 | 11770533 |    46921    651 |        0 |        0
1573.85/1574.33	c 1574s |      27 | 29130068 | 11786133 |    46921    651 |        0 |        0
1575.86/1576.34	c 1576s |      27 | 29158496 | 11801233 |    46921    652 |        0 |        0
1578.16/1578.69	c 1578s |      27 | 29181352 | 11814433 |    46921    653 |        0 |        0
1580.15/1580.70	c 1580s |      27 | 29196737 | 11824533 |    46921    653 |        0 |        0
1582.25/1582.71	c 1582s |      27 | 29255749 | 11846433 |    46921    654 |        0 |        0
1584.25/1584.74	c 1584s |      27 | 29287033 | 11862833 |    46921    655 |        0 |        0
1586.25/1586.74	c 1586s |      27 | 29342004 | 11882333 |    46921    655 |        0 |        0
1588.25/1588.75	c 1588s |      27 | 29372282 | 11898633 |    46921    656 |        0 |        0
1590.25/1590.76	c 1590s |      27 | 29397252 | 11911333 |    46921    657 |        0 |        0
1592.35/1592.85	c 1592s |      27 | 29448586 | 11927733 |    46921    657 |        0 |        0
1594.35/1594.85	c 1594s |      27 | 29477229 | 11944933 |    46921    658 |        0 |        0
1596.35/1596.85	c 1596s |      27 | 29510000 | 11964433 |    46921    659 |        0 |        0
1598.34/1598.85	c 1598s |      27 | 29573085 | 11982133 |    46921    659 |        0 |        0
1600.34/1600.87	c 1600s |      27 | 29622997 | 11999933 |    46921    660 |        0 |        0
1602.36/1602.87	c 1602s |      27 | 29683176 | 12015933 |    46921    661 |        0 |        0
1604.35/1604.88	c 1604s |      27 | 29728342 | 12035233 |    46921    662 |        0 |        0
1606.55/1607.00	c 1606s |      27 | 29784638 | 12054533 |    46921    663 |        0 |        0
1608.55/1609.01	c 1608s |      27 | 29847839 | 12077333 |    46921    663 |        0 |        0
1610.55/1611.01	c 1610s |      27 | 29908664 | 12095833 |    46921    664 |        0 |        0
1612.55/1613.01	c 1612s |      27 | 29938935 | 12111033 |    46921    665 |        0 |        0
1614.54/1615.02	c 1614s |      27 | 29991576 | 12130233 |    46921    666 |        0 |        0
1616.55/1617.03	c 1616s |      27 | 30054257 | 12150533 |    46921    666 |        0 |        0
1618.64/1619.10	c 1618s |      27 | 30118444 | 12171933 |    46921    667 |        0 |        0
1620.64/1621.11	c 1620s |      27 | 30153363 | 12190533 |    46921    668 |        0 |        0
1622.64/1623.12	c 1622s |      27 | 30183924 | 12206433 |    46921    669 |        0 |        0
1624.64/1625.12	c 1624s |      27 | 30213049 | 12223133 |    46921    669 |        0 |        0
1626.64/1627.13	c 1627s |      27 | 30259903 | 12238433 |    46921    670 |        0 |        0
1628.65/1629.14	c 1629s |      27 | 30294215 | 12256133 |    46921    671 |        0 |        0
1630.64/1631.15	c 1631s |      27 | 30345838 | 12271733 |    46921    671 |        0 |        0
1632.74/1633.22	c 1633s |      27 | 30419793 | 12289833 |    46921    672 |        0 |        0
1634.75/1635.22	c 1635s |      27 | 30483666 | 12307933 |    46921    673 |        0 |        0
1636.85/1637.31	c 1637s |      27 | 30612075 | 12321433 |    46921    674 |        0 |        0
1638.84/1639.37	c 1639s |      27 | 30667741 | 12342333 |    46921    674 |        0 |        0
1640.85/1641.38	c 1641s |      27 | 30701335 | 12357633 |    46921    675 |        0 |        0
1642.84/1643.38	c 1643s |      27 | 30791507 | 12373633 |    46921    676 |        0 |        0
1644.84/1645.39	c 1645s |      27 | 30845558 | 12393533 |    46921    676 |        0 |        0
1646.84/1647.39	c 1647s |      27 | 30884333 | 12412733 |    46921    677 |        0 |        0
1648.94/1649.40	c 1649s |      27 | 30903329 | 12425133 |    46921    678 |        0 |        0
1650.94/1651.40	c 1651s |      27 | 30922965 | 12437133 |    46921    678 |        0 |        0
1652.95/1653.41	c 1653s |      27 | 30944154 | 12451233 |    46921    679 |        0 |        0
1654.94/1655.41	c 1655s |      27 | 30969307 | 12465933 |    46921    679 |        0 |        0
1656.94/1657.42	c 1657s |      27 | 31026593 | 12483733 |    46921    680 |        0 |        0
1658.94/1659.45	c 1659s |      27 | 31078411 | 12491933 |    46921    681 |        0 |        0
1660.94/1661.46	c 1661s |      27 | 31111749 | 12510633 |    46921    681 |        0 |        0
1662.94/1663.47	c 1663s |      27 | 31150695 | 12526133 |    46921    682 |        0 |        0
1664.94/1665.48	c 1665s |      27 | 31181587 | 12543333 |    46921    683 |        0 |        0
1667.03/1667.50	c 1667s |      27 | 31209310 | 12560333 |    46921    683 |        0 |        0
1669.04/1669.50	c 1669s |      27 | 31235513 | 12573733 |    46921    684 |        0 |        0
1671.04/1671.51	c 1671s |      27 | 31279234 | 12591733 |    46921    685 |        0 |        0
1673.04/1673.52	c 1673s |      27 | 31349473 | 12611233 |    46921    685 |        0 |        0
1675.04/1675.52	c 1675s |      27 | 31388039 | 12628033 |    46921    686 |        0 |        0
1677.05/1677.52	c 1677s |      27 | 31445799 | 12647933 |    46921    687 |        0 |        0
1679.14/1679.61	c 1679s |      27 | 31470495 | 12662733 |    46921    688 |        0 |        0
1681.14/1681.61	c 1681s |      27 | 31495051 | 12679033 |    46921    688 |        0 |        0
1683.14/1683.63	c 1683s |      27 | 31509634 | 12689433 |    46921    689 |        0 |        0
1685.14/1685.63	c 1685s |      27 | 31555065 | 12704033 |    46921    689 |        0 |        0
1687.14/1687.64	c 1687s |      27 | 31588070 | 12713533 |    46921    690 |        0 |        0
1689.14/1689.66	c 1689s |      27 | 31636114 | 12732833 |    46921    690 |        0 |        0
1691.13/1691.67	c 1691s |      27 | 31661977 | 12748033 |    46921    691 |        0 |        0
1693.13/1693.68	c 1693s |      27 | 31680611 | 12759733 |    46921    692 |        0 |        0
1695.13/1695.68	c 1695s |      27 | 31719268 | 12777933 |    46921    692 |        0 |        0
1697.13/1697.68	c 1697s |      27 | 31756286 | 12790333 |    46921    693 |        0 |        0
1699.14/1699.69	c 1699s |      27 | 31779967 | 12804133 |    46921    693 |        0 |        0
1701.24/1701.71	c 1701s |      27 | 31792349 | 12811933 |    46921    694 |        0 |        0
1703.23/1703.72	c 1703s |      27 | 31802638 | 12818433 |    46921    694 |        0 |        0
1705.23/1705.74	c 1705s |      27 | 31811257 | 12824233 |    46921    694 |        0 |        0
1707.63/1708.13	c 1708s |      27 | 31818824 | 12829033 |    46921    695 |        0 |        0
1709.63/1710.17	c 1710s |      27 | 31823049 | 12830833 |    46921    695 |        0 |        0
1711.63/1712.17	c 1712s |      27 | 31864357 | 12845733 |    46921    695 |        0 |        0
1713.63/1714.19	c 1714s |      27 | 31881124 | 12856833 |    46921    696 |        0 |        0
1715.63/1716.20	c 1716s |      27 | 31894051 | 12865833 |    46921    696 |        0 |        0
1717.73/1718.21	c 1718s |      27 | 31903605 | 12872233 |    46921    696 |        0 |        0
1719.72/1720.26	c 1720s |      27 | 31914942 | 12877733 |    46921    697 |        0 |        0
1721.72/1722.26	c 1722s |      27 | 31959890 | 12890833 |    46921    697 |        0 |        0
1723.92/1724.45	c 1724s |      27 | 31988510 | 12900333 |    46921    697 |        0 |        0
1726.33/1726.85	c 1726s |      27 | 32030097 | 12907533 |    46921    698 |        0 |        0
1728.33/1728.85	c 1728s |      27 | 32051819 | 12912133 |    46921    698 |        0 |        0
1730.33/1730.88	c 1730s |      27 | 32095429 | 12925633 |    46921    699 |        0 |        0
1732.33/1732.89	c 1732s |      27 | 32136802 | 12937833 |    46921    699 |        0 |        0
1734.43/1734.90	c 1734s |      27 | 32191418 | 12955033 |    46921    700 |        0 |        0
1736.43/1736.92	c 1736s |      27 | 32216217 | 12969933 |    46921    700 |        0 |        0
1738.43/1738.94	c 1738s |      27 | 32228912 | 12978133 |    46921    701 |        0 |        0
1740.43/1740.97	c 1740s |      27 | 32273882 | 12998833 |    46921    702 |        0 |        0
1742.43/1742.97	c 1742s |      27 | 32351992 | 13011333 |    46921    702 |        0 |        0
1744.72/1745.24	c 1745s |      27 | 32417152 | 13019233 |    46921    702 |        0 |        0
1746.72/1747.26	c 1747s |      27 | 32455562 | 13035033 |    46921    703 |        0 |        0
1748.72/1749.26	c 1749s |      27 | 32482033 | 13051533 |    46921    704 |        0 |        0
1750.83/1751.31	c 1751s |      27 | 32544205 | 13071233 |    46921    705 |        0 |        0
1752.82/1753.33	c 1753s |      27 | 32560616 | 13082433 |    46921    705 |        0 |        0
1754.82/1755.33	c 1755s |      27 | 32598426 | 13101933 |    46921    706 |        0 |        0
1756.82/1757.34	c 1757s |      27 | 32659944 | 13120333 |    46921    707 |        0 |        0
1758.82/1759.34	c 1759s |      27 | 32734344 | 13136733 |    46921    707 |        0 |        0
1760.82/1761.34	c 1761s |      27 | 32799821 | 13148833 |    46921    708 |        0 |        0
1762.83/1763.35	c 1763s |      27 | 32822271 | 13163933 |    46921    708 |        0 |        0
1764.82/1765.36	c 1765s |      27 | 32833073 | 13171633 |    46921    709 |        0 |        0
1766.82/1767.37	c 1767s |      27 | 32846598 | 13179833 |    46921    709 |        0 |        0
1768.82/1769.38	c 1769s |      27 | 32870622 | 13192433 |    46921    710 |        0 |        0
1770.82/1771.39	c 1771s |      27 | 32897522 | 13205733 |    46921    710 |        0 |        0
1772.83/1773.39	c 1773s |      27 | 32920140 | 13216833 |    46921    711 |        0 |        0
1774.93/1775.41	c 1775s |      27 | 32937628 | 13227533 |    46921    711 |        0 |        0
1776.93/1777.41	c 1777s |      27 | 32962485 | 13240333 |    46921    712 |        0 |        0
1778.92/1779.41	c 1779s |      27 | 32976445 | 13248833 |    46921    712 |        0 |        0
1781.02/1781.50	c 1781s |      27 | 33023053 | 13267533 |    46921    713 |        0 |        0
1783.02/1783.50	c 1783s |      27 | 33047626 | 13283733 |    46921    713 |        0 |        0
1785.02/1785.50	c 1785s |      27 | 33065346 | 13295833 |    46921    714 |        0 |        0
1787.03/1787.50	c 1787s |      27 | 33082843 | 13305233 |    46921    714 |        0 |        0
1789.02/1789.52	c 1789s |      27 | 33108670 | 13317033 |    46921    715 |        0 |        0
1791.02/1791.52	c 1791s |      27 | 33123185 | 13326433 |    46921    715 |        0 |        0
1793.12/1793.69	c 1793s |      27 | 33168541 | 13342233 |    46921    716 |        0 |        0
1795.12/1795.69	c 1795s |      27 | 33213845 | 13360333 |    46921    717 |        0 |        0
1797.12/1797.69	c 1797s |      27 | 33247552 | 13376333 |    46921    717 |        0 |        0
1799.12/1799.70	c 1799s |      27 | 33269878 | 13383933 |    46921    718 |        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-4088910-1466018533/watcher-4088910-1466018533 -o /tmp/evaluation-result-4088910-1466018533/solver-4088910-1466018533 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node106-1466012020-5773 --watchdog 1960 toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4088910-1466018533.opb 

pid=6644
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.11 2.12 2.07 3/179 6647
/proc/meminfo: memFree=30393808/32872528 swapFree=524788/557492
[pid=6647] ppid=6644 vsize=724412 CPUtime=0 cores=1,3,5,7
/proc/6647/stat : 6647 (toysat) R 6644 6647 5756 0 -1 4202496 2702 0 0 0 0 0 0 0 20 0 4 0 3903399 741797888 3062 33554432000 4194304 16246674 140737238952912 140737238952336 13880264 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/6647/statm: 181871 3071 441 2943 0 178765 0
[pid=6647/tid=6648] ppid=6644 vsize=741820 CPUtime=0 cores=1,3,5,7
/proc/6647/task/6648/stat : 6648 (toysat) S 6644 6647 5756 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 3903399 759623680 3131 33554432000 4194304 16246674 140737238952912 140205585575152 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=6647/tid=6649] ppid=6644 vsize=745916 CPUtime=0 cores=1,3,5,7
/proc/6647/task/6649/stat : 6649 (toysat) S 6644 6647 5756 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 3903399 763817984 3147 33554432000 4194304 16246674 140737238952912 140205575085296 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=6647/tid=6650] ppid=6644 vsize=751036 CPUtime=0 cores=1,3,5,7
/proc/6647/task/6650/stat : 6650 (toysat) S 6644 6647 5756 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 3903399 769060864 3164 33554432000 4194304 16246674 140737238952912 140205564611760 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0

[startup+0.10018 s]
/proc/loadavg: 2.11 2.12 2.07 3/179 6647
/proc/meminfo: memFree=30393808/32872528 swapFree=524788/557492
[pid=6647] ppid=6644 vsize=1221188 CPUtime=0.09 cores=1,3,5,7
/proc/6647/stat : 6647 (toysat) R 6644 6647 5756 0 -1 4202496 23830 0 0 0 6 3 0 0 20 0 4 0 3903399 1250496512 24129 33554432000 4194304 16246674 140737238952912 140737238952224 13780501 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/6647/statm: 305297 24138 830 2943 0 302191 0
[pid=6647/tid=6648] ppid=6644 vsize=1221188 CPUtime=0 cores=1,3,5,7
/proc/6647/task/6648/stat : 6648 (toysat) S 6644 6647 5756 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 3903399 1250496512 24144 33554432000 4194304 16246674 140737238952912 140205585575152 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=6647/tid=6649] ppid=6644 vsize=1221188 CPUtime=0 cores=1,3,5,7
/proc/6647/task/6649/stat : 6649 (toysat) S 6644 6647 5756 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 3903399 1250496512 24151 33554432000 4194304 16246674 140737238952912 140205575085296 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=6647/tid=6650] ppid=6644 vsize=1221188 CPUtime=0 cores=1,3,5,7
/proc/6647/task/6650/stat : 6650 (toysat) S 6644 6647 5756 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 3903399 1250496512 24157 33554432000 4194304 16246674 140737238952912 140205564611760 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) 1221188

[startup+0.200526 s]
/proc/loadavg: 2.11 2.12 2.07 3/179 6647
/proc/meminfo: memFree=30393808/32872528 swapFree=524788/557492
[pid=6647] ppid=6644 vsize=1221188 CPUtime=0.18 cores=1,3,5,7
/proc/6647/stat : 6647 (toysat) R 6644 6647 5756 0 -1 4202496 37584 0 0 0 13 5 0 0 20 0 4 0 3903399 1250496512 37882 33554432000 4194304 16246674 140737238952912 140737238952224 5583325 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/6647/statm: 305297 37884 868 2943 0 302191 0
[pid=6647/tid=6648] ppid=6644 vsize=1221188 CPUtime=0 cores=1,3,5,7
/proc/6647/task/6648/stat : 6648 (toysat) S 6644 6647 5756 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 3903399 1250496512 37885 33554432000 4194304 16246674 140737238952912 140205585575152 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=6647/tid=6649] ppid=6644 vsize=1221188 CPUtime=0 cores=1,3,5,7
/proc/6647/task/6649/stat : 6649 (toysat) S 6644 6647 5756 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 3903399 1250496512 37886 33554432000 4194304 16246674 140737238952912 140205575085296 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=6647/tid=6650] ppid=6644 vsize=1221188 CPUtime=0 cores=1,3,5,7
/proc/6647/task/6650/stat : 6650 (toysat) S 6644 6647 5756 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 3903399 1250496512 37888 33554432000 4194304 16246674 140737238952912 140205564611760 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 0.18
Current children cumulated vsize (KiB) 1221188

[startup+0.300474 s]
/proc/loadavg: 2.11 2.12 2.07 3/179 6647
/proc/meminfo: memFree=30393808/32872528 swapFree=524788/557492
[pid=6647] ppid=6644 vsize=1221188 CPUtime=0.29 cores=1,3,5,7
/proc/6647/stat : 6647 (toysat) R 6644 6647 5756 0 -1 4202496 53158 0 0 0 21 8 0 0 20 0 4 0 3903399 1250496512 53456 33554432000 4194304 16246674 140737238952912 140737238952224 13954410 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/6647/statm: 305297 53464 868 2943 0 302191 0
[pid=6647/tid=6648] ppid=6644 vsize=1221188 CPUtime=0 cores=1,3,5,7
/proc/6647/task/6648/stat : 6648 (toysat) S 6644 6647 5756 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 3903399 1250496512 53469 33554432000 4194304 16246674 140737238952912 140205585575152 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=6647/tid=6649] ppid=6644 vsize=1221188 CPUtime=0 cores=1,3,5,7
/proc/6647/task/6649/stat : 6649 (toysat) S 6644 6647 5756 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 3903399 1250496512 53475 33554432000 4194304 16246674 140737238952912 140205575085296 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=6647/tid=6650] ppid=6644 vsize=1221188 CPUtime=0 cores=1,3,5,7
/proc/6647/task/6650/stat : 6650 (toysat) S 6644 6647 5756 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 3903399 1250496512 53480 33554432000 4194304 16246674 140737238952912 140205564611760 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) 1221188

[startup+0.700402 s]
/proc/loadavg: 2.11 2.12 2.07 3/179 6647
/proc/meminfo: memFree=30393808/32872528 swapFree=524788/557492
[pid=6647] ppid=6644 vsize=1221188 CPUtime=0.69 cores=1,3,5,7
/proc/6647/stat : 6647 (toysat) R 6644 6647 5756 0 -1 4202496 123035 0 0 0 50 19 0 0 20 0 4 0 3903399 1250496512 123333 33554432000 4194304 16246674 140737238952912 140737238952224 5677541 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/6647/statm: 305297 123343 868 2943 0 302191 0
[pid=6647/tid=6648] ppid=6644 vsize=1221188 CPUtime=0 cores=1,3,5,7
/proc/6647/task/6648/stat : 6648 (toysat) S 6644 6647 5756 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 3903399 1250496512 123350 33554432000 4194304 16246674 140737238952912 140205585575152 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=6647/tid=6649] ppid=6644 vsize=1221188 CPUtime=0 cores=1,3,5,7
/proc/6647/task/6649/stat : 6649 (toysat) S 6644 6647 5756 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 3903399 1250496512 123354 33554432000 4194304 16246674 140737238952912 140205575085296 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=6647/tid=6650] ppid=6644 vsize=1221188 CPUtime=0 cores=1,3,5,7
/proc/6647/task/6650/stat : 6650 (toysat) S 6644 6647 5756 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 3903399 1250496512 123360 33554432000 4194304 16246674 140737238952912 140205564611760 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) 1221188

[startup+1.50042 s]
/proc/loadavg: 2.11 2.12 2.07 3/183 6651
/proc/meminfo: memFree=29617432/32872528 swapFree=524788/557492
[pid=6647] ppid=6644 vsize=1282628 CPUtime=1.49 cores=1,3,5,7
/proc/6647/stat : 6647 (toysat) R 6644 6647 5756 0 -1 4202496 194211 0 0 0 121 28 0 0 20 0 4 0 3903399 1313411072 194509 33554432000 4194304 16246674 140737238952912 140737238952224 6022658 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/6647/statm: 320657 194509 877 2943 0 317551 0
[pid=6647/tid=6648] ppid=6644 vsize=1282628 CPUtime=0 cores=1,3,5,7
/proc/6647/task/6648/stat : 6648 (toysat) S 6644 6647 5756 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 3903399 1313411072 194509 33554432000 4194304 16246674 140737238952912 140205585575152 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=6647/tid=6649] ppid=6644 vsize=1282628 CPUtime=0 cores=1,3,5,7
/proc/6647/task/6649/stat : 6649 (toysat) S 6644 6647 5756 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 3903399 1313411072 194509 33554432000 4194304 16246674 140737238952912 140205575085296 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=6647/tid=6650] ppid=6644 vsize=1282628 CPUtime=0 cores=1,3,5,7
/proc/6647/task/6650/stat : 6650 (toysat) S 6644 6647 5756 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 4 0 3903399 1313411072 194509 33554432000 4194304 16246674 140737238952912 140205564611760 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) 1282628

[startup+3.1004 s]
/proc/loadavg: 2.11 2.12 2.07 3/183 6651
/proc/meminfo: memFree=29479792/32872528 swapFree=524788/557492
[pid=6647] ppid=6644 vsize=1303108 CPUtime=3.09 cores=1,3,5,7
/proc/6647/stat : 6647 (toysat) R 6644 6647 5756 0 -1 4202496 229156 0 0 0 276 33 0 0 20 0 4 0 3903399 1334382592 229454 33554432000 4194304 16246674 140737238952912 140737238935912 13927384 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/6647/statm: 325777 229454 880 2943 0 322671 0
[pid=6647/tid=6648] ppid=6644 vsize=1303108 CPUtime=0 cores=1,3,5,7
/proc/6647/task/6648/stat : 6648 (toysat) S 6644 6647 5756 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 3903399 1334382592 229454 33554432000 4194304 16246674 140737238952912 140205585575152 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=6647/tid=6649] ppid=6644 vsize=1303108 CPUtime=0 cores=1,3,5,7
/proc/6647/task/6649/stat : 6649 (toysat) S 6644 6647 5756 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 3903399 1334382592 229454 33554432000 4194304 16246674 140737238952912 140205575085296 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=6647/tid=6650] ppid=6644 vsize=1303108 CPUtime=0 cores=1,3,5,7
/proc/6647/task/6650/stat : 6650 (toysat) S 6644 6647 5756 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 4 0 3903399 1334382592 229454 33554432000 4194304 16246674 140737238952912 140205564611760 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) 1303108

[startup+6.30042 s]
/proc/loadavg: 2.18 2.13 2.08 3/183 6651
/proc/meminfo: memFree=29318168/32872528 swapFree=524788/557492
[pid=6647] ppid=6644 vsize=1312324 CPUtime=6.29 cores=1,3,5,7
/proc/6647/stat : 6647 (toysat) R 6644 6647 5756 0 -1 4202496 269259 0 0 0 589 40 0 0 20 0 4 0 3903399 1343819776 269557 33554432000 4194304 16246674 140737238952912 140737238935912 6011672 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/6647/statm: 328081 269557 880 2943 0 324975 0
[pid=6647/tid=6648] ppid=6644 vsize=1312324 CPUtime=0 cores=1,3,5,7
/proc/6647/task/6648/stat : 6648 (toysat) S 6644 6647 5756 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 3903399 1343819776 269557 33554432000 4194304 16246674 140737238952912 140205585575152 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=6647/tid=6649] ppid=6644 vsize=1312324 CPUtime=0 cores=1,3,5,7
/proc/6647/task/6649/stat : 6649 (toysat) S 6644 6647 5756 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 3903399 1343819776 269557 33554432000 4194304 16246674 140737238952912 140205575085296 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=6647/tid=6650] ppid=6644 vsize=1312324 CPUtime=0 cores=1,3,5,7
/proc/6647/task/6650/stat : 6650 (toysat) S 6644 6647 5756 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 4 0 3903399 1343819776 269557 33554432000 4194304 16246674 140737238952912 140205564611760 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) 1312324

[startup+12.7004 s]
/proc/loadavg: 2.17 2.13 2.08 3/183 6651
/proc/meminfo: memFree=29313152/32872528 swapFree=524788/557492
[pid=6647] ppid=6644 vsize=1317444 CPUtime=12.69 cores=1,3,5,7
/proc/6647/stat : 6647 (toysat) R 6644 6647 5756 0 -1 4202496 270540 0 0 0 1228 41 0 0 20 0 4 0 3903399 1349062656 270838 33554432000 4194304 16246674 140737238952912 140737238935912 5822252 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/6647/statm: 329361 270838 881 2943 0 326255 0
[pid=6647/tid=6648] ppid=6644 vsize=1317444 CPUtime=0 cores=1,3,5,7
/proc/6647/task/6648/stat : 6648 (toysat) S 6644 6647 5756 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 3903399 1349062656 270838 33554432000 4194304 16246674 140737238952912 140205585575152 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=6647/tid=6649] ppid=6644 vsize=1317444 CPUtime=0 cores=1,3,5,7
/proc/6647/task/6649/stat : 6649 (toysat) S 6644 6647 5756 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 3903399 1349062656 270838 33554432000 4194304 16246674 140737238952912 140205575085296 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=6647/tid=6650] ppid=6644 vsize=1317444 CPUtime=0 cores=1,3,5,7
/proc/6647/task/6650/stat : 6650 (toysat) S 6644 6647 5756 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 4 0 3903399 1349062656 270838 33554432000 4194304 16246674 140737238952912 140205564611760 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 1317444

[startup+25.5005 s]
/proc/loadavg: 2.21 2.14 2.08 3/183 6651
/proc/meminfo: memFree=29309896/32872528 swapFree=524788/557492
[pid=6647] ppid=6644 vsize=1321540 CPUtime=25.48 cores=1,3,5,7
/proc/6647/stat : 6647 (toysat) R 6644 6647 5756 0 -1 4202496 271565 0 0 0 2507 41 0 0 20 0 4 0 3903399 1353256960 271863 33554432000 4194304 16246674 140737238952912 140737238935912 6020879 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/6647/statm: 330385 271863 882 2943 0 327279 0
[pid=6647/tid=6648] ppid=6644 vsize=1321540 CPUtime=0 cores=1,3,5,7
/proc/6647/task/6648/stat : 6648 (toysat) S 6644 6647 5756 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 3903399 1353256960 271863 33554432000 4194304 16246674 140737238952912 140205585575152 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=6647/tid=6649] ppid=6644 vsize=1321540 CPUtime=0 cores=1,3,5,7
/proc/6647/task/6649/stat : 6649 (toysat) S 6644 6647 5756 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 3903399 1353256960 271863 33554432000 4194304 16246674 140737238952912 140205575085296 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=6647/tid=6650] ppid=6644 vsize=1321540 CPUtime=0 cores=1,3,5,7
/proc/6647/task/6650/stat : 6650 (toysat) S 6644 6647 5756 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 4 0 3903399 1353256960 271863 33554432000 4194304 16246674 140737238952912 140205564611760 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) 1321540

[startup+51.1005 s]
/proc/loadavg: 2.14 2.12 2.08 3/183 6651
/proc/meminfo: memFree=29281956/32872528 swapFree=524788/557492
[pid=6647] ppid=6644 vsize=1348164 CPUtime=51.08 cores=1,3,5,7
/proc/6647/stat : 6647 (toysat) R 6644 6647 5756 0 -1 4202496 278221 0 0 0 5065 43 0 0 20 0 4 0 3903399 1380519936 278519 33554432000 4194304 16246674 140737238952912 140737238935912 13950184 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/6647/statm: 337041 278519 882 2943 0 333935 0
[pid=6647/tid=6648] ppid=6644 vsize=1348164 CPUtime=0 cores=1,3,5,7
/proc/6647/task/6648/stat : 6648 (toysat) S 6644 6647 5756 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 3903399 1380519936 278519 33554432000 4194304 16246674 140737238952912 140205585575152 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=6647/tid=6649] ppid=6644 vsize=1348164 CPUtime=0 cores=1,3,5,7
/proc/6647/task/6649/stat : 6649 (toysat) S 6644 6647 5756 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 3903399 1380519936 278519 33554432000 4194304 16246674 140737238952912 140205575085296 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=6647/tid=6650] ppid=6644 vsize=1348164 CPUtime=0 cores=1,3,5,7
/proc/6647/task/6650/stat : 6650 (toysat) S 6644 6647 5756 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 4 0 3903399 1380519936 278519 33554432000 4194304 16246674 140737238952912 140205564611760 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) 1348164

[startup+102.301 s]
/proc/loadavg: 2.12 2.12 2.08 3/183 6652
/proc/meminfo: memFree=29281632/32872528 swapFree=524788/557492
[pid=6647] ppid=6644 vsize=1348164 CPUtime=102.29 cores=1,3,5,7
/proc/6647/stat : 6647 (toysat) R 6644 6647 5756 0 -1 4202496 278222 0 0 0 10184 45 0 0 20 0 4 0 3903399 1380519936 278520 33554432000 4194304 16246674 140737238952912 140737238935912 5677844 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/6647/statm: 337041 278520 883 2943 0 333935 0
[pid=6647/tid=6648] ppid=6644 vsize=1348164 CPUtime=0 cores=1,3,5,7
/proc/6647/task/6648/stat : 6648 (toysat) S 6644 6647 5756 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 3903399 1380519936 278520 33554432000 4194304 16246674 140737238952912 140205585575152 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=6647/tid=6649] ppid=6644 vsize=1348164 CPUtime=0 cores=1,3,5,7
/proc/6647/task/6649/stat : 6649 (toysat) S 6644 6647 5756 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 3903399 1380519936 278520 33554432000 4194304 16246674 140737238952912 140205575085296 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=6647/tid=6650] ppid=6644 vsize=1348164 CPUtime=0 cores=1,3,5,7
/proc/6647/task/6650/stat : 6650 (toysat) S 6644 6647 5756 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 4 0 3903399 1380519936 278520 33554432000 4194304 16246674 140737238952912 140205564611760 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) 1348164


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

/proc/6647/task/6650/stat : 6650 (toysat) S 6644 6647 5756 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 4 0 3903399 1418268672 287739 33554432000 4194304 16246674 140737238952912 140205564611760 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1301.92
Current children cumulated vsize (KiB) 1385028

[startup+1362.3 s]
/proc/loadavg: 2.21 2.12 2.08 3/183 6683
/proc/meminfo: memFree=29203424/32872528 swapFree=524788/557492
[pid=6647] ppid=6644 vsize=1385028 CPUtime=1361.9 cores=1,3,5,7
/proc/6647/stat : 6647 (toysat) R 6644 6647 5756 0 -1 4202496 287745 0 0 0 136110 80 0 0 20 0 4 0 3903399 1418268672 287739 33554432000 4194304 16246674 140737238952912 140737238935912 15015658 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/6647/statm: 346257 287739 883 2943 0 343151 0
[pid=6647/tid=6648] ppid=6644 vsize=1385028 CPUtime=0 cores=1,3,5,7
/proc/6647/task/6648/stat : 6648 (toysat) S 6644 6647 5756 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 3903399 1418268672 287739 33554432000 4194304 16246674 140737238952912 140205585575152 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=6647/tid=6649] ppid=6644 vsize=1385028 CPUtime=0 cores=1,3,5,7
/proc/6647/task/6649/stat : 6649 (toysat) S 6644 6647 5756 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 3903399 1418268672 287739 33554432000 4194304 16246674 140737238952912 140205575085296 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=6647/tid=6650] ppid=6644 vsize=1385028 CPUtime=0 cores=1,3,5,7
/proc/6647/task/6650/stat : 6650 (toysat) S 6644 6647 5756 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 4 0 3903399 1418268672 287739 33554432000 4194304 16246674 140737238952912 140205564611760 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1361.9
Current children cumulated vsize (KiB) 1385028

[startup+1422.3 s]
/proc/loadavg: 2.20 2.13 2.09 3/183 6684
/proc/meminfo: memFree=29203840/32872528 swapFree=524788/557492
[pid=6647] ppid=6644 vsize=1385028 CPUtime=1421.89 cores=1,3,5,7
/proc/6647/stat : 6647 (toysat) R 6644 6647 5756 0 -1 4202496 287764 0 0 0 142107 82 0 0 20 0 4 0 3903399 1418268672 287739 33554432000 4194304 16246674 140737238952912 140737238935912 4220897 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/6647/statm: 346257 287739 883 2943 0 343151 0
[pid=6647/tid=6648] ppid=6644 vsize=1385028 CPUtime=0 cores=1,3,5,7
/proc/6647/task/6648/stat : 6648 (toysat) S 6644 6647 5756 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 3903399 1418268672 287739 33554432000 4194304 16246674 140737238952912 140205585575152 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=6647/tid=6649] ppid=6644 vsize=1385028 CPUtime=0 cores=1,3,5,7
/proc/6647/task/6649/stat : 6649 (toysat) S 6644 6647 5756 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 3903399 1418268672 287739 33554432000 4194304 16246674 140737238952912 140205575085296 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=6647/tid=6650] ppid=6644 vsize=1385028 CPUtime=0 cores=1,3,5,7
/proc/6647/task/6650/stat : 6650 (toysat) S 6644 6647 5756 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 4 0 3903399 1418268672 287739 33554432000 4194304 16246674 140737238952912 140205564611760 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1421.89
Current children cumulated vsize (KiB) 1385028

[startup+1482.3 s]
/proc/loadavg: 2.18 2.13 2.09 3/183 6686
/proc/meminfo: memFree=29204700/32872528 swapFree=524788/557492
[pid=6647] ppid=6644 vsize=1385028 CPUtime=1481.87 cores=1,3,5,7
/proc/6647/stat : 6647 (toysat) R 6644 6647 5756 0 -1 4202496 287764 0 0 0 148104 83 0 0 20 0 4 0 3903399 1418268672 287739 33554432000 4194304 16246674 140737238952912 140737238934784 4220897 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/6647/statm: 346257 287739 883 2943 0 343151 0
[pid=6647/tid=6648] ppid=6644 vsize=1385028 CPUtime=0 cores=1,3,5,7
/proc/6647/task/6648/stat : 6648 (toysat) S 6644 6647 5756 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 3903399 1418268672 287739 33554432000 4194304 16246674 140737238952912 140205585575152 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=6647/tid=6649] ppid=6644 vsize=1385028 CPUtime=0 cores=1,3,5,7
/proc/6647/task/6649/stat : 6649 (toysat) S 6644 6647 5756 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 3903399 1418268672 287739 33554432000 4194304 16246674 140737238952912 140205575085296 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=6647/tid=6650] ppid=6644 vsize=1385028 CPUtime=0 cores=1,3,5,7
/proc/6647/task/6650/stat : 6650 (toysat) S 6644 6647 5756 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 4 0 3903399 1418268672 287739 33554432000 4194304 16246674 140737238952912 140205564611760 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1481.87
Current children cumulated vsize (KiB) 1385028

[startup+1542.31 s]
/proc/loadavg: 2.17 2.13 2.09 4/183 6687
/proc/meminfo: memFree=29204504/32872528 swapFree=524788/557492
[pid=6647] ppid=6644 vsize=1385028 CPUtime=1541.86 cores=1,3,5,7
/proc/6647/stat : 6647 (toysat) R 6644 6647 5756 0 -1 4202496 287764 0 0 0 154102 84 0 0 20 0 4 0 3903399 1418268672 287739 33554432000 4194304 16246674 140737238952912 140737238952088 4220897 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/6647/statm: 346257 287739 883 2943 0 343151 0
[pid=6647/tid=6648] ppid=6644 vsize=1385028 CPUtime=0 cores=1,3,5,7
/proc/6647/task/6648/stat : 6648 (toysat) S 6644 6647 5756 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 3903399 1418268672 287739 33554432000 4194304 16246674 140737238952912 140205585575152 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=6647/tid=6649] ppid=6644 vsize=1385028 CPUtime=0 cores=1,3,5,7
/proc/6647/task/6649/stat : 6649 (toysat) S 6644 6647 5756 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 3903399 1418268672 287739 33554432000 4194304 16246674 140737238952912 140205575085296 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=6647/tid=6650] ppid=6644 vsize=1385028 CPUtime=0 cores=1,3,5,7
/proc/6647/task/6650/stat : 6650 (toysat) S 6644 6647 5756 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 4 0 3903399 1418268672 287739 33554432000 4194304 16246674 140737238952912 140205564611760 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1541.86
Current children cumulated vsize (KiB) 1385028

[startup+1602.3 s]
/proc/loadavg: 2.06 2.11 2.09 3/183 6786
/proc/meminfo: memFree=30066028/32872528 swapFree=524788/557492
[pid=6647] ppid=6644 vsize=1385028 CPUtime=1601.85 cores=1,3,5,7
/proc/6647/stat : 6647 (toysat) R 6644 6647 5756 0 -1 4202496 287764 0 0 0 160099 86 0 0 20 0 4 0 3903399 1418268672 287739 33554432000 4194304 16246674 140737238952912 140737238935912 14628944 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/6647/statm: 346257 287739 883 2943 0 343151 0
[pid=6647/tid=6648] ppid=6644 vsize=1385028 CPUtime=0 cores=1,3,5,7
/proc/6647/task/6648/stat : 6648 (toysat) S 6644 6647 5756 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 3903399 1418268672 287739 33554432000 4194304 16246674 140737238952912 140205585575152 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=6647/tid=6649] ppid=6644 vsize=1385028 CPUtime=0 cores=1,3,5,7
/proc/6647/task/6649/stat : 6649 (toysat) S 6644 6647 5756 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 3903399 1418268672 287739 33554432000 4194304 16246674 140737238952912 140205575085296 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=6647/tid=6650] ppid=6644 vsize=1385028 CPUtime=0 cores=1,3,5,7
/proc/6647/task/6650/stat : 6650 (toysat) S 6644 6647 5756 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 4 0 3903399 1418268672 287739 33554432000 4194304 16246674 140737238952912 140205564611760 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1601.85
Current children cumulated vsize (KiB) 1385028

[startup+1662.3 s]
/proc/loadavg: 2.09 2.10 2.09 3/183 6787
/proc/meminfo: memFree=29282880/32872528 swapFree=524788/557492
[pid=6647] ppid=6644 vsize=1385028 CPUtime=1661.84 cores=1,3,5,7
/proc/6647/stat : 6647 (toysat) R 6644 6647 5756 0 -1 4202496 287764 0 0 0 166097 87 0 0 20 0 4 0 3903399 1418268672 287739 33554432000 4194304 16246674 140737238952912 140737238934784 15015658 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/6647/statm: 346257 287739 883 2943 0 343151 0
[pid=6647/tid=6648] ppid=6644 vsize=1385028 CPUtime=0 cores=1,3,5,7
/proc/6647/task/6648/stat : 6648 (toysat) S 6644 6647 5756 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 3903399 1418268672 287739 33554432000 4194304 16246674 140737238952912 140205585575152 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=6647/tid=6649] ppid=6644 vsize=1385028 CPUtime=0 cores=1,3,5,7
/proc/6647/task/6649/stat : 6649 (toysat) S 6644 6647 5756 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 3903399 1418268672 287739 33554432000 4194304 16246674 140737238952912 140205575085296 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=6647/tid=6650] ppid=6644 vsize=1385028 CPUtime=0 cores=1,3,5,7
/proc/6647/task/6650/stat : 6650 (toysat) S 6644 6647 5756 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 4 0 3903399 1418268672 287739 33554432000 4194304 16246674 140737238952912 140205564611760 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1661.84
Current children cumulated vsize (KiB) 1385028

[startup+1722.3 s]
/proc/loadavg: 2.10 2.10 2.08 3/184 6791
/proc/meminfo: memFree=29282088/32872528 swapFree=524788/557492
[pid=6647] ppid=6644 vsize=1385028 CPUtime=1721.82 cores=1,3,5,7
/proc/6647/stat : 6647 (toysat) R 6644 6647 5756 0 -1 4202496 287764 0 0 0 172094 88 0 0 20 0 4 0 3903399 1418268672 287739 33554432000 4194304 16246674 140737238952912 140737238950784 5822432 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/6647/statm: 346257 287739 883 2943 0 343151 0
[pid=6647/tid=6648] ppid=6644 vsize=1385028 CPUtime=0 cores=1,3,5,7
/proc/6647/task/6648/stat : 6648 (toysat) S 6644 6647 5756 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 3903399 1418268672 287739 33554432000 4194304 16246674 140737238952912 140205585575152 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=6647/tid=6649] ppid=6644 vsize=1385028 CPUtime=0 cores=1,3,5,7
/proc/6647/task/6649/stat : 6649 (toysat) S 6644 6647 5756 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 3903399 1418268672 287739 33554432000 4194304 16246674 140737238952912 140205575085296 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=6647/tid=6650] ppid=6644 vsize=1385028 CPUtime=0 cores=1,3,5,7
/proc/6647/task/6650/stat : 6650 (toysat) S 6644 6647 5756 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 4 0 3903399 1418268672 287739 33554432000 4194304 16246674 140737238952912 140205564611760 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1721.82
Current children cumulated vsize (KiB) 1385028

[startup+1782.3 s]
/proc/loadavg: 2.04 2.08 2.08 3/183 6793
/proc/meminfo: memFree=29281484/32872528 swapFree=524788/557492
[pid=6647] ppid=6644 vsize=1385028 CPUtime=1781.82 cores=1,3,5,7
/proc/6647/stat : 6647 (toysat) R 6644 6647 5756 0 -1 4202496 287764 0 0 0 178092 90 0 0 20 0 4 0 3903399 1418268672 287739 33554432000 4194304 16246674 140737238952912 140737238935912 5672188 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/6647/statm: 346257 287739 883 2943 0 343151 0
[pid=6647/tid=6648] ppid=6644 vsize=1385028 CPUtime=0 cores=1,3,5,7
/proc/6647/task/6648/stat : 6648 (toysat) S 6644 6647 5756 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 3903399 1418268672 287739 33554432000 4194304 16246674 140737238952912 140205585575152 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=6647/tid=6649] ppid=6644 vsize=1385028 CPUtime=0 cores=1,3,5,7
/proc/6647/task/6649/stat : 6649 (toysat) S 6644 6647 5756 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 3903399 1418268672 287739 33554432000 4194304 16246674 140737238952912 140205575085296 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=6647/tid=6650] ppid=6644 vsize=1385028 CPUtime=0 cores=1,3,5,7
/proc/6647/task/6650/stat : 6650 (toysat) S 6644 6647 5756 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 4 0 3903399 1418268672 287739 33554432000 4194304 16246674 140737238952912 140205564611760 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1781.82
Current children cumulated vsize (KiB) 1385028



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.5 s]
/proc/loadavg: 2.10 2.09 2.08 3/183 6793
/proc/meminfo: memFree=29281936/32872528 swapFree=524788/557492
[pid=6647] ppid=6644 vsize=1385028 CPUtime=1800.01 cores=1,3,5,7
/proc/6647/stat : 6647 (toysat) R 6644 6647 5756 0 -1 4202496 287764 0 0 0 179911 90 0 0 20 0 4 0 3903399 1418268672 287739 33554432000 4194304 16246674 140737238952912 140737238935904 5523531 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/6647/statm: 346257 287739 883 2943 0 343151 0
[pid=6647/tid=6648] ppid=6644 vsize=1385028 CPUtime=0 cores=1,3,5,7
/proc/6647/task/6648/stat : 6648 (toysat) S 6644 6647 5756 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 3903399 1418268672 287739 33554432000 4194304 16246674 140737238952912 140205585575152 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=6647/tid=6649] ppid=6644 vsize=1385028 CPUtime=0 cores=1,3,5,7
/proc/6647/task/6649/stat : 6649 (toysat) S 6644 6647 5756 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 3903399 1418268672 287739 33554432000 4194304 16246674 140737238952912 140205575085296 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=6647/tid=6650] ppid=6644 vsize=1385028 CPUtime=0 cores=1,3,5,7
/proc/6647/task/6650/stat : 6650 (toysat) S 6644 6647 5756 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 4 0 3903399 1418268672 287739 33554432000 4194304 16246674 140737238952912 140205564611760 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1800.01
Current children cumulated vsize (KiB) 1385028

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

[startup+1800.5 s]
/proc/loadavg: 2.10 2.09 2.08 3/183 6793
/proc/meminfo: memFree=29281936/32872528 swapFree=524788/557492
[pid=6647] ppid=6644 vsize=1385028 CPUtime=1800.01 cores=1,3,5,7
/proc/6647/stat : 6647 (toysat) R 6644 6647 5756 0 -1 4202496 287764 0 0 0 179911 90 0 0 20 0 4 0 3903399 1418268672 287739 33554432000 4194304 16246674 140737238952912 140737238935904 5523531 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/6647/statm: 346257 287739 883 2943 0 343151 0
[pid=6647/tid=6648] ppid=6644 vsize=1385028 CPUtime=0 cores=1,3,5,7
/proc/6647/task/6648/stat : 6648 (toysat) S 6644 6647 5756 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 3903399 1418268672 287739 33554432000 4194304 16246674 140737238952912 140205585575152 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=6647/tid=6649] ppid=6644 vsize=1385028 CPUtime=0 cores=1,3,5,7
/proc/6647/task/6649/stat : 6649 (toysat) S 6644 6647 5756 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 3903399 1418268672 287739 33554432000 4194304 16246674 140737238952912 140205575085296 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=6647/tid=6650] ppid=6644 vsize=1385028 CPUtime=0 cores=1,3,5,7
/proc/6647/task/6650/stat : 6650 (toysat) S 6644 6647 5756 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 4 0 3903399 1418268672 287739 33554432000 4194304 16246674 140737238952912 140205564611760 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1800.01
Current children cumulated vsize (KiB) 1385028

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1800.51
CPU time (s): 1800.03
CPU user time (s): 1799.12
CPU system time (s): 0.907861
CPU usage (%): 99.9735
Max. virtual memory (cumulated for all children) (KiB): 1385028

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.12
system time used= 0.907861
maximum resident set size= 1150956
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 287764
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= 343
involuntary context switches= 1835

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 4.70928 second user time and 6.80396 second system time

The end

Begin job on node106 at 2016-06-15 21:22:13
IDJOB=4088910
IDBENCH=107331
IDSOLVER=2542
FILE ID=node106/4088910-1466018533
RUNJOBID= node106-1466012020-5773
PBS_JOBID= 19902815
Free space on /tmp= 71724 MiB

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

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

MD5SUM BENCH= 8fba6836f7de2f4e13f0c3454522b242
RANDOM SEED=1016609650

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

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:       32872528 kB
MemFree:        30393964 kB
Buffers:           18664 kB
Cached:            73268 kB
SwapCached:         1480 kB
Active:          1181808 kB
Inactive:          25912 kB
Active(anon):    1117220 kB
Inactive(anon):     1192 kB
Active(file):      64588 kB
Inactive(file):    24720 kB
Unevictable:      557492 kB
Mlocked:          524788 kB
SwapTotal:      67108856 kB
SwapFree:       67099844 kB
Dirty:             16356 kB
Writeback:             0 kB
AnonPages:       1671996 kB
Mapped:            10720 kB
Shmem:                 0 kB
Slab:             576564 kB
SReclaimable:      20592 kB
SUnreclaim:       555972 kB
KernelStack:        1488 kB
PageTables:         7212 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    1817708 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:     32768 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:        7552 kB
DirectMap2M:    33538048 kB

Free space on /tmp at the end= 71708 MiB
End job on node106 at 2016-06-15 21:52:13