0.00/0.00	c 2016-06-30T21:50:34+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-4122098-1467316234.opb"]
0.00/0.01	c use --random-gen="1333121699 531363194 524016332 4101837108 2489194330 300667770 1221006438 249471376 3145892854 3320159970 724331070 200985127 2653297335 3925472786 2881054357 2443768301 3452258088 3484926328 2580338092 1603369561 3196503817 3303794830 2065407478 696297405 2092240706 3281860561 1261343251 2677079355 663069770 2779134817 3101297819 1093052855 1122190650 866383925 4290587481 4178136584 872721104 320278691 2417180553 3825185462 2346187459 2840413798 2987502459 2289685973 31790760 554820700 3202697360 564406878 3687009735 2773931737 1498998122 2699929152 540828423 391671689 2704125578 2425151802 4255943920 986199293 889046354 1035458029 2988044468 4092561352 1144973443 4186589121 1731641414 2396821657 2731676258 1164433773 3744289373 2512172229 3632653481 1510900117 1999344839 2571090557 2810992756 3678437030 1352643487 1643156316 2069840238 790082424 3118422210 3433907737 809480659 1618336137 2159196816 326025770 1633211733 722510667 2913394080 1103724350 3683619883 1088435445 1593034275 3633571387 2564426793 554165213 3882811393 2223642186 3123318821 3775398779 3173863950 2560731652 2076717447 3521989414 1814873313 2068563517 319602728 3899078261 4207770534 3228639399 4032129259 2571480990 3094884997 2297985661 3170317621 2437351503 3551194036 486995853 1858819525 888425986 3222047373 285969575 171024597 232303872 610747443 2517728930 767959571 2599759085 2734273583 992740859 2271784957 2176833698 1985506397 3238344343 2990024343 4007029348 2659005016 1381947412 2470815198 2610096532 775510177 234023811 3639009193 2695272949 902444287 1500947031 1681918108 1075429344 818871496 1226910067 3795264295 2857727143 1653920309 3503451213 1552863356 1681082795 2540814166 1815229043 1806062720 4105508915 801837456 1160688970 54955209 2904680798 2959579171 3976633385 2699712143 964599077 4258119592 4121603587 4115389123 2201656352 267964861 1771837095 2915197699 2008810843 456762362 1418324083 975987367 313845441 2020438399 3648570290 3287073805 1327919564 1442449329 722992097 1078952587 4155829764 340301443 191325954 1213788555 2680375375 1569735149 2521197694 1022364507 3309468169 3202825987 1482482613 1683929346 712351693 4117764536 3778990056 2108513354 4104442610 1939023329 2723073603 1479196037 847624362 3069302833 3980508986 515910211 3906539934 518074285 223533225 3680665653 2875082673 3699878975 2170089957 2949844699 3424930739 3876371438 1255605176 1795222735 2512026285 2202633558 949166299 2982258772 3881451087 1416216595 130512336 2878634809 2232046528 1130519759 2757614182 378721345 3491479108 4036876748 3100607306 2705661635 2586243759 2408907605 3595735829 2465688008 1350001503 3767563462 954148327 2957716329 1946441948 136523928 1033775418 609595050 1457628365 627800287 3169126878 3397400715 3834702954 255 362436" option to reproduce the execution
0.00/0.01	c #vars 257
0.00/0.01	c #constraints 256
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 |      171      0 |        0 |        0
0.00/0.03	c  0.0s |       1 |      181 |      100 |      171      0 |        0 |        0
0.00/0.04	c  0.0s |       2 |      419 |      250 |      189      0 |        0 |        0
0.00/0.06	c  0.0s |       3 |      802 |      475 |      208      2 |        0 |        0
0.00/0.09	c  0.1s |       4 |     1276 |      813 |      229      3 |        0 |        0
0.09/0.14	c  0.1s |       5 |     2006 |     1320 |      252      6 |        0 |        0
0.19/0.22	c  0.2s |       6 |     3061 |     2081 |      306     10 |        0 |        0
0.28/0.33	c  0.3s |       7 |     4761 |     3223 |      337     16 |        0 |        0
0.49/0.51	c  0.5s |       8 |     7291 |     4936 |      371     22 |        0 |        0
0.69/0.77	c  0.8s |       9 |    11261 |     7506 |      409     33 |        0 |        0
1.09/1.14	c  1.1s |      10 |    16614 |    11361 |      450     49 |        0 |        0
1.59/1.60	c  1.6s |      11 |    24411 |    17144 |      496     69 |        0 |        0
2.30/2.36	c  2.3s |      12 |    36389 |    25819 |      546     95 |        0 |        0
3.49/3.50	c  3.5s |      13 |    53350 |    38832 |      601    133 |        0 |        0
5.19/5.21	c  5.2s |      14 |    80374 |    58352 |      662    184 |        0 |        0
7.19/7.22	c  7.2s |      14 |   106687 |    78552 |      662    234 |        0 |        0
7.99/8.03	c  8.0s |      15 |   118550 |    87632 |      729    257 |        0 |        0
9.99/10.04	c 10.0s |      15 |   148042 |   108932 |      729    306 |        0 |        0
11.98/12.04	c 12.0s |      15 |   175867 |   129432 |      729    353 |        0 |        0
12.19/12.24	c 12.2s |      16 |   178734 |   131552 |      802    358 |        0 |        0
14.18/14.24	c 14.2s |      16 |   204881 |   150652 |      802    399 |        0 |        0
16.18/16.25	c 16.2s |      16 |   232539 |   169752 |      802    441 |        0 |        0
18.18/18.25	c 18.2s |      16 |   259521 |   189852 |      802    485 |        0 |        0
18.89/18.97	c 18.9s |      17 |   270229 |   197432 |      883    502 |        0 |        0
20.90/20.97	c 21.0s |      17 |   297193 |   217632 |      883    542 |        0 |        0
22.89/22.97	c 23.0s |      17 |   324341 |   237832 |      883    582 |        0 |        0
24.89/24.98	c 25.0s |      17 |   353357 |   258932 |      883    623 |        0 |        0
26.89/26.99	c 27.0s |      17 |   379250 |   278532 |      883    662 |        0 |        0
28.79/28.80	c 28.8s |      18 |   402837 |   296252 |      972    697 |        0 |        0
30.69/30.80	c 30.8s |      18 |   427711 |   314652 |      972    730 |        0 |        0
32.79/32.80	c 32.8s |      18 |   454052 |   333452 |      972    765 |        0 |        0
34.79/34.81	c 34.8s |      18 |   480541 |   352652 |      972    801 |        0 |        0
36.79/36.82	c 36.8s |      18 |   510649 |   373152 |      972    841 |        0 |        0
38.79/38.83	c 38.8s |      18 |   535358 |   392452 |      972    875 |        0 |        0
40.79/40.84	c 40.8s |      18 |   559498 |   410452 |      972    908 |        0 |        0
42.78/42.85	c 42.8s |      18 |   584808 |   428752 |      972    942 |        0 |        0
44.28/44.36	c 44.3s |      19 |   608383 |   444482 |     1070    970 |        0 |        0
46.29/46.37	c 46.4s |      19 |   635742 |   465082 |     1070   1004 |        0 |        0
48.28/48.38	c 48.4s |      19 |   661647 |   484782 |     1070   1037 |        0 |        0
50.28/50.38	c 50.4s |      19 |   687654 |   504282 |     1070   1069 |        0 |        0
52.28/52.39	c 52.4s |      19 |   713732 |   523682 |     1070   1102 |        0 |        0
54.28/54.39	c 54.4s |      19 |   741507 |   543282 |     1070   1134 |        0 |        0
56.28/56.39	c 56.4s |      19 |   768300 |   563782 |     1070   1169 |        0 |        0
58.28/58.39	c 58.4s |      19 |   793997 |   583482 |     1070   1201 |        0 |        0
60.38/60.40	c 60.4s |      19 |   822382 |   603282 |     1070   1235 |        0 |        0
62.38/62.40	c 62.4s |      19 |   849639 |   623182 |     1070   1268 |        0 |        0
64.38/64.41	c 64.4s |      19 |   873598 |   641482 |     1070   1299 |        0 |        0
66.38/66.41	c 66.4s |      19 |   896212 |   658582 |     1070   1328 |        0 |        0
67.38/67.40	c 67.4s |      20 |   907061 |   666827 |     1177   1341 |        0 |        0
69.29/69.40	c 69.4s |      20 |   930206 |   684927 |     1177   1369 |        0 |        0
71.38/71.41	c 71.4s |      20 |   953955 |   703627 |     1177   1398 |        0 |        0
73.38/73.42	c 73.4s |      20 |   978729 |   722627 |     1177   1427 |        0 |        0
75.38/75.42	c 75.4s |      20 |  1001961 |   740627 |     1177   1455 |        0 |        0
77.38/77.42	c 77.4s |      20 |  1026022 |   759327 |     1177   1484 |        0 |        0
79.38/79.42	c 79.4s |      20 |  1048459 |   777127 |     1177   1511 |        0 |        0
81.39/81.42	c 81.4s |      20 |  1072863 |   795927 |     1177   1541 |        0 |        0
83.38/83.43	c 83.4s |      20 |  1097730 |   814827 |     1177   1570 |        0 |        0
85.38/85.44	c 85.4s |      20 |  1123294 |   834127 |     1177   1600 |        0 |        0
87.38/87.44	c 87.4s |      20 |  1148430 |   853127 |     1177   1630 |        0 |        0
89.38/89.44	c 89.4s |      20 |  1172619 |   871727 |     1177   1658 |        0 |        0
91.38/91.45	c 91.4s |      20 |  1198186 |   890527 |     1177   1688 |        0 |        0
93.38/93.45	c 93.4s |      20 |  1223506 |   909927 |     1177   1718 |        0 |        0
95.37/95.45	c 95.4s |      20 |  1250865 |   929727 |     1177   1749 |        0 |        0
97.37/97.46	c 97.4s |      20 |  1276973 |   948527 |     1177   1778 |        0 |        0
99.37/99.46	c 99.4s |      20 |  1303686 |   968327 |     1177   1808 |        0 |        0
101.37/101.47	c  101s |      20 |  1328795 |   987627 |     1177   1838 |        0 |        0
102.77/102.83	c  102s |      21 |  1345836 |  1000345 |     1295   1857 |        0 |        0
104.77/104.84	c  104s |      21 |  1369943 |  1018745 |     1295   1882 |        0 |        0
106.78/106.84	c  106s |      21 |  1392609 |  1036345 |     1295   1907 |        0 |        0
108.77/108.84	c  108s |      21 |  1414118 |  1053445 |     1295   1931 |        0 |        0
110.77/110.85	c  110s |      21 |  1439093 |  1072445 |     1295   1957 |        0 |        0
112.77/112.85	c  112s |      21 |  1463164 |  1090745 |     1295   1982 |        0 |        0
114.77/114.85	c  114s |      21 |  1486992 |  1108645 |     1295   2007 |        0 |        0
116.77/116.86	c  116s |      21 |  1511562 |  1127245 |     1295   2033 |        0 |        0
118.77/118.87	c  118s |      21 |  1532038 |  1143745 |     1295   2056 |        0 |        0
120.77/120.87	c  120s |      21 |  1556215 |  1161745 |     1295   2081 |        0 |        0
122.77/122.88	c  122s |      21 |  1578667 |  1179445 |     1295   2106 |        0 |        0
124.77/124.88	c  124s |      21 |  1601162 |  1197345 |     1295   2131 |        0 |        0
126.77/126.88	c  126s |      21 |  1623428 |  1214645 |     1295   2155 |        0 |        0
128.78/128.89	c  128s |      21 |  1646531 |  1232745 |     1295   2181 |        0 |        0
130.77/130.90	c  130s |      21 |  1669013 |  1250145 |     1295   2205 |        0 |        0
132.87/132.90	c  132s |      21 |  1692671 |  1268345 |     1295   2230 |        0 |        0
134.87/134.91	c  134s |      21 |  1714960 |  1286145 |     1295   2255 |        0 |        0
136.87/136.91	c  136s |      21 |  1738682 |  1304445 |     1295   2281 |        0 |        0
138.87/138.92	c  138s |      21 |  1762113 |  1322745 |     1295   2306 |        0 |        0
140.87/140.93	c  140s |      21 |  1784900 |  1340845 |     1295   2331 |        0 |        0
142.86/142.94	c  142s |      21 |  1808090 |  1358545 |     1295   2356 |        0 |        0
144.86/144.94	c  144s |      21 |  1830082 |  1375645 |     1295   2380 |        0 |        0
146.86/146.94	c  146s |      21 |  1852101 |  1392645 |     1295   2404 |        0 |        0
148.86/148.95	c  148s |      21 |  1875872 |  1410745 |     1295   2429 |        0 |        0
150.86/150.96	c  150s |      21 |  1902189 |  1430045 |     1295   2456 |        0 |        0
152.87/152.97	c  152s |      21 |  1928218 |  1449345 |     1295   2483 |        0 |        0
154.86/154.97	c  154s |      21 |  1951761 |  1467345 |     1295   2508 |        0 |        0
156.87/156.97	c  156s |      21 |  1976100 |  1485645 |     1295   2534 |        0 |        0
158.57/158.62	c  158s |      22 |  1995104 |  1500622 |     1425   2553 |        0 |        0
160.57/160.63	c  160s |      22 |  2015938 |  1517222 |     1425   2574 |        0 |        0
162.57/162.63	c  162s |      22 |  2037234 |  1533322 |     1425   2595 |        0 |        0
164.57/164.63	c  164s |      22 |  2061555 |  1551222 |     1425   2619 |        0 |        0
166.57/166.64	c  166s |      22 |  2083265 |  1568422 |     1425   2641 |        0 |        0
168.57/168.64	c  168s |      22 |  2105790 |  1585522 |     1425   2663 |        0 |        0
170.57/170.65	c  170s |      22 |  2129717 |  1603122 |     1425   2687 |        0 |        0
172.56/172.66	c  172s |      22 |  2153401 |  1621222 |     1425   2710 |        0 |        0
174.56/174.66	c  174s |      22 |  2178893 |  1640022 |     1425   2735 |        0 |        0
176.56/176.67	c  176s |      22 |  2201954 |  1657622 |     1425   2758 |        0 |        0
178.56/178.67	c  178s |      22 |  2221906 |  1673522 |     1425   2780 |        0 |        0
180.56/180.68	c  180s |      22 |  2245052 |  1691422 |     1425   2803 |        0 |        0
182.57/182.69	c  182s |      22 |  2268436 |  1709222 |     1425   2827 |        0 |        0
184.66/184.70	c  184s |      22 |  2292594 |  1726822 |     1425   2850 |        0 |        0
186.66/186.71	c  186s |      22 |  2317060 |  1744422 |     1425   2873 |        0 |        0
188.66/188.72	c  188s |      22 |  2340911 |  1762522 |     1425   2896 |        0 |        0
190.66/190.73	c  190s |      22 |  2362307 |  1779222 |     1425   2918 |        0 |        0
192.66/192.73	c  192s |      22 |  2385150 |  1796822 |     1425   2941 |        0 |        0
194.66/194.73	c  194s |      22 |  2408826 |  1814722 |     1425   2965 |        0 |        0
196.65/196.75	c  196s |      22 |  2432564 |  1832322 |     1425   2988 |        0 |        0
198.66/198.75	c  198s |      22 |  2455726 |  1849722 |     1425   3010 |        0 |        0
200.66/200.75	c  200s |      22 |  2479043 |  1866922 |     1425   3033 |        0 |        0
202.66/202.76	c  202s |      22 |  2502611 |  1884522 |     1425   3056 |        0 |        0
204.67/204.76	c  204s |      22 |  2525310 |  1902022 |     1425   3080 |        0 |        0
206.66/206.76	c  206s |      22 |  2548464 |  1919222 |     1425   3103 |        0 |        0
208.66/208.77	c  208s |      22 |  2573007 |  1937522 |     1425   3128 |        0 |        0
210.66/210.77	c  210s |      22 |  2597534 |  1955322 |     1425   3151 |        0 |        0
212.66/212.78	c  212s |      22 |  2620455 |  1972422 |     1425   3174 |        0 |        0
214.66/214.79	c  214s |      22 |  2643330 |  1989422 |     1425   3196 |        0 |        0
216.66/216.80	c  216s |      22 |  2665530 |  2006422 |     1425   3218 |        0 |        0
218.76/218.80	c  218s |      22 |  2687602 |  2023322 |     1425   3240 |        0 |        0
220.75/220.81	c  220s |      22 |  2711336 |  2040322 |     1425   3262 |        0 |        0
222.75/222.82	c  222s |      22 |  2732792 |  2056522 |     1425   3283 |        0 |        0
224.75/224.83	c  224s |      22 |  2756441 |  2073822 |     1425   3305 |        0 |        0
226.75/226.83	c  226s |      22 |  2778706 |  2090522 |     1425   3327 |        0 |        0
228.76/228.84	c  228s |      22 |  2801397 |  2108022 |     1425   3350 |        0 |        0
230.76/230.85	c  230s |      22 |  2825535 |  2126022 |     1425   3374 |        0 |        0
232.76/232.85	c  232s |      22 |  2850068 |  2143422 |     1425   3397 |        0 |        0
234.76/234.86	c  234s |      22 |  2874880 |  2161322 |     1425   3420 |        0 |        0
236.76/236.86	c  236s |      22 |  2898215 |  2178522 |     1425   3442 |        0 |        0
238.76/238.87	c  238s |      22 |  2921799 |  2196022 |     1425   3465 |        0 |        0
240.75/240.88	c  240s |      22 |  2943256 |  2212522 |     1425   3486 |        0 |        0
242.75/242.88	c  242s |      22 |  2964641 |  2228922 |     1425   3507 |        0 |        0
244.75/244.89	c  244s |      22 |  2984847 |  2244522 |     1568   3527 |        0 |        0
245.55/245.69	c  245s |      23 |  2993514 |  2251038 |     1568   3534 |        0 |        0
247.56/247.69	c  247s |      23 |  3015783 |  2268038 |     1568   3554 |        0 |        0
249.55/249.70	c  249s |      23 |  3038947 |  2285538 |     1568   3575 |        0 |        0
251.65/251.70	c  251s |      23 |  3060028 |  2302038 |     1568   3594 |        0 |        0
253.65/253.71	c  253s |      23 |  3080842 |  2318338 |     1568   3614 |        0 |        0
255.65/255.71	c  255s |      23 |  3103918 |  2335638 |     1568   3634 |        0 |        0
257.65/257.72	c  257s |      23 |  3126857 |  2353038 |     1568   3654 |        0 |        0
259.65/259.73	c  259s |      23 |  3148198 |  2369638 |     1568   3674 |        0 |        0
261.65/261.75	c  261s |      23 |  3169573 |  2386138 |     1568   3693 |        0 |        0
263.64/263.75	c  263s |      23 |  3190110 |  2402038 |     1568   3712 |        0 |        0
265.65/265.76	c  265s |      23 |  3210401 |  2417738 |     1568   3731 |        0 |        0
267.65/267.77	c  267s |      23 |  3233422 |  2434738 |     1568   3751 |        0 |        0
269.65/269.77	c  269s |      23 |  3254747 |  2451238 |     1568   3770 |        0 |        0
271.66/271.78	c  271s |      23 |  3275653 |  2467438 |     1568   3789 |        0 |        0
273.65/273.79	c  273s |      23 |  3297466 |  2484238 |     1568   3809 |        0 |        0
275.75/275.80	c  275s |      23 |  3319808 |  2501238 |     1568   3829 |        0 |        0
277.75/277.80	c  277s |      23 |  3342170 |  2518038 |     1568   3848 |        0 |        0
279.75/279.81	c  279s |      23 |  3364595 |  2535338 |     1568   3869 |        0 |        0
281.75/281.81	c  281s |      23 |  3386382 |  2552438 |     1568   3889 |        0 |        0
283.75/283.83	c  283s |      23 |  3408481 |  2569538 |     1568   3909 |        0 |        0
285.75/285.83	c  285s |      23 |  3430800 |  2586738 |     1568   3929 |        0 |        0
287.75/287.84	c  287s |      23 |  3453193 |  2603938 |     1568   3949 |        0 |        0
289.75/289.85	c  289s |      23 |  3473731 |  2620138 |     1568   3969 |        0 |        0
291.74/291.86	c  291s |      23 |  3495634 |  2636738 |     1568   3988 |        0 |        0
293.75/293.87	c  293s |      23 |  3516841 |  2653138 |     1568   4007 |        0 |        0
295.74/295.87	c  295s |      23 |  3538705 |  2669838 |     1568   4027 |        0 |        0
297.74/297.87	c  297s |      23 |  3560953 |  2686938 |     1568   4047 |        0 |        0
299.74/299.87	c  299s |      23 |  3581721 |  2703338 |     1568   4066 |        0 |        0
301.74/301.87	c  301s |      23 |  3603386 |  2719838 |     1568   4086 |        0 |        0
303.74/303.87	c  303s |      23 |  3624222 |  2736138 |     1568   4105 |        0 |        0
305.75/305.88	c  305s |      23 |  3646070 |  2752938 |     1568   4125 |        0 |        0
307.75/307.88	c  307s |      23 |  3668834 |  2770038 |     1568   4145 |        0 |        0
309.74/309.88	c  309s |      23 |  3691256 |  2786938 |     1568   4165 |        0 |        0
311.74/311.88	c  311s |      23 |  3710347 |  2802238 |     1568   4183 |        0 |        0
313.74/313.89	c  313s |      23 |  3730935 |  2818438 |     1568   4202 |        0 |        0
315.84/315.90	c  315s |      23 |  3751470 |  2834838 |     1568   4221 |        0 |        0
317.85/317.91	c  317s |      23 |  3773126 |  2851738 |     1568   4241 |        0 |        0
319.84/319.92	c  319s |      23 |  3795234 |  2868338 |     1568   4261 |        0 |        0
321.84/321.92	c  321s |      23 |  3816579 |  2884738 |     1568   4280 |        0 |        0
323.84/323.93	c  323s |      23 |  3836015 |  2900138 |     1568   4298 |        0 |        0
325.84/325.93	c  325s |      23 |  3859000 |  2917438 |     1568   4318 |        0 |        0
327.84/327.94	c  327s |      23 |  3880706 |  2934338 |     1568   4338 |        0 |        0
329.84/329.95	c  329s |      23 |  3903259 |  2951638 |     1568   4359 |        0 |        0
331.84/331.96	c  331s |      23 |  3926139 |  2969438 |     1568   4379 |        0 |        0
333.84/333.96	c  333s |      23 |  3948075 |  2986238 |     1568   4399 |        0 |        0
335.84/335.97	c  335s |      23 |  3969009 |  3002738 |     1568   4419 |        0 |        0
337.84/337.98	c  337s |      23 |  3991036 |  3019538 |     1568   4438 |        0 |        0
339.84/339.98	c  339s |      23 |  4012166 |  3036238 |     1568   4458 |        0 |        0
341.83/341.99	c  341s |      23 |  4032884 |  3052538 |     1568   4477 |        0 |        0
343.83/343.99	c  343s |      23 |  4055580 |  3069938 |     1568   4498 |        0 |        0
345.94/346.00	c  345s |      23 |  4077887 |  3086938 |     1568   4518 |        0 |        0
347.94/348.00	c  347s |      23 |  4100413 |  3104038 |     1568   4538 |        0 |        0
349.94/350.01	c  349s |      23 |  4125305 |  3122838 |     1568   4560 |        0 |        0
351.94/352.02	c  352s |      23 |  4148949 |  3140838 |     1568   4582 |        0 |        0
353.94/354.03	c  354s |      23 |  4170187 |  3157938 |     1568   4603 |        0 |        0
355.93/356.03	c  356s |      23 |  4194046 |  3175838 |     1568   4624 |        0 |        0
357.93/358.03	c  358s |      23 |  4215953 |  3192938 |     1568   4645 |        0 |        0
359.93/360.03	c  360s |      23 |  4237225 |  3209738 |     1568   4665 |        0 |        0
361.94/362.03	c  362s |      23 |  4261131 |  3227538 |     1568   4686 |        0 |        0
363.93/364.03	c  364s |      23 |  4284440 |  3245138 |     1568   4708 |        0 |        0
365.93/366.03	c  366s |      23 |  4308276 |  3263238 |     1568   4729 |        0 |        0
367.93/368.05	c  368s |      23 |  4328495 |  3279538 |     1568   4749 |        0 |        0
369.93/370.05	c  370s |      23 |  4350719 |  3296838 |     1568   4770 |        0 |        0
371.93/372.06	c  372s |      23 |  4373878 |  3314438 |     1568   4791 |        0 |        0
373.94/374.06	c  374s |      23 |  4396876 |  3331738 |     1568   4812 |        0 |        0
375.93/376.07	c  376s |      23 |  4420526 |  3349338 |     1568   4832 |        0 |        0
377.93/378.07	c  378s |      23 |  4441552 |  3365538 |     1725   4850 |        0 |        0
379.33/379.42	c  379s |      24 |  4455830 |  3376662 |     1725   4862 |        0 |        0
381.33/381.43	c  381s |      24 |  4476544 |  3392662 |     1725   4879 |        0 |        0
383.33/383.44	c  383s |      24 |  4498368 |  3409062 |     1725   4897 |        0 |        0
385.33/385.45	c  385s |      24 |  4522319 |  3426162 |     1725   4916 |        0 |        0
387.33/387.46	c  387s |      24 |  4543508 |  3442162 |     1725   4933 |        0 |        0
389.33/389.46	c  389s |      24 |  4564710 |  3458362 |     1725   4951 |        0 |        0
391.32/391.47	c  391s |      24 |  4585583 |  3474162 |     1725   4968 |        0 |        0
393.32/393.48	c  393s |      24 |  4608416 |  3490762 |     1725   4986 |        0 |        0
395.33/395.48	c  395s |      24 |  4630353 |  3506962 |     1725   5003 |        0 |        0
397.33/397.48	c  397s |      24 |  4652028 |  3523162 |     1725   5021 |        0 |        0
399.34/399.49	c  399s |      24 |  4674900 |  3539762 |     1725   5039 |        0 |        0
401.33/401.50	c  401s |      24 |  4696288 |  3555662 |     1725   5056 |        0 |        0
403.43/403.50	c  403s |      24 |  4716903 |  3570862 |     1725   5073 |        0 |        0
405.43/405.51	c  405s |      24 |  4740455 |  3587262 |     1725   5090 |        0 |        0
407.43/407.51	c  407s |      24 |  4763934 |  3604562 |     1725   5109 |        0 |        0
409.43/409.51	c  409s |      24 |  4787877 |  3621462 |     1725   5127 |        0 |        0
411.43/411.51	c  411s |      24 |  4808101 |  3636762 |     1725   5144 |        0 |        0
413.42/413.52	c  413s |      24 |  4828849 |  3652862 |     1725   5162 |        0 |        0
415.42/415.52	c  415s |      24 |  4850825 |  3668862 |     1725   5179 |        0 |        0
417.42/417.53	c  417s |      24 |  4873500 |  3685862 |     1725   5197 |        0 |        0
419.42/419.53	c  419s |      24 |  4896404 |  3702462 |     1725   5215 |        0 |        0
421.42/421.54	c  421s |      24 |  4916620 |  3717762 |     1725   5232 |        0 |        0
423.43/423.54	c  423s |      24 |  4937675 |  3733162 |     1725   5249 |        0 |        0
425.42/425.55	c  425s |      24 |  4959269 |  3749562 |     1725   5267 |        0 |        0
427.42/427.56	c  427s |      24 |  4981858 |  3766062 |     1725   5285 |        0 |        0
429.42/429.56	c  429s |      24 |  5001826 |  3781462 |     1725   5301 |        0 |        0
431.42/431.57	c  431s |      24 |  5024082 |  3797962 |     1725   5319 |        0 |        0
433.43/433.57	c  433s |      24 |  5046448 |  3814762 |     1725   5338 |        0 |        0
435.43/435.57	c  435s |      24 |  5070282 |  3832162 |     1725   5357 |        0 |        0
437.43/437.57	c  437s |      24 |  5090612 |  3847462 |     1725   5373 |        0 |        0
439.43/439.58	c  439s |      24 |  5113728 |  3863962 |     1725   5391 |        0 |        0
441.42/441.58	c  441s |      24 |  5137620 |  3880862 |     1725   5410 |        0 |        0
443.42/443.59	c  443s |      24 |  5160821 |  3897562 |     1725   5428 |        0 |        0
445.43/445.59	c  445s |      24 |  5183549 |  3914562 |     1725   5446 |        0 |        0
447.42/447.59	c  447s |      24 |  5205928 |  3931062 |     1725   5464 |        0 |        0
449.42/449.60	c  449s |      24 |  5228099 |  3947562 |     1725   5482 |        0 |        0
451.52/451.60	c  451s |      24 |  5252005 |  3964862 |     1725   5501 |        0 |        0
453.52/453.62	c  453s |      24 |  5274506 |  3981762 |     1725   5520 |        0 |        0
455.52/455.62	c  455s |      24 |  5297199 |  3998562 |     1725   5538 |        0 |        0
457.53/457.62	c  457s |      24 |  5319767 |  4014762 |     1725   5555 |        0 |        0
459.52/459.63	c  459s |      24 |  5341985 |  4031462 |     1725   5574 |        0 |        0
461.52/461.64	c  461s |      24 |  5364230 |  4047862 |     1725   5591 |        0 |        0
463.52/463.64	c  463s |      24 |  5387820 |  4064162 |     1725   5609 |        0 |        0
465.52/465.65	c  465s |      24 |  5409889 |  4080362 |     1725   5627 |        0 |        0
467.52/467.65	c  467s |      24 |  5432440 |  4096662 |     1725   5645 |        0 |        0
469.52/469.67	c  469s |      24 |  5453825 |  4113062 |     1725   5663 |        0 |        0
471.52/471.67	c  471s |      24 |  5473955 |  4128662 |     1725   5680 |        0 |        0
473.52/473.68	c  473s |      24 |  5495928 |  4145262 |     1725   5698 |        0 |        0
475.52/475.69	c  475s |      24 |  5515906 |  4160862 |     1725   5715 |        0 |        0
477.52/477.69	c  477s |      24 |  5536754 |  4176762 |     1725   5732 |        0 |        0
479.52/479.70	c  479s |      24 |  5555809 |  4191462 |     1725   5748 |        0 |        0
481.61/481.70	c  481s |      24 |  5577850 |  4207962 |     1725   5766 |        0 |        0
483.61/483.71	c  483s |      24 |  5596455 |  4222762 |     1725   5782 |        0 |        0
485.61/485.71	c  485s |      24 |  5617081 |  4238562 |     1725   5799 |        0 |        0
487.61/487.71	c  487s |      24 |  5637190 |  4254062 |     1725   5816 |        0 |        0
489.61/489.72	c  489s |      24 |  5661069 |  4271562 |     1725   5835 |        0 |        0
491.62/491.72	c  491s |      24 |  5682792 |  4287962 |     1725   5853 |        0 |        0
493.62/493.73	c  493s |      24 |  5704687 |  4304162 |     1725   5871 |        0 |        0
495.62/495.74	c  495s |      24 |  5728226 |  4321262 |     1725   5889 |        0 |        0
497.62/497.75	c  497s |      24 |  5750266 |  4337762 |     1725   5907 |        0 |        0
499.61/499.75	c  499s |      24 |  5773210 |  4354862 |     1725   5926 |        0 |        0
501.62/501.76	c  501s |      24 |  5795134 |  4371362 |     1725   5944 |        0 |        0
503.61/503.76	c  503s |      24 |  5817793 |  4387762 |     1725   5962 |        0 |        0
505.61/505.77	c  505s |      24 |  5837887 |  4403262 |     1725   5979 |        0 |        0
507.61/507.77	c  507s |      24 |  5861442 |  4420462 |     1725   5998 |        0 |        0
509.61/509.77	c  509s |      24 |  5881106 |  4436162 |     1725   6015 |        0 |        0
511.61/511.78	c  511s |      24 |  5902007 |  4452462 |     1725   6032 |        0 |        0
513.62/513.78	c  513s |      24 |  5923779 |  4469262 |     1725   6051 |        0 |        0
515.61/515.79	c  515s |      24 |  5944663 |  4485362 |     1725   6068 |        0 |        0
517.71/517.80	c  517s |      24 |  5963491 |  4500062 |     1725   6084 |        0 |        0
519.71/519.80	c  519s |      24 |  5984633 |  4515662 |     1725   6101 |        0 |        0
521.71/521.81	c  521s |      24 |  6005407 |  4531062 |     1725   6118 |        0 |        0
523.71/523.82	c  523s |      24 |  6025243 |  4546562 |     1725   6135 |        0 |        0
525.71/525.83	c  525s |      24 |  6045120 |  4560962 |     1725   6150 |        0 |        0
527.70/527.83	c  527s |      24 |  6066905 |  4577062 |     1725   6168 |        0 |        0
529.70/529.84	c  529s |      24 |  6088839 |  4592962 |     1725   6185 |        0 |        0
531.70/531.84	c  531s |      24 |  6108945 |  4607962 |     1725   6202 |        0 |        0
533.70/533.85	c  533s |      24 |  6131347 |  4624662 |     1725   6220 |        0 |        0
535.72/535.86	c  535s |      24 |  6154646 |  4641562 |     1725   6238 |        0 |        0
537.71/537.87	c  537s |      24 |  6176349 |  4657462 |     1725   6256 |        0 |        0
539.71/539.88	c  539s |      24 |  6198717 |  4673762 |     1725   6274 |        0 |        0
541.70/541.89	c  541s |      24 |  6218750 |  4689362 |     1725   6291 |        0 |        0
543.70/543.89	c  543s |      24 |  6241555 |  4706062 |     1725   6309 |        0 |        0
545.80/545.90	c  545s |      24 |  6263363 |  4722262 |     1725   6327 |        0 |        0
547.80/547.91	c  547s |      24 |  6283324 |  4737662 |     1725   6343 |        0 |        0
549.80/549.92	c  549s |      24 |  6305049 |  4753962 |     1725   6361 |        0 |        0
551.79/551.93	c  551s |      24 |  6325841 |  4769762 |     1725   6378 |        0 |        0
553.79/553.93	c  553s |      24 |  6348594 |  4786362 |     1725   6396 |        0 |        0
555.79/555.94	c  555s |      24 |  6369422 |  4801862 |     1725   6413 |        0 |        0
557.79/557.94	c  557s |      24 |  6390921 |  4818162 |     1725   6431 |        0 |        0
559.79/559.95	c  559s |      24 |  6412667 |  4834362 |     1725   6449 |        0 |        0
561.79/561.96	c  561s |      24 |  6435333 |  4850962 |     1725   6467 |        0 |        0
563.79/563.96	c  563s |      24 |  6456702 |  4866862 |     1725   6484 |        0 |        0
565.79/565.96	c  565s |      24 |  6477139 |  4882662 |     1725   6501 |        0 |        0
567.78/567.97	c  567s |      24 |  6498662 |  4898562 |     1725   6519 |        0 |        0
569.79/569.98	c  569s |      24 |  6520426 |  4914862 |     1725   6536 |        0 |        0
571.78/571.99	c  571s |      24 |  6541073 |  4930562 |     1725   6554 |        0 |        0
573.88/574.00	c  573s |      24 |  6563510 |  4946962 |     1725   6571 |        0 |        0
575.88/576.00	c  575s |      24 |  6586014 |  4963162 |     1725   6589 |        0 |        0
577.87/578.00	c  577s |      24 |  6608413 |  4979762 |     1725   6607 |        0 |        0
579.87/580.01	c  579s |      24 |  6629354 |  4995662 |     1725   6624 |        0 |        0
581.88/582.02	c  582s |      24 |  6649400 |  5010762 |     1725   6641 |        0 |        0
583.87/584.02	c  584s |      24 |  6670991 |  5026662 |     1725   6658 |        0 |        0
585.87/586.04	c  586s |      24 |  6691976 |  5041862 |     1898   6674 |        0 |        0
587.86/588.04	c  588s |      24 |  6713638 |  5057962 |     1898   6690 |        0 |        0
588.76/588.98	c  588s |      25 |  6724200 |  5065098 |     1898   6697 |        0 |        0
590.76/590.98	c  590s |      25 |  6743364 |  5080198 |     1898   6711 |        0 |        0
592.77/592.99	c  592s |      25 |  6765287 |  5096798 |     1898   6728 |        0 |        0
594.76/595.00	c  594s |      25 |  6785179 |  5112598 |     1898   6743 |        0 |        0
596.85/597.00	c  596s |      25 |  6805170 |  5128098 |     1898   6758 |        0 |        0
598.85/599.00	c  598s |      25 |  6825739 |  5143498 |     1898   6774 |        0 |        0
600.85/601.01	c  600s |      25 |  6843732 |  5157698 |     1898   6788 |        0 |        0
602.85/603.02	c  603s |      25 |  6862622 |  5172298 |     1898   6802 |        0 |        0
604.86/605.02	c  605s |      25 |  6882573 |  5187998 |     1898   6817 |        0 |        0
606.85/607.02	c  607s |      25 |  6901367 |  5202098 |     1898   6832 |        0 |        0
608.85/609.02	c  609s |      25 |  6921254 |  5217398 |     1898   6847 |        0 |        0
610.85/611.03	c  611s |      25 |  6944230 |  5234398 |     1898   6865 |        0 |        0
612.84/613.04	c  613s |      25 |  6964549 |  5250098 |     1898   6881 |        0 |        0
614.86/615.04	c  615s |      25 |  6984792 |  5265498 |     1898   6896 |        0 |        0
616.85/617.05	c  617s |      25 |  7005118 |  5280698 |     1898   6912 |        0 |        0
618.85/619.06	c  619s |      25 |  7025337 |  5296098 |     1898   6927 |        0 |        0
620.85/621.06	c  621s |      25 |  7045113 |  5311198 |     1898   6942 |        0 |        0
622.84/623.07	c  623s |      25 |  7064835 |  5326398 |     1898   6956 |        0 |        0
624.84/625.07	c  625s |      25 |  7084103 |  5341498 |     1898   6971 |        0 |        0
626.84/627.07	c  627s |      25 |  7104420 |  5356898 |     1898   6986 |        0 |        0
628.84/629.08	c  629s |      25 |  7123972 |  5371998 |     1898   7001 |        0 |        0
630.84/631.09	c  631s |      25 |  7144667 |  5387998 |     1898   7017 |        0 |        0
632.84/633.09	c  633s |      25 |  7164548 |  5403698 |     1898   7033 |        0 |        0
634.94/635.10	c  635s |      25 |  7182781 |  5418498 |     1898   7048 |        0 |        0
636.93/637.11	c  637s |      25 |  7203116 |  5433898 |     1898   7063 |        0 |        0
638.94/639.12	c  639s |      25 |  7222270 |  5448998 |     1898   7078 |        0 |        0
640.93/641.13	c  641s |      25 |  7239949 |  5463198 |     1898   7093 |        0 |        0
642.93/643.14	c  643s |      25 |  7259253 |  5478198 |     1898   7108 |        0 |        0
644.94/645.15	c  645s |      25 |  7279385 |  5493698 |     1898   7123 |        0 |        0
646.93/647.15	c  647s |      25 |  7300175 |  5509298 |     1898   7139 |        0 |        0
648.94/649.16	c  649s |      25 |  7318777 |  5523398 |     1898   7153 |        0 |        0
650.93/651.18	c  651s |      25 |  7336332 |  5537098 |     1898   7167 |        0 |        0
652.93/653.18	c  653s |      25 |  7354999 |  5551598 |     1898   7181 |        0 |        0
654.93/655.18	c  655s |      25 |  7375086 |  5567498 |     1898   7197 |        0 |        0
656.92/657.19	c  657s |      25 |  7397313 |  5584198 |     1898   7214 |        0 |        0
658.92/659.19	c  659s |      25 |  7415835 |  5598398 |     1898   7228 |        0 |        0
660.93/661.19	c  661s |      25 |  7433695 |  5612598 |     1898   7243 |        0 |        0
662.92/663.19	c  663s |      25 |  7451910 |  5626798 |     1898   7257 |        0 |        0
665.02/665.21	c  665s |      25 |  7471161 |  5641598 |     1898   7272 |        0 |        0
667.01/667.21	c  667s |      25 |  7490154 |  5655898 |     1898   7287 |        0 |        0
669.01/669.21	c  669s |      25 |  7507846 |  5669298 |     1898   7300 |        0 |        0
671.01/671.22	c  671s |      25 |  7526219 |  5683498 |     1898   7315 |        0 |        0
673.01/673.22	c  673s |      25 |  7543914 |  5697398 |     1898   7329 |        0 |        0
675.01/675.22	c  675s |      25 |  7561331 |  5711498 |     1898   7344 |        0 |        0
677.00/677.23	c  677s |      25 |  7579284 |  5725298 |     1898   7358 |        0 |        0
679.01/679.24	c  679s |      25 |  7599153 |  5740198 |     1898   7373 |        0 |        0
681.01/681.24	c  681s |      25 |  7617997 |  5754398 |     1898   7387 |        0 |        0
683.02/683.25	c  683s |      25 |  7636896 |  5768498 |     1898   7402 |        0 |        0
685.01/685.26	c  685s |      25 |  7653860 |  5781898 |     1898   7415 |        0 |        0
687.01/687.27	c  687s |      25 |  7670878 |  5795498 |     1898   7429 |        0 |        0
689.01/689.27	c  689s |      25 |  7689985 |  5810098 |     1898   7444 |        0 |        0
691.01/691.27	c  691s |      25 |  7709241 |  5825398 |     1898   7459 |        0 |        0
693.00/693.27	c  693s |      25 |  7729163 |  5840798 |     1898   7474 |        0 |        0
695.01/695.28	c  695s |      25 |  7748182 |  5855498 |     1898   7489 |        0 |        0
697.00/697.28	c  697s |      25 |  7766089 |  5869898 |     1898   7503 |        0 |        0
699.10/699.30	c  699s |      25 |  7785356 |  5884898 |     1898   7518 |        0 |        0
701.10/701.31	c  701s |      25 |  7804861 |  5900098 |     1898   7534 |        0 |        0
703.10/703.32	c  703s |      25 |  7824548 |  5915198 |     1898   7549 |        0 |        0
705.09/705.33	c  705s |      25 |  7843105 |  5929598 |     1898   7563 |        0 |        0
707.10/707.34	c  707s |      25 |  7861511 |  5943998 |     1898   7577 |        0 |        0
709.09/709.35	c  709s |      25 |  7880918 |  5958998 |     1898   7592 |        0 |        0
711.09/711.37	c  711s |      25 |  7899904 |  5973898 |     1898   7607 |        0 |        0
713.09/713.38	c  713s |      25 |  7919910 |  5989298 |     1898   7623 |        0 |        0
715.09/715.39	c  715s |      25 |  7940383 |  6004698 |     1898   7638 |        0 |        0
717.18/717.40	c  717s |      25 |  7960024 |  6019698 |     1898   7653 |        0 |        0
719.18/719.41	c  719s |      25 |  7978964 |  6034398 |     1898   7668 |        0 |        0
721.18/721.41	c  721s |      25 |  7997582 |  6048698 |     1898   7683 |        0 |        0
723.18/723.41	c  723s |      25 |  8015977 |  6062998 |     1898   7697 |        0 |        0
725.18/725.42	c  725s |      25 |  8034774 |  6077298 |     1898   7712 |        0 |        0
727.17/727.42	c  727s |      25 |  8052199 |  6090698 |     1898   7725 |        0 |        0
729.18/729.43	c  729s |      25 |  8072484 |  6106298 |     1898   7741 |        0 |        0
731.18/731.44	c  731s |      25 |  8091705 |  6121698 |     1898   7756 |        0 |        0
733.18/733.45	c  733s |      25 |  8112191 |  6137598 |     1898   7772 |        0 |        0
735.18/735.46	c  735s |      25 |  8131877 |  6153098 |     1898   7788 |        0 |        0
737.17/737.46	c  737s |      25 |  8152063 |  6168998 |     1898   7804 |        0 |        0
739.17/739.48	c  739s |      25 |  8173044 |  6185098 |     1898   7820 |        0 |        0
741.18/741.48	c  741s |      25 |  8193998 |  6200798 |     1898   7835 |        0 |        0
743.17/743.49	c  743s |      25 |  8212665 |  6214698 |     1898   7849 |        0 |        0
745.17/745.49	c  745s |      25 |  8230408 |  6228698 |     1898   7864 |        0 |        0
747.27/747.50	c  747s |      25 |  8248129 |  6242398 |     1898   7878 |        0 |        0
749.27/749.50	c  749s |      25 |  8268562 |  6257898 |     1898   7893 |        0 |        0
751.26/751.51	c  751s |      25 |  8288861 |  6273598 |     1898   7909 |        0 |        0
753.27/753.51	c  753s |      25 |  8307837 |  6288398 |     1898   7924 |        0 |        0
755.26/755.52	c  755s |      25 |  8328284 |  6303998 |     1898   7940 |        0 |        0
757.26/757.52	c  757s |      25 |  8348300 |  6319398 |     1898   7955 |        0 |        0
759.25/759.53	c  759s |      25 |  8366837 |  6333998 |     1898   7970 |        0 |        0
761.25/761.54	c  761s |      25 |  8387010 |  6348898 |     1898   7985 |        0 |        0
763.26/763.54	c  763s |      25 |  8406786 |  6363598 |     1898   8000 |        0 |        0
765.25/765.55	c  765s |      25 |  8426081 |  6378398 |     1898   8015 |        0 |        0
767.24/767.56	c  767s |      25 |  8445346 |  6393398 |     1898   8030 |        0 |        0
769.24/769.57	c  769s |      25 |  8464926 |  6408898 |     1898   8045 |        0 |        0
771.24/771.57	c  771s |      25 |  8481481 |  6421898 |     1898   8058 |        0 |        0
773.25/773.57	c  773s |      25 |  8497604 |  6434298 |     1898   8071 |        0 |        0
775.26/775.57	c  775s |      25 |  8515066 |  6447598 |     1898   8084 |        0 |        0
777.25/777.58	c  777s |      25 |  8532013 |  6460498 |     1898   8097 |        0 |        0
779.25/779.59	c  779s |      25 |  8547763 |  6472898 |     1898   8110 |        0 |        0
781.25/781.60	c  781s |      25 |  8565926 |  6486998 |     1898   8124 |        0 |        0
783.34/783.61	c  783s |      25 |  8586057 |  6501998 |     1898   8139 |        0 |        0
785.34/785.62	c  785s |      25 |  8605697 |  6517098 |     1898   8154 |        0 |        0
787.34/787.62	c  787s |      25 |  8626223 |  6532398 |     1898   8170 |        0 |        0
789.34/789.63	c  789s |      25 |  8645153 |  6546598 |     1898   8184 |        0 |        0
791.34/791.64	c  791s |      25 |  8665763 |  6561998 |     1898   8199 |        0 |        0
793.34/793.65	c  793s |      25 |  8683930 |  6575898 |     1898   8213 |        0 |        0
795.34/795.66	c  795s |      25 |  8703402 |  6591098 |     1898   8229 |        0 |        0
797.33/797.66	c  797s |      25 |  8722467 |  6605998 |     1898   8243 |        0 |        0
799.33/799.66	c  799s |      25 |  8741288 |  6620498 |     1898   8258 |        0 |        0
801.33/801.67	c  801s |      25 |  8761236 |  6635498 |     1898   8273 |        0 |        0
803.33/803.67	c  803s |      25 |  8782294 |  6650798 |     1898   8288 |        0 |        0
805.33/805.68	c  805s |      25 |  8802963 |  6666298 |     1898   8304 |        0 |        0
807.33/807.69	c  807s |      25 |  8823368 |  6681898 |     1898   8319 |        0 |        0
809.34/809.70	c  809s |      25 |  8842782 |  6696698 |     1898   8334 |        0 |        0
811.43/811.70	c  811s |      25 |  8861855 |  6711498 |     1898   8349 |        0 |        0
813.43/813.71	c  813s |      25 |  8880807 |  6726198 |     1898   8364 |        0 |        0
815.43/815.71	c  815s |      25 |  8899466 |  6740498 |     1898   8379 |        0 |        0
817.42/817.72	c  817s |      25 |  8920889 |  6756198 |     1898   8395 |        0 |        0
819.42/819.73	c  819s |      25 |  8941430 |  6772198 |     1898   8411 |        0 |        0
821.43/821.74	c  821s |      25 |  8962096 |  6788098 |     1898   8427 |        0 |        0
823.42/823.74	c  823s |      25 |  8983527 |  6804198 |     1898   8443 |        0 |        0
825.42/825.75	c  825s |      25 |  9004570 |  6820098 |     1898   8459 |        0 |        0
827.41/827.76	c  827s |      25 |  9023548 |  6834998 |     1898   8474 |        0 |        0
829.41/829.76	c  829s |      25 |  9042420 |  6849698 |     1898   8489 |        0 |        0
831.42/831.77	c  831s |      25 |  9062152 |  6864398 |     1898   8504 |        0 |        0
833.41/833.78	c  833s |      25 |  9082405 |  6879598 |     1898   8519 |        0 |        0
835.41/835.79	c  835s |      25 |  9098877 |  6892198 |     1898   8532 |        0 |        0
837.40/837.79	c  837s |      25 |  9118094 |  6906998 |     1898   8547 |        0 |        0
839.40/839.79	c  839s |      25 |  9139237 |  6922698 |     1898   8563 |        0 |        0
841.50/841.80	c  841s |      25 |  9160184 |  6938498 |     1898   8579 |        0 |        0
843.51/843.80	c  843s |      25 |  9180362 |  6953498 |     1898   8594 |        0 |        0
845.50/845.82	c  845s |      25 |  9200631 |  6968798 |     1898   8609 |        0 |        0
847.49/847.82	c  847s |      25 |  9221186 |  6984098 |     1898   8625 |        0 |        0
849.49/849.82	c  849s |      25 |  9240837 |  6999298 |     1898   8640 |        0 |        0
851.49/851.82	c  851s |      25 |  9259630 |  7013798 |     1898   8655 |        0 |        0
853.49/853.84	c  853s |      25 |  9280150 |  7029198 |     1898   8671 |        0 |        0
855.50/855.85	c  855s |      25 |  9300357 |  7044398 |     1898   8686 |        0 |        0
857.49/857.85	c  857s |      25 |  9321369 |  7060198 |     1898   8702 |        0 |        0
859.49/859.86	c  859s |      25 |  9341349 |  7075898 |     1898   8718 |        0 |        0
861.49/861.86	c  861s |      25 |  9359699 |  7090498 |     1898   8733 |        0 |        0
863.49/863.88	c  863s |      25 |  9379506 |  7105998 |     1898   8748 |        0 |        0
865.50/865.89	c  865s |      25 |  9398585 |  7120998 |     1898   8764 |        0 |        0
867.49/867.90	c  867s |      25 |  9418883 |  7136498 |     1898   8779 |        0 |        0
869.59/869.91	c  869s |      25 |  9439300 |  7152198 |     1898   8795 |        0 |        0
871.59/871.91	c  871s |      25 |  9458339 |  7166298 |     1898   8809 |        0 |        0
873.58/873.92	c  873s |      25 |  9476379 |  7180298 |     1898   8824 |        0 |        0
875.58/875.93	c  875s |      25 |  9494864 |  7194498 |     1898   8838 |        0 |        0
877.58/877.94	c  877s |      25 |  9512248 |  7207698 |     1898   8852 |        0 |        0
879.58/879.95	c  879s |      25 |  9529381 |  7220798 |     1898   8865 |        0 |        0
881.58/881.97	c  881s |      25 |  9546441 |  7233898 |     1898   8879 |        0 |        0
883.57/883.97	c  883s |      25 |  9565421 |  7247798 |     1898   8893 |        0 |        0
885.57/885.99	c  885s |      25 |  9586575 |  7263498 |     1898   8909 |        0 |        0
887.57/887.99	c  887s |      25 |  9603775 |  7276798 |     1898   8922 |        0 |        0
889.58/890.00	c  889s |      25 |  9622335 |  7290998 |     1898   8937 |        0 |        0
891.67/892.00	c  891s |      25 |  9641576 |  7305798 |     1898   8952 |        0 |        0
893.67/894.01	c  893s |      25 |  9658395 |  7319498 |     1898   8966 |        0 |        0
895.67/896.01	c  895s |      25 |  9676182 |  7333798 |     1898   8980 |        0 |        0
897.66/898.01	c  897s |      25 |  9694027 |  7347998 |     1898   8995 |        0 |        0
899.66/900.02	c  900s |      25 |  9712457 |  7362298 |     1898   9009 |        0 |        0
901.67/902.03	c  902s |      25 |  9730591 |  7376198 |     1898   9024 |        0 |        0
903.67/904.03	c  904s |      25 |  9751285 |  7391598 |     1898   9039 |        0 |        0
905.67/906.04	c  906s |      25 |  9770387 |  7406098 |     1898   9054 |        0 |        0
907.66/908.05	c  908s |      25 |  9789223 |  7420598 |     1898   9068 |        0 |        0
909.66/910.07	c  910s |      25 |  9807535 |  7434298 |     1898   9082 |        0 |        0
911.67/912.08	c  912s |      25 |  9826463 |  7448198 |     1898   9096 |        0 |        0
913.66/914.08	c  914s |      25 |  9844286 |  7461798 |     1898   9110 |        0 |        0
915.66/916.08	c  916s |      25 |  9862697 |  7475898 |     1898   9124 |        0 |        0
917.65/918.09	c  918s |      25 |  9882810 |  7491198 |     1898   9140 |        0 |        0
919.75/920.10	c  920s |      25 |  9902666 |  7506798 |     1898   9156 |        0 |        0
921.75/922.11	c  922s |      25 |  9921979 |  7521698 |     1898   9171 |        0 |        0
923.76/924.11	c  924s |      25 |  9940238 |  7536098 |     1898   9186 |        0 |        0
925.75/926.12	c  926s |      25 |  9958348 |  7550198 |     2088   9199 |        0 |        0
927.74/928.13	c  928s |      25 |  9976140 |  7563698 |     2088   9212 |        0 |        0
929.74/930.13	c  930s |      25 |  9995858 |  7578598 |     2088   9226 |        0 |        0
931.74/932.15	c  932s |      25 | 10013777 |  7592698 |     2088   9238 |        0 |        0
932.45/932.90	c  932s |      26 | 10020095 |  7597752 |     2088   9243 |        0 |        0
934.54/934.91	c  934s |      26 | 10040656 |  7613452 |     2088   9257 |        0 |        0
936.53/936.92	c  936s |      26 | 10060175 |  7628452 |     2088   9270 |        0 |        0
938.53/938.92	c  938s |      26 | 10078395 |  7642852 |     2088   9283 |        0 |        0
940.53/940.92	c  940s |      26 | 10098155 |  7657352 |     2088   9296 |        0 |        0
942.53/942.94	c  942s |      26 | 10117510 |  7672252 |     2088   9310 |        0 |        0
944.54/944.95	c  944s |      26 | 10136191 |  7686752 |     2088   9323 |        0 |        0
946.53/946.96	c  946s |      26 | 10156048 |  7701752 |     2088   9336 |        0 |        0
948.53/948.97	c  948s |      26 | 10174303 |  7715752 |     2088   9348 |        0 |        0
950.52/950.98	c  950s |      26 | 10192867 |  7730052 |     2088   9361 |        0 |        0
952.52/952.98	c  952s |      26 | 10212815 |  7744952 |     2088   9374 |        0 |        0
954.53/954.99	c  954s |      26 | 10231530 |  7759552 |     2088   9388 |        0 |        0
956.52/956.99	c  956s |      26 | 10249480 |  7773752 |     2088   9400 |        0 |        0
958.52/958.99	c  958s |      26 | 10267309 |  7787652 |     2088   9413 |        0 |        0
960.62/961.00	c  960s |      26 | 10286550 |  7802352 |     2088   9426 |        0 |        0
962.62/963.01	c  962s |      26 | 10305471 |  7817152 |     2088   9439 |        0 |        0
964.62/965.01	c  964s |      26 | 10325829 |  7832752 |     2088   9453 |        0 |        0
966.62/967.01	c  966s |      26 | 10346032 |  7848052 |     2088   9467 |        0 |        0
968.62/969.02	c  969s |      26 | 10365953 |  7863352 |     2088   9480 |        0 |        0
970.62/971.03	c  971s |      26 | 10385123 |  7878052 |     2088   9494 |        0 |        0
972.62/973.04	c  973s |      26 | 10405904 |  7894052 |     2088   9508 |        0 |        0
974.62/975.05	c  975s |      26 | 10424513 |  7908452 |     2088   9521 |        0 |        0
976.61/977.05	c  977s |      26 | 10443705 |  7923352 |     2088   9535 |        0 |        0
978.62/979.06	c  979s |      26 | 10463402 |  7938152 |     2088   9548 |        0 |        0
980.61/981.06	c  981s |      26 | 10480653 |  7951952 |     2088   9560 |        0 |        0
982.61/983.06	c  983s |      26 | 10497958 |  7965352 |     2088   9572 |        0 |        0
984.61/985.07	c  985s |      26 | 10515539 |  7978752 |     2088   9584 |        0 |        0
986.60/987.08	c  987s |      26 | 10534758 |  7993452 |     2088   9598 |        0 |        0
988.61/989.09	c  989s |      26 | 10551560 |  8006952 |     2088   9610 |        0 |        0
990.71/991.10	c  991s |      26 | 10570057 |  8021252 |     2088   9623 |        0 |        0
992.70/993.12	c  993s |      26 | 10587478 |  8035052 |     2088   9635 |        0 |        0
994.70/995.12	c  995s |      26 | 10605761 |  8049052 |     2088   9648 |        0 |        0
996.70/997.12	c  997s |      26 | 10624550 |  8063052 |     2088   9661 |        0 |        0
998.70/999.14	c  999s |      26 | 10636947 |  8074152 |     2088   9670 |        0 |        0
1000.71/1001.16	c 1001s |      26 | 10652015 |  8086452 |     2088   9682 |        0 |        0
1002.70/1003.16	c 1003s |      26 | 10669441 |  8099852 |     2088   9694 |        0 |        0
1004.70/1005.17	c 1005s |      26 | 10687653 |  8113652 |     2088   9706 |        0 |        0
1006.69/1007.17	c 1007s |      26 | 10706243 |  8127752 |     2088   9719 |        0 |        0
1008.69/1009.18	c 1009s |      26 | 10724620 |  8141752 |     2088   9732 |        0 |        0
1010.69/1011.18	c 1011s |      26 | 10741563 |  8155152 |     2088   9744 |        0 |        0
1012.70/1013.19	c 1013s |      26 | 10758357 |  8168352 |     2088   9756 |        0 |        0
1014.70/1015.19	c 1015s |      26 | 10773577 |  8180552 |     2088   9767 |        0 |        0
1016.69/1017.19	c 1017s |      26 | 10791773 |  8194452 |     2088   9779 |        0 |        0
1018.79/1019.20	c 1019s |      26 | 10809593 |  8207852 |     2088   9791 |        0 |        0
1020.79/1021.20	c 1021s |      26 | 10828614 |  8222252 |     2088   9804 |        0 |        0
1022.79/1023.21	c 1023s |      26 | 10847276 |  8236352 |     2088   9817 |        0 |        0
1024.79/1025.22	c 1025s |      26 | 10866162 |  8250752 |     2088   9830 |        0 |        0
1026.78/1027.22	c 1027s |      26 | 10884095 |  8264252 |     2088   9842 |        0 |        0
1028.78/1029.23	c 1029s |      26 | 10900325 |  8277052 |     2088   9854 |        0 |        0
1030.78/1031.24	c 1031s |      26 | 10916075 |  8289852 |     2088   9865 |        0 |        0
1032.78/1033.25	c 1033s |      26 | 10932500 |  8302352 |     2088   9876 |        0 |        0
1034.78/1035.25	c 1035s |      26 | 10949388 |  8315652 |     2088   9888 |        0 |        0
1036.77/1037.25	c 1037s |      26 | 10968202 |  8330252 |     2088   9902 |        0 |        0
1038.78/1039.26	c 1039s |      26 | 10987604 |  8345352 |     2088   9915 |        0 |        0
1040.78/1041.26	c 1041s |      26 | 11006364 |  8359752 |     2088   9928 |        0 |        0
1042.78/1043.27	c 1043s |      26 | 11026000 |  8374752 |     2088   9942 |        0 |        0
1044.78/1045.27	c 1045s |      26 | 11044980 |  8389352 |     2088   9955 |        0 |        0
1046.78/1047.28	c 1047s |      26 | 11065506 |  8404752 |     2088   9969 |        0 |        0
1048.77/1049.29	c 1049s |      26 | 11086026 |  8420052 |     2088   9982 |        0 |        0
1050.87/1051.30	c 1051s |      26 | 11107068 |  8435752 |     2088   9997 |        0 |        0
1052.87/1053.31	c 1053s |      26 | 11126085 |  8450552 |     2088  10010 |        0 |        0
1054.87/1055.32	c 1055s |      26 | 11145708 |  8465552 |     2088  10024 |        0 |        0
1056.86/1057.32	c 1057s |      26 | 11166440 |  8480952 |     2088  10037 |        0 |        0
1058.87/1059.33	c 1059s |      26 | 11185825 |  8495552 |     2088  10051 |        0 |        0
1060.86/1061.34	c 1061s |      26 | 11203801 |  8509652 |     2088  10063 |        0 |        0
1062.86/1063.35	c 1063s |      26 | 11222783 |  8524252 |     2088  10076 |        0 |        0
1064.86/1065.35	c 1065s |      26 | 11242791 |  8539752 |     2088  10091 |        0 |        0
1066.86/1067.35	c 1067s |      26 | 11262619 |  8554752 |     2088  10104 |        0 |        0
1068.86/1069.36	c 1069s |      26 | 11280098 |  8568052 |     2088  10116 |        0 |        0
1070.86/1071.37	c 1071s |      26 | 11298960 |  8582552 |     2088  10129 |        0 |        0
1072.85/1073.39	c 1073s |      26 | 11317734 |  8597052 |     2088  10142 |        0 |        0
1074.85/1075.39	c 1075s |      26 | 11336677 |  8611452 |     2088  10155 |        0 |        0
1076.85/1077.39	c 1077s |      26 | 11355300 |  8626052 |     2088  10168 |        0 |        0
1078.85/1079.39	c 1079s |      26 | 11374447 |  8640652 |     2088  10182 |        0 |        0
1080.85/1081.40	c 1081s |      26 | 11393750 |  8655552 |     2088  10195 |        0 |        0
1082.95/1083.41	c 1083s |      26 | 11412068 |  8669052 |     2088  10207 |        0 |        0
1084.95/1085.42	c 1085s |      26 | 11428512 |  8681952 |     2088  10219 |        0 |        0
1086.94/1087.43	c 1087s |      26 | 11446213 |  8695452 |     2088  10231 |        0 |        0
1088.94/1089.44	c 1089s |      26 | 11464239 |  8709152 |     2088  10244 |        0 |        0
1090.94/1091.46	c 1091s |      26 | 11481724 |  8722852 |     2088  10256 |        0 |        0
1092.95/1093.47	c 1093s |      26 | 11499510 |  8736752 |     2088  10268 |        0 |        0
1094.95/1095.48	c 1095s |      26 | 11518610 |  8751352 |     2088  10282 |        0 |        0
1096.94/1097.48	c 1097s |      26 | 11534314 |  8764452 |     2088  10293 |        0 |        0
1099.04/1099.50	c 1099s |      26 | 11550522 |  8777852 |     2088  10306 |        0 |        0
1101.04/1101.51	c 1101s |      26 | 11569248 |  8792452 |     2088  10319 |        0 |        0
1103.04/1103.52	c 1103s |      26 | 11589699 |  8807652 |     2088  10332 |        0 |        0
1105.05/1105.52	c 1105s |      26 | 11608828 |  8821952 |     2088  10345 |        0 |        0
1107.04/1107.52	c 1107s |      26 | 11627620 |  8836152 |     2088  10358 |        0 |        0
1109.04/1109.53	c 1109s |      26 | 11644760 |  8849652 |     2088  10370 |        0 |        0
1111.04/1111.54	c 1111s |      26 | 11663992 |  8864252 |     2088  10384 |        0 |        0
1113.04/1113.54	c 1113s |      26 | 11680025 |  8876952 |     2088  10395 |        0 |        0
1115.04/1115.54	c 1115s |      26 | 11696813 |  8890252 |     2088  10407 |        0 |        0
1117.03/1117.55	c 1117s |      26 | 11714391 |  8903952 |     2088  10419 |        0 |        0
1119.03/1119.55	c 1119s |      26 | 11732317 |  8917652 |     2088  10432 |        0 |        0
1121.03/1121.55	c 1121s |      26 | 11750910 |  8931652 |     2088  10444 |        0 |        0
1123.03/1123.57	c 1123s |      26 | 11768386 |  8945752 |     2088  10457 |        0 |        0
1125.03/1125.57	c 1125s |      26 | 11786668 |  8960052 |     2088  10470 |        0 |        0
1127.03/1127.58	c 1127s |      26 | 11805507 |  8974052 |     2088  10483 |        0 |        0
1129.02/1129.59	c 1129s |      26 | 11826063 |  8989152 |     2088  10496 |        0 |        0
1131.12/1131.60	c 1131s |      26 | 11843890 |  9003052 |     2088  10509 |        0 |        0
1133.13/1133.60	c 1133s |      26 | 11863668 |  9017452 |     2088  10522 |        0 |        0
1135.13/1135.60	c 1135s |      26 | 11882390 |  9031652 |     2088  10535 |        0 |        0
1137.12/1137.60	c 1137s |      26 | 11901144 |  9046052 |     2088  10548 |        0 |        0
1139.13/1139.61	c 1139s |      26 | 11921108 |  9060752 |     2088  10561 |        0 |        0
1141.12/1141.62	c 1141s |      26 | 11939837 |  9075452 |     2088  10574 |        0 |        0
1143.12/1143.63	c 1143s |      26 | 11957824 |  9089552 |     2088  10587 |        0 |        0
1145.12/1145.63	c 1145s |      26 | 11975039 |  9103252 |     2088  10599 |        0 |        0
1147.11/1147.64	c 1147s |      26 | 11991759 |  9116352 |     2088  10611 |        0 |        0
1149.12/1149.65	c 1149s |      26 | 12009648 |  9129852 |     2088  10623 |        0 |        0
1151.11/1151.65	c 1151s |      26 | 12027204 |  9143352 |     2088  10636 |        0 |        0
1153.11/1153.66	c 1153s |      26 | 12046136 |  9157852 |     2088  10649 |        0 |        0
1155.11/1155.67	c 1155s |      26 | 12064717 |  9172152 |     2088  10662 |        0 |        0
1157.10/1157.67	c 1157s |      26 | 12083304 |  9186852 |     2088  10675 |        0 |        0
1159.10/1159.67	c 1159s |      26 | 12101261 |  9201052 |     2088  10688 |        0 |        0
1161.11/1161.67	c 1161s |      26 | 12119869 |  9215252 |     2088  10701 |        0 |        0
1163.10/1163.67	c 1163s |      26 | 12139213 |  9229852 |     2088  10714 |        0 |        0
1165.10/1165.68	c 1165s |      26 | 12158602 |  9244752 |     2088  10727 |        0 |        0
1167.10/1167.69	c 1167s |      26 | 12177272 |  9259352 |     2088  10741 |        0 |        0
1169.10/1169.69	c 1169s |      26 | 12196250 |  9273552 |     2088  10753 |        0 |        0
1171.20/1171.70	c 1171s |      26 | 12213193 |  9287152 |     2088  10766 |        0 |        0
1173.20/1173.71	c 1173s |      26 | 12231389 |  9301452 |     2088  10779 |        0 |        0
1175.19/1175.71	c 1175s |      26 | 12249034 |  9314852 |     2088  10791 |        0 |        0
1177.20/1177.72	c 1177s |      26 | 12267746 |  9329052 |     2088  10804 |        0 |        0
1179.20/1179.73	c 1179s |      26 | 12286429 |  9343252 |     2088  10816 |        0 |        0
1181.20/1181.73	c 1181s |      26 | 12305437 |  9357352 |     2088  10829 |        0 |        0
1183.21/1183.74	c 1183s |      26 | 12323964 |  9371752 |     2088  10842 |        0 |        0
1185.20/1185.76	c 1185s |      26 | 12343536 |  9386252 |     2088  10856 |        0 |        0
1187.20/1187.78	c 1187s |      26 | 12362193 |  9400552 |     2088  10868 |        0 |        0
1189.20/1189.78	c 1189s |      26 | 12379883 |  9414152 |     2088  10881 |        0 |        0
1191.20/1191.79	c 1191s |      26 | 12399972 |  9428652 |     2088  10894 |        0 |        0
1193.19/1193.79	c 1193s |      26 | 12419187 |  9443152 |     2088  10907 |        0 |        0
1195.30/1195.80	c 1195s |      26 | 12438250 |  9457452 |     2088  10920 |        0 |        0
1197.29/1197.81	c 1197s |      26 | 12456793 |  9471752 |     2088  10933 |        0 |        0
1199.29/1199.81	c 1199s |      26 | 12475564 |  9486252 |     2088  10946 |        0 |        0
1201.29/1201.83	c 1201s |      26 | 12493183 |  9500152 |     2088  10959 |        0 |        0
1203.29/1203.84	c 1203s |      26 | 12511883 |  9514552 |     2088  10972 |        0 |        0
1205.29/1205.84	c 1205s |      26 | 12528228 |  9527352 |     2088  10983 |        0 |        0
1207.30/1207.85	c 1207s |      26 | 12544929 |  9540252 |     2088  10995 |        0 |        0
1209.29/1209.87	c 1209s |      26 | 12563416 |  9554152 |     2088  11007 |        0 |        0
1211.29/1211.88	c 1211s |      26 | 12580958 |  9567452 |     2088  11020 |        0 |        0
1213.30/1213.88	c 1213s |      26 | 12601001 |  9582752 |     2088  11033 |        0 |        0
1215.39/1215.90	c 1215s |      26 | 12620496 |  9597252 |     2088  11047 |        0 |        0
1217.39/1217.91	c 1217s |      26 | 12640849 |  9612252 |     2088  11060 |        0 |        0
1219.40/1219.92	c 1219s |      26 | 12659659 |  9626552 |     2088  11073 |        0 |        0
1221.39/1221.93	c 1221s |      26 | 12677427 |  9639852 |     2088  11085 |        0 |        0
1223.39/1223.94	c 1223s |      26 | 12697992 |  9654952 |     2088  11099 |        0 |        0
1225.39/1225.95	c 1225s |      26 | 12715215 |  9668252 |     2088  11111 |        0 |        0
1227.39/1227.96	c 1227s |      26 | 12730572 |  9680452 |     2088  11122 |        0 |        0
1229.39/1229.96	c 1229s |      26 | 12749150 |  9694252 |     2088  11134 |        0 |        0
1231.39/1231.96	c 1231s |      26 | 12768711 |  9708952 |     2088  11148 |        0 |        0
1233.39/1233.96	c 1233s |      26 | 12788140 |  9723352 |     2088  11161 |        0 |        0
1235.39/1235.97	c 1235s |      26 | 12806242 |  9737252 |     2088  11173 |        0 |        0
1237.38/1237.99	c 1237s |      26 | 12824355 |  9751452 |     2088  11186 |        0 |        0
1239.39/1239.99	c 1239s |      26 | 12842837 |  9765752 |     2088  11199 |        0 |        0
1241.40/1242.00	c 1241s |      26 | 12861265 |  9779652 |     2088  11211 |        0 |        0
1243.49/1244.01	c 1243s |      26 | 12879953 |  9793852 |     2088  11224 |        0 |        0
1245.49/1246.02	c 1246s |      26 | 12897202 |  9807352 |     2088  11237 |        0 |        0
1247.49/1248.03	c 1248s |      26 | 12915646 |  9821452 |     2088  11249 |        0 |        0
1249.49/1250.04	c 1250s |      26 | 12934189 |  9835452 |     2088  11262 |        0 |        0
1251.49/1252.05	c 1252s |      26 | 12953194 |  9849252 |     2088  11274 |        0 |        0
1253.49/1254.07	c 1254s |      26 | 12972500 |  9863652 |     2088  11287 |        0 |        0
1255.49/1256.07	c 1256s |      26 | 12990241 |  9876852 |     2088  11299 |        0 |        0
1257.49/1258.07	c 1258s |      26 | 13009990 |  9891552 |     2088  11313 |        0 |        0
1259.49/1260.07	c 1260s |      26 | 13027443 |  9905152 |     2088  11325 |        0 |        0
1261.49/1262.08	c 1262s |      26 | 13046904 |  9919652 |     2088  11338 |        0 |        0
1263.49/1264.09	c 1264s |      26 | 13064897 |  9933152 |     2088  11350 |        0 |        0
1265.48/1266.10	c 1266s |      26 | 13080182 |  9945352 |     2088  11361 |        0 |        0
1267.58/1268.10	c 1268s |      26 | 13097420 |  9958552 |     2088  11373 |        0 |        0
1269.58/1270.11	c 1270s |      26 | 13113530 |  9971252 |     2088  11385 |        0 |        0
1271.58/1272.12	c 1272s |      26 | 13131019 |  9984552 |     2088  11397 |        0 |        0
1273.58/1274.13	c 1274s |      26 | 13146613 |  9996852 |     2088  11408 |        0 |        0
1275.59/1276.13	c 1276s |      26 | 13163570 | 10010052 |     2088  11420 |        0 |        0
1277.58/1278.15	c 1278s |      26 | 13181927 | 10024052 |     2088  11433 |        0 |        0
1279.58/1280.16	c 1280s |      26 | 13199626 | 10037952 |     2088  11445 |        0 |        0
1281.58/1282.18	c 1282s |      26 | 13217397 | 10051552 |     2088  11458 |        0 |        0
1283.58/1284.19	c 1284s |      26 | 13232338 | 10063652 |     2088  11468 |        0 |        0
1285.68/1286.20	c 1286s |      26 | 13248592 | 10075952 |     2088  11480 |        0 |        0
1287.69/1288.22	c 1288s |      26 | 13263164 | 10088052 |     2088  11490 |        0 |        0
1289.68/1290.23	c 1290s |      26 | 13279116 | 10100552 |     2088  11502 |        0 |        0
1291.68/1292.24	c 1292s |      26 | 13294450 | 10112452 |     2088  11513 |        0 |        0
1293.68/1294.25	c 1294s |      26 | 13310808 | 10125152 |     2088  11524 |        0 |        0
1295.68/1296.26	c 1296s |      26 | 13329265 | 10138952 |     2088  11537 |        0 |        0
1297.68/1298.26	c 1298s |      26 | 13346411 | 10152352 |     2088  11549 |        0 |        0
1299.68/1300.27	c 1300s |      26 | 13364976 | 10166252 |     2088  11561 |        0 |        0
1301.68/1302.28	c 1302s |      26 | 13383319 | 10179752 |     2088  11573 |        0 |        0
1303.68/1304.28	c 1304s |      26 | 13401017 | 10193252 |     2088  11586 |        0 |        0
1305.68/1306.29	c 1306s |      26 | 13416901 | 10205752 |     2088  11597 |        0 |        0
1307.78/1308.30	c 1308s |      26 | 13434569 | 10219052 |     2088  11609 |        0 |        0
1309.78/1310.31	c 1310s |      26 | 13452356 | 10232852 |     2088  11621 |        0 |        0
1311.79/1312.31	c 1312s |      26 | 13466216 | 10244352 |     2088  11632 |        0 |        0
1313.78/1314.32	c 1314s |      26 | 13481449 | 10256652 |     2088  11643 |        0 |        0
1315.78/1316.33	c 1316s |      26 | 13496803 | 10268752 |     2088  11654 |        0 |        0
1317.78/1318.33	c 1318s |      26 | 13513464 | 10281752 |     2088  11666 |        0 |        0
1319.78/1320.34	c 1320s |      26 | 13530810 | 10295052 |     2088  11678 |        0 |        0
1321.78/1322.36	c 1322s |      26 | 13548916 | 10309252 |     2088  11691 |        0 |        0
1323.78/1324.36	c 1324s |      26 | 13565918 | 10322652 |     2088  11703 |        0 |        0
1325.77/1326.37	c 1326s |      26 | 13583331 | 10336152 |     2088  11715 |        0 |        0
1327.77/1328.38	c 1328s |      26 | 13600613 | 10349852 |     2088  11727 |        0 |        0
1329.77/1330.38	c 1330s |      26 | 13617932 | 10363152 |     2088  11739 |        0 |        0
1331.77/1332.38	c 1332s |      26 | 13632384 | 10374952 |     2088  11750 |        0 |        0
1333.78/1334.38	c 1334s |      26 | 13649398 | 10388252 |     2088  11762 |        0 |        0
1335.87/1336.40	c 1336s |      26 | 13665567 | 10401052 |     2088  11774 |        0 |        0
1337.87/1338.41	c 1338s |      26 | 13683124 | 10414552 |     2088  11786 |        0 |        0
1339.87/1340.43	c 1340s |      26 | 13701343 | 10428652 |     2088  11798 |        0 |        0
1341.87/1342.43	c 1342s |      26 | 13718604 | 10441952 |     2088  11811 |        0 |        0
1343.87/1344.43	c 1344s |      26 | 13735766 | 10455452 |     2088  11823 |        0 |        0
1345.88/1346.45	c 1346s |      26 | 13751619 | 10468152 |     2088  11834 |        0 |        0
1347.87/1348.45	c 1348s |      26 | 13767827 | 10481152 |     2088  11846 |        0 |        0
1349.87/1350.46	c 1350s |      26 | 13785835 | 10494852 |     2088  11858 |        0 |        0
1351.87/1352.46	c 1352s |      26 | 13803917 | 10508852 |     2088  11871 |        0 |        0
1353.87/1354.46	c 1354s |      26 | 13821265 | 10522552 |     2088  11883 |        0 |        0
1355.87/1356.48	c 1356s |      26 | 13840025 | 10536852 |     2088  11896 |        0 |        0
1357.87/1358.48	c 1358s |      26 | 13858723 | 10550852 |     2088  11909 |        0 |        0
1359.87/1360.49	c 1360s |      26 | 13876421 | 10564152 |     2088  11921 |        0 |        0
1361.87/1362.49	c 1362s |      26 | 13896208 | 10579152 |     2088  11935 |        0 |        0
1363.97/1364.52	c 1364s |      26 | 13914427 | 10593352 |     2088  11948 |        0 |        0
1365.97/1366.53	c 1366s |      26 | 13933709 | 10608052 |     2088  11961 |        0 |        0
1367.97/1368.53	c 1368s |      26 | 13953203 | 10622752 |     2088  11974 |        0 |        0
1369.96/1370.53	c 1370s |      26 | 13972142 | 10636952 |     2088  11987 |        0 |        0
1371.96/1372.54	c 1372s |      26 | 13990350 | 10650752 |     2088  11999 |        0 |        0
1373.96/1374.55	c 1374s |      26 | 14006754 | 10663952 |     2088  12011 |        0 |        0
1375.97/1376.55	c 1376s |      26 | 14024639 | 10677752 |     2088  12024 |        0 |        0
1377.97/1378.55	c 1378s |      26 | 14042468 | 10691152 |     2088  12036 |        0 |        0
1379.98/1380.57	c 1380s |      26 | 14062083 | 10706052 |     2088  12049 |        0 |        0
1381.97/1382.57	c 1382s |      26 | 14079796 | 10719552 |     2088  12062 |        0 |        0
1383.97/1384.58	c 1384s |      26 | 14097630 | 10733052 |     2088  12074 |        0 |        0
1385.97/1386.59	c 1386s |      26 | 14115622 | 10747052 |     2088  12087 |        0 |        0
1388.07/1388.60	c 1388s |      26 | 14133913 | 10760852 |     2088  12099 |        0 |        0
1390.07/1390.60	c 1390s |      26 | 14151634 | 10774452 |     2088  12111 |        0 |        0
1392.08/1392.61	c 1392s |      26 | 14171019 | 10789052 |     2088  12125 |        0 |        0
1394.07/1394.63	c 1394s |      26 | 14189408 | 10803452 |     2088  12138 |        0 |        0
1396.07/1396.64	c 1396s |      26 | 14208382 | 10817652 |     2088  12150 |        0 |        0
1398.07/1398.65	c 1398s |      26 | 14225818 | 10831352 |     2088  12163 |        0 |        0
1400.07/1400.66	c 1400s |      26 | 14243256 | 10844952 |     2088  12175 |        0 |        0
1402.07/1402.66	c 1402s |      26 | 14260502 | 10858152 |     2088  12187 |        0 |        0
1404.07/1404.68	c 1404s |      26 | 14277033 | 10871152 |     2088  12199 |        0 |        0
1406.07/1406.69	c 1406s |      26 | 14292446 | 10883552 |     2088  12210 |        0 |        0
1408.07/1408.69	c 1408s |      26 | 14310543 | 10897052 |     2088  12222 |        0 |        0
1410.06/1410.69	c 1410s |      26 | 14326786 | 10909752 |     2088  12234 |        0 |        0
1412.16/1412.70	c 1412s |      26 | 14343093 | 10922352 |     2088  12245 |        0 |        0
1414.17/1414.70	c 1414s |      26 | 14361348 | 10936252 |     2088  12257 |        0 |        0
1416.16/1416.72	c 1416s |      26 | 14378671 | 10949652 |     2088  12270 |        0 |        0
1418.16/1418.73	c 1418s |      26 | 14393883 | 10961852 |     2088  12281 |        0 |        0
1420.16/1420.73	c 1420s |      26 | 14412220 | 10975452 |     2088  12293 |        0 |        0
1422.16/1422.74	c 1422s |      26 | 14430766 | 10989352 |     2088  12306 |        0 |        0
1424.16/1424.75	c 1424s |      26 | 14449202 | 11003152 |     2088  12318 |        0 |        0
1426.17/1426.76	c 1426s |      26 | 14468082 | 11017152 |     2088  12331 |        0 |        0
1428.16/1428.76	c 1428s |      26 | 14486832 | 11031352 |     2088  12344 |        0 |        0
1430.16/1430.76	c 1430s |      26 | 14505033 | 11045252 |     2088  12356 |        0 |        0
1432.16/1432.76	c 1432s |      26 | 14523266 | 11058852 |     2088  12369 |        0 |        0
1434.16/1434.77	c 1434s |      26 | 14542091 | 11073052 |     2088  12382 |        0 |        0
1436.16/1436.77	c 1436s |      26 | 14562379 | 11088152 |     2088  12395 |        0 |        0
1438.15/1438.77	c 1438s |      26 | 14579693 | 11101252 |     2088  12407 |        0 |        0
1440.15/1440.78	c 1440s |      26 | 14596113 | 11114352 |     2088  12419 |        0 |        0
1442.15/1442.79	c 1442s |      26 | 14611743 | 11126952 |     2088  12430 |        0 |        0
1444.15/1444.79	c 1444s |      26 | 14629208 | 11140252 |     2088  12442 |        0 |        0
1446.25/1446.80	c 1446s |      26 | 14646251 | 11153452 |     2088  12454 |        0 |        0
1448.27/1448.81	c 1448s |      26 | 14663077 | 11166452 |     2088  12466 |        0 |        0
1450.26/1450.81	c 1450s |      26 | 14678237 | 11178352 |     2088  12477 |        0 |        0
1452.26/1452.83	c 1452s |      26 | 14693375 | 11190352 |     2088  12488 |        0 |        0
1454.26/1454.84	c 1454s |      26 | 14709554 | 11202952 |     2088  12499 |        0 |        0
1456.26/1456.85	c 1456s |      26 | 14726036 | 11215552 |     2088  12510 |        0 |        0
1458.26/1458.85	c 1458s |      26 | 14741897 | 11228152 |     2088  12522 |        0 |        0
1460.26/1460.86	c 1460s |      26 | 14757866 | 11240652 |     2088  12533 |        0 |        0
1462.26/1462.86	c 1462s |      26 | 14774924 | 11253852 |     2088  12545 |        0 |        0
1464.26/1464.86	c 1464s |      26 | 14791893 | 11267052 |     2088  12557 |        0 |        0
1466.25/1466.86	c 1466s |      26 | 14809299 | 11280152 |     2088  12569 |        0 |        0
1468.25/1468.88	c 1468s |      26 | 14826627 | 11292952 |     2088  12581 |        0 |        0
1470.26/1470.88	c 1470s |      26 | 14843800 | 11306052 |     2088  12592 |        0 |        0
1472.25/1472.88	c 1472s |      26 | 14859977 | 11318852 |     2297  12604 |        0 |        0
1474.25/1474.89	c 1474s |      26 | 14875163 | 11330752 |     2297  12614 |        0 |        0
1476.35/1476.90	c 1476s |      26 | 14891661 | 11343252 |     2297  12624 |        0 |        0
1478.35/1478.91	c 1478s |      26 | 14907940 | 11356052 |     2297  12634 |        0 |        0
1480.35/1480.91	c 1480s |      26 | 14925100 | 11369352 |     2297  12645 |        0 |        0
1482.36/1482.92	c 1482s |      26 | 14942105 | 11382452 |     2297  12656 |        0 |        0
1484.35/1484.93	c 1484s |      26 | 14959392 | 11395652 |     2297  12667 |        0 |        0
1484.46/1485.10	c 1485s |      27 | 14960747 | 11396733 |     2297  12668 |        0 |        0
1486.55/1487.10	c 1487s |      27 | 14979212 | 11410433 |     2297  12679 |        0 |        0
1488.55/1489.11	c 1489s |      27 | 14997110 | 11424033 |     2297  12691 |        0 |        0
1490.55/1491.12	c 1491s |      27 | 15015461 | 11437833 |     2297  12702 |        0 |        0
1492.55/1493.12	c 1493s |      27 | 15030929 | 11449833 |     2297  12712 |        0 |        0
1494.54/1495.12	c 1495s |      27 | 15046589 | 11462033 |     2297  12722 |        0 |        0
1496.56/1497.13	c 1497s |      27 | 15062479 | 11474533 |     2297  12733 |        0 |        0
1498.55/1499.14	c 1499s |      27 | 15079556 | 11487733 |     2297  12743 |        0 |        0
1500.55/1501.15	c 1501s |      27 | 15095929 | 11500033 |     2297  12754 |        0 |        0
1502.55/1503.15	c 1503s |      27 | 15112095 | 11512733 |     2297  12764 |        0 |        0
1504.55/1505.15	c 1505s |      27 | 15129709 | 11526133 |     2297  12775 |        0 |        0
1506.56/1507.16	c 1507s |      27 | 15147793 | 11539633 |     2297  12786 |        0 |        0
1508.55/1509.16	c 1509s |      27 | 15165075 | 11552833 |     2297  12797 |        0 |        0
1510.55/1511.17	c 1511s |      27 | 15182110 | 11565833 |     2297  12808 |        0 |        0
1512.55/1513.18	c 1513s |      27 | 15198273 | 11578533 |     2297  12819 |        0 |        0
1514.55/1515.19	c 1515s |      27 | 15216609 | 11591933 |     2297  12830 |        0 |        0
1516.65/1517.20	c 1517s |      27 | 15233886 | 11605233 |     2297  12841 |        0 |        0
1518.55/1519.20	c 1519s |      27 | 15253410 | 11619033 |     2297  12852 |        0 |        0
1520.64/1521.21	c 1521s |      27 | 15273116 | 11633533 |     2297  12865 |        0 |        0
1522.64/1523.22	c 1523s |      27 | 15293368 | 11647933 |     2297  12877 |        0 |        0
1524.64/1525.22	c 1525s |      27 | 15311447 | 11661533 |     2297  12888 |        0 |        0
1526.64/1527.23	c 1527s |      27 | 15329733 | 11674933 |     2297  12899 |        0 |        0
1528.64/1529.23	c 1529s |      27 | 15347340 | 11688333 |     2297  12910 |        0 |        0
1530.65/1531.26	c 1531s |      27 | 15364729 | 11701633 |     2297  12922 |        0 |        0
1532.64/1533.26	c 1533s |      27 | 15383879 | 11715733 |     2297  12933 |        0 |        0
1534.64/1535.28	c 1535s |      27 | 15401051 | 11728833 |     2297  12944 |        0 |        0
1536.64/1537.29	c 1537s |      27 | 15420660 | 11742733 |     2297  12956 |        0 |        0
1538.74/1539.30	c 1539s |      27 | 15439621 | 11756533 |     2297  12967 |        0 |        0
1540.74/1541.31	c 1541s |      27 | 15457041 | 11769633 |     2297  12978 |        0 |        0
1542.75/1543.32	c 1543s |      27 | 15474102 | 11782433 |     2297  12988 |        0 |        0
1544.74/1545.32	c 1545s |      27 | 15490077 | 11794633 |     2297  12998 |        0 |        0
1546.74/1547.33	c 1547s |      27 | 15506935 | 11807433 |     2297  13009 |        0 |        0
1548.74/1549.34	c 1549s |      27 | 15523189 | 11819533 |     2297  13019 |        0 |        0
1550.74/1551.34	c 1551s |      27 | 15539626 | 11832433 |     2297  13029 |        0 |        0
1552.75/1553.35	c 1553s |      27 | 15556515 | 11845233 |     2297  13040 |        0 |        0
1554.74/1555.36	c 1555s |      27 | 15573971 | 11857933 |     2297  13050 |        0 |        0
1556.74/1557.37	c 1557s |      27 | 15591450 | 11870633 |     2297  13061 |        0 |        0
1558.74/1559.38	c 1559s |      27 | 15608377 | 11883233 |     2297  13072 |        0 |        0
1560.74/1561.39	c 1561s |      27 | 15623974 | 11895133 |     2297  13082 |        0 |        0
1562.84/1563.41	c 1563s |      27 | 15639950 | 11907133 |     2297  13092 |        0 |        0
1564.85/1565.41	c 1565s |      27 | 15657702 | 11920333 |     2297  13103 |        0 |        0
1566.84/1567.42	c 1567s |      27 | 15674970 | 11933133 |     2297  13114 |        0 |        0
1568.84/1569.42	c 1569s |      27 | 15692642 | 11946233 |     2297  13125 |        0 |        0
1570.84/1571.42	c 1571s |      27 | 15710072 | 11959033 |     2297  13135 |        0 |        0
1572.84/1573.43	c 1573s |      27 | 15727586 | 11971933 |     2297  13146 |        0 |        0
1574.84/1575.44	c 1575s |      27 | 15744440 | 11984333 |     2297  13157 |        0 |        0
1576.85/1577.45	c 1577s |      27 | 15759726 | 11996033 |     2297  13167 |        0 |        0
1578.84/1579.45	c 1579s |      27 | 15776318 | 12008933 |     2297  13177 |        0 |        0
1580.84/1581.47	c 1581s |      27 | 15793712 | 12021833 |     2297  13188 |        0 |        0
1582.84/1583.47	c 1583s |      27 | 15809944 | 12034133 |     2297  13199 |        0 |        0
1584.84/1585.48	c 1585s |      27 | 15826272 | 12046233 |     2297  13209 |        0 |        0
1586.94/1587.50	c 1587s |      27 | 15841411 | 12057733 |     2297  13219 |        0 |        0
1588.94/1589.51	c 1589s |      27 | 15856057 | 12069333 |     2297  13228 |        0 |        0
1590.93/1591.52	c 1591s |      27 | 15872340 | 12081433 |     2297  13239 |        0 |        0
1592.93/1593.52	c 1593s |      27 | 15887080 | 12092433 |     2297  13248 |        0 |        0
1594.93/1595.53	c 1595s |      27 | 15904900 | 12104833 |     2297  13258 |        0 |        0
1596.93/1597.54	c 1597s |      27 | 15921542 | 12117433 |     2297  13269 |        0 |        0
1598.94/1599.54	c 1599s |      27 | 15939317 | 12130333 |     2297  13279 |        0 |        0
1600.93/1601.55	c 1601s |      27 | 15956894 | 12143433 |     2297  13290 |        0 |        0
1602.93/1603.55	c 1603s |      27 | 15972748 | 12155533 |     2297  13300 |        0 |        0
1604.93/1605.57	c 1605s |      27 | 15989844 | 12168133 |     2297  13311 |        0 |        0
1606.93/1607.57	c 1607s |      27 | 16007328 | 12180633 |     2297  13321 |        0 |        0
1608.93/1609.57	c 1609s |      27 | 16022549 | 12192433 |     2297  13331 |        0 |        0
1610.93/1611.58	c 1611s |      27 | 16039983 | 12205133 |     2297  13342 |        0 |        0
1612.93/1613.59	c 1613s |      27 | 16053859 | 12216333 |     2297  13351 |        0 |        0
1615.03/1615.61	c 1615s |      27 | 16068782 | 12227533 |     2297  13361 |        0 |        0
1617.03/1617.62	c 1617s |      27 | 16084075 | 12239533 |     2297  13371 |        0 |        0
1619.03/1619.62	c 1619s |      27 | 16100436 | 12252033 |     2297  13381 |        0 |        0
1621.03/1621.63	c 1621s |      27 | 16115841 | 12263833 |     2297  13391 |        0 |        0
1623.04/1623.64	c 1623s |      27 | 16132805 | 12276633 |     2297  13402 |        0 |        0
1625.03/1625.64	c 1625s |      27 | 16149085 | 12289233 |     2297  13412 |        0 |        0
1627.03/1627.65	c 1627s |      27 | 16167134 | 12302033 |     2297  13423 |        0 |        0
1629.03/1629.66	c 1629s |      27 | 16184725 | 12315033 |     2297  13434 |        0 |        0
1631.03/1631.67	c 1631s |      27 | 16203253 | 12328433 |     2297  13445 |        0 |        0
1633.04/1633.68	c 1633s |      27 | 16221336 | 12341833 |     2297  13456 |        0 |        0
1635.03/1635.70	c 1635s |      27 | 16237777 | 12354133 |     2297  13467 |        0 |        0
1637.13/1637.70	c 1637s |      27 | 16255129 | 12367033 |     2297  13477 |        0 |        0
1639.13/1639.70	c 1639s |      27 | 16271051 | 12379433 |     2297  13488 |        0 |        0
1641.13/1641.71	c 1641s |      27 | 16286953 | 12391733 |     2297  13498 |        0 |        0
1643.13/1643.72	c 1643s |      27 | 16303652 | 12404133 |     2297  13508 |        0 |        0
1645.14/1645.73	c 1645s |      27 | 16319583 | 12416233 |     2297  13519 |        0 |        0
1647.13/1647.73	c 1647s |      27 | 16336051 | 12428733 |     2297  13529 |        0 |        0
1649.13/1649.74	c 1649s |      27 | 16352855 | 12441033 |     2297  13539 |        0 |        0
1651.12/1651.74	c 1651s |      27 | 16369947 | 12453733 |     2297  13550 |        0 |        0
1653.12/1653.76	c 1653s |      27 | 16385098 | 12465833 |     2297  13560 |        0 |        0
1655.12/1655.76	c 1655s |      27 | 16402711 | 12478533 |     2297  13571 |        0 |        0
1657.13/1657.77	c 1657s |      27 | 16420117 | 12491133 |     2297  13581 |        0 |        0
1659.12/1659.78	c 1659s |      27 | 16436437 | 12503533 |     2297  13592 |        0 |        0
1661.12/1661.78	c 1661s |      27 | 16451851 | 12515733 |     2297  13602 |        0 |        0
1663.12/1663.79	c 1663s |      27 | 16468926 | 12528533 |     2297  13613 |        0 |        0
1665.23/1665.80	c 1665s |      27 | 16486499 | 12541433 |     2297  13624 |        0 |        0
1667.23/1667.81	c 1667s |      27 | 16504119 | 12554433 |     2297  13635 |        0 |        0
1669.23/1669.82	c 1669s |      27 | 16520374 | 12567133 |     2297  13645 |        0 |        0
1671.23/1671.83	c 1671s |      27 | 16538361 | 12580133 |     2297  13656 |        0 |        0
1673.23/1673.84	c 1673s |      27 | 16555943 | 12592933 |     2297  13666 |        0 |        0
1675.23/1675.84	c 1675s |      27 | 16571470 | 12605133 |     2297  13677 |        0 |        0
1677.23/1677.84	c 1677s |      27 | 16588438 | 12617733 |     2297  13687 |        0 |        0
1679.23/1679.85	c 1679s |      27 | 16605925 | 12630533 |     2297  13698 |        0 |        0
1681.22/1681.87	c 1681s |      27 | 16622406 | 12643133 |     2297  13708 |        0 |        0
1683.22/1683.87	c 1683s |      27 | 16638930 | 12655533 |     2297  13719 |        0 |        0
1685.22/1685.88	c 1685s |      27 | 16654493 | 12667633 |     2297  13729 |        0 |        0
1687.22/1687.89	c 1687s |      27 | 16670595 | 12679733 |     2297  13739 |        0 |        0
1689.32/1689.91	c 1689s |      27 | 16686181 | 12692133 |     2297  13749 |        0 |        0
1691.33/1691.92	c 1691s |      27 | 16701568 | 12704333 |     2297  13759 |        0 |        0
1693.32/1693.93	c 1693s |      27 | 16717205 | 12716333 |     2297  13769 |        0 |        0
1695.32/1695.93	c 1695s |      27 | 16733225 | 12728633 |     2297  13780 |        0 |        0
1697.32/1697.94	c 1697s |      27 | 16749463 | 12740833 |     2297  13790 |        0 |        0
1699.32/1699.96	c 1699s |      27 | 16765993 | 12753233 |     2297  13800 |        0 |        0
1701.31/1701.97	c 1701s |      27 | 16783454 | 12765633 |     2297  13811 |        0 |        0
1703.32/1703.97	c 1703s |      27 | 16799366 | 12777933 |     2297  13821 |        0 |        0
1705.31/1705.97	c 1705s |      27 | 16814899 | 12790233 |     2297  13831 |        0 |        0
1707.31/1707.98	c 1707s |      27 | 16831435 | 12802933 |     2297  13842 |        0 |        0
1709.32/1709.99	c 1709s |      27 | 16849182 | 12816333 |     2297  13853 |        0 |        0
1711.42/1712.00	c 1711s |      27 | 16865503 | 12828433 |     2297  13864 |        0 |        0
1713.42/1714.01	c 1713s |      27 | 16882394 | 12841233 |     2297  13874 |        0 |        0
1715.43/1716.03	c 1716s |      27 | 16899949 | 12854633 |     2297  13886 |        0 |        0
1717.42/1718.04	c 1718s |      27 | 16917740 | 12867633 |     2297  13896 |        0 |        0
1719.42/1720.05	c 1720s |      27 | 16935397 | 12880133 |     2297  13907 |        0 |        0
1721.42/1722.06	c 1722s |      27 | 16953371 | 12893133 |     2297  13918 |        0 |        0
1723.42/1724.06	c 1724s |      27 | 16970280 | 12905833 |     2297  13928 |        0 |        0
1725.42/1726.07	c 1726s |      27 | 16987155 | 12918633 |     2297  13939 |        0 |        0
1727.42/1728.08	c 1728s |      27 | 17004624 | 12931633 |     2297  13950 |        0 |        0
1729.42/1730.09	c 1730s |      27 | 17022004 | 12945033 |     2297  13962 |        0 |        0
1731.51/1732.10	c 1732s |      27 | 17038525 | 12957333 |     2297  13972 |        0 |        0
1733.51/1734.11	c 1734s |      27 | 17054448 | 12969033 |     2297  13982 |        0 |        0
1735.51/1736.13	c 1736s |      27 | 17068575 | 12979733 |     2297  13991 |        0 |        0
1737.52/1738.13	c 1738s |      27 | 17085531 | 12992733 |     2297  14002 |        0 |        0
1739.51/1740.14	c 1740s |      27 | 17102611 | 13005733 |     2297  14012 |        0 |        0
1741.51/1742.15	c 1742s |      27 | 17119376 | 13018233 |     2297  14023 |        0 |        0
1743.51/1744.16	c 1744s |      27 | 17134600 | 13029833 |     2297  14033 |        0 |        0
1745.51/1746.16	c 1746s |      27 | 17151014 | 13042333 |     2297  14043 |        0 |        0
1747.51/1748.16	c 1748s |      27 | 17167662 | 13054533 |     2297  14053 |        0 |        0
1749.52/1750.18	c 1750s |      27 | 17184139 | 13066933 |     2297  14064 |        0 |        0
1751.51/1752.19	c 1752s |      27 | 17201545 | 13079833 |     2297  14075 |        0 |        0
1753.51/1754.19	c 1754s |      27 | 17219984 | 13093033 |     2297  14086 |        0 |        0
1755.51/1756.19	c 1756s |      27 | 17237654 | 13105833 |     2297  14097 |        0 |        0
1757.51/1758.19	c 1758s |      27 | 17257140 | 13119833 |     2297  14108 |        0 |        0
1759.61/1760.20	c 1760s |      27 | 17275256 | 13132833 |     2297  14119 |        0 |        0
1761.62/1762.21	c 1762s |      27 | 17293072 | 13146933 |     2297  14131 |        0 |        0
1763.61/1764.22	c 1764s |      27 | 17309607 | 13160333 |     2297  14142 |        0 |        0
1765.61/1766.22	c 1766s |      27 | 17326226 | 13173933 |     2297  14153 |        0 |        0
1767.61/1768.22	c 1768s |      27 | 17343230 | 13187233 |     2297  14164 |        0 |        0
1769.61/1770.23	c 1770s |      27 | 17360356 | 13200833 |     2297  14175 |        0 |        0
1771.62/1772.24	c 1772s |      27 | 17377813 | 13214433 |     2297  14187 |        0 |        0
1773.61/1774.25	c 1774s |      27 | 17395018 | 13227533 |     2297  14197 |        0 |        0
1775.61/1776.25	c 1776s |      27 | 17412898 | 13241233 |     2297  14209 |        0 |        0
1777.61/1778.25	c 1778s |      27 | 17432320 | 13255933 |     2297  14221 |        0 |        0
1779.61/1780.25	c 1780s |      27 | 17449515 | 13269533 |     2297  14232 |        0 |        0
1781.61/1782.27	c 1782s |      27 | 17465266 | 13282333 |     2297  14243 |        0 |        0
1783.61/1784.29	c 1784s |      27 | 17484492 | 13296933 |     2297  14256 |        0 |        0
1785.61/1786.29	c 1786s |      27 | 17501405 | 13309833 |     2297  14266 |        0 |        0
1787.71/1788.30	c 1788s |      27 | 17518500 | 13322433 |     2297  14277 |        0 |        0
1789.71/1790.31	c 1790s |      27 | 17537220 | 13336233 |     2297  14289 |        0 |        0
1791.70/1792.32	c 1792s |      27 | 17557797 | 13351133 |     2297  14301 |        0 |        0
1793.70/1794.33	c 1794s |      27 | 17576822 | 13365133 |     2297  14313 |        0 |        0
1795.71/1796.35	c 1796s |      27 | 17595314 | 13379233 |     2297  14325 |        0 |        0
1797.70/1798.36	c 1798s |      27 | 17612318 | 13392633 |     2297  14336 |        0 |        0
1799.70/1800.36	c 1800s |      27 | 17630407 | 13406333 |     2297  14348 |        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-4122098-1467316234/watcher-4122098-1467316234 -o /tmp/evaluation-result-4122098-1467316234/solver-4122098-1467316234 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node117-1467314225-15887 --watchdog 1960 toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4122098-1467316234.opb 

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

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


[startup+0 s]
/proc/loadavg: 2.28 2.27 2.13 3/180 17041
/proc/meminfo: memFree=27200436/32872528 swapFree=1555460/1718980
[pid=17041] ppid=17038 vsize=581188 CPUtime=0 cores=1,3,5,7
/proc/17041/stat : 17041 (toysat) R 17038 17041 11291 0 -1 4202496 2143 0 0 0 0 0 0 0 20 0 4 0 10650990 595136512 2504 33554432000 4194304 16246674 140736726113152 140736726112576 13880264 0 2 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/17041/statm: 145809 2514 442 2943 0 142703 0
[pid=17041/tid=17042] ppid=17038 vsize=598596 CPUtime=0 cores=1,3,5,7
/proc/17041/task/17042/stat : 17042 (toysat) S 17038 17041 11291 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 10650990 612962304 2574 33554432000 4194304 16246674 140736726113152 140346641067248 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=17041/tid=17043] ppid=17038 vsize=602692 CPUtime=0 cores=1,3,5,7
/proc/17041/task/17043/stat : 17043 (toysat) S 17038 17041 11291 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 10650990 617156608 2590 33554432000 4194304 16246674 140736726113152 140346630577392 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=17041/tid=17044] ppid=17038 vsize=606788 CPUtime=0 cores=1,3,5,7
/proc/17041/task/17044/stat : 17044 (toysat) S 17038 17041 11291 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 10650990 621350912 2606 33554432000 4194304 16246674 140736726113152 140346512108720 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0

[startup+0.100175 s]
/proc/loadavg: 2.28 2.27 2.13 3/180 17041
/proc/meminfo: memFree=27200436/32872528 swapFree=1555460/1718980
[pid=17041] ppid=17038 vsize=1218116 CPUtime=0.09 cores=1,3,5,7
/proc/17041/stat : 17041 (toysat) R 17038 17041 11291 0 -1 4202496 24345 0 0 0 6 3 0 0 20 0 4 0 10650990 1247350784 24695 33554432000 4194304 16246674 140736726113152 140736726112576 5708022 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/17041/statm: 304529 24704 708 2943 0 301423 0
[pid=17041/tid=17042] ppid=17038 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/17041/task/17042/stat : 17042 (toysat) S 17038 17041 11291 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 10650990 1247350784 24710 33554432000 4194304 16246674 140736726113152 140346641067248 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=17041/tid=17043] ppid=17038 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/17041/task/17043/stat : 17043 (toysat) S 17038 17041 11291 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 10650990 1247350784 24717 33554432000 4194304 16246674 140736726113152 140346630577392 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=17041/tid=17044] ppid=17038 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/17041/task/17044/stat : 17044 (toysat) S 17038 17041 11291 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 10650990 1247350784 24723 33554432000 4194304 16246674 140736726113152 140346512108720 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 1218116

[startup+0.20053 s]
/proc/loadavg: 2.28 2.27 2.13 3/180 17041
/proc/meminfo: memFree=27200436/32872528 swapFree=1555460/1718980
[pid=17041] ppid=17038 vsize=1218116 CPUtime=0.19 cores=1,3,5,7
/proc/17041/stat : 17041 (toysat) R 17038 17041 11291 0 -1 4202496 46667 0 0 0 13 6 0 0 20 0 4 0 10650990 1247350784 47017 33554432000 4194304 16246674 140736726113152 140736726112576 5669490 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/17041/statm: 304529 47028 708 2943 0 301423 0
[pid=17041/tid=17042] ppid=17038 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/17041/task/17042/stat : 17042 (toysat) S 17038 17041 11291 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 10650990 1247350784 47033 33554432000 4194304 16246674 140736726113152 140346641067248 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=17041/tid=17043] ppid=17038 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/17041/task/17043/stat : 17043 (toysat) S 17038 17041 11291 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 10650990 1247350784 47041 33554432000 4194304 16246674 140736726113152 140346630577392 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=17041/tid=17044] ppid=17038 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/17041/task/17044/stat : 17044 (toysat) S 17038 17041 11291 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 10650990 1247350784 47048 33554432000 4194304 16246674 140736726113152 140346512108720 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 1218116

[startup+0.300485 s]
/proc/loadavg: 2.28 2.27 2.13 3/180 17041
/proc/meminfo: memFree=27200436/32872528 swapFree=1555460/1718980
[pid=17041] ppid=17038 vsize=1218116 CPUtime=0.28 cores=1,3,5,7
/proc/17041/stat : 17041 (toysat) R 17038 17041 11291 0 -1 4202496 68990 0 0 0 19 9 0 0 20 0 4 0 10650990 1247350784 69341 33554432000 4194304 16246674 140736726113152 140736726112576 5546181 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/17041/statm: 304529 69353 708 2943 0 301423 0
[pid=17041/tid=17042] ppid=17038 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/17041/task/17042/stat : 17042 (toysat) S 17038 17041 11291 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 10650990 1247350784 69360 33554432000 4194304 16246674 140736726113152 140346641067248 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=17041/tid=17043] ppid=17038 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/17041/task/17043/stat : 17043 (toysat) S 17038 17041 11291 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 10650990 1247350784 69367 33554432000 4194304 16246674 140736726113152 140346630577392 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=17041/tid=17044] ppid=17038 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/17041/task/17044/stat : 17044 (toysat) S 17038 17041 11291 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 10650990 1247350784 69372 33554432000 4194304 16246674 140736726113152 140346512108720 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 1218116

[startup+0.700412 s]
/proc/loadavg: 2.28 2.27 2.13 3/180 17041
/proc/meminfo: memFree=27200436/32872528 swapFree=1555460/1718980
[pid=17041] ppid=17038 vsize=1218116 CPUtime=0.69 cores=1,3,5,7
/proc/17041/stat : 17041 (toysat) R 17038 17041 11291 0 -1 4202496 158482 0 0 0 46 23 0 0 20 0 4 0 10650990 1247350784 158832 33554432000 4194304 16246674 140736726113152 140736726112576 5675357 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/17041/statm: 304529 158842 709 2943 0 301423 0
[pid=17041/tid=17042] ppid=17038 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/17041/task/17042/stat : 17042 (toysat) S 17038 17041 11291 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 10650990 1247350784 158850 33554432000 4194304 16246674 140736726113152 140346641067248 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=17041/tid=17043] ppid=17038 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/17041/task/17043/stat : 17043 (toysat) S 17038 17041 11291 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 10650990 1247350784 158858 33554432000 4194304 16246674 140736726113152 140346630577392 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=17041/tid=17044] ppid=17038 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/17041/task/17044/stat : 17044 (toysat) S 17038 17041 11291 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 10650990 1247350784 158865 33554432000 4194304 16246674 140736726113152 140346512108720 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 1218116

[startup+1.50042 s]
/proc/loadavg: 2.28 2.27 2.13 3/184 17045
/proc/meminfo: memFree=26217756/32872528 swapFree=1555460/1718980
[pid=17041] ppid=17038 vsize=1219140 CPUtime=1.49 cores=1,3,5,7
/proc/17041/stat : 17041 (toysat) R 17038 17041 11291 0 -1 4202496 245655 0 0 0 115 34 0 0 20 0 4 0 10650990 1248399360 245985 33554432000 4194304 16246674 140736726113152 140736726112464 5971072 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/17041/statm: 304785 245985 784 2943 0 301679 0
[pid=17041/tid=17042] ppid=17038 vsize=1219140 CPUtime=0 cores=1,3,5,7
/proc/17041/task/17042/stat : 17042 (toysat) S 17038 17041 11291 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 10650990 1248399360 245985 33554432000 4194304 16246674 140736726113152 140346641067248 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=17041/tid=17043] ppid=17038 vsize=1219140 CPUtime=0 cores=1,3,5,7
/proc/17041/task/17043/stat : 17043 (toysat) S 17038 17041 11291 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 10650990 1248399360 245985 33554432000 4194304 16246674 140736726113152 140346630577392 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=17041/tid=17044] ppid=17038 vsize=1219140 CPUtime=0 cores=1,3,5,7
/proc/17041/task/17044/stat : 17044 (toysat) S 17038 17041 11291 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 10650990 1248399360 245985 33554432000 4194304 16246674 140736726113152 140346512108720 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 1219140

[startup+3.10042 s]
/proc/loadavg: 2.26 2.26 2.13 3/184 17045
/proc/meminfo: memFree=26130980/32872528 swapFree=1555460/1718980
[pid=17041] ppid=17038 vsize=1306180 CPUtime=3.09 cores=1,3,5,7
/proc/17041/stat : 17041 (toysat) R 17038 17041 11291 0 -1 4202496 267409 0 0 0 272 37 0 0 20 0 4 0 10650990 1337528320 267739 33554432000 4194304 16246674 140736726113152 140736726095040 5823765 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/17041/statm: 326545 267739 784 2943 0 323439 0
[pid=17041/tid=17042] ppid=17038 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/17041/task/17042/stat : 17042 (toysat) S 17038 17041 11291 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 10650990 1337528320 267739 33554432000 4194304 16246674 140736726113152 140346641067248 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=17041/tid=17043] ppid=17038 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/17041/task/17043/stat : 17043 (toysat) S 17038 17041 11291 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 10650990 1337528320 267739 33554432000 4194304 16246674 140736726113152 140346630577392 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=17041/tid=17044] ppid=17038 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/17041/task/17044/stat : 17044 (toysat) S 17038 17041 11291 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 10650990 1337528320 267739 33554432000 4194304 16246674 140736726113152 140346512108720 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 1306180

[startup+6.30042 s]
/proc/loadavg: 2.26 2.26 2.13 4/184 17045
/proc/meminfo: memFree=26129896/32872528 swapFree=1555460/1718980
[pid=17041] ppid=17038 vsize=1306180 CPUtime=6.29 cores=1,3,5,7
/proc/17041/stat : 17041 (toysat) R 17038 17041 11291 0 -1 4202496 267433 0 0 0 592 37 0 0 20 0 4 0 10650990 1337528320 267763 33554432000 4194304 16246674 140736726113152 140736726095040 5675216 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/17041/statm: 326545 267763 785 2943 0 323439 0
[pid=17041/tid=17042] ppid=17038 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/17041/task/17042/stat : 17042 (toysat) S 17038 17041 11291 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 10650990 1337528320 267763 33554432000 4194304 16246674 140736726113152 140346641067248 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=17041/tid=17043] ppid=17038 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/17041/task/17043/stat : 17043 (toysat) S 17038 17041 11291 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 10650990 1337528320 267763 33554432000 4194304 16246674 140736726113152 140346630577392 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=17041/tid=17044] ppid=17038 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/17041/task/17044/stat : 17044 (toysat) S 17038 17041 11291 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 10650990 1337528320 267763 33554432000 4194304 16246674 140736726113152 140346512108720 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 1306180

[startup+12.7004 s]
/proc/loadavg: 2.22 2.25 2.13 3/184 17045
/proc/meminfo: memFree=26129460/32872528 swapFree=1555460/1718980
[pid=17041] ppid=17038 vsize=1307204 CPUtime=12.68 cores=1,3,5,7
/proc/17041/stat : 17041 (toysat) R 17038 17041 11291 0 -1 4202496 267684 0 0 0 1231 37 0 0 20 0 4 0 10650990 1338576896 268014 33554432000 4194304 16246674 140736726113152 140736726095040 5707706 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/17041/statm: 326801 268014 785 2943 0 323695 0
[pid=17041/tid=17042] ppid=17038 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/17041/task/17042/stat : 17042 (toysat) S 17038 17041 11291 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 10650990 1338576896 268014 33554432000 4194304 16246674 140736726113152 140346641067248 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=17041/tid=17043] ppid=17038 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/17041/task/17043/stat : 17043 (toysat) S 17038 17041 11291 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 10650990 1338576896 268014 33554432000 4194304 16246674 140736726113152 140346630577392 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=17041/tid=17044] ppid=17038 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/17041/task/17044/stat : 17044 (toysat) S 17038 17041 11291 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 10650990 1338576896 268014 33554432000 4194304 16246674 140736726113152 140346512108720 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 1307204

[startup+25.5005 s]
/proc/loadavg: 2.18 2.24 2.13 3/184 17045
/proc/meminfo: memFree=26128992/32872528 swapFree=1555460/1718980
[pid=17041] ppid=17038 vsize=1307204 CPUtime=25.49 cores=1,3,5,7
/proc/17041/stat : 17041 (toysat) R 17038 17041 11291 0 -1 4202496 267825 0 0 0 2511 38 0 0 20 0 4 0 10650990 1338576896 268155 33554432000 4194304 16246674 140736726113152 140736726095040 5823037 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/17041/statm: 326801 268155 788 2943 0 323695 0
[pid=17041/tid=17042] ppid=17038 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/17041/task/17042/stat : 17042 (toysat) S 17038 17041 11291 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 10650990 1338576896 268155 33554432000 4194304 16246674 140736726113152 140346641067248 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=17041/tid=17043] ppid=17038 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/17041/task/17043/stat : 17043 (toysat) S 17038 17041 11291 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 10650990 1338576896 268155 33554432000 4194304 16246674 140736726113152 140346630577392 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=17041/tid=17044] ppid=17038 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/17041/task/17044/stat : 17044 (toysat) S 17038 17041 11291 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 10650990 1338576896 268155 33554432000 4194304 16246674 140736726113152 140346512108720 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 1307204

[startup+51.1005 s]
/proc/loadavg: 2.31 2.27 2.14 3/183 17045
/proc/meminfo: memFree=26127840/32872528 swapFree=1555460/1718980
[pid=17041] ppid=17038 vsize=1308228 CPUtime=51.08 cores=1,3,5,7
/proc/17041/stat : 17041 (toysat) R 17038 17041 11291 0 -1 4202496 268081 0 0 0 5070 38 0 0 20 0 4 0 10650990 1339625472 268411 33554432000 4194304 16246674 140736726113152 140736726096152 5673105 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/17041/statm: 327057 268411 788 2943 0 323951 0
[pid=17041/tid=17042] ppid=17038 vsize=1308228 CPUtime=0 cores=1,3,5,7
/proc/17041/task/17042/stat : 17042 (toysat) S 17038 17041 11291 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 10650990 1339625472 268411 33554432000 4194304 16246674 140736726113152 140346641067248 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=17041/tid=17043] ppid=17038 vsize=1308228 CPUtime=0 cores=1,3,5,7
/proc/17041/task/17043/stat : 17043 (toysat) S 17038 17041 11291 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 10650990 1339625472 268411 33554432000 4194304 16246674 140736726113152 140346630577392 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=17041/tid=17044] ppid=17038 vsize=1308228 CPUtime=0 cores=1,3,5,7
/proc/17041/task/17044/stat : 17044 (toysat) S 17038 17041 11291 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 10650990 1339625472 268411 33554432000 4194304 16246674 140736726113152 140346512108720 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 1308228

[startup+102.301 s]
/proc/loadavg: 2.25 2.25 2.14 3/183 17046
/proc/meminfo: memFree=26127912/32872528 swapFree=1555460/1718980
[pid=17041] ppid=17038 vsize=1308228 CPUtime=102.28 cores=1,3,5,7
/proc/17041/stat : 17041 (toysat) R 17038 17041 11291 0 -1 4202496 268081 0 0 0 10189 39 0 0 20 0 4 0 10650990 1339625472 268411 33554432000 4194304 16246674 140736726113152 140736726095040 6081707 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/17041/statm: 327057 268411 788 2943 0 323951 0
[pid=17041/tid=17042] ppid=17038 vsize=1308228 CPUtime=0 cores=1,3,5,7
/proc/17041/task/17042/stat : 17042 (toysat) S 17038 17041 11291 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 10650990 1339625472 268411 33554432000 4194304 16246674 140736726113152 140346641067248 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=17041/tid=17043] ppid=17038 vsize=1308228 CPUtime=0 cores=1,3,5,7
/proc/17041/task/17043/stat : 17043 (toysat) S 17038 17041 11291 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 10650990 1339625472 268411 33554432000 4194304 16246674 140736726113152 140346630577392 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=17041/tid=17044] ppid=17038 vsize=1308228 CPUtime=0 cores=1,3,5,7
/proc/17041/task/17044/stat : 17044 (toysat) S 17038 17041 11291 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 10650990 1339625472 268411 33554432000 4194304 16246674 140736726113152 140346512108720 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 1308228


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

/proc/17041/task/17044/stat : 17044 (toysat) S 17038 17041 11291 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 10650990 1343819776 269482 33554432000 4194304 16246674 140736726113152 140346512108720 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1241.79
Current children cumulated vsize (KiB) 1312324

[startup+1302.3 s]
/proc/loadavg: 2.34 2.25 2.19 3/183 17099
/proc/meminfo: memFree=26120592/32872528 swapFree=1555460/1718980
[pid=17041] ppid=17038 vsize=1312324 CPUtime=1301.78 cores=1,3,5,7
/proc/17041/stat : 17041 (toysat) R 17038 17041 11291 0 -1 4202496 269355 0 0 0 130111 67 0 0 20 0 4 0 10650990 1343819776 269482 33554432000 4194304 16246674 140736726113152 140736726095040 13191524 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/17041/statm: 328081 269482 788 2943 0 324975 0
[pid=17041/tid=17042] ppid=17038 vsize=1312324 CPUtime=0 cores=1,3,5,7
/proc/17041/task/17042/stat : 17042 (toysat) S 17038 17041 11291 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 10650990 1343819776 269482 33554432000 4194304 16246674 140736726113152 140346641067248 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=17041/tid=17043] ppid=17038 vsize=1312324 CPUtime=0 cores=1,3,5,7
/proc/17041/task/17043/stat : 17043 (toysat) S 17038 17041 11291 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 10650990 1343819776 269482 33554432000 4194304 16246674 140736726113152 140346630577392 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=17041/tid=17044] ppid=17038 vsize=1312324 CPUtime=0 cores=1,3,5,7
/proc/17041/task/17044/stat : 17044 (toysat) S 17038 17041 11291 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 10650990 1343819776 269482 33554432000 4194304 16246674 140736726113152 140346512108720 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1301.78
Current children cumulated vsize (KiB) 1312324

[startup+1362.3 s]
/proc/loadavg: 2.27 2.25 2.19 3/183 17100
/proc/meminfo: memFree=26120972/32872528 swapFree=1555460/1718980
[pid=17041] ppid=17038 vsize=1312324 CPUtime=1361.77 cores=1,3,5,7
/proc/17041/stat : 17041 (toysat) R 17038 17041 11291 0 -1 4202496 269356 0 0 0 136110 67 0 0 20 0 4 0 10650990 1343819776 269483 33554432000 4194304 16246674 140736726113152 140736726095040 5677160 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/17041/statm: 328081 269483 789 2943 0 324975 0
[pid=17041/tid=17042] ppid=17038 vsize=1312324 CPUtime=0 cores=1,3,5,7
/proc/17041/task/17042/stat : 17042 (toysat) S 17038 17041 11291 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 10650990 1343819776 269483 33554432000 4194304 16246674 140736726113152 140346641067248 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=17041/tid=17043] ppid=17038 vsize=1312324 CPUtime=0 cores=1,3,5,7
/proc/17041/task/17043/stat : 17043 (toysat) S 17038 17041 11291 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 10650990 1343819776 269483 33554432000 4194304 16246674 140736726113152 140346630577392 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=17041/tid=17044] ppid=17038 vsize=1312324 CPUtime=0 cores=1,3,5,7
/proc/17041/task/17044/stat : 17044 (toysat) S 17038 17041 11291 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 10650990 1343819776 269483 33554432000 4194304 16246674 140736726113152 140346512108720 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1361.77
Current children cumulated vsize (KiB) 1312324

[startup+1422.3 s]
/proc/loadavg: 2.33 2.26 2.19 4/183 17101
/proc/meminfo: memFree=26120972/32872528 swapFree=1555460/1718980
[pid=17041] ppid=17038 vsize=1312324 CPUtime=1421.77 cores=1,3,5,7
/proc/17041/stat : 17041 (toysat) R 17038 17041 11291 0 -1 4202496 269356 0 0 0 142109 68 0 0 20 0 4 0 10650990 1343819776 269483 33554432000 4194304 16246674 140736726113152 140736726095040 5522977 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/17041/statm: 328081 269483 789 2943 0 324975 0
[pid=17041/tid=17042] ppid=17038 vsize=1312324 CPUtime=0 cores=1,3,5,7
/proc/17041/task/17042/stat : 17042 (toysat) S 17038 17041 11291 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 10650990 1343819776 269483 33554432000 4194304 16246674 140736726113152 140346641067248 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=17041/tid=17043] ppid=17038 vsize=1312324 CPUtime=0 cores=1,3,5,7
/proc/17041/task/17043/stat : 17043 (toysat) S 17038 17041 11291 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 10650990 1343819776 269483 33554432000 4194304 16246674 140736726113152 140346630577392 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=17041/tid=17044] ppid=17038 vsize=1312324 CPUtime=0 cores=1,3,5,7
/proc/17041/task/17044/stat : 17044 (toysat) S 17038 17041 11291 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 10650990 1343819776 269483 33554432000 4194304 16246674 140736726113152 140346512108720 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1421.77
Current children cumulated vsize (KiB) 1312324

[startup+1482.3 s]
/proc/loadavg: 2.26 2.25 2.19 3/183 17102
/proc/meminfo: memFree=26120736/32872528 swapFree=1555460/1718980
[pid=17041] ppid=17038 vsize=1312324 CPUtime=1481.75 cores=1,3,5,7
/proc/17041/stat : 17041 (toysat) R 17038 17041 11291 0 -1 4202496 269356 0 0 0 148106 69 0 0 20 0 4 0 10650990 1343819776 269483 33554432000 4194304 16246674 140736726113152 140736726095040 5668248 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/17041/statm: 328081 269483 789 2943 0 324975 0
[pid=17041/tid=17042] ppid=17038 vsize=1312324 CPUtime=0 cores=1,3,5,7
/proc/17041/task/17042/stat : 17042 (toysat) S 17038 17041 11291 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 10650990 1343819776 269483 33554432000 4194304 16246674 140736726113152 140346641067248 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=17041/tid=17043] ppid=17038 vsize=1312324 CPUtime=0 cores=1,3,5,7
/proc/17041/task/17043/stat : 17043 (toysat) S 17038 17041 11291 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 10650990 1343819776 269483 33554432000 4194304 16246674 140736726113152 140346630577392 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=17041/tid=17044] ppid=17038 vsize=1312324 CPUtime=0 cores=1,3,5,7
/proc/17041/task/17044/stat : 17044 (toysat) S 17038 17041 11291 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 10650990 1343819776 269483 33554432000 4194304 16246674 140736726113152 140346512108720 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1481.75
Current children cumulated vsize (KiB) 1312324

[startup+1542.31 s]
/proc/loadavg: 2.23 2.25 2.19 3/182 17104
/proc/meminfo: memFree=26120900/32872528 swapFree=1555460/1718980
[pid=17041] ppid=17038 vsize=1312324 CPUtime=1541.75 cores=1,3,5,7
/proc/17041/stat : 17041 (toysat) R 17038 17041 11291 0 -1 4202496 269565 0 0 0 154105 70 0 0 20 0 4 0 10650990 1343819776 269692 33554432000 4194304 16246674 140736726113152 140736726095040 5519392 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/17041/statm: 328081 269692 789 2943 0 324975 0
[pid=17041/tid=17042] ppid=17038 vsize=1312324 CPUtime=0 cores=1,3,5,7
/proc/17041/task/17042/stat : 17042 (toysat) S 17038 17041 11291 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 10650990 1343819776 269692 33554432000 4194304 16246674 140736726113152 140346641067248 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=17041/tid=17043] ppid=17038 vsize=1312324 CPUtime=0 cores=1,3,5,7
/proc/17041/task/17043/stat : 17043 (toysat) S 17038 17041 11291 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 10650990 1343819776 269692 33554432000 4194304 16246674 140736726113152 140346630577392 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=17041/tid=17044] ppid=17038 vsize=1312324 CPUtime=0 cores=1,3,5,7
/proc/17041/task/17044/stat : 17044 (toysat) S 17038 17041 11291 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 10650990 1343819776 269692 33554432000 4194304 16246674 140736726113152 140346512108720 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1541.75
Current children cumulated vsize (KiB) 1312324

[startup+1602.3 s]
/proc/loadavg: 2.20 2.24 2.18 4/183 17106
/proc/meminfo: memFree=26119672/32872528 swapFree=1555460/1718980
[pid=17041] ppid=17038 vsize=1312324 CPUtime=1601.73 cores=1,3,5,7
/proc/17041/stat : 17041 (toysat) R 17038 17041 11291 0 -1 4202496 269565 0 0 0 160102 71 0 0 20 0 4 0 10650990 1343819776 269692 33554432000 4194304 16246674 140736726113152 140736726095040 6842531 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/17041/statm: 328081 269692 789 2943 0 324975 0
[pid=17041/tid=17042] ppid=17038 vsize=1312324 CPUtime=0 cores=1,3,5,7
/proc/17041/task/17042/stat : 17042 (toysat) S 17038 17041 11291 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 10650990 1343819776 269692 33554432000 4194304 16246674 140736726113152 140346641067248 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=17041/tid=17043] ppid=17038 vsize=1312324 CPUtime=0 cores=1,3,5,7
/proc/17041/task/17043/stat : 17043 (toysat) S 17038 17041 11291 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 10650990 1343819776 269692 33554432000 4194304 16246674 140736726113152 140346630577392 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=17041/tid=17044] ppid=17038 vsize=1312324 CPUtime=0 cores=1,3,5,7
/proc/17041/task/17044/stat : 17044 (toysat) S 17038 17041 11291 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 10650990 1343819776 269692 33554432000 4194304 16246674 140736726113152 140346512108720 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1601.73
Current children cumulated vsize (KiB) 1312324

[startup+1662.3 s]
/proc/loadavg: 1.63 2.08 2.13 2/173 17137
/proc/meminfo: memFree=27210028/32872528 swapFree=1555460/1718980
[pid=17041] ppid=17038 vsize=1312324 CPUtime=1661.72 cores=1,3,5,7
/proc/17041/stat : 17041 (toysat) R 17038 17041 11291 0 -1 4202496 269565 0 0 0 166100 72 0 0 20 0 4 0 10650990 1343819776 269692 33554432000 4194304 16246674 140736726113152 140736726095040 5672188 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/17041/statm: 328081 269692 789 2943 0 324975 0
[pid=17041/tid=17042] ppid=17038 vsize=1312324 CPUtime=0 cores=1,3,5,7
/proc/17041/task/17042/stat : 17042 (toysat) S 17038 17041 11291 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 10650990 1343819776 269692 33554432000 4194304 16246674 140736726113152 140346641067248 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=17041/tid=17043] ppid=17038 vsize=1312324 CPUtime=0 cores=1,3,5,7
/proc/17041/task/17043/stat : 17043 (toysat) S 17038 17041 11291 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 10650990 1343819776 269692 33554432000 4194304 16246674 140736726113152 140346630577392 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=17041/tid=17044] ppid=17038 vsize=1312324 CPUtime=0 cores=1,3,5,7
/proc/17041/task/17044/stat : 17044 (toysat) S 17038 17041 11291 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 10650990 1343819776 269692 33554432000 4194304 16246674 140736726113152 140346512108720 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1661.72
Current children cumulated vsize (KiB) 1312324

[startup+1722.3 s]
/proc/loadavg: 1.42 1.94 2.08 2/173 17138
/proc/meminfo: memFree=27210288/32872528 swapFree=1555460/1718980
[pid=17041] ppid=17038 vsize=1312324 CPUtime=1721.72 cores=1,3,5,7
/proc/17041/stat : 17041 (toysat) R 17038 17041 11291 0 -1 4202496 269565 0 0 0 172098 74 0 0 20 0 4 0 10650990 1343819776 269692 33554432000 4194304 16246674 140736726113152 140736726095040 6012948 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/17041/statm: 328081 269692 789 2943 0 324975 0
[pid=17041/tid=17042] ppid=17038 vsize=1312324 CPUtime=0 cores=1,3,5,7
/proc/17041/task/17042/stat : 17042 (toysat) S 17038 17041 11291 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 10650990 1343819776 269692 33554432000 4194304 16246674 140736726113152 140346641067248 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=17041/tid=17043] ppid=17038 vsize=1312324 CPUtime=0 cores=1,3,5,7
/proc/17041/task/17043/stat : 17043 (toysat) S 17038 17041 11291 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 10650990 1343819776 269692 33554432000 4194304 16246674 140736726113152 140346630577392 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=17041/tid=17044] ppid=17038 vsize=1312324 CPUtime=0 cores=1,3,5,7
/proc/17041/task/17044/stat : 17044 (toysat) S 17038 17041 11291 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 10650990 1343819776 269692 33554432000 4194304 16246674 140736726113152 140346512108720 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1721.72
Current children cumulated vsize (KiB) 1312324

[startup+1782.3 s]
/proc/loadavg: 1.26 1.78 2.01 3/174 17142
/proc/meminfo: memFree=27210064/32872528 swapFree=1555460/1718980
[pid=17041] ppid=17038 vsize=1312324 CPUtime=1781.71 cores=1,3,5,7
/proc/17041/stat : 17041 (toysat) R 17038 17041 11291 0 -1 4202496 269565 0 0 0 178096 75 0 0 20 0 4 0 10650990 1343819776 269692 33554432000 4194304 16246674 140736726113152 140736726095040 5722604 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/17041/statm: 328081 269692 789 2943 0 324975 0
[pid=17041/tid=17042] ppid=17038 vsize=1312324 CPUtime=0 cores=1,3,5,7
/proc/17041/task/17042/stat : 17042 (toysat) S 17038 17041 11291 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 10650990 1343819776 269692 33554432000 4194304 16246674 140736726113152 140346641067248 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=17041/tid=17043] ppid=17038 vsize=1312324 CPUtime=0 cores=1,3,5,7
/proc/17041/task/17043/stat : 17043 (toysat) S 17038 17041 11291 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 10650990 1343819776 269692 33554432000 4194304 16246674 140736726113152 140346630577392 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=17041/tid=17044] ppid=17038 vsize=1312324 CPUtime=0 cores=1,3,5,7
/proc/17041/task/17044/stat : 17044 (toysat) S 17038 17041 11291 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 10650990 1343819776 269692 33554432000 4194304 16246674 140736726113152 140346512108720 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1781.71
Current children cumulated vsize (KiB) 1312324



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.6 s]
/proc/loadavg: 1.27 1.76 2.00 3/174 17142
/proc/meminfo: memFree=27210324/32872528 swapFree=1555460/1718980
[pid=17041] ppid=17038 vsize=1312324 CPUtime=1800 cores=1,3,5,7
/proc/17041/stat : 17041 (toysat) R 17038 17041 11291 0 -1 4202496 269565 0 0 0 179925 75 0 0 20 0 4 0 10650990 1343819776 269692 33554432000 4194304 16246674 140736726113152 140736726095040 5672188 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/17041/statm: 328081 269692 789 2943 0 324975 0
[pid=17041/tid=17042] ppid=17038 vsize=1312324 CPUtime=0 cores=1,3,5,7
/proc/17041/task/17042/stat : 17042 (toysat) S 17038 17041 11291 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 10650990 1343819776 269692 33554432000 4194304 16246674 140736726113152 140346641067248 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=17041/tid=17043] ppid=17038 vsize=1312324 CPUtime=0 cores=1,3,5,7
/proc/17041/task/17043/stat : 17043 (toysat) S 17038 17041 11291 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 10650990 1343819776 269692 33554432000 4194304 16246674 140736726113152 140346630577392 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=17041/tid=17044] ppid=17038 vsize=1312324 CPUtime=0 cores=1,3,5,7
/proc/17041/task/17044/stat : 17044 (toysat) S 17038 17041 11291 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 10650990 1343819776 269692 33554432000 4194304 16246674 140736726113152 140346512108720 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1800
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 17041 sig 9
??? end of watcher thread
Dumping a history of the last processes samples

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1800.61
CPU time (s): 1800.02
CPU user time (s): 1799.26
CPU system time (s): 0.755885
CPU usage (%): 99.9671
Max. virtual memory (cumulated for all children) (KiB): 1312324

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.26
system time used= 0.755885
maximum resident set size= 1078768
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 269565
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= 473
involuntary context switches= 1835

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 4.49132 second user time and 7.12692 second system time

The end

Begin job on node117 at 2016-06-30 21:50:34
IDJOB=4122098
IDBENCH=110892
IDSOLVER=2542
FILE ID=node117/4122098-1467316234
RUNJOBID= node117-1467314225-15887
PBS_JOBID= 20005275
Free space on /tmp= 71608 MiB

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

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

MD5SUM BENCH= 0ebcbc5c220047ca80e293cefe9cd2b6
RANDOM SEED=923682043

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

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


/proc/meminfo:
MemTotal:       32872528 kB
MemFree:        27201360 kB
Buffers:          153032 kB
Cached:          1963732 kB
SwapCached:            0 kB
Active:          1383712 kB
Inactive:        1816868 kB
Active(anon):    1086232 kB
Inactive(anon):        4 kB
Active(file):     297480 kB
Inactive(file):  1816864 kB
Unevictable:     1718980 kB
Mlocked:         1555460 kB
SwapTotal:      67108856 kB
SwapFree:       67108856 kB
Dirty:             16376 kB
Writeback:             0 kB
AnonPages:       2802456 kB
Mapped:            17064 kB
Shmem:               204 kB
Slab:             616352 kB
SReclaimable:      60288 kB
SUnreclaim:       556064 kB
KernelStack:        1496 kB
PageTables:         9320 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    2937872 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:    417792 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= 71608 MiB
End job on node117 at 2016-06-30 22:20:34