0.00/0.00	c 2016-06-16T19:30:50+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-4095903-1466098250.opb"]
0.00/0.01	c use --random-gen="311008400 2843537502 1412703972 4123107161 2389338379 1593474682 2188522131 3296885989 3426393246 709504644 1211574496 3520233008 1231595637 1769721714 736305230 4185786020 858855668 3974745869 4234488955 1379143187 2014624526 4098484407 1408172996 1282929594 3592274517 3700176 2212160254 3597662730 1447616852 4133474483 3893494518 2525167988 1708805107 3226331313 3650664311 2051321988 4133563898 4190866003 662414965 1364038828 3219336757 3348681091 3440949138 1541940068 1121346558 2082888894 2256640600 2685353883 4083735166 2446670147 2241332299 3998607184 258560975 1233477141 576976385 2792493221 1822352081 2113528167 2583920654 2588541622 1956871183 3806520656 1276614306 839749589 3238707138 3321707516 1641722005 2608487233 1363459802 1398192337 1801841103 2271507921 1270596069 4090011019 3600351441 877263377 3683826608 3340431688 295221252 2463132402 2964540287 1332469851 576887675 2638066289 304495202 2161579620 1448637132 1187863803 1967100699 4265796815 2341772677 4019502695 36548015 2571264762 1631838973 3641820025 567668220 1854867728 3510788912 1837069705 747934704 1458325739 2018771317 2224464643 3877978350 3583979840 887077207 169862438 793210340 2488637390 2836437713 3606223692 2851230173 2167253369 2292825629 1292050415 3063023767 2325598539 2307534445 3716424034 2061185228 482416302 2206818311 3647000706 88532126 1329528122 2857599970 80663775 938288844 2941638226 2281873835 2724675095 551208317 103287537 2228875652 2946385215 3014851716 2985940711 2257855701 82262162 4213862304 284905496 2475090088 749367378 2162690167 641799865 983143669 987397335 2489031654 941859361 3320123550 3027603812 3967486227 1722603696 2937505368 4020223245 2169103879 2178528933 3677849881 4224409790 626598937 1618881846 892333806 2488864735 129938220 3144188900 2667708296 512709296 2326616738 700222464 2771588976 714091516 799784401 265580222 3051838369 3416697776 770409791 457422938 1945372141 1293472283 1454179314 149174646 3538330111 4022886261 2143284018 1882930327 1984222988 135498671 2544074053 2434725501 1763295567 1531839559 3416108548 4268486943 2670233612 1558560439 2574785659 2264848237 2001241804 1908474521 2322779618 1365571374 2221513529 2560475335 800514603 2128193296 2048176616 2653878648 1351248926 4047624025 788545416 2873198605 3839503734 2147820112 3506650925 719649518 2019042542 2020846006 3908471874 2648059990 2399692381 409737301 3304551787 340181791 2374674030 3685378635 2543493585 981739432 1057907023 2318161236 2327892253 1920114947 4274310810 3029380001 1038846530 2198645646 2625742143 389812800 3698655289 427364714 1321044663 2279499670 511696380 884567862 2366318196 1158345267 566299060 2217195042 3806821229 2954187683 3352438983 3040483262 1835747675 2251898556 1770860334 3611780395 255 362436" option to reproduce the execution
0.00/0.01	c #vars 261
0.00/0.01	c #constraints 130
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 |      173      0 |        0 |        0
0.00/0.03	c  0.0s |       1 |      175 |      100 |      173      0 |        0 |        0
0.00/0.04	c  0.0s |       2 |      436 |      250 |      191      0 |        0 |        0
0.00/0.07	c  0.1s |       3 |      928 |      475 |      211      1 |        0 |        0
0.09/0.11	c  0.1s |       4 |     1631 |      813 |      233      3 |        0 |        0
0.09/0.17	c  0.2s |       5 |     2344 |     1320 |      257      5 |        0 |        0
0.19/0.26	c  0.2s |       6 |     3488 |     2081 |      312      9 |        0 |        0
0.29/0.38	c  0.4s |       7 |     5101 |     3223 |      344     14 |        0 |        0
0.49/0.57	c  0.6s |       8 |     7381 |     4936 |      379     20 |        0 |        0
0.89/0.91	c  0.9s |       9 |    11691 |     7506 |      417     30 |        0 |        0
1.29/1.30	c  1.3s |      10 |    17451 |    11361 |      459     46 |        0 |        0
1.69/1.78	c  1.8s |      11 |    24890 |    17144 |      505     63 |        0 |        0
2.49/2.57	c  2.6s |      12 |    36684 |    25819 |      556     90 |        0 |        0
3.69/3.75	c  3.7s |      13 |    53963 |    38832 |      612    126 |        0 |        0
5.39/5.50	c  5.5s |      14 |    81864 |    58352 |      674    178 |        0 |        0
7.49/7.50	c  7.5s |      14 |   109127 |    78852 |      674    229 |        0 |        0
8.39/8.41	c  8.4s |      15 |   120593 |    87632 |      742    250 |        0 |        0
10.39/10.41	c 10.4s |      15 |   150724 |   108232 |      742    297 |        0 |        0
12.38/12.41	c 12.4s |      15 |   180342 |   128032 |      742    342 |        0 |        0
12.68/12.76	c 12.7s |      16 |   185739 |   131552 |      817    350 |        0 |        0
14.69/14.77	c 14.8s |      16 |   210956 |   151052 |      817    390 |        0 |        0
16.69/16.78	c 16.8s |      16 |   237921 |   171152 |      817    433 |        0 |        0
18.70/18.78	c 18.8s |      16 |   264373 |   191052 |      817    474 |        0 |        0
19.39/19.43	c 19.4s |      17 |   272623 |   197432 |      899    487 |        0 |        0
21.39/21.43	c 21.4s |      17 |   299670 |   216932 |      899    526 |        0 |        0
23.39/23.43	c 23.4s |      17 |   325833 |   236032 |      899    564 |        0 |        0
25.39/25.43	c 25.4s |      17 |   352714 |   255632 |      899    603 |        0 |        0
27.39/27.44	c 27.4s |      17 |   379952 |   275432 |      899    643 |        0 |        0
29.39/29.45	c 29.4s |      17 |   408278 |   295232 |      989    684 |        0 |        0
29.49/29.55	c 29.5s |      18 |   409629 |   296252 |      989    685 |        0 |        0
31.48/31.56	c 31.5s |      18 |   433734 |   315152 |      989    719 |        0 |        0
33.48/33.57	c 33.6s |      18 |   456234 |   333052 |      989    751 |        0 |        0
35.48/35.57	c 35.6s |      18 |   482136 |   352352 |      989    786 |        0 |        0
37.49/37.58	c 37.6s |      18 |   505645 |   370352 |      989    818 |        0 |        0
39.48/39.59	c 39.6s |      18 |   528841 |   388352 |      989    851 |        0 |        0
41.48/41.59	c 41.6s |      18 |   552394 |   405852 |      989    884 |        0 |        0
43.48/43.59	c 43.6s |      18 |   575427 |   423252 |      989    916 |        0 |        0
45.48/45.59	c 45.6s |      18 |   598222 |   440852 |      989    947 |        0 |        0
45.98/46.01	c 46.0s |      19 |   602914 |   444482 |     1088    953 |        0 |        0
47.98/48.01	c 48.0s |      19 |   627477 |   463682 |     1088    984 |        0 |        0
49.99/50.02	c 50.0s |      19 |   651408 |   482082 |     1088   1015 |        0 |        0
51.99/52.03	c 52.0s |      19 |   675532 |   500682 |     1088   1045 |        0 |        0
53.99/54.03	c 54.0s |      19 |   700216 |   518782 |     1088   1076 |        0 |        0
55.99/56.04	c 56.0s |      19 |   722959 |   536582 |     1088   1106 |        0 |        0
57.98/58.04	c 58.0s |      19 |   745666 |   554282 |     1088   1134 |        0 |        0
59.98/60.04	c 60.0s |      19 |   769346 |   572182 |     1088   1164 |        0 |        0
61.98/62.05	c 62.0s |      19 |   791983 |   589682 |     1088   1193 |        0 |        0
63.98/64.06	c 64.0s |      19 |   816035 |   608782 |     1088   1224 |        0 |        0
65.99/66.06	c 66.0s |      19 |   838887 |   625982 |     1088   1251 |        0 |        0
67.98/68.07	c 68.1s |      19 |   862985 |   644182 |     1088   1281 |        0 |        0
69.98/70.07	c 70.1s |      19 |   888365 |   663382 |     1197   1313 |        0 |        0
70.39/70.42	c 70.4s |      20 |   893008 |   666827 |     1197   1318 |        0 |        0
72.38/72.43	c 72.4s |      20 |   917859 |   685627 |     1197   1346 |        0 |        0
74.38/74.43	c 74.4s |      20 |   940144 |   703027 |     1197   1372 |        0 |        0
76.38/76.44	c 76.4s |      20 |   962423 |   720327 |     1197   1399 |        0 |        0
78.38/78.44	c 78.4s |      20 |   984716 |   737927 |     1197   1426 |        0 |        0
80.38/80.45	c 80.4s |      20 |  1005895 |   754627 |     1197   1451 |        0 |        0
82.38/82.45	c 82.4s |      20 |  1028495 |   772027 |     1197   1477 |        0 |        0
84.38/84.46	c 84.4s |      20 |  1050160 |   788927 |     1197   1503 |        0 |        0
86.37/86.47	c 86.5s |      20 |  1072709 |   806127 |     1197   1529 |        0 |        0
88.37/88.47	c 88.5s |      20 |  1095961 |   823527 |     1197   1556 |        0 |        0
90.37/90.48	c 90.5s |      20 |  1117076 |   839727 |     1197   1581 |        0 |        0
92.38/92.48	c 92.5s |      20 |  1139330 |   856327 |     1197   1606 |        0 |        0
94.37/94.49	c 94.5s |      20 |  1161814 |   872927 |     1197   1632 |        0 |        0
96.37/96.49	c 96.5s |      20 |  1182437 |   888627 |     1197   1656 |        0 |        0
98.47/98.50	c 98.5s |      20 |  1204930 |   905027 |     1197   1681 |        0 |        0
100.47/100.51	c  100s |      20 |  1227046 |   921527 |     1197   1706 |        0 |        0
102.47/102.51	c  102s |      20 |  1249653 |   938727 |     1197   1732 |        0 |        0
104.48/104.52	c  104s |      20 |  1273074 |   956027 |     1197   1759 |        0 |        0
106.47/106.53	c  106s |      20 |  1298019 |   974227 |     1197   1787 |        0 |        0
108.47/108.54	c  108s |      20 |  1321252 |   991627 |     1197   1813 |        0 |        0
109.47/109.54	c  109s |      21 |  1333346 |  1000345 |     1317   1825 |        0 |        0
111.47/111.54	c  111s |      21 |  1356893 |  1018045 |     1317   1850 |        0 |        0
113.47/113.55	c  113s |      21 |  1381326 |  1035845 |     1317   1876 |        0 |        0
115.47/115.56	c  115s |      21 |  1405056 |  1053445 |     1317   1901 |        0 |        0
117.48/117.57	c  117s |      21 |  1427665 |  1070145 |     1317   1925 |        0 |        0
119.47/119.57	c  119s |      21 |  1450808 |  1087445 |     1317   1950 |        0 |        0
121.47/121.58	c  121s |      21 |  1472631 |  1103745 |     1317   1973 |        0 |        0
123.47/123.59	c  123s |      21 |  1494344 |  1120445 |     1317   1996 |        0 |        0
125.57/125.60	c  125s |      21 |  1517031 |  1137745 |     1317   2021 |        0 |        0
127.58/127.61	c  127s |      21 |  1537833 |  1153845 |     1317   2043 |        0 |        0
129.57/129.62	c  129s |      21 |  1559373 |  1170245 |     1317   2067 |        0 |        0
131.57/131.62	c  131s |      21 |  1582122 |  1187445 |     1317   2091 |        0 |        0
133.57/133.63	c  133s |      21 |  1604375 |  1204145 |     1317   2115 |        0 |        0
135.57/135.64	c  135s |      21 |  1627750 |  1221745 |     1317   2140 |        0 |        0
137.57/137.64	c  137s |      21 |  1650736 |  1238745 |     1317   2164 |        0 |        0
139.56/139.65	c  139s |      21 |  1673818 |  1255845 |     1317   2189 |        0 |        0
141.56/141.65	c  141s |      21 |  1696906 |  1273145 |     1317   2213 |        0 |        0
143.56/143.65	c  143s |      21 |  1718220 |  1289345 |     1317   2236 |        0 |        0
145.56/145.66	c  145s |      21 |  1740529 |  1305845 |     1317   2260 |        0 |        0
147.56/147.66	c  147s |      21 |  1762390 |  1322145 |     1317   2283 |        0 |        0
149.57/149.67	c  149s |      21 |  1784091 |  1338645 |     1317   2307 |        0 |        0
151.56/151.68	c  151s |      21 |  1803950 |  1354145 |     1317   2329 |        0 |        0
153.56/153.69	c  153s |      21 |  1825778 |  1371045 |     1317   2354 |        0 |        0
155.67/155.70	c  155s |      21 |  1846264 |  1387045 |     1317   2377 |        0 |        0
157.67/157.70	c  157s |      21 |  1868321 |  1403345 |     1317   2400 |        0 |        0
159.67/159.70	c  159s |      21 |  1889363 |  1419445 |     1317   2422 |        0 |        0
161.67/161.71	c  161s |      21 |  1909868 |  1435145 |     1317   2445 |        0 |        0
163.67/163.72	c  163s |      21 |  1931410 |  1451545 |     1317   2468 |        0 |        0
165.67/165.73	c  165s |      21 |  1953837 |  1467945 |     1317   2491 |        0 |        0
167.66/167.73	c  167s |      21 |  1975537 |  1483945 |     1317   2514 |        0 |        0
169.66/169.74	c  169s |      21 |  1996684 |  1500045 |     1449   2536 |        0 |        0
169.76/169.80	c  169s |      22 |  1997569 |  1500622 |     1449   2537 |        0 |        0
171.76/171.81	c  171s |      22 |  2019134 |  1517422 |     1449   2558 |        0 |        0
173.77/173.82	c  173s |      22 |  2039714 |  1533822 |     1449   2578 |        0 |        0
175.76/175.82	c  175s |      22 |  2060833 |  1550022 |     1449   2599 |        0 |        0
177.76/177.83	c  177s |      22 |  2083377 |  1567622 |     1449   2622 |        0 |        0
179.76/179.83	c  179s |      22 |  2102588 |  1582922 |     1449   2641 |        0 |        0
181.76/181.83	c  181s |      22 |  2122334 |  1598122 |     1449   2660 |        0 |        0
183.76/183.83	c  183s |      22 |  2142966 |  1614022 |     1449   2680 |        0 |        0
185.76/185.84	c  185s |      22 |  2164603 |  1630622 |     1449   2701 |        0 |        0
187.76/187.85	c  187s |      22 |  2187148 |  1647522 |     1449   2722 |        0 |        0
189.76/189.86	c  189s |      22 |  2208966 |  1663422 |     1449   2742 |        0 |        0
191.76/191.87	c  191s |      22 |  2230995 |  1680222 |     1449   2764 |        0 |        0
193.76/193.87	c  193s |      22 |  2254478 |  1697422 |     1449   2786 |        0 |        0
195.77/195.88	c  195s |      22 |  2276348 |  1713922 |     1449   2807 |        0 |        0
197.76/197.88	c  197s |      22 |  2297179 |  1730122 |     1449   2828 |        0 |        0
199.76/199.88	c  199s |      22 |  2318518 |  1746122 |     1449   2849 |        0 |        0
201.76/201.89	c  201s |      22 |  2339503 |  1762822 |     1449   2872 |        0 |        0
203.86/203.90	c  203s |      22 |  2361068 |  1779622 |     1449   2894 |        0 |        0
205.86/205.90	c  205s |      22 |  2380235 |  1794522 |     1449   2913 |        0 |        0
207.87/207.90	c  207s |      22 |  2401515 |  1811022 |     1449   2933 |        0 |        0
209.86/209.91	c  209s |      22 |  2424009 |  1827722 |     1449   2955 |        0 |        0
211.86/211.92	c  211s |      22 |  2446362 |  1843822 |     1449   2975 |        0 |        0
213.86/213.92	c  213s |      22 |  2466210 |  1857922 |     1449   2994 |        0 |        0
215.86/215.93	c  215s |      22 |  2488052 |  1873622 |     1449   3014 |        0 |        0
217.86/217.94	c  217s |      22 |  2510175 |  1888322 |     1449   3034 |        0 |        0
219.85/219.96	c  219s |      22 |  2533044 |  1903722 |     1449   3055 |        0 |        0
221.85/221.97	c  221s |      22 |  2556754 |  1920022 |     1449   3076 |        0 |        0
223.85/223.97	c  223s |      22 |  2582778 |  1937322 |     1449   3099 |        0 |        0
225.85/225.97	c  225s |      22 |  2606161 |  1953022 |     1449   3120 |        0 |        0
227.85/227.98	c  227s |      22 |  2632136 |  1970222 |     1449   3142 |        0 |        0
229.86/229.98	c  229s |      22 |  2653906 |  1985122 |     1449   3162 |        0 |        0
231.85/231.99	c  231s |      22 |  2679531 |  2001622 |     1449   3183 |        0 |        0
233.86/233.99	c  233s |      22 |  2705057 |  2018622 |     1449   3205 |        0 |        0
235.96/236.00	c  235s |      22 |  2730995 |  2035722 |     1449   3228 |        0 |        0
237.96/238.02	c  237s |      22 |  2753611 |  2051822 |     1449   3249 |        0 |        0
239.96/240.03	c  240s |      22 |  2776536 |  2067922 |     1449   3270 |        0 |        0
241.96/242.03	c  242s |      22 |  2800310 |  2084522 |     1449   3292 |        0 |        0
243.96/244.04	c  244s |      22 |  2820191 |  2099722 |     1449   3312 |        0 |        0
245.95/246.05	c  246s |      22 |  2841905 |  2115622 |     1449   3333 |        0 |        0
247.95/248.05	c  248s |      22 |  2865427 |  2131922 |     1449   3354 |        0 |        0
249.95/250.06	c  250s |      22 |  2889973 |  2148522 |     1449   3376 |        0 |        0
251.96/252.07	c  252s |      22 |  2913319 |  2165022 |     1449   3397 |        0 |        0
253.95/254.07	c  254s |      22 |  2939250 |  2182222 |     1449   3420 |        0 |        0
255.95/256.08	c  256s |      22 |  2963517 |  2198222 |     1449   3441 |        0 |        0
257.95/258.08	c  258s |      22 |  2987943 |  2215222 |     1449   3463 |        0 |        0
259.95/260.09	c  260s |      22 |  3013446 |  2232622 |     1449   3486 |        0 |        0
261.95/262.09	c  262s |      22 |  3036178 |  2248222 |     1594   3505 |        0 |        0
262.35/262.42	c  262s |      23 |  3040093 |  2251038 |     1594   3508 |        0 |        0
264.35/264.43	c  264s |      23 |  3058700 |  2265938 |     1594   3525 |        0 |        0
266.35/266.43	c  266s |      23 |  3077319 |  2280538 |     1594   3542 |        0 |        0
268.36/268.43	c  268s |      23 |  3096237 |  2295538 |     1594   3560 |        0 |        0
270.35/270.44	c  270s |      23 |  3116253 |  2310938 |     1594   3577 |        0 |        0
272.35/272.44	c  272s |      23 |  3136123 |  2326138 |     1594   3595 |        0 |        0
274.35/274.45	c  274s |      23 |  3153543 |  2340238 |     1594   3611 |        0 |        0
276.35/276.45	c  276s |      23 |  3172717 |  2354938 |     1594   3628 |        0 |        0
278.35/278.47	c  278s |      23 |  3194281 |  2371338 |     1594   3647 |        0 |        0
280.35/280.47	c  280s |      23 |  3214671 |  2387038 |     1594   3665 |        0 |        0
282.34/282.48	c  282s |      23 |  3235862 |  2403338 |     1594   3684 |        0 |        0
284.34/284.49	c  284s |      23 |  3257219 |  2419638 |     1594   3703 |        0 |        0
286.34/286.50	c  286s |      23 |  3279172 |  2436038 |     1594   3722 |        0 |        0
288.44/288.51	c  288s |      23 |  3301183 |  2452638 |     1594   3741 |        0 |        0
290.45/290.51	c  290s |      23 |  3321982 |  2468938 |     1594   3760 |        0 |        0
292.44/292.52	c  292s |      23 |  3343412 |  2485538 |     1594   3779 |        0 |        0
294.44/294.53	c  294s |      23 |  3365008 |  2502138 |     1594   3798 |        0 |        0
296.44/296.53	c  296s |      23 |  3386681 |  2518738 |     1594   3818 |        0 |        0
298.44/298.54	c  298s |      23 |  3408509 |  2535538 |     1594   3837 |        0 |        0
300.44/300.55	c  300s |      23 |  3431576 |  2553038 |     1594   3858 |        0 |        0
302.45/302.55	c  302s |      23 |  3453806 |  2569938 |     1594   3878 |        0 |        0
304.44/304.56	c  304s |      23 |  3474210 |  2585938 |     1594   3897 |        0 |        0
306.44/306.57	c  306s |      23 |  3495204 |  2602038 |     1594   3916 |        0 |        0
308.45/308.58	c  308s |      23 |  3516407 |  2618038 |     1594   3935 |        0 |        0
310.45/310.58	c  310s |      23 |  3540318 |  2635238 |     1594   3955 |        0 |        0
312.45/312.58	c  312s |      23 |  3562811 |  2651738 |     1594   3974 |        0 |        0
314.45/314.58	c  314s |      23 |  3583165 |  2667438 |     1594   3993 |        0 |        0
316.44/316.59	c  316s |      23 |  3602611 |  2682538 |     1594   4011 |        0 |        0
318.44/318.59	c  318s |      23 |  3625190 |  2699338 |     1594   4031 |        0 |        0
320.54/320.61	c  320s |      23 |  3645391 |  2715138 |     1594   4050 |        0 |        0
322.54/322.61	c  322s |      23 |  3666879 |  2731838 |     1594   4069 |        0 |        0
324.55/324.62	c  324s |      23 |  3687774 |  2748038 |     1594   4089 |        0 |        0
326.54/326.62	c  326s |      23 |  3706278 |  2762738 |     1594   4106 |        0 |        0
328.54/328.62	c  328s |      23 |  3725860 |  2777838 |     1594   4124 |        0 |        0
330.54/330.62	c  330s |      23 |  3747854 |  2794838 |     1594   4144 |        0 |        0
332.54/332.63	c  332s |      23 |  3768589 |  2810938 |     1594   4163 |        0 |        0
334.54/334.63	c  334s |      23 |  3789830 |  2827338 |     1594   4183 |        0 |        0
336.55/336.63	c  336s |      23 |  3811664 |  2843938 |     1594   4202 |        0 |        0
338.54/338.64	c  338s |      23 |  3830427 |  2858638 |     1594   4220 |        0 |        0
340.54/340.64	c  340s |      23 |  3849598 |  2873938 |     1594   4238 |        0 |        0
342.54/342.65	c  342s |      23 |  3870525 |  2890438 |     1594   4257 |        0 |        0
344.54/344.65	c  344s |      23 |  3892013 |  2906938 |     1594   4276 |        0 |        0
346.55/346.65	c  346s |      23 |  3914957 |  2923938 |     1594   4296 |        0 |        0
348.54/348.66	c  348s |      23 |  3935455 |  2940038 |     1594   4315 |        0 |        0
350.54/350.67	c  350s |      23 |  3954259 |  2954438 |     1594   4332 |        0 |        0
352.54/352.67	c  352s |      23 |  3975456 |  2970138 |     1594   4351 |        0 |        0
354.54/354.67	c  354s |      23 |  3995766 |  2985938 |     1594   4370 |        0 |        0
356.54/356.67	c  356s |      23 |  4016145 |  3001438 |     1594   4388 |        0 |        0
358.54/358.68	c  358s |      23 |  4037554 |  3017938 |     1594   4408 |        0 |        0
360.54/360.69	c  360s |      23 |  4058122 |  3033338 |     1594   4426 |        0 |        0
362.63/362.70	c  362s |      23 |  4079088 |  3048838 |     1594   4444 |        0 |        0
364.63/364.70	c  364s |      23 |  4096967 |  3063038 |     1594   4461 |        0 |        0
366.63/366.71	c  366s |      23 |  4117710 |  3078338 |     1594   4479 |        0 |        0
368.63/368.71	c  368s |      23 |  4139992 |  3094438 |     1594   4498 |        0 |        0
370.64/370.71	c  370s |      23 |  4161582 |  3110738 |     1594   4518 |        0 |        0
372.63/372.73	c  372s |      23 |  4184022 |  3126938 |     1594   4537 |        0 |        0
374.63/374.73	c  374s |      23 |  4203538 |  3141438 |     1594   4554 |        0 |        0
376.63/376.74	c  376s |      23 |  4225733 |  3157038 |     1594   4572 |        0 |        0
378.63/378.74	c  378s |      23 |  4246885 |  3172538 |     1594   4591 |        0 |        0
380.64/380.74	c  380s |      23 |  4267725 |  3188138 |     1594   4609 |        0 |        0
382.63/382.75	c  382s |      23 |  4288163 |  3203538 |     1594   4627 |        0 |        0
384.63/384.76	c  384s |      23 |  4307870 |  3217838 |     1594   4644 |        0 |        0
386.64/386.76	c  386s |      23 |  4329645 |  3233738 |     1594   4663 |        0 |        0
388.63/388.77	c  388s |      23 |  4349195 |  3248438 |     1594   4680 |        0 |        0
390.63/390.77	c  390s |      23 |  4373091 |  3266038 |     1594   4701 |        0 |        0
392.64/392.78	c  392s |      23 |  4394809 |  3281938 |     1594   4720 |        0 |        0
394.63/394.79	c  394s |      23 |  4417494 |  3298638 |     1594   4740 |        0 |        0
396.63/396.79	c  396s |      23 |  4440622 |  3315138 |     1594   4759 |        0 |        0
398.73/398.80	c  398s |      23 |  4462898 |  3331438 |     1594   4779 |        0 |        0
400.73/400.80	c  400s |      23 |  4484977 |  3347938 |     1594   4798 |        0 |        0
402.73/402.81	c  402s |      23 |  4506486 |  3363938 |     1754   4815 |        0 |        0
404.43/404.58	c  404s |      24 |  4522921 |  3376662 |     1754   4829 |        0 |        0
406.43/406.59	c  406s |      24 |  4541243 |  3391262 |     1754   4844 |        0 |        0
408.52/408.61	c  408s |      24 |  4560234 |  3406062 |     1754   4860 |        0 |        0
410.52/410.61	c  410s |      24 |  4579539 |  3420762 |     1754   4875 |        0 |        0
412.54/412.63	c  412s |      24 |  4598597 |  3435662 |     1754   4890 |        0 |        0
414.53/414.63	c  414s |      24 |  4617574 |  3450462 |     1754   4906 |        0 |        0
416.53/416.64	c  416s |      24 |  4636925 |  3465762 |     1754   4922 |        0 |        0
418.53/418.65	c  418s |      24 |  4656705 |  3481062 |     1754   4938 |        0 |        0
420.53/420.65	c  420s |      24 |  4675567 |  3496062 |     1754   4954 |        0 |        0
422.53/422.65	c  422s |      24 |  4694779 |  3511262 |     1754   4970 |        0 |        0
424.54/424.66	c  424s |      24 |  4715008 |  3526762 |     1754   4987 |        0 |        0
426.53/426.67	c  426s |      24 |  4734496 |  3541962 |     1754   5003 |        0 |        0
428.53/428.68	c  428s |      24 |  4755058 |  3557762 |     1754   5019 |        0 |        0
430.53/430.68	c  430s |      24 |  4774159 |  3572662 |     1754   5035 |        0 |        0
432.53/432.68	c  432s |      24 |  4793364 |  3587162 |     1754   5051 |        0 |        0
434.53/434.70	c  434s |      24 |  4812255 |  3601762 |     1754   5066 |        0 |        0
436.52/436.70	c  436s |      24 |  4831500 |  3616562 |     1754   5082 |        0 |        0
438.62/438.71	c  438s |      24 |  4850957 |  3631362 |     1754   5097 |        0 |        0
440.62/440.72	c  440s |      24 |  4870176 |  3646162 |     1754   5113 |        0 |        0
442.62/442.73	c  442s |      24 |  4889337 |  3660962 |     1754   5129 |        0 |        0
444.62/444.74	c  444s |      24 |  4908199 |  3675462 |     1754   5144 |        0 |        0
446.63/446.75	c  446s |      24 |  4927413 |  3690062 |     1754   5160 |        0 |        0
448.62/448.76	c  448s |      24 |  4947304 |  3704762 |     1754   5175 |        0 |        0
450.62/450.76	c  450s |      24 |  4965925 |  3719162 |     1754   5190 |        0 |        0
452.62/452.76	c  452s |      24 |  4985424 |  3733762 |     1754   5206 |        0 |        0
454.62/454.77	c  454s |      24 |  5005124 |  3748762 |     1754   5222 |        0 |        0
456.62/456.77	c  456s |      24 |  5025091 |  3763762 |     1754   5238 |        0 |        0
458.62/458.77	c  458s |      24 |  5044045 |  3778262 |     1754   5253 |        0 |        0
460.62/460.77	c  460s |      24 |  5062474 |  3792662 |     1754   5268 |        0 |        0
462.62/462.78	c  462s |      24 |  5079589 |  3806262 |     1754   5283 |        0 |        0
464.62/464.78	c  464s |      24 |  5099021 |  3820962 |     1754   5298 |        0 |        0
466.62/466.79	c  466s |      24 |  5118770 |  3835862 |     1754   5314 |        0 |        0
468.62/468.79	c  468s |      24 |  5138454 |  3850762 |     1754   5330 |        0 |        0
470.61/470.79	c  470s |      24 |  5158339 |  3865762 |     1754   5346 |        0 |        0
472.61/472.79	c  472s |      24 |  5177214 |  3880462 |     1754   5362 |        0 |        0
474.61/474.80	c  474s |      24 |  5194930 |  3894562 |     1754   5376 |        0 |        0
476.71/476.80	c  476s |      24 |  5214131 |  3909662 |     1754   5392 |        0 |        0
478.72/478.80	c  478s |      24 |  5233754 |  3924562 |     1754   5408 |        0 |        0
480.73/480.81	c  480s |      24 |  5251437 |  3938562 |     1754   5423 |        0 |        0
482.72/482.81	c  482s |      24 |  5270897 |  3953062 |     1754   5438 |        0 |        0
484.72/484.82	c  484s |      24 |  5290472 |  3968162 |     1754   5454 |        0 |        0
486.72/486.84	c  486s |      24 |  5309696 |  3983162 |     1754   5470 |        0 |        0
488.72/488.85	c  488s |      24 |  5329422 |  3998562 |     1754   5487 |        0 |        0
490.72/490.86	c  490s |      24 |  5349456 |  4014162 |     1754   5503 |        0 |        0
492.73/492.86	c  492s |      24 |  5368685 |  4029162 |     1754   5519 |        0 |        0
494.72/494.87	c  494s |      24 |  5387006 |  4043562 |     1754   5534 |        0 |        0
496.72/496.87	c  496s |      24 |  5407039 |  4058862 |     1754   5551 |        0 |        0
498.72/498.87	c  498s |      24 |  5427826 |  4074462 |     1754   5567 |        0 |        0
500.72/500.88	c  500s |      24 |  5446692 |  4089362 |     1754   5583 |        0 |        0
502.72/502.89	c  502s |      24 |  5465497 |  4104062 |     1754   5599 |        0 |        0
504.71/504.90	c  504s |      24 |  5483176 |  4118262 |     1754   5613 |        0 |        0
506.81/506.91	c  506s |      24 |  5501498 |  4132462 |     1754   5628 |        0 |        0
508.81/508.92	c  508s |      24 |  5521362 |  4147462 |     1754   5644 |        0 |        0
510.81/510.93	c  510s |      24 |  5540927 |  4162662 |     1754   5660 |        0 |        0
512.81/512.93	c  512s |      24 |  5560638 |  4177462 |     1754   5676 |        0 |        0
514.82/514.94	c  514s |      24 |  5579290 |  4191762 |     1754   5691 |        0 |        0
516.81/516.94	c  516s |      24 |  5598304 |  4205862 |     1754   5706 |        0 |        0
518.81/518.95	c  518s |      24 |  5618121 |  4221162 |     1754   5723 |        0 |        0
520.81/520.96	c  520s |      24 |  5637529 |  4235662 |     1754   5738 |        0 |        0
522.81/522.98	c  522s |      24 |  5656009 |  4250062 |     1754   5753 |        0 |        0
524.81/524.99	c  524s |      24 |  5675252 |  4264362 |     1754   5768 |        0 |        0
526.81/527.00	c  526s |      24 |  5694239 |  4278862 |     1754   5784 |        0 |        0
528.91/529.01	c  528s |      24 |  5712357 |  4292962 |     1754   5799 |        0 |        0
530.91/531.01	c  530s |      24 |  5730650 |  4306762 |     1754   5814 |        0 |        0
532.91/533.02	c  533s |      24 |  5749300 |  4320862 |     1754   5829 |        0 |        0
534.91/535.03	c  535s |      24 |  5768434 |  4335262 |     1754   5844 |        0 |        0
536.91/537.03	c  537s |      24 |  5786962 |  4349362 |     1754   5859 |        0 |        0
538.92/539.04	c  539s |      24 |  5804392 |  4362862 |     1754   5873 |        0 |        0
540.91/541.05	c  541s |      24 |  5820840 |  4376162 |     1754   5887 |        0 |        0
542.91/543.06	c  543s |      24 |  5841513 |  4391962 |     1754   5904 |        0 |        0
544.91/545.06	c  545s |      24 |  5861723 |  4407262 |     1754   5920 |        0 |        0
546.91/547.07	c  547s |      24 |  5881280 |  4422562 |     1754   5937 |        0 |        0
548.92/549.07	c  549s |      24 |  5902379 |  4438462 |     1754   5954 |        0 |        0
550.91/551.08	c  551s |      24 |  5920931 |  4453562 |     1754   5970 |        0 |        0
552.91/553.09	c  553s |      24 |  5941622 |  4469462 |     1754   5987 |        0 |        0
555.01/555.10	c  555s |      24 |  5961898 |  4484862 |     1754   6003 |        0 |        0
557.01/557.11	c  557s |      24 |  5983459 |  4500662 |     1754   6020 |        0 |        0
559.01/559.12	c  559s |      24 |  6003885 |  4516362 |     1754   6037 |        0 |        0
561.01/561.12	c  561s |      24 |  6024048 |  4531762 |     1754   6054 |        0 |        0
563.00/563.13	c  563s |      24 |  6045578 |  4547762 |     1754   6071 |        0 |        0
565.00/565.13	c  565s |      24 |  6066130 |  4563362 |     1754   6088 |        0 |        0
567.00/567.13	c  567s |      24 |  6085828 |  4578662 |     1754   6105 |        0 |        0
569.00/569.13	c  569s |      24 |  6105569 |  4593962 |     1754   6122 |        0 |        0
571.00/571.14	c  571s |      24 |  6124755 |  4608862 |     1754   6138 |        0 |        0
573.01/573.15	c  573s |      24 |  6144046 |  4623662 |     1754   6154 |        0 |        0
575.00/575.15	c  575s |      24 |  6162333 |  4637862 |     1754   6170 |        0 |        0
577.00/577.16	c  577s |      24 |  6183592 |  4654162 |     1754   6188 |        0 |        0
579.00/579.16	c  579s |      24 |  6204596 |  4670262 |     1754   6205 |        0 |        0
581.00/581.18	c  581s |      24 |  6225056 |  4686062 |     1754   6222 |        0 |        0
583.00/583.18	c  583s |      24 |  6245004 |  4701462 |     1754   6239 |        0 |        0
585.01/585.19	c  585s |      24 |  6264901 |  4716662 |     1754   6256 |        0 |        0
587.00/587.19	c  587s |      24 |  6284637 |  4731862 |     1754   6273 |        0 |        0
589.10/589.20	c  589s |      24 |  6305720 |  4747662 |     1754   6290 |        0 |        0
591.10/591.21	c  591s |      24 |  6325408 |  4762462 |     1754   6306 |        0 |        0
593.10/593.21	c  593s |      24 |  6345408 |  4777662 |     1754   6323 |        0 |        0
595.11/595.22	c  595s |      24 |  6365942 |  4793362 |     1754   6340 |        0 |        0
597.10/597.24	c  597s |      24 |  6386495 |  4809162 |     1754   6357 |        0 |        0
599.10/599.25	c  599s |      24 |  6407616 |  4825062 |     1754   6375 |        0 |        0
601.10/601.26	c  601s |      24 |  6429549 |  4841462 |     1754   6393 |        0 |        0
603.10/603.26	c  603s |      24 |  6449521 |  4857362 |     1754   6410 |        0 |        0
605.10/605.26	c  605s |      24 |  6468301 |  4871962 |     1754   6426 |        0 |        0
607.11/607.27	c  607s |      24 |  6490070 |  4888262 |     1754   6444 |        0 |        0
609.10/609.28	c  609s |      24 |  6510632 |  4904262 |     1754   6462 |        0 |        0
611.10/611.28	c  611s |      24 |  6530916 |  4919862 |     1754   6479 |        0 |        0
613.10/613.29	c  613s |      24 |  6549455 |  4934962 |     1754   6495 |        0 |        0
615.10/615.29	c  615s |      24 |  6569088 |  4950362 |     1754   6512 |        0 |        0
617.20/617.30	c  617s |      24 |  6588733 |  4965662 |     1754   6529 |        0 |        0
619.20/619.31	c  619s |      24 |  6607504 |  4980662 |     1754   6545 |        0 |        0
621.20/621.31	c  621s |      24 |  6626416 |  4995462 |     1754   6562 |        0 |        0
623.20/623.31	c  623s |      24 |  6645801 |  5010362 |     1754   6578 |        0 |        0
625.20/625.32	c  625s |      24 |  6666322 |  5025862 |     1754   6595 |        0 |        0
627.20/627.32	c  627s |      24 |  6687025 |  5041562 |     1930   6611 |        0 |        0
629.20/629.34	c  629s |      24 |  6707776 |  5057062 |     1930   6626 |        0 |        0
630.30/630.47	c  630s |      25 |  6718103 |  5065098 |     1930   6634 |        0 |        0
632.29/632.48	c  632s |      25 |  6738136 |  5080198 |     1930   6649 |        0 |        0
634.29/634.48	c  634s |      25 |  6757372 |  5094998 |     1930   6663 |        0 |        0
636.29/636.49	c  636s |      25 |  6774624 |  5108598 |     1930   6676 |        0 |        0
638.29/638.49	c  638s |      25 |  6797409 |  5125598 |     1930   6693 |        0 |        0
640.39/640.50	c  640s |      25 |  6817340 |  5140698 |     1930   6707 |        0 |        0
642.30/642.50	c  642s |      25 |  6837572 |  5156098 |     1930   6722 |        0 |        0
644.39/644.51	c  644s |      25 |  6858584 |  5172098 |     1930   6738 |        0 |        0
646.39/646.52	c  646s |      25 |  6878397 |  5187398 |     1930   6753 |        0 |        0
648.39/648.52	c  648s |      25 |  6899515 |  5203198 |     1930   6768 |        0 |        0
650.39/650.53	c  650s |      25 |  6918881 |  5218098 |     1930   6782 |        0 |        0
652.39/652.54	c  652s |      25 |  6938079 |  5233098 |     1930   6797 |        0 |        0
654.39/654.54	c  654s |      25 |  6957452 |  5248098 |     1930   6811 |        0 |        0
656.39/656.54	c  656s |      25 |  6978094 |  5263198 |     1930   6826 |        0 |        0
658.38/658.55	c  658s |      25 |  6997041 |  5277898 |     1930   6840 |        0 |        0
660.39/660.56	c  660s |      25 |  7016853 |  5292898 |     1930   6855 |        0 |        0
662.39/662.57	c  662s |      25 |  7037404 |  5308598 |     1930   6870 |        0 |        0
664.40/664.58	c  664s |      25 |  7056915 |  5323598 |     1930   6884 |        0 |        0
666.39/666.59	c  666s |      25 |  7075773 |  5338398 |     1930   6899 |        0 |        0
668.39/668.59	c  668s |      25 |  7094524 |  5353098 |     1930   6913 |        0 |        0
670.49/670.60	c  670s |      25 |  7114680 |  5367898 |     1930   6927 |        0 |        0
672.49/672.61	c  672s |      25 |  7134945 |  5383198 |     1930   6942 |        0 |        0
674.49/674.62	c  674s |      25 |  7153625 |  5397098 |     1930   6956 |        0 |        0
676.50/676.63	c  676s |      25 |  7174731 |  5412798 |     1930   6971 |        0 |        0
678.49/678.63	c  678s |      25 |  7192233 |  5426398 |     1930   6984 |        0 |        0
680.49/680.64	c  680s |      25 |  7210244 |  5440398 |     1930   6998 |        0 |        0
682.49/682.65	c  682s |      25 |  7230329 |  5455498 |     1930   7013 |        0 |        0
684.49/684.66	c  684s |      25 |  7250971 |  5470598 |     1930   7027 |        0 |        0
686.49/686.67	c  686s |      25 |  7271879 |  5485598 |     1930   7042 |        0 |        0
688.50/688.67	c  688s |      25 |  7292452 |  5500698 |     1930   7057 |        0 |        0
690.49/690.69	c  690s |      25 |  7312113 |  5515498 |     1930   7072 |        0 |        0
692.49/692.69	c  692s |      25 |  7332591 |  5530498 |     1930   7086 |        0 |        0
694.59/694.70	c  694s |      25 |  7351784 |  5544998 |     1930   7100 |        0 |        0
696.59/696.71	c  696s |      25 |  7371086 |  5558998 |     1930   7114 |        0 |        0
698.58/698.71	c  698s |      25 |  7390508 |  5573498 |     1930   7128 |        0 |        0
700.59/700.72	c  700s |      25 |  7408485 |  5587898 |     1930   7142 |        0 |        0
702.58/702.72	c  702s |      25 |  7427175 |  5602098 |     1930   7156 |        0 |        0
704.58/704.73	c  704s |      25 |  7446409 |  5616598 |     1930   7171 |        0 |        0
706.58/706.74	c  706s |      25 |  7466638 |  5631398 |     1930   7185 |        0 |        0
708.58/708.75	c  708s |      25 |  7484645 |  5645098 |     1930   7199 |        0 |        0
710.59/710.76	c  710s |      25 |  7504134 |  5659498 |     1930   7213 |        0 |        0
712.58/712.77	c  712s |      25 |  7522358 |  5673498 |     1930   7227 |        0 |        0
714.58/714.77	c  714s |      25 |  7541662 |  5688098 |     1930   7241 |        0 |        0
716.58/716.78	c  716s |      25 |  7562747 |  5703698 |     1930   7256 |        0 |        0
718.58/718.79	c  718s |      25 |  7583745 |  5718898 |     1930   7271 |        0 |        0
720.68/720.80	c  720s |      25 |  7602785 |  5733198 |     1930   7286 |        0 |        0
722.69/722.81	c  722s |      25 |  7621806 |  5747398 |     1930   7300 |        0 |        0
724.68/724.82	c  724s |      25 |  7641381 |  5761698 |     1930   7314 |        0 |        0
726.67/726.82	c  726s |      25 |  7659229 |  5775198 |     1930   7327 |        0 |        0
728.67/728.83	c  728s |      25 |  7677825 |  5789098 |     1930   7341 |        0 |        0
730.67/730.84	c  730s |      25 |  7695196 |  5802298 |     1930   7354 |        0 |        0
732.67/732.85	c  732s |      25 |  7713697 |  5816098 |     1930   7367 |        0 |        0
734.68/734.86	c  734s |      25 |  7731399 |  5829398 |     1930   7380 |        0 |        0
736.67/736.86	c  736s |      25 |  7749443 |  5843298 |     1930   7394 |        0 |        0
738.67/738.87	c  738s |      25 |  7767773 |  5856998 |     1930   7408 |        0 |        0
740.67/740.88	c  740s |      25 |  7788730 |  5871798 |     1930   7422 |        0 |        0
742.67/742.88	c  742s |      25 |  7807214 |  5885498 |     1930   7436 |        0 |        0
744.68/744.89	c  744s |      25 |  7825886 |  5899398 |     1930   7450 |        0 |        0
746.67/746.90	c  746s |      25 |  7846541 |  5914298 |     1930   7464 |        0 |        0
748.77/748.91	c  748s |      25 |  7866563 |  5929298 |     1930   7479 |        0 |        0
750.77/750.92	c  750s |      25 |  7884665 |  5943698 |     1930   7493 |        0 |        0
752.78/752.93	c  752s |      25 |  7902771 |  5957698 |     1930   7507 |        0 |        0
754.78/754.93	c  754s |      25 |  7919623 |  5971298 |     1930   7521 |        0 |        0
756.78/756.93	c  756s |      25 |  7939037 |  5985998 |     1930   7535 |        0 |        0
758.78/758.93	c  758s |      25 |  7958068 |  6000498 |     1930   7549 |        0 |        0
760.78/760.93	c  760s |      25 |  7978275 |  6015398 |     1930   7564 |        0 |        0
762.78/762.94	c  762s |      25 |  7997174 |  6030098 |     1930   7579 |        0 |        0
764.77/764.94	c  764s |      25 |  8016659 |  6045398 |     1930   7594 |        0 |        0
766.77/766.94	c  766s |      25 |  8034523 |  6059298 |     1930   7607 |        0 |        0
768.78/768.95	c  768s |      25 |  8053700 |  6074098 |     1930   7622 |        0 |        0
770.77/770.95	c  770s |      25 |  8072689 |  6088698 |     1930   7636 |        0 |        0
772.77/772.95	c  772s |      25 |  8092857 |  6103598 |     1930   7651 |        0 |        0
774.77/774.98	c  774s |      25 |  8110527 |  6117498 |     1930   7665 |        0 |        0
776.77/776.98	c  776s |      25 |  8130769 |  6132398 |     1930   7679 |        0 |        0
778.78/778.98	c  778s |      25 |  8149608 |  6146698 |     1930   7693 |        0 |        0
780.77/780.99	c  780s |      25 |  8168853 |  6161398 |     1930   7708 |        0 |        0
782.87/783.00	c  782s |      25 |  8188535 |  6175698 |     1930   7722 |        0 |        0
784.87/785.01	c  784s |      25 |  8208653 |  6190398 |     1930   7737 |        0 |        0
786.87/787.01	c  786s |      25 |  8228667 |  6204998 |     1930   7751 |        0 |        0
788.87/789.02	c  789s |      25 |  8248103 |  6219898 |     1930   7766 |        0 |        0
790.87/791.03	c  791s |      25 |  8267922 |  6234398 |     1930   7780 |        0 |        0
792.87/793.03	c  793s |      25 |  8288240 |  6249498 |     1930   7795 |        0 |        0
794.87/795.04	c  795s |      25 |  8308727 |  6264798 |     1930   7810 |        0 |        0
796.86/797.05	c  797s |      25 |  8328788 |  6279698 |     1930   7825 |        0 |        0
798.86/799.07	c  799s |      25 |  8346360 |  6293098 |     1930   7838 |        0 |        0
800.86/801.08	c  801s |      25 |  8364634 |  6307398 |     1930   7853 |        0 |        0
802.87/803.09	c  803s |      25 |  8381168 |  6320098 |     1930   7865 |        0 |        0
804.86/805.09	c  805s |      25 |  8401811 |  6335098 |     1930   7880 |        0 |        0
806.96/807.11	c  807s |      25 |  8421464 |  6349898 |     1930   7895 |        0 |        0
808.97/809.12	c  809s |      25 |  8441538 |  6364998 |     1930   7910 |        0 |        0
810.97/811.13	c  811s |      25 |  8461499 |  6379998 |     1930   7924 |        0 |        0
812.97/813.15	c  813s |      25 |  8477477 |  6392898 |     1930   7937 |        0 |        0
814.98/815.15	c  815s |      25 |  8497836 |  6407798 |     1930   7952 |        0 |        0
816.97/817.16	c  817s |      25 |  8515895 |  6421498 |     1930   7965 |        0 |        0
818.97/819.18	c  819s |      25 |  8535944 |  6436798 |     1930   7980 |        0 |        0
820.97/821.18	c  821s |      25 |  8553852 |  6450698 |     1930   7994 |        0 |        0
822.97/823.18	c  823s |      25 |  8571239 |  6464098 |     1930   8007 |        0 |        0
824.97/825.19	c  825s |      25 |  8586416 |  6476398 |     1930   8019 |        0 |        0
826.96/827.19	c  827s |      25 |  8606282 |  6490698 |     1930   8033 |        0 |        0
829.06/829.20	c  829s |      25 |  8627915 |  6506298 |     1930   8049 |        0 |        0
831.06/831.21	c  831s |      25 |  8647531 |  6520298 |     1930   8063 |        0 |        0
833.06/833.22	c  833s |      25 |  8666463 |  6534398 |     1930   8077 |        0 |        0
835.06/835.23	c  835s |      25 |  8686787 |  6549098 |     1930   8091 |        0 |        0
837.07/837.24	c  837s |      25 |  8704820 |  6562598 |     1930   8105 |        0 |        0
839.06/839.25	c  839s |      25 |  8723895 |  6576298 |     1930   8118 |        0 |        0
841.06/841.26	c  841s |      25 |  8742021 |  6589398 |     1930   8131 |        0 |        0
843.06/843.27	c  843s |      25 |  8759703 |  6603098 |     1930   8145 |        0 |        0
845.06/845.27	c  845s |      25 |  8777230 |  6616698 |     1930   8158 |        0 |        0
847.06/847.28	c  847s |      25 |  8794839 |  6629798 |     1930   8171 |        0 |        0
849.06/849.29	c  849s |      25 |  8811311 |  6642498 |     1930   8184 |        0 |        0
851.16/851.30	c  851s |      25 |  8828496 |  6655598 |     1930   8197 |        0 |        0
853.16/853.31	c  853s |      25 |  8846781 |  6669398 |     1930   8211 |        0 |        0
855.16/855.32	c  855s |      25 |  8864104 |  6682698 |     1930   8224 |        0 |        0
857.15/857.33	c  857s |      25 |  8880465 |  6695398 |     1930   8237 |        0 |        0
859.15/859.34	c  859s |      25 |  8898194 |  6708898 |     1930   8250 |        0 |        0
861.16/861.35	c  861s |      25 |  8915685 |  6721798 |     1930   8263 |        0 |        0
863.15/863.36	c  863s |      25 |  8933000 |  6734898 |     1930   8276 |        0 |        0
865.15/865.36	c  865s |      25 |  8949873 |  6748198 |     1930   8289 |        0 |        0
867.15/867.37	c  867s |      25 |  8967175 |  6761798 |     1930   8303 |        0 |        0
869.15/869.37	c  869s |      25 |  8986454 |  6776298 |     1930   8317 |        0 |        0
871.16/871.38	c  871s |      25 |  9005786 |  6790298 |     1930   8331 |        0 |        0
873.15/873.39	c  873s |      25 |  9022884 |  6803798 |     1930   8344 |        0 |        0
875.25/875.40	c  875s |      25 |  9041128 |  6817698 |     1930   8358 |        0 |        0
877.25/877.41	c  877s |      25 |  9060445 |  6831798 |     1930   8372 |        0 |        0
879.25/879.41	c  879s |      25 |  9078363 |  6845498 |     1930   8386 |        0 |        0
881.25/881.42	c  881s |      25 |  9097579 |  6859798 |     1930   8400 |        0 |        0
883.26/883.42	c  883s |      25 |  9119218 |  6875598 |     1930   8416 |        0 |        0
885.25/885.43	c  885s |      25 |  9137571 |  6889798 |     1930   8430 |        0 |        0
887.25/887.44	c  887s |      25 |  9157439 |  6904498 |     1930   8445 |        0 |        0
889.25/889.45	c  889s |      25 |  9176393 |  6918698 |     1930   8459 |        0 |        0
891.25/891.46	c  891s |      25 |  9194839 |  6932398 |     1930   8472 |        0 |        0
893.25/893.46	c  893s |      25 |  9212706 |  6945398 |     1930   8486 |        0 |        0
895.26/895.47	c  895s |      25 |  9230302 |  6958398 |     1930   8499 |        0 |        0
897.26/897.48	c  897s |      25 |  9250911 |  6972998 |     1930   8513 |        0 |        0
899.26/899.49	c  899s |      25 |  9269991 |  6987198 |     1930   8527 |        0 |        0
901.36/901.50	c  901s |      25 |  9288884 |  7001398 |     1930   8542 |        0 |        0
903.36/903.50	c  903s |      25 |  9307954 |  7015598 |     1930   8556 |        0 |        0
905.36/905.52	c  905s |      25 |  9328767 |  7031198 |     1930   8571 |        0 |        0
907.36/907.53	c  907s |      25 |  9349775 |  7046498 |     1930   8587 |        0 |        0
909.35/909.54	c  909s |      25 |  9370822 |  7061898 |     1930   8602 |        0 |        0
911.35/911.55	c  911s |      25 |  9391601 |  7077598 |     1930   8618 |        0 |        0
913.35/913.55	c  913s |      25 |  9411640 |  7092998 |     1930   8633 |        0 |        0
915.35/915.56	c  915s |      25 |  9432988 |  7108398 |     1930   8648 |        0 |        0
917.36/917.56	c  917s |      25 |  9453375 |  7123298 |     1930   8663 |        0 |        0
919.35/919.57	c  919s |      25 |  9474776 |  7138998 |     1930   8678 |        0 |        0
921.35/921.58	c  921s |      25 |  9495429 |  7154298 |     1930   8693 |        0 |        0
923.35/923.58	c  923s |      25 |  9517220 |  7170598 |     1930   8709 |        0 |        0
925.45/925.60	c  925s |      25 |  9538708 |  7185898 |     1930   8724 |        0 |        0
927.45/927.61	c  927s |      25 |  9559495 |  7201098 |     1930   8738 |        0 |        0
929.45/929.62	c  929s |      25 |  9580121 |  7216398 |     1930   8753 |        0 |        0
931.45/931.62	c  931s |      25 |  9599776 |  7231298 |     1930   8768 |        0 |        0
933.45/933.63	c  933s |      25 |  9618653 |  7245498 |     1930   8782 |        0 |        0
935.44/935.64	c  935s |      25 |  9637362 |  7259798 |     1930   8796 |        0 |        0
937.44/937.64	c  937s |      25 |  9655432 |  7274298 |     1930   8810 |        0 |        0
939.44/939.64	c  939s |      25 |  9674545 |  7288698 |     1930   8824 |        0 |        0
941.45/941.65	c  941s |      25 |  9695270 |  7304098 |     1930   8839 |        0 |        0
943.44/943.65	c  943s |      25 |  9715613 |  7319098 |     1930   8854 |        0 |        0
945.44/945.66	c  945s |      25 |  9733905 |  7333198 |     1930   8868 |        0 |        0
947.44/947.67	c  947s |      25 |  9753614 |  7347798 |     1930   8882 |        0 |        0
949.44/949.67	c  949s |      25 |  9771383 |  7361398 |     1930   8895 |        0 |        0
951.45/951.68	c  951s |      25 |  9789131 |  7375098 |     1930   8909 |        0 |        0
953.44/953.68	c  953s |      25 |  9806796 |  7388898 |     1930   8922 |        0 |        0
955.44/955.68	c  955s |      25 |  9826150 |  7403498 |     1930   8937 |        0 |        0
957.45/957.69	c  957s |      25 |  9845274 |  7418298 |     1930   8951 |        0 |        0
959.55/959.70	c  959s |      25 |  9864568 |  7433398 |     1930   8966 |        0 |        0
961.55/961.72	c  961s |      25 |  9886058 |  7449298 |     1930   8981 |        0 |        0
963.55/963.72	c  963s |      25 |  9907320 |  7465098 |     1930   8997 |        0 |        0
965.54/965.73	c  965s |      25 |  9927210 |  7479798 |     1930   9011 |        0 |        0
967.54/967.74	c  967s |      25 |  9947022 |  7494998 |     1930   9026 |        0 |        0
969.54/969.74	c  969s |      25 |  9966618 |  7510198 |     1930   9041 |        0 |        0
971.54/971.75	c  971s |      25 |  9984342 |  7523998 |     1930   9054 |        0 |        0
973.54/973.76	c  973s |      25 | 10002764 |  7538098 |     1930   9068 |        0 |        0
975.55/975.78	c  975s |      25 | 10021040 |  7552198 |     2123   9081 |        0 |        0
977.54/977.79	c  977s |      25 | 10037909 |  7565098 |     2123   9093 |        0 |        0
979.64/979.80	c  979s |      25 | 10054673 |  7577898 |     2123   9104 |        0 |        0
981.64/981.81	c  981s |      25 | 10074410 |  7592198 |     2123   9117 |        0 |        0
982.34/982.54	c  982s |      26 | 10081524 |  7597752 |     2123   9122 |        0 |        0
984.35/984.54	c  984s |      26 | 10099262 |  7611552 |     2123   9134 |        0 |        0
986.34/986.54	c  986s |      26 | 10115757 |  7624752 |     2123   9146 |        0 |        0
988.34/988.55	c  988s |      26 | 10131344 |  7637452 |     2123   9157 |        0 |        0
990.34/990.56	c  990s |      26 | 10148036 |  7650652 |     2123   9169 |        0 |        0
992.34/992.57	c  992s |      26 | 10165837 |  7664552 |     2123   9181 |        0 |        0
994.34/994.57	c  994s |      26 | 10181482 |  7677452 |     2123   9193 |        0 |        0
996.34/996.58	c  996s |      26 | 10197512 |  7690552 |     2123   9204 |        0 |        0
998.44/998.60	c  998s |      26 | 10215202 |  7704452 |     2123   9216 |        0 |        0
1000.44/1000.61	c 1000s |      26 | 10233108 |  7718452 |     2123   9229 |        0 |        0
1002.44/1002.61	c 1002s |      26 | 10250284 |  7732252 |     2123   9241 |        0 |        0
1004.44/1004.61	c 1004s |      26 | 10267074 |  7745552 |     2123   9253 |        0 |        0
1006.44/1006.62	c 1006s |      26 | 10285800 |  7759952 |     2123   9266 |        0 |        0
1008.43/1008.63	c 1008s |      26 | 10306206 |  7775652 |     2123   9279 |        0 |        0
1010.43/1010.64	c 1010s |      26 | 10322579 |  7788952 |     2123   9291 |        0 |        0
1012.43/1012.64	c 1012s |      26 | 10341396 |  7803252 |     2123   9304 |        0 |        0
1014.43/1014.66	c 1014s |      26 | 10359387 |  7816952 |     2123   9316 |        0 |        0
1016.43/1016.66	c 1016s |      26 | 10377415 |  7830352 |     2123   9328 |        0 |        0
1018.44/1018.67	c 1018s |      26 | 10395919 |  7844252 |     2123   9340 |        0 |        0
1020.43/1020.68	c 1020s |      26 | 10412665 |  7857252 |     2123   9352 |        0 |        0
1022.43/1022.69	c 1022s |      26 | 10430278 |  7870852 |     2123   9364 |        0 |        0
1024.53/1024.70	c 1024s |      26 | 10447213 |  7883752 |     2123   9375 |        0 |        0
1026.53/1026.71	c 1026s |      26 | 10464123 |  7896952 |     2123   9387 |        0 |        0
1028.53/1028.72	c 1028s |      26 | 10482451 |  7911052 |     2123   9399 |        0 |        0
1030.54/1030.73	c 1030s |      26 | 10501756 |  7925552 |     2123   9412 |        0 |        0
1032.53/1032.74	c 1032s |      26 | 10521874 |  7940652 |     2123   9425 |        0 |        0
1034.53/1034.75	c 1034s |      26 | 10540750 |  7955152 |     2123   9438 |        0 |        0
1036.53/1036.76	c 1036s |      26 | 10557953 |  7969252 |     2123   9451 |        0 |        0
1038.53/1038.76	c 1038s |      26 | 10575764 |  7982552 |     2123   9463 |        0 |        0
1040.53/1040.78	c 1040s |      26 | 10595658 |  7997552 |     2123   9476 |        0 |        0
1042.53/1042.78	c 1042s |      26 | 10613787 |  8011452 |     2123   9488 |        0 |        0
1044.53/1044.78	c 1044s |      26 | 10633044 |  8026252 |     2123   9502 |        0 |        0
1046.53/1046.79	c 1046s |      26 | 10652941 |  8041452 |     2123   9515 |        0 |        0
1048.53/1048.79	c 1048s |      26 | 10671159 |  8055852 |     2123   9528 |        0 |        0
1050.53/1050.80	c 1050s |      26 | 10690884 |  8070652 |     2123   9542 |        0 |        0
1052.53/1052.80	c 1052s |      26 | 10709245 |  8084752 |     2123   9555 |        0 |        0
1054.62/1054.81	c 1054s |      26 | 10726929 |  8098452 |     2123   9567 |        0 |        0
1056.62/1056.81	c 1056s |      26 | 10744894 |  8112252 |     2123   9579 |        0 |        0
1058.62/1058.82	c 1058s |      26 | 10764328 |  8127252 |     2123   9593 |        0 |        0
1060.63/1060.83	c 1060s |      26 | 10784056 |  8142152 |     2123   9607 |        0 |        0
1062.63/1062.83	c 1062s |      26 | 10803771 |  8157252 |     2123   9620 |        0 |        0
1064.64/1064.84	c 1064s |      26 | 10823149 |  8172152 |     2123   9634 |        0 |        0
1066.63/1066.85	c 1066s |      26 | 10843031 |  8187352 |     2123   9648 |        0 |        0
1068.63/1068.86	c 1068s |      26 | 10862770 |  8202152 |     2123   9661 |        0 |        0
1070.63/1070.87	c 1070s |      26 | 10880398 |  8216252 |     2123   9674 |        0 |        0
1072.63/1072.88	c 1072s |      26 | 10899348 |  8230952 |     2123   9687 |        0 |        0
1074.63/1074.89	c 1074s |      26 | 10918478 |  8246352 |     2123   9701 |        0 |        0
1076.63/1076.89	c 1076s |      26 | 10938503 |  8261752 |     2123   9715 |        0 |        0
1078.73/1078.90	c 1078s |      26 | 10958837 |  8277152 |     2123   9729 |        0 |        0
1080.73/1080.91	c 1080s |      26 | 10978289 |  8291852 |     2123   9743 |        0 |        0
1082.72/1082.92	c 1082s |      26 | 10996551 |  8306352 |     2123   9756 |        0 |        0
1084.72/1084.92	c 1084s |      26 | 11013941 |  8320252 |     2123   9768 |        0 |        0
1086.73/1086.93	c 1086s |      26 | 11032580 |  8334752 |     2123   9782 |        0 |        0
1088.72/1088.94	c 1088s |      26 | 11050460 |  8348852 |     2123   9794 |        0 |        0
1090.72/1090.95	c 1090s |      26 | 11070237 |  8363652 |     2123   9808 |        0 |        0
1092.72/1092.96	c 1092s |      26 | 11088848 |  8378052 |     2123   9821 |        0 |        0
1094.72/1094.96	c 1094s |      26 | 11107094 |  8392052 |     2123   9834 |        0 |        0
1096.72/1096.97	c 1096s |      26 | 11127556 |  8407152 |     2123   9847 |        0 |        0
1098.73/1098.98	c 1098s |      26 | 11147395 |  8422252 |     2123   9861 |        0 |        0
1100.73/1100.99	c 1100s |      26 | 11166401 |  8436852 |     2123   9874 |        0 |        0
1102.83/1103.00	c 1102s |      26 | 11184218 |  8450352 |     2123   9887 |        0 |        0
1104.83/1105.01	c 1104s |      26 | 11202431 |  8464152 |     2123   9899 |        0 |        0
1106.82/1107.02	c 1107s |      26 | 11221800 |  8478752 |     2123   9912 |        0 |        0
1108.82/1109.03	c 1109s |      26 | 11241718 |  8493752 |     2123   9926 |        0 |        0
1110.83/1111.03	c 1111s |      26 | 11259815 |  8507452 |     2123   9938 |        0 |        0
1112.82/1113.05	c 1113s |      26 | 11278765 |  8521952 |     2123   9952 |        0 |        0
1114.82/1115.05	c 1115s |      26 | 11296368 |  8535452 |     2123   9964 |        0 |        0
1116.82/1117.06	c 1117s |      26 | 11315344 |  8549752 |     2123   9977 |        0 |        0
1118.82/1119.08	c 1119s |      26 | 11333352 |  8563852 |     2123   9990 |        0 |        0
1120.83/1121.09	c 1121s |      26 | 11351583 |  8578052 |     2123  10002 |        0 |        0
1122.82/1123.09	c 1123s |      26 | 11372050 |  8593452 |     2123  10016 |        0 |        0
1124.92/1125.10	c 1125s |      26 | 11391103 |  8608052 |     2123  10030 |        0 |        0
1126.92/1127.11	c 1127s |      26 | 11409927 |  8622352 |     2123  10042 |        0 |        0
1128.92/1129.11	c 1129s |      26 | 11428243 |  8636052 |     2123  10055 |        0 |        0
1130.92/1131.11	c 1131s |      26 | 11447275 |  8650552 |     2123  10068 |        0 |        0
1132.93/1133.11	c 1133s |      26 | 11468260 |  8666352 |     2123  10082 |        0 |        0
1134.92/1135.12	c 1135s |      26 | 11487867 |  8681452 |     2123  10096 |        0 |        0
1136.92/1137.13	c 1137s |      26 | 11504740 |  8694752 |     2123  10108 |        0 |        0
1138.92/1139.13	c 1139s |      26 | 11523409 |  8708852 |     2123  10121 |        0 |        0
1140.92/1141.14	c 1141s |      26 | 11540585 |  8722352 |     2123  10133 |        0 |        0
1142.92/1143.15	c 1143s |      26 | 11558551 |  8736552 |     2123  10146 |        0 |        0
1144.92/1145.16	c 1145s |      26 | 11576466 |  8750652 |     2123  10158 |        0 |        0
1146.92/1147.17	c 1147s |      26 | 11593605 |  8764352 |     2123  10171 |        0 |        0
1148.92/1149.17	c 1149s |      26 | 11611982 |  8778752 |     2123  10184 |        0 |        0
1150.92/1151.18	c 1151s |      26 | 11629865 |  8793552 |     2123  10197 |        0 |        0
1153.01/1153.20	c 1153s |      26 | 11648242 |  8808252 |     2123  10210 |        0 |        0
1155.01/1155.21	c 1155s |      26 | 11668240 |  8823752 |     2123  10224 |        0 |        0
1157.02/1157.22	c 1157s |      26 | 11687553 |  8838352 |     2123  10237 |        0 |        0
1159.01/1159.22	c 1159s |      26 | 11705641 |  8852452 |     2123  10250 |        0 |        0
1161.01/1161.24	c 1161s |      26 | 11723600 |  8866452 |     2123  10262 |        0 |        0
1163.01/1163.25	c 1163s |      26 | 11740599 |  8879652 |     2123  10274 |        0 |        0
1165.01/1165.25	c 1165s |      26 | 11758410 |  8893452 |     2123  10286 |        0 |        0
1167.02/1167.26	c 1167s |      26 | 11776231 |  8907152 |     2123  10299 |        0 |        0
1169.01/1169.26	c 1169s |      26 | 11795517 |  8921252 |     2123  10311 |        0 |        0
1171.01/1171.27	c 1171s |      26 | 11814385 |  8935252 |     2123  10324 |        0 |        0
1173.01/1173.28	c 1173s |      26 | 11833714 |  8949652 |     2123  10337 |        0 |        0
1175.01/1175.29	c 1175s |      26 | 11853528 |  8964152 |     2123  10350 |        0 |        0
1177.01/1177.29	c 1177s |      26 | 11871208 |  8977852 |     2123  10363 |        0 |        0
1179.02/1179.30	c 1179s |      26 | 11887821 |  8990952 |     2123  10375 |        0 |        0
1181.11/1181.31	c 1181s |      26 | 11908371 |  9006652 |     2123  10389 |        0 |        0
1183.11/1183.32	c 1183s |      26 | 11928413 |  9022252 |     2123  10403 |        0 |        0
1185.11/1185.32	c 1185s |      26 | 11948803 |  9038052 |     2123  10417 |        0 |        0
1187.11/1187.33	c 1187s |      26 | 11969653 |  9053752 |     2123  10431 |        0 |        0
1189.11/1189.33	c 1189s |      26 | 11990726 |  9069652 |     2123  10445 |        0 |        0
1191.12/1191.34	c 1191s |      26 | 12008165 |  9083552 |     2123  10458 |        0 |        0
1193.11/1193.35	c 1193s |      26 | 12026449 |  9097652 |     2123  10470 |        0 |        0
1195.11/1195.36	c 1195s |      26 | 12046136 |  9112252 |     2123  10484 |        0 |        0
1197.11/1197.36	c 1197s |      26 | 12066342 |  9127352 |     2123  10497 |        0 |        0
1199.11/1199.36	c 1199s |      26 | 12086026 |  9142252 |     2123  10511 |        0 |        0
1201.11/1201.37	c 1201s |      26 | 12105190 |  9156952 |     2123  10524 |        0 |        0
1203.11/1203.38	c 1203s |      26 | 12124673 |  9172052 |     2123  10537 |        0 |        0
1205.11/1205.38	c 1205s |      26 | 12142381 |  9185952 |     2123  10550 |        0 |        0
1207.11/1207.39	c 1207s |      26 | 12161022 |  9200052 |     2123  10562 |        0 |        0
1209.21/1209.40	c 1209s |      26 | 12179779 |  9214852 |     2123  10576 |        0 |        0
1211.20/1211.40	c 1211s |      26 | 12196646 |  9228352 |     2123  10588 |        0 |        0
1213.21/1213.41	c 1213s |      26 | 12213813 |  9241452 |     2123  10600 |        0 |        0
1215.20/1215.41	c 1215s |      26 | 12230666 |  9254652 |     2123  10611 |        0 |        0
1217.20/1217.42	c 1217s |      26 | 12247740 |  9268152 |     2123  10624 |        0 |        0
1219.20/1219.43	c 1219s |      26 | 12265864 |  9282652 |     2123  10637 |        0 |        0
1221.20/1221.44	c 1221s |      26 | 12285799 |  9298152 |     2123  10650 |        0 |        0
1223.20/1223.46	c 1223s |      26 | 12300758 |  9310452 |     2123  10662 |        0 |        0
1225.21/1225.46	c 1225s |      26 | 12318201 |  9323852 |     2123  10674 |        0 |        0
1227.20/1227.47	c 1227s |      26 | 12336157 |  9337852 |     2123  10686 |        0 |        0
1229.20/1229.49	c 1229s |      26 | 12352468 |  9350952 |     2123  10698 |        0 |        0
1231.20/1231.50	c 1231s |      26 | 12370119 |  9364652 |     2123  10710 |        0 |        0
1233.30/1233.50	c 1233s |      26 | 12386927 |  9377252 |     2123  10722 |        0 |        0
1235.30/1235.50	c 1235s |      26 | 12405103 |  9391252 |     2123  10734 |        0 |        0
1237.31/1237.51	c 1237s |      26 | 12422991 |  9405552 |     2123  10747 |        0 |        0
1239.30/1239.51	c 1239s |      26 | 12441744 |  9420052 |     2123  10760 |        0 |        0
1241.30/1241.51	c 1241s |      26 | 12460881 |  9434752 |     2123  10773 |        0 |        0
1243.30/1243.52	c 1243s |      26 | 12478994 |  9448952 |     2123  10786 |        0 |        0
1245.30/1245.55	c 1245s |      26 | 12494221 |  9461552 |     2123  10798 |        0 |        0
1247.30/1247.55	c 1247s |      26 | 12510250 |  9473952 |     2123  10809 |        0 |        0
1249.30/1249.55	c 1249s |      26 | 12528768 |  9487952 |     2123  10821 |        0 |        0
1251.29/1251.56	c 1251s |      26 | 12545081 |  9500952 |     2123  10833 |        0 |        0
1253.29/1253.56	c 1253s |      26 | 12564285 |  9515352 |     2123  10846 |        0 |        0
1255.29/1255.58	c 1255s |      26 | 12583562 |  9530152 |     2123  10860 |        0 |        0
1257.29/1257.58	c 1257s |      26 | 12604619 |  9545652 |     2123  10874 |        0 |        0
1259.30/1259.58	c 1259s |      26 | 12622291 |  9559652 |     2123  10886 |        0 |        0
1261.29/1261.59	c 1261s |      26 | 12643388 |  9575252 |     2123  10900 |        0 |        0
1263.40/1263.60	c 1263s |      26 | 12661702 |  9589352 |     2123  10913 |        0 |        0
1265.40/1265.61	c 1265s |      26 | 12679572 |  9603152 |     2123  10925 |        0 |        0
1267.40/1267.62	c 1267s |      26 | 12696972 |  9616452 |     2123  10937 |        0 |        0
1269.40/1269.63	c 1269s |      26 | 12714430 |  9629952 |     2123  10949 |        0 |        0
1271.40/1271.63	c 1271s |      26 | 12731556 |  9643352 |     2123  10961 |        0 |        0
1273.40/1273.64	c 1273s |      26 | 12747513 |  9655752 |     2123  10973 |        0 |        0
1275.40/1275.66	c 1275s |      26 | 12765629 |  9669452 |     2123  10985 |        0 |        0
1277.40/1277.68	c 1277s |      26 | 12785356 |  9683952 |     2123  10998 |        0 |        0
1279.40/1279.68	c 1279s |      26 | 12804238 |  9698252 |     2123  11011 |        0 |        0
1281.40/1281.69	c 1281s |      26 | 12822402 |  9712252 |     2123  11024 |        0 |        0
1283.39/1283.69	c 1283s |      26 | 12839876 |  9725852 |     2123  11036 |        0 |        0
1285.49/1285.70	c 1285s |      26 | 12857411 |  9739352 |     2123  11048 |        0 |        0
1287.49/1287.70	c 1287s |      26 | 12875473 |  9752952 |     2123  11060 |        0 |        0
1289.49/1289.70	c 1289s |      26 | 12894275 |  9767352 |     2123  11073 |        0 |        0
1291.49/1291.70	c 1291s |      26 | 12915438 |  9782652 |     2123  11087 |        0 |        0
1293.50/1293.71	c 1293s |      26 | 12935539 |  9797752 |     2123  11101 |        0 |        0
1295.49/1295.72	c 1295s |      26 | 12955671 |  9812552 |     2123  11114 |        0 |        0
1297.49/1297.72	c 1297s |      26 | 12972837 |  9826052 |     2123  11126 |        0 |        0
1299.49/1299.73	c 1299s |      26 | 12990712 |  9839952 |     2123  11139 |        0 |        0
1301.49/1301.74	c 1301s |      26 | 13010883 |  9854952 |     2123  11153 |        0 |        0
1303.49/1303.75	c 1303s |      26 | 13029745 |  9869152 |     2123  11166 |        0 |        0
1305.49/1305.76	c 1305s |      26 | 13047961 |  9883052 |     2123  11178 |        0 |        0
1307.49/1307.76	c 1307s |      26 | 13065476 |  9896452 |     2123  11190 |        0 |        0
1309.49/1309.78	c 1309s |      26 | 13083905 |  9910352 |     2123  11203 |        0 |        0
1311.49/1311.78	c 1311s |      26 | 13103909 |  9924952 |     2123  11216 |        0 |        0
1313.49/1313.80	c 1313s |      26 | 13122861 |  9939252 |     2123  11229 |        0 |        0
1315.59/1315.80	c 1315s |      26 | 13142053 |  9953952 |     2123  11242 |        0 |        0
1317.59/1317.81	c 1317s |      26 | 13160400 |  9967952 |     2123  11255 |        0 |        0
1319.59/1319.81	c 1319s |      26 | 13178785 |  9981752 |     2123  11267 |        0 |        0
1321.59/1321.82	c 1321s |      26 | 13198645 |  9996852 |     2123  11281 |        0 |        0
1323.59/1323.83	c 1323s |      26 | 13217210 | 10010752 |     2123  11293 |        0 |        0
1325.59/1325.84	c 1325s |      26 | 13236768 | 10025452 |     2123  11306 |        0 |        0
1327.60/1327.85	c 1327s |      26 | 13253963 | 10038552 |     2123  11318 |        0 |        0
1329.59/1329.86	c 1329s |      26 | 13272710 | 10052452 |     2123  11331 |        0 |        0
1331.59/1331.86	c 1331s |      26 | 13292839 | 10067352 |     2123  11344 |        0 |        0
1333.59/1333.86	c 1333s |      26 | 13312148 | 10081652 |     2123  11357 |        0 |        0
1335.59/1335.87	c 1335s |      26 | 13330202 | 10095252 |     2123  11370 |        0 |        0
1337.59/1337.88	c 1337s |      26 | 13346293 | 10108552 |     2123  11381 |        0 |        0
1339.60/1339.89	c 1339s |      26 | 13363927 | 10121852 |     2123  11393 |        0 |        0
1341.59/1341.89	c 1341s |      26 | 13380999 | 10135552 |     2123  11406 |        0 |        0
1343.59/1343.89	c 1343s |      26 | 13398477 | 10149252 |     2123  11418 |        0 |        0
1345.69/1345.90	c 1345s |      26 | 13416963 | 10163152 |     2123  11431 |        0 |        0
1347.69/1347.91	c 1347s |      26 | 13434831 | 10177052 |     2123  11443 |        0 |        0
1349.69/1349.91	c 1349s |      26 | 13454467 | 10191652 |     2123  11456 |        0 |        0
1351.69/1351.92	c 1351s |      26 | 13473546 | 10206152 |     2123  11469 |        0 |        0
1353.69/1353.92	c 1353s |      26 | 13492692 | 10220552 |     2123  11482 |        0 |        0
1355.68/1355.93	c 1355s |      26 | 13512770 | 10235652 |     2123  11496 |        0 |        0
1357.68/1357.93	c 1357s |      26 | 13533357 | 10251152 |     2123  11510 |        0 |        0
1359.68/1359.94	c 1359s |      26 | 13554627 | 10266952 |     2123  11524 |        0 |        0
1361.69/1361.95	c 1361s |      26 | 13577011 | 10283052 |     2123  11539 |        0 |        0
1363.68/1363.95	c 1363s |      26 | 13595440 | 10297252 |     2123  11551 |        0 |        0
1365.68/1365.96	c 1365s |      26 | 13615858 | 10312252 |     2123  11565 |        0 |        0
1367.68/1367.96	c 1367s |      26 | 13637934 | 10328452 |     2123  11580 |        0 |        0
1369.68/1369.98	c 1369s |      26 | 13656046 | 10342752 |     2123  11592 |        0 |        0
1371.68/1371.99	c 1371s |      26 | 13676977 | 10358152 |     2123  11606 |        0 |        0
1373.68/1373.99	c 1373s |      26 | 13696327 | 10373052 |     2123  11620 |        0 |        0
1375.78/1376.00	c 1375s |      26 | 13714514 | 10387352 |     2123  11633 |        0 |        0
1377.78/1378.02	c 1377s |      26 | 13735495 | 10402852 |     2123  11647 |        0 |        0
1379.78/1380.02	c 1380s |      26 | 13757636 | 10419052 |     2123  11661 |        0 |        0
1381.78/1382.04	c 1382s |      26 | 13777003 | 10434052 |     2123  11675 |        0 |        0
1383.78/1384.05	c 1384s |      26 | 13799551 | 10450552 |     2123  11689 |        0 |        0
1385.79/1386.05	c 1386s |      26 | 13821185 | 10466752 |     2123  11704 |        0 |        0
1387.78/1388.05	c 1388s |      26 | 13840331 | 10481152 |     2123  11717 |        0 |        0
1389.78/1390.06	c 1390s |      26 | 13860487 | 10496252 |     2123  11731 |        0 |        0
1391.78/1392.07	c 1392s |      26 | 13880478 | 10511252 |     2123  11744 |        0 |        0
1393.78/1394.07	c 1394s |      26 | 13900266 | 10526652 |     2123  11758 |        0 |        0
1395.78/1396.07	c 1396s |      26 | 13920119 | 10541652 |     2123  11771 |        0 |        0
1397.78/1398.08	c 1398s |      26 | 13940515 | 10556452 |     2123  11785 |        0 |        0
1399.78/1400.09	c 1400s |      26 | 13960209 | 10570952 |     2123  11798 |        0 |        0
1401.87/1402.10	c 1402s |      26 | 13979806 | 10585452 |     2123  11811 |        0 |        0
1403.87/1404.11	c 1404s |      26 | 14000604 | 10600752 |     2123  11825 |        0 |        0
1405.87/1406.11	c 1406s |      26 | 14021881 | 10616452 |     2123  11839 |        0 |        0
1407.88/1408.12	c 1408s |      26 | 14041049 | 10631152 |     2123  11852 |        0 |        0
1409.87/1410.12	c 1410s |      26 | 14060398 | 10645452 |     2123  11865 |        0 |        0
1411.87/1412.14	c 1412s |      26 | 14078136 | 10659452 |     2123  11877 |        0 |        0
1413.87/1414.14	c 1414s |      26 | 14097044 | 10674052 |     2123  11891 |        0 |        0
1415.87/1416.16	c 1416s |      26 | 14116115 | 10688352 |     2123  11904 |        0 |        0
1417.87/1418.17	c 1418s |      26 | 14135807 | 10703452 |     2123  11917 |        0 |        0
1419.88/1420.18	c 1420s |      26 | 14154254 | 10717752 |     2123  11930 |        0 |        0
1421.88/1422.19	c 1422s |      26 | 14175502 | 10733552 |     2123  11944 |        0 |        0
1423.88/1424.19	c 1424s |      26 | 14194179 | 10748252 |     2123  11958 |        0 |        0
1425.98/1426.20	c 1426s |      26 | 14215218 | 10763952 |     2123  11972 |        0 |        0
1427.98/1428.20	c 1428s |      26 | 14232955 | 10778152 |     2123  11985 |        0 |        0
1429.97/1430.20	c 1430s |      26 | 14253684 | 10793952 |     2123  11999 |        0 |        0
1431.98/1432.21	c 1432s |      26 | 14274798 | 10809952 |     2123  12013 |        0 |        0
1433.97/1434.22	c 1434s |      26 | 14294750 | 10824952 |     2123  12027 |        0 |        0
1435.97/1436.22	c 1436s |      26 | 14314909 | 10839852 |     2123  12040 |        0 |        0
1437.97/1438.23	c 1438s |      26 | 14339042 | 10856752 |     2123  12056 |        0 |        0
1439.97/1440.23	c 1440s |      26 | 14359018 | 10871952 |     2123  12069 |        0 |        0
1441.98/1442.23	c 1442s |      26 | 14377842 | 10886452 |     2123  12082 |        0 |        0
1443.97/1444.25	c 1444s |      26 | 14395558 | 10900252 |     2123  12094 |        0 |        0
1445.97/1446.25	c 1446s |      26 | 14413879 | 10914452 |     2123  12107 |        0 |        0
1447.97/1448.26	c 1448s |      26 | 14432424 | 10928952 |     2123  12119 |        0 |        0
1449.97/1450.26	c 1450s |      26 | 14451314 | 10943452 |     2123  12132 |        0 |        0
1451.97/1452.27	c 1452s |      26 | 14468911 | 10957352 |     2123  12144 |        0 |        0
1453.98/1454.29	c 1454s |      26 | 14487168 | 10971552 |     2123  12157 |        0 |        0
1456.07/1456.30	c 1456s |      26 | 14505743 | 10985852 |     2123  12170 |        0 |        0
1458.07/1458.30	c 1458s |      26 | 14523471 | 10999752 |     2123  12182 |        0 |        0
1460.07/1460.30	c 1460s |      26 | 14540130 | 11012852 |     2123  12194 |        0 |        0
1462.07/1462.32	c 1462s |      26 | 14557749 | 11026352 |     2123  12206 |        0 |        0
1464.07/1464.32	c 1464s |      26 | 14574952 | 11039752 |     2123  12218 |        0 |        0
1466.07/1466.34	c 1466s |      26 | 14594048 | 11054152 |     2123  12230 |        0 |        0
1468.06/1468.35	c 1468s |      26 | 14613096 | 11068452 |     2123  12243 |        0 |        0
1470.06/1470.35	c 1470s |      26 | 14630869 | 11081952 |     2123  12256 |        0 |        0
1472.06/1472.35	c 1472s |      26 | 14647939 | 11095152 |     2123  12268 |        0 |        0
1474.06/1474.36	c 1474s |      26 | 14666046 | 11109152 |     2123  12280 |        0 |        0
1476.07/1476.36	c 1476s |      26 | 14684046 | 11122652 |     2123  12292 |        0 |        0
1478.06/1478.37	c 1478s |      26 | 14700828 | 11135452 |     2123  12304 |        0 |        0
1480.06/1480.37	c 1480s |      26 | 14718406 | 11148652 |     2123  12316 |        0 |        0
1482.06/1482.37	c 1482s |      26 | 14735822 | 11161952 |     2123  12328 |        0 |        0
1484.06/1484.38	c 1484s |      26 | 14754023 | 11175752 |     2123  12340 |        0 |        0
1486.06/1486.39	c 1486s |      26 | 14772255 | 11189552 |     2123  12353 |        0 |        0
1488.07/1488.40	c 1488s |      26 | 14791540 | 11203652 |     2123  12366 |        0 |        0
1490.16/1490.41	c 1490s |      26 | 14810886 | 11217752 |     2123  12378 |        0 |        0
1492.16/1492.42	c 1492s |      26 | 14827782 | 11230652 |     2123  12390 |        0 |        0
1494.16/1494.43	c 1494s |      26 | 14845397 | 11244352 |     2123  12402 |        0 |        0
1496.16/1496.44	c 1496s |      26 | 14864623 | 11258552 |     2123  12415 |        0 |        0
1498.16/1498.45	c 1498s |      26 | 14883661 | 11273552 |     2123  12429 |        0 |        0
1500.16/1500.45	c 1500s |      26 | 14900002 | 11286252 |     2123  12440 |        0 |        0
1502.16/1502.46	c 1502s |      26 | 14915075 | 11298552 |     2123  12451 |        0 |        0
1504.16/1504.46	c 1504s |      26 | 14932956 | 11312152 |     2123  12463 |        0 |        0
1506.17/1506.47	c 1506s |      26 | 14949504 | 11325052 |     2336  12474 |        0 |        0
1508.16/1508.47	c 1508s |      26 | 14966268 | 11337852 |     2336  12485 |        0 |        0
1510.17/1510.49	c 1510s |      26 | 14983480 | 11350552 |     2336  12495 |        0 |        0
1512.27/1512.51	c 1512s |      26 | 14999388 | 11362752 |     2336  12505 |        0 |        0
1514.26/1514.52	c 1514s |      26 | 15015826 | 11374952 |     2336  12515 |        0 |        0
1516.26/1516.53	c 1516s |      26 | 15030204 | 11386452 |     2336  12525 |        0 |        0
1517.96/1518.27	c 1518s |      27 | 15043565 | 11396733 |     2336  12533 |        0 |        0
1519.97/1520.27	c 1520s |      27 | 15066016 | 11413133 |     2336  12547 |        0 |        0
1521.96/1522.29	c 1522s |      27 | 15083638 | 11427133 |     2336  12558 |        0 |        0
1523.96/1524.29	c 1524s |      27 | 15100903 | 11440633 |     2336  12569 |        0 |        0
1526.06/1526.31	c 1526s |      27 | 15118688 | 11454433 |     2336  12581 |        0 |        0
1528.06/1528.31	c 1528s |      27 | 15137342 | 11468233 |     2336  12592 |        0 |        0
1530.06/1530.32	c 1530s |      27 | 15154993 | 11481733 |     2336  12603 |        0 |        0
1532.07/1532.32	c 1532s |      27 | 15170749 | 11494633 |     2336  12614 |        0 |        0
1534.06/1534.34	c 1534s |      27 | 15188395 | 11508033 |     2336  12625 |        0 |        0
1536.06/1536.35	c 1536s |      27 | 15205821 | 11521233 |     2336  12636 |        0 |        0
1538.06/1538.36	c 1538s |      27 | 15224412 | 11535233 |     2336  12648 |        0 |        0
1540.05/1540.36	c 1540s |      27 | 15242342 | 11549133 |     2336  12659 |        0 |        0
1542.06/1542.37	c 1542s |      27 | 15259559 | 11562333 |     2336  12670 |        0 |        0
1544.05/1544.37	c 1544s |      27 | 15277507 | 11575833 |     2336  12682 |        0 |        0
1546.05/1546.37	c 1546s |      27 | 15297009 | 11590033 |     2336  12693 |        0 |        0
1548.05/1548.38	c 1548s |      27 | 15315229 | 11604033 |     2336  12705 |        0 |        0
1550.05/1550.39	c 1550s |      27 | 15333684 | 11617933 |     2336  12716 |        0 |        0
1552.15/1552.41	c 1552s |      27 | 15352764 | 11632633 |     2336  12729 |        0 |        0
1554.16/1554.41	c 1554s |      27 | 15371236 | 11646633 |     2336  12740 |        0 |        0
1556.15/1556.42	c 1556s |      27 | 15388320 | 11659833 |     2336  12751 |        0 |        0
1558.15/1558.43	c 1558s |      27 | 15409598 | 11675633 |     2336  12764 |        0 |        0
1560.15/1560.44	c 1560s |      27 | 15430029 | 11691033 |     2336  12777 |        0 |        0
1562.15/1562.44	c 1562s |      27 | 15449073 | 11705333 |     2336  12789 |        0 |        0
1564.14/1564.45	c 1564s |      27 | 15466072 | 11718133 |     2336  12799 |        0 |        0
1566.15/1566.45	c 1566s |      27 | 15485211 | 11732933 |     2336  12812 |        0 |        0
1568.14/1568.45	c 1568s |      27 | 15501962 | 11745933 |     2336  12822 |        0 |        0
1570.15/1570.46	c 1570s |      27 | 15519885 | 11759233 |     2336  12833 |        0 |        0
1572.15/1572.47	c 1572s |      27 | 15537551 | 11772733 |     2336  12844 |        0 |        0
1574.15/1574.47	c 1574s |      27 | 15555091 | 11786733 |     2336  12856 |        0 |        0
1576.16/1576.47	c 1576s |      27 | 15572722 | 11800233 |     2336  12867 |        0 |        0
1578.15/1578.48	c 1578s |      27 | 15592477 | 11814833 |     2336  12879 |        0 |        0
1580.25/1580.50	c 1580s |      27 | 15611485 | 11829333 |     2336  12891 |        0 |        0
1582.25/1582.50	c 1582s |      27 | 15630752 | 11843733 |     2336  12903 |        0 |        0
1584.24/1584.52	c 1584s |      27 | 15650851 | 11858733 |     2336  12915 |        0 |        0
1586.24/1586.52	c 1586s |      27 | 15669837 | 11872533 |     2336  12927 |        0 |        0
1588.25/1588.53	c 1588s |      27 | 15688780 | 11886633 |     2336  12938 |        0 |        0
1590.24/1590.54	c 1590s |      27 | 15708565 | 11901433 |     2336  12951 |        0 |        0
1592.24/1592.54	c 1592s |      27 | 15728239 | 11916133 |     2336  12963 |        0 |        0
1594.24/1594.56	c 1594s |      27 | 15748039 | 11930533 |     2336  12975 |        0 |        0
1596.24/1596.57	c 1596s |      27 | 15766623 | 11944033 |     2336  12986 |        0 |        0
1598.24/1598.58	c 1598s |      27 | 15785809 | 11958433 |     2336  12998 |        0 |        0
1600.24/1600.60	c 1600s |      27 | 15804778 | 11972033 |     2336  13010 |        0 |        0
1602.34/1602.61	c 1602s |      27 | 15822488 | 11985533 |     2336  13021 |        0 |        0
1604.33/1604.62	c 1604s |      27 | 15838920 | 11998233 |     2336  13031 |        0 |        0
1606.33/1606.64	c 1606s |      27 | 15856307 | 12011333 |     2336  13042 |        0 |        0
1608.33/1608.65	c 1608s |      27 | 15875411 | 12025333 |     2336  13054 |        0 |        0
1610.33/1610.67	c 1610s |      27 | 15893252 | 12038933 |     2336  13066 |        0 |        0
1612.33/1612.67	c 1612s |      27 | 15911036 | 12052133 |     2336  13077 |        0 |        0
1614.32/1614.68	c 1614s |      27 | 15928927 | 12065333 |     2336  13088 |        0 |        0
1616.32/1616.69	c 1616s |      27 | 15947928 | 12079233 |     2336  13099 |        0 |        0
1618.32/1618.70	c 1618s |      27 | 15967788 | 12093433 |     2336  13111 |        0 |        0
1620.42/1620.71	c 1620s |      27 | 15985880 | 12106933 |     2336  13122 |        0 |        0
1622.42/1622.71	c 1622s |      27 | 16004903 | 12121233 |     2336  13134 |        0 |        0
1624.43/1624.73	c 1624s |      27 | 16024801 | 12136333 |     2336  13147 |        0 |        0
1626.42/1626.74	c 1626s |      27 | 16042630 | 12149933 |     2336  13158 |        0 |        0
1628.42/1628.75	c 1628s |      27 | 16061393 | 12163733 |     2336  13170 |        0 |        0
1630.42/1630.75	c 1630s |      27 | 16080409 | 12177933 |     2336  13182 |        0 |        0
1632.42/1632.76	c 1632s |      27 | 16099748 | 12192333 |     2336  13194 |        0 |        0
1634.42/1634.76	c 1634s |      27 | 16121172 | 12207833 |     2336  13206 |        0 |        0
1636.42/1636.77	c 1636s |      27 | 16141868 | 12223033 |     2336  13219 |        0 |        0
1638.42/1638.77	c 1638s |      27 | 16162244 | 12237933 |     2336  13231 |        0 |        0
1640.42/1640.77	c 1640s |      27 | 16182380 | 12252733 |     2336  13244 |        0 |        0
1642.42/1642.78	c 1642s |      27 | 16202664 | 12267133 |     2336  13256 |        0 |        0
1644.41/1644.79	c 1644s |      27 | 16220509 | 12280133 |     2336  13266 |        0 |        0
1646.42/1646.80	c 1646s |      27 | 16242602 | 12295433 |     2336  13279 |        0 |        0
1648.51/1648.80	c 1648s |      27 | 16263877 | 12310333 |     2336  13291 |        0 |        0
1650.51/1650.80	c 1650s |      27 | 16282281 | 12323833 |     2336  13303 |        0 |        0
1652.51/1652.80	c 1652s |      27 | 16300145 | 12337633 |     2336  13314 |        0 |        0
1654.51/1654.81	c 1654s |      27 | 16321170 | 12353233 |     2336  13327 |        0 |        0
1656.51/1656.82	c 1656s |      27 | 16341400 | 12368333 |     2336  13339 |        0 |        0
1658.52/1658.82	c 1658s |      27 | 16359523 | 12382133 |     2336  13351 |        0 |        0
1660.51/1660.83	c 1660s |      27 | 16378507 | 12396333 |     2336  13363 |        0 |        0
1662.51/1662.83	c 1662s |      27 | 16399560 | 12411333 |     2336  13375 |        0 |        0
1664.50/1664.85	c 1664s |      27 | 16419318 | 12425733 |     2336  13387 |        0 |        0
1666.50/1666.85	c 1666s |      27 | 16440470 | 12440633 |     2336  13400 |        0 |        0
1668.51/1668.85	c 1668s |      27 | 16459710 | 12454733 |     2336  13411 |        0 |        0
1670.50/1670.87	c 1670s |      27 | 16478644 | 12468633 |     2336  13423 |        0 |        0
1672.50/1672.87	c 1672s |      27 | 16498010 | 12482733 |     2336  13435 |        0 |        0
1674.50/1674.87	c 1674s |      27 | 16517540 | 12496633 |     2336  13446 |        0 |        0
1676.50/1676.88	c 1676s |      27 | 16539509 | 12512433 |     2336  13459 |        0 |        0
1678.50/1678.88	c 1678s |      27 | 16560781 | 12527933 |     2336  13472 |        0 |        0
1680.50/1680.88	c 1680s |      27 | 16579711 | 12542333 |     2336  13484 |        0 |        0
1682.49/1682.89	c 1682s |      27 | 16596861 | 12555433 |     2336  13495 |        0 |        0
1684.59/1684.91	c 1684s |      27 | 16615119 | 12569133 |     2336  13506 |        0 |        0
1686.59/1686.92	c 1686s |      27 | 16630696 | 12581733 |     2336  13517 |        0 |        0
1688.59/1688.93	c 1688s |      27 | 16648584 | 12595533 |     2336  13528 |        0 |        0
1690.59/1690.93	c 1690s |      27 | 16667620 | 12609733 |     2336  13540 |        0 |        0
1692.60/1692.94	c 1692s |      27 | 16685788 | 12623533 |     2336  13551 |        0 |        0
1694.59/1694.94	c 1694s |      27 | 16702370 | 12636633 |     2336  13562 |        0 |        0
1696.59/1696.95	c 1696s |      27 | 16722136 | 12651433 |     2336  13574 |        0 |        0
1698.59/1698.96	c 1698s |      27 | 16739760 | 12664733 |     2336  13585 |        0 |        0
1700.59/1700.97	c 1700s |      27 | 16755259 | 12677233 |     2336  13596 |        0 |        0
1702.59/1702.97	c 1702s |      27 | 16770893 | 12689933 |     2336  13607 |        0 |        0
1704.58/1704.98	c 1704s |      27 | 16788562 | 12703233 |     2336  13618 |        0 |        0
1706.58/1706.99	c 1706s |      27 | 16806576 | 12716733 |     2336  13629 |        0 |        0
1708.58/1708.99	c 1708s |      27 | 16824373 | 12729833 |     2336  13640 |        0 |        0
1710.68/1711.01	c 1710s |      27 | 16841595 | 12743033 |     2336  13651 |        0 |        0
1712.68/1713.02	c 1713s |      27 | 16858211 | 12755833 |     2336  13662 |        0 |        0
1714.68/1715.02	c 1715s |      27 | 16874558 | 12768633 |     2336  13672 |        0 |        0
1716.67/1717.03	c 1717s |      27 | 16892105 | 12781833 |     2336  13683 |        0 |        0
1718.67/1719.04	c 1719s |      27 | 16908791 | 12794333 |     2336  13694 |        0 |        0
1720.67/1721.05	c 1721s |      27 | 16925610 | 12807333 |     2336  13705 |        0 |        0
1722.67/1723.06	c 1723s |      27 | 16944765 | 12821133 |     2336  13716 |        0 |        0
1724.67/1725.07	c 1725s |      27 | 16963484 | 12835433 |     2336  13728 |        0 |        0
1726.67/1727.08	c 1727s |      27 | 16982170 | 12849433 |     2336  13740 |        0 |        0
1728.77/1729.10	c 1729s |      27 | 16999576 | 12863333 |     2336  13751 |        0 |        0
1730.77/1731.12	c 1731s |      27 | 17015434 | 12876133 |     2336  13762 |        0 |        0
1732.77/1733.13	c 1733s |      27 | 17030308 | 12888133 |     2336  13771 |        0 |        0
1734.76/1735.14	c 1735s |      27 | 17047427 | 12901233 |     2336  13782 |        0 |        0
1736.76/1737.14	c 1737s |      27 | 17063567 | 12913533 |     2336  13793 |        0 |        0
1738.77/1739.16	c 1739s |      27 | 17079659 | 12926333 |     2336  13803 |        0 |        0
1740.77/1741.16	c 1741s |      27 | 17094927 | 12938633 |     2336  13814 |        0 |        0
1742.77/1743.16	c 1743s |      27 | 17109961 | 12950733 |     2336  13824 |        0 |        0
1744.76/1745.18	c 1745s |      27 | 17125587 | 12963133 |     2336  13834 |        0 |        0
1746.76/1747.19	c 1747s |      27 | 17142093 | 12976333 |     2336  13845 |        0 |        0
1748.77/1749.20	c 1749s |      27 | 17158173 | 12988733 |     2336  13855 |        0 |        0
1750.76/1751.20	c 1751s |      27 | 17173347 | 13000933 |     2336  13866 |        0 |        0
1752.86/1753.20	c 1753s |      27 | 17189622 | 13013833 |     2336  13876 |        0 |        0
1754.85/1755.21	c 1755s |      27 | 17206909 | 13026733 |     2336  13887 |        0 |        0
1756.85/1757.21	c 1757s |      27 | 17222919 | 13038733 |     2336  13897 |        0 |        0
1758.85/1759.22	c 1759s |      27 | 17239202 | 13051433 |     2336  13907 |        0 |        0
1760.86/1761.23	c 1761s |      27 | 17255993 | 13064433 |     2336  13918 |        0 |        0
1762.85/1763.25	c 1763s |      27 | 17272071 | 13077033 |     2336  13928 |        0 |        0
1764.85/1765.26	c 1765s |      27 | 17289995 | 13090033 |     2336  13939 |        0 |        0
1766.85/1767.27	c 1767s |      27 | 17307669 | 13103033 |     2336  13950 |        0 |        0
1768.85/1769.29	c 1769s |      27 | 17323595 | 13115933 |     2336  13961 |        0 |        0
1770.85/1771.29	c 1771s |      27 | 17340346 | 13129133 |     2336  13972 |        0 |        0
1772.85/1773.29	c 1773s |      27 | 17358019 | 13142533 |     2336  13983 |        0 |        0
1774.84/1775.29	c 1775s |      27 | 17376978 | 13156533 |     2336  13994 |        0 |        0
1776.85/1777.29	c 1777s |      27 | 17395266 | 13170533 |     2336  14006 |        0 |        0
1778.95/1779.30	c 1779s |      27 | 17414273 | 13184733 |     2336  14018 |        0 |        0
1780.95/1781.31	c 1781s |      27 | 17433712 | 13198733 |     2336  14030 |        0 |        0
1782.94/1783.32	c 1783s |      27 | 17451399 | 13212633 |     2336  14041 |        0 |        0
1784.95/1785.33	c 1785s |      27 | 17469123 | 13226033 |     2336  14052 |        0 |        0
1786.94/1787.33	c 1787s |      27 | 17486851 | 13239433 |     2336  14063 |        0 |        0
1788.94/1789.34	c 1789s |      27 | 17505260 | 13253433 |     2336  14075 |        0 |        0
1790.94/1791.35	c 1791s |      27 | 17520952 | 13266033 |     2336  14085 |        0 |        0
1792.94/1793.36	c 1793s |      27 | 17538199 | 13279633 |     2336  14096 |        0 |        0
1794.94/1795.36	c 1795s |      27 | 17555330 | 13293333 |     2336  14108 |        0 |        0
1796.93/1797.37	c 1797s |      27 | 17571135 | 13305433 |     2336  14118 |        0 |        0
1798.93/1799.39	c 1799s |      27 | 17586153 | 13317033 |     2336  14128 |        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-4095903-1466098250/watcher-4095903-1466098250 -o /tmp/evaluation-result-4095903-1466098250/solver-4095903-1466098250 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node116-1466098250-27994 --watchdog 1960 toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4095903-1466098250.opb 

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

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


[startup+0 s]
/proc/loadavg: 1.06 1.89 2.08 4/175 28023
/proc/meminfo: memFree=30458976/32872528 swapFree=1430864/1543284
[pid=28023] ppid=28017 vsize=676284 CPUtime=0 cores=0,2,4,6
/proc/28023/stat : 28023 (toysat) R 28017 28023 27978 0 -1 4202496 2516 0 0 0 0 0 0 0 20 0 4 0 11873738 692514816 2876 33554432000 4194304 16246674 140734323125392 140734323124816 13880264 0 2 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/28023/statm: 169839 2886 441 2943 0 166733 0
[pid=28023/tid=28027] ppid=28017 vsize=694716 CPUtime=0 cores=0,2,4,6
/proc/28023/task/28027/stat : 28027 (toysat) S 28017 28023 27978 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 11873739 711389184 2945 33554432000 4194304 16246674 140734323125392 139655269821680 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=28023/tid=28028] ppid=28017 vsize=698812 CPUtime=0 cores=0,2,4,6
/proc/28023/task/28028/stat : 28028 (toysat) S 28017 28023 27978 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 11873739 715583488 2961 33554432000 4194304 16246674 140734323125392 139655259331824 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=28023/tid=28029] ppid=28017 vsize=702908 CPUtime=0 cores=0,2,4,6
/proc/28023/task/28029/stat : 28029 (toysat) S 28017 28023 27978 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 11873739 719777792 2979 33554432000 4194304 16246674 140734323125392 139655248858288 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0

[startup+0.100122 s]
/proc/loadavg: 1.06 1.89 2.08 4/175 28023
/proc/meminfo: memFree=30458976/32872528 swapFree=1430864/1543284
[pid=28023] ppid=28017 vsize=1218116 CPUtime=0.09 cores=0,2,4,6
/proc/28023/stat : 28023 (toysat) R 28017 28023 27978 0 -1 4202496 24259 0 0 0 6 3 0 0 20 0 4 0 11873738 1247350784 24608 33554432000 4194304 16246674 140734323125392 140734323124816 5664948 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/28023/statm: 304529 24615 712 2943 0 301423 0
[pid=28023/tid=28027] ppid=28017 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/28023/task/28027/stat : 28027 (toysat) S 28017 28023 27978 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 11873739 1247350784 24621 33554432000 4194304 16246674 140734323125392 139655269821680 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=28023/tid=28028] ppid=28017 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/28023/task/28028/stat : 28028 (toysat) S 28017 28023 27978 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 11873739 1247350784 24627 33554432000 4194304 16246674 140734323125392 139655259331824 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=28023/tid=28029] ppid=28017 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/28023/task/28029/stat : 28029 (toysat) S 28017 28023 27978 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 11873739 1247350784 24635 33554432000 4194304 16246674 140734323125392 139655248858288 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 1218116

[startup+0.200486 s]
/proc/loadavg: 1.06 1.89 2.08 4/175 28023
/proc/meminfo: memFree=30458976/32872528 swapFree=1430864/1543284
[pid=28023] ppid=28017 vsize=1218116 CPUtime=0.19 cores=0,2,4,6
/proc/28023/stat : 28023 (toysat) R 28017 28023 27978 0 -1 4202496 46645 0 0 0 13 6 0 0 20 0 4 0 11873738 1247350784 46994 33554432000 4194304 16246674 140734323125392 140734323124816 5675357 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/28023/statm: 304529 47004 712 2943 0 301423 0
[pid=28023/tid=28027] ppid=28017 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/28023/task/28027/stat : 28027 (toysat) S 28017 28023 27978 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 11873739 1247350784 47010 33554432000 4194304 16246674 140734323125392 139655269821680 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=28023/tid=28028] ppid=28017 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/28023/task/28028/stat : 28028 (toysat) S 28017 28023 27978 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 11873739 1247350784 47017 33554432000 4194304 16246674 140734323125392 139655259331824 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=28023/tid=28029] ppid=28017 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/28023/task/28029/stat : 28029 (toysat) S 28017 28023 27978 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 11873739 1247350784 47022 33554432000 4194304 16246674 140734323125392 139655248858288 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 1218116

[startup+0.300442 s]
/proc/loadavg: 1.06 1.89 2.08 4/175 28023
/proc/meminfo: memFree=30458976/32872528 swapFree=1430864/1543284
[pid=28023] ppid=28017 vsize=1218116 CPUtime=0.29 cores=0,2,4,6
/proc/28023/stat : 28023 (toysat) R 28017 28023 27978 0 -1 4202496 68180 0 0 0 19 10 0 0 20 0 4 0 11873738 1247350784 68529 33554432000 4194304 16246674 140734323125392 140734323124816 13191557 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/28023/statm: 304529 68538 712 2943 0 301423 0
[pid=28023/tid=28027] ppid=28017 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/28023/task/28027/stat : 28027 (toysat) S 28017 28023 27978 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 11873739 1247350784 68542 33554432000 4194304 16246674 140734323125392 139655269821680 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=28023/tid=28028] ppid=28017 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/28023/task/28028/stat : 28028 (toysat) S 28017 28023 27978 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 11873739 1247350784 68549 33554432000 4194304 16246674 140734323125392 139655259331824 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=28023/tid=28029] ppid=28017 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/28023/task/28029/stat : 28029 (toysat) S 28017 28023 27978 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 11873739 1247350784 68556 33554432000 4194304 16246674 140734323125392 139655248858288 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 1218116

[startup+0.700378 s]
/proc/loadavg: 1.06 1.89 2.08 4/175 28023
/proc/meminfo: memFree=30458976/32872528 swapFree=1430864/1543284
[pid=28023] ppid=28017 vsize=1218116 CPUtime=0.69 cores=0,2,4,6
/proc/28023/stat : 28023 (toysat) R 28017 28023 27978 0 -1 4202496 155139 0 0 0 46 23 0 0 20 0 4 0 11873738 1247350784 155489 33554432000 4194304 16246674 140734323125392 140734323107264 5724032 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/28023/statm: 304529 155499 712 2943 0 301423 0
[pid=28023/tid=28027] ppid=28017 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/28023/task/28027/stat : 28027 (toysat) S 28017 28023 27978 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 11873739 1247350784 155506 33554432000 4194304 16246674 140734323125392 139655269821680 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=28023/tid=28028] ppid=28017 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/28023/task/28028/stat : 28028 (toysat) S 28017 28023 27978 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 11873739 1247350784 155512 33554432000 4194304 16246674 140734323125392 139655259331824 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=28023/tid=28029] ppid=28017 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/28023/task/28029/stat : 28029 (toysat) S 28017 28023 27978 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 11873739 1247350784 155519 33554432000 4194304 16246674 140734323125392 139655248858288 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 1218116

[startup+1.50038 s]
/proc/loadavg: 1.06 1.89 2.08 4/184 28032
/proc/meminfo: memFree=28495184/32872528 swapFree=1430864/1543284
[pid=28023] ppid=28017 vsize=1219140 CPUtime=1.49 cores=0,2,4,6
/proc/28023/stat : 28023 (toysat) R 28017 28023 27978 0 -1 4202496 245581 0 0 0 115 34 0 0 20 0 4 0 11873738 1248399360 245910 33554432000 4194304 16246674 140734323125392 140734323107264 5572228 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/28023/statm: 304785 245910 788 2943 0 301679 0
[pid=28023/tid=28027] ppid=28017 vsize=1219140 CPUtime=0 cores=0,2,4,6
/proc/28023/task/28027/stat : 28027 (toysat) S 28017 28023 27978 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 11873739 1248399360 245910 33554432000 4194304 16246674 140734323125392 139655269821680 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=28023/tid=28028] ppid=28017 vsize=1219140 CPUtime=0 cores=0,2,4,6
/proc/28023/task/28028/stat : 28028 (toysat) S 28017 28023 27978 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 11873739 1248399360 245910 33554432000 4194304 16246674 140734323125392 139655259331824 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=28023/tid=28029] ppid=28017 vsize=1219140 CPUtime=0 cores=0,2,4,6
/proc/28023/task/28029/stat : 28029 (toysat) S 28017 28023 27978 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 11873739 1248399360 245910 33554432000 4194304 16246674 140734323125392 139655248858288 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 1219140

[startup+3.10038 s]
/proc/loadavg: 1.14 1.90 2.08 4/184 28032
/proc/meminfo: memFree=28320956/32872528 swapFree=1430864/1543284
[pid=28023] ppid=28017 vsize=1306180 CPUtime=3.09 cores=0,2,4,6
/proc/28023/stat : 28023 (toysat) R 28017 28023 27978 0 -1 4202496 267431 0 0 0 272 37 0 0 20 0 4 0 11873738 1337528320 267760 33554432000 4194304 16246674 140734323125392 140734323107264 12466605 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/28023/statm: 326545 267760 788 2943 0 323439 0
[pid=28023/tid=28027] ppid=28017 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/28023/task/28027/stat : 28027 (toysat) S 28017 28023 27978 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 11873739 1337528320 267760 33554432000 4194304 16246674 140734323125392 139655269821680 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=28023/tid=28028] ppid=28017 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/28023/task/28028/stat : 28028 (toysat) S 28017 28023 27978 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 11873739 1337528320 267760 33554432000 4194304 16246674 140734323125392 139655259331824 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=28023/tid=28029] ppid=28017 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/28023/task/28029/stat : 28029 (toysat) S 28017 28023 27978 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 11873739 1337528320 267760 33554432000 4194304 16246674 140734323125392 139655248858288 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 1306180

[startup+6.30026 s]
/proc/loadavg: 1.14 1.90 2.08 5/184 28032
/proc/meminfo: memFree=28317284/32872528 swapFree=1430864/1543284
[pid=28023] ppid=28017 vsize=1307204 CPUtime=6.29 cores=0,2,4,6
/proc/28023/stat : 28023 (toysat) R 28017 28023 27978 0 -1 4202496 267584 0 0 0 592 37 0 0 20 0 4 0 11873738 1338576896 267913 33554432000 4194304 16246674 140734323125392 140734323107264 5727045 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/28023/statm: 326801 267913 788 2943 0 323695 0
[pid=28023/tid=28027] ppid=28017 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/28023/task/28027/stat : 28027 (toysat) S 28017 28023 27978 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 11873739 1338576896 267913 33554432000 4194304 16246674 140734323125392 139655269821680 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=28023/tid=28028] ppid=28017 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/28023/task/28028/stat : 28028 (toysat) S 28017 28023 27978 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 11873739 1338576896 267913 33554432000 4194304 16246674 140734323125392 139655259331824 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=28023/tid=28029] ppid=28017 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/28023/task/28029/stat : 28029 (toysat) S 28017 28023 27978 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 11873739 1338576896 267913 33554432000 4194304 16246674 140734323125392 139655248858288 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 1307204

[startup+12.7004 s]
/proc/loadavg: 1.34 1.92 2.09 4/183 28032
/proc/meminfo: memFree=28316600/32872528 swapFree=1430864/1543284
[pid=28023] ppid=28017 vsize=1307204 CPUtime=12.68 cores=0,2,4,6
/proc/28023/stat : 28023 (toysat) R 28017 28023 27978 0 -1 4202496 267828 0 0 0 1231 37 0 0 20 0 4 0 11873738 1338576896 268157 33554432000 4194304 16246674 140734323125392 140734323107264 5724492 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/28023/statm: 326801 268157 790 2943 0 323695 0
[pid=28023/tid=28027] ppid=28017 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/28023/task/28027/stat : 28027 (toysat) S 28017 28023 27978 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 11873739 1338576896 268157 33554432000 4194304 16246674 140734323125392 139655269821680 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=28023/tid=28028] ppid=28017 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/28023/task/28028/stat : 28028 (toysat) S 28017 28023 27978 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 11873739 1338576896 268157 33554432000 4194304 16246674 140734323125392 139655259331824 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=28023/tid=28029] ppid=28017 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/28023/task/28029/stat : 28029 (toysat) S 28017 28023 27978 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 11873739 1338576896 268157 33554432000 4194304 16246674 140734323125392 139655248858288 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 1307204

[startup+25.5004 s]
/proc/loadavg: 1.44 1.92 2.09 4/183 28032
/proc/meminfo: memFree=28317528/32872528 swapFree=1430864/1543284
[pid=28023] ppid=28017 vsize=1307204 CPUtime=25.49 cores=0,2,4,6
/proc/28023/stat : 28023 (toysat) R 28017 28023 27978 0 -1 4202496 267828 0 0 0 2511 38 0 0 20 0 4 0 11873738 1338576896 268157 33554432000 4194304 16246674 140734323125392 140734323107264 13950218 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/28023/statm: 326801 268157 790 2943 0 323695 0
[pid=28023/tid=28027] ppid=28017 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/28023/task/28027/stat : 28027 (toysat) S 28017 28023 27978 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 11873739 1338576896 268157 33554432000 4194304 16246674 140734323125392 139655269821680 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=28023/tid=28028] ppid=28017 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/28023/task/28028/stat : 28028 (toysat) S 28017 28023 27978 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 11873739 1338576896 268157 33554432000 4194304 16246674 140734323125392 139655259331824 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=28023/tid=28029] ppid=28017 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/28023/task/28029/stat : 28029 (toysat) S 28017 28023 27978 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 11873739 1338576896 268157 33554432000 4194304 16246674 140734323125392 139655248858288 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 1307204

[startup+51.1004 s]
/proc/loadavg: 1.63 1.92 2.08 5/183 28032
/proc/meminfo: memFree=28316544/32872528 swapFree=1430864/1543284
[pid=28023] ppid=28017 vsize=1308228 CPUtime=51.09 cores=0,2,4,6
/proc/28023/stat : 28023 (toysat) R 28017 28023 27978 0 -1 4202496 267968 0 0 0 5070 39 0 0 20 0 4 0 11873738 1339625472 268297 33554432000 4194304 16246674 140734323125392 140734323107264 5661912 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/28023/statm: 327057 268297 791 2943 0 323951 0
[pid=28023/tid=28027] ppid=28017 vsize=1308228 CPUtime=0 cores=0,2,4,6
/proc/28023/task/28027/stat : 28027 (toysat) S 28017 28023 27978 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 11873739 1339625472 268297 33554432000 4194304 16246674 140734323125392 139655269821680 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=28023/tid=28028] ppid=28017 vsize=1308228 CPUtime=0 cores=0,2,4,6
/proc/28023/task/28028/stat : 28028 (toysat) S 28017 28023 27978 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 11873739 1339625472 268297 33554432000 4194304 16246674 140734323125392 139655259331824 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=28023/tid=28029] ppid=28017 vsize=1308228 CPUtime=0 cores=0,2,4,6
/proc/28023/task/28029/stat : 28029 (toysat) S 28017 28023 27978 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 11873739 1339625472 268297 33554432000 4194304 16246674 140734323125392 139655248858288 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 1308228

[startup+102.3 s]
/proc/loadavg: 2.07 1.99 2.10 4/183 28033
/proc/meminfo: memFree=28314932/32872528 swapFree=1430864/1543284
[pid=28023] ppid=28017 vsize=1308228 CPUtime=102.28 cores=0,2,4,6
/proc/28023/stat : 28023 (toysat) R 28017 28023 27978 0 -1 4202496 268050 0 0 0 10189 39 0 0 20 0 4 0 11873738 1339625472 268379 33554432000 4194304 16246674 140734323125392 140734323107264 5670107 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/28023/statm: 327057 268379 791 2943 0 323951 0
[pid=28023/tid=28027] ppid=28017 vsize=1308228 CPUtime=0 cores=0,2,4,6
/proc/28023/task/28027/stat : 28027 (toysat) S 28017 28023 27978 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 11873739 1339625472 268379 33554432000 4194304 16246674 140734323125392 139655269821680 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=28023/tid=28028] ppid=28017 vsize=1308228 CPUtime=0 cores=0,2,4,6
/proc/28023/task/28028/stat : 28028 (toysat) S 28017 28023 27978 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 11873739 1339625472 268379 33554432000 4194304 16246674 140734323125392 139655259331824 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=28023/tid=28029] ppid=28017 vsize=1308228 CPUtime=0 cores=0,2,4,6
/proc/28023/task/28029/stat : 28029 (toysat) S 28017 28023 27978 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 11873739 1339625472 268379 33554432000 4194304 16246674 140734323125392 139655248858288 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 1308228


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

/proc/28023/task/28029/stat : 28029 (toysat) S 28017 28023 27978 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 11873739 1341722624 268928 33554432000 4194304 16246674 140734323125392 139655248858288 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1242.1
Current children cumulated vsize (KiB) 1310276

[startup+1302.3 s]
/proc/loadavg: 2.27 2.23 2.18 4/182 28063
/proc/meminfo: memFree=28307664/32872528 swapFree=1430864/1543284
[pid=28023] ppid=28017 vsize=1310276 CPUtime=1302.09 cores=0,2,4,6
/proc/28023/stat : 28023 (toysat) R 28017 28023 27978 0 -1 4202496 268599 0 0 0 130150 59 0 0 20 0 4 0 11873738 1341722624 268928 33554432000 4194304 16246674 140734323125392 140734323107264 5823961 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/28023/statm: 327569 268928 793 2943 0 324463 0
[pid=28023/tid=28027] ppid=28017 vsize=1310276 CPUtime=0 cores=0,2,4,6
/proc/28023/task/28027/stat : 28027 (toysat) S 28017 28023 27978 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 11873739 1341722624 268928 33554432000 4194304 16246674 140734323125392 139655269821680 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=28023/tid=28028] ppid=28017 vsize=1310276 CPUtime=0 cores=0,2,4,6
/proc/28023/task/28028/stat : 28028 (toysat) S 28017 28023 27978 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 11873739 1341722624 268928 33554432000 4194304 16246674 140734323125392 139655259331824 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=28023/tid=28029] ppid=28017 vsize=1310276 CPUtime=0 cores=0,2,4,6
/proc/28023/task/28029/stat : 28029 (toysat) S 28017 28023 27978 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 11873739 1341722624 268928 33554432000 4194304 16246674 140734323125392 139655248858288 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1302.09
Current children cumulated vsize (KiB) 1310276

[startup+1362.3 s]
/proc/loadavg: 2.35 2.26 2.19 4/183 28065
/proc/meminfo: memFree=28307080/32872528 swapFree=1430864/1543284
[pid=28023] ppid=28017 vsize=1310276 CPUtime=1362.08 cores=0,2,4,6
/proc/28023/stat : 28023 (toysat) R 28017 28023 27978 0 -1 4202496 268599 0 0 0 136148 60 0 0 20 0 4 0 11873738 1341722624 268928 33554432000 4194304 16246674 140734323125392 140734323107264 5676117 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/28023/statm: 327569 268928 793 2943 0 324463 0
[pid=28023/tid=28027] ppid=28017 vsize=1310276 CPUtime=0 cores=0,2,4,6
/proc/28023/task/28027/stat : 28027 (toysat) S 28017 28023 27978 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 11873739 1341722624 268928 33554432000 4194304 16246674 140734323125392 139655269821680 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=28023/tid=28028] ppid=28017 vsize=1310276 CPUtime=0 cores=0,2,4,6
/proc/28023/task/28028/stat : 28028 (toysat) S 28017 28023 27978 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 11873739 1341722624 268928 33554432000 4194304 16246674 140734323125392 139655259331824 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=28023/tid=28029] ppid=28017 vsize=1310276 CPUtime=0 cores=0,2,4,6
/proc/28023/task/28029/stat : 28029 (toysat) S 28017 28023 27978 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 11873739 1341722624 268928 33554432000 4194304 16246674 140734323125392 139655248858288 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1362.08
Current children cumulated vsize (KiB) 1310276

[startup+1422.3 s]
/proc/loadavg: 2.23 2.24 2.18 4/183 28066
/proc/meminfo: memFree=28307132/32872528 swapFree=1430864/1543284
[pid=28023] ppid=28017 vsize=1310276 CPUtime=1422.08 cores=0,2,4,6
/proc/28023/stat : 28023 (toysat) R 28017 28023 27978 0 -1 4202496 268599 0 0 0 142146 62 0 0 20 0 4 0 11873738 1341722624 268928 33554432000 4194304 16246674 140734323125392 140734323107264 5822252 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/28023/statm: 327569 268928 793 2943 0 324463 0
[pid=28023/tid=28027] ppid=28017 vsize=1310276 CPUtime=0 cores=0,2,4,6
/proc/28023/task/28027/stat : 28027 (toysat) S 28017 28023 27978 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 11873739 1341722624 268928 33554432000 4194304 16246674 140734323125392 139655269821680 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=28023/tid=28028] ppid=28017 vsize=1310276 CPUtime=0 cores=0,2,4,6
/proc/28023/task/28028/stat : 28028 (toysat) S 28017 28023 27978 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 11873739 1341722624 268928 33554432000 4194304 16246674 140734323125392 139655259331824 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=28023/tid=28029] ppid=28017 vsize=1310276 CPUtime=0 cores=0,2,4,6
/proc/28023/task/28029/stat : 28029 (toysat) S 28017 28023 27978 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 11873739 1341722624 268928 33554432000 4194304 16246674 140734323125392 139655248858288 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1422.08
Current children cumulated vsize (KiB) 1310276

[startup+1482.3 s]
/proc/loadavg: 2.23 2.24 2.18 4/183 28067
/proc/meminfo: memFree=28306912/32872528 swapFree=1430864/1543284
[pid=28023] ppid=28017 vsize=1310276 CPUtime=1482.06 cores=0,2,4,6
/proc/28023/stat : 28023 (toysat) R 28017 28023 27978 0 -1 4202496 268599 0 0 0 148144 62 0 0 20 0 4 0 11873738 1341722624 268928 33554432000 4194304 16246674 140734323125392 140734323107264 13923792 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/28023/statm: 327569 268928 793 2943 0 324463 0
[pid=28023/tid=28027] ppid=28017 vsize=1310276 CPUtime=0 cores=0,2,4,6
/proc/28023/task/28027/stat : 28027 (toysat) S 28017 28023 27978 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 11873739 1341722624 268928 33554432000 4194304 16246674 140734323125392 139655269821680 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=28023/tid=28028] ppid=28017 vsize=1310276 CPUtime=0 cores=0,2,4,6
/proc/28023/task/28028/stat : 28028 (toysat) S 28017 28023 27978 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 11873739 1341722624 268928 33554432000 4194304 16246674 140734323125392 139655259331824 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=28023/tid=28029] ppid=28017 vsize=1310276 CPUtime=0 cores=0,2,4,6
/proc/28023/task/28029/stat : 28029 (toysat) S 28017 28023 27978 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 11873739 1341722624 268928 33554432000 4194304 16246674 140734323125392 139655248858288 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1482.06
Current children cumulated vsize (KiB) 1310276

[startup+1542.31 s]
/proc/loadavg: 2.22 2.24 2.18 4/183 28069
/proc/meminfo: memFree=28306916/32872528 swapFree=1430864/1543284
[pid=28023] ppid=28017 vsize=1310276 CPUtime=1542.06 cores=0,2,4,6
/proc/28023/stat : 28023 (toysat) R 28017 28023 27978 0 -1 4202496 268599 0 0 0 154143 63 0 0 20 0 4 0 11873738 1341722624 268928 33554432000 4194304 16246674 140734323125392 140734323107264 5546243 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/28023/statm: 327569 268928 793 2943 0 324463 0
[pid=28023/tid=28027] ppid=28017 vsize=1310276 CPUtime=0 cores=0,2,4,6
/proc/28023/task/28027/stat : 28027 (toysat) S 28017 28023 27978 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 11873739 1341722624 268928 33554432000 4194304 16246674 140734323125392 139655269821680 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=28023/tid=28028] ppid=28017 vsize=1310276 CPUtime=0 cores=0,2,4,6
/proc/28023/task/28028/stat : 28028 (toysat) S 28017 28023 27978 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 11873739 1341722624 268928 33554432000 4194304 16246674 140734323125392 139655259331824 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=28023/tid=28029] ppid=28017 vsize=1310276 CPUtime=0 cores=0,2,4,6
/proc/28023/task/28029/stat : 28029 (toysat) S 28017 28023 27978 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 11873739 1341722624 268928 33554432000 4194304 16246674 140734323125392 139655248858288 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1542.06
Current children cumulated vsize (KiB) 1310276

[startup+1602.3 s]
/proc/loadavg: 2.15 2.21 2.18 4/183 28070
/proc/meminfo: memFree=28306856/32872528 swapFree=1430864/1543284
[pid=28023] ppid=28017 vsize=1310276 CPUtime=1602.04 cores=0,2,4,6
/proc/28023/stat : 28023 (toysat) R 28017 28023 27978 0 -1 4202496 268627 0 0 0 160140 64 0 0 20 0 4 0 11873738 1341722624 268931 33554432000 4194304 16246674 140734323125392 140734323107264 5673375 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/28023/statm: 327569 268931 793 2943 0 324463 0
[pid=28023/tid=28027] ppid=28017 vsize=1310276 CPUtime=0 cores=0,2,4,6
/proc/28023/task/28027/stat : 28027 (toysat) S 28017 28023 27978 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 11873739 1341722624 268931 33554432000 4194304 16246674 140734323125392 139655269821680 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=28023/tid=28028] ppid=28017 vsize=1310276 CPUtime=0 cores=0,2,4,6
/proc/28023/task/28028/stat : 28028 (toysat) S 28017 28023 27978 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 11873739 1341722624 268931 33554432000 4194304 16246674 140734323125392 139655259331824 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=28023/tid=28029] ppid=28017 vsize=1310276 CPUtime=0 cores=0,2,4,6
/proc/28023/task/28029/stat : 28029 (toysat) S 28017 28023 27978 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 11873739 1341722624 268931 33554432000 4194304 16246674 140734323125392 139655248858288 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1602.04
Current children cumulated vsize (KiB) 1310276

[startup+1662.3 s]
/proc/loadavg: 2.22 2.21 2.18 4/183 28071
/proc/meminfo: memFree=28306440/32872528 swapFree=1430864/1543284
[pid=28023] ppid=28017 vsize=1310276 CPUtime=1662.01 cores=0,2,4,6
/proc/28023/stat : 28023 (toysat) R 28017 28023 27978 0 -1 4202496 268667 0 0 0 166136 65 0 0 20 0 4 0 11873738 1341722624 268931 33554432000 4194304 16246674 140734323125392 140734323107264 15015658 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/28023/statm: 327569 268931 793 2943 0 324463 0
[pid=28023/tid=28027] ppid=28017 vsize=1310276 CPUtime=0 cores=0,2,4,6
/proc/28023/task/28027/stat : 28027 (toysat) S 28017 28023 27978 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 11873739 1341722624 268931 33554432000 4194304 16246674 140734323125392 139655269821680 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=28023/tid=28028] ppid=28017 vsize=1310276 CPUtime=0 cores=0,2,4,6
/proc/28023/task/28028/stat : 28028 (toysat) S 28017 28023 27978 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 11873739 1341722624 268931 33554432000 4194304 16246674 140734323125392 139655259331824 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=28023/tid=28029] ppid=28017 vsize=1310276 CPUtime=0 cores=0,2,4,6
/proc/28023/task/28029/stat : 28029 (toysat) S 28017 28023 27978 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 11873739 1341722624 268931 33554432000 4194304 16246674 140734323125392 139655248858288 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1662.01
Current children cumulated vsize (KiB) 1310276

[startup+1722.3 s]
/proc/loadavg: 2.25 2.22 2.18 5/183 28072
/proc/meminfo: memFree=28306344/32872528 swapFree=1430864/1543284
[pid=28023] ppid=28017 vsize=1310276 CPUtime=1721.97 cores=0,2,4,6
/proc/28023/stat : 28023 (toysat) R 28017 28023 27978 0 -1 4202496 268708 0 0 0 172132 65 0 0 20 0 4 0 11873738 1341722624 268931 33554432000 4194304 16246674 140734323125392 140734323107264 5677667 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/28023/statm: 327569 268931 793 2943 0 324463 0
[pid=28023/tid=28027] ppid=28017 vsize=1310276 CPUtime=0 cores=0,2,4,6
/proc/28023/task/28027/stat : 28027 (toysat) S 28017 28023 27978 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 11873739 1341722624 268931 33554432000 4194304 16246674 140734323125392 139655269821680 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=28023/tid=28028] ppid=28017 vsize=1310276 CPUtime=0 cores=0,2,4,6
/proc/28023/task/28028/stat : 28028 (toysat) S 28017 28023 27978 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 11873739 1341722624 268931 33554432000 4194304 16246674 140734323125392 139655259331824 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=28023/tid=28029] ppid=28017 vsize=1310276 CPUtime=0 cores=0,2,4,6
/proc/28023/task/28029/stat : 28029 (toysat) S 28017 28023 27978 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 11873739 1341722624 268931 33554432000 4194304 16246674 140734323125392 139655248858288 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1721.97
Current children cumulated vsize (KiB) 1310276

[startup+1782.3 s]
/proc/loadavg: 2.17 2.20 2.18 4/184 28076
/proc/meminfo: memFree=28304260/32872528 swapFree=1430864/1543284
[pid=28023] ppid=28017 vsize=1312324 CPUtime=1781.95 cores=0,2,4,6
/proc/28023/stat : 28023 (toysat) R 28017 28023 27978 0 -1 4202496 269130 0 0 0 178128 67 0 0 20 0 4 0 11873738 1343819776 269310 33554432000 4194304 16246674 140734323125392 140734323107264 5523232 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/28023/statm: 328081 269310 793 2943 0 324975 0
[pid=28023/tid=28027] ppid=28017 vsize=1312324 CPUtime=0 cores=0,2,4,6
/proc/28023/task/28027/stat : 28027 (toysat) S 28017 28023 27978 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 11873739 1343819776 269310 33554432000 4194304 16246674 140734323125392 139655269821680 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=28023/tid=28028] ppid=28017 vsize=1312324 CPUtime=0 cores=0,2,4,6
/proc/28023/task/28028/stat : 28028 (toysat) S 28017 28023 27978 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 11873739 1343819776 269310 33554432000 4194304 16246674 140734323125392 139655259331824 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=28023/tid=28029] ppid=28017 vsize=1312324 CPUtime=0 cores=0,2,4,6
/proc/28023/task/28029/stat : 28029 (toysat) S 28017 28023 27978 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 11873739 1343819776 269310 33554432000 4194304 16246674 140734323125392 139655248858288 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1781.95
Current children cumulated vsize (KiB) 1312324



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.4 s]
/proc/loadavg: 2.22 2.21 2.18 4/184 28076
/proc/meminfo: memFree=28304104/32872528 swapFree=1430864/1543284
[pid=28023] ppid=28017 vsize=1312324 CPUtime=1800.03 cores=0,2,4,6
/proc/28023/stat : 28023 (toysat) R 28017 28023 27978 0 -1 4202496 269144 0 0 0 179936 67 0 0 20 0 4 0 11873738 1343819776 269310 33554432000 4194304 16246674 140734323125392 140734323107264 5676062 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/28023/statm: 328081 269310 793 2943 0 324975 0
[pid=28023/tid=28027] ppid=28017 vsize=1312324 CPUtime=0 cores=0,2,4,6
/proc/28023/task/28027/stat : 28027 (toysat) S 28017 28023 27978 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 11873739 1343819776 269310 33554432000 4194304 16246674 140734323125392 139655269821680 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=28023/tid=28028] ppid=28017 vsize=1312324 CPUtime=0 cores=0,2,4,6
/proc/28023/task/28028/stat : 28028 (toysat) S 28017 28023 27978 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 11873739 1343819776 269310 33554432000 4194304 16246674 140734323125392 139655259331824 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=28023/tid=28029] ppid=28017 vsize=1312324 CPUtime=0 cores=0,2,4,6
/proc/28023/task/28029/stat : 28029 (toysat) S 28017 28023 27978 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 11873739 1343819776 269310 33554432000 4194304 16246674 140734323125392 139655248858288 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1800.03
Current children cumulated vsize (KiB) 1312324

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

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1800.45
CPU time (s): 1800.09
CPU user time (s): 1799.37
CPU system time (s): 0.71789
CPU usage (%): 99.9802
Max. virtual memory (cumulated for all children) (KiB): 1312324

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.37
system time used= 0.71789
maximum resident set size= 1077240
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 269144
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= 183
involuntary context switches= 1880

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 4.64929 second user time and 6.85196 second system time

The end

Begin job on node116 at 2016-06-16 19:30:50
IDJOB=4095903
IDBENCH=107538
IDSOLVER=2542
FILE ID=node116/4095903-1466098250
RUNJOBID= node116-1466098250-27994
PBS_JOBID= 19904066
Free space on /tmp= 71636 MiB

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

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

MD5SUM BENCH= 105049ca71c4f340f463783f49836585
RANDOM SEED=2011167174

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

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

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


/proc/meminfo:
MemTotal:       32872528 kB
MemFree:        30460420 kB
Buffers:           36508 kB
Cached:           126292 kB
SwapCached:         2820 kB
Active:            99696 kB
Inactive:          66480 kB
Active(anon):       4208 kB
Inactive(anon):     1948 kB
Active(file):      95488 kB
Inactive(file):    64532 kB
Unevictable:     1543284 kB
Mlocked:         1430864 kB
SwapTotal:      67108856 kB
SwapFree:       67099404 kB
Dirty:             32600 kB
Writeback:             0 kB
AnonPages:       1545160 kB
Mapped:             6772 kB
Shmem:                 0 kB
Slab:             569828 kB
SReclaimable:      14332 kB
SUnreclaim:       555496 kB
KernelStack:        1336 kB
PageTables:         6988 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    1639120 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:    112640 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= 71604 MiB
End job on node116 at 2016-06-16 20:00:51