0.00/0.00	c 2016-06-15T23:09:02+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-4089281-1466024941.opb"]
0.00/0.01	c use --random-gen="798777835 3666385328 3111492188 1880845561 2310444585 1020151203 2958386155 2443747296 2125190459 875783014 4292623616 2125038550 3011528586 3214877040 1638488028 1514802297 1283224604 3999982121 2622834347 484611559 929085791 2557768935 2742581600 1276913180 2335343484 4096968276 845231386 4062285508 674174734 1618983056 740354753 1486719868 3429229081 145508996 2656763900 2164916966 3831778578 1534642933 3129644236 3452221001 3288452181 755551666 255506234 544932532 582674712 1845634741 2167934734 3932829566 3507855272 974391533 2763942040 837976857 655024076 460107041 2547880938 2663783077 902579858 1011148563 2746070045 2052422309 509041275 901312320 2427549312 4210195217 175504818 4121631616 2203936605 2828187000 4017625810 3359599291 2939341902 366843720 3127712286 1278149430 2938153931 3740786782 1747721358 2483701782 834297661 3350798042 2987317624 4231399955 3507062411 3528546618 3182954122 1685998118 4142683110 3589039439 37923700 3562590098 1503793906 3621321300 2659114809 2704151046 1925482800 448605717 1138182304 562077743 141878467 778361509 1464072292 3128788053 2739736512 3726102286 4009726558 1515490021 1984210712 2702140805 483683325 1921454961 3205195785 1519972238 1275403513 1895605050 596265586 2212039628 1748423824 205627582 2276094216 1840824117 3309526267 411854987 3070197223 770695077 3211922780 3225059865 510922848 2102644591 3108921996 713127824 1823650673 1967643364 3056225884 1747295999 2030662170 2009213351 819782091 3053460186 3475242167 3388740713 2986350034 3006418819 3962668296 1516003708 425114645 2845935304 1139120279 582611458 789810580 1571858777 3768070631 2969989243 1357772515 2079274247 1711431721 3783740298 387844043 2618177886 973044773 2826371930 1793290205 3092797817 877505124 3004071977 3515436437 806506254 2305082859 733499222 1394901632 3147189832 3843738526 2643783390 4248520980 3786836631 1503266874 1072214615 1060987795 3449100194 551337904 1911903813 2998388811 2764679297 4075097128 3820985741 3612873323 4098115060 1587168190 3433796566 1975022938 3460982056 3713828216 1247027290 3244796451 152963954 3970023955 4231194245 1745829618 2147546199 288160032 3147761711 3053045160 1013991295 2119038133 1722473756 3253033754 271709773 223258700 3705105624 3025891791 3103235623 2055287466 1121061350 2785028968 1955757011 3324593913 3727649768 1092013645 957561993 3828793974 3606951737 3995817870 589188433 610923818 1439680085 2850208272 255277342 3045909246 3307108019 2554507190 1524631336 1153100542 3368334925 1871556934 904781437 4215127707 176975359 304177890 3958605783 4030221665 3089824681 2789723474 3752052706 2360833585 1461033728 1282999223 1926228228 2879592757 482484847 1813034518 780079983 2468353485 1211270690 1001652882 3071528306 525882713 3631517158 255 362436" option to reproduce the execution
0.00/0.01	c #vars 100
0.00/0.01	c #constraints 201
0.00/0.01	c Solving starts ...
0.00/0.01	c ============================[ Search Statistics ]============================
0.00/0.01	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
0.00/0.01	c       |         |          |          |    Limit     GC | Var      | Constra 
0.00/0.01	c =============================================================================
0.00/0.01	c  0.0s |       0 |        0 |        0 |      100      0 |        0 |        0
0.00/0.02	c  0.0s |       1 |      154 |      100 |      100      0 |        0 |        0
0.00/0.04	c  0.0s |       2 |      350 |      250 |      111      2 |        0 |        0
0.00/0.07	c  0.1s |       3 |      611 |      475 |      123      4 |        0 |        0
0.09/0.12	c  0.1s |       4 |      996 |      813 |      136      8 |        0 |        0
0.09/0.19	c  0.2s |       5 |     1554 |     1320 |      150     13 |        0 |        0
0.19/0.29	c  0.3s |       6 |     2364 |     2081 |      182     21 |        0 |        0
0.39/0.45	c  0.4s |       7 |     3549 |     3223 |      201     31 |        0 |        0
0.59/0.69	c  0.7s |       8 |     5349 |     4936 |      222     45 |        0 |        0
0.89/0.99	c  1.0s |       9 |     8027 |     7506 |      245     64 |        0 |        0
1.29/1.35	c  1.3s |      10 |    12033 |    11361 |      270     91 |        0 |        0
1.89/1.91	c  1.9s |      11 |    18070 |    17144 |      297    128 |        0 |        0
2.69/2.72	c  2.7s |      12 |    27017 |    25819 |      327    179 |        0 |        0
3.89/3.94	c  3.9s |      13 |    40492 |    38832 |      360    250 |        0 |        0
5.79/5.82	c  5.8s |      14 |    60623 |    58352 |      397    348 |        0 |        0
7.79/7.83	c  7.8s |      14 |    82082 |    78852 |      397    442 |        0 |        0
8.68/8.70	c  8.7s |      15 |    91245 |    87632 |      437    482 |        0 |        0
10.68/10.70	c 10.7s |      15 |   112752 |   108032 |      437    568 |        0 |        0
12.68/12.70	c 12.7s |      15 |   134004 |   128632 |      437    655 |        0 |        0
12.88/12.98	c 13.0s |      16 |   137015 |   131552 |      481    667 |        0 |        0
14.88/14.99	c 15.0s |      16 |   158177 |   151752 |      481    745 |        0 |        0
16.89/16.99	c 17.0s |      16 |   179060 |   171752 |      481    822 |        0 |        0
18.99/19.00	c 19.0s |      16 |   200130 |   191952 |      481    900 |        0 |        0
19.49/19.55	c 19.5s |      17 |   205775 |   197432 |      530    921 |        0 |        0
21.49/21.56	c 21.5s |      17 |   227134 |   217232 |      530    991 |        0 |        0
23.49/23.57	c 23.6s |      17 |   248085 |   237132 |      530   1061 |        0 |        0
25.49/25.57	c 25.6s |      17 |   268784 |   256832 |      530   1130 |        0 |        0
27.50/27.58	c 27.6s |      17 |   289641 |   276732 |      530   1201 |        0 |        0
29.49/29.55	c 29.5s |      18 |   310125 |   296252 |      583   1269 |        0 |        0
31.49/31.55	c 31.5s |      18 |   331192 |   315652 |      583   1332 |        0 |        0
33.49/33.56	c 33.5s |      18 |   352241 |   335152 |      583   1395 |        0 |        0
35.49/35.56	c 35.5s |      18 |   372773 |   354752 |      583   1458 |        0 |        0
37.49/37.56	c 37.6s |      18 |   393656 |   374252 |      583   1520 |        0 |        0
39.49/39.57	c 39.6s |      18 |   414570 |   393652 |      583   1583 |        0 |        0
41.48/41.57	c 41.6s |      18 |   435250 |   413052 |      583   1646 |        0 |        0
43.48/43.58	c 43.6s |      18 |   456491 |   432752 |      583   1709 |        0 |        0
44.78/44.80	c 44.8s |      19 |   468991 |   444482 |      642   1746 |        0 |        0
46.78/46.80	c 46.8s |      19 |   489127 |   463482 |      642   1802 |        0 |        0
48.78/48.81	c 48.8s |      19 |   509190 |   482482 |      642   1858 |        0 |        0
50.78/50.81	c 50.8s |      19 |   529567 |   501682 |      642   1915 |        0 |        0
52.79/52.81	c 52.8s |      19 |   550369 |   520982 |      642   1972 |        0 |        0
54.78/54.81	c 54.8s |      19 |   570930 |   540382 |      642   2029 |        0 |        0
56.78/56.82	c 56.8s |      19 |   591354 |   559882 |      642   2087 |        0 |        0
58.78/58.82	c 58.8s |      19 |   611755 |   579282 |      642   2144 |        0 |        0
60.78/60.83	c 60.8s |      19 |   631823 |   598382 |      642   2200 |        0 |        0
62.79/62.84	c 62.8s |      19 |   652282 |   617682 |      642   2257 |        0 |        0
64.78/64.85	c 64.8s |      19 |   672779 |   636982 |      642   2314 |        0 |        0
66.78/66.85	c 66.8s |      19 |   693117 |   656082 |      642   2370 |        0 |        0
67.88/67.98	c 68.0s |      20 |   704432 |   666827 |      707   2401 |        0 |        0
69.88/69.99	c 70.0s |      20 |   724969 |   685927 |      707   2452 |        0 |        0
71.88/71.99	c 72.0s |      20 |   745738 |   704727 |      707   2503 |        0 |        0
73.98/74.00	c 74.0s |      20 |   766360 |   723727 |      707   2554 |        0 |        0
75.98/76.01	c 76.0s |      20 |   786758 |   742927 |      707   2606 |        0 |        0
77.98/78.01	c 78.0s |      20 |   807051 |   762227 |      707   2657 |        0 |        0
79.97/80.02	c 80.0s |      20 |   827389 |   781427 |      707   2709 |        0 |        0
81.97/82.03	c 82.0s |      20 |   847667 |   800227 |      707   2760 |        0 |        0
83.97/84.03	c 84.0s |      20 |   867857 |   819527 |      707   2812 |        0 |        0
85.97/86.04	c 86.0s |      20 |   887809 |   838727 |      707   2864 |        0 |        0
87.99/88.05	c 88.0s |      20 |   907976 |   858027 |      707   2916 |        0 |        0
89.98/90.05	c 90.0s |      20 |   928204 |   877127 |      707   2967 |        0 |        0
91.98/92.05	c 92.0s |      20 |   948136 |   896127 |      707   3018 |        0 |        0
93.98/94.06	c 94.0s |      20 |   968154 |   914927 |      707   3069 |        0 |        0
95.98/96.07	c 96.1s |      20 |   988399 |   934127 |      707   3121 |        0 |        0
97.99/98.07	c 98.1s |      20 |  1008524 |   953427 |      707   3173 |        0 |        0
99.98/100.07	c  100s |      20 |  1028882 |   972627 |      707   3225 |        0 |        0
101.98/102.08	c  102s |      20 |  1049766 |   991727 |      707   3276 |        0 |        0
102.88/102.99	c  102s |      21 |  1058801 |  1000345 |      778   3298 |        0 |        0
104.88/105.00	c  104s |      21 |  1078798 |  1019145 |      778   3344 |        0 |        0
106.98/107.00	c  106s |      21 |  1099056 |  1037845 |      778   3390 |        0 |        0
108.98/109.01	c  109s |      21 |  1119595 |  1056545 |      778   3436 |        0 |        0
110.98/111.02	c  111s |      21 |  1139583 |  1075345 |      778   3482 |        0 |        0
112.97/113.03	c  113s |      21 |  1159122 |  1094045 |      778   3528 |        0 |        0
114.97/115.03	c  115s |      21 |  1178839 |  1112545 |      778   3573 |        0 |        0
116.97/117.04	c  117s |      21 |  1198949 |  1131045 |      778   3618 |        0 |        0
118.97/119.04	c  119s |      21 |  1219592 |  1149745 |      778   3664 |        0 |        0
120.98/121.04	c  121s |      21 |  1240025 |  1168745 |      778   3711 |        0 |        0
122.97/123.05	c  123s |      21 |  1260586 |  1187445 |      778   3757 |        0 |        0
124.97/125.06	c  125s |      21 |  1280035 |  1205845 |      778   3802 |        0 |        0
126.97/127.07	c  127s |      21 |  1300154 |  1224345 |      778   3848 |        0 |        0
128.97/129.07	c  129s |      21 |  1321214 |  1243145 |      778   3894 |        0 |        0
130.98/131.07	c  131s |      21 |  1341452 |  1261845 |      778   3940 |        0 |        0
132.97/133.07	c  133s |      21 |  1361058 |  1280245 |      778   3985 |        0 |        0
134.97/135.08	c  135s |      21 |  1380961 |  1298645 |      778   4031 |        0 |        0
136.97/137.09	c  137s |      21 |  1400609 |  1316945 |      778   4076 |        0 |        0
138.97/139.09	c  139s |      21 |  1420759 |  1335345 |      778   4121 |        0 |        0
141.07/141.10	c  141s |      21 |  1441295 |  1353445 |      778   4166 |        0 |        0
143.07/143.11	c  143s |      21 |  1461017 |  1372245 |      778   4212 |        0 |        0
145.06/145.11	c  145s |      21 |  1481461 |  1390945 |      778   4258 |        0 |        0
147.06/147.12	c  147s |      21 |  1501826 |  1409345 |      778   4304 |        0 |        0
149.07/149.13	c  149s |      21 |  1521483 |  1427645 |      778   4349 |        0 |        0
151.07/151.14	c  151s |      21 |  1542055 |  1446345 |      778   4395 |        0 |        0
153.07/153.15	c  153s |      21 |  1561488 |  1464745 |      778   4440 |        0 |        0
155.08/155.16	c  155s |      21 |  1580781 |  1483045 |      778   4485 |        0 |        0
157.07/157.11	c  157s |      22 |  1599875 |  1500622 |      856   4525 |        0 |        0
159.07/159.11	c  159s |      22 |  1619452 |  1518722 |      856   4566 |        0 |        0
161.07/161.12	c  161s |      22 |  1639137 |  1536622 |      856   4606 |        0 |        0
163.07/163.13	c  163s |      22 |  1658612 |  1554222 |      856   4645 |        0 |        0
165.07/165.13	c  165s |      22 |  1677498 |  1572022 |      856   4685 |        0 |        0
167.07/167.14	c  167s |      22 |  1696467 |  1589622 |      856   4725 |        0 |        0
169.07/169.15	c  169s |      22 |  1716141 |  1607522 |      856   4765 |        0 |        0
171.07/171.16	c  171s |      22 |  1735862 |  1625222 |      856   4804 |        0 |        0
173.06/173.17	c  173s |      22 |  1755744 |  1643022 |      856   4844 |        0 |        0
175.06/175.17	c  175s |      22 |  1774965 |  1661022 |      856   4885 |        0 |        0
177.07/177.17	c  177s |      22 |  1793776 |  1678322 |      856   4923 |        0 |        0
179.06/179.18	c  179s |      22 |  1813013 |  1696122 |      856   4963 |        0 |        0
181.06/181.18	c  181s |      22 |  1832188 |  1714122 |      856   5004 |        0 |        0
183.06/183.19	c  183s |      22 |  1851619 |  1732122 |      856   5044 |        0 |        0
185.06/185.20	c  185s |      22 |  1871142 |  1750122 |      856   5084 |        0 |        0
187.16/187.20	c  187s |      22 |  1890444 |  1768122 |      856   5125 |        0 |        0
189.16/189.21	c  189s |      22 |  1910009 |  1786122 |      856   5165 |        0 |        0
191.16/191.21	c  191s |      22 |  1930325 |  1804222 |      856   5206 |        0 |        0
193.16/193.21	c  193s |      22 |  1950292 |  1822122 |      856   5246 |        0 |        0
195.16/195.22	c  195s |      22 |  1969730 |  1840222 |      856   5287 |        0 |        0
197.16/197.22	c  197s |      22 |  1989831 |  1858422 |      856   5328 |        0 |        0
199.17/199.22	c  199s |      22 |  2009354 |  1876322 |      856   5368 |        0 |        0
201.16/201.23	c  201s |      22 |  2028990 |  1894122 |      856   5408 |        0 |        0
203.16/203.23	c  203s |      22 |  2048299 |  1912122 |      856   5448 |        0 |        0
205.16/205.25	c  205s |      22 |  2067957 |  1930322 |      856   5489 |        0 |        0
207.16/207.25	c  207s |      22 |  2087875 |  1948622 |      856   5530 |        0 |        0
209.16/209.26	c  209s |      22 |  2107916 |  1966722 |      856   5571 |        0 |        0
211.16/211.26	c  211s |      22 |  2127917 |  1984922 |      856   5612 |        0 |        0
213.16/213.27	c  213s |      22 |  2148331 |  2003122 |      856   5653 |        0 |        0
215.15/215.28	c  215s |      22 |  2168387 |  2021322 |      856   5694 |        0 |        0
217.15/217.28	c  217s |      22 |  2188442 |  2039422 |      856   5734 |        0 |        0
219.16/219.29	c  219s |      22 |  2207972 |  2057522 |      856   5775 |        0 |        0
221.26/221.30	c  221s |      22 |  2227256 |  2075522 |      856   5815 |        0 |        0
223.27/223.31	c  223s |      22 |  2247272 |  2093422 |      856   5855 |        0 |        0
225.26/225.31	c  225s |      22 |  2266538 |  2111122 |      856   5895 |        0 |        0
227.26/227.31	c  227s |      22 |  2286082 |  2128922 |      856   5935 |        0 |        0
229.26/229.32	c  229s |      22 |  2305706 |  2147022 |      856   5976 |        0 |        0
231.26/231.32	c  231s |      22 |  2324670 |  2165022 |      856   6016 |        0 |        0
233.26/233.32	c  233s |      22 |  2343734 |  2182922 |      856   6057 |        0 |        0
235.26/235.34	c  235s |      22 |  2363509 |  2200922 |      856   6097 |        0 |        0
237.25/237.34	c  237s |      22 |  2383088 |  2219022 |      856   6138 |        0 |        0
239.25/239.35	c  239s |      22 |  2402767 |  2237022 |      942   6178 |        0 |        0
240.75/240.90	c  240s |      23 |  2417625 |  2251038 |      942   6206 |        0 |        0
242.85/242.90	c  242s |      23 |  2438318 |  2268838 |      942   6243 |        0 |        0
244.85/244.91	c  244s |      23 |  2457631 |  2286338 |      942   6278 |        0 |        0
246.85/246.91	c  246s |      23 |  2477027 |  2304038 |      942   6315 |        0 |        0
248.85/248.91	c  248s |      23 |  2496953 |  2322038 |      942   6351 |        0 |        0
250.86/250.92	c  250s |      23 |  2517081 |  2339938 |      942   6388 |        0 |        0
252.85/252.92	c  252s |      23 |  2536860 |  2357338 |      942   6424 |        0 |        0
254.85/254.93	c  254s |      23 |  2556472 |  2375338 |      942   6461 |        0 |        0
256.85/256.93	c  256s |      23 |  2576317 |  2393238 |      942   6497 |        0 |        0
258.85/258.94	c  258s |      23 |  2595958 |  2411238 |      942   6534 |        0 |        0
260.85/260.95	c  260s |      23 |  2616167 |  2429338 |      942   6571 |        0 |        0
262.86/262.95	c  262s |      23 |  2636158 |  2447238 |      942   6608 |        0 |        0
264.85/264.95	c  264s |      23 |  2655019 |  2464938 |      942   6644 |        0 |        0
266.85/266.95	c  266s |      23 |  2673965 |  2482738 |      942   6680 |        0 |        0
268.85/268.96	c  268s |      23 |  2693438 |  2500538 |      942   6717 |        0 |        0
270.85/270.96	c  270s |      23 |  2712697 |  2518238 |      942   6753 |        0 |        0
272.85/272.97	c  272s |      23 |  2731976 |  2535838 |      942   6789 |        0 |        0
274.84/274.97	c  274s |      23 |  2751662 |  2553438 |      942   6825 |        0 |        0
276.84/276.97	c  276s |      23 |  2771430 |  2571138 |      942   6861 |        0 |        0
278.85/278.98	c  278s |      23 |  2790754 |  2589138 |      942   6898 |        0 |        0
280.85/280.98	c  280s |      23 |  2810225 |  2607238 |      942   6935 |        0 |        0
282.95/283.00	c  282s |      23 |  2829855 |  2625138 |      942   6972 |        0 |        0
284.96/285.00	c  284s |      23 |  2849368 |  2642938 |      942   7008 |        0 |        0
286.95/287.01	c  286s |      23 |  2869381 |  2660938 |      942   7045 |        0 |        0
288.95/289.02	c  289s |      23 |  2888180 |  2678438 |      942   7081 |        0 |        0
290.95/291.02	c  291s |      23 |  2906912 |  2695938 |      942   7116 |        0 |        0
292.95/293.03	c  293s |      23 |  2926207 |  2713338 |      942   7152 |        0 |        0
294.95/295.03	c  295s |      23 |  2945583 |  2730938 |      942   7188 |        0 |        0
296.95/297.04	c  297s |      23 |  2964486 |  2748838 |      942   7225 |        0 |        0
298.95/299.05	c  299s |      23 |  2983650 |  2766738 |      942   7261 |        0 |        0
300.95/301.05	c  301s |      23 |  3002956 |  2784838 |      942   7299 |        0 |        0
302.95/303.07	c  303s |      23 |  3022359 |  2802838 |      942   7335 |        0 |        0
304.95/305.07	c  305s |      23 |  3040948 |  2820538 |      942   7372 |        0 |        0
306.95/307.07	c  307s |      23 |  3059835 |  2838338 |      942   7408 |        0 |        0
308.94/309.08	c  309s |      23 |  3078682 |  2856038 |      942   7445 |        0 |        0
310.94/311.09	c  311s |      23 |  3098095 |  2874038 |      942   7481 |        0 |        0
312.94/313.09	c  313s |      23 |  3117440 |  2891738 |      942   7518 |        0 |        0
315.04/315.10	c  315s |      23 |  3137047 |  2909538 |      942   7554 |        0 |        0
317.04/317.11	c  317s |      23 |  3156089 |  2927138 |      942   7590 |        0 |        0
319.05/319.11	c  319s |      23 |  3174738 |  2944838 |      942   7626 |        0 |        0
321.04/321.12	c  321s |      23 |  3193627 |  2962438 |      942   7662 |        0 |        0
323.04/323.12	c  323s |      23 |  3212785 |  2980338 |      942   7699 |        0 |        0
325.04/325.13	c  325s |      23 |  3232145 |  2998438 |      942   7737 |        0 |        0
327.04/327.14	c  327s |      23 |  3251804 |  3016538 |      942   7774 |        0 |        0
329.04/329.15	c  329s |      23 |  3271320 |  3034638 |      942   7811 |        0 |        0
331.04/331.15	c  331s |      23 |  3291049 |  3052138 |      942   7847 |        0 |        0
333.04/333.16	c  333s |      23 |  3310934 |  3069938 |      942   7883 |        0 |        0
335.04/335.16	c  335s |      23 |  3330179 |  3087738 |      942   7919 |        0 |        0
337.04/337.17	c  337s |      23 |  3349347 |  3105538 |      942   7956 |        0 |        0
339.04/339.18	c  339s |      23 |  3369044 |  3123538 |      942   7993 |        0 |        0
341.05/341.19	c  341s |      23 |  3388335 |  3141438 |      942   8030 |        0 |        0
343.04/343.19	c  343s |      23 |  3407891 |  3159338 |      942   8066 |        0 |        0
345.14/345.20	c  345s |      23 |  3427774 |  3177338 |      942   8103 |        0 |        0
347.14/347.21	c  347s |      23 |  3447879 |  3195438 |      942   8140 |        0 |        0
349.14/349.22	c  349s |      23 |  3467492 |  3213538 |      942   8178 |        0 |        0
351.14/351.23	c  351s |      23 |  3487566 |  3231638 |      942   8215 |        0 |        0
353.15/353.24	c  353s |      23 |  3507099 |  3249738 |      942   8252 |        0 |        0
355.14/355.24	c  355s |      23 |  3526993 |  3267938 |      942   8289 |        0 |        0
357.14/357.25	c  357s |      23 |  3548096 |  3286138 |      942   8327 |        0 |        0
359.14/359.25	c  359s |      23 |  3567832 |  3304238 |      942   8364 |        0 |        0
361.14/361.26	c  361s |      23 |  3587820 |  3322038 |      942   8400 |        0 |        0
363.14/363.26	c  363s |      23 |  3607131 |  3339838 |      942   8437 |        0 |        0
365.14/365.27	c  365s |      23 |  3627533 |  3357538 |     1037   8472 |        0 |        0
367.13/367.28	c  367s |      23 |  3647480 |  3375238 |     1037   8505 |        0 |        0
367.34/367.44	c  367s |      24 |  3649077 |  3376662 |     1037   8508 |        0 |        0
369.33/369.45	c  369s |      24 |  3667651 |  3393762 |     1037   8539 |        0 |        0
371.33/371.45	c  371s |      24 |  3685957 |  3410862 |     1037   8571 |        0 |        0
373.33/373.47	c  373s |      24 |  3704164 |  3427862 |     1037   8603 |        0 |        0
375.33/375.47	c  375s |      24 |  3722816 |  3445262 |     1037   8636 |        0 |        0
377.34/377.48	c  377s |      24 |  3741712 |  3462462 |     1037   8668 |        0 |        0
379.33/379.48	c  379s |      24 |  3761028 |  3479962 |     1037   8700 |        0 |        0
381.33/381.48	c  381s |      24 |  3779824 |  3496662 |     1037   8732 |        0 |        0
383.33/383.49	c  383s |      24 |  3798547 |  3513662 |     1037   8763 |        0 |        0
385.33/385.49	c  385s |      24 |  3816613 |  3530662 |     1037   8795 |        0 |        0
387.33/387.49	c  387s |      24 |  3835269 |  3547562 |     1037   8827 |        0 |        0
389.33/389.49	c  389s |      24 |  3853782 |  3564862 |     1037   8859 |        0 |        0
391.43/391.50	c  391s |      24 |  3872249 |  3582162 |     1037   8891 |        0 |        0
393.43/393.50	c  393s |      24 |  3891144 |  3599462 |     1037   8923 |        0 |        0
395.42/395.51	c  395s |      24 |  3909662 |  3616762 |     1037   8956 |        0 |        0
397.42/397.52	c  397s |      24 |  3928375 |  3634162 |     1037   8988 |        0 |        0
399.42/399.53	c  399s |      24 |  3947214 |  3651562 |     1037   9021 |        0 |        0
401.43/401.53	c  401s |      24 |  3965557 |  3668662 |     1037   9053 |        0 |        0
403.42/403.53	c  403s |      24 |  3983847 |  3685962 |     1037   9085 |        0 |        0
405.42/405.53	c  405s |      24 |  4002475 |  3703262 |     1037   9117 |        0 |        0
407.42/407.54	c  407s |      24 |  4020961 |  3720562 |     1037   9150 |        0 |        0
409.43/409.54	c  409s |      24 |  4039498 |  3737862 |     1037   9182 |        0 |        0
411.44/411.55	c  411s |      24 |  4058387 |  3754962 |     1037   9214 |        0 |        0
413.43/413.56	c  413s |      24 |  4076670 |  3771762 |     1037   9245 |        0 |        0
415.43/415.57	c  415s |      24 |  4094973 |  3788762 |     1037   9277 |        0 |        0
417.43/417.57	c  417s |      24 |  4113429 |  3805762 |     1037   9308 |        0 |        0
419.43/419.58	c  419s |      24 |  4131857 |  3823062 |     1037   9341 |        0 |        0
421.43/421.59	c  421s |      24 |  4150740 |  3840062 |     1037   9373 |        0 |        0
423.43/423.59	c  423s |      24 |  4169595 |  3856862 |     1037   9404 |        0 |        0
425.43/425.59	c  425s |      24 |  4188194 |  3873962 |     1037   9436 |        0 |        0
427.43/427.59	c  427s |      24 |  4206726 |  3891362 |     1037   9468 |        0 |        0
429.52/429.61	c  429s |      24 |  4225448 |  3908462 |     1037   9500 |        0 |        0
431.52/431.61	c  431s |      24 |  4244078 |  3925662 |     1037   9533 |        0 |        0
433.52/433.62	c  433s |      24 |  4262471 |  3942862 |     1037   9565 |        0 |        0
435.53/435.62	c  435s |      24 |  4281327 |  3959962 |     1037   9597 |        0 |        0
437.52/437.63	c  437s |      24 |  4300009 |  3977062 |     1037   9629 |        0 |        0
439.52/439.63	c  439s |      24 |  4318864 |  3994062 |     1037   9660 |        0 |        0
441.52/441.64	c  441s |      24 |  4337407 |  4011062 |     1037   9692 |        0 |        0
443.52/443.65	c  443s |      24 |  4356501 |  4028462 |     1037   9725 |        0 |        0
445.53/445.65	c  445s |      24 |  4376219 |  4045962 |     1037   9757 |        0 |        0
447.53/447.66	c  447s |      24 |  4395866 |  4063762 |     1037   9791 |        0 |        0
449.53/449.67	c  449s |      24 |  4415062 |  4081262 |     1037   9824 |        0 |        0
451.53/451.68	c  451s |      24 |  4434548 |  4098562 |     1037   9856 |        0 |        0
453.52/453.68	c  453s |      24 |  4453119 |  4115362 |     1037   9887 |        0 |        0
455.52/455.69	c  455s |      24 |  4471424 |  4132262 |     1037   9918 |        0 |        0
457.53/457.70	c  457s |      24 |  4489873 |  4149362 |     1037   9950 |        0 |        0
459.62/459.70	c  459s |      24 |  4508387 |  4166762 |     1037   9983 |        0 |        0
461.62/461.71	c  461s |      24 |  4527097 |  4184162 |     1037  10015 |        0 |        0
463.62/463.71	c  463s |      24 |  4546297 |  4201562 |     1037  10048 |        0 |        0
465.62/465.72	c  465s |      24 |  4564809 |  4219062 |     1037  10081 |        0 |        0
467.62/467.73	c  467s |      24 |  4583699 |  4236262 |     1037  10113 |        0 |        0
469.63/469.74	c  469s |      24 |  4602703 |  4253662 |     1037  10145 |        0 |        0
471.62/471.74	c  471s |      24 |  4621238 |  4271062 |     1037  10178 |        0 |        0
473.62/473.74	c  473s |      24 |  4640294 |  4288462 |     1037  10210 |        0 |        0
475.62/475.74	c  475s |      24 |  4659222 |  4305762 |     1037  10243 |        0 |        0
477.62/477.75	c  477s |      24 |  4677958 |  4323462 |     1037  10276 |        0 |        0
479.62/479.75	c  479s |      24 |  4697699 |  4341362 |     1037  10309 |        0 |        0
481.61/481.75	c  481s |      24 |  4717152 |  4358862 |     1037  10342 |        0 |        0
483.61/483.75	c  483s |      24 |  4735488 |  4376062 |     1037  10374 |        0 |        0
485.61/485.77	c  485s |      24 |  4754207 |  4393462 |     1037  10407 |        0 |        0
487.61/487.78	c  487s |      24 |  4773038 |  4410462 |     1037  10438 |        0 |        0
489.61/489.79	c  489s |      24 |  4791260 |  4427662 |     1037  10470 |        0 |        0
491.63/491.79	c  491s |      24 |  4810739 |  4444962 |     1037  10503 |        0 |        0
493.72/493.80	c  493s |      24 |  4829572 |  4462262 |     1037  10535 |        0 |        0
495.72/495.81	c  495s |      24 |  4848281 |  4480162 |     1037  10568 |        0 |        0
497.72/497.81	c  497s |      24 |  4866892 |  4497662 |     1037  10601 |        0 |        0
499.72/499.81	c  499s |      24 |  4885266 |  4514562 |     1037  10633 |        0 |        0
501.72/501.82	c  501s |      24 |  4903544 |  4531462 |     1037  10664 |        0 |        0
503.72/503.82	c  503s |      24 |  4922523 |  4548862 |     1037  10697 |        0 |        0
505.71/505.82	c  505s |      24 |  4941597 |  4566162 |     1037  10729 |        0 |        0
507.71/507.82	c  507s |      24 |  4961427 |  4583562 |     1037  10762 |        0 |        0
509.71/509.82	c  509s |      24 |  4980869 |  4600962 |     1037  10794 |        0 |        0
511.71/511.83	c  511s |      24 |  5000534 |  4618262 |     1037  10827 |        0 |        0
513.72/513.83	c  513s |      24 |  5020098 |  4635862 |     1037  10859 |        0 |        0
515.71/515.84	c  515s |      24 |  5038928 |  4653262 |     1037  10892 |        0 |        0
517.71/517.84	c  517s |      24 |  5058168 |  4670862 |     1037  10925 |        0 |        0
519.71/519.85	c  519s |      24 |  5078251 |  4688462 |     1037  10958 |        0 |        0
521.71/521.86	c  521s |      24 |  5098024 |  4705962 |     1037  10991 |        0 |        0
523.71/523.87	c  523s |      24 |  5116877 |  4723062 |     1037  11023 |        0 |        0
525.71/525.87	c  525s |      24 |  5136227 |  4740362 |     1037  11055 |        0 |        0
527.71/527.87	c  527s |      24 |  5155175 |  4757562 |     1037  11087 |        0 |        0
529.71/529.88	c  529s |      24 |  5174176 |  4774862 |     1037  11119 |        0 |        0
531.71/531.89	c  531s |      24 |  5192906 |  4792662 |     1037  11153 |        0 |        0
533.70/533.89	c  533s |      24 |  5211744 |  4810162 |     1037  11186 |        0 |        0
535.71/535.89	c  535s |      24 |  5230871 |  4827662 |     1037  11218 |        0 |        0
537.70/537.90	c  537s |      24 |  5250121 |  4845362 |     1037  11252 |        0 |        0
539.80/539.91	c  539s |      24 |  5269228 |  4862562 |     1037  11284 |        0 |        0
541.80/541.91	c  541s |      24 |  5288599 |  4879962 |     1037  11316 |        0 |        0
543.81/543.91	c  543s |      24 |  5307456 |  4897362 |     1037  11349 |        0 |        0
545.81/545.92	c  545s |      24 |  5326527 |  4914762 |     1037  11381 |        0 |        0
547.82/547.93	c  547s |      24 |  5345744 |  4932062 |     1037  11413 |        0 |        0
549.81/549.93	c  549s |      24 |  5364636 |  4949362 |     1037  11446 |        0 |        0
551.81/551.93	c  551s |      24 |  5383486 |  4967062 |     1037  11479 |        0 |        0
553.81/553.93	c  553s |      24 |  5401493 |  4984062 |     1037  11510 |        0 |        0
555.81/555.94	c  555s |      24 |  5419543 |  5000862 |     1037  11542 |        0 |        0
557.81/557.95	c  557s |      24 |  5438003 |  5018262 |     1037  11574 |        0 |        0
559.81/559.95	c  559s |      24 |  5456392 |  5035262 |     1141  11605 |        0 |        0
561.81/561.97	c  561s |      24 |  5474589 |  5052262 |     1141  11634 |        0 |        0
563.31/563.47	c  563s |      25 |  5487919 |  5065098 |     1141  11655 |        0 |        0
565.31/565.48	c  565s |      25 |  5506087 |  5081798 |     1141  11684 |        0 |        0
567.30/567.48	c  567s |      25 |  5524468 |  5098798 |     1141  11713 |        0 |        0
569.30/569.49	c  569s |      25 |  5542819 |  5115898 |     1141  11742 |        0 |        0
571.40/571.50	c  571s |      25 |  5560804 |  5132498 |     1141  11770 |        0 |        0
573.40/573.50	c  573s |      25 |  5579123 |  5149398 |     1141  11799 |        0 |        0
575.40/575.50	c  575s |      25 |  5597444 |  5166298 |     1141  11828 |        0 |        0
577.30/577.50	c  577s |      25 |  5615909 |  5183098 |     1141  11856 |        0 |        0
579.40/579.51	c  579s |      25 |  5634155 |  5200298 |     1141  11885 |        0 |        0
581.40/581.52	c  581s |      25 |  5652141 |  5216898 |     1141  11914 |        0 |        0
583.40/583.53	c  583s |      25 |  5670749 |  5233698 |     1141  11942 |        0 |        0
585.40/585.54	c  585s |      25 |  5689154 |  5250798 |     1141  11971 |        0 |        0
587.41/587.54	c  587s |      25 |  5707334 |  5267698 |     1141  12000 |        0 |        0
589.40/589.54	c  589s |      25 |  5725638 |  5284598 |     1141  12029 |        0 |        0
591.40/591.54	c  591s |      25 |  5743377 |  5301398 |     1141  12058 |        0 |        0
593.40/593.55	c  593s |      25 |  5760662 |  5317898 |     1141  12086 |        0 |        0
595.40/595.55	c  595s |      25 |  5778314 |  5334698 |     1141  12114 |        0 |        0
597.40/597.56	c  597s |      25 |  5796148 |  5351398 |     1141  12143 |        0 |        0
599.40/599.57	c  599s |      25 |  5813819 |  5368398 |     1141  12172 |        0 |        0
601.39/601.57	c  601s |      25 |  5832346 |  5385598 |     1141  12201 |        0 |        0
603.40/603.58	c  603s |      25 |  5850165 |  5402498 |     1141  12230 |        0 |        0
605.40/605.58	c  605s |      25 |  5868202 |  5419698 |     1141  12259 |        0 |        0
607.40/607.59	c  607s |      25 |  5886602 |  5436998 |     1141  12289 |        0 |        0
609.50/609.60	c  609s |      25 |  5904658 |  5453898 |     1141  12317 |        0 |        0
611.40/611.60	c  611s |      25 |  5922529 |  5470398 |     1141  12345 |        0 |        0
613.50/613.61	c  613s |      25 |  5940368 |  5486998 |     1141  12374 |        0 |        0
615.50/615.62	c  615s |      25 |  5958588 |  5503398 |     1141  12401 |        0 |        0
617.50/617.62	c  617s |      25 |  5977176 |  5520198 |     1141  12430 |        0 |        0
619.50/619.63	c  619s |      25 |  5995486 |  5536698 |     1141  12458 |        0 |        0
621.50/621.64	c  621s |      25 |  6013885 |  5553498 |     1141  12487 |        0 |        0
623.50/623.65	c  623s |      25 |  6032707 |  5570498 |     1141  12516 |        0 |        0
625.49/625.66	c  625s |      25 |  6051468 |  5587298 |     1141  12544 |        0 |        0
627.49/627.66	c  627s |      25 |  6069721 |  5603998 |     1141  12573 |        0 |        0
629.49/629.67	c  629s |      25 |  6088009 |  5621198 |     1141  12602 |        0 |        0
631.49/631.68	c  631s |      25 |  6106320 |  5638298 |     1141  12631 |        0 |        0
633.50/633.69	c  633s |      25 |  6124675 |  5654598 |     1141  12659 |        0 |        0
635.59/635.70	c  635s |      25 |  6142690 |  5671198 |     1141  12687 |        0 |        0
637.59/637.70	c  637s |      25 |  6160830 |  5687698 |     1141  12715 |        0 |        0
639.59/639.71	c  639s |      25 |  6179176 |  5704498 |     1141  12743 |        0 |        0
641.60/641.72	c  641s |      25 |  6197049 |  5721398 |     1141  12772 |        0 |        0
643.60/643.72	c  643s |      25 |  6215360 |  5738398 |     1141  12801 |        0 |        0
645.60/645.72	c  645s |      25 |  6233874 |  5755298 |     1141  12830 |        0 |        0
647.59/647.72	c  647s |      25 |  6252316 |  5772398 |     1141  12859 |        0 |        0
649.59/649.73	c  649s |      25 |  6271030 |  5789798 |     1141  12888 |        0 |        0
651.59/651.73	c  651s |      25 |  6289500 |  5806898 |     1141  12918 |        0 |        0
653.59/653.74	c  653s |      25 |  6309456 |  5823898 |     1141  12947 |        0 |        0
655.60/655.74	c  655s |      25 |  6328046 |  5840398 |     1141  12975 |        0 |        0
657.59/657.75	c  657s |      25 |  6346900 |  5857298 |     1141  13004 |        0 |        0
659.59/659.76	c  659s |      25 |  6365730 |  5874598 |     1141  13033 |        0 |        0
661.59/661.76	c  661s |      25 |  6384616 |  5891898 |     1141  13063 |        0 |        0
663.59/663.77	c  663s |      25 |  6403722 |  5909398 |     1141  13093 |        0 |        0
665.59/665.77	c  665s |      25 |  6422059 |  5926798 |     1141  13122 |        0 |        0
667.60/667.79	c  667s |      25 |  6441240 |  5943998 |     1141  13152 |        0 |        0
669.59/669.79	c  669s |      25 |  6460303 |  5960698 |     1141  13180 |        0 |        0
671.69/671.80	c  671s |      25 |  6478574 |  5976998 |     1141  13208 |        0 |        0
673.69/673.80	c  673s |      25 |  6497713 |  5994198 |     1141  13237 |        0 |        0
675.69/675.80	c  675s |      25 |  6516732 |  6010998 |     1141  13265 |        0 |        0
677.69/677.81	c  677s |      25 |  6535761 |  6027998 |     1141  13294 |        0 |        0
679.69/679.82	c  679s |      25 |  6555319 |  6044798 |     1141  13323 |        0 |        0
681.68/681.82	c  681s |      25 |  6573806 |  6061498 |     1141  13351 |        0 |        0
683.68/683.83	c  683s |      25 |  6591876 |  6078198 |     1141  13380 |        0 |        0
685.68/685.83	c  685s |      25 |  6610726 |  6095098 |     1141  13408 |        0 |        0
687.68/687.84	c  687s |      25 |  6630296 |  6112198 |     1141  13437 |        0 |        0
689.69/689.84	c  689s |      25 |  6649030 |  6129098 |     1141  13466 |        0 |        0
691.69/691.84	c  691s |      25 |  6668124 |  6145998 |     1141  13495 |        0 |        0
693.69/693.85	c  693s |      25 |  6687147 |  6163198 |     1141  13524 |        0 |        0
695.69/695.86	c  695s |      25 |  6705888 |  6180098 |     1141  13553 |        0 |        0
697.69/697.86	c  697s |      25 |  6724596 |  6197198 |     1141  13582 |        0 |        0
699.69/699.87	c  699s |      25 |  6743582 |  6214298 |     1141  13611 |        0 |        0
701.69/701.88	c  701s |      25 |  6762914 |  6231598 |     1141  13641 |        0 |        0
703.69/703.88	c  703s |      25 |  6782295 |  6249098 |     1141  13670 |        0 |        0
705.68/705.89	c  705s |      25 |  6801680 |  6266398 |     1141  13700 |        0 |        0
707.68/707.89	c  707s |      25 |  6821232 |  6283698 |     1141  13729 |        0 |        0
709.78/709.90	c  709s |      25 |  6839069 |  6300098 |     1141  13757 |        0 |        0
711.78/711.91	c  711s |      25 |  6856673 |  6316598 |     1141  13785 |        0 |        0
713.79/713.92	c  713s |      25 |  6874078 |  6333098 |     1141  13813 |        0 |        0
715.78/715.92	c  715s |      25 |  6891762 |  6349798 |     1141  13842 |        0 |        0
717.78/717.93	c  717s |      25 |  6909734 |  6366698 |     1141  13870 |        0 |        0
719.78/719.93	c  719s |      25 |  6928027 |  6383298 |     1141  13899 |        0 |        0
721.78/721.94	c  721s |      25 |  6946242 |  6400298 |     1141  13928 |        0 |        0
723.78/723.95	c  723s |      25 |  6964416 |  6417198 |     1141  13956 |        0 |        0
725.78/725.95	c  725s |      25 |  6983136 |  6433998 |     1141  13985 |        0 |        0
727.78/727.96	c  727s |      25 |  7001308 |  6450598 |     1141  14013 |        0 |        0
729.78/729.97	c  729s |      25 |  7019923 |  6467498 |     1141  14042 |        0 |        0
731.77/731.98	c  731s |      25 |  7038294 |  6483998 |     1141  14070 |        0 |        0
733.78/734.00	c  733s |      25 |  7056714 |  6500698 |     1141  14099 |        0 |        0
735.89/736.00	c  735s |      25 |  7074435 |  6517098 |     1141  14127 |        0 |        0
737.88/738.01	c  737s |      25 |  7093047 |  6534298 |     1141  14156 |        0 |        0
739.88/740.02	c  740s |      25 |  7111217 |  6551298 |     1141  14185 |        0 |        0
741.88/742.02	c  742s |      25 |  7129436 |  6568298 |     1141  14214 |        0 |        0
743.88/744.03	c  744s |      25 |  7147652 |  6584998 |     1141  14242 |        0 |        0
745.88/746.03	c  746s |      25 |  7166363 |  6601898 |     1141  14271 |        0 |        0
747.88/748.04	c  748s |      25 |  7184936 |  6618998 |     1141  14300 |        0 |        0
749.88/750.05	c  750s |      25 |  7203232 |  6635798 |     1141  14329 |        0 |        0
751.87/752.05	c  752s |      25 |  7221352 |  6652698 |     1141  14358 |        0 |        0
753.87/754.05	c  754s |      25 |  7240209 |  6669698 |     1141  14387 |        0 |        0
755.87/756.06	c  756s |      25 |  7258800 |  6686898 |     1141  14416 |        0 |        0
757.88/758.06	c  758s |      25 |  7277203 |  6703298 |     1141  14444 |        0 |        0
759.87/760.06	c  760s |      25 |  7295787 |  6720198 |     1141  14473 |        0 |        0
761.87/762.07	c  762s |      25 |  7314752 |  6736998 |     1141  14502 |        0 |        0
763.87/764.07	c  764s |      25 |  7333835 |  6754098 |     1141  14531 |        0 |        0
765.87/766.08	c  766s |      25 |  7353499 |  6771298 |     1141  14560 |        0 |        0
767.88/768.09	c  768s |      25 |  7371837 |  6788398 |     1141  14589 |        0 |        0
769.88/770.09	c  770s |      25 |  7390355 |  6805598 |     1141  14619 |        0 |        0
771.98/772.10	c  772s |      25 |  7408969 |  6822498 |     1141  14648 |        0 |        0
773.98/774.11	c  774s |      25 |  7428066 |  6839898 |     1141  14677 |        0 |        0
775.98/776.11	c  776s |      25 |  7445659 |  6856598 |     1141  14706 |        0 |        0
777.97/778.11	c  778s |      25 |  7463365 |  6872798 |     1141  14733 |        0 |        0
779.97/780.12	c  780s |      25 |  7481211 |  6888998 |     1141  14760 |        0 |        0
781.98/782.12	c  782s |      25 |  7499070 |  6905898 |     1141  14789 |        0 |        0
783.97/784.13	c  784s |      25 |  7517585 |  6922798 |     1141  14818 |        0 |        0
785.97/786.14	c  786s |      25 |  7535942 |  6939698 |     1141  14846 |        0 |        0
787.97/788.14	c  788s |      25 |  7554339 |  6956798 |     1141  14876 |        0 |        0
789.97/790.14	c  790s |      25 |  7572726 |  6973698 |     1141  14904 |        0 |        0
791.98/792.16	c  792s |      25 |  7590894 |  6990598 |     1141  14933 |        0 |        0
793.97/794.16	c  794s |      25 |  7609228 |  7007198 |     1141  14961 |        0 |        0
795.97/796.16	c  796s |      25 |  7627764 |  7024398 |     1141  14990 |        0 |        0
797.97/798.17	c  798s |      25 |  7645846 |  7041398 |     1141  15019 |        0 |        0
799.97/800.18	c  800s |      25 |  7664056 |  7058698 |     1141  15049 |        0 |        0
801.97/802.18	c  802s |      25 |  7682397 |  7075798 |     1141  15078 |        0 |        0
803.97/804.19	c  804s |      25 |  7700709 |  7092798 |     1141  15107 |        0 |        0
806.07/806.20	c  806s |      25 |  7719015 |  7109698 |     1141  15135 |        0 |        0
808.07/808.20	c  808s |      25 |  7736808 |  7126698 |     1141  15164 |        0 |        0
810.06/810.21	c  810s |      25 |  7754621 |  7143798 |     1141  15193 |        0 |        0
812.06/812.21	c  812s |      25 |  7772296 |  7160698 |     1141  15222 |        0 |        0
814.06/814.22	c  814s |      25 |  7790100 |  7177798 |     1141  15251 |        0 |        0
816.07/816.23	c  816s |      25 |  7808469 |  7194898 |     1141  15280 |        0 |        0
818.06/818.24	c  818s |      25 |  7826905 |  7212198 |     1141  15310 |        0 |        0
820.06/820.25	c  820s |      25 |  7844967 |  7229698 |     1141  15340 |        0 |        0
822.06/822.25	c  822s |      25 |  7863127 |  7246898 |     1141  15369 |        0 |        0
824.06/824.25	c  824s |      25 |  7881000 |  7263698 |     1141  15398 |        0 |        0
826.07/826.25	c  826s |      25 |  7899574 |  7280698 |     1141  15426 |        0 |        0
828.06/828.26	c  828s |      25 |  7917983 |  7297798 |     1141  15456 |        0 |        0
830.06/830.27	c  830s |      25 |  7936390 |  7315298 |     1141  15485 |        0 |        0
832.07/832.27	c  832s |      25 |  7955210 |  7332698 |     1141  15515 |        0 |        0
834.07/834.29	c  834s |      25 |  7973410 |  7349998 |     1141  15545 |        0 |        0
836.07/836.29	c  836s |      25 |  7992533 |  7367498 |     1141  15575 |        0 |        0
838.07/838.30	c  838s |      25 |  8011036 |  7385098 |     1141  15605 |        0 |        0
840.16/840.31	c  840s |      25 |  8030137 |  7402998 |     1141  15635 |        0 |        0
842.16/842.31	c  842s |      25 |  8049269 |  7420698 |     1141  15665 |        0 |        0
844.16/844.31	c  844s |      25 |  8066896 |  7437298 |     1141  15693 |        0 |        0
846.16/846.31	c  846s |      25 |  8084338 |  7453898 |     1141  15722 |        0 |        0
848.16/848.32	c  848s |      25 |  8102170 |  7470698 |     1141  15750 |        0 |        0
850.17/850.32	c  850s |      25 |  8120048 |  7487398 |     1141  15779 |        0 |        0
852.16/852.32	c  852s |      25 |  8137831 |  7504098 |     1141  15807 |        0 |        0
854.16/854.33	c  854s |      25 |  8156497 |  7520998 |     1141  15836 |        0 |        0
856.16/856.34	c  856s |      25 |  8174478 |  7537698 |     1141  15864 |        0 |        0
858.16/858.34	c  858s |      25 |  8192007 |  7554098 |     1256  15890 |        0 |        0
860.16/860.35	c  860s |      25 |  8209282 |  7570298 |     1256  15916 |        0 |        0
862.16/862.37	c  862s |      25 |  8226903 |  7586398 |     1256  15941 |        0 |        0
863.55/863.77	c  863s |      26 |  8239813 |  7597752 |     1256  15958 |        0 |        0
865.56/865.78	c  865s |      26 |  8256976 |  7613652 |     1256  15983 |        0 |        0
867.55/867.79	c  867s |      26 |  8274326 |  7629652 |     1256  16007 |        0 |        0
869.66/869.80	c  869s |      26 |  8291434 |  7645852 |     1256  16033 |        0 |        0
871.66/871.80	c  871s |      26 |  8309329 |  7662052 |     1256  16058 |        0 |        0
873.66/873.81	c  873s |      26 |  8326824 |  7678152 |     1256  16083 |        0 |        0
875.66/875.82	c  875s |      26 |  8343914 |  7694152 |     1256  16107 |        0 |        0
877.66/877.82	c  877s |      26 |  8360956 |  7709652 |     1256  16132 |        0 |        0
879.66/879.83	c  879s |      26 |  8378428 |  7725552 |     1256  16156 |        0 |        0
881.66/881.83	c  881s |      26 |  8395197 |  7741152 |     1256  16180 |        0 |        0
883.65/883.83	c  883s |      26 |  8412662 |  7757152 |     1256  16205 |        0 |        0
885.65/885.84	c  885s |      26 |  8429508 |  7773252 |     1256  16230 |        0 |        0
887.66/887.84	c  887s |      26 |  8446953 |  7789152 |     1256  16255 |        0 |        0
889.65/889.85	c  889s |      26 |  8464639 |  7805352 |     1256  16280 |        0 |        0
891.65/891.86	c  891s |      26 |  8482115 |  7821452 |     1256  16305 |        0 |        0
893.65/893.86	c  893s |      26 |  8499671 |  7837952 |     1256  16330 |        0 |        0
895.65/895.87	c  895s |      26 |  8517294 |  7854352 |     1256  16356 |        0 |        0
897.65/897.88	c  897s |      26 |  8535014 |  7870852 |     1256  16381 |        0 |        0
899.66/899.90	c  899s |      26 |  8552670 |  7886852 |     1256  16406 |        0 |        0
901.75/901.90	c  901s |      26 |  8570583 |  7902952 |     1256  16431 |        0 |        0
903.75/903.90	c  903s |      26 |  8587826 |  7918952 |     1256  16456 |        0 |        0
905.75/905.91	c  905s |      26 |  8605447 |  7934852 |     1256  16480 |        0 |        0
907.76/907.92	c  907s |      26 |  8622702 |  7950852 |     1256  16505 |        0 |        0
909.76/909.92	c  909s |      26 |  8640386 |  7967052 |     1256  16530 |        0 |        0
911.76/911.93	c  911s |      26 |  8658240 |  7983152 |     1256  16555 |        0 |        0
913.76/913.93	c  913s |      26 |  8676305 |  7999552 |     1256  16581 |        0 |        0
915.75/915.93	c  915s |      26 |  8695213 |  8016152 |     1256  16606 |        0 |        0
917.75/917.94	c  917s |      26 |  8712344 |  8032052 |     1256  16631 |        0 |        0
919.75/919.95	c  919s |      26 |  8729550 |  8048052 |     1256  16656 |        0 |        0
921.76/921.95	c  921s |      26 |  8747493 |  8064252 |     1256  16681 |        0 |        0
923.75/923.96	c  923s |      26 |  8765649 |  8080552 |     1256  16706 |        0 |        0
925.75/925.96	c  925s |      26 |  8783847 |  8096952 |     1256  16731 |        0 |        0
927.75/927.97	c  927s |      26 |  8802361 |  8113252 |     1256  16757 |        0 |        0
929.75/929.98	c  929s |      26 |  8820407 |  8129652 |     1256  16782 |        0 |        0
931.75/931.99	c  931s |      26 |  8838346 |  8146052 |     1256  16807 |        0 |        0
933.75/933.99	c  933s |      26 |  8856505 |  8162252 |     1256  16833 |        0 |        0
935.85/936.00	c  935s |      26 |  8874224 |  8178552 |     1256  16858 |        0 |        0
937.84/938.01	c  937s |      26 |  8891967 |  8195052 |     1256  16883 |        0 |        0
939.84/940.01	c  939s |      26 |  8910316 |  8211452 |     1256  16909 |        0 |        0
941.84/942.02	c  942s |      26 |  8928534 |  8227952 |     1256  16934 |        0 |        0
943.84/944.03	c  944s |      26 |  8946284 |  8244452 |     1256  16960 |        0 |        0
945.85/946.03	c  946s |      26 |  8964895 |  8261052 |     1256  16986 |        0 |        0
947.84/948.04	c  948s |      26 |  8982131 |  8277152 |     1256  17011 |        0 |        0
949.84/950.05	c  950s |      26 |  9000113 |  8293652 |     1256  17037 |        0 |        0
951.84/952.06	c  952s |      26 |  9018470 |  8309952 |     1256  17062 |        0 |        0
953.84/954.06	c  954s |      26 |  9036923 |  8326552 |     1256  17088 |        0 |        0
955.85/956.07	c  956s |      26 |  9055449 |  8342852 |     1256  17113 |        0 |        0
957.84/958.07	c  958s |      26 |  9073717 |  8359252 |     1256  17139 |        0 |        0
959.85/960.08	c  960s |      26 |  9091745 |  8375752 |     1256  17164 |        0 |        0
961.85/962.08	c  962s |      26 |  9109917 |  8392052 |     1256  17190 |        0 |        0
963.85/964.09	c  964s |      26 |  9127185 |  8408252 |     1256  17215 |        0 |        0
965.85/966.09	c  966s |      26 |  9145246 |  8424452 |     1256  17240 |        0 |        0
967.95/968.10	c  968s |      26 |  9162791 |  8440852 |     1256  17265 |        0 |        0
969.95/970.11	c  970s |      26 |  9180057 |  8457052 |     1256  17290 |        0 |        0
971.95/972.12	c  972s |      26 |  9197466 |  8473052 |     1256  17315 |        0 |        0
973.95/974.14	c  974s |      26 |  9214753 |  8488952 |     1256  17340 |        0 |        0
975.94/976.14	c  976s |      26 |  9232477 |  8505052 |     1256  17365 |        0 |        0
977.94/978.14	c  978s |      26 |  9250340 |  8521452 |     1256  17390 |        0 |        0
979.95/980.15	c  980s |      26 |  9268141 |  8537652 |     1256  17415 |        0 |        0
981.94/982.16	c  982s |      26 |  9285755 |  8553952 |     1256  17440 |        0 |        0
983.94/984.17	c  984s |      26 |  9303125 |  8569652 |     1256  17465 |        0 |        0
985.94/986.18	c  986s |      26 |  9320768 |  8585852 |     1256  17490 |        0 |        0
987.94/988.18	c  988s |      26 |  9338535 |  8602352 |     1256  17516 |        0 |        0
990.04/990.20	c  990s |      26 |  9356973 |  8619052 |     1256  17542 |        0 |        0
991.94/992.20	c  992s |      26 |  9374776 |  8635652 |     1256  17567 |        0 |        0
994.04/994.21	c  994s |      26 |  9393016 |  8651952 |     1256  17593 |        0 |        0
996.04/996.21	c  996s |      26 |  9411213 |  8668452 |     1256  17618 |        0 |        0
998.04/998.22	c  998s |      26 |  9429478 |  8684852 |     1256  17644 |        0 |        0
1000.04/1000.22	c 1000s |      26 |  9446842 |  8700752 |     1256  17668 |        0 |        0
1002.05/1002.22	c 1002s |      26 |  9464093 |  8716652 |     1256  17693 |        0 |        0
1004.04/1004.23	c 1004s |      26 |  9481556 |  8732352 |     1256  17717 |        0 |        0
1006.04/1006.23	c 1006s |      26 |  9498611 |  8748352 |     1256  17742 |        0 |        0
1008.04/1008.23	c 1008s |      26 |  9516310 |  8764552 |     1256  17767 |        0 |        0
1010.04/1010.25	c 1010s |      26 |  9533595 |  8780552 |     1256  17792 |        0 |        0
1012.04/1012.26	c 1012s |      26 |  9550482 |  8796552 |     1256  17816 |        0 |        0
1014.04/1014.26	c 1014s |      26 |  9567957 |  8812452 |     1256  17841 |        0 |        0
1016.04/1016.26	c 1016s |      26 |  9585928 |  8828752 |     1256  17866 |        0 |        0
1018.04/1018.26	c 1018s |      26 |  9603405 |  8844952 |     1256  17891 |        0 |        0
1020.03/1020.26	c 1020s |      26 |  9620673 |  8860952 |     1256  17916 |        0 |        0
1022.03/1022.26	c 1022s |      26 |  9637909 |  8876952 |     1256  17941 |        0 |        0
1024.04/1024.28	c 1024s |      26 |  9655606 |  8893452 |     1256  17967 |        0 |        0
1026.03/1026.29	c 1026s |      26 |  9673622 |  8909752 |     1256  17992 |        0 |        0
1028.13/1028.30	c 1028s |      26 |  9691665 |  8925952 |     1256  18017 |        0 |        0
1030.13/1030.30	c 1030s |      26 |  9709641 |  8942452 |     1256  18043 |        0 |        0
1032.13/1032.31	c 1032s |      26 |  9727372 |  8958552 |     1256  18068 |        0 |        0
1034.13/1034.32	c 1034s |      26 |  9744394 |  8974452 |     1256  18093 |        0 |        0
1036.14/1036.32	c 1036s |      26 |  9761929 |  8990752 |     1256  18118 |        0 |        0
1038.13/1038.32	c 1038s |      26 |  9779651 |  9006952 |     1256  18143 |        0 |        0
1040.13/1040.33	c 1040s |      26 |  9797483 |  9023252 |     1256  18168 |        0 |        0
1042.13/1042.33	c 1042s |      26 |  9813937 |  9038752 |     1256  18192 |        0 |        0
1044.13/1044.33	c 1044s |      26 |  9831548 |  9054552 |     1256  18217 |        0 |        0
1046.13/1046.34	c 1046s |      26 |  9849114 |  9070752 |     1256  18242 |        0 |        0
1048.13/1048.35	c 1048s |      26 |  9866888 |  9087052 |     1256  18267 |        0 |        0
1050.13/1050.36	c 1050s |      26 |  9885438 |  9103152 |     1256  18292 |        0 |        0
1052.13/1052.38	c 1052s |      26 |  9903757 |  9119852 |     1256  18318 |        0 |        0
1054.12/1054.39	c 1054s |      26 |  9920859 |  9135652 |     1256  18343 |        0 |        0
1056.12/1056.40	c 1056s |      26 |  9938321 |  9151752 |     1256  18368 |        0 |        0
1058.23/1058.40	c 1058s |      26 |  9956091 |  9168052 |     1256  18393 |        0 |        0
1060.13/1060.40	c 1060s |      26 |  9974149 |  9184352 |     1256  18419 |        0 |        0
1062.23/1062.41	c 1062s |      26 |  9992022 |  9200452 |     1256  18444 |        0 |        0
1064.23/1064.42	c 1064s |      26 | 10009714 |  9216752 |     1256  18469 |        0 |        0
1066.23/1066.42	c 1066s |      26 | 10027135 |  9233052 |     1256  18494 |        0 |        0
1068.23/1068.43	c 1068s |      26 | 10045696 |  9249552 |     1256  18520 |        0 |        0
1070.24/1070.43	c 1070s |      26 | 10063587 |  9265552 |     1256  18545 |        0 |        0
1072.23/1072.43	c 1072s |      26 | 10081458 |  9281852 |     1256  18570 |        0 |        0
1074.23/1074.44	c 1074s |      26 | 10100397 |  9298252 |     1256  18596 |        0 |        0
1076.23/1076.45	c 1076s |      26 | 10118193 |  9314452 |     1256  18621 |        0 |        0
1078.23/1078.45	c 1078s |      26 | 10135428 |  9330652 |     1256  18646 |        0 |        0
1080.23/1080.46	c 1080s |      26 | 10152363 |  9346852 |     1256  18671 |        0 |        0
1082.23/1082.47	c 1082s |      26 | 10169867 |  9362752 |     1256  18695 |        0 |        0
1084.23/1084.47	c 1084s |      26 | 10188088 |  9378752 |     1256  18720 |        0 |        0
1086.23/1086.48	c 1086s |      26 | 10205662 |  9394852 |     1256  18745 |        0 |        0
1088.22/1088.49	c 1088s |      26 | 10223446 |  9410952 |     1256  18770 |        0 |        0
1090.32/1090.50	c 1090s |      26 | 10241207 |  9427052 |     1256  18795 |        0 |        0
1092.32/1092.50	c 1092s |      26 | 10259085 |  9443452 |     1256  18820 |        0 |        0
1094.33/1094.51	c 1094s |      26 | 10278034 |  9459652 |     1256  18846 |        0 |        0
1096.32/1096.52	c 1096s |      26 | 10296316 |  9476052 |     1256  18871 |        0 |        0
1098.32/1098.53	c 1098s |      26 | 10314423 |  9492352 |     1256  18896 |        0 |        0
1100.32/1100.54	c 1100s |      26 | 10333079 |  9508452 |     1256  18921 |        0 |        0
1102.32/1102.55	c 1102s |      26 | 10351750 |  9525052 |     1256  18947 |        0 |        0
1104.33/1104.56	c 1104s |      26 | 10369277 |  9541252 |     1256  18972 |        0 |        0
1106.32/1106.56	c 1106s |      26 | 10387034 |  9558152 |     1256  18998 |        0 |        0
1108.32/1108.56	c 1108s |      26 | 10404454 |  9574452 |     1256  19024 |        0 |        0
1110.32/1110.57	c 1110s |      26 | 10422910 |  9591052 |     1256  19049 |        0 |        0
1112.32/1112.57	c 1112s |      26 | 10440688 |  9607352 |     1256  19075 |        0 |        0
1114.32/1114.58	c 1114s |      26 | 10458425 |  9623752 |     1256  19100 |        0 |        0
1116.32/1116.58	c 1116s |      26 | 10476809 |  9640252 |     1256  19126 |        0 |        0
1118.32/1118.58	c 1118s |      26 | 10494460 |  9656752 |     1256  19152 |        0 |        0
1120.31/1120.58	c 1120s |      26 | 10512607 |  9673252 |     1256  19177 |        0 |        0
1122.32/1122.59	c 1122s |      26 | 10531004 |  9689952 |     1256  19203 |        0 |        0
1124.32/1124.59	c 1124s |      26 | 10548896 |  9706252 |     1256  19228 |        0 |        0
1126.33/1126.60	c 1126s |      26 | 10566779 |  9722652 |     1256  19254 |        0 |        0
1128.43/1128.60	c 1128s |      26 | 10584624 |  9739452 |     1256  19280 |        0 |        0
1130.42/1130.61	c 1130s |      26 | 10602623 |  9756352 |     1256  19306 |        0 |        0
1132.42/1132.61	c 1132s |      26 | 10620919 |  9773052 |     1256  19332 |        0 |        0
1134.42/1134.62	c 1134s |      26 | 10638787 |  9789652 |     1256  19358 |        0 |        0
1136.42/1136.63	c 1136s |      26 | 10657222 |  9806552 |     1256  19384 |        0 |        0
1138.42/1138.63	c 1138s |      26 | 10675416 |  9823152 |     1256  19410 |        0 |        0
1140.42/1140.64	c 1140s |      26 | 10693444 |  9839452 |     1256  19435 |        0 |        0
1142.42/1142.64	c 1142s |      26 | 10711515 |  9855952 |     1256  19461 |        0 |        0
1144.41/1144.64	c 1144s |      26 | 10729251 |  9872552 |     1256  19487 |        0 |        0
1146.41/1146.64	c 1146s |      26 | 10747445 |  9889252 |     1256  19513 |        0 |        0
1148.41/1148.65	c 1148s |      26 | 10765939 |  9906252 |     1256  19539 |        0 |        0
1150.42/1150.65	c 1150s |      26 | 10784382 |  9922852 |     1256  19565 |        0 |        0
1152.41/1152.65	c 1152s |      26 | 10802371 |  9939952 |     1256  19591 |        0 |        0
1154.41/1154.67	c 1154s |      26 | 10820268 |  9956852 |     1256  19618 |        0 |        0
1156.41/1156.68	c 1156s |      26 | 10838743 |  9973952 |     1256  19644 |        0 |        0
1158.41/1158.69	c 1158s |      26 | 10857469 |  9989952 |     1256  19669 |        0 |        0
1160.42/1160.69	c 1160s |      26 | 10875810 | 10005952 |     1256  19694 |        0 |        0
1162.42/1162.70	c 1162s |      26 | 10893571 | 10022152 |     1256  19719 |        0 |        0
1164.52/1164.70	c 1164s |      26 | 10912275 | 10038552 |     1256  19744 |        0 |        0
1166.52/1166.71	c 1166s |      26 | 10929843 | 10055052 |     1256  19770 |        0 |        0
1168.52/1168.71	c 1168s |      26 | 10947878 | 10071352 |     1256  19795 |        0 |        0
1170.52/1170.72	c 1170s |      26 | 10965799 | 10087752 |     1256  19820 |        0 |        0
1172.52/1172.73	c 1172s |      26 | 10983915 | 10104152 |     1256  19846 |        0 |        0
1174.51/1174.73	c 1174s |      26 | 11001379 | 10120352 |     1256  19871 |        0 |        0
1176.51/1176.74	c 1176s |      26 | 11019178 | 10136652 |     1256  19896 |        0 |        0
1178.51/1178.74	c 1178s |      26 | 11037279 | 10153052 |     1256  19921 |        0 |        0
1180.51/1180.75	c 1180s |      26 | 11055339 | 10169652 |     1256  19947 |        0 |        0
1182.51/1182.76	c 1182s |      26 | 11073643 | 10186152 |     1256  19973 |        0 |        0
1184.52/1184.76	c 1184s |      26 | 11091920 | 10202752 |     1256  19998 |        0 |        0
1186.51/1186.77	c 1186s |      26 | 11109640 | 10219052 |     1256  20024 |        0 |        0
1188.51/1188.78	c 1188s |      26 | 11128197 | 10236052 |     1256  20050 |        0 |        0
1190.50/1190.78	c 1190s |      26 | 11146332 | 10252552 |     1256  20076 |        0 |        0
1192.50/1192.78	c 1192s |      26 | 11164693 | 10269152 |     1256  20101 |        0 |        0
1194.50/1194.78	c 1194s |      26 | 11182778 | 10285552 |     1256  20127 |        0 |        0
1196.50/1196.79	c 1196s |      26 | 11201105 | 10302052 |     1256  20152 |        0 |        0
1198.60/1198.80	c 1198s |      26 | 11219124 | 10318652 |     1256  20178 |        0 |        0
1200.59/1200.80	c 1200s |      26 | 11238002 | 10335052 |     1256  20204 |        0 |        0
1202.59/1202.80	c 1202s |      26 | 11256558 | 10351652 |     1256  20230 |        0 |        0
1204.59/1204.81	c 1204s |      26 | 11275480 | 10368552 |     1256  20256 |        0 |        0
1206.60/1206.81	c 1206s |      26 | 11294022 | 10385452 |     1256  20282 |        0 |        0
1208.60/1208.82	c 1208s |      26 | 11311975 | 10402252 |     1256  20308 |        0 |        0
1210.59/1210.83	c 1210s |      26 | 11329786 | 10418752 |     1256  20334 |        0 |        0
1212.59/1212.84	c 1212s |      26 | 11348068 | 10435852 |     1256  20360 |        0 |        0
1214.59/1214.84	c 1214s |      26 | 11366241 | 10452952 |     1256  20387 |        0 |        0
1216.59/1216.84	c 1216s |      26 | 11385129 | 10469852 |     1256  20413 |        0 |        0
1218.60/1218.86	c 1218s |      26 | 11403871 | 10487052 |     1256  20440 |        0 |        0
1220.59/1220.86	c 1220s |      26 | 11422191 | 10504152 |     1256  20466 |        0 |        0
1222.59/1222.86	c 1222s |      26 | 11441459 | 10521352 |     1256  20493 |        0 |        0
1224.59/1224.87	c 1224s |      26 | 11460428 | 10538052 |     1256  20519 |        0 |        0
1226.59/1226.88	c 1226s |      26 | 11479176 | 10554352 |     1256  20544 |        0 |        0
1228.59/1228.88	c 1228s |      26 | 11498117 | 10571052 |     1256  20570 |        0 |        0
1230.58/1230.89	c 1230s |      26 | 11516017 | 10587452 |     1256  20596 |        0 |        0
1232.68/1232.90	c 1232s |      26 | 11534953 | 10604152 |     1256  20622 |        0 |        0
1234.68/1234.90	c 1234s |      26 | 11553496 | 10620652 |     1256  20647 |        0 |        0
1236.68/1236.91	c 1236s |      26 | 11572683 | 10637752 |     1256  20674 |        0 |        0
1238.68/1238.91	c 1238s |      26 | 11591711 | 10655052 |     1256  20701 |        0 |        0
1240.68/1240.92	c 1240s |      26 | 11610665 | 10672352 |     1256  20728 |        0 |        0
1242.67/1242.92	c 1242s |      26 | 11630068 | 10689652 |     1256  20755 |        0 |        0
1244.67/1244.94	c 1244s |      26 | 11649051 | 10707152 |     1256  20782 |        0 |        0
1246.67/1246.94	c 1246s |      26 | 11668213 | 10724452 |     1256  20809 |        0 |        0
1248.67/1248.95	c 1248s |      26 | 11687127 | 10741352 |     1256  20835 |        0 |        0
1250.67/1250.95	c 1250s |      26 | 11706121 | 10758452 |     1256  20862 |        0 |        0
1252.67/1252.96	c 1252s |      26 | 11725807 | 10775952 |     1256  20889 |        0 |        0
1254.67/1254.97	c 1254s |      26 | 11744414 | 10792852 |     1256  20915 |        0 |        0
1256.66/1256.97	c 1256s |      26 | 11762401 | 10809252 |     1256  20940 |        0 |        0
1258.66/1258.98	c 1258s |      26 | 11780207 | 10825652 |     1256  20966 |        0 |        0
1260.67/1260.98	c 1260s |      26 | 11798048 | 10841952 |     1256  20991 |        0 |        0
1262.68/1262.98	c 1262s |      26 | 11816026 | 10858552 |     1256  21017 |        0 |        0
1264.67/1264.99	c 1264s |      26 | 11833823 | 10874852 |     1256  21042 |        0 |        0
1266.67/1266.99	c 1266s |      26 | 11851063 | 10891152 |     1256  21067 |        0 |        0
1268.77/1269.00	c 1268s |      26 | 11868163 | 10907352 |     1256  21092 |        0 |        0
1270.76/1271.01	c 1270s |      26 | 11885856 | 10923752 |     1256  21118 |        0 |        0
1272.76/1273.01	c 1272s |      26 | 11904014 | 10939852 |     1256  21143 |        0 |        0
1274.77/1275.02	c 1275s |      26 | 11922376 | 10955752 |     1256  21167 |        0 |        0
1276.76/1277.02	c 1277s |      26 | 11940512 | 10972152 |     1256  21193 |        0 |        0
1278.76/1279.03	c 1279s |      26 | 11958948 | 10988152 |     1256  21217 |        0 |        0
1280.76/1281.04	c 1281s |      26 | 11977041 | 11004352 |     1256  21242 |        0 |        0
1282.76/1283.04	c 1283s |      26 | 11995459 | 11020852 |     1256  21268 |        0 |        0
1284.75/1285.05	c 1285s |      26 | 12014391 | 11037752 |     1256  21294 |        0 |        0
1286.76/1287.06	c 1287s |      26 | 12032440 | 11054652 |     1256  21321 |        0 |        0
1288.75/1289.06	c 1289s |      26 | 12050108 | 11071352 |     1256  21347 |        0 |        0
1290.75/1291.07	c 1291s |      26 | 12068574 | 11088152 |     1256  21373 |        0 |        0
1292.75/1293.08	c 1293s |      26 | 12086730 | 11105152 |     1256  21399 |        0 |        0
1294.75/1295.09	c 1295s |      26 | 12105084 | 11122152 |     1256  21425 |        0 |        0
1296.85/1297.10	c 1297s |      26 | 12123306 | 11138952 |     1256  21451 |        0 |        0
1298.85/1299.11	c 1299s |      26 | 12141355 | 11156252 |     1256  21478 |        0 |        0
1300.84/1301.11	c 1301s |      26 | 12159435 | 11173252 |     1256  21505 |        0 |        0
1302.84/1303.12	c 1303s |      26 | 12177902 | 11190452 |     1256  21531 |        0 |        0
1304.84/1305.13	c 1305s |      26 | 12196504 | 11207752 |     1256  21558 |        0 |        0
1306.84/1307.14	c 1307s |      26 | 12214796 | 11224652 |     1256  21584 |        0 |        0
1308.85/1309.14	c 1309s |      26 | 12232453 | 11241252 |     1256  21610 |        0 |        0
1310.84/1311.14	c 1311s |      26 | 12250882 | 11258252 |     1256  21636 |        0 |        0
1312.83/1313.14	c 1313s |      26 | 12269074 | 11274952 |     1256  21662 |        0 |        0
1314.84/1315.15	c 1315s |      26 | 12287917 | 11291952 |     1256  21689 |        0 |        0
1316.84/1317.15	c 1317s |      26 | 12306639 | 11309052 |     1256  21715 |        0 |        0
1318.84/1319.15	c 1319s |      26 | 12325556 | 11326052 |     1382  21740 |        0 |        0
1320.85/1321.16	c 1321s |      26 | 12343729 | 11342852 |     1382  21764 |        0 |        0
1322.84/1323.16	c 1323s |      26 | 12361800 | 11359552 |     1382  21787 |        0 |        0
1324.84/1325.16	c 1325s |      26 | 12379742 | 11376052 |     1382  21811 |        0 |        0
1326.84/1327.17	c 1327s |      26 | 12397514 | 11392552 |     1382  21834 |        0 |        0
1327.34/1327.66	c 1327s |      27 | 12401882 | 11396733 |     1382  21840 |        0 |        0
1329.34/1329.67	c 1329s |      27 | 12420170 | 11413233 |     1382  21863 |        0 |        0
1331.33/1331.67	c 1331s |      27 | 12438277 | 11429333 |     1382  21886 |        0 |        0
1333.33/1333.67	c 1333s |      27 | 12456290 | 11445633 |     1382  21908 |        0 |        0
1335.33/1335.68	c 1335s |      27 | 12474846 | 11462033 |     1382  21932 |        0 |        0
1337.34/1337.68	c 1337s |      27 | 12493412 | 11478433 |     1382  21955 |        0 |        0
1339.33/1339.69	c 1339s |      27 | 12511623 | 11494633 |     1382  21977 |        0 |        0
1341.32/1341.70	c 1341s |      27 | 12530236 | 11510933 |     1382  22000 |        0 |        0
1343.42/1343.70	c 1343s |      27 | 12549492 | 11527433 |     1382  22024 |        0 |        0
1345.42/1345.70	c 1345s |      27 | 12568690 | 11544033 |     1382  22047 |        0 |        0
1347.42/1347.71	c 1347s |      27 | 12586999 | 11560233 |     1382  22070 |        0 |        0
1349.43/1349.71	c 1349s |      27 | 12604683 | 11576133 |     1382  22092 |        0 |        0
1351.42/1351.72	c 1351s |      27 | 12623727 | 11592733 |     1382  22116 |        0 |        0
1353.42/1353.72	c 1353s |      27 | 12642824 | 11609433 |     1382  22139 |        0 |        0
1355.42/1355.72	c 1355s |      27 | 12660192 | 11625733 |     1382  22162 |        0 |        0
1357.41/1357.73	c 1357s |      27 | 12678381 | 11642133 |     1382  22185 |        0 |        0
1359.42/1359.74	c 1359s |      27 | 12697322 | 11658833 |     1382  22209 |        0 |        0
1361.41/1361.75	c 1361s |      27 | 12714922 | 11675333 |     1382  22232 |        0 |        0
1363.41/1363.75	c 1363s |      27 | 12732784 | 11691633 |     1382  22255 |        0 |        0
1365.41/1365.75	c 1365s |      27 | 12750564 | 11708233 |     1382  22279 |        0 |        0
1367.41/1367.77	c 1367s |      27 | 12769114 | 11725133 |     1382  22303 |        0 |        0
1369.41/1369.78	c 1369s |      27 | 12787075 | 11741733 |     1382  22326 |        0 |        0
1371.41/1371.78	c 1371s |      27 | 12805331 | 11758533 |     1382  22350 |        0 |        0
1373.41/1373.78	c 1373s |      27 | 12823218 | 11775033 |     1382  22373 |        0 |        0
1375.41/1375.79	c 1375s |      27 | 12840732 | 11791533 |     1382  22396 |        0 |        0
1377.51/1377.80	c 1377s |      27 | 12858212 | 11807933 |     1382  22419 |        0 |        0
1379.51/1379.81	c 1379s |      27 | 12876067 | 11824233 |     1382  22442 |        0 |        0
1381.51/1381.81	c 1381s |      27 | 12893926 | 11840733 |     1382  22465 |        0 |        0
1383.52/1383.82	c 1383s |      27 | 12912158 | 11857233 |     1382  22489 |        0 |        0
1385.51/1385.82	c 1385s |      27 | 12930222 | 11873933 |     1382  22512 |        0 |        0
1387.51/1387.83	c 1387s |      27 | 12948180 | 11890033 |     1382  22535 |        0 |        0
1389.51/1389.84	c 1389s |      27 | 12966157 | 11906233 |     1382  22558 |        0 |        0
1391.51/1391.84	c 1391s |      27 | 12983948 | 11922133 |     1382  22580 |        0 |        0
1393.51/1393.84	c 1393s |      27 | 13001863 | 11938433 |     1382  22603 |        0 |        0
1395.50/1395.84	c 1395s |      27 | 13019145 | 11954633 |     1382  22626 |        0 |        0
1397.50/1397.85	c 1397s |      27 | 13037592 | 11971133 |     1382  22649 |        0 |        0
1399.50/1399.85	c 1399s |      27 | 13055684 | 11987533 |     1382  22673 |        0 |        0
1401.50/1401.85	c 1401s |      27 | 13073469 | 12003433 |     1382  22695 |        0 |        0
1403.50/1403.86	c 1403s |      27 | 13091457 | 12020033 |     1382  22718 |        0 |        0
1405.50/1405.86	c 1405s |      27 | 13109273 | 12036633 |     1382  22742 |        0 |        0
1407.49/1407.87	c 1407s |      27 | 13127775 | 12053333 |     1382  22765 |        0 |        0
1409.50/1409.88	c 1409s |      27 | 13146083 | 12069633 |     1382  22789 |        0 |        0
1411.50/1411.88	c 1411s |      27 | 13165062 | 12086333 |     1382  22812 |        0 |        0
1413.50/1413.88	c 1413s |      27 | 13183162 | 12102833 |     1382  22835 |        0 |        0
1415.50/1415.89	c 1415s |      27 | 13200988 | 12119033 |     1382  22858 |        0 |        0
1417.50/1417.89	c 1417s |      27 | 13219152 | 12135433 |     1382  22881 |        0 |        0
1419.60/1419.91	c 1419s |      27 | 13237459 | 12152333 |     1382  22905 |        0 |        0
1421.59/1421.92	c 1421s |      27 | 13255702 | 12168733 |     1382  22928 |        0 |        0
1423.59/1423.92	c 1423s |      27 | 13273957 | 12185233 |     1382  22951 |        0 |        0
1425.59/1425.92	c 1425s |      27 | 13293451 | 12202233 |     1382  22975 |        0 |        0
1427.60/1427.93	c 1427s |      27 | 13312220 | 12219333 |     1382  22999 |        0 |        0
1429.59/1429.94	c 1429s |      27 | 13330984 | 12236233 |     1382  23023 |        0 |        0
1431.58/1431.94	c 1431s |      27 | 13349285 | 12253133 |     1382  23047 |        0 |        0
1433.58/1433.95	c 1433s |      27 | 13367842 | 12270033 |     1382  23071 |        0 |        0
1435.58/1435.95	c 1435s |      27 | 13386592 | 12286733 |     1382  23095 |        0 |        0
1437.58/1437.96	c 1437s |      27 | 13404270 | 12302933 |     1382  23118 |        0 |        0
1439.59/1439.96	c 1439s |      27 | 13422559 | 12319133 |     1382  23140 |        0 |        0
1441.58/1441.97	c 1441s |      27 | 13441619 | 12335633 |     1382  23163 |        0 |        0
1443.58/1443.97	c 1443s |      27 | 13459435 | 12351933 |     1382  23186 |        0 |        0
1445.58/1445.98	c 1445s |      27 | 13477376 | 12368233 |     1382  23209 |        0 |        0
1447.58/1447.99	c 1447s |      27 | 13495317 | 12384833 |     1382  23233 |        0 |        0
1449.68/1450.00	c 1449s |      27 | 13513609 | 12401333 |     1382  23256 |        0 |        0
1451.68/1452.01	c 1451s |      27 | 13531619 | 12417333 |     1382  23279 |        0 |        0
1453.67/1454.02	c 1454s |      27 | 13550249 | 12433833 |     1382  23302 |        0 |        0
1455.67/1456.03	c 1456s |      27 | 13568475 | 12450233 |     1382  23325 |        0 |        0
1457.67/1458.04	c 1458s |      27 | 13587063 | 12466733 |     1382  23348 |        0 |        0
1459.67/1460.05	c 1460s |      27 | 13605029 | 12483133 |     1382  23371 |        0 |        0
1461.67/1462.06	c 1462s |      27 | 13622765 | 12499733 |     1382  23395 |        0 |        0
1463.67/1464.06	c 1464s |      27 | 13641231 | 12516533 |     1382  23418 |        0 |        0
1465.67/1466.06	c 1466s |      27 | 13659699 | 12533033 |     1382  23442 |        0 |        0
1467.66/1468.06	c 1468s |      27 | 13677466 | 12549733 |     1382  23465 |        0 |        0
1469.66/1470.07	c 1470s |      27 | 13695464 | 12566633 |     1382  23489 |        0 |        0
1471.66/1472.07	c 1472s |      27 | 13714433 | 12583833 |     1382  23514 |        0 |        0
1473.67/1474.08	c 1474s |      27 | 13732717 | 12600533 |     1382  23537 |        0 |        0
1475.67/1476.08	c 1476s |      27 | 13750392 | 12617033 |     1382  23560 |        0 |        0
1477.66/1478.09	c 1478s |      27 | 13768749 | 12633833 |     1382  23584 |        0 |        0
1479.66/1480.09	c 1480s |      27 | 13787042 | 12650433 |     1382  23607 |        0 |        0
1481.76/1482.10	c 1482s |      27 | 13804570 | 12666833 |     1382  23631 |        0 |        0
1483.76/1484.10	c 1484s |      27 | 13823789 | 12683333 |     1382  23654 |        0 |        0
1485.76/1486.11	c 1486s |      27 | 13841535 | 12699733 |     1382  23677 |        0 |        0
1487.75/1488.12	c 1488s |      27 | 13860218 | 12716733 |     1382  23701 |        0 |        0
1489.75/1490.13	c 1490s |      27 | 13879282 | 12733733 |     1382  23725 |        0 |        0
1491.75/1492.14	c 1492s |      27 | 13897570 | 12750533 |     1382  23749 |        0 |        0
1493.75/1494.14	c 1494s |      27 | 13915914 | 12767533 |     1382  23773 |        0 |        0
1495.76/1496.14	c 1496s |      27 | 13934242 | 12784433 |     1382  23797 |        0 |        0
1497.75/1498.15	c 1498s |      27 | 13953964 | 12801533 |     1382  23821 |        0 |        0
1499.75/1500.16	c 1500s |      27 | 13972513 | 12818733 |     1382  23845 |        0 |        0
1501.74/1502.17	c 1502s |      27 | 13991000 | 12835733 |     1382  23869 |        0 |        0
1503.74/1504.17	c 1504s |      27 | 14010516 | 12853133 |     1382  23894 |        0 |        0
1505.74/1506.18	c 1506s |      27 | 14029080 | 12869733 |     1382  23917 |        0 |        0
1507.75/1508.18	c 1508s |      27 | 14048415 | 12886833 |     1382  23941 |        0 |        0
1509.74/1510.19	c 1510s |      27 | 14067084 | 12903733 |     1382  23965 |        0 |        0
1511.83/1512.20	c 1512s |      27 | 14086052 | 12920733 |     1382  23989 |        0 |        0
1513.83/1514.21	c 1514s |      27 | 14105058 | 12937733 |     1382  24013 |        0 |        0
1515.83/1516.21	c 1516s |      27 | 14124089 | 12954533 |     1382  24037 |        0 |        0
1517.83/1518.21	c 1518s |      27 | 14143230 | 12971933 |     1382  24061 |        0 |        0
1519.84/1520.22	c 1520s |      27 | 14162709 | 12989133 |     1382  24086 |        0 |        0
1521.83/1522.22	c 1522s |      27 | 14181596 | 13006233 |     1382  24110 |        0 |        0
1523.83/1524.23	c 1524s |      27 | 14200669 | 13023233 |     1382  24134 |        0 |        0
1525.83/1526.23	c 1526s |      27 | 14219757 | 13040133 |     1382  24158 |        0 |        0
1527.83/1528.24	c 1528s |      27 | 14237878 | 13056633 |     1382  24181 |        0 |        0
1529.84/1530.24	c 1530s |      27 | 14257073 | 13073233 |     1382  24204 |        0 |        0
1531.83/1532.25	c 1532s |      27 | 14276028 | 13089433 |     1382  24227 |        0 |        0
1533.83/1534.26	c 1534s |      27 | 14294178 | 13105933 |     1382  24250 |        0 |        0
1535.83/1536.26	c 1536s |      27 | 14312910 | 13122233 |     1382  24273 |        0 |        0
1537.83/1538.27	c 1538s |      27 | 14331624 | 13138633 |     1382  24296 |        0 |        0
1539.83/1540.27	c 1540s |      27 | 14350120 | 13155133 |     1382  24320 |        0 |        0
1541.83/1542.28	c 1542s |      27 | 14368231 | 13171833 |     1382  24343 |        0 |        0
1543.82/1544.29	c 1544s |      27 | 14386717 | 13188533 |     1382  24367 |        0 |        0
1545.82/1546.29	c 1546s |      27 | 14405124 | 13205033 |     1382  24390 |        0 |        0
1547.82/1548.29	c 1548s |      27 | 14424144 | 13221833 |     1382  24414 |        0 |        0
1549.82/1550.29	c 1550s |      27 | 14443455 | 13238433 |     1382  24437 |        0 |        0
1551.92/1552.30	c 1552s |      27 | 14462439 | 13255333 |     1382  24461 |        0 |        0
1553.81/1554.30	c 1554s |      27 | 14481643 | 13272233 |     1382  24485 |        0 |        0
1555.91/1556.31	c 1556s |      27 | 14500553 | 13289133 |     1382  24508 |        0 |        0
1557.91/1558.31	c 1558s |      27 | 14520192 | 13306133 |     1382  24532 |        0 |        0
1559.91/1560.31	c 1560s |      27 | 14539541 | 13322833 |     1382  24556 |        0 |        0
1561.91/1562.32	c 1562s |      27 | 14558084 | 13339533 |     1382  24580 |        0 |        0
1563.92/1564.33	c 1564s |      27 | 14577592 | 13356633 |     1382  24604 |        0 |        0
1565.91/1566.33	c 1566s |      27 | 14595809 | 13373533 |     1382  24628 |        0 |        0
1567.91/1568.33	c 1568s |      27 | 14614955 | 13390433 |     1382  24651 |        0 |        0
1569.91/1570.34	c 1570s |      27 | 14635053 | 13407633 |     1382  24676 |        0 |        0
1571.90/1572.34	c 1572s |      27 | 14654544 | 13424833 |     1382  24700 |        0 |        0
1573.90/1574.34	c 1574s |      27 | 14673397 | 13441633 |     1382  24723 |        0 |        0
1575.91/1576.35	c 1576s |      27 | 14692474 | 13458533 |     1382  24747 |        0 |        0
1577.90/1578.35	c 1578s |      27 | 14711775 | 13475933 |     1382  24772 |        0 |        0
1579.90/1580.36	c 1580s |      27 | 14731302 | 13493133 |     1382  24796 |        0 |        0
1581.90/1582.36	c 1582s |      27 | 14750770 | 13510933 |     1382  24821 |        0 |        0
1583.90/1584.37	c 1584s |      27 | 14769689 | 13528233 |     1382  24845 |        0 |        0
1585.90/1586.37	c 1586s |      27 | 14788762 | 13545833 |     1382  24870 |        0 |        0
1587.90/1588.38	c 1588s |      27 | 14808103 | 13563433 |     1382  24895 |        0 |        0
1589.90/1590.38	c 1590s |      27 | 14826914 | 13580133 |     1382  24919 |        0 |        0
1591.90/1592.39	c 1592s |      27 | 14845730 | 13597033 |     1382  24942 |        0 |        0
1594.00/1594.40	c 1594s |      27 | 14865119 | 13614533 |     1382  24967 |        0 |        0
1596.00/1596.40	c 1596s |      27 | 14884659 | 13632533 |     1382  24992 |        0 |        0
1598.00/1598.40	c 1598s |      27 | 14904096 | 13650233 |     1382  25017 |        0 |        0
1599.99/1600.41	c 1600s |      27 | 14923640 | 13667133 |     1382  25041 |        0 |        0
1601.99/1602.41	c 1602s |      27 | 14943473 | 13685333 |     1382  25067 |        0 |        0
1603.99/1604.42	c 1604s |      27 | 14963762 | 13703133 |     1382  25092 |        0 |        0
1605.99/1606.42	c 1606s |      27 | 14982492 | 13720533 |     1382  25117 |        0 |        0
1607.99/1608.43	c 1608s |      27 | 15002302 | 13738233 |     1382  25142 |        0 |        0
1609.99/1610.44	c 1610s |      27 | 15022102 | 13755933 |     1382  25167 |        0 |        0
1611.98/1612.44	c 1612s |      27 | 15041137 | 13772933 |     1382  25191 |        0 |        0
1613.98/1614.44	c 1614s |      27 | 15060210 | 13789933 |     1382  25214 |        0 |        0
1615.98/1616.45	c 1616s |      27 | 15078823 | 13807133 |     1382  25239 |        0 |        0
1617.98/1618.45	c 1618s |      27 | 15097318 | 13823733 |     1382  25262 |        0 |        0
1619.98/1620.46	c 1620s |      27 | 15115478 | 13840733 |     1382  25286 |        0 |        0
1621.98/1622.46	c 1622s |      27 | 15134019 | 13857633 |     1382  25310 |        0 |        0
1623.98/1624.47	c 1624s |      27 | 15152284 | 13874733 |     1382  25334 |        0 |        0
1625.97/1626.48	c 1626s |      27 | 15170505 | 13891333 |     1382  25357 |        0 |        0
1627.97/1628.49	c 1628s |      27 | 15189861 | 13908233 |     1382  25381 |        0 |        0
1630.07/1630.50	c 1630s |      27 | 15208221 | 13925533 |     1382  25406 |        0 |        0
1632.08/1632.51	c 1632s |      27 | 15226934 | 13942933 |     1382  25430 |        0 |        0
1634.07/1634.51	c 1634s |      27 | 15246300 | 13960133 |     1382  25454 |        0 |        0
1636.07/1636.53	c 1636s |      27 | 15264792 | 13977233 |     1382  25479 |        0 |        0
1638.08/1638.53	c 1638s |      27 | 15283582 | 13994533 |     1382  25503 |        0 |        0
1640.07/1640.54	c 1640s |      27 | 15302351 | 14011733 |     1382  25527 |        0 |        0
1642.07/1642.54	c 1642s |      27 | 15321296 | 14029033 |     1382  25552 |        0 |        0
1644.08/1644.55	c 1644s |      27 | 15340848 | 14046433 |     1382  25576 |        0 |        0
1646.07/1646.55	c 1646s |      27 | 15360601 | 14063633 |     1382  25600 |        0 |        0
1648.07/1648.56	c 1648s |      27 | 15380271 | 14081433 |     1382  25625 |        0 |        0
1650.06/1650.56	c 1650s |      27 | 15399855 | 14099033 |     1382  25650 |        0 |        0
1652.06/1652.57	c 1652s |      27 | 15419152 | 14116633 |     1382  25675 |        0 |        0
1654.07/1654.57	c 1654s |      27 | 15438487 | 14134233 |     1382  25700 |        0 |        0
1656.06/1656.58	c 1656s |      27 | 15457194 | 14151833 |     1382  25725 |        0 |        0
1658.06/1658.58	c 1658s |      27 | 15475997 | 14169133 |     1382  25749 |        0 |        0
1660.06/1660.59	c 1660s |      27 | 15495236 | 14186733 |     1382  25774 |        0 |        0
1662.15/1662.60	c 1662s |      27 | 15514372 | 14204233 |     1382  25799 |        0 |        0
1664.15/1664.61	c 1664s |      27 | 15533420 | 14221833 |     1382  25824 |        0 |        0
1666.16/1666.61	c 1666s |      27 | 15552338 | 14239233 |     1382  25848 |        0 |        0
1668.15/1668.62	c 1668s |      27 | 15570958 | 14256533 |     1382  25873 |        0 |        0
1670.15/1670.62	c 1670s |      27 | 15590042 | 14273933 |     1382  25897 |        0 |        0
1672.15/1672.63	c 1672s |      27 | 15609141 | 14291433 |     1382  25922 |        0 |        0
1674.16/1674.63	c 1674s |      27 | 15628006 | 14308733 |     1382  25946 |        0 |        0
1676.16/1676.63	c 1676s |      27 | 15646827 | 14326433 |     1382  25971 |        0 |        0
1678.16/1678.64	c 1678s |      27 | 15666062 | 14344333 |     1382  25997 |        0 |        0
1680.15/1680.64	c 1680s |      27 | 15684843 | 14361733 |     1382  26021 |        0 |        0
1682.15/1682.65	c 1682s |      27 | 15704443 | 14379033 |     1382  26046 |        0 |        0
1684.15/1684.66	c 1684s |      27 | 15723809 | 14396533 |     1382  26071 |        0 |        0
1686.15/1686.66	c 1686s |      27 | 15743149 | 14413933 |     1382  26095 |        0 |        0
1688.15/1688.67	c 1688s |      27 | 15762231 | 14431833 |     1382  26121 |        0 |        0
1690.14/1690.67	c 1690s |      27 | 15781512 | 14449233 |     1382  26145 |        0 |        0
1692.14/1692.68	c 1692s |      27 | 15801264 | 14466533 |     1382  26170 |        0 |        0
1694.14/1694.69	c 1694s |      27 | 15820733 | 14483933 |     1382  26194 |        0 |        0
1696.14/1696.69	c 1696s |      27 | 15839591 | 14501533 |     1382  26219 |        0 |        0
1698.14/1698.69	c 1698s |      27 | 15859071 | 14519433 |     1382  26244 |        0 |        0
1700.14/1700.70	c 1700s |      27 | 15878327 | 14537033 |     1382  26269 |        0 |        0
1702.24/1702.71	c 1702s |      27 | 15897692 | 14554833 |     1382  26294 |        0 |        0
1704.24/1704.71	c 1704s |      27 | 15917588 | 14572833 |     1382  26320 |        0 |        0
1706.24/1706.72	c 1706s |      27 | 15936771 | 14590433 |     1382  26345 |        0 |        0
1708.24/1708.72	c 1708s |      27 | 15956210 | 14608433 |     1382  26370 |        0 |        0
1710.23/1710.72	c 1710s |      27 | 15974939 | 14625533 |     1382  26394 |        0 |        0
1712.24/1712.73	c 1712s |      27 | 15994173 | 14642533 |     1382  26418 |        0 |        0
1714.23/1714.74	c 1714s |      27 | 16013376 | 14659833 |     1382  26443 |        0 |        0
1716.23/1716.74	c 1716s |      27 | 16033360 | 14676833 |     1382  26467 |        0 |        0
1718.23/1718.74	c 1718s |      27 | 16052969 | 14694533 |     1382  26492 |        0 |        0
1720.22/1720.74	c 1720s |      27 | 16072870 | 14712133 |     1382  26516 |        0 |        0
1722.23/1722.76	c 1722s |      27 | 16093049 | 14730033 |     1382  26542 |        0 |        0
1724.23/1724.76	c 1724s |      27 | 16112027 | 14747433 |     1382  26566 |        0 |        0
1726.23/1726.77	c 1726s |      27 | 16132273 | 14765633 |     1382  26592 |        0 |        0
1728.23/1728.77	c 1728s |      27 | 16152095 | 14783433 |     1382  26617 |        0 |        0
1730.22/1730.78	c 1730s |      27 | 16172541 | 14801633 |     1382  26643 |        0 |        0
1732.22/1732.79	c 1732s |      27 | 16192044 | 14819633 |     1382  26668 |        0 |        0
1734.23/1734.79	c 1734s |      27 | 16211609 | 14837633 |     1382  26694 |        0 |        0
1736.32/1736.80	c 1736s |      27 | 16231052 | 14855933 |     1382  26720 |        0 |        0
1738.32/1738.81	c 1738s |      27 | 16251117 | 14874333 |     1382  26746 |        0 |        0
1740.32/1740.81	c 1740s |      27 | 16270215 | 14891433 |     1382  26770 |        0 |        0
1742.32/1742.82	c 1742s |      27 | 16288965 | 14909033 |     1382  26795 |        0 |        0
1744.31/1744.83	c 1744s |      27 | 16308276 | 14926633 |     1382  26820 |        0 |        0
1746.32/1746.83	c 1746s |      27 | 16327539 | 14944233 |     1382  26844 |        0 |        0
1748.31/1748.84	c 1748s |      27 | 16346878 | 14961633 |     1382  26869 |        0 |        0
1750.31/1750.85	c 1750s |      27 | 16366056 | 14979133 |     1382  26894 |        0 |        0
1752.31/1752.86	c 1752s |      27 | 16385583 | 14997133 |     1382  26919 |        0 |        0
1754.31/1754.86	c 1754s |      27 | 16406262 | 15015333 |     1382  26945 |        0 |        0
1756.31/1756.86	c 1756s |      27 | 16425725 | 15033633 |     1382  26971 |        0 |        0
1758.31/1758.87	c 1758s |      27 | 16445713 | 15051833 |     1382  26997 |        0 |        0
1760.30/1760.87	c 1760s |      27 | 16465609 | 15070033 |     1382  27022 |        0 |        0
1762.30/1762.88	c 1762s |      27 | 16485449 | 15087833 |     1382  27047 |        0 |        0
1764.30/1764.88	c 1764s |      27 | 16505029 | 15105533 |     1382  27073 |        0 |        0
1766.30/1766.89	c 1766s |      27 | 16525892 | 15123933 |     1382  27099 |        0 |        0
1768.31/1768.90	c 1768s |      27 | 16546555 | 15142233 |     1382  27124 |        0 |        0
1770.40/1770.90	c 1770s |      27 | 16567230 | 15160233 |     1382  27150 |        0 |        0
1772.39/1772.91	c 1772s |      27 | 16587883 | 15178433 |     1382  27176 |        0 |        0
1774.39/1774.91	c 1774s |      27 | 16609111 | 15196433 |     1382  27201 |        0 |        0
1776.39/1776.92	c 1776s |      27 | 16629519 | 15214733 |     1382  27227 |        0 |        0
1778.39/1778.92	c 1778s |      27 | 16649700 | 15232833 |     1382  27253 |        0 |        0
1780.39/1780.93	c 1780s |      27 | 16670763 | 15251333 |     1382  27279 |        0 |        0
1782.39/1782.93	c 1782s |      27 | 16690848 | 15269133 |     1382  27304 |        0 |        0
1784.39/1784.94	c 1784s |      27 | 16711029 | 15287333 |     1382  27330 |        0 |        0
1786.39/1786.95	c 1786s |      27 | 16730277 | 15304933 |     1382  27354 |        0 |        0
1788.39/1788.95	c 1788s |      27 | 16749317 | 15322033 |     1382  27378 |        0 |        0
1790.40/1790.95	c 1790s |      27 | 16767983 | 15338933 |     1382  27402 |        0 |        0
1792.39/1792.96	c 1792s |      27 | 16786788 | 15356033 |     1382  27426 |        0 |        0
1794.39/1794.96	c 1794s |      27 | 16805626 | 15373333 |     1382  27451 |        0 |        0
1796.39/1796.96	c 1796s |      27 | 16824476 | 15390833 |     1382  27475 |        0 |        0
1798.38/1798.98	c 1798s |      27 | 16843659 | 15408133 |     1382  27500 |        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-4089281-1466024941/watcher-4089281-1466024941 -o /tmp/evaluation-result-4089281-1466024941/solver-4089281-1466024941 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node129-1466013843-5838 --watchdog 1960 toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4089281-1466024941.opb 

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

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


[startup+0 s]
/proc/loadavg: 2.31 2.28 2.27 4/179 7337
/proc/meminfo: memFree=29463556/32872528 swapFree=1369816/1516984
[pid=7337] ppid=7334 vsize=719292 CPUtime=0 cores=0,2,4,6
/proc/7337/stat : 7337 (toysat) R 7334 7337 5822 0 -1 4202496 2682 0 0 0 0 0 0 0 20 0 4 0 4540632 736555008 3042 33554432000 4194304 16246674 140737308913680 140737308913104 13880264 0 2 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/7337/statm: 180335 3052 441 2943 0 177229 0
[pid=7337/tid=7338] ppid=7334 vsize=736700 CPUtime=0 cores=0,2,4,6
/proc/7337/task/7338/stat : 7338 (toysat) S 7334 7337 5822 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 4540632 754380800 3112 33554432000 4194304 16246674 140737308913680 139636050472176 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=7337/tid=7339] ppid=7334 vsize=739772 CPUtime=0 cores=0,2,4,6
/proc/7337/task/7339/stat : 7339 (toysat) S 7334 7337 5822 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 4540632 757526528 3124 33554432000 4194304 16246674 140737308913680 139635963440368 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=7337/tid=7340] ppid=7334 vsize=744892 CPUtime=0 cores=0,2,4,6
/proc/7337/task/7340/stat : 7340 (toysat) S 7334 7337 5822 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 4540632 762769408 3141 33554432000 4194304 16246674 140737308913680 139635952966832 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0

[startup+0.100173 s]
/proc/loadavg: 2.31 2.28 2.27 4/179 7337
/proc/meminfo: memFree=29463556/32872528 swapFree=1369816/1516984
[pid=7337] ppid=7334 vsize=1218116 CPUtime=0.09 cores=0,2,4,6
/proc/7337/stat : 7337 (toysat) R 7334 7337 5822 0 -1 4202496 28803 0 0 0 5 4 0 0 20 0 4 0 4540632 1247350784 29153 33554432000 4194304 16246674 140737308913680 140737308913104 13191869 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/7337/statm: 304529 29160 710 2943 0 301423 0
[pid=7337/tid=7338] ppid=7334 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/7337/task/7338/stat : 7338 (toysat) S 7334 7337 5822 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 4540632 1247350784 29166 33554432000 4194304 16246674 140737308913680 139636050472176 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=7337/tid=7339] ppid=7334 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/7337/task/7339/stat : 7339 (toysat) S 7334 7337 5822 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 4540632 1247350784 29178 33554432000 4194304 16246674 140737308913680 139635963440368 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=7337/tid=7340] ppid=7334 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/7337/task/7340/stat : 7340 (toysat) S 7334 7337 5822 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 4540632 1247350784 29186 33554432000 4194304 16246674 140737308913680 139635952966832 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 1218116

[startup+0.200513 s]
/proc/loadavg: 2.31 2.28 2.27 4/179 7337
/proc/meminfo: memFree=29463556/32872528 swapFree=1369816/1516984
[pid=7337] ppid=7334 vsize=1218116 CPUtime=0.19 cores=0,2,4,6
/proc/7337/stat : 7337 (toysat) R 7334 7337 5822 0 -1 4202496 56973 0 0 0 11 8 0 0 20 0 4 0 4540632 1247350784 57322 33554432000 4194304 16246674 140737308913680 140737308913104 5546181 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/7337/statm: 304529 57338 710 2943 0 301423 0
[pid=7337/tid=7338] ppid=7334 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/7337/task/7338/stat : 7338 (toysat) S 7334 7337 5822 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 4540632 1247350784 57349 33554432000 4194304 16246674 140737308913680 139636050472176 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=7337/tid=7339] ppid=7334 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/7337/task/7339/stat : 7339 (toysat) S 7334 7337 5822 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 4540632 1247350784 57357 33554432000 4194304 16246674 140737308913680 139635963440368 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=7337/tid=7340] ppid=7334 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/7337/task/7340/stat : 7340 (toysat) S 7334 7337 5822 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 4540632 1247350784 57361 33554432000 4194304 16246674 140737308913680 139635952966832 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 1218116

[startup+0.300425 s]
/proc/loadavg: 2.31 2.28 2.27 4/179 7337
/proc/meminfo: memFree=29463556/32872528 swapFree=1369816/1516984
[pid=7337] ppid=7334 vsize=1218116 CPUtime=0.29 cores=0,2,4,6
/proc/7337/stat : 7337 (toysat) R 7334 7337 5822 0 -1 4202496 84970 0 0 0 17 12 0 0 20 0 4 0 4540632 1247350784 85320 33554432000 4194304 16246674 140737308913680 140737308913104 5546181 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/7337/statm: 304529 85335 710 2943 0 301423 0
[pid=7337/tid=7338] ppid=7334 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/7337/task/7338/stat : 7338 (toysat) S 7334 7337 5822 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 4540632 1247350784 85339 33554432000 4194304 16246674 140737308913680 139636050472176 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=7337/tid=7339] ppid=7334 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/7337/task/7339/stat : 7339 (toysat) S 7334 7337 5822 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 4540632 1247350784 85349 33554432000 4194304 16246674 140737308913680 139635963440368 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=7337/tid=7340] ppid=7334 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/7337/task/7340/stat : 7340 (toysat) S 7334 7337 5822 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 4540632 1247350784 85360 33554432000 4194304 16246674 140737308913680 139635952966832 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 1218116

[startup+0.70039 s]
/proc/loadavg: 2.31 2.28 2.27 4/179 7337
/proc/meminfo: memFree=29463556/32872528 swapFree=1369816/1516984
[pid=7337] ppid=7334 vsize=1218116 CPUtime=0.69 cores=0,2,4,6
/proc/7337/stat : 7337 (toysat) R 7334 7337 5822 0 -1 4202496 198774 0 0 0 43 26 0 0 20 0 4 0 4540632 1247350784 199124 33554432000 4194304 16246674 140737308913680 140737308895552 5546181 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/7337/statm: 304529 199139 711 2943 0 301423 0
[pid=7337/tid=7338] ppid=7334 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/7337/task/7338/stat : 7338 (toysat) S 7334 7337 5822 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 4540632 1247350784 199145 33554432000 4194304 16246674 140737308913680 139636050472176 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=7337/tid=7339] ppid=7334 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/7337/task/7339/stat : 7339 (toysat) S 7334 7337 5822 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 4540632 1247350784 199151 33554432000 4194304 16246674 140737308913680 139635963440368 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=7337/tid=7340] ppid=7334 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/7337/task/7340/stat : 7340 (toysat) S 7334 7337 5822 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 4540632 1247350784 199161 33554432000 4194304 16246674 140737308913680 139635952966832 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 1218116

[startup+1.50045 s]
/proc/loadavg: 2.31 2.28 2.27 4/183 7341
/proc/meminfo: memFree=28481024/32872528 swapFree=1369816/1516984
[pid=7337] ppid=7334 vsize=1305156 CPUtime=1.49 cores=0,2,4,6
/proc/7337/stat : 7337 (toysat) R 7334 7337 5822 0 -1 4202496 267296 0 0 0 114 35 0 0 20 0 4 0 4540632 1336479744 267625 33554432000 4194304 16246674 140737308913680 140737308895552 13927222 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/7337/statm: 326289 267625 788 2943 0 323183 0
[pid=7337/tid=7338] ppid=7334 vsize=1305156 CPUtime=0 cores=0,2,4,6
/proc/7337/task/7338/stat : 7338 (toysat) S 7334 7337 5822 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 4540632 1336479744 267625 33554432000 4194304 16246674 140737308913680 139636050472176 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=7337/tid=7339] ppid=7334 vsize=1305156 CPUtime=0 cores=0,2,4,6
/proc/7337/task/7339/stat : 7339 (toysat) S 7334 7337 5822 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 4540632 1336479744 267625 33554432000 4194304 16246674 140737308913680 139635963440368 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=7337/tid=7340] ppid=7334 vsize=1305156 CPUtime=0 cores=0,2,4,6
/proc/7337/task/7340/stat : 7340 (toysat) S 7334 7337 5822 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 4540632 1336479744 267625 33554432000 4194304 16246674 140737308913680 139635952966832 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 1305156

[startup+3.10042 s]
/proc/loadavg: 2.31 2.28 2.27 4/183 7341
/proc/meminfo: memFree=28392860/32872528 swapFree=1369816/1516984
[pid=7337] ppid=7334 vsize=1306180 CPUtime=3.09 cores=0,2,4,6
/proc/7337/stat : 7337 (toysat) R 7334 7337 5822 0 -1 4202496 267399 0 0 0 274 35 0 0 20 0 4 0 4540632 1337528320 267728 33554432000 4194304 16246674 140737308913680 140737308896680 12483387 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/7337/statm: 326545 267728 788 2943 0 323439 0
[pid=7337/tid=7338] ppid=7334 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/7337/task/7338/stat : 7338 (toysat) S 7334 7337 5822 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 4540632 1337528320 267728 33554432000 4194304 16246674 140737308913680 139636050472176 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=7337/tid=7339] ppid=7334 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/7337/task/7339/stat : 7339 (toysat) S 7334 7337 5822 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 4540632 1337528320 267728 33554432000 4194304 16246674 140737308913680 139635963440368 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=7337/tid=7340] ppid=7334 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/7337/task/7340/stat : 7340 (toysat) S 7334 7337 5822 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 4540632 1337528320 267728 33554432000 4194304 16246674 140737308913680 139635952966832 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 1306180

[startup+6.3004 s]
/proc/loadavg: 2.36 2.29 2.27 3/183 7341
/proc/meminfo: memFree=28392672/32872528 swapFree=1369816/1516984
[pid=7337] ppid=7334 vsize=1306180 CPUtime=6.29 cores=0,2,4,6
/proc/7337/stat : 7337 (toysat) R 7334 7337 5822 0 -1 4202496 267424 0 0 0 594 35 0 0 20 0 4 0 4540632 1337528320 267753 33554432000 4194304 16246674 140737308913680 140737308895552 13950232 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/7337/statm: 326545 267753 788 2943 0 323439 0
[pid=7337/tid=7338] ppid=7334 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/7337/task/7338/stat : 7338 (toysat) S 7334 7337 5822 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 4540632 1337528320 267753 33554432000 4194304 16246674 140737308913680 139636050472176 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=7337/tid=7339] ppid=7334 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/7337/task/7339/stat : 7339 (toysat) S 7334 7337 5822 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 4540632 1337528320 267753 33554432000 4194304 16246674 140737308913680 139635963440368 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=7337/tid=7340] ppid=7334 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/7337/task/7340/stat : 7340 (toysat) S 7334 7337 5822 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 4540632 1337528320 267753 33554432000 4194304 16246674 140737308913680 139635952966832 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 1306180

[startup+12.7004 s]
/proc/loadavg: 2.33 2.29 2.27 3/183 7341
/proc/meminfo: memFree=28392560/32872528 swapFree=1369816/1516984
[pid=7337] ppid=7334 vsize=1306180 CPUtime=12.68 cores=0,2,4,6
/proc/7337/stat : 7337 (toysat) R 7334 7337 5822 0 -1 4202496 267429 0 0 0 1233 35 0 0 20 0 4 0 4540632 1337528320 267758 33554432000 4194304 16246674 140737308913680 140737308896680 13927401 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/7337/statm: 326545 267758 788 2943 0 323439 0
[pid=7337/tid=7338] ppid=7334 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/7337/task/7338/stat : 7338 (toysat) S 7334 7337 5822 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 4540632 1337528320 267758 33554432000 4194304 16246674 140737308913680 139636050472176 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=7337/tid=7339] ppid=7334 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/7337/task/7339/stat : 7339 (toysat) S 7334 7337 5822 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 4540632 1337528320 267758 33554432000 4194304 16246674 140737308913680 139635963440368 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=7337/tid=7340] ppid=7334 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/7337/task/7340/stat : 7340 (toysat) S 7334 7337 5822 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 4540632 1337528320 267758 33554432000 4194304 16246674 140737308913680 139635952966832 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 1306180

[startup+25.5005 s]
/proc/loadavg: 2.40 2.30 2.27 4/183 7341
/proc/meminfo: memFree=28390752/32872528 swapFree=1369816/1516984
[pid=7337] ppid=7334 vsize=1306180 CPUtime=25.49 cores=0,2,4,6
/proc/7337/stat : 7337 (toysat) R 7334 7337 5822 0 -1 4202496 267490 0 0 0 2513 36 0 0 20 0 4 0 4540632 1337528320 267819 33554432000 4194304 16246674 140737308913680 140737308895552 5823246 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/7337/statm: 326545 267819 788 2943 0 323439 0
[pid=7337/tid=7338] ppid=7334 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/7337/task/7338/stat : 7338 (toysat) S 7334 7337 5822 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 4540632 1337528320 267819 33554432000 4194304 16246674 140737308913680 139636050472176 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=7337/tid=7339] ppid=7334 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/7337/task/7339/stat : 7339 (toysat) S 7334 7337 5822 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 4540632 1337528320 267819 33554432000 4194304 16246674 140737308913680 139635963440368 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=7337/tid=7340] ppid=7334 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/7337/task/7340/stat : 7340 (toysat) S 7334 7337 5822 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 4540632 1337528320 267819 33554432000 4194304 16246674 140737308913680 139635952966832 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 1306180

[startup+51.1005 s]
/proc/loadavg: 2.42 2.31 2.28 3/183 7341
/proc/meminfo: memFree=28390512/32872528 swapFree=1369816/1516984
[pid=7337] ppid=7334 vsize=1306180 CPUtime=51.08 cores=0,2,4,6
/proc/7337/stat : 7337 (toysat) R 7334 7337 5822 0 -1 4202496 267517 0 0 0 5072 36 0 0 20 0 4 0 4540632 1337528320 267846 33554432000 4194304 16246674 140737308913680 140737308896680 13943729 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/7337/statm: 326545 267846 791 2943 0 323439 0
[pid=7337/tid=7338] ppid=7334 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/7337/task/7338/stat : 7338 (toysat) S 7334 7337 5822 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 4540632 1337528320 267846 33554432000 4194304 16246674 140737308913680 139636050472176 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=7337/tid=7339] ppid=7334 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/7337/task/7339/stat : 7339 (toysat) S 7334 7337 5822 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 4540632 1337528320 267846 33554432000 4194304 16246674 140737308913680 139635963440368 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=7337/tid=7340] ppid=7334 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/7337/task/7340/stat : 7340 (toysat) S 7334 7337 5822 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 4540632 1337528320 267846 33554432000 4194304 16246674 140737308913680 139635952966832 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 1306180

[startup+102.3 s]
/proc/loadavg: 2.34 2.31 2.27 3/184 7346
/proc/meminfo: memFree=28389984/32872528 swapFree=1369816/1516984
[pid=7337] ppid=7334 vsize=1307204 CPUtime=102.29 cores=0,2,4,6
/proc/7337/stat : 7337 (toysat) R 7334 7337 5822 0 -1 4202496 267593 0 0 0 10191 38 0 0 20 0 4 0 4540632 1338576896 267922 33554432000 4194304 16246674 140737308913680 140737308895552 13950230 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/7337/statm: 326801 267922 791 2943 0 323695 0
[pid=7337/tid=7338] ppid=7334 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/7337/task/7338/stat : 7338 (toysat) S 7334 7337 5822 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 4540632 1338576896 267922 33554432000 4194304 16246674 140737308913680 139636050472176 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=7337/tid=7339] ppid=7334 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/7337/task/7339/stat : 7339 (toysat) S 7334 7337 5822 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 4540632 1338576896 267922 33554432000 4194304 16246674 140737308913680 139635963440368 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=7337/tid=7340] ppid=7334 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/7337/task/7340/stat : 7340 (toysat) S 7334 7337 5822 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 4540632 1338576896 267922 33554432000 4194304 16246674 140737308913680 139635952966832 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 102.29
Current children cumulated vsize (KiB) 1307204


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

/proc/7337/task/7340/stat : 7340 (toysat) S 7334 7337 5822 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 4540632 1342771200 269440 33554432000 4194304 16246674 140737308913680 139635952966832 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1242.07
Current children cumulated vsize (KiB) 1311300

[startup+1302.3 s]
/proc/loadavg: 2.31 2.29 2.27 3/184 7376
/proc/meminfo: memFree=28374948/32872528 swapFree=1369816/1516984
[pid=7337] ppid=7334 vsize=1311300 CPUtime=1302.04 cores=0,2,4,6
/proc/7337/stat : 7337 (toysat) R 7334 7337 5822 0 -1 4202496 268942 0 0 0 130142 62 0 0 20 0 4 0 4540632 1342771200 269440 33554432000 4194304 16246674 140737308913680 140737308895552 5808585 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/7337/statm: 327825 269440 792 2943 0 324719 0
[pid=7337/tid=7338] ppid=7334 vsize=1311300 CPUtime=0 cores=0,2,4,6
/proc/7337/task/7338/stat : 7338 (toysat) S 7334 7337 5822 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 4540632 1342771200 269440 33554432000 4194304 16246674 140737308913680 139636050472176 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=7337/tid=7339] ppid=7334 vsize=1311300 CPUtime=0 cores=0,2,4,6
/proc/7337/task/7339/stat : 7339 (toysat) S 7334 7337 5822 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 4540632 1342771200 269440 33554432000 4194304 16246674 140737308913680 139635963440368 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=7337/tid=7340] ppid=7334 vsize=1311300 CPUtime=0 cores=0,2,4,6
/proc/7337/task/7340/stat : 7340 (toysat) S 7334 7337 5822 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 4540632 1342771200 269440 33554432000 4194304 16246674 140737308913680 139635952966832 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1302.04
Current children cumulated vsize (KiB) 1311300

[startup+1362.3 s]
/proc/loadavg: 2.46 2.33 2.28 3/183 7377
/proc/meminfo: memFree=28374000/32872528 swapFree=1369816/1516984
[pid=7337] ppid=7334 vsize=1311300 CPUtime=1362.01 cores=0,2,4,6
/proc/7337/stat : 7337 (toysat) R 7334 7337 5822 0 -1 4202496 268985 0 0 0 136138 63 0 0 20 0 4 0 4540632 1342771200 269440 33554432000 4194304 16246674 140737308913680 140737308896680 5677392 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/7337/statm: 327825 269440 792 2943 0 324719 0
[pid=7337/tid=7338] ppid=7334 vsize=1311300 CPUtime=0 cores=0,2,4,6
/proc/7337/task/7338/stat : 7338 (toysat) S 7334 7337 5822 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 4540632 1342771200 269440 33554432000 4194304 16246674 140737308913680 139636050472176 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=7337/tid=7339] ppid=7334 vsize=1311300 CPUtime=0 cores=0,2,4,6
/proc/7337/task/7339/stat : 7339 (toysat) S 7334 7337 5822 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 4540632 1342771200 269440 33554432000 4194304 16246674 140737308913680 139635963440368 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=7337/tid=7340] ppid=7334 vsize=1311300 CPUtime=0 cores=0,2,4,6
/proc/7337/task/7340/stat : 7340 (toysat) S 7334 7337 5822 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 4540632 1342771200 269440 33554432000 4194304 16246674 140737308913680 139635952966832 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1362.01
Current children cumulated vsize (KiB) 1311300

[startup+1422.3 s]
/proc/loadavg: 2.41 2.34 2.29 4/183 7378
/proc/meminfo: memFree=28374268/32872528 swapFree=1369816/1516984
[pid=7337] ppid=7334 vsize=1311300 CPUtime=1422 cores=0,2,4,6
/proc/7337/stat : 7337 (toysat) R 7334 7337 5822 0 -1 4202496 269022 0 0 0 142135 65 0 0 20 0 4 0 4540632 1342771200 269440 33554432000 4194304 16246674 140737308913680 140737308896680 5721388 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/7337/statm: 327825 269440 792 2943 0 324719 0
[pid=7337/tid=7338] ppid=7334 vsize=1311300 CPUtime=0 cores=0,2,4,6
/proc/7337/task/7338/stat : 7338 (toysat) S 7334 7337 5822 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 4540632 1342771200 269440 33554432000 4194304 16246674 140737308913680 139636050472176 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=7337/tid=7339] ppid=7334 vsize=1311300 CPUtime=0 cores=0,2,4,6
/proc/7337/task/7339/stat : 7339 (toysat) S 7334 7337 5822 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 4540632 1342771200 269440 33554432000 4194304 16246674 140737308913680 139635963440368 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=7337/tid=7340] ppid=7334 vsize=1311300 CPUtime=0 cores=0,2,4,6
/proc/7337/task/7340/stat : 7340 (toysat) S 7334 7337 5822 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 4540632 1342771200 269440 33554432000 4194304 16246674 140737308913680 139635952966832 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1422
Current children cumulated vsize (KiB) 1311300

[startup+1482.3 s]
/proc/loadavg: 2.33 2.34 2.28 4/183 7379
/proc/meminfo: memFree=28374048/32872528 swapFree=1369816/1516984
[pid=7337] ppid=7334 vsize=1311300 CPUtime=1481.96 cores=0,2,4,6
/proc/7337/stat : 7337 (toysat) R 7334 7337 5822 0 -1 4202496 269064 0 0 0 148129 67 0 0 20 0 4 0 4540632 1342771200 269440 33554432000 4194304 16246674 140737308913680 140737308896680 12483376 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/7337/statm: 327825 269440 792 2943 0 324719 0
[pid=7337/tid=7338] ppid=7334 vsize=1311300 CPUtime=0 cores=0,2,4,6
/proc/7337/task/7338/stat : 7338 (toysat) S 7334 7337 5822 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 4540632 1342771200 269440 33554432000 4194304 16246674 140737308913680 139636050472176 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=7337/tid=7339] ppid=7334 vsize=1311300 CPUtime=0 cores=0,2,4,6
/proc/7337/task/7339/stat : 7339 (toysat) S 7334 7337 5822 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 4540632 1342771200 269440 33554432000 4194304 16246674 140737308913680 139635963440368 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=7337/tid=7340] ppid=7334 vsize=1311300 CPUtime=0 cores=0,2,4,6
/proc/7337/task/7340/stat : 7340 (toysat) S 7334 7337 5822 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 4540632 1342771200 269440 33554432000 4194304 16246674 140737308913680 139635952966832 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1481.96
Current children cumulated vsize (KiB) 1311300

[startup+1542.31 s]
/proc/loadavg: 2.35 2.33 2.28 4/183 7380
/proc/meminfo: memFree=28370996/32872528 swapFree=1369816/1516984
[pid=7337] ppid=7334 vsize=1314372 CPUtime=1541.93 cores=0,2,4,6
/proc/7337/stat : 7337 (toysat) R 7334 7337 5822 0 -1 4202496 269870 0 0 0 154125 68 0 0 20 0 4 0 4540632 1345916928 270208 33554432000 4194304 16246674 140737308913680 140737308896680 6022020 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/7337/statm: 328593 270208 792 2943 0 325487 0
[pid=7337/tid=7338] ppid=7334 vsize=1314372 CPUtime=0 cores=0,2,4,6
/proc/7337/task/7338/stat : 7338 (toysat) S 7334 7337 5822 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 4540632 1345916928 270208 33554432000 4194304 16246674 140737308913680 139636050472176 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=7337/tid=7339] ppid=7334 vsize=1314372 CPUtime=0 cores=0,2,4,6
/proc/7337/task/7339/stat : 7339 (toysat) S 7334 7337 5822 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 4540632 1345916928 270208 33554432000 4194304 16246674 140737308913680 139635963440368 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=7337/tid=7340] ppid=7334 vsize=1314372 CPUtime=0 cores=0,2,4,6
/proc/7337/task/7340/stat : 7340 (toysat) S 7334 7337 5822 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 4540632 1345916928 270208 33554432000 4194304 16246674 140737308913680 139635952966832 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1541.93
Current children cumulated vsize (KiB) 1314372

[startup+1602.3 s]
/proc/loadavg: 2.25 2.30 2.27 3/183 7479
/proc/meminfo: memFree=28383280/32872528 swapFree=1369816/1516984
[pid=7337] ppid=7334 vsize=1314372 CPUtime=1601.89 cores=0,2,4,6
/proc/7337/stat : 7337 (toysat) R 7334 7337 5822 0 -1 4202496 269911 0 0 0 160120 69 0 0 20 0 4 0 4540632 1345916928 270208 33554432000 4194304 16246674 140737308913680 140737308895552 13927401 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/7337/statm: 328593 270208 792 2943 0 325487 0
[pid=7337/tid=7338] ppid=7334 vsize=1314372 CPUtime=0 cores=0,2,4,6
/proc/7337/task/7338/stat : 7338 (toysat) S 7334 7337 5822 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 4540632 1345916928 270208 33554432000 4194304 16246674 140737308913680 139636050472176 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=7337/tid=7339] ppid=7334 vsize=1314372 CPUtime=0 cores=0,2,4,6
/proc/7337/task/7339/stat : 7339 (toysat) S 7334 7337 5822 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 4540632 1345916928 270208 33554432000 4194304 16246674 140737308913680 139635963440368 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=7337/tid=7340] ppid=7334 vsize=1314372 CPUtime=0 cores=0,2,4,6
/proc/7337/task/7340/stat : 7340 (toysat) S 7334 7337 5822 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 4540632 1345916928 270208 33554432000 4194304 16246674 140737308913680 139635952966832 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1601.89
Current children cumulated vsize (KiB) 1314372

[startup+1662.3 s]
/proc/loadavg: 2.14 2.26 2.26 4/183 7480
/proc/meminfo: memFree=28381340/32872528 swapFree=1369816/1516984
[pid=7337] ppid=7334 vsize=1314372 CPUtime=1661.85 cores=0,2,4,6
/proc/7337/stat : 7337 (toysat) R 7334 7337 5822 0 -1 4202496 269955 0 0 0 166115 70 0 0 20 0 4 0 4540632 1345916928 270208 33554432000 4194304 16246674 140737308913680 140737308895552 5546200 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/7337/statm: 328593 270208 792 2943 0 325487 0
[pid=7337/tid=7338] ppid=7334 vsize=1314372 CPUtime=0 cores=0,2,4,6
/proc/7337/task/7338/stat : 7338 (toysat) S 7334 7337 5822 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 4540632 1345916928 270208 33554432000 4194304 16246674 140737308913680 139636050472176 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=7337/tid=7339] ppid=7334 vsize=1314372 CPUtime=0 cores=0,2,4,6
/proc/7337/task/7339/stat : 7339 (toysat) S 7334 7337 5822 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 4540632 1345916928 270208 33554432000 4194304 16246674 140737308913680 139635963440368 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=7337/tid=7340] ppid=7334 vsize=1314372 CPUtime=0 cores=0,2,4,6
/proc/7337/task/7340/stat : 7340 (toysat) S 7334 7337 5822 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 4540632 1345916928 270208 33554432000 4194304 16246674 140737308913680 139635952966832 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1661.85
Current children cumulated vsize (KiB) 1314372

[startup+1722.3 s]
/proc/loadavg: 2.20 2.25 2.26 3/183 7481
/proc/meminfo: memFree=28379728/32872528 swapFree=1369816/1516984
[pid=7337] ppid=7334 vsize=1314372 CPUtime=1721.82 cores=0,2,4,6
/proc/7337/stat : 7337 (toysat) R 7334 7337 5822 0 -1 4202496 269997 0 0 0 172111 71 0 0 20 0 4 0 4540632 1345916928 270208 33554432000 4194304 16246674 140737308913680 140737308896680 5822484 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/7337/statm: 328593 270208 792 2943 0 325487 0
[pid=7337/tid=7338] ppid=7334 vsize=1314372 CPUtime=0 cores=0,2,4,6
/proc/7337/task/7338/stat : 7338 (toysat) S 7334 7337 5822 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 4540632 1345916928 270208 33554432000 4194304 16246674 140737308913680 139636050472176 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=7337/tid=7339] ppid=7334 vsize=1314372 CPUtime=0 cores=0,2,4,6
/proc/7337/task/7339/stat : 7339 (toysat) S 7334 7337 5822 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 4540632 1345916928 270208 33554432000 4194304 16246674 140737308913680 139635963440368 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=7337/tid=7340] ppid=7334 vsize=1314372 CPUtime=0 cores=0,2,4,6
/proc/7337/task/7340/stat : 7340 (toysat) S 7334 7337 5822 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 4540632 1345916928 270208 33554432000 4194304 16246674 140737308913680 139635952966832 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1721.82
Current children cumulated vsize (KiB) 1314372

[startup+1782.3 s]
/proc/loadavg: 2.31 2.27 2.26 3/183 7482
/proc/meminfo: memFree=28379520/32872528 swapFree=1369816/1516984
[pid=7337] ppid=7334 vsize=1314372 CPUtime=1781.79 cores=0,2,4,6
/proc/7337/stat : 7337 (toysat) R 7334 7337 5822 0 -1 4202496 270039 0 0 0 178107 72 0 0 20 0 4 0 4540632 1345916928 270208 33554432000 4194304 16246674 140737308913680 140737308896680 13809232 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/7337/statm: 328593 270208 792 2943 0 325487 0
[pid=7337/tid=7338] ppid=7334 vsize=1314372 CPUtime=0 cores=0,2,4,6
/proc/7337/task/7338/stat : 7338 (toysat) S 7334 7337 5822 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 4540632 1345916928 270208 33554432000 4194304 16246674 140737308913680 139636050472176 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=7337/tid=7339] ppid=7334 vsize=1314372 CPUtime=0 cores=0,2,4,6
/proc/7337/task/7339/stat : 7339 (toysat) S 7334 7337 5822 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 4540632 1345916928 270208 33554432000 4194304 16246674 140737308913680 139635963440368 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=7337/tid=7340] ppid=7334 vsize=1314372 CPUtime=0 cores=0,2,4,6
/proc/7337/task/7340/stat : 7340 (toysat) S 7334 7337 5822 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 4540632 1345916928 270208 33554432000 4194304 16246674 140737308913680 139635952966832 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1781.79
Current children cumulated vsize (KiB) 1314372



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.6 s]
/proc/loadavg: 2.22 2.25 2.26 4/183 7483
/proc/meminfo: memFree=28376904/32872528 swapFree=1369816/1516984
[pid=7337] ppid=7334 vsize=1314372 CPUtime=1800.08 cores=0,2,4,6
/proc/7337/stat : 7337 (toysat) R 7334 7337 5822 0 -1 4202496 270052 0 0 0 179935 73 0 0 20 0 4 0 4540632 1345916928 270208 33554432000 4194304 16246674 140737308913680 140737308896680 12875413 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/7337/statm: 328593 270208 792 2943 0 325487 0
[pid=7337/tid=7338] ppid=7334 vsize=1314372 CPUtime=0 cores=0,2,4,6
/proc/7337/task/7338/stat : 7338 (toysat) S 7334 7337 5822 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 4540632 1345916928 270208 33554432000 4194304 16246674 140737308913680 139636050472176 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=7337/tid=7339] ppid=7334 vsize=1314372 CPUtime=0 cores=0,2,4,6
/proc/7337/task/7339/stat : 7339 (toysat) S 7334 7337 5822 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 4540632 1345916928 270208 33554432000 4194304 16246674 140737308913680 139635963440368 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=7337/tid=7340] ppid=7334 vsize=1314372 CPUtime=0 cores=0,2,4,6
/proc/7337/task/7340/stat : 7340 (toysat) S 7334 7337 5822 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 4540632 1345916928 270208 33554432000 4194304 16246674 140737308913680 139635952966832 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1800.08
Current children cumulated vsize (KiB) 1314372

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 7337 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.09
CPU user time (s): 1799.36
CPU system time (s): 0.734888
CPU usage (%): 99.9713
Max. virtual memory (cumulated for all children) (KiB): 1314372

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.36
system time used= 0.734888
maximum resident set size= 1080832
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 270052
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= 446
involuntary context switches= 1842

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 5.32019 second user time and 7.76282 second system time

The end

Begin job on node129 at 2016-06-15 23:09:01
IDJOB=4089281
IDBENCH=107384
IDSOLVER=2542
FILE ID=node129/4089281-1466024941
RUNJOBID= node129-1466013843-5838
PBS_JOBID= 19902811
Free space on /tmp= 71720 MiB

SOLVER NAME= toysat 2016-05-02
BENCH NAME= PB16/normalized-PB16/DEC-SMALLINT-LIN/pb16-16-elffers/vertexcover-instances/normalized-vertexcover-grid4x25.opb
COMMAND LINE= toysat +RTS -H1G -MMEMLIMITm -K1G -RTS --pb --search=bcd2 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4089281-1466024941/watcher-4089281-1466024941 -o /tmp/evaluation-result-4089281-1466024941/solver-4089281-1466024941 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node129-1466013843-5838 --watchdog 1960  toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4089281-1466024941.opb

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

MD5SUM BENCH= b1d0cf2218da358eb09ee5b18b142133
RANDOM SEED=353520386

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

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

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


/proc/meminfo:
MemTotal:       32872528 kB
MemFree:        29463720 kB
Buffers:           19936 kB
Cached:            75608 kB
SwapCached:        20172 kB
Active:          1135792 kB
Inactive:          55136 kB
Active(anon):    1077628 kB
Inactive(anon):    20104 kB
Active(file):      58164 kB
Inactive(file):    35032 kB
Unevictable:     1516984 kB
Mlocked:         1369816 kB
SwapTotal:      67108856 kB
SwapFree:       67081532 kB
Dirty:             16316 kB
Writeback:             0 kB
AnonPages:       2668648 kB
Mapped:            10324 kB
Shmem:                 0 kB
Slab:             566708 kB
SReclaimable:      10936 kB
SUnreclaim:       555772 kB
KernelStack:        1520 kB
PageTables:         9140 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    2735064 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:    227328 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= 71704 MiB
End job on node129 at 2016-06-15 23:39:02