0.00/0.00	c 2016-06-30T21:12:05+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-4121218-1467313925.opb"]
0.00/0.01	c use --random-gen="1060469156 3254292055 2200250475 3016946595 4099363621 3476259895 2845654949 1657567830 586311952 469971114 1271883194 2630171824 3576751248 4290831716 3188838136 2317348820 292425572 156241691 1754649105 1581324139 3430744336 2816356657 3081873615 3085949334 573967006 3271280752 3698770831 3652465215 4252628113 166943631 2590680961 2040355328 3725594568 2477842630 2932921573 3555341691 3985186213 1370639231 13615574 3734146548 3045878308 498663540 3240439197 968543653 1428723931 1291638579 1565259166 677700411 4236113320 4036454675 112661515 2592624760 3103047860 1395318493 2212674143 1507093006 1292352010 2078304968 3069266522 91583771 2557797525 1972421214 1826489340 3186034544 1917831268 246806214 4172539549 3920790425 1213665798 3030168536 3177414095 2055809110 2357714639 571409943 136786524 354428206 1845749752 631461801 1351752726 2234467606 2804367923 3843699850 2938677538 4222595120 1815604093 2258229065 429906992 3240517604 200803272 3035391196 2914955641 2210194199 3493549220 2899754748 3918584755 2059151766 3691276311 1423062107 4098995617 3281274596 3780646169 44710828 2408698792 2858850073 1403477435 3248182428 1252701847 3565315791 3021055199 3525487453 1441727122 1358233154 2915304667 3696955999 2063800600 3504104606 2162764675 793560282 2907188739 1062486375 1481861536 2120690110 2260243834 420782576 684787524 2418380200 1261314690 3036055465 2174909539 4047748341 2950888852 4099978302 1075388024 1411748017 2729272767 2237126997 2639742741 1563844244 3063318061 1644034516 1689015118 74791153 1903087330 1017447708 1116181900 2607266770 1116206540 1503871333 2765251256 3835360212 982283490 41259566 1748143387 931907935 2205189202 4102473475 3812283180 2969411481 1221472845 3521176715 1943997659 3451021477 4251764921 94500990 246960839 3151274034 952210486 4045907287 1510675962 65337472 607263082 819452606 3086277841 3354938559 1683700699 809527851 3146147352 2501356152 2059461754 1802686810 1237550324 3784865313 3141738023 4195808801 1198916241 813044592 3250964157 3799155213 1535487386 1816405874 3917944275 67035330 1512137705 2495229961 1858156354 950305871 2220486656 615656536 1052940865 343180045 790155009 1033919560 190281489 3571976051 2360394835 3019884174 1590025694 217251648 4001308413 4224822083 2199667046 56322678 2991274896 3037585910 147843583 2694052073 522506637 1434190262 4148012983 1171524481 2450417010 3876710207 3359758430 3565427641 2783019551 465843589 215206536 693575925 337655349 308612505 4105904195 1105825594 2191798913 1158958497 3245758545 38662833 2504800315 2464323876 2742599653 617043780 1200554151 2562106165 3690159614 3339454443 3329744452 83328135 2396194019 3200532939 1207752458 1753749534 4021601236 992776746 1284084919 2740388191 3914748122 3249527304 255 362436" option to reproduce the execution
0.00/0.01	c #vars 281
0.00/0.01	c #constraints 280
0.00/0.02	c Solving starts ...
0.00/0.02	c ============================[ Search Statistics ]============================
0.00/0.02	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
0.00/0.02	c       |         |          |          |    Limit     GC | Var      | Constra 
0.00/0.02	c =============================================================================
0.00/0.02	c  0.0s |       0 |        0 |        0 |      187      0 |        0 |        0
0.00/0.03	c  0.0s |       1 |      192 |      100 |      187      0 |        0 |        0
0.00/0.04	c  0.0s |       2 |      392 |      250 |      206      1 |        0 |        0
0.00/0.06	c  0.0s |       3 |      697 |      475 |      227      1 |        0 |        0
0.09/0.10	c  0.1s |       4 |     1283 |      813 |      250      4 |        0 |        0
0.09/0.15	c  0.1s |       5 |     1945 |     1320 |      275      5 |        0 |        0
0.19/0.23	c  0.2s |       6 |     2911 |     2081 |      334      8 |        0 |        0
0.29/0.35	c  0.3s |       7 |     4405 |     3223 |      368     13 |        0 |        0
0.48/0.54	c  0.5s |       8 |     6650 |     4936 |      405     20 |        0 |        0
0.79/0.88	c  0.9s |       9 |     9963 |     7506 |      446     28 |        0 |        0
1.20/1.26	c  1.2s |      10 |    14864 |    11361 |      491     40 |        0 |        0
1.69/1.76	c  1.7s |      11 |    22572 |    17144 |      541     58 |        0 |        0
2.49/2.52	c  2.5s |      12 |    33789 |    25819 |      596     82 |        0 |        0
3.58/3.68	c  3.7s |      13 |    50724 |    38832 |      656    119 |        0 |        0
5.38/5.46	c  5.4s |      14 |    76203 |    58352 |      722    166 |        0 |        0
7.39/7.46	c  7.4s |      14 |   104477 |    79352 |      722    214 |        0 |        0
8.29/8.30	c  8.3s |      15 |   114652 |    87632 |      795    233 |        0 |        0
10.29/10.30	c 10.3s |      15 |   135421 |   104632 |      795    268 |        0 |        0
12.29/12.30	c 12.3s |      15 |   158223 |   122532 |      795    306 |        0 |        0
13.20/13.29	c 13.3s |      16 |   169832 |   131552 |      875    325 |        0 |        0
15.29/15.30	c 15.3s |      16 |   194601 |   150852 |      875    362 |        0 |        0
17.29/17.30	c 17.3s |      16 |   220182 |   170652 |      875    401 |        0 |        0
19.29/19.30	c 19.3s |      16 |   247020 |   190552 |      875    440 |        0 |        0
19.99/20.08	c 20.1s |      17 |   255745 |   197432 |      963    453 |        0 |        0
22.00/22.08	c 22.1s |      17 |   279609 |   216132 |      963    486 |        0 |        0
23.99/24.09	c 24.1s |      17 |   305611 |   235732 |      963    521 |        0 |        0
26.09/26.10	c 26.1s |      17 |   332558 |   255932 |      963    557 |        0 |        0
28.09/28.10	c 28.1s |      17 |   357653 |   275232 |      963    592 |        0 |        0
30.09/30.10	c 30.1s |      17 |   382910 |   295232 |     1060    627 |        0 |        0
30.19/30.20	c 30.2s |      18 |   384408 |   296252 |     1060    629 |        0 |        0
32.19/32.21	c 32.2s |      18 |   407894 |   314052 |     1060    658 |        0 |        0
34.19/34.22	c 34.2s |      18 |   430990 |   331852 |     1060    688 |        0 |        0
36.19/36.22	c 36.2s |      18 |   456577 |   351052 |     1060    720 |        0 |        0
38.19/38.22	c 38.2s |      18 |   480992 |   369852 |     1060    751 |        0 |        0
40.19/40.23	c 40.2s |      18 |   505600 |   388652 |     1060    783 |        0 |        0
42.19/42.24	c 42.2s |      18 |   529359 |   406952 |     1060    813 |        0 |        0
44.19/44.24	c 44.2s |      18 |   552859 |   425052 |     1060    843 |        0 |        0
46.19/46.25	c 46.2s |      18 |   578107 |   444252 |     1166    875 |        0 |        0
46.19/46.27	c 46.3s |      19 |   578376 |   444482 |     1166    875 |        0 |        0
48.18/48.27	c 48.3s |      19 |   604592 |   464482 |     1166    905 |        0 |        0
50.18/50.28	c 50.3s |      19 |   629954 |   483682 |     1166    935 |        0 |        0
52.18/52.29	c 52.3s |      19 |   655511 |   503082 |     1166    964 |        0 |        0
54.18/54.29	c 54.3s |      19 |   681150 |   522382 |     1166    994 |        0 |        0
56.28/56.30	c 56.3s |      19 |   706273 |   541582 |     1166   1023 |        0 |        0
58.29/58.31	c 58.3s |      19 |   730295 |   560382 |     1166   1052 |        0 |        0
60.28/60.32	c 60.3s |      19 |   754805 |   579282 |     1166   1081 |        0 |        0
62.28/62.33	c 62.3s |      19 |   777050 |   596982 |     1166   1107 |        0 |        0
64.28/64.34	c 64.3s |      19 |   803988 |   616482 |     1166   1137 |        0 |        0
66.28/66.34	c 66.3s |      19 |   828943 |   635082 |     1166   1166 |        0 |        0
68.29/68.34	c 68.3s |      19 |   854204 |   653982 |     1166   1195 |        0 |        0
69.68/69.70	c 69.7s |      20 |   871531 |   666827 |     1283   1213 |        0 |        0
71.68/71.70	c 71.7s |      20 |   894444 |   684427 |     1283   1238 |        0 |        0
73.69/73.70	c 73.7s |      20 |   916177 |   701227 |     1283   1262 |        0 |        0
75.68/75.71	c 75.7s |      20 |   939407 |   718427 |     1283   1286 |        0 |        0
77.68/77.72	c 77.7s |      20 |   961378 |   735327 |     1283   1309 |        0 |        0
79.68/79.72	c 79.7s |      20 |   984613 |   752627 |     1283   1334 |        0 |        0
81.68/81.73	c 81.7s |      20 |  1007402 |   769427 |     1283   1357 |        0 |        0
83.68/83.73	c 83.7s |      20 |  1028737 |   786427 |     1283   1381 |        0 |        0
85.68/85.74	c 85.7s |      20 |  1054235 |   804727 |     1283   1407 |        0 |        0
87.68/87.74	c 87.7s |      20 |  1077481 |   821727 |     1283   1431 |        0 |        0
89.68/89.75	c 89.7s |      20 |  1101192 |   839527 |     1283   1456 |        0 |        0
91.68/91.76	c 91.7s |      20 |  1123813 |   856927 |     1283   1481 |        0 |        0
93.68/93.76	c 93.7s |      20 |  1148357 |   874927 |     1283   1506 |        0 |        0
95.68/95.76	c 95.7s |      20 |  1170330 |   891827 |     1283   1530 |        0 |        0
97.68/97.77	c 97.8s |      20 |  1195248 |   910127 |     1283   1556 |        0 |        0
99.68/99.77	c 99.8s |      20 |  1219464 |   928227 |     1283   1581 |        0 |        0
101.68/101.77	c  101s |      20 |  1242990 |   946227 |     1283   1607 |        0 |        0
103.67/103.78	c  103s |      20 |  1266671 |   963527 |     1283   1631 |        0 |        0
105.68/105.78	c  105s |      20 |  1291427 |   982027 |     1283   1657 |        0 |        0
107.67/107.75	c  107s |      21 |  1314966 |  1000345 |     1412   1682 |        0 |        0
109.67/109.76	c  109s |      21 |  1338335 |  1018145 |     1412   1704 |        0 |        0
111.67/111.77	c  111s |      21 |  1361911 |  1035745 |     1412   1727 |        0 |        0
113.67/113.78	c  113s |      21 |  1383192 |  1052445 |     1412   1748 |        0 |        0
115.67/115.78	c  115s |      21 |  1405731 |  1069745 |     1412   1770 |        0 |        0
117.68/117.79	c  117s |      21 |  1427937 |  1086945 |     1412   1792 |        0 |        0
119.77/119.80	c  119s |      21 |  1447054 |  1102445 |     1412   1812 |        0 |        0
121.77/121.80	c  121s |      21 |  1469766 |  1120145 |     1412   1835 |        0 |        0
123.76/123.80	c  123s |      21 |  1492085 |  1137545 |     1412   1857 |        0 |        0
125.76/125.81	c  125s |      21 |  1517335 |  1155945 |     1412   1880 |        0 |        0
127.76/127.82	c  127s |      21 |  1541591 |  1174345 |     1412   1904 |        0 |        0
129.77/129.83	c  129s |      21 |  1563656 |  1191445 |     1412   1926 |        0 |        0
131.76/131.83	c  131s |      21 |  1585470 |  1208445 |     1412   1948 |        0 |        0
133.76/133.84	c  133s |      21 |  1607501 |  1225245 |     1412   1970 |        0 |        0
135.76/135.85	c  135s |      21 |  1629619 |  1242245 |     1412   1992 |        0 |        0
137.76/137.86	c  137s |      21 |  1653105 |  1259845 |     1412   2016 |        0 |        0
139.76/139.87	c  139s |      21 |  1677255 |  1277945 |     1412   2039 |        0 |        0
141.75/141.87	c  141s |      21 |  1701378 |  1295945 |     1412   2063 |        0 |        0
143.75/143.88	c  143s |      21 |  1724927 |  1313945 |     1412   2087 |        0 |        0
145.75/145.88	c  145s |      21 |  1749740 |  1332845 |     1412   2111 |        0 |        0
147.75/147.89	c  147s |      21 |  1774179 |  1351345 |     1412   2135 |        0 |        0
149.85/149.90	c  149s |      21 |  1796693 |  1368745 |     1412   2158 |        0 |        0
151.86/151.91	c  151s |      21 |  1819530 |  1386445 |     1412   2182 |        0 |        0
153.85/153.92	c  153s |      21 |  1843396 |  1404645 |     1412   2205 |        0 |        0
155.85/155.93	c  155s |      21 |  1868007 |  1422745 |     1412   2229 |        0 |        0
157.85/157.93	c  157s |      21 |  1893129 |  1441345 |     1412   2253 |        0 |        0
159.85/159.94	c  159s |      21 |  1917196 |  1459645 |     1412   2277 |        0 |        0
161.85/161.94	c  161s |      21 |  1937800 |  1475945 |     1412   2298 |        0 |        0
163.85/163.94	c  163s |      21 |  1961287 |  1493545 |     1554   2320 |        0 |        0
164.65/164.78	c  164s |      22 |  1970804 |  1500622 |     1554   2329 |        0 |        0
166.64/166.78	c  166s |      22 |  1991679 |  1516422 |     1554   2347 |        0 |        0
168.64/168.79	c  168s |      22 |  2015807 |  1533722 |     1554   2368 |        0 |        0
170.74/170.80	c  170s |      22 |  2039099 |  1550622 |     1554   2388 |        0 |        0
172.65/172.80	c  172s |      22 |  2060851 |  1567522 |     1554   2407 |        0 |        0
174.75/174.81	c  174s |      22 |  2082598 |  1583922 |     1554   2427 |        0 |        0
176.75/176.82	c  176s |      22 |  2102929 |  1599822 |     1554   2445 |        0 |        0
178.74/178.82	c  178s |      22 |  2125820 |  1617122 |     1554   2465 |        0 |        0
180.74/180.83	c  180s |      22 |  2149076 |  1634422 |     1554   2486 |        0 |        0
182.74/182.84	c  182s |      22 |  2170064 |  1650822 |     1554   2505 |        0 |        0
184.75/184.85	c  184s |      22 |  2191208 |  1667422 |     1554   2524 |        0 |        0
186.74/186.85	c  186s |      22 |  2213884 |  1684522 |     1554   2544 |        0 |        0
188.74/188.86	c  188s |      22 |  2234782 |  1700422 |     1554   2563 |        0 |        0
190.74/190.86	c  190s |      22 |  2255883 |  1716222 |     1554   2582 |        0 |        0
192.74/192.87	c  192s |      22 |  2277430 |  1732622 |     1554   2601 |        0 |        0
194.75/194.88	c  194s |      22 |  2298625 |  1748922 |     1554   2620 |        0 |        0
196.74/196.88	c  196s |      22 |  2319107 |  1765322 |     1554   2639 |        0 |        0
198.74/198.89	c  198s |      22 |  2339555 |  1781222 |     1554   2658 |        0 |        0
200.74/200.89	c  200s |      22 |  2359984 |  1797122 |     1554   2677 |        0 |        0
202.74/202.89	c  202s |      22 |  2382750 |  1813822 |     1554   2697 |        0 |        0
204.73/204.90	c  204s |      22 |  2405724 |  1830622 |     1554   2717 |        0 |        0
206.84/206.91	c  206s |      22 |  2427233 |  1846722 |     1554   2736 |        0 |        0
208.83/208.91	c  208s |      22 |  2449557 |  1863422 |     1554   2756 |        0 |        0
210.83/210.91	c  210s |      22 |  2471900 |  1879922 |     1554   2775 |        0 |        0
212.83/212.92	c  212s |      22 |  2493568 |  1896322 |     1554   2794 |        0 |        0
214.82/214.93	c  214s |      22 |  2515929 |  1912922 |     1554   2814 |        0 |        0
216.82/216.94	c  216s |      22 |  2537927 |  1929422 |     1554   2833 |        0 |        0
218.83/218.95	c  218s |      22 |  2560256 |  1946022 |     1554   2853 |        0 |        0
220.82/220.96	c  220s |      22 |  2581378 |  1961822 |     1554   2872 |        0 |        0
222.82/222.96	c  222s |      22 |  2603270 |  1977722 |     1554   2890 |        0 |        0
224.82/224.96	c  224s |      22 |  2625591 |  1994222 |     1554   2910 |        0 |        0
226.83/226.97	c  226s |      22 |  2649781 |  2011722 |     1554   2931 |        0 |        0
228.83/228.98	c  228s |      22 |  2672813 |  2028822 |     1554   2950 |        0 |        0
230.83/230.99	c  230s |      22 |  2696716 |  2046222 |     1554   2971 |        0 |        0
232.93/233.00	c  232s |      22 |  2719874 |  2063422 |     1554   2991 |        0 |        0
234.92/235.00	c  234s |      22 |  2743001 |  2080522 |     1554   3011 |        0 |        0
236.92/237.00	c  236s |      22 |  2766011 |  2097522 |     1554   3031 |        0 |        0
238.92/239.02	c  239s |      22 |  2787661 |  2114022 |     1554   3051 |        0 |        0
240.93/241.02	c  241s |      22 |  2810600 |  2131122 |     1554   3071 |        0 |        0
242.92/243.02	c  243s |      22 |  2830208 |  2146822 |     1554   3089 |        0 |        0
244.92/245.03	c  245s |      22 |  2852879 |  2163222 |     1554   3109 |        0 |        0
246.92/247.03	c  247s |      22 |  2873774 |  2179522 |     1554   3128 |        0 |        0
248.92/249.04	c  249s |      22 |  2893974 |  2195022 |     1554   3146 |        0 |        0
250.91/251.04	c  251s |      22 |  2912728 |  2209922 |     1554   3164 |        0 |        0
252.92/253.05	c  253s |      22 |  2933840 |  2226322 |     1554   3183 |        0 |        0
254.91/255.06	c  255s |      22 |  2956553 |  2243022 |     1710   3202 |        0 |        0
255.91/256.05	c  256s |      23 |  2967647 |  2251038 |     1710   3211 |        0 |        0
257.91/258.05	c  258s |      23 |  2990855 |  2268738 |     1710   3230 |        0 |        0
259.91/260.06	c  260s |      23 |  3014119 |  2286538 |     1710   3249 |        0 |        0
261.91/262.07	c  262s |      23 |  3038248 |  2304338 |     1710   3268 |        0 |        0
263.91/264.08	c  264s |      23 |  3061226 |  2321538 |     1710   3287 |        0 |        0
265.90/266.09	c  266s |      23 |  3081125 |  2337838 |     1710   3305 |        0 |        0
268.00/268.10	c  268s |      23 |  3105603 |  2356338 |     1710   3325 |        0 |        0
270.00/270.10	c  270s |      23 |  3128888 |  2374438 |     1710   3345 |        0 |        0
272.00/272.11	c  272s |      23 |  3151371 |  2392238 |     1710   3364 |        0 |        0
274.00/274.11	c  274s |      23 |  3174752 |  2410138 |     1710   3384 |        0 |        0
276.01/276.12	c  276s |      23 |  3200146 |  2429238 |     1710   3404 |        0 |        0
278.00/278.13	c  278s |      23 |  3222920 |  2446738 |     1710   3423 |        0 |        0
280.00/280.13	c  280s |      23 |  3244393 |  2463438 |     1710   3441 |        0 |        0
282.00/282.14	c  282s |      23 |  3266096 |  2480038 |     1710   3459 |        0 |        0
283.99/284.14	c  284s |      23 |  3287753 |  2496638 |     1710   3477 |        0 |        0
286.00/286.15	c  286s |      23 |  3309735 |  2513538 |     1710   3495 |        0 |        0
287.99/288.16	c  288s |      23 |  3331306 |  2530438 |     1710   3513 |        0 |        0
289.99/290.16	c  290s |      23 |  3352331 |  2546738 |     1710   3531 |        0 |        0
291.99/292.17	c  292s |      23 |  3373051 |  2562538 |     1710   3548 |        0 |        0
293.99/294.18	c  294s |      23 |  3394064 |  2578938 |     1710   3566 |        0 |        0
295.99/296.19	c  296s |      23 |  3415170 |  2595238 |     1710   3583 |        0 |        0
298.00/298.20	c  298s |      23 |  3434322 |  2610638 |     1710   3600 |        0 |        0
299.99/300.20	c  300s |      23 |  3456383 |  2627238 |     1710   3618 |        0 |        0
302.09/302.20	c  302s |      23 |  3477742 |  2643738 |     1710   3636 |        0 |        0
304.09/304.20	c  304s |      23 |  3499849 |  2660638 |     1710   3654 |        0 |        0
306.09/306.21	c  306s |      23 |  3521219 |  2677138 |     1710   3672 |        0 |        0
308.09/308.21	c  308s |      23 |  3542696 |  2693738 |     1710   3690 |        0 |        0
310.09/310.21	c  310s |      23 |  3563065 |  2709738 |     1710   3707 |        0 |        0
312.08/312.22	c  312s |      23 |  3584729 |  2726138 |     1710   3725 |        0 |        0
314.08/314.23	c  314s |      23 |  3609593 |  2744238 |     1710   3745 |        0 |        0
316.08/316.23	c  316s |      23 |  3633818 |  2762438 |     1710   3764 |        0 |        0
318.08/318.23	c  318s |      23 |  3658076 |  2780838 |     1710   3784 |        0 |        0
320.09/320.23	c  320s |      23 |  3679670 |  2797838 |     1710   3803 |        0 |        0
322.08/322.24	c  322s |      23 |  3702502 |  2814938 |     1710   3822 |        0 |        0
324.08/324.24	c  324s |      23 |  3725345 |  2832238 |     1710   3841 |        0 |        0
326.08/326.24	c  326s |      23 |  3750020 |  2850438 |     1710   3861 |        0 |        0
328.08/328.25	c  328s |      23 |  3775678 |  2869438 |     1710   3881 |        0 |        0
330.08/330.26	c  330s |      23 |  3799054 |  2887438 |     1710   3901 |        0 |        0
332.09/332.26	c  332s |      23 |  3820810 |  2904438 |     1710   3919 |        0 |        0
334.08/334.28	c  334s |      23 |  3843393 |  2921438 |     1710   3938 |        0 |        0
336.08/336.28	c  336s |      23 |  3865848 |  2938538 |     1710   3957 |        0 |        0
338.08/338.29	c  338s |      23 |  3887753 |  2955538 |     1710   3975 |        0 |        0
340.08/340.29	c  340s |      23 |  3909560 |  2972738 |     1710   3994 |        0 |        0
342.18/342.30	c  342s |      23 |  3931186 |  2989538 |     1710   4012 |        0 |        0
344.18/344.31	c  344s |      23 |  3955085 |  3007238 |     1710   4031 |        0 |        0
346.17/346.32	c  346s |      23 |  3977613 |  3024138 |     1710   4049 |        0 |        0
348.17/348.32	c  348s |      23 |  3999632 |  3040838 |     1710   4068 |        0 |        0
350.17/350.33	c  350s |      23 |  4022344 |  3058338 |     1710   4087 |        0 |        0
352.17/352.33	c  352s |      23 |  4044867 |  3075638 |     1710   4106 |        0 |        0
354.17/354.34	c  354s |      23 |  4068379 |  3093338 |     1710   4125 |        0 |        0
356.17/356.35	c  356s |      23 |  4091838 |  3110638 |     1710   4144 |        0 |        0
358.17/358.36	c  358s |      23 |  4113930 |  3127038 |     1710   4162 |        0 |        0
360.17/360.37	c  360s |      23 |  4134328 |  3143938 |     1710   4180 |        0 |        0
362.17/362.37	c  362s |      23 |  4158474 |  3162338 |     1710   4200 |        0 |        0
364.16/364.37	c  364s |      23 |  4183270 |  3180838 |     1710   4221 |        0 |        0
366.17/366.38	c  366s |      23 |  4206772 |  3198638 |     1710   4240 |        0 |        0
368.16/368.39	c  368s |      23 |  4231094 |  3216638 |     1710   4260 |        0 |        0
370.26/370.40	c  370s |      23 |  4255212 |  3234938 |     1710   4280 |        0 |        0
372.26/372.41	c  372s |      23 |  4278835 |  3252538 |     1710   4299 |        0 |        0
374.25/374.42	c  374s |      23 |  4301008 |  3269338 |     1710   4318 |        0 |        0
376.25/376.42	c  376s |      23 |  4324250 |  3286638 |     1710   4337 |        0 |        0
378.26/378.42	c  378s |      23 |  4348941 |  3304938 |     1710   4357 |        0 |        0
380.25/380.42	c  380s |      23 |  4372096 |  3322538 |     1710   4376 |        0 |        0
382.25/382.43	c  382s |      23 |  4392361 |  3339238 |     1710   4394 |        0 |        0
384.25/384.43	c  384s |      23 |  4414241 |  3355938 |     1882   4412 |        0 |        0
386.25/386.44	c  386s |      23 |  4435260 |  3372438 |     1882   4429 |        0 |        0
386.75/386.97	c  386s |      24 |  4440783 |  3376662 |     1882   4433 |        0 |        0
388.75/388.97	c  388s |      24 |  4460891 |  3392462 |     1882   4449 |        0 |        0
390.75/390.98	c  390s |      24 |  4484284 |  3409662 |     1882   4466 |        0 |        0
392.75/392.98	c  392s |      24 |  4506298 |  3425962 |     1882   4482 |        0 |        0
394.75/394.98	c  394s |      24 |  4527515 |  3441762 |     1882   4498 |        0 |        0
396.74/396.99	c  396s |      24 |  4549621 |  3458162 |     1882   4514 |        0 |        0
398.84/399.00	c  398s |      24 |  4571999 |  3474262 |     1882   4530 |        0 |        0
400.84/401.01	c  400s |      24 |  4592180 |  3489162 |     1882   4545 |        0 |        0
402.84/403.01	c  402s |      24 |  4612151 |  3504462 |     1882   4560 |        0 |        0
404.84/405.02	c  405s |      24 |  4632670 |  3519862 |     1882   4576 |        0 |        0
406.84/407.03	c  407s |      24 |  4653983 |  3535662 |     1882   4592 |        0 |        0
408.83/409.04	c  409s |      24 |  4676563 |  3551962 |     1882   4608 |        0 |        0
410.83/411.05	c  411s |      24 |  4699426 |  3568762 |     1882   4625 |        0 |        0
412.83/413.06	c  413s |      24 |  4722331 |  3585562 |     1882   4642 |        0 |        0
414.83/415.06	c  415s |      24 |  4742922 |  3601162 |     1882   4657 |        0 |        0
416.83/417.07	c  417s |      24 |  4762503 |  3615962 |     1882   4672 |        0 |        0
418.83/419.08	c  419s |      24 |  4783231 |  3631762 |     1882   4688 |        0 |        0
420.83/421.09	c  421s |      24 |  4806954 |  3649262 |     1882   4705 |        0 |        0
422.83/423.09	c  423s |      24 |  4830849 |  3666862 |     1882   4723 |        0 |        0
424.92/425.10	c  425s |      24 |  4851950 |  3683162 |     1882   4739 |        0 |        0
426.92/427.11	c  427s |      24 |  4872837 |  3698762 |     1882   4754 |        0 |        0
428.93/429.11	c  429s |      24 |  4893687 |  3714462 |     1882   4770 |        0 |        0
430.93/431.11	c  431s |      24 |  4915270 |  3731262 |     1882   4787 |        0 |        0
432.93/433.12	c  433s |      24 |  4938953 |  3748762 |     1882   4804 |        0 |        0
434.93/435.12	c  435s |      24 |  4960753 |  3765162 |     1882   4820 |        0 |        0
436.93/437.13	c  437s |      24 |  4981430 |  3781362 |     1882   4836 |        0 |        0
438.93/439.14	c  439s |      24 |  5003651 |  3797362 |     1882   4852 |        0 |        0
440.93/441.14	c  441s |      24 |  5025288 |  3813762 |     1882   4869 |        0 |        0
442.93/443.14	c  443s |      24 |  5048660 |  3830662 |     1882   4885 |        0 |        0
444.93/445.15	c  445s |      24 |  5070303 |  3846762 |     1882   4901 |        0 |        0
446.93/447.16	c  447s |      24 |  5093968 |  3864362 |     1882   4919 |        0 |        0
448.93/449.16	c  449s |      24 |  5115064 |  3880762 |     1882   4935 |        0 |        0
450.93/451.16	c  451s |      24 |  5137941 |  3897462 |     1882   4952 |        0 |        0
452.93/453.17	c  453s |      24 |  5157971 |  3913162 |     1882   4967 |        0 |        0
454.92/455.18	c  455s |      24 |  5180560 |  3929562 |     1882   4984 |        0 |        0
456.92/457.19	c  457s |      24 |  5201908 |  3945862 |     1882   5000 |        0 |        0
458.92/459.19	c  459s |      24 |  5223451 |  3962162 |     1882   5016 |        0 |        0
461.02/461.20	c  461s |      24 |  5243876 |  3977362 |     1882   5031 |        0 |        0
463.02/463.20	c  463s |      24 |  5266519 |  3994262 |     1882   5048 |        0 |        0
465.01/465.21	c  465s |      24 |  5289446 |  4011062 |     1882   5065 |        0 |        0
467.01/467.21	c  467s |      24 |  5311738 |  4027562 |     1882   5081 |        0 |        0
469.01/469.22	c  469s |      24 |  5334214 |  4044562 |     1882   5098 |        0 |        0
471.01/471.22	c  471s |      24 |  5354954 |  4060762 |     1882   5114 |        0 |        0
473.01/473.23	c  473s |      24 |  5377050 |  4077562 |     1882   5131 |        0 |        0
475.01/475.23	c  475s |      24 |  5401669 |  4095262 |     1882   5149 |        0 |        0
477.00/477.23	c  477s |      24 |  5424835 |  4112262 |     1882   5165 |        0 |        0
479.00/479.24	c  479s |      24 |  5446273 |  4128562 |     1882   5182 |        0 |        0
481.00/481.25	c  481s |      24 |  5469012 |  4145162 |     1882   5198 |        0 |        0
483.00/483.25	c  483s |      24 |  5489853 |  4160762 |     1882   5214 |        0 |        0
485.01/485.27	c  485s |      24 |  5512891 |  4177562 |     1882   5231 |        0 |        0
487.00/487.27	c  487s |      24 |  5536075 |  4195062 |     1882   5248 |        0 |        0
489.00/489.27	c  489s |      24 |  5558295 |  4212062 |     1882   5265 |        0 |        0
491.00/491.27	c  491s |      24 |  5581653 |  4229462 |     1882   5283 |        0 |        0
493.00/493.28	c  493s |      24 |  5604599 |  4246362 |     1882   5299 |        0 |        0
495.00/495.29	c  495s |      24 |  5625017 |  4262462 |     1882   5315 |        0 |        0
497.10/497.30	c  497s |      24 |  5646770 |  4278862 |     1882   5332 |        0 |        0
499.10/499.31	c  499s |      24 |  5669930 |  4295962 |     1882   5349 |        0 |        0
501.09/501.32	c  501s |      24 |  5691252 |  4312362 |     1882   5365 |        0 |        0
503.09/503.32	c  503s |      24 |  5714665 |  4329962 |     1882   5382 |        0 |        0
505.09/505.33	c  505s |      24 |  5735856 |  4346162 |     1882   5399 |        0 |        0
507.09/507.34	c  507s |      24 |  5757277 |  4362462 |     1882   5415 |        0 |        0
509.09/509.34	c  509s |      24 |  5779263 |  4378862 |     1882   5431 |        0 |        0
511.09/511.34	c  511s |      24 |  5802194 |  4395862 |     1882   5448 |        0 |        0
513.09/513.35	c  513s |      24 |  5823740 |  4412062 |     1882   5464 |        0 |        0
515.08/515.36	c  515s |      24 |  5844601 |  4427662 |     1882   5480 |        0 |        0
517.08/517.36	c  517s |      24 |  5866162 |  4444662 |     1882   5497 |        0 |        0
519.09/519.36	c  519s |      24 |  5888866 |  4461862 |     1882   5514 |        0 |        0
521.09/521.36	c  521s |      24 |  5912798 |  4479362 |     1882   5532 |        0 |        0
523.08/523.37	c  523s |      24 |  5936390 |  4496662 |     1882   5549 |        0 |        0
525.08/525.39	c  525s |      24 |  5958121 |  4513362 |     1882   5566 |        0 |        0
527.08/527.39	c  527s |      24 |  5978047 |  4528862 |     1882   5581 |        0 |        0
529.18/529.40	c  529s |      24 |  5998464 |  4544962 |     1882   5597 |        0 |        0
531.09/531.40	c  531s |      24 |  6020363 |  4561162 |     1882   5613 |        0 |        0
533.18/533.41	c  533s |      24 |  6042888 |  4577962 |     1882   5630 |        0 |        0
535.18/535.42	c  535s |      24 |  6065345 |  4594162 |     1882   5646 |        0 |        0
537.18/537.43	c  537s |      24 |  6088945 |  4611362 |     1882   5664 |        0 |        0
539.17/539.43	c  539s |      24 |  6110495 |  4627862 |     1882   5680 |        0 |        0
541.17/541.44	c  541s |      24 |  6130159 |  4642862 |     1882   5695 |        0 |        0
543.18/543.44	c  543s |      24 |  6150979 |  4658962 |     1882   5711 |        0 |        0
545.17/545.45	c  545s |      24 |  6172508 |  4675462 |     1882   5728 |        0 |        0
547.17/547.46	c  547s |      24 |  6194433 |  4691762 |     1882   5744 |        0 |        0
549.16/549.46	c  549s |      24 |  6216864 |  4708162 |     1882   5760 |        0 |        0
551.16/551.46	c  551s |      24 |  6239043 |  4724462 |     1882   5777 |        0 |        0
553.17/553.47	c  553s |      24 |  6261086 |  4740962 |     1882   5793 |        0 |        0
555.16/555.48	c  555s |      24 |  6283176 |  4757362 |     1882   5810 |        0 |        0
557.16/557.48	c  557s |      24 |  6303633 |  4773362 |     1882   5826 |        0 |        0
559.16/559.49	c  559s |      24 |  6326158 |  4790062 |     1882   5843 |        0 |        0
561.26/561.50	c  561s |      24 |  6347886 |  4806662 |     1882   5859 |        0 |        0
563.26/563.51	c  563s |      24 |  6369270 |  4822862 |     1882   5875 |        0 |        0
565.25/565.52	c  565s |      24 |  6392426 |  4839562 |     1882   5892 |        0 |        0
567.25/567.52	c  567s |      24 |  6414276 |  4856162 |     1882   5909 |        0 |        0
569.25/569.53	c  569s |      24 |  6434223 |  4871662 |     1882   5924 |        0 |        0
571.25/571.54	c  571s |      24 |  6455899 |  4888262 |     1882   5941 |        0 |        0
573.26/573.54	c  573s |      24 |  6478026 |  4905162 |     1882   5958 |        0 |        0
575.25/575.55	c  575s |      24 |  6499979 |  4921762 |     1882   5974 |        0 |        0
577.26/577.56	c  577s |      24 |  6522260 |  4938662 |     1882   5991 |        0 |        0
579.25/579.56	c  579s |      24 |  6544032 |  4955262 |     1882   6008 |        0 |        0
581.25/581.57	c  581s |      24 |  6564796 |  4971462 |     1882   6024 |        0 |        0
583.25/583.57	c  583s |      24 |  6588124 |  4988662 |     1882   6041 |        0 |        0
585.25/585.57	c  585s |      24 |  6609243 |  5005062 |     1882   6058 |        0 |        0
587.25/587.59	c  587s |      24 |  6629000 |  5020962 |     1882   6073 |        0 |        0
589.25/589.59	c  589s |      24 |  6650245 |  5036862 |     2071   6088 |        0 |        0
591.25/591.60	c  591s |      24 |  6670283 |  5052462 |     2071   6103 |        0 |        0
592.85/593.10	c  593s |      25 |  6687279 |  5065098 |     2071   6114 |        0 |        0
594.85/595.11	c  595s |      25 |  6706502 |  5080098 |     2071   6128 |        0 |        0
596.85/597.12	c  597s |      25 |  6725356 |  5095498 |     2071   6141 |        0 |        0
598.85/599.12	c  599s |      25 |  6744299 |  5110298 |     2071   6155 |        0 |        0
600.84/601.13	c  601s |      25 |  6765487 |  5126398 |     2071   6169 |        0 |        0
602.84/603.14	c  603s |      25 |  6785334 |  5141998 |     2071   6183 |        0 |        0
604.85/605.15	c  605s |      25 |  6804991 |  5157298 |     2071   6197 |        0 |        0
606.84/607.15	c  607s |      25 |  6826478 |  5172798 |     2071   6211 |        0 |        0
608.84/609.16	c  609s |      25 |  6849153 |  5189498 |     2071   6226 |        0 |        0
610.84/611.16	c  611s |      25 |  6869855 |  5204898 |     2071   6240 |        0 |        0
612.84/613.17	c  613s |      25 |  6892168 |  5221998 |     2071   6255 |        0 |        0
614.83/615.17	c  615s |      25 |  6914025 |  5238198 |     2071   6270 |        0 |        0
616.84/617.18	c  617s |      25 |  6934231 |  5253798 |     2071   6284 |        0 |        0
618.83/619.19	c  619s |      25 |  6955278 |  5269798 |     2071   6298 |        0 |        0
620.93/621.20	c  621s |      25 |  6977775 |  5286298 |     2071   6313 |        0 |        0
622.93/623.20	c  623s |      25 |  6998176 |  5301898 |     2071   6327 |        0 |        0
624.93/625.21	c  625s |      25 |  7018499 |  5317498 |     2071   6341 |        0 |        0
626.93/627.22	c  627s |      25 |  7040666 |  5334498 |     2071   6357 |        0 |        0
628.93/629.22	c  629s |      25 |  7063037 |  5350798 |     2071   6372 |        0 |        0
630.93/631.24	c  631s |      25 |  7082109 |  5364198 |     2071   6385 |        0 |        0
632.92/633.24	c  633s |      25 |  7102807 |  5377798 |     2071   6397 |        0 |        0
634.92/635.25	c  635s |      25 |  7122628 |  5392098 |     2071   6411 |        0 |        0
636.92/637.25	c  637s |      25 |  7143220 |  5406798 |     2071   6425 |        0 |        0
638.93/639.25	c  639s |      25 |  7164359 |  5420398 |     2071   6438 |        0 |        0
640.92/641.26	c  641s |      25 |  7185251 |  5434898 |     2071   6452 |        0 |        0
642.92/643.27	c  643s |      25 |  7204454 |  5448998 |     2071   6465 |        0 |        0
644.91/645.28	c  645s |      25 |  7224239 |  5463998 |     2071   6479 |        0 |        0
646.91/647.29	c  647s |      25 |  7243839 |  5478598 |     2071   6493 |        0 |        0
649.02/649.30	c  649s |      25 |  7262410 |  5492998 |     2071   6506 |        0 |        0
651.03/651.31	c  651s |      25 |  7282384 |  5508298 |     2071   6520 |        0 |        0
653.02/653.31	c  653s |      25 |  7301106 |  5523198 |     2071   6534 |        0 |        0
655.01/655.32	c  655s |      25 |  7321542 |  5538598 |     2071   6548 |        0 |        0
657.01/657.33	c  657s |      25 |  7342955 |  5554298 |     2071   6562 |        0 |        0
659.01/659.34	c  659s |      25 |  7362411 |  5569798 |     2071   6576 |        0 |        0
661.01/661.34	c  661s |      25 |  7383244 |  5585298 |     2071   6590 |        0 |        0
663.02/663.34	c  663s |      25 |  7402906 |  5599898 |     2071   6604 |        0 |        0
665.01/665.35	c  665s |      25 |  7421178 |  5613998 |     2071   6616 |        0 |        0
667.01/667.36	c  667s |      25 |  7441173 |  5628698 |     2071   6630 |        0 |        0
669.01/669.37	c  669s |      25 |  7460666 |  5643298 |     2071   6643 |        0 |        0
671.01/671.37	c  671s |      25 |  7479194 |  5657598 |     2071   6656 |        0 |        0
673.01/673.39	c  673s |      25 |  7497757 |  5671998 |     2071   6669 |        0 |        0
675.00/675.40	c  675s |      25 |  7518612 |  5687298 |     2071   6683 |        0 |        0
677.10/677.40	c  677s |      25 |  7539215 |  5702698 |     2071   6697 |        0 |        0
679.10/679.41	c  679s |      25 |  7559628 |  5718598 |     2071   6712 |        0 |        0
681.10/681.41	c  681s |      25 |  7581656 |  5734598 |     2071   6727 |        0 |        0
683.10/683.41	c  683s |      25 |  7600102 |  5748798 |     2071   6741 |        0 |        0
685.10/685.42	c  685s |      25 |  7619788 |  5763698 |     2071   6754 |        0 |        0
687.10/687.43	c  687s |      25 |  7638983 |  5778798 |     2071   6768 |        0 |        0
689.10/689.43	c  689s |      25 |  7657945 |  5793598 |     2071   6782 |        0 |        0
691.10/691.44	c  691s |      25 |  7678881 |  5809498 |     2071   6796 |        0 |        0
693.09/693.45	c  693s |      25 |  7700989 |  5826098 |     2071   6811 |        0 |        0
695.09/695.47	c  695s |      25 |  7720176 |  5840998 |     2071   6825 |        0 |        0
697.10/697.47	c  697s |      25 |  7742014 |  5857298 |     2071   6839 |        0 |        0
699.09/699.48	c  699s |      25 |  7762692 |  5872698 |     2071   6853 |        0 |        0
701.09/701.49	c  701s |      25 |  7783370 |  5888498 |     2071   6868 |        0 |        0
703.09/703.49	c  703s |      25 |  7803245 |  5903898 |     2071   6882 |        0 |        0
705.08/705.49	c  705s |      25 |  7823378 |  5918698 |     2071   6895 |        0 |        0
707.09/707.49	c  707s |      25 |  7844030 |  5933798 |     2071   6909 |        0 |        0
709.19/709.50	c  709s |      25 |  7865301 |  5949698 |     2071   6923 |        0 |        0
711.18/711.51	c  711s |      25 |  7885680 |  5965598 |     2071   6938 |        0 |        0
713.18/713.51	c  713s |      25 |  7906694 |  5981898 |     2071   6952 |        0 |        0
715.18/715.52	c  715s |      25 |  7927100 |  5997498 |     2071   6967 |        0 |        0
717.18/717.52	c  717s |      25 |  7950089 |  6014398 |     2071   6982 |        0 |        0
719.18/719.52	c  719s |      25 |  7973233 |  6031598 |     2071   6998 |        0 |        0
721.18/721.53	c  721s |      25 |  7995567 |  6048398 |     2071   7013 |        0 |        0
723.18/723.53	c  723s |      25 |  8017872 |  6065198 |     2071   7029 |        0 |        0
725.18/725.54	c  725s |      25 |  8036974 |  6080098 |     2071   7042 |        0 |        0
727.18/727.55	c  727s |      25 |  8057869 |  6096698 |     2071   7058 |        0 |        0
729.18/729.56	c  729s |      25 |  8080470 |  6113798 |     2071   7073 |        0 |        0
731.18/731.56	c  731s |      25 |  8102753 |  6130898 |     2071   7089 |        0 |        0
733.18/733.56	c  733s |      25 |  8123538 |  6146998 |     2071   7104 |        0 |        0
735.18/735.57	c  735s |      25 |  8144299 |  6163198 |     2071   7118 |        0 |        0
737.17/737.58	c  737s |      25 |  8165762 |  6179098 |     2071   7133 |        0 |        0
739.17/739.58	c  739s |      25 |  8187517 |  6195998 |     2071   7149 |        0 |        0
741.18/741.59	c  741s |      25 |  8209254 |  6212798 |     2071   7164 |        0 |        0
743.17/743.60	c  743s |      25 |  8231605 |  6229898 |     2071   7180 |        0 |        0
745.27/745.61	c  745s |      25 |  8251828 |  6245098 |     2071   7193 |        0 |        0
747.27/747.62	c  747s |      25 |  8270995 |  6260498 |     2071   7207 |        0 |        0
749.27/749.63	c  749s |      25 |  8290633 |  6275098 |     2071   7221 |        0 |        0
751.27/751.63	c  751s |      25 |  8310040 |  6289598 |     2071   7234 |        0 |        0
753.28/753.63	c  753s |      25 |  8332054 |  6305398 |     2071   7248 |        0 |        0
755.27/755.64	c  755s |      25 |  8353004 |  6320798 |     2071   7263 |        0 |        0
757.27/757.65	c  757s |      25 |  8375243 |  6337598 |     2071   7278 |        0 |        0
759.27/759.66	c  759s |      25 |  8397607 |  6354698 |     2071   7294 |        0 |        0
761.27/761.66	c  761s |      25 |  8419346 |  6371298 |     2071   7309 |        0 |        0
763.27/763.67	c  763s |      25 |  8441471 |  6388198 |     2071   7325 |        0 |        0
765.27/765.67	c  765s |      25 |  8462370 |  6404598 |     2071   7339 |        0 |        0
767.27/767.68	c  767s |      25 |  8484383 |  6421498 |     2071   7355 |        0 |        0
769.27/769.69	c  769s |      25 |  8507097 |  6438498 |     2071   7370 |        0 |        0
771.27/771.70	c  771s |      25 |  8527791 |  6454698 |     2071   7385 |        0 |        0
773.37/773.70	c  773s |      25 |  8547986 |  6469898 |     2071   7399 |        0 |        0
775.37/775.70	c  775s |      25 |  8570043 |  6486298 |     2071   7414 |        0 |        0
777.37/777.72	c  777s |      25 |  8591840 |  6503198 |     2071   7429 |        0 |        0
779.36/779.73	c  779s |      25 |  8613991 |  6519698 |     2071   7445 |        0 |        0
781.36/781.74	c  781s |      25 |  8635108 |  6535498 |     2071   7459 |        0 |        0
783.37/783.75	c  783s |      25 |  8655412 |  6550598 |     2071   7473 |        0 |        0
785.37/785.76	c  785s |      25 |  8677024 |  6566798 |     2071   7488 |        0 |        0
787.38/787.76	c  787s |      25 |  8697032 |  6581898 |     2071   7502 |        0 |        0
789.37/789.76	c  789s |      25 |  8717966 |  6597198 |     2071   7516 |        0 |        0
791.37/791.77	c  791s |      25 |  8740391 |  6613998 |     2071   7531 |        0 |        0
793.37/793.78	c  793s |      25 |  8761746 |  6630198 |     2071   7546 |        0 |        0
795.37/795.78	c  795s |      25 |  8783659 |  6646598 |     2071   7561 |        0 |        0
797.37/797.79	c  797s |      25 |  8805771 |  6662898 |     2071   7576 |        0 |        0
799.37/799.80	c  799s |      25 |  8827620 |  6679298 |     2071   7591 |        0 |        0
801.47/801.81	c  801s |      25 |  8850040 |  6695798 |     2071   7606 |        0 |        0
803.46/803.81	c  803s |      25 |  8871199 |  6711498 |     2071   7620 |        0 |        0
805.46/805.81	c  805s |      25 |  8890765 |  6726298 |     2071   7634 |        0 |        0
807.46/807.82	c  807s |      25 |  8910442 |  6741798 |     2071   7648 |        0 |        0
809.46/809.82	c  809s |      25 |  8931136 |  6757298 |     2071   7662 |        0 |        0
811.47/811.83	c  811s |      25 |  8952868 |  6773598 |     2071   7678 |        0 |        0
813.46/813.83	c  813s |      25 |  8974875 |  6789698 |     2071   7693 |        0 |        0
815.46/815.83	c  815s |      25 |  8996109 |  6805698 |     2071   7707 |        0 |        0
817.46/817.84	c  817s |      25 |  9017933 |  6821398 |     2071   7722 |        0 |        0
819.46/819.84	c  819s |      25 |  9039250 |  6836998 |     2071   7737 |        0 |        0
821.47/821.85	c  821s |      25 |  9060395 |  6852798 |     2071   7751 |        0 |        0
823.46/823.86	c  823s |      25 |  9081251 |  6868198 |     2071   7766 |        0 |        0
825.46/825.87	c  825s |      25 |  9101401 |  6883398 |     2071   7780 |        0 |        0
827.46/827.87	c  827s |      25 |  9121700 |  6898798 |     2071   7794 |        0 |        0
829.46/829.88	c  829s |      25 |  9140940 |  6913598 |     2071   7808 |        0 |        0
831.46/831.88	c  831s |      25 |  9159055 |  6927298 |     2071   7820 |        0 |        0
833.46/833.89	c  833s |      25 |  9176505 |  6940498 |     2071   7832 |        0 |        0
835.56/835.90	c  835s |      25 |  9193939 |  6953898 |     2071   7844 |        0 |        0
837.56/837.90	c  837s |      25 |  9211487 |  6967798 |     2071   7857 |        0 |        0
839.56/839.91	c  839s |      25 |  9229802 |  6981998 |     2071   7870 |        0 |        0
841.56/841.91	c  841s |      25 |  9248198 |  6995998 |     2071   7882 |        0 |        0
843.56/843.91	c  843s |      25 |  9267085 |  7010298 |     2071   7895 |        0 |        0
845.56/845.92	c  845s |      25 |  9286249 |  7024998 |     2071   7909 |        0 |        0
847.56/847.93	c  847s |      25 |  9306010 |  7039998 |     2071   7922 |        0 |        0
849.56/849.94	c  849s |      25 |  9324392 |  7053998 |     2071   7935 |        0 |        0
851.56/851.95	c  851s |      25 |  9341191 |  7067398 |     2071   7947 |        0 |        0
853.55/853.95	c  853s |      25 |  9359671 |  7081398 |     2071   7960 |        0 |        0
855.56/855.97	c  855s |      25 |  9377980 |  7095398 |     2071   7973 |        0 |        0
857.55/857.97	c  857s |      25 |  9396599 |  7109898 |     2071   7986 |        0 |        0
859.55/859.98	c  859s |      25 |  9415968 |  7124398 |     2071   7999 |        0 |        0
861.55/861.99	c  861s |      25 |  9434448 |  7138198 |     2071   8011 |        0 |        0
863.55/863.99	c  863s |      25 |  9452653 |  7151998 |     2071   8024 |        0 |        0
865.55/865.99	c  865s |      25 |  9470524 |  7165798 |     2071   8036 |        0 |        0
867.57/868.00	c  867s |      25 |  9488356 |  7179798 |     2071   8049 |        0 |        0
869.66/870.00	c  869s |      25 |  9506216 |  7193398 |     2071   8061 |        0 |        0
871.66/872.02	c  871s |      25 |  9524920 |  7207398 |     2071   8074 |        0 |        0
873.66/874.03	c  874s |      25 |  9543566 |  7221998 |     2071   8088 |        0 |        0
875.66/876.03	c  876s |      25 |  9563374 |  7236898 |     2071   8101 |        0 |        0
877.66/878.05	c  878s |      25 |  9583033 |  7251598 |     2071   8115 |        0 |        0
879.66/880.06	c  880s |      25 |  9602554 |  7266098 |     2071   8128 |        0 |        0
881.66/882.07	c  882s |      25 |  9621484 |  7280598 |     2071   8141 |        0 |        0
883.66/884.08	c  884s |      25 |  9636863 |  7293198 |     2071   8152 |        0 |        0
885.66/886.08	c  886s |      25 |  9654193 |  7306598 |     2071   8165 |        0 |        0
887.66/888.08	c  888s |      25 |  9672675 |  7320898 |     2071   8178 |        0 |        0
889.66/890.09	c  890s |      25 |  9690598 |  7334898 |     2071   8190 |        0 |        0
891.65/892.10	c  892s |      25 |  9710019 |  7349498 |     2071   8204 |        0 |        0
893.75/894.11	c  894s |      25 |  9728781 |  7363998 |     2071   8217 |        0 |        0
895.75/896.12	c  896s |      25 |  9747049 |  7378098 |     2071   8230 |        0 |        0
897.75/898.13	c  898s |      25 |  9763870 |  7391698 |     2071   8242 |        0 |        0
899.75/900.13	c  900s |      25 |  9782602 |  7405898 |     2071   8255 |        0 |        0
901.76/902.13	c  902s |      25 |  9801253 |  7420298 |     2071   8268 |        0 |        0
903.75/904.14	c  904s |      25 |  9821066 |  7434898 |     2071   8281 |        0 |        0
905.75/906.14	c  906s |      25 |  9839973 |  7449098 |     2071   8294 |        0 |        0
907.75/908.14	c  908s |      25 |  9857930 |  7463098 |     2071   8307 |        0 |        0
909.75/910.15	c  910s |      25 |  9878376 |  7478598 |     2071   8321 |        0 |        0
911.75/912.15	c  912s |      25 |  9897274 |  7492998 |     2071   8334 |        0 |        0
913.75/914.16	c  914s |      25 |  9916670 |  7507498 |     2071   8347 |        0 |        0
915.75/916.17	c  916s |      25 |  9935729 |  7522098 |     2071   8361 |        0 |        0
917.75/918.18	c  918s |      25 |  9955043 |  7536898 |     2071   8374 |        0 |        0
919.75/920.19	c  920s |      25 |  9971728 |  7549898 |     2279   8385 |        0 |        0
921.84/922.21	c  922s |      25 |  9987692 |  7562498 |     2279   8396 |        0 |        0
923.84/924.21	c  924s |      25 | 10004303 |  7575498 |     2279   8406 |        0 |        0
925.85/926.22	c  926s |      25 | 10019357 |  7587798 |     2279   8416 |        0 |        0
927.44/927.83	c  927s |      26 | 10032202 |  7597752 |     2279   8425 |        0 |        0
929.44/929.84	c  929s |      26 | 10052800 |  7612952 |     2279   8437 |        0 |        0
931.45/931.85	c  931s |      26 | 10072179 |  7627952 |     2279   8450 |        0 |        0
933.44/933.86	c  933s |      26 | 10093396 |  7643652 |     2279   8462 |        0 |        0
935.44/935.86	c  935s |      26 | 10113897 |  7659352 |     2279   8475 |        0 |        0
937.44/937.88	c  937s |      26 | 10134817 |  7675052 |     2279   8488 |        0 |        0
939.44/939.89	c  939s |      26 | 10155388 |  7690652 |     2279   8501 |        0 |        0
941.54/941.90	c  941s |      26 | 10175007 |  7705752 |     2279   8514 |        0 |        0
943.45/943.90	c  943s |      26 | 10195053 |  7720552 |     2279   8526 |        0 |        0
945.54/945.90	c  945s |      26 | 10213551 |  7734752 |     2279   8538 |        0 |        0
947.54/947.91	c  947s |      26 | 10234450 |  7749952 |     2279   8550 |        0 |        0
949.54/949.93	c  949s |      26 | 10253630 |  7764152 |     2279   8562 |        0 |        0
951.54/951.94	c  951s |      26 | 10274643 |  7779552 |     2279   8575 |        0 |        0
953.54/953.95	c  953s |      26 | 10295401 |  7794352 |     2279   8588 |        0 |        0
955.54/955.96	c  955s |      26 | 10316631 |  7810352 |     2279   8601 |        0 |        0
957.54/957.96	c  957s |      26 | 10334850 |  7824252 |     2279   8612 |        0 |        0
959.54/959.96	c  959s |      26 | 10353747 |  7838452 |     2279   8624 |        0 |        0
961.54/961.98	c  961s |      26 | 10371769 |  7852452 |     2279   8636 |        0 |        0
963.54/963.98	c  963s |      26 | 10391529 |  7867352 |     2279   8648 |        0 |        0
965.54/965.99	c  965s |      26 | 10410845 |  7881752 |     2279   8660 |        0 |        0
967.54/968.00	c  967s |      26 | 10429076 |  7896152 |     2279   8672 |        0 |        0
969.64/970.00	c  969s |      26 | 10448082 |  7910552 |     2279   8684 |        0 |        0
971.64/972.00	c  971s |      26 | 10466527 |  7924752 |     2279   8696 |        0 |        0
973.64/974.01	c  973s |      26 | 10485835 |  7939652 |     2279   8709 |        0 |        0
975.63/976.03	c  976s |      26 | 10503522 |  7953552 |     2279   8720 |        0 |        0
977.65/978.03	c  978s |      26 | 10520765 |  7966152 |     2279   8731 |        0 |        0
979.64/980.04	c  980s |      26 | 10539620 |  7979752 |     2279   8742 |        0 |        0
981.64/982.05	c  982s |      26 | 10558622 |  7994152 |     2279   8754 |        0 |        0
983.64/984.06	c  984s |      26 | 10580188 |  8009952 |     2279   8768 |        0 |        0
985.64/986.07	c  986s |      26 | 10600497 |  8025552 |     2279   8781 |        0 |        0
987.64/988.08	c  988s |      26 | 10621336 |  8040952 |     2279   8794 |        0 |        0
989.65/990.08	c  990s |      26 | 10643393 |  8057152 |     2279   8807 |        0 |        0
991.64/992.08	c  992s |      26 | 10664090 |  8072752 |     2279   8820 |        0 |        0
993.64/994.09	c  994s |      26 | 10684270 |  8087952 |     2279   8833 |        0 |        0
995.74/996.10	c  996s |      26 | 10705384 |  8103952 |     2279   8846 |        0 |        0
997.74/998.11	c  998s |      26 | 10726457 |  8119452 |     2279   8859 |        0 |        0
999.74/1000.12	c 1000s |      26 | 10749404 |  8136052 |     2279   8873 |        0 |        0
1001.74/1002.12	c 1002s |      26 | 10771890 |  8152052 |     2279   8886 |        0 |        0
1003.74/1004.13	c 1004s |      26 | 10793471 |  8167952 |     2279   8900 |        0 |        0
1005.74/1006.15	c 1006s |      26 | 10815270 |  8183352 |     2279   8913 |        0 |        0
1007.73/1008.15	c 1008s |      26 | 10836716 |  8199052 |     2279   8926 |        0 |        0
1009.73/1010.16	c 1010s |      26 | 10858239 |  8214852 |     2279   8939 |        0 |        0
1011.74/1012.17	c 1012s |      26 | 10878637 |  8230252 |     2279   8952 |        0 |        0
1013.73/1014.18	c 1014s |      26 | 10900208 |  8245652 |     2279   8965 |        0 |        0
1015.73/1016.19	c 1016s |      26 | 10922741 |  8261952 |     2279   8978 |        0 |        0
1017.73/1018.19	c 1018s |      26 | 10943372 |  8276752 |     2279   8991 |        0 |        0
1019.83/1020.20	c 1020s |      26 | 10964338 |  8292152 |     2279   9004 |        0 |        0
1021.83/1022.21	c 1022s |      26 | 10985112 |  8308352 |     2279   9017 |        0 |        0
1023.84/1024.22	c 1024s |      26 | 11003802 |  8323152 |     2279   9029 |        0 |        0
1025.83/1026.22	c 1026s |      26 | 11023838 |  8338252 |     2279   9042 |        0 |        0
1027.83/1028.23	c 1028s |      26 | 11044355 |  8353352 |     2279   9055 |        0 |        0
1029.83/1030.23	c 1030s |      26 | 11064977 |  8368752 |     2279   9068 |        0 |        0
1031.83/1032.23	c 1032s |      26 | 11087072 |  8384452 |     2279   9081 |        0 |        0
1033.83/1034.24	c 1034s |      26 | 11107669 |  8399752 |     2279   9093 |        0 |        0
1035.84/1036.25	c 1036s |      26 | 11127967 |  8414952 |     2279   9106 |        0 |        0
1037.83/1038.26	c 1038s |      26 | 11149502 |  8430952 |     2279   9120 |        0 |        0
1039.83/1040.27	c 1040s |      26 | 11170738 |  8446352 |     2279   9133 |        0 |        0
1041.83/1042.27	c 1042s |      26 | 11191569 |  8461852 |     2279   9145 |        0 |        0
1043.83/1044.28	c 1044s |      26 | 11213817 |  8477552 |     2279   9158 |        0 |        0
1045.83/1046.29	c 1046s |      26 | 11233570 |  8492852 |     2279   9171 |        0 |        0
1047.83/1048.29	c 1048s |      26 | 11255424 |  8509052 |     2279   9184 |        0 |        0
1049.93/1050.30	c 1050s |      26 | 11277064 |  8524852 |     2279   9198 |        0 |        0
1051.93/1052.32	c 1052s |      26 | 11298180 |  8540852 |     2279   9211 |        0 |        0
1053.93/1054.32	c 1054s |      26 | 11317613 |  8555752 |     2279   9223 |        0 |        0
1055.93/1056.33	c 1056s |      26 | 11337156 |  8570652 |     2279   9236 |        0 |        0
1057.93/1058.34	c 1058s |      26 | 11356310 |  8585152 |     2279   9248 |        0 |        0
1059.92/1060.34	c 1060s |      26 | 11375358 |  8599352 |     2279   9260 |        0 |        0
1061.92/1062.36	c 1062s |      26 | 11396061 |  8614752 |     2279   9273 |        0 |        0
1063.92/1064.36	c 1064s |      26 | 11418510 |  8631152 |     2279   9286 |        0 |        0
1065.92/1066.36	c 1066s |      26 | 11440418 |  8646852 |     2279   9299 |        0 |        0
1067.92/1068.36	c 1068s |      26 | 11461613 |  8662252 |     2279   9312 |        0 |        0
1069.93/1070.37	c 1070s |      26 | 11480439 |  8676852 |     2279   9324 |        0 |        0
1071.92/1072.38	c 1072s |      26 | 11501948 |  8692452 |     2279   9338 |        0 |        0
1073.92/1074.39	c 1074s |      26 | 11522535 |  8707652 |     2279   9350 |        0 |        0
1076.02/1076.40	c 1076s |      26 | 11542870 |  8722852 |     2279   9363 |        0 |        0
1078.02/1078.41	c 1078s |      26 | 11560577 |  8737252 |     2279   9375 |        0 |        0
1080.02/1080.42	c 1080s |      26 | 11581018 |  8752652 |     2279   9388 |        0 |        0
1082.02/1082.42	c 1082s |      26 | 11603187 |  8768352 |     2279   9401 |        0 |        0
1084.02/1084.43	c 1084s |      26 | 11623351 |  8783552 |     2279   9414 |        0 |        0
1086.02/1086.43	c 1086s |      26 | 11644806 |  8798652 |     2279   9426 |        0 |        0
1088.02/1088.43	c 1088s |      26 | 11663808 |  8813352 |     2279   9439 |        0 |        0
1090.02/1090.44	c 1090s |      26 | 11682937 |  8828252 |     2279   9451 |        0 |        0
1092.02/1092.45	c 1092s |      26 | 11703503 |  8843952 |     2279   9465 |        0 |        0
1094.02/1094.45	c 1094s |      26 | 11722822 |  8858952 |     2279   9478 |        0 |        0
1096.03/1096.46	c 1096s |      26 | 11743489 |  8874252 |     2279   9491 |        0 |        0
1098.03/1098.46	c 1098s |      26 | 11761861 |  8888652 |     2279   9503 |        0 |        0
1100.02/1100.46	c 1100s |      26 | 11781473 |  8903752 |     2279   9516 |        0 |        0
1102.02/1102.47	c 1102s |      26 | 11801490 |  8918852 |     2279   9529 |        0 |        0
1104.03/1104.48	c 1104s |      26 | 11821154 |  8933452 |     2279   9542 |        0 |        0
1106.02/1106.49	c 1106s |      26 | 11841348 |  8948852 |     2279   9555 |        0 |        0
1108.02/1108.49	c 1108s |      26 | 11860076 |  8963352 |     2279   9567 |        0 |        0
1110.12/1110.51	c 1110s |      26 | 11880168 |  8978452 |     2279   9580 |        0 |        0
1112.12/1112.52	c 1112s |      26 | 11899379 |  8992952 |     2279   9593 |        0 |        0
1114.12/1114.52	c 1114s |      26 | 11918087 |  9007352 |     2279   9605 |        0 |        0
1116.13/1116.53	c 1116s |      26 | 11937060 |  9021752 |     2279   9618 |        0 |        0
1118.12/1118.53	c 1118s |      26 | 11954676 |  9035552 |     2279   9629 |        0 |        0
1120.12/1120.55	c 1120s |      26 | 11973194 |  9048752 |     2279   9641 |        0 |        0
1122.12/1122.56	c 1122s |      26 | 11991870 |  9062652 |     2279   9653 |        0 |        0
1124.12/1124.56	c 1124s |      26 | 12008568 |  9076052 |     2279   9664 |        0 |        0
1126.12/1126.57	c 1126s |      26 | 12027164 |  9090352 |     2279   9676 |        0 |        0
1128.12/1128.58	c 1128s |      26 | 12047443 |  9106152 |     2279   9690 |        0 |        0
1130.22/1130.60	c 1130s |      26 | 12068226 |  9121852 |     2279   9703 |        0 |        0
1132.22/1132.60	c 1132s |      26 | 12086785 |  9136352 |     2279   9716 |        0 |        0
1134.22/1134.60	c 1134s |      26 | 12105473 |  9150852 |     2279   9728 |        0 |        0
1136.22/1136.60	c 1136s |      26 | 12125847 |  9166052 |     2279   9741 |        0 |        0
1138.22/1138.62	c 1138s |      26 | 12146680 |  9181752 |     2279   9755 |        0 |        0
1140.21/1140.62	c 1140s |      26 | 12165629 |  9196552 |     2279   9767 |        0 |        0
1142.21/1142.63	c 1142s |      26 | 12184685 |  9210952 |     2279   9780 |        0 |        0
1144.21/1144.64	c 1144s |      26 | 12203802 |  9225252 |     2279   9792 |        0 |        0
1146.21/1146.64	c 1146s |      26 | 12221970 |  9238852 |     2279   9804 |        0 |        0
1148.21/1148.65	c 1148s |      26 | 12239932 |  9252552 |     2279   9816 |        0 |        0
1150.22/1150.66	c 1150s |      26 | 12258801 |  9267152 |     2279   9828 |        0 |        0
1152.21/1152.67	c 1152s |      26 | 12279534 |  9282652 |     2279   9842 |        0 |        0
1154.21/1154.68	c 1154s |      26 | 12297771 |  9296652 |     2279   9854 |        0 |        0
1156.21/1156.69	c 1156s |      26 | 12316998 |  9311552 |     2279   9866 |        0 |        0
1158.21/1158.69	c 1158s |      26 | 12335034 |  9325552 |     2279   9878 |        0 |        0
1160.22/1160.70	c 1160s |      26 | 12355353 |  9340252 |     2279   9890 |        0 |        0
1162.32/1162.70	c 1162s |      26 | 12375337 |  9355252 |     2279   9903 |        0 |        0
1164.31/1164.71	c 1164s |      26 | 12395260 |  9370052 |     2279   9915 |        0 |        0
1166.31/1166.72	c 1166s |      26 | 12414448 |  9384652 |     2279   9927 |        0 |        0
1168.31/1168.73	c 1168s |      26 | 12435089 |  9400052 |     2279   9940 |        0 |        0
1170.31/1170.74	c 1170s |      26 | 12454107 |  9414652 |     2279   9952 |        0 |        0
1172.31/1172.76	c 1172s |      26 | 12473422 |  9429352 |     2279   9964 |        0 |        0
1174.31/1174.76	c 1174s |      26 | 12491935 |  9443652 |     2279   9976 |        0 |        0
1176.31/1176.77	c 1176s |      26 | 12513334 |  9459552 |     2279   9989 |        0 |        0
1178.31/1178.78	c 1178s |      26 | 12535011 |  9475552 |     2279  10003 |        0 |        0
1180.31/1180.78	c 1180s |      26 | 12554179 |  9490152 |     2279  10015 |        0 |        0
1182.31/1182.78	c 1182s |      26 | 12576066 |  9506252 |     2279  10029 |        0 |        0
1184.31/1184.79	c 1184s |      26 | 12597880 |  9522652 |     2279  10042 |        0 |        0
1186.40/1186.80	c 1186s |      26 | 12618122 |  9537652 |     2279  10055 |        0 |        0
1188.40/1188.81	c 1188s |      26 | 12640403 |  9553652 |     2279  10069 |        0 |        0
1190.40/1190.81	c 1190s |      26 | 12659370 |  9567952 |     2279  10081 |        0 |        0
1192.40/1192.81	c 1192s |      26 | 12678750 |  9582452 |     2279  10093 |        0 |        0
1194.40/1194.82	c 1194s |      26 | 12698425 |  9596852 |     2279  10105 |        0 |        0
1196.41/1196.83	c 1196s |      26 | 12716749 |  9610852 |     2279  10117 |        0 |        0
1198.40/1198.83	c 1198s |      26 | 12733779 |  9623952 |     2279  10128 |        0 |        0
1200.40/1200.83	c 1200s |      26 | 12751482 |  9637752 |     2279  10140 |        0 |        0
1202.40/1202.83	c 1202s |      26 | 12769112 |  9651452 |     2279  10152 |        0 |        0
1204.40/1204.85	c 1204s |      26 | 12787231 |  9665552 |     2279  10163 |        0 |        0
1206.41/1206.86	c 1206s |      26 | 12807469 |  9680652 |     2279  10176 |        0 |        0
1208.40/1208.86	c 1208s |      26 | 12826888 |  9695852 |     2279  10189 |        0 |        0
1210.40/1210.87	c 1210s |      26 | 12845393 |  9710452 |     2279  10202 |        0 |        0
1212.40/1212.87	c 1212s |      26 | 12865789 |  9725852 |     2279  10215 |        0 |        0
1214.40/1214.87	c 1214s |      26 | 12887788 |  9741752 |     2279  10228 |        0 |        0
1216.40/1216.88	c 1216s |      26 | 12909779 |  9757652 |     2279  10242 |        0 |        0
1218.40/1218.89	c 1218s |      26 | 12930047 |  9772952 |     2279  10255 |        0 |        0
1220.50/1220.91	c 1220s |      26 | 12950667 |  9788352 |     2279  10268 |        0 |        0
1222.50/1222.92	c 1222s |      26 | 12972699 |  9804652 |     2279  10281 |        0 |        0
1224.50/1224.92	c 1224s |      26 | 12993842 |  9820052 |     2279  10294 |        0 |        0
1226.50/1226.93	c 1226s |      26 | 13014426 |  9835552 |     2279  10308 |        0 |        0
1228.51/1228.94	c 1228s |      26 | 13034006 |  9849752 |     2279  10320 |        0 |        0
1230.51/1230.95	c 1230s |      26 | 13054475 |  9864852 |     2279  10332 |        0 |        0
1232.50/1232.95	c 1232s |      26 | 13075848 |  9880552 |     2279  10346 |        0 |        0
1234.50/1234.96	c 1234s |      26 | 13095778 |  9895552 |     2279  10358 |        0 |        0
1236.50/1236.96	c 1236s |      26 | 13114473 |  9909852 |     2279  10370 |        0 |        0
1238.50/1238.97	c 1238s |      26 | 13132692 |  9924452 |     2279  10382 |        0 |        0
1240.51/1240.98	c 1240s |      26 | 13152605 |  9939652 |     2279  10395 |        0 |        0
1242.50/1242.99	c 1242s |      26 | 13172115 |  9954352 |     2279  10407 |        0 |        0
1244.50/1244.99	c 1244s |      26 | 13192857 |  9969752 |     2279  10420 |        0 |        0
1246.60/1247.00	c 1246s |      26 | 13213207 |  9984952 |     2279  10433 |        0 |        0
1248.60/1249.00	c 1248s |      26 | 13234142 | 10000252 |     2279  10446 |        0 |        0
1250.60/1251.01	c 1250s |      26 | 13254852 | 10015352 |     2279  10459 |        0 |        0
1252.61/1253.02	c 1253s |      26 | 13275435 | 10030552 |     2279  10472 |        0 |        0
1254.60/1255.03	c 1255s |      26 | 13292642 | 10044052 |     2279  10483 |        0 |        0
1256.60/1257.04	c 1257s |      26 | 13311016 | 10058152 |     2279  10495 |        0 |        0
1258.60/1259.04	c 1259s |      26 | 13331429 | 10073852 |     2279  10508 |        0 |        0
1260.60/1261.04	c 1261s |      26 | 13353567 | 10089352 |     2279  10521 |        0 |        0
1262.60/1263.06	c 1263s |      26 | 13373478 | 10104352 |     2279  10534 |        0 |        0
1264.60/1265.07	c 1265s |      26 | 13391536 | 10118052 |     2279  10546 |        0 |        0
1266.60/1267.08	c 1267s |      26 | 13409143 | 10131452 |     2279  10557 |        0 |        0
1268.60/1269.08	c 1269s |      26 | 13427246 | 10145252 |     2279  10569 |        0 |        0
1270.60/1271.09	c 1271s |      26 | 13445986 | 10159352 |     2279  10581 |        0 |        0
1272.60/1273.09	c 1273s |      26 | 13466673 | 10174652 |     2279  10594 |        0 |        0
1274.70/1275.10	c 1275s |      26 | 13489323 | 10190152 |     2279  10607 |        0 |        0
1276.70/1277.12	c 1277s |      26 | 13509871 | 10205552 |     2279  10620 |        0 |        0
1278.70/1279.13	c 1279s |      26 | 13530075 | 10220352 |     2279  10632 |        0 |        0
1280.70/1281.14	c 1281s |      26 | 13549344 | 10235452 |     2279  10645 |        0 |        0
1282.70/1283.14	c 1283s |      26 | 13569108 | 10250852 |     2279  10658 |        0 |        0
1284.69/1285.14	c 1285s |      26 | 13588966 | 10265852 |     2279  10671 |        0 |        0
1286.70/1287.14	c 1287s |      26 | 13608730 | 10281352 |     2279  10684 |        0 |        0
1288.69/1289.15	c 1289s |      26 | 13630733 | 10297352 |     2279  10697 |        0 |        0
1290.69/1291.15	c 1291s |      26 | 13651846 | 10312852 |     2279  10710 |        0 |        0
1292.69/1293.15	c 1293s |      26 | 13673815 | 10329152 |     2279  10724 |        0 |        0
1294.69/1295.16	c 1295s |      26 | 13691394 | 10342952 |     2279  10736 |        0 |        0
1296.69/1297.17	c 1297s |      26 | 13710853 | 10357852 |     2279  10748 |        0 |        0
1298.69/1299.17	c 1299s |      26 | 13730828 | 10373152 |     2279  10761 |        0 |        0
1300.69/1301.18	c 1301s |      26 | 13750832 | 10388252 |     2279  10774 |        0 |        0
1302.69/1303.19	c 1303s |      26 | 13771418 | 10403752 |     2279  10787 |        0 |        0
1304.79/1305.20	c 1305s |      26 | 13790268 | 10418252 |     2279  10800 |        0 |        0
1306.79/1307.21	c 1307s |      26 | 13810826 | 10433552 |     2279  10812 |        0 |        0
1308.79/1309.22	c 1309s |      26 | 13830923 | 10448452 |     2279  10825 |        0 |        0
1310.79/1311.22	c 1311s |      26 | 13851424 | 10463552 |     2279  10838 |        0 |        0
1312.78/1313.23	c 1313s |      26 | 13870710 | 10478752 |     2279  10851 |        0 |        0
1314.78/1315.23	c 1315s |      26 | 13890948 | 10493852 |     2279  10863 |        0 |        0
1316.78/1317.24	c 1317s |      26 | 13910285 | 10508252 |     2279  10876 |        0 |        0
1318.78/1319.25	c 1319s |      26 | 13928162 | 10521952 |     2279  10887 |        0 |        0
1320.79/1321.25	c 1321s |      26 | 13947940 | 10536552 |     2279  10900 |        0 |        0
1322.78/1323.25	c 1323s |      26 | 13965933 | 10550952 |     2279  10912 |        0 |        0
1324.78/1325.26	c 1325s |      26 | 13983118 | 10564252 |     2279  10923 |        0 |        0
1326.78/1327.27	c 1327s |      26 | 14001964 | 10578652 |     2279  10935 |        0 |        0
1328.78/1329.28	c 1329s |      26 | 14019296 | 10592152 |     2279  10947 |        0 |        0
1330.78/1331.29	c 1331s |      26 | 14038929 | 10606652 |     2279  10959 |        0 |        0
1332.79/1333.30	c 1333s |      26 | 14057229 | 10620552 |     2279  10971 |        0 |        0
1334.88/1335.32	c 1335s |      26 | 14076578 | 10634952 |     2279  10983 |        0 |        0
1336.88/1337.34	c 1337s |      26 | 14094112 | 10648952 |     2279  10995 |        0 |        0
1338.89/1339.35	c 1339s |      26 | 14113532 | 10663652 |     2279  11007 |        0 |        0
1340.89/1341.36	c 1341s |      26 | 14133221 | 10678852 |     2279  11020 |        0 |        0
1342.89/1343.36	c 1343s |      26 | 14153620 | 10693652 |     2279  11032 |        0 |        0
1344.89/1345.37	c 1345s |      26 | 14172223 | 10707752 |     2279  11044 |        0 |        0
1346.88/1347.37	c 1347s |      26 | 14192342 | 10722352 |     2279  11057 |        0 |        0
1348.88/1349.38	c 1349s |      26 | 14213096 | 10737652 |     2279  11070 |        0 |        0
1350.88/1351.38	c 1351s |      26 | 14234556 | 10753452 |     2279  11083 |        0 |        0
1352.98/1353.40	c 1353s |      26 | 14255466 | 10768852 |     2279  11096 |        0 |        0
1354.98/1355.41	c 1355s |      26 | 14276143 | 10784252 |     2279  11109 |        0 |        0
1356.99/1357.41	c 1357s |      26 | 14292696 | 10797852 |     2279  11121 |        0 |        0
1358.98/1359.42	c 1359s |      26 | 14310463 | 10811652 |     2279  11132 |        0 |        0
1360.98/1361.42	c 1361s |      26 | 14330138 | 10826452 |     2279  11145 |        0 |        0
1362.98/1363.43	c 1363s |      26 | 14349195 | 10840352 |     2279  11157 |        0 |        0
1364.98/1365.43	c 1365s |      26 | 14369008 | 10855352 |     2279  11169 |        0 |        0
1366.99/1367.43	c 1367s |      26 | 14389567 | 10870152 |     2279  11182 |        0 |        0
1368.98/1369.43	c 1369s |      26 | 14408751 | 10884652 |     2279  11194 |        0 |        0
1370.98/1371.44	c 1371s |      26 | 14427524 | 10899052 |     2279  11206 |        0 |        0
1372.98/1373.44	c 1373s |      26 | 14448715 | 10914152 |     2279  11219 |        0 |        0
1374.98/1375.45	c 1375s |      26 | 14469209 | 10929452 |     2279  11232 |        0 |        0
1376.98/1377.45	c 1377s |      26 | 14488636 | 10943952 |     2279  11245 |        0 |        0
1378.98/1379.46	c 1379s |      26 | 14506388 | 10957752 |     2279  11256 |        0 |        0
1380.98/1381.47	c 1381s |      26 | 14526992 | 10972452 |     2279  11269 |        0 |        0
1382.97/1383.48	c 1383s |      26 | 14547610 | 10987552 |     2279  11282 |        0 |        0
1384.97/1385.48	c 1385s |      26 | 14566088 | 11001652 |     2279  11293 |        0 |        0
1386.97/1387.48	c 1387s |      26 | 14585722 | 11016052 |     2279  11306 |        0 |        0
1388.98/1389.49	c 1389s |      26 | 14605291 | 11030652 |     2279  11318 |        0 |        0
1390.97/1391.49	c 1391s |      26 | 14623086 | 11044352 |     2279  11330 |        0 |        0
1393.07/1393.51	c 1393s |      26 | 14641388 | 11058252 |     2279  11341 |        0 |        0
1395.07/1395.52	c 1395s |      26 | 14660383 | 11072252 |     2279  11353 |        0 |        0
1397.07/1397.53	c 1397s |      26 | 14678098 | 11085652 |     2279  11365 |        0 |        0
1399.07/1399.53	c 1399s |      26 | 14696731 | 11099752 |     2279  11377 |        0 |        0
1401.08/1401.54	c 1401s |      26 | 14715019 | 11113752 |     2279  11388 |        0 |        0
1403.07/1403.56	c 1403s |      26 | 14732181 | 11126852 |     2279  11400 |        0 |        0
1405.07/1405.56	c 1405s |      26 | 14749804 | 11140452 |     2279  11411 |        0 |        0
1407.07/1407.57	c 1407s |      26 | 14768544 | 11154352 |     2279  11423 |        0 |        0
1409.07/1409.58	c 1409s |      26 | 14787681 | 11168852 |     2279  11435 |        0 |        0
1411.07/1411.59	c 1411s |      26 | 14806518 | 11182752 |     2279  11447 |        0 |        0
1413.17/1413.61	c 1413s |      26 | 14825325 | 11197052 |     2279  11459 |        0 |        0
1415.17/1415.61	c 1415s |      26 | 14846843 | 11212252 |     2279  11472 |        0 |        0
1417.17/1417.63	c 1417s |      26 | 14865963 | 11226752 |     2279  11484 |        0 |        0
1419.17/1419.63	c 1419s |      26 | 14883144 | 11240552 |     2279  11496 |        0 |        0
1421.17/1421.64	c 1421s |      26 | 14902253 | 11254852 |     2279  11508 |        0 |        0
1423.17/1423.65	c 1423s |      26 | 14922148 | 11269552 |     2279  11520 |        0 |        0
1425.17/1425.65	c 1425s |      26 | 14941365 | 11284152 |     2279  11533 |        0 |        0
1427.17/1427.67	c 1427s |      26 | 14960979 | 11298952 |     2279  11545 |        0 |        0
1429.17/1429.68	c 1429s |      26 | 14981126 | 11313552 |     2279  11558 |        0 |        0
1431.16/1431.69	c 1431s |      26 | 15000516 | 11327952 |     2507  11569 |        0 |        0
1433.17/1433.69	c 1433s |      26 | 15018199 | 11341452 |     2507  11579 |        0 |        0
1435.27/1435.70	c 1435s |      26 | 15037719 | 11356352 |     2507  11591 |        0 |        0
1437.28/1437.71	c 1437s |      26 | 15056372 | 11370252 |     2507  11602 |        0 |        0
1439.27/1439.71	c 1439s |      26 | 15075011 | 11384252 |     2507  11612 |        0 |        0
1441.07/1441.55	c 1441s |      27 | 15091590 | 11396733 |     2507  11622 |        0 |        0
1443.07/1443.56	c 1443s |      27 | 15107899 | 11409533 |     2507  11632 |        0 |        0
1445.08/1445.57	c 1445s |      27 | 15124951 | 11422533 |     2507  11641 |        0 |        0
1447.07/1447.58	c 1447s |      27 | 15142395 | 11435633 |     2507  11651 |        0 |        0
1449.07/1449.59	c 1449s |      27 | 15158541 | 11448333 |     2507  11661 |        0 |        0
1451.17/1451.60	c 1451s |      27 | 15177354 | 11462333 |     2507  11671 |        0 |        0
1453.17/1453.61	c 1453s |      27 | 15195146 | 11475933 |     2507  11682 |        0 |        0
1455.17/1455.61	c 1455s |      27 | 15215097 | 11490733 |     2507  11693 |        0 |        0
1457.18/1457.61	c 1457s |      27 | 15233660 | 11504833 |     2507  11703 |        0 |        0
1459.17/1459.62	c 1459s |      27 | 15253321 | 11519533 |     2507  11714 |        0 |        0
1461.17/1461.62	c 1461s |      27 | 15271563 | 11533833 |     2507  11725 |        0 |        0
1463.17/1463.63	c 1463s |      27 | 15290075 | 11548033 |     2507  11736 |        0 |        0
1465.17/1465.64	c 1465s |      27 | 15309475 | 11562633 |     2507  11747 |        0 |        0
1467.17/1467.64	c 1467s |      27 | 15327013 | 11576633 |     2507  11758 |        0 |        0
1469.17/1469.65	c 1469s |      27 | 15345242 | 11590933 |     2507  11768 |        0 |        0
1471.17/1471.66	c 1471s |      27 | 15363138 | 11604833 |     2507  11779 |        0 |        0
1473.17/1473.66	c 1473s |      27 | 15381408 | 11618933 |     2507  11789 |        0 |        0
1475.17/1475.67	c 1475s |      27 | 15397812 | 11631833 |     2507  11799 |        0 |        0
1477.17/1477.68	c 1477s |      27 | 15415804 | 11645533 |     2507  11809 |        0 |        0
1479.17/1479.68	c 1479s |      27 | 15431823 | 11658333 |     2507  11819 |        0 |        0
1481.17/1481.70	c 1481s |      27 | 15449520 | 11671733 |     2507  11829 |        0 |        0
1483.26/1483.71	c 1483s |      27 | 15468076 | 11685733 |     2507  11840 |        0 |        0
1485.26/1485.71	c 1485s |      27 | 15486326 | 11699933 |     2507  11851 |        0 |        0
1487.26/1487.72	c 1487s |      27 | 15505790 | 11714533 |     2507  11862 |        0 |        0
1489.26/1489.72	c 1489s |      27 | 15525627 | 11729233 |     2507  11873 |        0 |        0
1491.27/1491.73	c 1491s |      27 | 15543357 | 11743333 |     2507  11883 |        0 |        0
1493.26/1493.73	c 1493s |      27 | 15561675 | 11757533 |     2507  11894 |        0 |        0
1495.26/1495.74	c 1495s |      27 | 15579218 | 11771033 |     2507  11904 |        0 |        0
1497.26/1497.74	c 1497s |      27 | 15597219 | 11784733 |     2507  11914 |        0 |        0
1499.26/1499.75	c 1499s |      27 | 15614146 | 11798133 |     2507  11925 |        0 |        0
1501.26/1501.76	c 1501s |      27 | 15632937 | 11812633 |     2507  11936 |        0 |        0
1503.27/1503.76	c 1503s |      27 | 15650381 | 11826333 |     2507  11946 |        0 |        0
1505.26/1505.77	c 1505s |      27 | 15668219 | 11839933 |     2507  11956 |        0 |        0
1507.26/1507.77	c 1507s |      27 | 15685591 | 11853533 |     2507  11966 |        0 |        0
1509.26/1509.78	c 1509s |      27 | 15704137 | 11867833 |     2507  11977 |        0 |        0
1511.26/1511.78	c 1511s |      27 | 15722696 | 11881933 |     2507  11988 |        0 |        0
1513.27/1513.79	c 1513s |      27 | 15741927 | 11896633 |     2507  11999 |        0 |        0
1515.26/1515.79	c 1515s |      27 | 15758341 | 11909633 |     2507  12009 |        0 |        0
1517.26/1517.79	c 1517s |      27 | 15776461 | 11923533 |     2507  12019 |        0 |        0
1519.36/1519.82	c 1519s |      27 | 15794463 | 11937333 |     2507  12030 |        0 |        0
1521.35/1521.82	c 1521s |      27 | 15812871 | 11951633 |     2507  12041 |        0 |        0
1523.35/1523.83	c 1523s |      27 | 15830169 | 11965433 |     2507  12051 |        0 |        0
1525.36/1525.84	c 1525s |      27 | 15848206 | 11979233 |     2507  12062 |        0 |        0
1527.35/1527.85	c 1527s |      27 | 15868123 | 11993833 |     2507  12073 |        0 |        0
1529.35/1529.86	c 1529s |      27 | 15886821 | 12008033 |     2507  12083 |        0 |        0
1531.35/1531.87	c 1531s |      27 | 15906958 | 12023333 |     2507  12095 |        0 |        0
1533.35/1533.88	c 1533s |      27 | 15926156 | 12038133 |     2507  12106 |        0 |        0
1535.35/1535.89	c 1535s |      27 | 15945514 | 12053133 |     2507  12117 |        0 |        0
1537.36/1537.90	c 1537s |      27 | 15960777 | 12065933 |     2507  12127 |        0 |        0
1539.45/1539.91	c 1539s |      27 | 15980118 | 12080533 |     2507  12138 |        0 |        0
1541.45/1541.91	c 1541s |      27 | 16000197 | 12096033 |     2507  12150 |        0 |        0
1543.45/1543.91	c 1543s |      27 | 16020781 | 12111733 |     2507  12162 |        0 |        0
1545.45/1545.91	c 1545s |      27 | 16038874 | 12126033 |     2507  12173 |        0 |        0
1547.45/1547.92	c 1547s |      27 | 16059084 | 12141333 |     2507  12184 |        0 |        0
1549.45/1549.92	c 1549s |      27 | 16078302 | 12156233 |     2507  12196 |        0 |        0
1551.45/1551.93	c 1551s |      27 | 16097609 | 12171033 |     2507  12207 |        0 |        0
1553.45/1553.94	c 1553s |      27 | 16117438 | 12186433 |     2507  12218 |        0 |        0
1555.45/1555.95	c 1555s |      27 | 16135582 | 12200733 |     2507  12229 |        0 |        0
1557.45/1557.96	c 1557s |      27 | 16153123 | 12214833 |     2507  12240 |        0 |        0
1559.46/1559.97	c 1559s |      27 | 16173259 | 12230033 |     2507  12252 |        0 |        0
1561.45/1561.98	c 1561s |      27 | 16191956 | 12244433 |     2507  12262 |        0 |        0
1563.45/1563.99	c 1563s |      27 | 16211706 | 12259433 |     2507  12274 |        0 |        0
1565.55/1566.00	c 1565s |      27 | 16230534 | 12273633 |     2507  12285 |        0 |        0
1567.55/1568.00	c 1567s |      27 | 16248015 | 12287433 |     2507  12295 |        0 |        0
1569.55/1570.02	c 1570s |      27 | 16268249 | 12302433 |     2507  12307 |        0 |        0
1571.56/1572.03	c 1572s |      27 | 16286693 | 12317133 |     2507  12318 |        0 |        0
1573.55/1574.04	c 1574s |      27 | 16305544 | 12332033 |     2507  12329 |        0 |        0
1575.55/1576.05	c 1576s |      27 | 16326010 | 12347433 |     2507  12341 |        0 |        0
1577.55/1578.06	c 1578s |      27 | 16346557 | 12362933 |     2507  12352 |        0 |        0
1579.55/1580.06	c 1580s |      27 | 16366623 | 12377733 |     2507  12364 |        0 |        0
1581.55/1582.07	c 1582s |      27 | 16386870 | 12392933 |     2507  12375 |        0 |        0
1583.56/1584.08	c 1584s |      27 | 16406380 | 12407733 |     2507  12387 |        0 |        0
1585.55/1586.09	c 1586s |      27 | 16425364 | 12422233 |     2507  12398 |        0 |        0
1587.65/1588.10	c 1588s |      27 | 16443066 | 12436233 |     2507  12408 |        0 |        0
1589.65/1590.10	c 1590s |      27 | 16463798 | 12451733 |     2507  12420 |        0 |        0
1591.65/1592.11	c 1592s |      27 | 16484213 | 12466733 |     2507  12431 |        0 |        0
1593.65/1594.11	c 1594s |      27 | 16502861 | 12481033 |     2507  12442 |        0 |        0
1595.65/1596.11	c 1596s |      27 | 16522200 | 12495933 |     2507  12454 |        0 |        0
1597.65/1598.12	c 1598s |      27 | 16542441 | 12511333 |     2507  12465 |        0 |        0
1599.65/1600.14	c 1600s |      27 | 16561907 | 12526133 |     2507  12477 |        0 |        0
1601.65/1602.14	c 1602s |      27 | 16582062 | 12541333 |     2507  12488 |        0 |        0
1603.65/1604.15	c 1604s |      27 | 16601320 | 12556033 |     2507  12499 |        0 |        0
1605.65/1606.16	c 1606s |      27 | 16620398 | 12570733 |     2507  12511 |        0 |        0
1607.64/1608.16	c 1608s |      27 | 16640577 | 12586433 |     2507  12523 |        0 |        0
1609.64/1610.17	c 1610s |      27 | 16660239 | 12601833 |     2507  12535 |        0 |        0
1611.64/1612.17	c 1612s |      27 | 16679524 | 12616933 |     2507  12546 |        0 |        0
1613.64/1614.18	c 1614s |      27 | 16698272 | 12631633 |     2507  12558 |        0 |        0
1615.64/1616.18	c 1616s |      27 | 16718351 | 12647033 |     2507  12569 |        0 |        0
1617.65/1618.19	c 1618s |      27 | 16738523 | 12662533 |     2507  12581 |        0 |        0
1619.74/1620.20	c 1620s |      27 | 16757910 | 12677533 |     2507  12593 |        0 |        0
1621.74/1622.20	c 1622s |      27 | 16777372 | 12692333 |     2507  12604 |        0 |        0
1623.74/1624.22	c 1624s |      27 | 16796668 | 12707033 |     2507  12616 |        0 |        0
1625.74/1626.22	c 1626s |      27 | 16815829 | 12722033 |     2507  12627 |        0 |        0
1627.74/1628.22	c 1628s |      27 | 16836283 | 12737533 |     2507  12639 |        0 |        0
1629.75/1630.23	c 1630s |      27 | 16856374 | 12752733 |     2507  12651 |        0 |        0
1631.74/1632.24	c 1632s |      27 | 16876783 | 12768133 |     2507  12663 |        0 |        0
1633.74/1634.25	c 1634s |      27 | 16896285 | 12783033 |     2507  12675 |        0 |        0
1635.74/1636.26	c 1636s |      27 | 16917207 | 12798733 |     2507  12687 |        0 |        0
1637.74/1638.27	c 1638s |      27 | 16937450 | 12814133 |     2507  12699 |        0 |        0
1639.74/1640.27	c 1640s |      27 | 16958577 | 12829933 |     2507  12711 |        0 |        0
1641.74/1642.27	c 1642s |      27 | 16979858 | 12845433 |     2507  12723 |        0 |        0
1643.74/1644.28	c 1644s |      27 | 16998662 | 12860033 |     2507  12734 |        0 |        0
1645.74/1646.29	c 1646s |      27 | 17016613 | 12874133 |     2507  12745 |        0 |        0
1647.84/1648.30	c 1648s |      27 | 17033828 | 12887333 |     2507  12755 |        0 |        0
1649.84/1650.30	c 1650s |      27 | 17054464 | 12902433 |     2507  12767 |        0 |        0
1651.84/1652.32	c 1652s |      27 | 17072870 | 12916633 |     2507  12778 |        0 |        0
1653.84/1654.33	c 1654s |      27 | 17092450 | 12931433 |     2507  12789 |        0 |        0
1655.84/1656.34	c 1656s |      27 | 17111635 | 12946233 |     2507  12801 |        0 |        0
1657.84/1658.36	c 1658s |      27 | 17131457 | 12961533 |     2507  12813 |        0 |        0
1659.83/1660.37	c 1660s |      27 | 17151601 | 12976333 |     2507  12824 |        0 |        0
1661.83/1662.37	c 1662s |      27 | 17170514 | 12990933 |     2507  12835 |        0 |        0
1663.84/1664.38	c 1664s |      27 | 17188510 | 13004933 |     2507  12846 |        0 |        0
1665.83/1666.38	c 1666s |      27 | 17204877 | 13018033 |     2507  12856 |        0 |        0
1667.83/1668.38	c 1668s |      27 | 17223478 | 13032633 |     2507  12867 |        0 |        0
1669.83/1670.39	c 1670s |      27 | 17242451 | 13047233 |     2507  12878 |        0 |        0
1671.83/1672.40	c 1672s |      27 | 17260590 | 13061433 |     2507  12889 |        0 |        0
1673.93/1674.40	c 1674s |      27 | 17278314 | 13074633 |     2507  12899 |        0 |        0
1675.94/1676.41	c 1676s |      27 | 17295262 | 13087833 |     2507  12910 |        0 |        0
1677.93/1678.43	c 1678s |      27 | 17313644 | 13101833 |     2507  12920 |        0 |        0
1679.93/1680.44	c 1680s |      27 | 17332305 | 13116033 |     2507  12931 |        0 |        0
1681.93/1682.44	c 1682s |      27 | 17349533 | 13129733 |     2507  12942 |        0 |        0
1683.93/1684.44	c 1684s |      27 | 17366863 | 13143033 |     2507  12952 |        0 |        0
1685.94/1686.44	c 1686s |      27 | 17383432 | 13155933 |     2507  12962 |        0 |        0
1687.93/1688.44	c 1688s |      27 | 17401341 | 13169633 |     2507  12972 |        0 |        0
1689.93/1690.45	c 1690s |      27 | 17419356 | 13183733 |     2507  12983 |        0 |        0
1691.93/1692.45	c 1692s |      27 | 17436609 | 13197833 |     2507  12994 |        0 |        0
1693.93/1694.46	c 1694s |      27 | 17454953 | 13211933 |     2507  13005 |        0 |        0
1695.93/1696.46	c 1696s |      27 | 17473753 | 13226433 |     2507  13016 |        0 |        0
1697.93/1698.47	c 1698s |      27 | 17492268 | 13240633 |     2507  13027 |        0 |        0
1699.93/1700.48	c 1700s |      27 | 17510508 | 13254933 |     2507  13038 |        0 |        0
1701.93/1702.49	c 1702s |      27 | 17528098 | 13268433 |     2507  13048 |        0 |        0
1703.93/1704.49	c 1704s |      27 | 17546148 | 13282233 |     2507  13059 |        0 |        0
1706.02/1706.50	c 1706s |      27 | 17564946 | 13296733 |     2507  13070 |        0 |        0
1708.03/1708.51	c 1708s |      27 | 17585955 | 13312033 |     2507  13082 |        0 |        0
1710.03/1710.52	c 1710s |      27 | 17604389 | 13326133 |     2507  13093 |        0 |        0
1712.02/1712.52	c 1712s |      27 | 17623975 | 13340633 |     2507  13104 |        0 |        0
1714.02/1714.55	c 1714s |      27 | 17644104 | 13355533 |     2507  13116 |        0 |        0
1716.02/1716.56	c 1716s |      27 | 17661947 | 13369233 |     2507  13126 |        0 |        0
1718.02/1718.56	c 1718s |      27 | 17680565 | 13383333 |     2507  13137 |        0 |        0
1720.03/1720.57	c 1720s |      27 | 17698162 | 13396933 |     2507  13147 |        0 |        0
1722.02/1722.59	c 1722s |      27 | 17715617 | 13410533 |     2507  13158 |        0 |        0
1724.02/1724.59	c 1724s |      27 | 17734899 | 13424733 |     2507  13169 |        0 |        0
1726.12/1726.61	c 1726s |      27 | 17754752 | 13439533 |     2507  13180 |        0 |        0
1728.12/1728.62	c 1728s |      27 | 17773457 | 13453633 |     2507  13191 |        0 |        0
1730.12/1730.62	c 1730s |      27 | 17792113 | 13468133 |     2507  13203 |        0 |        0
1732.13/1732.64	c 1732s |      27 | 17809975 | 13482233 |     2507  13213 |        0 |        0
1734.13/1734.65	c 1734s |      27 | 17829293 | 13496733 |     2507  13225 |        0 |        0
1736.13/1736.65	c 1736s |      27 | 17849657 | 13511933 |     2507  13236 |        0 |        0
1738.13/1738.65	c 1738s |      27 | 17869712 | 13526833 |     2507  13248 |        0 |        0
1740.13/1740.66	c 1740s |      27 | 17889701 | 13541833 |     2507  13259 |        0 |        0
1742.13/1742.67	c 1742s |      27 | 17907337 | 13555733 |     2507  13270 |        0 |        0
1744.13/1744.67	c 1744s |      27 | 17925421 | 13570033 |     2507  13281 |        0 |        0
1746.12/1746.68	c 1746s |      27 | 17942216 | 13583433 |     2507  13292 |        0 |        0
1748.12/1748.68	c 1748s |      27 | 17961656 | 13598033 |     2507  13303 |        0 |        0
1750.12/1750.69	c 1750s |      27 | 17981236 | 13612533 |     2507  13314 |        0 |        0
1752.22/1752.70	c 1752s |      27 | 17997563 | 13625733 |     2507  13324 |        0 |        0
1754.22/1754.70	c 1754s |      27 | 18015016 | 13639433 |     2507  13335 |        0 |        0
1756.23/1756.70	c 1756s |      27 | 18033697 | 13654033 |     2507  13346 |        0 |        0
1758.22/1758.72	c 1758s |      27 | 18053871 | 13668833 |     2507  13358 |        0 |        0
1760.22/1760.72	c 1760s |      27 | 18072559 | 13683133 |     2507  13369 |        0 |        0
1762.22/1762.73	c 1762s |      27 | 18092608 | 13698033 |     2507  13380 |        0 |        0
1764.22/1764.73	c 1764s |      27 | 18111684 | 13712533 |     2507  13391 |        0 |        0
1766.22/1766.73	c 1766s |      27 | 18132013 | 13727533 |     2507  13403 |        0 |        0
1768.22/1768.74	c 1768s |      27 | 18152515 | 13742233 |     2507  13414 |        0 |        0
1770.22/1770.74	c 1770s |      27 | 18172667 | 13757233 |     2507  13426 |        0 |        0
1772.22/1772.76	c 1772s |      27 | 18191004 | 13771433 |     2507  13437 |        0 |        0
1774.22/1774.77	c 1774s |      27 | 18209051 | 13784833 |     2507  13447 |        0 |        0
1776.22/1776.78	c 1776s |      27 | 18226517 | 13798133 |     2507  13457 |        0 |        0
1778.22/1778.79	c 1778s |      27 | 18244314 | 13811933 |     2507  13468 |        0 |        0
1780.32/1780.80	c 1780s |      27 | 18262638 | 13825633 |     2507  13479 |        0 |        0
1782.32/1782.80	c 1782s |      27 | 18281122 | 13839833 |     2507  13489 |        0 |        0
1784.31/1784.81	c 1784s |      27 | 18299496 | 13854233 |     2507  13501 |        0 |        0
1786.31/1786.83	c 1786s |      27 | 18319483 | 13869033 |     2507  13512 |        0 |        0
1788.31/1788.84	c 1788s |      27 | 18336793 | 13882133 |     2507  13522 |        0 |        0
1790.32/1790.85	c 1790s |      27 | 18356317 | 13896933 |     2507  13533 |        0 |        0
1792.31/1792.86	c 1792s |      27 | 18375063 | 13911033 |     2507  13544 |        0 |        0
1794.31/1794.86	c 1794s |      27 | 18392162 | 13924233 |     2507  13554 |        0 |        0
1796.31/1796.87	c 1796s |      27 | 18409622 | 13937833 |     2507  13565 |        0 |        0
1798.31/1798.87	c 1798s |      27 | 18428959 | 13952133 |     2507  13576 |        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-4121218-1467313925/watcher-4121218-1467313925 -o /tmp/evaluation-result-4121218-1467313925/solver-4121218-1467313925 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node104-1467310023-19960 --watchdog 1960 toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4121218-1467313925.opb 

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

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


[startup+0 s]
/proc/loadavg: 2.27 2.13 2.05 3/177 20795
/proc/meminfo: memFree=29430176/32872528 swapFree=447588/480292
[pid=20795] ppid=20792 vsize=691644 CPUtime=0 cores=1,3,5,7
/proc/20795/stat : 20795 (toysat) R 20792 20795 16080 0 -1 4202496 2574 0 0 0 0 0 0 0 20 0 4 0 12496254 708243456 3445 33554432000 4194304 16246674 140734145101680 140734145101104 13880264 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/20795/statm: 173679 3455 441 2943 0 170573 0
[pid=20795/tid=20796] ppid=20792 vsize=710076 CPUtime=0 cores=1,3,5,7
/proc/20795/task/20796/stat : 20796 (toysat) S 20792 20795 16080 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 12496254 727117824 3516 33554432000 4194304 16246674 140734145101680 140405190405360 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=20795/tid=20797] ppid=20792 vsize=714172 CPUtime=0 cores=1,3,5,7
/proc/20795/task/20797/stat : 20797 (toysat) S 20792 20795 16080 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12496254 731312128 3532 33554432000 4194304 16246674 140734145101680 140405179915504 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=20795/tid=20798] ppid=20792 vsize=718268 CPUtime=0 cores=1,3,5,7
/proc/20795/task/20798/stat : 20798 (toysat) S 20792 20795 16080 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 12496254 735506432 3549 33554432000 4194304 16246674 140734145101680 140405098146992 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0

[startup+0.100177 s]
/proc/loadavg: 2.27 2.13 2.05 3/177 20795
/proc/meminfo: memFree=29430176/32872528 swapFree=447588/480292
[pid=20795] ppid=20792 vsize=1218116 CPUtime=0.09 cores=1,3,5,7
/proc/20795/stat : 20795 (toysat) R 20792 20795 16080 0 -1 4202496 24919 0 0 0 6 3 0 0 20 0 4 0 12496254 1247350784 25780 33554432000 4194304 16246674 140734145101680 140734145101104 13191389 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/20795/statm: 304529 25789 707 2943 0 301423 0
[pid=20795/tid=20796] ppid=20792 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/20795/task/20796/stat : 20796 (toysat) S 20792 20795 16080 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 12496254 1247350784 25797 33554432000 4194304 16246674 140734145101680 140405190405360 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=20795/tid=20797] ppid=20792 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/20795/task/20797/stat : 20797 (toysat) S 20792 20795 16080 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12496254 1247350784 25805 33554432000 4194304 16246674 140734145101680 140405179915504 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=20795/tid=20798] ppid=20792 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/20795/task/20798/stat : 20798 (toysat) S 20792 20795 16080 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 12496254 1247350784 25811 33554432000 4194304 16246674 140734145101680 140405098146992 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 1218116

[startup+0.200547 s]
/proc/loadavg: 2.27 2.13 2.05 3/177 20795
/proc/meminfo: memFree=29430176/32872528 swapFree=447588/480292
[pid=20795] ppid=20792 vsize=1218116 CPUtime=0.19 cores=1,3,5,7
/proc/20795/stat : 20795 (toysat) R 20792 20795 16080 0 -1 4202496 47229 0 0 0 13 6 0 0 20 0 4 0 12496254 1247350784 48089 33554432000 4194304 16246674 140734145101680 140734145083584 5669490 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/20795/statm: 304529 48102 708 2943 0 301423 0
[pid=20795/tid=20796] ppid=20792 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/20795/task/20796/stat : 20796 (toysat) S 20792 20795 16080 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 12496254 1247350784 48111 33554432000 4194304 16246674 140734145101680 140405190405360 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=20795/tid=20797] ppid=20792 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/20795/task/20797/stat : 20797 (toysat) S 20792 20795 16080 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12496254 1247350784 48116 33554432000 4194304 16246674 140734145101680 140405179915504 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=20795/tid=20798] ppid=20792 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/20795/task/20798/stat : 20798 (toysat) S 20792 20795 16080 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 12496254 1247350784 48120 33554432000 4194304 16246674 140734145101680 140405098146992 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 1218116

[startup+0.300501 s]
/proc/loadavg: 2.27 2.13 2.05 3/177 20795
/proc/meminfo: memFree=29430176/32872528 swapFree=447588/480292
[pid=20795] ppid=20792 vsize=1218116 CPUtime=0.29 cores=1,3,5,7
/proc/20795/stat : 20795 (toysat) R 20792 20795 16080 0 -1 4202496 69533 0 0 0 20 9 0 0 20 0 4 0 12496254 1247350784 70393 33554432000 4194304 16246674 140734145101680 140734145083584 5677277 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/20795/statm: 304529 70404 708 2943 0 301423 0
[pid=20795/tid=20796] ppid=20792 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/20795/task/20796/stat : 20796 (toysat) S 20792 20795 16080 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 12496254 1247350784 70409 33554432000 4194304 16246674 140734145101680 140405190405360 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=20795/tid=20797] ppid=20792 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/20795/task/20797/stat : 20797 (toysat) S 20792 20795 16080 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12496254 1247350784 70416 33554432000 4194304 16246674 140734145101680 140405179915504 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=20795/tid=20798] ppid=20792 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/20795/task/20798/stat : 20798 (toysat) S 20792 20795 16080 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 12496254 1247350784 70424 33554432000 4194304 16246674 140734145101680 140405098146992 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 1218116

[startup+0.700416 s]
/proc/loadavg: 2.27 2.13 2.05 3/177 20795
/proc/meminfo: memFree=29430176/32872528 swapFree=447588/480292
[pid=20795] ppid=20792 vsize=1218116 CPUtime=0.69 cores=1,3,5,7
/proc/20795/stat : 20795 (toysat) R 20792 20795 16080 0 -1 4202496 160802 0 0 0 48 21 0 0 20 0 4 0 12496254 1247350784 161662 33554432000 4194304 16246674 140734145101680 140734145083584 13965592 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/20795/statm: 304529 161676 708 2943 0 301423 0
[pid=20795/tid=20796] ppid=20792 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/20795/task/20796/stat : 20796 (toysat) S 20792 20795 16080 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 12496254 1247350784 161686 33554432000 4194304 16246674 140734145101680 140405190405360 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=20795/tid=20797] ppid=20792 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/20795/task/20797/stat : 20797 (toysat) S 20792 20795 16080 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12496254 1247350784 161693 33554432000 4194304 16246674 140734145101680 140405179915504 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=20795/tid=20798] ppid=20792 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/20795/task/20798/stat : 20798 (toysat) S 20792 20795 16080 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 12496254 1247350784 161699 33554432000 4194304 16246674 140734145101680 140405098146992 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 1218116

[startup+1.50042 s]
/proc/loadavg: 2.27 2.13 2.05 3/181 20799
/proc/meminfo: memFree=28445340/32872528 swapFree=447588/480292
[pid=20795] ppid=20792 vsize=1219140 CPUtime=1.49 cores=1,3,5,7
/proc/20795/stat : 20795 (toysat) R 20792 20795 16080 0 -1 4202496 245691 0 0 0 116 33 0 0 20 0 4 0 12496254 1248399360 246531 33554432000 4194304 16246674 140734145101680 140734145083584 5707706 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/20795/statm: 304785 246531 783 2943 0 301679 0
[pid=20795/tid=20796] ppid=20792 vsize=1219140 CPUtime=0 cores=1,3,5,7
/proc/20795/task/20796/stat : 20796 (toysat) S 20792 20795 16080 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 12496254 1248399360 246531 33554432000 4194304 16246674 140734145101680 140405190405360 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=20795/tid=20797] ppid=20792 vsize=1219140 CPUtime=0 cores=1,3,5,7
/proc/20795/task/20797/stat : 20797 (toysat) S 20792 20795 16080 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12496254 1248399360 246531 33554432000 4194304 16246674 140734145101680 140405179915504 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=20795/tid=20798] ppid=20792 vsize=1219140 CPUtime=0 cores=1,3,5,7
/proc/20795/task/20798/stat : 20798 (toysat) S 20792 20795 16080 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 12496254 1248399360 246531 33554432000 4194304 16246674 140734145101680 140405098146992 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 1219140

[startup+3.10043 s]
/proc/loadavg: 2.27 2.13 2.05 3/181 20799
/proc/meminfo: memFree=28358044/32872528 swapFree=447588/480292
[pid=20795] ppid=20792 vsize=1306180 CPUtime=3.08 cores=1,3,5,7
/proc/20795/stat : 20795 (toysat) R 20792 20795 16080 0 -1 4202496 267455 0 0 0 272 36 0 0 20 0 4 0 12496254 1337528320 268295 33554432000 4194304 16246674 140734145101680 140734145083584 5672188 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/20795/statm: 326545 268295 783 2943 0 323439 0
[pid=20795/tid=20796] ppid=20792 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/20795/task/20796/stat : 20796 (toysat) S 20792 20795 16080 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 12496254 1337528320 268295 33554432000 4194304 16246674 140734145101680 140405190405360 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=20795/tid=20797] ppid=20792 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/20795/task/20797/stat : 20797 (toysat) S 20792 20795 16080 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12496254 1337528320 268295 33554432000 4194304 16246674 140734145101680 140405179915504 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=20795/tid=20798] ppid=20792 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/20795/task/20798/stat : 20798 (toysat) S 20792 20795 16080 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 12496254 1337528320 268295 33554432000 4194304 16246674 140734145101680 140405098146992 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 1306180

[startup+6.30049 s]
/proc/loadavg: 2.25 2.13 2.05 3/181 20799
/proc/meminfo: memFree=28357192/32872528 swapFree=447588/480292
[pid=20795] ppid=20792 vsize=1307204 CPUtime=6.29 cores=1,3,5,7
/proc/20795/stat : 20795 (toysat) R 20792 20795 16080 0 -1 4202496 267649 0 0 0 592 37 0 0 20 0 4 0 12496254 1338576896 268489 33554432000 4194304 16246674 140734145101680 140734145084680 5545721 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/20795/statm: 326801 268489 783 2943 0 323695 0
[pid=20795/tid=20796] ppid=20792 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/20795/task/20796/stat : 20796 (toysat) S 20792 20795 16080 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 12496254 1338576896 268489 33554432000 4194304 16246674 140734145101680 140405190405360 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=20795/tid=20797] ppid=20792 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/20795/task/20797/stat : 20797 (toysat) S 20792 20795 16080 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12496254 1338576896 268489 33554432000 4194304 16246674 140734145101680 140405179915504 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=20795/tid=20798] ppid=20792 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/20795/task/20798/stat : 20798 (toysat) S 20792 20795 16080 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 12496254 1338576896 268489 33554432000 4194304 16246674 140734145101680 140405098146992 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 1307204

[startup+12.7005 s]
/proc/loadavg: 2.23 2.13 2.05 3/181 20799
/proc/meminfo: memFree=28356036/32872528 swapFree=447588/480292
[pid=20795] ppid=20792 vsize=1307204 CPUtime=12.69 cores=1,3,5,7
/proc/20795/stat : 20795 (toysat) R 20792 20795 16080 0 -1 4202496 267722 0 0 0 1232 37 0 0 20 0 4 0 12496254 1338576896 268562 33554432000 4194304 16246674 140734145101680 140734145083584 5677520 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/20795/statm: 326801 268562 784 2943 0 323695 0
[pid=20795/tid=20796] ppid=20792 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/20795/task/20796/stat : 20796 (toysat) S 20792 20795 16080 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 12496254 1338576896 268562 33554432000 4194304 16246674 140734145101680 140405190405360 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=20795/tid=20797] ppid=20792 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/20795/task/20797/stat : 20797 (toysat) S 20792 20795 16080 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12496254 1338576896 268562 33554432000 4194304 16246674 140734145101680 140405179915504 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=20795/tid=20798] ppid=20792 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/20795/task/20798/stat : 20798 (toysat) S 20792 20795 16080 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 12496254 1338576896 268562 33554432000 4194304 16246674 140734145101680 140405098146992 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 1307204

[startup+25.5006 s]
/proc/loadavg: 2.18 2.12 2.05 3/181 20799
/proc/meminfo: memFree=28356144/32872528 swapFree=447588/480292
[pid=20795] ppid=20792 vsize=1307204 CPUtime=25.49 cores=1,3,5,7
/proc/20795/stat : 20795 (toysat) R 20792 20795 16080 0 -1 4202496 267787 0 0 0 2512 37 0 0 20 0 4 0 12496254 1338576896 268627 33554432000 4194304 16246674 140734145101680 140734145083584 5523460 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/20795/statm: 326801 268627 784 2943 0 323695 0
[pid=20795/tid=20796] ppid=20792 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/20795/task/20796/stat : 20796 (toysat) S 20792 20795 16080 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 12496254 1338576896 268627 33554432000 4194304 16246674 140734145101680 140405190405360 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=20795/tid=20797] ppid=20792 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/20795/task/20797/stat : 20797 (toysat) S 20792 20795 16080 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12496254 1338576896 268627 33554432000 4194304 16246674 140734145101680 140405179915504 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=20795/tid=20798] ppid=20792 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/20795/task/20798/stat : 20798 (toysat) S 20792 20795 16080 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 12496254 1338576896 268627 33554432000 4194304 16246674 140734145101680 140405098146992 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 1307204

[startup+51.1005 s]
/proc/loadavg: 2.18 2.12 2.05 3/181 20995
/proc/meminfo: memFree=28359076/32872528 swapFree=447588/480292
[pid=20795] ppid=20792 vsize=1307204 CPUtime=51.09 cores=1,3,5,7
/proc/20795/stat : 20795 (toysat) R 20792 20795 16080 0 -1 4202496 267802 0 0 0 5072 37 0 0 20 0 4 0 12496254 1338576896 268642 33554432000 4194304 16246674 140734145101680 140734145083584 5822893 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/20795/statm: 326801 268642 784 2943 0 323695 0
[pid=20795/tid=20796] ppid=20792 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/20795/task/20796/stat : 20796 (toysat) S 20792 20795 16080 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 12496254 1338576896 268642 33554432000 4194304 16246674 140734145101680 140405190405360 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=20795/tid=20797] ppid=20792 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/20795/task/20797/stat : 20797 (toysat) S 20792 20795 16080 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12496254 1338576896 268642 33554432000 4194304 16246674 140734145101680 140405179915504 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=20795/tid=20798] ppid=20792 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/20795/task/20798/stat : 20798 (toysat) S 20792 20795 16080 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 12496254 1338576896 268642 33554432000 4194304 16246674 140734145101680 140405098146992 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 1307204

[startup+102.3 s]
/proc/loadavg: 2.08 2.10 2.05 3/181 20995
/proc/meminfo: memFree=28359116/32872528 swapFree=447588/480292
[pid=20795] ppid=20792 vsize=1308228 CPUtime=102.28 cores=1,3,5,7
/proc/20795/stat : 20795 (toysat) R 20792 20795 16080 0 -1 4202496 267988 0 0 0 10191 37 0 0 20 0 4 0 12496254 1339625472 268825 33554432000 4194304 16246674 140734145101680 140734145083584 5662795 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/20795/statm: 327057 268825 786 2943 0 323951 0
[pid=20795/tid=20796] ppid=20792 vsize=1308228 CPUtime=0 cores=1,3,5,7
/proc/20795/task/20796/stat : 20796 (toysat) S 20792 20795 16080 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 12496254 1339625472 268825 33554432000 4194304 16246674 140734145101680 140405190405360 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=20795/tid=20797] ppid=20792 vsize=1308228 CPUtime=0 cores=1,3,5,7
/proc/20795/task/20797/stat : 20797 (toysat) S 20792 20795 16080 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12496254 1339625472 268825 33554432000 4194304 16246674 140734145101680 140405179915504 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=20795/tid=20798] ppid=20792 vsize=1308228 CPUtime=0 cores=1,3,5,7
/proc/20795/task/20798/stat : 20798 (toysat) S 20792 20795 16080 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 12496254 1339625472 268825 33554432000 4194304 16246674 140734145101680 140405098146992 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 1308228


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

/proc/20795/task/20798/stat : 20798 (toysat) S 20792 20795 16080 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 12496254 1342771200 269687 33554432000 4194304 16246674 140734145101680 140405098146992 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1301.89
Current children cumulated vsize (KiB) 1311300

[startup+1362.3 s]
/proc/loadavg: 2.09 2.05 2.03 3/181 21026
/proc/meminfo: memFree=28351124/32872528 swapFree=447588/480292
[pid=20795] ppid=20792 vsize=1311300 CPUtime=1361.88 cores=1,3,5,7
/proc/20795/stat : 20795 (toysat) R 20792 20795 16080 0 -1 4202496 269216 0 0 0 136138 50 0 0 20 0 4 0 12496254 1342771200 269687 33554432000 4194304 16246674 140734145101680 140734145083584 5822604 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/20795/statm: 327825 269687 788 2943 0 324719 0
[pid=20795/tid=20796] ppid=20792 vsize=1311300 CPUtime=0 cores=1,3,5,7
/proc/20795/task/20796/stat : 20796 (toysat) S 20792 20795 16080 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 12496254 1342771200 269687 33554432000 4194304 16246674 140734145101680 140405190405360 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=20795/tid=20797] ppid=20792 vsize=1311300 CPUtime=0 cores=1,3,5,7
/proc/20795/task/20797/stat : 20797 (toysat) S 20792 20795 16080 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12496254 1342771200 269687 33554432000 4194304 16246674 140734145101680 140405179915504 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=20795/tid=20798] ppid=20792 vsize=1311300 CPUtime=0 cores=1,3,5,7
/proc/20795/task/20798/stat : 20798 (toysat) S 20792 20795 16080 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 12496254 1342771200 269687 33554432000 4194304 16246674 140734145101680 140405098146992 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1361.88
Current children cumulated vsize (KiB) 1311300

[startup+1422.3 s]
/proc/loadavg: 2.08 2.06 2.03 3/181 21028
/proc/meminfo: memFree=28351708/32872528 swapFree=447588/480292
[pid=20795] ppid=20792 vsize=1311300 CPUtime=1421.87 cores=1,3,5,7
/proc/20795/stat : 20795 (toysat) R 20792 20795 16080 0 -1 4202496 269216 0 0 0 142137 50 0 0 20 0 4 0 12496254 1342771200 269687 33554432000 4194304 16246674 140734145101680 140734145083584 5822604 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/20795/statm: 327825 269687 788 2943 0 324719 0
[pid=20795/tid=20796] ppid=20792 vsize=1311300 CPUtime=0 cores=1,3,5,7
/proc/20795/task/20796/stat : 20796 (toysat) S 20792 20795 16080 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 12496254 1342771200 269687 33554432000 4194304 16246674 140734145101680 140405190405360 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=20795/tid=20797] ppid=20792 vsize=1311300 CPUtime=0 cores=1,3,5,7
/proc/20795/task/20797/stat : 20797 (toysat) S 20792 20795 16080 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12496254 1342771200 269687 33554432000 4194304 16246674 140734145101680 140405179915504 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=20795/tid=20798] ppid=20792 vsize=1311300 CPUtime=0 cores=1,3,5,7
/proc/20795/task/20798/stat : 20798 (toysat) S 20792 20795 16080 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 12496254 1342771200 269687 33554432000 4194304 16246674 140734145101680 140405098146992 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1421.87
Current children cumulated vsize (KiB) 1311300

[startup+1482.3 s]
/proc/loadavg: 2.03 2.04 2.02 3/181 21029
/proc/meminfo: memFree=28351464/32872528 swapFree=447588/480292
[pid=20795] ppid=20792 vsize=1311300 CPUtime=1481.86 cores=1,3,5,7
/proc/20795/stat : 20795 (toysat) R 20792 20795 16080 0 -1 4202496 269216 0 0 0 148135 51 0 0 20 0 4 0 12496254 1342771200 269687 33554432000 4194304 16246674 140734145101680 140734145083584 5822492 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/20795/statm: 327825 269687 788 2943 0 324719 0
[pid=20795/tid=20796] ppid=20792 vsize=1311300 CPUtime=0 cores=1,3,5,7
/proc/20795/task/20796/stat : 20796 (toysat) S 20792 20795 16080 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 12496254 1342771200 269687 33554432000 4194304 16246674 140734145101680 140405190405360 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=20795/tid=20797] ppid=20792 vsize=1311300 CPUtime=0 cores=1,3,5,7
/proc/20795/task/20797/stat : 20797 (toysat) S 20792 20795 16080 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12496254 1342771200 269687 33554432000 4194304 16246674 140734145101680 140405179915504 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=20795/tid=20798] ppid=20792 vsize=1311300 CPUtime=0 cores=1,3,5,7
/proc/20795/task/20798/stat : 20798 (toysat) S 20792 20795 16080 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 12496254 1342771200 269687 33554432000 4194304 16246674 140734145101680 140405098146992 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1481.86
Current children cumulated vsize (KiB) 1311300

[startup+1542.31 s]
/proc/loadavg: 2.01 2.03 2.02 3/181 21030
/proc/meminfo: memFree=28350596/32872528 swapFree=447588/480292
[pid=20795] ppid=20792 vsize=1312324 CPUtime=1541.85 cores=1,3,5,7
/proc/20795/stat : 20795 (toysat) R 20792 20795 16080 0 -1 4202496 269434 0 0 0 154134 51 0 0 20 0 4 0 12496254 1343819776 269905 33554432000 4194304 16246674 140734145101680 140734145083584 6021268 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/20795/statm: 328081 269905 788 2943 0 324975 0
[pid=20795/tid=20796] ppid=20792 vsize=1312324 CPUtime=0 cores=1,3,5,7
/proc/20795/task/20796/stat : 20796 (toysat) S 20792 20795 16080 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 12496254 1343819776 269905 33554432000 4194304 16246674 140734145101680 140405190405360 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=20795/tid=20797] ppid=20792 vsize=1312324 CPUtime=0 cores=1,3,5,7
/proc/20795/task/20797/stat : 20797 (toysat) S 20792 20795 16080 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12496254 1343819776 269905 33554432000 4194304 16246674 140734145101680 140405179915504 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=20795/tid=20798] ppid=20792 vsize=1312324 CPUtime=0 cores=1,3,5,7
/proc/20795/task/20798/stat : 20798 (toysat) S 20792 20795 16080 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 12496254 1343819776 269905 33554432000 4194304 16246674 140734145101680 140405098146992 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1541.85
Current children cumulated vsize (KiB) 1312324

[startup+1602.3 s]
/proc/loadavg: 2.06 2.04 2.02 3/181 21031
/proc/meminfo: memFree=28349980/32872528 swapFree=447588/480292
[pid=20795] ppid=20792 vsize=1312324 CPUtime=1601.85 cores=1,3,5,7
/proc/20795/stat : 20795 (toysat) R 20792 20795 16080 0 -1 4202496 269472 0 0 0 160133 52 0 0 20 0 4 0 12496254 1343819776 269943 33554432000 4194304 16246674 140734145101680 140734145083584 5546098 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/20795/statm: 328081 269943 788 2943 0 324975 0
[pid=20795/tid=20796] ppid=20792 vsize=1312324 CPUtime=0 cores=1,3,5,7
/proc/20795/task/20796/stat : 20796 (toysat) S 20792 20795 16080 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 12496254 1343819776 269943 33554432000 4194304 16246674 140734145101680 140405190405360 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=20795/tid=20797] ppid=20792 vsize=1312324 CPUtime=0 cores=1,3,5,7
/proc/20795/task/20797/stat : 20797 (toysat) S 20792 20795 16080 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12496254 1343819776 269943 33554432000 4194304 16246674 140734145101680 140405179915504 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=20795/tid=20798] ppid=20792 vsize=1312324 CPUtime=0 cores=1,3,5,7
/proc/20795/task/20798/stat : 20798 (toysat) S 20792 20795 16080 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 12496254 1343819776 269943 33554432000 4194304 16246674 140734145101680 140405098146992 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1601.85
Current children cumulated vsize (KiB) 1312324

[startup+1662.3 s]
/proc/loadavg: 2.02 2.03 2.01 3/181 21081
/proc/meminfo: memFree=28435652/32872528 swapFree=447588/480292
[pid=20795] ppid=20792 vsize=1312324 CPUtime=1661.83 cores=1,3,5,7
/proc/20795/stat : 20795 (toysat) R 20792 20795 16080 0 -1 4202496 269472 0 0 0 166131 52 0 0 20 0 4 0 12496254 1343819776 269943 33554432000 4194304 16246674 140734145101680 140734145083584 13927401 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/20795/statm: 328081 269943 788 2943 0 324975 0
[pid=20795/tid=20796] ppid=20792 vsize=1312324 CPUtime=0 cores=1,3,5,7
/proc/20795/task/20796/stat : 20796 (toysat) S 20792 20795 16080 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 12496254 1343819776 269943 33554432000 4194304 16246674 140734145101680 140405190405360 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=20795/tid=20797] ppid=20792 vsize=1312324 CPUtime=0 cores=1,3,5,7
/proc/20795/task/20797/stat : 20797 (toysat) S 20792 20795 16080 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12496254 1343819776 269943 33554432000 4194304 16246674 140734145101680 140405179915504 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=20795/tid=20798] ppid=20792 vsize=1312324 CPUtime=0 cores=1,3,5,7
/proc/20795/task/20798/stat : 20798 (toysat) S 20792 20795 16080 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 12496254 1343819776 269943 33554432000 4194304 16246674 140734145101680 140405098146992 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1661.83
Current children cumulated vsize (KiB) 1312324

[startup+1722.3 s]
/proc/loadavg: 2.17 2.07 2.02 3/182 21134
/proc/meminfo: memFree=28350548/32872528 swapFree=447588/480292
[pid=20795] ppid=20792 vsize=1312324 CPUtime=1721.82 cores=1,3,5,7
/proc/20795/stat : 20795 (toysat) R 20792 20795 16080 0 -1 4202496 269473 0 0 0 172130 52 0 0 20 0 4 0 12496254 1343819776 269946 33554432000 4194304 16246674 140734145101680 140734145083584 5822252 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/20795/statm: 328081 269946 788 2943 0 324975 0
[pid=20795/tid=20796] ppid=20792 vsize=1312324 CPUtime=0 cores=1,3,5,7
/proc/20795/task/20796/stat : 20796 (toysat) S 20792 20795 16080 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 12496254 1343819776 269946 33554432000 4194304 16246674 140734145101680 140405190405360 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=20795/tid=20797] ppid=20792 vsize=1312324 CPUtime=0 cores=1,3,5,7
/proc/20795/task/20797/stat : 20797 (toysat) S 20792 20795 16080 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12496254 1343819776 269946 33554432000 4194304 16246674 140734145101680 140405179915504 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=20795/tid=20798] ppid=20792 vsize=1312324 CPUtime=0 cores=1,3,5,7
/proc/20795/task/20798/stat : 20798 (toysat) S 20792 20795 16080 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 12496254 1343819776 269946 33554432000 4194304 16246674 140734145101680 140405098146992 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1721.82
Current children cumulated vsize (KiB) 1312324

[startup+1782.3 s]
/proc/loadavg: 2.12 2.07 2.02 4/181 21135
/proc/meminfo: memFree=28350644/32872528 swapFree=447588/480292
[pid=20795] ppid=20792 vsize=1312324 CPUtime=1781.82 cores=1,3,5,7
/proc/20795/stat : 20795 (toysat) R 20792 20795 16080 0 -1 4202496 269473 0 0 0 178129 53 0 0 20 0 4 0 12496254 1343819776 269946 33554432000 4194304 16246674 140734145101680 140734145083584 5808428 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/20795/statm: 328081 269946 788 2943 0 324975 0
[pid=20795/tid=20796] ppid=20792 vsize=1312324 CPUtime=0 cores=1,3,5,7
/proc/20795/task/20796/stat : 20796 (toysat) S 20792 20795 16080 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 12496254 1343819776 269946 33554432000 4194304 16246674 140734145101680 140405190405360 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=20795/tid=20797] ppid=20792 vsize=1312324 CPUtime=0 cores=1,3,5,7
/proc/20795/task/20797/stat : 20797 (toysat) S 20792 20795 16080 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12496254 1343819776 269946 33554432000 4194304 16246674 140734145101680 140405179915504 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=20795/tid=20798] ppid=20792 vsize=1312324 CPUtime=0 cores=1,3,5,7
/proc/20795/task/20798/stat : 20798 (toysat) S 20792 20795 16080 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 12496254 1343819776 269946 33554432000 4194304 16246674 140734145101680 140405098146992 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1781.82
Current children cumulated vsize (KiB) 1312324



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.5 s]
/proc/loadavg: 2.08 2.06 2.02 3/181 21136
/proc/meminfo: memFree=28350604/32872528 swapFree=447588/480292
[pid=20795] ppid=20792 vsize=1312324 CPUtime=1800.01 cores=1,3,5,7
/proc/20795/stat : 20795 (toysat) R 20792 20795 16080 0 -1 4202496 269473 0 0 0 179948 53 0 0 20 0 4 0 12496254 1343819776 269946 33554432000 4194304 16246674 140734145101680 140734145083584 5673657 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/20795/statm: 328081 269946 788 2943 0 324975 0
[pid=20795/tid=20796] ppid=20792 vsize=1312324 CPUtime=0 cores=1,3,5,7
/proc/20795/task/20796/stat : 20796 (toysat) S 20792 20795 16080 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 12496254 1343819776 269946 33554432000 4194304 16246674 140734145101680 140405190405360 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=20795/tid=20797] ppid=20792 vsize=1312324 CPUtime=0 cores=1,3,5,7
/proc/20795/task/20797/stat : 20797 (toysat) S 20792 20795 16080 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12496254 1343819776 269946 33554432000 4194304 16246674 140734145101680 140405179915504 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=20795/tid=20798] ppid=20792 vsize=1312324 CPUtime=0 cores=1,3,5,7
/proc/20795/task/20798/stat : 20798 (toysat) S 20792 20795 16080 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 12496254 1343819776 269946 33554432000 4194304 16246674 140734145101680 140405098146992 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1800.01
Current children cumulated vsize (KiB) 1312324

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

[startup+1800.5 s]
/proc/loadavg: 2.08 2.06 2.02 3/181 21136
/proc/meminfo: memFree=28350604/32872528 swapFree=447588/480292
[pid=20795] ppid=20792 vsize=1312324 CPUtime=1800.01 cores=1,3,5,7
/proc/20795/stat : 20795 (toysat) R 20792 20795 16080 0 -1 4202496 269473 0 0 0 179948 53 0 0 20 0 4 0 12496254 1343819776 269946 33554432000 4194304 16246674 140734145101680 140734145083584 5673657 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/20795/statm: 328081 269946 788 2943 0 324975 0
[pid=20795/tid=20796] ppid=20792 vsize=1312324 CPUtime=0 cores=1,3,5,7
/proc/20795/task/20796/stat : 20796 (toysat) S 20792 20795 16080 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 12496254 1343819776 269946 33554432000 4194304 16246674 140734145101680 140405190405360 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=20795/tid=20797] ppid=20792 vsize=1312324 CPUtime=0 cores=1,3,5,7
/proc/20795/task/20797/stat : 20797 (toysat) S 20792 20795 16080 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12496254 1343819776 269946 33554432000 4194304 16246674 140734145101680 140405179915504 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=20795/tid=20798] ppid=20792 vsize=1312324 CPUtime=0 cores=1,3,5,7
/proc/20795/task/20798/stat : 20798 (toysat) S 20792 20795 16080 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 12496254 1343819776 269946 33554432000 4194304 16246674 140734145101680 140405098146992 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1800.01
Current children cumulated vsize (KiB) 1312324

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1800.51
CPU time (s): 1800.03
CPU user time (s): 1799.49
CPU system time (s): 0.538918
CPU usage (%): 99.9733
Max. virtual memory (cumulated for all children) (KiB): 1312324

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.49
system time used= 0.538918
maximum resident set size= 1079784
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 269473
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= 385
involuntary context switches= 1841

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.99278 second user time and 18.0143 second system time

The end

Begin job on node104 at 2016-06-30 21:12:05
IDJOB=4121218
IDBENCH=110355
IDSOLVER=2542
FILE ID=node104/4121218-1467313925
RUNJOBID= node104-1467310023-19960
PBS_JOBID= 20005270
Free space on /tmp= 71704 MiB

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

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

MD5SUM BENCH= 67d79592e0fd3dff136a19a841a204ff
RANDOM SEED=597110055

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

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

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

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

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

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

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

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

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.334
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:        29431208 kB
Buffers:          196788 kB
Cached:           935984 kB
SwapCached:            0 kB
Active:          1424640 kB
Inactive:         793292 kB
Active(anon):    1087700 kB
Inactive(anon):        0 kB
Active(file):     336940 kB
Inactive(file):   793292 kB
Unevictable:      480292 kB
Mlocked:          447588 kB
SwapTotal:      67108856 kB
SwapFree:       67108856 kB
Dirty:             16504 kB
Writeback:             0 kB
AnonPages:       1567440 kB
Mapped:            16368 kB
Shmem:               204 kB
Slab:             611256 kB
SReclaimable:      55232 kB
SUnreclaim:       556024 kB
KernelStack:        1504 kB
PageTables:         7052 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    1688976 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:    110592 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= 71688 MiB
End job on node104 at 2016-06-30 21:42:06