0.00/0.00	c 2016-06-16T20:22:15+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-4096029-1466101335.opb"]
0.00/0.01	c use --random-gen="934448288 3032307948 3451338579 2683937428 3802466294 785119207 2127579929 3587244660 2417048114 275593502 3728343111 4270334682 2701184229 3842612669 3797140599 1257727737 3758697435 879982276 4188161124 2385676053 4181368827 1910583207 699651922 3565702539 2503668035 1503371033 2555785728 2418480119 3235269489 3361518948 574559536 2693852710 3980963609 3688326905 3319817332 2035833393 2338796527 2139239498 1209801347 2252461502 1448530466 3194591764 793210648 728701140 1262146633 2159890093 1815756813 3316958333 3568511664 3169187821 2489078130 1900645221 3489955104 2602749638 855842208 1446589602 1993896582 3541594363 739723647 3819566074 542440217 44860257 1592332805 729477371 2496857590 559254064 3549831806 2761610445 2302118699 2723494258 1050870100 2919134494 3868895798 999490996 2543093777 2806155607 2657886434 2014783836 194141164 684404152 245720116 133829240 2507403542 4135939804 1615612348 3279444995 3583601110 3697288000 2254722115 634779975 4048634226 1303138335 2626598592 792358686 133394125 2458611432 3928144999 4163755779 473162312 3175221299 4131916568 3435742852 3277684130 2575544691 13338569 2975205213 3147338151 2415207335 74761950 1450920714 3520113124 853415843 2185924018 3771654127 259634391 2811812323 1444474403 311956765 291005897 1921679119 2816917830 3973741102 3227414091 2981892377 1841961391 4220892922 3112538075 2327165965 3737240426 3005374417 719935999 982742393 4099681513 3661013782 73690083 2646177255 1743057377 63972484 3108734767 627357933 405627064 4125717783 2014413283 1058886538 1846912729 1036665065 938265351 520628571 1920986841 1829825454 2265624964 3868898606 947182620 672326650 3213668035 1250750448 1621783022 830561577 2976964538 1030498349 2418868500 3609299445 2033598029 1019160593 1821313617 929716142 1155672670 1646107734 1586601331 2620696706 2521947123 1071796263 2747428070 3088070644 142789766 179721207 2498551054 4054348869 2369307905 1084673677 1680088297 2241960286 3013191762 1278020739 1075606466 2125444579 3830653629 2120392032 3582895148 2861732573 3380521881 2579885603 4286332519 4134445398 1568959790 886099926 1776998169 1284620937 4244293385 409033407 2714787183 3510063308 2652614828 3631606668 2891319733 1058728744 3762764482 228339066 2077590828 717861260 1831723191 630847072 821773966 3980079675 551768364 3012698282 1659668206 2175419278 945412469 524277081 989405061 1367948670 3529379861 1355985435 49541839 1908967445 2016471161 2743546522 1694110386 1778677508 3926209123 614105936 993760194 4198018853 2151945495 2611920305 2911349877 915458793 3838339104 2247688445 1035985407 689052587 2848804794 704836000 3003805670 2235995576 1434864822 285297606 1175329165 1141850906 1613281965 4228781992 3303155627 4090125973 3881164865 552940005 255 362436" option to reproduce the execution
0.00/0.01	c #vars 141
0.00/0.01	c #constraints 70
0.00/0.01	c Solving starts ...
0.00/0.01	c ============================[ Search Statistics ]============================
0.00/0.01	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
0.00/0.01	c       |         |          |          |    Limit     GC | Var      | Constra 
0.00/0.01	c =============================================================================
0.00/0.01	c  0.0s |       0 |        0 |        0 |       93      0 |        0 |        0
0.00/0.02	c  0.0s |       1 |      152 |      100 |       93      0 |        0 |        0
0.00/0.04	c  0.0s |       2 |      389 |      250 |      103      2 |        0 |        0
0.00/0.06	c  0.1s |       3 |      798 |      475 |      114      5 |        0 |        0
0.09/0.10	c  0.1s |       4 |     1396 |      813 |      126      8 |        0 |        0
0.09/0.16	c  0.1s |       5 |     2177 |     1320 |      139     13 |        0 |        0
0.19/0.23	c  0.2s |       6 |     3279 |     2081 |      169     20 |        0 |        0
0.29/0.36	c  0.4s |       7 |     5733 |     3223 |      186     30 |        0 |        0
0.49/0.55	c  0.5s |       8 |     8098 |     4936 |      205     45 |        0 |        0
0.78/0.81	c  0.8s |       9 |    11728 |     7506 |      226     64 |        0 |        0
1.10/1.17	c  1.2s |      10 |    18590 |    11361 |      249     93 |        0 |        0
1.59/1.61	c  1.6s |      11 |    26346 |    17144 |      274    130 |        0 |        0
2.19/2.26	c  2.2s |      12 |    38432 |    25819 |      302    183 |        0 |        0
3.29/3.35	c  3.3s |      13 |    54917 |    38832 |      333    258 |        0 |        0
4.89/4.92	c  4.9s |      14 |    82146 |    58352 |      367    362 |        0 |        0
6.89/6.92	c  6.9s |      14 |   114589 |    82252 |      367    483 |        0 |        0
7.39/7.41	c  7.4s |      15 |   121285 |    87632 |      404    510 |        0 |        0
9.39/9.41	c  9.4s |      15 |   151909 |   109932 |      404    610 |        0 |        0
11.29/11.36	c 11.3s |      16 |   183662 |   131552 |      445    709 |        0 |        0
13.29/13.36	c 13.4s |      16 |   217683 |   155152 |      445    805 |        0 |        0
15.28/15.37	c 15.4s |      16 |   247410 |   177052 |      445    896 |        0 |        0
17.19/17.28	c 17.3s |      17 |   274423 |   197432 |      490    980 |        0 |        0
19.19/19.29	c 19.3s |      17 |   310116 |   222532 |      490   1073 |        0 |        0
21.19/21.29	c 21.3s |      17 |   339835 |   245032 |      490   1158 |        0 |        0
23.29/23.30	c 23.3s |      17 |   375207 |   269532 |      490   1252 |        0 |        0
25.19/25.30	c 25.3s |      17 |   411119 |   294132 |      490   1346 |        0 |        0
25.40/25.48	c 25.5s |      18 |   414031 |   296252 |      539   1353 |        0 |        0
27.39/27.49	c 27.5s |      18 |   446837 |   320652 |      539   1438 |        0 |        0
29.39/29.49	c 29.5s |      18 |   481777 |   345052 |      539   1524 |        0 |        0
31.39/31.49	c 31.5s |      18 |   514903 |   369452 |      539   1609 |        0 |        0
33.38/33.49	c 33.5s |      18 |   544760 |   392052 |      539   1690 |        0 |        0
35.38/35.49	c 35.5s |      18 |   579257 |   415152 |      539   1771 |        0 |        0
37.39/37.50	c 37.5s |      18 |   612152 |   438152 |      539   1852 |        0 |        0
37.98/38.06	c 38.1s |      19 |   621780 |   444482 |      593   1873 |        0 |        0
39.98/40.07	c 40.1s |      19 |   652196 |   467082 |      593   1946 |        0 |        0
41.98/42.08	c 42.1s |      19 |   679866 |   488082 |      593   2013 |        0 |        0
43.99/44.08	c 44.1s |      19 |   707102 |   508382 |      593   2078 |        0 |        0
45.98/46.09	c 46.1s |      19 |   731997 |   528382 |      593   2141 |        0 |        0
47.98/48.09	c 48.1s |      19 |   761738 |   550282 |      593   2212 |        0 |        0
50.08/50.10	c 50.1s |      19 |   792674 |   572582 |      593   2285 |        0 |        0
52.08/52.10	c 52.1s |      19 |   823104 |   595082 |      593   2357 |        0 |        0
54.08/54.10	c 54.1s |      19 |   854557 |   617882 |      593   2431 |        0 |        0
56.09/56.11	c 56.1s |      19 |   884751 |   640282 |      593   2503 |        0 |        0
58.08/58.11	c 58.1s |      19 |   913302 |   661782 |      593   2573 |        0 |        0
58.58/58.60	c 58.6s |      20 |   919783 |   666827 |      653   2588 |        0 |        0
60.49/60.60	c 60.6s |      20 |   948329 |   686627 |      653   2645 |        0 |        0
62.58/62.60	c 62.6s |      20 |   977487 |   706727 |      653   2704 |        0 |        0
64.58/64.61	c 64.6s |      20 |  1005421 |   726827 |      653   2762 |        0 |        0
66.58/66.62	c 66.6s |      20 |  1030024 |   745927 |      653   2818 |        0 |        0
68.58/68.63	c 68.6s |      20 |  1057550 |   765727 |      653   2876 |        0 |        0
70.57/70.63	c 70.6s |      20 |  1087765 |   786227 |      653   2936 |        0 |        0
72.58/72.64	c 72.6s |      20 |  1114518 |   805327 |      653   2991 |        0 |        0
74.57/74.65	c 74.6s |      20 |  1143797 |   825327 |      653   3050 |        0 |        0
76.57/76.65	c 76.6s |      20 |  1167737 |   843227 |      653   3102 |        0 |        0
78.57/78.66	c 78.6s |      20 |  1192039 |   861727 |      653   3156 |        0 |        0
80.57/80.67	c 80.7s |      20 |  1216009 |   880027 |      653   3209 |        0 |        0
82.58/82.67	c 82.7s |      20 |  1242174 |   899227 |      653   3265 |        0 |        0
84.57/84.68	c 84.7s |      20 |  1271146 |   920127 |      653   3325 |        0 |        0
86.57/86.69	c 86.7s |      20 |  1301618 |   941527 |      653   3387 |        0 |        0
88.57/88.69	c 88.7s |      20 |  1330031 |   962227 |      653   3448 |        0 |        0
90.57/90.69	c 90.7s |      20 |  1354981 |   981327 |      653   3503 |        0 |        0
92.67/92.70	c 92.7s |      20 |  1379167 |  1000027 |      719   3555 |        0 |        0
92.67/92.73	c 92.7s |      21 |  1379632 |  1000345 |      719   3555 |        0 |        0
94.67/94.74	c 94.7s |      21 |  1409393 |  1021545 |      719   3611 |        0 |        0
96.66/96.74	c 96.7s |      21 |  1434620 |  1040645 |      719   3661 |        0 |        0
98.66/98.74	c 98.7s |      21 |  1462944 |  1060345 |      719   3713 |        0 |        0
100.66/100.75	c  100s |      21 |  1489736 |  1079045 |      719   3763 |        0 |        0
102.66/102.75	c  102s |      21 |  1518386 |  1098545 |      719   3815 |        0 |        0
104.66/104.76	c  104s |      21 |  1547064 |  1119045 |      719   3870 |        0 |        0
106.66/106.76	c  106s |      21 |  1573456 |  1138545 |      719   3921 |        0 |        0
108.67/108.77	c  108s |      21 |  1600757 |  1158145 |      719   3973 |        0 |        0
110.67/110.78	c  110s |      21 |  1627254 |  1177545 |      719   4025 |        0 |        0
112.67/112.79	c  112s |      21 |  1653727 |  1197345 |      719   4078 |        0 |        0
114.66/114.79	c  114s |      21 |  1682912 |  1217845 |      719   4132 |        0 |        0
116.67/116.79	c  116s |      21 |  1711367 |  1238345 |      719   4187 |        0 |        0
118.66/118.79	c  118s |      21 |  1736390 |  1257645 |      719   4238 |        0 |        0
120.76/120.80	c  120s |      21 |  1765341 |  1278045 |      719   4292 |        0 |        0
122.76/122.81	c  122s |      21 |  1796818 |  1299345 |      719   4349 |        0 |        0
124.76/124.81	c  124s |      21 |  1828423 |  1320445 |      719   4405 |        0 |        0
126.76/126.81	c  126s |      21 |  1857710 |  1340945 |      719   4460 |        0 |        0
128.76/128.82	c  128s |      21 |  1884308 |  1361145 |      719   4513 |        0 |        0
130.76/130.82	c  130s |      21 |  1913848 |  1382845 |      719   4571 |        0 |        0
132.75/132.83	c  132s |      21 |  1940816 |  1403045 |      719   4625 |        0 |        0
134.75/134.84	c  134s |      21 |  1967906 |  1423145 |      719   4678 |        0 |        0
136.75/136.85	c  136s |      21 |  1997624 |  1443645 |      719   4733 |        0 |        0
138.74/138.85	c  138s |      21 |  2028209 |  1464945 |      719   4790 |        0 |        0
140.75/140.86	c  140s |      21 |  2055074 |  1484045 |      719   4840 |        0 |        0
142.54/142.68	c  142s |      22 |  2077704 |  1500622 |      791   4882 |        0 |        0
144.54/144.69	c  144s |      22 |  2102626 |  1519722 |      791   4927 |        0 |        0
146.54/146.70	c  146s |      22 |  2126586 |  1538622 |      791   4972 |        0 |        0
148.64/148.71	c  148s |      22 |  2150380 |  1556922 |      791   5016 |        0 |        0
150.65/150.71	c  150s |      22 |  2174315 |  1575422 |      791   5060 |        0 |        0
152.64/152.71	c  152s |      22 |  2198521 |  1594422 |      791   5105 |        0 |        0
154.64/154.71	c  154s |      22 |  2224287 |  1613722 |      791   5152 |        0 |        0
156.64/156.72	c  156s |      22 |  2249419 |  1632622 |      791   5197 |        0 |        0
158.64/158.73	c  158s |      22 |  2272314 |  1650922 |      791   5241 |        0 |        0
160.65/160.73	c  160s |      22 |  2296832 |  1669822 |      791   5288 |        0 |        0
162.64/162.73	c  162s |      22 |  2321763 |  1688722 |      791   5333 |        0 |        0
164.64/164.74	c  164s |      22 |  2347312 |  1707922 |      791   5380 |        0 |        0
166.64/166.74	c  166s |      22 |  2371386 |  1726522 |      791   5425 |        0 |        0
168.64/168.74	c  168s |      22 |  2396394 |  1745622 |      791   5472 |        0 |        0
170.64/170.75	c  170s |      22 |  2420034 |  1764622 |      791   5517 |        0 |        0
172.65/172.75	c  172s |      22 |  2447447 |  1784422 |      791   5565 |        0 |        0
174.63/174.76	c  174s |      22 |  2472245 |  1803122 |      791   5611 |        0 |        0
176.63/176.77	c  176s |      22 |  2499475 |  1822722 |      791   5658 |        0 |        0
178.63/178.77	c  178s |      22 |  2529256 |  1843322 |      791   5708 |        0 |        0
180.63/180.77	c  180s |      22 |  2557927 |  1864422 |      791   5760 |        0 |        0
182.64/182.78	c  182s |      22 |  2586597 |  1885222 |      791   5810 |        0 |        0
184.63/184.78	c  184s |      22 |  2613682 |  1904822 |      791   5858 |        0 |        0
186.63/186.78	c  186s |      22 |  2637423 |  1922622 |      791   5901 |        0 |        0
188.63/188.79	c  188s |      22 |  2661424 |  1940722 |      791   5945 |        0 |        0
190.73/190.80	c  190s |      22 |  2686789 |  1959422 |      791   5990 |        0 |        0
192.73/192.80	c  192s |      22 |  2709497 |  1976922 |      791   6032 |        0 |        0
194.74/194.80	c  194s |      22 |  2731245 |  1994322 |      791   6074 |        0 |        0
196.73/196.80	c  196s |      22 |  2753412 |  2011922 |      791   6117 |        0 |        0
198.73/198.81	c  198s |      22 |  2776693 |  2029522 |      791   6159 |        0 |        0
200.73/200.82	c  200s |      22 |  2801595 |  2047922 |      791   6204 |        0 |        0
202.73/202.83	c  202s |      22 |  2826201 |  2066022 |      791   6247 |        0 |        0
204.73/204.84	c  204s |      22 |  2847697 |  2083222 |      791   6289 |        0 |        0
206.73/206.84	c  206s |      22 |  2872152 |  2100722 |      791   6332 |        0 |        0
208.72/208.85	c  208s |      22 |  2896111 |  2118722 |      791   6375 |        0 |        0
210.72/210.86	c  210s |      22 |  2919506 |  2136522 |      791   6419 |        0 |        0
212.72/212.86	c  212s |      22 |  2942372 |  2154022 |      791   6461 |        0 |        0
214.72/214.86	c  214s |      22 |  2965145 |  2171622 |      791   6504 |        0 |        0
216.73/216.87	c  216s |      22 |  2989447 |  2189622 |      791   6548 |        0 |        0
218.72/218.87	c  218s |      22 |  3014171 |  2207922 |      791   6592 |        0 |        0
220.72/220.88	c  220s |      22 |  3037197 |  2225022 |      791   6634 |        0 |        0
222.72/222.88	c  222s |      22 |  3060506 |  2242322 |      871   6674 |        0 |        0
223.82/223.93	c  223s |      23 |  3072622 |  2251038 |      871   6693 |        0 |        0
225.82/225.94	c  225s |      23 |  3097357 |  2269938 |      871   6735 |        0 |        0
227.81/227.95	c  227s |      23 |  3125801 |  2290038 |      871   6779 |        0 |        0
229.82/229.95	c  229s |      23 |  3152897 |  2309138 |      871   6821 |        0 |        0
231.81/231.96	c  231s |      23 |  3179537 |  2328138 |      871   6862 |        0 |        0
233.81/233.96	c  233s |      23 |  3206178 |  2347638 |      871   6906 |        0 |        0
235.81/235.97	c  235s |      23 |  3233020 |  2366638 |      871   6947 |        0 |        0
237.81/237.98	c  237s |      23 |  3259460 |  2385138 |      871   6988 |        0 |        0
239.82/239.99	c  239s |      23 |  3282453 |  2403538 |      871   7027 |        0 |        0
241.82/242.00	c  241s |      23 |  3307561 |  2421838 |      871   7067 |        0 |        0
243.92/244.00	c  243s |      23 |  3330648 |  2439638 |      871   7107 |        0 |        0
245.92/246.00	c  245s |      23 |  3356119 |  2458038 |      871   7147 |        0 |        0
247.92/248.00	c  247s |      23 |  3382451 |  2476438 |      871   7188 |        0 |        0
249.92/250.01	c  249s |      23 |  3410419 |  2495438 |      871   7229 |        0 |        0
251.92/252.02	c  252s |      23 |  3437763 |  2513938 |      871   7271 |        0 |        0
253.91/254.02	c  254s |      23 |  3458605 |  2530138 |      871   7306 |        0 |        0
255.91/256.03	c  256s |      23 |  3482699 |  2547638 |      871   7345 |        0 |        0
257.91/258.03	c  258s |      23 |  3506135 |  2564838 |      871   7383 |        0 |        0
259.91/260.04	c  260s |      23 |  3533087 |  2583638 |      871   7425 |        0 |        0
261.91/262.04	c  262s |      23 |  3557743 |  2601938 |      871   7465 |        0 |        0
263.91/264.05	c  264s |      23 |  3585223 |  2621138 |      871   7508 |        0 |        0
265.91/266.05	c  266s |      23 |  3608709 |  2637938 |      871   7545 |        0 |        0
267.91/268.06	c  268s |      23 |  3636547 |  2656638 |      871   7586 |        0 |        0
269.90/270.07	c  270s |      23 |  3661343 |  2675038 |      871   7627 |        0 |        0
271.90/272.07	c  272s |      23 |  3685774 |  2693038 |      871   7667 |        0 |        0
273.91/274.07	c  274s |      23 |  3707984 |  2710138 |      871   7705 |        0 |        0
275.90/276.08	c  276s |      23 |  3732643 |  2728338 |      871   7745 |        0 |        0
277.90/278.09	c  278s |      23 |  3756625 |  2746238 |      871   7784 |        0 |        0
279.90/280.09	c  280s |      23 |  3780472 |  2763938 |      871   7823 |        0 |        0
282.00/282.10	c  282s |      23 |  3806345 |  2782538 |      871   7864 |        0 |        0
284.00/284.11	c  284s |      23 |  3831966 |  2801038 |      871   7905 |        0 |        0
286.00/286.12	c  286s |      23 |  3857790 |  2819538 |      871   7946 |        0 |        0
288.00/288.12	c  288s |      23 |  3879636 |  2836638 |      871   7984 |        0 |        0
290.00/290.13	c  290s |      23 |  3899957 |  2852938 |      871   8020 |        0 |        0
292.00/292.14	c  292s |      23 |  3923460 |  2870938 |      871   8060 |        0 |        0
294.00/294.15	c  294s |      23 |  3949807 |  2890238 |      871   8102 |        0 |        0
296.00/296.15	c  296s |      23 |  3978827 |  2910238 |      871   8146 |        0 |        0
298.00/298.16	c  298s |      23 |  4005203 |  2928438 |      871   8186 |        0 |        0
299.99/300.16	c  300s |      23 |  4034055 |  2947838 |      871   8229 |        0 |        0
301.99/302.17	c  302s |      23 |  4059514 |  2966638 |      871   8271 |        0 |        0
303.99/304.18	c  304s |      23 |  4085534 |  2985438 |      871   8312 |        0 |        0
305.99/306.19	c  306s |      23 |  4111094 |  3004438 |      871   8354 |        0 |        0
308.00/308.19	c  308s |      23 |  4135647 |  3023138 |      871   8395 |        0 |        0
309.99/310.19	c  310s |      23 |  4158942 |  3040938 |      871   8435 |        0 |        0
312.09/312.20	c  312s |      23 |  4184729 |  3060138 |      871   8477 |        0 |        0
314.09/314.20	c  314s |      23 |  4211982 |  3079138 |      871   8520 |        0 |        0
316.08/316.20	c  316s |      23 |  4237103 |  3097138 |      871   8559 |        0 |        0
318.08/318.21	c  318s |      23 |  4262947 |  3115638 |      871   8600 |        0 |        0
320.09/320.22	c  320s |      23 |  4289355 |  3134138 |      871   8641 |        0 |        0
322.08/322.23	c  322s |      23 |  4314232 |  3151938 |      871   8681 |        0 |        0
324.08/324.23	c  324s |      23 |  4338381 |  3169338 |      871   8720 |        0 |        0
326.08/326.23	c  326s |      23 |  4366411 |  3188238 |      871   8762 |        0 |        0
328.08/328.24	c  328s |      23 |  4393451 |  3207838 |      871   8805 |        0 |        0
330.08/330.24	c  330s |      23 |  4421046 |  3227238 |      871   8848 |        0 |        0
332.08/332.24	c  332s |      23 |  4446949 |  3246338 |      871   8890 |        0 |        0
334.09/334.25	c  334s |      23 |  4467956 |  3263038 |      871   8926 |        0 |        0
336.08/336.25	c  336s |      23 |  4491001 |  3280338 |      871   8964 |        0 |        0
338.08/338.26	c  338s |      23 |  4514427 |  3297738 |      871   9003 |        0 |        0
340.08/340.26	c  340s |      23 |  4538824 |  3315738 |      871   9043 |        0 |        0
342.09/342.27	c  342s |      23 |  4566812 |  3335338 |      871   9086 |        0 |        0
344.08/344.27	c  344s |      23 |  4593563 |  3354338 |      959   9127 |        0 |        0
346.08/346.28	c  346s |      23 |  4619423 |  3372738 |      959   9165 |        0 |        0
346.58/346.75	c  346s |      24 |  4624713 |  3376662 |      959   9173 |        0 |        0
348.58/348.76	c  348s |      24 |  4644889 |  3392862 |      959   9205 |        0 |        0
350.57/350.77	c  350s |      24 |  4666184 |  3408762 |      959   9237 |        0 |        0
352.57/352.79	c  352s |      24 |  4684479 |  3423462 |      959   9267 |        0 |        0
354.57/354.79	c  354s |      24 |  4706069 |  3439862 |      959   9299 |        0 |        0
356.57/356.79	c  356s |      24 |  4728597 |  3456762 |      959   9334 |        0 |        0
358.57/358.80	c  358s |      24 |  4749773 |  3472962 |      959   9366 |        0 |        0
360.56/360.80	c  360s |      24 |  4776109 |  3491162 |      959   9403 |        0 |        0
362.66/362.81	c  362s |      24 |  4802255 |  3509162 |      959   9439 |        0 |        0
364.66/364.81	c  364s |      24 |  4825189 |  3526262 |      959   9474 |        0 |        0
366.66/366.81	c  366s |      24 |  4845165 |  3542062 |      959   9506 |        0 |        0
368.66/368.82	c  368s |      24 |  4869309 |  3559762 |      959   9542 |        0 |        0
370.67/370.82	c  370s |      24 |  4894648 |  3577862 |      959   9578 |        0 |        0
372.66/372.82	c  372s |      24 |  4920679 |  3596262 |      959   9616 |        0 |        0
374.66/374.83	c  374s |      24 |  4945979 |  3613862 |      959   9651 |        0 |        0
376.66/376.84	c  376s |      24 |  4969897 |  3631062 |      959   9686 |        0 |        0
378.65/378.84	c  378s |      24 |  4994226 |  3648862 |      959   9722 |        0 |        0
380.65/380.85	c  380s |      24 |  5017807 |  3666162 |      959   9757 |        0 |        0
382.66/382.86	c  382s |      24 |  5042833 |  3683362 |      959   9792 |        0 |        0
384.65/384.86	c  384s |      24 |  5067371 |  3700562 |      959   9827 |        0 |        0
386.65/386.87	c  386s |      24 |  5090391 |  3717162 |      959   9860 |        0 |        0
388.65/388.87	c  388s |      24 |  5113955 |  3734162 |      959   9895 |        0 |        0
390.65/390.87	c  390s |      24 |  5138869 |  3751162 |      959   9929 |        0 |        0
392.66/392.87	c  392s |      24 |  5160852 |  3767262 |      959   9961 |        0 |        0
394.65/394.88	c  394s |      24 |  5185204 |  3784462 |      959   9996 |        0 |        0
396.65/396.88	c  396s |      24 |  5209570 |  3801562 |      959  10030 |        0 |        0
398.65/398.89	c  398s |      24 |  5232135 |  3818062 |      959  10064 |        0 |        0
400.65/400.89	c  400s |      24 |  5253027 |  3833762 |      959  10096 |        0 |        0
402.75/402.90	c  402s |      24 |  5275451 |  3850362 |      959  10129 |        0 |        0
404.75/404.91	c  404s |      24 |  5295874 |  3866662 |      959  10162 |        0 |        0
406.74/406.91	c  406s |      24 |  5315639 |  3882262 |      959  10193 |        0 |        0
408.74/408.93	c  408s |      24 |  5337230 |  3898562 |      959  10226 |        0 |        0
410.74/410.93	c  410s |      24 |  5357992 |  3914462 |      959  10258 |        0 |        0
412.74/412.94	c  412s |      24 |  5381388 |  3931262 |      959  10292 |        0 |        0
414.73/414.95	c  414s |      24 |  5401425 |  3946562 |      959  10322 |        0 |        0
416.74/416.95	c  416s |      24 |  5422271 |  3962162 |      959  10354 |        0 |        0
418.73/418.96	c  418s |      24 |  5443484 |  3978362 |      959  10386 |        0 |        0
420.73/420.97	c  420s |      24 |  5462993 |  3993962 |      959  10417 |        0 |        0
422.73/422.97	c  422s |      24 |  5482948 |  4009662 |      959  10449 |        0 |        0
424.73/424.98	c  424s |      24 |  5499383 |  4023562 |      959  10477 |        0 |        0
426.74/426.99	c  426s |      24 |  5522014 |  4040162 |      959  10510 |        0 |        0
428.73/429.00	c  428s |      24 |  5545442 |  4057162 |      959  10545 |        0 |        0
430.83/431.01	c  431s |      24 |  5566163 |  4073162 |      959  10577 |        0 |        0
432.83/433.02	c  433s |      24 |  5586681 |  4089462 |      959  10610 |        0 |        0
434.82/435.03	c  435s |      24 |  5607094 |  4105462 |      959  10642 |        0 |        0
436.82/437.04	c  437s |      24 |  5628519 |  4121662 |      959  10675 |        0 |        0
438.83/439.05	c  439s |      24 |  5648095 |  4137062 |      959  10706 |        0 |        0
440.82/441.05	c  441s |      24 |  5668740 |  4152962 |      959  10738 |        0 |        0
442.82/443.06	c  443s |      24 |  5692137 |  4170262 |      959  10773 |        0 |        0
444.82/445.07	c  445s |      24 |  5713143 |  4186462 |      959  10806 |        0 |        0
446.82/447.07	c  447s |      24 |  5737339 |  4204362 |      959  10842 |        0 |        0
448.82/449.08	c  449s |      24 |  5758117 |  4220562 |      959  10875 |        0 |        0
450.82/451.08	c  451s |      24 |  5780799 |  4237762 |      959  10909 |        0 |        0
452.92/453.10	c  453s |      24 |  5804536 |  4255062 |      959  10945 |        0 |        0
454.92/455.11	c  455s |      24 |  5825506 |  4271362 |      959  10977 |        0 |        0
456.92/457.11	c  457s |      24 |  5846511 |  4286962 |      959  11009 |        0 |        0
458.92/459.11	c  459s |      24 |  5866168 |  4302762 |      959  11041 |        0 |        0
460.92/461.12	c  461s |      24 |  5888430 |  4319462 |      959  11075 |        0 |        0
462.92/463.12	c  463s |      24 |  5911107 |  4336462 |      959  11109 |        0 |        0
464.91/465.13	c  465s |      24 |  5934375 |  4353362 |      959  11143 |        0 |        0
466.91/467.13	c  467s |      24 |  5957612 |  4369862 |      959  11177 |        0 |        0
468.91/469.14	c  469s |      24 |  5983428 |  4387762 |      959  11213 |        0 |        0
470.91/471.15	c  471s |      24 |  6007739 |  4405162 |      959  11248 |        0 |        0
472.92/473.15	c  473s |      24 |  6031267 |  4422162 |      959  11282 |        0 |        0
474.90/475.16	c  475s |      24 |  6054119 |  4438662 |      959  11315 |        0 |        0
476.90/477.17	c  477s |      24 |  6076759 |  4455162 |      959  11348 |        0 |        0
478.90/479.18	c  479s |      24 |  6097342 |  4471462 |      959  11381 |        0 |        0
481.00/481.20	c  481s |      24 |  6117928 |  4487462 |      959  11412 |        0 |        0
483.00/483.20	c  483s |      24 |  6138537 |  4503262 |      959  11444 |        0 |        0
485.01/485.21	c  485s |      24 |  6162068 |  4520762 |      959  11479 |        0 |        0
487.00/487.22	c  487s |      24 |  6186342 |  4538162 |      959  11515 |        0 |        0
489.00/489.22	c  489s |      24 |  6208120 |  4554262 |      959  11547 |        0 |        0
491.00/491.23	c  491s |      24 |  6232120 |  4572062 |      959  11583 |        0 |        0
493.00/493.24	c  493s |      24 |  6255911 |  4589462 |      959  11618 |        0 |        0
494.99/495.24	c  495s |      24 |  6282634 |  4607962 |      959  11656 |        0 |        0
497.00/497.24	c  497s |      24 |  6304836 |  4624462 |      959  11689 |        0 |        0
498.99/499.25	c  499s |      24 |  6330616 |  4641962 |      959  11724 |        0 |        0
500.99/501.26	c  501s |      24 |  6351913 |  4657862 |      959  11756 |        0 |        0
502.99/503.26	c  503s |      24 |  6373639 |  4673862 |      959  11788 |        0 |        0
504.98/505.27	c  505s |      24 |  6398363 |  4691362 |      959  11824 |        0 |        0
507.00/507.27	c  507s |      24 |  6423577 |  4709062 |      959  11859 |        0 |        0
508.99/509.27	c  509s |      24 |  6445996 |  4726262 |      959  11894 |        0 |        0
510.99/511.28	c  511s |      24 |  6467474 |  4742962 |      959  11928 |        0 |        0
512.99/513.29	c  513s |      24 |  6495049 |  4761362 |      959  11965 |        0 |        0
515.08/515.30	c  515s |      24 |  6524461 |  4780262 |      959  12003 |        0 |        0
517.08/517.30	c  517s |      24 |  6550166 |  4798862 |      959  12040 |        0 |        0
519.09/519.31	c  519s |      24 |  6575894 |  4816962 |      959  12077 |        0 |        0
521.08/521.31	c  521s |      24 |  6601646 |  4835362 |      959  12114 |        0 |        0
523.08/523.32	c  523s |      24 |  6626741 |  4853762 |      959  12151 |        0 |        0
525.07/525.33	c  525s |      24 |  6651017 |  4871962 |      959  12188 |        0 |        0
527.07/527.33	c  527s |      24 |  6676292 |  4890762 |      959  12226 |        0 |        0
529.07/529.34	c  529s |      24 |  6701812 |  4910062 |      959  12264 |        0 |        0
531.08/531.35	c  531s |      24 |  6723543 |  4927362 |      959  12299 |        0 |        0
533.07/533.36	c  533s |      24 |  6747149 |  4945562 |      959  12336 |        0 |        0
535.07/535.36	c  535s |      24 |  6770297 |  4962962 |      959  12371 |        0 |        0
537.07/537.37	c  537s |      24 |  6795188 |  4981262 |      959  12407 |        0 |        0
539.07/539.37	c  539s |      24 |  6821026 |  5000062 |      959  12444 |        0 |        0
541.07/541.38	c  541s |      24 |  6846570 |  5018262 |      959  12480 |        0 |        0
543.07/543.38	c  543s |      24 |  6870399 |  5036462 |     1055  12515 |        0 |        0
545.07/545.39	c  545s |      24 |  6895330 |  5054462 |     1055  12548 |        0 |        0
546.27/546.54	c  546s |      25 |  6910428 |  5065098 |     1055  12568 |        0 |        0
548.27/548.54	c  548s |      25 |  6933248 |  5082798 |     1055  12599 |        0 |        0
550.27/550.54	c  550s |      25 |  6956921 |  5101098 |     1055  12632 |        0 |        0
552.27/552.55	c  552s |      25 |  6980734 |  5119498 |     1055  12666 |        0 |        0
554.27/554.55	c  554s |      25 |  7004004 |  5137998 |     1055  12699 |        0 |        0
556.26/556.56	c  556s |      25 |  7027684 |  5156698 |     1055  12734 |        0 |        0
558.26/558.56	c  558s |      25 |  7051389 |  5174698 |     1055  12767 |        0 |        0
560.26/560.57	c  560s |      25 |  7075104 |  5192698 |     1055  12800 |        0 |        0
562.26/562.58	c  562s |      25 |  7098839 |  5210998 |     1055  12833 |        0 |        0
564.26/564.59	c  564s |      25 |  7122910 |  5229698 |     1055  12868 |        0 |        0
566.26/566.59	c  566s |      25 |  7147536 |  5248398 |     1055  12903 |        0 |        0
568.25/568.60	c  568s |      25 |  7171418 |  5266898 |     1055  12936 |        0 |        0
570.35/570.60	c  570s |      25 |  7196203 |  5285498 |     1055  12971 |        0 |        0
572.35/572.61	c  572s |      25 |  7221356 |  5304698 |     1055  13006 |        0 |        0
574.35/574.61	c  574s |      25 |  7245692 |  5323298 |     1055  13039 |        0 |        0
576.34/576.62	c  576s |      25 |  7268336 |  5341398 |     1055  13072 |        0 |        0
578.35/578.62	c  578s |      25 |  7291179 |  5359098 |     1055  13105 |        0 |        0
580.34/580.63	c  580s |      25 |  7311167 |  5374998 |     1055  13134 |        0 |        0
582.34/582.64	c  582s |      25 |  7331733 |  5391598 |     1055  13164 |        0 |        0
584.34/584.64	c  584s |      25 |  7352871 |  5408498 |     1055  13195 |        0 |        0
586.34/586.65	c  586s |      25 |  7373566 |  5425098 |     1055  13225 |        0 |        0
588.34/588.65	c  588s |      25 |  7395764 |  5442598 |     1055  13257 |        0 |        0
590.34/590.66	c  590s |      25 |  7420049 |  5461298 |     1055  13291 |        0 |        0
592.34/592.66	c  592s |      25 |  7444130 |  5479898 |     1055  13324 |        0 |        0
594.34/594.67	c  594s |      25 |  7468935 |  5498898 |     1055  13359 |        0 |        0
596.33/596.67	c  596s |      25 |  7491850 |  5516998 |     1055  13393 |        0 |        0
598.33/598.68	c  598s |      25 |  7515377 |  5535398 |     1055  13427 |        0 |        0
600.34/600.68	c  600s |      25 |  7538693 |  5553498 |     1055  13460 |        0 |        0
602.44/602.70	c  602s |      25 |  7562200 |  5571798 |     1055  13494 |        0 |        0
604.44/604.71	c  604s |      25 |  7585724 |  5590198 |     1055  13527 |        0 |        0
606.43/606.72	c  606s |      25 |  7608549 |  5608298 |     1055  13561 |        0 |        0
608.43/608.73	c  608s |      25 |  7632824 |  5626898 |     1055  13595 |        0 |        0
610.43/610.73	c  610s |      25 |  7655866 |  5644998 |     1055  13628 |        0 |        0
612.44/612.73	c  612s |      25 |  7679130 |  5663598 |     1055  13663 |        0 |        0
614.43/614.75	c  614s |      25 |  7704011 |  5683098 |     1055  13698 |        0 |        0
616.43/616.76	c  616s |      25 |  7730299 |  5702398 |     1055  13734 |        0 |        0
618.43/618.77	c  618s |      25 |  7755804 |  5721498 |     1055  13769 |        0 |        0
620.42/620.78	c  620s |      25 |  7781012 |  5740098 |     1055  13803 |        0 |        0
622.43/622.78	c  622s |      25 |  7805273 |  5758498 |     1055  13837 |        0 |        0
624.42/624.78	c  624s |      25 |  7829664 |  5776798 |     1055  13871 |        0 |        0
626.42/626.79	c  626s |      25 |  7851820 |  5793598 |     1055  13902 |        0 |        0
628.52/628.80	c  628s |      25 |  7875023 |  5811198 |     1055  13935 |        0 |        0
630.52/630.81	c  630s |      25 |  7899614 |  5829498 |     1055  13968 |        0 |        0
632.51/632.82	c  632s |      25 |  7922929 |  5847298 |     1055  14001 |        0 |        0
634.51/634.82	c  634s |      25 |  7947515 |  5865398 |     1055  14034 |        0 |        0
636.52/636.83	c  636s |      25 |  7971308 |  5883798 |     1055  14068 |        0 |        0
638.52/638.84	c  638s |      25 |  7995572 |  5902598 |     1055  14102 |        0 |        0
640.51/640.85	c  640s |      25 |  8019171 |  5921098 |     1055  14136 |        0 |        0
642.51/642.85	c  642s |      25 |  8044220 |  5939898 |     1055  14171 |        0 |        0
644.51/644.86	c  644s |      25 |  8068864 |  5958398 |     1055  14205 |        0 |        0
646.52/646.86	c  646s |      25 |  8093407 |  5976798 |     1055  14239 |        0 |        0
648.51/648.87	c  648s |      25 |  8118576 |  5995698 |     1055  14274 |        0 |        0
650.51/650.87	c  650s |      25 |  8142124 |  6013798 |     1055  14307 |        0 |        0
652.51/652.88	c  652s |      25 |  8166643 |  6032798 |     1055  14342 |        0 |        0
654.50/654.89	c  654s |      25 |  8191311 |  6051698 |     1055  14376 |        0 |        0
656.51/656.89	c  656s |      25 |  8214385 |  6069598 |     1055  14408 |        0 |        0
658.50/658.90	c  658s |      25 |  8237310 |  6087398 |     1055  14441 |        0 |        0
660.60/660.91	c  660s |      25 |  8259487 |  6104798 |     1055  14472 |        0 |        0
662.60/662.92	c  662s |      25 |  8282897 |  6122598 |     1055  14504 |        0 |        0
664.60/664.92	c  664s |      25 |  8306077 |  6140298 |     1055  14536 |        0 |        0
666.60/666.93	c  666s |      25 |  8329930 |  6158398 |     1055  14569 |        0 |        0
668.61/668.94	c  668s |      25 |  8353805 |  6176598 |     1055  14603 |        0 |        0
670.60/670.94	c  670s |      25 |  8376960 |  6193798 |     1055  14634 |        0 |        0
672.60/672.94	c  672s |      25 |  8400579 |  6211698 |     1055  14667 |        0 |        0
674.60/674.94	c  674s |      25 |  8424265 |  6229698 |     1055  14700 |        0 |        0
676.60/676.95	c  676s |      25 |  8449143 |  6248298 |     1055  14734 |        0 |        0
678.59/678.95	c  678s |      25 |  8472745 |  6265798 |     1055  14767 |        0 |        0
680.60/680.97	c  680s |      25 |  8494595 |  6282598 |     1055  14798 |        0 |        0
682.59/682.98	c  682s |      25 |  8516738 |  6299798 |     1055  14829 |        0 |        0
684.59/684.99	c  684s |      25 |  8541623 |  6318498 |     1055  14864 |        0 |        0
686.59/686.99	c  686s |      25 |  8565138 |  6336398 |     1055  14896 |        0 |        0
688.59/689.00	c  688s |      25 |  8588296 |  6354198 |     1055  14929 |        0 |        0
690.69/691.00	c  690s |      25 |  8612303 |  6372598 |     1055  14963 |        0 |        0
692.59/693.00	c  692s |      25 |  8636512 |  6390498 |     1055  14995 |        0 |        0
694.69/695.01	c  694s |      25 |  8660898 |  6408698 |     1055  15029 |        0 |        0
696.69/697.02	c  697s |      25 |  8684972 |  6427298 |     1055  15063 |        0 |        0
698.69/699.02	c  699s |      25 |  8707804 |  6444798 |     1055  15095 |        0 |        0
700.69/701.03	c  701s |      25 |  8732270 |  6462598 |     1055  15128 |        0 |        0
702.70/703.04	c  703s |      25 |  8757149 |  6480998 |     1055  15162 |        0 |        0
704.69/705.04	c  705s |      25 |  8778733 |  6497698 |     1055  15193 |        0 |        0
706.69/707.05	c  707s |      25 |  8800608 |  6514498 |     1055  15224 |        0 |        0
708.69/709.05	c  709s |      25 |  8823121 |  6531498 |     1055  15255 |        0 |        0
710.69/711.06	c  711s |      25 |  8847761 |  6549698 |     1055  15289 |        0 |        0
712.69/713.06	c  713s |      25 |  8873726 |  6568798 |     1055  15324 |        0 |        0
714.70/715.07	c  715s |      25 |  8898820 |  6586998 |     1055  15358 |        0 |        0
716.69/717.07	c  717s |      25 |  8920089 |  6603198 |     1055  15388 |        0 |        0
718.69/719.08	c  719s |      25 |  8943901 |  6620498 |     1055  15420 |        0 |        0
720.69/721.08	c  721s |      25 |  8971017 |  6639698 |     1055  15456 |        0 |        0
722.69/723.09	c  723s |      25 |  8995884 |  6658598 |     1055  15491 |        0 |        0
724.69/725.09	c  725s |      25 |  9020074 |  6676598 |     1055  15524 |        0 |        0
726.68/727.10	c  727s |      25 |  9042453 |  6693898 |     1055  15556 |        0 |        0
728.78/729.11	c  729s |      25 |  9064873 |  6710798 |     1055  15587 |        0 |        0
730.78/731.12	c  731s |      25 |  9088812 |  6728898 |     1055  15620 |        0 |        0
732.78/733.12	c  733s |      25 |  9113709 |  6746898 |     1055  15653 |        0 |        0
734.78/735.12	c  735s |      25 |  9138002 |  6765598 |     1055  15688 |        0 |        0
736.79/737.12	c  737s |      25 |  9162821 |  6784198 |     1055  15722 |        0 |        0
738.78/739.12	c  739s |      25 |  9185579 |  6802098 |     1055  15755 |        0 |        0
740.78/741.13	c  741s |      25 |  9209622 |  6820598 |     1055  15790 |        0 |        0
742.78/743.14	c  743s |      25 |  9234301 |  6839098 |     1055  15824 |        0 |        0
744.78/745.14	c  745s |      25 |  9257661 |  6857298 |     1055  15858 |        0 |        0
746.78/747.15	c  747s |      25 |  9279366 |  6874498 |     1055  15889 |        0 |        0
748.78/749.15	c  749s |      25 |  9303749 |  6892898 |     1055  15924 |        0 |        0
750.79/751.16	c  751s |      25 |  9328645 |  6911298 |     1055  15957 |        0 |        0
752.79/753.16	c  753s |      25 |  9354646 |  6929998 |     1055  15992 |        0 |        0
754.79/755.17	c  755s |      25 |  9378222 |  6948398 |     1055  16025 |        0 |        0
756.79/757.17	c  757s |      25 |  9403252 |  6966798 |     1055  16059 |        0 |        0
758.79/759.17	c  759s |      25 |  9425513 |  6983598 |     1055  16090 |        0 |        0
760.79/761.18	c  761s |      25 |  9446251 |  6999898 |     1055  16120 |        0 |        0
762.79/763.18	c  763s |      25 |  9470146 |  7018298 |     1055  16154 |        0 |        0
764.78/765.19	c  765s |      25 |  9494636 |  7036398 |     1055  16188 |        0 |        0
766.78/767.20	c  767s |      25 |  9519357 |  7053998 |     1055  16220 |        0 |        0
768.88/769.20	c  769s |      25 |  9541437 |  7070598 |     1055  16251 |        0 |        0
770.79/771.20	c  771s |      25 |  9564086 |  7087398 |     1055  16282 |        0 |        0
772.88/773.20	c  773s |      25 |  9585064 |  7103398 |     1055  16311 |        0 |        0
774.88/775.20	c  775s |      25 |  9608011 |  7120298 |     1055  16342 |        0 |        0
776.88/777.20	c  777s |      25 |  9632442 |  7137898 |     1055  16375 |        0 |        0
778.88/779.21	c  779s |      25 |  9657253 |  7155998 |     1055  16408 |        0 |        0
780.88/781.22	c  781s |      25 |  9682211 |  7174698 |     1055  16443 |        0 |        0
782.89/783.22	c  783s |      25 |  9708255 |  7193198 |     1055  16477 |        0 |        0
784.88/785.22	c  785s |      25 |  9732634 |  7211098 |     1055  16510 |        0 |        0
786.88/787.23	c  787s |      25 |  9755329 |  7227798 |     1055  16541 |        0 |        0
788.88/789.24	c  789s |      25 |  9779004 |  7244498 |     1055  16572 |        0 |        0
790.88/791.25	c  791s |      25 |  9799930 |  7259998 |     1055  16601 |        0 |        0
792.88/793.26	c  793s |      25 |  9822088 |  7276798 |     1055  16632 |        0 |        0
794.88/795.26	c  795s |      25 |  9846258 |  7293798 |     1055  16663 |        0 |        0
796.87/797.27	c  797s |      25 |  9868683 |  7310498 |     1055  16694 |        0 |        0
798.87/799.28	c  799s |      25 |  9891950 |  7327298 |     1055  16725 |        0 |        0
800.87/801.29	c  801s |      25 |  9914192 |  7343798 |     1055  16756 |        0 |        0
802.97/803.30	c  803s |      25 |  9936138 |  7360098 |     1055  16786 |        0 |        0
804.98/805.31	c  805s |      25 |  9957660 |  7376098 |     1055  16816 |        0 |        0
806.97/807.31	c  807s |      25 |  9980214 |  7392698 |     1055  16846 |        0 |        0
808.97/809.32	c  809s |      25 | 10000992 |  7408698 |     1055  16876 |        0 |        0
810.97/811.33	c  811s |      25 | 10023443 |  7425198 |     1055  16907 |        0 |        0
812.97/813.34	c  813s |      25 | 10045951 |  7441698 |     1055  16937 |        0 |        0
814.97/815.34	c  815s |      25 | 10067577 |  7457998 |     1055  16968 |        0 |        0
816.97/817.35	c  817s |      25 | 10090455 |  7474698 |     1055  16999 |        0 |        0
818.97/819.36	c  819s |      25 | 10112133 |  7490698 |     1055  17028 |        0 |        0
820.97/821.37	c  821s |      25 | 10133125 |  7506698 |     1055  17058 |        0 |        0
822.97/823.37	c  823s |      25 | 10154299 |  7522898 |     1055  17088 |        0 |        0
824.97/825.37	c  825s |      25 | 10176993 |  7539698 |     1055  17119 |        0 |        0
826.97/827.38	c  827s |      25 | 10200799 |  7556498 |     1161  17148 |        0 |        0
828.97/829.38	c  829s |      25 | 10227030 |  7574398 |     1161  17178 |        0 |        0
830.97/831.38	c  831s |      25 | 10250808 |  7591598 |     1161  17207 |        0 |        0
831.77/832.16	c  832s |      26 | 10258913 |  7597752 |     1161  17217 |        0 |        0
833.77/834.16	c  834s |      26 | 10281034 |  7613652 |     1161  17244 |        0 |        0
835.77/836.18	c  836s |      26 | 10303531 |  7629652 |     1161  17270 |        0 |        0
837.77/838.18	c  838s |      26 | 10326286 |  7645552 |     1161  17297 |        0 |        0
839.77/840.19	c  840s |      26 | 10350262 |  7662052 |     1161  17325 |        0 |        0
841.77/842.19	c  842s |      26 | 10373722 |  7678852 |     1161  17353 |        0 |        0
843.87/844.20	c  844s |      26 | 10396259 |  7695352 |     1161  17381 |        0 |        0
845.87/846.20	c  846s |      26 | 10416644 |  7710752 |     1161  17407 |        0 |        0
847.88/848.21	c  848s |      26 | 10440287 |  7727652 |     1161  17435 |        0 |        0
849.87/850.23	c  850s |      26 | 10463148 |  7744052 |     1161  17463 |        0 |        0
851.87/852.23	c  852s |      26 | 10483056 |  7759152 |     1161  17488 |        0 |        0
853.87/854.24	c  854s |      26 | 10505461 |  7775252 |     1161  17515 |        0 |        0
855.87/856.25	c  856s |      26 | 10529040 |  7791752 |     1161  17543 |        0 |        0
857.87/858.26	c  858s |      26 | 10552741 |  7808152 |     1161  17570 |        0 |        0
859.88/860.27	c  860s |      26 | 10576615 |  7824952 |     1161  17598 |        0 |        0
861.87/862.28	c  862s |      26 | 10600401 |  7841752 |     1161  17627 |        0 |        0
863.87/864.28	c  864s |      26 | 10625245 |  7858652 |     1161  17655 |        0 |        0
865.87/866.28	c  866s |      26 | 10648305 |  7875352 |     1161  17683 |        0 |        0
867.87/868.29	c  868s |      26 | 10671820 |  7892152 |     1161  17711 |        0 |        0
869.87/870.29	c  870s |      26 | 10695451 |  7908952 |     1161  17740 |        0 |        0
871.86/872.30	c  872s |      26 | 10719605 |  7925752 |     1161  17768 |        0 |        0
873.96/874.31	c  874s |      26 | 10740858 |  7941352 |     1161  17794 |        0 |        0
875.96/876.31	c  876s |      26 | 10763894 |  7957552 |     1161  17821 |        0 |        0
877.96/878.32	c  878s |      26 | 10789007 |  7974452 |     1161  17849 |        0 |        0
879.96/880.32	c  880s |      26 | 10813170 |  7991452 |     1161  17878 |        0 |        0
881.97/882.33	c  882s |      26 | 10835705 |  8007952 |     1161  17906 |        0 |        0
883.96/884.34	c  884s |      26 | 10858059 |  8024152 |     1161  17933 |        0 |        0
885.96/886.35	c  886s |      26 | 10881449 |  8040652 |     1161  17961 |        0 |        0
887.96/888.36	c  888s |      26 | 10903633 |  8056852 |     1161  17988 |        0 |        0
889.96/890.37	c  890s |      26 | 10923125 |  8072452 |     1161  18014 |        0 |        0
891.96/892.38	c  892s |      26 | 10944205 |  8088652 |     1161  18041 |        0 |        0
893.97/894.38	c  894s |      26 | 10966459 |  8105152 |     1161  18068 |        0 |        0
895.96/896.38	c  896s |      26 | 10987572 |  8121452 |     1161  18096 |        0 |        0
897.96/898.38	c  898s |      26 | 11008326 |  8137052 |     1161  18122 |        0 |        0
899.96/900.39	c  900s |      26 | 11031867 |  8153752 |     1161  18151 |        0 |        0
901.96/902.39	c  902s |      26 | 11053194 |  8169752 |     1161  18178 |        0 |        0
904.05/904.40	c  904s |      26 | 11076539 |  8186652 |     1161  18206 |        0 |        0
906.07/906.41	c  906s |      26 | 11098365 |  8202952 |     1161  18233 |        0 |        0
908.06/908.41	c  908s |      26 | 11119645 |  8218752 |     1161  18260 |        0 |        0
910.06/910.42	c  910s |      26 | 11141322 |  8234852 |     1161  18286 |        0 |        0
912.06/912.42	c  912s |      26 | 11160172 |  8249752 |     1161  18311 |        0 |        0
914.06/914.43	c  914s |      26 | 11178410 |  8264152 |     1161  18335 |        0 |        0
916.07/916.44	c  916s |      26 | 11196366 |  8278752 |     1161  18359 |        0 |        0
918.06/918.45	c  918s |      26 | 11214221 |  8292752 |     1161  18383 |        0 |        0
920.06/920.45	c  920s |      26 | 11233856 |  8307752 |     1161  18407 |        0 |        0
922.06/922.46	c  922s |      26 | 11253364 |  8322652 |     1161  18432 |        0 |        0
924.06/924.47	c  924s |      26 | 11277248 |  8338852 |     1161  18459 |        0 |        0
926.06/926.47	c  926s |      26 | 11301776 |  8355952 |     1161  18488 |        0 |        0
928.06/928.48	c  928s |      26 | 11326670 |  8373852 |     1161  18518 |        0 |        0
930.06/930.49	c  930s |      26 | 11345857 |  8389052 |     1161  18543 |        0 |        0
932.16/932.50	c  932s |      26 | 11367521 |  8405352 |     1161  18571 |        0 |        0
934.16/934.50	c  934s |      26 | 11390268 |  8422352 |     1161  18599 |        0 |        0
936.16/936.50	c  936s |      26 | 11413098 |  8438152 |     1161  18626 |        0 |        0
938.16/938.51	c  938s |      26 | 11437686 |  8455052 |     1161  18654 |        0 |        0
940.16/940.51	c  940s |      26 | 11460708 |  8471552 |     1161  18682 |        0 |        0
942.15/942.52	c  942s |      26 | 11483462 |  8487752 |     1161  18709 |        0 |        0
944.15/944.54	c  944s |      26 | 11505451 |  8503452 |     1161  18736 |        0 |        0
946.15/946.54	c  946s |      26 | 11527126 |  8519452 |     1161  18762 |        0 |        0
948.15/948.55	c  948s |      26 | 11549015 |  8535352 |     1161  18789 |        0 |        0
950.16/950.56	c  950s |      26 | 11570329 |  8551052 |     1161  18816 |        0 |        0
952.15/952.56	c  952s |      26 | 11594625 |  8568252 |     1161  18844 |        0 |        0
954.15/954.57	c  954s |      26 | 11615906 |  8583952 |     1161  18870 |        0 |        0
956.15/956.58	c  956s |      26 | 11634027 |  8598252 |     1161  18894 |        0 |        0
958.15/958.58	c  958s |      26 | 11654018 |  8613652 |     1161  18920 |        0 |        0
960.15/960.58	c  960s |      26 | 11675222 |  8629152 |     1161  18945 |        0 |        0
962.16/962.59	c  962s |      26 | 11699835 |  8646352 |     1161  18974 |        0 |        0
964.25/964.60	c  964s |      26 | 11720204 |  8661952 |     1161  19000 |        0 |        0
966.25/966.60	c  966s |      26 | 11740254 |  8677252 |     1161  19026 |        0 |        0
968.25/968.61	c  968s |      26 | 11761125 |  8692952 |     1161  19052 |        0 |        0
970.25/970.62	c  970s |      26 | 11783844 |  8709252 |     1161  19080 |        0 |        0
972.25/972.63	c  972s |      26 | 11804374 |  8724852 |     1161  19106 |        0 |        0
974.25/974.63	c  974s |      26 | 11825134 |  8739852 |     1161  19131 |        0 |        0
976.24/976.65	c  976s |      26 | 11849424 |  8756752 |     1161  19159 |        0 |        0
978.24/978.66	c  978s |      26 | 11873390 |  8773852 |     1161  19188 |        0 |        0
980.24/980.66	c  980s |      26 | 11895693 |  8790352 |     1161  19216 |        0 |        0
982.24/982.66	c  982s |      26 | 11918264 |  8806552 |     1161  19243 |        0 |        0
984.25/984.68	c  984s |      26 | 11940943 |  8823052 |     1161  19271 |        0 |        0
986.24/986.68	c  986s |      26 | 11963816 |  8839952 |     1161  19299 |        0 |        0
988.25/988.69	c  988s |      26 | 11985888 |  8856252 |     1161  19326 |        0 |        0
990.25/990.69	c  990s |      26 | 12008540 |  8872752 |     1161  19354 |        0 |        0
992.35/992.71	c  992s |      26 | 12031899 |  8889752 |     1161  19383 |        0 |        0
994.35/994.72	c  994s |      26 | 12051638 |  8905052 |     1161  19408 |        0 |        0
996.36/996.72	c  996s |      26 | 12072875 |  8921352 |     1161  19436 |        0 |        0
998.35/998.74	c  998s |      26 | 12094292 |  8937152 |     1161  19463 |        0 |        0
1000.35/1000.74	c 1000s |      26 | 12116209 |  8953052 |     1161  19489 |        0 |        0
1002.35/1002.75	c 1002s |      26 | 12138762 |  8969352 |     1161  19516 |        0 |        0
1004.35/1004.75	c 1004s |      26 | 12160404 |  8985252 |     1161  19543 |        0 |        0
1006.34/1006.76	c 1006s |      26 | 12182687 |  9001552 |     1161  19570 |        0 |        0
1008.35/1008.77	c 1008s |      26 | 12204113 |  9017452 |     1161  19597 |        0 |        0
1010.34/1010.77	c 1010s |      26 | 12224373 |  9033052 |     1161  19624 |        0 |        0
1012.34/1012.78	c 1012s |      26 | 12245265 |  9048552 |     1161  19650 |        0 |        0
1014.34/1014.79	c 1014s |      26 | 12268939 |  9064952 |     1161  19677 |        0 |        0
1016.44/1016.80	c 1016s |      26 | 12293859 |  9081752 |     1161  19705 |        0 |        0
1018.44/1018.80	c 1018s |      26 | 12319434 |  9098852 |     1161  19734 |        0 |        0
1020.45/1020.81	c 1020s |      26 | 12346866 |  9116952 |     1161  19765 |        0 |        0
1022.44/1022.81	c 1022s |      26 | 12371949 |  9134252 |     1161  19794 |        0 |        0
1024.44/1024.81	c 1024s |      26 | 12395363 |  9150652 |     1161  19822 |        0 |        0
1026.44/1026.81	c 1026s |      26 | 12419658 |  9168052 |     1161  19851 |        0 |        0
1028.44/1028.82	c 1028s |      26 | 12444239 |  9185152 |     1161  19880 |        0 |        0
1030.44/1030.82	c 1030s |      26 | 12463973 |  9200352 |     1161  19905 |        0 |        0
1032.44/1032.83	c 1032s |      26 | 12485878 |  9216752 |     1161  19933 |        0 |        0
1034.44/1034.84	c 1034s |      26 | 12506863 |  9232952 |     1161  19960 |        0 |        0
1036.44/1036.84	c 1036s |      26 | 12527542 |  9249352 |     1161  19987 |        0 |        0
1038.44/1038.84	c 1038s |      26 | 12550923 |  9266852 |     1161  20017 |        0 |        0
1040.43/1040.85	c 1040s |      26 | 12574621 |  9284352 |     1161  20046 |        0 |        0
1042.44/1042.86	c 1042s |      26 | 12597049 |  9301152 |     1161  20074 |        0 |        0
1044.44/1044.86	c 1044s |      26 | 12618264 |  9317452 |     1161  20102 |        0 |        0
1046.44/1046.87	c 1046s |      26 | 12639940 |  9334052 |     1161  20129 |        0 |        0
1048.44/1048.88	c 1048s |      26 | 12659547 |  9349652 |     1161  20155 |        0 |        0
1050.44/1050.88	c 1050s |      26 | 12679833 |  9365052 |     1161  20181 |        0 |        0
1052.45/1052.88	c 1052s |      26 | 12699025 |  9380052 |     1161  20206 |        0 |        0
1054.44/1054.89	c 1054s |      26 | 12718419 |  9395052 |     1161  20231 |        0 |        0
1056.54/1056.91	c 1056s |      26 | 12737680 |  9409852 |     1161  20255 |        0 |        0
1058.54/1058.91	c 1058s |      26 | 12755847 |  9424252 |     1161  20279 |        0 |        0
1060.54/1060.92	c 1060s |      26 | 12775182 |  9438752 |     1161  20303 |        0 |        0
1062.54/1062.93	c 1062s |      26 | 12795079 |  9454052 |     1161  20329 |        0 |        0
1064.55/1064.93	c 1064s |      26 | 12814494 |  9469052 |     1161  20354 |        0 |        0
1066.54/1066.94	c 1066s |      26 | 12831969 |  9482852 |     1161  20377 |        0 |        0
1068.54/1068.95	c 1068s |      26 | 12852064 |  9497952 |     1161  20402 |        0 |        0
1070.54/1070.96	c 1070s |      26 | 12870857 |  9512452 |     1161  20426 |        0 |        0
1072.54/1072.97	c 1072s |      26 | 12891087 |  9527652 |     1161  20452 |        0 |        0
1074.54/1074.99	c 1074s |      26 | 12911878 |  9542852 |     1161  20477 |        0 |        0
1076.54/1077.00	c 1076s |      26 | 12930466 |  9557252 |     1161  20501 |        0 |        0
1078.64/1079.01	c 1078s |      26 | 12949251 |  9571752 |     1161  20526 |        0 |        0
1080.63/1081.01	c 1081s |      26 | 12970625 |  9587152 |     1161  20551 |        0 |        0
1082.63/1083.02	c 1083s |      26 | 12993806 |  9603252 |     1161  20578 |        0 |        0
1084.63/1085.03	c 1085s |      26 | 13013321 |  9618352 |     1161  20604 |        0 |        0
1086.63/1087.04	c 1087s |      26 | 13033821 |  9633252 |     1161  20629 |        0 |        0
1088.64/1089.05	c 1089s |      26 | 13053546 |  9648052 |     1161  20653 |        0 |        0
1090.63/1091.05	c 1091s |      26 | 13074493 |  9663552 |     1161  20679 |        0 |        0
1092.63/1093.06	c 1093s |      26 | 13093869 |  9678652 |     1161  20705 |        0 |        0
1094.63/1095.06	c 1095s |      26 | 13112491 |  9692952 |     1161  20729 |        0 |        0
1096.63/1097.07	c 1097s |      26 | 13131520 |  9707552 |     1161  20754 |        0 |        0
1098.64/1099.08	c 1099s |      26 | 13153293 |  9723052 |     1161  20780 |        0 |        0
1100.63/1101.08	c 1101s |      26 | 13173869 |  9738252 |     1161  20805 |        0 |        0
1102.63/1103.09	c 1103s |      26 | 13196170 |  9754152 |     1161  20832 |        0 |        0
1104.63/1105.09	c 1105s |      26 | 13216064 |  9769152 |     1161  20857 |        0 |        0
1106.73/1107.10	c 1107s |      26 | 13237920 |  9784652 |     1161  20883 |        0 |        0
1108.73/1109.10	c 1109s |      26 | 13257958 |  9799452 |     1161  20908 |        0 |        0
1110.73/1111.12	c 1111s |      26 | 13277060 |  9814352 |     1161  20933 |        0 |        0
1112.73/1113.12	c 1113s |      26 | 13296219 |  9828952 |     1161  20957 |        0 |        0
1114.73/1115.12	c 1115s |      26 | 13315536 |  9843652 |     1161  20982 |        0 |        0
1116.73/1117.13	c 1117s |      26 | 13335383 |  9858652 |     1161  21007 |        0 |        0
1118.72/1119.14	c 1119s |      26 | 13355334 |  9873552 |     1161  21032 |        0 |        0
1120.72/1121.15	c 1121s |      26 | 13374443 |  9888452 |     1161  21058 |        0 |        0
1122.73/1123.16	c 1123s |      26 | 13394238 |  9903152 |     1161  21082 |        0 |        0
1124.72/1125.17	c 1125s |      26 | 13414319 |  9918252 |     1161  21108 |        0 |        0
1126.72/1127.17	c 1127s |      26 | 13434973 |  9933752 |     1161  21134 |        0 |        0
1128.72/1129.18	c 1129s |      26 | 13453655 |  9948852 |     1161  21159 |        0 |        0
1130.72/1131.19	c 1131s |      26 | 13472593 |  9962852 |     1161  21182 |        0 |        0
1132.73/1133.20	c 1133s |      26 | 13490505 |  9976752 |     1161  21206 |        0 |        0
1134.83/1135.20	c 1135s |      26 | 13510684 |  9991652 |     1161  21231 |        0 |        0
1136.83/1137.22	c 1137s |      26 | 13529676 | 10006352 |     1161  21255 |        0 |        0
1138.83/1139.22	c 1139s |      26 | 13548931 | 10020852 |     1161  21280 |        0 |        0
1140.83/1141.23	c 1141s |      26 | 13569599 | 10036152 |     1161  21305 |        0 |        0
1142.82/1143.24	c 1143s |      26 | 13591918 | 10052152 |     1161  21332 |        0 |        0
1144.83/1145.24	c 1145s |      26 | 13612080 | 10066952 |     1161  21357 |        0 |        0
1146.82/1147.24	c 1147s |      26 | 13630697 | 10081152 |     1161  21381 |        0 |        0
1148.82/1149.24	c 1149s |      26 | 13650185 | 10096052 |     1161  21406 |        0 |        0
1150.82/1151.25	c 1151s |      26 | 13670170 | 10111252 |     1161  21431 |        0 |        0
1152.82/1153.26	c 1153s |      26 | 13691141 | 10126752 |     1161  21458 |        0 |        0
1154.82/1155.26	c 1155s |      26 | 13711825 | 10142452 |     1161  21484 |        0 |        0
1156.82/1157.27	c 1157s |      26 | 13731691 | 10157752 |     1161  21510 |        0 |        0
1158.82/1159.28	c 1159s |      26 | 13751608 | 10173252 |     1161  21536 |        0 |        0
1160.82/1161.28	c 1161s |      26 | 13770234 | 10187852 |     1161  21560 |        0 |        0
1162.82/1163.29	c 1163s |      26 | 13788124 | 10202152 |     1161  21584 |        0 |        0
1164.91/1165.30	c 1165s |      26 | 13808235 | 10217152 |     1161  21609 |        0 |        0
1166.91/1167.31	c 1167s |      26 | 13827300 | 10231752 |     1161  21633 |        0 |        0
1168.92/1169.33	c 1169s |      26 | 13846170 | 10246352 |     1161  21658 |        0 |        0
1170.91/1171.34	c 1171s |      26 | 13864870 | 10260652 |     1161  21682 |        0 |        0
1172.91/1173.34	c 1173s |      26 | 13883347 | 10274952 |     1161  21705 |        0 |        0
1174.92/1175.34	c 1175s |      26 | 13901914 | 10289552 |     1161  21730 |        0 |        0
1176.92/1177.35	c 1177s |      26 | 13922667 | 10304652 |     1161  21755 |        0 |        0
1178.93/1179.36	c 1179s |      26 | 13943283 | 10319852 |     1161  21781 |        0 |        0
1180.92/1181.37	c 1181s |      26 | 13964015 | 10335152 |     1161  21806 |        0 |        0
1182.92/1183.37	c 1183s |      26 | 13984946 | 10350552 |     1161  21832 |        0 |        0
1184.92/1185.38	c 1185s |      26 | 14006424 | 10366252 |     1161  21859 |        0 |        0
1186.92/1187.39	c 1187s |      26 | 14026503 | 10381252 |     1161  21884 |        0 |        0
1189.02/1189.40	c 1189s |      26 | 14047032 | 10396452 |     1161  21909 |        0 |        0
1191.02/1191.42	c 1191s |      26 | 14068544 | 10412152 |     1161  21936 |        0 |        0
1193.02/1193.42	c 1193s |      26 | 14089279 | 10427552 |     1161  21962 |        0 |        0
1195.02/1195.43	c 1195s |      26 | 14111433 | 10443552 |     1161  21989 |        0 |        0
1197.02/1197.44	c 1197s |      26 | 14133129 | 10459452 |     1161  22015 |        0 |        0
1199.02/1199.44	c 1199s |      26 | 14155556 | 10475752 |     1161  22043 |        0 |        0
1201.01/1201.44	c 1201s |      26 | 14177260 | 10491952 |     1161  22070 |        0 |        0
1203.02/1203.45	c 1203s |      26 | 14197046 | 10506652 |     1161  22094 |        0 |        0
1205.01/1205.46	c 1205s |      26 | 14214540 | 10520852 |     1161  22118 |        0 |        0
1207.01/1207.47	c 1207s |      26 | 14233391 | 10535452 |     1161  22142 |        0 |        0
1209.01/1209.47	c 1209s |      26 | 14255024 | 10551252 |     1161  22169 |        0 |        0
1211.01/1211.48	c 1211s |      26 | 14275621 | 10566752 |     1161  22195 |        0 |        0
1213.02/1213.48	c 1213s |      26 | 14298534 | 10583152 |     1161  22223 |        0 |        0
1215.01/1215.49	c 1215s |      26 | 14320622 | 10599452 |     1161  22250 |        0 |        0
1217.01/1217.49	c 1217s |      26 | 14339278 | 10614052 |     1161  22274 |        0 |        0
1219.01/1219.49	c 1219s |      26 | 14361013 | 10629952 |     1161  22301 |        0 |        0
1221.11/1221.51	c 1221s |      26 | 14382252 | 10646152 |     1161  22328 |        0 |        0
1223.11/1223.51	c 1223s |      26 | 14404881 | 10662652 |     1161  22356 |        0 |        0
1225.11/1225.51	c 1225s |      26 | 14425953 | 10678252 |     1161  22383 |        0 |        0
1227.11/1227.51	c 1227s |      26 | 14445826 | 10693552 |     1161  22408 |        0 |        0
1229.11/1229.52	c 1229s |      26 | 14465102 | 10708452 |     1161  22433 |        0 |        0
1231.11/1231.52	c 1231s |      26 | 14484732 | 10723352 |     1161  22458 |        0 |        0
1233.11/1233.53	c 1233s |      26 | 14504108 | 10738452 |     1161  22483 |        0 |        0
1235.10/1235.54	c 1235s |      26 | 14525273 | 10754152 |     1161  22509 |        0 |        0
1237.11/1237.54	c 1237s |      26 | 14548663 | 10770652 |     1161  22537 |        0 |        0
1239.10/1239.55	c 1239s |      26 | 14569651 | 10786452 |     1161  22563 |        0 |        0
1241.10/1241.55	c 1241s |      26 | 14591467 | 10802152 |     1161  22589 |        0 |        0
1243.10/1243.56	c 1243s |      26 | 14614918 | 10818652 |     1161  22617 |        0 |        0
1245.10/1245.57	c 1245s |      26 | 14635451 | 10834152 |     1161  22643 |        0 |        0
1247.12/1247.58	c 1247s |      26 | 14658142 | 10850652 |     1161  22670 |        0 |        0
1249.11/1249.58	c 1249s |      26 | 14678416 | 10865952 |     1161  22696 |        0 |        0
1251.11/1251.59	c 1251s |      26 | 14699261 | 10881152 |     1161  22721 |        0 |        0
1253.11/1253.59	c 1253s |      26 | 14719433 | 10896152 |     1161  22746 |        0 |        0
1255.21/1255.60	c 1255s |      26 | 14740031 | 10911552 |     1161  22772 |        0 |        0
1257.21/1257.61	c 1257s |      26 | 14760459 | 10927052 |     1161  22798 |        0 |        0
1259.22/1259.61	c 1259s |      26 | 14782620 | 10942752 |     1161  22824 |        0 |        0
1261.21/1261.62	c 1261s |      26 | 14806018 | 10959452 |     1161  22852 |        0 |        0
1263.21/1263.62	c 1263s |      26 | 14827338 | 10975152 |     1161  22878 |        0 |        0
1265.21/1265.63	c 1265s |      26 | 14846941 | 10990052 |     1161  22903 |        0 |        0
1267.21/1267.63	c 1267s |      26 | 14867487 | 11005452 |     1161  22929 |        0 |        0
1269.21/1269.64	c 1269s |      26 | 14888416 | 11021052 |     1161  22955 |        0 |        0
1271.21/1271.65	c 1271s |      26 | 14909371 | 11036752 |     1161  22981 |        0 |        0
1273.21/1273.65	c 1273s |      26 | 14930786 | 11052252 |     1161  23007 |        0 |        0
1275.21/1275.66	c 1275s |      26 | 14950579 | 11067152 |     1161  23032 |        0 |        0
1277.20/1277.67	c 1277s |      26 | 14972489 | 11082752 |     1161  23058 |        0 |        0
1279.20/1279.68	c 1279s |      26 | 14994900 | 11098452 |     1161  23084 |        0 |        0
1281.21/1281.69	c 1281s |      26 | 15017667 | 11114452 |     1161  23111 |        0 |        0
1283.31/1283.70	c 1283s |      26 | 15040692 | 11130252 |     1161  23138 |        0 |        0
1285.30/1285.71	c 1285s |      26 | 15060165 | 11145152 |     1161  23163 |        0 |        0
1287.30/1287.71	c 1287s |      26 | 15081645 | 11160752 |     1161  23189 |        0 |        0
1289.30/1289.72	c 1289s |      26 | 15103157 | 11176252 |     1161  23215 |        0 |        0
1291.30/1291.73	c 1291s |      26 | 15124132 | 11191652 |     1161  23240 |        0 |        0
1293.31/1293.74	c 1293s |      26 | 15143886 | 11207052 |     1161  23266 |        0 |        0
1295.30/1295.74	c 1295s |      26 | 15164279 | 11222552 |     1161  23292 |        0 |        0
1297.30/1297.75	c 1297s |      26 | 15185083 | 11238052 |     1161  23318 |        0 |        0
1299.30/1299.75	c 1299s |      26 | 15205124 | 11253352 |     1161  23344 |        0 |        0
1301.30/1301.76	c 1301s |      26 | 15226658 | 11268852 |     1161  23370 |        0 |        0
1303.30/1303.76	c 1303s |      26 | 15245264 | 11283252 |     1161  23394 |        0 |        0
1305.31/1305.77	c 1305s |      26 | 15266187 | 11298752 |     1161  23420 |        0 |        0
1307.30/1307.77	c 1307s |      26 | 15287249 | 11314252 |     1161  23446 |        0 |        0
1309.30/1309.77	c 1309s |      26 | 15306462 | 11328852 |     1278  23468 |        0 |        0
1311.30/1311.77	c 1311s |      26 | 15327524 | 11344152 |     1278  23491 |        0 |        0
1313.30/1313.78	c 1313s |      26 | 15347199 | 11359252 |     1278  23514 |        0 |        0
1315.30/1315.78	c 1315s |      26 | 15366608 | 11374152 |     1278  23537 |        0 |        0
1317.30/1317.80	c 1317s |      26 | 15386870 | 11389152 |     1278  23560 |        0 |        0
1318.40/1318.82	c 1318s |      27 | 15397234 | 11396733 |     1278  23571 |        0 |        0
1320.40/1320.83	c 1320s |      27 | 15418349 | 11412033 |     1278  23595 |        0 |        0
1322.40/1322.83	c 1322s |      27 | 15440424 | 11427233 |     1278  23618 |        0 |        0
1324.39/1324.84	c 1324s |      27 | 15461557 | 11442233 |     1278  23640 |        0 |        0
1326.39/1326.85	c 1326s |      27 | 15484504 | 11458333 |     1278  23665 |        0 |        0
1328.40/1328.85	c 1328s |      27 | 15506374 | 11473533 |     1278  23688 |        0 |        0
1330.39/1330.86	c 1330s |      27 | 15528316 | 11488833 |     1278  23711 |        0 |        0
1332.39/1332.87	c 1332s |      27 | 15549822 | 11504533 |     1278  23735 |        0 |        0
1334.39/1334.88	c 1334s |      27 | 15571063 | 11520033 |     1278  23759 |        0 |        0
1336.39/1336.89	c 1336s |      27 | 15592429 | 11535533 |     1278  23783 |        0 |        0
1338.40/1338.89	c 1338s |      27 | 15610599 | 11549133 |     1278  23803 |        0 |        0
1340.39/1340.89	c 1340s |      27 | 15629084 | 11563133 |     1278  23825 |        0 |        0
1342.49/1342.90	c 1342s |      27 | 15648016 | 11577733 |     1278  23847 |        0 |        0
1344.49/1344.90	c 1344s |      27 | 15664296 | 11590933 |     1278  23867 |        0 |        0
1346.49/1346.91	c 1346s |      27 | 15680728 | 11604633 |     1278  23887 |        0 |        0
1348.49/1348.91	c 1348s |      27 | 15699544 | 11618933 |     1278  23909 |        0 |        0
1350.50/1350.91	c 1350s |      27 | 15720310 | 11633933 |     1278  23932 |        0 |        0
1352.49/1352.93	c 1352s |      27 | 15741103 | 11649033 |     1278  23955 |        0 |        0
1354.49/1354.93	c 1354s |      27 | 15763232 | 11664333 |     1278  23979 |        0 |        0
1356.49/1356.94	c 1356s |      27 | 15784348 | 11679433 |     1278  24002 |        0 |        0
1358.49/1358.94	c 1358s |      27 | 15803232 | 11693433 |     1278  24023 |        0 |        0
1360.49/1360.95	c 1360s |      27 | 15824297 | 11708233 |     1278  24046 |        0 |        0
1362.49/1362.95	c 1362s |      27 | 15844591 | 11722833 |     1278  24068 |        0 |        0
1364.49/1364.96	c 1364s |      27 | 15865579 | 11737333 |     1278  24090 |        0 |        0
1366.49/1366.97	c 1366s |      27 | 15888193 | 11753333 |     1278  24115 |        0 |        0
1368.49/1368.98	c 1368s |      27 | 15908070 | 11768833 |     1278  24138 |        0 |        0
1370.49/1370.99	c 1370s |      27 | 15929572 | 11785033 |     1278  24163 |        0 |        0
1372.49/1372.99	c 1372s |      27 | 15951857 | 11801133 |     1278  24187 |        0 |        0
1374.49/1375.00	c 1374s |      27 | 15975396 | 11817633 |     1278  24213 |        0 |        0
1376.58/1377.01	c 1376s |      27 | 15995295 | 11832133 |     1278  24235 |        0 |        0
1378.58/1379.01	c 1378s |      27 | 16015908 | 11847033 |     1278  24257 |        0 |        0
1380.58/1381.01	c 1380s |      27 | 16036633 | 11861833 |     1278  24280 |        0 |        0
1382.58/1383.01	c 1383s |      27 | 16057521 | 11876933 |     1278  24303 |        0 |        0
1384.59/1385.02	c 1385s |      27 | 16077167 | 11892033 |     1278  24326 |        0 |        0
1386.58/1387.02	c 1387s |      27 | 16102378 | 11909033 |     1278  24352 |        0 |        0
1388.58/1389.03	c 1389s |      27 | 16127036 | 11925633 |     1278  24378 |        0 |        0
1390.58/1391.04	c 1391s |      27 | 16148849 | 11941333 |     1278  24402 |        0 |        0
1392.58/1393.04	c 1393s |      27 | 16171661 | 11957433 |     1278  24426 |        0 |        0
1394.58/1395.04	c 1395s |      27 | 16192998 | 11973433 |     1278  24451 |        0 |        0
1396.59/1397.05	c 1397s |      27 | 16214215 | 11988333 |     1278  24474 |        0 |        0
1398.58/1399.07	c 1399s |      27 | 16237685 | 12004733 |     1278  24499 |        0 |        0
1400.58/1401.07	c 1401s |      27 | 16260872 | 12020833 |     1278  24523 |        0 |        0
1402.58/1403.08	c 1403s |      27 | 16284000 | 12036833 |     1278  24548 |        0 |        0
1404.58/1405.09	c 1405s |      27 | 16306665 | 12052533 |     1278  24572 |        0 |        0
1406.68/1407.10	c 1407s |      27 | 16326647 | 12066933 |     1278  24594 |        0 |        0
1408.58/1409.10	c 1409s |      27 | 16347706 | 12082433 |     1278  24617 |        0 |        0
1410.69/1411.11	c 1411s |      27 | 16369870 | 12098233 |     1278  24641 |        0 |        0
1412.69/1413.12	c 1413s |      27 | 16388593 | 12112633 |     1278  24663 |        0 |        0
1414.69/1415.13	c 1415s |      27 | 16406726 | 12126833 |     1278  24685 |        0 |        0
1416.68/1417.14	c 1417s |      27 | 16428203 | 12142233 |     1278  24708 |        0 |        0
1418.69/1419.14	c 1419s |      27 | 16450657 | 12158533 |     1278  24733 |        0 |        0
1420.68/1421.15	c 1421s |      27 | 16473262 | 12174733 |     1278  24758 |        0 |        0
1422.68/1423.15	c 1423s |      27 | 16495281 | 12190733 |     1278  24782 |        0 |        0
1424.68/1425.16	c 1425s |      27 | 16515791 | 12206233 |     1278  24806 |        0 |        0
1426.68/1427.16	c 1427s |      27 | 16536960 | 12221833 |     1278  24830 |        0 |        0
1428.68/1429.17	c 1429s |      27 | 16558892 | 12237333 |     1278  24854 |        0 |        0
1430.69/1431.18	c 1431s |      27 | 16579915 | 12252733 |     1278  24877 |        0 |        0
1432.68/1433.19	c 1433s |      27 | 16601748 | 12268033 |     1278  24901 |        0 |        0
1434.78/1435.20	c 1435s |      27 | 16624666 | 12284133 |     1278  24925 |        0 |        0
1436.78/1437.21	c 1437s |      27 | 16645413 | 12299333 |     1278  24948 |        0 |        0
1438.78/1439.21	c 1439s |      27 | 16665529 | 12314233 |     1278  24971 |        0 |        0
1440.78/1441.22	c 1441s |      27 | 16686644 | 12329333 |     1278  24994 |        0 |        0
1442.78/1443.23	c 1443s |      27 | 16708865 | 12345133 |     1278  25018 |        0 |        0
1444.78/1445.24	c 1445s |      27 | 16732457 | 12361633 |     1278  25042 |        0 |        0
1446.78/1447.24	c 1447s |      27 | 16750027 | 12375533 |     1278  25063 |        0 |        0
1448.78/1449.25	c 1449s |      27 | 16771944 | 12390933 |     1278  25087 |        0 |        0
1450.78/1451.26	c 1451s |      27 | 16793061 | 12406233 |     1278  25110 |        0 |        0
1452.78/1453.27	c 1453s |      27 | 16816181 | 12422033 |     1278  25134 |        0 |        0
1454.77/1455.28	c 1455s |      27 | 16838009 | 12437433 |     1278  25158 |        0 |        0
1456.77/1457.28	c 1457s |      27 | 16859662 | 12452933 |     1278  25182 |        0 |        0
1458.77/1459.29	c 1459s |      27 | 16881476 | 12468633 |     1278  25206 |        0 |        0
1460.87/1461.30	c 1461s |      27 | 16905089 | 12484633 |     1278  25230 |        0 |        0
1462.87/1463.30	c 1463s |      27 | 16926641 | 12500333 |     1278  25254 |        0 |        0
1464.88/1465.31	c 1465s |      27 | 16946366 | 12515433 |     1278  25277 |        0 |        0
1466.87/1467.32	c 1467s |      27 | 16966042 | 12530533 |     1278  25300 |        0 |        0
1468.87/1469.33	c 1469s |      27 | 16984852 | 12545133 |     1278  25322 |        0 |        0
1470.87/1471.35	c 1471s |      27 | 17001581 | 12558733 |     1278  25343 |        0 |        0
1472.87/1473.36	c 1473s |      27 | 17017911 | 12572133 |     1278  25363 |        0 |        0
1474.87/1475.38	c 1475s |      27 | 17037333 | 12586533 |     1278  25385 |        0 |        0
1476.87/1477.39	c 1477s |      27 | 17055560 | 12600633 |     1278  25407 |        0 |        0
1478.87/1479.39	c 1479s |      27 | 17076723 | 12616233 |     1278  25430 |        0 |        0
1480.87/1481.39	c 1481s |      27 | 17096196 | 12631333 |     1278  25453 |        0 |        0
1482.87/1483.39	c 1483s |      27 | 17117989 | 12647233 |     1278  25478 |        0 |        0
1484.97/1485.40	c 1485s |      27 | 17136276 | 12661333 |     1278  25499 |        0 |        0
1486.97/1487.41	c 1487s |      27 | 17155483 | 12676033 |     1278  25522 |        0 |        0
1488.98/1489.42	c 1489s |      27 | 17175330 | 12691333 |     1278  25545 |        0 |        0
1490.97/1491.42	c 1491s |      27 | 17196794 | 12706733 |     1278  25568 |        0 |        0
1492.97/1493.43	c 1493s |      27 | 17218412 | 12722133 |     1278  25592 |        0 |        0
1494.97/1495.44	c 1495s |      27 | 17238998 | 12736733 |     1278  25614 |        0 |        0
1496.97/1497.45	c 1497s |      27 | 17257234 | 12750633 |     1278  25635 |        0 |        0
1498.98/1499.45	c 1499s |      27 | 17276283 | 12764633 |     1278  25656 |        0 |        0
1500.97/1501.46	c 1501s |      27 | 17298442 | 12779733 |     1278  25679 |        0 |        0
1502.97/1503.47	c 1503s |      27 | 17320094 | 12795133 |     1278  25702 |        0 |        0
1504.97/1505.48	c 1505s |      27 | 17341633 | 12810933 |     1278  25726 |        0 |        0
1506.97/1507.49	c 1507s |      27 | 17362962 | 12825833 |     1278  25749 |        0 |        0
1509.07/1509.50	c 1509s |      27 | 17382779 | 12840433 |     1278  25771 |        0 |        0
1510.97/1511.50	c 1511s |      27 | 17401416 | 12854833 |     1278  25793 |        0 |        0
1513.07/1513.50	c 1513s |      27 | 17421471 | 12869733 |     1278  25815 |        0 |        0
1515.06/1515.50	c 1515s |      27 | 17442809 | 12885433 |     1278  25839 |        0 |        0
1517.06/1517.51	c 1517s |      27 | 17465588 | 12901633 |     1278  25864 |        0 |        0
1519.06/1519.52	c 1519s |      27 | 17488234 | 12917333 |     1278  25888 |        0 |        0
1521.06/1521.53	c 1521s |      27 | 17510390 | 12932833 |     1278  25912 |        0 |        0
1523.07/1523.53	c 1523s |      27 | 17532569 | 12948233 |     1278  25935 |        0 |        0
1525.06/1525.54	c 1525s |      27 | 17556154 | 12964133 |     1278  25960 |        0 |        0
1527.06/1527.55	c 1527s |      27 | 17575734 | 12978833 |     1278  25982 |        0 |        0
1529.06/1529.55	c 1529s |      27 | 17593758 | 12992733 |     1278  26003 |        0 |        0
1531.06/1531.55	c 1531s |      27 | 17613331 | 13006933 |     1278  26025 |        0 |        0
1533.08/1533.57	c 1533s |      27 | 17634252 | 13021533 |     1278  26048 |        0 |        0
1535.07/1535.57	c 1535s |      27 | 17653792 | 13035733 |     1278  26069 |        0 |        0
1537.07/1537.58	c 1537s |      27 | 17673361 | 13050533 |     1278  26092 |        0 |        0
1539.07/1539.58	c 1539s |      27 | 17694907 | 13066033 |     1278  26116 |        0 |        0
1541.07/1541.59	c 1541s |      27 | 17715699 | 13081433 |     1278  26140 |        0 |        0
1543.17/1543.60	c 1543s |      27 | 17736382 | 13095733 |     1278  26162 |        0 |        0
1545.17/1545.61	c 1545s |      27 | 17758595 | 13111233 |     1278  26185 |        0 |        0
1547.16/1547.62	c 1547s |      27 | 17776474 | 13125233 |     1278  26206 |        0 |        0
1549.16/1549.63	c 1549s |      27 | 17796919 | 13140133 |     1278  26229 |        0 |        0
1551.16/1551.64	c 1551s |      27 | 17815711 | 13154233 |     1278  26251 |        0 |        0
1553.16/1553.64	c 1553s |      27 | 17835368 | 13168733 |     1278  26273 |        0 |        0
1555.16/1555.65	c 1555s |      27 | 17856041 | 13183633 |     1278  26295 |        0 |        0
1557.17/1557.66	c 1557s |      27 | 17875699 | 13198033 |     1278  26317 |        0 |        0
1559.16/1559.66	c 1559s |      27 | 17895984 | 13212733 |     1278  26340 |        0 |        0
1561.16/1561.66	c 1561s |      27 | 17914987 | 13227333 |     1278  26362 |        0 |        0
1563.16/1563.67	c 1563s |      27 | 17932436 | 13241333 |     1278  26383 |        0 |        0
1565.16/1565.67	c 1565s |      27 | 17951257 | 13255833 |     1278  26406 |        0 |        0
1567.17/1567.68	c 1567s |      27 | 17970165 | 13270033 |     1278  26427 |        0 |        0
1569.16/1569.70	c 1569s |      27 | 17991242 | 13285233 |     1278  26451 |        0 |        0
1571.26/1571.71	c 1571s |      27 | 18011070 | 13299933 |     1278  26473 |        0 |        0
1573.26/1573.72	c 1573s |      27 | 18033092 | 13315333 |     1278  26497 |        0 |        0
1575.26/1575.72	c 1575s |      27 | 18052842 | 13329933 |     1278  26519 |        0 |        0
1577.26/1577.73	c 1577s |      27 | 18071326 | 13343733 |     1278  26540 |        0 |        0
1579.27/1579.73	c 1579s |      27 | 18088697 | 13357333 |     1278  26560 |        0 |        0
1581.26/1581.74	c 1581s |      27 | 18109537 | 13372333 |     1278  26583 |        0 |        0
1583.26/1583.74	c 1583s |      27 | 18128177 | 13386733 |     1278  26605 |        0 |        0
1585.26/1585.75	c 1585s |      27 | 18149285 | 13401833 |     1278  26628 |        0 |        0
1587.26/1587.75	c 1587s |      27 | 18170084 | 13416733 |     1278  26651 |        0 |        0
1589.25/1589.77	c 1589s |      27 | 18191363 | 13431733 |     1278  26674 |        0 |        0
1591.26/1591.77	c 1591s |      27 | 18210607 | 13446433 |     1278  26697 |        0 |        0
1593.25/1593.77	c 1593s |      27 | 18231356 | 13461333 |     1278  26720 |        0 |        0
1595.25/1595.77	c 1595s |      27 | 18252983 | 13476833 |     1278  26744 |        0 |        0
1597.25/1597.79	c 1597s |      27 | 18270700 | 13490933 |     1278  26765 |        0 |        0
1599.35/1599.80	c 1599s |      27 | 18291266 | 13505633 |     1278  26788 |        0 |        0
1601.35/1601.80	c 1601s |      27 | 18311187 | 13520233 |     1278  26810 |        0 |        0
1603.35/1603.81	c 1603s |      27 | 18332756 | 13535333 |     1278  26833 |        0 |        0
1605.35/1605.81	c 1605s |      27 | 18355158 | 13550633 |     1278  26857 |        0 |        0
1607.35/1607.82	c 1607s |      27 | 18377586 | 13566633 |     1278  26881 |        0 |        0
1609.36/1609.83	c 1609s |      27 | 18396804 | 13581033 |     1278  26903 |        0 |        0
1611.36/1611.83	c 1611s |      27 | 18418044 | 13596133 |     1278  26926 |        0 |        0
1613.36/1613.84	c 1613s |      27 | 18438419 | 13610933 |     1278  26948 |        0 |        0
1615.35/1615.85	c 1615s |      27 | 18461330 | 13626833 |     1278  26973 |        0 |        0
1617.35/1617.86	c 1617s |      27 | 18483030 | 13643033 |     1278  26997 |        0 |        0
1619.35/1619.87	c 1619s |      27 | 18507002 | 13660133 |     1278  27024 |        0 |        0
1621.35/1621.88	c 1621s |      27 | 18529531 | 13676333 |     1278  27048 |        0 |        0
1623.35/1623.89	c 1623s |      27 | 18551438 | 13692933 |     1278  27074 |        0 |        0
1625.36/1625.90	c 1625s |      27 | 18576379 | 13710533 |     1278  27101 |        0 |        0
1627.45/1627.91	c 1627s |      27 | 18598112 | 13727233 |     1278  27127 |        0 |        0
1629.45/1629.92	c 1629s |      27 | 18619246 | 13743433 |     1278  27151 |        0 |        0
1631.45/1631.93	c 1631s |      27 | 18639211 | 13759233 |     1278  27175 |        0 |        0
1633.45/1633.93	c 1633s |      27 | 18661243 | 13775633 |     1278  27201 |        0 |        0
1635.45/1635.94	c 1635s |      27 | 18683693 | 13792433 |     1278  27226 |        0 |        0
1637.46/1637.94	c 1637s |      27 | 18707600 | 13809533 |     1278  27253 |        0 |        0
1639.45/1639.94	c 1639s |      27 | 18731102 | 13826633 |     1278  27279 |        0 |        0
1641.45/1641.94	c 1641s |      27 | 18753207 | 13842833 |     1278  27304 |        0 |        0
1643.45/1643.95	c 1643s |      27 | 18777531 | 13860333 |     1278  27331 |        0 |        0
1645.45/1645.95	c 1645s |      27 | 18800847 | 13876733 |     1278  27355 |        0 |        0
1647.46/1647.96	c 1647s |      27 | 18823899 | 13893133 |     1278  27381 |        0 |        0
1649.45/1649.97	c 1649s |      27 | 18847520 | 13909633 |     1278  27406 |        0 |        0
1651.45/1651.98	c 1651s |      27 | 18867073 | 13924433 |     1278  27429 |        0 |        0
1653.45/1653.99	c 1653s |      27 | 18890167 | 13940933 |     1278  27454 |        0 |        0
1655.55/1656.00	c 1655s |      27 | 18913817 | 13957433 |     1278  27479 |        0 |        0
1657.54/1658.00	c 1657s |      27 | 18937752 | 13973733 |     1278  27504 |        0 |        0
1659.45/1660.00	c 1659s |      27 | 18954247 | 13987533 |     1278  27525 |        0 |        0
1661.54/1662.00	c 1661s |      27 | 18973185 | 14002033 |     1278  27547 |        0 |        0
1663.54/1664.01	c 1663s |      27 | 18992981 | 14016633 |     1278  27569 |        0 |        0
1665.54/1666.02	c 1666s |      27 | 19014892 | 14032333 |     1278  27593 |        0 |        0
1667.54/1668.03	c 1668s |      27 | 19032837 | 14046633 |     1278  27615 |        0 |        0
1669.54/1670.03	c 1670s |      27 | 19052043 | 14061233 |     1278  27637 |        0 |        0
1671.54/1672.03	c 1672s |      27 | 19071995 | 14076233 |     1278  27660 |        0 |        0
1673.54/1674.04	c 1674s |      27 | 19093842 | 14091833 |     1278  27683 |        0 |        0
1675.55/1676.04	c 1676s |      27 | 19116912 | 14108233 |     1278  27708 |        0 |        0
1677.55/1678.05	c 1678s |      27 | 19141011 | 14125233 |     1278  27735 |        0 |        0
1679.55/1680.05	c 1680s |      27 | 19162870 | 14141333 |     1278  27759 |        0 |        0
1681.55/1682.05	c 1682s |      27 | 19187136 | 14157933 |     1278  27785 |        0 |        0
1683.55/1684.06	c 1684s |      27 | 19212878 | 14175133 |     1278  27812 |        0 |        0
1685.54/1686.06	c 1686s |      27 | 19236865 | 14192033 |     1278  27838 |        0 |        0
1687.54/1688.07	c 1688s |      27 | 19261899 | 14208833 |     1278  27863 |        0 |        0
1689.54/1690.08	c 1690s |      27 | 19283399 | 14225233 |     1278  27889 |        0 |        0
1691.54/1692.09	c 1692s |      27 | 19304434 | 14240733 |     1278  27912 |        0 |        0
1693.55/1694.10	c 1694s |      27 | 19326921 | 14256833 |     1278  27937 |        0 |        0
1695.64/1696.10	c 1696s |      27 | 19349464 | 14272733 |     1278  27962 |        0 |        0
1697.64/1698.10	c 1698s |      27 | 19368742 | 14287833 |     1278  27985 |        0 |        0
1699.64/1700.11	c 1700s |      27 | 19387566 | 14302333 |     1278  28007 |        0 |        0
1701.64/1702.11	c 1702s |      27 | 19406715 | 14317133 |     1278  28029 |        0 |        0
1703.64/1704.12	c 1704s |      27 | 19426102 | 14331933 |     1278  28052 |        0 |        0
1705.64/1706.12	c 1706s |      27 | 19444411 | 14346433 |     1278  28074 |        0 |        0
1707.64/1708.12	c 1708s |      27 | 19464298 | 14361633 |     1278  28097 |        0 |        0
1709.64/1710.13	c 1710s |      27 | 19483345 | 14376433 |     1278  28120 |        0 |        0
1711.63/1712.14	c 1712s |      27 | 19501820 | 14390733 |     1278  28142 |        0 |        0
1713.63/1714.15	c 1714s |      27 | 19522638 | 14406133 |     1278  28165 |        0 |        0
1715.64/1716.16	c 1716s |      27 | 19541772 | 14420533 |     1278  28187 |        0 |        0
1717.63/1718.16	c 1718s |      27 | 19561578 | 14435433 |     1278  28210 |        0 |        0
1719.63/1720.17	c 1720s |      27 | 19581530 | 14449933 |     1278  28232 |        0 |        0
1721.63/1722.18	c 1722s |      27 | 19601199 | 14464833 |     1278  28255 |        0 |        0
1723.63/1724.18	c 1724s |      27 | 19622236 | 14480733 |     1278  28279 |        0 |        0
1725.63/1726.18	c 1726s |      27 | 19643530 | 14495933 |     1278  28303 |        0 |        0
1727.64/1728.18	c 1728s |      27 | 19666655 | 14512233 |     1278  28328 |        0 |        0
1729.63/1730.19	c 1730s |      27 | 19690187 | 14529433 |     1278  28354 |        0 |        0
1731.63/1732.19	c 1732s |      27 | 19712294 | 14545533 |     1278  28379 |        0 |        0
1733.64/1734.19	c 1734s |      27 | 19736329 | 14561933 |     1278  28404 |        0 |        0
1735.74/1736.20	c 1736s |      27 | 19759264 | 14577833 |     1278  28428 |        0 |        0
1737.74/1738.20	c 1738s |      27 | 19780702 | 14593133 |     1278  28452 |        0 |        0
1739.74/1740.21	c 1740s |      27 | 19804143 | 14609533 |     1278  28477 |        0 |        0
1741.74/1742.22	c 1742s |      27 | 19828591 | 14626833 |     1278  28503 |        0 |        0
1743.73/1744.23	c 1744s |      27 | 19851564 | 14643233 |     1278  28528 |        0 |        0
1745.73/1746.23	c 1746s |      27 | 19871749 | 14658533 |     1278  28552 |        0 |        0
1747.73/1748.24	c 1748s |      27 | 19895110 | 14674633 |     1278  28577 |        0 |        0
1749.74/1750.24	c 1750s |      27 | 19918647 | 14690633 |     1278  28601 |        0 |        0
1751.73/1752.25	c 1752s |      27 | 19940530 | 14706433 |     1278  28625 |        0 |        0
1753.73/1754.26	c 1754s |      27 | 19962738 | 14722133 |     1278  28649 |        0 |        0
1755.73/1756.27	c 1756s |      27 | 19987012 | 14738733 |     1278  28675 |        0 |        0
1757.73/1758.27	c 1758s |      27 | 20007288 | 14753633 |     1278  28698 |        0 |        0
1759.73/1760.28	c 1760s |      27 | 20031467 | 14769833 |     1278  28723 |        0 |        0
1761.74/1762.28	c 1762s |      27 | 20052599 | 14784633 |     1278  28745 |        0 |        0
1763.73/1764.29	c 1764s |      27 | 20075064 | 14800233 |     1278  28769 |        0 |        0
1765.73/1766.29	c 1766s |      27 | 20098478 | 14816233 |     1278  28794 |        0 |        0
1767.83/1768.30	c 1768s |      27 | 20122500 | 14832833 |     1278  28819 |        0 |        0
1769.83/1770.30	c 1770s |      27 | 20148574 | 14850433 |     1278  28846 |        0 |        0
1771.83/1772.31	c 1772s |      27 | 20170454 | 14866733 |     1278  28871 |        0 |        0
1773.83/1774.32	c 1774s |      27 | 20192312 | 14882833 |     1278  28896 |        0 |        0
1775.82/1776.33	c 1776s |      27 | 20216104 | 14899633 |     1278  28921 |        0 |        0
1777.82/1778.33	c 1778s |      27 | 20238740 | 14916033 |     1278  28946 |        0 |        0
1779.82/1780.33	c 1780s |      27 | 20260994 | 14932733 |     1278  28972 |        0 |        0
1781.82/1782.34	c 1782s |      27 | 20284638 | 14950033 |     1278  28998 |        0 |        0
1783.83/1784.34	c 1784s |      27 | 20308561 | 14967433 |     1278  29025 |        0 |        0
1785.82/1786.34	c 1786s |      27 | 20332727 | 14984833 |     1278  29052 |        0 |        0
1787.82/1788.35	c 1788s |      27 | 20356910 | 15001833 |     1278  29077 |        0 |        0
1789.82/1790.35	c 1790s |      27 | 20379395 | 15018533 |     1278  29103 |        0 |        0
1791.82/1792.36	c 1792s |      27 | 20404964 | 15036433 |     1278  29130 |        0 |        0
1793.82/1794.37	c 1794s |      27 | 20425551 | 15052133 |     1278  29154 |        0 |        0
1795.83/1796.37	c 1796s |      27 | 20449353 | 15069133 |     1278  29180 |        0 |        0
1797.82/1798.38	c 1798s |      27 | 20472483 | 15085933 |     1278  29206 |        0 |        0
1799.82/1800.38	c 1800s |      27 | 20494309 | 15101633 |     1278  29230 |        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-4096029-1466101335/watcher-4096029-1466101335 -o /tmp/evaluation-result-4096029-1466101335/solver-4096029-1466101335 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node105-1466095897-23942 --watchdog 1960 toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4096029-1466101335.opb 

pid=24542
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.02 2.04 2.00 3/179 24545
/proc/meminfo: memFree=30749324/32872528 swapFree=162364/176672
[pid=24545] ppid=24542 vsize=740796 CPUtime=0 cores=0,2,4,6
/proc/24545/stat : 24545 (toysat) R 24542 24545 23926 0 -1 4202496 2768 0 0 0 0 0 0 0 20 0 4 0 12183444 758575104 2618 33554432000 4194304 16246674 140736342457808 140736342457232 13880264 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/24545/statm: 185967 2627 441 2943 0 182861 0
[pid=24545/tid=24546] ppid=24542 vsize=758204 CPUtime=0 cores=0,2,4,6
/proc/24545/task/24546/stat : 24546 (toysat) S 24542 24545 23926 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 12183444 776400896 2687 33554432000 4194304 16246674 140736342457808 139685757168880 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=24545/tid=24547] ppid=24542 vsize=763324 CPUtime=0 cores=0,2,4,6
/proc/24545/task/24547/stat : 24547 (toysat) S 24542 24545 23926 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12183444 781643776 2703 33554432000 4194304 16246674 140736342457808 139685746679024 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=24545/tid=24548] ppid=24542 vsize=766396 CPUtime=0 cores=0,2,4,6
/proc/24545/task/24548/stat : 24548 (toysat) S 24542 24545 23926 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 12183444 784789504 2719 33554432000 4194304 16246674 140736342457808 139685736205488 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0

[startup+0.100183 s]
/proc/loadavg: 2.02 2.04 2.00 3/179 24545
/proc/meminfo: memFree=30749324/32872528 swapFree=162364/176672
[pid=24545] ppid=24542 vsize=1218116 CPUtime=0.09 cores=0,2,4,6
/proc/24545/stat : 24545 (toysat) R 24542 24545 23926 0 -1 4202496 24927 0 0 0 5 4 0 0 20 0 4 0 12183444 1247350784 24765 33554432000 4194304 16246674 140736342457808 140736342457232 6021055 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/24545/statm: 304529 24776 711 2943 0 301423 0
[pid=24545/tid=24546] ppid=24542 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/24545/task/24546/stat : 24546 (toysat) S 24542 24545 23926 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 12183444 1247350784 24781 33554432000 4194304 16246674 140736342457808 139685757168880 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=24545/tid=24547] ppid=24542 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/24545/task/24547/stat : 24547 (toysat) S 24542 24545 23926 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12183444 1247350784 24786 33554432000 4194304 16246674 140736342457808 139685746679024 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=24545/tid=24548] ppid=24542 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/24545/task/24548/stat : 24548 (toysat) S 24542 24545 23926 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 12183444 1247350784 24793 33554432000 4194304 16246674 140736342457808 139685736205488 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 1218116

[startup+0.200532 s]
/proc/loadavg: 2.02 2.04 2.00 3/179 24545
/proc/meminfo: memFree=30749324/32872528 swapFree=162364/176672
[pid=24545] ppid=24542 vsize=1218116 CPUtime=0.19 cores=0,2,4,6
/proc/24545/stat : 24545 (toysat) R 24542 24545 23926 0 -1 4202496 47820 0 0 0 12 7 0 0 20 0 4 0 12183444 1247350784 47658 33554432000 4194304 16246674 140736342457808 140736342457232 5546181 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/24545/statm: 304529 47668 711 2943 0 301423 0
[pid=24545/tid=24546] ppid=24542 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/24545/task/24546/stat : 24546 (toysat) S 24542 24545 23926 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 12183444 1247350784 47676 33554432000 4194304 16246674 140736342457808 139685757168880 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=24545/tid=24547] ppid=24542 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/24545/task/24547/stat : 24547 (toysat) S 24542 24545 23926 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12183444 1247350784 47682 33554432000 4194304 16246674 140736342457808 139685746679024 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=24545/tid=24548] ppid=24542 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/24545/task/24548/stat : 24548 (toysat) S 24542 24545 23926 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 12183444 1247350784 47687 33554432000 4194304 16246674 140736342457808 139685736205488 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 1218116

[startup+0.300428 s]
/proc/loadavg: 2.02 2.04 2.00 3/179 24545
/proc/meminfo: memFree=30749324/32872528 swapFree=162364/176672
[pid=24545] ppid=24542 vsize=1218116 CPUtime=0.29 cores=0,2,4,6
/proc/24545/stat : 24545 (toysat) R 24542 24545 23926 0 -1 4202496 70699 0 0 0 19 10 0 0 20 0 4 0 12183444 1247350784 70538 33554432000 4194304 16246674 140736342457808 140736342439680 13192110 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/24545/statm: 304529 70546 711 2943 0 301423 0
[pid=24545/tid=24546] ppid=24542 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/24545/task/24546/stat : 24546 (toysat) S 24542 24545 23926 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 12183444 1247350784 70553 33554432000 4194304 16246674 140736342457808 139685757168880 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=24545/tid=24547] ppid=24542 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/24545/task/24547/stat : 24547 (toysat) S 24542 24545 23926 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12183444 1247350784 70563 33554432000 4194304 16246674 140736342457808 139685746679024 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=24545/tid=24548] ppid=24542 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/24545/task/24548/stat : 24548 (toysat) S 24542 24545 23926 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 12183444 1247350784 70571 33554432000 4194304 16246674 140736342457808 139685736205488 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 1218116

[startup+0.700416 s]
/proc/loadavg: 2.02 2.04 2.00 3/179 24545
/proc/meminfo: memFree=30749324/32872528 swapFree=162364/176672
[pid=24545] ppid=24542 vsize=1218116 CPUtime=0.69 cores=0,2,4,6
/proc/24545/stat : 24545 (toysat) R 24542 24545 23926 0 -1 4202496 164454 0 0 0 45 24 0 0 20 0 4 0 12183444 1247350784 164293 33554432000 4194304 16246674 140736342457808 140736342439680 12478333 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/24545/statm: 304529 164303 711 2943 0 301423 0
[pid=24545/tid=24546] ppid=24542 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/24545/task/24546/stat : 24546 (toysat) S 24542 24545 23926 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 12183444 1247350784 164314 33554432000 4194304 16246674 140736342457808 139685757168880 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=24545/tid=24547] ppid=24542 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/24545/task/24547/stat : 24547 (toysat) S 24542 24545 23926 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12183444 1247350784 164320 33554432000 4194304 16246674 140736342457808 139685746679024 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=24545/tid=24548] ppid=24542 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/24545/task/24548/stat : 24548 (toysat) S 24542 24545 23926 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 12183444 1247350784 164326 33554432000 4194304 16246674 140736342457808 139685736205488 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 1218116

[startup+1.50043 s]
/proc/loadavg: 2.02 2.04 2.00 3/183 24549
/proc/meminfo: memFree=29768468/32872528 swapFree=162364/176672
[pid=24545] ppid=24542 vsize=1218116 CPUtime=1.49 cores=0,2,4,6
/proc/24545/stat : 24545 (toysat) R 24542 24545 23926 0 -1 4202496 245520 0 0 0 113 36 0 0 20 0 4 0 12183444 1247350784 245338 33554432000 4194304 16246674 140736342457808 140736342440808 6026720 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/24545/statm: 304529 245338 785 2943 0 301423 0
[pid=24545/tid=24546] ppid=24542 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/24545/task/24546/stat : 24546 (toysat) S 24542 24545 23926 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 12183444 1247350784 245338 33554432000 4194304 16246674 140736342457808 139685757168880 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=24545/tid=24547] ppid=24542 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/24545/task/24547/stat : 24547 (toysat) S 24542 24545 23926 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12183444 1247350784 245338 33554432000 4194304 16246674 140736342457808 139685746679024 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=24545/tid=24548] ppid=24542 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/24545/task/24548/stat : 24548 (toysat) S 24542 24545 23926 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 12183444 1247350784 245338 33554432000 4194304 16246674 140736342457808 139685736205488 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 1218116

[startup+3.10042 s]
/proc/loadavg: 2.02 2.04 2.00 3/183 24549
/proc/meminfo: memFree=29681060/32872528 swapFree=162364/176672
[pid=24545] ppid=24542 vsize=1306180 CPUtime=3.09 cores=0,2,4,6
/proc/24545/stat : 24545 (toysat) R 24542 24545 23926 0 -1 4202496 267411 0 0 0 271 38 0 0 20 0 4 0 12183444 1337528320 267229 33554432000 4194304 16246674 140736342457808 140736342440808 5822428 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/24545/statm: 326545 267229 785 2943 0 323439 0
[pid=24545/tid=24546] ppid=24542 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/24545/task/24546/stat : 24546 (toysat) S 24542 24545 23926 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 12183444 1337528320 267229 33554432000 4194304 16246674 140736342457808 139685757168880 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=24545/tid=24547] ppid=24542 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/24545/task/24547/stat : 24547 (toysat) S 24542 24545 23926 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12183444 1337528320 267229 33554432000 4194304 16246674 140736342457808 139685746679024 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=24545/tid=24548] ppid=24542 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/24545/task/24548/stat : 24548 (toysat) S 24542 24545 23926 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 12183444 1337528320 267229 33554432000 4194304 16246674 140736342457808 139685736205488 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 1306180

[startup+6.3004 s]
/proc/loadavg: 2.02 2.04 2.00 3/183 24598
/proc/meminfo: memFree=30722408/32872528 swapFree=162364/176672
[pid=24545] ppid=24542 vsize=1306180 CPUtime=6.29 cores=0,2,4,6
/proc/24545/stat : 24545 (toysat) R 24542 24545 23926 0 -1 4202496 267413 0 0 0 591 38 0 0 20 0 4 0 12183444 1337528320 267231 33554432000 4194304 16246674 140736342457808 140736342439680 12477844 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/24545/statm: 326545 267231 787 2943 0 323439 0
[pid=24545/tid=24546] ppid=24542 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/24545/task/24546/stat : 24546 (toysat) S 24542 24545 23926 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 12183444 1337528320 267231 33554432000 4194304 16246674 140736342457808 139685757168880 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=24545/tid=24547] ppid=24542 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/24545/task/24547/stat : 24547 (toysat) S 24542 24545 23926 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12183444 1337528320 267231 33554432000 4194304 16246674 140736342457808 139685746679024 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=24545/tid=24548] ppid=24542 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/24545/task/24548/stat : 24548 (toysat) S 24542 24545 23926 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 12183444 1337528320 267231 33554432000 4194304 16246674 140736342457808 139685736205488 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 1306180

[startup+12.7004 s]
/proc/loadavg: 2.02 2.04 2.00 3/183 24598
/proc/meminfo: memFree=29682428/32872528 swapFree=162364/176672
[pid=24545] ppid=24542 vsize=1306180 CPUtime=12.68 cores=0,2,4,6
/proc/24545/stat : 24545 (toysat) R 24542 24545 23926 0 -1 4202496 267451 0 0 0 1230 38 0 0 20 0 4 0 12183444 1337528320 267269 33554432000 4194304 16246674 140736342457808 140736342439680 5545752 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/24545/statm: 326545 267269 787 2943 0 323439 0
[pid=24545/tid=24546] ppid=24542 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/24545/task/24546/stat : 24546 (toysat) S 24542 24545 23926 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 12183444 1337528320 267269 33554432000 4194304 16246674 140736342457808 139685757168880 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=24545/tid=24547] ppid=24542 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/24545/task/24547/stat : 24547 (toysat) S 24542 24545 23926 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12183444 1337528320 267269 33554432000 4194304 16246674 140736342457808 139685746679024 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=24545/tid=24548] ppid=24542 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/24545/task/24548/stat : 24548 (toysat) S 24542 24545 23926 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 12183444 1337528320 267269 33554432000 4194304 16246674 140736342457808 139685736205488 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 1306180

[startup+25.5004 s]
/proc/loadavg: 2.02 2.04 2.00 3/183 24598
/proc/meminfo: memFree=29682872/32872528 swapFree=162364/176672
[pid=24545] ppid=24542 vsize=1306180 CPUtime=25.49 cores=0,2,4,6
/proc/24545/stat : 24545 (toysat) R 24542 24545 23926 0 -1 4202496 267453 0 0 0 2510 39 0 0 20 0 4 0 12183444 1337528320 267271 33554432000 4194304 16246674 140736342457808 140736342440808 5754608 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/24545/statm: 326545 267271 787 2943 0 323439 0
[pid=24545/tid=24546] ppid=24542 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/24545/task/24546/stat : 24546 (toysat) S 24542 24545 23926 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 12183444 1337528320 267271 33554432000 4194304 16246674 140736342457808 139685757168880 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=24545/tid=24547] ppid=24542 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/24545/task/24547/stat : 24547 (toysat) S 24542 24545 23926 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12183444 1337528320 267271 33554432000 4194304 16246674 140736342457808 139685746679024 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=24545/tid=24548] ppid=24542 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/24545/task/24548/stat : 24548 (toysat) S 24542 24545 23926 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 12183444 1337528320 267271 33554432000 4194304 16246674 140736342457808 139685736205488 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 1306180

[startup+51.1005 s]
/proc/loadavg: 2.01 2.04 2.00 3/183 24599
/proc/meminfo: memFree=29682296/32872528 swapFree=162364/176672
[pid=24545] ppid=24542 vsize=1306180 CPUtime=51.08 cores=0,2,4,6
/proc/24545/stat : 24545 (toysat) R 24542 24545 23926 0 -1 4202496 267490 0 0 0 5069 39 0 0 20 0 4 0 12183444 1337528320 267307 33554432000 4194304 16246674 140736342457808 140736342440808 5667037 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/24545/statm: 326545 267307 789 2943 0 323439 0
[pid=24545/tid=24546] ppid=24542 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/24545/task/24546/stat : 24546 (toysat) S 24542 24545 23926 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 12183444 1337528320 267307 33554432000 4194304 16246674 140736342457808 139685757168880 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=24545/tid=24547] ppid=24542 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/24545/task/24547/stat : 24547 (toysat) S 24542 24545 23926 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12183444 1337528320 267307 33554432000 4194304 16246674 140736342457808 139685746679024 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=24545/tid=24548] ppid=24542 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/24545/task/24548/stat : 24548 (toysat) S 24542 24545 23926 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 12183444 1337528320 267307 33554432000 4194304 16246674 140736342457808 139685736205488 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 1306180

[startup+102.3 s]
/proc/loadavg: 2.00 2.03 2.00 3/183 24600
/proc/meminfo: memFree=29683192/32872528 swapFree=162364/176672
[pid=24545] ppid=24542 vsize=1306180 CPUtime=102.27 cores=0,2,4,6
/proc/24545/stat : 24545 (toysat) R 24542 24545 23926 0 -1 4202496 267510 0 0 0 10187 40 0 0 20 0 4 0 12183444 1337528320 267308 33554432000 4194304 16246674 140736342457808 140736342440808 5523192 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/24545/statm: 326545 267308 789 2943 0 323439 0
[pid=24545/tid=24546] ppid=24542 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/24545/task/24546/stat : 24546 (toysat) S 24542 24545 23926 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 12183444 1337528320 267308 33554432000 4194304 16246674 140736342457808 139685757168880 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=24545/tid=24547] ppid=24542 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/24545/task/24547/stat : 24547 (toysat) S 24542 24545 23926 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12183444 1337528320 267308 33554432000 4194304 16246674 140736342457808 139685746679024 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=24545/tid=24548] ppid=24542 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/24545/task/24548/stat : 24548 (toysat) S 24542 24545 23926 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 12183444 1337528320 267308 33554432000 4194304 16246674 140736342457808 139685736205488 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 1306180


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

/proc/24545/task/24548/stat : 24548 (toysat) S 24542 24545 23926 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 12183444 1338576896 267606 33554432000 4194304 16246674 140736342457808 139685736205488 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1301.9
Current children cumulated vsize (KiB) 1307204

[startup+1362.3 s]
/proc/loadavg: 2.14 2.06 2.01 3/183 24679
/proc/meminfo: memFree=29676336/32872528 swapFree=162364/176672
[pid=24545] ppid=24542 vsize=1307204 CPUtime=1361.89 cores=0,2,4,6
/proc/24545/stat : 24545 (toysat) R 24542 24545 23926 0 -1 4202496 268118 0 0 0 136129 60 0 0 20 0 4 0 12183444 1338576896 267606 33554432000 4194304 16246674 140736342457808 140736342440808 5721677 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/24545/statm: 326801 267606 790 2943 0 323695 0
[pid=24545/tid=24546] ppid=24542 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/24545/task/24546/stat : 24546 (toysat) S 24542 24545 23926 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 12183444 1338576896 267606 33554432000 4194304 16246674 140736342457808 139685757168880 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=24545/tid=24547] ppid=24542 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/24545/task/24547/stat : 24547 (toysat) S 24542 24545 23926 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12183444 1338576896 267606 33554432000 4194304 16246674 140736342457808 139685746679024 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=24545/tid=24548] ppid=24542 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/24545/task/24548/stat : 24548 (toysat) S 24542 24545 23926 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 12183444 1338576896 267606 33554432000 4194304 16246674 140736342457808 139685736205488 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1361.89
Current children cumulated vsize (KiB) 1307204

[startup+1422.3 s]
/proc/loadavg: 2.13 2.08 2.01 3/183 24680
/proc/meminfo: memFree=29676268/32872528 swapFree=162364/176672
[pid=24545] ppid=24542 vsize=1308228 CPUtime=1421.89 cores=0,2,4,6
/proc/24545/stat : 24545 (toysat) R 24542 24545 23926 0 -1 4202496 268208 0 0 0 142128 61 0 0 20 0 4 0 12183444 1339625472 267696 33554432000 4194304 16246674 140736342457808 140736342440808 5522909 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/24545/statm: 327057 267696 790 2943 0 323951 0
[pid=24545/tid=24546] ppid=24542 vsize=1308228 CPUtime=0 cores=0,2,4,6
/proc/24545/task/24546/stat : 24546 (toysat) S 24542 24545 23926 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 12183444 1339625472 267696 33554432000 4194304 16246674 140736342457808 139685757168880 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=24545/tid=24547] ppid=24542 vsize=1308228 CPUtime=0 cores=0,2,4,6
/proc/24545/task/24547/stat : 24547 (toysat) S 24542 24545 23926 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12183444 1339625472 267696 33554432000 4194304 16246674 140736342457808 139685746679024 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=24545/tid=24548] ppid=24542 vsize=1308228 CPUtime=0 cores=0,2,4,6
/proc/24545/task/24548/stat : 24548 (toysat) S 24542 24545 23926 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 12183444 1339625472 267696 33554432000 4194304 16246674 140736342457808 139685736205488 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1421.89
Current children cumulated vsize (KiB) 1308228

[startup+1482.3 s]
/proc/loadavg: 2.10 2.08 2.01 4/183 24681
/proc/meminfo: memFree=29676024/32872528 swapFree=162368/176676
[pid=24545] ppid=24542 vsize=1308228 CPUtime=1481.87 cores=0,2,4,6
/proc/24545/stat : 24545 (toysat) R 24542 24545 23926 0 -1 4202496 268208 0 0 0 148125 62 0 0 20 0 4 0 12183444 1339625472 267696 33554432000 4194304 16246674 140736342457808 140736342440808 5827966 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/24545/statm: 327057 267696 790 2943 0 323951 0
[pid=24545/tid=24546] ppid=24542 vsize=1308228 CPUtime=0 cores=0,2,4,6
/proc/24545/task/24546/stat : 24546 (toysat) S 24542 24545 23926 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 12183444 1339625472 267696 33554432000 4194304 16246674 140736342457808 139685757168880 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=24545/tid=24547] ppid=24542 vsize=1308228 CPUtime=0 cores=0,2,4,6
/proc/24545/task/24547/stat : 24547 (toysat) S 24542 24545 23926 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12183444 1339625472 267696 33554432000 4194304 16246674 140736342457808 139685746679024 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=24545/tid=24548] ppid=24542 vsize=1308228 CPUtime=0 cores=0,2,4,6
/proc/24545/task/24548/stat : 24548 (toysat) S 24542 24545 23926 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 12183444 1339625472 267696 33554432000 4194304 16246674 140736342457808 139685736205488 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1481.87
Current children cumulated vsize (KiB) 1308228

[startup+1542.31 s]
/proc/loadavg: 2.04 2.06 2.01 3/183 24682
/proc/meminfo: memFree=29674012/32872528 swapFree=162364/176672
[pid=24545] ppid=24542 vsize=1308228 CPUtime=1541.87 cores=0,2,4,6
/proc/24545/stat : 24545 (toysat) R 24542 24545 23926 0 -1 4202496 268209 0 0 0 154124 63 0 0 20 0 4 0 12183444 1339625472 267952 33554432000 4194304 16246674 140736342457808 140736342439680 5822604 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/24545/statm: 327057 267952 790 2943 0 323951 0
[pid=24545/tid=24546] ppid=24542 vsize=1308228 CPUtime=0 cores=0,2,4,6
/proc/24545/task/24546/stat : 24546 (toysat) S 24542 24545 23926 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 12183444 1339625472 267952 33554432000 4194304 16246674 140736342457808 139685757168880 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=24545/tid=24547] ppid=24542 vsize=1308228 CPUtime=0 cores=0,2,4,6
/proc/24545/task/24547/stat : 24547 (toysat) S 24542 24545 23926 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12183444 1339625472 267952 33554432000 4194304 16246674 140736342457808 139685746679024 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=24545/tid=24548] ppid=24542 vsize=1308228 CPUtime=0 cores=0,2,4,6
/proc/24545/task/24548/stat : 24548 (toysat) S 24542 24545 23926 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 12183444 1339625472 267952 33554432000 4194304 16246674 140736342457808 139685736205488 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1541.87
Current children cumulated vsize (KiB) 1308228

[startup+1602.3 s]
/proc/loadavg: 2.01 2.05 2.00 3/183 24684
/proc/meminfo: memFree=29674028/32872528 swapFree=162364/176672
[pid=24545] ppid=24542 vsize=1308228 CPUtime=1601.85 cores=0,2,4,6
/proc/24545/stat : 24545 (toysat) R 24542 24545 23926 0 -1 4202496 268209 0 0 0 160122 63 0 0 20 0 4 0 12183444 1339625472 267952 33554432000 4194304 16246674 140736342457808 140736342440808 13927243 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/24545/statm: 327057 267952 790 2943 0 323951 0
[pid=24545/tid=24546] ppid=24542 vsize=1308228 CPUtime=0 cores=0,2,4,6
/proc/24545/task/24546/stat : 24546 (toysat) S 24542 24545 23926 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 12183444 1339625472 267952 33554432000 4194304 16246674 140736342457808 139685757168880 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=24545/tid=24547] ppid=24542 vsize=1308228 CPUtime=0 cores=0,2,4,6
/proc/24545/task/24547/stat : 24547 (toysat) S 24542 24545 23926 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12183444 1339625472 267952 33554432000 4194304 16246674 140736342457808 139685746679024 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=24545/tid=24548] ppid=24542 vsize=1308228 CPUtime=0 cores=0,2,4,6
/proc/24545/task/24548/stat : 24548 (toysat) S 24542 24545 23926 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 12183444 1339625472 267952 33554432000 4194304 16246674 140736342457808 139685736205488 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1601.85
Current children cumulated vsize (KiB) 1308228

[startup+1662.3 s]
/proc/loadavg: 2.04 2.05 2.00 3/183 24685
/proc/meminfo: memFree=29674032/32872528 swapFree=162364/176672
[pid=24545] ppid=24542 vsize=1308228 CPUtime=1661.84 cores=0,2,4,6
/proc/24545/stat : 24545 (toysat) R 24542 24545 23926 0 -1 4202496 268209 0 0 0 166120 64 0 0 20 0 4 0 12183444 1339625472 267952 33554432000 4194304 16246674 140736342457808 140736342439680 5589077 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/24545/statm: 327057 267952 790 2943 0 323951 0
[pid=24545/tid=24546] ppid=24542 vsize=1308228 CPUtime=0 cores=0,2,4,6
/proc/24545/task/24546/stat : 24546 (toysat) S 24542 24545 23926 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 12183444 1339625472 267952 33554432000 4194304 16246674 140736342457808 139685757168880 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=24545/tid=24547] ppid=24542 vsize=1308228 CPUtime=0 cores=0,2,4,6
/proc/24545/task/24547/stat : 24547 (toysat) S 24542 24545 23926 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12183444 1339625472 267952 33554432000 4194304 16246674 140736342457808 139685746679024 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=24545/tid=24548] ppid=24542 vsize=1308228 CPUtime=0 cores=0,2,4,6
/proc/24545/task/24548/stat : 24548 (toysat) S 24542 24545 23926 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 12183444 1339625472 267952 33554432000 4194304 16246674 140736342457808 139685736205488 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1661.84
Current children cumulated vsize (KiB) 1308228

[startup+1722.3 s]
/proc/loadavg: 2.10 2.07 2.01 3/184 24689
/proc/meminfo: memFree=29673960/32872528 swapFree=162364/176672
[pid=24545] ppid=24542 vsize=1308228 CPUtime=1721.83 cores=0,2,4,6
/proc/24545/stat : 24545 (toysat) R 24542 24545 23926 0 -1 4202496 268209 0 0 0 172118 65 0 0 20 0 4 0 12183444 1339625472 267952 33554432000 4194304 16246674 140736342457808 140736342439680 5822484 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/24545/statm: 327057 267952 790 2943 0 323951 0
[pid=24545/tid=24546] ppid=24542 vsize=1308228 CPUtime=0 cores=0,2,4,6
/proc/24545/task/24546/stat : 24546 (toysat) S 24542 24545 23926 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 12183444 1339625472 267952 33554432000 4194304 16246674 140736342457808 139685757168880 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=24545/tid=24547] ppid=24542 vsize=1308228 CPUtime=0 cores=0,2,4,6
/proc/24545/task/24547/stat : 24547 (toysat) S 24542 24545 23926 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12183444 1339625472 267952 33554432000 4194304 16246674 140736342457808 139685746679024 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=24545/tid=24548] ppid=24542 vsize=1308228 CPUtime=0 cores=0,2,4,6
/proc/24545/task/24548/stat : 24548 (toysat) S 24542 24545 23926 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 12183444 1339625472 267952 33554432000 4194304 16246674 140736342457808 139685736205488 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1721.83
Current children cumulated vsize (KiB) 1308228

[startup+1782.3 s]
/proc/loadavg: 2.12 2.08 2.01 3/183 24690
/proc/meminfo: memFree=29673720/32872528 swapFree=162364/176672
[pid=24545] ppid=24542 vsize=1308228 CPUtime=1781.82 cores=0,2,4,6
/proc/24545/stat : 24545 (toysat) R 24542 24545 23926 0 -1 4202496 268209 0 0 0 178116 66 0 0 20 0 4 0 12183444 1339625472 267952 33554432000 4194304 16246674 140736342457808 140736342440808 5663615 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/24545/statm: 327057 267952 790 2943 0 323951 0
[pid=24545/tid=24546] ppid=24542 vsize=1308228 CPUtime=0 cores=0,2,4,6
/proc/24545/task/24546/stat : 24546 (toysat) S 24542 24545 23926 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 12183444 1339625472 267952 33554432000 4194304 16246674 140736342457808 139685757168880 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=24545/tid=24547] ppid=24542 vsize=1308228 CPUtime=0 cores=0,2,4,6
/proc/24545/task/24547/stat : 24547 (toysat) S 24542 24545 23926 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12183444 1339625472 267952 33554432000 4194304 16246674 140736342457808 139685746679024 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=24545/tid=24548] ppid=24542 vsize=1308228 CPUtime=0 cores=0,2,4,6
/proc/24545/task/24548/stat : 24548 (toysat) S 24542 24545 23926 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 12183444 1339625472 267952 33554432000 4194304 16246674 140736342457808 139685736205488 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1781.82
Current children cumulated vsize (KiB) 1308228



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.5 s]
/proc/loadavg: 2.24 2.11 2.02 3/183 24690
/proc/meminfo: memFree=29674092/32872528 swapFree=162364/176672
[pid=24545] ppid=24542 vsize=1308228 CPUtime=1800.02 cores=0,2,4,6
/proc/24545/stat : 24545 (toysat) R 24542 24545 23926 0 -1 4202496 268236 0 0 0 179936 66 0 0 20 0 4 0 12183444 1339625472 267979 33554432000 4194304 16246674 140736342457808 140736342439680 5523307 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/24545/statm: 327057 267979 790 2943 0 323951 0
[pid=24545/tid=24546] ppid=24542 vsize=1308228 CPUtime=0 cores=0,2,4,6
/proc/24545/task/24546/stat : 24546 (toysat) S 24542 24545 23926 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 12183444 1339625472 267979 33554432000 4194304 16246674 140736342457808 139685757168880 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=24545/tid=24547] ppid=24542 vsize=1308228 CPUtime=0 cores=0,2,4,6
/proc/24545/task/24547/stat : 24547 (toysat) S 24542 24545 23926 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12183444 1339625472 267979 33554432000 4194304 16246674 140736342457808 139685746679024 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=24545/tid=24548] ppid=24542 vsize=1308228 CPUtime=0 cores=0,2,4,6
/proc/24545/task/24548/stat : 24548 (toysat) S 24542 24545 23926 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 12183444 1339625472 267979 33554432000 4194304 16246674 140736342457808 139685736205488 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1800.02
Current children cumulated vsize (KiB) 1308228

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

[startup+1800.5 s]
/proc/loadavg: 2.24 2.11 2.02 3/183 24690
/proc/meminfo: memFree=29674092/32872528 swapFree=162364/176672
[pid=24545] ppid=24542 vsize=1308228 CPUtime=1800.02 cores=0,2,4,6
/proc/24545/stat : 24545 (toysat) R 24542 24545 23926 0 -1 4202496 268236 0 0 0 179936 66 0 0 20 0 4 0 12183444 1339625472 267979 33554432000 4194304 16246674 140736342457808 140736342439680 5523307 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/24545/statm: 327057 267979 790 2943 0 323951 0
[pid=24545/tid=24546] ppid=24542 vsize=1308228 CPUtime=0 cores=0,2,4,6
/proc/24545/task/24546/stat : 24546 (toysat) S 24542 24545 23926 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 12183444 1339625472 267979 33554432000 4194304 16246674 140736342457808 139685757168880 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=24545/tid=24547] ppid=24542 vsize=1308228 CPUtime=0 cores=0,2,4,6
/proc/24545/task/24547/stat : 24547 (toysat) S 24542 24545 23926 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12183444 1339625472 267979 33554432000 4194304 16246674 140736342457808 139685746679024 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=24545/tid=24548] ppid=24542 vsize=1308228 CPUtime=0 cores=0,2,4,6
/proc/24545/task/24548/stat : 24548 (toysat) S 24542 24545 23926 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 12183444 1339625472 267979 33554432000 4194304 16246674 140736342457808 139685736205488 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1800.02
Current children cumulated vsize (KiB) 1308228

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1800.51
CPU time (s): 1800.04
CPU user time (s): 1799.37
CPU system time (s): 0.668898
CPU usage (%): 99.9738
Max. virtual memory (cumulated for all children) (KiB): 1308228

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.37
system time used= 0.668898
maximum resident set size= 1071916
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 268236
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= 344
involuntary context switches= 1978

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 4.37333 second user time and 7.16691 second system time

The end

Begin job on node105 at 2016-06-16 20:22:15
IDJOB=4096029
IDBENCH=107556
IDSOLVER=2542
FILE ID=node105/4096029-1466101335
RUNJOBID= node105-1466095897-23942
PBS_JOBID= 19904031
Free space on /tmp= 71732 MiB

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

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

MD5SUM BENCH= b1740a8035bce329c3857fd82d699c14
RANDOM SEED=1458527954

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

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:       32872528 kB
MemFree:        30750216 kB
Buffers:           47380 kB
Cached:           122816 kB
SwapCached:         1480 kB
Active:          1164968 kB
Inactive:          81472 kB
Active(anon):    1076948 kB
Inactive(anon):     1660 kB
Active(file):      88020 kB
Inactive(file):    79812 kB
Unevictable:      176672 kB
Mlocked:          162364 kB
SwapTotal:      67108856 kB
SwapFree:       67097232 kB
Dirty:             16620 kB
Writeback:             0 kB
AnonPages:       1251020 kB
Mapped:            10272 kB
Shmem:                 0 kB
Slab:             568972 kB
SReclaimable:      12796 kB
SUnreclaim:       556176 kB
KernelStack:        1520 kB
PageTables:         6508 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    1393884 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:   1083392 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= 71716 MiB
End job on node105 at 2016-06-16 20:52:16