0.00/0.00	c 2016-06-30T22:02:07+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-4122586-1467316927.opb"]
0.00/0.01	c use --random-gen="3353340013 3567726105 4006275857 4277976111 1110656500 3962630034 851414660 3488254822 289505272 3028064660 2525416550 632148624 2231684322 1229080964 1774758761 3182593653 1498973295 1899376485 1605845786 2722081329 1617658183 3708184832 4289471695 2049979403 353044878 1957044546 2081490915 2833902411 4291057704 2628030491 1154998422 2095623144 212374540 868951140 3454214869 3173644006 3956916991 3261514684 1061389242 3178313810 82645001 1712808109 2396321306 538973156 2125524327 3439058864 2860383275 251100439 757921645 2123297053 859477584 3066937350 830307669 2270740917 2551390891 690392383 2489978818 2384634384 1427433137 2449174046 1429448791 2194202873 1017531339 3975876117 3186536364 808183486 1405889791 2872679690 1697709166 3729894266 3742892042 2447594438 3753947803 3345956140 4241964782 3830937433 4292227478 171186905 961947344 2741573823 1939376916 3739921553 3265410148 4067337398 2237520937 1963720937 1318500313 3618161428 2768664384 826939782 4087929426 2695966331 1036775580 3891075018 503843829 2230084472 1404129856 1196778680 2158715965 451722655 2313841887 2537203556 866638887 3753689841 3245849791 3876229799 4261235255 2424596632 1009632975 1697068977 2050162048 3527213152 3062078985 3453484304 3039737774 1753237835 1019604151 1485794668 818629219 3057491593 3881585232 2324970403 2425574783 3097489563 3905323197 3518807275 2436124999 3857579597 977855175 768888710 1747842158 1017988895 2913525682 1331257535 4031846915 1947297780 2767979894 724885567 4184893524 1228426898 1754206984 1107969553 2096693565 3165135717 1545541266 387932283 1120107792 274595078 1799247571 1644553392 1614122670 4069798113 1380032035 2983269132 3828149900 1937711101 973821853 2034731334 2996475898 1819074264 3929183714 3807728670 1795983489 1616575713 1394718409 437070288 2684507428 3974723825 501838791 925338881 2819426007 3041202454 2095527199 789332652 3292128468 2295977829 943259793 3644281847 216471367 3551246513 300061603 4195014505 4100632108 474362197 1896731707 1349983756 3879123402 3071163447 54614717 3949897522 112959486 1527821102 3103801242 1062139629 4059873341 3359473196 564094471 1762009791 641936955 1595438547 149813069 796953202 3581978961 2815170952 2161647423 2514322934 967926575 2780415133 342253909 2769650463 1251371942 2474529983 797205039 1808012620 4257984280 370781308 4265353153 3956455528 745589979 919291837 2462038901 1075271292 3632788045 3042855535 3294988636 3836111346 2904474286 2828802363 585294446 931106893 4200936249 1549295405 2257017465 665497575 1547147830 1697092754 1849349176 3177335214 1056568140 507135057 1835663333 3879605017 3435374438 601547098 1614548132 756972823 237963403 1292595593 328187678 302380017 4099291746 4014093882 3110653030 3397978656 3339712266 249174559 255 362436" option to reproduce the execution
0.00/0.01	c #vars 233
0.00/0.01	c #constraints 232
0.00/0.01	c Solving starts ...
0.00/0.01	c ============================[ Search Statistics ]============================
0.00/0.01	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
0.00/0.01	c       |         |          |          |    Limit     GC | Var      | Constra 
0.00/0.01	c =============================================================================
0.00/0.01	c  0.0s |       0 |        0 |        0 |      155      0 |        0 |        0
0.00/0.03	c  0.0s |       1 |      173 |      100 |      155      0 |        0 |        0
0.00/0.04	c  0.0s |       2 |      369 |      250 |      171      1 |        0 |        0
0.00/0.06	c  0.0s |       3 |      726 |      475 |      189      2 |        0 |        0
0.00/0.10	c  0.1s |       4 |     1219 |      813 |      208      4 |        0 |        0
0.09/0.15	c  0.1s |       5 |     1945 |     1320 |      229      7 |        0 |        0
0.19/0.23	c  0.2s |       6 |     3106 |     2081 |      278     11 |        0 |        0
0.29/0.35	c  0.3s |       7 |     4699 |     3223 |      306     17 |        0 |        0
0.49/0.52	c  0.5s |       8 |     7288 |     4936 |      337     24 |        0 |        0
0.79/0.80	c  0.8s |       9 |    10700 |     7506 |      371     35 |        0 |        0
1.09/1.19	c  1.2s |      10 |    15524 |    11361 |      409     50 |        0 |        0
1.58/1.69	c  1.7s |      11 |    23600 |    17144 |      450     72 |        0 |        0
2.38/2.42	c  2.4s |      12 |    34874 |    25819 |      496    102 |        0 |        0
3.29/3.38	c  3.4s |      13 |    52486 |    38832 |      546    152 |        0 |        0
5.18/5.24	c  5.2s |      14 |    78505 |    58352 |      601    211 |        0 |        0
7.19/7.25	c  7.2s |      14 |   108826 |    81652 |      601    274 |        0 |        0
7.70/7.76	c  7.7s |      15 |   117075 |    87632 |      662    290 |        0 |        0
9.69/9.76	c  9.7s |      15 |   149300 |   111532 |      662    351 |        0 |        0
11.49/11.52	c 11.5s |      16 |   178076 |   131552 |      729    403 |        0 |        0
13.49/13.52	c 13.5s |      16 |   208187 |   154452 |      729    457 |        0 |        0
15.50/15.52	c 15.5s |      16 |   239852 |   178052 |      729    512 |        0 |        0
17.19/17.21	c 17.2s |      17 |   265473 |   197432 |      802    557 |        0 |        0
19.19/19.22	c 19.2s |      17 |   293284 |   218032 |      802    602 |        0 |        0
21.19/21.23	c 21.2s |      17 |   318968 |   237132 |      802    644 |        0 |        0
23.19/23.24	c 23.2s |      17 |   344708 |   256832 |      802    688 |        0 |        0
25.19/25.24	c 25.2s |      17 |   371559 |   277132 |      802    733 |        0 |        0
27.09/27.15	c 27.1s |      18 |   397220 |   296252 |      883    775 |        0 |        0
29.09/29.15	c 29.1s |      18 |   423446 |   315052 |      883    814 |        0 |        0
31.09/31.15	c 31.1s |      18 |   449403 |   335452 |      883    856 |        0 |        0
33.09/33.16	c 33.1s |      18 |   476140 |   355752 |      883    897 |        0 |        0
35.08/35.17	c 35.2s |      18 |   504031 |   375852 |      883    938 |        0 |        0
37.08/37.17	c 37.2s |      18 |   534378 |   397452 |      883    982 |        0 |        0
39.08/39.18	c 39.2s |      18 |   562293 |   418252 |      883   1026 |        0 |        0
41.08/41.19	c 41.2s |      18 |   589289 |   438052 |      883   1067 |        0 |        0
41.79/41.86	c 41.8s |      19 |   597795 |   444482 |      972   1080 |        0 |        0
43.78/43.87	c 43.9s |      19 |   623172 |   464382 |      972   1116 |        0 |        0
45.78/45.87	c 45.9s |      19 |   652703 |   485982 |      972   1155 |        0 |        0
47.78/47.88	c 47.9s |      19 |   679540 |   506182 |      972   1193 |        0 |        0
49.78/49.88	c 49.9s |      19 |   707332 |   526482 |      972   1231 |        0 |        0
51.79/51.89	c 51.9s |      19 |   735225 |   546982 |      972   1270 |        0 |        0
53.78/53.89	c 53.9s |      19 |   763377 |   567682 |      972   1308 |        0 |        0
55.78/55.89	c 55.9s |      19 |   789570 |   587382 |      972   1345 |        0 |        0
57.88/57.90	c 57.9s |      19 |   815817 |   607382 |      972   1383 |        0 |        0
59.88/59.90	c 59.9s |      19 |   843922 |   627782 |      972   1421 |        0 |        0
61.88/61.91	c 61.9s |      19 |   870912 |   648082 |      972   1459 |        0 |        0
63.68/63.73	c 63.7s |      20 |   897550 |   666827 |     1070   1492 |        0 |        0
65.68/65.73	c 65.7s |      20 |   923688 |   686427 |     1070   1525 |        0 |        0
67.68/67.74	c 67.7s |      20 |   949078 |   705727 |     1070   1558 |        0 |        0
69.68/69.75	c 69.7s |      20 |   975318 |   725327 |     1070   1591 |        0 |        0
71.68/71.75	c 71.7s |      20 |  1000872 |   744627 |     1070   1624 |        0 |        0
73.69/73.76	c 73.7s |      20 |  1028103 |   764227 |     1070   1657 |        0 |        0
75.68/75.77	c 75.8s |      20 |  1055662 |   784427 |     1070   1692 |        0 |        0
77.68/77.77	c 77.8s |      20 |  1082429 |   804127 |     1070   1726 |        0 |        0
79.68/79.78	c 79.8s |      20 |  1109438 |   823527 |     1070   1759 |        0 |        0
81.68/81.78	c 81.8s |      20 |  1136035 |   843427 |     1070   1793 |        0 |        0
83.68/83.78	c 83.8s |      20 |  1162591 |   863427 |     1070   1827 |        0 |        0
85.68/85.79	c 85.8s |      20 |  1191040 |   883727 |     1070   1862 |        0 |        0
87.78/87.80	c 87.8s |      20 |  1216897 |   903027 |     1070   1895 |        0 |        0
89.78/89.80	c 89.8s |      20 |  1243726 |   923027 |     1070   1930 |        0 |        0
91.78/91.81	c 91.8s |      20 |  1269783 |   942827 |     1070   1964 |        0 |        0
93.77/93.81	c 93.8s |      20 |  1297493 |   963127 |     1070   1999 |        0 |        0
95.78/95.82	c 95.8s |      20 |  1323885 |   982827 |     1070   2032 |        0 |        0
97.47/97.57	c 97.6s |      21 |  1347646 |  1000345 |     1177   2061 |        0 |        0
99.47/99.57	c 99.6s |      21 |  1372494 |  1019345 |     1177   2090 |        0 |        0
101.47/101.58	c  101s |      21 |  1395193 |  1036845 |     1177   2118 |        0 |        0
103.48/103.59	c  103s |      21 |  1419649 |  1055045 |     1177   2147 |        0 |        0
105.47/105.59	c  105s |      21 |  1445453 |  1073945 |     1177   2177 |        0 |        0
107.57/107.61	c  107s |      21 |  1471644 |  1093345 |     1177   2208 |        0 |        0
109.57/109.61	c  109s |      21 |  1496230 |  1111645 |     1177   2238 |        0 |        0
111.57/111.62	c  111s |      21 |  1523258 |  1131245 |     1177   2269 |        0 |        0
113.57/113.62	c  113s |      21 |  1549778 |  1150745 |     1177   2300 |        0 |        0
115.58/115.63	c  115s |      21 |  1575597 |  1169945 |     1177   2331 |        0 |        0
117.57/117.64	c  117s |      21 |  1602578 |  1189745 |     1177   2363 |        0 |        0
119.57/119.65	c  119s |      21 |  1627125 |  1208445 |     1177   2393 |        0 |        0
121.57/121.65	c  121s |      21 |  1650189 |  1226345 |     1177   2421 |        0 |        0
123.57/123.65	c  123s |      21 |  1675354 |  1245245 |     1177   2451 |        0 |        0
125.57/125.66	c  125s |      21 |  1698782 |  1262945 |     1177   2479 |        0 |        0
127.57/127.68	c  127s |      21 |  1722632 |  1281045 |     1177   2508 |        0 |        0
129.57/129.68	c  129s |      21 |  1748400 |  1300245 |     1177   2538 |        0 |        0
131.57/131.68	c  131s |      21 |  1773766 |  1319245 |     1177   2567 |        0 |        0
133.57/133.69	c  133s |      21 |  1800100 |  1338645 |     1177   2599 |        0 |        0
135.67/135.70	c  135s |      21 |  1827929 |  1358745 |     1177   2631 |        0 |        0
137.67/137.70	c  137s |      21 |  1852765 |  1377445 |     1177   2661 |        0 |        0
139.67/139.71	c  139s |      21 |  1878310 |  1396645 |     1177   2692 |        0 |        0
141.67/141.72	c  141s |      21 |  1903848 |  1415745 |     1177   2723 |        0 |        0
143.67/143.73	c  143s |      21 |  1931084 |  1435345 |     1177   2755 |        0 |        0
145.66/145.73	c  145s |      21 |  1955961 |  1454445 |     1177   2785 |        0 |        0
147.66/147.74	c  147s |      21 |  1983976 |  1473845 |     1177   2817 |        0 |        0
149.67/149.74	c  149s |      21 |  2012666 |  1494045 |     1295   2848 |        0 |        0
150.36/150.48	c  150s |      22 |  2021186 |  1500622 |     1295   2858 |        0 |        0
152.36/152.49	c  152s |      22 |  2043230 |  1518422 |     1295   2884 |        0 |        0
154.46/154.50	c  154s |      22 |  2067782 |  1537022 |     1295   2910 |        0 |        0
156.46/156.50	c  156s |      22 |  2093131 |  1555822 |     1295   2938 |        0 |        0
158.47/158.52	c  158s |      22 |  2117097 |  1574122 |     1295   2965 |        0 |        0
160.46/160.52	c  160s |      22 |  2144236 |  1593222 |     1295   2993 |        0 |        0
162.46/162.52	c  162s |      22 |  2170284 |  1611622 |     1295   3020 |        0 |        0
164.46/164.53	c  164s |      22 |  2195347 |  1629822 |     1295   3047 |        0 |        0
166.46/166.53	c  166s |      22 |  2219775 |  1648622 |     1295   3074 |        0 |        0
168.47/168.53	c  168s |      22 |  2246823 |  1668222 |     1295   3103 |        0 |        0
170.47/170.54	c  170s |      22 |  2269069 |  1685722 |     1295   3128 |        0 |        0
172.46/172.55	c  172s |      22 |  2294906 |  1704822 |     1295   3157 |        0 |        0
174.46/174.55	c  174s |      22 |  2322746 |  1725022 |     1295   3186 |        0 |        0
176.46/176.56	c  176s |      22 |  2349037 |  1743922 |     1295   3214 |        0 |        0
178.46/178.56	c  178s |      22 |  2374468 |  1763422 |     1295   3242 |        0 |        0
180.47/180.57	c  180s |      22 |  2401932 |  1783622 |     1295   3271 |        0 |        0
182.46/182.57	c  182s |      22 |  2426907 |  1802022 |     1295   3298 |        0 |        0
184.46/184.58	c  184s |      22 |  2449850 |  1819322 |     1295   3323 |        0 |        0
186.46/186.58	c  186s |      22 |  2475651 |  1838122 |     1295   3351 |        0 |        0
188.46/188.59	c  188s |      22 |  2501482 |  1857222 |     1295   3378 |        0 |        0
190.56/190.60	c  190s |      22 |  2525989 |  1875322 |     1295   3404 |        0 |        0
192.46/192.60	c  192s |      22 |  2551802 |  1894022 |     1295   3431 |        0 |        0
194.56/194.60	c  194s |      22 |  2576303 |  1912622 |     1295   3458 |        0 |        0
196.56/196.61	c  196s |      22 |  2600662 |  1931222 |     1295   3485 |        0 |        0
198.56/198.62	c  198s |      22 |  2623552 |  1948922 |     1295   3510 |        0 |        0
200.56/200.62	c  200s |      22 |  2646749 |  1966722 |     1295   3536 |        0 |        0
202.56/202.62	c  202s |      22 |  2670749 |  1984122 |     1295   3561 |        0 |        0
204.56/204.63	c  204s |      22 |  2693616 |  2001422 |     1295   3587 |        0 |        0
206.55/206.63	c  206s |      22 |  2718875 |  2020322 |     1295   3614 |        0 |        0
208.55/208.65	c  208s |      22 |  2745045 |  2040022 |     1295   3642 |        0 |        0
210.55/210.66	c  210s |      22 |  2769316 |  2058522 |     1295   3669 |        0 |        0
212.55/212.67	c  212s |      22 |  2794700 |  2076922 |     1295   3696 |        0 |        0
214.56/214.67	c  214s |      22 |  2821607 |  2095722 |     1295   3724 |        0 |        0
216.56/216.68	c  216s |      22 |  2847385 |  2115322 |     1295   3753 |        0 |        0
218.56/218.69	c  218s |      22 |  2875092 |  2135922 |     1295   3783 |        0 |        0
220.56/220.69	c  220s |      22 |  2898988 |  2154322 |     1295   3809 |        0 |        0
222.66/222.70	c  222s |      22 |  2927016 |  2174122 |     1295   3839 |        0 |        0
224.66/224.70	c  224s |      22 |  2954664 |  2193622 |     1295   3868 |        0 |        0
226.66/226.71	c  226s |      22 |  2982115 |  2213222 |     1295   3897 |        0 |        0
228.66/228.71	c  228s |      22 |  3007186 |  2231422 |     1295   3924 |        0 |        0
230.66/230.72	c  230s |      22 |  3032571 |  2249922 |     1425   3949 |        0 |        0
230.76/230.83	c  230s |      23 |  3034244 |  2251038 |     1425   3951 |        0 |        0
232.76/232.84	c  232s |      23 |  3056358 |  2267638 |     1425   3972 |        0 |        0
234.76/234.84	c  234s |      23 |  3077098 |  2283438 |     1425   3992 |        0 |        0
236.76/236.84	c  236s |      23 |  3098299 |  2299538 |     1425   4013 |        0 |        0
238.76/238.85	c  238s |      23 |  3119293 |  2315538 |     1425   4034 |        0 |        0
240.75/240.86	c  240s |      23 |  3139679 |  2331238 |     1425   4054 |        0 |        0
242.75/242.86	c  242s |      23 |  3162260 |  2347838 |     1425   4075 |        0 |        0
244.75/244.86	c  244s |      23 |  3185191 |  2365138 |     1425   4098 |        0 |        0
246.75/246.86	c  246s |      23 |  3207690 |  2381838 |     1425   4119 |        0 |        0
248.75/248.87	c  248s |      23 |  3228701 |  2397438 |     1425   4139 |        0 |        0
250.76/250.88	c  250s |      23 |  3252301 |  2414638 |     1425   4162 |        0 |        0
252.75/252.88	c  252s |      23 |  3272745 |  2430638 |     1425   4183 |        0 |        0
254.75/254.89	c  254s |      23 |  3294201 |  2447038 |     1425   4205 |        0 |        0
256.85/256.90	c  256s |      23 |  3316447 |  2463238 |     1425   4226 |        0 |        0
258.85/258.91	c  258s |      23 |  3337444 |  2479238 |     1425   4247 |        0 |        0
260.85/260.92	c  260s |      23 |  3359424 |  2495638 |     1425   4269 |        0 |        0
262.86/262.92	c  262s |      23 |  3382291 |  2512238 |     1425   4291 |        0 |        0
264.85/264.94	c  264s |      23 |  3401688 |  2527138 |     1425   4310 |        0 |        0
266.85/266.94	c  266s |      23 |  3424485 |  2543438 |     1425   4332 |        0 |        0
268.85/268.94	c  268s |      23 |  3446407 |  2559638 |     1425   4353 |        0 |        0
270.84/270.95	c  270s |      23 |  3467125 |  2575438 |     1425   4374 |        0 |        0
272.85/272.96	c  272s |      23 |  3490226 |  2592638 |     1425   4396 |        0 |        0
274.84/274.96	c  274s |      23 |  3512627 |  2610138 |     1425   4419 |        0 |        0
276.84/276.96	c  276s |      23 |  3535369 |  2627438 |     1425   4442 |        0 |        0
278.84/278.97	c  278s |      23 |  3557998 |  2644038 |     1425   4464 |        0 |        0
280.84/280.98	c  280s |      23 |  3580244 |  2660738 |     1425   4486 |        0 |        0
282.84/282.99	c  282s |      23 |  3602525 |  2677938 |     1425   4509 |        0 |        0
284.85/285.00	c  284s |      23 |  3624025 |  2694338 |     1425   4530 |        0 |        0
286.94/287.00	c  286s |      23 |  3646044 |  2711038 |     1425   4552 |        0 |        0
288.94/289.00	c  288s |      23 |  3667564 |  2727838 |     1425   4575 |        0 |        0
290.94/291.00	c  290s |      23 |  3689445 |  2744038 |     1425   4596 |        0 |        0
292.95/293.01	c  292s |      23 |  3712008 |  2760338 |     1425   4617 |        0 |        0
294.95/295.02	c  295s |      23 |  3733863 |  2776938 |     1425   4639 |        0 |        0
296.95/297.03	c  297s |      23 |  3753374 |  2792338 |     1425   4659 |        0 |        0
298.95/299.03	c  299s |      23 |  3776001 |  2808138 |     1425   4680 |        0 |        0
300.95/301.04	c  301s |      23 |  3798228 |  2824638 |     1425   4702 |        0 |        0
302.95/303.04	c  303s |      23 |  3819599 |  2840938 |     1425   4723 |        0 |        0
304.95/305.04	c  305s |      23 |  3841997 |  2857238 |     1425   4745 |        0 |        0
306.95/307.06	c  307s |      23 |  3864067 |  2873538 |     1425   4766 |        0 |        0
308.94/309.06	c  309s |      23 |  3883772 |  2888538 |     1425   4786 |        0 |        0
310.94/311.07	c  311s |      23 |  3903726 |  2903738 |     1425   4806 |        0 |        0
312.94/313.08	c  313s |      23 |  3924593 |  2919338 |     1425   4827 |        0 |        0
314.94/315.08	c  315s |      23 |  3947845 |  2936638 |     1425   4850 |        0 |        0
316.94/317.08	c  317s |      23 |  3972205 |  2955038 |     1425   4874 |        0 |        0
318.95/319.09	c  319s |      23 |  3994529 |  2972438 |     1425   4897 |        0 |        0
320.94/321.09	c  321s |      23 |  4018223 |  2990238 |     1425   4921 |        0 |        0
322.94/323.09	c  323s |      23 |  4040792 |  3007438 |     1425   4943 |        0 |        0
325.04/325.10	c  325s |      23 |  4064514 |  3024938 |     1425   4967 |        0 |        0
327.04/327.11	c  327s |      23 |  4088071 |  3042438 |     1425   4990 |        0 |        0
329.04/329.11	c  329s |      23 |  4111168 |  3059938 |     1425   5013 |        0 |        0
331.04/331.12	c  331s |      23 |  4134145 |  3077438 |     1425   5036 |        0 |        0
333.04/333.12	c  333s |      23 |  4157047 |  3094438 |     1425   5058 |        0 |        0
335.04/335.13	c  335s |      23 |  4179988 |  3111538 |     1425   5081 |        0 |        0
337.03/337.14	c  337s |      23 |  4202447 |  3128238 |     1425   5103 |        0 |        0
339.03/339.14	c  339s |      23 |  4224871 |  3144438 |     1425   5125 |        0 |        0
341.04/341.15	c  341s |      23 |  4245814 |  3160438 |     1425   5146 |        0 |        0
343.03/343.15	c  343s |      23 |  4268173 |  3177338 |     1425   5168 |        0 |        0
345.03/345.15	c  345s |      23 |  4290940 |  3194338 |     1425   5191 |        0 |        0
347.03/347.16	c  347s |      23 |  4315768 |  3211938 |     1425   5214 |        0 |        0
349.04/349.16	c  349s |      23 |  4338012 |  3228638 |     1425   5237 |        0 |        0
351.04/351.17	c  351s |      23 |  4360858 |  3246038 |     1425   5260 |        0 |        0
353.04/353.18	c  353s |      23 |  4383516 |  3263138 |     1425   5283 |        0 |        0
355.04/355.18	c  355s |      23 |  4404714 |  3279238 |     1425   5304 |        0 |        0
357.04/357.19	c  357s |      23 |  4426142 |  3295538 |     1425   5326 |        0 |        0
359.04/359.20	c  359s |      23 |  4448929 |  3312438 |     1425   5349 |        0 |        0
361.14/361.20	c  361s |      23 |  4472619 |  3329638 |     1425   5372 |        0 |        0
363.13/363.21	c  363s |      23 |  4494548 |  3346138 |     1425   5394 |        0 |        0
365.14/365.22	c  365s |      23 |  4515842 |  3362538 |     1568   5415 |        0 |        0
366.83/366.93	c  366s |      24 |  4534671 |  3376662 |     1568   5432 |        0 |        0
368.83/368.93	c  368s |      24 |  4555641 |  3393062 |     1568   5452 |        0 |        0
370.83/370.93	c  370s |      24 |  4578731 |  3410662 |     1568   5474 |        0 |        0
372.84/372.93	c  372s |      24 |  4603180 |  3428862 |     1568   5496 |        0 |        0
374.83/374.94	c  374s |      24 |  4626900 |  3446362 |     1568   5517 |        0 |        0
376.83/376.95	c  376s |      24 |  4649221 |  3463362 |     1568   5537 |        0 |        0
378.83/378.96	c  378s |      24 |  4669499 |  3478962 |     1568   5556 |        0 |        0
380.83/380.97	c  380s |      24 |  4689856 |  3494662 |     1568   5576 |        0 |        0
382.84/382.98	c  382s |      24 |  4712659 |  3510762 |     1568   5595 |        0 |        0
384.83/384.99	c  384s |      24 |  4731072 |  3525362 |     1568   5613 |        0 |        0
386.93/387.00	c  386s |      24 |  4753348 |  3541462 |     1568   5633 |        0 |        0
388.93/389.01	c  388s |      24 |  4775901 |  3558162 |     1568   5653 |        0 |        0
390.93/391.02	c  391s |      24 |  4797827 |  3574862 |     1568   5673 |        0 |        0
392.93/393.02	c  393s |      24 |  4821173 |  3591862 |     1568   5694 |        0 |        0
394.93/395.03	c  395s |      24 |  4843259 |  3608062 |     1568   5714 |        0 |        0
396.92/397.03	c  397s |      24 |  4864356 |  3623762 |     1568   5733 |        0 |        0
398.92/399.04	c  399s |      24 |  4885761 |  3640162 |     1568   5753 |        0 |        0
400.92/401.05	c  401s |      24 |  4905133 |  3654762 |     1568   5770 |        0 |        0
402.92/403.06	c  403s |      24 |  4927485 |  3671462 |     1568   5791 |        0 |        0
404.92/405.06	c  405s |      24 |  4948321 |  3687562 |     1568   5810 |        0 |        0
406.93/407.06	c  407s |      24 |  4970738 |  3703762 |     1568   5830 |        0 |        0
408.92/409.08	c  409s |      24 |  4993763 |  3720062 |     1568   5850 |        0 |        0
410.92/411.08	c  411s |      24 |  5016836 |  3736662 |     1568   5870 |        0 |        0
412.92/413.08	c  413s |      24 |  5039203 |  3753062 |     1568   5890 |        0 |        0
414.92/415.09	c  415s |      24 |  5062474 |  3769962 |     1568   5911 |        0 |        0
416.93/417.09	c  417s |      24 |  5085308 |  3786562 |     1568   5931 |        0 |        0
418.92/419.09	c  419s |      24 |  5105865 |  3802162 |     1568   5950 |        0 |        0
420.92/421.09	c  421s |      24 |  5127199 |  3817862 |     1568   5969 |        0 |        0
422.92/423.09	c  423s |      24 |  5150276 |  3834862 |     1568   5990 |        0 |        0
425.03/425.10	c  425s |      24 |  5172650 |  3851062 |     1568   6010 |        0 |        0
427.03/427.11	c  427s |      24 |  5193577 |  3866162 |     1568   6028 |        0 |        0
429.03/429.11	c  429s |      24 |  5216100 |  3882462 |     1568   6048 |        0 |        0
431.03/431.12	c  431s |      24 |  5239593 |  3899662 |     1568   6069 |        0 |        0
433.03/433.13	c  433s |      24 |  5260869 |  3915662 |     1568   6089 |        0 |        0
435.02/435.13	c  435s |      24 |  5283256 |  3932362 |     1568   6109 |        0 |        0
437.02/437.14	c  437s |      24 |  5304659 |  3948662 |     1568   6129 |        0 |        0
439.02/439.14	c  439s |      24 |  5325115 |  3964162 |     1568   6148 |        0 |        0
441.03/441.15	c  441s |      24 |  5345974 |  3980062 |     1568   6167 |        0 |        0
443.02/443.16	c  443s |      24 |  5367270 |  3995962 |     1568   6187 |        0 |        0
445.02/445.16	c  445s |      24 |  5391333 |  4013262 |     1568   6208 |        0 |        0
447.02/447.17	c  447s |      24 |  5414595 |  4029962 |     1568   6228 |        0 |        0
449.02/449.18	c  449s |      24 |  5436492 |  4045862 |     1568   6248 |        0 |        0
451.03/451.20	c  451s |      24 |  5457541 |  4061962 |     1568   6267 |        0 |        0
453.02/453.20	c  453s |      24 |  5477152 |  4076762 |     1568   6285 |        0 |        0
455.12/455.22	c  455s |      24 |  5497254 |  4091562 |     1568   6304 |        0 |        0
457.12/457.22	c  457s |      24 |  5519011 |  4107962 |     1568   6324 |        0 |        0
459.12/459.23	c  459s |      24 |  5537558 |  4122462 |     1568   6341 |        0 |        0
461.12/461.24	c  461s |      24 |  5558305 |  4137762 |     1568   6360 |        0 |        0
463.12/463.25	c  463s |      24 |  5579855 |  4153662 |     1568   6380 |        0 |        0
465.12/465.26	c  465s |      24 |  5601706 |  4169862 |     1568   6399 |        0 |        0
467.12/467.28	c  467s |      24 |  5624616 |  4186362 |     1568   6420 |        0 |        0
469.12/469.28	c  469s |      24 |  5647098 |  4202662 |     1568   6440 |        0 |        0
471.12/471.29	c  471s |      24 |  5669072 |  4218862 |     1568   6460 |        0 |        0
473.12/473.30	c  473s |      24 |  5690748 |  4234662 |     1568   6479 |        0 |        0
475.12/475.30	c  475s |      24 |  5713952 |  4251762 |     1568   6500 |        0 |        0
477.21/477.31	c  477s |      24 |  5737469 |  4268962 |     1568   6521 |        0 |        0
479.21/479.32	c  479s |      24 |  5761343 |  4286362 |     1568   6542 |        0 |        0
481.22/481.32	c  481s |      24 |  5783615 |  4302762 |     1568   6563 |        0 |        0
483.22/483.32	c  483s |      24 |  5805182 |  4318862 |     1568   6582 |        0 |        0
485.22/485.32	c  485s |      24 |  5828026 |  4334862 |     1568   6602 |        0 |        0
487.23/487.33	c  487s |      24 |  5848609 |  4350362 |     1568   6621 |        0 |        0
489.22/489.33	c  489s |      24 |  5869579 |  4365962 |     1568   6640 |        0 |        0
491.22/491.34	c  491s |      24 |  5891591 |  4381862 |     1568   6660 |        0 |        0
493.22/493.36	c  493s |      24 |  5914255 |  4398162 |     1568   6680 |        0 |        0
495.22/495.37	c  495s |      24 |  5935833 |  4413962 |     1568   6699 |        0 |        0
497.22/497.38	c  497s |      24 |  5957755 |  4430862 |     1568   6719 |        0 |        0
499.22/499.38	c  499s |      24 |  5981557 |  4447562 |     1568   6740 |        0 |        0
501.21/501.39	c  501s |      24 |  6002856 |  4463762 |     1568   6760 |        0 |        0
503.21/503.40	c  503s |      24 |  6023601 |  4479162 |     1568   6779 |        0 |        0
505.31/505.40	c  505s |      24 |  6044743 |  4495362 |     1568   6798 |        0 |        0
507.31/507.41	c  507s |      24 |  6067678 |  4512262 |     1568   6819 |        0 |        0
509.32/509.42	c  509s |      24 |  6089824 |  4528562 |     1568   6839 |        0 |        0
511.31/511.42	c  511s |      24 |  6110545 |  4543762 |     1568   6858 |        0 |        0
513.32/513.43	c  513s |      24 |  6131068 |  4559562 |     1568   6877 |        0 |        0
515.31/515.43	c  515s |      24 |  6149892 |  4573562 |     1568   6894 |        0 |        0
517.31/517.43	c  517s |      24 |  6171628 |  4589462 |     1568   6913 |        0 |        0
519.31/519.44	c  519s |      24 |  6193160 |  4605462 |     1568   6933 |        0 |        0
521.32/521.45	c  521s |      24 |  6215022 |  4621462 |     1568   6953 |        0 |        0
523.31/523.45	c  523s |      24 |  6239134 |  4638862 |     1568   6974 |        0 |        0
525.31/525.46	c  525s |      24 |  6261437 |  4655362 |     1568   6994 |        0 |        0
527.31/527.47	c  527s |      24 |  6282514 |  4671262 |     1568   7013 |        0 |        0
529.31/529.48	c  529s |      24 |  6305417 |  4687462 |     1568   7033 |        0 |        0
531.32/531.48	c  531s |      24 |  6327321 |  4703362 |     1568   7052 |        0 |        0
533.31/533.49	c  533s |      24 |  6350379 |  4719962 |     1568   7073 |        0 |        0
535.31/535.49	c  535s |      24 |  6372435 |  4736062 |     1568   7092 |        0 |        0
537.31/537.49	c  537s |      24 |  6394704 |  4752462 |     1568   7112 |        0 |        0
539.41/539.50	c  539s |      24 |  6416720 |  4768862 |     1568   7132 |        0 |        0
541.41/541.51	c  541s |      24 |  6439615 |  4785262 |     1568   7153 |        0 |        0
543.41/543.52	c  543s |      24 |  6462059 |  4801762 |     1568   7173 |        0 |        0
545.41/545.53	c  545s |      24 |  6484283 |  4817662 |     1568   7192 |        0 |        0
547.41/547.54	c  547s |      24 |  6506781 |  4834262 |     1568   7213 |        0 |        0
549.41/549.55	c  549s |      24 |  6529357 |  4850562 |     1568   7232 |        0 |        0
551.40/551.55	c  551s |      24 |  6549948 |  4865862 |     1568   7251 |        0 |        0
553.40/553.56	c  553s |      24 |  6571854 |  4881762 |     1568   7271 |        0 |        0
555.41/555.58	c  555s |      24 |  6593502 |  4897562 |     1568   7290 |        0 |        0
557.40/557.59	c  557s |      24 |  6615118 |  4913762 |     1568   7310 |        0 |        0
559.50/559.60	c  559s |      24 |  6637550 |  4930262 |     1568   7330 |        0 |        0
561.50/561.61	c  561s |      24 |  6659515 |  4947062 |     1568   7351 |        0 |        0
563.50/563.61	c  563s |      24 |  6681101 |  4963362 |     1568   7370 |        0 |        0
565.50/565.61	c  565s |      24 |  6703269 |  4979862 |     1568   7390 |        0 |        0
567.51/567.62	c  567s |      24 |  6724281 |  4995262 |     1568   7409 |        0 |        0
569.50/569.62	c  569s |      24 |  6747726 |  5011962 |     1568   7430 |        0 |        0
571.50/571.63	c  571s |      24 |  6768041 |  5027562 |     1568   7449 |        0 |        0
573.50/573.63	c  573s |      24 |  6790476 |  5044462 |     1725   7467 |        0 |        0
575.51/575.64	c  575s |      24 |  6813808 |  5061062 |     1725   7486 |        0 |        0
576.01/576.13	c  576s |      25 |  6819230 |  5065098 |     1725   7490 |        0 |        0
578.00/578.13	c  578s |      25 |  6840817 |  5081598 |     1725   7508 |        0 |        0
580.00/580.13	c  580s |      25 |  6862584 |  5097998 |     1725   7526 |        0 |        0
582.00/582.14	c  582s |      25 |  6884594 |  5114598 |     1725   7544 |        0 |        0
584.01/584.14	c  584s |      25 |  6905029 |  5130498 |     1725   7561 |        0 |        0
586.00/586.15	c  586s |      25 |  6926017 |  5146498 |     1725   7579 |        0 |        0
588.00/588.16	c  588s |      25 |  6945955 |  5162098 |     1725   7596 |        0 |        0
590.00/590.17	c  590s |      25 |  6968319 |  5178898 |     1725   7614 |        0 |        0
592.00/592.18	c  592s |      25 |  6987098 |  5193698 |     1725   7631 |        0 |        0
594.00/594.20	c  594s |      25 |  7005809 |  5208098 |     1725   7646 |        0 |        0
596.10/596.20	c  596s |      25 |  7025036 |  5222698 |     1725   7662 |        0 |        0
598.10/598.21	c  598s |      25 |  7045168 |  5237998 |     1725   7679 |        0 |        0
600.10/600.21	c  600s |      25 |  7064199 |  5253098 |     1725   7695 |        0 |        0
602.10/602.22	c  602s |      25 |  7084359 |  5268798 |     1725   7712 |        0 |        0
604.10/604.23	c  604s |      25 |  7104326 |  5284498 |     1725   7729 |        0 |        0
606.10/606.23	c  606s |      25 |  7125372 |  5300498 |     1725   7747 |        0 |        0
608.09/608.24	c  608s |      25 |  7145340 |  5315598 |     1725   7763 |        0 |        0
610.09/610.25	c  610s |      25 |  7165963 |  5331398 |     1725   7781 |        0 |        0
612.09/612.26	c  612s |      25 |  7184181 |  5346198 |     1725   7797 |        0 |        0
614.09/614.27	c  614s |      25 |  7204098 |  5361698 |     1725   7814 |        0 |        0
616.09/616.27	c  616s |      25 |  7224460 |  5376998 |     1725   7831 |        0 |        0
618.10/618.28	c  618s |      25 |  7243550 |  5392098 |     1725   7847 |        0 |        0
620.09/620.29	c  620s |      25 |  7263851 |  5408198 |     1725   7865 |        0 |        0
622.19/622.30	c  622s |      25 |  7284826 |  5423798 |     1725   7882 |        0 |        0
624.19/624.31	c  624s |      25 |  7306424 |  5440098 |     1725   7900 |        0 |        0
626.19/626.31	c  626s |      25 |  7326906 |  5456098 |     1725   7917 |        0 |        0
628.19/628.31	c  628s |      25 |  7348342 |  5472098 |     1725   7935 |        0 |        0
630.20/630.32	c  630s |      25 |  7368771 |  5487998 |     1725   7952 |        0 |        0
632.20/632.32	c  632s |      25 |  7390156 |  5504398 |     1725   7970 |        0 |        0
634.19/634.33	c  634s |      25 |  7412127 |  5520998 |     1725   7989 |        0 |        0
636.19/636.34	c  636s |      25 |  7432726 |  5536798 |     1725   8006 |        0 |        0
638.19/638.34	c  638s |      25 |  7452473 |  5551998 |     1725   8022 |        0 |        0
640.20/640.35	c  640s |      25 |  7475256 |  5568798 |     1725   8041 |        0 |        0
642.19/642.36	c  642s |      25 |  7495457 |  5584498 |     1725   8058 |        0 |        0
644.19/644.37	c  644s |      25 |  7515283 |  5599798 |     1725   8075 |        0 |        0
646.19/646.38	c  646s |      25 |  7535887 |  5615398 |     1725   8092 |        0 |        0
648.19/648.39	c  648s |      25 |  7556894 |  5631498 |     1725   8110 |        0 |        0
650.19/650.39	c  650s |      25 |  7576883 |  5646798 |     1725   8126 |        0 |        0
652.29/652.40	c  652s |      25 |  7598705 |  5663398 |     1725   8145 |        0 |        0
654.29/654.41	c  654s |      25 |  7619022 |  5679198 |     1725   8162 |        0 |        0
656.29/656.42	c  656s |      25 |  7639961 |  5695298 |     1725   8180 |        0 |        0
658.29/658.43	c  658s |      25 |  7661608 |  5711898 |     1725   8198 |        0 |        0
660.29/660.43	c  660s |      25 |  7684978 |  5729398 |     1725   8217 |        0 |        0
662.28/662.44	c  662s |      25 |  7706600 |  5746098 |     1725   8236 |        0 |        0
664.29/664.45	c  664s |      25 |  7727502 |  5761898 |     1725   8253 |        0 |        0
666.28/666.45	c  666s |      25 |  7746647 |  5776398 |     1725   8269 |        0 |        0
668.28/668.45	c  668s |      25 |  7766182 |  5790898 |     1725   8285 |        0 |        0
670.28/670.46	c  670s |      25 |  7783747 |  5804898 |     1725   8300 |        0 |        0
672.28/672.47	c  672s |      25 |  7802000 |  5819598 |     1725   8316 |        0 |        0
674.29/674.47	c  674s |      25 |  7819990 |  5833898 |     1725   8332 |        0 |        0
676.29/676.48	c  676s |      25 |  7839143 |  5848298 |     1725   8348 |        0 |        0
678.29/678.49	c  678s |      25 |  7859872 |  5863798 |     1725   8365 |        0 |        0
680.29/680.49	c  680s |      25 |  7876530 |  5877798 |     1725   8381 |        0 |        0
682.39/682.50	c  682s |      25 |  7897167 |  5893998 |     1725   8398 |        0 |        0
684.39/684.51	c  684s |      25 |  7915493 |  5908598 |     1725   8415 |        0 |        0
686.39/686.52	c  686s |      25 |  7934243 |  5922898 |     1725   8430 |        0 |        0
688.39/688.53	c  688s |      25 |  7953354 |  5937898 |     1725   8447 |        0 |        0
690.38/690.54	c  690s |      25 |  7972778 |  5952398 |     1725   8463 |        0 |        0
692.38/692.56	c  692s |      25 |  7992375 |  5966798 |     1725   8479 |        0 |        0
694.38/694.56	c  694s |      25 |  8011212 |  5980898 |     1725   8494 |        0 |        0
696.38/696.56	c  696s |      25 |  8030069 |  5995198 |     1725   8510 |        0 |        0
698.39/698.58	c  698s |      25 |  8048894 |  6009198 |     1725   8526 |        0 |        0
700.38/700.59	c  700s |      25 |  8068293 |  6023398 |     1725   8541 |        0 |        0
702.48/702.60	c  702s |      25 |  8086818 |  6037398 |     1725   8557 |        0 |        0
704.48/704.60	c  704s |      25 |  8104701 |  6051298 |     1725   8572 |        0 |        0
706.48/706.62	c  706s |      25 |  8121471 |  6064598 |     1725   8587 |        0 |        0
708.48/708.62	c  708s |      25 |  8139098 |  6078598 |     1725   8602 |        0 |        0
710.49/710.63	c  710s |      25 |  8156380 |  6092398 |     1725   8617 |        0 |        0
712.48/712.64	c  712s |      25 |  8175135 |  6106898 |     1725   8633 |        0 |        0
714.48/714.65	c  714s |      25 |  8194191 |  6121598 |     1725   8649 |        0 |        0
716.48/716.65	c  716s |      25 |  8212551 |  6135698 |     1725   8665 |        0 |        0
718.48/718.66	c  718s |      25 |  8230937 |  6149798 |     1725   8680 |        0 |        0
720.48/720.67	c  720s |      25 |  8248994 |  6163998 |     1725   8696 |        0 |        0
722.48/722.68	c  722s |      25 |  8268547 |  6178898 |     1725   8712 |        0 |        0
724.47/724.68	c  724s |      25 |  8288429 |  6193998 |     1725   8729 |        0 |        0
726.47/726.69	c  726s |      25 |  8305363 |  6207498 |     1725   8744 |        0 |        0
728.47/728.69	c  728s |      25 |  8324973 |  6222298 |     1725   8760 |        0 |        0
730.47/730.70	c  730s |      25 |  8344603 |  6237298 |     1725   8777 |        0 |        0
732.58/732.71	c  732s |      25 |  8364812 |  6252698 |     1725   8794 |        0 |        0
734.57/734.72	c  734s |      25 |  8383102 |  6267098 |     1725   8810 |        0 |        0
736.57/736.73	c  736s |      25 |  8402372 |  6281798 |     1725   8826 |        0 |        0
738.57/738.74	c  738s |      25 |  8421668 |  6296798 |     1725   8842 |        0 |        0
740.57/740.74	c  740s |      25 |  8441627 |  6312098 |     1725   8859 |        0 |        0
742.57/742.75	c  742s |      25 |  8460633 |  6327198 |     1725   8876 |        0 |        0
744.59/744.76	c  744s |      25 |  8480528 |  6342198 |     1725   8892 |        0 |        0
746.58/746.77	c  746s |      25 |  8501164 |  6357998 |     1725   8910 |        0 |        0
748.58/748.78	c  748s |      25 |  8520735 |  6372898 |     1725   8926 |        0 |        0
750.58/750.79	c  750s |      25 |  8538906 |  6387298 |     1725   8942 |        0 |        0
752.58/752.79	c  752s |      25 |  8558061 |  6402298 |     1725   8959 |        0 |        0
754.68/754.80	c  754s |      25 |  8577359 |  6417298 |     1725   8975 |        0 |        0
756.58/756.80	c  756s |      25 |  8596589 |  6432298 |     1725   8992 |        0 |        0
758.68/758.81	c  758s |      25 |  8616145 |  6447198 |     1725   9008 |        0 |        0
760.68/760.81	c  760s |      25 |  8635502 |  6461898 |     1725   9025 |        0 |        0
762.68/762.82	c  762s |      25 |  8654388 |  6476498 |     1725   9041 |        0 |        0
764.68/764.83	c  764s |      25 |  8671669 |  6489898 |     1725   9055 |        0 |        0
766.68/766.84	c  766s |      25 |  8689002 |  6503198 |     1725   9070 |        0 |        0
768.67/768.84	c  768s |      25 |  8707644 |  6517498 |     1725   9086 |        0 |        0
770.67/770.84	c  770s |      25 |  8726402 |  6532198 |     1725   9102 |        0 |        0
772.67/772.85	c  772s |      25 |  8745482 |  6547098 |     1725   9118 |        0 |        0
774.67/774.85	c  774s |      25 |  8764534 |  6561798 |     1725   9135 |        0 |        0
776.67/776.85	c  776s |      25 |  8784329 |  6576998 |     1725   9152 |        0 |        0
778.68/778.86	c  778s |      25 |  8804299 |  6592398 |     1725   9169 |        0 |        0
780.67/780.86	c  780s |      25 |  8824125 |  6607498 |     1725   9185 |        0 |        0
782.67/782.87	c  782s |      25 |  8843980 |  6622498 |     1725   9202 |        0 |        0
784.67/784.88	c  784s |      25 |  8863158 |  6637298 |     1725   9218 |        0 |        0
786.67/786.89	c  786s |      25 |  8881467 |  6651598 |     1725   9234 |        0 |        0
788.77/788.90	c  788s |      25 |  8899019 |  6665598 |     1725   9249 |        0 |        0
790.77/790.91	c  790s |      25 |  8917738 |  6679798 |     1725   9265 |        0 |        0
792.77/792.92	c  792s |      25 |  8935166 |  6693298 |     1725   9280 |        0 |        0
794.77/794.93	c  794s |      25 |  8954700 |  6708098 |     1725   9296 |        0 |        0
796.76/796.93	c  796s |      25 |  8974129 |  6723098 |     1725   9313 |        0 |        0
798.76/798.94	c  798s |      25 |  8993007 |  6737598 |     1725   9329 |        0 |        0
800.77/800.95	c  800s |      25 |  9013078 |  6752598 |     1725   9345 |        0 |        0
802.76/802.95	c  802s |      25 |  9032368 |  6767598 |     1725   9362 |        0 |        0
804.76/804.95	c  804s |      25 |  9052889 |  6782898 |     1725   9379 |        0 |        0
806.76/806.95	c  806s |      25 |  9072938 |  6797898 |     1725   9395 |        0 |        0
808.76/808.96	c  808s |      25 |  9092902 |  6813098 |     1725   9412 |        0 |        0
810.76/810.97	c  810s |      25 |  9113088 |  6828298 |     1725   9429 |        0 |        0
812.77/812.98	c  812s |      25 |  9132865 |  6843498 |     1725   9446 |        0 |        0
814.76/814.99	c  814s |      25 |  9152216 |  6858398 |     1725   9462 |        0 |        0
816.76/816.99	c  816s |      25 |  9171598 |  6873098 |     1725   9478 |        0 |        0
818.76/819.00	c  818s |      25 |  9191438 |  6888398 |     1725   9495 |        0 |        0
820.86/821.01	c  820s |      25 |  9211867 |  6903798 |     1725   9512 |        0 |        0
822.86/823.02	c  823s |      25 |  9233639 |  6920098 |     1725   9530 |        0 |        0
824.87/825.02	c  825s |      25 |  9254195 |  6935598 |     1725   9548 |        0 |        0
826.86/827.02	c  827s |      25 |  9273876 |  6950198 |     1725   9564 |        0 |        0
828.86/829.03	c  829s |      25 |  9292268 |  6964298 |     1725   9579 |        0 |        0
830.86/831.04	c  831s |      25 |  9311432 |  6978998 |     1725   9596 |        0 |        0
832.86/833.05	c  833s |      25 |  9331930 |  6994498 |     1725   9613 |        0 |        0
834.86/835.06	c  835s |      25 |  9352712 |  7009998 |     1725   9630 |        0 |        0
836.86/837.07	c  837s |      25 |  9371926 |  7024998 |     1725   9646 |        0 |        0
838.86/839.07	c  839s |      25 |  9386205 |  7037398 |     1725   9660 |        0 |        0
840.86/841.07	c  841s |      25 |  9404027 |  7051398 |     1725   9676 |        0 |        0
842.86/843.08	c  843s |      25 |  9424762 |  7066998 |     1725   9693 |        0 |        0
844.86/845.09	c  845s |      25 |  9444848 |  7082298 |     1725   9710 |        0 |        0
846.87/847.10	c  847s |      25 |  9467179 |  7099398 |     1725   9729 |        0 |        0
848.96/849.11	c  849s |      25 |  9491073 |  7116898 |     1725   9749 |        0 |        0
850.96/851.11	c  851s |      25 |  9515215 |  7134598 |     1725   9769 |        0 |        0
852.96/853.11	c  853s |      25 |  9537354 |  7151598 |     1725   9788 |        0 |        0
854.96/855.12	c  855s |      25 |  9559288 |  7168298 |     1725   9807 |        0 |        0
856.96/857.13	c  857s |      25 |  9579809 |  7183898 |     1725   9824 |        0 |        0
858.97/859.13	c  859s |      25 |  9601498 |  7200098 |     1725   9843 |        0 |        0
860.96/861.13	c  861s |      25 |  9621126 |  7215298 |     1725   9860 |        0 |        0
862.96/863.14	c  863s |      25 |  9641169 |  7231098 |     1725   9878 |        0 |        0
864.95/865.15	c  865s |      25 |  9660816 |  7246298 |     1725   9895 |        0 |        0
866.95/867.16	c  867s |      25 |  9681550 |  7261998 |     1725   9913 |        0 |        0
868.96/869.16	c  869s |      25 |  9702750 |  7277698 |     1725   9931 |        0 |        0
870.95/871.17	c  871s |      25 |  9723906 |  7293598 |     1725   9949 |        0 |        0
872.95/873.17	c  873s |      25 |  9744665 |  7309298 |     1725   9966 |        0 |        0
874.95/875.17	c  875s |      25 |  9765712 |  7324998 |     1725   9984 |        0 |        0
876.95/877.18	c  877s |      25 |  9786153 |  7340298 |     1725  10001 |        0 |        0
878.95/879.18	c  879s |      25 |  9807145 |  7356498 |     1725  10020 |        0 |        0
880.96/881.20	c  881s |      25 |  9828175 |  7372498 |     1725  10037 |        0 |        0
883.05/883.21	c  883s |      25 |  9849892 |  7388898 |     1725  10056 |        0 |        0
885.05/885.21	c  885s |      25 |  9870693 |  7405098 |     1725  10074 |        0 |        0
887.06/887.21	c  887s |      25 |  9890688 |  7420698 |     1725  10092 |        0 |        0
889.06/889.23	c  889s |      25 |  9910180 |  7435998 |     1725  10109 |        0 |        0
891.06/891.24	c  891s |      25 |  9931226 |  7451498 |     1725  10127 |        0 |        0
893.06/893.24	c  893s |      25 |  9950497 |  7466698 |     1725  10144 |        0 |        0
895.06/895.24	c  895s |      25 |  9971695 |  7482898 |     1725  10162 |        0 |        0
897.06/897.25	c  897s |      25 |  9992230 |  7498898 |     1725  10180 |        0 |        0
899.06/899.25	c  899s |      25 | 10013475 |  7514898 |     1725  10198 |        0 |        0
901.06/901.26	c  901s |      25 | 10034424 |  7531198 |     1725  10217 |        0 |        0
903.06/903.26	c  903s |      25 | 10055789 |  7547198 |     1898  10234 |        0 |        0
905.05/905.27	c  905s |      25 | 10076398 |  7562498 |     1898  10250 |        0 |        0
907.05/907.27	c  907s |      25 | 10096795 |  7578098 |     1898  10266 |        0 |        0
909.05/909.28	c  909s |      25 | 10119651 |  7594498 |     1898  10283 |        0 |        0
909.45/909.70	c  909s |      26 | 10123867 |  7597752 |     1898  10286 |        0 |        0
911.55/911.71	c  911s |      26 | 10146132 |  7613252 |     1898  10302 |        0 |        0
913.55/913.71	c  913s |      26 | 10166672 |  7627352 |     1898  10316 |        0 |        0
915.55/915.72	c  915s |      26 | 10189050 |  7643152 |     1898  10332 |        0 |        0
917.55/917.73	c  917s |      26 | 10212583 |  7659552 |     1898  10348 |        0 |        0
919.56/919.74	c  919s |      26 | 10232486 |  7673952 |     1898  10363 |        0 |        0
921.55/921.76	c  921s |      26 | 10252626 |  7688352 |     1898  10377 |        0 |        0
923.55/923.77	c  923s |      26 | 10273029 |  7703052 |     1898  10392 |        0 |        0
925.55/925.77	c  925s |      26 | 10293248 |  7717152 |     1898  10407 |        0 |        0
927.55/927.79	c  927s |      26 | 10312748 |  7731652 |     1898  10422 |        0 |        0
929.55/929.79	c  929s |      26 | 10330483 |  7744352 |     1898  10435 |        0 |        0
931.55/931.80	c  931s |      26 | 10351207 |  7759352 |     1898  10450 |        0 |        0
933.65/933.80	c  933s |      26 | 10373576 |  7774652 |     1898  10466 |        0 |        0
935.65/935.82	c  935s |      26 | 10394521 |  7789352 |     1898  10481 |        0 |        0
937.65/937.82	c  937s |      26 | 10415236 |  7804452 |     1898  10496 |        0 |        0
939.64/939.82	c  939s |      26 | 10435518 |  7817852 |     1898  10510 |        0 |        0
941.64/941.83	c  941s |      26 | 10457260 |  7832352 |     1898  10525 |        0 |        0
943.65/943.84	c  943s |      26 | 10478998 |  7846752 |     1898  10539 |        0 |        0
945.64/945.84	c  945s |      26 | 10498355 |  7860052 |     1898  10553 |        0 |        0
947.64/947.86	c  947s |      26 | 10519875 |  7874152 |     1898  10568 |        0 |        0
949.64/949.87	c  949s |      26 | 10538461 |  7887352 |     1898  10581 |        0 |        0
951.65/951.87	c  951s |      26 | 10562188 |  7903852 |     1898  10598 |        0 |        0
953.65/953.88	c  953s |      26 | 10585256 |  7919752 |     1898  10614 |        0 |        0
955.65/955.88	c  955s |      26 | 10605886 |  7933852 |     1898  10629 |        0 |        0
957.65/957.89	c  957s |      26 | 10627870 |  7948252 |     1898  10643 |        0 |        0
959.75/959.90	c  959s |      26 | 10648436 |  7961452 |     1898  10657 |        0 |        0
961.75/961.91	c  961s |      26 | 10670346 |  7976352 |     1898  10672 |        0 |        0
963.74/963.92	c  963s |      26 | 10691699 |  7990752 |     1898  10687 |        0 |        0
965.75/965.92	c  965s |      26 | 10713257 |  8004952 |     1898  10701 |        0 |        0
967.74/967.93	c  967s |      26 | 10735251 |  8020152 |     1898  10717 |        0 |        0
969.74/969.94	c  969s |      26 | 10758715 |  8035952 |     1898  10733 |        0 |        0
971.74/971.94	c  971s |      26 | 10779985 |  8050852 |     1898  10748 |        0 |        0
973.74/973.94	c  973s |      26 | 10805644 |  8067352 |     1898  10765 |        0 |        0
975.74/975.95	c  975s |      26 | 10829273 |  8083252 |     1898  10781 |        0 |        0
977.74/977.95	c  977s |      26 | 10852940 |  8098952 |     1898  10797 |        0 |        0
979.74/979.96	c  979s |      26 | 10874281 |  8114452 |     1898  10812 |        0 |        0
981.74/981.98	c  981s |      26 | 10895461 |  8129352 |     1898  10828 |        0 |        0
983.74/983.98	c  983s |      26 | 10914467 |  8143052 |     1898  10842 |        0 |        0
985.83/986.00	c  985s |      26 | 10936608 |  8158352 |     1898  10857 |        0 |        0
987.83/988.00	c  987s |      26 | 10956816 |  8172252 |     1898  10871 |        0 |        0
989.84/990.02	c  990s |      26 | 10978141 |  8186152 |     1898  10886 |        0 |        0
991.83/992.03	c  992s |      26 | 11000213 |  8200952 |     1898  10901 |        0 |        0
993.83/994.03	c  994s |      26 | 11023060 |  8216352 |     1898  10916 |        0 |        0
995.83/996.03	c  996s |      26 | 11041313 |  8229452 |     1898  10930 |        0 |        0
997.83/998.04	c  998s |      26 | 11062065 |  8244152 |     1898  10945 |        0 |        0
999.83/1000.05	c 1000s |      26 | 11084588 |  8259752 |     1898  10961 |        0 |        0
1001.83/1002.05	c 1002s |      26 | 11106652 |  8273852 |     1898  10975 |        0 |        0
1003.83/1004.05	c 1004s |      26 | 11126665 |  8287552 |     1898  10989 |        0 |        0
1005.82/1006.06	c 1006s |      26 | 11149138 |  8302852 |     1898  11004 |        0 |        0
1007.82/1008.08	c 1008s |      26 | 11170087 |  8317452 |     1898  11019 |        0 |        0
1009.82/1010.09	c 1010s |      26 | 11191947 |  8332152 |     1898  11034 |        0 |        0
1011.92/1012.10	c 1012s |      26 | 11217083 |  8348252 |     1898  11051 |        0 |        0
1013.92/1014.11	c 1014s |      26 | 11236663 |  8362952 |     1898  11065 |        0 |        0
1015.92/1016.12	c 1016s |      26 | 11256067 |  8377152 |     1898  11080 |        0 |        0
1017.91/1018.13	c 1018s |      26 | 11278967 |  8391552 |     1898  11094 |        0 |        0
1019.91/1020.15	c 1020s |      26 | 11298891 |  8405152 |     1898  11108 |        0 |        0
1021.91/1022.15	c 1022s |      26 | 11319464 |  8419052 |     1898  11123 |        0 |        0
1023.92/1024.16	c 1024s |      26 | 11340302 |  8433052 |     1898  11137 |        0 |        0
1025.91/1026.18	c 1026s |      26 | 11361978 |  8446952 |     1898  11151 |        0 |        0
1027.91/1028.18	c 1028s |      26 | 11383443 |  8461352 |     1898  11166 |        0 |        0
1029.91/1030.18	c 1030s |      26 | 11404472 |  8476352 |     1898  11181 |        0 |        0
1032.01/1032.20	c 1032s |      26 | 11425128 |  8491252 |     1898  11197 |        0 |        0
1034.01/1034.20	c 1034s |      26 | 11444824 |  8504652 |     1898  11210 |        0 |        0
1036.02/1036.21	c 1036s |      26 | 11466581 |  8519452 |     1898  11225 |        0 |        0
1038.01/1038.22	c 1038s |      26 | 11487262 |  8533652 |     1898  11240 |        0 |        0
1040.01/1040.23	c 1040s |      26 | 11507704 |  8547852 |     1898  11254 |        0 |        0
1042.01/1042.23	c 1042s |      26 | 11528358 |  8562152 |     1898  11269 |        0 |        0
1044.01/1044.24	c 1044s |      26 | 11549567 |  8576252 |     1898  11283 |        0 |        0
1046.01/1046.24	c 1046s |      26 | 11572111 |  8590852 |     1898  11298 |        0 |        0
1048.00/1048.25	c 1048s |      26 | 11591512 |  8604552 |     1898  11312 |        0 |        0
1050.00/1050.26	c 1050s |      26 | 11612094 |  8618852 |     1898  11326 |        0 |        0
1052.00/1052.27	c 1052s |      26 | 11633039 |  8634052 |     1898  11342 |        0 |        0
1054.00/1054.27	c 1054s |      26 | 11653258 |  8648652 |     1898  11357 |        0 |        0
1056.00/1056.28	c 1056s |      26 | 11674442 |  8664452 |     1898  11372 |        0 |        0
1058.01/1058.29	c 1058s |      26 | 11693704 |  8678852 |     1898  11387 |        0 |        0
1060.10/1060.30	c 1060s |      26 | 11709607 |  8690952 |     1898  11399 |        0 |        0
1062.09/1062.30	c 1062s |      26 | 11730279 |  8705652 |     1898  11415 |        0 |        0
1064.09/1064.31	c 1064s |      26 | 11749452 |  8720052 |     1898  11429 |        0 |        0
1066.09/1066.32	c 1066s |      26 | 11767910 |  8733252 |     1898  11443 |        0 |        0
1068.09/1068.33	c 1068s |      26 | 11787901 |  8747452 |     1898  11458 |        0 |        0
1070.09/1070.35	c 1070s |      26 | 11804987 |  8760052 |     1898  11470 |        0 |        0
1072.09/1072.35	c 1072s |      26 | 11823245 |  8773652 |     1898  11484 |        0 |        0
1074.09/1074.36	c 1074s |      26 | 11841042 |  8786952 |     1898  11498 |        0 |        0
1076.09/1076.37	c 1076s |      26 | 11860890 |  8800752 |     1898  11512 |        0 |        0
1078.09/1078.37	c 1078s |      26 | 11879284 |  8813852 |     1898  11526 |        0 |        0
1080.10/1080.38	c 1080s |      26 | 11899948 |  8829052 |     1898  11541 |        0 |        0
1082.09/1082.39	c 1082s |      26 | 11918700 |  8843152 |     1898  11556 |        0 |        0
1084.09/1084.39	c 1084s |      26 | 11936513 |  8856352 |     1898  11569 |        0 |        0
1086.19/1086.40	c 1086s |      26 | 11954386 |  8869552 |     1898  11583 |        0 |        0
1088.18/1088.41	c 1088s |      26 | 11972556 |  8883252 |     1898  11597 |        0 |        0
1090.18/1090.43	c 1090s |      26 | 11992144 |  8896852 |     1898  11611 |        0 |        0
1092.19/1092.43	c 1092s |      26 | 12010398 |  8910652 |     1898  11625 |        0 |        0
1094.18/1094.44	c 1094s |      26 | 12030489 |  8925352 |     1898  11640 |        0 |        0
1096.18/1096.44	c 1096s |      26 | 12053452 |  8940752 |     1898  11656 |        0 |        0
1098.17/1098.46	c 1098s |      26 | 12073398 |  8954852 |     1898  11670 |        0 |        0
1100.17/1100.46	c 1100s |      26 | 12092205 |  8967652 |     1898  11683 |        0 |        0
1102.17/1102.46	c 1102s |      26 | 12111227 |  8980952 |     1898  11697 |        0 |        0
1104.18/1104.46	c 1104s |      26 | 12130531 |  8993952 |     1898  11710 |        0 |        0
1106.17/1106.47	c 1106s |      26 | 12149521 |  9007452 |     1898  11724 |        0 |        0
1108.17/1108.48	c 1108s |      26 | 12166627 |  9019552 |     1898  11736 |        0 |        0
1110.17/1110.49	c 1110s |      26 | 12183267 |  9031352 |     1898  11748 |        0 |        0
1112.17/1112.49	c 1112s |      26 | 12200724 |  9043952 |     1898  11761 |        0 |        0
1114.27/1114.50	c 1114s |      26 | 12219465 |  9057052 |     1898  11775 |        0 |        0
1116.28/1116.50	c 1116s |      26 | 12238135 |  9070152 |     1898  11788 |        0 |        0
1118.27/1118.52	c 1118s |      26 | 12256301 |  9082752 |     1898  11801 |        0 |        0
1120.26/1120.52	c 1120s |      26 | 12276378 |  9096452 |     1898  11815 |        0 |        0
1122.26/1122.53	c 1122s |      26 | 12293026 |  9109152 |     1898  11828 |        0 |        0
1124.26/1124.53	c 1124s |      26 | 12310443 |  9121852 |     1898  11841 |        0 |        0
1126.27/1126.54	c 1126s |      26 | 12331712 |  9136252 |     1898  11856 |        0 |        0
1128.26/1128.55	c 1128s |      26 | 12352281 |  9150852 |     1898  11871 |        0 |        0
1130.26/1130.56	c 1130s |      26 | 12370208 |  9164952 |     1898  11885 |        0 |        0
1132.25/1132.56	c 1132s |      26 | 12391830 |  9180752 |     1898  11902 |        0 |        0
1134.25/1134.57	c 1134s |      26 | 12412605 |  9196152 |     1898  11917 |        0 |        0
1136.25/1136.58	c 1136s |      26 | 12434431 |  9211952 |     1898  11933 |        0 |        0
1138.25/1138.59	c 1138s |      26 | 12455534 |  9227452 |     1898  11949 |        0 |        0
1140.34/1140.60	c 1140s |      26 | 12476122 |  9242152 |     1898  11964 |        0 |        0
1142.34/1142.61	c 1142s |      26 | 12496121 |  9257652 |     1898  11980 |        0 |        0
1144.35/1144.61	c 1144s |      26 | 12517613 |  9273652 |     1898  11997 |        0 |        0
1146.35/1146.62	c 1146s |      26 | 12539515 |  9289552 |     1898  12013 |        0 |        0
1148.35/1148.63	c 1148s |      26 | 12561609 |  9305952 |     1898  12030 |        0 |        0
1150.36/1150.64	c 1150s |      26 | 12582660 |  9321052 |     1898  12045 |        0 |        0
1152.35/1152.64	c 1152s |      26 | 12604601 |  9336652 |     1898  12061 |        0 |        0
1154.35/1154.66	c 1154s |      26 | 12626091 |  9352852 |     1898  12077 |        0 |        0
1156.35/1156.66	c 1156s |      26 | 12645636 |  9367952 |     1898  12093 |        0 |        0
1158.34/1158.66	c 1158s |      26 | 12665429 |  9382652 |     1898  12107 |        0 |        0
1160.35/1160.67	c 1160s |      26 | 12684448 |  9397252 |     1898  12122 |        0 |        0
1162.34/1162.67	c 1162s |      26 | 12702871 |  9410952 |     1898  12136 |        0 |        0
1164.34/1164.69	c 1164s |      26 | 12721692 |  9424052 |     1898  12150 |        0 |        0
1166.44/1166.70	c 1166s |      26 | 12742239 |  9437852 |     1898  12164 |        0 |        0
1168.44/1168.70	c 1168s |      26 | 12760610 |  9450952 |     1898  12177 |        0 |        0
1170.44/1170.71	c 1170s |      26 | 12781363 |  9465452 |     1898  12192 |        0 |        0
1172.44/1172.71	c 1172s |      26 | 12795812 |  9477852 |     1898  12205 |        0 |        0
1174.43/1174.72	c 1174s |      26 | 12814640 |  9492352 |     1898  12219 |        0 |        0
1176.43/1176.73	c 1176s |      26 | 12837037 |  9507952 |     1898  12235 |        0 |        0
1178.43/1178.74	c 1178s |      26 | 12857660 |  9522552 |     1898  12250 |        0 |        0
1180.43/1180.74	c 1180s |      26 | 12878720 |  9538252 |     1898  12266 |        0 |        0
1182.43/1182.74	c 1182s |      26 | 12900796 |  9553852 |     1898  12282 |        0 |        0
1184.43/1184.75	c 1184s |      26 | 12922025 |  9569252 |     1898  12297 |        0 |        0
1186.43/1186.76	c 1186s |      26 | 12939877 |  9583052 |     1898  12311 |        0 |        0
1188.42/1188.77	c 1188s |      26 | 12960781 |  9598452 |     1898  12327 |        0 |        0
1190.42/1190.77	c 1190s |      26 | 12981775 |  9612752 |     1898  12342 |        0 |        0
1192.42/1192.78	c 1192s |      26 | 13003261 |  9627952 |     1898  12357 |        0 |        0
1194.43/1194.79	c 1194s |      26 | 13022460 |  9641352 |     1898  12371 |        0 |        0
1196.53/1196.80	c 1196s |      26 | 13043753 |  9655852 |     1898  12386 |        0 |        0
1198.52/1198.81	c 1198s |      26 | 13061654 |  9668952 |     1898  12399 |        0 |        0
1200.52/1200.82	c 1200s |      26 | 13081449 |  9682552 |     1898  12413 |        0 |        0
1202.52/1202.83	c 1202s |      26 | 13102895 |  9696952 |     1898  12428 |        0 |        0
1204.52/1204.83	c 1204s |      26 | 13122495 |  9710252 |     1898  12442 |        0 |        0
1206.52/1206.84	c 1206s |      26 | 13141240 |  9724352 |     1898  12456 |        0 |        0
1208.51/1208.84	c 1208s |      26 | 13162083 |  9738552 |     1898  12471 |        0 |        0
1210.51/1210.85	c 1210s |      26 | 13180805 |  9751952 |     1898  12484 |        0 |        0
1212.51/1212.86	c 1212s |      26 | 13200519 |  9766152 |     1898  12499 |        0 |        0
1214.51/1214.87	c 1214s |      26 | 13221367 |  9780452 |     1898  12513 |        0 |        0
1216.51/1216.87	c 1216s |      26 | 13243225 |  9794552 |     1898  12528 |        0 |        0
1218.51/1218.88	c 1218s |      26 | 13265292 |  9808852 |     1898  12543 |        0 |        0
1220.50/1220.89	c 1220s |      26 | 13289562 |  9824152 |     1898  12558 |        0 |        0
1222.61/1222.90	c 1222s |      26 | 13307697 |  9837052 |     1898  12571 |        0 |        0
1224.61/1224.90	c 1224s |      26 | 13327411 |  9850552 |     1898  12585 |        0 |        0
1226.61/1226.91	c 1226s |      26 | 13347468 |  9864352 |     1898  12599 |        0 |        0
1228.60/1228.91	c 1228s |      26 | 13369073 |  9878852 |     1898  12614 |        0 |        0
1230.61/1230.92	c 1230s |      26 | 13386854 |  9891452 |     1898  12627 |        0 |        0
1232.60/1232.93	c 1232s |      26 | 13409269 |  9905852 |     1898  12642 |        0 |        0
1234.60/1234.93	c 1234s |      26 | 13431416 |  9920752 |     1898  12657 |        0 |        0
1236.60/1236.93	c 1236s |      26 | 13454835 |  9936152 |     1898  12673 |        0 |        0
1238.59/1238.95	c 1238s |      26 | 13475905 |  9950852 |     1898  12688 |        0 |        0
1240.60/1240.96	c 1240s |      26 | 13496145 |  9964752 |     1898  12702 |        0 |        0
1242.59/1242.97	c 1242s |      26 | 13519163 |  9980052 |     1898  12718 |        0 |        0
1244.59/1244.98	c 1244s |      26 | 13539561 |  9994652 |     1898  12733 |        0 |        0
1246.59/1246.99	c 1246s |      26 | 13556878 | 10007552 |     1898  12746 |        0 |        0
1248.59/1248.99	c 1248s |      26 | 13575110 | 10021052 |     1898  12760 |        0 |        0
1250.69/1251.00	c 1250s |      26 | 13596586 | 10036252 |     1898  12775 |        0 |        0
1252.69/1253.01	c 1252s |      26 | 13615954 | 10050952 |     1898  12791 |        0 |        0
1254.69/1255.01	c 1255s |      26 | 13636587 | 10065552 |     1898  12805 |        0 |        0
1256.69/1257.02	c 1257s |      26 | 13657340 | 10079152 |     1898  12819 |        0 |        0
1258.68/1259.02	c 1259s |      26 | 13676637 | 10092752 |     1898  12833 |        0 |        0
1260.68/1261.03	c 1261s |      26 | 13695472 | 10106152 |     1898  12847 |        0 |        0
1262.68/1263.03	c 1263s |      26 | 13716184 | 10120052 |     1898  12861 |        0 |        0
1264.69/1265.04	c 1265s |      26 | 13735536 | 10133852 |     1898  12876 |        0 |        0
1266.68/1267.05	c 1267s |      26 | 13757236 | 10148852 |     1898  12891 |        0 |        0
1268.67/1269.06	c 1269s |      26 | 13779494 | 10164052 |     1898  12907 |        0 |        0
1270.67/1271.07	c 1271s |      26 | 13799060 | 10177952 |     1898  12921 |        0 |        0
1272.67/1273.08	c 1273s |      26 | 13818933 | 10192052 |     1898  12935 |        0 |        0
1274.68/1275.08	c 1275s |      26 | 13839133 | 10206352 |     1898  12950 |        0 |        0
1276.67/1277.09	c 1277s |      26 | 13859081 | 10220352 |     1898  12964 |        0 |        0
1278.76/1279.10	c 1279s |      26 | 13879694 | 10234952 |     1898  12979 |        0 |        0
1280.76/1281.11	c 1281s |      26 | 13900964 | 10250152 |     1898  12995 |        0 |        0
1282.76/1283.11	c 1283s |      26 | 13919188 | 10263752 |     1898  13009 |        0 |        0
1284.76/1285.13	c 1285s |      26 | 13936245 | 10276452 |     1898  13022 |        0 |        0
1286.76/1287.14	c 1287s |      26 | 13956306 | 10290952 |     1898  13036 |        0 |        0
1288.76/1289.15	c 1289s |      26 | 13975887 | 10305552 |     1898  13051 |        0 |        0
1290.76/1291.15	c 1291s |      26 | 13998229 | 10320752 |     1898  13067 |        0 |        0
1292.76/1293.16	c 1293s |      26 | 14018399 | 10335552 |     1898  13082 |        0 |        0
1294.77/1295.18	c 1295s |      26 | 14035433 | 10348752 |     1898  13096 |        0 |        0
1296.76/1297.18	c 1297s |      26 | 14055053 | 10363452 |     1898  13111 |        0 |        0
1298.77/1299.19	c 1299s |      26 | 14077014 | 10378852 |     1898  13126 |        0 |        0
1300.76/1301.19	c 1301s |      26 | 14098209 | 10394152 |     1898  13142 |        0 |        0
1302.76/1303.19	c 1303s |      26 | 14118220 | 10408652 |     1898  13157 |        0 |        0
1304.86/1305.20	c 1305s |      26 | 14138381 | 10422952 |     1898  13171 |        0 |        0
1306.85/1307.20	c 1307s |      26 | 14156532 | 10436552 |     1898  13185 |        0 |        0
1308.85/1309.21	c 1309s |      26 | 14177429 | 10451652 |     1898  13201 |        0 |        0
1310.86/1311.22	c 1311s |      26 | 14198538 | 10466352 |     1898  13216 |        0 |        0
1312.85/1313.23	c 1313s |      26 | 14220161 | 10480952 |     1898  13231 |        0 |        0
1314.85/1315.24	c 1315s |      26 | 14240808 | 10494752 |     1898  13245 |        0 |        0
1316.85/1317.24	c 1317s |      26 | 14262200 | 10509652 |     1898  13260 |        0 |        0
1318.85/1319.24	c 1319s |      26 | 14282018 | 10522952 |     1898  13274 |        0 |        0
1320.85/1321.25	c 1321s |      26 | 14305359 | 10537952 |     1898  13289 |        0 |        0
1322.84/1323.25	c 1323s |      26 | 14329230 | 10552752 |     1898  13305 |        0 |        0
1324.84/1325.26	c 1325s |      26 | 14346761 | 10566152 |     1898  13318 |        0 |        0
1326.84/1327.26	c 1327s |      26 | 14363873 | 10578852 |     1898  13331 |        0 |        0
1328.84/1329.27	c 1329s |      26 | 14384666 | 10593252 |     1898  13346 |        0 |        0
1330.84/1331.27	c 1331s |      26 | 14405476 | 10607552 |     1898  13361 |        0 |        0
1332.84/1333.27	c 1333s |      26 | 14428824 | 10623252 |     1898  13377 |        0 |        0
1334.84/1335.28	c 1335s |      26 | 14448059 | 10637752 |     1898  13392 |        0 |        0
1336.83/1337.28	c 1337s |      26 | 14471150 | 10652852 |     1898  13407 |        0 |        0
1338.83/1339.28	c 1339s |      26 | 14493078 | 10667552 |     1898  13422 |        0 |        0
1340.83/1341.29	c 1341s |      26 | 14514251 | 10682252 |     1898  13437 |        0 |        0
1342.93/1343.30	c 1343s |      26 | 14535349 | 10697252 |     1898  13452 |        0 |        0
1344.94/1345.31	c 1345s |      26 | 14555424 | 10712152 |     1898  13467 |        0 |        0
1346.92/1347.32	c 1347s |      26 | 14577297 | 10726152 |     1898  13482 |        0 |        0
1348.92/1349.33	c 1349s |      26 | 14598609 | 10740652 |     1898  13497 |        0 |        0
1350.92/1351.34	c 1351s |      26 | 14621180 | 10755552 |     1898  13512 |        0 |        0
1352.92/1353.34	c 1353s |      26 | 14642765 | 10769052 |     1898  13526 |        0 |        0
1354.93/1355.36	c 1355s |      26 | 14664127 | 10782352 |     1898  13539 |        0 |        0
1356.92/1357.37	c 1357s |      26 | 14686439 | 10795852 |     1898  13553 |        0 |        0
1358.92/1359.37	c 1359s |      26 | 14706287 | 10809552 |     1898  13567 |        0 |        0
1360.92/1361.38	c 1361s |      26 | 14725773 | 10822852 |     1898  13581 |        0 |        0
1362.91/1363.39	c 1363s |      26 | 14745442 | 10836552 |     1898  13595 |        0 |        0
1364.91/1365.39	c 1365s |      26 | 14762502 | 10849252 |     1898  13608 |        0 |        0
1366.92/1367.40	c 1367s |      26 | 14780819 | 10862752 |     1898  13622 |        0 |        0
1369.01/1369.41	c 1369s |      26 | 14798468 | 10875352 |     1898  13635 |        0 |        0
1371.01/1371.42	c 1371s |      26 | 14815304 | 10887752 |     1898  13647 |        0 |        0
1373.00/1373.43	c 1373s |      26 | 14834184 | 10900552 |     1898  13660 |        0 |        0
1375.01/1375.44	c 1375s |      26 | 14854244 | 10913652 |     1898  13674 |        0 |        0
1377.01/1377.45	c 1377s |      26 | 14872684 | 10926652 |     1898  13687 |        0 |        0
1379.01/1379.46	c 1379s |      26 | 14886556 | 10938552 |     1898  13700 |        0 |        0
1381.01/1381.46	c 1381s |      26 | 14904072 | 10952452 |     1898  13714 |        0 |        0
1383.01/1383.47	c 1383s |      26 | 14924957 | 10967952 |     1898  13730 |        0 |        0
1385.00/1385.48	c 1385s |      26 | 14947214 | 10983552 |     1898  13746 |        0 |        0
1387.00/1387.49	c 1387s |      26 | 14967626 | 10997652 |     1898  13760 |        0 |        0
1389.10/1389.50	c 1389s |      26 | 14988049 | 11012352 |     1898  13775 |        0 |        0
1391.10/1391.51	c 1391s |      26 | 15006481 | 11026652 |     1898  13790 |        0 |        0
1393.10/1393.52	c 1393s |      26 | 15026477 | 11041152 |     1898  13805 |        0 |        0
1395.10/1395.52	c 1395s |      26 | 15048771 | 11056252 |     1898  13820 |        0 |        0
1397.09/1397.53	c 1397s |      26 | 15068134 | 11070252 |     1898  13834 |        0 |        0
1399.09/1399.54	c 1399s |      26 | 15087829 | 11084452 |     1898  13849 |        0 |        0
1401.10/1401.55	c 1401s |      26 | 15107923 | 11098552 |     1898  13863 |        0 |        0
1403.09/1403.56	c 1403s |      26 | 15125847 | 11111452 |     1898  13876 |        0 |        0
1405.09/1405.56	c 1405s |      26 | 15145591 | 11124852 |     1898  13890 |        0 |        0
1407.09/1407.57	c 1407s |      26 | 15163988 | 11137852 |     1898  13903 |        0 |        0
1409.09/1409.57	c 1409s |      26 | 15183293 | 11151052 |     1898  13917 |        0 |        0
1411.09/1411.57	c 1411s |      26 | 15203850 | 11165652 |     1898  13932 |        0 |        0
1413.09/1413.58	c 1413s |      26 | 15222382 | 11179552 |     1898  13946 |        0 |        0
1415.09/1415.58	c 1415s |      26 | 15242219 | 11194152 |     1898  13961 |        0 |        0
1417.08/1417.59	c 1417s |      26 | 15263447 | 11208752 |     1898  13976 |        0 |        0
1419.08/1419.59	c 1419s |      26 | 15284435 | 11223652 |     1898  13991 |        0 |        0
1421.08/1421.59	c 1421s |      26 | 15303548 | 11237552 |     1898  14006 |        0 |        0
1423.18/1423.60	c 1423s |      26 | 15323550 | 11251252 |     1898  14020 |        0 |        0
1425.19/1425.61	c 1425s |      26 | 15341941 | 11265452 |     1898  14034 |        0 |        0
1427.18/1427.62	c 1427s |      26 | 15360944 | 11280052 |     1898  14049 |        0 |        0
1429.17/1429.63	c 1429s |      26 | 15380601 | 11294952 |     1898  14064 |        0 |        0
1431.17/1431.64	c 1431s |      26 | 15399936 | 11308652 |     1898  14078 |        0 |        0
1433.17/1433.64	c 1433s |      26 | 15418924 | 11322052 |     2088  14091 |        0 |        0
1435.18/1435.65	c 1435s |      26 | 15438619 | 11335952 |     2088  14104 |        0 |        0
1437.17/1437.66	c 1437s |      26 | 15458627 | 11349952 |     2088  14117 |        0 |        0
1439.17/1439.67	c 1439s |      26 | 15479174 | 11364452 |     2088  14131 |        0 |        0
1441.17/1441.67	c 1441s |      26 | 15497726 | 11377952 |     2088  14144 |        0 |        0
1443.17/1443.67	c 1443s |      26 | 15514547 | 11390452 |     2088  14155 |        0 |        0
1444.17/1444.67	c 1444s |      27 | 15523120 | 11396733 |     2088  14161 |        0 |        0
1446.17/1446.69	c 1446s |      27 | 15543524 | 11411933 |     2088  14175 |        0 |        0
1448.16/1448.70	c 1448s |      27 | 15563415 | 11426333 |     2088  14188 |        0 |        0
1450.26/1450.71	c 1450s |      27 | 15581589 | 11439833 |     2088  14201 |        0 |        0
1452.26/1452.72	c 1452s |      27 | 15599436 | 11453133 |     2088  14213 |        0 |        0
1454.26/1454.73	c 1454s |      27 | 15619081 | 11467733 |     2088  14227 |        0 |        0
1456.26/1456.73	c 1456s |      27 | 15638951 | 11482733 |     2088  14240 |        0 |        0
1458.26/1458.73	c 1458s |      27 | 15659340 | 11498033 |     2088  14254 |        0 |        0
1460.26/1460.74	c 1460s |      27 | 15679162 | 11513233 |     2088  14268 |        0 |        0
1462.26/1462.75	c 1462s |      27 | 15699420 | 11528533 |     2088  14282 |        0 |        0
1464.26/1464.75	c 1464s |      27 | 15719079 | 11543833 |     2088  14296 |        0 |        0
1466.26/1466.75	c 1466s |      27 | 15739085 | 11559033 |     2088  14310 |        0 |        0
1468.25/1468.76	c 1468s |      27 | 15759906 | 11574633 |     2088  14325 |        0 |        0
1470.27/1470.76	c 1470s |      27 | 15779704 | 11589933 |     2088  14339 |        0 |        0
1472.26/1472.77	c 1472s |      27 | 15799800 | 11605233 |     2088  14353 |        0 |        0
1474.26/1474.78	c 1474s |      27 | 15818663 | 11620233 |     2088  14367 |        0 |        0
1476.26/1476.78	c 1476s |      27 | 15839486 | 11635533 |     2088  14381 |        0 |        0
1478.25/1478.78	c 1478s |      27 | 15858867 | 11650433 |     2088  14394 |        0 |        0
1480.26/1480.79	c 1480s |      27 | 15879964 | 11665933 |     2088  14409 |        0 |        0
1482.25/1482.80	c 1482s |      27 | 15899215 | 11680833 |     2088  14423 |        0 |        0
1484.35/1484.81	c 1484s |      27 | 15918492 | 11695833 |     2088  14436 |        0 |        0
1486.35/1486.82	c 1486s |      27 | 15937939 | 11710533 |     2088  14450 |        0 |        0
1488.35/1488.83	c 1488s |      27 | 15957514 | 11725733 |     2088  14464 |        0 |        0
1490.35/1490.84	c 1490s |      27 | 15977962 | 11741033 |     2088  14478 |        0 |        0
1492.35/1492.85	c 1492s |      27 | 15996909 | 11755633 |     2088  14492 |        0 |        0
1494.34/1494.86	c 1494s |      27 | 16016181 | 11770633 |     2088  14506 |        0 |        0
1496.34/1496.86	c 1496s |      27 | 16034693 | 11784833 |     2088  14519 |        0 |        0
1498.34/1498.86	c 1498s |      27 | 16053660 | 11799733 |     2088  14533 |        0 |        0
1500.34/1500.87	c 1500s |      27 | 16074222 | 11815133 |     2088  14547 |        0 |        0
1502.34/1502.88	c 1502s |      27 | 16090430 | 11828533 |     2088  14560 |        0 |        0
1504.35/1504.90	c 1504s |      27 | 16109341 | 11843333 |     2088  14573 |        0 |        0
1506.44/1506.90	c 1506s |      27 | 16129214 | 11858433 |     2088  14587 |        0 |        0
1508.43/1508.91	c 1508s |      27 | 16149230 | 11873033 |     2088  14601 |        0 |        0
1510.43/1510.91	c 1510s |      27 | 16167492 | 11887133 |     2088  14614 |        0 |        0
1512.43/1512.92	c 1512s |      27 | 16187839 | 11902133 |     2088  14628 |        0 |        0
1514.43/1514.93	c 1514s |      27 | 16207658 | 11917033 |     2088  14641 |        0 |        0
1516.44/1516.94	c 1516s |      27 | 16225225 | 11931033 |     2088  14654 |        0 |        0
1518.43/1518.94	c 1518s |      27 | 16242751 | 11944333 |     2088  14667 |        0 |        0
1520.43/1520.94	c 1520s |      27 | 16261518 | 11958333 |     2088  14679 |        0 |        0
1522.42/1522.95	c 1522s |      27 | 16278549 | 11971533 |     2088  14692 |        0 |        0
1524.42/1524.96	c 1524s |      27 | 16296728 | 11985033 |     2088  14704 |        0 |        0
1526.43/1526.96	c 1526s |      27 | 16314132 | 11998133 |     2088  14716 |        0 |        0
1528.42/1528.97	c 1528s |      27 | 16332360 | 12011833 |     2088  14729 |        0 |        0
1530.42/1530.98	c 1530s |      27 | 16350090 | 12025233 |     2088  14741 |        0 |        0
1532.42/1532.98	c 1532s |      27 | 16368226 | 12038933 |     2088  14754 |        0 |        0
1534.42/1534.99	c 1534s |      27 | 16385917 | 12052533 |     2088  14767 |        0 |        0
1536.52/1537.00	c 1536s |      27 | 16404129 | 12066333 |     2088  14779 |        0 |        0
1538.52/1539.02	c 1539s |      27 | 16422273 | 12080333 |     2088  14793 |        0 |        0
1540.51/1541.03	c 1541s |      27 | 16441497 | 12095233 |     2088  14806 |        0 |        0
1542.51/1543.04	c 1543s |      27 | 16461645 | 12110333 |     2088  14820 |        0 |        0
1544.51/1545.05	c 1545s |      27 | 16481009 | 12125133 |     2088  14834 |        0 |        0
1546.51/1547.06	c 1547s |      27 | 16500803 | 12140133 |     2088  14848 |        0 |        0
1548.51/1549.06	c 1549s |      27 | 16519537 | 12154433 |     2088  14861 |        0 |        0
1550.51/1551.07	c 1551s |      27 | 16539751 | 12169433 |     2088  14875 |        0 |        0
1552.51/1553.07	c 1553s |      27 | 16559772 | 12184533 |     2088  14889 |        0 |        0
1554.60/1555.10	c 1555s |      27 | 16576674 | 12197733 |     2088  14902 |        0 |        0
1556.60/1557.10	c 1557s |      27 | 16592790 | 12210233 |     2088  14913 |        0 |        0
1558.60/1559.11	c 1559s |      27 | 16609918 | 12223733 |     2088  14926 |        0 |        0
1560.61/1561.12	c 1561s |      27 | 16627784 | 12237433 |     2088  14938 |        0 |        0
1562.62/1563.13	c 1563s |      27 | 16645375 | 12250733 |     2088  14951 |        0 |        0
1564.61/1565.13	c 1565s |      27 | 16662754 | 12263933 |     2088  14963 |        0 |        0
1566.61/1567.13	c 1567s |      27 | 16681099 | 12277733 |     2088  14976 |        0 |        0
1568.60/1569.14	c 1569s |      27 | 16700175 | 12292133 |     2088  14989 |        0 |        0
1570.60/1571.14	c 1571s |      27 | 16718582 | 12305933 |     2088  15002 |        0 |        0
1572.61/1573.15	c 1573s |      27 | 16737039 | 12319733 |     2088  15015 |        0 |        0
1574.60/1575.16	c 1575s |      27 | 16755371 | 12333833 |     2088  15028 |        0 |        0
1576.60/1577.16	c 1577s |      27 | 16774111 | 12348033 |     2088  15041 |        0 |        0
1578.60/1579.17	c 1579s |      27 | 16791242 | 12361533 |     2088  15053 |        0 |        0
1580.60/1581.18	c 1581s |      27 | 16808042 | 12374933 |     2088  15066 |        0 |        0
1582.60/1583.19	c 1583s |      27 | 16824682 | 12388333 |     2088  15078 |        0 |        0
1584.60/1585.19	c 1585s |      27 | 16842049 | 12402333 |     2088  15091 |        0 |        0
1586.70/1587.20	c 1587s |      27 | 16858581 | 12415633 |     2088  15103 |        0 |        0
1588.69/1589.21	c 1589s |      27 | 16874228 | 12428133 |     2088  15115 |        0 |        0
1590.69/1591.23	c 1591s |      27 | 16892171 | 12441733 |     2088  15127 |        0 |        0
1592.69/1593.23	c 1593s |      27 | 16910856 | 12455833 |     2088  15140 |        0 |        0
1594.69/1595.24	c 1595s |      27 | 16929342 | 12469433 |     2088  15153 |        0 |        0
1596.70/1597.26	c 1597s |      27 | 16948016 | 12483433 |     2088  15166 |        0 |        0
1598.68/1599.26	c 1599s |      27 | 16965430 | 12496633 |     2088  15178 |        0 |        0
1600.68/1601.27	c 1601s |      27 | 16982668 | 12509933 |     2088  15191 |        0 |        0
1602.68/1603.28	c 1603s |      27 | 16999662 | 12523133 |     2088  15203 |        0 |        0
1604.68/1605.29	c 1605s |      27 | 17019084 | 12537633 |     2088  15217 |        0 |        0
1606.69/1607.29	c 1607s |      27 | 17038159 | 12551833 |     2088  15230 |        0 |        0
1608.78/1609.31	c 1609s |      27 | 17056257 | 12565733 |     2088  15242 |        0 |        0
1610.78/1611.32	c 1611s |      27 | 17072853 | 12579133 |     2088  15255 |        0 |        0
1612.78/1613.33	c 1613s |      27 | 17090468 | 12592733 |     2088  15267 |        0 |        0
1614.78/1615.33	c 1615s |      27 | 17105910 | 12605133 |     2088  15279 |        0 |        0
1616.77/1617.35	c 1617s |      27 | 17122355 | 12617733 |     2088  15291 |        0 |        0
1618.78/1619.35	c 1619s |      27 | 17139099 | 12630633 |     2088  15303 |        0 |        0
1620.77/1621.36	c 1621s |      27 | 17157260 | 12644433 |     2088  15315 |        0 |        0
1622.77/1623.36	c 1623s |      27 | 17173672 | 12657533 |     2088  15328 |        0 |        0
1624.77/1625.37	c 1625s |      27 | 17194310 | 12672833 |     2088  15342 |        0 |        0
1626.77/1627.37	c 1627s |      27 | 17214335 | 12688333 |     2088  15356 |        0 |        0
1628.77/1629.38	c 1629s |      27 | 17234813 | 12703933 |     2088  15371 |        0 |        0
1630.78/1631.39	c 1631s |      27 | 17254119 | 12718933 |     2088  15385 |        0 |        0
1632.77/1633.39	c 1633s |      27 | 17274998 | 12734733 |     2088  15399 |        0 |        0
1634.87/1635.40	c 1635s |      27 | 17296050 | 12750333 |     2088  15414 |        0 |        0
1636.87/1637.42	c 1637s |      27 | 17317004 | 12765633 |     2088  15428 |        0 |        0
1638.87/1639.43	c 1639s |      27 | 17335262 | 12779533 |     2088  15441 |        0 |        0
1640.87/1641.44	c 1641s |      27 | 17353699 | 12793333 |     2088  15454 |        0 |        0
1642.87/1643.44	c 1643s |      27 | 17373590 | 12808233 |     2088  15468 |        0 |        0
1644.87/1645.44	c 1645s |      27 | 17393171 | 12822933 |     2088  15482 |        0 |        0
1646.86/1647.45	c 1647s |      27 | 17411789 | 12836733 |     2088  15495 |        0 |        0
1648.87/1649.46	c 1649s |      27 | 17430165 | 12851033 |     2088  15508 |        0 |        0
1650.87/1651.46	c 1651s |      27 | 17450905 | 12866333 |     2088  15523 |        0 |        0
1652.88/1653.46	c 1653s |      27 | 17471344 | 12881333 |     2088  15537 |        0 |        0
1654.87/1655.47	c 1655s |      27 | 17490874 | 12895633 |     2088  15550 |        0 |        0
1656.87/1657.48	c 1657s |      27 | 17508352 | 12908733 |     2088  15563 |        0 |        0
1658.87/1659.48	c 1659s |      27 | 17527006 | 12922733 |     2088  15576 |        0 |        0
1660.87/1661.49	c 1661s |      27 | 17545760 | 12936933 |     2088  15589 |        0 |        0
1662.97/1663.50	c 1663s |      27 | 17563340 | 12950333 |     2088  15602 |        0 |        0
1664.97/1665.50	c 1665s |      27 | 17581166 | 12964333 |     2088  15615 |        0 |        0
1666.97/1667.51	c 1667s |      27 | 17597129 | 12976633 |     2088  15627 |        0 |        0
1668.97/1669.51	c 1669s |      27 | 17614076 | 12990133 |     2088  15639 |        0 |        0
1670.97/1671.53	c 1671s |      27 | 17631902 | 13003933 |     2088  15652 |        0 |        0
1672.97/1673.53	c 1673s |      27 | 17651361 | 13018133 |     2088  15666 |        0 |        0
1674.97/1675.55	c 1675s |      27 | 17670558 | 13032133 |     2088  15679 |        0 |        0
1676.97/1677.56	c 1677s |      27 | 17688048 | 13045633 |     2088  15691 |        0 |        0
1678.96/1679.57	c 1679s |      27 | 17707328 | 13059833 |     2088  15704 |        0 |        0
1680.96/1681.57	c 1681s |      27 | 17724113 | 13072833 |     2088  15717 |        0 |        0
1682.96/1683.57	c 1683s |      27 | 17741834 | 13085933 |     2088  15729 |        0 |        0
1684.96/1685.58	c 1685s |      27 | 17757585 | 13098233 |     2088  15740 |        0 |        0
1687.06/1687.60	c 1687s |      27 | 17770290 | 13109233 |     2088  15751 |        0 |        0
1689.07/1689.61	c 1689s |      27 | 17783689 | 13119933 |     2088  15761 |        0 |        0
1691.06/1691.62	c 1691s |      27 | 17800256 | 13132633 |     2088  15773 |        0 |        0
1693.06/1693.63	c 1693s |      27 | 17817909 | 13146233 |     2088  15785 |        0 |        0
1695.06/1695.65	c 1695s |      27 | 17835465 | 13159133 |     2088  15798 |        0 |        0
1697.06/1697.66	c 1697s |      27 | 17852455 | 13172033 |     2088  15810 |        0 |        0
1699.07/1699.66	c 1699s |      27 | 17868927 | 13185133 |     2088  15822 |        0 |        0
1701.06/1701.67	c 1701s |      27 | 17885636 | 13198233 |     2088  15834 |        0 |        0
1703.06/1703.67	c 1703s |      27 | 17902978 | 13212033 |     2088  15847 |        0 |        0
1705.06/1705.68	c 1705s |      27 | 17919967 | 13225533 |     2088  15860 |        0 |        0
1707.06/1707.69	c 1707s |      27 | 17937214 | 13238933 |     2088  15872 |        0 |        0
1709.16/1709.70	c 1709s |      27 | 17956079 | 13253033 |     2088  15886 |        0 |        0
1711.17/1711.71	c 1711s |      27 | 17976566 | 13268133 |     2088  15900 |        0 |        0
1713.16/1713.71	c 1713s |      27 | 17995807 | 13282533 |     2088  15913 |        0 |        0
1715.16/1715.73	c 1715s |      27 | 18015252 | 13296933 |     2088  15927 |        0 |        0
1717.16/1717.74	c 1717s |      27 | 18034546 | 13311433 |     2088  15941 |        0 |        0
1719.16/1719.75	c 1719s |      27 | 18054606 | 13325833 |     2088  15954 |        0 |        0
1721.15/1721.75	c 1721s |      27 | 18074643 | 13340933 |     2088  15968 |        0 |        0
1723.16/1723.76	c 1723s |      27 | 18092344 | 13354833 |     2088  15981 |        0 |        0
1725.15/1725.78	c 1725s |      27 | 18111979 | 13369433 |     2088  15995 |        0 |        0
1727.15/1727.79	c 1727s |      27 | 18131553 | 13383933 |     2088  16009 |        0 |        0
1729.15/1729.80	c 1729s |      27 | 18151899 | 13399033 |     2088  16023 |        0 |        0
1731.25/1731.80	c 1731s |      27 | 18169601 | 13412633 |     2088  16036 |        0 |        0
1733.25/1733.81	c 1733s |      27 | 18186364 | 13425733 |     2088  16048 |        0 |        0
1735.26/1735.82	c 1735s |      27 | 18205008 | 13439533 |     2088  16061 |        0 |        0
1737.25/1737.83	c 1737s |      27 | 18222750 | 13452833 |     2088  16073 |        0 |        0
1739.26/1739.84	c 1739s |      27 | 18239071 | 13465533 |     2088  16085 |        0 |        0
1741.26/1741.85	c 1741s |      27 | 18257248 | 13479033 |     2088  16098 |        0 |        0
1743.26/1743.86	c 1743s |      27 | 18275893 | 13493433 |     2088  16112 |        0 |        0
1745.26/1745.87	c 1745s |      27 | 18293254 | 13506433 |     2088  16124 |        0 |        0
1747.26/1747.88	c 1747s |      27 | 18312042 | 13520633 |     2088  16137 |        0 |        0
1749.26/1749.88	c 1749s |      27 | 18330007 | 13534233 |     2088  16150 |        0 |        0
1751.26/1751.89	c 1751s |      27 | 18348104 | 13547633 |     2088  16163 |        0 |        0
1753.36/1753.90	c 1753s |      27 | 18365360 | 13561033 |     2088  16175 |        0 |        0
1755.35/1755.91	c 1755s |      27 | 18383125 | 13574533 |     2088  16188 |        0 |        0
1757.36/1757.91	c 1757s |      27 | 18400229 | 13587933 |     2088  16201 |        0 |        0
1759.35/1759.92	c 1759s |      27 | 18419428 | 13602333 |     2088  16214 |        0 |        0
1761.35/1761.94	c 1761s |      27 | 18436427 | 13615433 |     2088  16227 |        0 |        0
1763.35/1763.95	c 1763s |      27 | 18455635 | 13630233 |     2088  16240 |        0 |        0
1765.35/1765.96	c 1765s |      27 | 18474415 | 13644833 |     2088  16254 |        0 |        0
1767.35/1767.96	c 1767s |      27 | 18494811 | 13660033 |     2088  16268 |        0 |        0
1769.36/1769.97	c 1769s |      27 | 18515767 | 13675633 |     2088  16283 |        0 |        0
1771.35/1771.98	c 1771s |      27 | 18534940 | 13690133 |     2088  16296 |        0 |        0
1773.35/1773.99	c 1773s |      27 | 18553777 | 13703733 |     2088  16309 |        0 |        0
1775.35/1775.99	c 1775s |      27 | 18573976 | 13718633 |     2088  16323 |        0 |        0
1777.45/1778.00	c 1777s |      27 | 18592816 | 13732833 |     2088  16336 |        0 |        0
1779.45/1780.00	c 1779s |      27 | 18609887 | 13746133 |     2088  16349 |        0 |        0
1781.45/1782.01	c 1781s |      27 | 18627697 | 13759633 |     2088  16362 |        0 |        0
1783.45/1784.02	c 1784s |      27 | 18648222 | 13774233 |     2088  16375 |        0 |        0
1785.45/1786.03	c 1786s |      27 | 18665986 | 13787633 |     2088  16388 |        0 |        0
1787.45/1788.03	c 1788s |      27 | 18683624 | 13801333 |     2088  16401 |        0 |        0
1789.45/1790.04	c 1790s |      27 | 18704257 | 13816533 |     2088  16415 |        0 |        0
1791.45/1792.04	c 1792s |      27 | 18722889 | 13830733 |     2088  16428 |        0 |        0
1793.45/1794.05	c 1794s |      27 | 18742471 | 13845233 |     2088  16441 |        0 |        0
1795.45/1796.06	c 1796s |      27 | 18762883 | 13860833 |     2088  16456 |        0 |        0
1797.44/1798.07	c 1798s |      27 | 18784434 | 13877033 |     2088  16471 |        0 |        0
1799.44/1800.07	c 1800s |      27 | 18804865 | 13892533 |     2088  16486 |        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-4122586-1467316927/watcher-4122586-1467316927 -o /tmp/evaluation-result-4122586-1467316927/solver-4122586-1467316927 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node139-1467316924-3974 --watchdog 1960 toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4122586-1467316927.opb 

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

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


[startup+0 s]
/proc/loadavg: 1.26 1.36 1.70 3/179 4105
/proc/meminfo: memFree=28923828/32872528 swapFree=1394584/1580588
[pid=4105] ppid=4102 vsize=742844 CPUtime=0 cores=0,2,4,6
/proc/4105/stat : 4105 (toysat) R 4102 4105 31393 0 -1 4202496 2776 0 0 0 0 0 0 0 20 0 4 0 21721267 760672256 2626 33554432000 4194304 16246674 140736443453984 140736443453408 13880264 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/4105/statm: 186223 2636 441 2943 0 183117 0
[pid=4105/tid=4106] ppid=4102 vsize=776636 CPUtime=0 cores=0,2,4,6
/proc/4105/task/4106/stat : 4106 (toysat) S 4102 4105 31393 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 21721267 795275264 2759 33554432000 4194304 16246674 140736443453984 140267559562480 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=4105/tid=4107] ppid=4102 vsize=780732 CPUtime=0 cores=0,2,4,6
/proc/4105/task/4107/stat : 4107 (toysat) S 4102 4105 31393 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 21721267 799469568 2776 33554432000 4194304 16246674 140736443453984 140267549072624 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=4105/tid=4108] ppid=4102 vsize=785852 CPUtime=0 cores=0,2,4,6
/proc/4105/task/4108/stat : 4108 (toysat) S 4102 4105 31393 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 21721267 804712448 2794 33554432000 4194304 16246674 140736443453984 140267538599088 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0

[startup+0.100168 s]
/proc/loadavg: 1.26 1.36 1.70 3/179 4105
/proc/meminfo: memFree=28923828/32872528 swapFree=1394584/1580588
[pid=4105] ppid=4102 vsize=1218116 CPUtime=0.09 cores=0,2,4,6
/proc/4105/stat : 4105 (toysat) R 4102 4105 31393 0 -1 4202496 24953 0 0 0 6 3 0 0 20 0 4 0 21721267 1247350784 24791 33554432000 4194304 16246674 140736443453984 140736443435904 13127709 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/4105/statm: 304529 24798 708 2943 0 301423 0
[pid=4105/tid=4106] ppid=4102 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/4105/task/4106/stat : 4106 (toysat) S 4102 4105 31393 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 21721267 1247350784 24804 33554432000 4194304 16246674 140736443453984 140267559562480 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=4105/tid=4107] ppid=4102 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/4105/task/4107/stat : 4107 (toysat) S 4102 4105 31393 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 21721267 1247350784 24808 33554432000 4194304 16246674 140736443453984 140267549072624 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=4105/tid=4108] ppid=4102 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/4105/task/4108/stat : 4108 (toysat) S 4102 4105 31393 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 21721267 1247350784 24812 33554432000 4194304 16246674 140736443453984 140267538599088 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 1218116

[startup+0.200501 s]
/proc/loadavg: 1.26 1.36 1.70 3/179 4105
/proc/meminfo: memFree=28923828/32872528 swapFree=1394584/1580588
[pid=4105] ppid=4102 vsize=1218116 CPUtime=0.19 cores=0,2,4,6
/proc/4105/stat : 4105 (toysat) R 4102 4105 31393 0 -1 4202496 47263 0 0 0 14 5 0 0 20 0 4 0 21721267 1247350784 47101 33554432000 4194304 16246674 140736443453984 140736443435904 5677277 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/4105/statm: 304529 47109 708 2943 0 301423 0
[pid=4105/tid=4106] ppid=4102 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/4105/task/4106/stat : 4106 (toysat) S 4102 4105 31393 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 21721267 1247350784 47117 33554432000 4194304 16246674 140736443453984 140267559562480 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=4105/tid=4107] ppid=4102 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/4105/task/4107/stat : 4107 (toysat) S 4102 4105 31393 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 21721267 1247350784 47122 33554432000 4194304 16246674 140736443453984 140267549072624 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=4105/tid=4108] ppid=4102 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/4105/task/4108/stat : 4108 (toysat) S 4102 4105 31393 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 21721267 1247350784 47128 33554432000 4194304 16246674 140736443453984 140267538599088 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 1218116

[startup+0.300477 s]
/proc/loadavg: 1.26 1.36 1.70 3/179 4105
/proc/meminfo: memFree=28923828/32872528 swapFree=1394584/1580588
[pid=4105] ppid=4102 vsize=1218116 CPUtime=0.29 cores=0,2,4,6
/proc/4105/stat : 4105 (toysat) R 4102 4105 31393 0 -1 4202496 69837 0 0 0 21 8 0 0 20 0 4 0 21721267 1247350784 69675 33554432000 4194304 16246674 140736443453984 140736443435904 5668673 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/4105/statm: 304529 69685 708 2943 0 301423 0
[pid=4105/tid=4106] ppid=4102 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/4105/task/4106/stat : 4106 (toysat) S 4102 4105 31393 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 21721267 1247350784 69691 33554432000 4194304 16246674 140736443453984 140267559562480 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=4105/tid=4107] ppid=4102 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/4105/task/4107/stat : 4107 (toysat) S 4102 4105 31393 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 21721267 1247350784 69696 33554432000 4194304 16246674 140736443453984 140267549072624 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=4105/tid=4108] ppid=4102 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/4105/task/4108/stat : 4108 (toysat) S 4102 4105 31393 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 21721267 1247350784 69702 33554432000 4194304 16246674 140736443453984 140267538599088 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 1218116

[startup+0.7004 s]
/proc/loadavg: 1.26 1.36 1.70 3/179 4105
/proc/meminfo: memFree=28923828/32872528 swapFree=1394584/1580588
[pid=4105] ppid=4102 vsize=1218116 CPUtime=0.68 cores=0,2,4,6
/proc/4105/stat : 4105 (toysat) R 4102 4105 31393 0 -1 4202496 158640 0 0 0 48 20 0 0 20 0 4 0 21721267 1247350784 158479 33554432000 4194304 16246674 140736443453984 140736443435904 5664948 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/4105/statm: 304529 158488 709 2943 0 301423 0
[pid=4105/tid=4106] ppid=4102 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/4105/task/4106/stat : 4106 (toysat) S 4102 4105 31393 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 21721267 1247350784 158496 33554432000 4194304 16246674 140736443453984 140267559562480 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=4105/tid=4107] ppid=4102 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/4105/task/4107/stat : 4107 (toysat) S 4102 4105 31393 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 21721267 1247350784 158504 33554432000 4194304 16246674 140736443453984 140267549072624 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=4105/tid=4108] ppid=4102 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/4105/task/4108/stat : 4108 (toysat) S 4102 4105 31393 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 21721267 1247350784 158511 33554432000 4194304 16246674 140736443453984 140267538599088 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 1218116

[startup+1.50041 s]
/proc/loadavg: 1.40 1.38 1.71 3/183 4109
/proc/meminfo: memFree=27942468/32872528 swapFree=1394584/1580588
[pid=4105] ppid=4102 vsize=1219140 CPUtime=1.48 cores=0,2,4,6
/proc/4105/stat : 4105 (toysat) R 4102 4105 31393 0 -1 4202496 245640 0 0 0 116 32 0 0 20 0 4 0 21721267 1248399360 245458 33554432000 4194304 16246674 140736443453984 140736443453296 5973972 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/4105/statm: 304785 245458 785 2943 0 301679 0
[pid=4105/tid=4106] ppid=4102 vsize=1219140 CPUtime=0 cores=0,2,4,6
/proc/4105/task/4106/stat : 4106 (toysat) S 4102 4105 31393 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 21721267 1248399360 245458 33554432000 4194304 16246674 140736443453984 140267559562480 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=4105/tid=4107] ppid=4102 vsize=1219140 CPUtime=0 cores=0,2,4,6
/proc/4105/task/4107/stat : 4107 (toysat) S 4102 4105 31393 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 21721267 1248399360 245458 33554432000 4194304 16246674 140736443453984 140267549072624 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=4105/tid=4108] ppid=4102 vsize=1219140 CPUtime=0 cores=0,2,4,6
/proc/4105/task/4108/stat : 4108 (toysat) S 4102 4105 31393 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 21721267 1248399360 245458 33554432000 4194304 16246674 140736443453984 140267538599088 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 1219140

[startup+3.10036 s]
/proc/loadavg: 1.40 1.38 1.71 3/183 4109
/proc/meminfo: memFree=27855352/32872528 swapFree=1394584/1580588
[pid=4105] ppid=4102 vsize=1306180 CPUtime=3.08 cores=0,2,4,6
/proc/4105/stat : 4105 (toysat) R 4102 4105 31393 0 -1 4202496 267397 0 0 0 273 35 0 0 20 0 4 0 21721267 1337528320 267215 33554432000 4194304 16246674 140736443453984 140736443436984 5822608 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/4105/statm: 326545 267215 785 2943 0 323439 0
[pid=4105/tid=4106] ppid=4102 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/4105/task/4106/stat : 4106 (toysat) S 4102 4105 31393 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 21721267 1337528320 267215 33554432000 4194304 16246674 140736443453984 140267559562480 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=4105/tid=4107] ppid=4102 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/4105/task/4107/stat : 4107 (toysat) S 4102 4105 31393 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 21721267 1337528320 267215 33554432000 4194304 16246674 140736443453984 140267549072624 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=4105/tid=4108] ppid=4102 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/4105/task/4108/stat : 4108 (toysat) S 4102 4105 31393 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 21721267 1337528320 267215 33554432000 4194304 16246674 140736443453984 140267538599088 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 1306180

[startup+6.30041 s]
/proc/loadavg: 1.40 1.38 1.71 4/183 4109
/proc/meminfo: memFree=27854752/32872528 swapFree=1394584/1580588
[pid=4105] ppid=4102 vsize=1306180 CPUtime=6.28 cores=0,2,4,6
/proc/4105/stat : 4105 (toysat) R 4102 4105 31393 0 -1 4202496 267510 0 0 0 593 35 0 0 20 0 4 0 21721267 1337528320 267328 33554432000 4194304 16246674 140736443453984 140736443435904 5672188 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/4105/statm: 326545 267328 785 2943 0 323439 0
[pid=4105/tid=4106] ppid=4102 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/4105/task/4106/stat : 4106 (toysat) S 4102 4105 31393 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 21721267 1337528320 267328 33554432000 4194304 16246674 140736443453984 140267559562480 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=4105/tid=4107] ppid=4102 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/4105/task/4107/stat : 4107 (toysat) S 4102 4105 31393 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 21721267 1337528320 267328 33554432000 4194304 16246674 140736443453984 140267549072624 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=4105/tid=4108] ppid=4102 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/4105/task/4108/stat : 4108 (toysat) S 4102 4105 31393 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 21721267 1337528320 267328 33554432000 4194304 16246674 140736443453984 140267538599088 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 1306180

[startup+12.7004 s]
/proc/loadavg: 1.49 1.40 1.71 4/183 4109
/proc/meminfo: memFree=27854988/32872528 swapFree=1394584/1580588
[pid=4105] ppid=4102 vsize=1307204 CPUtime=12.69 cores=0,2,4,6
/proc/4105/stat : 4105 (toysat) R 4102 4105 31393 0 -1 4202496 267595 0 0 0 1233 36 0 0 20 0 4 0 21721267 1338576896 267413 33554432000 4194304 16246674 140736443453984 140736443435904 5822492 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/4105/statm: 326801 267413 785 2943 0 323695 0
[pid=4105/tid=4106] ppid=4102 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/4105/task/4106/stat : 4106 (toysat) S 4102 4105 31393 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 21721267 1338576896 267413 33554432000 4194304 16246674 140736443453984 140267559562480 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=4105/tid=4107] ppid=4102 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/4105/task/4107/stat : 4107 (toysat) S 4102 4105 31393 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 21721267 1338576896 267413 33554432000 4194304 16246674 140736443453984 140267549072624 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=4105/tid=4108] ppid=4102 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/4105/task/4108/stat : 4108 (toysat) S 4102 4105 31393 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 21721267 1338576896 267413 33554432000 4194304 16246674 140736443453984 140267538599088 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 1307204

[startup+25.5005 s]
/proc/loadavg: 1.57 1.42 1.71 3/183 4109
/proc/meminfo: memFree=27854456/32872528 swapFree=1394584/1580588
[pid=4105] ppid=4102 vsize=1307204 CPUtime=25.49 cores=0,2,4,6
/proc/4105/stat : 4105 (toysat) R 4102 4105 31393 0 -1 4202496 267787 0 0 0 2513 36 0 0 20 0 4 0 21721267 1338576896 267605 33554432000 4194304 16246674 140736443453984 140736443436984 6045704 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/4105/statm: 326801 267605 785 2943 0 323695 0
[pid=4105/tid=4106] ppid=4102 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/4105/task/4106/stat : 4106 (toysat) S 4102 4105 31393 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 21721267 1338576896 267605 33554432000 4194304 16246674 140736443453984 140267559562480 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=4105/tid=4107] ppid=4102 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/4105/task/4107/stat : 4107 (toysat) S 4102 4105 31393 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 21721267 1338576896 267605 33554432000 4194304 16246674 140736443453984 140267549072624 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=4105/tid=4108] ppid=4102 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/4105/task/4108/stat : 4108 (toysat) S 4102 4105 31393 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 21721267 1338576896 267605 33554432000 4194304 16246674 140736443453984 140267538599088 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 1307204

[startup+51.1005 s]
/proc/loadavg: 1.85 1.50 1.73 3/183 4109
/proc/meminfo: memFree=27853472/32872528 swapFree=1394584/1580588
[pid=4105] ppid=4102 vsize=1308228 CPUtime=51.08 cores=0,2,4,6
/proc/4105/stat : 4105 (toysat) R 4102 4105 31393 0 -1 4202496 268051 0 0 0 5072 36 0 0 20 0 4 0 21721267 1339625472 267869 33554432000 4194304 16246674 140736443453984 140736443436984 12477688 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/4105/statm: 327057 267869 785 2943 0 323951 0
[pid=4105/tid=4106] ppid=4102 vsize=1308228 CPUtime=0 cores=0,2,4,6
/proc/4105/task/4106/stat : 4106 (toysat) S 4102 4105 31393 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 21721267 1339625472 267869 33554432000 4194304 16246674 140736443453984 140267559562480 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=4105/tid=4107] ppid=4102 vsize=1308228 CPUtime=0 cores=0,2,4,6
/proc/4105/task/4107/stat : 4107 (toysat) S 4102 4105 31393 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 21721267 1339625472 267869 33554432000 4194304 16246674 140736443453984 140267549072624 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=4105/tid=4108] ppid=4102 vsize=1308228 CPUtime=0 cores=0,2,4,6
/proc/4105/task/4108/stat : 4108 (toysat) S 4102 4105 31393 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 21721267 1339625472 267869 33554432000 4194304 16246674 140736443453984 140267538599088 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 1308228

[startup+102.3 s]
/proc/loadavg: 2.04 1.61 1.75 4/183 4159
/proc/meminfo: memFree=27854840/32872528 swapFree=1394584/1580588
[pid=4105] ppid=4102 vsize=1308228 CPUtime=102.28 cores=0,2,4,6
/proc/4105/stat : 4105 (toysat) R 4102 4105 31393 0 -1 4202496 268085 0 0 0 10191 37 0 0 20 0 4 0 21721267 1339625472 267903 33554432000 4194304 16246674 140736443453984 140736443435904 13923727 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/4105/statm: 327057 267903 788 2943 0 323951 0
[pid=4105/tid=4106] ppid=4102 vsize=1308228 CPUtime=0 cores=0,2,4,6
/proc/4105/task/4106/stat : 4106 (toysat) S 4102 4105 31393 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 21721267 1339625472 267903 33554432000 4194304 16246674 140736443453984 140267559562480 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=4105/tid=4107] ppid=4102 vsize=1308228 CPUtime=0 cores=0,2,4,6
/proc/4105/task/4107/stat : 4107 (toysat) S 4102 4105 31393 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 21721267 1339625472 267903 33554432000 4194304 16246674 140736443453984 140267549072624 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=4105/tid=4108] ppid=4102 vsize=1308228 CPUtime=0 cores=0,2,4,6
/proc/4105/task/4108/stat : 4108 (toysat) S 4102 4105 31393 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 21721267 1339625472 267903 33554432000 4194304 16246674 140736443453984 140267538599088 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 1308228


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

/proc/4105/task/4108/stat : 4108 (toysat) S 4102 4105 31393 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 21721267 1340674048 268285 33554432000 4194304 16246674 140736443453984 140267538599088 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1241.99
Current children cumulated vsize (KiB) 1309252

[startup+1302.3 s]
/proc/loadavg: 2.24 2.28 2.11 3/183 4189
/proc/meminfo: memFree=27849264/32872528 swapFree=1394584/1580588
[pid=4105] ppid=4102 vsize=1309252 CPUtime=1301.96 cores=0,2,4,6
/proc/4105/stat : 4105 (toysat) R 4102 4105 31393 0 -1 4202496 268437 0 0 0 130139 57 0 0 20 0 4 0 21721267 1340674048 268285 33554432000 4194304 16246674 140736443453984 140736443436984 5672213 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/4105/statm: 327313 268285 789 2943 0 324207 0
[pid=4105/tid=4106] ppid=4102 vsize=1309252 CPUtime=0 cores=0,2,4,6
/proc/4105/task/4106/stat : 4106 (toysat) S 4102 4105 31393 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 21721267 1340674048 268285 33554432000 4194304 16246674 140736443453984 140267559562480 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=4105/tid=4107] ppid=4102 vsize=1309252 CPUtime=0 cores=0,2,4,6
/proc/4105/task/4107/stat : 4107 (toysat) S 4102 4105 31393 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 21721267 1340674048 268285 33554432000 4194304 16246674 140736443453984 140267549072624 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=4105/tid=4108] ppid=4102 vsize=1309252 CPUtime=0 cores=0,2,4,6
/proc/4105/task/4108/stat : 4108 (toysat) S 4102 4105 31393 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 21721267 1340674048 268285 33554432000 4194304 16246674 140736443453984 140267538599088 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1301.96
Current children cumulated vsize (KiB) 1309252

[startup+1362.3 s]
/proc/loadavg: 2.49 2.35 2.15 4/182 4190
/proc/meminfo: memFree=27849000/32872528 swapFree=1394584/1580588
[pid=4105] ppid=4102 vsize=1309252 CPUtime=1361.92 cores=0,2,4,6
/proc/4105/stat : 4105 (toysat) R 4102 4105 31393 0 -1 4202496 268482 0 0 0 136135 57 0 0 20 0 4 0 21721267 1340674048 268285 33554432000 4194304 16246674 140736443453984 140736443435904 6049928 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/4105/statm: 327313 268285 789 2943 0 324207 0
[pid=4105/tid=4106] ppid=4102 vsize=1309252 CPUtime=0 cores=0,2,4,6
/proc/4105/task/4106/stat : 4106 (toysat) S 4102 4105 31393 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 21721267 1340674048 268285 33554432000 4194304 16246674 140736443453984 140267559562480 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=4105/tid=4107] ppid=4102 vsize=1309252 CPUtime=0 cores=0,2,4,6
/proc/4105/task/4107/stat : 4107 (toysat) S 4102 4105 31393 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 21721267 1340674048 268285 33554432000 4194304 16246674 140736443453984 140267549072624 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=4105/tid=4108] ppid=4102 vsize=1309252 CPUtime=0 cores=0,2,4,6
/proc/4105/task/4108/stat : 4108 (toysat) S 4102 4105 31393 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 21721267 1340674048 268285 33554432000 4194304 16246674 140736443453984 140267538599088 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1361.92
Current children cumulated vsize (KiB) 1309252

[startup+1422.3 s]
/proc/loadavg: 2.39 2.35 2.16 3/183 4192
/proc/meminfo: memFree=27848648/32872528 swapFree=1394584/1580588
[pid=4105] ppid=4102 vsize=1309252 CPUtime=1421.89 cores=0,2,4,6
/proc/4105/stat : 4105 (toysat) R 4102 4105 31393 0 -1 4202496 268522 0 0 0 142131 58 0 0 20 0 4 0 21721267 1340674048 268285 33554432000 4194304 16246674 140736443453984 140736443435904 5997427 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/4105/statm: 327313 268285 789 2943 0 324207 0
[pid=4105/tid=4106] ppid=4102 vsize=1309252 CPUtime=0 cores=0,2,4,6
/proc/4105/task/4106/stat : 4106 (toysat) S 4102 4105 31393 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 21721267 1340674048 268285 33554432000 4194304 16246674 140736443453984 140267559562480 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=4105/tid=4107] ppid=4102 vsize=1309252 CPUtime=0 cores=0,2,4,6
/proc/4105/task/4107/stat : 4107 (toysat) S 4102 4105 31393 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 21721267 1340674048 268285 33554432000 4194304 16246674 140736443453984 140267549072624 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=4105/tid=4108] ppid=4102 vsize=1309252 CPUtime=0 cores=0,2,4,6
/proc/4105/task/4108/stat : 4108 (toysat) S 4102 4105 31393 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 21721267 1340674048 268285 33554432000 4194304 16246674 140736443453984 140267538599088 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1421.89
Current children cumulated vsize (KiB) 1309252

[startup+1482.3 s]
/proc/loadavg: 2.37 2.36 2.18 3/183 4193
/proc/meminfo: memFree=27848676/32872528 swapFree=1394584/1580588
[pid=4105] ppid=4102 vsize=1309252 CPUtime=1481.85 cores=0,2,4,6
/proc/4105/stat : 4105 (toysat) R 4102 4105 31393 0 -1 4202496 268566 0 0 0 148126 59 0 0 20 0 4 0 21721267 1340674048 268285 33554432000 4194304 16246674 140736443453984 140736443435904 5828829 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/4105/statm: 327313 268285 789 2943 0 324207 0
[pid=4105/tid=4106] ppid=4102 vsize=1309252 CPUtime=0 cores=0,2,4,6
/proc/4105/task/4106/stat : 4106 (toysat) S 4102 4105 31393 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 21721267 1340674048 268285 33554432000 4194304 16246674 140736443453984 140267559562480 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=4105/tid=4107] ppid=4102 vsize=1309252 CPUtime=0 cores=0,2,4,6
/proc/4105/task/4107/stat : 4107 (toysat) S 4102 4105 31393 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 21721267 1340674048 268285 33554432000 4194304 16246674 140736443453984 140267549072624 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=4105/tid=4108] ppid=4102 vsize=1309252 CPUtime=0 cores=0,2,4,6
/proc/4105/task/4108/stat : 4108 (toysat) S 4102 4105 31393 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 21721267 1340674048 268285 33554432000 4194304 16246674 140736443453984 140267538599088 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1481.85
Current children cumulated vsize (KiB) 1309252

[startup+1542.31 s]
/proc/loadavg: 2.28 2.34 2.18 3/183 4194
/proc/meminfo: memFree=27848704/32872528 swapFree=1394584/1580588
[pid=4105] ppid=4102 vsize=1309252 CPUtime=1541.82 cores=0,2,4,6
/proc/4105/stat : 4105 (toysat) R 4102 4105 31393 0 -1 4202496 268612 0 0 0 154123 59 0 0 20 0 4 0 21721267 1340674048 268285 33554432000 4194304 16246674 140736443453984 140736443436984 5677899 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/4105/statm: 327313 268285 789 2943 0 324207 0
[pid=4105/tid=4106] ppid=4102 vsize=1309252 CPUtime=0 cores=0,2,4,6
/proc/4105/task/4106/stat : 4106 (toysat) S 4102 4105 31393 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 21721267 1340674048 268285 33554432000 4194304 16246674 140736443453984 140267559562480 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=4105/tid=4107] ppid=4102 vsize=1309252 CPUtime=0 cores=0,2,4,6
/proc/4105/task/4107/stat : 4107 (toysat) S 4102 4105 31393 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 21721267 1340674048 268285 33554432000 4194304 16246674 140736443453984 140267549072624 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=4105/tid=4108] ppid=4102 vsize=1309252 CPUtime=0 cores=0,2,4,6
/proc/4105/task/4108/stat : 4108 (toysat) S 4102 4105 31393 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 21721267 1340674048 268285 33554432000 4194304 16246674 140736443453984 140267538599088 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1541.82
Current children cumulated vsize (KiB) 1309252

[startup+1602.3 s]
/proc/loadavg: 2.38 2.35 2.19 3/183 4195
/proc/meminfo: memFree=27848360/32872528 swapFree=1394584/1580588
[pid=4105] ppid=4102 vsize=1309252 CPUtime=1601.78 cores=0,2,4,6
/proc/4105/stat : 4105 (toysat) R 4102 4105 31393 0 -1 4202496 268656 0 0 0 160118 60 0 0 20 0 4 0 21721267 1340674048 268285 33554432000 4194304 16246674 140736443453984 140736443435904 13943664 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/4105/statm: 327313 268285 789 2943 0 324207 0
[pid=4105/tid=4106] ppid=4102 vsize=1309252 CPUtime=0 cores=0,2,4,6
/proc/4105/task/4106/stat : 4106 (toysat) S 4102 4105 31393 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 21721267 1340674048 268285 33554432000 4194304 16246674 140736443453984 140267559562480 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=4105/tid=4107] ppid=4102 vsize=1309252 CPUtime=0 cores=0,2,4,6
/proc/4105/task/4107/stat : 4107 (toysat) S 4102 4105 31393 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 21721267 1340674048 268285 33554432000 4194304 16246674 140736443453984 140267549072624 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=4105/tid=4108] ppid=4102 vsize=1309252 CPUtime=0 cores=0,2,4,6
/proc/4105/task/4108/stat : 4108 (toysat) S 4102 4105 31393 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 21721267 1340674048 268285 33554432000 4194304 16246674 140736443453984 140267538599088 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1601.78
Current children cumulated vsize (KiB) 1309252

[startup+1662.3 s]
/proc/loadavg: 2.40 2.36 2.20 3/183 4196
/proc/meminfo: memFree=27846704/32872528 swapFree=1394584/1580588
[pid=4105] ppid=4102 vsize=1309252 CPUtime=1661.77 cores=0,2,4,6
/proc/4105/stat : 4105 (toysat) R 4102 4105 31393 0 -1 4202496 268671 0 0 0 166116 61 0 0 20 0 4 0 21721267 1340674048 268285 33554432000 4194304 16246674 140736443453984 140736443435904 5823975 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/4105/statm: 327313 268285 789 2943 0 324207 0
[pid=4105/tid=4106] ppid=4102 vsize=1309252 CPUtime=0 cores=0,2,4,6
/proc/4105/task/4106/stat : 4106 (toysat) S 4102 4105 31393 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 21721267 1340674048 268285 33554432000 4194304 16246674 140736443453984 140267559562480 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=4105/tid=4107] ppid=4102 vsize=1309252 CPUtime=0 cores=0,2,4,6
/proc/4105/task/4107/stat : 4107 (toysat) S 4102 4105 31393 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 21721267 1340674048 268285 33554432000 4194304 16246674 140736443453984 140267549072624 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=4105/tid=4108] ppid=4102 vsize=1309252 CPUtime=0 cores=0,2,4,6
/proc/4105/task/4108/stat : 4108 (toysat) S 4102 4105 31393 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 21721267 1340674048 268285 33554432000 4194304 16246674 140736443453984 140267538599088 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1661.77
Current children cumulated vsize (KiB) 1309252

[startup+1722.3 s]
/proc/loadavg: 2.34 2.35 2.20 4/184 4201
/proc/meminfo: memFree=27847304/32872528 swapFree=1394584/1580588
[pid=4105] ppid=4102 vsize=1309252 CPUtime=1721.75 cores=0,2,4,6
/proc/4105/stat : 4105 (toysat) R 4102 4105 31393 0 -1 4202496 268671 0 0 0 172114 61 0 0 20 0 4 0 21721267 1340674048 268285 33554432000 4194304 16246674 140736443453984 140736443435904 13927401 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/4105/statm: 327313 268285 789 2943 0 324207 0
[pid=4105/tid=4106] ppid=4102 vsize=1309252 CPUtime=0 cores=0,2,4,6
/proc/4105/task/4106/stat : 4106 (toysat) S 4102 4105 31393 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 21721267 1340674048 268285 33554432000 4194304 16246674 140736443453984 140267559562480 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=4105/tid=4107] ppid=4102 vsize=1309252 CPUtime=0 cores=0,2,4,6
/proc/4105/task/4107/stat : 4107 (toysat) S 4102 4105 31393 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 21721267 1340674048 268285 33554432000 4194304 16246674 140736443453984 140267549072624 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=4105/tid=4108] ppid=4102 vsize=1309252 CPUtime=0 cores=0,2,4,6
/proc/4105/task/4108/stat : 4108 (toysat) S 4102 4105 31393 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 21721267 1340674048 268285 33554432000 4194304 16246674 140736443453984 140267538599088 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1721.75
Current children cumulated vsize (KiB) 1309252

[startup+1782.3 s]
/proc/loadavg: 2.34 2.34 2.21 3/183 4202
/proc/meminfo: memFree=27846728/32872528 swapFree=1394584/1580588
[pid=4105] ppid=4102 vsize=1309252 CPUtime=1781.75 cores=0,2,4,6
/proc/4105/stat : 4105 (toysat) R 4102 4105 31393 0 -1 4202496 268671 0 0 0 178113 62 0 0 20 0 4 0 21721267 1340674048 268285 33554432000 4194304 16246674 140736443453984 140736443435904 5860856 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/4105/statm: 327313 268285 789 2943 0 324207 0
[pid=4105/tid=4106] ppid=4102 vsize=1309252 CPUtime=0 cores=0,2,4,6
/proc/4105/task/4106/stat : 4106 (toysat) S 4102 4105 31393 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 21721267 1340674048 268285 33554432000 4194304 16246674 140736443453984 140267559562480 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=4105/tid=4107] ppid=4102 vsize=1309252 CPUtime=0 cores=0,2,4,6
/proc/4105/task/4107/stat : 4107 (toysat) S 4102 4105 31393 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 21721267 1340674048 268285 33554432000 4194304 16246674 140736443453984 140267549072624 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=4105/tid=4108] ppid=4102 vsize=1309252 CPUtime=0 cores=0,2,4,6
/proc/4105/task/4108/stat : 4108 (toysat) S 4102 4105 31393 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 21721267 1340674048 268285 33554432000 4194304 16246674 140736443453984 140267538599088 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1781.75
Current children cumulated vsize (KiB) 1309252



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.6 s]
/proc/loadavg: 2.27 2.33 2.20 3/183 4202
/proc/meminfo: memFree=27846584/32872528 swapFree=1394584/1580588
[pid=4105] ppid=4102 vsize=1309252 CPUtime=1800.04 cores=0,2,4,6
/proc/4105/stat : 4105 (toysat) R 4102 4105 31393 0 -1 4202496 268671 0 0 0 179942 62 0 0 20 0 4 0 21721267 1340674048 268285 33554432000 4194304 16246674 140736443453984 140736443435904 5523539 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/4105/statm: 327313 268285 789 2943 0 324207 0
[pid=4105/tid=4106] ppid=4102 vsize=1309252 CPUtime=0 cores=0,2,4,6
/proc/4105/task/4106/stat : 4106 (toysat) S 4102 4105 31393 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 21721267 1340674048 268285 33554432000 4194304 16246674 140736443453984 140267559562480 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=4105/tid=4107] ppid=4102 vsize=1309252 CPUtime=0 cores=0,2,4,6
/proc/4105/task/4107/stat : 4107 (toysat) S 4102 4105 31393 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 21721267 1340674048 268285 33554432000 4194304 16246674 140736443453984 140267549072624 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=4105/tid=4108] ppid=4102 vsize=1309252 CPUtime=0 cores=0,2,4,6
/proc/4105/task/4108/stat : 4108 (toysat) S 4102 4105 31393 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 21721267 1340674048 268285 33554432000 4194304 16246674 140736443453984 140267538599088 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1800.04
Current children cumulated vsize (KiB) 1309252

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 4105 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.06
CPU user time (s): 1799.43
CPU system time (s): 0.626904
CPU usage (%): 99.9696
Max. virtual memory (cumulated for all children) (KiB): 1309252

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.43
system time used= 0.626904
maximum resident set size= 1073140
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 268671
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= 476
involuntary context switches= 1834

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 4.12637 second user time and 7.47386 second system time

The end

Begin job on node139 at 2016-06-30 22:02:07
IDJOB=4122586
IDBENCH=111190
IDSOLVER=2542
FILE ID=node139/4122586-1467316927
RUNJOBID= node139-1467316924-3974
PBS_JOBID= 20005284
Free space on /tmp= 71696 MiB

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

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

MD5SUM BENCH= cf4c6d2b5c68c9e794eb98e7f42726a2
RANDOM SEED=592638704

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:       32872528 kB
MemFree:        28924364 kB
Buffers:          182208 kB
Cached:           371700 kB
SwapCached:         3804 kB
Active:          1341112 kB
Inactive:         286760 kB
Active(anon):    1072420 kB
Inactive(anon):     3900 kB
Active(file):     268692 kB
Inactive(file):   282860 kB
Unevictable:     1580588 kB
Mlocked:         1394584 kB
SwapTotal:      67108856 kB
SwapFree:       67097620 kB
Dirty:             32984 kB
Writeback:             0 kB
AnonPages:       2651468 kB
Mapped:            10984 kB
Shmem:                 0 kB
Slab:             605464 kB
SReclaimable:      49160 kB
SUnreclaim:       556304 kB
KernelStack:        1520 kB
PageTables:         9284 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    2796040 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:    188416 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= 71680 MiB
End job on node139 at 2016-06-30 22:32:08