0.00/0.00	c 2016-06-15T18:26:56+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-4088602-1466008015.opb"]
0.00/0.01	c use --random-gen="1483955559 3979454481 1375662360 3522136832 304531895 4094910905 2381239161 1267218250 2837274529 870405560 1824955780 340416676 4080815537 2226191298 2800120816 3773053565 1384896106 2559770061 4238863965 1552157888 3565918064 1150613365 2242057436 1529210932 3658464625 3734372230 585973800 1883929940 960732782 3888314895 3696671086 2630288449 2579811285 741185697 1467939540 3004538328 750348167 1490960017 2110056992 3356525487 3103771466 702698095 4261749347 721389953 3308690384 112606186 2674062219 3297471964 1146108919 2856173000 406279874 2905051876 352791210 1372500240 984005810 43498143 1650154172 2871952422 2822128667 3371385885 1181462606 2264928109 3612930221 1579212816 458249985 466500420 1330438538 1355041401 1234564238 2155587575 639818927 1652360813 925701279 2541829331 378238211 3825682278 554782200 3370158087 3758871138 1253290332 1371192484 394225966 690399013 2511632254 2738700670 2256752997 1798749531 3397062773 394606625 2719133028 33699830 2128220676 758326948 1169311509 1473861094 3459890295 261443250 1687394486 199987704 3517911489 2180409143 3329628797 922205097 2973847758 3053097141 246556788 2178577589 4238458618 43971007 1183119410 4032853467 2066316850 2129571577 2484331758 4264174774 2272025301 2425516551 1510578955 1623644909 448061949 87824095 1394124180 1933126821 262927371 2592669760 832365368 1952071330 787943704 724114649 3213389977 2350747179 4055501518 765239956 2720244406 4008805162 547619088 2304112430 1105750825 1206540573 4263439960 3080160046 4162593677 4061615791 994482526 2670516004 3889312019 4291346622 2772431458 1172203133 4133883293 3415460974 3223936116 1895633306 2385975121 4157518432 1033004102 1488457175 3035888992 1363294686 4252396748 1402745706 2578242271 1331654018 53700707 2579923947 2424922997 4179092069 2578606399 569564826 685850393 123111770 434813707 1462978188 3030455745 3568441964 749223407 270928930 547184802 743143657 2545654369 1429306025 4110996824 3071304582 709489647 372327122 3414725429 3683826287 3318762117 1866059071 2550279873 54622290 3343272499 1632585456 2098389505 2105886095 866638729 2071106047 2726512047 2509934269 3454337880 2245954111 1409986987 1092248125 1601187695 1777643317 440705462 2242737878 242917370 2784870557 581877742 2885593999 3874951781 1746361140 2611778743 1996194280 3490612836 3142001033 682817030 932456068 3880512609 2034060475 1298427483 2169336628 2832148660 2284614555 1013035627 3271190532 2372709918 4003383008 2400661506 1270233603 2771883660 1792506809 784940048 3486865804 1177284515 1126316948 435723036 91016831 933447882 1964917639 1345269576 844203125 2445439444 3324640565 2679772776 1838471648 1080193370 3744243603 2891362564 1481519055 262583384 3693549895 2884648648 3220565270 542507384 255 362436" option to reproduce the execution
0.00/0.01	c #vars 301
0.00/0.01	c #constraints 151
0.00/0.02	c Solving starts ...
0.00/0.02	c ============================[ Search Statistics ]============================
0.00/0.02	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
0.00/0.02	c       |         |          |          |    Limit     GC | Var      | Constra 
0.00/0.02	c =============================================================================
0.00/0.02	c  0.0s |       0 |        0 |        0 |      201      0 |        0 |        0
0.00/0.02	c  0.0s |       1 |      238 |      100 |      201      0 |        0 |        0
0.00/0.03	c  0.0s |       2 |      526 |      250 |      222      0 |        0 |        0
0.00/0.05	c  0.0s |       3 |      953 |      475 |      245      1 |        0 |        0
0.00/0.08	c  0.1s |       4 |     1452 |      813 |      270      2 |        0 |        0
0.09/0.13	c  0.1s |       5 |     2161 |     1320 |      297      4 |        0 |        0
0.09/0.19	c  0.2s |       6 |     3280 |     2081 |      360      8 |        0 |        0
0.29/0.30	c  0.3s |       7 |     4874 |     3223 |      397     12 |        0 |        0
0.39/0.46	c  0.4s |       8 |     7101 |     4936 |      437     17 |        0 |        0
0.59/0.67	c  0.7s |       9 |    10532 |     7506 |      481     25 |        0 |        0
0.99/1.04	c  1.0s |      10 |    15729 |    11361 |      530     37 |        0 |        0
1.38/1.48	c  1.5s |      11 |    23707 |    17144 |      583     53 |        0 |        0
1.99/2.07	c  2.1s |      12 |    35767 |    25819 |      642     77 |        0 |        0
2.89/2.91	c  2.9s |      13 |    53167 |    38832 |      707    109 |        0 |        0
4.19/4.25	c  4.2s |      14 |    79431 |    58352 |      778    155 |        0 |        0
6.19/6.25	c  6.2s |      14 |   113871 |    84052 |      778    212 |        0 |        0
6.49/6.52	c  6.5s |      15 |   119026 |    87632 |      856    220 |        0 |        0
8.49/8.53	c  8.5s |      15 |   156151 |   114532 |      856    273 |        0 |        0
9.79/9.90	c  9.9s |      16 |   178916 |   131552 |      942    308 |        0 |        0
11.88/11.90	c 11.9s |      16 |   213748 |   157352 |      942    358 |        0 |        0
13.88/13.90	c 13.9s |      16 |   248870 |   183652 |      942    410 |        0 |        0
15.09/15.10	c 15.1s |      17 |   266337 |   197432 |     1037    438 |        0 |        0
17.09/17.11	c 17.1s |      17 |   299085 |   221532 |     1037    478 |        0 |        0
19.09/19.11	c 19.1s |      17 |   331701 |   245532 |     1037    519 |        0 |        0
21.09/21.12	c 21.1s |      17 |   366349 |   270832 |     1037    564 |        0 |        0
23.09/23.12	c 23.1s |      17 |   401032 |   296232 |     1141    609 |        0 |        0
23.09/23.12	c 23.1s |      18 |   401066 |   296252 |     1141    609 |        0 |        0
25.09/25.12	c 25.1s |      18 |   431817 |   319752 |     1141    646 |        0 |        0
27.08/27.13	c 27.1s |      18 |   469140 |   346452 |     1141    688 |        0 |        0
29.08/29.13	c 29.1s |      18 |   502371 |   371352 |     1141    727 |        0 |        0
31.08/31.14	c 31.1s |      18 |   536006 |   396952 |     1141    767 |        0 |        0
33.09/33.14	c 33.1s |      18 |   568566 |   421452 |     1141    805 |        0 |        0
34.88/34.96	c 34.9s |      19 |   600415 |   444482 |     1256    840 |        0 |        0
36.88/36.96	c 36.9s |      19 |   626428 |   464682 |     1256    869 |        0 |        0
38.88/38.97	c 39.0s |      19 |   658640 |   488682 |     1256    905 |        0 |        0
40.88/40.97	c 41.0s |      19 |   692038 |   513382 |     1256    942 |        0 |        0
42.89/42.97	c 43.0s |      19 |   726799 |   538382 |     1256    980 |        0 |        0
44.89/44.97	c 45.0s |      19 |   756979 |   561482 |     1256   1014 |        0 |        0
46.89/46.97	c 47.0s |      19 |   788293 |   584682 |     1256   1049 |        0 |        0
48.89/48.98	c 49.0s |      19 |   820224 |   607882 |     1256   1084 |        0 |        0
50.88/50.99	c 51.0s |      19 |   852648 |   631282 |     1256   1119 |        0 |        0
52.89/52.99	c 53.0s |      19 |   884519 |   655182 |     1256   1154 |        0 |        0
53.99/54.03	c 54.0s |      20 |   899856 |   666827 |     1382   1170 |        0 |        0
55.98/56.04	c 56.0s |      20 |   929981 |   689427 |     1382   1200 |        0 |        0
57.98/58.04	c 58.0s |      20 |   963901 |   714427 |     1382   1235 |        0 |        0
59.98/60.05	c 60.0s |      20 |   997886 |   739227 |     1382   1269 |        0 |        0
61.98/62.06	c 62.0s |      20 |  1028562 |   762827 |     1382   1302 |        0 |        0
63.98/64.07	c 64.0s |      20 |  1059272 |   786027 |     1382   1334 |        0 |        0
65.99/66.07	c 66.1s |      20 |  1088378 |   807527 |     1382   1364 |        0 |        0
67.98/68.08	c 68.1s |      20 |  1118113 |   830027 |     1382   1394 |        0 |        0
69.98/70.09	c 70.1s |      20 |  1149362 |   852627 |     1382   1426 |        0 |        0
71.98/72.09	c 72.1s |      20 |  1179335 |   874527 |     1382   1456 |        0 |        0
73.97/74.09	c 74.1s |      20 |  1211940 |   898027 |     1382   1488 |        0 |        0
75.98/76.10	c 76.1s |      20 |  1241319 |   919827 |     1382   1519 |        0 |        0
77.98/78.10	c 78.1s |      20 |  1270944 |   941427 |     1382   1549 |        0 |        0
80.08/80.11	c 80.1s |      20 |  1304931 |   965527 |     1382   1582 |        0 |        0
82.08/82.11	c 82.1s |      20 |  1338147 |   989527 |     1382   1615 |        0 |        0
83.08/83.15	c 83.1s |      21 |  1352085 |  1000345 |     1521   1629 |        0 |        0
85.08/85.16	c 85.1s |      21 |  1382626 |  1023445 |     1521   1657 |        0 |        0
87.08/87.16	c 87.1s |      21 |  1411150 |  1044645 |     1521   1683 |        0 |        0
89.08/89.17	c 89.1s |      21 |  1444734 |  1068845 |     1521   1713 |        0 |        0
91.08/91.18	c 91.2s |      21 |  1476834 |  1092545 |     1521   1742 |        0 |        0
93.07/93.18	c 93.2s |      21 |  1511181 |  1116045 |     1521   1770 |        0 |        0
95.07/95.18	c 95.2s |      21 |  1543176 |  1138845 |     1521   1798 |        0 |        0
97.07/97.19	c 97.2s |      21 |  1575850 |  1162745 |     1521   1828 |        0 |        0
99.08/99.20	c 99.2s |      21 |  1605414 |  1184645 |     1521   1855 |        0 |        0
101.07/101.20	c  101s |      21 |  1636969 |  1207245 |     1521   1883 |        0 |        0
103.17/103.20	c  103s |      21 |  1670766 |  1231345 |     1521   1914 |        0 |        0
105.17/105.20	c  105s |      21 |  1701252 |  1253545 |     1521   1941 |        0 |        0
107.18/107.21	c  107s |      21 |  1733163 |  1276445 |     1521   1970 |        0 |        0
109.18/109.21	c  109s |      21 |  1765555 |  1300345 |     1521   2000 |        0 |        0
111.18/111.21	c  111s |      21 |  1798596 |  1324545 |     1521   2029 |        0 |        0
113.18/113.21	c  113s |      21 |  1828752 |  1346245 |     1521   2056 |        0 |        0
115.18/115.21	c  115s |      21 |  1858385 |  1367545 |     1521   2083 |        0 |        0
117.18/117.22	c  117s |      21 |  1888105 |  1388645 |     1521   2109 |        0 |        0
119.17/119.22	c  119s |      21 |  1919387 |  1411445 |     1521   2137 |        0 |        0
121.17/121.23	c  121s |      21 |  1951084 |  1433345 |     1521   2165 |        0 |        0
123.18/123.24	c  123s |      21 |  1978197 |  1453745 |     1521   2190 |        0 |        0
125.17/125.24	c  125s |      21 |  2009695 |  1476245 |     1521   2218 |        0 |        0
127.17/127.24	c  127s |      21 |  2038957 |  1498045 |     1674   2244 |        0 |        0
127.47/127.50	c  127s |      22 |  2042317 |  1500622 |     1674   2247 |        0 |        0
129.47/129.51	c  129s |      22 |  2064573 |  1518022 |     1674   2266 |        0 |        0
131.47/131.51	c  131s |      22 |  2090609 |  1537822 |     1674   2287 |        0 |        0
133.47/133.52	c  133s |      22 |  2118836 |  1559022 |     1674   2310 |        0 |        0
135.47/135.52	c  135s |      22 |  2150887 |  1582522 |     1674   2336 |        0 |        0
137.48/137.53	c  137s |      22 |  2179657 |  1604122 |     1674   2360 |        0 |        0
139.47/139.53	c  139s |      22 |  2202708 |  1622322 |     1674   2381 |        0 |        0
141.47/141.54	c  141s |      22 |  2224111 |  1639622 |     1674   2400 |        0 |        0
143.47/143.54	c  143s |      22 |  2248702 |  1658622 |     1674   2422 |        0 |        0
145.47/145.55	c  145s |      22 |  2278597 |  1680522 |     1674   2446 |        0 |        0
147.47/147.55	c  147s |      22 |  2307848 |  1702522 |     1674   2471 |        0 |        0
149.47/149.55	c  149s |      22 |  2338363 |  1724922 |     1674   2497 |        0 |        0
151.46/151.56	c  151s |      22 |  2365794 |  1745422 |     1674   2520 |        0 |        0
153.46/153.56	c  153s |      22 |  2394773 |  1766722 |     1674   2544 |        0 |        0
155.46/155.57	c  155s |      22 |  2422834 |  1788122 |     1674   2568 |        0 |        0
157.47/157.57	c  157s |      22 |  2450932 |  1809022 |     1674   2591 |        0 |        0
159.48/159.58	c  159s |      22 |  2476620 |  1828822 |     1674   2614 |        0 |        0
161.47/161.58	c  161s |      22 |  2502743 |  1848322 |     1674   2636 |        0 |        0
163.47/163.59	c  163s |      22 |  2529086 |  1868322 |     1674   2658 |        0 |        0
165.47/165.59	c  165s |      22 |  2559202 |  1890522 |     1674   2684 |        0 |        0
167.57/167.60	c  167s |      22 |  2589892 |  1912722 |     1674   2709 |        0 |        0
169.57/169.60	c  169s |      22 |  2621625 |  1935222 |     1674   2734 |        0 |        0
171.57/171.61	c  171s |      22 |  2646755 |  1954822 |     1674   2757 |        0 |        0
173.57/173.62	c  173s |      22 |  2673073 |  1974122 |     1674   2778 |        0 |        0
175.57/175.63	c  175s |      22 |  2702453 |  1995222 |     1674   2802 |        0 |        0
177.57/177.63	c  177s |      22 |  2728254 |  2014822 |     1674   2824 |        0 |        0
179.57/179.64	c  179s |      22 |  2755307 |  2035122 |     1674   2846 |        0 |        0
181.57/181.65	c  181s |      22 |  2780107 |  2054022 |     1674   2868 |        0 |        0
183.56/183.66	c  183s |      22 |  2807930 |  2074922 |     1674   2891 |        0 |        0
185.56/185.66	c  185s |      22 |  2830950 |  2092822 |     1674   2911 |        0 |        0
187.56/187.67	c  187s |      22 |  2860248 |  2113722 |     1674   2935 |        0 |        0
189.56/189.67	c  189s |      22 |  2885742 |  2133622 |     1674   2957 |        0 |        0
191.56/191.67	c  191s |      22 |  2913326 |  2154722 |     1674   2981 |        0 |        0
193.57/193.68	c  193s |      22 |  2941438 |  2175622 |     1674   3005 |        0 |        0
195.56/195.68	c  195s |      22 |  2970349 |  2196722 |     1674   3029 |        0 |        0
197.56/197.68	c  197s |      22 |  3001696 |  2220122 |     1674   3056 |        0 |        0
199.56/199.69	c  199s |      22 |  3033607 |  2243422 |     1842   3082 |        0 |        0
200.27/200.38	c  200s |      23 |  3043939 |  2251038 |     1842   3090 |        0 |        0
202.26/202.39	c  202s |      23 |  3071352 |  2272238 |     1842   3112 |        0 |        0
204.26/204.39	c  204s |      23 |  3096542 |  2292138 |     1842   3133 |        0 |        0
206.26/206.39	c  206s |      23 |  3125771 |  2314638 |     1842   3157 |        0 |        0
208.26/208.40	c  208s |      23 |  3156756 |  2337338 |     1842   3181 |        0 |        0
210.35/210.40	c  210s |      23 |  3178645 |  2354938 |     1842   3199 |        0 |        0
212.36/212.40	c  212s |      23 |  3206678 |  2375738 |     1842   3221 |        0 |        0
214.35/214.41	c  214s |      23 |  3235659 |  2396838 |     1842   3244 |        0 |        0
216.35/216.41	c  216s |      23 |  3266138 |  2419038 |     1842   3267 |        0 |        0
218.35/218.41	c  218s |      23 |  3295051 |  2439938 |     1842   3289 |        0 |        0
220.35/220.42	c  220s |      23 |  3324951 |  2461438 |     1842   3312 |        0 |        0
222.35/222.42	c  222s |      23 |  3356195 |  2484138 |     1842   3336 |        0 |        0
224.36/224.43	c  224s |      23 |  3382667 |  2504038 |     1842   3357 |        0 |        0
226.35/226.44	c  226s |      23 |  3407527 |  2523238 |     1842   3376 |        0 |        0
228.35/228.45	c  228s |      23 |  3434087 |  2543638 |     1842   3397 |        0 |        0
230.35/230.46	c  230s |      23 |  3462313 |  2564538 |     1842   3418 |        0 |        0
232.36/232.46	c  232s |      23 |  3490233 |  2585138 |     1842   3439 |        0 |        0
234.36/234.47	c  234s |      23 |  3518191 |  2606038 |     1842   3460 |        0 |        0
236.36/236.48	c  236s |      23 |  3546187 |  2627438 |     1842   3482 |        0 |        0
238.36/238.48	c  238s |      23 |  3571572 |  2646838 |     1842   3502 |        0 |        0
240.36/240.48	c  240s |      23 |  3600101 |  2667438 |     1842   3522 |        0 |        0
242.36/242.48	c  242s |      23 |  3629784 |  2688938 |     1842   3545 |        0 |        0
244.35/244.48	c  244s |      23 |  3659629 |  2710338 |     1842   3567 |        0 |        0
246.36/246.49	c  246s |      23 |  3688722 |  2731938 |     1842   3589 |        0 |        0
248.45/248.50	c  248s |      23 |  3716926 |  2752938 |     1842   3610 |        0 |        0
250.45/250.51	c  250s |      23 |  3746320 |  2774338 |     1842   3632 |        0 |        0
252.45/252.51	c  252s |      23 |  3771579 |  2793438 |     1842   3652 |        0 |        0
254.45/254.51	c  254s |      23 |  3797959 |  2814038 |     1842   3673 |        0 |        0
256.45/256.52	c  256s |      23 |  3827545 |  2835838 |     1842   3696 |        0 |        0
258.46/258.52	c  258s |      23 |  3855413 |  2856238 |     1842   3716 |        0 |        0
260.45/260.53	c  260s |      23 |  3883310 |  2876138 |     1842   3737 |        0 |        0
262.45/262.53	c  262s |      23 |  3914092 |  2898038 |     1842   3759 |        0 |        0
264.45/264.54	c  264s |      23 |  3941342 |  2918138 |     1842   3780 |        0 |        0
266.45/266.54	c  266s |      23 |  3971019 |  2939438 |     1842   3802 |        0 |        0
268.45/268.54	c  268s |      23 |  4003495 |  2962738 |     1842   3825 |        0 |        0
270.44/270.55	c  270s |      23 |  4033246 |  2984638 |     1842   3847 |        0 |        0
272.44/272.56	c  272s |      23 |  4062318 |  3005738 |     1842   3869 |        0 |        0
274.44/274.56	c  274s |      23 |  4088939 |  3025738 |     1842   3890 |        0 |        0
276.44/276.57	c  276s |      23 |  4116616 |  3045538 |     1842   3911 |        0 |        0
278.44/278.57	c  278s |      23 |  4141187 |  3064038 |     1842   3930 |        0 |        0
280.46/280.58	c  280s |      23 |  4164686 |  3082338 |     1842   3949 |        0 |        0
282.45/282.59	c  282s |      23 |  4190489 |  3101838 |     1842   3970 |        0 |        0
284.55/284.60	c  284s |      23 |  4218132 |  3121538 |     1842   3990 |        0 |        0
286.55/286.61	c  286s |      23 |  4242858 |  3140038 |     1842   4010 |        0 |        0
288.55/288.62	c  288s |      23 |  4271034 |  3161038 |     1842   4032 |        0 |        0
290.55/290.63	c  290s |      23 |  4297461 |  3181238 |     1842   4053 |        0 |        0
292.55/292.63	c  292s |      23 |  4323472 |  3201438 |     1842   4073 |        0 |        0
294.55/294.64	c  294s |      23 |  4350124 |  3221538 |     1842   4094 |        0 |        0
296.55/296.65	c  296s |      23 |  4376807 |  3241938 |     1842   4116 |        0 |        0
298.54/298.65	c  298s |      23 |  4403517 |  3262338 |     1842   4137 |        0 |        0
300.54/300.66	c  300s |      23 |  4429000 |  3281238 |     1842   4157 |        0 |        0
302.55/302.67	c  302s |      23 |  4449671 |  3298138 |     1842   4175 |        0 |        0
304.54/304.67	c  304s |      23 |  4473804 |  3316338 |     1842   4193 |        0 |        0
306.54/306.67	c  306s |      23 |  4502105 |  3337238 |     1842   4215 |        0 |        0
308.54/308.67	c  308s |      23 |  4531062 |  3358238 |     2027   4236 |        0 |        0
310.54/310.68	c  310s |      23 |  4554395 |  3376238 |     2027   4254 |        0 |        0
310.64/310.71	c  310s |      24 |  4554959 |  3376662 |     2027   4254 |        0 |        0
312.64/312.73	c  312s |      24 |  4584712 |  3398362 |     2027   4275 |        0 |        0
314.65/314.74	c  314s |      24 |  4613901 |  3420062 |     2027   4295 |        0 |        0
316.64/316.74	c  316s |      24 |  4642491 |  3441162 |     2027   4315 |        0 |        0
318.64/318.75	c  318s |      24 |  4670780 |  3462062 |     2027   4335 |        0 |        0
320.64/320.75	c  320s |      24 |  4698959 |  3482562 |     2027   4355 |        0 |        0
322.64/322.76	c  322s |      24 |  4724118 |  3501562 |     2027   4373 |        0 |        0
324.64/324.77	c  324s |      24 |  4747212 |  3519462 |     2027   4390 |        0 |        0
326.64/326.77	c  326s |      24 |  4771387 |  3537962 |     2027   4408 |        0 |        0
328.64/328.77	c  328s |      24 |  4797702 |  3557662 |     2027   4426 |        0 |        0
330.64/330.78	c  330s |      24 |  4823630 |  3576962 |     2027   4444 |        0 |        0
332.64/332.78	c  332s |      24 |  4847133 |  3594962 |     2027   4461 |        0 |        0
334.64/334.79	c  334s |      24 |  4875636 |  3616362 |     2027   4481 |        0 |        0
336.65/336.79	c  336s |      24 |  4904243 |  3637162 |     2027   4500 |        0 |        0
338.64/338.80	c  338s |      24 |  4927956 |  3655562 |     2027   4517 |        0 |        0
340.74/340.81	c  340s |      24 |  4951824 |  3673962 |     2027   4535 |        0 |        0
342.73/342.82	c  342s |      24 |  4979799 |  3694462 |     2027   4554 |        0 |        0
344.73/344.82	c  344s |      24 |  5009340 |  3715362 |     2027   4574 |        0 |        0
346.73/346.82	c  346s |      24 |  5035421 |  3734662 |     2027   4592 |        0 |        0
348.74/348.83	c  348s |      24 |  5063016 |  3754862 |     2027   4611 |        0 |        0
350.73/350.84	c  350s |      24 |  5086796 |  3773162 |     2027   4628 |        0 |        0
352.73/352.84	c  352s |      24 |  5111289 |  3791362 |     2027   4645 |        0 |        0
354.73/354.84	c  354s |      24 |  5134990 |  3808862 |     2027   4661 |        0 |        0
356.73/356.85	c  356s |      24 |  5160839 |  3828362 |     2027   4680 |        0 |        0
358.73/358.86	c  358s |      24 |  5186830 |  3846862 |     2027   4697 |        0 |        0
360.73/360.86	c  360s |      24 |  5209438 |  3864162 |     2027   4713 |        0 |        0
362.73/362.87	c  362s |      24 |  5233307 |  3881762 |     2027   4730 |        0 |        0
364.72/364.88	c  364s |      24 |  5256977 |  3899662 |     2027   4746 |        0 |        0
366.72/366.88	c  366s |      24 |  5282365 |  3918262 |     2027   4764 |        0 |        0
368.72/368.88	c  368s |      24 |  5305644 |  3935362 |     2027   4780 |        0 |        0
370.73/370.89	c  370s |      24 |  5329858 |  3953762 |     2027   4797 |        0 |        0
372.72/372.90	c  372s |      24 |  5357946 |  3974262 |     2027   4816 |        0 |        0
374.82/374.90	c  374s |      24 |  5386676 |  3994962 |     2027   4836 |        0 |        0
376.82/376.91	c  376s |      24 |  5416357 |  4016062 |     2027   4856 |        0 |        0
378.82/378.91	c  378s |      24 |  5441238 |  4034862 |     2027   4873 |        0 |        0
380.82/380.91	c  380s |      24 |  5465227 |  4052562 |     2027   4890 |        0 |        0
382.83/382.92	c  382s |      24 |  5490773 |  4071662 |     2027   4908 |        0 |        0
384.83/384.93	c  384s |      24 |  5520351 |  4092462 |     2027   4927 |        0 |        0
386.82/386.93	c  386s |      24 |  5545118 |  4110162 |     2027   4944 |        0 |        0
388.82/388.93	c  388s |      24 |  5568788 |  4126962 |     2027   4960 |        0 |        0
390.82/390.94	c  390s |      24 |  5596521 |  4146062 |     2027   4979 |        0 |        0
392.82/392.94	c  392s |      24 |  5626170 |  4166762 |     2027   4998 |        0 |        0
394.82/394.95	c  394s |      24 |  5657177 |  4187762 |     2027   5018 |        0 |        0
396.82/396.95	c  396s |      24 |  5687359 |  4208262 |     2027   5037 |        0 |        0
398.82/398.96	c  398s |      24 |  5712810 |  4226062 |     2027   5054 |        0 |        0
400.82/400.97	c  400s |      24 |  5738457 |  4243862 |     2027   5071 |        0 |        0
402.81/402.97	c  402s |      24 |  5766197 |  4263162 |     2027   5089 |        0 |        0
404.82/404.98	c  404s |      24 |  5794071 |  4283262 |     2027   5108 |        0 |        0
406.81/406.98	c  406s |      24 |  5819242 |  4301662 |     2027   5126 |        0 |        0
408.81/408.99	c  408s |      24 |  5844891 |  4320662 |     2027   5143 |        0 |        0
410.91/411.00	c  410s |      24 |  5874375 |  4341162 |     2027   5163 |        0 |        0
412.91/413.00	c  412s |      24 |  5899847 |  4358862 |     2027   5180 |        0 |        0
414.90/415.01	c  414s |      24 |  5924516 |  4376262 |     2027   5196 |        0 |        0
416.91/417.01	c  416s |      24 |  5948860 |  4393462 |     2027   5213 |        0 |        0
418.90/419.02	c  419s |      24 |  5970854 |  4408962 |     2027   5228 |        0 |        0
420.90/421.02	c  421s |      24 |  5997034 |  4426162 |     2027   5244 |        0 |        0
422.90/423.02	c  423s |      24 |  6023124 |  4443662 |     2027   5261 |        0 |        0
424.90/425.02	c  425s |      24 |  6050081 |  4462062 |     2027   5279 |        0 |        0
426.90/427.03	c  427s |      24 |  6078780 |  4481362 |     2027   5297 |        0 |        0
428.90/429.03	c  429s |      24 |  6108122 |  4501662 |     2027   5317 |        0 |        0
430.90/431.04	c  431s |      24 |  6135868 |  4520762 |     2027   5335 |        0 |        0
432.90/433.05	c  433s |      24 |  6162752 |  4539262 |     2027   5353 |        0 |        0
434.90/435.06	c  435s |      24 |  6192897 |  4559362 |     2027   5372 |        0 |        0
436.90/437.06	c  437s |      24 |  6221091 |  4579262 |     2027   5391 |        0 |        0
438.91/439.06	c  439s |      24 |  6250735 |  4599662 |     2027   5410 |        0 |        0
440.90/441.07	c  441s |      24 |  6275694 |  4618162 |     2027   5428 |        0 |        0
442.89/443.08	c  443s |      24 |  6301190 |  4636662 |     2027   5445 |        0 |        0
444.89/445.08	c  445s |      24 |  6329732 |  4656362 |     2027   5464 |        0 |        0
446.89/447.09	c  447s |      24 |  6357187 |  4675162 |     2027   5482 |        0 |        0
448.89/449.09	c  449s |      24 |  6380538 |  4691762 |     2027   5498 |        0 |        0
450.90/451.09	c  451s |      24 |  6407759 |  4710162 |     2027   5516 |        0 |        0
452.89/453.10	c  453s |      24 |  6438536 |  4730562 |     2027   5535 |        0 |        0
454.99/455.10	c  455s |      24 |  6463620 |  4748362 |     2027   5553 |        0 |        0
456.99/457.10	c  457s |      24 |  6491418 |  4767762 |     2027   5571 |        0 |        0
458.98/459.11	c  459s |      24 |  6519074 |  4787162 |     2027   5589 |        0 |        0
460.98/461.12	c  461s |      24 |  6543962 |  4805162 |     2027   5606 |        0 |        0
462.99/463.12	c  463s |      24 |  6573043 |  4824962 |     2027   5625 |        0 |        0
464.98/465.13	c  465s |      24 |  6600989 |  4843562 |     2027   5643 |        0 |        0
466.98/467.13	c  467s |      24 |  6628085 |  4862662 |     2027   5661 |        0 |        0
468.98/469.13	c  469s |      24 |  6656542 |  4881962 |     2027   5680 |        0 |        0
470.98/471.14	c  471s |      24 |  6684199 |  4900962 |     2027   5698 |        0 |        0
472.98/473.15	c  473s |      24 |  6711563 |  4919962 |     2027   5716 |        0 |        0
474.98/475.16	c  475s |      24 |  6738059 |  4938162 |     2027   5734 |        0 |        0
476.98/477.16	c  477s |      24 |  6768228 |  4958162 |     2027   5753 |        0 |        0
478.98/479.17	c  479s |      24 |  6796505 |  4977262 |     2027   5771 |        0 |        0
480.98/481.17	c  481s |      24 |  6827125 |  4996862 |     2027   5790 |        0 |        0
482.97/483.18	c  483s |      24 |  6856388 |  5016862 |     2027   5809 |        0 |        0
484.98/485.18	c  485s |      24 |  6883142 |  5035962 |     2230   5827 |        0 |        0
486.97/487.18	c  487s |      24 |  6909213 |  5053562 |     2230   5842 |        0 |        0
488.38/488.57	c  488s |      25 |  6924964 |  5065098 |     2230   5852 |        0 |        0
490.37/490.58	c  490s |      25 |  6945697 |  5080998 |     2230   5866 |        0 |        0
492.36/492.58	c  492s |      25 |  6969319 |  5098698 |     2230   5881 |        0 |        0
494.36/494.59	c  494s |      25 |  6996401 |  5118098 |     2230   5898 |        0 |        0
496.36/496.59	c  496s |      25 |  7024730 |  5138698 |     2230   5916 |        0 |        0
498.46/498.60	c  498s |      25 |  7049774 |  5156798 |     2230   5932 |        0 |        0
500.38/500.60	c  500s |      25 |  7073046 |  5174898 |     2230   5947 |        0 |        0
502.47/502.61	c  502s |      25 |  7093961 |  5191598 |     2230   5962 |        0 |        0
504.46/504.61	c  504s |      25 |  7116722 |  5209198 |     2230   5977 |        0 |        0
506.46/506.61	c  506s |      25 |  7140924 |  5227598 |     2230   5993 |        0 |        0
508.46/508.63	c  508s |      25 |  7161686 |  5244198 |     2230   6007 |        0 |        0
510.46/510.64	c  510s |      25 |  7184285 |  5261598 |     2230   6022 |        0 |        0
512.46/512.64	c  512s |      25 |  7207413 |  5278998 |     2230   6037 |        0 |        0
514.45/514.64	c  514s |      25 |  7227844 |  5295098 |     2230   6051 |        0 |        0
516.45/516.65	c  516s |      25 |  7250855 |  5312298 |     2230   6065 |        0 |        0
518.45/518.65	c  518s |      25 |  7275240 |  5330298 |     2230   6081 |        0 |        0
520.45/520.65	c  520s |      25 |  7297614 |  5346998 |     2230   6096 |        0 |        0
522.45/522.66	c  522s |      25 |  7322550 |  5365398 |     2230   6111 |        0 |        0
524.44/524.67	c  524s |      25 |  7347291 |  5383598 |     2230   6127 |        0 |        0
526.44/526.68	c  526s |      25 |  7370689 |  5401198 |     2230   6143 |        0 |        0
528.44/528.68	c  528s |      25 |  7392558 |  5418298 |     2230   6158 |        0 |        0
530.44/530.69	c  530s |      25 |  7413368 |  5434398 |     2230   6172 |        0 |        0
532.54/532.70	c  532s |      25 |  7435846 |  5451298 |     2230   6186 |        0 |        0
534.45/534.70	c  534s |      25 |  7462310 |  5469698 |     2230   6203 |        0 |        0
536.54/536.70	c  536s |      25 |  7486752 |  5487998 |     2230   6218 |        0 |        0
538.54/538.71	c  538s |      25 |  7509564 |  5505498 |     2230   6234 |        0 |        0
540.54/540.71	c  540s |      25 |  7536240 |  5525198 |     2230   6251 |        0 |        0
542.54/542.71	c  542s |      25 |  7559612 |  5543098 |     2230   6267 |        0 |        0
544.54/544.71	c  544s |      25 |  7582536 |  5559998 |     2230   6281 |        0 |        0
546.54/546.72	c  546s |      25 |  7610673 |  5580198 |     2230   6299 |        0 |        0
548.54/548.73	c  548s |      25 |  7634726 |  5598098 |     2230   6315 |        0 |        0
550.54/550.74	c  550s |      25 |  7659827 |  5616698 |     2230   6331 |        0 |        0
552.53/552.74	c  552s |      25 |  7681454 |  5633198 |     2230   6345 |        0 |        0
554.53/554.75	c  554s |      25 |  7705610 |  5650998 |     2230   6361 |        0 |        0
556.53/556.75	c  556s |      25 |  7732144 |  5670298 |     2230   6377 |        0 |        0
558.52/558.76	c  558s |      25 |  7759305 |  5690198 |     2230   6395 |        0 |        0
560.52/560.76	c  560s |      25 |  7783912 |  5707898 |     2230   6410 |        0 |        0
562.52/562.77	c  562s |      25 |  7810637 |  5727198 |     2230   6427 |        0 |        0
564.52/564.77	c  564s |      25 |  7841025 |  5748398 |     2230   6445 |        0 |        0
566.52/566.78	c  566s |      25 |  7869716 |  5768598 |     2230   6463 |        0 |        0
568.53/568.78	c  568s |      25 |  7897266 |  5788398 |     2230   6480 |        0 |        0
570.52/570.78	c  570s |      25 |  7923573 |  5807298 |     2230   6496 |        0 |        0
572.52/572.79	c  572s |      25 |  7948678 |  5826198 |     2230   6512 |        0 |        0
574.62/574.80	c  574s |      25 |  7976109 |  5846398 |     2230   6529 |        0 |        0
576.62/576.81	c  576s |      25 |  8006563 |  5867898 |     2230   6548 |        0 |        0
578.61/578.83	c  578s |      25 |  8033551 |  5887898 |     2230   6566 |        0 |        0
580.62/580.83	c  580s |      25 |  8059319 |  5906998 |     2230   6582 |        0 |        0
582.61/582.83	c  582s |      25 |  8087465 |  5927398 |     2230   6600 |        0 |        0
584.61/584.84	c  584s |      25 |  8113880 |  5947298 |     2230   6617 |        0 |        0
586.61/586.84	c  586s |      25 |  8144143 |  5968998 |     2230   6635 |        0 |        0
588.61/588.85	c  588s |      25 |  8169016 |  5987798 |     2230   6651 |        0 |        0
590.61/590.85	c  590s |      25 |  8194794 |  6006898 |     2230   6668 |        0 |        0
592.60/592.86	c  592s |      25 |  8218379 |  6024798 |     2230   6683 |        0 |        0
594.60/594.87	c  594s |      25 |  8243402 |  6043398 |     2230   6700 |        0 |        0
596.60/596.88	c  596s |      25 |  8274324 |  6064998 |     2230   6718 |        0 |        0
598.60/598.89	c  598s |      25 |  8303617 |  6086198 |     2230   6737 |        0 |        0
600.70/600.90	c  600s |      25 |  8330668 |  6106198 |     2230   6754 |        0 |        0
602.70/602.91	c  602s |      25 |  8355727 |  6124898 |     2230   6771 |        0 |        0
604.70/604.91	c  604s |      25 |  8386350 |  6146498 |     2230   6789 |        0 |        0
606.70/606.92	c  606s |      25 |  8414997 |  6167098 |     2230   6807 |        0 |        0
608.70/608.92	c  608s |      25 |  8440698 |  6186098 |     2230   6824 |        0 |        0
610.70/610.92	c  610s |      25 |  8465613 |  6204898 |     2230   6840 |        0 |        0
612.70/612.92	c  612s |      25 |  8492072 |  6223898 |     2230   6857 |        0 |        0
614.70/614.93	c  614s |      25 |  8518813 |  6242598 |     2230   6873 |        0 |        0
616.70/616.93	c  616s |      25 |  8544740 |  6261198 |     2230   6889 |        0 |        0
618.70/618.95	c  618s |      25 |  8576948 |  6283298 |     2230   6908 |        0 |        0
620.69/620.95	c  620s |      25 |  8602933 |  6301698 |     2230   6924 |        0 |        0
622.69/622.96	c  622s |      25 |  8627871 |  6320498 |     2230   6941 |        0 |        0
624.70/624.96	c  624s |      25 |  8649735 |  6337498 |     2230   6955 |        0 |        0
626.69/626.96	c  626s |      25 |  8670695 |  6353998 |     2230   6969 |        0 |        0
628.69/628.97	c  628s |      25 |  8697517 |  6373198 |     2230   6986 |        0 |        0
630.69/630.97	c  630s |      25 |  8723213 |  6391898 |     2230   7002 |        0 |        0
632.68/632.97	c  632s |      25 |  8751671 |  6412998 |     2230   7021 |        0 |        0
634.68/634.97	c  634s |      25 |  8775703 |  6431198 |     2230   7036 |        0 |        0
636.69/636.98	c  636s |      25 |  8799716 |  6449098 |     2230   7052 |        0 |        0
638.68/638.98	c  638s |      25 |  8820337 |  6464898 |     2230   7066 |        0 |        0
640.68/640.99	c  640s |      25 |  8840885 |  6481098 |     2230   7080 |        0 |        0
642.78/643.00	c  642s |      25 |  8863701 |  6497798 |     2230   7095 |        0 |        0
644.78/645.01	c  644s |      25 |  8888420 |  6515898 |     2230   7111 |        0 |        0
646.78/647.01	c  646s |      25 |  8915201 |  6534898 |     2230   7127 |        0 |        0
648.79/649.02	c  648s |      25 |  8942521 |  6554698 |     2230   7144 |        0 |        0
650.78/651.02	c  651s |      25 |  8970772 |  6575298 |     2230   7162 |        0 |        0
652.78/653.03	c  653s |      25 |  8994721 |  6592998 |     2230   7177 |        0 |        0
654.78/655.03	c  655s |      25 |  9021261 |  6611998 |     2230   7193 |        0 |        0
656.78/657.04	c  657s |      25 |  9050973 |  6633298 |     2230   7212 |        0 |        0
658.78/659.04	c  659s |      25 |  9080619 |  6653998 |     2230   7230 |        0 |        0
660.77/661.05	c  661s |      25 |  9105967 |  6672098 |     2230   7246 |        0 |        0
662.77/663.05	c  663s |      25 |  9135395 |  6693298 |     2230   7264 |        0 |        0
664.77/665.05	c  665s |      25 |  9162079 |  6712698 |     2230   7281 |        0 |        0
666.77/667.06	c  667s |      25 |  9186659 |  6731598 |     2230   7297 |        0 |        0
668.77/669.06	c  669s |      25 |  9211304 |  6750098 |     2230   7313 |        0 |        0
670.77/671.07	c  671s |      25 |  9237019 |  6768798 |     2230   7329 |        0 |        0
672.76/673.07	c  673s |      25 |  9260487 |  6786798 |     2230   7345 |        0 |        0
674.76/675.09	c  675s |      25 |  9284481 |  6804998 |     2230   7360 |        0 |        0
676.76/677.09	c  677s |      25 |  9306499 |  6822198 |     2230   7375 |        0 |        0
678.86/679.10	c  679s |      25 |  9326645 |  6838198 |     2230   7389 |        0 |        0
680.86/681.11	c  681s |      25 |  9349226 |  6855298 |     2230   7404 |        0 |        0
682.86/683.12	c  683s |      25 |  9368793 |  6870998 |     2230   7417 |        0 |        0
684.86/685.14	c  685s |      25 |  9394704 |  6889498 |     2230   7433 |        0 |        0
686.86/687.14	c  687s |      25 |  9416884 |  6906698 |     2230   7448 |        0 |        0
688.85/689.14	c  689s |      25 |  9442250 |  6925398 |     2230   7464 |        0 |        0
690.85/691.14	c  691s |      25 |  9464561 |  6942498 |     2230   7479 |        0 |        0
692.86/693.15	c  693s |      25 |  9486722 |  6959898 |     2230   7494 |        0 |        0
694.85/695.16	c  695s |      25 |  9512510 |  6978898 |     2230   7511 |        0 |        0
696.85/697.18	c  697s |      25 |  9536303 |  6996698 |     2230   7526 |        0 |        0
698.85/699.19	c  699s |      25 |  9558318 |  7013698 |     2230   7541 |        0 |        0
700.95/701.21	c  701s |      25 |  9581082 |  7030998 |     2230   7557 |        0 |        0
702.95/703.21	c  703s |      25 |  9606839 |  7049898 |     2230   7573 |        0 |        0
704.95/705.22	c  705s |      25 |  9630190 |  7067298 |     2230   7588 |        0 |        0
706.95/707.23	c  707s |      25 |  9652671 |  7084098 |     2230   7602 |        0 |        0
708.94/709.23	c  709s |      25 |  9676118 |  7101598 |     2230   7617 |        0 |        0
710.94/711.23	c  711s |      25 |  9702993 |  7120998 |     2230   7634 |        0 |        0
712.94/713.24	c  713s |      25 |  9730077 |  7141098 |     2230   7651 |        0 |        0
714.94/715.25	c  715s |      25 |  9757780 |  7160998 |     2230   7668 |        0 |        0
716.94/717.26	c  717s |      25 |  9783403 |  7180198 |     2230   7685 |        0 |        0
718.94/719.27	c  719s |      25 |  9811261 |  7200698 |     2230   7702 |        0 |        0
720.94/721.28	c  721s |      25 |  9834169 |  7218398 |     2230   7717 |        0 |        0
722.93/723.29	c  723s |      25 |  9859559 |  7237598 |     2230   7734 |        0 |        0
724.93/725.29	c  725s |      25 |  9882096 |  7255098 |     2230   7749 |        0 |        0
727.03/727.30	c  727s |      25 |  9907107 |  7273698 |     2230   7765 |        0 |        0
729.04/729.31	c  729s |      25 |  9936257 |  7294198 |     2230   7783 |        0 |        0
731.03/731.32	c  731s |      25 |  9962219 |  7313398 |     2230   7800 |        0 |        0
733.02/733.32	c  733s |      25 |  9981400 |  7328898 |     2230   7813 |        0 |        0
735.03/735.32	c  735s |      25 | 10000930 |  7344898 |     2230   7827 |        0 |        0
737.03/737.33	c  737s |      25 | 10025704 |  7363298 |     2230   7843 |        0 |        0
739.04/739.34	c  739s |      25 | 10050452 |  7381698 |     2230   7859 |        0 |        0
741.03/741.35	c  741s |      25 | 10070577 |  7397998 |     2230   7873 |        0 |        0
743.02/743.35	c  743s |      25 | 10092687 |  7415398 |     2230   7888 |        0 |        0
745.02/745.36	c  745s |      25 | 10117961 |  7434098 |     2230   7904 |        0 |        0
747.02/747.38	c  747s |      25 | 10139672 |  7450698 |     2230   7919 |        0 |        0
749.02/749.38	c  749s |      25 | 10162214 |  7467998 |     2230   7933 |        0 |        0
751.03/751.39	c  751s |      25 | 10179834 |  7482398 |     2230   7946 |        0 |        0
753.01/753.40	c  753s |      25 | 10204516 |  7500598 |     2230   7962 |        0 |        0
755.11/755.40	c  755s |      25 | 10228885 |  7519198 |     2230   7978 |        0 |        0
757.11/757.41	c  757s |      25 | 10252201 |  7537298 |     2230   7994 |        0 |        0
759.11/759.41	c  759s |      25 | 10274153 |  7554398 |     2453   8008 |        0 |        0
761.11/761.42	c  761s |      25 | 10291851 |  7568998 |     2453   8019 |        0 |        0
763.11/763.42	c  763s |      25 | 10314981 |  7586398 |     2453   8033 |        0 |        0
764.32/764.66	c  764s |      26 | 10330021 |  7597752 |     2453   8042 |        0 |        0
766.31/766.66	c  766s |      26 | 10355924 |  7616952 |     2453   8057 |        0 |        0
768.31/768.67	c  768s |      26 | 10383783 |  7637252 |     2453   8072 |        0 |        0
770.31/770.67	c  770s |      26 | 10407748 |  7654852 |     2453   8086 |        0 |        0
772.31/772.68	c  772s |      26 | 10430176 |  7672252 |     2453   8099 |        0 |        0
774.30/774.69	c  774s |      26 | 10453755 |  7689852 |     2453   8113 |        0 |        0
776.31/776.69	c  776s |      26 | 10478618 |  7708252 |     2453   8127 |        0 |        0
778.40/778.70	c  778s |      26 | 10503669 |  7727452 |     2453   8142 |        0 |        0
780.40/780.71	c  780s |      26 | 10528342 |  7745552 |     2453   8156 |        0 |        0
782.40/782.71	c  782s |      26 | 10551378 |  7763052 |     2453   8170 |        0 |        0
784.40/784.72	c  784s |      26 | 10576384 |  7781652 |     2453   8184 |        0 |        0
786.40/786.73	c  786s |      26 | 10596802 |  7797752 |     2453   8197 |        0 |        0
788.40/788.73	c  788s |      26 | 10618207 |  7814452 |     2453   8210 |        0 |        0
790.40/790.73	c  790s |      26 | 10643192 |  7833252 |     2453   8224 |        0 |        0
792.39/792.74	c  792s |      26 | 10668274 |  7851652 |     2453   8239 |        0 |        0
794.39/794.75	c  794s |      26 | 10693526 |  7870252 |     2453   8253 |        0 |        0
796.39/796.75	c  796s |      26 | 10719033 |  7888952 |     2453   8268 |        0 |        0
798.40/798.77	c  798s |      26 | 10745423 |  7908252 |     2453   8283 |        0 |        0
800.39/800.78	c  800s |      26 | 10770243 |  7927152 |     2453   8297 |        0 |        0
802.39/802.79	c  802s |      26 | 10790783 |  7943352 |     2453   8310 |        0 |        0
804.39/804.79	c  804s |      26 | 10812116 |  7959352 |     2453   8322 |        0 |        0
806.49/806.80	c  806s |      26 | 10841378 |  7980152 |     2453   8338 |        0 |        0
808.49/808.81	c  808s |      26 | 10868499 |  8000252 |     2453   8354 |        0 |        0
810.49/810.82	c  810s |      26 | 10890405 |  8017652 |     2453   8368 |        0 |        0
812.48/812.83	c  812s |      26 | 10917391 |  8037152 |     2453   8384 |        0 |        0
814.48/814.83	c  814s |      26 | 10940790 |  8054652 |     2453   8397 |        0 |        0
816.48/816.83	c  816s |      26 | 10964515 |  8072952 |     2453   8412 |        0 |        0
818.49/818.84	c  818s |      26 | 10988295 |  8090552 |     2453   8425 |        0 |        0
820.49/820.84	c  820s |      26 | 11011058 |  8107952 |     2453   8439 |        0 |        0
822.49/822.85	c  822s |      26 | 11034997 |  8126352 |     2453   8454 |        0 |        0
824.48/824.85	c  824s |      26 | 11061936 |  8146552 |     2453   8470 |        0 |        0
826.48/826.85	c  826s |      26 | 11091087 |  8167452 |     2453   8487 |        0 |        0
828.48/828.86	c  828s |      26 | 11109256 |  8182452 |     2453   8499 |        0 |        0
830.48/830.87	c  830s |      26 | 11128911 |  8198252 |     2453   8511 |        0 |        0
832.48/832.88	c  832s |      26 | 11150109 |  8214752 |     2453   8524 |        0 |        0
834.47/834.89	c  834s |      26 | 11170365 |  8230752 |     2453   8536 |        0 |        0
836.47/836.89	c  836s |      26 | 11192068 |  8247552 |     2453   8550 |        0 |        0
838.47/838.89	c  838s |      26 | 11216294 |  8265752 |     2453   8564 |        0 |        0
840.57/840.90	c  840s |      26 | 11239074 |  8283252 |     2453   8577 |        0 |        0
842.56/842.90	c  842s |      26 | 11258079 |  8298552 |     2453   8589 |        0 |        0
844.57/844.90	c  844s |      26 | 11280798 |  8315952 |     2453   8602 |        0 |        0
846.57/846.91	c  846s |      26 | 11306475 |  8335252 |     2453   8617 |        0 |        0
848.57/848.92	c  848s |      26 | 11331146 |  8353652 |     2453   8632 |        0 |        0
850.57/850.94	c  850s |      26 | 11355258 |  8371752 |     2453   8646 |        0 |        0
852.56/852.95	c  852s |      26 | 11380921 |  8390952 |     2453   8660 |        0 |        0
854.56/854.95	c  854s |      26 | 11404099 |  8408952 |     2453   8674 |        0 |        0
856.57/856.96	c  856s |      26 | 11429589 |  8427852 |     2453   8689 |        0 |        0
858.56/858.97	c  858s |      26 | 11452773 |  8445352 |     2453   8702 |        0 |        0
860.56/860.97	c  860s |      26 | 11472687 |  8460852 |     2453   8714 |        0 |        0
862.55/862.98	c  862s |      26 | 11487333 |  8473752 |     2453   8724 |        0 |        0
864.55/864.99	c  864s |      26 | 11502259 |  8486652 |     2453   8735 |        0 |        0
866.56/866.99	c  866s |      26 | 11518441 |  8500452 |     2453   8746 |        0 |        0
868.55/869.00	c  868s |      26 | 11537667 |  8515752 |     2453   8757 |        0 |        0
870.65/871.01	c  870s |      26 | 11560447 |  8533252 |     2453   8771 |        0 |        0
872.64/873.01	c  872s |      26 | 11582795 |  8550252 |     2453   8784 |        0 |        0
874.64/875.01	c  874s |      26 | 11604255 |  8567052 |     2453   8797 |        0 |        0
876.64/877.02	c  877s |      26 | 11628065 |  8585352 |     2453   8812 |        0 |        0
878.65/879.02	c  879s |      26 | 11651026 |  8602952 |     2453   8826 |        0 |        0
880.64/881.02	c  881s |      26 | 11674026 |  8620752 |     2453   8840 |        0 |        0
882.64/883.03	c  883s |      26 | 11699319 |  8639252 |     2453   8854 |        0 |        0
884.64/885.04	c  885s |      26 | 11724556 |  8658152 |     2453   8869 |        0 |        0
886.64/887.04	c  887s |      26 | 11750152 |  8676952 |     2453   8884 |        0 |        0
888.64/889.04	c  889s |      26 | 11776667 |  8696452 |     2453   8900 |        0 |        0
890.64/891.04	c  891s |      26 | 11803331 |  8715952 |     2453   8915 |        0 |        0
892.63/893.05	c  893s |      26 | 11830037 |  8735052 |     2453   8930 |        0 |        0
894.63/895.05	c  895s |      26 | 11853121 |  8752852 |     2453   8944 |        0 |        0
896.63/897.06	c  897s |      26 | 11877792 |  8771452 |     2453   8959 |        0 |        0
898.63/899.07	c  899s |      26 | 11900971 |  8788752 |     2453   8973 |        0 |        0
900.64/901.07	c  901s |      26 | 11923618 |  8805752 |     2453   8986 |        0 |        0
902.63/903.08	c  903s |      26 | 11943013 |  8821152 |     2453   8998 |        0 |        0
904.63/905.09	c  905s |      26 | 11964069 |  8837652 |     2453   9011 |        0 |        0
906.63/907.09	c  907s |      26 | 11987375 |  8855452 |     2453   9024 |        0 |        0
908.73/909.10	c  909s |      26 | 12013402 |  8874852 |     2453   9040 |        0 |        0
910.73/911.10	c  911s |      26 | 12034768 |  8891652 |     2453   9053 |        0 |        0
912.73/913.11	c  913s |      26 | 12059893 |  8910552 |     2453   9068 |        0 |        0
914.73/915.11	c  915s |      26 | 12088479 |  8931152 |     2453   9084 |        0 |        0
916.72/917.12	c  917s |      26 | 12116151 |  8951152 |     2453   9099 |        0 |        0
918.72/919.12	c  919s |      26 | 12138319 |  8968252 |     2453   9112 |        0 |        0
920.72/921.13	c  921s |      26 | 12157870 |  8983852 |     2453   9125 |        0 |        0
922.72/923.14	c  923s |      26 | 12182739 |  9002552 |     2453   9139 |        0 |        0
924.73/925.14	c  925s |      26 | 12207261 |  9020552 |     2453   9153 |        0 |        0
926.72/927.15	c  927s |      26 | 12232501 |  9038552 |     2453   9167 |        0 |        0
928.72/929.16	c  929s |      26 | 12257856 |  9057452 |     2453   9182 |        0 |        0
930.72/931.16	c  931s |      26 | 12283689 |  9076752 |     2453   9197 |        0 |        0
932.71/933.17	c  933s |      26 | 12305477 |  9093652 |     2453   9210 |        0 |        0
934.72/935.17	c  935s |      26 | 12329092 |  9111752 |     2453   9224 |        0 |        0
936.71/937.18	c  937s |      26 | 12348325 |  9126952 |     2453   9236 |        0 |        0
938.71/939.18	c  939s |      26 | 12368598 |  9142552 |     2453   9249 |        0 |        0
940.71/941.19	c  941s |      26 | 12390561 |  9159652 |     2453   9262 |        0 |        0
942.81/943.20	c  943s |      26 | 12413967 |  9176952 |     2453   9276 |        0 |        0
944.81/945.21	c  945s |      26 | 12437242 |  9194752 |     2453   9289 |        0 |        0
946.81/947.21	c  947s |      26 | 12458912 |  9211652 |     2453   9303 |        0 |        0
948.80/949.22	c  949s |      26 | 12486082 |  9231052 |     2453   9318 |        0 |        0
950.81/951.22	c  951s |      26 | 12513351 |  9250452 |     2453   9333 |        0 |        0
952.81/953.23	c  953s |      26 | 12531875 |  9265052 |     2453   9344 |        0 |        0
954.81/955.23	c  955s |      26 | 12557848 |  9284152 |     2453   9359 |        0 |        0
956.81/957.24	c  957s |      26 | 12585174 |  9303852 |     2453   9375 |        0 |        0
958.82/959.25	c  959s |      26 | 12610180 |  9322452 |     2453   9389 |        0 |        0
960.81/961.27	c  961s |      26 | 12627402 |  9336652 |     2453   9400 |        0 |        0
962.80/963.28	c  963s |      26 | 12650436 |  9354052 |     2453   9414 |        0 |        0
964.80/965.28	c  965s |      26 | 12676118 |  9372552 |     2453   9429 |        0 |        0
966.80/967.28	c  967s |      26 | 12696394 |  9388552 |     2453   9441 |        0 |        0
968.81/969.29	c  969s |      26 | 12722029 |  9407552 |     2453   9456 |        0 |        0
970.80/971.30	c  971s |      26 | 12746430 |  9425752 |     2453   9470 |        0 |        0
972.89/973.30	c  973s |      26 | 12768635 |  9442252 |     2453   9483 |        0 |        0
974.89/975.32	c  975s |      26 | 12787968 |  9457452 |     2453   9495 |        0 |        0
976.89/977.33	c  977s |      26 | 12803594 |  9470552 |     2453   9506 |        0 |        0
978.89/979.33	c  979s |      26 | 12818622 |  9482752 |     2453   9515 |        0 |        0
980.90/981.34	c  981s |      26 | 12838240 |  9497552 |     2453   9527 |        0 |        0
982.89/983.34	c  983s |      26 | 12860940 |  9514052 |     2453   9540 |        0 |        0
984.89/985.35	c  985s |      26 | 12884420 |  9531852 |     2453   9554 |        0 |        0
986.89/987.35	c  987s |      26 | 12911724 |  9551352 |     2453   9569 |        0 |        0
988.89/989.36	c  989s |      26 | 12934521 |  9568752 |     2453   9583 |        0 |        0
990.89/991.36	c  991s |      26 | 12956905 |  9586052 |     2453   9596 |        0 |        0
992.89/993.37	c  993s |      26 | 12980839 |  9603352 |     2453   9610 |        0 |        0
994.89/995.38	c  995s |      26 | 13001388 |  9619052 |     2453   9622 |        0 |        0
996.89/997.38	c  997s |      26 | 13017139 |  9631852 |     2453   9632 |        0 |        0
998.89/999.39	c  999s |      26 | 13035297 |  9645752 |     2453   9643 |        0 |        0
1000.88/1001.39	c 1001s |      26 | 13057798 |  9662452 |     2453   9656 |        0 |        0
1002.98/1003.40	c 1003s |      26 | 13079644 |  9679152 |     2453   9669 |        0 |        0
1004.88/1005.40	c 1005s |      26 | 13101687 |  9696052 |     2453   9683 |        0 |        0
1006.98/1007.41	c 1007s |      26 | 13121990 |  9711752 |     2453   9695 |        0 |        0
1008.98/1009.42	c 1009s |      26 | 13141073 |  9726852 |     2453   9707 |        0 |        0
1010.98/1011.42	c 1011s |      26 | 13160897 |  9742452 |     2453   9719 |        0 |        0
1012.98/1013.44	c 1013s |      26 | 13180263 |  9757452 |     2453   9731 |        0 |        0
1014.99/1015.44	c 1015s |      26 | 13202197 |  9773752 |     2453   9743 |        0 |        0
1016.98/1017.44	c 1017s |      26 | 13225108 |  9791052 |     2453   9757 |        0 |        0
1018.98/1019.44	c 1019s |      26 | 13245336 |  9806652 |     2453   9769 |        0 |        0
1020.98/1021.45	c 1021s |      26 | 13266535 |  9822752 |     2453   9782 |        0 |        0
1022.98/1023.45	c 1023s |      26 | 13288036 |  9839252 |     2453   9795 |        0 |        0
1024.98/1025.45	c 1025s |      26 | 13306512 |  9854352 |     2453   9806 |        0 |        0
1026.98/1027.45	c 1027s |      26 | 13325130 |  9868552 |     2453   9818 |        0 |        0
1028.98/1029.45	c 1029s |      26 | 13345936 |  9884652 |     2453   9830 |        0 |        0
1030.98/1031.46	c 1031s |      26 | 13365207 |  9899352 |     2453   9842 |        0 |        0
1032.98/1033.47	c 1033s |      26 | 13382927 |  9913552 |     2453   9853 |        0 |        0
1034.98/1035.48	c 1035s |      26 | 13400716 |  9927852 |     2453   9864 |        0 |        0
1036.98/1037.49	c 1037s |      26 | 13420750 |  9943352 |     2453   9876 |        0 |        0
1038.98/1039.50	c 1039s |      26 | 13438660 |  9957852 |     2453   9887 |        0 |        0
1041.07/1041.50	c 1041s |      26 | 13458003 |  9973052 |     2453   9899 |        0 |        0
1043.07/1043.50	c 1043s |      26 | 13478751 |  9988852 |     2453   9912 |        0 |        0
1045.08/1045.52	c 1045s |      26 | 13501067 | 10005652 |     2453   9925 |        0 |        0
1047.08/1047.53	c 1047s |      26 | 13523558 | 10022452 |     2453   9938 |        0 |        0
1049.09/1049.54	c 1049s |      26 | 13542808 | 10037352 |     2453   9950 |        0 |        0
1051.08/1051.55	c 1051s |      26 | 13563802 | 10052852 |     2453   9962 |        0 |        0
1053.08/1053.55	c 1053s |      26 | 13583637 | 10068152 |     2453   9974 |        0 |        0
1055.08/1055.55	c 1055s |      26 | 13606270 | 10085452 |     2453   9988 |        0 |        0
1057.08/1057.56	c 1057s |      26 | 13631112 | 10103552 |     2453  10002 |        0 |        0
1059.08/1059.56	c 1059s |      26 | 13653679 | 10120552 |     2453  10015 |        0 |        0
1061.08/1061.56	c 1061s |      26 | 13679266 | 10138852 |     2453  10030 |        0 |        0
1063.08/1063.57	c 1063s |      26 | 13705082 | 10157352 |     2453  10044 |        0 |        0
1065.07/1065.58	c 1065s |      26 | 13727349 | 10174352 |     2453  10057 |        0 |        0
1067.07/1067.58	c 1067s |      26 | 13749384 | 10191452 |     2453  10071 |        0 |        0
1069.17/1069.60	c 1069s |      26 | 13774271 | 10209952 |     2453  10085 |        0 |        0
1071.17/1071.61	c 1071s |      26 | 13800902 | 10229452 |     2453  10101 |        0 |        0
1073.18/1073.62	c 1073s |      26 | 13824566 | 10247252 |     2453  10115 |        0 |        0
1075.17/1075.62	c 1075s |      26 | 13847947 | 10264652 |     2453  10128 |        0 |        0
1077.17/1077.63	c 1077s |      26 | 13872770 | 10282552 |     2453  10143 |        0 |        0
1079.17/1079.64	c 1079s |      26 | 13897028 | 10300452 |     2453  10156 |        0 |        0
1081.17/1081.64	c 1081s |      26 | 13916266 | 10315652 |     2453  10168 |        0 |        0
1083.18/1083.65	c 1083s |      26 | 13934161 | 10329852 |     2453  10180 |        0 |        0
1085.17/1085.66	c 1085s |      26 | 13953632 | 10345052 |     2453  10192 |        0 |        0
1087.17/1087.66	c 1087s |      26 | 13976167 | 10361652 |     2453  10205 |        0 |        0
1089.17/1089.66	c 1089s |      26 | 13997743 | 10378152 |     2453  10218 |        0 |        0
1091.17/1091.67	c 1091s |      26 | 14020204 | 10395552 |     2453  10231 |        0 |        0
1093.17/1093.68	c 1093s |      26 | 14044825 | 10414352 |     2453  10246 |        0 |        0
1095.17/1095.68	c 1095s |      26 | 14063677 | 10429552 |     2453  10258 |        0 |        0
1097.17/1097.69	c 1097s |      26 | 14084044 | 10445552 |     2453  10270 |        0 |        0
1099.26/1099.70	c 1099s |      26 | 14107601 | 10463052 |     2453  10284 |        0 |        0
1101.27/1101.71	c 1101s |      26 | 14127838 | 10478752 |     2453  10296 |        0 |        0
1103.27/1103.72	c 1103s |      26 | 14150795 | 10496152 |     2453  10310 |        0 |        0
1105.27/1105.74	c 1105s |      26 | 14170938 | 10511952 |     2453  10323 |        0 |        0
1107.28/1107.76	c 1107s |      26 | 14187567 | 10525852 |     2453  10334 |        0 |        0
1109.27/1109.76	c 1109s |      26 | 14207069 | 10541052 |     2453  10346 |        0 |        0
1111.27/1111.78	c 1111s |      26 | 14230463 | 10558552 |     2453  10360 |        0 |        0
1113.27/1113.78	c 1113s |      26 | 14255851 | 10576752 |     2453  10374 |        0 |        0
1115.27/1115.78	c 1115s |      26 | 14276400 | 10592952 |     2453  10386 |        0 |        0
1117.28/1117.79	c 1117s |      26 | 14292873 | 10606852 |     2453  10397 |        0 |        0
1119.38/1119.80	c 1119s |      26 | 14313974 | 10623552 |     2453  10410 |        0 |        0
1121.37/1121.81	c 1121s |      26 | 14339249 | 10641652 |     2453  10425 |        0 |        0
1123.37/1123.82	c 1123s |      26 | 14359081 | 10657152 |     2453  10437 |        0 |        0
1125.37/1125.82	c 1125s |      26 | 14375701 | 10671152 |     2453  10448 |        0 |        0
1127.37/1127.82	c 1127s |      26 | 14394874 | 10686352 |     2453  10459 |        0 |        0
1129.37/1129.84	c 1129s |      26 | 14418951 | 10704152 |     2453  10474 |        0 |        0
1131.37/1131.84	c 1131s |      26 | 14443535 | 10722352 |     2453  10488 |        0 |        0
1133.36/1133.85	c 1133s |      26 | 14468413 | 10740652 |     2453  10502 |        0 |        0
1135.36/1135.85	c 1135s |      26 | 14496939 | 10760652 |     2453  10518 |        0 |        0
1137.36/1137.85	c 1137s |      26 | 14523260 | 10779852 |     2453  10533 |        0 |        0
1139.36/1139.86	c 1139s |      26 | 14545151 | 10796552 |     2453  10546 |        0 |        0
1141.37/1141.86	c 1141s |      26 | 14570405 | 10815152 |     2453  10561 |        0 |        0
1143.36/1143.86	c 1143s |      26 | 14596954 | 10834452 |     2453  10576 |        0 |        0
1145.36/1145.87	c 1145s |      26 | 14623288 | 10853352 |     2453  10591 |        0 |        0
1147.36/1147.88	c 1147s |      26 | 14647489 | 10871252 |     2453  10605 |        0 |        0
1149.36/1149.89	c 1149s |      26 | 14669105 | 10887752 |     2453  10617 |        0 |        0
1151.46/1151.90	c 1151s |      26 | 14688930 | 10903452 |     2453  10630 |        0 |        0
1153.36/1153.90	c 1153s |      26 | 14711082 | 10920052 |     2453  10642 |        0 |        0
1155.47/1155.92	c 1155s |      26 | 14731480 | 10935752 |     2453  10655 |        0 |        0
1157.47/1157.92	c 1157s |      26 | 14754960 | 10952852 |     2453  10668 |        0 |        0
1159.46/1159.92	c 1159s |      26 | 14779146 | 10969852 |     2453  10681 |        0 |        0
1161.46/1161.93	c 1161s |      26 | 14802164 | 10987452 |     2453  10695 |        0 |        0
1163.47/1163.95	c 1163s |      26 | 14825313 | 11004552 |     2453  10709 |        0 |        0
1165.46/1165.95	c 1165s |      26 | 14848847 | 11022052 |     2453  10722 |        0 |        0
1167.46/1167.95	c 1167s |      26 | 14873217 | 11040052 |     2453  10737 |        0 |        0
1169.46/1169.97	c 1169s |      26 | 14896559 | 11057152 |     2453  10750 |        0 |        0
1171.46/1171.97	c 1171s |      26 | 14918592 | 11073752 |     2453  10763 |        0 |        0
1173.46/1173.98	c 1173s |      26 | 14940341 | 11089852 |     2453  10776 |        0 |        0
1175.47/1175.99	c 1175s |      26 | 14965588 | 11107852 |     2453  10790 |        0 |        0
1177.46/1177.99	c 1177s |      26 | 14991375 | 11126352 |     2453  10804 |        0 |        0
1179.46/1179.99	c 1179s |      26 | 15018617 | 11145652 |     2453  10820 |        0 |        0
1181.46/1181.99	c 1181s |      26 | 15040852 | 11162552 |     2453  10833 |        0 |        0
1183.56/1184.00	c 1183s |      26 | 15062409 | 11178752 |     2453  10845 |        0 |        0
1185.56/1186.00	c 1185s |      26 | 15079719 | 11192952 |     2453  10856 |        0 |        0
1187.56/1188.01	c 1187s |      26 | 15101250 | 11209652 |     2453  10869 |        0 |        0
1189.56/1190.01	c 1189s |      26 | 15121383 | 11225152 |     2453  10882 |        0 |        0
1191.56/1192.01	c 1191s |      26 | 15146859 | 11244052 |     2453  10896 |        0 |        0
1193.55/1194.01	c 1193s |      26 | 15172292 | 11262952 |     2453  10911 |        0 |        0
1195.55/1196.02	c 1196s |      26 | 15198928 | 11282152 |     2453  10926 |        0 |        0
1197.56/1198.02	c 1198s |      26 | 15222691 | 11300152 |     2453  10941 |        0 |        0
1199.55/1200.03	c 1200s |      26 | 15244348 | 11316852 |     2699  10953 |        0 |        0
1201.55/1202.03	c 1202s |      26 | 15264774 | 11332852 |     2699  10965 |        0 |        0
1203.55/1204.05	c 1204s |      26 | 15284743 | 11348052 |     2699  10976 |        0 |        0
1205.55/1206.05	c 1206s |      26 | 15305455 | 11363652 |     2699  10987 |        0 |        0
1207.55/1208.05	c 1208s |      26 | 15327454 | 11379852 |     2699  10998 |        0 |        0
1209.56/1210.06	c 1210s |      26 | 15346065 | 11394552 |     2699  11009 |        0 |        0
1209.85/1210.32	c 1210s |      27 | 15348699 | 11396733 |     2699  11011 |        0 |        0
1211.86/1212.33	c 1212s |      27 | 15372765 | 11414833 |     2699  11023 |        0 |        0
1213.86/1214.34	c 1214s |      27 | 15395419 | 11431933 |     2699  11035 |        0 |        0
1215.86/1216.35	c 1216s |      27 | 15420709 | 11450233 |     2699  11048 |        0 |        0
1217.85/1218.35	c 1218s |      27 | 15443170 | 11467533 |     2699  11060 |        0 |        0
1219.85/1220.36	c 1220s |      27 | 15466436 | 11484733 |     2699  11073 |        0 |        0
1221.85/1222.37	c 1222s |      27 | 15489767 | 11502033 |     2699  11085 |        0 |        0
1223.86/1224.37	c 1224s |      27 | 15513474 | 11519033 |     2699  11097 |        0 |        0
1225.85/1226.38	c 1226s |      27 | 15539512 | 11537933 |     2699  11110 |        0 |        0
1227.85/1228.38	c 1228s |      27 | 15562570 | 11555433 |     2699  11123 |        0 |        0
1229.85/1230.38	c 1230s |      27 | 15581931 | 11570433 |     2699  11134 |        0 |        0
1231.85/1232.39	c 1232s |      27 | 15603845 | 11586933 |     2699  11145 |        0 |        0
1233.86/1234.39	c 1234s |      27 | 15622543 | 11602233 |     2699  11156 |        0 |        0
1235.85/1236.40	c 1236s |      27 | 15638912 | 11615633 |     2699  11166 |        0 |        0
1237.95/1238.41	c 1238s |      27 | 15657316 | 11630533 |     2699  11177 |        0 |        0
1239.95/1240.42	c 1240s |      27 | 15681083 | 11648533 |     2699  11189 |        0 |        0
1241.95/1242.42	c 1242s |      27 | 15703876 | 11665833 |     2699  11202 |        0 |        0
1243.95/1244.42	c 1244s |      27 | 15727491 | 11683633 |     2699  11214 |        0 |        0
1245.95/1246.44	c 1246s |      27 | 15747928 | 11699233 |     2699  11226 |        0 |        0
1247.94/1248.45	c 1248s |      27 | 15770482 | 11716333 |     2699  11238 |        0 |        0
1249.94/1250.45	c 1250s |      27 | 15795065 | 11734133 |     2699  11250 |        0 |        0
1251.94/1252.45	c 1252s |      27 | 15813263 | 11748433 |     2699  11261 |        0 |        0
1253.94/1254.45	c 1254s |      27 | 15836413 | 11766233 |     2699  11273 |        0 |        0
1255.94/1256.48	c 1256s |      27 | 15858991 | 11783333 |     2699  11285 |        0 |        0
1257.95/1258.49	c 1258s |      27 | 15884025 | 11801633 |     2699  11298 |        0 |        0
1259.94/1260.49	c 1260s |      27 | 15909540 | 11819933 |     2699  11312 |        0 |        0
1261.95/1262.49	c 1262s |      27 | 15933356 | 11837433 |     2699  11324 |        0 |        0
1264.05/1264.50	c 1264s |      27 | 15955347 | 11854133 |     2699  11336 |        0 |        0
1266.05/1266.51	c 1266s |      27 | 15974935 | 11869333 |     2699  11347 |        0 |        0
1268.05/1268.52	c 1268s |      27 | 15997903 | 11886233 |     2699  11359 |        0 |        0
1270.06/1270.53	c 1270s |      27 | 16018243 | 11901733 |     2699  11370 |        0 |        0
1272.05/1272.53	c 1272s |      27 | 16040036 | 11917833 |     2699  11381 |        0 |        0
1274.05/1274.53	c 1274s |      27 | 16061084 | 11933633 |     2699  11393 |        0 |        0
1276.05/1276.54	c 1276s |      27 | 16082175 | 11949633 |     2699  11404 |        0 |        0
1278.04/1278.55	c 1278s |      27 | 16103538 | 11965533 |     2699  11416 |        0 |        0
1280.05/1280.56	c 1280s |      27 | 16126428 | 11982433 |     2699  11428 |        0 |        0
1282.04/1282.57	c 1282s |      27 | 16147531 | 11998733 |     2699  11439 |        0 |        0
1284.04/1284.57	c 1284s |      27 | 16166724 | 12013933 |     2699  11450 |        0 |        0
1286.04/1286.58	c 1286s |      27 | 16187136 | 12029433 |     2699  11461 |        0 |        0
1288.04/1288.59	c 1288s |      27 | 16208569 | 12045333 |     2699  11473 |        0 |        0
1290.04/1290.59	c 1290s |      27 | 16231005 | 12062233 |     2699  11485 |        0 |        0
1292.04/1292.60	c 1292s |      27 | 16254915 | 12079733 |     2699  11497 |        0 |        0
1294.14/1294.61	c 1294s |      27 | 16278558 | 12097433 |     2699  11510 |        0 |        0
1296.14/1296.61	c 1296s |      27 | 16303491 | 12115733 |     2699  11523 |        0 |        0
1298.13/1298.63	c 1298s |      27 | 16327292 | 12133933 |     2699  11536 |        0 |        0
1300.13/1300.63	c 1300s |      27 | 16351744 | 12151833 |     2699  11548 |        0 |        0
1302.14/1302.63	c 1302s |      27 | 16374520 | 12168633 |     2699  11561 |        0 |        0
1304.15/1304.64	c 1304s |      27 | 16400632 | 12187633 |     2699  11574 |        0 |        0
1306.14/1306.65	c 1306s |      27 | 16423583 | 12204833 |     2699  11586 |        0 |        0
1308.14/1308.66	c 1308s |      27 | 16443951 | 12220133 |     2699  11597 |        0 |        0
1310.14/1310.67	c 1310s |      27 | 16465463 | 12236833 |     2699  11609 |        0 |        0
1312.14/1312.67	c 1312s |      27 | 16486312 | 12253033 |     2699  11621 |        0 |        0
1314.15/1314.69	c 1314s |      27 | 16509136 | 12270433 |     2699  11633 |        0 |        0
1316.14/1316.69	c 1316s |      27 | 16533329 | 12288033 |     2699  11646 |        0 |        0
1318.24/1318.70	c 1318s |      27 | 16556160 | 12304733 |     2699  11657 |        0 |        0
1320.24/1320.71	c 1320s |      27 | 16580259 | 12322433 |     2699  11670 |        0 |        0
1322.23/1322.71	c 1322s |      27 | 16602605 | 12339533 |     2699  11682 |        0 |        0
1324.23/1324.71	c 1324s |      27 | 16625477 | 12356533 |     2699  11694 |        0 |        0
1326.24/1326.73	c 1326s |      27 | 16641838 | 12369933 |     2699  11703 |        0 |        0
1328.23/1328.74	c 1328s |      27 | 16659758 | 12384333 |     2699  11713 |        0 |        0
1330.23/1330.74	c 1330s |      27 | 16681453 | 12400733 |     2699  11725 |        0 |        0
1332.23/1332.75	c 1332s |      27 | 16704446 | 12418133 |     2699  11737 |        0 |        0
1334.23/1334.76	c 1334s |      27 | 16724730 | 12433933 |     2699  11748 |        0 |        0
1336.23/1336.77	c 1336s |      27 | 16747967 | 12451233 |     2699  11760 |        0 |        0
1338.24/1338.78	c 1338s |      27 | 16768199 | 12467033 |     2699  11772 |        0 |        0
1340.23/1340.78	c 1340s |      27 | 16790320 | 12483933 |     2699  11784 |        0 |        0
1342.24/1342.78	c 1342s |      27 | 16812521 | 12500633 |     2699  11796 |        0 |        0
1344.23/1344.79	c 1344s |      27 | 16836716 | 12518333 |     2699  11809 |        0 |        0
1346.23/1346.79	c 1346s |      27 | 16860458 | 12536333 |     2699  11821 |        0 |        0
1348.33/1348.80	c 1348s |      27 | 16883539 | 12553933 |     2699  11834 |        0 |        0
1350.34/1350.81	c 1350s |      27 | 16905758 | 12570633 |     2699  11846 |        0 |        0
1352.33/1352.82	c 1352s |      27 | 16931056 | 12588533 |     2699  11859 |        0 |        0
1354.33/1354.82	c 1354s |      27 | 16955105 | 12605933 |     2699  11871 |        0 |        0
1356.33/1356.83	c 1356s |      27 | 16979810 | 12623333 |     2699  11883 |        0 |        0
1358.33/1358.84	c 1358s |      27 | 17001761 | 12639333 |     2699  11895 |        0 |        0
1360.34/1360.84	c 1360s |      27 | 17025305 | 12656633 |     2699  11907 |        0 |        0
1362.33/1362.85	c 1362s |      27 | 17047427 | 12672933 |     2699  11919 |        0 |        0
1364.33/1364.86	c 1364s |      27 | 17063627 | 12686333 |     2699  11928 |        0 |        0
1366.33/1366.86	c 1366s |      27 | 17085565 | 12702633 |     2699  11940 |        0 |        0
1368.33/1368.87	c 1368s |      27 | 17108694 | 12719233 |     2699  11952 |        0 |        0
1370.33/1370.88	c 1370s |      27 | 17128023 | 12734133 |     2699  11963 |        0 |        0
1372.34/1372.88	c 1372s |      27 | 17150634 | 12750833 |     2699  11975 |        0 |        0
1374.33/1374.89	c 1374s |      27 | 17172732 | 12767833 |     2699  11987 |        0 |        0
1376.33/1376.89	c 1376s |      27 | 17194864 | 12784733 |     2699  11999 |        0 |        0
1378.33/1378.89	c 1378s |      27 | 17215372 | 12800733 |     2699  12010 |        0 |        0
1380.33/1380.90	c 1380s |      27 | 17239146 | 12818033 |     2699  12023 |        0 |        0
1382.42/1382.91	c 1382s |      27 | 17262574 | 12835333 |     2699  12035 |        0 |        0
1384.43/1384.91	c 1384s |      27 | 17285823 | 12852333 |     2699  12047 |        0 |        0
1386.42/1386.91	c 1386s |      27 | 17306362 | 12868033 |     2699  12058 |        0 |        0
1388.42/1388.93	c 1388s |      27 | 17329343 | 12885333 |     2699  12071 |        0 |        0
1390.42/1390.94	c 1390s |      27 | 17348416 | 12900033 |     2699  12081 |        0 |        0
1392.42/1392.95	c 1392s |      27 | 17365336 | 12913333 |     2699  12090 |        0 |        0
1394.43/1394.96	c 1394s |      27 | 17385325 | 12928433 |     2699  12101 |        0 |        0
1396.43/1396.96	c 1396s |      27 | 17406080 | 12944533 |     2699  12112 |        0 |        0
1398.43/1398.96	c 1398s |      27 | 17427393 | 12960133 |     2699  12123 |        0 |        0
1400.43/1400.97	c 1400s |      27 | 17448971 | 12976433 |     2699  12135 |        0 |        0
1402.43/1402.98	c 1402s |      27 | 17473855 | 12994633 |     2699  12148 |        0 |        0
1404.43/1404.99	c 1404s |      27 | 17498269 | 13012933 |     2699  12161 |        0 |        0
1406.43/1406.99	c 1406s |      27 | 17520514 | 13029933 |     2699  12173 |        0 |        0
1408.42/1408.99	c 1408s |      27 | 17542174 | 13046733 |     2699  12185 |        0 |        0
1410.52/1411.00	c 1410s |      27 | 17565780 | 13064233 |     2699  12197 |        0 |        0
1412.52/1413.01	c 1412s |      27 | 17587446 | 13080533 |     2699  12209 |        0 |        0
1414.52/1415.02	c 1415s |      27 | 17605870 | 13094833 |     2699  12219 |        0 |        0
1416.52/1417.03	c 1417s |      27 | 17627413 | 13111033 |     2699  12230 |        0 |        0
1418.53/1419.04	c 1419s |      27 | 17648486 | 13127233 |     2699  12242 |        0 |        0
1420.52/1421.04	c 1421s |      27 | 17668111 | 13142633 |     2699  12253 |        0 |        0
1422.52/1423.05	c 1423s |      27 | 17689603 | 13159233 |     2699  12265 |        0 |        0
1424.52/1425.06	c 1425s |      27 | 17708781 | 13174733 |     2699  12276 |        0 |        0
1426.52/1427.07	c 1427s |      27 | 17730278 | 13190633 |     2699  12287 |        0 |        0
1428.52/1429.08	c 1429s |      27 | 17751795 | 13206933 |     2699  12299 |        0 |        0
1430.52/1431.08	c 1431s |      27 | 17773152 | 13223433 |     2699  12311 |        0 |        0
1432.52/1433.08	c 1433s |      27 | 17793265 | 13238933 |     2699  12322 |        0 |        0
1434.52/1435.09	c 1435s |      27 | 17813650 | 13254433 |     2699  12333 |        0 |        0
1436.62/1437.10	c 1437s |      27 | 17834166 | 13270633 |     2699  12344 |        0 |        0
1438.62/1439.10	c 1439s |      27 | 17857167 | 13287933 |     2699  12357 |        0 |        0
1440.62/1441.11	c 1441s |      27 | 17880074 | 13304933 |     2699  12369 |        0 |        0
1442.61/1443.12	c 1443s |      27 | 17903159 | 13321933 |     2699  12381 |        0 |        0
1444.61/1445.13	c 1445s |      27 | 17928555 | 13340233 |     2699  12394 |        0 |        0
1446.61/1447.14	c 1447s |      27 | 17948578 | 13355233 |     2699  12405 |        0 |        0
1448.61/1449.15	c 1449s |      27 | 17969702 | 13371433 |     2699  12416 |        0 |        0
1450.61/1451.15	c 1451s |      27 | 17990113 | 13386833 |     2699  12427 |        0 |        0
1452.62/1453.17	c 1453s |      27 | 18010334 | 13402033 |     2699  12438 |        0 |        0
1454.61/1455.17	c 1455s |      27 | 18026994 | 13415233 |     2699  12448 |        0 |        0
1456.62/1457.18	c 1457s |      27 | 18043395 | 13427933 |     2699  12457 |        0 |        0
1458.62/1459.19	c 1459s |      27 | 18063521 | 13443433 |     2699  12468 |        0 |        0
1460.72/1461.20	c 1461s |      27 | 18081509 | 13457333 |     2699  12478 |        0 |        0
1462.72/1463.20	c 1463s |      27 | 18099343 | 13471033 |     2699  12488 |        0 |        0
1464.72/1465.21	c 1465s |      27 | 18122931 | 13487633 |     2699  12500 |        0 |        0
1466.72/1467.22	c 1467s |      27 | 18145474 | 13504133 |     2699  12512 |        0 |        0
1468.71/1469.22	c 1469s |      27 | 18165243 | 13519433 |     2699  12523 |        0 |        0
1470.71/1471.22	c 1471s |      27 | 18184065 | 13534533 |     2699  12534 |        0 |        0
1472.71/1473.23	c 1473s |      27 | 18202889 | 13549233 |     2699  12544 |        0 |        0
1474.72/1475.24	c 1475s |      27 | 18220351 | 13563433 |     2699  12554 |        0 |        0
1476.71/1477.25	c 1477s |      27 | 18239781 | 13578233 |     2699  12565 |        0 |        0
1478.71/1479.25	c 1479s |      27 | 18254811 | 13591133 |     2699  12574 |        0 |        0
1480.71/1481.27	c 1481s |      27 | 18273735 | 13605933 |     2699  12584 |        0 |        0
1482.71/1483.27	c 1483s |      27 | 18290821 | 13619233 |     2699  12594 |        0 |        0
1484.71/1485.28	c 1485s |      27 | 18312733 | 13636033 |     2699  12606 |        0 |        0
1486.72/1487.29	c 1487s |      27 | 18333494 | 13651833 |     2699  12617 |        0 |        0
1488.81/1489.30	c 1489s |      27 | 18353545 | 13667233 |     2699  12628 |        0 |        0
1490.81/1491.31	c 1491s |      27 | 18371614 | 13681433 |     2699  12639 |        0 |        0
1492.81/1493.32	c 1493s |      27 | 18395861 | 13699333 |     2699  12651 |        0 |        0
1494.81/1495.33	c 1495s |      27 | 18417977 | 13715833 |     2699  12663 |        0 |        0
1496.81/1497.33	c 1497s |      27 | 18435725 | 13729933 |     2699  12673 |        0 |        0
1498.82/1499.34	c 1499s |      27 | 18453864 | 13744133 |     2699  12683 |        0 |        0
1500.81/1501.34	c 1501s |      27 | 18475329 | 13760233 |     2699  12695 |        0 |        0
1502.81/1503.34	c 1503s |      27 | 18493874 | 13775033 |     2699  12705 |        0 |        0
1504.80/1505.35	c 1505s |      27 | 18512135 | 13789533 |     2699  12716 |        0 |        0
1506.80/1507.35	c 1507s |      27 | 18534457 | 13805933 |     2699  12727 |        0 |        0
1508.82/1509.36	c 1509s |      27 | 18558228 | 13823233 |     2699  12740 |        0 |        0
1510.81/1511.36	c 1511s |      27 | 18579378 | 13839233 |     2699  12751 |        0 |        0
1512.81/1513.37	c 1513s |      27 | 18602180 | 13855933 |     2699  12764 |        0 |        0
1514.81/1515.39	c 1515s |      27 | 18624709 | 13872633 |     2699  12776 |        0 |        0
1516.91/1517.40	c 1517s |      27 | 18645224 | 13887833 |     2699  12786 |        0 |        0
1518.91/1519.41	c 1519s |      27 | 18664322 | 13902333 |     2699  12797 |        0 |        0
1520.92/1521.41	c 1521s |      27 | 18683757 | 13916733 |     2699  12807 |        0 |        0
1522.91/1523.42	c 1523s |      27 | 18702168 | 13930933 |     2699  12817 |        0 |        0
1524.91/1525.42	c 1525s |      27 | 18722311 | 13946333 |     2699  12829 |        0 |        0
1526.91/1527.44	c 1527s |      27 | 18745256 | 13963033 |     2699  12841 |        0 |        0
1528.91/1529.44	c 1529s |      27 | 18766784 | 13979533 |     2699  12852 |        0 |        0
1530.91/1531.45	c 1531s |      27 | 18794690 | 13999133 |     2699  12866 |        0 |        0
1532.91/1533.45	c 1533s |      27 | 18821601 | 14018033 |     2699  12880 |        0 |        0
1534.90/1535.46	c 1535s |      27 | 18845854 | 14035533 |     2699  12892 |        0 |        0
1536.90/1537.47	c 1537s |      27 | 18871746 | 14054233 |     2699  12906 |        0 |        0
1538.90/1539.47	c 1539s |      27 | 18895076 | 14071833 |     2699  12918 |        0 |        0
1540.90/1541.47	c 1541s |      27 | 18916461 | 14087933 |     2699  12930 |        0 |        0
1542.91/1543.47	c 1543s |      27 | 18941152 | 14105833 |     2699  12942 |        0 |        0
1544.90/1545.48	c 1545s |      27 | 18966579 | 14123933 |     2699  12955 |        0 |        0
1546.90/1547.48	c 1547s |      27 | 18991727 | 14141933 |     2699  12968 |        0 |        0
1548.90/1549.49	c 1549s |      27 | 19016865 | 14160133 |     2699  12981 |        0 |        0
1550.90/1551.50	c 1551s |      27 | 19042622 | 14179133 |     2699  12995 |        0 |        0
1553.00/1553.50	c 1553s |      27 | 19067894 | 14197333 |     2699  13008 |        0 |        0
1554.90/1555.50	c 1555s |      27 | 19092671 | 14215333 |     2699  13021 |        0 |        0
1557.00/1557.51	c 1557s |      27 | 19115567 | 14232333 |     2699  13033 |        0 |        0
1559.00/1559.52	c 1559s |      27 | 19135176 | 14247333 |     2699  13043 |        0 |        0
1561.00/1561.52	c 1561s |      27 | 19153551 | 14262033 |     2699  13054 |        0 |        0
1563.00/1563.54	c 1563s |      27 | 19176131 | 14279633 |     2699  13067 |        0 |        0
1565.00/1565.54	c 1565s |      27 | 19196616 | 14295333 |     2699  13078 |        0 |        0
1567.01/1567.54	c 1567s |      27 | 19217481 | 14311233 |     2699  13089 |        0 |        0
1569.00/1569.56	c 1569s |      27 | 19240533 | 14328333 |     2699  13102 |        0 |        0
1571.00/1571.57	c 1571s |      27 | 19262193 | 14344433 |     2699  13113 |        0 |        0
1573.00/1573.58	c 1573s |      27 | 19284184 | 14361133 |     2699  13126 |        0 |        0
1575.00/1575.59	c 1575s |      27 | 19306578 | 14377833 |     2699  13138 |        0 |        0
1577.10/1577.60	c 1577s |      27 | 19331348 | 14395933 |     2699  13151 |        0 |        0
1579.00/1579.60	c 1579s |      27 | 19352781 | 14412333 |     2699  13162 |        0 |        0
1581.10/1581.61	c 1581s |      27 | 19376613 | 14430333 |     2699  13175 |        0 |        0
1583.10/1583.61	c 1583s |      27 | 19399817 | 14447933 |     2699  13188 |        0 |        0
1585.09/1585.61	c 1585s |      27 | 19423809 | 14465733 |     2699  13200 |        0 |        0
1587.09/1587.61	c 1587s |      27 | 19445732 | 14482533 |     2699  13212 |        0 |        0
1589.10/1589.63	c 1589s |      27 | 19468296 | 14499333 |     2699  13224 |        0 |        0
1591.09/1591.64	c 1591s |      27 | 19490847 | 14516033 |     2699  13236 |        0 |        0
1593.09/1593.64	c 1593s |      27 | 19511389 | 14531833 |     2699  13247 |        0 |        0
1595.10/1595.64	c 1595s |      27 | 19532882 | 14548533 |     2699  13259 |        0 |        0
1597.10/1597.66	c 1597s |      27 | 19558258 | 14566833 |     2699  13272 |        0 |        0
1599.10/1599.66	c 1599s |      27 | 19581793 | 14584133 |     2699  13285 |        0 |        0
1601.10/1601.67	c 1601s |      27 | 19605402 | 14601633 |     2699  13297 |        0 |        0
1603.10/1603.67	c 1603s |      27 | 19627473 | 14617933 |     2699  13309 |        0 |        0
1605.10/1605.68	c 1605s |      27 | 19649137 | 14634633 |     2699  13321 |        0 |        0
1607.09/1607.69	c 1607s |      27 | 19673537 | 14652533 |     2699  13333 |        0 |        0
1609.19/1609.71	c 1609s |      27 | 19696783 | 14669733 |     2699  13346 |        0 |        0
1611.19/1611.72	c 1611s |      27 | 19716823 | 14685233 |     2699  13356 |        0 |        0
1613.20/1613.72	c 1613s |      27 | 19737835 | 14700933 |     2699  13368 |        0 |        0
1615.19/1615.72	c 1615s |      27 | 19756373 | 14715633 |     2699  13378 |        0 |        0
1617.19/1617.72	c 1617s |      27 | 19777775 | 14731833 |     2699  13390 |        0 |        0
1619.19/1619.73	c 1619s |      27 | 19795920 | 14746233 |     2699  13400 |        0 |        0
1621.19/1621.74	c 1621s |      27 | 19812995 | 14760233 |     2699  13410 |        0 |        0
1623.20/1623.74	c 1623s |      27 | 19833900 | 14776333 |     2699  13421 |        0 |        0
1625.19/1625.74	c 1625s |      27 | 19855563 | 14792433 |     2699  13433 |        0 |        0
1627.19/1627.75	c 1627s |      27 | 19877058 | 14808733 |     2699  13444 |        0 |        0
1629.19/1629.75	c 1629s |      27 | 19897598 | 14824033 |     2699  13455 |        0 |        0
1631.19/1631.75	c 1631s |      27 | 19918877 | 14840033 |     2699  13467 |        0 |        0
1633.19/1633.75	c 1633s |      27 | 19938138 | 14855033 |     2699  13477 |        0 |        0
1635.19/1635.76	c 1635s |      27 | 19953663 | 14868133 |     2699  13487 |        0 |        0
1637.19/1637.77	c 1637s |      27 | 19972023 | 14882333 |     2699  13497 |        0 |        0
1639.19/1639.78	c 1639s |      27 | 19995044 | 14898933 |     2699  13509 |        0 |        0
1641.19/1641.78	c 1641s |      27 | 20020268 | 14916833 |     2699  13521 |        0 |        0
1643.19/1643.80	c 1643s |      27 | 20040243 | 14931933 |     2699  13532 |        0 |        0
1645.28/1645.80	c 1645s |      27 | 20064945 | 14949833 |     2699  13545 |        0 |        0
1647.29/1647.81	c 1647s |      27 | 20091653 | 14969133 |     2699  13558 |        0 |        0
1649.28/1649.81	c 1649s |      27 | 20115035 | 14986633 |     2699  13571 |        0 |        0
1651.28/1651.83	c 1651s |      27 | 20139920 | 15004933 |     2699  13584 |        0 |        0
1653.28/1653.84	c 1653s |      27 | 20164509 | 15023033 |     2699  13596 |        0 |        0
1655.28/1655.84	c 1655s |      27 | 20188016 | 15040533 |     2699  13609 |        0 |        0
1657.29/1657.84	c 1657s |      27 | 20213329 | 15058733 |     2699  13622 |        0 |        0
1659.28/1659.85	c 1659s |      27 | 20237087 | 15075933 |     2699  13634 |        0 |        0
1661.28/1661.86	c 1661s |      27 | 20259681 | 15092733 |     2699  13646 |        0 |        0
1663.28/1663.88	c 1663s |      27 | 20285120 | 15110933 |     2699  13659 |        0 |        0
1665.28/1665.88	c 1665s |      27 | 20309044 | 15128233 |     2699  13671 |        0 |        0
1667.29/1667.89	c 1667s |      27 | 20331900 | 15144833 |     2699  13683 |        0 |        0
1669.29/1669.90	c 1669s |      27 | 20356361 | 15162633 |     2699  13695 |        0 |        0
1671.39/1671.91	c 1671s |      27 | 20381931 | 15181033 |     2699  13708 |        0 |        0
1673.39/1673.91	c 1673s |      27 | 20407823 | 15199733 |     2699  13722 |        0 |        0
1675.38/1675.91	c 1675s |      27 | 20433287 | 15218133 |     2699  13735 |        0 |        0
1677.38/1677.92	c 1677s |      27 | 20458109 | 15236233 |     2699  13747 |        0 |        0
1679.38/1679.93	c 1679s |      27 | 20480730 | 15253233 |     2699  13759 |        0 |        0
1681.39/1681.94	c 1681s |      27 | 20497693 | 15267233 |     2699  13769 |        0 |        0
1683.38/1683.95	c 1683s |      27 | 20517453 | 15282833 |     2699  13780 |        0 |        0
1685.38/1685.96	c 1685s |      27 | 20538841 | 15299233 |     2699  13792 |        0 |        0
1687.38/1687.97	c 1687s |      27 | 20562631 | 15316933 |     2699  13804 |        0 |        0
1689.38/1689.98	c 1689s |      27 | 20586367 | 15334633 |     2699  13817 |        0 |        0
1691.38/1691.99	c 1691s |      27 | 20607742 | 15351133 |     2699  13828 |        0 |        0
1693.38/1693.99	c 1693s |      27 | 20631417 | 15368433 |     2699  13841 |        0 |        0
1695.38/1695.99	c 1695s |      27 | 20654078 | 15385133 |     2699  13853 |        0 |        0
1697.38/1698.00	c 1697s |      27 | 20670679 | 15398733 |     2699  13862 |        0 |        0
1699.48/1700.01	c 1699s |      27 | 20691029 | 15414433 |     2699  13873 |        0 |        0
1701.48/1702.01	c 1701s |      27 | 20713635 | 15430933 |     2699  13885 |        0 |        0
1703.49/1704.02	c 1704s |      27 | 20732016 | 15446033 |     2699  13896 |        0 |        0
1705.48/1706.02	c 1706s |      27 | 20756501 | 15464033 |     2699  13908 |        0 |        0
1707.48/1708.03	c 1708s |      27 | 20780318 | 15481933 |     2699  13921 |        0 |        0
1709.48/1710.04	c 1710s |      27 | 20801558 | 15498433 |     2699  13933 |        0 |        0
1711.48/1712.05	c 1712s |      27 | 20821461 | 15514433 |     2699  13944 |        0 |        0
1713.48/1714.06	c 1714s |      27 | 20843642 | 15531433 |     2699  13956 |        0 |        0
1715.48/1716.06	c 1716s |      27 | 20868105 | 15549533 |     2699  13969 |        0 |        0
1717.48/1718.07	c 1718s |      27 | 20893004 | 15567833 |     2699  13982 |        0 |        0
1719.47/1720.07	c 1720s |      27 | 20916760 | 15585833 |     2699  13995 |        0 |        0
1721.47/1722.07	c 1722s |      27 | 20936149 | 15600833 |     2699  14005 |        0 |        0
1723.47/1724.08	c 1724s |      27 | 20953275 | 15615033 |     2699  14015 |        0 |        0
1725.48/1726.09	c 1726s |      27 | 20975449 | 15632433 |     2699  14027 |        0 |        0
1727.47/1728.10	c 1728s |      27 | 20996124 | 15648433 |     2699  14039 |        0 |        0
1729.57/1730.10	c 1730s |      27 | 21017626 | 15665133 |     2699  14051 |        0 |        0
1731.57/1732.11	c 1732s |      27 | 21040770 | 15682833 |     2699  14063 |        0 |        0
1733.57/1734.12	c 1734s |      27 | 21060966 | 15698433 |     2699  14074 |        0 |        0
1735.57/1736.13	c 1736s |      27 | 21080537 | 15713533 |     2699  14085 |        0 |        0
1737.58/1738.14	c 1738s |      27 | 21102219 | 15730033 |     2699  14097 |        0 |        0
1739.57/1740.15	c 1740s |      27 | 21121375 | 15745133 |     2699  14108 |        0 |        0
1741.57/1742.15	c 1742s |      27 | 21138812 | 15759333 |     2699  14118 |        0 |        0
1743.57/1744.16	c 1744s |      27 | 21158229 | 15774333 |     2699  14128 |        0 |        0
1745.57/1746.17	c 1746s |      27 | 21178479 | 15790033 |     2699  14140 |        0 |        0
1747.57/1748.17	c 1748s |      27 | 21202051 | 15807633 |     2699  14152 |        0 |        0
1749.57/1750.17	c 1750s |      27 | 21219290 | 15821833 |     2699  14162 |        0 |        0
1751.57/1752.18	c 1752s |      27 | 21237753 | 15836233 |     2699  14172 |        0 |        0
1753.57/1754.19	c 1754s |      27 | 21261575 | 15854033 |     2699  14185 |        0 |        0
1755.67/1756.20	c 1756s |      27 | 21279862 | 15868533 |     2699  14196 |        0 |        0
1757.67/1758.20	c 1758s |      27 | 21300374 | 15884333 |     2699  14207 |        0 |        0
1759.67/1760.20	c 1760s |      27 | 21321394 | 15900333 |     2699  14218 |        0 |        0
1761.68/1762.22	c 1762s |      27 | 21338102 | 15913933 |     2699  14228 |        0 |        0
1763.67/1764.23	c 1764s |      27 | 21358624 | 15929833 |     2699  14240 |        0 |        0
1765.67/1766.23	c 1766s |      27 | 21379229 | 15945733 |     2699  14251 |        0 |        0
1767.67/1768.25	c 1768s |      27 | 21397543 | 15960133 |     2699  14262 |        0 |        0
1769.67/1770.25	c 1770s |      27 | 21418163 | 15976333 |     2699  14273 |        0 |        0
1771.67/1772.25	c 1772s |      27 | 21436852 | 15990733 |     2699  14284 |        0 |        0
1773.67/1774.27	c 1774s |      27 | 21458391 | 16007033 |     2699  14295 |        0 |        0
1775.67/1776.27	c 1776s |      27 | 21478417 | 16022233 |     2699  14306 |        0 |        0
1777.67/1778.27	c 1778s |      27 | 21502749 | 16039533 |     2699  14319 |        0 |        0
1779.67/1780.28	c 1780s |      27 | 21527120 | 16057633 |     2699  14332 |        0 |        0
1781.67/1782.29	c 1782s |      27 | 21550918 | 16074933 |     2699  14344 |        0 |        0
1783.67/1784.29	c 1784s |      27 | 21571434 | 16090533 |     2699  14355 |        0 |        0
1785.66/1786.29	c 1786s |      27 | 21593162 | 16106933 |     2699  14367 |        0 |        0
1787.76/1788.31	c 1788s |      27 | 21612620 | 16121433 |     2699  14378 |        0 |        0
1789.76/1790.32	c 1790s |      27 | 21632485 | 16136733 |     2699  14388 |        0 |        0
1791.76/1792.33	c 1792s |      27 | 21653630 | 16152433 |     2699  14400 |        0 |        0
1793.76/1794.34	c 1794s |      27 | 21676540 | 16169233 |     2699  14412 |        0 |        0
1795.77/1796.34	c 1796s |      27 | 21698798 | 16186133 |     2699  14424 |        0 |        0
1797.76/1798.35	c 1798s |      27 | 21719440 | 16201233 |     2699  14435 |        0 |        0
1799.76/1800.35	c 1800s |      27 | 21743816 | 16218533 |     2699  14448 |        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-4088602-1466008015/watcher-4088602-1466008015 -o /tmp/evaluation-result-4088602-1466008015/solver-4088602-1466008015 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node141-1466008015-5972 --watchdog 1960 toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4088602-1466008015.opb 

pid=5993
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: 1.83 2.87 3.10 4/172 5997
/proc/meminfo: memFree=31565892/32872528 swapFree=496356/529060
[pid=5997] ppid=5993 vsize=678332 CPUtime=0 cores=1,3,5,7
/proc/5997/stat : 5997 (toysat) R 5993 5997 5955 0 -1 4202496 2524 0 0 0 0 0 0 0 20 0 4 0 2847031 694611968 2885 33554432000 4194304 16246674 140733991122192 140733991121616 15002730 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/5997/statm: 170351 2893 441 2943 0 167245 0
[pid=5997/tid=6001] ppid=5993 vsize=702908 CPUtime=0 cores=1,3,5,7
/proc/5997/task/6001/stat : 6001 (toysat) S 5993 5997 5955 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 2847032 719777792 2981 33554432000 4194304 16246674 140733991122192 140353292184816 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=5997/tid=6002] ppid=5993 vsize=707004 CPUtime=0 cores=1,3,5,7
/proc/5997/task/6002/stat : 6002 (toysat) S 5993 5997 5955 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 2847032 723972096 2997 33554432000 4194304 16246674 140733991122192 140353281694960 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=5997/tid=6003] ppid=5993 vsize=712124 CPUtime=0 cores=1,3,5,7
/proc/5997/task/6003/stat : 6003 (toysat) S 5993 5997 5955 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 2847032 729214976 3014 33554432000 4194304 16246674 140733991122192 140353271221424 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0

[startup+0.10021 s]
/proc/loadavg: 1.83 2.87 3.10 4/172 5997
/proc/meminfo: memFree=31565892/32872528 swapFree=496356/529060
[pid=5997] ppid=5993 vsize=1218116 CPUtime=0.09 cores=1,3,5,7
/proc/5997/stat : 5997 (toysat) R 5993 5997 5955 0 -1 4202496 24112 0 0 0 6 3 0 0 20 0 4 0 2847031 1247350784 24463 33554432000 4194304 16246674 140733991122192 140733991121616 12474613 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/5997/statm: 304529 24470 716 2943 0 301423 0
[pid=5997/tid=6001] ppid=5993 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/5997/task/6001/stat : 6001 (toysat) S 5993 5997 5955 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 2847032 1247350784 24476 33554432000 4194304 16246674 140733991122192 140353292184816 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=5997/tid=6002] ppid=5993 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/5997/task/6002/stat : 6002 (toysat) S 5993 5997 5955 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 2847032 1247350784 24483 33554432000 4194304 16246674 140733991122192 140353281694960 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=5997/tid=6003] ppid=5993 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/5997/task/6003/stat : 6003 (toysat) S 5993 5997 5955 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 2847032 1247350784 24489 33554432000 4194304 16246674 140733991122192 140353271221424 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.200523 s]
/proc/loadavg: 1.83 2.87 3.10 4/172 5997
/proc/meminfo: memFree=31565892/32872528 swapFree=496356/529060
[pid=5997] ppid=5993 vsize=1218116 CPUtime=0.19 cores=1,3,5,7
/proc/5997/stat : 5997 (toysat) R 5993 5997 5955 0 -1 4202496 45492 0 0 0 13 6 0 0 20 0 4 0 2847031 1247350784 45842 33554432000 4194304 16246674 140733991122192 140733991121616 5669490 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/5997/statm: 304529 45852 716 2943 0 301423 0
[pid=5997/tid=6001] ppid=5993 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/5997/task/6001/stat : 6001 (toysat) S 5993 5997 5955 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 2847032 1247350784 45858 33554432000 4194304 16246674 140733991122192 140353292184816 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=5997/tid=6002] ppid=5993 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/5997/task/6002/stat : 6002 (toysat) S 5993 5997 5955 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 2847032 1247350784 45864 33554432000 4194304 16246674 140733991122192 140353281694960 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=5997/tid=6003] ppid=5993 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/5997/task/6003/stat : 6003 (toysat) S 5993 5997 5955 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 2847032 1247350784 45872 33554432000 4194304 16246674 140733991122192 140353271221424 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.300438 s]
/proc/loadavg: 1.83 2.87 3.10 4/172 5997
/proc/meminfo: memFree=31565892/32872528 swapFree=496356/529060
[pid=5997] ppid=5993 vsize=1218116 CPUtime=0.29 cores=1,3,5,7
/proc/5997/stat : 5997 (toysat) R 5993 5997 5955 0 -1 4202496 66952 0 0 0 20 9 0 0 20 0 4 0 2847031 1247350784 67302 33554432000 4194304 16246674 140733991122192 140733991121616 13194563 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/5997/statm: 304529 67312 716 2943 0 301423 0
[pid=5997/tid=6001] ppid=5993 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/5997/task/6001/stat : 6001 (toysat) S 5993 5997 5955 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 2847032 1247350784 67316 33554432000 4194304 16246674 140733991122192 140353292184816 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=5997/tid=6002] ppid=5993 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/5997/task/6002/stat : 6002 (toysat) S 5993 5997 5955 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 2847032 1247350784 67325 33554432000 4194304 16246674 140733991122192 140353281694960 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=5997/tid=6003] ppid=5993 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/5997/task/6003/stat : 6003 (toysat) S 5993 5997 5955 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 2847032 1247350784 67331 33554432000 4194304 16246674 140733991122192 140353271221424 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.700414 s]
/proc/loadavg: 1.83 2.87 3.10 4/172 5997
/proc/meminfo: memFree=31565892/32872528 swapFree=496356/529060
[pid=5997] ppid=5993 vsize=1218116 CPUtime=0.69 cores=1,3,5,7
/proc/5997/stat : 5997 (toysat) R 5993 5997 5955 0 -1 4202496 152707 0 0 0 47 22 0 0 20 0 4 0 2847031 1247350784 153057 33554432000 4194304 16246674 140733991122192 140733991105192 5677277 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/5997/statm: 304529 153069 716 2943 0 301423 0
[pid=5997/tid=6001] ppid=5993 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/5997/task/6001/stat : 6001 (toysat) S 5993 5997 5955 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 2847032 1247350784 153075 33554432000 4194304 16246674 140733991122192 140353292184816 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=5997/tid=6002] ppid=5993 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/5997/task/6002/stat : 6002 (toysat) S 5993 5997 5955 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 2847032 1247350784 153084 33554432000 4194304 16246674 140733991122192 140353281694960 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=5997/tid=6003] ppid=5993 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/5997/task/6003/stat : 6003 (toysat) S 5993 5997 5955 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 2847032 1247350784 153091 33554432000 4194304 16246674 140733991122192 140353271221424 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.5004 s]
/proc/loadavg: 1.85 2.86 3.09 3/183 6008
/proc/meminfo: memFree=29739636/32872528 swapFree=496356/529060
[pid=5997] ppid=5993 vsize=1219140 CPUtime=1.49 cores=1,3,5,7
/proc/5997/stat : 5997 (toysat) R 5993 5997 5955 0 -1 4202496 245693 0 0 0 114 35 0 0 20 0 4 0 2847031 1248399360 246023 33554432000 4194304 16246674 140733991122192 140733991104064 15015658 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/5997/statm: 304785 246023 791 2943 0 301679 0
[pid=5997/tid=6001] ppid=5993 vsize=1219140 CPUtime=0 cores=1,3,5,7
/proc/5997/task/6001/stat : 6001 (toysat) S 5993 5997 5955 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 2847032 1248399360 246023 33554432000 4194304 16246674 140733991122192 140353292184816 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=5997/tid=6002] ppid=5993 vsize=1219140 CPUtime=0 cores=1,3,5,7
/proc/5997/task/6002/stat : 6002 (toysat) S 5993 5997 5955 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 2847032 1248399360 246023 33554432000 4194304 16246674 140733991122192 140353281694960 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=5997/tid=6003] ppid=5993 vsize=1219140 CPUtime=0 cores=1,3,5,7
/proc/5997/task/6003/stat : 6003 (toysat) S 5993 5997 5955 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 2847032 1248399360 246023 33554432000 4194304 16246674 140733991122192 140353271221424 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: 1.85 2.86 3.09 3/183 6008
/proc/meminfo: memFree=29428776/32872528 swapFree=496356/529060
[pid=5997] ppid=5993 vsize=1306180 CPUtime=3.09 cores=1,3,5,7
/proc/5997/stat : 5997 (toysat) R 5993 5997 5955 0 -1 4202496 267414 0 0 0 272 37 0 0 20 0 4 0 2847031 1337528320 267744 33554432000 4194304 16246674 140733991122192 140733991104064 15015658 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/5997/statm: 326545 267744 791 2943 0 323439 0
[pid=5997/tid=6001] ppid=5993 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/5997/task/6001/stat : 6001 (toysat) S 5993 5997 5955 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 2847032 1337528320 267744 33554432000 4194304 16246674 140733991122192 140353292184816 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=5997/tid=6002] ppid=5993 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/5997/task/6002/stat : 6002 (toysat) S 5993 5997 5955 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 2847032 1337528320 267744 33554432000 4194304 16246674 140733991122192 140353281694960 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=5997/tid=6003] ppid=5993 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/5997/task/6003/stat : 6003 (toysat) S 5993 5997 5955 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 2847032 1337528320 267744 33554432000 4194304 16246674 140733991122192 140353271221424 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: 1.86 2.84 3.08 3/183 6008
/proc/meminfo: memFree=29423336/32872528 swapFree=496356/529060
[pid=5997] ppid=5993 vsize=1307204 CPUtime=6.29 cores=1,3,5,7
/proc/5997/stat : 5997 (toysat) R 5993 5997 5955 0 -1 4202496 267579 0 0 0 592 37 0 0 20 0 4 0 2847031 1338576896 267909 33554432000 4194304 16246674 140733991122192 140733991104064 5754966 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/5997/statm: 326801 267909 793 2943 0 323695 0
[pid=5997/tid=6001] ppid=5993 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/5997/task/6001/stat : 6001 (toysat) S 5993 5997 5955 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 2847032 1338576896 267909 33554432000 4194304 16246674 140733991122192 140353292184816 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=5997/tid=6002] ppid=5993 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/5997/task/6002/stat : 6002 (toysat) S 5993 5997 5955 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 2847032 1338576896 267909 33554432000 4194304 16246674 140733991122192 140353281694960 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=5997/tid=6003] ppid=5993 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/5997/task/6003/stat : 6003 (toysat) S 5993 5997 5955 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 2847032 1338576896 267909 33554432000 4194304 16246674 140733991122192 140353271221424 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: 1.87 2.83 3.08 3/183 6008
/proc/meminfo: memFree=29418660/32872528 swapFree=496356/529060
[pid=5997] ppid=5993 vsize=1307204 CPUtime=12.68 cores=1,3,5,7
/proc/5997/stat : 5997 (toysat) R 5993 5997 5955 0 -1 4202496 267832 0 0 0 1231 37 0 0 20 0 4 0 2847031 1338576896 268162 33554432000 4194304 16246674 140733991122192 140733991105192 13954515 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/5997/statm: 326801 268162 794 2943 0 323695 0
[pid=5997/tid=6001] ppid=5993 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/5997/task/6001/stat : 6001 (toysat) S 5993 5997 5955 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 2847032 1338576896 268162 33554432000 4194304 16246674 140733991122192 140353292184816 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=5997/tid=6002] ppid=5993 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/5997/task/6002/stat : 6002 (toysat) S 5993 5997 5955 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 2847032 1338576896 268162 33554432000 4194304 16246674 140733991122192 140353281694960 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=5997/tid=6003] ppid=5993 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/5997/task/6003/stat : 6003 (toysat) S 5993 5997 5955 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 2847032 1338576896 268162 33554432000 4194304 16246674 140733991122192 140353271221424 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 1307204

[startup+25.5005 s]
/proc/loadavg: 1.97 2.82 3.07 3/183 6008
/proc/meminfo: memFree=29420080/32872528 swapFree=496356/529060
[pid=5997] ppid=5993 vsize=1308228 CPUtime=25.49 cores=1,3,5,7
/proc/5997/stat : 5997 (toysat) R 5993 5997 5955 0 -1 4202496 267912 0 0 0 2511 38 0 0 20 0 4 0 2847031 1339625472 268242 33554432000 4194304 16246674 140733991122192 140733991105192 15015658 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/5997/statm: 327057 268242 794 2943 0 323951 0
[pid=5997/tid=6001] ppid=5993 vsize=1308228 CPUtime=0 cores=1,3,5,7
/proc/5997/task/6001/stat : 6001 (toysat) S 5993 5997 5955 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 2847032 1339625472 268242 33554432000 4194304 16246674 140733991122192 140353292184816 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=5997/tid=6002] ppid=5993 vsize=1308228 CPUtime=0 cores=1,3,5,7
/proc/5997/task/6002/stat : 6002 (toysat) S 5993 5997 5955 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 2847032 1339625472 268242 33554432000 4194304 16246674 140733991122192 140353281694960 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=5997/tid=6003] ppid=5993 vsize=1308228 CPUtime=0 cores=1,3,5,7
/proc/5997/task/6003/stat : 6003 (toysat) S 5993 5997 5955 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 2847032 1339625472 268242 33554432000 4194304 16246674 140733991122192 140353271221424 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) 1308228

[startup+51.1005 s]
/proc/loadavg: 2.06 2.75 3.04 3/183 6008
/proc/meminfo: memFree=29419220/32872528 swapFree=496356/529060
[pid=5997] ppid=5993 vsize=1308228 CPUtime=51.08 cores=1,3,5,7
/proc/5997/stat : 5997 (toysat) R 5993 5997 5955 0 -1 4202496 267912 0 0 0 5069 39 0 0 20 0 4 0 2847031 1339625472 268242 33554432000 4194304 16246674 140733991122192 140733991105192 5677720 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/5997/statm: 327057 268242 794 2943 0 323951 0
[pid=5997/tid=6001] ppid=5993 vsize=1308228 CPUtime=0 cores=1,3,5,7
/proc/5997/task/6001/stat : 6001 (toysat) S 5993 5997 5955 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 2847032 1339625472 268242 33554432000 4194304 16246674 140733991122192 140353292184816 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=5997/tid=6002] ppid=5993 vsize=1308228 CPUtime=0 cores=1,3,5,7
/proc/5997/task/6002/stat : 6002 (toysat) S 5993 5997 5955 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 2847032 1339625472 268242 33554432000 4194304 16246674 140733991122192 140353281694960 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=5997/tid=6003] ppid=5993 vsize=1308228 CPUtime=0 cores=1,3,5,7
/proc/5997/task/6003/stat : 6003 (toysat) S 5993 5997 5955 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 2847032 1339625472 268242 33554432000 4194304 16246674 140733991122192 140353271221424 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.06 2.65 2.99 3/183 6009
/proc/meminfo: memFree=29417608/32872528 swapFree=496356/529060
[pid=5997] ppid=5993 vsize=1309252 CPUtime=102.28 cores=1,3,5,7
/proc/5997/stat : 5997 (toysat) R 5993 5997 5955 0 -1 4202496 268151 0 0 0 10188 40 0 0 20 0 4 0 2847031 1340674048 268481 33554432000 4194304 16246674 140733991122192 140733991105192 15015658 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/5997/statm: 327313 268481 794 2943 0 324207 0
[pid=5997/tid=6001] ppid=5993 vsize=1309252 CPUtime=0 cores=1,3,5,7
/proc/5997/task/6001/stat : 6001 (toysat) S 5993 5997 5955 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 2847032 1340674048 268481 33554432000 4194304 16246674 140733991122192 140353292184816 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=5997/tid=6002] ppid=5993 vsize=1309252 CPUtime=0 cores=1,3,5,7
/proc/5997/task/6002/stat : 6002 (toysat) S 5993 5997 5955 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 2847032 1340674048 268481 33554432000 4194304 16246674 140733991122192 140353281694960 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=5997/tid=6003] ppid=5993 vsize=1309252 CPUtime=0 cores=1,3,5,7
/proc/5997/task/6003/stat : 6003 (toysat) S 5993 5997 5955 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 2847032 1340674048 268481 33554432000 4194304 16246674 140733991122192 140353271221424 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 1309252


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

/proc/5997/task/6003/stat : 6003 (toysat) S 5993 5997 5955 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 2847032 1345916928 269790 33554432000 4194304 16246674 140733991122192 140353271221424 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1241.85
Current children cumulated vsize (KiB) 1314372

[startup+1302.3 s]
/proc/loadavg: 2.07 2.07 2.30 3/183 6040
/proc/meminfo: memFree=29393288/32872528 swapFree=496356/529060
[pid=5997] ppid=5993 vsize=1314372 CPUtime=1301.84 cores=1,3,5,7
/proc/5997/stat : 5997 (toysat) R 5993 5997 5955 0 -1 4202496 270021 0 0 0 130118 66 0 0 20 0 4 0 2847031 1345916928 269959 33554432000 4194304 16246674 140733991122192 140733991104064 5824098 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/5997/statm: 328593 269959 796 2943 0 325487 0
[pid=5997/tid=6001] ppid=5993 vsize=1314372 CPUtime=0 cores=1,3,5,7
/proc/5997/task/6001/stat : 6001 (toysat) S 5993 5997 5955 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 2847032 1345916928 269959 33554432000 4194304 16246674 140733991122192 140353292184816 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=5997/tid=6002] ppid=5993 vsize=1314372 CPUtime=0 cores=1,3,5,7
/proc/5997/task/6002/stat : 6002 (toysat) S 5993 5997 5955 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 2847032 1345916928 269959 33554432000 4194304 16246674 140733991122192 140353281694960 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=5997/tid=6003] ppid=5993 vsize=1314372 CPUtime=0 cores=1,3,5,7
/proc/5997/task/6003/stat : 6003 (toysat) S 5993 5997 5955 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 2847032 1345916928 269959 33554432000 4194304 16246674 140733991122192 140353271221424 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1301.84
Current children cumulated vsize (KiB) 1314372

[startup+1362.3 s]
/proc/loadavg: 2.02 2.06 2.27 3/183 6042
/proc/meminfo: memFree=29390716/32872528 swapFree=496356/529060
[pid=5997] ppid=5993 vsize=1314372 CPUtime=1361.83 cores=1,3,5,7
/proc/5997/stat : 5997 (toysat) R 5993 5997 5955 0 -1 4202496 270021 0 0 0 136116 67 0 0 20 0 4 0 2847031 1345916928 269959 33554432000 4194304 16246674 140733991122192 140733991104064 5828837 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/5997/statm: 328593 269959 796 2943 0 325487 0
[pid=5997/tid=6001] ppid=5993 vsize=1314372 CPUtime=0 cores=1,3,5,7
/proc/5997/task/6001/stat : 6001 (toysat) S 5993 5997 5955 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 2847032 1345916928 269959 33554432000 4194304 16246674 140733991122192 140353292184816 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=5997/tid=6002] ppid=5993 vsize=1314372 CPUtime=0 cores=1,3,5,7
/proc/5997/task/6002/stat : 6002 (toysat) S 5993 5997 5955 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 2847032 1345916928 269959 33554432000 4194304 16246674 140733991122192 140353281694960 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=5997/tid=6003] ppid=5993 vsize=1314372 CPUtime=0 cores=1,3,5,7
/proc/5997/task/6003/stat : 6003 (toysat) S 5993 5997 5955 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 2847032 1345916928 269959 33554432000 4194304 16246674 140733991122192 140353271221424 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1361.83
Current children cumulated vsize (KiB) 1314372

[startup+1422.3 s]
/proc/loadavg: 2.14 2.08 2.27 3/184 6046
/proc/meminfo: memFree=29390576/32872528 swapFree=496356/529060
[pid=5997] ppid=5993 vsize=1314372 CPUtime=1421.82 cores=1,3,5,7
/proc/5997/stat : 5997 (toysat) R 5993 5997 5955 0 -1 4202496 270021 0 0 0 142114 68 0 0 20 0 4 0 2847031 1345916928 269959 33554432000 4194304 16246674 140733991122192 140733991104064 5545724 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/5997/statm: 328593 269959 796 2943 0 325487 0
[pid=5997/tid=6001] ppid=5993 vsize=1314372 CPUtime=0 cores=1,3,5,7
/proc/5997/task/6001/stat : 6001 (toysat) S 5993 5997 5955 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 2847032 1345916928 269959 33554432000 4194304 16246674 140733991122192 140353292184816 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=5997/tid=6002] ppid=5993 vsize=1314372 CPUtime=0 cores=1,3,5,7
/proc/5997/task/6002/stat : 6002 (toysat) S 5993 5997 5955 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 2847032 1345916928 269959 33554432000 4194304 16246674 140733991122192 140353281694960 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=5997/tid=6003] ppid=5993 vsize=1314372 CPUtime=0 cores=1,3,5,7
/proc/5997/task/6003/stat : 6003 (toysat) S 5993 5997 5955 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 2847032 1345916928 269959 33554432000 4194304 16246674 140733991122192 140353271221424 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1421.82
Current children cumulated vsize (KiB) 1314372

[startup+1482.3 s]
/proc/loadavg: 2.16 2.09 2.26 3/183 6047
/proc/meminfo: memFree=29390744/32872528 swapFree=496356/529060
[pid=5997] ppid=5993 vsize=1314372 CPUtime=1481.81 cores=1,3,5,7
/proc/5997/stat : 5997 (toysat) R 5993 5997 5955 0 -1 4202496 270021 0 0 0 148112 69 0 0 20 0 4 0 2847031 1345916928 269959 33554432000 4194304 16246674 140733991122192 140733991105192 5823131 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/5997/statm: 328593 269959 796 2943 0 325487 0
[pid=5997/tid=6001] ppid=5993 vsize=1314372 CPUtime=0 cores=1,3,5,7
/proc/5997/task/6001/stat : 6001 (toysat) S 5993 5997 5955 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 2847032 1345916928 269959 33554432000 4194304 16246674 140733991122192 140353292184816 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=5997/tid=6002] ppid=5993 vsize=1314372 CPUtime=0 cores=1,3,5,7
/proc/5997/task/6002/stat : 6002 (toysat) S 5993 5997 5955 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 2847032 1345916928 269959 33554432000 4194304 16246674 140733991122192 140353281694960 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=5997/tid=6003] ppid=5993 vsize=1314372 CPUtime=0 cores=1,3,5,7
/proc/5997/task/6003/stat : 6003 (toysat) S 5993 5997 5955 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 2847032 1345916928 269959 33554432000 4194304 16246674 140733991122192 140353271221424 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1481.81
Current children cumulated vsize (KiB) 1314372

[startup+1542.31 s]
/proc/loadavg: 2.23 2.12 2.26 3/182 6048
/proc/meminfo: memFree=29389768/32872528 swapFree=496356/529060
[pid=5997] ppid=5993 vsize=1314372 CPUtime=1541.81 cores=1,3,5,7
/proc/5997/stat : 5997 (toysat) R 5993 5997 5955 0 -1 4202496 270021 0 0 0 154111 70 0 0 20 0 4 0 2847031 1345916928 269959 33554432000 4194304 16246674 140733991122192 140733991104064 5545796 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/5997/statm: 328593 269959 796 2943 0 325487 0
[pid=5997/tid=6001] ppid=5993 vsize=1314372 CPUtime=0 cores=1,3,5,7
/proc/5997/task/6001/stat : 6001 (toysat) S 5993 5997 5955 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 2847032 1345916928 269959 33554432000 4194304 16246674 140733991122192 140353292184816 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=5997/tid=6002] ppid=5993 vsize=1314372 CPUtime=0 cores=1,3,5,7
/proc/5997/task/6002/stat : 6002 (toysat) S 5993 5997 5955 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 2847032 1345916928 269959 33554432000 4194304 16246674 140733991122192 140353281694960 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=5997/tid=6003] ppid=5993 vsize=1314372 CPUtime=0 cores=1,3,5,7
/proc/5997/task/6003/stat : 6003 (toysat) S 5993 5997 5955 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 2847032 1345916928 269959 33554432000 4194304 16246674 140733991122192 140353271221424 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1541.81
Current children cumulated vsize (KiB) 1314372

[startup+1602.3 s]
/proc/loadavg: 2.08 2.09 2.24 3/183 6050
/proc/meminfo: memFree=29387340/32872528 swapFree=496356/529060
[pid=5997] ppid=5993 vsize=1314372 CPUtime=1601.8 cores=1,3,5,7
/proc/5997/stat : 5997 (toysat) R 5993 5997 5955 0 -1 4202496 270021 0 0 0 160108 72 0 0 20 0 4 0 2847031 1345916928 269959 33554432000 4194304 16246674 140733991122192 140733991104064 15015658 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/5997/statm: 328593 269959 796 2943 0 325487 0
[pid=5997/tid=6001] ppid=5993 vsize=1314372 CPUtime=0 cores=1,3,5,7
/proc/5997/task/6001/stat : 6001 (toysat) S 5993 5997 5955 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 2847032 1345916928 269959 33554432000 4194304 16246674 140733991122192 140353292184816 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=5997/tid=6002] ppid=5993 vsize=1314372 CPUtime=0 cores=1,3,5,7
/proc/5997/task/6002/stat : 6002 (toysat) S 5993 5997 5955 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 2847032 1345916928 269959 33554432000 4194304 16246674 140733991122192 140353281694960 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=5997/tid=6003] ppid=5993 vsize=1314372 CPUtime=0 cores=1,3,5,7
/proc/5997/task/6003/stat : 6003 (toysat) S 5993 5997 5955 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 2847032 1345916928 269959 33554432000 4194304 16246674 140733991122192 140353271221424 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1601.8
Current children cumulated vsize (KiB) 1314372

[startup+1662.3 s]
/proc/loadavg: 2.03 2.07 2.22 3/183 6052
/proc/meminfo: memFree=29387632/32872528 swapFree=496356/529060
[pid=5997] ppid=5993 vsize=1314372 CPUtime=1661.78 cores=1,3,5,7
/proc/5997/stat : 5997 (toysat) R 5993 5997 5955 0 -1 4202496 270021 0 0 0 166106 72 0 0 20 0 4 0 2847031 1345916928 269959 33554432000 4194304 16246674 140733991122192 140733991104064 5722420 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/5997/statm: 328593 269959 796 2943 0 325487 0
[pid=5997/tid=6001] ppid=5993 vsize=1314372 CPUtime=0 cores=1,3,5,7
/proc/5997/task/6001/stat : 6001 (toysat) S 5993 5997 5955 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 2847032 1345916928 269959 33554432000 4194304 16246674 140733991122192 140353292184816 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=5997/tid=6002] ppid=5993 vsize=1314372 CPUtime=0 cores=1,3,5,7
/proc/5997/task/6002/stat : 6002 (toysat) S 5993 5997 5955 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 2847032 1345916928 269959 33554432000 4194304 16246674 140733991122192 140353281694960 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=5997/tid=6003] ppid=5993 vsize=1314372 CPUtime=0 cores=1,3,5,7
/proc/5997/task/6003/stat : 6003 (toysat) S 5993 5997 5955 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 2847032 1345916928 269959 33554432000 4194304 16246674 140733991122192 140353271221424 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1661.78
Current children cumulated vsize (KiB) 1314372

[startup+1722.3 s]
/proc/loadavg: 2.01 2.06 2.20 3/183 6053
/proc/meminfo: memFree=29387856/32872528 swapFree=496356/529060
[pid=5997] ppid=5993 vsize=1314372 CPUtime=1721.77 cores=1,3,5,7
/proc/5997/stat : 5997 (toysat) R 5993 5997 5955 0 -1 4202496 270021 0 0 0 172103 74 0 0 20 0 4 0 2847031 1345916928 269959 33554432000 4194304 16246674 140733991122192 140733991104064 12476867 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/5997/statm: 328593 269959 796 2943 0 325487 0
[pid=5997/tid=6001] ppid=5993 vsize=1314372 CPUtime=0 cores=1,3,5,7
/proc/5997/task/6001/stat : 6001 (toysat) S 5993 5997 5955 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 2847032 1345916928 269959 33554432000 4194304 16246674 140733991122192 140353292184816 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=5997/tid=6002] ppid=5993 vsize=1314372 CPUtime=0 cores=1,3,5,7
/proc/5997/task/6002/stat : 6002 (toysat) S 5993 5997 5955 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 2847032 1345916928 269959 33554432000 4194304 16246674 140733991122192 140353281694960 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=5997/tid=6003] ppid=5993 vsize=1314372 CPUtime=0 cores=1,3,5,7
/proc/5997/task/6003/stat : 6003 (toysat) S 5993 5997 5955 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 2847032 1345916928 269959 33554432000 4194304 16246674 140733991122192 140353271221424 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1721.77
Current children cumulated vsize (KiB) 1314372

[startup+1782.3 s]
/proc/loadavg: 2.06 2.06 2.19 3/183 6054
/proc/meminfo: memFree=29387492/32872528 swapFree=496356/529060
[pid=5997] ppid=5993 vsize=1314372 CPUtime=1781.77 cores=1,3,5,7
/proc/5997/stat : 5997 (toysat) R 5993 5997 5955 0 -1 4202496 270021 0 0 0 178102 75 0 0 20 0 4 0 2847031 1345916928 269959 33554432000 4194304 16246674 140733991122192 140733991104064 5553608 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/5997/statm: 328593 269959 796 2943 0 325487 0
[pid=5997/tid=6001] ppid=5993 vsize=1314372 CPUtime=0 cores=1,3,5,7
/proc/5997/task/6001/stat : 6001 (toysat) S 5993 5997 5955 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 2847032 1345916928 269959 33554432000 4194304 16246674 140733991122192 140353292184816 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=5997/tid=6002] ppid=5993 vsize=1314372 CPUtime=0 cores=1,3,5,7
/proc/5997/task/6002/stat : 6002 (toysat) S 5993 5997 5955 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 2847032 1345916928 269959 33554432000 4194304 16246674 140733991122192 140353281694960 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=5997/tid=6003] ppid=5993 vsize=1314372 CPUtime=0 cores=1,3,5,7
/proc/5997/task/6003/stat : 6003 (toysat) S 5993 5997 5955 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 2847032 1345916928 269959 33554432000 4194304 16246674 140733991122192 140353271221424 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1781.77
Current children cumulated vsize (KiB) 1314372



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.6 s]
/proc/loadavg: 2.05 2.06 2.19 3/183 6054
/proc/meminfo: memFree=29386628/32872528 swapFree=496356/529060
[pid=5997] ppid=5993 vsize=1314372 CPUtime=1800.06 cores=1,3,5,7
/proc/5997/stat : 5997 (toysat) R 5993 5997 5955 0 -1 4202496 270021 0 0 0 179931 75 0 0 20 0 4 0 2847031 1345916928 269959 33554432000 4194304 16246674 140733991122192 140733991104064 13906976 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/5997/statm: 328593 269959 796 2943 0 325487 0
[pid=5997/tid=6001] ppid=5993 vsize=1314372 CPUtime=0 cores=1,3,5,7
/proc/5997/task/6001/stat : 6001 (toysat) S 5993 5997 5955 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 2847032 1345916928 269959 33554432000 4194304 16246674 140733991122192 140353292184816 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=5997/tid=6002] ppid=5993 vsize=1314372 CPUtime=0 cores=1,3,5,7
/proc/5997/task/6002/stat : 6002 (toysat) S 5993 5997 5955 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 2847032 1345916928 269959 33554432000 4194304 16246674 140733991122192 140353281694960 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=5997/tid=6003] ppid=5993 vsize=1314372 CPUtime=0 cores=1,3,5,7
/proc/5997/task/6003/stat : 6003 (toysat) S 5993 5997 5955 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 2847032 1345916928 269959 33554432000 4194304 16246674 140733991122192 140353271221424 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1800.06
Current children cumulated vsize (KiB) 1314372

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 5997 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.08
CPU user time (s): 1799.32
CPU system time (s): 0.756884
CPU usage (%): 99.9704
Max. virtual memory (cumulated for all children) (KiB): 1314372

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.32
system time used= 0.756884
maximum resident set size= 1079836
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 270021
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= 410
involuntary context switches= 1839

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 4.50731 second user time and 7.18291 second system time

The end

Begin job on node141 at 2016-06-15 18:26:55
IDJOB=4088602
IDBENCH=107287
IDSOLVER=2542
FILE ID=node141/4088602-1466008015
RUNJOBID= node141-1466008015-5972
PBS_JOBID= 19902806
Free space on /tmp= 71748 MiB

SOLVER NAME= toysat 2016-05-02
BENCH NAME= PB16/normalized-PB16/DEC-SMALLINT-LIN/pb16-16-elffers/EC_ODD_GRIDS/normalized-ECgrid5x30split.opb
COMMAND LINE= toysat +RTS -H1G -MMEMLIMITm -K1G -RTS --pb --search=bcd2 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4088602-1466008015/watcher-4088602-1466008015 -o /tmp/evaluation-result-4088602-1466008015/solver-4088602-1466008015 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node141-1466008015-5972 --watchdog 1960  toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4088602-1466008015.opb

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

MD5SUM BENCH= 2eaf646e2e57174dc73b78258a19c8b0
RANDOM SEED=1169410586

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

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:       32872528 kB
MemFree:        31568280 kB
Buffers:            1220 kB
Cached:            62320 kB
SwapCached:        12340 kB
Active:            45316 kB
Inactive:          30292 kB
Active(anon):       3616 kB
Inactive(anon):    11064 kB
Active(file):      41700 kB
Inactive(file):    19228 kB
Unevictable:      529060 kB
Mlocked:          496356 kB
SwapTotal:      67108856 kB
SwapFree:       67087196 kB
Dirty:             33204 kB
Writeback:             0 kB
AnonPages:        530580 kB
Mapped:             6268 kB
Shmem:                 0 kB
Slab:             566488 kB
SReclaimable:       9960 kB
SUnreclaim:       556528 kB
KernelStack:        1392 kB
PageTables:         5340 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:     625704 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:     32768 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= 71716 MiB
End job on node141 at 2016-06-15 18:56:57