0.00/0.00	c 2016-06-15T22:40:06+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-4089218-1466023206.opb"]
0.00/0.01	c use --random-gen="46302008 2707808174 4102606347 931503806 1245810429 2959807430 677071451 1881346931 1542589487 2084524701 2393673449 39913099 1938363802 2512620926 210501924 708936462 3803722855 3038112791 1672065849 4050614333 3027300445 173575330 4203934437 249699511 3135418956 3233308731 3459619621 1304760499 1331136399 126817434 3206248446 4171265985 2732569983 2678392769 3882431172 1895806547 2429384756 1902562672 584232312 508466132 1702033825 1370046260 830168120 4046591427 720666499 1704127957 2183390075 1669266243 2438341969 1766353746 3156897747 3790437870 3828046858 3621364741 227735002 1818303824 678156063 2467875243 1479024571 3228303325 2763011089 3010508101 2686015067 1054140412 3120059141 910475698 1220670776 1597480990 1816541833 2576033041 3186589033 2766315893 2904480631 382925119 2330569187 1197033507 3842883922 2968683466 3919854776 2300711150 699722459 2665516442 853077490 1549936532 3080591290 3336827167 3819281893 2438887081 347986876 2553330869 374091746 1378679939 2689162335 2025323824 3099195140 3667485303 1156177501 3379499138 1762761465 2863386099 3804547418 3684499370 3471653816 3594776238 2755554912 2460443077 897229646 1596150930 1195121811 2715296933 747262482 3632505178 1445557187 1686342627 1562154366 2892964942 1726020041 2845514844 3315298815 371432518 3455908820 594194628 720747211 3746884473 284917412 919681075 2869093077 2691818316 1782733946 2736169382 1802334916 4289923954 1016075137 3817765867 3541087158 2834488679 892710751 2849473887 3144065235 2819576380 4208551912 2677273091 414679852 1386032983 2010817552 4104433266 2409849297 3707889754 1118511500 3849720152 995752251 2032449415 1723873894 1524063485 615553181 933262150 1643109264 2456775900 4254380239 678143106 571528195 1391114685 2854905749 1079166743 763920398 2615362382 3270759189 101098093 3737847450 1618824392 1807201847 1272788197 2940794612 336164532 403590243 240059474 1939685438 1615119970 3740623209 3807817311 4165524719 3300190642 593406242 539284882 3777237689 2745321414 875176589 3622122716 2096073371 1052158444 1689857355 2060278091 1133290784 1110141877 2318497038 2180503553 2413351041 175065396 387293913 882248719 1008326216 3221140822 2017660434 1653351641 4260462557 3948685023 2678488942 4142653217 2614382246 2778424158 249748696 4258449566 2014754038 3529650079 2281326252 1613945004 291205869 4271239218 2987933244 2054541623 3908914245 3720021777 2397095518 2793924891 2505184162 601638519 2655222663 1956018125 243089067 2670141255 1795053368 1547101176 621586627 1949513827 1276775681 242300934 4270477313 1920029761 1268703767 2936809936 2756581693 1769383568 356393788 2224857884 2876214607 1893476123 1096538540 3041490443 846583262 3677535984 4266785337 1275768817 1881311163 91412020 991819872 2131970606 255 362436" option to reproduce the execution
0.00/0.01	c #vars 116
0.00/0.01	c #constraints 233
0.00/0.01	c Solving starts ...
0.00/0.01	c ============================[ Search Statistics ]============================
0.00/0.01	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
0.00/0.01	c       |         |          |          |    Limit     GC | Var      | Constra 
0.00/0.01	c =============================================================================
0.00/0.01	c  0.0s |       0 |        0 |        0 |      116      0 |        0 |        0
0.00/0.02	c  0.0s |       1 |      164 |      100 |      116      0 |        0 |        0
0.00/0.05	c  0.0s |       2 |      369 |      250 |      128      1 |        0 |        0
0.00/0.08	c  0.1s |       3 |      642 |      475 |      141      4 |        0 |        0
0.09/0.13	c  0.1s |       4 |     1038 |      813 |      156      7 |        0 |        0
0.19/0.22	c  0.2s |       5 |     1599 |     1320 |      172     11 |        0 |        0
0.29/0.34	c  0.3s |       6 |     2433 |     2081 |      210     18 |        0 |        0
0.49/0.53	c  0.5s |       7 |     3651 |     3223 |      232     26 |        0 |        0
0.78/0.82	c  0.8s |       8 |     5460 |     4936 |      256     38 |        0 |        0
0.99/1.10	c  1.1s |       9 |     8132 |     7506 |      282     55 |        0 |        0
1.49/1.54	c  1.5s |      10 |    12094 |    11361 |      311     78 |        0 |        0
2.09/2.18	c  2.2s |      11 |    18040 |    17144 |      343    110 |        0 |        0
3.09/3.13	c  3.1s |      12 |    27142 |    25819 |      378    154 |        0 |        0
4.59/4.60	c  4.6s |      13 |    40691 |    38832 |      416    215 |        0 |        0
6.59/6.61	c  6.6s |      13 |    59065 |    56332 |      416    291 |        0 |        0
6.79/6.83	c  6.8s |      14 |    61169 |    58352 |      458    299 |        0 |        0
8.79/8.84	c  8.8s |      14 |    79025 |    75752 |      458    368 |        0 |        0
10.18/10.21	c 10.2s |      15 |    91448 |    87632 |      504    414 |        0 |        0
12.19/12.22	c 12.2s |      15 |   109363 |   104532 |      504    476 |        0 |        0
14.18/14.22	c 14.2s |      15 |   127075 |   121532 |      504    537 |        0 |        0
15.39/15.40	c 15.4s |      16 |   137473 |   131552 |      555    573 |        0 |        0
17.38/17.40	c 17.4s |      16 |   155159 |   148452 |      555    630 |        0 |        0
19.38/19.41	c 19.4s |      16 |   173030 |   165252 |      555    685 |        0 |        0
21.38/21.42	c 21.4s |      16 |   190525 |   181852 |      555    741 |        0 |        0
23.19/23.28	c 23.3s |      17 |   206842 |   197432 |      611    792 |        0 |        0
25.19/25.28	c 25.3s |      17 |   223958 |   213732 |      611    841 |        0 |        0
27.19/27.29	c 27.3s |      17 |   241414 |   229932 |      611    891 |        0 |        0
29.19/29.30	c 29.3s |      17 |   258299 |   246332 |      611    941 |        0 |        0
31.29/31.30	c 31.3s |      17 |   275423 |   262832 |      611    991 |        0 |        0
33.29/33.32	c 33.3s |      17 |   292264 |   279132 |      611   1041 |        0 |        0
35.29/35.33	c 35.3s |      17 |   309003 |   295332 |      673   1090 |        0 |        0
35.39/35.44	c 35.4s |      18 |   309964 |   296252 |      673   1092 |        0 |        0
37.39/37.45	c 37.4s |      18 |   327483 |   312752 |      673   1138 |        0 |        0
39.39/39.46	c 39.4s |      18 |   344723 |   328952 |      673   1183 |        0 |        0
41.38/41.46	c 41.4s |      18 |   361950 |   345352 |      673   1229 |        0 |        0
43.38/43.46	c 43.4s |      18 |   378959 |   361652 |      673   1274 |        0 |        0
45.38/45.46	c 45.4s |      18 |   396011 |   378052 |      673   1320 |        0 |        0
47.39/47.47	c 47.5s |      18 |   413007 |   394352 |      673   1365 |        0 |        0
49.38/49.47	c 49.5s |      18 |   429836 |   410352 |      673   1410 |        0 |        0
51.38/51.47	c 51.5s |      18 |   447204 |   426652 |      673   1455 |        0 |        0
53.38/53.48	c 53.5s |      18 |   464628 |   442952 |      741   1500 |        0 |        0
53.58/53.67	c 53.7s |      19 |   466237 |   444482 |      741   1504 |        0 |        0
55.58/55.67	c 55.7s |      19 |   483120 |   460582 |      741   1545 |        0 |        0
57.58/57.68	c 57.7s |      19 |   499878 |   476582 |      741   1586 |        0 |        0
59.58/59.68	c 59.7s |      19 |   516479 |   492582 |      741   1626 |        0 |        0
61.59/61.68	c 61.7s |      19 |   532901 |   508382 |      741   1666 |        0 |        0
63.58/63.69	c 63.7s |      19 |   549760 |   524482 |      741   1707 |        0 |        0
65.58/65.70	c 65.7s |      19 |   566524 |   540382 |      741   1748 |        0 |        0
67.68/67.70	c 67.7s |      19 |   582991 |   556382 |      741   1789 |        0 |        0
69.68/69.71	c 69.7s |      19 |   599553 |   572282 |      741   1829 |        0 |        0
71.68/71.71	c 71.7s |      19 |   616100 |   587982 |      741   1869 |        0 |        0
73.68/73.72	c 73.7s |      19 |   632858 |   603782 |      741   1909 |        0 |        0
75.67/75.73	c 75.7s |      19 |   649328 |   619482 |      741   1949 |        0 |        0
77.67/77.73	c 77.7s |      19 |   665307 |   634782 |      741   1988 |        0 |        0
79.67/79.73	c 79.7s |      19 |   681523 |   650482 |      741   2028 |        0 |        0
81.67/81.74	c 81.7s |      19 |   698152 |   666182 |      816   2067 |        0 |        0
81.77/81.82	c 81.8s |      20 |   698848 |   666827 |      816   2069 |        0 |        0
83.77/83.83	c 83.8s |      20 |   715605 |   682427 |      816   2105 |        0 |        0
85.78/85.84	c 85.8s |      20 |   732587 |   698227 |      816   2141 |        0 |        0
87.77/87.84	c 87.8s |      20 |   749362 |   713927 |      816   2178 |        0 |        0
89.77/89.86	c 89.8s |      20 |   766728 |   729727 |      816   2215 |        0 |        0
91.77/91.87	c 91.9s |      20 |   783696 |   745527 |      816   2251 |        0 |        0
93.77/93.88	c 93.9s |      20 |   801483 |   761927 |      816   2289 |        0 |        0
95.78/95.89	c 95.9s |      20 |   818609 |   777427 |      816   2325 |        0 |        0
97.78/97.89	c 97.9s |      20 |   835749 |   792927 |      816   2361 |        0 |        0
99.77/99.89	c 99.9s |      20 |   852325 |   808527 |      816   2398 |        0 |        0
101.87/101.90	c  101s |      20 |   869335 |   824327 |      816   2434 |        0 |        0
103.87/103.90	c  103s |      20 |   886089 |   840027 |      816   2471 |        0 |        0
105.87/105.91	c  105s |      20 |   903118 |   855527 |      816   2507 |        0 |        0
107.88/107.92	c  107s |      20 |   920183 |   871227 |      816   2544 |        0 |        0
109.87/109.92	c  109s |      20 |   936716 |   886627 |      816   2579 |        0 |        0
111.87/111.93	c  111s |      20 |   953114 |   902127 |      816   2615 |        0 |        0
113.87/113.94	c  113s |      20 |   969905 |   917527 |      816   2651 |        0 |        0
115.87/115.95	c  115s |      20 |   986807 |   932627 |      816   2686 |        0 |        0
117.87/117.95	c  117s |      20 |  1003358 |   947827 |      816   2721 |        0 |        0
119.87/119.95	c  119s |      20 |  1019867 |   963027 |      816   2757 |        0 |        0
121.86/121.97	c  121s |      20 |  1037265 |   978827 |      816   2793 |        0 |        0
123.86/123.98	c  123s |      20 |  1054775 |   994227 |      898   2829 |        0 |        0
124.66/124.78	c  124s |      21 |  1061574 |  1000345 |      898   2842 |        0 |        0
126.66/126.79	c  126s |      21 |  1078612 |  1015745 |      898   2874 |        0 |        0
128.67/128.80	c  128s |      21 |  1095663 |  1031145 |      898   2907 |        0 |        0
130.76/130.80	c  130s |      21 |  1112261 |  1046345 |      898   2939 |        0 |        0
132.76/132.80	c  132s |      21 |  1129076 |  1061545 |      898   2971 |        0 |        0
134.76/134.81	c  134s |      21 |  1145719 |  1076745 |      898   3003 |        0 |        0
136.76/136.82	c  136s |      21 |  1161997 |  1091745 |      898   3035 |        0 |        0
138.75/138.84	c  138s |      21 |  1178269 |  1107245 |      898   3068 |        0 |        0
140.76/140.84	c  140s |      21 |  1194876 |  1122645 |      898   3100 |        0 |        0
142.75/142.85	c  142s |      21 |  1211131 |  1137945 |      898   3133 |        0 |        0
144.75/144.85	c  144s |      21 |  1227287 |  1153045 |      898   3165 |        0 |        0
146.75/146.85	c  146s |      21 |  1243388 |  1168145 |      898   3197 |        0 |        0
148.75/148.85	c  148s |      21 |  1259556 |  1183245 |      898   3229 |        0 |        0
150.75/150.86	c  150s |      21 |  1275897 |  1198645 |      898   3262 |        0 |        0
152.75/152.87	c  152s |      21 |  1292040 |  1213845 |      898   3294 |        0 |        0
154.74/154.88	c  154s |      21 |  1308509 |  1228945 |      898   3326 |        0 |        0
156.74/156.88	c  156s |      21 |  1324473 |  1243945 |      898   3358 |        0 |        0
158.74/158.89	c  158s |      21 |  1341106 |  1259045 |      898   3390 |        0 |        0
160.74/160.89	c  160s |      21 |  1357903 |  1274045 |      898   3422 |        0 |        0
162.75/162.90	c  162s |      21 |  1374408 |  1289145 |      898   3454 |        0 |        0
164.84/164.90	c  164s |      21 |  1390756 |  1304145 |      898   3486 |        0 |        0
166.84/166.91	c  166s |      21 |  1407706 |  1319345 |      898   3518 |        0 |        0
168.83/168.91	c  168s |      21 |  1423991 |  1334545 |      898   3550 |        0 |        0
170.83/170.92	c  170s |      21 |  1441111 |  1350045 |      898   3583 |        0 |        0
172.83/172.93	c  172s |      21 |  1458844 |  1365545 |      898   3616 |        0 |        0
174.84/174.93	c  174s |      21 |  1475415 |  1380545 |      898   3647 |        0 |        0
176.83/176.94	c  176s |      21 |  1491666 |  1395845 |      898   3680 |        0 |        0
178.83/178.95	c  178s |      21 |  1508316 |  1410845 |      898   3712 |        0 |        0
180.83/180.96	c  180s |      21 |  1525121 |  1426145 |      898   3744 |        0 |        0
182.83/182.96	c  182s |      21 |  1541278 |  1441245 |      898   3776 |        0 |        0
184.83/184.96	c  184s |      21 |  1557449 |  1456245 |      898   3808 |        0 |        0
186.83/186.97	c  186s |      21 |  1573487 |  1471345 |      898   3840 |        0 |        0
188.83/188.98	c  188s |      21 |  1589829 |  1486445 |      898   3872 |        0 |        0
190.73/190.89	c  190s |      22 |  1605137 |  1500622 |      988   3900 |        0 |        0
192.73/192.89	c  192s |      22 |  1620775 |  1515422 |      988   3929 |        0 |        0
194.83/194.91	c  194s |      22 |  1637155 |  1530422 |      988   3958 |        0 |        0
196.84/196.91	c  196s |      22 |  1652965 |  1545022 |      988   3986 |        0 |        0
198.83/198.91	c  198s |      22 |  1669047 |  1559722 |      988   4014 |        0 |        0
200.83/200.92	c  200s |      22 |  1684746 |  1574522 |      988   4043 |        0 |        0
202.83/202.92	c  202s |      22 |  1701215 |  1589222 |      988   4072 |        0 |        0
204.83/204.92	c  204s |      22 |  1717441 |  1604222 |      988   4101 |        0 |        0
206.83/206.93	c  206s |      22 |  1733518 |  1618922 |      988   4129 |        0 |        0
208.83/208.95	c  208s |      22 |  1749874 |  1633722 |      988   4158 |        0 |        0
210.82/210.95	c  210s |      22 |  1766406 |  1648222 |      988   4186 |        0 |        0
212.82/212.97	c  212s |      22 |  1782809 |  1663122 |      988   4215 |        0 |        0
214.82/214.98	c  214s |      22 |  1798976 |  1677722 |      988   4243 |        0 |        0
216.82/216.99	c  216s |      22 |  1815471 |  1692422 |      988   4271 |        0 |        0
218.92/219.01	c  218s |      22 |  1831448 |  1706922 |      988   4300 |        0 |        0
220.91/221.01	c  220s |      22 |  1847470 |  1721622 |      988   4328 |        0 |        0
222.91/223.01	c  223s |      22 |  1863411 |  1736322 |      988   4356 |        0 |        0
224.91/225.02	c  225s |      22 |  1879090 |  1750922 |      988   4385 |        0 |        0
226.91/227.03	c  227s |      22 |  1894611 |  1765522 |      988   4413 |        0 |        0
228.91/229.04	c  229s |      22 |  1910977 |  1780122 |      988   4441 |        0 |        0
230.92/231.05	c  231s |      22 |  1926846 |  1794622 |      988   4469 |        0 |        0
232.91/233.06	c  233s |      22 |  1943132 |  1809422 |      988   4498 |        0 |        0
234.91/235.07	c  235s |      22 |  1959561 |  1824222 |      988   4527 |        0 |        0
236.91/237.07	c  237s |      22 |  1975902 |  1839022 |      988   4555 |        0 |        0
238.91/239.08	c  239s |      22 |  1992598 |  1853922 |      988   4584 |        0 |        0
240.91/241.08	c  241s |      22 |  2009224 |  1868622 |      988   4613 |        0 |        0
242.91/243.09	c  243s |      22 |  2025068 |  1883222 |      988   4641 |        0 |        0
245.00/245.10	c  245s |      22 |  2040833 |  1897922 |      988   4669 |        0 |        0
247.00/247.11	c  247s |      22 |  2056648 |  1912622 |      988   4698 |        0 |        0
249.00/249.12	c  249s |      22 |  2072587 |  1927422 |      988   4727 |        0 |        0
251.00/251.12	c  251s |      22 |  2088819 |  1942122 |      988   4755 |        0 |        0
253.01/253.12	c  253s |      22 |  2104693 |  1956922 |      988   4784 |        0 |        0
255.00/255.13	c  255s |      22 |  2121069 |  1971722 |      988   4812 |        0 |        0
257.00/257.14	c  257s |      22 |  2137083 |  1986322 |      988   4841 |        0 |        0
259.00/259.14	c  259s |      22 |  2153026 |  2001022 |      988   4869 |        0 |        0
261.00/261.15	c  261s |      22 |  2168895 |  2015622 |      988   4897 |        0 |        0
263.00/263.15	c  263s |      22 |  2184627 |  2030422 |      988   4926 |        0 |        0
265.01/265.16	c  265s |      22 |  2200091 |  2044922 |      988   4954 |        0 |        0
267.00/267.17	c  267s |      22 |  2216149 |  2059222 |      988   4982 |        0 |        0
269.00/269.17	c  269s |      22 |  2232013 |  2073622 |      988   5010 |        0 |        0
271.00/271.18	c  271s |      22 |  2248103 |  2088522 |      988   5039 |        0 |        0
273.00/273.18	c  273s |      22 |  2263807 |  2103222 |      988   5068 |        0 |        0
275.00/275.19	c  275s |      22 |  2279730 |  2117722 |      988   5096 |        0 |        0
277.00/277.19	c  277s |      22 |  2295864 |  2132722 |      988   5125 |        0 |        0
279.09/279.20	c  279s |      22 |  2311736 |  2147522 |      988   5153 |        0 |        0
281.09/281.21	c  281s |      22 |  2327518 |  2162322 |      988   5182 |        0 |        0
283.09/283.21	c  283s |      22 |  2343181 |  2177022 |      988   5211 |        0 |        0
285.09/285.22	c  285s |      22 |  2359642 |  2191722 |      988   5239 |        0 |        0
287.10/287.22	c  287s |      22 |  2375733 |  2206322 |      988   5268 |        0 |        0
289.09/289.23	c  289s |      22 |  2392065 |  2221122 |      988   5296 |        0 |        0
291.09/291.24	c  291s |      22 |  2408063 |  2236022 |     1087   5325 |        0 |        0
293.09/293.25	c  293s |      22 |  2423814 |  2250522 |     1087   5351 |        0 |        0
293.19/293.32	c  293s |      23 |  2424387 |  2251038 |     1087   5351 |        0 |        0
295.19/295.33	c  295s |      23 |  2439957 |  2265938 |     1087   5378 |        0 |        0
297.19/297.34	c  297s |      23 |  2455469 |  2280738 |     1087   5404 |        0 |        0
299.19/299.34	c  299s |      23 |  2471156 |  2295638 |     1087   5430 |        0 |        0
301.18/301.35	c  301s |      23 |  2487006 |  2310538 |     1087   5456 |        0 |        0
303.18/303.35	c  303s |      23 |  2502515 |  2324938 |     1087   5482 |        0 |        0
305.18/305.36	c  305s |      23 |  2518437 |  2339738 |     1087   5508 |        0 |        0
307.18/307.36	c  307s |      23 |  2534601 |  2354638 |     1087   5534 |        0 |        0
309.18/309.37	c  309s |      23 |  2550295 |  2369338 |     1087   5560 |        0 |        0
311.19/311.37	c  311s |      23 |  2565721 |  2383738 |     1087   5586 |        0 |        0
313.18/313.37	c  313s |      23 |  2581467 |  2398338 |     1087   5612 |        0 |        0
315.19/315.38	c  315s |      23 |  2597297 |  2413038 |     1087   5638 |        0 |        0
317.19/317.38	c  317s |      23 |  2613323 |  2427738 |     1087   5664 |        0 |        0
319.29/319.40	c  319s |      23 |  2629392 |  2442338 |     1087   5689 |        0 |        0
321.29/321.41	c  321s |      23 |  2644934 |  2456738 |     1087   5715 |        0 |        0
323.29/323.41	c  323s |      23 |  2660500 |  2471338 |     1087   5741 |        0 |        0
325.28/325.42	c  325s |      23 |  2675897 |  2485938 |     1087   5766 |        0 |        0
327.28/327.43	c  327s |      23 |  2691817 |  2500638 |     1087   5792 |        0 |        0
329.28/329.43	c  329s |      23 |  2707204 |  2515038 |     1087   5818 |        0 |        0
331.27/331.44	c  331s |      23 |  2723067 |  2529538 |     1087   5843 |        0 |        0
333.28/333.44	c  333s |      23 |  2738936 |  2544338 |     1087   5870 |        0 |        0
335.27/335.46	c  335s |      23 |  2754221 |  2558938 |     1087   5895 |        0 |        0
337.27/337.46	c  337s |      23 |  2769903 |  2573538 |     1087   5921 |        0 |        0
339.27/339.47	c  339s |      23 |  2785496 |  2588338 |     1087   5947 |        0 |        0
341.27/341.48	c  341s |      23 |  2801493 |  2602438 |     1087   5972 |        0 |        0
343.27/343.48	c  343s |      23 |  2817018 |  2616838 |     1087   5998 |        0 |        0
345.28/345.49	c  345s |      23 |  2832491 |  2631538 |     1087   6024 |        0 |        0
347.37/347.50	c  347s |      23 |  2848146 |  2645938 |     1087   6049 |        0 |        0
349.37/349.50	c  349s |      23 |  2864262 |  2660638 |     1087   6075 |        0 |        0
351.37/351.51	c  351s |      23 |  2880393 |  2675038 |     1087   6101 |        0 |        0
353.37/353.52	c  353s |      23 |  2896540 |  2689738 |     1087   6127 |        0 |        0
355.37/355.53	c  355s |      23 |  2912384 |  2704238 |     1087   6153 |        0 |        0
357.37/357.53	c  357s |      23 |  2928298 |  2718938 |     1087   6179 |        0 |        0
359.37/359.54	c  359s |      23 |  2944253 |  2733738 |     1087   6205 |        0 |        0
361.37/361.54	c  361s |      23 |  2960491 |  2748538 |     1087   6231 |        0 |        0
363.37/363.54	c  363s |      23 |  2976167 |  2763038 |     1087   6257 |        0 |        0
365.37/365.55	c  365s |      23 |  2991882 |  2777738 |     1087   6283 |        0 |        0
367.38/367.55	c  367s |      23 |  3008234 |  2792038 |     1087   6308 |        0 |        0
369.36/369.56	c  369s |      23 |  3023892 |  2806338 |     1087   6334 |        0 |        0
371.36/371.58	c  371s |      23 |  3039434 |  2820938 |     1087   6360 |        0 |        0
373.36/373.58	c  373s |      23 |  3056197 |  2836138 |     1087   6386 |        0 |        0
375.36/375.59	c  375s |      23 |  3072812 |  2850838 |     1087   6412 |        0 |        0
377.46/377.60	c  377s |      23 |  3088932 |  2865338 |     1087   6438 |        0 |        0
379.36/379.60	c  379s |      23 |  3105451 |  2880138 |     1087   6464 |        0 |        0
381.46/381.61	c  381s |      23 |  3121667 |  2895038 |     1087   6491 |        0 |        0
383.45/383.61	c  383s |      23 |  3138171 |  2909938 |     1087   6517 |        0 |        0
385.45/385.63	c  385s |      23 |  3154287 |  2924438 |     1087   6543 |        0 |        0
387.45/387.64	c  387s |      23 |  3170377 |  2938938 |     1087   6568 |        0 |        0
389.45/389.65	c  389s |      23 |  3186359 |  2953138 |     1087   6594 |        0 |        0
391.46/391.65	c  391s |      23 |  3202417 |  2967738 |     1087   6619 |        0 |        0
393.45/393.66	c  393s |      23 |  3218119 |  2982038 |     1087   6645 |        0 |        0
395.45/395.66	c  395s |      23 |  3233989 |  2996338 |     1087   6670 |        0 |        0
397.45/397.67	c  397s |      23 |  3250008 |  3011138 |     1087   6696 |        0 |        0
399.45/399.67	c  399s |      23 |  3266026 |  3026038 |     1087   6722 |        0 |        0
401.45/401.67	c  401s |      23 |  3282318 |  3040838 |     1087   6749 |        0 |        0
403.45/403.69	c  403s |      23 |  3298950 |  3055638 |     1087   6775 |        0 |        0
405.45/405.69	c  405s |      23 |  3315051 |  3070338 |     1087   6801 |        0 |        0
407.55/407.70	c  407s |      23 |  3331060 |  3085038 |     1087   6827 |        0 |        0
409.54/409.71	c  409s |      23 |  3346689 |  3099638 |     1087   6853 |        0 |        0
411.54/411.72	c  411s |      23 |  3362887 |  3114338 |     1087   6879 |        0 |        0
413.55/413.72	c  413s |      23 |  3379245 |  3128938 |     1087   6905 |        0 |        0
415.54/415.73	c  415s |      23 |  3394999 |  3143638 |     1087   6930 |        0 |        0
417.54/417.74	c  417s |      23 |  3410695 |  3158338 |     1087   6956 |        0 |        0
419.54/419.75	c  419s |      23 |  3426533 |  3172638 |     1087   6982 |        0 |        0
421.54/421.76	c  421s |      23 |  3443043 |  3187238 |     1087   7008 |        0 |        0
423.54/423.76	c  423s |      23 |  3459051 |  3201738 |     1087   7033 |        0 |        0
425.54/425.77	c  425s |      23 |  3475284 |  3216138 |     1087   7059 |        0 |        0
427.54/427.78	c  427s |      23 |  3491382 |  3230738 |     1087   7085 |        0 |        0
429.54/429.79	c  429s |      23 |  3507230 |  3245438 |     1087   7111 |        0 |        0
431.54/431.79	c  431s |      23 |  3523490 |  3260138 |     1087   7137 |        0 |        0
433.64/433.80	c  433s |      23 |  3539553 |  3274838 |     1087   7163 |        0 |        0
435.64/435.80	c  435s |      23 |  3555117 |  3289138 |     1087   7188 |        0 |        0
437.64/437.81	c  437s |      23 |  3571085 |  3303438 |     1087   7213 |        0 |        0
439.63/439.81	c  439s |      23 |  3586674 |  3317838 |     1087   7239 |        0 |        0
441.63/441.83	c  441s |      23 |  3602206 |  3332338 |     1087   7264 |        0 |        0
443.64/443.83	c  443s |      23 |  3617819 |  3346938 |     1087   7290 |        0 |        0
445.64/445.84	c  445s |      23 |  3633887 |  3361538 |     1196   7315 |        0 |        0
447.65/447.84	c  447s |      23 |  3649459 |  3376038 |     1196   7338 |        0 |        0
447.74/447.93	c  447s |      24 |  3650109 |  3376662 |     1196   7339 |        0 |        0
449.74/449.93	c  449s |      24 |  3666446 |  3391362 |     1196   7363 |        0 |        0
451.73/451.94	c  451s |      24 |  3682220 |  3405862 |     1196   7386 |        0 |        0
453.73/453.95	c  453s |      24 |  3698067 |  3420762 |     1196   7410 |        0 |        0
455.73/455.96	c  455s |      24 |  3713957 |  3435562 |     1196   7434 |        0 |        0
457.73/457.97	c  457s |      24 |  3729782 |  3450162 |     1196   7458 |        0 |        0
459.74/459.98	c  459s |      24 |  3745490 |  3464662 |     1196   7481 |        0 |        0
461.73/461.99	c  461s |      24 |  3761408 |  3479362 |     1196   7505 |        0 |        0
463.73/464.00	c  463s |      24 |  3777018 |  3493462 |     1196   7528 |        0 |        0
465.83/466.01	c  465s |      24 |  3793271 |  3507962 |     1196   7551 |        0 |        0
467.83/468.01	c  467s |      24 |  3810072 |  3522462 |     1196   7574 |        0 |        0
469.82/470.02	c  470s |      24 |  3825776 |  3537162 |     1196   7598 |        0 |        0
471.83/472.04	c  472s |      24 |  3841305 |  3551762 |     1196   7621 |        0 |        0
473.82/474.04	c  474s |      24 |  3856689 |  3566262 |     1196   7645 |        0 |        0
475.82/476.04	c  476s |      24 |  3872007 |  3580762 |     1196   7668 |        0 |        0
477.82/478.06	c  478s |      24 |  3888557 |  3595362 |     1196   7692 |        0 |        0
479.82/480.07	c  480s |      24 |  3904673 |  3609962 |     1196   7715 |        0 |        0
481.82/482.07	c  482s |      24 |  3921244 |  3624662 |     1196   7739 |        0 |        0
483.83/484.08	c  484s |      24 |  3937550 |  3639162 |     1196   7762 |        0 |        0
485.82/486.09	c  486s |      24 |  3953812 |  3653662 |     1196   7786 |        0 |        0
487.82/488.09	c  488s |      24 |  3970037 |  3668062 |     1196   7809 |        0 |        0
489.81/490.09	c  490s |      24 |  3985913 |  3682462 |     1196   7832 |        0 |        0
491.91/492.10	c  492s |      24 |  4001831 |  3696862 |     1196   7855 |        0 |        0
493.91/494.11	c  494s |      24 |  4017448 |  3711462 |     1196   7879 |        0 |        0
495.92/496.11	c  496s |      24 |  4033099 |  3726062 |     1196   7903 |        0 |        0
497.91/498.11	c  498s |      24 |  4048775 |  3740662 |     1196   7926 |        0 |        0
499.91/500.12	c  500s |      24 |  4064665 |  3755262 |     1196   7950 |        0 |        0
501.91/502.13	c  502s |      24 |  4080261 |  3769962 |     1196   7973 |        0 |        0
503.91/504.14	c  504s |      24 |  4096126 |  3784562 |     1196   7997 |        0 |        0
505.91/506.15	c  506s |      24 |  4112696 |  3799062 |     1196   8020 |        0 |        0
507.91/508.16	c  508s |      24 |  4129381 |  3813962 |     1196   8044 |        0 |        0
509.91/510.17	c  510s |      24 |  4145811 |  3828562 |     1196   8068 |        0 |        0
511.91/512.18	c  512s |      24 |  4161703 |  3843162 |     1196   8091 |        0 |        0
513.91/514.19	c  514s |      24 |  4177664 |  3858062 |     1196   8115 |        0 |        0
515.91/516.19	c  516s |      24 |  4193497 |  3872462 |     1196   8139 |        0 |        0
517.91/518.19	c  518s |      24 |  4209702 |  3887362 |     1196   8163 |        0 |        0
520.00/520.20	c  520s |      24 |  4225906 |  3901962 |     1196   8186 |        0 |        0
522.00/522.21	c  522s |      24 |  4242072 |  3916462 |     1196   8210 |        0 |        0
524.00/524.21	c  524s |      24 |  4257882 |  3931162 |     1196   8233 |        0 |        0
526.00/526.22	c  526s |      24 |  4273573 |  3945462 |     1196   8256 |        0 |        0
528.00/528.24	c  528s |      24 |  4289787 |  3960262 |     1196   8280 |        0 |        0
530.00/530.24	c  530s |      24 |  4305679 |  3974862 |     1196   8304 |        0 |        0
532.00/532.26	c  532s |      24 |  4321346 |  3989462 |     1196   8328 |        0 |        0
533.99/534.26	c  534s |      24 |  4337061 |  4003962 |     1196   8351 |        0 |        0
535.99/536.27	c  536s |      24 |  4352972 |  4018462 |     1196   8374 |        0 |        0
537.99/538.28	c  538s |      24 |  4368987 |  4032762 |     1196   8398 |        0 |        0
540.00/540.29	c  540s |      24 |  4385449 |  4047762 |     1196   8422 |        0 |        0
541.99/542.30	c  542s |      24 |  4401222 |  4062462 |     1196   8446 |        0 |        0
544.09/544.31	c  544s |      24 |  4417546 |  4077162 |     1196   8469 |        0 |        0
546.10/546.31	c  546s |      24 |  4433595 |  4091562 |     1196   8493 |        0 |        0
548.10/548.32	c  548s |      24 |  4450773 |  4106462 |     1196   8517 |        0 |        0
550.09/550.33	c  550s |      24 |  4467299 |  4121362 |     1196   8541 |        0 |        0
552.10/552.33	c  552s |      24 |  4483172 |  4135962 |     1196   8564 |        0 |        0
554.09/554.34	c  554s |      24 |  4499767 |  4150562 |     1196   8588 |        0 |        0
556.09/556.35	c  556s |      24 |  4515320 |  4165062 |     1196   8612 |        0 |        0
558.09/558.35	c  558s |      24 |  4531162 |  4179762 |     1196   8636 |        0 |        0
560.09/560.36	c  560s |      24 |  4546818 |  4194262 |     1196   8659 |        0 |        0
562.09/562.37	c  562s |      24 |  4563276 |  4209162 |     1196   8683 |        0 |        0
564.09/564.38	c  564s |      24 |  4579466 |  4223862 |     1196   8707 |        0 |        0
566.09/566.39	c  566s |      24 |  4595319 |  4238462 |     1196   8731 |        0 |        0
568.18/568.40	c  568s |      24 |  4611234 |  4253062 |     1196   8754 |        0 |        0
570.18/570.41	c  570s |      24 |  4627384 |  4267662 |     1196   8778 |        0 |        0
572.18/572.42	c  572s |      24 |  4643870 |  4282262 |     1196   8801 |        0 |        0
574.18/574.42	c  574s |      24 |  4660743 |  4296762 |     1196   8825 |        0 |        0
576.19/576.42	c  576s |      24 |  4676883 |  4311162 |     1196   8848 |        0 |        0
578.18/578.43	c  578s |      24 |  4692766 |  4325662 |     1196   8872 |        0 |        0
580.17/580.44	c  580s |      24 |  4709232 |  4340362 |     1196   8896 |        0 |        0
582.17/582.45	c  582s |      24 |  4726237 |  4355062 |     1196   8919 |        0 |        0
584.17/584.46	c  584s |      24 |  4742390 |  4369562 |     1196   8943 |        0 |        0
586.17/586.47	c  586s |      24 |  4758655 |  4384262 |     1196   8966 |        0 |        0
588.17/588.48	c  588s |      24 |  4774595 |  4398562 |     1196   8990 |        0 |        0
590.16/590.48	c  590s |      24 |  4790693 |  4413062 |     1196   9013 |        0 |        0
592.16/592.48	c  592s |      24 |  4806391 |  4427362 |     1196   9036 |        0 |        0
594.17/594.48	c  594s |      24 |  4821974 |  4441762 |     1196   9059 |        0 |        0
596.17/596.49	c  596s |      24 |  4838161 |  4456162 |     1196   9083 |        0 |        0
598.18/598.50	c  598s |      24 |  4854198 |  4470562 |     1196   9106 |        0 |        0
600.27/600.51	c  600s |      24 |  4870281 |  4485062 |     1196   9129 |        0 |        0
602.27/602.52	c  602s |      24 |  4885893 |  4499662 |     1196   9153 |        0 |        0
604.27/604.53	c  604s |      24 |  4902532 |  4514262 |     1196   9176 |        0 |        0
606.26/606.54	c  606s |      24 |  4918324 |  4528862 |     1196   9200 |        0 |        0
608.26/608.55	c  608s |      24 |  4934186 |  4543362 |     1196   9223 |        0 |        0
610.27/610.55	c  610s |      24 |  4949719 |  4557862 |     1196   9247 |        0 |        0
612.26/612.56	c  612s |      24 |  4965678 |  4572462 |     1196   9270 |        0 |        0
614.26/614.58	c  614s |      24 |  4981335 |  4586762 |     1196   9294 |        0 |        0
616.26/616.58	c  616s |      24 |  4997994 |  4601562 |     1196   9317 |        0 |        0
618.26/618.58	c  618s |      24 |  5014630 |  4616562 |     1196   9341 |        0 |        0
620.26/620.59	c  620s |      24 |  5031291 |  4631062 |     1196   9365 |        0 |        0
622.26/622.60	c  622s |      24 |  5047286 |  4645562 |     1196   9388 |        0 |        0
624.36/624.61	c  624s |      24 |  5063825 |  4660262 |     1196   9412 |        0 |        0
626.36/626.62	c  626s |      24 |  5080159 |  4674862 |     1196   9435 |        0 |        0
628.35/628.62	c  628s |      24 |  5096214 |  4689362 |     1196   9459 |        0 |        0
630.35/630.63	c  630s |      24 |  5113124 |  4704062 |     1196   9483 |        0 |        0
632.36/632.64	c  632s |      24 |  5129212 |  4718562 |     1196   9506 |        0 |        0
634.35/634.64	c  634s |      24 |  5145943 |  4733262 |     1196   9530 |        0 |        0
636.35/636.65	c  636s |      24 |  5162458 |  4748262 |     1196   9554 |        0 |        0
638.35/638.65	c  638s |      24 |  5178721 |  4762762 |     1196   9577 |        0 |        0
640.35/640.66	c  640s |      24 |  5195181 |  4777362 |     1196   9601 |        0 |        0
642.35/642.67	c  642s |      24 |  5211565 |  4792162 |     1196   9625 |        0 |        0
644.35/644.67	c  644s |      24 |  5228108 |  4806962 |     1196   9649 |        0 |        0
646.35/646.68	c  646s |      24 |  5244496 |  4821662 |     1196   9673 |        0 |        0
648.35/648.68	c  648s |      24 |  5261827 |  4836662 |     1196   9697 |        0 |        0
650.34/650.68	c  650s |      24 |  5278220 |  4851162 |     1196   9720 |        0 |        0
652.34/652.69	c  652s |      24 |  5294303 |  4865862 |     1196   9744 |        0 |        0
654.44/654.70	c  654s |      24 |  5311226 |  4880462 |     1196   9768 |        0 |        0
656.45/656.71	c  656s |      24 |  5327890 |  4895262 |     1196   9792 |        0 |        0
658.44/658.72	c  658s |      24 |  5344620 |  4910162 |     1196   9816 |        0 |        0
660.44/660.72	c  660s |      24 |  5361279 |  4924662 |     1196   9839 |        0 |        0
662.44/662.73	c  662s |      24 |  5377421 |  4939262 |     1196   9863 |        0 |        0
664.44/664.73	c  664s |      24 |  5393614 |  4953862 |     1196   9886 |        0 |        0
666.45/666.75	c  666s |      24 |  5409653 |  4968362 |     1196   9910 |        0 |        0
668.44/668.75	c  668s |      24 |  5425641 |  4982762 |     1196   9933 |        0 |        0
670.44/670.76	c  670s |      24 |  5441699 |  4997462 |     1196   9956 |        0 |        0
672.44/672.77	c  672s |      24 |  5457807 |  5011962 |     1196   9980 |        0 |        0
674.44/674.78	c  674s |      24 |  5473761 |  5026562 |     1196  10003 |        0 |        0
676.44/676.79	c  676s |      24 |  5489422 |  5041062 |     1316  10025 |        0 |        0
678.44/678.79	c  678s |      24 |  5504905 |  5055262 |     1316  10046 |        0 |        0
679.83/680.19	c  680s |      25 |  5515375 |  5065098 |     1316  10060 |        0 |        0
681.93/682.20	c  682s |      25 |  5532056 |  5079998 |     1316  10082 |        0 |        0
683.94/684.21	c  684s |      25 |  5548160 |  5094498 |     1316  10104 |        0 |        0
685.93/686.22	c  686s |      25 |  5564706 |  5108898 |     1316  10125 |        0 |        0
687.93/688.22	c  688s |      25 |  5580943 |  5123098 |     1316  10146 |        0 |        0
689.93/690.23	c  690s |      25 |  5597380 |  5137398 |     1316  10167 |        0 |        0
691.93/692.23	c  692s |      25 |  5613907 |  5151798 |     1316  10188 |        0 |        0
693.93/694.24	c  694s |      25 |  5630357 |  5166398 |     1316  10209 |        0 |        0
695.93/696.25	c  696s |      25 |  5646609 |  5180798 |     1316  10230 |        0 |        0
697.92/698.25	c  698s |      25 |  5662671 |  5194998 |     1316  10251 |        0 |        0
699.92/700.26	c  700s |      25 |  5678277 |  5209198 |     1316  10272 |        0 |        0
701.92/702.26	c  702s |      25 |  5693940 |  5223798 |     1316  10294 |        0 |        0
703.92/704.27	c  704s |      25 |  5710688 |  5238298 |     1316  10315 |        0 |        0
705.93/706.28	c  706s |      25 |  5727057 |  5252598 |     1316  10336 |        0 |        0
707.92/708.29	c  708s |      25 |  5742822 |  5266798 |     1316  10357 |        0 |        0
709.91/710.29	c  710s |      25 |  5758324 |  5280898 |     1316  10378 |        0 |        0
711.91/712.30	c  712s |      25 |  5774381 |  5295298 |     1316  10399 |        0 |        0
714.01/714.31	c  714s |      25 |  5790222 |  5309598 |     1316  10420 |        0 |        0
716.02/716.32	c  716s |      25 |  5805996 |  5323898 |     1316  10441 |        0 |        0
718.03/718.33	c  718s |      25 |  5821971 |  5338098 |     1316  10462 |        0 |        0
720.02/720.33	c  720s |      25 |  5837275 |  5352298 |     1316  10482 |        0 |        0
722.02/722.34	c  722s |      25 |  5852611 |  5366698 |     1316  10504 |        0 |        0
724.02/724.35	c  724s |      25 |  5868690 |  5381498 |     1316  10525 |        0 |        0
726.02/726.36	c  726s |      25 |  5884547 |  5395698 |     1316  10546 |        0 |        0
728.03/728.38	c  728s |      25 |  5900375 |  5410298 |     1316  10568 |        0 |        0
730.02/730.39	c  730s |      25 |  5916542 |  5424498 |     1316  10589 |        0 |        0
732.02/732.39	c  732s |      25 |  5932359 |  5438698 |     1316  10610 |        0 |        0
734.02/734.39	c  734s |      25 |  5947760 |  5452898 |     1316  10631 |        0 |        0
736.12/736.41	c  736s |      25 |  5963822 |  5467298 |     1316  10652 |        0 |        0
738.11/738.41	c  738s |      25 |  5979417 |  5481398 |     1316  10673 |        0 |        0
740.12/740.42	c  740s |      25 |  5994799 |  5495898 |     1316  10694 |        0 |        0
742.11/742.42	c  742s |      25 |  6011023 |  5510598 |     1316  10716 |        0 |        0
744.11/744.43	c  744s |      25 |  6026666 |  5525098 |     1316  10737 |        0 |        0
746.11/746.43	c  746s |      25 |  6042287 |  5539298 |     1316  10758 |        0 |        0
748.11/748.43	c  748s |      25 |  6058640 |  5553798 |     1316  10779 |        0 |        0
750.11/750.44	c  750s |      25 |  6074659 |  5568498 |     1316  10801 |        0 |        0
752.12/752.44	c  752s |      25 |  6090441 |  5582798 |     1316  10822 |        0 |        0
754.11/754.45	c  754s |      25 |  6106466 |  5597298 |     1316  10844 |        0 |        0
756.11/756.45	c  756s |      25 |  6122193 |  5611698 |     1316  10865 |        0 |        0
758.11/758.45	c  758s |      25 |  6138166 |  5625798 |     1316  10886 |        0 |        0
760.11/760.45	c  760s |      25 |  6153574 |  5640198 |     1316  10907 |        0 |        0
762.12/762.46	c  762s |      25 |  6169176 |  5654898 |     1316  10928 |        0 |        0
764.11/764.47	c  764s |      25 |  6184719 |  5669498 |     1316  10950 |        0 |        0
766.11/766.47	c  766s |      25 |  6200994 |  5683898 |     1316  10971 |        0 |        0
768.11/768.48	c  768s |      25 |  6216547 |  5698498 |     1316  10992 |        0 |        0
770.11/770.49	c  770s |      25 |  6232320 |  5712898 |     1316  11014 |        0 |        0
772.11/772.49	c  772s |      25 |  6247921 |  5727198 |     1316  11035 |        0 |        0
774.11/774.49	c  774s |      25 |  6263799 |  5741598 |     1316  11056 |        0 |        0
776.21/776.50	c  776s |      25 |  6279593 |  5755898 |     1316  11077 |        0 |        0
778.21/778.51	c  778s |      25 |  6294874 |  5770098 |     1316  11098 |        0 |        0
780.21/780.52	c  780s |      25 |  6310368 |  5784398 |     1316  11119 |        0 |        0
782.21/782.53	c  782s |      25 |  6325759 |  5798898 |     1316  11140 |        0 |        0
784.20/784.53	c  784s |      25 |  6340896 |  5813198 |     1316  11161 |        0 |        0
786.21/786.54	c  786s |      25 |  6357026 |  5827898 |     1316  11183 |        0 |        0
788.20/788.54	c  788s |      25 |  6373425 |  5842598 |     1316  11205 |        0 |        0
790.20/790.55	c  790s |      25 |  6389396 |  5856898 |     1316  11226 |        0 |        0
792.20/792.56	c  792s |      25 |  6405212 |  5871398 |     1316  11247 |        0 |        0
794.20/794.56	c  794s |      25 |  6420853 |  5885898 |     1316  11269 |        0 |        0
796.21/796.57	c  796s |      25 |  6436585 |  5900198 |     1316  11290 |        0 |        0
798.20/798.59	c  798s |      25 |  6452208 |  5914398 |     1316  11311 |        0 |        0
800.21/800.59	c  800s |      25 |  6468125 |  5928998 |     1316  11332 |        0 |        0
802.21/802.59	c  802s |      25 |  6484254 |  5943298 |     1316  11353 |        0 |        0
804.31/804.60	c  804s |      25 |  6499576 |  5957398 |     1316  11374 |        0 |        0
806.31/806.61	c  806s |      25 |  6514972 |  5971798 |     1316  11395 |        0 |        0
808.31/808.63	c  808s |      25 |  6529750 |  5985798 |     1316  11416 |        0 |        0
810.31/810.63	c  810s |      25 |  6545139 |  5999998 |     1316  11437 |        0 |        0
812.30/812.65	c  812s |      25 |  6560886 |  6014298 |     1316  11458 |        0 |        0
814.30/814.65	c  814s |      25 |  6576285 |  6028098 |     1316  11478 |        0 |        0
816.30/816.66	c  816s |      25 |  6591699 |  6042098 |     1316  11499 |        0 |        0
818.30/818.67	c  818s |      25 |  6607987 |  6056198 |     1316  11519 |        0 |        0
820.31/820.67	c  820s |      25 |  6623254 |  6070298 |     1316  11540 |        0 |        0
822.30/822.68	c  822s |      25 |  6639787 |  6085398 |     1316  11562 |        0 |        0
824.30/824.68	c  824s |      25 |  6656343 |  6100198 |     1316  11584 |        0 |        0
826.30/826.68	c  826s |      25 |  6672682 |  6114798 |     1316  11606 |        0 |        0
828.30/828.68	c  828s |      25 |  6688373 |  6129298 |     1316  11627 |        0 |        0
830.40/830.70	c  830s |      25 |  6704222 |  6143998 |     1316  11649 |        0 |        0
832.30/832.70	c  832s |      25 |  6719581 |  6158598 |     1316  11670 |        0 |        0
834.40/834.71	c  834s |      25 |  6735321 |  6173298 |     1316  11692 |        0 |        0
836.39/836.71	c  836s |      25 |  6751098 |  6188098 |     1316  11714 |        0 |        0
838.40/838.72	c  838s |      25 |  6766878 |  6202598 |     1316  11735 |        0 |        0
840.40/840.72	c  840s |      25 |  6782307 |  6217198 |     1316  11757 |        0 |        0
842.41/842.72	c  842s |      25 |  6797648 |  6231798 |     1316  11779 |        0 |        0
844.40/844.73	c  844s |      25 |  6813376 |  6246398 |     1316  11800 |        0 |        0
846.40/846.74	c  846s |      25 |  6829222 |  6260698 |     1316  11821 |        0 |        0
848.40/848.75	c  848s |      25 |  6845349 |  6275198 |     1316  11843 |        0 |        0
850.40/850.76	c  850s |      25 |  6862295 |  6289798 |     1316  11864 |        0 |        0
852.40/852.77	c  852s |      25 |  6878167 |  6304198 |     1316  11886 |        0 |        0
854.41/854.78	c  854s |      25 |  6893885 |  6318798 |     1316  11907 |        0 |        0
856.40/856.78	c  856s |      25 |  6910031 |  6333398 |     1316  11928 |        0 |        0
858.40/858.79	c  858s |      25 |  6926651 |  6347898 |     1316  11950 |        0 |        0
860.50/860.80	c  860s |      25 |  6942609 |  6362098 |     1316  11971 |        0 |        0
862.50/862.81	c  862s |      25 |  6958237 |  6376598 |     1316  11992 |        0 |        0
864.50/864.81	c  864s |      25 |  6974053 |  6390798 |     1316  12013 |        0 |        0
866.50/866.82	c  866s |      25 |  6989527 |  6404598 |     1316  12033 |        0 |        0
868.50/868.83	c  868s |      25 |  7005593 |  6418898 |     1316  12054 |        0 |        0
870.49/870.83	c  870s |      25 |  7021472 |  6433498 |     1316  12076 |        0 |        0
872.49/872.84	c  872s |      25 |  7037507 |  6448098 |     1316  12097 |        0 |        0
874.49/874.84	c  874s |      25 |  7053148 |  6462398 |     1316  12118 |        0 |        0
876.50/876.84	c  876s |      25 |  7069242 |  6476498 |     1316  12139 |        0 |        0
878.49/878.85	c  878s |      25 |  7084831 |  6490998 |     1316  12160 |        0 |        0
880.49/880.85	c  880s |      25 |  7100876 |  6505398 |     1316  12181 |        0 |        0
882.49/882.85	c  882s |      25 |  7116732 |  6519598 |     1316  12202 |        0 |        0
884.49/884.85	c  884s |      25 |  7132440 |  6533398 |     1316  12223 |        0 |        0
886.49/886.86	c  886s |      25 |  7147463 |  6547398 |     1316  12243 |        0 |        0
888.50/888.87	c  888s |      25 |  7163697 |  6561998 |     1316  12265 |        0 |        0
890.49/890.87	c  890s |      25 |  7179651 |  6576398 |     1316  12286 |        0 |        0
892.49/892.88	c  892s |      25 |  7195192 |  6590698 |     1316  12307 |        0 |        0
894.49/894.88	c  894s |      25 |  7210446 |  6604898 |     1316  12328 |        0 |        0
896.49/896.89	c  896s |      25 |  7226303 |  6619498 |     1316  12349 |        0 |        0
898.59/898.90	c  898s |      25 |  7242360 |  6634198 |     1316  12371 |        0 |        0
900.59/900.91	c  900s |      25 |  7257688 |  6648398 |     1316  12392 |        0 |        0
902.59/902.92	c  902s |      25 |  7273277 |  6662398 |     1316  12413 |        0 |        0
904.59/904.93	c  904s |      25 |  7289444 |  6676598 |     1316  12433 |        0 |        0
906.59/906.94	c  906s |      25 |  7305273 |  6690698 |     1316  12454 |        0 |        0
908.59/908.94	c  908s |      25 |  7320824 |  6705098 |     1316  12475 |        0 |        0
910.59/910.95	c  910s |      25 |  7336448 |  6719398 |     1316  12497 |        0 |        0
912.59/912.96	c  912s |      25 |  7352420 |  6733598 |     1316  12517 |        0 |        0
914.59/914.97	c  914s |      25 |  7368297 |  6747898 |     1316  12539 |        0 |        0
916.58/916.97	c  916s |      25 |  7383179 |  6761698 |     1316  12559 |        0 |        0
918.58/918.98	c  918s |      25 |  7398187 |  6775398 |     1316  12579 |        0 |        0
920.58/920.98	c  920s |      25 |  7414550 |  6789698 |     1316  12600 |        0 |        0
922.59/923.00	c  922s |      25 |  7431096 |  6804298 |     1316  12621 |        0 |        0
924.68/925.01	c  924s |      25 |  7446812 |  6818998 |     1316  12643 |        0 |        0
926.68/927.02	c  927s |      25 |  7462891 |  6833698 |     1316  12665 |        0 |        0
928.68/929.02	c  929s |      25 |  7479065 |  6848298 |     1316  12686 |        0 |        0
930.68/931.03	c  931s |      25 |  7494987 |  6862798 |     1316  12707 |        0 |        0
932.68/933.04	c  933s |      25 |  7511277 |  6877398 |     1316  12729 |        0 |        0
934.69/935.05	c  935s |      25 |  7527636 |  6891798 |     1316  12750 |        0 |        0
936.68/937.05	c  937s |      25 |  7543753 |  6905998 |     1316  12771 |        0 |        0
938.68/939.06	c  939s |      25 |  7559376 |  6920298 |     1316  12792 |        0 |        0
940.68/941.08	c  941s |      25 |  7574942 |  6934198 |     1316  12813 |        0 |        0
942.69/943.08	c  943s |      25 |  7591316 |  6948298 |     1316  12833 |        0 |        0
944.79/945.10	c  945s |      25 |  7607052 |  6962498 |     1316  12854 |        0 |        0
946.79/947.11	c  947s |      25 |  7624088 |  6977198 |     1316  12876 |        0 |        0
948.79/949.11	c  949s |      25 |  7640835 |  6991598 |     1316  12897 |        0 |        0
950.79/951.13	c  951s |      25 |  7657399 |  7005998 |     1316  12918 |        0 |        0
952.79/953.14	c  953s |      25 |  7673907 |  7020498 |     1316  12939 |        0 |        0
954.78/955.15	c  955s |      25 |  7690399 |  7034798 |     1316  12960 |        0 |        0
956.79/957.15	c  957s |      25 |  7706908 |  7048998 |     1316  12981 |        0 |        0
958.78/959.16	c  959s |      25 |  7723160 |  7063398 |     1316  13002 |        0 |        0
960.78/961.17	c  961s |      25 |  7739408 |  7077598 |     1316  13023 |        0 |        0
962.78/963.17	c  963s |      25 |  7755523 |  7091998 |     1316  13044 |        0 |        0
964.78/965.19	c  965s |      25 |  7771196 |  7106298 |     1316  13066 |        0 |        0
966.88/967.20	c  967s |      25 |  7787620 |  7120398 |     1316  13086 |        0 |        0
968.88/969.21	c  969s |      25 |  7804647 |  7135098 |     1316  13108 |        0 |        0
970.88/971.22	c  971s |      25 |  7820886 |  7149398 |     1316  13129 |        0 |        0
972.88/973.23	c  973s |      25 |  7836175 |  7163798 |     1316  13150 |        0 |        0
974.88/975.23	c  975s |      25 |  7851724 |  7177798 |     1316  13171 |        0 |        0
976.88/977.24	c  977s |      25 |  7867534 |  7191898 |     1316  13192 |        0 |        0
978.88/979.25	c  979s |      25 |  7883742 |  7206198 |     1316  13213 |        0 |        0
980.88/981.25	c  981s |      25 |  7899486 |  7220098 |     1316  13233 |        0 |        0
982.87/983.25	c  983s |      25 |  7914571 |  7233798 |     1316  13254 |        0 |        0
984.87/985.25	c  985s |      25 |  7930950 |  7248198 |     1316  13275 |        0 |        0
986.87/987.26	c  987s |      25 |  7947574 |  7262398 |     1316  13296 |        0 |        0
988.87/989.26	c  989s |      25 |  7964239 |  7276798 |     1316  13317 |        0 |        0
990.88/991.27	c  991s |      25 |  7980244 |  7290998 |     1316  13338 |        0 |        0
992.87/993.28	c  993s |      25 |  7995916 |  7305298 |     1316  13359 |        0 |        0
994.88/995.30	c  995s |      25 |  8011335 |  7319798 |     1316  13381 |        0 |        0
996.98/997.30	c  997s |      25 |  8027112 |  7334198 |     1316  13402 |        0 |        0
998.98/999.31	c  999s |      25 |  8043732 |  7348598 |     1316  13423 |        0 |        0
1000.98/1001.32	c 1001s |      25 |  8060116 |  7362698 |     1316  13444 |        0 |        0
1002.98/1003.33	c 1003s |      25 |  8076410 |  7377398 |     1316  13466 |        0 |        0
1004.98/1005.34	c 1005s |      25 |  8092927 |  7392098 |     1316  13487 |        0 |        0
1006.98/1007.34	c 1007s |      25 |  8109769 |  7406798 |     1316  13509 |        0 |        0
1008.97/1009.35	c 1009s |      25 |  8126519 |  7420998 |     1316  13530 |        0 |        0
1010.97/1011.35	c 1011s |      25 |  8142979 |  7435698 |     1316  13551 |        0 |        0
1012.97/1013.37	c 1013s |      25 |  8158835 |  7450098 |     1316  13573 |        0 |        0
1014.98/1015.38	c 1015s |      25 |  8174960 |  7464498 |     1316  13594 |        0 |        0
1016.97/1017.38	c 1017s |      25 |  8191589 |  7478398 |     1316  13614 |        0 |        0
1018.97/1019.38	c 1019s |      25 |  8207535 |  7492598 |     1316  13635 |        0 |        0
1020.97/1021.38	c 1021s |      25 |  8223737 |  7506498 |     1316  13656 |        0 |        0
1022.97/1023.39	c 1023s |      25 |  8239869 |  7520698 |     1316  13676 |        0 |        0
1025.07/1025.40	c 1025s |      25 |  8255331 |  7534998 |     1316  13698 |        0 |        0
1027.08/1027.41	c 1027s |      25 |  8270588 |  7549098 |     1448  13717 |        0 |        0
1029.07/1029.42	c 1029s |      25 |  8285778 |  7562798 |     1448  13736 |        0 |        0
1031.07/1031.42	c 1031s |      25 |  8301150 |  7576998 |     1448  13755 |        0 |        0
1033.07/1033.42	c 1033s |      25 |  8315774 |  7590198 |     1448  13772 |        0 |        0
1034.07/1034.47	c 1034s |      26 |  8324255 |  7597752 |     1448  13782 |        0 |        0
1036.07/1036.47	c 1036s |      26 |  8339656 |  7611452 |     1448  13801 |        0 |        0
1038.07/1038.49	c 1038s |      26 |  8354509 |  7625152 |     1448  13819 |        0 |        0
1040.06/1040.49	c 1040s |      26 |  8369534 |  7638652 |     1448  13837 |        0 |        0
1042.06/1042.49	c 1042s |      26 |  8385153 |  7652852 |     1448  13856 |        0 |        0
1044.16/1044.50	c 1044s |      26 |  8400578 |  7666952 |     1448  13875 |        0 |        0
1046.16/1046.50	c 1046s |      26 |  8415761 |  7680852 |     1448  13893 |        0 |        0
1048.16/1048.51	c 1048s |      26 |  8430848 |  7694852 |     1448  13912 |        0 |        0
1050.17/1050.52	c 1050s |      26 |  8446252 |  7708952 |     1448  13931 |        0 |        0
1052.16/1052.53	c 1052s |      26 |  8461519 |  7722752 |     1448  13949 |        0 |        0
1054.17/1054.54	c 1054s |      26 |  8477191 |  7736852 |     1448  13968 |        0 |        0
1056.17/1056.54	c 1056s |      26 |  8493055 |  7750952 |     1448  13987 |        0 |        0
1058.17/1058.55	c 1058s |      26 |  8508304 |  7765152 |     1448  14006 |        0 |        0
1060.17/1060.56	c 1060s |      26 |  8523960 |  7779152 |     1448  14025 |        0 |        0
1062.17/1062.57	c 1062s |      26 |  8539569 |  7793352 |     1448  14044 |        0 |        0
1064.17/1064.57	c 1064s |      26 |  8555273 |  7807752 |     1448  14063 |        0 |        0
1066.17/1066.58	c 1066s |      26 |  8571174 |  7821752 |     1448  14082 |        0 |        0
1068.17/1068.58	c 1068s |      26 |  8586964 |  7836152 |     1448  14101 |        0 |        0
1070.16/1070.59	c 1070s |      26 |  8602408 |  7850352 |     1448  14120 |        0 |        0
1072.17/1072.60	c 1072s |      26 |  8618129 |  7864252 |     1448  14139 |        0 |        0
1074.26/1074.61	c 1074s |      26 |  8633731 |  7878152 |     1448  14157 |        0 |        0
1076.26/1076.62	c 1076s |      26 |  8649167 |  7892252 |     1448  14176 |        0 |        0
1078.26/1078.62	c 1078s |      26 |  8663852 |  7905952 |     1448  14194 |        0 |        0
1080.26/1080.63	c 1080s |      26 |  8678725 |  7919852 |     1448  14213 |        0 |        0
1082.26/1082.63	c 1082s |      26 |  8694258 |  7933852 |     1448  14232 |        0 |        0
1084.27/1084.64	c 1084s |      26 |  8709666 |  7948052 |     1448  14251 |        0 |        0
1086.26/1086.65	c 1086s |      26 |  8725202 |  7962252 |     1448  14270 |        0 |        0
1088.26/1088.66	c 1088s |      26 |  8740255 |  7976252 |     1448  14288 |        0 |        0
1090.26/1090.67	c 1090s |      26 |  8755646 |  7990452 |     1448  14307 |        0 |        0
1092.26/1092.69	c 1092s |      26 |  8771043 |  8004452 |     1448  14326 |        0 |        0
1094.36/1094.71	c 1094s |      26 |  8786517 |  8018652 |     1448  14345 |        0 |        0
1096.36/1096.71	c 1096s |      26 |  8801874 |  8032852 |     1448  14364 |        0 |        0
1098.36/1098.72	c 1098s |      26 |  8816981 |  8046952 |     1448  14383 |        0 |        0
1100.36/1100.72	c 1100s |      26 |  8832598 |  8061052 |     1448  14402 |        0 |        0
1102.36/1102.73	c 1102s |      26 |  8848104 |  8075352 |     1448  14421 |        0 |        0
1104.36/1104.74	c 1104s |      26 |  8863640 |  8089252 |     1448  14440 |        0 |        0
1106.36/1106.74	c 1106s |      26 |  8879076 |  8103452 |     1448  14459 |        0 |        0
1108.36/1108.75	c 1108s |      26 |  8894144 |  8117352 |     1448  14477 |        0 |        0
1110.36/1110.75	c 1110s |      26 |  8909553 |  8130852 |     1448  14495 |        0 |        0
1112.36/1112.76	c 1112s |      26 |  8924512 |  8144252 |     1448  14513 |        0 |        0
1114.36/1114.77	c 1114s |      26 |  8939734 |  8158252 |     1448  14532 |        0 |        0
1116.36/1116.77	c 1116s |      26 |  8954753 |  8171852 |     1448  14550 |        0 |        0
1118.36/1118.78	c 1118s |      26 |  8969693 |  8185352 |     1448  14568 |        0 |        0
1120.35/1120.78	c 1120s |      26 |  8985081 |  8199152 |     1448  14587 |        0 |        0
1122.35/1122.79	c 1122s |      26 |  9000250 |  8212852 |     1448  14605 |        0 |        0
1124.45/1124.80	c 1124s |      26 |  9015898 |  8226952 |     1448  14624 |        0 |        0
1126.45/1126.81	c 1126s |      26 |  9031533 |  8240552 |     1448  14642 |        0 |        0
1128.45/1128.81	c 1128s |      26 |  9046182 |  8254052 |     1448  14660 |        0 |        0
1130.46/1130.82	c 1130s |      26 |  9061606 |  8267752 |     1448  14679 |        0 |        0
1132.45/1132.82	c 1132s |      26 |  9076737 |  8281352 |     1448  14697 |        0 |        0
1134.45/1134.83	c 1134s |      26 |  9091701 |  8295152 |     1448  14715 |        0 |        0
1136.45/1136.84	c 1136s |      26 |  9106797 |  8309152 |     1448  14734 |        0 |        0
1138.45/1138.85	c 1138s |      26 |  9122205 |  8323352 |     1448  14753 |        0 |        0
1140.46/1140.86	c 1140s |      26 |  9138760 |  8337552 |     1448  14772 |        0 |        0
1142.45/1142.86	c 1142s |      26 |  9154626 |  8351452 |     1448  14791 |        0 |        0
1144.45/1144.87	c 1144s |      26 |  9170748 |  8365352 |     1448  14809 |        0 |        0
1146.45/1146.88	c 1146s |      26 |  9186094 |  8378952 |     1448  14828 |        0 |        0
1148.45/1148.89	c 1148s |      26 |  9202099 |  8392852 |     1448  14846 |        0 |        0
1150.45/1150.90	c 1150s |      26 |  9217937 |  8406652 |     1448  14865 |        0 |        0
1152.45/1152.90	c 1152s |      26 |  9233082 |  8420452 |     1448  14883 |        0 |        0
1154.55/1154.91	c 1154s |      26 |  9248858 |  8434352 |     1448  14902 |        0 |        0
1156.55/1156.92	c 1156s |      26 |  9264214 |  8448152 |     1448  14920 |        0 |        0
1158.55/1158.93	c 1158s |      26 |  9279415 |  8462152 |     1448  14939 |        0 |        0
1160.55/1160.95	c 1160s |      26 |  9295043 |  8476152 |     1448  14957 |        0 |        0
1162.55/1162.95	c 1162s |      26 |  9310279 |  8490152 |     1448  14976 |        0 |        0
1164.55/1164.96	c 1164s |      26 |  9326223 |  8504052 |     1448  14995 |        0 |        0
1166.54/1166.97	c 1166s |      26 |  9341782 |  8517952 |     1448  15013 |        0 |        0
1168.54/1168.97	c 1168s |      26 |  9357249 |  8531752 |     1448  15032 |        0 |        0
1170.54/1170.97	c 1170s |      26 |  9373777 |  8545852 |     1448  15050 |        0 |        0
1172.54/1172.98	c 1172s |      26 |  9389256 |  8559852 |     1448  15069 |        0 |        0
1174.55/1174.99	c 1174s |      26 |  9404619 |  8573652 |     1448  15088 |        0 |        0
1176.54/1177.00	c 1176s |      26 |  9419793 |  8587552 |     1448  15106 |        0 |        0
1178.64/1179.02	c 1179s |      26 |  9435699 |  8601552 |     1448  15125 |        0 |        0
1180.64/1181.02	c 1181s |      26 |  9451137 |  8615252 |     1448  15143 |        0 |        0
1182.64/1183.03	c 1183s |      26 |  9466026 |  8628852 |     1448  15162 |        0 |        0
1184.64/1185.03	c 1185s |      26 |  9481163 |  8642752 |     1448  15180 |        0 |        0
1186.65/1187.03	c 1187s |      26 |  9496906 |  8656752 |     1448  15199 |        0 |        0
1188.64/1189.05	c 1189s |      26 |  9512493 |  8671052 |     1448  15218 |        0 |        0
1190.64/1191.05	c 1191s |      26 |  9527675 |  8685052 |     1448  15237 |        0 |        0
1192.64/1193.06	c 1193s |      26 |  9543191 |  8699152 |     1448  15256 |        0 |        0
1194.64/1195.06	c 1195s |      26 |  9558087 |  8712852 |     1448  15274 |        0 |        0
1196.64/1197.07	c 1197s |      26 |  9573210 |  8726552 |     1448  15292 |        0 |        0
1198.65/1199.08	c 1199s |      26 |  9588723 |  8740552 |     1448  15311 |        0 |        0
1200.65/1201.09	c 1201s |      26 |  9604087 |  8754552 |     1448  15330 |        0 |        0
1202.75/1203.10	c 1203s |      26 |  9619239 |  8768652 |     1448  15349 |        0 |        0
1204.74/1205.10	c 1205s |      26 |  9634382 |  8782552 |     1448  15367 |        0 |        0
1206.74/1207.11	c 1207s |      26 |  9649892 |  8796752 |     1448  15386 |        0 |        0
1208.74/1209.11	c 1209s |      26 |  9665218 |  8810552 |     1448  15405 |        0 |        0
1210.75/1211.11	c 1211s |      26 |  9679891 |  8824152 |     1448  15423 |        0 |        0
1212.74/1213.12	c 1213s |      26 |  9695869 |  8838252 |     1448  15442 |        0 |        0
1214.74/1215.12	c 1215s |      26 |  9711248 |  8852252 |     1448  15461 |        0 |        0
1216.74/1217.13	c 1217s |      26 |  9727025 |  8866052 |     1448  15479 |        0 |        0
1218.74/1219.14	c 1219s |      26 |  9743839 |  8879952 |     1448  15498 |        0 |        0
1220.75/1221.14	c 1221s |      26 |  9759695 |  8894052 |     1448  15517 |        0 |        0
1222.74/1223.14	c 1223s |      26 |  9775631 |  8908152 |     1448  15535 |        0 |        0
1224.74/1225.14	c 1225s |      26 |  9791432 |  8922052 |     1448  15554 |        0 |        0
1226.74/1227.15	c 1227s |      26 |  9806798 |  8935552 |     1448  15572 |        0 |        0
1228.74/1229.16	c 1229s |      26 |  9822732 |  8949452 |     1448  15590 |        0 |        0
1230.74/1231.17	c 1231s |      26 |  9837967 |  8962952 |     1448  15608 |        0 |        0
1232.74/1233.18	c 1233s |      26 |  9853703 |  8976952 |     1448  15627 |        0 |        0
1234.74/1235.19	c 1235s |      26 |  9869493 |  8991052 |     1448  15646 |        0 |        0
1236.84/1237.20	c 1237s |      26 |  9884873 |  9004952 |     1448  15664 |        0 |        0
1238.83/1239.21	c 1239s |      26 |  9900341 |  9019152 |     1448  15683 |        0 |        0
1240.83/1241.21	c 1241s |      26 |  9915530 |  9032952 |     1448  15702 |        0 |        0
1242.83/1243.23	c 1243s |      26 |  9930941 |  9046752 |     1448  15720 |        0 |        0
1244.84/1245.24	c 1245s |      26 |  9946513 |  9060752 |     1448  15739 |        0 |        0
1246.83/1247.25	c 1247s |      26 |  9961791 |  9074752 |     1448  15758 |        0 |        0
1248.83/1249.25	c 1249s |      26 |  9977084 |  9088752 |     1448  15777 |        0 |        0
1250.83/1251.26	c 1251s |      26 |  9992642 |  9102452 |     1448  15795 |        0 |        0
1252.83/1253.26	c 1253s |      26 | 10007403 |  9115952 |     1448  15813 |        0 |        0
1254.85/1255.27	c 1255s |      26 | 10022386 |  9129752 |     1448  15831 |        0 |        0
1256.84/1257.28	c 1257s |      26 | 10037563 |  9143852 |     1448  15850 |        0 |        0
1258.84/1259.29	c 1259s |      26 | 10052411 |  9157652 |     1448  15869 |        0 |        0
1260.94/1261.30	c 1261s |      26 | 10068179 |  9172052 |     1448  15888 |        0 |        0
1262.94/1263.31	c 1263s |      26 | 10083584 |  9185952 |     1448  15907 |        0 |        0
1264.93/1265.32	c 1265s |      26 | 10099248 |  9200052 |     1448  15925 |        0 |        0
1266.94/1267.33	c 1267s |      26 | 10114390 |  9214052 |     1448  15944 |        0 |        0
1268.93/1269.33	c 1269s |      26 | 10129334 |  9227752 |     1448  15962 |        0 |        0
1270.93/1271.34	c 1271s |      26 | 10144381 |  9241852 |     1448  15981 |        0 |        0
1272.93/1273.35	c 1273s |      26 | 10160033 |  9255852 |     1448  16000 |        0 |        0
1274.93/1275.36	c 1275s |      26 | 10176237 |  9269552 |     1448  16018 |        0 |        0
1276.93/1277.36	c 1277s |      26 | 10191546 |  9283152 |     1448  16037 |        0 |        0
1278.94/1279.38	c 1279s |      26 | 10207227 |  9297152 |     1448  16055 |        0 |        0
1280.93/1281.38	c 1281s |      26 | 10223018 |  9310952 |     1448  16074 |        0 |        0
1282.93/1283.38	c 1283s |      26 | 10238410 |  9324552 |     1448  16092 |        0 |        0
1284.93/1285.39	c 1285s |      26 | 10253378 |  9338552 |     1448  16111 |        0 |        0
1286.93/1287.39	c 1287s |      26 | 10268697 |  9352452 |     1448  16129 |        0 |        0
1289.03/1289.40	c 1289s |      26 | 10283508 |  9366252 |     1448  16148 |        0 |        0
1291.04/1291.41	c 1291s |      26 | 10297928 |  9379452 |     1448  16166 |        0 |        0
1293.03/1293.41	c 1293s |      26 | 10313345 |  9393352 |     1448  16184 |        0 |        0
1295.03/1295.42	c 1295s |      26 | 10328641 |  9407152 |     1448  16203 |        0 |        0
1297.03/1297.43	c 1297s |      26 | 10344486 |  9421552 |     1448  16222 |        0 |        0
1299.03/1299.44	c 1299s |      26 | 10360583 |  9435752 |     1448  16241 |        0 |        0
1301.03/1301.45	c 1301s |      26 | 10375636 |  9449652 |     1448  16260 |        0 |        0
1303.02/1303.46	c 1303s |      26 | 10391306 |  9463552 |     1448  16278 |        0 |        0
1305.02/1305.46	c 1305s |      26 | 10407032 |  9477352 |     1448  16296 |        0 |        0
1307.02/1307.46	c 1307s |      26 | 10422473 |  9491252 |     1448  16315 |        0 |        0
1309.02/1309.47	c 1309s |      26 | 10437679 |  9505552 |     1448  16334 |        0 |        0
1311.02/1311.48	c 1311s |      26 | 10453185 |  9519652 |     1448  16353 |        0 |        0
1313.03/1313.48	c 1313s |      26 | 10468013 |  9533252 |     1448  16371 |        0 |        0
1315.02/1315.50	c 1315s |      26 | 10483142 |  9546752 |     1448  16389 |        0 |        0
1317.12/1317.50	c 1317s |      26 | 10498269 |  9560252 |     1448  16407 |        0 |        0
1319.12/1319.51	c 1319s |      26 | 10514210 |  9573852 |     1448  16425 |        0 |        0
1321.12/1321.52	c 1321s |      26 | 10529926 |  9588152 |     1448  16444 |        0 |        0
1323.12/1323.53	c 1323s |      26 | 10545373 |  9602052 |     1448  16463 |        0 |        0
1325.13/1325.54	c 1325s |      26 | 10560973 |  9615952 |     1448  16482 |        0 |        0
1327.12/1327.55	c 1327s |      26 | 10577110 |  9629952 |     1448  16500 |        0 |        0
1329.12/1329.55	c 1329s |      26 | 10592946 |  9644152 |     1448  16519 |        0 |        0
1331.13/1331.56	c 1331s |      26 | 10608397 |  9658252 |     1448  16538 |        0 |        0
1333.13/1333.56	c 1333s |      26 | 10623635 |  9671852 |     1448  16556 |        0 |        0
1335.13/1335.57	c 1335s |      26 | 10638798 |  9685652 |     1448  16575 |        0 |        0
1337.13/1337.57	c 1337s |      26 | 10654066 |  9699552 |     1448  16594 |        0 |        0
1339.13/1339.58	c 1339s |      26 | 10669306 |  9713752 |     1448  16613 |        0 |        0
1341.13/1341.58	c 1341s |      26 | 10684287 |  9727752 |     1448  16631 |        0 |        0
1343.13/1343.58	c 1343s |      26 | 10699487 |  9741652 |     1448  16650 |        0 |        0
1345.13/1345.59	c 1345s |      26 | 10714570 |  9755752 |     1448  16669 |        0 |        0
1347.23/1347.60	c 1347s |      26 | 10729578 |  9769752 |     1448  16688 |        0 |        0
1349.22/1349.60	c 1349s |      26 | 10744859 |  9783752 |     1448  16706 |        0 |        0
1351.22/1351.61	c 1351s |      26 | 10760711 |  9797652 |     1448  16725 |        0 |        0
1353.22/1353.61	c 1353s |      26 | 10776477 |  9811652 |     1448  16744 |        0 |        0
1355.22/1355.62	c 1355s |      26 | 10791685 |  9825652 |     1448  16762 |        0 |        0
1357.22/1357.62	c 1357s |      26 | 10808004 |  9840152 |     1448  16782 |        0 |        0
1359.23/1359.63	c 1359s |      26 | 10824412 |  9854352 |     1448  16801 |        0 |        0
1361.22/1361.64	c 1361s |      26 | 10839942 |  9868252 |     1448  16819 |        0 |        0
1363.22/1363.65	c 1363s |      26 | 10855302 |  9882252 |     1448  16838 |        0 |        0
1365.22/1365.66	c 1365s |      26 | 10870590 |  9896352 |     1448  16857 |        0 |        0
1367.22/1367.67	c 1367s |      26 | 10885797 |  9910252 |     1448  16876 |        0 |        0
1369.23/1369.67	c 1369s |      26 | 10900908 |  9923852 |     1448  16894 |        0 |        0
1371.22/1371.69	c 1371s |      26 | 10916347 |  9937852 |     1448  16913 |        0 |        0
1373.32/1373.70	c 1373s |      26 | 10931819 |  9951552 |     1448  16931 |        0 |        0
1375.32/1375.70	c 1375s |      26 | 10947940 |  9965652 |     1448  16950 |        0 |        0
1377.32/1377.72	c 1377s |      26 | 10964054 |  9979552 |     1448  16968 |        0 |        0
1379.32/1379.72	c 1379s |      26 | 10979908 |  9993752 |     1448  16987 |        0 |        0
1381.32/1381.73	c 1381s |      26 | 10995693 | 10008052 |     1448  17007 |        0 |        0
1383.31/1383.75	c 1383s |      26 | 11011452 | 10022252 |     1448  17026 |        0 |        0
1385.31/1385.76	c 1385s |      26 | 11027035 | 10036252 |     1448  17044 |        0 |        0
1387.31/1387.77	c 1387s |      26 | 11042971 | 10050552 |     1448  17063 |        0 |        0
1389.31/1389.78	c 1389s |      26 | 11059298 | 10064952 |     1448  17083 |        0 |        0
1391.31/1391.79	c 1391s |      26 | 11075215 | 10079052 |     1448  17102 |        0 |        0
1393.32/1393.79	c 1393s |      26 | 11091306 | 10093052 |     1448  17120 |        0 |        0
1395.42/1395.80	c 1395s |      26 | 11107105 | 10106952 |     1448  17139 |        0 |        0
1397.42/1397.81	c 1397s |      26 | 11122534 | 10121052 |     1448  17158 |        0 |        0
1399.42/1399.82	c 1399s |      26 | 11138537 | 10135352 |     1448  17177 |        0 |        0
1401.42/1401.82	c 1401s |      26 | 11154092 | 10149252 |     1448  17196 |        0 |        0
1403.42/1403.84	c 1403s |      26 | 11170094 | 10163352 |     1448  17215 |        0 |        0
1405.42/1405.86	c 1405s |      26 | 11186662 | 10177552 |     1448  17234 |        0 |        0
1407.41/1407.88	c 1407s |      26 | 11202460 | 10191752 |     1448  17253 |        0 |        0
1409.41/1409.88	c 1409s |      26 | 11218558 | 10206052 |     1448  17272 |        0 |        0
1411.41/1411.89	c 1411s |      26 | 11234424 | 10220252 |     1448  17291 |        0 |        0
1413.41/1413.89	c 1413s |      26 | 11250096 | 10234552 |     1448  17310 |        0 |        0
1415.41/1415.89	c 1415s |      26 | 11265588 | 10248752 |     1448  17329 |        0 |        0
1417.41/1417.90	c 1417s |      26 | 11281640 | 10263052 |     1448  17348 |        0 |        0
1419.51/1419.91	c 1419s |      26 | 11298165 | 10277452 |     1448  17367 |        0 |        0
1421.50/1421.91	c 1421s |      26 | 11314694 | 10291652 |     1448  17387 |        0 |        0
1423.50/1423.92	c 1423s |      26 | 11330603 | 10305552 |     1448  17405 |        0 |        0
1425.50/1425.92	c 1425s |      26 | 11346688 | 10319652 |     1448  17424 |        0 |        0
1427.51/1427.93	c 1427s |      26 | 11362493 | 10333952 |     1448  17443 |        0 |        0
1429.51/1429.94	c 1429s |      26 | 11378095 | 10348252 |     1448  17462 |        0 |        0
1431.51/1431.95	c 1431s |      26 | 11393651 | 10362652 |     1448  17482 |        0 |        0
1433.51/1433.96	c 1433s |      26 | 11409059 | 10376652 |     1448  17500 |        0 |        0
1435.51/1435.97	c 1435s |      26 | 11423734 | 10390352 |     1448  17519 |        0 |        0
1437.51/1437.98	c 1437s |      26 | 11438765 | 10404152 |     1448  17537 |        0 |        0
1439.51/1439.99	c 1439s |      26 | 11453928 | 10418052 |     1448  17556 |        0 |        0
1441.61/1442.00	c 1441s |      26 | 11468859 | 10431452 |     1448  17573 |        0 |        0
1443.61/1444.00	c 1443s |      26 | 11483636 | 10445152 |     1448  17592 |        0 |        0
1445.61/1446.02	c 1446s |      26 | 11498799 | 10459252 |     1448  17610 |        0 |        0
1447.61/1448.03	c 1448s |      26 | 11513536 | 10473352 |     1448  17629 |        0 |        0
1449.60/1450.04	c 1450s |      26 | 11528661 | 10487452 |     1448  17648 |        0 |        0
1451.61/1452.05	c 1452s |      26 | 11543275 | 10501152 |     1448  17666 |        0 |        0
1453.60/1454.06	c 1454s |      26 | 11557973 | 10514652 |     1448  17684 |        0 |        0
1455.60/1456.07	c 1456s |      26 | 11572923 | 10528652 |     1448  17703 |        0 |        0
1457.60/1458.08	c 1458s |      26 | 11588064 | 10542852 |     1448  17722 |        0 |        0
1459.60/1460.09	c 1460s |      26 | 11602876 | 10556852 |     1448  17741 |        0 |        0
1461.61/1462.09	c 1462s |      26 | 11618066 | 10570952 |     1448  17760 |        0 |        0
1463.60/1464.10	c 1464s |      26 | 11633929 | 10585152 |     1448  17779 |        0 |        0
1465.70/1466.11	c 1466s |      26 | 11649134 | 10599252 |     1448  17798 |        0 |        0
1467.70/1468.11	c 1468s |      26 | 11664555 | 10613152 |     1448  17816 |        0 |        0
1469.70/1470.12	c 1470s |      26 | 11679584 | 10627252 |     1448  17835 |        0 |        0
1471.70/1472.12	c 1472s |      26 | 11694646 | 10641352 |     1448  17854 |        0 |        0
1473.71/1474.13	c 1474s |      26 | 11710007 | 10655352 |     1448  17873 |        0 |        0
1475.70/1476.14	c 1476s |      26 | 11725908 | 10669352 |     1448  17891 |        0 |        0
1477.70/1478.15	c 1478s |      26 | 11740897 | 10683152 |     1448  17910 |        0 |        0
1479.70/1480.15	c 1480s |      26 | 11756038 | 10697152 |     1448  17928 |        0 |        0
1481.70/1482.15	c 1482s |      26 | 11771159 | 10711352 |     1448  17947 |        0 |        0
1483.70/1484.18	c 1484s |      26 | 11786189 | 10725152 |     1448  17966 |        0 |        0
1485.70/1486.19	c 1486s |      26 | 11801536 | 10738952 |     1448  17984 |        0 |        0
1487.70/1488.19	c 1488s |      26 | 11816695 | 10752552 |     1448  18003 |        0 |        0
1489.80/1490.20	c 1490s |      26 | 11832220 | 10766352 |     1448  18021 |        0 |        0
1491.80/1492.21	c 1492s |      26 | 11848508 | 10780552 |     1448  18040 |        0 |        0
1493.80/1494.22	c 1494s |      26 | 11865385 | 10794552 |     1448  18059 |        0 |        0
1495.80/1496.23	c 1496s |      26 | 11881229 | 10808852 |     1448  18078 |        0 |        0
1497.81/1498.23	c 1498s |      26 | 11897011 | 10822952 |     1448  18097 |        0 |        0
1499.80/1500.24	c 1500s |      26 | 11912605 | 10836852 |     1448  18115 |        0 |        0
1501.80/1502.25	c 1502s |      26 | 11928184 | 10850752 |     1448  18134 |        0 |        0
1503.80/1504.25	c 1504s |      26 | 11943560 | 10864552 |     1448  18152 |        0 |        0
1505.80/1506.26	c 1506s |      26 | 11958943 | 10878752 |     1448  18171 |        0 |        0
1507.80/1508.26	c 1508s |      26 | 11973977 | 10892752 |     1448  18190 |        0 |        0
1509.79/1510.27	c 1510s |      26 | 11989588 | 10906752 |     1448  18209 |        0 |        0
1511.79/1512.27	c 1512s |      26 | 12004888 | 10920652 |     1448  18227 |        0 |        0
1513.79/1514.28	c 1514s |      26 | 12020651 | 10934652 |     1448  18246 |        0 |        0
1515.79/1516.29	c 1516s |      26 | 12035534 | 10948452 |     1448  18265 |        0 |        0
1517.89/1518.30	c 1518s |      26 | 12050630 | 10962452 |     1448  18283 |        0 |        0
1519.90/1520.30	c 1520s |      26 | 12066302 | 10976552 |     1448  18302 |        0 |        0
1521.89/1522.32	c 1522s |      26 | 12081959 | 10991052 |     1448  18322 |        0 |        0
1523.89/1524.32	c 1524s |      26 | 12097296 | 11005252 |     1448  18341 |        0 |        0
1525.89/1526.33	c 1526s |      26 | 12113006 | 11019452 |     1448  18360 |        0 |        0
1527.89/1528.34	c 1528s |      26 | 12128311 | 11033352 |     1448  18379 |        0 |        0
1529.89/1530.35	c 1530s |      26 | 12143678 | 11047152 |     1448  18397 |        0 |        0
1531.90/1532.37	c 1532s |      26 | 12159308 | 11061152 |     1448  18416 |        0 |        0
1533.90/1534.37	c 1534s |      26 | 12174655 | 11074952 |     1448  18434 |        0 |        0
1535.90/1536.38	c 1536s |      26 | 12190023 | 11088852 |     1448  18453 |        0 |        0
1537.90/1538.39	c 1538s |      26 | 12206029 | 11102852 |     1448  18472 |        0 |        0
1539.90/1540.39	c 1540s |      26 | 12221309 | 11116852 |     1448  18490 |        0 |        0
1541.99/1542.41	c 1542s |      26 | 12236588 | 11131252 |     1448  18510 |        0 |        0
1544.00/1544.42	c 1544s |      26 | 12251937 | 11145652 |     1448  18529 |        0 |        0
1545.99/1546.43	c 1546s |      26 | 12267471 | 11160252 |     1448  18548 |        0 |        0
1547.99/1548.44	c 1548s |      26 | 12283350 | 11174752 |     1448  18568 |        0 |        0
1549.99/1550.45	c 1550s |      26 | 12298354 | 11188852 |     1448  18587 |        0 |        0
1551.99/1552.45	c 1552s |      26 | 12313851 | 11203052 |     1448  18606 |        0 |        0
1554.00/1554.45	c 1554s |      26 | 12329478 | 11217152 |     1448  18625 |        0 |        0
1555.99/1556.46	c 1556s |      26 | 12345222 | 11231552 |     1448  18644 |        0 |        0
1557.99/1558.46	c 1558s |      26 | 12360861 | 11245652 |     1448  18663 |        0 |        0
1559.99/1560.47	c 1560s |      26 | 12376576 | 11260052 |     1448  18682 |        0 |        0
1561.99/1562.47	c 1562s |      26 | 12392110 | 11274152 |     1448  18701 |        0 |        0
1563.99/1564.48	c 1564s |      26 | 12407394 | 11288052 |     1448  18720 |        0 |        0
1565.99/1566.49	c 1566s |      26 | 12423316 | 11301752 |     1448  18738 |        0 |        0
1567.99/1568.49	c 1568s |      26 | 12438337 | 11315252 |     1593  18756 |        0 |        0
1570.09/1570.50	c 1570s |      26 | 12453825 | 11329352 |     1593  18773 |        0 |        0
1572.09/1572.50	c 1572s |      26 | 12468870 | 11343052 |     1593  18790 |        0 |        0
1574.08/1574.51	c 1574s |      26 | 12483858 | 11356652 |     1593  18807 |        0 |        0
1576.08/1576.51	c 1576s |      26 | 12499253 | 11370452 |     1593  18823 |        0 |        0
1578.09/1578.52	c 1578s |      26 | 12514826 | 11384652 |     1593  18841 |        0 |        0
1579.78/1580.28	c 1580s |      27 | 12528664 | 11396733 |     1593  18855 |        0 |        0
1581.78/1582.28	c 1582s |      27 | 12543816 | 11410333 |     1593  18872 |        0 |        0
1583.88/1584.30	c 1584s |      27 | 12559214 | 11423933 |     1593  18888 |        0 |        0
1585.89/1586.31	c 1586s |      27 | 12574412 | 11437633 |     1593  18905 |        0 |        0
1587.88/1588.31	c 1588s |      27 | 12589434 | 11451233 |     1593  18922 |        0 |        0
1589.88/1590.31	c 1590s |      27 | 12604516 | 11464933 |     1593  18938 |        0 |        0
1591.88/1592.32	c 1592s |      27 | 12619400 | 11478433 |     1593  18955 |        0 |        0
1593.88/1594.33	c 1594s |      27 | 12635004 | 11492333 |     1593  18972 |        0 |        0
1595.88/1596.34	c 1596s |      27 | 12650643 | 11506433 |     1593  18989 |        0 |        0
1597.89/1598.35	c 1598s |      27 | 12666240 | 11520233 |     1593  19006 |        0 |        0
1599.88/1600.36	c 1600s |      27 | 12681902 | 11534133 |     1593  19023 |        0 |        0
1601.88/1602.37	c 1602s |      27 | 12697384 | 11548133 |     1593  19040 |        0 |        0
1603.89/1604.37	c 1604s |      27 | 12713545 | 11561833 |     1593  19056 |        0 |        0
1605.89/1606.37	c 1606s |      27 | 12728698 | 11575533 |     1593  19073 |        0 |        0
1607.89/1608.38	c 1608s |      27 | 12744218 | 11589033 |     1593  19089 |        0 |        0
1609.89/1610.39	c 1610s |      27 | 12759162 | 11602633 |     1593  19106 |        0 |        0
1611.89/1612.39	c 1612s |      27 | 12774644 | 11616233 |     1593  19123 |        0 |        0
1613.98/1614.40	c 1614s |      27 | 12790095 | 11629733 |     1593  19139 |        0 |        0
1615.98/1616.41	c 1616s |      27 | 12805321 | 11643333 |     1593  19156 |        0 |        0
1617.98/1618.42	c 1618s |      27 | 12821094 | 11656933 |     1593  19172 |        0 |        0
1619.99/1620.42	c 1620s |      27 | 12836375 | 11670433 |     1593  19189 |        0 |        0
1621.98/1622.43	c 1622s |      27 | 12851826 | 11684133 |     1593  19205 |        0 |        0
1623.98/1624.44	c 1624s |      27 | 12867342 | 11697833 |     1593  19222 |        0 |        0
1625.98/1626.44	c 1626s |      27 | 12883212 | 11711633 |     1593  19239 |        0 |        0
1627.98/1628.45	c 1628s |      27 | 12898350 | 11725433 |     1593  19256 |        0 |        0
1629.98/1630.46	c 1630s |      27 | 12913948 | 11739533 |     1593  19273 |        0 |        0
1631.99/1632.46	c 1632s |      27 | 12929256 | 11752933 |     1593  19289 |        0 |        0
1633.98/1634.47	c 1634s |      27 | 12944878 | 11766733 |     1593  19306 |        0 |        0
1635.98/1636.47	c 1636s |      27 | 12960097 | 11780433 |     1593  19323 |        0 |        0
1637.98/1638.47	c 1638s |      27 | 12976187 | 11794133 |     1593  19339 |        0 |        0
1639.98/1640.48	c 1640s |      27 | 12992354 | 11807833 |     1593  19356 |        0 |        0
1641.98/1642.49	c 1642s |      27 | 13008692 | 11821733 |     1593  19373 |        0 |        0
1644.08/1644.51	c 1644s |      27 | 13024673 | 11835433 |     1593  19390 |        0 |        0
1646.08/1646.51	c 1646s |      27 | 13039793 | 11848533 |     1593  19406 |        0 |        0
1648.08/1648.52	c 1648s |      27 | 13055200 | 11861833 |     1593  19422 |        0 |        0
1650.08/1650.53	c 1650s |      27 | 13069683 | 11875733 |     1593  19439 |        0 |        0
1652.07/1652.53	c 1652s |      27 | 13084313 | 11889633 |     1593  19456 |        0 |        0
1654.08/1654.54	c 1654s |      27 | 13098883 | 11903133 |     1593  19472 |        0 |        0
1656.07/1656.54	c 1656s |      27 | 13113353 | 11916433 |     1593  19489 |        0 |        0
1658.07/1658.55	c 1658s |      27 | 13128068 | 11930133 |     1593  19505 |        0 |        0
1660.07/1660.57	c 1660s |      27 | 13143023 | 11943533 |     1593  19522 |        0 |        0
1662.07/1662.57	c 1662s |      27 | 13157376 | 11956833 |     1593  19538 |        0 |        0
1664.07/1664.58	c 1664s |      27 | 13172124 | 11970133 |     1593  19554 |        0 |        0
1666.08/1666.59	c 1666s |      27 | 13187059 | 11983433 |     1593  19570 |        0 |        0
1668.17/1668.61	c 1668s |      27 | 13202450 | 11997433 |     1593  19587 |        0 |        0
1670.17/1670.62	c 1670s |      27 | 13217524 | 12011233 |     1593  19604 |        0 |        0
1672.17/1672.62	c 1672s |      27 | 13231859 | 12024533 |     1593  19620 |        0 |        0
1674.17/1674.62	c 1674s |      27 | 13247077 | 12038633 |     1593  19637 |        0 |        0
1676.17/1676.63	c 1676s |      27 | 13262298 | 12052633 |     1593  19654 |        0 |        0
1678.18/1678.64	c 1678s |      27 | 13277183 | 12066633 |     1593  19672 |        0 |        0
1680.17/1680.65	c 1680s |      27 | 13292926 | 12080533 |     1593  19689 |        0 |        0
1682.17/1682.66	c 1682s |      27 | 13308305 | 12094533 |     1593  19706 |        0 |        0
1684.17/1684.67	c 1684s |      27 | 13324031 | 12108633 |     1593  19723 |        0 |        0
1686.17/1686.68	c 1686s |      27 | 13339362 | 12122433 |     1593  19740 |        0 |        0
1688.18/1688.69	c 1688s |      27 | 13354405 | 12136133 |     1593  19756 |        0 |        0
1690.17/1690.70	c 1690s |      27 | 13369334 | 12149833 |     1593  19773 |        0 |        0
1692.27/1692.71	c 1692s |      27 | 13384532 | 12163733 |     1593  19790 |        0 |        0
1694.27/1694.71	c 1694s |      27 | 13399977 | 12177733 |     1593  19807 |        0 |        0
1696.27/1696.73	c 1696s |      27 | 13414855 | 12191733 |     1593  19824 |        0 |        0
1698.27/1698.74	c 1698s |      27 | 13429959 | 12205833 |     1593  19841 |        0 |        0
1700.28/1700.74	c 1700s |      27 | 13444815 | 12219433 |     1593  19858 |        0 |        0
1702.27/1702.75	c 1702s |      27 | 13459765 | 12233533 |     1593  19875 |        0 |        0
1704.27/1704.76	c 1704s |      27 | 13475446 | 12247633 |     1593  19892 |        0 |        0
1706.27/1706.77	c 1706s |      27 | 13490157 | 12261233 |     1593  19909 |        0 |        0
1708.27/1708.77	c 1708s |      27 | 13505115 | 12275033 |     1593  19926 |        0 |        0
1710.27/1710.79	c 1710s |      27 | 13520271 | 12289033 |     1593  19943 |        0 |        0
1712.27/1712.79	c 1712s |      27 | 13534670 | 12302533 |     1593  19959 |        0 |        0
1714.37/1714.81	c 1714s |      27 | 13549804 | 12316433 |     1593  19976 |        0 |        0
1716.37/1716.82	c 1716s |      27 | 13564515 | 12330333 |     1593  19993 |        0 |        0
1718.37/1718.82	c 1718s |      27 | 13579569 | 12344033 |     1593  20009 |        0 |        0
1720.36/1720.83	c 1720s |      27 | 13594552 | 12357633 |     1593  20026 |        0 |        0
1722.36/1722.83	c 1722s |      27 | 13608622 | 12370933 |     1593  20042 |        0 |        0
1724.37/1724.84	c 1724s |      27 | 13623167 | 12384233 |     1593  20058 |        0 |        0
1726.36/1726.85	c 1726s |      27 | 13638105 | 12397633 |     1593  20075 |        0 |        0
1728.36/1728.86	c 1728s |      27 | 13653246 | 12411233 |     1593  20091 |        0 |        0
1730.36/1730.87	c 1730s |      27 | 13668258 | 12425133 |     1593  20108 |        0 |        0
1732.36/1732.88	c 1732s |      27 | 13682930 | 12438833 |     1593  20125 |        0 |        0
1734.37/1734.89	c 1734s |      27 | 13698044 | 12452833 |     1593  20142 |        0 |        0
1736.36/1736.89	c 1736s |      27 | 13712943 | 12466833 |     1593  20159 |        0 |        0
1738.46/1738.90	c 1738s |      27 | 13727564 | 12480633 |     1593  20176 |        0 |        0
1740.46/1740.90	c 1740s |      27 | 13743098 | 12494633 |     1593  20193 |        0 |        0
1742.46/1742.91	c 1742s |      27 | 13758887 | 12508833 |     1593  20210 |        0 |        0
1744.46/1744.92	c 1744s |      27 | 13774429 | 12522833 |     1593  20227 |        0 |        0
1746.47/1746.93	c 1746s |      27 | 13789518 | 12536733 |     1593  20244 |        0 |        0
1748.46/1748.95	c 1748s |      27 | 13804887 | 12550333 |     1593  20261 |        0 |        0
1750.46/1750.95	c 1750s |      27 | 13820411 | 12563633 |     1593  20277 |        0 |        0
1752.46/1752.95	c 1752s |      27 | 13835348 | 12576833 |     1593  20293 |        0 |        0
1754.46/1754.96	c 1754s |      27 | 13849682 | 12590033 |     1593  20309 |        0 |        0
1756.46/1756.97	c 1756s |      27 | 13864472 | 12603633 |     1593  20326 |        0 |        0
1758.46/1758.98	c 1758s |      27 | 13880053 | 12617733 |     1593  20343 |        0 |        0
1760.45/1760.98	c 1760s |      27 | 13895114 | 12631833 |     1593  20360 |        0 |        0
1762.45/1762.99	c 1762s |      27 | 13910109 | 12645333 |     1593  20376 |        0 |        0
1764.55/1765.00	c 1764s |      27 | 13925655 | 12659233 |     1593  20393 |        0 |        0
1766.55/1767.01	c 1766s |      27 | 13940349 | 12673033 |     1593  20410 |        0 |        0
1768.55/1769.02	c 1769s |      27 | 13955016 | 12686733 |     1593  20427 |        0 |        0
1770.56/1771.03	c 1771s |      27 | 13970349 | 12700633 |     1593  20444 |        0 |        0
1772.55/1773.04	c 1773s |      27 | 13984894 | 12714233 |     1593  20460 |        0 |        0
1774.56/1775.06	c 1775s |      27 | 14000397 | 12728233 |     1593  20477 |        0 |        0
1776.56/1777.07	c 1777s |      27 | 14015656 | 12741933 |     1593  20494 |        0 |        0
1778.56/1779.08	c 1779s |      27 | 14030172 | 12755533 |     1593  20511 |        0 |        0
1780.56/1781.09	c 1781s |      27 | 14045181 | 12769333 |     1593  20527 |        0 |        0
1782.56/1783.09	c 1783s |      27 | 14059929 | 12782833 |     1593  20544 |        0 |        0
1784.66/1785.11	c 1785s |      27 | 14074665 | 12796633 |     1593  20560 |        0 |        0
1786.66/1787.13	c 1787s |      27 | 14090149 | 12810233 |     1593  20577 |        0 |        0
1788.66/1789.13	c 1789s |      27 | 14105153 | 12824033 |     1593  20594 |        0 |        0
1790.65/1791.14	c 1791s |      27 | 14120517 | 12837833 |     1593  20611 |        0 |        0
1792.66/1793.15	c 1793s |      27 | 14136133 | 12851933 |     1593  20628 |        0 |        0
1794.65/1795.16	c 1795s |      27 | 14151246 | 12865733 |     1593  20645 |        0 |        0
1796.65/1797.17	c 1797s |      27 | 14166741 | 12879633 |     1593  20661 |        0 |        0
1798.65/1799.17	c 1799s |      27 | 14182310 | 12892833 |     1593  20678 |        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-4089218-1466023206/watcher-4089218-1466023206 -o /tmp/evaluation-result-4089218-1466023206/solver-4089218-1466023206 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node134-1466019588-9688 --watchdog 1960 toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4089218-1466023206.opb 

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

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


[startup+0 s]
/proc/loadavg: 2.47 2.37 2.27 3/181 10423
/proc/meminfo: memFree=29322520/32872528 swapFree=1481856/1661728
[pid=10423] ppid=10420 vsize=649660 CPUtime=0 cores=0,2,4,6
/proc/10423/stat : 10423 (toysat) R 10420 10423 6232 0 -1 4202496 2411 0 0 0 0 0 0 0 20 0 4 0 4367004 665251840 2772 33554432000 4194304 16246674 140733836508720 140733836508144 13880264 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/10423/statm: 163183 2781 441 2943 0 160077 0
[pid=10423/tid=10424] ppid=10420 vsize=668092 CPUtime=0 cores=0,2,4,6
/proc/10423/task/10424/stat : 10424 (toysat) S 10420 10423 6232 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 4367004 684126208 2842 33554432000 4194304 16246674 140733836508720 140710357478640 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=10423/tid=10425] ppid=10420 vsize=672188 CPUtime=0 cores=0,2,4,6
/proc/10423/task/10425/stat : 10425 (toysat) S 10420 10423 6232 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 4367004 688320512 2858 33554432000 4194304 16246674 140733836508720 140710346988784 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=10423/tid=10426] ppid=10420 vsize=676284 CPUtime=0 cores=0,2,4,6
/proc/10423/task/10426/stat : 10426 (toysat) S 10420 10423 6232 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 4367004 692514816 2875 33554432000 4194304 16246674 140733836508720 140710336515248 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0

[startup+0.100171 s]
/proc/loadavg: 2.47 2.37 2.27 3/181 10423
/proc/meminfo: memFree=29322520/32872528 swapFree=1481856/1661728
[pid=10423] ppid=10420 vsize=1218116 CPUtime=0.09 cores=0,2,4,6
/proc/10423/stat : 10423 (toysat) R 10420 10423 6232 0 -1 4202496 28907 0 0 0 5 4 0 0 20 0 4 0 4367004 1247350784 29258 33554432000 4194304 16246674 140733836508720 140733836508144 6076251 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/10423/statm: 304529 29266 710 2943 0 301423 0
[pid=10423/tid=10424] ppid=10420 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/10423/task/10424/stat : 10424 (toysat) S 10420 10423 6232 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 4367004 1247350784 29275 33554432000 4194304 16246674 140733836508720 140710357478640 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=10423/tid=10425] ppid=10420 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/10423/task/10425/stat : 10425 (toysat) S 10420 10423 6232 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 4367004 1247350784 29285 33554432000 4194304 16246674 140733836508720 140710346988784 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=10423/tid=10426] ppid=10420 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/10423/task/10426/stat : 10426 (toysat) S 10420 10423 6232 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 4367004 1247350784 29292 33554432000 4194304 16246674 140733836508720 140710336515248 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 1218116

[startup+0.200517 s]
/proc/loadavg: 2.47 2.37 2.27 3/181 10423
/proc/meminfo: memFree=29322520/32872528 swapFree=1481856/1661728
[pid=10423] ppid=10420 vsize=1218116 CPUtime=0.19 cores=0,2,4,6
/proc/10423/stat : 10423 (toysat) R 10420 10423 6232 0 -1 4202496 57567 0 0 0 11 8 0 0 20 0 4 0 4367004 1247350784 57917 33554432000 4194304 16246674 140733836508720 140733836508144 6021055 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/10423/statm: 304529 57930 710 2943 0 301423 0
[pid=10423/tid=10424] ppid=10420 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/10423/task/10424/stat : 10424 (toysat) S 10420 10423 6232 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 4367004 1247350784 57940 33554432000 4194304 16246674 140733836508720 140710357478640 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=10423/tid=10425] ppid=10420 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/10423/task/10425/stat : 10425 (toysat) S 10420 10423 6232 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 4367004 1247350784 57952 33554432000 4194304 16246674 140733836508720 140710346988784 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=10423/tid=10426] ppid=10420 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/10423/task/10426/stat : 10426 (toysat) S 10420 10423 6232 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 4367004 1247350784 57961 33554432000 4194304 16246674 140733836508720 140710336515248 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 1218116

[startup+0.300475 s]
/proc/loadavg: 2.47 2.37 2.27 3/181 10423
/proc/meminfo: memFree=29322520/32872528 swapFree=1481856/1661728
[pid=10423] ppid=10420 vsize=1218116 CPUtime=0.29 cores=0,2,4,6
/proc/10423/stat : 10423 (toysat) R 10420 10423 6232 0 -1 4202496 86338 0 0 0 17 12 0 0 20 0 4 0 4367004 1247350784 86688 33554432000 4194304 16246674 140733836508720 140733836508144 5545885 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/10423/statm: 304529 86702 710 2943 0 301423 0
[pid=10423/tid=10424] ppid=10420 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/10423/task/10424/stat : 10424 (toysat) S 10420 10423 6232 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 4367004 1247350784 86709 33554432000 4194304 16246674 140733836508720 140710357478640 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=10423/tid=10425] ppid=10420 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/10423/task/10425/stat : 10425 (toysat) S 10420 10423 6232 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 4367004 1247350784 86714 33554432000 4194304 16246674 140733836508720 140710346988784 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=10423/tid=10426] ppid=10420 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/10423/task/10426/stat : 10426 (toysat) S 10420 10423 6232 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 4367004 1247350784 86720 33554432000 4194304 16246674 140733836508720 140710336515248 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 1218116

[startup+0.700354 s]
/proc/loadavg: 2.47 2.37 2.27 3/181 10423
/proc/meminfo: memFree=29322520/32872528 swapFree=1481856/1661728
[pid=10423] ppid=10420 vsize=1218116 CPUtime=0.69 cores=0,2,4,6
/proc/10423/stat : 10423 (toysat) R 10420 10423 6232 0 -1 4202496 202434 0 0 0 40 29 0 0 20 0 4 0 4367004 1247350784 202784 33554432000 4194304 16246674 140733836508720 140733836491720 12875570 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/10423/statm: 304529 202800 711 2943 0 301423 0
[pid=10423/tid=10424] ppid=10420 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/10423/task/10424/stat : 10424 (toysat) S 10420 10423 6232 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 4367004 1247350784 202806 33554432000 4194304 16246674 140733836508720 140710357478640 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=10423/tid=10425] ppid=10420 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/10423/task/10425/stat : 10425 (toysat) S 10420 10423 6232 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 4367004 1247350784 202814 33554432000 4194304 16246674 140733836508720 140710346988784 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=10423/tid=10426] ppid=10420 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/10423/task/10426/stat : 10426 (toysat) S 10420 10423 6232 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 4367004 1247350784 202826 33554432000 4194304 16246674 140733836508720 140710336515248 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 1218116

[startup+1.5004 s]
/proc/loadavg: 2.47 2.37 2.27 3/185 10427
/proc/meminfo: memFree=28339848/32872528 swapFree=1481856/1661728
[pid=10423] ppid=10420 vsize=1305156 CPUtime=1.49 cores=0,2,4,6
/proc/10423/stat : 10423 (toysat) R 10420 10423 6232 0 -1 4202496 267256 0 0 0 111 38 0 0 20 0 4 0 4367004 1336479744 267586 33554432000 4194304 16246674 140733836508720 140733836508032 5553608 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/10423/statm: 326289 267586 788 2943 0 323183 0
[pid=10423/tid=10424] ppid=10420 vsize=1305156 CPUtime=0 cores=0,2,4,6
/proc/10423/task/10424/stat : 10424 (toysat) S 10420 10423 6232 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 4367004 1336479744 267586 33554432000 4194304 16246674 140733836508720 140710357478640 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=10423/tid=10425] ppid=10420 vsize=1305156 CPUtime=0 cores=0,2,4,6
/proc/10423/task/10425/stat : 10425 (toysat) S 10420 10423 6232 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 4367004 1336479744 267586 33554432000 4194304 16246674 140733836508720 140710346988784 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=10423/tid=10426] ppid=10420 vsize=1305156 CPUtime=0 cores=0,2,4,6
/proc/10423/task/10426/stat : 10426 (toysat) S 10420 10423 6232 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 4367004 1336479744 267586 33554432000 4194304 16246674 140733836508720 140710336515248 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 1305156

[startup+3.10037 s]
/proc/loadavg: 2.47 2.37 2.27 3/186 10428
/proc/meminfo: memFree=28252312/32872528 swapFree=1481856/1661728
[pid=10423] ppid=10420 vsize=1306180 CPUtime=3.09 cores=0,2,4,6
/proc/10423/stat : 10423 (toysat) R 10420 10423 6232 0 -1 4202496 267383 0 0 0 271 38 0 0 20 0 4 0 4367004 1337528320 267713 33554432000 4194304 16246674 140733836508720 140733836490624 13927401 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/10423/statm: 326545 267713 788 2943 0 323439 0
[pid=10423/tid=10424] ppid=10420 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/10423/task/10424/stat : 10424 (toysat) S 10420 10423 6232 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 4367004 1337528320 267713 33554432000 4194304 16246674 140733836508720 140710357478640 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=10423/tid=10425] ppid=10420 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/10423/task/10425/stat : 10425 (toysat) S 10420 10423 6232 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 4367004 1337528320 267713 33554432000 4194304 16246674 140733836508720 140710346988784 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=10423/tid=10426] ppid=10420 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/10423/task/10426/stat : 10426 (toysat) S 10420 10423 6232 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 4367004 1337528320 267713 33554432000 4194304 16246674 140733836508720 140710336515248 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 1306180

[startup+6.30041 s]
/proc/loadavg: 2.43 2.37 2.27 4/186 10428
/proc/meminfo: memFree=28251788/32872528 swapFree=1481856/1661728
[pid=10423] ppid=10420 vsize=1306180 CPUtime=6.29 cores=0,2,4,6
/proc/10423/stat : 10423 (toysat) R 10420 10423 6232 0 -1 4202496 267426 0 0 0 591 38 0 0 20 0 4 0 4367004 1337528320 267756 33554432000 4194304 16246674 140733836508720 140733836491720 5545784 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/10423/statm: 326545 267756 788 2943 0 323439 0
[pid=10423/tid=10424] ppid=10420 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/10423/task/10424/stat : 10424 (toysat) S 10420 10423 6232 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 4367004 1337528320 267756 33554432000 4194304 16246674 140733836508720 140710357478640 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=10423/tid=10425] ppid=10420 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/10423/task/10425/stat : 10425 (toysat) S 10420 10423 6232 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 4367004 1337528320 267756 33554432000 4194304 16246674 140733836508720 140710346988784 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=10423/tid=10426] ppid=10420 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/10423/task/10426/stat : 10426 (toysat) S 10420 10423 6232 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 4367004 1337528320 267756 33554432000 4194304 16246674 140733836508720 140710336515248 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 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.40 2.36 2.26 3/186 10428
/proc/meminfo: memFree=28251824/32872528 swapFree=1481856/1661728
[pid=10423] ppid=10420 vsize=1306180 CPUtime=12.68 cores=0,2,4,6
/proc/10423/stat : 10423 (toysat) R 10420 10423 6232 0 -1 4202496 267506 0 0 0 1230 38 0 0 20 0 4 0 4367004 1337528320 267836 33554432000 4194304 16246674 140733836508720 140733836490624 13196064 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/10423/statm: 326545 267836 788 2943 0 323439 0
[pid=10423/tid=10424] ppid=10420 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/10423/task/10424/stat : 10424 (toysat) S 10420 10423 6232 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 4367004 1337528320 267836 33554432000 4194304 16246674 140733836508720 140710357478640 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=10423/tid=10425] ppid=10420 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/10423/task/10425/stat : 10425 (toysat) S 10420 10423 6232 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 4367004 1337528320 267836 33554432000 4194304 16246674 140733836508720 140710346988784 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=10423/tid=10426] ppid=10420 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/10423/task/10426/stat : 10426 (toysat) S 10420 10423 6232 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 4367004 1337528320 267836 33554432000 4194304 16246674 140733836508720 140710336515248 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 1306180

[startup+25.5005 s]
/proc/loadavg: 2.45 2.37 2.27 3/186 10428
/proc/meminfo: memFree=28252596/32872528 swapFree=1481856/1661728
[pid=10423] ppid=10420 vsize=1306180 CPUtime=25.49 cores=0,2,4,6
/proc/10423/stat : 10423 (toysat) R 10420 10423 6232 0 -1 4202496 267506 0 0 0 2510 39 0 0 20 0 4 0 4367004 1337528320 267836 33554432000 4194304 16246674 140733836508720 140733836490624 12483286 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/10423/statm: 326545 267836 788 2943 0 323439 0
[pid=10423/tid=10424] ppid=10420 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/10423/task/10424/stat : 10424 (toysat) S 10420 10423 6232 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 4367004 1337528320 267836 33554432000 4194304 16246674 140733836508720 140710357478640 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=10423/tid=10425] ppid=10420 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/10423/task/10425/stat : 10425 (toysat) S 10420 10423 6232 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 4367004 1337528320 267836 33554432000 4194304 16246674 140733836508720 140710346988784 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=10423/tid=10426] ppid=10420 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/10423/task/10426/stat : 10426 (toysat) S 10420 10423 6232 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 4367004 1337528320 267836 33554432000 4194304 16246674 140733836508720 140710336515248 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 1306180

[startup+51.1005 s]
/proc/loadavg: 2.48 2.39 2.28 3/186 10477
/proc/meminfo: memFree=28250808/32872528 swapFree=1481856/1661728
[pid=10423] ppid=10420 vsize=1307204 CPUtime=51.08 cores=0,2,4,6
/proc/10423/stat : 10423 (toysat) R 10420 10423 6232 0 -1 4202496 267784 0 0 0 5069 39 0 0 20 0 4 0 4367004 1338576896 268114 33554432000 4194304 16246674 140733836508720 140733836490624 6013193 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/10423/statm: 326801 268114 791 2943 0 323695 0
[pid=10423/tid=10424] ppid=10420 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/10423/task/10424/stat : 10424 (toysat) S 10420 10423 6232 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 4367004 1338576896 268114 33554432000 4194304 16246674 140733836508720 140710357478640 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=10423/tid=10425] ppid=10420 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/10423/task/10425/stat : 10425 (toysat) S 10420 10423 6232 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 4367004 1338576896 268114 33554432000 4194304 16246674 140733836508720 140710346988784 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=10423/tid=10426] ppid=10420 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/10423/task/10426/stat : 10426 (toysat) S 10420 10423 6232 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 4367004 1338576896 268114 33554432000 4194304 16246674 140733836508720 140710336515248 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 1307204

[startup+102.3 s]
/proc/loadavg: 2.33 2.36 2.27 3/185 10478
/proc/meminfo: memFree=28249756/32872528 swapFree=1481856/1661728
[pid=10423] ppid=10420 vsize=1307204 CPUtime=102.28 cores=0,2,4,6
/proc/10423/stat : 10423 (toysat) R 10420 10423 6232 0 -1 4202496 267841 0 0 0 10188 40 0 0 20 0 4 0 4367004 1338576896 268162 33554432000 4194304 16246674 140733836508720 140733836490624 13198601 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/10423/statm: 326801 268162 792 2943 0 323695 0
[pid=10423/tid=10424] ppid=10420 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/10423/task/10424/stat : 10424 (toysat) S 10420 10423 6232 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 4367004 1338576896 268162 33554432000 4194304 16246674 140733836508720 140710357478640 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=10423/tid=10425] ppid=10420 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/10423/task/10425/stat : 10425 (toysat) S 10420 10423 6232 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 4367004 1338576896 268162 33554432000 4194304 16246674 140733836508720 140710346988784 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=10423/tid=10426] ppid=10420 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/10423/task/10426/stat : 10426 (toysat) S 10420 10423 6232 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 4367004 1338576896 268162 33554432000 4194304 16246674 140733836508720 140710336515248 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 1307204


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

/proc/10423/task/10426/stat : 10426 (toysat) S 10420 10423 6232 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 4367004 1349062656 270722 33554432000 4194304 16246674 140733836508720 140710336515248 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1301.93
Current children cumulated vsize (KiB) 1317444

[startup+1362.3 s]
/proc/loadavg: 2.19 2.26 2.26 3/185 10531
/proc/meminfo: memFree=28228496/32872528 swapFree=1481856/1661728
[pid=10423] ppid=10420 vsize=1317444 CPUtime=1361.92 cores=0,2,4,6
/proc/10423/stat : 10423 (toysat) R 10420 10423 6232 0 -1 4202496 270746 0 0 0 136132 60 0 0 20 0 4 0 4367004 1349062656 270722 33554432000 4194304 16246674 140733836508720 140733836490624 6013380 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/10423/statm: 329361 270722 792 2943 0 326255 0
[pid=10423/tid=10424] ppid=10420 vsize=1317444 CPUtime=0 cores=0,2,4,6
/proc/10423/task/10424/stat : 10424 (toysat) S 10420 10423 6232 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 4367004 1349062656 270722 33554432000 4194304 16246674 140733836508720 140710357478640 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=10423/tid=10425] ppid=10420 vsize=1317444 CPUtime=0 cores=0,2,4,6
/proc/10423/task/10425/stat : 10425 (toysat) S 10420 10423 6232 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 4367004 1349062656 270722 33554432000 4194304 16246674 140733836508720 140710346988784 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=10423/tid=10426] ppid=10420 vsize=1317444 CPUtime=0 cores=0,2,4,6
/proc/10423/task/10426/stat : 10426 (toysat) S 10420 10423 6232 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 4367004 1349062656 270722 33554432000 4194304 16246674 140733836508720 140710336515248 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1361.92
Current children cumulated vsize (KiB) 1317444

[startup+1422.3 s]
/proc/loadavg: 2.29 2.27 2.26 3/185 10532
/proc/meminfo: memFree=28228276/32872528 swapFree=1481856/1661728
[pid=10423] ppid=10420 vsize=1317444 CPUtime=1421.91 cores=0,2,4,6
/proc/10423/stat : 10423 (toysat) R 10420 10423 6232 0 -1 4202496 270746 0 0 0 142130 61 0 0 20 0 4 0 4367004 1349062656 270722 33554432000 4194304 16246674 140733836508720 140733836490624 5546214 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/10423/statm: 329361 270722 792 2943 0 326255 0
[pid=10423/tid=10424] ppid=10420 vsize=1317444 CPUtime=0 cores=0,2,4,6
/proc/10423/task/10424/stat : 10424 (toysat) S 10420 10423 6232 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 4367004 1349062656 270722 33554432000 4194304 16246674 140733836508720 140710357478640 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=10423/tid=10425] ppid=10420 vsize=1317444 CPUtime=0 cores=0,2,4,6
/proc/10423/task/10425/stat : 10425 (toysat) S 10420 10423 6232 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 4367004 1349062656 270722 33554432000 4194304 16246674 140733836508720 140710346988784 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=10423/tid=10426] ppid=10420 vsize=1317444 CPUtime=0 cores=0,2,4,6
/proc/10423/task/10426/stat : 10426 (toysat) S 10420 10423 6232 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 4367004 1349062656 270722 33554432000 4194304 16246674 140733836508720 140710336515248 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1421.91
Current children cumulated vsize (KiB) 1317444

[startup+1482.3 s]
/proc/loadavg: 2.28 2.26 2.26 4/185 10533
/proc/meminfo: memFree=28228020/32872528 swapFree=1481856/1661728
[pid=10423] ppid=10420 vsize=1317444 CPUtime=1481.9 cores=0,2,4,6
/proc/10423/stat : 10423 (toysat) R 10420 10423 6232 0 -1 4202496 270746 0 0 0 148128 62 0 0 20 0 4 0 4367004 1349062656 270722 33554432000 4194304 16246674 140733836508720 140733836490624 5721633 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/10423/statm: 329361 270722 792 2943 0 326255 0
[pid=10423/tid=10424] ppid=10420 vsize=1317444 CPUtime=0 cores=0,2,4,6
/proc/10423/task/10424/stat : 10424 (toysat) S 10420 10423 6232 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 4367004 1349062656 270722 33554432000 4194304 16246674 140733836508720 140710357478640 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=10423/tid=10425] ppid=10420 vsize=1317444 CPUtime=0 cores=0,2,4,6
/proc/10423/task/10425/stat : 10425 (toysat) S 10420 10423 6232 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 4367004 1349062656 270722 33554432000 4194304 16246674 140733836508720 140710346988784 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=10423/tid=10426] ppid=10420 vsize=1317444 CPUtime=0 cores=0,2,4,6
/proc/10423/task/10426/stat : 10426 (toysat) S 10420 10423 6232 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 4367004 1349062656 270722 33554432000 4194304 16246674 140733836508720 140710336515248 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1481.9
Current children cumulated vsize (KiB) 1317444

[startup+1542.31 s]
/proc/loadavg: 2.23 2.25 2.25 3/185 10535
/proc/meminfo: memFree=28227200/32872528 swapFree=1481856/1661728
[pid=10423] ppid=10420 vsize=1317444 CPUtime=1541.9 cores=0,2,4,6
/proc/10423/stat : 10423 (toysat) R 10420 10423 6232 0 -1 4202496 270746 0 0 0 154126 64 0 0 20 0 4 0 4367004 1349062656 270722 33554432000 4194304 16246674 140733836508720 140733836490624 13950184 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/10423/statm: 329361 270722 792 2943 0 326255 0
[pid=10423/tid=10424] ppid=10420 vsize=1317444 CPUtime=0 cores=0,2,4,6
/proc/10423/task/10424/stat : 10424 (toysat) S 10420 10423 6232 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 4367004 1349062656 270722 33554432000 4194304 16246674 140733836508720 140710357478640 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=10423/tid=10425] ppid=10420 vsize=1317444 CPUtime=0 cores=0,2,4,6
/proc/10423/task/10425/stat : 10425 (toysat) S 10420 10423 6232 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 4367004 1349062656 270722 33554432000 4194304 16246674 140733836508720 140710346988784 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=10423/tid=10426] ppid=10420 vsize=1317444 CPUtime=0 cores=0,2,4,6
/proc/10423/task/10426/stat : 10426 (toysat) S 10420 10423 6232 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 4367004 1349062656 270722 33554432000 4194304 16246674 140733836508720 140710336515248 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1541.9
Current children cumulated vsize (KiB) 1317444

[startup+1602.3 s]
/proc/loadavg: 2.29 2.26 2.26 4/185 10536
/proc/meminfo: memFree=28227192/32872528 swapFree=1481856/1661728
[pid=10423] ppid=10420 vsize=1317444 CPUtime=1601.88 cores=0,2,4,6
/proc/10423/stat : 10423 (toysat) R 10420 10423 6232 0 -1 4202496 270746 0 0 0 160124 64 0 0 20 0 4 0 4367004 1349062656 270722 33554432000 4194304 16246674 140733836508720 140733836491720 13943604 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/10423/statm: 329361 270722 792 2943 0 326255 0
[pid=10423/tid=10424] ppid=10420 vsize=1317444 CPUtime=0 cores=0,2,4,6
/proc/10423/task/10424/stat : 10424 (toysat) S 10420 10423 6232 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 4367004 1349062656 270722 33554432000 4194304 16246674 140733836508720 140710357478640 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=10423/tid=10425] ppid=10420 vsize=1317444 CPUtime=0 cores=0,2,4,6
/proc/10423/task/10425/stat : 10425 (toysat) S 10420 10423 6232 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 4367004 1349062656 270722 33554432000 4194304 16246674 140733836508720 140710346988784 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=10423/tid=10426] ppid=10420 vsize=1317444 CPUtime=0 cores=0,2,4,6
/proc/10423/task/10426/stat : 10426 (toysat) S 10420 10423 6232 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 4367004 1349062656 270722 33554432000 4194304 16246674 140733836508720 140710336515248 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1601.88
Current children cumulated vsize (KiB) 1317444

[startup+1662.3 s]
/proc/loadavg: 2.30 2.27 2.26 4/185 10537
/proc/meminfo: memFree=28227300/32872528 swapFree=1481856/1661728
[pid=10423] ppid=10420 vsize=1317444 CPUtime=1661.87 cores=0,2,4,6
/proc/10423/stat : 10423 (toysat) R 10420 10423 6232 0 -1 4202496 270746 0 0 0 166122 65 0 0 20 0 4 0 4367004 1349062656 270722 33554432000 4194304 16246674 140733836508720 140733836490624 5661595 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/10423/statm: 329361 270722 792 2943 0 326255 0
[pid=10423/tid=10424] ppid=10420 vsize=1317444 CPUtime=0 cores=0,2,4,6
/proc/10423/task/10424/stat : 10424 (toysat) S 10420 10423 6232 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 4367004 1349062656 270722 33554432000 4194304 16246674 140733836508720 140710357478640 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=10423/tid=10425] ppid=10420 vsize=1317444 CPUtime=0 cores=0,2,4,6
/proc/10423/task/10425/stat : 10425 (toysat) S 10420 10423 6232 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 4367004 1349062656 270722 33554432000 4194304 16246674 140733836508720 140710346988784 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=10423/tid=10426] ppid=10420 vsize=1317444 CPUtime=0 cores=0,2,4,6
/proc/10423/task/10426/stat : 10426 (toysat) S 10420 10423 6232 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 4367004 1349062656 270722 33554432000 4194304 16246674 140733836508720 140710336515248 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1661.87
Current children cumulated vsize (KiB) 1317444

[startup+1722.3 s]
/proc/loadavg: 2.32 2.28 2.27 3/185 10538
/proc/meminfo: memFree=28227028/32872528 swapFree=1481856/1661728
[pid=10423] ppid=10420 vsize=1317444 CPUtime=1721.86 cores=0,2,4,6
/proc/10423/stat : 10423 (toysat) R 10420 10423 6232 0 -1 4202496 270746 0 0 0 172120 66 0 0 20 0 4 0 4367004 1349062656 270722 33554432000 4194304 16246674 140733836508720 140733836490624 6012196 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/10423/statm: 329361 270722 792 2943 0 326255 0
[pid=10423/tid=10424] ppid=10420 vsize=1317444 CPUtime=0 cores=0,2,4,6
/proc/10423/task/10424/stat : 10424 (toysat) S 10420 10423 6232 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 4367004 1349062656 270722 33554432000 4194304 16246674 140733836508720 140710357478640 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=10423/tid=10425] ppid=10420 vsize=1317444 CPUtime=0 cores=0,2,4,6
/proc/10423/task/10425/stat : 10425 (toysat) S 10420 10423 6232 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 4367004 1349062656 270722 33554432000 4194304 16246674 140733836508720 140710346988784 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=10423/tid=10426] ppid=10420 vsize=1317444 CPUtime=0 cores=0,2,4,6
/proc/10423/task/10426/stat : 10426 (toysat) S 10420 10423 6232 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 4367004 1349062656 270722 33554432000 4194304 16246674 140733836508720 140710336515248 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1721.86
Current children cumulated vsize (KiB) 1317444

[startup+1782.3 s]
/proc/loadavg: 2.29 2.27 2.26 3/185 10539
/proc/meminfo: memFree=28226528/32872528 swapFree=1481856/1661728
[pid=10423] ppid=10420 vsize=1317444 CPUtime=1781.86 cores=0,2,4,6
/proc/10423/stat : 10423 (toysat) R 10420 10423 6232 0 -1 4202496 270746 0 0 0 178119 67 0 0 20 0 4 0 4367004 1349062656 270722 33554432000 4194304 16246674 140733836508720 140733836490624 5677667 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/10423/statm: 329361 270722 792 2943 0 326255 0
[pid=10423/tid=10424] ppid=10420 vsize=1317444 CPUtime=0 cores=0,2,4,6
/proc/10423/task/10424/stat : 10424 (toysat) S 10420 10423 6232 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 4367004 1349062656 270722 33554432000 4194304 16246674 140733836508720 140710357478640 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=10423/tid=10425] ppid=10420 vsize=1317444 CPUtime=0 cores=0,2,4,6
/proc/10423/task/10425/stat : 10425 (toysat) S 10420 10423 6232 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 4367004 1349062656 270722 33554432000 4194304 16246674 140733836508720 140710346988784 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=10423/tid=10426] ppid=10420 vsize=1317444 CPUtime=0 cores=0,2,4,6
/proc/10423/task/10426/stat : 10426 (toysat) S 10420 10423 6232 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 4367004 1349062656 270722 33554432000 4194304 16246674 140733836508720 140710336515248 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1781.86
Current children cumulated vsize (KiB) 1317444



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.5 s]
/proc/loadavg: 2.29 2.27 2.26 4/186 10542
/proc/meminfo: memFree=28226668/32872528 swapFree=1481856/1661728
[pid=10423] ppid=10420 vsize=1317444 CPUtime=1800.05 cores=0,2,4,6
/proc/10423/stat : 10423 (toysat) R 10420 10423 6232 0 -1 4202496 270746 0 0 0 179938 67 0 0 20 0 4 0 4367004 1349062656 270722 33554432000 4194304 16246674 140733836508720 140733836490624 5676361 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/10423/statm: 329361 270722 792 2943 0 326255 0
[pid=10423/tid=10424] ppid=10420 vsize=1317444 CPUtime=0 cores=0,2,4,6
/proc/10423/task/10424/stat : 10424 (toysat) S 10420 10423 6232 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 4367004 1349062656 270722 33554432000 4194304 16246674 140733836508720 140710357478640 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=10423/tid=10425] ppid=10420 vsize=1317444 CPUtime=0 cores=0,2,4,6
/proc/10423/task/10425/stat : 10425 (toysat) S 10420 10423 6232 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 4367004 1349062656 270722 33554432000 4194304 16246674 140733836508720 140710346988784 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=10423/tid=10426] ppid=10420 vsize=1317444 CPUtime=0 cores=0,2,4,6
/proc/10423/task/10426/stat : 10426 (toysat) S 10420 10423 6232 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 4367004 1349062656 270722 33554432000 4194304 16246674 140733836508720 140710336515248 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1800.05
Current children cumulated vsize (KiB) 1317444

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

[startup+1800.5 s]
/proc/loadavg: 2.29 2.27 2.26 4/186 10542
/proc/meminfo: memFree=28226668/32872528 swapFree=1481856/1661728
[pid=10423] ppid=10420 vsize=1317444 CPUtime=1800.05 cores=0,2,4,6
/proc/10423/stat : 10423 (toysat) R 10420 10423 6232 0 -1 4202496 270746 0 0 0 179938 67 0 0 20 0 4 0 4367004 1349062656 270722 33554432000 4194304 16246674 140733836508720 140733836490624 5676361 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/10423/statm: 329361 270722 792 2943 0 326255 0
[pid=10423/tid=10424] ppid=10420 vsize=1317444 CPUtime=0 cores=0,2,4,6
/proc/10423/task/10424/stat : 10424 (toysat) S 10420 10423 6232 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 4367004 1349062656 270722 33554432000 4194304 16246674 140733836508720 140710357478640 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=10423/tid=10425] ppid=10420 vsize=1317444 CPUtime=0 cores=0,2,4,6
/proc/10423/task/10425/stat : 10425 (toysat) S 10420 10423 6232 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 4367004 1349062656 270722 33554432000 4194304 16246674 140733836508720 140710346988784 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=10423/tid=10426] ppid=10420 vsize=1317444 CPUtime=0 cores=0,2,4,6
/proc/10423/task/10426/stat : 10426 (toysat) S 10420 10423 6232 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 4367004 1349062656 270722 33554432000 4194304 16246674 140733836508720 140710336515248 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1800.05
Current children cumulated vsize (KiB) 1317444

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1800.51
CPU time (s): 1800.07
CPU user time (s): 1799.39
CPU system time (s): 0.676897
CPU usage (%): 99.9754
Max. virtual memory (cumulated for all children) (KiB): 1317444

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.39
system time used= 0.676897
maximum resident set size= 1082888
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 270746
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= 370
involuntary context switches= 1840

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 5.43617 second user time and 7.65284 second system time

The end

Begin job on node134 at 2016-06-15 22:40:06
IDJOB=4089218
IDBENCH=107375
IDSOLVER=2542
FILE ID=node134/4089218-1466023206
RUNJOBID= node134-1466019588-9688
PBS_JOBID= 19902814
Free space on /tmp= 71720 MiB

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

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

MD5SUM BENCH= ac1d5b05c145898cacc64578277ad1ed
RANDOM SEED=394822432

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

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

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

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

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

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

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2667.020
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		: 2667.020
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:        29323156 kB
Buffers:           18168 kB
Cached:            77660 kB
SwapCached:        17304 kB
Active:          1138536 kB
Inactive:          47932 kB
Active(anon):    1074668 kB
Inactive(anon):    17948 kB
Active(file):      63868 kB
Inactive(file):    29984 kB
Unevictable:     1661728 kB
Mlocked:         1481856 kB
SwapTotal:      67108856 kB
SwapFree:       67083696 kB
Dirty:             33060 kB
Writeback:             0 kB
AnonPages:       2735456 kB
Mapped:            10432 kB
Shmem:                 0 kB
Slab:             567516 kB
SReclaimable:      11024 kB
SUnreclaim:       556492 kB
KernelStack:        1504 kB
PageTables:         9244 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    2878244 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341987908 kB
HardwareCorrupted:     0 kB
AnonHugePages:    184320 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:        7552 kB
DirectMap2M:    33538048 kB

Free space on /tmp at the end= 71704 MiB
End job on node134 at 2016-06-15 23:10:07