0.00/0.00	c 2016-06-16T19:11:49+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-4095819-1466097108.opb"]
0.00/0.01	c use --random-gen="2842170948 4123110383 4181616214 1780117934 927272005 274786701 3634124567 272490799 241993701 3381101734 4267597206 2424724603 3010053538 793577067 3817267196 3741979021 2830350442 2761711124 2004399473 2124381280 1317768415 1277361225 1602713636 100377089 734151678 1012618633 1959226947 2960729323 2475527660 2618444870 527487653 2593178112 2358309264 1739647492 2323249247 3670667972 1298500790 1695041910 1972776325 556536203 365913667 93875695 1908508470 103841984 3185059392 560662784 2147406816 2361160157 3466194164 4269945604 1849508343 160704085 2301676370 4008468700 2407003102 2841800472 863179996 1472931547 3183550708 1890616765 2948224095 618306482 1320033375 3305379235 4090796382 1419967537 3196534973 3519548804 2514017137 3562963467 1237020858 2487599736 2985006486 3516077678 978973924 417903000 2175705589 932602136 590030188 1927659459 3495935715 4126881080 3119292821 729891149 1176019381 2790363139 1124069577 3915035448 989674014 4094739541 2570242591 3255759735 478927535 3309739421 3994234314 188522649 892807649 811138344 1952289449 621255143 3957023133 1040213212 3947300433 3304762222 286423300 555393927 3759995187 2385418240 467937920 3365461722 3899406188 3404602184 3694824633 2648514818 906387021 1334946899 387765108 866908973 3805681300 337334850 686579320 3069827949 865103077 1833340328 3156150907 726140703 1830560697 2714095288 896541945 1311054280 2760273686 2264122781 3495781143 2529287406 2917390313 4270412217 1862544914 3501383913 2605176809 3078577996 3675844130 1322323945 960497266 280412803 947288214 2780533924 1919800804 1013639736 384444477 2694318954 2595761487 477869430 3202578053 512232058 875616750 3806914820 1633372182 3531758815 1021859144 899442810 1068537301 2594470687 1693813841 1692353876 141116316 1271007486 2739616634 1355432307 666012311 2383932650 1967928644 2678878172 2462238593 1542191209 3514965032 116986065 2474045375 2503817573 2766874500 674894267 475417821 3847900596 777811230 2984827477 2201790005 4117273185 1389571776 1520026040 3864740602 1471324479 2295426499 2591393976 915515864 28178698 347335585 3646510330 2492416540 3227404669 3171871119 823005948 2490007899 796860075 1543824406 1445220633 1632948691 787536617 4045128810 2244563594 2980052708 2264472687 1673774289 2947937422 2705031522 1973023566 1837888908 3386565349 1191220276 1330087288 705343501 2545553999 3668914725 2375619530 4274253082 4029959967 3272411908 207702948 2654517417 3549683380 203663630 4159213097 2606769261 659714047 969028439 1315777494 169851643 755929323 2639936484 4187753038 675828674 3552277799 2147430942 160702137 2437362133 256864715 116825755 2268632855 4037393846 122016878 1372487619 3410845645 3378197055 2855256633 3178805103 2572250042 3716771929 1905971242 255 362436" option to reproduce the execution
0.00/0.01	c #vars 141
0.00/0.01	c #constraints 70
0.00/0.01	c Solving starts ...
0.00/0.01	c ============================[ Search Statistics ]============================
0.00/0.01	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
0.00/0.01	c       |         |          |          |    Limit     GC | Var      | Constra 
0.00/0.01	c =============================================================================
0.00/0.01	c  0.0s |       0 |        0 |        0 |       70      0 |        0 |        0
0.00/0.02	c  0.0s |       1 |      148 |      100 |       70      0 |        0 |        0
0.00/0.04	c  0.0s |       2 |      371 |      250 |       77      3 |        0 |        0
0.00/0.06	c  0.0s |       3 |      893 |      475 |       85      7 |        0 |        0
0.00/0.09	c  0.1s |       4 |     1679 |      813 |       94     12 |        0 |        0
0.09/0.14	c  0.1s |       5 |     2815 |     1320 |      104     19 |        0 |        0
0.19/0.23	c  0.2s |       6 |     4005 |     2081 |      127     29 |        0 |        0
0.29/0.35	c  0.3s |       7 |     6169 |     3223 |      140     43 |        0 |        0
0.49/0.54	c  0.5s |       8 |     9520 |     4936 |      154     63 |        0 |        0
0.79/0.85	c  0.8s |       9 |    13493 |     7506 |      170     90 |        0 |        0
1.19/1.23	c  1.2s |      10 |    19108 |    11361 |      188    126 |        0 |        0
1.68/1.79	c  1.8s |      11 |    27278 |    17144 |      207    178 |        0 |        0
2.49/2.54	c  2.5s |      12 |    39661 |    25819 |      228    249 |        0 |        0
3.59/3.69	c  3.7s |      13 |    56631 |    38832 |      251    347 |        0 |        0
5.19/5.27	c  5.3s |      14 |    85301 |    58352 |      277    484 |        0 |        0
7.19/7.27	c  7.3s |      14 |   119003 |    81852 |      277    635 |        0 |        0
7.79/7.81	c  7.8s |      15 |   126310 |    87632 |      305    671 |        0 |        0
9.78/9.81	c  9.8s |      15 |   154966 |   110632 |      305    807 |        0 |        0
11.59/11.63	c 11.6s |      16 |   181479 |   131552 |      336    933 |        0 |        0
13.59/13.64	c 13.6s |      16 |   207893 |   152952 |      336   1050 |        0 |        0
15.59/15.65	c 15.6s |      16 |   234552 |   173952 |      336   1164 |        0 |        0
17.60/17.65	c 17.6s |      16 |   262715 |   195852 |      336   1283 |        0 |        0
17.79/17.81	c 17.8s |      17 |   264736 |   197432 |      370   1291 |        0 |        0
19.80/19.82	c 19.8s |      17 |   293101 |   218532 |      370   1394 |        0 |        0
21.79/21.83	c 21.8s |      17 |   321901 |   240032 |      370   1500 |        0 |        0
23.79/23.83	c 23.8s |      17 |   348835 |   260832 |      370   1604 |        0 |        0
25.79/25.84	c 25.8s |      17 |   377225 |   282232 |      370   1710 |        0 |        0
27.09/27.18	c 27.2s |      18 |   394990 |   296252 |      408   1779 |        0 |        0
29.09/29.18	c 29.2s |      18 |   424255 |   317952 |      408   1878 |        0 |        0
31.09/31.19	c 31.2s |      18 |   453383 |   339352 |      408   1975 |        0 |        0
33.09/33.20	c 33.2s |      18 |   481605 |   360952 |      408   2074 |        0 |        0
35.08/35.20	c 35.2s |      18 |   507700 |   381552 |      408   2167 |        0 |        0
37.18/37.21	c 37.2s |      18 |   534265 |   401952 |      408   2260 |        0 |        0
39.18/39.21	c 39.2s |      18 |   563124 |   423252 |      408   2358 |        0 |        0
41.18/41.21	c 41.2s |      18 |   590396 |   444452 |      449   2453 |        0 |        0
41.18/41.22	c 41.2s |      19 |   590436 |   444482 |      449   2454 |        0 |        0
43.18/43.22	c 43.2s |      19 |   615548 |   464482 |      449   2537 |        0 |        0
45.19/45.22	c 45.2s |      19 |   640851 |   484082 |      449   2618 |        0 |        0
47.18/47.23	c 47.2s |      19 |   664721 |   503582 |      449   2699 |        0 |        0
49.19/49.23	c 49.2s |      19 |   688551 |   522882 |      449   2779 |        0 |        0
51.19/51.24	c 51.2s |      19 |   712998 |   542682 |      449   2863 |        0 |        0
53.18/53.24	c 53.2s |      19 |   738303 |   563082 |      449   2948 |        0 |        0
55.18/55.24	c 55.2s |      19 |   763541 |   582982 |      449   3030 |        0 |        0
57.19/57.24	c 57.2s |      19 |   788483 |   602882 |      449   3113 |        0 |        0
59.18/59.25	c 59.2s |      19 |   813026 |   622882 |      449   3196 |        0 |        0
61.18/61.26	c 61.2s |      19 |   836016 |   641882 |      449   3275 |        0 |        0
63.18/63.26	c 63.2s |      19 |   860750 |   661682 |      449   3358 |        0 |        0
63.68/63.79	c 63.8s |      20 |   866894 |   666827 |      494   3378 |        0 |        0
65.78/65.80	c 65.8s |      20 |   888654 |   684827 |      494   3446 |        0 |        0
67.78/67.81	c 67.8s |      20 |   909764 |   702427 |      494   3513 |        0 |        0
69.78/69.82	c 69.8s |      20 |   932049 |   720827 |      494   3583 |        0 |        0
71.78/71.82	c 71.8s |      20 |   953114 |   738527 |      494   3650 |        0 |        0
73.79/73.82	c 73.8s |      20 |   974792 |   756527 |      494   3718 |        0 |        0
75.78/75.82	c 75.8s |      20 |   994889 |   773427 |      494   3782 |        0 |        0
77.78/77.83	c 77.8s |      20 |  1017814 |   792127 |      494   3853 |        0 |        0
79.78/79.84	c 79.8s |      20 |  1043381 |   812027 |      494   3928 |        0 |        0
81.78/81.84	c 81.8s |      20 |  1067299 |   831427 |      494   4002 |        0 |        0
83.78/83.84	c 83.8s |      20 |  1090638 |   850627 |      494   4075 |        0 |        0
85.78/85.85	c 85.8s |      20 |  1113239 |   868827 |      494   4144 |        0 |        0
87.77/87.85	c 87.8s |      20 |  1135411 |   887127 |      494   4214 |        0 |        0
89.77/89.86	c 89.8s |      20 |  1158784 |   905827 |      494   4285 |        0 |        0
91.77/91.86	c 91.8s |      20 |  1183397 |   925427 |      494   4360 |        0 |        0
93.77/93.87	c 93.9s |      20 |  1207429 |   944927 |      494   4434 |        0 |        0
95.78/95.88	c 95.9s |      20 |  1231016 |   964227 |      494   4508 |        0 |        0
97.77/97.89	c 97.9s |      20 |  1255219 |   983827 |      494   4583 |        0 |        0
99.57/99.65	c 99.6s |      21 |  1275421 |  1000345 |      544   4644 |        0 |        0
101.57/101.65	c  101s |      21 |  1301965 |  1020245 |      544   4713 |        0 |        0
103.57/103.66	c  103s |      21 |  1329777 |  1040245 |      544   4782 |        0 |        0
105.59/105.66	c  105s |      21 |  1355141 |  1060145 |      544   4851 |        0 |        0
107.58/107.67	c  107s |      21 |  1376992 |  1078345 |      544   4915 |        0 |        0
109.58/109.68	c  109s |      21 |  1402176 |  1098145 |      544   4985 |        0 |        0
111.58/111.68	c  111s |      21 |  1428628 |  1118645 |      544   5057 |        0 |        0
113.58/113.68	c  113s |      21 |  1452577 |  1137645 |      544   5123 |        0 |        0
115.58/115.69	c  115s |      21 |  1476255 |  1156745 |      544   5190 |        0 |        0
117.57/117.70	c  117s |      21 |  1500381 |  1175745 |      544   5257 |        0 |        0
119.67/119.70	c  119s |      21 |  1524255 |  1194945 |      544   5324 |        0 |        0
121.67/121.71	c  121s |      21 |  1549020 |  1214145 |      544   5391 |        0 |        0
123.67/123.72	c  123s |      21 |  1571394 |  1232745 |      544   5456 |        0 |        0
125.67/125.72	c  125s |      21 |  1596215 |  1252345 |      544   5525 |        0 |        0
127.68/127.73	c  127s |      21 |  1622923 |  1272445 |      544   5595 |        0 |        0
129.67/129.73	c  129s |      21 |  1647377 |  1291745 |      544   5663 |        0 |        0
131.67/131.74	c  131s |      21 |  1671310 |  1310045 |      544   5727 |        0 |        0
133.67/133.74	c  133s |      21 |  1695148 |  1328645 |      544   5791 |        0 |        0
135.67/135.75	c  135s |      21 |  1717781 |  1346745 |      544   5854 |        0 |        0
137.67/137.75	c  137s |      21 |  1742994 |  1365845 |      544   5920 |        0 |        0
139.68/139.76	c  139s |      21 |  1765516 |  1383845 |      544   5984 |        0 |        0
141.67/141.77	c  141s |      21 |  1788481 |  1402245 |      544   6047 |        0 |        0
143.67/143.77	c  143s |      21 |  1809794 |  1419445 |      544   6107 |        0 |        0
145.67/145.78	c  145s |      21 |  1829661 |  1436145 |      544   6164 |        0 |        0
147.67/147.79	c  147s |      21 |  1850031 |  1453145 |      544   6223 |        0 |        0
149.67/149.79	c  149s |      21 |  1873276 |  1471845 |      544   6288 |        0 |        0
151.67/151.79	c  151s |      21 |  1896404 |  1490245 |      599   6352 |        0 |        0
152.87/152.99	c  152s |      22 |  1908947 |  1500622 |      599   6385 |        0 |        0
154.86/155.00	c  154s |      22 |  1931708 |  1518822 |      599   6442 |        0 |        0
156.96/157.00	c  156s |      22 |  1958120 |  1538822 |      599   6506 |        0 |        0
158.96/159.01	c  158s |      22 |  1989942 |  1560422 |      599   6574 |        0 |        0
160.96/161.01	c  160s |      22 |  2021215 |  1581822 |      599   6642 |        0 |        0
162.96/163.01	c  163s |      22 |  2050689 |  1602722 |      599   6709 |        0 |        0
164.97/165.02	c  165s |      22 |  2078175 |  1622222 |      599   6771 |        0 |        0
166.96/167.02	c  167s |      22 |  2100332 |  1640322 |      599   6828 |        0 |        0
168.96/169.02	c  169s |      22 |  2122623 |  1658422 |      599   6885 |        0 |        0
170.96/171.02	c  171s |      22 |  2145683 |  1676822 |      599   6943 |        0 |        0
172.96/173.02	c  173s |      22 |  2172292 |  1696322 |      599   7005 |        0 |        0
174.97/175.03	c  175s |      22 |  2198963 |  1715922 |      599   7067 |        0 |        0
176.96/177.03	c  177s |      22 |  2224693 |  1735322 |      599   7129 |        0 |        0
178.96/179.04	c  179s |      22 |  2249181 |  1754022 |      599   7189 |        0 |        0
180.96/181.04	c  181s |      22 |  2275519 |  1773322 |      599   7250 |        0 |        0
182.97/183.05	c  183s |      22 |  2303813 |  1793422 |      599   7314 |        0 |        0
184.96/185.06	c  185s |      22 |  2326739 |  1811822 |      599   7371 |        0 |        0
186.97/187.06	c  187s |      22 |  2350533 |  1830322 |      599   7430 |        0 |        0
188.96/189.07	c  189s |      22 |  2373308 |  1848222 |      599   7486 |        0 |        0
190.96/191.08	c  191s |      22 |  2396000 |  1866422 |      599   7543 |        0 |        0
192.96/193.08	c  193s |      22 |  2421692 |  1885722 |      599   7605 |        0 |        0
194.96/195.09	c  195s |      22 |  2448090 |  1905222 |      599   7667 |        0 |        0
196.97/197.09	c  197s |      22 |  2475796 |  1925022 |      599   7730 |        0 |        0
198.96/199.10	c  199s |      22 |  2497613 |  1943022 |      599   7786 |        0 |        0
201.06/201.10	c  201s |      22 |  2524485 |  1962722 |      599   7849 |        0 |        0
203.06/203.11	c  203s |      22 |  2552321 |  1982822 |      599   7914 |        0 |        0
205.06/205.11	c  205s |      22 |  2577627 |  2001922 |      599   7974 |        0 |        0
207.06/207.12	c  207s |      22 |  2599438 |  2019622 |      599   8031 |        0 |        0
209.06/209.12	c  209s |      22 |  2620445 |  2036722 |      599   8085 |        0 |        0
211.06/211.13	c  211s |      22 |  2641762 |  2053922 |      599   8139 |        0 |        0
213.05/213.13	c  213s |      22 |  2664394 |  2072222 |      599   8197 |        0 |        0
215.05/215.14	c  215s |      22 |  2684431 |  2089122 |      599   8250 |        0 |        0
217.06/217.14	c  217s |      22 |  2710009 |  2108622 |      599   8312 |        0 |        0
219.06/219.15	c  219s |      22 |  2732457 |  2126822 |      599   8370 |        0 |        0
221.07/221.15	c  221s |      22 |  2756626 |  2145222 |      599   8429 |        0 |        0
223.06/223.15	c  223s |      22 |  2779264 |  2162522 |      599   8484 |        0 |        0
225.06/225.16	c  225s |      22 |  2799270 |  2179122 |      599   8536 |        0 |        0
227.06/227.17	c  227s |      22 |  2820278 |  2196322 |      599   8590 |        0 |        0
229.06/229.17	c  229s |      22 |  2842912 |  2214422 |      599   8648 |        0 |        0
231.06/231.18	c  231s |      22 |  2863869 |  2231622 |      599   8702 |        0 |        0
233.05/233.19	c  233s |      22 |  2881803 |  2247222 |      659   8748 |        0 |        0
233.55/233.65	c  233s |      23 |  2886476 |  2251038 |      659   8759 |        0 |        0
235.55/235.65	c  235s |      23 |  2910788 |  2269538 |      659   8813 |        0 |        0
237.56/237.66	c  237s |      23 |  2933629 |  2287138 |      659   8863 |        0 |        0
239.55/239.67	c  239s |      23 |  2959218 |  2306338 |      659   8919 |        0 |        0
241.55/241.67	c  241s |      23 |  2984167 |  2325238 |      659   8974 |        0 |        0
243.55/243.68	c  243s |      23 |  3009537 |  2344338 |      659   9030 |        0 |        0
245.55/245.69	c  245s |      23 |  3032113 |  2361738 |      659   9080 |        0 |        0
247.56/247.69	c  247s |      23 |  3058133 |  2380838 |      659   9136 |        0 |        0
249.55/249.70	c  249s |      23 |  3081221 |  2398538 |      659   9187 |        0 |        0
251.65/251.71	c  251s |      23 |  3104498 |  2416138 |      659   9238 |        0 |        0
253.65/253.71	c  253s |      23 |  3127863 |  2434438 |      659   9291 |        0 |        0
255.65/255.71	c  255s |      23 |  3151673 |  2452638 |      659   9344 |        0 |        0
257.65/257.72	c  257s |      23 |  3176778 |  2470838 |      659   9396 |        0 |        0
259.66/259.72	c  259s |      23 |  3199891 |  2488638 |      659   9448 |        0 |        0
261.65/261.72	c  261s |      23 |  3222260 |  2506138 |      659   9499 |        0 |        0
263.65/263.72	c  263s |      23 |  3245924 |  2524538 |      659   9553 |        0 |        0
265.65/265.73	c  265s |      23 |  3272187 |  2543038 |      659   9606 |        0 |        0
267.65/267.73	c  267s |      23 |  3296357 |  2561538 |      659   9660 |        0 |        0
269.65/269.74	c  269s |      23 |  3320414 |  2579838 |      659   9713 |        0 |        0
271.66/271.75	c  271s |      23 |  3344881 |  2598438 |      659   9768 |        0 |        0
273.65/273.76	c  273s |      23 |  3368479 |  2616338 |      659   9820 |        0 |        0
275.65/275.77	c  275s |      23 |  3392825 |  2634438 |      659   9872 |        0 |        0
277.65/277.77	c  277s |      23 |  3419429 |  2653938 |      659   9929 |        0 |        0
279.65/279.77	c  279s |      23 |  3444351 |  2672038 |      659   9981 |        0 |        0
281.66/281.78	c  281s |      23 |  3465939 |  2689538 |      659  10032 |        0 |        0
283.65/283.78	c  283s |      23 |  3486403 |  2706638 |      659  10081 |        0 |        0
285.65/285.79	c  285s |      23 |  3507170 |  2723538 |      659  10130 |        0 |        0
287.75/287.80	c  287s |      23 |  3528119 |  2740538 |      659  10179 |        0 |        0
289.75/289.81	c  289s |      23 |  3550553 |  2758038 |      659  10230 |        0 |        0
291.74/291.81	c  291s |      23 |  3577189 |  2777038 |      659  10285 |        0 |        0
293.75/293.82	c  293s |      23 |  3598383 |  2794138 |      659  10335 |        0 |        0
295.74/295.82	c  295s |      23 |  3623397 |  2812738 |      659  10389 |        0 |        0
297.74/297.82	c  297s |      23 |  3648878 |  2831138 |      659  10443 |        0 |        0
299.74/299.83	c  299s |      23 |  3675690 |  2850038 |      659  10498 |        0 |        0
301.74/301.83	c  301s |      23 |  3699108 |  2868238 |      659  10551 |        0 |        0
303.74/303.84	c  303s |      23 |  3720862 |  2885938 |      659  10603 |        0 |        0
305.75/305.84	c  305s |      23 |  3743305 |  2903938 |      659  10655 |        0 |        0
307.74/307.85	c  307s |      23 |  3765732 |  2921738 |      659  10708 |        0 |        0
309.74/309.85	c  309s |      23 |  3787874 |  2939338 |      659  10759 |        0 |        0
311.74/311.86	c  311s |      23 |  3806776 |  2955438 |      659  10806 |        0 |        0
313.74/313.87	c  313s |      23 |  3826293 |  2971738 |      659  10853 |        0 |        0
315.75/315.87	c  315s |      23 |  3847538 |  2988638 |      659  10903 |        0 |        0
317.74/317.87	c  317s |      23 |  3871400 |  3006938 |      659  10956 |        0 |        0
319.74/319.89	c  319s |      23 |  3898361 |  3026838 |      659  11015 |        0 |        0
321.74/321.90	c  321s |      23 |  3921998 |  3045238 |      659  11068 |        0 |        0
323.84/323.90	c  323s |      23 |  3945970 |  3063738 |      659  11122 |        0 |        0
325.84/325.91	c  325s |      23 |  3969456 |  3081538 |      659  11174 |        0 |        0
327.84/327.91	c  327s |      23 |  3991452 |  3098938 |      659  11224 |        0 |        0
329.84/329.92	c  329s |      23 |  4014768 |  3117238 |      659  11277 |        0 |        0
331.84/331.92	c  331s |      23 |  4037229 |  3134938 |      659  11328 |        0 |        0
333.84/333.93	c  333s |      23 |  4059219 |  3152038 |      659  11377 |        0 |        0
335.84/335.94	c  335s |      23 |  4081694 |  3169738 |      659  11429 |        0 |        0
337.84/337.94	c  337s |      23 |  4107248 |  3188138 |      659  11482 |        0 |        0
339.85/339.95	c  339s |      23 |  4132927 |  3207338 |      659  11538 |        0 |        0
341.84/341.96	c  341s |      23 |  4157567 |  3226338 |      659  11593 |        0 |        0
343.84/343.96	c  343s |      23 |  4181238 |  3244838 |      659  11647 |        0 |        0
345.84/345.97	c  345s |      23 |  4204055 |  3262838 |      659  11699 |        0 |        0
347.84/347.97	c  347s |      23 |  4225294 |  3280138 |      659  11749 |        0 |        0
349.85/349.97	c  349s |      23 |  4248283 |  3298338 |      659  11802 |        0 |        0
351.84/351.98	c  351s |      23 |  4271558 |  3316938 |      659  11857 |        0 |        0
353.84/353.98	c  353s |      23 |  4294228 |  3335138 |      659  11910 |        0 |        0
355.84/355.98	c  355s |      23 |  4315611 |  3352838 |      725  11961 |        0 |        0
357.84/357.99	c  357s |      23 |  4337457 |  3370438 |      725  12008 |        0 |        0
358.64/358.71	c  358s |      24 |  4345189 |  3376662 |      725  12025 |        0 |        0
360.64/360.72	c  360s |      24 |  4367288 |  3394462 |      725  12072 |        0 |        0
362.63/362.72	c  362s |      24 |  4388195 |  3411762 |      725  12117 |        0 |        0
364.63/364.73	c  364s |      24 |  4411204 |  3430462 |      725  12167 |        0 |        0
366.63/366.73	c  366s |      24 |  4433403 |  3448662 |      725  12215 |        0 |        0
368.63/368.74	c  368s |      24 |  4453604 |  3465662 |      725  12261 |        0 |        0
370.64/370.75	c  370s |      24 |  4475704 |  3483662 |      725  12308 |        0 |        0
372.63/372.75	c  372s |      24 |  4495105 |  3500362 |      725  12352 |        0 |        0
374.63/374.76	c  374s |      24 |  4514664 |  3516962 |      725  12396 |        0 |        0
376.63/376.76	c  376s |      24 |  4536090 |  3534562 |      725  12442 |        0 |        0
378.63/378.77	c  378s |      24 |  4557217 |  3552162 |      725  12489 |        0 |        0
380.64/380.77	c  380s |      24 |  4580693 |  3570462 |      725  12536 |        0 |        0
382.64/382.78	c  382s |      24 |  4603882 |  3588562 |      725  12584 |        0 |        0
384.63/384.78	c  384s |      24 |  4623284 |  3605362 |      725  12629 |        0 |        0
386.63/386.79	c  386s |      24 |  4644319 |  3623062 |      725  12676 |        0 |        0
388.73/388.80	c  388s |      24 |  4663370 |  3639562 |      725  12720 |        0 |        0
390.73/390.80	c  390s |      24 |  4683689 |  3656762 |      725  12765 |        0 |        0
392.74/392.80	c  392s |      24 |  4703278 |  3673362 |      725  12809 |        0 |        0
394.73/394.81	c  394s |      24 |  4724271 |  3690862 |      725  12855 |        0 |        0
396.73/396.82	c  396s |      24 |  4744415 |  3707662 |      725  12899 |        0 |        0
398.73/398.82	c  398s |      24 |  4763709 |  3724162 |      725  12943 |        0 |        0
400.73/400.83	c  400s |      24 |  4783314 |  3740862 |      725  12988 |        0 |        0
402.73/402.83	c  402s |      24 |  4802006 |  3756862 |      725  13030 |        0 |        0
404.74/404.84	c  404s |      24 |  4823566 |  3774462 |      725  13076 |        0 |        0
406.73/406.85	c  406s |      24 |  4842561 |  3790962 |      725  13119 |        0 |        0
408.73/408.85	c  408s |      24 |  4861310 |  3807162 |      725  13162 |        0 |        0
410.73/410.86	c  410s |      24 |  4880514 |  3823362 |      725  13204 |        0 |        0
412.72/412.88	c  412s |      24 |  4897752 |  3838662 |      725  13245 |        0 |        0
414.73/414.88	c  414s |      24 |  4915123 |  3853962 |      725  13285 |        0 |        0
416.72/416.88	c  416s |      24 |  4936713 |  3870762 |      725  13329 |        0 |        0
418.72/418.89	c  418s |      24 |  4958416 |  3888162 |      725  13374 |        0 |        0
420.82/420.90	c  420s |      24 |  4978967 |  3904962 |      725  13417 |        0 |        0
422.82/422.90	c  422s |      24 |  4997254 |  3921062 |      725  13459 |        0 |        0
424.82/424.90	c  424s |      24 |  5016396 |  3937862 |      725  13503 |        0 |        0
426.74/426.90	c  426s |      24 |  5034916 |  3953862 |      725  13545 |        0 |        0
428.83/428.91	c  428s |      24 |  5054346 |  3970262 |      725  13588 |        0 |        0
430.83/430.91	c  430s |      24 |  5075553 |  3987862 |      725  13634 |        0 |        0
432.83/432.92	c  432s |      24 |  5097140 |  4005362 |      725  13680 |        0 |        0
434.83/434.93	c  434s |      24 |  5116647 |  4022162 |      725  13724 |        0 |        0
436.83/436.93	c  436s |      24 |  5136751 |  4039062 |      725  13768 |        0 |        0
438.84/438.94	c  438s |      24 |  5157689 |  4056262 |      725  13813 |        0 |        0
440.83/440.95	c  440s |      24 |  5178234 |  4073162 |      725  13858 |        0 |        0
442.83/442.95	c  442s |      24 |  5198172 |  4090062 |      725  13901 |        0 |        0
444.83/444.95	c  444s |      24 |  5218153 |  4106462 |      725  13945 |        0 |        0
446.82/446.96	c  446s |      24 |  5237373 |  4122562 |      725  13987 |        0 |        0
448.83/448.97	c  448s |      24 |  5257752 |  4139362 |      725  14031 |        0 |        0
450.82/450.97	c  450s |      24 |  5276123 |  4154962 |      725  14072 |        0 |        0
452.82/452.98	c  452s |      24 |  5294793 |  4171262 |      725  14114 |        0 |        0
454.82/454.99	c  454s |      24 |  5313484 |  4187462 |      725  14157 |        0 |        0
456.82/456.99	c  456s |      24 |  5331679 |  4203362 |      725  14198 |        0 |        0
458.82/458.99	c  458s |      24 |  5350697 |  4219462 |      725  14240 |        0 |        0
460.83/461.00	c  460s |      24 |  5372797 |  4236562 |      725  14284 |        0 |        0
462.92/463.00	c  462s |      24 |  5392818 |  4252862 |      725  14328 |        0 |        0
464.92/465.01	c  464s |      24 |  5415070 |  4270262 |      725  14373 |        0 |        0
466.92/467.01	c  466s |      24 |  5435879 |  4287062 |      725  14418 |        0 |        0
468.92/469.01	c  469s |      24 |  5456649 |  4304062 |      725  14463 |        0 |        0
470.92/471.02	c  471s |      24 |  5477780 |  4320962 |      725  14507 |        0 |        0
472.92/473.02	c  473s |      24 |  5497428 |  4337162 |      725  14550 |        0 |        0
474.92/475.02	c  475s |      24 |  5518433 |  4354062 |      725  14595 |        0 |        0
476.92/477.03	c  477s |      24 |  5537652 |  4370062 |      725  14637 |        0 |        0
478.91/479.05	c  479s |      24 |  5557720 |  4386862 |      725  14682 |        0 |        0
480.91/481.05	c  481s |      24 |  5576849 |  4403262 |      725  14725 |        0 |        0
482.92/483.05	c  483s |      24 |  5595631 |  4419662 |      725  14768 |        0 |        0
484.91/485.06	c  485s |      24 |  5615113 |  4436062 |      725  14811 |        0 |        0
486.91/487.07	c  487s |      24 |  5635216 |  4452762 |      725  14856 |        0 |        0
488.92/489.08	c  489s |      24 |  5655012 |  4469462 |      725  14900 |        0 |        0
490.92/491.09	c  491s |      24 |  5675129 |  4486062 |      725  14944 |        0 |        0
492.92/493.09	c  493s |      24 |  5694139 |  4502262 |      725  14987 |        0 |        0
494.93/495.10	c  495s |      24 |  5713951 |  4518962 |      725  15031 |        0 |        0
497.02/497.11	c  497s |      24 |  5734795 |  4535962 |      725  15076 |        0 |        0
499.02/499.11	c  499s |      24 |  5752253 |  4551262 |      725  15116 |        0 |        0
501.02/501.12	c  501s |      24 |  5771598 |  4567362 |      725  15158 |        0 |        0
503.01/503.13	c  503s |      24 |  5791735 |  4583762 |      725  15202 |        0 |        0
505.01/505.14	c  505s |      24 |  5811649 |  4600262 |      725  15245 |        0 |        0
507.02/507.15	c  507s |      24 |  5831292 |  4616562 |      725  15289 |        0 |        0
509.01/509.15	c  509s |      24 |  5851969 |  4633462 |      725  15333 |        0 |        0
511.01/511.17	c  511s |      24 |  5874901 |  4651462 |      725  15381 |        0 |        0
513.01/513.17	c  513s |      24 |  5896311 |  4668462 |      725  15425 |        0 |        0
515.01/515.18	c  515s |      24 |  5918371 |  4685962 |      725  15472 |        0 |        0
517.02/517.19	c  517s |      24 |  5940574 |  4703562 |      725  15518 |        0 |        0
519.01/519.20	c  519s |      24 |  5963103 |  4721162 |      725  15565 |        0 |        0
521.11/521.21	c  521s |      24 |  5986039 |  4738962 |      725  15612 |        0 |        0
523.11/523.21	c  523s |      24 |  6006666 |  4755562 |      725  15656 |        0 |        0
525.11/525.22	c  525s |      24 |  6026847 |  4772162 |      725  15699 |        0 |        0
527.11/527.22	c  527s |      24 |  6045907 |  4787962 |      725  15741 |        0 |        0
529.12/529.23	c  529s |      24 |  6066102 |  4804362 |      725  15784 |        0 |        0
531.11/531.24	c  531s |      24 |  6086366 |  4821062 |      725  15828 |        0 |        0
533.11/533.24	c  533s |      24 |  6109491 |  4839062 |      725  15876 |        0 |        0
535.11/535.25	c  535s |      24 |  6129471 |  4855262 |      725  15919 |        0 |        0
537.11/537.26	c  537s |      24 |  6148195 |  4871062 |      725  15960 |        0 |        0
539.11/539.27	c  539s |      24 |  6168695 |  4887662 |      725  16004 |        0 |        0
541.12/541.27	c  541s |      24 |  6190317 |  4905362 |      725  16051 |        0 |        0
543.11/543.28	c  543s |      24 |  6211973 |  4922862 |      725  16097 |        0 |        0
545.11/545.28	c  545s |      24 |  6234756 |  4940762 |      725  16145 |        0 |        0
547.11/547.28	c  547s |      24 |  6257662 |  4958862 |      725  16193 |        0 |        0
549.11/549.29	c  549s |      24 |  6277373 |  4975662 |      725  16237 |        0 |        0
551.11/551.29	c  551s |      24 |  6297179 |  4992362 |      725  16281 |        0 |        0
553.10/553.29	c  553s |      24 |  6315157 |  5007662 |      725  16322 |        0 |        0
555.20/555.30	c  555s |      24 |  6332281 |  5022362 |      725  16360 |        0 |        0
557.20/557.30	c  557s |      24 |  6349696 |  5037562 |      798  16398 |        0 |        0
559.20/559.31	c  559s |      24 |  6366348 |  5052062 |      798  16433 |        0 |        0
560.80/561.00	c  560s |      25 |  6381889 |  5065098 |      798  16464 |        0 |        0
562.90/563.00	c  562s |      25 |  6401119 |  5080598 |      798  16502 |        0 |        0
564.90/565.01	c  565s |      25 |  6420927 |  5096598 |      798  16540 |        0 |        0
566.90/567.01	c  567s |      25 |  6440100 |  5111898 |      798  16577 |        0 |        0
568.90/569.02	c  569s |      25 |  6459396 |  5127698 |      798  16616 |        0 |        0
570.91/571.02	c  571s |      25 |  6480284 |  5144798 |      798  16657 |        0 |        0
572.90/573.03	c  573s |      25 |  6502605 |  5162398 |      798  16700 |        0 |        0
574.90/575.04	c  575s |      25 |  6524569 |  5180298 |      798  16743 |        0 |        0
576.90/577.04	c  577s |      25 |  6543760 |  5196198 |      798  16782 |        0 |        0
578.91/579.05	c  579s |      25 |  6564174 |  5212598 |      798  16822 |        0 |        0
580.90/581.06	c  581s |      25 |  6584325 |  5228698 |      798  16861 |        0 |        0
582.91/583.06	c  583s |      25 |  6605204 |  5245398 |      798  16902 |        0 |        0
584.90/585.07	c  585s |      25 |  6627200 |  5263098 |      798  16945 |        0 |        0
586.90/587.07	c  587s |      25 |  6650462 |  5281498 |      798  16990 |        0 |        0
588.90/589.07	c  589s |      25 |  6672645 |  5299198 |      798  17033 |        0 |        0
590.90/591.07	c  591s |      25 |  6694684 |  5316798 |      798  17076 |        0 |        0
592.91/593.08	c  593s |      25 |  6716392 |  5334498 |      798  17119 |        0 |        0
594.90/595.08	c  595s |      25 |  6737792 |  5351798 |      798  17161 |        0 |        0
596.90/597.09	c  597s |      25 |  6759506 |  5368498 |      798  17202 |        0 |        0
598.90/599.09	c  599s |      25 |  6780322 |  5385198 |      798  17242 |        0 |        0
601.00/601.10	c  601s |      25 |  6801196 |  5402398 |      798  17284 |        0 |        0
603.00/603.10	c  603s |      25 |  6822382 |  5419598 |      798  17326 |        0 |        0
605.01/605.11	c  605s |      25 |  6844539 |  5436798 |      798  17368 |        0 |        0
607.00/607.11	c  607s |      25 |  6865561 |  5453798 |      798  17409 |        0 |        0
609.00/609.12	c  609s |      25 |  6886577 |  5470898 |      798  17450 |        0 |        0
611.00/611.13	c  611s |      25 |  6907876 |  5487898 |      798  17491 |        0 |        0
613.00/613.14	c  613s |      25 |  6927752 |  5504298 |      798  17531 |        0 |        0
615.00/615.14	c  615s |      25 |  6948584 |  5521098 |      798  17572 |        0 |        0
617.00/617.14	c  617s |      25 |  6969694 |  5537898 |      798  17612 |        0 |        0
619.00/619.15	c  619s |      25 |  6992194 |  5554898 |      798  17654 |        0 |        0
621.00/621.15	c  621s |      25 |  7012591 |  5571098 |      798  17693 |        0 |        0
623.00/623.15	c  623s |      25 |  7033056 |  5587398 |      798  17733 |        0 |        0
625.00/625.16	c  625s |      25 |  7054593 |  5603898 |      798  17773 |        0 |        0
627.00/627.17	c  627s |      25 |  7075290 |  5620398 |      798  17813 |        0 |        0
628.99/629.18	c  629s |      25 |  7094896 |  5636198 |      798  17851 |        0 |        0
630.99/631.18	c  631s |      25 |  7112112 |  5650798 |      798  17887 |        0 |        0
632.99/633.20	c  633s |      25 |  7130336 |  5665998 |      798  17924 |        0 |        0
635.09/635.20	c  635s |      25 |  7149770 |  5681998 |      798  17963 |        0 |        0
637.09/637.20	c  637s |      25 |  7167380 |  5696998 |      798  17999 |        0 |        0
639.10/639.21	c  639s |      25 |  7184001 |  5711398 |      798  18034 |        0 |        0
641.09/641.22	c  641s |      25 |  7200775 |  5726098 |      798  18070 |        0 |        0
643.09/643.23	c  643s |      25 |  7219185 |  5741598 |      798  18107 |        0 |        0
645.09/645.24	c  645s |      25 |  7237564 |  5757098 |      798  18145 |        0 |        0
647.09/647.25	c  647s |      25 |  7257484 |  5773698 |      798  18185 |        0 |        0
649.09/649.26	c  649s |      25 |  7278028 |  5790298 |      798  18225 |        0 |        0
651.09/651.26	c  651s |      25 |  7297478 |  5806698 |      798  18265 |        0 |        0
653.09/653.26	c  653s |      25 |  7317887 |  5823398 |      798  18306 |        0 |        0
655.09/655.27	c  655s |      25 |  7336727 |  5839298 |      798  18344 |        0 |        0
657.09/657.27	c  657s |      25 |  7356386 |  5855198 |      798  18383 |        0 |        0
659.09/659.28	c  659s |      25 |  7375825 |  5871198 |      798  18422 |        0 |        0
661.10/661.29	c  661s |      25 |  7394083 |  5886398 |      798  18459 |        0 |        0
663.09/663.30	c  663s |      25 |  7411834 |  5901298 |      798  18495 |        0 |        0
665.19/665.31	c  665s |      25 |  7433125 |  5918098 |      798  18536 |        0 |        0
667.19/667.32	c  667s |      25 |  7454290 |  5934998 |      798  18577 |        0 |        0
669.19/669.33	c  669s |      25 |  7475422 |  5951698 |      798  18618 |        0 |        0
671.19/671.33	c  671s |      25 |  7497344 |  5968498 |      798  18659 |        0 |        0
673.20/673.34	c  673s |      25 |  7517943 |  5985098 |      798  18699 |        0 |        0
675.19/675.34	c  675s |      25 |  7537877 |  6001698 |      798  18740 |        0 |        0
677.19/677.35	c  677s |      25 |  7556662 |  6017298 |      798  18778 |        0 |        0
679.19/679.35	c  679s |      25 |  7575801 |  6033298 |      798  18817 |        0 |        0
681.19/681.35	c  681s |      25 |  7595130 |  6049598 |      798  18856 |        0 |        0
683.19/683.35	c  683s |      25 |  7613480 |  6065398 |      798  18895 |        0 |        0
685.19/685.37	c  685s |      25 |  7631220 |  6080898 |      798  18932 |        0 |        0
687.19/687.37	c  687s |      25 |  7650297 |  6096798 |      798  18971 |        0 |        0
689.19/689.38	c  689s |      25 |  7670212 |  6113298 |      798  19011 |        0 |        0
691.19/691.39	c  691s |      25 |  7690660 |  6130198 |      798  19053 |        0 |        0
693.28/693.40	c  693s |      25 |  7710233 |  6146498 |      798  19092 |        0 |        0
695.28/695.40	c  695s |      25 |  7729047 |  6162498 |      798  19132 |        0 |        0
697.18/697.40	c  697s |      25 |  7748416 |  6178698 |      798  19171 |        0 |        0
699.28/699.41	c  699s |      25 |  7769742 |  6195398 |      798  19212 |        0 |        0
701.28/701.41	c  701s |      25 |  7789380 |  6211398 |      798  19251 |        0 |        0
703.28/703.43	c  703s |      25 |  7805521 |  6225698 |      798  19286 |        0 |        0
705.28/705.43	c  705s |      25 |  7822887 |  6240598 |      798  19322 |        0 |        0
707.29/707.43	c  707s |      25 |  7840965 |  6255998 |      798  19360 |        0 |        0
709.28/709.44	c  709s |      25 |  7859449 |  6271498 |      798  19399 |        0 |        0
711.29/711.45	c  711s |      25 |  7878872 |  6287198 |      798  19437 |        0 |        0
713.28/713.45	c  713s |      25 |  7899282 |  6304098 |      798  19478 |        0 |        0
715.28/715.46	c  715s |      25 |  7918605 |  6320398 |      798  19518 |        0 |        0
717.28/717.46	c  717s |      25 |  7938723 |  6336998 |      798  19558 |        0 |        0
719.29/719.47	c  719s |      25 |  7955824 |  6351998 |      798  19594 |        0 |        0
721.28/721.47	c  721s |      25 |  7975090 |  6367798 |      798  19632 |        0 |        0
723.28/723.48	c  723s |      25 |  7995534 |  6384498 |      798  19673 |        0 |        0
725.27/725.49	c  725s |      25 |  8016221 |  6401598 |      798  19714 |        0 |        0
727.28/727.49	c  727s |      25 |  8036083 |  6417398 |      798  19753 |        0 |        0
729.38/729.50	c  729s |      25 |  8056909 |  6434198 |      798  19793 |        0 |        0
731.38/731.51	c  731s |      25 |  8077823 |  6450698 |      798  19833 |        0 |        0
733.37/733.52	c  733s |      25 |  8096541 |  6466498 |      798  19872 |        0 |        0
735.37/735.52	c  735s |      25 |  8115897 |  6482498 |      798  19911 |        0 |        0
737.37/737.54	c  737s |      25 |  8134377 |  6497998 |      798  19948 |        0 |        0
739.37/739.54	c  739s |      25 |  8154967 |  6514398 |      798  19988 |        0 |        0
741.38/741.55	c  741s |      25 |  8172843 |  6529498 |      798  20025 |        0 |        0
743.37/743.56	c  743s |      25 |  8191601 |  6545198 |      798  20063 |        0 |        0
745.37/745.57	c  745s |      25 |  8210486 |  6561098 |      798  20102 |        0 |        0
747.37/747.59	c  747s |      25 |  8233533 |  6578998 |      798  20145 |        0 |        0
749.37/749.59	c  749s |      25 |  8254809 |  6595898 |      798  20186 |        0 |        0
751.36/751.59	c  751s |      25 |  8273938 |  6611698 |      798  20224 |        0 |        0
753.37/753.60	c  753s |      25 |  8292243 |  6627398 |      798  20263 |        0 |        0
755.46/755.61	c  755s |      25 |  8313371 |  6644398 |      798  20304 |        0 |        0
757.45/757.61	c  757s |      25 |  8331933 |  6659998 |      798  20342 |        0 |        0
759.45/759.61	c  759s |      25 |  8350754 |  6675898 |      798  20380 |        0 |        0
761.45/761.62	c  761s |      25 |  8371620 |  6692798 |      798  20421 |        0 |        0
763.45/763.62	c  763s |      25 |  8395867 |  6711198 |      798  20466 |        0 |        0
765.46/765.62	c  765s |      25 |  8416293 |  6727898 |      798  20507 |        0 |        0
767.45/767.63	c  767s |      25 |  8438401 |  6745098 |      798  20549 |        0 |        0
769.45/769.63	c  769s |      25 |  8461008 |  6762698 |      798  20592 |        0 |        0
771.45/771.63	c  771s |      25 |  8482339 |  6779698 |      798  20633 |        0 |        0
773.45/773.64	c  773s |      25 |  8503140 |  6796298 |      798  20674 |        0 |        0
775.45/775.64	c  775s |      25 |  8521962 |  6812098 |      798  20712 |        0 |        0
777.44/777.64	c  777s |      25 |  8542009 |  6828298 |      798  20751 |        0 |        0
779.45/779.65	c  779s |      25 |  8561718 |  6844798 |      798  20791 |        0 |        0
781.45/781.66	c  781s |      25 |  8581008 |  6860798 |      798  20830 |        0 |        0
783.45/783.66	c  783s |      25 |  8600021 |  6876898 |      798  20869 |        0 |        0
785.45/785.67	c  785s |      25 |  8619441 |  6892998 |      798  20908 |        0 |        0
787.45/787.68	c  787s |      25 |  8638092 |  6908598 |      798  20945 |        0 |        0
789.45/789.69	c  789s |      25 |  8657050 |  6924098 |      798  20983 |        0 |        0
791.54/791.70	c  791s |      25 |  8675342 |  6939498 |      798  21020 |        0 |        0
793.54/793.70	c  793s |      25 |  8693716 |  6954998 |      798  21058 |        0 |        0
795.54/795.71	c  795s |      25 |  8712974 |  6970998 |      798  21097 |        0 |        0
797.54/797.71	c  797s |      25 |  8734602 |  6988398 |      798  21139 |        0 |        0
799.55/799.72	c  799s |      25 |  8755939 |  7005198 |      798  21180 |        0 |        0
801.54/801.73	c  801s |      25 |  8775807 |  7021398 |      798  21219 |        0 |        0
803.54/803.73	c  803s |      25 |  8795104 |  7037298 |      798  21258 |        0 |        0
805.53/805.74	c  805s |      25 |  8814884 |  7052798 |      798  21295 |        0 |        0
807.53/807.75	c  807s |      25 |  8835693 |  7069498 |      798  21336 |        0 |        0
809.54/809.76	c  809s |      25 |  8856065 |  7085798 |      798  21375 |        0 |        0
811.53/811.77	c  811s |      25 |  8876164 |  7102298 |      798  21415 |        0 |        0
813.53/813.78	c  813s |      25 |  8895007 |  7118198 |      798  21453 |        0 |        0
815.53/815.78	c  815s |      25 |  8914284 |  7133798 |      798  21491 |        0 |        0
817.52/817.79	c  817s |      25 |  8936167 |  7151098 |      798  21533 |        0 |        0
819.53/819.79	c  819s |      25 |  8955337 |  7167198 |      798  21573 |        0 |        0
821.64/821.81	c  821s |      25 |  8976449 |  7184298 |      798  21614 |        0 |        0
823.63/823.81	c  823s |      25 |  8995440 |  7200498 |      798  21654 |        0 |        0
825.63/825.82	c  825s |      25 |  9016379 |  7217698 |      798  21696 |        0 |        0
827.63/827.83	c  827s |      25 |  9038522 |  7235398 |      798  21739 |        0 |        0
829.62/829.83	c  829s |      25 |  9059238 |  7252598 |      798  21781 |        0 |        0
831.62/831.84	c  831s |      25 |  9078648 |  7269198 |      798  21822 |        0 |        0
833.63/833.85	c  833s |      25 |  9099724 |  7286298 |      798  21864 |        0 |        0
835.62/835.85	c  835s |      25 |  9121541 |  7303798 |      798  21907 |        0 |        0
837.62/837.86	c  837s |      25 |  9142894 |  7320998 |      798  21949 |        0 |        0
839.62/839.87	c  839s |      25 |  9165025 |  7338798 |      798  21993 |        0 |        0
841.62/841.88	c  841s |      25 |  9184847 |  7355398 |      798  22033 |        0 |        0
843.62/843.89	c  843s |      25 |  9204869 |  7372198 |      798  22075 |        0 |        0
845.61/845.90	c  845s |      25 |  9227766 |  7390398 |      798  22119 |        0 |        0
847.71/847.90	c  847s |      25 |  9247996 |  7406998 |      798  22159 |        0 |        0
849.71/849.91	c  849s |      25 |  9267204 |  7423498 |      798  22199 |        0 |        0
851.71/851.91	c  851s |      25 |  9286260 |  7439998 |      798  22240 |        0 |        0
853.71/853.91	c  853s |      25 |  9305740 |  7456698 |      798  22280 |        0 |        0
855.71/855.92	c  855s |      25 |  9324076 |  7472698 |      798  22319 |        0 |        0
857.70/857.93	c  857s |      25 |  9341391 |  7487598 |      798  22356 |        0 |        0
859.70/859.93	c  859s |      25 |  9361456 |  7503698 |      798  22395 |        0 |        0
861.70/861.94	c  861s |      25 |  9382488 |  7520898 |      798  22436 |        0 |        0
863.70/863.94	c  863s |      25 |  9400270 |  7536298 |      798  22474 |        0 |        0
865.70/865.95	c  865s |      25 |  9419828 |  7552298 |      878  22511 |        0 |        0
867.71/867.95	c  867s |      25 |  9437799 |  7567598 |      878  22544 |        0 |        0
869.71/869.95	c  869s |      25 |  9456278 |  7583298 |      878  22579 |        0 |        0
871.51/871.75	c  871s |      26 |  9474507 |  7597752 |      878  22611 |        0 |        0
873.51/873.76	c  873s |      26 |  9494175 |  7613252 |      878  22645 |        0 |        0
875.51/875.76	c  875s |      26 |  9514947 |  7629352 |      878  22680 |        0 |        0
877.51/877.77	c  877s |      26 |  9534228 |  7645052 |      878  22714 |        0 |        0
879.51/879.78	c  879s |      26 |  9552267 |  7660252 |      878  22747 |        0 |        0
881.51/881.79	c  881s |      26 |  9571745 |  7675952 |      878  22782 |        0 |        0
883.50/883.79	c  883s |      26 |  9591826 |  7691752 |      878  22816 |        0 |        0
885.60/885.80	c  885s |      26 |  9612263 |  7707752 |      878  22851 |        0 |        0
887.51/887.80	c  887s |      26 |  9632891 |  7723552 |      878  22886 |        0 |        0
889.60/889.81	c  889s |      26 |  9653648 |  7739952 |      878  22922 |        0 |        0
891.60/891.81	c  891s |      26 |  9675897 |  7756852 |      878  22959 |        0 |        0
893.60/893.81	c  893s |      26 |  9699870 |  7774552 |      878  22998 |        0 |        0
895.59/895.83	c  895s |      26 |  9723520 |  7792152 |      878  23037 |        0 |        0
897.59/897.83	c  897s |      26 |  9743863 |  7808352 |      878  23072 |        0 |        0
899.60/899.83	c  899s |      26 |  9763041 |  7824052 |      878  23106 |        0 |        0
901.59/901.84	c  901s |      26 |  9785932 |  7841352 |      878  23145 |        0 |        0
903.59/903.85	c  903s |      26 |  9806822 |  7857552 |      878  23180 |        0 |        0
905.58/905.86	c  905s |      26 |  9827571 |  7873752 |      878  23216 |        0 |        0
907.59/907.87	c  907s |      26 |  9845313 |  7888452 |      878  23248 |        0 |        0
909.60/909.88	c  909s |      26 |  9865802 |  7904652 |      878  23284 |        0 |        0
911.59/911.88	c  911s |      26 |  9886173 |  7920452 |      878  23319 |        0 |        0
913.59/913.89	c  913s |      26 |  9904625 |  7935452 |      878  23351 |        0 |        0
915.58/915.89	c  915s |      26 |  9922800 |  7950452 |      878  23384 |        0 |        0
917.68/917.90	c  917s |      26 |  9941130 |  7965552 |      878  23418 |        0 |        0
919.68/919.90	c  919s |      26 |  9960321 |  7981152 |      878  23452 |        0 |        0
921.69/921.91	c  921s |      26 |  9981147 |  7997452 |      878  23488 |        0 |        0
923.68/923.91	c  923s |      26 | 10000236 |  8012352 |      878  23520 |        0 |        0
925.68/925.92	c  925s |      26 | 10023112 |  8028452 |      878  23556 |        0 |        0
927.68/927.93	c  927s |      26 | 10044373 |  8044952 |      878  23592 |        0 |        0
929.67/929.94	c  929s |      26 | 10064279 |  8060752 |      878  23627 |        0 |        0
931.67/931.94	c  931s |      26 | 10082774 |  8075952 |      878  23660 |        0 |        0
933.68/933.95	c  933s |      26 | 10101377 |  8091552 |      878  23694 |        0 |        0
935.67/935.96	c  935s |      26 | 10120367 |  8107152 |      878  23729 |        0 |        0
937.67/937.97	c  937s |      26 | 10139283 |  8122652 |      878  23763 |        0 |        0
939.67/939.97	c  939s |      26 | 10157873 |  8138052 |      878  23797 |        0 |        0
941.67/941.98	c  941s |      26 | 10177169 |  8153952 |      878  23832 |        0 |        0
943.67/943.98	c  943s |      26 | 10197234 |  8169852 |      878  23867 |        0 |        0
945.66/945.99	c  945s |      26 | 10216933 |  8185752 |      878  23902 |        0 |        0
947.76/948.00	c  947s |      26 | 10236147 |  8201552 |      878  23937 |        0 |        0
949.76/950.01	c  949s |      26 | 10254712 |  8216852 |      878  23970 |        0 |        0
951.76/952.01	c  952s |      26 | 10274370 |  8232652 |      878  24005 |        0 |        0
953.76/954.03	c  954s |      26 | 10292777 |  8247752 |      878  24038 |        0 |        0
955.76/956.04	c  956s |      26 | 10311907 |  8263552 |      878  24073 |        0 |        0
957.76/958.04	c  958s |      26 | 10330707 |  8279052 |      878  24107 |        0 |        0
959.76/960.06	c  960s |      26 | 10349979 |  8295152 |      878  24142 |        0 |        0
961.76/962.06	c  962s |      26 | 10369123 |  8310552 |      878  24176 |        0 |        0
963.76/964.07	c  964s |      26 | 10388525 |  8326152 |      878  24210 |        0 |        0
965.76/966.07	c  966s |      26 | 10408263 |  8341952 |      878  24245 |        0 |        0
967.77/968.09	c  968s |      26 | 10429763 |  8358452 |      878  24282 |        0 |        0
969.86/970.10	c  970s |      26 | 10449267 |  8374252 |      878  24317 |        0 |        0
971.86/972.10	c  972s |      26 | 10468411 |  8389752 |      878  24351 |        0 |        0
973.86/974.12	c  974s |      26 | 10489710 |  8406552 |      878  24388 |        0 |        0
975.85/976.12	c  976s |      26 | 10508194 |  8422052 |      878  24422 |        0 |        0
977.85/978.13	c  978s |      26 | 10526421 |  8437452 |      878  24456 |        0 |        0
979.86/980.14	c  980s |      26 | 10546270 |  8453452 |      878  24492 |        0 |        0
981.85/982.14	c  982s |      26 | 10565195 |  8468952 |      878  24526 |        0 |        0
983.85/984.15	c  984s |      26 | 10584690 |  8484852 |      878  24561 |        0 |        0
985.85/986.16	c  986s |      26 | 10605176 |  8500552 |      878  24596 |        0 |        0
987.85/988.16	c  988s |      26 | 10624436 |  8515852 |      878  24630 |        0 |        0
989.85/990.17	c  990s |      26 | 10642837 |  8530752 |      878  24663 |        0 |        0
991.85/992.17	c  992s |      26 | 10662297 |  8546252 |      878  24697 |        0 |        0
993.84/994.17	c  994s |      26 | 10681165 |  8561452 |      878  24730 |        0 |        0
995.84/996.18	c  996s |      26 | 10699999 |  8576652 |      878  24764 |        0 |        0
997.84/998.18	c  998s |      26 | 10717433 |  8590952 |      878  24796 |        0 |        0
999.84/1000.19	c 1000s |      26 | 10734706 |  8605152 |      878  24827 |        0 |        0
1001.85/1002.20	c 1002s |      26 | 10751609 |  8619352 |      878  24858 |        0 |        0
1003.94/1004.21	c 1004s |      26 | 10768728 |  8633552 |      878  24889 |        0 |        0
1005.93/1006.21	c 1006s |      26 | 10784832 |  8647152 |      878  24919 |        0 |        0
1007.93/1008.22	c 1008s |      26 | 10801734 |  8661852 |      878  24951 |        0 |        0
1009.93/1010.23	c 1010s |      26 | 10819597 |  8676652 |      878  24984 |        0 |        0
1011.93/1012.23	c 1012s |      26 | 10836280 |  8690852 |      878  25015 |        0 |        0
1013.94/1014.25	c 1014s |      26 | 10853351 |  8705152 |      878  25047 |        0 |        0
1015.93/1016.26	c 1016s |      26 | 10869722 |  8719052 |      878  25078 |        0 |        0
1017.93/1018.26	c 1018s |      26 | 10888011 |  8733952 |      878  25110 |        0 |        0
1019.93/1020.26	c 1020s |      26 | 10904065 |  8747952 |      878  25141 |        0 |        0
1021.93/1022.27	c 1022s |      26 | 10919929 |  8761552 |      878  25171 |        0 |        0
1023.93/1024.28	c 1024s |      26 | 10936390 |  8775552 |      878  25202 |        0 |        0
1025.92/1026.30	c 1026s |      26 | 10956994 |  8791652 |      878  25237 |        0 |        0
1028.02/1028.30	c 1028s |      26 | 10972630 |  8805052 |      878  25267 |        0 |        0
1030.02/1030.31	c 1030s |      26 | 10987999 |  8818352 |      878  25296 |        0 |        0
1032.02/1032.32	c 1032s |      26 | 11003837 |  8832052 |      878  25327 |        0 |        0
1034.03/1034.33	c 1034s |      26 | 11021075 |  8846352 |      878  25358 |        0 |        0
1036.03/1036.33	c 1036s |      26 | 11037281 |  8860052 |      878  25389 |        0 |        0
1038.02/1038.34	c 1038s |      26 | 11053751 |  8873852 |      878  25419 |        0 |        0
1040.02/1040.34	c 1040s |      26 | 11068901 |  8887152 |      878  25448 |        0 |        0
1042.02/1042.35	c 1042s |      26 | 11084501 |  8900852 |      878  25479 |        0 |        0
1044.02/1044.36	c 1044s |      26 | 11100157 |  8914552 |      878  25509 |        0 |        0
1046.02/1046.36	c 1046s |      26 | 11116173 |  8928452 |      878  25540 |        0 |        0
1048.02/1048.38	c 1048s |      26 | 11135467 |  8943752 |      878  25574 |        0 |        0
1050.02/1050.38	c 1050s |      26 | 11155030 |  8959252 |      878  25608 |        0 |        0
1052.02/1052.38	c 1052s |      26 | 11172561 |  8973652 |      878  25639 |        0 |        0
1054.01/1054.39	c 1054s |      26 | 11188942 |  8987452 |      878  25669 |        0 |        0
1056.11/1056.40	c 1056s |      26 | 11205925 |  9001852 |      878  25701 |        0 |        0
1058.11/1058.41	c 1058s |      26 | 11223824 |  9016452 |      878  25733 |        0 |        0
1060.11/1060.41	c 1060s |      26 | 11243276 |  9031952 |      878  25767 |        0 |        0
1062.11/1062.41	c 1062s |      26 | 11265213 |  9048952 |      878  25805 |        0 |        0
1064.10/1064.42	c 1064s |      26 | 11285155 |  9064852 |      878  25839 |        0 |        0
1066.10/1066.42	c 1066s |      26 | 11304798 |  9080452 |      878  25873 |        0 |        0
1068.10/1068.43	c 1068s |      26 | 11322853 |  9095452 |      878  25906 |        0 |        0
1070.11/1070.43	c 1070s |      26 | 11339751 |  9110152 |      878  25939 |        0 |        0
1072.10/1072.45	c 1072s |      26 | 11357640 |  9125052 |      878  25971 |        0 |        0
1074.10/1074.45	c 1074s |      26 | 11375237 |  9139752 |      878  26003 |        0 |        0
1076.09/1076.46	c 1076s |      26 | 11390860 |  9153352 |      878  26033 |        0 |        0
1078.09/1078.46	c 1078s |      26 | 11413211 |  9170252 |      878  26070 |        0 |        0
1080.09/1080.47	c 1080s |      26 | 11435631 |  9187252 |      878  26107 |        0 |        0
1082.10/1082.48	c 1082s |      26 | 11455527 |  9203252 |      878  26143 |        0 |        0
1084.09/1084.49	c 1084s |      26 | 11477698 |  9219852 |      878  26179 |        0 |        0
1086.19/1086.50	c 1086s |      26 | 11499396 |  9236152 |      878  26215 |        0 |        0
1088.19/1088.51	c 1088s |      26 | 11517408 |  9251252 |      878  26248 |        0 |        0
1090.19/1090.52	c 1090s |      26 | 11536273 |  9266852 |      878  26282 |        0 |        0
1092.19/1092.54	c 1092s |      26 | 11553465 |  9281552 |      878  26315 |        0 |        0
1094.19/1094.55	c 1094s |      26 | 11573638 |  9297752 |      878  26350 |        0 |        0
1096.19/1096.56	c 1096s |      26 | 11593678 |  9313552 |      878  26385 |        0 |        0
1098.19/1098.56	c 1098s |      26 | 11612056 |  9328352 |      878  26418 |        0 |        0
1100.19/1100.57	c 1100s |      26 | 11631669 |  9344052 |      878  26453 |        0 |        0
1102.19/1102.57	c 1102s |      26 | 11652514 |  9360252 |      878  26488 |        0 |        0
1104.19/1104.58	c 1104s |      26 | 11671061 |  9375552 |      878  26522 |        0 |        0
1106.18/1106.58	c 1106s |      26 | 11692177 |  9391652 |      878  26558 |        0 |        0
1108.18/1108.59	c 1108s |      26 | 11715038 |  9408752 |      878  26595 |        0 |        0
1110.18/1110.60	c 1110s |      26 | 11734520 |  9424352 |      878  26630 |        0 |        0
1112.28/1112.60	c 1112s |      26 | 11755712 |  9440652 |      878  26666 |        0 |        0
1114.28/1114.60	c 1114s |      26 | 11777137 |  9457252 |      878  26703 |        0 |        0
1116.28/1116.61	c 1116s |      26 | 11798328 |  9473952 |      878  26740 |        0 |        0
1118.27/1118.61	c 1118s |      26 | 11820192 |  9490552 |      878  26776 |        0 |        0
1120.27/1120.61	c 1120s |      26 | 11841689 |  9507352 |      878  26814 |        0 |        0
1122.27/1122.61	c 1122s |      26 | 11862167 |  9523452 |      878  26849 |        0 |        0
1124.27/1124.62	c 1124s |      26 | 11882673 |  9539352 |      878  26885 |        0 |        0
1126.27/1126.62	c 1126s |      26 | 11901577 |  9554852 |      878  26919 |        0 |        0
1128.27/1128.63	c 1128s |      26 | 11919243 |  9569652 |      878  26951 |        0 |        0
1130.27/1130.63	c 1130s |      26 | 11937624 |  9584752 |      878  26984 |        0 |        0
1132.26/1132.65	c 1132s |      26 | 11955409 |  9599852 |      878  27017 |        0 |        0
1134.26/1134.65	c 1134s |      26 | 11973077 |  9614552 |      878  27049 |        0 |        0
1136.26/1136.66	c 1136s |      26 | 11992898 |  9630252 |      878  27084 |        0 |        0
1138.27/1138.67	c 1138s |      26 | 12012996 |  9646252 |      878  27119 |        0 |        0
1140.26/1140.67	c 1140s |      26 | 12033232 |  9661852 |      878  27153 |        0 |        0
1142.27/1142.68	c 1142s |      26 | 12052629 |  9677152 |      878  27186 |        0 |        0
1144.27/1144.69	c 1144s |      26 | 12072824 |  9693052 |      878  27221 |        0 |        0
1146.36/1146.70	c 1146s |      26 | 12093853 |  9709152 |      878  27257 |        0 |        0
1148.36/1148.70	c 1148s |      26 | 12114220 |  9724752 |      878  27291 |        0 |        0
1150.37/1150.70	c 1150s |      26 | 12132805 |  9739852 |      878  27324 |        0 |        0
1152.36/1152.71	c 1152s |      26 | 12151227 |  9754852 |      878  27357 |        0 |        0
1154.36/1154.73	c 1154s |      26 | 12171322 |  9770252 |      878  27391 |        0 |        0
1156.36/1156.73	c 1156s |      26 | 12192585 |  9786052 |      878  27425 |        0 |        0
1158.35/1158.74	c 1158s |      26 | 12212002 |  9801652 |      878  27460 |        0 |        0
1160.35/1160.74	c 1160s |      26 | 12233499 |  9818152 |      878  27496 |        0 |        0
1162.36/1162.75	c 1162s |      26 | 12253399 |  9833952 |      878  27530 |        0 |        0
1164.35/1164.76	c 1164s |      26 | 12274134 |  9850052 |      878  27566 |        0 |        0
1166.35/1166.76	c 1166s |      26 | 12294030 |  9865752 |      878  27601 |        0 |        0
1168.35/1168.77	c 1168s |      26 | 12313271 |  9881252 |      878  27635 |        0 |        0
1170.35/1170.78	c 1170s |      26 | 12332697 |  9896552 |      878  27669 |        0 |        0
1172.35/1172.79	c 1172s |      26 | 12350033 |  9910952 |      878  27700 |        0 |        0
1174.45/1174.80	c 1174s |      26 | 12367146 |  9925452 |      878  27732 |        0 |        0
1176.44/1176.81	c 1176s |      26 | 12383218 |  9939252 |      878  27763 |        0 |        0
1178.44/1178.82	c 1178s |      26 | 12400085 |  9953352 |      878  27794 |        0 |        0
1180.44/1180.82	c 1180s |      26 | 12417985 |  9967952 |      878  27826 |        0 |        0
1182.44/1182.83	c 1182s |      26 | 12433422 |  9981452 |      878  27856 |        0 |        0
1184.45/1184.84	c 1184s |      26 | 12449472 |  9995052 |      878  27886 |        0 |        0
1186.43/1186.84	c 1186s |      26 | 12466284 | 10009352 |      878  27918 |        0 |        0
1188.43/1188.85	c 1188s |      26 | 12483263 | 10023652 |      878  27950 |        0 |        0
1190.43/1190.86	c 1190s |      26 | 12500741 | 10038052 |      878  27982 |        0 |        0
1192.43/1192.87	c 1192s |      26 | 12517828 | 10052152 |      878  28013 |        0 |        0
1194.43/1194.87	c 1194s |      26 | 12534274 | 10066152 |      878  28044 |        0 |        0
1196.44/1196.88	c 1196s |      26 | 12550574 | 10080052 |      878  28074 |        0 |        0
1198.43/1198.88	c 1198s |      26 | 12568055 | 10094552 |      878  28107 |        0 |        0
1200.43/1200.89	c 1200s |      26 | 12587435 | 10109752 |      878  28140 |        0 |        0
1202.53/1202.91	c 1202s |      26 | 12606296 | 10124752 |      878  28174 |        0 |        0
1204.53/1204.92	c 1204s |      26 | 12625321 | 10139852 |      878  28207 |        0 |        0
1206.53/1206.92	c 1206s |      26 | 12642018 | 10154152 |      878  28239 |        0 |        0
1208.53/1208.93	c 1208s |      26 | 12658206 | 10168052 |      878  28270 |        0 |        0
1210.52/1210.93	c 1210s |      26 | 12673563 | 10181452 |      878  28300 |        0 |        0
1212.52/1212.93	c 1212s |      26 | 12690977 | 10196152 |      878  28332 |        0 |        0
1214.52/1214.94	c 1214s |      26 | 12707453 | 10210352 |      878  28364 |        0 |        0
1216.52/1216.95	c 1216s |      26 | 12724789 | 10224852 |      878  28396 |        0 |        0
1218.52/1218.96	c 1218s |      26 | 12742976 | 10239952 |      878  28429 |        0 |        0
1220.51/1220.96	c 1220s |      26 | 12760868 | 10254752 |      878  28462 |        0 |        0
1222.51/1222.97	c 1222s |      26 | 12779712 | 10270052 |      878  28496 |        0 |        0
1224.51/1224.97	c 1224s |      26 | 12797279 | 10284752 |      878  28529 |        0 |        0
1226.51/1226.98	c 1226s |      26 | 12814952 | 10299252 |      878  28561 |        0 |        0
1228.51/1228.99	c 1228s |      26 | 12833044 | 10314352 |      878  28595 |        0 |        0
1230.52/1230.99	c 1230s |      26 | 12851177 | 10329152 |      878  28628 |        0 |        0
1232.52/1232.99	c 1232s |      26 | 12869453 | 10343952 |      878  28661 |        0 |        0
1234.61/1235.01	c 1234s |      26 | 12887411 | 10358752 |      878  28694 |        0 |        0
1236.61/1237.02	c 1237s |      26 | 12902791 | 10372252 |      878  28724 |        0 |        0
1238.61/1239.03	c 1239s |      26 | 12918801 | 10386252 |      878  28754 |        0 |        0
1240.61/1241.05	c 1241s |      26 | 12937182 | 10401252 |      878  28788 |        0 |        0
1242.62/1243.05	c 1243s |      26 | 12956128 | 10416052 |      878  28820 |        0 |        0
1244.61/1245.05	c 1245s |      26 | 12974418 | 10430752 |      878  28853 |        0 |        0
1246.61/1247.05	c 1247s |      26 | 12993538 | 10446052 |      878  28887 |        0 |        0
1248.61/1249.05	c 1249s |      26 | 13011175 | 10460552 |      878  28919 |        0 |        0
1250.61/1251.06	c 1251s |      26 | 13028025 | 10474552 |      878  28950 |        0 |        0
1252.61/1253.07	c 1253s |      26 | 13046215 | 10489452 |      878  28984 |        0 |        0
1254.60/1255.07	c 1255s |      26 | 13064406 | 10504452 |      878  29017 |        0 |        0
1256.60/1257.08	c 1257s |      26 | 13081111 | 10518452 |      878  29048 |        0 |        0
1258.69/1259.10	c 1259s |      26 | 13098804 | 10532952 |      878  29080 |        0 |        0
1260.69/1261.10	c 1261s |      26 | 13114439 | 10546652 |      878  29110 |        0 |        0
1262.69/1263.10	c 1263s |      26 | 13130364 | 10560652 |      878  29142 |        0 |        0
1264.70/1265.12	c 1265s |      26 | 13146724 | 10575052 |      878  29174 |        0 |        0
1266.69/1267.13	c 1267s |      26 | 13163830 | 10589652 |      878  29206 |        0 |        0
1268.69/1269.14	c 1269s |      26 | 13180690 | 10603952 |      878  29237 |        0 |        0
1270.69/1271.14	c 1271s |      26 | 13197252 | 10618452 |      878  29269 |        0 |        0
1272.69/1273.15	c 1273s |      26 | 13214387 | 10633252 |      878  29301 |        0 |        0
1274.69/1275.15	c 1275s |      26 | 13231177 | 10647652 |      878  29333 |        0 |        0
1276.70/1277.16	c 1277s |      26 | 13247536 | 10661852 |      878  29364 |        0 |        0
1278.69/1279.17	c 1279s |      26 | 13264636 | 10676252 |      878  29395 |        0 |        0
1280.69/1281.18	c 1281s |      26 | 13282303 | 10690952 |      878  29428 |        0 |        0
1282.79/1283.20	c 1283s |      26 | 13300051 | 10705552 |      878  29460 |        0 |        0
1284.79/1285.21	c 1285s |      26 | 13318616 | 10720652 |      878  29493 |        0 |        0
1286.78/1287.22	c 1287s |      26 | 13337929 | 10736152 |      878  29527 |        0 |        0
1288.79/1289.23	c 1289s |      26 | 13359837 | 10752652 |      878  29563 |        0 |        0
1290.78/1291.23	c 1291s |      26 | 13380081 | 10768252 |      878  29598 |        0 |        0
1292.78/1293.24	c 1293s |      26 | 13397855 | 10782752 |      878  29630 |        0 |        0
1294.78/1295.25	c 1295s |      26 | 13415848 | 10797852 |      878  29663 |        0 |        0
1296.77/1297.25	c 1297s |      26 | 13433227 | 10812452 |      878  29695 |        0 |        0
1298.78/1299.26	c 1299s |      26 | 13450909 | 10827052 |      878  29727 |        0 |        0
1300.77/1301.27	c 1301s |      26 | 13467978 | 10841152 |      878  29758 |        0 |        0
1302.77/1303.27	c 1303s |      26 | 13485806 | 10855752 |      878  29790 |        0 |        0
1304.77/1305.27	c 1305s |      26 | 13503227 | 10870252 |      878  29822 |        0 |        0
1306.76/1307.27	c 1307s |      26 | 13519550 | 10883852 |      878  29852 |        0 |        0
1308.76/1309.28	c 1309s |      26 | 13535876 | 10897652 |      878  29882 |        0 |        0
1310.77/1311.28	c 1311s |      26 | 13552044 | 10911352 |      878  29912 |        0 |        0
1312.76/1313.29	c 1313s |      26 | 13567907 | 10924952 |      878  29942 |        0 |        0
1314.86/1315.30	c 1315s |      26 | 13583223 | 10938452 |      878  29972 |        0 |        0
1316.86/1317.31	c 1317s |      26 | 13598343 | 10952052 |      878  30002 |        0 |        0
1318.86/1319.31	c 1319s |      26 | 13614888 | 10965852 |      878  30032 |        0 |        0
1320.86/1321.32	c 1321s |      26 | 13631602 | 10980052 |      878  30063 |        0 |        0
1322.86/1323.32	c 1323s |      26 | 13647519 | 10993852 |      878  30094 |        0 |        0
1324.85/1325.33	c 1325s |      26 | 13664039 | 11007852 |      878  30124 |        0 |        0
1326.85/1327.34	c 1327s |      26 | 13682220 | 11022652 |      878  30157 |        0 |        0
1328.86/1329.35	c 1329s |      26 | 13698648 | 11036752 |      878  30188 |        0 |        0
1330.86/1331.35	c 1331s |      26 | 13714222 | 11050552 |      878  30218 |        0 |        0
1332.86/1333.36	c 1333s |      26 | 13729500 | 11063952 |      878  30248 |        0 |        0
1334.86/1335.36	c 1335s |      26 | 13745761 | 11077952 |      878  30279 |        0 |        0
1336.85/1337.37	c 1337s |      26 | 13762691 | 11091852 |      878  30309 |        0 |        0
1338.85/1339.37	c 1339s |      26 | 13779108 | 11105752 |      878  30340 |        0 |        0
1340.85/1341.38	c 1341s |      26 | 13795073 | 11119452 |      878  30370 |        0 |        0
1342.85/1343.38	c 1343s |      26 | 13812944 | 11133752 |      878  30401 |        0 |        0
1344.85/1345.39	c 1345s |      26 | 13828948 | 11146952 |      878  30430 |        0 |        0
1346.84/1347.39	c 1347s |      26 | 13844932 | 11160452 |      878  30460 |        0 |        0
1348.94/1349.41	c 1349s |      26 | 13860928 | 11174052 |      878  30490 |        0 |        0
1350.94/1351.42	c 1351s |      26 | 13876160 | 11187152 |      878  30518 |        0 |        0
1352.94/1353.42	c 1353s |      26 | 13892701 | 11201152 |      878  30549 |        0 |        0
1354.94/1355.43	c 1355s |      26 | 13910923 | 11216352 |      878  30582 |        0 |        0
1356.94/1357.44	c 1357s |      26 | 13928380 | 11231052 |      878  30614 |        0 |        0
1358.93/1359.44	c 1359s |      26 | 13946254 | 11246152 |      878  30648 |        0 |        0
1360.93/1361.46	c 1361s |      26 | 13964577 | 11261252 |      878  30681 |        0 |        0
1362.93/1363.46	c 1363s |      26 | 13981941 | 11275952 |      878  30713 |        0 |        0
1364.93/1365.47	c 1365s |      26 | 13998801 | 11290352 |      878  30744 |        0 |        0
1366.94/1367.47	c 1367s |      26 | 14014550 | 11304152 |      878  30774 |        0 |        0
1368.93/1369.49	c 1369s |      26 | 14030607 | 11318152 |      966  30804 |        0 |        0
1370.93/1371.49	c 1371s |      26 | 14045770 | 11331352 |      966  30830 |        0 |        0
1373.03/1373.50	c 1373s |      26 | 14059736 | 11343852 |      966  30855 |        0 |        0
1375.03/1375.51	c 1375s |      26 | 14075043 | 11357252 |      966  30882 |        0 |        0
1377.03/1377.52	c 1377s |      26 | 14090581 | 11370752 |      966  30909 |        0 |        0
1379.04/1379.53	c 1379s |      26 | 14107444 | 11384952 |      966  30937 |        0 |        0
1380.73/1381.28	c 1381s |      27 | 14121064 | 11396733 |      966  30961 |        0 |        0
1382.73/1383.29	c 1383s |      27 | 14138920 | 11410933 |      966  30989 |        0 |        0
1384.83/1385.30	c 1385s |      27 | 14157053 | 11425533 |      966  31018 |        0 |        0
1386.83/1387.31	c 1387s |      27 | 14175111 | 11440333 |      966  31048 |        0 |        0
1388.84/1389.31	c 1389s |      27 | 14194235 | 11454933 |      966  31077 |        0 |        0
1390.84/1391.33	c 1391s |      27 | 14210482 | 11468633 |      966  31105 |        0 |        0
1392.84/1393.33	c 1393s |      27 | 14227507 | 11482733 |      966  31133 |        0 |        0
1394.84/1395.34	c 1395s |      27 | 14243663 | 11496233 |      966  31160 |        0 |        0
1396.84/1397.35	c 1397s |      27 | 14260022 | 11509533 |      966  31187 |        0 |        0
1398.84/1399.37	c 1399s |      27 | 14277426 | 11523433 |      966  31215 |        0 |        0
1400.83/1401.38	c 1401s |      27 | 14293810 | 11537133 |      966  31242 |        0 |        0
1402.83/1403.39	c 1403s |      27 | 14310539 | 11550933 |      966  31270 |        0 |        0
1404.93/1405.40	c 1405s |      27 | 14327459 | 11564833 |      966  31298 |        0 |        0
1406.93/1407.41	c 1407s |      27 | 14343577 | 11578633 |      966  31325 |        0 |        0
1408.93/1409.42	c 1409s |      27 | 14361126 | 11592633 |      966  31354 |        0 |        0
1410.94/1411.44	c 1411s |      27 | 14381078 | 11607133 |      966  31383 |        0 |        0
1412.93/1413.44	c 1413s |      27 | 14398470 | 11621033 |      966  31411 |        0 |        0
1414.93/1415.45	c 1415s |      27 | 14416226 | 11635033 |      966  31439 |        0 |        0
1416.93/1417.46	c 1417s |      27 | 14435669 | 11649933 |      966  31469 |        0 |        0
1418.93/1419.47	c 1419s |      27 | 14453800 | 11664333 |      966  31498 |        0 |        0
1420.93/1421.47	c 1421s |      27 | 14471628 | 11678633 |      966  31526 |        0 |        0
1422.93/1423.48	c 1423s |      27 | 14488704 | 11692833 |      966  31555 |        0 |        0
1424.93/1425.49	c 1425s |      27 | 14507442 | 11707233 |      966  31584 |        0 |        0
1426.93/1427.50	c 1427s |      27 | 14524709 | 11721533 |      966  31612 |        0 |        0
1429.02/1429.50	c 1429s |      27 | 14542846 | 11735733 |      966  31641 |        0 |        0
1431.02/1431.51	c 1431s |      27 | 14560997 | 11749833 |      966  31669 |        0 |        0
1433.02/1433.52	c 1433s |      27 | 14578271 | 11763733 |      966  31697 |        0 |        0
1435.03/1435.53	c 1435s |      27 | 14595929 | 11778033 |      966  31725 |        0 |        0
1437.02/1437.53	c 1437s |      27 | 14612581 | 11792033 |      966  31753 |        0 |        0
1439.02/1439.54	c 1439s |      27 | 14629872 | 11806133 |      966  31782 |        0 |        0
1441.02/1441.55	c 1441s |      27 | 14645886 | 11819733 |      966  31809 |        0 |        0
1443.02/1443.56	c 1443s |      27 | 14661770 | 11833233 |      966  31836 |        0 |        0
1445.03/1445.57	c 1445s |      27 | 14679230 | 11847633 |      966  31865 |        0 |        0
1447.02/1447.59	c 1447s |      27 | 14696014 | 11862033 |      966  31893 |        0 |        0
1449.12/1449.60	c 1449s |      27 | 14711524 | 11875633 |      966  31921 |        0 |        0
1451.12/1451.60	c 1451s |      27 | 14727992 | 11889533 |      966  31948 |        0 |        0
1453.12/1453.61	c 1453s |      27 | 14743411 | 11902633 |      966  31974 |        0 |        0
1455.12/1455.62	c 1455s |      27 | 14759660 | 11916133 |      966  32001 |        0 |        0
1457.13/1457.63	c 1457s |      27 | 14776142 | 11929533 |      966  32028 |        0 |        0
1459.12/1459.64	c 1459s |      27 | 14792935 | 11943333 |      966  32056 |        0 |        0
1461.13/1461.65	c 1461s |      27 | 14808680 | 11956433 |      966  32082 |        0 |        0
1463.13/1463.65	c 1463s |      27 | 14823713 | 11969433 |      966  32108 |        0 |        0
1465.12/1465.66	c 1465s |      27 | 14838692 | 11982233 |      966  32133 |        0 |        0
1467.12/1467.66	c 1467s |      27 | 14855262 | 11995833 |      966  32160 |        0 |        0
1469.13/1469.68	c 1469s |      27 | 14870429 | 12009033 |      966  32187 |        0 |        0
1471.12/1471.69	c 1471s |      27 | 14886758 | 12023033 |      966  32215 |        0 |        0
1473.22/1473.70	c 1473s |      27 | 14903963 | 12037133 |      966  32243 |        0 |        0
1475.22/1475.71	c 1475s |      27 | 14921336 | 12051233 |      966  32270 |        0 |        0
1477.22/1477.72	c 1477s |      27 | 14938456 | 12065033 |      966  32298 |        0 |        0
1479.22/1479.73	c 1479s |      27 | 14955953 | 12079233 |      966  32326 |        0 |        0
1481.22/1481.74	c 1481s |      27 | 14974598 | 12093833 |      966  32355 |        0 |        0
1483.22/1483.75	c 1483s |      27 | 14993106 | 12108833 |      966  32385 |        0 |        0
1485.22/1485.76	c 1485s |      27 | 15010686 | 12123133 |      966  32414 |        0 |        0
1487.22/1487.76	c 1487s |      27 | 15026352 | 12136533 |      966  32441 |        0 |        0
1489.21/1489.77	c 1489s |      27 | 15042298 | 12150033 |      966  32468 |        0 |        0
1491.22/1491.77	c 1491s |      27 | 15058502 | 12163433 |      966  32494 |        0 |        0
1493.21/1493.78	c 1493s |      27 | 15075806 | 12177533 |      966  32522 |        0 |        0
1495.21/1495.79	c 1495s |      27 | 15093205 | 12191533 |      966  32550 |        0 |        0
1497.21/1497.79	c 1497s |      27 | 15108543 | 12204633 |      966  32576 |        0 |        0
1499.21/1499.80	c 1499s |      27 | 15124762 | 12218033 |      966  32603 |        0 |        0
1501.31/1501.80	c 1501s |      27 | 15139247 | 12230733 |      966  32628 |        0 |        0
1503.32/1503.81	c 1503s |      27 | 15156191 | 12244433 |      966  32656 |        0 |        0
1505.31/1505.82	c 1505s |      27 | 15172723 | 12258433 |      966  32684 |        0 |        0
1507.32/1507.83	c 1507s |      27 | 15189026 | 12272533 |      966  32711 |        0 |        0
1509.32/1509.84	c 1509s |      27 | 15205385 | 12286333 |      966  32739 |        0 |        0
1511.32/1511.85	c 1511s |      27 | 15219790 | 12299033 |      966  32764 |        0 |        0
1513.32/1513.85	c 1513s |      27 | 15234916 | 12311933 |      966  32790 |        0 |        0
1515.32/1515.86	c 1515s |      27 | 15249795 | 12324633 |      966  32815 |        0 |        0
1517.32/1517.87	c 1517s |      27 | 15264620 | 12337333 |      966  32840 |        0 |        0
1519.32/1519.87	c 1519s |      27 | 15279234 | 12350333 |      966  32866 |        0 |        0
1521.31/1521.88	c 1521s |      27 | 15294210 | 12363433 |      966  32892 |        0 |        0
1523.31/1523.89	c 1523s |      27 | 15308830 | 12376133 |      966  32917 |        0 |        0
1525.42/1525.90	c 1525s |      27 | 15323837 | 12388933 |      966  32943 |        0 |        0
1527.42/1527.91	c 1527s |      27 | 15341780 | 12403133 |      966  32971 |        0 |        0
1529.41/1529.91	c 1529s |      27 | 15358879 | 12417033 |      966  33000 |        0 |        0
1531.41/1531.92	c 1531s |      27 | 15374772 | 12430433 |      966  33026 |        0 |        0
1533.41/1533.93	c 1533s |      27 | 15393453 | 12445133 |      966  33056 |        0 |        0
1535.41/1535.93	c 1535s |      27 | 15414739 | 12460333 |      966  33087 |        0 |        0
1537.42/1537.94	c 1537s |      27 | 15434235 | 12475233 |      966  33117 |        0 |        0
1539.41/1539.95	c 1539s |      27 | 15453279 | 12490033 |      966  33147 |        0 |        0
1541.41/1541.96	c 1541s |      27 | 15469935 | 12503433 |      966  33174 |        0 |        0
1543.41/1543.96	c 1543s |      27 | 15489563 | 12517833 |      966  33202 |        0 |        0
1545.41/1545.96	c 1545s |      27 | 15508440 | 12532433 |      966  33232 |        0 |        0
1547.41/1547.96	c 1547s |      27 | 15527291 | 12546933 |      966  33261 |        0 |        0
1549.42/1549.97	c 1549s |      27 | 15546812 | 12561933 |      966  33291 |        0 |        0
1551.41/1551.98	c 1551s |      27 | 15565843 | 12576833 |      966  33321 |        0 |        0
1553.41/1553.98	c 1553s |      27 | 15584479 | 12591733 |      966  33351 |        0 |        0
1555.41/1555.99	c 1555s |      27 | 15603129 | 12606433 |      966  33380 |        0 |        0
1557.51/1558.00	c 1557s |      27 | 15621483 | 12621333 |      966  33410 |        0 |        0
1559.51/1560.01	c 1560s |      27 | 15640371 | 12636033 |      966  33440 |        0 |        0
1561.51/1562.03	c 1562s |      27 | 15657868 | 12650433 |      966  33469 |        0 |        0
1563.50/1564.03	c 1564s |      27 | 15675991 | 12664933 |      966  33498 |        0 |        0
1565.50/1566.03	c 1566s |      27 | 15692361 | 12678833 |      966  33525 |        0 |        0
1567.50/1568.04	c 1568s |      27 | 15708831 | 12692533 |      966  33553 |        0 |        0
1569.50/1570.05	c 1570s |      27 | 15725204 | 12706033 |      966  33580 |        0 |        0
1571.51/1572.06	c 1572s |      27 | 15741885 | 12720233 |      966  33608 |        0 |        0
1573.50/1574.07	c 1574s |      27 | 15760330 | 12734933 |      966  33638 |        0 |        0
1575.50/1576.08	c 1576s |      27 | 15778680 | 12749933 |      966  33668 |        0 |        0
1577.50/1578.08	c 1578s |      27 | 15797809 | 12765033 |      966  33698 |        0 |        0
1579.50/1580.09	c 1580s |      27 | 15818033 | 12780333 |      966  33729 |        0 |        0
1581.60/1582.10	c 1582s |      27 | 15836278 | 12794833 |      966  33758 |        0 |        0
1583.51/1584.10	c 1584s |      27 | 15855463 | 12809633 |      966  33788 |        0 |        0
1585.60/1586.11	c 1586s |      27 | 15873704 | 12823933 |      966  33816 |        0 |        0
1587.60/1588.12	c 1588s |      27 | 15892389 | 12838533 |      966  33845 |        0 |        0
1589.60/1590.12	c 1590s |      27 | 15909531 | 12852833 |      966  33874 |        0 |        0
1591.60/1592.12	c 1592s |      27 | 15926150 | 12866633 |      966  33901 |        0 |        0
1593.60/1594.12	c 1594s |      27 | 15943469 | 12880733 |      966  33929 |        0 |        0
1595.60/1596.14	c 1596s |      27 | 15961311 | 12894733 |      966  33957 |        0 |        0
1597.60/1598.14	c 1598s |      27 | 15980036 | 12909133 |      966  33986 |        0 |        0
1599.60/1600.15	c 1600s |      27 | 15997334 | 12923433 |      966  34015 |        0 |        0
1601.60/1602.16	c 1602s |      27 | 16014839 | 12937833 |      966  34044 |        0 |        0
1603.60/1604.17	c 1604s |      27 | 16034514 | 12952833 |      966  34074 |        0 |        0
1605.61/1606.17	c 1606s |      27 | 16051434 | 12966733 |      966  34101 |        0 |        0
1607.60/1608.19	c 1608s |      27 | 16068540 | 12980333 |      966  34128 |        0 |        0
1609.60/1610.19	c 1610s |      27 | 16085990 | 12994433 |      966  34156 |        0 |        0
1611.70/1612.20	c 1612s |      27 | 16101591 | 13007433 |      966  34182 |        0 |        0
1613.70/1614.22	c 1614s |      27 | 16118212 | 13021133 |      966  34210 |        0 |        0
1615.70/1616.23	c 1616s |      27 | 16133392 | 13033833 |      966  34235 |        0 |        0
1617.71/1618.23	c 1618s |      27 | 16154116 | 13048533 |      966  34264 |        0 |        0
1619.70/1620.24	c 1620s |      27 | 16173027 | 13062833 |      966  34293 |        0 |        0
1621.70/1622.25	c 1622s |      27 | 16191787 | 13077533 |      966  34322 |        0 |        0
1623.70/1624.26	c 1624s |      27 | 16208370 | 13091133 |      966  34350 |        0 |        0
1625.70/1626.27	c 1626s |      27 | 16225059 | 13104933 |      966  34377 |        0 |        0
1627.69/1628.28	c 1628s |      27 | 16241510 | 13118233 |      966  34404 |        0 |        0
1629.70/1630.28	c 1630s |      27 | 16258444 | 13131733 |      966  34431 |        0 |        0
1631.69/1632.29	c 1632s |      27 | 16275728 | 13145633 |      966  34459 |        0 |        0
1633.69/1634.30	c 1634s |      27 | 16294327 | 13160033 |      966  34488 |        0 |        0
1635.79/1636.31	c 1636s |      27 | 16310021 | 13173333 |      966  34515 |        0 |        0
1637.79/1638.32	c 1638s |      27 | 16324726 | 13185833 |      966  34539 |        0 |        0
1639.79/1640.32	c 1640s |      27 | 16340625 | 13199433 |      966  34567 |        0 |        0
1641.80/1642.33	c 1642s |      27 | 16357208 | 13213533 |      966  34595 |        0 |        0
1643.79/1644.34	c 1644s |      27 | 16374359 | 13227933 |      966  34623 |        0 |        0
1645.79/1646.35	c 1646s |      27 | 16390513 | 13241633 |      966  34651 |        0 |        0
1647.79/1648.36	c 1648s |      27 | 16407390 | 13255633 |      966  34678 |        0 |        0
1649.79/1650.37	c 1650s |      27 | 16424065 | 13269533 |      966  34706 |        0 |        0
1651.80/1652.39	c 1652s |      27 | 16439379 | 13282733 |      966  34733 |        0 |        0
1653.79/1654.39	c 1654s |      27 | 16456158 | 13296633 |      966  34760 |        0 |        0
1655.79/1656.39	c 1656s |      27 | 16471400 | 13309733 |      966  34786 |        0 |        0
1657.89/1658.40	c 1658s |      27 | 16485678 | 13322133 |      966  34811 |        0 |        0
1659.90/1660.41	c 1660s |      27 | 16502702 | 13336233 |      966  34839 |        0 |        0
1661.90/1662.42	c 1662s |      27 | 16520533 | 13350633 |      966  34868 |        0 |        0
1663.90/1664.42	c 1664s |      27 | 16536208 | 13363833 |      966  34894 |        0 |        0
1665.89/1666.43	c 1666s |      27 | 16552273 | 13377533 |      966  34921 |        0 |        0
1667.89/1668.44	c 1668s |      27 | 16567858 | 13390833 |      966  34948 |        0 |        0
1669.89/1670.45	c 1670s |      27 | 16583846 | 13404433 |      966  34975 |        0 |        0
1671.89/1672.46	c 1672s |      27 | 16598476 | 13417533 |      966  35001 |        0 |        0
1673.89/1674.47	c 1674s |      27 | 16613738 | 13430733 |      966  35027 |        0 |        0
1675.90/1676.47	c 1676s |      27 | 16627894 | 13443133 |      966  35052 |        0 |        0
1677.89/1678.47	c 1678s |      27 | 16642717 | 13455733 |      966  35077 |        0 |        0
1679.89/1680.48	c 1680s |      27 | 16660812 | 13469833 |      966  35105 |        0 |        0
1681.89/1682.48	c 1682s |      27 | 16680535 | 13484833 |      966  35135 |        0 |        0
1683.89/1684.48	c 1684s |      27 | 16695956 | 13497933 |      966  35161 |        0 |        0
1685.89/1686.49	c 1686s |      27 | 16711998 | 13511233 |      966  35187 |        0 |        0
1687.89/1688.49	c 1688s |      27 | 16727189 | 13524333 |      966  35214 |        0 |        0
1689.99/1690.50	c 1690s |      27 | 16741798 | 13537133 |      966  35239 |        0 |        0
1691.99/1692.51	c 1692s |      27 | 16756956 | 13550033 |      966  35265 |        0 |        0
1693.99/1694.51	c 1694s |      27 | 16773112 | 13563733 |      966  35292 |        0 |        0
1695.99/1696.52	c 1696s |      27 | 16788105 | 13576833 |      966  35318 |        0 |        0
1697.99/1698.53	c 1698s |      27 | 16804758 | 13590333 |      966  35345 |        0 |        0
1699.99/1700.53	c 1700s |      27 | 16820241 | 13603033 |      966  35371 |        0 |        0
1701.99/1702.54	c 1702s |      27 | 16836384 | 13616133 |      966  35397 |        0 |        0
1703.98/1704.55	c 1704s |      27 | 16853113 | 13629233 |      966  35423 |        0 |        0
1705.98/1706.56	c 1706s |      27 | 16868567 | 13642033 |      966  35448 |        0 |        0
1707.98/1708.57	c 1708s |      27 | 16883575 | 13654633 |      966  35473 |        0 |        0
1709.99/1710.58	c 1710s |      27 | 16897944 | 13666933 |      966  35498 |        0 |        0
1711.98/1712.59	c 1712s |      27 | 16911713 | 13679033 |      966  35522 |        0 |        0
1713.98/1714.59	c 1714s |      27 | 16927409 | 13692233 |      966  35548 |        0 |        0
1716.08/1716.60	c 1716s |      27 | 16942757 | 13705233 |      966  35575 |        0 |        0
1718.08/1718.60	c 1718s |      27 | 16959536 | 13719033 |      966  35602 |        0 |        0
1720.08/1720.60	c 1720s |      27 | 16975627 | 13732133 |      966  35628 |        0 |        0
1722.08/1722.61	c 1722s |      27 | 16992530 | 13745633 |      966  35655 |        0 |        0
1724.09/1724.61	c 1724s |      27 | 17009037 | 13759233 |      966  35682 |        0 |        0
1726.09/1726.61	c 1726s |      27 | 17025995 | 13773033 |      966  35709 |        0 |        0
1728.09/1728.62	c 1728s |      27 | 17044628 | 13787633 |      966  35738 |        0 |        0
1730.09/1730.62	c 1730s |      27 | 17062843 | 13802033 |      966  35767 |        0 |        0
1732.09/1732.63	c 1732s |      27 | 17079513 | 13815533 |      966  35794 |        0 |        0
1734.08/1734.64	c 1734s |      27 | 17097137 | 13829133 |      966  35821 |        0 |        0
1736.08/1736.64	c 1736s |      27 | 17114827 | 13842833 |      966  35848 |        0 |        0
1738.08/1738.65	c 1738s |      27 | 17130446 | 13856033 |      966  35875 |        0 |        0
1740.08/1740.66	c 1740s |      27 | 17147451 | 13869833 |      966  35902 |        0 |        0
1742.08/1742.67	c 1742s |      27 | 17163352 | 13882933 |      966  35929 |        0 |        0
1744.09/1744.67	c 1744s |      27 | 17179093 | 13896133 |      966  35955 |        0 |        0
1746.08/1746.68	c 1746s |      27 | 17194095 | 13908933 |      966  35981 |        0 |        0
1748.08/1748.69	c 1748s |      27 | 17209216 | 13921933 |      966  36007 |        0 |        0
1750.18/1750.70	c 1750s |      27 | 17223825 | 13934433 |      966  36032 |        0 |        0
1752.18/1752.71	c 1752s |      27 | 17239438 | 13947633 |      966  36058 |        0 |        0
1754.18/1754.71	c 1754s |      27 | 17256427 | 13961333 |      966  36086 |        0 |        0
1756.19/1756.73	c 1756s |      27 | 17274274 | 13975633 |      966  36114 |        0 |        0
1758.18/1758.74	c 1758s |      27 | 17292002 | 13989933 |      966  36143 |        0 |        0
1760.18/1760.75	c 1760s |      27 | 17308716 | 14003433 |      966  36170 |        0 |        0
1762.18/1762.75	c 1762s |      27 | 17326207 | 14017433 |      966  36198 |        0 |        0
1764.18/1764.76	c 1764s |      27 | 17342254 | 14030933 |      966  36224 |        0 |        0
1766.19/1766.76	c 1766s |      27 | 17358686 | 14044433 |      966  36251 |        0 |        0
1768.18/1768.77	c 1768s |      27 | 17375467 | 14058133 |      966  36278 |        0 |        0
1770.18/1770.77	c 1770s |      27 | 17392549 | 14071433 |      966  36305 |        0 |        0
1772.18/1772.79	c 1772s |      27 | 17408303 | 14084433 |      966  36331 |        0 |        0
1774.28/1774.80	c 1774s |      27 | 17422694 | 14097233 |      966  36356 |        0 |        0
1776.28/1776.81	c 1776s |      27 | 17438124 | 14110533 |      966  36383 |        0 |        0
1778.28/1778.81	c 1778s |      27 | 17453301 | 14123633 |      966  36409 |        0 |        0
1780.28/1780.82	c 1780s |      27 | 17467700 | 14136033 |      966  36434 |        0 |        0
1782.28/1782.83	c 1782s |      27 | 17483824 | 14149033 |      966  36460 |        0 |        0
1784.28/1784.84	c 1784s |      27 | 17500378 | 14162433 |      966  36486 |        0 |        0
1786.27/1786.84	c 1786s |      27 | 17518349 | 14176433 |      966  36514 |        0 |        0
1788.27/1788.84	c 1788s |      27 | 17534661 | 14189833 |      966  36541 |        0 |        0
1790.28/1790.85	c 1790s |      27 | 17550476 | 14203333 |      966  36568 |        0 |        0
1792.27/1792.86	c 1792s |      27 | 17566839 | 14217133 |      966  36595 |        0 |        0
1794.27/1794.86	c 1794s |      27 | 17582148 | 14230333 |      966  36622 |        0 |        0
1796.27/1796.87	c 1796s |      27 | 17599017 | 14244133 |      966  36649 |        0 |        0
1798.27/1798.87	c 1798s |      27 | 17615520 | 14257733 |      966  36676 |        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-4095819-1466097108/watcher-4095819-1466097108 -o /tmp/evaluation-result-4095819-1466097108/solver-4095819-1466097108 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node115-1466097108-24735 --watchdog 1960 toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4095819-1466097108.opb 

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

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


[startup+0 s]
/proc/loadavg: 1.16 1.75 2.01 3/172 24761
/proc/meminfo: memFree=30798436/32872528 swapFree=1103228/1182944
[pid=24761] ppid=24757 vsize=824764 CPUtime=0 cores=0,2,4,6
/proc/24761/stat : 24761 (toysat) R 24757 24761 24719 0 -1 4202496 3095 0 0 0 0 0 0 0 20 0 4 0 11759834 844558336 3456 33554432000 4194304 16246674 140735146503888 140735146503312 13880264 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/24761/statm: 206959 3464 441 2943 0 203853 0
[pid=24761/tid=24765] ppid=24757 vsize=854460 CPUtime=0 cores=0,2,4,6
/proc/24761/task/24765/stat : 24765 (toysat) S 24757 24761 24719 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 11759834 874967040 3572 33554432000 4194304 16246674 140735146503888 140678436728048 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=24761/tid=24766] ppid=24757 vsize=858556 CPUtime=0 cores=0,2,4,6
/proc/24761/task/24766/stat : 24766 (toysat) S 24757 24761 24719 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 11759834 879161344 3588 33554432000 4194304 16246674 140735146503888 140678426238192 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=24761/tid=24767] ppid=24757 vsize=862652 CPUtime=0 cores=0,2,4,6
/proc/24761/task/24767/stat : 24767 (toysat) S 24757 24761 24719 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 11759834 883355648 3606 33554432000 4194304 16246674 140735146503888 140678415764656 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0

[startup+0.100164 s]
/proc/loadavg: 1.16 1.75 2.01 3/172 24761
/proc/meminfo: memFree=30798436/32872528 swapFree=1103228/1182944
[pid=24761] ppid=24757 vsize=1218116 CPUtime=0.09 cores=0,2,4,6
/proc/24761/stat : 24761 (toysat) R 24757 24761 24719 0 -1 4202496 24938 0 0 0 5 4 0 0 20 0 4 0 11759834 1247350784 25288 33554432000 4194304 16246674 140735146503888 140735146503312 12479207 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/24761/statm: 304529 25299 708 2943 0 301423 0
[pid=24761/tid=24765] ppid=24757 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/24761/task/24765/stat : 24765 (toysat) S 24757 24761 24719 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 11759834 1247350784 25304 33554432000 4194304 16246674 140735146503888 140678436728048 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=24761/tid=24766] ppid=24757 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/24761/task/24766/stat : 24766 (toysat) S 24757 24761 24719 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 11759834 1247350784 25312 33554432000 4194304 16246674 140735146503888 140678426238192 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=24761/tid=24767] ppid=24757 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/24761/task/24767/stat : 24767 (toysat) S 24757 24761 24719 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 11759834 1247350784 25319 33554432000 4194304 16246674 140735146503888 140678415764656 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 1218116

[startup+0.20048 s]
/proc/loadavg: 1.16 1.75 2.01 3/172 24761
/proc/meminfo: memFree=30798436/32872528 swapFree=1103228/1182944
[pid=24761] ppid=24757 vsize=1218116 CPUtime=0.19 cores=0,2,4,6
/proc/24761/stat : 24761 (toysat) R 24757 24761 24719 0 -1 4202496 47943 0 0 0 12 7 0 0 20 0 4 0 11759834 1247350784 48294 33554432000 4194304 16246674 140735146503888 140735146503312 6021174 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/24761/statm: 304529 48309 709 2943 0 301423 0
[pid=24761/tid=24765] ppid=24757 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/24761/task/24765/stat : 24765 (toysat) S 24757 24761 24719 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 11759834 1247350784 48317 33554432000 4194304 16246674 140735146503888 140678436728048 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=24761/tid=24766] ppid=24757 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/24761/task/24766/stat : 24766 (toysat) S 24757 24761 24719 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 11759834 1247350784 48322 33554432000 4194304 16246674 140735146503888 140678426238192 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=24761/tid=24767] ppid=24757 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/24761/task/24767/stat : 24767 (toysat) S 24757 24761 24719 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 11759834 1247350784 48329 33554432000 4194304 16246674 140735146503888 140678415764656 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 1218116

[startup+0.300471 s]
/proc/loadavg: 1.16 1.75 2.01 3/172 24761
/proc/meminfo: memFree=30798436/32872528 swapFree=1103228/1182944
[pid=24761] ppid=24757 vsize=1218116 CPUtime=0.29 cores=0,2,4,6
/proc/24761/stat : 24761 (toysat) R 24757 24761 24719 0 -1 4202496 71427 0 0 0 19 10 0 0 20 0 4 0 11759834 1247350784 71778 33554432000 4194304 16246674 140735146503888 140735146503312 5546181 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/24761/statm: 304529 71787 709 2943 0 301423 0
[pid=24761/tid=24765] ppid=24757 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/24761/task/24765/stat : 24765 (toysat) S 24757 24761 24719 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 11759834 1247350784 71795 33554432000 4194304 16246674 140735146503888 140678436728048 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=24761/tid=24766] ppid=24757 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/24761/task/24766/stat : 24766 (toysat) S 24757 24761 24719 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 11759834 1247350784 71801 33554432000 4194304 16246674 140735146503888 140678426238192 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=24761/tid=24767] ppid=24757 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/24761/task/24767/stat : 24767 (toysat) S 24757 24761 24719 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 11759834 1247350784 71807 33554432000 4194304 16246674 140735146503888 140678415764656 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 1218116

[startup+0.700391 s]
/proc/loadavg: 1.16 1.75 2.01 3/172 24761
/proc/meminfo: memFree=30798436/32872528 swapFree=1103228/1182944
[pid=24761] ppid=24757 vsize=1218116 CPUtime=0.69 cores=0,2,4,6
/proc/24761/stat : 24761 (toysat) R 24757 24761 24719 0 -1 4202496 166526 0 0 0 46 23 0 0 20 0 4 0 11759834 1247350784 166877 33554432000 4194304 16246674 140735146503888 140735146486880 12659409 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/24761/statm: 304529 166884 711 2943 0 301423 0
[pid=24761/tid=24765] ppid=24757 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/24761/task/24765/stat : 24765 (toysat) S 24757 24761 24719 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 11759834 1247350784 166891 33554432000 4194304 16246674 140735146503888 140678436728048 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=24761/tid=24766] ppid=24757 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/24761/task/24766/stat : 24766 (toysat) S 24757 24761 24719 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 11759834 1247350784 166897 33554432000 4194304 16246674 140735146503888 140678426238192 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=24761/tid=24767] ppid=24757 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/24761/task/24767/stat : 24767 (toysat) S 24757 24761 24719 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 11759834 1247350784 166903 33554432000 4194304 16246674 140735146503888 140678415764656 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 1218116

[startup+1.50036 s]
/proc/loadavg: 1.23 1.76 2.01 4/183 24772
/proc/meminfo: memFree=28830608/32872528 swapFree=1103228/1182944
[pid=24761] ppid=24757 vsize=1218116 CPUtime=1.48 cores=0,2,4,6
/proc/24761/stat : 24761 (toysat) R 24757 24761 24719 0 -1 4202496 245482 0 0 0 115 33 0 0 20 0 4 0 11759834 1247350784 245812 33554432000 4194304 16246674 140735146503888 140735146485760 6842535 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/24761/statm: 304529 245812 786 2943 0 301423 0
[pid=24761/tid=24765] ppid=24757 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/24761/task/24765/stat : 24765 (toysat) S 24757 24761 24719 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 11759834 1247350784 245812 33554432000 4194304 16246674 140735146503888 140678436728048 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=24761/tid=24766] ppid=24757 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/24761/task/24766/stat : 24766 (toysat) S 24757 24761 24719 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 11759834 1247350784 245812 33554432000 4194304 16246674 140735146503888 140678426238192 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=24761/tid=24767] ppid=24757 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/24761/task/24767/stat : 24767 (toysat) S 24757 24761 24719 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 11759834 1247350784 245812 33554432000 4194304 16246674 140735146503888 140678415764656 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 1218116

[startup+3.10041 s]
/proc/loadavg: 1.23 1.76 2.01 4/183 24772
/proc/meminfo: memFree=28655892/32872528 swapFree=1103228/1182944
[pid=24761] ppid=24757 vsize=1306180 CPUtime=3.09 cores=0,2,4,6
/proc/24761/stat : 24761 (toysat) R 24757 24761 24719 0 -1 4202496 267408 0 0 0 273 36 0 0 20 0 4 0 11759834 1337528320 267738 33554432000 4194304 16246674 140735146503888 140735146486888 5589212 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/24761/statm: 326545 267738 786 2943 0 323439 0
[pid=24761/tid=24765] ppid=24757 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/24761/task/24765/stat : 24765 (toysat) S 24757 24761 24719 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 11759834 1337528320 267738 33554432000 4194304 16246674 140735146503888 140678436728048 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=24761/tid=24766] ppid=24757 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/24761/task/24766/stat : 24766 (toysat) S 24757 24761 24719 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 11759834 1337528320 267738 33554432000 4194304 16246674 140735146503888 140678426238192 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=24761/tid=24767] ppid=24757 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/24761/task/24767/stat : 24767 (toysat) S 24757 24761 24719 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 11759834 1337528320 267738 33554432000 4194304 16246674 140735146503888 140678415764656 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 1306180

[startup+6.3004 s]
/proc/loadavg: 1.37 1.78 2.02 3/183 24772
/proc/meminfo: memFree=28651844/32872528 swapFree=1103228/1182944
[pid=24761] ppid=24757 vsize=1306180 CPUtime=6.29 cores=0,2,4,6
/proc/24761/stat : 24761 (toysat) R 24757 24761 24719 0 -1 4202496 267416 0 0 0 593 36 0 0 20 0 4 0 11759834 1337528320 267746 33554432000 4194304 16246674 140735146503888 140735146486888 8224688 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/24761/statm: 326545 267746 786 2943 0 323439 0
[pid=24761/tid=24765] ppid=24757 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/24761/task/24765/stat : 24765 (toysat) S 24757 24761 24719 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 11759834 1337528320 267746 33554432000 4194304 16246674 140735146503888 140678436728048 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=24761/tid=24766] ppid=24757 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/24761/task/24766/stat : 24766 (toysat) S 24757 24761 24719 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 11759834 1337528320 267746 33554432000 4194304 16246674 140735146503888 140678426238192 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=24761/tid=24767] ppid=24757 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/24761/task/24767/stat : 24767 (toysat) S 24757 24761 24719 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 11759834 1337528320 267746 33554432000 4194304 16246674 140735146503888 140678415764656 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 1306180

[startup+12.7004 s]
/proc/loadavg: 1.42 1.78 2.02 3/183 24772
/proc/meminfo: memFree=28652004/32872528 swapFree=1103228/1182944
[pid=24761] ppid=24757 vsize=1306180 CPUtime=12.69 cores=0,2,4,6
/proc/24761/stat : 24761 (toysat) R 24757 24761 24719 0 -1 4202496 267419 0 0 0 1233 36 0 0 20 0 4 0 11759834 1337528320 267749 33554432000 4194304 16246674 140735146503888 140735146485760 5822252 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/24761/statm: 326545 267749 786 2943 0 323439 0
[pid=24761/tid=24765] ppid=24757 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/24761/task/24765/stat : 24765 (toysat) S 24757 24761 24719 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 11759834 1337528320 267749 33554432000 4194304 16246674 140735146503888 140678436728048 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=24761/tid=24766] ppid=24757 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/24761/task/24766/stat : 24766 (toysat) S 24757 24761 24719 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 11759834 1337528320 267749 33554432000 4194304 16246674 140735146503888 140678426238192 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=24761/tid=24767] ppid=24757 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/24761/task/24767/stat : 24767 (toysat) S 24757 24761 24719 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 11759834 1337528320 267749 33554432000 4194304 16246674 140735146503888 140678415764656 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 1306180

[startup+25.5005 s]
/proc/loadavg: 1.55 1.79 2.02 3/183 24772
/proc/meminfo: memFree=28652060/32872528 swapFree=1103228/1182944
[pid=24761] ppid=24757 vsize=1306180 CPUtime=25.49 cores=0,2,4,6
/proc/24761/stat : 24761 (toysat) R 24757 24761 24719 0 -1 4202496 267423 0 0 0 2512 37 0 0 20 0 4 0 11759834 1337528320 267753 33554432000 4194304 16246674 140735146503888 140735146485760 5553629 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/24761/statm: 326545 267753 787 2943 0 323439 0
[pid=24761/tid=24765] ppid=24757 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/24761/task/24765/stat : 24765 (toysat) S 24757 24761 24719 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 11759834 1337528320 267753 33554432000 4194304 16246674 140735146503888 140678436728048 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=24761/tid=24766] ppid=24757 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/24761/task/24766/stat : 24766 (toysat) S 24757 24761 24719 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 11759834 1337528320 267753 33554432000 4194304 16246674 140735146503888 140678426238192 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=24761/tid=24767] ppid=24757 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/24761/task/24767/stat : 24767 (toysat) S 24757 24761 24719 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 11759834 1337528320 267753 33554432000 4194304 16246674 140735146503888 140678415764656 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 1306180

[startup+51.1005 s]
/proc/loadavg: 1.70 1.81 2.01 3/183 24772
/proc/meminfo: memFree=28651448/32872528 swapFree=1103228/1182944
[pid=24761] ppid=24757 vsize=1306180 CPUtime=51.09 cores=0,2,4,6
/proc/24761/stat : 24761 (toysat) R 24757 24761 24719 0 -1 4202496 267423 0 0 0 5071 38 0 0 20 0 4 0 11759834 1337528320 267753 33554432000 4194304 16246674 140735146503888 140735146486888 5667492 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/24761/statm: 326545 267753 787 2943 0 323439 0
[pid=24761/tid=24765] ppid=24757 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/24761/task/24765/stat : 24765 (toysat) S 24757 24761 24719 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 11759834 1337528320 267753 33554432000 4194304 16246674 140735146503888 140678436728048 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=24761/tid=24766] ppid=24757 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/24761/task/24766/stat : 24766 (toysat) S 24757 24761 24719 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 11759834 1337528320 267753 33554432000 4194304 16246674 140735146503888 140678426238192 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=24761/tid=24767] ppid=24757 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/24761/task/24767/stat : 24767 (toysat) S 24757 24761 24719 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 11759834 1337528320 267753 33554432000 4194304 16246674 140735146503888 140678415764656 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 1306180

[startup+102.301 s]
/proc/loadavg: 2.02 1.87 2.02 3/183 24773
/proc/meminfo: memFree=28650988/32872528 swapFree=1103228/1182944
[pid=24761] ppid=24757 vsize=1306180 CPUtime=102.28 cores=0,2,4,6
/proc/24761/stat : 24761 (toysat) R 24757 24761 24719 0 -1 4202496 267430 0 0 0 10190 38 0 0 20 0 4 0 11759834 1337528320 267760 33554432000 4194304 16246674 140735146503888 140735146486888 6842417 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/24761/statm: 326545 267760 787 2943 0 323439 0
[pid=24761/tid=24765] ppid=24757 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/24761/task/24765/stat : 24765 (toysat) S 24757 24761 24719 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 11759834 1337528320 267760 33554432000 4194304 16246674 140735146503888 140678436728048 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=24761/tid=24766] ppid=24757 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/24761/task/24766/stat : 24766 (toysat) S 24757 24761 24719 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 11759834 1337528320 267760 33554432000 4194304 16246674 140735146503888 140678426238192 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=24761/tid=24767] ppid=24757 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/24761/task/24767/stat : 24767 (toysat) S 24757 24761 24719 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 11759834 1337528320 267760 33554432000 4194304 16246674 140735146503888 140678415764656 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 1306180


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

/proc/24761/task/24767/stat : 24767 (toysat) S 24757 24761 24719 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 11759834 1337528320 267875 33554432000 4194304 16246674 140735146503888 140678415764656 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1241.91
Current children cumulated vsize (KiB) 1306180

[startup+1302.3 s]
/proc/loadavg: 2.10 2.18 2.12 3/183 24803
/proc/meminfo: memFree=28642752/32872528 swapFree=1103228/1182944
[pid=24761] ppid=24757 vsize=1307204 CPUtime=1301.87 cores=0,2,4,6
/proc/24761/stat : 24761 (toysat) R 24757 24761 24719 0 -1 4202496 267980 0 0 0 130126 61 0 0 20 0 4 0 11759834 1338576896 267916 33554432000 4194304 16246674 140735146503888 140735146485760 5722674 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/24761/statm: 326801 267916 789 2943 0 323695 0
[pid=24761/tid=24765] ppid=24757 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/24761/task/24765/stat : 24765 (toysat) S 24757 24761 24719 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 11759834 1338576896 267916 33554432000 4194304 16246674 140735146503888 140678436728048 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=24761/tid=24766] ppid=24757 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/24761/task/24766/stat : 24766 (toysat) S 24757 24761 24719 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 11759834 1338576896 267916 33554432000 4194304 16246674 140735146503888 140678426238192 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=24761/tid=24767] ppid=24757 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/24761/task/24767/stat : 24767 (toysat) S 24757 24761 24719 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 11759834 1338576896 267916 33554432000 4194304 16246674 140735146503888 140678415764656 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1301.87
Current children cumulated vsize (KiB) 1307204

[startup+1362.3 s]
/proc/loadavg: 2.03 2.15 2.10 3/183 24805
/proc/meminfo: memFree=28639852/32872528 swapFree=1103228/1182944
[pid=24761] ppid=24757 vsize=1307204 CPUtime=1361.84 cores=0,2,4,6
/proc/24761/stat : 24761 (toysat) R 24757 24761 24719 0 -1 4202496 268019 0 0 0 136122 62 0 0 20 0 4 0 11759834 1338576896 267916 33554432000 4194304 16246674 140735146503888 140735146485760 5723133 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/24761/statm: 326801 267916 789 2943 0 323695 0
[pid=24761/tid=24765] ppid=24757 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/24761/task/24765/stat : 24765 (toysat) S 24757 24761 24719 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 11759834 1338576896 267916 33554432000 4194304 16246674 140735146503888 140678436728048 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=24761/tid=24766] ppid=24757 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/24761/task/24766/stat : 24766 (toysat) S 24757 24761 24719 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 11759834 1338576896 267916 33554432000 4194304 16246674 140735146503888 140678426238192 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=24761/tid=24767] ppid=24757 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/24761/task/24767/stat : 24767 (toysat) S 24757 24761 24719 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 11759834 1338576896 267916 33554432000 4194304 16246674 140735146503888 140678415764656 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1361.84
Current children cumulated vsize (KiB) 1307204

[startup+1422.3 s]
/proc/loadavg: 2.23 2.19 2.12 3/183 24806
/proc/meminfo: memFree=28639000/32872528 swapFree=1103228/1182944
[pid=24761] ppid=24757 vsize=1307204 CPUtime=1421.83 cores=0,2,4,6
/proc/24761/stat : 24761 (toysat) R 24757 24761 24719 0 -1 4202496 268069 0 0 0 142120 63 0 0 20 0 4 0 11759834 1338576896 267963 33554432000 4194304 16246674 140735146503888 140735146485760 5661119 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/24761/statm: 326801 267963 789 2943 0 323695 0
[pid=24761/tid=24765] ppid=24757 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/24761/task/24765/stat : 24765 (toysat) S 24757 24761 24719 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 11759834 1338576896 267963 33554432000 4194304 16246674 140735146503888 140678436728048 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=24761/tid=24766] ppid=24757 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/24761/task/24766/stat : 24766 (toysat) S 24757 24761 24719 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 11759834 1338576896 267963 33554432000 4194304 16246674 140735146503888 140678426238192 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=24761/tid=24767] ppid=24757 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/24761/task/24767/stat : 24767 (toysat) S 24757 24761 24719 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 11759834 1338576896 267963 33554432000 4194304 16246674 140735146503888 140678415764656 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1421.83
Current children cumulated vsize (KiB) 1307204

[startup+1482.3 s]
/proc/loadavg: 2.19 2.18 2.12 3/183 24807
/proc/meminfo: memFree=28639156/32872528 swapFree=1103228/1182944
[pid=24761] ppid=24757 vsize=1307204 CPUtime=1481.82 cores=0,2,4,6
/proc/24761/stat : 24761 (toysat) R 24757 24761 24719 0 -1 4202496 268070 0 0 0 148118 64 0 0 20 0 4 0 11759834 1338576896 267964 33554432000 4194304 16246674 140735146503888 140735146485760 13809229 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/24761/statm: 326801 267964 789 2943 0 323695 0
[pid=24761/tid=24765] ppid=24757 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/24761/task/24765/stat : 24765 (toysat) S 24757 24761 24719 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 11759834 1338576896 267964 33554432000 4194304 16246674 140735146503888 140678436728048 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=24761/tid=24766] ppid=24757 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/24761/task/24766/stat : 24766 (toysat) S 24757 24761 24719 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 11759834 1338576896 267964 33554432000 4194304 16246674 140735146503888 140678426238192 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=24761/tid=24767] ppid=24757 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/24761/task/24767/stat : 24767 (toysat) S 24757 24761 24719 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 11759834 1338576896 267964 33554432000 4194304 16246674 140735146503888 140678415764656 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1481.82
Current children cumulated vsize (KiB) 1307204

[startup+1542.31 s]
/proc/loadavg: 2.16 2.18 2.12 3/183 24808
/proc/meminfo: memFree=28639016/32872528 swapFree=1103228/1182944
[pid=24761] ppid=24757 vsize=1307204 CPUtime=1541.82 cores=0,2,4,6
/proc/24761/stat : 24761 (toysat) R 24757 24761 24719 0 -1 4202496 268070 0 0 0 154117 65 0 0 20 0 4 0 11759834 1338576896 267964 33554432000 4194304 16246674 140735146503888 140735146486888 15015658 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/24761/statm: 326801 267964 789 2943 0 323695 0
[pid=24761/tid=24765] ppid=24757 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/24761/task/24765/stat : 24765 (toysat) S 24757 24761 24719 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 11759834 1338576896 267964 33554432000 4194304 16246674 140735146503888 140678436728048 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=24761/tid=24766] ppid=24757 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/24761/task/24766/stat : 24766 (toysat) S 24757 24761 24719 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 11759834 1338576896 267964 33554432000 4194304 16246674 140735146503888 140678426238192 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=24761/tid=24767] ppid=24757 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/24761/task/24767/stat : 24767 (toysat) S 24757 24761 24719 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 11759834 1338576896 267964 33554432000 4194304 16246674 140735146503888 140678415764656 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1541.82
Current children cumulated vsize (KiB) 1307204

[startup+1602.3 s]
/proc/loadavg: 2.14 2.17 2.12 3/183 24809
/proc/meminfo: memFree=28638944/32872528 swapFree=1103228/1182944
[pid=24761] ppid=24757 vsize=1307204 CPUtime=1601.8 cores=0,2,4,6
/proc/24761/stat : 24761 (toysat) R 24757 24761 24719 0 -1 4202496 268070 0 0 0 160114 66 0 0 20 0 4 0 11759834 1338576896 267964 33554432000 4194304 16246674 140735146503888 140735146485760 13927401 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/24761/statm: 326801 267964 789 2943 0 323695 0
[pid=24761/tid=24765] ppid=24757 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/24761/task/24765/stat : 24765 (toysat) S 24757 24761 24719 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 11759834 1338576896 267964 33554432000 4194304 16246674 140735146503888 140678436728048 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=24761/tid=24766] ppid=24757 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/24761/task/24766/stat : 24766 (toysat) S 24757 24761 24719 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 11759834 1338576896 267964 33554432000 4194304 16246674 140735146503888 140678426238192 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=24761/tid=24767] ppid=24757 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/24761/task/24767/stat : 24767 (toysat) S 24757 24761 24719 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 11759834 1338576896 267964 33554432000 4194304 16246674 140735146503888 140678415764656 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1601.8
Current children cumulated vsize (KiB) 1307204

[startup+1662.3 s]
/proc/loadavg: 2.05 2.14 2.10 3/183 24811
/proc/meminfo: memFree=28638724/32872528 swapFree=1103228/1182944
[pid=24761] ppid=24757 vsize=1307204 CPUtime=1661.8 cores=0,2,4,6
/proc/24761/stat : 24761 (toysat) R 24757 24761 24719 0 -1 4202496 268118 0 0 0 166113 67 0 0 20 0 4 0 11759834 1338576896 268012 33554432000 4194304 16246674 140735146503888 140735146485760 5822484 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/24761/statm: 326801 268012 789 2943 0 323695 0
[pid=24761/tid=24765] ppid=24757 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/24761/task/24765/stat : 24765 (toysat) S 24757 24761 24719 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 11759834 1338576896 268012 33554432000 4194304 16246674 140735146503888 140678436728048 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=24761/tid=24766] ppid=24757 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/24761/task/24766/stat : 24766 (toysat) S 24757 24761 24719 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 11759834 1338576896 268012 33554432000 4194304 16246674 140735146503888 140678426238192 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=24761/tid=24767] ppid=24757 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/24761/task/24767/stat : 24767 (toysat) S 24757 24761 24719 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 11759834 1338576896 268012 33554432000 4194304 16246674 140735146503888 140678415764656 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1661.8
Current children cumulated vsize (KiB) 1307204

[startup+1722.3 s]
/proc/loadavg: 2.02 2.11 2.09 3/184 24815
/proc/meminfo: memFree=28638472/32872528 swapFree=1103228/1182944
[pid=24761] ppid=24757 vsize=1307204 CPUtime=1721.78 cores=0,2,4,6
/proc/24761/stat : 24761 (toysat) R 24757 24761 24719 0 -1 4202496 268118 0 0 0 172111 67 0 0 20 0 4 0 11759834 1338576896 268012 33554432000 4194304 16246674 140735146503888 140735146485760 13191794 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/24761/statm: 326801 268012 789 2943 0 323695 0
[pid=24761/tid=24765] ppid=24757 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/24761/task/24765/stat : 24765 (toysat) S 24757 24761 24719 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 11759834 1338576896 268012 33554432000 4194304 16246674 140735146503888 140678436728048 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=24761/tid=24766] ppid=24757 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/24761/task/24766/stat : 24766 (toysat) S 24757 24761 24719 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 11759834 1338576896 268012 33554432000 4194304 16246674 140735146503888 140678426238192 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=24761/tid=24767] ppid=24757 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/24761/task/24767/stat : 24767 (toysat) S 24757 24761 24719 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 11759834 1338576896 268012 33554432000 4194304 16246674 140735146503888 140678415764656 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1721.78
Current children cumulated vsize (KiB) 1307204

[startup+1782.3 s]
/proc/loadavg: 2.04 2.10 2.09 3/183 24816
/proc/meminfo: memFree=28638268/32872528 swapFree=1103228/1182944
[pid=24761] ppid=24757 vsize=1307204 CPUtime=1781.78 cores=0,2,4,6
/proc/24761/stat : 24761 (toysat) R 24757 24761 24719 0 -1 4202496 268118 0 0 0 178110 68 0 0 20 0 4 0 11759834 1338576896 268012 33554432000 4194304 16246674 140735146503888 140735146485760 12476711 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/24761/statm: 326801 268012 789 2943 0 323695 0
[pid=24761/tid=24765] ppid=24757 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/24761/task/24765/stat : 24765 (toysat) S 24757 24761 24719 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 11759834 1338576896 268012 33554432000 4194304 16246674 140735146503888 140678436728048 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=24761/tid=24766] ppid=24757 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/24761/task/24766/stat : 24766 (toysat) S 24757 24761 24719 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 11759834 1338576896 268012 33554432000 4194304 16246674 140735146503888 140678426238192 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=24761/tid=24767] ppid=24757 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/24761/task/24767/stat : 24767 (toysat) S 24757 24761 24719 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 11759834 1338576896 268012 33554432000 4194304 16246674 140735146503888 140678415764656 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1781.78
Current children cumulated vsize (KiB) 1307204



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.6 s]
/proc/loadavg: 2.03 2.10 2.09 3/183 24816
/proc/meminfo: memFree=28638608/32872528 swapFree=1103228/1182944
[pid=24761] ppid=24757 vsize=1307204 CPUtime=1800.07 cores=0,2,4,6
/proc/24761/stat : 24761 (toysat) R 24757 24761 24719 0 -1 4202496 268118 0 0 0 179939 68 0 0 20 0 4 0 11759834 1338576896 268012 33554432000 4194304 16246674 140735146503888 140735146485760 5823250 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/24761/statm: 326801 268012 789 2943 0 323695 0
[pid=24761/tid=24765] ppid=24757 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/24761/task/24765/stat : 24765 (toysat) S 24757 24761 24719 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 11759834 1338576896 268012 33554432000 4194304 16246674 140735146503888 140678436728048 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=24761/tid=24766] ppid=24757 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/24761/task/24766/stat : 24766 (toysat) S 24757 24761 24719 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 11759834 1338576896 268012 33554432000 4194304 16246674 140735146503888 140678426238192 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=24761/tid=24767] ppid=24757 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/24761/task/24767/stat : 24767 (toysat) S 24757 24761 24719 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 11759834 1338576896 268012 33554432000 4194304 16246674 140735146503888 140678415764656 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1800.07
Current children cumulated vsize (KiB) 1307204

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

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1800.61
CPU time (s): 1800.09
CPU user time (s): 1799.4
CPU system time (s): 0.683896
CPU usage (%): 99.9709
Max. virtual memory (cumulated for all children) (KiB): 1307204

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.4
system time used= 0.683896
maximum resident set size= 1072048
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 268118
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= 455
involuntary context switches= 1844

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 9.96148 second user time and 17.9343 second system time

The end

Begin job on node115 at 2016-06-16 19:11:48
IDJOB=4095819
IDBENCH=107526
IDSOLVER=2542
FILE ID=node115/4095819-1466097108
RUNJOBID= node115-1466097108-24735
PBS_JOBID= 19904041
Free space on /tmp= 71744 MiB

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

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

MD5SUM BENCH= 14939e443d10daa45020f644e91831d1
RANDOM SEED=353883867

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

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

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

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

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

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

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

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

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2667.103
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:        30799716 kB
Buffers:           46408 kB
Cached:           138384 kB
SwapCached:         2104 kB
Active:           102720 kB
Inactive:          84728 kB
Active(anon):       3516 kB
Inactive(anon):     1636 kB
Active(file):      99204 kB
Inactive(file):    83092 kB
Unevictable:     1182944 kB
Mlocked:         1103228 kB
SwapTotal:      67108856 kB
SwapFree:       67099112 kB
Dirty:             32664 kB
Writeback:             0 kB
AnonPages:       1185000 kB
Mapped:             7128 kB
Shmem:                 0 kB
Slab:             568980 kB
SReclaimable:      13444 kB
SUnreclaim:       555536 kB
KernelStack:        1336 kB
PageTables:         6284 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    1278644 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:     79872 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:        7552 kB
DirectMap2M:    33538048 kB

Free space on /tmp at the end= 71712 MiB
End job on node115 at 2016-06-16 19:41:49