0.00/0.00	c 2016-06-16T20:50:50+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-4096127-1466103049.opb"]
0.00/0.01	c use --random-gen="1758742145 3958194799 1844324569 2424283376 1932362781 1503005684 99328003 2801462804 1606524764 680399475 2880287809 3541312246 608250383 1270092178 2604472322 1207928974 1206323056 3260333313 2867190839 1655748515 2617151044 1754063688 4267050233 3960191686 3819177415 1807006691 518526648 4290700828 2350576589 2950521441 1232717690 13283839 791153448 2032339189 1478967363 521191451 1104578826 3895095789 817977746 1220520922 76956948 4228561999 2145686792 1783342190 1446120155 2003506255 56296366 3875043565 2708035706 1617028227 3571424604 3741757222 3820863305 492980191 2712825981 342239713 1816510154 1944499583 2996267734 2934450350 3982336938 1239356623 3986517194 4113732718 1741833281 1311207977 654553187 1190518261 3611137561 3370278457 2327072023 1735433314 3086311870 96902230 58230906 2123281992 2328895240 561905995 285992475 2141630061 2640731530 961650309 1174453486 71156530 1536994580 503301287 2534741363 454457976 288000257 4107411554 4057394304 4222890686 2393432189 2032980736 470248062 3440806117 3297336385 3311915216 4062274978 574104535 719979094 2505881963 2372982517 2282676439 3577882583 1004486266 1765783164 3429610390 637719080 1372220150 1483546598 487696852 3739754839 2465083993 802361200 1521742348 2996749603 178695861 4036750455 4139596026 877106559 3631042263 2112749822 4146603516 1017201158 4161257679 2697372225 2592213052 920594240 783166244 3915967463 1527445691 2306263946 311835510 1008616636 1032362113 2471307283 2156382567 3716569249 514683209 2069883157 3725862312 617247673 4228813913 199445439 1178872486 2402776584 1576114655 2170788256 3147652604 1414811287 2353236085 2026270156 437310280 84720944 6625934 679319680 2675747667 378975335 987226794 501936483 1352971287 2782763476 657897134 2741623246 2219724330 3972979332 3868750627 3148575753 3299596414 2259203156 25707147 3301211350 26152303 1970291218 2345696578 3726953824 2698505917 1422656666 2377541170 1211871328 1709023888 2863140126 3611912762 897458889 3496656205 2267472774 3929659120 2434605346 48366063 272809330 3648286188 3996003575 3465133672 33273355 514806588 1042549610 1956754588 1810299000 2732913468 3063767494 1630496037 2462056530 1088075553 814671184 2903814014 2670711601 1378857770 3930549631 774611590 3476652765 547028934 2430668903 3189230440 845332119 2073540772 985624114 3161981914 130617041 177400894 38383860 4232083632 875422742 2091927478 385817785 2582851280 330143956 793470133 369558794 3052985614 1125375864 1168674346 1731034147 1913951803 2446910766 1277222249 1898856614 122526651 1891318420 1837572066 3009388208 1543667041 873864445 1855218996 2115744158 494375303 3399844386 389772392 605249438 3006104021 1321365976 4062419791 2644664115 2952329168 4054952624 2308486848 255 362436" option to reproduce the execution
0.00/0.01	c #vars 261
0.00/0.01	c #constraints 130
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 |      130      0 |        0 |        0
0.00/0.03	c  0.0s |       1 |      173 |      100 |      130      0 |        0 |        0
0.00/0.05	c  0.0s |       2 |      500 |      250 |      143      1 |        0 |        0
0.00/0.08	c  0.1s |       3 |      894 |      475 |      158      2 |        0 |        0
0.09/0.13	c  0.1s |       4 |     1370 |      813 |      174      4 |        0 |        0
0.18/0.21	c  0.2s |       5 |     2052 |     1320 |      192      7 |        0 |        0
0.28/0.34	c  0.3s |       6 |     3119 |     2081 |      234     11 |        0 |        0
0.49/0.52	c  0.5s |       7 |     4554 |     3223 |      258     17 |        0 |        0
0.79/0.81	c  0.8s |       8 |     6691 |     4936 |      284     25 |        0 |        0
1.19/1.21	c  1.2s |       9 |    10149 |     7506 |      313     38 |        0 |        0
1.68/1.75	c  1.7s |      10 |    16729 |    11361 |      345     58 |        0 |        0
2.48/2.52	c  2.5s |      11 |    26010 |    17144 |      380     86 |        0 |        0
3.68/3.76	c  3.8s |      12 |    42000 |    25819 |      419    123 |        0 |        0
5.29/5.36	c  5.3s |      13 |    60464 |    38832 |      461    177 |        0 |        0
7.29/7.37	c  7.4s |      13 |    83035 |    53532 |      461    233 |        0 |        0
8.09/8.16	c  8.1s |      14 |    89529 |    58352 |      508    250 |        0 |        0
10.09/10.16	c 10.1s |      14 |   109662 |    72152 |      508    296 |        0 |        0
12.09/12.17	c 12.2s |      14 |   130042 |    85052 |      508    338 |        0 |        0
12.49/12.59	c 12.6s |      15 |   133822 |    87632 |      559    347 |        0 |        0
14.59/14.60	c 14.6s |      15 |   153116 |   101532 |      559    390 |        0 |        0
16.59/16.61	c 16.6s |      15 |   169842 |   114832 |      559    431 |        0 |        0
18.59/18.62	c 18.6s |      15 |   185162 |   127132 |      559    469 |        0 |        0
19.19/19.28	c 19.3s |      16 |   191032 |   131552 |      615    483 |        0 |        0
21.18/21.29	c 21.3s |      16 |   212419 |   145452 |      615    523 |        0 |        0
23.28/23.30	c 23.3s |      16 |   232313 |   158652 |      615    561 |        0 |        0
25.29/25.31	c 25.3s |      16 |   252879 |   172452 |      615    602 |        0 |        0
27.28/27.32	c 27.3s |      16 |   271894 |   185852 |      615    641 |        0 |        0
29.18/29.28	c 29.3s |      17 |   286898 |   197432 |      677    673 |        0 |        0
31.18/31.28	c 31.3s |      17 |   300099 |   208332 |      677    702 |        0 |        0
33.28/33.30	c 33.3s |      17 |   313641 |   219432 |      677    731 |        0 |        0
35.19/35.30	c 35.3s |      17 |   325995 |   229832 |      677    759 |        0 |        0
37.28/37.31	c 37.3s |      17 |   339981 |   240732 |      677    788 |        0 |        0
39.28/39.32	c 39.3s |      17 |   353864 |   252032 |      677    818 |        0 |        0
41.28/41.33	c 41.3s |      17 |   364430 |   261532 |      677    843 |        0 |        0
43.28/43.34	c 43.3s |      17 |   377422 |   272232 |      677    871 |        0 |        0
45.28/45.34	c 45.3s |      17 |   390317 |   283132 |      677    900 |        0 |        0
47.28/47.34	c 47.3s |      17 |   402728 |   293632 |      677    928 |        0 |        0
47.68/47.80	c 47.8s |      18 |   405985 |   296252 |      745    935 |        0 |        0
49.68/49.80	c 49.8s |      18 |   421597 |   308652 |      745    965 |        0 |        0
51.78/51.80	c 51.8s |      18 |   439059 |   321752 |      745    996 |        0 |        0
53.77/53.82	c 53.8s |      18 |   457507 |   335252 |      745   1028 |        0 |        0
55.77/55.82	c 55.8s |      18 |   474290 |   348052 |      745   1059 |        0 |        0
57.77/57.83	c 57.8s |      18 |   490743 |   360552 |      745   1089 |        0 |        0
59.77/59.83	c 59.8s |      18 |   507214 |   373152 |      745   1120 |        0 |        0
61.78/61.83	c 61.8s |      18 |   523209 |   385252 |      745   1149 |        0 |        0
63.79/63.85	c 63.8s |      18 |   539962 |   397752 |      745   1180 |        0 |        0
65.78/65.86	c 65.8s |      18 |   556273 |   410252 |      745   1210 |        0 |        0
67.78/67.87	c 67.9s |      18 |   571761 |   422152 |      745   1239 |        0 |        0
69.78/69.88	c 69.9s |      18 |   589326 |   434952 |      745   1269 |        0 |        0
71.28/71.38	c 71.4s |      19 |   601661 |   444482 |      820   1291 |        0 |        0
73.28/73.39	c 73.4s |      19 |   616695 |   455982 |      820   1317 |        0 |        0
75.38/75.40	c 75.4s |      19 |   633269 |   468382 |      820   1345 |        0 |        0
77.38/77.40	c 77.4s |      19 |   652304 |   481882 |      820   1376 |        0 |        0
79.38/79.41	c 79.4s |      19 |   669592 |   495282 |      820   1405 |        0 |        0
81.38/81.41	c 81.4s |      19 |   685454 |   507282 |      820   1431 |        0 |        0
83.37/83.43	c 83.4s |      19 |   702524 |   519882 |      820   1460 |        0 |        0
85.37/85.43	c 85.4s |      19 |   718279 |   531682 |      820   1486 |        0 |        0
87.37/87.44	c 87.4s |      19 |   736999 |   545082 |      820   1516 |        0 |        0
89.37/89.46	c 89.4s |      19 |   752609 |   556782 |      820   1542 |        0 |        0
91.38/91.47	c 91.5s |      19 |   767470 |   568082 |      820   1568 |        0 |        0
93.37/93.49	c 93.5s |      19 |   781344 |   579182 |      820   1592 |        0 |        0
95.47/95.50	c 95.5s |      19 |   796501 |   590382 |      820   1617 |        0 |        0
97.47/97.51	c 97.5s |      19 |   810671 |   601082 |      820   1641 |        0 |        0
99.47/99.52	c 99.5s |      19 |   825766 |   612182 |      820   1666 |        0 |        0
101.47/101.53	c  101s |      19 |   841925 |   624082 |      820   1692 |        0 |        0
103.48/103.55	c  103s |      19 |   860726 |   637282 |      820   1721 |        0 |        0
105.47/105.56	c  105s |      19 |   876628 |   649782 |      820   1749 |        0 |        0
107.47/107.57	c  107s |      19 |   892092 |   661882 |      820   1775 |        0 |        0
108.47/108.50	c  108s |      20 |   898440 |   666827 |      903   1785 |        0 |        0
110.47/110.50	c  110s |      20 |   915977 |   680127 |      903   1811 |        0 |        0
112.47/112.51	c  112s |      20 |   931884 |   693227 |      903   1838 |        0 |        0
114.47/114.52	c  114s |      20 |   946733 |   705327 |      903   1862 |        0 |        0
116.47/116.53	c  116s |      20 |   964825 |   718427 |      903   1889 |        0 |        0
118.47/118.54	c  118s |      20 |   979998 |   731027 |      903   1914 |        0 |        0
120.47/120.54	c  120s |      20 |   993940 |   742527 |      903   1937 |        0 |        0
122.47/122.55	c  122s |      20 |  1007592 |   754127 |      903   1961 |        0 |        0
124.47/124.55	c  124s |      20 |  1020330 |   765627 |      903   1984 |        0 |        0
126.47/126.55	c  126s |      20 |  1034021 |   777527 |      903   2009 |        0 |        0
128.46/128.56	c  128s |      20 |  1051243 |   790627 |      903   2035 |        0 |        0
130.46/130.58	c  130s |      20 |  1066891 |   803027 |      903   2061 |        0 |        0
132.46/132.59	c  132s |      20 |  1080757 |   814527 |      903   2084 |        0 |        0
134.56/134.60	c  134s |      20 |  1095774 |   826427 |      903   2108 |        0 |        0
136.56/136.61	c  136s |      20 |  1111064 |   838327 |      903   2132 |        0 |        0
138.57/138.62	c  138s |      20 |  1124711 |   849827 |      903   2156 |        0 |        0
140.56/140.62	c  140s |      20 |  1140804 |   861927 |      903   2181 |        0 |        0
142.56/142.62	c  142s |      20 |  1154910 |   873227 |      903   2204 |        0 |        0
144.56/144.64	c  144s |      20 |  1167441 |   883927 |      903   2225 |        0 |        0
146.56/146.64	c  146s |      20 |  1178830 |   893827 |      903   2245 |        0 |        0
148.58/148.65	c  148s |      20 |  1192687 |   905327 |      903   2268 |        0 |        0
150.57/150.67	c  150s |      20 |  1206981 |   917027 |      903   2292 |        0 |        0
152.57/152.68	c  152s |      20 |  1220123 |   928327 |      903   2314 |        0 |        0
154.57/154.68	c  154s |      20 |  1233709 |   939627 |      903   2337 |        0 |        0
156.57/156.68	c  156s |      20 |  1248358 |   951427 |      903   2361 |        0 |        0
158.57/158.69	c  158s |      20 |  1261713 |   962627 |      903   2384 |        0 |        0
160.57/160.70	c  160s |      20 |  1276154 |   974227 |      903   2407 |        0 |        0
162.67/162.72	c  162s |      20 |  1291356 |   986127 |      903   2432 |        0 |        0
164.67/164.73	c  164s |      20 |  1306232 |   997627 |      994   2454 |        0 |        0
165.16/165.22	c  165s |      21 |  1309721 |  1000345 |      994   2459 |        0 |        0
167.17/167.22	c  167s |      21 |  1326435 |  1011545 |      994   2480 |        0 |        0
169.16/169.24	c  169s |      21 |  1342528 |  1022645 |      994   2501 |        0 |        0
171.16/171.26	c  171s |      21 |  1358401 |  1034045 |      994   2522 |        0 |        0
173.16/173.27	c  173s |      21 |  1373914 |  1045145 |      994   2543 |        0 |        0
175.16/175.28	c  175s |      21 |  1391225 |  1057145 |      994   2565 |        0 |        0
177.17/177.29	c  177s |      21 |  1406850 |  1068345 |      994   2587 |        0 |        0
179.16/179.29	c  179s |      21 |  1423605 |  1079745 |      994   2608 |        0 |        0
181.16/181.29	c  181s |      21 |  1439358 |  1090845 |      994   2629 |        0 |        0
183.26/183.30	c  183s |      21 |  1456331 |  1102545 |      994   2651 |        0 |        0
185.26/185.30	c  185s |      21 |  1470482 |  1113445 |      994   2672 |        0 |        0
187.26/187.31	c  187s |      21 |  1484239 |  1123945 |      994   2691 |        0 |        0
189.27/189.32	c  189s |      21 |  1495960 |  1133745 |      994   2710 |        0 |        0
191.26/191.33	c  191s |      21 |  1508747 |  1144245 |      994   2729 |        0 |        0
193.26/193.34	c  193s |      21 |  1524297 |  1155345 |      994   2750 |        0 |        0
195.26/195.35	c  195s |      21 |  1538368 |  1165845 |      994   2770 |        0 |        0
197.26/197.36	c  197s |      21 |  1553861 |  1177145 |      994   2791 |        0 |        0
199.26/199.37	c  199s |      21 |  1568965 |  1188245 |      994   2812 |        0 |        0
201.26/201.38	c  201s |      21 |  1582677 |  1199045 |      994   2833 |        0 |        0
203.26/203.39	c  203s |      21 |  1599382 |  1210545 |      994   2855 |        0 |        0
205.36/205.40	c  205s |      21 |  1616857 |  1222045 |      994   2876 |        0 |        0
207.36/207.40	c  207s |      21 |  1634133 |  1233545 |      994   2898 |        0 |        0
209.36/209.41	c  209s |      21 |  1650967 |  1244945 |      994   2919 |        0 |        0
211.35/211.43	c  211s |      21 |  1665937 |  1255645 |      994   2939 |        0 |        0
213.36/213.44	c  213s |      21 |  1679782 |  1266145 |      994   2959 |        0 |        0
215.35/215.45	c  215s |      21 |  1692948 |  1276645 |      994   2979 |        0 |        0
217.35/217.46	c  217s |      21 |  1707898 |  1287345 |      994   2999 |        0 |        0
219.36/219.47	c  219s |      21 |  1724672 |  1298645 |      994   3020 |        0 |        0
221.36/221.49	c  221s |      21 |  1742874 |  1310145 |      994   3042 |        0 |        0
223.46/223.51	c  223s |      21 |  1759857 |  1321245 |      994   3063 |        0 |        0
225.46/225.51	c  225s |      21 |  1777734 |  1332745 |      994   3085 |        0 |        0
227.46/227.52	c  227s |      21 |  1792677 |  1343945 |      994   3106 |        0 |        0
229.46/229.53	c  229s |      21 |  1807697 |  1355045 |      994   3127 |        0 |        0
231.46/231.53	c  231s |      21 |  1823281 |  1365745 |      994   3147 |        0 |        0
233.45/233.54	c  233s |      21 |  1839733 |  1376945 |      994   3168 |        0 |        0
235.46/235.56	c  235s |      21 |  1857498 |  1388845 |      994   3190 |        0 |        0
237.45/237.56	c  237s |      21 |  1873171 |  1399645 |      994   3211 |        0 |        0
239.45/239.56	c  239s |      21 |  1889248 |  1411245 |      994   3233 |        0 |        0
241.45/241.57	c  241s |      21 |  1904854 |  1422645 |      994   3254 |        0 |        0
243.45/243.59	c  243s |      21 |  1920191 |  1434045 |      994   3275 |        0 |        0
245.55/245.60	c  245s |      21 |  1937193 |  1445545 |      994   3297 |        0 |        0
247.56/247.60	c  247s |      21 |  1952418 |  1456045 |      994   3316 |        0 |        0
249.55/249.62	c  249s |      21 |  1969167 |  1467845 |      994   3339 |        0 |        0
251.55/251.63	c  251s |      21 |  1984814 |  1479645 |      994   3361 |        0 |        0
253.55/253.64	c  253s |      21 |  1998760 |  1490545 |     1094   3381 |        0 |        0
255.45/255.56	c  255s |      22 |  2011943 |  1500622 |     1094   3399 |        0 |        0
257.45/257.57	c  257s |      22 |  2026629 |  1511722 |     1094   3418 |        0 |        0
259.44/259.59	c  259s |      22 |  2039969 |  1522722 |     1094   3437 |        0 |        0
261.54/261.61	c  261s |      22 |  2053077 |  1533422 |     1094   3455 |        0 |        0
263.54/263.63	c  263s |      22 |  2066383 |  1544322 |     1094   3474 |        0 |        0
265.54/265.63	c  265s |      22 |  2077546 |  1554222 |     1094   3491 |        0 |        0
267.53/267.65	c  267s |      22 |  2090146 |  1564622 |     1094   3509 |        0 |        0
269.54/269.67	c  269s |      22 |  2102654 |  1575022 |     1094   3527 |        0 |        0
271.53/271.68	c  271s |      22 |  2114923 |  1585522 |     1094   3545 |        0 |        0
273.53/273.69	c  273s |      22 |  2126830 |  1596022 |     1094   3563 |        0 |        0
275.63/275.70	c  275s |      22 |  2137999 |  1605922 |     1094   3580 |        0 |        0
277.63/277.72	c  277s |      22 |  2148997 |  1615822 |     1094   3597 |        0 |        0
279.63/279.73	c  279s |      22 |  2160093 |  1625422 |     1094   3613 |        0 |        0
281.63/281.73	c  281s |      22 |  2171111 |  1635022 |     1094   3629 |        0 |        0
283.62/283.75	c  283s |      22 |  2183358 |  1645322 |     1094   3647 |        0 |        0
285.62/285.77	c  285s |      22 |  2195568 |  1655522 |     1094   3665 |        0 |        0
287.62/287.78	c  287s |      22 |  2207461 |  1665722 |     1094   3682 |        0 |        0
289.62/289.79	c  289s |      22 |  2219335 |  1676022 |     1094   3700 |        0 |        0
291.72/291.80	c  291s |      22 |  2233286 |  1687022 |     1094   3719 |        0 |        0
293.73/293.80	c  293s |      22 |  2246292 |  1697422 |     1094   3737 |        0 |        0
295.72/295.82	c  295s |      22 |  2258170 |  1707222 |     1094   3754 |        0 |        0
297.71/297.83	c  297s |      22 |  2268674 |  1716322 |     1094   3769 |        0 |        0
299.71/299.85	c  299s |      22 |  2279810 |  1725522 |     1094   3785 |        0 |        0
301.71/301.87	c  301s |      22 |  2292701 |  1735822 |     1094   3802 |        0 |        0
303.71/303.88	c  303s |      22 |  2305487 |  1746222 |     1094   3820 |        0 |        0
305.72/305.90	c  305s |      22 |  2317393 |  1756322 |     1094   3838 |        0 |        0
307.82/307.92	c  307s |      22 |  2330509 |  1766922 |     1094   3856 |        0 |        0
309.81/309.93	c  309s |      22 |  2342828 |  1777122 |     1094   3874 |        0 |        0
311.81/311.93	c  311s |      22 |  2355130 |  1787222 |     1094   3891 |        0 |        0
313.81/313.95	c  313s |      22 |  2368168 |  1797622 |     1094   3909 |        0 |        0
315.81/315.96	c  315s |      22 |  2380294 |  1807822 |     1094   3927 |        0 |        0
317.82/317.98	c  317s |      22 |  2392175 |  1817822 |     1094   3944 |        0 |        0
319.91/320.00	c  319s |      22 |  2403421 |  1827622 |     1094   3961 |        0 |        0
321.91/322.00	c  321s |      22 |  2414547 |  1837322 |     1094   3978 |        0 |        0
323.91/324.02	c  324s |      22 |  2425530 |  1846922 |     1094   3994 |        0 |        0
325.91/326.03	c  326s |      22 |  2437662 |  1856822 |     1094   4011 |        0 |        0
327.90/328.03	c  328s |      22 |  2450091 |  1866922 |     1094   4029 |        0 |        0
329.91/330.04	c  330s |      22 |  2461774 |  1876822 |     1094   4046 |        0 |        0
331.90/332.04	c  332s |      22 |  2473338 |  1886522 |     1094   4063 |        0 |        0
333.90/334.05	c  334s |      22 |  2485626 |  1896422 |     1094   4080 |        0 |        0
335.90/336.05	c  336s |      22 |  2499622 |  1907022 |     1094   4098 |        0 |        0
337.90/338.06	c  338s |      22 |  2513408 |  1917722 |     1094   4117 |        0 |        0
339.90/340.07	c  340s |      22 |  2526772 |  1928222 |     1094   4135 |        0 |        0
341.90/342.08	c  342s |      22 |  2539536 |  1938422 |     1094   4152 |        0 |        0
343.90/344.09	c  344s |      22 |  2550079 |  1947922 |     1094   4168 |        0 |        0
346.00/346.10	c  346s |      22 |  2561661 |  1958122 |     1094   4186 |        0 |        0
347.99/348.12	c  348s |      22 |  2573461 |  1968122 |     1094   4203 |        0 |        0
349.99/350.14	c  350s |      22 |  2585339 |  1978022 |     1094   4220 |        0 |        0
352.00/352.15	c  352s |      22 |  2597220 |  1988022 |     1094   4237 |        0 |        0
353.99/354.16	c  354s |      22 |  2608825 |  1997622 |     1094   4253 |        0 |        0
355.99/356.17	c  356s |      22 |  2618910 |  2006522 |     1094   4268 |        0 |        0
357.99/358.17	c  358s |      22 |  2630171 |  2016222 |     1094   4285 |        0 |        0
359.99/360.18	c  360s |      22 |  2642685 |  2026722 |     1094   4303 |        0 |        0
361.99/362.19	c  362s |      22 |  2654541 |  2036922 |     1094   4320 |        0 |        0
363.99/364.19	c  364s |      22 |  2665886 |  2046522 |     1094   4337 |        0 |        0
366.09/366.21	c  366s |      22 |  2676720 |  2055722 |     1094   4352 |        0 |        0
368.08/368.23	c  368s |      22 |  2687694 |  2065222 |     1094   4369 |        0 |        0
370.08/370.24	c  370s |      22 |  2699311 |  2075122 |     1094   4385 |        0 |        0
372.08/372.26	c  372s |      22 |  2710177 |  2084322 |     1094   4401 |        0 |        0
374.08/374.27	c  374s |      22 |  2720983 |  2093522 |     1094   4417 |        0 |        0
376.08/376.29	c  376s |      22 |  2731710 |  2102722 |     1094   4432 |        0 |        0
378.07/378.29	c  378s |      22 |  2743068 |  2112222 |     1094   4448 |        0 |        0
380.17/380.31	c  380s |      22 |  2753876 |  2121322 |     1094   4464 |        0 |        0
382.17/382.31	c  382s |      22 |  2763867 |  2130022 |     1094   4479 |        0 |        0
384.17/384.32	c  384s |      22 |  2774702 |  2139322 |     1094   4495 |        0 |        0
386.17/386.32	c  386s |      22 |  2785512 |  2148322 |     1094   4510 |        0 |        0
388.17/388.33	c  388s |      22 |  2800002 |  2159122 |     1094   4529 |        0 |        0
390.17/390.34	c  390s |      22 |  2813643 |  2169322 |     1094   4546 |        0 |        0
392.17/392.35	c  392s |      22 |  2826287 |  2179322 |     1094   4563 |        0 |        0
394.17/394.35	c  394s |      22 |  2837854 |  2188922 |     1094   4580 |        0 |        0
396.16/396.37	c  396s |      22 |  2849823 |  2198522 |     1094   4597 |        0 |        0
398.18/398.38	c  398s |      22 |  2861787 |  2208222 |     1094   4613 |        0 |        0
400.17/400.38	c  400s |      22 |  2873457 |  2217822 |     1094   4630 |        0 |        0
402.17/402.39	c  402s |      22 |  2884786 |  2227022 |     1094   4646 |        0 |        0
404.27/404.40	c  404s |      22 |  2896980 |  2236722 |     1204   4662 |        0 |        0
406.27/406.40	c  406s |      22 |  2908814 |  2245922 |     1204   4677 |        0 |        0
407.36/407.55	c  407s |      23 |  2915019 |  2251038 |     1204   4685 |        0 |        0
409.36/409.56	c  409s |      23 |  2928555 |  2261538 |     1204   4701 |        0 |        0
411.36/411.58	c  411s |      23 |  2940077 |  2271238 |     1204   4717 |        0 |        0
413.36/413.58	c  413s |      23 |  2953834 |  2281438 |     1204   4733 |        0 |        0
415.46/415.60	c  415s |      23 |  2966287 |  2290738 |     1204   4747 |        0 |        0
417.45/417.61	c  417s |      23 |  2978135 |  2300038 |     1204   4762 |        0 |        0
419.45/419.62	c  419s |      23 |  2990470 |  2309438 |     1204   4777 |        0 |        0
421.45/421.63	c  421s |      23 |  3005953 |  2320238 |     1204   4794 |        0 |        0
423.45/423.65	c  423s |      23 |  3020700 |  2330738 |     1204   4811 |        0 |        0
425.45/425.66	c  425s |      23 |  3033005 |  2340138 |     1204   4825 |        0 |        0
427.44/427.67	c  427s |      23 |  3046989 |  2349938 |     1204   4841 |        0 |        0
429.44/429.68	c  429s |      23 |  3060208 |  2359838 |     1204   4857 |        0 |        0
431.54/431.70	c  431s |      23 |  3072190 |  2369238 |     1204   4871 |        0 |        0
433.54/433.72	c  433s |      23 |  3083589 |  2378238 |     1204   4885 |        0 |        0
435.55/435.74	c  435s |      23 |  3095043 |  2387238 |     1204   4900 |        0 |        0
437.53/437.75	c  437s |      23 |  3105295 |  2395438 |     1204   4912 |        0 |        0
439.53/439.76	c  439s |      23 |  3117246 |  2404638 |     1204   4927 |        0 |        0
441.54/441.77	c  441s |      23 |  3129695 |  2413338 |     1204   4940 |        0 |        0
443.54/443.78	c  443s |      23 |  3142003 |  2422538 |     1204   4955 |        0 |        0
445.54/445.79	c  445s |      23 |  3154234 |  2431838 |     1204   4969 |        0 |        0
447.55/447.80	c  447s |      23 |  3166820 |  2441338 |     1204   4984 |        0 |        0
449.64/449.81	c  449s |      23 |  3179964 |  2450838 |     1204   4999 |        0 |        0
451.64/451.82	c  451s |      23 |  3195701 |  2461038 |     1204   5015 |        0 |        0
453.64/453.83	c  453s |      23 |  3206295 |  2469938 |     1204   5029 |        0 |        0
455.63/455.84	c  455s |      23 |  3217421 |  2478638 |     1204   5043 |        0 |        0
457.63/457.84	c  457s |      23 |  3228390 |  2487538 |     1204   5057 |        0 |        0
459.64/459.85	c  459s |      23 |  3238949 |  2496738 |     1204   5071 |        0 |        0
461.63/461.87	c  461s |      23 |  3250158 |  2506038 |     1204   5085 |        0 |        0
463.63/463.88	c  463s |      23 |  3259859 |  2514338 |     1204   5098 |        0 |        0
465.73/465.90	c  465s |      23 |  3270644 |  2523238 |     1204   5112 |        0 |        0
467.73/467.92	c  467s |      23 |  3281767 |  2532438 |     1204   5126 |        0 |        0
469.73/469.94	c  469s |      23 |  3293265 |  2541638 |     1204   5141 |        0 |        0
471.73/471.95	c  471s |      23 |  3304590 |  2550538 |     1204   5155 |        0 |        0
473.72/473.95	c  473s |      23 |  3314880 |  2559338 |     1204   5168 |        0 |        0
475.72/475.98	c  475s |      23 |  3324047 |  2567438 |     1204   5181 |        0 |        0
477.72/477.99	c  477s |      23 |  3333163 |  2575238 |     1204   5193 |        0 |        0
479.82/480.01	c  479s |      23 |  3344404 |  2584238 |     1204   5207 |        0 |        0
481.82/482.02	c  482s |      23 |  3354787 |  2593038 |     1204   5221 |        0 |        0
483.83/484.04	c  484s |      23 |  3365276 |  2601938 |     1204   5235 |        0 |        0
485.82/486.05	c  486s |      23 |  3376060 |  2610938 |     1204   5249 |        0 |        0
487.82/488.08	c  488s |      23 |  3386267 |  2619538 |     1204   5263 |        0 |        0
489.82/490.09	c  490s |      23 |  3397291 |  2628538 |     1204   5277 |        0 |        0
491.92/492.10	c  492s |      23 |  3408640 |  2638038 |     1204   5292 |        0 |        0
493.91/494.11	c  494s |      23 |  3420819 |  2647938 |     1204   5307 |        0 |        0
495.92/496.13	c  496s |      23 |  3432102 |  2657238 |     1204   5322 |        0 |        0
497.91/498.14	c  498s |      23 |  3443894 |  2666738 |     1204   5337 |        0 |        0
499.91/500.15	c  500s |      23 |  3454846 |  2675938 |     1204   5351 |        0 |        0
501.91/502.16	c  502s |      23 |  3466556 |  2685138 |     1204   5366 |        0 |        0
503.91/504.17	c  504s |      23 |  3476761 |  2693638 |     1204   5379 |        0 |        0
505.92/506.18	c  506s |      23 |  3486904 |  2702138 |     1204   5392 |        0 |        0
507.90/508.19	c  508s |      23 |  3496232 |  2710238 |     1204   5404 |        0 |        0
510.00/510.21	c  510s |      23 |  3505673 |  2718338 |     1204   5417 |        0 |        0
512.00/512.22	c  512s |      23 |  3515234 |  2726238 |     1204   5429 |        0 |        0
514.00/514.24	c  514s |      23 |  3524420 |  2733938 |     1204   5441 |        0 |        0
516.00/516.26	c  516s |      23 |  3534215 |  2741738 |     1204   5453 |        0 |        0
518.01/518.28	c  518s |      23 |  3544368 |  2749538 |     1204   5465 |        0 |        0
520.00/520.29	c  520s |      23 |  3558077 |  2759838 |     1204   5481 |        0 |        0
522.10/522.30	c  522s |      23 |  3573438 |  2770538 |     1204   5498 |        0 |        0
524.10/524.33	c  524s |      23 |  3585494 |  2779838 |     1204   5512 |        0 |        0
526.10/526.34	c  526s |      23 |  3596504 |  2788738 |     1204   5526 |        0 |        0
528.09/528.34	c  528s |      23 |  3608815 |  2798238 |     1204   5541 |        0 |        0
530.10/530.36	c  530s |      23 |  3619964 |  2806938 |     1204   5555 |        0 |        0
532.09/532.36	c  532s |      23 |  3630923 |  2815938 |     1204   5569 |        0 |        0
534.10/534.36	c  534s |      23 |  3642563 |  2825438 |     1204   5583 |        0 |        0
536.10/536.37	c  536s |      23 |  3653866 |  2834638 |     1204   5598 |        0 |        0
538.09/538.39	c  538s |      23 |  3664259 |  2843338 |     1204   5611 |        0 |        0
540.09/540.39	c  540s |      23 |  3676395 |  2852738 |     1204   5626 |        0 |        0
542.10/542.39	c  542s |      23 |  3688929 |  2862238 |     1204   5641 |        0 |        0
544.09/544.39	c  544s |      23 |  3703253 |  2871838 |     1204   5656 |        0 |        0
546.19/546.40	c  546s |      23 |  3716264 |  2881838 |     1204   5671 |        0 |        0
548.19/548.41	c  548s |      23 |  3730235 |  2892338 |     1204   5688 |        0 |        0
550.19/550.43	c  550s |      23 |  3742729 |  2903038 |     1204   5704 |        0 |        0
552.19/552.43	c  552s |      23 |  3755371 |  2913738 |     1204   5721 |        0 |        0
554.19/554.45	c  554s |      23 |  3767956 |  2924038 |     1204   5737 |        0 |        0
556.19/556.45	c  556s |      23 |  3780792 |  2933738 |     1204   5752 |        0 |        0
558.18/558.47	c  558s |      23 |  3794840 |  2944138 |     1204   5768 |        0 |        0
560.18/560.49	c  560s |      23 |  3806073 |  2953138 |     1204   5782 |        0 |        0
562.28/562.50	c  562s |      23 |  3817136 |  2961938 |     1204   5796 |        0 |        0
564.28/564.50	c  564s |      23 |  3830959 |  2973138 |     1204   5813 |        0 |        0
566.18/566.50	c  566s |      23 |  3842595 |  2983138 |     1204   5829 |        0 |        0
568.27/568.50	c  568s |      23 |  3854338 |  2992738 |     1204   5843 |        0 |        0
570.27/570.50	c  570s |      23 |  3865854 |  3002238 |     1204   5858 |        0 |        0
572.27/572.52	c  572s |      23 |  3876689 |  3011238 |     1204   5872 |        0 |        0
574.27/574.53	c  574s |      23 |  3887588 |  3019838 |     1204   5885 |        0 |        0
576.28/576.53	c  576s |      23 |  3898607 |  3028638 |     1204   5899 |        0 |        0
578.26/578.54	c  578s |      23 |  3909375 |  3037338 |     1204   5912 |        0 |        0
580.26/580.54	c  580s |      23 |  3921500 |  3046938 |     1204   5928 |        0 |        0
582.26/582.55	c  582s |      23 |  3933404 |  3056538 |     1204   5942 |        0 |        0
584.26/584.56	c  584s |      23 |  3946018 |  3066338 |     1204   5958 |        0 |        0
586.26/586.57	c  586s |      23 |  3958406 |  3076038 |     1204   5973 |        0 |        0
588.26/588.58	c  588s |      23 |  3970288 |  3085338 |     1204   5988 |        0 |        0
590.26/590.59	c  590s |      23 |  3982853 |  3094938 |     1204   6003 |        0 |        0
592.36/592.61	c  592s |      23 |  3994357 |  3103938 |     1204   6017 |        0 |        0
594.36/594.62	c  594s |      23 |  4005745 |  3113238 |     1204   6032 |        0 |        0
596.36/596.63	c  596s |      23 |  4018622 |  3122538 |     1204   6046 |        0 |        0
598.35/598.65	c  598s |      23 |  4032441 |  3132638 |     1204   6062 |        0 |        0
600.36/600.67	c  600s |      23 |  4045501 |  3143038 |     1204   6079 |        0 |        0
602.35/602.68	c  602s |      23 |  4057540 |  3152538 |     1204   6094 |        0 |        0
604.35/604.68	c  604s |      23 |  4068849 |  3161638 |     1204   6108 |        0 |        0
606.45/606.70	c  606s |      23 |  4078666 |  3169838 |     1204   6120 |        0 |        0
608.44/608.71	c  608s |      23 |  4088694 |  3178338 |     1204   6134 |        0 |        0
610.44/610.72	c  610s |      23 |  4099986 |  3187538 |     1204   6149 |        0 |        0
612.46/612.73	c  612s |      23 |  4111151 |  3196638 |     1204   6163 |        0 |        0
614.45/614.76	c  614s |      23 |  4121291 |  3205438 |     1204   6177 |        0 |        0
616.45/616.78	c  616s |      23 |  4131903 |  3214238 |     1204   6191 |        0 |        0
618.45/618.78	c  618s |      23 |  4142418 |  3222738 |     1204   6205 |        0 |        0
620.54/620.80	c  620s |      23 |  4155027 |  3231938 |     1204   6219 |        0 |        0
622.54/622.80	c  622s |      23 |  4165198 |  3240538 |     1204   6232 |        0 |        0
624.44/624.80	c  624s |      23 |  4176950 |  3249638 |     1204   6247 |        0 |        0
626.54/626.81	c  626s |      23 |  4188140 |  3258938 |     1204   6262 |        0 |        0
628.54/628.82	c  628s |      23 |  4198655 |  3268038 |     1204   6276 |        0 |        0
630.54/630.83	c  630s |      23 |  4209902 |  3277438 |     1204   6291 |        0 |        0
632.53/632.85	c  632s |      23 |  4221803 |  3287038 |     1204   6307 |        0 |        0
634.54/634.87	c  634s |      23 |  4233544 |  3296538 |     1204   6322 |        0 |        0
636.53/636.87	c  636s |      23 |  4244601 |  3305738 |     1204   6337 |        0 |        0
638.53/638.88	c  638s |      23 |  4256564 |  3315438 |     1204   6352 |        0 |        0
640.53/640.89	c  640s |      23 |  4268057 |  3324838 |     1204   6367 |        0 |        0
642.63/642.90	c  642s |      23 |  4279402 |  3334438 |     1204   6382 |        0 |        0
644.62/644.91	c  644s |      23 |  4291548 |  3344438 |     1204   6397 |        0 |        0
646.63/646.93	c  646s |      23 |  4304448 |  3354238 |     1325   6412 |        0 |        0
648.62/648.95	c  648s |      23 |  4316826 |  3364038 |     1325   6426 |        0 |        0
650.62/650.95	c  650s |      23 |  4329066 |  3373738 |     1325   6440 |        0 |        0
651.32/651.62	c  651s |      24 |  4332443 |  3376662 |     1325   6444 |        0 |        0
653.32/653.64	c  653s |      24 |  4345949 |  3387062 |     1325   6459 |        0 |        0
655.32/655.65	c  655s |      24 |  4361064 |  3397662 |     1325   6474 |        0 |        0
657.31/657.66	c  657s |      24 |  4376438 |  3407962 |     1325   6489 |        0 |        0
659.31/659.67	c  659s |      24 |  4388718 |  3417662 |     1325   6503 |        0 |        0
661.31/661.69	c  661s |      24 |  4400909 |  3427362 |     1325   6517 |        0 |        0
663.41/663.70	c  663s |      24 |  4413875 |  3437462 |     1325   6531 |        0 |        0
665.41/665.71	c  665s |      24 |  4427657 |  3447562 |     1325   6545 |        0 |        0
667.41/667.71	c  667s |      24 |  4439115 |  3457262 |     1325   6559 |        0 |        0
669.40/669.71	c  669s |      24 |  4451262 |  3467162 |     1325   6574 |        0 |        0
671.40/671.72	c  671s |      24 |  4462566 |  3476662 |     1325   6587 |        0 |        0
673.40/673.73	c  673s |      24 |  4473720 |  3486162 |     1325   6601 |        0 |        0
675.41/675.74	c  675s |      24 |  4484979 |  3495462 |     1325   6614 |        0 |        0
677.41/677.75	c  677s |      24 |  4496778 |  3504462 |     1325   6627 |        0 |        0
679.40/679.75	c  679s |      24 |  4508530 |  3513662 |     1325   6640 |        0 |        0
681.40/681.76	c  681s |      24 |  4520338 |  3523362 |     1325   6654 |        0 |        0
683.40/683.78	c  683s |      24 |  4535176 |  3533662 |     1325   6669 |        0 |        0
685.40/685.79	c  685s |      24 |  4548055 |  3543662 |     1325   6683 |        0 |        0
687.50/687.80	c  687s |      24 |  4560474 |  3554162 |     1325   6698 |        0 |        0
689.51/689.82	c  689s |      24 |  4573079 |  3564662 |     1325   6713 |        0 |        0
691.50/691.83	c  691s |      24 |  4584707 |  3574562 |     1325   6727 |        0 |        0
693.50/693.85	c  693s |      24 |  4596817 |  3584762 |     1325   6742 |        0 |        0
695.50/695.85	c  695s |      24 |  4609316 |  3594962 |     1325   6756 |        0 |        0
697.49/697.86	c  697s |      24 |  4621034 |  3604762 |     1325   6770 |        0 |        0
699.49/699.87	c  699s |      24 |  4631808 |  3613962 |     1325   6784 |        0 |        0
701.50/701.89	c  701s |      24 |  4644194 |  3623762 |     1325   6798 |        0 |        0
703.49/703.89	c  703s |      24 |  4657683 |  3633762 |     1325   6812 |        0 |        0
705.59/705.91	c  705s |      24 |  4669144 |  3643162 |     1325   6825 |        0 |        0
707.58/707.93	c  707s |      24 |  4679118 |  3651862 |     1325   6838 |        0 |        0
709.58/709.95	c  709s |      24 |  4690882 |  3661762 |     1325   6852 |        0 |        0
711.58/711.96	c  711s |      24 |  4704138 |  3672262 |     1325   6867 |        0 |        0
713.59/713.97	c  713s |      24 |  4717814 |  3683062 |     1325   6883 |        0 |        0
715.58/715.98	c  715s |      24 |  4731385 |  3693762 |     1325   6898 |        0 |        0
717.57/717.98	c  717s |      24 |  4745454 |  3703762 |     1325   6912 |        0 |        0
719.57/719.99	c  719s |      24 |  4758059 |  3713462 |     1325   6926 |        0 |        0
721.67/722.01	c  721s |      24 |  4770761 |  3723462 |     1325   6940 |        0 |        0
723.67/724.02	c  724s |      24 |  4782989 |  3733362 |     1325   6954 |        0 |        0
725.68/726.03	c  726s |      24 |  4795539 |  3743162 |     1325   6968 |        0 |        0
727.66/728.04	c  728s |      24 |  4808458 |  3753162 |     1325   6983 |        0 |        0
729.66/730.05	c  730s |      24 |  4821408 |  3763462 |     1325   6998 |        0 |        0
731.66/732.06	c  732s |      24 |  4837124 |  3774462 |     1325   7013 |        0 |        0
733.66/734.07	c  734s |      24 |  4853198 |  3785562 |     1325   7029 |        0 |        0
735.67/736.07	c  736s |      24 |  4866184 |  3795762 |     1325   7044 |        0 |        0
737.66/738.08	c  738s |      24 |  4879383 |  3805762 |     1325   7058 |        0 |        0
739.66/740.09	c  740s |      24 |  4893079 |  3816062 |     1325   7073 |        0 |        0
741.76/742.10	c  742s |      24 |  4905658 |  3826062 |     1325   7087 |        0 |        0
743.76/744.12	c  744s |      24 |  4918999 |  3835962 |     1325   7101 |        0 |        0
745.76/746.13	c  746s |      24 |  4933177 |  3845762 |     1325   7115 |        0 |        0
747.76/748.14	c  748s |      24 |  4946734 |  3855962 |     1325   7130 |        0 |        0
749.75/750.16	c  750s |      24 |  4959818 |  3865662 |     1325   7144 |        0 |        0
751.76/752.18	c  752s |      24 |  4972578 |  3875562 |     1325   7158 |        0 |        0
753.76/754.18	c  754s |      24 |  4985036 |  3885462 |     1325   7172 |        0 |        0
755.76/756.18	c  756s |      24 |  4997056 |  3895462 |     1325   7187 |        0 |        0
757.75/758.19	c  758s |      24 |  5008429 |  3904662 |     1325   7200 |        0 |        0
759.75/760.20	c  760s |      24 |  5021698 |  3914762 |     1325   7214 |        0 |        0
761.85/762.22	c  762s |      24 |  5034466 |  3924362 |     1325   7228 |        0 |        0
763.85/764.22	c  764s |      24 |  5045929 |  3933662 |     1325   7242 |        0 |        0
765.85/766.25	c  766s |      24 |  5056767 |  3943162 |     1325   7255 |        0 |        0
767.84/768.25	c  768s |      24 |  5068508 |  3952762 |     1325   7269 |        0 |        0
769.84/770.26	c  770s |      24 |  5079814 |  3961962 |     1325   7282 |        0 |        0
771.85/772.26	c  772s |      24 |  5092137 |  3971862 |     1325   7297 |        0 |        0
773.84/774.28	c  774s |      24 |  5102319 |  3980762 |     1325   7309 |        0 |        0
775.94/776.31	c  776s |      24 |  5113591 |  3990062 |     1325   7323 |        0 |        0
777.93/778.34	c  778s |      24 |  5125457 |  3999562 |     1325   7337 |        0 |        0
779.93/780.35	c  780s |      24 |  5139254 |  4009862 |     1325   7351 |        0 |        0
781.93/782.35	c  782s |      24 |  5152548 |  4020262 |     1325   7366 |        0 |        0
783.94/784.36	c  784s |      24 |  5165527 |  4030662 |     1325   7381 |        0 |        0
785.93/786.38	c  786s |      24 |  5176971 |  4040562 |     1325   7395 |        0 |        0
788.03/788.40	c  788s |      24 |  5188787 |  4050462 |     1325   7410 |        0 |        0
790.03/790.40	c  790s |      24 |  5201766 |  4060762 |     1325   7424 |        0 |        0
792.03/792.41	c  792s |      24 |  5216012 |  4071862 |     1325   7440 |        0 |        0
794.03/794.42	c  794s |      24 |  5230158 |  4082562 |     1325   7456 |        0 |        0
796.03/796.42	c  796s |      24 |  5243353 |  4092862 |     1325   7471 |        0 |        0
798.02/798.42	c  798s |      24 |  5257454 |  4103162 |     1325   7485 |        0 |        0
800.02/800.43	c  800s |      24 |  5270110 |  4113362 |     1325   7500 |        0 |        0
802.02/802.44	c  802s |      24 |  5281856 |  4123062 |     1325   7514 |        0 |        0
804.02/804.44	c  804s |      24 |  5294354 |  4132962 |     1325   7528 |        0 |        0
806.02/806.46	c  806s |      24 |  5306073 |  4142162 |     1325   7541 |        0 |        0
808.01/808.46	c  808s |      24 |  5316889 |  4151362 |     1325   7554 |        0 |        0
810.01/810.47	c  810s |      24 |  5328961 |  4160862 |     1325   7568 |        0 |        0
812.01/812.48	c  812s |      24 |  5342009 |  4170662 |     1325   7582 |        0 |        0
814.01/814.48	c  814s |      24 |  5354975 |  4180262 |     1325   7596 |        0 |        0
816.01/816.49	c  816s |      24 |  5370580 |  4190762 |     1325   7611 |        0 |        0
818.01/818.50	c  818s |      24 |  5383406 |  4200762 |     1325   7625 |        0 |        0
820.10/820.53	c  820s |      24 |  5396455 |  4210262 |     1325   7639 |        0 |        0
822.10/822.54	c  822s |      24 |  5407199 |  4219062 |     1325   7651 |        0 |        0
824.10/824.55	c  824s |      24 |  5416848 |  4227362 |     1325   7663 |        0 |        0
826.10/826.55	c  826s |      24 |  5427026 |  4235862 |     1325   7676 |        0 |        0
828.10/828.57	c  828s |      24 |  5437313 |  4244462 |     1325   7688 |        0 |        0
830.10/830.57	c  830s |      24 |  5450535 |  4254662 |     1325   7703 |        0 |        0
832.10/832.59	c  832s |      24 |  5464156 |  4264962 |     1325   7717 |        0 |        0
834.10/834.59	c  834s |      24 |  5476435 |  4274462 |     1325   7731 |        0 |        0
836.19/836.60	c  836s |      24 |  5489131 |  4284162 |     1325   7745 |        0 |        0
838.19/838.60	c  838s |      24 |  5500094 |  4293262 |     1325   7758 |        0 |        0
840.19/840.63	c  840s |      24 |  5510781 |  4302462 |     1325   7771 |        0 |        0
842.19/842.63	c  842s |      24 |  5521915 |  4311462 |     1325   7784 |        0 |        0
844.19/844.64	c  844s |      24 |  5532743 |  4320562 |     1325   7797 |        0 |        0
846.19/846.65	c  846s |      24 |  5543919 |  4329462 |     1325   7810 |        0 |        0
848.18/848.65	c  848s |      24 |  5555666 |  4338562 |     1325   7823 |        0 |        0
850.18/850.67	c  850s |      24 |  5568190 |  4348162 |     1325   7837 |        0 |        0
852.28/852.70	c  852s |      24 |  5580184 |  4357862 |     1325   7851 |        0 |        0
854.18/854.70	c  854s |      24 |  5593126 |  4367862 |     1325   7865 |        0 |        0
856.29/856.71	c  856s |      24 |  5606065 |  4377962 |     1325   7879 |        0 |        0
858.28/858.72	c  858s |      24 |  5619209 |  4388062 |     1325   7894 |        0 |        0
860.28/860.72	c  860s |      24 |  5631901 |  4397762 |     1325   7908 |        0 |        0
862.28/862.74	c  862s |      24 |  5644961 |  4407862 |     1325   7923 |        0 |        0
864.29/864.76	c  864s |      24 |  5658312 |  4417962 |     1325   7937 |        0 |        0
866.28/866.76	c  866s |      24 |  5671028 |  4427662 |     1325   7951 |        0 |        0
868.28/868.79	c  868s |      24 |  5684736 |  4437662 |     1325   7966 |        0 |        0
870.38/870.80	c  870s |      24 |  5695950 |  4447062 |     1325   7979 |        0 |        0
872.38/872.81	c  872s |      24 |  5707499 |  4456362 |     1325   7992 |        0 |        0
874.38/874.82	c  874s |      24 |  5718764 |  4465462 |     1325   8006 |        0 |        0
876.38/876.82	c  876s |      24 |  5731192 |  4475362 |     1325   8020 |        0 |        0
878.37/878.82	c  878s |      24 |  5742482 |  4484762 |     1325   8033 |        0 |        0
880.37/880.84	c  880s |      24 |  5754897 |  4494862 |     1325   8048 |        0 |        0
882.37/882.84	c  882s |      24 |  5766930 |  4505062 |     1325   8062 |        0 |        0
884.37/884.86	c  884s |      24 |  5779410 |  4515162 |     1325   8076 |        0 |        0
886.37/886.87	c  886s |      24 |  5792701 |  4525562 |     1325   8091 |        0 |        0
888.37/888.90	c  888s |      24 |  5804606 |  4535362 |     1325   8105 |        0 |        0
890.46/890.91	c  890s |      24 |  5816418 |  4544962 |     1325   8119 |        0 |        0
892.46/892.92	c  892s |      24 |  5828635 |  4554962 |     1325   8133 |        0 |        0
894.46/894.92	c  894s |      24 |  5840386 |  4564562 |     1325   8147 |        0 |        0
896.46/896.92	c  896s |      24 |  5850730 |  4573362 |     1325   8160 |        0 |        0
898.46/898.94	c  898s |      24 |  5861337 |  4582162 |     1325   8172 |        0 |        0
900.47/900.95	c  900s |      24 |  5872423 |  4591062 |     1325   8185 |        0 |        0
902.46/902.95	c  902s |      24 |  5883674 |  4600162 |     1325   8198 |        0 |        0
904.46/904.96	c  904s |      24 |  5895575 |  4609262 |     1325   8211 |        0 |        0
906.46/906.97	c  906s |      24 |  5907711 |  4618762 |     1325   8225 |        0 |        0
908.46/908.98	c  908s |      24 |  5920563 |  4628462 |     1325   8239 |        0 |        0
910.47/910.99	c  910s |      24 |  5933263 |  4638262 |     1325   8253 |        0 |        0
912.57/913.01	c  912s |      24 |  5946465 |  4648362 |     1325   8267 |        0 |        0
914.56/915.02	c  915s |      24 |  5959621 |  4658262 |     1325   8281 |        0 |        0
916.56/917.03	c  917s |      24 |  5970553 |  4667262 |     1325   8294 |        0 |        0
918.56/919.05	c  919s |      24 |  5984275 |  4677162 |     1325   8308 |        0 |        0
920.56/921.05	c  921s |      24 |  5995704 |  4686562 |     1325   8322 |        0 |        0
922.57/923.05	c  923s |      24 |  6008496 |  4696362 |     1325   8336 |        0 |        0
924.56/925.07	c  925s |      24 |  6020865 |  4705962 |     1325   8350 |        0 |        0
926.56/927.08	c  927s |      24 |  6032098 |  4715162 |     1325   8363 |        0 |        0
928.66/929.10	c  929s |      24 |  6042614 |  4723662 |     1325   8376 |        0 |        0
930.66/931.11	c  931s |      24 |  6054808 |  4732762 |     1325   8389 |        0 |        0
932.66/933.11	c  933s |      24 |  6066193 |  4741962 |     1325   8402 |        0 |        0
934.66/935.13	c  935s |      24 |  6077627 |  4751462 |     1325   8416 |        0 |        0
936.66/937.14	c  937s |      24 |  6089103 |  4760762 |     1325   8429 |        0 |        0
938.65/939.15	c  939s |      24 |  6101630 |  4770662 |     1325   8443 |        0 |        0
940.65/941.17	c  941s |      24 |  6112809 |  4779762 |     1325   8456 |        0 |        0
942.65/943.19	c  943s |      24 |  6124192 |  4789162 |     1325   8470 |        0 |        0
944.65/945.19	c  945s |      24 |  6136800 |  4798962 |     1325   8484 |        0 |        0
946.66/947.20	c  947s |      24 |  6151002 |  4809662 |     1325   8500 |        0 |        0
948.75/949.22	c  949s |      24 |  6164555 |  4819662 |     1325   8514 |        0 |        0
950.75/951.23	c  951s |      24 |  6176087 |  4829262 |     1325   8528 |        0 |        0
952.75/953.24	c  953s |      24 |  6188026 |  4838962 |     1325   8542 |        0 |        0
954.75/955.26	c  955s |      24 |  6200082 |  4848762 |     1325   8556 |        0 |        0
956.75/957.26	c  957s |      24 |  6213286 |  4859062 |     1325   8571 |        0 |        0
958.76/959.28	c  959s |      24 |  6224865 |  4868662 |     1325   8585 |        0 |        0
960.76/961.28	c  961s |      24 |  6236200 |  4878062 |     1325   8598 |        0 |        0
962.86/963.30	c  963s |      24 |  6248821 |  4888062 |     1325   8613 |        0 |        0
964.86/965.30	c  965s |      24 |  6259656 |  4897262 |     1325   8626 |        0 |        0
966.85/967.31	c  967s |      24 |  6271326 |  4906462 |     1325   8639 |        0 |        0
968.85/969.33	c  969s |      24 |  6283742 |  4915962 |     1325   8653 |        0 |        0
970.86/971.35	c  971s |      24 |  6295532 |  4925162 |     1325   8666 |        0 |        0
972.85/973.36	c  973s |      24 |  6308179 |  4934862 |     1325   8680 |        0 |        0
974.85/975.37	c  975s |      24 |  6321121 |  4944762 |     1325   8694 |        0 |        0
976.85/977.38	c  977s |      24 |  6334287 |  4954862 |     1325   8709 |        0 |        0
978.85/979.40	c  979s |      24 |  6345566 |  4964162 |     1325   8722 |        0 |        0
980.95/981.40	c  981s |      24 |  6356863 |  4973562 |     1325   8736 |        0 |        0
982.96/983.41	c  983s |      24 |  6369865 |  4983762 |     1325   8751 |        0 |        0
984.95/985.41	c  985s |      24 |  6383630 |  4994362 |     1325   8766 |        0 |        0
986.95/987.41	c  987s |      24 |  6396500 |  5004562 |     1325   8781 |        0 |        0
988.95/989.42	c  989s |      24 |  6408954 |  5014462 |     1325   8795 |        0 |        0
990.95/991.43	c  991s |      24 |  6424559 |  5025462 |     1325   8811 |        0 |        0
992.95/993.44	c  993s |      24 |  6437493 |  5035162 |     1458   8824 |        0 |        0
994.95/995.46	c  995s |      24 |  6449213 |  5044562 |     1458   8836 |        0 |        0
996.95/997.47	c  997s |      24 |  6460890 |  5053862 |     1458   8849 |        0 |        0
998.94/999.48	c  999s |      24 |  6473672 |  5063462 |     1458   8861 |        0 |        0
999.34/999.86	c  999s |      25 |  6475558 |  5065098 |     1458   8863 |        0 |        0
1001.34/1001.87	c 1001s |      25 |  6489076 |  5073798 |     1458   8875 |        0 |        0
1003.34/1003.88	c 1003s |      25 |  6502530 |  5082998 |     1458   8887 |        0 |        0
1005.44/1005.90	c 1005s |      25 |  6514620 |  5091598 |     1458   8898 |        0 |        0
1007.44/1007.90	c 1007s |      25 |  6527235 |  5100398 |     1458   8910 |        0 |        0
1009.45/1009.92	c 1009s |      25 |  6539223 |  5109198 |     1458   8921 |        0 |        0
1011.44/1011.92	c 1011s |      25 |  6552617 |  5118298 |     1458   8933 |        0 |        0
1013.44/1013.94	c 1013s |      25 |  6565333 |  5127098 |     1458   8945 |        0 |        0
1015.44/1015.94	c 1015s |      25 |  6577597 |  5135398 |     1458   8955 |        0 |        0
1017.44/1017.95	c 1017s |      25 |  6590654 |  5144398 |     1458   8967 |        0 |        0
1019.45/1019.97	c 1019s |      25 |  6603994 |  5153198 |     1458   8979 |        0 |        0
1021.45/1021.98	c 1021s |      25 |  6616175 |  5161598 |     1458   8990 |        0 |        0
1023.45/1023.99	c 1023s |      25 |  6628169 |  5170198 |     1458   9001 |        0 |        0
1025.55/1026.01	c 1026s |      25 |  6640564 |  5178698 |     1458   9012 |        0 |        0
1027.54/1028.04	c 1028s |      25 |  6652002 |  5186898 |     1458   9023 |        0 |        0
1029.54/1030.05	c 1030s |      25 |  6663201 |  5195298 |     1458   9034 |        0 |        0
1031.54/1032.07	c 1032s |      25 |  6674679 |  5203498 |     1458   9044 |        0 |        0
1033.55/1034.10	c 1034s |      25 |  6685489 |  5211398 |     1458   9055 |        0 |        0
1035.64/1036.12	c 1036s |      25 |  6695854 |  5219598 |     1458   9065 |        0 |        0
1037.64/1038.14	c 1038s |      25 |  6708010 |  5227998 |     1458   9076 |        0 |        0
1039.64/1040.16	c 1040s |      25 |  6719094 |  5235998 |     1458   9086 |        0 |        0
1041.64/1042.18	c 1042s |      25 |  6729751 |  5243798 |     1458   9097 |        0 |        0
1043.64/1044.18	c 1044s |      25 |  6739666 |  5251198 |     1458   9106 |        0 |        0
1045.64/1046.18	c 1046s |      25 |  6750363 |  5258898 |     1458   9116 |        0 |        0
1047.63/1048.19	c 1048s |      25 |  6761622 |  5267198 |     1458   9127 |        0 |        0
1049.63/1050.20	c 1050s |      25 |  6772731 |  5275698 |     1458   9138 |        0 |        0
1051.73/1052.20	c 1052s |      25 |  6783296 |  5283898 |     1458   9149 |        0 |        0
1053.74/1054.21	c 1054s |      25 |  6795552 |  5292598 |     1458   9160 |        0 |        0
1055.74/1056.22	c 1056s |      25 |  6807753 |  5301798 |     1458   9172 |        0 |        0
1057.75/1058.22	c 1058s |      25 |  6822043 |  5311398 |     1458   9185 |        0 |        0
1059.74/1060.23	c 1060s |      25 |  6833756 |  5320198 |     1458   9197 |        0 |        0
1061.74/1062.24	c 1062s |      25 |  6843440 |  5328298 |     1458   9207 |        0 |        0
1063.74/1064.25	c 1064s |      25 |  6853344 |  5336498 |     1458   9218 |        0 |        0
1065.74/1066.26	c 1066s |      25 |  6863628 |  5344598 |     1458   9229 |        0 |        0
1067.74/1068.27	c 1068s |      25 |  6873661 |  5352798 |     1458   9239 |        0 |        0
1069.74/1070.29	c 1070s |      25 |  6882720 |  5360398 |     1458   9249 |        0 |        0
1071.84/1072.31	c 1072s |      25 |  6891891 |  5367898 |     1458   9259 |        0 |        0
1073.83/1074.32	c 1074s |      25 |  6901676 |  5375598 |     1458   9269 |        0 |        0
1075.83/1076.34	c 1076s |      25 |  6911233 |  5383198 |     1458   9279 |        0 |        0
1077.83/1078.35	c 1078s |      25 |  6921857 |  5391198 |     1458   9289 |        0 |        0
1079.84/1080.35	c 1080s |      25 |  6931843 |  5399198 |     1458   9300 |        0 |        0
1081.83/1082.36	c 1082s |      25 |  6941490 |  5406898 |     1458   9310 |        0 |        0
1083.83/1084.36	c 1084s |      25 |  6951408 |  5414798 |     1458   9320 |        0 |        0
1085.83/1086.37	c 1086s |      25 |  6960520 |  5422298 |     1458   9330 |        0 |        0
1087.83/1088.37	c 1088s |      25 |  6969645 |  5429798 |     1458   9340 |        0 |        0
1089.83/1090.38	c 1090s |      25 |  6979770 |  5437698 |     1458   9350 |        0 |        0
1091.94/1092.40	c 1092s |      25 |  6989525 |  5445798 |     1458   9361 |        0 |        0
1093.94/1094.42	c 1094s |      25 |  6999808 |  5454098 |     1458   9372 |        0 |        0
1095.94/1096.44	c 1096s |      25 |  7008850 |  5461698 |     1458   9382 |        0 |        0
1097.94/1098.44	c 1098s |      25 |  7018477 |  5469698 |     1458   9392 |        0 |        0
1099.94/1100.44	c 1100s |      25 |  7027692 |  5477798 |     1458   9403 |        0 |        0
1101.94/1102.44	c 1102s |      25 |  7037483 |  5485998 |     1458   9413 |        0 |        0
1103.94/1104.46	c 1104s |      25 |  7047783 |  5494298 |     1458   9424 |        0 |        0
1105.93/1106.47	c 1106s |      25 |  7057840 |  5502298 |     1458   9434 |        0 |        0
1107.93/1108.47	c 1108s |      25 |  7068314 |  5510498 |     1458   9445 |        0 |        0
1109.93/1110.47	c 1110s |      25 |  7078769 |  5518598 |     1458   9456 |        0 |        0
1111.93/1112.48	c 1112s |      25 |  7089924 |  5526998 |     1458   9467 |        0 |        0
1113.94/1114.49	c 1114s |      25 |  7100266 |  5535198 |     1458   9477 |        0 |        0
1116.04/1116.50	c 1116s |      25 |  7110725 |  5543398 |     1458   9488 |        0 |        0
1118.03/1118.52	c 1118s |      25 |  7121530 |  5551898 |     1458   9499 |        0 |        0
1120.03/1120.54	c 1120s |      25 |  7132241 |  5560198 |     1458   9510 |        0 |        0
1122.03/1122.54	c 1122s |      25 |  7144229 |  5568498 |     1458   9521 |        0 |        0
1124.03/1124.55	c 1124s |      25 |  7154919 |  5576798 |     1458   9531 |        0 |        0
1126.03/1126.57	c 1126s |      25 |  7165130 |  5584498 |     1458   9541 |        0 |        0
1128.03/1128.58	c 1128s |      25 |  7175415 |  5592398 |     1458   9552 |        0 |        0
1130.02/1130.58	c 1130s |      25 |  7185442 |  5600298 |     1458   9562 |        0 |        0
1132.02/1132.58	c 1132s |      25 |  7195106 |  5608098 |     1458   9572 |        0 |        0
1134.02/1134.59	c 1134s |      25 |  7205601 |  5615998 |     1458   9582 |        0 |        0
1136.02/1136.59	c 1136s |      25 |  7215625 |  5623698 |     1458   9592 |        0 |        0
1138.13/1138.61	c 1138s |      25 |  7225178 |  5631198 |     1458   9602 |        0 |        0
1140.12/1140.63	c 1140s |      25 |  7234788 |  5638798 |     1458   9612 |        0 |        0
1142.12/1142.65	c 1142s |      25 |  7244567 |  5646898 |     1458   9623 |        0 |        0
1144.12/1144.68	c 1144s |      25 |  7255090 |  5655098 |     1458   9633 |        0 |        0
1146.12/1146.68	c 1146s |      25 |  7264295 |  5662698 |     1458   9643 |        0 |        0
1148.12/1148.69	c 1148s |      25 |  7273349 |  5670098 |     1458   9653 |        0 |        0
1150.13/1150.70	c 1150s |      25 |  7283287 |  5677998 |     1458   9663 |        0 |        0
1152.22/1152.70	c 1152s |      25 |  7292715 |  5685298 |     1458   9673 |        0 |        0
1154.22/1154.71	c 1154s |      25 |  7302619 |  5693098 |     1458   9683 |        0 |        0
1156.22/1156.72	c 1156s |      25 |  7313054 |  5701298 |     1458   9694 |        0 |        0
1158.22/1158.72	c 1158s |      25 |  7324368 |  5709898 |     1458   9705 |        0 |        0
1160.22/1160.74	c 1160s |      25 |  7334911 |  5717898 |     1458   9715 |        0 |        0
1162.23/1162.76	c 1162s |      25 |  7345420 |  5725698 |     1458   9725 |        0 |        0
1164.23/1164.79	c 1164s |      25 |  7353890 |  5732498 |     1458   9734 |        0 |        0
1166.32/1166.81	c 1166s |      25 |  7362851 |  5739498 |     1458   9743 |        0 |        0
1168.32/1168.83	c 1168s |      25 |  7372812 |  5747298 |     1458   9753 |        0 |        0
1170.32/1170.85	c 1170s |      25 |  7383417 |  5755198 |     1458   9764 |        0 |        0
1172.32/1172.88	c 1172s |      25 |  7393917 |  5763098 |     1458   9774 |        0 |        0
1174.33/1174.88	c 1174s |      25 |  7404099 |  5770598 |     1458   9784 |        0 |        0
1176.32/1176.89	c 1176s |      25 |  7415877 |  5778798 |     1458   9795 |        0 |        0
1178.32/1178.89	c 1178s |      25 |  7428855 |  5786998 |     1458   9805 |        0 |        0
1180.32/1180.89	c 1180s |      25 |  7440206 |  5795098 |     1458   9816 |        0 |        0
1182.42/1182.90	c 1182s |      25 |  7449844 |  5802898 |     1458   9826 |        0 |        0
1184.42/1184.91	c 1184s |      25 |  7459238 |  5810798 |     1458   9836 |        0 |        0
1186.43/1186.92	c 1186s |      25 |  7469467 |  5818898 |     1458   9847 |        0 |        0
1188.42/1188.94	c 1188s |      25 |  7479611 |  5826898 |     1458   9857 |        0 |        0
1190.42/1190.95	c 1190s |      25 |  7488895 |  5834398 |     1458   9867 |        0 |        0
1192.42/1192.95	c 1192s |      25 |  7498790 |  5842398 |     1458   9877 |        0 |        0
1194.42/1194.98	c 1194s |      25 |  7509340 |  5850198 |     1458   9888 |        0 |        0
1196.43/1196.98	c 1196s |      25 |  7520097 |  5857898 |     1458   9898 |        0 |        0
1198.42/1198.99	c 1198s |      25 |  7532184 |  5866398 |     1458   9909 |        0 |        0
1200.52/1201.01	c 1200s |      25 |  7544942 |  5875398 |     1458   9921 |        0 |        0
1202.52/1203.03	c 1203s |      25 |  7555000 |  5883798 |     1458   9932 |        0 |        0
1204.52/1205.03	c 1205s |      25 |  7566459 |  5892298 |     1458   9943 |        0 |        0
1206.52/1207.05	c 1207s |      25 |  7577218 |  5900498 |     1458   9954 |        0 |        0
1208.52/1209.08	c 1209s |      25 |  7587624 |  5908898 |     1458   9965 |        0 |        0
1210.51/1211.08	c 1211s |      25 |  7598269 |  5917098 |     1458   9975 |        0 |        0
1212.61/1213.10	c 1213s |      25 |  7611933 |  5926098 |     1458   9987 |        0 |        0
1214.61/1215.13	c 1215s |      25 |  7623107 |  5934498 |     1458   9998 |        0 |        0
1216.61/1217.14	c 1217s |      25 |  7633910 |  5942698 |     1458  10009 |        0 |        0
1218.61/1219.15	c 1219s |      25 |  7648117 |  5951998 |     1458  10021 |        0 |        0
1220.62/1221.17	c 1221s |      25 |  7658744 |  5960298 |     1458  10032 |        0 |        0
1222.61/1223.18	c 1223s |      25 |  7670057 |  5968598 |     1458  10043 |        0 |        0
1224.71/1225.20	c 1225s |      25 |  7681650 |  5976698 |     1458  10054 |        0 |        0
1226.72/1227.22	c 1227s |      25 |  7692253 |  5984398 |     1458  10064 |        0 |        0
1228.72/1229.24	c 1229s |      25 |  7702484 |  5992198 |     1458  10074 |        0 |        0
1230.71/1231.24	c 1231s |      25 |  7713470 |  6000198 |     1458  10084 |        0 |        0
1232.72/1233.24	c 1233s |      25 |  7725207 |  6008398 |     1458  10095 |        0 |        0
1234.71/1235.27	c 1235s |      25 |  7735123 |  6016398 |     1458  10106 |        0 |        0
1236.71/1237.29	c 1237s |      25 |  7745514 |  6024098 |     1458  10116 |        0 |        0
1238.81/1239.31	c 1239s |      25 |  7756015 |  6031898 |     1458  10126 |        0 |        0
1240.81/1241.33	c 1241s |      25 |  7765969 |  6039398 |     1458  10136 |        0 |        0
1242.81/1243.33	c 1243s |      25 |  7776793 |  6047498 |     1458  10146 |        0 |        0
1244.82/1245.33	c 1245s |      25 |  7787606 |  6055398 |     1458  10157 |        0 |        0
1246.81/1247.34	c 1247s |      25 |  7797559 |  6063098 |     1458  10167 |        0 |        0
1248.81/1249.34	c 1249s |      25 |  7808049 |  6071298 |     1458  10177 |        0 |        0
1250.81/1251.37	c 1251s |      25 |  7817155 |  6078898 |     1458  10187 |        0 |        0
1252.81/1253.37	c 1253s |      25 |  7828133 |  6086998 |     1458  10198 |        0 |        0
1254.81/1255.40	c 1255s |      25 |  7838536 |  6094898 |     1458  10208 |        0 |        0
1256.92/1257.42	c 1257s |      25 |  7850321 |  6103198 |     1458  10219 |        0 |        0
1258.91/1259.43	c 1259s |      25 |  7863768 |  6111398 |     1458  10230 |        0 |        0
1260.91/1261.44	c 1261s |      25 |  7878529 |  6119698 |     1458  10241 |        0 |        0
1262.91/1263.45	c 1263s |      25 |  7890366 |  6128398 |     1458  10252 |        0 |        0
1264.91/1265.46	c 1265s |      25 |  7902280 |  6136698 |     1458  10263 |        0 |        0
1266.91/1267.47	c 1267s |      25 |  7915498 |  6145398 |     1458  10274 |        0 |        0
1268.91/1269.48	c 1269s |      25 |  7926726 |  6153498 |     1458  10285 |        0 |        0
1271.01/1271.50	c 1271s |      25 |  7938695 |  6162098 |     1458  10296 |        0 |        0
1273.01/1273.52	c 1273s |      25 |  7950515 |  6170698 |     1458  10307 |        0 |        0
1275.01/1275.52	c 1275s |      25 |  7962365 |  6179098 |     1458  10319 |        0 |        0
1277.00/1277.53	c 1277s |      25 |  7975672 |  6188098 |     1458  10330 |        0 |        0
1279.00/1279.55	c 1279s |      25 |  7987738 |  6196698 |     1458  10342 |        0 |        0
1281.01/1281.56	c 1281s |      25 |  7999961 |  6205298 |     1458  10353 |        0 |        0
1283.00/1283.58	c 1283s |      25 |  8011940 |  6213898 |     1458  10364 |        0 |        0
1285.00/1285.58	c 1285s |      25 |  8023088 |  6221998 |     1458  10375 |        0 |        0
1287.00/1287.59	c 1287s |      25 |  8033855 |  6230098 |     1458  10385 |        0 |        0
1289.00/1289.59	c 1289s |      25 |  8045358 |  6238598 |     1458  10397 |        0 |        0
1291.10/1291.61	c 1291s |      25 |  8056538 |  6247198 |     1458  10408 |        0 |        0
1293.11/1293.63	c 1293s |      25 |  8066867 |  6255198 |     1458  10418 |        0 |        0
1295.10/1295.63	c 1295s |      25 |  8077591 |  6263398 |     1458  10429 |        0 |        0
1297.10/1297.64	c 1297s |      25 |  8087605 |  6271098 |     1458  10439 |        0 |        0
1299.10/1299.64	c 1299s |      25 |  8098398 |  6279198 |     1458  10450 |        0 |        0
1301.10/1301.66	c 1301s |      25 |  8107713 |  6286898 |     1458  10460 |        0 |        0
1303.10/1303.69	c 1303s |      25 |  8117484 |  6294798 |     1458  10470 |        0 |        0
1305.10/1305.69	c 1305s |      25 |  8127022 |  6302198 |     1458  10480 |        0 |        0
1307.20/1307.72	c 1307s |      25 |  8138182 |  6310298 |     1458  10491 |        0 |        0
1309.20/1309.74	c 1309s |      25 |  8148292 |  6318198 |     1458  10501 |        0 |        0
1311.20/1311.75	c 1311s |      25 |  8158323 |  6325998 |     1458  10511 |        0 |        0
1313.20/1313.77	c 1313s |      25 |  8168845 |  6333898 |     1458  10521 |        0 |        0
1315.20/1315.79	c 1315s |      25 |  8180301 |  6342598 |     1458  10533 |        0 |        0
1317.19/1317.79	c 1317s |      25 |  8190941 |  6350898 |     1458  10544 |        0 |        0
1319.29/1319.80	c 1319s |      25 |  8201454 |  6358998 |     1458  10554 |        0 |        0
1321.29/1321.82	c 1321s |      25 |  8212516 |  6367298 |     1458  10565 |        0 |        0
1323.29/1323.83	c 1323s |      25 |  8223363 |  6375498 |     1458  10576 |        0 |        0
1325.29/1325.84	c 1325s |      25 |  8235503 |  6383998 |     1458  10587 |        0 |        0
1327.30/1327.85	c 1327s |      25 |  8247581 |  6392598 |     1458  10598 |        0 |        0
1329.29/1329.85	c 1329s |      25 |  8259251 |  6401098 |     1458  10609 |        0 |        0
1331.29/1331.87	c 1331s |      25 |  8269417 |  6408998 |     1458  10620 |        0 |        0
1333.29/1333.89	c 1333s |      25 |  8279259 |  6416898 |     1458  10630 |        0 |        0
1335.29/1335.89	c 1335s |      25 |  8288922 |  6424898 |     1458  10641 |        0 |        0
1337.39/1337.90	c 1337s |      25 |  8298930 |  6432898 |     1458  10651 |        0 |        0
1339.40/1339.92	c 1339s |      25 |  8308716 |  6440898 |     1458  10661 |        0 |        0
1341.40/1341.94	c 1341s |      25 |  8319033 |  6448998 |     1458  10672 |        0 |        0
1343.40/1343.96	c 1343s |      25 |  8330436 |  6457398 |     1458  10683 |        0 |        0
1345.40/1345.96	c 1345s |      25 |  8340719 |  6465398 |     1458  10694 |        0 |        0
1347.40/1347.98	c 1347s |      25 |  8348915 |  6472298 |     1458  10703 |        0 |        0
1349.40/1349.99	c 1349s |      25 |  8359789 |  6480298 |     1458  10713 |        0 |        0
1351.40/1352.00	c 1351s |      25 |  8370897 |  6488598 |     1458  10724 |        0 |        0
1353.50/1354.01	c 1353s |      25 |  8381321 |  6496498 |     1458  10734 |        0 |        0
1355.50/1356.02	c 1356s |      25 |  8391865 |  6504498 |     1458  10745 |        0 |        0
1357.50/1358.03	c 1358s |      25 |  8402392 |  6512598 |     1458  10755 |        0 |        0
1359.49/1360.05	c 1360s |      25 |  8412664 |  6520398 |     1458  10766 |        0 |        0
1361.49/1362.06	c 1362s |      25 |  8424628 |  6528798 |     1458  10777 |        0 |        0
1363.50/1364.08	c 1364s |      25 |  8435414 |  6537098 |     1458  10787 |        0 |        0
1365.49/1366.09	c 1366s |      25 |  8447008 |  6545498 |     1458  10799 |        0 |        0
1367.59/1368.11	c 1368s |      25 |  8456907 |  6553498 |     1458  10809 |        0 |        0
1369.59/1370.11	c 1370s |      25 |  8467350 |  6561898 |     1458  10820 |        0 |        0
1371.59/1372.13	c 1372s |      25 |  8478485 |  6570498 |     1458  10831 |        0 |        0
1373.59/1374.15	c 1374s |      25 |  8488897 |  6578798 |     1458  10842 |        0 |        0
1375.60/1376.16	c 1376s |      25 |  8498984 |  6586998 |     1458  10853 |        0 |        0
1377.59/1378.16	c 1378s |      25 |  8508235 |  6594798 |     1458  10863 |        0 |        0
1379.59/1380.18	c 1380s |      25 |  8518666 |  6603498 |     1458  10874 |        0 |        0
1381.59/1382.19	c 1382s |      25 |  8529617 |  6612098 |     1458  10886 |        0 |        0
1383.69/1384.21	c 1384s |      25 |  8539798 |  6620198 |     1458  10896 |        0 |        0
1385.69/1386.23	c 1386s |      25 |  8550118 |  6628398 |     1458  10907 |        0 |        0
1387.69/1388.25	c 1388s |      25 |  8563063 |  6637398 |     1458  10919 |        0 |        0
1389.68/1390.26	c 1390s |      25 |  8573678 |  6645198 |     1458  10929 |        0 |        0
1391.68/1392.28	c 1392s |      25 |  8583902 |  6653298 |     1458  10939 |        0 |        0
1393.78/1394.30	c 1394s |      25 |  8594422 |  6661598 |     1458  10950 |        0 |        0
1395.78/1396.31	c 1396s |      25 |  8604738 |  6669698 |     1458  10961 |        0 |        0
1397.78/1398.33	c 1398s |      25 |  8615908 |  6678298 |     1458  10972 |        0 |        0
1399.79/1400.34	c 1400s |      25 |  8626644 |  6686498 |     1458  10983 |        0 |        0
1401.78/1402.36	c 1402s |      25 |  8634957 |  6693698 |     1458  10992 |        0 |        0
1403.79/1404.36	c 1404s |      25 |  8644856 |  6701798 |     1458  11002 |        0 |        0
1405.79/1406.38	c 1406s |      25 |  8655180 |  6709998 |     1458  11013 |        0 |        0
1407.79/1408.39	c 1408s |      25 |  8665731 |  6718198 |     1458  11024 |        0 |        0
1409.89/1410.41	c 1410s |      25 |  8675795 |  6725998 |     1458  11034 |        0 |        0
1411.90/1412.42	c 1412s |      25 |  8686096 |  6733698 |     1458  11044 |        0 |        0
1413.89/1414.43	c 1414s |      25 |  8695626 |  6741698 |     1458  11055 |        0 |        0
1415.89/1416.45	c 1416s |      25 |  8706869 |  6750198 |     1458  11066 |        0 |        0
1417.89/1418.45	c 1418s |      25 |  8718201 |  6758698 |     1458  11077 |        0 |        0
1419.89/1420.47	c 1420s |      25 |  8729278 |  6767398 |     1458  11088 |        0 |        0
1421.90/1422.49	c 1422s |      25 |  8739931 |  6775698 |     1458  11099 |        0 |        0
1423.99/1424.51	c 1424s |      25 |  8750454 |  6783998 |     1458  11110 |        0 |        0
1425.99/1426.52	c 1426s |      25 |  8761368 |  6792398 |     1458  11121 |        0 |        0
1427.99/1428.55	c 1428s |      25 |  8771530 |  6800598 |     1458  11132 |        0 |        0
1429.98/1430.56	c 1430s |      25 |  8783695 |  6808898 |     1458  11143 |        0 |        0
1431.98/1432.59	c 1432s |      25 |  8793686 |  6816498 |     1458  11153 |        0 |        0
1434.08/1434.60	c 1434s |      25 |  8803600 |  6824098 |     1458  11163 |        0 |        0
1436.09/1436.62	c 1436s |      25 |  8813998 |  6831698 |     1458  11173 |        0 |        0
1438.08/1438.65	c 1438s |      25 |  8824651 |  6839598 |     1458  11183 |        0 |        0
1440.08/1440.66	c 1440s |      25 |  8834606 |  6847598 |     1458  11193 |        0 |        0
1442.08/1442.67	c 1442s |      25 |  8844503 |  6855298 |     1458  11203 |        0 |        0
1444.18/1444.70	c 1444s |      25 |  8854527 |  6862798 |     1458  11213 |        0 |        0
1446.18/1446.72	c 1446s |      25 |  8863538 |  6869998 |     1458  11223 |        0 |        0
1448.18/1448.74	c 1448s |      25 |  8873395 |  6877398 |     1458  11232 |        0 |        0
1450.18/1450.76	c 1450s |      25 |  8883777 |  6885498 |     1458  11243 |        0 |        0
1452.18/1452.76	c 1452s |      25 |  8893836 |  6893498 |     1458  11253 |        0 |        0
1454.18/1454.78	c 1454s |      25 |  8904422 |  6901098 |     1458  11263 |        0 |        0
1456.28/1456.80	c 1456s |      25 |  8915532 |  6908498 |     1458  11273 |        0 |        0
1458.27/1458.81	c 1458s |      25 |  8924963 |  6915698 |     1458  11282 |        0 |        0
1460.28/1460.83	c 1460s |      25 |  8934028 |  6922798 |     1458  11292 |        0 |        0
1462.27/1462.83	c 1462s |      25 |  8943946 |  6930098 |     1458  11301 |        0 |        0
1464.27/1464.84	c 1464s |      25 |  8953051 |  6937198 |     1458  11311 |        0 |        0
1466.27/1466.86	c 1466s |      25 |  8962833 |  6944598 |     1458  11320 |        0 |        0
1468.27/1468.87	c 1468s |      25 |  8971927 |  6951898 |     1458  11330 |        0 |        0
1470.28/1470.87	c 1470s |      25 |  8983093 |  6959998 |     1458  11340 |        0 |        0
1472.27/1472.89	c 1472s |      25 |  8994649 |  6968498 |     1458  11351 |        0 |        0
1474.27/1474.89	c 1474s |      25 |  9005740 |  6976798 |     1458  11362 |        0 |        0
1476.27/1476.89	c 1476s |      25 |  9016923 |  6984998 |     1458  11373 |        0 |        0
1478.37/1478.90	c 1478s |      25 |  9028212 |  6993398 |     1458  11384 |        0 |        0
1480.37/1480.92	c 1480s |      25 |  9037996 |  7001298 |     1458  11394 |        0 |        0
1482.38/1482.92	c 1482s |      25 |  9049327 |  7009698 |     1458  11405 |        0 |        0
1484.38/1484.92	c 1484s |      25 |  9059421 |  7017698 |     1458  11416 |        0 |        0
1486.38/1486.95	c 1486s |      25 |  9069563 |  7025598 |     1458  11426 |        0 |        0
1488.37/1488.96	c 1488s |      25 |  9080944 |  7033798 |     1458  11437 |        0 |        0
1490.37/1490.97	c 1490s |      25 |  9091401 |  7041998 |     1458  11447 |        0 |        0
1492.37/1492.99	c 1492s |      25 |  9101860 |  7050098 |     1458  11458 |        0 |        0
1494.48/1495.00	c 1494s |      25 |  9113524 |  7058798 |     1458  11469 |        0 |        0
1496.47/1497.01	c 1496s |      25 |  9124304 |  7066998 |     1458  11480 |        0 |        0
1498.47/1499.02	c 1499s |      25 |  9134332 |  7074798 |     1458  11490 |        0 |        0
1500.47/1501.02	c 1501s |      25 |  9146312 |  7083198 |     1458  11501 |        0 |        0
1502.47/1503.03	c 1503s |      25 |  9156289 |  7090898 |     1458  11511 |        0 |        0
1504.47/1505.04	c 1505s |      25 |  9166608 |  7098798 |     1458  11521 |        0 |        0
1506.48/1507.05	c 1507s |      25 |  9177504 |  7106798 |     1458  11532 |        0 |        0
1508.47/1509.05	c 1509s |      25 |  9187458 |  7114498 |     1458  11542 |        0 |        0
1510.47/1511.06	c 1511s |      25 |  9198240 |  7122498 |     1458  11552 |        0 |        0
1512.47/1513.07	c 1513s |      25 |  9208603 |  7129998 |     1458  11562 |        0 |        0
1514.47/1515.09	c 1515s |      25 |  9217177 |  7137098 |     1458  11571 |        0 |        0
1516.57/1517.12	c 1517s |      25 |  9225704 |  7143998 |     1458  11580 |        0 |        0
1518.57/1519.13	c 1519s |      25 |  9235025 |  7151398 |     1458  11590 |        0 |        0
1520.56/1521.15	c 1521s |      25 |  9244677 |  7158798 |     1458  11600 |        0 |        0
1522.56/1523.16	c 1523s |      25 |  9254346 |  7166198 |     1458  11609 |        0 |        0
1524.56/1525.16	c 1525s |      25 |  9265524 |  7174698 |     1458  11620 |        0 |        0
1526.56/1527.16	c 1527s |      25 |  9276796 |  7183198 |     1458  11632 |        0 |        0
1528.57/1529.17	c 1529s |      25 |  9289071 |  7191998 |     1458  11643 |        0 |        0
1530.56/1531.17	c 1531s |      25 |  9300872 |  7200698 |     1458  11654 |        0 |        0
1532.66/1533.20	c 1533s |      25 |  9312199 |  7209198 |     1458  11666 |        0 |        0
1534.66/1535.21	c 1535s |      25 |  9324455 |  7218098 |     1458  11677 |        0 |        0
1536.66/1537.24	c 1537s |      25 |  9335627 |  7226798 |     1458  11689 |        0 |        0
1538.66/1539.27	c 1539s |      25 |  9346154 |  7235098 |     1458  11699 |        0 |        0
1540.67/1541.27	c 1541s |      25 |  9357131 |  7243098 |     1458  11710 |        0 |        0
1542.66/1543.29	c 1543s |      25 |  9370209 |  7252098 |     1458  11722 |        0 |        0
1544.76/1545.30	c 1545s |      25 |  9382973 |  7260898 |     1458  11733 |        0 |        0
1546.77/1547.33	c 1547s |      25 |  9394030 |  7268798 |     1458  11744 |        0 |        0
1548.77/1549.34	c 1549s |      25 |  9405370 |  7276798 |     1458  11754 |        0 |        0
1550.77/1551.36	c 1551s |      25 |  9416025 |  7284898 |     1458  11764 |        0 |        0
1552.77/1553.36	c 1553s |      25 |  9424862 |  7292298 |     1458  11774 |        0 |        0
1554.76/1555.36	c 1555s |      25 |  9434573 |  7299998 |     1458  11784 |        0 |        0
1556.76/1557.37	c 1557s |      25 |  9445798 |  7308098 |     1458  11795 |        0 |        0
1558.76/1559.38	c 1559s |      25 |  9455698 |  7315698 |     1458  11805 |        0 |        0
1560.76/1561.39	c 1561s |      25 |  9465125 |  7323098 |     1458  11814 |        0 |        0
1562.86/1563.41	c 1563s |      25 |  9475926 |  7331298 |     1458  11825 |        0 |        0
1564.87/1565.44	c 1565s |      25 |  9484728 |  7338798 |     1458  11835 |        0 |        0
1566.86/1567.46	c 1567s |      25 |  9493446 |  7345898 |     1458  11844 |        0 |        0
1568.86/1569.46	c 1569s |      25 |  9504024 |  7353598 |     1458  11854 |        0 |        0
1570.86/1571.47	c 1571s |      25 |  9514681 |  7361398 |     1458  11864 |        0 |        0
1572.86/1573.47	c 1573s |      25 |  9524532 |  7368998 |     1458  11874 |        0 |        0
1574.86/1575.48	c 1575s |      25 |  9534609 |  7376698 |     1458  11884 |        0 |        0
1576.97/1577.51	c 1577s |      25 |  9543284 |  7383698 |     1458  11893 |        0 |        0
1578.96/1579.52	c 1579s |      25 |  9553107 |  7391398 |     1458  11903 |        0 |        0
1580.96/1581.53	c 1581s |      25 |  9561870 |  7398698 |     1458  11912 |        0 |        0
1582.96/1583.53	c 1583s |      25 |  9572518 |  7406498 |     1458  11922 |        0 |        0
1584.96/1585.54	c 1585s |      25 |  9584294 |  7414798 |     1458  11933 |        0 |        0
1586.96/1587.57	c 1587s |      25 |  9594509 |  7422698 |     1458  11944 |        0 |        0
1588.96/1589.58	c 1589s |      25 |  9604390 |  7430098 |     1458  11953 |        0 |        0
1590.96/1591.58	c 1591s |      25 |  9613112 |  7437198 |     1458  11962 |        0 |        0
1593.06/1593.61	c 1593s |      25 |  9622484 |  7444498 |     1458  11972 |        0 |        0
1595.06/1595.61	c 1595s |      25 |  9632489 |  7451898 |     1458  11982 |        0 |        0
1597.06/1597.61	c 1597s |      25 |  9641934 |  7459298 |     1458  11991 |        0 |        0
1599.05/1599.64	c 1599s |      25 |  9650610 |  7466798 |     1458  12001 |        0 |        0
1601.06/1601.66	c 1601s |      25 |  9659396 |  7474298 |     1458  12011 |        0 |        0
1603.05/1603.68	c 1603s |      25 |  9668714 |  7482198 |     1458  12021 |        0 |        0
1605.15/1605.70	c 1605s |      25 |  9677357 |  7489798 |     1458  12031 |        0 |        0
1607.15/1607.71	c 1607s |      25 |  9686210 |  7497398 |     1458  12041 |        0 |        0
1609.15/1609.72	c 1609s |      25 |  9694701 |  7504898 |     1458  12051 |        0 |        0
1611.15/1611.75	c 1611s |      25 |  9703501 |  7512498 |     1458  12060 |        0 |        0
1613.16/1613.77	c 1613s |      25 |  9712168 |  7519798 |     1458  12070 |        0 |        0
1615.15/1615.78	c 1615s |      25 |  9722044 |  7527798 |     1458  12080 |        0 |        0
1617.25/1617.80	c 1617s |      25 |  9731955 |  7535698 |     1458  12091 |        0 |        0
1619.25/1619.81	c 1619s |      25 |  9743023 |  7543998 |     1604  12101 |        0 |        0
1621.25/1621.82	c 1621s |      25 |  9753261 |  7551698 |     1604  12110 |        0 |        0
1623.25/1623.85	c 1623s |      25 |  9762422 |  7559198 |     1604  12119 |        0 |        0
1625.26/1625.87	c 1625s |      25 |  9773776 |  7567098 |     1604  12129 |        0 |        0
1627.25/1627.88	c 1627s |      25 |  9782194 |  7574098 |     1604  12137 |        0 |        0
1629.25/1629.90	c 1629s |      25 |  9790920 |  7581398 |     1604  12146 |        0 |        0
1631.35/1631.90	c 1631s |      25 |  9799487 |  7588598 |     1604  12154 |        0 |        0
1633.35/1633.93	c 1633s |      25 |  9807860 |  7595498 |     1604  12163 |        0 |        0
1634.05/1634.66	c 1634s |      26 |  9810527 |  7597752 |     1604  12165 |        0 |        0
1636.05/1636.67	c 1636s |      26 |  9821318 |  7606452 |     1604  12175 |        0 |        0
1638.05/1638.69	c 1638s |      26 |  9831673 |  7614852 |     1604  12186 |        0 |        0
1640.14/1640.71	c 1640s |      26 |  9841876 |  7623352 |     1604  12196 |        0 |        0
1642.15/1642.72	c 1642s |      26 |  9851317 |  7631552 |     1604  12206 |        0 |        0
1644.15/1644.73	c 1644s |      26 |  9861026 |  7639952 |     1604  12216 |        0 |        0
1646.16/1646.76	c 1646s |      26 |  9872479 |  7649152 |     1604  12227 |        0 |        0
1648.15/1648.76	c 1648s |      26 |  9883036 |  7658052 |     1604  12237 |        0 |        0
1650.15/1650.77	c 1650s |      26 |  9894832 |  7667452 |     1604  12248 |        0 |        0
1652.15/1652.79	c 1652s |      26 |  9906159 |  7676752 |     1604  12259 |        0 |        0
1654.25/1654.80	c 1654s |      26 |  9916973 |  7685852 |     1604  12270 |        0 |        0
1656.25/1656.82	c 1656s |      26 |  9927288 |  7694652 |     1604  12281 |        0 |        0
1658.26/1658.83	c 1658s |      26 |  9938003 |  7703652 |     1604  12291 |        0 |        0
1660.25/1660.85	c 1660s |      26 |  9948998 |  7712752 |     1604  12302 |        0 |        0
1662.25/1662.86	c 1662s |      26 |  9961353 |  7722452 |     1604  12314 |        0 |        0
1664.25/1664.87	c 1664s |      26 |  9973422 |  7731852 |     1604  12325 |        0 |        0
1666.25/1666.88	c 1666s |      26 |  9984909 |  7740952 |     1604  12336 |        0 |        0
1668.25/1668.88	c 1668s |      26 |  9995834 |  7749752 |     1604  12346 |        0 |        0
1670.25/1670.89	c 1670s |      26 | 10006811 |  7758652 |     1604  12357 |        0 |        0
1672.34/1672.91	c 1672s |      26 | 10018299 |  7767852 |     1604  12367 |        0 |        0
1674.34/1674.91	c 1674s |      26 | 10029303 |  7776552 |     1604  12378 |        0 |        0
1676.34/1676.92	c 1676s |      26 | 10040365 |  7785552 |     1604  12388 |        0 |        0
1678.34/1678.92	c 1678s |      26 | 10051148 |  7794352 |     1604  12399 |        0 |        0
1680.35/1680.92	c 1680s |      26 | 10061762 |  7803252 |     1604  12410 |        0 |        0
1682.34/1682.93	c 1682s |      26 | 10072745 |  7812352 |     1604  12420 |        0 |        0
1684.34/1684.95	c 1684s |      26 | 10083997 |  7821452 |     1604  12431 |        0 |        0
1686.34/1686.96	c 1686s |      26 | 10094582 |  7830452 |     1604  12442 |        0 |        0
1688.34/1688.97	c 1688s |      26 | 10107263 |  7840152 |     1604  12453 |        0 |        0
1690.44/1691.00	c 1690s |      26 | 10118067 |  7848652 |     1604  12464 |        0 |        0
1692.45/1693.01	c 1693s |      26 | 10129865 |  7857552 |     1604  12474 |        0 |        0
1694.44/1695.02	c 1695s |      26 | 10141437 |  7866552 |     1604  12485 |        0 |        0
1696.44/1697.04	c 1697s |      26 | 10152078 |  7875852 |     1604  12496 |        0 |        0
1698.44/1699.04	c 1699s |      26 | 10162837 |  7884852 |     1604  12507 |        0 |        0
1700.44/1701.06	c 1701s |      26 | 10173097 |  7893652 |     1604  12517 |        0 |        0
1702.44/1703.06	c 1703s |      26 | 10183463 |  7902552 |     1604  12528 |        0 |        0
1704.44/1705.07	c 1705s |      26 | 10193305 |  7911152 |     1604  12538 |        0 |        0
1706.44/1707.07	c 1707s |      26 | 10203873 |  7920252 |     1604  12549 |        0 |        0
1708.54/1709.10	c 1709s |      26 | 10213968 |  7929052 |     1604  12559 |        0 |        0
1710.54/1711.10	c 1711s |      26 | 10226050 |  7938352 |     1604  12571 |        0 |        0
1712.54/1713.11	c 1713s |      26 | 10237930 |  7947652 |     1604  12582 |        0 |        0
1714.53/1715.13	c 1715s |      26 | 10248523 |  7956452 |     1604  12592 |        0 |        0
1716.54/1717.14	c 1717s |      26 | 10259688 |  7965752 |     1604  12603 |        0 |        0
1718.53/1719.15	c 1719s |      26 | 10270435 |  7974852 |     1604  12614 |        0 |        0
1720.54/1721.17	c 1721s |      26 | 10280121 |  7983452 |     1604  12624 |        0 |        0
1722.54/1723.19	c 1723s |      26 | 10290114 |  7992152 |     1604  12635 |        0 |        0
1724.54/1725.19	c 1725s |      26 | 10300842 |  8000952 |     1604  12645 |        0 |        0
1726.64/1727.20	c 1727s |      26 | 10311545 |  8009952 |     1604  12656 |        0 |        0
1728.64/1729.21	c 1729s |      26 | 10323881 |  8019452 |     1604  12668 |        0 |        0
1730.64/1731.21	c 1731s |      26 | 10334832 |  8028552 |     1604  12678 |        0 |        0
1732.64/1733.23	c 1733s |      26 | 10346132 |  8037752 |     1604  12689 |        0 |        0
1734.63/1735.23	c 1735s |      26 | 10357597 |  8046852 |     1604  12700 |        0 |        0
1736.63/1737.25	c 1737s |      26 | 10368846 |  8055852 |     1604  12711 |        0 |        0
1738.64/1739.25	c 1739s |      26 | 10379479 |  8064952 |     1604  12722 |        0 |        0
1740.63/1741.26	c 1741s |      26 | 10390562 |  8074252 |     1604  12733 |        0 |        0
1742.63/1743.26	c 1743s |      26 | 10401986 |  8083352 |     1604  12744 |        0 |        0
1744.63/1745.27	c 1745s |      26 | 10413214 |  8092452 |     1604  12755 |        0 |        0
1746.63/1747.29	c 1747s |      26 | 10423367 |  8100952 |     1604  12765 |        0 |        0
1748.73/1749.31	c 1749s |      26 | 10433479 |  8109452 |     1604  12775 |        0 |        0
1750.74/1751.32	c 1751s |      26 | 10443612 |  8118052 |     1604  12785 |        0 |        0
1752.73/1753.33	c 1753s |      26 | 10453608 |  8126652 |     1604  12796 |        0 |        0
1754.73/1755.33	c 1755s |      26 | 10464048 |  8135452 |     1604  12806 |        0 |        0
1756.73/1757.33	c 1757s |      26 | 10474699 |  8144252 |     1604  12817 |        0 |        0
1758.73/1759.34	c 1759s |      26 | 10486070 |  8153552 |     1604  12828 |        0 |        0
1760.73/1761.36	c 1761s |      26 | 10496711 |  8162552 |     1604  12838 |        0 |        0
1762.73/1763.36	c 1763s |      26 | 10508606 |  8171952 |     1604  12849 |        0 |        0
1764.73/1765.38	c 1765s |      26 | 10520414 |  8181252 |     1604  12860 |        0 |        0
1766.73/1767.39	c 1767s |      26 | 10531561 |  8190352 |     1604  12871 |        0 |        0
1768.83/1769.40	c 1769s |      26 | 10542494 |  8199152 |     1604  12882 |        0 |        0
1770.83/1771.42	c 1771s |      26 | 10552512 |  8207652 |     1604  12892 |        0 |        0
1772.83/1773.43	c 1773s |      26 | 10562566 |  8216152 |     1604  12902 |        0 |        0
1774.84/1775.45	c 1775s |      26 | 10575162 |  8225952 |     1604  12914 |        0 |        0
1776.83/1777.46	c 1777s |      26 | 10587583 |  8235852 |     1604  12925 |        0 |        0
1778.83/1779.46	c 1779s |      26 | 10599473 |  8245352 |     1604  12937 |        0 |        0
1780.83/1781.46	c 1781s |      26 | 10610764 |  8254552 |     1604  12948 |        0 |        0
1782.83/1783.47	c 1783s |      26 | 10620868 |  8263252 |     1604  12958 |        0 |        0
1784.84/1785.49	c 1785s |      26 | 10631851 |  8272252 |     1604  12969 |        0 |        0
1786.94/1787.51	c 1787s |      26 | 10643276 |  8281452 |     1604  12980 |        0 |        0
1788.93/1789.53	c 1789s |      26 | 10654182 |  8290452 |     1604  12990 |        0 |        0
1790.93/1791.53	c 1791s |      26 | 10667083 |  8300452 |     1604  13002 |        0 |        0
1792.93/1793.53	c 1793s |      26 | 10680577 |  8310752 |     1604  13015 |        0 |        0
1794.93/1795.54	c 1795s |      26 | 10691395 |  8319652 |     1604  13025 |        0 |        0
1796.93/1797.54	c 1797s |      26 | 10701615 |  8328452 |     1604  13036 |        0 |        0
1798.92/1799.54	c 1799s |      26 | 10711672 |  8336952 |     1604  13046 |        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-4096127-1466103049/watcher-4096127-1466103049 -o /tmp/evaluation-result-4096127-1466103049/solver-4096127-1466103049 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node115-1466097108-24736 --watchdog 1960 toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4096127-1466103049.opb 

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

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


[startup+0 s]
/proc/loadavg: 2.23 2.21 2.18 3/180 25329
/proc/meminfo: memFree=29710980/32872528 swapFree=1103228/1182944
[pid=25329] ppid=25326 vsize=724412 CPUtime=0 cores=1,3,5,7
/proc/25329/stat : 25329 (toysat) R 25326 25329 24719 0 -1 4202496 2699 0 0 0 0 0 0 0 20 0 4 0 12353929 741797888 3061 33554432000 4194304 16246674 140736212610528 140736212609952 13880264 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/25329/statm: 181615 3069 441 2943 0 178509 0
[pid=25329/tid=25330] ppid=25326 vsize=741820 CPUtime=0 cores=1,3,5,7
/proc/25329/task/25330/stat : 25330 (toysat) S 25326 25329 24719 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 12353929 759623680 3130 33554432000 4194304 16246674 140736212610528 140638171409648 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=25329/tid=25331] ppid=25326 vsize=745916 CPUtime=0 cores=1,3,5,7
/proc/25329/task/25331/stat : 25331 (toysat) S 25326 25329 24719 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12353929 763817984 3148 33554432000 4194304 16246674 140736212610528 140638160919792 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=25329/tid=25332] ppid=25326 vsize=750012 CPUtime=0 cores=1,3,5,7
/proc/25329/task/25332/stat : 25332 (toysat) S 25326 25329 24719 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 12353929 768012288 3163 33554432000 4194304 16246674 140736212610528 140638150446256 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0

[startup+0.100171 s]
/proc/loadavg: 2.23 2.21 2.18 3/180 25329
/proc/meminfo: memFree=29710980/32872528 swapFree=1103228/1182944
[pid=25329] ppid=25326 vsize=1218116 CPUtime=0.09 cores=1,3,5,7
/proc/25329/stat : 25329 (toysat) R 25326 25329 24719 0 -1 4202496 24886 0 0 0 6 3 0 0 20 0 4 0 12353929 1247350784 25236 33554432000 4194304 16246674 140736212610528 140736212609952 6011022 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/25329/statm: 304529 25245 708 2943 0 301423 0
[pid=25329/tid=25330] ppid=25326 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/25329/task/25330/stat : 25330 (toysat) S 25326 25329 24719 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 12353929 1247350784 25250 33554432000 4194304 16246674 140736212610528 140638171409648 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=25329/tid=25331] ppid=25326 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/25329/task/25331/stat : 25331 (toysat) S 25326 25329 24719 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12353929 1247350784 25256 33554432000 4194304 16246674 140736212610528 140638160919792 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=25329/tid=25332] ppid=25326 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/25329/task/25332/stat : 25332 (toysat) S 25326 25329 24719 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 12353929 1247350784 25264 33554432000 4194304 16246674 140736212610528 140638150446256 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.200537 s]
/proc/loadavg: 2.23 2.21 2.18 3/180 25329
/proc/meminfo: memFree=29710980/32872528 swapFree=1103228/1182944
[pid=25329] ppid=25326 vsize=1218116 CPUtime=0.18 cores=1,3,5,7
/proc/25329/stat : 25329 (toysat) R 25326 25329 24719 0 -1 4202496 47897 0 0 0 12 6 0 0 20 0 4 0 12353929 1247350784 48247 33554432000 4194304 16246674 140736212610528 140736212609952 6836566 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/25329/statm: 304529 48260 708 2943 0 301423 0
[pid=25329/tid=25330] ppid=25326 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/25329/task/25330/stat : 25330 (toysat) S 25326 25329 24719 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 12353929 1247350784 48266 33554432000 4194304 16246674 140736212610528 140638171409648 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=25329/tid=25331] ppid=25326 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/25329/task/25331/stat : 25331 (toysat) S 25326 25329 24719 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12353929 1247350784 48276 33554432000 4194304 16246674 140736212610528 140638160919792 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=25329/tid=25332] ppid=25326 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/25329/task/25332/stat : 25332 (toysat) S 25326 25329 24719 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 12353929 1247350784 48284 33554432000 4194304 16246674 140736212610528 140638150446256 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 0.18
Current children cumulated vsize (KiB) 1218116

[startup+0.300503 s]
/proc/loadavg: 2.23 2.21 2.18 3/180 25329
/proc/meminfo: memFree=29710980/32872528 swapFree=1103228/1182944
[pid=25329] ppid=25326 vsize=1218116 CPUtime=0.28 cores=1,3,5,7
/proc/25329/stat : 25329 (toysat) R 25326 25329 24719 0 -1 4202496 71309 0 0 0 19 9 0 0 20 0 4 0 12353929 1247350784 71659 33554432000 4194304 16246674 140736212610528 140736212609952 12875570 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/25329/statm: 304529 71674 708 2943 0 301423 0
[pid=25329/tid=25330] ppid=25326 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/25329/task/25330/stat : 25330 (toysat) S 25326 25329 24719 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 12353929 1247350784 71680 33554432000 4194304 16246674 140736212610528 140638171409648 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=25329/tid=25331] ppid=25326 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/25329/task/25331/stat : 25331 (toysat) S 25326 25329 24719 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12353929 1247350784 71687 33554432000 4194304 16246674 140736212610528 140638160919792 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=25329/tid=25332] ppid=25326 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/25329/task/25332/stat : 25332 (toysat) S 25326 25329 24719 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 12353929 1247350784 71693 33554432000 4194304 16246674 140736212610528 140638150446256 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 1218116

[startup+0.700416 s]
/proc/loadavg: 2.23 2.21 2.18 3/180 25329
/proc/meminfo: memFree=29710980/32872528 swapFree=1103228/1182944
[pid=25329] ppid=25326 vsize=1218116 CPUtime=0.69 cores=1,3,5,7
/proc/25329/stat : 25329 (toysat) R 25326 25329 24719 0 -1 4202496 164846 0 0 0 46 23 0 0 20 0 4 0 12353929 1247350784 165196 33554432000 4194304 16246674 140736212610528 140736212592448 12478189 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/25329/statm: 304529 165213 709 2943 0 301423 0
[pid=25329/tid=25330] ppid=25326 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/25329/task/25330/stat : 25330 (toysat) S 25326 25329 24719 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 12353929 1247350784 165220 33554432000 4194304 16246674 140736212610528 140638171409648 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=25329/tid=25331] ppid=25326 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/25329/task/25331/stat : 25331 (toysat) S 25326 25329 24719 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12353929 1247350784 165226 33554432000 4194304 16246674 140736212610528 140638160919792 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=25329/tid=25332] ppid=25326 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/25329/task/25332/stat : 25332 (toysat) S 25326 25329 24719 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 12353929 1247350784 165231 33554432000 4194304 16246674 140736212610528 140638150446256 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 1218116

[startup+1.50042 s]
/proc/loadavg: 2.21 2.20 2.18 3/184 25333
/proc/meminfo: memFree=28729044/32872528 swapFree=1103228/1182944
[pid=25329] ppid=25326 vsize=1219140 CPUtime=1.48 cores=1,3,5,7
/proc/25329/stat : 25329 (toysat) R 25326 25329 24719 0 -1 4202496 245569 0 0 0 114 34 0 0 20 0 4 0 12353929 1248399360 245899 33554432000 4194304 16246674 140736212610528 140736212592448 5523460 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/25329/statm: 304785 245899 784 2943 0 301679 0
[pid=25329/tid=25330] ppid=25326 vsize=1219140 CPUtime=0 cores=1,3,5,7
/proc/25329/task/25330/stat : 25330 (toysat) S 25326 25329 24719 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 12353929 1248399360 245899 33554432000 4194304 16246674 140736212610528 140638171409648 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=25329/tid=25331] ppid=25326 vsize=1219140 CPUtime=0 cores=1,3,5,7
/proc/25329/task/25331/stat : 25331 (toysat) S 25326 25329 24719 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12353929 1248399360 245899 33554432000 4194304 16246674 140736212610528 140638160919792 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=25329/tid=25332] ppid=25326 vsize=1219140 CPUtime=0 cores=1,3,5,7
/proc/25329/task/25332/stat : 25332 (toysat) S 25326 25329 24719 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 12353929 1248399360 245899 33554432000 4194304 16246674 140736212610528 140638150446256 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 1219140

[startup+3.10042 s]
/proc/loadavg: 2.21 2.20 2.18 3/184 25333
/proc/meminfo: memFree=28641500/32872528 swapFree=1103228/1182944
[pid=25329] ppid=25326 vsize=1306180 CPUtime=3.08 cores=1,3,5,7
/proc/25329/stat : 25329 (toysat) R 25326 25329 24719 0 -1 4202496 267388 0 0 0 271 37 0 0 20 0 4 0 12353929 1337528320 267718 33554432000 4194304 16246674 140736212610528 140736212592448 15015658 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/25329/statm: 326545 267718 784 2943 0 323439 0
[pid=25329/tid=25330] ppid=25326 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/25329/task/25330/stat : 25330 (toysat) S 25326 25329 24719 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 12353929 1337528320 267718 33554432000 4194304 16246674 140736212610528 140638171409648 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=25329/tid=25331] ppid=25326 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/25329/task/25331/stat : 25331 (toysat) S 25326 25329 24719 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12353929 1337528320 267718 33554432000 4194304 16246674 140736212610528 140638160919792 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=25329/tid=25332] ppid=25326 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/25329/task/25332/stat : 25332 (toysat) S 25326 25329 24719 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 12353929 1337528320 267718 33554432000 4194304 16246674 140736212610528 140638150446256 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 1306180

[startup+6.30038 s]
/proc/loadavg: 2.27 2.22 2.18 4/184 25333
/proc/meminfo: memFree=28640928/32872528 swapFree=1103228/1182944
[pid=25329] ppid=25326 vsize=1306180 CPUtime=6.29 cores=1,3,5,7
/proc/25329/stat : 25329 (toysat) R 25326 25329 24719 0 -1 4202496 267474 0 0 0 591 38 0 0 20 0 4 0 12353929 1337528320 267804 33554432000 4194304 16246674 140736212610528 140736212592448 5754723 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/25329/statm: 326545 267804 786 2943 0 323439 0
[pid=25329/tid=25330] ppid=25326 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/25329/task/25330/stat : 25330 (toysat) S 25326 25329 24719 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 12353929 1337528320 267804 33554432000 4194304 16246674 140736212610528 140638171409648 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=25329/tid=25331] ppid=25326 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/25329/task/25331/stat : 25331 (toysat) S 25326 25329 24719 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12353929 1337528320 267804 33554432000 4194304 16246674 140736212610528 140638160919792 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=25329/tid=25332] ppid=25326 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/25329/task/25332/stat : 25332 (toysat) S 25326 25329 24719 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 12353929 1337528320 267804 33554432000 4194304 16246674 140736212610528 140638150446256 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: 2.33 2.23 2.19 3/183 25333
/proc/meminfo: memFree=28640212/32872528 swapFree=1103228/1182944
[pid=25329] ppid=25326 vsize=1306180 CPUtime=12.69 cores=1,3,5,7
/proc/25329/stat : 25329 (toysat) R 25326 25329 24719 0 -1 4202496 267510 0 0 0 1231 38 0 0 20 0 4 0 12353929 1337528320 267840 33554432000 4194304 16246674 140736212610528 140736212592448 5822252 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/25329/statm: 326545 267840 786 2943 0 323439 0
[pid=25329/tid=25330] ppid=25326 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/25329/task/25330/stat : 25330 (toysat) S 25326 25329 24719 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 12353929 1337528320 267840 33554432000 4194304 16246674 140736212610528 140638171409648 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=25329/tid=25331] ppid=25326 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/25329/task/25331/stat : 25331 (toysat) S 25326 25329 24719 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12353929 1337528320 267840 33554432000 4194304 16246674 140736212610528 140638160919792 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=25329/tid=25332] ppid=25326 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/25329/task/25332/stat : 25332 (toysat) S 25326 25329 24719 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 12353929 1337528320 267840 33554432000 4194304 16246674 140736212610528 140638150446256 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: 2.28 2.22 2.19 4/183 25333
/proc/meminfo: memFree=28640600/32872528 swapFree=1103228/1182944
[pid=25329] ppid=25326 vsize=1306180 CPUtime=25.48 cores=1,3,5,7
/proc/25329/stat : 25329 (toysat) R 25326 25329 24719 0 -1 4202496 267527 0 0 0 2510 38 0 0 20 0 4 0 12353929 1337528320 267857 33554432000 4194304 16246674 140736212610528 140736212592448 5723873 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/25329/statm: 326545 267857 787 2943 0 323439 0
[pid=25329/tid=25330] ppid=25326 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/25329/task/25330/stat : 25330 (toysat) S 25326 25329 24719 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 12353929 1337528320 267857 33554432000 4194304 16246674 140736212610528 140638171409648 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=25329/tid=25331] ppid=25326 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/25329/task/25331/stat : 25331 (toysat) S 25326 25329 24719 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12353929 1337528320 267857 33554432000 4194304 16246674 140736212610528 140638160919792 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=25329/tid=25332] ppid=25326 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/25329/task/25332/stat : 25332 (toysat) S 25326 25329 24719 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 12353929 1337528320 267857 33554432000 4194304 16246674 140736212610528 140638150446256 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.37 2.25 2.19 4/183 25333
/proc/meminfo: memFree=28640060/32872528 swapFree=1103228/1182944
[pid=25329] ppid=25326 vsize=1306180 CPUtime=51.08 cores=1,3,5,7
/proc/25329/stat : 25329 (toysat) R 25326 25329 24719 0 -1 4202496 267527 0 0 0 5070 38 0 0 20 0 4 0 12353929 1337528320 267857 33554432000 4194304 16246674 140736212610528 140736212592448 13198640 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/25329/statm: 326545 267857 787 2943 0 323439 0
[pid=25329/tid=25330] ppid=25326 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/25329/task/25330/stat : 25330 (toysat) S 25326 25329 24719 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 12353929 1337528320 267857 33554432000 4194304 16246674 140736212610528 140638171409648 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=25329/tid=25331] ppid=25326 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/25329/task/25331/stat : 25331 (toysat) S 25326 25329 24719 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12353929 1337528320 267857 33554432000 4194304 16246674 140736212610528 140638160919792 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=25329/tid=25332] ppid=25326 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/25329/task/25332/stat : 25332 (toysat) S 25326 25329 24719 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 12353929 1337528320 267857 33554432000 4194304 16246674 140736212610528 140638150446256 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.3 s]
/proc/loadavg: 2.36 2.25 2.19 4/183 25334
/proc/meminfo: memFree=28637544/32872528 swapFree=1103228/1182944
[pid=25329] ppid=25326 vsize=1306180 CPUtime=102.28 cores=1,3,5,7
/proc/25329/stat : 25329 (toysat) R 25326 25329 24719 0 -1 4202496 267552 0 0 0 10189 39 0 0 20 0 4 0 12353929 1337528320 267882 33554432000 4194304 16246674 140736212610528 140736212592448 12477951 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/25329/statm: 326545 267882 787 2943 0 323439 0
[pid=25329/tid=25330] ppid=25326 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/25329/task/25330/stat : 25330 (toysat) S 25326 25329 24719 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 12353929 1337528320 267882 33554432000 4194304 16246674 140736212610528 140638171409648 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=25329/tid=25331] ppid=25326 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/25329/task/25331/stat : 25331 (toysat) S 25326 25329 24719 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12353929 1337528320 267882 33554432000 4194304 16246674 140736212610528 140638160919792 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=25329/tid=25332] ppid=25326 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/25329/task/25332/stat : 25332 (toysat) S 25326 25329 24719 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 12353929 1337528320 267882 33554432000 4194304 16246674 140736212610528 140638150446256 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/25329/task/25332/stat : 25332 (toysat) S 25326 25329 24719 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 12353929 1339625472 268394 33554432000 4194304 16246674 140736212610528 140638150446256 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1241.81
Current children cumulated vsize (KiB) 1308228

[startup+1302.3 s]
/proc/loadavg: 1.70 2.11 2.14 2/173 25418
/proc/meminfo: memFree=29726172/32872528 swapFree=1103228/1182944
[pid=25329] ppid=25326 vsize=1308228 CPUtime=1301.8 cores=1,3,5,7
/proc/25329/stat : 25329 (toysat) R 25326 25329 24719 0 -1 4202496 268508 0 0 0 130123 57 0 0 20 0 4 0 12353929 1339625472 268394 33554432000 4194304 16246674 140736212610528 140736212592448 5519407 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/25329/statm: 327057 268394 789 2943 0 323951 0
[pid=25329/tid=25330] ppid=25326 vsize=1308228 CPUtime=0 cores=1,3,5,7
/proc/25329/task/25330/stat : 25330 (toysat) S 25326 25329 24719 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 12353929 1339625472 268394 33554432000 4194304 16246674 140736212610528 140638171409648 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=25329/tid=25331] ppid=25326 vsize=1308228 CPUtime=0 cores=1,3,5,7
/proc/25329/task/25331/stat : 25331 (toysat) S 25326 25329 24719 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12353929 1339625472 268394 33554432000 4194304 16246674 140736212610528 140638160919792 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=25329/tid=25332] ppid=25326 vsize=1308228 CPUtime=0 cores=1,3,5,7
/proc/25329/task/25332/stat : 25332 (toysat) S 25326 25329 24719 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 12353929 1339625472 268394 33554432000 4194304 16246674 140736212610528 140638150446256 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1301.8
Current children cumulated vsize (KiB) 1308228

[startup+1362.3 s]
/proc/loadavg: 1.37 1.94 2.08 2/173 25419
/proc/meminfo: memFree=29725772/32872528 swapFree=1103228/1182944
[pid=25329] ppid=25326 vsize=1308228 CPUtime=1361.79 cores=1,3,5,7
/proc/25329/stat : 25329 (toysat) R 25326 25329 24719 0 -1 4202496 268508 0 0 0 136121 58 0 0 20 0 4 0 12353929 1339625472 268394 33554432000 4194304 16246674 140736212610528 140736212592448 6010400 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/25329/statm: 327057 268394 789 2943 0 323951 0
[pid=25329/tid=25330] ppid=25326 vsize=1308228 CPUtime=0 cores=1,3,5,7
/proc/25329/task/25330/stat : 25330 (toysat) S 25326 25329 24719 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 12353929 1339625472 268394 33554432000 4194304 16246674 140736212610528 140638171409648 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=25329/tid=25331] ppid=25326 vsize=1308228 CPUtime=0 cores=1,3,5,7
/proc/25329/task/25331/stat : 25331 (toysat) S 25326 25329 24719 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12353929 1339625472 268394 33554432000 4194304 16246674 140736212610528 140638160919792 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=25329/tid=25332] ppid=25326 vsize=1308228 CPUtime=0 cores=1,3,5,7
/proc/25329/task/25332/stat : 25332 (toysat) S 25326 25329 24719 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 12353929 1339625472 268394 33554432000 4194304 16246674 140736212610528 140638150446256 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1361.79
Current children cumulated vsize (KiB) 1308228

[startup+1422.3 s]
/proc/loadavg: 1.21 1.78 2.01 2/173 25420
/proc/meminfo: memFree=29726292/32872528 swapFree=1103228/1182944
[pid=25329] ppid=25326 vsize=1308228 CPUtime=1421.79 cores=1,3,5,7
/proc/25329/stat : 25329 (toysat) R 25326 25329 24719 0 -1 4202496 268508 0 0 0 142120 59 0 0 20 0 4 0 12353929 1339625472 268394 33554432000 4194304 16246674 140736212610528 140736212592448 12478369 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/25329/statm: 327057 268394 789 2943 0 323951 0
[pid=25329/tid=25330] ppid=25326 vsize=1308228 CPUtime=0 cores=1,3,5,7
/proc/25329/task/25330/stat : 25330 (toysat) S 25326 25329 24719 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 12353929 1339625472 268394 33554432000 4194304 16246674 140736212610528 140638171409648 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=25329/tid=25331] ppid=25326 vsize=1308228 CPUtime=0 cores=1,3,5,7
/proc/25329/task/25331/stat : 25331 (toysat) S 25326 25329 24719 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12353929 1339625472 268394 33554432000 4194304 16246674 140736212610528 140638160919792 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=25329/tid=25332] ppid=25326 vsize=1308228 CPUtime=0 cores=1,3,5,7
/proc/25329/task/25332/stat : 25332 (toysat) S 25326 25329 24719 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 12353929 1339625472 268394 33554432000 4194304 16246674 140736212610528 140638150446256 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1421.79
Current children cumulated vsize (KiB) 1308228

[startup+1482.3 s]
/proc/loadavg: 1.29 1.70 1.97 2/173 25421
/proc/meminfo: memFree=29726300/32872528 swapFree=1103228/1182944
[pid=25329] ppid=25326 vsize=1308228 CPUtime=1481.77 cores=1,3,5,7
/proc/25329/stat : 25329 (toysat) R 25326 25329 24719 0 -1 4202496 268508 0 0 0 148118 59 0 0 20 0 4 0 12353929 1339625472 268394 33554432000 4194304 16246674 140736212610528 140736212592448 5827966 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/25329/statm: 327057 268394 789 2943 0 323951 0
[pid=25329/tid=25330] ppid=25326 vsize=1308228 CPUtime=0 cores=1,3,5,7
/proc/25329/task/25330/stat : 25330 (toysat) S 25326 25329 24719 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 12353929 1339625472 268394 33554432000 4194304 16246674 140736212610528 140638171409648 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=25329/tid=25331] ppid=25326 vsize=1308228 CPUtime=0 cores=1,3,5,7
/proc/25329/task/25331/stat : 25331 (toysat) S 25326 25329 24719 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12353929 1339625472 268394 33554432000 4194304 16246674 140736212610528 140638160919792 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=25329/tid=25332] ppid=25326 vsize=1308228 CPUtime=0 cores=1,3,5,7
/proc/25329/task/25332/stat : 25332 (toysat) S 25326 25329 24719 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 12353929 1339625472 268394 33554432000 4194304 16246674 140736212610528 140638150446256 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1481.77
Current children cumulated vsize (KiB) 1308228

[startup+1542.31 s]
/proc/loadavg: 1.29 1.61 1.92 2/173 25423
/proc/meminfo: memFree=29725936/32872528 swapFree=1103228/1182944
[pid=25329] ppid=25326 vsize=1308228 CPUtime=1541.77 cores=1,3,5,7
/proc/25329/stat : 25329 (toysat) R 25326 25329 24719 0 -1 4202496 268508 0 0 0 154117 60 0 0 20 0 4 0 12353929 1339625472 268394 33554432000 4194304 16246674 140736212610528 140736212592448 12874923 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/25329/statm: 327057 268394 789 2943 0 323951 0
[pid=25329/tid=25330] ppid=25326 vsize=1308228 CPUtime=0 cores=1,3,5,7
/proc/25329/task/25330/stat : 25330 (toysat) S 25326 25329 24719 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 12353929 1339625472 268394 33554432000 4194304 16246674 140736212610528 140638171409648 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=25329/tid=25331] ppid=25326 vsize=1308228 CPUtime=0 cores=1,3,5,7
/proc/25329/task/25331/stat : 25331 (toysat) S 25326 25329 24719 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12353929 1339625472 268394 33554432000 4194304 16246674 140736212610528 140638160919792 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=25329/tid=25332] ppid=25326 vsize=1308228 CPUtime=0 cores=1,3,5,7
/proc/25329/task/25332/stat : 25332 (toysat) S 25326 25329 24719 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 12353929 1339625472 268394 33554432000 4194304 16246674 140736212610528 140638150446256 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1541.77
Current children cumulated vsize (KiB) 1308228

[startup+1602.3 s]
/proc/loadavg: 1.18 1.53 1.87 2/173 25424
/proc/meminfo: memFree=29725696/32872528 swapFree=1103228/1182944
[pid=25329] ppid=25326 vsize=1308228 CPUtime=1601.75 cores=1,3,5,7
/proc/25329/stat : 25329 (toysat) R 25326 25329 24719 0 -1 4202496 268508 0 0 0 160114 61 0 0 20 0 4 0 12353929 1339625472 268394 33554432000 4194304 16246674 140736212610528 140736212592448 6846033 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/25329/statm: 327057 268394 789 2943 0 323951 0
[pid=25329/tid=25330] ppid=25326 vsize=1308228 CPUtime=0 cores=1,3,5,7
/proc/25329/task/25330/stat : 25330 (toysat) S 25326 25329 24719 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 12353929 1339625472 268394 33554432000 4194304 16246674 140736212610528 140638171409648 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=25329/tid=25331] ppid=25326 vsize=1308228 CPUtime=0 cores=1,3,5,7
/proc/25329/task/25331/stat : 25331 (toysat) S 25326 25329 24719 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12353929 1339625472 268394 33554432000 4194304 16246674 140736212610528 140638160919792 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=25329/tid=25332] ppid=25326 vsize=1308228 CPUtime=0 cores=1,3,5,7
/proc/25329/task/25332/stat : 25332 (toysat) S 25326 25329 24719 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 12353929 1339625472 268394 33554432000 4194304 16246674 140736212610528 140638150446256 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1601.75
Current children cumulated vsize (KiB) 1308228

[startup+1662.3 s]
/proc/loadavg: 1.33 1.51 1.84 2/173 25425
/proc/meminfo: memFree=29725704/32872528 swapFree=1103228/1182944
[pid=25329] ppid=25326 vsize=1308228 CPUtime=1661.75 cores=1,3,5,7
/proc/25329/stat : 25329 (toysat) R 25326 25329 24719 0 -1 4202496 268530 0 0 0 166113 62 0 0 20 0 4 0 12353929 1339625472 268416 33554432000 4194304 16246674 140736212610528 140736212593528 5721633 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/25329/statm: 327057 268416 789 2943 0 323951 0
[pid=25329/tid=25330] ppid=25326 vsize=1308228 CPUtime=0 cores=1,3,5,7
/proc/25329/task/25330/stat : 25330 (toysat) S 25326 25329 24719 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 12353929 1339625472 268416 33554432000 4194304 16246674 140736212610528 140638171409648 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=25329/tid=25331] ppid=25326 vsize=1308228 CPUtime=0 cores=1,3,5,7
/proc/25329/task/25331/stat : 25331 (toysat) S 25326 25329 24719 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12353929 1339625472 268416 33554432000 4194304 16246674 140736212610528 140638160919792 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=25329/tid=25332] ppid=25326 vsize=1308228 CPUtime=0 cores=1,3,5,7
/proc/25329/task/25332/stat : 25332 (toysat) S 25326 25329 24719 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 12353929 1339625472 268416 33554432000 4194304 16246674 140736212610528 140638150446256 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1661.75
Current children cumulated vsize (KiB) 1308228

[startup+1722.3 s]
/proc/loadavg: 1.22 1.44 1.79 2/173 25426
/proc/meminfo: memFree=29725588/32872528 swapFree=1103228/1182944
[pid=25329] ppid=25326 vsize=1308228 CPUtime=1721.74 cores=1,3,5,7
/proc/25329/stat : 25329 (toysat) R 25326 25329 24719 0 -1 4202496 268530 0 0 0 172111 63 0 0 20 0 4 0 12353929 1339625472 268416 33554432000 4194304 16246674 140736212610528 140736212592448 5523124 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/25329/statm: 327057 268416 789 2943 0 323951 0
[pid=25329/tid=25330] ppid=25326 vsize=1308228 CPUtime=0 cores=1,3,5,7
/proc/25329/task/25330/stat : 25330 (toysat) S 25326 25329 24719 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 12353929 1339625472 268416 33554432000 4194304 16246674 140736212610528 140638171409648 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=25329/tid=25331] ppid=25326 vsize=1308228 CPUtime=0 cores=1,3,5,7
/proc/25329/task/25331/stat : 25331 (toysat) S 25326 25329 24719 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12353929 1339625472 268416 33554432000 4194304 16246674 140736212610528 140638160919792 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=25329/tid=25332] ppid=25326 vsize=1308228 CPUtime=0 cores=1,3,5,7
/proc/25329/task/25332/stat : 25332 (toysat) S 25326 25329 24719 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 12353929 1339625472 268416 33554432000 4194304 16246674 140736212610528 140638150446256 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1721.74
Current children cumulated vsize (KiB) 1308228

[startup+1782.3 s]
/proc/loadavg: 1.14 1.37 1.75 2/174 25430
/proc/meminfo: memFree=29725256/32872528 swapFree=1103228/1182944
[pid=25329] ppid=25326 vsize=1308228 CPUtime=1781.73 cores=1,3,5,7
/proc/25329/stat : 25329 (toysat) R 25326 25329 24719 0 -1 4202496 268530 0 0 0 178109 64 0 0 20 0 4 0 12353929 1339625472 268416 33554432000 4194304 16246674 140736212610528 140736212592448 6842944 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/25329/statm: 327057 268416 789 2943 0 323951 0
[pid=25329/tid=25330] ppid=25326 vsize=1308228 CPUtime=0 cores=1,3,5,7
/proc/25329/task/25330/stat : 25330 (toysat) S 25326 25329 24719 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 12353929 1339625472 268416 33554432000 4194304 16246674 140736212610528 140638171409648 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=25329/tid=25331] ppid=25326 vsize=1308228 CPUtime=0 cores=1,3,5,7
/proc/25329/task/25331/stat : 25331 (toysat) S 25326 25329 24719 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12353929 1339625472 268416 33554432000 4194304 16246674 140736212610528 140638160919792 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=25329/tid=25332] ppid=25326 vsize=1308228 CPUtime=0 cores=1,3,5,7
/proc/25329/task/25332/stat : 25332 (toysat) S 25326 25329 24719 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 12353929 1339625472 268416 33554432000 4194304 16246674 140736212610528 140638150446256 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1781.73
Current children cumulated vsize (KiB) 1308228



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.6 s]
/proc/loadavg: 1.11 1.35 1.73 2/174 25430
/proc/meminfo: memFree=29725256/32872528 swapFree=1103228/1182944
[pid=25329] ppid=25326 vsize=1308228 CPUtime=1800.02 cores=1,3,5,7
/proc/25329/stat : 25329 (toysat) R 25326 25329 24719 0 -1 4202496 268530 0 0 0 179938 64 0 0 20 0 4 0 12353929 1339625472 268416 33554432000 4194304 16246674 140736212610528 140736212592448 5668801 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/25329/statm: 327057 268416 789 2943 0 323951 0
[pid=25329/tid=25330] ppid=25326 vsize=1308228 CPUtime=0 cores=1,3,5,7
/proc/25329/task/25330/stat : 25330 (toysat) S 25326 25329 24719 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 12353929 1339625472 268416 33554432000 4194304 16246674 140736212610528 140638171409648 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=25329/tid=25331] ppid=25326 vsize=1308228 CPUtime=0 cores=1,3,5,7
/proc/25329/task/25331/stat : 25331 (toysat) S 25326 25329 24719 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12353929 1339625472 268416 33554432000 4194304 16246674 140736212610528 140638160919792 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=25329/tid=25332] ppid=25326 vsize=1308228 CPUtime=0 cores=1,3,5,7
/proc/25329/task/25332/stat : 25332 (toysat) S 25326 25329 24719 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 12353929 1339625472 268416 33554432000 4194304 16246674 140736212610528 140638150446256 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1800.02
Current children cumulated vsize (KiB) 1308228

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 25329 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.04
CPU user time (s): 1799.39
CPU system time (s): 0.645901
CPU usage (%): 99.9684
Max. virtual memory (cumulated for all children) (KiB): 1308228

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.39
system time used= 0.645901
maximum resident set size= 1073664
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 268530
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= 462
involuntary context switches= 1855

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 4.6103 second user time and 6.99094 second system time

The end

Begin job on node115 at 2016-06-16 20:50:49
IDJOB=4096127
IDBENCH=107570
IDSOLVER=2542
FILE ID=node115/4096127-1466103049
RUNJOBID= node115-1466097108-24736
PBS_JOBID= 19904041
Free space on /tmp= 71728 MiB

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

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

MD5SUM BENCH= c819cf2b2526c532a7df92ee616e3c77
RANDOM SEED=207029220

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

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:       32872528 kB
MemFree:        29711872 kB
Buffers:           56080 kB
Cached:           142444 kB
SwapCached:         2104 kB
Active:          1174068 kB
Inactive:          96620 kB
Active(anon):    1072876 kB
Inactive(anon):     1636 kB
Active(file):     101192 kB
Inactive(file):    94984 kB
Unevictable:     1182944 kB
Mlocked:         1103228 kB
SwapTotal:      67108856 kB
SwapFree:       67099112 kB
Dirty:             16624 kB
Writeback:             0 kB
AnonPages:       2258400 kB
Mapped:            10256 kB
Shmem:                 0 kB
Slab:             569680 kB
SReclaimable:      13508 kB
SUnreclaim:       556172 kB
KernelStack:        1528 kB
PageTables:         8860 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    2400776 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:    796672 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= 71728 MiB
End job on node115 at 2016-06-16 21:20:50