0.00/0.00	c 2016-06-30T21:58:33+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-4122466-1467316713.opb"]
0.00/0.01	c use --random-gen="2415332483 1546491382 222531727 2306037027 3928474951 2129387254 2523394137 2233326519 2574001778 949613835 343754812 4068632956 1442498462 1455197671 441810893 2371058111 1748229610 200135036 2050284612 1282254764 851413033 2752765668 483459896 1926475916 4140311127 371524997 1412728249 3822655808 4241298091 2332677266 1011652786 3919913182 4114119910 3007883800 2639378279 1353092731 1308009846 1882556422 81979890 2060479771 1325482754 3073405563 4278748822 1988629877 1541937514 2076885806 1584020046 1144839617 2096126530 1152210725 4093096007 2926317938 4205534184 4118533756 3685096204 1642438002 2052276790 1427631323 2520064129 712694253 2621644250 411179729 2163559643 746788534 3071527130 1017608418 1300441007 1400721367 1033324244 1150844827 4002620961 2179088166 3725258771 326812408 2821439384 1643853435 1043810533 723439146 3413612058 2622333333 176676155 1897676815 4032261269 854012571 4268873121 1889717136 262299214 1334583947 2464140062 263799904 2457037412 3702046349 2803866907 2284121051 1442445597 1672926832 122235982 3028798911 2608819094 4227344405 420724094 2767439777 498393172 349223510 1371257696 166869490 1701646069 2198269794 645682776 756321858 1364448995 839755511 3036373346 2417019978 2197577787 1209748299 3833180189 2204113812 2531734379 786181562 3104985713 2569384352 3378473476 2358023760 285653137 3715705565 1288298706 132696114 2372237950 1732798291 2110968390 2335663862 3959033965 4170514978 4068407976 475514361 2726867326 1536351275 1810975785 1298799227 471774891 444803133 4093714963 2790507367 523423150 1638393008 2968228003 4020583962 1574137706 4178435869 1811291387 2843361143 571999313 2080792455 3634872362 2460179972 782884460 2669507968 294745506 2908997743 3646692976 3307429528 47994742 364822566 1167540380 4011360032 643658147 1443205895 2346370716 3450356715 357539031 1000303829 1613321695 1301124409 3841235745 538687081 2993839768 2297708822 144782622 1834067524 3066886165 347213363 1378546574 377267869 4061626459 1641175827 1423027191 2488151801 2908982576 3201778489 852359513 1903597940 2600737738 2279556855 2340849104 2352975839 900416601 3785080287 2750166794 926989190 657809075 1847604102 1266566750 497430744 3599173749 2444124674 207656557 34712050 2535952793 1012701286 3410421811 4167235184 1521288419 3041554108 146815059 2238257766 1228191150 403590478 3869004294 4190114943 2468441305 2886280754 1511935013 1077153999 1514187895 2179194773 2804166070 2625595363 2669315670 1567905133 3940835935 871091456 33465767 1338827522 2616308997 2602213812 1436340587 148028192 938522407 3699897893 2775434332 1507593862 1086884972 2552492594 2198375574 1097222136 926615819 2138828545 1629389031 1519355254 2672964402 2667789400 2443145715 3657124131 2680699592 1346674936 255 362436" option to reproduce the execution
0.00/0.01	c #vars 241
0.00/0.01	c #constraints 240
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 |      160      0 |        0 |        0
0.00/0.03	c  0.0s |       1 |      155 |      100 |      160      0 |        0 |        0
0.00/0.04	c  0.0s |       2 |      406 |      250 |      176      0 |        0 |        0
0.00/0.06	c  0.0s |       3 |      737 |      475 |      194      1 |        0 |        0
0.00/0.09	c  0.1s |       4 |     1218 |      813 |      214      3 |        0 |        0
0.09/0.15	c  0.1s |       5 |     1923 |     1320 |      236      6 |        0 |        0
0.18/0.22	c  0.2s |       6 |     3082 |     2081 |      286     10 |        0 |        0
0.28/0.35	c  0.3s |       7 |     4653 |     3223 |      315     15 |        0 |        0
0.49/0.54	c  0.5s |       8 |     6934 |     4936 |      347     23 |        0 |        0
0.78/0.84	c  0.8s |       9 |    10319 |     7506 |      382     33 |        0 |        0
1.09/1.20	c  1.2s |      10 |    15249 |    11361 |      421     47 |        0 |        0
1.68/1.70	c  1.7s |      11 |    23112 |    17144 |      464     68 |        0 |        0
2.38/2.45	c  2.4s |      12 |    33903 |    25819 |      511    103 |        0 |        0
3.58/3.61	c  3.6s |      13 |    51454 |    38832 |      563    143 |        0 |        0
5.28/5.32	c  5.3s |      14 |    77210 |    58352 |      620    200 |        0 |        0
7.28/7.33	c  7.3s |      14 |   104705 |    79252 |      620    255 |        0 |        0
8.08/8.14	c  8.1s |      15 |   115712 |    87632 |      682    277 |        0 |        0
10.09/10.15	c 10.1s |      15 |   142832 |   108932 |      682    329 |        0 |        0
12.09/12.16	c 12.1s |      15 |   171815 |   130732 |      751    383 |        0 |        0
12.19/12.24	c 12.2s |      16 |   172927 |   131552 |      751    385 |        0 |        0
14.18/14.24	c 14.2s |      16 |   201443 |   152952 |      751    433 |        0 |        0
16.18/16.25	c 16.2s |      16 |   231335 |   175352 |      751    485 |        0 |        0
18.18/18.25	c 18.2s |      16 |   260570 |   197352 |      827    535 |        0 |        0
18.18/18.26	c 18.2s |      17 |   260711 |   197432 |      827    535 |        0 |        0
20.18/20.26	c 20.2s |      17 |   287613 |   217832 |      827    577 |        0 |        0
22.18/22.27	c 22.2s |      17 |   315996 |   239032 |      827    621 |        0 |        0
24.19/24.28	c 24.3s |      17 |   344350 |   260032 |      827    664 |        0 |        0
26.18/26.28	c 26.3s |      17 |   373411 |   281132 |      827    708 |        0 |        0
27.78/27.82	c 27.8s |      18 |   393477 |   296252 |      910    739 |        0 |        0
29.78/29.83	c 29.8s |      18 |   421961 |   317452 |      910    781 |        0 |        0
31.78/31.83	c 31.8s |      18 |   449967 |   338252 |      910    821 |        0 |        0
33.77/33.84	c 33.8s |      18 |   477088 |   358752 |      910    861 |        0 |        0
35.77/35.84	c 35.8s |      18 |   504314 |   379052 |      910    901 |        0 |        0
37.77/37.85	c 37.8s |      18 |   531289 |   399352 |      910    939 |        0 |        0
39.77/39.86	c 39.8s |      18 |   560249 |   420452 |      910    981 |        0 |        0
41.79/41.87	c 41.8s |      18 |   586572 |   440852 |      910   1021 |        0 |        0
42.18/42.22	c 42.2s |      19 |   591512 |   444482 |     1002   1027 |        0 |        0
44.18/44.23	c 44.2s |      19 |   613031 |   461982 |     1002   1058 |        0 |        0
46.19/46.23	c 46.2s |      19 |   637513 |   480682 |     1002   1091 |        0 |        0
48.18/48.24	c 48.2s |      19 |   661710 |   499482 |     1002   1125 |        0 |        0
50.18/50.25	c 50.2s |      19 |   687206 |   518882 |     1002   1159 |        0 |        0
52.18/52.25	c 52.2s |      19 |   712258 |   537782 |     1002   1193 |        0 |        0
54.17/54.26	c 54.2s |      19 |   739301 |   557782 |     1002   1228 |        0 |        0
56.18/56.27	c 56.2s |      19 |   767011 |   578682 |     1002   1266 |        0 |        0
58.17/58.27	c 58.2s |      19 |   794467 |   599682 |     1002   1303 |        0 |        0
60.17/60.27	c 60.3s |      19 |   819976 |   619282 |     1002   1338 |        0 |        0
62.17/62.27	c 62.3s |      19 |   847041 |   640182 |     1002   1376 |        0 |        0
64.17/64.27	c 64.3s |      19 |   875064 |   661082 |     1002   1414 |        0 |        0
64.77/64.82	c 64.8s |      20 |   882967 |   666827 |     1103   1424 |        0 |        0
66.77/66.83	c 66.8s |      20 |   906380 |   685027 |     1103   1453 |        0 |        0
68.77/68.83	c 68.8s |      20 |   929212 |   702927 |     1103   1483 |        0 |        0
70.77/70.84	c 70.8s |      20 |   953265 |   721427 |     1103   1513 |        0 |        0
72.77/72.85	c 72.8s |      20 |   975287 |   738727 |     1103   1541 |        0 |        0
74.78/74.86	c 74.8s |      20 |   996279 |   755527 |     1103   1568 |        0 |        0
76.77/76.87	c 76.8s |      20 |  1017949 |   772727 |     1103   1596 |        0 |        0
78.77/78.87	c 78.9s |      20 |  1040848 |   790727 |     1103   1626 |        0 |        0
80.77/80.87	c 80.9s |      20 |  1063964 |   808727 |     1103   1655 |        0 |        0
82.77/82.88	c 82.9s |      20 |  1086494 |   826627 |     1103   1684 |        0 |        0
84.78/84.88	c 84.9s |      20 |  1110115 |   844927 |     1103   1714 |        0 |        0
86.77/86.88	c 86.9s |      20 |  1133461 |   863227 |     1103   1744 |        0 |        0
88.76/88.88	c 88.9s |      20 |  1156211 |   880827 |     1103   1773 |        0 |        0
90.76/90.89	c 90.9s |      20 |  1176795 |   897327 |     1103   1800 |        0 |        0
92.76/92.89	c 92.9s |      20 |  1199543 |   914727 |     1103   1828 |        0 |        0
94.76/94.89	c 94.9s |      20 |  1223773 |   933327 |     1103   1859 |        0 |        0
96.77/96.90	c 96.9s |      20 |  1247844 |   951927 |     1103   1889 |        0 |        0
98.86/98.90	c 98.9s |      20 |  1273535 |   971127 |     1103   1921 |        0 |        0
100.86/100.91	c  100s |      20 |  1297132 |   989327 |     1103   1951 |        0 |        0
101.96/102.08	c  102s |      21 |  1311439 |  1000345 |     1214   1968 |        0 |        0
103.96/104.09	c  104s |      21 |  1336702 |  1019145 |     1214   1996 |        0 |        0
105.96/106.09	c  106s |      21 |  1362238 |  1038745 |     1214   2026 |        0 |        0
108.07/108.10	c  108s |      21 |  1386690 |  1057745 |     1214   2054 |        0 |        0
109.98/110.10	c  110s |      21 |  1411125 |  1076545 |     1214   2083 |        0 |        0
112.07/112.11	c  112s |      21 |  1436065 |  1095445 |     1214   2111 |        0 |        0
114.07/114.11	c  114s |      21 |  1461282 |  1114445 |     1214   2140 |        0 |        0
116.07/116.12	c  116s |      21 |  1486426 |  1133345 |     1214   2168 |        0 |        0
118.07/118.12	c  118s |      21 |  1510614 |  1151645 |     1214   2196 |        0 |        0
120.07/120.12	c  120s |      21 |  1536593 |  1171045 |     1214   2225 |        0 |        0
122.07/122.13	c  122s |      21 |  1562262 |  1190245 |     1214   2254 |        0 |        0
124.07/124.13	c  124s |      21 |  1586245 |  1208645 |     1214   2281 |        0 |        0
126.06/126.14	c  126s |      21 |  1612160 |  1228045 |     1214   2310 |        0 |        0
128.06/128.14	c  128s |      21 |  1635185 |  1246145 |     1214   2337 |        0 |        0
130.06/130.15	c  130s |      21 |  1659753 |  1264745 |     1214   2365 |        0 |        0
132.07/132.15	c  132s |      21 |  1684248 |  1283545 |     1214   2393 |        0 |        0
134.06/134.16	c  134s |      21 |  1707708 |  1301345 |     1214   2420 |        0 |        0
136.06/136.16	c  136s |      21 |  1730399 |  1318945 |     1214   2447 |        0 |        0
138.06/138.17	c  138s |      21 |  1753836 |  1336445 |     1214   2473 |        0 |        0
140.06/140.17	c  140s |      21 |  1777380 |  1353845 |     1214   2499 |        0 |        0
142.06/142.18	c  142s |      21 |  1800111 |  1371445 |     1214   2526 |        0 |        0
144.07/144.18	c  144s |      21 |  1825301 |  1390145 |     1214   2555 |        0 |        0
146.06/146.18	c  146s |      21 |  1853412 |  1410045 |     1214   2585 |        0 |        0
148.06/148.19	c  148s |      21 |  1879478 |  1429245 |     1214   2614 |        0 |        0
150.06/150.19	c  150s |      21 |  1904777 |  1447745 |     1214   2641 |        0 |        0
152.15/152.20	c  152s |      21 |  1929693 |  1466445 |     1214   2669 |        0 |        0
154.16/154.21	c  154s |      21 |  1952961 |  1484145 |     1214   2696 |        0 |        0
155.86/155.99	c  155s |      22 |  1973925 |  1500622 |     1336   2720 |        0 |        0
157.86/157.99	c  157s |      22 |  1997553 |  1519222 |     1336   2747 |        0 |        0
159.96/160.01	c  159s |      22 |  2017990 |  1535522 |     1336   2769 |        0 |        0
161.96/162.02	c  162s |      22 |  2039861 |  1552522 |     1336   2793 |        0 |        0
163.97/164.02	c  164s |      22 |  2062055 |  1569522 |     1336   2816 |        0 |        0
165.96/166.03	c  166s |      22 |  2083560 |  1586622 |     1336   2839 |        0 |        0
167.96/168.04	c  168s |      22 |  2106246 |  1604122 |     1336   2863 |        0 |        0
169.96/170.04	c  170s |      22 |  2128936 |  1621322 |     1336   2887 |        0 |        0
171.96/172.05	c  172s |      22 |  2150223 |  1637822 |     1336   2910 |        0 |        0
173.96/174.05	c  174s |      22 |  2173244 |  1655322 |     1336   2934 |        0 |        0
175.96/176.06	c  176s |      22 |  2196341 |  1673122 |     1336   2959 |        0 |        0
177.96/178.07	c  178s |      22 |  2216849 |  1689522 |     1336   2981 |        0 |        0
179.96/180.07	c  180s |      22 |  2238475 |  1706222 |     1336   3004 |        0 |        0
181.95/182.07	c  182s |      22 |  2259998 |  1722922 |     1336   3027 |        0 |        0
183.95/184.08	c  184s |      22 |  2280991 |  1739422 |     1336   3050 |        0 |        0
185.96/186.09	c  186s |      22 |  2301875 |  1755622 |     1336   3072 |        0 |        0
187.95/188.10	c  188s |      22 |  2323215 |  1771722 |     1336   3095 |        0 |        0
190.05/190.10	c  190s |      22 |  2347908 |  1789922 |     1336   3120 |        0 |        0
192.05/192.10	c  192s |      22 |  2371838 |  1807922 |     1336   3145 |        0 |        0
194.05/194.10	c  194s |      22 |  2395851 |  1826022 |     1336   3170 |        0 |        0
196.06/196.11	c  196s |      22 |  2418985 |  1843622 |     1336   3195 |        0 |        0
198.06/198.12	c  198s |      22 |  2440721 |  1859822 |     1336   3218 |        0 |        0
200.05/200.13	c  200s |      22 |  2464802 |  1877922 |     1336   3243 |        0 |        0
202.05/202.14	c  202s |      22 |  2488526 |  1895922 |     1336   3268 |        0 |        0
204.05/204.15	c  204s |      22 |  2512097 |  1913822 |     1336   3293 |        0 |        0
206.05/206.15	c  206s |      22 |  2534107 |  1931122 |     1336   3317 |        0 |        0
208.05/208.17	c  208s |      22 |  2555431 |  1947822 |     1336   3341 |        0 |        0
210.05/210.18	c  210s |      22 |  2576496 |  1964422 |     1336   3364 |        0 |        0
212.05/212.19	c  212s |      22 |  2598047 |  1981222 |     1336   3387 |        0 |        0
214.05/214.19	c  214s |      22 |  2620918 |  1998722 |     1336   3412 |        0 |        0
216.15/216.20	c  216s |      22 |  2644642 |  2016222 |     1336   3436 |        0 |        0
218.14/218.21	c  218s |      22 |  2667569 |  2033622 |     1336   3461 |        0 |        0
220.14/220.21	c  220s |      22 |  2689540 |  2050522 |     1336   3484 |        0 |        0
222.15/222.21	c  222s |      22 |  2712902 |  2068322 |     1336   3509 |        0 |        0
224.14/224.22	c  224s |      22 |  2735952 |  2085822 |     1336   3533 |        0 |        0
226.15/226.22	c  226s |      22 |  2757669 |  2102722 |     1336   3556 |        0 |        0
228.14/228.22	c  228s |      22 |  2778648 |  2119222 |     1336   3579 |        0 |        0
230.14/230.22	c  230s |      22 |  2801118 |  2136422 |     1336   3603 |        0 |        0
232.15/232.23	c  232s |      22 |  2823557 |  2153822 |     1336   3626 |        0 |        0
234.14/234.24	c  234s |      22 |  2846760 |  2171722 |     1336   3651 |        0 |        0
236.14/236.24	c  236s |      22 |  2869349 |  2188922 |     1336   3675 |        0 |        0
238.14/238.24	c  238s |      22 |  2891704 |  2206122 |     1336   3698 |        0 |        0
240.14/240.25	c  240s |      22 |  2914029 |  2222922 |     1336   3722 |        0 |        0
242.14/242.25	c  242s |      22 |  2936917 |  2240422 |     1470   3746 |        0 |        0
243.44/243.59	c  243s |      23 |  2951271 |  2251038 |     1470   3760 |        0 |        0
245.44/245.59	c  245s |      23 |  2973599 |  2267838 |     1470   3781 |        0 |        0
247.44/247.60	c  247s |      23 |  2995592 |  2284838 |     1470   3802 |        0 |        0
249.54/249.60	c  249s |      23 |  3018733 |  2302438 |     1470   3824 |        0 |        0
251.54/251.61	c  251s |      23 |  3042317 |  2320438 |     1470   3847 |        0 |        0
253.54/253.62	c  253s |      23 |  3064392 |  2337238 |     1470   3868 |        0 |        0
255.53/255.62	c  255s |      23 |  3087595 |  2354638 |     1470   3891 |        0 |        0
257.53/257.63	c  257s |      23 |  3110408 |  2371638 |     1470   3913 |        0 |        0
259.54/259.63	c  259s |      23 |  3132939 |  2388838 |     1470   3936 |        0 |        0
261.53/261.64	c  261s |      23 |  3154210 |  2404938 |     1470   3957 |        0 |        0
263.53/263.65	c  263s |      23 |  3173548 |  2420438 |     1470   3977 |        0 |        0
265.54/265.65	c  265s |      23 |  3194309 |  2436438 |     1470   3998 |        0 |        0
267.54/267.65	c  267s |      23 |  3214011 |  2451738 |     1470   4018 |        0 |        0
269.54/269.66	c  269s |      23 |  3233331 |  2467038 |     1470   4038 |        0 |        0
271.53/271.67	c  271s |      23 |  3252173 |  2482138 |     1470   4058 |        0 |        0
273.53/273.67	c  273s |      23 |  3272480 |  2497738 |     1470   4078 |        0 |        0
275.53/275.68	c  275s |      23 |  3292525 |  2513638 |     1470   4099 |        0 |        0
277.53/277.68	c  277s |      23 |  3314698 |  2529838 |     1470   4121 |        0 |        0
279.53/279.69	c  279s |      23 |  3337376 |  2546838 |     1470   4143 |        0 |        0
281.53/281.70	c  281s |      23 |  3359906 |  2564038 |     1470   4166 |        0 |        0
283.63/283.71	c  283s |      23 |  3380990 |  2580738 |     1470   4188 |        0 |        0
285.63/285.71	c  285s |      23 |  3402894 |  2597538 |     1470   4210 |        0 |        0
287.62/287.71	c  287s |      23 |  3427108 |  2615438 |     1470   4234 |        0 |        0
289.62/289.72	c  289s |      23 |  3449830 |  2632838 |     1470   4256 |        0 |        0
291.62/291.72	c  291s |      23 |  3471327 |  2649038 |     1470   4278 |        0 |        0
293.63/293.74	c  293s |      23 |  3493732 |  2666238 |     1470   4300 |        0 |        0
295.62/295.74	c  295s |      23 |  3516306 |  2683438 |     1470   4323 |        0 |        0
297.62/297.75	c  297s |      23 |  3538784 |  2700938 |     1470   4346 |        0 |        0
299.62/299.75	c  299s |      23 |  3560991 |  2718038 |     1470   4369 |        0 |        0
301.62/301.76	c  301s |      23 |  3585445 |  2736738 |     1470   4393 |        0 |        0
303.62/303.77	c  303s |      23 |  3608683 |  2754438 |     1470   4416 |        0 |        0
305.62/305.78	c  305s |      23 |  3633369 |  2772738 |     1470   4441 |        0 |        0
307.61/307.78	c  307s |      23 |  3657435 |  2790738 |     1470   4464 |        0 |        0
309.61/309.79	c  309s |      23 |  3678417 |  2807638 |     1470   4487 |        0 |        0
311.61/311.79	c  311s |      23 |  3699959 |  2824538 |     1470   4509 |        0 |        0
313.71/313.80	c  313s |      23 |  3721492 |  2841338 |     1470   4531 |        0 |        0
315.72/315.81	c  315s |      23 |  3747119 |  2860138 |     1470   4556 |        0 |        0
317.71/317.82	c  317s |      23 |  3769726 |  2877538 |     1470   4579 |        0 |        0
319.71/319.83	c  319s |      23 |  3794463 |  2896438 |     1470   4603 |        0 |        0
321.71/321.83	c  321s |      23 |  3814534 |  2912638 |     1470   4625 |        0 |        0
323.70/323.84	c  323s |      23 |  3836781 |  2929238 |     1470   4646 |        0 |        0
325.70/325.84	c  325s |      23 |  3857396 |  2945738 |     1470   4668 |        0 |        0
327.71/327.85	c  327s |      23 |  3877309 |  2961638 |     1470   4688 |        0 |        0
329.70/329.87	c  329s |      23 |  3897808 |  2977838 |     1470   4710 |        0 |        0
331.70/331.87	c  331s |      23 |  3919669 |  2993838 |     1470   4731 |        0 |        0
333.70/333.88	c  333s |      23 |  3940970 |  3010438 |     1470   4753 |        0 |        0
335.70/335.88	c  335s |      23 |  3963039 |  3027038 |     1470   4774 |        0 |        0
337.71/337.89	c  337s |      23 |  3985334 |  3043938 |     1470   4796 |        0 |        0
339.70/339.89	c  339s |      23 |  4010349 |  3062438 |     1470   4821 |        0 |        0
341.80/341.90	c  341s |      23 |  4033269 |  3079838 |     1470   4844 |        0 |        0
343.80/343.91	c  343s |      23 |  4052846 |  3095638 |     1470   4865 |        0 |        0
345.80/345.91	c  345s |      23 |  4072831 |  3111538 |     1470   4886 |        0 |        0
347.79/347.92	c  347s |      23 |  4097238 |  3129338 |     1470   4909 |        0 |        0
349.80/349.92	c  349s |      23 |  4121000 |  3147338 |     1470   4933 |        0 |        0
351.79/351.93	c  351s |      23 |  4145484 |  3165738 |     1470   4957 |        0 |        0
353.79/353.94	c  353s |      23 |  4169516 |  3183838 |     1470   4981 |        0 |        0
355.79/355.94	c  355s |      23 |  4192221 |  3200638 |     1470   5003 |        0 |        0
357.79/357.94	c  357s |      23 |  4214122 |  3216938 |     1470   5025 |        0 |        0
359.79/359.95	c  359s |      23 |  4234695 |  3232838 |     1470   5046 |        0 |        0
361.79/361.96	c  361s |      23 |  4258825 |  3250838 |     1470   5069 |        0 |        0
363.79/363.96	c  363s |      23 |  4282703 |  3268638 |     1470   5093 |        0 |        0
365.80/365.97	c  365s |      23 |  4307429 |  3286338 |     1470   5116 |        0 |        0
367.79/367.97	c  367s |      23 |  4331626 |  3304038 |     1470   5139 |        0 |        0
369.79/369.98	c  369s |      23 |  4354321 |  3320938 |     1470   5162 |        0 |        0
371.80/371.98	c  371s |      23 |  4378999 |  3338738 |     1470   5185 |        0 |        0
373.79/373.98	c  373s |      23 |  4402099 |  3355338 |     1618   5207 |        0 |        0
375.79/375.99	c  375s |      23 |  4423400 |  3371138 |     1618   5226 |        0 |        0
376.49/376.68	c  376s |      24 |  4430551 |  3376662 |     1618   5232 |        0 |        0
378.48/378.68	c  378s |      24 |  4453371 |  3393962 |     1618   5252 |        0 |        0
380.49/380.69	c  380s |      24 |  4473633 |  3409562 |     1618   5271 |        0 |        0
382.48/382.69	c  382s |      24 |  4494372 |  3425062 |     1618   5289 |        0 |        0
384.58/384.71	c  384s |      24 |  4515749 |  3440462 |     1618   5307 |        0 |        0
386.58/386.72	c  386s |      24 |  4536322 |  3455762 |     1618   5324 |        0 |        0
388.57/388.72	c  388s |      24 |  4557658 |  3471262 |     1618   5343 |        0 |        0
390.57/390.73	c  390s |      24 |  4579096 |  3486862 |     1618   5361 |        0 |        0
392.58/392.73	c  392s |      24 |  4600413 |  3502262 |     1618   5379 |        0 |        0
394.57/394.74	c  394s |      24 |  4622786 |  3518962 |     1618   5398 |        0 |        0
396.57/396.74	c  396s |      24 |  4642387 |  3534162 |     1618   5416 |        0 |        0
398.57/398.75	c  398s |      24 |  4661349 |  3548962 |     1618   5433 |        0 |        0
400.57/400.75	c  400s |      24 |  4682213 |  3564162 |     1618   5451 |        0 |        0
402.58/402.75	c  402s |      24 |  4703521 |  3579662 |     1618   5469 |        0 |        0
404.58/404.76	c  404s |      24 |  4723763 |  3594762 |     1618   5487 |        0 |        0
406.58/406.77	c  406s |      24 |  4744922 |  3610262 |     1618   5505 |        0 |        0
408.58/408.78	c  408s |      24 |  4765638 |  3625362 |     1618   5523 |        0 |        0
410.58/410.78	c  410s |      24 |  4784876 |  3639562 |     1618   5539 |        0 |        0
412.58/412.78	c  412s |      24 |  4804742 |  3654362 |     1618   5557 |        0 |        0
414.58/414.79	c  414s |      24 |  4828062 |  3671662 |     1618   5577 |        0 |        0
416.67/416.80	c  416s |      24 |  4850922 |  3688462 |     1618   5597 |        0 |        0
418.67/418.81	c  418s |      24 |  4871116 |  3703662 |     1618   5615 |        0 |        0
420.67/420.82	c  420s |      24 |  4892080 |  3719262 |     1618   5633 |        0 |        0
422.67/422.83	c  422s |      24 |  4914749 |  3735862 |     1618   5652 |        0 |        0
424.67/424.84	c  424s |      24 |  4936183 |  3751862 |     1618   5671 |        0 |        0
426.68/426.84	c  426s |      24 |  4958604 |  3768762 |     1618   5691 |        0 |        0
428.67/428.85	c  428s |      24 |  4978819 |  3784462 |     1618   5709 |        0 |        0
430.67/430.86	c  430s |      24 |  4999652 |  3800262 |     1618   5728 |        0 |        0
432.67/432.86	c  432s |      24 |  5019844 |  3815962 |     1618   5746 |        0 |        0
434.67/434.86	c  434s |      24 |  5040569 |  3831362 |     1618   5764 |        0 |        0
436.67/436.87	c  436s |      24 |  5059100 |  3845862 |     1618   5782 |        0 |        0
438.66/438.88	c  438s |      24 |  5079546 |  3861562 |     1618   5800 |        0 |        0
440.66/440.89	c  440s |      24 |  5097835 |  3875862 |     1618   5817 |        0 |        0
442.76/442.90	c  442s |      24 |  5117074 |  3890862 |     1618   5834 |        0 |        0
444.76/444.90	c  444s |      24 |  5138156 |  3906862 |     1618   5853 |        0 |        0
446.76/446.91	c  446s |      24 |  5157950 |  3922362 |     1618   5871 |        0 |        0
448.77/448.92	c  448s |      24 |  5176457 |  3937162 |     1618   5889 |        0 |        0
450.76/450.92	c  450s |      24 |  5196485 |  3952362 |     1618   5907 |        0 |        0
452.76/452.93	c  452s |      24 |  5217352 |  3968162 |     1618   5925 |        0 |        0
454.76/454.94	c  454s |      24 |  5238328 |  3983962 |     1618   5944 |        0 |        0
456.75/456.94	c  456s |      24 |  5259117 |  3999862 |     1618   5962 |        0 |        0
458.76/458.94	c  458s |      24 |  5278727 |  4014962 |     1618   5980 |        0 |        0
460.76/460.95	c  460s |      24 |  5296720 |  4029362 |     1618   5997 |        0 |        0
462.75/462.96	c  462s |      24 |  5316407 |  4044362 |     1618   6015 |        0 |        0
464.75/464.97	c  464s |      24 |  5337742 |  4060562 |     1618   6034 |        0 |        0
466.75/466.98	c  466s |      24 |  5356739 |  4075662 |     1618   6051 |        0 |        0
468.75/468.98	c  468s |      24 |  5377453 |  4091062 |     1618   6069 |        0 |        0
470.75/470.99	c  470s |      24 |  5397628 |  4106462 |     1618   6088 |        0 |        0
472.75/473.00	c  472s |      24 |  5418564 |  4121862 |     1618   6106 |        0 |        0
474.84/475.01	c  474s |      24 |  5440090 |  4137662 |     1618   6124 |        0 |        0
476.84/477.01	c  476s |      24 |  5461784 |  4154162 |     1618   6144 |        0 |        0
478.84/479.02	c  478s |      24 |  5482081 |  4169762 |     1618   6162 |        0 |        0
480.84/481.02	c  480s |      24 |  5505022 |  4186762 |     1618   6182 |        0 |        0
482.85/483.02	c  483s |      24 |  5527557 |  4203562 |     1618   6202 |        0 |        0
484.84/485.03	c  485s |      24 |  5549038 |  4219562 |     1618   6221 |        0 |        0
486.84/487.04	c  487s |      24 |  5570908 |  4235962 |     1618   6240 |        0 |        0
488.83/489.05	c  489s |      24 |  5592263 |  4251562 |     1618   6259 |        0 |        0
490.83/491.06	c  491s |      24 |  5614119 |  4268462 |     1618   6279 |        0 |        0
492.83/493.08	c  493s |      24 |  5635431 |  4284262 |     1618   6299 |        0 |        0
494.84/495.08	c  495s |      24 |  5658223 |  4301062 |     1618   6319 |        0 |        0
496.83/497.09	c  497s |      24 |  5680043 |  4317562 |     1618   6339 |        0 |        0
498.94/499.10	c  499s |      24 |  5703978 |  4335162 |     1618   6360 |        0 |        0
500.94/501.10	c  501s |      24 |  5727997 |  4352262 |     1618   6381 |        0 |        0
502.94/503.11	c  503s |      24 |  5749191 |  4368262 |     1618   6401 |        0 |        0
504.94/505.11	c  505s |      24 |  5771091 |  4385162 |     1618   6421 |        0 |        0
506.94/507.11	c  507s |      24 |  5795204 |  4402762 |     1618   6443 |        0 |        0
508.93/509.13	c  509s |      24 |  5817614 |  4419362 |     1618   6463 |        0 |        0
510.93/511.14	c  511s |      24 |  5841511 |  4436462 |     1618   6484 |        0 |        0
512.93/513.14	c  513s |      24 |  5865039 |  4453462 |     1618   6504 |        0 |        0
514.93/515.15	c  515s |      24 |  5887123 |  4470262 |     1618   6525 |        0 |        0
516.93/517.16	c  517s |      24 |  5910582 |  4488062 |     1618   6546 |        0 |        0
518.93/519.16	c  519s |      24 |  5931263 |  4504762 |     1618   6566 |        0 |        0
520.93/521.17	c  521s |      24 |  5949774 |  4519862 |     1618   6585 |        0 |        0
522.93/523.17	c  523s |      24 |  5970294 |  4535262 |     1618   6603 |        0 |        0
524.92/525.18	c  525s |      24 |  5992487 |  4552262 |     1618   6624 |        0 |        0
526.92/527.19	c  527s |      24 |  6014886 |  4568262 |     1618   6643 |        0 |        0
528.92/529.20	c  529s |      24 |  6036771 |  4584662 |     1618   6663 |        0 |        0
531.02/531.21	c  531s |      24 |  6057545 |  4600962 |     1618   6681 |        0 |        0
533.02/533.21	c  533s |      24 |  6078570 |  4617162 |     1618   6700 |        0 |        0
535.02/535.22	c  535s |      24 |  6098404 |  4632762 |     1618   6718 |        0 |        0
537.02/537.22	c  537s |      24 |  6119762 |  4649162 |     1618   6737 |        0 |        0
539.02/539.22	c  539s |      24 |  6140552 |  4665162 |     1618   6755 |        0 |        0
541.02/541.22	c  541s |      24 |  6162114 |  4681862 |     1618   6774 |        0 |        0
543.02/543.22	c  543s |      24 |  6182258 |  4697762 |     1618   6793 |        0 |        0
545.02/545.23	c  545s |      24 |  6202798 |  4713762 |     1618   6811 |        0 |        0
547.01/547.24	c  547s |      24 |  6224026 |  4730162 |     1618   6830 |        0 |        0
549.01/549.24	c  549s |      24 |  6245827 |  4746362 |     1618   6849 |        0 |        0
551.02/551.24	c  551s |      24 |  6268251 |  4763562 |     1618   6869 |        0 |        0
553.01/553.24	c  553s |      24 |  6290124 |  4780562 |     1618   6888 |        0 |        0
555.01/555.25	c  555s |      24 |  6312210 |  4797262 |     1618   6908 |        0 |        0
557.01/557.26	c  557s |      24 |  6333289 |  4813662 |     1618   6926 |        0 |        0
559.01/559.27	c  559s |      24 |  6354380 |  4829862 |     1618   6945 |        0 |        0
561.00/561.28	c  561s |      24 |  6375504 |  4846062 |     1618   6964 |        0 |        0
563.01/563.28	c  563s |      24 |  6397657 |  4862762 |     1618   6983 |        0 |        0
565.00/565.29	c  565s |      24 |  6417818 |  4878462 |     1618   7002 |        0 |        0
567.00/567.29	c  567s |      24 |  6437281 |  4893462 |     1618   7019 |        0 |        0
569.10/569.30	c  569s |      24 |  6458770 |  4909562 |     1618   7038 |        0 |        0
571.11/571.31	c  571s |      24 |  6479684 |  4925262 |     1618   7056 |        0 |        0
573.11/573.32	c  573s |      24 |  6501179 |  4941762 |     1618   7075 |        0 |        0
575.11/575.32	c  575s |      24 |  6523058 |  4958662 |     1618   7095 |        0 |        0
577.10/577.33	c  577s |      24 |  6544357 |  4974962 |     1618   7114 |        0 |        0
579.10/579.33	c  579s |      24 |  6565078 |  4991262 |     1618   7133 |        0 |        0
581.10/581.34	c  581s |      24 |  6586764 |  5007862 |     1618   7153 |        0 |        0
583.10/583.35	c  583s |      24 |  6609438 |  5024962 |     1618   7173 |        0 |        0
585.10/585.36	c  585s |      24 |  6629393 |  5040362 |     1780   7189 |        0 |        0
587.09/587.36	c  587s |      24 |  6652059 |  5056962 |     1780   7207 |        0 |        0
588.09/588.34	c  588s |      25 |  6662907 |  5065098 |     1780   7216 |        0 |        0
590.09/590.34	c  590s |      25 |  6685555 |  5082398 |     1780   7234 |        0 |        0
592.09/592.34	c  592s |      25 |  6708368 |  5099798 |     1780   7253 |        0 |        0
594.09/594.35	c  594s |      25 |  6732744 |  5118198 |     1780   7273 |        0 |        0
596.10/596.36	c  596s |      25 |  6752829 |  5134198 |     1780   7291 |        0 |        0
598.09/598.37	c  598s |      25 |  6775746 |  5151598 |     1780   7310 |        0 |        0
600.09/600.38	c  600s |      25 |  6798051 |  5168798 |     1780   7328 |        0 |        0
602.08/602.38	c  602s |      25 |  6822302 |  5186698 |     1780   7348 |        0 |        0
604.08/604.39	c  604s |      25 |  6842073 |  5202698 |     1780   7365 |        0 |        0
606.18/606.40	c  606s |      25 |  6864479 |  5219698 |     1780   7384 |        0 |        0
608.18/608.41	c  608s |      25 |  6887135 |  5236798 |     1780   7403 |        0 |        0
610.18/610.42	c  610s |      25 |  6909031 |  5253998 |     1780   7422 |        0 |        0
612.18/612.43	c  612s |      25 |  6930866 |  5270998 |     1780   7440 |        0 |        0
614.18/614.43	c  614s |      25 |  6955628 |  5289098 |     1780   7460 |        0 |        0
616.18/616.44	c  616s |      25 |  6980406 |  5307198 |     1780   7480 |        0 |        0
618.18/618.45	c  618s |      25 |  7004238 |  5324898 |     1780   7499 |        0 |        0
620.19/620.46	c  620s |      25 |  7027696 |  5342298 |     1780   7518 |        0 |        0
622.18/622.46	c  622s |      25 |  7052065 |  5359898 |     1780   7537 |        0 |        0
624.18/624.47	c  624s |      25 |  7075253 |  5377898 |     1780   7557 |        0 |        0
626.18/626.48	c  626s |      25 |  7096505 |  5394598 |     1780   7575 |        0 |        0
628.17/628.49	c  628s |      25 |  7117806 |  5410798 |     1780   7593 |        0 |        0
630.27/630.50	c  630s |      25 |  7139441 |  5427598 |     1780   7611 |        0 |        0
632.28/632.51	c  632s |      25 |  7160490 |  5444098 |     1780   7629 |        0 |        0
634.27/634.52	c  634s |      25 |  7183418 |  5461298 |     1780   7648 |        0 |        0
636.27/636.52	c  636s |      25 |  7204765 |  5478198 |     1780   7666 |        0 |        0
638.27/638.52	c  638s |      25 |  7227966 |  5495698 |     1780   7686 |        0 |        0
640.27/640.52	c  640s |      25 |  7250264 |  5512998 |     1780   7704 |        0 |        0
642.27/642.52	c  642s |      25 |  7271372 |  5528898 |     1780   7722 |        0 |        0
644.26/644.53	c  644s |      25 |  7295012 |  5546298 |     1780   7741 |        0 |        0
646.26/646.53	c  646s |      25 |  7317035 |  5562998 |     1780   7759 |        0 |        0
648.26/648.53	c  648s |      25 |  7338552 |  5579398 |     1780   7777 |        0 |        0
650.26/650.54	c  650s |      25 |  7360101 |  5595998 |     1780   7795 |        0 |        0
652.26/652.55	c  652s |      25 |  7381231 |  5612598 |     1780   7813 |        0 |        0
654.27/654.55	c  654s |      25 |  7399531 |  5626898 |     1780   7828 |        0 |        0
656.27/656.56	c  656s |      25 |  7421877 |  5643498 |     1780   7847 |        0 |        0
658.26/658.57	c  658s |      25 |  7444207 |  5660198 |     1780   7865 |        0 |        0
660.26/660.58	c  660s |      25 |  7464450 |  5676298 |     1780   7883 |        0 |        0
662.26/662.59	c  662s |      25 |  7481716 |  5690398 |     1780   7898 |        0 |        0
664.27/664.59	c  664s |      25 |  7499160 |  5704498 |     1780   7913 |        0 |        0
666.26/666.60	c  666s |      25 |  7520060 |  5720798 |     1780   7931 |        0 |        0
668.36/668.61	c  668s |      25 |  7540871 |  5737098 |     1780   7949 |        0 |        0
670.36/670.61	c  670s |      25 |  7560991 |  5752598 |     1780   7965 |        0 |        0
672.36/672.62	c  672s |      25 |  7584809 |  5769898 |     1780   7984 |        0 |        0
674.36/674.63	c  674s |      25 |  7606235 |  5786198 |     1780   8002 |        0 |        0
676.36/676.64	c  676s |      25 |  7628337 |  5803098 |     1780   8021 |        0 |        0
678.35/678.65	c  678s |      25 |  7649253 |  5818798 |     1780   8038 |        0 |        0
680.35/680.65	c  680s |      25 |  7670434 |  5834998 |     1780   8055 |        0 |        0
682.35/682.65	c  682s |      25 |  7691660 |  5850898 |     1780   8073 |        0 |        0
684.35/684.66	c  684s |      25 |  7715109 |  5868498 |     1780   8092 |        0 |        0
686.34/686.66	c  686s |      25 |  7736340 |  5884798 |     1780   8110 |        0 |        0
688.35/688.67	c  688s |      25 |  7758162 |  5901298 |     1780   8128 |        0 |        0
690.34/690.68	c  690s |      25 |  7778249 |  5916698 |     1780   8144 |        0 |        0
692.34/692.69	c  692s |      25 |  7799538 |  5932598 |     1780   8161 |        0 |        0
694.44/694.70	c  694s |      25 |  7820192 |  5948998 |     1780   8179 |        0 |        0
696.44/696.70	c  696s |      25 |  7843442 |  5966098 |     1780   8198 |        0 |        0
698.44/698.71	c  698s |      25 |  7866933 |  5983398 |     1780   8217 |        0 |        0
700.44/700.71	c  700s |      25 |  7888185 |  5999898 |     1780   8235 |        0 |        0
702.44/702.72	c  702s |      25 |  7910508 |  6016698 |     1780   8253 |        0 |        0
704.44/704.73	c  704s |      25 |  7933399 |  6033798 |     1780   8272 |        0 |        0
706.44/706.73	c  706s |      25 |  7952688 |  6048898 |     1780   8289 |        0 |        0
708.44/708.73	c  708s |      25 |  7973044 |  6064698 |     1780   8306 |        0 |        0
710.44/710.74	c  710s |      25 |  7995205 |  6081198 |     1780   8324 |        0 |        0
712.43/712.75	c  712s |      25 |  8016362 |  6097098 |     1780   8341 |        0 |        0
714.43/714.76	c  714s |      25 |  8038235 |  6113598 |     1780   8359 |        0 |        0
716.43/716.76	c  716s |      25 |  8060719 |  6130498 |     1780   8378 |        0 |        0
718.43/718.76	c  718s |      25 |  8083573 |  6147098 |     1780   8396 |        0 |        0
720.43/720.76	c  720s |      25 |  8106534 |  6164098 |     1780   8415 |        0 |        0
722.44/722.77	c  722s |      25 |  8129013 |  6180998 |     1780   8433 |        0 |        0
724.43/724.78	c  724s |      25 |  8151032 |  6197398 |     1780   8451 |        0 |        0
726.42/726.78	c  726s |      25 |  8172811 |  6214098 |     1780   8469 |        0 |        0
728.42/728.78	c  728s |      25 |  8194047 |  6230098 |     1780   8487 |        0 |        0
730.42/730.79	c  730s |      25 |  8216428 |  6246598 |     1780   8505 |        0 |        0
732.52/732.80	c  732s |      25 |  8237178 |  6262898 |     1780   8523 |        0 |        0
734.42/734.80	c  734s |      25 |  8260676 |  6280298 |     1780   8542 |        0 |        0
736.53/736.81	c  736s |      25 |  8285791 |  6298498 |     1780   8562 |        0 |        0
738.53/738.81	c  738s |      25 |  8305784 |  6314398 |     1780   8578 |        0 |        0
740.53/740.82	c  740s |      25 |  8328591 |  6331698 |     1780   8597 |        0 |        0
742.53/742.82	c  742s |      25 |  8349232 |  6347898 |     1780   8614 |        0 |        0
744.53/744.82	c  744s |      25 |  8370627 |  6364398 |     1780   8632 |        0 |        0
746.52/746.83	c  746s |      25 |  8393499 |  6381498 |     1780   8650 |        0 |        0
748.52/748.84	c  748s |      25 |  8417031 |  6399098 |     1780   8668 |        0 |        0
750.52/750.85	c  750s |      25 |  8438214 |  6415698 |     1780   8686 |        0 |        0
752.52/752.85	c  752s |      25 |  8461056 |  6433298 |     1780   8705 |        0 |        0
754.52/754.87	c  754s |      25 |  8483421 |  6450598 |     1780   8724 |        0 |        0
756.52/756.87	c  756s |      25 |  8506259 |  6467798 |     1780   8742 |        0 |        0
758.51/758.87	c  758s |      25 |  8530299 |  6485398 |     1780   8761 |        0 |        0
760.51/760.89	c  760s |      25 |  8550313 |  6501198 |     1780   8778 |        0 |        0
762.51/762.89	c  762s |      25 |  8573710 |  6518898 |     1780   8797 |        0 |        0
764.61/764.90	c  764s |      25 |  8597282 |  6536698 |     1780   8816 |        0 |        0
766.60/766.91	c  766s |      25 |  8619022 |  6553398 |     1780   8834 |        0 |        0
768.61/768.92	c  768s |      25 |  8642206 |  6570798 |     1780   8852 |        0 |        0
770.60/770.92	c  770s |      25 |  8664422 |  6587598 |     1780   8870 |        0 |        0
772.61/772.93	c  772s |      25 |  8687758 |  6605398 |     1780   8889 |        0 |        0
774.61/774.93	c  774s |      25 |  8711860 |  6623198 |     1780   8908 |        0 |        0
776.61/776.93	c  776s |      25 |  8731497 |  6638898 |     1780   8925 |        0 |        0
778.62/778.94	c  778s |      25 |  8751841 |  6655098 |     1780   8943 |        0 |        0
780.61/780.95	c  780s |      25 |  8773525 |  6671798 |     1780   8961 |        0 |        0
782.61/782.96	c  782s |      25 |  8795697 |  6688798 |     1780   8979 |        0 |        0
784.61/784.97	c  784s |      25 |  8818220 |  6706098 |     1780   8997 |        0 |        0
786.60/786.97	c  786s |      25 |  8840471 |  6723098 |     1780   9016 |        0 |        0
788.60/788.97	c  788s |      25 |  8862193 |  6739898 |     1780   9033 |        0 |        0
790.61/790.98	c  790s |      25 |  8885153 |  6756998 |     1780   9051 |        0 |        0
792.60/792.98	c  792s |      25 |  8907054 |  6773998 |     1780   9070 |        0 |        0
794.60/794.99	c  794s |      25 |  8927999 |  6790298 |     1780   9087 |        0 |        0
796.69/797.00	c  796s |      25 |  8949319 |  6806798 |     1780   9105 |        0 |        0
798.69/799.00	c  798s |      25 |  8971752 |  6823598 |     1780   9122 |        0 |        0
800.69/801.01	c  800s |      25 |  8993456 |  6840098 |     1780   9140 |        0 |        0
802.70/803.01	c  802s |      25 |  9015651 |  6856898 |     1780   9158 |        0 |        0
804.69/805.02	c  805s |      25 |  9037102 |  6873198 |     1780   9175 |        0 |        0
806.70/807.03	c  807s |      25 |  9057943 |  6889198 |     1780   9192 |        0 |        0
808.69/809.04	c  809s |      25 |  9079919 |  6905798 |     1780   9210 |        0 |        0
810.69/811.05	c  811s |      25 |  9102189 |  6922798 |     1780   9228 |        0 |        0
812.70/813.06	c  813s |      25 |  9124060 |  6939398 |     1780   9246 |        0 |        0
814.69/815.06	c  815s |      25 |  9145562 |  6956098 |     1780   9264 |        0 |        0
816.68/817.07	c  817s |      25 |  9166481 |  6972398 |     1780   9281 |        0 |        0
818.68/819.07	c  819s |      25 |  9189362 |  6989898 |     1780   9300 |        0 |        0
820.68/821.08	c  821s |      25 |  9211190 |  7006398 |     1780   9318 |        0 |        0
822.68/823.08	c  823s |      25 |  9233600 |  7023398 |     1780   9336 |        0 |        0
824.70/825.09	c  825s |      25 |  9256930 |  7040898 |     1780   9355 |        0 |        0
826.68/827.09	c  827s |      25 |  9280161 |  7058498 |     1780   9374 |        0 |        0
828.68/829.09	c  829s |      25 |  9304715 |  7076798 |     1780   9393 |        0 |        0
830.78/831.10	c  831s |      25 |  9326585 |  7093598 |     1780   9411 |        0 |        0
832.78/833.11	c  833s |      25 |  9349388 |  7110598 |     1780   9430 |        0 |        0
834.78/835.13	c  835s |      25 |  9370304 |  7126298 |     1780   9447 |        0 |        0
836.78/837.13	c  837s |      25 |  9391787 |  7142698 |     1780   9464 |        0 |        0
838.78/839.14	c  839s |      25 |  9412766 |  7158698 |     1780   9481 |        0 |        0
840.77/841.14	c  841s |      25 |  9433250 |  7174298 |     1780   9498 |        0 |        0
842.77/843.15	c  843s |      25 |  9450509 |  7188798 |     1780   9514 |        0 |        0
844.77/845.15	c  845s |      25 |  9470298 |  7204398 |     1780   9530 |        0 |        0
846.78/847.16	c  847s |      25 |  9490353 |  7219998 |     1780   9547 |        0 |        0
848.77/849.17	c  849s |      25 |  9512375 |  7236998 |     1780   9565 |        0 |        0
850.77/851.18	c  851s |      25 |  9533502 |  7253498 |     1780   9583 |        0 |        0
852.77/853.18	c  853s |      25 |  9555519 |  7270398 |     1780   9601 |        0 |        0
854.77/855.19	c  855s |      25 |  9577185 |  7286998 |     1780   9619 |        0 |        0
856.86/857.20	c  857s |      25 |  9598541 |  7303098 |     1780   9636 |        0 |        0
858.87/859.21	c  859s |      25 |  9617132 |  7317898 |     1780   9652 |        0 |        0
860.86/861.22	c  861s |      25 |  9637820 |  7333498 |     1780   9669 |        0 |        0
862.86/863.22	c  863s |      25 |  9657761 |  7348798 |     1780   9686 |        0 |        0
864.86/865.22	c  865s |      25 |  9678311 |  7364998 |     1780   9703 |        0 |        0
866.86/867.22	c  867s |      25 |  9700063 |  7381798 |     1780   9721 |        0 |        0
868.86/869.23	c  869s |      25 |  9721641 |  7398898 |     1780   9739 |        0 |        0
870.87/871.24	c  871s |      25 |  9742315 |  7414298 |     1780   9756 |        0 |        0
872.86/873.25	c  873s |      25 |  9764341 |  7430698 |     1780   9773 |        0 |        0
874.86/875.25	c  875s |      25 |  9785817 |  7447098 |     1780   9791 |        0 |        0
876.86/877.25	c  877s |      25 |  9809948 |  7464998 |     1780   9810 |        0 |        0
878.86/879.26	c  879s |      25 |  9831524 |  7481498 |     1780   9828 |        0 |        0
880.86/881.27	c  881s |      25 |  9855044 |  7498898 |     1780   9846 |        0 |        0
882.86/883.28	c  883s |      25 |  9876643 |  7515198 |     1780   9864 |        0 |        0
884.86/885.28	c  885s |      25 |  9897285 |  7531498 |     1780   9881 |        0 |        0
886.85/887.29	c  887s |      25 |  9918359 |  7547898 |     1959   9898 |        0 |        0
888.96/889.30	c  889s |      25 |  9940146 |  7564298 |     1959   9914 |        0 |        0
890.96/891.31	c  891s |      25 |  9960367 |  7579698 |     1959   9929 |        0 |        0
892.97/893.31	c  893s |      25 |  9978833 |  7593798 |     1959   9943 |        0 |        0
893.46/893.82	c  893s |      26 |  9984135 |  7597752 |     1959   9947 |        0 |        0
895.46/895.82	c  895s |      26 | 10004465 |  7612652 |     1959   9961 |        0 |        0
897.46/897.83	c  897s |      26 | 10021924 |  7626252 |     1959   9975 |        0 |        0
899.47/899.83	c  899s |      26 | 10042067 |  7641152 |     1959   9989 |        0 |        0
901.46/901.83	c  901s |      26 | 10062565 |  7656552 |     1959  10005 |        0 |        0
903.46/903.83	c  903s |      26 | 10083425 |  7672252 |     1959  10020 |        0 |        0
905.46/905.83	c  905s |      26 | 10104622 |  7688452 |     1959  10036 |        0 |        0
907.46/907.85	c  907s |      26 | 10125645 |  7703952 |     1959  10051 |        0 |        0
909.46/909.85	c  909s |      26 | 10147442 |  7719752 |     1959  10067 |        0 |        0
911.45/911.86	c  911s |      26 | 10168818 |  7735752 |     1959  10083 |        0 |        0
913.45/913.86	c  913s |      26 | 10189123 |  7751352 |     1959  10098 |        0 |        0
915.45/915.87	c  915s |      26 | 10211253 |  7767652 |     1959  10114 |        0 |        0
917.45/917.88	c  917s |      26 | 10232083 |  7782652 |     1959  10129 |        0 |        0
919.45/919.89	c  919s |      26 | 10251553 |  7797452 |     1959  10144 |        0 |        0
921.46/921.89	c  921s |      26 | 10270889 |  7812552 |     1959  10159 |        0 |        0
923.55/923.90	c  923s |      26 | 10291296 |  7827852 |     1959  10174 |        0 |        0
925.55/925.90	c  925s |      26 | 10314428 |  7844352 |     1959  10190 |        0 |        0
927.55/927.92	c  927s |      26 | 10336660 |  7859852 |     1959  10206 |        0 |        0
929.55/929.94	c  929s |      26 | 10360256 |  7875952 |     1959  10222 |        0 |        0
931.55/931.94	c  931s |      26 | 10381954 |  7891252 |     1959  10237 |        0 |        0
933.55/933.95	c  933s |      26 | 10403542 |  7906552 |     1959  10252 |        0 |        0
935.56/935.95	c  935s |      26 | 10421546 |  7920652 |     1959  10266 |        0 |        0
937.55/937.96	c  937s |      26 | 10442164 |  7935752 |     1959  10281 |        0 |        0
939.56/939.97	c  939s |      26 | 10463857 |  7951352 |     1959  10296 |        0 |        0
941.55/941.98	c  941s |      26 | 10484132 |  7966152 |     1959  10311 |        0 |        0
943.56/943.98	c  943s |      26 | 10504373 |  7982052 |     1959  10326 |        0 |        0
945.55/945.98	c  945s |      26 | 10525007 |  7997852 |     1959  10342 |        0 |        0
947.65/948.00	c  947s |      26 | 10545756 |  8013752 |     1959  10357 |        0 |        0
949.65/950.00	c  949s |      26 | 10565888 |  8028952 |     1959  10372 |        0 |        0
951.65/952.00	c  951s |      26 | 10587350 |  8045052 |     1959  10388 |        0 |        0
953.65/954.01	c  953s |      26 | 10608493 |  8061352 |     1959  10404 |        0 |        0
955.66/956.02	c  956s |      26 | 10625250 |  8074652 |     1959  10418 |        0 |        0
957.65/958.04	c  958s |      26 | 10642888 |  8088152 |     1959  10431 |        0 |        0
959.65/960.05	c  960s |      26 | 10664378 |  8103752 |     1959  10447 |        0 |        0
961.65/962.05	c  962s |      26 | 10687505 |  8120852 |     1959  10463 |        0 |        0
963.65/964.06	c  964s |      26 | 10710231 |  8137752 |     1959  10480 |        0 |        0
965.65/966.07	c  966s |      26 | 10732045 |  8154352 |     1959  10496 |        0 |        0
967.65/968.08	c  968s |      26 | 10757094 |  8172952 |     1959  10514 |        0 |        0
969.65/970.08	c  970s |      26 | 10781748 |  8191052 |     1959  10532 |        0 |        0
971.65/972.08	c  972s |      26 | 10806268 |  8208252 |     1959  10549 |        0 |        0
973.65/974.09	c  974s |      26 | 10831092 |  8226252 |     1959  10567 |        0 |        0
975.75/976.11	c  976s |      26 | 10853675 |  8243252 |     1959  10583 |        0 |        0
977.75/978.11	c  978s |      26 | 10876205 |  8259952 |     1959  10600 |        0 |        0
979.75/980.11	c  980s |      26 | 10893340 |  8273552 |     1959  10613 |        0 |        0
981.74/982.12	c  982s |      26 | 10913441 |  8289252 |     1959  10628 |        0 |        0
983.74/984.13	c  984s |      26 | 10934352 |  8305252 |     1959  10644 |        0 |        0
985.74/986.13	c  986s |      26 | 10955465 |  8320752 |     1959  10659 |        0 |        0
987.74/988.14	c  988s |      26 | 10976998 |  8337052 |     1959  10675 |        0 |        0
989.75/990.14	c  990s |      26 | 10999698 |  8353852 |     1959  10691 |        0 |        0
991.74/992.14	c  992s |      26 | 11021999 |  8370452 |     1959  10707 |        0 |        0
993.74/994.14	c  994s |      26 | 11045804 |  8388052 |     1959  10725 |        0 |        0
995.74/996.14	c  996s |      26 | 11065005 |  8403152 |     1959  10740 |        0 |        0
997.74/998.15	c  998s |      26 | 11087018 |  8419652 |     1959  10756 |        0 |        0
999.75/1000.15	c 1000s |      26 | 11108916 |  8435752 |     1959  10772 |        0 |        0
1001.75/1002.16	c 1002s |      26 | 11131254 |  8452652 |     1959  10788 |        0 |        0
1003.74/1004.17	c 1004s |      26 | 11155169 |  8469952 |     1959  10805 |        0 |        0
1005.74/1006.17	c 1006s |      26 | 11175649 |  8485552 |     1959  10820 |        0 |        0
1007.74/1008.18	c 1008s |      26 | 11194081 |  8500552 |     1959  10835 |        0 |        0
1009.74/1010.18	c 1010s |      26 | 11214808 |  8516852 |     1959  10851 |        0 |        0
1011.75/1012.18	c 1012s |      26 | 11233756 |  8531652 |     1959  10865 |        0 |        0
1013.74/1014.18	c 1014s |      26 | 11253030 |  8546752 |     1959  10880 |        0 |        0
1015.74/1016.19	c 1016s |      26 | 11273994 |  8562752 |     1959  10896 |        0 |        0
1017.74/1018.19	c 1018s |      26 | 11296509 |  8579552 |     1959  10912 |        0 |        0
1019.84/1020.20	c 1020s |      26 | 11320088 |  8597152 |     1959  10929 |        0 |        0
1021.84/1022.21	c 1022s |      26 | 11339715 |  8611652 |     1959  10944 |        0 |        0
1023.85/1024.21	c 1024s |      26 | 11359662 |  8626352 |     1959  10959 |        0 |        0
1025.84/1026.21	c 1026s |      26 | 11383052 |  8642552 |     1959  10975 |        0 |        0
1027.84/1028.22	c 1028s |      26 | 11403134 |  8657652 |     1959  10990 |        0 |        0
1029.84/1030.22	c 1030s |      26 | 11421789 |  8672552 |     1959  11004 |        0 |        0
1031.84/1032.23	c 1032s |      26 | 11442631 |  8688452 |     1959  11020 |        0 |        0
1033.83/1034.24	c 1034s |      26 | 11461731 |  8702752 |     1959  11034 |        0 |        0
1035.84/1036.24	c 1036s |      26 | 11480561 |  8716952 |     1959  11048 |        0 |        0
1037.83/1038.25	c 1038s |      26 | 11503986 |  8734752 |     1959  11065 |        0 |        0
1039.83/1040.26	c 1040s |      26 | 11526265 |  8751552 |     1959  11082 |        0 |        0
1041.83/1042.27	c 1042s |      26 | 11549550 |  8769052 |     1959  11099 |        0 |        0
1043.83/1044.27	c 1044s |      26 | 11570885 |  8785252 |     1959  11115 |        0 |        0
1045.84/1046.28	c 1046s |      26 | 11594406 |  8802752 |     1959  11132 |        0 |        0
1047.83/1048.28	c 1048s |      26 | 11615980 |  8818552 |     1959  11148 |        0 |        0
1049.83/1050.29	c 1050s |      26 | 11639477 |  8836452 |     1959  11165 |        0 |        0
1051.93/1052.30	c 1052s |      26 | 11659029 |  8851152 |     1959  11180 |        0 |        0
1053.93/1054.30	c 1054s |      26 | 11677748 |  8865752 |     1959  11194 |        0 |        0
1055.93/1056.30	c 1056s |      26 | 11694792 |  8878452 |     1959  11207 |        0 |        0
1057.94/1058.30	c 1058s |      26 | 11711339 |  8891752 |     1959  11220 |        0 |        0
1059.93/1060.31	c 1060s |      26 | 11729129 |  8905552 |     1959  11234 |        0 |        0
1061.93/1062.33	c 1062s |      26 | 11746107 |  8918552 |     1959  11247 |        0 |        0
1063.94/1064.34	c 1064s |      26 | 11762887 |  8932352 |     1959  11261 |        0 |        0
1065.94/1066.35	c 1066s |      26 | 11782688 |  8947952 |     1959  11276 |        0 |        0
1067.93/1068.36	c 1068s |      26 | 11800453 |  8962252 |     1959  11290 |        0 |        0
1069.94/1070.36	c 1070s |      26 | 11819190 |  8976552 |     1959  11304 |        0 |        0
1071.93/1072.37	c 1072s |      26 | 11837018 |  8990452 |     1959  11318 |        0 |        0
1073.93/1074.38	c 1074s |      26 | 11855160 |  9004652 |     1959  11333 |        0 |        0
1075.93/1076.38	c 1076s |      26 | 11874280 |  9019852 |     1959  11348 |        0 |        0
1077.93/1078.39	c 1078s |      26 | 11894311 |  9035352 |     1959  11363 |        0 |        0
1080.03/1080.40	c 1080s |      26 | 11913952 |  9050752 |     1959  11378 |        0 |        0
1081.93/1082.40	c 1082s |      26 | 11932537 |  9065752 |     1959  11393 |        0 |        0
1084.03/1084.41	c 1084s |      26 | 11953442 |  9081452 |     1959  11408 |        0 |        0
1086.02/1086.42	c 1086s |      26 | 11974228 |  9097052 |     1959  11423 |        0 |        0
1088.02/1088.43	c 1088s |      26 | 11994468 |  9112552 |     1959  11439 |        0 |        0
1090.02/1090.43	c 1090s |      26 | 12015689 |  9129052 |     1959  11455 |        0 |        0
1092.03/1092.44	c 1092s |      26 | 12036913 |  9145452 |     1959  11471 |        0 |        0
1094.03/1094.44	c 1094s |      26 | 12058074 |  9161452 |     1959  11487 |        0 |        0
1096.03/1096.45	c 1096s |      26 | 12078555 |  9177052 |     1959  11503 |        0 |        0
1098.03/1098.45	c 1098s |      26 | 12098922 |  9192952 |     1959  11518 |        0 |        0
1100.03/1100.46	c 1100s |      26 | 12120792 |  9209252 |     1959  11535 |        0 |        0
1102.03/1102.47	c 1102s |      26 | 12141793 |  9225552 |     1959  11551 |        0 |        0
1104.03/1104.47	c 1104s |      26 | 12162280 |  9241652 |     1959  11566 |        0 |        0
1106.03/1106.47	c 1106s |      26 | 12183471 |  9257652 |     1959  11583 |        0 |        0
1108.03/1108.48	c 1108s |      26 | 12205041 |  9273852 |     1959  11599 |        0 |        0
1110.03/1110.49	c 1110s |      26 | 12225339 |  9289352 |     1959  11614 |        0 |        0
1112.03/1112.49	c 1112s |      26 | 12245946 |  9305252 |     1959  11630 |        0 |        0
1114.03/1114.50	c 1114s |      26 | 12265810 |  9320752 |     1959  11645 |        0 |        0
1116.03/1116.50	c 1116s |      26 | 12286439 |  9336252 |     1959  11661 |        0 |        0
1118.13/1118.51	c 1118s |      26 | 12308176 |  9352752 |     1959  11677 |        0 |        0
1120.12/1120.51	c 1120s |      26 | 12330735 |  9370252 |     1959  11694 |        0 |        0
1122.12/1122.52	c 1122s |      26 | 12354586 |  9388052 |     1959  11712 |        0 |        0
1124.12/1124.52	c 1124s |      26 | 12377011 |  9405352 |     1959  11729 |        0 |        0
1126.13/1126.53	c 1126s |      26 | 12400269 |  9423152 |     1959  11746 |        0 |        0
1128.12/1128.53	c 1128s |      26 | 12423483 |  9440252 |     1959  11763 |        0 |        0
1130.12/1130.54	c 1130s |      26 | 12445428 |  9457252 |     1959  11780 |        0 |        0
1132.12/1132.55	c 1132s |      26 | 12467782 |  9474252 |     1959  11796 |        0 |        0
1134.12/1134.55	c 1134s |      26 | 12491186 |  9491852 |     1959  11813 |        0 |        0
1136.13/1136.56	c 1136s |      26 | 12511084 |  9507452 |     1959  11829 |        0 |        0
1138.13/1138.56	c 1138s |      26 | 12532280 |  9523952 |     1959  11845 |        0 |        0
1140.12/1140.57	c 1140s |      26 | 12556198 |  9541652 |     1959  11862 |        0 |        0
1142.12/1142.57	c 1142s |      26 | 12577683 |  9557952 |     1959  11878 |        0 |        0
1144.12/1144.57	c 1144s |      26 | 12599961 |  9574952 |     1959  11894 |        0 |        0
1146.12/1146.58	c 1146s |      26 | 12621749 |  9591552 |     1959  11911 |        0 |        0
1148.13/1148.58	c 1148s |      26 | 12646761 |  9609752 |     1959  11929 |        0 |        0
1150.12/1150.58	c 1150s |      26 | 12668209 |  9626552 |     1959  11945 |        0 |        0
1152.12/1152.59	c 1152s |      26 | 12690045 |  9643252 |     1959  11962 |        0 |        0
1154.22/1154.60	c 1154s |      26 | 12712040 |  9660052 |     1959  11978 |        0 |        0
1156.22/1156.61	c 1156s |      26 | 12734093 |  9676252 |     1959  11994 |        0 |        0
1158.22/1158.62	c 1158s |      26 | 12753257 |  9691352 |     1959  12009 |        0 |        0
1160.22/1160.62	c 1160s |      26 | 12774514 |  9707852 |     1959  12025 |        0 |        0
1162.22/1162.63	c 1162s |      26 | 12798260 |  9725952 |     1959  12043 |        0 |        0
1164.22/1164.63	c 1164s |      26 | 12820804 |  9742752 |     1959  12059 |        0 |        0
1166.21/1166.63	c 1166s |      26 | 12841621 |  9758952 |     1959  12075 |        0 |        0
1168.21/1168.64	c 1168s |      26 | 12863644 |  9775652 |     1959  12091 |        0 |        0
1170.21/1170.64	c 1170s |      26 | 12883927 |  9791452 |     1959  12107 |        0 |        0
1172.22/1172.64	c 1172s |      26 | 12904051 |  9807152 |     1959  12122 |        0 |        0
1174.21/1174.65	c 1174s |      26 | 12925189 |  9823252 |     1959  12138 |        0 |        0
1176.21/1176.65	c 1176s |      26 | 12945028 |  9838752 |     1959  12154 |        0 |        0
1178.21/1178.65	c 1178s |      26 | 12963931 |  9854052 |     1959  12168 |        0 |        0
1180.21/1180.66	c 1180s |      26 | 12983801 |  9869452 |     1959  12183 |        0 |        0
1182.22/1182.66	c 1182s |      26 | 13006442 |  9886252 |     1959  12200 |        0 |        0
1184.22/1184.67	c 1184s |      26 | 13027229 |  9902152 |     1959  12216 |        0 |        0
1186.22/1186.68	c 1186s |      26 | 13048776 |  9918852 |     1959  12232 |        0 |        0
1188.22/1188.68	c 1188s |      26 | 13071200 |  9935552 |     1959  12249 |        0 |        0
1190.22/1190.69	c 1190s |      26 | 13090147 |  9949652 |     1959  12263 |        0 |        0
1192.21/1192.69	c 1192s |      26 | 13110582 |  9965352 |     1959  12279 |        0 |        0
1194.22/1194.70	c 1194s |      26 | 13131865 |  9981252 |     1959  12294 |        0 |        0
1196.31/1196.70	c 1196s |      26 | 13152834 |  9996552 |     1959  12309 |        0 |        0
1198.31/1198.71	c 1198s |      26 | 13170888 | 10010352 |     1959  12323 |        0 |        0
1200.31/1200.72	c 1200s |      26 | 13191850 | 10026352 |     1959  12339 |        0 |        0
1202.31/1202.73	c 1202s |      26 | 13212820 | 10041652 |     1959  12354 |        0 |        0
1204.31/1204.73	c 1204s |      26 | 13232542 | 10056552 |     1959  12369 |        0 |        0
1206.32/1206.75	c 1206s |      26 | 13250382 | 10070352 |     1959  12383 |        0 |        0
1208.31/1208.75	c 1208s |      26 | 13271230 | 10085752 |     1959  12398 |        0 |        0
1210.31/1210.76	c 1210s |      26 | 13291469 | 10100852 |     1959  12413 |        0 |        0
1212.31/1212.77	c 1212s |      26 | 13310451 | 10115252 |     1959  12427 |        0 |        0
1214.31/1214.77	c 1214s |      26 | 13332675 | 10131052 |     1959  12443 |        0 |        0
1216.32/1216.78	c 1216s |      26 | 13355098 | 10147552 |     1959  12459 |        0 |        0
1218.31/1218.79	c 1218s |      26 | 13376291 | 10163352 |     1959  12475 |        0 |        0
1220.41/1220.80	c 1220s |      26 | 13396472 | 10178152 |     1959  12489 |        0 |        0
1222.41/1222.80	c 1222s |      26 | 13415489 | 10192052 |     1959  12503 |        0 |        0
1224.41/1224.81	c 1224s |      26 | 13433630 | 10205352 |     1959  12516 |        0 |        0
1226.41/1226.81	c 1226s |      26 | 13453521 | 10219852 |     1959  12531 |        0 |        0
1228.41/1228.82	c 1228s |      26 | 13472988 | 10234652 |     1959  12545 |        0 |        0
1230.41/1230.83	c 1230s |      26 | 13491835 | 10249552 |     1959  12560 |        0 |        0
1232.40/1232.83	c 1232s |      26 | 13512843 | 10265252 |     1959  12575 |        0 |        0
1234.40/1234.83	c 1234s |      26 | 13531993 | 10280052 |     1959  12590 |        0 |        0
1236.40/1236.85	c 1236s |      26 | 13550111 | 10294852 |     1959  12604 |        0 |        0
1238.40/1238.85	c 1238s |      26 | 13568101 | 10308852 |     1959  12618 |        0 |        0
1240.41/1240.87	c 1240s |      26 | 13586216 | 10323452 |     1959  12633 |        0 |        0
1242.40/1242.87	c 1242s |      26 | 13605752 | 10338652 |     1959  12647 |        0 |        0
1244.41/1244.88	c 1244s |      26 | 13627152 | 10355052 |     1959  12663 |        0 |        0
1246.41/1246.89	c 1246s |      26 | 13648085 | 10371252 |     1959  12679 |        0 |        0
1248.51/1248.90	c 1248s |      26 | 13667362 | 10386352 |     1959  12694 |        0 |        0
1250.51/1250.90	c 1250s |      26 | 13685855 | 10400752 |     1959  12708 |        0 |        0
1252.51/1252.92	c 1252s |      26 | 13703979 | 10415052 |     1959  12722 |        0 |        0
1254.51/1254.93	c 1254s |      26 | 13723243 | 10429452 |     1959  12737 |        0 |        0
1256.51/1256.94	c 1256s |      26 | 13740802 | 10443752 |     1959  12750 |        0 |        0
1258.51/1258.94	c 1258s |      26 | 13758191 | 10457752 |     1959  12764 |        0 |        0
1260.51/1260.95	c 1260s |      26 | 13775841 | 10471252 |     1959  12777 |        0 |        0
1262.51/1262.96	c 1262s |      26 | 13795379 | 10485952 |     1959  12792 |        0 |        0
1264.50/1264.97	c 1264s |      26 | 13813038 | 10499852 |     1959  12806 |        0 |        0
1266.50/1266.97	c 1266s |      26 | 13833106 | 10514552 |     1959  12821 |        0 |        0
1268.50/1268.99	c 1268s |      26 | 13852541 | 10528752 |     1959  12835 |        0 |        0
1270.50/1270.99	c 1270s |      26 | 13872863 | 10543752 |     1959  12849 |        0 |        0
1272.50/1272.99	c 1272s |      26 | 13891312 | 10557352 |     1959  12863 |        0 |        0
1274.51/1275.00	c 1274s |      26 | 13910247 | 10571552 |     1959  12877 |        0 |        0
1276.60/1277.00	c 1276s |      26 | 13926832 | 10584452 |     1959  12889 |        0 |        0
1278.60/1279.01	c 1278s |      26 | 13943246 | 10597052 |     1959  12902 |        0 |        0
1280.60/1281.02	c 1281s |      26 | 13962172 | 10611452 |     1959  12916 |        0 |        0
1282.60/1283.02	c 1283s |      26 | 13980594 | 10625552 |     1959  12930 |        0 |        0
1284.60/1285.02	c 1285s |      26 | 13997107 | 10638152 |     1959  12943 |        0 |        0
1286.60/1287.02	c 1287s |      26 | 14013217 | 10650452 |     1959  12955 |        0 |        0
1288.59/1289.04	c 1289s |      26 | 14029113 | 10662752 |     1959  12968 |        0 |        0
1290.60/1291.04	c 1291s |      26 | 14044220 | 10674652 |     1959  12979 |        0 |        0
1292.60/1293.05	c 1293s |      26 | 14063284 | 10688852 |     1959  12994 |        0 |        0
1294.60/1295.06	c 1295s |      26 | 14083409 | 10703452 |     1959  13008 |        0 |        0
1296.61/1297.07	c 1297s |      26 | 14102987 | 10717952 |     1959  13022 |        0 |        0
1298.60/1299.08	c 1299s |      26 | 14121104 | 10732152 |     1959  13036 |        0 |        0
1300.60/1301.08	c 1301s |      26 | 14140009 | 10747152 |     1959  13051 |        0 |        0
1302.60/1303.09	c 1303s |      26 | 14160601 | 10762752 |     1959  13067 |        0 |        0
1304.70/1305.10	c 1305s |      26 | 14180549 | 10778652 |     1959  13082 |        0 |        0
1306.70/1307.11	c 1307s |      26 | 14200104 | 10793852 |     1959  13097 |        0 |        0
1308.70/1309.12	c 1309s |      26 | 14219403 | 10808452 |     1959  13111 |        0 |        0
1310.70/1311.12	c 1311s |      26 | 14237605 | 10822752 |     1959  13125 |        0 |        0
1312.70/1313.13	c 1313s |      26 | 14258996 | 10838552 |     1959  13141 |        0 |        0
1314.69/1315.13	c 1315s |      26 | 14281158 | 10854952 |     1959  13157 |        0 |        0
1316.69/1317.14	c 1317s |      26 | 14302890 | 10870852 |     1959  13173 |        0 |        0
1318.69/1319.14	c 1319s |      26 | 14322391 | 10885352 |     1959  13187 |        0 |        0
1320.70/1321.14	c 1321s |      26 | 14342862 | 10900752 |     1959  13202 |        0 |        0
1322.69/1323.15	c 1323s |      26 | 14360571 | 10914752 |     1959  13216 |        0 |        0
1324.69/1325.16	c 1325s |      26 | 14378740 | 10928952 |     1959  13230 |        0 |        0
1326.69/1327.16	c 1327s |      26 | 14400187 | 10944452 |     1959  13245 |        0 |        0
1328.69/1329.16	c 1329s |      26 | 14419451 | 10958652 |     1959  13259 |        0 |        0
1330.70/1331.18	c 1331s |      26 | 14440170 | 10973652 |     1959  13274 |        0 |        0
1332.69/1333.19	c 1333s |      26 | 14460170 | 10988152 |     1959  13289 |        0 |        0
1334.79/1335.20	c 1335s |      26 | 14481301 | 11004052 |     1959  13304 |        0 |        0
1336.79/1337.20	c 1337s |      26 | 14499352 | 11018752 |     1959  13318 |        0 |        0
1338.79/1339.21	c 1339s |      26 | 14519452 | 11034152 |     1959  13333 |        0 |        0
1340.79/1341.21	c 1341s |      26 | 14538487 | 11049252 |     1959  13348 |        0 |        0
1342.80/1343.22	c 1343s |      26 | 14560256 | 11065652 |     1959  13364 |        0 |        0
1344.79/1345.22	c 1345s |      26 | 14578259 | 11079352 |     1959  13378 |        0 |        0
1346.79/1347.23	c 1347s |      26 | 14595347 | 11092552 |     1959  13391 |        0 |        0
1348.79/1349.25	c 1349s |      26 | 14612666 | 11105752 |     1959  13404 |        0 |        0
1350.79/1351.25	c 1351s |      26 | 14630559 | 11119452 |     1959  13418 |        0 |        0
1352.79/1353.26	c 1353s |      26 | 14650921 | 11135052 |     1959  13433 |        0 |        0
1354.80/1355.26	c 1355s |      26 | 14671399 | 11150552 |     1959  13448 |        0 |        0
1356.79/1357.26	c 1357s |      26 | 14691352 | 11165752 |     1959  13463 |        0 |        0
1358.79/1359.27	c 1359s |      26 | 14710474 | 11180552 |     1959  13477 |        0 |        0
1360.79/1361.28	c 1361s |      26 | 14728986 | 11194852 |     1959  13491 |        0 |        0
1362.79/1363.30	c 1363s |      26 | 14748463 | 11209952 |     1959  13506 |        0 |        0
1364.89/1365.31	c 1365s |      26 | 14765162 | 11222552 |     1959  13519 |        0 |        0
1366.89/1367.31	c 1367s |      26 | 14780184 | 11234452 |     1959  13531 |        0 |        0
1368.88/1369.31	c 1369s |      26 | 14796618 | 11246852 |     1959  13543 |        0 |        0
1370.88/1371.31	c 1371s |      26 | 14815790 | 11261652 |     1959  13558 |        0 |        0
1372.88/1373.32	c 1373s |      26 | 14837615 | 11278252 |     1959  13574 |        0 |        0
1374.88/1375.33	c 1375s |      26 | 14859570 | 11295252 |     1959  13591 |        0 |        0
1376.89/1377.33	c 1377s |      26 | 14878784 | 11310652 |     1959  13606 |        0 |        0
1378.88/1379.34	c 1379s |      26 | 14900193 | 11327652 |     2155  13621 |        0 |        0
1380.88/1381.34	c 1381s |      26 | 14917416 | 11341152 |     2155  13633 |        0 |        0
1382.88/1383.35	c 1383s |      26 | 14936483 | 11355752 |     2155  13647 |        0 |        0
1384.88/1385.36	c 1385s |      26 | 14956537 | 11370452 |     2155  13660 |        0 |        0
1386.88/1387.37	c 1387s |      26 | 14975080 | 11384452 |     2155  13673 |        0 |        0
1388.88/1389.34	c 1389s |      27 | 14991519 | 11396733 |     2155  13684 |        0 |        0
1390.88/1391.34	c 1391s |      27 | 15010050 | 11411433 |     2155  13697 |        0 |        0
1392.88/1393.34	c 1393s |      27 | 15030305 | 11426733 |     2155  13710 |        0 |        0
1394.88/1395.35	c 1395s |      27 | 15052426 | 11442933 |     2155  13725 |        0 |        0
1396.88/1397.36	c 1397s |      27 | 15072583 | 11458233 |     2155  13739 |        0 |        0
1398.89/1399.37	c 1399s |      27 | 15094672 | 11474533 |     2155  13754 |        0 |        0
1400.88/1401.38	c 1401s |      27 | 15115613 | 11490333 |     2155  13768 |        0 |        0
1402.88/1403.38	c 1403s |      27 | 15137299 | 11506333 |     2155  13782 |        0 |        0
1404.88/1405.39	c 1405s |      27 | 15158483 | 11522133 |     2155  13796 |        0 |        0
1406.98/1407.40	c 1407s |      27 | 15178540 | 11537633 |     2155  13809 |        0 |        0
1408.98/1409.40	c 1409s |      27 | 15197771 | 11552433 |     2155  13822 |        0 |        0
1410.99/1411.41	c 1411s |      27 | 15217606 | 11567733 |     2155  13836 |        0 |        0
1412.98/1413.41	c 1413s |      27 | 15239129 | 11584033 |     2155  13851 |        0 |        0
1414.98/1415.42	c 1415s |      27 | 15260028 | 11599133 |     2155  13865 |        0 |        0
1416.98/1417.42	c 1417s |      27 | 15280035 | 11614833 |     2155  13878 |        0 |        0
1418.98/1419.42	c 1419s |      27 | 15300762 | 11630633 |     2155  13893 |        0 |        0
1420.98/1421.43	c 1421s |      27 | 15322438 | 11646533 |     2155  13907 |        0 |        0
1422.98/1423.44	c 1423s |      27 | 15342123 | 11661733 |     2155  13921 |        0 |        0
1424.98/1425.45	c 1425s |      27 | 15362565 | 11677833 |     2155  13935 |        0 |        0
1426.98/1427.46	c 1427s |      27 | 15383087 | 11693333 |     2155  13949 |        0 |        0
1428.97/1429.46	c 1429s |      27 | 15403352 | 11708833 |     2155  13963 |        0 |        0
1430.97/1431.46	c 1431s |      27 | 15423920 | 11724733 |     2155  13977 |        0 |        0
1432.98/1433.46	c 1433s |      27 | 15443809 | 11739733 |     2155  13990 |        0 |        0
1434.97/1435.47	c 1435s |      27 | 15463750 | 11754833 |     2155  14004 |        0 |        0
1436.97/1437.47	c 1437s |      27 | 15484487 | 11770533 |     2155  14018 |        0 |        0
1438.97/1439.49	c 1439s |      27 | 15504578 | 11785833 |     2155  14032 |        0 |        0
1441.07/1441.50	c 1441s |      27 | 15523734 | 11800733 |     2155  14045 |        0 |        0
1443.07/1443.51	c 1443s |      27 | 15543901 | 11815733 |     2155  14058 |        0 |        0
1445.08/1445.52	c 1445s |      27 | 15566885 | 11830933 |     2155  14072 |        0 |        0
1447.07/1447.52	c 1447s |      27 | 15587236 | 11846033 |     2155  14086 |        0 |        0
1449.07/1449.52	c 1449s |      27 | 15608634 | 11861933 |     2155  14100 |        0 |        0
1451.07/1451.54	c 1451s |      27 | 15630689 | 11877933 |     2155  14114 |        0 |        0
1453.08/1453.55	c 1453s |      27 | 15652009 | 11893933 |     2155  14128 |        0 |        0
1455.08/1455.55	c 1455s |      27 | 15672660 | 11909433 |     2155  14142 |        0 |        0
1457.08/1457.55	c 1457s |      27 | 15693015 | 11924933 |     2155  14156 |        0 |        0
1459.07/1459.56	c 1459s |      27 | 15713526 | 11940333 |     2155  14170 |        0 |        0
1461.07/1461.57	c 1461s |      27 | 15732762 | 11955133 |     2155  14183 |        0 |        0
1463.07/1463.59	c 1463s |      27 | 15752309 | 11969933 |     2155  14196 |        0 |        0
1465.07/1465.60	c 1465s |      27 | 15773738 | 11985833 |     2155  14210 |        0 |        0
1467.17/1467.60	c 1467s |      27 | 15794441 | 12000933 |     2155  14224 |        0 |        0
1469.18/1469.61	c 1469s |      27 | 15813738 | 12015433 |     2155  14237 |        0 |        0
1471.17/1471.62	c 1471s |      27 | 15834389 | 12030833 |     2155  14251 |        0 |        0
1473.17/1473.62	c 1473s |      27 | 15855564 | 12046333 |     2155  14264 |        0 |        0
1475.17/1475.63	c 1475s |      27 | 15874900 | 12060933 |     2155  14278 |        0 |        0
1477.17/1477.64	c 1477s |      27 | 15895759 | 12076833 |     2155  14292 |        0 |        0
1479.18/1479.64	c 1479s |      27 | 15916984 | 12092633 |     2155  14306 |        0 |        0
1481.17/1481.65	c 1481s |      27 | 15937701 | 12108433 |     2155  14320 |        0 |        0
1483.17/1483.66	c 1483s |      27 | 15958046 | 12123933 |     2155  14334 |        0 |        0
1485.17/1485.66	c 1485s |      27 | 15977039 | 12138833 |     2155  14347 |        0 |        0
1487.16/1487.67	c 1487s |      27 | 15999797 | 12155733 |     2155  14362 |        0 |        0
1489.16/1489.68	c 1489s |      27 | 16020364 | 12171433 |     2155  14376 |        0 |        0
1491.18/1491.69	c 1491s |      27 | 16041611 | 12187433 |     2155  14390 |        0 |        0
1493.17/1493.69	c 1493s |      27 | 16061984 | 12202633 |     2155  14404 |        0 |        0
1495.27/1495.70	c 1495s |      27 | 16082147 | 12218033 |     2155  14417 |        0 |        0
1497.27/1497.70	c 1497s |      27 | 16103729 | 12234233 |     2155  14432 |        0 |        0
1499.27/1499.71	c 1499s |      27 | 16124507 | 12249733 |     2155  14446 |        0 |        0
1501.27/1501.72	c 1501s |      27 | 16145014 | 12265333 |     2155  14460 |        0 |        0
1503.28/1503.72	c 1503s |      27 | 16166734 | 12281533 |     2155  14474 |        0 |        0
1505.27/1505.73	c 1505s |      27 | 16186486 | 12296833 |     2155  14488 |        0 |        0
1507.27/1507.74	c 1507s |      27 | 16206167 | 12312233 |     2155  14501 |        0 |        0
1509.27/1509.75	c 1509s |      27 | 16226234 | 12327333 |     2155  14515 |        0 |        0
1511.27/1511.75	c 1511s |      27 | 16246074 | 12342133 |     2155  14528 |        0 |        0
1513.27/1513.76	c 1513s |      27 | 16266375 | 12357433 |     2155  14542 |        0 |        0
1515.26/1515.77	c 1515s |      27 | 16287462 | 12373233 |     2155  14556 |        0 |        0
1517.26/1517.78	c 1517s |      27 | 16308276 | 12388733 |     2155  14570 |        0 |        0
1519.26/1519.79	c 1519s |      27 | 16325407 | 12401933 |     2155  14581 |        0 |        0
1521.36/1521.81	c 1521s |      27 | 16340586 | 12414233 |     2155  14593 |        0 |        0
1523.36/1523.81	c 1523s |      27 | 16357347 | 12426833 |     2155  14604 |        0 |        0
1525.37/1525.81	c 1525s |      27 | 16374005 | 12439433 |     2155  14615 |        0 |        0
1527.36/1527.83	c 1527s |      27 | 16389221 | 12451533 |     2155  14626 |        0 |        0
1529.36/1529.84	c 1529s |      27 | 16406806 | 12464633 |     2155  14638 |        0 |        0
1531.37/1531.84	c 1531s |      27 | 16423535 | 12477233 |     2155  14649 |        0 |        0
1533.36/1533.85	c 1533s |      27 | 16440859 | 12490533 |     2155  14661 |        0 |        0
1535.36/1535.86	c 1535s |      27 | 16460320 | 12505133 |     2155  14674 |        0 |        0
1537.37/1537.87	c 1537s |      27 | 16479981 | 12520033 |     2155  14687 |        0 |        0
1539.36/1539.87	c 1539s |      27 | 16500842 | 12535933 |     2155  14702 |        0 |        0
1541.36/1541.88	c 1541s |      27 | 16522259 | 12551833 |     2155  14716 |        0 |        0
1543.36/1543.89	c 1543s |      27 | 16543142 | 12567533 |     2155  14730 |        0 |        0
1545.36/1545.89	c 1545s |      27 | 16562242 | 12581933 |     2155  14743 |        0 |        0
1547.37/1547.89	c 1547s |      27 | 16582306 | 12597033 |     2155  14757 |        0 |        0
1549.36/1549.89	c 1549s |      27 | 16602176 | 12612433 |     2155  14771 |        0 |        0
1551.46/1551.90	c 1551s |      27 | 16622351 | 12627233 |     2155  14784 |        0 |        0
1553.46/1553.91	c 1553s |      27 | 16643337 | 12643033 |     2155  14798 |        0 |        0
1555.46/1555.91	c 1555s |      27 | 16662126 | 12657333 |     2155  14811 |        0 |        0
1557.46/1557.91	c 1557s |      27 | 16682990 | 12672933 |     2155  14825 |        0 |        0
1559.47/1559.92	c 1559s |      27 | 16703045 | 12688333 |     2155  14839 |        0 |        0
1561.46/1561.93	c 1561s |      27 | 16725074 | 12704933 |     2155  14854 |        0 |        0
1563.46/1563.94	c 1563s |      27 | 16746365 | 12720933 |     2155  14868 |        0 |        0
1565.46/1565.95	c 1565s |      27 | 16766787 | 12736433 |     2155  14882 |        0 |        0
1567.46/1567.95	c 1567s |      27 | 16788267 | 12752333 |     2155  14896 |        0 |        0
1569.46/1569.96	c 1569s |      27 | 16808211 | 12767633 |     2155  14910 |        0 |        0
1571.46/1571.97	c 1571s |      27 | 16829303 | 12783733 |     2155  14924 |        0 |        0
1573.45/1573.97	c 1573s |      27 | 16851139 | 12800133 |     2155  14939 |        0 |        0
1575.46/1575.98	c 1575s |      27 | 16871277 | 12815633 |     2155  14953 |        0 |        0
1577.46/1577.98	c 1577s |      27 | 16891789 | 12831033 |     2155  14967 |        0 |        0
1579.45/1579.99	c 1579s |      27 | 16911274 | 12845433 |     2155  14980 |        0 |        0
1581.46/1581.99	c 1581s |      27 | 16931985 | 12861333 |     2155  14994 |        0 |        0
1583.45/1584.00	c 1583s |      27 | 16952959 | 12876933 |     2155  15008 |        0 |        0
1585.55/1586.00	c 1585s |      27 | 16974668 | 12892733 |     2155  15022 |        0 |        0
1587.55/1588.01	c 1587s |      27 | 16994974 | 12907933 |     2155  15036 |        0 |        0
1589.55/1590.02	c 1590s |      27 | 17014443 | 12922833 |     2155  15049 |        0 |        0
1591.55/1592.02	c 1592s |      27 | 17033569 | 12937233 |     2155  15062 |        0 |        0
1593.56/1594.03	c 1594s |      27 | 17053938 | 12952633 |     2155  15076 |        0 |        0
1595.55/1596.04	c 1596s |      27 | 17073677 | 12967533 |     2155  15089 |        0 |        0
1597.55/1598.04	c 1598s |      27 | 17094492 | 12983033 |     2155  15103 |        0 |        0
1599.55/1600.05	c 1600s |      27 | 17115662 | 12998833 |     2155  15117 |        0 |        0
1601.55/1602.06	c 1602s |      27 | 17135103 | 13013733 |     2155  15130 |        0 |        0
1603.55/1604.06	c 1604s |      27 | 17156346 | 13029533 |     2155  15144 |        0 |        0
1605.55/1606.06	c 1606s |      27 | 17178345 | 13046233 |     2155  15159 |        0 |        0
1607.55/1608.07	c 1608s |      27 | 17199719 | 13061733 |     2155  15173 |        0 |        0
1609.55/1610.08	c 1610s |      27 | 17219728 | 13077133 |     2155  15187 |        0 |        0
1611.55/1612.09	c 1612s |      27 | 17239985 | 13092533 |     2155  15201 |        0 |        0
1613.64/1614.10	c 1614s |      27 | 17260773 | 13108033 |     2155  15215 |        0 |        0
1615.65/1616.10	c 1616s |      27 | 17280877 | 13123033 |     2155  15228 |        0 |        0
1617.65/1618.11	c 1618s |      27 | 17300630 | 13138133 |     2155  15242 |        0 |        0
1619.65/1620.12	c 1620s |      27 | 17321579 | 13154133 |     2155  15256 |        0 |        0
1621.65/1622.13	c 1622s |      27 | 17342380 | 13169933 |     2155  15270 |        0 |        0
1623.65/1624.14	c 1624s |      27 | 17363306 | 13185833 |     2155  15284 |        0 |        0
1625.65/1626.14	c 1626s |      27 | 17381756 | 13200433 |     2155  15298 |        0 |        0
1627.65/1628.15	c 1628s |      27 | 17400029 | 13214633 |     2155  15310 |        0 |        0
1629.65/1630.15	c 1630s |      27 | 17421591 | 13230533 |     2155  15325 |        0 |        0
1631.65/1632.16	c 1632s |      27 | 17441171 | 13245733 |     2155  15338 |        0 |        0
1633.64/1634.17	c 1634s |      27 | 17462018 | 13261733 |     2155  15353 |        0 |        0
1635.64/1636.17	c 1636s |      27 | 17482190 | 13277033 |     2155  15366 |        0 |        0
1637.65/1638.18	c 1638s |      27 | 17502403 | 13292233 |     2155  15380 |        0 |        0
1639.65/1640.19	c 1640s |      27 | 17523665 | 13308033 |     2155  15394 |        0 |        0
1641.64/1642.19	c 1642s |      27 | 17543990 | 13322833 |     2155  15408 |        0 |        0
1643.64/1644.19	c 1644s |      27 | 17562490 | 13336433 |     2155  15420 |        0 |        0
1645.74/1646.20	c 1646s |      27 | 17579152 | 13348633 |     2155  15431 |        0 |        0
1647.74/1648.21	c 1648s |      27 | 17599973 | 13364033 |     2155  15445 |        0 |        0
1649.74/1650.21	c 1650s |      27 | 17620567 | 13379533 |     2155  15459 |        0 |        0
1651.75/1652.21	c 1652s |      27 | 17641896 | 13395233 |     2155  15473 |        0 |        0
1653.74/1654.22	c 1654s |      27 | 17663246 | 13411133 |     2155  15487 |        0 |        0
1655.74/1656.23	c 1656s |      27 | 17684713 | 13427333 |     2155  15502 |        0 |        0
1657.74/1658.24	c 1658s |      27 | 17703202 | 13441733 |     2155  15515 |        0 |        0
1659.74/1660.25	c 1660s |      27 | 17723368 | 13457033 |     2155  15529 |        0 |        0
1661.74/1662.26	c 1662s |      27 | 17745140 | 13473533 |     2155  15544 |        0 |        0
1663.74/1664.26	c 1664s |      27 | 17764465 | 13488733 |     2155  15557 |        0 |        0
1665.74/1666.28	c 1666s |      27 | 17784984 | 13504633 |     2155  15572 |        0 |        0
1667.74/1668.28	c 1668s |      27 | 17806223 | 13520833 |     2155  15586 |        0 |        0
1669.74/1670.29	c 1670s |      27 | 17827387 | 13536633 |     2155  15600 |        0 |        0
1671.74/1672.29	c 1672s |      27 | 17847427 | 13551833 |     2155  15614 |        0 |        0
1673.75/1674.30	c 1674s |      27 | 17869333 | 13567933 |     2155  15628 |        0 |        0
1675.84/1676.30	c 1676s |      27 | 17890159 | 13583633 |     2155  15642 |        0 |        0
1677.84/1678.31	c 1678s |      27 | 17910573 | 13599233 |     2155  15656 |        0 |        0
1679.84/1680.32	c 1680s |      27 | 17930950 | 13614233 |     2155  15670 |        0 |        0
1681.84/1682.33	c 1682s |      27 | 17951227 | 13629833 |     2155  15684 |        0 |        0
1683.84/1684.34	c 1684s |      27 | 17973166 | 13646333 |     2155  15698 |        0 |        0
1685.85/1686.34	c 1686s |      27 | 17993830 | 13662133 |     2155  15712 |        0 |        0
1687.84/1688.35	c 1688s |      27 | 18016343 | 13678633 |     2155  15727 |        0 |        0
1689.84/1690.35	c 1690s |      27 | 18036764 | 13694533 |     2155  15742 |        0 |        0
1691.84/1692.35	c 1692s |      27 | 18057696 | 13710533 |     2155  15757 |        0 |        0
1693.84/1694.36	c 1694s |      27 | 18078132 | 13726433 |     2155  15771 |        0 |        0
1695.84/1696.37	c 1696s |      27 | 18100421 | 13743133 |     2155  15786 |        0 |        0
1697.83/1698.37	c 1698s |      27 | 18121244 | 13759033 |     2155  15800 |        0 |        0
1699.83/1700.37	c 1700s |      27 | 18141529 | 13774433 |     2155  15813 |        0 |        0
1701.83/1702.38	c 1702s |      27 | 18159848 | 13789333 |     2155  15826 |        0 |        0
1703.83/1704.39	c 1704s |      27 | 18179984 | 13804833 |     2155  15840 |        0 |        0
1705.83/1706.39	c 1706s |      27 | 18200822 | 13820333 |     2155  15854 |        0 |        0
1707.84/1708.39	c 1708s |      27 | 18220898 | 13836033 |     2155  15868 |        0 |        0
1709.93/1710.41	c 1710s |      27 | 18241199 | 13851533 |     2155  15882 |        0 |        0
1711.93/1712.41	c 1712s |      27 | 18260427 | 13866533 |     2155  15895 |        0 |        0
1713.94/1714.42	c 1714s |      27 | 18280854 | 13882033 |     2155  15909 |        0 |        0
1715.94/1716.43	c 1716s |      27 | 18301888 | 13897733 |     2155  15923 |        0 |        0
1717.94/1718.44	c 1718s |      27 | 18323942 | 13914133 |     2155  15938 |        0 |        0
1719.94/1720.44	c 1720s |      27 | 18343622 | 13929333 |     2155  15951 |        0 |        0
1721.94/1722.45	c 1722s |      27 | 18363709 | 13944633 |     2155  15965 |        0 |        0
1723.94/1724.46	c 1724s |      27 | 18382431 | 13959233 |     2155  15978 |        0 |        0
1725.93/1726.47	c 1726s |      27 | 18400861 | 13974033 |     2155  15991 |        0 |        0
1727.93/1728.47	c 1728s |      27 | 18422097 | 13989833 |     2155  16005 |        0 |        0
1729.94/1730.49	c 1730s |      27 | 18441697 | 14005333 |     2155  16019 |        0 |        0
1731.93/1732.50	c 1732s |      27 | 18462433 | 14021133 |     2155  16032 |        0 |        0
1734.03/1734.51	c 1734s |      27 | 18482842 | 14036833 |     2155  16046 |        0 |        0
1736.03/1736.52	c 1736s |      27 | 18501282 | 14051533 |     2155  16059 |        0 |        0
1738.03/1738.53	c 1738s |      27 | 18520707 | 14066533 |     2155  16073 |        0 |        0
1740.03/1740.54	c 1740s |      27 | 18541009 | 14081833 |     2155  16086 |        0 |        0
1742.04/1742.55	c 1742s |      27 | 18561609 | 14097433 |     2155  16100 |        0 |        0
1744.03/1744.55	c 1744s |      27 | 18581392 | 14112533 |     2155  16114 |        0 |        0
1746.03/1746.56	c 1746s |      27 | 18602775 | 14128633 |     2155  16129 |        0 |        0
1748.03/1748.56	c 1748s |      27 | 18623305 | 14144433 |     2155  16143 |        0 |        0
1750.03/1750.57	c 1750s |      27 | 18643542 | 14160233 |     2155  16157 |        0 |        0
1752.03/1752.58	c 1752s |      27 | 18664544 | 14176133 |     2155  16172 |        0 |        0
1754.03/1754.58	c 1754s |      27 | 18686077 | 14192233 |     2155  16186 |        0 |        0
1756.02/1756.59	c 1756s |      27 | 18707414 | 14208333 |     2155  16201 |        0 |        0
1758.02/1758.59	c 1758s |      27 | 18726482 | 14223433 |     2155  16214 |        0 |        0
1760.12/1760.60	c 1760s |      27 | 18746512 | 14238833 |     2155  16228 |        0 |        0
1762.12/1762.61	c 1762s |      27 | 18766397 | 14254033 |     2155  16242 |        0 |        0
1764.12/1764.61	c 1764s |      27 | 18786468 | 14269533 |     2155  16255 |        0 |        0
1766.13/1766.61	c 1766s |      27 | 18805894 | 14284433 |     2155  16269 |        0 |        0
1768.12/1768.61	c 1768s |      27 | 18823112 | 14297733 |     2155  16281 |        0 |        0
1770.12/1770.61	c 1770s |      27 | 18840395 | 14311133 |     2155  16293 |        0 |        0
1772.13/1772.62	c 1772s |      27 | 18858304 | 14325033 |     2155  16305 |        0 |        0
1774.13/1774.63	c 1774s |      27 | 18878562 | 14339933 |     2155  16319 |        0 |        0
1776.14/1776.64	c 1776s |      27 | 18900111 | 14355933 |     2155  16333 |        0 |        0
1778.13/1778.64	c 1778s |      27 | 18920931 | 14371733 |     2155  16348 |        0 |        0
1780.13/1780.65	c 1780s |      27 | 18942945 | 14387933 |     2155  16362 |        0 |        0
1782.13/1782.66	c 1782s |      27 | 18964148 | 14403633 |     2155  16376 |        0 |        0
1784.13/1784.67	c 1784s |      27 | 18984525 | 14419033 |     2155  16390 |        0 |        0
1786.13/1786.68	c 1786s |      27 | 19004959 | 14434433 |     2155  16404 |        0 |        0
1788.13/1788.69	c 1788s |      27 | 19024837 | 14449933 |     2155  16418 |        0 |        0
1790.12/1790.69	c 1790s |      27 | 19044094 | 14464433 |     2155  16431 |        0 |        0
1792.22/1792.71	c 1792s |      27 | 19063037 | 14479433 |     2155  16445 |        0 |        0
1794.22/1794.71	c 1794s |      27 | 19082608 | 14494033 |     2155  16458 |        0 |        0
1796.22/1796.72	c 1796s |      27 | 19100852 | 14508533 |     2155  16472 |        0 |        0
1798.22/1798.72	c 1798s |      27 | 19121491 | 14524133 |     2155  16486 |        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-4122466-1467316713/watcher-4122466-1467316713 -o /tmp/evaluation-result-4122466-1467316713/solver-4122466-1467316713 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node138-1467316713-6969 --watchdog 1960 toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4122466-1467316713.opb 

pid=6990
running on 4 cores: 1,3,5,7

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


[startup+0 s]
/proc/loadavg: 1.26 1.22 1.46 3/172 6994
/proc/meminfo: memFree=30706980/32872528 swapFree=533456/566160
[pid=6994] ppid=6990 vsize=384444 CPUtime=0 cores=1,3,5,7
/proc/6994/stat : 6994 (toysat) R 6990 6994 4526 0 -1 4202496 1375 0 0 0 0 0 0 0 20 0 4 0 2347654 393670656 1736 33554432000 4194304 16246674 140734483535648 140734483535072 13880264 0 2 0 34082818 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/6994/statm: 96879 1746 441 2943 0 93773 0
[pid=6994/tid=7001] ppid=6990 vsize=401852 CPUtime=0 cores=1,3,5,7
/proc/6994/task/7001/stat : 7001 (toysat) S 6990 6994 4526 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 2347655 411496448 1802 33554432000 4194304 16246674 140734483535648 140541769526512 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=6994/tid=7002] ppid=6990 vsize=405948 CPUtime=0 cores=1,3,5,7
/proc/6994/task/7002/stat : 7002 (toysat) S 6990 6994 4526 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 2347655 415690752 1819 33554432000 4194304 16246674 140734483535648 140541759036656 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=6994/tid=7003] ppid=6990 vsize=410044 CPUtime=0 cores=1,3,5,7
/proc/6994/task/7003/stat : 7003 (toysat) S 6990 6994 4526 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 2347655 419885056 1837 33554432000 4194304 16246674 140734483535648 140541748563120 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0

[startup+0.100116 s]
/proc/loadavg: 1.26 1.22 1.46 3/172 6994
/proc/meminfo: memFree=30706980/32872528 swapFree=533456/566160
[pid=6994] ppid=6990 vsize=1218116 CPUtime=0.09 cores=1,3,5,7
/proc/6994/stat : 6994 (toysat) R 6990 6994 4526 0 -1 4202496 24007 0 0 0 6 3 0 0 20 0 4 0 2347654 1247350784 24357 33554432000 4194304 16246674 140734483535648 140734483535072 6843278 0 0 0 34082818 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/6994/statm: 304529 24365 708 2943 0 301423 0
[pid=6994/tid=7001] ppid=6990 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/6994/task/7001/stat : 7001 (toysat) S 6990 6994 4526 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 2347655 1247350784 24369 33554432000 4194304 16246674 140734483535648 140541769526512 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=6994/tid=7002] ppid=6990 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/6994/task/7002/stat : 7002 (toysat) S 6990 6994 4526 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 2347655 1247350784 24374 33554432000 4194304 16246674 140734483535648 140541759036656 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=6994/tid=7003] ppid=6990 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/6994/task/7003/stat : 7003 (toysat) S 6990 6994 4526 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 2347655 1247350784 24379 33554432000 4194304 16246674 140734483535648 140541748563120 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 1218116

[startup+0.200466 s]
/proc/loadavg: 1.26 1.22 1.46 3/172 6994
/proc/meminfo: memFree=30706980/32872528 swapFree=533456/566160
[pid=6994] ppid=6990 vsize=1218116 CPUtime=0.18 cores=1,3,5,7
/proc/6994/stat : 6994 (toysat) R 6990 6994 4526 0 -1 4202496 46260 0 0 0 12 6 0 0 20 0 4 0 2347654 1247350784 46610 33554432000 4194304 16246674 140734483535648 140734483517568 5669490 0 0 0 34082818 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/6994/statm: 304529 46620 708 2943 0 301423 0
[pid=6994/tid=7001] ppid=6990 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/6994/task/7001/stat : 7001 (toysat) S 6990 6994 4526 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 2347655 1247350784 46632 33554432000 4194304 16246674 140734483535648 140541769526512 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=6994/tid=7002] ppid=6990 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/6994/task/7002/stat : 7002 (toysat) S 6990 6994 4526 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 2347655 1247350784 46637 33554432000 4194304 16246674 140734483535648 140541759036656 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=6994/tid=7003] ppid=6990 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/6994/task/7003/stat : 7003 (toysat) S 6990 6994 4526 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 2347655 1247350784 46642 33554432000 4194304 16246674 140734483535648 140541748563120 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 0.18
Current children cumulated vsize (KiB) 1218116

[startup+0.300458 s]
/proc/loadavg: 1.26 1.22 1.46 3/172 6994
/proc/meminfo: memFree=30706980/32872528 swapFree=533456/566160
[pid=6994] ppid=6990 vsize=1218116 CPUtime=0.28 cores=1,3,5,7
/proc/6994/stat : 6994 (toysat) R 6990 6994 4526 0 -1 4202496 68741 0 0 0 20 8 0 0 20 0 4 0 2347654 1247350784 69091 33554432000 4194304 16246674 140734483535648 140734483517568 5707858 0 0 0 34082818 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/6994/statm: 304529 69104 708 2943 0 301423 0
[pid=6994/tid=7001] ppid=6990 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/6994/task/7001/stat : 7001 (toysat) S 6990 6994 4526 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 2347655 1247350784 69111 33554432000 4194304 16246674 140734483535648 140541769526512 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=6994/tid=7002] ppid=6990 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/6994/task/7002/stat : 7002 (toysat) S 6990 6994 4526 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 2347655 1247350784 69116 33554432000 4194304 16246674 140734483535648 140541759036656 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=6994/tid=7003] ppid=6990 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/6994/task/7003/stat : 7003 (toysat) S 6990 6994 4526 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 2347655 1247350784 69122 33554432000 4194304 16246674 140734483535648 140541748563120 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 1218116

[startup+0.700377 s]
/proc/loadavg: 1.26 1.22 1.46 3/172 6994
/proc/meminfo: memFree=30706980/32872528 swapFree=533456/566160
[pid=6994] ppid=6990 vsize=1218116 CPUtime=0.68 cores=1,3,5,7
/proc/6994/stat : 6994 (toysat) R 6990 6994 4526 0 -1 4202496 158178 0 0 0 46 22 0 0 20 0 4 0 2347654 1247350784 158527 33554432000 4194304 16246674 140734483535648 140734483518648 5546181 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/6994/statm: 304529 158540 709 2943 0 301423 0
[pid=6994/tid=7001] ppid=6990 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/6994/task/7001/stat : 7001 (toysat) S 6990 6994 4526 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 2347655 1247350784 158545 33554432000 4194304 16246674 140734483535648 140541769526512 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=6994/tid=7002] ppid=6990 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/6994/task/7002/stat : 7002 (toysat) S 6990 6994 4526 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 2347655 1247350784 158553 33554432000 4194304 16246674 140734483535648 140541759036656 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=6994/tid=7003] ppid=6990 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/6994/task/7003/stat : 7003 (toysat) S 6990 6994 4526 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 2347655 1247350784 158560 33554432000 4194304 16246674 140734483535648 140541748563120 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 1218116

[startup+1.50039 s]
/proc/loadavg: 1.26 1.22 1.46 3/183 7005
/proc/meminfo: memFree=28776548/32872528 swapFree=533456/566160
[pid=6994] ppid=6990 vsize=1219140 CPUtime=1.48 cores=1,3,5,7
/proc/6994/stat : 6994 (toysat) R 6990 6994 4526 0 -1 4202496 245637 0 0 0 115 33 0 0 20 0 4 0 2347654 1248399360 245966 33554432000 4194304 16246674 140734483535648 140734483518648 5677731 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/6994/statm: 304785 245966 784 2943 0 301679 0
[pid=6994/tid=7001] ppid=6990 vsize=1219140 CPUtime=0 cores=1,3,5,7
/proc/6994/task/7001/stat : 7001 (toysat) S 6990 6994 4526 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 2347655 1248399360 245966 33554432000 4194304 16246674 140734483535648 140541769526512 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=6994/tid=7002] ppid=6990 vsize=1219140 CPUtime=0 cores=1,3,5,7
/proc/6994/task/7002/stat : 7002 (toysat) S 6990 6994 4526 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 2347655 1248399360 245966 33554432000 4194304 16246674 140734483535648 140541759036656 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=6994/tid=7003] ppid=6990 vsize=1219140 CPUtime=0 cores=1,3,5,7
/proc/6994/task/7003/stat : 7003 (toysat) S 6990 6994 4526 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 2347655 1248399360 245966 33554432000 4194304 16246674 140734483535648 140541748563120 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 1219140

[startup+3.10039 s]
/proc/loadavg: 1.26 1.22 1.46 3/183 7005
/proc/meminfo: memFree=28566260/32872528 swapFree=533456/566160
[pid=6994] ppid=6990 vsize=1306180 CPUtime=3.08 cores=1,3,5,7
/proc/6994/stat : 6994 (toysat) R 6990 6994 4526 0 -1 4202496 267434 0 0 0 272 36 0 0 20 0 4 0 2347654 1337528320 267763 33554432000 4194304 16246674 140734483535648 140734483518648 15015658 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/6994/statm: 326545 267763 784 2943 0 323439 0
[pid=6994/tid=7001] ppid=6990 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/6994/task/7001/stat : 7001 (toysat) S 6990 6994 4526 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 2347655 1337528320 267763 33554432000 4194304 16246674 140734483535648 140541769526512 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=6994/tid=7002] ppid=6990 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/6994/task/7002/stat : 7002 (toysat) S 6990 6994 4526 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 2347655 1337528320 267763 33554432000 4194304 16246674 140734483535648 140541759036656 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=6994/tid=7003] ppid=6990 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/6994/task/7003/stat : 7003 (toysat) S 6990 6994 4526 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 2347655 1337528320 267763 33554432000 4194304 16246674 140734483535648 140541748563120 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 1306180

[startup+6.30041 s]
/proc/loadavg: 1.32 1.23 1.46 3/183 7005
/proc/meminfo: memFree=28563848/32872528 swapFree=533456/566160
[pid=6994] ppid=6990 vsize=1306180 CPUtime=6.28 cores=1,3,5,7
/proc/6994/stat : 6994 (toysat) R 6990 6994 4526 0 -1 4202496 267558 0 0 0 592 36 0 0 20 0 4 0 2347654 1337528320 267887 33554432000 4194304 16246674 140734483535648 140734483517568 12874892 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/6994/statm: 326545 267887 785 2943 0 323439 0
[pid=6994/tid=7001] ppid=6990 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/6994/task/7001/stat : 7001 (toysat) S 6990 6994 4526 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 2347655 1337528320 267887 33554432000 4194304 16246674 140734483535648 140541769526512 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=6994/tid=7002] ppid=6990 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/6994/task/7002/stat : 7002 (toysat) S 6990 6994 4526 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 2347655 1337528320 267887 33554432000 4194304 16246674 140734483535648 140541759036656 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=6994/tid=7003] ppid=6990 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/6994/task/7003/stat : 7003 (toysat) S 6990 6994 4526 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 2347655 1337528320 267887 33554432000 4194304 16246674 140734483535648 140541748563120 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 1306180

[startup+12.7004 s]
/proc/loadavg: 1.37 1.24 1.46 3/183 7005
/proc/meminfo: memFree=28564140/32872528 swapFree=533456/566160
[pid=6994] ppid=6990 vsize=1306180 CPUtime=12.68 cores=1,3,5,7
/proc/6994/stat : 6994 (toysat) R 6990 6994 4526 0 -1 4202496 267558 0 0 0 1231 37 0 0 20 0 4 0 2347654 1337528320 267887 33554432000 4194304 16246674 140734483535648 140734483517568 12477957 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/6994/statm: 326545 267887 785 2943 0 323439 0
[pid=6994/tid=7001] ppid=6990 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/6994/task/7001/stat : 7001 (toysat) S 6990 6994 4526 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 2347655 1337528320 267887 33554432000 4194304 16246674 140734483535648 140541769526512 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=6994/tid=7002] ppid=6990 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/6994/task/7002/stat : 7002 (toysat) S 6990 6994 4526 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 2347655 1337528320 267887 33554432000 4194304 16246674 140734483535648 140541759036656 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=6994/tid=7003] ppid=6990 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/6994/task/7003/stat : 7003 (toysat) S 6990 6994 4526 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 2347655 1337528320 267887 33554432000 4194304 16246674 140734483535648 140541748563120 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 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: 1.59 1.30 1.47 3/183 7005
/proc/meminfo: memFree=28565556/32872528 swapFree=533456/566160
[pid=6994] ppid=6990 vsize=1306180 CPUtime=25.48 cores=1,3,5,7
/proc/6994/stat : 6994 (toysat) R 6990 6994 4526 0 -1 4202496 267568 0 0 0 2511 37 0 0 20 0 4 0 2347654 1337528320 267897 33554432000 4194304 16246674 140734483535648 140734483518648 5523625 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/6994/statm: 326545 267897 785 2943 0 323439 0
[pid=6994/tid=7001] ppid=6990 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/6994/task/7001/stat : 7001 (toysat) S 6990 6994 4526 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 2347655 1337528320 267897 33554432000 4194304 16246674 140734483535648 140541769526512 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=6994/tid=7002] ppid=6990 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/6994/task/7002/stat : 7002 (toysat) S 6990 6994 4526 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 2347655 1337528320 267897 33554432000 4194304 16246674 140734483535648 140541759036656 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=6994/tid=7003] ppid=6990 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/6994/task/7003/stat : 7003 (toysat) S 6990 6994 4526 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 2347655 1337528320 267897 33554432000 4194304 16246674 140734483535648 140541748563120 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 1306180

[startup+51.1005 s]
/proc/loadavg: 1.78 1.37 1.49 3/183 7005
/proc/meminfo: memFree=28563560/32872528 swapFree=533456/566160
[pid=6994] ppid=6990 vsize=1307204 CPUtime=51.08 cores=1,3,5,7
/proc/6994/stat : 6994 (toysat) R 6990 6994 4526 0 -1 4202496 267819 0 0 0 5070 38 0 0 20 0 4 0 2347654 1338576896 268148 33554432000 4194304 16246674 140734483535648 140734483518648 5822818 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/6994/statm: 326801 268148 787 2943 0 323695 0
[pid=6994/tid=7001] ppid=6990 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/6994/task/7001/stat : 7001 (toysat) S 6990 6994 4526 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 2347655 1338576896 268148 33554432000 4194304 16246674 140734483535648 140541769526512 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=6994/tid=7002] ppid=6990 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/6994/task/7002/stat : 7002 (toysat) S 6990 6994 4526 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 2347655 1338576896 268148 33554432000 4194304 16246674 140734483535648 140541759036656 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=6994/tid=7003] ppid=6990 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/6994/task/7003/stat : 7003 (toysat) S 6990 6994 4526 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 2347655 1338576896 268148 33554432000 4194304 16246674 140734483535648 140541748563120 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 1307204

[startup+102.301 s]
/proc/loadavg: 2.15 1.53 1.54 3/184 7009
/proc/meminfo: memFree=28563308/32872528 swapFree=533456/566160
[pid=6994] ppid=6990 vsize=1307204 CPUtime=102.27 cores=1,3,5,7
/proc/6994/stat : 6994 (toysat) R 6990 6994 4526 0 -1 4202496 267819 0 0 0 10189 38 0 0 20 0 4 0 2347654 1338576896 268148 33554432000 4194304 16246674 140734483535648 140734483517568 6012004 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/6994/statm: 326801 268148 787 2943 0 323695 0
[pid=6994/tid=7001] ppid=6990 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/6994/task/7001/stat : 7001 (toysat) S 6990 6994 4526 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 2347655 1338576896 268148 33554432000 4194304 16246674 140734483535648 140541769526512 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=6994/tid=7002] ppid=6990 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/6994/task/7002/stat : 7002 (toysat) S 6990 6994 4526 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 2347655 1338576896 268148 33554432000 4194304 16246674 140734483535648 140541759036656 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=6994/tid=7003] ppid=6990 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/6994/task/7003/stat : 7003 (toysat) S 6990 6994 4526 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 2347655 1338576896 268148 33554432000 4194304 16246674 140734483535648 140541748563120 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 1307204


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

/proc/6994/task/7003/stat : 7003 (toysat) S 6990 6994 4526 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 2347655 1344868352 269696 33554432000 4194304 16246674 140734483535648 140541748563120 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1301.9
Current children cumulated vsize (KiB) 1313348

[startup+1362.3 s]
/proc/loadavg: 2.11 2.14 1.97 3/183 7162
/proc/meminfo: memFree=28554496/32872528 swapFree=533456/566160
[pid=6994] ppid=6990 vsize=1313348 CPUtime=1361.89 cores=1,3,5,7
/proc/6994/stat : 6994 (toysat) R 6990 6994 4526 0 -1 4202496 269744 0 0 0 136124 65 0 0 20 0 4 0 2347654 1344868352 269696 33554432000 4194304 16246674 140734483535648 140734483517504 5673420 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/6994/statm: 328337 269696 789 2943 0 325231 0
[pid=6994/tid=7001] ppid=6990 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/6994/task/7001/stat : 7001 (toysat) S 6990 6994 4526 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 2347655 1344868352 269696 33554432000 4194304 16246674 140734483535648 140541769526512 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=6994/tid=7002] ppid=6990 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/6994/task/7002/stat : 7002 (toysat) S 6990 6994 4526 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 2347655 1344868352 269696 33554432000 4194304 16246674 140734483535648 140541759036656 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=6994/tid=7003] ppid=6990 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/6994/task/7003/stat : 7003 (toysat) S 6990 6994 4526 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 2347655 1344868352 269696 33554432000 4194304 16246674 140734483535648 140541748563120 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1361.89
Current children cumulated vsize (KiB) 1313348

[startup+1422.3 s]
/proc/loadavg: 2.04 2.11 1.97 4/183 7164
/proc/meminfo: memFree=28553796/32872528 swapFree=533456/566160
[pid=6994] ppid=6990 vsize=1313348 CPUtime=1421.88 cores=1,3,5,7
/proc/6994/stat : 6994 (toysat) R 6990 6994 4526 0 -1 4202496 269744 0 0 0 142122 66 0 0 20 0 4 0 2347654 1344868352 269696 33554432000 4194304 16246674 140734483535648 140734483517568 15015658 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/6994/statm: 328337 269696 789 2943 0 325231 0
[pid=6994/tid=7001] ppid=6990 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/6994/task/7001/stat : 7001 (toysat) S 6990 6994 4526 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 2347655 1344868352 269696 33554432000 4194304 16246674 140734483535648 140541769526512 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=6994/tid=7002] ppid=6990 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/6994/task/7002/stat : 7002 (toysat) S 6990 6994 4526 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 2347655 1344868352 269696 33554432000 4194304 16246674 140734483535648 140541759036656 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=6994/tid=7003] ppid=6990 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/6994/task/7003/stat : 7003 (toysat) S 6990 6994 4526 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 2347655 1344868352 269696 33554432000 4194304 16246674 140734483535648 140541748563120 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1421.88
Current children cumulated vsize (KiB) 1313348

[startup+1482.3 s]
/proc/loadavg: 2.11 2.12 1.98 3/183 7165
/proc/meminfo: memFree=28553696/32872528 swapFree=533456/566160
[pid=6994] ppid=6990 vsize=1313348 CPUtime=1481.87 cores=1,3,5,7
/proc/6994/stat : 6994 (toysat) R 6990 6994 4526 0 -1 4202496 269744 0 0 0 148120 67 0 0 20 0 4 0 2347654 1344868352 269696 33554432000 4194304 16246674 140734483535648 140734483517568 6020736 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/6994/statm: 328337 269696 789 2943 0 325231 0
[pid=6994/tid=7001] ppid=6990 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/6994/task/7001/stat : 7001 (toysat) S 6990 6994 4526 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 2347655 1344868352 269696 33554432000 4194304 16246674 140734483535648 140541769526512 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=6994/tid=7002] ppid=6990 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/6994/task/7002/stat : 7002 (toysat) S 6990 6994 4526 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 2347655 1344868352 269696 33554432000 4194304 16246674 140734483535648 140541759036656 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=6994/tid=7003] ppid=6990 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/6994/task/7003/stat : 7003 (toysat) S 6990 6994 4526 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 2347655 1344868352 269696 33554432000 4194304 16246674 140734483535648 140541748563120 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1481.87
Current children cumulated vsize (KiB) 1313348

[startup+1542.31 s]
/proc/loadavg: 2.04 2.10 1.98 3/183 7166
/proc/meminfo: memFree=28553656/32872528 swapFree=533456/566160
[pid=6994] ppid=6990 vsize=1313348 CPUtime=1541.87 cores=1,3,5,7
/proc/6994/stat : 6994 (toysat) R 6990 6994 4526 0 -1 4202496 269744 0 0 0 154118 69 0 0 20 0 4 0 2347654 1344868352 269696 33554432000 4194304 16246674 140734483535648 140734483517568 5677667 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/6994/statm: 328337 269696 789 2943 0 325231 0
[pid=6994/tid=7001] ppid=6990 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/6994/task/7001/stat : 7001 (toysat) S 6990 6994 4526 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 2347655 1344868352 269696 33554432000 4194304 16246674 140734483535648 140541769526512 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=6994/tid=7002] ppid=6990 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/6994/task/7002/stat : 7002 (toysat) S 6990 6994 4526 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 2347655 1344868352 269696 33554432000 4194304 16246674 140734483535648 140541759036656 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=6994/tid=7003] ppid=6990 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/6994/task/7003/stat : 7003 (toysat) S 6990 6994 4526 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 2347655 1344868352 269696 33554432000 4194304 16246674 140734483535648 140541748563120 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1541.87
Current children cumulated vsize (KiB) 1313348

[startup+1602.3 s]
/proc/loadavg: 2.01 2.08 1.98 4/183 7167
/proc/meminfo: memFree=28553552/32872528 swapFree=533456/566160
[pid=6994] ppid=6990 vsize=1313348 CPUtime=1601.85 cores=1,3,5,7
/proc/6994/stat : 6994 (toysat) R 6990 6994 4526 0 -1 4202496 269744 0 0 0 160116 69 0 0 20 0 4 0 2347654 1344868352 269696 33554432000 4194304 16246674 140734483535648 140734483517568 15015658 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/6994/statm: 328337 269696 789 2943 0 325231 0
[pid=6994/tid=7001] ppid=6990 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/6994/task/7001/stat : 7001 (toysat) S 6990 6994 4526 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 2347655 1344868352 269696 33554432000 4194304 16246674 140734483535648 140541769526512 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=6994/tid=7002] ppid=6990 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/6994/task/7002/stat : 7002 (toysat) S 6990 6994 4526 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 2347655 1344868352 269696 33554432000 4194304 16246674 140734483535648 140541759036656 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=6994/tid=7003] ppid=6990 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/6994/task/7003/stat : 7003 (toysat) S 6990 6994 4526 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 2347655 1344868352 269696 33554432000 4194304 16246674 140734483535648 140541748563120 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1601.85
Current children cumulated vsize (KiB) 1313348

[startup+1662.3 s]
/proc/loadavg: 2.04 2.07 1.98 3/183 7168
/proc/meminfo: memFree=28553556/32872528 swapFree=533456/566160
[pid=6994] ppid=6990 vsize=1313348 CPUtime=1661.84 cores=1,3,5,7
/proc/6994/stat : 6994 (toysat) R 6990 6994 4526 0 -1 4202496 269744 0 0 0 166114 70 0 0 20 0 4 0 2347654 1344868352 269696 33554432000 4194304 16246674 140734483535648 140734483517568 5832676 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/6994/statm: 328337 269696 789 2943 0 325231 0
[pid=6994/tid=7001] ppid=6990 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/6994/task/7001/stat : 7001 (toysat) S 6990 6994 4526 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 2347655 1344868352 269696 33554432000 4194304 16246674 140734483535648 140541769526512 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=6994/tid=7002] ppid=6990 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/6994/task/7002/stat : 7002 (toysat) S 6990 6994 4526 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 2347655 1344868352 269696 33554432000 4194304 16246674 140734483535648 140541759036656 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=6994/tid=7003] ppid=6990 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/6994/task/7003/stat : 7003 (toysat) S 6990 6994 4526 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 2347655 1344868352 269696 33554432000 4194304 16246674 140734483535648 140541748563120 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1661.84
Current children cumulated vsize (KiB) 1313348

[startup+1722.3 s]
/proc/loadavg: 2.06 2.07 1.99 3/183 7170
/proc/meminfo: memFree=28553552/32872528 swapFree=533456/566160
[pid=6994] ppid=6990 vsize=1313348 CPUtime=1721.84 cores=1,3,5,7
/proc/6994/stat : 6994 (toysat) R 6990 6994 4526 0 -1 4202496 269744 0 0 0 172112 72 0 0 20 0 4 0 2347654 1344868352 269696 33554432000 4194304 16246674 140734483535648 140734483517568 5672188 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/6994/statm: 328337 269696 789 2943 0 325231 0
[pid=6994/tid=7001] ppid=6990 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/6994/task/7001/stat : 7001 (toysat) S 6990 6994 4526 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 2347655 1344868352 269696 33554432000 4194304 16246674 140734483535648 140541769526512 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=6994/tid=7002] ppid=6990 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/6994/task/7002/stat : 7002 (toysat) S 6990 6994 4526 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 2347655 1344868352 269696 33554432000 4194304 16246674 140734483535648 140541759036656 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=6994/tid=7003] ppid=6990 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/6994/task/7003/stat : 7003 (toysat) S 6990 6994 4526 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 2347655 1344868352 269696 33554432000 4194304 16246674 140734483535648 140541748563120 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1721.84
Current children cumulated vsize (KiB) 1313348

[startup+1782.3 s]
/proc/loadavg: 2.11 2.09 2.00 4/184 7172
/proc/meminfo: memFree=28553292/32872528 swapFree=533456/566160
[pid=6994] ppid=6990 vsize=1313348 CPUtime=1781.83 cores=1,3,5,7
/proc/6994/stat : 6994 (toysat) R 6990 6994 4526 0 -1 4202496 269744 0 0 0 178110 73 0 0 20 0 4 0 2347654 1344868352 269696 33554432000 4194304 16246674 140734483535648 140734483518648 5672988 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/6994/statm: 328337 269696 789 2943 0 325231 0
[pid=6994/tid=7001] ppid=6990 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/6994/task/7001/stat : 7001 (toysat) S 6990 6994 4526 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 2347655 1344868352 269696 33554432000 4194304 16246674 140734483535648 140541769526512 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=6994/tid=7002] ppid=6990 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/6994/task/7002/stat : 7002 (toysat) S 6990 6994 4526 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 2347655 1344868352 269696 33554432000 4194304 16246674 140734483535648 140541759036656 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=6994/tid=7003] ppid=6990 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/6994/task/7003/stat : 7003 (toysat) S 6990 6994 4526 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 2347655 1344868352 269696 33554432000 4194304 16246674 140734483535648 140541748563120 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1781.83
Current children cumulated vsize (KiB) 1313348



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.5 s]
/proc/loadavg: 2.08 2.08 2.00 3/184 7172
/proc/meminfo: memFree=28553316/32872528 swapFree=533456/566160
[pid=6994] ppid=6990 vsize=1313348 CPUtime=1800.02 cores=1,3,5,7
/proc/6994/stat : 6994 (toysat) R 6990 6994 4526 0 -1 4202496 269744 0 0 0 179929 73 0 0 20 0 4 0 2347654 1344868352 269696 33554432000 4194304 16246674 140734483535648 140734483517568 13927401 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/6994/statm: 328337 269696 789 2943 0 325231 0
[pid=6994/tid=7001] ppid=6990 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/6994/task/7001/stat : 7001 (toysat) S 6990 6994 4526 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 2347655 1344868352 269696 33554432000 4194304 16246674 140734483535648 140541769526512 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=6994/tid=7002] ppid=6990 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/6994/task/7002/stat : 7002 (toysat) S 6990 6994 4526 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 2347655 1344868352 269696 33554432000 4194304 16246674 140734483535648 140541759036656 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=6994/tid=7003] ppid=6990 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/6994/task/7003/stat : 7003 (toysat) S 6990 6994 4526 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 2347655 1344868352 269696 33554432000 4194304 16246674 140734483535648 140541748563120 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1800.02
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 6994 sig 9
??? end of watcher thread
Dumping a history of the last processes samples

[startup+1800.5 s]
/proc/loadavg: 2.08 2.08 2.00 3/184 7172
/proc/meminfo: memFree=28553316/32872528 swapFree=533456/566160
[pid=6994] ppid=6990 vsize=1313348 CPUtime=1800.02 cores=1,3,5,7
/proc/6994/stat : 6994 (toysat) R 6990 6994 4526 0 -1 4202496 269744 0 0 0 179929 73 0 0 20 0 4 0 2347654 1344868352 269696 33554432000 4194304 16246674 140734483535648 140734483517568 13927401 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/6994/statm: 328337 269696 789 2943 0 325231 0
[pid=6994/tid=7001] ppid=6990 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/6994/task/7001/stat : 7001 (toysat) S 6990 6994 4526 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 2347655 1344868352 269696 33554432000 4194304 16246674 140734483535648 140541769526512 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=6994/tid=7002] ppid=6990 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/6994/task/7002/stat : 7002 (toysat) S 6990 6994 4526 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 2347655 1344868352 269696 33554432000 4194304 16246674 140734483535648 140541759036656 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=6994/tid=7003] ppid=6990 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/6994/task/7003/stat : 7003 (toysat) S 6990 6994 4526 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 2347655 1344868352 269696 33554432000 4194304 16246674 140734483535648 140541748563120 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1800.02
Current children cumulated vsize (KiB) 1313348

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1800.51
CPU time (s): 1800.04
CPU user time (s): 1799.3
CPU system time (s): 0.733888
CPU usage (%): 99.9737
Max. virtual memory (cumulated for all children) (KiB): 1313348

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.3
system time used= 0.733888
maximum resident set size= 1078784
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 269744
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= 393
involuntary context switches= 1888

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 10.7284 second user time and 18.5622 second system time

The end

Begin job on node138 at 2016-06-30 21:58:33
IDJOB=4122466
IDBENCH=111129
IDSOLVER=2542
FILE ID=node138/4122466-1467316713
RUNJOBID= node138-1467316713-6969
PBS_JOBID= 20005291
Free space on /tmp= 71732 MiB

SOLVER NAME= toysat 2016-05-02
BENCH NAME= PB15eval/normalized-PB15eval/DEC-SMALLINT-LIN/ProofComplexity-Extracted-Cardinality-Constraints/ProofComplexity/normalized-fixed-bandwidth-60.cnf.gz-extracted.pb.metafix.opb
COMMAND LINE= toysat +RTS -H1G -MMEMLIMITm -K1G -RTS --pb --search=bcd2 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4122466-1467316713/watcher-4122466-1467316713 -o /tmp/evaluation-result-4122466-1467316713/solver-4122466-1467316713 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node138-1467316713-6969 --watchdog 1960  toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4122466-1467316713.opb

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

MD5SUM BENCH= 0a75a919c4128f9268b339b502b7cd54
RANDOM SEED=1824786958

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

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

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

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

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

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

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

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

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.487
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:        30708152 kB
Buffers:          104436 kB
Cached:           739564 kB
SwapCached:            0 kB
Active:           258420 kB
Inactive:         604900 kB
Active(anon):      22304 kB
Inactive(anon):        0 kB
Active(file):     236116 kB
Inactive(file):   604900 kB
Unevictable:      566160 kB
Mlocked:          533456 kB
SwapTotal:      67108856 kB
SwapFree:       67108856 kB
Dirty:             32604 kB
Writeback:             0 kB
AnonPages:        585948 kB
Mapped:            14084 kB
Shmem:               204 kB
Slab:             603960 kB
SReclaimable:      48124 kB
SUnreclaim:       555836 kB
KernelStack:        1416 kB
PageTables:         5008 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:     670516 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:     40960 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= 71700 MiB
End job on node138 at 2016-06-30 22:28:34