0.00/0.00	c 2016-06-30T21:38:51+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-4121794-1467315530.opb"]
0.00/0.01	c use --random-gen="3227424149 3137523204 1663470325 1574826544 3276977603 1575542530 3942831987 2317071432 985822019 855132468 2617469594 2994224219 2691996302 2677577577 4101486288 2791030679 312082725 3259504691 490961851 3357578983 396874965 1020931162 2614585884 127535253 547697424 1310834510 204766759 2030733469 3605256991 456878943 1285205793 3582285563 1806947601 981332974 3258035353 2640188814 4251818330 2177748421 703304481 2309887649 2987135541 558741330 813438880 3032484689 652333621 996556185 4261392409 3035444350 3316348985 103973779 1604511748 2197772094 3574993423 1423283765 602831798 1135671633 2981780926 54850653 3869385635 3861220235 3487853472 1855421441 1202992645 1722197451 3256196922 2133027330 1026681252 2779958175 374993542 3203646869 2253368467 3847160594 3764863815 2441716560 550272449 252416362 3465110781 3348607554 2237334078 242401512 2321261786 1677612903 2937961518 1017442828 1366358613 1443325354 2049525786 4152742176 783011502 30327872 2365427318 548728152 1096365314 1567522965 3669584518 1247426193 4240261624 2038897345 107847020 2150461906 3076646447 2929615283 3890301108 1952760613 195382269 3010654378 1668607209 2089575117 2288663160 225212710 699728430 2997214595 3016569608 3364052651 3628328596 1350745726 1892846926 2343009257 1708112685 1197131016 2789633389 1164281104 4190219061 384958710 532239027 3270006416 3723660401 2625940289 4240898588 1053488182 3523745880 316054886 325933323 3511541809 691197618 3273878643 146691105 1388435938 1942504546 3092089163 475615618 3010844240 2049478249 2979469833 1055204398 3115529205 3114837563 1148120949 2008736169 1162054589 567041807 2454354869 3711172677 2213136480 3942079572 2119482671 561917350 3396915575 3159961656 3613915345 3414358292 849829635 3927531424 747884316 2096247342 1221161551 1742099312 1990125508 3667728620 2142177101 1022143442 3503798806 3702543966 1932617046 499999548 2958056480 1042175753 515347673 993342398 2908066856 1136879172 2807900049 1644070171 2801235600 4249717107 2639269423 1402308412 1675958399 2624932198 1043575427 2667833181 2435698949 701841108 2901778790 1010809972 3473022027 257134085 61123694 1723809328 2063552823 1181673360 3144074398 1673692270 1593289832 2712648987 1174743619 3146557391 1423439430 3057006184 575870952 1393978221 1568290798 1671874696 3847980943 3094604473 890232267 1488774445 195422179 1551172436 2472513935 2277053019 3957833544 3673345031 3759975620 27650925 1208317161 1006973317 287703343 1005598654 1758503401 3337179740 1734109215 3521267240 4079403657 3015093205 761581866 1904778970 3295531514 2221959726 1065209739 3826371948 3711976386 148768669 1965602801 303489588 2518583056 108886151 1691741562 2094292219 2459182308 1253698120 1367810618 3306867693 3358683993 425025296 3118408892 255 362436" option to reproduce the execution
0.00/0.01	c #vars 221
0.00/0.01	c #constraints 220
0.00/0.01	c Solving starts ...
0.00/0.01	c ============================[ Search Statistics ]============================
0.00/0.01	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
0.00/0.01	c       |         |          |          |    Limit     GC | Var      | Constra 
0.00/0.01	c =============================================================================
0.00/0.01	c  0.0s |       0 |        0 |        0 |      147      0 |        0 |        0
0.00/0.02	c  0.0s |       1 |      176 |      100 |      147      0 |        0 |        0
0.00/0.04	c  0.0s |       2 |      419 |      250 |      162      1 |        0 |        0
0.00/0.06	c  0.0s |       3 |      751 |      475 |      179      2 |        0 |        0
0.00/0.09	c  0.1s |       4 |     1270 |      813 |      197      4 |        0 |        0
0.09/0.14	c  0.1s |       5 |     1908 |     1320 |      217      7 |        0 |        0
0.19/0.22	c  0.2s |       6 |     3015 |     2081 |      263     12 |        0 |        0
0.29/0.33	c  0.3s |       7 |     4571 |     3223 |      290     17 |        0 |        0
0.49/0.53	c  0.5s |       8 |     6816 |     4936 |      319     25 |        0 |        0
0.79/0.82	c  0.8s |       9 |     9952 |     7506 |      351     36 |        0 |        0
1.20/1.21	c  1.2s |      10 |    14835 |    11361 |      387     52 |        0 |        0
1.59/1.63	c  1.6s |      11 |    22795 |    17144 |      426     74 |        0 |        0
2.30/2.36	c  2.3s |      12 |    34373 |    25819 |      469    106 |        0 |        0
3.30/3.40	c  3.4s |      13 |    51631 |    38832 |      516    148 |        0 |        0
4.89/4.97	c  5.0s |      14 |    77565 |    58352 |      568    211 |        0 |        0
6.89/6.97	c  7.0s |      14 |   106711 |    80452 |      568    274 |        0 |        0
7.59/7.61	c  7.6s |      15 |   115527 |    87632 |      625    294 |        0 |        0
9.59/9.61	c  9.6s |      15 |   145389 |   110432 |      625    355 |        0 |        0
11.39/11.43	c 11.4s |      16 |   173828 |   131552 |      688    411 |        0 |        0
13.39/13.43	c 13.4s |      16 |   199950 |   151952 |      688    461 |        0 |        0
15.39/15.44	c 15.4s |      16 |   227667 |   173652 |      688    515 |        0 |        0
17.38/17.44	c 17.4s |      16 |   257571 |   195952 |      688    570 |        0 |        0
17.48/17.57	c 17.6s |      17 |   259546 |   197432 |      757    573 |        0 |        0
19.48/19.58	c 19.6s |      17 |   286896 |   218732 |      757    621 |        0 |        0
21.48/21.59	c 21.6s |      17 |   314789 |   239832 |      757    670 |        0 |        0
23.49/23.59	c 23.6s |      17 |   342905 |   261132 |      757    718 |        0 |        0
25.49/25.60	c 25.6s |      17 |   370683 |   282632 |      757    768 |        0 |        0
26.79/26.87	c 26.9s |      18 |   388749 |   296252 |      833    799 |        0 |        0
28.79/28.87	c 28.9s |      18 |   415464 |   316752 |      833    841 |        0 |        0
30.79/30.88	c 30.9s |      18 |   443645 |   338052 |      833    885 |        0 |        0
32.79/32.88	c 32.9s |      18 |   470438 |   358452 |      833    927 |        0 |        0
34.78/34.88	c 34.9s |      18 |   496057 |   378252 |      833    969 |        0 |        0
36.78/36.89	c 36.9s |      18 |   523904 |   399452 |      833   1013 |        0 |        0
38.78/38.89	c 38.9s |      18 |   552182 |   420552 |      833   1057 |        0 |        0
40.88/40.90	c 40.9s |      18 |   580268 |   441652 |      917   1101 |        0 |        0
41.08/41.16	c 41.1s |      19 |   584163 |   444482 |      917   1106 |        0 |        0
43.08/43.16	c 43.1s |      19 |   612661 |   465682 |      917   1147 |        0 |        0
45.09/45.17	c 45.2s |      19 |   641783 |   487282 |      917   1190 |        0 |        0
47.09/47.18	c 47.2s |      19 |   668092 |   508282 |      917   1231 |        0 |        0
49.09/49.18	c 49.2s |      19 |   696825 |   529882 |      917   1274 |        0 |        0
51.08/51.18	c 51.2s |      19 |   725164 |   551582 |      917   1316 |        0 |        0
53.08/53.19	c 53.2s |      19 |   753203 |   573082 |      917   1358 |        0 |        0
55.18/55.20	c 55.2s |      19 |   781115 |   594482 |      917   1401 |        0 |        0
57.08/57.20	c 57.2s |      19 |   806772 |   615082 |      917   1441 |        0 |        0
59.18/59.21	c 59.2s |      19 |   834142 |   636182 |      917   1482 |        0 |        0
61.18/61.21	c 61.2s |      19 |   859455 |   656082 |      917   1521 |        0 |        0
62.18/62.27	c 62.3s |      20 |   873489 |   666827 |     1009   1541 |        0 |        0
64.18/64.28	c 64.3s |      20 |   898105 |   686127 |     1009   1575 |        0 |        0
66.18/66.28	c 66.3s |      20 |   922799 |   705627 |     1009   1610 |        0 |        0
68.19/68.29	c 68.3s |      20 |   949535 |   725827 |     1009   1647 |        0 |        0
70.18/70.29	c 70.3s |      20 |   976258 |   746227 |     1009   1683 |        0 |        0
72.18/72.30	c 72.3s |      20 |  1002435 |   766027 |     1009   1719 |        0 |        0
74.28/74.30	c 74.3s |      20 |  1027578 |   785627 |     1009   1754 |        0 |        0
76.28/76.31	c 76.3s |      20 |  1053000 |   805127 |     1009   1790 |        0 |        0
78.28/78.32	c 78.3s |      20 |  1078307 |   825027 |     1009   1826 |        0 |        0
80.28/80.32	c 80.3s |      20 |  1104638 |   844927 |     1009   1862 |        0 |        0
82.28/82.32	c 82.3s |      20 |  1131596 |   865227 |     1009   1898 |        0 |        0
84.28/84.33	c 84.3s |      20 |  1157541 |   885327 |     1009   1935 |        0 |        0
86.27/86.34	c 86.3s |      20 |  1183760 |   905127 |     1009   1971 |        0 |        0
88.27/88.34	c 88.3s |      20 |  1208868 |   924727 |     1009   2007 |        0 |        0
90.28/90.34	c 90.3s |      20 |  1235871 |   945227 |     1009   2044 |        0 |        0
92.27/92.35	c 92.3s |      20 |  1261968 |   965327 |     1009   2080 |        0 |        0
94.27/94.36	c 94.3s |      20 |  1290102 |   985827 |     1009   2118 |        0 |        0
95.78/95.83	c 95.8s |      21 |  1309016 |  1000345 |     1110   2143 |        0 |        0
97.77/97.84	c 97.8s |      21 |  1334960 |  1020445 |     1110   2176 |        0 |        0
99.77/99.85	c 99.8s |      21 |  1359970 |  1039445 |     1110   2209 |        0 |        0
101.77/101.85	c  101s |      21 |  1384691 |  1057945 |     1110   2241 |        0 |        0
103.77/103.86	c  103s |      21 |  1409902 |  1076845 |     1110   2273 |        0 |        0
105.78/105.86	c  105s |      21 |  1436497 |  1096945 |     1110   2308 |        0 |        0
107.78/107.86	c  107s |      21 |  1464039 |  1117745 |     1110   2343 |        0 |        0
109.78/109.87	c  109s |      21 |  1490224 |  1137445 |     1110   2377 |        0 |        0
111.78/111.88	c  111s |      21 |  1518557 |  1157945 |     1110   2413 |        0 |        0
113.78/113.89	c  113s |      21 |  1547604 |  1178145 |     1110   2448 |        0 |        0
115.78/115.89	c  115s |      21 |  1573833 |  1197845 |     1110   2481 |        0 |        0
117.88/117.90	c  117s |      21 |  1599581 |  1216645 |     1110   2514 |        0 |        0
119.88/119.91	c  119s |      21 |  1626382 |  1236845 |     1110   2549 |        0 |        0
121.87/121.91	c  121s |      21 |  1654280 |  1257045 |     1110   2584 |        0 |        0
123.87/123.92	c  123s |      21 |  1680784 |  1276745 |     1110   2618 |        0 |        0
125.87/125.93	c  125s |      21 |  1706568 |  1296245 |     1110   2652 |        0 |        0
127.87/127.94	c  127s |      21 |  1733218 |  1316145 |     1110   2686 |        0 |        0
129.88/129.95	c  129s |      21 |  1760985 |  1336345 |     1110   2721 |        0 |        0
131.87/131.95	c  131s |      21 |  1788722 |  1356745 |     1110   2756 |        0 |        0
133.87/133.96	c  133s |      21 |  1814934 |  1376645 |     1110   2791 |        0 |        0
135.87/135.96	c  135s |      21 |  1843815 |  1397345 |     1110   2826 |        0 |        0
137.87/137.97	c  137s |      21 |  1870796 |  1417245 |     1110   2861 |        0 |        0
139.87/139.97	c  139s |      21 |  1898790 |  1437145 |     1110   2895 |        0 |        0
141.87/141.98	c  141s |      21 |  1925257 |  1456945 |     1110   2930 |        0 |        0
143.87/143.99	c  143s |      21 |  1953178 |  1477845 |     1110   2965 |        0 |        0
145.86/145.99	c  145s |      21 |  1978801 |  1496545 |     1221   2997 |        0 |        0
146.37/146.41	c  146s |      22 |  1984182 |  1500622 |     1221   3003 |        0 |        0
148.36/148.42	c  148s |      22 |  2011058 |  1518922 |     1221   3031 |        0 |        0
150.36/150.43	c  150s |      22 |  2036259 |  1536522 |     1221   3057 |        0 |        0
152.36/152.43	c  152s |      22 |  2059998 |  1553422 |     1221   3083 |        0 |        0
154.36/154.43	c  154s |      22 |  2085150 |  1571222 |     1221   3111 |        0 |        0
156.36/156.43	c  156s |      22 |  2110272 |  1589022 |     1221   3138 |        0 |        0
158.38/158.43	c  158s |      22 |  2133236 |  1607122 |     1221   3165 |        0 |        0
160.37/160.44	c  160s |      22 |  2159125 |  1625322 |     1221   3193 |        0 |        0
162.37/162.45	c  162s |      22 |  2182348 |  1643122 |     1221   3220 |        0 |        0
164.37/164.46	c  164s |      22 |  2206281 |  1661222 |     1221   3248 |        0 |        0
166.37/166.47	c  166s |      22 |  2229193 |  1679022 |     1221   3275 |        0 |        0
168.37/168.47	c  168s |      22 |  2254837 |  1697922 |     1221   3305 |        0 |        0
170.37/170.48	c  170s |      22 |  2278292 |  1715622 |     1221   3332 |        0 |        0
172.36/172.48	c  172s |      22 |  2300285 |  1732522 |     1221   3357 |        0 |        0
174.36/174.49	c  174s |      22 |  2322581 |  1749922 |     1221   3384 |        0 |        0
176.36/176.49	c  176s |      22 |  2345621 |  1767322 |     1221   3411 |        0 |        0
178.46/178.50	c  178s |      22 |  2368971 |  1784822 |     1221   3438 |        0 |        0
180.47/180.51	c  180s |      22 |  2393181 |  1802822 |     1221   3465 |        0 |        0
182.46/182.52	c  182s |      22 |  2414154 |  1818422 |     1221   3489 |        0 |        0
184.46/184.53	c  184s |      22 |  2436014 |  1835022 |     1221   3515 |        0 |        0
186.46/186.54	c  186s |      22 |  2460154 |  1853022 |     1221   3542 |        0 |        0
188.46/188.54	c  188s |      22 |  2485469 |  1871622 |     1221   3571 |        0 |        0
190.46/190.54	c  190s |      22 |  2508748 |  1888222 |     1221   3597 |        0 |        0
192.47/192.54	c  192s |      22 |  2531632 |  1904922 |     1221   3623 |        0 |        0
194.46/194.55	c  194s |      22 |  2555640 |  1922722 |     1221   3651 |        0 |        0
196.46/196.56	c  196s |      22 |  2580878 |  1941422 |     1221   3680 |        0 |        0
198.46/198.56	c  198s |      22 |  2606605 |  1959622 |     1221   3709 |        0 |        0
200.46/200.57	c  200s |      22 |  2631372 |  1977622 |     1221   3736 |        0 |        0
202.46/202.57	c  202s |      22 |  2655284 |  1995822 |     1221   3765 |        0 |        0
204.45/204.58	c  204s |      22 |  2679309 |  2013722 |     1221   3792 |        0 |        0
206.46/206.58	c  206s |      22 |  2703247 |  2031222 |     1221   3819 |        0 |        0
208.46/208.58	c  208s |      22 |  2727362 |  2048722 |     1221   3846 |        0 |        0
210.46/210.58	c  210s |      22 |  2752002 |  2067022 |     1221   3875 |        0 |        0
212.46/212.59	c  212s |      22 |  2775157 |  2084722 |     1221   3902 |        0 |        0
214.46/214.59	c  214s |      22 |  2796712 |  2101222 |     1221   3928 |        0 |        0
216.56/216.60	c  216s |      22 |  2816697 |  2116622 |     1221   3952 |        0 |        0
218.55/218.60	c  218s |      22 |  2840535 |  2134622 |     1221   3980 |        0 |        0
220.55/220.61	c  220s |      22 |  2863323 |  2152022 |     1221   4007 |        0 |        0
222.55/222.61	c  222s |      22 |  2887855 |  2169922 |     1221   4035 |        0 |        0
224.55/224.62	c  224s |      22 |  2910855 |  2187222 |     1221   4062 |        0 |        0
226.56/226.63	c  226s |      22 |  2934274 |  2205022 |     1221   4090 |        0 |        0
228.55/228.63	c  228s |      22 |  2957446 |  2222722 |     1221   4118 |        0 |        0
230.55/230.63	c  230s |      22 |  2981165 |  2240222 |     1344   4145 |        0 |        0
231.75/231.86	c  231s |      23 |  2995620 |  2251038 |     1344   4160 |        0 |        0
233.75/233.87	c  233s |      23 |  3017757 |  2268838 |     1344   4185 |        0 |        0
235.75/235.87	c  235s |      23 |  3041661 |  2287138 |     1344   4210 |        0 |        0
237.75/237.87	c  237s |      23 |  3064312 |  2304838 |     1344   4234 |        0 |        0
239.76/239.87	c  239s |      23 |  3085789 |  2321638 |     1344   4258 |        0 |        0
241.75/241.87	c  241s |      23 |  3108389 |  2338838 |     1344   4282 |        0 |        0
243.75/243.88	c  243s |      23 |  3133564 |  2357238 |     1344   4308 |        0 |        0
245.75/245.89	c  245s |      23 |  3156204 |  2374538 |     1344   4333 |        0 |        0
247.75/247.89	c  247s |      23 |  3178096 |  2391338 |     1344   4356 |        0 |        0
249.76/249.90	c  249s |      23 |  3199732 |  2408238 |     1344   4379 |        0 |        0
251.75/251.90	c  251s |      23 |  3222817 |  2425438 |     1344   4403 |        0 |        0
253.85/253.91	c  253s |      23 |  3244846 |  2442438 |     1344   4426 |        0 |        0
255.85/255.92	c  255s |      23 |  3269439 |  2461238 |     1344   4452 |        0 |        0
257.85/257.92	c  257s |      23 |  3293179 |  2479038 |     1344   4477 |        0 |        0
259.85/259.93	c  259s |      23 |  3316957 |  2496938 |     1344   4502 |        0 |        0
261.86/261.94	c  261s |      23 |  3341681 |  2515238 |     1344   4527 |        0 |        0
263.85/263.94	c  263s |      23 |  3366963 |  2533938 |     1344   4553 |        0 |        0
265.85/265.95	c  265s |      23 |  3390774 |  2552238 |     1344   4578 |        0 |        0
267.85/267.95	c  267s |      23 |  3415937 |  2571038 |     1344   4605 |        0 |        0
269.85/269.95	c  269s |      23 |  3440570 |  2589538 |     1344   4631 |        0 |        0
271.85/271.96	c  271s |      23 |  3465125 |  2608038 |     1344   4657 |        0 |        0
273.86/273.97	c  273s |      23 |  3489194 |  2626438 |     1344   4683 |        0 |        0
275.85/275.98	c  275s |      23 |  3512274 |  2644238 |     1344   4709 |        0 |        0
277.85/277.98	c  277s |      23 |  3537119 |  2662838 |     1344   4735 |        0 |        0
279.85/279.99	c  279s |      23 |  3560546 |  2680438 |     1344   4760 |        0 |        0
281.85/281.99	c  281s |      23 |  3585581 |  2699138 |     1344   4786 |        0 |        0
283.85/284.00	c  283s |      23 |  3609821 |  2717238 |     1344   4812 |        0 |        0
285.95/286.00	c  285s |      23 |  3635106 |  2736138 |     1344   4838 |        0 |        0
287.95/288.01	c  287s |      23 |  3658602 |  2753938 |     1344   4863 |        0 |        0
289.95/290.01	c  289s |      23 |  3682393 |  2772138 |     1344   4889 |        0 |        0
291.95/292.02	c  292s |      23 |  3706632 |  2790138 |     1344   4914 |        0 |        0
293.94/294.03	c  294s |      23 |  3730388 |  2807938 |     1344   4939 |        0 |        0
295.95/296.03	c  296s |      23 |  3754587 |  2825938 |     1344   4965 |        0 |        0
297.94/298.04	c  298s |      23 |  3776863 |  2843038 |     1344   4989 |        0 |        0
299.94/300.05	c  300s |      23 |  3800834 |  2860838 |     1344   5014 |        0 |        0
301.94/302.05	c  302s |      23 |  3823571 |  2878338 |     1344   5038 |        0 |        0
303.94/304.06	c  304s |      23 |  3847035 |  2896238 |     1344   5064 |        0 |        0
305.95/306.06	c  306s |      23 |  3872092 |  2915038 |     1344   5090 |        0 |        0
307.95/308.07	c  308s |      23 |  3897565 |  2934338 |     1344   5118 |        0 |        0
309.95/310.08	c  310s |      23 |  3920464 |  2952538 |     1344   5144 |        0 |        0
311.95/312.08	c  312s |      23 |  3942148 |  2969438 |     1344   5168 |        0 |        0
313.94/314.09	c  314s |      23 |  3967506 |  2988138 |     1344   5195 |        0 |        0
316.04/316.10	c  316s |      23 |  3991089 |  3006038 |     1344   5221 |        0 |        0
318.04/318.10	c  318s |      23 |  4016013 |  3024938 |     1344   5248 |        0 |        0
320.05/320.11	c  320s |      23 |  4039963 |  3043338 |     1344   5275 |        0 |        0
322.04/322.11	c  322s |      23 |  4062366 |  3060838 |     1344   5300 |        0 |        0
324.04/324.12	c  324s |      23 |  4084671 |  3077738 |     1344   5324 |        0 |        0
326.04/326.13	c  326s |      23 |  4105016 |  3093338 |     1344   5345 |        0 |        0
328.04/328.13	c  328s |      23 |  4126308 |  3110038 |     1344   5369 |        0 |        0
330.05/330.14	c  330s |      23 |  4148149 |  3126638 |     1344   5392 |        0 |        0
332.04/332.14	c  332s |      23 |  4171373 |  3143738 |     1344   5417 |        0 |        0
334.04/334.15	c  334s |      23 |  4196900 |  3162938 |     1344   5445 |        0 |        0
336.04/336.15	c  336s |      23 |  4220465 |  3181138 |     1344   5471 |        0 |        0
338.04/338.15	c  338s |      23 |  4244034 |  3199038 |     1344   5497 |        0 |        0
340.04/340.16	c  340s |      23 |  4269174 |  3217738 |     1344   5524 |        0 |        0
342.04/342.17	c  342s |      23 |  4292376 |  3235838 |     1344   5550 |        0 |        0
344.04/344.18	c  344s |      23 |  4317141 |  3254738 |     1344   5578 |        0 |        0
346.03/346.18	c  346s |      23 |  4342004 |  3273438 |     1344   5605 |        0 |        0
348.03/348.19	c  348s |      23 |  4366529 |  3292038 |     1344   5632 |        0 |        0
350.13/350.20	c  350s |      23 |  4389642 |  3309538 |     1344   5657 |        0 |        0
352.13/352.21	c  352s |      23 |  4413604 |  3327838 |     1344   5684 |        0 |        0
354.14/354.22	c  354s |      23 |  4437440 |  3346138 |     1344   5710 |        0 |        0
356.14/356.23	c  356s |      23 |  4462201 |  3365038 |     1479   5736 |        0 |        0
357.55/357.60	c  357s |      24 |  4477046 |  3376662 |     1479   5751 |        0 |        0
359.54/359.61	c  359s |      24 |  4495546 |  3391662 |     1479   5770 |        0 |        0
361.54/361.62	c  361s |      24 |  4516970 |  3408162 |     1479   5790 |        0 |        0
363.54/363.63	c  363s |      24 |  4538117 |  3424362 |     1479   5810 |        0 |        0
365.54/365.63	c  365s |      24 |  4558314 |  3440462 |     1479   5830 |        0 |        0
367.54/367.63	c  367s |      24 |  4577573 |  3456062 |     1479   5850 |        0 |        0
369.54/369.63	c  369s |      24 |  4598568 |  3472262 |     1479   5870 |        0 |        0
371.53/371.64	c  371s |      24 |  4619270 |  3488462 |     1479   5890 |        0 |        0
373.53/373.64	c  373s |      24 |  4641341 |  3505262 |     1479   5911 |        0 |        0
375.53/375.64	c  375s |      24 |  4663503 |  3522062 |     1479   5932 |        0 |        0
377.53/377.65	c  377s |      24 |  4686361 |  3539662 |     1479   5954 |        0 |        0
379.54/379.66	c  379s |      24 |  4709501 |  3557062 |     1479   5976 |        0 |        0
381.53/381.67	c  381s |      24 |  4731844 |  3574262 |     1479   5998 |        0 |        0
383.53/383.68	c  383s |      24 |  4753229 |  3591262 |     1479   6019 |        0 |        0
385.53/385.68	c  385s |      24 |  4775472 |  3608062 |     1479   6040 |        0 |        0
387.53/387.68	c  387s |      24 |  4797369 |  3625162 |     1479   6062 |        0 |        0
389.53/389.68	c  389s |      24 |  4821447 |  3642862 |     1479   6084 |        0 |        0
391.53/391.69	c  391s |      24 |  4843434 |  3659562 |     1479   6106 |        0 |        0
393.52/393.69	c  393s |      24 |  4871096 |  3679962 |     1479   6131 |        0 |        0
395.52/395.70	c  395s |      24 |  4894900 |  3697562 |     1479   6154 |        0 |        0
397.62/397.70	c  397s |      24 |  4919625 |  3715662 |     1479   6177 |        0 |        0
399.62/399.71	c  399s |      24 |  4945443 |  3734862 |     1479   6201 |        0 |        0
401.62/401.71	c  401s |      24 |  4967986 |  3751962 |     1479   6223 |        0 |        0
403.63/403.71	c  403s |      24 |  4991876 |  3769662 |     1479   6246 |        0 |        0
405.62/405.71	c  405s |      24 |  5016100 |  3787862 |     1479   6269 |        0 |        0
407.62/407.72	c  407s |      24 |  5036858 |  3803962 |     1479   6290 |        0 |        0
409.62/409.72	c  409s |      24 |  5061285 |  3821362 |     1479   6312 |        0 |        0
411.62/411.72	c  411s |      24 |  5083428 |  3837662 |     1479   6333 |        0 |        0
413.62/413.73	c  413s |      24 |  5103838 |  3852862 |     1479   6353 |        0 |        0
415.61/415.74	c  415s |      24 |  5123529 |  3867962 |     1479   6372 |        0 |        0
417.61/417.74	c  417s |      24 |  5147713 |  3885262 |     1479   6394 |        0 |        0
419.61/419.75	c  419s |      24 |  5170505 |  3901962 |     1479   6416 |        0 |        0
421.61/421.75	c  421s |      24 |  5191481 |  3917662 |     1479   6436 |        0 |        0
423.61/423.76	c  423s |      24 |  5214161 |  3934462 |     1479   6458 |        0 |        0
425.62/425.77	c  425s |      24 |  5237838 |  3952062 |     1479   6480 |        0 |        0
427.61/427.77	c  427s |      24 |  5262326 |  3969762 |     1479   6503 |        0 |        0
429.60/429.78	c  429s |      24 |  5282797 |  3985162 |     1479   6523 |        0 |        0
431.60/431.78	c  431s |      24 |  5304177 |  4000962 |     1479   6544 |        0 |        0
433.60/433.78	c  433s |      24 |  5326128 |  4017262 |     1479   6565 |        0 |        0
435.61/435.79	c  435s |      24 |  5344189 |  4031862 |     1479   6584 |        0 |        0
437.71/437.80	c  437s |      24 |  5362820 |  4047762 |     1479   6604 |        0 |        0
439.71/439.81	c  439s |      24 |  5386405 |  4065762 |     1479   6627 |        0 |        0
441.70/441.82	c  441s |      24 |  5408006 |  4081262 |     1479   6648 |        0 |        0
443.70/443.83	c  443s |      24 |  5430422 |  4097762 |     1479   6669 |        0 |        0
445.70/445.83	c  445s |      24 |  5453530 |  4114962 |     1479   6691 |        0 |        0
447.70/447.84	c  447s |      24 |  5474351 |  4130962 |     1479   6712 |        0 |        0
449.70/449.85	c  449s |      24 |  5495869 |  4146862 |     1479   6733 |        0 |        0
451.69/451.86	c  451s |      24 |  5517650 |  4163462 |     1479   6754 |        0 |        0
453.69/453.87	c  453s |      24 |  5539809 |  4180162 |     1479   6775 |        0 |        0
455.69/455.88	c  455s |      24 |  5563852 |  4197362 |     1479   6798 |        0 |        0
457.69/457.89	c  457s |      24 |  5586072 |  4214062 |     1479   6819 |        0 |        0
459.69/459.89	c  459s |      24 |  5609128 |  4230762 |     1479   6841 |        0 |        0
461.79/461.90	c  461s |      24 |  5632527 |  4247962 |     1479   6863 |        0 |        0
463.79/463.91	c  463s |      24 |  5654749 |  4263962 |     1479   6884 |        0 |        0
465.79/465.92	c  465s |      24 |  5674242 |  4279062 |     1479   6903 |        0 |        0
467.78/467.93	c  467s |      24 |  5691347 |  4292562 |     1479   6921 |        0 |        0
469.78/469.93	c  469s |      24 |  5711405 |  4307562 |     1479   6940 |        0 |        0
471.79/471.95	c  471s |      24 |  5733329 |  4323962 |     1479   6961 |        0 |        0
473.78/473.96	c  473s |      24 |  5754476 |  4339962 |     1479   6982 |        0 |        0
475.78/475.96	c  475s |      24 |  5773431 |  4354962 |     1479   7002 |        0 |        0
477.78/477.96	c  477s |      24 |  5795095 |  4370862 |     1479   7022 |        0 |        0
479.78/479.97	c  479s |      24 |  5817556 |  4387262 |     1479   7043 |        0 |        0
481.78/481.98	c  481s |      24 |  5838714 |  4403962 |     1479   7065 |        0 |        0
483.78/483.99	c  483s |      24 |  5859249 |  4419262 |     1479   7085 |        0 |        0
485.78/485.99	c  485s |      24 |  5880431 |  4435662 |     1479   7106 |        0 |        0
487.77/487.99	c  487s |      24 |  5904327 |  4452962 |     1479   7128 |        0 |        0
489.88/490.01	c  489s |      24 |  5923209 |  4468462 |     1479   7148 |        0 |        0
491.88/492.01	c  491s |      24 |  5944313 |  4484462 |     1479   7168 |        0 |        0
493.89/494.01	c  493s |      24 |  5965673 |  4500262 |     1479   7189 |        0 |        0
495.88/496.02	c  496s |      24 |  5986437 |  4516362 |     1479   7209 |        0 |        0
497.87/498.02	c  498s |      24 |  6008716 |  4532962 |     1479   7231 |        0 |        0
499.87/500.04	c  500s |      24 |  6031791 |  4549862 |     1479   7252 |        0 |        0
501.87/502.04	c  502s |      24 |  6053236 |  4566362 |     1479   7274 |        0 |        0
503.87/504.05	c  504s |      24 |  6075514 |  4583462 |     1479   7296 |        0 |        0
505.87/506.06	c  506s |      24 |  6096740 |  4599962 |     1479   7317 |        0 |        0
507.86/508.07	c  508s |      24 |  6119632 |  4617262 |     1479   7339 |        0 |        0
509.86/510.07	c  510s |      24 |  6146055 |  4636262 |     1479   7364 |        0 |        0
511.86/512.08	c  512s |      24 |  6171331 |  4654962 |     1479   7388 |        0 |        0
513.86/514.08	c  514s |      24 |  6192063 |  4671162 |     1479   7408 |        0 |        0
515.86/516.09	c  516s |      24 |  6212612 |  4687362 |     1479   7429 |        0 |        0
517.85/518.09	c  518s |      24 |  6235655 |  4704862 |     1479   7452 |        0 |        0
519.95/520.10	c  520s |      24 |  6258841 |  4722662 |     1479   7475 |        0 |        0
521.95/522.10	c  522s |      24 |  6282887 |  4739762 |     1479   7497 |        0 |        0
523.95/524.11	c  524s |      24 |  6305025 |  4755862 |     1479   7517 |        0 |        0
525.95/526.11	c  526s |      24 |  6326451 |  4771762 |     1479   7538 |        0 |        0
527.95/528.12	c  528s |      24 |  6349821 |  4788862 |     1479   7560 |        0 |        0
529.94/530.13	c  530s |      24 |  6375074 |  4807462 |     1479   7584 |        0 |        0
531.94/532.13	c  532s |      24 |  6397244 |  4824262 |     1479   7606 |        0 |        0
533.94/534.14	c  534s |      24 |  6422525 |  4842762 |     1479   7630 |        0 |        0
535.95/536.15	c  536s |      24 |  6444832 |  4859062 |     1479   7651 |        0 |        0
537.95/538.16	c  538s |      24 |  6466585 |  4875262 |     1479   7672 |        0 |        0
539.95/540.17	c  540s |      24 |  6487998 |  4891462 |     1479   7692 |        0 |        0
541.94/542.18	c  542s |      24 |  6512325 |  4909862 |     1479   7716 |        0 |        0
543.94/544.19	c  544s |      24 |  6535660 |  4926862 |     1479   7738 |        0 |        0
545.94/546.19	c  546s |      24 |  6558816 |  4944462 |     1479   7761 |        0 |        0
547.94/548.19	c  548s |      24 |  6580804 |  4961162 |     1479   7782 |        0 |        0
550.04/550.20	c  550s |      24 |  6604882 |  4978962 |     1479   7805 |        0 |        0
552.05/552.21	c  552s |      24 |  6629143 |  4996962 |     1479   7828 |        0 |        0
554.04/554.21	c  554s |      24 |  6651847 |  5014062 |     1479   7850 |        0 |        0
556.04/556.22	c  556s |      24 |  6672850 |  5029762 |     1627   7870 |        0 |        0
558.03/558.24	c  558s |      24 |  6693958 |  5044962 |     1627   7889 |        0 |        0
560.03/560.24	c  560s |      24 |  6716932 |  5060962 |     1627   7908 |        0 |        0
560.53/560.79	c  560s |      25 |  6722228 |  5065098 |     1627   7912 |        0 |        0
562.53/562.79	c  562s |      25 |  6744657 |  5080398 |     1627   7931 |        0 |        0
564.63/564.80	c  564s |      25 |  6765738 |  5095498 |     1627   7948 |        0 |        0
566.63/566.80	c  566s |      25 |  6786171 |  5111198 |     1627   7967 |        0 |        0
568.64/568.81	c  568s |      25 |  6806569 |  5126298 |     1627   7985 |        0 |        0
570.63/570.82	c  570s |      25 |  6825595 |  5140798 |     1627   8002 |        0 |        0
572.63/572.82	c  572s |      25 |  6844938 |  5155798 |     1627   8020 |        0 |        0
574.63/574.83	c  574s |      25 |  6862673 |  5169998 |     1627   8037 |        0 |        0
576.62/576.85	c  576s |      25 |  6882795 |  5184798 |     1627   8055 |        0 |        0
578.62/578.86	c  578s |      25 |  6905381 |  5200498 |     1627   8073 |        0 |        0
580.63/580.86	c  580s |      25 |  6928084 |  5216498 |     1627   8092 |        0 |        0
582.62/582.86	c  582s |      25 |  6950758 |  5233198 |     1627   8112 |        0 |        0
584.62/584.87	c  584s |      25 |  6975588 |  5250498 |     1627   8132 |        0 |        0
586.62/586.87	c  586s |      25 |  6998343 |  5267198 |     1627   8152 |        0 |        0
588.62/588.88	c  588s |      25 |  7021669 |  5283898 |     1627   8172 |        0 |        0
590.72/590.90	c  590s |      25 |  7042571 |  5299498 |     1627   8190 |        0 |        0
592.72/592.91	c  592s |      25 |  7062084 |  5314198 |     1627   8208 |        0 |        0
594.72/594.92	c  594s |      25 |  7081250 |  5328498 |     1627   8225 |        0 |        0
596.72/596.93	c  596s |      25 |  7103571 |  5344798 |     1627   8245 |        0 |        0
598.72/598.94	c  598s |      25 |  7127151 |  5361698 |     1627   8265 |        0 |        0
600.72/600.94	c  600s |      25 |  7148458 |  5377698 |     1627   8284 |        0 |        0
602.72/602.94	c  602s |      25 |  7168784 |  5393298 |     1627   8302 |        0 |        0
604.71/604.95	c  604s |      25 |  7189909 |  5408998 |     1627   8320 |        0 |        0
606.71/606.95	c  606s |      25 |  7209195 |  5423898 |     1627   8338 |        0 |        0
608.71/608.96	c  608s |      25 |  7229999 |  5439598 |     1627   8356 |        0 |        0
610.71/610.96	c  610s |      25 |  7251342 |  5456198 |     1627   8376 |        0 |        0
612.71/612.96	c  612s |      25 |  7271386 |  5471998 |     1627   8394 |        0 |        0
614.72/614.97	c  614s |      25 |  7292471 |  5488098 |     1627   8413 |        0 |        0
616.70/616.99	c  616s |      25 |  7311973 |  5503298 |     1627   8431 |        0 |        0
618.70/618.99	c  618s |      25 |  7333277 |  5519298 |     1627   8450 |        0 |        0
620.70/620.99	c  620s |      25 |  7354542 |  5534898 |     1627   8468 |        0 |        0
622.80/623.00	c  622s |      25 |  7374373 |  5549498 |     1627   8486 |        0 |        0
624.80/625.00	c  624s |      25 |  7392879 |  5563398 |     1627   8502 |        0 |        0
626.80/627.01	c  626s |      25 |  7411991 |  5577798 |     1627   8520 |        0 |        0
628.79/629.02	c  629s |      25 |  7430081 |  5591898 |     1627   8536 |        0 |        0
630.79/631.02	c  631s |      25 |  7449598 |  5606798 |     1627   8554 |        0 |        0
632.79/633.02	c  633s |      25 |  7470698 |  5622498 |     1627   8573 |        0 |        0
634.79/635.02	c  635s |      25 |  7490901 |  5637798 |     1627   8591 |        0 |        0
636.79/637.03	c  637s |      25 |  7511492 |  5653498 |     1627   8609 |        0 |        0
638.79/639.04	c  639s |      25 |  7532224 |  5668798 |     1627   8627 |        0 |        0
640.80/641.04	c  641s |      25 |  7553498 |  5684298 |     1627   8645 |        0 |        0
642.79/643.05	c  643s |      25 |  7572765 |  5699398 |     1627   8663 |        0 |        0
644.79/645.06	c  645s |      25 |  7595745 |  5716098 |     1627   8682 |        0 |        0
646.79/647.07	c  647s |      25 |  7617290 |  5732398 |     1627   8701 |        0 |        0
648.79/649.07	c  649s |      25 |  7640382 |  5749598 |     1627   8722 |        0 |        0
650.78/651.08	c  651s |      25 |  7662252 |  5766198 |     1627   8741 |        0 |        0
652.78/653.09	c  653s |      25 |  7683416 |  5782398 |     1627   8760 |        0 |        0
654.88/655.10	c  655s |      25 |  7704774 |  5798598 |     1627   8779 |        0 |        0
656.88/657.11	c  657s |      25 |  7725610 |  5814598 |     1627   8798 |        0 |        0
658.87/659.11	c  659s |      25 |  7748186 |  5831498 |     1627   8819 |        0 |        0
660.88/661.12	c  661s |      25 |  7770144 |  5848098 |     1627   8838 |        0 |        0
662.87/663.13	c  663s |      25 |  7792086 |  5864698 |     1627   8858 |        0 |        0
664.87/665.14	c  665s |      25 |  7812249 |  5880298 |     1627   8876 |        0 |        0
666.87/667.15	c  667s |      25 |  7833176 |  5896198 |     1627   8896 |        0 |        0
668.87/669.15	c  669s |      25 |  7854929 |  5912798 |     1627   8915 |        0 |        0
670.88/671.16	c  671s |      25 |  7875884 |  5928598 |     1627   8934 |        0 |        0
672.87/673.16	c  673s |      25 |  7898314 |  5944398 |     1627   8953 |        0 |        0
674.87/675.16	c  675s |      25 |  7921460 |  5961098 |     1627   8973 |        0 |        0
676.86/677.17	c  677s |      25 |  7944258 |  5977598 |     1627   8993 |        0 |        0
678.87/679.17	c  679s |      25 |  7965942 |  5994298 |     1627   9013 |        0 |        0
680.87/681.17	c  681s |      25 |  7987982 |  6010898 |     1627   9033 |        0 |        0
682.88/683.17	c  683s |      25 |  8009619 |  6027698 |     1627   9053 |        0 |        0
684.87/685.17	c  685s |      25 |  8030924 |  6043898 |     1627   9073 |        0 |        0
686.86/687.18	c  687s |      25 |  8051110 |  6059898 |     1627   9092 |        0 |        0
688.86/689.18	c  689s |      25 |  8072543 |  6075598 |     1627   9111 |        0 |        0
690.86/691.19	c  691s |      25 |  8094946 |  6091198 |     1627   9129 |        0 |        0
692.87/693.19	c  693s |      25 |  8116352 |  6106798 |     1627   9148 |        0 |        0
694.86/695.20	c  695s |      25 |  8135119 |  6120998 |     1627   9165 |        0 |        0
696.95/697.20	c  697s |      25 |  8156143 |  6136098 |     1627   9183 |        0 |        0
698.95/699.21	c  699s |      25 |  8175221 |  6150698 |     1627   9201 |        0 |        0
700.95/701.21	c  701s |      25 |  8195697 |  6166098 |     1627   9220 |        0 |        0
702.95/703.22	c  703s |      25 |  8215492 |  6181598 |     1627   9238 |        0 |        0
704.96/705.22	c  705s |      25 |  8237173 |  6197698 |     1627   9257 |        0 |        0
706.94/707.22	c  707s |      25 |  8254573 |  6211698 |     1627   9274 |        0 |        0
708.94/709.23	c  709s |      25 |  8273047 |  6225998 |     1627   9291 |        0 |        0
710.94/711.23	c  711s |      25 |  8295121 |  6242298 |     1627   9311 |        0 |        0
712.94/713.24	c  713s |      25 |  8316695 |  6258098 |     1627   9330 |        0 |        0
714.94/715.24	c  715s |      25 |  8338678 |  6274198 |     1627   9349 |        0 |        0
716.95/717.25	c  717s |      25 |  8361343 |  6290598 |     1627   9368 |        0 |        0
718.94/719.25	c  719s |      25 |  8383348 |  6307398 |     1627   9388 |        0 |        0
720.94/721.26	c  721s |      25 |  8404847 |  6323498 |     1627   9408 |        0 |        0
722.94/723.27	c  723s |      25 |  8426716 |  6340198 |     1627   9427 |        0 |        0
724.94/725.27	c  725s |      25 |  8448797 |  6356898 |     1627   9447 |        0 |        0
726.94/727.28	c  727s |      25 |  8470159 |  6373098 |     1627   9467 |        0 |        0
728.93/729.29	c  729s |      25 |  8491702 |  6389698 |     1627   9487 |        0 |        0
731.03/731.30	c  731s |      25 |  8513331 |  6406398 |     1627   9506 |        0 |        0
733.03/733.31	c  733s |      25 |  8535641 |  6423298 |     1627   9527 |        0 |        0
735.03/735.31	c  735s |      25 |  8558047 |  6440098 |     1627   9547 |        0 |        0
737.02/737.32	c  737s |      25 |  8579760 |  6456498 |     1627   9566 |        0 |        0
739.03/739.32	c  739s |      25 |  8601771 |  6473098 |     1627   9586 |        0 |        0
741.02/741.33	c  741s |      25 |  8622021 |  6488498 |     1627   9605 |        0 |        0
743.02/743.34	c  743s |      25 |  8641139 |  6503298 |     1627   9622 |        0 |        0
745.02/745.34	c  745s |      25 |  8661637 |  6518798 |     1627   9640 |        0 |        0
747.02/747.35	c  747s |      25 |  8681557 |  6534198 |     1627   9659 |        0 |        0
749.02/749.36	c  749s |      25 |  8703397 |  6550198 |     1627   9678 |        0 |        0
751.03/751.36	c  751s |      25 |  8724431 |  6566098 |     1627   9697 |        0 |        0
753.02/753.37	c  753s |      25 |  8745246 |  6581998 |     1627   9716 |        0 |        0
755.02/755.37	c  755s |      25 |  8766208 |  6597798 |     1627   9735 |        0 |        0
757.02/757.37	c  757s |      25 |  8788565 |  6614398 |     1627   9754 |        0 |        0
759.02/759.38	c  759s |      25 |  8808824 |  6629398 |     1627   9772 |        0 |        0
761.03/761.38	c  761s |      25 |  8831198 |  6645498 |     1627   9791 |        0 |        0
763.02/763.38	c  763s |      25 |  8850627 |  6660498 |     1627   9809 |        0 |        0
765.02/765.39	c  765s |      25 |  8873146 |  6676598 |     1627   9828 |        0 |        0
767.01/767.39	c  767s |      25 |  8893393 |  6691998 |     1627   9847 |        0 |        0
769.11/769.40	c  769s |      25 |  8913716 |  6707198 |     1627   9865 |        0 |        0
771.11/771.41	c  771s |      25 |  8934479 |  6722898 |     1627   9883 |        0 |        0
773.12/773.42	c  773s |      25 |  8956472 |  6739198 |     1627   9903 |        0 |        0
775.11/775.42	c  775s |      25 |  8977212 |  6754598 |     1627   9921 |        0 |        0
777.11/777.43	c  777s |      25 |  9000838 |  6770998 |     1627   9941 |        0 |        0
779.11/779.43	c  779s |      25 |  9022155 |  6786898 |     1627   9960 |        0 |        0
781.11/781.45	c  781s |      25 |  9044435 |  6803298 |     1627   9979 |        0 |        0
783.11/783.45	c  783s |      25 |  9065198 |  6819098 |     1627   9998 |        0 |        0
785.11/785.46	c  785s |      25 |  9087039 |  6835298 |     1627  10017 |        0 |        0
787.10/787.46	c  787s |      25 |  9106616 |  6850598 |     1627  10035 |        0 |        0
789.10/789.47	c  789s |      25 |  9126540 |  6865598 |     1627  10053 |        0 |        0
791.10/791.47	c  791s |      25 |  9146848 |  6880698 |     1627  10071 |        0 |        0
793.10/793.48	c  793s |      25 |  9167869 |  6896598 |     1627  10090 |        0 |        0
795.11/795.49	c  795s |      25 |  9187968 |  6912098 |     1627  10108 |        0 |        0
797.09/797.49	c  797s |      25 |  9205448 |  6925998 |     1627  10125 |        0 |        0
799.09/799.49	c  799s |      25 |  9225555 |  6941498 |     1627  10143 |        0 |        0
801.19/801.50	c  801s |      25 |  9243366 |  6955298 |     1627  10159 |        0 |        0
803.19/803.50	c  803s |      25 |  9261957 |  6969598 |     1627  10176 |        0 |        0
805.19/805.51	c  805s |      25 |  9282939 |  6985398 |     1627  10195 |        0 |        0
807.19/807.51	c  807s |      25 |  9302462 |  7000498 |     1627  10213 |        0 |        0
809.19/809.53	c  809s |      25 |  9324105 |  7016298 |     1627  10232 |        0 |        0
811.19/811.53	c  811s |      25 |  9340964 |  7029498 |     1627  10248 |        0 |        0
813.18/813.54	c  813s |      25 |  9359311 |  7043498 |     1627  10265 |        0 |        0
815.19/815.55	c  815s |      25 |  9378560 |  7057798 |     1627  10282 |        0 |        0
817.19/817.55	c  817s |      25 |  9399124 |  7072698 |     1627  10300 |        0 |        0
819.19/819.57	c  819s |      25 |  9417809 |  7086598 |     1627  10316 |        0 |        0
821.19/821.57	c  821s |      25 |  9437515 |  7100998 |     1627  10333 |        0 |        0
823.19/823.58	c  823s |      25 |  9458593 |  7116498 |     1627  10352 |        0 |        0
825.19/825.59	c  825s |      25 |  9478958 |  7131598 |     1627  10370 |        0 |        0
827.18/827.60	c  827s |      25 |  9500740 |  7147198 |     1627  10388 |        0 |        0
829.28/829.61	c  829s |      25 |  9519535 |  7161498 |     1627  10405 |        0 |        0
831.29/831.61	c  831s |      25 |  9540856 |  7176998 |     1627  10424 |        0 |        0
833.28/833.62	c  833s |      25 |  9558416 |  7189998 |     1627  10439 |        0 |        0
835.28/835.63	c  835s |      25 |  9575917 |  7203198 |     1627  10455 |        0 |        0
837.27/837.63	c  837s |      25 |  9596178 |  7218298 |     1627  10473 |        0 |        0
839.27/839.64	c  839s |      25 |  9616885 |  7233798 |     1627  10491 |        0 |        0
841.28/841.66	c  841s |      25 |  9639083 |  7249598 |     1627  10510 |        0 |        0
843.27/843.67	c  843s |      25 |  9660215 |  7265298 |     1627  10529 |        0 |        0
845.27/845.67	c  845s |      25 |  9682947 |  7281798 |     1627  10549 |        0 |        0
847.26/847.68	c  847s |      25 |  9701542 |  7295898 |     1627  10566 |        0 |        0
849.26/849.68	c  849s |      25 |  9724257 |  7311698 |     1627  10585 |        0 |        0
851.26/851.68	c  851s |      25 |  9747413 |  7327898 |     1627  10604 |        0 |        0
853.27/853.69	c  853s |      25 |  9768894 |  7344398 |     1627  10623 |        0 |        0
855.36/855.70	c  855s |      25 |  9788916 |  7360398 |     1627  10642 |        0 |        0
857.36/857.71	c  857s |      25 |  9811478 |  7377098 |     1627  10662 |        0 |        0
859.36/859.72	c  859s |      25 |  9831826 |  7392698 |     1627  10681 |        0 |        0
861.36/861.74	c  861s |      25 |  9853293 |  7409098 |     1627  10700 |        0 |        0
863.36/863.74	c  863s |      25 |  9874864 |  7425198 |     1627  10719 |        0 |        0
865.36/865.75	c  865s |      25 |  9893930 |  7440098 |     1627  10737 |        0 |        0
867.35/867.75	c  867s |      25 |  9914444 |  7455598 |     1627  10755 |        0 |        0
869.35/869.75	c  869s |      25 |  9933559 |  7469898 |     1627  10773 |        0 |        0
871.35/871.77	c  871s |      25 |  9951534 |  7483698 |     1627  10789 |        0 |        0
873.35/873.77	c  873s |      25 |  9972052 |  7499498 |     1627  10808 |        0 |        0
875.36/875.78	c  875s |      25 |  9992517 |  7514498 |     1627  10826 |        0 |        0
877.34/877.79	c  877s |      25 | 10012356 |  7528998 |     1627  10843 |        0 |        0
879.44/879.80	c  879s |      25 | 10031117 |  7543198 |     1627  10860 |        0 |        0
881.44/881.81	c  881s |      25 | 10049600 |  7557298 |     1790  10876 |        0 |        0
883.44/883.83	c  883s |      25 | 10070701 |  7572798 |     1790  10893 |        0 |        0
885.44/885.84	c  885s |      25 | 10092430 |  7588498 |     1790  10910 |        0 |        0
886.74/887.15	c  887s |      26 | 10104647 |  7597752 |     1790  10920 |        0 |        0
888.75/889.15	c  889s |      26 | 10125058 |  7613352 |     1790  10936 |        0 |        0
890.75/891.16	c  891s |      26 | 10144615 |  7628352 |     1790  10953 |        0 |        0
892.75/893.17	c  893s |      26 | 10163352 |  7642652 |     1790  10969 |        0 |        0
894.75/895.18	c  895s |      26 | 10185671 |  7658952 |     1790  10986 |        0 |        0
896.74/897.18	c  897s |      26 | 10207479 |  7674952 |     1790  11004 |        0 |        0
898.74/899.19	c  899s |      26 | 10227147 |  7689752 |     1790  11020 |        0 |        0
900.74/901.19	c  901s |      26 | 10245865 |  7704252 |     1790  11036 |        0 |        0
902.75/903.20	c  903s |      26 | 10265973 |  7719252 |     1790  11053 |        0 |        0
904.84/905.21	c  905s |      26 | 10287011 |  7734852 |     1790  11070 |        0 |        0
906.83/907.23	c  907s |      26 | 10306850 |  7749852 |     1790  11087 |        0 |        0
908.83/909.24	c  909s |      26 | 10327833 |  7765952 |     1790  11104 |        0 |        0
910.83/911.25	c  911s |      26 | 10348234 |  7781352 |     1790  11121 |        0 |        0
912.83/913.25	c  913s |      26 | 10367496 |  7796552 |     1790  11138 |        0 |        0
914.83/915.25	c  915s |      26 | 10388458 |  7812452 |     1790  11155 |        0 |        0
916.82/917.26	c  917s |      26 | 10409069 |  7828152 |     1790  11173 |        0 |        0
918.82/919.26	c  919s |      26 | 10429278 |  7843552 |     1790  11190 |        0 |        0
920.82/921.27	c  921s |      26 | 10450981 |  7859752 |     1790  11207 |        0 |        0
922.82/923.28	c  923s |      26 | 10472312 |  7875252 |     1790  11224 |        0 |        0
924.92/925.30	c  925s |      26 | 10494333 |  7891252 |     1790  11242 |        0 |        0
926.81/927.30	c  927s |      26 | 10515475 |  7907052 |     1790  11259 |        0 |        0
928.91/929.30	c  929s |      26 | 10536731 |  7922852 |     1790  11276 |        0 |        0
930.91/931.31	c  931s |      26 | 10555198 |  7937452 |     1790  11292 |        0 |        0
932.91/933.32	c  933s |      26 | 10573480 |  7951652 |     1790  11308 |        0 |        0
934.92/935.32	c  935s |      26 | 10593096 |  7966752 |     1790  11325 |        0 |        0
936.92/937.32	c  937s |      26 | 10611874 |  7981352 |     1790  11341 |        0 |        0
938.91/939.33	c  939s |      26 | 10632345 |  7996952 |     1790  11358 |        0 |        0
940.91/941.33	c  941s |      26 | 10653411 |  8013152 |     1790  11376 |        0 |        0
942.91/943.34	c  943s |      26 | 10675971 |  8029752 |     1790  11394 |        0 |        0
944.91/945.35	c  945s |      26 | 10696557 |  8045552 |     1790  11412 |        0 |        0
946.90/947.35	c  947s |      26 | 10718912 |  8061652 |     1790  11429 |        0 |        0
948.91/949.36	c  949s |      26 | 10740287 |  8077652 |     1790  11447 |        0 |        0
950.90/951.37	c  951s |      26 | 10761852 |  8093752 |     1790  11464 |        0 |        0
952.90/953.37	c  953s |      26 | 10782734 |  8109352 |     1790  11482 |        0 |        0
954.90/955.38	c  955s |      26 | 10804548 |  8125352 |     1790  11499 |        0 |        0
956.90/957.38	c  957s |      26 | 10825515 |  8141152 |     1790  11517 |        0 |        0
958.90/959.39	c  959s |      26 | 10844915 |  8156452 |     1790  11533 |        0 |        0
961.00/961.40	c  961s |      26 | 10867147 |  8172852 |     1790  11552 |        0 |        0
963.00/963.41	c  963s |      26 | 10887515 |  8188352 |     1790  11568 |        0 |        0
965.00/965.43	c  965s |      26 | 10906272 |  8202652 |     1790  11584 |        0 |        0
967.00/967.43	c  967s |      26 | 10925775 |  8217352 |     1790  11599 |        0 |        0
968.99/969.44	c  969s |      26 | 10944791 |  8231452 |     1790  11615 |        0 |        0
971.00/971.44	c  971s |      26 | 10964385 |  8246652 |     1790  11631 |        0 |        0
972.99/973.45	c  973s |      26 | 10985059 |  8262452 |     1790  11648 |        0 |        0
974.99/975.45	c  975s |      26 | 11005840 |  8278152 |     1790  11664 |        0 |        0
976.99/977.46	c  977s |      26 | 11025013 |  8292752 |     1790  11680 |        0 |        0
978.99/979.47	c  979s |      26 | 11045446 |  8308052 |     1790  11697 |        0 |        0
980.99/981.48	c  981s |      26 | 11066140 |  8323852 |     1790  11713 |        0 |        0
982.99/983.48	c  983s |      26 | 11084221 |  8337752 |     1790  11728 |        0 |        0
984.99/985.48	c  985s |      26 | 11104902 |  8353352 |     1790  11745 |        0 |        0
986.98/987.48	c  987s |      26 | 11125394 |  8368452 |     1790  11762 |        0 |        0
988.98/989.49	c  989s |      26 | 11146604 |  8384152 |     1790  11779 |        0 |        0
990.98/991.49	c  991s |      26 | 11166642 |  8399652 |     1790  11796 |        0 |        0
993.08/993.50	c  993s |      26 | 11187669 |  8415152 |     1790  11813 |        0 |        0
995.08/995.51	c  995s |      26 | 11207260 |  8430452 |     1790  11829 |        0 |        0
997.07/997.51	c  997s |      26 | 11227922 |  8445752 |     1790  11846 |        0 |        0
999.07/999.52	c  999s |      26 | 11247497 |  8460852 |     1790  11863 |        0 |        0
1001.07/1001.52	c 1001s |      26 | 11266536 |  8475652 |     1790  11879 |        0 |        0
1003.07/1003.53	c 1003s |      26 | 11286430 |  8490552 |     1790  11895 |        0 |        0
1005.08/1005.53	c 1005s |      26 | 11308193 |  8505952 |     1790  11912 |        0 |        0
1007.06/1007.54	c 1007s |      26 | 11329996 |  8522152 |     1790  11930 |        0 |        0
1009.06/1009.54	c 1009s |      26 | 11349887 |  8537252 |     1790  11946 |        0 |        0
1011.06/1011.54	c 1011s |      26 | 11369985 |  8552552 |     1790  11963 |        0 |        0
1013.07/1013.55	c 1013s |      26 | 11389302 |  8567252 |     1790  11979 |        0 |        0
1015.07/1015.55	c 1015s |      26 | 11409266 |  8582352 |     1790  11996 |        0 |        0
1017.07/1017.56	c 1017s |      26 | 11431124 |  8598252 |     1790  12013 |        0 |        0
1019.07/1019.56	c 1019s |      26 | 11451044 |  8613252 |     1790  12029 |        0 |        0
1021.06/1021.56	c 1021s |      26 | 11470777 |  8628252 |     1790  12046 |        0 |        0
1023.06/1023.56	c 1023s |      26 | 11489829 |  8643052 |     1790  12062 |        0 |        0
1025.06/1025.57	c 1025s |      26 | 11508920 |  8657352 |     1790  12078 |        0 |        0
1027.06/1027.57	c 1027s |      26 | 11526222 |  8671052 |     1790  12093 |        0 |        0
1029.06/1029.58	c 1029s |      26 | 11543573 |  8684652 |     1790  12108 |        0 |        0
1031.06/1031.58	c 1031s |      26 | 11565264 |  8700152 |     1790  12125 |        0 |        0
1033.06/1033.59	c 1033s |      26 | 11585943 |  8715652 |     1790  12142 |        0 |        0
1035.16/1035.60	c 1035s |      26 | 11604411 |  8729552 |     1790  12157 |        0 |        0
1037.15/1037.60	c 1037s |      26 | 11622248 |  8743252 |     1790  12172 |        0 |        0
1039.16/1039.61	c 1039s |      26 | 11639835 |  8756752 |     1790  12186 |        0 |        0
1041.15/1041.62	c 1041s |      26 | 11656616 |  8769952 |     1790  12200 |        0 |        0
1043.15/1043.63	c 1043s |      26 | 11673216 |  8782752 |     1790  12214 |        0 |        0
1045.15/1045.63	c 1045s |      26 | 11691580 |  8796752 |     1790  12230 |        0 |        0
1047.15/1047.64	c 1047s |      26 | 11710966 |  8811052 |     1790  12245 |        0 |        0
1049.15/1049.65	c 1049s |      26 | 11731323 |  8826252 |     1790  12262 |        0 |        0
1051.15/1051.65	c 1051s |      26 | 11750981 |  8841052 |     1790  12278 |        0 |        0
1053.15/1053.65	c 1053s |      26 | 11770733 |  8855652 |     1790  12294 |        0 |        0
1055.15/1055.65	c 1055s |      26 | 11789827 |  8870352 |     1790  12310 |        0 |        0
1057.14/1057.66	c 1057s |      26 | 11808476 |  8885052 |     1790  12326 |        0 |        0
1059.14/1059.67	c 1059s |      26 | 11829236 |  8900852 |     1790  12343 |        0 |        0
1061.15/1061.68	c 1061s |      26 | 11847504 |  8915052 |     1790  12358 |        0 |        0
1063.14/1063.68	c 1063s |      26 | 11868812 |  8930752 |     1790  12375 |        0 |        0
1065.14/1065.68	c 1065s |      26 | 11887326 |  8945052 |     1790  12390 |        0 |        0
1067.14/1067.69	c 1067s |      26 | 11907309 |  8960252 |     1790  12406 |        0 |        0
1069.24/1069.70	c 1069s |      26 | 11927713 |  8975852 |     1790  12423 |        0 |        0
1071.25/1071.71	c 1071s |      26 | 11948642 |  8991652 |     1790  12439 |        0 |        0
1073.25/1073.72	c 1073s |      26 | 11968413 |  9007052 |     1790  12455 |        0 |        0
1075.25/1075.72	c 1075s |      26 | 11987313 |  9021652 |     1790  12471 |        0 |        0
1077.25/1077.73	c 1077s |      26 | 12005841 |  9036152 |     1790  12486 |        0 |        0
1079.25/1079.74	c 1079s |      26 | 12025489 |  9051052 |     1790  12502 |        0 |        0
1081.25/1081.74	c 1081s |      26 | 12045044 |  9065952 |     1790  12518 |        0 |        0
1083.25/1083.76	c 1083s |      26 | 12062813 |  9079852 |     1790  12533 |        0 |        0
1085.25/1085.76	c 1085s |      26 | 12081302 |  9094352 |     1790  12548 |        0 |        0
1087.24/1087.76	c 1087s |      26 | 12099838 |  9108452 |     1790  12563 |        0 |        0
1089.24/1089.77	c 1089s |      26 | 12118391 |  9122552 |     1790  12578 |        0 |        0
1091.24/1091.78	c 1091s |      26 | 12138035 |  9137552 |     1790  12594 |        0 |        0
1093.24/1093.78	c 1093s |      26 | 12158033 |  9152752 |     1790  12610 |        0 |        0
1095.25/1095.79	c 1095s |      26 | 12176118 |  9166752 |     1790  12625 |        0 |        0
1097.24/1097.79	c 1097s |      26 | 12193623 |  9180752 |     1790  12640 |        0 |        0
1099.34/1099.80	c 1099s |      26 | 12211023 |  9194452 |     1790  12654 |        0 |        0
1101.34/1101.81	c 1101s |      26 | 12230442 |  9208952 |     1790  12670 |        0 |        0
1103.34/1103.82	c 1103s |      26 | 12247231 |  9222152 |     1790  12684 |        0 |        0
1105.34/1105.83	c 1105s |      26 | 12263869 |  9235052 |     1790  12698 |        0 |        0
1107.34/1107.84	c 1107s |      26 | 12280619 |  9248252 |     1790  12712 |        0 |        0
1109.34/1109.85	c 1109s |      26 | 12298299 |  9261652 |     1790  12726 |        0 |        0
1111.34/1111.86	c 1111s |      26 | 12317347 |  9276252 |     1790  12741 |        0 |        0
1113.33/1113.86	c 1113s |      26 | 12333714 |  9289352 |     1790  12755 |        0 |        0
1115.33/1115.87	c 1115s |      26 | 12351558 |  9302952 |     1790  12770 |        0 |        0
1117.33/1117.88	c 1117s |      26 | 12367612 |  9315852 |     1790  12783 |        0 |        0
1119.34/1119.88	c 1119s |      26 | 12387350 |  9330652 |     1790  12799 |        0 |        0
1121.33/1121.88	c 1121s |      26 | 12405008 |  9344652 |     1790  12814 |        0 |        0
1123.34/1123.89	c 1123s |      26 | 12423126 |  9358852 |     1790  12829 |        0 |        0
1125.44/1125.91	c 1125s |      26 | 12442708 |  9373652 |     1790  12845 |        0 |        0
1127.44/1127.92	c 1127s |      26 | 12463087 |  9388952 |     1790  12861 |        0 |        0
1129.44/1129.93	c 1129s |      26 | 12482845 |  9404452 |     1790  12877 |        0 |        0
1131.45/1131.94	c 1131s |      26 | 12502879 |  9419252 |     1790  12893 |        0 |        0
1133.44/1133.94	c 1133s |      26 | 12521973 |  9434052 |     1790  12909 |        0 |        0
1135.44/1135.95	c 1135s |      26 | 12538274 |  9447052 |     1790  12923 |        0 |        0
1137.44/1137.96	c 1137s |      26 | 12556795 |  9461152 |     1790  12938 |        0 |        0
1139.44/1139.97	c 1139s |      26 | 12576650 |  9476152 |     1790  12954 |        0 |        0
1141.44/1141.98	c 1141s |      26 | 12597098 |  9491252 |     1790  12970 |        0 |        0
1143.44/1143.99	c 1143s |      26 | 12618551 |  9507052 |     1790  12986 |        0 |        0
1145.54/1146.00	c 1145s |      26 | 12638169 |  9522152 |     1790  13003 |        0 |        0
1147.54/1148.00	c 1147s |      26 | 12658266 |  9537252 |     1790  13019 |        0 |        0
1149.54/1150.01	c 1149s |      26 | 12680825 |  9553252 |     1790  13036 |        0 |        0
1151.54/1152.01	c 1152s |      26 | 12702338 |  9568852 |     1790  13052 |        0 |        0
1153.54/1154.02	c 1154s |      26 | 12722487 |  9584152 |     1790  13068 |        0 |        0
1155.53/1156.03	c 1156s |      26 | 12742986 |  9599252 |     1790  13085 |        0 |        0
1157.53/1158.04	c 1158s |      26 | 12762914 |  9613952 |     1790  13100 |        0 |        0
1159.53/1160.05	c 1160s |      26 | 12783450 |  9628952 |     1790  13116 |        0 |        0
1161.53/1162.06	c 1162s |      26 | 12804432 |  9644252 |     1790  13133 |        0 |        0
1163.53/1164.07	c 1164s |      26 | 12824535 |  9659352 |     1790  13149 |        0 |        0
1165.54/1166.07	c 1166s |      26 | 12845255 |  9674552 |     1790  13165 |        0 |        0
1167.53/1168.07	c 1168s |      26 | 12865792 |  9689452 |     1790  13181 |        0 |        0
1169.53/1170.08	c 1170s |      26 | 12887123 |  9705252 |     1790  13198 |        0 |        0
1171.53/1172.08	c 1172s |      26 | 12904252 |  9718952 |     1790  13212 |        0 |        0
1173.53/1174.09	c 1174s |      26 | 12922804 |  9733252 |     1790  13228 |        0 |        0
1175.53/1176.09	c 1176s |      26 | 12941328 |  9747452 |     1790  13243 |        0 |        0
1177.53/1178.10	c 1178s |      26 | 12958984 |  9761352 |     1790  13257 |        0 |        0
1179.62/1180.11	c 1180s |      26 | 12979256 |  9776752 |     1790  13274 |        0 |        0
1181.62/1182.12	c 1182s |      26 | 12998596 |  9791652 |     1790  13290 |        0 |        0
1183.62/1184.13	c 1184s |      26 | 13019764 |  9807552 |     1790  13307 |        0 |        0
1185.62/1186.14	c 1186s |      26 | 13039215 |  9821952 |     1790  13322 |        0 |        0
1187.63/1188.14	c 1188s |      26 | 13057434 |  9836052 |     1790  13337 |        0 |        0
1189.62/1190.15	c 1190s |      26 | 13074643 |  9849352 |     1790  13351 |        0 |        0
1191.62/1192.15	c 1192s |      26 | 13092959 |  9863252 |     1790  13366 |        0 |        0
1193.62/1194.17	c 1194s |      26 | 13111581 |  9877052 |     1790  13381 |        0 |        0
1195.62/1196.17	c 1196s |      26 | 13129440 |  9890352 |     1790  13395 |        0 |        0
1197.62/1198.18	c 1198s |      26 | 13148571 |  9904752 |     1790  13410 |        0 |        0
1199.63/1200.20	c 1200s |      26 | 13167152 |  9919052 |     1790  13425 |        0 |        0
1201.62/1202.20	c 1202s |      26 | 13185093 |  9932752 |     1790  13440 |        0 |        0
1203.73/1204.20	c 1204s |      26 | 13203219 |  9946852 |     1790  13455 |        0 |        0
1205.73/1206.20	c 1206s |      26 | 13222385 |  9961352 |     1790  13470 |        0 |        0
1207.73/1208.21	c 1208s |      26 | 13241398 |  9975952 |     1790  13486 |        0 |        0
1209.73/1210.22	c 1210s |      26 | 13260487 |  9989852 |     1790  13501 |        0 |        0
1211.73/1212.22	c 1212s |      26 | 13279816 | 10004552 |     1790  13516 |        0 |        0
1213.73/1214.23	c 1214s |      26 | 13297614 | 10018352 |     1790  13531 |        0 |        0
1215.73/1216.24	c 1216s |      26 | 13313017 | 10031052 |     1790  13545 |        0 |        0
1217.73/1218.24	c 1218s |      26 | 13330364 | 10044452 |     1790  13559 |        0 |        0
1219.73/1220.24	c 1220s |      26 | 13347664 | 10058052 |     1790  13573 |        0 |        0
1221.73/1222.25	c 1222s |      26 | 13365992 | 10072252 |     1790  13588 |        0 |        0
1223.73/1224.25	c 1224s |      26 | 13385192 | 10086752 |     1790  13604 |        0 |        0
1225.73/1226.26	c 1226s |      26 | 13405583 | 10101552 |     1790  13620 |        0 |        0
1227.72/1228.26	c 1228s |      26 | 13424637 | 10115952 |     1790  13635 |        0 |        0
1229.72/1230.27	c 1230s |      26 | 13444231 | 10130752 |     1790  13651 |        0 |        0
1231.72/1232.27	c 1232s |      26 | 13463596 | 10145452 |     1790  13666 |        0 |        0
1233.73/1234.28	c 1234s |      26 | 13482464 | 10159552 |     1790  13681 |        0 |        0
1235.72/1236.29	c 1236s |      26 | 13502230 | 10174252 |     1790  13697 |        0 |        0
1237.82/1238.30	c 1238s |      26 | 13520156 | 10188252 |     1790  13712 |        0 |        0
1239.82/1240.31	c 1240s |      26 | 13539944 | 10202752 |     1790  13727 |        0 |        0
1241.82/1242.31	c 1242s |      26 | 13558825 | 10217152 |     1790  13743 |        0 |        0
1243.82/1244.32	c 1244s |      26 | 13578423 | 10231952 |     1790  13759 |        0 |        0
1245.83/1246.32	c 1246s |      26 | 13597251 | 10246252 |     1790  13774 |        0 |        0
1247.82/1248.33	c 1248s |      26 | 13614317 | 10259152 |     1790  13788 |        0 |        0
1249.82/1250.35	c 1250s |      26 | 13631831 | 10273052 |     1790  13802 |        0 |        0
1251.82/1252.36	c 1252s |      26 | 13651674 | 10287852 |     1790  13818 |        0 |        0
1253.82/1254.37	c 1254s |      26 | 13670872 | 10302352 |     1790  13833 |        0 |        0
1255.82/1256.37	c 1256s |      26 | 13690198 | 10317252 |     1790  13849 |        0 |        0
1257.82/1258.38	c 1258s |      26 | 13708129 | 10331152 |     1790  13864 |        0 |        0
1259.82/1260.39	c 1260s |      26 | 13726589 | 10345252 |     1790  13879 |        0 |        0
1261.92/1262.40	c 1262s |      26 | 13745412 | 10359952 |     1790  13894 |        0 |        0
1263.92/1264.41	c 1264s |      26 | 13764675 | 10374852 |     1790  13910 |        0 |        0
1265.91/1266.43	c 1266s |      26 | 13783730 | 10389352 |     1790  13925 |        0 |        0
1267.92/1268.43	c 1268s |      26 | 13803101 | 10404052 |     1790  13941 |        0 |        0
1269.91/1270.44	c 1270s |      26 | 13822348 | 10418952 |     1790  13956 |        0 |        0
1271.91/1272.45	c 1272s |      26 | 13840910 | 10433052 |     1790  13971 |        0 |        0
1273.91/1274.47	c 1274s |      26 | 13861708 | 10448452 |     1790  13988 |        0 |        0
1275.91/1276.47	c 1276s |      26 | 13880912 | 10463252 |     1790  14003 |        0 |        0
1277.91/1278.48	c 1278s |      26 | 13900232 | 10477652 |     1790  14018 |        0 |        0
1279.92/1280.49	c 1280s |      26 | 13918454 | 10491552 |     1790  14033 |        0 |        0
1282.02/1282.50	c 1282s |      26 | 13936389 | 10505052 |     1790  14047 |        0 |        0
1284.02/1284.51	c 1284s |      26 | 13955774 | 10519352 |     1790  14063 |        0 |        0
1286.02/1286.53	c 1286s |      26 | 13975607 | 10534152 |     1790  14078 |        0 |        0
1288.02/1288.54	c 1288s |      26 | 13994296 | 10548652 |     1790  14094 |        0 |        0
1290.02/1290.54	c 1290s |      26 | 14013354 | 10563052 |     1790  14109 |        0 |        0
1292.02/1292.55	c 1292s |      26 | 14030442 | 10576752 |     1790  14123 |        0 |        0
1294.01/1294.56	c 1294s |      26 | 14049404 | 10591352 |     1790  14139 |        0 |        0
1296.01/1296.57	c 1296s |      26 | 14069411 | 10606352 |     1790  14155 |        0 |        0
1298.01/1298.58	c 1298s |      26 | 14089015 | 10621152 |     1790  14170 |        0 |        0
1300.01/1300.59	c 1300s |      26 | 14108614 | 10635552 |     1790  14186 |        0 |        0
1302.11/1302.60	c 1302s |      26 | 14129319 | 10651152 |     1790  14202 |        0 |        0
1304.12/1304.61	c 1304s |      26 | 14149696 | 10666452 |     1790  14218 |        0 |        0
1306.11/1306.62	c 1306s |      26 | 14168866 | 10680952 |     1790  14234 |        0 |        0
1308.11/1308.63	c 1308s |      26 | 14187397 | 10695352 |     1790  14249 |        0 |        0
1310.11/1310.64	c 1310s |      26 | 14207499 | 10710652 |     1790  14265 |        0 |        0
1312.11/1312.64	c 1312s |      26 | 14226535 | 10725552 |     1790  14281 |        0 |        0
1314.12/1314.66	c 1314s |      26 | 14245567 | 10740252 |     1790  14296 |        0 |        0
1316.11/1316.67	c 1316s |      26 | 14265390 | 10755252 |     1790  14312 |        0 |        0
1318.11/1318.68	c 1318s |      26 | 14284783 | 10769952 |     1790  14328 |        0 |        0
1320.11/1320.69	c 1320s |      26 | 14304294 | 10784752 |     1790  14343 |        0 |        0
1322.11/1322.69	c 1322s |      26 | 14323313 | 10799152 |     1790  14358 |        0 |        0
1324.11/1324.69	c 1324s |      26 | 14342203 | 10813152 |     1790  14373 |        0 |        0
1326.11/1326.70	c 1326s |      26 | 14359976 | 10826652 |     1790  14387 |        0 |        0
1328.21/1328.71	c 1328s |      26 | 14378979 | 10840852 |     1790  14402 |        0 |        0
1330.21/1330.72	c 1330s |      26 | 14398404 | 10855452 |     1790  14418 |        0 |        0
1332.21/1332.73	c 1332s |      26 | 14417627 | 10870452 |     1790  14434 |        0 |        0
1334.21/1334.75	c 1334s |      26 | 14437691 | 10886152 |     1790  14451 |        0 |        0
1336.20/1336.75	c 1336s |      26 | 14456414 | 10900352 |     1790  14466 |        0 |        0
1338.21/1338.76	c 1338s |      26 | 14477149 | 10916252 |     1790  14483 |        0 |        0
1340.20/1340.77	c 1340s |      26 | 14499521 | 10933052 |     1790  14500 |        0 |        0
1342.20/1342.79	c 1342s |      26 | 14518469 | 10948352 |     1790  14517 |        0 |        0
1344.20/1344.79	c 1344s |      26 | 14538798 | 10963952 |     1790  14533 |        0 |        0
1346.20/1346.80	c 1346s |      26 | 14558968 | 10978952 |     1790  14549 |        0 |        0
1348.30/1348.80	c 1348s |      26 | 14578200 | 10993952 |     1790  14565 |        0 |        0
1350.31/1350.80	c 1350s |      26 | 14599573 | 11009852 |     1790  14582 |        0 |        0
1352.31/1352.81	c 1352s |      26 | 14619599 | 11025152 |     1790  14598 |        0 |        0
1354.31/1354.81	c 1354s |      26 | 14640205 | 11040752 |     1790  14614 |        0 |        0
1356.30/1356.82	c 1356s |      26 | 14660010 | 11056052 |     1790  14631 |        0 |        0
1358.30/1358.84	c 1358s |      26 | 14679797 | 11071352 |     1790  14647 |        0 |        0
1360.31/1360.84	c 1360s |      26 | 14699847 | 11086652 |     1790  14663 |        0 |        0
1362.30/1362.84	c 1362s |      26 | 14719934 | 11101852 |     1790  14679 |        0 |        0
1364.30/1364.86	c 1364s |      26 | 14739518 | 11117052 |     1790  14695 |        0 |        0
1366.30/1366.86	c 1366s |      26 | 14759726 | 11132252 |     1790  14711 |        0 |        0
1368.30/1368.87	c 1368s |      26 | 14779687 | 11147252 |     1790  14727 |        0 |        0
1370.30/1370.88	c 1370s |      26 | 14799178 | 11162152 |     1790  14743 |        0 |        0
1372.30/1372.89	c 1372s |      26 | 14816931 | 11176052 |     1790  14757 |        0 |        0
1374.30/1374.90	c 1374s |      26 | 14836018 | 11190752 |     1790  14773 |        0 |        0
1376.40/1376.90	c 1376s |      26 | 14855174 | 11205652 |     1790  14789 |        0 |        0
1378.40/1378.91	c 1378s |      26 | 14875673 | 11220852 |     1790  14805 |        0 |        0
1380.40/1380.91	c 1380s |      26 | 14896368 | 11236252 |     1790  14821 |        0 |        0
1382.39/1382.92	c 1382s |      26 | 14917347 | 11252052 |     1790  14838 |        0 |        0
1384.40/1384.93	c 1384s |      26 | 14937688 | 11267652 |     1790  14855 |        0 |        0
1386.39/1386.94	c 1386s |      26 | 14957023 | 11282652 |     1790  14871 |        0 |        0
1388.39/1388.95	c 1388s |      26 | 14976264 | 11297552 |     1790  14886 |        0 |        0
1390.39/1390.95	c 1390s |      26 | 14995094 | 11312252 |     1790  14902 |        0 |        0
1392.39/1392.96	c 1392s |      26 | 15015285 | 11327552 |     1970  14917 |        0 |        0
1394.40/1394.97	c 1394s |      26 | 15033719 | 11341852 |     1970  14931 |        0 |        0
1396.39/1396.97	c 1396s |      26 | 15053851 | 11356752 |     1970  14945 |        0 |        0
1398.39/1398.97	c 1398s |      26 | 15073064 | 11371152 |     1970  14959 |        0 |        0
1400.39/1400.98	c 1400s |      26 | 15091857 | 11385952 |     1970  14974 |        0 |        0
1402.00/1402.52	c 1402s |      27 | 15105512 | 11396733 |     1970  14984 |        0 |        0
1403.99/1404.52	c 1404s |      27 | 15123476 | 11410733 |     1970  14997 |        0 |        0
1405.99/1406.53	c 1406s |      27 | 15143477 | 11425333 |     1970  15012 |        0 |        0
1407.99/1408.53	c 1408s |      27 | 15162867 | 11440133 |     1970  15026 |        0 |        0
1409.99/1410.54	c 1410s |      27 | 15181960 | 11454933 |     1970  15040 |        0 |        0
1412.00/1412.55	c 1412s |      27 | 15202437 | 11470033 |     1970  15055 |        0 |        0
1413.99/1414.55	c 1414s |      27 | 15223172 | 11485433 |     1970  15070 |        0 |        0
1415.99/1416.55	c 1416s |      27 | 15243458 | 11500733 |     1970  15085 |        0 |        0
1418.00/1418.55	c 1418s |      27 | 15262798 | 11515733 |     1970  15099 |        0 |        0
1420.00/1420.56	c 1420s |      27 | 15282499 | 11530433 |     1970  15113 |        0 |        0
1421.99/1422.56	c 1422s |      27 | 15302385 | 11545333 |     1970  15128 |        0 |        0
1424.00/1424.56	c 1424s |      27 | 15322062 | 11560333 |     1970  15142 |        0 |        0
1425.99/1426.57	c 1426s |      27 | 15341067 | 11574933 |     1970  15156 |        0 |        0
1427.99/1428.58	c 1428s |      27 | 15360594 | 11589933 |     1970  15171 |        0 |        0
1429.99/1430.58	c 1430s |      27 | 15381492 | 11605533 |     1970  15186 |        0 |        0
1432.09/1432.60	c 1432s |      27 | 15402462 | 11621433 |     1970  15202 |        0 |        0
1434.09/1434.60	c 1434s |      27 | 15421730 | 11636533 |     1970  15216 |        0 |        0
1435.99/1436.60	c 1436s |      27 | 15440929 | 11651033 |     1970  15231 |        0 |        0
1438.09/1438.61	c 1438s |      27 | 15458464 | 11664433 |     1970  15244 |        0 |        0
1440.09/1440.62	c 1440s |      27 | 15476819 | 11678433 |     1970  15257 |        0 |        0
1442.09/1442.62	c 1442s |      27 | 15493881 | 11692333 |     1970  15271 |        0 |        0
1444.09/1444.63	c 1444s |      27 | 15512384 | 11706333 |     1970  15285 |        0 |        0
1446.10/1446.65	c 1446s |      27 | 15532929 | 11721433 |     1970  15299 |        0 |        0
1448.09/1448.66	c 1448s |      27 | 15554431 | 11737333 |     1970  15315 |        0 |        0
1450.09/1450.67	c 1450s |      27 | 15574689 | 11752833 |     1970  15330 |        0 |        0
1452.09/1452.67	c 1452s |      27 | 15597156 | 11769433 |     1970  15346 |        0 |        0
1454.09/1454.68	c 1454s |      27 | 15617212 | 11784833 |     1970  15361 |        0 |        0
1456.09/1456.68	c 1456s |      27 | 15636826 | 11799533 |     1970  15376 |        0 |        0
1458.09/1458.70	c 1458s |      27 | 15657809 | 11814933 |     1970  15391 |        0 |        0
1460.18/1460.70	c 1460s |      27 | 15676505 | 11829333 |     1970  15405 |        0 |        0
1462.18/1462.71	c 1462s |      27 | 15695188 | 11843733 |     1970  15419 |        0 |        0
1464.18/1464.71	c 1464s |      27 | 15715004 | 11858933 |     1970  15434 |        0 |        0
1466.18/1466.72	c 1466s |      27 | 15735088 | 11873933 |     1970  15449 |        0 |        0
1468.18/1468.72	c 1468s |      27 | 15755738 | 11889033 |     1970  15464 |        0 |        0
1470.19/1470.73	c 1470s |      27 | 15777127 | 11904933 |     1970  15480 |        0 |        0
1472.18/1472.73	c 1472s |      27 | 15796502 | 11920033 |     1970  15494 |        0 |        0
1474.18/1474.75	c 1474s |      27 | 15816051 | 11934833 |     1970  15509 |        0 |        0
1476.18/1476.75	c 1476s |      27 | 15834330 | 11949033 |     1970  15523 |        0 |        0
1478.18/1478.76	c 1478s |      27 | 15854034 | 11964133 |     1970  15538 |        0 |        0
1480.19/1480.77	c 1480s |      27 | 15875691 | 11980333 |     1970  15554 |        0 |        0
1482.18/1482.77	c 1482s |      27 | 15895872 | 11995433 |     1970  15568 |        0 |        0
1484.18/1484.78	c 1484s |      27 | 15916515 | 12011133 |     1970  15584 |        0 |        0
1486.18/1486.78	c 1486s |      27 | 15934862 | 12025633 |     1970  15598 |        0 |        0
1488.18/1488.79	c 1488s |      27 | 15954223 | 12040433 |     1970  15613 |        0 |        0
1490.28/1490.80	c 1490s |      27 | 15973902 | 12055533 |     1970  15628 |        0 |        0
1492.29/1492.80	c 1492s |      27 | 15992675 | 12069833 |     1970  15642 |        0 |        0
1494.28/1494.82	c 1494s |      27 | 16012992 | 12084933 |     1970  15657 |        0 |        0
1496.28/1496.82	c 1496s |      27 | 16033405 | 12100033 |     1970  15671 |        0 |        0
1498.28/1498.84	c 1498s |      27 | 16055384 | 12116533 |     1970  15688 |        0 |        0
1500.28/1500.84	c 1500s |      27 | 16076054 | 12131433 |     1970  15702 |        0 |        0
1502.28/1502.85	c 1502s |      27 | 16096718 | 12146833 |     1970  15717 |        0 |        0
1504.28/1504.86	c 1504s |      27 | 16114974 | 12160833 |     1970  15731 |        0 |        0
1506.28/1506.87	c 1506s |      27 | 16132737 | 12174433 |     1970  15745 |        0 |        0
1508.27/1508.88	c 1508s |      27 | 16154337 | 12190033 |     1970  15760 |        0 |        0
1510.27/1510.88	c 1510s |      27 | 16176409 | 12206233 |     1970  15776 |        0 |        0
1512.27/1512.89	c 1512s |      27 | 16196993 | 12221633 |     1970  15791 |        0 |        0
1514.28/1514.89	c 1514s |      27 | 16218217 | 12237533 |     1970  15807 |        0 |        0
1516.27/1516.90	c 1516s |      27 | 16237573 | 12252233 |     1970  15821 |        0 |        0
1518.37/1518.91	c 1518s |      27 | 16256852 | 12266733 |     1970  15835 |        0 |        0
1520.37/1520.93	c 1520s |      27 | 16276184 | 12281733 |     1970  15850 |        0 |        0
1522.37/1522.94	c 1522s |      27 | 16294730 | 12296133 |     1970  15864 |        0 |        0
1524.37/1524.95	c 1524s |      27 | 16315571 | 12311533 |     1970  15878 |        0 |        0
1526.38/1526.95	c 1526s |      27 | 16334507 | 12326233 |     1970  15893 |        0 |        0
1528.37/1528.97	c 1528s |      27 | 16354282 | 12341233 |     1970  15907 |        0 |        0
1530.37/1530.97	c 1530s |      27 | 16373789 | 12356033 |     1970  15922 |        0 |        0
1532.38/1532.98	c 1532s |      27 | 16392486 | 12370633 |     1970  15936 |        0 |        0
1534.38/1534.99	c 1534s |      27 | 16411477 | 12385033 |     1970  15950 |        0 |        0
1536.48/1537.00	c 1536s |      27 | 16431307 | 12400133 |     1970  15964 |        0 |        0
1538.49/1539.01	c 1538s |      27 | 16447772 | 12413233 |     1970  15977 |        0 |        0
1540.48/1541.02	c 1541s |      27 | 16467945 | 12428033 |     1970  15992 |        0 |        0
1542.48/1543.02	c 1543s |      27 | 16487898 | 12443033 |     1970  16006 |        0 |        0
1544.48/1545.03	c 1545s |      27 | 16507615 | 12458033 |     1970  16021 |        0 |        0
1546.48/1547.04	c 1547s |      27 | 16527098 | 12472333 |     1970  16035 |        0 |        0
1548.48/1549.04	c 1549s |      27 | 16547489 | 12487633 |     1970  16050 |        0 |        0
1550.48/1551.05	c 1551s |      27 | 16568756 | 12503433 |     1970  16065 |        0 |        0
1552.48/1553.06	c 1553s |      27 | 16588458 | 12518933 |     1970  16080 |        0 |        0
1554.48/1555.06	c 1555s |      27 | 16610028 | 12534733 |     1970  16096 |        0 |        0
1556.47/1557.07	c 1557s |      27 | 16629570 | 12549933 |     1970  16110 |        0 |        0
1558.47/1559.07	c 1559s |      27 | 16650671 | 12565733 |     1970  16126 |        0 |        0
1560.48/1561.08	c 1561s |      27 | 16672205 | 12581733 |     1970  16142 |        0 |        0
1562.47/1563.09	c 1563s |      27 | 16693746 | 12597833 |     1970  16158 |        0 |        0
1564.47/1565.10	c 1565s |      27 | 16712310 | 12612433 |     1970  16172 |        0 |        0
1566.57/1567.10	c 1567s |      27 | 16730743 | 12626533 |     1970  16185 |        0 |        0
1568.57/1569.11	c 1569s |      27 | 16748813 | 12640833 |     1970  16199 |        0 |        0
1570.57/1571.12	c 1571s |      27 | 16766808 | 12655133 |     1970  16213 |        0 |        0
1572.58/1573.13	c 1573s |      27 | 16785323 | 12669133 |     1970  16227 |        0 |        0
1574.57/1575.13	c 1575s |      27 | 16803724 | 12683433 |     1970  16241 |        0 |        0
1576.57/1577.14	c 1577s |      27 | 16822687 | 12697733 |     1970  16255 |        0 |        0
1578.57/1579.15	c 1579s |      27 | 16842695 | 12712333 |     1970  16270 |        0 |        0
1580.57/1581.15	c 1581s |      27 | 16860955 | 12726933 |     1970  16284 |        0 |        0
1582.57/1583.16	c 1583s |      27 | 16879824 | 12741533 |     1970  16298 |        0 |        0
1584.58/1585.17	c 1585s |      27 | 16899793 | 12756333 |     1970  16313 |        0 |        0
1586.57/1587.18	c 1587s |      27 | 16918126 | 12770233 |     1970  16326 |        0 |        0
1588.57/1589.18	c 1589s |      27 | 16937422 | 12785133 |     1970  16341 |        0 |        0
1590.57/1591.19	c 1591s |      27 | 16956842 | 12800033 |     1970  16356 |        0 |        0
1592.66/1593.20	c 1593s |      27 | 16975994 | 12815033 |     1970  16370 |        0 |        0
1594.66/1595.21	c 1595s |      27 | 16996794 | 12830133 |     1970  16385 |        0 |        0
1596.67/1597.21	c 1597s |      27 | 17017357 | 12845233 |     1970  16400 |        0 |        0
1598.66/1599.21	c 1599s |      27 | 17037863 | 12860533 |     1970  16415 |        0 |        0
1600.66/1601.22	c 1601s |      27 | 17058560 | 12875933 |     1970  16430 |        0 |        0
1602.66/1603.22	c 1603s |      27 | 17078275 | 12891133 |     1970  16445 |        0 |        0
1604.66/1605.24	c 1605s |      27 | 17099639 | 12906433 |     1970  16460 |        0 |        0
1606.67/1607.25	c 1607s |      27 | 17119463 | 12921733 |     1970  16475 |        0 |        0
1608.66/1609.26	c 1609s |      27 | 17140409 | 12937133 |     1970  16491 |        0 |        0
1610.66/1611.26	c 1611s |      27 | 17158808 | 12951433 |     1970  16505 |        0 |        0
1612.66/1613.26	c 1613s |      27 | 17180665 | 12967533 |     1970  16520 |        0 |        0
1614.67/1615.27	c 1615s |      27 | 17200474 | 12982533 |     1970  16535 |        0 |        0
1616.67/1617.28	c 1617s |      27 | 17220168 | 12997333 |     1970  16550 |        0 |        0
1618.67/1619.29	c 1619s |      27 | 17240208 | 13012433 |     1970  16564 |        0 |        0
1620.76/1621.30	c 1621s |      27 | 17260593 | 13027333 |     1970  16579 |        0 |        0
1622.76/1623.30	c 1623s |      27 | 17280961 | 13042033 |     1970  16594 |        0 |        0
1624.76/1625.31	c 1625s |      27 | 17300969 | 13057033 |     1970  16608 |        0 |        0
1626.76/1627.32	c 1627s |      27 | 17320497 | 13071833 |     1970  16623 |        0 |        0
1628.76/1629.32	c 1629s |      27 | 17341780 | 13087033 |     1970  16638 |        0 |        0
1630.77/1631.32	c 1631s |      27 | 17359455 | 13100633 |     1970  16651 |        0 |        0
1632.76/1633.33	c 1633s |      27 | 17378773 | 13115333 |     1970  16666 |        0 |        0
1634.76/1635.34	c 1635s |      27 | 17398717 | 13130133 |     1970  16680 |        0 |        0
1636.76/1637.34	c 1637s |      27 | 17418432 | 13145133 |     1970  16695 |        0 |        0
1638.76/1639.35	c 1639s |      27 | 17439239 | 13160633 |     1970  16710 |        0 |        0
1640.77/1641.36	c 1641s |      27 | 17458928 | 13176133 |     1970  16725 |        0 |        0
1642.76/1643.36	c 1643s |      27 | 17476343 | 13189733 |     1970  16738 |        0 |        0
1644.76/1645.39	c 1645s |      27 | 17493065 | 13203233 |     1970  16752 |        0 |        0
1646.86/1647.40	c 1647s |      27 | 17512844 | 13218433 |     1970  16766 |        0 |        0
1648.86/1649.40	c 1649s |      27 | 17532107 | 13233433 |     1970  16781 |        0 |        0
1650.85/1651.40	c 1651s |      27 | 17551636 | 13248433 |     1970  16796 |        0 |        0
1652.86/1653.40	c 1653s |      27 | 17571623 | 13263233 |     1970  16810 |        0 |        0
1654.85/1655.42	c 1655s |      27 | 17592146 | 13278333 |     1970  16825 |        0 |        0
1656.85/1657.42	c 1657s |      27 | 17611675 | 13293433 |     1970  16840 |        0 |        0
1658.85/1659.43	c 1659s |      27 | 17631366 | 13308333 |     1970  16854 |        0 |        0
1660.85/1661.44	c 1661s |      27 | 17648588 | 13321733 |     1970  16868 |        0 |        0
1662.85/1663.46	c 1663s |      27 | 17667231 | 13335833 |     1970  16881 |        0 |        0
1664.87/1665.47	c 1665s |      27 | 17687124 | 13350433 |     1970  16896 |        0 |        0
1666.86/1667.48	c 1667s |      27 | 17706849 | 13365233 |     1970  16910 |        0 |        0
1668.86/1669.49	c 1669s |      27 | 17726763 | 13380033 |     1970  16925 |        0 |        0
1670.96/1671.50	c 1671s |      27 | 17746030 | 13394433 |     1970  16939 |        0 |        0
1672.96/1673.50	c 1673s |      27 | 17764352 | 13408533 |     1970  16953 |        0 |        0
1674.95/1675.50	c 1675s |      27 | 17784570 | 13423833 |     1970  16968 |        0 |        0
1676.96/1677.51	c 1677s |      27 | 17804502 | 13438733 |     1970  16983 |        0 |        0
1678.95/1679.52	c 1679s |      27 | 17822714 | 13452933 |     1970  16997 |        0 |        0
1680.95/1681.52	c 1681s |      27 | 17841590 | 13467433 |     1970  17011 |        0 |        0
1682.95/1683.53	c 1683s |      27 | 17860999 | 13482033 |     1970  17025 |        0 |        0
1684.95/1685.54	c 1685s |      27 | 17881367 | 13497133 |     1970  17040 |        0 |        0
1686.96/1687.55	c 1687s |      27 | 17900871 | 13511733 |     1970  17055 |        0 |        0
1688.95/1689.56	c 1689s |      27 | 17921873 | 13527233 |     1970  17070 |        0 |        0
1690.95/1691.57	c 1691s |      27 | 17941292 | 13541733 |     1970  17084 |        0 |        0
1692.95/1693.57	c 1693s |      27 | 17960982 | 13556233 |     1970  17098 |        0 |        0
1694.95/1695.57	c 1695s |      27 | 17980720 | 13571233 |     1970  17113 |        0 |        0
1696.95/1697.58	c 1697s |      27 | 17999527 | 13585633 |     1970  17127 |        0 |        0
1698.95/1699.58	c 1699s |      27 | 18019091 | 13600433 |     1970  17142 |        0 |        0
1700.95/1701.59	c 1701s |      27 | 18037748 | 13614933 |     1970  17156 |        0 |        0
1703.05/1703.60	c 1703s |      27 | 18056186 | 13628833 |     1970  17170 |        0 |        0
1705.05/1705.62	c 1705s |      27 | 18073690 | 13642233 |     1970  17183 |        0 |        0
1707.04/1707.62	c 1707s |      27 | 18093309 | 13656933 |     1970  17197 |        0 |        0
1709.04/1709.64	c 1709s |      27 | 18112758 | 13671933 |     1970  17212 |        0 |        0
1711.05/1711.65	c 1711s |      27 | 18133355 | 13687133 |     1970  17227 |        0 |        0
1713.04/1713.65	c 1713s |      27 | 18154020 | 13702533 |     1970  17242 |        0 |        0
1715.04/1715.65	c 1715s |      27 | 18176414 | 13718633 |     1970  17258 |        0 |        0
1717.04/1717.67	c 1717s |      27 | 18194593 | 13732533 |     1970  17271 |        0 |        0
1719.04/1719.67	c 1719s |      27 | 18212633 | 13746833 |     1970  17286 |        0 |        0
1721.05/1721.68	c 1721s |      27 | 18233766 | 13762733 |     1970  17301 |        0 |        0
1723.04/1723.69	c 1723s |      27 | 18254396 | 13778333 |     1970  17317 |        0 |        0
1725.04/1725.69	c 1725s |      27 | 18274075 | 13793233 |     1970  17331 |        0 |        0
1727.14/1727.71	c 1727s |      27 | 18293738 | 13808233 |     1970  17346 |        0 |        0
1729.15/1729.71	c 1729s |      27 | 18314084 | 13823433 |     1970  17361 |        0 |        0
1731.15/1731.73	c 1731s |      27 | 18334145 | 13838133 |     1970  17375 |        0 |        0
1733.16/1733.73	c 1733s |      27 | 18352859 | 13852333 |     1970  17389 |        0 |        0
1735.15/1735.74	c 1735s |      27 | 18372317 | 13867233 |     1970  17404 |        0 |        0
1737.15/1737.76	c 1737s |      27 | 18392451 | 13882033 |     1970  17419 |        0 |        0
1739.15/1739.77	c 1739s |      27 | 18412291 | 13897233 |     1970  17433 |        0 |        0
1741.15/1741.78	c 1741s |      27 | 18432818 | 13912633 |     1970  17449 |        0 |        0
1743.15/1743.79	c 1743s |      27 | 18451482 | 13927433 |     1970  17463 |        0 |        0
1745.15/1745.80	c 1745s |      27 | 18473489 | 13943333 |     1970  17479 |        0 |        0
1747.25/1747.80	c 1747s |      27 | 18494258 | 13958633 |     1970  17494 |        0 |        0
1749.25/1749.81	c 1749s |      27 | 18513066 | 13973133 |     1970  17508 |        0 |        0
1751.24/1751.82	c 1751s |      27 | 18530860 | 13987333 |     1970  17522 |        0 |        0
1753.24/1753.82	c 1753s |      27 | 18551579 | 14002733 |     1970  17537 |        0 |        0
1755.24/1755.83	c 1755s |      27 | 18570778 | 14017533 |     1970  17552 |        0 |        0
1757.25/1757.84	c 1757s |      27 | 18586883 | 14030233 |     1970  17564 |        0 |        0
1759.24/1759.85	c 1759s |      27 | 18603047 | 14043033 |     1970  17577 |        0 |        0
1761.24/1761.86	c 1761s |      27 | 18619911 | 14056233 |     1970  17590 |        0 |        0
1763.24/1763.87	c 1763s |      27 | 18637163 | 14069433 |     1970  17603 |        0 |        0
1765.24/1765.87	c 1765s |      27 | 18654845 | 14082833 |     1970  17616 |        0 |        0
1767.25/1767.87	c 1767s |      27 | 18673555 | 14096933 |     1970  17630 |        0 |        0
1769.24/1769.88	c 1769s |      27 | 18692117 | 14111133 |     1970  17644 |        0 |        0
1771.24/1771.90	c 1771s |      27 | 18709048 | 14124333 |     1970  17657 |        0 |        0
1773.34/1773.90	c 1773s |      27 | 18725928 | 14137033 |     1970  17669 |        0 |        0
1775.34/1775.91	c 1775s |      27 | 18743888 | 14150533 |     1970  17682 |        0 |        0
1777.34/1777.93	c 1777s |      27 | 18761030 | 14163633 |     1970  17695 |        0 |        0
1779.34/1779.94	c 1779s |      27 | 18775972 | 14175633 |     1970  17707 |        0 |        0
1781.34/1781.95	c 1781s |      27 | 18792935 | 14188633 |     1970  17720 |        0 |        0
1783.34/1783.95	c 1783s |      27 | 18810607 | 14202033 |     1970  17733 |        0 |        0
1785.34/1785.96	c 1785s |      27 | 18830361 | 14216633 |     1970  17747 |        0 |        0
1787.34/1787.96	c 1787s |      27 | 18849480 | 14230733 |     1970  17761 |        0 |        0
1789.34/1789.96	c 1789s |      27 | 18866783 | 14244333 |     1970  17775 |        0 |        0
1791.34/1791.97	c 1791s |      27 | 18884858 | 14257833 |     1970  17788 |        0 |        0
1793.33/1793.98	c 1793s |      27 | 18903423 | 14272033 |     1970  17802 |        0 |        0
1795.33/1795.99	c 1795s |      27 | 18921263 | 14285433 |     1970  17815 |        0 |        0
1797.43/1798.00	c 1797s |      27 | 18939259 | 14298833 |     1970  17828 |        0 |        0
1799.43/1800.02	c 1800s |      27 | 18958804 | 14313433 |     1970  17843 |        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-4121794-1467315530/watcher-4121794-1467315530 -o /tmp/evaluation-result-4121794-1467315530/solver-4121794-1467315530 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node124-1467310918-18130 --watchdog 1960 toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4121794-1467315530.opb 

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

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


[startup+0 s]
/proc/loadavg: 2.33 2.28 2.22 3/179 19515
/proc/meminfo: memFree=28502712/32872528 swapFree=1498612/1645780
[pid=19515] ppid=19512 vsize=759228 CPUtime=0 cores=1,3,5,7
/proc/19515/stat : 19515 (toysat) R 19512 19515 13393 0 -1 4202496 2839 0 0 0 0 0 0 0 20 0 4 0 12509861 777449472 2689 33554432000 4194304 16246674 140734336038320 140734336037744 13880264 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/19515/statm: 190319 2697 441 2943 0 187213 0
[pid=19515/tid=19516] ppid=19512 vsize=776636 CPUtime=0 cores=1,3,5,7
/proc/19515/task/19516/stat : 19516 (toysat) S 19512 19515 13393 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 12509862 795275264 2758 33554432000 4194304 16246674 140734336038320 140601027702000 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=19515/tid=19517] ppid=19512 vsize=780732 CPUtime=0 cores=1,3,5,7
/proc/19515/task/19517/stat : 19517 (toysat) S 19512 19515 13393 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12509862 799469568 2776 33554432000 4194304 16246674 140734336038320 140601017212144 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=19515/tid=19518] ppid=19512 vsize=785852 CPUtime=0 cores=1,3,5,7
/proc/19515/task/19518/stat : 19518 (toysat) S 19512 19515 13393 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 12509862 804712448 2796 33554432000 4194304 16246674 140734336038320 140601006738608 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0

[startup+0.100183 s]
/proc/loadavg: 2.33 2.28 2.22 3/179 19515
/proc/meminfo: memFree=28502712/32872528 swapFree=1498612/1645780
[pid=19515] ppid=19512 vsize=1218116 CPUtime=0.09 cores=1,3,5,7
/proc/19515/stat : 19515 (toysat) R 19512 19515 13393 0 -1 4202496 24685 0 0 0 6 3 0 0 20 0 4 0 12509861 1247350784 24524 33554432000 4194304 16246674 140734336038320 140734336020224 6010789 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/19515/statm: 304529 24532 708 2943 0 301423 0
[pid=19515/tid=19516] ppid=19512 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/19515/task/19516/stat : 19516 (toysat) S 19512 19515 13393 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 12509862 1247350784 24539 33554432000 4194304 16246674 140734336038320 140601027702000 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=19515/tid=19517] ppid=19512 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/19515/task/19517/stat : 19517 (toysat) S 19512 19515 13393 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12509862 1247350784 24547 33554432000 4194304 16246674 140734336038320 140601017212144 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=19515/tid=19518] ppid=19512 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/19515/task/19518/stat : 19518 (toysat) S 19512 19515 13393 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 12509862 1247350784 24553 33554432000 4194304 16246674 140734336038320 140601006738608 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 1218116

[startup+0.20056 s]
/proc/loadavg: 2.33 2.28 2.22 3/179 19515
/proc/meminfo: memFree=28502712/32872528 swapFree=1498612/1645780
[pid=19515] ppid=19512 vsize=1218116 CPUtime=0.19 cores=1,3,5,7
/proc/19515/stat : 19515 (toysat) R 19512 19515 13393 0 -1 4202496 47465 0 0 0 13 6 0 0 20 0 4 0 12509861 1247350784 47303 33554432000 4194304 16246674 140734336038320 140734336020224 13198569 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/19515/statm: 304529 47312 708 2943 0 301423 0
[pid=19515/tid=19516] ppid=19512 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/19515/task/19516/stat : 19516 (toysat) S 19512 19515 13393 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 12509862 1247350784 47318 33554432000 4194304 16246674 140734336038320 140601027702000 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=19515/tid=19517] ppid=19512 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/19515/task/19517/stat : 19517 (toysat) S 19512 19515 13393 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12509862 1247350784 47326 33554432000 4194304 16246674 140734336038320 140601017212144 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=19515/tid=19518] ppid=19512 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/19515/task/19518/stat : 19518 (toysat) S 19512 19515 13393 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 12509862 1247350784 47332 33554432000 4194304 16246674 140734336038320 140601006738608 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 1218116

[startup+0.300498 s]
/proc/loadavg: 2.33 2.28 2.22 3/179 19515
/proc/meminfo: memFree=28502712/32872528 swapFree=1498612/1645780
[pid=19515] ppid=19512 vsize=1218116 CPUtime=0.29 cores=1,3,5,7
/proc/19515/stat : 19515 (toysat) R 19512 19515 13393 0 -1 4202496 69529 0 0 0 20 9 0 0 20 0 4 0 12509861 1247350784 69367 33554432000 4194304 16246674 140734336038320 140734336020224 5675357 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/19515/statm: 304529 69377 708 2943 0 301423 0
[pid=19515/tid=19516] ppid=19512 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/19515/task/19516/stat : 19516 (toysat) S 19512 19515 13393 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 12509862 1247350784 69386 33554432000 4194304 16246674 140734336038320 140601027702000 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=19515/tid=19517] ppid=19512 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/19515/task/19517/stat : 19517 (toysat) S 19512 19515 13393 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12509862 1247350784 69393 33554432000 4194304 16246674 140734336038320 140601017212144 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=19515/tid=19518] ppid=19512 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/19515/task/19518/stat : 19518 (toysat) S 19512 19515 13393 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 12509862 1247350784 69398 33554432000 4194304 16246674 140734336038320 140601006738608 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 1218116

[startup+0.700383 s]
/proc/loadavg: 2.33 2.28 2.22 3/179 19515
/proc/meminfo: memFree=28502712/32872528 swapFree=1498612/1645780
[pid=19515] ppid=19512 vsize=1218116 CPUtime=0.69 cores=1,3,5,7
/proc/19515/stat : 19515 (toysat) R 19512 19515 13393 0 -1 4202496 159169 0 0 0 46 23 0 0 20 0 4 0 12509861 1247350784 159008 33554432000 4194304 16246674 140734336038320 140734336020224 5546098 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/19515/statm: 304529 159019 708 2943 0 301423 0
[pid=19515/tid=19516] ppid=19512 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/19515/task/19516/stat : 19516 (toysat) S 19512 19515 13393 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 12509862 1247350784 159028 33554432000 4194304 16246674 140734336038320 140601027702000 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=19515/tid=19517] ppid=19512 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/19515/task/19517/stat : 19517 (toysat) S 19512 19515 13393 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12509862 1247350784 159035 33554432000 4194304 16246674 140734336038320 140601017212144 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=19515/tid=19518] ppid=19512 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/19515/task/19518/stat : 19518 (toysat) S 19512 19515 13393 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 12509862 1247350784 159041 33554432000 4194304 16246674 140734336038320 140601006738608 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 1218116

[startup+1.50042 s]
/proc/loadavg: 2.33 2.28 2.22 3/183 19519
/proc/meminfo: memFree=27521664/32872528 swapFree=1498612/1645780
[pid=19515] ppid=19512 vsize=1219140 CPUtime=1.49 cores=1,3,5,7
/proc/19515/stat : 19515 (toysat) R 19512 19515 13393 0 -1 4202496 245653 0 0 0 115 34 0 0 20 0 4 0 12509861 1248399360 245471 33554432000 4194304 16246674 140734336038320 140734336037632 5675809 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/19515/statm: 304785 245471 784 2943 0 301679 0
[pid=19515/tid=19516] ppid=19512 vsize=1219140 CPUtime=0 cores=1,3,5,7
/proc/19515/task/19516/stat : 19516 (toysat) S 19512 19515 13393 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 12509862 1248399360 245471 33554432000 4194304 16246674 140734336038320 140601027702000 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=19515/tid=19517] ppid=19512 vsize=1219140 CPUtime=0 cores=1,3,5,7
/proc/19515/task/19517/stat : 19517 (toysat) S 19512 19515 13393 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12509862 1248399360 245471 33554432000 4194304 16246674 140734336038320 140601017212144 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=19515/tid=19518] ppid=19512 vsize=1219140 CPUtime=0 cores=1,3,5,7
/proc/19515/task/19518/stat : 19518 (toysat) S 19512 19515 13393 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 12509862 1248399360 245471 33554432000 4194304 16246674 140734336038320 140601006738608 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 1219140

[startup+3.10042 s]
/proc/loadavg: 2.30 2.28 2.22 3/183 19519
/proc/meminfo: memFree=27434740/32872528 swapFree=1498612/1645780
[pid=19515] ppid=19512 vsize=1306180 CPUtime=3.09 cores=1,3,5,7
/proc/19515/stat : 19515 (toysat) R 19512 19515 13393 0 -1 4202496 267421 0 0 0 272 37 0 0 20 0 4 0 12509861 1337528320 267239 33554432000 4194304 16246674 140734336038320 140734336021320 5754801 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/19515/statm: 326545 267239 784 2943 0 323439 0
[pid=19515/tid=19516] ppid=19512 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/19515/task/19516/stat : 19516 (toysat) S 19512 19515 13393 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 12509862 1337528320 267239 33554432000 4194304 16246674 140734336038320 140601027702000 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=19515/tid=19517] ppid=19512 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/19515/task/19517/stat : 19517 (toysat) S 19512 19515 13393 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12509862 1337528320 267239 33554432000 4194304 16246674 140734336038320 140601017212144 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=19515/tid=19518] ppid=19512 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/19515/task/19518/stat : 19518 (toysat) S 19512 19515 13393 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 12509862 1337528320 267239 33554432000 4194304 16246674 140734336038320 140601006738608 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 1306180

[startup+6.30042 s]
/proc/loadavg: 2.30 2.28 2.22 3/183 19519
/proc/meminfo: memFree=27433420/32872528 swapFree=1498612/1645780
[pid=19515] ppid=19512 vsize=1307204 CPUtime=6.29 cores=1,3,5,7
/proc/19515/stat : 19515 (toysat) R 19512 19515 13393 0 -1 4202496 267629 0 0 0 592 37 0 0 20 0 4 0 12509861 1338576896 267447 33554432000 4194304 16246674 140734336038320 140734336021320 5523192 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/19515/statm: 326801 267447 784 2943 0 323695 0
[pid=19515/tid=19516] ppid=19512 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/19515/task/19516/stat : 19516 (toysat) S 19512 19515 13393 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 12509862 1338576896 267447 33554432000 4194304 16246674 140734336038320 140601027702000 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=19515/tid=19517] ppid=19512 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/19515/task/19517/stat : 19517 (toysat) S 19512 19515 13393 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12509862 1338576896 267447 33554432000 4194304 16246674 140734336038320 140601017212144 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=19515/tid=19518] ppid=19512 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/19515/task/19518/stat : 19518 (toysat) S 19512 19515 13393 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 12509862 1338576896 267447 33554432000 4194304 16246674 140734336038320 140601006738608 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 1307204

[startup+12.7004 s]
/proc/loadavg: 2.26 2.27 2.22 3/183 19519
/proc/meminfo: memFree=27432096/32872528 swapFree=1498612/1645780
[pid=19515] ppid=19512 vsize=1307204 CPUtime=12.69 cores=1,3,5,7
/proc/19515/stat : 19515 (toysat) R 19512 19515 13393 0 -1 4202496 267825 0 0 0 1232 37 0 0 20 0 4 0 12509861 1338576896 267643 33554432000 4194304 16246674 140734336038320 140734336020224 5522960 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/19515/statm: 326801 267643 784 2943 0 323695 0
[pid=19515/tid=19516] ppid=19512 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/19515/task/19516/stat : 19516 (toysat) S 19512 19515 13393 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 12509862 1338576896 267643 33554432000 4194304 16246674 140734336038320 140601027702000 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=19515/tid=19517] ppid=19512 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/19515/task/19517/stat : 19517 (toysat) S 19512 19515 13393 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12509862 1338576896 267643 33554432000 4194304 16246674 140734336038320 140601017212144 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=19515/tid=19518] ppid=19512 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/19515/task/19518/stat : 19518 (toysat) S 19512 19515 13393 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 12509862 1338576896 267643 33554432000 4194304 16246674 140734336038320 140601006738608 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 1307204

[startup+25.5005 s]
/proc/loadavg: 2.30 2.27 2.22 3/183 19519
/proc/meminfo: memFree=27432764/32872528 swapFree=1498612/1645780
[pid=19515] ppid=19512 vsize=1307204 CPUtime=25.49 cores=1,3,5,7
/proc/19515/stat : 19515 (toysat) R 19512 19515 13393 0 -1 4202496 267826 0 0 0 2511 38 0 0 20 0 4 0 12509861 1338576896 267644 33554432000 4194304 16246674 140734336038320 140734336021320 5823428 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/19515/statm: 326801 267644 785 2943 0 323695 0
[pid=19515/tid=19516] ppid=19512 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/19515/task/19516/stat : 19516 (toysat) S 19512 19515 13393 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 12509862 1338576896 267644 33554432000 4194304 16246674 140734336038320 140601027702000 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=19515/tid=19517] ppid=19512 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/19515/task/19517/stat : 19517 (toysat) S 19512 19515 13393 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12509862 1338576896 267644 33554432000 4194304 16246674 140734336038320 140601017212144 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=19515/tid=19518] ppid=19512 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/19515/task/19518/stat : 19518 (toysat) S 19512 19515 13393 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 12509862 1338576896 267644 33554432000 4194304 16246674 140734336038320 140601006738608 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 1307204

[startup+51.1005 s]
/proc/loadavg: 2.27 2.27 2.22 3/183 19519
/proc/meminfo: memFree=27432144/32872528 swapFree=1498612/1645780
[pid=19515] ppid=19512 vsize=1308228 CPUtime=51.08 cores=1,3,5,7
/proc/19515/stat : 19515 (toysat) R 19512 19515 13393 0 -1 4202496 267971 0 0 0 5069 39 0 0 20 0 4 0 12509861 1339625472 267789 33554432000 4194304 16246674 140734336038320 140734336020224 13950184 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/19515/statm: 327057 267789 787 2943 0 323951 0
[pid=19515/tid=19516] ppid=19512 vsize=1308228 CPUtime=0 cores=1,3,5,7
/proc/19515/task/19516/stat : 19516 (toysat) S 19512 19515 13393 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 12509862 1339625472 267789 33554432000 4194304 16246674 140734336038320 140601027702000 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=19515/tid=19517] ppid=19512 vsize=1308228 CPUtime=0 cores=1,3,5,7
/proc/19515/task/19517/stat : 19517 (toysat) S 19512 19515 13393 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12509862 1339625472 267789 33554432000 4194304 16246674 140734336038320 140601017212144 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=19515/tid=19518] ppid=19512 vsize=1308228 CPUtime=0 cores=1,3,5,7
/proc/19515/task/19518/stat : 19518 (toysat) S 19512 19515 13393 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 12509862 1339625472 267789 33554432000 4194304 16246674 140734336038320 140601006738608 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 1308228

[startup+102.301 s]
/proc/loadavg: 2.22 2.25 2.21 3/184 19523
/proc/meminfo: memFree=27431464/32872528 swapFree=1498612/1645780
[pid=19515] ppid=19512 vsize=1308228 CPUtime=102.28 cores=1,3,5,7
/proc/19515/stat : 19515 (toysat) R 19512 19515 13393 0 -1 4202496 267971 0 0 0 10189 39 0 0 20 0 4 0 12509861 1339625472 267789 33554432000 4194304 16246674 140734336038320 140734336021320 5822252 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/19515/statm: 327057 267789 787 2943 0 323951 0
[pid=19515/tid=19516] ppid=19512 vsize=1308228 CPUtime=0 cores=1,3,5,7
/proc/19515/task/19516/stat : 19516 (toysat) S 19512 19515 13393 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 12509862 1339625472 267789 33554432000 4194304 16246674 140734336038320 140601027702000 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=19515/tid=19517] ppid=19512 vsize=1308228 CPUtime=0 cores=1,3,5,7
/proc/19515/task/19517/stat : 19517 (toysat) S 19512 19515 13393 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12509862 1339625472 267789 33554432000 4194304 16246674 140734336038320 140601017212144 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=19515/tid=19518] ppid=19512 vsize=1308228 CPUtime=0 cores=1,3,5,7
/proc/19515/task/19518/stat : 19518 (toysat) S 19512 19515 13393 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 12509862 1339625472 267789 33554432000 4194304 16246674 140734336038320 140601006738608 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 1308228


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

/proc/19515/task/19518/stat : 19518 (toysat) S 19512 19515 13393 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 12509862 1341722624 268672 33554432000 4194304 16246674 140734336038320 140601006738608 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1241.82
Current children cumulated vsize (KiB) 1310276

[startup+1302.3 s]
/proc/loadavg: 2.35 2.26 2.20 3/184 19797
/proc/meminfo: memFree=27425580/32872528 swapFree=1498612/1645780
[pid=19515] ppid=19512 vsize=1310276 CPUtime=1301.81 cores=1,3,5,7
/proc/19515/stat : 19515 (toysat) R 19512 19515 13393 0 -1 4202496 269035 0 0 0 130120 61 0 0 20 0 4 0 12509861 1341722624 268672 33554432000 4194304 16246674 140734336038320 140734336021320 5677716 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/19515/statm: 327569 268672 789 2943 0 324463 0
[pid=19515/tid=19516] ppid=19512 vsize=1310276 CPUtime=0 cores=1,3,5,7
/proc/19515/task/19516/stat : 19516 (toysat) S 19512 19515 13393 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 12509862 1341722624 268672 33554432000 4194304 16246674 140734336038320 140601027702000 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=19515/tid=19517] ppid=19512 vsize=1310276 CPUtime=0 cores=1,3,5,7
/proc/19515/task/19517/stat : 19517 (toysat) S 19512 19515 13393 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12509862 1341722624 268672 33554432000 4194304 16246674 140734336038320 140601017212144 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=19515/tid=19518] ppid=19512 vsize=1310276 CPUtime=0 cores=1,3,5,7
/proc/19515/task/19518/stat : 19518 (toysat) S 19512 19515 13393 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 12509862 1341722624 268672 33554432000 4194304 16246674 140734336038320 140601006738608 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1301.81
Current children cumulated vsize (KiB) 1310276

[startup+1362.3 s]
/proc/loadavg: 2.27 2.25 2.19 3/184 19870
/proc/meminfo: memFree=28238804/32872528 swapFree=1498612/1645780
[pid=19515] ppid=19512 vsize=1310276 CPUtime=1361.8 cores=1,3,5,7
/proc/19515/stat : 19515 (toysat) R 19512 19515 13393 0 -1 4202496 269035 0 0 0 136118 62 0 0 20 0 4 0 12509861 1341722624 268672 33554432000 4194304 16246674 140734336038320 140734336020224 13191575 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/19515/statm: 327569 268672 789 2943 0 324463 0
[pid=19515/tid=19516] ppid=19512 vsize=1310276 CPUtime=0 cores=1,3,5,7
/proc/19515/task/19516/stat : 19516 (toysat) S 19512 19515 13393 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 12509862 1341722624 268672 33554432000 4194304 16246674 140734336038320 140601027702000 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=19515/tid=19517] ppid=19512 vsize=1310276 CPUtime=0 cores=1,3,5,7
/proc/19515/task/19517/stat : 19517 (toysat) S 19512 19515 13393 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12509862 1341722624 268672 33554432000 4194304 16246674 140734336038320 140601017212144 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=19515/tid=19518] ppid=19512 vsize=1310276 CPUtime=0 cores=1,3,5,7
/proc/19515/task/19518/stat : 19518 (toysat) S 19512 19515 13393 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 12509862 1341722624 268672 33554432000 4194304 16246674 140734336038320 140601006738608 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1361.8
Current children cumulated vsize (KiB) 1310276

[startup+1422.3 s]
/proc/loadavg: 2.30 2.26 2.20 4/183 19871
/proc/meminfo: memFree=27425580/32872528 swapFree=1498612/1645780
[pid=19515] ppid=19512 vsize=1310276 CPUtime=1421.8 cores=1,3,5,7
/proc/19515/stat : 19515 (toysat) R 19512 19515 13393 0 -1 4202496 269035 0 0 0 142117 63 0 0 20 0 4 0 12509861 1341722624 268672 33554432000 4194304 16246674 140734336038320 140734336020224 6012041 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/19515/statm: 327569 268672 789 2943 0 324463 0
[pid=19515/tid=19516] ppid=19512 vsize=1310276 CPUtime=0 cores=1,3,5,7
/proc/19515/task/19516/stat : 19516 (toysat) S 19512 19515 13393 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 12509862 1341722624 268672 33554432000 4194304 16246674 140734336038320 140601027702000 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=19515/tid=19517] ppid=19512 vsize=1310276 CPUtime=0 cores=1,3,5,7
/proc/19515/task/19517/stat : 19517 (toysat) S 19512 19515 13393 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12509862 1341722624 268672 33554432000 4194304 16246674 140734336038320 140601017212144 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=19515/tid=19518] ppid=19512 vsize=1310276 CPUtime=0 cores=1,3,5,7
/proc/19515/task/19518/stat : 19518 (toysat) S 19512 19515 13393 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 12509862 1341722624 268672 33554432000 4194304 16246674 140734336038320 140601006738608 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1421.8
Current children cumulated vsize (KiB) 1310276

[startup+1482.3 s]
/proc/loadavg: 2.18 2.23 2.19 3/183 19873
/proc/meminfo: memFree=27426228/32872528 swapFree=1498612/1645780
[pid=19515] ppid=19512 vsize=1310276 CPUtime=1481.78 cores=1,3,5,7
/proc/19515/stat : 19515 (toysat) R 19512 19515 13393 0 -1 4202496 269035 0 0 0 148114 64 0 0 20 0 4 0 12509861 1341722624 268672 33554432000 4194304 16246674 140734336038320 140734336021320 5722908 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/19515/statm: 327569 268672 789 2943 0 324463 0
[pid=19515/tid=19516] ppid=19512 vsize=1310276 CPUtime=0 cores=1,3,5,7
/proc/19515/task/19516/stat : 19516 (toysat) S 19512 19515 13393 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 12509862 1341722624 268672 33554432000 4194304 16246674 140734336038320 140601027702000 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=19515/tid=19517] ppid=19512 vsize=1310276 CPUtime=0 cores=1,3,5,7
/proc/19515/task/19517/stat : 19517 (toysat) S 19512 19515 13393 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12509862 1341722624 268672 33554432000 4194304 16246674 140734336038320 140601017212144 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=19515/tid=19518] ppid=19512 vsize=1310276 CPUtime=0 cores=1,3,5,7
/proc/19515/task/19518/stat : 19518 (toysat) S 19512 19515 13393 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 12509862 1341722624 268672 33554432000 4194304 16246674 140734336038320 140601006738608 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1481.78
Current children cumulated vsize (KiB) 1310276

[startup+1542.31 s]
/proc/loadavg: 2.22 2.24 2.19 3/183 19874
/proc/meminfo: memFree=27425512/32872528 swapFree=1498612/1645780
[pid=19515] ppid=19512 vsize=1310276 CPUtime=1541.78 cores=1,3,5,7
/proc/19515/stat : 19515 (toysat) R 19512 19515 13393 0 -1 4202496 269035 0 0 0 154113 65 0 0 20 0 4 0 12509861 1341722624 268672 33554432000 4194304 16246674 140734336038320 140734336020224 5662912 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/19515/statm: 327569 268672 789 2943 0 324463 0
[pid=19515/tid=19516] ppid=19512 vsize=1310276 CPUtime=0 cores=1,3,5,7
/proc/19515/task/19516/stat : 19516 (toysat) S 19512 19515 13393 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 12509862 1341722624 268672 33554432000 4194304 16246674 140734336038320 140601027702000 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=19515/tid=19517] ppid=19512 vsize=1310276 CPUtime=0 cores=1,3,5,7
/proc/19515/task/19517/stat : 19517 (toysat) S 19512 19515 13393 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12509862 1341722624 268672 33554432000 4194304 16246674 140734336038320 140601017212144 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=19515/tid=19518] ppid=19512 vsize=1310276 CPUtime=0 cores=1,3,5,7
/proc/19515/task/19518/stat : 19518 (toysat) S 19512 19515 13393 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 12509862 1341722624 268672 33554432000 4194304 16246674 140734336038320 140601006738608 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1541.78
Current children cumulated vsize (KiB) 1310276

[startup+1602.3 s]
/proc/loadavg: 2.27 2.24 2.19 3/183 19874
/proc/meminfo: memFree=27425912/32872528 swapFree=1498612/1645780
[pid=19515] ppid=19512 vsize=1310276 CPUtime=1601.76 cores=1,3,5,7
/proc/19515/stat : 19515 (toysat) R 19512 19515 13393 0 -1 4202496 269035 0 0 0 160111 65 0 0 20 0 4 0 12509861 1341722624 268672 33554432000 4194304 16246674 140734336038320 140734336020224 5808428 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/19515/statm: 327569 268672 789 2943 0 324463 0
[pid=19515/tid=19516] ppid=19512 vsize=1310276 CPUtime=0 cores=1,3,5,7
/proc/19515/task/19516/stat : 19516 (toysat) S 19512 19515 13393 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 12509862 1341722624 268672 33554432000 4194304 16246674 140734336038320 140601027702000 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=19515/tid=19517] ppid=19512 vsize=1310276 CPUtime=0 cores=1,3,5,7
/proc/19515/task/19517/stat : 19517 (toysat) S 19512 19515 13393 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12509862 1341722624 268672 33554432000 4194304 16246674 140734336038320 140601017212144 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=19515/tid=19518] ppid=19512 vsize=1310276 CPUtime=0 cores=1,3,5,7
/proc/19515/task/19518/stat : 19518 (toysat) S 19512 19515 13393 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 12509862 1341722624 268672 33554432000 4194304 16246674 140734336038320 140601006738608 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1601.76
Current children cumulated vsize (KiB) 1310276

[startup+1662.3 s]
/proc/loadavg: 2.30 2.27 2.20 3/183 19876
/proc/meminfo: memFree=27425064/32872528 swapFree=1498612/1645780
[pid=19515] ppid=19512 vsize=1310276 CPUtime=1661.75 cores=1,3,5,7
/proc/19515/stat : 19515 (toysat) R 19512 19515 13393 0 -1 4202496 269035 0 0 0 166109 66 0 0 20 0 4 0 12509861 1341722624 268672 33554432000 4194304 16246674 140734336038320 140734336021320 5808388 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/19515/statm: 327569 268672 789 2943 0 324463 0
[pid=19515/tid=19516] ppid=19512 vsize=1310276 CPUtime=0 cores=1,3,5,7
/proc/19515/task/19516/stat : 19516 (toysat) S 19512 19515 13393 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 12509862 1341722624 268672 33554432000 4194304 16246674 140734336038320 140601027702000 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=19515/tid=19517] ppid=19512 vsize=1310276 CPUtime=0 cores=1,3,5,7
/proc/19515/task/19517/stat : 19517 (toysat) S 19512 19515 13393 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12509862 1341722624 268672 33554432000 4194304 16246674 140734336038320 140601017212144 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=19515/tid=19518] ppid=19512 vsize=1310276 CPUtime=0 cores=1,3,5,7
/proc/19515/task/19518/stat : 19518 (toysat) S 19512 19515 13393 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 12509862 1341722624 268672 33554432000 4194304 16246674 140734336038320 140601006738608 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1661.75
Current children cumulated vsize (KiB) 1310276

[startup+1722.3 s]
/proc/loadavg: 2.16 2.23 2.19 4/183 19876
/proc/meminfo: memFree=27425464/32872528 swapFree=1498612/1645780
[pid=19515] ppid=19512 vsize=1310276 CPUtime=1721.74 cores=1,3,5,7
/proc/19515/stat : 19515 (toysat) R 19512 19515 13393 0 -1 4202496 269035 0 0 0 172107 67 0 0 20 0 4 0 12509861 1341722624 268672 33554432000 4194304 16246674 140734336038320 140734336020224 12460404 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/19515/statm: 327569 268672 789 2943 0 324463 0
[pid=19515/tid=19516] ppid=19512 vsize=1310276 CPUtime=0 cores=1,3,5,7
/proc/19515/task/19516/stat : 19516 (toysat) S 19512 19515 13393 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 12509862 1341722624 268672 33554432000 4194304 16246674 140734336038320 140601027702000 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=19515/tid=19517] ppid=19512 vsize=1310276 CPUtime=0 cores=1,3,5,7
/proc/19515/task/19517/stat : 19517 (toysat) S 19512 19515 13393 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12509862 1341722624 268672 33554432000 4194304 16246674 140734336038320 140601017212144 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=19515/tid=19518] ppid=19512 vsize=1310276 CPUtime=0 cores=1,3,5,7
/proc/19515/task/19518/stat : 19518 (toysat) S 19512 19515 13393 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 12509862 1341722624 268672 33554432000 4194304 16246674 140734336038320 140601006738608 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1721.74
Current children cumulated vsize (KiB) 1310276

[startup+1782.3 s]
/proc/loadavg: 2.21 2.23 2.18 3/183 19879
/proc/meminfo: memFree=27424420/32872528 swapFree=1498612/1645780
[pid=19515] ppid=19512 vsize=1310276 CPUtime=1781.74 cores=1,3,5,7
/proc/19515/stat : 19515 (toysat) R 19512 19515 13393 0 -1 4202496 269035 0 0 0 178106 68 0 0 20 0 4 0 12509861 1341722624 268672 33554432000 4194304 16246674 140734336038320 140734336021320 5822428 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/19515/statm: 327569 268672 789 2943 0 324463 0
[pid=19515/tid=19516] ppid=19512 vsize=1310276 CPUtime=0 cores=1,3,5,7
/proc/19515/task/19516/stat : 19516 (toysat) S 19512 19515 13393 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 12509862 1341722624 268672 33554432000 4194304 16246674 140734336038320 140601027702000 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=19515/tid=19517] ppid=19512 vsize=1310276 CPUtime=0 cores=1,3,5,7
/proc/19515/task/19517/stat : 19517 (toysat) S 19512 19515 13393 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12509862 1341722624 268672 33554432000 4194304 16246674 140734336038320 140601017212144 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=19515/tid=19518] ppid=19512 vsize=1310276 CPUtime=0 cores=1,3,5,7
/proc/19515/task/19518/stat : 19518 (toysat) S 19512 19515 13393 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 12509862 1341722624 268672 33554432000 4194304 16246674 140734336038320 140601006738608 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1781.74
Current children cumulated vsize (KiB) 1310276



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.6 s]
/proc/loadavg: 2.16 2.22 2.18 3/183 19879
/proc/meminfo: memFree=27425140/32872528 swapFree=1498612/1645780
[pid=19515] ppid=19512 vsize=1310276 CPUtime=1800.03 cores=1,3,5,7
/proc/19515/stat : 19515 (toysat) R 19512 19515 13393 0 -1 4202496 269035 0 0 0 179935 68 0 0 20 0 4 0 12509861 1341722624 268672 33554432000 4194304 16246674 140734336038320 140734336020224 12460060 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/19515/statm: 327569 268672 789 2943 0 324463 0
[pid=19515/tid=19516] ppid=19512 vsize=1310276 CPUtime=0 cores=1,3,5,7
/proc/19515/task/19516/stat : 19516 (toysat) S 19512 19515 13393 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 12509862 1341722624 268672 33554432000 4194304 16246674 140734336038320 140601027702000 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=19515/tid=19517] ppid=19512 vsize=1310276 CPUtime=0 cores=1,3,5,7
/proc/19515/task/19517/stat : 19517 (toysat) S 19512 19515 13393 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12509862 1341722624 268672 33554432000 4194304 16246674 140734336038320 140601017212144 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=19515/tid=19518] ppid=19512 vsize=1310276 CPUtime=0 cores=1,3,5,7
/proc/19515/task/19518/stat : 19518 (toysat) S 19512 19515 13393 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 12509862 1341722624 268672 33554432000 4194304 16246674 140734336038320 140601006738608 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1800.03
Current children cumulated vsize (KiB) 1310276

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

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1800.61
CPU time (s): 1800.05
CPU user time (s): 1799.36
CPU system time (s): 0.689895
CPU usage (%): 99.9689
Max. virtual memory (cumulated for all children) (KiB): 1310276

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.36
system time used= 0.689895
maximum resident set size= 1074688
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 269035
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= 451
involuntary context switches= 1976

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

The end

Begin job on node124 at 2016-06-30 21:38:50
IDJOB=4121794
IDBENCH=110687
IDSOLVER=2542
FILE ID=node124/4121794-1467315530
RUNJOBID= node124-1467310918-18130
PBS_JOBID= 20005255
Free space on /tmp= 71708 MiB

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

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

MD5SUM BENCH= 22faed999b1054183db278470370ee13
RANDOM SEED=22500079

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

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

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

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

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

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

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

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2667.062
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:        28503380 kB
Buffers:          151888 kB
Cached:           737956 kB
SwapCached:            0 kB
Active:          1344704 kB
Inactive:         633300 kB
Active(anon):    1079388 kB
Inactive(anon):    11336 kB
Active(file):     265316 kB
Inactive(file):   621964 kB
Unevictable:     1645780 kB
Mlocked:         1498612 kB
SwapTotal:      67108856 kB
SwapFree:       67108856 kB
Dirty:             16624 kB
Writeback:             0 kB
AnonPages:       2733520 kB
Mapped:            17104 kB
Shmem:               204 kB
Slab:             611256 kB
SReclaimable:      54980 kB
SUnreclaim:       556276 kB
KernelStack:        1520 kB
PageTables:         9408 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    2868708 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:    153600 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= 71692 MiB
End job on node124 at 2016-06-30 22:08:51