0.00/0.00	c 2016-06-15T22:48:57+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-4089232-1466023736.opb"]
0.00/0.01	c use --random-gen="282504209 1090635374 255381490 1514843717 941447145 1449685519 1631745299 2544635147 1242600735 4004893855 849402614 3572949336 128030962 1085018413 2380672582 2745462000 560695326 2129094325 1251302862 4236343440 2805672105 2294043711 4110955880 514249003 1919491249 2340391014 658250922 2924544497 1863521776 2277743797 3918698199 1980785966 2299534077 2304260263 2034899821 4090993059 1005441514 1121991709 2858969750 2105545311 174712395 134081000 589240995 974880737 3043837605 1870675303 214942510 3383995882 189756108 87627492 3837087975 1311738570 1503218295 4092483810 3668505224 3420844732 3759575675 487601147 1970305019 768297684 3299615481 1381043281 3907203821 1200080857 709914977 1815397495 2819779818 22825527 1595398047 3207492132 2599077276 4176684239 3918466667 4220180130 3932442766 157724592 2560716724 3573651304 2245060501 643491008 1704908575 3468042834 3789692629 3212622053 1879999940 859616113 743742252 1454790522 858972468 3761282984 1102634115 1510341962 2394659430 1597219221 2556417437 1387878220 2037813359 3704502337 1027037792 1939190700 3556784504 3395647716 3210753729 1230054378 2583525969 865865132 1320529578 23199982 3905139553 1550480337 936755298 2959631531 4239155894 4113794075 2242768920 893562688 3542157805 3447228859 1760625978 4104027737 1899866428 1315609217 237407958 4081879254 2576063007 3346168679 1562989887 58058582 3915530386 3510251107 1854902230 1958160324 4080390161 3584570549 2333981867 847104658 2907416360 783303549 4076228830 3122910343 578759699 2317488294 2012221664 2151184494 1854343952 4086631881 859642590 1077127013 3401094423 760909245 1274403992 205853983 2745287253 3003153657 422246064 3394404043 3427408547 4133915052 1901254809 213121834 3898953445 2257244277 865460500 1573869284 1106491346 608644744 1749211653 2996521588 2934793096 1133496836 2909845420 3370495520 3687894036 2581213086 1418494755 2653974461 311821334 1642612641 3034103261 1050920016 1438768936 1509234942 4111834580 663454121 1553936289 2153171716 2460354275 2918489153 3598574045 1611347798 1065520171 3944804702 3697114198 3241637865 1239651667 3721642273 2465511935 2876559680 3919996542 2865538410 1009052760 3459653625 4115931787 2449202619 162009492 144016266 1727694165 4229685573 734005716 4121710994 727843990 2911044485 4085600223 796343020 2059485483 275582873 3883720421 2755361198 2948090715 2337686786 4039142785 2057092560 2349632223 1878552764 2238549855 1064210609 1914201421 1765161629 2169025908 2408286834 922942378 3019913505 2068655321 1245047417 361079549 3155157553 3056071142 452805583 717097796 561778666 1698109727 579554150 305132039 3752589421 48611700 3020089271 2968840792 1954816359 2785467064 2352563525 1225070550 693651751 2457863795 3061597290 1911034099 2744770556 255 362436" option to reproduce the execution
0.00/0.01	c #vars 92
0.00/0.01	c #constraints 185
0.00/0.02	c Solving starts ...
0.00/0.02	c ============================[ Search Statistics ]============================
0.00/0.02	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
0.00/0.02	c       |         |          |          |    Limit     GC | Var      | Constra 
0.00/0.02	c =============================================================================
0.00/0.02	c  0.0s |       0 |        0 |        0 |       92      0 |        0 |        0
0.00/0.03	c  0.0s |       1 |      148 |      100 |       92      0 |        0 |        0
0.00/0.04	c  0.0s |       2 |      359 |      250 |      102      2 |        0 |        0
0.00/0.07	c  0.1s |       3 |      649 |      475 |      113      5 |        0 |        0
0.08/0.11	c  0.1s |       4 |     1034 |      813 |      125      9 |        0 |        0
0.08/0.18	c  0.2s |       5 |     1578 |     1320 |      138     15 |        0 |        0
0.18/0.27	c  0.3s |       6 |     2381 |     2081 |      168     23 |        0 |        0
0.39/0.41	c  0.4s |       7 |     3567 |     3223 |      185     34 |        0 |        0
0.59/0.64	c  0.6s |       8 |     5345 |     4936 |      204     49 |        0 |        0
0.89/0.94	c  0.9s |       9 |     8129 |     7506 |      225     70 |        0 |        0
1.20/1.28	c  1.3s |      10 |    12222 |    11361 |      248     99 |        0 |        0
1.79/1.82	c  1.8s |      11 |    18401 |    17144 |      273    140 |        0 |        0
2.49/2.59	c  2.6s |      12 |    27682 |    25819 |      301    196 |        0 |        0
3.69/3.77	c  3.8s |      13 |    41573 |    38832 |      332    272 |        0 |        0
5.50/5.56	c  5.5s |      14 |    62766 |    58352 |      366    378 |        0 |        0
7.49/7.57	c  7.6s |      14 |    86010 |    79852 |      366    485 |        0 |        0
8.29/8.30	c  8.3s |      15 |    94225 |    87632 |      403    523 |        0 |        0
10.29/10.31	c 10.3s |      15 |   117449 |   109032 |      403    621 |        0 |        0
12.28/12.31	c 12.3s |      15 |   140357 |   130232 |      403    718 |        0 |        0
12.38/12.43	c 12.4s |      16 |   141940 |   131552 |      444    723 |        0 |        0
14.39/14.43	c 14.4s |      16 |   166433 |   152952 |      444    812 |        0 |        0
16.38/16.44	c 16.4s |      16 |   190046 |   174152 |      444    901 |        0 |        0
18.38/18.44	c 18.4s |      16 |   214966 |   195352 |      444    990 |        0 |        0
18.58/18.64	c 18.6s |      17 |   217324 |   197432 |      489    998 |        0 |        0
20.58/20.64	c 20.6s |      17 |   240248 |   218332 |      489   1078 |        0 |        0
22.58/22.65	c 22.6s |      17 |   262908 |   239032 |      489   1157 |        0 |        0
24.59/24.65	c 24.6s |      17 |   285242 |   259732 |      489   1236 |        0 |        0
26.59/26.66	c 26.6s |      17 |   307709 |   280532 |      489   1316 |        0 |        0
28.08/28.15	c 28.1s |      18 |   324523 |   296252 |      538   1375 |        0 |        0
30.08/30.15	c 30.1s |      18 |   347596 |   316852 |      538   1447 |        0 |        0
32.08/32.15	c 32.1s |      18 |   370074 |   337452 |      538   1519 |        0 |        0
34.09/34.16	c 34.1s |      18 |   393025 |   358152 |      538   1592 |        0 |        0
36.08/36.16	c 36.1s |      18 |   415932 |   378752 |      538   1664 |        0 |        0
38.08/38.16	c 38.1s |      18 |   438105 |   399152 |      538   1735 |        0 |        0
40.08/40.17	c 40.2s |      18 |   460059 |   419852 |      538   1808 |        0 |        0
42.08/42.18	c 42.2s |      18 |   482310 |   440652 |      538   1881 |        0 |        0
42.48/42.56	c 42.5s |      19 |   486535 |   444482 |      592   1894 |        0 |        0
44.48/44.56	c 44.5s |      19 |   508243 |   464782 |      592   1958 |        0 |        0
46.48/46.57	c 46.5s |      19 |   530046 |   485082 |      592   2023 |        0 |        0
48.48/48.57	c 48.6s |      19 |   551839 |   505482 |      592   2088 |        0 |        0
50.48/50.58	c 50.6s |      19 |   574270 |   525982 |      592   2154 |        0 |        0
52.48/52.58	c 52.6s |      19 |   596328 |   546482 |      592   2219 |        0 |        0
54.47/54.59	c 54.6s |      19 |   618429 |   566882 |      592   2285 |        0 |        0
56.48/56.59	c 56.6s |      19 |   641208 |   587182 |      592   2350 |        0 |        0
58.58/58.60	c 58.6s |      19 |   663584 |   607482 |      592   2415 |        0 |        0
60.59/60.60	c 60.6s |      19 |   685855 |   627582 |      592   2479 |        0 |        0
62.58/62.61	c 62.6s |      19 |   707613 |   647882 |      592   2543 |        0 |        0
64.38/64.45	c 64.4s |      20 |   728071 |   666827 |      652   2603 |        0 |        0
66.38/66.46	c 66.4s |      20 |   749958 |   686627 |      652   2660 |        0 |        0
68.37/68.46	c 68.4s |      20 |   771825 |   706527 |      652   2718 |        0 |        0
70.38/70.47	c 70.5s |      20 |   793523 |   726327 |      652   2776 |        0 |        0
72.37/72.47	c 72.5s |      20 |   815542 |   746127 |      652   2834 |        0 |        0
74.37/74.48	c 74.5s |      20 |   836989 |   766227 |      652   2893 |        0 |        0
76.37/76.48	c 76.5s |      20 |   859333 |   786427 |      652   2952 |        0 |        0
78.38/78.49	c 78.5s |      20 |   881989 |   806727 |      652   3011 |        0 |        0
80.38/80.49	c 80.5s |      20 |   902882 |   826527 |      652   3069 |        0 |        0
82.38/82.50	c 82.5s |      20 |   924301 |   846327 |      652   3127 |        0 |        0
84.48/84.50	c 84.5s |      20 |   945804 |   866327 |      652   3185 |        0 |        0
86.48/86.50	c 86.5s |      20 |   968167 |   886227 |      652   3243 |        0 |        0
88.48/88.50	c 88.5s |      20 |   990381 |   906127 |      652   3301 |        0 |        0
90.48/90.51	c 90.5s |      20 |  1012358 |   926227 |      652   3360 |        0 |        0
92.48/92.51	c 92.5s |      20 |  1034470 |   946127 |      652   3418 |        0 |        0
94.47/94.51	c 94.5s |      20 |  1056278 |   965927 |      652   3476 |        0 |        0
96.47/96.51	c 96.5s |      20 |  1077898 |   985627 |      652   3534 |        0 |        0
97.88/97.99	c 98.0s |      21 |  1093717 |  1000345 |      718   3575 |        0 |        0
99.87/100.00	c 100.0s |      21 |  1115296 |  1019945 |      718   3627 |        0 |        0
101.97/102.00	c  101s |      21 |  1137283 |  1039545 |      718   3679 |        0 |        0
103.97/104.01	c  103s |      21 |  1159062 |  1059145 |      718   3731 |        0 |        0
105.97/106.02	c  105s |      21 |  1180289 |  1078745 |      718   3783 |        0 |        0
107.97/108.02	c  108s |      21 |  1201320 |  1098245 |      718   3835 |        0 |        0
109.98/110.02	c  110s |      21 |  1222670 |  1117645 |      718   3887 |        0 |        0
111.97/112.03	c  112s |      21 |  1244122 |  1137145 |      718   3939 |        0 |        0
113.97/114.04	c  114s |      21 |  1265429 |  1156645 |      718   3991 |        0 |        0
115.97/116.04	c  116s |      21 |  1287274 |  1176045 |      718   4042 |        0 |        0
117.97/118.04	c  118s |      21 |  1309871 |  1195845 |      718   4095 |        0 |        0
119.97/120.04	c  120s |      21 |  1331330 |  1215445 |      718   4148 |        0 |        0
121.97/122.05	c  122s |      21 |  1352464 |  1234945 |      718   4199 |        0 |        0
123.97/124.05	c  124s |      21 |  1374280 |  1254745 |      718   4252 |        0 |        0
125.97/126.06	c  126s |      21 |  1396328 |  1274445 |      718   4305 |        0 |        0
127.96/128.07	c  128s |      21 |  1417794 |  1294145 |      718   4357 |        0 |        0
129.96/130.08	c  130s |      21 |  1438870 |  1313845 |      718   4410 |        0 |        0
131.97/132.08	c  132s |      21 |  1460489 |  1333845 |      718   4463 |        0 |        0
133.96/134.09	c  134s |      21 |  1482037 |  1353645 |      718   4516 |        0 |        0
136.06/136.10	c  136s |      21 |  1503968 |  1373745 |      718   4569 |        0 |        0
138.06/138.10	c  138s |      21 |  1525879 |  1393345 |      718   4622 |        0 |        0
140.06/140.10	c  140s |      21 |  1548184 |  1412945 |      718   4674 |        0 |        0
142.06/142.11	c  142s |      21 |  1570306 |  1432445 |      718   4726 |        0 |        0
144.07/144.12	c  144s |      21 |  1592950 |  1452245 |      718   4779 |        0 |        0
146.07/146.12	c  146s |      21 |  1614799 |  1471845 |      718   4831 |        0 |        0
148.06/148.12	c  148s |      21 |  1636918 |  1491545 |      790   4883 |        0 |        0
148.96/149.06	c  149s |      22 |  1646957 |  1500622 |      790   4905 |        0 |        0
150.96/151.07	c  151s |      22 |  1667797 |  1519722 |      790   4951 |        0 |        0
152.97/153.07	c  153s |      22 |  1689102 |  1539022 |      790   4998 |        0 |        0
154.96/155.08	c  155s |      22 |  1710254 |  1558622 |      790   5046 |        0 |        0
156.96/157.09	c  157s |      22 |  1731280 |  1578222 |      790   5093 |        0 |        0
158.96/159.09	c  159s |      22 |  1752738 |  1597622 |      790   5140 |        0 |        0
160.96/161.10	c  161s |      22 |  1773947 |  1617022 |      790   5187 |        0 |        0
163.06/163.11	c  163s |      22 |  1796115 |  1636322 |      790   5234 |        0 |        0
165.07/165.11	c  165s |      22 |  1817243 |  1655322 |      790   5281 |        0 |        0
167.06/167.11	c  167s |      22 |  1838502 |  1674722 |      790   5328 |        0 |        0
169.06/169.13	c  169s |      22 |  1859849 |  1693722 |      790   5374 |        0 |        0
171.06/171.13	c  171s |      22 |  1880712 |  1712622 |      790   5420 |        0 |        0
173.06/173.13	c  173s |      22 |  1901700 |  1731922 |      790   5466 |        0 |        0
175.06/175.14	c  175s |      22 |  1922587 |  1751222 |      790   5513 |        0 |        0
177.07/177.15	c  177s |      22 |  1943113 |  1770422 |      790   5560 |        0 |        0
179.06/179.15	c  179s |      22 |  1964138 |  1789722 |      790   5607 |        0 |        0
181.06/181.15	c  181s |      22 |  1985682 |  1808722 |      790   5654 |        0 |        0
183.06/183.16	c  183s |      22 |  2006993 |  1828222 |      790   5701 |        0 |        0
185.06/185.16	c  185s |      22 |  2029722 |  1847622 |      790   5749 |        0 |        0
187.06/187.17	c  187s |      22 |  2050082 |  1866622 |      790   5794 |        0 |        0
189.05/189.17	c  189s |      22 |  2070644 |  1885922 |      790   5841 |        0 |        0
191.05/191.18	c  191s |      22 |  2091728 |  1905222 |      790   5888 |        0 |        0
193.05/193.18	c  193s |      22 |  2112340 |  1924422 |      790   5935 |        0 |        0
195.05/195.19	c  195s |      22 |  2133180 |  1944022 |      790   5983 |        0 |        0
197.15/197.20	c  197s |      22 |  2154901 |  1963422 |      790   6030 |        0 |        0
199.06/199.20	c  199s |      22 |  2176347 |  1983122 |      790   6078 |        0 |        0
201.15/201.20	c  201s |      22 |  2198153 |  2002622 |      790   6126 |        0 |        0
203.16/203.20	c  203s |      22 |  2219428 |  2022422 |      790   6174 |        0 |        0
205.16/205.21	c  205s |      22 |  2240586 |  2042222 |      790   6222 |        0 |        0
207.16/207.21	c  207s |      22 |  2261641 |  2061822 |      790   6270 |        0 |        0
209.16/209.21	c  209s |      22 |  2282865 |  2081222 |      790   6317 |        0 |        0
211.16/211.22	c  211s |      22 |  2304473 |  2100522 |      790   6364 |        0 |        0
213.16/213.23	c  213s |      22 |  2325655 |  2119822 |      790   6411 |        0 |        0
215.16/215.23	c  215s |      22 |  2347188 |  2139122 |      790   6457 |        0 |        0
217.16/217.24	c  217s |      22 |  2368159 |  2158722 |      790   6505 |        0 |        0
219.15/219.25	c  219s |      22 |  2389604 |  2178522 |      790   6554 |        0 |        0
221.16/221.25	c  221s |      22 |  2410618 |  2198222 |      790   6602 |        0 |        0
223.15/223.25	c  223s |      22 |  2432325 |  2218122 |      790   6650 |        0 |        0
225.15/225.26	c  225s |      22 |  2453585 |  2237922 |      870   6698 |        0 |        0
226.45/226.59	c  226s |      23 |  2467776 |  2251038 |      870   6727 |        0 |        0
228.55/228.60	c  228s |      23 |  2489992 |  2270838 |      870   6771 |        0 |        0
230.55/230.61	c  230s |      23 |  2511533 |  2290338 |      870   6814 |        0 |        0
232.55/232.61	c  232s |      23 |  2533018 |  2309838 |      870   6857 |        0 |        0
234.55/234.61	c  234s |      23 |  2554753 |  2329138 |      870   6900 |        0 |        0
236.55/236.62	c  236s |      23 |  2576209 |  2348538 |      870   6943 |        0 |        0
238.55/238.62	c  238s |      23 |  2597741 |  2367638 |      870   6985 |        0 |        0
240.55/240.62	c  240s |      23 |  2619318 |  2386638 |      870   7027 |        0 |        0
242.55/242.63	c  242s |      23 |  2640498 |  2406138 |      870   7070 |        0 |        0
244.54/244.64	c  244s |      23 |  2661461 |  2425638 |      870   7114 |        0 |        0
246.54/246.64	c  246s |      23 |  2683033 |  2444838 |      870   7156 |        0 |        0
248.55/248.65	c  248s |      23 |  2704517 |  2464538 |      870   7200 |        0 |        0
250.54/250.66	c  250s |      23 |  2726280 |  2483738 |      870   7242 |        0 |        0
252.54/252.66	c  252s |      23 |  2747359 |  2502538 |      870   7284 |        0 |        0
254.55/254.67	c  254s |      23 |  2768863 |  2521738 |      870   7327 |        0 |        0
256.55/256.68	c  256s |      23 |  2790018 |  2541038 |      870   7370 |        0 |        0
258.55/258.68	c  258s |      23 |  2811629 |  2560338 |      870   7412 |        0 |        0
260.55/260.68	c  260s |      23 |  2833124 |  2579738 |      870   7455 |        0 |        0
262.55/262.69	c  262s |      23 |  2855243 |  2599238 |      870   7499 |        0 |        0
264.55/264.69	c  264s |      23 |  2876854 |  2618638 |      870   7542 |        0 |        0
266.54/266.69	c  266s |      23 |  2898163 |  2638038 |      870   7585 |        0 |        0
268.64/268.70	c  268s |      23 |  2919527 |  2657438 |      870   7628 |        0 |        0
270.65/270.70	c  270s |      23 |  2942330 |  2677238 |      870   7672 |        0 |        0
272.64/272.70	c  272s |      23 |  2963360 |  2696438 |      870   7714 |        0 |        0
274.64/274.71	c  274s |      23 |  2984848 |  2715938 |      870   7757 |        0 |        0
276.64/276.71	c  276s |      23 |  3006096 |  2735438 |      870   7801 |        0 |        0
278.64/278.72	c  278s |      23 |  3028030 |  2755238 |      870   7845 |        0 |        0
280.64/280.73	c  280s |      23 |  3049331 |  2775038 |      870   7889 |        0 |        0
282.64/282.74	c  282s |      23 |  3071277 |  2795038 |      870   7933 |        0 |        0
284.63/284.74	c  284s |      23 |  3093284 |  2815038 |      870   7977 |        0 |        0
286.63/286.75	c  286s |      23 |  3115252 |  2834638 |      870   8021 |        0 |        0
288.63/288.75	c  288s |      23 |  3136823 |  2854238 |      870   8064 |        0 |        0
290.63/290.76	c  290s |      23 |  3158608 |  2874138 |      870   8109 |        0 |        0
292.64/292.76	c  292s |      23 |  3179982 |  2894038 |      870   8153 |        0 |        0
294.63/294.77	c  294s |      23 |  3201102 |  2913238 |      870   8195 |        0 |        0
296.63/296.78	c  296s |      23 |  3222124 |  2932238 |      870   8237 |        0 |        0
298.63/298.78	c  298s |      23 |  3243329 |  2951338 |      870   8279 |        0 |        0
300.63/300.79	c  300s |      23 |  3264792 |  2970638 |      870   8322 |        0 |        0
302.72/302.80	c  302s |      23 |  3286083 |  2990038 |      870   8365 |        0 |        0
304.73/304.80	c  304s |      23 |  3306742 |  3009238 |      870   8407 |        0 |        0
306.72/306.81	c  306s |      23 |  3327682 |  3028238 |      870   8450 |        0 |        0
308.72/308.82	c  308s |      23 |  3349217 |  3047738 |      870   8493 |        0 |        0
310.72/310.82	c  310s |      23 |  3370284 |  3067138 |      870   8536 |        0 |        0
312.72/312.82	c  312s |      23 |  3391843 |  3086638 |      870   8579 |        0 |        0
314.72/314.82	c  314s |      23 |  3413098 |  3106238 |      870   8622 |        0 |        0
316.72/316.83	c  316s |      23 |  3434616 |  3125838 |      870   8666 |        0 |        0
318.72/318.84	c  318s |      23 |  3456295 |  3145638 |      870   8710 |        0 |        0
320.72/320.84	c  320s |      23 |  3478809 |  3165438 |      870   8753 |        0 |        0
322.72/322.85	c  322s |      23 |  3500504 |  3185038 |      870   8797 |        0 |        0
324.72/324.85	c  324s |      23 |  3522141 |  3205238 |      870   8842 |        0 |        0
326.73/326.85	c  326s |      23 |  3544340 |  3225338 |      870   8887 |        0 |        0
328.72/328.86	c  328s |      23 |  3566608 |  3245338 |      870   8931 |        0 |        0
330.72/330.87	c  330s |      23 |  3587753 |  3264938 |      870   8975 |        0 |        0
332.72/332.87	c  332s |      23 |  3609449 |  3285038 |      870   9019 |        0 |        0
334.72/334.88	c  334s |      23 |  3631631 |  3305138 |      870   9064 |        0 |        0
336.71/336.88	c  336s |      23 |  3653601 |  3325038 |      870   9108 |        0 |        0
338.72/338.89	c  338s |      23 |  3675615 |  3345238 |      870   9153 |        0 |        0
340.71/340.89	c  340s |      23 |  3697360 |  3364938 |      958   9195 |        0 |        0
341.91/342.07	c  342s |      24 |  3710167 |  3376662 |      958   9218 |        0 |        0
343.91/344.07	c  344s |      24 |  3730151 |  3395662 |      958   9257 |        0 |        0
345.91/346.07	c  346s |      24 |  3751351 |  3414762 |      958   9295 |        0 |        0
347.91/348.07	c  348s |      24 |  3772416 |  3433762 |      958   9334 |        0 |        0
349.91/350.08	c  350s |      24 |  3792990 |  3452762 |      958   9372 |        0 |        0
351.91/352.08	c  352s |      24 |  3813212 |  3471662 |      958   9410 |        0 |        0
353.91/354.08	c  354s |      24 |  3833870 |  3490562 |      958   9448 |        0 |        0
355.90/356.09	c  356s |      24 |  3854008 |  3509462 |      958   9486 |        0 |        0
358.00/358.10	c  358s |      24 |  3874037 |  3528162 |      958   9524 |        0 |        0
360.00/360.10	c  360s |      24 |  3894201 |  3547062 |      958   9562 |        0 |        0
362.01/362.11	c  362s |      24 |  3915536 |  3566262 |      958   9601 |        0 |        0
364.01/364.12	c  364s |      24 |  3936787 |  3584862 |      958   9639 |        0 |        0
366.00/366.13	c  366s |      24 |  3957511 |  3603562 |      958   9676 |        0 |        0
368.00/368.14	c  368s |      24 |  3978125 |  3622662 |      958   9715 |        0 |        0
370.00/370.14	c  370s |      24 |  3998516 |  3641662 |      958   9753 |        0 |        0
372.00/372.14	c  372s |      24 |  4019249 |  3660562 |      958   9791 |        0 |        0
374.01/374.14	c  374s |      24 |  4039402 |  3679562 |      958   9830 |        0 |        0
376.00/376.14	c  376s |      24 |  4059825 |  3698662 |      958   9868 |        0 |        0
378.00/378.14	c  378s |      24 |  4080398 |  3717762 |      958   9907 |        0 |        0
380.00/380.15	c  380s |      24 |  4101074 |  3736962 |      958   9946 |        0 |        0
382.00/382.16	c  382s |      24 |  4120784 |  3755362 |      958   9983 |        0 |        0
384.00/384.16	c  384s |      24 |  4140896 |  3774062 |      958  10021 |        0 |        0
386.00/386.16	c  386s |      24 |  4160507 |  3792862 |      958  10059 |        0 |        0
387.99/388.16	c  388s |      24 |  4180511 |  3811462 |      958  10096 |        0 |        0
389.99/390.17	c  390s |      24 |  4200476 |  3830262 |      958  10134 |        0 |        0
391.99/392.18	c  392s |      24 |  4221109 |  3849062 |      958  10172 |        0 |        0
393.99/394.19	c  394s |      24 |  4241524 |  3868062 |      958  10210 |        0 |        0
396.08/396.20	c  396s |      24 |  4261579 |  3886962 |      958  10249 |        0 |        0
398.09/398.21	c  398s |      24 |  4281886 |  3905862 |      958  10287 |        0 |        0
400.08/400.21	c  400s |      24 |  4302258 |  3924862 |      958  10325 |        0 |        0
402.08/402.21	c  402s |      24 |  4322963 |  3943862 |      958  10363 |        0 |        0
404.09/404.22	c  404s |      24 |  4343383 |  3962762 |      958  10402 |        0 |        0
406.09/406.22	c  406s |      24 |  4363980 |  3981662 |      958  10440 |        0 |        0
408.09/408.22	c  408s |      24 |  4384951 |  4000962 |      958  10479 |        0 |        0
410.08/410.22	c  410s |      24 |  4406061 |  4020162 |      958  10518 |        0 |        0
412.08/412.23	c  412s |      24 |  4427337 |  4039362 |      958  10556 |        0 |        0
414.08/414.23	c  414s |      24 |  4448555 |  4058462 |      958  10595 |        0 |        0
416.08/416.24	c  416s |      24 |  4470164 |  4077662 |      958  10634 |        0 |        0
418.08/418.24	c  418s |      24 |  4490922 |  4097062 |      958  10673 |        0 |        0
420.09/420.24	c  420s |      24 |  4511231 |  4115962 |      958  10711 |        0 |        0
422.08/422.25	c  422s |      24 |  4531282 |  4134562 |      958  10749 |        0 |        0
424.08/424.26	c  424s |      24 |  4551180 |  4153462 |      958  10787 |        0 |        0
426.07/426.26	c  426s |      24 |  4571550 |  4172362 |      958  10825 |        0 |        0
428.07/428.26	c  428s |      24 |  4592880 |  4191462 |      958  10864 |        0 |        0
430.08/430.26	c  430s |      24 |  4613833 |  4210762 |      958  10903 |        0 |        0
432.07/432.27	c  432s |      24 |  4634730 |  4230162 |      958  10942 |        0 |        0
434.07/434.27	c  434s |      24 |  4654964 |  4249262 |      958  10980 |        0 |        0
436.07/436.27	c  436s |      24 |  4675247 |  4268362 |      958  11019 |        0 |        0
438.07/438.27	c  438s |      24 |  4695639 |  4287662 |      958  11058 |        0 |        0
440.07/440.28	c  440s |      24 |  4716713 |  4307262 |      958  11098 |        0 |        0
442.08/442.28	c  442s |      24 |  4736910 |  4325962 |      958  11136 |        0 |        0
444.07/444.28	c  444s |      24 |  4757853 |  4345262 |      958  11175 |        0 |        0
446.07/446.29	c  446s |      24 |  4778498 |  4364562 |      958  11214 |        0 |        0
448.07/448.29	c  448s |      24 |  4799169 |  4384062 |      958  11253 |        0 |        0
450.07/450.29	c  450s |      24 |  4819711 |  4403262 |      958  11292 |        0 |        0
452.07/452.29	c  452s |      24 |  4840591 |  4422562 |      958  11331 |        0 |        0
454.07/454.30	c  454s |      24 |  4861498 |  4442262 |      958  11371 |        0 |        0
456.16/456.30	c  456s |      24 |  4882678 |  4461762 |      958  11411 |        0 |        0
458.16/458.31	c  458s |      24 |  4903545 |  4481262 |      958  11450 |        0 |        0
460.16/460.32	c  460s |      24 |  4924698 |  4501162 |      958  11491 |        0 |        0
462.16/462.33	c  462s |      24 |  4945921 |  4520362 |      958  11529 |        0 |        0
464.16/464.33	c  464s |      24 |  4966947 |  4539262 |      958  11567 |        0 |        0
466.16/466.34	c  466s |      24 |  4987497 |  4557962 |      958  11605 |        0 |        0
468.16/468.35	c  468s |      24 |  5007999 |  4576962 |      958  11643 |        0 |        0
470.15/470.35	c  470s |      24 |  5028808 |  4595962 |      958  11682 |        0 |        0
472.15/472.36	c  472s |      24 |  5049079 |  4614862 |      958  11720 |        0 |        0
474.15/474.37	c  474s |      24 |  5070460 |  4633862 |      958  11758 |        0 |        0
476.16/476.37	c  476s |      24 |  5091233 |  4653362 |      958  11798 |        0 |        0
478.15/478.37	c  478s |      24 |  5112120 |  4673062 |      958  11838 |        0 |        0
480.15/480.38	c  480s |      24 |  5133312 |  4692762 |      958  11878 |        0 |        0
482.15/482.39	c  482s |      24 |  5154809 |  4712362 |      958  11917 |        0 |        0
484.15/484.39	c  484s |      24 |  5175754 |  4731662 |      958  11956 |        0 |        0
486.25/486.40	c  486s |      24 |  5196384 |  4751362 |      958  11996 |        0 |        0
488.26/488.40	c  488s |      24 |  5217299 |  4770862 |      958  12035 |        0 |        0
490.25/490.41	c  490s |      24 |  5238028 |  4790262 |      958  12075 |        0 |        0
492.25/492.41	c  492s |      24 |  5258825 |  4809262 |      958  12113 |        0 |        0
494.25/494.42	c  494s |      24 |  5280416 |  4828762 |      958  12153 |        0 |        0
496.25/496.42	c  496s |      24 |  5302071 |  4848462 |      958  12192 |        0 |        0
498.26/498.43	c  498s |      24 |  5323775 |  4868162 |      958  12232 |        0 |        0
500.25/500.43	c  500s |      24 |  5346597 |  4888262 |      958  12273 |        0 |        0
502.25/502.43	c  502s |      24 |  5367985 |  4908062 |      958  12314 |        0 |        0
504.25/504.45	c  504s |      24 |  5388888 |  4927362 |      958  12353 |        0 |        0
506.25/506.46	c  506s |      24 |  5410615 |  4946662 |      958  12392 |        0 |        0
508.25/508.46	c  508s |      24 |  5431764 |  4966262 |      958  12431 |        0 |        0
510.25/510.47	c  510s |      24 |  5452771 |  4985662 |      958  12471 |        0 |        0
512.25/512.47	c  512s |      24 |  5473762 |  5005362 |      958  12511 |        0 |        0
514.24/514.48	c  514s |      24 |  5495058 |  5024762 |      958  12550 |        0 |        0
516.24/516.48	c  516s |      24 |  5515549 |  5043362 |     1054  12585 |        0 |        0
518.24/518.48	c  518s |      24 |  5536650 |  5062362 |     1054  12620 |        0 |        0
518.54/518.77	c  518s |      25 |  5539674 |  5065098 |     1054  12625 |        0 |        0
520.54/520.78	c  520s |      25 |  5559737 |  5083798 |     1054  12659 |        0 |        0
522.54/522.78	c  522s |      25 |  5579761 |  5102498 |     1054  12694 |        0 |        0
524.55/524.79	c  524s |      25 |  5600014 |  5121398 |     1054  12729 |        0 |        0
526.54/526.79	c  526s |      25 |  5620301 |  5140098 |     1054  12763 |        0 |        0
528.63/528.80	c  528s |      25 |  5640965 |  5158998 |     1054  12798 |        0 |        0
530.63/530.81	c  530s |      25 |  5661504 |  5177698 |     1054  12832 |        0 |        0
532.63/532.81	c  532s |      25 |  5681472 |  5196398 |     1054  12867 |        0 |        0
534.63/534.82	c  534s |      25 |  5701714 |  5215298 |     1054  12901 |        0 |        0
536.63/536.83	c  536s |      25 |  5722117 |  5234198 |     1054  12936 |        0 |        0
538.63/538.84	c  538s |      25 |  5742612 |  5252998 |     1054  12971 |        0 |        0
540.63/540.84	c  540s |      25 |  5763251 |  5271798 |     1054  13005 |        0 |        0
542.63/542.85	c  542s |      25 |  5783547 |  5290298 |     1054  13039 |        0 |        0
544.63/544.85	c  544s |      25 |  5804575 |  5309398 |     1054  13074 |        0 |        0
546.63/546.86	c  546s |      25 |  5825294 |  5328298 |     1054  13109 |        0 |        0
548.62/548.87	c  548s |      25 |  5846164 |  5347498 |     1054  13145 |        0 |        0
550.62/550.87	c  550s |      25 |  5866899 |  5366898 |     1054  13180 |        0 |        0
552.62/552.87	c  552s |      25 |  5887217 |  5385798 |     1054  13215 |        0 |        0
554.62/554.88	c  554s |      25 |  5907922 |  5404898 |     1054  13250 |        0 |        0
556.61/556.88	c  556s |      25 |  5928250 |  5423598 |     1054  13285 |        0 |        0
558.62/558.89	c  558s |      25 |  5948702 |  5442598 |     1054  13320 |        0 |        0
560.61/560.89	c  560s |      25 |  5969432 |  5461498 |     1054  13354 |        0 |        0
562.61/562.89	c  562s |      25 |  5990306 |  5480698 |     1054  13390 |        0 |        0
564.61/564.90	c  564s |      25 |  6011472 |  5499898 |     1054  13425 |        0 |        0
566.71/566.90	c  566s |      25 |  6032712 |  5519098 |     1054  13460 |        0 |        0
568.71/568.90	c  568s |      25 |  6053749 |  5538298 |     1054  13496 |        0 |        0
570.71/570.90	c  570s |      25 |  6074387 |  5557598 |     1054  13531 |        0 |        0
572.72/572.91	c  572s |      25 |  6094853 |  5576598 |     1054  13566 |        0 |        0
574.71/574.91	c  574s |      25 |  6115756 |  5595298 |     1054  13601 |        0 |        0
576.71/576.91	c  576s |      25 |  6136231 |  5613998 |     1054  13635 |        0 |        0
578.71/578.92	c  578s |      25 |  6156556 |  5633198 |     1054  13671 |        0 |        0
580.71/580.92	c  580s |      25 |  6177236 |  5652698 |     1054  13706 |        0 |        0
582.71/582.93	c  582s |      25 |  6197867 |  5671998 |     1054  13742 |        0 |        0
584.71/584.93	c  584s |      25 |  6219046 |  5691298 |     1054  13778 |        0 |        0
586.70/586.93	c  586s |      25 |  6240482 |  5710698 |     1054  13813 |        0 |        0
588.70/588.94	c  588s |      25 |  6261810 |  5730298 |     1054  13850 |        0 |        0
590.70/590.95	c  590s |      25 |  6283008 |  5749698 |     1054  13885 |        0 |        0
592.70/592.95	c  592s |      25 |  6304789 |  5769298 |     1054  13922 |        0 |        0
594.71/594.96	c  594s |      25 |  6326574 |  5789098 |     1054  13958 |        0 |        0
596.70/596.96	c  596s |      25 |  6347053 |  5807598 |     1054  13992 |        0 |        0
598.70/598.98	c  598s |      25 |  6368018 |  5826498 |     1054  14027 |        0 |        0
600.70/600.98	c  600s |      25 |  6388723 |  5845198 |     1054  14061 |        0 |        0
602.70/602.98	c  602s |      25 |  6409507 |  5864198 |     1054  14096 |        0 |        0
604.69/604.99	c  604s |      25 |  6430736 |  5883298 |     1054  14131 |        0 |        0
606.69/606.99	c  606s |      25 |  6451200 |  5902298 |     1054  14166 |        0 |        0
608.79/609.00	c  608s |      25 |  6471970 |  5921698 |     1054  14202 |        0 |        0
610.79/611.01	c  610s |      25 |  6492725 |  5940898 |     1054  14237 |        0 |        0
612.79/613.01	c  612s |      25 |  6513879 |  5960398 |     1054  14273 |        0 |        0
614.79/615.01	c  614s |      25 |  6534769 |  5979798 |     1054  14309 |        0 |        0
616.78/617.02	c  617s |      25 |  6555271 |  5999198 |     1054  14345 |        0 |        0
618.78/619.03	c  619s |      25 |  6577089 |  6018798 |     1054  14381 |        0 |        0
620.78/621.03	c  621s |      25 |  6598937 |  6038298 |     1054  14417 |        0 |        0
622.78/623.03	c  623s |      25 |  6619585 |  6057498 |     1054  14452 |        0 |        0
624.78/625.04	c  625s |      25 |  6640621 |  6076998 |     1054  14488 |        0 |        0
626.78/627.05	c  627s |      25 |  6661702 |  6096598 |     1054  14525 |        0 |        0
628.77/629.05	c  629s |      25 |  6682933 |  6116198 |     1054  14561 |        0 |        0
630.78/631.06	c  631s |      25 |  6704422 |  6136098 |     1054  14598 |        0 |        0
632.78/633.07	c  633s |      25 |  6725431 |  6155798 |     1054  14634 |        0 |        0
634.78/635.08	c  635s |      25 |  6746788 |  6175298 |     1054  14670 |        0 |        0
636.78/637.08	c  637s |      25 |  6768063 |  6194698 |     1054  14706 |        0 |        0
638.77/639.08	c  639s |      25 |  6789822 |  6214298 |     1054  14742 |        0 |        0
640.77/641.09	c  641s |      25 |  6811773 |  6233998 |     1054  14778 |        0 |        0
642.87/643.10	c  643s |      25 |  6833147 |  6253798 |     1054  14815 |        0 |        0
644.87/645.10	c  645s |      25 |  6854254 |  6273198 |     1054  14850 |        0 |        0
646.87/647.10	c  647s |      25 |  6875005 |  6291998 |     1054  14885 |        0 |        0
648.88/649.11	c  649s |      25 |  6895869 |  6311098 |     1054  14920 |        0 |        0
650.87/651.11	c  651s |      25 |  6916648 |  6330198 |     1054  14955 |        0 |        0
652.88/653.12	c  653s |      25 |  6937470 |  6349498 |     1054  14990 |        0 |        0
654.88/655.13	c  655s |      25 |  6958246 |  6368798 |     1054  15026 |        0 |        0
656.87/657.13	c  657s |      25 |  6980239 |  6388298 |     1054  15062 |        0 |        0
658.87/659.14	c  659s |      25 |  7002026 |  6407498 |     1054  15097 |        0 |        0
660.88/661.14	c  661s |      25 |  7023716 |  6426998 |     1054  15133 |        0 |        0
662.87/663.15	c  663s |      25 |  7045073 |  6446698 |     1054  15170 |        0 |        0
664.87/665.16	c  665s |      25 |  7066399 |  6466198 |     1054  15206 |        0 |        0
666.87/667.16	c  667s |      25 |  7087572 |  6485798 |     1054  15242 |        0 |        0
668.87/669.16	c  669s |      25 |  7108975 |  6505598 |     1054  15278 |        0 |        0
670.87/671.16	c  671s |      25 |  7130450 |  6525798 |     1054  15316 |        0 |        0
672.87/673.17	c  673s |      25 |  7152001 |  6545098 |     1054  15351 |        0 |        0
674.87/675.17	c  675s |      25 |  7173560 |  6564998 |     1054  15388 |        0 |        0
676.86/677.18	c  677s |      25 |  7195711 |  6584998 |     1054  15425 |        0 |        0
678.86/679.19	c  679s |      25 |  7217961 |  6605098 |     1054  15462 |        0 |        0
680.86/681.19	c  681s |      25 |  7240067 |  6624898 |     1054  15499 |        0 |        0
682.87/683.19	c  683s |      25 |  7261168 |  6644298 |     1054  15534 |        0 |        0
684.96/685.20	c  685s |      25 |  7283548 |  6664298 |     1054  15571 |        0 |        0
686.95/687.20	c  687s |      25 |  7305919 |  6684598 |     1054  15609 |        0 |        0
688.95/689.21	c  689s |      25 |  7327838 |  6704898 |     1054  15646 |        0 |        0
690.96/691.22	c  691s |      25 |  7349268 |  6725098 |     1054  15684 |        0 |        0
692.96/693.23	c  693s |      25 |  7371576 |  6745398 |     1054  15721 |        0 |        0
694.96/695.23	c  695s |      25 |  7394883 |  6765798 |     1054  15759 |        0 |        0
696.96/697.23	c  697s |      25 |  7418233 |  6785798 |     1054  15796 |        0 |        0
698.95/699.23	c  699s |      25 |  7438747 |  6803898 |     1054  15829 |        0 |        0
700.95/701.24	c  701s |      25 |  7459345 |  6822098 |     1054  15863 |        0 |        0
702.95/703.25	c  703s |      25 |  7480315 |  6840698 |     1054  15897 |        0 |        0
704.96/705.25	c  705s |      25 |  7500678 |  6859798 |     1054  15932 |        0 |        0
706.95/707.26	c  707s |      25 |  7520477 |  6878498 |     1054  15966 |        0 |        0
708.95/709.27	c  709s |      25 |  7541293 |  6897598 |     1054  16002 |        0 |        0
710.95/711.28	c  711s |      25 |  7562178 |  6916998 |     1054  16037 |        0 |        0
712.95/713.28	c  713s |      25 |  7584159 |  6936498 |     1054  16073 |        0 |        0
714.95/715.29	c  715s |      25 |  7604951 |  6955398 |     1054  16108 |        0 |        0
716.95/717.29	c  717s |      25 |  7625394 |  6974398 |     1054  16143 |        0 |        0
719.04/719.30	c  719s |      25 |  7646479 |  6993798 |     1054  16179 |        0 |        0
721.04/721.31	c  721s |      25 |  7667036 |  7012498 |     1054  16213 |        0 |        0
723.04/723.31	c  723s |      25 |  7687228 |  7030998 |     1054  16247 |        0 |        0
725.04/725.32	c  725s |      25 |  7708118 |  7049798 |     1054  16282 |        0 |        0
727.04/727.33	c  727s |      25 |  7729152 |  7068698 |     1054  16317 |        0 |        0
729.04/729.33	c  729s |      25 |  7750896 |  7088098 |     1054  16352 |        0 |        0
731.03/731.33	c  731s |      25 |  7771909 |  7107298 |     1054  16388 |        0 |        0
733.03/733.34	c  733s |      25 |  7793045 |  7126998 |     1054  16424 |        0 |        0
735.03/735.34	c  735s |      25 |  7813298 |  7146098 |     1054  16459 |        0 |        0
737.03/737.35	c  737s |      25 |  7833496 |  7164798 |     1054  16494 |        0 |        0
739.04/739.35	c  739s |      25 |  7854131 |  7184098 |     1054  16529 |        0 |        0
741.04/741.36	c  741s |      25 |  7875139 |  7203798 |     1054  16566 |        0 |        0
743.04/743.36	c  743s |      25 |  7896175 |  7223698 |     1054  16603 |        0 |        0
745.04/745.37	c  745s |      25 |  7917885 |  7243798 |     1054  16640 |        0 |        0
747.03/747.37	c  747s |      25 |  7939530 |  7263298 |     1054  16676 |        0 |        0
749.03/749.38	c  749s |      25 |  7961147 |  7282898 |     1054  16712 |        0 |        0
751.03/751.38	c  751s |      25 |  7982812 |  7302998 |     1054  16749 |        0 |        0
753.03/753.38	c  753s |      25 |  8003929 |  7322398 |     1054  16785 |        0 |        0
755.03/755.38	c  755s |      25 |  8024756 |  7341998 |     1054  16821 |        0 |        0
757.02/757.39	c  757s |      25 |  8045355 |  7361198 |     1054  16857 |        0 |        0
759.12/759.40	c  759s |      25 |  8066373 |  7381198 |     1054  16894 |        0 |        0
761.12/761.41	c  761s |      25 |  8087932 |  7400898 |     1054  16930 |        0 |        0
763.12/763.42	c  763s |      25 |  8109799 |  7420798 |     1054  16967 |        0 |        0
765.11/765.43	c  765s |      25 |  8131404 |  7440898 |     1054  17004 |        0 |        0
767.11/767.43	c  767s |      25 |  8152833 |  7460298 |     1054  17040 |        0 |        0
769.11/769.44	c  769s |      25 |  8173933 |  7479598 |     1054  17075 |        0 |        0
771.11/771.45	c  771s |      25 |  8195955 |  7499098 |     1054  17111 |        0 |        0
773.12/773.45	c  773s |      25 |  8218142 |  7518798 |     1054  17148 |        0 |        0
775.11/775.46	c  775s |      25 |  8239985 |  7538398 |     1054  17184 |        0 |        0
777.11/777.46	c  777s |      25 |  8261291 |  7557898 |     1160  17217 |        0 |        0
779.11/779.47	c  779s |      25 |  8283452 |  7577698 |     1160  17251 |        0 |        0
781.11/781.47	c  781s |      25 |  8304806 |  7597298 |     1160  17284 |        0 |        0
781.21/781.52	c  781s |      26 |  8305296 |  7597752 |     1160  17285 |        0 |        0
783.21/783.52	c  783s |      26 |  8325975 |  7616552 |     1160  17316 |        0 |        0
785.22/785.53	c  785s |      26 |  8346938 |  7635352 |     1160  17348 |        0 |        0
787.20/787.54	c  787s |      26 |  8367772 |  7654152 |     1160  17379 |        0 |        0
789.20/789.54	c  789s |      26 |  8389430 |  7672852 |     1160  17410 |        0 |        0
791.20/791.55	c  791s |      26 |  8410489 |  7692052 |     1160  17443 |        0 |        0
793.20/793.55	c  793s |      26 |  8432402 |  7711052 |     1160  17475 |        0 |        0
795.20/795.56	c  795s |      26 |  8453445 |  7729852 |     1160  17506 |        0 |        0
797.20/797.56	c  797s |      26 |  8474902 |  7749252 |     1160  17539 |        0 |        0
799.20/799.56	c  799s |      26 |  8496272 |  7768052 |     1160  17571 |        0 |        0
801.20/801.57	c  801s |      26 |  8518495 |  7787252 |     1160  17603 |        0 |        0
803.20/803.57	c  803s |      26 |  8540473 |  7806452 |     1160  17635 |        0 |        0
805.20/805.58	c  805s |      26 |  8561413 |  7825352 |     1160  17667 |        0 |        0
807.20/807.58	c  807s |      26 |  8582176 |  7844052 |     1160  17698 |        0 |        0
809.19/809.59	c  809s |      26 |  8602880 |  7863052 |     1160  17730 |        0 |        0
811.19/811.59	c  811s |      26 |  8623584 |  7881552 |     1160  17761 |        0 |        0
813.19/813.59	c  813s |      26 |  8643938 |  7900152 |     1160  17792 |        0 |        0
815.29/815.60	c  815s |      26 |  8665041 |  7919052 |     1160  17824 |        0 |        0
817.28/817.61	c  817s |      26 |  8686624 |  7937852 |     1160  17855 |        0 |        0
819.29/819.61	c  819s |      26 |  8707454 |  7956952 |     1160  17887 |        0 |        0
821.28/821.62	c  821s |      26 |  8727713 |  7975552 |     1160  17919 |        0 |        0
823.28/823.62	c  823s |      26 |  8748905 |  7994752 |     1160  17951 |        0 |        0
825.28/825.62	c  825s |      26 |  8769323 |  8013852 |     1160  17983 |        0 |        0
827.28/827.63	c  827s |      26 |  8790664 |  8033052 |     1160  18015 |        0 |        0
829.28/829.64	c  829s |      26 |  8811770 |  8052252 |     1160  18048 |        0 |        0
831.28/831.65	c  831s |      26 |  8833098 |  8071552 |     1160  18080 |        0 |        0
833.28/833.65	c  833s |      26 |  8854333 |  8091052 |     1160  18113 |        0 |        0
835.29/835.65	c  835s |      26 |  8875316 |  8110152 |     1160  18145 |        0 |        0
837.28/837.66	c  837s |      26 |  8896602 |  8129252 |     1160  18177 |        0 |        0
839.28/839.66	c  839s |      26 |  8917025 |  8147852 |     1160  18208 |        0 |        0
841.29/841.66	c  841s |      26 |  8937437 |  8166852 |     1160  18240 |        0 |        0
843.28/843.67	c  843s |      26 |  8957739 |  8185952 |     1160  18272 |        0 |        0
845.28/845.67	c  845s |      26 |  8978144 |  8205252 |     1160  18305 |        0 |        0
847.27/847.67	c  847s |      26 |  8998515 |  8224452 |     1160  18337 |        0 |        0
849.27/849.67	c  849s |      26 |  9019103 |  8243652 |     1160  18369 |        0 |        0
851.27/851.68	c  851s |      26 |  9039846 |  8262952 |     1160  18402 |        0 |        0
853.28/853.68	c  853s |      26 |  9060019 |  8282052 |     1160  18434 |        0 |        0
855.27/855.69	c  855s |      26 |  9081663 |  8301452 |     1160  18466 |        0 |        0
857.26/857.69	c  857s |      26 |  9102421 |  8320452 |     1160  18498 |        0 |        0
859.36/859.70	c  859s |      26 |  9122657 |  8339352 |     1160  18530 |        0 |        0
861.36/861.71	c  861s |      26 |  9143209 |  8358752 |     1160  18563 |        0 |        0
863.36/863.71	c  863s |      26 |  9164285 |  8378252 |     1160  18595 |        0 |        0
865.37/865.72	c  865s |      26 |  9185405 |  8397552 |     1160  18628 |        0 |        0
867.36/867.72	c  867s |      26 |  9206009 |  8416652 |     1160  18660 |        0 |        0
869.36/869.73	c  869s |      26 |  9227531 |  8436152 |     1160  18692 |        0 |        0
871.36/871.73	c  871s |      26 |  9248680 |  8455752 |     1160  18725 |        0 |        0
873.36/873.73	c  873s |      26 |  9269940 |  8475852 |     1160  18759 |        0 |        0
875.37/875.74	c  875s |      26 |  9290838 |  8494052 |     1160  18790 |        0 |        0
877.35/877.74	c  877s |      26 |  9311404 |  8512352 |     1160  18820 |        0 |        0
879.35/879.74	c  879s |      26 |  9332364 |  8530752 |     1160  18851 |        0 |        0
881.35/881.75	c  881s |      26 |  9353402 |  8549052 |     1160  18882 |        0 |        0
883.35/883.76	c  883s |      26 |  9374274 |  8567452 |     1160  18913 |        0 |        0
885.35/885.76	c  885s |      26 |  9395822 |  8585652 |     1160  18943 |        0 |        0
887.36/887.77	c  887s |      26 |  9416889 |  8604152 |     1160  18974 |        0 |        0
889.35/889.78	c  889s |      26 |  9437622 |  8623052 |     1160  19006 |        0 |        0
891.35/891.78	c  891s |      26 |  9458108 |  8642352 |     1160  19038 |        0 |        0
893.35/893.79	c  893s |      26 |  9479342 |  8661052 |     1160  19070 |        0 |        0
895.45/895.80	c  895s |      26 |  9500175 |  8680552 |     1160  19102 |        0 |        0
897.45/897.81	c  897s |      26 |  9521448 |  8700152 |     1160  19135 |        0 |        0
899.46/899.81	c  899s |      26 |  9543435 |  8719452 |     1160  19168 |        0 |        0
901.45/901.81	c  901s |      26 |  9565503 |  8738852 |     1160  19200 |        0 |        0
903.45/903.82	c  903s |      26 |  9587357 |  8758452 |     1160  19233 |        0 |        0
905.45/905.82	c  905s |      26 |  9609163 |  8777952 |     1160  19266 |        0 |        0
907.45/907.82	c  907s |      26 |  9630465 |  8797552 |     1160  19299 |        0 |        0
909.45/909.82	c  909s |      26 |  9651490 |  8816952 |     1160  19332 |        0 |        0
911.45/911.82	c  911s |      26 |  9672837 |  8836452 |     1160  19365 |        0 |        0
913.45/913.83	c  913s |      26 |  9694895 |  8856452 |     1160  19398 |        0 |        0
915.44/915.84	c  915s |      26 |  9717167 |  8876152 |     1160  19431 |        0 |        0
917.45/917.85	c  917s |      26 |  9738966 |  8896152 |     1160  19465 |        0 |        0
919.45/919.85	c  919s |      26 |  9759796 |  8914852 |     1160  19496 |        0 |        0
921.46/921.85	c  921s |      26 |  9780064 |  8933452 |     1160  19527 |        0 |        0
923.45/923.86	c  923s |      26 |  9800721 |  8952352 |     1160  19559 |        0 |        0
925.45/925.87	c  925s |      26 |  9821653 |  8971152 |     1160  19591 |        0 |        0
927.45/927.87	c  927s |      26 |  9843148 |  8990152 |     1160  19622 |        0 |        0
929.45/929.89	c  929s |      26 |  9864115 |  9009252 |     1160  19655 |        0 |        0
931.46/931.89	c  931s |      26 |  9884144 |  9027952 |     1160  19686 |        0 |        0
933.45/933.89	c  933s |      26 |  9904441 |  9046752 |     1160  19717 |        0 |        0
935.45/935.89	c  935s |      26 |  9924965 |  9065552 |     1160  19749 |        0 |        0
937.55/937.90	c  937s |      26 |  9945802 |  9084152 |     1160  19780 |        0 |        0
939.55/939.90	c  939s |      26 |  9966614 |  9103052 |     1160  19812 |        0 |        0
941.55/941.91	c  941s |      26 |  9988187 |  9121852 |     1160  19844 |        0 |        0
943.55/943.91	c  943s |      26 | 10010021 |  9141052 |     1160  19876 |        0 |        0
945.54/945.92	c  945s |      26 | 10031655 |  9160652 |     1160  19909 |        0 |        0
947.54/947.92	c  947s |      26 | 10052867 |  9179952 |     1160  19941 |        0 |        0
949.54/949.92	c  949s |      26 | 10074078 |  9199252 |     1160  19973 |        0 |        0
951.54/951.92	c  951s |      26 | 10095061 |  9218652 |     1160  20006 |        0 |        0
953.54/953.92	c  953s |      26 | 10115879 |  9238152 |     1160  20039 |        0 |        0
955.55/955.93	c  955s |      26 | 10137512 |  9257552 |     1160  20072 |        0 |        0
957.54/957.93	c  957s |      26 | 10158877 |  9277252 |     1160  20105 |        0 |        0
959.54/959.94	c  959s |      26 | 10179635 |  9296552 |     1160  20137 |        0 |        0
961.54/961.94	c  961s |      26 | 10200056 |  9315752 |     1160  20169 |        0 |        0
963.54/963.95	c  963s |      26 | 10221061 |  9335452 |     1160  20203 |        0 |        0
965.54/965.95	c  965s |      26 | 10242352 |  9354752 |     1160  20235 |        0 |        0
967.54/967.96	c  967s |      26 | 10263407 |  9374352 |     1160  20268 |        0 |        0
969.55/969.96	c  969s |      26 | 10284742 |  9393652 |     1160  20301 |        0 |        0
971.55/971.96	c  971s |      26 | 10306339 |  9413352 |     1160  20334 |        0 |        0
973.54/973.96	c  973s |      26 | 10327647 |  9432952 |     1160  20367 |        0 |        0
975.54/975.97	c  975s |      26 | 10348557 |  9451852 |     1160  20399 |        0 |        0
977.55/977.97	c  977s |      26 | 10368933 |  9470852 |     1160  20431 |        0 |        0
979.54/979.98	c  979s |      26 | 10389677 |  9490352 |     1160  20464 |        0 |        0
981.54/981.98	c  981s |      26 | 10410418 |  9509652 |     1160  20496 |        0 |        0
983.54/983.98	c  983s |      26 | 10431430 |  9529152 |     1160  20529 |        0 |        0
985.54/985.99	c  985s |      26 | 10453842 |  9549052 |     1160  20562 |        0 |        0
987.55/987.99	c  987s |      26 | 10475477 |  9568852 |     1160  20596 |        0 |        0
989.54/990.00	c  989s |      26 | 10497196 |  9588852 |     1160  20630 |        0 |        0
991.64/992.00	c  991s |      26 | 10518987 |  9608752 |     1160  20663 |        0 |        0
993.64/994.00	c  993s |      26 | 10540125 |  9627752 |     1160  20695 |        0 |        0
995.64/996.00	c  995s |      26 | 10561433 |  9646652 |     1160  20727 |        0 |        0
997.64/998.02	c  998s |      26 | 10582610 |  9665852 |     1160  20759 |        0 |        0
999.65/1000.03	c 1000s |      26 | 10604208 |  9685352 |     1160  20792 |        0 |        0
1001.64/1002.03	c 1002s |      26 | 10625262 |  9704752 |     1160  20824 |        0 |        0
1003.64/1004.04	c 1004s |      26 | 10646412 |  9723952 |     1160  20856 |        0 |        0
1005.64/1006.04	c 1006s |      26 | 10668071 |  9743352 |     1160  20889 |        0 |        0
1007.63/1008.04	c 1008s |      26 | 10689643 |  9763252 |     1160  20923 |        0 |        0
1009.63/1010.05	c 1010s |      26 | 10711654 |  9783252 |     1160  20956 |        0 |        0
1011.64/1012.06	c 1012s |      26 | 10733309 |  9803052 |     1160  20990 |        0 |        0
1013.63/1014.07	c 1014s |      26 | 10755738 |  9823252 |     1160  21024 |        0 |        0
1015.63/1016.08	c 1016s |      26 | 10777271 |  9842352 |     1160  21056 |        0 |        0
1017.63/1018.08	c 1018s |      26 | 10798527 |  9861152 |     1160  21087 |        0 |        0
1019.63/1020.09	c 1020s |      26 | 10819306 |  9880352 |     1160  21119 |        0 |        0
1021.73/1022.10	c 1022s |      26 | 10840446 |  9899152 |     1160  21151 |        0 |        0
1023.63/1024.10	c 1024s |      26 | 10862123 |  9918052 |     1160  21182 |        0 |        0
1025.73/1026.10	c 1026s |      26 | 10883014 |  9937052 |     1160  21214 |        0 |        0
1027.73/1028.11	c 1028s |      26 | 10904404 |  9956352 |     1160  21247 |        0 |        0
1029.73/1030.11	c 1030s |      26 | 10925869 |  9975352 |     1160  21279 |        0 |        0
1031.73/1032.11	c 1032s |      26 | 10947472 |  9994352 |     1160  21311 |        0 |        0
1033.74/1034.11	c 1034s |      26 | 10969768 | 10013852 |     1160  21343 |        0 |        0
1035.73/1036.12	c 1036s |      26 | 10991525 | 10033052 |     1160  21375 |        0 |        0
1037.73/1038.13	c 1038s |      26 | 11013886 | 10052452 |     1160  21408 |        0 |        0
1039.73/1040.13	c 1040s |      26 | 11035342 | 10071652 |     1160  21440 |        0 |        0
1041.73/1042.14	c 1042s |      26 | 11057283 | 10090652 |     1160  21472 |        0 |        0
1043.73/1044.14	c 1044s |      26 | 11080015 | 10110152 |     1160  21505 |        0 |        0
1045.73/1046.14	c 1046s |      26 | 11102367 | 10129552 |     1160  21538 |        0 |        0
1047.72/1048.15	c 1048s |      26 | 11124053 | 10149252 |     1160  21571 |        0 |        0
1049.72/1050.15	c 1050s |      26 | 11146984 | 10168852 |     1160  21604 |        0 |        0
1051.73/1052.16	c 1052s |      26 | 11168588 | 10188552 |     1160  21637 |        0 |        0
1053.73/1054.17	c 1054s |      26 | 11190325 | 10208552 |     1160  21670 |        0 |        0
1055.74/1056.18	c 1056s |      26 | 11211999 | 10228352 |     1160  21703 |        0 |        0
1057.73/1058.19	c 1058s |      26 | 11234099 | 10248252 |     1160  21737 |        0 |        0
1059.73/1060.19	c 1060s |      26 | 11256422 | 10268452 |     1160  21771 |        0 |        0
1061.83/1062.20	c 1062s |      26 | 11278369 | 10287952 |     1160  21804 |        0 |        0
1063.83/1064.21	c 1064s |      26 | 11299891 | 10307452 |     1160  21837 |        0 |        0
1065.83/1066.22	c 1066s |      26 | 11321825 | 10327352 |     1160  21870 |        0 |        0
1067.83/1068.22	c 1068s |      26 | 11343657 | 10347152 |     1160  21903 |        0 |        0
1069.83/1070.23	c 1070s |      26 | 11367411 | 10367552 |     1160  21938 |        0 |        0
1071.83/1072.23	c 1072s |      26 | 11389876 | 10387852 |     1160  21972 |        0 |        0
1073.82/1074.24	c 1074s |      26 | 11412540 | 10407752 |     1160  22005 |        0 |        0
1075.82/1076.24	c 1076s |      26 | 11433906 | 10427152 |     1160  22038 |        0 |        0
1077.82/1078.24	c 1078s |      26 | 11455002 | 10446552 |     1160  22071 |        0 |        0
1079.83/1080.25	c 1080s |      26 | 11476305 | 10466352 |     1160  22104 |        0 |        0
1081.82/1082.26	c 1082s |      26 | 11498049 | 10486052 |     1160  22137 |        0 |        0
1083.82/1084.27	c 1084s |      26 | 11519566 | 10506052 |     1160  22171 |        0 |        0
1085.82/1086.27	c 1086s |      26 | 11541401 | 10526052 |     1160  22205 |        0 |        0
1087.82/1088.28	c 1088s |      26 | 11564218 | 10546452 |     1160  22239 |        0 |        0
1089.83/1090.28	c 1090s |      26 | 11586468 | 10567152 |     1160  22274 |        0 |        0
1091.82/1092.28	c 1092s |      26 | 11608457 | 10587152 |     1160  22308 |        0 |        0
1093.82/1094.29	c 1094s |      26 | 11630491 | 10607152 |     1160  22341 |        0 |        0
1095.92/1096.30	c 1096s |      26 | 11652645 | 10627052 |     1160  22375 |        0 |        0
1097.92/1098.30	c 1098s |      26 | 11674380 | 10646552 |     1160  22408 |        0 |        0
1099.92/1100.31	c 1100s |      26 | 11695905 | 10665952 |     1160  22440 |        0 |        0
1101.92/1102.31	c 1102s |      26 | 11717606 | 10685752 |     1160  22474 |        0 |        0
1103.92/1104.31	c 1104s |      26 | 11739448 | 10705652 |     1160  22507 |        0 |        0
1105.91/1106.32	c 1106s |      26 | 11761454 | 10725852 |     1160  22541 |        0 |        0
1107.91/1108.33	c 1108s |      26 | 11784240 | 10745952 |     1160  22575 |        0 |        0
1109.91/1110.33	c 1110s |      26 | 11806764 | 10766152 |     1160  22609 |        0 |        0
1111.91/1112.34	c 1112s |      26 | 11828319 | 10786352 |     1160  22643 |        0 |        0
1113.92/1114.35	c 1114s |      26 | 11850977 | 10806552 |     1160  22677 |        0 |        0
1115.91/1116.35	c 1116s |      26 | 11872788 | 10826752 |     1160  22711 |        0 |        0
1117.92/1118.35	c 1118s |      26 | 11894775 | 10847252 |     1160  22745 |        0 |        0
1119.92/1120.36	c 1120s |      26 | 11916393 | 10867252 |     1160  22779 |        0 |        0
1121.92/1122.37	c 1122s |      26 | 11937516 | 10885552 |     1160  22809 |        0 |        0
1123.92/1124.37	c 1124s |      26 | 11958211 | 10903952 |     1160  22840 |        0 |        0
1125.91/1126.38	c 1126s |      26 | 11978681 | 10922852 |     1160  22872 |        0 |        0
1127.91/1128.39	c 1128s |      26 | 11999760 | 10941852 |     1160  22904 |        0 |        0
1130.01/1130.40	c 1130s |      26 | 12019990 | 10960952 |     1160  22936 |        0 |        0
1132.01/1132.41	c 1132s |      26 | 12040724 | 10980052 |     1160  22968 |        0 |        0
1134.01/1134.41	c 1134s |      26 | 12062176 | 10999452 |     1160  23000 |        0 |        0
1136.02/1136.42	c 1136s |      26 | 12083252 | 11018752 |     1160  23033 |        0 |        0
1138.01/1138.43	c 1138s |      26 | 12104818 | 11037652 |     1160  23064 |        0 |        0
1140.01/1140.43	c 1140s |      26 | 12125465 | 11056452 |     1160  23096 |        0 |        0
1142.01/1142.44	c 1142s |      26 | 12146514 | 11075852 |     1160  23128 |        0 |        0
1144.01/1144.45	c 1144s |      26 | 12167241 | 11095052 |     1160  23161 |        0 |        0
1146.01/1146.45	c 1146s |      26 | 12189021 | 11114752 |     1160  23194 |        0 |        0
1148.01/1148.46	c 1148s |      26 | 12210249 | 11133952 |     1160  23226 |        0 |        0
1150.01/1150.47	c 1150s |      26 | 12230666 | 11152852 |     1160  23258 |        0 |        0
1152.01/1152.47	c 1152s |      26 | 12251747 | 11172352 |     1160  23290 |        0 |        0
1154.00/1154.47	c 1154s |      26 | 12273861 | 11192152 |     1160  23324 |        0 |        0
1156.01/1156.48	c 1156s |      26 | 12295688 | 11212052 |     1160  23357 |        0 |        0
1158.02/1158.49	c 1158s |      26 | 12317524 | 11231652 |     1160  23390 |        0 |        0
1160.01/1160.49	c 1160s |      26 | 12338779 | 11251352 |     1160  23423 |        0 |        0
1162.01/1162.49	c 1162s |      26 | 12360223 | 11270852 |     1160  23456 |        0 |        0
1164.01/1164.49	c 1164s |      26 | 12381551 | 11290752 |     1160  23490 |        0 |        0
1166.11/1166.50	c 1166s |      26 | 12402892 | 11310552 |     1160  23523 |        0 |        0
1168.11/1168.50	c 1168s |      26 | 12423384 | 11330152 |     1276  23554 |        0 |        0
1170.12/1170.51	c 1170s |      26 | 12444527 | 11349752 |     1276  23584 |        0 |        0
1172.11/1172.51	c 1172s |      26 | 12465319 | 11369152 |     1276  23613 |        0 |        0
1174.11/1174.52	c 1174s |      26 | 12486782 | 11389152 |     1276  23644 |        0 |        0
1174.81/1175.27	c 1175s |      27 | 12495125 | 11396733 |     1276  23655 |        0 |        0
1176.81/1177.28	c 1177s |      27 | 12514926 | 11414833 |     1276  23683 |        0 |        0
1178.81/1179.28	c 1179s |      27 | 12534663 | 11433033 |     1276  23711 |        0 |        0
1180.81/1181.29	c 1181s |      27 | 12554069 | 11450733 |     1276  23738 |        0 |        0
1182.91/1183.30	c 1183s |      27 | 12574136 | 11468533 |     1276  23765 |        0 |        0
1184.90/1185.30	c 1185s |      27 | 12594032 | 11486533 |     1276  23793 |        0 |        0
1186.90/1187.30	c 1187s |      27 | 12615176 | 11504733 |     1276  23821 |        0 |        0
1188.90/1189.30	c 1189s |      27 | 12635646 | 11522833 |     1276  23849 |        0 |        0
1190.91/1191.31	c 1191s |      27 | 12655242 | 11540533 |     1276  23876 |        0 |        0
1192.90/1193.32	c 1193s |      27 | 12675796 | 11558933 |     1276  23904 |        0 |        0
1194.90/1195.33	c 1195s |      27 | 12695849 | 11577433 |     1276  23932 |        0 |        0
1196.90/1197.33	c 1197s |      27 | 12716613 | 11595633 |     1276  23960 |        0 |        0
1198.90/1199.33	c 1199s |      27 | 12737417 | 11613833 |     1276  23988 |        0 |        0
1200.91/1201.33	c 1201s |      27 | 12758149 | 11632433 |     1276  24016 |        0 |        0
1202.90/1203.34	c 1203s |      27 | 12778179 | 11650533 |     1276  24044 |        0 |        0
1204.90/1205.34	c 1205s |      27 | 12798776 | 11668433 |     1276  24071 |        0 |        0
1206.90/1207.34	c 1207s |      27 | 12819595 | 11686233 |     1276  24099 |        0 |        0
1208.90/1209.35	c 1209s |      27 | 12840068 | 11704633 |     1276  24127 |        0 |        0
1210.90/1211.35	c 1211s |      27 | 12860695 | 11722933 |     1276  24155 |        0 |        0
1212.90/1213.36	c 1213s |      27 | 12881608 | 11741433 |     1276  24183 |        0 |        0
1214.90/1215.36	c 1215s |      27 | 12902978 | 11759833 |     1276  24211 |        0 |        0
1216.90/1217.37	c 1217s |      27 | 12923684 | 11778233 |     1276  24239 |        0 |        0
1218.89/1219.38	c 1219s |      27 | 12944554 | 11796533 |     1276  24268 |        0 |        0
1220.89/1221.38	c 1221s |      27 | 12966225 | 11815433 |     1276  24296 |        0 |        0
1222.90/1223.39	c 1223s |      27 | 12988207 | 11834433 |     1276  24326 |        0 |        0
1224.89/1225.40	c 1225s |      27 | 13011162 | 11853933 |     1276  24356 |        0 |        0
1227.00/1227.40	c 1227s |      27 | 13032682 | 11872333 |     1276  24384 |        0 |        0
1229.00/1229.41	c 1229s |      27 | 13053408 | 11890533 |     1276  24412 |        0 |        0
1231.00/1231.41	c 1231s |      27 | 13074483 | 11909133 |     1276  24440 |        0 |        0
1233.00/1233.42	c 1233s |      27 | 13095493 | 11927733 |     1276  24469 |        0 |        0
1235.01/1235.43	c 1235s |      27 | 13117121 | 11946133 |     1276  24497 |        0 |        0
1237.00/1237.44	c 1237s |      27 | 13139257 | 11964833 |     1276  24526 |        0 |        0
1239.00/1239.45	c 1239s |      27 | 13160455 | 11983433 |     1276  24554 |        0 |        0
1241.00/1241.45	c 1241s |      27 | 13182901 | 12002233 |     1276  24583 |        0 |        0
1242.99/1243.46	c 1243s |      27 | 13204579 | 12021133 |     1276  24612 |        0 |        0
1244.99/1245.47	c 1245s |      27 | 13225809 | 12040033 |     1276  24641 |        0 |        0
1247.00/1247.47	c 1247s |      27 | 13246889 | 12058633 |     1276  24669 |        0 |        0
1248.99/1249.48	c 1249s |      27 | 13268057 | 12077833 |     1276  24699 |        0 |        0
1250.99/1251.49	c 1251s |      27 | 13289262 | 12096833 |     1276  24728 |        0 |        0
1252.99/1253.49	c 1253s |      27 | 13310917 | 12115733 |     1276  24757 |        0 |        0
1255.09/1255.51	c 1255s |      27 | 13331260 | 12134533 |     1276  24786 |        0 |        0
1257.10/1257.52	c 1257s |      27 | 13352112 | 12153433 |     1276  24815 |        0 |        0
1259.10/1259.53	c 1259s |      27 | 13371180 | 12171633 |     1276  24842 |        0 |        0
1261.10/1261.54	c 1261s |      27 | 13390365 | 12189733 |     1276  24870 |        0 |        0
1263.09/1263.54	c 1263s |      27 | 13409879 | 12207733 |     1276  24897 |        0 |        0
1265.09/1265.55	c 1265s |      27 | 13430297 | 12225933 |     1276  24925 |        0 |        0
1267.09/1267.56	c 1267s |      27 | 13449747 | 12244033 |     1276  24953 |        0 |        0
1269.10/1269.57	c 1269s |      27 | 13469382 | 12262433 |     1276  24981 |        0 |        0
1271.09/1271.58	c 1271s |      27 | 13489083 | 12280533 |     1276  25009 |        0 |        0
1273.09/1273.59	c 1273s |      27 | 13509577 | 12299233 |     1276  25038 |        0 |        0
1275.09/1275.59	c 1275s |      27 | 13530440 | 12317333 |     1276  25065 |        0 |        0
1277.19/1277.60	c 1277s |      27 | 13552020 | 12335833 |     1276  25094 |        0 |        0
1279.19/1279.61	c 1279s |      27 | 13572227 | 12354033 |     1276  25122 |        0 |        0
1281.19/1281.61	c 1281s |      27 | 13592321 | 12372533 |     1276  25150 |        0 |        0
1283.19/1283.62	c 1283s |      27 | 13612074 | 12390833 |     1276  25178 |        0 |        0
1285.18/1285.62	c 1285s |      27 | 13632881 | 12409433 |     1276  25207 |        0 |        0
1287.18/1287.63	c 1287s |      27 | 13654109 | 12428133 |     1276  25235 |        0 |        0
1289.18/1289.64	c 1289s |      27 | 13675336 | 12446633 |     1276  25264 |        0 |        0
1291.18/1291.64	c 1291s |      27 | 13697100 | 12465533 |     1276  25292 |        0 |        0
1293.19/1293.65	c 1293s |      27 | 13717819 | 12484133 |     1276  25321 |        0 |        0
1295.18/1295.65	c 1295s |      27 | 13738437 | 12502633 |     1276  25349 |        0 |        0
1297.18/1297.66	c 1297s |      27 | 13758679 | 12520633 |     1276  25377 |        0 |        0
1299.18/1299.67	c 1299s |      27 | 13778692 | 12538733 |     1276  25404 |        0 |        0
1301.19/1301.67	c 1301s |      27 | 13798165 | 12557033 |     1276  25432 |        0 |        0
1303.19/1303.68	c 1303s |      27 | 13818747 | 12575433 |     1276  25460 |        0 |        0
1305.19/1305.68	c 1305s |      27 | 13839619 | 12593833 |     1276  25488 |        0 |        0
1307.19/1307.68	c 1307s |      27 | 13859667 | 12612533 |     1276  25517 |        0 |        0
1309.19/1309.69	c 1309s |      27 | 13880025 | 12631033 |     1276  25545 |        0 |        0
1311.19/1311.69	c 1311s |      27 | 13900172 | 12649433 |     1276  25574 |        0 |        0
1313.19/1313.69	c 1313s |      27 | 13920348 | 12667333 |     1276  25601 |        0 |        0
1315.19/1315.70	c 1315s |      27 | 13941214 | 12685533 |     1276  25629 |        0 |        0
1317.28/1317.70	c 1317s |      27 | 13961550 | 12703733 |     1276  25657 |        0 |        0
1319.28/1319.71	c 1319s |      27 | 13982609 | 12722033 |     1276  25685 |        0 |        0
1321.28/1321.72	c 1321s |      27 | 14004692 | 12741333 |     1276  25714 |        0 |        0
1323.28/1323.73	c 1323s |      27 | 14026619 | 12760333 |     1276  25743 |        0 |        0
1325.28/1325.73	c 1325s |      27 | 14047570 | 12778933 |     1276  25772 |        0 |        0
1327.29/1327.74	c 1327s |      27 | 14068465 | 12797433 |     1276  25800 |        0 |        0
1329.28/1329.74	c 1329s |      27 | 14089325 | 12816133 |     1276  25829 |        0 |        0
1331.28/1331.75	c 1331s |      27 | 14110339 | 12834833 |     1276  25858 |        0 |        0
1333.28/1333.76	c 1333s |      27 | 14130753 | 12853733 |     1276  25887 |        0 |        0
1335.28/1335.77	c 1335s |      27 | 14151099 | 12872733 |     1276  25916 |        0 |        0
1337.28/1337.78	c 1337s |      27 | 14171435 | 12890933 |     1276  25943 |        0 |        0
1339.28/1339.78	c 1339s |      27 | 14192166 | 12909733 |     1276  25972 |        0 |        0
1341.28/1341.79	c 1341s |      27 | 14213688 | 12928333 |     1276  26001 |        0 |        0
1343.37/1343.80	c 1343s |      27 | 14235247 | 12947133 |     1276  26029 |        0 |        0
1345.37/1345.80	c 1345s |      27 | 14256106 | 12965433 |     1276  26057 |        0 |        0
1347.38/1347.81	c 1347s |      27 | 14277058 | 12984033 |     1276  26086 |        0 |        0
1349.39/1349.81	c 1349s |      27 | 14297342 | 13002933 |     1276  26115 |        0 |        0
1351.38/1351.81	c 1351s |      27 | 14317881 | 13021433 |     1276  26143 |        0 |        0
1353.38/1353.82	c 1353s |      27 | 14338447 | 13040133 |     1276  26172 |        0 |        0
1355.38/1355.82	c 1355s |      27 | 14359677 | 13059133 |     1276  26201 |        0 |        0
1357.38/1357.83	c 1357s |      27 | 14381649 | 13078133 |     1276  26230 |        0 |        0
1359.38/1359.83	c 1359s |      27 | 14402602 | 13097233 |     1276  26259 |        0 |        0
1361.38/1361.83	c 1361s |      27 | 14422538 | 13115833 |     1276  26288 |        0 |        0
1363.37/1363.84	c 1363s |      27 | 14442696 | 13134833 |     1276  26317 |        0 |        0
1365.37/1365.85	c 1365s |      27 | 14463634 | 13153933 |     1276  26346 |        0 |        0
1367.37/1367.85	c 1367s |      27 | 14484570 | 13173233 |     1276  26376 |        0 |        0
1369.37/1369.86	c 1369s |      27 | 14505413 | 13192133 |     1276  26405 |        0 |        0
1371.38/1371.86	c 1371s |      27 | 14527067 | 13211033 |     1276  26434 |        0 |        0
1373.37/1373.86	c 1373s |      27 | 14548317 | 13229533 |     1276  26462 |        0 |        0
1375.37/1375.87	c 1375s |      27 | 14569286 | 13248733 |     1276  26491 |        0 |        0
1377.37/1377.88	c 1377s |      27 | 14590597 | 13267733 |     1276  26520 |        0 |        0
1379.37/1379.89	c 1379s |      27 | 14611499 | 13286733 |     1276  26550 |        0 |        0
1381.47/1381.91	c 1381s |      27 | 14633201 | 13306233 |     1276  26580 |        0 |        0
1383.47/1383.91	c 1383s |      27 | 14654636 | 13325433 |     1276  26609 |        0 |        0
1385.47/1385.92	c 1385s |      27 | 14675875 | 13344633 |     1276  26638 |        0 |        0
1387.47/1387.93	c 1387s |      27 | 14697499 | 13364033 |     1276  26668 |        0 |        0
1389.46/1389.93	c 1389s |      27 | 14718810 | 13383533 |     1276  26698 |        0 |        0
1391.46/1391.94	c 1391s |      27 | 14739915 | 13403033 |     1276  26728 |        0 |        0
1393.46/1393.95	c 1393s |      27 | 14761960 | 13422433 |     1276  26758 |        0 |        0
1395.48/1395.96	c 1395s |      27 | 14783392 | 13441933 |     1276  26788 |        0 |        0
1397.47/1397.96	c 1397s |      27 | 14805597 | 13461933 |     1276  26818 |        0 |        0
1399.47/1399.96	c 1399s |      27 | 14826811 | 13480633 |     1276  26847 |        0 |        0
1401.47/1401.96	c 1401s |      27 | 14846401 | 13498833 |     1276  26875 |        0 |        0
1403.47/1403.96	c 1403s |      27 | 14866292 | 13517133 |     1276  26903 |        0 |        0
1405.47/1405.97	c 1405s |      27 | 14886395 | 13535533 |     1276  26931 |        0 |        0
1407.47/1407.98	c 1407s |      27 | 14906220 | 13554233 |     1276  26959 |        0 |        0
1409.46/1409.98	c 1409s |      27 | 14926452 | 13572733 |     1276  26987 |        0 |        0
1411.46/1411.99	c 1411s |      27 | 14947237 | 13591633 |     1276  27016 |        0 |        0
1413.46/1413.99	c 1413s |      27 | 14967546 | 13610633 |     1276  27045 |        0 |        0
1415.56/1416.00	c 1415s |      27 | 14987503 | 13629633 |     1276  27075 |        0 |        0
1417.57/1418.01	c 1417s |      27 | 15008245 | 13648733 |     1276  27104 |        0 |        0
1419.56/1420.02	c 1420s |      27 | 15029131 | 13667933 |     1276  27133 |        0 |        0
1421.56/1422.03	c 1422s |      27 | 15049022 | 13686633 |     1276  27162 |        0 |        0
1423.56/1424.04	c 1424s |      27 | 15069198 | 13705433 |     1276  27191 |        0 |        0
1425.56/1426.05	c 1426s |      27 | 15089225 | 13724433 |     1276  27220 |        0 |        0
1427.56/1428.05	c 1428s |      27 | 15110032 | 13743533 |     1276  27249 |        0 |        0
1429.56/1430.05	c 1430s |      27 | 15130145 | 13762133 |     1276  27278 |        0 |        0
1431.56/1432.06	c 1432s |      27 | 15150396 | 13781033 |     1276  27307 |        0 |        0
1433.56/1434.06	c 1434s |      27 | 15170992 | 13800233 |     1276  27336 |        0 |        0
1435.56/1436.07	c 1436s |      27 | 15191423 | 13819233 |     1276  27365 |        0 |        0
1437.56/1438.08	c 1438s |      27 | 15211659 | 13838033 |     1276  27394 |        0 |        0
1439.57/1440.08	c 1440s |      27 | 15232797 | 13857233 |     1276  27423 |        0 |        0
1441.56/1442.09	c 1442s |      27 | 15254528 | 13876533 |     1276  27453 |        0 |        0
1443.56/1444.09	c 1444s |      27 | 15274894 | 13895333 |     1276  27482 |        0 |        0
1445.66/1446.10	c 1446s |      27 | 15296192 | 13914033 |     1276  27510 |        0 |        0
1447.66/1448.10	c 1448s |      27 | 15316795 | 13932933 |     1276  27539 |        0 |        0
1449.66/1450.10	c 1450s |      27 | 15337679 | 13952133 |     1276  27569 |        0 |        0
1451.67/1452.11	c 1452s |      27 | 15358712 | 13971333 |     1276  27598 |        0 |        0
1453.66/1454.11	c 1454s |      27 | 15380337 | 13990833 |     1276  27628 |        0 |        0
1455.66/1456.12	c 1456s |      27 | 15401513 | 14009633 |     1276  27657 |        0 |        0
1457.65/1458.13	c 1458s |      27 | 15422306 | 14028333 |     1276  27686 |        0 |        0
1459.65/1460.13	c 1460s |      27 | 15443137 | 14046933 |     1276  27714 |        0 |        0
1461.65/1462.13	c 1462s |      27 | 15464814 | 14066133 |     1276  27743 |        0 |        0
1463.66/1464.14	c 1464s |      27 | 15485797 | 14085333 |     1276  27773 |        0 |        0
1465.65/1466.14	c 1466s |      27 | 15507416 | 14104833 |     1276  27803 |        0 |        0
1467.65/1468.15	c 1468s |      27 | 15528775 | 14123933 |     1276  27832 |        0 |        0
1469.65/1470.16	c 1470s |      27 | 15549111 | 14142633 |     1276  27861 |        0 |        0
1471.65/1472.17	c 1472s |      27 | 15570039 | 14161933 |     1276  27890 |        0 |        0
1473.66/1474.18	c 1474s |      27 | 15591345 | 14181233 |     1276  27920 |        0 |        0
1475.65/1476.18	c 1476s |      27 | 15613299 | 14200533 |     1276  27949 |        0 |        0
1477.65/1478.19	c 1478s |      27 | 15635721 | 14220333 |     1276  27980 |        0 |        0
1479.75/1480.20	c 1480s |      27 | 15657754 | 14239833 |     1276  28010 |        0 |        0
1481.75/1482.20	c 1482s |      27 | 15678652 | 14258633 |     1276  28038 |        0 |        0
1483.76/1484.20	c 1484s |      27 | 15699019 | 14277033 |     1276  28066 |        0 |        0
1485.76/1486.21	c 1486s |      27 | 15719258 | 14295433 |     1276  28095 |        0 |        0
1487.75/1488.21	c 1488s |      27 | 15739850 | 14313733 |     1276  28122 |        0 |        0
1489.75/1490.22	c 1490s |      27 | 15760808 | 14331933 |     1276  28150 |        0 |        0
1491.75/1492.22	c 1492s |      27 | 15782413 | 14350133 |     1276  28178 |        0 |        0
1493.75/1494.23	c 1494s |      27 | 15803456 | 14368733 |     1276  28207 |        0 |        0
1495.75/1496.24	c 1496s |      27 | 15824716 | 14387433 |     1276  28235 |        0 |        0
1497.76/1498.25	c 1498s |      27 | 15844920 | 14406333 |     1276  28264 |        0 |        0
1499.75/1500.25	c 1500s |      27 | 15864801 | 14425233 |     1276  28293 |        0 |        0
1501.75/1502.25	c 1502s |      27 | 15884940 | 14443733 |     1276  28321 |        0 |        0
1503.75/1504.26	c 1504s |      27 | 15906615 | 14462833 |     1276  28350 |        0 |        0
1505.75/1506.27	c 1506s |      27 | 15927788 | 14481933 |     1276  28380 |        0 |        0
1507.75/1508.27	c 1508s |      27 | 15948914 | 14500833 |     1276  28409 |        0 |        0
1509.75/1510.28	c 1510s |      27 | 15969387 | 14519833 |     1276  28438 |        0 |        0
1511.75/1512.29	c 1512s |      27 | 15990651 | 14539333 |     1276  28468 |        0 |        0
1513.74/1514.29	c 1514s |      27 | 16012196 | 14558733 |     1276  28497 |        0 |        0
1515.84/1516.30	c 1516s |      27 | 16032718 | 14577733 |     1276  28526 |        0 |        0
1517.85/1518.30	c 1518s |      27 | 16052985 | 14596633 |     1276  28555 |        0 |        0
1519.86/1520.30	c 1520s |      27 | 16073607 | 14615733 |     1276  28585 |        0 |        0
1521.85/1522.30	c 1522s |      27 | 16093994 | 14635033 |     1276  28614 |        0 |        0
1523.85/1524.31	c 1524s |      27 | 16115072 | 14654433 |     1276  28644 |        0 |        0
1525.85/1526.31	c 1526s |      27 | 16138342 | 14674233 |     1276  28674 |        0 |        0
1527.85/1528.32	c 1528s |      27 | 16160402 | 14693733 |     1276  28704 |        0 |        0
1529.85/1530.32	c 1530s |      27 | 16180872 | 14712333 |     1276  28733 |        0 |        0
1531.85/1532.33	c 1532s |      27 | 16201655 | 14731133 |     1276  28761 |        0 |        0
1533.85/1534.33	c 1534s |      27 | 16223176 | 14750433 |     1276  28791 |        0 |        0
1535.85/1536.33	c 1536s |      27 | 16244814 | 14770333 |     1276  28822 |        0 |        0
1537.85/1538.34	c 1538s |      27 | 16266090 | 14789933 |     1276  28852 |        0 |        0
1539.84/1540.34	c 1540s |      27 | 16288305 | 14809833 |     1276  28882 |        0 |        0
1541.85/1542.34	c 1542s |      27 | 16309980 | 14829133 |     1276  28912 |        0 |        0
1543.84/1544.35	c 1544s |      27 | 16331578 | 14848933 |     1276  28942 |        0 |        0
1545.84/1546.35	c 1546s |      27 | 16353182 | 14868733 |     1276  28973 |        0 |        0
1547.84/1548.36	c 1548s |      27 | 16373869 | 14887333 |     1276  29001 |        0 |        0
1549.84/1550.36	c 1550s |      27 | 16394593 | 14905833 |     1276  29029 |        0 |        0
1551.84/1552.37	c 1552s |      27 | 16416075 | 14924733 |     1276  29058 |        0 |        0
1553.84/1554.37	c 1554s |      27 | 16436885 | 14944133 |     1276  29088 |        0 |        0
1555.85/1556.38	c 1556s |      27 | 16457989 | 14962933 |     1276  29117 |        0 |        0
1557.85/1558.38	c 1558s |      27 | 16478522 | 14981633 |     1276  29145 |        0 |        0
1559.85/1560.38	c 1560s |      27 | 16499679 | 15000433 |     1276  29174 |        0 |        0
1561.84/1562.39	c 1562s |      27 | 16520801 | 15019433 |     1276  29203 |        0 |        0
1563.94/1564.40	c 1564s |      27 | 16541204 | 15038633 |     1276  29232 |        0 |        0
1565.95/1566.41	c 1566s |      27 | 16561964 | 15057933 |     1276  29262 |        0 |        0
1567.94/1568.41	c 1568s |      27 | 16583659 | 15077533 |     1276  29292 |        0 |        0
1569.94/1570.42	c 1570s |      27 | 16605009 | 15096933 |     1276  29322 |        0 |        0
1571.94/1572.42	c 1572s |      27 | 16627088 | 15116733 |     1276  29352 |        0 |        0
1573.94/1574.44	c 1574s |      27 | 16648207 | 15136333 |     1276  29382 |        0 |        0
1575.94/1576.44	c 1576s |      27 | 16669964 | 15156333 |     1276  29413 |        0 |        0
1577.94/1578.45	c 1578s |      27 | 16691939 | 15176633 |     1276  29444 |        0 |        0
1579.94/1580.45	c 1580s |      27 | 16712753 | 15195533 |     1276  29473 |        0 |        0
1581.94/1582.46	c 1582s |      27 | 16732215 | 15213533 |     1276  29500 |        0 |        0
1583.94/1584.47	c 1584s |      27 | 16752260 | 15231533 |     1276  29528 |        0 |        0
1585.93/1586.48	c 1586s |      27 | 16772302 | 15249733 |     1276  29555 |        0 |        0
1587.94/1588.48	c 1588s |      27 | 16792419 | 15268233 |     1276  29584 |        0 |        0
1589.93/1590.48	c 1590s |      27 | 16812745 | 15286933 |     1276  29612 |        0 |        0
1591.93/1592.49	c 1592s |      27 | 16833151 | 15305633 |     1276  29641 |        0 |        0
1593.93/1594.50	c 1594s |      27 | 16853321 | 15324033 |     1276  29669 |        0 |        0
1596.03/1596.50	c 1596s |      27 | 16873254 | 15342433 |     1276  29697 |        0 |        0
1598.03/1598.51	c 1598s |      27 | 16894166 | 15361033 |     1276  29725 |        0 |        0
1600.04/1600.52	c 1600s |      27 | 16914405 | 15379533 |     1276  29754 |        0 |        0
1602.03/1602.52	c 1602s |      27 | 16935138 | 15397633 |     1276  29781 |        0 |        0
1604.03/1604.52	c 1604s |      27 | 16956102 | 15415933 |     1276  29809 |        0 |        0
1606.04/1606.53	c 1606s |      27 | 16978105 | 15434533 |     1276  29838 |        0 |        0
1608.04/1608.54	c 1608s |      27 | 16998965 | 15452733 |     1276  29866 |        0 |        0
1610.04/1610.54	c 1610s |      27 | 17019598 | 15471333 |     1276  29894 |        0 |        0
1612.03/1612.54	c 1612s |      27 | 17040939 | 15489733 |     1276  29922 |        0 |        0
1614.03/1614.55	c 1614s |      27 | 17062642 | 15508433 |     1276  29951 |        0 |        0
1616.03/1616.55	c 1616s |      27 | 17083568 | 15527533 |     1276  29980 |        0 |        0
1618.03/1618.55	c 1618s |      27 | 17104711 | 15546633 |     1276  30009 |        0 |        0
1620.03/1620.56	c 1620s |      27 | 17126422 | 15565533 |     1276  30038 |        0 |        0
1622.04/1622.56	c 1622s |      27 | 17147159 | 15584033 |     1276  30067 |        0 |        0
1624.03/1624.57	c 1624s |      27 | 17167926 | 15602333 |     1276  30095 |        0 |        0
1626.03/1626.57	c 1626s |      27 | 17188696 | 15621133 |     1276  30123 |        0 |        0
1628.03/1628.58	c 1628s |      27 | 17209388 | 15639933 |     1276  30152 |        0 |        0
1630.03/1630.58	c 1630s |      27 | 17230346 | 15659033 |     1276  30181 |        0 |        0
1632.03/1632.58	c 1632s |      27 | 17251064 | 15677633 |     1276  30210 |        0 |        0
1634.02/1634.58	c 1634s |      27 | 17271688 | 15696233 |     1276  30238 |        0 |        0
1636.03/1636.59	c 1636s |      27 | 17292306 | 15714933 |     1276  30267 |        0 |        0
1638.03/1638.59	c 1638s |      27 | 17313667 | 15733833 |     1276  30296 |        0 |        0
1640.13/1640.60	c 1640s |      27 | 17335273 | 15752533 |     1276  30324 |        0 |        0
1642.13/1642.61	c 1642s |      27 | 17356690 | 15771333 |     1276  30353 |        0 |        0
1644.13/1644.61	c 1644s |      27 | 17378231 | 15790133 |     1276  30382 |        0 |        0
1646.13/1646.61	c 1646s |      27 | 17399851 | 15808933 |     1276  30410 |        0 |        0
1648.12/1648.62	c 1648s |      27 | 17420357 | 15827333 |     1276  30439 |        0 |        0
1650.12/1650.62	c 1650s |      27 | 17441022 | 15845833 |     1276  30467 |        0 |        0
1652.12/1652.62	c 1652s |      27 | 17462308 | 15865033 |     1276  30496 |        0 |        0
1654.12/1654.63	c 1654s |      27 | 17484327 | 15884433 |     1276  30526 |        0 |        0
1656.13/1656.64	c 1656s |      27 | 17506171 | 15903833 |     1276  30556 |        0 |        0
1658.12/1658.64	c 1658s |      27 | 17527341 | 15923633 |     1276  30586 |        0 |        0
1660.12/1660.64	c 1660s |      27 | 17549037 | 15943033 |     1276  30616 |        0 |        0
1662.12/1662.64	c 1662s |      27 | 17570731 | 15962333 |     1276  30646 |        0 |        0
1664.12/1664.64	c 1664s |      27 | 17592208 | 15981833 |     1276  30676 |        0 |        0
1666.13/1666.65	c 1666s |      27 | 17613721 | 16001333 |     1276  30706 |        0 |        0
1668.12/1668.65	c 1668s |      27 | 17635814 | 16021233 |     1276  30736 |        0 |        0
1670.12/1670.66	c 1670s |      27 | 17656119 | 16039733 |     1276  30765 |        0 |        0
1672.12/1672.66	c 1672s |      27 | 17677192 | 16058633 |     1276  30793 |        0 |        0
1674.12/1674.67	c 1674s |      27 | 17698213 | 16077533 |     1276  30822 |        0 |        0
1676.12/1676.67	c 1676s |      27 | 17718596 | 16096333 |     1276  30851 |        0 |        0
1678.13/1678.68	c 1678s |      27 | 17739887 | 16115633 |     1276  30881 |        0 |        0
1680.12/1680.69	c 1680s |      27 | 17761103 | 16135033 |     1276  30911 |        0 |        0
1682.22/1682.70	c 1682s |      27 | 17782536 | 16153933 |     1276  30940 |        0 |        0
1684.22/1684.71	c 1684s |      27 | 17804526 | 16172933 |     1276  30969 |        0 |        0
1686.22/1686.71	c 1686s |      27 | 17826289 | 16192333 |     1276  30998 |        0 |        0
1688.22/1688.72	c 1688s |      27 | 17849068 | 16212633 |     1276  31030 |        0 |        0
1690.23/1690.72	c 1690s |      27 | 17870784 | 16232433 |     1276  31060 |        0 |        0
1692.22/1692.73	c 1692s |      27 | 17893646 | 16252433 |     1276  31091 |        0 |        0
1694.22/1694.74	c 1694s |      27 | 17914926 | 16271133 |     1276  31120 |        0 |        0
1696.22/1696.75	c 1696s |      27 | 17936453 | 16290033 |     1276  31148 |        0 |        0
1698.22/1698.75	c 1698s |      27 | 17957744 | 16308933 |     1276  31177 |        0 |        0
1700.23/1700.75	c 1700s |      27 | 17979565 | 16327733 |     1276  31206 |        0 |        0
1702.22/1702.77	c 1702s |      27 | 18001742 | 16347033 |     1276  31236 |        0 |        0
1704.22/1704.77	c 1704s |      27 | 18023816 | 16366433 |     1276  31265 |        0 |        0
1706.22/1706.78	c 1706s |      27 | 18045398 | 16385733 |     1276  31295 |        0 |        0
1708.22/1708.78	c 1708s |      27 | 18067022 | 16405433 |     1276  31325 |        0 |        0
1710.22/1710.78	c 1710s |      27 | 18088815 | 16425133 |     1276  31355 |        0 |        0
1712.22/1712.79	c 1712s |      27 | 18111069 | 16444533 |     1276  31385 |        0 |        0
1714.21/1714.79	c 1714s |      27 | 18132484 | 16463833 |     1276  31415 |        0 |        0
1716.21/1716.79	c 1716s |      27 | 18154719 | 16483033 |     1276  31444 |        0 |        0
1718.31/1718.80	c 1718s |      27 | 18176903 | 16502533 |     1276  31474 |        0 |        0
1720.31/1720.80	c 1720s |      27 | 18198105 | 16521833 |     1276  31504 |        0 |        0
1722.31/1722.81	c 1722s |      27 | 18219838 | 16541333 |     1276  31534 |        0 |        0
1724.31/1724.81	c 1724s |      27 | 18241819 | 16561233 |     1276  31565 |        0 |        0
1726.31/1726.81	c 1726s |      27 | 18263996 | 16581033 |     1276  31595 |        0 |        0
1728.31/1728.82	c 1728s |      27 | 18287900 | 16601533 |     1276  31627 |        0 |        0
1730.31/1730.82	c 1730s |      27 | 18308745 | 16620233 |     1276  31655 |        0 |        0
1732.31/1732.83	c 1732s |      27 | 18329779 | 16639333 |     1276  31684 |        0 |        0
1734.32/1734.83	c 1734s |      27 | 18350411 | 16658633 |     1276  31714 |        0 |        0
1736.31/1736.84	c 1736s |      27 | 18370954 | 16677533 |     1276  31743 |        0 |        0
1738.31/1738.85	c 1738s |      27 | 18392614 | 16696733 |     1276  31772 |        0 |        0
1740.31/1740.85	c 1740s |      27 | 18413831 | 16715733 |     1276  31801 |        0 |        0
1742.31/1742.86	c 1742s |      27 | 18435338 | 16734833 |     1276  31831 |        0 |        0
1744.31/1744.86	c 1744s |      27 | 18456549 | 16753933 |     1276  31860 |        0 |        0
1746.31/1746.86	c 1746s |      27 | 18478292 | 16773233 |     1276  31889 |        0 |        0
1748.31/1748.87	c 1748s |      27 | 18499468 | 16792633 |     1276  31919 |        0 |        0
1750.31/1750.87	c 1750s |      27 | 18521060 | 16812033 |     1276  31949 |        0 |        0
1752.30/1752.87	c 1752s |      27 | 18542727 | 16831733 |     1276  31979 |        0 |        0
1754.30/1754.88	c 1754s |      27 | 18564335 | 16851233 |     1276  32009 |        0 |        0
1756.31/1756.89	c 1756s |      27 | 18586614 | 16871133 |     1276  32040 |        0 |        0
1758.30/1758.89	c 1758s |      27 | 18608935 | 16890733 |     1276  32070 |        0 |        0
1760.30/1760.90	c 1760s |      27 | 18631079 | 16910333 |     1276  32100 |        0 |        0
1762.40/1762.90	c 1762s |      27 | 18654691 | 16930333 |     1276  32131 |        0 |        0
1764.41/1764.91	c 1764s |      27 | 18678167 | 16950733 |     1276  32162 |        0 |        0
1766.41/1766.91	c 1766s |      27 | 18701821 | 16970833 |     1276  32193 |        0 |        0
1768.41/1768.92	c 1768s |      27 | 18724267 | 16990633 |     1404  32221 |        0 |        0
1770.41/1770.92	c 1770s |      27 | 18745628 | 17009733 |     1404  32247 |        0 |        0
1772.41/1772.92	c 1772s |      27 | 18767907 | 17029433 |     1404  32275 |        0 |        0
1774.41/1774.93	c 1774s |      27 | 18790965 | 17049433 |     1404  32303 |        0 |        0
1776.41/1776.93	c 1776s |      27 | 18814177 | 17069833 |     1404  32331 |        0 |        0
1778.41/1778.94	c 1778s |      27 | 18837189 | 17090233 |     1404  32360 |        0 |        0
1778.91/1779.43	c 1779s |      28 | 18843213 | 17095205 |     1404  32366 |        0 |        0
1780.91/1781.43	c 1781s |      28 | 18864196 | 17113605 |     1404  32392 |        0 |        0
1782.91/1783.44	c 1783s |      28 | 18884994 | 17132205 |     1404  32418 |        0 |        0
1784.91/1785.44	c 1785s |      28 | 18906180 | 17150805 |     1404  32444 |        0 |        0
1786.90/1787.45	c 1787s |      28 | 18927741 | 17169605 |     1404  32470 |        0 |        0
1788.90/1789.46	c 1789s |      28 | 18948387 | 17187605 |     1404  32495 |        0 |        0
1790.90/1791.46	c 1791s |      28 | 18969231 | 17205605 |     1404  32520 |        0 |        0
1792.90/1793.47	c 1793s |      28 | 18989476 | 17223805 |     1404  32545 |        0 |        0
1794.90/1795.48	c 1795s |      28 | 19009124 | 17241605 |     1404  32570 |        0 |        0
1796.91/1797.48	c 1797s |      28 | 19029668 | 17259805 |     1404  32595 |        0 |        0
1798.90/1799.49	c 1799s |      28 | 19050329 | 17278105 |     1404  32620 |        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-4089232-1466023736/watcher-4089232-1466023736 -o /tmp/evaluation-result-4089232-1466023736/solver-4089232-1466023736 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node106-1466012020-5772 --watchdog 1960 toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4089232-1466023736.opb 

pid=7283
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.17 2.15 2.06 3/179 7286
/proc/meminfo: memFree=30420632/32872528 swapFree=524788/557492
[pid=7286] ppid=7283 vsize=279996 CPUtime=0 cores=0,2,4,6
/proc/7286/stat : 7286 (toysat) R 7283 7286 5756 0 -1 4202496 967 0 0 0 0 0 0 0 20 0 4 0 4423777 286715904 1838 33554432000 4194304 16246674 140734453318256 140734453317680 15002730 0 2 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/7286/statm: 70767 1847 441 2943 0 67661 0
[pid=7286/tid=7287] ppid=7283 vsize=296380 CPUtime=0 cores=0,2,4,6
/proc/7286/task/7287/stat : 7287 (toysat) S 7283 7286 5756 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 4423777 303493120 1902 33554432000 4194304 16246674 140734453318256 139838378454256 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=7286/tid=7288] ppid=7283 vsize=301500 CPUtime=0 cores=0,2,4,6
/proc/7286/task/7288/stat : 7288 (toysat) S 7283 7286 5756 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 4423777 308736000 1918 33554432000 4194304 16246674 140734453318256 139838296665328 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=7286/tid=7289] ppid=7283 vsize=304572 CPUtime=0 cores=0,2,4,6
/proc/7286/task/7289/stat : 7289 (toysat) S 7283 7286 5756 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 4423777 311881728 1934 33554432000 4194304 16246674 140734453318256 139838286191792 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0

[startup+0.100182 s]
/proc/loadavg: 2.17 2.15 2.06 3/179 7286
/proc/meminfo: memFree=30420632/32872528 swapFree=524788/557492
[pid=7286] ppid=7283 vsize=1218116 CPUtime=0.08 cores=0,2,4,6
/proc/7286/stat : 7286 (toysat) R 7283 7286 5756 0 -1 4202496 27813 0 0 0 4 4 0 0 20 0 4 0 4423777 1247350784 28674 33554432000 4194304 16246674 140734453318256 140734453317680 5546181 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/7286/statm: 304529 28688 711 2943 0 301423 0
[pid=7286/tid=7287] ppid=7283 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/7286/task/7287/stat : 7287 (toysat) S 7283 7286 5756 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 4423777 1247350784 28699 33554432000 4194304 16246674 140734453318256 139838378454256 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=7286/tid=7288] ppid=7283 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/7286/task/7288/stat : 7288 (toysat) S 7283 7286 5756 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 4423777 1247350784 28706 33554432000 4194304 16246674 140734453318256 139838296665328 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=7286/tid=7289] ppid=7283 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/7286/task/7289/stat : 7289 (toysat) S 7283 7286 5756 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 4423777 1247350784 28712 33554432000 4194304 16246674 140734453318256 139838286191792 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 1218116

[startup+0.200517 s]
/proc/loadavg: 2.17 2.15 2.06 3/179 7286
/proc/meminfo: memFree=30420632/32872528 swapFree=524788/557492
[pid=7286] ppid=7283 vsize=1218116 CPUtime=0.18 cores=0,2,4,6
/proc/7286/stat : 7286 (toysat) R 7283 7286 5756 0 -1 4202496 55988 0 0 0 11 7 0 0 20 0 4 0 4423777 1247350784 56848 33554432000 4194304 16246674 140734453318256 140734453317680 13954518 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/7286/statm: 304529 56863 711 2943 0 301423 0
[pid=7286/tid=7287] ppid=7283 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/7286/task/7287/stat : 7287 (toysat) S 7283 7286 5756 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 4423777 1247350784 56873 33554432000 4194304 16246674 140734453318256 139838378454256 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=7286/tid=7288] ppid=7283 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/7286/task/7288/stat : 7288 (toysat) S 7283 7286 5756 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 4423777 1247350784 56880 33554432000 4194304 16246674 140734453318256 139838296665328 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=7286/tid=7289] ppid=7283 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/7286/task/7289/stat : 7289 (toysat) S 7283 7286 5756 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 4423777 1247350784 56890 33554432000 4194304 16246674 140734453318256 139838286191792 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 0.18
Current children cumulated vsize (KiB) 1218116

[startup+0.30048 s]
/proc/loadavg: 2.17 2.15 2.06 3/179 7286
/proc/meminfo: memFree=30420632/32872528 swapFree=524788/557492
[pid=7286] ppid=7283 vsize=1218116 CPUtime=0.28 cores=0,2,4,6
/proc/7286/stat : 7286 (toysat) R 7283 7286 5756 0 -1 4202496 84100 0 0 0 17 11 0 0 20 0 4 0 4423777 1247350784 84961 33554432000 4194304 16246674 140734453318256 140734453317680 12478333 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/7286/statm: 304529 84976 711 2943 0 301423 0
[pid=7286/tid=7287] ppid=7283 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/7286/task/7287/stat : 7287 (toysat) S 7283 7286 5756 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 4423777 1247350784 84982 33554432000 4194304 16246674 140734453318256 139838378454256 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=7286/tid=7288] ppid=7283 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/7286/task/7288/stat : 7288 (toysat) S 7283 7286 5756 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 4423777 1247350784 84994 33554432000 4194304 16246674 140734453318256 139838296665328 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=7286/tid=7289] ppid=7283 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/7286/task/7289/stat : 7289 (toysat) S 7283 7286 5756 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 4423777 1247350784 85002 33554432000 4194304 16246674 140734453318256 139838286191792 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 1218116

[startup+0.700414 s]
/proc/loadavg: 2.17 2.15 2.06 3/179 7286
/proc/meminfo: memFree=30420632/32872528 swapFree=524788/557492
[pid=7286] ppid=7283 vsize=1218116 CPUtime=0.68 cores=0,2,4,6
/proc/7286/stat : 7286 (toysat) R 7283 7286 5756 0 -1 4202496 195609 0 0 0 42 26 0 0 20 0 4 0 4423777 1247350784 196470 33554432000 4194304 16246674 140734453318256 140734453317680 12875570 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/7286/statm: 304529 196484 711 2943 0 301423 0
[pid=7286/tid=7287] ppid=7283 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/7286/task/7287/stat : 7287 (toysat) S 7283 7286 5756 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 4423777 1247350784 196489 33554432000 4194304 16246674 140734453318256 139838378454256 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=7286/tid=7288] ppid=7283 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/7286/task/7288/stat : 7288 (toysat) S 7283 7286 5756 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 4423777 1247350784 196500 33554432000 4194304 16246674 140734453318256 139838296665328 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=7286/tid=7289] ppid=7283 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/7286/task/7289/stat : 7289 (toysat) S 7283 7286 5756 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 4423777 1247350784 196509 33554432000 4194304 16246674 140734453318256 139838286191792 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 1218116

[startup+1.50041 s]
/proc/loadavg: 2.16 2.15 2.06 3/183 7290
/proc/meminfo: memFree=29435912/32872528 swapFree=524788/557492
[pid=7286] ppid=7283 vsize=1305156 CPUtime=1.49 cores=0,2,4,6
/proc/7286/stat : 7286 (toysat) R 7283 7286 5756 0 -1 4202496 263995 0 0 0 114 35 0 0 20 0 4 0 4423777 1336479744 264835 33554432000 4194304 16246674 140734453318256 140734453300160 5707789 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/7286/statm: 326289 264850 788 2943 0 323183 0
[pid=7286/tid=7287] ppid=7283 vsize=1305156 CPUtime=0 cores=0,2,4,6
/proc/7286/task/7287/stat : 7287 (toysat) S 7283 7286 5756 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 4423777 1336479744 264859 33554432000 4194304 16246674 140734453318256 139838378454256 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=7286/tid=7288] ppid=7283 vsize=1305156 CPUtime=0 cores=0,2,4,6
/proc/7286/task/7288/stat : 7288 (toysat) S 7283 7286 5756 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 4423777 1336479744 264865 33554432000 4194304 16246674 140734453318256 139838296665328 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=7286/tid=7289] ppid=7283 vsize=1305156 CPUtime=0 cores=0,2,4,6
/proc/7286/task/7289/stat : 7289 (toysat) S 7283 7286 5756 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 4423777 1336479744 264874 33554432000 4194304 16246674 140734453318256 139838286191792 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 1305156

[startup+3.10041 s]
/proc/loadavg: 2.16 2.15 2.06 3/183 7290
/proc/meminfo: memFree=29347880/32872528 swapFree=524788/557492
[pid=7286] ppid=7283 vsize=1306180 CPUtime=3.09 cores=0,2,4,6
/proc/7286/stat : 7286 (toysat) R 7283 7286 5756 0 -1 4202496 267394 0 0 0 273 36 0 0 20 0 4 0 4423777 1337528320 268234 33554432000 4194304 16246674 140734453318256 140734453300160 12483286 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/7286/statm: 326545 268234 788 2943 0 323439 0
[pid=7286/tid=7287] ppid=7283 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/7286/task/7287/stat : 7287 (toysat) S 7283 7286 5756 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 4423777 1337528320 268234 33554432000 4194304 16246674 140734453318256 139838378454256 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=7286/tid=7288] ppid=7283 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/7286/task/7288/stat : 7288 (toysat) S 7283 7286 5756 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 4423777 1337528320 268234 33554432000 4194304 16246674 140734453318256 139838296665328 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=7286/tid=7289] ppid=7283 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/7286/task/7289/stat : 7289 (toysat) S 7283 7286 5756 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 4423777 1337528320 268234 33554432000 4194304 16246674 140734453318256 139838286191792 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 1306180

[startup+6.30042 s]
/proc/loadavg: 2.16 2.15 2.06 3/183 7290
/proc/meminfo: memFree=29348164/32872528 swapFree=524788/557492
[pid=7286] ppid=7283 vsize=1306180 CPUtime=6.29 cores=0,2,4,6
/proc/7286/stat : 7286 (toysat) R 7283 7286 5756 0 -1 4202496 267438 0 0 0 593 36 0 0 20 0 4 0 4423777 1337528320 268278 33554432000 4194304 16246674 140734453318256 140734453300160 5722490 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/7286/statm: 326545 268278 788 2943 0 323439 0
[pid=7286/tid=7287] ppid=7283 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/7286/task/7287/stat : 7287 (toysat) S 7283 7286 5756 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 4423777 1337528320 268278 33554432000 4194304 16246674 140734453318256 139838378454256 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=7286/tid=7288] ppid=7283 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/7286/task/7288/stat : 7288 (toysat) S 7283 7286 5756 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 4423777 1337528320 268278 33554432000 4194304 16246674 140734453318256 139838296665328 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=7286/tid=7289] ppid=7283 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/7286/task/7289/stat : 7289 (toysat) S 7283 7286 5756 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 4423777 1337528320 268278 33554432000 4194304 16246674 140734453318256 139838286191792 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 1306180

[startup+12.7004 s]
/proc/loadavg: 2.13 2.14 2.06 3/183 7290
/proc/meminfo: memFree=29347824/32872528 swapFree=524788/557492
[pid=7286] ppid=7283 vsize=1306180 CPUtime=12.68 cores=0,2,4,6
/proc/7286/stat : 7286 (toysat) R 7283 7286 5756 0 -1 4202496 267467 0 0 0 1232 36 0 0 20 0 4 0 4423777 1337528320 268307 33554432000 4194304 16246674 140734453318256 140734453301256 13950192 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/7286/statm: 326545 268307 788 2943 0 323439 0
[pid=7286/tid=7287] ppid=7283 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/7286/task/7287/stat : 7287 (toysat) S 7283 7286 5756 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 4423777 1337528320 268307 33554432000 4194304 16246674 140734453318256 139838378454256 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=7286/tid=7288] ppid=7283 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/7286/task/7288/stat : 7288 (toysat) S 7283 7286 5756 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 4423777 1337528320 268307 33554432000 4194304 16246674 140734453318256 139838296665328 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=7286/tid=7289] ppid=7283 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/7286/task/7289/stat : 7289 (toysat) S 7283 7286 5756 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 4423777 1337528320 268307 33554432000 4194304 16246674 140734453318256 139838286191792 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 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.19 2.16 2.07 3/183 7290
/proc/meminfo: memFree=29347624/32872528 swapFree=524788/557492
[pid=7286] ppid=7283 vsize=1306180 CPUtime=25.49 cores=0,2,4,6
/proc/7286/stat : 7286 (toysat) R 7283 7286 5756 0 -1 4202496 267499 0 0 0 2512 37 0 0 20 0 4 0 4423777 1337528320 268339 33554432000 4194304 16246674 140734453318256 140734453301256 12483204 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/7286/statm: 326545 268339 790 2943 0 323439 0
[pid=7286/tid=7287] ppid=7283 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/7286/task/7287/stat : 7287 (toysat) S 7283 7286 5756 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 4423777 1337528320 268339 33554432000 4194304 16246674 140734453318256 139838378454256 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=7286/tid=7288] ppid=7283 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/7286/task/7288/stat : 7288 (toysat) S 7283 7286 5756 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 4423777 1337528320 268339 33554432000 4194304 16246674 140734453318256 139838296665328 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=7286/tid=7289] ppid=7283 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/7286/task/7289/stat : 7289 (toysat) S 7283 7286 5756 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 4423777 1337528320 268339 33554432000 4194304 16246674 140734453318256 139838286191792 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 1306180

[startup+51.1005 s]
/proc/loadavg: 2.19 2.16 2.07 3/183 7290
/proc/meminfo: memFree=29347384/32872528 swapFree=524788/557492
[pid=7286] ppid=7283 vsize=1306180 CPUtime=51.08 cores=0,2,4,6
/proc/7286/stat : 7286 (toysat) R 7283 7286 5756 0 -1 4202496 267517 0 0 0 5071 37 0 0 20 0 4 0 4423777 1337528320 268357 33554432000 4194304 16246674 140734453318256 140734453300160 13949872 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/7286/statm: 326545 268357 790 2943 0 323439 0
[pid=7286/tid=7287] ppid=7283 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/7286/task/7287/stat : 7287 (toysat) S 7283 7286 5756 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 4423777 1337528320 268357 33554432000 4194304 16246674 140734453318256 139838378454256 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=7286/tid=7288] ppid=7283 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/7286/task/7288/stat : 7288 (toysat) S 7283 7286 5756 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 4423777 1337528320 268357 33554432000 4194304 16246674 140734453318256 139838296665328 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=7286/tid=7289] ppid=7283 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/7286/task/7289/stat : 7289 (toysat) S 7283 7286 5756 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 4423777 1337528320 268357 33554432000 4194304 16246674 140734453318256 139838286191792 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 1306180

[startup+102.301 s]
/proc/loadavg: 2.15 2.14 2.07 3/184 7294
/proc/meminfo: memFree=29346064/32872528 swapFree=524788/557492
[pid=7286] ppid=7283 vsize=1307204 CPUtime=102.28 cores=0,2,4,6
/proc/7286/stat : 7286 (toysat) R 7283 7286 5756 0 -1 4202496 267760 0 0 0 10189 39 0 0 20 0 4 0 4423777 1338576896 268600 33554432000 4194304 16246674 140734453318256 140734453301256 6020448 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/7286/statm: 326801 268600 790 2943 0 323695 0
[pid=7286/tid=7287] ppid=7283 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/7286/task/7287/stat : 7287 (toysat) S 7283 7286 5756 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 4423777 1338576896 268600 33554432000 4194304 16246674 140734453318256 139838378454256 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=7286/tid=7288] ppid=7283 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/7286/task/7288/stat : 7288 (toysat) S 7283 7286 5756 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 4423777 1338576896 268600 33554432000 4194304 16246674 140734453318256 139838296665328 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=7286/tid=7289] ppid=7283 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/7286/task/7289/stat : 7289 (toysat) S 7283 7286 5756 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 4423777 1338576896 268600 33554432000 4194304 16246674 140734453318256 139838286191792 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 1307204


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

/proc/7286/task/7289/stat : 7289 (toysat) S 7283 7286 5756 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 4423777 1342771200 269696 33554432000 4194304 16246674 140734453318256 139838286191792 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1301.89
Current children cumulated vsize (KiB) 1311300

[startup+1362.3 s]
/proc/loadavg: 2.05 2.09 2.08 3/183 7396
/proc/meminfo: memFree=29339264/32872528 swapFree=524788/557492
[pid=7286] ppid=7283 vsize=1311300 CPUtime=1361.87 cores=0,2,4,6
/proc/7286/stat : 7286 (toysat) R 7283 7286 5756 0 -1 4202496 269219 0 0 0 136120 67 0 0 20 0 4 0 4423777 1342771200 269696 33554432000 4194304 16246674 140734453318256 140734453300160 5523080 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/7286/statm: 327825 269696 792 2943 0 324719 0
[pid=7286/tid=7287] ppid=7283 vsize=1311300 CPUtime=0 cores=0,2,4,6
/proc/7286/task/7287/stat : 7287 (toysat) S 7283 7286 5756 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 4423777 1342771200 269696 33554432000 4194304 16246674 140734453318256 139838378454256 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=7286/tid=7288] ppid=7283 vsize=1311300 CPUtime=0 cores=0,2,4,6
/proc/7286/task/7288/stat : 7288 (toysat) S 7283 7286 5756 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 4423777 1342771200 269696 33554432000 4194304 16246674 140734453318256 139838296665328 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=7286/tid=7289] ppid=7283 vsize=1311300 CPUtime=0 cores=0,2,4,6
/proc/7286/task/7289/stat : 7289 (toysat) S 7283 7286 5756 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 4423777 1342771200 269696 33554432000 4194304 16246674 140734453318256 139838286191792 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1361.87
Current children cumulated vsize (KiB) 1311300

[startup+1422.3 s]
/proc/loadavg: 2.02 2.07 2.08 3/183 7397
/proc/meminfo: memFree=29338432/32872528 swapFree=524788/557492
[pid=7286] ppid=7283 vsize=1311300 CPUtime=1421.87 cores=0,2,4,6
/proc/7286/stat : 7286 (toysat) R 7283 7286 5756 0 -1 4202496 269219 0 0 0 142119 68 0 0 20 0 4 0 4423777 1342771200 269696 33554432000 4194304 16246674 140734453318256 140734453301248 5721725 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/7286/statm: 327825 269696 792 2943 0 324719 0
[pid=7286/tid=7287] ppid=7283 vsize=1311300 CPUtime=0 cores=0,2,4,6
/proc/7286/task/7287/stat : 7287 (toysat) S 7283 7286 5756 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 4423777 1342771200 269696 33554432000 4194304 16246674 140734453318256 139838378454256 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=7286/tid=7288] ppid=7283 vsize=1311300 CPUtime=0 cores=0,2,4,6
/proc/7286/task/7288/stat : 7288 (toysat) S 7283 7286 5756 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 4423777 1342771200 269696 33554432000 4194304 16246674 140734453318256 139838296665328 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=7286/tid=7289] ppid=7283 vsize=1311300 CPUtime=0 cores=0,2,4,6
/proc/7286/task/7289/stat : 7289 (toysat) S 7283 7286 5756 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 4423777 1342771200 269696 33554432000 4194304 16246674 140734453318256 139838286191792 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1421.87
Current children cumulated vsize (KiB) 1311300

[startup+1482.3 s]
/proc/loadavg: 2.15 2.10 2.09 3/183 7399
/proc/meminfo: memFree=29337644/32872528 swapFree=524788/557492
[pid=7286] ppid=7283 vsize=1311300 CPUtime=1481.85 cores=0,2,4,6
/proc/7286/stat : 7286 (toysat) R 7283 7286 5756 0 -1 4202496 269219 0 0 0 148116 69 0 0 20 0 4 0 4423777 1342771200 269696 33554432000 4194304 16246674 140734453318256 140734453301248 13943664 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/7286/statm: 327825 269696 792 2943 0 324719 0
[pid=7286/tid=7287] ppid=7283 vsize=1311300 CPUtime=0 cores=0,2,4,6
/proc/7286/task/7287/stat : 7287 (toysat) S 7283 7286 5756 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 4423777 1342771200 269696 33554432000 4194304 16246674 140734453318256 139838378454256 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=7286/tid=7288] ppid=7283 vsize=1311300 CPUtime=0 cores=0,2,4,6
/proc/7286/task/7288/stat : 7288 (toysat) S 7283 7286 5756 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 4423777 1342771200 269696 33554432000 4194304 16246674 140734453318256 139838296665328 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=7286/tid=7289] ppid=7283 vsize=1311300 CPUtime=0 cores=0,2,4,6
/proc/7286/task/7289/stat : 7289 (toysat) S 7283 7286 5756 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 4423777 1342771200 269696 33554432000 4194304 16246674 140734453318256 139838286191792 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1481.85
Current children cumulated vsize (KiB) 1311300

[startup+1542.31 s]
/proc/loadavg: 2.05 2.08 2.08 3/183 7400
/proc/meminfo: memFree=29337784/32872528 swapFree=524788/557492
[pid=7286] ppid=7283 vsize=1311300 CPUtime=1541.85 cores=0,2,4,6
/proc/7286/stat : 7286 (toysat) R 7283 7286 5756 0 -1 4202496 269219 0 0 0 154114 71 0 0 20 0 4 0 4423777 1342771200 269696 33554432000 4194304 16246674 140734453318256 140734453300160 5667488 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/7286/statm: 327825 269696 792 2943 0 324719 0
[pid=7286/tid=7287] ppid=7283 vsize=1311300 CPUtime=0 cores=0,2,4,6
/proc/7286/task/7287/stat : 7287 (toysat) S 7283 7286 5756 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 4423777 1342771200 269696 33554432000 4194304 16246674 140734453318256 139838378454256 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=7286/tid=7288] ppid=7283 vsize=1311300 CPUtime=0 cores=0,2,4,6
/proc/7286/task/7288/stat : 7288 (toysat) S 7283 7286 5756 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 4423777 1342771200 269696 33554432000 4194304 16246674 140734453318256 139838296665328 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=7286/tid=7289] ppid=7283 vsize=1311300 CPUtime=0 cores=0,2,4,6
/proc/7286/task/7289/stat : 7289 (toysat) S 7283 7286 5756 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 4423777 1342771200 269696 33554432000 4194304 16246674 140734453318256 139838286191792 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1541.85
Current children cumulated vsize (KiB) 1311300

[startup+1602.3 s]
/proc/loadavg: 2.14 2.10 2.09 3/183 7401
/proc/meminfo: memFree=29336904/32872528 swapFree=524788/557492
[pid=7286] ppid=7283 vsize=1313348 CPUtime=1601.83 cores=0,2,4,6
/proc/7286/stat : 7286 (toysat) R 7283 7286 5756 0 -1 4202496 269620 0 0 0 160111 72 0 0 20 0 4 0 4423777 1344868352 270097 33554432000 4194304 16246674 140734453318256 140734453300160 5676387 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/7286/statm: 328337 270097 792 2943 0 325231 0
[pid=7286/tid=7287] ppid=7283 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/7286/task/7287/stat : 7287 (toysat) S 7283 7286 5756 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 4423777 1344868352 270097 33554432000 4194304 16246674 140734453318256 139838378454256 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=7286/tid=7288] ppid=7283 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/7286/task/7288/stat : 7288 (toysat) S 7283 7286 5756 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 4423777 1344868352 270097 33554432000 4194304 16246674 140734453318256 139838296665328 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=7286/tid=7289] ppid=7283 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/7286/task/7289/stat : 7289 (toysat) S 7283 7286 5756 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 4423777 1344868352 270097 33554432000 4194304 16246674 140734453318256 139838286191792 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1601.83
Current children cumulated vsize (KiB) 1313348

[startup+1662.3 s]
/proc/loadavg: 2.09 2.10 2.09 3/183 7402
/proc/meminfo: memFree=29336368/32872528 swapFree=524788/557492
[pid=7286] ppid=7283 vsize=1313348 CPUtime=1661.82 cores=0,2,4,6
/proc/7286/stat : 7286 (toysat) R 7283 7286 5756 0 -1 4202496 269731 0 0 0 166108 74 0 0 20 0 4 0 4423777 1344868352 270208 33554432000 4194304 16246674 140734453318256 140734453300160 5661363 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/7286/statm: 328337 270208 792 2943 0 325231 0
[pid=7286/tid=7287] ppid=7283 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/7286/task/7287/stat : 7287 (toysat) S 7283 7286 5756 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 4423777 1344868352 270208 33554432000 4194304 16246674 140734453318256 139838378454256 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=7286/tid=7288] ppid=7283 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/7286/task/7288/stat : 7288 (toysat) S 7283 7286 5756 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 4423777 1344868352 270208 33554432000 4194304 16246674 140734453318256 139838296665328 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=7286/tid=7289] ppid=7283 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/7286/task/7289/stat : 7289 (toysat) S 7283 7286 5756 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 4423777 1344868352 270208 33554432000 4194304 16246674 140734453318256 139838286191792 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1661.82
Current children cumulated vsize (KiB) 1313348

[startup+1722.3 s]
/proc/loadavg: 2.03 2.08 2.08 3/183 7403
/proc/meminfo: memFree=29336488/32872528 swapFree=524788/557492
[pid=7286] ppid=7283 vsize=1313348 CPUtime=1721.81 cores=0,2,4,6
/proc/7286/stat : 7286 (toysat) R 7283 7286 5756 0 -1 4202496 269731 0 0 0 172106 75 0 0 20 0 4 0 4423777 1344868352 270208 33554432000 4194304 16246674 140734453318256 140734453300160 5664803 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/7286/statm: 328337 270208 792 2943 0 325231 0
[pid=7286/tid=7287] ppid=7283 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/7286/task/7287/stat : 7287 (toysat) S 7283 7286 5756 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 4423777 1344868352 270208 33554432000 4194304 16246674 140734453318256 139838378454256 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=7286/tid=7288] ppid=7283 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/7286/task/7288/stat : 7288 (toysat) S 7283 7286 5756 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 4423777 1344868352 270208 33554432000 4194304 16246674 140734453318256 139838296665328 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=7286/tid=7289] ppid=7283 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/7286/task/7289/stat : 7289 (toysat) S 7283 7286 5756 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 4423777 1344868352 270208 33554432000 4194304 16246674 140734453318256 139838286191792 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1721.81
Current children cumulated vsize (KiB) 1313348

[startup+1782.3 s]
/proc/loadavg: 2.01 2.06 2.08 3/183 7405
/proc/meminfo: memFree=29336276/32872528 swapFree=524788/557492
[pid=7286] ppid=7283 vsize=1313348 CPUtime=1781.81 cores=0,2,4,6
/proc/7286/stat : 7286 (toysat) R 7283 7286 5756 0 -1 4202496 269731 0 0 0 178104 77 0 0 20 0 4 0 4423777 1344868352 270208 33554432000 4194304 16246674 140734453318256 140734453300160 12470248 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/7286/statm: 328337 270208 792 2943 0 325231 0
[pid=7286/tid=7287] ppid=7283 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/7286/task/7287/stat : 7287 (toysat) S 7283 7286 5756 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 4423777 1344868352 270208 33554432000 4194304 16246674 140734453318256 139838378454256 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=7286/tid=7288] ppid=7283 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/7286/task/7288/stat : 7288 (toysat) S 7283 7286 5756 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 4423777 1344868352 270208 33554432000 4194304 16246674 140734453318256 139838296665328 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=7286/tid=7289] ppid=7283 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/7286/task/7289/stat : 7289 (toysat) S 7283 7286 5756 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 4423777 1344868352 270208 33554432000 4194304 16246674 140734453318256 139838286191792 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1781.81
Current children cumulated vsize (KiB) 1313348



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.5 s]
/proc/loadavg: 2.01 2.06 2.08 3/183 7405
/proc/meminfo: memFree=29336404/32872528 swapFree=524788/557492
[pid=7286] ppid=7283 vsize=1313348 CPUtime=1800 cores=0,2,4,6
/proc/7286/stat : 7286 (toysat) R 7283 7286 5756 0 -1 4202496 269731 0 0 0 179923 77 0 0 20 0 4 0 4423777 1344868352 270208 33554432000 4194304 16246674 140734453318256 140734453300160 6012272 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/7286/statm: 328337 270208 792 2943 0 325231 0
[pid=7286/tid=7287] ppid=7283 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/7286/task/7287/stat : 7287 (toysat) S 7283 7286 5756 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 4423777 1344868352 270208 33554432000 4194304 16246674 140734453318256 139838378454256 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=7286/tid=7288] ppid=7283 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/7286/task/7288/stat : 7288 (toysat) S 7283 7286 5756 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 4423777 1344868352 270208 33554432000 4194304 16246674 140734453318256 139838296665328 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=7286/tid=7289] ppid=7283 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/7286/task/7289/stat : 7289 (toysat) S 7283 7286 5756 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 4423777 1344868352 270208 33554432000 4194304 16246674 140734453318256 139838286191792 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1800
Current children cumulated vsize (KiB) 1313348

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

[startup+1800.5 s]
/proc/loadavg: 2.01 2.06 2.08 3/183 7405
/proc/meminfo: memFree=29336404/32872528 swapFree=524788/557492
[pid=7286] ppid=7283 vsize=1313348 CPUtime=1800 cores=0,2,4,6
/proc/7286/stat : 7286 (toysat) R 7283 7286 5756 0 -1 4202496 269731 0 0 0 179923 77 0 0 20 0 4 0 4423777 1344868352 270208 33554432000 4194304 16246674 140734453318256 140734453300160 6012272 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/7286/statm: 328337 270208 792 2943 0 325231 0
[pid=7286/tid=7287] ppid=7283 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/7286/task/7287/stat : 7287 (toysat) S 7283 7286 5756 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 4423777 1344868352 270208 33554432000 4194304 16246674 140734453318256 139838378454256 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=7286/tid=7288] ppid=7283 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/7286/task/7288/stat : 7288 (toysat) S 7283 7286 5756 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 4423777 1344868352 270208 33554432000 4194304 16246674 140734453318256 139838296665328 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=7286/tid=7289] ppid=7283 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/7286/task/7289/stat : 7289 (toysat) S 7283 7286 5756 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 4423777 1344868352 270208 33554432000 4194304 16246674 140734453318256 139838286191792 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1800
Current children cumulated vsize (KiB) 1313348

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1800.51
CPU time (s): 1800.01
CPU user time (s): 1799.24
CPU system time (s): 0.774882
CPU usage (%): 99.9724
Max. virtual memory (cumulated for all children) (KiB): 1313348

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.24
system time used= 0.774882
maximum resident set size= 1080832
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 269731
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= 392
involuntary context switches= 2499

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 4.37933 second user time and 7.13692 second system time

The end

Begin job on node106 at 2016-06-15 22:48:56
IDJOB=4089232
IDBENCH=107377
IDSOLVER=2542
FILE ID=node106/4089232-1466023736
RUNJOBID= node106-1466012020-5772
PBS_JOBID= 19902815
Free space on /tmp= 71724 MiB

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

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

MD5SUM BENCH= e460fab45884ebfb63aa93039269abf5
RANDOM SEED=120021911

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

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:       32872528 kB
MemFree:        30421160 kB
Buffers:           27076 kB
Cached:            74512 kB
SwapCached:         1480 kB
Active:          1148976 kB
Inactive:          34708 kB
Active(anon):    1083276 kB
Inactive(anon):     1188 kB
Active(file):      65700 kB
Inactive(file):    33520 kB
Unevictable:      557492 kB
Mlocked:          524788 kB
SwapTotal:      67108856 kB
SwapFree:       67099844 kB
Dirty:             16404 kB
Writeback:            24 kB
AnonPages:       1638804 kB
Mapped:            10452 kB
Shmem:                 0 kB
Slab:             576660 kB
SReclaimable:      20680 kB
SUnreclaim:       555980 kB
KernelStack:        1464 kB
PageTables:         7464 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    1782840 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:   1107968 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:        7552 kB
DirectMap2M:    33538048 kB

Free space on /tmp at the end= 71708 MiB
End job on node106 at 2016-06-15 23:18:57