0.00/0.00	c 2016-06-06T22:32:05+0200
0.00/0.00	c version = 0.5.0
0.00/0.00	c githash = 1a49202
0.00/0.00	c compilationtime = 2016-05-02 00:19:28.990761 UTC
0.00/0.00	c arch = x86_64
0.00/0.00	c os = linux
0.00/0.00	c compiler = ghc 7.10
0.00/0.00	c packages:
0.00/0.00	c   OptDir-0.0.3
0.00/0.00	c   array-0.5.1.0
0.00/0.00	c   base-4.8.2.0
0.00/0.00	c   bytestring-0.10.6.0
0.00/0.00	c   bytestring-builder-0.10.6.0.0
0.00/0.00	c   clock-0.7.2
0.00/0.00	c   containers-0.5.6.2
0.00/0.00	c   data-default-0.5.3
0.00/0.00	c   data-default-class-0.0.1
0.00/0.00	c   data-interval-1.2.0
0.00/0.00	c   deepseq-1.4.1.1
0.00/0.00	c   directory-1.2.2.0
0.00/0.00	c   exceptions-0.8.2.1
0.00/0.00	c   extended-reals-0.2.1.0
0.00/0.00	c   filepath-1.4.0.0
0.00/0.00	c   finite-field-0.8.0
0.00/0.00	c   hashable-1.2.4.0
0.00/0.00	c   heaps-0.3.3
0.00/0.00	c   intern-0.9.1.4
0.00/0.00	c   loop-0.3.0
0.00/0.00	c   mtl-2.2.1
0.00/0.00	c   multiset-0.3.2
0.00/0.00	c   mwc-random-0.13.3.2
0.00/0.00	c   parse_dimacs-1.3
0.00/0.00	c   parsec-3.1.9
0.00/0.00	c   prettyclass-1.0.0.0
0.00/0.00	c   primes-0.2.1.0
0.00/0.00	c   primitive-0.6.1.0
0.00/0.00	c   process-1.2.3.0
0.00/0.00	c   pseudo-boolean-0.1.3.0
0.00/0.01	c   queue-0.1.2
0.00/0.01	c   semigroups-0.18.1
0.00/0.01	c   sign-0.4.3
0.00/0.01	c   stm-2.4.4.1
0.00/0.01	c   template-haskell-2.10.0.0
0.00/0.01	c   temporary-1.2.0.4
0.00/0.01	c   time-1.5.0.1
0.00/0.01	c   transformers-0.4.2.0
0.00/0.01	c   transformers-compat-0.5.1.4
0.00/0.01	c   type-level-numbers-0.1.1.1
0.00/0.01	c   unbounded-delays-0.1.0.9
0.00/0.01	c   unordered-containers-0.2.6.0
0.00/0.01	c   vector-0.11.0.0
0.00/0.01	c   vector-space-0.10.3
0.00/0.01	c command line = ["+RTS","-H1G","-M15500m","-K1G","-RTS","--pb","--search=bcd2","HOME/instance-4079731-1465245125.opb"]
0.00/0.01	c use --random-gen="92621164 2176429369 249982934 1045206668 4090344250 3903813660 3140161484 1303797823 381110245 1529838282 2572714723 1793679025 3203337063 605843133 3943150790 3393845878 1028755717 2013633059 388996986 257430521 349523748 1650524617 1300307709 2996925726 588429224 2564295419 2535642080 1382163372 662843799 1302256060 649229898 1145242626 441966674 2807102367 1688647703 586460276 284275720 1108129108 4266676771 2081542153 2534525977 4213883042 775288102 1803599681 1186899387 2052025029 1782119075 3413145146 950954622 3947830045 921006548 3152867292 3938554963 1247633678 18538500 1962551391 3040645248 3310079912 3225428395 13234112 3106911870 3965506380 10529344 1540344155 111122056 2491890577 3599650409 3610964486 4084360934 629542178 2608987284 3039054657 539894088 1180819772 595276567 3126352238 91209734 3568459100 4285364333 823816560 382876514 2174535170 585684512 2753835202 2024580682 183181500 107608391 1416309142 3026280898 241478416 2438145556 201114515 446739800 4167826684 3626571971 3389896625 204187730 3512071658 2271125533 669582794 3505789586 1026895475 1250929721 2344207761 1026539453 4266599926 948183087 4266773784 2936577303 732165721 215605426 409867993 4074517003 1055573051 2517141706 2572193540 1418291386 3757295511 619686478 1737512162 592433233 688639739 296418393 602658459 2301228860 1794060354 2402721650 729373067 2903316437 3792265244 3277568099 2546426920 3727538377 1805185610 3184252716 2606731287 699713246 402355224 3833471359 2138812900 1229349456 210304861 4122934606 1200279406 3880355488 1122099604 911896291 1590648654 883938506 419543002 58672419 1587224087 3004282532 2325968640 3723338258 3858266905 135147899 3848026884 1214041399 1343128929 3990070909 2021367215 552237975 3075984034 2787731494 2676272881 4023006427 3683934466 3596432948 910278159 2533491526 2943530497 2821517037 3541263326 3948578110 2304466836 3933891063 408264368 1006082221 2166496586 1684591966 146062899 1393580857 2593183247 1438240761 2007207566 771392155 2514843356 3573050310 812683548 3118633925 3428136997 751310606 3804093728 4201062348 248529214 474438429 1227028902 1402626581 1527482768 3011049215 2359269583 3659902910 684256611 1351054561 208884612 4027472652 1425513917 458019950 1232146210 3232824847 1732557636 1380341031 2525459065 3531785280 1789896235 1419131930 2974322718 2011167641 3639487855 3349946438 2168562291 4245643581 3193018762 185941227 214728123 2395075806 1186744878 3794032387 45522112 1704092138 703992743 2882574273 2144145869 3232119618 2468396817 2664665589 2188705281 3408918544 1025095558 2515394814 398575084 3793329496 283275816 4048400488 3855413709 2147099520 1320342295 1052228551 3679253297 1368740422 2491230789 3039667136 2382090143 3147235947 1067879691 255 362436" option to reproduce the execution
0.00/0.01	c #vars 41
0.00/0.01	c #constraints 11
0.00/0.01	c BCD2: Hardening is enabled.
0.00/0.01	c BCD2: BiasedSearch is enabled.
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 |       17      0 |        1 |        0
0.00/0.02	c  0.0s |       1 |      120 |      100 |       17      3 |        1 |        0
0.00/0.04	c  0.0s |       2 |      288 |      250 |       19     12 |        1 |        0
0.00/0.07	c  0.1s |       3 |      529 |      475 |       21     23 |        1 |        0
0.09/0.12	c  0.1s |       4 |      885 |      813 |       24     38 |        1 |        0
0.09/0.18	c  0.2s |       5 |     1420 |     1320 |       27     62 |        1 |        0
0.19/0.28	c  0.3s |       6 |     2199 |     2081 |       33     93 |        1 |        0
0.39/0.42	c  0.4s |       7 |     3365 |     3223 |       37    138 |        1 |        0
0.59/0.61	c  0.6s |       8 |     5106 |     4936 |       41    204 |        1 |        0
0.89/0.90	c  0.9s |       9 |     7706 |     7506 |       46    298 |        1 |        0
1.29/1.34	c  1.3s |      10 |    11617 |    11361 |       51    424 |        1 |        0
1.68/1.79	c  1.8s |      11 |    17470 |    17144 |       57    605 |        1 |        0
2.39/2.41	c  2.4s |      12 |    26251 |    25819 |       63    853 |        1 |        0
3.29/3.34	c  3.3s |      13 |    39472 |    38832 |       70   1193 |        1 |        0
4.68/4.75	c  4.7s |      14 |    59308 |    58352 |       77   1681 |        1 |        0
6.69/6.75	c  6.7s |      14 |    85175 |    83952 |       77   2259 |        1 |        0
6.99/7.03	c  7.0s |      15 |    88898 |    87632 |       85   2343 |        1 |        0
8.99/9.03	c  9.0s |      15 |   115859 |   114232 |       85   2890 |        1 |        0
10.29/10.37	c 10.4s |      16 |   133387 |   131552 |       94   3254 |        1 |        0
12.29/12.37	c 12.4s |      16 |   160187 |   157952 |       94   3747 |        1 |        0
14.29/14.37	c 14.4s |      16 |   186238 |   183652 |       94   4234 |        1 |        0
15.39/15.42	c 15.4s |      17 |   200195 |   197432 |      104   4498 |        1 |        0
17.39/17.43	c 17.4s |      17 |   224686 |   221732 |      104   4920 |        1 |        0
19.39/19.43	c 19.4s |      17 |   249696 |   246532 |      104   5354 |        1 |        0
21.39/21.43	c 21.4s |      17 |   274829 |   271432 |      104   5791 |        1 |        0
23.38/23.43	c 23.4s |      18 |   299850 |   296252 |      115   6226 |        1 |        0
25.39/25.44	c 25.4s |      18 |   326576 |   322452 |      115   6642 |        1 |        0
27.38/27.44	c 27.4s |      18 |   352068 |   347552 |      115   7035 |        1 |        0
29.38/29.45	c 29.4s |      18 |   377719 |   372852 |      115   7439 |        1 |        0
31.38/31.45	c 31.4s |      18 |   403741 |   398452 |      115   7847 |        1 |        0
33.38/33.45	c 33.4s |      18 |   428513 |   422952 |      115   8242 |        1 |        0
35.08/35.19	c 35.2s |      19 |   450207 |   444482 |      127   8588 |        1 |        0
37.08/37.19	c 37.2s |      19 |   475713 |   469682 |      127   8954 |        1 |        0
39.18/39.20	c 39.2s |      19 |   501609 |   495282 |      127   9325 |        1 |        0
41.18/41.21	c 41.2s |      19 |   527146 |   520482 |      127   9690 |        1 |        0
43.18/43.21	c 43.2s |      19 |   552673 |   545782 |      127  10058 |        1 |        0
45.19/45.22	c 45.2s |      19 |   578064 |   570882 |      127  10430 |        1 |        0
47.18/47.22	c 47.2s |      19 |   602631 |   595182 |      127  10783 |        1 |        0
49.18/49.23	c 49.2s |      19 |   627708 |   619982 |      127  11143 |        1 |        0
51.18/51.24	c 51.2s |      19 |   652156 |   644182 |      127  11497 |        1 |        0
52.98/53.07	c 53.1s |      20 |   675196 |   666827 |      140  11822 |        1 |        0
54.98/55.07	c 55.1s |      20 |   699820 |   691227 |      140  12147 |        1 |        0
56.98/57.08	c 57.1s |      20 |   724559 |   715727 |      140  12475 |        1 |        0
58.98/59.08	c 59.1s |      20 |   748799 |   739727 |      140  12797 |        1 |        0
60.98/61.09	c 61.1s |      20 |   773724 |   764327 |      140  13126 |        1 |        0
62.97/63.09	c 63.1s |      20 |   798764 |   789027 |      140  13459 |        1 |        0
64.98/65.09	c 65.1s |      20 |   823688 |   813527 |      140  13793 |        1 |        0
66.98/67.09	c 67.1s |      20 |   848589 |   838127 |      140  14129 |        1 |        0
68.98/69.09	c 69.1s |      20 |   873705 |   862927 |      140  14472 |        1 |        0
70.98/71.09	c 71.1s |      20 |   898816 |   887727 |      140  14794 |        1 |        0
73.08/73.10	c 73.1s |      20 |   923149 |   911827 |      140  15108 |        1 |        0
75.08/75.10	c 75.1s |      20 |   947819 |   936227 |      140  15429 |        1 |        0
76.99/77.10	c 77.1s |      20 |   972856 |   960927 |      140  15757 |        1 |        0
79.08/79.10	c 79.1s |      20 |   997214 |   985027 |      140  16075 |        1 |        0
80.29/80.37	c 80.4s |      21 |  1012648 |  1000345 |      154  16270 |        1 |        0
82.28/82.38	c 82.4s |      21 |  1036468 |  1023845 |      154  16547 |        1 |        0
84.28/84.38	c 84.4s |      21 |  1060045 |  1047145 |      154  16825 |        1 |        0
86.28/86.39	c 86.4s |      21 |  1084259 |  1071045 |      154  17112 |        1 |        0
88.38/88.40	c 88.4s |      21 |  1108963 |  1095445 |      154  17411 |        1 |        0
90.38/90.40	c 90.4s |      21 |  1132605 |  1118845 |      154  17696 |        1 |        0
92.38/92.41	c 92.4s |      21 |  1156997 |  1142945 |      154  17991 |        1 |        0
94.37/94.41	c 94.4s |      21 |  1180969 |  1166645 |      154  18282 |        1 |        0
96.37/96.41	c 96.4s |      21 |  1205191 |  1190545 |      154  18576 |        1 |        0
98.37/98.42	c 98.4s |      21 |  1228646 |  1213745 |      154  18858 |        1 |        0
100.37/100.42	c  100s |      21 |  1252484 |  1237345 |      154  19147 |        1 |        0
102.39/102.42	c  102s |      21 |  1276728 |  1261345 |      154  19440 |        1 |        0
104.38/104.42	c  104s |      21 |  1301311 |  1285645 |      154  19738 |        1 |        0
106.38/106.43	c  106s |      21 |  1325888 |  1309945 |      154  20040 |        1 |        0
108.38/108.43	c  108s |      21 |  1349971 |  1333645 |      154  20334 |        1 |        0
110.38/110.44	c  110s |      21 |  1374099 |  1357445 |      154  20628 |        1 |        0
112.38/112.44	c  112s |      21 |  1398683 |  1381745 |      154  20925 |        1 |        0
114.38/114.45	c  114s |      21 |  1423347 |  1406145 |      154  21225 |        1 |        0
116.38/116.45	c  116s |      21 |  1447628 |  1430145 |      154  21520 |        1 |        0
118.38/118.45	c  118s |      21 |  1471247 |  1453545 |      154  21811 |        1 |        0
120.37/120.45	c  120s |      21 |  1494999 |  1477045 |      154  22101 |        1 |        0
122.37/122.46	c  122s |      21 |  1518718 |  1500545 |      170  22379 |        1 |        0
122.37/122.46	c  122s |      22 |  1518799 |  1500622 |      170  22380 |        1 |        0
124.38/124.47	c  124s |      22 |  1541511 |  1523122 |      170  22627 |        1 |        0
126.37/126.47	c  126s |      22 |  1564964 |  1546322 |      170  22882 |        1 |        0
128.37/128.48	c  128s |      22 |  1588190 |  1569322 |      170  23134 |        1 |        0
130.37/130.48	c  130s |      22 |  1611890 |  1592822 |      170  23395 |        1 |        0
132.37/132.49	c  132s |      22 |  1636266 |  1616922 |      170  23668 |        1 |        0
134.37/134.50	c  134s |      22 |  1660230 |  1640622 |      170  23930 |        1 |        0
136.47/136.50	c  136s |      22 |  1684222 |  1664422 |      170  24195 |        1 |        0
138.46/138.51	c  138s |      22 |  1708581 |  1688522 |      170  24465 |        1 |        0
140.46/140.51	c  140s |      22 |  1732519 |  1712222 |      170  24731 |        1 |        0
142.46/142.51	c  142s |      22 |  1756688 |  1736122 |      170  24996 |        1 |        0
144.46/144.52	c  144s |      22 |  1780630 |  1759822 |      170  25261 |        1 |        0
146.46/146.52	c  146s |      22 |  1804762 |  1783722 |      170  25529 |        1 |        0
148.47/148.53	c  148s |      22 |  1829000 |  1807722 |      170  25800 |        1 |        0
150.46/150.53	c  150s |      22 |  1853327 |  1831822 |      170  26075 |        1 |        0
152.46/152.53	c  152s |      22 |  1877998 |  1856222 |      170  26355 |        1 |        0
154.46/154.54	c  154s |      22 |  1902200 |  1880122 |      170  26613 |        1 |        0
156.46/156.55	c  156s |      22 |  1926165 |  1903822 |      170  26872 |        1 |        0
158.47/158.55	c  158s |      22 |  1950000 |  1927422 |      170  27130 |        1 |        0
160.47/160.56	c  160s |      22 |  1973788 |  1951022 |      170  27390 |        1 |        0
162.47/162.57	c  162s |      22 |  1997977 |  1974922 |      170  27654 |        1 |        0
164.47/164.57	c  164s |      22 |  2022129 |  1998822 |      170  27918 |        1 |        0
166.47/166.57	c  166s |      22 |  2046137 |  2022622 |      170  28183 |        1 |        0
168.47/168.57	c  168s |      22 |  2070178 |  2046422 |      170  28448 |        1 |        0
170.47/170.58	c  170s |      22 |  2094003 |  2070022 |      170  28713 |        1 |        0
172.46/172.58	c  172s |      22 |  2117703 |  2093522 |      170  28973 |        1 |        0
174.46/174.58	c  174s |      22 |  2141758 |  2117322 |      170  29238 |        1 |        0
176.46/176.58	c  176s |      22 |  2165731 |  2141022 |      170  29504 |        1 |        0
178.46/178.59	c  178s |      22 |  2189870 |  2164922 |      170  29774 |        1 |        0
180.47/180.59	c  180s |      22 |  2214098 |  2188822 |      170  30039 |        1 |        0
182.46/182.60	c  182s |      22 |  2238129 |  2212522 |      170  30303 |        1 |        0
184.56/184.60	c  184s |      22 |  2261888 |  2236022 |      188  30564 |        1 |        0
185.76/185.90	c  185s |      23 |  2277074 |  2251038 |      188  30716 |        1 |        0
187.86/187.90	c  187s |      23 |  2301080 |  2274738 |      188  30948 |        1 |        0
189.86/189.91	c  189s |      23 |  2324613 |  2298038 |      188  31180 |        1 |        0
191.85/191.91	c  191s |      23 |  2347927 |  2321038 |      188  31408 |        1 |        0
193.85/193.91	c  193s |      23 |  2371415 |  2344238 |      188  31639 |        1 |        0
195.86/195.92	c  195s |      23 |  2395403 |  2367838 |      188  31874 |        1 |        0
197.85/197.93	c  197s |      23 |  2419061 |  2391238 |      188  32108 |        1 |        0
199.85/199.93	c  199s |      23 |  2442779 |  2414738 |      188  32341 |        1 |        0
201.85/201.93	c  201s |      23 |  2466499 |  2438238 |      188  32576 |        1 |        0
203.86/203.93	c  203s |      23 |  2490074 |  2461538 |      188  32810 |        1 |        0
205.86/205.94	c  205s |      23 |  2513718 |  2484938 |      188  33045 |        1 |        0
207.87/207.95	c  207s |      23 |  2537635 |  2508538 |      188  33284 |        1 |        0
209.86/209.95	c  209s |      23 |  2561663 |  2532238 |      188  33521 |        1 |        0
211.86/211.95	c  211s |      23 |  2585573 |  2555738 |      188  33755 |        1 |        0
213.86/213.95	c  213s |      23 |  2609177 |  2579038 |      188  33986 |        1 |        0
215.86/215.96	c  215s |      23 |  2632786 |  2602338 |      188  34221 |        1 |        0
217.86/217.96	c  217s |      23 |  2656596 |  2625838 |      188  34457 |        1 |        0
219.86/219.97	c  219s |      23 |  2680683 |  2649638 |      188  34695 |        1 |        0
221.86/221.97	c  221s |      23 |  2704224 |  2672838 |      188  34929 |        1 |        0
223.86/223.97	c  223s |      23 |  2728045 |  2696338 |      188  35167 |        1 |        0
225.85/225.98	c  225s |      23 |  2751972 |  2719938 |      188  35404 |        1 |        0
227.85/227.99	c  227s |      23 |  2776020 |  2743638 |      188  35642 |        1 |        0
229.86/229.99	c  229s |      23 |  2799848 |  2767138 |      188  35880 |        1 |        0
231.85/231.99	c  231s |      23 |  2823731 |  2790738 |      188  36121 |        1 |        0
233.95/234.00	c  233s |      23 |  2847900 |  2814538 |      188  36361 |        1 |        0
235.95/236.00	c  235s |      23 |  2872047 |  2838338 |      188  36603 |        1 |        0
237.95/238.00	c  237s |      23 |  2896421 |  2862338 |      188  36847 |        1 |        0
239.95/240.01	c  240s |      23 |  2920376 |  2886038 |      188  37088 |        1 |        0
241.96/242.02	c  242s |      23 |  2943850 |  2909338 |      188  37319 |        1 |        0
243.95/244.02	c  244s |      23 |  2967273 |  2932538 |      188  37551 |        1 |        0
245.95/246.02	c  246s |      23 |  2990389 |  2955438 |      188  37781 |        1 |        0
247.95/248.02	c  248s |      23 |  3013934 |  2978738 |      188  38016 |        1 |        0
249.95/250.03	c  250s |      23 |  3037686 |  3002238 |      188  38253 |        1 |        0
251.95/252.04	c  252s |      23 |  3061925 |  3026138 |      188  38493 |        1 |        0
253.95/254.05	c  254s |      23 |  3086178 |  3050138 |      188  38735 |        1 |        0
255.95/256.05	c  256s |      23 |  3110598 |  3074238 |      188  38979 |        1 |        0
257.95/258.06	c  258s |      23 |  3135324 |  3098638 |      188  39225 |        1 |        0
259.95/260.07	c  260s |      23 |  3159832 |  3122938 |      188  39469 |        1 |        0
261.95/262.07	c  262s |      23 |  3183820 |  3146638 |      188  39709 |        1 |        0
263.96/264.07	c  264s |      23 |  3207348 |  3169938 |      188  39946 |        1 |        0
265.95/266.08	c  266s |      23 |  3230769 |  3193138 |      188  40182 |        1 |        0
267.95/268.09	c  268s |      23 |  3254218 |  3216338 |      188  40416 |        1 |        0
269.95/270.09	c  270s |      23 |  3277652 |  3239538 |      188  40653 |        1 |        0
271.95/272.09	c  272s |      23 |  3301507 |  3263138 |      188  40894 |        1 |        0
274.05/274.10	c  274s |      23 |  3325507 |  3286838 |      188  41136 |        1 |        0
275.95/276.10	c  276s |      23 |  3349142 |  3310238 |      188  41377 |        1 |        0
278.05/278.10	c  278s |      23 |  3372665 |  3333538 |      188  41617 |        1 |        0
280.05/280.11	c  280s |      23 |  3396280 |  3356838 |      207  41848 |        1 |        0
281.75/281.87	c  281s |      24 |  3416345 |  3376662 |      207  42027 |        1 |        0
283.75/283.88	c  283s |      24 |  3439984 |  3399962 |      207  42236 |        1 |        0
285.75/285.88	c  285s |      24 |  3462761 |  3422462 |      207  42440 |        1 |        0
287.75/287.88	c  287s |      24 |  3485749 |  3445162 |      207  42646 |        1 |        0
289.75/289.89	c  289s |      24 |  3509792 |  3468862 |      207  42862 |        1 |        0
291.74/291.89	c  291s |      24 |  3533286 |  3492062 |      207  43074 |        1 |        0
293.75/293.89	c  293s |      24 |  3556964 |  3515462 |      207  43288 |        1 |        0
295.74/295.90	c  295s |      24 |  3580482 |  3538662 |      207  43500 |        1 |        0
297.84/297.90	c  297s |      24 |  3604209 |  3562062 |      207  43717 |        1 |        0
299.84/299.90	c  299s |      24 |  3627505 |  3585062 |      207  43927 |        1 |        0
301.84/301.91	c  301s |      24 |  3651473 |  3608762 |      207  44145 |        1 |        0
303.84/303.91	c  303s |      24 |  3675279 |  3632262 |      207  44360 |        1 |        0
305.85/305.92	c  305s |      24 |  3698482 |  3655262 |      207  44572 |        1 |        0
307.84/307.92	c  307s |      24 |  3721733 |  3678262 |      207  44783 |        1 |        0
309.85/309.93	c  309s |      24 |  3745182 |  3701462 |      207  44998 |        1 |        0
311.84/311.93	c  311s |      24 |  3768700 |  3724762 |      207  45213 |        1 |        0
313.84/313.93	c  313s |      24 |  3792052 |  3747862 |      207  45428 |        1 |        0
315.84/315.93	c  315s |      24 |  3815216 |  3770762 |      207  45640 |        1 |        0
317.85/317.94	c  317s |      24 |  3838947 |  3794262 |      207  45861 |        1 |        0
319.84/319.95	c  319s |      24 |  3862665 |  3817662 |      207  46080 |        1 |        0
321.84/321.95	c  321s |      24 |  3885558 |  3840262 |      207  46287 |        1 |        0
323.84/323.96	c  323s |      24 |  3908639 |  3863062 |      207  46498 |        1 |        0
325.84/325.96	c  325s |      24 |  3931599 |  3885762 |      207  46707 |        1 |        0
327.85/327.97	c  327s |      24 |  3954751 |  3908662 |      207  46918 |        1 |        0
329.84/329.97	c  329s |      24 |  3978261 |  3931862 |      207  47133 |        1 |        0
331.84/331.97	c  331s |      24 |  4002070 |  3955362 |      207  47350 |        1 |        0
333.84/333.98	c  333s |      24 |  4025868 |  3978862 |      207  47569 |        1 |        0
335.84/335.98	c  335s |      24 |  4049445 |  4002162 |      207  47786 |        1 |        0
337.84/337.99	c  337s |      24 |  4072966 |  4025362 |      207  48000 |        1 |        0
339.84/339.99	c  339s |      24 |  4096583 |  4048662 |      207  48218 |        1 |        0
341.94/342.00	c  341s |      24 |  4120383 |  4072162 |      207  48437 |        1 |        0
343.94/344.01	c  343s |      24 |  4143465 |  4094962 |      207  48650 |        1 |        0
345.93/346.01	c  345s |      24 |  4166716 |  4117962 |      207  48865 |        1 |        0
347.93/348.01	c  348s |      24 |  4190088 |  4141062 |      207  49083 |        1 |        0
349.93/350.02	c  350s |      24 |  4214049 |  4164662 |      207  49300 |        1 |        0
351.94/352.02	c  352s |      24 |  4238774 |  4189062 |      207  49525 |        1 |        0
353.93/354.02	c  354s |      24 |  4262937 |  4212962 |      207  49746 |        1 |        0
355.93/356.02	c  356s |      24 |  4286820 |  4236562 |      207  49966 |        1 |        0
357.93/358.03	c  358s |      24 |  4310095 |  4259562 |      207  50179 |        1 |        0
359.93/360.04	c  360s |      24 |  4333041 |  4282262 |      207  50390 |        1 |        0
361.94/362.04	c  362s |      24 |  4356668 |  4305562 |      207  50606 |        1 |        0
363.93/364.05	c  364s |      24 |  4379834 |  4328462 |      207  50820 |        1 |        0
365.94/366.05	c  366s |      24 |  4403477 |  4351762 |      207  51038 |        1 |        0
367.94/368.06	c  368s |      24 |  4426758 |  4374762 |      207  51250 |        1 |        0
369.93/370.06	c  370s |      24 |  4449843 |  4397562 |      207  51460 |        1 |        0
371.93/372.07	c  372s |      24 |  4472811 |  4420262 |      207  51672 |        1 |        0
373.94/374.08	c  374s |      24 |  4495629 |  4442862 |      207  51883 |        1 |        0
375.93/376.09	c  376s |      24 |  4518760 |  4465762 |      207  52095 |        1 |        0
377.93/378.09	c  378s |      24 |  4542701 |  4489462 |      207  52317 |        1 |        0
379.93/380.09	c  380s |      24 |  4566666 |  4513162 |      207  52540 |        1 |        0
382.03/382.10	c  382s |      24 |  4590498 |  4536662 |      207  52758 |        1 |        0
384.03/384.10	c  384s |      24 |  4613968 |  4559862 |      207  52977 |        1 |        0
386.03/386.11	c  386s |      24 |  4637390 |  4583062 |      207  53194 |        1 |        0
388.03/388.12	c  388s |      24 |  4661028 |  4606462 |      207  53416 |        1 |        0
390.03/390.12	c  390s |      24 |  4684550 |  4629762 |      207  53636 |        1 |        0
392.03/392.13	c  392s |      24 |  4707399 |  4652362 |      207  53846 |        1 |        0
394.03/394.13	c  394s |      24 |  4730566 |  4675262 |      207  54056 |        1 |        0
396.04/396.13	c  396s |      24 |  4753680 |  4698162 |      207  54267 |        1 |        0
398.03/398.14	c  398s |      24 |  4777235 |  4721462 |      207  54482 |        1 |        0
400.03/400.14	c  400s |      24 |  4800967 |  4744962 |      207  54700 |        1 |        0
402.03/402.14	c  402s |      24 |  4824430 |  4768162 |      207  54916 |        1 |        0
404.03/404.14	c  404s |      24 |  4848330 |  4791762 |      207  55136 |        1 |        0
406.03/406.15	c  406s |      24 |  4871524 |  4814662 |      207  55347 |        1 |        0
408.03/408.16	c  408s |      24 |  4894767 |  4837662 |      207  55559 |        1 |        0
410.03/410.17	c  410s |      24 |  4918341 |  4860962 |      207  55776 |        1 |        0
412.02/412.17	c  412s |      24 |  4941840 |  4884162 |      207  55991 |        1 |        0
414.02/414.17	c  414s |      24 |  4965335 |  4907362 |      207  56206 |        1 |        0
416.02/416.18	c  416s |      24 |  4988736 |  4930462 |      207  56421 |        1 |        0
418.03/418.18	c  418s |      24 |  5012183 |  4953662 |      207  56638 |        1 |        0
420.02/420.18	c  420s |      24 |  5035680 |  4976862 |      207  56856 |        1 |        0
422.03/422.19	c  422s |      24 |  5058814 |  4999762 |      207  57071 |        1 |        0
424.03/424.19	c  424s |      24 |  5082068 |  5022762 |      207  57283 |        1 |        0
426.03/426.19	c  426s |      24 |  5105118 |  5045562 |      228  57480 |        1 |        0
427.73/427.88	c  427s |      25 |  5124914 |  5065098 |      228  57646 |        1 |        0
429.72/429.88	c  429s |      25 |  5147269 |  5087198 |      228  57828 |        1 |        0
431.72/431.89	c  431s |      25 |  5169298 |  5108998 |      228  58009 |        1 |        0
433.72/433.89	c  433s |      25 |  5191619 |  5131098 |      228  58193 |        1 |        0
435.72/435.89	c  435s |      25 |  5213701 |  5152998 |      228  58373 |        1 |        0
437.73/437.90	c  437s |      25 |  5236146 |  5175198 |      228  58558 |        1 |        0
439.82/439.90	c  439s |      25 |  5258355 |  5197198 |      228  58742 |        1 |        0
441.82/441.90	c  441s |      25 |  5280927 |  5219498 |      228  58928 |        1 |        0
443.82/443.90	c  443s |      25 |  5303326 |  5241598 |      228  59112 |        1 |        0
445.82/445.90	c  445s |      25 |  5325736 |  5263798 |      228  59298 |        1 |        0
447.82/447.91	c  447s |      25 |  5348374 |  5286198 |      228  59485 |        1 |        0
449.83/449.92	c  449s |      25 |  5370601 |  5308198 |      228  59670 |        1 |        0
451.82/451.92	c  451s |      25 |  5392841 |  5330198 |      228  59857 |        1 |        0
453.82/453.92	c  453s |      25 |  5414720 |  5351898 |      228  60035 |        1 |        0
455.82/455.93	c  455s |      25 |  5436582 |  5373598 |      228  60216 |        1 |        0
457.82/457.93	c  457s |      25 |  5458660 |  5395498 |      228  60397 |        1 |        0
459.82/459.94	c  459s |      25 |  5480771 |  5417398 |      228  60581 |        1 |        0
461.82/461.94	c  461s |      25 |  5502889 |  5439298 |      228  60763 |        1 |        0
463.81/463.94	c  463s |      25 |  5525029 |  5461198 |      228  60945 |        1 |        0
465.81/465.95	c  465s |      25 |  5547037 |  5482998 |      228  61128 |        1 |        0
467.81/467.96	c  467s |      25 |  5569034 |  5504798 |      228  61311 |        1 |        0
469.81/469.96	c  469s |      25 |  5591567 |  5527098 |      228  61499 |        1 |        0
471.82/471.97	c  471s |      25 |  5614410 |  5549698 |      228  61689 |        1 |        0
473.81/473.98	c  473s |      25 |  5636608 |  5571698 |      228  61873 |        1 |        0
475.82/475.98	c  475s |      25 |  5658962 |  5593798 |      228  62059 |        1 |        0
477.82/477.99	c  477s |      25 |  5681281 |  5615898 |      228  62246 |        1 |        0
479.82/479.99	c  479s |      25 |  5703823 |  5638198 |      228  62435 |        1 |        0
481.92/482.00	c  481s |      25 |  5726491 |  5660598 |      228  62626 |        1 |        0
483.82/484.00	c  483s |      25 |  5748304 |  5682198 |      228  62806 |        1 |        0
485.92/486.01	c  485s |      25 |  5770551 |  5704198 |      228  62989 |        1 |        0
487.92/488.02	c  488s |      25 |  5792917 |  5726298 |      228  63174 |        1 |        0
489.92/490.02	c  490s |      25 |  5815120 |  5748298 |      228  63356 |        1 |        0
491.92/492.02	c  492s |      25 |  5837344 |  5770298 |      228  63541 |        1 |        0
493.92/494.02	c  494s |      25 |  5859434 |  5792198 |      228  63724 |        1 |        0
495.91/496.03	c  496s |      25 |  5881850 |  5814398 |      228  63912 |        1 |        0
497.91/498.03	c  498s |      25 |  5904111 |  5836398 |      228  64095 |        1 |        0
499.91/500.03	c  500s |      25 |  5926336 |  5858398 |      228  64279 |        1 |        0
501.91/502.04	c  502s |      25 |  5948335 |  5880198 |      228  64462 |        1 |        0
503.91/504.04	c  504s |      25 |  5970595 |  5902198 |      228  64647 |        1 |        0
505.92/506.04	c  506s |      25 |  5992710 |  5924098 |      228  64831 |        1 |        0
507.91/508.05	c  508s |      25 |  6014719 |  5945898 |      228  65015 |        1 |        0
509.91/510.06	c  510s |      25 |  6036883 |  5967798 |      228  65199 |        1 |        0
511.91/512.06	c  512s |      25 |  6059033 |  5989698 |      228  65385 |        1 |        0
513.91/514.06	c  514s |      25 |  6081178 |  6011598 |      228  65572 |        1 |        0
515.92/516.06	c  516s |      25 |  6103657 |  6033798 |      228  65757 |        1 |        0
517.91/518.07	c  518s |      25 |  6126103 |  6055998 |      228  65942 |        1 |        0
519.91/520.07	c  520s |      25 |  6148394 |  6077998 |      228  66127 |        1 |        0
521.91/522.08	c  522s |      25 |  6170840 |  6100198 |      228  66315 |        1 |        0
523.91/524.08	c  524s |      25 |  6193185 |  6122298 |      228  66500 |        1 |        0
525.91/526.09	c  526s |      25 |  6215433 |  6144298 |      228  66685 |        1 |        0
527.91/528.09	c  528s |      25 |  6237815 |  6166398 |      228  66872 |        1 |        0
530.01/530.10	c  530s |      25 |  6260162 |  6188498 |      228  67058 |        1 |        0
532.01/532.11	c  532s |      25 |  6282510 |  6210598 |      228  67246 |        1 |        0
534.00/534.11	c  534s |      25 |  6305136 |  6232998 |      228  67436 |        1 |        0
536.00/536.11	c  536s |      25 |  6327709 |  6255398 |      228  67625 |        1 |        0
538.00/538.12	c  538s |      25 |  6350383 |  6277898 |      228  67816 |        1 |        0
540.01/540.13	c  540s |      25 |  6372972 |  6300298 |      228  68006 |        1 |        0
542.00/542.13	c  542s |      25 |  6395362 |  6322498 |      228  68194 |        1 |        0
544.00/544.13	c  544s |      25 |  6417804 |  6344698 |      228  68382 |        1 |        0
546.00/546.14	c  546s |      25 |  6440416 |  6367098 |      228  68573 |        1 |        0
548.00/548.15	c  548s |      25 |  6462832 |  6389298 |      228  68763 |        1 |        0
550.01/550.16	c  550s |      25 |  6485348 |  6411598 |      228  68954 |        1 |        0
552.01/552.16	c  552s |      25 |  6507720 |  6433698 |      228  69141 |        1 |        0
554.01/554.16	c  554s |      25 |  6530323 |  6455998 |      228  69326 |        1 |        0
556.01/556.17	c  556s |      25 |  6552696 |  6478098 |      228  69511 |        1 |        0
558.01/558.17	c  558s |      25 |  6576071 |  6501098 |      228  69704 |        1 |        0
560.01/560.18	c  560s |      25 |  6599093 |  6523798 |      228  69894 |        1 |        0
562.01/562.18	c  562s |      25 |  6621648 |  6546098 |      228  70079 |        1 |        0
564.01/564.18	c  564s |      25 |  6644213 |  6568398 |      228  70266 |        1 |        0
566.01/566.19	c  566s |      25 |  6666356 |  6590298 |      228  70450 |        1 |        0
568.10/568.20	c  568s |      25 |  6688573 |  6612298 |      228  70636 |        1 |        0
570.10/570.21	c  570s |      25 |  6710733 |  6634198 |      228  70819 |        1 |        0
572.10/572.22	c  572s |      25 |  6732672 |  6655898 |      228  71003 |        1 |        0
574.11/574.22	c  574s |      25 |  6755133 |  6678098 |      228  71190 |        1 |        0
576.10/576.23	c  576s |      25 |  6777155 |  6699898 |      228  71374 |        1 |        0
578.10/578.23	c  578s |      25 |  6799330 |  6721798 |      228  71558 |        1 |        0
580.10/580.23	c  580s |      25 |  6821467 |  6743698 |      228  71742 |        1 |        0
582.10/582.24	c  582s |      25 |  6843756 |  6765698 |      228  71927 |        1 |        0
584.11/584.24	c  584s |      25 |  6866203 |  6787898 |      228  72115 |        1 |        0
586.10/586.25	c  586s |      25 |  6888910 |  6810298 |      228  72304 |        1 |        0
588.10/588.25	c  588s |      25 |  6911290 |  6832398 |      228  72490 |        1 |        0
590.10/590.26	c  590s |      25 |  6933426 |  6854298 |      228  72676 |        1 |        0
592.10/592.26	c  592s |      25 |  6955658 |  6876298 |      228  72862 |        1 |        0
594.09/594.27	c  594s |      25 |  6978388 |  6898798 |      228  73054 |        1 |        0
596.11/596.27	c  596s |      25 |  7001373 |  6921498 |      228  73248 |        1 |        0
598.10/598.28	c  598s |      25 |  7024271 |  6944098 |      228  73442 |        1 |        0
600.10/600.28	c  600s |      25 |  7046537 |  6966198 |      228  73627 |        1 |        0
602.10/602.28	c  602s |      25 |  7068925 |  6988398 |      228  73813 |        1 |        0
604.10/604.29	c  604s |      25 |  7091225 |  7010498 |      228  74000 |        1 |        0
606.11/606.29	c  606s |      25 |  7113533 |  7032598 |      228  74185 |        1 |        0
608.10/608.29	c  608s |      25 |  7135781 |  7054698 |      228  74372 |        1 |        0
610.10/610.29	c  610s |      25 |  7158048 |  7076798 |      228  74559 |        1 |        0
612.20/612.30	c  612s |      25 |  7180489 |  7098998 |      228  74746 |        1 |        0
614.20/614.30	c  614s |      25 |  7202622 |  7120898 |      228  74931 |        1 |        0
616.19/616.31	c  616s |      25 |  7224854 |  7142898 |      228  75119 |        1 |        0
618.20/618.32	c  618s |      25 |  7246843 |  7164698 |      228  75303 |        1 |        0
620.19/620.32	c  620s |      25 |  7268955 |  7186598 |      228  75489 |        1 |        0
622.19/622.33	c  622s |      25 |  7291579 |  7208998 |      228  75679 |        1 |        0
624.19/624.33	c  624s |      25 |  7314661 |  7231798 |      228  75874 |        1 |        0
626.19/626.33	c  626s |      25 |  7337173 |  7254098 |      228  76065 |        1 |        0
628.19/628.34	c  628s |      25 |  7359572 |  7276298 |      228  76256 |        1 |        0
630.20/630.34	c  630s |      25 |  7381853 |  7298398 |      228  76444 |        1 |        0
632.19/632.35	c  632s |      25 |  7403763 |  7320098 |      228  76627 |        1 |        0
634.19/634.35	c  634s |      25 |  7425599 |  7341698 |      228  76809 |        1 |        0
636.19/636.36	c  636s |      25 |  7447701 |  7363598 |      228  76994 |        1 |        0
638.19/638.36	c  638s |      25 |  7469867 |  7385498 |      228  77180 |        1 |        0
640.20/640.37	c  640s |      25 |  7491986 |  7407398 |      228  77365 |        1 |        0
642.19/642.37	c  642s |      25 |  7514097 |  7429298 |      228  77551 |        1 |        0
644.19/644.37	c  644s |      25 |  7536255 |  7451198 |      228  77737 |        1 |        0
646.19/646.37	c  646s |      25 |  7558477 |  7473198 |      228  77926 |        1 |        0
648.19/648.38	c  648s |      25 |  7580810 |  7495298 |      228  78116 |        1 |        0
650.19/650.38	c  650s |      25 |  7603383 |  7517598 |      228  78306 |        1 |        0
652.19/652.39	c  652s |      25 |  7626068 |  7539998 |      228  78496 |        1 |        0
654.29/654.40	c  654s |      25 |  7648984 |  7562598 |      251  78676 |        1 |        0
656.29/656.40	c  656s |      25 |  7671474 |  7584798 |      251  78848 |        1 |        0
657.39/657.57	c  657s |      26 |  7684575 |  7597752 |      251  78949 |        1 |        0
659.38/659.57	c  659s |      26 |  7705989 |  7618952 |      251  79110 |        1 |        0
661.38/661.57	c  661s |      26 |  7728094 |  7640852 |      251  79277 |        1 |        0
663.39/663.57	c  663s |      26 |  7749881 |  7662452 |      251  79441 |        1 |        0
665.39/665.57	c  665s |      26 |  7771907 |  7684252 |      251  79608 |        1 |        0
667.38/667.58	c  667s |      26 |  7793999 |  7706152 |      251  79775 |        1 |        0
669.38/669.58	c  669s |      26 |  7816024 |  7727952 |      251  79942 |        1 |        0
671.39/671.59	c  671s |      26 |  7838378 |  7750052 |      251  80112 |        1 |        0
673.39/673.59	c  673s |      26 |  7860730 |  7772152 |      251  80283 |        1 |        0
675.40/675.59	c  675s |      26 |  7882860 |  7794052 |      251  80451 |        1 |        0
677.39/677.60	c  677s |      26 |  7905125 |  7816052 |      251  80619 |        1 |        0
679.49/679.60	c  679s |      26 |  7927776 |  7838352 |      251  80789 |        1 |        0
681.49/681.61	c  681s |      26 |  7950343 |  7860652 |      251  80958 |        1 |        0
683.49/683.62	c  683s |      26 |  7972811 |  7882852 |      251  81128 |        1 |        0
685.49/685.62	c  685s |      26 |  7994482 |  7904352 |      251  81292 |        1 |        0
687.49/687.62	c  687s |      26 |  8016499 |  7926152 |      251  81460 |        1 |        0
689.48/689.63	c  689s |      26 |  8038488 |  7947952 |      251  81627 |        1 |        0
691.48/691.64	c  691s |      26 |  8061029 |  7970252 |      251  81798 |        1 |        0
693.48/693.64	c  693s |      26 |  8083323 |  7992252 |      251  81966 |        1 |        0
695.48/695.64	c  695s |      26 |  8105760 |  8014452 |      251  82135 |        1 |        0
697.48/697.65	c  697s |      26 |  8128072 |  8036452 |      251  82303 |        1 |        0
699.49/699.65	c  699s |      26 |  8150218 |  8058352 |      251  82472 |        1 |        0
701.48/701.65	c  701s |      26 |  8172460 |  8080352 |      251  82640 |        1 |        0
703.48/703.65	c  703s |      26 |  8194806 |  8102452 |      251  82810 |        1 |        0
705.48/705.66	c  705s |      26 |  8217135 |  8124552 |      251  82981 |        1 |        0
707.48/707.66	c  707s |      26 |  8239397 |  8146552 |      251  83151 |        1 |        0
709.49/709.67	c  709s |      26 |  8261841 |  8168752 |      251  83323 |        1 |        0
711.48/711.67	c  711s |      26 |  8283971 |  8190652 |      251  83492 |        1 |        0
713.48/713.68	c  713s |      26 |  8306556 |  8212952 |      251  83666 |        1 |        0
715.48/715.68	c  715s |      26 |  8328884 |  8235052 |      251  83838 |        1 |        0
717.47/717.69	c  717s |      26 |  8351430 |  8257352 |      251  84013 |        1 |        0
719.48/719.69	c  719s |      26 |  8373362 |  8279052 |      251  84179 |        1 |        0
721.49/721.70	c  721s |      26 |  8396067 |  8301452 |      251  84350 |        1 |        0
723.58/723.70	c  723s |      26 |  8418092 |  8323252 |      251  84517 |        1 |        0
725.58/725.70	c  725s |      26 |  8440324 |  8345252 |      251  84686 |        1 |        0
727.58/727.71	c  727s |      26 |  8462658 |  8367352 |      251  84854 |        1 |        0
729.58/729.71	c  729s |      26 |  8485074 |  8389552 |      251  85025 |        1 |        0
731.58/731.72	c  731s |      26 |  8507353 |  8411652 |      251  85195 |        1 |        0
733.59/733.73	c  733s |      26 |  8529370 |  8433452 |      251  85362 |        1 |        0
735.58/735.73	c  735s |      26 |  8551615 |  8455452 |      251  85530 |        1 |        0
737.58/737.73	c  737s |      26 |  8573733 |  8477352 |      251  85699 |        1 |        0
739.58/739.74	c  739s |      26 |  8596016 |  8499352 |      251  85867 |        1 |        0
741.58/741.74	c  741s |      26 |  8617832 |  8520952 |      251  86032 |        1 |        0
743.59/743.75	c  743s |      26 |  8640123 |  8543052 |      251  86202 |        1 |        0
745.58/745.75	c  745s |      26 |  8662484 |  8565152 |      251  86374 |        1 |        0
747.58/747.76	c  747s |      26 |  8684928 |  8587352 |      251  86546 |        1 |        0
749.58/749.76	c  749s |      26 |  8707379 |  8609552 |      251  86718 |        1 |        0
751.58/751.76	c  751s |      26 |  8729741 |  8631652 |      251  86890 |        1 |        0
753.58/753.76	c  753s |      26 |  8752186 |  8653852 |      251  87064 |        1 |        0
755.58/755.77	c  755s |      26 |  8774508 |  8675952 |      251  87234 |        1 |        0
757.57/757.78	c  757s |      26 |  8796840 |  8698052 |      251  87402 |        1 |        0
759.57/759.78	c  759s |      26 |  8818866 |  8719852 |      251  87570 |        1 |        0
761.57/761.78	c  761s |      26 |  8841006 |  8741752 |      251  87738 |        1 |        0
763.57/763.79	c  763s |      26 |  8863251 |  8763752 |      251  87908 |        1 |        0
765.58/765.79	c  765s |      26 |  8885186 |  8785452 |      251  88074 |        1 |        0
767.57/767.80	c  767s |      26 |  8906886 |  8806952 |      251  88239 |        1 |        0
769.67/769.81	c  769s |      26 |  8929084 |  8828852 |      251  88408 |        1 |        0
771.67/771.81	c  771s |      26 |  8951215 |  8850752 |      251  88576 |        1 |        0
773.67/773.81	c  773s |      26 |  8973884 |  8873152 |      251  88750 |        1 |        0
775.67/775.82	c  775s |      26 |  8995877 |  8894952 |      251  88919 |        1 |        0
777.68/777.83	c  777s |      26 |  9018336 |  8917152 |      251  89092 |        1 |        0
779.67/779.83	c  779s |      26 |  9040603 |  8939152 |      251  89262 |        1 |        0
781.67/781.83	c  781s |      26 |  9062643 |  8960952 |      251  89429 |        1 |        0
783.66/783.84	c  783s |      26 |  9084928 |  8982952 |      251  89598 |        1 |        0
785.67/785.84	c  785s |      26 |  9107153 |  9004952 |      251  89769 |        1 |        0
787.67/787.84	c  787s |      26 |  9129409 |  9026952 |      251  89939 |        1 |        0
789.68/789.85	c  789s |      26 |  9151765 |  9049052 |      251  90110 |        1 |        0
791.67/791.85	c  791s |      26 |  9173687 |  9070752 |      251  90278 |        1 |        0
793.67/793.85	c  793s |      26 |  9195748 |  9092652 |      251  90449 |        1 |        0
795.67/795.86	c  795s |      26 |  9218056 |  9114752 |      251  90621 |        1 |        0
797.67/797.86	c  797s |      26 |  9240483 |  9136952 |      251  90793 |        1 |        0
799.68/799.87	c  799s |      26 |  9263211 |  9159452 |      251  90968 |        1 |        0
801.67/801.87	c  801s |      26 |  9286407 |  9182352 |      251  91146 |        1 |        0
803.67/803.88	c  803s |      26 |  9309490 |  9205152 |      251  91324 |        1 |        0
805.66/805.88	c  805s |      26 |  9332657 |  9228052 |      251  91503 |        1 |        0
807.66/807.89	c  807s |      26 |  9356569 |  9251652 |      251  91685 |        1 |        0
809.66/809.89	c  809s |      26 |  9379194 |  9274052 |      251  91854 |        1 |        0
811.67/811.89	c  811s |      26 |  9401852 |  9296452 |      251  92024 |        1 |        0
813.76/813.90	c  813s |      26 |  9424223 |  9318552 |      251  92192 |        1 |        0
815.76/815.90	c  815s |      26 |  9446755 |  9340852 |      251  92362 |        1 |        0
817.76/817.91	c  817s |      26 |  9469715 |  9363552 |      251  92535 |        1 |        0
819.76/819.91	c  819s |      26 |  9493103 |  9386652 |      251  92711 |        1 |        0
821.76/821.92	c  821s |      26 |  9515566 |  9408852 |      251  92882 |        1 |        0
823.76/823.93	c  823s |      26 |  9537805 |  9430852 |      251  93050 |        1 |        0
825.76/825.93	c  825s |      26 |  9559979 |  9452752 |      251  93218 |        1 |        0
827.76/827.93	c  827s |      26 |  9582654 |  9475152 |      251  93391 |        1 |        0
829.75/829.94	c  829s |      26 |  9605214 |  9497452 |      251  93562 |        1 |        0
831.76/831.95	c  831s |      26 |  9628319 |  9520252 |      251  93739 |        1 |        0
833.77/833.95	c  833s |      26 |  9650625 |  9542352 |      251  93908 |        1 |        0
835.76/835.96	c  835s |      26 |  9672896 |  9564452 |      251  94077 |        1 |        0
837.76/837.96	c  837s |      26 |  9695287 |  9586652 |      251  94248 |        1 |        0
839.76/839.97	c  839s |      26 |  9717577 |  9608752 |      251  94417 |        1 |        0
841.76/841.98	c  841s |      26 |  9740243 |  9631252 |      251  94591 |        1 |        0
843.76/843.98	c  843s |      26 |  9763022 |  9653752 |      251  94763 |        1 |        0
845.76/845.99	c  845s |      26 |  9785265 |  9675852 |      251  94933 |        1 |        0
847.75/847.99	c  847s |      26 |  9807296 |  9697752 |      251  95103 |        1 |        0
849.75/849.99	c  849s |      26 |  9829405 |  9719652 |      251  95273 |        1 |        0
851.85/852.00	c  851s |      26 |  9852329 |  9742352 |      251  95449 |        1 |        0
853.85/854.00	c  853s |      26 |  9874676 |  9764552 |      251  95621 |        1 |        0
855.85/856.01	c  855s |      26 |  9897013 |  9786652 |      251  95792 |        1 |        0
857.85/858.01	c  857s |      26 |  9919728 |  9809152 |      251  95967 |        1 |        0
859.85/860.02	c  860s |      26 |  9942278 |  9831552 |      251  96141 |        1 |        0
861.85/862.02	c  862s |      26 |  9964860 |  9853952 |      251  96315 |        1 |        0
863.85/864.03	c  864s |      26 |  9987244 |  9876152 |      251  96488 |        1 |        0
865.84/866.04	c  866s |      26 | 10010243 |  9898952 |      251  96666 |        1 |        0
867.85/868.04	c  868s |      26 | 10032868 |  9921352 |      251  96837 |        1 |        0
869.84/870.05	c  870s |      26 | 10054556 |  9942852 |      251  97002 |        1 |        0
871.84/872.05	c  872s |      26 | 10076567 |  9964652 |      251  97171 |        1 |        0
873.84/874.05	c  874s |      26 | 10098907 |  9986752 |      251  97341 |        1 |        0
875.84/876.05	c  876s |      26 | 10121345 | 10008952 |      251  97514 |        1 |        0
877.84/878.06	c  878s |      26 | 10144091 | 10031452 |      251  97688 |        1 |        0
879.84/880.07	c  880s |      26 | 10166834 | 10053952 |      251  97863 |        1 |        0
881.84/882.07	c  882s |      26 | 10189042 | 10075952 |      251  98032 |        1 |        0
883.84/884.08	c  884s |      26 | 10211041 | 10097752 |      251  98201 |        1 |        0
885.83/886.09	c  886s |      26 | 10233117 | 10119652 |      251  98371 |        1 |        0
887.83/888.09	c  888s |      26 | 10255105 | 10141452 |      251  98541 |        1 |        0
889.84/890.09	c  890s |      26 | 10277647 | 10163752 |      251  98713 |        1 |        0
891.83/892.09	c  892s |      26 | 10300054 | 10185952 |      251  98885 |        1 |        0
893.83/894.09	c  894s |      26 | 10322342 | 10208052 |      251  99057 |        1 |        0
895.83/896.09	c  896s |      26 | 10345139 | 10230652 |      251  99232 |        1 |        0
897.83/898.09	c  898s |      26 | 10368064 | 10253352 |      251  99409 |        1 |        0
899.93/900.10	c  900s |      26 | 10390976 | 10276052 |      251  99585 |        1 |        0
901.94/902.11	c  902s |      26 | 10413974 | 10298852 |      251  99764 |        1 |        0
903.93/904.12	c  904s |      26 | 10436707 | 10321352 |      251  99941 |        1 |        0
905.94/906.12	c  906s |      26 | 10459736 | 10344152 |      251 100119 |        1 |        0
907.94/908.13	c  908s |      26 | 10482659 | 10366852 |      251 100295 |        1 |        0
909.93/910.13	c  910s |      26 | 10505473 | 10389452 |      251 100473 |        1 |        0
911.93/912.14	c  912s |      26 | 10528501 | 10412252 |      251 100652 |        1 |        0
913.94/914.14	c  914s |      26 | 10551702 | 10435152 |      251 100833 |        1 |        0
915.93/916.15	c  916s |      26 | 10574286 | 10457552 |      251 101008 |        1 |        0
917.93/918.15	c  918s |      26 | 10597026 | 10480052 |      251 101183 |        1 |        0
919.93/920.15	c  920s |      26 | 10620048 | 10502852 |      251 101362 |        1 |        0
921.93/922.16	c  922s |      26 | 10642872 | 10525452 |      251 101539 |        1 |        0
923.94/924.16	c  924s |      26 | 10666260 | 10548552 |      251 101720 |        1 |        0
925.92/926.17	c  926s |      26 | 10689412 | 10571452 |      251 101901 |        1 |        0
927.92/928.17	c  928s |      26 | 10712775 | 10594552 |      251 102083 |        1 |        0
929.92/930.18	c  930s |      26 | 10736321 | 10617852 |      251 102268 |        1 |        0
931.92/932.18	c  932s |      26 | 10759003 | 10640352 |      251 102441 |        1 |        0
933.92/934.19	c  934s |      26 | 10781453 | 10662552 |      251 102609 |        1 |        0
935.93/936.19	c  936s |      26 | 10804447 | 10685252 |      251 102782 |        1 |        0
938.02/938.20	c  938s |      26 | 10826761 | 10707352 |      251 102950 |        1 |        0
940.02/940.21	c  940s |      26 | 10849505 | 10729752 |      251 103121 |        1 |        0
942.02/942.21	c  942s |      26 | 10872044 | 10752052 |      251 103292 |        1 |        0
944.02/944.21	c  944s |      26 | 10894815 | 10774552 |      251 103465 |        1 |        0
946.01/946.21	c  946s |      26 | 10917755 | 10797152 |      251 103636 |        1 |        0
948.02/948.22	c  948s |      26 | 10940490 | 10819552 |      251 103808 |        1 |        0
950.01/950.22	c  950s |      26 | 10963407 | 10842152 |      251 103981 |        1 |        0
952.01/952.23	c  952s |      26 | 10986377 | 10864852 |      251 104156 |        1 |        0
954.01/954.24	c  954s |      26 | 11008936 | 10887152 |      251 104327 |        1 |        0
956.01/956.24	c  956s |      26 | 11031400 | 10909352 |      251 104498 |        1 |        0
958.01/958.24	c  958s |      26 | 11054715 | 10932352 |      251 104675 |        1 |        0
960.00/960.25	c  960s |      26 | 11077575 | 10954952 |      251 104846 |        1 |        0
962.00/962.25	c  962s |      26 | 11100382 | 10977552 |      251 105020 |        1 |        0
964.00/964.26	c  964s |      26 | 11123272 | 11000152 |      251 105193 |        1 |        0
966.00/966.26	c  966s |      26 | 11145944 | 11022552 |      251 105365 |        1 |        0
968.00/968.26	c  968s |      26 | 11168773 | 11045052 |      251 105538 |        1 |        0
970.01/970.27	c  970s |      26 | 11191997 | 11067952 |      251 105714 |        1 |        0
972.01/972.27	c  972s |      26 | 11215244 | 11090952 |      251 105891 |        1 |        0
974.01/974.28	c  974s |      26 | 11237835 | 11113352 |      251 106064 |        1 |        0
976.00/976.28	c  976s |      26 | 11260826 | 11136052 |      251 106240 |        1 |        0
978.00/978.29	c  978s |      26 | 11283907 | 11158852 |      251 106416 |        1 |        0
980.10/980.30	c  980s |      26 | 11306881 | 11181552 |      251 106592 |        1 |        0
982.00/982.30	c  982s |      26 | 11330220 | 11204552 |      251 106771 |        1 |        0
984.10/984.31	c  984s |      26 | 11353158 | 11227252 |      251 106947 |        1 |        0
986.09/986.31	c  986s |      26 | 11375831 | 11249652 |      251 107117 |        1 |        0
988.09/988.32	c  988s |      26 | 11398697 | 11272252 |      251 107290 |        1 |        0
990.09/990.33	c  990s |      26 | 11421507 | 11294852 |      251 107463 |        1 |        0
992.10/992.33	c  992s |      26 | 11444007 | 11317152 |      277 107634 |        1 |        0
994.09/994.33	c  994s |      26 | 11466738 | 11339552 |      277 107790 |        1 |        0
996.09/996.34	c  996s |      26 | 11489558 | 11362052 |      277 107948 |        1 |        0
998.10/998.34	c  998s |      26 | 11512480 | 11384652 |      277 108106 |        1 |        0
999.20/999.43	c  999s |      27 | 11524723 | 11396733 |      277 108190 |        1 |        0
1001.19/1001.43	c 1001s |      27 | 11546526 | 11418333 |      277 108338 |        1 |        0
1003.19/1003.43	c 1003s |      27 | 11568655 | 11440233 |      277 108489 |        1 |        0
1005.20/1005.44	c 1005s |      27 | 11590849 | 11462233 |      277 108640 |        1 |        0
1007.19/1007.44	c 1007s |      27 | 11612712 | 11483933 |      277 108789 |        1 |        0
1009.19/1009.45	c 1009s |      27 | 11635139 | 11506133 |      277 108943 |        1 |        0
1011.19/1011.46	c 1011s |      27 | 11657197 | 11527933 |      277 109094 |        1 |        0
1013.19/1013.46	c 1013s |      27 | 11679481 | 11550033 |      277 109247 |        1 |        0
1015.19/1015.47	c 1015s |      27 | 11701563 | 11571933 |      277 109399 |        1 |        0
1017.18/1017.47	c 1017s |      27 | 11723312 | 11593533 |      277 109548 |        1 |        0
1019.18/1019.47	c 1019s |      27 | 11744852 | 11614933 |      277 109697 |        1 |        0
1021.18/1021.48	c 1021s |      27 | 11766711 | 11636633 |      277 109849 |        1 |        0
1023.18/1023.48	c 1023s |      27 | 11789117 | 11658833 |      277 110002 |        1 |        0
1025.18/1025.48	c 1025s |      27 | 11811536 | 11681033 |      277 110156 |        1 |        0
1027.18/1027.49	c 1027s |      27 | 11833877 | 11703133 |      277 110308 |        1 |        0
1029.18/1029.49	c 1029s |      27 | 11856090 | 11725133 |      277 110461 |        1 |        0
1031.18/1031.50	c 1031s |      27 | 11878329 | 11747133 |      277 110614 |        1 |        0
1033.27/1033.50	c 1033s |      27 | 11900549 | 11769133 |      277 110768 |        1 |        0
1035.27/1035.51	c 1035s |      27 | 11922777 | 11791133 |      277 110921 |        1 |        0
1037.27/1037.51	c 1037s |      27 | 11945010 | 11813133 |      277 111074 |        1 |        0
1039.28/1039.52	c 1039s |      27 | 11967280 | 11835133 |      277 111227 |        1 |        0
1041.27/1041.52	c 1041s |      27 | 11989567 | 11857133 |      277 111381 |        1 |        0
1043.28/1043.53	c 1043s |      27 | 12011799 | 11879033 |      277 111534 |        1 |        0
1045.28/1045.53	c 1045s |      27 | 12033523 | 11900533 |      277 111684 |        1 |        0
1047.28/1047.53	c 1047s |      27 | 12055882 | 11922633 |      277 111838 |        1 |        0
1049.28/1049.53	c 1049s |      27 | 12078343 | 11944833 |      277 111994 |        1 |        0
1051.28/1051.54	c 1051s |      27 | 12101007 | 11967233 |      277 112152 |        1 |        0
1053.27/1053.54	c 1053s |      27 | 12123152 | 11989133 |      277 112301 |        1 |        0
1055.27/1055.55	c 1055s |      27 | 12145588 | 12011233 |      277 112453 |        1 |        0
1057.27/1057.55	c 1057s |      27 | 12167855 | 12033233 |      277 112605 |        1 |        0
1059.27/1059.56	c 1059s |      27 | 12190270 | 12055333 |      277 112758 |        1 |        0
1061.27/1061.56	c 1061s |      27 | 12212311 | 12077133 |      277 112910 |        1 |        0
1063.26/1063.56	c 1063s |      27 | 12234633 | 12099233 |      277 113063 |        1 |        0
1065.26/1065.57	c 1065s |      27 | 12257163 | 12121533 |      277 113219 |        1 |        0
1067.26/1067.57	c 1067s |      27 | 12279259 | 12143433 |      277 113370 |        1 |        0
1069.26/1069.58	c 1069s |      27 | 12301716 | 12165633 |      277 113524 |        1 |        0
1071.27/1071.59	c 1071s |      27 | 12323846 | 12187533 |      277 113677 |        1 |        0
1073.26/1073.59	c 1073s |      27 | 12346174 | 12209633 |      277 113832 |        1 |        0
1075.26/1075.59	c 1075s |      27 | 12368354 | 12231633 |      277 113985 |        1 |        0
1077.26/1077.59	c 1077s |      27 | 12390514 | 12253633 |      277 114140 |        1 |        0
1079.26/1079.59	c 1079s |      27 | 12413252 | 12276133 |      277 114298 |        1 |        0
1081.36/1081.60	c 1081s |      27 | 12436230 | 12298833 |      277 114457 |        1 |        0
1083.37/1083.60	c 1083s |      27 | 12459409 | 12321733 |      277 114619 |        1 |        0
1085.36/1085.61	c 1085s |      27 | 12482220 | 12344333 |      277 114779 |        1 |        0
1087.36/1087.61	c 1087s |      27 | 12505508 | 12367433 |      277 114940 |        1 |        0
1089.36/1089.62	c 1089s |      27 | 12528391 | 12390133 |      277 115098 |        1 |        0
1091.36/1091.62	c 1091s |      27 | 12551560 | 12413133 |      277 115258 |        1 |        0
1093.36/1093.62	c 1093s |      27 | 12574635 | 12435933 |      277 115419 |        1 |        0
1095.36/1095.63	c 1095s |      27 | 12597046 | 12458133 |      277 115575 |        1 |        0
1097.36/1097.63	c 1097s |      27 | 12619373 | 12480233 |      277 115729 |        1 |        0
1099.35/1099.64	c 1099s |      27 | 12641676 | 12502333 |      277 115884 |        1 |        0
1101.35/1101.64	c 1101s |      27 | 12663878 | 12524333 |      277 116038 |        1 |        0
1103.35/1103.65	c 1103s |      27 | 12686823 | 12547033 |      277 116198 |        1 |        0
1105.36/1105.65	c 1105s |      27 | 12709145 | 12569133 |      277 116352 |        1 |        0
1107.35/1107.66	c 1107s |      27 | 12731700 | 12591433 |      277 116509 |        1 |        0
1109.35/1109.66	c 1109s |      27 | 12754535 | 12614033 |      277 116668 |        1 |        0
1111.35/1111.66	c 1111s |      27 | 12777691 | 12636933 |      277 116830 |        1 |        0
1113.35/1113.67	c 1113s |      27 | 12800433 | 12659433 |      277 116988 |        1 |        0
1115.35/1115.67	c 1115s |      27 | 12822569 | 12681333 |      277 117140 |        1 |        0
1117.36/1117.67	c 1117s |      27 | 12844938 | 12703433 |      277 117293 |        1 |        0
1119.35/1119.68	c 1119s |      27 | 12867749 | 12726033 |      277 117450 |        1 |        0
1121.35/1121.68	c 1121s |      27 | 12890609 | 12748633 |      277 117607 |        1 |        0
1123.35/1123.68	c 1123s |      27 | 12912595 | 12770433 |      277 117759 |        1 |        0
1125.35/1125.69	c 1125s |      27 | 12934638 | 12792333 |      277 117912 |        1 |        0
1127.35/1127.69	c 1127s |      27 | 12956726 | 12814233 |      277 118066 |        1 |        0
1129.35/1129.69	c 1129s |      27 | 12979329 | 12836633 |      277 118222 |        1 |        0
1131.34/1131.69	c 1131s |      27 | 13001854 | 12858933 |      277 118380 |        1 |        0
1133.44/1133.70	c 1133s |      27 | 13024035 | 12880933 |      277 118535 |        1 |        0
1135.44/1135.70	c 1135s |      27 | 13046445 | 12903133 |      277 118690 |        1 |        0
1137.44/1137.71	c 1137s |      27 | 13068650 | 12925133 |      277 118845 |        1 |        0
1139.45/1139.71	c 1139s |      27 | 13090630 | 12946933 |      277 118999 |        1 |        0
1141.44/1141.72	c 1141s |      27 | 13113137 | 12969233 |      277 119157 |        1 |        0
1143.44/1143.73	c 1143s |      27 | 13136206 | 12992033 |      277 119318 |        1 |        0
1145.44/1145.73	c 1145s |      27 | 13158945 | 13014533 |      277 119477 |        1 |        0
1147.44/1147.73	c 1147s |      27 | 13181612 | 13036933 |      277 119636 |        1 |        0
1149.43/1149.74	c 1149s |      27 | 13204727 | 13059733 |      277 119800 |        1 |        0
1151.44/1151.74	c 1151s |      27 | 13226986 | 13081733 |      277 119950 |        1 |        0
1153.43/1153.75	c 1153s |      27 | 13249070 | 13103533 |      277 120100 |        1 |        0
1155.43/1155.76	c 1155s |      27 | 13271348 | 13125533 |      277 120253 |        1 |        0
1157.43/1157.76	c 1157s |      27 | 13293892 | 13147833 |      277 120407 |        1 |        0
1159.43/1159.76	c 1159s |      27 | 13316118 | 13169833 |      277 120560 |        1 |        0
1161.44/1161.77	c 1161s |      27 | 13338300 | 13191833 |      277 120712 |        1 |        0
1163.44/1163.77	c 1163s |      27 | 13360100 | 13213433 |      277 120863 |        1 |        0
1165.43/1165.77	c 1165s |      27 | 13382443 | 13235533 |      277 121018 |        1 |        0
1167.43/1167.78	c 1167s |      27 | 13405440 | 13258333 |      277 121176 |        1 |        0
1169.43/1169.79	c 1169s |      27 | 13428165 | 13280833 |      277 121333 |        1 |        0
1171.43/1171.79	c 1171s |      27 | 13450362 | 13302833 |      277 121488 |        1 |        0
1173.44/1173.80	c 1173s |      27 | 13472122 | 13324433 |      277 121638 |        1 |        0
1175.53/1175.80	c 1175s |      27 | 13494029 | 13346133 |      277 121790 |        1 |        0
1177.53/1177.81	c 1177s |      27 | 13517116 | 13368933 |      277 121949 |        1 |        0
1179.53/1179.81	c 1179s |      27 | 13539722 | 13391333 |      277 122106 |        1 |        0
1181.53/1181.81	c 1181s |      27 | 13562826 | 13414133 |      277 122266 |        1 |        0
1183.53/1183.82	c 1183s |      27 | 13585563 | 13436633 |      277 122424 |        1 |        0
1185.53/1185.82	c 1185s |      27 | 13607960 | 13458833 |      277 122580 |        1 |        0
1187.52/1187.82	c 1187s |      27 | 13630331 | 13480933 |      277 122735 |        1 |        0
1189.52/1189.82	c 1189s |      27 | 13652957 | 13503333 |      277 122893 |        1 |        0
1191.52/1191.83	c 1191s |      27 | 13676246 | 13526333 |      277 123055 |        1 |        0
1193.52/1193.83	c 1193s |      27 | 13699314 | 13549133 |      277 123217 |        1 |        0
1195.52/1195.84	c 1195s |      27 | 13721524 | 13571133 |      277 123371 |        1 |        0
1197.52/1197.84	c 1197s |      27 | 13743831 | 13593233 |      277 123527 |        1 |        0
1199.51/1199.85	c 1199s |      27 | 13766100 | 13615333 |      277 123684 |        1 |        0
1201.51/1201.85	c 1201s |      27 | 13788387 | 13637433 |      277 123840 |        1 |        0
1203.51/1203.86	c 1203s |      27 | 13810903 | 13659733 |      277 123998 |        1 |        0
1205.51/1205.86	c 1205s |      27 | 13833963 | 13682533 |      277 124160 |        1 |        0
1207.52/1207.87	c 1207s |      27 | 13856856 | 13705233 |      277 124322 |        1 |        0
1209.51/1209.87	c 1209s |      27 | 13879367 | 13727533 |      277 124478 |        1 |        0
1211.51/1211.87	c 1211s |      27 | 13902203 | 13750133 |      277 124637 |        1 |        0
1213.52/1213.88	c 1213s |      27 | 13925113 | 13772833 |      277 124796 |        1 |        0
1215.51/1215.89	c 1215s |      27 | 13947859 | 13795333 |      277 124955 |        1 |        0
1217.52/1217.89	c 1217s |      27 | 13970572 | 13817833 |      277 125115 |        1 |        0
1219.51/1219.89	c 1219s |      27 | 13993629 | 13840633 |      277 125276 |        1 |        0
1221.61/1221.90	c 1221s |      27 | 14016375 | 13863133 |      277 125437 |        1 |        0
1223.61/1223.91	c 1223s |      27 | 14038383 | 13884933 |      277 125591 |        1 |        0
1225.61/1225.91	c 1225s |      27 | 14060655 | 13907033 |      277 125747 |        1 |        0
1227.61/1227.92	c 1227s |      27 | 14083248 | 13929433 |      277 125907 |        1 |        0
1229.62/1229.92	c 1229s |      27 | 14105599 | 13951533 |      277 126064 |        1 |        0
1231.61/1231.92	c 1231s |      27 | 14128271 | 13974033 |      277 126225 |        1 |        0
1233.61/1233.93	c 1233s |      27 | 14150918 | 13996533 |      277 126385 |        1 |        0
1235.60/1235.93	c 1235s |      27 | 14174370 | 14019733 |      277 126553 |        1 |        0
1237.60/1237.93	c 1237s |      27 | 14196173 | 14041333 |      277 126703 |        1 |        0
1239.60/1239.94	c 1239s |      27 | 14217847 | 14062833 |      277 126852 |        1 |        0
1241.61/1241.94	c 1241s |      27 | 14239660 | 14084433 |      277 127003 |        1 |        0
1243.60/1243.95	c 1243s |      27 | 14261650 | 14106233 |      277 127156 |        1 |        0
1245.60/1245.95	c 1245s |      27 | 14283450 | 14127833 |      277 127306 |        1 |        0
1247.60/1247.95	c 1247s |      27 | 14305592 | 14149733 |      277 127459 |        1 |        0
1249.60/1249.96	c 1249s |      27 | 14327495 | 14171433 |      277 127610 |        1 |        0
1251.61/1251.96	c 1251s |      27 | 14349330 | 14193033 |      277 127760 |        1 |        0
1253.60/1253.96	c 1253s |      27 | 14371433 | 14214833 |      277 127913 |        1 |        0
1255.60/1255.97	c 1255s |      27 | 14393710 | 14236833 |      277 128067 |        1 |        0
1257.60/1257.97	c 1257s |      27 | 14415858 | 14258733 |      277 128219 |        1 |        0
1259.60/1259.97	c 1259s |      27 | 14437951 | 14280533 |      277 128370 |        1 |        0
1261.60/1261.98	c 1261s |      27 | 14459879 | 14302233 |      277 128520 |        1 |        0
1263.60/1263.98	c 1263s |      27 | 14481912 | 14324033 |      277 128672 |        1 |        0
1265.59/1265.98	c 1265s |      27 | 14504158 | 14346033 |      277 128825 |        1 |        0
1267.59/1267.99	c 1267s |      27 | 14526274 | 14367933 |      277 128978 |        1 |        0
1269.69/1270.00	c 1269s |      27 | 14548335 | 14389733 |      277 129131 |        1 |        0
1271.69/1272.00	c 1271s |      27 | 14570415 | 14411533 |      277 129283 |        1 |        0
1273.69/1274.00	c 1273s |      27 | 14592519 | 14433433 |      277 129437 |        1 |        0
1275.69/1276.01	c 1275s |      27 | 14614419 | 14455133 |      277 129589 |        1 |        0
1277.68/1278.01	c 1278s |      27 | 14636871 | 14477333 |      277 129745 |        1 |        0
1279.68/1280.01	c 1280s |      27 | 14659030 | 14499233 |      277 129899 |        1 |        0
1281.68/1282.02	c 1282s |      27 | 14680913 | 14520933 |      277 130050 |        1 |        0
1283.68/1284.02	c 1284s |      27 | 14703131 | 14542933 |      277 130204 |        1 |        0
1285.68/1286.03	c 1286s |      27 | 14725184 | 14564733 |      277 130357 |        1 |        0
1287.67/1288.03	c 1288s |      27 | 14747199 | 14586533 |      277 130511 |        1 |        0
1289.67/1290.04	c 1290s |      27 | 14769535 | 14608633 |      277 130666 |        1 |        0
1291.67/1292.04	c 1292s |      27 | 14791758 | 14630633 |      277 130822 |        1 |        0
1293.67/1294.05	c 1294s |      27 | 14813901 | 14652533 |      277 130977 |        1 |        0
1295.67/1296.06	c 1296s |      27 | 14836138 | 14674533 |      277 131132 |        1 |        0
1297.68/1298.06	c 1298s |      27 | 14858352 | 14696533 |      277 131288 |        1 |        0
1299.68/1300.07	c 1300s |      27 | 14880485 | 14718433 |      277 131444 |        1 |        0
1301.68/1302.07	c 1302s |      27 | 14901993 | 14739733 |      277 131592 |        1 |        0
1303.68/1304.08	c 1304s |      27 | 14923703 | 14761233 |      277 131742 |        1 |        0
1305.67/1306.08	c 1306s |      27 | 14945850 | 14783133 |      277 131895 |        1 |        0
1307.68/1308.09	c 1308s |      27 | 14967617 | 14804733 |      277 132045 |        1 |        0
1309.67/1310.10	c 1310s |      27 | 14989479 | 14826433 |      277 132197 |        1 |        0
1311.77/1312.10	c 1312s |      27 | 15011493 | 14848233 |      277 132350 |        1 |        0
1313.77/1314.11	c 1314s |      27 | 15033593 | 14870133 |      277 132504 |        1 |        0
1315.77/1316.11	c 1316s |      27 | 15055826 | 14892133 |      277 132658 |        1 |        0
1317.77/1318.12	c 1318s |      27 | 15078088 | 14914133 |      277 132813 |        1 |        0
1319.78/1320.12	c 1320s |      27 | 15100294 | 14936133 |      277 132968 |        1 |        0
1321.77/1322.13	c 1322s |      27 | 15122332 | 14957933 |      277 133122 |        1 |        0
1323.77/1324.13	c 1324s |      27 | 15144428 | 14979833 |      277 133276 |        1 |        0
1325.76/1326.13	c 1326s |      27 | 15166326 | 15001533 |      277 133429 |        1 |        0
1327.76/1328.14	c 1328s |      27 | 15188521 | 15023533 |      277 133582 |        1 |        0
1329.76/1330.15	c 1330s |      27 | 15210712 | 15045533 |      277 133737 |        1 |        0
1331.77/1332.15	c 1332s |      27 | 15233265 | 15067833 |      277 133895 |        1 |        0
1333.76/1334.15	c 1334s |      27 | 15255344 | 15089733 |      277 134049 |        1 |        0
1335.76/1336.16	c 1336s |      27 | 15277582 | 15111733 |      277 134204 |        1 |        0
1337.75/1338.17	c 1338s |      27 | 15299886 | 15133833 |      277 134361 |        1 |        0
1339.75/1340.17	c 1340s |      27 | 15321983 | 15155733 |      277 134516 |        1 |        0
1341.76/1342.17	c 1342s |      27 | 15344267 | 15177833 |      277 134673 |        1 |        0
1343.75/1344.18	c 1344s |      27 | 15367222 | 15200533 |      277 134834 |        1 |        0
1345.75/1346.18	c 1346s |      27 | 15389701 | 15222833 |      277 134992 |        1 |        0
1347.75/1348.18	c 1348s |      27 | 15412185 | 15245133 |      277 135151 |        1 |        0
1349.75/1350.18	c 1350s |      27 | 15435358 | 15267933 |      277 135311 |        1 |        0
1351.75/1352.19	c 1352s |      27 | 15457466 | 15289733 |      277 135463 |        1 |        0
1353.75/1354.19	c 1354s |      27 | 15479140 | 15311233 |      277 135614 |        1 |        0
1355.75/1356.19	c 1356s |      27 | 15501412 | 15333233 |      277 135769 |        1 |        0
1357.85/1358.20	c 1358s |      27 | 15523955 | 15355533 |      277 135926 |        1 |        0
1359.84/1360.20	c 1360s |      27 | 15546639 | 15377933 |      277 136085 |        1 |        0
1361.84/1362.20	c 1362s |      27 | 15569232 | 15400233 |      277 136242 |        1 |        0
1363.84/1364.21	c 1364s |      27 | 15591880 | 15422633 |      277 136400 |        1 |        0
1365.84/1366.22	c 1366s |      27 | 15614615 | 15445133 |      277 136558 |        1 |        0
1367.84/1368.22	c 1368s |      27 | 15636854 | 15467233 |      277 136715 |        1 |        0
1369.84/1370.22	c 1370s |      27 | 15659147 | 15489333 |      277 136873 |        1 |        0
1371.84/1372.22	c 1372s |      27 | 15681330 | 15511333 |      277 137030 |        1 |        0
1373.84/1374.23	c 1374s |      27 | 15703406 | 15533233 |      277 137184 |        1 |        0
1375.85/1376.23	c 1376s |      27 | 15725618 | 15555233 |      277 137340 |        1 |        0
1377.84/1378.23	c 1378s |      27 | 15747641 | 15577033 |      277 137495 |        1 |        0
1379.84/1380.24	c 1380s |      27 | 15770394 | 15599533 |      277 137654 |        1 |        0
1381.84/1382.24	c 1382s |      27 | 15792568 | 15621533 |      277 137811 |        1 |        0
1383.84/1384.24	c 1384s |      27 | 15814751 | 15643533 |      277 137967 |        1 |        0
1385.84/1386.25	c 1386s |      27 | 15837420 | 15666033 |      277 138128 |        1 |        0
1387.84/1388.25	c 1388s |      27 | 15859803 | 15688233 |      277 138287 |        1 |        0
1389.84/1390.25	c 1390s |      27 | 15881803 | 15710033 |      277 138439 |        1 |        0
1391.84/1392.26	c 1392s |      27 | 15903894 | 15731933 |      277 138593 |        1 |        0
1393.83/1394.27	c 1394s |      27 | 15926154 | 15753933 |      277 138747 |        1 |        0
1395.83/1396.27	c 1396s |      27 | 15948508 | 15776033 |      277 138902 |        1 |        0
1397.84/1398.28	c 1398s |      27 | 15970738 | 15798033 |      277 139056 |        1 |        0
1399.83/1400.28	c 1400s |      27 | 15993080 | 15820133 |      277 139212 |        1 |        0
1401.83/1402.29	c 1402s |      27 | 16015276 | 15842133 |      277 139367 |        1 |        0
1403.83/1404.29	c 1404s |      27 | 16037636 | 15864233 |      277 139523 |        1 |        0
1405.93/1406.30	c 1406s |      27 | 16059692 | 15886033 |      277 139676 |        1 |        0
1407.93/1408.30	c 1408s |      27 | 16081796 | 15907933 |      277 139830 |        1 |        0
1409.83/1410.30	c 1410s |      27 | 16103942 | 15929833 |      277 139985 |        1 |        0
1411.92/1412.31	c 1412s |      27 | 16126202 | 15951833 |      277 140140 |        1 |        0
1413.92/1414.31	c 1414s |      27 | 16148684 | 15974033 |      277 140298 |        1 |        0
1415.92/1416.31	c 1416s |      27 | 16170629 | 15995733 |      277 140450 |        1 |        0
1417.92/1418.32	c 1418s |      27 | 16192553 | 16017433 |      277 140603 |        1 |        0
1419.92/1420.33	c 1420s |      27 | 16214708 | 16039333 |      277 140758 |        1 |        0
1421.92/1422.33	c 1422s |      27 | 16236831 | 16061233 |      277 140913 |        1 |        0
1423.92/1424.33	c 1424s |      27 | 16259027 | 16083233 |      277 141070 |        1 |        0
1425.92/1426.34	c 1426s |      27 | 16281521 | 16105433 |      277 141228 |        1 |        0
1427.92/1428.34	c 1428s |      27 | 16304324 | 16127933 |      277 141388 |        1 |        0
1429.91/1430.35	c 1430s |      27 | 16327085 | 16150433 |      277 141548 |        1 |        0
1431.92/1432.36	c 1432s |      27 | 16349303 | 16172433 |      277 141703 |        1 |        0
1433.91/1434.36	c 1434s |      27 | 16371996 | 16194833 |      277 141860 |        1 |        0
1435.91/1436.37	c 1436s |      27 | 16394879 | 16217433 |      277 142019 |        1 |        0
1437.92/1438.37	c 1438s |      27 | 16417067 | 16239433 |      277 142175 |        1 |        0
1439.92/1440.37	c 1440s |      27 | 16439338 | 16261533 |      277 142332 |        1 |        0
1441.92/1442.38	c 1442s |      27 | 16461750 | 16283733 |      277 142488 |        1 |        0
1443.93/1444.38	c 1444s |      27 | 16484174 | 16305933 |      277 142645 |        1 |        0
1445.92/1446.38	c 1446s |      27 | 16506879 | 16328433 |      277 142805 |        1 |        0
1447.92/1448.39	c 1448s |      27 | 16529625 | 16350933 |      277 142965 |        1 |        0
1449.92/1450.39	c 1450s |      27 | 16552959 | 16373933 |      277 143127 |        1 |        0
1452.02/1452.40	c 1452s |      27 | 16575414 | 16396133 |      277 143283 |        1 |        0
1454.02/1454.40	c 1454s |      27 | 16597907 | 16418433 |      277 143440 |        1 |        0
1456.02/1456.41	c 1456s |      27 | 16620852 | 16441133 |      277 143601 |        1 |        0
1458.01/1458.41	c 1458s |      27 | 16643820 | 16463833 |      277 143762 |        1 |        0
1460.01/1460.42	c 1460s |      27 | 16666532 | 16486333 |      277 143921 |        1 |        0
1462.01/1462.42	c 1462s |      27 | 16689197 | 16508733 |      277 144081 |        1 |        0
1464.01/1464.43	c 1464s |      27 | 16711961 | 16531233 |      277 144240 |        1 |        0
1466.02/1466.44	c 1466s |      27 | 16734593 | 16553633 |      277 144399 |        1 |        0
1468.01/1468.44	c 1468s |      27 | 16757036 | 16575833 |      277 144557 |        1 |        0
1470.01/1470.45	c 1470s |      27 | 16779994 | 16598533 |      277 144719 |        1 |        0
1472.01/1472.45	c 1472s |      27 | 16803076 | 16621333 |      277 144882 |        1 |        0
1474.01/1474.46	c 1474s |      27 | 16825566 | 16643633 |      277 145037 |        1 |        0
1476.01/1476.46	c 1476s |      27 | 16848505 | 16666333 |      277 145197 |        1 |        0
1478.02/1478.46	c 1478s |      27 | 16871155 | 16688733 |      277 145354 |        1 |        0
1480.01/1480.47	c 1480s |      27 | 16893743 | 16711033 |      277 145512 |        1 |        0
1482.01/1482.48	c 1482s |      27 | 16916293 | 16733333 |      277 145669 |        1 |        0
1484.01/1484.48	c 1484s |      27 | 16938614 | 16755433 |      277 145825 |        1 |        0
1486.01/1486.48	c 1486s |      27 | 16961059 | 16777633 |      277 145982 |        1 |        0
1488.01/1488.49	c 1488s |      27 | 16983675 | 16800033 |      277 146139 |        1 |        0
1490.01/1490.50	c 1490s |      27 | 17006088 | 16822233 |      277 146295 |        1 |        0
1492.11/1492.50	c 1492s |      27 | 17028474 | 16844433 |      277 146452 |        1 |        0
1494.10/1494.50	c 1494s |      27 | 17051247 | 16866933 |      277 146611 |        1 |        0
1496.10/1496.50	c 1496s |      27 | 17073713 | 16889133 |      277 146767 |        1 |        0
1498.10/1498.51	c 1498s |      27 | 17096124 | 16911333 |      277 146925 |        1 |        0
1500.11/1500.52	c 1500s |      27 | 17118433 | 16933433 |      277 147082 |        1 |        0
1502.10/1502.52	c 1502s |      27 | 17140958 | 16955733 |      277 147240 |        1 |        0
1504.10/1504.52	c 1504s |      27 | 17163259 | 16977833 |      305 147393 |        1 |        0
1506.10/1506.52	c 1506s |      27 | 17185349 | 16999633 |      305 147533 |        1 |        0
1508.10/1508.52	c 1508s |      27 | 17207523 | 17021533 |      305 147674 |        1 |        0
1510.10/1510.52	c 1510s |      27 | 17229904 | 17043633 |      305 147816 |        1 |        0
1512.11/1512.52	c 1512s |      27 | 17252129 | 17065633 |      305 147958 |        1 |        0
1514.10/1514.53	c 1514s |      27 | 17274638 | 17087833 |      305 148100 |        1 |        0
1514.80/1515.20	c 1515s |      28 | 17282090 | 17095205 |      305 148148 |        1 |        0
1516.80/1517.20	c 1517s |      28 | 17304306 | 17117205 |      305 148288 |        1 |        0
1518.81/1519.21	c 1519s |      28 | 17326172 | 17138905 |      305 148426 |        1 |        0
1520.80/1521.21	c 1521s |      28 | 17348784 | 17161305 |      305 148569 |        1 |        0
1522.81/1523.21	c 1523s |      28 | 17371217 | 17183505 |      305 148710 |        1 |        0
1524.81/1525.22	c 1525s |      28 | 17393999 | 17206005 |      305 148853 |        1 |        0
1526.80/1527.23	c 1527s |      28 | 17417067 | 17228805 |      305 148998 |        1 |        0
1528.80/1529.23	c 1529s |      28 | 17439430 | 17251005 |      305 149140 |        1 |        0
1530.81/1531.23	c 1531s |      28 | 17462188 | 17273505 |      305 149285 |        1 |        0
1532.80/1533.24	c 1533s |      28 | 17484931 | 17295905 |      305 149428 |        1 |        0
1534.80/1535.24	c 1535s |      28 | 17507253 | 17318005 |      305 149569 |        1 |        0
1536.80/1537.25	c 1537s |      28 | 17530095 | 17340605 |      305 149713 |        1 |        0
1538.80/1539.25	c 1539s |      28 | 17552483 | 17362805 |      305 149856 |        1 |        0
1540.81/1541.26	c 1541s |      28 | 17575107 | 17385205 |      305 150001 |        1 |        0
1542.80/1543.26	c 1543s |      28 | 17597949 | 17407805 |      305 150148 |        1 |        0
1544.80/1545.27	c 1545s |      28 | 17620449 | 17430105 |      305 150289 |        1 |        0
1546.80/1547.27	c 1547s |      28 | 17643088 | 17452505 |      305 150431 |        1 |        0
1548.80/1549.28	c 1549s |      28 | 17665475 | 17474705 |      305 150571 |        1 |        0
1550.80/1551.28	c 1551s |      28 | 17687627 | 17496605 |      305 150711 |        1 |        0
1552.80/1553.28	c 1553s |      28 | 17710489 | 17519205 |      305 150855 |        1 |        0
1554.79/1555.29	c 1555s |      28 | 17733336 | 17541805 |      305 151000 |        1 |        0
1556.89/1557.30	c 1557s |      28 | 17755608 | 17563905 |      305 151141 |        1 |        0
1558.89/1559.31	c 1559s |      28 | 17778048 | 17586105 |      305 151283 |        1 |        0
1560.89/1561.31	c 1561s |      28 | 17800648 | 17608405 |      305 151426 |        1 |        0
1562.89/1563.31	c 1563s |      28 | 17822973 | 17630505 |      305 151567 |        1 |        0
1564.91/1565.32	c 1565s |      28 | 17845380 | 17652705 |      305 151710 |        1 |        0
1566.90/1567.33	c 1567s |      28 | 17868041 | 17675005 |      305 151852 |        1 |        0
1568.90/1569.33	c 1569s |      28 | 17890517 | 17697205 |      305 151993 |        1 |        0
1570.90/1571.33	c 1571s |      28 | 17912883 | 17719305 |      305 152135 |        1 |        0
1572.90/1573.33	c 1573s |      28 | 17934755 | 17741005 |      305 152274 |        1 |        0
1574.90/1575.34	c 1575s |      28 | 17957232 | 17763205 |      305 152417 |        1 |        0
1576.90/1577.34	c 1577s |      28 | 17979445 | 17785205 |      305 152558 |        1 |        0
1578.90/1579.35	c 1579s |      28 | 18001641 | 17807205 |      305 152699 |        1 |        0
1580.90/1581.35	c 1581s |      28 | 18024104 | 17829405 |      305 152842 |        1 |        0
1582.89/1583.35	c 1583s |      28 | 18046664 | 17851705 |      305 152986 |        1 |        0
1584.89/1585.36	c 1585s |      28 | 18069278 | 17874105 |      305 153131 |        1 |        0
1586.90/1587.37	c 1587s |      28 | 18091332 | 17896005 |      305 153271 |        1 |        0
1588.89/1589.38	c 1589s |      28 | 18113652 | 17918105 |      305 153412 |        1 |        0
1590.89/1591.38	c 1591s |      28 | 18135741 | 17940005 |      305 153551 |        1 |        0
1592.89/1593.38	c 1593s |      28 | 18158324 | 17962305 |      305 153694 |        1 |        0
1594.89/1595.38	c 1595s |      28 | 18180316 | 17984105 |      305 153833 |        1 |        0
1596.90/1597.38	c 1597s |      28 | 18202261 | 18005905 |      305 153973 |        1 |        0
1598.89/1599.39	c 1599s |      28 | 18224691 | 18028105 |      305 154116 |        1 |        0
1600.89/1601.39	c 1601s |      28 | 18247368 | 18050505 |      305 154259 |        1 |        0
1602.89/1603.39	c 1603s |      28 | 18269462 | 18072405 |      305 154399 |        1 |        0
1604.99/1605.40	c 1605s |      28 | 18291826 | 18094505 |      305 154542 |        1 |        0
1606.99/1607.40	c 1607s |      28 | 18313898 | 18116405 |      305 154683 |        1 |        0
1608.99/1609.40	c 1609s |      28 | 18336312 | 18138605 |      305 154826 |        1 |        0
1610.99/1611.41	c 1611s |      28 | 18358912 | 18161005 |      305 154969 |        1 |        0
1612.99/1613.42	c 1613s |      28 | 18381770 | 18183605 |      305 155114 |        1 |        0
1614.99/1615.42	c 1615s |      28 | 18404750 | 18206305 |      305 155260 |        1 |        0
1616.99/1617.43	c 1617s |      28 | 18428117 | 18229305 |      305 155407 |        1 |        0
1618.98/1619.43	c 1619s |      28 | 18450707 | 18251605 |      305 155550 |        1 |        0
1620.99/1621.44	c 1621s |      28 | 18472890 | 18273605 |      305 155692 |        1 |        0
1622.98/1623.44	c 1623s |      28 | 18495371 | 18295805 |      305 155834 |        1 |        0
1624.98/1625.45	c 1625s |      28 | 18517726 | 18317905 |      305 155977 |        1 |        0
1626.98/1627.45	c 1627s |      28 | 18540268 | 18340205 |      305 156121 |        1 |        0
1628.98/1629.46	c 1629s |      28 | 18562781 | 18362505 |      305 156265 |        1 |        0
1631.00/1631.47	c 1631s |      28 | 18585530 | 18385005 |      305 156411 |        1 |        0
1632.99/1633.47	c 1633s |      28 | 18608094 | 18407405 |      305 156555 |        1 |        0
1634.99/1635.47	c 1635s |      28 | 18630935 | 18430005 |      305 156701 |        1 |        0
1636.99/1637.47	c 1637s |      28 | 18653898 | 18452705 |      305 156848 |        1 |        0
1638.98/1639.47	c 1639s |      28 | 18676904 | 18475505 |      305 156996 |        1 |        0
1640.98/1641.48	c 1641s |      28 | 18699857 | 18498205 |      305 157144 |        1 |        0
1642.99/1643.49	c 1643s |      28 | 18722048 | 18520205 |      305 157286 |        1 |        0
1644.98/1645.50	c 1645s |      28 | 18743686 | 18541705 |      305 157422 |        1 |        0
1647.08/1647.50	c 1647s |      28 | 18765647 | 18563505 |      305 157560 |        1 |        0
1649.08/1649.51	c 1649s |      28 | 18787386 | 18585105 |      305 157697 |        1 |        0
1651.08/1651.51	c 1651s |      28 | 18808997 | 18606505 |      305 157833 |        1 |        0
1653.08/1653.52	c 1653s |      28 | 18831002 | 18628305 |      305 157972 |        1 |        0
1655.09/1655.52	c 1655s |      28 | 18852443 | 18649605 |      305 158108 |        1 |        0
1657.08/1657.52	c 1657s |      28 | 18874240 | 18671205 |      305 158245 |        1 |        0
1659.09/1659.53	c 1659s |      28 | 18896021 | 18692805 |      305 158383 |        1 |        0
1661.09/1661.53	c 1661s |      28 | 18918222 | 18714805 |      305 158523 |        1 |        0
1663.09/1663.54	c 1663s |      28 | 18940129 | 18736505 |      305 158662 |        1 |        0
1665.09/1665.55	c 1665s |      28 | 18961929 | 18758105 |      305 158801 |        1 |        0
1667.08/1667.55	c 1667s |      28 | 18984045 | 18780005 |      305 158941 |        1 |        0
1669.08/1669.56	c 1669s |      28 | 19006097 | 18801805 |      305 159080 |        1 |        0
1671.08/1671.57	c 1671s |      28 | 19028155 | 18823605 |      305 159219 |        1 |        0
1673.08/1673.57	c 1673s |      28 | 19050134 | 18845405 |      305 159358 |        1 |        0
1675.08/1675.57	c 1675s |      28 | 19072006 | 18867105 |      305 159497 |        1 |        0
1677.09/1677.58	c 1677s |      28 | 19094315 | 18889205 |      305 159639 |        1 |        0
1679.08/1679.58	c 1679s |      28 | 19116531 | 18911205 |      305 159781 |        1 |        0
1681.08/1681.59	c 1681s |      28 | 19138553 | 18933005 |      305 159921 |        1 |        0
1683.08/1683.59	c 1683s |      28 | 19160577 | 18954805 |      305 160062 |        1 |        0
1685.08/1685.60	c 1685s |      28 | 19182444 | 18976505 |      305 160201 |        1 |        0
1687.18/1687.60	c 1687s |      28 | 19204532 | 18998405 |      305 160340 |        1 |        0
1689.19/1689.60	c 1689s |      28 | 19226506 | 19020205 |      305 160478 |        1 |        0
1691.18/1691.61	c 1691s |      28 | 19248167 | 19041705 |      305 160616 |        1 |        0
1693.18/1693.61	c 1693s |      28 | 19270330 | 19063705 |      305 160756 |        1 |        0
1695.18/1695.61	c 1695s |      28 | 19293763 | 19086905 |      305 160904 |        1 |        0
1697.18/1697.61	c 1697s |      28 | 19317445 | 19110305 |      305 161054 |        1 |        0
1699.19/1699.62	c 1699s |      28 | 19339850 | 19132505 |      305 161197 |        1 |        0
1701.18/1701.62	c 1701s |      28 | 19362027 | 19154505 |      305 161338 |        1 |        0
1703.18/1703.63	c 1703s |      28 | 19384413 | 19176705 |      305 161480 |        1 |        0
1705.18/1705.64	c 1705s |      28 | 19406943 | 19199005 |      305 161623 |        1 |        0
1707.18/1707.64	c 1707s |      28 | 19429454 | 19221305 |      305 161766 |        1 |        0
1709.18/1709.64	c 1709s |      28 | 19452136 | 19243705 |      305 161910 |        1 |        0
1711.18/1711.64	c 1711s |      28 | 19474854 | 19266205 |      305 162055 |        1 |        0
1713.17/1713.64	c 1713s |      28 | 19497000 | 19288105 |      305 162194 |        1 |        0
1715.17/1715.65	c 1715s |      28 | 19519116 | 19310005 |      305 162334 |        1 |        0
1717.17/1717.65	c 1717s |      28 | 19540952 | 19331605 |      305 162472 |        1 |        0
1719.17/1719.66	c 1719s |      28 | 19562961 | 19353405 |      305 162611 |        1 |        0
1721.18/1721.66	c 1721s |      28 | 19585300 | 19375505 |      305 162753 |        1 |        0
1723.17/1723.66	c 1723s |      28 | 19607677 | 19397605 |      305 162894 |        1 |        0
1725.17/1725.66	c 1725s |      28 | 19629754 | 19419405 |      305 163033 |        1 |        0
1727.17/1727.66	c 1727s |      28 | 19651676 | 19441105 |      305 163173 |        1 |        0
1729.17/1729.67	c 1729s |      28 | 19673729 | 19462905 |      305 163313 |        1 |        0
1731.17/1731.67	c 1731s |      28 | 19695784 | 19484705 |      305 163453 |        1 |        0
1733.17/1733.68	c 1733s |      28 | 19717387 | 19506105 |      305 163590 |        1 |        0
1735.17/1735.68	c 1735s |      28 | 19739104 | 19527605 |      305 163728 |        1 |        0
1737.17/1737.68	c 1737s |      28 | 19761350 | 19549605 |      305 163870 |        1 |        0
1739.17/1739.68	c 1739s |      28 | 19783289 | 19571305 |      305 164009 |        1 |        0
1741.17/1741.69	c 1741s |      28 | 19805196 | 19593005 |      305 164149 |        1 |        0
1743.17/1743.69	c 1743s |      28 | 19827174 | 19614805 |      305 164291 |        1 |        0
1745.17/1745.69	c 1745s |      28 | 19848955 | 19636405 |      305 164430 |        1 |        0
1747.27/1747.70	c 1747s |      28 | 19870658 | 19657905 |      305 164568 |        1 |        0
1749.27/1749.70	c 1749s |      28 | 19892728 | 19679805 |      305 164708 |        1 |        0
1751.26/1751.71	c 1751s |      28 | 19914417 | 19701305 |      305 164847 |        1 |        0
1753.26/1753.72	c 1753s |      28 | 19936189 | 19722905 |      305 164986 |        1 |        0
1755.27/1755.72	c 1755s |      28 | 19958692 | 19745205 |      305 165131 |        1 |        0
1757.26/1757.73	c 1757s |      28 | 19981158 | 19767405 |      305 165274 |        1 |        0
1759.26/1759.73	c 1759s |      28 | 20003908 | 19789905 |      305 165420 |        1 |        0
1761.26/1761.74	c 1761s |      28 | 20026204 | 19812005 |      305 165563 |        1 |        0
1763.26/1763.74	c 1763s |      28 | 20048614 | 19834205 |      305 165706 |        1 |        0
1765.27/1765.75	c 1765s |      28 | 20071740 | 19857105 |      305 165855 |        1 |        0
1767.27/1767.76	c 1767s |      28 | 20094754 | 19879905 |      305 166004 |        1 |        0
1769.27/1769.76	c 1769s |      28 | 20117781 | 19902705 |      305 166153 |        1 |        0
1771.27/1771.76	c 1771s |      28 | 20140465 | 19925105 |      305 166298 |        1 |        0
1773.27/1773.76	c 1773s |      28 | 20162749 | 19947105 |      305 166437 |        1 |        0
1775.27/1775.77	c 1775s |      28 | 20184947 | 19969005 |      305 166575 |        1 |        0
1777.27/1777.77	c 1777s |      28 | 20207110 | 19990905 |      305 166714 |        1 |        0
1779.26/1779.78	c 1779s |      28 | 20229152 | 20012705 |      305 166853 |        1 |        0
1781.26/1781.79	c 1781s |      28 | 20250955 | 20034305 |      305 166990 |        1 |        0
1783.26/1783.79	c 1783s |      28 | 20272694 | 20055805 |      305 167128 |        1 |        0
1785.26/1785.79	c 1785s |      28 | 20294652 | 20077505 |      305 167266 |        1 |        0
1787.36/1787.80	c 1787s |      28 | 20316892 | 20099505 |      305 167406 |        1 |        0
1789.37/1789.81	c 1789s |      28 | 20338831 | 20121205 |      305 167544 |        1 |        0
1791.36/1791.81	c 1791s |      28 | 20361201 | 20143305 |      305 167686 |        1 |        0
1793.36/1793.81	c 1793s |      28 | 20383522 | 20165405 |      305 167827 |        1 |        0
1795.36/1795.81	c 1795s |      28 | 20405814 | 20187505 |      305 167969 |        1 |        0
1797.36/1797.82	c 1797s |      28 | 20427626 | 20209105 |      305 168107 |        1 |        0
1799.36/1799.83	c 1799s |      28 | 20449743 | 20231005 |      305 168247 |        1 |        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-4079731-1465245125/watcher-4079731-1465245125 -o /tmp/evaluation-result-4079731-1465245125/solver-4079731-1465245125 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node140-1465216678-13091 --watchdog 1960 toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4079731-1465245125.opb 

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

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


[startup+0 s]
/proc/loadavg: 2.28 2.21 2.23 3/179 17186
/proc/meminfo: memFree=29384752/32872528 swapFree=16636/1570076
[pid=17186] ppid=17183 vsize=762300 CPUtime=0 cores=0,2,4,6
/proc/17186/stat : 17186 (toysat) R 17183 17186 13075 0 -1 4202496 2853 0 0 0 0 0 0 0 20 0 4 0 106444890 780595200 2703 33554432000 4194304 16246674 140735952395808 140735952395232 13880264 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/17186/statm: 191343 2712 441 2943 0 188237 0
[pid=17186/tid=17187] ppid=17183 vsize=779708 CPUtime=0 cores=0,2,4,6
/proc/17186/task/17187/stat : 17187 (toysat) S 17183 17186 13075 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 106444890 798420992 2771 33554432000 4194304 16246674 140735952395808 140205926362352 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=17186/tid=17188] ppid=17183 vsize=784828 CPUtime=0 cores=0,2,4,6
/proc/17186/task/17188/stat : 17188 (toysat) S 17183 17186 13075 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106444890 803663872 2788 33554432000 4194304 16246674 140735952395808 140205915872496 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=17186/tid=17189] ppid=17183 vsize=788924 CPUtime=0 cores=0,2,4,6
/proc/17186/task/17189/stat : 17189 (toysat) S 17183 17186 13075 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 106444891 807858176 2806 33554432000 4194304 16246674 140735952395808 140205905398960 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0

[startup+0.100127 s]
/proc/loadavg: 2.28 2.21 2.23 3/179 17186
/proc/meminfo: memFree=29384752/32872528 swapFree=16636/1570076
[pid=17186] ppid=17183 vsize=1218116 CPUtime=0.09 cores=0,2,4,6
/proc/17186/stat : 17186 (toysat) R 17183 17186 13075 0 -1 4202496 19461 0 0 0 7 2 0 0 20 0 4 0 106444890 1247350784 19299 33554432000 4194304 16246674 140735952395808 140735952395232 13780501 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/17186/statm: 304529 19303 751 2943 0 301423 0
[pid=17186/tid=17187] ppid=17183 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/17186/task/17187/stat : 17187 (toysat) S 17183 17186 13075 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 106444890 1247350784 19308 33554432000 4194304 16246674 140735952395808 140205926362352 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=17186/tid=17188] ppid=17183 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/17186/task/17188/stat : 17188 (toysat) S 17183 17186 13075 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106444890 1247350784 19314 33554432000 4194304 16246674 140735952395808 140205915872496 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=17186/tid=17189] ppid=17183 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/17186/task/17189/stat : 17189 (toysat) S 17183 17186 13075 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 106444891 1247350784 19316 33554432000 4194304 16246674 140735952395808 140205905398960 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 1218116

[startup+0.200498 s]
/proc/loadavg: 2.28 2.21 2.23 3/179 17186
/proc/meminfo: memFree=29384752/32872528 swapFree=16636/1570076
[pid=17186] ppid=17183 vsize=1218116 CPUtime=0.19 cores=0,2,4,6
/proc/17186/stat : 17186 (toysat) R 17183 17186 13075 0 -1 4202496 35509 0 0 0 14 5 0 0 20 0 4 0 106444890 1247350784 35347 33554432000 4194304 16246674 140735952395808 140735952395232 5661217 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/17186/statm: 304529 35356 751 2943 0 301423 0
[pid=17186/tid=17187] ppid=17183 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/17186/task/17187/stat : 17187 (toysat) S 17183 17186 13075 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 106444890 1247350784 35362 33554432000 4194304 16246674 140735952395808 140205926362352 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=17186/tid=17188] ppid=17183 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/17186/task/17188/stat : 17188 (toysat) S 17183 17186 13075 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106444890 1247350784 35365 33554432000 4194304 16246674 140735952395808 140205915872496 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=17186/tid=17189] ppid=17183 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/17186/task/17189/stat : 17189 (toysat) S 17183 17186 13075 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 106444891 1247350784 35367 33554432000 4194304 16246674 140735952395808 140205905398960 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 1218116

[startup+0.300471 s]
/proc/loadavg: 2.28 2.21 2.23 3/179 17186
/proc/meminfo: memFree=29384752/32872528 swapFree=16636/1570076
[pid=17186] ppid=17183 vsize=1218116 CPUtime=0.28 cores=0,2,4,6
/proc/17186/stat : 17186 (toysat) R 17183 17186 13075 0 -1 4202496 51675 0 0 0 22 6 0 0 20 0 4 0 106444890 1247350784 51514 33554432000 4194304 16246674 140735952395808 140735952395232 5831697 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/17186/statm: 304529 51521 752 2943 0 301423 0
[pid=17186/tid=17187] ppid=17183 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/17186/task/17187/stat : 17187 (toysat) S 17183 17186 13075 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 106444890 1247350784 51525 33554432000 4194304 16246674 140735952395808 140205926362352 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=17186/tid=17188] ppid=17183 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/17186/task/17188/stat : 17188 (toysat) S 17183 17186 13075 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106444890 1247350784 51527 33554432000 4194304 16246674 140735952395808 140205915872496 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=17186/tid=17189] ppid=17183 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/17186/task/17189/stat : 17189 (toysat) S 17183 17186 13075 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 106444891 1247350784 51531 33554432000 4194304 16246674 140735952395808 140205905398960 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 1218116

[startup+0.700392 s]
/proc/loadavg: 2.28 2.21 2.23 3/179 17186
/proc/meminfo: memFree=29384752/32872528 swapFree=16636/1570076
[pid=17186] ppid=17183 vsize=1218116 CPUtime=0.69 cores=0,2,4,6
/proc/17186/stat : 17186 (toysat) R 17183 17186 13075 0 -1 4202496 119697 0 0 0 55 14 0 0 20 0 4 0 106444890 1247350784 119535 33554432000 4194304 16246674 140735952395808 140735952395232 13192951 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/17186/statm: 304529 119541 752 2943 0 301423 0
[pid=17186/tid=17187] ppid=17183 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/17186/task/17187/stat : 17187 (toysat) S 17183 17186 13075 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 106444890 1247350784 119546 33554432000 4194304 16246674 140735952395808 140205926362352 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=17186/tid=17188] ppid=17183 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/17186/task/17188/stat : 17188 (toysat) S 17183 17186 13075 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106444890 1247350784 119552 33554432000 4194304 16246674 140735952395808 140205915872496 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=17186/tid=17189] ppid=17183 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/17186/task/17189/stat : 17189 (toysat) S 17183 17186 13075 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 106444891 1247350784 119557 33554432000 4194304 16246674 140735952395808 140205905398960 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 1218116

[startup+1.50039 s]
/proc/loadavg: 2.28 2.21 2.23 3/183 17190
/proc/meminfo: memFree=28633304/32872528 swapFree=16636/1570076
[pid=17186] ppid=17183 vsize=1218116 CPUtime=1.49 cores=0,2,4,6
/proc/17186/stat : 17186 (toysat) R 17183 17186 13075 0 -1 4202496 245524 0 0 0 118 31 0 0 20 0 4 0 106444890 1247350784 245339 33554432000 4194304 16246674 140735952395808 140735952395120 5546214 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/17186/statm: 304529 245339 824 2943 0 301423 0
[pid=17186/tid=17187] ppid=17183 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/17186/task/17187/stat : 17187 (toysat) S 17183 17186 13075 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 106444890 1247350784 245339 33554432000 4194304 16246674 140735952395808 140205926362352 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=17186/tid=17188] ppid=17183 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/17186/task/17188/stat : 17188 (toysat) S 17183 17186 13075 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106444890 1247350784 245339 33554432000 4194304 16246674 140735952395808 140205915872496 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=17186/tid=17189] ppid=17183 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/17186/task/17189/stat : 17189 (toysat) S 17183 17186 13075 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 106444891 1247350784 245339 33554432000 4194304 16246674 140735952395808 140205905398960 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 1218116

[startup+3.1004 s]
/proc/loadavg: 2.28 2.21 2.23 3/183 17190
/proc/meminfo: memFree=28404276/32872528 swapFree=16636/1570076
[pid=17186] ppid=17183 vsize=1306180 CPUtime=3.08 cores=0,2,4,6
/proc/17186/stat : 17186 (toysat) R 17183 17186 13075 0 -1 4202496 267389 0 0 0 274 34 0 0 20 0 4 0 106444890 1337528320 267204 33554432000 4194304 16246674 140735952395808 140735952378808 5672213 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/17186/statm: 326545 267204 824 2943 0 323439 0
[pid=17186/tid=17187] ppid=17183 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/17186/task/17187/stat : 17187 (toysat) S 17183 17186 13075 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 106444890 1337528320 267204 33554432000 4194304 16246674 140735952395808 140205926362352 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=17186/tid=17188] ppid=17183 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/17186/task/17188/stat : 17188 (toysat) S 17183 17186 13075 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106444890 1337528320 267204 33554432000 4194304 16246674 140735952395808 140205915872496 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=17186/tid=17189] ppid=17183 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/17186/task/17189/stat : 17189 (toysat) S 17183 17186 13075 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 106444891 1337528320 267204 33554432000 4194304 16246674 140735952395808 140205905398960 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 1306180

[startup+6.30041 s]
/proc/loadavg: 2.25 2.21 2.23 3/183 17190
/proc/meminfo: memFree=28316080/32872528 swapFree=16636/1570076
[pid=17186] ppid=17183 vsize=1306180 CPUtime=6.28 cores=0,2,4,6
/proc/17186/stat : 17186 (toysat) R 17183 17186 13075 0 -1 4202496 267446 0 0 0 594 34 0 0 20 0 4 0 106444890 1337528320 267261 33554432000 4194304 16246674 140735952395808 140735952378808 6010360 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/17186/statm: 326545 267261 824 2943 0 323439 0
[pid=17186/tid=17187] ppid=17183 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/17186/task/17187/stat : 17187 (toysat) S 17183 17186 13075 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 106444890 1337528320 267261 33554432000 4194304 16246674 140735952395808 140205926362352 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=17186/tid=17188] ppid=17183 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/17186/task/17188/stat : 17188 (toysat) S 17183 17186 13075 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106444890 1337528320 267261 33554432000 4194304 16246674 140735952395808 140205915872496 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=17186/tid=17189] ppid=17183 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/17186/task/17189/stat : 17189 (toysat) S 17183 17186 13075 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 106444891 1337528320 267261 33554432000 4194304 16246674 140735952395808 140205905398960 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 1306180

[startup+12.7003 s]
/proc/loadavg: 2.23 2.20 2.23 3/183 17190
/proc/meminfo: memFree=28316256/32872528 swapFree=16636/1570076
[pid=17186] ppid=17183 vsize=1306180 CPUtime=12.69 cores=0,2,4,6
/proc/17186/stat : 17186 (toysat) R 17183 17186 13075 0 -1 4202496 267446 0 0 0 1234 35 0 0 20 0 4 0 106444890 1337528320 267261 33554432000 4194304 16246674 140735952395808 140735952378808 6020494 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/17186/statm: 326545 267261 824 2943 0 323439 0
[pid=17186/tid=17187] ppid=17183 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/17186/task/17187/stat : 17187 (toysat) S 17183 17186 13075 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 106444890 1337528320 267261 33554432000 4194304 16246674 140735952395808 140205926362352 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=17186/tid=17188] ppid=17183 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/17186/task/17188/stat : 17188 (toysat) S 17183 17186 13075 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106444890 1337528320 267261 33554432000 4194304 16246674 140735952395808 140205915872496 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=17186/tid=17189] ppid=17183 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/17186/task/17189/stat : 17189 (toysat) S 17183 17186 13075 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 106444891 1337528320 267261 33554432000 4194304 16246674 140735952395808 140205905398960 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 1306180

[startup+25.5005 s]
/proc/loadavg: 2.25 2.21 2.23 3/183 17190
/proc/meminfo: memFree=28317236/32872528 swapFree=16636/1570076
[pid=17186] ppid=17183 vsize=1306180 CPUtime=25.49 cores=0,2,4,6
/proc/17186/stat : 17186 (toysat) R 17183 17186 13075 0 -1 4202496 267459 0 0 0 2514 35 0 0 20 0 4 0 106444890 1337528320 267274 33554432000 4194304 16246674 140735952395808 140735952378808 12415766 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/17186/statm: 326545 267274 824 2943 0 323439 0
[pid=17186/tid=17187] ppid=17183 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/17186/task/17187/stat : 17187 (toysat) S 17183 17186 13075 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 106444890 1337528320 267274 33554432000 4194304 16246674 140735952395808 140205926362352 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=17186/tid=17188] ppid=17183 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/17186/task/17188/stat : 17188 (toysat) S 17183 17186 13075 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106444890 1337528320 267274 33554432000 4194304 16246674 140735952395808 140205915872496 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=17186/tid=17189] ppid=17183 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/17186/task/17189/stat : 17189 (toysat) S 17183 17186 13075 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 106444891 1337528320 267274 33554432000 4194304 16246674 140735952395808 140205905398960 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 1306180

[startup+51.1005 s]
/proc/loadavg: 2.17 2.19 2.22 3/183 17190
/proc/meminfo: memFree=28317124/32872528 swapFree=16636/1570076
[pid=17186] ppid=17183 vsize=1306180 CPUtime=51.08 cores=0,2,4,6
/proc/17186/stat : 17186 (toysat) R 17183 17186 13075 0 -1 4202496 267464 0 0 0 5073 35 0 0 20 0 4 0 106444890 1337528320 267279 33554432000 4194304 16246674 140735952395808 140735952378808 5711716 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/17186/statm: 326545 267279 826 2943 0 323439 0
[pid=17186/tid=17187] ppid=17183 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/17186/task/17187/stat : 17187 (toysat) S 17183 17186 13075 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 106444890 1337528320 267279 33554432000 4194304 16246674 140735952395808 140205926362352 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=17186/tid=17188] ppid=17183 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/17186/task/17188/stat : 17188 (toysat) S 17183 17186 13075 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106444890 1337528320 267279 33554432000 4194304 16246674 140735952395808 140205915872496 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=17186/tid=17189] ppid=17183 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/17186/task/17189/stat : 17189 (toysat) S 17183 17186 13075 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 106444891 1337528320 267279 33554432000 4194304 16246674 140735952395808 140205905398960 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 1306180

[startup+102.3 s]
/proc/loadavg: 2.12 2.17 2.21 3/183 17191
/proc/meminfo: memFree=28316588/32872528 swapFree=16636/1570076
[pid=17186] ppid=17183 vsize=1306180 CPUtime=102.29 cores=0,2,4,6
/proc/17186/stat : 17186 (toysat) R 17183 17186 13075 0 -1 4202496 267490 0 0 0 10192 37 0 0 20 0 4 0 106444890 1337528320 267305 33554432000 4194304 16246674 140735952395808 140735952378808 13780648 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/17186/statm: 326545 267305 828 2943 0 323439 0
[pid=17186/tid=17187] ppid=17183 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/17186/task/17187/stat : 17187 (toysat) S 17183 17186 13075 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 106444890 1337528320 267305 33554432000 4194304 16246674 140735952395808 140205926362352 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=17186/tid=17188] ppid=17183 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/17186/task/17188/stat : 17188 (toysat) S 17183 17186 13075 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106444890 1337528320 267305 33554432000 4194304 16246674 140735952395808 140205915872496 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=17186/tid=17189] ppid=17183 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/17186/task/17189/stat : 17189 (toysat) S 17183 17186 13075 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 106444891 1337528320 267305 33554432000 4194304 16246674 140735952395808 140205905398960 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 102.29
Current children cumulated vsize (KiB) 1306180


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

/proc/17186/task/17189/stat : 17189 (toysat) S 17183 17186 13075 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 106444891 1337528320 267642 33554432000 4194304 16246674 140735952395808 140205905398960 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1301.98
Current children cumulated vsize (KiB) 1306180

[startup+1362.3 s]
/proc/loadavg: 2.16 2.27 2.21 3/182 17223
/proc/meminfo: memFree=28312348/32872528 swapFree=16636/1570076
[pid=17186] ppid=17183 vsize=1306180 CPUtime=1361.94 cores=0,2,4,6
/proc/17186/stat : 17186 (toysat) R 17183 17186 13075 0 -1 4202496 267850 0 0 0 136133 61 0 0 20 0 4 0 106444890 1337528320 267642 33554432000 4194304 16246674 140735952395808 140735952378808 5601624 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/17186/statm: 326545 267642 829 2943 0 323439 0
[pid=17186/tid=17187] ppid=17183 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/17186/task/17187/stat : 17187 (toysat) S 17183 17186 13075 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 106444890 1337528320 267642 33554432000 4194304 16246674 140735952395808 140205926362352 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=17186/tid=17188] ppid=17183 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/17186/task/17188/stat : 17188 (toysat) S 17183 17186 13075 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106444890 1337528320 267642 33554432000 4194304 16246674 140735952395808 140205915872496 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=17186/tid=17189] ppid=17183 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/17186/task/17189/stat : 17189 (toysat) S 17183 17186 13075 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 106444891 1337528320 267642 33554432000 4194304 16246674 140735952395808 140205905398960 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1361.94
Current children cumulated vsize (KiB) 1306180

[startup+1422.3 s]
/proc/loadavg: 2.18 2.26 2.21 3/183 17274
/proc/meminfo: memFree=28701228/32872528 swapFree=16636/1570076
[pid=17186] ppid=17183 vsize=1306180 CPUtime=1421.92 cores=0,2,4,6
/proc/17186/stat : 17186 (toysat) R 17183 17186 13075 0 -1 4202496 267882 0 0 0 142130 62 0 0 20 0 4 0 106444890 1337528320 267642 33554432000 4194304 16246674 140735952395808 140735952378808 13943664 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/17186/statm: 326545 267642 829 2943 0 323439 0
[pid=17186/tid=17187] ppid=17183 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/17186/task/17187/stat : 17187 (toysat) S 17183 17186 13075 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 106444890 1337528320 267642 33554432000 4194304 16246674 140735952395808 140205926362352 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=17186/tid=17188] ppid=17183 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/17186/task/17188/stat : 17188 (toysat) S 17183 17186 13075 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106444890 1337528320 267642 33554432000 4194304 16246674 140735952395808 140205915872496 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=17186/tid=17189] ppid=17183 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/17186/task/17189/stat : 17189 (toysat) S 17183 17186 13075 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 106444891 1337528320 267642 33554432000 4194304 16246674 140735952395808 140205905398960 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1421.92
Current children cumulated vsize (KiB) 1306180

[startup+1482.3 s]
/proc/loadavg: 2.27 2.26 2.21 3/183 17275
/proc/meminfo: memFree=28299548/32872528 swapFree=16636/1570076
[pid=17186] ppid=17183 vsize=1306180 CPUtime=1481.91 cores=0,2,4,6
/proc/17186/stat : 17186 (toysat) R 17183 17186 13075 0 -1 4202496 267890 0 0 0 148128 63 0 0 20 0 4 0 106444890 1337528320 267642 33554432000 4194304 16246674 140735952395808 140735952377728 13923831 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/17186/statm: 326545 267642 829 2943 0 323439 0
[pid=17186/tid=17187] ppid=17183 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/17186/task/17187/stat : 17187 (toysat) S 17183 17186 13075 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 106444890 1337528320 267642 33554432000 4194304 16246674 140735952395808 140205926362352 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=17186/tid=17188] ppid=17183 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/17186/task/17188/stat : 17188 (toysat) S 17183 17186 13075 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106444890 1337528320 267642 33554432000 4194304 16246674 140735952395808 140205915872496 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=17186/tid=17189] ppid=17183 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/17186/task/17189/stat : 17189 (toysat) S 17183 17186 13075 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 106444891 1337528320 267642 33554432000 4194304 16246674 140735952395808 140205905398960 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1481.91
Current children cumulated vsize (KiB) 1306180

[startup+1542.31 s]
/proc/loadavg: 2.24 2.25 2.21 3/183 17276
/proc/meminfo: memFree=28299080/32872528 swapFree=16636/1570076
[pid=17186] ppid=17183 vsize=1306180 CPUtime=1541.91 cores=0,2,4,6
/proc/17186/stat : 17186 (toysat) R 17183 17186 13075 0 -1 4202496 267890 0 0 0 154127 64 0 0 20 0 4 0 106444890 1337528320 267642 33554432000 4194304 16246674 140735952395808 140735952378808 12415754 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/17186/statm: 326545 267642 829 2943 0 323439 0
[pid=17186/tid=17187] ppid=17183 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/17186/task/17187/stat : 17187 (toysat) S 17183 17186 13075 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 106444890 1337528320 267642 33554432000 4194304 16246674 140735952395808 140205926362352 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=17186/tid=17188] ppid=17183 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/17186/task/17188/stat : 17188 (toysat) S 17183 17186 13075 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106444890 1337528320 267642 33554432000 4194304 16246674 140735952395808 140205915872496 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=17186/tid=17189] ppid=17183 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/17186/task/17189/stat : 17189 (toysat) S 17183 17186 13075 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 106444891 1337528320 267642 33554432000 4194304 16246674 140735952395808 140205905398960 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1541.91
Current children cumulated vsize (KiB) 1306180

[startup+1602.3 s]
/proc/loadavg: 2.32 2.27 2.21 3/183 17277
/proc/meminfo: memFree=28298864/32872528 swapFree=16636/1570076
[pid=17186] ppid=17183 vsize=1306180 CPUtime=1601.89 cores=0,2,4,6
/proc/17186/stat : 17186 (toysat) R 17183 17186 13075 0 -1 4202496 267890 0 0 0 160124 65 0 0 20 0 4 0 106444890 1337528320 267642 33554432000 4194304 16246674 140735952395808 140735952378808 6021624 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/17186/statm: 326545 267642 829 2943 0 323439 0
[pid=17186/tid=17187] ppid=17183 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/17186/task/17187/stat : 17187 (toysat) S 17183 17186 13075 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 106444890 1337528320 267642 33554432000 4194304 16246674 140735952395808 140205926362352 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=17186/tid=17188] ppid=17183 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/17186/task/17188/stat : 17188 (toysat) S 17183 17186 13075 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106444890 1337528320 267642 33554432000 4194304 16246674 140735952395808 140205915872496 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=17186/tid=17189] ppid=17183 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/17186/task/17189/stat : 17189 (toysat) S 17183 17186 13075 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 106444891 1337528320 267642 33554432000 4194304 16246674 140735952395808 140205905398960 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1601.89
Current children cumulated vsize (KiB) 1306180

[startup+1662.3 s]
/proc/loadavg: 2.21 2.24 2.21 3/183 17279
/proc/meminfo: memFree=28299012/32872528 swapFree=16636/1570076
[pid=17186] ppid=17183 vsize=1306180 CPUtime=1661.89 cores=0,2,4,6
/proc/17186/stat : 17186 (toysat) R 17183 17186 13075 0 -1 4202496 267890 0 0 0 166122 67 0 0 20 0 4 0 106444890 1337528320 267642 33554432000 4194304 16246674 140735952395808 140735952378808 13194804 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/17186/statm: 326545 267642 829 2943 0 323439 0
[pid=17186/tid=17187] ppid=17183 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/17186/task/17187/stat : 17187 (toysat) S 17183 17186 13075 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 106444890 1337528320 267642 33554432000 4194304 16246674 140735952395808 140205926362352 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=17186/tid=17188] ppid=17183 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/17186/task/17188/stat : 17188 (toysat) S 17183 17186 13075 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106444890 1337528320 267642 33554432000 4194304 16246674 140735952395808 140205915872496 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=17186/tid=17189] ppid=17183 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/17186/task/17189/stat : 17189 (toysat) S 17183 17186 13075 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 106444891 1337528320 267642 33554432000 4194304 16246674 140735952395808 140205905398960 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1661.89
Current children cumulated vsize (KiB) 1306180

[startup+1722.3 s]
/proc/loadavg: 2.22 2.24 2.20 3/184 17283
/proc/meminfo: memFree=28295516/32872528 swapFree=16636/1570076
[pid=17186] ppid=17183 vsize=1306180 CPUtime=1721.87 cores=0,2,4,6
/proc/17186/stat : 17186 (toysat) R 17183 17186 13075 0 -1 4202496 267890 0 0 0 172120 67 0 0 20 0 4 0 106444890 1337528320 267642 33554432000 4194304 16246674 140735952395808 140735952378808 6836812 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/17186/statm: 326545 267642 829 2943 0 323439 0
[pid=17186/tid=17187] ppid=17183 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/17186/task/17187/stat : 17187 (toysat) S 17183 17186 13075 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 106444890 1337528320 267642 33554432000 4194304 16246674 140735952395808 140205926362352 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=17186/tid=17188] ppid=17183 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/17186/task/17188/stat : 17188 (toysat) S 17183 17186 13075 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106444890 1337528320 267642 33554432000 4194304 16246674 140735952395808 140205915872496 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=17186/tid=17189] ppid=17183 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/17186/task/17189/stat : 17189 (toysat) S 17183 17186 13075 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 106444891 1337528320 267642 33554432000 4194304 16246674 140735952395808 140205905398960 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1721.87
Current children cumulated vsize (KiB) 1306180

[startup+1782.3 s]
/proc/loadavg: 2.26 2.24 2.20 4/184 17306
/proc/meminfo: memFree=28295248/32872528 swapFree=16636/1570076
[pid=17186] ppid=17183 vsize=1306180 CPUtime=1781.86 cores=0,2,4,6
/proc/17186/stat : 17186 (toysat) R 17183 17186 13075 0 -1 4202496 267890 0 0 0 178118 68 0 0 20 0 4 0 106444890 1337528320 267642 33554432000 4194304 16246674 140735952395808 140735952378808 12874974 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/17186/statm: 326545 267642 829 2943 0 323439 0
[pid=17186/tid=17187] ppid=17183 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/17186/task/17187/stat : 17187 (toysat) S 17183 17186 13075 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 106444890 1337528320 267642 33554432000 4194304 16246674 140735952395808 140205926362352 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=17186/tid=17188] ppid=17183 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/17186/task/17188/stat : 17188 (toysat) S 17183 17186 13075 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106444890 1337528320 267642 33554432000 4194304 16246674 140735952395808 140205915872496 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=17186/tid=17189] ppid=17183 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/17186/task/17189/stat : 17189 (toysat) S 17183 17186 13075 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 106444891 1337528320 267642 33554432000 4194304 16246674 140735952395808 140205905398960 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1781.86
Current children cumulated vsize (KiB) 1306180



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.5 s]
/proc/loadavg: 2.19 2.22 2.20 3/183 17306
/proc/meminfo: memFree=28295276/32872528 swapFree=16636/1570076
[pid=17186] ppid=17183 vsize=1306180 CPUtime=1800.06 cores=0,2,4,6
/proc/17186/stat : 17186 (toysat) R 17183 17186 13075 0 -1 4202496 267890 0 0 0 179938 68 0 0 20 0 4 0 106444890 1337528320 267642 33554432000 4194304 16246674 140735952395808 140735952378808 5675682 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/17186/statm: 326545 267642 829 2943 0 323439 0
[pid=17186/tid=17187] ppid=17183 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/17186/task/17187/stat : 17187 (toysat) S 17183 17186 13075 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 106444890 1337528320 267642 33554432000 4194304 16246674 140735952395808 140205926362352 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=17186/tid=17188] ppid=17183 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/17186/task/17188/stat : 17188 (toysat) S 17183 17186 13075 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106444890 1337528320 267642 33554432000 4194304 16246674 140735952395808 140205915872496 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=17186/tid=17189] ppid=17183 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/17186/task/17189/stat : 17189 (toysat) S 17183 17186 13075 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 106444891 1337528320 267642 33554432000 4194304 16246674 140735952395808 140205905398960 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1800.06
Current children cumulated vsize (KiB) 1306180

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

[startup+1800.5 s]
/proc/loadavg: 2.19 2.22 2.20 3/183 17306
/proc/meminfo: memFree=28295276/32872528 swapFree=16636/1570076
[pid=17186] ppid=17183 vsize=1306180 CPUtime=1800.06 cores=0,2,4,6
/proc/17186/stat : 17186 (toysat) R 17183 17186 13075 0 -1 4202496 267890 0 0 0 179938 68 0 0 20 0 4 0 106444890 1337528320 267642 33554432000 4194304 16246674 140735952395808 140735952378808 5675682 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/17186/statm: 326545 267642 829 2943 0 323439 0
[pid=17186/tid=17187] ppid=17183 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/17186/task/17187/stat : 17187 (toysat) S 17183 17186 13075 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 106444890 1337528320 267642 33554432000 4194304 16246674 140735952395808 140205926362352 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=17186/tid=17188] ppid=17183 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/17186/task/17188/stat : 17188 (toysat) S 17183 17186 13075 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106444890 1337528320 267642 33554432000 4194304 16246674 140735952395808 140205915872496 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=17186/tid=17189] ppid=17183 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/17186/task/17189/stat : 17189 (toysat) S 17183 17186 13075 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 106444891 1337528320 267642 33554432000 4194304 16246674 140735952395808 140205905398960 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1800.06
Current children cumulated vsize (KiB) 1306180

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1800.51
CPU time (s): 1800.07
CPU user time (s): 1799.39
CPU system time (s): 0.686895
CPU usage (%): 99.9759
Max. virtual memory (cumulated for all children) (KiB): 1306180

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

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 10.0825 second user time and 10.4214 second system time

The end

Begin job on node140 at 2016-06-06 22:32:05
IDJOB=4079731
IDBENCH=2913
IDSOLVER=2542
FILE ID=node140/4079731-1465245125
RUNJOBID= node140-1465216678-13091
PBS_JOBID= 19843199
Free space on /tmp= 71724 MiB

SOLVER NAME= toysat 2016-05-02
BENCH NAME= PB06/final/normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/market-split/normalized-market-split_5_40_1.opb
COMMAND LINE= toysat +RTS -H1G -MMEMLIMITm -K1G -RTS --pb --search=bcd2 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4079731-1465245125/watcher-4079731-1465245125 -o /tmp/evaluation-result-4079731-1465245125/solver-4079731-1465245125 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node140-1465216678-13091 --watchdog 1960  toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4079731-1465245125.opb

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

MD5SUM BENCH= ae75c4a4fdafb98542bd11b7f7eecd54
RANDOM SEED=1172758749

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:       32872528 kB
MemFree:        29385932 kB
Buffers:           48164 kB
Cached:            90400 kB
SwapCached:         1748 kB
Active:          1136532 kB
Inactive:          76280 kB
Active(anon):    1073912 kB
Inactive(anon):     2612 kB
Active(file):      62620 kB
Inactive(file):    73668 kB
Unevictable:     1570076 kB
Mlocked:           16636 kB
SwapTotal:      67108856 kB
SwapFree:       67098604 kB
Dirty:             16332 kB
Writeback:             0 kB
AnonPages:       2643876 kB
Mapped:            10420 kB
Shmem:                 0 kB
Slab:             568088 kB
SReclaimable:      12092 kB
SUnreclaim:       555996 kB
KernelStack:        1448 kB
PageTables:         9512 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    2788500 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:   1558528 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= 71708 MiB
End job on node140 at 2016-06-06 23:02:06