0.00/0.00	c 2016-06-16T19:30:12+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-4095896-1466098211.opb"]
0.00/0.01	c use --random-gen="909158037 84207292 218551627 1991815004 2895276207 273197885 1229294073 2362207763 2826854443 335614557 886067428 3385785192 503121181 173156712 4095119224 1752391535 2817383883 1933422139 2647564143 1865268755 2634097216 218127625 2481304098 3048391546 2373657752 2255316221 2571743313 3663247531 4065468094 2207862835 3425890735 3609337010 3466074884 2217404232 1819030326 717244645 1744353463 1362112522 893020654 869672000 1764472992 1535723738 3858330787 744597252 115872570 15008680 2946284342 3427219589 3330783962 471203949 888354431 3703802729 1846779835 194610889 1975136725 1255708332 2667672234 3047881541 3896257282 1759034604 3683459213 809735170 2633817629 3355510626 3957647143 3754996368 1966592982 990309168 675140197 3458300705 190936427 620032831 3043431693 369311687 2311100680 3058905160 2078582227 679096097 2496969690 3685558848 2813411980 1241312365 1621848250 1841320935 3422062166 3579108287 3216267861 1308121310 1432924807 395455133 1134347876 1823383316 878410014 3429073424 1773349328 1530272866 2423624977 1032472469 3765824082 1570409400 2938045140 555797350 2119874523 1564220319 2583424499 4268678058 1640770776 571297993 3939238320 2585606355 2699946925 1140808857 293684893 2031566326 2801705561 4013220973 3767316346 2058493718 1703149202 2829556840 1712215508 310750187 4209509224 2236068009 3609617195 3710710249 2405251497 2473630542 1578515896 2545058190 1280107159 513782353 2698497609 3114940066 4129317335 4149428140 955613344 2382025068 1501559022 3162109053 3470475273 3623558393 659767490 1165028653 1260592361 1379852219 514673691 2447860694 1456524442 3459786157 977332012 3952581342 3375114188 1874095327 337175903 4053493829 3039564629 3774497763 1149110673 2649563773 2934771926 2343435266 4133264445 1059039624 483895361 3391407089 3616372287 2839600028 1968789976 2025306204 914647271 1778544811 1952851297 4198987731 1838664495 1968581734 407977284 4004728117 2091245017 4248711049 4063150774 3489283060 3051954900 3173814088 130205365 687364901 4289809510 2329124526 4221398663 1877652239 4131446662 1892408963 3832163511 835795731 4250857281 3398274829 1108354555 4078379562 3888690124 2000874962 2925020519 446796243 82748343 2383096167 3392078091 3103183232 2249307096 1313348845 197769793 1868286640 2734233193 1690685610 3723358644 697390737 2351158246 3047569599 349671344 2242161883 1560095582 2992076861 1863477690 2435522585 330206258 1300213769 3498903517 3653196839 3624264703 1627689530 3842056280 3843748851 1151274925 3692741509 1332362785 2371865656 91979857 2121165747 401635806 929450743 3481348941 2716270245 3156582728 48714439 1560654557 4110425230 1327129937 3548150090 2738690536 1758072901 849992837 3998813570 2714983311 2185876937 3408168664 3165665405 3762629608 274394929 255 362436" option to reproduce the execution
0.00/0.01	c #vars 221
0.00/0.01	c #constraints 110
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 |      110      0 |        0 |        0
0.00/0.03	c  0.0s |       1 |      158 |      100 |      110      0 |        0 |        0
0.00/0.04	c  0.0s |       2 |      372 |      250 |      122      1 |        0 |        0
0.00/0.07	c  0.1s |       3 |      883 |      475 |      135      3 |        0 |        0
0.09/0.12	c  0.1s |       4 |     1350 |      813 |      149      6 |        0 |        0
0.19/0.21	c  0.2s |       5 |     2001 |     1320 |      164     10 |        0 |        0
0.29/0.33	c  0.3s |       6 |     3217 |     2081 |      200     15 |        0 |        0
0.48/0.51	c  0.5s |       7 |     5127 |     3223 |      221     23 |        0 |        0
0.79/0.80	c  0.8s |       8 |     7812 |     4936 |      244     35 |        0 |        0
1.10/1.20	c  1.2s |       9 |    11056 |     7506 |      269     48 |        0 |        0
1.59/1.69	c  1.7s |      10 |    16250 |    11361 |      296     71 |        0 |        0
2.39/2.44	c  2.4s |      11 |    23563 |    17144 |      326     98 |        0 |        0
3.49/3.57	c  3.6s |      12 |    36167 |    25819 |      359    141 |        0 |        0
5.19/5.21	c  5.2s |      13 |    52212 |    38832 |      395    201 |        0 |        0
7.19/7.22	c  7.2s |      13 |    70330 |    53532 |      395    265 |        0 |        0
7.89/7.92	c  7.9s |      14 |    76284 |    58352 |      435    286 |        0 |        0
9.89/9.93	c  9.9s |      14 |    93455 |    72352 |      435    343 |        0 |        0
11.89/11.93	c 11.9s |      14 |   110874 |    86952 |      435    402 |        0 |        0
11.99/12.03	c 12.0s |      15 |   111647 |    87632 |      479    404 |        0 |        0
13.98/14.04	c 14.0s |      15 |   130621 |   101332 |      479    454 |        0 |        0
15.98/16.06	c 16.0s |      15 |   148564 |   115132 |      479    505 |        0 |        0
17.98/18.06	c 18.0s |      15 |   165597 |   128532 |      479    554 |        0 |        0
18.48/18.52	c 18.5s |      16 |   169483 |   131552 |      527    565 |        0 |        0
20.48/20.53	c 20.5s |      16 |   188298 |   145952 |      527    613 |        0 |        0
22.48/22.54	c 22.5s |      16 |   206590 |   159952 |      527    660 |        0 |        0
24.48/24.55	c 24.5s |      16 |   224670 |   174352 |      527    708 |        0 |        0
26.49/26.55	c 26.5s |      16 |   243029 |   188752 |      527    757 |        0 |        0
27.68/27.77	c 27.8s |      17 |   253734 |   197432 |      580    785 |        0 |        0
29.69/29.77	c 29.8s |      17 |   270342 |   210732 |      580    825 |        0 |        0
31.68/31.78	c 31.8s |      17 |   286231 |   223732 |      580    865 |        0 |        0
33.68/33.78	c 33.8s |      17 |   302523 |   236532 |      580    904 |        0 |        0
35.68/35.78	c 35.8s |      17 |   317955 |   249032 |      580    942 |        0 |        0
37.69/37.79	c 37.8s |      17 |   333799 |   262032 |      580    981 |        0 |        0
39.78/39.80	c 39.8s |      17 |   350930 |   275632 |      580   1022 |        0 |        0
41.79/41.81	c 41.8s |      17 |   367641 |   289232 |      580   1063 |        0 |        0
42.78/42.83	c 42.8s |      18 |   376304 |   296252 |      638   1084 |        0 |        0
44.78/44.84	c 44.8s |      18 |   394542 |   309652 |      638   1123 |        0 |        0
46.78/46.84	c 46.8s |      18 |   411426 |   322452 |      638   1160 |        0 |        0
48.78/48.84	c 48.8s |      18 |   430312 |   335552 |      638   1197 |        0 |        0
50.78/50.86	c 50.8s |      18 |   446691 |   348252 |      638   1233 |        0 |        0
52.79/52.87	c 52.9s |      18 |   463758 |   360852 |      638   1269 |        0 |        0
54.78/54.88	c 54.9s |      18 |   480957 |   374152 |      638   1307 |        0 |        0
56.78/56.88	c 56.9s |      18 |   498187 |   387052 |      638   1345 |        0 |        0
58.78/58.90	c 58.9s |      18 |   514398 |   399752 |      638   1381 |        0 |        0
60.88/60.91	c 60.9s |      18 |   532624 |   413052 |      638   1419 |        0 |        0
62.88/62.91	c 62.9s |      18 |   550531 |   426052 |      638   1456 |        0 |        0
64.88/64.92	c 64.9s |      18 |   568558 |   439252 |      638   1495 |        0 |        0
65.68/65.73	c 65.7s |      19 |   575547 |   444482 |      702   1509 |        0 |        0
67.68/67.74	c 67.7s |      19 |   593690 |   457282 |      702   1542 |        0 |        0
69.68/69.75	c 69.7s |      19 |   611791 |   469982 |      702   1575 |        0 |        0
71.68/71.76	c 71.8s |      19 |   628932 |   482882 |      702   1609 |        0 |        0
73.68/73.77	c 73.8s |      19 |   644598 |   495282 |      702   1641 |        0 |        0
75.67/75.78	c 75.8s |      19 |   661161 |   508082 |      702   1674 |        0 |        0
77.67/77.79	c 77.8s |      19 |   677805 |   520682 |      702   1707 |        0 |        0
79.77/79.80	c 79.8s |      19 |   693889 |   533182 |      702   1741 |        0 |        0
81.77/81.81	c 81.8s |      19 |   708859 |   544482 |      702   1769 |        0 |        0
83.77/83.82	c 83.8s |      19 |   724862 |   557782 |      702   1804 |        0 |        0
85.78/85.82	c 85.8s |      19 |   741781 |   571382 |      702   1839 |        0 |        0
87.78/87.83	c 87.8s |      19 |   759051 |   585082 |      702   1874 |        0 |        0
89.78/89.83	c 89.8s |      19 |   774978 |   598482 |      702   1910 |        0 |        0
91.78/91.85	c 91.8s |      19 |   790523 |   611582 |      702   1943 |        0 |        0
93.78/93.85	c 93.8s |      19 |   806100 |   624082 |      702   1975 |        0 |        0
95.78/95.86	c 95.8s |      19 |   824303 |   637682 |      702   2011 |        0 |        0
97.77/97.87	c 97.9s |      19 |   840282 |   650282 |      702   2044 |        0 |        0
99.77/99.88	c 99.9s |      19 |   857738 |   663582 |      773   2078 |        0 |        0
100.37/100.41	c  100s |      20 |   862009 |   666827 |      773   2085 |        0 |        0
102.38/102.43	c  102s |      20 |   879475 |   680327 |      773   2118 |        0 |        0
104.37/104.44	c  104s |      20 |   894724 |   692627 |      773   2147 |        0 |        0
106.37/106.44	c  106s |      20 |   908457 |   704427 |      773   2175 |        0 |        0
108.37/108.45	c  108s |      20 |   921319 |   715827 |      773   2202 |        0 |        0
110.37/110.46	c  110s |      20 |   936140 |   728027 |      773   2231 |        0 |        0
112.37/112.46	c  112s |      20 |   952033 |   741327 |      773   2263 |        0 |        0
114.38/114.47	c  114s |      20 |   968201 |   754827 |      773   2295 |        0 |        0
116.37/116.47	c  116s |      20 |   984065 |   768227 |      773   2326 |        0 |        0
118.37/118.48	c  118s |      20 |   998240 |   780527 |      773   2356 |        0 |        0
120.37/120.49	c  120s |      20 |  1012585 |   792527 |      773   2384 |        0 |        0
122.47/122.50	c  122s |      20 |  1028408 |   805327 |      773   2414 |        0 |        0
124.46/124.51	c  124s |      20 |  1042307 |   817027 |      773   2442 |        0 |        0
126.48/126.51	c  126s |      20 |  1057933 |   829527 |      773   2472 |        0 |        0
128.47/128.51	c  128s |      20 |  1071788 |   841027 |      773   2499 |        0 |        0
130.47/130.52	c  130s |      20 |  1085899 |   852827 |      773   2527 |        0 |        0
132.47/132.53	c  132s |      20 |  1098213 |   863527 |      773   2552 |        0 |        0
134.47/134.54	c  134s |      20 |  1113683 |   875727 |      773   2581 |        0 |        0
136.48/136.56	c  136s |      20 |  1128973 |   888527 |      773   2611 |        0 |        0
138.47/138.57	c  138s |      20 |  1142807 |   900727 |      773   2641 |        0 |        0
140.47/140.57	c  140s |      20 |  1156762 |   912527 |      773   2669 |        0 |        0
142.47/142.58	c  142s |      20 |  1171044 |   924227 |      773   2696 |        0 |        0
144.57/144.60	c  144s |      20 |  1185284 |   936327 |      773   2725 |        0 |        0
146.57/146.61	c  146s |      20 |  1198606 |   947927 |      773   2752 |        0 |        0
148.57/148.61	c  148s |      20 |  1212710 |   959627 |      773   2779 |        0 |        0
150.57/150.61	c  150s |      20 |  1225922 |   970827 |      773   2806 |        0 |        0
152.57/152.64	c  152s |      20 |  1238928 |   982127 |      773   2833 |        0 |        0
154.57/154.64	c  154s |      20 |  1251661 |   993127 |      773   2859 |        0 |        0
155.77/155.85	c  155s |      21 |  1260330 |  1000345 |      851   2875 |        0 |        0
157.77/157.86	c  157s |      21 |  1278869 |  1013345 |      851   2903 |        0 |        0
159.76/159.87	c  159s |      21 |  1294842 |  1025445 |      851   2929 |        0 |        0
161.77/161.88	c  161s |      21 |  1309961 |  1037745 |      851   2956 |        0 |        0
163.76/163.89	c  163s |      21 |  1325900 |  1050245 |      851   2984 |        0 |        0
165.76/165.89	c  165s |      21 |  1343518 |  1063245 |      851   3012 |        0 |        0
167.86/167.90	c  167s |      21 |  1359483 |  1075845 |      851   3040 |        0 |        0
169.86/169.91	c  169s |      21 |  1376395 |  1088645 |      851   3068 |        0 |        0
171.86/171.93	c  171s |      21 |  1392722 |  1101045 |      851   3095 |        0 |        0
173.86/173.94	c  173s |      21 |  1408508 |  1113245 |      851   3121 |        0 |        0
175.86/175.95	c  175s |      21 |  1422803 |  1124845 |      851   3146 |        0 |        0
177.87/177.96	c  177s |      21 |  1436538 |  1136145 |      851   3171 |        0 |        0
179.86/179.97	c  179s |      21 |  1453162 |  1148645 |      851   3198 |        0 |        0
181.86/181.99	c  181s |      21 |  1470948 |  1161545 |      851   3226 |        0 |        0
183.86/183.99	c  183s |      21 |  1489451 |  1173845 |      851   3253 |        0 |        0
185.87/186.00	c  185s |      21 |  1506165 |  1186145 |      851   3280 |        0 |        0
187.96/188.01	c  187s |      21 |  1523388 |  1198445 |      851   3307 |        0 |        0
189.96/190.02	c  190s |      21 |  1545948 |  1212045 |      851   3337 |        0 |        0
191.96/192.03	c  192s |      21 |  1566718 |  1225545 |      851   3367 |        0 |        0
193.96/194.03	c  194s |      21 |  1583351 |  1238245 |      851   3395 |        0 |        0
195.96/196.04	c  196s |      21 |  1601232 |  1250645 |      851   3422 |        0 |        0
197.97/198.05	c  198s |      21 |  1622826 |  1264145 |      851   3451 |        0 |        0
199.96/200.05	c  200s |      21 |  1645015 |  1277345 |      851   3480 |        0 |        0
201.96/202.05	c  202s |      21 |  1662308 |  1289245 |      851   3506 |        0 |        0
203.96/204.07	c  204s |      21 |  1678625 |  1301345 |      851   3533 |        0 |        0
205.96/206.08	c  206s |      21 |  1695654 |  1313745 |      851   3560 |        0 |        0
207.96/208.09	c  208s |      21 |  1713327 |  1326145 |      851   3587 |        0 |        0
209.96/210.10	c  210s |      21 |  1730819 |  1338045 |      851   3613 |        0 |        0
212.05/212.12	c  212s |      21 |  1748727 |  1350245 |      851   3640 |        0 |        0
214.05/214.12	c  214s |      21 |  1765141 |  1361845 |      851   3666 |        0 |        0
216.05/216.13	c  216s |      21 |  1783248 |  1374345 |      851   3693 |        0 |        0
218.05/218.14	c  218s |      21 |  1799725 |  1386045 |      851   3719 |        0 |        0
220.06/220.16	c  220s |      21 |  1815490 |  1397845 |      851   3744 |        0 |        0
222.05/222.17	c  222s |      21 |  1832811 |  1409545 |      851   3770 |        0 |        0
224.05/224.17	c  224s |      21 |  1851381 |  1422045 |      851   3798 |        0 |        0
226.05/226.18	c  226s |      21 |  1870264 |  1434645 |      851   3825 |        0 |        0
228.06/228.18	c  228s |      21 |  1887085 |  1446645 |      851   3852 |        0 |        0
230.06/230.19	c  230s |      21 |  1904835 |  1458845 |      851   3878 |        0 |        0
232.06/232.20	c  232s |      21 |  1921409 |  1470545 |      851   3904 |        0 |        0
234.16/234.20	c  234s |      21 |  1936396 |  1482545 |      851   3930 |        0 |        0
236.16/236.21	c  236s |      21 |  1954496 |  1494945 |      937   3956 |        0 |        0
237.06/237.13	c  237s |      22 |  1963318 |  1500622 |      937   3968 |        0 |        0
239.06/239.14	c  239s |      22 |  1981748 |  1513122 |      937   3992 |        0 |        0
241.06/241.15	c  241s |      22 |  2001005 |  1525622 |      937   4018 |        0 |        0
243.06/243.16	c  243s |      22 |  2019974 |  1538222 |      937   4043 |        0 |        0
245.05/245.16	c  245s |      22 |  2034305 |  1549722 |      937   4066 |        0 |        0
247.05/247.16	c  247s |      22 |  2048006 |  1560922 |      937   4088 |        0 |        0
249.05/249.18	c  249s |      22 |  2062930 |  1572222 |      937   4111 |        0 |        0
251.05/251.19	c  251s |      22 |  2082004 |  1585822 |      937   4138 |        0 |        0
253.06/253.19	c  253s |      22 |  2101588 |  1599322 |      937   4165 |        0 |        0
255.05/255.20	c  255s |      22 |  2122143 |  1613022 |      937   4193 |        0 |        0
257.15/257.20	c  257s |      22 |  2140827 |  1626822 |      937   4221 |        0 |        0
259.15/259.20	c  259s |      22 |  2159386 |  1640222 |      937   4248 |        0 |        0
261.15/261.22	c  261s |      22 |  2178129 |  1654022 |      937   4276 |        0 |        0
263.15/263.23	c  263s |      22 |  2196966 |  1667622 |      937   4303 |        0 |        0
265.16/265.24	c  265s |      22 |  2214300 |  1680622 |      937   4329 |        0 |        0
267.15/267.24	c  267s |      22 |  2230177 |  1692722 |      937   4353 |        0 |        0
269.15/269.25	c  269s |      22 |  2246811 |  1705422 |      937   4379 |        0 |        0
271.15/271.26	c  271s |      22 |  2264129 |  1718222 |      937   4405 |        0 |        0
273.15/273.27	c  273s |      22 |  2282642 |  1731022 |      937   4430 |        0 |        0
275.15/275.28	c  275s |      22 |  2299069 |  1743622 |      937   4455 |        0 |        0
277.15/277.29	c  277s |      22 |  2316513 |  1756922 |      937   4482 |        0 |        0
279.14/279.29	c  279s |      22 |  2335423 |  1770822 |      937   4510 |        0 |        0
281.14/281.30	c  281s |      22 |  2354767 |  1784822 |      937   4538 |        0 |        0
283.24/283.31	c  283s |      22 |  2374488 |  1798622 |      937   4565 |        0 |        0
285.24/285.31	c  285s |      22 |  2391234 |  1811422 |      937   4591 |        0 |        0
287.24/287.31	c  287s |      22 |  2411767 |  1824922 |      937   4618 |        0 |        0
289.25/289.32	c  289s |      22 |  2428223 |  1837622 |      937   4644 |        0 |        0
291.24/291.33	c  291s |      22 |  2447693 |  1850922 |      937   4670 |        0 |        0
293.24/293.34	c  293s |      22 |  2463669 |  1863522 |      937   4696 |        0 |        0
295.24/295.35	c  295s |      22 |  2478594 |  1875422 |      937   4720 |        0 |        0
297.24/297.36	c  297s |      22 |  2497671 |  1888822 |      937   4747 |        0 |        0
299.25/299.37	c  299s |      22 |  2515939 |  1901622 |      937   4772 |        0 |        0
301.24/301.38	c  301s |      22 |  2532825 |  1914022 |      937   4797 |        0 |        0
303.24/303.38	c  303s |      22 |  2547413 |  1925422 |      937   4820 |        0 |        0
305.24/305.39	c  305s |      22 |  2566081 |  1939122 |      937   4848 |        0 |        0
307.24/307.39	c  307s |      22 |  2588838 |  1953622 |      937   4877 |        0 |        0
309.24/309.39	c  309s |      22 |  2609160 |  1967022 |      937   4904 |        0 |        0
311.25/311.40	c  311s |      22 |  2624463 |  1979422 |      937   4928 |        0 |        0
313.34/313.41	c  313s |      22 |  2639383 |  1991622 |      937   4953 |        0 |        0
315.34/315.43	c  315s |      22 |  2655256 |  2004422 |      937   4978 |        0 |        0
317.34/317.43	c  317s |      22 |  2672121 |  2017722 |      937   5005 |        0 |        0
319.34/319.44	c  319s |      22 |  2687744 |  2030722 |      937   5031 |        0 |        0
321.34/321.46	c  321s |      22 |  2706151 |  2044822 |      937   5059 |        0 |        0
323.35/323.46	c  323s |      22 |  2724987 |  2059122 |      937   5089 |        0 |        0
325.34/325.47	c  325s |      22 |  2742998 |  2072922 |      937   5116 |        0 |        0
327.34/327.47	c  327s |      22 |  2760747 |  2085922 |      937   5142 |        0 |        0
329.34/329.48	c  329s |      22 |  2776100 |  2098522 |      937   5168 |        0 |        0
331.34/331.49	c  331s |      22 |  2792486 |  2111822 |      937   5194 |        0 |        0
333.34/333.49	c  333s |      22 |  2810831 |  2125322 |      937   5221 |        0 |        0
335.44/335.51	c  335s |      22 |  2828501 |  2138622 |      937   5248 |        0 |        0
337.44/337.52	c  337s |      22 |  2845974 |  2151222 |      937   5274 |        0 |        0
339.44/339.53	c  339s |      22 |  2860678 |  2163322 |      937   5298 |        0 |        0
341.44/341.54	c  341s |      22 |  2878692 |  2176122 |      937   5325 |        0 |        0
343.43/343.54	c  343s |      22 |  2896655 |  2188822 |      937   5350 |        0 |        0
345.44/345.55	c  345s |      22 |  2914076 |  2201822 |      937   5376 |        0 |        0
347.43/347.56	c  347s |      22 |  2931074 |  2214522 |      937   5402 |        0 |        0
349.43/349.56	c  349s |      22 |  2946276 |  2226622 |      937   5426 |        0 |        0
351.43/351.58	c  351s |      22 |  2962549 |  2238822 |     1031   5450 |        0 |        0
353.44/353.50	c  353s |      23 |  2979008 |  2251038 |     1031   5472 |        0 |        0
355.44/355.52	c  355s |      23 |  2993821 |  2262438 |     1031   5493 |        0 |        0
357.44/357.53	c  357s |      23 |  3008685 |  2273938 |     1031   5514 |        0 |        0
359.44/359.54	c  359s |      23 |  3026452 |  2286638 |     1031   5537 |        0 |        0
361.44/361.55	c  361s |      23 |  3041663 |  2298138 |     1031   5558 |        0 |        0
363.44/363.56	c  363s |      23 |  3057952 |  2309838 |     1031   5580 |        0 |        0
365.44/365.57	c  365s |      23 |  3071466 |  2320438 |     1031   5599 |        0 |        0
367.44/367.59	c  367s |      23 |  3084877 |  2331138 |     1031   5618 |        0 |        0
369.43/369.60	c  369s |      23 |  3098188 |  2341838 |     1031   5637 |        0 |        0
371.53/371.61	c  371s |      23 |  3111098 |  2352638 |     1031   5657 |        0 |        0
373.53/373.61	c  373s |      23 |  3127181 |  2364638 |     1031   5679 |        0 |        0
375.53/375.62	c  375s |      23 |  3140916 |  2375838 |     1031   5700 |        0 |        0
377.53/377.64	c  377s |      23 |  3154843 |  2387238 |     1031   5721 |        0 |        0
379.54/379.65	c  379s |      23 |  3170650 |  2399338 |     1031   5743 |        0 |        0
381.53/381.65	c  381s |      23 |  3186107 |  2411238 |     1031   5765 |        0 |        0
383.53/383.66	c  383s |      23 |  3200163 |  2422438 |     1031   5785 |        0 |        0
385.53/385.66	c  385s |      23 |  3214865 |  2434138 |     1031   5807 |        0 |        0
387.53/387.68	c  387s |      23 |  3229304 |  2445838 |     1031   5829 |        0 |        0
389.53/389.69	c  389s |      23 |  3241840 |  2456538 |     1031   5848 |        0 |        0
391.54/391.69	c  391s |      23 |  3256251 |  2467938 |     1031   5869 |        0 |        0
393.63/393.70	c  393s |      23 |  3269703 |  2478438 |     1031   5888 |        0 |        0
395.63/395.72	c  395s |      23 |  3283608 |  2489238 |     1031   5908 |        0 |        0
397.63/397.73	c  397s |      23 |  3297970 |  2500538 |     1031   5928 |        0 |        0
399.63/399.74	c  399s |      23 |  3310866 |  2511338 |     1031   5948 |        0 |        0
401.62/401.75	c  401s |      23 |  3323788 |  2522238 |     1031   5968 |        0 |        0
403.63/403.77	c  403s |      23 |  3336985 |  2533338 |     1031   5988 |        0 |        0
405.62/405.78	c  405s |      23 |  3349463 |  2543838 |     1031   6007 |        0 |        0
407.62/407.78	c  407s |      23 |  3361944 |  2554038 |     1031   6025 |        0 |        0
409.72/409.80	c  409s |      23 |  3373787 |  2563838 |     1031   6043 |        0 |        0
411.72/411.80	c  411s |      23 |  3386871 |  2574238 |     1031   6061 |        0 |        0
413.72/413.82	c  413s |      23 |  3400413 |  2584838 |     1031   6081 |        0 |        0
415.73/415.82	c  415s |      23 |  3413889 |  2595838 |     1031   6101 |        0 |        0
417.72/417.83	c  417s |      23 |  3428676 |  2607238 |     1031   6122 |        0 |        0
419.72/419.85	c  419s |      23 |  3442468 |  2618338 |     1031   6143 |        0 |        0
421.72/421.86	c  421s |      23 |  3456053 |  2629538 |     1031   6163 |        0 |        0
423.73/423.87	c  423s |      23 |  3469274 |  2640538 |     1031   6184 |        0 |        0
425.73/425.87	c  425s |      23 |  3481556 |  2651138 |     1031   6203 |        0 |        0
427.73/427.88	c  427s |      23 |  3494864 |  2662238 |     1031   6224 |        0 |        0
429.82/429.90	c  429s |      23 |  3508149 |  2673138 |     1031   6244 |        0 |        0
431.82/431.92	c  431s |      23 |  3521704 |  2684038 |     1031   6264 |        0 |        0
433.82/433.93	c  433s |      23 |  3534108 |  2694238 |     1031   6282 |        0 |        0
435.82/435.93	c  435s |      23 |  3546706 |  2704638 |     1031   6301 |        0 |        0
437.83/437.96	c  437s |      23 |  3557649 |  2714238 |     1031   6319 |        0 |        0
439.82/439.98	c  439s |      23 |  3569087 |  2723938 |     1031   6336 |        0 |        0
441.82/441.98	c  441s |      23 |  3580889 |  2733938 |     1031   6354 |        0 |        0
443.82/443.98	c  443s |      23 |  3593935 |  2744738 |     1031   6374 |        0 |        0
445.82/445.99	c  445s |      23 |  3606272 |  2754838 |     1031   6392 |        0 |        0
447.92/448.00	c  447s |      23 |  3617819 |  2764638 |     1031   6410 |        0 |        0
449.93/450.02	c  450s |      23 |  3630275 |  2774738 |     1031   6429 |        0 |        0
451.92/452.03	c  452s |      23 |  3642214 |  2784638 |     1031   6447 |        0 |        0
453.92/454.04	c  454s |      23 |  3653982 |  2794438 |     1031   6465 |        0 |        0
455.91/456.04	c  456s |      23 |  3666183 |  2804238 |     1031   6483 |        0 |        0
457.91/458.06	c  458s |      23 |  3679747 |  2814738 |     1031   6502 |        0 |        0
459.91/460.06	c  460s |      23 |  3695106 |  2825938 |     1031   6523 |        0 |        0
461.92/462.06	c  462s |      23 |  3708996 |  2837238 |     1031   6543 |        0 |        0
463.91/464.07	c  464s |      23 |  3723608 |  2848838 |     1031   6565 |        0 |        0
465.91/466.08	c  466s |      23 |  3737330 |  2859938 |     1031   6585 |        0 |        0
467.92/468.09	c  468s |      23 |  3751920 |  2871138 |     1031   6606 |        0 |        0
470.02/470.10	c  470s |      23 |  3766549 |  2882038 |     1031   6625 |        0 |        0
472.02/472.10	c  472s |      23 |  3783847 |  2893638 |     1031   6647 |        0 |        0
474.03/474.11	c  474s |      23 |  3798346 |  2904738 |     1031   6667 |        0 |        0
476.02/476.11	c  476s |      23 |  3811466 |  2915338 |     1031   6687 |        0 |        0
478.02/478.13	c  478s |      23 |  3824827 |  2926338 |     1031   6707 |        0 |        0
480.02/480.14	c  480s |      23 |  3837786 |  2936838 |     1031   6726 |        0 |        0
482.02/482.15	c  482s |      23 |  3851328 |  2947438 |     1031   6746 |        0 |        0
484.02/484.16	c  484s |      23 |  3864883 |  2958238 |     1031   6766 |        0 |        0
486.02/486.16	c  486s |      23 |  3877795 |  2968538 |     1031   6785 |        0 |        0
488.01/488.17	c  488s |      23 |  3890104 |  2978438 |     1031   6803 |        0 |        0
490.01/490.19	c  490s |      23 |  3901291 |  2987738 |     1031   6819 |        0 |        0
492.11/492.20	c  492s |      23 |  3914725 |  2998338 |     1031   6839 |        0 |        0
494.11/494.21	c  494s |      23 |  3929376 |  3009438 |     1031   6859 |        0 |        0
496.12/496.21	c  496s |      23 |  3943146 |  3020338 |     1031   6879 |        0 |        0
498.11/498.21	c  498s |      23 |  3956626 |  3030838 |     1031   6898 |        0 |        0
500.11/500.22	c  500s |      23 |  3970598 |  3041538 |     1031   6918 |        0 |        0
502.11/502.24	c  502s |      23 |  3985403 |  3053138 |     1031   6940 |        0 |        0
504.11/504.25	c  504s |      23 |  3999503 |  3064438 |     1031   6960 |        0 |        0
506.11/506.26	c  506s |      23 |  4013433 |  3075538 |     1031   6981 |        0 |        0
508.12/508.26	c  508s |      23 |  4030721 |  3088138 |     1031   7004 |        0 |        0
510.11/510.27	c  510s |      23 |  4048020 |  3100438 |     1031   7027 |        0 |        0
512.11/512.28	c  512s |      23 |  4065092 |  3112738 |     1031   7049 |        0 |        0
514.11/514.29	c  514s |      23 |  4079438 |  3123838 |     1031   7069 |        0 |        0
516.11/516.29	c  516s |      23 |  4094946 |  3135438 |     1031   7090 |        0 |        0
518.21/518.31	c  518s |      23 |  4109958 |  3146938 |     1031   7111 |        0 |        0
520.21/520.32	c  520s |      23 |  4125716 |  3158538 |     1031   7133 |        0 |        0
522.21/522.32	c  522s |      23 |  4140640 |  3169838 |     1031   7154 |        0 |        0
524.21/524.33	c  524s |      23 |  4155105 |  3181038 |     1031   7174 |        0 |        0
526.21/526.35	c  526s |      23 |  4168332 |  3192038 |     1031   7194 |        0 |        0
528.20/528.36	c  528s |      23 |  4180925 |  3202438 |     1031   7213 |        0 |        0
530.21/530.37	c  530s |      23 |  4195595 |  3213538 |     1031   7234 |        0 |        0
532.20/532.37	c  532s |      23 |  4213938 |  3226638 |     1031   7258 |        0 |        0
534.20/534.37	c  534s |      23 |  4231063 |  3239338 |     1031   7282 |        0 |        0
536.20/536.37	c  536s |      23 |  4249358 |  3251938 |     1031   7305 |        0 |        0
538.20/538.39	c  538s |      23 |  4267102 |  3264038 |     1031   7327 |        0 |        0
540.20/540.39	c  540s |      23 |  4285056 |  3276338 |     1031   7350 |        0 |        0
542.21/542.40	c  542s |      23 |  4300534 |  3288138 |     1031   7372 |        0 |        0
544.30/544.41	c  544s |      23 |  4319154 |  3300638 |     1031   7395 |        0 |        0
546.30/546.42	c  546s |      23 |  4337923 |  3313238 |     1031   7418 |        0 |        0
548.30/548.44	c  548s |      23 |  4356303 |  3325438 |     1031   7440 |        0 |        0
550.30/550.44	c  550s |      23 |  4375183 |  3337838 |     1031   7463 |        0 |        0
552.30/552.45	c  552s |      23 |  4389828 |  3349938 |     1031   7486 |        0 |        0
554.31/554.47	c  554s |      23 |  4404121 |  3361838 |     1135   7506 |        0 |        0
556.30/556.47	c  556s |      23 |  4418763 |  3373538 |     1135   7526 |        0 |        0
556.90/557.00	c  556s |      24 |  4422654 |  3376662 |     1135   7531 |        0 |        0
558.90/559.02	c  559s |      24 |  4435680 |  3387862 |     1135   7550 |        0 |        0
560.90/561.03	c  561s |      24 |  4449293 |  3399362 |     1135   7569 |        0 |        0
562.90/563.05	c  563s |      24 |  4463358 |  3411262 |     1135   7589 |        0 |        0
564.91/565.06	c  565s |      24 |  4476141 |  3422462 |     1135   7608 |        0 |        0
566.91/567.07	c  567s |      24 |  4488885 |  3433762 |     1135   7627 |        0 |        0
568.90/569.08	c  569s |      24 |  4504240 |  3446062 |     1135   7647 |        0 |        0
570.91/571.08	c  571s |      24 |  4521678 |  3458562 |     1135   7668 |        0 |        0
572.90/573.09	c  573s |      24 |  4534858 |  3469362 |     1135   7686 |        0 |        0
574.90/575.09	c  575s |      24 |  4548818 |  3480362 |     1135   7705 |        0 |        0
577.00/577.11	c  577s |      24 |  4561334 |  3490762 |     1135   7722 |        0 |        0
579.00/579.11	c  579s |      24 |  4575644 |  3502262 |     1135   7741 |        0 |        0
581.00/581.12	c  581s |      24 |  4592938 |  3515562 |     1135   7763 |        0 |        0
583.01/583.13	c  583s |      24 |  4607659 |  3527862 |     1135   7783 |        0 |        0
585.00/585.13	c  585s |      24 |  4623066 |  3540162 |     1135   7803 |        0 |        0
587.00/587.14	c  587s |      24 |  4636292 |  3551162 |     1135   7821 |        0 |        0
589.00/589.15	c  589s |      24 |  4649621 |  3562562 |     1135   7841 |        0 |        0
591.00/591.16	c  591s |      24 |  4664597 |  3574862 |     1135   7861 |        0 |        0
593.00/593.17	c  593s |      24 |  4677750 |  3586662 |     1135   7881 |        0 |        0
595.00/595.18	c  595s |      24 |  4691117 |  3598362 |     1135   7900 |        0 |        0
597.10/597.20	c  597s |      24 |  4704609 |  3609962 |     1135   7919 |        0 |        0
599.10/599.20	c  599s |      24 |  4717306 |  3620762 |     1135   7937 |        0 |        0
601.10/601.21	c  601s |      24 |  4729924 |  3631362 |     1135   7954 |        0 |        0
603.09/603.21	c  603s |      24 |  4742497 |  3642362 |     1135   7973 |        0 |        0
605.09/605.22	c  605s |      24 |  4755771 |  3653762 |     1135   7992 |        0 |        0
607.10/607.23	c  607s |      24 |  4769437 |  3665062 |     1135   8011 |        0 |        0
609.09/609.25	c  609s |      24 |  4782421 |  3676262 |     1135   8029 |        0 |        0
611.09/611.27	c  611s |      24 |  4794916 |  3687262 |     1135   8047 |        0 |        0
613.09/613.27	c  613s |      24 |  4808563 |  3698562 |     1135   8065 |        0 |        0
615.09/615.28	c  615s |      24 |  4822243 |  3709962 |     1135   8084 |        0 |        0
617.10/617.28	c  617s |      24 |  4836584 |  3721862 |     1135   8103 |        0 |        0
619.09/619.30	c  619s |      24 |  4850439 |  3733762 |     1135   8123 |        0 |        0
621.19/621.31	c  621s |      24 |  4864270 |  3744762 |     1135   8141 |        0 |        0
623.19/623.32	c  623s |      24 |  4877568 |  3755762 |     1135   8160 |        0 |        0
625.19/625.33	c  625s |      24 |  4891698 |  3767062 |     1135   8179 |        0 |        0
627.19/627.34	c  627s |      24 |  4906903 |  3778762 |     1135   8200 |        0 |        0
629.20/629.36	c  629s |      24 |  4921882 |  3790362 |     1135   8220 |        0 |        0
631.19/631.38	c  631s |      24 |  4936241 |  3802062 |     1135   8239 |        0 |        0
633.19/633.38	c  633s |      24 |  4950008 |  3812962 |     1135   8257 |        0 |        0
635.19/635.38	c  635s |      24 |  4964066 |  3824262 |     1135   8276 |        0 |        0
637.19/637.39	c  637s |      24 |  4979913 |  3836062 |     1135   8296 |        0 |        0
639.19/639.39	c  639s |      24 |  4995421 |  3848062 |     1135   8316 |        0 |        0
641.19/641.39	c  641s |      24 |  5008848 |  3859162 |     1135   8334 |        0 |        0
643.29/643.41	c  643s |      24 |  5021370 |  3869562 |     1135   8352 |        0 |        0
645.28/645.43	c  645s |      24 |  5032728 |  3879162 |     1135   8368 |        0 |        0
647.28/647.44	c  647s |      24 |  5046139 |  3890062 |     1135   8386 |        0 |        0
649.28/649.46	c  649s |      24 |  5060170 |  3901062 |     1135   8404 |        0 |        0
651.28/651.47	c  651s |      24 |  5073203 |  3911862 |     1135   8422 |        0 |        0
653.29/653.48	c  653s |      24 |  5087814 |  3923762 |     1135   8442 |        0 |        0
655.28/655.49	c  655s |      24 |  5101060 |  3934562 |     1135   8461 |        0 |        0
657.38/657.50	c  657s |      24 |  5115229 |  3945762 |     1135   8479 |        0 |        0
659.38/659.52	c  659s |      24 |  5127937 |  3956662 |     1135   8497 |        0 |        0
661.39/661.52	c  661s |      24 |  5141097 |  3967162 |     1135   8515 |        0 |        0
663.39/663.54	c  663s |      24 |  5151736 |  3976462 |     1135   8530 |        0 |        0
665.40/665.54	c  665s |      24 |  5163524 |  3986262 |     1135   8547 |        0 |        0
667.39/667.55	c  667s |      24 |  5175624 |  3996262 |     1135   8564 |        0 |        0
669.39/669.57	c  669s |      24 |  5188897 |  4006962 |     1135   8582 |        0 |        0
671.39/671.58	c  671s |      24 |  5202127 |  4017362 |     1135   8599 |        0 |        0
673.39/673.59	c  673s |      24 |  5215459 |  4027762 |     1135   8617 |        0 |        0
675.49/675.60	c  675s |      24 |  5228147 |  4037962 |     1135   8634 |        0 |        0
677.49/677.61	c  677s |      24 |  5242390 |  4049662 |     1135   8653 |        0 |        0
679.49/679.63	c  679s |      24 |  5256199 |  4060662 |     1135   8672 |        0 |        0
681.49/681.64	c  681s |      24 |  5269559 |  4071462 |     1135   8690 |        0 |        0
683.48/683.64	c  683s |      24 |  5283249 |  4082862 |     1135   8709 |        0 |        0
685.48/685.65	c  685s |      24 |  5297572 |  4094762 |     1135   8729 |        0 |        0
687.49/687.66	c  687s |      24 |  5311510 |  4106262 |     1135   8748 |        0 |        0
689.48/689.66	c  689s |      24 |  5325069 |  4117162 |     1135   8766 |        0 |        0
691.48/691.66	c  691s |      24 |  5340292 |  4128262 |     1135   8785 |        0 |        0
693.48/693.67	c  693s |      24 |  5354323 |  4138962 |     1135   8803 |        0 |        0
695.48/695.69	c  695s |      24 |  5367549 |  4149362 |     1135   8821 |        0 |        0
697.48/697.70	c  697s |      24 |  5380877 |  4159962 |     1135   8838 |        0 |        0
699.48/699.70	c  699s |      24 |  5394428 |  4170562 |     1135   8856 |        0 |        0
701.57/701.71	c  701s |      24 |  5409010 |  4181862 |     1135   8875 |        0 |        0
703.57/703.72	c  703s |      24 |  5424831 |  4193162 |     1135   8894 |        0 |        0
705.57/705.72	c  705s |      24 |  5440634 |  4204662 |     1135   8914 |        0 |        0
707.56/707.73	c  707s |      24 |  5456031 |  4216062 |     1135   8933 |        0 |        0
709.56/709.73	c  709s |      24 |  5471036 |  4227362 |     1135   8952 |        0 |        0
711.57/711.74	c  711s |      24 |  5486064 |  4238762 |     1135   8972 |        0 |        0
713.56/713.75	c  713s |      24 |  5499701 |  4249562 |     1135   8990 |        0 |        0
715.56/715.76	c  715s |      24 |  5515180 |  4261062 |     1135   9010 |        0 |        0
717.56/717.77	c  717s |      24 |  5530203 |  4272062 |     1135   9028 |        0 |        0
719.56/719.78	c  719s |      24 |  5545900 |  4283562 |     1135   9047 |        0 |        0
721.66/721.80	c  721s |      24 |  5559872 |  4294462 |     1135   9065 |        0 |        0
723.55/723.80	c  723s |      24 |  5572976 |  4304862 |     1135   9083 |        0 |        0
725.65/725.80	c  725s |      24 |  5587031 |  4315762 |     1135   9101 |        0 |        0
727.65/727.81	c  727s |      24 |  5602491 |  4327262 |     1135   9120 |        0 |        0
729.65/729.82	c  729s |      24 |  5615484 |  4337562 |     1135   9138 |        0 |        0
731.65/731.83	c  731s |      24 |  5629028 |  4348362 |     1135   9156 |        0 |        0
733.65/733.83	c  733s |      24 |  5642335 |  4358962 |     1135   9174 |        0 |        0
735.65/735.85	c  735s |      24 |  5654385 |  4369162 |     1135   9191 |        0 |        0
737.65/737.86	c  737s |      24 |  5669889 |  4380862 |     1135   9211 |        0 |        0
739.65/739.87	c  739s |      24 |  5683861 |  4392062 |     1135   9229 |        0 |        0
741.65/741.88	c  741s |      24 |  5695611 |  4401862 |     1135   9246 |        0 |        0
743.65/743.89	c  743s |      24 |  5708457 |  4412062 |     1135   9263 |        0 |        0
745.65/745.90	c  745s |      24 |  5720335 |  4421762 |     1135   9279 |        0 |        0
747.75/747.92	c  747s |      24 |  5733334 |  4431962 |     1135   9296 |        0 |        0
749.75/749.93	c  749s |      24 |  5745952 |  4442462 |     1135   9314 |        0 |        0
751.75/751.95	c  751s |      24 |  5759489 |  4453262 |     1135   9332 |        0 |        0
753.74/753.96	c  753s |      24 |  5774350 |  4464162 |     1135   9351 |        0 |        0
755.74/755.96	c  755s |      24 |  5787876 |  4474962 |     1135   9369 |        0 |        0
757.75/757.97	c  757s |      24 |  5801124 |  4485562 |     1135   9387 |        0 |        0
759.74/759.97	c  759s |      24 |  5814719 |  4496562 |     1135   9405 |        0 |        0
761.74/761.97	c  761s |      24 |  5828384 |  4507662 |     1135   9424 |        0 |        0
763.73/763.98	c  763s |      24 |  5843808 |  4519562 |     1135   9445 |        0 |        0
765.73/765.99	c  765s |      24 |  5859680 |  4531262 |     1135   9464 |        0 |        0
767.83/768.01	c  767s |      24 |  5876670 |  4543162 |     1135   9484 |        0 |        0
769.84/770.02	c  770s |      24 |  5893122 |  4554662 |     1135   9504 |        0 |        0
771.83/772.02	c  772s |      24 |  5908839 |  4565962 |     1135   9523 |        0 |        0
773.83/774.04	c  774s |      24 |  5924290 |  4577462 |     1135   9542 |        0 |        0
775.83/776.04	c  776s |      24 |  5938773 |  4588762 |     1135   9561 |        0 |        0
777.83/778.05	c  778s |      24 |  5951780 |  4599562 |     1135   9579 |        0 |        0
779.83/780.06	c  780s |      24 |  5963607 |  4609362 |     1135   9596 |        0 |        0
781.83/782.07	c  782s |      24 |  5977985 |  4620362 |     1135   9614 |        0 |        0
783.82/784.07	c  784s |      24 |  5990427 |  4630862 |     1135   9632 |        0 |        0
785.82/786.08	c  786s |      24 |  6003891 |  4641662 |     1135   9650 |        0 |        0
787.82/788.08	c  788s |      24 |  6017624 |  4652562 |     1135   9668 |        0 |        0
789.82/790.09	c  790s |      24 |  6031697 |  4663362 |     1135   9686 |        0 |        0
791.83/792.09	c  792s |      24 |  6047202 |  4675062 |     1135   9706 |        0 |        0
793.81/794.09	c  794s |      24 |  6060705 |  4685962 |     1135   9724 |        0 |        0
795.91/796.10	c  796s |      24 |  6073878 |  4696862 |     1135   9743 |        0 |        0
797.91/798.11	c  798s |      24 |  6087902 |  4708562 |     1135   9762 |        0 |        0
799.91/800.12	c  800s |      24 |  6100007 |  4718862 |     1135   9779 |        0 |        0
801.91/802.13	c  802s |      24 |  6113138 |  4729562 |     1135   9797 |        0 |        0
803.92/804.15	c  804s |      24 |  6126002 |  4739862 |     1135   9815 |        0 |        0
805.91/806.15	c  806s |      24 |  6140037 |  4750662 |     1135   9833 |        0 |        0
807.91/808.17	c  808s |      24 |  6153330 |  4760862 |     1135   9850 |        0 |        0
809.91/810.17	c  810s |      24 |  6165341 |  4770562 |     1135   9866 |        0 |        0
811.91/812.19	c  812s |      24 |  6176608 |  4780062 |     1135   9882 |        0 |        0
814.00/814.20	c  814s |      24 |  6188229 |  4789762 |     1135   9899 |        0 |        0
816.01/816.20	c  816s |      24 |  6200971 |  4799762 |     1135   9916 |        0 |        0
818.01/818.23	c  818s |      24 |  6212468 |  4809262 |     1135   9932 |        0 |        0
820.01/820.24	c  820s |      24 |  6226252 |  4819462 |     1135   9949 |        0 |        0
822.01/822.24	c  822s |      24 |  6242387 |  4830562 |     1135   9967 |        0 |        0
824.01/824.25	c  824s |      24 |  6256693 |  4841862 |     1135   9986 |        0 |        0
826.01/826.25	c  826s |      24 |  6270102 |  4852962 |     1135  10005 |        0 |        0
828.01/828.25	c  828s |      24 |  6282380 |  4863362 |     1135  10021 |        0 |        0
830.00/830.26	c  830s |      24 |  6296485 |  4874462 |     1135  10040 |        0 |        0
832.00/832.28	c  832s |      24 |  6310970 |  4886562 |     1135  10060 |        0 |        0
834.00/834.29	c  834s |      24 |  6324036 |  4897662 |     1135  10078 |        0 |        0
836.10/836.31	c  836s |      24 |  6336949 |  4908862 |     1135  10097 |        0 |        0
838.11/838.32	c  838s |      24 |  6349354 |  4919762 |     1135  10115 |        0 |        0
840.10/840.32	c  840s |      24 |  6362915 |  4931262 |     1135  10134 |        0 |        0
842.10/842.33	c  842s |      24 |  6375813 |  4942262 |     1135  10152 |        0 |        0
844.10/844.34	c  844s |      24 |  6388521 |  4953062 |     1135  10170 |        0 |        0
846.09/846.35	c  846s |      24 |  6402392 |  4964562 |     1135  10190 |        0 |        0
848.09/848.35	c  848s |      24 |  6415394 |  4975662 |     1135  10209 |        0 |        0
850.10/850.37	c  850s |      24 |  6429828 |  4987562 |     1135  10229 |        0 |        0
852.09/852.38	c  852s |      24 |  6444439 |  4999662 |     1135  10249 |        0 |        0
854.09/854.40	c  854s |      24 |  6457843 |  5010862 |     1135  10268 |        0 |        0
856.19/856.41	c  856s |      24 |  6471873 |  5022362 |     1135  10287 |        0 |        0
858.19/858.42	c  858s |      24 |  6485894 |  5034062 |     1249  10306 |        0 |        0
860.19/860.43	c  860s |      24 |  6498796 |  5045262 |     1249  10323 |        0 |        0
862.19/862.43	c  862s |      24 |  6511008 |  5055862 |     1249  10339 |        0 |        0
863.88/864.17	c  864s |      25 |  6521728 |  5065098 |     1249  10353 |        0 |        0
865.88/866.17	c  866s |      25 |  6535683 |  5076098 |     1249  10370 |        0 |        0
867.88/868.18	c  868s |      25 |  6551079 |  5087198 |     1249  10386 |        0 |        0
869.89/870.19	c  870s |      25 |  6567459 |  5098398 |     1249  10403 |        0 |        0
871.89/872.19	c  872s |      25 |  6584440 |  5109898 |     1249  10421 |        0 |        0
873.98/874.21	c  874s |      25 |  6601359 |  5121098 |     1249  10438 |        0 |        0
875.98/876.22	c  876s |      25 |  6617513 |  5132898 |     1249  10456 |        0 |        0
877.98/878.24	c  878s |      25 |  6637280 |  5144798 |     1249  10475 |        0 |        0
879.98/880.26	c  880s |      25 |  6658824 |  5156798 |     1249  10493 |        0 |        0
881.99/882.26	c  882s |      25 |  6673127 |  5166998 |     1249  10508 |        0 |        0
883.98/884.27	c  884s |      25 |  6687397 |  5178398 |     1249  10526 |        0 |        0
885.98/886.28	c  886s |      25 |  6700917 |  5189298 |     1249  10542 |        0 |        0
887.97/888.29	c  888s |      25 |  6714519 |  5200398 |     1249  10559 |        0 |        0
889.97/890.29	c  890s |      25 |  6728434 |  5211498 |     1249  10576 |        0 |        0
892.07/892.31	c  892s |      25 |  6742881 |  5222898 |     1249  10594 |        0 |        0
894.08/894.32	c  894s |      25 |  6756975 |  5233898 |     1249  10610 |        0 |        0
896.07/896.34	c  896s |      25 |  6771692 |  5245098 |     1249  10627 |        0 |        0
898.07/898.34	c  898s |      25 |  6785625 |  5256298 |     1249  10645 |        0 |        0
900.07/900.35	c  900s |      25 |  6800551 |  5267798 |     1249  10662 |        0 |        0
902.07/902.36	c  902s |      25 |  6815871 |  5279498 |     1249  10680 |        0 |        0
904.07/904.36	c  904s |      25 |  6831709 |  5291598 |     1249  10698 |        0 |        0
906.06/906.37	c  906s |      25 |  6846810 |  5303198 |     1249  10716 |        0 |        0
908.06/908.37	c  908s |      25 |  6860197 |  5314098 |     1249  10732 |        0 |        0
910.06/910.37	c  910s |      25 |  6873616 |  5325098 |     1249  10749 |        0 |        0
912.06/912.38	c  912s |      25 |  6887673 |  5336298 |     1249  10766 |        0 |        0
914.15/914.40	c  914s |      25 |  6900789 |  5347098 |     1249  10783 |        0 |        0
916.16/916.41	c  916s |      25 |  6914358 |  5358098 |     1249  10799 |        0 |        0
918.15/918.42	c  918s |      25 |  6927328 |  5368398 |     1249  10815 |        0 |        0
920.15/920.43	c  920s |      25 |  6939931 |  5378598 |     1249  10830 |        0 |        0
922.15/922.44	c  922s |      25 |  6950927 |  5388298 |     1249  10845 |        0 |        0
924.15/924.46	c  924s |      25 |  6963551 |  5398098 |     1249  10860 |        0 |        0
926.15/926.47	c  926s |      25 |  6976926 |  5408598 |     1249  10876 |        0 |        0
928.15/928.48	c  928s |      25 |  6990697 |  5419698 |     1249  10893 |        0 |        0
930.14/930.49	c  930s |      25 |  7003870 |  5430398 |     1249  10910 |        0 |        0
932.24/932.50	c  932s |      25 |  7017663 |  5441398 |     1249  10926 |        0 |        0
934.24/934.52	c  934s |      25 |  7031241 |  5452298 |     1249  10943 |        0 |        0
936.24/936.54	c  936s |      25 |  7043828 |  5462998 |     1249  10959 |        0 |        0
938.24/938.55	c  938s |      25 |  7056728 |  5473698 |     1249  10975 |        0 |        0
940.25/940.55	c  940s |      25 |  7071534 |  5485098 |     1249  10993 |        0 |        0
942.24/942.56	c  942s |      25 |  7085847 |  5496098 |     1249  11009 |        0 |        0
944.23/944.57	c  944s |      25 |  7098795 |  5506798 |     1249  11025 |        0 |        0
946.23/946.58	c  946s |      25 |  7111696 |  5517298 |     1249  11041 |        0 |        0
948.33/948.60	c  948s |      25 |  7124711 |  5527598 |     1249  11057 |        0 |        0
950.33/950.61	c  950s |      25 |  7137602 |  5538198 |     1249  11073 |        0 |        0
952.34/952.61	c  952s |      25 |  7151385 |  5549098 |     1249  11090 |        0 |        0
954.33/954.61	c  954s |      25 |  7164295 |  5559498 |     1249  11106 |        0 |        0
956.33/956.63	c  956s |      25 |  7176716 |  5569598 |     1249  11121 |        0 |        0
958.33/958.64	c  958s |      25 |  7188216 |  5579098 |     1249  11136 |        0 |        0
960.33/960.65	c  960s |      25 |  7200182 |  5589298 |     1249  11151 |        0 |        0
962.34/962.67	c  962s |      25 |  7211978 |  5599398 |     1249  11167 |        0 |        0
964.32/964.68	c  964s |      25 |  7223447 |  5609298 |     1249  11182 |        0 |        0
966.32/966.68	c  966s |      25 |  7235445 |  5619398 |     1249  11197 |        0 |        0
968.32/968.69	c  968s |      25 |  7247344 |  5629298 |     1249  11212 |        0 |        0
970.42/970.71	c  970s |      25 |  7259746 |  5639298 |     1249  11227 |        0 |        0
972.42/972.71	c  972s |      25 |  7272013 |  5649198 |     1249  11242 |        0 |        0
974.42/974.72	c  974s |      25 |  7283372 |  5658698 |     1249  11256 |        0 |        0
976.42/976.72	c  976s |      25 |  7296546 |  5669198 |     1249  11272 |        0 |        0
978.42/978.72	c  978s |      25 |  7309482 |  5679398 |     1249  11288 |        0 |        0
980.42/980.74	c  980s |      25 |  7322321 |  5689598 |     1249  11303 |        0 |        0
982.42/982.75	c  982s |      25 |  7335992 |  5700198 |     1249  11320 |        0 |        0
984.41/984.75	c  984s |      25 |  7350835 |  5711298 |     1249  11336 |        0 |        0
986.41/986.77	c  986s |      25 |  7365682 |  5722498 |     1249  11353 |        0 |        0
988.41/988.77	c  988s |      25 |  7379959 |  5733698 |     1249  11370 |        0 |        0
990.41/990.79	c  990s |      25 |  7394471 |  5744998 |     1249  11388 |        0 |        0
992.41/992.79	c  992s |      25 |  7409490 |  5756498 |     1249  11405 |        0 |        0
994.50/994.81	c  994s |      25 |  7422660 |  5767098 |     1249  11421 |        0 |        0
996.50/996.81	c  996s |      25 |  7435806 |  5777598 |     1249  11437 |        0 |        0
998.51/998.83	c  998s |      25 |  7449612 |  5788298 |     1249  11453 |        0 |        0
1000.50/1000.83	c 1000s |      25 |  7462867 |  5798598 |     1249  11469 |        0 |        0
1002.50/1002.85	c 1002s |      25 |  7475339 |  5808698 |     1249  11484 |        0 |        0
1004.49/1004.86	c 1004s |      25 |  7488462 |  5819698 |     1249  11501 |        0 |        0
1006.49/1006.87	c 1006s |      25 |  7501791 |  5830498 |     1249  11518 |        0 |        0
1008.50/1008.88	c 1008s |      25 |  7516091 |  5841298 |     1249  11534 |        0 |        0
1010.49/1010.89	c 1010s |      25 |  7528858 |  5851898 |     1249  11550 |        0 |        0
1012.60/1012.90	c 1012s |      25 |  7542106 |  5862298 |     1249  11566 |        0 |        0
1014.60/1014.91	c 1014s |      25 |  7558724 |  5874098 |     1249  11584 |        0 |        0
1016.59/1016.92	c 1016s |      25 |  7574384 |  5884898 |     1249  11601 |        0 |        0
1018.59/1018.94	c 1018s |      25 |  7587188 |  5895298 |     1249  11616 |        0 |        0
1020.60/1020.94	c 1020s |      25 |  7599875 |  5905998 |     1249  11633 |        0 |        0
1022.59/1022.95	c 1022s |      25 |  7614398 |  5917398 |     1249  11650 |        0 |        0
1024.59/1024.97	c 1024s |      25 |  7628057 |  5928298 |     1249  11667 |        0 |        0
1026.59/1026.97	c 1026s |      25 |  7640462 |  5938798 |     1249  11683 |        0 |        0
1028.59/1028.98	c 1028s |      25 |  7653097 |  5949398 |     1249  11699 |        0 |        0
1030.59/1030.98	c 1030s |      25 |  7667635 |  5960698 |     1249  11716 |        0 |        0
1032.59/1033.00	c 1032s |      25 |  7679779 |  5970698 |     1249  11732 |        0 |        0
1034.68/1035.00	c 1034s |      25 |  7692728 |  5980698 |     1249  11747 |        0 |        0
1036.68/1037.00	c 1036s |      25 |  7705964 |  5991298 |     1249  11763 |        0 |        0
1038.68/1039.00	c 1038s |      25 |  7718671 |  6001498 |     1249  11779 |        0 |        0
1040.68/1041.01	c 1040s |      25 |  7731881 |  6011998 |     1249  11795 |        0 |        0
1042.68/1043.01	c 1042s |      25 |  7745617 |  6022898 |     1249  11811 |        0 |        0
1044.68/1045.02	c 1045s |      25 |  7758805 |  6033298 |     1249  11827 |        0 |        0
1046.67/1047.02	c 1047s |      25 |  7771582 |  6043398 |     1249  11843 |        0 |        0
1048.67/1049.03	c 1049s |      25 |  7784029 |  6053498 |     1249  11858 |        0 |        0
1050.67/1051.05	c 1051s |      25 |  7797208 |  6064098 |     1249  11875 |        0 |        0
1052.67/1053.05	c 1053s |      25 |  7810391 |  6074998 |     1249  11891 |        0 |        0
1054.68/1055.07	c 1055s |      25 |  7823162 |  6085398 |     1249  11907 |        0 |        0
1056.67/1057.08	c 1057s |      25 |  7835810 |  6095698 |     1249  11923 |        0 |        0
1058.77/1059.10	c 1059s |      25 |  7848302 |  6106298 |     1249  11939 |        0 |        0
1060.77/1061.11	c 1061s |      25 |  7859817 |  6116398 |     1249  11954 |        0 |        0
1062.77/1063.12	c 1063s |      25 |  7870863 |  6126198 |     1249  11969 |        0 |        0
1064.76/1065.12	c 1065s |      25 |  7882977 |  6136198 |     1249  11984 |        0 |        0
1066.77/1067.13	c 1067s |      25 |  7894543 |  6146398 |     1249  12000 |        0 |        0
1068.76/1069.15	c 1069s |      25 |  7905863 |  6156198 |     1249  12014 |        0 |        0
1070.76/1071.17	c 1071s |      25 |  7918733 |  6166798 |     1249  12031 |        0 |        0
1072.76/1073.18	c 1073s |      25 |  7930618 |  6176698 |     1249  12046 |        0 |        0
1074.86/1075.20	c 1075s |      25 |  7941887 |  6186398 |     1249  12060 |        0 |        0
1076.86/1077.21	c 1077s |      25 |  7955000 |  6197298 |     1249  12077 |        0 |        0
1078.86/1079.23	c 1079s |      25 |  7969376 |  6208598 |     1249  12094 |        0 |        0
1080.86/1081.23	c 1081s |      25 |  7983672 |  6219698 |     1249  12111 |        0 |        0
1082.86/1083.24	c 1083s |      25 |  7996823 |  6230098 |     1249  12127 |        0 |        0
1084.85/1085.26	c 1085s |      25 |  8009205 |  6240398 |     1249  12142 |        0 |        0
1086.86/1087.28	c 1087s |      25 |  8021978 |  6250798 |     1249  12158 |        0 |        0
1088.86/1089.28	c 1089s |      25 |  8035644 |  6261498 |     1249  12175 |        0 |        0
1090.87/1091.28	c 1091s |      25 |  8048327 |  6271598 |     1249  12190 |        0 |        0
1092.86/1093.28	c 1093s |      25 |  8063318 |  6282598 |     1249  12207 |        0 |        0
1094.85/1095.29	c 1095s |      25 |  8077272 |  6293398 |     1249  12223 |        0 |        0
1096.85/1097.29	c 1097s |      25 |  8091710 |  6304398 |     1249  12240 |        0 |        0
1098.95/1099.30	c 1099s |      25 |  8105319 |  6315098 |     1249  12256 |        0 |        0
1100.95/1101.31	c 1101s |      25 |  8117984 |  6325298 |     1249  12271 |        0 |        0
1102.96/1103.32	c 1103s |      25 |  8133800 |  6336998 |     1249  12289 |        0 |        0
1104.95/1105.34	c 1105s |      25 |  8147944 |  6348198 |     1249  12306 |        0 |        0
1106.94/1107.34	c 1107s |      25 |  8161344 |  6359398 |     1249  12323 |        0 |        0
1108.94/1109.34	c 1109s |      25 |  8174835 |  6370798 |     1249  12341 |        0 |        0
1110.94/1111.35	c 1111s |      25 |  8188976 |  6382098 |     1249  12358 |        0 |        0
1112.95/1113.37	c 1113s |      25 |  8202890 |  6392998 |     1249  12375 |        0 |        0
1114.94/1115.38	c 1115s |      25 |  8216266 |  6403798 |     1249  12391 |        0 |        0
1116.94/1117.38	c 1117s |      25 |  8230762 |  6415198 |     1249  12408 |        0 |        0
1118.94/1119.39	c 1119s |      25 |  8243922 |  6425898 |     1249  12424 |        0 |        0
1120.94/1121.40	c 1121s |      25 |  8257799 |  6437098 |     1249  12441 |        0 |        0
1123.04/1123.41	c 1123s |      25 |  8272541 |  6448698 |     1249  12459 |        0 |        0
1125.04/1125.41	c 1125s |      25 |  8286643 |  6459698 |     1249  12476 |        0 |        0
1127.03/1127.42	c 1127s |      25 |  8300413 |  6470398 |     1249  12492 |        0 |        0
1129.03/1129.42	c 1129s |      25 |  8315971 |  6481998 |     1249  12510 |        0 |        0
1131.03/1131.43	c 1131s |      25 |  8332506 |  6493698 |     1249  12528 |        0 |        0
1133.03/1133.44	c 1133s |      25 |  8347968 |  6505798 |     1249  12546 |        0 |        0
1135.03/1135.44	c 1135s |      25 |  8362724 |  6517298 |     1249  12564 |        0 |        0
1137.03/1137.46	c 1137s |      25 |  8375350 |  6527698 |     1249  12580 |        0 |        0
1139.02/1139.47	c 1139s |      25 |  8388948 |  6538598 |     1249  12596 |        0 |        0
1141.03/1141.48	c 1141s |      25 |  8404083 |  6550298 |     1249  12614 |        0 |        0
1143.03/1143.48	c 1143s |      25 |  8418398 |  6561598 |     1249  12632 |        0 |        0
1145.03/1145.49	c 1145s |      25 |  8431315 |  6572298 |     1249  12648 |        0 |        0
1147.13/1147.50	c 1147s |      25 |  8444282 |  6582998 |     1249  12665 |        0 |        0
1149.13/1149.51	c 1149s |      25 |  8458623 |  6594098 |     1249  12682 |        0 |        0
1151.13/1151.52	c 1151s |      25 |  8473112 |  6604998 |     1249  12698 |        0 |        0
1153.12/1153.53	c 1153s |      25 |  8487247 |  6615898 |     1249  12715 |        0 |        0
1155.12/1155.54	c 1155s |      25 |  8500712 |  6626398 |     1249  12731 |        0 |        0
1157.12/1157.55	c 1157s |      25 |  8515420 |  6637698 |     1249  12749 |        0 |        0
1159.13/1159.56	c 1159s |      25 |  8533618 |  6649698 |     1249  12767 |        0 |        0
1161.12/1161.57	c 1161s |      25 |  8548920 |  6661498 |     1249  12785 |        0 |        0
1163.12/1163.59	c 1163s |      25 |  8563315 |  6672598 |     1249  12802 |        0 |        0
1165.21/1165.60	c 1165s |      25 |  8576598 |  6682998 |     1249  12818 |        0 |        0
1167.21/1167.61	c 1167s |      25 |  8591622 |  6694298 |     1249  12836 |        0 |        0
1169.21/1169.62	c 1169s |      25 |  8606534 |  6704898 |     1249  12852 |        0 |        0
1171.22/1171.62	c 1171s |      25 |  8624259 |  6715998 |     1249  12869 |        0 |        0
1173.21/1173.63	c 1173s |      25 |  8639140 |  6726698 |     1249  12885 |        0 |        0
1175.20/1175.64	c 1175s |      25 |  8652680 |  6737198 |     1249  12901 |        0 |        0
1177.20/1177.64	c 1177s |      25 |  8667362 |  6748898 |     1249  12919 |        0 |        0
1179.20/1179.65	c 1179s |      25 |  8684308 |  6760898 |     1249  12937 |        0 |        0
1181.20/1181.67	c 1181s |      25 |  8698976 |  6772398 |     1249  12955 |        0 |        0
1183.21/1183.68	c 1183s |      25 |  8714482 |  6784298 |     1249  12973 |        0 |        0
1185.20/1185.68	c 1185s |      25 |  8731235 |  6796298 |     1249  12992 |        0 |        0
1187.30/1187.70	c 1187s |      25 |  8747460 |  6808398 |     1249  13010 |        0 |        0
1189.30/1189.70	c 1189s |      25 |  8761309 |  6819198 |     1249  13027 |        0 |        0
1191.30/1191.72	c 1191s |      25 |  8776124 |  6830398 |     1249  13044 |        0 |        0
1193.30/1193.73	c 1193s |      25 |  8790997 |  6841598 |     1249  13061 |        0 |        0
1195.31/1195.74	c 1195s |      25 |  8805864 |  6852998 |     1249  13078 |        0 |        0
1197.30/1197.74	c 1197s |      25 |  8817930 |  6863498 |     1249  13094 |        0 |        0
1199.30/1199.75	c 1199s |      25 |  8830856 |  6874298 |     1249  13111 |        0 |        0
1201.30/1201.75	c 1201s |      25 |  8844431 |  6885498 |     1249  13128 |        0 |        0
1203.30/1203.75	c 1203s |      25 |  8857478 |  6896398 |     1249  13144 |        0 |        0
1205.30/1205.76	c 1205s |      25 |  8872099 |  6907998 |     1249  13162 |        0 |        0
1207.29/1207.77	c 1207s |      25 |  8884531 |  6918398 |     1249  13178 |        0 |        0
1209.29/1209.79	c 1209s |      25 |  8897525 |  6929198 |     1249  13194 |        0 |        0
1211.39/1211.80	c 1211s |      25 |  8912836 |  6940598 |     1249  13212 |        0 |        0
1213.39/1213.81	c 1213s |      25 |  8927183 |  6951598 |     1249  13229 |        0 |        0
1215.39/1215.82	c 1215s |      25 |  8940921 |  6962398 |     1249  13245 |        0 |        0
1217.39/1217.83	c 1217s |      25 |  8953655 |  6972598 |     1249  13261 |        0 |        0
1219.39/1219.83	c 1219s |      25 |  8969135 |  6984198 |     1249  13279 |        0 |        0
1221.38/1221.85	c 1221s |      25 |  8984141 |  6995698 |     1249  13296 |        0 |        0
1223.38/1223.85	c 1223s |      25 |  8998844 |  7006998 |     1249  13313 |        0 |        0
1225.38/1225.87	c 1225s |      25 |  9012773 |  7018198 |     1249  13330 |        0 |        0
1227.38/1227.88	c 1227s |      25 |  9025857 |  7028898 |     1249  13347 |        0 |        0
1229.39/1229.88	c 1229s |      25 |  9040180 |  7040098 |     1249  13364 |        0 |        0
1231.38/1231.88	c 1231s |      25 |  9053499 |  7051198 |     1249  13381 |        0 |        0
1233.37/1233.89	c 1233s |      25 |  9066013 |  7061798 |     1249  13397 |        0 |        0
1235.47/1235.91	c 1235s |      25 |  9079383 |  7072298 |     1249  13413 |        0 |        0
1237.47/1237.91	c 1237s |      25 |  9092400 |  7082798 |     1249  13429 |        0 |        0
1239.47/1239.92	c 1239s |      25 |  9106452 |  7094098 |     1249  13446 |        0 |        0
1241.48/1241.94	c 1241s |      25 |  9119462 |  7104298 |     1249  13462 |        0 |        0
1243.47/1243.95	c 1243s |      25 |  9132065 |  7114298 |     1249  13477 |        0 |        0
1245.47/1245.96	c 1245s |      25 |  9146697 |  7124998 |     1249  13493 |        0 |        0
1247.47/1247.97	c 1247s |      25 |  9160614 |  7135398 |     1249  13509 |        0 |        0
1249.47/1249.98	c 1249s |      25 |  9173423 |  7145598 |     1249  13525 |        0 |        0
1251.47/1251.99	c 1251s |      25 |  9186712 |  7155998 |     1249  13540 |        0 |        0
1253.57/1254.00	c 1253s |      25 |  9201010 |  7167698 |     1249  13558 |        0 |        0
1255.56/1256.02	c 1256s |      25 |  9214218 |  7179198 |     1249  13576 |        0 |        0
1257.56/1258.02	c 1258s |      25 |  9227481 |  7189998 |     1249  13593 |        0 |        0
1259.56/1260.03	c 1260s |      25 |  9240838 |  7200498 |     1249  13609 |        0 |        0
1261.56/1262.04	c 1262s |      25 |  9254479 |  7211498 |     1249  13626 |        0 |        0
1263.56/1264.05	c 1264s |      25 |  9266880 |  7221998 |     1249  13642 |        0 |        0
1265.55/1266.06	c 1266s |      25 |  9279528 |  7232698 |     1249  13658 |        0 |        0
1267.55/1268.07	c 1268s |      25 |  9291433 |  7243098 |     1249  13674 |        0 |        0
1269.55/1270.07	c 1270s |      25 |  9302895 |  7253298 |     1249  13689 |        0 |        0
1271.55/1272.08	c 1272s |      25 |  9313563 |  7262798 |     1249  13704 |        0 |        0
1273.55/1274.09	c 1274s |      25 |  9324979 |  7272298 |     1249  13718 |        0 |        0
1275.56/1276.10	c 1276s |      25 |  9336760 |  7281898 |     1249  13733 |        0 |        0
1277.65/1278.11	c 1278s |      25 |  9349131 |  7291898 |     1249  13748 |        0 |        0
1279.65/1280.13	c 1280s |      25 |  9360882 |  7301898 |     1249  13763 |        0 |        0
1281.65/1282.14	c 1282s |      25 |  9371973 |  7311298 |     1249  13777 |        0 |        0
1283.65/1284.15	c 1284s |      25 |  9383233 |  7320898 |     1249  13792 |        0 |        0
1285.65/1286.17	c 1286s |      25 |  9395676 |  7330798 |     1249  13807 |        0 |        0
1287.65/1288.19	c 1288s |      25 |  9407815 |  7340698 |     1249  13822 |        0 |        0
1289.74/1290.20	c 1290s |      25 |  9419501 |  7350198 |     1249  13837 |        0 |        0
1291.74/1292.22	c 1292s |      25 |  9433270 |  7360598 |     1249  13852 |        0 |        0
1293.74/1294.22	c 1294s |      25 |  9446805 |  7371398 |     1249  13869 |        0 |        0
1295.74/1296.23	c 1296s |      25 |  9460568 |  7382198 |     1249  13885 |        0 |        0
1297.74/1298.24	c 1298s |      25 |  9474920 |  7393798 |     1249  13903 |        0 |        0
1299.75/1300.25	c 1300s |      25 |  9488989 |  7404998 |     1249  13920 |        0 |        0
1301.75/1302.27	c 1302s |      25 |  9501430 |  7415498 |     1249  13936 |        0 |        0
1303.74/1304.28	c 1304s |      25 |  9514700 |  7426198 |     1249  13953 |        0 |        0
1305.84/1306.30	c 1306s |      25 |  9527789 |  7437198 |     1249  13970 |        0 |        0
1307.84/1308.30	c 1308s |      25 |  9540176 |  7447898 |     1249  13986 |        0 |        0
1309.84/1310.31	c 1310s |      25 |  9553118 |  7458698 |     1249  14003 |        0 |        0
1311.85/1312.32	c 1312s |      25 |  9566128 |  7469598 |     1249  14019 |        0 |        0
1313.84/1314.33	c 1314s |      25 |  9579639 |  7480498 |     1249  14036 |        0 |        0
1315.84/1316.33	c 1316s |      25 |  9592224 |  7491098 |     1249  14052 |        0 |        0
1317.84/1318.35	c 1318s |      25 |  9605779 |  7501898 |     1249  14069 |        0 |        0
1319.84/1320.35	c 1320s |      25 |  9618578 |  7512698 |     1249  14086 |        0 |        0
1321.84/1322.35	c 1322s |      25 |  9631619 |  7523598 |     1249  14102 |        0 |        0
1323.83/1324.36	c 1324s |      25 |  9643226 |  7533698 |     1249  14118 |        0 |        0
1325.83/1326.36	c 1326s |      25 |  9657126 |  7544598 |     1374  14134 |        0 |        0
1327.83/1328.37	c 1328s |      25 |  9671675 |  7555498 |     1374  14149 |        0 |        0
1329.83/1330.39	c 1330s |      25 |  9683654 |  7565498 |     1374  14163 |        0 |        0
1331.83/1332.39	c 1332s |      25 |  9696848 |  7575998 |     1374  14178 |        0 |        0
1333.84/1334.40	c 1334s |      25 |  9711307 |  7586998 |     1374  14193 |        0 |        0
1335.93/1336.40	c 1336s |      25 |  9725694 |  7597598 |     1374  14208 |        0 |        0
1335.93/1336.43	c 1336s |      26 |  9725934 |  7597752 |     1374  14208 |        0 |        0
1337.93/1338.44	c 1338s |      26 |  9741008 |  7608852 |     1374  14224 |        0 |        0
1339.93/1340.45	c 1340s |      26 |  9754883 |  7619552 |     1374  14239 |        0 |        0
1341.93/1342.47	c 1342s |      26 |  9768198 |  7630152 |     1374  14253 |        0 |        0
1343.93/1344.47	c 1344s |      26 |  9780718 |  7640252 |     1374  14268 |        0 |        0
1345.94/1346.47	c 1346s |      26 |  9794552 |  7650952 |     1374  14283 |        0 |        0
1347.93/1348.49	c 1348s |      26 |  9808244 |  7661852 |     1374  14298 |        0 |        0
1350.03/1350.51	c 1350s |      26 |  9822313 |  7672752 |     1374  14313 |        0 |        0
1352.03/1352.51	c 1352s |      26 |  9835703 |  7683752 |     1374  14329 |        0 |        0
1354.03/1354.51	c 1354s |      26 |  9847945 |  7694052 |     1374  14343 |        0 |        0
1356.03/1356.53	c 1356s |      26 |  9861532 |  7705152 |     1374  14359 |        0 |        0
1358.03/1358.53	c 1358s |      26 |  9876590 |  7716552 |     1374  14375 |        0 |        0
1360.03/1360.54	c 1360s |      26 |  9890008 |  7727652 |     1374  14390 |        0 |        0
1362.03/1362.54	c 1362s |      26 |  9903577 |  7738752 |     1374  14406 |        0 |        0
1364.02/1364.55	c 1364s |      26 |  9917984 |  7750652 |     1374  14422 |        0 |        0
1366.02/1366.56	c 1366s |      26 |  9932722 |  7762452 |     1374  14439 |        0 |        0
1368.03/1368.57	c 1368s |      26 |  9945397 |  7773052 |     1374  14454 |        0 |        0
1370.02/1370.57	c 1370s |      26 |  9959169 |  7783652 |     1374  14468 |        0 |        0
1372.02/1372.57	c 1372s |      26 |  9972946 |  7794252 |     1374  14483 |        0 |        0
1374.02/1374.59	c 1374s |      26 |  9987666 |  7805652 |     1374  14499 |        0 |        0
1376.12/1376.60	c 1376s |      26 | 10001082 |  7816652 |     1374  14514 |        0 |        0
1378.12/1378.62	c 1378s |      26 | 10014379 |  7827352 |     1374  14529 |        0 |        0
1380.13/1380.62	c 1380s |      26 | 10028130 |  7838152 |     1374  14544 |        0 |        0
1382.12/1382.62	c 1382s |      26 | 10043234 |  7849452 |     1374  14560 |        0 |        0
1384.12/1384.63	c 1384s |      26 | 10055858 |  7860052 |     1374  14575 |        0 |        0
1386.12/1386.65	c 1386s |      26 | 10069881 |  7871552 |     1374  14591 |        0 |        0
1388.12/1388.65	c 1388s |      26 | 10085354 |  7883352 |     1374  14608 |        0 |        0
1390.12/1390.65	c 1390s |      26 | 10101697 |  7895352 |     1374  14624 |        0 |        0
1392.12/1392.67	c 1392s |      26 | 10116762 |  7907452 |     1374  14641 |        0 |        0
1394.12/1394.68	c 1394s |      26 | 10131651 |  7918952 |     1374  14657 |        0 |        0
1396.12/1396.69	c 1396s |      26 | 10146315 |  7929852 |     1374  14673 |        0 |        0
1398.12/1398.69	c 1398s |      26 | 10159563 |  7940452 |     1374  14687 |        0 |        0
1400.22/1400.70	c 1400s |      26 | 10172208 |  7951052 |     1374  14702 |        0 |        0
1402.22/1402.70	c 1402s |      26 | 10184193 |  7961252 |     1374  14716 |        0 |        0
1404.23/1404.71	c 1404s |      26 | 10196337 |  7971552 |     1374  14731 |        0 |        0
1406.22/1406.72	c 1406s |      26 | 10209494 |  7982652 |     1374  14746 |        0 |        0
1408.22/1408.72	c 1408s |      26 | 10222810 |  7993752 |     1374  14761 |        0 |        0
1410.22/1410.73	c 1410s |      26 | 10235999 |  8004652 |     1374  14777 |        0 |        0
1412.22/1412.74	c 1412s |      26 | 10248978 |  8014952 |     1374  14791 |        0 |        0
1414.22/1414.77	c 1414s |      26 | 10260893 |  8024752 |     1374  14805 |        0 |        0
1416.22/1416.78	c 1416s |      26 | 10273345 |  8034852 |     1374  14819 |        0 |        0
1418.32/1418.80	c 1418s |      26 | 10284908 |  8044652 |     1374  14832 |        0 |        0
1420.32/1420.81	c 1420s |      26 | 10296221 |  8054152 |     1374  14845 |        0 |        0
1422.31/1422.82	c 1422s |      26 | 10308305 |  8064452 |     1374  14860 |        0 |        0
1424.31/1424.82	c 1424s |      26 | 10321472 |  8075452 |     1374  14875 |        0 |        0
1426.32/1426.83	c 1426s |      26 | 10335026 |  8086852 |     1374  14891 |        0 |        0
1428.31/1428.84	c 1428s |      26 | 10349227 |  8098252 |     1374  14907 |        0 |        0
1430.31/1430.85	c 1430s |      26 | 10363386 |  8109652 |     1374  14923 |        0 |        0
1432.31/1432.87	c 1432s |      26 | 10377781 |  8120852 |     1374  14939 |        0 |        0
1434.31/1434.87	c 1434s |      26 | 10390651 |  8131652 |     1374  14954 |        0 |        0
1436.31/1436.88	c 1436s |      26 | 10405235 |  8143152 |     1374  14970 |        0 |        0
1438.32/1438.89	c 1438s |      26 | 10418811 |  8154052 |     1374  14985 |        0 |        0
1440.31/1440.89	c 1440s |      26 | 10433044 |  8165052 |     1374  15000 |        0 |        0
1442.41/1442.90	c 1442s |      26 | 10446936 |  8176352 |     1374  15016 |        0 |        0
1444.41/1444.92	c 1444s |      26 | 10461321 |  8187652 |     1374  15032 |        0 |        0
1446.41/1446.93	c 1446s |      26 | 10476222 |  8199052 |     1374  15048 |        0 |        0
1448.41/1448.94	c 1448s |      26 | 10489972 |  8209652 |     1374  15063 |        0 |        0
1450.42/1450.94	c 1450s |      26 | 10504162 |  8220552 |     1374  15078 |        0 |        0
1452.41/1452.95	c 1452s |      26 | 10519530 |  8232052 |     1374  15094 |        0 |        0
1454.41/1454.97	c 1454s |      26 | 10534638 |  8243352 |     1374  15110 |        0 |        0
1456.41/1456.98	c 1456s |      26 | 10548029 |  8253952 |     1374  15125 |        0 |        0
1458.41/1458.99	c 1458s |      26 | 10560837 |  8264352 |     1374  15139 |        0 |        0
1460.41/1461.00	c 1460s |      26 | 10573670 |  8274852 |     1374  15154 |        0 |        0
1462.41/1463.00	c 1462s |      26 | 10586884 |  8285752 |     1374  15169 |        0 |        0
1464.51/1465.02	c 1465s |      26 | 10601284 |  8296752 |     1374  15185 |        0 |        0
1466.51/1467.03	c 1467s |      26 | 10617041 |  8308052 |     1374  15200 |        0 |        0
1468.51/1469.04	c 1469s |      26 | 10632450 |  8319352 |     1374  15216 |        0 |        0
1470.51/1471.04	c 1471s |      26 | 10646367 |  8330152 |     1374  15231 |        0 |        0
1472.51/1473.05	c 1473s |      26 | 10658698 |  8340352 |     1374  15246 |        0 |        0
1474.50/1475.06	c 1475s |      26 | 10673547 |  8351952 |     1374  15262 |        0 |        0
1476.51/1477.07	c 1477s |      26 | 10687616 |  8363952 |     1374  15278 |        0 |        0
1478.51/1479.07	c 1479s |      26 | 10702263 |  8376052 |     1374  15295 |        0 |        0
1480.51/1481.08	c 1481s |      26 | 10716821 |  8387752 |     1374  15312 |        0 |        0
1482.51/1483.08	c 1483s |      26 | 10730412 |  8398952 |     1374  15327 |        0 |        0
1484.52/1485.09	c 1485s |      26 | 10743995 |  8410252 |     1374  15343 |        0 |        0
1486.51/1487.09	c 1487s |      26 | 10756310 |  8420852 |     1374  15358 |        0 |        0
1488.61/1489.10	c 1489s |      26 | 10771340 |  8432452 |     1374  15374 |        0 |        0
1490.61/1491.10	c 1491s |      26 | 10786287 |  8444052 |     1374  15391 |        0 |        0
1492.61/1493.12	c 1493s |      26 | 10801608 |  8455752 |     1374  15407 |        0 |        0
1494.61/1495.12	c 1495s |      26 | 10814929 |  8466252 |     1374  15421 |        0 |        0
1496.61/1497.13	c 1497s |      26 | 10827429 |  8476652 |     1374  15436 |        0 |        0
1498.61/1499.14	c 1499s |      26 | 10841567 |  8487752 |     1374  15451 |        0 |        0
1500.61/1501.15	c 1501s |      26 | 10856003 |  8498952 |     1374  15467 |        0 |        0
1502.61/1503.16	c 1503s |      26 | 10868644 |  8509352 |     1374  15481 |        0 |        0
1504.61/1505.17	c 1505s |      26 | 10880706 |  8519352 |     1374  15495 |        0 |        0
1506.61/1507.18	c 1507s |      26 | 10892856 |  8529452 |     1374  15509 |        0 |        0
1508.60/1509.19	c 1509s |      26 | 10904169 |  8538952 |     1374  15523 |        0 |        0
1510.70/1511.20	c 1511s |      26 | 10917382 |  8549352 |     1374  15537 |        0 |        0
1512.70/1513.20	c 1513s |      26 | 10928999 |  8559352 |     1374  15551 |        0 |        0
1514.70/1515.22	c 1515s |      26 | 10940817 |  8569152 |     1374  15564 |        0 |        0
1516.70/1517.23	c 1517s |      26 | 10952091 |  8578752 |     1374  15578 |        0 |        0
1518.71/1519.25	c 1519s |      26 | 10963666 |  8588652 |     1374  15592 |        0 |        0
1520.70/1521.25	c 1521s |      26 | 10975276 |  8598552 |     1374  15605 |        0 |        0
1522.70/1523.25	c 1523s |      26 | 10987540 |  8608752 |     1374  15620 |        0 |        0
1524.70/1525.26	c 1525s |      26 | 11000899 |  8619752 |     1374  15635 |        0 |        0
1526.70/1527.26	c 1527s |      26 | 11014525 |  8630552 |     1374  15650 |        0 |        0
1528.70/1529.28	c 1529s |      26 | 11027560 |  8641152 |     1374  15665 |        0 |        0
1530.70/1531.30	c 1531s |      26 | 11040046 |  8651552 |     1374  15679 |        0 |        0
1532.80/1533.32	c 1533s |      26 | 11051832 |  8661452 |     1374  15693 |        0 |        0
1534.80/1535.34	c 1535s |      26 | 11063250 |  8671252 |     1374  15707 |        0 |        0
1536.80/1537.36	c 1537s |      26 | 11074421 |  8681152 |     1374  15720 |        0 |        0
1538.80/1539.37	c 1539s |      26 | 11086768 |  8691552 |     1374  15735 |        0 |        0
1540.80/1541.38	c 1541s |      26 | 11099088 |  8701752 |     1374  15749 |        0 |        0
1542.81/1543.40	c 1543s |      26 | 11110591 |  8711552 |     1374  15762 |        0 |        0
1544.90/1545.41	c 1545s |      26 | 11121723 |  8720852 |     1374  15775 |        0 |        0
1546.90/1547.42	c 1547s |      26 | 11133078 |  8730452 |     1374  15789 |        0 |        0
1548.90/1549.43	c 1549s |      26 | 11143348 |  8739652 |     1374  15801 |        0 |        0
1550.90/1551.44	c 1551s |      26 | 11156440 |  8750052 |     1374  15816 |        0 |        0
1552.90/1553.44	c 1553s |      26 | 11170583 |  8760652 |     1374  15831 |        0 |        0
1554.91/1555.45	c 1555s |      26 | 11184539 |  8771652 |     1374  15846 |        0 |        0
1556.90/1557.46	c 1557s |      26 | 11199257 |  8783152 |     1374  15862 |        0 |        0
1558.90/1559.46	c 1559s |      26 | 11214252 |  8794652 |     1374  15878 |        0 |        0
1560.90/1561.47	c 1561s |      26 | 11226279 |  8804452 |     1374  15892 |        0 |        0
1562.90/1563.47	c 1563s |      26 | 11238503 |  8814952 |     1374  15906 |        0 |        0
1564.91/1565.48	c 1565s |      26 | 11251514 |  8825752 |     1374  15922 |        0 |        0
1566.90/1567.49	c 1567s |      26 | 11265080 |  8836952 |     1374  15937 |        0 |        0
1569.00/1569.50	c 1569s |      26 | 11277995 |  8847352 |     1374  15952 |        0 |        0
1571.00/1571.51	c 1571s |      26 | 11289509 |  8857152 |     1374  15965 |        0 |        0
1572.99/1573.52	c 1573s |      26 | 11301055 |  8867052 |     1374  15979 |        0 |        0
1574.99/1575.54	c 1575s |      26 | 11313797 |  8877252 |     1374  15993 |        0 |        0
1577.00/1577.54	c 1577s |      26 | 11326305 |  8888052 |     1374  16009 |        0 |        0
1578.99/1579.55	c 1579s |      26 | 11339252 |  8898852 |     1374  16024 |        0 |        0
1580.99/1581.55	c 1581s |      26 | 11351495 |  8909152 |     1374  16038 |        0 |        0
1582.99/1583.56	c 1583s |      26 | 11363739 |  8919452 |     1374  16053 |        0 |        0
1584.99/1585.57	c 1585s |      26 | 11376422 |  8929852 |     1374  16067 |        0 |        0
1586.99/1587.59	c 1587s |      26 | 11388001 |  8939652 |     1374  16081 |        0 |        0
1589.10/1589.61	c 1589s |      26 | 11399031 |  8949252 |     1374  16094 |        0 |        0
1591.09/1591.61	c 1591s |      26 | 11410047 |  8958852 |     1374  16107 |        0 |        0
1593.09/1593.63	c 1593s |      26 | 11422854 |  8969452 |     1374  16122 |        0 |        0
1595.09/1595.63	c 1595s |      26 | 11435063 |  8979852 |     1374  16137 |        0 |        0
1597.09/1597.64	c 1597s |      26 | 11447600 |  8990352 |     1374  16152 |        0 |        0
1599.09/1599.64	c 1599s |      26 | 11460126 |  9000652 |     1374  16166 |        0 |        0
1601.09/1601.65	c 1601s |      26 | 11471777 |  9010552 |     1374  16181 |        0 |        0
1603.09/1603.65	c 1603s |      26 | 11484563 |  9021052 |     1374  16195 |        0 |        0
1605.09/1605.66	c 1605s |      26 | 11496213 |  9031252 |     1374  16210 |        0 |        0
1607.08/1607.67	c 1607s |      26 | 11509514 |  9042452 |     1374  16225 |        0 |        0
1609.08/1609.68	c 1609s |      26 | 11523382 |  9053752 |     1374  16241 |        0 |        0
1611.09/1611.69	c 1611s |      26 | 11536805 |  9064752 |     1374  16256 |        0 |        0
1613.19/1613.71	c 1613s |      26 | 11549129 |  9075352 |     1374  16271 |        0 |        0
1615.18/1615.73	c 1615s |      26 | 11563008 |  9086352 |     1374  16287 |        0 |        0
1617.19/1617.74	c 1617s |      26 | 11576030 |  9097152 |     1374  16302 |        0 |        0
1619.19/1619.76	c 1619s |      26 | 11589006 |  9107952 |     1374  16317 |        0 |        0
1621.19/1621.77	c 1621s |      26 | 11599900 |  9117752 |     1374  16330 |        0 |        0
1623.20/1623.77	c 1623s |      26 | 11611583 |  9127652 |     1374  16344 |        0 |        0
1625.19/1625.79	c 1625s |      26 | 11623195 |  9137852 |     1374  16359 |        0 |        0
1627.29/1627.81	c 1627s |      26 | 11635076 |  9147852 |     1374  16373 |        0 |        0
1629.29/1629.82	c 1629s |      26 | 11647068 |  9157952 |     1374  16387 |        0 |        0
1631.29/1631.84	c 1631s |      26 | 11659857 |  9167752 |     1374  16400 |        0 |        0
1633.29/1633.84	c 1633s |      26 | 11673108 |  9177952 |     1374  16414 |        0 |        0
1635.29/1635.85	c 1635s |      26 | 11684947 |  9187952 |     1374  16428 |        0 |        0
1637.29/1637.87	c 1637s |      26 | 11696391 |  9197352 |     1374  16441 |        0 |        0
1639.28/1639.88	c 1639s |      26 | 11708683 |  9207152 |     1374  16455 |        0 |        0
1641.28/1641.88	c 1641s |      26 | 11722350 |  9217952 |     1374  16470 |        0 |        0
1643.28/1643.89	c 1643s |      26 | 11734921 |  9228352 |     1374  16484 |        0 |        0
1645.28/1645.89	c 1645s |      26 | 11747348 |  9238652 |     1374  16499 |        0 |        0
1647.39/1647.91	c 1647s |      26 | 11758148 |  9247952 |     1374  16511 |        0 |        0
1649.38/1649.93	c 1649s |      26 | 11768439 |  9256952 |     1374  16524 |        0 |        0
1651.38/1651.93	c 1651s |      26 | 11778979 |  9265952 |     1374  16536 |        0 |        0
1653.38/1653.94	c 1653s |      26 | 11792669 |  9276852 |     1374  16552 |        0 |        0
1655.38/1655.94	c 1655s |      26 | 11805554 |  9287352 |     1374  16566 |        0 |        0
1657.38/1657.96	c 1657s |      26 | 11818174 |  9297852 |     1374  16581 |        0 |        0
1659.39/1659.96	c 1659s |      26 | 11830682 |  9308152 |     1374  16595 |        0 |        0
1661.38/1661.98	c 1661s |      26 | 11841884 |  9317652 |     1374  16608 |        0 |        0
1663.48/1664.00	c 1663s |      26 | 11853997 |  9327852 |     1374  16622 |        0 |        0
1665.48/1666.01	c 1665s |      26 | 11865948 |  9338052 |     1374  16637 |        0 |        0
1667.48/1668.02	c 1668s |      26 | 11878663 |  9348752 |     1374  16652 |        0 |        0
1669.48/1670.02	c 1670s |      26 | 11892786 |  9360052 |     1374  16668 |        0 |        0
1671.48/1672.03	c 1672s |      26 | 11905717 |  9370852 |     1374  16683 |        0 |        0
1673.48/1674.03	c 1674s |      26 | 11917851 |  9380952 |     1374  16697 |        0 |        0
1675.48/1676.05	c 1676s |      26 | 11929846 |  9390752 |     1374  16710 |        0 |        0
1677.47/1678.05	c 1678s |      26 | 11941951 |  9400952 |     1374  16724 |        0 |        0
1679.47/1680.05	c 1680s |      26 | 11954522 |  9411652 |     1374  16739 |        0 |        0
1681.48/1682.06	c 1682s |      26 | 11966968 |  9421952 |     1374  16754 |        0 |        0
1683.47/1684.08	c 1684s |      26 | 11978445 |  9431852 |     1374  16768 |        0 |        0
1685.47/1686.09	c 1686s |      26 | 11991020 |  9442152 |     1374  16782 |        0 |        0
1687.57/1688.11	c 1688s |      26 | 12003688 |  9452452 |     1374  16796 |        0 |        0
1689.57/1690.11	c 1690s |      26 | 12016273 |  9462452 |     1374  16810 |        0 |        0
1691.57/1692.13	c 1692s |      26 | 12027899 |  9472152 |     1374  16824 |        0 |        0
1693.59/1694.14	c 1694s |      26 | 12039345 |  9481852 |     1374  16837 |        0 |        0
1695.58/1696.16	c 1696s |      26 | 12051658 |  9491752 |     1374  16851 |        0 |        0
1697.58/1698.17	c 1698s |      26 | 12064934 |  9502352 |     1374  16866 |        0 |        0
1699.58/1700.18	c 1700s |      26 | 12078695 |  9513452 |     1374  16881 |        0 |        0
1701.58/1702.19	c 1702s |      26 | 12093106 |  9524552 |     1374  16897 |        0 |        0
1703.68/1704.21	c 1704s |      26 | 12106708 |  9535452 |     1374  16912 |        0 |        0
1705.68/1706.23	c 1706s |      26 | 12119111 |  9545752 |     1374  16926 |        0 |        0
1707.68/1708.24	c 1708s |      26 | 12131914 |  9556252 |     1374  16941 |        0 |        0
1709.68/1710.25	c 1710s |      26 | 12145811 |  9567252 |     1374  16956 |        0 |        0
1711.68/1712.25	c 1712s |      26 | 12159506 |  9577952 |     1374  16971 |        0 |        0
1713.68/1714.25	c 1714s |      26 | 12173964 |  9589252 |     1374  16987 |        0 |        0
1715.68/1716.27	c 1716s |      26 | 12187810 |  9600352 |     1374  17002 |        0 |        0
1717.68/1718.28	c 1718s |      26 | 12201922 |  9611552 |     1374  17018 |        0 |        0
1719.67/1720.29	c 1720s |      26 | 12217688 |  9623352 |     1374  17035 |        0 |        0
1721.67/1722.29	c 1722s |      26 | 12230044 |  9633752 |     1374  17049 |        0 |        0
1723.77/1724.30	c 1724s |      26 | 12242356 |  9644052 |     1374  17064 |        0 |        0
1725.77/1726.31	c 1726s |      26 | 12255668 |  9655152 |     1374  17079 |        0 |        0
1727.77/1728.33	c 1728s |      26 | 12269365 |  9666552 |     1374  17095 |        0 |        0
1729.78/1730.34	c 1730s |      26 | 12283796 |  9677452 |     1374  17110 |        0 |        0
1731.77/1732.36	c 1732s |      26 | 12297056 |  9688352 |     1374  17126 |        0 |        0
1733.77/1734.37	c 1734s |      26 | 12311354 |  9699152 |     1374  17141 |        0 |        0
1735.77/1736.38	c 1736s |      26 | 12324183 |  9709552 |     1374  17155 |        0 |        0
1737.77/1738.38	c 1738s |      26 | 12337927 |  9720152 |     1374  17170 |        0 |        0
1739.77/1740.39	c 1740s |      26 | 12350376 |  9730452 |     1374  17184 |        0 |        0
1741.77/1742.39	c 1742s |      26 | 12362590 |  9740852 |     1374  17199 |        0 |        0
1743.87/1744.40	c 1744s |      26 | 12376562 |  9751452 |     1374  17214 |        0 |        0
1745.87/1746.42	c 1746s |      26 | 12392040 |  9762252 |     1374  17229 |        0 |        0
1747.87/1748.42	c 1748s |      26 | 12407056 |  9773252 |     1374  17244 |        0 |        0
1749.87/1750.44	c 1750s |      26 | 12420643 |  9783952 |     1374  17259 |        0 |        0
1751.87/1752.45	c 1752s |      26 | 12434113 |  9794852 |     1374  17275 |        0 |        0
1753.86/1754.46	c 1754s |      26 | 12446052 |  9804852 |     1374  17289 |        0 |        0
1755.86/1756.47	c 1756s |      26 | 12457891 |  9814852 |     1374  17303 |        0 |        0
1757.86/1758.48	c 1758s |      26 | 12470085 |  9824652 |     1374  17316 |        0 |        0
1759.86/1760.48	c 1760s |      26 | 12482023 |  9834652 |     1374  17330 |        0 |        0
1761.86/1762.49	c 1762s |      26 | 12494453 |  9845052 |     1374  17345 |        0 |        0
1763.87/1764.49	c 1764s |      26 | 12508390 |  9856152 |     1374  17360 |        0 |        0
1765.96/1766.50	c 1766s |      26 | 12520928 |  9866552 |     1374  17375 |        0 |        0
1767.96/1768.51	c 1768s |      26 | 12533348 |  9876952 |     1374  17389 |        0 |        0
1769.96/1770.52	c 1770s |      26 | 12545860 |  9887252 |     1374  17404 |        0 |        0
1771.96/1772.54	c 1772s |      26 | 12557819 |  9897252 |     1374  17418 |        0 |        0
1773.96/1774.56	c 1774s |      26 | 12568573 |  9906652 |     1374  17431 |        0 |        0
1775.97/1776.56	c 1776s |      26 | 12579186 |  9915852 |     1374  17443 |        0 |        0
1777.96/1778.57	c 1778s |      26 | 12590987 |  9925752 |     1374  17457 |        0 |        0
1779.96/1780.57	c 1780s |      26 | 12602866 |  9935752 |     1374  17471 |        0 |        0
1781.96/1782.59	c 1782s |      26 | 12614492 |  9945552 |     1374  17485 |        0 |        0
1784.06/1784.60	c 1784s |      26 | 12625181 |  9954852 |     1374  17498 |        0 |        0
1786.06/1786.60	c 1786s |      26 | 12636455 |  9964452 |     1374  17511 |        0 |        0
1788.06/1788.61	c 1788s |      26 | 12648375 |  9974552 |     1374  17525 |        0 |        0
1790.06/1790.61	c 1790s |      26 | 12661105 |  9984952 |     1374  17540 |        0 |        0
1792.06/1792.61	c 1792s |      26 | 12673770 |  9995552 |     1374  17554 |        0 |        0
1794.06/1794.62	c 1794s |      26 | 12686756 | 10006352 |     1374  17569 |        0 |        0
1796.06/1796.62	c 1796s |      26 | 12698827 | 10016552 |     1374  17584 |        0 |        0
1798.06/1798.63	c 1798s |      26 | 12710446 | 10026652 |     1374  17598 |        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-4095896-1466098211/watcher-4095896-1466098211 -o /tmp/evaluation-result-4095896-1466098211/solver-4095896-1466098211 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node134-1466098211-20849 --watchdog 1960 toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4095896-1466098211.opb 

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

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


[startup+0 s]
/proc/loadavg: 1.54 2.06 2.13 2/175 20874
/proc/meminfo: memFree=30335440/32872528 swapFree=1481856/1661728
[pid=20874] ppid=20869 vsize=636348 CPUtime=0 cores=1,3,5,7
/proc/20874/stat : 20874 (toysat) R 20869 20874 20832 0 -1 4202496 2356 0 0 0 0 0 0 0 20 0 4 0 11867566 651620352 3228 33554432000 4194304 16246674 140737252687728 140737252687152 13880264 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/20874/statm: 159599 3238 441 2943 0 156493 0
[pid=20874/tid=20875] ppid=20869 vsize=653756 CPUtime=0 cores=1,3,5,7
/proc/20874/task/20875/stat : 20875 (toysat) S 20869 20874 20832 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 11867566 669446144 3297 33554432000 4194304 16246674 140737252687728 140696514178288 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=20874/tid=20876] ppid=20869 vsize=657852 CPUtime=0 cores=1,3,5,7
/proc/20874/task/20876/stat : 20876 (toysat) S 20869 20874 20832 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 11867566 673640448 3312 33554432000 4194304 16246674 140737252687728 140696503688432 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=20874/tid=20878] ppid=20869 vsize=661948 CPUtime=0 cores=1,3,5,7
/proc/20874/task/20878/stat : 20878 (toysat) S 20869 20874 20832 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 11867566 677834752 3330 33554432000 4194304 16246674 140737252687728 140696417725616 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0

[startup+0.100044 s]
/proc/loadavg: 1.54 2.06 2.13 2/175 20874
/proc/meminfo: memFree=30335440/32872528 swapFree=1481856/1661728
[pid=20874] ppid=20869 vsize=1218116 CPUtime=0.09 cores=1,3,5,7
/proc/20874/stat : 20874 (toysat) R 20869 20874 20832 0 -1 4202496 24551 0 0 0 6 3 0 0 20 0 4 0 11867566 1247350784 25411 33554432000 4194304 16246674 140737252687728 140737252670720 5675357 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/20874/statm: 304529 25418 707 2943 0 301423 0
[pid=20874/tid=20875] ppid=20869 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/20874/task/20875/stat : 20875 (toysat) S 20869 20874 20832 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 11867566 1247350784 25424 33554432000 4194304 16246674 140737252687728 140696514178288 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=20874/tid=20876] ppid=20869 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/20874/task/20876/stat : 20876 (toysat) S 20869 20874 20832 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 11867566 1247350784 25432 33554432000 4194304 16246674 140737252687728 140696503688432 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=20874/tid=20878] ppid=20869 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/20874/task/20878/stat : 20878 (toysat) S 20869 20874 20832 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 11867566 1247350784 25437 33554432000 4194304 16246674 140737252687728 140696417725616 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 1218116

[startup+0.200428 s]
/proc/loadavg: 1.54 2.06 2.13 2/175 20874
/proc/meminfo: memFree=30335440/32872528 swapFree=1481856/1661728
[pid=20874] ppid=20869 vsize=1218116 CPUtime=0.19 cores=1,3,5,7
/proc/20874/stat : 20874 (toysat) R 20869 20874 20832 0 -1 4202496 48407 0 0 0 14 5 0 0 20 0 4 0 11867566 1247350784 49267 33554432000 4194304 16246674 140737252687728 140737252670720 5669490 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/20874/statm: 304529 49275 707 2943 0 301423 0
[pid=20874/tid=20875] ppid=20869 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/20874/task/20875/stat : 20875 (toysat) S 20869 20874 20832 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 11867566 1247350784 49280 33554432000 4194304 16246674 140737252687728 140696514178288 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=20874/tid=20876] ppid=20869 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/20874/task/20876/stat : 20876 (toysat) S 20869 20874 20832 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 11867566 1247350784 49287 33554432000 4194304 16246674 140737252687728 140696503688432 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=20874/tid=20878] ppid=20869 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/20874/task/20878/stat : 20878 (toysat) S 20869 20874 20832 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 11867566 1247350784 49295 33554432000 4194304 16246674 140737252687728 140696417725616 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 1218116

[startup+0.300377 s]
/proc/loadavg: 1.54 2.06 2.13 2/175 20874
/proc/meminfo: memFree=30335440/32872528 swapFree=1481856/1661728
[pid=20874] ppid=20869 vsize=1218116 CPUtime=0.29 cores=1,3,5,7
/proc/20874/stat : 20874 (toysat) R 20869 20874 20832 0 -1 4202496 71961 0 0 0 20 9 0 0 20 0 4 0 11867566 1247350784 72821 33554432000 4194304 16246674 140737252687728 140737252670720 13954518 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/20874/statm: 304529 72829 708 2943 0 301423 0
[pid=20874/tid=20875] ppid=20869 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/20874/task/20875/stat : 20875 (toysat) S 20869 20874 20832 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 11867566 1247350784 72834 33554432000 4194304 16246674 140737252687728 140696514178288 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=20874/tid=20876] ppid=20869 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/20874/task/20876/stat : 20876 (toysat) S 20869 20874 20832 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 11867566 1247350784 72841 33554432000 4194304 16246674 140737252687728 140696503688432 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=20874/tid=20878] ppid=20869 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/20874/task/20878/stat : 20878 (toysat) S 20869 20874 20832 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 11867566 1247350784 72846 33554432000 4194304 16246674 140737252687728 140696417725616 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 1218116

[startup+0.700298 s]
/proc/loadavg: 1.54 2.06 2.13 2/175 20874
/proc/meminfo: memFree=30335440/32872528 swapFree=1481856/1661728
[pid=20874] ppid=20869 vsize=1218116 CPUtime=0.69 cores=1,3,5,7
/proc/20874/stat : 20874 (toysat) R 20869 20874 20832 0 -1 4202496 168725 0 0 0 47 22 0 0 20 0 4 0 11867566 1247350784 169585 33554432000 4194304 16246674 140737252687728 140737252670720 5669490 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/20874/statm: 304529 169593 708 2943 0 301423 0
[pid=20874/tid=20875] ppid=20869 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/20874/task/20875/stat : 20875 (toysat) S 20869 20874 20832 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 11867566 1247350784 169600 33554432000 4194304 16246674 140737252687728 140696514178288 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=20874/tid=20876] ppid=20869 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/20874/task/20876/stat : 20876 (toysat) S 20869 20874 20832 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 11867566 1247350784 169609 33554432000 4194304 16246674 140737252687728 140696503688432 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=20874/tid=20878] ppid=20869 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/20874/task/20878/stat : 20878 (toysat) S 20869 20874 20832 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 11867566 1247350784 169619 33554432000 4194304 16246674 140737252687728 140696417725616 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 1218116

[startup+1.50043 s]
/proc/loadavg: 1.54 2.06 2.13 3/186 20885
/proc/meminfo: memFree=28367188/32872528 swapFree=1481856/1661728
[pid=20874] ppid=20869 vsize=1219140 CPUtime=1.49 cores=1,3,5,7
/proc/20874/stat : 20874 (toysat) R 20869 20874 20832 0 -1 4202496 245537 0 0 0 116 33 0 0 20 0 4 0 11867566 1248399360 246377 33554432000 4194304 16246674 140737252687728 140737252687040 6021672 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/20874/statm: 304785 246377 784 2943 0 301679 0
[pid=20874/tid=20875] ppid=20869 vsize=1219140 CPUtime=0 cores=1,3,5,7
/proc/20874/task/20875/stat : 20875 (toysat) S 20869 20874 20832 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 11867566 1248399360 246377 33554432000 4194304 16246674 140737252687728 140696514178288 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=20874/tid=20876] ppid=20869 vsize=1219140 CPUtime=0 cores=1,3,5,7
/proc/20874/task/20876/stat : 20876 (toysat) S 20869 20874 20832 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 11867566 1248399360 246377 33554432000 4194304 16246674 140737252687728 140696503688432 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=20874/tid=20878] ppid=20869 vsize=1219140 CPUtime=0 cores=1,3,5,7
/proc/20874/task/20878/stat : 20878 (toysat) S 20869 20874 20832 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 11867566 1248399360 246377 33554432000 4194304 16246674 140737252687728 140696417725616 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 1219140

[startup+3.10042 s]
/proc/loadavg: 1.54 2.06 2.13 3/186 20885
/proc/meminfo: memFree=28192208/32872528 swapFree=1481856/1661728
[pid=20874] ppid=20869 vsize=1306180 CPUtime=3.09 cores=1,3,5,7
/proc/20874/stat : 20874 (toysat) R 20869 20874 20832 0 -1 4202496 267405 0 0 0 274 35 0 0 20 0 4 0 11867566 1337528320 268245 33554432000 4194304 16246674 140737252687728 140737252669632 5675825 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/20874/statm: 326545 268245 784 2943 0 323439 0
[pid=20874/tid=20875] ppid=20869 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/20874/task/20875/stat : 20875 (toysat) S 20869 20874 20832 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 11867566 1337528320 268245 33554432000 4194304 16246674 140737252687728 140696514178288 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=20874/tid=20876] ppid=20869 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/20874/task/20876/stat : 20876 (toysat) S 20869 20874 20832 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 11867566 1337528320 268245 33554432000 4194304 16246674 140737252687728 140696503688432 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=20874/tid=20878] ppid=20869 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/20874/task/20878/stat : 20878 (toysat) S 20869 20874 20832 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 11867566 1337528320 268245 33554432000 4194304 16246674 140737252687728 140696417725616 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 1306180

[startup+6.30043 s]
/proc/loadavg: 1.57 2.06 2.13 4/185 20885
/proc/meminfo: memFree=28189496/32872528 swapFree=1481856/1661728
[pid=20874] ppid=20869 vsize=1306180 CPUtime=6.29 cores=1,3,5,7
/proc/20874/stat : 20874 (toysat) R 20869 20874 20832 0 -1 4202496 267452 0 0 0 594 35 0 0 20 0 4 0 11867566 1337528320 268292 33554432000 4194304 16246674 140737252687728 140737252669632 5823863 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/20874/statm: 326545 268292 784 2943 0 323439 0
[pid=20874/tid=20875] ppid=20869 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/20874/task/20875/stat : 20875 (toysat) S 20869 20874 20832 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 11867566 1337528320 268292 33554432000 4194304 16246674 140737252687728 140696514178288 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=20874/tid=20876] ppid=20869 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/20874/task/20876/stat : 20876 (toysat) S 20869 20874 20832 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 11867566 1337528320 268292 33554432000 4194304 16246674 140737252687728 140696503688432 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=20874/tid=20878] ppid=20869 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/20874/task/20878/stat : 20878 (toysat) S 20869 20874 20832 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 11867566 1337528320 268292 33554432000 4194304 16246674 140737252687728 140696417725616 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 1306180

[startup+12.7004 s]
/proc/loadavg: 1.61 2.06 2.13 3/186 20886
/proc/meminfo: memFree=28190672/32872528 swapFree=1481856/1661728
[pid=20874] ppid=20869 vsize=1306180 CPUtime=12.69 cores=1,3,5,7
/proc/20874/stat : 20874 (toysat) R 20869 20874 20832 0 -1 4202496 267476 0 0 0 1234 35 0 0 20 0 4 0 11867566 1337528320 268316 33554432000 4194304 16246674 140737252687728 140737252670728 5523188 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/20874/statm: 326545 268316 784 2943 0 323439 0
[pid=20874/tid=20875] ppid=20869 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/20874/task/20875/stat : 20875 (toysat) S 20869 20874 20832 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 11867566 1337528320 268316 33554432000 4194304 16246674 140737252687728 140696514178288 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=20874/tid=20876] ppid=20869 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/20874/task/20876/stat : 20876 (toysat) S 20869 20874 20832 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 11867566 1337528320 268316 33554432000 4194304 16246674 140737252687728 140696503688432 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=20874/tid=20878] ppid=20869 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/20874/task/20878/stat : 20878 (toysat) S 20869 20874 20832 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 11867566 1337528320 268316 33554432000 4194304 16246674 140737252687728 140696417725616 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 1306180

[startup+25.5005 s]
/proc/loadavg: 1.69 2.06 2.13 3/186 20886
/proc/meminfo: memFree=28191464/32872528 swapFree=1481856/1661728
[pid=20874] ppid=20869 vsize=1306180 CPUtime=25.48 cores=1,3,5,7
/proc/20874/stat : 20874 (toysat) R 20869 20874 20832 0 -1 4202496 267478 0 0 0 2513 35 0 0 20 0 4 0 11867566 1337528320 268318 33554432000 4194304 16246674 140737252687728 140737252669632 15015658 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/20874/statm: 326545 268318 786 2943 0 323439 0
[pid=20874/tid=20875] ppid=20869 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/20874/task/20875/stat : 20875 (toysat) S 20869 20874 20832 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 11867566 1337528320 268318 33554432000 4194304 16246674 140737252687728 140696514178288 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=20874/tid=20876] ppid=20869 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/20874/task/20876/stat : 20876 (toysat) S 20869 20874 20832 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 11867566 1337528320 268318 33554432000 4194304 16246674 140737252687728 140696503688432 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=20874/tid=20878] ppid=20869 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/20874/task/20878/stat : 20878 (toysat) S 20869 20874 20832 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 11867566 1337528320 268318 33554432000 4194304 16246674 140737252687728 140696417725616 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 1306180

[startup+51.1005 s]
/proc/loadavg: 2.01 2.10 2.14 3/185 20886
/proc/meminfo: memFree=28191172/32872528 swapFree=1481856/1661728
[pid=20874] ppid=20869 vsize=1306180 CPUtime=51.08 cores=1,3,5,7
/proc/20874/stat : 20874 (toysat) R 20869 20874 20832 0 -1 4202496 267491 0 0 0 5072 36 0 0 20 0 4 0 11867566 1337528320 268331 33554432000 4194304 16246674 140737252687728 140737252670728 13962576 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/20874/statm: 326545 268331 786 2943 0 323439 0
[pid=20874/tid=20875] ppid=20869 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/20874/task/20875/stat : 20875 (toysat) S 20869 20874 20832 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 11867566 1337528320 268331 33554432000 4194304 16246674 140737252687728 140696514178288 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=20874/tid=20876] ppid=20869 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/20874/task/20876/stat : 20876 (toysat) S 20869 20874 20832 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 11867566 1337528320 268331 33554432000 4194304 16246674 140737252687728 140696503688432 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=20874/tid=20878] ppid=20869 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/20874/task/20878/stat : 20878 (toysat) S 20869 20874 20832 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 11867566 1337528320 268331 33554432000 4194304 16246674 140737252687728 140696417725616 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 1306180

[startup+102.301 s]
/proc/loadavg: 2.12 2.11 2.14 3/185 20887
/proc/meminfo: memFree=28190508/32872528 swapFree=1481856/1661728
[pid=20874] ppid=20869 vsize=1306180 CPUtime=102.28 cores=1,3,5,7
/proc/20874/stat : 20874 (toysat) R 20869 20874 20832 0 -1 4202496 267516 0 0 0 10191 37 0 0 20 0 4 0 11867566 1337528320 268356 33554432000 4194304 16246674 140737252687728 140737252670728 6021624 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/20874/statm: 326545 268356 786 2943 0 323439 0
[pid=20874/tid=20875] ppid=20869 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/20874/task/20875/stat : 20875 (toysat) S 20869 20874 20832 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 11867566 1337528320 268356 33554432000 4194304 16246674 140737252687728 140696514178288 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=20874/tid=20876] ppid=20869 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/20874/task/20876/stat : 20876 (toysat) S 20869 20874 20832 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 11867566 1337528320 268356 33554432000 4194304 16246674 140737252687728 140696503688432 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=20874/tid=20878] ppid=20869 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/20874/task/20878/stat : 20878 (toysat) S 20869 20874 20832 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 11867566 1337528320 268356 33554432000 4194304 16246674 140737252687728 140696417725616 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 1306180


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

/proc/20874/task/20878/stat : 20878 (toysat) S 20869 20874 20832 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 11867566 1338576896 268640 33554432000 4194304 16246674 140737252687728 140696417725616 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1241.87
Current children cumulated vsize (KiB) 1307204

[startup+1302.3 s]
/proc/loadavg: 2.24 2.30 2.27 3/185 20917
/proc/meminfo: memFree=28184368/32872528 swapFree=1481856/1661728
[pid=20874] ppid=20869 vsize=1307204 CPUtime=1301.85 cores=1,3,5,7
/proc/20874/stat : 20874 (toysat) R 20869 20874 20832 0 -1 4202496 268230 0 0 0 130130 55 0 0 20 0 4 0 11867566 1338576896 268640 33554432000 4194304 16246674 140737252687728 140737252669632 6012004 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/20874/statm: 326801 268640 788 2943 0 323695 0
[pid=20874/tid=20875] ppid=20869 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/20874/task/20875/stat : 20875 (toysat) S 20869 20874 20832 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 11867566 1338576896 268640 33554432000 4194304 16246674 140737252687728 140696514178288 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=20874/tid=20876] ppid=20869 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/20874/task/20876/stat : 20876 (toysat) S 20869 20874 20832 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 11867566 1338576896 268640 33554432000 4194304 16246674 140737252687728 140696503688432 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=20874/tid=20878] ppid=20869 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/20874/task/20878/stat : 20878 (toysat) S 20869 20874 20832 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 11867566 1338576896 268640 33554432000 4194304 16246674 140737252687728 140696417725616 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1301.85
Current children cumulated vsize (KiB) 1307204

[startup+1362.3 s]
/proc/loadavg: 2.30 2.31 2.27 3/185 20918
/proc/meminfo: memFree=28183176/32872528 swapFree=1481856/1661728
[pid=20874] ppid=20869 vsize=1307204 CPUtime=1361.83 cores=1,3,5,7
/proc/20874/stat : 20874 (toysat) R 20869 20874 20832 0 -1 4202496 268248 0 0 0 136128 55 0 0 20 0 4 0 11867566 1338576896 268640 33554432000 4194304 16246674 140737252687728 140737252670728 12478272 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/20874/statm: 326801 268640 788 2943 0 323695 0
[pid=20874/tid=20875] ppid=20869 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/20874/task/20875/stat : 20875 (toysat) S 20869 20874 20832 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 11867566 1338576896 268640 33554432000 4194304 16246674 140737252687728 140696514178288 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=20874/tid=20876] ppid=20869 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/20874/task/20876/stat : 20876 (toysat) S 20869 20874 20832 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 11867566 1338576896 268640 33554432000 4194304 16246674 140737252687728 140696503688432 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=20874/tid=20878] ppid=20869 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/20874/task/20878/stat : 20878 (toysat) S 20869 20874 20832 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 11867566 1338576896 268640 33554432000 4194304 16246674 140737252687728 140696417725616 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1361.83
Current children cumulated vsize (KiB) 1307204

[startup+1422.3 s]
/proc/loadavg: 2.15 2.26 2.26 3/184 20919
/proc/meminfo: memFree=28184464/32872528 swapFree=1481856/1661728
[pid=20874] ppid=20869 vsize=1307204 CPUtime=1421.82 cores=1,3,5,7
/proc/20874/stat : 20874 (toysat) R 20869 20874 20832 0 -1 4202496 268248 0 0 0 142126 56 0 0 20 0 4 0 11867566 1338576896 268640 33554432000 4194304 16246674 140737252687728 140737252670728 6021142 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/20874/statm: 326801 268640 788 2943 0 323695 0
[pid=20874/tid=20875] ppid=20869 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/20874/task/20875/stat : 20875 (toysat) S 20869 20874 20832 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 11867566 1338576896 268640 33554432000 4194304 16246674 140737252687728 140696514178288 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=20874/tid=20876] ppid=20869 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/20874/task/20876/stat : 20876 (toysat) S 20869 20874 20832 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 11867566 1338576896 268640 33554432000 4194304 16246674 140737252687728 140696503688432 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=20874/tid=20878] ppid=20869 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/20874/task/20878/stat : 20878 (toysat) S 20869 20874 20832 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 11867566 1338576896 268640 33554432000 4194304 16246674 140737252687728 140696417725616 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1421.82
Current children cumulated vsize (KiB) 1307204

[startup+1482.3 s]
/proc/loadavg: 2.35 2.29 2.27 3/185 20921
/proc/meminfo: memFree=28183276/32872528 swapFree=1481856/1661728
[pid=20874] ppid=20869 vsize=1307204 CPUtime=1481.81 cores=1,3,5,7
/proc/20874/stat : 20874 (toysat) R 20869 20874 20832 0 -1 4202496 268248 0 0 0 148124 57 0 0 20 0 4 0 11867566 1338576896 268640 33554432000 4194304 16246674 140737252687728 140737252670728 5823013 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/20874/statm: 326801 268640 788 2943 0 323695 0
[pid=20874/tid=20875] ppid=20869 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/20874/task/20875/stat : 20875 (toysat) S 20869 20874 20832 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 11867566 1338576896 268640 33554432000 4194304 16246674 140737252687728 140696514178288 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=20874/tid=20876] ppid=20869 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/20874/task/20876/stat : 20876 (toysat) S 20869 20874 20832 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 11867566 1338576896 268640 33554432000 4194304 16246674 140737252687728 140696503688432 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=20874/tid=20878] ppid=20869 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/20874/task/20878/stat : 20878 (toysat) S 20869 20874 20832 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 11867566 1338576896 268640 33554432000 4194304 16246674 140737252687728 140696417725616 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1481.81
Current children cumulated vsize (KiB) 1307204

[startup+1542.31 s]
/proc/loadavg: 2.28 2.28 2.26 3/185 20923
/proc/meminfo: memFree=28183312/32872528 swapFree=1481856/1661728
[pid=20874] ppid=20869 vsize=1307204 CPUtime=1541.81 cores=1,3,5,7
/proc/20874/stat : 20874 (toysat) R 20869 20874 20832 0 -1 4202496 268248 0 0 0 154123 58 0 0 20 0 4 0 11867566 1338576896 268640 33554432000 4194304 16246674 140737252687728 140737252669632 5546098 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/20874/statm: 326801 268640 788 2943 0 323695 0
[pid=20874/tid=20875] ppid=20869 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/20874/task/20875/stat : 20875 (toysat) S 20869 20874 20832 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 11867566 1338576896 268640 33554432000 4194304 16246674 140737252687728 140696514178288 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=20874/tid=20876] ppid=20869 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/20874/task/20876/stat : 20876 (toysat) S 20869 20874 20832 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 11867566 1338576896 268640 33554432000 4194304 16246674 140737252687728 140696503688432 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=20874/tid=20878] ppid=20869 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/20874/task/20878/stat : 20878 (toysat) S 20869 20874 20832 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 11867566 1338576896 268640 33554432000 4194304 16246674 140737252687728 140696417725616 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1541.81
Current children cumulated vsize (KiB) 1307204

[startup+1602.3 s]
/proc/loadavg: 2.23 2.26 2.26 3/185 20924
/proc/meminfo: memFree=28182928/32872528 swapFree=1481856/1661728
[pid=20874] ppid=20869 vsize=1307204 CPUtime=1601.79 cores=1,3,5,7
/proc/20874/stat : 20874 (toysat) R 20869 20874 20832 0 -1 4202496 268248 0 0 0 160121 58 0 0 20 0 4 0 11867566 1338576896 268640 33554432000 4194304 16246674 140737252687728 140737252670728 6021007 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/20874/statm: 326801 268640 788 2943 0 323695 0
[pid=20874/tid=20875] ppid=20869 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/20874/task/20875/stat : 20875 (toysat) S 20869 20874 20832 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 11867566 1338576896 268640 33554432000 4194304 16246674 140737252687728 140696514178288 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=20874/tid=20876] ppid=20869 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/20874/task/20876/stat : 20876 (toysat) S 20869 20874 20832 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 11867566 1338576896 268640 33554432000 4194304 16246674 140737252687728 140696503688432 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=20874/tid=20878] ppid=20869 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/20874/task/20878/stat : 20878 (toysat) S 20869 20874 20832 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 11867566 1338576896 268640 33554432000 4194304 16246674 140737252687728 140696417725616 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1601.79
Current children cumulated vsize (KiB) 1307204

[startup+1662.3 s]
/proc/loadavg: 2.43 2.30 2.27 3/185 20925
/proc/meminfo: memFree=28183000/32872528 swapFree=1481856/1661728
[pid=20874] ppid=20869 vsize=1307204 CPUtime=1661.78 cores=1,3,5,7
/proc/20874/stat : 20874 (toysat) R 20869 20874 20832 0 -1 4202496 268248 0 0 0 166119 59 0 0 20 0 4 0 11867566 1338576896 268640 33554432000 4194304 16246674 140737252687728 140737252670728 12483512 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/20874/statm: 326801 268640 788 2943 0 323695 0
[pid=20874/tid=20875] ppid=20869 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/20874/task/20875/stat : 20875 (toysat) S 20869 20874 20832 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 11867566 1338576896 268640 33554432000 4194304 16246674 140737252687728 140696514178288 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=20874/tid=20876] ppid=20869 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/20874/task/20876/stat : 20876 (toysat) S 20869 20874 20832 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 11867566 1338576896 268640 33554432000 4194304 16246674 140737252687728 140696503688432 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=20874/tid=20878] ppid=20869 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/20874/task/20878/stat : 20878 (toysat) S 20869 20874 20832 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 11867566 1338576896 268640 33554432000 4194304 16246674 140737252687728 140696417725616 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1661.78
Current children cumulated vsize (KiB) 1307204

[startup+1722.3 s]
/proc/loadavg: 2.29 2.29 2.27 3/185 20926
/proc/meminfo: memFree=28182320/32872528 swapFree=1481856/1661728
[pid=20874] ppid=20869 vsize=1307204 CPUtime=1721.77 cores=1,3,5,7
/proc/20874/stat : 20874 (toysat) R 20869 20874 20832 0 -1 4202496 268248 0 0 0 172117 60 0 0 20 0 4 0 11867566 1338576896 268640 33554432000 4194304 16246674 140737252687728 140737252670728 5673435 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/20874/statm: 326801 268640 788 2943 0 323695 0
[pid=20874/tid=20875] ppid=20869 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/20874/task/20875/stat : 20875 (toysat) S 20869 20874 20832 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 11867566 1338576896 268640 33554432000 4194304 16246674 140737252687728 140696514178288 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=20874/tid=20876] ppid=20869 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/20874/task/20876/stat : 20876 (toysat) S 20869 20874 20832 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 11867566 1338576896 268640 33554432000 4194304 16246674 140737252687728 140696503688432 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=20874/tid=20878] ppid=20869 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/20874/task/20878/stat : 20878 (toysat) S 20869 20874 20832 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 11867566 1338576896 268640 33554432000 4194304 16246674 140737252687728 140696417725616 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1721.77
Current children cumulated vsize (KiB) 1307204

[startup+1782.3 s]
/proc/loadavg: 2.29 2.29 2.27 3/185 20927
/proc/meminfo: memFree=28182220/32872528 swapFree=1481856/1661728
[pid=20874] ppid=20869 vsize=1307204 CPUtime=1781.76 cores=1,3,5,7
/proc/20874/stat : 20874 (toysat) R 20869 20874 20832 0 -1 4202496 268249 0 0 0 178116 60 0 0 20 0 4 0 11867566 1338576896 268641 33554432000 4194304 16246674 140737252687728 140737252670728 5822428 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/20874/statm: 326801 268641 789 2943 0 323695 0
[pid=20874/tid=20875] ppid=20869 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/20874/task/20875/stat : 20875 (toysat) S 20869 20874 20832 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 11867566 1338576896 268641 33554432000 4194304 16246674 140737252687728 140696514178288 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=20874/tid=20876] ppid=20869 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/20874/task/20876/stat : 20876 (toysat) S 20869 20874 20832 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 11867566 1338576896 268641 33554432000 4194304 16246674 140737252687728 140696503688432 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=20874/tid=20878] ppid=20869 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/20874/task/20878/stat : 20878 (toysat) S 20869 20874 20832 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 11867566 1338576896 268641 33554432000 4194304 16246674 140737252687728 140696417725616 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1781.76
Current children cumulated vsize (KiB) 1307204



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.6 s]
/proc/loadavg: 2.35 2.30 2.27 3/186 20930
/proc/meminfo: memFree=28182092/32872528 swapFree=1481856/1661728
[pid=20874] ppid=20869 vsize=1307204 CPUtime=1800.05 cores=1,3,5,7
/proc/20874/stat : 20874 (toysat) R 20869 20874 20832 0 -1 4202496 268249 0 0 0 179945 60 0 0 20 0 4 0 11867566 1338576896 268641 33554432000 4194304 16246674 140737252687728 140737252669632 5669534 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/20874/statm: 326801 268641 789 2943 0 323695 0
[pid=20874/tid=20875] ppid=20869 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/20874/task/20875/stat : 20875 (toysat) S 20869 20874 20832 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 11867566 1338576896 268641 33554432000 4194304 16246674 140737252687728 140696514178288 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=20874/tid=20876] ppid=20869 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/20874/task/20876/stat : 20876 (toysat) S 20869 20874 20832 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 11867566 1338576896 268641 33554432000 4194304 16246674 140737252687728 140696503688432 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=20874/tid=20878] ppid=20869 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/20874/task/20878/stat : 20878 (toysat) S 20869 20874 20832 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 11867566 1338576896 268641 33554432000 4194304 16246674 140737252687728 140696417725616 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1800.05
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 20874 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.07
CPU user time (s): 1799.46
CPU system time (s): 0.609907
CPU usage (%): 99.9703
Max. virtual memory (cumulated for all children) (KiB): 1307204

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.46
system time used= 0.609907
maximum resident set size= 1074564
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 268249
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= 466
involuntary context switches= 1838

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 5.97109 second user time and 8.23075 second system time

The end

Begin job on node134 at 2016-06-16 19:30:11
IDJOB=4095896
IDBENCH=107537
IDSOLVER=2542
FILE ID=node134/4095896-1466098211
RUNJOBID= node134-1466098211-20849
PBS_JOBID= 19904059
Free space on /tmp= 71716 MiB

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

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

MD5SUM BENCH= d2ef2158453017923498faa75cf6911c
RANDOM SEED=984108036

node134.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.020
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.04
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.020
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	: 7358.89
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.020
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.020
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.020
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.020
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.54
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.020
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.020
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:        30337092 kB
Buffers:           33816 kB
Cached:           126680 kB
SwapCached:         8908 kB
Active:           100820 kB
Inactive:          69388 kB
Active(anon):       4272 kB
Inactive(anon):     8200 kB
Active(file):      96548 kB
Inactive(file):    61188 kB
Unevictable:     1661728 kB
Mlocked:         1481856 kB
SwapTotal:      67108856 kB
SwapFree:       67092044 kB
Dirty:             32624 kB
Writeback:             0 kB
AnonPages:       1666004 kB
Mapped:             6776 kB
Shmem:                 0 kB
Slab:             568472 kB
SReclaimable:      12972 kB
SUnreclaim:       555500 kB
KernelStack:        1360 kB
PageTables:         7208 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    1758160 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341987908 kB
HardwareCorrupted:     0 kB
AnonHugePages:    182272 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:        7552 kB
DirectMap2M:    33538048 kB

Free space on /tmp at the end= 71688 MiB
End job on node134 at 2016-06-16 20:00:12