0.00/0.00	c 2016-06-16T19:29:32+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-4095882-1466098171.opb"]
0.09/0.19	c use --random-gen="3813983774 1864647348 2849089703 2650458279 3265603137 3038974318 3140019846 2035279149 2378160800 2572629436 1709838876 2224565811 4160510433 2261463189 1912035751 3158846859 2032718212 3982586859 3451093304 1316760301 1975566192 397563609 2550828715 1982341367 439488118 4146754614 3787581481 1469145258 3748733782 566768711 2266765307 2177101447 2624063182 3438380151 3845279736 1122437014 2023987475 1139437035 365077570 3337827847 1120144099 2786289529 3753070156 931811236 3732634414 2141930417 3397820652 4076093760 144288699 176412349 3628748566 3881948139 1095200641 3582642583 1259195442 3541387825 1161385455 3753313751 1762374974 2867379886 4017761125 224238399 1483724743 1040674676 3673839675 1913354408 3658970738 270136543 1247997257 320361031 512085199 3448577442 2604239794 2220083587 1240361105 3483894177 2124991587 1613423443 3858547988 1082661839 3044763048 4265799283 1986795711 999496544 125290794 142260781 3028412353 3830035392 756099975 2622434805 291124339 1545418813 3619988862 863171873 455094998 1096767517 2191628766 1906097639 1506458342 163673784 94437600 871518720 3363842163 3340215105 1555582832 144674393 3316941030 2171990685 377906492 2761177614 193178857 2788358648 2395812886 2250026106 3992083644 913666349 456866354 1077262140 2638439103 2462788888 4061845705 3138209874 849622461 4056217902 1191086210 1197542965 491855827 3553339652 2493421790 4203805060 2983578924 2005246370 611277545 1973600465 890956186 780866876 2776518636 12907522 3947945730 2795254325 201385354 1333249769 1920883250 4252797492 2695495314 1439153927 1709771928 2902160885 3521923490 3895749916 2105747923 2438753101 126716326 3424945037 782188612 2653141938 4266606377 2464121566 1009434571 1816156661 665445238 3553395641 3331427450 3977057518 3882027320 2665548877 3185908296 927475827 676983075 229880283 1432288240 2734932605 2980789344 2207971922 2203680589 2705472974 1949523208 1619395831 1308574916 1996135952 1725432593 64595008 2195649720 3513862753 820684791 1761988387 3483983077 2299069726 2992922277 1982269635 205504605 2718482804 770199140 3128552010 3153414928 2795337381 955459241 3937873097 2661311170 2613868771 2759856519 3606604345 154298926 2453677697 819357004 3064470316 2769109367 4145047888 1890811573 2977358405 2323897260 1650720277 4275158461 1926468000 743899372 3818970630 2021569968 2776490539 808371191 3547647143 4151684414 1303095212 3924792754 272492838 3260668402 4099562741 3707624135 2804934430 2987823667 1891771683 1109801769 33305884 3491686352 3434891836 1833881567 1952538114 4198697106 1445553944 2857150959 2414999273 1586398944 611226639 4243608330 3675826178 1942099490 2354920129 4099435123 4255716750 3713428459 160786886 4049794416 1845656369 2864591992 3250146667 1419600215 1764628976 255 362436" option to reproduce the execution
0.09/0.19	c #vars 181
0.09/0.19	c #constraints 90
0.09/0.19	c Solving starts ...
0.09/0.19	c ============================[ Search Statistics ]============================
0.09/0.19	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
0.09/0.19	c       |         |          |          |    Limit     GC | Var      | Constra 
0.09/0.19	c =============================================================================
0.09/0.19	c  0.0s |       0 |        0 |        0 |      120      0 |        0 |        0
0.09/0.19	c  0.0s |       1 |      162 |      100 |      120      0 |        0 |        0
0.09/0.19	c  0.0s |       2 |      423 |      250 |      132      0 |        0 |        0
0.09/0.19	c  0.1s |       3 |      763 |      475 |      146      2 |        0 |        0
0.09/0.19	c  0.1s |       4 |     1368 |      813 |      161      5 |        0 |        0
0.09/0.19	c  0.1s |       5 |     2031 |     1320 |      178      8 |        0 |        0
0.09/0.23	c  0.2s |       6 |     3107 |     2081 |      216     14 |        0 |        0
0.09/0.35	c  0.3s |       7 |     4437 |     3223 |      238     20 |        0 |        0
0.09/0.52	c  0.5s |       8 |     6949 |     4936 |      262     30 |        0 |        0
0.69/0.78	c  0.8s |       9 |    10339 |     7506 |      289     44 |        0 |        0
1.09/1.14	c  1.1s |      10 |    15494 |    11361 |      318     63 |        0 |        0
1.49/1.60	c  1.6s |      11 |    23053 |    17144 |      350     90 |        0 |        0
2.19/2.23	c  2.2s |      12 |    35576 |    25819 |      386    132 |        0 |        0
3.19/3.29	c  3.3s |      13 |    53400 |    38832 |      425    187 |        0 |        0
4.89/4.95	c  4.9s |      14 |    80966 |    58352 |      468    266 |        0 |        0
6.89/6.96	c  6.9s |      14 |   113506 |    82852 |      468    354 |        0 |        0
7.29/7.35	c  7.3s |      15 |   120004 |    87632 |      515    372 |        0 |        0
9.29/9.35	c  9.3s |      15 |   151038 |   110832 |      515    448 |        0 |        0
11.09/11.15	c 11.1s |      16 |   178593 |   131552 |      567    518 |        0 |        0
13.09/13.16	c 13.1s |      16 |   209200 |   155052 |      567    590 |        0 |        0
15.08/15.16	c 15.1s |      16 |   239237 |   176952 |      567    662 |        0 |        0
16.89/16.98	c 17.0s |      17 |   269061 |   197432 |      624    730 |        0 |        0
18.88/18.99	c 19.0s |      17 |   299170 |   220432 |      624    799 |        0 |        0
20.88/20.99	c 21.0s |      17 |   329877 |   243132 |      624    867 |        0 |        0
22.98/23.00	c 23.0s |      17 |   357696 |   263932 |      624    930 |        0 |        0
24.98/25.00	c 25.0s |      17 |   387134 |   285632 |      624    994 |        0 |        0
25.98/26.00	c 26.0s |      18 |   400998 |   296252 |      687   1025 |        0 |        0
27.99/28.01	c 28.0s |      18 |   430869 |   317752 |      687   1083 |        0 |        0
29.98/30.01	c 30.0s |      18 |   459362 |   339652 |      687   1140 |        0 |        0
31.98/32.02	c 32.0s |      18 |   489202 |   362252 |      687   1201 |        0 |        0
33.98/34.03	c 34.0s |      18 |   518568 |   384752 |      687   1261 |        0 |        0
35.98/36.03	c 36.0s |      18 |   547642 |   407052 |      687   1321 |        0 |        0
37.98/38.04	c 38.0s |      18 |   577523 |   429552 |      687   1380 |        0 |        0
39.38/39.40	c 39.4s |      19 |   597681 |   444482 |      756   1419 |        0 |        0
41.39/41.40	c 41.4s |      19 |   626376 |   465982 |      756   1470 |        0 |        0
43.39/43.41	c 43.4s |      19 |   652125 |   485982 |      756   1521 |        0 |        0
45.39/45.41	c 45.4s |      19 |   681050 |   507882 |      756   1577 |        0 |        0
47.38/47.42	c 47.4s |      19 |   710090 |   529082 |      756   1631 |        0 |        0
49.38/49.43	c 49.4s |      19 |   738272 |   549082 |      756   1682 |        0 |        0
51.38/51.43	c 51.4s |      19 |   767762 |   569382 |      756   1734 |        0 |        0
53.38/53.43	c 53.4s |      19 |   797457 |   590082 |      756   1787 |        0 |        0
55.39/55.44	c 55.4s |      19 |   826846 |   610382 |      756   1839 |        0 |        0
57.38/57.44	c 57.4s |      19 |   857673 |   630982 |      756   1891 |        0 |        0
59.38/59.45	c 59.4s |      19 |   887787 |   650982 |      756   1943 |        0 |        0
60.99/61.06	c 61.0s |      20 |   911787 |   666827 |      832   1982 |        0 |        0
62.98/63.06	c 63.1s |      20 |   937148 |   686627 |      832   2026 |        0 |        0
64.98/65.07	c 65.1s |      20 |   962420 |   706427 |      832   2070 |        0 |        0
66.98/67.08	c 67.1s |      20 |   989378 |   727327 |      832   2117 |        0 |        0
68.98/69.09	c 69.1s |      20 |  1014718 |   747327 |      832   2162 |        0 |        0
70.98/71.09	c 71.1s |      20 |  1040508 |   767027 |      832   2206 |        0 |        0
72.98/73.10	c 73.1s |      20 |  1067087 |   787227 |      832   2251 |        0 |        0
75.08/75.10	c 75.1s |      20 |  1093769 |   807427 |      832   2297 |        0 |        0
77.08/77.11	c 77.1s |      20 |  1118929 |   827027 |      832   2341 |        0 |        0
79.08/79.11	c 79.1s |      20 |  1146280 |   847927 |      832   2388 |        0 |        0
81.07/81.11	c 81.1s |      20 |  1173857 |   868627 |      832   2436 |        0 |        0
83.07/83.12	c 83.1s |      20 |  1201019 |   889327 |      832   2484 |        0 |        0
85.09/85.12	c 85.1s |      20 |  1229812 |   910827 |      832   2533 |        0 |        0
87.08/87.12	c 87.1s |      20 |  1256314 |   930827 |      832   2579 |        0 |        0
89.08/89.13	c 89.1s |      20 |  1283129 |   951327 |      832   2626 |        0 |        0
91.08/91.13	c 91.1s |      20 |  1309219 |   971827 |      832   2674 |        0 |        0
93.08/93.14	c 93.1s |      20 |  1335701 |   991727 |      832   2720 |        0 |        0
93.99/94.00	c 94.0s |      21 |  1346939 |  1000345 |      916   2738 |        0 |        0
95.98/96.01	c 96.0s |      21 |  1374723 |  1019345 |      916   2777 |        0 |        0
97.98/98.02	c 98.0s |      21 |  1404362 |  1039945 |      916   2819 |        0 |        0
99.98/100.03	c  100s |      21 |  1429255 |  1058145 |      916   2857 |        0 |        0
101.98/102.03	c  102s |      21 |  1453255 |  1076045 |      916   2893 |        0 |        0
103.97/104.04	c  104s |      21 |  1477339 |  1093545 |      916   2930 |        0 |        0
105.98/106.05	c  106s |      21 |  1505411 |  1112945 |      916   2970 |        0 |        0
107.97/108.05	c  108s |      21 |  1536030 |  1133145 |      916   3011 |        0 |        0
109.97/110.05	c  110s |      21 |  1560620 |  1151645 |      916   3049 |        0 |        0
111.97/112.05	c  112s |      21 |  1589193 |  1171645 |      916   3090 |        0 |        0
113.97/114.06	c  114s |      21 |  1613216 |  1189545 |      916   3127 |        0 |        0
115.98/116.07	c  116s |      21 |  1640136 |  1208845 |      916   3166 |        0 |        0
117.97/118.08	c  118s |      21 |  1664404 |  1227045 |      916   3204 |        0 |        0
119.97/120.08	c  120s |      21 |  1691171 |  1246245 |      916   3244 |        0 |        0
121.97/122.09	c  122s |      21 |  1715322 |  1264345 |      916   3281 |        0 |        0
123.97/124.09	c  124s |      21 |  1735661 |  1280645 |      916   3314 |        0 |        0
126.07/126.10	c  126s |      21 |  1759819 |  1298545 |      916   3351 |        0 |        0
128.07/128.10	c  128s |      21 |  1783165 |  1316045 |      916   3387 |        0 |        0
130.07/130.11	c  130s |      21 |  1805290 |  1333245 |      916   3422 |        0 |        0
132.07/132.11	c  132s |      21 |  1829777 |  1351145 |      916   3459 |        0 |        0
134.07/134.11	c  134s |      21 |  1852736 |  1368345 |      916   3495 |        0 |        0
136.07/136.11	c  136s |      21 |  1879419 |  1387045 |      916   3534 |        0 |        0
138.07/138.12	c  138s |      21 |  1906212 |  1405545 |      916   3573 |        0 |        0
140.08/140.12	c  140s |      21 |  1928938 |  1422845 |      916   3609 |        0 |        0
142.07/142.13	c  142s |      21 |  1955579 |  1441545 |      916   3648 |        0 |        0
144.07/144.13	c  144s |      21 |  1978069 |  1458845 |      916   3683 |        0 |        0
146.07/146.14	c  146s |      21 |  2004861 |  1477445 |      916   3722 |        0 |        0
148.07/148.14	c  148s |      21 |  2033619 |  1496645 |     1008   3760 |        0 |        0
148.47/148.55	c  148s |      22 |  2039325 |  1500622 |     1008   3768 |        0 |        0
150.47/150.55	c  150s |      22 |  2064330 |  1519422 |     1008   3803 |        0 |        0
152.47/152.55	c  152s |      22 |  2089241 |  1538322 |     1008   3838 |        0 |        0
154.47/154.56	c  154s |      22 |  2114278 |  1557222 |     1008   3872 |        0 |        0
156.47/156.56	c  156s |      22 |  2140452 |  1576322 |     1008   3908 |        0 |        0
158.47/158.57	c  158s |      22 |  2164434 |  1594622 |     1008   3942 |        0 |        0
160.47/160.58	c  160s |      22 |  2187401 |  1612322 |     1008   3976 |        0 |        0
162.47/162.59	c  162s |      22 |  2212778 |  1631622 |     1008   4013 |        0 |        0
164.46/164.59	c  164s |      22 |  2239293 |  1651222 |     1008   4051 |        0 |        0
166.47/166.59	c  166s |      22 |  2265779 |  1669422 |     1008   4085 |        0 |        0
168.56/168.60	c  168s |      22 |  2293210 |  1689022 |     1008   4122 |        0 |        0
170.56/170.60	c  170s |      22 |  2319354 |  1708022 |     1008   4158 |        0 |        0
172.56/172.61	c  172s |      22 |  2344513 |  1727122 |     1008   4195 |        0 |        0
174.56/174.62	c  174s |      22 |  2368843 |  1745922 |     1008   4231 |        0 |        0
176.56/176.62	c  176s |      22 |  2392632 |  1764022 |     1008   4265 |        0 |        0
178.57/178.63	c  178s |      22 |  2418106 |  1783622 |     1008   4302 |        0 |        0
180.56/180.63	c  180s |      22 |  2443294 |  1802422 |     1008   4338 |        0 |        0
182.56/182.63	c  182s |      22 |  2468591 |  1821522 |     1008   4374 |        0 |        0
184.56/184.63	c  184s |      22 |  2492869 |  1840022 |     1008   4408 |        0 |        0
186.56/186.64	c  186s |      22 |  2518607 |  1858722 |     1008   4442 |        0 |        0
188.56/188.64	c  188s |      22 |  2544745 |  1877922 |     1008   4479 |        0 |        0
190.56/190.65	c  190s |      22 |  2569863 |  1896722 |     1008   4514 |        0 |        0
192.56/192.66	c  192s |      22 |  2596838 |  1916322 |     1008   4551 |        0 |        0
194.56/194.67	c  194s |      22 |  2622561 |  1935022 |     1008   4587 |        0 |        0
196.56/196.67	c  196s |      22 |  2647971 |  1953822 |     1008   4622 |        0 |        0
198.56/198.67	c  198s |      22 |  2671645 |  1971922 |     1008   4656 |        0 |        0
200.57/200.68	c  200s |      22 |  2695261 |  1989822 |     1008   4690 |        0 |        0
202.56/202.69	c  202s |      22 |  2720830 |  2008222 |     1008   4725 |        0 |        0
204.56/204.69	c  204s |      22 |  2745782 |  2027322 |     1008   4760 |        0 |        0
206.66/206.70	c  206s |      22 |  2770032 |  2045622 |     1008   4795 |        0 |        0
208.66/208.70	c  208s |      22 |  2795018 |  2064322 |     1008   4830 |        0 |        0
210.66/210.70	c  210s |      22 |  2819376 |  2082622 |     1008   4865 |        0 |        0
212.66/212.71	c  212s |      22 |  2842349 |  2099922 |     1008   4898 |        0 |        0
214.66/214.72	c  214s |      22 |  2865907 |  2117822 |     1008   4932 |        0 |        0
216.66/216.72	c  216s |      22 |  2887710 |  2134322 |     1008   4963 |        0 |        0
218.65/218.73	c  218s |      22 |  2911509 |  2153122 |     1008   4998 |        0 |        0
220.65/220.73	c  220s |      22 |  2934129 |  2170822 |     1008   5031 |        0 |        0
222.66/222.75	c  222s |      22 |  2957001 |  2188722 |     1008   5065 |        0 |        0
224.65/224.75	c  224s |      22 |  2983067 |  2208022 |     1008   5101 |        0 |        0
226.65/226.75	c  226s |      22 |  3008071 |  2227022 |     1008   5137 |        0 |        0
228.65/228.76	c  228s |      22 |  3032655 |  2245422 |     1109   5169 |        0 |        0
229.26/229.37	c  229s |      23 |  3040365 |  2251038 |     1109   5179 |        0 |        0
231.25/231.38	c  231s |      23 |  3064622 |  2269138 |     1109   5210 |        0 |        0
233.25/233.38	c  233s |      23 |  3088500 |  2286438 |     1109   5240 |        0 |        0
235.25/235.38	c  235s |      23 |  3113513 |  2304538 |     1109   5272 |        0 |        0
237.25/237.39	c  237s |      23 |  3137757 |  2322438 |     1109   5304 |        0 |        0
239.36/239.40	c  239s |      23 |  3163319 |  2340738 |     1109   5336 |        0 |        0
241.36/241.41	c  241s |      23 |  3187284 |  2358438 |     1109   5367 |        0 |        0
243.36/243.41	c  243s |      23 |  3212089 |  2376938 |     1109   5399 |        0 |        0
245.35/245.41	c  245s |      23 |  3236583 |  2395338 |     1109   5431 |        0 |        0
247.35/247.41	c  247s |      23 |  3261791 |  2413838 |     1109   5463 |        0 |        0
249.35/249.42	c  249s |      23 |  3284978 |  2431138 |     1109   5493 |        0 |        0
251.35/251.42	c  251s |      23 |  3308321 |  2448338 |     1109   5523 |        0 |        0
253.36/253.42	c  253s |      23 |  3331142 |  2465838 |     1109   5553 |        0 |        0
255.35/255.42	c  255s |      23 |  3356304 |  2484838 |     1109   5586 |        0 |        0
257.35/257.43	c  257s |      23 |  3379214 |  2502038 |     1109   5615 |        0 |        0
259.35/259.43	c  259s |      23 |  3402837 |  2519238 |     1109   5645 |        0 |        0
261.35/261.44	c  261s |      23 |  3425392 |  2536638 |     1109   5675 |        0 |        0
263.36/263.45	c  263s |      23 |  3450486 |  2555338 |     1109   5708 |        0 |        0
265.35/265.46	c  265s |      23 |  3475201 |  2573638 |     1109   5739 |        0 |        0
267.35/267.46	c  267s |      23 |  3498587 |  2591138 |     1109   5769 |        0 |        0
269.35/269.46	c  269s |      23 |  3520679 |  2608138 |     1109   5799 |        0 |        0
271.35/271.46	c  271s |      23 |  3545186 |  2625838 |     1109   5830 |        0 |        0
273.35/273.47	c  273s |      23 |  3572605 |  2644638 |     1109   5862 |        0 |        0
275.35/275.47	c  275s |      23 |  3598763 |  2662438 |     1109   5893 |        0 |        0
277.34/277.47	c  277s |      23 |  3625472 |  2681038 |     1109   5925 |        0 |        0
279.34/279.48	c  279s |      23 |  3648907 |  2699338 |     1109   5957 |        0 |        0
281.34/281.49	c  281s |      23 |  3672249 |  2717538 |     1109   5988 |        0 |        0
283.44/283.50	c  283s |      23 |  3695476 |  2735738 |     1109   6019 |        0 |        0
285.44/285.50	c  285s |      23 |  3719417 |  2753538 |     1109   6049 |        0 |        0
287.45/287.50	c  287s |      23 |  3743906 |  2771738 |     1109   6080 |        0 |        0
289.44/289.51	c  289s |      23 |  3766027 |  2788038 |     1109   6108 |        0 |        0
291.44/291.51	c  291s |      23 |  3787695 |  2804138 |     1109   6135 |        0 |        0
293.44/293.51	c  293s |      23 |  3807160 |  2819138 |     1109   6161 |        0 |        0
295.44/295.52	c  295s |      23 |  3828596 |  2835638 |     1109   6190 |        0 |        0
297.45/297.53	c  297s |      23 |  3848138 |  2850838 |     1109   6216 |        0 |        0
299.44/299.53	c  299s |      23 |  3871042 |  2867538 |     1109   6245 |        0 |        0
301.44/301.54	c  301s |      23 |  3893712 |  2884038 |     1109   6273 |        0 |        0
303.44/303.55	c  303s |      23 |  3916397 |  2900238 |     1109   6301 |        0 |        0
305.44/305.56	c  305s |      23 |  3940595 |  2917538 |     1109   6331 |        0 |        0
307.44/307.57	c  307s |      23 |  3963242 |  2934538 |     1109   6360 |        0 |        0
309.45/309.57	c  309s |      23 |  3986030 |  2951338 |     1109   6389 |        0 |        0
311.44/311.57	c  311s |      23 |  4009499 |  2968738 |     1109   6418 |        0 |        0
313.45/313.57	c  313s |      23 |  4033103 |  2985738 |     1109   6448 |        0 |        0
315.45/315.57	c  315s |      23 |  4055396 |  3002838 |     1109   6477 |        0 |        0
317.45/317.58	c  317s |      23 |  4078021 |  3020738 |     1109   6507 |        0 |        0
319.45/319.59	c  319s |      23 |  4103139 |  3039138 |     1109   6539 |        0 |        0
321.45/321.59	c  321s |      23 |  4126942 |  3057238 |     1109   6570 |        0 |        0
323.54/323.60	c  323s |      23 |  4149772 |  3074438 |     1109   6600 |        0 |        0
325.54/325.61	c  325s |      23 |  4173077 |  3091738 |     1109   6630 |        0 |        0
327.54/327.61	c  327s |      23 |  4194578 |  3108338 |     1109   6658 |        0 |        0
329.54/329.62	c  329s |      23 |  4217035 |  3124938 |     1109   6687 |        0 |        0
331.55/331.63	c  331s |      23 |  4239850 |  3142438 |     1109   6717 |        0 |        0
333.54/333.63	c  333s |      23 |  4264198 |  3159838 |     1109   6747 |        0 |        0
335.54/335.64	c  335s |      23 |  4286232 |  3176738 |     1109   6777 |        0 |        0
337.54/337.64	c  337s |      23 |  4307848 |  3193538 |     1109   6806 |        0 |        0
339.54/339.65	c  339s |      23 |  4332054 |  3211638 |     1109   6837 |        0 |        0
341.54/341.65	c  341s |      23 |  4356044 |  3229738 |     1109   6868 |        0 |        0
343.55/343.65	c  343s |      23 |  4378747 |  3246838 |     1109   6898 |        0 |        0
345.54/345.66	c  345s |      23 |  4402736 |  3265438 |     1109   6930 |        0 |        0
347.54/347.66	c  347s |      23 |  4428036 |  3284038 |     1109   6962 |        0 |        0
349.53/349.66	c  349s |      23 |  4452486 |  3302638 |     1109   6995 |        0 |        0
351.53/351.67	c  351s |      23 |  4476308 |  3320438 |     1109   7026 |        0 |        0
353.54/353.68	c  353s |      23 |  4499686 |  3337938 |     1109   7056 |        0 |        0
355.53/355.68	c  355s |      23 |  4523080 |  3355538 |     1220   7086 |        0 |        0
357.53/357.69	c  357s |      23 |  4545429 |  3372238 |     1220   7113 |        0 |        0
358.13/358.23	c  358s |      24 |  4551324 |  3376662 |     1220   7120 |        0 |        0
360.14/360.24	c  360s |      24 |  4576954 |  3395462 |     1220   7149 |        0 |        0
362.13/362.24	c  362s |      24 |  4601077 |  3412562 |     1220   7176 |        0 |        0
364.13/364.24	c  364s |      24 |  4626458 |  3431062 |     1220   7205 |        0 |        0
366.13/366.25	c  366s |      24 |  4651322 |  3449262 |     1220   7234 |        0 |        0
368.13/368.25	c  368s |      24 |  4673657 |  3465762 |     1220   7260 |        0 |        0
370.13/370.25	c  370s |      24 |  4696675 |  3483062 |     1220   7287 |        0 |        0
372.14/372.25	c  372s |      24 |  4721123 |  3500162 |     1220   7314 |        0 |        0
374.13/374.26	c  374s |      24 |  4743191 |  3517162 |     1220   7341 |        0 |        0
376.13/376.26	c  376s |      24 |  4768061 |  3535562 |     1220   7370 |        0 |        0
378.13/378.26	c  378s |      24 |  4792236 |  3552962 |     1220   7397 |        0 |        0
380.13/380.27	c  380s |      24 |  4818211 |  3570962 |     1220   7425 |        0 |        0
382.14/382.28	c  382s |      24 |  4844224 |  3589362 |     1220   7454 |        0 |        0
384.13/384.29	c  384s |      24 |  4868026 |  3606762 |     1220   7482 |        0 |        0
386.13/386.30	c  386s |      24 |  4892902 |  3624962 |     1220   7510 |        0 |        0
388.23/388.30	c  388s |      24 |  4917746 |  3643362 |     1220   7539 |        0 |        0
390.23/390.31	c  390s |      24 |  4945743 |  3662362 |     1220   7569 |        0 |        0
392.23/392.31	c  392s |      24 |  4974396 |  3681662 |     1220   7600 |        0 |        0
394.24/394.31	c  394s |      24 |  5001678 |  3699962 |     1220   7629 |        0 |        0
396.23/396.32	c  396s |      24 |  5026491 |  3717462 |     1220   7656 |        0 |        0
398.23/398.33	c  398s |      24 |  5051458 |  3735462 |     1220   7685 |        0 |        0
400.23/400.34	c  400s |      24 |  5073472 |  3752662 |     1220   7712 |        0 |        0
402.23/402.34	c  402s |      24 |  5091565 |  3767162 |     1220   7734 |        0 |        0
404.23/404.35	c  404s |      24 |  5116025 |  3785662 |     1220   7764 |        0 |        0
406.23/406.36	c  406s |      24 |  5140618 |  3803862 |     1220   7792 |        0 |        0
408.22/408.37	c  408s |      24 |  5164689 |  3821862 |     1220   7821 |        0 |        0
410.22/410.38	c  410s |      24 |  5185433 |  3838062 |     1220   7846 |        0 |        0
412.22/412.38	c  412s |      24 |  5209188 |  3855062 |     1220   7873 |        0 |        0
414.22/414.38	c  414s |      24 |  5232964 |  3872762 |     1220   7900 |        0 |        0
416.23/416.39	c  416s |      24 |  5252496 |  3888362 |     1220   7925 |        0 |        0
418.22/418.40	c  418s |      24 |  5274943 |  3904862 |     1220   7951 |        0 |        0
420.32/420.41	c  420s |      24 |  5292100 |  3919062 |     1220   7973 |        0 |        0
422.32/422.42	c  422s |      24 |  5309414 |  3933462 |     1220   7996 |        0 |        0
424.32/424.42	c  424s |      24 |  5327338 |  3947662 |     1220   8019 |        0 |        0
426.33/426.43	c  426s |      24 |  5350734 |  3964762 |     1220   8046 |        0 |        0
428.34/428.43	c  428s |      24 |  5371951 |  3980862 |     1220   8071 |        0 |        0
430.33/430.43	c  430s |      24 |  5393295 |  3996762 |     1220   8096 |        0 |        0
432.33/432.44	c  432s |      24 |  5413431 |  4012162 |     1220   8121 |        0 |        0
434.33/434.44	c  434s |      24 |  5440581 |  4029862 |     1220   8149 |        0 |        0
436.32/436.45	c  436s |      24 |  5464692 |  4046362 |     1220   8175 |        0 |        0
438.32/438.45	c  438s |      24 |  5489147 |  4063362 |     1220   8202 |        0 |        0
440.33/440.45	c  440s |      24 |  5511292 |  4080262 |     1220   8229 |        0 |        0
442.32/442.46	c  442s |      24 |  5533439 |  4096962 |     1220   8255 |        0 |        0
444.32/444.46	c  444s |      24 |  5556639 |  4114362 |     1220   8282 |        0 |        0
446.32/446.47	c  446s |      24 |  5575990 |  4129462 |     1220   8306 |        0 |        0
448.32/448.47	c  448s |      24 |  5596402 |  4145462 |     1220   8331 |        0 |        0
450.33/450.47	c  450s |      24 |  5618260 |  4162662 |     1220   8358 |        0 |        0
452.32/452.48	c  452s |      24 |  5640887 |  4179762 |     1220   8385 |        0 |        0
454.32/454.49	c  454s |      24 |  5662022 |  4196262 |     1220   8411 |        0 |        0
456.32/456.49	c  456s |      24 |  5684417 |  4213062 |     1220   8437 |        0 |        0
458.42/458.50	c  458s |      24 |  5705002 |  4228362 |     1220   8461 |        0 |        0
460.42/460.51	c  460s |      24 |  5725330 |  4244162 |     1220   8486 |        0 |        0
462.42/462.51	c  462s |      24 |  5747628 |  4260162 |     1220   8512 |        0 |        0
464.42/464.52	c  464s |      24 |  5769863 |  4276462 |     1220   8538 |        0 |        0
466.41/466.52	c  466s |      24 |  5792735 |  4293362 |     1220   8565 |        0 |        0
468.41/468.53	c  468s |      24 |  5815931 |  4310062 |     1220   8591 |        0 |        0
470.42/470.53	c  470s |      24 |  5834177 |  4324662 |     1220   8614 |        0 |        0
472.42/472.53	c  472s |      24 |  5856493 |  4340762 |     1220   8640 |        0 |        0
474.43/474.55	c  474s |      24 |  5878616 |  4356962 |     1220   8666 |        0 |        0
476.42/476.56	c  476s |      24 |  5897708 |  4371662 |     1220   8689 |        0 |        0
478.42/478.57	c  478s |      24 |  5918261 |  4387062 |     1220   8713 |        0 |        0
480.42/480.57	c  480s |      24 |  5943767 |  4404662 |     1220   8741 |        0 |        0
482.42/482.58	c  482s |      24 |  5967676 |  4421462 |     1220   8768 |        0 |        0
484.43/484.58	c  484s |      24 |  5992898 |  4438662 |     1220   8795 |        0 |        0
486.42/486.59	c  486s |      24 |  6018160 |  4456362 |     1220   8823 |        0 |        0
488.52/488.60	c  488s |      24 |  6040723 |  4472962 |     1220   8849 |        0 |        0
490.52/490.60	c  490s |      24 |  6062720 |  4489762 |     1220   8876 |        0 |        0
492.52/492.61	c  492s |      24 |  6084743 |  4505662 |     1220   8901 |        0 |        0
494.52/494.62	c  494s |      24 |  6107967 |  4522162 |     1220   8927 |        0 |        0
496.52/496.63	c  496s |      24 |  6131359 |  4538262 |     1220   8953 |        0 |        0
498.51/498.64	c  498s |      24 |  6154209 |  4555162 |     1220   8980 |        0 |        0
500.51/500.64	c  500s |      24 |  6175484 |  4571562 |     1220   9006 |        0 |        0
502.51/502.65	c  502s |      24 |  6197708 |  4588062 |     1220   9032 |        0 |        0
504.51/504.66	c  504s |      24 |  6221316 |  4604462 |     1220   9059 |        0 |        0
506.51/506.66	c  506s |      24 |  6244152 |  4620762 |     1220   9084 |        0 |        0
508.52/508.67	c  508s |      24 |  6267165 |  4637462 |     1220   9111 |        0 |        0
510.51/510.67	c  510s |      24 |  6290139 |  4653962 |     1220   9138 |        0 |        0
512.51/512.68	c  512s |      24 |  6312450 |  4670562 |     1220   9163 |        0 |        0
514.51/514.69	c  514s |      24 |  6332462 |  4685762 |     1220   9187 |        0 |        0
516.61/516.70	c  516s |      24 |  6354190 |  4701562 |     1220   9212 |        0 |        0
518.61/518.70	c  518s |      24 |  6375651 |  4717062 |     1220   9237 |        0 |        0
520.61/520.71	c  520s |      24 |  6395271 |  4732562 |     1220   9261 |        0 |        0
522.61/522.72	c  522s |      24 |  6413764 |  4746762 |     1220   9284 |        0 |        0
524.61/524.73	c  524s |      24 |  6434070 |  4762262 |     1220   9308 |        0 |        0
526.61/526.74	c  526s |      24 |  6452392 |  4776362 |     1220   9331 |        0 |        0
528.61/528.75	c  528s |      24 |  6471113 |  4790762 |     1220   9353 |        0 |        0
530.62/530.76	c  530s |      24 |  6488161 |  4804662 |     1220   9376 |        0 |        0
532.61/532.77	c  532s |      24 |  6506721 |  4819162 |     1220   9398 |        0 |        0
534.61/534.77	c  534s |      24 |  6526401 |  4833662 |     1220   9421 |        0 |        0
536.61/536.77	c  536s |      24 |  6544896 |  4848162 |     1220   9444 |        0 |        0
538.61/538.77	c  538s |      24 |  6563173 |  4862862 |     1220   9467 |        0 |        0
540.61/540.78	c  540s |      24 |  6583404 |  4878162 |     1220   9491 |        0 |        0
542.62/542.78	c  542s |      24 |  6604814 |  4893462 |     1220   9515 |        0 |        0
544.61/544.79	c  544s |      24 |  6622753 |  4907062 |     1220   9536 |        0 |        0
546.61/546.79	c  546s |      24 |  6642772 |  4922362 |     1220   9560 |        0 |        0
548.61/548.79	c  548s |      24 |  6663270 |  4937962 |     1220   9585 |        0 |        0
550.61/550.79	c  550s |      24 |  6687872 |  4955062 |     1220   9612 |        0 |        0
552.62/552.79	c  552s |      24 |  6710018 |  4971162 |     1220   9638 |        0 |        0
554.61/554.80	c  554s |      24 |  6734077 |  4987762 |     1220   9664 |        0 |        0
556.71/556.81	c  556s |      24 |  6755454 |  5004062 |     1220   9690 |        0 |        0
558.71/558.82	c  558s |      24 |  6777273 |  5020262 |     1220   9715 |        0 |        0
560.71/560.83	c  560s |      24 |  6799712 |  5036662 |     1342   9740 |        0 |        0
562.70/562.83	c  562s |      24 |  6822059 |  5052962 |     1342   9764 |        0 |        0
564.10/564.26	c  564s |      25 |  6838933 |  5065098 |     1342   9781 |        0 |        0
566.10/566.26	c  566s |      25 |  6860383 |  5081198 |     1342   9804 |        0 |        0
568.10/568.27	c  568s |      25 |  6879305 |  5095798 |     1342   9825 |        0 |        0
570.11/570.27	c  570s |      25 |  6897649 |  5109698 |     1342   9845 |        0 |        0
572.10/572.28	c  572s |      25 |  6914943 |  5123298 |     1342   9864 |        0 |        0
574.10/574.28	c  574s |      25 |  6936483 |  5138998 |     1342   9887 |        0 |        0
576.10/576.28	c  576s |      25 |  6960665 |  5155698 |     1342   9910 |        0 |        0
578.10/578.29	c  578s |      25 |  6983499 |  5171898 |     1342   9934 |        0 |        0
580.20/580.30	c  580s |      25 |  7008543 |  5188698 |     1342   9958 |        0 |        0
582.10/582.30	c  582s |      25 |  7033171 |  5205498 |     1342   9982 |        0 |        0
584.20/584.31	c  584s |      25 |  7057146 |  5222098 |     1342  10006 |        0 |        0
586.20/586.32	c  586s |      25 |  7077322 |  5237098 |     1342  10028 |        0 |        0
588.20/588.32	c  588s |      25 |  7102613 |  5253698 |     1342  10052 |        0 |        0
590.20/590.33	c  590s |      25 |  7124163 |  5269298 |     1342  10074 |        0 |        0
592.20/592.34	c  592s |      25 |  7148556 |  5285598 |     1342  10098 |        0 |        0
594.19/594.34	c  594s |      25 |  7172560 |  5302398 |     1342  10122 |        0 |        0
596.19/596.35	c  596s |      25 |  7193990 |  5317498 |     1342  10144 |        0 |        0
598.20/598.36	c  598s |      25 |  7216170 |  5333298 |     1342  10167 |        0 |        0
600.20/600.37	c  600s |      25 |  7237911 |  5348898 |     1342  10189 |        0 |        0
602.20/602.38	c  602s |      25 |  7258332 |  5364498 |     1342  10211 |        0 |        0
604.21/604.38	c  604s |      25 |  7281848 |  5381498 |     1342  10236 |        0 |        0
606.30/606.40	c  606s |      25 |  7305574 |  5397798 |     1342  10259 |        0 |        0
608.30/608.41	c  608s |      25 |  7326504 |  5413498 |     1342  10282 |        0 |        0
610.30/610.42	c  610s |      25 |  7347118 |  5428798 |     1342  10304 |        0 |        0
612.30/612.42	c  612s |      25 |  7367109 |  5443998 |     1342  10325 |        0 |        0
614.30/614.43	c  614s |      25 |  7388391 |  5459798 |     1342  10348 |        0 |        0
616.30/616.43	c  616s |      25 |  7411360 |  5476298 |     1342  10371 |        0 |        0
618.29/618.44	c  618s |      25 |  7431461 |  5491598 |     1342  10393 |        0 |        0
620.29/620.45	c  620s |      25 |  7449969 |  5505998 |     1342  10414 |        0 |        0
622.29/622.46	c  622s |      25 |  7468922 |  5520498 |     1342  10434 |        0 |        0
624.30/624.46	c  624s |      25 |  7488062 |  5534898 |     1342  10455 |        0 |        0
626.30/626.47	c  626s |      25 |  7511169 |  5550798 |     1342  10478 |        0 |        0
628.30/628.48	c  628s |      25 |  7534953 |  5567098 |     1342  10502 |        0 |        0
630.30/630.48	c  630s |      25 |  7557301 |  5582698 |     1342  10524 |        0 |        0
632.29/632.48	c  632s |      25 |  7580845 |  5599098 |     1342  10548 |        0 |        0
634.29/634.48	c  634s |      25 |  7603367 |  5614998 |     1342  10571 |        0 |        0
636.29/636.50	c  636s |      25 |  7624693 |  5630498 |     1342  10593 |        0 |        0
638.40/638.50	c  638s |      25 |  7646030 |  5645898 |     1342  10615 |        0 |        0
640.39/640.51	c  640s |      25 |  7668696 |  5661998 |     1342  10639 |        0 |        0
642.39/642.52	c  642s |      25 |  7689052 |  5676998 |     1342  10660 |        0 |        0
644.39/644.54	c  644s |      25 |  7706306 |  5690898 |     1342  10680 |        0 |        0
646.39/646.54	c  646s |      25 |  7725702 |  5705398 |     1342  10701 |        0 |        0
648.39/648.55	c  648s |      25 |  7744856 |  5719798 |     1342  10722 |        0 |        0
650.40/650.55	c  650s |      25 |  7765407 |  5734598 |     1342  10743 |        0 |        0
652.39/652.56	c  652s |      25 |  7786645 |  5749898 |     1342  10765 |        0 |        0
654.39/654.56	c  654s |      25 |  7806428 |  5764498 |     1342  10786 |        0 |        0
656.39/656.57	c  656s |      25 |  7826730 |  5779598 |     1342  10808 |        0 |        0
658.39/658.58	c  658s |      25 |  7846381 |  5794498 |     1342  10829 |        0 |        0
660.39/660.58	c  660s |      25 |  7864624 |  5808898 |     1342  10850 |        0 |        0
662.39/662.59	c  662s |      25 |  7886306 |  5824898 |     1342  10873 |        0 |        0
664.39/664.59	c  664s |      25 |  7908760 |  5840998 |     1342  10896 |        0 |        0
666.48/666.60	c  666s |      25 |  7930188 |  5856498 |     1342  10918 |        0 |        0
668.48/668.60	c  668s |      25 |  7950767 |  5871998 |     1342  10941 |        0 |        0
670.48/670.60	c  670s |      25 |  7971254 |  5886698 |     1342  10962 |        0 |        0
672.50/672.61	c  672s |      25 |  7990477 |  5900998 |     1342  10983 |        0 |        0
674.49/674.62	c  674s |      25 |  8012970 |  5916798 |     1342  11006 |        0 |        0
676.49/676.62	c  676s |      25 |  8034197 |  5931998 |     1342  11027 |        0 |        0
678.49/678.64	c  678s |      25 |  8055951 |  5947598 |     1342  11050 |        0 |        0
680.49/680.64	c  680s |      25 |  8072855 |  5960798 |     1342  11069 |        0 |        0
682.49/682.64	c  682s |      25 |  8090141 |  5974498 |     1342  11088 |        0 |        0
684.49/684.65	c  684s |      25 |  8109260 |  5988898 |     1342  11109 |        0 |        0
686.49/686.66	c  686s |      25 |  8128242 |  6003198 |     1342  11130 |        0 |        0
688.49/688.67	c  688s |      25 |  8145029 |  6016598 |     1342  11149 |        0 |        0
690.49/690.67	c  690s |      25 |  8163573 |  6030798 |     1342  11169 |        0 |        0
692.48/692.67	c  692s |      25 |  8184300 |  6045898 |     1342  11191 |        0 |        0
694.49/694.67	c  694s |      25 |  8205396 |  6061198 |     1342  11213 |        0 |        0
696.48/696.68	c  696s |      25 |  8223090 |  6075598 |     1342  11234 |        0 |        0
698.48/698.70	c  698s |      25 |  8241792 |  6089898 |     1342  11255 |        0 |        0
700.58/700.70	c  700s |      25 |  8260387 |  6104598 |     1342  11276 |        0 |        0
702.58/702.70	c  702s |      25 |  8280030 |  6119398 |     1342  11297 |        0 |        0
704.58/704.72	c  704s |      25 |  8301732 |  6134798 |     1342  11320 |        0 |        0
706.59/706.73	c  706s |      25 |  8323473 |  6150598 |     1342  11342 |        0 |        0
708.58/708.73	c  708s |      25 |  8344718 |  6166498 |     1342  11365 |        0 |        0
710.58/710.73	c  710s |      25 |  8362823 |  6180398 |     1342  11386 |        0 |        0
712.58/712.75	c  712s |      25 |  8378353 |  6193298 |     1342  11405 |        0 |        0
714.58/714.76	c  714s |      25 |  8395923 |  6206798 |     1342  11424 |        0 |        0
716.58/716.77	c  716s |      25 |  8418966 |  6222498 |     1342  11447 |        0 |        0
718.59/718.77	c  718s |      25 |  8442259 |  6238498 |     1342  11470 |        0 |        0
720.58/720.78	c  720s |      25 |  8463371 |  6253998 |     1342  11493 |        0 |        0
722.58/722.78	c  722s |      25 |  8485921 |  6269998 |     1342  11516 |        0 |        0
724.58/724.79	c  724s |      25 |  8511122 |  6287098 |     1342  11541 |        0 |        0
726.58/726.79	c  726s |      25 |  8535129 |  6303798 |     1342  11565 |        0 |        0
728.68/728.80	c  728s |      25 |  8558320 |  6320198 |     1342  11589 |        0 |        0
730.68/730.80	c  730s |      25 |  8582003 |  6336098 |     1342  11612 |        0 |        0
732.68/732.82	c  732s |      25 |  8602513 |  6350698 |     1342  11633 |        0 |        0
734.68/734.82	c  734s |      25 |  8625126 |  6366098 |     1342  11655 |        0 |        0
736.68/736.82	c  736s |      25 |  8648947 |  6381598 |     1342  11677 |        0 |        0
738.67/738.83	c  738s |      25 |  8670466 |  6396798 |     1342  11699 |        0 |        0
740.68/740.83	c  740s |      25 |  8691914 |  6412098 |     1342  11722 |        0 |        0
742.67/742.83	c  742s |      25 |  8716185 |  6428398 |     1342  11745 |        0 |        0
744.67/744.85	c  744s |      25 |  8741269 |  6444598 |     1342  11769 |        0 |        0
746.67/746.85	c  746s |      25 |  8763329 |  6460198 |     1342  11791 |        0 |        0
748.67/748.85	c  748s |      25 |  8783015 |  6474698 |     1342  11812 |        0 |        0
750.67/750.86	c  750s |      25 |  8804205 |  6489498 |     1342  11833 |        0 |        0
752.68/752.87	c  752s |      25 |  8827049 |  6505198 |     1342  11856 |        0 |        0
754.67/754.88	c  754s |      25 |  8848381 |  6520398 |     1342  11878 |        0 |        0
756.68/756.88	c  756s |      25 |  8870908 |  6535698 |     1342  11901 |        0 |        0
758.68/758.89	c  758s |      25 |  8896673 |  6551798 |     1342  11924 |        0 |        0
760.78/760.90	c  760s |      25 |  8918249 |  6566398 |     1342  11945 |        0 |        0
762.78/762.91	c  762s |      25 |  8938328 |  6581098 |     1342  11966 |        0 |        0
764.78/764.92	c  764s |      25 |  8961948 |  6597298 |     1342  11990 |        0 |        0
766.78/766.93	c  766s |      25 |  8984595 |  6613098 |     1342  12013 |        0 |        0
768.78/768.94	c  768s |      25 |  9006543 |  6628398 |     1342  12035 |        0 |        0
770.77/770.96	c  770s |      25 |  9025372 |  6642698 |     1342  12056 |        0 |        0
772.77/772.96	c  772s |      25 |  9046774 |  6658098 |     1342  12078 |        0 |        0
774.78/774.96	c  774s |      25 |  9068504 |  6673198 |     1342  12100 |        0 |        0
776.77/776.97	c  776s |      25 |  9090422 |  6688698 |     1342  12122 |        0 |        0
778.77/778.98	c  778s |      25 |  9114361 |  6704698 |     1342  12146 |        0 |        0
780.77/780.98	c  780s |      25 |  9140441 |  6721498 |     1342  12170 |        0 |        0
782.77/782.99	c  782s |      25 |  9164921 |  6737598 |     1342  12193 |        0 |        0
784.77/784.99	c  784s |      25 |  9188470 |  6753298 |     1342  12216 |        0 |        0
786.78/787.00	c  786s |      25 |  9212061 |  6768898 |     1342  12238 |        0 |        0
788.87/789.01	c  788s |      25 |  9233119 |  6783398 |     1342  12260 |        0 |        0
790.87/791.01	c  790s |      25 |  9255125 |  6798298 |     1342  12281 |        0 |        0
792.87/793.01	c  792s |      25 |  9273917 |  6812298 |     1342  12301 |        0 |        0
794.87/795.01	c  795s |      25 |  9295196 |  6826698 |     1342  12322 |        0 |        0
796.87/797.03	c  797s |      25 |  9315752 |  6841298 |     1342  12344 |        0 |        0
798.87/799.03	c  799s |      25 |  9337605 |  6856198 |     1342  12365 |        0 |        0
800.86/801.04	c  801s |      25 |  9361788 |  6871998 |     1342  12388 |        0 |        0
802.86/803.04	c  803s |      25 |  9382381 |  6886598 |     1342  12409 |        0 |        0
804.87/805.04	c  805s |      25 |  9405940 |  6902498 |     1342  12432 |        0 |        0
806.87/807.05	c  807s |      25 |  9428004 |  6918698 |     1342  12455 |        0 |        0
808.88/809.07	c  809s |      25 |  9446997 |  6933498 |     1342  12477 |        0 |        0
810.87/811.08	c  811s |      25 |  9465705 |  6947998 |     1342  12497 |        0 |        0
812.87/813.09	c  813s |      25 |  9483067 |  6961898 |     1342  12517 |        0 |        0
814.87/815.10	c  815s |      25 |  9504254 |  6977398 |     1342  12540 |        0 |        0
816.97/817.10	c  817s |      25 |  9526934 |  6993698 |     1342  12563 |        0 |        0
818.97/819.12	c  819s |      25 |  9546637 |  7008598 |     1342  12585 |        0 |        0
820.97/821.13	c  821s |      25 |  9565581 |  7022898 |     1342  12606 |        0 |        0
822.97/823.14	c  823s |      25 |  9586896 |  7037798 |     1342  12627 |        0 |        0
824.97/825.14	c  825s |      25 |  9606447 |  7051898 |     1342  12648 |        0 |        0
826.97/827.14	c  827s |      25 |  9630305 |  7067598 |     1342  12670 |        0 |        0
828.97/829.15	c  829s |      25 |  9654426 |  7083698 |     1342  12694 |        0 |        0
830.97/831.16	c  831s |      25 |  9678254 |  7099598 |     1342  12717 |        0 |        0
832.97/833.16	c  833s |      25 |  9699117 |  7114198 |     1342  12738 |        0 |        0
834.97/835.17	c  835s |      25 |  9721136 |  7129398 |     1342  12760 |        0 |        0
836.96/837.17	c  837s |      25 |  9742511 |  7144398 |     1342  12782 |        0 |        0
838.96/839.18	c  839s |      25 |  9764809 |  7160298 |     1342  12805 |        0 |        0
840.96/841.18	c  841s |      25 |  9788591 |  7176798 |     1342  12829 |        0 |        0
842.97/843.19	c  843s |      25 |  9810211 |  7192098 |     1342  12851 |        0 |        0
844.96/845.19	c  845s |      25 |  9831545 |  7207198 |     1342  12873 |        0 |        0
846.96/847.19	c  847s |      25 |  9848650 |  7220598 |     1342  12892 |        0 |        0
849.06/849.20	c  849s |      25 |  9867113 |  7234798 |     1342  12913 |        0 |        0
851.06/851.21	c  851s |      25 |  9883711 |  7248198 |     1342  12932 |        0 |        0
853.06/853.22	c  853s |      25 |  9905529 |  7263798 |     1342  12954 |        0 |        0
855.06/855.22	c  855s |      25 |  9926872 |  7279498 |     1342  12977 |        0 |        0
857.05/857.23	c  857s |      25 |  9947982 |  7295298 |     1342  12999 |        0 |        0
859.06/859.24	c  859s |      25 |  9967661 |  7310198 |     1342  13021 |        0 |        0
861.06/861.24	c  861s |      25 |  9987824 |  7324898 |     1342  13042 |        0 |        0
863.06/863.24	c  863s |      25 | 10010497 |  7340398 |     1342  13065 |        0 |        0
865.06/865.25	c  865s |      25 | 10030376 |  7355298 |     1342  13086 |        0 |        0
867.07/867.27	c  867s |      25 | 10053495 |  7370998 |     1342  13109 |        0 |        0
869.06/869.27	c  869s |      25 | 10074296 |  7385898 |     1342  13131 |        0 |        0
871.06/871.28	c  871s |      25 | 10094985 |  7400698 |     1342  13152 |        0 |        0
873.06/873.29	c  873s |      25 | 10114628 |  7415498 |     1342  13174 |        0 |        0
875.06/875.29	c  875s |      25 | 10136131 |  7430798 |     1342  13196 |        0 |        0
877.16/877.31	c  877s |      25 | 10154673 |  7445198 |     1342  13216 |        0 |        0
879.16/879.32	c  879s |      25 | 10174126 |  7459798 |     1342  13237 |        0 |        0
881.16/881.33	c  881s |      25 | 10193338 |  7474098 |     1342  13258 |        0 |        0
883.16/883.34	c  883s |      25 | 10214511 |  7489098 |     1342  13280 |        0 |        0
885.16/885.35	c  885s |      25 | 10235913 |  7504498 |     1342  13302 |        0 |        0
887.16/887.35	c  887s |      25 | 10261240 |  7521798 |     1342  13326 |        0 |        0
889.16/889.36	c  889s |      25 | 10284271 |  7537698 |     1342  13349 |        0 |        0
891.15/891.36	c  891s |      25 | 10304386 |  7551998 |     1477  13369 |        0 |        0
893.15/893.37	c  893s |      25 | 10324605 |  7566298 |     1477  13388 |        0 |        0
895.15/895.37	c  895s |      25 | 10347621 |  7582098 |     1477  13409 |        0 |        0
897.15/897.38	c  897s |      25 | 10370250 |  7597398 |     1477  13429 |        0 |        0
897.25/897.43	c  897s |      26 | 10370678 |  7597752 |     1477  13429 |        0 |        0
899.25/899.43	c  899s |      26 | 10391015 |  7613352 |     1477  13450 |        0 |        0
901.26/901.44	c  901s |      26 | 10410708 |  7628752 |     1477  13470 |        0 |        0
903.25/903.45	c  903s |      26 | 10431821 |  7644652 |     1477  13491 |        0 |        0
905.25/905.45	c  905s |      26 | 10454915 |  7661152 |     1477  13513 |        0 |        0
907.25/907.46	c  907s |      26 | 10477395 |  7677752 |     1477  13534 |        0 |        0
909.25/909.47	c  909s |      26 | 10497885 |  7693652 |     1477  13555 |        0 |        0
911.25/911.47	c  911s |      26 | 10520213 |  7710252 |     1477  13576 |        0 |        0
913.26/913.47	c  913s |      26 | 10543213 |  7727152 |     1477  13599 |        0 |        0
915.25/915.48	c  915s |      26 | 10566558 |  7743752 |     1477  13620 |        0 |        0
917.25/917.49	c  917s |      26 | 10586943 |  7759652 |     1477  13641 |        0 |        0
919.35/919.50	c  919s |      26 | 10608623 |  7776352 |     1477  13664 |        0 |        0
921.35/921.51	c  921s |      26 | 10628387 |  7791752 |     1477  13684 |        0 |        0
923.35/923.52	c  923s |      26 | 10649487 |  7807652 |     1477  13705 |        0 |        0
925.35/925.53	c  925s |      26 | 10671588 |  7824552 |     1477  13727 |        0 |        0
927.35/927.54	c  927s |      26 | 10693460 |  7840752 |     1477  13749 |        0 |        0
929.35/929.54	c  929s |      26 | 10717748 |  7858152 |     1477  13772 |        0 |        0
931.34/931.55	c  931s |      26 | 10739556 |  7874452 |     1477  13793 |        0 |        0
933.34/933.55	c  933s |      26 | 10763779 |  7891752 |     1477  13816 |        0 |        0
935.35/935.55	c  935s |      26 | 10787248 |  7909352 |     1477  13839 |        0 |        0
937.35/937.56	c  937s |      26 | 10809763 |  7926052 |     1477  13862 |        0 |        0
939.35/939.57	c  939s |      26 | 10832048 |  7942752 |     1477  13884 |        0 |        0
941.35/941.57	c  941s |      26 | 10854293 |  7959552 |     1477  13906 |        0 |        0
943.35/943.58	c  943s |      26 | 10874813 |  7974852 |     1477  13926 |        0 |        0
945.35/945.59	c  945s |      26 | 10897207 |  7991552 |     1477  13948 |        0 |        0
947.35/947.59	c  947s |      26 | 10918476 |  8008052 |     1477  13970 |        0 |        0
949.35/949.59	c  949s |      26 | 10941820 |  8025152 |     1477  13993 |        0 |        0
951.44/951.60	c  951s |      26 | 10963548 |  8042152 |     1477  14015 |        0 |        0
953.44/953.60	c  953s |      26 | 10983783 |  8057852 |     1477  14036 |        0 |        0
955.44/955.61	c  955s |      26 | 11005802 |  8074452 |     1477  14058 |        0 |        0
957.44/957.62	c  957s |      26 | 11027835 |  8090652 |     1477  14079 |        0 |        0
959.45/959.62	c  959s |      26 | 11049312 |  8106852 |     1477  14100 |        0 |        0
961.44/961.63	c  961s |      26 | 11072301 |  8123352 |     1477  14122 |        0 |        0
963.44/963.64	c  963s |      26 | 11094890 |  8140052 |     1477  14144 |        0 |        0
965.44/965.64	c  965s |      26 | 11117318 |  8156752 |     1477  14165 |        0 |        0
967.44/967.65	c  967s |      26 | 11139697 |  8172952 |     1477  14187 |        0 |        0
969.44/969.65	c  969s |      26 | 11161562 |  8189452 |     1477  14208 |        0 |        0
971.43/971.65	c  971s |      26 | 11183020 |  8206052 |     1477  14230 |        0 |        0
973.44/973.66	c  973s |      26 | 11206954 |  8223852 |     1477  14254 |        0 |        0
975.44/975.67	c  975s |      26 | 11229869 |  8240252 |     1477  14275 |        0 |        0
977.44/977.67	c  977s |      26 | 11254189 |  8257852 |     1477  14298 |        0 |        0
979.44/979.68	c  979s |      26 | 11277373 |  8274952 |     1477  14320 |        0 |        0
981.45/981.69	c  981s |      26 | 11298120 |  8290952 |     1477  14340 |        0 |        0
983.44/983.70	c  983s |      26 | 11317846 |  8306452 |     1477  14360 |        0 |        0
985.54/985.70	c  985s |      26 | 11339036 |  8322752 |     1477  14381 |        0 |        0
987.54/987.71	c  987s |      26 | 11359124 |  8338552 |     1477  14402 |        0 |        0
989.54/989.73	c  989s |      26 | 11379505 |  8354252 |     1477  14422 |        0 |        0
991.53/991.74	c  991s |      26 | 11400641 |  8370352 |     1477  14443 |        0 |        0
993.54/993.74	c  993s |      26 | 11422420 |  8386452 |     1477  14464 |        0 |        0
995.53/995.75	c  995s |      26 | 11442114 |  8401852 |     1477  14484 |        0 |        0
997.53/997.75	c  997s |      26 | 11465020 |  8418652 |     1477  14506 |        0 |        0
999.53/999.76	c  999s |      26 | 11489360 |  8436152 |     1477  14529 |        0 |        0
1001.52/1001.78	c 1001s |      26 | 11510937 |  8451952 |     1477  14549 |        0 |        0
1003.53/1003.79	c 1003s |      26 | 11531227 |  8467552 |     1477  14570 |        0 |        0
1005.52/1005.79	c 1005s |      26 | 11552343 |  8483652 |     1477  14591 |        0 |        0
1007.62/1007.80	c 1007s |      26 | 11573006 |  8499452 |     1477  14611 |        0 |        0
1009.62/1009.81	c 1009s |      26 | 11594826 |  8515752 |     1477  14632 |        0 |        0
1011.61/1011.81	c 1011s |      26 | 11613987 |  8530452 |     1477  14651 |        0 |        0
1013.61/1013.81	c 1013s |      26 | 11634862 |  8546352 |     1477  14672 |        0 |        0
1015.62/1015.82	c 1015s |      26 | 11655851 |  8562152 |     1477  14692 |        0 |        0
1017.61/1017.82	c 1017s |      26 | 11676398 |  8578352 |     1477  14713 |        0 |        0
1019.61/1019.83	c 1019s |      26 | 11698732 |  8594852 |     1477  14735 |        0 |        0
1021.61/1021.84	c 1021s |      26 | 11721904 |  8611852 |     1477  14757 |        0 |        0
1023.61/1023.85	c 1023s |      26 | 11744587 |  8628752 |     1477  14780 |        0 |        0
1025.61/1025.86	c 1025s |      26 | 11764479 |  8643852 |     1477  14800 |        0 |        0
1027.61/1027.86	c 1027s |      26 | 11784998 |  8659552 |     1477  14820 |        0 |        0
1029.60/1029.86	c 1029s |      26 | 11807214 |  8675652 |     1477  14841 |        0 |        0
1031.60/1031.87	c 1031s |      26 | 11830096 |  8692652 |     1477  14863 |        0 |        0
1033.60/1033.88	c 1033s |      26 | 11851116 |  8708252 |     1477  14884 |        0 |        0
1035.60/1035.89	c 1035s |      26 | 11873321 |  8724952 |     1477  14905 |        0 |        0
1037.70/1037.90	c 1037s |      26 | 11893369 |  8740052 |     1477  14925 |        0 |        0
1039.71/1039.91	c 1039s |      26 | 11916779 |  8756852 |     1477  14946 |        0 |        0
1041.70/1041.91	c 1041s |      26 | 11938122 |  8772752 |     1477  14967 |        0 |        0
1043.70/1043.92	c 1043s |      26 | 11958275 |  8787852 |     1477  14986 |        0 |        0
1045.70/1045.93	c 1045s |      26 | 11976485 |  8801652 |     1477  15004 |        0 |        0
1047.70/1047.93	c 1047s |      26 | 11995595 |  8816152 |     1477  15023 |        0 |        0
1049.70/1049.94	c 1049s |      26 | 12016627 |  8831652 |     1477  15043 |        0 |        0
1051.70/1051.95	c 1051s |      26 | 12036525 |  8847052 |     1477  15064 |        0 |        0
1053.70/1053.95	c 1053s |      26 | 12056860 |  8862152 |     1477  15083 |        0 |        0
1055.70/1055.97	c 1055s |      26 | 12074406 |  8875752 |     1477  15101 |        0 |        0
1057.70/1057.98	c 1057s |      26 | 12093066 |  8890052 |     1477  15119 |        0 |        0
1059.69/1059.98	c 1059s |      26 | 12111634 |  8904052 |     1477  15137 |        0 |        0
1061.70/1062.00	c 1061s |      26 | 12133050 |  8919952 |     1477  15158 |        0 |        0
1063.79/1064.00	c 1063s |      26 | 12154927 |  8936252 |     1477  15179 |        0 |        0
1065.79/1066.00	c 1065s |      26 | 12174856 |  8951952 |     1477  15199 |        0 |        0
1067.79/1068.01	c 1067s |      26 | 12194959 |  8967052 |     1477  15219 |        0 |        0
1069.78/1070.01	c 1070s |      26 | 12216366 |  8982852 |     1477  15239 |        0 |        0
1071.78/1072.02	c 1072s |      26 | 12237780 |  8999452 |     1477  15261 |        0 |        0
1073.79/1074.02	c 1074s |      26 | 12260107 |  9015952 |     1477  15282 |        0 |        0
1075.78/1076.03	c 1076s |      26 | 12282908 |  9032352 |     1477  15303 |        0 |        0
1077.78/1078.03	c 1078s |      26 | 12303806 |  9048352 |     1477  15324 |        0 |        0
1079.77/1080.04	c 1080s |      26 | 12324360 |  9063952 |     1477  15344 |        0 |        0
1081.77/1082.05	c 1082s |      26 | 12345723 |  9080052 |     1477  15365 |        0 |        0
1083.78/1084.07	c 1084s |      26 | 12367573 |  9096252 |     1477  15387 |        0 |        0
1085.77/1086.08	c 1086s |      26 | 12389195 |  9112352 |     1477  15408 |        0 |        0
1087.77/1088.08	c 1088s |      26 | 12410046 |  9128252 |     1477  15429 |        0 |        0
1089.77/1090.10	c 1090s |      26 | 12429806 |  9143352 |     1477  15448 |        0 |        0
1091.88/1092.11	c 1092s |      26 | 12450336 |  9158952 |     1477  15469 |        0 |        0
1093.88/1094.11	c 1094s |      26 | 12470388 |  9174352 |     1477  15489 |        0 |        0
1095.88/1096.12	c 1096s |      26 | 12491721 |  9189952 |     1477  15510 |        0 |        0
1097.88/1098.12	c 1098s |      26 | 12515428 |  9207352 |     1477  15533 |        0 |        0
1099.87/1100.13	c 1100s |      26 | 12538429 |  9224152 |     1477  15555 |        0 |        0
1101.87/1102.15	c 1102s |      26 | 12561622 |  9241552 |     1477  15578 |        0 |        0
1103.87/1104.15	c 1104s |      26 | 12582708 |  9257452 |     1477  15599 |        0 |        0
1105.87/1106.16	c 1106s |      26 | 12604866 |  9274052 |     1477  15620 |        0 |        0
1107.88/1108.17	c 1108s |      26 | 12626388 |  9290352 |     1477  15642 |        0 |        0
1109.87/1110.18	c 1110s |      26 | 12647598 |  9306152 |     1477  15663 |        0 |        0
1111.87/1112.18	c 1112s |      26 | 12669840 |  9322652 |     1477  15684 |        0 |        0
1113.87/1114.18	c 1114s |      26 | 12690499 |  9337952 |     1477  15704 |        0 |        0
1115.87/1116.18	c 1116s |      26 | 12713819 |  9354752 |     1477  15726 |        0 |        0
1117.87/1118.20	c 1118s |      26 | 12735564 |  9371052 |     1477  15748 |        0 |        0
1119.97/1120.21	c 1120s |      26 | 12756454 |  9386952 |     1477  15769 |        0 |        0
1121.96/1122.21	c 1122s |      26 | 12778723 |  9404052 |     1477  15791 |        0 |        0
1123.96/1124.21	c 1124s |      26 | 12800449 |  9420452 |     1477  15813 |        0 |        0
1125.96/1126.21	c 1126s |      26 | 12820484 |  9435552 |     1477  15833 |        0 |        0
1127.96/1128.22	c 1128s |      26 | 12842126 |  9451852 |     1477  15854 |        0 |        0
1129.96/1130.23	c 1130s |      26 | 12861991 |  9467252 |     1477  15875 |        0 |        0
1131.95/1132.24	c 1132s |      26 | 12883775 |  9484152 |     1477  15897 |        0 |        0
1133.95/1134.25	c 1134s |      26 | 12902383 |  9499052 |     1477  15917 |        0 |        0
1135.95/1136.25	c 1136s |      26 | 12923460 |  9515352 |     1477  15938 |        0 |        0
1137.95/1138.26	c 1138s |      26 | 12946080 |  9532352 |     1477  15961 |        0 |        0
1139.95/1140.26	c 1140s |      26 | 12967040 |  9548152 |     1477  15982 |        0 |        0
1141.95/1142.26	c 1142s |      26 | 12988312 |  9564152 |     1477  16003 |        0 |        0
1143.94/1144.27	c 1144s |      26 | 13008871 |  9579752 |     1477  16023 |        0 |        0
1145.94/1146.28	c 1146s |      26 | 13029765 |  9595852 |     1477  16045 |        0 |        0
1147.94/1148.29	c 1148s |      26 | 13050341 |  9611652 |     1477  16066 |        0 |        0
1150.04/1150.30	c 1150s |      26 | 13069813 |  9626452 |     1477  16086 |        0 |        0
1152.04/1152.30	c 1152s |      26 | 13092256 |  9643152 |     1477  16108 |        0 |        0
1154.04/1154.31	c 1154s |      26 | 13117904 |  9662652 |     1477  16133 |        0 |        0
1156.05/1156.31	c 1156s |      26 | 13141609 |  9680452 |     1477  16157 |        0 |        0
1158.05/1158.32	c 1158s |      26 | 13162635 |  9696452 |     1477  16178 |        0 |        0
1160.04/1160.32	c 1160s |      26 | 13182950 |  9712252 |     1477  16199 |        0 |        0
1162.04/1162.33	c 1162s |      26 | 13202585 |  9727452 |     1477  16219 |        0 |        0
1164.05/1164.34	c 1164s |      26 | 13221749 |  9742552 |     1477  16239 |        0 |        0
1166.04/1166.35	c 1166s |      26 | 13245025 |  9760052 |     1477  16262 |        0 |        0
1168.04/1168.35	c 1168s |      26 | 13268005 |  9777052 |     1477  16284 |        0 |        0
1170.04/1170.36	c 1170s |      26 | 13290219 |  9793752 |     1477  16306 |        0 |        0
1172.03/1172.37	c 1172s |      26 | 13309837 |  9808852 |     1477  16326 |        0 |        0
1174.03/1174.38	c 1174s |      26 | 13330613 |  9824152 |     1477  16347 |        0 |        0
1176.04/1176.38	c 1176s |      26 | 13351776 |  9839752 |     1477  16367 |        0 |        0
1178.03/1178.38	c 1178s |      26 | 13374093 |  9855652 |     1477  16388 |        0 |        0
1180.02/1180.39	c 1180s |      26 | 13395321 |  9871452 |     1477  16409 |        0 |        0
1182.12/1182.40	c 1182s |      26 | 13416893 |  9887552 |     1477  16430 |        0 |        0
1184.12/1184.40	c 1184s |      26 | 13436853 |  9902652 |     1477  16450 |        0 |        0
1186.12/1186.40	c 1186s |      26 | 13455873 |  9917252 |     1477  16470 |        0 |        0
1188.13/1188.41	c 1188s |      26 | 13476647 |  9932952 |     1477  16490 |        0 |        0
1190.11/1190.42	c 1190s |      26 | 13496567 |  9947952 |     1477  16510 |        0 |        0
1192.11/1192.42	c 1192s |      26 | 13516345 |  9962852 |     1477  16530 |        0 |        0
1194.11/1194.42	c 1194s |      26 | 13536108 |  9978152 |     1477  16550 |        0 |        0
1196.11/1196.44	c 1196s |      26 | 13556551 |  9993452 |     1477  16571 |        0 |        0
1198.12/1198.45	c 1198s |      26 | 13576488 | 10009152 |     1477  16591 |        0 |        0
1200.11/1200.46	c 1200s |      26 | 13597491 | 10025452 |     1477  16613 |        0 |        0
1202.11/1202.47	c 1202s |      26 | 13618732 | 10041952 |     1477  16634 |        0 |        0
1204.11/1204.48	c 1204s |      26 | 13639581 | 10058252 |     1477  16656 |        0 |        0
1206.10/1206.48	c 1206s |      26 | 13662569 | 10075152 |     1477  16678 |        0 |        0
1208.10/1208.48	c 1208s |      26 | 13682381 | 10090452 |     1477  16698 |        0 |        0
1210.11/1210.49	c 1210s |      26 | 13703791 | 10106452 |     1477  16719 |        0 |        0
1212.10/1212.49	c 1212s |      26 | 13725149 | 10122652 |     1477  16741 |        0 |        0
1214.20/1214.50	c 1214s |      26 | 13746105 | 10138952 |     1477  16762 |        0 |        0
1216.21/1216.51	c 1216s |      26 | 13766849 | 10154752 |     1477  16783 |        0 |        0
1218.21/1218.52	c 1218s |      26 | 13786780 | 10170552 |     1477  16804 |        0 |        0
1220.20/1220.53	c 1220s |      26 | 13807223 | 10186452 |     1477  16824 |        0 |        0
1222.21/1222.54	c 1222s |      26 | 13828772 | 10202752 |     1477  16846 |        0 |        0
1224.20/1224.54	c 1224s |      26 | 13849408 | 10218852 |     1477  16867 |        0 |        0
1226.20/1226.55	c 1226s |      26 | 13871867 | 10235452 |     1477  16889 |        0 |        0
1228.20/1228.55	c 1228s |      26 | 13893879 | 10252452 |     1477  16911 |        0 |        0
1230.20/1230.57	c 1230s |      26 | 13914502 | 10268452 |     1477  16932 |        0 |        0
1232.20/1232.57	c 1232s |      26 | 13934758 | 10284152 |     1477  16953 |        0 |        0
1234.20/1234.57	c 1234s |      26 | 13955821 | 10300252 |     1477  16974 |        0 |        0
1236.20/1236.58	c 1236s |      26 | 13977379 | 10316852 |     1477  16995 |        0 |        0
1238.19/1238.59	c 1238s |      26 | 13999608 | 10333152 |     1477  17017 |        0 |        0
1240.29/1240.60	c 1240s |      26 | 14020722 | 10349152 |     1477  17038 |        0 |        0
1242.29/1242.60	c 1242s |      26 | 14040245 | 10364352 |     1477  17058 |        0 |        0
1244.29/1244.60	c 1244s |      26 | 14061243 | 10380052 |     1477  17079 |        0 |        0
1246.29/1246.61	c 1246s |      26 | 14082348 | 10395452 |     1477  17100 |        0 |        0
1248.29/1248.62	c 1248s |      26 | 14101975 | 10410452 |     1477  17120 |        0 |        0
1250.28/1250.62	c 1250s |      26 | 14123375 | 10426552 |     1477  17141 |        0 |        0
1252.28/1252.62	c 1252s |      26 | 14146234 | 10443252 |     1477  17163 |        0 |        0
1254.29/1254.63	c 1254s |      26 | 14167890 | 10459052 |     1477  17184 |        0 |        0
1256.30/1256.64	c 1256s |      26 | 14187547 | 10473752 |     1477  17203 |        0 |        0
1258.29/1258.66	c 1258s |      26 | 14207165 | 10488152 |     1477  17223 |        0 |        0
1260.28/1260.67	c 1260s |      26 | 14228052 | 10503552 |     1477  17243 |        0 |        0
1262.28/1262.69	c 1262s |      26 | 14247017 | 10518552 |     1477  17263 |        0 |        0
1264.28/1264.69	c 1264s |      26 | 14268467 | 10534852 |     1477  17285 |        0 |        0
1266.29/1266.69	c 1266s |      26 | 14289839 | 10550652 |     1477  17306 |        0 |        0
1268.28/1268.69	c 1268s |      26 | 14311621 | 10566952 |     1477  17327 |        0 |        0
1270.37/1270.71	c 1270s |      26 | 14335662 | 10584252 |     1477  17350 |        0 |        0
1272.37/1272.71	c 1272s |      26 | 14356329 | 10600352 |     1477  17372 |        0 |        0
1274.37/1274.71	c 1274s |      26 | 14376339 | 10615452 |     1477  17391 |        0 |        0
1276.37/1276.72	c 1276s |      26 | 14397525 | 10631352 |     1477  17412 |        0 |        0
1278.38/1278.72	c 1278s |      26 | 14419349 | 10647552 |     1477  17434 |        0 |        0
1280.36/1280.73	c 1280s |      26 | 14439500 | 10663352 |     1477  17455 |        0 |        0
1282.36/1282.74	c 1282s |      26 | 14461544 | 10680152 |     1477  17477 |        0 |        0
1284.36/1284.74	c 1284s |      26 | 14483867 | 10696952 |     1477  17500 |        0 |        0
1286.36/1286.75	c 1286s |      26 | 14504822 | 10712852 |     1477  17521 |        0 |        0
1288.36/1288.76	c 1288s |      26 | 14526940 | 10729952 |     1477  17543 |        0 |        0
1290.36/1290.76	c 1290s |      26 | 14552485 | 10747652 |     1477  17567 |        0 |        0
1292.35/1292.77	c 1292s |      26 | 14574594 | 10763752 |     1477  17588 |        0 |        0
1294.35/1294.77	c 1294s |      26 | 14596244 | 10779152 |     1477  17608 |        0 |        0
1296.35/1296.78	c 1296s |      26 | 14618723 | 10795552 |     1477  17630 |        0 |        0
1298.36/1298.78	c 1298s |      26 | 14640905 | 10811852 |     1477  17651 |        0 |        0
1300.37/1300.79	c 1300s |      26 | 14662489 | 10827652 |     1477  17672 |        0 |        0
1302.36/1302.79	c 1302s |      26 | 14686081 | 10844252 |     1477  17694 |        0 |        0
1304.46/1304.80	c 1304s |      26 | 14709339 | 10860752 |     1477  17716 |        0 |        0
1306.46/1306.81	c 1306s |      26 | 14730179 | 10876352 |     1477  17736 |        0 |        0
1308.46/1308.82	c 1308s |      26 | 14751969 | 10892452 |     1477  17758 |        0 |        0
1310.45/1310.83	c 1310s |      26 | 14774049 | 10908452 |     1477  17779 |        0 |        0
1312.46/1312.84	c 1312s |      26 | 14793520 | 10923752 |     1477  17799 |        0 |        0
1314.45/1314.84	c 1314s |      26 | 14812783 | 10938752 |     1477  17819 |        0 |        0
1316.45/1316.85	c 1316s |      26 | 14833286 | 10954252 |     1477  17840 |        0 |        0
1318.45/1318.86	c 1318s |      26 | 14853800 | 10969852 |     1477  17860 |        0 |        0
1320.45/1320.86	c 1320s |      26 | 14879171 | 10987052 |     1477  17883 |        0 |        0
1322.45/1322.87	c 1322s |      26 | 14902616 | 11003552 |     1477  17905 |        0 |        0
1324.45/1324.88	c 1324s |      26 | 14924075 | 11019852 |     1477  17926 |        0 |        0
1326.44/1326.88	c 1326s |      26 | 14944570 | 11035052 |     1477  17946 |        0 |        0
1328.44/1328.89	c 1328s |      26 | 14965874 | 11050652 |     1477  17967 |        0 |        0
1330.44/1330.89	c 1330s |      26 | 14990281 | 11067052 |     1477  17989 |        0 |        0
1332.54/1332.90	c 1332s |      26 | 15014910 | 11084552 |     1477  18012 |        0 |        0
1334.54/1334.90	c 1334s |      26 | 15037662 | 11101452 |     1477  18035 |        0 |        0
1336.54/1336.91	c 1336s |      26 | 15060039 | 11118352 |     1477  18057 |        0 |        0
1338.55/1338.91	c 1338s |      26 | 15080555 | 11133852 |     1477  18077 |        0 |        0
1340.54/1340.92	c 1340s |      26 | 15098953 | 11148252 |     1477  18096 |        0 |        0
1342.54/1342.93	c 1342s |      26 | 15119507 | 11163752 |     1477  18117 |        0 |        0
1344.54/1344.94	c 1344s |      26 | 15142813 | 11181052 |     1477  18140 |        0 |        0
1346.55/1346.94	c 1346s |      26 | 15163718 | 11196752 |     1477  18161 |        0 |        0
1348.54/1348.95	c 1348s |      26 | 15184670 | 11212552 |     1477  18182 |        0 |        0
1350.53/1350.96	c 1350s |      26 | 15205809 | 11228252 |     1477  18203 |        0 |        0
1352.53/1352.96	c 1352s |      26 | 15226679 | 11244052 |     1477  18224 |        0 |        0
1354.53/1354.97	c 1354s |      26 | 15247026 | 11259652 |     1477  18244 |        0 |        0
1356.53/1356.97	c 1356s |      26 | 15268317 | 11275952 |     1477  18266 |        0 |        0
1358.54/1358.98	c 1358s |      26 | 15289728 | 11292252 |     1477  18287 |        0 |        0
1360.53/1360.98	c 1360s |      26 | 15312460 | 11309352 |     1477  18309 |        0 |        0
1362.52/1362.99	c 1362s |      26 | 15330683 | 11323652 |     1625  18327 |        0 |        0
1364.52/1364.99	c 1364s |      26 | 15349825 | 11338352 |     1625  18344 |        0 |        0
1366.62/1367.00	c 1366s |      26 | 15368620 | 11352752 |     1625  18361 |        0 |        0
1368.62/1369.01	c 1368s |      26 | 15386775 | 11367052 |     1625  18378 |        0 |        0
1370.62/1371.02	c 1371s |      26 | 15406908 | 11382652 |     1625  18397 |        0 |        0
1372.32/1372.76	c 1372s |      27 | 15426124 | 11396733 |     1625  18413 |        0 |        0
1374.32/1374.76	c 1374s |      27 | 15446550 | 11412533 |     1625  18431 |        0 |        0
1376.31/1376.77	c 1376s |      27 | 15466685 | 11428233 |     1625  18450 |        0 |        0
1378.32/1378.78	c 1378s |      27 | 15486974 | 11444233 |     1625  18468 |        0 |        0
1380.31/1380.79	c 1380s |      27 | 15508789 | 11461133 |     1625  18488 |        0 |        0
1382.31/1382.79	c 1382s |      27 | 15530387 | 11477533 |     1625  18508 |        0 |        0
1384.41/1384.80	c 1384s |      27 | 15552145 | 11494133 |     1625  18527 |        0 |        0
1386.41/1386.81	c 1386s |      27 | 15574843 | 11511033 |     1625  18548 |        0 |        0
1388.41/1388.81	c 1388s |      27 | 15595621 | 11527033 |     1625  18566 |        0 |        0
1390.42/1390.81	c 1390s |      27 | 15615057 | 11542633 |     1625  18585 |        0 |        0
1392.41/1392.82	c 1392s |      27 | 15636082 | 11558033 |     1625  18603 |        0 |        0
1394.41/1394.83	c 1394s |      27 | 15654907 | 11572733 |     1625  18621 |        0 |        0
1396.41/1396.83	c 1396s |      27 | 15675243 | 11588433 |     1625  18640 |        0 |        0
1398.41/1398.84	c 1398s |      27 | 15696770 | 11604733 |     1625  18659 |        0 |        0
1400.41/1400.84	c 1400s |      27 | 15718206 | 11621033 |     1625  18678 |        0 |        0
1402.40/1402.86	c 1402s |      27 | 15738651 | 11636633 |     1625  18696 |        0 |        0
1404.40/1404.86	c 1404s |      27 | 15759079 | 11652033 |     1625  18714 |        0 |        0
1406.40/1406.87	c 1406s |      27 | 15778217 | 11667533 |     1625  18733 |        0 |        0
1408.40/1408.87	c 1408s |      27 | 15798937 | 11683233 |     1625  18751 |        0 |        0
1410.39/1410.88	c 1410s |      27 | 15819599 | 11698833 |     1625  18770 |        0 |        0
1412.40/1412.88	c 1412s |      27 | 15838962 | 11714133 |     1625  18788 |        0 |        0
1414.39/1414.89	c 1414s |      27 | 15859286 | 11729633 |     1625  18807 |        0 |        0
1416.39/1416.89	c 1416s |      27 | 15878101 | 11744633 |     1625  18825 |        0 |        0
1418.49/1418.91	c 1418s |      27 | 15895675 | 11758933 |     1625  18842 |        0 |        0
1420.49/1420.92	c 1420s |      27 | 15915636 | 11774533 |     1625  18860 |        0 |        0
1422.48/1422.93	c 1422s |      27 | 15937444 | 11790933 |     1625  18880 |        0 |        0
1424.49/1424.94	c 1424s |      27 | 15956682 | 11806433 |     1625  18898 |        0 |        0
1426.48/1426.94	c 1426s |      27 | 15975161 | 11820633 |     1625  18915 |        0 |        0
1428.48/1428.94	c 1428s |      27 | 15992604 | 11834633 |     1625  18932 |        0 |        0
1430.48/1430.96	c 1430s |      27 | 16009389 | 11848033 |     1625  18949 |        0 |        0
1432.48/1432.96	c 1432s |      27 | 16027663 | 11862433 |     1625  18966 |        0 |        0
1434.48/1434.96	c 1434s |      27 | 16047696 | 11877833 |     1625  18984 |        0 |        0
1436.48/1436.97	c 1436s |      27 | 16067733 | 11893533 |     1625  19003 |        0 |        0
1438.47/1438.97	c 1438s |      27 | 16087790 | 11908733 |     1625  19021 |        0 |        0
1440.47/1440.98	c 1440s |      27 | 16109076 | 11924633 |     1625  19040 |        0 |        0
1442.47/1442.99	c 1442s |      27 | 16129572 | 11940633 |     1625  19060 |        0 |        0
1444.48/1444.99	c 1444s |      27 | 16151176 | 11956933 |     1625  19079 |        0 |        0
1446.48/1447.00	c 1446s |      27 | 16172099 | 11972933 |     1625  19099 |        0 |        0
1448.58/1449.00	c 1448s |      27 | 16193813 | 11989333 |     1625  19118 |        0 |        0
1450.57/1451.01	c 1450s |      27 | 16213835 | 12004933 |     1625  19137 |        0 |        0
1452.57/1453.02	c 1453s |      27 | 16234718 | 12020733 |     1625  19156 |        0 |        0
1454.57/1455.02	c 1455s |      27 | 16254133 | 12035833 |     1625  19174 |        0 |        0
1456.57/1457.03	c 1457s |      27 | 16275344 | 12051833 |     1625  19193 |        0 |        0
1458.58/1459.03	c 1459s |      27 | 16296139 | 12067433 |     1625  19212 |        0 |        0
1460.56/1461.04	c 1461s |      27 | 16316905 | 12083233 |     1625  19231 |        0 |        0
1462.56/1463.04	c 1463s |      27 | 16337871 | 12099333 |     1625  19250 |        0 |        0
1464.56/1465.05	c 1465s |      27 | 16357192 | 12114533 |     1625  19268 |        0 |        0
1466.56/1467.05	c 1467s |      27 | 16377203 | 12130033 |     1625  19286 |        0 |        0
1468.57/1469.05	c 1469s |      27 | 16396966 | 12145333 |     1625  19305 |        0 |        0
1470.56/1471.06	c 1471s |      27 | 16418135 | 12161433 |     1625  19324 |        0 |        0
1472.56/1473.06	c 1473s |      27 | 16438435 | 12177033 |     1625  19343 |        0 |        0
1474.55/1475.07	c 1475s |      27 | 16459944 | 12193433 |     1625  19363 |        0 |        0
1476.55/1477.09	c 1477s |      27 | 16482427 | 12210033 |     1625  19383 |        0 |        0
1478.55/1479.09	c 1479s |      27 | 16503939 | 12226833 |     1625  19403 |        0 |        0
1480.56/1481.09	c 1481s |      27 | 16525617 | 12243533 |     1625  19423 |        0 |        0
1482.65/1483.10	c 1483s |      27 | 16548273 | 12260233 |     1625  19443 |        0 |        0
1484.65/1485.10	c 1485s |      27 | 16569495 | 12276333 |     1625  19462 |        0 |        0
1486.65/1487.10	c 1487s |      27 | 16591505 | 12292733 |     1625  19481 |        0 |        0
1488.65/1489.11	c 1489s |      27 | 16612412 | 12308633 |     1625  19500 |        0 |        0
1490.64/1491.12	c 1491s |      27 | 16631763 | 12323633 |     1625  19518 |        0 |        0
1492.65/1493.12	c 1493s |      27 | 16649466 | 12337533 |     1625  19534 |        0 |        0
1494.64/1495.13	c 1495s |      27 | 16669068 | 12352433 |     1625  19552 |        0 |        0
1496.64/1497.14	c 1497s |      27 | 16686298 | 12365633 |     1625  19568 |        0 |        0
1498.64/1499.14	c 1499s |      27 | 16703091 | 12378833 |     1625  19583 |        0 |        0
1500.63/1501.15	c 1501s |      27 | 16721956 | 12393233 |     1625  19601 |        0 |        0
1502.64/1503.15	c 1503s |      27 | 16740847 | 12407533 |     1625  19618 |        0 |        0
1504.63/1505.16	c 1505s |      27 | 16759730 | 12421833 |     1625  19635 |        0 |        0
1506.64/1507.16	c 1507s |      27 | 16778711 | 12436633 |     1625  19652 |        0 |        0
1508.64/1509.17	c 1509s |      27 | 16799419 | 12452533 |     1625  19671 |        0 |        0
1510.64/1511.18	c 1511s |      27 | 16820246 | 12468633 |     1625  19691 |        0 |        0
1512.64/1513.19	c 1513s |      27 | 16840438 | 12484633 |     1625  19710 |        0 |        0
1514.64/1515.20	c 1515s |      27 | 16860378 | 12499733 |     1625  19728 |        0 |        0
1516.73/1517.20	c 1517s |      27 | 16880139 | 12514933 |     1625  19746 |        0 |        0
1518.73/1519.21	c 1519s |      27 | 16901525 | 12531033 |     1625  19765 |        0 |        0
1520.73/1521.23	c 1521s |      27 | 16920243 | 12545433 |     1625  19783 |        0 |        0
1522.73/1523.23	c 1523s |      27 | 16940355 | 12560633 |     1625  19801 |        0 |        0
1524.73/1525.23	c 1525s |      27 | 16960542 | 12576233 |     1625  19819 |        0 |        0
1526.73/1527.23	c 1527s |      27 | 16981263 | 12592033 |     1625  19838 |        0 |        0
1528.73/1529.25	c 1529s |      27 | 17001390 | 12607633 |     1625  19856 |        0 |        0
1530.72/1531.25	c 1531s |      27 | 17021215 | 12623033 |     1625  19874 |        0 |        0
1532.72/1533.26	c 1533s |      27 | 17040350 | 12637433 |     1625  19892 |        0 |        0
1534.72/1535.26	c 1535s |      27 | 17059459 | 12652733 |     1625  19910 |        0 |        0
1536.73/1537.27	c 1537s |      27 | 17081192 | 12669033 |     1625  19929 |        0 |        0
1538.72/1539.28	c 1539s |      27 | 17101308 | 12684533 |     1625  19948 |        0 |        0
1540.72/1541.29	c 1541s |      27 | 17121400 | 12699933 |     1625  19966 |        0 |        0
1542.71/1543.29	c 1543s |      27 | 17140861 | 12715133 |     1625  19984 |        0 |        0
1544.71/1545.29	c 1545s |      27 | 17161628 | 12730933 |     1625  20003 |        0 |        0
1546.81/1547.30	c 1547s |      27 | 17181873 | 12746833 |     1625  20021 |        0 |        0
1548.82/1549.31	c 1549s |      27 | 17201721 | 12762633 |     1625  20040 |        0 |        0
1550.81/1551.32	c 1551s |      27 | 17219922 | 12776733 |     1625  20057 |        0 |        0
1552.81/1553.32	c 1553s |      27 | 17238336 | 12791033 |     1625  20073 |        0 |        0
1554.81/1555.34	c 1555s |      27 | 17256764 | 12805433 |     1625  20090 |        0 |        0
1556.81/1557.35	c 1557s |      27 | 17273007 | 12818233 |     1625  20105 |        0 |        0
1558.81/1559.37	c 1559s |      27 | 17288631 | 12830433 |     1625  20120 |        0 |        0
1560.81/1561.37	c 1561s |      27 | 17304681 | 12842833 |     1625  20135 |        0 |        0
1562.80/1563.37	c 1563s |      27 | 17321282 | 12856133 |     1625  20150 |        0 |        0
1564.80/1565.38	c 1565s |      27 | 17339347 | 12870233 |     1625  20167 |        0 |        0
1566.80/1567.38	c 1567s |      27 | 17355818 | 12883533 |     1625  20182 |        0 |        0
1568.81/1569.39	c 1569s |      27 | 17374733 | 12898233 |     1625  20200 |        0 |        0
1570.81/1571.39	c 1571s |      27 | 17392144 | 12911633 |     1625  20215 |        0 |        0
1572.80/1573.40	c 1573s |      27 | 17410820 | 12925933 |     1625  20232 |        0 |        0
1574.90/1575.40	c 1575s |      27 | 17429578 | 12940833 |     1625  20250 |        0 |        0
1576.90/1577.42	c 1577s |      27 | 17448216 | 12955633 |     1625  20268 |        0 |        0
1578.90/1579.43	c 1579s |      27 | 17464946 | 12969233 |     1625  20284 |        0 |        0
1580.90/1581.44	c 1581s |      27 | 17483441 | 12983933 |     1625  20302 |        0 |        0
1582.91/1583.45	c 1583s |      27 | 17505569 | 13000633 |     1625  20322 |        0 |        0
1584.90/1585.47	c 1585s |      27 | 17525637 | 13016233 |     1625  20341 |        0 |        0
1586.90/1587.48	c 1587s |      27 | 17545838 | 13031733 |     1625  20359 |        0 |        0
1588.89/1589.48	c 1589s |      27 | 17566641 | 13047933 |     1625  20379 |        0 |        0
1590.89/1591.48	c 1591s |      27 | 17586728 | 13063433 |     1625  20397 |        0 |        0
1592.99/1593.50	c 1593s |      27 | 17607392 | 13079033 |     1625  20416 |        0 |        0
1595.00/1595.50	c 1595s |      27 | 17627146 | 13094033 |     1625  20434 |        0 |        0
1596.99/1597.51	c 1597s |      27 | 17645295 | 13108733 |     1625  20452 |        0 |        0
1598.99/1599.52	c 1599s |      27 | 17668426 | 13125333 |     1625  20472 |        0 |        0
1600.98/1601.52	c 1601s |      27 | 17691289 | 13141833 |     1625  20492 |        0 |        0
1602.98/1603.53	c 1603s |      27 | 17713112 | 13158433 |     1625  20511 |        0 |        0
1604.98/1605.54	c 1605s |      27 | 17734467 | 13174833 |     1625  20531 |        0 |        0
1606.99/1607.54	c 1607s |      27 | 17755063 | 13190533 |     1625  20549 |        0 |        0
1608.98/1609.56	c 1609s |      27 | 17774439 | 13205633 |     1625  20568 |        0 |        0
1610.98/1611.56	c 1611s |      27 | 17794258 | 13221033 |     1625  20586 |        0 |        0
1612.98/1613.57	c 1613s |      27 | 17812016 | 13235133 |     1625  20603 |        0 |        0
1614.98/1615.58	c 1615s |      27 | 17832187 | 13250633 |     1625  20621 |        0 |        0
1616.98/1617.59	c 1617s |      27 | 17852780 | 13266533 |     1625  20640 |        0 |        0
1618.97/1619.59	c 1619s |      27 | 17872140 | 13281533 |     1625  20658 |        0 |        0
1620.97/1621.59	c 1621s |      27 | 17892818 | 13296933 |     1625  20676 |        0 |        0
1622.97/1623.59	c 1623s |      27 | 17912713 | 13312733 |     1625  20695 |        0 |        0
1624.97/1625.59	c 1625s |      27 | 17932662 | 13328133 |     1625  20713 |        0 |        0
1627.07/1627.60	c 1627s |      27 | 17952780 | 13343533 |     1625  20732 |        0 |        0
1629.08/1629.61	c 1629s |      27 | 17973565 | 13359233 |     1625  20750 |        0 |        0
1631.07/1631.61	c 1631s |      27 | 17989959 | 13372333 |     1625  20766 |        0 |        0
1633.07/1633.62	c 1633s |      27 | 18004720 | 13384233 |     1625  20781 |        0 |        0
1635.07/1635.62	c 1635s |      27 | 18022590 | 13398533 |     1625  20798 |        0 |        0
1637.07/1637.63	c 1637s |      27 | 18040724 | 13412933 |     1625  20815 |        0 |        0
1639.07/1639.64	c 1639s |      27 | 18055813 | 13424833 |     1625  20829 |        0 |        0
1641.07/1641.66	c 1641s |      27 | 18072506 | 13437833 |     1625  20845 |        0 |        0
1643.07/1643.66	c 1643s |      27 | 18090972 | 13451633 |     1625  20861 |        0 |        0
1645.07/1645.67	c 1645s |      27 | 18106905 | 13464333 |     1625  20876 |        0 |        0
1647.07/1647.68	c 1647s |      27 | 18125443 | 13478333 |     1625  20893 |        0 |        0
1649.07/1649.68	c 1649s |      27 | 18141652 | 13491433 |     1625  20909 |        0 |        0
1651.07/1651.69	c 1651s |      27 | 18158996 | 13505033 |     1625  20925 |        0 |        0
1653.06/1653.70	c 1653s |      27 | 18178000 | 13520033 |     1625  20943 |        0 |        0
1655.16/1655.70	c 1655s |      27 | 18198267 | 13535333 |     1625  20962 |        0 |        0
1657.17/1657.71	c 1657s |      27 | 18219444 | 13551233 |     1625  20981 |        0 |        0
1659.17/1659.71	c 1659s |      27 | 18240098 | 13566933 |     1625  21000 |        0 |        0
1661.17/1661.72	c 1661s |      27 | 18261724 | 13582933 |     1625  21019 |        0 |        0
1663.18/1663.73	c 1663s |      27 | 18282496 | 13598333 |     1625  21037 |        0 |        0
1665.17/1665.73	c 1665s |      27 | 18301049 | 13612333 |     1625  21054 |        0 |        0
1667.17/1667.73	c 1667s |      27 | 18320924 | 13626933 |     1625  21072 |        0 |        0
1669.17/1669.74	c 1669s |      27 | 18341882 | 13642433 |     1625  21091 |        0 |        0
1671.17/1671.75	c 1671s |      27 | 18361427 | 13656733 |     1625  21108 |        0 |        0
1673.17/1673.76	c 1673s |      27 | 18382236 | 13671733 |     1625  21126 |        0 |        0
1675.17/1675.77	c 1675s |      27 | 18402906 | 13687933 |     1625  21145 |        0 |        0
1677.17/1677.77	c 1677s |      27 | 18422359 | 13703133 |     1625  21163 |        0 |        0
1679.17/1679.78	c 1679s |      27 | 18441573 | 13718033 |     1625  21181 |        0 |        0
1681.16/1681.78	c 1681s |      27 | 18459804 | 13732333 |     1625  21198 |        0 |        0
1683.16/1683.79	c 1683s |      27 | 18477500 | 13746633 |     1625  21215 |        0 |        0
1685.26/1685.80	c 1685s |      27 | 18498569 | 13761833 |     1625  21233 |        0 |        0
1687.16/1687.80	c 1687s |      27 | 18517369 | 13776333 |     1625  21251 |        0 |        0
1689.26/1689.81	c 1689s |      27 | 18537005 | 13791633 |     1625  21269 |        0 |        0
1691.26/1691.82	c 1691s |      27 | 18555876 | 13806233 |     1625  21287 |        0 |        0
1693.26/1693.83	c 1693s |      27 | 18573166 | 13819733 |     1625  21303 |        0 |        0
1695.26/1695.83	c 1695s |      27 | 18591485 | 13833833 |     1625  21320 |        0 |        0
1697.27/1697.83	c 1697s |      27 | 18609858 | 13847633 |     1625  21336 |        0 |        0
1699.26/1699.85	c 1699s |      27 | 18627569 | 13861233 |     1625  21353 |        0 |        0
1701.26/1701.86	c 1701s |      27 | 18647896 | 13876733 |     1625  21371 |        0 |        0
1703.26/1703.87	c 1703s |      27 | 18666878 | 13891233 |     1625  21389 |        0 |        0
1705.26/1705.87	c 1705s |      27 | 18687004 | 13906533 |     1625  21407 |        0 |        0
1707.26/1707.88	c 1707s |      27 | 18707622 | 13921933 |     1625  21426 |        0 |        0
1709.26/1709.88	c 1709s |      27 | 18727118 | 13937033 |     1625  21444 |        0 |        0
1711.26/1711.89	c 1711s |      27 | 18746085 | 13951833 |     1625  21462 |        0 |        0
1713.36/1713.90	c 1713s |      27 | 18765745 | 13966633 |     1625  21480 |        0 |        0
1715.36/1715.91	c 1715s |      27 | 18785922 | 13981233 |     1625  21497 |        0 |        0
1717.36/1717.92	c 1717s |      27 | 18804472 | 13995433 |     1625  21514 |        0 |        0
1719.36/1719.92	c 1719s |      27 | 18824783 | 14010333 |     1625  21532 |        0 |        0
1721.36/1721.93	c 1721s |      27 | 18846552 | 14025933 |     1625  21551 |        0 |        0
1723.36/1723.93	c 1723s |      27 | 18867439 | 14040633 |     1625  21569 |        0 |        0
1725.36/1725.94	c 1725s |      27 | 18887767 | 14055433 |     1625  21587 |        0 |        0
1727.36/1727.95	c 1727s |      27 | 18908342 | 14070633 |     1625  21605 |        0 |        0
1729.36/1729.95	c 1729s |      27 | 18928572 | 14086133 |     1625  21623 |        0 |        0
1731.36/1731.96	c 1731s |      27 | 18948533 | 14101233 |     1625  21642 |        0 |        0
1733.35/1733.96	c 1733s |      27 | 18968463 | 14116133 |     1625  21660 |        0 |        0
1735.35/1735.96	c 1735s |      27 | 18987431 | 14130233 |     1625  21677 |        0 |        0
1737.35/1737.97	c 1737s |      27 | 19008054 | 14145033 |     1625  21694 |        0 |        0
1739.35/1739.98	c 1739s |      27 | 19029114 | 14160333 |     1625  21713 |        0 |        0
1741.35/1741.98	c 1741s |      27 | 19049597 | 14175433 |     1625  21731 |        0 |        0
1743.36/1743.99	c 1743s |      27 | 19070356 | 14190633 |     1625  21749 |        0 |        0
1745.45/1746.00	c 1745s |      27 | 19091567 | 14206233 |     1625  21768 |        0 |        0
1747.45/1748.00	c 1747s |      27 | 19111942 | 14221133 |     1625  21786 |        0 |        0
1749.45/1750.01	c 1750s |      27 | 19133698 | 14237033 |     1625  21805 |        0 |        0
1751.45/1752.02	c 1752s |      27 | 19154797 | 14252833 |     1625  21824 |        0 |        0
1753.45/1754.03	c 1754s |      27 | 19175046 | 14267933 |     1625  21842 |        0 |        0
1755.46/1756.03	c 1756s |      27 | 19193665 | 14281933 |     1625  21859 |        0 |        0
1757.45/1758.04	c 1758s |      27 | 19213667 | 14297133 |     1625  21877 |        0 |        0
1759.45/1760.05	c 1760s |      27 | 19233394 | 14312333 |     1625  21895 |        0 |        0
1761.45/1762.06	c 1762s |      27 | 19250708 | 14326533 |     1625  21912 |        0 |        0
1763.45/1764.07	c 1764s |      27 | 19269183 | 14340633 |     1625  21929 |        0 |        0
1765.45/1766.08	c 1766s |      27 | 19287394 | 14354733 |     1625  21946 |        0 |        0
1767.46/1768.08	c 1768s |      27 | 19304901 | 14368133 |     1625  21962 |        0 |        0
1769.46/1770.09	c 1770s |      27 | 19324840 | 14383333 |     1625  21980 |        0 |        0
1771.45/1772.09	c 1772s |      27 | 19344074 | 14398333 |     1625  21998 |        0 |        0
1773.55/1774.10	c 1774s |      27 | 19362905 | 14412933 |     1625  22015 |        0 |        0
1775.55/1776.11	c 1776s |      27 | 19382358 | 14427833 |     1625  22033 |        0 |        0
1777.56/1778.11	c 1778s |      27 | 19402013 | 14442233 |     1625  22051 |        0 |        0
1779.55/1780.13	c 1780s |      27 | 19421945 | 14457333 |     1625  22069 |        0 |        0
1781.55/1782.14	c 1782s |      27 | 19442024 | 14472833 |     1625  22087 |        0 |        0
1783.55/1784.14	c 1784s |      27 | 19462568 | 14488233 |     1625  22106 |        0 |        0
1785.55/1786.15	c 1786s |      27 | 19482613 | 14503433 |     1625  22124 |        0 |        0
1787.55/1788.16	c 1788s |      27 | 19501961 | 14518333 |     1625  22141 |        0 |        0
1789.56/1790.16	c 1790s |      27 | 19521426 | 14532833 |     1625  22158 |        0 |        0
1791.55/1792.17	c 1792s |      27 | 19540485 | 14547433 |     1625  22176 |        0 |        0
1793.55/1794.17	c 1794s |      27 | 19559866 | 14562033 |     1625  22193 |        0 |        0
1795.55/1796.18	c 1796s |      27 | 19579378 | 14577233 |     1625  22211 |        0 |        0
1797.55/1798.18	c 1798s |      27 | 19599430 | 14592833 |     1625  22229 |        0 |        0
1799.55/1800.18	c 1800s |      27 | 19619092 | 14608233 |     1625  22248 |        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-4095882-1466098171/watcher-4095882-1466098171 -o /tmp/evaluation-result-4095882-1466098171/solver-4095882-1466098171 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node141-1466098167-28725 --watchdog 1960 toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4095882-1466098171.opb 

pid=28804
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: 1.04 1.11 1.46 3/179 28807
/proc/meminfo: memFree=30368756/32872528 swapFree=496356/529060
[pid=28807] ppid=28804 vsize=735676 CPUtime=0 cores=0,2,4,6
/proc/28807/stat : 28807 (toysat) R 28804 28807 28709 0 -1 4202496 2748 0 0 0 0 0 0 0 20 0 4 0 11862588 753332224 3108 33554432000 4194304 16246674 140733452019312 140733452018736 13880264 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/28807/statm: 184687 3119 441 2943 0 181581 0
[pid=28807/tid=28808] ppid=28804 vsize=754108 CPUtime=0 cores=0,2,4,6
/proc/28807/task/28808/stat : 28808 (toysat) S 28804 28807 28709 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 11862588 772206592 3178 33554432000 4194304 16246674 140733452019312 140454577286384 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=28807/tid=28809] ppid=28804 vsize=758204 CPUtime=0 cores=0,2,4,6
/proc/28807/task/28809/stat : 28809 (toysat) S 28804 28807 28709 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 11862588 776400896 3197 33554432000 4194304 16246674 140733452019312 140454490254576 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=28807/tid=28810] ppid=28804 vsize=762300 CPUtime=0 cores=0,2,4,6
/proc/28807/task/28810/stat : 28810 (toysat) S 28804 28807 28709 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 11862588 780595200 3212 33554432000 4194304 16246674 140733452019312 140454479781040 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0

[startup+0.100159 s]
/proc/loadavg: 1.04 1.11 1.46 3/179 28807
/proc/meminfo: memFree=30368756/32872528 swapFree=496356/529060
[pid=28807] ppid=28804 vsize=1218116 CPUtime=0.09 cores=0,2,4,6
/proc/28807/stat : 28807 (toysat) R 28804 28807 28709 0 -1 4202496 25103 0 0 0 6 3 0 0 20 0 4 0 11862588 1247350784 25452 33554432000 4194304 16246674 140733452019312 140733452018736 6023439 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/28807/statm: 304529 25460 711 2943 0 301423 0
[pid=28807/tid=28808] ppid=28804 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/28807/task/28808/stat : 28808 (toysat) S 28804 28807 28709 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 11862588 1247350784 25467 33554432000 4194304 16246674 140733452019312 140454577286384 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=28807/tid=28809] ppid=28804 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/28807/task/28809/stat : 28809 (toysat) S 28804 28807 28709 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 11862588 1247350784 25473 33554432000 4194304 16246674 140733452019312 140454490254576 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=28807/tid=28810] ppid=28804 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/28807/task/28810/stat : 28810 (toysat) S 28804 28807 28709 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 11862588 1247350784 25480 33554432000 4194304 16246674 140733452019312 140454479781040 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.653952 s]
/proc/loadavg: 1.04 1.11 1.46 3/179 28807
/proc/meminfo: memFree=30368756/32872528 swapFree=496356/529060
[pid=28807] ppid=28804 vsize=1218116 CPUtime=0.64 cores=0,2,4,6
/proc/28807/stat : 28807 (toysat) R 28804 28807 28709 0 -1 4202496 148800 0 0 0 43 21 0 0 20 0 4 0 11862588 1247350784 149149 33554432000 4194304 16246674 140733452019312 140733452018736 5545885 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/28807/statm: 304529 149162 712 2943 0 301423 0
[pid=28807/tid=28808] ppid=28804 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/28807/task/28808/stat : 28808 (toysat) S 28804 28807 28709 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 11862588 1247350784 149167 33554432000 4194304 16246674 140733452019312 140454577286384 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=28807/tid=28809] ppid=28804 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/28807/task/28809/stat : 28809 (toysat) S 28804 28807 28709 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 11862588 1247350784 149172 33554432000 4194304 16246674 140733452019312 140454490254576 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=28807/tid=28810] ppid=28804 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/28807/task/28810/stat : 28810 (toysat) S 28804 28807 28709 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 11862588 1247350784 149177 33554432000 4194304 16246674 140733452019312 140454479781040 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 0.64
Current children cumulated vsize (KiB) 1218116

[startup+0.700464 s]
/proc/loadavg: 1.04 1.11 1.46 3/179 28807
/proc/meminfo: memFree=30368756/32872528 swapFree=496356/529060
[pid=28807] ppid=28804 vsize=1218116 CPUtime=0.69 cores=0,2,4,6
/proc/28807/stat : 28807 (toysat) R 28804 28807 28709 0 -1 4202496 159075 0 0 0 46 23 0 0 20 0 4 0 11862588 1247350784 159424 33554432000 4194304 16246674 140733452019312 140733452018736 5546181 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/28807/statm: 304529 159439 712 2943 0 301423 0
[pid=28807/tid=28808] ppid=28804 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/28807/task/28808/stat : 28808 (toysat) S 28804 28807 28709 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 11862588 1247350784 159444 33554432000 4194304 16246674 140733452019312 140454577286384 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=28807/tid=28809] ppid=28804 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/28807/task/28809/stat : 28809 (toysat) S 28804 28807 28709 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 11862588 1247350784 159449 33554432000 4194304 16246674 140733452019312 140454490254576 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=28807/tid=28810] ppid=28804 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/28807/task/28810/stat : 28810 (toysat) S 28804 28807 28709 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 11862588 1247350784 159454 33554432000 4194304 16246674 140733452019312 140454479781040 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+0.800466 s]
/proc/loadavg: 1.04 1.11 1.46 3/179 28807
/proc/meminfo: memFree=30368756/32872528 swapFree=496356/529060
[pid=28807] ppid=28804 vsize=1218116 CPUtime=0.79 cores=0,2,4,6
/proc/28807/stat : 28807 (toysat) R 28804 28807 28709 0 -1 4202496 180892 0 0 0 53 26 0 0 20 0 4 0 11862588 1247350784 181241 33554432000 4194304 16246674 140733452019312 140733452018736 5675357 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/28807/statm: 304529 181251 712 2943 0 301423 0
[pid=28807/tid=28808] ppid=28804 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/28807/task/28808/stat : 28808 (toysat) S 28804 28807 28709 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 11862588 1247350784 181260 33554432000 4194304 16246674 140733452019312 140454577286384 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=28807/tid=28809] ppid=28804 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/28807/task/28809/stat : 28809 (toysat) S 28804 28807 28709 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 11862588 1247350784 181266 33554432000 4194304 16246674 140733452019312 140454490254576 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=28807/tid=28810] ppid=28804 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/28807/task/28810/stat : 28810 (toysat) S 28804 28807 28709 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 11862588 1247350784 181273 33554432000 4194304 16246674 140733452019312 140454479781040 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 0.79
Current children cumulated vsize (KiB) 1218116

[startup+1.50041 s]
/proc/loadavg: 1.04 1.11 1.46 3/183 28811
/proc/meminfo: memFree=29385620/32872528 swapFree=496356/529060
[pid=28807] ppid=28804 vsize=1219140 CPUtime=1.49 cores=0,2,4,6
/proc/28807/stat : 28807 (toysat) R 28804 28807 28709 0 -1 4202496 245575 0 0 0 115 34 0 0 20 0 4 0 11862588 1248399360 245904 33554432000 4194304 16246674 140733452019312 140733452018624 13927401 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/28807/statm: 304785 245904 787 2943 0 301679 0
[pid=28807/tid=28808] ppid=28804 vsize=1219140 CPUtime=0 cores=0,2,4,6
/proc/28807/task/28808/stat : 28808 (toysat) S 28804 28807 28709 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 11862588 1248399360 245904 33554432000 4194304 16246674 140733452019312 140454577286384 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=28807/tid=28809] ppid=28804 vsize=1219140 CPUtime=0 cores=0,2,4,6
/proc/28807/task/28809/stat : 28809 (toysat) S 28804 28807 28709 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 11862588 1248399360 245904 33554432000 4194304 16246674 140733452019312 140454490254576 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=28807/tid=28810] ppid=28804 vsize=1219140 CPUtime=0 cores=0,2,4,6
/proc/28807/task/28810/stat : 28810 (toysat) S 28804 28807 28709 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 11862588 1248399360 245904 33554432000 4194304 16246674 140733452019312 140454479781040 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) 1219140

[startup+3.10048 s]
/proc/loadavg: 1.04 1.11 1.46 3/183 28811
/proc/meminfo: memFree=29298440/32872528 swapFree=496356/529060
[pid=28807] ppid=28804 vsize=1306180 CPUtime=3.09 cores=0,2,4,6
/proc/28807/stat : 28807 (toysat) R 28804 28807 28709 0 -1 4202496 267412 0 0 0 272 37 0 0 20 0 4 0 11862588 1337528320 267741 33554432000 4194304 16246674 140733452019312 140733452002312 5808568 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/28807/statm: 326545 267741 787 2943 0 323439 0
[pid=28807/tid=28808] ppid=28804 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/28807/task/28808/stat : 28808 (toysat) S 28804 28807 28709 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 11862588 1337528320 267741 33554432000 4194304 16246674 140733452019312 140454577286384 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=28807/tid=28809] ppid=28804 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/28807/task/28809/stat : 28809 (toysat) S 28804 28807 28709 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 11862588 1337528320 267741 33554432000 4194304 16246674 140733452019312 140454490254576 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=28807/tid=28810] ppid=28804 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/28807/task/28810/stat : 28810 (toysat) S 28804 28807 28709 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 11862588 1337528320 267741 33554432000 4194304 16246674 140733452019312 140454479781040 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.30041 s]
/proc/loadavg: 1.12 1.13 1.46 3/183 28811
/proc/meminfo: memFree=29297712/32872528 swapFree=496356/529060
[pid=28807] ppid=28804 vsize=1306180 CPUtime=6.29 cores=0,2,4,6
/proc/28807/stat : 28807 (toysat) R 28804 28807 28709 0 -1 4202496 267456 0 0 0 592 37 0 0 20 0 4 0 11862588 1337528320 267785 33554432000 4194304 16246674 140733452019312 140733452002312 6021048 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/28807/statm: 326545 267785 789 2943 0 323439 0
[pid=28807/tid=28808] ppid=28804 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/28807/task/28808/stat : 28808 (toysat) S 28804 28807 28709 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 11862588 1337528320 267785 33554432000 4194304 16246674 140733452019312 140454577286384 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=28807/tid=28809] ppid=28804 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/28807/task/28809/stat : 28809 (toysat) S 28804 28807 28709 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 11862588 1337528320 267785 33554432000 4194304 16246674 140733452019312 140454490254576 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=28807/tid=28810] ppid=28804 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/28807/task/28810/stat : 28810 (toysat) S 28804 28807 28709 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 11862588 1337528320 267785 33554432000 4194304 16246674 140733452019312 140454479781040 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.7005 s]
/proc/loadavg: 1.19 1.14 1.46 3/183 28811
/proc/meminfo: memFree=29297916/32872528 swapFree=496356/529060
[pid=28807] ppid=28804 vsize=1306180 CPUtime=12.69 cores=0,2,4,6
/proc/28807/stat : 28807 (toysat) R 28804 28807 28709 0 -1 4202496 267520 0 0 0 1232 37 0 0 20 0 4 0 11862588 1337528320 267849 33554432000 4194304 16246674 140733452019312 140733452002312 6076639 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/28807/statm: 326545 267849 789 2943 0 323439 0
[pid=28807/tid=28808] ppid=28804 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/28807/task/28808/stat : 28808 (toysat) S 28804 28807 28709 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 11862588 1337528320 267849 33554432000 4194304 16246674 140733452019312 140454577286384 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=28807/tid=28809] ppid=28804 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/28807/task/28809/stat : 28809 (toysat) S 28804 28807 28709 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 11862588 1337528320 267849 33554432000 4194304 16246674 140733452019312 140454490254576 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=28807/tid=28810] ppid=28804 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/28807/task/28810/stat : 28810 (toysat) S 28804 28807 28709 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 11862588 1337528320 267849 33554432000 4194304 16246674 140733452019312 140454479781040 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 1306180

[startup+25.5004 s]
/proc/loadavg: 1.37 1.18 1.47 3/183 28812
/proc/meminfo: memFree=29298668/32872528 swapFree=496356/529060
[pid=28807] ppid=28804 vsize=1306180 CPUtime=25.48 cores=0,2,4,6
/proc/28807/stat : 28807 (toysat) R 28804 28807 28709 0 -1 4202496 267572 0 0 0 2511 37 0 0 20 0 4 0 11862588 1337528320 267901 33554432000 4194304 16246674 140733452019312 140733452002312 5672188 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/28807/statm: 326545 267901 790 2943 0 323439 0
[pid=28807/tid=28808] ppid=28804 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/28807/task/28808/stat : 28808 (toysat) S 28804 28807 28709 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 11862588 1337528320 267901 33554432000 4194304 16246674 140733452019312 140454577286384 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=28807/tid=28809] ppid=28804 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/28807/task/28809/stat : 28809 (toysat) S 28804 28807 28709 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 11862588 1337528320 267901 33554432000 4194304 16246674 140733452019312 140454490254576 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=28807/tid=28810] ppid=28804 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/28807/task/28810/stat : 28810 (toysat) S 28804 28807 28709 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 11862588 1337528320 267901 33554432000 4194304 16246674 140733452019312 140454479781040 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 1306180

[startup+51.1073 s]
/proc/loadavg: 1.65 1.27 1.49 4/184 28815
/proc/meminfo: memFree=29298496/32872528 swapFree=496356/529060
[pid=28807] ppid=28804 vsize=1306180 CPUtime=51.09 cores=0,2,4,6
/proc/28807/stat : 28807 (toysat) R 28804 28807 28709 0 -1 4202496 267572 0 0 0 5071 38 0 0 20 0 4 0 11862588 1337528320 267901 33554432000 4194304 16246674 140733452019312 140733452001216 5754972 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/28807/statm: 326545 267901 790 2943 0 323439 0
[pid=28807/tid=28808] ppid=28804 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/28807/task/28808/stat : 28808 (toysat) S 28804 28807 28709 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 11862588 1337528320 267901 33554432000 4194304 16246674 140733452019312 140454577286384 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=28807/tid=28809] ppid=28804 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/28807/task/28809/stat : 28809 (toysat) S 28804 28807 28709 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 11862588 1337528320 267901 33554432000 4194304 16246674 140733452019312 140454490254576 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=28807/tid=28810] ppid=28804 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/28807/task/28810/stat : 28810 (toysat) S 28804 28807 28709 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 11862588 1337528320 267901 33554432000 4194304 16246674 140733452019312 140454479781040 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 1306180

[startup+102.3 s]
/proc/loadavg: 2.05 1.42 1.53 3/183 28816
/proc/meminfo: memFree=29297188/32872528 swapFree=496356/529060
[pid=28807] ppid=28804 vsize=1307204 CPUtime=102.28 cores=0,2,4,6
/proc/28807/stat : 28807 (toysat) R 28804 28807 28709 0 -1 4202496 267738 0 0 0 10189 39 0 0 20 0 4 0 11862588 1338576896 268067 33554432000 4194304 16246674 140733452019312 140733452001216 12477989 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/28807/statm: 326801 268067 790 2943 0 323695 0
[pid=28807/tid=28808] ppid=28804 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/28807/task/28808/stat : 28808 (toysat) S 28804 28807 28709 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 11862588 1338576896 268067 33554432000 4194304 16246674 140733452019312 140454577286384 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=28807/tid=28809] ppid=28804 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/28807/task/28809/stat : 28809 (toysat) S 28804 28807 28709 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 11862588 1338576896 268067 33554432000 4194304 16246674 140733452019312 140454490254576 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=28807/tid=28810] ppid=28804 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/28807/task/28810/stat : 28810 (toysat) S 28804 28807 28709 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 11862588 1338576896 268067 33554432000 4194304 16246674 140733452019312 140454479781040 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 1307204


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

/proc/28807/task/28810/stat : 28810 (toysat) S 28804 28807 28709 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 11862588 1339625472 268503 33554432000 4194304 16246674 140733452019312 140454479781040 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1242
Current children cumulated vsize (KiB) 1308228

[startup+1302.3 s]
/proc/loadavg: 2.05 2.11 1.94 3/183 28847
/proc/meminfo: memFree=29289196/32872528 swapFree=496356/529060
[pid=28807] ppid=28804 vsize=1308228 CPUtime=1301.96 cores=0,2,4,6
/proc/28807/stat : 28807 (toysat) R 28804 28807 28709 0 -1 4202496 268144 0 0 0 130134 62 0 0 20 0 4 0 11862588 1339625472 268503 33554432000 4194304 16246674 140733452019312 140733452002312 13943664 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/28807/statm: 327057 268503 791 2943 0 323951 0
[pid=28807/tid=28808] ppid=28804 vsize=1308228 CPUtime=0 cores=0,2,4,6
/proc/28807/task/28808/stat : 28808 (toysat) S 28804 28807 28709 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 11862588 1339625472 268503 33554432000 4194304 16246674 140733452019312 140454577286384 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=28807/tid=28809] ppid=28804 vsize=1308228 CPUtime=0 cores=0,2,4,6
/proc/28807/task/28809/stat : 28809 (toysat) S 28804 28807 28709 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 11862588 1339625472 268503 33554432000 4194304 16246674 140733452019312 140454490254576 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=28807/tid=28810] ppid=28804 vsize=1308228 CPUtime=0 cores=0,2,4,6
/proc/28807/task/28810/stat : 28810 (toysat) S 28804 28807 28709 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 11862588 1339625472 268503 33554432000 4194304 16246674 140733452019312 140454479781040 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1301.96
Current children cumulated vsize (KiB) 1308228

[startup+1362.31 s]
/proc/loadavg: 2.02 2.09 1.94 4/182 28848
/proc/meminfo: memFree=29290404/32872528 swapFree=496356/529060
[pid=28807] ppid=28804 vsize=1308228 CPUtime=1361.93 cores=0,2,4,6
/proc/28807/stat : 28807 (toysat) R 28804 28807 28709 0 -1 4202496 268183 0 0 0 136130 63 0 0 20 0 4 0 11862588 1339625472 268503 33554432000 4194304 16246674 140733452019312 140733452002312 6012131 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/28807/statm: 327057 268503 791 2943 0 323951 0
[pid=28807/tid=28808] ppid=28804 vsize=1308228 CPUtime=0 cores=0,2,4,6
/proc/28807/task/28808/stat : 28808 (toysat) S 28804 28807 28709 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 11862588 1339625472 268503 33554432000 4194304 16246674 140733452019312 140454577286384 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=28807/tid=28809] ppid=28804 vsize=1308228 CPUtime=0 cores=0,2,4,6
/proc/28807/task/28809/stat : 28809 (toysat) S 28804 28807 28709 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 11862588 1339625472 268503 33554432000 4194304 16246674 140733452019312 140454490254576 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=28807/tid=28810] ppid=28804 vsize=1308228 CPUtime=0 cores=0,2,4,6
/proc/28807/task/28810/stat : 28810 (toysat) S 28804 28807 28709 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 11862588 1339625472 268503 33554432000 4194304 16246674 140733452019312 140454479781040 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1361.93
Current children cumulated vsize (KiB) 1308228

[startup+1422.3 s]
/proc/loadavg: 2.08 2.09 1.94 3/183 28850
/proc/meminfo: memFree=29290096/32872528 swapFree=496356/529060
[pid=28807] ppid=28804 vsize=1308228 CPUtime=1421.88 cores=0,2,4,6
/proc/28807/stat : 28807 (toysat) R 28804 28807 28709 0 -1 4202496 268230 0 0 0 142124 64 0 0 20 0 4 0 11862588 1339625472 268503 33554432000 4194304 16246674 140733452019312 140733452002312 5672971 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/28807/statm: 327057 268503 791 2943 0 323951 0
[pid=28807/tid=28808] ppid=28804 vsize=1308228 CPUtime=0 cores=0,2,4,6
/proc/28807/task/28808/stat : 28808 (toysat) S 28804 28807 28709 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 11862588 1339625472 268503 33554432000 4194304 16246674 140733452019312 140454577286384 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=28807/tid=28809] ppid=28804 vsize=1308228 CPUtime=0 cores=0,2,4,6
/proc/28807/task/28809/stat : 28809 (toysat) S 28804 28807 28709 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 11862588 1339625472 268503 33554432000 4194304 16246674 140733452019312 140454490254576 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=28807/tid=28810] ppid=28804 vsize=1308228 CPUtime=0 cores=0,2,4,6
/proc/28807/task/28810/stat : 28810 (toysat) S 28804 28807 28709 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 11862588 1339625472 268503 33554432000 4194304 16246674 140733452019312 140454479781040 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1421.88
Current children cumulated vsize (KiB) 1308228

[startup+1482.3 s]
/proc/loadavg: 2.06 2.08 1.95 3/183 28851
/proc/meminfo: memFree=29290092/32872528 swapFree=496356/529060
[pid=28807] ppid=28804 vsize=1308228 CPUtime=1481.85 cores=0,2,4,6
/proc/28807/stat : 28807 (toysat) R 28804 28807 28709 0 -1 4202496 268276 0 0 0 148120 65 0 0 20 0 4 0 11862588 1339625472 268503 33554432000 4194304 16246674 140733452019312 140733452002312 5672188 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/28807/statm: 327057 268503 791 2943 0 323951 0
[pid=28807/tid=28808] ppid=28804 vsize=1308228 CPUtime=0 cores=0,2,4,6
/proc/28807/task/28808/stat : 28808 (toysat) S 28804 28807 28709 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 11862588 1339625472 268503 33554432000 4194304 16246674 140733452019312 140454577286384 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=28807/tid=28809] ppid=28804 vsize=1308228 CPUtime=0 cores=0,2,4,6
/proc/28807/task/28809/stat : 28809 (toysat) S 28804 28807 28709 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 11862588 1339625472 268503 33554432000 4194304 16246674 140733452019312 140454490254576 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=28807/tid=28810] ppid=28804 vsize=1308228 CPUtime=0 cores=0,2,4,6
/proc/28807/task/28810/stat : 28810 (toysat) S 28804 28807 28709 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 11862588 1339625472 268503 33554432000 4194304 16246674 140733452019312 140454479781040 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1481.85
Current children cumulated vsize (KiB) 1308228

[startup+1542.3 s]
/proc/loadavg: 2.06 2.08 1.95 3/183 28852
/proc/meminfo: memFree=29289844/32872528 swapFree=496356/529060
[pid=28807] ppid=28804 vsize=1308228 CPUtime=1541.82 cores=0,2,4,6
/proc/28807/stat : 28807 (toysat) R 28804 28807 28709 0 -1 4202496 268320 0 0 0 154116 66 0 0 20 0 4 0 11862588 1339625472 268503 33554432000 4194304 16246674 140733452019312 140733452001216 6073223 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/28807/statm: 327057 268503 791 2943 0 323951 0
[pid=28807/tid=28808] ppid=28804 vsize=1308228 CPUtime=0 cores=0,2,4,6
/proc/28807/task/28808/stat : 28808 (toysat) S 28804 28807 28709 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 11862588 1339625472 268503 33554432000 4194304 16246674 140733452019312 140454577286384 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=28807/tid=28809] ppid=28804 vsize=1308228 CPUtime=0 cores=0,2,4,6
/proc/28807/task/28809/stat : 28809 (toysat) S 28804 28807 28709 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 11862588 1339625472 268503 33554432000 4194304 16246674 140733452019312 140454490254576 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=28807/tid=28810] ppid=28804 vsize=1308228 CPUtime=0 cores=0,2,4,6
/proc/28807/task/28810/stat : 28810 (toysat) S 28804 28807 28709 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 11862588 1339625472 268503 33554432000 4194304 16246674 140733452019312 140454479781040 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1541.82
Current children cumulated vsize (KiB) 1308228

[startup+1602.3 s]
/proc/loadavg: 2.02 2.06 1.95 3/183 28854
/proc/meminfo: memFree=29289976/32872528 swapFree=496356/529060
[pid=28807] ppid=28804 vsize=1308228 CPUtime=1601.78 cores=0,2,4,6
/proc/28807/stat : 28807 (toysat) R 28804 28807 28709 0 -1 4202496 268366 0 0 0 160111 67 0 0 20 0 4 0 11862588 1339625472 268503 33554432000 4194304 16246674 140733452019312 140733452002312 5722144 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/28807/statm: 327057 268503 791 2943 0 323951 0
[pid=28807/tid=28808] ppid=28804 vsize=1308228 CPUtime=0 cores=0,2,4,6
/proc/28807/task/28808/stat : 28808 (toysat) S 28804 28807 28709 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 11862588 1339625472 268503 33554432000 4194304 16246674 140733452019312 140454577286384 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=28807/tid=28809] ppid=28804 vsize=1308228 CPUtime=0 cores=0,2,4,6
/proc/28807/task/28809/stat : 28809 (toysat) S 28804 28807 28709 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 11862588 1339625472 268503 33554432000 4194304 16246674 140733452019312 140454490254576 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=28807/tid=28810] ppid=28804 vsize=1308228 CPUtime=0 cores=0,2,4,6
/proc/28807/task/28810/stat : 28810 (toysat) S 28804 28807 28709 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 11862588 1339625472 268503 33554432000 4194304 16246674 140733452019312 140454479781040 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1601.78
Current children cumulated vsize (KiB) 1308228

[startup+1662.3 s]
/proc/loadavg: 2.10 2.08 1.96 3/183 28855
/proc/meminfo: memFree=29289668/32872528 swapFree=496356/529060
[pid=28807] ppid=28804 vsize=1308228 CPUtime=1661.77 cores=0,2,4,6
/proc/28807/stat : 28807 (toysat) R 28804 28807 28709 0 -1 4202496 268378 0 0 0 166109 68 0 0 20 0 4 0 11862588 1339625472 268671 33554432000 4194304 16246674 140733452019312 140733452002312 15015658 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/28807/statm: 327057 268671 791 2943 0 323951 0
[pid=28807/tid=28808] ppid=28804 vsize=1308228 CPUtime=0 cores=0,2,4,6
/proc/28807/task/28808/stat : 28808 (toysat) S 28804 28807 28709 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 11862588 1339625472 268671 33554432000 4194304 16246674 140733452019312 140454577286384 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=28807/tid=28809] ppid=28804 vsize=1308228 CPUtime=0 cores=0,2,4,6
/proc/28807/task/28809/stat : 28809 (toysat) S 28804 28807 28709 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 11862588 1339625472 268671 33554432000 4194304 16246674 140733452019312 140454490254576 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=28807/tid=28810] ppid=28804 vsize=1308228 CPUtime=0 cores=0,2,4,6
/proc/28807/task/28810/stat : 28810 (toysat) S 28804 28807 28709 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 11862588 1339625472 268671 33554432000 4194304 16246674 140733452019312 140454479781040 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1661.77
Current children cumulated vsize (KiB) 1308228

[startup+1722.3 s]
/proc/loadavg: 2.03 2.06 1.96 4/183 28856
/proc/meminfo: memFree=29289776/32872528 swapFree=496356/529060
[pid=28807] ppid=28804 vsize=1308228 CPUtime=1721.76 cores=0,2,4,6
/proc/28807/stat : 28807 (toysat) R 28804 28807 28709 0 -1 4202496 268378 0 0 0 172107 69 0 0 20 0 4 0 11862588 1339625472 268671 33554432000 4194304 16246674 140733452019312 140733452002312 5823116 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/28807/statm: 327057 268671 791 2943 0 323951 0
[pid=28807/tid=28808] ppid=28804 vsize=1308228 CPUtime=0 cores=0,2,4,6
/proc/28807/task/28808/stat : 28808 (toysat) S 28804 28807 28709 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 11862588 1339625472 268671 33554432000 4194304 16246674 140733452019312 140454577286384 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=28807/tid=28809] ppid=28804 vsize=1308228 CPUtime=0 cores=0,2,4,6
/proc/28807/task/28809/stat : 28809 (toysat) S 28804 28807 28709 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 11862588 1339625472 268671 33554432000 4194304 16246674 140733452019312 140454490254576 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=28807/tid=28810] ppid=28804 vsize=1308228 CPUtime=0 cores=0,2,4,6
/proc/28807/task/28810/stat : 28810 (toysat) S 28804 28807 28709 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 11862588 1339625472 268671 33554432000 4194304 16246674 140733452019312 140454479781040 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1721.76
Current children cumulated vsize (KiB) 1308228

[startup+1782.3 s]
/proc/loadavg: 2.06 2.06 1.97 3/183 28857
/proc/meminfo: memFree=29288892/32872528 swapFree=496356/529060
[pid=28807] ppid=28804 vsize=1308228 CPUtime=1781.75 cores=0,2,4,6
/proc/28807/stat : 28807 (toysat) R 28804 28807 28709 0 -1 4202496 268378 0 0 0 178105 70 0 0 20 0 4 0 11862588 1339625472 268671 33554432000 4194304 16246674 140733452019312 140733452002312 6012036 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/28807/statm: 327057 268671 791 2943 0 323951 0
[pid=28807/tid=28808] ppid=28804 vsize=1308228 CPUtime=0 cores=0,2,4,6
/proc/28807/task/28808/stat : 28808 (toysat) S 28804 28807 28709 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 11862588 1339625472 268671 33554432000 4194304 16246674 140733452019312 140454577286384 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=28807/tid=28809] ppid=28804 vsize=1308228 CPUtime=0 cores=0,2,4,6
/proc/28807/task/28809/stat : 28809 (toysat) S 28804 28807 28709 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 11862588 1339625472 268671 33554432000 4194304 16246674 140733452019312 140454490254576 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=28807/tid=28810] ppid=28804 vsize=1308228 CPUtime=0 cores=0,2,4,6
/proc/28807/task/28810/stat : 28810 (toysat) S 28804 28807 28709 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 11862588 1339625472 268671 33554432000 4194304 16246674 140733452019312 140454479781040 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1781.75
Current children cumulated vsize (KiB) 1308228



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.6 s]
/proc/loadavg: 2.04 2.06 1.97 3/183 28906
/proc/meminfo: memFree=29289664/32872528 swapFree=496356/529060
[pid=28807] ppid=28804 vsize=1308228 CPUtime=1800.05 cores=0,2,4,6
/proc/28807/stat : 28807 (toysat) R 28804 28807 28709 0 -1 4202496 268378 0 0 0 179935 70 0 0 20 0 4 0 11862588 1339625472 268671 33554432000 4194304 16246674 140733452019312 140733452002312 5822938 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/28807/statm: 327057 268671 791 2943 0 323951 0
[pid=28807/tid=28808] ppid=28804 vsize=1308228 CPUtime=0 cores=0,2,4,6
/proc/28807/task/28808/stat : 28808 (toysat) S 28804 28807 28709 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 11862588 1339625472 268671 33554432000 4194304 16246674 140733452019312 140454577286384 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=28807/tid=28809] ppid=28804 vsize=1308228 CPUtime=0 cores=0,2,4,6
/proc/28807/task/28809/stat : 28809 (toysat) S 28804 28807 28709 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 11862588 1339625472 268671 33554432000 4194304 16246674 140733452019312 140454490254576 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=28807/tid=28810] ppid=28804 vsize=1308228 CPUtime=0 cores=0,2,4,6
/proc/28807/task/28810/stat : 28810 (toysat) S 28804 28807 28709 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 11862588 1339625472 268671 33554432000 4194304 16246674 140733452019312 140454479781040 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1800.05
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 28807 sig 9
??? end of watcher thread
Dumping a history of the last processes samples

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1800.61
CPU time (s): 1800.06
CPU user time (s): 1799.36
CPU system time (s): 0.703892
CPU usage (%): 99.9696
Max. virtual memory (cumulated for all children) (KiB): 1308228

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.36
system time used= 0.703892
maximum resident set size= 1074684
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 268378
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= 474
involuntary context switches= 2020

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 4.80727 second user time and 6.71498 second system time

The end

Begin job on node141 at 2016-06-16 19:29:32
IDJOB=4095882
IDBENCH=107535
IDSOLVER=2542
FILE ID=node141/4095882-1466098171
RUNJOBID= node141-1466098167-28725
PBS_JOBID= 19904052
Free space on /tmp= 71712 MiB

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

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

MD5SUM BENCH= 5097da4beb8e5bca49805da93deedd86
RANDOM SEED=416340614

node141.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.547
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.09
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.547
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.547
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.54
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.547
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.547
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.56
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.547
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.547
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.547
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 22
initial apicid	: 22
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.56
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       32872528 kB
MemFree:        30369300 kB
Buffers:           44532 kB
Cached:           150884 kB
SwapCached:         2880 kB
Active:          1193368 kB
Inactive:          75308 kB
Active(anon):    1073460 kB
Inactive(anon):     2156 kB
Active(file):     119908 kB
Inactive(file):    73152 kB
Unevictable:      529060 kB
Mlocked:          496356 kB
SwapTotal:      67108856 kB
SwapFree:       67098996 kB
Dirty:             33080 kB
Writeback:             0 kB
AnonPages:       1600468 kB
Mapped:            10212 kB
Shmem:                 0 kB
Slab:             571120 kB
SReclaimable:      14388 kB
SUnreclaim:       556732 kB
KernelStack:        1528 kB
PageTables:         7216 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    1745724 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:     34816 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= 71696 MiB
End job on node141 at 2016-06-16 19:59:32