0.00/0.00	c 2016-06-30T21:51:26+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-4122122-1467316286.opb"]
0.00/0.01	c use --random-gen="2304478546 3031821207 821736932 1399453494 473690118 4215326406 1167113661 2504823435 4132890184 530965725 3168793021 436521034 1063771023 859745565 2018922350 3392173277 1050217603 1278081247 978580392 801278663 2443899276 3316478153 3589695513 3874023979 4248190453 1509776025 2565132948 763831528 3541930267 56583788 2739800152 2548493194 2187481302 3845133170 4165113436 1694443835 1248028412 3183790810 752958890 4139728460 2943603195 1921743574 2275243270 1028025613 3008603836 1094070853 3266805901 1928166414 3288064750 3323295764 3758395319 807806493 1279919414 605005776 3012448760 3073417472 4030408902 3722247257 2647406125 90484783 396507506 1334730619 962775309 2722517509 1138230029 1762112129 546982234 1902263107 280273372 2182145343 3080816973 3008938183 3961115156 2791524013 358259924 2686291886 3394460067 3595711487 3112985831 2594425100 3240196780 4010425762 237818692 1701124111 1938034202 2385057114 446718577 115343733 2231689065 4235489356 402589430 1906196540 3265651377 1951279931 720462912 4248525034 2285046749 343116017 3577109241 4220429177 284488150 4277838810 1372576985 3736078005 179866939 1038842404 3888290557 2108392885 3613273014 1190580349 2213659458 3342820841 2865828717 22695869 1194675498 410444647 2656374950 2060366577 2121357355 2226001007 4060635796 3836769580 2204561394 2049210307 1985264693 850862334 3270954703 1843816399 2277675732 1097433529 1714364067 3823889455 963819885 2133574382 567543564 714386264 4121309522 2286493356 2817879651 1557335152 3607637717 1432516496 2569598409 209918509 4261946878 3847409867 3606004432 142809171 1642682334 3628713666 1869024268 3797341929 3363430645 539068255 255281801 1042311625 141225604 3852238768 4258066852 2342989245 3910035698 4158522285 239807297 2290343470 540654370 3732250461 1474269390 814230662 126132084 1902029488 1462341654 4080906328 1202017570 1906420498 1799277843 3266161619 1003768561 340783175 3004369148 3012838686 3684331042 1828617770 4190390879 3600720317 451224981 2842507741 2805159891 1833021016 2732005567 3916433276 931366190 2852443395 703700974 3945872440 2941828058 369007138 290642481 3705861400 361791082 3096990768 3140592648 492737723 1696950003 792139286 1716375550 295468555 3611384879 3334014751 4215376137 3826982337 3433489011 3623061554 1984247571 939206878 2525363116 3871481031 1585890891 4017381317 3395856362 3132071706 1203505020 1273528061 662720390 4047956788 2265855321 3661245385 1208817035 2827950977 1490035385 1238113435 645450408 1481659832 4224889268 2347162976 3768772385 3590677896 3086629461 3976781948 1537781176 911060730 549505902 1649725479 4170894931 3865355858 1344736750 396628665 2572539837 2107645804 670381234 3054713644 822688247 2893231407 2570960035 777185199 4007571931 888421278 255 362436" option to reproduce the execution
0.00/0.01	c #vars 305
0.00/0.01	c #constraints 304
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 |      203      0 |        0 |        0
0.00/0.03	c  0.0s |       1 |      204 |      100 |      203      0 |        0 |        0
0.00/0.04	c  0.0s |       2 |      500 |      250 |      224      0 |        0 |        0
0.00/0.07	c  0.0s |       3 |      845 |      475 |      247      1 |        0 |        0
0.09/0.10	c  0.1s |       4 |     1420 |      813 |      272      3 |        0 |        0
0.09/0.15	c  0.1s |       5 |     2227 |     1320 |      300      5 |        0 |        0
0.19/0.24	c  0.2s |       6 |     3275 |     2081 |      364      8 |        0 |        0
0.29/0.36	c  0.3s |       7 |     5015 |     3223 |      401     13 |        0 |        0
0.49/0.55	c  0.5s |       8 |     7264 |     4936 |      442     18 |        0 |        0
0.79/0.84	c  0.8s |       9 |    10932 |     7506 |      487     28 |        0 |        0
1.19/1.25	c  1.2s |      10 |    16094 |    11361 |      536     39 |        0 |        0
1.69/1.74	c  1.7s |      11 |    23983 |    17144 |      590     54 |        0 |        0
2.49/2.50	c  2.5s |      12 |    35755 |    25819 |      649     80 |        0 |        0
3.69/3.79	c  3.8s |      13 |    52379 |    38832 |      714    110 |        0 |        0
5.59/5.65	c  5.6s |      14 |    77257 |    58352 |      786    156 |        0 |        0
7.58/7.65	c  7.6s |      14 |   104761 |    79452 |      786    203 |        0 |        0
8.28/8.39	c  8.4s |      15 |   115213 |    87632 |      865    221 |        0 |        0
10.38/10.40	c 10.4s |      15 |   143336 |   107732 |      865    261 |        0 |        0
12.38/12.41	c 12.4s |      15 |   168503 |   126832 |      865    300 |        0 |        0
12.88/12.91	c 12.9s |      16 |   175338 |   131552 |      952    309 |        0 |        0
14.88/14.91	c 14.9s |      16 |   197607 |   149052 |      952    340 |        0 |        0
16.89/16.92	c 16.9s |      16 |   223974 |   168752 |      952    375 |        0 |        0
18.89/18.93	c 18.9s |      16 |   250859 |   188652 |      952    410 |        0 |        0
19.80/19.82	c 19.8s |      17 |   262347 |   197432 |     1048    425 |        0 |        0
21.79/21.82	c 21.8s |      17 |   287329 |   216432 |     1048    457 |        0 |        0
23.79/23.83	c 23.8s |      17 |   311270 |   234232 |     1048    486 |        0 |        0
25.79/25.84	c 25.8s |      17 |   337518 |   253532 |     1048    518 |        0 |        0
27.79/27.84	c 27.8s |      17 |   363366 |   273232 |     1048    551 |        0 |        0
29.79/29.85	c 29.8s |      17 |   386673 |   291232 |     1048    581 |        0 |        0
30.39/30.44	c 30.4s |      18 |   392994 |   296252 |     1153    589 |        0 |        0
32.39/32.44	c 32.4s |      18 |   416740 |   314252 |     1153    617 |        0 |        0
34.38/34.45	c 34.4s |      18 |   440248 |   332252 |     1153    644 |        0 |        0
36.39/36.45	c 36.4s |      18 |   465243 |   350952 |     1153    672 |        0 |        0
38.38/38.45	c 38.4s |      18 |   490598 |   369552 |     1153    701 |        0 |        0
40.38/40.46	c 40.4s |      18 |   515255 |   388052 |     1153    729 |        0 |        0
42.38/42.46	c 42.4s |      18 |   538983 |   406052 |     1153    756 |        0 |        0
44.38/44.47	c 44.5s |      18 |   561365 |   423552 |     1153    783 |        0 |        0
46.39/46.48	c 46.5s |      18 |   585120 |   441352 |     1269    809 |        0 |        0
46.79/46.86	c 46.8s |      19 |   589324 |   444482 |     1269    814 |        0 |        0
48.78/48.87	c 48.9s |      19 |   611979 |   461682 |     1269    838 |        0 |        0
50.78/50.87	c 50.9s |      19 |   632331 |   477982 |     1269    860 |        0 |        0
52.79/52.87	c 52.9s |      19 |   649717 |   492582 |     1269    880 |        0 |        0
54.78/54.87	c 54.9s |      19 |   669718 |   508382 |     1269    902 |        0 |        0
56.78/56.89	c 56.9s |      19 |   691211 |   524782 |     1269    925 |        0 |        0
58.78/58.90	c 58.9s |      19 |   714936 |   542682 |     1269    950 |        0 |        0
60.88/60.91	c 60.9s |      19 |   739651 |   561182 |     1269    976 |        0 |        0
62.88/62.91	c 62.9s |      19 |   762503 |   579282 |     1269   1001 |        0 |        0
64.88/64.91	c 64.9s |      19 |   784077 |   596382 |     1269   1024 |        0 |        0
66.88/66.93	c 66.9s |      19 |   806110 |   613182 |     1269   1047 |        0 |        0
68.88/68.93	c 68.9s |      19 |   831593 |   631982 |     1269   1073 |        0 |        0
70.88/70.94	c 70.9s |      19 |   854336 |   649882 |     1269   1098 |        0 |        0
72.77/72.82	c 72.8s |      20 |   875908 |   666827 |     1396   1121 |        0 |        0
74.78/74.82	c 74.8s |      20 |   901065 |   685027 |     1396   1145 |        0 |        0
76.77/76.83	c 76.8s |      20 |   922936 |   702027 |     1396   1166 |        0 |        0
78.77/78.83	c 78.8s |      20 |   944244 |   718127 |     1396   1187 |        0 |        0
80.77/80.84	c 80.8s |      20 |   968838 |   736427 |     1396   1210 |        0 |        0
82.77/82.84	c 82.8s |      20 |   991822 |   754127 |     1396   1233 |        0 |        0
84.78/84.85	c 84.8s |      20 |  1013901 |   771327 |     1396   1255 |        0 |        0
86.77/86.86	c 86.8s |      20 |  1036125 |   788827 |     1396   1277 |        0 |        0
88.77/88.86	c 88.8s |      20 |  1059532 |   806227 |     1396   1300 |        0 |        0
90.77/90.86	c 90.8s |      20 |  1084493 |   824827 |     1396   1324 |        0 |        0
92.78/92.87	c 92.9s |      20 |  1107101 |   841727 |     1396   1345 |        0 |        0
94.78/94.88	c 94.9s |      20 |  1126865 |   856727 |     1396   1365 |        0 |        0
96.78/96.88	c 96.9s |      20 |  1148455 |   873227 |     1396   1386 |        0 |        0
98.78/98.89	c 98.9s |      20 |  1170541 |   889827 |     1396   1407 |        0 |        0
100.88/100.90	c  100s |      20 |  1191887 |   906227 |     1396   1428 |        0 |        0
102.87/102.90	c  102s |      20 |  1214716 |   922827 |     1396   1450 |        0 |        0
104.87/104.90	c  104s |      20 |  1237346 |   939627 |     1396   1471 |        0 |        0
106.87/106.91	c  106s |      20 |  1261478 |   956727 |     1396   1493 |        0 |        0
108.88/108.91	c  108s |      20 |  1283330 |   973527 |     1396   1515 |        0 |        0
110.87/110.91	c  110s |      20 |  1303978 |   989427 |     1396   1535 |        0 |        0
112.18/112.28	c  112s |      21 |  1318996 |  1000345 |     1536   1549 |        0 |        0
114.17/114.29	c  114s |      21 |  1339371 |  1016445 |     1536   1567 |        0 |        0
116.17/116.29	c  116s |      21 |  1360417 |  1032545 |     1536   1586 |        0 |        0
118.27/118.31	c  118s |      21 |  1381624 |  1049345 |     1536   1606 |        0 |        0
120.27/120.31	c  120s |      21 |  1402291 |  1065445 |     1536   1624 |        0 |        0
122.27/122.31	c  122s |      21 |  1422333 |  1081645 |     1536   1643 |        0 |        0
124.27/124.32	c  124s |      21 |  1442959 |  1098045 |     1536   1662 |        0 |        0
126.27/126.32	c  126s |      21 |  1465125 |  1115245 |     1536   1682 |        0 |        0
128.27/128.32	c  128s |      21 |  1488157 |  1132545 |     1536   1703 |        0 |        0
130.27/130.33	c  130s |      21 |  1510131 |  1149345 |     1536   1723 |        0 |        0
132.27/132.33	c  132s |      21 |  1530919 |  1165545 |     1536   1742 |        0 |        0
134.28/134.34	c  134s |      21 |  1550145 |  1180645 |     1536   1759 |        0 |        0
136.27/136.34	c  136s |      21 |  1571226 |  1196445 |     1536   1778 |        0 |        0
138.27/138.35	c  138s |      21 |  1592823 |  1213345 |     1536   1798 |        0 |        0
140.27/140.36	c  140s |      21 |  1614835 |  1229945 |     1536   1818 |        0 |        0
142.27/142.37	c  142s |      21 |  1636289 |  1246345 |     1536   1837 |        0 |        0
144.27/144.37	c  144s |      21 |  1658042 |  1262645 |     1536   1856 |        0 |        0
146.28/146.37	c  146s |      21 |  1681621 |  1280145 |     1536   1877 |        0 |        0
148.27/148.37	c  148s |      21 |  1702841 |  1296245 |     1536   1896 |        0 |        0
150.27/150.37	c  150s |      21 |  1723110 |  1312245 |     1536   1914 |        0 |        0
152.27/152.38	c  152s |      21 |  1745352 |  1328945 |     1536   1934 |        0 |        0
154.27/154.39	c  154s |      21 |  1766917 |  1345345 |     1536   1953 |        0 |        0
156.27/156.39	c  156s |      21 |  1787403 |  1361345 |     1536   1972 |        0 |        0
158.27/158.40	c  158s |      21 |  1809041 |  1377645 |     1536   1991 |        0 |        0
160.37/160.41	c  160s |      21 |  1830028 |  1393445 |     1536   2009 |        0 |        0
162.37/162.42	c  162s |      21 |  1849914 |  1408845 |     1536   2027 |        0 |        0
164.37/164.42	c  164s |      21 |  1869243 |  1423645 |     1536   2045 |        0 |        0
166.36/166.42	c  166s |      21 |  1886872 |  1438045 |     1536   2062 |        0 |        0
168.37/168.42	c  168s |      21 |  1907784 |  1453845 |     1536   2080 |        0 |        0
170.36/170.43	c  170s |      21 |  1929430 |  1469945 |     1536   2099 |        0 |        0
172.36/172.44	c  172s |      21 |  1951530 |  1486645 |     1536   2119 |        0 |        0
174.16/174.23	c  174s |      22 |  1970093 |  1500622 |     1690   2134 |        0 |        0
176.16/176.24	c  176s |      22 |  1988592 |  1515422 |     1690   2150 |        0 |        0
178.17/178.25	c  178s |      22 |  2006623 |  1530022 |     1690   2166 |        0 |        0
180.16/180.26	c  180s |      22 |  2024895 |  1544622 |     1690   2182 |        0 |        0
182.16/182.27	c  182s |      22 |  2042869 |  1558922 |     1690   2198 |        0 |        0
184.16/184.27	c  184s |      22 |  2061948 |  1574222 |     1690   2214 |        0 |        0
186.16/186.28	c  186s |      22 |  2081642 |  1589422 |     1690   2231 |        0 |        0
188.16/188.28	c  188s |      22 |  2101899 |  1604922 |     1690   2248 |        0 |        0
190.16/190.30	c  190s |      22 |  2122648 |  1620622 |     1690   2265 |        0 |        0
192.26/192.30	c  192s |      22 |  2145350 |  1637522 |     1690   2283 |        0 |        0
194.26/194.31	c  194s |      22 |  2169131 |  1655222 |     1690   2302 |        0 |        0
196.26/196.31	c  196s |      22 |  2190906 |  1671422 |     1690   2320 |        0 |        0
198.26/198.33	c  198s |      22 |  2211577 |  1687522 |     1690   2337 |        0 |        0
200.27/200.33	c  200s |      22 |  2231927 |  1703222 |     1690   2354 |        0 |        0
202.26/202.34	c  202s |      22 |  2251661 |  1718622 |     1690   2371 |        0 |        0
204.26/204.35	c  204s |      22 |  2271607 |  1734022 |     1690   2388 |        0 |        0
206.26/206.36	c  206s |      22 |  2293891 |  1750522 |     1690   2406 |        0 |        0
208.26/208.37	c  208s |      22 |  2310867 |  1764322 |     1690   2421 |        0 |        0
210.26/210.37	c  210s |      22 |  2331343 |  1779922 |     1690   2438 |        0 |        0
212.26/212.37	c  212s |      22 |  2350884 |  1794822 |     1690   2454 |        0 |        0
214.25/214.37	c  214s |      22 |  2371368 |  1810522 |     1690   2471 |        0 |        0
216.25/216.38	c  216s |      22 |  2392119 |  1826622 |     1690   2488 |        0 |        0
218.25/218.38	c  218s |      22 |  2411066 |  1841622 |     1690   2505 |        0 |        0
220.25/220.39	c  220s |      22 |  2431748 |  1857322 |     1690   2522 |        0 |        0
222.36/222.40	c  222s |      22 |  2453647 |  1873922 |     1690   2540 |        0 |        0
224.37/224.41	c  224s |      22 |  2475674 |  1891022 |     1690   2558 |        0 |        0
226.36/226.41	c  226s |      22 |  2495151 |  1906622 |     1690   2575 |        0 |        0
228.36/228.43	c  228s |      22 |  2518273 |  1923922 |     1690   2594 |        0 |        0
230.36/230.43	c  230s |      22 |  2542185 |  1942022 |     1690   2614 |        0 |        0
232.36/232.43	c  232s |      22 |  2563283 |  1958422 |     1690   2632 |        0 |        0
234.36/234.43	c  234s |      22 |  2586560 |  1976122 |     1690   2651 |        0 |        0
236.36/236.44	c  236s |      22 |  2608718 |  1993222 |     1690   2670 |        0 |        0
238.36/238.45	c  238s |      22 |  2628753 |  2008322 |     1690   2686 |        0 |        0
240.36/240.46	c  240s |      22 |  2650263 |  2024222 |     1690   2703 |        0 |        0
242.36/242.46	c  242s |      22 |  2670707 |  2040022 |     1690   2720 |        0 |        0
244.35/244.47	c  244s |      22 |  2691165 |  2055922 |     1690   2738 |        0 |        0
246.36/246.47	c  246s |      22 |  2712863 |  2072522 |     1690   2756 |        0 |        0
248.35/248.47	c  248s |      22 |  2735170 |  2089822 |     1690   2774 |        0 |        0
250.35/250.48	c  250s |      22 |  2755410 |  2104922 |     1690   2791 |        0 |        0
252.35/252.49	c  252s |      22 |  2775672 |  2120622 |     1690   2808 |        0 |        0
254.35/254.49	c  254s |      22 |  2797199 |  2137022 |     1690   2826 |        0 |        0
256.45/256.50	c  256s |      22 |  2817966 |  2153322 |     1690   2844 |        0 |        0
258.46/258.51	c  258s |      22 |  2840830 |  2170622 |     1690   2862 |        0 |        0
260.45/260.51	c  260s |      22 |  2862738 |  2187122 |     1690   2880 |        0 |        0
262.45/262.51	c  262s |      22 |  2884156 |  2203622 |     1690   2898 |        0 |        0
264.45/264.52	c  264s |      22 |  2904604 |  2219422 |     1690   2915 |        0 |        0
266.45/266.53	c  266s |      22 |  2925435 |  2235422 |     1860   2933 |        0 |        0
268.45/268.52	c  268s |      23 |  2945324 |  2251038 |     1860   2948 |        0 |        0
270.45/270.52	c  270s |      23 |  2961416 |  2264338 |     1860   2961 |        0 |        0
272.45/272.53	c  272s |      23 |  2979391 |  2278438 |     1860   2975 |        0 |        0
274.45/274.54	c  274s |      23 |  2998822 |  2293638 |     1860   2990 |        0 |        0
276.45/276.54	c  276s |      23 |  3017270 |  2307938 |     1860   3004 |        0 |        0
278.44/278.55	c  278s |      23 |  3037152 |  2322838 |     1860   3019 |        0 |        0
280.45/280.56	c  280s |      23 |  3056335 |  2337538 |     1860   3033 |        0 |        0
282.44/282.57	c  282s |      23 |  3074912 |  2351738 |     1860   3047 |        0 |        0
284.44/284.57	c  284s |      23 |  3094685 |  2366638 |     1860   3062 |        0 |        0
286.44/286.58	c  286s |      23 |  3114893 |  2381538 |     1860   3077 |        0 |        0
288.44/288.59	c  288s |      23 |  3136046 |  2397238 |     1860   3092 |        0 |        0
290.45/290.59	c  290s |      23 |  3156981 |  2413038 |     1860   3107 |        0 |        0
292.44/292.60	c  292s |      23 |  3177974 |  2428238 |     1860   3122 |        0 |        0
294.54/294.61	c  294s |      23 |  3198446 |  2443438 |     1860   3138 |        0 |        0
296.54/296.61	c  296s |      23 |  3217955 |  2458438 |     1860   3153 |        0 |        0
298.55/298.62	c  298s |      23 |  3236452 |  2472938 |     1860   3167 |        0 |        0
300.55/300.63	c  300s |      23 |  3255987 |  2487638 |     1860   3182 |        0 |        0
302.55/302.63	c  302s |      23 |  3277981 |  2503438 |     1860   3197 |        0 |        0
304.55/304.64	c  304s |      23 |  3301197 |  2519538 |     1860   3213 |        0 |        0
306.55/306.65	c  306s |      23 |  3323081 |  2535438 |     1860   3229 |        0 |        0
308.54/308.66	c  308s |      23 |  3345567 |  2551238 |     1860   3245 |        0 |        0
310.54/310.66	c  310s |      23 |  3366724 |  2566438 |     1860   3259 |        0 |        0
312.54/312.67	c  312s |      23 |  3385808 |  2581238 |     1860   3274 |        0 |        0
314.55/314.68	c  314s |      23 |  3407833 |  2597638 |     1860   3290 |        0 |        0
316.54/316.68	c  316s |      23 |  3428328 |  2613038 |     1860   3306 |        0 |        0
318.54/318.68	c  318s |      23 |  3447720 |  2627738 |     1860   3320 |        0 |        0
320.54/320.69	c  320s |      23 |  3466602 |  2642538 |     1860   3335 |        0 |        0
322.54/322.69	c  322s |      23 |  3486735 |  2658238 |     1860   3350 |        0 |        0
324.55/324.69	c  324s |      23 |  3508973 |  2674838 |     1860   3367 |        0 |        0
326.54/326.69	c  326s |      23 |  3529910 |  2690738 |     1860   3383 |        0 |        0
328.64/328.70	c  328s |      23 |  3549551 |  2705938 |     1860   3398 |        0 |        0
330.64/330.71	c  330s |      23 |  3570093 |  2721038 |     1860   3413 |        0 |        0
332.64/332.71	c  332s |      23 |  3591472 |  2736538 |     1860   3428 |        0 |        0
334.63/334.71	c  334s |      23 |  3609600 |  2750338 |     1860   3442 |        0 |        0
336.64/336.71	c  336s |      23 |  3630122 |  2765038 |     1860   3456 |        0 |        0
338.63/338.72	c  338s |      23 |  3651421 |  2781038 |     1860   3472 |        0 |        0
340.63/340.74	c  340s |      23 |  3672084 |  2796438 |     1860   3488 |        0 |        0
342.64/342.75	c  342s |      23 |  3692184 |  2811738 |     1860   3503 |        0 |        0
344.64/344.76	c  344s |      23 |  3712968 |  2827338 |     1860   3518 |        0 |        0
346.64/346.76	c  346s |      23 |  3733289 |  2842938 |     1860   3534 |        0 |        0
348.65/348.76	c  348s |      23 |  3755343 |  2858938 |     1860   3549 |        0 |        0
350.64/350.77	c  350s |      23 |  3776419 |  2874538 |     1860   3565 |        0 |        0
352.64/352.78	c  352s |      23 |  3795931 |  2889438 |     1860   3580 |        0 |        0
354.64/354.78	c  354s |      23 |  3815343 |  2904238 |     1860   3594 |        0 |        0
356.64/356.79	c  356s |      23 |  3835619 |  2919138 |     1860   3609 |        0 |        0
358.74/358.80	c  358s |      23 |  3854540 |  2933438 |     1860   3623 |        0 |        0
360.64/360.80	c  360s |      23 |  3876152 |  2949038 |     1860   3639 |        0 |        0
362.74/362.81	c  362s |      23 |  3896901 |  2964538 |     1860   3654 |        0 |        0
364.74/364.82	c  364s |      23 |  3916523 |  2979838 |     1860   3669 |        0 |        0
366.73/366.83	c  366s |      23 |  3935151 |  2993938 |     1860   3683 |        0 |        0
368.73/368.83	c  368s |      23 |  3955233 |  3009038 |     1860   3697 |        0 |        0
370.74/370.84	c  370s |      23 |  3975149 |  3023938 |     1860   3712 |        0 |        0
372.73/372.84	c  372s |      23 |  3994044 |  3038338 |     1860   3726 |        0 |        0
374.73/374.84	c  374s |      23 |  4013557 |  3053138 |     1860   3741 |        0 |        0
376.73/376.85	c  376s |      23 |  4033776 |  3068438 |     1860   3756 |        0 |        0
378.73/378.85	c  378s |      23 |  4054312 |  3083738 |     1860   3771 |        0 |        0
380.73/380.87	c  380s |      23 |  4074005 |  3098938 |     1860   3786 |        0 |        0
382.74/382.88	c  382s |      23 |  4094067 |  3114438 |     1860   3801 |        0 |        0
384.73/384.89	c  384s |      23 |  4111477 |  3128438 |     1860   3815 |        0 |        0
386.73/386.89	c  386s |      23 |  4131462 |  3143238 |     1860   3830 |        0 |        0
388.83/388.90	c  388s |      23 |  4150196 |  3158038 |     1860   3844 |        0 |        0
390.83/390.91	c  390s |      23 |  4167972 |  3171838 |     1860   3858 |        0 |        0
392.83/392.91	c  392s |      23 |  4186374 |  3185838 |     1860   3872 |        0 |        0
394.84/394.92	c  394s |      23 |  4205450 |  3200238 |     1860   3886 |        0 |        0
396.83/396.92	c  396s |      23 |  4226565 |  3215438 |     1860   3901 |        0 |        0
398.83/398.93	c  398s |      23 |  4246965 |  3230538 |     1860   3916 |        0 |        0
400.83/400.94	c  400s |      23 |  4266861 |  3245438 |     1860   3931 |        0 |        0
402.83/402.95	c  402s |      23 |  4286708 |  3260138 |     1860   3946 |        0 |        0
404.84/404.96	c  404s |      23 |  4306726 |  3275238 |     1860   3961 |        0 |        0
406.83/406.96	c  406s |      23 |  4325276 |  3289738 |     1860   3975 |        0 |        0
408.83/408.97	c  408s |      23 |  4344573 |  3304438 |     1860   3990 |        0 |        0
410.83/410.97	c  410s |      23 |  4363834 |  3318738 |     1860   4004 |        0 |        0
412.82/412.98	c  412s |      23 |  4381778 |  3333238 |     1860   4018 |        0 |        0
414.82/414.99	c  414s |      23 |  4402621 |  3348638 |     1860   4033 |        0 |        0
416.83/416.99	c  416s |      23 |  4422766 |  3363638 |     2047   4047 |        0 |        0
418.52/418.69	c  418s |      24 |  4440986 |  3376662 |     2047   4059 |        0 |        0
420.52/420.69	c  420s |      24 |  4458451 |  3390062 |     2047   4071 |        0 |        0
422.62/422.70	c  422s |      24 |  4476852 |  3403962 |     2047   4083 |        0 |        0
424.53/424.70	c  424s |      24 |  4493148 |  3417162 |     2047   4095 |        0 |        0
426.63/426.70	c  426s |      24 |  4510351 |  3430862 |     2047   4108 |        0 |        0
428.63/428.71	c  428s |      24 |  4528506 |  3445062 |     2047   4120 |        0 |        0
430.63/430.72	c  430s |      24 |  4546342 |  3458662 |     2047   4133 |        0 |        0
432.63/432.73	c  432s |      24 |  4564225 |  3471962 |     2047   4145 |        0 |        0
434.63/434.74	c  434s |      24 |  4582542 |  3486162 |     2047   4158 |        0 |        0
436.63/436.75	c  436s |      24 |  4600589 |  3499662 |     2047   4170 |        0 |        0
438.63/438.75	c  438s |      24 |  4618191 |  3512962 |     2047   4182 |        0 |        0
440.63/440.76	c  440s |      24 |  4636618 |  3526762 |     2047   4194 |        0 |        0
442.63/442.76	c  442s |      24 |  4654722 |  3540662 |     2047   4207 |        0 |        0
444.62/444.77	c  444s |      24 |  4672865 |  3554362 |     2047   4219 |        0 |        0
446.63/446.77	c  446s |      24 |  4690717 |  3568062 |     2047   4232 |        0 |        0
448.62/448.78	c  448s |      24 |  4707696 |  3581762 |     2047   4244 |        0 |        0
450.62/450.79	c  450s |      24 |  4726200 |  3595962 |     2047   4257 |        0 |        0
452.72/452.80	c  452s |      24 |  4744915 |  3610262 |     2047   4270 |        0 |        0
454.72/454.80	c  454s |      24 |  4763876 |  3624462 |     2047   4283 |        0 |        0
456.72/456.82	c  456s |      24 |  4782438 |  3638462 |     2047   4295 |        0 |        0
458.73/458.82	c  458s |      24 |  4798405 |  3651662 |     2047   4307 |        0 |        0
460.72/460.84	c  460s |      24 |  4816342 |  3665362 |     2047   4319 |        0 |        0
462.72/462.85	c  462s |      24 |  4832737 |  3678262 |     2047   4331 |        0 |        0
464.72/464.85	c  464s |      24 |  4850281 |  3691662 |     2047   4343 |        0 |        0
466.72/466.85	c  466s |      24 |  4868778 |  3705762 |     2047   4356 |        0 |        0
468.72/468.86	c  468s |      24 |  4886562 |  3719862 |     2047   4369 |        0 |        0
470.72/470.87	c  470s |      24 |  4905107 |  3734262 |     2047   4382 |        0 |        0
472.72/472.88	c  472s |      24 |  4923579 |  3748462 |     2047   4395 |        0 |        0
474.71/474.89	c  474s |      24 |  4941316 |  3762462 |     2047   4407 |        0 |        0
476.71/476.90	c  476s |      24 |  4960087 |  3776762 |     2047   4420 |        0 |        0
478.81/478.91	c  478s |      24 |  4978093 |  3790662 |     2047   4433 |        0 |        0
480.81/480.92	c  480s |      24 |  4996421 |  3805062 |     2047   4446 |        0 |        0
482.82/482.93	c  482s |      24 |  5014279 |  3819062 |     2047   4458 |        0 |        0
484.82/484.93	c  484s |      24 |  5032519 |  3833662 |     2047   4472 |        0 |        0
486.82/486.94	c  486s |      24 |  5049650 |  3847462 |     2047   4484 |        0 |        0
488.82/488.96	c  488s |      24 |  5068028 |  3861662 |     2047   4497 |        0 |        0
490.82/490.97	c  490s |      24 |  5085603 |  3875462 |     2047   4509 |        0 |        0
492.83/492.98	c  492s |      24 |  5104520 |  3889962 |     2047   4523 |        0 |        0
494.82/494.98	c  494s |      24 |  5122981 |  3904062 |     2047   4535 |        0 |        0
496.92/497.00	c  496s |      24 |  5140816 |  3917962 |     2047   4548 |        0 |        0
498.92/499.01	c  498s |      24 |  5159987 |  3932462 |     2047   4561 |        0 |        0
500.92/501.01	c  500s |      24 |  5179154 |  3946962 |     2047   4574 |        0 |        0
502.92/503.02	c  503s |      24 |  5197950 |  3961262 |     2047   4587 |        0 |        0
504.92/505.03	c  505s |      24 |  5217716 |  3976262 |     2047   4601 |        0 |        0
506.92/507.03	c  507s |      24 |  5236118 |  3990862 |     2047   4614 |        0 |        0
508.91/509.03	c  509s |      24 |  5255290 |  4005962 |     2047   4628 |        0 |        0
510.91/511.04	c  511s |      24 |  5275628 |  4021262 |     2047   4641 |        0 |        0
512.91/513.04	c  513s |      24 |  5295911 |  4036662 |     2047   4655 |        0 |        0
514.91/515.05	c  515s |      24 |  5316744 |  4052362 |     2047   4670 |        0 |        0
516.92/517.06	c  517s |      24 |  5335100 |  4066862 |     2047   4683 |        0 |        0
518.91/519.08	c  519s |      24 |  5353002 |  4081062 |     2047   4696 |        0 |        0
520.91/521.09	c  521s |      24 |  5371643 |  4095662 |     2047   4709 |        0 |        0
522.91/523.09	c  523s |      24 |  5389773 |  4109362 |     2047   4721 |        0 |        0
525.01/525.10	c  525s |      24 |  5408516 |  4123562 |     2047   4734 |        0 |        0
527.01/527.11	c  527s |      24 |  5428500 |  4138362 |     2047   4748 |        0 |        0
529.02/529.11	c  529s |      24 |  5448135 |  4153162 |     2047   4761 |        0 |        0
531.01/531.12	c  531s |      24 |  5466600 |  4167762 |     2047   4774 |        0 |        0
533.01/533.13	c  533s |      24 |  5486513 |  4182462 |     2047   4788 |        0 |        0
535.00/535.15	c  535s |      24 |  5506571 |  4197562 |     2047   4801 |        0 |        0
537.00/537.15	c  537s |      24 |  5524478 |  4211362 |     2047   4814 |        0 |        0
539.01/539.16	c  539s |      24 |  5543354 |  4225562 |     2047   4827 |        0 |        0
541.00/541.17	c  541s |      24 |  5562958 |  4240262 |     2047   4840 |        0 |        0
543.00/543.18	c  543s |      24 |  5582121 |  4254962 |     2047   4853 |        0 |        0
545.00/545.18	c  545s |      24 |  5600900 |  4269662 |     2047   4867 |        0 |        0
547.00/547.19	c  547s |      24 |  5619585 |  4283762 |     2047   4879 |        0 |        0
549.10/549.20	c  549s |      24 |  5639254 |  4298462 |     2047   4893 |        0 |        0
551.11/551.20	c  551s |      24 |  5657987 |  4313062 |     2047   4906 |        0 |        0
553.09/553.22	c  553s |      24 |  5675769 |  4326962 |     2047   4919 |        0 |        0
555.09/555.24	c  555s |      24 |  5696562 |  4342262 |     2047   4932 |        0 |        0
557.10/557.24	c  557s |      24 |  5716031 |  4357262 |     2047   4946 |        0 |        0
559.10/559.25	c  559s |      24 |  5736140 |  4372462 |     2047   4960 |        0 |        0
561.10/561.26	c  561s |      24 |  5754764 |  4386562 |     2047   4973 |        0 |        0
563.10/563.27	c  563s |      24 |  5771902 |  4399562 |     2047   4985 |        0 |        0
565.10/565.28	c  565s |      24 |  5789235 |  4412762 |     2047   4997 |        0 |        0
567.09/567.29	c  567s |      24 |  5806435 |  4425862 |     2047   5009 |        0 |        0
569.19/569.30	c  569s |      24 |  5824699 |  4439362 |     2047   5021 |        0 |        0
571.19/571.31	c  571s |      24 |  5841470 |  4452362 |     2047   5033 |        0 |        0
573.19/573.32	c  573s |      24 |  5858169 |  4465462 |     2047   5045 |        0 |        0
575.20/575.33	c  575s |      24 |  5875664 |  4479162 |     2047   5057 |        0 |        0
577.19/577.34	c  577s |      24 |  5893902 |  4493162 |     2047   5070 |        0 |        0
579.19/579.36	c  579s |      24 |  5912479 |  4507662 |     2047   5084 |        0 |        0
581.18/581.36	c  581s |      24 |  5931149 |  4522062 |     2047   5097 |        0 |        0
583.18/583.37	c  583s |      24 |  5949714 |  4536062 |     2047   5110 |        0 |        0
585.19/585.37	c  585s |      24 |  5967126 |  4549862 |     2047   5122 |        0 |        0
587.18/587.38	c  587s |      24 |  5984732 |  4563862 |     2047   5135 |        0 |        0
589.18/589.38	c  589s |      24 |  6003730 |  4578862 |     2047   5149 |        0 |        0
591.18/591.39	c  591s |      24 |  6022909 |  4593862 |     2047   5163 |        0 |        0
593.27/593.40	c  593s |      24 |  6041170 |  4607962 |     2047   5175 |        0 |        0
595.27/595.41	c  595s |      24 |  6058844 |  4621762 |     2047   5188 |        0 |        0
597.28/597.41	c  597s |      24 |  6079159 |  4636862 |     2047   5202 |        0 |        0
599.27/599.42	c  599s |      24 |  6097819 |  4651562 |     2047   5216 |        0 |        0
601.27/601.42	c  601s |      24 |  6118685 |  4667062 |     2047   5230 |        0 |        0
603.27/603.42	c  603s |      24 |  6137753 |  4681862 |     2047   5243 |        0 |        0
605.28/605.43	c  605s |      24 |  6159184 |  4697462 |     2047   5258 |        0 |        0
607.27/607.44	c  607s |      24 |  6178936 |  4712562 |     2047   5272 |        0 |        0
609.28/609.46	c  609s |      24 |  6197335 |  4726662 |     2047   5285 |        0 |        0
611.27/611.47	c  611s |      24 |  6215168 |  4740262 |     2047   5297 |        0 |        0
613.27/613.48	c  613s |      24 |  6235479 |  4755162 |     2047   5311 |        0 |        0
615.27/615.49	c  615s |      24 |  6255667 |  4770162 |     2047   5324 |        0 |        0
617.37/617.50	c  617s |      24 |  6273888 |  4784262 |     2047   5337 |        0 |        0
619.37/619.51	c  619s |      24 |  6292200 |  4798462 |     2047   5350 |        0 |        0
621.37/621.51	c  621s |      24 |  6310338 |  4812062 |     2047   5363 |        0 |        0
623.36/623.53	c  623s |      24 |  6328935 |  4826262 |     2047   5376 |        0 |        0
625.36/625.54	c  625s |      24 |  6346198 |  4839762 |     2047   5388 |        0 |        0
627.36/627.54	c  627s |      24 |  6362779 |  4852862 |     2047   5400 |        0 |        0
629.36/629.54	c  629s |      24 |  6379024 |  4865862 |     2047   5412 |        0 |        0
631.37/631.55	c  631s |      24 |  6396090 |  4878862 |     2047   5424 |        0 |        0
633.35/633.55	c  633s |      24 |  6412384 |  4891962 |     2047   5436 |        0 |        0
635.35/635.56	c  635s |      24 |  6428147 |  4905062 |     2047   5448 |        0 |        0
637.35/637.56	c  637s |      24 |  6447574 |  4919662 |     2047   5461 |        0 |        0
639.35/639.57	c  639s |      24 |  6467614 |  4934762 |     2047   5475 |        0 |        0
641.35/641.57	c  641s |      24 |  6488750 |  4950562 |     2047   5489 |        0 |        0
643.35/643.58	c  643s |      24 |  6507187 |  4965162 |     2047   5503 |        0 |        0
645.35/645.59	c  645s |      24 |  6525148 |  4979562 |     2047   5516 |        0 |        0
647.45/647.60	c  647s |      24 |  6545483 |  4994862 |     2047   5530 |        0 |        0
649.45/649.61	c  649s |      24 |  6565999 |  5010562 |     2047   5544 |        0 |        0
651.45/651.61	c  651s |      24 |  6584741 |  5025562 |     2047   5558 |        0 |        0
653.45/653.62	c  653s |      24 |  6604558 |  5041062 |     2252   5571 |        0 |        0
655.45/655.63	c  655s |      24 |  6624933 |  5056562 |     2252   5584 |        0 |        0
656.55/656.79	c  656s |      25 |  6636096 |  5065098 |     2252   5591 |        0 |        0
658.54/658.79	c  658s |      25 |  6653801 |  5078898 |     2252   5603 |        0 |        0
660.64/660.81	c  660s |      25 |  6673370 |  5093398 |     2252   5615 |        0 |        0
662.64/662.81	c  662s |      25 |  6693522 |  5108498 |     2252   5627 |        0 |        0
664.64/664.82	c  664s |      25 |  6712229 |  5122798 |     2252   5639 |        0 |        0
666.64/666.83	c  666s |      25 |  6731648 |  5137398 |     2252   5651 |        0 |        0
668.65/668.84	c  668s |      25 |  6749611 |  5150598 |     2252   5662 |        0 |        0
670.64/670.85	c  670s |      25 |  6769035 |  5164998 |     2252   5674 |        0 |        0
672.64/672.86	c  672s |      25 |  6787219 |  5178998 |     2252   5685 |        0 |        0
674.64/674.87	c  674s |      25 |  6806195 |  5192998 |     2252   5697 |        0 |        0
676.64/676.88	c  676s |      25 |  6824705 |  5207098 |     2252   5708 |        0 |        0
678.65/678.89	c  678s |      25 |  6844276 |  5221698 |     2252   5720 |        0 |        0
680.64/680.90	c  680s |      25 |  6862445 |  5235798 |     2252   5732 |        0 |        0
682.74/682.90	c  682s |      25 |  6882029 |  5250198 |     2252   5744 |        0 |        0
684.74/684.90	c  684s |      25 |  6903018 |  5265498 |     2252   5757 |        0 |        0
686.74/686.91	c  686s |      25 |  6920844 |  5279898 |     2252   5768 |        0 |        0
688.73/688.91	c  688s |      25 |  6940956 |  5294798 |     2252   5781 |        0 |        0
690.74/690.93	c  690s |      25 |  6961880 |  5309698 |     2252   5793 |        0 |        0
692.73/692.93	c  692s |      25 |  6980170 |  5323598 |     2252   5804 |        0 |        0
694.73/694.94	c  694s |      25 |  6999729 |  5338298 |     2252   5817 |        0 |        0
696.73/696.95	c  696s |      25 |  7021536 |  5353798 |     2252   5829 |        0 |        0
698.73/698.96	c  698s |      25 |  7040101 |  5368098 |     2252   5841 |        0 |        0
700.73/700.97	c  700s |      25 |  7059766 |  5382698 |     2252   5853 |        0 |        0
702.73/702.97	c  702s |      25 |  7081244 |  5398098 |     2252   5866 |        0 |        0
704.72/704.98	c  704s |      25 |  7101630 |  5413398 |     2252   5879 |        0 |        0
706.72/706.99	c  706s |      25 |  7120577 |  5427798 |     2252   5891 |        0 |        0
708.82/709.00	c  708s |      25 |  7141195 |  5443098 |     2252   5903 |        0 |        0
710.82/711.01	c  710s |      25 |  7160381 |  5457498 |     2252   5915 |        0 |        0
712.82/713.02	c  713s |      25 |  7179974 |  5472498 |     2252   5928 |        0 |        0
714.83/715.02	c  715s |      25 |  7198198 |  5486498 |     2252   5939 |        0 |        0
716.83/717.03	c  717s |      25 |  7218112 |  5501398 |     2252   5951 |        0 |        0
718.83/719.04	c  719s |      25 |  7238342 |  5516198 |     2252   5963 |        0 |        0
720.83/721.04	c  721s |      25 |  7257597 |  5530698 |     2252   5975 |        0 |        0
722.82/723.04	c  723s |      25 |  7275691 |  5544298 |     2252   5987 |        0 |        0
724.83/725.05	c  725s |      25 |  7292078 |  5557498 |     2252   5997 |        0 |        0
726.82/727.06	c  727s |      25 |  7312141 |  5572298 |     2252   6010 |        0 |        0
728.82/729.07	c  729s |      25 |  7332348 |  5587298 |     2252   6022 |        0 |        0
730.82/731.08	c  731s |      25 |  7351467 |  5601798 |     2252   6034 |        0 |        0
732.82/733.09	c  733s |      25 |  7370600 |  5616198 |     2252   6046 |        0 |        0
734.82/735.10	c  735s |      25 |  7390454 |  5630698 |     2252   6057 |        0 |        0
736.92/737.11	c  737s |      25 |  7410561 |  5645598 |     2252   6070 |        0 |        0
738.91/739.11	c  739s |      25 |  7430053 |  5659998 |     2252   6082 |        0 |        0
740.91/741.11	c  741s |      25 |  7450639 |  5674598 |     2252   6094 |        0 |        0
742.91/743.12	c  743s |      25 |  7470587 |  5689298 |     2252   6106 |        0 |        0
744.91/745.12	c  745s |      25 |  7489244 |  5703498 |     2252   6117 |        0 |        0
746.91/747.12	c  747s |      25 |  7507817 |  5717098 |     2252   6129 |        0 |        0
748.92/749.12	c  749s |      25 |  7525953 |  5730598 |     2252   6140 |        0 |        0
750.91/751.13	c  751s |      25 |  7545856 |  5744798 |     2252   6151 |        0 |        0
752.91/753.14	c  753s |      25 |  7567180 |  5760698 |     2252   6165 |        0 |        0
754.91/755.15	c  755s |      25 |  7588513 |  5776598 |     2252   6178 |        0 |        0
756.91/757.16	c  757s |      25 |  7607255 |  5791198 |     2252   6190 |        0 |        0
758.92/759.17	c  759s |      25 |  7625530 |  5805298 |     2252   6201 |        0 |        0
760.91/761.17	c  761s |      25 |  7645235 |  5820098 |     2252   6213 |        0 |        0
762.91/763.17	c  763s |      25 |  7666803 |  5835398 |     2252   6226 |        0 |        0
764.91/765.17	c  765s |      25 |  7686410 |  5850598 |     2252   6238 |        0 |        0
766.91/767.18	c  767s |      25 |  7706634 |  5866098 |     2252   6251 |        0 |        0
769.01/769.20	c  769s |      25 |  7726573 |  5881098 |     2252   6264 |        0 |        0
770.91/771.20	c  771s |      25 |  7746846 |  5896398 |     2252   6276 |        0 |        0
773.00/773.20	c  773s |      25 |  7765971 |  5910898 |     2252   6288 |        0 |        0
775.00/775.21	c  775s |      25 |  7785888 |  5925598 |     2252   6300 |        0 |        0
777.00/777.22	c  777s |      25 |  7804849 |  5939698 |     2252   6312 |        0 |        0
779.00/779.23	c  779s |      25 |  7823716 |  5954198 |     2252   6324 |        0 |        0
781.00/781.24	c  781s |      25 |  7843561 |  5969298 |     2252   6336 |        0 |        0
783.00/783.24	c  783s |      25 |  7863749 |  5984198 |     2252   6349 |        0 |        0
784.99/785.24	c  785s |      25 |  7883435 |  5998798 |     2252   6361 |        0 |        0
786.99/787.25	c  787s |      25 |  7903195 |  6013898 |     2252   6373 |        0 |        0
788.99/789.25	c  789s |      25 |  7924301 |  6029298 |     2252   6386 |        0 |        0
790.99/791.26	c  791s |      25 |  7944788 |  6044098 |     2252   6398 |        0 |        0
793.00/793.27	c  793s |      25 |  7965835 |  6059298 |     2252   6411 |        0 |        0
794.99/795.28	c  795s |      25 |  7984523 |  6074098 |     2252   6423 |        0 |        0
796.99/797.28	c  797s |      25 |  8002750 |  6088498 |     2252   6435 |        0 |        0
798.99/799.29	c  799s |      25 |  8023423 |  6104098 |     2252   6447 |        0 |        0
801.09/801.30	c  801s |      25 |  8043478 |  6119398 |     2252   6460 |        0 |        0
803.08/803.31	c  803s |      25 |  8062172 |  6133998 |     2252   6472 |        0 |        0
805.09/805.32	c  805s |      25 |  8080851 |  6148098 |     2252   6484 |        0 |        0
807.08/807.32	c  807s |      25 |  8100554 |  6162798 |     2252   6496 |        0 |        0
809.08/809.33	c  809s |      25 |  8120287 |  6177698 |     2252   6508 |        0 |        0
811.08/811.34	c  811s |      25 |  8140175 |  6192498 |     2252   6520 |        0 |        0
813.08/813.35	c  813s |      25 |  8161295 |  6207898 |     2252   6533 |        0 |        0
815.08/815.36	c  815s |      25 |  8183364 |  6223698 |     2252   6546 |        0 |        0
817.08/817.36	c  817s |      25 |  8202577 |  6238198 |     2252   6558 |        0 |        0
819.07/819.37	c  819s |      25 |  8223785 |  6253798 |     2252   6571 |        0 |        0
821.08/821.39	c  821s |      25 |  8244031 |  6268698 |     2252   6583 |        0 |        0
823.08/823.39	c  823s |      25 |  8263230 |  6283898 |     2252   6596 |        0 |        0
825.18/825.40	c  825s |      25 |  8283010 |  6298598 |     2252   6608 |        0 |        0
827.18/827.40	c  827s |      25 |  8304500 |  6313998 |     2252   6620 |        0 |        0
829.19/829.41	c  829s |      25 |  8323140 |  6328598 |     2252   6632 |        0 |        0
831.18/831.42	c  831s |      25 |  8343287 |  6343398 |     2252   6645 |        0 |        0
833.18/833.42	c  833s |      25 |  8363539 |  6358698 |     2252   6657 |        0 |        0
835.18/835.43	c  835s |      25 |  8383128 |  6373598 |     2252   6669 |        0 |        0
837.18/837.43	c  837s |      25 |  8403367 |  6388798 |     2252   6682 |        0 |        0
839.18/839.44	c  839s |      25 |  8421586 |  6402898 |     2252   6694 |        0 |        0
841.18/841.45	c  841s |      25 |  8442325 |  6418498 |     2252   6706 |        0 |        0
843.17/843.45	c  843s |      25 |  8461987 |  6433498 |     2252   6719 |        0 |        0
845.17/845.45	c  845s |      25 |  8481490 |  6448198 |     2252   6731 |        0 |        0
847.17/847.47	c  847s |      25 |  8500159 |  6462498 |     2252   6743 |        0 |        0
849.17/849.47	c  849s |      25 |  8521817 |  6478298 |     2252   6756 |        0 |        0
851.18/851.48	c  851s |      25 |  8541701 |  6493098 |     2252   6768 |        0 |        0
853.17/853.49	c  853s |      25 |  8559830 |  6506898 |     2252   6779 |        0 |        0
855.27/855.50	c  855s |      25 |  8580128 |  6522298 |     2252   6792 |        0 |        0
857.27/857.51	c  857s |      25 |  8599406 |  6537098 |     2252   6804 |        0 |        0
859.26/859.51	c  859s |      25 |  8620529 |  6551898 |     2252   6816 |        0 |        0
861.26/861.53	c  861s |      25 |  8640068 |  6566798 |     2252   6828 |        0 |        0
863.26/863.53	c  863s |      25 |  8660497 |  6581998 |     2252   6841 |        0 |        0
865.26/865.54	c  865s |      25 |  8679475 |  6596098 |     2252   6853 |        0 |        0
867.26/867.55	c  867s |      25 |  8697719 |  6610898 |     2252   6865 |        0 |        0
869.26/869.56	c  869s |      25 |  8716286 |  6625298 |     2252   6877 |        0 |        0
871.26/871.56	c  871s |      25 |  8734138 |  6638798 |     2252   6888 |        0 |        0
873.26/873.57	c  873s |      25 |  8756789 |  6654798 |     2252   6901 |        0 |        0
875.26/875.57	c  875s |      25 |  8776461 |  6669798 |     2252   6913 |        0 |        0
877.26/877.58	c  877s |      25 |  8795448 |  6684598 |     2252   6926 |        0 |        0
879.26/879.59	c  879s |      25 |  8815522 |  6699998 |     2252   6938 |        0 |        0
881.36/881.61	c  881s |      25 |  8835769 |  6715098 |     2252   6951 |        0 |        0
883.36/883.62	c  883s |      25 |  8854632 |  6729698 |     2252   6963 |        0 |        0
885.36/885.63	c  885s |      25 |  8873585 |  6744098 |     2252   6975 |        0 |        0
887.36/887.63	c  887s |      25 |  8894313 |  6759498 |     2252   6988 |        0 |        0
889.36/889.64	c  889s |      25 |  8913384 |  6774098 |     2252   7000 |        0 |        0
891.35/891.65	c  891s |      25 |  8932706 |  6788698 |     2252   7011 |        0 |        0
893.35/893.66	c  893s |      25 |  8951405 |  6802898 |     2252   7023 |        0 |        0
895.35/895.66	c  895s |      25 |  8969798 |  6816298 |     2252   7034 |        0 |        0
897.36/897.67	c  897s |      25 |  8986435 |  6829198 |     2252   7045 |        0 |        0
899.35/899.68	c  899s |      25 |  9006326 |  6844398 |     2252   7057 |        0 |        0
901.35/901.68	c  901s |      25 |  9025782 |  6858898 |     2252   7069 |        0 |        0
903.34/903.68	c  903s |      25 |  9046291 |  6873998 |     2252   7082 |        0 |        0
905.34/905.69	c  905s |      25 |  9064802 |  6888398 |     2252   7094 |        0 |        0
907.35/907.69	c  907s |      25 |  9085559 |  6904198 |     2252   7107 |        0 |        0
909.35/909.69	c  909s |      25 |  9104563 |  6919098 |     2252   7119 |        0 |        0
911.44/911.71	c  911s |      25 |  9125273 |  6933998 |     2252   7131 |        0 |        0
913.44/913.72	c  913s |      25 |  9145330 |  6949698 |     2252   7144 |        0 |        0
915.44/915.72	c  915s |      25 |  9164620 |  6964198 |     2252   7156 |        0 |        0
917.44/917.72	c  917s |      25 |  9183097 |  6978198 |     2252   7168 |        0 |        0
919.44/919.72	c  919s |      25 |  9202584 |  6993198 |     2252   7180 |        0 |        0
921.44/921.72	c  921s |      25 |  9222742 |  7008598 |     2252   7193 |        0 |        0
923.43/923.73	c  923s |      25 |  9242756 |  7023398 |     2252   7205 |        0 |        0
925.43/925.74	c  925s |      25 |  9261041 |  7037298 |     2252   7217 |        0 |        0
927.43/927.74	c  927s |      25 |  9280139 |  7051798 |     2252   7229 |        0 |        0
929.43/929.75	c  929s |      25 |  9299969 |  7066998 |     2252   7242 |        0 |        0
931.44/931.75	c  931s |      25 |  9318870 |  7081398 |     2252   7254 |        0 |        0
933.42/933.76	c  933s |      25 |  9337019 |  7095498 |     2252   7265 |        0 |        0
935.43/935.76	c  935s |      25 |  9356551 |  7110398 |     2252   7278 |        0 |        0
937.43/937.77	c  937s |      25 |  9375309 |  7124598 |     2252   7289 |        0 |        0
939.43/939.78	c  939s |      25 |  9393668 |  7138798 |     2252   7301 |        0 |        0
941.44/941.79	c  941s |      25 |  9412798 |  7153298 |     2252   7313 |        0 |        0
943.43/943.80	c  943s |      25 |  9431220 |  7167698 |     2252   7325 |        0 |        0
945.53/945.80	c  945s |      25 |  9449461 |  7181998 |     2252   7337 |        0 |        0
947.52/947.81	c  947s |      25 |  9468168 |  7196498 |     2252   7349 |        0 |        0
949.52/949.82	c  949s |      25 |  9486183 |  7211098 |     2252   7361 |        0 |        0
951.52/951.84	c  951s |      25 |  9503088 |  7224598 |     2252   7373 |        0 |        0
953.52/953.84	c  953s |      25 |  9520678 |  7238798 |     2252   7384 |        0 |        0
955.52/955.85	c  955s |      25 |  9540143 |  7253798 |     2252   7397 |        0 |        0
957.52/957.85	c  957s |      25 |  9558954 |  7268398 |     2252   7409 |        0 |        0
959.52/959.85	c  959s |      25 |  9579763 |  7284298 |     2252   7422 |        0 |        0
961.51/961.86	c  961s |      25 |  9599541 |  7299698 |     2252   7435 |        0 |        0
963.51/963.87	c  963s |      25 |  9619498 |  7315098 |     2252   7447 |        0 |        0
965.52/965.88	c  965s |      25 |  9640613 |  7331198 |     2252   7461 |        0 |        0
967.51/967.89	c  967s |      25 |  9661633 |  7347498 |     2252   7474 |        0 |        0
969.51/969.89	c  969s |      25 |  9680939 |  7362498 |     2252   7487 |        0 |        0
971.61/971.90	c  971s |      25 |  9700103 |  7377398 |     2252   7499 |        0 |        0
973.60/973.91	c  973s |      25 |  9719244 |  7392298 |     2252   7512 |        0 |        0
975.60/975.91	c  975s |      25 |  9737237 |  7406598 |     2252   7524 |        0 |        0
977.61/977.92	c  977s |      25 |  9756825 |  7422098 |     2252   7536 |        0 |        0
979.61/979.92	c  979s |      25 |  9777208 |  7437298 |     2252   7549 |        0 |        0
981.61/981.93	c  981s |      25 |  9795712 |  7451998 |     2252   7561 |        0 |        0
983.61/983.93	c  983s |      25 |  9813855 |  7466698 |     2252   7573 |        0 |        0
985.61/985.94	c  985s |      25 |  9832106 |  7481298 |     2252   7585 |        0 |        0
987.61/987.95	c  987s |      25 |  9851779 |  7496198 |     2252   7597 |        0 |        0
989.60/989.95	c  989s |      25 |  9871274 |  7511098 |     2252   7610 |        0 |        0
991.60/991.95	c  991s |      25 |  9890964 |  7525398 |     2252   7621 |        0 |        0
993.60/993.95	c  993s |      25 |  9910981 |  7539998 |     2252   7634 |        0 |        0
995.60/995.96	c  995s |      25 |  9930174 |  7554398 |     2478   7645 |        0 |        0
997.60/997.98	c  997s |      25 |  9949145 |  7569298 |     2478   7656 |        0 |        0
999.61/999.98	c  999s |      25 |  9969610 |  7584098 |     2478   7667 |        0 |        0
1001.60/1001.98	c 1001s |      25 |  9986981 |  7597298 |     2478   7677 |        0 |        0
1001.70/1002.05	c 1002s |      26 |  9987558 |  7597752 |     2478   7677 |        0 |        0
1003.70/1004.06	c 1004s |      26 | 10005586 |  7610952 |     2478   7687 |        0 |        0
1005.70/1006.07	c 1006s |      26 | 10022915 |  7624252 |     2478   7697 |        0 |        0
1007.69/1008.08	c 1008s |      26 | 10042049 |  7638252 |     2478   7708 |        0 |        0
1009.79/1010.10	c 1010s |      26 | 10061905 |  7652652 |     2478   7719 |        0 |        0
1011.80/1012.10	c 1012s |      26 | 10082804 |  7667652 |     2478   7730 |        0 |        0
1013.79/1014.11	c 1014s |      26 | 10101600 |  7681452 |     2478   7741 |        0 |        0
1015.79/1016.12	c 1016s |      26 | 10120622 |  7695652 |     2478   7752 |        0 |        0
1017.79/1018.13	c 1018s |      26 | 10139169 |  7709452 |     2478   7762 |        0 |        0
1019.79/1020.13	c 1020s |      26 | 10157965 |  7724052 |     2478   7773 |        0 |        0
1021.79/1022.14	c 1022s |      26 | 10175887 |  7737852 |     2478   7783 |        0 |        0
1023.79/1024.15	c 1024s |      26 | 10194316 |  7751652 |     2478   7794 |        0 |        0
1025.78/1026.15	c 1026s |      26 | 10212473 |  7765352 |     2478   7804 |        0 |        0
1027.78/1028.16	c 1028s |      26 | 10230203 |  7779052 |     2478   7815 |        0 |        0
1029.78/1030.16	c 1030s |      26 | 10249327 |  7793552 |     2478   7826 |        0 |        0
1031.78/1032.16	c 1032s |      26 | 10268693 |  7808252 |     2478   7837 |        0 |        0
1033.78/1034.16	c 1034s |      26 | 10290441 |  7823352 |     2478   7848 |        0 |        0
1035.77/1036.18	c 1036s |      26 | 10308577 |  7837452 |     2478   7859 |        0 |        0
1037.77/1038.19	c 1038s |      26 | 10328087 |  7851952 |     2478   7870 |        0 |        0
1039.77/1040.19	c 1040s |      26 | 10347812 |  7866152 |     2478   7880 |        0 |        0
1041.78/1042.19	c 1042s |      26 | 10365678 |  7879652 |     2478   7891 |        0 |        0
1043.77/1044.19	c 1044s |      26 | 10384061 |  7893752 |     2478   7901 |        0 |        0
1045.78/1046.20	c 1046s |      26 | 10402218 |  7907352 |     2478   7912 |        0 |        0
1047.87/1048.21	c 1048s |      26 | 10423870 |  7923252 |     2478   7924 |        0 |        0
1049.87/1050.21	c 1050s |      26 | 10443253 |  7937652 |     2478   7935 |        0 |        0
1051.87/1052.22	c 1052s |      26 | 10462663 |  7952452 |     2478   7946 |        0 |        0
1053.86/1054.23	c 1054s |      26 | 10480889 |  7965752 |     2478   7956 |        0 |        0
1055.86/1056.24	c 1056s |      26 | 10501097 |  7980152 |     2478   7967 |        0 |        0
1057.87/1058.24	c 1058s |      26 | 10519889 |  7994152 |     2478   7978 |        0 |        0
1059.86/1060.24	c 1060s |      26 | 10540899 |  8008752 |     2478   7989 |        0 |        0
1061.86/1062.25	c 1062s |      26 | 10560152 |  8023452 |     2478   8000 |        0 |        0
1063.86/1064.26	c 1064s |      26 | 10580171 |  8038352 |     2478   8011 |        0 |        0
1065.86/1066.27	c 1066s |      26 | 10598494 |  8052452 |     2478   8022 |        0 |        0
1067.86/1068.27	c 1068s |      26 | 10619262 |  8067652 |     2478   8033 |        0 |        0
1069.85/1070.27	c 1070s |      26 | 10639497 |  8083152 |     2478   8045 |        0 |        0
1071.85/1072.28	c 1072s |      26 | 10660236 |  8098052 |     2478   8056 |        0 |        0
1073.85/1074.29	c 1074s |      26 | 10679937 |  8112452 |     2478   8067 |        0 |        0
1075.95/1076.30	c 1076s |      26 | 10701415 |  8127252 |     2478   8079 |        0 |        0
1077.95/1078.31	c 1078s |      26 | 10720636 |  8141452 |     2478   8089 |        0 |        0
1079.95/1080.32	c 1080s |      26 | 10737998 |  8154552 |     2478   8099 |        0 |        0
1081.95/1082.34	c 1082s |      26 | 10756708 |  8168652 |     2478   8110 |        0 |        0
1083.95/1084.34	c 1084s |      26 | 10774396 |  8182252 |     2478   8120 |        0 |        0
1085.95/1086.34	c 1086s |      26 | 10792507 |  8196052 |     2478   8131 |        0 |        0
1087.95/1088.35	c 1088s |      26 | 10811121 |  8209952 |     2478   8142 |        0 |        0
1089.95/1090.36	c 1090s |      26 | 10829847 |  8224352 |     2478   8153 |        0 |        0
1091.96/1092.36	c 1092s |      26 | 10847443 |  8238152 |     2478   8163 |        0 |        0
1093.95/1094.36	c 1094s |      26 | 10866999 |  8253252 |     2478   8174 |        0 |        0
1095.95/1096.38	c 1096s |      26 | 10886283 |  8267752 |     2478   8185 |        0 |        0
1097.95/1098.39	c 1098s |      26 | 10905554 |  8282252 |     2478   8196 |        0 |        0
1100.04/1100.40	c 1100s |      26 | 10925295 |  8296752 |     2478   8208 |        0 |        0
1102.04/1102.40	c 1102s |      26 | 10945507 |  8312152 |     2478   8219 |        0 |        0
1104.04/1104.41	c 1104s |      26 | 10965413 |  8327052 |     2478   8230 |        0 |        0
1106.04/1106.42	c 1106s |      26 | 10982727 |  8340652 |     2478   8241 |        0 |        0
1108.04/1108.43	c 1108s |      26 | 11001160 |  8354652 |     2478   8251 |        0 |        0
1110.04/1110.44	c 1110s |      26 | 11020253 |  8368752 |     2478   8262 |        0 |        0
1112.04/1112.44	c 1112s |      26 | 11037433 |  8382052 |     2478   8272 |        0 |        0
1114.04/1114.44	c 1114s |      26 | 11055116 |  8395652 |     2478   8282 |        0 |        0
1116.03/1116.44	c 1116s |      26 | 11073703 |  8409352 |     2478   8293 |        0 |        0
1118.03/1118.45	c 1118s |      26 | 11093333 |  8423852 |     2478   8304 |        0 |        0
1120.03/1120.45	c 1120s |      26 | 11110521 |  8437252 |     2478   8314 |        0 |        0
1122.03/1122.47	c 1122s |      26 | 11129560 |  8451252 |     2478   8325 |        0 |        0
1124.02/1124.48	c 1124s |      26 | 11150241 |  8465652 |     2478   8335 |        0 |        0
1126.03/1126.49	c 1126s |      26 | 11168564 |  8479552 |     2478   8346 |        0 |        0
1128.12/1128.50	c 1128s |      26 | 11188819 |  8494152 |     2478   8357 |        0 |        0
1130.13/1130.51	c 1130s |      26 | 11209049 |  8508752 |     2478   8368 |        0 |        0
1132.13/1132.51	c 1132s |      26 | 11228603 |  8523452 |     2478   8379 |        0 |        0
1134.13/1134.51	c 1134s |      26 | 11246453 |  8536852 |     2478   8389 |        0 |        0
1136.13/1136.52	c 1136s |      26 | 11266420 |  8551152 |     2478   8400 |        0 |        0
1138.13/1138.53	c 1138s |      26 | 11287044 |  8565452 |     2478   8411 |        0 |        0
1140.13/1140.54	c 1140s |      26 | 11306251 |  8579952 |     2478   8422 |        0 |        0
1142.13/1142.55	c 1142s |      26 | 11324881 |  8594052 |     2478   8433 |        0 |        0
1144.12/1144.55	c 1144s |      26 | 11342097 |  8607252 |     2478   8443 |        0 |        0
1146.12/1146.56	c 1146s |      26 | 11361407 |  8621352 |     2478   8453 |        0 |        0
1148.13/1148.56	c 1148s |      26 | 11380837 |  8635752 |     2478   8464 |        0 |        0
1150.12/1150.57	c 1150s |      26 | 11400829 |  8650152 |     2478   8475 |        0 |        0
1152.12/1152.57	c 1152s |      26 | 11422535 |  8665252 |     2478   8487 |        0 |        0
1154.12/1154.57	c 1154s |      26 | 11441111 |  8678652 |     2478   8497 |        0 |        0
1156.12/1156.57	c 1156s |      26 | 11461085 |  8693152 |     2478   8508 |        0 |        0
1158.12/1158.58	c 1158s |      26 | 11481312 |  8707552 |     2478   8519 |        0 |        0
1160.12/1160.59	c 1160s |      26 | 11499932 |  8721552 |     2478   8530 |        0 |        0
1162.12/1162.59	c 1162s |      26 | 11519062 |  8735752 |     2478   8540 |        0 |        0
1164.11/1164.59	c 1164s |      26 | 11538577 |  8750052 |     2478   8551 |        0 |        0
1166.21/1166.60	c 1166s |      26 | 11557260 |  8763952 |     2478   8562 |        0 |        0
1168.21/1168.61	c 1168s |      26 | 11576307 |  8777852 |     2478   8573 |        0 |        0
1170.21/1170.61	c 1170s |      26 | 11595406 |  8792252 |     2478   8583 |        0 |        0
1172.21/1172.63	c 1172s |      26 | 11615056 |  8806552 |     2478   8594 |        0 |        0
1174.20/1174.63	c 1174s |      26 | 11634924 |  8821152 |     2478   8605 |        0 |        0
1176.20/1176.64	c 1176s |      26 | 11653453 |  8834852 |     2478   8616 |        0 |        0
1178.20/1178.65	c 1178s |      26 | 11670348 |  8848352 |     2478   8626 |        0 |        0
1180.20/1180.66	c 1180s |      26 | 11687774 |  8861652 |     2478   8636 |        0 |        0
1182.21/1182.66	c 1182s |      26 | 11706639 |  8875052 |     2478   8646 |        0 |        0
1184.20/1184.66	c 1184s |      26 | 11725658 |  8889052 |     2478   8657 |        0 |        0
1186.21/1186.67	c 1186s |      26 | 11742612 |  8901652 |     2478   8667 |        0 |        0
1188.21/1188.67	c 1188s |      26 | 11762254 |  8915452 |     2478   8677 |        0 |        0
1190.20/1190.67	c 1190s |      26 | 11781612 |  8929552 |     2478   8688 |        0 |        0
1192.20/1192.68	c 1192s |      26 | 11802568 |  8944452 |     2478   8699 |        0 |        0
1194.21/1194.69	c 1194s |      26 | 11823127 |  8959352 |     2478   8710 |        0 |        0
1196.30/1196.70	c 1196s |      26 | 11842133 |  8973752 |     2478   8721 |        0 |        0
1198.30/1198.71	c 1198s |      26 | 11862122 |  8988652 |     2478   8733 |        0 |        0
1200.30/1200.71	c 1200s |      26 | 11882344 |  9003852 |     2478   8744 |        0 |        0
1202.30/1202.72	c 1202s |      26 | 11901173 |  9017852 |     2478   8755 |        0 |        0
1204.30/1204.72	c 1204s |      26 | 11918716 |  9031552 |     2478   8765 |        0 |        0
1206.31/1206.73	c 1206s |      26 | 11938284 |  9046252 |     2478   8776 |        0 |        0
1208.30/1208.74	c 1208s |      26 | 11954299 |  9058952 |     2478   8786 |        0 |        0
1210.30/1210.75	c 1210s |      26 | 11972054 |  9072352 |     2478   8796 |        0 |        0
1212.30/1212.76	c 1212s |      26 | 11986315 |  9084652 |     2478   8805 |        0 |        0
1214.30/1214.76	c 1214s |      26 | 12001028 |  9096652 |     2478   8815 |        0 |        0
1216.30/1216.77	c 1216s |      26 | 12018524 |  9110352 |     2478   8825 |        0 |        0
1218.29/1218.78	c 1218s |      26 | 12035501 |  9123852 |     2478   8835 |        0 |        0
1220.29/1220.78	c 1220s |      26 | 12053392 |  9137652 |     2478   8846 |        0 |        0
1222.29/1222.79	c 1222s |      26 | 12072757 |  9151752 |     2478   8856 |        0 |        0
1224.30/1224.79	c 1224s |      26 | 12091923 |  9166152 |     2478   8867 |        0 |        0
1226.40/1226.80	c 1226s |      26 | 12110593 |  9180152 |     2478   8878 |        0 |        0
1228.40/1228.81	c 1228s |      26 | 12129746 |  9194452 |     2478   8889 |        0 |        0
1230.40/1230.82	c 1230s |      26 | 12147696 |  9208152 |     2478   8899 |        0 |        0
1232.40/1232.83	c 1232s |      26 | 12165595 |  9221852 |     2478   8910 |        0 |        0
1234.40/1234.84	c 1234s |      26 | 12184899 |  9236352 |     2478   8921 |        0 |        0
1236.40/1236.84	c 1236s |      26 | 12204024 |  9250752 |     2478   8931 |        0 |        0
1238.39/1238.85	c 1238s |      26 | 12224615 |  9265152 |     2478   8943 |        0 |        0
1240.40/1240.86	c 1240s |      26 | 12243616 |  9279352 |     2478   8953 |        0 |        0
1242.39/1242.87	c 1242s |      26 | 12265469 |  9295452 |     2478   8966 |        0 |        0
1244.39/1244.88	c 1244s |      26 | 12283490 |  9309252 |     2478   8976 |        0 |        0
1246.39/1246.89	c 1246s |      26 | 12303914 |  9324152 |     2478   8987 |        0 |        0
1248.49/1248.91	c 1248s |      26 | 12321272 |  9337452 |     2478   8998 |        0 |        0
1250.49/1250.92	c 1250s |      26 | 12339865 |  9351752 |     2478   9008 |        0 |        0
1252.50/1252.93	c 1252s |      26 | 12358827 |  9365852 |     2478   9019 |        0 |        0
1254.49/1254.93	c 1254s |      26 | 12377692 |  9380352 |     2478   9030 |        0 |        0
1256.49/1256.95	c 1256s |      26 | 12396199 |  9393952 |     2478   9040 |        0 |        0
1258.49/1258.96	c 1258s |      26 | 12413804 |  9407352 |     2478   9051 |        0 |        0
1260.49/1260.96	c 1260s |      26 | 12432864 |  9421452 |     2478   9061 |        0 |        0
1262.49/1262.97	c 1262s |      26 | 12452090 |  9435752 |     2478   9072 |        0 |        0
1264.49/1264.98	c 1264s |      26 | 12471481 |  9450552 |     2478   9084 |        0 |        0
1266.49/1266.98	c 1266s |      26 | 12491091 |  9464852 |     2478   9095 |        0 |        0
1268.49/1268.99	c 1268s |      26 | 12509316 |  9478752 |     2478   9105 |        0 |        0
1270.48/1270.99	c 1270s |      26 | 12529874 |  9493652 |     2478   9117 |        0 |        0
1272.58/1273.00	c 1272s |      26 | 12550686 |  9509152 |     2478   9129 |        0 |        0
1274.49/1275.00	c 1274s |      26 | 12573716 |  9525652 |     2478   9141 |        0 |        0
1276.59/1277.00	c 1276s |      26 | 12592410 |  9539752 |     2478   9152 |        0 |        0
1278.59/1279.01	c 1278s |      26 | 12609398 |  9553452 |     2478   9162 |        0 |        0
1280.59/1281.01	c 1280s |      26 | 12626870 |  9567052 |     2478   9173 |        0 |        0
1282.59/1283.02	c 1282s |      26 | 12646499 |  9581852 |     2478   9184 |        0 |        0
1284.59/1285.02	c 1285s |      26 | 12667789 |  9597552 |     2478   9196 |        0 |        0
1286.60/1287.02	c 1287s |      26 | 12688723 |  9612452 |     2478   9208 |        0 |        0
1288.59/1289.02	c 1289s |      26 | 12707182 |  9626852 |     2478   9219 |        0 |        0
1290.59/1291.03	c 1291s |      26 | 12725983 |  9641452 |     2478   9230 |        0 |        0
1292.59/1293.04	c 1293s |      26 | 12745246 |  9655752 |     2478   9241 |        0 |        0
1294.59/1295.04	c 1295s |      26 | 12766240 |  9670752 |     2478   9253 |        0 |        0
1296.59/1297.04	c 1297s |      26 | 12785407 |  9685252 |     2478   9263 |        0 |        0
1298.59/1299.05	c 1299s |      26 | 12806229 |  9700552 |     2478   9275 |        0 |        0
1300.59/1301.06	c 1301s |      26 | 12826638 |  9715652 |     2478   9287 |        0 |        0
1302.59/1303.08	c 1303s |      26 | 12846841 |  9730852 |     2478   9298 |        0 |        0
1304.58/1305.08	c 1305s |      26 | 12867624 |  9745752 |     2478   9310 |        0 |        0
1306.58/1307.10	c 1307s |      26 | 12887739 |  9760952 |     2478   9321 |        0 |        0
1308.59/1309.10	c 1309s |      26 | 12906963 |  9775452 |     2478   9332 |        0 |        0
1310.68/1311.10	c 1311s |      26 | 12926867 |  9790152 |     2478   9343 |        0 |        0
1312.68/1313.12	c 1313s |      26 | 12945095 |  9804452 |     2478   9354 |        0 |        0
1314.68/1315.12	c 1315s |      26 | 12963274 |  9817752 |     2478   9364 |        0 |        0
1316.68/1317.13	c 1317s |      26 | 12980968 |  9831352 |     2478   9375 |        0 |        0
1318.68/1319.14	c 1319s |      26 | 12997451 |  9844452 |     2478   9385 |        0 |        0
1320.69/1321.15	c 1321s |      26 | 13016822 |  9858652 |     2478   9395 |        0 |        0
1322.68/1323.16	c 1323s |      26 | 13034472 |  9872352 |     2478   9406 |        0 |        0
1324.68/1325.17	c 1325s |      26 | 13050948 |  9885352 |     2478   9416 |        0 |        0
1326.68/1327.17	c 1327s |      26 | 13068067 |  9899452 |     2478   9426 |        0 |        0
1328.68/1329.19	c 1329s |      26 | 13086747 |  9913352 |     2478   9437 |        0 |        0
1330.78/1331.20	c 1331s |      26 | 13105002 |  9926952 |     2478   9448 |        0 |        0
1332.78/1333.21	c 1333s |      26 | 13122817 |  9940852 |     2478   9458 |        0 |        0
1334.78/1335.22	c 1335s |      26 | 13142186 |  9955552 |     2478   9469 |        0 |        0
1336.77/1337.23	c 1337s |      26 | 13161528 |  9969852 |     2478   9480 |        0 |        0
1338.77/1339.24	c 1339s |      26 | 13180518 |  9984352 |     2478   9492 |        0 |        0
1340.77/1341.24	c 1341s |      26 | 13199684 |  9998352 |     2478   9502 |        0 |        0
1342.78/1343.26	c 1343s |      26 | 13218451 | 10012452 |     2478   9513 |        0 |        0
1344.77/1345.27	c 1345s |      26 | 13238658 | 10027352 |     2478   9525 |        0 |        0
1346.77/1347.28	c 1347s |      26 | 13260413 | 10042952 |     2478   9536 |        0 |        0
1348.77/1349.29	c 1349s |      26 | 13280342 | 10057452 |     2478   9548 |        0 |        0
1350.87/1351.30	c 1351s |      26 | 13300663 | 10072352 |     2478   9559 |        0 |        0
1352.88/1353.31	c 1353s |      26 | 13319293 | 10086752 |     2478   9570 |        0 |        0
1354.89/1355.32	c 1355s |      26 | 13339431 | 10101752 |     2478   9582 |        0 |        0
1356.88/1357.33	c 1357s |      26 | 13358857 | 10115952 |     2478   9592 |        0 |        0
1358.88/1359.35	c 1359s |      26 | 13379099 | 10130652 |     2478   9604 |        0 |        0
1360.88/1361.36	c 1361s |      26 | 13398726 | 10145352 |     2478   9615 |        0 |        0
1362.88/1363.37	c 1363s |      26 | 13418011 | 10159552 |     2478   9626 |        0 |        0
1364.88/1365.37	c 1365s |      26 | 13434344 | 10172452 |     2478   9635 |        0 |        0
1366.88/1367.37	c 1367s |      26 | 13451154 | 10185452 |     2478   9645 |        0 |        0
1368.87/1369.38	c 1369s |      26 | 13468738 | 10198952 |     2478   9656 |        0 |        0
1370.87/1371.38	c 1371s |      26 | 13488820 | 10213652 |     2478   9667 |        0 |        0
1372.87/1373.39	c 1373s |      26 | 13508260 | 10228352 |     2478   9678 |        0 |        0
1374.97/1375.40	c 1375s |      26 | 13526718 | 10242752 |     2478   9689 |        0 |        0
1376.97/1377.41	c 1377s |      26 | 13543232 | 10255852 |     2478   9699 |        0 |        0
1378.98/1379.41	c 1379s |      26 | 13561967 | 10270152 |     2478   9710 |        0 |        0
1380.97/1381.42	c 1381s |      26 | 13580810 | 10284052 |     2478   9721 |        0 |        0
1382.97/1383.42	c 1383s |      26 | 13599202 | 10298152 |     2478   9732 |        0 |        0
1384.97/1385.43	c 1385s |      26 | 13616863 | 10311952 |     2478   9743 |        0 |        0
1386.97/1387.44	c 1387s |      26 | 13633919 | 10325152 |     2478   9753 |        0 |        0
1388.97/1389.45	c 1389s |      26 | 13653860 | 10340052 |     2478   9764 |        0 |        0
1390.97/1391.46	c 1391s |      26 | 13674007 | 10355052 |     2478   9776 |        0 |        0
1392.97/1393.47	c 1393s |      26 | 13692420 | 10368952 |     2478   9786 |        0 |        0
1394.97/1395.48	c 1395s |      26 | 13711136 | 10383252 |     2478   9797 |        0 |        0
1396.97/1397.49	c 1397s |      26 | 13727770 | 10396252 |     2478   9807 |        0 |        0
1399.07/1399.50	c 1399s |      26 | 13746267 | 10410052 |     2478   9817 |        0 |        0
1401.07/1401.50	c 1401s |      26 | 13765292 | 10424152 |     2478   9828 |        0 |        0
1403.07/1403.51	c 1403s |      26 | 13784256 | 10437852 |     2478   9839 |        0 |        0
1405.07/1405.52	c 1405s |      26 | 13802206 | 10451652 |     2478   9849 |        0 |        0
1407.06/1407.53	c 1407s |      26 | 13818115 | 10464252 |     2478   9859 |        0 |        0
1409.06/1409.54	c 1409s |      26 | 13836741 | 10477852 |     2478   9869 |        0 |        0
1411.06/1411.55	c 1411s |      26 | 13855934 | 10491852 |     2478   9880 |        0 |        0
1413.07/1413.56	c 1413s |      26 | 13875026 | 10505852 |     2478   9890 |        0 |        0
1415.06/1415.57	c 1415s |      26 | 13892714 | 10519452 |     2478   9901 |        0 |        0
1417.06/1417.57	c 1417s |      26 | 13910851 | 10533052 |     2478   9911 |        0 |        0
1419.06/1419.58	c 1419s |      26 | 13929028 | 10546752 |     2478   9921 |        0 |        0
1421.06/1421.58	c 1421s |      26 | 13945600 | 10559652 |     2478   9931 |        0 |        0
1423.16/1423.60	c 1423s |      26 | 13965385 | 10573852 |     2478   9942 |        0 |        0
1425.17/1425.61	c 1425s |      26 | 13984774 | 10588152 |     2478   9953 |        0 |        0
1427.16/1427.62	c 1427s |      26 | 14003851 | 10602252 |     2478   9963 |        0 |        0
1429.17/1429.64	c 1429s |      26 | 14023052 | 10616252 |     2478   9974 |        0 |        0
1431.17/1431.64	c 1431s |      26 | 14041880 | 10630052 |     2478   9985 |        0 |        0
1433.17/1433.64	c 1433s |      26 | 14060577 | 10643752 |     2478   9995 |        0 |        0
1435.17/1435.66	c 1435s |      26 | 14079703 | 10658252 |     2478  10006 |        0 |        0
1437.17/1437.66	c 1437s |      26 | 14098197 | 10673052 |     2478  10017 |        0 |        0
1439.17/1439.66	c 1439s |      26 | 14118827 | 10688452 |     2478  10029 |        0 |        0
1441.17/1441.67	c 1441s |      26 | 14136420 | 10701952 |     2478  10039 |        0 |        0
1443.17/1443.68	c 1443s |      26 | 14153901 | 10715752 |     2478  10050 |        0 |        0
1445.17/1445.68	c 1445s |      26 | 14171748 | 10729452 |     2478  10060 |        0 |        0
1447.17/1447.69	c 1447s |      26 | 14191348 | 10744352 |     2478  10071 |        0 |        0
1449.26/1449.70	c 1449s |      26 | 14210676 | 10758952 |     2478  10083 |        0 |        0
1451.26/1451.70	c 1451s |      26 | 14227156 | 10772052 |     2478  10092 |        0 |        0
1453.26/1453.71	c 1453s |      26 | 14247131 | 10786752 |     2478  10104 |        0 |        0
1455.26/1455.71	c 1455s |      26 | 14264839 | 10801052 |     2478  10114 |        0 |        0
1457.26/1457.72	c 1457s |      26 | 14283127 | 10815152 |     2478  10125 |        0 |        0
1459.27/1459.72	c 1459s |      26 | 14302049 | 10829552 |     2478  10136 |        0 |        0
1461.26/1461.73	c 1461s |      26 | 14318415 | 10842652 |     2478  10146 |        0 |        0
1463.26/1463.74	c 1463s |      26 | 14336656 | 10856552 |     2478  10157 |        0 |        0
1465.26/1465.75	c 1465s |      26 | 14354443 | 10869852 |     2478  10167 |        0 |        0
1467.26/1467.75	c 1467s |      26 | 14372894 | 10883252 |     2478  10177 |        0 |        0
1469.27/1469.75	c 1469s |      26 | 14393245 | 10898052 |     2478  10188 |        0 |        0
1471.26/1471.76	c 1471s |      26 | 14411552 | 10911552 |     2478  10198 |        0 |        0
1473.26/1473.76	c 1473s |      26 | 14428964 | 10924752 |     2478  10208 |        0 |        0
1475.26/1475.77	c 1475s |      26 | 14447171 | 10938252 |     2478  10219 |        0 |        0
1477.26/1477.78	c 1477s |      26 | 14466264 | 10951752 |     2478  10229 |        0 |        0
1479.26/1479.79	c 1479s |      26 | 14484390 | 10964952 |     2478  10239 |        0 |        0
1481.26/1481.79	c 1481s |      26 | 14502190 | 10978252 |     2478  10249 |        0 |        0
1483.36/1483.80	c 1483s |      26 | 14520529 | 10992152 |     2478  10260 |        0 |        0
1485.35/1485.82	c 1485s |      26 | 14538929 | 11005752 |     2478  10270 |        0 |        0
1487.35/1487.83	c 1487s |      26 | 14558953 | 11020352 |     2478  10281 |        0 |        0
1489.35/1489.83	c 1489s |      26 | 14575759 | 11033552 |     2478  10291 |        0 |        0
1491.35/1491.84	c 1491s |      26 | 14594934 | 11047752 |     2478  10302 |        0 |        0
1493.37/1493.85	c 1493s |      26 | 14613702 | 11061652 |     2478  10312 |        0 |        0
1495.36/1495.86	c 1495s |      26 | 14631517 | 11075252 |     2478  10323 |        0 |        0
1497.36/1497.86	c 1497s |      26 | 14651386 | 11089352 |     2478  10333 |        0 |        0
1499.36/1499.86	c 1499s |      26 | 14671064 | 11103852 |     2478  10344 |        0 |        0
1501.36/1501.88	c 1501s |      26 | 14688249 | 11117252 |     2478  10355 |        0 |        0
1503.36/1503.89	c 1503s |      26 | 14707847 | 11131552 |     2478  10366 |        0 |        0
1505.46/1505.91	c 1505s |      26 | 14726966 | 11145952 |     2478  10376 |        0 |        0
1507.46/1507.93	c 1507s |      26 | 14747415 | 11160552 |     2478  10388 |        0 |        0
1509.46/1509.93	c 1509s |      26 | 14764011 | 11173752 |     2478  10397 |        0 |        0
1511.46/1511.95	c 1511s |      26 | 14780603 | 11186552 |     2478  10407 |        0 |        0
1513.46/1513.95	c 1513s |      26 | 14798919 | 11200252 |     2478  10418 |        0 |        0
1515.46/1515.96	c 1515s |      26 | 14816384 | 11213652 |     2478  10428 |        0 |        0
1517.45/1517.96	c 1517s |      26 | 14835008 | 11227552 |     2478  10438 |        0 |        0
1519.45/1519.97	c 1519s |      26 | 14850552 | 11239652 |     2478  10448 |        0 |        0
1521.45/1521.97	c 1521s |      26 | 14868629 | 11253252 |     2478  10458 |        0 |        0
1523.45/1523.98	c 1523s |      26 | 14887616 | 11267452 |     2478  10469 |        0 |        0
1525.45/1525.99	c 1525s |      26 | 14906490 | 11281152 |     2478  10479 |        0 |        0
1527.46/1528.00	c 1527s |      26 | 14925163 | 11294852 |     2478  10490 |        0 |        0
1529.55/1530.01	c 1529s |      26 | 14943266 | 11308252 |     2478  10500 |        0 |        0
1531.55/1532.02	c 1532s |      26 | 14961464 | 11322052 |     2726  10510 |        0 |        0
1533.55/1534.03	c 1534s |      26 | 14978827 | 11335252 |     2726  10519 |        0 |        0
1535.55/1536.03	c 1536s |      26 | 14995819 | 11348152 |     2726  10528 |        0 |        0
1537.55/1538.04	c 1538s |      26 | 15011903 | 11360552 |     2726  10536 |        0 |        0
1539.55/1540.06	c 1540s |      26 | 15030243 | 11374152 |     2726  10546 |        0 |        0
1541.54/1542.07	c 1542s |      26 | 15044727 | 11385652 |     2726  10554 |        0 |        0
1543.24/1543.71	c 1543s |      27 | 15059782 | 11396733 |     2726  10562 |        0 |        0
1545.24/1545.71	c 1545s |      27 | 15075533 | 11409033 |     2726  10570 |        0 |        0
1547.25/1547.72	c 1547s |      27 | 15092334 | 11422133 |     2726  10579 |        0 |        0
1549.24/1549.73	c 1549s |      27 | 15110862 | 11436233 |     2726  10589 |        0 |        0
1551.25/1551.74	c 1551s |      27 | 15130727 | 11451033 |     2726  10599 |        0 |        0
1553.25/1553.75	c 1553s |      27 | 15149559 | 11464933 |     2726  10609 |        0 |        0
1555.25/1555.76	c 1555s |      27 | 15168403 | 11478433 |     2726  10618 |        0 |        0
1557.26/1557.76	c 1557s |      27 | 15186784 | 11492333 |     2726  10628 |        0 |        0
1559.25/1559.77	c 1559s |      27 | 15204404 | 11506033 |     2726  10637 |        0 |        0
1561.25/1561.77	c 1561s |      27 | 15222724 | 11520033 |     2726  10647 |        0 |        0
1563.25/1563.78	c 1563s |      27 | 15243872 | 11535433 |     2726  10658 |        0 |        0
1565.25/1565.79	c 1565s |      27 | 15264198 | 11550233 |     2726  10668 |        0 |        0
1567.34/1567.81	c 1567s |      27 | 15280796 | 11563333 |     2726  10677 |        0 |        0
1569.35/1569.81	c 1569s |      27 | 15296901 | 11576133 |     2726  10686 |        0 |        0
1571.34/1571.81	c 1571s |      27 | 15314703 | 11589433 |     2726  10695 |        0 |        0
1573.34/1573.81	c 1573s |      27 | 15333942 | 11603333 |     2726  10705 |        0 |        0
1575.34/1575.82	c 1575s |      27 | 15350404 | 11616233 |     2726  10714 |        0 |        0
1577.34/1577.83	c 1577s |      27 | 15368889 | 11629933 |     2726  10723 |        0 |        0
1579.34/1579.83	c 1579s |      27 | 15385221 | 11642533 |     2726  10732 |        0 |        0
1581.35/1581.84	c 1581s |      27 | 15400184 | 11654833 |     2726  10740 |        0 |        0
1583.34/1583.85	c 1583s |      27 | 15419759 | 11669533 |     2726  10751 |        0 |        0
1585.34/1585.86	c 1585s |      27 | 15437932 | 11683033 |     2726  10760 |        0 |        0
1587.34/1587.88	c 1587s |      27 | 15457376 | 11697533 |     2726  10770 |        0 |        0
1589.34/1589.88	c 1589s |      27 | 15476182 | 11711833 |     2726  10780 |        0 |        0
1591.34/1591.89	c 1591s |      27 | 15494534 | 11725633 |     2726  10790 |        0 |        0
1593.34/1593.90	c 1593s |      27 | 15513872 | 11740033 |     2726  10800 |        0 |        0
1595.44/1595.90	c 1595s |      27 | 15533699 | 11754433 |     2726  10810 |        0 |        0
1597.44/1597.91	c 1597s |      27 | 15553125 | 11768633 |     2726  10820 |        0 |        0
1599.43/1599.91	c 1599s |      27 | 15574030 | 11784133 |     2726  10830 |        0 |        0
1601.43/1601.92	c 1601s |      27 | 15593484 | 11798833 |     2726  10841 |        0 |        0
1603.44/1603.93	c 1603s |      27 | 15612873 | 11813833 |     2726  10851 |        0 |        0
1605.43/1605.93	c 1605s |      27 | 15630634 | 11827133 |     2726  10860 |        0 |        0
1607.43/1607.94	c 1607s |      27 | 15649033 | 11840733 |     2726  10870 |        0 |        0
1609.43/1609.94	c 1609s |      27 | 15666582 | 11853933 |     2726  10879 |        0 |        0
1611.43/1611.95	c 1611s |      27 | 15683255 | 11867333 |     2726  10888 |        0 |        0
1613.43/1613.97	c 1613s |      27 | 15699053 | 11879833 |     2726  10897 |        0 |        0
1615.44/1615.98	c 1615s |      27 | 15716164 | 11892633 |     2726  10905 |        0 |        0
1617.43/1617.98	c 1617s |      27 | 15732327 | 11905333 |     2726  10914 |        0 |        0
1619.43/1619.99	c 1619s |      27 | 15749044 | 11918233 |     2726  10923 |        0 |        0
1621.43/1622.00	c 1621s |      27 | 15765107 | 11930533 |     2726  10932 |        0 |        0
1623.54/1624.00	c 1623s |      27 | 15782003 | 11943533 |     2726  10941 |        0 |        0
1625.54/1626.00	c 1625s |      27 | 15799961 | 11956533 |     2726  10950 |        0 |        0
1627.54/1628.01	c 1627s |      27 | 15816775 | 11969833 |     2726  10959 |        0 |        0
1629.54/1630.02	c 1630s |      27 | 15836414 | 11984433 |     2726  10969 |        0 |        0
1631.54/1632.02	c 1632s |      27 | 15854528 | 11998333 |     2726  10979 |        0 |        0
1633.54/1634.04	c 1634s |      27 | 15874970 | 12013433 |     2726  10989 |        0 |        0
1635.54/1636.04	c 1636s |      27 | 15893727 | 12027633 |     2726  10999 |        0 |        0
1637.54/1638.05	c 1638s |      27 | 15911774 | 12041233 |     2726  11008 |        0 |        0
1639.53/1640.07	c 1640s |      27 | 15927059 | 12053833 |     2726  11017 |        0 |        0
1641.53/1642.08	c 1642s |      27 | 15944901 | 12067033 |     2726  11026 |        0 |        0
1643.53/1644.09	c 1644s |      27 | 15963221 | 12081133 |     2726  11036 |        0 |        0
1645.63/1646.11	c 1646s |      27 | 15979723 | 12094133 |     2726  11045 |        0 |        0
1647.63/1648.11	c 1648s |      27 | 15997713 | 12107933 |     2726  11054 |        0 |        0
1649.64/1650.12	c 1650s |      27 | 16016729 | 12121433 |     2726  11064 |        0 |        0
1651.63/1652.12	c 1652s |      27 | 16031786 | 12133733 |     2726  11072 |        0 |        0
1653.63/1654.14	c 1654s |      27 | 16047617 | 12146033 |     2726  11081 |        0 |        0
1655.63/1656.14	c 1656s |      27 | 16064607 | 12159333 |     2726  11090 |        0 |        0
1657.63/1658.15	c 1658s |      27 | 16079886 | 12171633 |     2726  11099 |        0 |        0
1659.63/1660.16	c 1660s |      27 | 16098183 | 12185933 |     2726  11109 |        0 |        0
1661.64/1662.16	c 1662s |      27 | 16117456 | 12200133 |     2726  11119 |        0 |        0
1663.63/1664.16	c 1664s |      27 | 16137578 | 12214533 |     2726  11129 |        0 |        0
1665.63/1666.18	c 1666s |      27 | 16156362 | 12228733 |     2726  11139 |        0 |        0
1667.63/1668.19	c 1668s |      27 | 16174095 | 12242033 |     2726  11148 |        0 |        0
1669.73/1670.21	c 1670s |      27 | 16189864 | 12254633 |     2726  11157 |        0 |        0
1671.72/1672.21	c 1672s |      27 | 16208436 | 12268433 |     2726  11166 |        0 |        0
1673.73/1674.22	c 1674s |      27 | 16227205 | 12282733 |     2726  11176 |        0 |        0
1675.72/1676.23	c 1676s |      27 | 16243997 | 12295833 |     2726  11185 |        0 |        0
1677.73/1678.24	c 1678s |      27 | 16261130 | 12308833 |     2726  11194 |        0 |        0
1679.73/1680.24	c 1680s |      27 | 16278231 | 12321833 |     2726  11203 |        0 |        0
1681.73/1682.24	c 1682s |      27 | 16297358 | 12335833 |     2726  11213 |        0 |        0
1683.74/1684.25	c 1684s |      27 | 16317389 | 12350833 |     2726  11223 |        0 |        0
1685.73/1686.25	c 1686s |      27 | 16332996 | 12363333 |     2726  11232 |        0 |        0
1687.73/1688.26	c 1688s |      27 | 16352696 | 12377633 |     2726  11242 |        0 |        0
1689.73/1690.27	c 1690s |      27 | 16371268 | 12391833 |     2726  11252 |        0 |        0
1691.73/1692.27	c 1692s |      27 | 16388818 | 12405433 |     2726  11261 |        0 |        0
1693.73/1694.28	c 1694s |      27 | 16408382 | 12419633 |     2726  11271 |        0 |        0
1695.73/1696.29	c 1696s |      27 | 16425610 | 12432833 |     2726  11281 |        0 |        0
1697.83/1698.30	c 1698s |      27 | 16443290 | 12446633 |     2726  11290 |        0 |        0
1699.83/1700.31	c 1700s |      27 | 16460999 | 12459833 |     2726  11299 |        0 |        0
1701.83/1702.32	c 1702s |      27 | 16479037 | 12473333 |     2726  11309 |        0 |        0
1703.83/1704.33	c 1704s |      27 | 16496880 | 12486933 |     2726  11318 |        0 |        0
1705.82/1706.34	c 1706s |      27 | 16514754 | 12500733 |     2726  11328 |        0 |        0
1707.83/1708.35	c 1708s |      27 | 16532195 | 12514333 |     2726  11337 |        0 |        0
1709.82/1710.35	c 1710s |      27 | 16550036 | 12527733 |     2726  11347 |        0 |        0
1711.82/1712.36	c 1712s |      27 | 16568211 | 12541633 |     2726  11356 |        0 |        0
1713.82/1714.37	c 1714s |      27 | 16583659 | 12553933 |     2726  11365 |        0 |        0
1715.82/1716.39	c 1716s |      27 | 16601881 | 12567633 |     2726  11374 |        0 |        0
1717.92/1718.40	c 1718s |      27 | 16618654 | 12580133 |     2726  11383 |        0 |        0
1719.82/1720.40	c 1720s |      27 | 16634884 | 12591933 |     2726  11391 |        0 |        0
1721.92/1722.41	c 1722s |      27 | 16649311 | 12603333 |     2726  11399 |        0 |        0
1723.92/1724.43	c 1724s |      27 | 16662758 | 12614333 |     2726  11407 |        0 |        0
1725.92/1726.44	c 1726s |      27 | 16677063 | 12625333 |     2726  11415 |        0 |        0
1727.92/1728.46	c 1728s |      27 | 16692737 | 12637033 |     2726  11423 |        0 |        0
1729.92/1730.47	c 1730s |      27 | 16707759 | 12648433 |     2726  11431 |        0 |        0
1731.92/1732.49	c 1732s |      27 | 16722193 | 12659133 |     2726  11439 |        0 |        0
1734.02/1734.51	c 1734s |      27 | 16737521 | 12670133 |     2726  11446 |        0 |        0
1736.01/1736.51	c 1736s |      27 | 16753804 | 12682333 |     2726  11455 |        0 |        0
1738.01/1738.52	c 1738s |      27 | 16770910 | 12695033 |     2726  11464 |        0 |        0
1740.01/1740.53	c 1740s |      27 | 16784579 | 12706133 |     2726  11471 |        0 |        0
1742.02/1742.53	c 1742s |      27 | 16800871 | 12717733 |     2726  11480 |        0 |        0
1744.01/1744.54	c 1744s |      27 | 16818548 | 12730033 |     2726  11488 |        0 |        0
1746.01/1746.55	c 1746s |      27 | 16835429 | 12742133 |     2726  11497 |        0 |        0
1748.01/1748.55	c 1748s |      27 | 16852354 | 12753533 |     2726  11505 |        0 |        0
1750.01/1750.56	c 1750s |      27 | 16867353 | 12764933 |     2726  11513 |        0 |        0
1752.01/1752.57	c 1752s |      27 | 16883297 | 12776933 |     2726  11521 |        0 |        0
1754.02/1754.57	c 1754s |      27 | 16897551 | 12787533 |     2726  11529 |        0 |        0
1756.01/1756.58	c 1756s |      27 | 16913663 | 12799133 |     2726  11537 |        0 |        0
1758.12/1758.60	c 1758s |      27 | 16927478 | 12809833 |     2726  11544 |        0 |        0
1760.12/1760.61	c 1760s |      27 | 16941406 | 12820833 |     2726  11552 |        0 |        0
1762.12/1762.63	c 1762s |      27 | 16956041 | 12831933 |     2726  11560 |        0 |        0
1764.12/1764.64	c 1764s |      27 | 16971079 | 12843133 |     2726  11568 |        0 |        0
1766.12/1766.64	c 1766s |      27 | 16986439 | 12854533 |     2726  11576 |        0 |        0
1768.12/1768.65	c 1768s |      27 | 17000475 | 12865733 |     2726  11584 |        0 |        0
1770.12/1770.65	c 1770s |      27 | 17015285 | 12877033 |     2726  11592 |        0 |        0
1772.11/1772.66	c 1772s |      27 | 17028842 | 12887933 |     2726  11599 |        0 |        0
1774.11/1774.67	c 1774s |      27 | 17042102 | 12898233 |     2726  11606 |        0 |        0
1776.12/1776.68	c 1776s |      27 | 17059104 | 12911333 |     2726  11615 |        0 |        0
1778.11/1778.68	c 1778s |      27 | 17073730 | 12923733 |     2726  11624 |        0 |        0
1780.11/1780.68	c 1780s |      27 | 17089493 | 12936233 |     2726  11633 |        0 |        0
1782.11/1782.69	c 1782s |      27 | 17106237 | 12949433 |     2726  11642 |        0 |        0
1784.21/1784.70	c 1784s |      27 | 17122845 | 12961833 |     2726  11651 |        0 |        0
1786.21/1786.71	c 1786s |      27 | 17139302 | 12974833 |     2726  11660 |        0 |        0
1788.22/1788.71	c 1788s |      27 | 17155724 | 12987333 |     2726  11669 |        0 |        0
1790.21/1790.73	c 1790s |      27 | 17174082 | 13001333 |     2726  11678 |        0 |        0
1792.21/1792.73	c 1792s |      27 | 17193722 | 13015833 |     2726  11688 |        0 |        0
1794.21/1794.74	c 1794s |      27 | 17212028 | 13029433 |     2726  11698 |        0 |        0
1796.21/1796.74	c 1796s |      27 | 17231051 | 13043333 |     2726  11708 |        0 |        0
1798.21/1798.74	c 1798s |      27 | 17248681 | 13057033 |     2726  11717 |        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-4122122-1467316286/watcher-4122122-1467316286 -o /tmp/evaluation-result-4122122-1467316286/solver-4122122-1467316286 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node128-1467314186-8725 --watchdog 1960 toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4122122-1467316286.opb 

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

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


[startup+0 s]
/proc/loadavg: 2.00 2.00 1.91 3/179 9203
/proc/meminfo: memFree=30089584/32872528 swapFree=295864/318348
[pid=9203] ppid=9200 vsize=781756 CPUtime=0 cores=0,2,4,6
/proc/9203/stat : 9203 (toysat) R 9200 9203 4291 0 -1 4202496 2928 0 0 0 0 0 0 0 20 0 4 0 2306216 800518144 2779 33554432000 4194304 16246674 140734896510720 140734896510144 13880264 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/9203/statm: 196207 2788 441 2943 0 193101 0
[pid=9203/tid=9204] ppid=9200 vsize=800188 CPUtime=0 cores=0,2,4,6
/proc/9203/task/9204/stat : 9204 (toysat) S 9200 9203 4291 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 2306217 819392512 2850 33554432000 4194304 16246674 140734896510720 140489425661168 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=9203/tid=9205] ppid=9200 vsize=804284 CPUtime=0 cores=0,2,4,6
/proc/9203/task/9205/stat : 9205 (toysat) S 9200 9203 4291 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 2306217 823586816 2868 33554432000 4194304 16246674 140734896510720 140489415171312 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=9203/tid=9206] ppid=9200 vsize=808380 CPUtime=0 cores=0,2,4,6
/proc/9203/task/9206/stat : 9206 (toysat) S 9200 9203 4291 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 2306217 827781120 2884 33554432000 4194304 16246674 140734896510720 140489404697776 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0

[startup+0.100172 s]
/proc/loadavg: 2.00 2.00 1.91 3/179 9203
/proc/meminfo: memFree=30089584/32872528 swapFree=295864/318348
[pid=9203] ppid=9200 vsize=1218116 CPUtime=0.09 cores=0,2,4,6
/proc/9203/stat : 9203 (toysat) R 9200 9203 4291 0 -1 4202496 24879 0 0 0 6 3 0 0 20 0 4 0 2306216 1247350784 24718 33554432000 4194304 16246674 140734896510720 140734896510144 13954410 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/9203/statm: 304529 24726 707 2943 0 301423 0
[pid=9203/tid=9204] ppid=9200 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/9203/task/9204/stat : 9204 (toysat) S 9200 9203 4291 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 2306217 1247350784 24732 33554432000 4194304 16246674 140734896510720 140489425661168 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=9203/tid=9205] ppid=9200 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/9203/task/9205/stat : 9205 (toysat) S 9200 9203 4291 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 2306217 1247350784 24740 33554432000 4194304 16246674 140734896510720 140489415171312 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=9203/tid=9206] ppid=9200 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/9203/task/9206/stat : 9206 (toysat) S 9200 9203 4291 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 2306217 1247350784 24746 33554432000 4194304 16246674 140734896510720 140489404697776 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 1218116

[startup+0.20048 s]
/proc/loadavg: 2.00 2.00 1.91 3/179 9203
/proc/meminfo: memFree=30089584/32872528 swapFree=295864/318348
[pid=9203] ppid=9200 vsize=1218116 CPUtime=0.19 cores=0,2,4,6
/proc/9203/stat : 9203 (toysat) R 9200 9203 4291 0 -1 4202496 47078 0 0 0 13 6 0 0 20 0 4 0 2306216 1247350784 46917 33554432000 4194304 16246674 140734896510720 140734896510144 5669490 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/9203/statm: 304529 46927 707 2943 0 301423 0
[pid=9203/tid=9204] ppid=9200 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/9203/task/9204/stat : 9204 (toysat) S 9200 9203 4291 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 2306217 1247350784 46934 33554432000 4194304 16246674 140734896510720 140489425661168 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=9203/tid=9205] ppid=9200 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/9203/task/9205/stat : 9205 (toysat) S 9200 9203 4291 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 2306217 1247350784 46942 33554432000 4194304 16246674 140734896510720 140489415171312 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=9203/tid=9206] ppid=9200 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/9203/task/9206/stat : 9206 (toysat) S 9200 9203 4291 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 2306217 1247350784 46949 33554432000 4194304 16246674 140734896510720 140489404697776 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 1218116

[startup+0.30048 s]
/proc/loadavg: 2.00 2.00 1.91 3/179 9203
/proc/meminfo: memFree=30089584/32872528 swapFree=295864/318348
[pid=9203] ppid=9200 vsize=1218116 CPUtime=0.29 cores=0,2,4,6
/proc/9203/stat : 9203 (toysat) R 9200 9203 4291 0 -1 4202496 69679 0 0 0 21 8 0 0 20 0 4 0 2306216 1247350784 69519 33554432000 4194304 16246674 140734896510720 140734896510144 5675357 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/9203/statm: 304529 69531 707 2943 0 301423 0
[pid=9203/tid=9204] ppid=9200 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/9203/task/9204/stat : 9204 (toysat) S 9200 9203 4291 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 2306217 1247350784 69536 33554432000 4194304 16246674 140734896510720 140489425661168 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=9203/tid=9205] ppid=9200 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/9203/task/9205/stat : 9205 (toysat) S 9200 9203 4291 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 2306217 1247350784 69544 33554432000 4194304 16246674 140734896510720 140489415171312 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=9203/tid=9206] ppid=9200 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/9203/task/9206/stat : 9206 (toysat) S 9200 9203 4291 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 2306217 1247350784 69551 33554432000 4194304 16246674 140734896510720 140489404697776 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 1218116

[startup+0.700403 s]
/proc/loadavg: 2.00 2.00 1.91 3/179 9203
/proc/meminfo: memFree=30089584/32872528 swapFree=295864/318348
[pid=9203] ppid=9200 vsize=1218116 CPUtime=0.69 cores=0,2,4,6
/proc/9203/stat : 9203 (toysat) R 9200 9203 4291 0 -1 4202496 158147 0 0 0 46 23 0 0 20 0 4 0 2306216 1247350784 157987 33554432000 4194304 16246674 140734896510720 140734896493720 5546098 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/9203/statm: 304529 157995 708 2943 0 301423 0
[pid=9203/tid=9204] ppid=9200 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/9203/task/9204/stat : 9204 (toysat) S 9200 9203 4291 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 2306217 1247350784 158000 33554432000 4194304 16246674 140734896510720 140489425661168 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=9203/tid=9205] ppid=9200 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/9203/task/9205/stat : 9205 (toysat) S 9200 9203 4291 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 2306217 1247350784 158006 33554432000 4194304 16246674 140734896510720 140489415171312 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=9203/tid=9206] ppid=9200 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/9203/task/9206/stat : 9206 (toysat) S 9200 9203 4291 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 2306217 1247350784 158012 33554432000 4194304 16246674 140734896510720 140489404697776 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 1218116

[startup+1.50041 s]
/proc/loadavg: 2.00 2.00 1.91 3/183 9207
/proc/meminfo: memFree=29108868/32872528 swapFree=295864/318348
[pid=9203] ppid=9200 vsize=1219140 CPUtime=1.49 cores=0,2,4,6
/proc/9203/stat : 9203 (toysat) R 9200 9203 4291 0 -1 4202496 245716 0 0 0 116 33 0 0 20 0 4 0 2306216 1248399360 245535 33554432000 4194304 16246674 140734896510720 140734896510032 5822604 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/9203/statm: 304785 245535 783 2943 0 301679 0
[pid=9203/tid=9204] ppid=9200 vsize=1219140 CPUtime=0 cores=0,2,4,6
/proc/9203/task/9204/stat : 9204 (toysat) S 9200 9203 4291 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 2306217 1248399360 245535 33554432000 4194304 16246674 140734896510720 140489425661168 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=9203/tid=9205] ppid=9200 vsize=1219140 CPUtime=0 cores=0,2,4,6
/proc/9203/task/9205/stat : 9205 (toysat) S 9200 9203 4291 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 2306217 1248399360 245535 33554432000 4194304 16246674 140734896510720 140489415171312 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=9203/tid=9206] ppid=9200 vsize=1219140 CPUtime=0 cores=0,2,4,6
/proc/9203/task/9206/stat : 9206 (toysat) S 9200 9203 4291 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 2306217 1248399360 245535 33554432000 4194304 16246674 140734896510720 140489404697776 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 1219140

[startup+3.10041 s]
/proc/loadavg: 2.00 2.00 1.91 3/183 9207
/proc/meminfo: memFree=29021928/32872528 swapFree=295864/318348
[pid=9203] ppid=9200 vsize=1306180 CPUtime=3.09 cores=0,2,4,6
/proc/9203/stat : 9203 (toysat) R 9200 9203 4291 0 -1 4202496 267536 0 0 0 273 36 0 0 20 0 4 0 2306216 1337528320 267355 33554432000 4194304 16246674 140734896510720 140734896493720 5672188 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/9203/statm: 326545 267355 783 2943 0 323439 0
[pid=9203/tid=9204] ppid=9200 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/9203/task/9204/stat : 9204 (toysat) S 9200 9203 4291 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 2306217 1337528320 267355 33554432000 4194304 16246674 140734896510720 140489425661168 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=9203/tid=9205] ppid=9200 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/9203/task/9205/stat : 9205 (toysat) S 9200 9203 4291 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 2306217 1337528320 267355 33554432000 4194304 16246674 140734896510720 140489415171312 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=9203/tid=9206] ppid=9200 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/9203/task/9206/stat : 9206 (toysat) S 9200 9203 4291 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 2306217 1337528320 267355 33554432000 4194304 16246674 140734896510720 140489404697776 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 1306180

[startup+6.30042 s]
/proc/loadavg: 2.00 2.00 1.91 3/183 9207
/proc/meminfo: memFree=29019960/32872528 swapFree=295864/318348
[pid=9203] ppid=9200 vsize=1307204 CPUtime=6.29 cores=0,2,4,6
/proc/9203/stat : 9203 (toysat) R 9200 9203 4291 0 -1 4202496 267637 0 0 0 593 36 0 0 20 0 4 0 2306216 1338576896 267456 33554432000 4194304 16246674 140734896510720 140734896493720 15015658 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/9203/statm: 326801 267456 785 2943 0 323695 0
[pid=9203/tid=9204] ppid=9200 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/9203/task/9204/stat : 9204 (toysat) S 9200 9203 4291 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 2306217 1338576896 267456 33554432000 4194304 16246674 140734896510720 140489425661168 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=9203/tid=9205] ppid=9200 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/9203/task/9205/stat : 9205 (toysat) S 9200 9203 4291 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 2306217 1338576896 267456 33554432000 4194304 16246674 140734896510720 140489415171312 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=9203/tid=9206] ppid=9200 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/9203/task/9206/stat : 9206 (toysat) S 9200 9203 4291 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 2306217 1338576896 267456 33554432000 4194304 16246674 140734896510720 140489404697776 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 1307204

[startup+12.7004 s]
/proc/loadavg: 2.00 2.00 1.91 3/183 9207
/proc/meminfo: memFree=29019392/32872528 swapFree=295864/318348
[pid=9203] ppid=9200 vsize=1307204 CPUtime=12.68 cores=0,2,4,6
/proc/9203/stat : 9203 (toysat) R 9200 9203 4291 0 -1 4202496 267769 0 0 0 1232 36 0 0 20 0 4 0 2306216 1338576896 267588 33554432000 4194304 16246674 140734896510720 140734896492608 5545840 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/9203/statm: 326801 267588 786 2943 0 323695 0
[pid=9203/tid=9204] ppid=9200 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/9203/task/9204/stat : 9204 (toysat) S 9200 9203 4291 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 2306217 1338576896 267588 33554432000 4194304 16246674 140734896510720 140489425661168 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=9203/tid=9205] ppid=9200 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/9203/task/9205/stat : 9205 (toysat) S 9200 9203 4291 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 2306217 1338576896 267588 33554432000 4194304 16246674 140734896510720 140489415171312 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=9203/tid=9206] ppid=9200 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/9203/task/9206/stat : 9206 (toysat) S 9200 9203 4291 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 2306217 1338576896 267588 33554432000 4194304 16246674 140734896510720 140489404697776 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 1307204

[startup+25.5005 s]
/proc/loadavg: 2.07 2.02 1.91 3/183 9207
/proc/meminfo: memFree=29019532/32872528 swapFree=295864/318348
[pid=9203] ppid=9200 vsize=1307204 CPUtime=25.49 cores=0,2,4,6
/proc/9203/stat : 9203 (toysat) R 9200 9203 4291 0 -1 4202496 267826 0 0 0 2512 37 0 0 20 0 4 0 2306216 1338576896 267645 33554432000 4194304 16246674 140734896510720 140734896493720 5523356 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/9203/statm: 326801 267645 786 2943 0 323695 0
[pid=9203/tid=9204] ppid=9200 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/9203/task/9204/stat : 9204 (toysat) S 9200 9203 4291 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 2306217 1338576896 267645 33554432000 4194304 16246674 140734896510720 140489425661168 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=9203/tid=9205] ppid=9200 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/9203/task/9205/stat : 9205 (toysat) S 9200 9203 4291 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 2306217 1338576896 267645 33554432000 4194304 16246674 140734896510720 140489415171312 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=9203/tid=9206] ppid=9200 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/9203/task/9206/stat : 9206 (toysat) S 9200 9203 4291 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 2306217 1338576896 267645 33554432000 4194304 16246674 140734896510720 140489404697776 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 1307204

[startup+51.1005 s]
/proc/loadavg: 2.05 2.01 1.91 3/183 9207
/proc/meminfo: memFree=29018684/32872528 swapFree=295864/318348
[pid=9203] ppid=9200 vsize=1308228 CPUtime=51.08 cores=0,2,4,6
/proc/9203/stat : 9203 (toysat) R 9200 9203 4291 0 -1 4202496 268082 0 0 0 5070 38 0 0 20 0 4 0 2306216 1339625472 267901 33554432000 4194304 16246674 140734896510720 140734896493720 5672213 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/9203/statm: 327057 267901 786 2943 0 323951 0
[pid=9203/tid=9204] ppid=9200 vsize=1308228 CPUtime=0 cores=0,2,4,6
/proc/9203/task/9204/stat : 9204 (toysat) S 9200 9203 4291 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 2306217 1339625472 267901 33554432000 4194304 16246674 140734896510720 140489425661168 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=9203/tid=9205] ppid=9200 vsize=1308228 CPUtime=0 cores=0,2,4,6
/proc/9203/task/9205/stat : 9205 (toysat) S 9200 9203 4291 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 2306217 1339625472 267901 33554432000 4194304 16246674 140734896510720 140489415171312 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=9203/tid=9206] ppid=9200 vsize=1308228 CPUtime=0 cores=0,2,4,6
/proc/9203/task/9206/stat : 9206 (toysat) S 9200 9203 4291 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 2306217 1339625472 267901 33554432000 4194304 16246674 140734896510720 140489404697776 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 1308228

[startup+102.301 s]
/proc/loadavg: 2.02 2.01 1.91 3/183 9209
/proc/meminfo: memFree=29017968/32872528 swapFree=295864/318348
[pid=9203] ppid=9200 vsize=1308228 CPUtime=102.28 cores=0,2,4,6
/proc/9203/stat : 9203 (toysat) R 9200 9203 4291 0 -1 4202496 268082 0 0 0 10189 39 0 0 20 0 4 0 2306216 1339625472 267901 33554432000 4194304 16246674 140734896510720 140734896492608 5523315 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/9203/statm: 327057 267901 786 2943 0 323951 0
[pid=9203/tid=9204] ppid=9200 vsize=1308228 CPUtime=0 cores=0,2,4,6
/proc/9203/task/9204/stat : 9204 (toysat) S 9200 9203 4291 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 2306217 1339625472 267901 33554432000 4194304 16246674 140734896510720 140489425661168 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=9203/tid=9205] ppid=9200 vsize=1308228 CPUtime=0 cores=0,2,4,6
/proc/9203/task/9205/stat : 9205 (toysat) S 9200 9203 4291 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 2306217 1339625472 267901 33554432000 4194304 16246674 140734896510720 140489415171312 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=9203/tid=9206] ppid=9200 vsize=1308228 CPUtime=0 cores=0,2,4,6
/proc/9203/task/9206/stat : 9206 (toysat) S 9200 9203 4291 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 2306217 1339625472 267901 33554432000 4194304 16246674 140734896510720 140489404697776 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 1308228


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

/proc/9203/task/9206/stat : 9206 (toysat) S 9200 9203 4291 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 2306217 1344868352 269439 33554432000 4194304 16246674 140734896510720 140489404697776 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1301.89
Current children cumulated vsize (KiB) 1313348

[startup+1362.3 s]
/proc/loadavg: 2.05 2.08 2.02 3/183 9362
/proc/meminfo: memFree=29011884/32872528 swapFree=295864/318348
[pid=9203] ppid=9200 vsize=1313348 CPUtime=1361.88 cores=0,2,4,6
/proc/9203/stat : 9203 (toysat) R 9200 9203 4291 0 -1 4202496 269780 0 0 0 136124 64 0 0 20 0 4 0 2306216 1344868352 269439 33554432000 4194304 16246674 140734896510720 140734896492608 6013248 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/9203/statm: 328337 269439 788 2943 0 325231 0
[pid=9203/tid=9204] ppid=9200 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/9203/task/9204/stat : 9204 (toysat) S 9200 9203 4291 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 2306217 1344868352 269439 33554432000 4194304 16246674 140734896510720 140489425661168 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=9203/tid=9205] ppid=9200 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/9203/task/9205/stat : 9205 (toysat) S 9200 9203 4291 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 2306217 1344868352 269439 33554432000 4194304 16246674 140734896510720 140489415171312 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=9203/tid=9206] ppid=9200 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/9203/task/9206/stat : 9206 (toysat) S 9200 9203 4291 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 2306217 1344868352 269439 33554432000 4194304 16246674 140734896510720 140489404697776 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1361.88
Current children cumulated vsize (KiB) 1313348

[startup+1422.3 s]
/proc/loadavg: 2.02 2.06 2.01 3/183 9363
/proc/meminfo: memFree=29011604/32872528 swapFree=295864/318348
[pid=9203] ppid=9200 vsize=1313348 CPUtime=1421.87 cores=0,2,4,6
/proc/9203/stat : 9203 (toysat) R 9200 9203 4291 0 -1 4202496 269780 0 0 0 142123 64 0 0 20 0 4 0 2306216 1344868352 269439 33554432000 4194304 16246674 140734896510720 140734896492608 5523080 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/9203/statm: 328337 269439 788 2943 0 325231 0
[pid=9203/tid=9204] ppid=9200 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/9203/task/9204/stat : 9204 (toysat) S 9200 9203 4291 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 2306217 1344868352 269439 33554432000 4194304 16246674 140734896510720 140489425661168 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=9203/tid=9205] ppid=9200 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/9203/task/9205/stat : 9205 (toysat) S 9200 9203 4291 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 2306217 1344868352 269439 33554432000 4194304 16246674 140734896510720 140489415171312 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=9203/tid=9206] ppid=9200 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/9203/task/9206/stat : 9206 (toysat) S 9200 9203 4291 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 2306217 1344868352 269439 33554432000 4194304 16246674 140734896510720 140489404697776 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1421.87
Current children cumulated vsize (KiB) 1313348

[startup+1482.3 s]
/proc/loadavg: 2.08 2.07 2.01 3/183 9364
/proc/meminfo: memFree=29011908/32872528 swapFree=295864/318348
[pid=9203] ppid=9200 vsize=1313348 CPUtime=1481.86 cores=0,2,4,6
/proc/9203/stat : 9203 (toysat) R 9200 9203 4291 0 -1 4202496 269780 0 0 0 148121 65 0 0 20 0 4 0 2306216 1344868352 269439 33554432000 4194304 16246674 140734896510720 140734896492608 5522977 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/9203/statm: 328337 269439 788 2943 0 325231 0
[pid=9203/tid=9204] ppid=9200 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/9203/task/9204/stat : 9204 (toysat) S 9200 9203 4291 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 2306217 1344868352 269439 33554432000 4194304 16246674 140734896510720 140489425661168 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=9203/tid=9205] ppid=9200 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/9203/task/9205/stat : 9205 (toysat) S 9200 9203 4291 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 2306217 1344868352 269439 33554432000 4194304 16246674 140734896510720 140489415171312 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=9203/tid=9206] ppid=9200 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/9203/task/9206/stat : 9206 (toysat) S 9200 9203 4291 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 2306217 1344868352 269439 33554432000 4194304 16246674 140734896510720 140489404697776 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1481.86
Current children cumulated vsize (KiB) 1313348

[startup+1542.31 s]
/proc/loadavg: 2.03 2.05 2.01 3/183 9365
/proc/meminfo: memFree=29011688/32872528 swapFree=295864/318348
[pid=9203] ppid=9200 vsize=1313348 CPUtime=1541.85 cores=0,2,4,6
/proc/9203/stat : 9203 (toysat) R 9200 9203 4291 0 -1 4202496 269780 0 0 0 154119 66 0 0 20 0 4 0 2306216 1344868352 269439 33554432000 4194304 16246674 140734896510720 140734896492608 6073358 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/9203/statm: 328337 269439 788 2943 0 325231 0
[pid=9203/tid=9204] ppid=9200 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/9203/task/9204/stat : 9204 (toysat) S 9200 9203 4291 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 2306217 1344868352 269439 33554432000 4194304 16246674 140734896510720 140489425661168 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=9203/tid=9205] ppid=9200 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/9203/task/9205/stat : 9205 (toysat) S 9200 9203 4291 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 2306217 1344868352 269439 33554432000 4194304 16246674 140734896510720 140489415171312 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=9203/tid=9206] ppid=9200 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/9203/task/9206/stat : 9206 (toysat) S 9200 9203 4291 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 2306217 1344868352 269439 33554432000 4194304 16246674 140734896510720 140489404697776 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1541.85
Current children cumulated vsize (KiB) 1313348

[startup+1602.3 s]
/proc/loadavg: 2.06 2.06 2.00 3/183 9366
/proc/meminfo: memFree=29011600/32872528 swapFree=295864/318348
[pid=9203] ppid=9200 vsize=1313348 CPUtime=1601.83 cores=0,2,4,6
/proc/9203/stat : 9203 (toysat) R 9200 9203 4291 0 -1 4202496 269780 0 0 0 160116 67 0 0 20 0 4 0 2306216 1344868352 269439 33554432000 4194304 16246674 140734896510720 140734896493720 5823694 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/9203/statm: 328337 269439 788 2943 0 325231 0
[pid=9203/tid=9204] ppid=9200 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/9203/task/9204/stat : 9204 (toysat) S 9200 9203 4291 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 2306217 1344868352 269439 33554432000 4194304 16246674 140734896510720 140489425661168 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=9203/tid=9205] ppid=9200 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/9203/task/9205/stat : 9205 (toysat) S 9200 9203 4291 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 2306217 1344868352 269439 33554432000 4194304 16246674 140734896510720 140489415171312 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=9203/tid=9206] ppid=9200 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/9203/task/9206/stat : 9206 (toysat) S 9200 9203 4291 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 2306217 1344868352 269439 33554432000 4194304 16246674 140734896510720 140489404697776 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1601.83
Current children cumulated vsize (KiB) 1313348

[startup+1662.3 s]
/proc/loadavg: 2.08 2.06 2.00 3/183 9368
/proc/meminfo: memFree=29009924/32872528 swapFree=295864/318348
[pid=9203] ppid=9200 vsize=1314372 CPUtime=1661.83 cores=0,2,4,6
/proc/9203/stat : 9203 (toysat) R 9200 9203 4291 0 -1 4202496 270036 0 0 0 166115 68 0 0 20 0 4 0 2306216 1345916928 269695 33554432000 4194304 16246674 140734896510720 140734896492608 15015658 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/9203/statm: 328593 269695 788 2943 0 325487 0
[pid=9203/tid=9204] ppid=9200 vsize=1314372 CPUtime=0 cores=0,2,4,6
/proc/9203/task/9204/stat : 9204 (toysat) S 9200 9203 4291 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 2306217 1345916928 269695 33554432000 4194304 16246674 140734896510720 140489425661168 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=9203/tid=9205] ppid=9200 vsize=1314372 CPUtime=0 cores=0,2,4,6
/proc/9203/task/9205/stat : 9205 (toysat) S 9200 9203 4291 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 2306217 1345916928 269695 33554432000 4194304 16246674 140734896510720 140489415171312 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=9203/tid=9206] ppid=9200 vsize=1314372 CPUtime=0 cores=0,2,4,6
/proc/9203/task/9206/stat : 9206 (toysat) S 9200 9203 4291 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 2306217 1345916928 269695 33554432000 4194304 16246674 140734896510720 140489404697776 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1661.83
Current children cumulated vsize (KiB) 1314372

[startup+1722.3 s]
/proc/loadavg: 2.03 2.05 2.00 3/184 9372
/proc/meminfo: memFree=29005212/32872528 swapFree=295864/318348
[pid=9203] ppid=9200 vsize=1319492 CPUtime=1721.82 cores=0,2,4,6
/proc/9203/stat : 9203 (toysat) R 9200 9203 4291 0 -1 4202496 271097 0 0 0 172113 69 0 0 20 0 4 0 2306216 1351159808 270756 33554432000 4194304 16246674 140734896510720 140734896492608 5721655 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/9203/statm: 329873 270756 788 2943 0 326767 0
[pid=9203/tid=9204] ppid=9200 vsize=1319492 CPUtime=0 cores=0,2,4,6
/proc/9203/task/9204/stat : 9204 (toysat) S 9200 9203 4291 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 2306217 1351159808 270756 33554432000 4194304 16246674 140734896510720 140489425661168 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=9203/tid=9205] ppid=9200 vsize=1319492 CPUtime=0 cores=0,2,4,6
/proc/9203/task/9205/stat : 9205 (toysat) S 9200 9203 4291 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 2306217 1351159808 270756 33554432000 4194304 16246674 140734896510720 140489415171312 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=9203/tid=9206] ppid=9200 vsize=1319492 CPUtime=0 cores=0,2,4,6
/proc/9203/task/9206/stat : 9206 (toysat) S 9200 9203 4291 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 2306217 1351159808 270756 33554432000 4194304 16246674 140734896510720 140489404697776 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1721.82
Current children cumulated vsize (KiB) 1319492

[startup+1782.3 s]
/proc/loadavg: 2.19 2.08 2.01 3/183 9373
/proc/meminfo: memFree=29004920/32872528 swapFree=295864/318348
[pid=9203] ppid=9200 vsize=1319492 CPUtime=1781.81 cores=0,2,4,6
/proc/9203/stat : 9203 (toysat) R 9200 9203 4291 0 -1 4202496 271177 0 0 0 178111 70 0 0 20 0 4 0 2306216 1351159808 270836 33554432000 4194304 16246674 140734896510720 140734896493720 5822428 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/9203/statm: 329873 270836 788 2943 0 326767 0
[pid=9203/tid=9204] ppid=9200 vsize=1319492 CPUtime=0 cores=0,2,4,6
/proc/9203/task/9204/stat : 9204 (toysat) S 9200 9203 4291 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 2306217 1351159808 270836 33554432000 4194304 16246674 140734896510720 140489425661168 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=9203/tid=9205] ppid=9200 vsize=1319492 CPUtime=0 cores=0,2,4,6
/proc/9203/task/9205/stat : 9205 (toysat) S 9200 9203 4291 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 2306217 1351159808 270836 33554432000 4194304 16246674 140734896510720 140489415171312 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=9203/tid=9206] ppid=9200 vsize=1319492 CPUtime=0 cores=0,2,4,6
/proc/9203/task/9206/stat : 9206 (toysat) S 9200 9203 4291 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 2306217 1351159808 270836 33554432000 4194304 16246674 140734896510720 140489404697776 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1781.81
Current children cumulated vsize (KiB) 1319492



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.5 s]
/proc/loadavg: 2.20 2.09 2.02 3/183 9373
/proc/meminfo: memFree=29005016/32872528 swapFree=295864/318348
[pid=9203] ppid=9200 vsize=1319492 CPUtime=1800.01 cores=0,2,4,6
/proc/9203/stat : 9203 (toysat) R 9200 9203 4291 0 -1 4202496 271177 0 0 0 179931 70 0 0 20 0 4 0 2306216 1351159808 270836 33554432000 4194304 16246674 140734896510720 140734896493720 13943664 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/9203/statm: 329873 270836 788 2943 0 326767 0
[pid=9203/tid=9204] ppid=9200 vsize=1319492 CPUtime=0 cores=0,2,4,6
/proc/9203/task/9204/stat : 9204 (toysat) S 9200 9203 4291 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 2306217 1351159808 270836 33554432000 4194304 16246674 140734896510720 140489425661168 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=9203/tid=9205] ppid=9200 vsize=1319492 CPUtime=0 cores=0,2,4,6
/proc/9203/task/9205/stat : 9205 (toysat) S 9200 9203 4291 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 2306217 1351159808 270836 33554432000 4194304 16246674 140734896510720 140489415171312 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=9203/tid=9206] ppid=9200 vsize=1319492 CPUtime=0 cores=0,2,4,6
/proc/9203/task/9206/stat : 9206 (toysat) S 9200 9203 4291 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 2306217 1351159808 270836 33554432000 4194304 16246674 140734896510720 140489404697776 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1800.01
Current children cumulated vsize (KiB) 1319492

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

[startup+1800.5 s]
/proc/loadavg: 2.20 2.09 2.02 3/183 9373
/proc/meminfo: memFree=29005016/32872528 swapFree=295864/318348
[pid=9203] ppid=9200 vsize=1319492 CPUtime=1800.01 cores=0,2,4,6
/proc/9203/stat : 9203 (toysat) R 9200 9203 4291 0 -1 4202496 271177 0 0 0 179931 70 0 0 20 0 4 0 2306216 1351159808 270836 33554432000 4194304 16246674 140734896510720 140734896493720 13943664 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/9203/statm: 329873 270836 788 2943 0 326767 0
[pid=9203/tid=9204] ppid=9200 vsize=1319492 CPUtime=0 cores=0,2,4,6
/proc/9203/task/9204/stat : 9204 (toysat) S 9200 9203 4291 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 2306217 1351159808 270836 33554432000 4194304 16246674 140734896510720 140489425661168 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=9203/tid=9205] ppid=9200 vsize=1319492 CPUtime=0 cores=0,2,4,6
/proc/9203/task/9205/stat : 9205 (toysat) S 9200 9203 4291 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 2306217 1351159808 270836 33554432000 4194304 16246674 140734896510720 140489415171312 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=9203/tid=9206] ppid=9200 vsize=1319492 CPUtime=0 cores=0,2,4,6
/proc/9203/task/9206/stat : 9206 (toysat) S 9200 9203 4291 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 2306217 1351159808 270836 33554432000 4194304 16246674 140734896510720 140489404697776 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1800.01
Current children cumulated vsize (KiB) 1319492

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1800.51
CPU time (s): 1800.02
CPU user time (s): 1799.32
CPU system time (s): 0.703892
CPU usage (%): 99.973
Max. virtual memory (cumulated for all children) (KiB): 1319492

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.32
system time used= 0.703892
maximum resident set size= 1083344
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 271177
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= 430
involuntary context switches= 1859

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 4.37333 second user time and 7.15291 second system time

The end

Begin job on node128 at 2016-06-30 21:51:26
IDJOB=4122122
IDBENCH=110925
IDSOLVER=2542
FILE ID=node128/4122122-1467316286
RUNJOBID= node128-1467314186-8725
PBS_JOBID= 20005249
Free space on /tmp= 71728 MiB

SOLVER NAME= toysat 2016-05-02
BENCH NAME= PB15eval/normalized-PB15eval/DEC-SMALLINT-LIN/ProofComplexity-Extracted-Cardinality-Constraints/ProofComplexity/normalized-fixed-bandwidth-76.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-4122122-1467316286/watcher-4122122-1467316286 -o /tmp/evaluation-result-4122122-1467316286/solver-4122122-1467316286 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node128-1467314186-8725 --watchdog 1960  toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4122122-1467316286.opb

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

MD5SUM BENCH= db4a3fc40a34df92ee9fa61b9628fa81
RANDOM SEED=2003548039

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

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

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

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

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

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

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

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

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.501
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:        30090368 kB
Buffers:           74948 kB
Cached:           560716 kB
SwapCached:            0 kB
Active:          1305724 kB
Inactive:         420412 kB
Active(anon):    1093072 kB
Inactive(anon):        4 kB
Active(file):     212652 kB
Inactive(file):   420408 kB
Unevictable:      318348 kB
Mlocked:          295864 kB
SwapTotal:      67108856 kB
SwapFree:       67108856 kB
Dirty:             16624 kB
Writeback:             0 kB
AnonPages:       1408464 kB
Mapped:            17108 kB
Shmem:               204 kB
Slab:             606860 kB
SReclaimable:      50348 kB
SUnreclaim:       556512 kB
KernelStack:        1520 kB
PageTables:         7180 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    1540164 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:   1093632 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= 71712 MiB
End job on node128 at 2016-06-30 22:21:27