0.00/0.00	c 2016-06-30T21:26:12+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-4121514-1467314772.opb"]
0.00/0.01	c use --random-gen="2689359909 4126456120 731412451 906543818 793113117 1415342550 2847940509 1392861179 686912503 400712555 1999836313 1527944408 592751010 2675491139 2859935529 1105796813 2459954431 1200263173 2734456101 2215197215 3370519542 2178442117 1870331596 2952372557 3038827495 1678343134 4057241450 4267406309 1710257484 1675594858 1790395477 3154679809 4281097550 2555360457 3850086407 817011647 3144351315 2183915082 4102810738 3622316294 997940596 2895764414 2626589648 3384358725 3958345821 215153469 1378392030 280888822 1781765038 3157451144 3428257500 3342787874 183738125 3020466336 1313675246 3336851098 1411745431 2449116970 2805714570 1759685048 838693139 1904492659 2002241333 2289372234 568498687 3935712946 2969051685 1640020664 3555517430 1762584797 2889494555 3553500865 1766853620 3500210568 365796667 3056476741 1690471848 4117341553 2467500104 1140867941 972736606 1021150096 2721277136 2909104191 1237110840 2944283461 2221637386 1505271807 1596272563 3120689219 660399682 246175302 3148221093 4288478913 3461398643 873526780 419143433 471487585 1204082779 2556280443 1807475097 2120893878 1021770818 4165668048 3229393535 3707457189 965800599 707739835 3829271092 2191756336 3019071517 2958900494 128188129 4239673344 1016379986 3342410097 3508177582 2179991254 3948659800 1067107113 3529279579 3024934260 499498962 1585224630 2630864592 1567526678 2114323272 4156332125 4205624314 574788215 1939392143 882324055 1766357910 1156157107 1729263663 2313785014 1714744116 4013625607 2620643781 2112627845 3716925234 1580254093 2718337411 3569664286 9757261 3363671940 1180961256 2849742182 1291031011 3302233418 3426626431 3067884956 1167100671 239277301 3681120962 3878201774 2665375253 4149636830 612160220 3567976595 99997755 1845977837 3671552267 850189293 3903510301 1689752775 3960706809 2844536661 227729974 2222765202 4236360169 3942934851 1451230942 4091564583 4219181249 2377354380 4076591190 844534687 278653999 121470491 996780234 285015721 1017842898 372712033 2317186059 1604225979 2170500673 4176250090 2290428069 2844009114 3452772453 3073078635 2987244166 2398260208 3984745080 3077445983 514023059 4233135883 502751130 2048237190 881880017 623062861 965292794 3789895844 4275181051 2319057930 1824133959 3872742095 2127917292 2316921234 1296621696 1606675782 2055766154 3555498493 1083267268 978256560 512992783 3730144574 3451860397 1512714350 942484285 3003452633 2023285596 464393362 2454591003 1624994195 3790223159 149786368 4179288564 2839090023 300930285 2647763376 3070504577 755897948 766825798 2944461693 1135482440 1916466864 1887162766 2496348011 3969614756 4224940647 3327225745 1654565569 574354336 2908666916 1999811139 998303235 836699578 2425645912 3239017993 4272910346 294616354 441563518 878954363 310859869 255 362436" option to reproduce the execution
0.00/0.01	c #vars 365
0.00/0.01	c #constraints 364
0.00/0.02	c Solving starts ...
0.00/0.02	c ============================[ Search Statistics ]============================
0.00/0.02	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
0.00/0.02	c       |         |          |          |    Limit     GC | Var      | Constra 
0.00/0.02	c =============================================================================
0.00/0.02	c  0.0s |       0 |        0 |        0 |      243      0 |        0 |        0
0.00/0.03	c  0.0s |       1 |      172 |      100 |      243      0 |        0 |        0
0.00/0.04	c  0.0s |       2 |      442 |      250 |      268      0 |        0 |        0
0.00/0.07	c  0.0s |       3 |      747 |      475 |      295      1 |        0 |        0
0.09/0.10	c  0.1s |       4 |     1405 |      813 |      325      1 |        0 |        0
0.09/0.16	c  0.1s |       5 |     2073 |     1320 |      358      4 |        0 |        0
0.19/0.24	c  0.2s |       6 |     3208 |     2081 |      434      6 |        0 |        0
0.29/0.39	c  0.4s |       7 |     4748 |     3223 |      478      9 |        0 |        0
0.49/0.59	c  0.6s |       8 |     7068 |     4936 |      526     14 |        0 |        0
0.78/0.87	c  0.9s |       9 |    10701 |     7506 |      579     21 |        0 |        0
1.19/1.28	c  1.3s |      10 |    15940 |    11361 |      637     31 |        0 |        0
1.79/1.81	c  1.8s |      11 |    23476 |    17144 |      701     44 |        0 |        0
2.58/2.65	c  2.6s |      12 |    35565 |    25819 |      772     62 |        0 |        0
3.89/3.97	c  4.0s |      13 |    52277 |    38832 |      850     88 |        0 |        0
5.89/5.98	c  6.0s |      13 |    76542 |    57432 |      850    123 |        0 |        0
5.99/6.08	c  6.1s |      14 |    77784 |    58352 |      936    125 |        0 |        0
7.99/8.08	c  8.1s |      14 |   103537 |    77352 |      936    157 |        0 |        0
9.09/9.12	c  9.1s |      15 |   117499 |    87632 |     1030    174 |        0 |        0
11.09/11.13	c 11.1s |      15 |   142279 |   106432 |     1030    205 |        0 |        0
13.09/13.14	c 13.1s |      15 |   168325 |   126332 |     1030    237 |        0 |        0
13.69/13.74	c 13.7s |      16 |   174904 |   131552 |     1133    245 |        0 |        0
15.69/15.75	c 15.7s |      16 |   202725 |   151452 |     1133    275 |        0 |        0
17.69/17.76	c 17.7s |      16 |   227985 |   170152 |     1133    303 |        0 |        0
19.69/19.77	c 19.7s |      16 |   253467 |   188652 |     1133    330 |        0 |        0
20.68/20.70	c 20.7s |      17 |   265827 |   197432 |     1247    343 |        0 |        0
22.69/22.71	c 22.7s |      17 |   287278 |   213932 |     1247    366 |        0 |        0
24.69/24.72	c 24.7s |      17 |   309018 |   230732 |     1247    389 |        0 |        0
26.69/26.73	c 26.7s |      17 |   329178 |   246832 |     1247    411 |        0 |        0
28.69/28.73	c 28.7s |      17 |   347935 |   262332 |     1247    432 |        0 |        0
30.69/30.74	c 30.7s |      17 |   370684 |   279632 |     1247    456 |        0 |        0
32.69/32.75	c 32.7s |      17 |   390697 |   295532 |     1372    478 |        0 |        0
32.79/32.85	c 32.8s |      18 |   391537 |   296252 |     1372    479 |        0 |        0
34.78/34.86	c 34.8s |      18 |   414277 |   313352 |     1372    502 |        0 |        0
36.78/36.86	c 36.8s |      18 |   436233 |   329752 |     1372    523 |        0 |        0
38.78/38.87	c 38.8s |      18 |   458577 |   346452 |     1372    545 |        0 |        0
40.79/40.87	c 40.9s |      18 |   482026 |   363752 |     1372    567 |        0 |        0
42.78/42.87	c 42.9s |      18 |   504868 |   380652 |     1372    589 |        0 |        0
44.78/44.87	c 44.9s |      18 |   527075 |   397752 |     1372    611 |        0 |        0
46.78/46.88	c 46.9s |      18 |   548399 |   413952 |     1372    632 |        0 |        0
48.78/48.88	c 48.9s |      18 |   569209 |   429352 |     1372    651 |        0 |        0
50.78/50.89	c 50.9s |      18 |   589421 |   444452 |     1510    670 |        0 |        0
50.78/50.89	c 50.9s |      19 |   589454 |   444482 |     1510    670 |        0 |        0
52.89/52.91	c 52.9s |      19 |   614167 |   462982 |     1510    692 |        0 |        0
54.88/54.91	c 54.9s |      19 |   638119 |   481182 |     1510    714 |        0 |        0
56.88/56.92	c 56.9s |      19 |   661184 |   499382 |     1510    735 |        0 |        0
58.88/58.93	c 58.9s |      19 |   685463 |   517782 |     1510    757 |        0 |        0
60.87/60.94	c 60.9s |      19 |   708214 |   535382 |     1510    778 |        0 |        0
62.87/62.95	c 62.9s |      19 |   732149 |   553682 |     1510    799 |        0 |        0
64.88/64.95	c 64.9s |      19 |   754661 |   570382 |     1510    818 |        0 |        0
66.88/66.95	c 66.9s |      19 |   778307 |   587882 |     1510    839 |        0 |        0
68.88/68.96	c 68.9s |      19 |   799859 |   604482 |     1510    858 |        0 |        0
70.88/70.97	c 70.9s |      19 |   820571 |   620382 |     1510    876 |        0 |        0
72.88/72.97	c 73.0s |      19 |   840738 |   636282 |     1510    895 |        0 |        0
74.89/74.97	c 75.0s |      19 |   861056 |   652082 |     1510    913 |        0 |        0
76.88/76.99	c 77.0s |      19 |   879636 |   666582 |     1662    929 |        0 |        0
76.99/77.02	c 77.0s |      20 |   879925 |   666827 |     1662    929 |        0 |        0
78.98/79.03	c 79.0s |      20 |   901252 |   683227 |     1662    947 |        0 |        0
80.98/81.03	c 81.0s |      20 |   921240 |   698527 |     1662    963 |        0 |        0
82.98/83.04	c 83.0s |      20 |   940431 |   713427 |     1662    979 |        0 |        0
84.98/85.04	c 85.0s |      20 |   959562 |   728327 |     1662    995 |        0 |        0
86.98/87.04	c 87.0s |      20 |   978370 |   742927 |     1662   1010 |        0 |        0
88.98/89.05	c 89.0s |      20 |   996767 |   757627 |     1662   1026 |        0 |        0
90.98/91.06	c 91.0s |      20 |  1016947 |   773327 |     1662   1042 |        0 |        0
92.97/93.06	c 93.0s |      20 |  1038468 |   789527 |     1662   1060 |        0 |        0
94.97/95.07	c 95.1s |      20 |  1059831 |   805727 |     1662   1077 |        0 |        0
96.97/97.07	c 97.1s |      20 |  1080213 |   821327 |     1662   1093 |        0 |        0
98.98/99.07	c 99.1s |      20 |  1100329 |   837127 |     1662   1110 |        0 |        0
100.97/101.09	c  101s |      20 |  1120791 |   852627 |     1662   1127 |        0 |        0
102.97/103.09	c  103s |      20 |  1139668 |   867527 |     1662   1142 |        0 |        0
105.07/105.10	c  105s |      20 |  1159418 |   882627 |     1662   1158 |        0 |        0
107.07/107.11	c  107s |      20 |  1178854 |   897627 |     1662   1174 |        0 |        0
109.07/109.12	c  109s |      20 |  1198517 |   912627 |     1662   1190 |        0 |        0
111.08/111.13	c  111s |      20 |  1218452 |   928027 |     1662   1206 |        0 |        0
113.07/113.13	c  113s |      20 |  1237272 |   942727 |     1662   1222 |        0 |        0
115.07/115.14	c  115s |      20 |  1257372 |   958027 |     1662   1238 |        0 |        0
117.07/117.14	c  117s |      20 |  1274171 |   971527 |     1662   1253 |        0 |        0
119.07/119.15	c  119s |      20 |  1295441 |   988027 |     1662   1270 |        0 |        0
120.67/120.75	c  120s |      21 |  1311069 |  1000345 |     1829   1283 |        0 |        0
122.67/122.75	c  122s |      21 |  1331261 |  1015645 |     1829   1297 |        0 |        0
124.67/124.76	c  124s |      21 |  1350078 |  1029945 |     1829   1311 |        0 |        0
126.67/126.76	c  126s |      21 |  1370156 |  1045245 |     1829   1326 |        0 |        0
128.68/128.77	c  128s |      21 |  1389769 |  1060845 |     1829   1341 |        0 |        0
130.67/130.77	c  130s |      21 |  1408438 |  1075845 |     1829   1355 |        0 |        0
132.67/132.78	c  132s |      21 |  1427676 |  1090645 |     1829   1369 |        0 |        0
134.67/134.78	c  134s |      21 |  1446298 |  1105445 |     1829   1383 |        0 |        0
136.67/136.79	c  136s |      21 |  1469302 |  1122645 |     1829   1400 |        0 |        0
138.77/138.80	c  138s |      21 |  1490800 |  1139245 |     1829   1416 |        0 |        0
140.67/140.80	c  140s |      21 |  1512775 |  1155845 |     1829   1432 |        0 |        0
142.77/142.80	c  142s |      21 |  1534624 |  1172145 |     1829   1448 |        0 |        0
144.77/144.82	c  144s |      21 |  1557619 |  1189245 |     1829   1465 |        0 |        0
146.76/146.83	c  146s |      21 |  1578369 |  1204845 |     1829   1480 |        0 |        0
148.76/148.83	c  148s |      21 |  1599460 |  1220445 |     1829   1495 |        0 |        0
150.77/150.84	c  150s |      21 |  1622040 |  1237245 |     1829   1511 |        0 |        0
152.76/152.84	c  152s |      21 |  1643433 |  1253545 |     1829   1527 |        0 |        0
154.76/154.84	c  154s |      21 |  1663907 |  1269245 |     1829   1542 |        0 |        0
156.76/156.85	c  156s |      21 |  1685334 |  1285545 |     1829   1558 |        0 |        0
158.76/158.85	c  158s |      21 |  1706031 |  1301345 |     1829   1573 |        0 |        0
160.76/160.86	c  160s |      21 |  1727267 |  1317245 |     1829   1589 |        0 |        0
162.77/162.86	c  162s |      21 |  1747071 |  1332545 |     1829   1603 |        0 |        0
164.77/164.87	c  164s |      21 |  1767524 |  1348045 |     1829   1618 |        0 |        0
166.77/166.88	c  166s |      21 |  1789498 |  1364645 |     1829   1635 |        0 |        0
168.77/168.89	c  168s |      21 |  1810928 |  1380745 |     1829   1650 |        0 |        0
170.87/170.90	c  170s |      21 |  1832038 |  1396845 |     1829   1666 |        0 |        0
172.86/172.91	c  172s |      21 |  1851951 |  1412145 |     1829   1681 |        0 |        0
174.87/174.92	c  174s |      21 |  1872748 |  1427845 |     1829   1696 |        0 |        0
176.86/176.92	c  176s |      21 |  1891188 |  1442645 |     1829   1710 |        0 |        0
178.86/178.93	c  178s |      21 |  1911259 |  1458445 |     1829   1725 |        0 |        0
180.86/180.94	c  180s |      21 |  1933059 |  1474845 |     1829   1741 |        0 |        0
182.86/182.95	c  182s |      21 |  1954032 |  1490945 |     2012   1757 |        0 |        0
184.26/184.34	c  184s |      22 |  1966279 |  1500622 |     2012   1765 |        0 |        0
186.26/186.35	c  186s |      22 |  1985622 |  1515422 |     2012   1779 |        0 |        0
188.26/188.36	c  188s |      22 |  2006239 |  1531122 |     2012   1793 |        0 |        0
190.27/190.37	c  190s |      22 |  2027854 |  1547022 |     2012   1808 |        0 |        0
192.26/192.37	c  192s |      22 |  2045947 |  1561322 |     2012   1821 |        0 |        0
194.26/194.37	c  194s |      22 |  2064796 |  1575922 |     2012   1834 |        0 |        0
196.26/196.38	c  196s |      22 |  2086517 |  1592022 |     2012   1849 |        0 |        0
198.25/198.38	c  198s |      22 |  2105203 |  1606622 |     2012   1862 |        0 |        0
200.26/200.39	c  200s |      22 |  2124745 |  1621422 |     2012   1875 |        0 |        0
202.25/202.40	c  202s |      22 |  2145230 |  1636622 |     2012   1889 |        0 |        0
204.35/204.40	c  204s |      22 |  2165021 |  1651722 |     2012   1902 |        0 |        0
206.35/206.42	c  206s |      22 |  2184268 |  1666422 |     2012   1916 |        0 |        0
208.36/208.42	c  208s |      22 |  2201050 |  1680322 |     2012   1928 |        0 |        0
210.36/210.43	c  210s |      22 |  2220549 |  1695122 |     2012   1941 |        0 |        0
212.37/212.43	c  212s |      22 |  2237581 |  1708922 |     2012   1954 |        0 |        0
214.36/214.43	c  214s |      22 |  2253942 |  1721922 |     2012   1966 |        0 |        0
216.36/216.45	c  216s |      22 |  2268344 |  1734022 |     2012   1977 |        0 |        0
218.36/218.45	c  218s |      22 |  2284935 |  1747122 |     2012   1989 |        0 |        0
220.36/220.45	c  220s |      22 |  2301594 |  1760022 |     2012   2000 |        0 |        0
222.36/222.45	c  222s |      22 |  2318216 |  1773122 |     2012   2012 |        0 |        0
224.36/224.46	c  224s |      22 |  2336945 |  1787522 |     2012   2026 |        0 |        0
226.35/226.46	c  226s |      22 |  2355489 |  1801922 |     2012   2039 |        0 |        0
228.35/228.47	c  228s |      22 |  2376186 |  1817622 |     2012   2053 |        0 |        0
230.35/230.47	c  230s |      22 |  2395644 |  1832722 |     2012   2067 |        0 |        0
232.35/232.48	c  232s |      22 |  2415352 |  1847722 |     2012   2081 |        0 |        0
234.36/234.49	c  234s |      22 |  2434913 |  1862622 |     2012   2094 |        0 |        0
236.46/236.51	c  236s |      22 |  2454356 |  1877222 |     2012   2108 |        0 |        0
238.45/238.51	c  238s |      22 |  2473822 |  1892022 |     2012   2121 |        0 |        0
240.45/240.52	c  240s |      22 |  2492704 |  1906622 |     2012   2134 |        0 |        0
242.45/242.52	c  242s |      22 |  2510386 |  1920022 |     2012   2147 |        0 |        0
244.45/244.53	c  244s |      22 |  2529537 |  1934322 |     2012   2160 |        0 |        0
246.46/246.54	c  246s |      22 |  2548770 |  1948822 |     2012   2173 |        0 |        0
248.45/248.54	c  248s |      22 |  2568424 |  1963622 |     2012   2187 |        0 |        0
250.45/250.54	c  250s |      22 |  2588438 |  1978522 |     2012   2201 |        0 |        0
252.45/252.55	c  252s |      22 |  2607490 |  1993322 |     2012   2214 |        0 |        0
254.45/254.56	c  254s |      22 |  2624550 |  2006922 |     2012   2227 |        0 |        0
256.45/256.57	c  256s |      22 |  2643695 |  2021522 |     2012   2240 |        0 |        0
258.45/258.57	c  258s |      22 |  2662472 |  2035722 |     2012   2253 |        0 |        0
260.44/260.58	c  260s |      22 |  2681514 |  2050322 |     2012   2266 |        0 |        0
262.44/262.59	c  262s |      22 |  2699385 |  2064322 |     2012   2279 |        0 |        0
264.44/264.59	c  264s |      22 |  2719058 |  2079322 |     2012   2293 |        0 |        0
266.54/266.60	c  266s |      22 |  2737537 |  2093222 |     2012   2306 |        0 |        0
268.54/268.61	c  268s |      22 |  2756480 |  2107422 |     2012   2319 |        0 |        0
270.55/270.61	c  270s |      22 |  2774974 |  2121622 |     2012   2332 |        0 |        0
272.54/272.62	c  272s |      22 |  2792078 |  2135322 |     2012   2344 |        0 |        0
274.54/274.62	c  274s |      22 |  2809578 |  2148722 |     2012   2357 |        0 |        0
276.54/276.63	c  276s |      22 |  2828092 |  2162422 |     2012   2369 |        0 |        0
278.54/278.63	c  278s |      22 |  2845054 |  2175822 |     2012   2381 |        0 |        0
280.56/280.64	c  280s |      22 |  2863030 |  2189822 |     2012   2394 |        0 |        0
282.55/282.65	c  282s |      22 |  2881307 |  2204022 |     2012   2407 |        0 |        0
284.55/284.66	c  284s |      22 |  2898831 |  2217322 |     2012   2419 |        0 |        0
286.55/286.67	c  286s |      22 |  2916163 |  2231122 |     2012   2432 |        0 |        0
288.55/288.67	c  288s |      22 |  2932836 |  2244122 |     2214   2443 |        0 |        0
289.55/289.69	c  289s |      23 |  2942056 |  2251038 |     2214   2449 |        0 |        0
291.55/291.69	c  291s |      23 |  2959834 |  2264538 |     2214   2460 |        0 |        0
293.65/293.71	c  293s |      23 |  2978080 |  2278838 |     2214   2471 |        0 |        0
295.65/295.71	c  295s |      23 |  2995014 |  2292138 |     2214   2482 |        0 |        0
297.64/297.72	c  297s |      23 |  3012125 |  2305438 |     2214   2493 |        0 |        0
299.64/299.72	c  299s |      23 |  3029248 |  2318838 |     2214   2504 |        0 |        0
301.64/301.73	c  301s |      23 |  3049149 |  2333438 |     2214   2516 |        0 |        0
303.65/303.74	c  303s |      23 |  3067330 |  2346838 |     2214   2528 |        0 |        0
305.64/305.74	c  305s |      23 |  3085835 |  2360438 |     2214   2539 |        0 |        0
307.64/307.75	c  307s |      23 |  3102360 |  2372938 |     2214   2549 |        0 |        0
309.64/309.76	c  309s |      23 |  3120864 |  2387038 |     2214   2561 |        0 |        0
311.64/311.76	c  311s |      23 |  3140102 |  2401138 |     2214   2572 |        0 |        0
313.64/313.77	c  313s |      23 |  3158135 |  2414938 |     2214   2584 |        0 |        0
315.65/315.78	c  315s |      23 |  3176831 |  2429138 |     2214   2596 |        0 |        0
317.64/317.78	c  317s |      23 |  3195406 |  2443138 |     2214   2607 |        0 |        0
319.64/319.80	c  319s |      23 |  3214988 |  2457238 |     2214   2619 |        0 |        0
321.74/321.80	c  321s |      23 |  3233004 |  2470738 |     2214   2630 |        0 |        0
323.74/323.82	c  323s |      23 |  3252153 |  2484438 |     2214   2642 |        0 |        0
325.74/325.82	c  325s |      23 |  3270494 |  2498438 |     2214   2653 |        0 |        0
327.74/327.82	c  327s |      23 |  3287583 |  2511338 |     2214   2664 |        0 |        0
329.74/329.83	c  329s |      23 |  3303673 |  2523638 |     2214   2674 |        0 |        0
331.74/331.83	c  331s |      23 |  3321601 |  2536938 |     2214   2685 |        0 |        0
333.74/333.83	c  333s |      23 |  3341727 |  2551338 |     2214   2697 |        0 |        0
335.73/335.84	c  335s |      23 |  3361713 |  2566038 |     2214   2709 |        0 |        0
337.74/337.85	c  337s |      23 |  3381129 |  2580538 |     2214   2721 |        0 |        0
339.73/339.86	c  339s |      23 |  3400062 |  2594938 |     2214   2733 |        0 |        0
341.74/341.87	c  341s |      23 |  3418746 |  2609138 |     2214   2745 |        0 |        0
343.74/343.87	c  343s |      23 |  3436873 |  2622938 |     2214   2757 |        0 |        0
345.74/345.87	c  345s |      23 |  3455310 |  2636038 |     2214   2768 |        0 |        0
347.74/347.88	c  347s |      23 |  3473001 |  2649138 |     2214   2778 |        0 |        0
349.75/349.89	c  349s |      23 |  3491047 |  2662838 |     2214   2790 |        0 |        0
351.74/351.90	c  351s |      23 |  3509634 |  2676938 |     2214   2801 |        0 |        0
353.84/353.90	c  353s |      23 |  3526715 |  2690238 |     2214   2812 |        0 |        0
355.84/355.91	c  355s |      23 |  3545040 |  2703838 |     2214   2824 |        0 |        0
357.84/357.92	c  357s |      23 |  3565842 |  2718238 |     2214   2835 |        0 |        0
359.84/359.93	c  359s |      23 |  3582442 |  2731338 |     2214   2846 |        0 |        0
361.84/361.94	c  361s |      23 |  3601932 |  2745738 |     2214   2858 |        0 |        0
363.83/363.94	c  363s |      23 |  3621177 |  2759838 |     2214   2870 |        0 |        0
365.83/365.96	c  365s |      23 |  3639623 |  2773638 |     2214   2881 |        0 |        0
367.83/367.96	c  367s |      23 |  3658310 |  2787338 |     2214   2893 |        0 |        0
369.83/369.97	c  369s |      23 |  3678517 |  2801438 |     2214   2904 |        0 |        0
371.84/371.98	c  371s |      23 |  3698467 |  2816138 |     2214   2916 |        0 |        0
373.83/374.00	c  373s |      23 |  3717547 |  2830038 |     2214   2928 |        0 |        0
375.93/376.00	c  375s |      23 |  3735738 |  2843538 |     2214   2939 |        0 |        0
377.93/378.01	c  377s |      23 |  3752137 |  2856438 |     2214   2950 |        0 |        0
379.93/380.01	c  379s |      23 |  3769369 |  2869538 |     2214   2961 |        0 |        0
381.93/382.01	c  381s |      23 |  3786366 |  2882938 |     2214   2972 |        0 |        0
383.93/384.02	c  384s |      23 |  3803684 |  2895738 |     2214   2983 |        0 |        0
385.93/386.04	c  386s |      23 |  3820836 |  2908738 |     2214   2993 |        0 |        0
387.93/388.05	c  388s |      23 |  3839297 |  2922438 |     2214   3005 |        0 |        0
389.93/390.06	c  390s |      23 |  3858499 |  2936638 |     2214   3016 |        0 |        0
391.93/392.06	c  392s |      23 |  3876400 |  2949938 |     2214   3028 |        0 |        0
393.93/394.07	c  394s |      23 |  3894607 |  2963138 |     2214   3039 |        0 |        0
395.93/396.08	c  396s |      23 |  3913510 |  2977338 |     2214   3050 |        0 |        0
397.92/398.09	c  398s |      23 |  3931525 |  2991138 |     2214   3062 |        0 |        0
400.02/400.10	c  400s |      23 |  3949229 |  3004838 |     2214   3073 |        0 |        0
402.02/402.11	c  402s |      23 |  3967512 |  3018538 |     2214   3085 |        0 |        0
404.02/404.12	c  404s |      23 |  3986950 |  3032538 |     2214   3096 |        0 |        0
406.02/406.13	c  406s |      23 |  4005630 |  3045838 |     2214   3108 |        0 |        0
408.03/408.14	c  408s |      23 |  4023462 |  3059338 |     2214   3119 |        0 |        0
410.02/410.14	c  410s |      23 |  4041517 |  3073338 |     2214   3130 |        0 |        0
412.02/412.15	c  412s |      23 |  4059942 |  3087738 |     2214   3142 |        0 |        0
414.02/414.15	c  414s |      23 |  4078713 |  3101538 |     2214   3154 |        0 |        0
416.02/416.16	c  416s |      23 |  4097171 |  3115538 |     2214   3165 |        0 |        0
418.03/418.16	c  418s |      23 |  4115278 |  3129038 |     2214   3176 |        0 |        0
420.02/420.16	c  420s |      23 |  4133413 |  3143038 |     2214   3188 |        0 |        0
422.02/422.17	c  422s |      23 |  4150382 |  3156238 |     2214   3199 |        0 |        0
424.02/424.18	c  424s |      23 |  4169256 |  3169738 |     2214   3210 |        0 |        0
426.02/426.19	c  426s |      23 |  4187631 |  3183038 |     2214   3221 |        0 |        0
428.02/428.19	c  428s |      23 |  4206052 |  3196638 |     2214   3233 |        0 |        0
430.13/430.21	c  430s |      23 |  4225112 |  3210638 |     2214   3244 |        0 |        0
432.12/432.21	c  432s |      23 |  4242769 |  3224338 |     2214   3256 |        0 |        0
434.13/434.23	c  434s |      23 |  4261073 |  3237938 |     2214   3267 |        0 |        0
436.13/436.23	c  436s |      23 |  4279491 |  3251638 |     2214   3279 |        0 |        0
438.13/438.24	c  438s |      23 |  4295736 |  3264238 |     2214   3289 |        0 |        0
440.13/440.26	c  440s |      23 |  4313063 |  3277638 |     2214   3300 |        0 |        0
442.13/442.27	c  442s |      23 |  4330824 |  3291138 |     2214   3312 |        0 |        0
444.12/444.28	c  444s |      23 |  4350891 |  3306038 |     2214   3324 |        0 |        0
446.12/446.28	c  446s |      23 |  4367994 |  3318638 |     2214   3335 |        0 |        0
448.12/448.29	c  448s |      23 |  4385104 |  3331638 |     2214   3345 |        0 |        0
450.22/450.30	c  450s |      23 |  4402888 |  3345038 |     2214   3357 |        0 |        0
452.22/452.31	c  452s |      23 |  4421075 |  3358238 |     2436   3367 |        0 |        0
454.23/454.32	c  454s |      23 |  4436530 |  3370038 |     2436   3376 |        0 |        0
455.33/455.45	c  455s |      24 |  4445269 |  3376662 |     2436   3381 |        0 |        0
457.32/457.45	c  457s |      24 |  4463409 |  3390162 |     2436   3391 |        0 |        0
459.32/459.46	c  459s |      24 |  4479793 |  3402862 |     2436   3401 |        0 |        0
461.32/461.47	c  461s |      24 |  4496605 |  3415362 |     2436   3411 |        0 |        0
463.32/463.48	c  463s |      24 |  4513446 |  3428562 |     2436   3421 |        0 |        0
465.32/465.49	c  465s |      24 |  4528372 |  3440262 |     2436   3429 |        0 |        0
467.32/467.50	c  467s |      24 |  4543723 |  3452262 |     2436   3438 |        0 |        0
469.42/469.51	c  469s |      24 |  4558065 |  3464362 |     2436   3448 |        0 |        0
471.41/471.51	c  471s |      24 |  4576229 |  3477962 |     2436   3458 |        0 |        0
473.41/473.52	c  473s |      24 |  4594229 |  3491662 |     2436   3468 |        0 |        0
475.41/475.52	c  475s |      24 |  4610069 |  3503962 |     2436   3478 |        0 |        0
477.42/477.53	c  477s |      24 |  4626724 |  3516662 |     2436   3487 |        0 |        0
479.41/479.53	c  479s |      24 |  4644055 |  3529962 |     2436   3497 |        0 |        0
481.41/481.55	c  481s |      24 |  4660170 |  3542062 |     2436   3507 |        0 |        0
483.41/483.55	c  483s |      24 |  4677407 |  3555162 |     2436   3516 |        0 |        0
485.41/485.55	c  485s |      24 |  4694187 |  3568262 |     2436   3526 |        0 |        0
487.41/487.57	c  487s |      24 |  4711339 |  3581462 |     2436   3536 |        0 |        0
489.42/489.57	c  489s |      24 |  4727497 |  3593962 |     2436   3546 |        0 |        0
491.41/491.57	c  491s |      24 |  4745147 |  3606962 |     2436   3556 |        0 |        0
493.42/493.57	c  493s |      24 |  4762849 |  3620262 |     2436   3566 |        0 |        0
495.42/495.58	c  495s |      24 |  4779204 |  3632762 |     2436   3576 |        0 |        0
497.41/497.58	c  497s |      24 |  4795459 |  3644962 |     2436   3585 |        0 |        0
499.51/499.60	c  499s |      24 |  4811343 |  3657462 |     2436   3594 |        0 |        0
501.52/501.62	c  501s |      24 |  4828044 |  3670662 |     2436   3605 |        0 |        0
503.51/503.62	c  503s |      24 |  4843893 |  3683062 |     2436   3614 |        0 |        0
505.51/505.63	c  505s |      24 |  4860856 |  3695862 |     2436   3624 |        0 |        0
507.52/507.63	c  507s |      24 |  4877563 |  3708762 |     2436   3634 |        0 |        0
509.51/509.65	c  509s |      24 |  4892876 |  3721162 |     2436   3643 |        0 |        0
511.52/511.66	c  511s |      24 |  4908343 |  3733262 |     2436   3652 |        0 |        0
513.51/513.66	c  513s |      24 |  4924747 |  3746162 |     2436   3662 |        0 |        0
515.51/515.66	c  515s |      24 |  4942667 |  3759462 |     2436   3672 |        0 |        0
517.51/517.68	c  517s |      24 |  4960204 |  3772462 |     2436   3682 |        0 |        0
519.51/519.69	c  519s |      24 |  4977880 |  3786162 |     2436   3693 |        0 |        0
521.61/521.71	c  521s |      24 |  4994786 |  3799362 |     2436   3703 |        0 |        0
523.62/523.71	c  523s |      24 |  5013433 |  3813662 |     2436   3714 |        0 |        0
525.61/525.72	c  525s |      24 |  5030895 |  3827362 |     2436   3724 |        0 |        0
527.61/527.72	c  527s |      24 |  5049984 |  3841262 |     2436   3735 |        0 |        0
529.61/529.73	c  529s |      24 |  5067889 |  3855062 |     2436   3745 |        0 |        0
531.61/531.74	c  531s |      24 |  5085126 |  3868462 |     2436   3755 |        0 |        0
533.61/533.74	c  533s |      24 |  5102482 |  3881862 |     2436   3766 |        0 |        0
535.61/535.75	c  535s |      24 |  5120591 |  3895762 |     2436   3776 |        0 |        0
537.61/537.76	c  537s |      24 |  5135096 |  3907462 |     2436   3785 |        0 |        0
539.61/539.78	c  539s |      24 |  5151166 |  3919862 |     2436   3794 |        0 |        0
541.61/541.78	c  541s |      24 |  5165646 |  3931262 |     2436   3803 |        0 |        0
543.71/543.80	c  543s |      24 |  5181687 |  3943462 |     2436   3812 |        0 |        0
545.70/545.82	c  545s |      24 |  5197816 |  3955462 |     2436   3822 |        0 |        0
547.71/547.83	c  547s |      24 |  5214067 |  3967462 |     2436   3831 |        0 |        0
549.70/549.83	c  549s |      24 |  5231154 |  3980362 |     2436   3841 |        0 |        0
551.70/551.84	c  551s |      24 |  5249803 |  3994662 |     2436   3851 |        0 |        0
553.70/553.85	c  553s |      24 |  5267857 |  4008462 |     2436   3862 |        0 |        0
555.70/555.86	c  555s |      24 |  5284383 |  4021662 |     2436   3872 |        0 |        0
557.71/557.86	c  557s |      24 |  5301180 |  4034662 |     2436   3882 |        0 |        0
559.70/559.87	c  559s |      24 |  5317942 |  4047462 |     2436   3892 |        0 |        0
561.70/561.87	c  561s |      24 |  5332392 |  4059162 |     2436   3900 |        0 |        0
563.71/563.89	c  563s |      24 |  5348982 |  4072062 |     2436   3910 |        0 |        0
565.81/565.90	c  565s |      24 |  5366346 |  4085162 |     2436   3920 |        0 |        0
567.80/567.90	c  567s |      24 |  5383103 |  4098162 |     2436   3930 |        0 |        0
569.81/569.91	c  569s |      24 |  5402161 |  4112362 |     2436   3941 |        0 |        0
571.80/571.91	c  571s |      24 |  5419439 |  4125362 |     2436   3951 |        0 |        0
573.80/573.93	c  573s |      24 |  5436451 |  4138362 |     2436   3961 |        0 |        0
575.80/575.94	c  575s |      24 |  5452420 |  4150362 |     2436   3970 |        0 |        0
577.80/577.95	c  577s |      24 |  5469577 |  4163062 |     2436   3980 |        0 |        0
579.80/579.95	c  579s |      24 |  5486447 |  4175862 |     2436   3989 |        0 |        0
581.81/581.95	c  581s |      24 |  5503245 |  4188662 |     2436   3999 |        0 |        0
583.80/583.96	c  583s |      24 |  5521619 |  4202462 |     2436   4010 |        0 |        0
585.80/585.96	c  585s |      24 |  5538532 |  4215262 |     2436   4019 |        0 |        0
587.80/587.97	c  587s |      24 |  5555850 |  4228162 |     2436   4029 |        0 |        0
589.80/589.97	c  589s |      24 |  5575107 |  4242062 |     2436   4040 |        0 |        0
591.80/591.98	c  591s |      24 |  5594923 |  4256462 |     2436   4051 |        0 |        0
593.79/593.99	c  593s |      24 |  5612818 |  4269662 |     2436   4061 |        0 |        0
595.89/596.00	c  595s |      24 |  5632837 |  4283962 |     2436   4072 |        0 |        0
597.89/598.01	c  597s |      24 |  5650508 |  4297362 |     2436   4082 |        0 |        0
599.89/600.01	c  599s |      24 |  5669465 |  4311362 |     2436   4093 |        0 |        0
601.89/602.02	c  602s |      24 |  5687849 |  4324962 |     2436   4103 |        0 |        0
603.90/604.03	c  604s |      24 |  5706395 |  4338962 |     2436   4114 |        0 |        0
605.89/606.04	c  606s |      24 |  5720756 |  4350562 |     2436   4123 |        0 |        0
607.89/608.05	c  608s |      24 |  5736960 |  4363162 |     2436   4132 |        0 |        0
609.89/610.05	c  610s |      24 |  5754527 |  4376462 |     2436   4142 |        0 |        0
611.89/612.05	c  612s |      24 |  5770137 |  4389162 |     2436   4152 |        0 |        0
613.89/614.07	c  614s |      24 |  5789146 |  4403762 |     2436   4163 |        0 |        0
615.90/616.08	c  616s |      24 |  5807516 |  4417862 |     2436   4174 |        0 |        0
617.89/618.09	c  618s |      24 |  5824919 |  4431262 |     2436   4184 |        0 |        0
619.99/620.10	c  620s |      24 |  5842366 |  4444362 |     2436   4194 |        0 |        0
621.99/622.10	c  622s |      24 |  5861116 |  4458462 |     2436   4205 |        0 |        0
624.00/624.12	c  624s |      24 |  5877539 |  4471062 |     2436   4214 |        0 |        0
626.00/626.12	c  626s |      24 |  5894478 |  4484162 |     2436   4224 |        0 |        0
628.00/628.12	c  628s |      24 |  5909846 |  4496562 |     2436   4234 |        0 |        0
630.00/630.14	c  630s |      24 |  5925221 |  4508962 |     2436   4243 |        0 |        0
631.99/632.14	c  632s |      24 |  5942368 |  4522462 |     2436   4253 |        0 |        0
633.99/634.14	c  634s |      24 |  5958416 |  4535062 |     2436   4263 |        0 |        0
635.99/636.14	c  636s |      24 |  5975707 |  4547562 |     2436   4273 |        0 |        0
638.00/638.15	c  638s |      24 |  5994914 |  4561562 |     2436   4283 |        0 |        0
639.99/640.16	c  640s |      24 |  6013795 |  4575262 |     2436   4294 |        0 |        0
641.99/642.16	c  642s |      24 |  6029987 |  4587962 |     2436   4303 |        0 |        0
643.99/644.16	c  644s |      24 |  6047756 |  4601562 |     2436   4314 |        0 |        0
645.99/646.17	c  646s |      24 |  6062886 |  4613662 |     2436   4323 |        0 |        0
647.99/648.19	c  648s |      24 |  6078005 |  4625762 |     2436   4332 |        0 |        0
650.10/650.20	c  650s |      24 |  6097855 |  4640262 |     2436   4343 |        0 |        0
652.09/652.21	c  652s |      24 |  6114132 |  4652862 |     2436   4353 |        0 |        0
654.09/654.22	c  654s |      24 |  6133745 |  4667462 |     2436   4364 |        0 |        0
656.09/656.23	c  656s |      24 |  6152674 |  4681462 |     2436   4375 |        0 |        0
658.08/658.23	c  658s |      24 |  6169336 |  4694562 |     2436   4385 |        0 |        0
660.08/660.24	c  660s |      24 |  6184832 |  4707262 |     2436   4394 |        0 |        0
662.09/662.25	c  662s |      24 |  6202149 |  4720762 |     2436   4404 |        0 |        0
664.08/664.26	c  664s |      24 |  6217611 |  4733362 |     2436   4414 |        0 |        0
666.08/666.26	c  666s |      24 |  6234523 |  4746662 |     2436   4424 |        0 |        0
668.08/668.27	c  668s |      24 |  6252205 |  4760362 |     2436   4434 |        0 |        0
670.08/670.28	c  670s |      24 |  6268116 |  4772662 |     2436   4444 |        0 |        0
672.09/672.28	c  672s |      24 |  6284645 |  4785362 |     2436   4453 |        0 |        0
674.08/674.29	c  674s |      24 |  6300216 |  4797362 |     2436   4463 |        0 |        0
676.19/676.30	c  676s |      24 |  6317253 |  4810162 |     2436   4472 |        0 |        0
678.19/678.31	c  678s |      24 |  6334122 |  4822962 |     2436   4482 |        0 |        0
680.19/680.32	c  680s |      24 |  6350252 |  4835362 |     2436   4492 |        0 |        0
682.19/682.33	c  682s |      24 |  6365389 |  4847262 |     2436   4501 |        0 |        0
684.20/684.33	c  684s |      24 |  6380950 |  4859362 |     2436   4510 |        0 |        0
686.19/686.36	c  686s |      24 |  6397361 |  4871962 |     2436   4520 |        0 |        0
688.19/688.37	c  688s |      24 |  6414569 |  4885262 |     2436   4530 |        0 |        0
690.19/690.38	c  690s |      24 |  6432016 |  4898362 |     2436   4540 |        0 |        0
692.19/692.38	c  692s |      24 |  6449230 |  4911462 |     2436   4550 |        0 |        0
694.19/694.38	c  694s |      24 |  6466445 |  4924762 |     2436   4560 |        0 |        0
696.19/696.40	c  696s |      24 |  6486061 |  4938962 |     2436   4571 |        0 |        0
698.28/698.42	c  698s |      24 |  6503457 |  4953162 |     2436   4582 |        0 |        0
700.28/700.43	c  700s |      24 |  6517981 |  4964962 |     2436   4591 |        0 |        0
702.28/702.44	c  702s |      24 |  6531922 |  4976562 |     2436   4599 |        0 |        0
704.28/704.44	c  704s |      24 |  6548143 |  4989162 |     2436   4609 |        0 |        0
706.28/706.45	c  706s |      24 |  6565599 |  5002062 |     2436   4619 |        0 |        0
708.28/708.46	c  708s |      24 |  6582119 |  5015062 |     2436   4629 |        0 |        0
710.28/710.47	c  710s |      24 |  6599749 |  5028562 |     2436   4639 |        0 |        0
712.27/712.48	c  712s |      24 |  6616833 |  5041462 |     2680   4648 |        0 |        0
714.27/714.49	c  714s |      24 |  6636460 |  5055562 |     2680   4658 |        0 |        0
715.67/715.89	c  715s |      25 |  6649076 |  5065098 |     2680   4664 |        0 |        0
717.77/717.90	c  717s |      25 |  6667178 |  5078898 |     2680   4674 |        0 |        0
719.77/719.91	c  719s |      25 |  6683734 |  5091398 |     2680   4684 |        0 |        0
721.76/721.92	c  721s |      25 |  6702234 |  5105298 |     2680   4694 |        0 |        0
723.77/723.93	c  723s |      25 |  6720080 |  5118998 |     2680   4704 |        0 |        0
725.76/725.95	c  725s |      25 |  6737007 |  5132098 |     2680   4713 |        0 |        0
727.76/727.95	c  727s |      25 |  6755399 |  5146198 |     2680   4723 |        0 |        0
729.76/729.97	c  729s |      25 |  6775203 |  5160998 |     2680   4733 |        0 |        0
731.76/731.97	c  731s |      25 |  6793242 |  5174898 |     2680   4743 |        0 |        0
733.76/733.99	c  733s |      25 |  6810748 |  5188898 |     2680   4752 |        0 |        0
735.77/735.99	c  735s |      25 |  6829137 |  5203098 |     2680   4762 |        0 |        0
737.76/737.99	c  737s |      25 |  6848233 |  5217198 |     2680   4772 |        0 |        0
739.86/740.01	c  739s |      25 |  6864210 |  5229898 |     2680   4781 |        0 |        0
741.86/742.02	c  742s |      25 |  6881924 |  5243598 |     2680   4790 |        0 |        0
743.86/744.03	c  744s |      25 |  6898296 |  5256298 |     2680   4799 |        0 |        0
745.86/746.03	c  746s |      25 |  6915783 |  5269598 |     2680   4809 |        0 |        0
747.86/748.04	c  748s |      25 |  6934774 |  5283798 |     2680   4818 |        0 |        0
749.86/750.05	c  750s |      25 |  6953199 |  5297898 |     2680   4828 |        0 |        0
751.85/752.06	c  752s |      25 |  6971221 |  5312198 |     2680   4838 |        0 |        0
753.85/754.07	c  754s |      25 |  6989795 |  5325998 |     2680   4848 |        0 |        0
755.85/756.08	c  756s |      25 |  7007313 |  5339298 |     2680   4857 |        0 |        0
757.95/758.10	c  758s |      25 |  7022929 |  5351498 |     2680   4866 |        0 |        0
759.95/760.11	c  760s |      25 |  7040276 |  5364698 |     2680   4875 |        0 |        0
761.94/762.12	c  762s |      25 |  7057759 |  5378098 |     2680   4884 |        0 |        0
763.94/764.12	c  764s |      25 |  7075864 |  5391898 |     2680   4894 |        0 |        0
765.94/766.12	c  766s |      25 |  7091632 |  5404298 |     2680   4902 |        0 |        0
767.94/768.12	c  768s |      25 |  7108649 |  5416998 |     2680   4911 |        0 |        0
769.95/770.13	c  770s |      25 |  7125968 |  5429998 |     2680   4920 |        0 |        0
771.94/772.15	c  772s |      25 |  7142993 |  5443398 |     2680   4929 |        0 |        0
773.94/774.15	c  774s |      25 |  7158895 |  5455498 |     2680   4938 |        0 |        0
775.94/776.17	c  776s |      25 |  7174546 |  5467998 |     2680   4946 |        0 |        0
777.94/778.18	c  778s |      25 |  7191342 |  5480698 |     2680   4955 |        0 |        0
779.94/780.18	c  780s |      25 |  7207228 |  5492998 |     2680   4964 |        0 |        0
781.95/782.20	c  782s |      25 |  7222887 |  5504998 |     2680   4972 |        0 |        0
784.04/784.21	c  784s |      25 |  7238750 |  5516998 |     2680   4980 |        0 |        0
786.04/786.22	c  786s |      25 |  7254185 |  5528998 |     2680   4989 |        0 |        0
788.04/788.22	c  788s |      25 |  7270031 |  5541098 |     2680   4997 |        0 |        0
790.04/790.23	c  790s |      25 |  7286560 |  5553498 |     2680   5006 |        0 |        0
792.03/792.25	c  792s |      25 |  7303780 |  5566298 |     2680   5015 |        0 |        0
794.04/794.25	c  794s |      25 |  7319354 |  5578598 |     2680   5023 |        0 |        0
796.03/796.25	c  796s |      25 |  7334392 |  5590298 |     2680   5031 |        0 |        0
798.03/798.26	c  798s |      25 |  7348827 |  5601498 |     2680   5039 |        0 |        0
800.03/800.28	c  800s |      25 |  7363083 |  5612898 |     2680   5047 |        0 |        0
802.02/802.29	c  802s |      25 |  7378417 |  5624698 |     2680   5055 |        0 |        0
804.12/804.31	c  804s |      25 |  7393325 |  5636198 |     2680   5064 |        0 |        0
806.13/806.32	c  806s |      25 |  7408453 |  5648098 |     2680   5072 |        0 |        0
808.12/808.33	c  808s |      25 |  7423303 |  5660098 |     2680   5080 |        0 |        0
810.12/810.34	c  810s |      25 |  7436303 |  5670698 |     2680   5088 |        0 |        0
812.12/812.35	c  812s |      25 |  7451588 |  5682798 |     2680   5096 |        0 |        0
814.12/814.36	c  814s |      25 |  7468538 |  5695498 |     2680   5105 |        0 |        0
816.12/816.37	c  816s |      25 |  7483852 |  5707798 |     2680   5114 |        0 |        0
818.11/818.38	c  818s |      25 |  7498669 |  5719398 |     2680   5122 |        0 |        0
820.21/820.40	c  820s |      25 |  7514780 |  5732098 |     2680   5131 |        0 |        0
822.21/822.40	c  822s |      25 |  7533787 |  5746598 |     2680   5141 |        0 |        0
824.21/824.40	c  824s |      25 |  7549438 |  5758798 |     2680   5149 |        0 |        0
826.21/826.40	c  826s |      25 |  7565404 |  5771098 |     2680   5158 |        0 |        0
828.21/828.43	c  828s |      25 |  7581513 |  5783498 |     2680   5166 |        0 |        0
830.21/830.44	c  830s |      25 |  7596433 |  5795198 |     2680   5174 |        0 |        0
832.20/832.46	c  832s |      25 |  7611790 |  5806998 |     2680   5182 |        0 |        0
834.20/834.47	c  834s |      25 |  7628448 |  5819498 |     2680   5191 |        0 |        0
836.20/836.47	c  836s |      25 |  7643587 |  5831098 |     2680   5199 |        0 |        0
838.20/838.48	c  838s |      25 |  7659703 |  5843098 |     2680   5207 |        0 |        0
840.20/840.48	c  840s |      25 |  7674687 |  5854398 |     2680   5215 |        0 |        0
842.19/842.48	c  842s |      25 |  7689831 |  5865798 |     2680   5223 |        0 |        0
844.19/844.48	c  844s |      25 |  7705835 |  5877898 |     2680   5232 |        0 |        0
846.19/846.49	c  846s |      25 |  7720563 |  5889298 |     2680   5240 |        0 |        0
848.29/848.51	c  848s |      25 |  7735260 |  5900598 |     2680   5248 |        0 |        0
850.29/850.51	c  850s |      25 |  7751694 |  5913098 |     2680   5256 |        0 |        0
852.29/852.52	c  852s |      25 |  7767724 |  5925298 |     2680   5265 |        0 |        0
854.28/854.52	c  854s |      25 |  7784435 |  5937798 |     2680   5273 |        0 |        0
856.28/856.54	c  856s |      25 |  7799750 |  5949698 |     2680   5282 |        0 |        0
858.29/858.54	c  858s |      25 |  7815920 |  5962098 |     2680   5290 |        0 |        0
860.29/860.55	c  860s |      25 |  7831832 |  5974198 |     2680   5299 |        0 |        0
862.29/862.56	c  862s |      25 |  7847438 |  5986598 |     2680   5307 |        0 |        0
864.28/864.56	c  864s |      25 |  7864574 |  5999698 |     2680   5316 |        0 |        0
866.28/866.57	c  866s |      25 |  7881027 |  6012098 |     2680   5325 |        0 |        0
868.28/868.57	c  868s |      25 |  7897703 |  6024798 |     2680   5334 |        0 |        0
870.28/870.58	c  870s |      25 |  7914913 |  6037098 |     2680   5342 |        0 |        0
872.38/872.60	c  872s |      25 |  7931450 |  6049198 |     2680   5351 |        0 |        0
874.38/874.61	c  874s |      25 |  7948129 |  6061498 |     2680   5359 |        0 |        0
876.37/876.62	c  876s |      25 |  7964177 |  6074198 |     2680   5368 |        0 |        0
878.37/878.62	c  878s |      25 |  7983154 |  6088498 |     2680   5378 |        0 |        0
880.37/880.64	c  880s |      25 |  7999586 |  6101798 |     2680   5387 |        0 |        0
882.37/882.64	c  882s |      25 |  8013068 |  6113298 |     2680   5395 |        0 |        0
884.37/884.66	c  884s |      25 |  8027391 |  6125398 |     2680   5404 |        0 |        0
886.38/886.67	c  886s |      25 |  8043556 |  6137898 |     2680   5412 |        0 |        0
888.37/888.68	c  888s |      25 |  8060162 |  6150398 |     2680   5421 |        0 |        0
890.37/890.69	c  890s |      25 |  8077092 |  6163198 |     2680   5430 |        0 |        0
892.36/892.69	c  892s |      25 |  8093178 |  6175598 |     2680   5438 |        0 |        0
894.46/894.70	c  894s |      25 |  8109200 |  6188098 |     2680   5447 |        0 |        0
896.46/896.71	c  896s |      25 |  8127817 |  6202598 |     2680   5457 |        0 |        0
898.47/898.71	c  898s |      25 |  8142921 |  6214998 |     2680   5466 |        0 |        0
900.46/900.75	c  900s |      25 |  8159636 |  6227698 |     2680   5474 |        0 |        0
902.45/902.75	c  902s |      25 |  8179240 |  6241798 |     2680   5484 |        0 |        0
904.45/904.76	c  904s |      25 |  8197528 |  6255498 |     2680   5494 |        0 |        0
906.45/906.77	c  906s |      25 |  8214678 |  6268798 |     2680   5503 |        0 |        0
908.46/908.78	c  908s |      25 |  8234567 |  6283598 |     2680   5514 |        0 |        0
910.45/910.78	c  910s |      25 |  8253709 |  6297998 |     2680   5524 |        0 |        0
912.45/912.79	c  912s |      25 |  8273374 |  6312698 |     2680   5534 |        0 |        0
914.55/914.80	c  914s |      25 |  8292621 |  6326998 |     2680   5544 |        0 |        0
916.55/916.80	c  916s |      25 |  8311087 |  6340898 |     2680   5554 |        0 |        0
918.55/918.82	c  918s |      25 |  8329050 |  6354598 |     2680   5563 |        0 |        0
920.55/920.82	c  920s |      25 |  8347048 |  6367998 |     2680   5573 |        0 |        0
922.54/922.84	c  922s |      25 |  8365883 |  6381998 |     2680   5582 |        0 |        0
924.54/924.85	c  924s |      25 |  8385794 |  6396398 |     2680   5592 |        0 |        0
926.54/926.85	c  926s |      25 |  8405786 |  6410598 |     2680   5602 |        0 |        0
928.54/928.87	c  928s |      25 |  8424370 |  6424698 |     2680   5612 |        0 |        0
930.54/930.87	c  930s |      25 |  8441262 |  6437598 |     2680   5621 |        0 |        0
932.54/932.87	c  932s |      25 |  8460121 |  6451898 |     2680   5632 |        0 |        0
934.53/934.89	c  934s |      25 |  8477063 |  6464998 |     2680   5641 |        0 |        0
936.53/936.89	c  936s |      25 |  8494910 |  6478698 |     2680   5650 |        0 |        0
938.63/938.90	c  938s |      25 |  8509886 |  6490698 |     2680   5659 |        0 |        0
940.63/940.91	c  940s |      25 |  8525338 |  6502698 |     2680   5667 |        0 |        0
942.63/942.93	c  942s |      25 |  8542019 |  6515398 |     2680   5676 |        0 |        0
944.63/944.94	c  944s |      25 |  8558395 |  6528098 |     2680   5685 |        0 |        0
946.62/946.95	c  946s |      25 |  8574477 |  6540698 |     2680   5694 |        0 |        0
948.62/948.97	c  948s |      25 |  8590168 |  6553498 |     2680   5703 |        0 |        0
950.62/950.97	c  950s |      25 |  8606216 |  6565698 |     2680   5712 |        0 |        0
952.62/952.98	c  952s |      25 |  8625215 |  6579198 |     2680   5721 |        0 |        0
954.63/954.99	c  954s |      25 |  8640745 |  6591398 |     2680   5730 |        0 |        0
956.73/957.00	c  956s |      25 |  8657014 |  6603898 |     2680   5739 |        0 |        0
958.72/959.01	c  958s |      25 |  8673005 |  6616398 |     2680   5747 |        0 |        0
960.72/961.01	c  960s |      25 |  8689333 |  6628898 |     2680   5756 |        0 |        0
962.72/963.03	c  963s |      25 |  8706906 |  6642598 |     2680   5766 |        0 |        0
964.72/965.04	c  965s |      25 |  8723142 |  6655598 |     2680   5775 |        0 |        0
966.73/967.04	c  967s |      25 |  8741035 |  6669098 |     2680   5784 |        0 |        0
968.72/969.06	c  969s |      25 |  8759536 |  6683198 |     2680   5794 |        0 |        0
970.72/971.07	c  971s |      25 |  8774322 |  6694998 |     2680   5802 |        0 |        0
972.72/973.08	c  973s |      25 |  8791573 |  6707998 |     2680   5812 |        0 |        0
974.72/975.09	c  975s |      25 |  8808731 |  6721398 |     2680   5821 |        0 |        0
976.71/977.09	c  977s |      25 |  8825308 |  6734298 |     2680   5830 |        0 |        0
978.72/979.10	c  979s |      25 |  8840820 |  6746598 |     2680   5839 |        0 |        0
980.81/981.12	c  981s |      25 |  8858429 |  6760098 |     2680   5848 |        0 |        0
982.81/983.14	c  983s |      25 |  8876630 |  6773598 |     2680   5858 |        0 |        0
984.81/985.14	c  985s |      25 |  8891985 |  6785798 |     2680   5866 |        0 |        0
986.81/987.14	c  987s |      25 |  8909542 |  6799398 |     2680   5876 |        0 |        0
988.81/989.15	c  989s |      25 |  8929085 |  6814498 |     2680   5886 |        0 |        0
990.81/991.15	c  991s |      25 |  8946893 |  6828398 |     2680   5896 |        0 |        0
992.80/993.15	c  993s |      25 |  8964339 |  6841998 |     2680   5905 |        0 |        0
994.80/995.16	c  995s |      25 |  8982171 |  6855798 |     2680   5915 |        0 |        0
996.80/997.17	c  997s |      25 |  8999354 |  6868998 |     2680   5924 |        0 |        0
998.80/999.18	c  999s |      25 |  9016351 |  6881598 |     2680   5933 |        0 |        0
1000.90/1001.20	c 1001s |      25 |  9033736 |  6894398 |     2680   5942 |        0 |        0
1002.91/1003.20	c 1003s |      25 |  9051350 |  6907698 |     2680   5952 |        0 |        0
1004.90/1005.22	c 1005s |      25 |  9068694 |  6921198 |     2680   5961 |        0 |        0
1006.90/1007.22	c 1007s |      25 |  9086455 |  6934198 |     2680   5970 |        0 |        0
1008.90/1009.24	c 1009s |      25 |  9104761 |  6947998 |     2680   5980 |        0 |        0
1010.89/1011.24	c 1011s |      25 |  9120511 |  6959998 |     2680   5988 |        0 |        0
1012.90/1013.26	c 1013s |      25 |  9137897 |  6972998 |     2680   5998 |        0 |        0
1014.89/1015.28	c 1015s |      25 |  9156415 |  6986998 |     2680   6007 |        0 |        0
1016.99/1017.30	c 1017s |      25 |  9170746 |  6998498 |     2680   6016 |        0 |        0
1018.99/1019.30	c 1019s |      25 |  9188988 |  7011798 |     2680   6025 |        0 |        0
1020.99/1021.32	c 1021s |      25 |  9205783 |  7024798 |     2680   6034 |        0 |        0
1022.99/1023.32	c 1023s |      25 |  9221429 |  7036698 |     2680   6042 |        0 |        0
1024.99/1025.33	c 1025s |      25 |  9238273 |  7049298 |     2680   6051 |        0 |        0
1026.99/1027.33	c 1027s |      25 |  9252722 |  7061098 |     2680   6060 |        0 |        0
1028.98/1029.35	c 1029s |      25 |  9265938 |  7072098 |     2680   6067 |        0 |        0
1030.98/1031.35	c 1031s |      25 |  9280648 |  7083698 |     2680   6075 |        0 |        0
1032.98/1033.35	c 1033s |      25 |  9296050 |  7095798 |     2680   6084 |        0 |        0
1034.98/1035.36	c 1035s |      25 |  9312019 |  7107798 |     2680   6092 |        0 |        0
1036.98/1037.37	c 1037s |      25 |  9329506 |  7120698 |     2680   6102 |        0 |        0
1038.98/1039.37	c 1039s |      25 |  9345145 |  7133198 |     2680   6110 |        0 |        0
1040.97/1041.38	c 1041s |      25 |  9360847 |  7145898 |     2680   6119 |        0 |        0
1043.07/1043.40	c 1043s |      25 |  9377721 |  7158998 |     2680   6129 |        0 |        0
1045.07/1045.41	c 1045s |      25 |  9396262 |  7172898 |     2680   6138 |        0 |        0
1047.08/1047.43	c 1047s |      25 |  9414143 |  7186598 |     2680   6148 |        0 |        0
1049.09/1049.43	c 1049s |      25 |  9432783 |  7200698 |     2680   6158 |        0 |        0
1051.07/1051.44	c 1051s |      25 |  9451440 |  7214498 |     2680   6168 |        0 |        0
1053.07/1053.44	c 1053s |      25 |  9469282 |  7228398 |     2680   6177 |        0 |        0
1055.07/1055.44	c 1055s |      25 |  9486322 |  7241398 |     2680   6187 |        0 |        0
1057.07/1057.45	c 1057s |      25 |  9503324 |  7254398 |     2680   6196 |        0 |        0
1059.08/1059.47	c 1059s |      25 |  9520750 |  7267498 |     2680   6205 |        0 |        0
1061.07/1061.47	c 1061s |      25 |  9540982 |  7282698 |     2680   6216 |        0 |        0
1063.07/1063.48	c 1063s |      25 |  9561281 |  7297498 |     2680   6226 |        0 |        0
1065.16/1065.50	c 1065s |      25 |  9579587 |  7311898 |     2680   6236 |        0 |        0
1067.16/1067.50	c 1067s |      25 |  9597296 |  7325398 |     2680   6246 |        0 |        0
1069.16/1069.51	c 1069s |      25 |  9615264 |  7339298 |     2680   6256 |        0 |        0
1071.17/1071.51	c 1071s |      25 |  9635819 |  7354598 |     2680   6266 |        0 |        0
1073.16/1073.51	c 1073s |      25 |  9654008 |  7368498 |     2680   6276 |        0 |        0
1075.16/1075.52	c 1075s |      25 |  9673158 |  7382598 |     2680   6286 |        0 |        0
1077.16/1077.53	c 1077s |      25 |  9690800 |  7396098 |     2680   6296 |        0 |        0
1079.16/1079.54	c 1079s |      25 |  9708424 |  7409298 |     2680   6305 |        0 |        0
1081.15/1081.54	c 1081s |      25 |  9729020 |  7424098 |     2680   6315 |        0 |        0
1083.16/1083.55	c 1083s |      25 |  9748507 |  7438198 |     2680   6325 |        0 |        0
1085.15/1085.56	c 1085s |      25 |  9767470 |  7452698 |     2680   6335 |        0 |        0
1087.15/1087.57	c 1087s |      25 |  9786516 |  7466498 |     2680   6345 |        0 |        0
1089.15/1089.58	c 1089s |      25 |  9804518 |  7480198 |     2680   6355 |        0 |        0
1091.14/1091.59	c 1091s |      25 |  9821506 |  7493498 |     2680   6364 |        0 |        0
1093.15/1093.59	c 1093s |      25 |  9840112 |  7506898 |     2680   6374 |        0 |        0
1095.14/1095.60	c 1095s |      25 |  9859747 |  7521198 |     2680   6384 |        0 |        0
1097.24/1097.61	c 1097s |      25 |  9878267 |  7535198 |     2680   6394 |        0 |        0
1099.24/1099.62	c 1099s |      25 |  9896822 |  7549198 |     2949   6403 |        0 |        0
1101.23/1101.63	c 1101s |      25 |  9916777 |  7563898 |     2949   6412 |        0 |        0
1103.23/1103.64	c 1103s |      25 |  9935468 |  7577798 |     2949   6421 |        0 |        0
1105.24/1105.64	c 1105s |      25 |  9952186 |  7590598 |     2949   6429 |        0 |        0
1106.34/1106.71	c 1106s |      26 |  9961212 |  7597752 |     2949   6434 |        0 |        0
1108.33/1108.72	c 1108s |      26 |  9976701 |  7609852 |     2949   6442 |        0 |        0
1110.34/1110.73	c 1110s |      26 |  9992931 |  7622352 |     2949   6449 |        0 |        0
1112.33/1112.74	c 1112s |      26 | 10008838 |  7634652 |     2949   6457 |        0 |        0
1114.33/1114.76	c 1114s |      26 | 10024275 |  7646452 |     2949   6465 |        0 |        0
1116.33/1116.77	c 1116s |      26 | 10042232 |  7659752 |     2949   6473 |        0 |        0
1118.34/1118.78	c 1118s |      26 | 10060359 |  7673452 |     2949   6482 |        0 |        0
1120.33/1120.78	c 1120s |      26 | 10077790 |  7686952 |     2949   6490 |        0 |        0
1122.33/1122.79	c 1122s |      26 | 10094467 |  7699652 |     2949   6498 |        0 |        0
1124.33/1124.79	c 1124s |      26 | 10111055 |  7712452 |     2949   6506 |        0 |        0
1126.32/1126.79	c 1126s |      26 | 10127729 |  7725352 |     2949   6514 |        0 |        0
1128.42/1128.81	c 1128s |      26 | 10143488 |  7737752 |     2949   6522 |        0 |        0
1130.43/1130.82	c 1130s |      26 | 10160095 |  7750352 |     2949   6530 |        0 |        0
1132.41/1132.83	c 1132s |      26 | 10177126 |  7763152 |     2949   6538 |        0 |        0
1134.41/1134.84	c 1134s |      26 | 10193460 |  7775552 |     2949   6546 |        0 |        0
1136.41/1136.86	c 1136s |      26 | 10211879 |  7789052 |     2949   6555 |        0 |        0
1138.41/1138.86	c 1138s |      26 | 10230851 |  7803252 |     2949   6563 |        0 |        0
1140.42/1140.86	c 1140s |      26 | 10247568 |  7816252 |     2949   6572 |        0 |        0
1142.41/1142.86	c 1142s |      26 | 10265956 |  7829852 |     2949   6580 |        0 |        0
1144.42/1144.87	c 1144s |      26 | 10282763 |  7842652 |     2949   6588 |        0 |        0
1146.41/1146.88	c 1146s |      26 | 10300235 |  7856052 |     2949   6597 |        0 |        0
1148.41/1148.89	c 1148s |      26 | 10317557 |  7869352 |     2949   6605 |        0 |        0
1150.51/1150.90	c 1150s |      26 | 10333408 |  7881552 |     2949   6613 |        0 |        0
1152.51/1152.92	c 1152s |      26 | 10352018 |  7895352 |     2949   6622 |        0 |        0
1154.51/1154.92	c 1154s |      26 | 10367434 |  7907652 |     2949   6629 |        0 |        0
1156.51/1156.93	c 1156s |      26 | 10383591 |  7920452 |     2949   6637 |        0 |        0
1158.50/1158.93	c 1158s |      26 | 10400120 |  7933252 |     2949   6645 |        0 |        0
1160.50/1160.94	c 1160s |      26 | 10416827 |  7946252 |     2949   6654 |        0 |        0
1162.50/1162.95	c 1162s |      26 | 10434262 |  7959252 |     2949   6662 |        0 |        0
1164.51/1164.95	c 1164s |      26 | 10451076 |  7972352 |     2949   6670 |        0 |        0
1166.50/1166.96	c 1166s |      26 | 10467709 |  7985152 |     2949   6678 |        0 |        0
1168.50/1168.97	c 1168s |      26 | 10483552 |  7997252 |     2949   6686 |        0 |        0
1170.50/1170.98	c 1170s |      26 | 10500427 |  8010052 |     2949   6694 |        0 |        0
1172.50/1172.98	c 1172s |      26 | 10516380 |  8022552 |     2949   6702 |        0 |        0
1174.51/1174.99	c 1174s |      26 | 10534527 |  8036452 |     2949   6711 |        0 |        0
1176.50/1177.00	c 1176s |      26 | 10552573 |  8050252 |     2949   6719 |        0 |        0
1178.60/1179.02	c 1179s |      26 | 10569459 |  8063352 |     2949   6728 |        0 |        0
1180.60/1181.04	c 1181s |      26 | 10583988 |  8074652 |     2949   6735 |        0 |        0
1182.59/1183.04	c 1183s |      26 | 10601315 |  8087952 |     2949   6743 |        0 |        0
1184.59/1185.05	c 1185s |      26 | 10617772 |  8100352 |     2949   6751 |        0 |        0
1186.59/1187.06	c 1187s |      26 | 10633785 |  8112952 |     2949   6759 |        0 |        0
1188.59/1189.06	c 1189s |      26 | 10653131 |  8127452 |     2949   6768 |        0 |        0
1190.59/1191.07	c 1191s |      26 | 10671933 |  8141752 |     2949   6777 |        0 |        0
1192.58/1193.07	c 1193s |      26 | 10688818 |  8154952 |     2949   6785 |        0 |        0
1194.58/1195.08	c 1195s |      26 | 10704624 |  8166952 |     2949   6793 |        0 |        0
1196.58/1197.08	c 1197s |      26 | 10719174 |  8178252 |     2949   6800 |        0 |        0
1198.58/1199.10	c 1199s |      26 | 10733838 |  8189952 |     2949   6807 |        0 |        0
1200.68/1201.13	c 1201s |      26 | 10748456 |  8201252 |     2949   6815 |        0 |        0
1202.67/1203.14	c 1203s |      26 | 10763724 |  8213052 |     2949   6822 |        0 |        0
1204.67/1205.15	c 1205s |      26 | 10779167 |  8224752 |     2949   6829 |        0 |        0
1206.67/1207.15	c 1207s |      26 | 10793518 |  8235752 |     2949   6836 |        0 |        0
1208.67/1209.15	c 1209s |      26 | 10809562 |  8247552 |     2949   6844 |        0 |        0
1210.67/1211.17	c 1211s |      26 | 10826054 |  8260152 |     2949   6852 |        0 |        0
1212.66/1213.17	c 1213s |      26 | 10839696 |  8271252 |     2949   6859 |        0 |        0
1214.66/1215.17	c 1215s |      26 | 10854492 |  8283052 |     2949   6866 |        0 |        0
1216.66/1217.17	c 1217s |      26 | 10869595 |  8295052 |     2949   6874 |        0 |        0
1218.66/1219.17	c 1219s |      26 | 10884679 |  8307352 |     2949   6881 |        0 |        0
1220.68/1221.17	c 1221s |      26 | 10901388 |  8320152 |     2949   6889 |        0 |        0
1222.66/1223.18	c 1223s |      26 | 10917928 |  8332852 |     2949   6897 |        0 |        0
1224.66/1225.19	c 1225s |      26 | 10933777 |  8345152 |     2949   6905 |        0 |        0
1226.66/1227.20	c 1227s |      26 | 10949185 |  8357052 |     2949   6913 |        0 |        0
1228.76/1229.21	c 1229s |      26 | 10965003 |  8369252 |     2949   6920 |        0 |        0
1230.76/1231.22	c 1231s |      26 | 10980831 |  8381752 |     2949   6928 |        0 |        0
1232.76/1233.23	c 1233s |      26 | 10997769 |  8394452 |     2949   6936 |        0 |        0
1234.75/1235.24	c 1235s |      26 | 11013162 |  8406352 |     2949   6944 |        0 |        0
1236.75/1237.26	c 1237s |      26 | 11029228 |  8418452 |     2949   6952 |        0 |        0
1238.75/1239.26	c 1239s |      26 | 11046496 |  8431752 |     2949   6960 |        0 |        0
1240.75/1241.27	c 1241s |      26 | 11062837 |  8444452 |     2949   6968 |        0 |        0
1242.75/1243.28	c 1243s |      26 | 11077139 |  8455952 |     2949   6975 |        0 |        0
1244.75/1245.29	c 1245s |      26 | 11091237 |  8467052 |     2949   6982 |        0 |        0
1246.84/1247.30	c 1247s |      26 | 11105229 |  8478452 |     2949   6989 |        0 |        0
1248.84/1249.31	c 1249s |      26 | 11121269 |  8490752 |     2949   6997 |        0 |        0
1250.84/1251.31	c 1251s |      26 | 11136935 |  8502752 |     2949   7005 |        0 |        0
1252.84/1253.34	c 1253s |      26 | 11152907 |  8514952 |     2949   7013 |        0 |        0
1254.84/1255.34	c 1255s |      26 | 11167917 |  8526552 |     2949   7020 |        0 |        0
1256.85/1257.36	c 1257s |      26 | 11182520 |  8538052 |     2949   7027 |        0 |        0
1258.84/1259.36	c 1259s |      26 | 11198297 |  8550052 |     2949   7035 |        0 |        0
1260.84/1261.37	c 1261s |      26 | 11213622 |  8561652 |     2949   7042 |        0 |        0
1262.83/1263.38	c 1263s |      26 | 11228580 |  8573452 |     2949   7049 |        0 |        0
1264.93/1265.40	c 1265s |      26 | 11245231 |  8586652 |     2949   7058 |        0 |        0
1266.93/1267.41	c 1267s |      26 | 11259409 |  8598152 |     2949   7065 |        0 |        0
1268.93/1269.41	c 1269s |      26 | 11276001 |  8610652 |     2949   7073 |        0 |        0
1270.92/1271.43	c 1271s |      26 | 11293486 |  8623852 |     2949   7081 |        0 |        0
1272.92/1273.43	c 1273s |      26 | 11309365 |  8635852 |     2949   7089 |        0 |        0
1274.92/1275.46	c 1275s |      26 | 11324913 |  8647752 |     2949   7097 |        0 |        0
1276.92/1277.47	c 1277s |      26 | 11340186 |  8659552 |     2949   7104 |        0 |        0
1278.93/1279.48	c 1279s |      26 | 11355049 |  8671452 |     2949   7112 |        0 |        0
1280.92/1281.49	c 1281s |      26 | 11371060 |  8683952 |     2949   7119 |        0 |        0
1282.91/1283.50	c 1283s |      26 | 11388523 |  8697052 |     2949   7128 |        0 |        0
1285.02/1285.51	c 1285s |      26 | 11406074 |  8710252 |     2949   7136 |        0 |        0
1287.02/1287.52	c 1287s |      26 | 11423809 |  8723552 |     2949   7144 |        0 |        0
1289.02/1289.53	c 1289s |      26 | 11440430 |  8736052 |     2949   7152 |        0 |        0
1291.02/1291.55	c 1291s |      26 | 11456797 |  8748652 |     2949   7160 |        0 |        0
1293.01/1293.56	c 1293s |      26 | 11472461 |  8760552 |     2949   7168 |        0 |        0
1295.01/1295.56	c 1295s |      26 | 11488773 |  8773152 |     2949   7176 |        0 |        0
1297.01/1297.58	c 1297s |      26 | 11501742 |  8783952 |     2949   7183 |        0 |        0
1299.11/1299.60	c 1299s |      26 | 11515325 |  8794752 |     2949   7189 |        0 |        0
1301.11/1301.60	c 1301s |      26 | 11530839 |  8806752 |     2949   7197 |        0 |        0
1303.11/1303.61	c 1303s |      26 | 11546260 |  8818452 |     2949   7204 |        0 |        0
1305.10/1305.62	c 1305s |      26 | 11559937 |  8829752 |     2949   7212 |        0 |        0
1307.10/1307.63	c 1307s |      26 | 11575191 |  8841452 |     2949   7219 |        0 |        0
1309.10/1309.63	c 1309s |      26 | 11591188 |  8853452 |     2949   7227 |        0 |        0
1311.10/1311.64	c 1311s |      26 | 11607954 |  8865652 |     2949   7234 |        0 |        0
1313.10/1313.65	c 1313s |      26 | 11623735 |  8878052 |     2949   7242 |        0 |        0
1315.10/1315.66	c 1315s |      26 | 11640137 |  8890552 |     2949   7250 |        0 |        0
1317.09/1317.67	c 1317s |      26 | 11656155 |  8902752 |     2949   7258 |        0 |        0
1319.09/1319.68	c 1319s |      26 | 11671631 |  8915152 |     2949   7266 |        0 |        0
1321.09/1321.69	c 1321s |      26 | 11686032 |  8926452 |     2949   7273 |        0 |        0
1323.18/1323.70	c 1323s |      26 | 11699881 |  8937752 |     2949   7280 |        0 |        0
1325.18/1325.71	c 1325s |      26 | 11714043 |  8948752 |     2949   7287 |        0 |        0
1327.19/1327.72	c 1327s |      26 | 11730933 |  8961552 |     2949   7295 |        0 |        0
1329.18/1329.74	c 1329s |      26 | 11747374 |  8973752 |     2949   7303 |        0 |        0
1331.18/1331.77	c 1331s |      26 | 11761767 |  8985152 |     2949   7310 |        0 |        0
1333.18/1333.77	c 1333s |      26 | 11776852 |  8996952 |     2949   7317 |        0 |        0
1335.18/1335.77	c 1335s |      26 | 11791743 |  9008452 |     2949   7324 |        0 |        0
1337.18/1337.79	c 1337s |      26 | 11807710 |  9020652 |     2949   7332 |        0 |        0
1339.18/1339.79	c 1339s |      26 | 11824107 |  9033252 |     2949   7340 |        0 |        0
1341.27/1341.81	c 1341s |      26 | 11837287 |  9043652 |     2949   7347 |        0 |        0
1343.27/1343.82	c 1343s |      26 | 11853160 |  9055952 |     2949   7354 |        0 |        0
1345.28/1345.82	c 1345s |      26 | 11869851 |  9068452 |     2949   7362 |        0 |        0
1347.28/1347.83	c 1347s |      26 | 11885655 |  9080652 |     2949   7370 |        0 |        0
1349.28/1349.84	c 1349s |      26 | 11901917 |  9093152 |     2949   7378 |        0 |        0
1351.27/1351.84	c 1351s |      26 | 11917876 |  9105352 |     2949   7386 |        0 |        0
1353.27/1353.85	c 1353s |      26 | 11933565 |  9117452 |     2949   7393 |        0 |        0
1355.27/1355.86	c 1355s |      26 | 11949791 |  9130052 |     2949   7401 |        0 |        0
1357.27/1357.87	c 1357s |      26 | 11964511 |  9141652 |     2949   7409 |        0 |        0
1359.27/1359.88	c 1359s |      26 | 11980941 |  9154152 |     2949   7417 |        0 |        0
1361.28/1361.89	c 1361s |      26 | 11997282 |  9166452 |     2949   7424 |        0 |        0
1363.27/1363.89	c 1363s |      26 | 12013245 |  9178852 |     2949   7432 |        0 |        0
1365.37/1365.90	c 1365s |      26 | 12028913 |  9190752 |     2949   7440 |        0 |        0
1367.37/1367.90	c 1367s |      26 | 12045323 |  9203052 |     2949   7448 |        0 |        0
1369.37/1369.91	c 1369s |      26 | 12062859 |  9215752 |     2949   7456 |        0 |        0
1371.37/1371.94	c 1371s |      26 | 12078935 |  9228352 |     2949   7464 |        0 |        0
1373.37/1373.94	c 1373s |      26 | 12096372 |  9241352 |     2949   7472 |        0 |        0
1375.37/1375.95	c 1375s |      26 | 12113205 |  9254252 |     2949   7480 |        0 |        0
1377.37/1377.97	c 1377s |      26 | 12131260 |  9267652 |     2949   7488 |        0 |        0
1379.37/1379.99	c 1379s |      26 | 12148390 |  9280652 |     2949   7497 |        0 |        0
1381.47/1382.01	c 1381s |      26 | 12165720 |  9293952 |     2949   7505 |        0 |        0
1383.46/1384.01	c 1383s |      26 | 12183035 |  9307152 |     2949   7513 |        0 |        0
1385.47/1386.02	c 1386s |      26 | 12199959 |  9320052 |     2949   7522 |        0 |        0
1387.46/1388.02	c 1388s |      26 | 12217610 |  9333352 |     2949   7530 |        0 |        0
1389.46/1390.03	c 1390s |      26 | 12234786 |  9346552 |     2949   7538 |        0 |        0
1391.46/1392.04	c 1392s |      26 | 12251666 |  9359652 |     2949   7547 |        0 |        0
1393.46/1394.05	c 1394s |      26 | 12267793 |  9372152 |     2949   7554 |        0 |        0
1395.47/1396.06	c 1396s |      26 | 12283152 |  9383852 |     2949   7562 |        0 |        0
1397.46/1398.07	c 1398s |      26 | 12297034 |  9394852 |     2949   7569 |        0 |        0
1399.46/1400.08	c 1400s |      26 | 12311960 |  9406252 |     2949   7576 |        0 |        0
1401.46/1402.09	c 1402s |      26 | 12327268 |  9417752 |     2949   7583 |        0 |        0
1403.56/1404.10	c 1404s |      26 | 12341903 |  9428952 |     2949   7590 |        0 |        0
1405.57/1406.10	c 1406s |      26 | 12354140 |  9439352 |     2949   7597 |        0 |        0
1407.57/1408.13	c 1408s |      26 | 12367161 |  9449752 |     2949   7604 |        0 |        0
1409.56/1410.14	c 1410s |      26 | 12382085 |  9461152 |     2949   7611 |        0 |        0
1411.56/1412.16	c 1412s |      26 | 12395826 |  9472052 |     2949   7618 |        0 |        0
1413.56/1414.16	c 1414s |      26 | 12411229 |  9483852 |     2949   7625 |        0 |        0
1415.56/1416.18	c 1416s |      26 | 12425086 |  9494952 |     2949   7632 |        0 |        0
1417.56/1418.18	c 1418s |      26 | 12439405 |  9506152 |     2949   7639 |        0 |        0
1419.57/1420.18	c 1420s |      26 | 12455779 |  9518552 |     2949   7647 |        0 |        0
1421.56/1422.19	c 1422s |      26 | 12470455 |  9530152 |     2949   7654 |        0 |        0
1423.66/1424.20	c 1424s |      26 | 12485953 |  9541952 |     2949   7662 |        0 |        0
1425.66/1426.20	c 1426s |      26 | 12501902 |  9554052 |     2949   7670 |        0 |        0
1427.66/1428.22	c 1428s |      26 | 12516461 |  9565352 |     2949   7677 |        0 |        0
1429.66/1430.23	c 1430s |      26 | 12533043 |  9577752 |     2949   7685 |        0 |        0
1431.67/1432.23	c 1432s |      26 | 12547733 |  9589352 |     2949   7692 |        0 |        0
1433.66/1434.24	c 1434s |      26 | 12562482 |  9601152 |     2949   7699 |        0 |        0
1435.66/1436.25	c 1436s |      26 | 12576829 |  9612652 |     2949   7707 |        0 |        0
1437.66/1438.27	c 1438s |      26 | 12590794 |  9623552 |     2949   7714 |        0 |        0
1439.66/1440.27	c 1440s |      26 | 12604309 |  9634552 |     2949   7721 |        0 |        0
1441.66/1442.28	c 1442s |      26 | 12619812 |  9646052 |     2949   7728 |        0 |        0
1443.66/1444.30	c 1444s |      26 | 12636657 |  9659152 |     2949   7736 |        0 |        0
1445.76/1446.31	c 1446s |      26 | 12652011 |  9670752 |     2949   7743 |        0 |        0
1447.76/1448.31	c 1448s |      26 | 12668152 |  9683452 |     2949   7752 |        0 |        0
1449.76/1450.31	c 1450s |      26 | 12683829 |  9695652 |     2949   7759 |        0 |        0
1451.75/1452.32	c 1452s |      26 | 12700237 |  9707852 |     2949   7767 |        0 |        0
1453.76/1454.33	c 1454s |      26 | 12716681 |  9720652 |     2949   7775 |        0 |        0
1455.75/1456.35	c 1456s |      26 | 12730109 |  9731652 |     2949   7782 |        0 |        0
1457.75/1458.36	c 1458s |      26 | 12744905 |  9743352 |     2949   7789 |        0 |        0
1459.75/1460.37	c 1460s |      26 | 12760010 |  9754552 |     2949   7797 |        0 |        0
1461.75/1462.37	c 1462s |      26 | 12775806 |  9766452 |     2949   7804 |        0 |        0
1463.75/1464.38	c 1464s |      26 | 12792186 |  9778952 |     2949   7812 |        0 |        0
1465.76/1466.38	c 1466s |      26 | 12807305 |  9790652 |     2949   7819 |        0 |        0
1467.85/1468.40	c 1468s |      26 | 12822325 |  9801852 |     2949   7827 |        0 |        0
1469.85/1470.42	c 1470s |      26 | 12838405 |  9814252 |     2949   7834 |        0 |        0
1471.85/1472.43	c 1472s |      26 | 12852457 |  9825052 |     2949   7841 |        0 |        0
1473.85/1474.44	c 1474s |      26 | 12867516 |  9836452 |     2949   7848 |        0 |        0
1475.85/1476.45	c 1476s |      26 | 12883594 |  9848552 |     2949   7856 |        0 |        0
1477.85/1478.45	c 1478s |      26 | 12898102 |  9859852 |     2949   7863 |        0 |        0
1479.85/1480.46	c 1480s |      26 | 12913948 |  9872152 |     2949   7871 |        0 |        0
1481.85/1482.47	c 1482s |      26 | 12930379 |  9884652 |     2949   7879 |        0 |        0
1483.85/1484.47	c 1484s |      26 | 12946795 |  9897352 |     2949   7887 |        0 |        0
1485.85/1486.48	c 1486s |      26 | 12963685 |  9910052 |     2949   7895 |        0 |        0
1487.86/1488.49	c 1488s |      26 | 12979991 |  9922952 |     2949   7903 |        0 |        0
1489.85/1490.49	c 1490s |      26 | 12997373 |  9935852 |     2949   7911 |        0 |        0
1491.95/1492.50	c 1492s |      26 | 13013938 |  9948252 |     2949   7919 |        0 |        0
1493.95/1494.51	c 1494s |      26 | 13029546 |  9960152 |     2949   7927 |        0 |        0
1495.95/1496.51	c 1496s |      26 | 13045355 |  9972152 |     2949   7934 |        0 |        0
1497.95/1498.51	c 1498s |      26 | 13058817 |  9983152 |     2949   7941 |        0 |        0
1499.96/1500.52	c 1500s |      26 | 13073592 |  9994552 |     2949   7949 |        0 |        0
1501.95/1502.52	c 1502s |      26 | 13088706 | 10006552 |     2949   7956 |        0 |        0
1503.95/1504.53	c 1504s |      26 | 13104964 | 10018752 |     2949   7964 |        0 |        0
1505.95/1506.56	c 1506s |      26 | 13120221 | 10030752 |     2949   7972 |        0 |        0
1507.95/1508.56	c 1508s |      26 | 13135103 | 10042152 |     2949   7979 |        0 |        0
1509.95/1510.57	c 1510s |      26 | 13149814 | 10053652 |     2949   7986 |        0 |        0
1511.95/1512.57	c 1512s |      26 | 13164955 | 10065552 |     2949   7994 |        0 |        0
1513.94/1514.58	c 1514s |      26 | 13182560 | 10078752 |     2949   8002 |        0 |        0
1515.94/1516.59	c 1516s |      26 | 13198493 | 10091152 |     2949   8010 |        0 |        0
1518.04/1518.60	c 1518s |      26 | 13215912 | 10104252 |     2949   8018 |        0 |        0
1520.04/1520.61	c 1520s |      26 | 13229358 | 10115052 |     2949   8025 |        0 |        0
1522.04/1522.61	c 1522s |      26 | 13243063 | 10125952 |     2949   8032 |        0 |        0
1524.05/1524.62	c 1524s |      26 | 13260097 | 10138752 |     2949   8040 |        0 |        0
1526.04/1526.64	c 1526s |      26 | 13275490 | 10150552 |     2949   8048 |        0 |        0
1528.04/1528.66	c 1528s |      26 | 13289542 | 10161752 |     2949   8055 |        0 |        0
1530.04/1530.67	c 1530s |      26 | 13304302 | 10173152 |     2949   8062 |        0 |        0
1532.04/1532.68	c 1532s |      26 | 13319684 | 10184952 |     2949   8069 |        0 |        0
1534.04/1534.69	c 1534s |      26 | 13333925 | 10196052 |     2949   8076 |        0 |        0
1536.05/1536.69	c 1536s |      26 | 13347855 | 10207052 |     2949   8083 |        0 |        0
1538.05/1538.70	c 1538s |      26 | 13362622 | 10218452 |     2949   8091 |        0 |        0
1540.15/1540.70	c 1540s |      26 | 13378863 | 10230552 |     2949   8098 |        0 |        0
1542.15/1542.72	c 1542s |      26 | 13395467 | 10243052 |     2949   8106 |        0 |        0
1544.15/1544.72	c 1544s |      26 | 13409336 | 10254252 |     2949   8113 |        0 |        0
1546.15/1546.73	c 1546s |      26 | 13424067 | 10265752 |     2949   8121 |        0 |        0
1548.14/1548.73	c 1548s |      26 | 13440391 | 10277852 |     2949   8128 |        0 |        0
1550.14/1550.74	c 1550s |      26 | 13454935 | 10289452 |     2949   8136 |        0 |        0
1552.14/1552.74	c 1552s |      26 | 13468612 | 10300452 |     2949   8143 |        0 |        0
1554.14/1554.77	c 1554s |      26 | 13484059 | 10312452 |     2949   8150 |        0 |        0
1556.24/1556.81	c 1556s |      26 | 13500669 | 10324652 |     2949   8158 |        0 |        0
1558.25/1558.82	c 1558s |      26 | 13514971 | 10335752 |     2949   8165 |        0 |        0
1560.24/1560.83	c 1560s |      26 | 13530185 | 10347552 |     2949   8173 |        0 |        0
1562.24/1562.85	c 1562s |      26 | 13545794 | 10359352 |     2949   8180 |        0 |        0
1564.24/1564.86	c 1564s |      26 | 13561382 | 10371352 |     2949   8188 |        0 |        0
1566.24/1566.87	c 1566s |      26 | 13577233 | 10383452 |     2949   8195 |        0 |        0
1568.24/1568.88	c 1568s |      26 | 13592077 | 10394952 |     2949   8203 |        0 |        0
1570.25/1570.89	c 1570s |      26 | 13605695 | 10405852 |     2949   8210 |        0 |        0
1572.34/1572.90	c 1572s |      26 | 13620414 | 10417452 |     2949   8217 |        0 |        0
1574.34/1574.91	c 1574s |      26 | 13634788 | 10429052 |     2949   8224 |        0 |        0
1576.34/1576.91	c 1576s |      26 | 13650894 | 10441352 |     2949   8232 |        0 |        0
1578.34/1578.92	c 1578s |      26 | 13665678 | 10452952 |     2949   8240 |        0 |        0
1580.34/1580.93	c 1580s |      26 | 13679791 | 10463952 |     2949   8247 |        0 |        0
1582.34/1582.94	c 1582s |      26 | 13694448 | 10475652 |     2949   8254 |        0 |        0
1584.33/1584.96	c 1584s |      26 | 13709934 | 10487552 |     2949   8262 |        0 |        0
1586.33/1586.97	c 1586s |      26 | 13725384 | 10499352 |     2949   8269 |        0 |        0
1588.33/1588.98	c 1588s |      26 | 13742279 | 10512152 |     2949   8277 |        0 |        0
1590.33/1590.99	c 1590s |      26 | 13758415 | 10524352 |     2949   8285 |        0 |        0
1592.43/1593.00	c 1592s |      26 | 13774102 | 10536352 |     2949   8292 |        0 |        0
1594.44/1595.01	c 1594s |      26 | 13788735 | 10548052 |     2949   8300 |        0 |        0
1596.43/1597.03	c 1597s |      26 | 13804332 | 10560052 |     2949   8307 |        0 |        0
1598.43/1599.04	c 1599s |      26 | 13818548 | 10570952 |     2949   8314 |        0 |        0
1600.43/1601.04	c 1601s |      26 | 13832595 | 10581852 |     2949   8321 |        0 |        0
1602.43/1603.05	c 1603s |      26 | 13848473 | 10593652 |     2949   8329 |        0 |        0
1604.44/1605.05	c 1605s |      26 | 13863430 | 10605152 |     2949   8336 |        0 |        0
1606.44/1607.05	c 1607s |      26 | 13877321 | 10616252 |     2949   8343 |        0 |        0
1608.44/1609.07	c 1609s |      26 | 13892257 | 10627752 |     2949   8350 |        0 |        0
1610.44/1611.08	c 1611s |      26 | 13908501 | 10640452 |     2949   8359 |        0 |        0
1612.43/1613.08	c 1613s |      26 | 13924477 | 10652652 |     2949   8366 |        0 |        0
1614.43/1615.09	c 1615s |      26 | 13939977 | 10664752 |     2949   8374 |        0 |        0
1616.44/1617.10	c 1617s |      26 | 13955997 | 10677052 |     2949   8382 |        0 |        0
1618.53/1619.10	c 1619s |      26 | 13973348 | 10689752 |     2949   8390 |        0 |        0
1620.53/1621.11	c 1621s |      26 | 13990834 | 10702852 |     2949   8398 |        0 |        0
1622.53/1623.12	c 1623s |      26 | 14004400 | 10713452 |     2949   8405 |        0 |        0
1624.53/1625.12	c 1625s |      26 | 14017500 | 10724052 |     2949   8412 |        0 |        0
1626.53/1627.12	c 1627s |      26 | 14031907 | 10735252 |     2949   8419 |        0 |        0
1628.53/1629.13	c 1629s |      26 | 14047717 | 10747052 |     2949   8426 |        0 |        0
1630.53/1631.14	c 1631s |      26 | 14062890 | 10758452 |     2949   8433 |        0 |        0
1632.52/1633.14	c 1633s |      26 | 14078078 | 10770152 |     2949   8441 |        0 |        0
1634.52/1635.14	c 1635s |      26 | 14092577 | 10781452 |     2949   8448 |        0 |        0
1636.52/1637.15	c 1637s |      26 | 14107186 | 10792952 |     2949   8455 |        0 |        0
1638.53/1639.16	c 1639s |      26 | 14121505 | 10804052 |     2949   8462 |        0 |        0
1640.52/1641.16	c 1641s |      26 | 14137152 | 10816152 |     2949   8470 |        0 |        0
1642.52/1643.18	c 1643s |      26 | 14151219 | 10827152 |     2949   8477 |        0 |        0
1644.52/1645.19	c 1645s |      26 | 14163785 | 10837452 |     2949   8484 |        0 |        0
1646.62/1647.21	c 1647s |      26 | 14178980 | 10849052 |     2949   8491 |        0 |        0
1648.62/1649.22	c 1649s |      26 | 14195331 | 10861252 |     2949   8499 |        0 |        0
1650.63/1651.22	c 1651s |      26 | 14210538 | 10872952 |     2949   8506 |        0 |        0
1652.62/1653.24	c 1653s |      26 | 14225548 | 10884652 |     2949   8514 |        0 |        0
1654.63/1655.24	c 1655s |      26 | 14242018 | 10896752 |     2949   8521 |        0 |        0
1656.63/1657.24	c 1657s |      26 | 14257727 | 10908752 |     2949   8529 |        0 |        0
1658.63/1659.29	c 1659s |      26 | 14274244 | 10921052 |     2949   8537 |        0 |        0
1660.73/1661.31	c 1661s |      26 | 14289166 | 10932052 |     2949   8544 |        0 |        0
1662.73/1663.31	c 1663s |      26 | 14302315 | 10942352 |     2949   8550 |        0 |        0
1664.73/1665.32	c 1665s |      26 | 14316992 | 10953452 |     2949   8557 |        0 |        0
1666.72/1667.33	c 1667s |      26 | 14331114 | 10964352 |     2949   8564 |        0 |        0
1668.72/1669.34	c 1669s |      26 | 14345795 | 10975452 |     2949   8571 |        0 |        0
1670.72/1671.35	c 1671s |      26 | 14360496 | 10986852 |     2949   8578 |        0 |        0
1672.72/1673.37	c 1673s |      26 | 14375227 | 10997752 |     2949   8585 |        0 |        0
1674.73/1675.37	c 1675s |      26 | 14389002 | 11008352 |     2949   8592 |        0 |        0
1676.72/1677.38	c 1677s |      26 | 14402921 | 11018952 |     2949   8599 |        0 |        0
1678.82/1679.40	c 1679s |      26 | 14417612 | 11030452 |     2949   8606 |        0 |        0
1680.82/1681.41	c 1681s |      26 | 14431553 | 11041352 |     2949   8613 |        0 |        0
1682.82/1683.42	c 1683s |      26 | 14446190 | 11052452 |     2949   8620 |        0 |        0
1684.82/1685.43	c 1685s |      26 | 14462222 | 11064652 |     2949   8628 |        0 |        0
1686.83/1687.45	c 1687s |      26 | 14478140 | 11076852 |     2949   8636 |        0 |        0
1688.82/1689.45	c 1689s |      26 | 14494408 | 11089252 |     2949   8643 |        0 |        0
1690.82/1691.45	c 1691s |      26 | 14510454 | 11101452 |     2949   8651 |        0 |        0
1692.82/1693.46	c 1693s |      26 | 14525462 | 11113252 |     2949   8659 |        0 |        0
1694.82/1695.47	c 1695s |      26 | 14540857 | 11125352 |     2949   8666 |        0 |        0
1696.83/1697.49	c 1697s |      26 | 14557202 | 11137552 |     2949   8674 |        0 |        0
1698.82/1699.50	c 1699s |      26 | 14573279 | 11149952 |     2949   8682 |        0 |        0
1700.92/1701.51	c 1701s |      26 | 14591331 | 11163052 |     2949   8690 |        0 |        0
1702.92/1703.52	c 1703s |      26 | 14606108 | 11174852 |     2949   8698 |        0 |        0
1704.92/1705.55	c 1705s |      26 | 14622191 | 11187152 |     2949   8706 |        0 |        0
1706.92/1707.55	c 1707s |      26 | 14638631 | 11199452 |     2949   8713 |        0 |        0
1708.92/1709.55	c 1709s |      26 | 14653378 | 11211152 |     2949   8721 |        0 |        0
1710.92/1711.56	c 1711s |      26 | 14669087 | 11222852 |     2949   8728 |        0 |        0
1712.91/1713.56	c 1713s |      26 | 14685059 | 11235152 |     2949   8736 |        0 |        0
1714.91/1715.58	c 1715s |      26 | 14699559 | 11246052 |     2949   8743 |        0 |        0
1716.91/1717.59	c 1717s |      26 | 14716012 | 11258452 |     2949   8751 |        0 |        0
1718.91/1719.59	c 1719s |      26 | 14730997 | 11269752 |     2949   8758 |        0 |        0
1720.92/1721.60	c 1721s |      26 | 14746035 | 11281752 |     2949   8766 |        0 |        0
1723.01/1723.60	c 1723s |      26 | 14761685 | 11294152 |     2949   8773 |        0 |        0
1725.01/1725.61	c 1725s |      26 | 14777397 | 11306252 |     2949   8781 |        0 |        0
1727.01/1727.62	c 1727s |      26 | 14793722 | 11318552 |     3244   8789 |        0 |        0
1729.01/1729.63	c 1729s |      26 | 14809623 | 11330552 |     3244   8796 |        0 |        0
1731.01/1731.64	c 1731s |      26 | 14826119 | 11342952 |     3244   8803 |        0 |        0
1733.02/1733.64	c 1733s |      26 | 14839728 | 11354052 |     3244   8809 |        0 |        0
1735.01/1735.65	c 1735s |      26 | 14852746 | 11364552 |     3244   8815 |        0 |        0
1737.01/1737.65	c 1737s |      26 | 14868407 | 11376652 |     3244   8822 |        0 |        0
1739.01/1739.66	c 1739s |      26 | 14883375 | 11388252 |     3244   8829 |        0 |        0
1740.41/1741.05	c 1741s |      27 | 14894388 | 11396733 |     3244   8834 |        0 |        0
1742.41/1743.05	c 1743s |      27 | 14910746 | 11408633 |     3244   8841 |        0 |        0
1744.41/1745.06	c 1745s |      27 | 14923714 | 11418933 |     3244   8847 |        0 |        0
1746.41/1747.06	c 1747s |      27 | 14937677 | 11430033 |     3244   8853 |        0 |        0
1748.42/1749.07	c 1749s |      27 | 14951936 | 11441133 |     3244   8859 |        0 |        0
1750.41/1751.08	c 1751s |      27 | 14966896 | 11452533 |     3244   8866 |        0 |        0
1752.41/1753.09	c 1753s |      27 | 14981371 | 11463533 |     3244   8872 |        0 |        0
1754.41/1755.09	c 1755s |      27 | 14995851 | 11474733 |     3244   8879 |        0 |        0
1756.51/1757.10	c 1757s |      27 | 15010676 | 11486333 |     3244   8885 |        0 |        0
1758.51/1759.12	c 1759s |      27 | 15026529 | 11498633 |     3244   8892 |        0 |        0
1760.51/1761.13	c 1761s |      27 | 15041164 | 11509633 |     3244   8899 |        0 |        0
1762.51/1763.14	c 1763s |      27 | 15056119 | 11521133 |     3244   8905 |        0 |        0
1764.50/1765.14	c 1765s |      27 | 15072549 | 11533433 |     3244   8912 |        0 |        0
1766.50/1767.16	c 1767s |      27 | 15086048 | 11544133 |     3244   8919 |        0 |        0
1768.50/1769.18	c 1769s |      27 | 15102258 | 11556033 |     3244   8926 |        0 |        0
1770.60/1771.20	c 1771s |      27 | 15116116 | 11567033 |     3244   8932 |        0 |        0
1772.50/1773.20	c 1773s |      27 | 15130065 | 11577833 |     3244   8938 |        0 |        0
1774.60/1775.21	c 1775s |      27 | 15144260 | 11588733 |     3244   8944 |        0 |        0
1776.60/1777.21	c 1777s |      27 | 15157890 | 11599333 |     3244   8951 |        0 |        0
1778.60/1779.23	c 1779s |      27 | 15171666 | 11610033 |     3244   8957 |        0 |        0
1780.60/1781.23	c 1781s |      27 | 15185604 | 11620933 |     3244   8963 |        0 |        0
1782.61/1783.23	c 1783s |      27 | 15202384 | 11633433 |     3244   8970 |        0 |        0
1784.61/1785.26	c 1785s |      27 | 15216013 | 11644033 |     3244   8977 |        0 |        0
1786.61/1787.26	c 1787s |      27 | 15231887 | 11655833 |     3244   8983 |        0 |        0
1788.61/1789.28	c 1789s |      27 | 15248415 | 11667833 |     3244   8990 |        0 |        0
1790.61/1791.29	c 1791s |      27 | 15262031 | 11678433 |     3244   8997 |        0 |        0
1792.61/1793.30	c 1793s |      27 | 15277890 | 11690233 |     3244   9003 |        0 |        0
1794.71/1795.31	c 1795s |      27 | 15294056 | 11702233 |     3244   9010 |        0 |        0
1796.71/1797.32	c 1797s |      27 | 15308508 | 11713733 |     3244   9017 |        0 |        0
1798.71/1799.33	c 1799s |      27 | 15323612 | 11725233 |     3244   9024 |        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-4121514-1467314772/watcher-4121514-1467314772 -o /tmp/evaluation-result-4121514-1467314772/solver-4121514-1467314772 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node115-1467308742-11512 --watchdog 1960 toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4121514-1467314772.opb 

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

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


[startup+0 s]
/proc/loadavg: 2.18 2.17 2.11 3/179 12956
/proc/meminfo: memFree=29354668/32872528 swapFree=1102192/1183952
[pid=12956] ppid=12953 vsize=734652 CPUtime=0 cores=1,3,5,7
/proc/12956/stat : 12956 (toysat) R 12953 12956 11495 0 -1 4202496 2742 0 0 0 0 0 0 0 20 0 4 0 10506428 752283648 3102 33554432000 4194304 16246674 140733687306704 140733687306128 13880264 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/12956/statm: 184431 3112 441 2943 0 181325 0
[pid=12956/tid=12957] ppid=12953 vsize=753084 CPUtime=0 cores=1,3,5,7
/proc/12956/task/12957/stat : 12957 (toysat) S 12953 12956 11495 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 10506428 771158016 3173 33554432000 4194304 16246674 140733687306704 140282990406896 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=12956/tid=12958] ppid=12953 vsize=757180 CPUtime=0 cores=1,3,5,7
/proc/12956/task/12958/stat : 12958 (toysat) S 12953 12956 11495 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 10506428 775352320 3192 33554432000 4194304 16246674 140733687306704 140282979917040 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=12956/tid=12959] ppid=12953 vsize=761276 CPUtime=0 cores=1,3,5,7
/proc/12956/task/12959/stat : 12959 (toysat) S 12953 12956 11495 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 10506428 779546624 3208 33554432000 4194304 16246674 140733687306704 140282892905648 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0

[startup+0.100175 s]
/proc/loadavg: 2.18 2.17 2.11 3/179 12956
/proc/meminfo: memFree=29354668/32872528 swapFree=1102192/1183952
[pid=12956] ppid=12953 vsize=1218116 CPUtime=0.09 cores=1,3,5,7
/proc/12956/stat : 12956 (toysat) R 12953 12956 11495 0 -1 4202496 24856 0 0 0 6 3 0 0 20 0 4 0 10506428 1247350784 25205 33554432000 4194304 16246674 140733687306704 140733687306128 5675357 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/12956/statm: 304529 25214 707 2943 0 301423 0
[pid=12956/tid=12957] ppid=12953 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/12956/task/12957/stat : 12957 (toysat) S 12953 12956 11495 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 10506428 1247350784 25220 33554432000 4194304 16246674 140733687306704 140282990406896 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=12956/tid=12958] ppid=12953 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/12956/task/12958/stat : 12958 (toysat) S 12953 12956 11495 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 10506428 1247350784 25226 33554432000 4194304 16246674 140733687306704 140282979917040 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=12956/tid=12959] ppid=12953 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/12956/task/12959/stat : 12959 (toysat) S 12953 12956 11495 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 10506428 1247350784 25235 33554432000 4194304 16246674 140733687306704 140282892905648 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 1218116

[startup+0.200532 s]
/proc/loadavg: 2.18 2.17 2.11 3/179 12956
/proc/meminfo: memFree=29354668/32872528 swapFree=1102192/1183952
[pid=12956] ppid=12953 vsize=1218116 CPUtime=0.19 cores=1,3,5,7
/proc/12956/stat : 12956 (toysat) R 12953 12956 11495 0 -1 4202496 47205 0 0 0 13 6 0 0 20 0 4 0 10506428 1247350784 47555 33554432000 4194304 16246674 140733687306704 140733687306128 13191557 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/12956/statm: 304529 47567 707 2943 0 301423 0
[pid=12956/tid=12957] ppid=12953 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/12956/task/12957/stat : 12957 (toysat) S 12953 12956 11495 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 10506428 1247350784 47575 33554432000 4194304 16246674 140733687306704 140282990406896 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=12956/tid=12958] ppid=12953 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/12956/task/12958/stat : 12958 (toysat) S 12953 12956 11495 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 10506428 1247350784 47582 33554432000 4194304 16246674 140733687306704 140282979917040 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=12956/tid=12959] ppid=12953 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/12956/task/12959/stat : 12959 (toysat) S 12953 12956 11495 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 10506428 1247350784 47589 33554432000 4194304 16246674 140733687306704 140282892905648 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 1218116

[startup+0.300495 s]
/proc/loadavg: 2.18 2.17 2.11 3/179 12956
/proc/meminfo: memFree=29354668/32872528 swapFree=1102192/1183952
[pid=12956] ppid=12953 vsize=1218116 CPUtime=0.29 cores=1,3,5,7
/proc/12956/stat : 12956 (toysat) R 12953 12956 11495 0 -1 4202496 69875 0 0 0 19 10 0 0 20 0 4 0 10506428 1247350784 70224 33554432000 4194304 16246674 140733687306704 140733687306128 5677541 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/12956/statm: 304529 70234 707 2943 0 301423 0
[pid=12956/tid=12957] ppid=12953 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/12956/task/12957/stat : 12957 (toysat) S 12953 12956 11495 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 10506428 1247350784 70241 33554432000 4194304 16246674 140733687306704 140282990406896 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=12956/tid=12958] ppid=12953 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/12956/task/12958/stat : 12958 (toysat) S 12953 12956 11495 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 10506428 1247350784 70251 33554432000 4194304 16246674 140733687306704 140282979917040 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=12956/tid=12959] ppid=12953 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/12956/task/12959/stat : 12959 (toysat) S 12953 12956 11495 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 10506428 1247350784 70257 33554432000 4194304 16246674 140733687306704 140282892905648 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 1218116

[startup+0.700407 s]
/proc/loadavg: 2.18 2.17 2.11 3/179 12956
/proc/meminfo: memFree=29354668/32872528 swapFree=1102192/1183952
[pid=12956] ppid=12953 vsize=1218116 CPUtime=0.68 cores=1,3,5,7
/proc/12956/stat : 12956 (toysat) R 12953 12956 11495 0 -1 4202496 157752 0 0 0 46 22 0 0 20 0 4 0 10506428 1247350784 158102 33554432000 4194304 16246674 140733687306704 140733687288576 12479207 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/12956/statm: 304529 158114 708 2943 0 301423 0
[pid=12956/tid=12957] ppid=12953 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/12956/task/12957/stat : 12957 (toysat) S 12953 12956 11495 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 10506428 1247350784 158121 33554432000 4194304 16246674 140733687306704 140282990406896 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=12956/tid=12958] ppid=12953 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/12956/task/12958/stat : 12958 (toysat) S 12953 12956 11495 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 10506428 1247350784 158126 33554432000 4194304 16246674 140733687306704 140282979917040 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=12956/tid=12959] ppid=12953 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/12956/task/12959/stat : 12959 (toysat) S 12953 12956 11495 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 10506428 1247350784 158130 33554432000 4194304 16246674 140733687306704 140282892905648 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 1218116

[startup+1.50042 s]
/proc/loadavg: 2.18 2.17 2.11 3/183 12960
/proc/meminfo: memFree=28371516/32872528 swapFree=1102192/1183952
[pid=12956] ppid=12953 vsize=1219140 CPUtime=1.49 cores=1,3,5,7
/proc/12956/stat : 12956 (toysat) R 12953 12956 11495 0 -1 4202496 245751 0 0 0 116 33 0 0 20 0 4 0 10506428 1248399360 246080 33554432000 4194304 16246674 140733687306704 140733687289704 5976032 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/12956/statm: 304785 246080 784 2943 0 301679 0
[pid=12956/tid=12957] ppid=12953 vsize=1219140 CPUtime=0 cores=1,3,5,7
/proc/12956/task/12957/stat : 12957 (toysat) S 12953 12956 11495 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 10506428 1248399360 246080 33554432000 4194304 16246674 140733687306704 140282990406896 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=12956/tid=12958] ppid=12953 vsize=1219140 CPUtime=0 cores=1,3,5,7
/proc/12956/task/12958/stat : 12958 (toysat) S 12953 12956 11495 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 10506428 1248399360 246080 33554432000 4194304 16246674 140733687306704 140282979917040 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=12956/tid=12959] ppid=12953 vsize=1219140 CPUtime=0 cores=1,3,5,7
/proc/12956/task/12959/stat : 12959 (toysat) S 12953 12956 11495 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 10506428 1248399360 246080 33554432000 4194304 16246674 140733687306704 140282892905648 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 1219140

[startup+3.10041 s]
/proc/loadavg: 2.16 2.17 2.11 3/183 12960
/proc/meminfo: memFree=28285320/32872528 swapFree=1102192/1183952
[pid=12956] ppid=12953 vsize=1306180 CPUtime=3.09 cores=1,3,5,7
/proc/12956/stat : 12956 (toysat) R 12953 12956 11495 0 -1 4202496 267454 0 0 0 272 37 0 0 20 0 4 0 10506428 1337528320 267783 33554432000 4194304 16246674 140733687306704 140733687289704 5675461 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/12956/statm: 326545 267783 784 2943 0 323439 0
[pid=12956/tid=12957] ppid=12953 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/12956/task/12957/stat : 12957 (toysat) S 12953 12956 11495 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 10506428 1337528320 267783 33554432000 4194304 16246674 140733687306704 140282990406896 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=12956/tid=12958] ppid=12953 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/12956/task/12958/stat : 12958 (toysat) S 12953 12956 11495 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 10506428 1337528320 267783 33554432000 4194304 16246674 140733687306704 140282979917040 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=12956/tid=12959] ppid=12953 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/12956/task/12959/stat : 12959 (toysat) S 12953 12956 11495 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 10506428 1337528320 267783 33554432000 4194304 16246674 140733687306704 140282892905648 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 1306180

[startup+6.30042 s]
/proc/loadavg: 2.16 2.17 2.11 3/183 12960
/proc/meminfo: memFree=28282996/32872528 swapFree=1102192/1183952
[pid=12956] ppid=12953 vsize=1307204 CPUtime=6.29 cores=1,3,5,7
/proc/12956/stat : 12956 (toysat) R 12953 12956 11495 0 -1 4202496 267719 0 0 0 592 37 0 0 20 0 4 0 10506428 1338576896 268048 33554432000 4194304 16246674 140733687306704 140733687288576 15015658 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/12956/statm: 326801 268048 784 2943 0 323695 0
[pid=12956/tid=12957] ppid=12953 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/12956/task/12957/stat : 12957 (toysat) S 12953 12956 11495 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 10506428 1338576896 268048 33554432000 4194304 16246674 140733687306704 140282990406896 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=12956/tid=12958] ppid=12953 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/12956/task/12958/stat : 12958 (toysat) S 12953 12956 11495 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 10506428 1338576896 268048 33554432000 4194304 16246674 140733687306704 140282979917040 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=12956/tid=12959] ppid=12953 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/12956/task/12959/stat : 12959 (toysat) S 12953 12956 11495 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 10506428 1338576896 268048 33554432000 4194304 16246674 140733687306704 140282892905648 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 1307204

[startup+12.7004 s]
/proc/loadavg: 2.14 2.16 2.11 3/183 12960
/proc/meminfo: memFree=28282536/32872528 swapFree=1102192/1183952
[pid=12956] ppid=12953 vsize=1308228 CPUtime=12.69 cores=1,3,5,7
/proc/12956/stat : 12956 (toysat) R 12953 12956 11495 0 -1 4202496 267834 0 0 0 1232 37 0 0 20 0 4 0 10506428 1339625472 268163 33554432000 4194304 16246674 140733687306704 140733687288576 12477756 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/12956/statm: 327057 268163 784 2943 0 323951 0
[pid=12956/tid=12957] ppid=12953 vsize=1308228 CPUtime=0 cores=1,3,5,7
/proc/12956/task/12957/stat : 12957 (toysat) S 12953 12956 11495 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 10506428 1339625472 268163 33554432000 4194304 16246674 140733687306704 140282990406896 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=12956/tid=12958] ppid=12953 vsize=1308228 CPUtime=0 cores=1,3,5,7
/proc/12956/task/12958/stat : 12958 (toysat) S 12953 12956 11495 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 10506428 1339625472 268163 33554432000 4194304 16246674 140733687306704 140282979917040 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=12956/tid=12959] ppid=12953 vsize=1308228 CPUtime=0 cores=1,3,5,7
/proc/12956/task/12959/stat : 12959 (toysat) S 12953 12956 11495 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 10506428 1339625472 268163 33554432000 4194304 16246674 140733687306704 140282892905648 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 1308228

[startup+25.5005 s]
/proc/loadavg: 2.11 2.15 2.11 3/183 12961
/proc/meminfo: memFree=28281260/32872528 swapFree=1102192/1183952
[pid=12956] ppid=12953 vsize=1309252 CPUtime=25.49 cores=1,3,5,7
/proc/12956/stat : 12956 (toysat) R 12953 12956 11495 0 -1 4202496 268323 0 0 0 2511 38 0 0 20 0 4 0 10506428 1340674048 268652 33554432000 4194304 16246674 140733687306704 140733687288576 12483391 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/12956/statm: 327313 268652 785 2943 0 324207 0
[pid=12956/tid=12957] ppid=12953 vsize=1309252 CPUtime=0 cores=1,3,5,7
/proc/12956/task/12957/stat : 12957 (toysat) S 12953 12956 11495 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 10506428 1340674048 268652 33554432000 4194304 16246674 140733687306704 140282990406896 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=12956/tid=12958] ppid=12953 vsize=1309252 CPUtime=0 cores=1,3,5,7
/proc/12956/task/12958/stat : 12958 (toysat) S 12953 12956 11495 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 10506428 1340674048 268652 33554432000 4194304 16246674 140733687306704 140282979917040 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=12956/tid=12959] ppid=12953 vsize=1309252 CPUtime=0 cores=1,3,5,7
/proc/12956/task/12959/stat : 12959 (toysat) S 12953 12956 11495 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 10506428 1340674048 268652 33554432000 4194304 16246674 140733687306704 140282892905648 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 1309252

[startup+51.1005 s]
/proc/loadavg: 2.21 2.17 2.11 4/183 12961
/proc/meminfo: memFree=28282904/32872528 swapFree=1102192/1183952
[pid=12956] ppid=12953 vsize=1309252 CPUtime=51.08 cores=1,3,5,7
/proc/12956/stat : 12956 (toysat) R 12953 12956 11495 0 -1 4202496 268333 0 0 0 5070 38 0 0 20 0 4 0 10506428 1340674048 268662 33554432000 4194304 16246674 140733687306704 140733687289704 5653044 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/12956/statm: 327313 268662 785 2943 0 324207 0
[pid=12956/tid=12957] ppid=12953 vsize=1309252 CPUtime=0 cores=1,3,5,7
/proc/12956/task/12957/stat : 12957 (toysat) S 12953 12956 11495 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 10506428 1340674048 268662 33554432000 4194304 16246674 140733687306704 140282990406896 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=12956/tid=12958] ppid=12953 vsize=1309252 CPUtime=0 cores=1,3,5,7
/proc/12956/task/12958/stat : 12958 (toysat) S 12953 12956 11495 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 10506428 1340674048 268662 33554432000 4194304 16246674 140733687306704 140282979917040 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=12956/tid=12959] ppid=12953 vsize=1309252 CPUtime=0 cores=1,3,5,7
/proc/12956/task/12959/stat : 12959 (toysat) S 12953 12956 11495 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 10506428 1340674048 268662 33554432000 4194304 16246674 140733687306704 140282892905648 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 1309252

[startup+102.3 s]
/proc/loadavg: 2.19 2.17 2.11 3/183 12962
/proc/meminfo: memFree=28282524/32872528 swapFree=1102192/1183952
[pid=12956] ppid=12953 vsize=1309252 CPUtime=102.28 cores=1,3,5,7
/proc/12956/stat : 12956 (toysat) R 12953 12956 11495 0 -1 4202496 268337 0 0 0 10189 39 0 0 20 0 4 0 10506428 1340674048 268666 33554432000 4194304 16246674 140733687306704 140733687288576 5997240 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/12956/statm: 327313 268666 788 2943 0 324207 0
[pid=12956/tid=12957] ppid=12953 vsize=1309252 CPUtime=0 cores=1,3,5,7
/proc/12956/task/12957/stat : 12957 (toysat) S 12953 12956 11495 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 10506428 1340674048 268666 33554432000 4194304 16246674 140733687306704 140282990406896 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=12956/tid=12958] ppid=12953 vsize=1309252 CPUtime=0 cores=1,3,5,7
/proc/12956/task/12958/stat : 12958 (toysat) S 12953 12956 11495 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 10506428 1340674048 268666 33554432000 4194304 16246674 140733687306704 140282979917040 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=12956/tid=12959] ppid=12953 vsize=1309252 CPUtime=0 cores=1,3,5,7
/proc/12956/task/12959/stat : 12959 (toysat) S 12953 12956 11495 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 10506428 1340674048 268666 33554432000 4194304 16246674 140733687306704 140282892905648 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 1309252


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

/proc/12956/task/12959/stat : 12959 (toysat) S 12953 12956 11495 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 10506428 1346965504 270458 33554432000 4194304 16246674 140733687306704 140282892905648 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1241.85
Current children cumulated vsize (KiB) 1315396

[startup+1302.3 s]
/proc/loadavg: 2.25 2.18 2.11 3/183 13090
/proc/meminfo: memFree=28270804/32872528 swapFree=1102192/1183952
[pid=12956] ppid=12953 vsize=1315396 CPUtime=1301.81 cores=1,3,5,7
/proc/12956/stat : 12956 (toysat) R 12953 12956 11495 0 -1 4202496 270312 0 0 0 130121 60 0 0 20 0 4 0 10506428 1346965504 270458 33554432000 4194304 16246674 140733687306704 140733687288576 6010173 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/12956/statm: 328849 270458 788 2943 0 325743 0
[pid=12956/tid=12957] ppid=12953 vsize=1315396 CPUtime=0 cores=1,3,5,7
/proc/12956/task/12957/stat : 12957 (toysat) S 12953 12956 11495 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 10506428 1346965504 270458 33554432000 4194304 16246674 140733687306704 140282990406896 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=12956/tid=12958] ppid=12953 vsize=1315396 CPUtime=0 cores=1,3,5,7
/proc/12956/task/12958/stat : 12958 (toysat) S 12953 12956 11495 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 10506428 1346965504 270458 33554432000 4194304 16246674 140733687306704 140282979917040 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=12956/tid=12959] ppid=12953 vsize=1315396 CPUtime=0 cores=1,3,5,7
/proc/12956/task/12959/stat : 12959 (toysat) S 12953 12956 11495 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 10506428 1346965504 270458 33554432000 4194304 16246674 140733687306704 140282892905648 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1301.81
Current children cumulated vsize (KiB) 1315396

[startup+1362.3 s]
/proc/loadavg: 2.28 2.19 2.11 3/183 13091
/proc/meminfo: memFree=28269432/32872528 swapFree=1102192/1183952
[pid=12956] ppid=12953 vsize=1315396 CPUtime=1361.77 cores=1,3,5,7
/proc/12956/stat : 12956 (toysat) R 12953 12956 11495 0 -1 4202496 270347 0 0 0 136116 61 0 0 20 0 4 0 10506428 1346965504 270458 33554432000 4194304 16246674 140733687306704 140733687288576 5822548 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/12956/statm: 328849 270458 788 2943 0 325743 0
[pid=12956/tid=12957] ppid=12953 vsize=1315396 CPUtime=0 cores=1,3,5,7
/proc/12956/task/12957/stat : 12957 (toysat) S 12953 12956 11495 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 10506428 1346965504 270458 33554432000 4194304 16246674 140733687306704 140282990406896 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=12956/tid=12958] ppid=12953 vsize=1315396 CPUtime=0 cores=1,3,5,7
/proc/12956/task/12958/stat : 12958 (toysat) S 12953 12956 11495 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 10506428 1346965504 270458 33554432000 4194304 16246674 140733687306704 140282979917040 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=12956/tid=12959] ppid=12953 vsize=1315396 CPUtime=0 cores=1,3,5,7
/proc/12956/task/12959/stat : 12959 (toysat) S 12953 12956 11495 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 10506428 1346965504 270458 33554432000 4194304 16246674 140733687306704 140282892905648 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1361.77
Current children cumulated vsize (KiB) 1315396

[startup+1422.3 s]
/proc/loadavg: 2.17 2.18 2.11 3/183 13092
/proc/meminfo: memFree=28268432/32872528 swapFree=1102192/1183952
[pid=12956] ppid=12953 vsize=1316420 CPUtime=1421.77 cores=1,3,5,7
/proc/12956/stat : 12956 (toysat) R 12953 12956 11495 0 -1 4202496 270603 0 0 0 142115 62 0 0 20 0 4 0 10506428 1348014080 270714 33554432000 4194304 16246674 140733687306704 140733687288576 6011904 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/12956/statm: 329105 270714 788 2943 0 325999 0
[pid=12956/tid=12957] ppid=12953 vsize=1316420 CPUtime=0 cores=1,3,5,7
/proc/12956/task/12957/stat : 12957 (toysat) S 12953 12956 11495 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 10506428 1348014080 270714 33554432000 4194304 16246674 140733687306704 140282990406896 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=12956/tid=12958] ppid=12953 vsize=1316420 CPUtime=0 cores=1,3,5,7
/proc/12956/task/12958/stat : 12958 (toysat) S 12953 12956 11495 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 10506428 1348014080 270714 33554432000 4194304 16246674 140733687306704 140282979917040 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=12956/tid=12959] ppid=12953 vsize=1316420 CPUtime=0 cores=1,3,5,7
/proc/12956/task/12959/stat : 12959 (toysat) S 12953 12956 11495 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 10506428 1348014080 270714 33554432000 4194304 16246674 140733687306704 140282892905648 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1421.77
Current children cumulated vsize (KiB) 1316420

[startup+1482.3 s]
/proc/loadavg: 2.23 2.19 2.12 3/184 13096
/proc/meminfo: memFree=28268164/32872528 swapFree=1102192/1183952
[pid=12956] ppid=12953 vsize=1316420 CPUtime=1481.75 cores=1,3,5,7
/proc/12956/stat : 12956 (toysat) R 12953 12956 11495 0 -1 4202496 270603 0 0 0 148112 63 0 0 20 0 4 0 10506428 1348014080 270714 33554432000 4194304 16246674 140733687306704 140733687289704 5822484 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/12956/statm: 329105 270714 788 2943 0 325999 0
[pid=12956/tid=12957] ppid=12953 vsize=1316420 CPUtime=0 cores=1,3,5,7
/proc/12956/task/12957/stat : 12957 (toysat) S 12953 12956 11495 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 10506428 1348014080 270714 33554432000 4194304 16246674 140733687306704 140282990406896 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=12956/tid=12958] ppid=12953 vsize=1316420 CPUtime=0 cores=1,3,5,7
/proc/12956/task/12958/stat : 12958 (toysat) S 12953 12956 11495 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 10506428 1348014080 270714 33554432000 4194304 16246674 140733687306704 140282979917040 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=12956/tid=12959] ppid=12953 vsize=1316420 CPUtime=0 cores=1,3,5,7
/proc/12956/task/12959/stat : 12959 (toysat) S 12953 12956 11495 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 10506428 1348014080 270714 33554432000 4194304 16246674 140733687306704 140282892905648 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1481.75
Current children cumulated vsize (KiB) 1316420

[startup+1542.31 s]
/proc/loadavg: 2.16 2.18 2.12 3/183 13097
/proc/meminfo: memFree=28268064/32872528 swapFree=1102192/1183952
[pid=12956] ppid=12953 vsize=1316420 CPUtime=1541.75 cores=1,3,5,7
/proc/12956/stat : 12956 (toysat) R 12953 12956 11495 0 -1 4202496 270603 0 0 0 154111 64 0 0 20 0 4 0 10506428 1348014080 270714 33554432000 4194304 16246674 140733687306704 140733687289704 13193684 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/12956/statm: 329105 270714 788 2943 0 325999 0
[pid=12956/tid=12957] ppid=12953 vsize=1316420 CPUtime=0 cores=1,3,5,7
/proc/12956/task/12957/stat : 12957 (toysat) S 12953 12956 11495 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 10506428 1348014080 270714 33554432000 4194304 16246674 140733687306704 140282990406896 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=12956/tid=12958] ppid=12953 vsize=1316420 CPUtime=0 cores=1,3,5,7
/proc/12956/task/12958/stat : 12958 (toysat) S 12953 12956 11495 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 10506428 1348014080 270714 33554432000 4194304 16246674 140733687306704 140282979917040 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=12956/tid=12959] ppid=12953 vsize=1316420 CPUtime=0 cores=1,3,5,7
/proc/12956/task/12959/stat : 12959 (toysat) S 12953 12956 11495 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 10506428 1348014080 270714 33554432000 4194304 16246674 140733687306704 140282892905648 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1541.75
Current children cumulated vsize (KiB) 1316420

[startup+1602.3 s]
/proc/loadavg: 2.06 2.15 2.11 3/183 13099
/proc/meminfo: memFree=28267844/32872528 swapFree=1102192/1183952
[pid=12956] ppid=12953 vsize=1316420 CPUtime=1601.73 cores=1,3,5,7
/proc/12956/stat : 12956 (toysat) R 12953 12956 11495 0 -1 4202496 270603 0 0 0 160109 64 0 0 20 0 4 0 10506428 1348014080 270714 33554432000 4194304 16246674 140733687306704 140733687288576 5666924 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/12956/statm: 329105 270714 788 2943 0 325999 0
[pid=12956/tid=12957] ppid=12953 vsize=1316420 CPUtime=0 cores=1,3,5,7
/proc/12956/task/12957/stat : 12957 (toysat) S 12953 12956 11495 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 10506428 1348014080 270714 33554432000 4194304 16246674 140733687306704 140282990406896 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=12956/tid=12958] ppid=12953 vsize=1316420 CPUtime=0 cores=1,3,5,7
/proc/12956/task/12958/stat : 12958 (toysat) S 12953 12956 11495 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 10506428 1348014080 270714 33554432000 4194304 16246674 140733687306704 140282979917040 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=12956/tid=12959] ppid=12953 vsize=1316420 CPUtime=0 cores=1,3,5,7
/proc/12956/task/12959/stat : 12959 (toysat) S 12953 12956 11495 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 10506428 1348014080 270714 33554432000 4194304 16246674 140733687306704 140282892905648 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1601.73
Current children cumulated vsize (KiB) 1316420

[startup+1662.3 s]
/proc/loadavg: 2.27 2.19 2.12 3/183 13100
/proc/meminfo: memFree=28267600/32872528 swapFree=1102192/1183952
[pid=12956] ppid=12953 vsize=1316420 CPUtime=1661.73 cores=1,3,5,7
/proc/12956/stat : 12956 (toysat) R 12953 12956 11495 0 -1 4202496 270603 0 0 0 166107 66 0 0 20 0 4 0 10506428 1348014080 270714 33554432000 4194304 16246674 140733687306704 140733687289704 5823230 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/12956/statm: 329105 270714 788 2943 0 325999 0
[pid=12956/tid=12957] ppid=12953 vsize=1316420 CPUtime=0 cores=1,3,5,7
/proc/12956/task/12957/stat : 12957 (toysat) S 12953 12956 11495 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 10506428 1348014080 270714 33554432000 4194304 16246674 140733687306704 140282990406896 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=12956/tid=12958] ppid=12953 vsize=1316420 CPUtime=0 cores=1,3,5,7
/proc/12956/task/12958/stat : 12958 (toysat) S 12953 12956 11495 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 10506428 1348014080 270714 33554432000 4194304 16246674 140733687306704 140282979917040 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=12956/tid=12959] ppid=12953 vsize=1316420 CPUtime=0 cores=1,3,5,7
/proc/12956/task/12959/stat : 12959 (toysat) S 12953 12956 11495 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 10506428 1348014080 270714 33554432000 4194304 16246674 140733687306704 140282892905648 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1661.73
Current children cumulated vsize (KiB) 1316420

[startup+1722.3 s]
/proc/loadavg: 2.16 2.17 2.11 3/183 13101
/proc/meminfo: memFree=28267620/32872528 swapFree=1102192/1183952
[pid=12956] ppid=12953 vsize=1316420 CPUtime=1721.71 cores=1,3,5,7
/proc/12956/stat : 12956 (toysat) R 12953 12956 11495 0 -1 4202496 270603 0 0 0 172105 66 0 0 20 0 4 0 10506428 1348014080 270714 33554432000 4194304 16246674 140733687306704 140733687288576 12874961 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/12956/statm: 329105 270714 788 2943 0 325999 0
[pid=12956/tid=12957] ppid=12953 vsize=1316420 CPUtime=0 cores=1,3,5,7
/proc/12956/task/12957/stat : 12957 (toysat) S 12953 12956 11495 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 10506428 1348014080 270714 33554432000 4194304 16246674 140733687306704 140282990406896 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=12956/tid=12958] ppid=12953 vsize=1316420 CPUtime=0 cores=1,3,5,7
/proc/12956/task/12958/stat : 12958 (toysat) S 12953 12956 11495 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 10506428 1348014080 270714 33554432000 4194304 16246674 140733687306704 140282979917040 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=12956/tid=12959] ppid=12953 vsize=1316420 CPUtime=0 cores=1,3,5,7
/proc/12956/task/12959/stat : 12959 (toysat) S 12953 12956 11495 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 10506428 1348014080 270714 33554432000 4194304 16246674 140733687306704 140282892905648 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1721.71
Current children cumulated vsize (KiB) 1316420

[startup+1782.3 s]
/proc/loadavg: 2.16 2.17 2.11 4/183 13102
/proc/meminfo: memFree=28265120/32872528 swapFree=1102192/1183952
[pid=12956] ppid=12953 vsize=1318468 CPUtime=1781.7 cores=1,3,5,7
/proc/12956/stat : 12956 (toysat) R 12953 12956 11495 0 -1 4202496 271115 0 0 0 178104 66 0 0 20 0 4 0 10506428 1350111232 271226 33554432000 4194304 16246674 140733687306704 140733687288576 5546177 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/12956/statm: 329617 271226 788 2943 0 326511 0
[pid=12956/tid=12957] ppid=12953 vsize=1318468 CPUtime=0 cores=1,3,5,7
/proc/12956/task/12957/stat : 12957 (toysat) S 12953 12956 11495 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 10506428 1350111232 271226 33554432000 4194304 16246674 140733687306704 140282990406896 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=12956/tid=12958] ppid=12953 vsize=1318468 CPUtime=0 cores=1,3,5,7
/proc/12956/task/12958/stat : 12958 (toysat) S 12953 12956 11495 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 10506428 1350111232 271226 33554432000 4194304 16246674 140733687306704 140282979917040 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=12956/tid=12959] ppid=12953 vsize=1318468 CPUtime=0 cores=1,3,5,7
/proc/12956/task/12959/stat : 12959 (toysat) S 12953 12956 11495 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 10506428 1350111232 271226 33554432000 4194304 16246674 140733687306704 140282892905648 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1781.7
Current children cumulated vsize (KiB) 1318468



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.6 s]
/proc/loadavg: 2.25 2.19 2.12 3/183 13102
/proc/meminfo: memFree=28265704/32872528 swapFree=1102192/1183952
[pid=12956] ppid=12953 vsize=1318468 CPUtime=1800.01 cores=1,3,5,7
/proc/12956/stat : 12956 (toysat) R 12953 12956 11495 0 -1 4202496 271115 0 0 0 179934 67 0 0 20 0 4 0 10506428 1350111232 271226 33554432000 4194304 16246674 140733687306704 140733687289704 5822484 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/12956/statm: 329617 271226 788 2943 0 326511 0
[pid=12956/tid=12957] ppid=12953 vsize=1318468 CPUtime=0 cores=1,3,5,7
/proc/12956/task/12957/stat : 12957 (toysat) S 12953 12956 11495 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 10506428 1350111232 271226 33554432000 4194304 16246674 140733687306704 140282990406896 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=12956/tid=12958] ppid=12953 vsize=1318468 CPUtime=0 cores=1,3,5,7
/proc/12956/task/12958/stat : 12958 (toysat) S 12953 12956 11495 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 10506428 1350111232 271226 33554432000 4194304 16246674 140733687306704 140282979917040 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=12956/tid=12959] ppid=12953 vsize=1318468 CPUtime=0 cores=1,3,5,7
/proc/12956/task/12959/stat : 12959 (toysat) S 12953 12956 11495 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 10506428 1350111232 271226 33554432000 4194304 16246674 140733687306704 140282892905648 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1800.01
Current children cumulated vsize (KiB) 1318468

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

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

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.35
system time used= 0.671897
maximum resident set size= 1084904
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 271115
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= 488
involuntary context switches= 1959

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 4.46832 second user time and 7.06293 second system time

The end

Begin job on node115 at 2016-06-30 21:26:12
IDJOB=4121514
IDBENCH=110533
IDSOLVER=2542
FILE ID=node115/4121514-1467314772
RUNJOBID= node115-1467308742-11512
PBS_JOBID= 20005276
Free space on /tmp= 71648 MiB

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

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

MD5SUM BENCH= d9c210eaf4a7cd2925a54072bba639a8
RANDOM SEED=398630013

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

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2667.087
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.087
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:        29355584 kB
Buffers:          158784 kB
Cached:           343856 kB
SwapCached:            0 kB
Active:          1369036 kB
Inactive:         219908 kB
Active(anon):    1082340 kB
Inactive(anon):     6556 kB
Active(file):     286696 kB
Inactive(file):   213352 kB
Unevictable:     1183952 kB
Mlocked:         1102192 kB
SwapTotal:      67108856 kB
SwapFree:       67108856 kB
Dirty:             32936 kB
Writeback:             0 kB
AnonPages:       2308912 kB
Mapped:            17100 kB
Shmem:               204 kB
Slab:             607592 kB
SReclaimable:      51864 kB
SUnreclaim:       555728 kB
KernelStack:        1520 kB
PageTables:         8488 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    2404540 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:    129024 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= 71632 MiB
End job on node115 at 2016-06-30 21:56:13