0.00/0.00	c 2016-06-15T21:18:52+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-4088903-1466018332.opb"]
0.00/0.01	c use --random-gen="2427228213 446577615 476627310 1942484732 3355581308 491980172 3628159950 1851786360 3699488124 228440174 3987967380 3185138417 3165662 4178936323 20433884 451873201 3651019011 2341807049 3681531526 4173900041 1452731397 2351504602 3362848855 4048367752 2302421874 3232835019 3357995745 2060912727 2317119669 2281580237 2739853776 952040651 460670364 654977995 1242484018 2594469597 525030323 2642785936 2217070513 2506076503 2780663568 4053878747 1063158143 3016932082 1859784306 455064647 3080402741 829398025 831497609 2517984574 1251119713 2165043476 214396406 2571296871 1362492764 3231554798 3386186009 3808863024 255891406 1430564921 715904829 471802737 3373403423 3181160689 564779012 4178211085 23973642 3497199653 1980322612 2510185230 449321072 4094133364 3474915690 3343083026 2066662747 579636924 1625348872 3108539292 4015189615 313682616 3644141574 206684232 3873751891 167629594 852915766 3671606795 2193639444 1063331929 220323047 1182076762 678004490 2136410686 3187735005 3793722003 2573357659 18846496 1031254334 3179845371 2872414440 2701689498 56511727 1700408272 3376858891 189213009 3993302336 2437490419 3874373601 2190579454 3372174561 4194115334 609926516 3327584294 3103738371 3753174494 296308994 559192894 2894325103 1068794121 873457646 2272815621 3618891241 3040310021 258020194 768653751 845741786 1546227244 190604381 2980894345 2454333260 643116590 1706163214 3268500923 3742699696 3431798716 949346996 1251877828 4154321964 4164130332 1905820021 2391180317 1226353213 1301585551 2569268620 418714917 3396699916 4050589448 677081756 2237468942 3670306840 2349163841 2940708717 2960280414 2516252491 1706568469 1021103722 1486824520 3968880769 1881501644 3927319164 3887779460 2226835216 1798500270 139238377 2053888516 440928743 2956277042 1814871591 1717197219 3277481623 1041330073 3424090317 2162837758 322353653 1973439718 1560369681 2637211279 805258344 2824941887 752906736 2113133128 2646112684 3723206809 1583463748 1603379621 3957204278 2312796028 231948963 1440893663 3328205566 320047575 3944506844 1468454640 4119221412 1209701565 2698890101 935494905 3161404934 2686383248 155479052 2373201971 989596673 1936756329 3833988261 1471600469 757860401 1018518021 2249578153 2055570881 3666364866 890351813 2707638970 2891805730 2982202431 3984277440 235650488 173123208 2073161657 514021095 1230416818 1492420639 1931751424 229390108 3895382217 3642432725 4287095618 2623643415 334539741 3478888345 4182714909 1768895308 4091650735 3295745048 3186157095 727980464 1777318199 1830393417 2959517287 1430064663 3839299375 4108304898 3524230271 3290748206 3334228141 2319553731 3482811348 2043083354 2822121131 818448800 3197150652 3760887397 1157909843 2066415377 3088630419 477778217 3952808989 293413635 255 362436" option to reproduce the execution
0.00/0.05	c #vars 5275
0.00/0.05	c #constraints 1056
0.00/0.08	c Solving starts ...
0.00/0.08	c ============================[ Search Statistics ]============================
0.00/0.08	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
0.00/0.08	c       |         |          |          |    Limit     GC | Var      | Constra 
0.00/0.08	c =============================================================================
0.00/0.08	c  0.0s |       0 |        0 |        0 |     2110      0 |        0 |        0
0.08/0.11	c  0.0s |       1 |      985 |      100 |     2110      0 |        0 |        0
0.08/0.13	c  0.0s |       2 |     1321 |      250 |     2321      0 |        0 |        0
0.08/0.14	c  0.1s |       3 |     1727 |      475 |     2554      0 |        0 |        0
0.08/0.16	c  0.1s |       4 |     2108 |      813 |     2810      0 |        0 |        0
0.19/0.21	c  0.1s |       5 |     3121 |     1320 |     3092      0 |        0 |        0
0.19/0.26	c  0.2s |       6 |     4614 |     2081 |     3743      0 |        0 |        0
0.29/0.36	c  0.3s |       7 |     6646 |     3223 |     4118      0 |        0 |        0
0.49/0.51	c  0.4s |       8 |     9013 |     4936 |     4530      1 |        0 |        0
0.69/0.71	c  0.6s |       9 |    13761 |     7506 |     4983      1 |        0 |        0
0.99/1.08	c  1.0s |      10 |    19531 |    11361 |     5482      3 |        0 |        0
1.49/1.55	c  1.5s |      11 |    28791 |    17144 |     6031      5 |        0 |        0
2.30/2.31	c  2.2s |      12 |    41280 |    25819 |     6635      8 |        0 |        0
3.30/3.35	c  3.3s |      13 |    60149 |    38832 |     7299     11 |        0 |        0
5.39/5.41	c  5.3s |      13 |    81973 |    55432 |     7299     16 |        0 |        0
5.79/5.86	c  5.8s |      14 |    85687 |    58352 |     8029     16 |        0 |        0
7.80/7.87	c  7.8s |      14 |   106027 |    73652 |     8029     20 |        0 |        0
9.49/9.52	c  9.4s |      15 |   125323 |    87632 |     8832     23 |        0 |        0
11.49/11.52	c 11.4s |      15 |   155474 |   105632 |     8832     27 |        0 |        0
13.49/13.53	c 13.5s |      15 |   174527 |   120132 |     8832     30 |        0 |        0
14.89/14.97	c 14.9s |      16 |   192060 |   131552 |     9716     33 |        0 |        0
16.88/16.99	c 16.9s |      16 |   222757 |   154752 |     9716     38 |        0 |        0
18.89/18.99	c 18.9s |      16 |   260797 |   178952 |     9716     43 |        0 |        0
20.90/21.00	c 20.9s |      16 |   281158 |   193652 |     9716     45 |        0 |        0
21.69/21.72	c 21.6s |      17 |   286101 |   197432 |    10688     46 |        0 |        0
23.69/23.73	c 23.7s |      17 |   317024 |   212032 |    10688     49 |        0 |        0
25.69/25.74	c 25.7s |      17 |   345530 |   232132 |    10688     52 |        0 |        0
27.69/27.75	c 27.7s |      17 |   383838 |   257232 |    10688     57 |        0 |        0
29.70/29.75	c 29.7s |      17 |   402148 |   270232 |    10688     59 |        0 |        0
31.69/31.76	c 31.7s |      17 |   432217 |   287232 |    10688     62 |        0 |        0
32.59/32.63	c 32.6s |      18 |   448087 |   296252 |    11757     63 |        0 |        0
34.59/34.64	c 34.6s |      18 |   473446 |   310952 |    11757     65 |        0 |        0
36.59/36.64	c 36.6s |      18 |   505047 |   332752 |    11757     69 |        0 |        0
38.59/38.64	c 38.6s |      18 |   523010 |   345952 |    11757     71 |        0 |        0
40.58/40.64	c 40.6s |      18 |   547016 |   362652 |    11757     74 |        0 |        0
42.58/42.67	c 42.6s |      18 |   562975 |   374352 |    11757     76 |        0 |        0
44.58/44.69	c 44.6s |      18 |   571173 |   380352 |    11757     77 |        0 |        0
46.68/46.70	c 46.6s |      18 |   587947 |   390552 |    11757     79 |        0 |        0
48.68/48.71	c 48.6s |      18 |   633429 |   411652 |    11757     82 |        0 |        0
50.69/50.72	c 50.6s |      18 |   652076 |   425352 |    11757     84 |        0 |        0
52.69/52.72	c 52.6s |      18 |   671106 |   439152 |    11757     87 |        0 |        0
53.19/53.22	c 53.1s |      19 |   678671 |   444482 |    12933     87 |        0 |        0
55.19/55.22	c 55.1s |      19 |   697200 |   458282 |    12933     89 |        0 |        0
57.19/57.23	c 57.1s |      19 |   725577 |   478982 |    12933     93 |        0 |        0
59.18/59.24	c 59.2s |      19 |   761695 |   496582 |    12933     95 |        0 |        0
61.18/61.25	c 61.2s |      19 |   782657 |   510782 |    12933     97 |        0 |        0
63.18/63.25	c 63.2s |      19 |   814019 |   526082 |    12933     99 |        0 |        0
65.18/65.26	c 65.2s |      19 |   840900 |   546182 |    12933    102 |        0 |        0
67.19/67.26	c 67.2s |      19 |   867666 |   565282 |    12933    105 |        0 |        0
69.18/69.27	c 69.2s |      19 |   899987 |   579982 |    12933    107 |        0 |        0
71.18/71.27	c 71.2s |      19 |   928994 |   598782 |    12933    110 |        0 |        0
73.18/73.29	c 73.2s |      19 |   958588 |   617282 |    12933    113 |        0 |        0
75.28/75.31	c 75.2s |      19 |   971418 |   626782 |    12933    114 |        0 |        0
77.28/77.34	c 77.3s |      19 |   979168 |   632382 |    12933    115 |        0 |        0
79.29/79.36	c 79.3s |      19 |   987882 |   638982 |    12933    116 |        0 |        0
81.28/81.37	c 81.3s |      19 |   996672 |   646182 |    12933    117 |        0 |        0
83.28/83.38	c 83.3s |      19 |  1002892 |   650882 |    12933    118 |        0 |        0
85.28/85.39	c 85.3s |      19 |  1012372 |   657682 |    12933    119 |        0 |        0
86.88/86.99	c 86.9s |      20 |  1024988 |   666827 |    14227    120 |        0 |        0
88.88/89.00	c 88.9s |      20 |  1056180 |   684427 |    14227    123 |        0 |        0
90.97/91.01	c 90.9s |      20 |  1073846 |   696327 |    14227    124 |        0 |        0
92.97/93.02	c 92.9s |      20 |  1089200 |   707427 |    14227    126 |        0 |        0
94.97/95.03	c 94.9s |      20 |  1111160 |   722927 |    14227    128 |        0 |        0
96.97/97.05	c 97.0s |      20 |  1124450 |   733127 |    14227    129 |        0 |        0
99.09/99.11	c 99.0s |      20 |  1157665 |   746727 |    14227    131 |        0 |        0
101.08/101.13	c  101s |      20 |  1177788 |   759727 |    14227    132 |        0 |        0
103.08/103.13	c  103s |      20 |  1191975 |   769127 |    14227    134 |        0 |        0
105.08/105.14	c  105s |      20 |  1214456 |   783427 |    14227    135 |        0 |        0
107.08/107.14	c  107s |      20 |  1242282 |   804927 |    14227    138 |        0 |        0
109.08/109.15	c  109s |      20 |  1268914 |   823827 |    14227    141 |        0 |        0
111.09/111.15	c  111s |      20 |  1280846 |   833227 |    14227    142 |        0 |        0
113.08/113.16	c  113s |      20 |  1288449 |   839027 |    14227    143 |        0 |        0
115.18/115.26	c  115s |      20 |  1295777 |   844727 |    14227    144 |        0 |        0
117.17/117.26	c  117s |      20 |  1303042 |   850427 |    14227    144 |        0 |        0
119.17/119.27	c  119s |      20 |  1316695 |   860727 |    14227    146 |        0 |        0
121.17/121.29	c  121s |      20 |  1330195 |   870027 |    14227    147 |        0 |        0
123.18/123.30	c  123s |      20 |  1345409 |   881727 |    14227    148 |        0 |        0
125.27/125.30	c  125s |      20 |  1375201 |   899027 |    14227    151 |        0 |        0
127.27/127.30	c  127s |      20 |  1399373 |   914327 |    14227    153 |        0 |        0
129.27/129.31	c  129s |      20 |  1423616 |   927227 |    14227    154 |        0 |        0
131.27/131.33	c  131s |      20 |  1445776 |   942627 |    14227    156 |        0 |        0
133.27/133.35	c  133s |      20 |  1458054 |   952127 |    14227    158 |        0 |        0
135.28/135.37	c  135s |      20 |  1471167 |   961927 |    14227    159 |        0 |        0
137.27/137.37	c  137s |      20 |  1484185 |   971527 |    14227    160 |        0 |        0
139.37/139.40	c  139s |      20 |  1495441 |   979527 |    14227    162 |        0 |        0
141.37/141.42	c  141s |      20 |  1504324 |   986327 |    14227    162 |        0 |        0
143.47/143.51	c  143s |      20 |  1514823 |   993627 |    15650    163 |        0 |        0
144.47/144.60	c  144s |      21 |  1523726 |  1000345 |    15650    164 |        0 |        0
146.57/146.61	c  146s |      21 |  1549642 |  1020045 |    15650    167 |        0 |        0
148.58/148.61	c  148s |      21 |  1581973 |  1041145 |    15650    169 |        0 |        0
150.57/150.61	c  150s |      21 |  1610395 |  1061445 |    15650    172 |        0 |        0
152.57/152.61	c  152s |      21 |  1649563 |  1082545 |    15650    174 |        0 |        0
154.57/154.62	c  154s |      21 |  1677428 |  1102545 |    15650    177 |        0 |        0
156.57/156.64	c  156s |      21 |  1697185 |  1116645 |    15650    179 |        0 |        0
158.57/158.65	c  158s |      21 |  1711748 |  1127945 |    15650    180 |        0 |        0
160.58/160.66	c  160s |      21 |  1735858 |  1143845 |    15650    182 |        0 |        0
162.57/162.68	c  162s |      21 |  1762894 |  1161845 |    15650    184 |        0 |        0
164.67/164.74	c  164s |      21 |  1794682 |  1180845 |    15650    187 |        0 |        0
166.67/166.75	c  166s |      21 |  1809437 |  1192945 |    15650    188 |        0 |        0
168.67/168.75	c  168s |      21 |  1821363 |  1202545 |    15650    189 |        0 |        0
170.67/170.76	c  170s |      21 |  1848637 |  1217745 |    15650    191 |        0 |        0
172.67/172.78	c  172s |      21 |  1872155 |  1230145 |    15650    193 |        0 |        0
174.66/174.79	c  174s |      21 |  1894786 |  1246645 |    15650    195 |        0 |        0
176.66/176.79	c  176s |      21 |  1944200 |  1268145 |    15650    197 |        0 |        0
178.66/178.79	c  178s |      21 |  1981438 |  1286545 |    15650    199 |        0 |        0
180.76/180.81	c  180s |      21 |  2005579 |  1302945 |    15650    202 |        0 |        0
182.76/182.81	c  182s |      21 |  2042052 |  1323645 |    15650    204 |        0 |        0
184.77/184.82	c  184s |      21 |  2060812 |  1336345 |    15650    206 |        0 |        0
186.86/186.98	c  186s |      21 |  2073275 |  1345045 |    15650    207 |        0 |        0
188.96/189.00	c  188s |      21 |  2081392 |  1350945 |    15650    208 |        0 |        0
190.96/191.00	c  190s |      21 |  2104529 |  1366345 |    15650    210 |        0 |        0
192.96/193.01	c  192s |      21 |  2139975 |  1385045 |    15650    212 |        0 |        0
194.96/195.02	c  194s |      21 |  2169483 |  1400645 |    15650    214 |        0 |        0
196.96/197.02	c  196s |      21 |  2195655 |  1420245 |    15650    216 |        0 |        0
198.96/199.03	c  198s |      21 |  2222870 |  1433645 |    15650    218 |        0 |        0
200.96/201.04	c  200s |      21 |  2238005 |  1444445 |    15650    219 |        0 |        0
202.96/203.04	c  202s |      21 |  2247349 |  1452045 |    15650    220 |        0 |        0
204.96/205.05	c  204s |      21 |  2254701 |  1457545 |    15650    221 |        0 |        0
206.96/207.06	c  206s |      21 |  2269005 |  1467845 |    15650    222 |        0 |        0
208.96/209.06	c  208s |      21 |  2297610 |  1483345 |    15650    224 |        0 |        0
210.96/211.07	c  210s |      21 |  2316399 |  1497645 |    17215    225 |        0 |        0
211.46/211.56	c  211s |      22 |  2320153 |  1500622 |    17215    225 |        0 |        0
213.46/213.56	c  213s |      22 |  2343923 |  1515722 |    17215    227 |        0 |        0
215.46/215.58	c  215s |      22 |  2360666 |  1528722 |    17215    229 |        0 |        0
217.55/217.62	c  217s |      22 |  2370729 |  1535922 |    17215    230 |        0 |        0
219.55/219.68	c  219s |      22 |  2382693 |  1545022 |    17215    231 |        0 |        0
221.56/221.69	c  221s |      22 |  2393246 |  1553022 |    17215    232 |        0 |        0
223.66/223.70	c  223s |      22 |  2401067 |  1559522 |    17215    232 |        0 |        0
225.66/225.70	c  225s |      22 |  2409085 |  1565722 |    17215    233 |        0 |        0
227.66/227.71	c  227s |      22 |  2415220 |  1570422 |    17215    234 |        0 |        0
229.66/229.72	c  229s |      22 |  2421476 |  1575122 |    17215    234 |        0 |        0
231.66/231.72	c  231s |      22 |  2429913 |  1581122 |    17215    235 |        0 |        0
233.66/233.73	c  233s |      22 |  2438621 |  1587222 |    17215    235 |        0 |        0
235.66/235.73	c  235s |      22 |  2447728 |  1593822 |    17215    236 |        0 |        0
237.66/237.73	c  237s |      22 |  2475750 |  1605322 |    17215    238 |        0 |        0
239.65/239.74	c  239s |      22 |  2487617 |  1614222 |    17215    239 |        0 |        0
241.65/241.75	c  241s |      22 |  2502361 |  1625622 |    17215    240 |        0 |        0
243.65/243.78	c  243s |      22 |  2513833 |  1634322 |    17215    241 |        0 |        0
245.75/245.83	c  245s |      22 |  2520854 |  1639422 |    17215    242 |        0 |        0
247.75/247.86	c  247s |      22 |  2530650 |  1646622 |    17215    242 |        0 |        0
249.75/249.87	c  249s |      22 |  2540613 |  1653622 |    17215    243 |        0 |        0
251.75/251.89	c  251s |      22 |  2553404 |  1662522 |    17215    244 |        0 |        0
253.85/253.90	c  253s |      22 |  2564708 |  1671422 |    17215    245 |        0 |        0
255.85/255.93	c  255s |      22 |  2570979 |  1676422 |    17215    246 |        0 |        0
257.84/257.93	c  257s |      22 |  2582343 |  1684522 |    17215    247 |        0 |        0
259.84/259.94	c  259s |      22 |  2593140 |  1692622 |    17215    248 |        0 |        0
261.85/261.94	c  261s |      22 |  2620793 |  1706622 |    17215    249 |        0 |        0
263.84/263.94	c  263s |      22 |  2639263 |  1720622 |    17215    251 |        0 |        0
265.84/265.95	c  265s |      22 |  2663868 |  1736122 |    17215    253 |        0 |        0
267.84/267.96	c  267s |      22 |  2679710 |  1748322 |    17215    254 |        0 |        0
269.84/269.98	c  269s |      22 |  2692114 |  1756922 |    17215    255 |        0 |        0
271.83/271.98	c  271s |      22 |  2737511 |  1775422 |    17215    257 |        0 |        0
273.84/273.99	c  273s |      22 |  2759118 |  1791622 |    17215    259 |        0 |        0
275.93/276.00	c  275s |      22 |  2777131 |  1804722 |    17215    260 |        0 |        0
277.94/278.05	c  277s |      22 |  2789785 |  1814422 |    17215    262 |        0 |        0
279.94/280.05	c  279s |      22 |  2802910 |  1824322 |    17215    263 |        0 |        0
281.94/282.06	c  281s |      22 |  2816861 |  1834122 |    17215    264 |        0 |        0
284.14/284.20	c  284s |      22 |  2827985 |  1842322 |    17215    265 |        0 |        0
286.14/286.21	c  286s |      22 |  2837393 |  1849322 |    17215    266 |        0 |        0
288.34/288.45	c  288s |      22 |  2843213 |  1853322 |    17215    266 |        0 |        0
290.34/290.47	c  290s |      22 |  2859118 |  1865422 |    17215    267 |        0 |        0
292.33/292.48	c  292s |      22 |  2869890 |  1873522 |    17215    268 |        0 |        0
294.33/294.49	c  294s |      22 |  2880328 |  1881822 |    17215    269 |        0 |        0
296.43/296.50	c  296s |      22 |  2893525 |  1891622 |    17215    270 |        0 |        0
298.43/298.54	c  298s |      22 |  2920862 |  1904322 |    17215    272 |        0 |        0
300.43/300.54	c  300s |      22 |  2946221 |  1923922 |    17215    274 |        0 |        0
302.43/302.54	c  302s |      22 |  2960902 |  1935022 |    17215    275 |        0 |        0
304.43/304.56	c  304s |      22 |  2971842 |  1943322 |    17215    276 |        0 |        0
306.83/306.94	c  306s |      22 |  3006067 |  1958422 |    17215    278 |        0 |        0
308.83/308.99	c  308s |      22 |  3039695 |  1976422 |    17215    280 |        0 |        0
310.82/310.99	c  310s |      22 |  3061649 |  1992522 |    17215    282 |        0 |        0
312.92/313.00	c  312s |      22 |  3089673 |  2005422 |    17215    283 |        0 |        0
314.92/315.02	c  314s |      22 |  3108274 |  2019522 |    17215    285 |        0 |        0
316.92/317.02	c  316s |      22 |  3122217 |  2028922 |    17215    286 |        0 |        0
318.93/319.03	c  318s |      22 |  3139857 |  2042122 |    17215    287 |        0 |        0
320.93/321.04	c  320s |      22 |  3157082 |  2055122 |    17215    289 |        0 |        0
322.93/323.04	c  322s |      22 |  3174634 |  2068122 |    17215    290 |        0 |        0
324.93/325.04	c  324s |      22 |  3189652 |  2078922 |    17215    292 |        0 |        0
326.93/327.05	c  326s |      22 |  3204228 |  2089622 |    17215    293 |        0 |        0
328.93/329.06	c  328s |      22 |  3217178 |  2098422 |    17215    294 |        0 |        0
331.03/331.16	c  331s |      22 |  3228084 |  2106122 |    17215    295 |        0 |        0
333.02/333.16	c  333s |      22 |  3237788 |  2113422 |    17215    295 |        0 |        0
335.12/335.29	c  335s |      22 |  3261481 |  2129022 |    17215    297 |        0 |        0
337.12/337.29	c  337s |      22 |  3290551 |  2149822 |    17215    300 |        0 |        0
339.22/339.30	c  339s |      22 |  3318321 |  2167522 |    17215    302 |        0 |        0
341.21/341.32	c  341s |      22 |  3336910 |  2180622 |    17215    303 |        0 |        0
343.22/343.32	c  343s |      22 |  3353276 |  2192922 |    17215    305 |        0 |        0
345.21/345.34	c  345s |      22 |  3368611 |  2204422 |    17215    306 |        0 |        0
347.41/347.58	c  347s |      22 |  3381225 |  2213222 |    17215    307 |        0 |        0
349.42/349.58	c  349s |      22 |  3399839 |  2227622 |    17215    309 |        0 |        0
351.42/351.59	c  351s |      22 |  3429191 |  2245322 |    18937    310 |        0 |        0
352.12/352.26	c  352s |      23 |  3439705 |  2251038 |    18937    311 |        0 |        0
354.12/354.27	c  354s |      23 |  3461238 |  2267738 |    18937    313 |        0 |        0
356.12/356.27	c  356s |      23 |  3472420 |  2276138 |    18937    314 |        0 |        0
358.11/358.28	c  358s |      23 |  3481826 |  2282838 |    18937    314 |        0 |        0
360.21/360.31	c  360s |      23 |  3496568 |  2294538 |    18937    316 |        0 |        0
362.21/362.33	c  362s |      23 |  3529211 |  2311238 |    18937    317 |        0 |        0
364.21/364.35	c  364s |      23 |  3542208 |  2321638 |    18937    318 |        0 |        0
366.32/366.42	c  366s |      23 |  3551751 |  2328138 |    18937    319 |        0 |        0
368.31/368.43	c  368s |      23 |  3560134 |  2334638 |    18937    319 |        0 |        0
370.30/370.44	c  370s |      23 |  3568924 |  2340738 |    18937    320 |        0 |        0
373.11/373.21	c  373s |      23 |  3575235 |  2344838 |    18937    321 |        0 |        0
375.11/375.24	c  375s |      23 |  3584306 |  2351238 |    18937    321 |        0 |        0
377.10/377.25	c  377s |      23 |  3592807 |  2357338 |    18937    322 |        0 |        0
379.51/379.66	c  379s |      23 |  3602765 |  2364638 |    18937    323 |        0 |        0
381.50/381.69	c  381s |      23 |  3614925 |  2373138 |    18937    323 |        0 |        0
383.50/383.69	c  383s |      23 |  3625761 |  2380638 |    18937    324 |        0 |        0
385.70/385.89	c  385s |      23 |  3631908 |  2384838 |    18937    325 |        0 |        0
387.79/387.90	c  387s |      23 |  3653872 |  2399538 |    18937    326 |        0 |        0
389.79/389.90	c  389s |      23 |  3666632 |  2409238 |    18937    327 |        0 |        0
391.99/392.18	c  392s |      23 |  3688324 |  2421438 |    18937    328 |        0 |        0
394.09/394.20	c  394s |      23 |  3712979 |  2435538 |    18937    330 |        0 |        0
396.09/396.22	c  396s |      23 |  3725594 |  2444838 |    18937    331 |        0 |        0
398.09/398.23	c  398s |      23 |  3739194 |  2452738 |    18937    331 |        0 |        0
400.09/400.24	c  400s |      23 |  3748395 |  2460038 |    18937    332 |        0 |        0
402.09/402.25	c  402s |      23 |  3758086 |  2467638 |    18937    333 |        0 |        0
404.39/404.52	c  404s |      23 |  3765369 |  2473338 |    18937    334 |        0 |        0
406.49/406.61	c  406s |      23 |  3772153 |  2478438 |    18937    334 |        0 |        0
408.48/408.62	c  408s |      23 |  3780418 |  2484638 |    18937    335 |        0 |        0
410.48/410.63	c  410s |      23 |  3795729 |  2495938 |    18937    336 |        0 |        0
412.49/412.63	c  412s |      23 |  3822706 |  2508938 |    18937    337 |        0 |        0
414.48/414.64	c  414s |      23 |  3848740 |  2522238 |    18937    339 |        0 |        0
416.48/416.65	c  416s |      23 |  3889430 |  2546138 |    18937    341 |        0 |        0
418.47/418.66	c  418s |      23 |  3928635 |  2564338 |    18937    343 |        0 |        0
420.47/420.66	c  420s |      23 |  3938764 |  2572438 |    18937    344 |        0 |        0
422.47/422.67	c  422s |      23 |  3945919 |  2577638 |    18937    344 |        0 |        0
424.67/424.82	c  424s |      23 |  3953461 |  2582638 |    18937    345 |        0 |        0
426.69/426.86	c  426s |      23 |  3959980 |  2587238 |    18937    345 |        0 |        0
428.68/428.86	c  428s |      23 |  3970769 |  2595238 |    18937    346 |        0 |        0
430.68/430.88	c  430s |      23 |  3985773 |  2605838 |    18937    347 |        0 |        0
432.68/432.88	c  432s |      23 |  4020694 |  2626738 |    18937    349 |        0 |        0
434.67/434.89	c  434s |      23 |  4043876 |  2640238 |    18937    350 |        0 |        0
436.77/436.92	c  436s |      23 |  4053653 |  2648038 |    18937    351 |        0 |        0
438.78/438.92	c  438s |      23 |  4075379 |  2663538 |    18937    353 |        0 |        0
440.77/440.93	c  440s |      23 |  4110936 |  2679938 |    18937    355 |        0 |        0
442.77/442.94	c  442s |      23 |  4127370 |  2690038 |    18937    356 |        0 |        0
444.77/444.94	c  444s |      23 |  4144057 |  2703138 |    18937    357 |        0 |        0
446.77/446.95	c  446s |      23 |  4156910 |  2713238 |    18937    358 |        0 |        0
448.77/448.95	c  448s |      23 |  4183194 |  2730938 |    18937    360 |        0 |        0
450.76/450.96	c  450s |      23 |  4206843 |  2748038 |    18937    362 |        0 |        0
452.76/452.96	c  452s |      23 |  4224740 |  2761038 |    18937    363 |        0 |        0
454.76/454.97	c  454s |      23 |  4260571 |  2775938 |    18937    364 |        0 |        0
456.76/456.99	c  456s |      23 |  4275081 |  2787038 |    18937    366 |        0 |        0
458.76/458.99	c  458s |      23 |  4285025 |  2794238 |    18937    366 |        0 |        0
460.87/461.01	c  460s |      23 |  4291508 |  2799038 |    18937    367 |        0 |        0
462.86/463.06	c  462s |      23 |  4299187 |  2804138 |    18937    367 |        0 |        0
464.86/465.06	c  464s |      23 |  4305351 |  2808438 |    18937    368 |        0 |        0
466.96/467.10	c  467s |      23 |  4316040 |  2815938 |    18937    368 |        0 |        0
468.96/469.11	c  469s |      23 |  4322597 |  2820438 |    18937    369 |        0 |        0
470.96/471.13	c  471s |      23 |  4331846 |  2826238 |    18937    369 |        0 |        0
473.06/473.20	c  473s |      23 |  4335485 |  2828838 |    18937    370 |        0 |        0
475.06/475.22	c  475s |      23 |  4344031 |  2834938 |    18937    370 |        0 |        0
477.06/477.24	c  477s |      23 |  4350455 |  2839138 |    18937    371 |        0 |        0
479.05/479.24	c  479s |      23 |  4377442 |  2852338 |    18937    372 |        0 |        0
481.05/481.26	c  481s |      23 |  4393744 |  2864738 |    18937    373 |        0 |        0
483.05/483.26	c  483s |      23 |  4403872 |  2872238 |    18937    374 |        0 |        0
485.06/485.27	c  485s |      23 |  4414639 |  2878338 |    18937    375 |        0 |        0
487.05/487.28	c  487s |      23 |  4425878 |  2886438 |    18937    376 |        0 |        0
489.05/489.28	c  489s |      23 |  4457087 |  2899438 |    18937    377 |        0 |        0
491.14/491.33	c  491s |      23 |  4482527 |  2914538 |    18937    378 |        0 |        0
493.14/493.33	c  493s |      23 |  4503323 |  2929838 |    18937    380 |        0 |        0
495.34/495.50	c  495s |      23 |  4535521 |  2944638 |    18937    382 |        0 |        0
497.45/497.66	c  497s |      23 |  4560521 |  2955338 |    18937    383 |        0 |        0
499.44/499.67	c  499s |      23 |  4610062 |  2973438 |    18937    384 |        0 |        0
501.45/501.67	c  501s |      23 |  4643718 |  2993738 |    18937    387 |        0 |        0
503.44/503.69	c  503s |      23 |  4680352 |  3014238 |    18937    389 |        0 |        0
505.54/505.70	c  505s |      23 |  4706749 |  3030738 |    18937    390 |        0 |        0
507.54/507.71	c  507s |      23 |  4721104 |  3040938 |    18937    391 |        0 |        0
509.54/509.72	c  509s |      23 |  4733398 |  3050038 |    18937    392 |        0 |        0
511.64/511.84	c  511s |      23 |  4744088 |  3057638 |    18937    393 |        0 |        0
513.64/513.85	c  513s |      23 |  4762360 |  3070438 |    18937    394 |        0 |        0
515.64/515.85	c  515s |      23 |  4773714 |  3078438 |    18937    395 |        0 |        0
517.73/517.96	c  517s |      23 |  4783536 |  3085538 |    18937    396 |        0 |        0
519.73/519.97	c  519s |      23 |  4791862 |  3091938 |    18937    397 |        0 |        0
521.73/521.99	c  521s |      23 |  4802465 |  3099138 |    18937    397 |        0 |        0
523.83/524.00	c  523s |      23 |  4814105 |  3108138 |    18937    398 |        0 |        0
525.83/526.00	c  525s |      23 |  4841834 |  3124538 |    18937    400 |        0 |        0
527.72/528.00	c  527s |      23 |  4858122 |  3136138 |    18937    401 |        0 |        0
529.82/530.07	c  529s |      23 |  4865651 |  3141538 |    18937    402 |        0 |        0
532.02/532.24	c  532s |      23 |  4875676 |  3148638 |    18937    403 |        0 |        0
534.02/534.24	c  534s |      23 |  4885386 |  3155838 |    18937    403 |        0 |        0
536.02/536.26	c  536s |      23 |  4891499 |  3160938 |    18937    404 |        0 |        0
538.03/538.29	c  538s |      23 |  4912003 |  3168238 |    18937    405 |        0 |        0
540.13/540.31	c  540s |      23 |  4920366 |  3173738 |    18937    405 |        0 |        0
542.33/542.54	c  542s |      23 |  4926772 |  3178138 |    18937    406 |        0 |        0
544.33/544.54	c  544s |      23 |  4940451 |  3188838 |    18937    407 |        0 |        0
546.33/546.55	c  546s |      23 |  4950690 |  3196938 |    18937    408 |        0 |        0
548.32/548.57	c  548s |      23 |  4960309 |  3204138 |    18937    408 |        0 |        0
550.42/550.64	c  550s |      23 |  4969476 |  3207538 |    18937    409 |        0 |        0
552.42/552.68	c  552s |      23 |  4980726 |  3215938 |    18937    410 |        0 |        0
554.42/554.69	c  554s |      23 |  4991766 |  3224638 |    18937    410 |        0 |        0
556.43/556.70	c  556s |      23 |  5003752 |  3233438 |    18937    411 |        0 |        0
558.52/558.70	c  558s |      23 |  5014997 |  3242138 |    18937    412 |        0 |        0
560.52/560.70	c  560s |      23 |  5024057 |  3248738 |    18937    413 |        0 |        0
562.52/562.71	c  562s |      23 |  5044105 |  3263238 |    18937    414 |        0 |        0
564.52/564.72	c  564s |      23 |  5055752 |  3271438 |    18937    415 |        0 |        0
566.51/566.72	c  566s |      23 |  5067244 |  3279338 |    18937    416 |        0 |        0
568.52/568.73	c  568s |      23 |  5090116 |  3294438 |    18937    418 |        0 |        0
570.51/570.74	c  570s |      23 |  5129044 |  3315038 |    18937    420 |        0 |        0
572.51/572.74	c  572s |      23 |  5158700 |  3328938 |    18937    421 |        0 |        0
574.51/574.76	c  574s |      23 |  5175046 |  3341638 |    18937    422 |        0 |        0
576.51/576.77	c  576s |      23 |  5185398 |  3350038 |    18937    423 |        0 |        0
578.51/578.78	c  578s |      23 |  5197053 |  3358938 |    20831    424 |        0 |        0
580.51/580.78	c  580s |      23 |  5204348 |  3364238 |    20831    425 |        0 |        0
582.51/582.78	c  582s |      23 |  5230702 |  3376438 |    20831    426 |        0 |        0
582.61/582.80	c  582s |      24 |  5230968 |  3376662 |    20831    426 |        0 |        0
584.61/584.83	c  584s |      24 |  5254893 |  3394962 |    20831    428 |        0 |        0
586.61/586.84	c  586s |      24 |  5289127 |  3415762 |    20831    429 |        0 |        0
588.60/588.85	c  588s |      24 |  5303376 |  3425862 |    20831    430 |        0 |        0
590.61/590.88	c  590s |      24 |  5313205 |  3433062 |    20831    431 |        0 |        0
592.71/592.90	c  592s |      24 |  5320116 |  3438262 |    20831    431 |        0 |        0
594.70/594.91	c  594s |      24 |  5326050 |  3442762 |    20831    432 |        0 |        0
596.70/596.92	c  596s |      24 |  5353121 |  3456662 |    20831    433 |        0 |        0
598.70/598.92	c  598s |      24 |  5387529 |  3471362 |    20831    435 |        0 |        0
600.69/600.92	c  600s |      24 |  5413237 |  3489662 |    20831    436 |        0 |        0
602.70/602.94	c  602s |      24 |  5431015 |  3504062 |    20831    438 |        0 |        0
604.69/604.97	c  604s |      24 |  5443173 |  3512062 |    20831    439 |        0 |        0
606.69/606.98	c  606s |      24 |  5468508 |  3526262 |    20831    440 |        0 |        0
608.70/608.98	c  608s |      24 |  5513064 |  3534562 |    20831    441 |        0 |        0
610.70/610.99	c  610s |      24 |  5529107 |  3547162 |    20831    442 |        0 |        0
612.70/612.99	c  612s |      24 |  5551384 |  3562362 |    20831    443 |        0 |        0
614.80/615.02	c  614s |      24 |  5566529 |  3573262 |    20831    444 |        0 |        0
616.80/617.02	c  616s |      24 |  5581736 |  3583262 |    20831    445 |        0 |        0
618.79/619.02	c  618s |      24 |  5624861 |  3602662 |    20831    447 |        0 |        0
620.79/621.07	c  620s |      24 |  5647442 |  3618662 |    20831    449 |        0 |        0
622.79/623.08	c  622s |      24 |  5661915 |  3629562 |    20831    450 |        0 |        0
624.79/625.09	c  625s |      24 |  5685881 |  3646462 |    20831    451 |        0 |        0
626.79/627.10	c  627s |      24 |  5720814 |  3667862 |    20831    453 |        0 |        0
628.89/629.13	c  629s |      24 |  5752069 |  3686662 |    20831    455 |        0 |        0
630.88/631.15	c  631s |      24 |  5770746 |  3700962 |    20831    456 |        0 |        0
632.88/633.16	c  633s |      24 |  5788714 |  3714062 |    20831    458 |        0 |        0
634.88/635.17	c  635s |      24 |  5798941 |  3721962 |    20831    458 |        0 |        0
636.88/637.19	c  637s |      24 |  5805174 |  3726862 |    20831    459 |        0 |        0
638.99/639.21	c  639s |      24 |  5813759 |  3733462 |    20831    459 |        0 |        0
640.98/641.22	c  641s |      24 |  5819899 |  3738162 |    20831    460 |        0 |        0
642.98/643.22	c  643s |      24 |  5823475 |  3740962 |    20831    460 |        0 |        0
645.48/645.78	c  645s |      24 |  5829757 |  3745662 |    20831    461 |        0 |        0
647.58/647.82	c  647s |      24 |  5836680 |  3751162 |    20831    461 |        0 |        0
649.58/649.84	c  649s |      24 |  5842789 |  3755962 |    20831    462 |        0 |        0
651.58/651.85	c  651s |      24 |  5853311 |  3763962 |    20831    462 |        0 |        0
653.57/653.86	c  653s |      24 |  5862089 |  3770162 |    20831    463 |        0 |        0
655.57/655.87	c  655s |      24 |  5869929 |  3776362 |    20831    463 |        0 |        0
657.58/657.87	c  657s |      24 |  5875324 |  3780562 |    20831    464 |        0 |        0
659.67/659.90	c  659s |      24 |  5884199 |  3786962 |    20831    464 |        0 |        0
661.67/661.92	c  661s |      24 |  5889957 |  3791862 |    20831    465 |        0 |        0
663.77/664.00	c  663s |      24 |  5898264 |  3797762 |    20831    466 |        0 |        0
665.77/666.01	c  665s |      24 |  5917580 |  3810862 |    20831    467 |        0 |        0
667.77/668.02	c  667s |      24 |  5945082 |  3826262 |    20831    468 |        0 |        0
669.77/670.04	c  669s |      24 |  5961239 |  3839062 |    20831    469 |        0 |        0
671.76/672.07	c  671s |      24 |  5970591 |  3846162 |    20831    470 |        0 |        0
674.66/674.94	c  674s |      24 |  5978495 |  3852162 |    20831    471 |        0 |        0
676.66/676.95	c  676s |      24 |  5985568 |  3857862 |    20831    471 |        0 |        0
678.66/678.96	c  678s |      24 |  5992169 |  3862562 |    20831    471 |        0 |        0
680.68/680.99	c  680s |      24 |  5997128 |  3866262 |    20831    472 |        0 |        0
682.67/682.99	c  682s |      24 |  6002641 |  3870762 |    20831    472 |        0 |        0
684.87/685.18	c  685s |      24 |  6007284 |  3874462 |    20831    473 |        0 |        0
687.17/687.44	c  687s |      24 |  6012352 |  3878062 |    20831    473 |        0 |        0
689.17/689.46	c  689s |      24 |  6019165 |  3883262 |    20831    473 |        0 |        0
691.17/691.47	c  691s |      24 |  6021645 |  3884962 |    20831    474 |        0 |        0
693.17/693.47	c  693s |      24 |  6034533 |  3893562 |    20831    474 |        0 |        0
695.27/695.51	c  695s |      24 |  6043291 |  3899662 |    20831    475 |        0 |        0
697.36/697.64	c  697s |      24 |  6051381 |  3905662 |    20831    476 |        0 |        0
699.47/699.75	c  699s |      24 |  6069008 |  3917562 |    20831    477 |        0 |        0
701.46/701.78	c  701s |      24 |  6096724 |  3932662 |    20831    478 |        0 |        0
703.66/703.90	c  703s |      24 |  6128736 |  3954462 |    20831    480 |        0 |        0
705.66/705.91	c  705s |      24 |  6155951 |  3968862 |    20831    481 |        0 |        0
707.65/707.96	c  707s |      24 |  6181209 |  3987062 |    20831    483 |        0 |        0
709.65/709.97	c  709s |      24 |  6225884 |  4010162 |    20831    485 |        0 |        0
711.65/711.99	c  711s |      24 |  6242062 |  4023062 |    20831    486 |        0 |        0
713.66/714.00	c  713s |      24 |  6276227 |  4038762 |    20831    488 |        0 |        0
715.75/716.02	c  715s |      24 |  6290714 |  4050162 |    20831    489 |        0 |        0
717.75/718.04	c  717s |      24 |  6299933 |  4057362 |    20831    490 |        0 |        0
719.75/720.07	c  719s |      24 |  6308520 |  4063962 |    20831    490 |        0 |        0
721.75/722.08	c  722s |      24 |  6313647 |  4067962 |    20831    491 |        0 |        0
723.85/724.10	c  724s |      24 |  6322760 |  4074962 |    20831    491 |        0 |        0
725.86/726.12	c  726s |      24 |  6327030 |  4078162 |    20831    492 |        0 |        0
727.85/728.15	c  728s |      24 |  6336869 |  4085562 |    20831    492 |        0 |        0
729.85/730.17	c  730s |      24 |  6340458 |  4088462 |    20831    493 |        0 |        0
731.85/732.18	c  732s |      24 |  6349148 |  4095662 |    20831    493 |        0 |        0
733.85/734.19	c  734s |      24 |  6354708 |  4100062 |    20831    494 |        0 |        0
735.85/736.19	c  736s |      24 |  6361536 |  4104962 |    20831    494 |        0 |        0
737.95/738.21	c  738s |      24 |  6403398 |  4118962 |    20831    496 |        0 |        0
740.24/740.52	c  740s |      24 |  6431731 |  4136062 |    20831    497 |        0 |        0
742.25/742.55	c  742s |      24 |  6462274 |  4149962 |    20831    498 |        0 |        0
744.24/744.55	c  744s |      24 |  6474666 |  4158962 |    20831    499 |        0 |        0
746.24/746.56	c  746s |      24 |  6513314 |  4182662 |    20831    502 |        0 |        0
748.34/748.65	c  748s |      24 |  6541700 |  4203662 |    20831    504 |        0 |        0
750.34/750.65	c  750s |      24 |  6578408 |  4225362 |    20831    506 |        0 |        0
752.44/752.71	c  752s |      24 |  6609767 |  4245862 |    20831    508 |        0 |        0
754.44/754.73	c  754s |      24 |  6643524 |  4261962 |    20831    509 |        0 |        0
756.44/756.74	c  756s |      24 |  6674522 |  4283762 |    20831    511 |        0 |        0
758.43/758.74	c  758s |      24 |  6704732 |  4300862 |    20831    513 |        0 |        0
760.43/760.75	c  760s |      24 |  6732967 |  4317662 |    20831    514 |        0 |        0
762.43/762.76	c  762s |      24 |  6744526 |  4326362 |    20831    515 |        0 |        0
764.53/764.81	c  764s |      24 |  6751230 |  4331562 |    20831    516 |        0 |        0
766.54/766.82	c  766s |      24 |  6763497 |  4340462 |    20831    516 |        0 |        0
768.53/768.83	c  768s |      24 |  6804944 |  4359362 |    20831    518 |        0 |        0
770.53/770.87	c  770s |      24 |  6831705 |  4375262 |    20831    520 |        0 |        0
772.53/772.87	c  772s |      24 |  6862597 |  4396862 |    20831    522 |        0 |        0
774.54/774.87	c  774s |      24 |  6899420 |  4417862 |    20831    524 |        0 |        0
776.54/776.88	c  776s |      24 |  6927661 |  4436762 |    20831    525 |        0 |        0
778.64/778.90	c  778s |      24 |  6950319 |  4452762 |    20831    527 |        0 |        0
780.63/780.90	c  780s |      24 |  6970824 |  4467362 |    20831    528 |        0 |        0
782.63/782.91	c  782s |      24 |  7003264 |  4485262 |    20831    530 |        0 |        0
784.63/784.91	c  784s |      24 |  7024081 |  4498362 |    20831    531 |        0 |        0
786.63/786.91	c  786s |      24 |  7055494 |  4518562 |    20831    533 |        0 |        0
788.63/788.92	c  788s |      24 |  7083008 |  4537862 |    20831    535 |        0 |        0
790.63/790.92	c  790s |      24 |  7121512 |  4556762 |    20831    536 |        0 |        0
792.62/792.93	c  792s |      24 |  7135267 |  4567162 |    20831    537 |        0 |        0
794.62/794.94	c  794s |      24 |  7145339 |  4575062 |    20831    538 |        0 |        0
796.72/797.07	c  796s |      24 |  7150856 |  4579262 |    20831    539 |        0 |        0
798.82/799.14	c  799s |      24 |  7154530 |  4581762 |    20831    539 |        0 |        0
800.82/801.16	c  801s |      24 |  7161874 |  4587562 |    20831    539 |        0 |        0
802.83/803.17	c  803s |      24 |  7165589 |  4590362 |    20831    540 |        0 |        0
804.82/805.20	c  805s |      24 |  7173015 |  4595962 |    20831    540 |        0 |        0
806.92/807.21	c  807s |      24 |  7189831 |  4605762 |    20831    541 |        0 |        0
808.92/809.21	c  809s |      24 |  7222945 |  4623962 |    20831    543 |        0 |        0
810.92/811.22	c  811s |      24 |  7250119 |  4643362 |    20831    545 |        0 |        0
812.92/813.22	c  813s |      24 |  7279041 |  4663462 |    20831    546 |        0 |        0
814.92/815.23	c  815s |      24 |  7305896 |  4675662 |    20831    547 |        0 |        0
816.92/817.25	c  817s |      24 |  7319417 |  4685862 |    20831    548 |        0 |        0
818.91/819.25	c  819s |      24 |  7328970 |  4692862 |    20831    549 |        0 |        0
821.42/821.74	c  821s |      24 |  7335480 |  4697662 |    20831    550 |        0 |        0
823.41/823.76	c  823s |      24 |  7346208 |  4705362 |    20831    550 |        0 |        0
825.41/825.78	c  825s |      24 |  7356062 |  4712562 |    20831    551 |        0 |        0
827.51/827.84	c  827s |      24 |  7367105 |  4718962 |    20831    551 |        0 |        0
829.51/829.85	c  829s |      24 |  7374590 |  4724662 |    20831    552 |        0 |        0
831.61/831.96	c  831s |      24 |  7381885 |  4729962 |    20831    553 |        0 |        0
833.61/833.97	c  833s |      24 |  7390285 |  4736162 |    20831    553 |        0 |        0
835.81/836.19	c  836s |      24 |  7397880 |  4741562 |    20831    554 |        0 |        0
837.80/838.20	c  838s |      24 |  7405835 |  4747362 |    20831    554 |        0 |        0
840.00/840.32	c  840s |      24 |  7413250 |  4752762 |    20831    555 |        0 |        0
842.20/842.55	c  842s |      24 |  7421059 |  4759062 |    20831    555 |        0 |        0
844.20/844.56	c  844s |      24 |  7428879 |  4764762 |    20831    556 |        0 |        0
846.20/846.58	c  846s |      24 |  7438695 |  4772262 |    20831    556 |        0 |        0
848.20/848.59	c  848s |      24 |  7455746 |  4784562 |    20831    558 |        0 |        0
850.19/850.59	c  850s |      24 |  7489856 |  4804262 |    20831    559 |        0 |        0
852.21/852.60	c  852s |      24 |  7513585 |  4821262 |    20831    561 |        0 |        0
854.30/854.60	c  854s |      24 |  7543728 |  4842562 |    20831    563 |        0 |        0
856.30/856.60	c  856s |      24 |  7571500 |  4862562 |    20831    565 |        0 |        0
858.30/858.60	c  858s |      24 |  7608861 |  4881962 |    20831    567 |        0 |        0
860.30/860.61	c  860s |      24 |  7626441 |  4895062 |    20831    568 |        0 |        0
862.40/862.75	c  862s |      24 |  7644237 |  4907062 |    20831    569 |        0 |        0
864.40/864.75	c  864s |      24 |  7671719 |  4923462 |    20831    570 |        0 |        0
866.40/866.76	c  866s |      24 |  7683963 |  4932962 |    20831    571 |        0 |        0
868.60/868.98	c  868s |      24 |  7692379 |  4939462 |    20831    572 |        0 |        0
870.69/871.04	c  870s |      24 |  7716898 |  4954162 |    20831    573 |        0 |        0
872.69/873.04	c  872s |      24 |  7745835 |  4969262 |    20831    575 |        0 |        0
876.19/876.56	c  876s |      24 |  7770963 |  4986962 |    20831    576 |        0 |        0
878.19/878.57	c  878s |      24 |  7813853 |  5010962 |    20831    578 |        0 |        0
880.19/880.57	c  880s |      24 |  7844972 |  5026762 |    20831    580 |        0 |        0
882.19/882.57	c  882s |      24 |  7877001 |  5047462 |    22915    582 |        0 |        0
884.19/884.58	c  884s |      24 |  7892002 |  5058962 |    22915    583 |        0 |        0
885.29/885.69	c  885s |      25 |  7899759 |  5065098 |    22915    583 |        0 |        0
887.39/887.72	c  887s |      25 |  7914162 |  5072798 |    22915    584 |        0 |        0
889.39/889.72	c  889s |      25 |  7954132 |  5089198 |    22915    585 |        0 |        0
891.38/891.73	c  891s |      25 |  7975075 |  5103298 |    22915    586 |        0 |        0
893.39/893.74	c  893s |      25 |  7996036 |  5115498 |    22915    587 |        0 |        0
895.39/895.74	c  895s |      25 |  8018576 |  5129598 |    22915    588 |        0 |        0
897.40/897.74	c  897s |      25 |  8051395 |  5147098 |    22915    590 |        0 |        0
899.39/899.75	c  899s |      25 |  8078581 |  5165498 |    22915    592 |        0 |        0
901.39/901.75	c  901s |      25 |  8090874 |  5174798 |    22915    592 |        0 |        0
903.39/903.75	c  903s |      25 |  8111053 |  5183298 |    22915    593 |        0 |        0
905.39/905.76	c  905s |      25 |  8150336 |  5200398 |    22915    594 |        0 |        0
907.39/907.76	c  907s |      25 |  8189352 |  5221098 |    22915    596 |        0 |        0
909.39/909.79	c  909s |      25 |  8206546 |  5233998 |    22915    597 |        0 |        0
911.49/911.84	c  911s |      25 |  8220325 |  5242098 |    22915    598 |        0 |        0
913.49/913.84	c  913s |      25 |  8239270 |  5255998 |    22915    599 |        0 |        0
915.48/915.85	c  915s |      25 |  8269318 |  5272598 |    22915    600 |        0 |        0
917.48/917.86	c  917s |      25 |  8282877 |  5282698 |    22915    601 |        0 |        0
919.48/919.88	c  919s |      25 |  8292731 |  5289998 |    22915    602 |        0 |        0
921.49/921.90	c  921s |      25 |  8305324 |  5298998 |    22915    603 |        0 |        0
923.58/923.91	c  923s |      25 |  8312849 |  5304398 |    22915    603 |        0 |        0
925.58/925.91	c  925s |      25 |  8322437 |  5311298 |    22915    604 |        0 |        0
927.59/927.92	c  927s |      25 |  8326836 |  5314498 |    22915    604 |        0 |        0
929.59/929.92	c  929s |      25 |  8335959 |  5320998 |    22915    604 |        0 |        0
931.99/932.34	c  932s |      25 |  8342199 |  5325598 |    22915    605 |        0 |        0
933.99/934.35	c  934s |      25 |  8363883 |  5335898 |    22915    606 |        0 |        0
936.09/936.41	c  936s |      25 |  8379542 |  5347698 |    22915    607 |        0 |        0
938.28/938.61	c  938s |      25 |  8395839 |  5359898 |    22915    608 |        0 |        0
940.29/940.62	c  940s |      25 |  8416863 |  5374298 |    22915    609 |        0 |        0
942.28/942.63	c  942s |      25 |  8453458 |  5391898 |    22915    610 |        0 |        0
944.28/944.64	c  944s |      25 |  8468213 |  5403098 |    22915    611 |        0 |        0
946.28/946.65	c  946s |      25 |  8499713 |  5420198 |    22915    612 |        0 |        0
948.28/948.65	c  948s |      25 |  8531630 |  5437898 |    22915    614 |        0 |        0
950.28/950.67	c  950s |      25 |  8549105 |  5448998 |    22915    615 |        0 |        0
952.29/952.68	c  952s |      25 |  8562011 |  5457898 |    22915    615 |        0 |        0
954.28/954.69	c  954s |      25 |  8581749 |  5471298 |    22915    617 |        0 |        0
956.37/956.76	c  956s |      25 |  8609432 |  5483498 |    22915    618 |        0 |        0
958.37/958.77	c  958s |      25 |  8632082 |  5500498 |    22915    619 |        0 |        0
960.37/960.77	c  960s |      25 |  8671491 |  5522198 |    22915    621 |        0 |        0
962.37/962.77	c  962s |      25 |  8709588 |  5543098 |    22915    623 |        0 |        0
964.38/964.77	c  964s |      25 |  8739701 |  5559198 |    22915    624 |        0 |        0
966.37/966.78	c  966s |      25 |  8769136 |  5577898 |    22915    625 |        0 |        0
968.37/968.78	c  968s |      25 |  8807217 |  5597298 |    22915    627 |        0 |        0
970.38/970.79	c  970s |      25 |  8837692 |  5615698 |    22915    629 |        0 |        0
972.48/972.80	c  972s |      25 |  8857677 |  5629998 |    22915    630 |        0 |        0
974.48/974.80	c  974s |      25 |  8869818 |  5639098 |    22915    630 |        0 |        0
976.49/976.83	c  976s |      25 |  8880549 |  5647198 |    22915    631 |        0 |        0
978.48/978.84	c  978s |      25 |  8888522 |  5652798 |    22915    632 |        0 |        0
980.48/980.86	c  980s |      25 |  8897325 |  5659698 |    22915    632 |        0 |        0
982.48/982.87	c  982s |      25 |  8906015 |  5665898 |    22915    633 |        0 |        0
984.58/984.90	c  984s |      25 |  8914364 |  5672398 |    22915    633 |        0 |        0
986.58/986.92	c  986s |      25 |  8925512 |  5680798 |    22915    634 |        0 |        0
988.58/988.99	c  988s |      25 |  8931923 |  5685698 |    22915    634 |        0 |        0
990.68/991.01	c  990s |      25 |  8942264 |  5693398 |    22915    635 |        0 |        0
992.78/993.12	c  993s |      25 |  8964195 |  5706798 |    22915    636 |        0 |        0
994.77/995.12	c  995s |      25 |  8993399 |  5723998 |    22915    637 |        0 |        0
996.77/997.13	c  997s |      25 |  9008798 |  5735398 |    22915    638 |        0 |        0
998.77/999.14	c  999s |      25 |  9026559 |  5748498 |    22915    639 |        0 |        0
1000.78/1001.15	c 1001s |      25 |  9039214 |  5757698 |    22915    640 |        0 |        0
1002.88/1003.21	c 1003s |      25 |  9059160 |  5772898 |    22915    642 |        0 |        0
1004.87/1005.21	c 1005s |      25 |  9089138 |  5790198 |    22915    643 |        0 |        0
1006.87/1007.23	c 1007s |      25 |  9116339 |  5808398 |    22915    645 |        0 |        0
1008.87/1009.23	c 1009s |      25 |  9151314 |  5824898 |    22915    646 |        0 |        0
1010.87/1011.24	c 1011s |      25 |  9181897 |  5846998 |    22915    648 |        0 |        0
1012.88/1013.24	c 1013s |      25 |  9208207 |  5863898 |    22915    649 |        0 |        0
1014.87/1015.25	c 1015s |      25 |  9233832 |  5883098 |    22915    651 |        0 |        0
1016.87/1017.25	c 1017s |      25 |  9257567 |  5899198 |    22915    652 |        0 |        0
1018.87/1019.26	c 1019s |      25 |  9292911 |  5915698 |    22915    653 |        0 |        0
1020.87/1021.26	c 1021s |      25 |  9304845 |  5924698 |    22915    654 |        0 |        0
1022.87/1023.27	c 1023s |      25 |  9326079 |  5939298 |    22915    655 |        0 |        0
1024.87/1025.27	c 1025s |      25 |  9350332 |  5956698 |    22915    657 |        0 |        0
1026.87/1027.29	c 1027s |      25 |  9364685 |  5967298 |    22915    658 |        0 |        0
1028.97/1029.30	c 1029s |      25 |  9389297 |  5980898 |    22915    659 |        0 |        0
1030.97/1031.31	c 1031s |      25 |  9417833 |  5997698 |    22915    660 |        0 |        0
1032.96/1033.31	c 1033s |      25 |  9434323 |  6008998 |    22915    661 |        0 |        0
1034.96/1035.32	c 1035s |      25 |  9458122 |  6025898 |    22915    663 |        0 |        0
1036.97/1037.33	c 1037s |      25 |  9489581 |  6046598 |    22915    664 |        0 |        0
1038.96/1039.33	c 1039s |      25 |  9518998 |  6065398 |    22915    666 |        0 |        0
1040.96/1041.34	c 1041s |      25 |  9540618 |  6081098 |    22915    667 |        0 |        0
1042.96/1043.34	c 1043s |      25 |  9558923 |  6094898 |    22915    668 |        0 |        0
1045.06/1045.40	c 1045s |      25 |  9578843 |  6108998 |    22915    670 |        0 |        0
1047.16/1047.55	c 1047s |      25 |  9589653 |  6117198 |    22915    670 |        0 |        0
1049.18/1049.56	c 1049s |      25 |  9600835 |  6125298 |    22915    671 |        0 |        0
1051.28/1051.69	c 1051s |      25 |  9611345 |  6133098 |    22915    672 |        0 |        0
1053.27/1053.69	c 1053s |      25 |  9631072 |  6147398 |    22915    673 |        0 |        0
1055.37/1055.72	c 1055s |      25 |  9641846 |  6155698 |    22915    673 |        0 |        0
1057.37/1057.75	c 1057s |      25 |  9651593 |  6163398 |    22915    674 |        0 |        0
1059.37/1059.75	c 1059s |      25 |  9666169 |  6174298 |    22915    675 |        0 |        0
1061.47/1061.87	c 1061s |      25 |  9685177 |  6188198 |    22915    676 |        0 |        0
1063.57/1063.97	c 1063s |      25 |  9715806 |  6203798 |    22915    678 |        0 |        0
1065.57/1065.97	c 1065s |      25 |  9750340 |  6222098 |    22915    679 |        0 |        0
1067.56/1067.97	c 1067s |      25 |  9778741 |  6239498 |    22915    680 |        0 |        0
1069.56/1069.97	c 1069s |      25 |  9801214 |  6256498 |    22915    682 |        0 |        0
1071.56/1071.98	c 1071s |      25 |  9826121 |  6272398 |    22915    683 |        0 |        0
1073.56/1074.00	c 1073s |      25 |  9844088 |  6285398 |    22915    684 |        0 |        0
1075.66/1076.00	c 1075s |      25 |  9857662 |  6295998 |    22915    685 |        0 |        0
1077.66/1078.01	c 1077s |      25 |  9880339 |  6309798 |    22915    686 |        0 |        0
1079.76/1080.10	c 1080s |      25 |  9915837 |  6326698 |    22915    688 |        0 |        0
1081.76/1082.10	c 1082s |      25 |  9939414 |  6342498 |    22915    689 |        0 |        0
1083.76/1084.10	c 1084s |      25 |  9973144 |  6361898 |    22915    691 |        0 |        0
1085.76/1086.11	c 1086s |      25 | 10001518 |  6383298 |    22915    692 |        0 |        0
1087.76/1088.12	c 1088s |      25 | 10027235 |  6399598 |    22915    694 |        0 |        0
1089.77/1090.14	c 1090s |      25 | 10040912 |  6409498 |    22915    695 |        0 |        0
1091.76/1092.14	c 1092s |      25 | 10057488 |  6417098 |    22915    695 |        0 |        0
1093.76/1094.15	c 1094s |      25 | 10085309 |  6436698 |    22915    697 |        0 |        0
1095.76/1096.15	c 1096s |      25 | 10112848 |  6449398 |    22915    698 |        0 |        0
1098.76/1099.15	c 1099s |      25 | 10135380 |  6461798 |    22915    699 |        0 |        0
1100.86/1101.22	c 1101s |      25 | 10165755 |  6481498 |    22915    701 |        0 |        0
1102.85/1103.23	c 1103s |      25 | 10180332 |  6491798 |    22915    701 |        0 |        0
1104.96/1105.32	c 1105s |      25 | 10199924 |  6505598 |    22915    703 |        0 |        0
1106.96/1107.33	c 1107s |      25 | 10217404 |  6517598 |    22915    704 |        0 |        0
1108.96/1109.33	c 1109s |      25 | 10240251 |  6534398 |    22915    705 |        0 |        0
1110.96/1111.35	c 1111s |      25 | 10268187 |  6547898 |    22915    706 |        0 |        0
1112.96/1113.37	c 1113s |      25 | 10279290 |  6555898 |    22915    707 |        0 |        0
1114.96/1115.37	c 1115s |      25 | 10303745 |  6569398 |    22915    708 |        0 |        0
1116.96/1117.37	c 1117s |      25 | 10322806 |  6582898 |    22915    709 |        0 |        0
1118.96/1119.40	c 1119s |      25 | 10342177 |  6596998 |    22915    710 |        0 |        0
1121.05/1121.40	c 1121s |      25 | 10369674 |  6612098 |    22915    711 |        0 |        0
1123.05/1123.42	c 1123s |      25 | 10383402 |  6622598 |    22915    712 |        0 |        0
1125.06/1125.46	c 1125s |      25 | 10411876 |  6639598 |    22915    714 |        0 |        0
1127.05/1127.48	c 1127s |      25 | 10438867 |  6656798 |    22915    715 |        0 |        0
1129.05/1129.49	c 1129s |      25 | 10471373 |  6677898 |    22915    717 |        0 |        0
1131.15/1131.50	c 1131s |      25 | 10496853 |  6692298 |    22915    718 |        0 |        0
1133.15/1133.52	c 1133s |      25 | 10512485 |  6701798 |    22915    719 |        0 |        0
1135.15/1135.52	c 1135s |      25 | 10535155 |  6715598 |    22915    720 |        0 |        0
1137.16/1137.52	c 1137s |      25 | 10554488 |  6727498 |    22915    721 |        0 |        0
1139.15/1139.53	c 1139s |      25 | 10571706 |  6740298 |    22915    722 |        0 |        0
1141.15/1141.55	c 1141s |      25 | 10581638 |  6747798 |    22915    723 |        0 |        0
1143.15/1143.55	c 1143s |      25 | 10590308 |  6754498 |    22915    723 |        0 |        0
1146.55/1146.96	c 1146s |      25 | 10597039 |  6759698 |    22915    724 |        0 |        0
1148.55/1148.97	c 1148s |      25 | 10605538 |  6766098 |    22915    724 |        0 |        0
1150.65/1151.01	c 1150s |      25 | 10612877 |  6771598 |    22915    725 |        0 |        0
1152.94/1153.33	c 1153s |      25 | 10617381 |  6774998 |    22915    725 |        0 |        0
1154.94/1155.34	c 1155s |      25 | 10624038 |  6779998 |    22915    725 |        0 |        0
1157.24/1157.64	c 1157s |      25 | 10628461 |  6783598 |    22915    726 |        0 |        0
1159.25/1159.66	c 1159s |      25 | 10632569 |  6786798 |    22915    726 |        0 |        0
1161.26/1161.70	c 1161s |      25 | 10638577 |  6791898 |    22915    726 |        0 |        0
1163.35/1163.71	c 1163s |      25 | 10654936 |  6803998 |    22915    727 |        0 |        0
1165.35/1165.77	c 1165s |      25 | 10676032 |  6816998 |    22915    728 |        0 |        0
1167.55/1167.90	c 1167s |      25 | 10713882 |  6835498 |    22915    730 |        0 |        0
1169.55/1169.91	c 1169s |      25 | 10733702 |  6850098 |    22915    731 |        0 |        0
1171.55/1171.95	c 1171s |      25 | 10749527 |  6861498 |    22915    732 |        0 |        0
1173.55/1173.96	c 1173s |      25 | 10773318 |  6879598 |    22915    733 |        0 |        0
1175.55/1175.96	c 1175s |      25 | 10791718 |  6893398 |    22915    735 |        0 |        0
1177.55/1177.97	c 1177s |      25 | 10811450 |  6908098 |    22915    736 |        0 |        0
1179.54/1179.97	c 1179s |      25 | 10824978 |  6918098 |    22915    737 |        0 |        0
1181.64/1182.09	c 1182s |      25 | 10846034 |  6930298 |    22915    738 |        0 |        0
1183.74/1184.11	c 1184s |      25 | 10860987 |  6941298 |    22915    739 |        0 |        0
1185.74/1186.12	c 1186s |      25 | 10902735 |  6961798 |    22915    740 |        0 |        0
1187.75/1188.13	c 1188s |      25 | 10935822 |  6974298 |    22915    741 |        0 |        0
1190.24/1190.66	c 1190s |      25 | 10950927 |  6981198 |    22915    742 |        0 |        0
1192.24/1192.66	c 1192s |      25 | 10972256 |  6997698 |    22915    743 |        0 |        0
1194.25/1194.66	c 1194s |      25 | 10985800 |  7007398 |    22915    744 |        0 |        0
1196.25/1196.67	c 1196s |      25 | 11006353 |  7021498 |    22915    745 |        0 |        0
1198.25/1198.67	c 1198s |      25 | 11019075 |  7031298 |    22915    746 |        0 |        0
1200.25/1200.67	c 1200s |      25 | 11051700 |  7049098 |    22915    747 |        0 |        0
1202.25/1202.67	c 1202s |      25 | 11066753 |  7059898 |    22915    748 |        0 |        0
1204.25/1204.68	c 1204s |      25 | 11083659 |  7071598 |    22915    749 |        0 |        0
1206.25/1206.69	c 1206s |      25 | 11100409 |  7082498 |    22915    750 |        0 |        0
1208.24/1208.69	c 1208s |      25 | 11116467 |  7093498 |    22915    751 |        0 |        0
1210.34/1210.70	c 1210s |      25 | 11136011 |  7108098 |    22915    752 |        0 |        0
1212.34/1212.71	c 1212s |      25 | 11164743 |  7123998 |    22915    754 |        0 |        0
1214.34/1214.72	c 1214s |      25 | 11198088 |  7142598 |    22915    755 |        0 |        0
1216.35/1216.75	c 1216s |      25 | 11218483 |  7157098 |    22915    756 |        0 |        0
1218.34/1218.75	c 1218s |      25 | 11239399 |  7171798 |    22915    758 |        0 |        0
1220.34/1220.76	c 1220s |      25 | 11257831 |  7185898 |    22915    759 |        0 |        0
1222.34/1222.76	c 1222s |      25 | 11270157 |  7194898 |    22915    760 |        0 |        0
1224.34/1224.77	c 1224s |      25 | 11278786 |  7201298 |    22915    760 |        0 |        0
1226.44/1226.89	c 1226s |      25 | 11286212 |  7206898 |    22915    761 |        0 |        0
1228.44/1228.89	c 1228s |      25 | 11315867 |  7221898 |    22915    762 |        0 |        0
1230.44/1230.90	c 1230s |      25 | 11340176 |  7239398 |    22915    763 |        0 |        0
1232.53/1232.91	c 1232s |      25 | 11359708 |  7253698 |    22915    765 |        0 |        0
1234.53/1234.91	c 1234s |      25 | 11376302 |  7266398 |    22915    766 |        0 |        0
1236.83/1237.28	c 1237s |      25 | 11382554 |  7271098 |    22915    766 |        0 |        0
1238.83/1239.29	c 1239s |      25 | 11407310 |  7283898 |    22915    767 |        0 |        0
1240.94/1241.30	c 1241s |      25 | 11431408 |  7297798 |    22915    768 |        0 |        0
1242.94/1243.31	c 1243s |      25 | 11452363 |  7312498 |    22915    769 |        0 |        0
1244.94/1245.34	c 1245s |      25 | 11468123 |  7324898 |    22915    771 |        0 |        0
1246.94/1247.34	c 1247s |      25 | 11501607 |  7342998 |    22915    772 |        0 |        0
1248.94/1249.37	c 1249s |      25 | 11517440 |  7353598 |    22915    773 |        0 |        0
1250.94/1251.39	c 1251s |      25 | 11525591 |  7359598 |    22915    773 |        0 |        0
1253.04/1253.42	c 1253s |      25 | 11531369 |  7364298 |    22915    774 |        0 |        0
1255.04/1255.42	c 1255s |      25 | 11547604 |  7374598 |    22915    775 |        0 |        0
1257.04/1257.45	c 1257s |      25 | 11559995 |  7384198 |    22915    775 |        0 |        0
1259.03/1259.46	c 1259s |      25 | 11567390 |  7389898 |    22915    776 |        0 |        0
1261.03/1261.47	c 1261s |      25 | 11576167 |  7396898 |    22915    776 |        0 |        0
1263.13/1263.50	c 1263s |      25 | 11580934 |  7400398 |    22915    777 |        0 |        0
1265.13/1265.51	c 1265s |      25 | 11589320 |  7406498 |    22915    777 |        0 |        0
1267.13/1267.52	c 1267s |      25 | 11598477 |  7413098 |    22915    778 |        0 |        0
1269.14/1269.52	c 1269s |      25 | 11606074 |  7418698 |    22915    778 |        0 |        0
1271.13/1271.55	c 1271s |      25 | 11611775 |  7422698 |    22915    779 |        0 |        0
1273.13/1273.56	c 1273s |      25 | 11624629 |  7432498 |    22915    779 |        0 |        0
1275.13/1275.58	c 1275s |      25 | 11631736 |  7437998 |    22915    780 |        0 |        0
1277.13/1277.59	c 1277s |      25 | 11639537 |  7443898 |    22915    780 |        0 |        0
1279.23/1279.63	c 1279s |      25 | 11645997 |  7448598 |    22915    781 |        0 |        0
1281.23/1281.67	c 1281s |      25 | 11652764 |  7453798 |    22915    781 |        0 |        0
1283.23/1283.67	c 1283s |      25 | 11658777 |  7458098 |    22915    782 |        0 |        0
1285.22/1285.68	c 1285s |      25 | 11668622 |  7465098 |    22915    782 |        0 |        0
1287.22/1287.68	c 1287s |      25 | 11676736 |  7470998 |    22915    783 |        0 |        0
1289.22/1289.69	c 1289s |      25 | 11687434 |  7478598 |    22915    783 |        0 |        0
1291.33/1291.70	c 1291s |      25 | 11692571 |  7482498 |    22915    784 |        0 |        0
1293.34/1293.71	c 1293s |      25 | 11701227 |  7488898 |    22915    784 |        0 |        0
1295.33/1295.73	c 1295s |      25 | 11710281 |  7495798 |    22915    785 |        0 |        0
1297.33/1297.74	c 1297s |      25 | 11716808 |  7500698 |    22915    785 |        0 |        0
1299.33/1299.74	c 1299s |      25 | 11725390 |  7506698 |    22915    786 |        0 |        0
1301.33/1301.75	c 1301s |      25 | 11735355 |  7513798 |    22915    786 |        0 |        0
1303.83/1304.23	c 1304s |      25 | 11741115 |  7517998 |    22915    787 |        0 |        0
1305.82/1306.23	c 1306s |      25 | 11752551 |  7525998 |    22915    787 |        0 |        0
1307.82/1308.26	c 1308s |      25 | 11760792 |  7531998 |    22915    788 |        0 |        0
1309.83/1310.26	c 1310s |      25 | 11787332 |  7539598 |    22915    788 |        0 |        0
1311.82/1312.28	c 1312s |      25 | 11803064 |  7550998 |    25207    789 |        0 |        0
1313.82/1314.29	c 1314s |      25 | 11813610 |  7558898 |    25207    790 |        0 |        0
1315.92/1316.30	c 1316s |      25 | 11828719 |  7569698 |    25207    791 |        0 |        0
1317.92/1318.31	c 1318s |      25 | 11842275 |  7579498 |    25207    791 |        0 |        0
1319.92/1320.32	c 1320s |      25 | 11851633 |  7585398 |    25207    792 |        0 |        0
1321.93/1322.33	c 1322s |      25 | 11862924 |  7593298 |    25207    792 |        0 |        0
1322.82/1323.28	c 1323s |      26 | 11869568 |  7597752 |    25207    793 |        0 |        0
1324.83/1325.29	c 1325s |      26 | 11890468 |  7612752 |    25207    794 |        0 |        0
1326.93/1327.30	c 1327s |      26 | 11930261 |  7628652 |    25207    795 |        0 |        0
1328.93/1329.30	c 1329s |      26 | 11958024 |  7645152 |    25207    796 |        0 |        0
1330.93/1331.31	c 1331s |      26 | 11975584 |  7658652 |    25207    797 |        0 |        0
1332.93/1333.33	c 1333s |      26 | 11985553 |  7666352 |    25207    798 |        0 |        0
1334.92/1335.33	c 1335s |      26 | 12005688 |  7679252 |    25207    799 |        0 |        0
1336.92/1337.35	c 1337s |      26 | 12023457 |  7693052 |    25207    800 |        0 |        0
1339.02/1339.49	c 1339s |      26 | 12039409 |  7702352 |    25207    801 |        0 |        0
1341.02/1341.49	c 1341s |      26 | 12061523 |  7716352 |    25207    802 |        0 |        0
1343.22/1343.61	c 1343s |      26 | 12084938 |  7729752 |    25207    803 |        0 |        0
1345.22/1345.64	c 1345s |      26 | 12096688 |  7738452 |    25207    803 |        0 |        0
1347.23/1347.64	c 1347s |      26 | 12105014 |  7744152 |    25207    804 |        0 |        0
1349.22/1349.65	c 1349s |      26 | 12114137 |  7750952 |    25207    804 |        0 |        0
1351.32/1351.70	c 1351s |      26 | 12120013 |  7755152 |    25207    805 |        0 |        0
1353.32/1353.71	c 1353s |      26 | 12134967 |  7764652 |    25207    805 |        0 |        0
1355.32/1355.72	c 1355s |      26 | 12168753 |  7780852 |    25207    807 |        0 |        0
1357.32/1357.74	c 1357s |      26 | 12181308 |  7790552 |    25207    807 |        0 |        0
1359.42/1359.90	c 1359s |      26 | 12189915 |  7797152 |    25207    808 |        0 |        0
1361.52/1361.91	c 1361s |      26 | 12198303 |  7803452 |    25207    808 |        0 |        0
1363.52/1363.94	c 1363s |      26 | 12205921 |  7809152 |    25207    809 |        0 |        0
1365.62/1366.00	c 1365s |      26 | 12217589 |  7814752 |    25207    809 |        0 |        0
1368.02/1368.43	c 1368s |      26 | 12224970 |  7820252 |    25207    810 |        0 |        0
1370.01/1370.47	c 1370s |      26 | 12236050 |  7828752 |    25207    810 |        0 |        0
1372.01/1372.47	c 1372s |      26 | 12280301 |  7842252 |    25207    811 |        0 |        0
1374.01/1374.48	c 1374s |      26 | 12307723 |  7855052 |    25207    812 |        0 |        0
1376.11/1376.50	c 1376s |      26 | 12334877 |  7869852 |    25207    813 |        0 |        0
1378.21/1378.60	c 1378s |      26 | 12360485 |  7883352 |    25207    814 |        0 |        0
1380.22/1380.61	c 1380s |      26 | 12377567 |  7895752 |    25207    815 |        0 |        0
1382.21/1382.63	c 1382s |      26 | 12385910 |  7902252 |    25207    816 |        0 |        0
1384.21/1384.69	c 1384s |      26 | 12400037 |  7912452 |    25207    817 |        0 |        0
1386.21/1386.69	c 1386s |      26 | 12423861 |  7928752 |    25207    818 |        0 |        0
1388.41/1388.86	c 1388s |      26 | 12454937 |  7945852 |    25207    819 |        0 |        0
1390.41/1390.87	c 1390s |      26 | 12478424 |  7954352 |    25207    820 |        0 |        0
1392.41/1392.87	c 1392s |      26 | 12511539 |  7971552 |    25207    821 |        0 |        0
1394.52/1394.99	c 1394s |      26 | 12545992 |  7985252 |    25207    822 |        0 |        0
1396.62/1397.01	c 1396s |      26 | 12565812 |  7997952 |    25207    823 |        0 |        0
1398.62/1399.01	c 1398s |      26 | 12580789 |  8008952 |    25207    824 |        0 |        0
1400.62/1401.01	c 1400s |      26 | 12599533 |  8018652 |    25207    825 |        0 |        0
1402.92/1403.30	c 1403s |      26 | 12633396 |  8034252 |    25207    826 |        0 |        0
1405.01/1405.40	c 1405s |      26 | 12652315 |  8044552 |    25207    827 |        0 |        0
1407.01/1407.41	c 1407s |      26 | 12676411 |  8061852 |    25207    828 |        0 |        0
1409.01/1409.48	c 1409s |      26 | 12700426 |  8079652 |    25207    829 |        0 |        0
1411.02/1411.48	c 1411s |      26 | 12728247 |  8097552 |    25207    831 |        0 |        0
1413.12/1413.51	c 1413s |      26 | 12753946 |  8116552 |    25207    832 |        0 |        0
1415.11/1415.51	c 1415s |      26 | 12768189 |  8127252 |    25207    833 |        0 |        0
1417.11/1417.51	c 1417s |      26 | 12798108 |  8143052 |    25207    834 |        0 |        0
1419.11/1419.52	c 1419s |      26 | 12828057 |  8159752 |    25207    835 |        0 |        0
1421.11/1421.53	c 1421s |      26 | 12842088 |  8170252 |    25207    836 |        0 |        0
1423.12/1423.53	c 1423s |      26 | 12860742 |  8178952 |    25207    837 |        0 |        0
1425.11/1425.54	c 1425s |      26 | 12885256 |  8192552 |    25207    838 |        0 |        0
1427.11/1427.56	c 1427s |      26 | 12911960 |  8212252 |    25207    839 |        0 |        0
1429.11/1429.58	c 1429s |      26 | 12936450 |  8227052 |    25207    841 |        0 |        0
1431.21/1431.61	c 1431s |      26 | 12956635 |  8242552 |    25207    842 |        0 |        0
1433.21/1433.62	c 1433s |      26 | 12980932 |  8260352 |    25207    843 |        0 |        0
1435.21/1435.62	c 1435s |      26 | 13008121 |  8278052 |    25207    844 |        0 |        0
1437.31/1437.73	c 1437s |      26 | 13041868 |  8290452 |    25207    845 |        0 |        0
1439.31/1439.73	c 1439s |      26 | 13071853 |  8304552 |    25207    846 |        0 |        0
1441.30/1441.73	c 1441s |      26 | 13106350 |  8324452 |    25207    848 |        0 |        0
1443.30/1443.74	c 1443s |      26 | 13125624 |  8339452 |    25207    849 |        0 |        0
1445.30/1445.75	c 1445s |      26 | 13144084 |  8352552 |    25207    850 |        0 |        0
1447.31/1447.76	c 1447s |      26 | 13165330 |  8367652 |    25207    851 |        0 |        0
1449.30/1449.76	c 1449s |      26 | 13182192 |  8379952 |    25207    852 |        0 |        0
1451.30/1451.78	c 1451s |      26 | 13195866 |  8390352 |    25207    853 |        0 |        0
1453.30/1453.78	c 1453s |      26 | 13225537 |  8408852 |    25207    854 |        0 |        0
1455.30/1455.78	c 1455s |      26 | 13253261 |  8424052 |    25207    855 |        0 |        0
1457.40/1457.82	c 1457s |      26 | 13276105 |  8439252 |    25207    857 |        0 |        0
1459.41/1459.83	c 1459s |      26 | 13307122 |  8455752 |    25207    858 |        0 |        0
1461.40/1461.86	c 1461s |      26 | 13322232 |  8465052 |    25207    859 |        0 |        0
1463.40/1463.86	c 1463s |      26 | 13349052 |  8483652 |    25207    860 |        0 |        0
1465.40/1465.87	c 1465s |      26 | 13376066 |  8501852 |    25207    861 |        0 |        0
1467.40/1467.88	c 1467s |      26 | 13393475 |  8515652 |    25207    863 |        0 |        0
1469.40/1469.88	c 1469s |      26 | 13416432 |  8532352 |    25207    864 |        0 |        0
1471.40/1471.88	c 1471s |      26 | 13463530 |  8552852 |    25207    865 |        0 |        0
1473.50/1473.91	c 1473s |      26 | 13491495 |  8568152 |    25207    867 |        0 |        0
1475.50/1475.93	c 1475s |      26 | 13512186 |  8583052 |    25207    868 |        0 |        0
1477.50/1477.94	c 1477s |      26 | 13537645 |  8600452 |    25207    869 |        0 |        0
1479.50/1479.94	c 1479s |      26 | 13569531 |  8615652 |    25207    870 |        0 |        0
1481.50/1481.96	c 1481s |      26 | 13596839 |  8633352 |    25207    872 |        0 |        0
1483.51/1483.97	c 1483s |      26 | 13610410 |  8643452 |    25207    872 |        0 |        0
1485.50/1485.97	c 1485s |      26 | 13620487 |  8651052 |    25207    873 |        0 |        0
1487.91/1488.33	c 1488s |      26 | 13633080 |  8660452 |    25207    874 |        0 |        0
1489.90/1490.34	c 1490s |      26 | 13665820 |  8676252 |    25207    875 |        0 |        0
1491.90/1492.35	c 1492s |      26 | 13689043 |  8693552 |    25207    876 |        0 |        0
1493.90/1494.35	c 1494s |      26 | 13722015 |  8711652 |    25207    878 |        0 |        0
1495.90/1496.36	c 1496s |      26 | 13746323 |  8727452 |    25207    879 |        0 |        0
1497.91/1498.36	c 1498s |      26 | 13791513 |  8744552 |    25207    880 |        0 |        0
1499.90/1500.37	c 1500s |      26 | 13819141 |  8762352 |    25207    881 |        0 |        0
1501.90/1502.38	c 1502s |      26 | 13839840 |  8777152 |    25207    883 |        0 |        0
1503.90/1504.39	c 1504s |      26 | 13859747 |  8791252 |    25207    884 |        0 |        0
1505.90/1506.39	c 1506s |      26 | 13889636 |  8810052 |    25207    885 |        0 |        0
1508.00/1508.41	c 1508s |      26 | 13905540 |  8821852 |    25207    886 |        0 |        0
1510.30/1510.72	c 1510s |      26 | 13916972 |  8831052 |    25207    887 |        0 |        0
1512.29/1512.72	c 1512s |      26 | 13938244 |  8847452 |    25207    888 |        0 |        0
1514.30/1514.73	c 1514s |      26 | 13975845 |  8860452 |    25207    889 |        0 |        0
1516.29/1516.74	c 1516s |      26 | 13997546 |  8876652 |    25207    890 |        0 |        0
1518.29/1518.74	c 1518s |      26 | 14012528 |  8888152 |    25207    891 |        0 |        0
1520.29/1520.75	c 1520s |      26 | 14045396 |  8905252 |    25207    892 |        0 |        0
1522.39/1522.80	c 1522s |      26 | 14073761 |  8921052 |    25207    894 |        0 |        0
1524.39/1524.81	c 1524s |      26 | 14100653 |  8936852 |    25207    895 |        0 |        0
1526.40/1526.81	c 1526s |      26 | 14123835 |  8954852 |    25207    896 |        0 |        0
1528.39/1528.81	c 1528s |      26 | 14157971 |  8974052 |    25207    898 |        0 |        0
1530.39/1530.81	c 1530s |      26 | 14195903 |  8990952 |    25207    899 |        0 |        0
1532.39/1532.83	c 1532s |      26 | 14212944 |  9003152 |    25207    900 |        0 |        0
1534.39/1534.84	c 1534s |      26 | 14228602 |  9013452 |    25207    901 |        0 |        0
1536.40/1536.84	c 1536s |      26 | 14252779 |  9031652 |    25207    902 |        0 |        0
1538.40/1538.86	c 1538s |      26 | 14286676 |  9050552 |    25207    903 |        0 |        0
1540.39/1540.86	c 1540s |      26 | 14316159 |  9068352 |    25207    905 |        0 |        0
1542.39/1542.87	c 1542s |      26 | 14345553 |  9086852 |    25207    906 |        0 |        0
1544.39/1544.87	c 1544s |      26 | 14380353 |  9102852 |    25207    907 |        0 |        0
1546.39/1546.89	c 1546s |      26 | 14397936 |  9115552 |    25207    908 |        0 |        0
1548.40/1548.90	c 1548s |      26 | 14413478 |  9127052 |    25207    909 |        0 |        0
1550.49/1551.00	c 1550s |      26 | 14436743 |  9140052 |    25207    910 |        0 |        0
1552.59/1553.00	c 1552s |      26 | 14461221 |  9159152 |    25207    912 |        0 |        0
1554.59/1555.02	c 1554s |      26 | 14492328 |  9177152 |    25207    913 |        0 |        0
1556.59/1557.02	c 1556s |      26 | 14512939 |  9191252 |    25207    914 |        0 |        0
1558.59/1559.03	c 1558s |      26 | 14541123 |  9206352 |    25207    915 |        0 |        0
1560.60/1561.04	c 1560s |      26 | 14560958 |  9218552 |    25207    916 |        0 |        0
1562.59/1563.05	c 1562s |      26 | 14587823 |  9231652 |    25207    917 |        0 |        0
1564.59/1565.05	c 1564s |      26 | 14614356 |  9248852 |    25207    918 |        0 |        0
1566.59/1567.06	c 1566s |      26 | 14635868 |  9264152 |    25207    920 |        0 |        0
1568.59/1569.06	c 1568s |      26 | 14665601 |  9279252 |    25207    921 |        0 |        0
1570.58/1571.07	c 1570s |      26 | 14703728 |  9299152 |    25207    922 |        0 |        0
1572.59/1573.07	c 1572s |      26 | 14729529 |  9318852 |    25207    924 |        0 |        0
1574.58/1575.07	c 1574s |      26 | 14768887 |  9337252 |    25207    925 |        0 |        0
1576.58/1577.07	c 1576s |      26 | 14791762 |  9352252 |    25207    926 |        0 |        0
1578.58/1579.07	c 1578s |      26 | 14806087 |  9362452 |    25207    927 |        0 |        0
1580.58/1581.10	c 1581s |      26 | 14820402 |  9373752 |    25207    928 |        0 |        0
1582.68/1583.10	c 1583s |      26 | 14846657 |  9392152 |    25207    929 |        0 |        0
1584.69/1585.10	c 1585s |      26 | 14878808 |  9410252 |    25207    931 |        0 |        0
1586.68/1587.11	c 1587s |      26 | 14910478 |  9429452 |    25207    932 |        0 |        0
1588.69/1589.12	c 1589s |      26 | 14933889 |  9443952 |    25207    933 |        0 |        0
1590.69/1591.14	c 1591s |      26 | 14951612 |  9457252 |    25207    934 |        0 |        0
1592.69/1593.14	c 1593s |      26 | 14975054 |  9467952 |    25207    935 |        0 |        0
1594.69/1595.14	c 1595s |      26 | 14994864 |  9481552 |    25207    936 |        0 |        0
1596.69/1597.15	c 1597s |      26 | 15020505 |  9496052 |    25207    937 |        0 |        0
1598.69/1599.17	c 1599s |      26 | 15037040 |  9508152 |    25207    938 |        0 |        0
1600.68/1601.17	c 1601s |      26 | 15048880 |  9516952 |    25207    939 |        0 |        0
1602.68/1603.17	c 1603s |      26 | 15073519 |  9530452 |    25207    940 |        0 |        0
1604.68/1605.18	c 1605s |      26 | 15097567 |  9548652 |    25207    941 |        0 |        0
1606.69/1607.20	c 1607s |      26 | 15121174 |  9560352 |    25207    942 |        0 |        0
1608.78/1609.21	c 1609s |      26 | 15144053 |  9577352 |    25207    943 |        0 |        0
1610.78/1611.21	c 1611s |      26 | 15156597 |  9586752 |    25207    944 |        0 |        0
1612.78/1613.29	c 1613s |      26 | 15166060 |  9593752 |    25207    945 |        0 |        0
1614.88/1615.33	c 1615s |      26 | 15174078 |  9600552 |    25207    945 |        0 |        0
1616.88/1617.33	c 1617s |      26 | 15179732 |  9605052 |    25207    946 |        0 |        0
1618.89/1619.34	c 1619s |      26 | 15185897 |  9610152 |    25207    946 |        0 |        0
1620.88/1621.38	c 1621s |      26 | 15192676 |  9615152 |    25207    946 |        0 |        0
1622.98/1623.42	c 1623s |      26 | 15197309 |  9618452 |    25207    947 |        0 |        0
1624.98/1625.44	c 1625s |      26 | 15220356 |  9632552 |    25207    948 |        0 |        0
1626.98/1627.45	c 1627s |      26 | 15248560 |  9648152 |    25207    949 |        0 |        0
1628.97/1629.46	c 1629s |      26 | 15260301 |  9657252 |    25207    950 |        0 |        0
1630.98/1631.49	c 1631s |      26 | 15269752 |  9664352 |    25207    950 |        0 |        0
1633.08/1633.51	c 1633s |      26 | 15278142 |  9670752 |    25207    951 |        0 |        0
1635.07/1635.54	c 1635s |      26 | 15286435 |  9676552 |    25207    951 |        0 |        0
1637.07/1637.54	c 1637s |      26 | 15291766 |  9680352 |    25207    951 |        0 |        0
1639.08/1639.56	c 1639s |      26 | 15296516 |  9684152 |    25207    952 |        0 |        0
1641.58/1642.00	c 1641s |      26 | 15303731 |  9689652 |    25207    952 |        0 |        0
1643.58/1644.06	c 1643s |      26 | 15310662 |  9695152 |    25207    953 |        0 |        0
1645.57/1646.06	c 1645s |      26 | 15312755 |  9696652 |    25207    953 |        0 |        0
1647.57/1648.07	c 1647s |      26 | 15321542 |  9703052 |    25207    953 |        0 |        0
1649.58/1650.10	c 1650s |      26 | 15347183 |  9721252 |    25207    955 |        0 |        0
1651.78/1652.27	c 1652s |      26 | 15384455 |  9737152 |    25207    956 |        0 |        0
1653.77/1654.28	c 1654s |      26 | 15411889 |  9752552 |    25207    957 |        0 |        0
1655.77/1656.29	c 1656s |      26 | 15425177 |  9762052 |    25207    958 |        0 |        0
1657.77/1658.29	c 1658s |      26 | 15434115 |  9768952 |    25207    958 |        0 |        0
1659.97/1660.41	c 1660s |      26 | 15441948 |  9775152 |    25207    959 |        0 |        0
1662.47/1662.93	c 1662s |      26 | 15447950 |  9779752 |    25207    959 |        0 |        0
1664.47/1664.93	c 1664s |      26 | 15458936 |  9787652 |    25207    959 |        0 |        0
1666.47/1666.95	c 1666s |      26 | 15463779 |  9791552 |    25207    960 |        0 |        0
1668.47/1668.95	c 1668s |      26 | 15471024 |  9797552 |    25207    960 |        0 |        0
1670.58/1671.02	c 1670s |      26 | 15477931 |  9802352 |    25207    961 |        0 |        0
1672.57/1673.04	c 1672s |      26 | 15488506 |  9810752 |    25207    961 |        0 |        0
1674.57/1675.07	c 1674s |      26 | 15496479 |  9816652 |    25207    962 |        0 |        0
1676.57/1677.08	c 1677s |      26 | 15504072 |  9822352 |    25207    962 |        0 |        0
1678.67/1679.11	c 1679s |      26 | 15512768 |  9828352 |    25207    963 |        0 |        0
1680.67/1681.14	c 1681s |      26 | 15518878 |  9832952 |    25207    963 |        0 |        0
1682.67/1683.14	c 1683s |      26 | 15526962 |  9839352 |    25207    963 |        0 |        0
1684.96/1685.43	c 1685s |      26 | 15537582 |  9847952 |    25207    964 |        0 |        0
1686.97/1687.46	c 1687s |      26 | 15545985 |  9854852 |    25207    964 |        0 |        0
1688.96/1689.46	c 1689s |      26 | 15553615 |  9860652 |    25207    965 |        0 |        0
1690.96/1691.47	c 1691s |      26 | 15564140 |  9867652 |    25207    965 |        0 |        0
1692.96/1693.48	c 1693s |      26 | 15585440 |  9881452 |    25207    967 |        0 |        0
1695.06/1695.51	c 1695s |      26 | 15594176 |  9888452 |    25207    967 |        0 |        0
1697.06/1697.52	c 1697s |      26 | 15601399 |  9893852 |    25207    967 |        0 |        0
1699.07/1699.57	c 1699s |      26 | 15605450 |  9896952 |    25207    968 |        0 |        0
1701.16/1701.60	c 1701s |      26 | 15611898 |  9901452 |    25207    968 |        0 |        0
1703.16/1703.60	c 1703s |      26 | 15618841 |  9906452 |    25207    968 |        0 |        0
1705.17/1705.62	c 1705s |      26 | 15623413 |  9909852 |    25207    969 |        0 |        0
1707.17/1707.63	c 1707s |      26 | 15638354 |  9918852 |    25207    969 |        0 |        0
1709.17/1709.64	c 1709s |      26 | 15653274 |  9929552 |    25207    970 |        0 |        0
1711.17/1711.64	c 1711s |      26 | 15664222 |  9937152 |    25207    971 |        0 |        0
1713.37/1713.87	c 1713s |      26 | 15674386 |  9945052 |    25207    971 |        0 |        0
1715.86/1716.31	c 1716s |      26 | 15677083 |  9947052 |    25207    972 |        0 |        0
1717.87/1718.32	c 1718s |      26 | 15687237 |  9954152 |    25207    972 |        0 |        0
1720.07/1720.58	c 1720s |      26 | 15694608 |  9959652 |    25207    973 |        0 |        0
1722.06/1722.60	c 1722s |      26 | 15702352 |  9965052 |    25207    973 |        0 |        0
1724.16/1724.60	c 1724s |      26 | 15713778 |  9974152 |    25207    974 |        0 |        0
1726.16/1726.61	c 1726s |      26 | 15724286 |  9982052 |    25207    974 |        0 |        0
1728.36/1728.87	c 1728s |      26 | 15743300 |  9992152 |    25207    975 |        0 |        0
1730.36/1730.88	c 1730s |      26 | 15767031 | 10003952 |    25207    976 |        0 |        0
1732.36/1732.89	c 1732s |      26 | 15794086 | 10019152 |    25207    977 |        0 |        0
1734.46/1734.90	c 1734s |      26 | 15803995 | 10025752 |    25207    977 |        0 |        0
1736.47/1736.91	c 1736s |      26 | 15839074 | 10045052 |    25207    979 |        0 |        0
1738.46/1738.92	c 1738s |      26 | 15860610 | 10059552 |    25207    980 |        0 |        0
1740.46/1740.92	c 1740s |      26 | 15878674 | 10072552 |    25207    981 |        0 |        0
1742.46/1742.93	c 1742s |      26 | 15897367 | 10083352 |    25207    982 |        0 |        0
1744.46/1744.95	c 1744s |      26 | 15917735 | 10096752 |    25207    983 |        0 |        0
1746.56/1747.00	c 1746s |      26 | 15934710 | 10104152 |    25207    983 |        0 |        0
1748.57/1749.01	c 1748s |      26 | 15957071 | 10120752 |    25207    985 |        0 |        0
1750.56/1751.02	c 1750s |      26 | 15976427 | 10133352 |    25207    985 |        0 |        0
1752.56/1753.02	c 1752s |      26 | 15992830 | 10139152 |    25207    986 |        0 |        0
1754.56/1755.07	c 1754s |      26 | 16015673 | 10155252 |    25207    987 |        0 |        0
1756.56/1757.07	c 1756s |      26 | 16030602 | 10165952 |    25207    988 |        0 |        0
1758.56/1759.09	c 1759s |      26 | 16064831 | 10182552 |    25207    989 |        0 |        0
1760.66/1761.11	c 1761s |      26 | 16075196 | 10190252 |    25207    990 |        0 |        0
1762.66/1763.12	c 1763s |      26 | 16082149 | 10195752 |    25207    990 |        0 |        0
1764.66/1765.14	c 1765s |      26 | 16089462 | 10201452 |    25207    991 |        0 |        0
1766.76/1767.20	c 1767s |      26 | 16096745 | 10206752 |    25207    991 |        0 |        0
1768.76/1769.26	c 1769s |      26 | 16103885 | 10212052 |    25207    991 |        0 |        0
1770.75/1771.27	c 1771s |      26 | 16106680 | 10214052 |    25207    992 |        0 |        0
1772.86/1773.31	c 1773s |      26 | 16111348 | 10217552 |    25207    992 |        0 |        0
1774.85/1775.33	c 1775s |      26 | 16123685 | 10226452 |    25207    992 |        0 |        0
1776.86/1777.36	c 1777s |      26 | 16127088 | 10229152 |    25207    993 |        0 |        0
1778.86/1779.36	c 1779s |      26 | 16139672 | 10238852 |    25207    993 |        0 |        0
1780.86/1781.37	c 1781s |      26 | 16149205 | 10245252 |    25207    994 |        0 |        0
1782.86/1783.37	c 1783s |      26 | 16159872 | 10252052 |    25207    994 |        0 |        0
1784.86/1785.38	c 1785s |      26 | 16166474 | 10256852 |    25207    995 |        0 |        0
1786.85/1787.39	c 1787s |      26 | 16176707 | 10263752 |    25207    995 |        0 |        0
1788.95/1789.42	c 1789s |      26 | 16183935 | 10269052 |    25207    996 |        0 |        0
1790.95/1791.45	c 1791s |      26 | 16192410 | 10275052 |    25207    996 |        0 |        0
1792.95/1793.46	c 1793s |      26 | 16199099 | 10280052 |    25207    997 |        0 |        0
1794.95/1795.49	c 1795s |      26 | 16205265 | 10285152 |    25207    997 |        0 |        0
1797.45/1797.91	c 1797s |      26 | 16211810 | 10288652 |    25207    997 |        0 |        0
1799.45/1799.91	c 1799s |      26 | 16235084 | 10303652 |    25207    998 |        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-4088903-1466018332/watcher-4088903-1466018332 -o /tmp/evaluation-result-4088903-1466018332/solver-4088903-1466018332 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node106-1466012020-5772 --watchdog 1960 toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4088903-1466018332.opb 

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

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


[startup+0 s]
/proc/loadavg: 2.15 2.12 2.06 3/179 6591
/proc/meminfo: memFree=30357484/32872528 swapFree=524788/557492
[pid=6591] ppid=6588 vsize=573884 CPUtime=0 cores=0,2,4,6
/proc/6591/stat : 6591 (toysat) R 6588 6591 5756 0 -1 4202496 2113 0 0 0 0 0 0 0 20 0 4 0 3883365 587657216 1963 33554432000 4194304 16246674 140733576417744 140733576417168 13880264 0 2 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/6591/statm: 143983 1973 441 2943 0 140877 0
[pid=6591/tid=6592] ppid=6588 vsize=590268 CPUtime=0 cores=0,2,4,6
/proc/6591/task/6592/stat : 6592 (toysat) S 6588 6591 5756 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 3883366 604434432 2030 33554432000 4194304 16246674 140733576417744 140022020812016 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=6591/tid=6593] ppid=6588 vsize=595388 CPUtime=0 cores=0,2,4,6
/proc/6591/task/6593/stat : 6593 (toysat) S 6588 6591 5756 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 3883366 609677312 2048 33554432000 4194304 16246674 140733576417744 140022010322160 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=6591/tid=6594] ppid=6588 vsize=599484 CPUtime=0 cores=0,2,4,6
/proc/6591/task/6594/stat : 6594 (toysat) S 6588 6591 5756 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 3883366 613871616 2064 33554432000 4194304 16246674 140733576417744 140021999848624 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0

[startup+0.100169 s]
/proc/loadavg: 2.15 2.12 2.06 3/179 6591
/proc/meminfo: memFree=30357484/32872528 swapFree=524788/557492
[pid=6591] ppid=6588 vsize=1220164 CPUtime=0.08 cores=0,2,4,6
/proc/6591/stat : 6591 (toysat) R 6588 6591 5756 0 -1 4202496 19767 0 0 0 6 2 0 0 20 0 4 0 3883365 1249447936 19555 33554432000 4194304 16246674 140733576417744 140733576417056 6072522 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/6591/statm: 305041 19555 866 2943 0 301935 0
[pid=6591/tid=6592] ppid=6588 vsize=1220164 CPUtime=0 cores=0,2,4,6
/proc/6591/task/6592/stat : 6592 (toysat) S 6588 6591 5756 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 3883366 1249447936 19555 33554432000 4194304 16246674 140733576417744 140022020812016 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=6591/tid=6593] ppid=6588 vsize=1220164 CPUtime=0 cores=0,2,4,6
/proc/6591/task/6593/stat : 6593 (toysat) S 6588 6591 5756 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 3883366 1249447936 19555 33554432000 4194304 16246674 140733576417744 140022010322160 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=6591/tid=6594] ppid=6588 vsize=1220164 CPUtime=0 cores=0,2,4,6
/proc/6591/task/6594/stat : 6594 (toysat) S 6588 6591 5756 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 3883366 1249447936 19555 33554432000 4194304 16246674 140733576417744 140021999848624 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 1220164

[startup+0.200529 s]
/proc/loadavg: 2.15 2.12 2.06 3/179 6591
/proc/meminfo: memFree=30357484/32872528 swapFree=524788/557492
[pid=6591] ppid=6588 vsize=1220164 CPUtime=0.19 cores=0,2,4,6
/proc/6591/stat : 6591 (toysat) R 6588 6591 5756 0 -1 4202496 34650 0 0 0 15 4 0 0 20 0 4 0 3883365 1249447936 34438 33554432000 4194304 16246674 140733576417744 140733576417056 13954518 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/6591/statm: 305041 34447 868 2943 0 301935 0
[pid=6591/tid=6592] ppid=6588 vsize=1220164 CPUtime=0 cores=0,2,4,6
/proc/6591/task/6592/stat : 6592 (toysat) S 6588 6591 5756 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 3883366 1249447936 34452 33554432000 4194304 16246674 140733576417744 140022020812016 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=6591/tid=6593] ppid=6588 vsize=1220164 CPUtime=0 cores=0,2,4,6
/proc/6591/task/6593/stat : 6593 (toysat) S 6588 6591 5756 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 3883366 1249447936 34456 33554432000 4194304 16246674 140733576417744 140022010322160 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=6591/tid=6594] ppid=6588 vsize=1220164 CPUtime=0 cores=0,2,4,6
/proc/6591/task/6594/stat : 6594 (toysat) S 6588 6591 5756 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 3883366 1249447936 34462 33554432000 4194304 16246674 140733576417744 140021999848624 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 1220164

[startup+0.300471 s]
/proc/loadavg: 2.15 2.12 2.06 3/179 6591
/proc/meminfo: memFree=30357484/32872528 swapFree=524788/557492
[pid=6591] ppid=6588 vsize=1220164 CPUtime=0.29 cores=0,2,4,6
/proc/6591/stat : 6591 (toysat) R 6588 6591 5756 0 -1 4202496 52097 0 0 0 22 7 0 0 20 0 4 0 3883365 1249447936 51886 33554432000 4194304 16246674 140733576417744 140733576417056 5675357 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/6591/statm: 305041 51896 868 2943 0 301935 0
[pid=6591/tid=6592] ppid=6588 vsize=1220164 CPUtime=0 cores=0,2,4,6
/proc/6591/task/6592/stat : 6592 (toysat) S 6588 6591 5756 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 3883366 1249447936 51902 33554432000 4194304 16246674 140733576417744 140022020812016 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=6591/tid=6593] ppid=6588 vsize=1220164 CPUtime=0 cores=0,2,4,6
/proc/6591/task/6593/stat : 6593 (toysat) S 6588 6591 5756 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 3883366 1249447936 51907 33554432000 4194304 16246674 140733576417744 140022010322160 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=6591/tid=6594] ppid=6588 vsize=1220164 CPUtime=0 cores=0,2,4,6
/proc/6591/task/6594/stat : 6594 (toysat) S 6588 6591 5756 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 3883366 1249447936 51913 33554432000 4194304 16246674 140733576417744 140021999848624 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 1220164

[startup+0.700411 s]
/proc/loadavg: 2.15 2.12 2.06 3/179 6591
/proc/meminfo: memFree=30357484/32872528 swapFree=524788/557492
[pid=6591] ppid=6588 vsize=1220164 CPUtime=0.69 cores=0,2,4,6
/proc/6591/stat : 6591 (toysat) R 6588 6591 5756 0 -1 4202496 125417 0 0 0 49 20 0 0 20 0 4 0 3883365 1249447936 125205 33554432000 4194304 16246674 140733576417744 140733576417056 13954410 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/6591/statm: 305041 125215 874 2943 0 301935 0
[pid=6591/tid=6592] ppid=6588 vsize=1220164 CPUtime=0 cores=0,2,4,6
/proc/6591/task/6592/stat : 6592 (toysat) S 6588 6591 5756 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 3883366 1249447936 125219 33554432000 4194304 16246674 140733576417744 140022020812016 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=6591/tid=6593] ppid=6588 vsize=1220164 CPUtime=0 cores=0,2,4,6
/proc/6591/task/6593/stat : 6593 (toysat) S 6588 6591 5756 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 3883366 1249447936 125227 33554432000 4194304 16246674 140733576417744 140022010322160 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=6591/tid=6594] ppid=6588 vsize=1220164 CPUtime=0 cores=0,2,4,6
/proc/6591/task/6594/stat : 6594 (toysat) S 6588 6591 5756 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 3883366 1249447936 125231 33554432000 4194304 16246674 140733576417744 140021999848624 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 1220164

[startup+1.5004 s]
/proc/loadavg: 2.15 2.12 2.06 3/183 6595
/proc/meminfo: memFree=29608212/32872528 swapFree=524788/557492
[pid=6591] ppid=6588 vsize=1285700 CPUtime=1.49 cores=0,2,4,6
/proc/6591/stat : 6591 (toysat) R 6588 6591 5756 0 -1 4202496 188080 0 0 0 120 29 0 0 20 0 4 0 3883365 1316556800 187868 33554432000 4194304 16246674 140733576417744 140733576399616 5823933 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/6591/statm: 321425 187868 877 2943 0 318319 0
[pid=6591/tid=6592] ppid=6588 vsize=1285700 CPUtime=0 cores=0,2,4,6
/proc/6591/task/6592/stat : 6592 (toysat) S 6588 6591 5756 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 3883366 1316556800 187868 33554432000 4194304 16246674 140733576417744 140022020812016 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=6591/tid=6593] ppid=6588 vsize=1285700 CPUtime=0 cores=0,2,4,6
/proc/6591/task/6593/stat : 6593 (toysat) S 6588 6591 5756 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 3883366 1316556800 187868 33554432000 4194304 16246674 140733576417744 140022010322160 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=6591/tid=6594] ppid=6588 vsize=1285700 CPUtime=0 cores=0,2,4,6
/proc/6591/task/6594/stat : 6594 (toysat) S 6588 6591 5756 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 4 0 3883366 1316556800 187868 33554432000 4194304 16246674 140733576417744 140021999848624 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 1285700

[startup+3.10036 s]
/proc/loadavg: 2.15 2.12 2.06 3/183 6595
/proc/meminfo: memFree=29587628/32872528 swapFree=524788/557492
[pid=6591] ppid=6588 vsize=1299012 CPUtime=3.09 cores=0,2,4,6
/proc/6591/stat : 6591 (toysat) R 6588 6591 5756 0 -1 4202496 207844 0 0 0 277 32 0 0 20 0 4 0 3883365 1330188288 207633 33554432000 4194304 16246674 140733576417744 140733576399616 6021055 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/6591/statm: 324753 207642 881 2943 0 321647 0
[pid=6591/tid=6592] ppid=6588 vsize=1299012 CPUtime=0 cores=0,2,4,6
/proc/6591/task/6592/stat : 6592 (toysat) S 6588 6591 5756 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 3883366 1330188288 207647 33554432000 4194304 16246674 140733576417744 140022020812016 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=6591/tid=6593] ppid=6588 vsize=1299012 CPUtime=0 cores=0,2,4,6
/proc/6591/task/6593/stat : 6593 (toysat) S 6588 6591 5756 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 3883366 1330188288 207653 33554432000 4194304 16246674 140733576417744 140022010322160 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=6591/tid=6594] ppid=6588 vsize=1299012 CPUtime=0 cores=0,2,4,6
/proc/6591/task/6594/stat : 6594 (toysat) S 6588 6591 5756 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 4 0 3883366 1330188288 207657 33554432000 4194304 16246674 140733576417744 140021999848624 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 1299012

[startup+6.30041 s]
/proc/loadavg: 2.13 2.12 2.06 3/183 6595
/proc/meminfo: memFree=29280572/32872528 swapFree=524788/557492
[pid=6591] ppid=6588 vsize=1320516 CPUtime=6.29 cores=0,2,4,6
/proc/6591/stat : 6591 (toysat) R 6588 6591 5756 0 -1 4202496 271239 0 0 0 587 42 0 0 20 0 4 0 3883365 1352208384 271027 33554432000 4194304 16246674 140733576417744 140733576399616 13808319 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/6591/statm: 330129 271027 881 2943 0 327023 0
[pid=6591/tid=6592] ppid=6588 vsize=1320516 CPUtime=0 cores=0,2,4,6
/proc/6591/task/6592/stat : 6592 (toysat) S 6588 6591 5756 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 3883366 1352208384 271027 33554432000 4194304 16246674 140733576417744 140022020812016 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=6591/tid=6593] ppid=6588 vsize=1320516 CPUtime=0 cores=0,2,4,6
/proc/6591/task/6593/stat : 6593 (toysat) S 6588 6591 5756 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 3883366 1352208384 271027 33554432000 4194304 16246674 140733576417744 140022010322160 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=6591/tid=6594] ppid=6588 vsize=1320516 CPUtime=0 cores=0,2,4,6
/proc/6591/task/6594/stat : 6594 (toysat) S 6588 6591 5756 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 4 0 3883366 1352208384 271027 33554432000 4194304 16246674 140733576417744 140021999848624 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 1320516

[startup+12.7004 s]
/proc/loadavg: 2.12 2.11 2.06 3/183 6595
/proc/meminfo: memFree=29273772/32872528 swapFree=524788/557492
[pid=6591] ppid=6588 vsize=1320516 CPUtime=12.69 cores=0,2,4,6
/proc/6591/stat : 6591 (toysat) R 6588 6591 5756 0 -1 4202496 271310 0 0 0 1227 42 0 0 20 0 4 0 3883365 1352208384 271098 33554432000 4194304 16246674 140733576417744 140733576399616 6012041 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/6591/statm: 330129 271098 881 2943 0 327023 0
[pid=6591/tid=6592] ppid=6588 vsize=1320516 CPUtime=0 cores=0,2,4,6
/proc/6591/task/6592/stat : 6592 (toysat) S 6588 6591 5756 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 3883366 1352208384 271098 33554432000 4194304 16246674 140733576417744 140022020812016 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=6591/tid=6593] ppid=6588 vsize=1320516 CPUtime=0 cores=0,2,4,6
/proc/6591/task/6593/stat : 6593 (toysat) S 6588 6591 5756 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 3883366 1352208384 271098 33554432000 4194304 16246674 140733576417744 140022010322160 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=6591/tid=6594] ppid=6588 vsize=1320516 CPUtime=0 cores=0,2,4,6
/proc/6591/task/6594/stat : 6594 (toysat) S 6588 6591 5756 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 4 0 3883366 1352208384 271098 33554432000 4194304 16246674 140733576417744 140021999848624 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 1320516

[startup+25.5005 s]
/proc/loadavg: 2.10 2.11 2.06 4/183 6595
/proc/meminfo: memFree=29260492/32872528 swapFree=524788/557492
[pid=6591] ppid=6588 vsize=1333828 CPUtime=25.49 cores=0,2,4,6
/proc/6591/stat : 6591 (toysat) R 6588 6591 5756 0 -1 4202496 274638 0 0 0 2506 43 0 0 20 0 4 0 3883365 1365839872 274426 33554432000 4194304 16246674 140733576417744 140733576399616 13965456 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/6591/statm: 333457 274426 881 2943 0 330351 0
[pid=6591/tid=6592] ppid=6588 vsize=1333828 CPUtime=0 cores=0,2,4,6
/proc/6591/task/6592/stat : 6592 (toysat) S 6588 6591 5756 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 3883366 1365839872 274426 33554432000 4194304 16246674 140733576417744 140022020812016 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=6591/tid=6593] ppid=6588 vsize=1333828 CPUtime=0 cores=0,2,4,6
/proc/6591/task/6593/stat : 6593 (toysat) S 6588 6591 5756 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 3883366 1365839872 274426 33554432000 4194304 16246674 140733576417744 140022010322160 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=6591/tid=6594] ppid=6588 vsize=1333828 CPUtime=0 cores=0,2,4,6
/proc/6591/task/6594/stat : 6594 (toysat) S 6588 6591 5756 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 4 0 3883366 1365839872 274426 33554432000 4194304 16246674 140733576417744 140021999848624 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 1333828

[startup+51.1005 s]
/proc/loadavg: 2.06 2.10 2.06 3/183 6595
/proc/meminfo: memFree=29255372/32872528 swapFree=524788/557492
[pid=6591] ppid=6588 vsize=1345092 CPUtime=51.09 cores=0,2,4,6
/proc/6591/stat : 6591 (toysat) R 6588 6591 5756 0 -1 4202496 277378 0 0 0 5065 44 0 0 20 0 4 0 3883365 1377374208 277166 33554432000 4194304 16246674 140733576417744 140733576415552 5827728 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/6591/statm: 336273 277166 882 2943 0 333167 0
[pid=6591/tid=6592] ppid=6588 vsize=1345092 CPUtime=0 cores=0,2,4,6
/proc/6591/task/6592/stat : 6592 (toysat) S 6588 6591 5756 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 3883366 1377374208 277166 33554432000 4194304 16246674 140733576417744 140022020812016 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=6591/tid=6593] ppid=6588 vsize=1345092 CPUtime=0 cores=0,2,4,6
/proc/6591/task/6593/stat : 6593 (toysat) S 6588 6591 5756 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 3883366 1377374208 277166 33554432000 4194304 16246674 140733576417744 140022010322160 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=6591/tid=6594] ppid=6588 vsize=1345092 CPUtime=0 cores=0,2,4,6
/proc/6591/task/6594/stat : 6594 (toysat) S 6588 6591 5756 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 4 0 3883366 1377374208 277166 33554432000 4194304 16246674 140733576417744 140021999848624 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 1345092

[startup+102.301 s]
/proc/loadavg: 2.12 2.11 2.06 3/184 6599
/proc/meminfo: memFree=29246168/32872528 swapFree=524788/557492
[pid=6591] ppid=6588 vsize=1348164 CPUtime=102.29 cores=0,2,4,6
/proc/6591/stat : 6591 (toysat) R 6588 6591 5756 0 -1 4202496 278223 0 0 0 10184 45 0 0 20 0 4 0 3883365 1380519936 278011 33554432000 4194304 16246674 140733576417744 140733576399616 5676041 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/6591/statm: 337041 278011 882 2943 0 333935 0
[pid=6591/tid=6592] ppid=6588 vsize=1348164 CPUtime=0 cores=0,2,4,6
/proc/6591/task/6592/stat : 6592 (toysat) S 6588 6591 5756 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 3883366 1380519936 278011 33554432000 4194304 16246674 140733576417744 140022020812016 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=6591/tid=6593] ppid=6588 vsize=1348164 CPUtime=0 cores=0,2,4,6
/proc/6591/task/6593/stat : 6593 (toysat) S 6588 6591 5756 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 3883366 1380519936 278011 33554432000 4194304 16246674 140733576417744 140022010322160 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=6591/tid=6594] ppid=6588 vsize=1348164 CPUtime=0 cores=0,2,4,6
/proc/6591/task/6594/stat : 6594 (toysat) S 6588 6591 5756 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 4 0 3883366 1380519936 278011 33554432000 4194304 16246674 140733576417744 140021999848624 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 102.29
Current children cumulated vsize (KiB) 1348164


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

/proc/6591/task/6594/stat : 6594 (toysat) S 6588 6591 5756 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 4 0 3883366 1421414400 288206 33554432000 4194304 16246674 140733576417744 140021999848624 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1301.93
Current children cumulated vsize (KiB) 1388100

[startup+1362.3 s]
/proc/loadavg: 2.02 2.05 2.06 3/183 6680
/proc/meminfo: memFree=29204504/32872528 swapFree=524788/557492
[pid=6591] ppid=6588 vsize=1388100 CPUtime=1361.92 cores=0,2,4,6
/proc/6591/stat : 6591 (toysat) R 6588 6591 5756 0 -1 4202496 288518 0 0 0 136116 76 0 0 20 0 4 0 3883365 1421414400 288251 33554432000 4194304 16246674 140733576417744 140733576399616 5974116 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/6591/statm: 347025 288251 882 2943 0 343919 0
[pid=6591/tid=6592] ppid=6588 vsize=1388100 CPUtime=0 cores=0,2,4,6
/proc/6591/task/6592/stat : 6592 (toysat) S 6588 6591 5756 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 3883366 1421414400 288251 33554432000 4194304 16246674 140733576417744 140022020812016 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=6591/tid=6593] ppid=6588 vsize=1388100 CPUtime=0 cores=0,2,4,6
/proc/6591/task/6593/stat : 6593 (toysat) S 6588 6591 5756 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 3883366 1421414400 288251 33554432000 4194304 16246674 140733576417744 140022010322160 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=6591/tid=6594] ppid=6588 vsize=1388100 CPUtime=0 cores=0,2,4,6
/proc/6591/task/6594/stat : 6594 (toysat) S 6588 6591 5756 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 4 0 3883366 1421414400 288251 33554432000 4194304 16246674 140733576417744 140021999848624 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1361.92
Current children cumulated vsize (KiB) 1388100

[startup+1422.3 s]
/proc/loadavg: 2.11 2.07 2.06 3/183 6681
/proc/meminfo: memFree=29203956/32872528 swapFree=524788/557492
[pid=6591] ppid=6588 vsize=1388100 CPUtime=1421.92 cores=0,2,4,6
/proc/6591/stat : 6591 (toysat) R 6588 6591 5756 0 -1 4202496 288518 0 0 0 142115 77 0 0 20 0 4 0 3883365 1421414400 288251 33554432000 4194304 16246674 140733576417744 140733576399616 5822604 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/6591/statm: 347025 288251 882 2943 0 343919 0
[pid=6591/tid=6592] ppid=6588 vsize=1388100 CPUtime=0 cores=0,2,4,6
/proc/6591/task/6592/stat : 6592 (toysat) S 6588 6591 5756 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 3883366 1421414400 288251 33554432000 4194304 16246674 140733576417744 140022020812016 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=6591/tid=6593] ppid=6588 vsize=1388100 CPUtime=0 cores=0,2,4,6
/proc/6591/task/6593/stat : 6593 (toysat) S 6588 6591 5756 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 3883366 1421414400 288251 33554432000 4194304 16246674 140733576417744 140022010322160 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=6591/tid=6594] ppid=6588 vsize=1388100 CPUtime=0 cores=0,2,4,6
/proc/6591/task/6594/stat : 6594 (toysat) S 6588 6591 5756 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 4 0 3883366 1421414400 288251 33554432000 4194304 16246674 140733576417744 140021999848624 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1421.92
Current children cumulated vsize (KiB) 1388100

[startup+1482.3 s]
/proc/loadavg: 2.17 2.10 2.07 3/183 6682
/proc/meminfo: memFree=29203248/32872528 swapFree=524788/557492
[pid=6591] ppid=6588 vsize=1388100 CPUtime=1481.9 cores=0,2,4,6
/proc/6591/stat : 6591 (toysat) R 6588 6591 5756 0 -1 4202496 288518 0 0 0 148112 78 0 0 20 0 4 0 3883365 1421414400 288251 33554432000 4194304 16246674 140733576417744 140733576399616 5572121 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/6591/statm: 347025 288251 882 2943 0 343919 0
[pid=6591/tid=6592] ppid=6588 vsize=1388100 CPUtime=0 cores=0,2,4,6
/proc/6591/task/6592/stat : 6592 (toysat) S 6588 6591 5756 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 3883366 1421414400 288251 33554432000 4194304 16246674 140733576417744 140022020812016 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=6591/tid=6593] ppid=6588 vsize=1388100 CPUtime=0 cores=0,2,4,6
/proc/6591/task/6593/stat : 6593 (toysat) S 6588 6591 5756 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 3883366 1421414400 288251 33554432000 4194304 16246674 140733576417744 140022010322160 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=6591/tid=6594] ppid=6588 vsize=1388100 CPUtime=0 cores=0,2,4,6
/proc/6591/task/6594/stat : 6594 (toysat) S 6588 6591 5756 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 4 0 3883366 1421414400 288251 33554432000 4194304 16246674 140733576417744 140021999848624 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1481.9
Current children cumulated vsize (KiB) 1388100

[startup+1542.31 s]
/proc/loadavg: 2.18 2.11 2.08 3/183 6683
/proc/meminfo: memFree=29203580/32872528 swapFree=524788/557492
[pid=6591] ppid=6588 vsize=1388100 CPUtime=1541.9 cores=0,2,4,6
/proc/6591/stat : 6591 (toysat) R 6588 6591 5756 0 -1 4202496 288518 0 0 0 154111 79 0 0 20 0 4 0 3883365 1421414400 288251 33554432000 4194304 16246674 140733576417744 140733576399616 13198624 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/6591/statm: 347025 288251 882 2943 0 343919 0
[pid=6591/tid=6592] ppid=6588 vsize=1388100 CPUtime=0 cores=0,2,4,6
/proc/6591/task/6592/stat : 6592 (toysat) S 6588 6591 5756 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 3883366 1421414400 288251 33554432000 4194304 16246674 140733576417744 140022020812016 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=6591/tid=6593] ppid=6588 vsize=1388100 CPUtime=0 cores=0,2,4,6
/proc/6591/task/6593/stat : 6593 (toysat) S 6588 6591 5756 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 3883366 1421414400 288251 33554432000 4194304 16246674 140733576417744 140022010322160 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=6591/tid=6594] ppid=6588 vsize=1388100 CPUtime=0 cores=0,2,4,6
/proc/6591/task/6594/stat : 6594 (toysat) S 6588 6591 5756 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 4 0 3883366 1421414400 288251 33554432000 4194304 16246674 140733576417744 140021999848624 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1541.9
Current children cumulated vsize (KiB) 1388100

[startup+1602.3 s]
/proc/loadavg: 2.18 2.12 2.08 3/183 6684
/proc/meminfo: memFree=29204236/32872528 swapFree=524788/557492
[pid=6591] ppid=6588 vsize=1388100 CPUtime=1601.88 cores=0,2,4,6
/proc/6591/stat : 6591 (toysat) R 6588 6591 5756 0 -1 4202496 288518 0 0 0 160108 80 0 0 20 0 4 0 3883365 1421414400 288251 33554432000 4194304 16246674 140733576417744 140733576399616 5677572 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/6591/statm: 347025 288251 882 2943 0 343919 0
[pid=6591/tid=6592] ppid=6588 vsize=1388100 CPUtime=0 cores=0,2,4,6
/proc/6591/task/6592/stat : 6592 (toysat) S 6588 6591 5756 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 3883366 1421414400 288251 33554432000 4194304 16246674 140733576417744 140022020812016 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=6591/tid=6593] ppid=6588 vsize=1388100 CPUtime=0 cores=0,2,4,6
/proc/6591/task/6593/stat : 6593 (toysat) S 6588 6591 5756 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 3883366 1421414400 288251 33554432000 4194304 16246674 140733576417744 140022010322160 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=6591/tid=6594] ppid=6588 vsize=1388100 CPUtime=0 cores=0,2,4,6
/proc/6591/task/6594/stat : 6594 (toysat) S 6588 6591 5756 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 4 0 3883366 1421414400 288251 33554432000 4194304 16246674 140733576417744 140021999848624 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1601.88
Current children cumulated vsize (KiB) 1388100

[startup+1662.3 s]
/proc/loadavg: 2.16 2.12 2.09 3/183 6686
/proc/meminfo: memFree=29204168/32872528 swapFree=524788/557492
[pid=6591] ppid=6588 vsize=1388100 CPUtime=1661.87 cores=0,2,4,6
/proc/6591/stat : 6591 (toysat) R 6588 6591 5756 0 -1 4202496 288518 0 0 0 166106 81 0 0 20 0 4 0 3883365 1421414400 288251 33554432000 4194304 16246674 140733576417744 140733576399616 5822964 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/6591/statm: 347025 288251 882 2943 0 343919 0
[pid=6591/tid=6592] ppid=6588 vsize=1388100 CPUtime=0 cores=0,2,4,6
/proc/6591/task/6592/stat : 6592 (toysat) S 6588 6591 5756 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 3883366 1421414400 288251 33554432000 4194304 16246674 140733576417744 140022020812016 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=6591/tid=6593] ppid=6588 vsize=1388100 CPUtime=0 cores=0,2,4,6
/proc/6591/task/6593/stat : 6593 (toysat) S 6588 6591 5756 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 3883366 1421414400 288251 33554432000 4194304 16246674 140733576417744 140022010322160 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=6591/tid=6594] ppid=6588 vsize=1388100 CPUtime=0 cores=0,2,4,6
/proc/6591/task/6594/stat : 6594 (toysat) S 6588 6591 5756 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 4 0 3883366 1421414400 288251 33554432000 4194304 16246674 140733576417744 140021999848624 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1661.87
Current children cumulated vsize (KiB) 1388100

[startup+1722.3 s]
/proc/loadavg: 2.14 2.13 2.09 3/183 6687
/proc/meminfo: memFree=29204628/32872528 swapFree=524788/557492
[pid=6591] ppid=6588 vsize=1388100 CPUtime=1721.86 cores=0,2,4,6
/proc/6591/stat : 6591 (toysat) R 6588 6591 5756 0 -1 4202496 288518 0 0 0 172104 82 0 0 20 0 4 0 3883365 1421414400 288251 33554432000 4194304 16246674 140733576417744 140733576399616 5822604 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/6591/statm: 347025 288251 882 2943 0 343919 0
[pid=6591/tid=6592] ppid=6588 vsize=1388100 CPUtime=0 cores=0,2,4,6
/proc/6591/task/6592/stat : 6592 (toysat) S 6588 6591 5756 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 3883366 1421414400 288251 33554432000 4194304 16246674 140733576417744 140022020812016 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=6591/tid=6593] ppid=6588 vsize=1388100 CPUtime=0 cores=0,2,4,6
/proc/6591/task/6593/stat : 6593 (toysat) S 6588 6591 5756 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 3883366 1421414400 288251 33554432000 4194304 16246674 140733576417744 140022010322160 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=6591/tid=6594] ppid=6588 vsize=1388100 CPUtime=0 cores=0,2,4,6
/proc/6591/task/6594/stat : 6594 (toysat) S 6588 6591 5756 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 4 0 3883366 1421414400 288251 33554432000 4194304 16246674 140733576417744 140021999848624 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1721.86
Current children cumulated vsize (KiB) 1388100

[startup+1782.3 s]
/proc/loadavg: 2.08 2.12 2.09 3/183 6688
/proc/meminfo: memFree=29203928/32872528 swapFree=524788/557492
[pid=6591] ppid=6588 vsize=1388100 CPUtime=1781.86 cores=0,2,4,6
/proc/6591/stat : 6591 (toysat) R 6588 6591 5756 0 -1 4202496 288518 0 0 0 178102 84 0 0 20 0 4 0 3883365 1421414400 288251 33554432000 4194304 16246674 140733576417744 140733576399616 15015658 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/6591/statm: 347025 288251 882 2943 0 343919 0
[pid=6591/tid=6592] ppid=6588 vsize=1388100 CPUtime=0 cores=0,2,4,6
/proc/6591/task/6592/stat : 6592 (toysat) S 6588 6591 5756 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 3883366 1421414400 288251 33554432000 4194304 16246674 140733576417744 140022020812016 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=6591/tid=6593] ppid=6588 vsize=1388100 CPUtime=0 cores=0,2,4,6
/proc/6591/task/6593/stat : 6593 (toysat) S 6588 6591 5756 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 3883366 1421414400 288251 33554432000 4194304 16246674 140733576417744 140022010322160 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=6591/tid=6594] ppid=6588 vsize=1388100 CPUtime=0 cores=0,2,4,6
/proc/6591/task/6594/stat : 6594 (toysat) S 6588 6591 5756 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 4 0 3883366 1421414400 288251 33554432000 4194304 16246674 140733576417744 140021999848624 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1781.86
Current children cumulated vsize (KiB) 1388100



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.5 s]
/proc/loadavg: 2.06 2.11 2.09 3/183 6688
/proc/meminfo: memFree=29203936/32872528 swapFree=524788/557492
[pid=6591] ppid=6588 vsize=1388100 CPUtime=1800.05 cores=0,2,4,6
/proc/6591/stat : 6591 (toysat) R 6588 6591 5756 0 -1 4202496 288518 0 0 0 179921 84 0 0 20 0 4 0 3883365 1421414400 288251 33554432000 4194304 16246674 140733576417744 140733576399616 5822428 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/6591/statm: 347025 288251 882 2943 0 343919 0
[pid=6591/tid=6592] ppid=6588 vsize=1388100 CPUtime=0 cores=0,2,4,6
/proc/6591/task/6592/stat : 6592 (toysat) S 6588 6591 5756 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 3883366 1421414400 288251 33554432000 4194304 16246674 140733576417744 140022020812016 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=6591/tid=6593] ppid=6588 vsize=1388100 CPUtime=0 cores=0,2,4,6
/proc/6591/task/6593/stat : 6593 (toysat) S 6588 6591 5756 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 3883366 1421414400 288251 33554432000 4194304 16246674 140733576417744 140022010322160 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=6591/tid=6594] ppid=6588 vsize=1388100 CPUtime=0 cores=0,2,4,6
/proc/6591/task/6594/stat : 6594 (toysat) S 6588 6591 5756 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 4 0 3883366 1421414400 288251 33554432000 4194304 16246674 140733576417744 140021999848624 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1800.05
Current children cumulated vsize (KiB) 1388100

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

[startup+1800.5 s]
/proc/loadavg: 2.06 2.11 2.09 3/183 6688
/proc/meminfo: memFree=29203936/32872528 swapFree=524788/557492
[pid=6591] ppid=6588 vsize=1388100 CPUtime=1800.05 cores=0,2,4,6
/proc/6591/stat : 6591 (toysat) R 6588 6591 5756 0 -1 4202496 288518 0 0 0 179921 84 0 0 20 0 4 0 3883365 1421414400 288251 33554432000 4194304 16246674 140733576417744 140733576399616 5822428 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/6591/statm: 347025 288251 882 2943 0 343919 0
[pid=6591/tid=6592] ppid=6588 vsize=1388100 CPUtime=0 cores=0,2,4,6
/proc/6591/task/6592/stat : 6592 (toysat) S 6588 6591 5756 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 3883366 1421414400 288251 33554432000 4194304 16246674 140733576417744 140022020812016 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=6591/tid=6593] ppid=6588 vsize=1388100 CPUtime=0 cores=0,2,4,6
/proc/6591/task/6593/stat : 6593 (toysat) S 6588 6591 5756 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 3883366 1421414400 288251 33554432000 4194304 16246674 140733576417744 140022010322160 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=6591/tid=6594] ppid=6588 vsize=1388100 CPUtime=0 cores=0,2,4,6
/proc/6591/task/6594/stat : 6594 (toysat) S 6588 6591 5756 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 4 0 3883366 1421414400 288251 33554432000 4194304 16246674 140733576417744 140021999848624 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1800.05
Current children cumulated vsize (KiB) 1388100

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1800.51
CPU time (s): 1800.07
CPU user time (s): 1799.22
CPU system time (s): 0.846871
CPU usage (%): 99.9753
Max. virtual memory (cumulated for all children) (KiB): 1388100

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.22
system time used= 0.846871
maximum resident set size= 1153004
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 288518
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= 328
involuntary context switches= 1849

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 5.63714 second user time and 7.42087 second system time

The end

Begin job on node106 at 2016-06-15 21:18:52
IDJOB=4088903
IDBENCH=107330
IDSOLVER=2542
FILE ID=node106/4088903-1466018332
RUNJOBID= node106-1466012020-5772
PBS_JOBID= 19902815
Free space on /tmp= 71724 MiB

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

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

MD5SUM BENCH= 0f9806985354c60437f22099d368f65d
RANDOM SEED=685311234

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:        30357856 kB
Buffers:           18296 kB
Cached:            72964 kB
SwapCached:         1480 kB
Active:          1220484 kB
Inactive:          25528 kB
Active(anon):    1155932 kB
Inactive(anon):     1192 kB
Active(file):      64552 kB
Inactive(file):    24336 kB
Unevictable:      557492 kB
Mlocked:          524788 kB
SwapTotal:      67108856 kB
SwapFree:       67099844 kB
Dirty:             16332 kB
Writeback:             0 kB
AnonPages:       1713224 kB
Mapped:            10816 kB
Shmem:                 0 kB
Slab:             576352 kB
SReclaimable:      20576 kB
SUnreclaim:       555776 kB
KernelStack:        1520 kB
PageTables:         7168 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    1853496 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:    714752 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:48:53