0.00/0.00	static
0.00/0.00	HOME/instance-3439520-1306932944.cnf
0.00/0.00	c Parsing...
0.00/0.00	c ==============================================================================
0.00/0.00	c |           |     ORIGINAL     |              LEARNT              |          |
0.00/0.00	c | Conflicts | Clauses Literals |   Limit Clauses Literals  Lit/Cl | Progress |
0.00/0.00	c ==============================================================================
0.00/0.00	c |         0 |   24825    50460 |    7447       0        0     nan |  0.000 % |
0.00/0.04	c |         0 |   23955    71400 |      --       0       --      -- |     --   | -870/20940
0.00/0.04	c ==============================================================================
0.00/0.04	c Result  :   #vars: 840   #clauses: 23955   #literals: 71400
0.00/0.04	c CPU time:   0.048992 s
0.00/0.04	c ==============================================================================
0.00/0.07	c 
0.00/0.07	c seed = 0, numatom = 840, numclause = 848, numliterals = 71400
0.00/0.07	c ---------------------------------------------------------------------------------------------------------------------------------------------
0.00/0.07	c | resCDCL |    tps  |   #impl |  #learnt |  #conf |  #clean |    #propa |   #deci ||  tryLS | numflip |  maxSat/maxNoBi |  nbAlea |    Equi |
0.00/0.07	c ---------------------------------------------------------------------------------------------------------------------------------------------
0.05/0.11	c |       2 |     0.0 |       0 |      501 |    199 |       1 |      9220 |    1520 ||      2 |    1459 |       1/      0 |     267 |       0 |
0.05/0.14	c |       4 |     0.0 |       0 |      618 |    297 |       2 |     17899 |    3371 ||      4 |    2439 |       1/      0 |     579 |       0 |
0.05/0.20	c |       6 |     0.1 |       0 |      720 |    194 |       3 |     29507 |    5731 ||      6 |    3575 |       1/      0 |     892 |       0 |
0.05/0.26	c |       7 |     0.1 |       0 |      836 |    394 |       4 |     39364 |    7292 ||      7 |    4881 |       1/      0 |    1313 |       0 |
0.05/0.32	c |      11 |     0.1 |       0 |      940 |    294 |       5 |     54330 |   10616 ||     11 |    6631 |       1/      0 |    1836 |       0 |
0.05/0.38	c |      14 |     0.1 |       0 |     1028 |    491 |       6 |     69053 |   13478 ||     14 |    8797 |       1/      0 |    2557 |       0 |
0.05/0.46	c |      15 |     0.1 |       0 |     1180 |    991 |       7 |     82314 |   15283 ||     15 |   11158 |       1/      0 |    3376 |       0 |
0.05/0.54	c |      16 |     0.1 |       0 |     1294 |     86 |       8 |     97949 |   17449 ||     16 |   11991 |       1/      0 |    3495 |       0 |
0.05/0.62	c |      21 |     0.1 |       0 |     1339 |     77 |       9 |    119809 |   21532 ||     21 |   14470 |       1/      0 |    4220 |       0 |
0.05/0.71	c |      25 |     0.1 |       0 |     1437 |    167 |      10 |    139668 |   25101 ||     25 |   16941 |       1/      0 |    5040 |       0 |
0.05/0.83	c |      29 |     0.1 |       0 |     1535 |    550 |      11 |    161743 |   29218 ||     29 |   19742 |       1/      0 |    5877 |       0 |
0.05/0.96	c |      30 |     0.1 |       0 |     1680 |    347 |      12 |    181285 |   32177 ||     30 |   22440 |       1/      0 |    6702 |       0 |
1.00/1.10	c |      31 |     0.2 |       0 |     1857 |   2049 |      13 |    199975 |   34515 ||     31 |   26826 |       1/      0 |    8341 |       0 |
1.18/1.25	c |      31 |     0.1 |       0 |     2023 |   1450 |      14 |    220602 |   36801 ||     31 |   27598 |       1/      0 |    8344 |       0 |
1.28/1.39	c |      38 |     0.1 |       0 |     2051 |    340 |      15 |    252575 |   42915 ||     38 |   31185 |       1/      0 |    9599 |       0 |
1.48/1.51	c |      44 |     0.1 |       0 |     2105 |    231 |      16 |    284237 |   48369 ||     44 |   34473 |       1/      0 |   10451 |       0 |
1.58/1.66	c |      46 |     0.2 |       0 |     2186 |    224 |      17 |    310421 |   52153 ||     46 |   38428 |       1/      0 |   11682 |       0 |
1.78/1.81	c |      53 |     0.1 |       0 |     2326 |    208 |      18 |    343229 |   58093 ||     53 |   41651 |       1/      0 |   12921 |       0 |
1.88/1.98	c |      59 |     0.2 |       0 |     2362 |     95 |      19 |    379147 |   64648 ||     59 |   45377 |       1/      0 |   13763 |       0 |
2.10/2.16	c |      61 |     0.2 |       0 |     2465 |    695 |      20 |    407844 |   68560 ||     61 |   49166 |       1/      0 |   14988 |       0 |
2.28/2.38	c |      62 |     0.2 |       0 |     2622 |    795 |      21 |    436738 |   72259 ||     62 |   53822 |       1/      0 |   16643 |       0 |
2.58/2.65	c |      63 |     0.3 |       0 |     2899 |   3398 |      22 |    466371 |   75720 ||     63 |   60912 |       1/      0 |   19897 |       0 |
2.88/2.91	c |      63 |     0.3 |       0 |     3206 |   1298 |      23 |    495240 |   79240 ||     63 |   63886 |       1/      0 |   19922 |       0 |
3.08/3.21	c |      67 |     0.3 |       0 |     3805 |    297 |      24 |    533737 |   84645 ||     67 |   65725 |       1/      0 |   20440 |       0 |
3.38/3.41	c |      76 |     0.2 |       0 |     3542 |    277 |      25 |    579404 |   93366 ||     76 |   70701 |       1/      0 |   22011 |       0 |
3.58/3.66	c |      80 |     0.3 |       0 |     3659 |     63 |      26 |    617154 |   99464 ||     80 |   75374 |       1/      0 |   23464 |       0 |
3.78/3.87	c |      90 |     0.2 |       0 |     3757 |    146 |      27 |    664469 |  108267 ||     90 |   80805 |       1/      0 |   25134 |       0 |
4.08/4.10	c |      94 |     0.2 |       0 |     3805 |   1039 |      28 |    704482 |  114457 ||     94 |   87463 |       1/      0 |   28211 |       0 |
4.39/4.42	c |      96 |     0.3 |       0 |     3993 |     36 |      29 |    743267 |  119732 ||     96 |   91093 |       1/      0 |   28450 |       0 |
4.58/4.67	c |     107 |     0.2 |       0 |     3833 |    208 |      30 |    795820 |  129714 ||    107 |   97243 |       1/      0 |   30325 |       0 |
4.88/4.91	c |     112 |     0.2 |       0 |     3720 |    197 |      31 |    842102 |  136964 ||    112 |  102664 |       1/      0 |   31974 |       0 |
5.08/5.15	c |     123 |     0.2 |       0 |     3901 |    579 |      32 |    898032 |  146818 ||    123 |  109434 |       1/      0 |   34062 |       0 |
5.39/5.45	c |     125 |     0.3 |       0 |     4132 |     74 |      33 |    941927 |  153023 ||    125 |  116783 |       1/      0 |   36536 |       0 |
5.78/5.81	c |     126 |     0.4 |       0 |     4260 |   3877 |      34 |    985207 |  157916 ||    126 |  125070 |       1/      0 |   39830 |       0 |
6.18/6.20	c |     126 |     0.4 |       0 |     4732 |   2978 |      35 |   1029312 |  162693 ||    126 |  126958 |       1/      0 |   39847 |       0 |
6.49/6.60	c |     127 |     0.4 |       0 |     4625 |   6982 |      36 |   1068674 |  167643 ||    127 |  140984 |       1/      0 |   46384 |       0 |
7.08/7.11	c |     127 |     0.5 |       0 |     5342 |   1481 |      37 |   1113703 |  173029 ||    127 |  146296 |       1/      0 |   46424 |       0 |
7.59/7.64	c |     127 |     0.5 |       0 |     5052 |   5682 |      38 |   1162973 |  177753 ||    127 |  146296 |       1/      0 |   46424 |       0 |
7.88/7.98	c |     139 |     0.4 |       0 |     5087 |     63 |      39 |   1229321 |  189230 ||    139 |  152690 |       1/      0 |   48309 |       0 |
8.18/8.30	c |     148 |     0.3 |       0 |     4710 |    142 |      40 |   1291195 |  199045 ||    148 |  159819 |       1/      0 |   50601 |       0 |
8.47/8.58	c |     157 |     0.3 |       0 |     4771 |    426 |      41 |   1353739 |  208588 ||    157 |  167916 |       1/      0 |   53089 |       0 |
8.87/8.94	c |     163 |     0.4 |       0 |     4975 |    119 |      42 |   1413572 |  217074 ||    163 |  174868 |       1/      0 |   55364 |       0 |
9.17/9.26	c |     173 |     0.3 |       0 |     5043 |    100 |      43 |   1482387 |  229217 ||    173 |  183864 |       1/      0 |   58076 |       0 |
9.47/9.59	c |     187 |     0.3 |       0 |     5179 |    284 |      44 |   1555245 |  242584 ||    187 |  191395 |       1/      0 |   60581 |       0 |
9.97/10.04	c |     189 |     0.4 |       0 |     5500 |    979 |      45 |   1612554 |  250169 ||    189 |  199404 |       1/      0 |   63049 |       0 |
10.47/10.55	c |     190 |     0.5 |       0 |     5669 |   1181 |      46 |   1671965 |  256705 ||    190 |  209268 |       1/      0 |   66339 |       0 |
10.99/11.02	c |     200 |     0.5 |       0 |     6030 |     54 |      47 |   1743597 |  268085 ||    200 |  214846 |       1/      0 |   67996 |       0 |
11.37/11.43	c |     212 |     0.4 |       0 |     5655 |    436 |      48 |   1819134 |  281133 ||    212 |  223867 |       1/      0 |   70913 |       0 |
11.77/11.86	c |     221 |     0.4 |       0 |     5767 |   1516 |      49 |   1889546 |  292575 ||    221 |  233973 |       1/      0 |   74614 |       0 |
12.27/12.33	c |     231 |     0.5 |       0 |     6216 |    200 |      50 |   1967032 |  303998 ||    231 |  241027 |       1/      0 |   76298 |       0 |
12.67/12.70	c |     243 |     0.4 |       0 |     5831 |    566 |      51 |   2044275 |  317037 ||    243 |  250802 |       1/      0 |   79206 |       0 |
13.09/13.19	c |     252 |     0.5 |       0 |     5951 |   1942 |      52 |   2121270 |  329285 ||    252 |  261824 |       1/      0 |   82904 |       0 |
13.78/13.84	c |     253 |     0.7 |       0 |     6200 |    436 |      53 |   2182011 |  337059 ||    253 |  272458 |       1/      0 |   86184 |       0 |
14.58/14.61	c |     254 |     0.8 |       0 |     6381 |   6238 |      54 |   2247135 |  344216 ||    254 |  285077 |       1/      0 |   92682 |       0 |
15.48/15.59	c |     254 |     1.0 |       0 |     7113 |   2537 |      55 |   2315575 |  351566 ||    254 |  291690 |       1/      0 |   92725 |       0 |
16.18/16.29	c |     255 |     0.7 |       0 |     6750 |   8539 |      56 |   2378350 |  358959 ||    255 |  308870 |       1/      0 |  105680 |       0 |
17.08/17.19	c |     255 |     0.9 |       0 |     7813 |   6102 |      57 |   2439950 |  366543 ||    255 |  320482 |       1/      0 |  105790 |       0 |
18.08/18.19	c |     255 |     1.0 |       0 |     8704 |   1641 |      58 |   2503134 |  374241 ||    255 |  328901 |       1/      0 |  105856 |       0 |
19.08/19.18	c |     255 |     1.0 |       0 |     8022 |   7942 |      59 |   2578381 |  381209 ||    255 |  328901 |       1/      0 |  105856 |       0 |
20.38/20.41	c |     261 |     1.2 |       0 |     9477 |    129 |      60 |   2660121 |  391657 ||    261 |  331744 |       1/      0 |  106692 |       0 |
20.80/20.91	c |     276 |     0.5 |       0 |     7462 |    193 |      61 |   2753518 |  407180 ||    276 |  342663 |       1/      0 |  110019 |       0 |
21.28/21.40	c |     286 |     0.5 |       0 |     7535 |    174 |      62 |   2842505 |  420722 ||    286 |  355703 |       1/      0 |  114144 |       0 |
21.90/21.94	c |     301 |     0.5 |       0 |     7486 |    854 |      63 |   2939716 |  436618 ||    301 |  365875 |       1/      0 |  117477 |       0 |
22.38/22.46	c |     316 |     0.5 |       0 |     7616 |     11 |      64 |   3035875 |  453543 ||    316 |  377138 |       1/      0 |  120814 |       0 |
23.18/23.20	c |     318 |     0.8 |       0 |     7663 |   4514 |      65 |   3121449 |  463236 ||    318 |  391149 |       1/      0 |  125753 |       0 |
23.68/23.79	c |     330 |     0.6 |       0 |     8105 |    190 |      66 |   3222343 |  478292 ||    330 |  398181 |       1/      0 |  127636 |       0 |
24.28/24.32	c |     347 |     0.5 |       0 |     8169 |    363 |      67 |   3331903 |  496678 ||    347 |  410527 |       1/      0 |  131580 |       0 |
24.88/24.93	c |     356 |     0.6 |       0 |     8084 |    341 |      68 |   3429669 |  510134 ||    356 |  422441 |       1/      0 |  135305 |       0 |
25.38/25.47	c |     372 |     0.5 |       0 |     7842 |     96 |      69 |   3543357 |  528234 ||    372 |  433788 |       1/      0 |  138761 |       0 |
26.08/26.16	c |     381 |     0.7 |       0 |     8049 |   1987 |      70 |   3639364 |  542790 ||    381 |  448601 |       1/      0 |  145631 |       0 |
27.08/27.11	c |     382 |     0.9 |       0 |     8353 |   4683 |      71 |   3728671 |  553030 ||    382 |  463191 |       1/      0 |  152179 |       0 |
27.98/28.03	c |     382 |     0.9 |       0 |     8638 |   2682 |      72 |   3805538 |  562288 ||    382 |  473087 |       1/      0 |  152249 |       0 |
28.98/29.09	c |     395 |     1.1 |       0 |     9016 |    157 |      73 |   3916891 |  579008 ||    395 |  480008 |       1/      0 |  154349 |       0 |
29.69/29.72	c |     412 |     0.6 |       0 |     8160 |    931 |      74 |   4058207 |  597804 ||    412 |  493727 |       1/      0 |  158909 |       0 |
30.28/30.38	c |     426 |     0.7 |       0 |     8781 |    104 |      75 |   4174501 |  615473 ||    426 |  505695 |       1/      0 |  162642 |       0 |
30.88/30.98	c |     443 |     0.6 |       0 |     9055 |    756 |      76 |   4290823 |  634602 ||    443 |  519618 |       1/      0 |  167192 |       0 |
31.68/31.72	c |     445 |     0.7 |       0 |     9268 |    446 |      77 |   4381367 |  645732 ||    445 |  535293 |       1/      0 |  172127 |       0 |
32.38/32.41	c |     460 |     0.7 |       0 |     9515 |   1014 |      78 |   4497382 |  662260 ||    460 |  545582 |       1/      0 |  175435 |       0 |
32.99/33.09	c |     476 |     0.7 |       0 |     9467 |   1673 |      79 |   4610119 |  681350 ||    476 |  560085 |       1/      0 |  180388 |       0 |
33.68/33.77	c |     491 |     0.7 |       0 |    10014 |    426 |      80 |   4733394 |  700303 ||    491 |  572252 |       1/      0 |  183752 |       0 |
34.38/34.48	c |     507 |     0.7 |       0 |     9597 |     92 |      81 |   4848808 |  719519 ||    507 |  587822 |       1/      0 |  188703 |       0 |
35.28/35.32	c |     509 |     0.8 |       0 |     9213 |   3892 |      82 |   4941245 |  730841 ||    509 |  605504 |       1/      0 |  198480 |       0 |
36.38/36.47	c |     509 |     1.1 |       0 |    10278 |   2991 |      83 |   5032193 |  741438 ||    509 |  617455 |       1/      0 |  198577 |       0 |
37.39/37.48	c |     510 |     1.0 |       0 |    10785 |  11793 |      84 |   5123937 |  752067 ||    510 |  641954 |       1/      0 |  211592 |       0 |
38.68/38.75	c |     510 |     1.3 |       0 |    11387 |   1495 |      85 |   5216352 |  762859 ||    510 |  657464 |       1/      0 |  211727 |       0 |
39.98/40.02	c |     510 |     1.3 |       0 |    10644 |  10497 |      86 |   5310296 |  772757 ||    510 |  657464 |       1/      0 |  211727 |       0 |
41.28/41.33	c |     511 |     1.3 |       0 |    11445 |  19599 |      87 |   5416624 |  784624 ||    511 |  696459 |       1/      0 |  237714 |       0 |
42.98/43.04	c |     511 |     1.7 |       0 |    12134 |   9201 |      88 |   5532113 |  796810 ||    511 |  713539 |       1/      0 |  237886 |       0 |
45.09/45.18	c |     511 |     2.1 |       0 |    12668 |   9303 |      89 |   5638868 |  808776 ||    511 |  730721 |       1/      0 |  238033 |       0 |
46.19/46.28	c |     511 |     1.1 |       0 |    10216 |   9103 |      90 |   5748079 |  819584 ||    511 |  731260 |       1/      0 |  238042 |       0 |
48.39/48.44	c |     511 |     2.2 |       0 |    12787 |  18604 |      91 |   5867153 |  830254 ||    511 |  731260 |       1/      0 |  238042 |       0 |
50.27/50.34	c |     519 |     1.9 |       0 |    13600 |     88 |      92 |   5995296 |  845346 ||    519 |  735711 |       1/      0 |  239391 |       0 |
50.97/51.08	c |     541 |     0.7 |       0 |    10167 |    244 |      93 |   6134701 |  869581 ||    541 |  752645 |       1/      0 |  244711 |       0 |
51.77/51.86	c |     557 |     0.8 |       0 |    10265 |    408 |      94 |   6265292 |  890520 ||    557 |  768389 |       1/      0 |  249713 |       0 |
52.69/52.75	c |     573 |     0.9 |       0 |    10583 |   1458 |      95 |   6404636 |  912349 ||    573 |  784015 |       1/      0 |  254668 |       0 |
53.67/53.78	c |     586 |     1.0 |       0 |    10860 |    129 |      96 |   6537888 |  932039 ||    586 |  799282 |       1/      0 |  259856 |       0 |
54.67/54.70	c |     605 |     0.9 |       0 |    10923 |   1494 |      97 |   6681430 |  955602 ||    605 |  817971 |       1/      0 |  266287 |       0 |
55.47/55.57	c |     626 |     0.9 |       0 |    11182 |    144 |      98 |   6829410 |  980137 ||    626 |  833496 |       1/      0 |  270457 |       0 |
56.37/56.49	c |     637 |     0.9 |       0 |    11233 |   3519 |      99 |   6971694 |  999266 ||    637 |  853012 |       1/      0 |  277832 |       0 |
57.57/57.63	c |     638 |     1.1 |       0 |    11709 |   9119 |     100 |   7079521 | 1012244 ||    638 |  874190 |       1/      0 |  284432 |       0 |
58.77/58.86	c |     650 |     1.2 |       0 |    11769 |     89 |     101 |   7227566 | 1031465 ||    650 |  881205 |       1/      0 |  286327 |       0 |
59.67/59.70	c |     669 |     0.9 |       0 |    11484 |   2157 |     102 |   7373566 | 1055787 ||    669 |  900596 |       1/      0 |  292778 |       0 |
60.49/60.57	c |     692 |     0.9 |       0 |    11751 |    415 |     103 |   7523937 | 1082523 ||    692 |  916142 |       1/      0 |  297476 |       0 |
61.49/61.60	c |     701 |     1.0 |       0 |    11802 |    397 |     104 |   7657283 | 1101104 ||    701 |  937432 |       1/      0 |  304373 |       0 |
62.47/62.58	c |     723 |     1.0 |       0 |    11890 |    251 |     105 |   7818888 | 1126791 ||    723 |  951569 |       1/      0 |  308936 |       0 |
63.47/63.51	c |     742 |     0.9 |       0 |    12227 |     14 |     106 |   7969641 | 1150774 ||    742 |  969127 |       1/      0 |  314313 |       0 |
64.27/64.36	c |     763 |     0.9 |       0 |    12579 |   2083 |     107 |   8122950 | 1174636 ||    763 |  990032 |       1/      0 |  320952 |       0 |
65.47/65.52	c |     765 |     1.1 |       0 |    12843 |   6081 |     108 |   8256730 | 1189204 ||    765 | 1013401 |       1/      0 |  330752 |       0 |
66.88/66.93	c |     766 |     1.4 |       0 |    13178 |   7779 |     109 |   8383262 | 1202958 ||    766 | 1036389 |       1/      0 |  343746 |       0 |
69.20/69.25	c |     766 |     2.3 |       0 |    13348 |  11403 |     110 |   8497204 | 1216728 ||    766 | 1057770 |       1/      0 |  343930 |       0 |
71.08/71.16	c |     766 |     1.9 |       0 |    12641 |  11481 |     111 |   8630612 | 1231309 ||    766 | 1057805 |       1/      0 |  343930 |       0 |
72.49/72.51	c |     794 |     1.4 |       0 |    13241 |      7 |     112 |   8812089 | 1260739 ||    794 | 1075556 |       1/      0 |  349328 |       0 |
73.48/73.60	c |     812 |     1.1 |       0 |    12233 |    278 |     113 |   8972080 | 1285963 ||    812 | 1094610 |       1/      0 |  355529 |       0 |
74.48/74.57	c |     829 |     1.0 |       0 |    12537 |   3254 |     114 |   9121742 | 1308865 ||    829 | 1116879 |       1/      0 |  363784 |       0 |
75.58/75.62	c |     847 |     1.1 |       0 |    12911 |    118 |     115 |   9286641 | 1332894 ||    847 | 1131750 |       1/      0 |  367545 |       0 |
76.68/76.76	c |     870 |     1.1 |       0 |    12623 |     81 |     116 |   9458112 | 1360987 ||    870 | 1151187 |       1/      0 |  373776 |       0 |
77.68/77.72	c |     891 |     1.0 |       0 |    12940 |    726 |     117 |   9619818 | 1387150 ||    891 | 1172274 |       1/      0 |  380394 |       0 |
79.28/79.32	c |     893 |     1.6 |       0 |    13290 |   8124 |     118 |   9752204 | 1402340 ||    893 | 1199599 |       1/      0 |  390255 |       0 |
80.68/80.73	c |     907 |     1.4 |       0 |    13639 |    589 |     119 |   9912869 | 1424745 ||    907 | 1210717 |       1/      0 |  392788 |       0 |
81.68/81.73	c |     927 |     1.0 |       0 |    13070 |    151 |     120 |  10080522 | 1451223 ||    927 | 1230520 |       1/      0 |  399023 |       0 |
82.68/82.71	c |     955 |     1.0 |       0 |    13375 |   1214 |     121 |  10254805 | 1481768 ||    955 | 1252954 |       1/      0 |  406876 |       0 |
84.18/84.26	c |     967 |     1.5 |       0 |    13720 |     93 |     122 |  10426566 | 1507736 ||    967 | 1271078 |       1/      0 |  411978 |       0 |
85.28/85.39	c |     988 |     1.1 |       0 |    13517 |   1646 |     123 |  10595140 | 1534438 ||    988 | 1292110 |       1/      0 |  418598 |       0 |
86.38/86.46	c |    1017 |     1.1 |       0 |    13560 |    799 |     124 |  10781952 | 1567640 ||   1017 | 1313421 |       1/      0 |  425164 |       0 |
88.08/88.11	c |    1020 |     1.7 |       0 |    13800 |   6494 |     125 |  10918307 | 1584744 ||   1020 | 1341167 |       1/      0 |  436637 |       0 |
90.48/90.53	c |    1021 |     2.4 |       0 |    15041 |   9892 |     126 |  11067198 | 1601583 ||   1021 | 1366998 |       1/      0 |  449677 |       0 |
93.97/94.01	c |    1021 |     3.5 |       0 |    15257 |   3794 |     127 |  11201894 | 1617728 ||   1021 | 1384630 |       1/      0 |  449847 |       0 |
96.17/96.28	c |    1022 |     2.3 |       0 |    14932 |  16995 |     128 |  11342635 | 1633287 ||   1022 | 1418763 |       1/      0 |  475784 |       0 |
98.27/98.39	c |    1022 |     2.1 |       0 |    15719 |  13302 |     129 |  11472114 | 1649686 ||   1022 | 1443704 |       1/      0 |  475989 |       0 |
102.67/102.78	c |    1022 |     4.4 |       0 |    18417 |   5298 |     130 |  11744678 | 1666118 ||   1022 | 1458767 |       1/      0 |  476112 |       0 |
107.07/107.16	c |    1022 |     4.4 |       0 |    19712 |  18801 |     131 |  12185642 | 1682151 ||   1022 | 1458767 |       1/      0 |  476112 |       0 |
109.67/109.73	c |    1023 |     2.6 |       0 |    18274 |  32402 |     132 |  12477029 | 1699501 ||   1023 | 1522634 |       1/      0 |  527976 |       0 |
112.09/112.14	c |    1023 |     2.4 |       0 |    16629 |  13702 |     133 |  12632318 | 1716964 ||   1023 | 1548073 |       1/      0 |  528206 |       0 |
114.67/114.79	c |    1023 |     2.7 |       0 |    17978 |  13803 |     134 |  12787736 | 1734163 ||   1023 | 1573697 |       1/      0 |  528442 |       0 |
117.59/117.63	c |    1023 |     2.8 |       0 |    17772 |  13907 |     135 |  12932243 | 1751009 ||   1023 | 1599572 |       1/      0 |  528647 |       0 |
120.07/120.15	c |    1023 |     2.5 |       0 |    17158 |  11010 |     136 |  13104617 | 1767404 ||   1023 | 1604953 |       1/      0 |  528691 |       0 |
124.67/124.76	c |    1023 |     4.6 |       0 |    17607 |  25112 |     137 |  13285401 | 1783153 ||   1023 | 1604953 |       1/      0 |  528691 |       0 |
127.87/127.98	c |    1023 |     3.2 |       0 |    17239 |  39316 |     138 |  13463506 | 1799043 ||   1023 | 1604953 |       1/      0 |  528691 |       0 |
130.17/130.26	c |    1031 |     2.3 |       0 |    17709 |    400 |     139 |  13651799 | 1819382 ||   1031 | 1609127 |       1/      0 |  529952 |       0 |
131.47/131.57	c |    1057 |     1.3 |       0 |    14620 |    131 |     140 |  13863516 | 1852220 ||   1057 | 1633038 |       1/      0 |  537438 |       0 |
132.77/132.84	c |    1085 |     1.3 |       0 |    14934 |    783 |     141 |  14062357 | 1886175 ||   1085 | 1658002 |       1/      0 |  545297 |       0 |
134.27/134.39	c |    1105 |     1.6 |       0 |    15354 |     30 |     142 |  14263644 | 1914447 ||   1105 | 1680693 |       1/      0 |  552431 |       0 |
135.57/135.65	c |    1132 |     1.2 |       0 |    15302 |    359 |     143 |  14463994 | 1947695 ||   1132 | 1705215 |       1/      0 |  560184 |       0 |
136.97/137.05	c |    1149 |     1.4 |       0 |    15707 |   1533 |     144 |  14650285 | 1975187 ||   1149 | 1731542 |       1/      0 |  568462 |       0 |
139.07/139.11	c |    1153 |     2.1 |       0 |    16085 |    129 |     145 |  14815534 | 1994425 ||   1153 | 1752800 |       1/      0 |  575453 |       0 |
140.27/140.33	c |    1181 |     1.2 |       0 |    16296 |    963 |     146 |  15027471 | 2029320 ||   1181 | 1778331 |       1/      0 |  583337 |       0 |
141.47/141.59	c |    1212 |     1.3 |       0 |    17063 |   2393 |     147 |  15237605 | 2064377 ||   1212 | 1804529 |       1/      0 |  591619 |       0 |
143.27/143.35	c |    1231 |     1.8 |       0 |    17226 |    130 |     148 |  15453155 | 2094572 ||   1231 | 1825996 |       1/      0 |  598673 |       0 |
144.67/144.73	c |    1259 |     1.4 |       0 |    17517 |    776 |     149 |  15664355 | 2129418 ||   1259 | 1850531 |       1/      0 |  606572 |       0 |
146.07/146.10	c |    1276 |     1.4 |       0 |    17738 |   2540 |     150 |  15864326 | 2157706 ||   1276 | 1876936 |       1/      0 |  614820 |       0 |
147.77/147.89	c |    1278 |     1.8 |       0 |    18136 |   8433 |     151 |  16063676 | 2179018 ||   1278 | 1911833 |       1/      0 |  634348 |       0 |
149.97/150.08	c |    1278 |     2.2 |       0 |    18167 |   4832 |     152 |  16238210 | 2197682 ||   1278 | 1935186 |       1/      0 |  634520 |       0 |
151.69/151.80	c |    1299 |     1.7 |       0 |    17941 |    199 |     153 |  16456439 | 2226868 ||   1299 | 1948323 |       1/      0 |  638683 |       0 |
152.97/153.05	c |    1329 |     1.2 |       0 |    17014 |    152 |     154 |  16675329 | 2262600 ||   1329 | 1974460 |       1/      0 |  646785 |       0 |
154.57/154.62	c |    1345 |     1.6 |       0 |    17044 |     18 |     155 |  16871197 | 2290308 ||   1345 | 1999828 |       1/      0 |  654935 |       0 |
155.87/155.98	c |    1376 |     1.3 |       0 |    16967 |    260 |     156 |  17107948 | 2326992 ||   1376 | 2026345 |       1/      0 |  663247 |       0 |
157.07/157.18	c |    1404 |     1.2 |       0 |    17083 |   2499 |     157 |  17322802 | 2361517 ||   1404 | 2056116 |       1/      0 |  674263 |       0 |
158.87/158.91	c |    1405 |     1.7 |       0 |    17696 |   4296 |     158 |  17497432 | 2382138 ||   1405 | 2079997 |       1/      0 |  680863 |       0 |
160.17/160.26	c |    1436 |     1.3 |       0 |    17972 |   2133 |     159 |  17719879 | 2418469 ||   1436 | 2106095 |       1/      0 |  689158 |       0 |
161.59/161.67	c |    1467 |     1.4 |       0 |    18057 |     68 |     160 |  17949360 | 2455420 ||   1467 | 2133947 |       1/      0 |  697490 |       0 |
163.37/163.47	c |    1490 |     1.8 |       0 |    18239 |    116 |     161 |  18161920 | 2488707 ||   1490 | 2158024 |       1/      0 |  705371 |       0 |
164.99/165.03	c |    1523 |     1.6 |       0 |    18451 |    140 |     162 |  18393484 | 2527034 ||   1523 | 2185189 |       1/      0 |  713855 |       0 |
166.77/166.87	c |    1532 |     1.8 |       0 |    18428 |   6519 |     163 |  18592040 | 2553744 ||   1532 | 2219322 |       1/      0 |  727178 |       0 |
168.87/168.93	c |    1533 |     2.1 |       0 |    20021 |  13718 |     164 |  18771627 | 2574028 ||   1533 | 2253453 |       1/      0 |  740298 |       0 |
171.27/171.34	c |    1533 |     2.4 |       0 |    20996 |  11414 |     165 |  18990620 | 2597193 ||   1533 | 2263865 |       1/      0 |  740401 |       0 |
173.69/173.77	c |    1534 |     2.4 |       0 |    20081 |  28415 |     166 |  19165356 | 2618031 ||   1534 | 2320497 |       1/      0 |  766478 |       0 |
175.99/176.07	c |    1534 |     2.3 |       0 |    21713 |   7109 |     167 |  19338092 | 2638046 ||   1534 | 2339455 |       1/      0 |  766627 |       0 |
179.19/179.21	c |    1534 |     3.1 |       0 |    21170 |  24310 |     168 |  19524811 | 2657110 ||   1534 | 2339455 |       1/      0 |  766627 |       0 |
180.87/180.93	c |    1565 |     1.7 |       0 |    19869 |   1553 |     169 |  19761623 | 2694816 ||   1565 | 2366198 |       1/      0 |  774943 |       0 |
182.27/182.36	c |    1597 |     1.4 |       0 |    18354 |   2894 |     170 |  20005024 | 2732795 ||   1597 | 2399006 |       1/      0 |  786482 |       0 |
183.87/183.93	c |    1627 |     1.6 |       0 |    18618 |    322 |     171 |  20264065 | 2771482 ||   1627 | 2424743 |       1/      0 |  793175 |       0 |
185.37/185.42	c |    1659 |     1.5 |       0 |    18488 |   1848 |     172 |  20509049 | 2810050 ||   1659 | 2455330 |       1/      0 |  803110 |       0 |
187.77/187.84	c |    1661 |     2.4 |       0 |    18735 |   2746 |     173 |  20701049 | 2833291 ||   1661 | 2486172 |       1/      0 |  812995 |       0 |
189.77/189.87	c |    1692 |     2.0 |       0 |    20401 |   2053 |     174 |  20950434 | 2873154 ||   1692 | 2512225 |       1/      0 |  821339 |       0 |
191.29/191.41	c |    1723 |     1.5 |       0 |    20716 |   1486 |     175 |  21196158 | 2912206 ||   1723 | 2539675 |       1/      0 |  829620 |       0 |
193.17/193.29	c |    1754 |     1.9 |       0 |    20822 |    626 |     176 |  21449754 | 2951301 ||   1754 | 2569785 |       1/      0 |  839548 |       0 |
194.87/194.92	c |    1786 |     1.6 |       0 |    20883 |   1459 |     177 |  21702071 | 2990855 ||   1786 | 2600248 |       1/      0 |  849486 |       0 |
196.89/197.00	c |    1788 |     2.1 |       0 |    21013 |   2858 |     178 |  21965255 | 3014965 ||   1788 | 2630640 |       1/      0 |  859367 |       0 |
199.97/200.08	c |    1789 |     3.1 |       0 |    21872 |   1957 |     179 |  22174510 | 3037612 ||   1789 | 2670059 |       1/      0 |  872527 |       0 |
202.47/202.54	c |    1809 |     2.5 |       0 |    21034 |     12 |     180 |  22411046 | 3070007 ||   1809 | 2683075 |       1/      0 |  876462 |       0 |
204.07/204.10	c |    1847 |     1.6 |       0 |    19343 |     34 |     181 |  22672520 | 3113223 ||   1847 | 2714212 |       1/      0 |  886013 |       0 |
205.87/205.97	c |    1867 |     1.9 |       0 |    19393 |    490 |     182 |  22922791 | 3150251 ||   1867 | 2743890 |       1/      0 |  895734 |       0 |
207.47/207.55	c |    1905 |     1.6 |       0 |    19543 |    319 |     183 |  23181129 | 3193412 ||   1905 | 2774209 |       1/      0 |  905296 |       0 |
209.47/209.56	c |    1916 |     2.0 |       0 |    20031 |   8299 |     184 |  23396538 | 3221807 ||   1916 | 2814023 |       1/      0 |  918858 |       0 |
211.67/211.78	c |    1945 |     2.2 |       0 |    21195 |    335 |     185 |  23673553 | 3259555 ||   1945 | 2836185 |       1/      0 |  924735 |       0 |
213.47/213.52	c |    1978 |     1.7 |       0 |    20940 |   2064 |     186 |  23928616 | 3300827 ||   1978 | 2869291 |       1/      0 |  935482 |       0 |
215.27/215.35	c |    2008 |     1.8 |       0 |    21245 |    510 |     187 |  24176716 | 3339855 ||   2008 | 2899272 |       1/      0 |  944617 |       0 |
216.87/216.91	c |    2041 |     1.6 |       0 |    21225 |   1846 |     188 |  24446016 | 3380836 ||   2041 | 2932218 |       1/      0 |  955370 |       0 |
219.08/219.20	c |    2043 |     2.3 |       0 |    21677 |   4345 |     189 |  24671376 | 3405874 ||   2043 | 2961955 |       1/      0 |  965288 |       0 |
221.98/222.09	c |    2044 |     2.9 |       0 |    22287 |   4544 |     190 |  24878981 | 3429555 ||   2044 | 3000704 |       1/      0 |  978451 |       0 |
225.78/225.86	c |    2045 |     3.8 |       0 |    22504 |  24047 |     191 |  25081210 | 3452581 ||   2045 | 3048464 |       1/      0 | 1004514 |       0 |
230.89/230.98	c |    2045 |     5.1 |       0 |    24571 |   5246 |     192 |  25292862 | 3476280 ||   2045 | 3076460 |       1/      0 | 1004771 |       0 |
234.19/234.30	c |    2045 |     3.3 |       0 |    22040 |  24952 |     193 |  25552287 | 3499073 ||   2045 | 3076460 |       1/      0 | 1004771 |       0 |
238.78/238.83	c |    2046 |     4.5 |       0 |    21239 |  44755 |     194 |  25748081 | 3523428 ||   2046 | 3165543 |       1/      0 | 1056764 |       0 |
244.98/245.04	c |    2046 |     6.2 |       0 |    25122 |  19903 |     195 |  25945084 | 3547429 ||   2046 | 3204023 |       1/      0 | 1057127 |       0 |
249.88/249.98	c |    2046 |     4.9 |       0 |    23903 |   7858 |     196 |  26160486 | 3570994 ||   2046 | 3228285 |       1/      0 | 1057300 |       0 |
253.57/253.67	c |    2046 |     3.7 |       0 |    21763 |  27959 |     197 |  26392634 | 3593285 ||   2046 | 3228285 |       1/      0 | 1057300 |       0 |
259.77/259.87	c |    2046 |     6.2 |       0 |    26493 |  48163 |     198 |  26653022 | 3615722 ||   2046 | 3228285 |       1/      0 | 1057300 |       0 |
263.89/264.01	c |    2047 |     4.1 |       0 |    25330 |  68465 |     199 |  26877235 | 3640535 ||   2047 | 3365690 |       1/      0 | 1160988 |       0 |
269.08/269.15	c |    2047 |     5.1 |       0 |    25288 |  20406 |     200 |  27089706 | 3665666 ||   2047 | 3404965 |       1/      0 | 1161319 |       0 |
274.47/274.51	c |    2047 |     5.4 |       0 |    25977 |  20503 |     201 |  27299024 | 3690287 ||   2047 | 3446572 |       1/      0 | 1161684 |       0 |
278.67/278.72	c |    2047 |     4.2 |       0 |    26198 |  20601 |     202 |  27509389 | 3715437 ||   2047 | 3486967 |       1/      0 | 1162029 |       0 |
282.78/282.82	c |    2047 |     4.1 |       0 |    24831 |  20702 |     203 |  27727875 | 3740468 ||   2047 | 3528045 |       1/      0 | 1162416 |       0 |
286.27/286.39	c |    2047 |     3.6 |       0 |    23438 |  17877 |     204 |  27956453 | 3764091 ||   2047 | 3533983 |       1/      0 | 1162468 |       0 |
292.37/292.42	c |    2047 |     6.0 |       0 |    27574 |  38779 |     205 |  28195066 | 3787129 ||   2047 | 3533983 |       1/      0 | 1162468 |       0 |
300.57/300.63	c |    2047 |     8.2 |       0 |    28488 |  59780 |     206 |  28449436 | 3810532 ||   2047 | 3533983 |       1/      0 | 1162468 |       0 |
311.07/311.18	c |    2047 |    10.5 |       0 |    27598 |  80883 |     207 |  28736736 | 3833836 ||   2047 | 3533983 |       1/      0 | 1162468 |       0 |
317.67/317.81	c |    2047 |     6.6 |       0 |    26185 | 102084 |     208 |  28998783 | 3857252 ||   2047 | 3533983 |       1/      0 | 1162468 |       0 |
319.67/319.78	c |    2093 |     2.0 |       0 |    21756 |    492 |     209 |  29304905 | 3908489 ||   2093 | 3569855 |       1/      0 | 1174130 |       0 |
321.67/321.76	c |    2123 |     2.0 |       0 |    21878 |     27 |     210 |  29591074 | 3950500 ||   2123 | 3603810 |       1/      0 | 1184476 |       0 |
323.48/323.54	c |    2166 |     1.8 |       0 |    22169 |    142 |     211 |  29887566 | 3999829 ||   2166 | 3639011 |       1/      0 | 1195712 |       0 |
326.08/326.11	c |    2174 |     2.6 |       0 |    22586 |   2019 |     212 |  30136133 | 4030602 ||   2174 | 3678539 |       1/      0 | 1208868 |       0 |
328.18/328.20	c |    2211 |     2.1 |       0 |    23567 |    145 |     213 |  30432014 | 4075891 ||   2211 | 3707922 |       1/      0 | 1217990 |       0 |
330.48/330.52	c |    2240 |     2.3 |       0 |    23328 |    275 |     214 |  30736023 | 4118856 ||   2240 | 3743181 |       1/      0 | 1229183 |       0 |
332.48/332.54	c |    2283 |     2.0 |       0 |    23633 |    770 |     215 |  31057685 | 4170745 ||   2283 | 3778839 |       1/      0 | 1240414 |       0 |
334.78/334.84	c |    2301 |     2.3 |       0 |    23455 |   9137 |     216 |  31314195 | 4207557 ||   2301 | 3822525 |       1/      0 | 1255252 |       0 |
337.88/337.99	c |    2302 |     3.2 |       0 |    24055 |   2436 |     217 |  31577621 | 4235893 ||   2302 | 3861579 |       1/      0 | 1268404 |       0 |
340.48/340.55	c |    2332 |     2.6 |       0 |    24411 |    981 |     218 |  31880951 | 4278879 ||   2332 | 3882623 |       1/      0 | 1275037 |       0 |
342.48/342.51	c |    2365 |     1.9 |       0 |    23916 |   3613 |     219 |  32172284 | 4324830 ||   2365 | 3921817 |       1/      0 | 1288228 |       0 |
344.48/344.50	c |    2403 |     2.0 |       0 |    24287 |    525 |     220 |  32479423 | 4372895 ||   2403 | 3954439 |       1/      0 | 1297787 |       0 |
346.50/346.54	c |    2429 |     2.0 |       0 |    23981 |   5165 |     221 |  32760599 | 4414113 ||   2429 | 3997274 |       1/      0 | 1314681 |       0 |
348.88/348.97	c |    2459 |     2.4 |       0 |    24703 |    887 |     222 |  33056742 | 4457570 ||   2459 | 4026887 |       1/      0 | 1321405 |       0 |
351.18/351.25	c |    2492 |     2.3 |       0 |    24188 |   3912 |     223 |  33381677 | 4503797 ||   2492 | 4067012 |       1/      0 | 1334612 |       0 |
353.28/353.39	c |    2532 |     2.1 |       0 |    24967 |    138 |     224 |  33697277 | 4552953 ||   2532 | 4100894 |       1/      0 | 1344401 |       0 |
355.68/355.77	c |    2556 |     2.4 |       0 |    24720 |   6282 |     225 |  34002155 | 4593907 ||   2556 | 4145130 |       1/      0 | 1361052 |       0 |
359.88/359.98	c |    2557 |     4.2 |       0 |    25570 |    484 |     226 |  34241692 | 4621901 ||   2557 | 4190901 |       1/      0 | 1374265 |       0 |
364.28/364.32	c |    2558 |     4.3 |       0 |    24829 |  23585 |     227 |  34495190 | 4649439 ||   2558 | 4237738 |       1/      0 | 1400222 |       0 |
369.88/369.92	c |    2558 |     5.6 |       0 |    28560 |   8387 |     228 |  34761173 | 4677870 ||   2558 | 4265216 |       1/      0 | 1400465 |       0 |
373.78/373.88	c |    2573 |     3.9 |       0 |    28632 |    467 |     229 |  35066990 | 4713843 ||   2573 | 4275677 |       1/      0 | 1403790 |       0 |
375.98/376.02	c |    2620 |     2.1 |       0 |    27179 |   1359 |     230 |  35402821 | 4767894 ||   2620 | 4316070 |       1/      0 | 1417052 |       0 |
378.40/378.42	c |    2652 |     2.4 |       0 |    27495 |   2380 |     231 |  35705809 | 4816387 ||   2652 | 4353267 |       1/      0 | 1428664 |       0 |
380.78/380.81	c |    2684 |     2.4 |       0 |    27396 |   2715 |     232 |  36013216 | 4862245 ||   2684 | 4389909 |       1/      0 | 1440242 |       0 |
383.28/383.38	c |    2713 |     2.6 |       0 |    27980 |    138 |     233 |  36330344 | 4908002 ||   2713 | 4425637 |       1/      0 | 1452223 |       0 |
385.78/385.83	c |    2748 |     2.5 |       0 |    26722 |   3680 |     234 |  36654271 | 4955612 ||   2748 | 4468040 |       1/      0 | 1466668 |       0 |
388.20/388.25	c |    2791 |     2.4 |       0 |    26845 |    194 |     235 |  36986798 | 5009504 ||   2791 | 4502860 |       1/      0 | 1476877 |       0 |
390.98/391.03	c |    2812 |     2.8 |       0 |    25371 |   8251 |     236 |  37292018 | 5050098 ||   2812 | 4550055 |       1/      0 | 1493161 |       0 |
394.90/394.92	c |    2813 |     3.9 |       0 |    25795 |   3549 |     237 |  37561644 | 5079692 ||   2813 | 4591666 |       1/      0 | 1506331 |       0 |
397.78/397.88	c |    2844 |     2.9 |       0 |    26659 |    486 |     238 |  37879251 | 5125262 ||   2844 | 4618131 |       1/      0 | 1514638 |       0 |
399.88/399.98	c |    2879 |     2.1 |       0 |    25948 |     98 |     239 |  38199633 | 5175012 ||   2879 | 4655806 |       1/      0 | 1526678 |       0 |
401.98/402.07	c |    2930 |     2.1 |       0 |    26926 |     67 |     240 |  38560456 | 5233268 ||   2930 | 4695415 |       1/      0 | 1539244 |       0 |
404.80/404.84	c |    2940 |     2.8 |       0 |    27119 |   4647 |     241 |  38847146 | 5268560 ||   2940 | 4735364 |       1/      0 | 1552733 |       0 |
407.18/407.23	c |    2988 |     2.4 |       0 |    28214 |     21 |     242 |  39196587 | 5325483 ||   2988 | 4773659 |       1/      0 | 1564602 |       0 |
409.58/409.64	c |    3026 |     2.4 |       0 |    27494 |     46 |     243 |  39527119 | 5377105 ||   3026 | 4813559 |       1/      0 | 1577312 |       0 |
411.88/411.91	c |    3066 |     2.3 |       0 |    27431 |   3278 |     244 |  39868061 | 5429902 ||   3066 | 4858263 |       1/      0 | 1592507 |       0 |
415.18/415.22	c |    3068 |     3.3 |       0 |    27839 |  13780 |     245 |  40163254 | 5461516 ||   3068 | 4909002 |       1/      0 | 1612216 |       0 |
419.18/419.22	c |    3069 |     4.0 |       0 |    28140 |  19586 |     246 |  40433033 | 5490998 ||   3069 | 4958303 |       1/      0 | 1638251 |       0 |
423.78/423.87	c |    3069 |     4.7 |       0 |    28851 |   6286 |     247 |  40690566 | 5520963 ||   3069 | 4995546 |       1/      0 | 1638587 |       0 |
429.88/430.00	c |    3070 |     6.1 |       0 |    29026 |  31487 |     248 |  41001898 | 5549914 ||   3070 | 5060164 |       1/      0 | 1690420 |       0 |
436.60/436.63	c |    3070 |     6.6 |       0 |    28446 |  25303 |     249 |  41266668 | 5580221 ||   3070 | 5113412 |       1/      0 | 1690852 |       0 |
441.48/441.58	c |    3070 |     4.9 |       0 |    26513 |   5389 |     250 |  41548660 | 5610495 ||   3070 | 5155538 |       1/      0 | 1691172 |       0 |
448.69/448.80	c |    3070 |     7.2 |       0 |    27520 |  30890 |     251 |  41875615 | 5641505 ||   3070 | 5155538 |       1/      0 | 1691172 |       0 |
457.88/457.94	c |    3085 |     9.1 |       0 |    33112 |    853 |     252 |  42239174 | 5683016 ||   3085 | 5165448 |       1/      0 | 1694490 |       0 |
460.18/460.24	c |    3132 |     2.3 |       0 |    26322 |    445 |     253 |  42619723 | 5742816 ||   3132 | 5207771 |       1/      0 | 1707780 |       0 |
462.67/462.70	c |    3171 |     2.5 |       0 |    26911 |    168 |     254 |  42970013 | 5796205 ||   3171 | 5248848 |       1/      0 | 1720619 |       0 |
466.08/466.11	c |    3197 |     3.4 |       0 |    27475 |   8822 |     255 |  43347866 | 5840755 ||   3197 | 5301273 |       1/      0 | 1737548 |       0 |
468.77/468.80	c |    3237 |     2.7 |       0 |    28124 |     62 |     256 |  43693740 | 5893341 ||   3237 | 5334241 |       1/      0 | 1747326 |       0 |
471.38/471.45	c |    3275 |     2.6 |       0 |    28204 |    797 |     257 |  44035896 | 5945886 ||   3275 | 5375577 |       1/      0 | 1760754 |       0 |
473.99/474.03	c |    3323 |     2.6 |       0 |    28568 |   2096 |     258 |  44402705 | 6005119 ||   3323 | 5421977 |       1/      0 | 1777278 |       0 |
478.67/478.74	c |    3325 |     4.7 |       0 |    28690 |  13996 |     259 |  44700447 | 6038953 ||   3325 | 5475891 |       1/      0 | 1796969 |       0 |
483.37/483.47	c |    3347 |     4.7 |       0 |    29767 |    546 |     260 |  45036060 | 6083533 ||   3347 | 5501005 |       1/      0 | 1801662 |       0 |
485.97/486.09	c |    3388 |     2.6 |       0 |    27885 |   4356 |     261 |  45414675 | 6138404 ||   3388 | 5547971 |       1/      0 | 1817004 |       0 |
488.77/488.90	c |    3437 |     2.8 |       0 |    28573 |    155 |     262 |  45807240 | 6200617 ||   3437 | 5587427 |       1/      0 | 1829039 |       0 |
492.37/492.42	c |    3452 |     3.5 |       0 |    28183 |   4737 |     263 |  46129439 | 6242037 ||   3452 | 5631617 |       1/      0 | 1843441 |       0 |
495.07/495.18	c |    3507 |     2.8 |       0 |    28430 |    133 |     264 |  46512075 | 6306241 ||   3507 | 5673847 |       1/      0 | 1856522 |       0 |
497.97/498.03	c |    3546 |     2.8 |       0 |    28717 |   1444 |     265 |  46874742 | 6362489 ||   3546 | 5719233 |       1/      0 | 1871590 |       0 |
500.77/500.81	c |    3579 |     2.8 |       0 |    29118 |   5174 |     266 |  47231514 | 6413173 ||   3579 | 5767865 |       1/      0 | 1889679 |       0 |
505.17/505.29	c |    3580 |     4.5 |       0 |    30280 |   3473 |     267 |  47523113 | 6446709 ||   3580 | 5815120 |       1/      0 | 1902903 |       0 |
510.78/510.89	c |    3581 |     5.6 |       0 |    30480 |  30677 |     268 |  47833574 | 6479345 ||   3581 | 5878651 |       1/      0 | 1929073 |       0 |
515.48/515.57	c |    3581 |     4.7 |       0 |    31405 |  19578 |     269 |  48132054 | 6510743 ||   3581 | 5894281 |       1/      0 | 1929217 |       0 |
518.78/518.82	c |    3627 |     3.2 |       0 |    32967 |    888 |     270 |  48503866 | 6568031 ||   3627 | 5930805 |       1/      0 | 1940864 |       0 |
521.48/521.57	c |    3672 |     2.7 |       0 |    29236 |     82 |     271 |  48872047 | 6625800 ||   3672 | 5974820 |       1/      0 | 1954523 |       0 |
524.28/524.33	c |    3707 |     2.8 |       0 |    29430 |   2621 |     272 |  49225482 | 6678821 ||   3707 | 6020386 |       1/      0 | 1968976 |       0 |
527.58/527.68	c |    3739 |     3.4 |       0 |    29321 |   2264 |     273 |  49584930 | 6729603 ||   3739 | 6066112 |       1/      0 | 1983869 |       0 |
530.28/530.31	c |    3783 |     2.6 |       0 |    29571 |     68 |     274 |  49958930 | 6787227 ||   3783 | 6109175 |       1/      0 | 1997320 |       0 |
532.78/532.84	c |    3833 |     2.5 |       0 |    29714 |    961 |     275 |  50335544 | 6848733 ||   3833 | 6156092 |       1/      0 | 2012050 |       0 |
536.98/537.03	c |    3836 |     4.2 |       0 |    30199 |  14556 |     276 |  50645446 | 6884734 ||   3836 | 6211673 |       1/      0 | 2034976 |       0 |
541.58/541.69	c |    3865 |     4.7 |       0 |    31254 |    403 |     277 |  51015374 | 6934397 ||   3865 | 6238476 |       1/      0 | 2040891 |       0 |
544.28/544.39	c |    3901 |     2.7 |       0 |    30166 |     23 |     278 |  51369294 | 6988230 ||   3901 | 6282898 |       1/      0 | 2055163 |       0 |
547.17/547.20	c |    3960 |     2.8 |       0 |    30310 |    502 |     279 |  51769807 | 7056452 ||   3960 | 6330053 |       1/      0 | 2069938 |       0 |
550.27/550.35	c |    3978 |     3.1 |       0 |    30354 |     62 |     280 |  52099648 | 7099522 ||   3978 | 6373750 |       1/      0 | 2084738 |       0 |
552.77/552.89	c |    4026 |     2.5 |       0 |    30358 |   3628 |     281 |  52493579 | 7161012 ||   4026 | 6424163 |       1/      0 | 2101295 |       0 |
555.27/555.41	c |    4079 |     2.5 |       0 |    30650 |    294 |     282 |  52892628 | 7225131 ||   4079 | 6467881 |       1/      0 | 2114229 |       0 |
558.98/559.07	c |    4091 |     3.7 |       0 |    30970 |   7978 |     283 |  53219608 | 7266715 ||   4091 | 6525375 |       1/      0 | 2140798 |       0 |
563.27/563.37	c |    4092 |     4.3 |       0 |    31412 |  17575 |     284 |  53524843 | 7301587 ||   4092 | 6583354 |       1/      0 | 2166915 |       0 |
568.77/568.88	c |    4092 |     5.5 |       0 |    33840 |   8075 |     285 |  53830810 | 7335913 ||   4092 | 6625264 |       1/      0 | 2167306 |       0 |
575.98/576.04	c |    4093 |     7.2 |       0 |    34279 |  37076 |     286 |  54176231 | 7369969 ||   4093 | 6700182 |       1/      0 | 2219263 |       0 |
582.58/582.68	c |    4093 |     6.6 |       0 |    34077 |  29108 |     287 |  54473751 | 7405153 ||   4093 | 6759688 |       1/      0 | 2219752 |       0 |
587.78/587.88	c |    4093 |     5.2 |       0 |    34753 |  18582 |     288 |  54816112 | 7439882 ||   4093 | 6781841 |       1/      0 | 2219939 |       0 |
594.37/594.40	c |    4093 |     6.5 |       0 |    35568 |  47885 |     289 |  55183121 | 7474051 ||   4093 | 6781841 |       1/      0 | 2219939 |       0 |
601.37/601.43	c |    4094 |     7.0 |       0 |    32307 |  77287 |     290 |  55488738 | 7509693 ||   4094 | 6937427 |       1/      0 | 2323744 |       0 |
610.87/610.96	c |    4094 |     9.5 |       0 |    36464 |  29501 |     291 |  55792412 | 7544826 ||   4094 | 6996178 |       1/      0 | 2324235 |       0 |
622.68/622.80	c |    4094 |    11.9 |       0 |    36935 |  29601 |     292 |  56105698 | 7580873 ||   4094 | 7055530 |       1/      0 | 2324719 |       0 |
629.98/630.04	c |    4094 |     7.2 |       0 |    33559 |  12488 |     293 |  56433056 | 7616690 ||   4094 | 7090760 |       1/      0 | 2325039 |       0 |
635.28/635.31	c |    4094 |     5.3 |       0 |    31073 |  42291 |     294 |  56854338 | 7654997 ||   4094 | 7090760 |       1/      0 | 2325039 |       0 |
642.40/642.48	c |    4094 |     7.2 |       0 |    35472 |  72196 |     295 |  57308151 | 7692384 ||   4094 | 7090760 |       1/      0 | 2325039 |       0 |
650.58/650.65	c |    4094 |     8.2 |       0 |    35817 | 102200 |     296 |  57767728 | 7728437 ||   4094 | 7090760 |       1/      0 | 2325039 |       0 |
655.98/656.07	c |    4095 |     5.4 |       0 |    30976 | 132308 |     297 |  58057453 | 7765107 ||   4095 | 7352284 |       1/      0 | 2532259 |       0 |
665.49/665.59	c |    4095 |     9.5 |       0 |    35707 |  30201 |     298 |  58350070 | 7801388 ||   4095 | 7409935 |       1/      0 | 2532736 |       0 |
673.68/673.72	c |    4095 |     8.1 |       0 |    41795 |  30304 |     299 |  58656565 | 7838489 ||   4095 | 7463808 |       1/      0 | 2533229 |       0 |
682.08/682.19	c |    4095 |     8.5 |       0 |    39407 |  30401 |     300 |  58965974 | 7875465 ||   4095 | 7520341 |       1/      0 | 2533723 |       0 |
691.08/691.14	c |    4095 |     9.0 |       0 |    34853 |  30501 |     301 |  59284210 | 7912070 ||   4095 | 7580341 |       1/      0 | 2534213 |       0 |
700.08/700.10	c |    4095 |     9.0 |       0 |    36100 |  30603 |     302 |  59613010 | 7949872 ||   4095 | 7638318 |       1/      0 | 2534713 |       0 |
708.99/709.00	c |    4095 |     8.9 |       0 |    36816 |   7818 |     303 |  59959265 | 7986677 ||   4095 | 7681197 |       1/      0 | 2535083 |       0 |
717.28/717.34	c |    4095 |     8.3 |       0 |    33610 |  38620 |     304 |  60320073 | 8020861 ||   4095 | 7681197 |       1/      0 | 2535083 |       0 |
733.60/733.65	c |    4095 |    16.3 |       0 |    40297 |  69523 |     305 |  60709542 | 8055123 ||   4095 | 7681197 |       1/      0 | 2535083 |       0 |
750.38/750.49	c |    4095 |    16.8 |       0 |    42552 | 100524 |     306 |  61100359 | 8089321 ||   4095 | 7681197 |       1/      0 | 2535083 |       0 |
768.38/768.50	c |    4095 |    18.0 |       0 |    40967 | 131625 |     307 |  61543680 | 8124597 ||   4095 | 7681197 |       1/      0 | 2535083 |       0 |
785.78/785.83	c |    4095 |    17.3 |       0 |    40165 | 162826 |     308 |  61962112 | 8159509 ||   4095 | 7681197 |       1/      0 | 2535083 |       0 |
802.59/802.60	c |    4095 |    16.8 |       0 |    42200 | 194127 |     309 |  62392231 | 8194243 ||   4095 | 7681197 |       1/      0 | 2535083 |       0 |
810.29/810.36	c |    4140 |     7.8 |       0 |    40541 |    238 |     310 |  62824682 | 8258216 ||   4140 | 7715648 |       1/      0 | 2545883 |       0 |
813.79/813.80	c |    4189 |     3.4 |       0 |    32473 |   1634 |     311 |  63264743 | 8326021 ||   4189 | 7767957 |       1/      0 | 2563232 |       0 |
817.59/817.61	c |    4222 |     3.8 |       0 |    33032 |    358 |     312 |  63672478 | 8381469 ||   4222 | 7827600 |       1/      0 | 2581417 |       0 |
821.09/821.14	c |    4278 |     3.5 |       0 |    33278 |    148 |     313 |  64116024 | 8451152 ||   4278 | 7871263 |       1/      0 | 2594752 |       0 |
824.29/824.31	c |    4326 |     3.2 |       0 |    33494 |    128 |     314 |  64529203 | 8515760 ||   4326 | 7922494 |       1/      0 | 2611320 |       0 |
828.59/828.63	c |    4349 |     4.3 |       0 |    34196 |   5880 |     315 |  64911349 | 8566827 ||   4349 | 7973103 |       1/      0 | 2627835 |       0 |
834.39/834.43	c |    4365 |     5.8 |       0 |    34923 |    256 |     316 |  65284800 | 8614157 ||   4365 | 8022015 |       1/      0 | 2644302 |       0 |
838.20/838.23	c |    4413 |     3.8 |       0 |    34496 |   2621 |     317 |  65716245 | 8683268 ||   4413 | 8074778 |       1/      0 | 2660950 |       0 |
841.40/841.44	c |    4475 |     3.2 |       0 |    34760 |   1073 |     318 |  66167266 | 8757591 ||   4475 | 8127854 |       1/      0 | 2677594 |       0 |
845.49/845.54	c |    4507 |     4.1 |       0 |    35541 |    515 |     319 |  66575466 | 8815798 ||   4507 | 8178201 |       1/      0 | 2694157 |       0 |
848.79/848.80	c |    4556 |     3.3 |       0 |    35558 |    822 |     320 |  67003268 | 8882176 ||   4556 | 8230703 |       1/      0 | 2710825 |       0 |
852.09/852.10	c |    4604 |     3.3 |       0 |    34980 |   3627 |     321 |  67428376 | 8947483 ||   4604 | 8288755 |       1/      0 | 2733727 |       0 |
858.08/858.17	c |    4605 |     6.1 |       0 |    35448 |   7426 |     322 |  67778966 | 8987317 ||   4605 | 8342265 |       1/      0 | 2746960 |       0 |
864.50/864.58	c |    4606 |     6.4 |       0 |    36289 |   1726 |     323 |  68107519 | 9026604 ||   4606 | 8419590 |       1/      0 | 2773242 |       0 |
871.98/872.08	c |    4629 |     7.5 |       0 |    35889 |    475 |     324 |  68514883 | 9076509 ||   4629 | 8434610 |       1/      0 | 2777923 |       0 |
875.68/875.72	c |    4680 |     3.6 |       0 |    34225 |    257 |     325 |  68998735 | 9144484 ||   4680 | 8488254 |       1/      0 | 2794898 |       0 |
878.80/878.87	c |    4732 |     3.2 |       0 |    34168 |    971 |     326 |  69452642 | 9213429 ||   4732 | 8545441 |       1/      0 | 2812981 |       0 |
882.78/882.84	c |    4771 |     4.0 |       0 |    34820 |    573 |     327 |  69898268 | 9274904 ||   4771 | 8596209 |       1/      0 | 2829132 |       0 |
885.88/885.97	c |    4826 |     3.1 |       0 |    34711 |    625 |     328 |  70366332 | 9345736 ||   4826 | 8649465 |       1/      0 | 2846111 |       0 |
889.80/889.87	c |    4860 |     3.9 |       0 |    35615 |   1044 |     329 |  70780866 | 9405142 ||   4860 | 8710570 |       1/      0 | 2865894 |       0 |
895.08/895.13	c |    4869 |     5.3 |       0 |    36470 |    421 |     330 |  71154280 | 9449248 ||   4869 | 8750243 |       1/      0 | 2880375 |       0 |
898.60/898.64	c |    4924 |     3.5 |       0 |    36252 |    590 |     331 |  71619458 | 9521391 ||   4924 | 8808056 |       1/      0 | 2898895 |       0 |
902.08/902.15	c |    4986 |     3.5 |       0 |    37099 |    412 |     332 |  72082628 | 9597007 ||   4986 | 8860671 |       1/      0 | 2915504 |       0 |
906.30/906.34	c |    5019 |     4.2 |       0 |    37131 |   1259 |     333 |  72559868 | 9657532 ||   5019 | 8913338 |       1/      0 | 2933660 |       0 |
909.88/909.97	c |    5073 |     3.6 |       0 |    37005 |    115 |     334 |  73014374 | 9727740 ||   5073 | 8966682 |       1/      0 | 2949846 |       0 |
913.88/913.93	c |    5115 |     4.0 |       0 |    36580 |   7115 |     335 |  73459865 | 9795330 ||   5115 | 9029039 |       1/      0 | 2971716 |       0 |
921.28/921.30	c |    5116 |     7.4 |       0 |    38380 |  12307 |     336 |  74130365 | 9839369 ||   5116 | 9073109 |       1/      0 | 2984914 |       0 |
929.58/929.64	c |    5117 |     8.3 |       0 |    37040 |   8007 |     337 |  74645112 | 9887986 ||   5117 | 9148922 |       1/      0 | 3011180 |       0 |
937.98/938.08	c |    5118 |     8.4 |       0 |    40350 |  42211 |     338 |  75300831 | 9944392 ||   5118 | 9231238 |       1/      0 | 3063187 |       0 |
950.58/950.66	c |    5118 |    12.6 |       0 |    40899 |  34303 |     339 |  75689056 | 9992091 ||   5118 | 9288801 |       1/      0 | 3063842 |       0 |
958.88/958.98	c |    5118 |     8.3 |       0 |    36293 |  34116 |     340 |  76089728 | 10031210 ||   5118 | 9289340 |       1/      0 | 3063843 |       0 |
968.09/968.15	c |    5155 |     9.2 |       0 |    41252 |    246 |     341 |  76545511 | 10091492 ||   5155 | 9318850 |       1/      0 | 3072967 |       0 |
972.19/972.26	c |    5212 |     4.1 |       0 |    35122 |   1421 |     342 |  77010350 | 10164246 ||   5212 | 9376601 |       1/      0 | 3092015 |       0 |
976.29/976.38	c |    5245 |     4.1 |       0 |    35851 |   3231 |     343 |  77431670 | 10225143 ||   5245 | 9432498 |       1/      0 | 3110191 |       0 |
979.79/979.85	c |    5307 |     3.5 |       0 |    36183 |   1077 |     344 |  77908606 | 10299615 ||   5307 | 9485698 |       1/      0 | 3126821 |       0 |
983.49/983.58	c |    5369 |     3.7 |       0 |    36559 |   1073 |     345 |  78385034 | 10377012 ||   5369 | 9543914 |       1/      0 | 3145086 |       0 |
989.79/989.87	c |    5373 |     6.3 |       0 |    36946 |  18068 |     346 |  78768790 | 10421413 ||   5373 | 9616708 |       1/      0 | 3169751 |       0 |
994.99/995.04	c |    5419 |     5.2 |       0 |    37899 |    670 |     347 |  79239187 | 10489272 ||   5419 | 9654845 |       1/      0 | 3181393 |       0 |
998.80/998.87	c |    5474 |     3.8 |       0 |    37589 |    327 |     348 |  79712486 | 10562020 ||   5474 | 9711551 |       1/      0 | 3199206 |       0 |
1002.79/1002.86	c |    5507 |     4.0 |       0 |    37851 |    378 |     349 |  80158384 | 10622763 ||   5507 | 9768727 |       1/      0 | 3217418 |       0 |
1006.19/1006.27	c |    5563 |     3.4 |       0 |    38213 |   1874 |     350 |  80639815 | 10696991 ||   5563 | 9827183 |       1/      0 | 3236026 |       0 |
1009.88/1009.98	c |    5626 |     3.7 |       0 |    38580 |   3613 |     351 |  81135182 | 10776353 ||   5626 | 9887342 |       1/      0 | 3255933 |       0 |
1016.40/1016.44	c |    5628 |     6.5 |       0 |    38496 |   5610 |     352 |  81536287 | 10822017 ||   5628 | 9947184 |       1/      0 | 3275688 |       0 |
1022.39/1022.45	c |    5629 |     6.0 |       0 |    39247 |   2909 |     353 |  81916961 | 10865763 ||   5629 | 10021150 |       1/      0 | 3301994 |       0 |
1028.40/1028.44	c |    5660 |     6.0 |       0 |    39341 |   1022 |     354 |  82385053 | 10923431 ||   5660 | 10044865 |       1/      0 | 3310255 |       0 |
1031.98/1032.03	c |    5720 |     3.6 |       0 |    37588 |    189 |     355 |  82886715 | 11000008 ||   5720 | 10102350 |       1/      0 | 3327312 |       0 |
1035.88/1035.98	c |    5756 |     4.0 |       0 |    37642 |   1506 |     356 |  83323778 | 11063394 ||   5756 | 10164902 |       1/      0 | 3348364 |       0 |
1039.68/1039.79	c |    5818 |     3.8 |       0 |    38751 |    670 |     357 |  83818720 | 11140884 ||   5818 | 10217435 |       1/      0 | 3364953 |       0 |
1043.28/1043.39	c |    5880 |     3.6 |       0 |    38754 |    741 |     358 |  84348544 | 11219737 ||   5880 | 10275786 |       1/      0 | 3383191 |       0 |
1049.30/1049.37	c |    5884 |     6.0 |       0 |    38669 |   1036 |     359 |  84779800 | 11269199 ||   5884 | 10345828 |       1/      0 | 3407862 |       0 |
1054.90/1054.97	c |    5937 |     5.6 |       0 |    39745 |    113 |     360 |  85318279 | 11343087 ||   5937 | 10386902 |       1/      0 | 3420793 |       0 |
1058.68/1058.70	c |    5994 |     3.7 |       0 |    39633 |    895 |     361 |  85802429 | 11418150 ||   5994 | 10445705 |       1/      0 | 3439580 |       0 |
1062.68/1062.71	c |    6032 |     4.0 |       0 |    39611 |    296 |     362 |  86258752 | 11482082 ||   6032 | 10504034 |       1/      0 | 3458432 |       0 |
1066.68/1066.79	c |    6089 |     4.1 |       0 |    39434 |    353 |     363 |  86830402 | 11558538 ||   6089 | 10563290 |       1/      0 | 3477469 |       0 |
1070.88/1070.99	c |    6138 |     4.2 |       0 |    39222 |   7442 |     364 |  87301567 | 11630403 ||   6138 | 10630392 |       1/      0 | 3500562 |       0 |
1079.29/1079.31	c |    6140 |     8.3 |       0 |    39998 |  15536 |     365 |  87755998 | 11676398 ||   6140 | 10704019 |       1/      0 | 3539645 |       0 |
1087.59/1087.68	c |    6140 |     8.4 |       0 |    40537 |  14137 |     366 |  88131230 | 11719624 ||   6140 | 10749755 |       1/      0 | 3540011 |       0 |
1097.89/1097.99	c |    6141 |    10.3 |       0 |    41810 |  51243 |     367 |  88547306 | 11763854 ||   6141 | 10853524 |       1/      0 | 3592177 |       0 |
1109.69/1109.79	c |    6141 |    11.8 |       0 |    42413 |  11639 |     368 |  88955605 | 11808259 ||   6141 | 10904800 |       1/      0 | 3592626 |       0 |
1123.29/1123.30	c |    6141 |    13.5 |       0 |    43074 |  48940 |     369 |  89396071 | 11849593 ||   6141 | 10904800 |       1/      0 | 3592626 |       0 |
1131.49/1131.54	c |    6142 |     8.2 |       0 |    40592 |  86341 |     370 |  89773585 | 11894796 ||   6142 | 11078170 |       1/      0 | 3696614 |       0 |
1141.39/1141.40	c |    6142 |     9.9 |       0 |    43367 |  37501 |     371 |  90130084 | 11939260 ||   6142 | 11151294 |       1/      0 | 3697222 |       0 |
1151.09/1151.10	c |    6142 |     9.7 |       0 |    43889 |   7843 |     372 |  90502172 | 11983230 ||   6142 | 11209522 |       1/      0 | 3697703 |       0 |
1164.69/1164.73	c |    6142 |    13.6 |       0 |    41563 |  45544 |     373 |  90948730 | 12025165 ||   6142 | 11209522 |       1/      0 | 3697703 |       0 |
1194.19/1194.26	c |    6142 |    29.5 |       0 |    47014 |  83345 |     374 |  91418797 | 12067124 ||   6142 | 11209522 |       1/      0 | 3697703 |       0 |
1215.00/1215.01	c |    6182 |    20.8 |       0 |    46190 |     51 |     375 |  91964550 | 12133519 ||   6182 | 11241573 |       1/      0 | 3707492 |       0 |
1219.30/1219.34	c |    6243 |     4.3 |       0 |    38543 |    211 |     376 |  92478136 | 12212890 ||   6243 | 11304075 |       1/      0 | 3727118 |       0 |
1224.21/1224.23	c |    6284 |     4.9 |       0 |    39024 |    637 |     377 |  92959942 | 12280744 ||   6284 | 11364517 |       1/      0 | 3747345 |       0 |
1228.40/1228.47	c |    6346 |     4.2 |       0 |    39351 |    313 |     378 |  93479352 | 12362734 ||   6346 | 11425987 |       1/      0 | 3766458 |       0 |
1232.90/1232.92	c |    6396 |     4.4 |       0 |    39979 |   7695 |     379 |  93976412 | 12437036 ||   6396 | 11496997 |       1/      0 | 3790422 |       0 |
1243.30/1243.33	c |    6411 |    10.4 |       0 |    40802 |     47 |     380 |  94504057 | 12496086 ||   6411 | 11544150 |       1/      0 | 3806140 |       0 |
1248.00/1248.07	c |    6474 |     4.7 |       0 |    40733 |      5 |     381 |  95047295 | 12579923 ||   6474 | 11606798 |       1/      0 | 3826094 |       0 |
1252.40/1252.45	c |    6524 |     4.4 |       0 |    41108 |   7694 |     382 |  95552041 | 12656186 ||   6524 | 11675695 |       1/      0 | 3850057 |       0 |
1256.50/1256.53	c |    6586 |     4.1 |       0 |    41603 |   2238 |     383 |  96074694 | 12736009 ||   6586 | 11731466 |       1/      0 | 3866729 |       0 |
1260.80/1260.84	c |    6649 |     4.3 |       0 |    42447 |    107 |     384 |  96638368 | 12820596 ||   6649 | 11793899 |       1/      0 | 3886586 |       0 |
1267.60/1267.68	c |    6652 |     6.8 |       0 |    42253 |   5399 |     385 |  97069354 | 12869294 ||   6652 | 11862354 |       1/      0 | 3909588 |       0 |
1274.91/1274.97	c |    6653 |     7.3 |       0 |    43290 |   5998 |     386 |  97488042 | 12917451 ||   6653 | 11935233 |       1/      0 | 3935857 |       0 |
1281.41/1281.42	c |    6696 |     6.4 |       0 |    43313 |    107 |     387 |  98004902 | 12988533 ||   6696 | 11967839 |       1/      0 | 3946057 |       0 |
1285.81/1285.87	c |    6761 |     4.5 |       0 |    42648 |    273 |     388 |  98547837 | 13072838 ||   6761 | 12030669 |       1/      0 | 3966578 |       0 |
1291.00/1291.09	c |    6802 |     5.2 |       0 |    42939 |    269 |     389 |  99045123 | 13142079 ||   6802 | 12092280 |       1/      0 | 3986843 |       0 |
1295.30/1295.37	c |    6866 |     4.3 |       0 |    42169 |     54 |     390 |  99580804 | 13224420 ||   6866 | 12157192 |       1/      0 | 4006889 |       0 |
1300.21/1300.21	c |    6907 |     4.8 |       0 |    42479 |   3580 |     391 | 100091692 | 13294569 ||   6907 | 12224438 |       1/      0 | 4028652 |       0 |
1305.99/1306.04	c |    6937 |     5.8 |       0 |    44592 |    310 |     392 | 100585437 | 13359160 ||   6937 | 12281973 |       1/      0 | 4047690 |       0 |
1310.19/1310.28	c |    7001 |     4.2 |       0 |    43417 |    263 |     393 | 101117994 | 13441246 ||   7001 | 12348512 |       1/      0 | 4068386 |       0 |
1314.80/1314.83	c |    7038 |     4.5 |       0 |    42928 |    173 |     394 | 101683068 | 13509190 ||   7038 | 12409864 |       1/      0 | 4088615 |       0 |
1318.91/1318.98	c |    7105 |     4.2 |       0 |    42919 |    134 |     395 | 102240982 | 13597260 ||   7105 | 12475737 |       1/      0 | 4109400 |       0 |
1323.39/1323.42	c |    7162 |     4.4 |       0 |    43200 |   6795 |     396 | 102775888 | 13677327 ||   7162 | 12547194 |       1/      0 | 4134572 |       0 |
1329.69/1329.78	c |    7164 |     6.4 |       0 |    43514 |  18088 |     397 | 103207158 | 13726016 ||   7164 | 12627530 |       1/      0 | 4173697 |       0 |
1337.99/1338.05	c |    7164 |     8.3 |       0 |    45348 |  19889 |     398 | 103649783 | 13772885 ||   7164 | 12668122 |       1/      0 | 4174037 |       0 |
1346.79/1346.89	c |    7165 |     8.8 |       0 |    46099 |  60190 |     399 | 104038682 | 13820566 ||   7165 | 12787230 |       1/      0 | 4226281 |       0 |
1359.79/1359.80	c |    7165 |    12.9 |       0 |    48048 |  23790 |     400 | 104463697 | 13866895 ||   7165 | 12820053 |       1/      0 | 4226579 |       0 |
1379.31/1379.36	c |    7196 |    19.6 |       0 |    50198 |   1024 |     401 | 105003019 | 13930153 ||   7196 | 12843571 |       1/      0 | 4234847 |       0 |
1384.19/1384.29	c |    7259 |     4.9 |       0 |    44151 |    662 |     402 | 105557191 | 14015554 ||   7259 | 12907775 |       1/      0 | 4254789 |       0 |
1389.89/1389.96	c |    7306 |     5.7 |       0 |    44327 |     47 |     403 | 106078925 | 14090168 ||   7306 | 12972548 |       1/      0 | 4275441 |       0 |
1394.39/1394.47	c |    7372 |     4.5 |       0 |    44176 |     31 |     404 | 106618508 | 14175529 ||   7372 | 13039044 |       1/      0 | 4296374 |       0 |
1399.39/1399.40	c |    7419 |     4.9 |       0 |    43832 |   2720 |     405 | 107143181 | 14250995 ||   7419 | 13109489 |       1/      0 | 4319332 |       0 |
1406.59/1406.62	c |    7450 |     7.2 |       0 |    44259 |    854 |     406 | 107633254 | 14315664 ||   7450 | 13169344 |       1/      0 | 4339112 |       0 |
1410.59/1410.60	c |    7514 |     4.0 |       0 |    43659 |   2226 |     407 | 108175966 | 14399680 ||   7514 | 13237834 |       1/      0 | 4360681 |       0 |
1415.19/1415.25	c |    7561 |     4.7 |       0 |    43887 |    330 |     408 | 108705195 | 14473831 ||   7561 | 13303064 |       1/      0 | 4381327 |       0 |
1419.39/1419.43	c |    7628 |     4.2 |       0 |    44446 |    191 |     409 | 109319205 | 14559603 ||   7628 | 13369940 |       1/      0 | 4402445 |       0 |
1424.50/1424.59	c |    7674 |     5.2 |       0 |    44420 |   3395 |     410 | 109879418 | 14637649 ||   7674 | 13441190 |       1/      0 | 4425164 |       0 |
1432.89/1432.99	c |    7676 |     8.4 |       0 |    45024 |  25696 |     411 | 110336820 | 14688544 ||   7676 | 13531643 |       1/      0 | 4464382 |       0 |
1443.89/1443.98	c |    7687 |    11.0 |       0 |    48079 |    275 |     412 | 111079727 | 14760917 ||   7687 | 13560655 |       1/      0 | 4466382 |       0 |
1448.39/1448.43	c |    7755 |     4.4 |       0 |    44393 |    843 |     413 | 111637345 | 14849990 ||   7755 | 13628029 |       1/      0 | 4487896 |       0 |
1453.79/1453.82	c |    7803 |     5.4 |       0 |    44625 |   3343 |     414 | 112155276 | 14927505 ||   7803 | 13699285 |       1/      0 | 4510984 |       0 |
1458.39/1458.40	c |    7868 |     4.6 |       0 |    45167 |      5 |     415 | 112707617 | 15013021 ||   7868 | 13762872 |       1/      0 | 4531110 |       0 |
1463.09/1463.13	c |    7930 |     4.7 |       0 |    45057 |   6987 |     416 | 113276007 | 15098449 ||   7930 | 13839304 |       1/      0 | 4557292 |       0 |
1472.81/1472.86	c |    7951 |     9.7 |       0 |    46287 |    161 |     417 | 113760161 | 15159821 ||   7951 | 13897770 |       1/      0 | 4574445 |       0 |
1477.49/1477.54	c |    8023 |     4.7 |       0 |    44806 |    297 |     418 | 114357686 | 15253541 ||   8023 | 13966641 |       1/      0 | 4596195 |       0 |
1483.09/1483.11	c |    8065 |     5.6 |       0 |    45208 |    121 |     419 | 114919332 | 15330533 ||   8065 | 14033175 |       1/      0 | 4618083 |       0 |
1487.59/1487.67	c |    8136 |     4.6 |       0 |    45194 |    394 |     420 | 115506149 | 15420035 ||   8136 | 14102548 |       1/      0 | 4640064 |       0 |
1492.29/1492.30	c |    8185 |     4.6 |       0 |    45334 |   3562 |     421 | 116044710 | 15498315 ||   8185 | 14174274 |       1/      0 | 4663213 |       0 |
1499.59/1499.66	c |    8187 |     7.4 |       0 |    45629 |  26956 |     422 | 116524743 | 15550369 ||   8187 | 14268400 |       1/      0 | 4702490 |       0 |
1511.89/1511.92	c |    8188 |    12.3 |       0 |    47546 |  31255 |     423 | 117070788 | 15601285 ||   8188 | 14354898 |       1/      0 | 4754517 |       0 |
1524.40/1524.44	c |    8188 |    12.5 |       0 |    47838 |  42803 |     424 | 117489195 | 15653506 ||   8188 | 14436660 |       1/      0 | 4755240 |       0 |
1537.00/1537.07	c |    8188 |    12.6 |       0 |    48026 |  40161 |     425 | 118002414 | 15701961 ||   8188 | 14441618 |       1/      0 | 4755277 |       0 |
1552.90/1552.95	c |    8189 |    15.9 |       0 |    48530 |  83164 |     426 | 118472744 | 15752682 ||   8189 | 14611681 |       1/      0 | 4859262 |       0 |
1570.30/1570.40	c |    8189 |    17.4 |       0 |    50118 |  43101 |     427 | 118913455 | 15803979 ||   8189 | 14698937 |       1/      0 | 4859944 |       0 |
1589.80/1589.83	c |    8189 |    19.4 |       0 |    50268 |  15864 |     428 | 119587003 | 15854838 ||   8189 | 14751941 |       1/      0 | 4860412 |       0 |
1607.69/1607.76	c |    8189 |    17.9 |       0 |    49787 |  59166 |     429 | 120781535 | 15903355 ||   8189 | 14751941 |       1/      0 | 4860412 |       0 |
1624.90/1624.92	c |    8190 |    17.2 |       0 |    49315 | 102571 |     430 | 122164936 | 15951973 ||   8190 | 14959255 |       1/      0 | 5067329 |       0 |
1639.79/1639.83	c |    8190 |    14.9 |       0 |    43768 |  43504 |     431 | 122583622 | 16004475 ||   8190 | 15044332 |       1/      0 | 5068044 |       0 |
1664.50/1664.56	c |    8190 |    24.7 |       0 |    52595 |  43601 |     432 | 122998913 | 16056372 ||   8190 | 15129456 |       1/      0 | 5068754 |       0 |
1689.40/1689.46	c |    8190 |    24.9 |       0 |    54884 |  43702 |     433 | 123430867 | 16108343 ||   8190 | 15212821 |       1/      0 | 5069494 |       0 |
1721.10/1721.18	c |    8190 |    31.7 |       0 |    56825 |  43802 |     434 | 123851575 | 16160378 ||   8190 | 15296820 |       1/      0 | 5070235 |       0 |
1739.02/1739.10	c |    8190 |    17.9 |       0 |    51000 |  13876 |     435 | 124323813 | 16212001 ||   8190 | 15357816 |       1/      0 | 5070752 |       0 |
1753.10/1753.13	c |    8190 |    14.0 |       0 |    48979 |  57877 |     436 | 124827327 | 16260483 ||   8190 | 15357816 |       1/      0 | 5070752 |       0 |
1778.00/1778.03	c |    8190 |    24.9 |       0 |    53970 | 101978 |     437 | 125377442 | 16308952 ||   8190 | 15357816 |       1/      0 | 5070752 |       0 |
1811.10/1811.12	c |    8190 |    33.1 |       0 |    55988 | 146181 |     438 | 125966425 | 16357484 ||   8190 | 15357816 |       1/      0 | 5070752 |       0 |
1840.60/1840.63	c |    8190 |    29.5 |       0 |    58133 | 190482 |     439 | 126524234 | 16406779 ||   8190 | 15357816 |       1/      0 | 5070752 |       0 |
1855.10/1855.12	c |    8191 |    14.5 |       0 |    51595 | 234887 |     440 | 126996300 | 16459429 ||   8191 | 15826056 |       1/      0 | 5484948 |       0 |
1872.00/1872.04	c |    8191 |    16.9 |       0 |    53122 |  44501 |     441 | 127423140 | 16512393 ||   8191 | 15906222 |       1/      0 | 5485680 |       0 |
1892.80/1892.82	c |    8191 |    20.8 |       0 |    56275 |  44604 |     442 | 127847145 | 16565678 ||   8191 | 15986898 |       1/      0 | 5486304 |       0 |
1910.40/1910.40	c |    8191 |    17.6 |       0 |    56025 |  44703 |     443 | 128284805 | 16619113 ||   8191 | 16071542 |       1/      0 | 5487044 |       0 |
1927.61/1927.69	c |    8191 |    17.3 |       0 |    59849 |  44802 |     444 | 128699807 | 16672082 ||   8191 | 16152580 |       1/      0 | 5487754 |       0 |
1944.01/1944.09	c |    8191 |    16.4 |       0 |    52865 |  44904 |     445 | 129131857 | 16726335 ||   8191 | 16238035 |       1/      0 | 5488515 |       0 |
1960.01/1960.04	c |    8191 |    15.9 |       0 |    53425 |  45002 |     446 | 129570083 | 16780297 ||   8191 | 16325386 |       1/      0 | 5489220 |       0 |
1975.31/1975.30	c |    8191 |    15.3 |       0 |    56331 |  45109 |     447 | 130001009 | 16833644 ||   8191 | 16409218 |       1/      0 | 5489939 |       0 |
1993.51/1993.53	c |    8191 |    18.2 |       0 |    54763 |  45201 |     448 | 130448154 | 16887394 ||   8191 | 16495797 |       1/      0 | 5490716 |       0 |
2013.91/2013.99	c |    8191 |    20.5 |       0 |    58534 |  24613 |     449 | 131265542 | 16939986 ||   8191 | 16535740 |       1/      0 | 5491049 |       0 |
2030.91/2030.96	c |    8191 |    17.0 |       0 |    49758 |  70015 |     450 | 131776633 | 16990337 ||   8191 | 16535740 |       1/      0 | 5491049 |       0 |
2060.71/2060.78	c |    8191 |    29.8 |       0 |    59802 | 115519 |     451 | 132303632 | 17040392 ||   8191 | 16535740 |       1/      0 | 5491049 |       0 |
2094.32/2094.35	c |    8191 |    33.6 |       0 |    63002 | 161120 |     452 | 132822424 | 17090756 ||   8191 | 16535740 |       1/      0 | 5491049 |       0 |
2123.41/2123.40	c |    8191 |    29.1 |       0 |    54070 | 206823 |     453 | 133335792 | 17141238 ||   8191 | 16535740 |       1/      0 | 5491049 |       0 |
2147.52/2147.56	c |    8191 |    24.2 |       0 |    51882 | 252624 |     454 | 133836493 | 17191911 ||   8191 | 16535740 |       1/      0 | 5491049 |       0 |
2179.03/2179.04	c |    8191 |    31.5 |       0 |    54611 | 298527 |     455 | 134376912 | 17242709 ||   8191 | 16535740 |       1/      0 | 5491049 |       0 |
2215.01/2215.09	c |    8191 |    36.0 |       0 |    57133 | 344531 |     456 | 134952200 | 17293393 ||   8191 | 16535740 |       1/      0 | 5491049 |       0 |
2257.61/2257.67	c |    8191 |    42.6 |       0 |    57539 | 390632 |     457 | 135511133 | 17344371 ||   8191 | 16535740 |       1/      0 | 5491049 |       0 |
2278.81/2278.85	c |    8251 |    21.2 |       0 |    51853 |    282 |     458 | 136126412 | 17431433 ||   8251 | 16580839 |       1/      0 | 5505161 |       0 |
2284.41/2284.45	c |    8317 |     5.6 |       0 |    47227 |   4441 |     459 | 136759315 | 17524415 ||   8317 | 16660158 |       1/      0 | 5530763 |       0 |
2289.81/2289.85	c |    8380 |     5.4 |       0 |    48326 |   1917 |     460 | 137404131 | 17616579 ||   8380 | 16732781 |       1/      0 | 5553881 |       0 |
2294.81/2294.88	c |    8444 |     5.0 |       0 |    48704 |   2657 |     461 | 138016772 | 17708321 ||   8444 | 16807864 |       1/      0 | 5577064 |       0 |
2302.92/2302.90	c |    8467 |     8.0 |       0 |    48940 |    110 |     462 | 138661127 | 17776142 ||   8467 | 16878753 |       1/      0 | 5600926 |       0 |
2308.32/2308.32	c |    8540 |     5.4 |       0 |    49774 |   1362 |     463 | 139285664 | 17875800 ||   8540 | 16955322 |       1/      0 | 5625012 |       0 |
2315.02/2315.02	c |    8603 |     6.7 |       0 |    50565 |    434 |     464 | 139916189 | 17967374 ||   8603 | 17030394 |       1/      0 | 5649865 |       0 |
2321.03/2321.02	c |    8679 |     6.0 |       0 |    50408 |     90 |     465 | 140587738 | 18069050 ||   8679 | 17105080 |       1/      0 | 5673298 |       0 |
2327.53/2327.52	c |    8701 |     6.5 |       0 |    50340 |   2531 |     466 | 141128698 | 18138281 ||   8701 | 17193390 |       1/      0 | 5702665 |       0 |
2338.72/2338.79	c |    8702 |    11.3 |       0 |    51571 |  11232 |     467 | 141647814 | 18193757 ||   8702 | 17272901 |       1/      0 | 5728985 |       0 |
2347.22/2347.22	c |    8765 |     8.4 |       0 |    53140 |   2317 |     468 | 142265698 | 18285271 ||   8765 | 17330586 |       1/      0 | 5748876 |       0 |
2352.42/2352.46	c |    8829 |     5.2 |       0 |    50312 |   6284 |     469 | 142874306 | 18379771 ||   8829 | 17410628 |       1/      0 | 5775337 |       0 |
2358.43/2358.46	c |    8892 |     6.0 |       0 |    51520 |   2347 |     470 | 143512391 | 18474523 ||   8892 | 17478900 |       1/      0 | 5795310 |       0 |
2364.02/2364.08	c |    8956 |     5.6 |       0 |    51342 |   1710 |     471 | 144125702 | 18568712 ||   8956 | 17562164 |       1/      0 | 5821757 |       0 |
2370.72/2370.79	c |    8994 |     6.7 |       0 |    51413 |    126 |     472 | 144681822 | 18646398 ||   8994 | 17627917 |       1/      0 | 5844013 |       0 |
2376.42/2376.40	c |    9079 |     5.6 |       0 |    51056 |    158 |     473 | 145327675 | 18752697 ||   9079 | 17705229 |       1/      0 | 5868470 |       0 |
2382.53/2382.60	c |    9133 |     6.2 |       0 |    51739 |    136 |     474 | 145964625 | 18840239 ||   9133 | 17781961 |       1/      0 | 5893253 |       0 |
2388.42/2388.41	c |    9210 |     5.8 |       0 |    52431 |   1753 |     475 | 146615311 | 18943507 ||   9210 | 17862830 |       1/      0 | 5920956 |       0 |
2396.72/2396.81	c |    9213 |     8.4 |       0 |    52091 |  16149 |     476 | 147132106 | 19001731 ||   9213 | 17958560 |       1/      0 | 5966653 |       0 |
2408.32/2408.31	c |    9214 |    11.5 |       0 |    52700 |  25853 |     477 | 147650079 | 19057910 ||   9214 | 18054498 |       1/      0 | 6018709 |       0 |
2423.92/2423.90	c |    9214 |    15.6 |       0 |    51052 |  48201 |     478 | 148146400 | 19115668 ||   9214 | 18154724 |       1/      0 | 6019548 |       0 |
2440.62/2440.64	c |    9214 |    16.8 |       0 |    52366 |  45554 |     479 | 148713545 | 19169609 ||   9214 | 18160439 |       1/      0 | 6019609 |       0 |
2449.22/2449.26	c |    9291 |     8.6 |       0 |    54333 |    382 |     480 | 149396796 | 19270496 ||   9291 | 18229523 |       1/      0 | 6041993 |       0 |
2455.62/2455.66	c |    9347 |     6.4 |       0 |    50221 |    252 |     481 | 150005504 | 19360667 ||   9347 | 18305151 |       1/      0 | 6066804 |       0 |
2460.92/2460.99	c |    9434 |     5.3 |       0 |    51097 |    587 |     482 | 150685187 | 19470391 ||   9434 | 18386591 |       1/      0 | 6092528 |       0 |
2467.52/2467.58	c |    9469 |     6.6 |       0 |    51856 |  15216 |     483 | 151270641 | 19547711 ||   9469 | 18480122 |       1/      0 | 6125429 |       0 |
2475.04/2475.04	c |    9531 |     7.5 |       0 |    52874 |   1498 |     484 | 151911851 | 19640555 ||   9531 | 18539833 |       1/      0 | 6142107 |       0 |
2480.92/2480.92	c |    9596 |     5.9 |       0 |    53055 |   7075 |     485 | 152558595 | 19736882 ||   9596 | 18626408 |       1/      0 | 6171837 |       0 |
2486.72/2486.73	c |    9665 |     5.8 |       0 |    54580 |    136 |     486 | 153208161 | 19837374 ||   9665 | 18696791 |       1/      0 | 6192660 |       0 |
2492.63/2492.66	c |    9723 |     5.9 |       0 |    53832 |   5732 |     487 | 153851093 | 19929285 ||   9723 | 18777053 |       1/      0 | 6218292 |       0 |
2503.72/2503.72	c |    9725 |    11.1 |       0 |    53557 |  35733 |     488 | 154722410 | 19989108 ||   9725 | 18885626 |       1/      0 | 6257729 |       0 |
2513.72/2513.73	c |    9771 |    10.0 |       0 |    54205 |    548 |     489 | 155355787 | 20072253 ||   9771 | 18926275 |       1/      0 | 6269407 |       0 |
2519.22/2519.28	c |    9850 |     5.6 |       0 |    52833 |   1389 |     490 | 156033061 | 20174614 ||   9850 | 19006919 |       1/      0 | 6294296 |       0 |
2525.12/2525.15	c |    9914 |     5.9 |       0 |    52665 |   1934 |     491 | 156670708 | 20270711 ||   9914 | 19087415 |       1/      0 | 6320786 |       0 |
2531.03/2531.10	c |    9979 |     5.9 |       0 |    54125 |   5775 |     492 | 157368330 | 20368823 ||   9979 | 19171500 |       1/      0 | 6350511 |       0 |
2539.52/2539.58	c |   10011 |     8.5 |       0 |    55136 |   1800 |     493 | 158073024 | 20448696 ||  10011 | 19241103 |       1/      0 | 6372053 |       0 |
2544.92/2544.99	c |   10098 |     5.4 |       0 |    54320 |    125 |     494 | 158787755 | 20558640 ||  10098 | 19319831 |       1/      0 | 6396743 |       0 |
2551.12/2551.11	c |   10158 |     6.1 |       0 |    54759 |     69 |     495 | 159474553 | 20652276 ||  10158 | 19398117 |       1/      0 | 6422332 |       0 |
2556.72/2556.72	c |   10233 |     5.6 |       0 |    55313 |   4617 |     496 | 160135823 | 20755297 ||  10233 | 19484494 |       1/      0 | 6449877 |       0 |
2566.42/2566.44	c |   10236 |     9.7 |       0 |    55209 |  21111 |     497 | 160692812 | 20816468 ||  10236 | 19585748 |       1/      0 | 6495587 |       0 |
2582.42/2582.49	c |   10237 |    16.1 |       0 |    56490 |  32906 |     498 | 161487640 | 20874933 ||  10237 | 19688204 |       1/      0 | 6547688 |       0 |
2593.02/2593.09	c |   10237 |    10.6 |       0 |    54302 |   6404 |     499 | 161995604 | 20935436 ||  10237 | 19771263 |       1/      0 | 6548410 |       0 |
2607.12/2607.15	c |   10238 |    14.1 |       0 |    55126 |  56807 |     500 | 162634622 | 20992543 ||  10238 | 19885661 |       1/      0 | 6651873 |       0 |
2621.92/2621.99	c |   10238 |    14.8 |       0 |    54336 |  50502 |     501 | 163129966 | 21052881 ||  10238 | 19984368 |       1/      0 | 6652744 |       0 |
2643.12/2643.20	c |   10238 |    21.2 |       0 |    61749 |   4306 |     502 | 163634728 | 21113075 ||  10238 | 20070438 |       1/      0 | 6653482 |       0 |
2654.33/2654.39	c |   10238 |    11.2 |       0 |    52473 |  55008 |     503 | 164195865 | 21169506 ||  10238 | 20070438 |       1/      0 | 6653482 |       0 |
2673.42/2673.49	c |   10249 |    19.1 |       0 |    64564 |     70 |     504 | 164782450 | 21231566 ||  10249 | 20076516 |       1/      0 | 6655240 |       0 |
2679.32/2679.32	c |   10332 |     5.8 |       0 |    54766 |   1288 |     505 | 165508193 | 21340312 ||  10332 | 20160562 |       1/      0 | 6681691 |       0 |
2685.52/2685.51	c |   10396 |     6.2 |       0 |    55749 |    947 |     506 | 166171636 | 21438406 ||  10396 | 20243914 |       1/      0 | 6708187 |       0 |
2691.12/2691.11	c |   10489 |     5.6 |       0 |    56965 |   1061 |     507 | 166886465 | 21551952 ||  10489 | 20328674 |       1/      0 | 6734752 |       0 |
2699.92/2699.92	c |   10500 |     8.8 |       0 |    57235 |    237 |     508 | 167457540 | 21619567 ||  10500 | 20404364 |       1/      0 | 6760672 |       0 |
2706.03/2706.06	c |   10587 |     6.1 |       0 |    57512 |    546 |     509 | 168202397 | 21731070 ||  10587 | 20489129 |       1/      0 | 6787623 |       0 |
2713.02/2713.06	c |   10651 |     7.0 |       0 |    56949 |    624 |     510 | 168881412 | 21830110 ||  10651 | 20572611 |       1/      0 | 6814095 |       0 |
2718.72/2718.77	c |   10744 |     5.7 |       0 |    55028 |   1109 |     511 | 169608726 | 21942684 ||  10744 | 20656100 |       1/      0 | 6840636 |       0 |
2728.52/2728.57	c |   10749 |     9.8 |       0 |    55057 |  15492 |     512 | 170214859 | 22007883 ||  10749 | 20754625 |       1/      0 | 6891179 |       0 |
2742.42/2742.46	c |   10759 |    13.9 |       0 |    55558 |    164 |     513 | 170796435 | 22074028 ||  10759 | 20805416 |       1/      0 | 6893218 |       0 |
2748.23/2748.22	c |   10845 |     5.8 |       0 |    54094 |     88 |     514 | 171518563 | 22185083 ||  10845 | 20890061 |       1/      0 | 6919982 |       0 |
2754.83/2754.83	c |   10911 |     6.6 |       0 |    54804 |     55 |     515 | 172216725 | 22285515 ||  10911 | 20972533 |       1/      0 | 6946703 |       0 |
2760.53/2760.53	c |   11001 |     5.7 |       0 |    55257 |   2385 |     516 | 172921359 | 22399485 ||  11001 | 21059219 |       1/      0 | 6974430 |       0 |
2768.74/2768.73	c |   11019 |     8.2 |       0 |    55231 |     47 |     517 | 173505984 | 22473556 ||  11019 | 21134480 |       1/      0 | 7000728 |       0 |
2774.63/2774.60	c |   11109 |     5.9 |       0 |    54696 |    245 |     518 | 174215792 | 22586938 ||  11109 | 21219005 |       1/      0 | 7027419 |       0 |
2781.33/2781.36	c |   11176 |     6.8 |       0 |    55412 |    393 |     519 | 174924741 | 22694827 ||  11176 | 21301583 |       1/      0 | 7054617 |       0 |
2787.63/2787.68	c |   11257 |     6.3 |       0 |    55757 |   3624 |     520 | 175620412 | 22806830 ||  11257 | 21391033 |       1/      0 | 7083628 |       0 |
2798.44/2798.49	c |   11260 |    10.8 |       0 |    55978 |  22520 |     521 | 176218798 | 22871154 ||  11260 | 21499698 |       1/      0 | 7129403 |       0 |
2811.33/2811.33	c |   11261 |    12.8 |       0 |    57911 |  36719 |     522 | 176789316 | 22932520 ||  11261 | 21609036 |       1/      0 | 7181555 |       0 |
2824.13/2824.16	c |   11261 |    12.8 |       0 |    62559 |  12619 |     523 | 177325503 | 22994000 ||  11261 | 21690549 |       1/      0 | 7182234 |       0 |
2835.03/2835.09	c |   11292 |    10.9 |       0 |    64271 |   2144 |     524 | 177981322 | 23071358 ||  11292 | 21717204 |       1/      0 | 7190515 |       0 |
2841.34/2841.36	c |   11385 |     6.3 |       0 |    58370 |    467 |     525 | 178731181 | 23188354 ||  11385 | 21801728 |       1/      0 | 7217034 |       0 |
2848.03/2848.03	c |   11450 |     6.7 |       0 |    59386 |   2139 |     526 | 179426903 | 23290186 ||  11450 | 21887032 |       1/      0 | 7245145 |       0 |
2854.63/2854.69	c |   11515 |     6.7 |       0 |    59723 |   9513 |     527 | 180147545 | 23394468 ||  11515 | 21978681 |       1/      0 | 7274980 |       0 |
2862.42/2862.46	c |   11562 |     7.8 |       0 |    60446 |    609 |     528 | 180845220 | 23487193 ||  11562 | 22053098 |       1/      0 | 7299750 |       0 |
2868.93/2868.91	c |   11642 |     6.4 |       0 |    57637 |    529 |     529 | 181551493 | 23598914 ||  11642 | 22142069 |       1/      0 | 7327966 |       0 |
2875.93/2875.91	c |   11706 |     7.0 |       0 |    58446 |   2602 |     530 | 182254319 | 23701620 ||  11706 | 22223584 |       1/      0 | 7354471 |       0 |
2883.33/2883.31	c |   11771 |     7.4 |       0 |    59410 |   7967 |     531 | 182976326 | 23801105 ||  11771 | 22324466 |       1/      0 | 7393891 |       0 |
2895.72/2895.72	c |   11772 |    12.4 |       0 |    59177 |   3966 |     532 | 183543929 | 23866502 ||  11772 | 22420469 |       1/      0 | 7420352 |       0 |
2907.13/2907.13	c |   11834 |    11.4 |       0 |    59191 |   1544 |     533 | 184283262 | 23966144 ||  11834 | 22473514 |       1/      0 | 7436938 |       0 |
2914.43/2914.47	c |   11899 |     7.3 |       0 |    57636 |   2407 |     534 | 185040520 | 24067485 ||  11899 | 22563846 |       1/      0 | 7466687 |       0 |
2921.33/2921.34	c |   11992 |     6.9 |       0 |    57679 |    526 |     535 | 185781182 | 24184403 ||  11992 | 22647283 |       1/      0 | 7493264 |       0 |
2929.93/2929.98	c |   12027 |     8.6 |       0 |    57526 |   1260 |     536 | 186422487 | 24268861 ||  12027 | 22749299 |       1/      0 | 7526229 |       0 |
2936.63/2936.68	c |   12104 |     6.7 |       0 |    57847 |    226 |     537 | 187143198 | 24377328 ||  12104 | 22818220 |       1/      0 | 7548577 |       0 |
2943.33/2943.37	c |   12172 |     6.7 |       0 |    57896 |    181 |     538 | 187835031 | 24480615 ||  12172 | 22905047 |       1/      0 | 7576260 |       0 |
2950.14/2950.16	c |   12265 |     6.8 |       0 |    58439 |    110 |     539 | 188585965 | 24599535 ||  12265 | 22993538 |       1/      0 | 7604341 |       0 |
2960.33/2960.31	c |   12283 |    10.2 |       0 |    57998 |  12969 |     540 | 189209494 | 24673689 ||  12283 | 23104978 |       1/      0 | 7657976 |       0 |
2972.63/2972.63	c |   12284 |    12.3 |       0 |    58304 |  29066 |     541 | 189850460 | 24741092 ||  12284 | 23210721 |       1/      0 | 7710173 |       0 |
2988.93/2988.93	c |   12284 |    16.3 |       0 |    59065 |   6864 |     542 | 190634959 | 24809422 ||  12284 | 23302020 |       1/      0 | 7710958 |       0 |
3005.73/3005.73	c |   12285 |    16.8 |       0 |    62641 |  61567 |     543 | 191537432 | 24871505 ||  12285 | 23428072 |       1/      0 | 7814572 |       0 |
3027.73/3027.79	c |   12285 |    22.1 |       0 |    60602 |  54802 |     544 | 192079152 | 24935975 ||  12285 | 23541248 |       1/      0 | 7815504 |       0 |
3048.43/3048.42	c |   12285 |    20.6 |       0 |    64332 |  17668 |     545 | 192654533 | 25000107 ||  12285 | 23618602 |       1/      0 | 7816145 |       0 |
3067.34/3067.39	c |   12285 |    19.0 |       0 |    59812 |  72670 |     546 | 193315788 | 25061415 ||  12285 | 23618602 |       1/      0 | 7816145 |       0 |
3100.73/3100.70	c |   12286 |    33.3 |       0 |    68117 | 127777 |     547 | 193998963 | 25127655 ||  12286 | 23874929 |       1/      0 | 8023419 |       0 |
3125.43/3125.46	c |   12286 |    24.8 |       0 |    61089 |  55201 |     548 | 194617199 | 25196444 ||  12286 | 23985740 |       1/      0 | 8024392 |       0 |
3152.93/3152.90	c |   12286 |    27.4 |       0 |    64451 |  55304 |     549 | 195207367 | 25263824 ||  12286 | 24095126 |       1/      0 | 8025333 |       0 |
3183.24/3183.30	c |   12286 |    30.4 |       0 |    68403 |  55403 |     550 | 195813560 | 25330911 ||  12286 | 24206565 |       1/      0 | 8026254 |       0 |
3205.24/3205.23	c |   12286 |    21.9 |       0 |    63704 |  41986 |     551 | 196524799 | 25400074 ||  12286 | 24234855 |       1/      0 | 8026471 |       0 |
3235.73/3235.76	c |   12286 |    30.5 |       0 |    61898 |  97587 |     552 | 197268948 | 25462191 ||  12286 | 24234855 |       1/      0 | 8026471 |       0 |
3271.63/3271.64	c |   12286 |    35.9 |       0 |    64695 | 153288 |     553 | 197998711 | 25524743 ||  12286 | 24234855 |       1/      0 | 8026471 |       0 |
3314.26/3314.26	c |   12300 |    42.6 |       0 |    65481 |    458 |     554 | 198782630 | 25594279 ||  12300 | 24242747 |       1/      0 | 8028988 |       0 |
3320.86/3320.89	c |   12395 |     6.6 |       0 |    56701 |   1162 |     555 | 199538796 | 25714719 ||  12395 | 24334361 |       1/      0 | 8058009 |       0 |
3327.94/3327.92	c |   12472 |     7.0 |       0 |    58106 |    290 |     556 | 200270566 | 25824237 ||  12472 | 24421824 |       1/      0 | 8086609 |       0 |
3334.94/3334.92	c |   12540 |     7.0 |       0 |    58542 |   8538 |     557 | 200981538 | 25929251 ||  12540 | 24519187 |       1/      0 | 8119263 |       0 |
3345.54/3345.57	c |   12590 |    10.6 |       0 |    59611 |     18 |     558 | 201741604 | 26029406 ||  12590 | 24598507 |       1/      0 | 8144472 |       0 |
3352.76/3352.77	c |   12668 |     7.2 |       0 |    59537 |   5584 |     559 | 202653780 | 26140321 ||  12668 | 24696443 |       1/      0 | 8178789 |       0 |
3359.84/3359.88	c |   12750 |     7.1 |       0 |    60651 |     87 |     560 | 203417430 | 26251749 ||  12750 | 24779660 |       1/      0 | 8202583 |       0 |
3366.94/3366.99	c |   12796 |     7.1 |       0 |    62151 |  18983 |     561 | 204109752 | 26344646 ||  12796 | 24888760 |       1/      0 | 8238285 |       0 |
3379.04/3379.00	c |   12797 |    12.0 |       0 |    62223 |  17982 |     562 | 204723799 | 26410747 ||  12797 | 24966286 |       1/      0 | 8264562 |       0 |
3387.96/3387.94	c |   12889 |     8.9 |       0 |    66234 |    265 |     563 | 205493678 | 26531777 ||  12889 | 25046751 |       1/      0 | 8290331 |       0 |
3395.44/3395.43	c |   12955 |     7.5 |       0 |    62326 |   1512 |     564 | 206227824 | 26638549 ||  12955 | 25137031 |       1/      0 | 8319297 |       0 |
3401.94/3401.90	c |   13050 |     6.5 |       0 |    63212 |   3845 |     565 | 207004562 | 26761855 ||  13050 | 25233153 |       1/      0 | 8350869 |       0 |
3410.84/3410.88	c |   13083 |     9.0 |       0 |    63659 |   2371 |     566 | 207714329 | 26847770 ||  13083 | 25322205 |       1/      0 | 8378891 |       0 |
3416.94/3416.99	c |   13178 |     6.1 |       0 |    61309 |   2440 |     567 | 208476527 | 26970312 ||  13178 | 25418030 |       1/      0 | 8410356 |       0 |
3424.44/3424.41	c |   13244 |     7.4 |       0 |    61467 |    188 |     568 | 209219760 | 27080171 ||  13244 | 25506879 |       1/      0 | 8437079 |       0 |
3431.96/3431.94	c |   13307 |     7.5 |       0 |    61911 |  12653 |     569 | 209953117 | 27186570 ||  13307 | 25614841 |       1/      0 | 8476375 |       0 |
3443.24/3443.24	c |   13308 |    11.3 |       0 |    62814 |  12454 |     570 | 210589647 | 27254777 ||  13308 | 25702949 |       1/      0 | 8502713 |       0 |
3458.54/3458.50	c |   13309 |    15.3 |       0 |    63106 |  69956 |     571 | 211233184 | 27322842 ||  13309 | 25850096 |       1/      0 | 8555177 |       0 |
3477.06/3477.08	c |   13309 |    18.6 |       0 |    63344 |  50754 |     572 | 211886126 | 27387900 ||  13309 | 25864153 |       1/      0 | 8555294 |       0 |
3483.95/3483.92	c |   13412 |     6.8 |       0 |    62225 |    128 |     573 | 212687898 | 27513777 ||  13412 | 25957671 |       1/      0 | 8584945 |       0 |
3491.75/3491.79	c |   13491 |     7.9 |       0 |    62249 |    155 |     574 | 213464359 | 27627149 ||  13491 | 26050528 |       1/      0 | 8614715 |       0 |
3499.45/3499.46	c |   13563 |     7.7 |       0 |    62349 |   9207 |     575 | 214257293 | 27737623 ||  13563 | 26151385 |       1/      0 | 8647989 |       0 |
3509.06/3509.05	c |   13620 |     9.6 |       0 |    62872 |     82 |     576 | 214994824 | 27837341 ||  13620 | 26233959 |       1/      0 | 8674473 |       0 |
3516.45/3516.49	c |   13691 |     7.4 |       0 |    63498 |    199 |     577 | 215753163 | 27948858 ||  13691 | 26337181 |       1/      0 | 8707521 |       0 |
3524.15/3524.11	c |   13785 |     7.6 |       0 |    64287 |   1388 |     578 | 216537974 | 28073342 ||  13785 | 26423529 |       1/      0 | 8735701 |       0 |
3533.75/3533.72	c |   13819 |     9.6 |       0 |    63401 |   7634 |     579 | 217267655 | 28163747 ||  13819 | 26518372 |       1/      0 | 8767085 |       0 |
3558.85/3558.84	c |   13827 |    25.1 |       0 |    63554 |     21 |     580 | 218565179 | 28235976 ||  13827 | 26600871 |       1/      0 | 8794633 |       0 |
3565.85/3565.82	c |   13929 |     7.0 |       0 |    61889 |    330 |     581 | 219371034 | 28366441 ||  13929 | 26695949 |       1/      0 | 8824956 |       0 |
3574.85/3574.88	c |   14009 |     9.1 |       0 |    62874 |   1138 |     582 | 220345957 | 28483897 ||  14009 | 26791528 |       1/      0 | 8856393 |       0 |
3583.05/3583.05	c |   14074 |     8.2 |       0 |    62912 |   4506 |     583 | 221109528 | 28591996 ||  14074 | 26884690 |       1/      0 | 8886145 |       0 |
3593.55/3593.50	c |   14137 |    10.4 |       0 |    63473 |    766 |     584 | 221882889 | 28697119 ||  14137 | 26975021 |       1/      0 | 8915883 |       0 |
3602.15/3602.17	c |   14204 |     8.7 |       0 |    63071 |    188 |     585 | 222649722 | 28808734 ||  14204 | 27067928 |       1/      0 | 8945884 |       0 |
3608.95/3608.92	c |   14310 |     6.8 |       0 |    63260 |    278 |     586 | 223481874 | 28939781 ||  14310 | 27164818 |       1/      0 | 8976409 |       0 |
3618.96/3618.93	c |   14331 |    10.0 |       0 |    64287 |  15742 |     587 | 224267923 | 29022934 ||  14331 | 27282571 |       1/      0 | 9031092 |       0 |
3634.25/3634.20	c |   14332 |    15.3 |       0 |    64540 |  36542 |     588 | 225057251 | 29100240 ||  14332 | 27399669 |       1/      0 | 9083367 |       0 |
3651.85/3651.80	c |   14332 |    17.6 |       0 |    66459 |  19042 |     589 | 225690832 | 29170890 ||  14332 | 27478487 |       1/      0 | 9084007 |       0 |
3669.85/3669.89	c |   14333 |    18.1 |       0 |    69008 |  78445 |     590 | 226350545 | 29239887 ||  14333 | 27634102 |       1/      0 | 9187939 |       0 |
3694.45/3694.46	c |   14333 |    24.6 |       0 |    68197 |  59503 |     591 | 226953853 | 29312498 ||  14333 | 27744518 |       1/      0 | 9188910 |       0 |
3711.95/3711.91	c |   14333 |    17.4 |       0 |    68375 |  43946 |     592 | 227618771 | 29381600 ||  14333 | 27773028 |       1/      0 | 9189149 |       0 |
3731.35/3731.31	c |   14339 |    19.4 |       0 |    76026 |    139 |     593 | 228277577 | 29452015 ||  14339 | 27775501 |       1/      0 | 9189982 |       0 |
3739.85/3739.90	c |   14442 |     8.6 |       0 |    72325 |    796 |     594 | 229087398 | 29581405 ||  14442 | 27872279 |       1/      0 | 9220661 |       0 |
3747.55/3747.53	c |   14522 |     7.6 |       0 |    73580 |    531 |     595 | 229864741 | 29697870 ||  14522 | 27971741 |       1/      0 | 9252106 |       0 |
3755.55/3755.58	c |   14588 |     8.1 |       0 |    73814 |   7575 |     596 | 230652837 | 29807219 ||  14588 | 28077457 |       1/      0 | 9294848 |       0 |
3764.95/3764.93	c |   14651 |     9.3 |       0 |    74645 |    340 |     597 | 231418195 | 29917441 ||  14651 | 28161740 |       1/      0 | 9314925 |       0 |
3773.55/3773.50	c |   14730 |     8.6 |       0 |    74875 |    375 |     598 | 232210984 | 30035630 ||  14730 | 28254195 |       1/      0 | 9344719 |       0 |
3780.86/3780.87	c |   14839 |     7.4 |       0 |    73389 |    861 |     599 | 233062871 | 30172394 ||  14839 | 28351796 |       1/      0 | 9376214 |       0 |
3792.96/3792.96	c |   14844 |    12.1 |       0 |    65102 |  24049 |     600 | 233737404 | 30247800 ||  14844 | 28472243 |       1/      0 | 9426924 |       0 |
3804.97/3804.95	c |   14889 |    12.0 |       0 |    66680 |     67 |     601 | 234470812 | 30343521 ||  14889 | 28533823 |       1/      0 | 9437943 |       0 |
3812.57/3812.54	c |   14971 |     7.6 |       0 |    64370 |   7283 |     602 | 235272964 | 30462376 ||  14971 | 28639261 |       1/      0 | 9473482 |       0 |
3820.16/3820.11	c |   15065 |     7.6 |       0 |    65172 |   1361 |     603 | 236099735 | 30588081 ||  15065 | 28729774 |       1/      0 | 9501726 |       0 |
3829.66/3829.67	c |   15099 |     9.6 |       0 |    64751 |  10097 |     604 | 236816238 | 30680300 ||  15099 | 28825262 |       1/      0 | 9533098 |       0 |
3837.66/3837.63	c |   15205 |     8.0 |       0 |    65583 |     86 |     605 | 237642219 | 30814181 ||  15205 | 28920989 |       1/      0 | 9563191 |       0 |
3845.76/3845.75	c |   15288 |     8.1 |       0 |    64474 |   1183 |     606 | 238517077 | 30934264 ||  15288 | 29019473 |       1/      0 | 9596106 |       0 |
3854.26/3854.26	c |   15354 |     8.5 |       0 |    65083 |   6959 |     607 | 239301217 | 31044590 ||  15354 | 29127974 |       1/      0 | 9638875 |       0 |
3871.76/3871.79	c |   15355 |    17.5 |       0 |    65401 |  10558 |     608 | 240150443 | 31119128 ||  15355 | 29224319 |       1/      0 | 9665370 |       0 |
3894.95/3894.95	c |   15356 |    23.2 |       0 |    71749 |  71859 |     609 | 241022485 | 31191827 ||  15356 | 29370896 |       1/      0 | 9717868 |       0 |
3915.97/3915.97	c |   15371 |    21.0 |       0 |    67343 |    830 |     610 | 242291585 | 31302514 ||  15371 | 29391118 |       1/      0 | 9721272 |       0 |
3922.75/3922.72	c |   15480 |     6.8 |       0 |    63824 |     91 |     611 | 243142607 | 31437170 ||  15480 | 29491792 |       1/      0 | 9752731 |       0 |
3931.65/3931.67	c |   15546 |     9.0 |       0 |    64511 |   3150 |     612 | 243914830 | 31548332 ||  15546 | 29588405 |       1/      0 | 9784158 |       0 |
3940.27/3940.22	c |   15611 |     8.6 |       0 |    64889 |  16705 |     613 | 244693294 | 31660332 ||  15611 | 29704632 |       1/      0 | 9823752 |       0 |
3949.08/3949.05	c |   15695 |     8.8 |       0 |    65751 |    141 |     614 | 245770319 | 31790366 ||  15695 | 29785114 |       1/      0 | 9847833 |       0 |
3957.96/3957.92	c |   15777 |     8.9 |       0 |    65663 |    452 |     615 | 246584070 | 31914156 ||  15777 | 29883510 |       1/      0 | 9879800 |       0 |
3965.58/3965.52	c |   15865 |     7.6 |       0 |    66404 |   6664 |     616 | 247410937 | 32037209 ||  15865 | 29991546 |       1/      0 | 9916417 |       0 |
3978.16/3978.19	c |   15867 |    12.7 |       0 |    67599 |   1559 |     617 | 248151976 | 32111871 ||  15867 | 30113766 |       1/      0 | 9955909 |       0 |
3988.06/3988.08	c |   15930 |     9.9 |       0 |    66314 |   2818 |     618 | 249014411 | 32221265 ||  15930 | 30177401 |       1/      0 | 9975780 |       0 |
3996.16/3996.18	c |   16023 |     8.1 |       0 |    66140 |    304 |     619 | 249847757 | 32347789 ||  16023 | 30277753 |       1/      0 | 10008104 |       0 |
4004.08/4004.09	c |   16120 |     7.9 |       0 |    66247 |   3887 |     620 | 250677600 | 32480239 ||  16120 | 30381479 |       1/      0 | 10042047 |       0 |
4014.06/4014.00	c |   16166 |     9.9 |       0 |    66827 |     87 |     621 | 251423692 | 32579591 ||  16166 | 30473001 |       1/      0 | 10072181 |       0 |
4022.06/4022.03	c |   16249 |     8.0 |       0 |    66432 |   8721 |     622 | 252240326 | 32703276 ||  16249 | 30582907 |       1/      0 | 10108178 |       0 |
4030.48/4030.44	c |   16347 |     8.4 |       0 |    68189 |    216 |     623 | 253158232 | 32834529 ||  16347 | 30675409 |       1/      0 | 10136833 |       0 |
4041.16/4041.18	c |   16378 |    10.7 |       0 |    68291 |  15545 |     624 | 253882206 | 32926829 ||  16378 | 30797688 |       1/      0 | 10193512 |       0 |
4058.16/4058.12	c |   16379 |    16.9 |       0 |    69402 |  40043 |     625 | 254517524 | 33000834 ||  16379 | 30920610 |       1/      0 | 10245849 |       0 |
4080.16/4080.17	c |   16379 |    22.0 |       0 |    72220 |  26245 |     626 | 255163308 | 33074922 ||  16379 | 30988299 |       1/      0 | 10246439 |       0 |
4102.56/4102.60	c |   16380 |    22.4 |       0 |    71608 |  89347 |     627 | 255855880 | 33148352 ||  16380 | 31172509 |       1/      0 | 10350453 |       0 |
4136.17/4136.14	c |   16380 |    33.6 |       0 |    73413 |  63203 |     628 | 256497079 | 33223174 ||  16380 | 31299021 |       1/      0 | 10351455 |       0 |
4161.97/4161.98	c |   16380 |    25.8 |       0 |    66040 |  62253 |     629 | 257307532 | 33297599 ||  16380 | 31301116 |       1/      0 | 10351472 |       0 |
4197.77/4197.70	c |   16381 |    35.7 |       0 |    76009 | 125656 |     630 | 258126134 | 33374459 ||  16381 | 31558533 |       1/      0 | 10558676 |       0 |
4230.36/4230.34	c |   16381 |    32.6 |       0 |    70887 |  63502 |     631 | 258759592 | 33449337 ||  16381 | 31692115 |       1/      0 | 10559725 |       0 |
4273.66/4273.67	c |   16381 |    43.3 |       0 |    80204 |  63601 |     632 | 259384350 | 33523523 ||  16381 | 31823938 |       1/      0 | 10560803 |       0 |
4310.06/4310.06	c |   16381 |    36.4 |       0 |    80795 |   9258 |     633 | 260037757 | 33597622 ||  16381 | 31936425 |       1/      0 | 10561658 |       0 |
4345.47/4345.46	c |   16381 |    35.4 |       0 |    69229 |  73059 |     634 | 260781233 | 33669255 ||  16381 | 31936425 |       1/      0 | 10561658 |       0 |
4416.78/4416.72	c |   16381 |    71.3 |       0 |    81275 | 136961 |     635 | 261621423 | 33742529 ||  16381 | 31936425 |       1/      0 | 10561658 |       0 |
4460.68/4460.60	c |   16381 |    43.9 |       0 |    80879 | 200962 |     636 | 262396965 | 33815682 ||  16381 | 31936425 |       1/      0 | 10561658 |       0 |
4489.38/4489.32	c |   16382 |    28.7 |       0 |    68388 | 265065 |     637 | 263079305 | 33894147 ||  16382 | 32463137 |       1/      0 | 10976327 |       0 |
4513.48/4513.48	c |   16382 |    24.2 |       0 |    71510 |  64202 |     638 | 263707884 | 33971746 ||  16382 | 32580657 |       1/      0 | 10977341 |       0 |
4546.78/4546.71	c |   16382 |    33.2 |       0 |    78934 |  64303 |     639 | 264362579 | 34049737 ||  16382 | 32701873 |       1/      0 | 10978384 |       0 |
4586.78/4586.71	c |   16382 |    40.0 |       0 |    78606 |  64403 |     640 | 265014387 | 34126791 ||  16382 | 32824659 |       1/      0 | 10979460 |       0 |
4615.59/4615.61	c |   16382 |    28.9 |       0 |    75628 |  64503 |     641 | 265677063 | 34204637 ||  16382 | 32949681 |       1/      0 | 10980527 |       0 |
4647.08/4647.01	c |   16382 |    31.4 |       0 |    72566 |  64603 |     642 | 266334743 | 34282056 ||  16382 | 33073999 |       1/      0 | 10981628 |       0 |
4677.48/4677.45	c |   16382 |    30.4 |       0 |    71759 |  37380 |     643 | 267080780 | 34357000 ||  16382 | 33123416 |       1/      0 | 10982066 |       0 |
4754.58/4754.50	c |   16382 |    77.1 |       0 |    72552 | 102182 |     644 | 267894922 | 34429301 ||  16382 | 33123416 |       1/      0 | 10982066 |       0 |
4851.00/4850.92	c |   16382 |    96.4 |       0 |    76759 | 167083 |     645 | 268739105 | 34501445 ||  16382 | 33123416 |       1/      0 | 10982066 |       0 |
4938.49/4938.44	c |   16382 |    87.5 |       0 |    77603 | 232085 |     646 | 269572297 | 34574075 ||  16382 | 33123416 |       1/      0 | 10982066 |       0 |
5000.10/5000.01	c |   16382 |    61.6 |       0 |   130878 | 285360 |     646 | 270268076 | 34633204 ||  16382 | 33123416 |       1/      0 | 10982066 |       0 |
5000.10/5000.01	c c 
5000.10/5000.01	c -----------------------------------
5000.10/5000.01	c # temps = 5000.050000
5000.10/5000.01	c # cleaningDB = 646
5000.10/5000.01	c # clause binaire = 23107
5000.10/5000.01	c # literal removed by litRedundant = 396345863
5000.10/5000.01	c # literal removed by litRedundantBin = 360661048
5000.10/5000.01	c # init clause removed by simplify = 0
5000.10/5000.01	c # learnt clause removed by simplify = 0
5000.10/5000.01	c # une clause fausse était une apprise = 0
5000.10/5000.01	c # equivalence dectecte = 0
5000.10/5000.01	c # Memory used           : 273.30 MB
5000.10/5000.01	c 
5000.10/5000.01	c ########################
5000.10/5000.01	c ####   ##  ###   ## ####
5000.10/5000.01	c #### #### # ## #### ####
5000.10/5000.01	c ####   ##  ###   ##  ###
5000.10/5000.01	c ########################
5000.10/5000.01	c # restart = 16382
5000.10/5000.01	c # conflit = 21211149
5000.10/5000.01	c # decision = 34633204
5000.10/5000.01	c # propagation = 270268076 	 (54053.074669 (prop/sec))
5000.10/5000.01	c 
5000.10/5000.01	c ########################
5000.10/5000.01	c ### ### #   ##   ##   ##
5000.10/5000.01	c ### # # # #### # ### ###
5000.10/5000.01	c ###  #  ### ## # ### ###
5000.10/5000.01	c ########################
5000.10/5000.01	c # numtry = 16382
5000.10/5000.01	c # numflips = 33123416
5000.10/5000.01	c # maxSat = 1
5000.10/5000.01	c # freeFlip = 10764993
5000.10/5000.01	c # nbBoundary = 840
5000.10/5000.01	c 

ERROR: Unexpected answer ! (SATISFIABLE/UNSATISFIABLE expected)
Got answer: <no 's ' line found>

runsolver Copyright (C) 2010-2011 Olivier ROUSSEL

This is runsolver version 3.3.0 (svn: 977)

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-3439520-1306932944/watcher-3439520-1306932944 -o /tmp/evaluation-result-3439520-1306932944/solver-3439520-1306932944 -C 5000 -W 5100 -M 15500 ./esg_static.sh HOME/instance-3439520-1306932944.cnf rnovelty 

running on 4 cores: 1,3,5,7

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 5000 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 5030 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 5100 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.14 2.04 2.02 2/463 28776
/proc/meminfo: memFree=29052052/32951124 swapFree=41830676/67111528
[pid=28776] ppid=28774 vsize=8704 CPUtime=0 cores=1,3,5,7
/proc/28776/stat : 28776 (esg_static.sh) S 28774 28776 28463 0 -1 4202496 330 0 0 0 0 0 0 0 20 0 1 0 804892381 8912896 252 33554432000 4194304 4922060 140735738507408 18446744073709551615 228122532997 0 65536 4100 65538 18446744071562232103 0 0 17 5 0 0 0
/proc/28776/statm: 2176 252 211 178 0 69 0

[startup+0.0195179 s]
/proc/loadavg: 2.14 2.04 2.02 2/463 28776
/proc/meminfo: memFree=29052052/32951124 swapFree=41830676/67111528
[pid=28776] ppid=28774 vsize=8704 CPUtime=0 cores=1,3,5,7
/proc/28776/stat : 28776 (esg_static.sh) S 28774 28776 28463 0 -1 4202496 330 0 0 0 0 0 0 0 20 0 1 0 804892381 8912896 252 33554432000 4194304 4922060 140735738507408 18446744073709551615 228122532997 0 65536 4100 65538 18446744071562232103 0 0 17 5 0 0 0
/proc/28776/statm: 2176 252 211 178 0 69 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 8704

[startup+0.100504 s]
/proc/loadavg: 2.14 2.04 2.02 2/463 28776
/proc/meminfo: memFree=29052052/32951124 swapFree=41830676/67111528
[pid=28776] ppid=28774 vsize=8704 CPUtime=0.05 cores=1,3,5,7
/proc/28776/stat : 28776 (esg_static.sh) S 28774 28776 28463 0 -1 4202496 347 649 0 0 0 0 5 0 20 0 1 0 804892381 8912896 255 33554432000 4194304 4922060 140735738507408 18446744073709551615 228122713856 0 0 4100 65536 18446744071562362840 0 0 17 1 0 0 0
/proc/28776/statm: 2176 255 211 178 0 69 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 8704

[startup+0.300466 s]
/proc/loadavg: 2.14 2.04 2.02 2/463 28776
/proc/meminfo: memFree=29052052/32951124 swapFree=41830676/67111528
[pid=28776] ppid=28774 vsize=8704 CPUtime=0.05 cores=1,3,5,7
/proc/28776/stat : 28776 (esg_static.sh) S 28774 28776 28463 0 -1 4202496 347 649 0 0 0 0 5 0 20 0 1 0 804892381 8912896 255 33554432000 4194304 4922060 140735738507408 18446744073709551615 228122713856 0 0 4100 65536 18446744071562362840 0 0 17 1 0 0 0
/proc/28776/statm: 2176 255 211 178 0 69 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 8704

[startup+0.700394 s]
/proc/loadavg: 2.14 2.04 2.02 2/463 28776
/proc/meminfo: memFree=29052052/32951124 swapFree=41830676/67111528
[pid=28776] ppid=28774 vsize=8704 CPUtime=0.05 cores=1,3,5,7
/proc/28776/stat : 28776 (esg_static.sh) S 28774 28776 28463 0 -1 4202496 347 649 0 0 0 0 5 0 20 0 1 0 804892381 8912896 255 33554432000 4194304 4922060 140735738507408 18446744073709551615 228122713856 0 0 4100 65536 18446744071562362840 0 0 17 1 0 0 0
/proc/28776/statm: 2176 255 211 178 0 69 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 8704

[startup+1.50025 s]
/proc/loadavg: 2.14 2.04 2.02 3/466 28780
/proc/meminfo: memFree=29046688/32951124 swapFree=41830676/67111528
[pid=28776] ppid=28774 vsize=8704 CPUtime=0.05 cores=1,3,5,7
/proc/28776/stat : 28776 (esg_static.sh) S 28774 28776 28463 0 -1 4202496 347 649 0 0 0 0 5 0 20 0 1 0 804892381 8912896 255 33554432000 4194304 4922060 140735738507408 18446744073709551615 228122713856 0 0 4100 65536 18446744071562362840 0 0 17 1 0 0 0
/proc/28776/statm: 2176 255 211 178 0 69 0
[pid=28779] ppid=28776 vsize=8704 CPUtime=0 cores=1,3,5,7
/proc/28779/stat : 28779 (esg_static.sh) S 28776 28776 28463 0 -1 4202560 131 0 0 0 0 0 0 0 20 0 1 0 804892387 8912896 134 33554432000 4194304 4922060 140735738507408 18446744073709551615 228122532997 0 65536 4096 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/28779/statm: 2176 134 90 178 0 69 0
[pid=28780] ppid=28779 vsize=10836 CPUtime=1.43 cores=1,3,5,7
/proc/28780/stat : 28780 (sathys) R 28779 28776 28463 0 -1 4202496 1180 0 0 0 143 0 0 0 25 0 1 0 804892387 11096064 1091 33554432000 4194304 4241092 140737426065936 18446744073709551615 4222336 0 0 4096 24578 0 0 0 17 3 0 0 0
/proc/28780/statm: 2709 1091 135 12 0 1173 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 28244

[startup+3.10096 s]
/proc/loadavg: 2.14 2.04 2.02 3/466 28780
/proc/meminfo: memFree=29043712/32951124 swapFree=41830676/67111528
[pid=28776] ppid=28774 vsize=8704 CPUtime=0.05 cores=1,3,5,7
/proc/28776/stat : 28776 (esg_static.sh) S 28774 28776 28463 0 -1 4202496 347 649 0 0 0 0 5 0 20 0 1 0 804892381 8912896 255 33554432000 4194304 4922060 140735738507408 18446744073709551615 228122713856 0 0 4100 65536 18446744071562362840 0 0 17 1 0 0 0
/proc/28776/statm: 2176 255 211 178 0 69 0
[pid=28779] ppid=28776 vsize=8704 CPUtime=0 cores=1,3,5,7
/proc/28779/stat : 28779 (esg_static.sh) S 28776 28776 28463 0 -1 4202560 131 0 0 0 0 0 0 0 20 0 1 0 804892387 8912896 134 33554432000 4194304 4922060 140735738507408 18446744073709551615 228122532997 0 65536 4096 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/28779/statm: 2176 134 90 178 0 69 0
[pid=28780] ppid=28779 vsize=12288 CPUtime=3.03 cores=1,3,5,7
/proc/28780/stat : 28780 (sathys) R 28779 28776 28463 0 -1 4202496 1563 0 0 0 303 0 0 0 25 0 1 0 804892387 12582912 1474 33554432000 4194304 4241092 140737426065936 18446744073709551615 4222372 0 0 4096 24578 0 0 0 17 3 0 0 0
/proc/28780/statm: 3072 1474 135 12 0 1536 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 29696

[startup+6.30038 s]
/proc/loadavg: 2.13 2.04 2.02 3/466 28780
/proc/meminfo: memFree=29039096/32951124 swapFree=41830676/67111528
[pid=28776] ppid=28774 vsize=8704 CPUtime=0.05 cores=1,3,5,7
/proc/28776/stat : 28776 (esg_static.sh) S 28774 28776 28463 0 -1 4202496 347 649 0 0 0 0 5 0 20 0 1 0 804892381 8912896 255 33554432000 4194304 4922060 140735738507408 18446744073709551615 228122713856 0 0 4100 65536 18446744071562362840 0 0 17 1 0 0 0
/proc/28776/statm: 2176 255 211 178 0 69 0
[pid=28779] ppid=28776 vsize=8704 CPUtime=0 cores=1,3,5,7
/proc/28779/stat : 28779 (esg_static.sh) S 28776 28776 28463 0 -1 4202560 131 0 0 0 0 0 0 0 20 0 1 0 804892387 8912896 134 33554432000 4194304 4922060 140735738507408 18446744073709551615 228122532997 0 65536 4096 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/28779/statm: 2176 134 90 178 0 69 0
[pid=28780] ppid=28779 vsize=14276 CPUtime=6.23 cores=1,3,5,7
/proc/28780/stat : 28780 (sathys) R 28779 28776 28463 0 -1 4202496 2070 0 0 0 623 0 0 0 25 0 1 0 804892387 14618624 1981 33554432000 4194304 4241092 140737426065936 18446744073709551615 4222336 0 0 4096 24578 0 0 0 17 3 0 0 0
/proc/28780/statm: 3569 1981 135 12 0 2033 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 31684

[startup+12.7002 s]
/proc/loadavg: 2.12 2.04 2.02 3/466 28780
/proc/meminfo: memFree=29032536/32951124 swapFree=41830676/67111528
[pid=28776] ppid=28774 vsize=8704 CPUtime=0.05 cores=1,3,5,7
/proc/28776/stat : 28776 (esg_static.sh) S 28774 28776 28463 0 -1 4202496 347 649 0 0 0 0 5 0 20 0 1 0 804892381 8912896 255 33554432000 4194304 4922060 140735738507408 18446744073709551615 228122713856 0 0 4100 65536 18446744071562362840 0 0 17 1 0 0 0
/proc/28776/statm: 2176 255 211 178 0 69 0
[pid=28779] ppid=28776 vsize=8704 CPUtime=0 cores=1,3,5,7
/proc/28779/stat : 28779 (esg_static.sh) S 28776 28776 28463 0 -1 4202560 131 0 0 0 0 0 0 0 20 0 1 0 804892387 8912896 134 33554432000 4194304 4922060 140735738507408 18446744073709551615 228122532997 0 65536 4096 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/28779/statm: 2176 134 90 178 0 69 0
[pid=28780] ppid=28779 vsize=16964 CPUtime=12.62 cores=1,3,5,7
/proc/28780/stat : 28780 (sathys) R 28779 28776 28463 0 -1 4202496 2732 0 0 0 1262 0 0 0 25 0 1 0 804892387 17371136 2643 33554432000 4194304 4241092 140737426065936 18446744073709551615 4222359 0 0 4096 24578 0 0 0 17 3 0 0 0
/proc/28780/statm: 4241 2643 135 12 0 2705 0
Current children cumulated CPU time (s) 12.67
Current children cumulated vsize (KiB) 34372

[startup+25.5009 s]
/proc/loadavg: 2.09 2.04 2.02 3/466 28780
/proc/meminfo: memFree=29022736/32951124 swapFree=41830676/67111528
[pid=28776] ppid=28774 vsize=8704 CPUtime=0.05 cores=1,3,5,7
/proc/28776/stat : 28776 (esg_static.sh) S 28774 28776 28463 0 -1 4202496 347 649 0 0 0 0 5 0 20 0 1 0 804892381 8912896 255 33554432000 4194304 4922060 140735738507408 18446744073709551615 228122713856 0 0 4100 65536 18446744071562362840 0 0 17 1 0 0 0
/proc/28776/statm: 2176 255 211 178 0 69 0
[pid=28779] ppid=28776 vsize=8704 CPUtime=0 cores=1,3,5,7
/proc/28779/stat : 28779 (esg_static.sh) S 28776 28776 28463 0 -1 4202560 131 0 0 0 0 0 0 0 20 0 1 0 804892387 8912896 134 33554432000 4194304 4922060 140735738507408 18446744073709551615 228122532997 0 65536 4096 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/28779/statm: 2176 134 90 178 0 69 0
[pid=28780] ppid=28779 vsize=21840 CPUtime=25.43 cores=1,3,5,7
/proc/28780/stat : 28780 (sathys) R 28779 28776 28463 0 -1 4202496 3995 0 0 0 2542 1 0 0 25 0 1 0 804892387 22364160 3858 33554432000 4194304 4241092 140737426065936 18446744073709551615 4223728 0 0 4096 24578 0 0 0 17 3 0 0 0
/proc/28780/statm: 5460 3858 136 12 0 3924 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 39248

[startup+51.1003 s]
/proc/loadavg: 2.06 2.03 2.02 3/466 28781
/proc/meminfo: memFree=29010516/32951124 swapFree=41830676/67111528
[pid=28776] ppid=28774 vsize=8704 CPUtime=0.05 cores=1,3,5,7
/proc/28776/stat : 28776 (esg_static.sh) S 28774 28776 28463 0 -1 4202496 347 649 0 0 0 0 5 0 20 0 1 0 804892381 8912896 255 33554432000 4194304 4922060 140735738507408 18446744073709551615 228122713856 0 0 4100 65536 18446744071562362840 0 0 17 1 0 0 0
/proc/28776/statm: 2176 255 211 178 0 69 0
[pid=28779] ppid=28776 vsize=8704 CPUtime=0 cores=1,3,5,7
/proc/28779/stat : 28779 (esg_static.sh) S 28776 28776 28463 0 -1 4202560 131 0 0 0 0 0 0 0 20 0 1 0 804892387 8912896 134 33554432000 4194304 4922060 140735738507408 18446744073709551615 228122532997 0 65536 4096 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/28779/statm: 2176 134 90 178 0 69 0
[pid=28780] ppid=28779 vsize=30144 CPUtime=51.02 cores=1,3,5,7
/proc/28780/stat : 28780 (sathys) R 28779 28776 28463 0 -1 4202496 6143 0 0 0 5101 1 0 0 25 0 1 0 804892387 30867456 5930 33554432000 4194304 4241092 140737426065936 18446744073709551615 4222357 0 0 4096 24578 0 0 0 17 3 0 0 0
/proc/28780/statm: 7536 5930 136 12 0 6000 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 47552

[startup+102.317 s]
/proc/loadavg: 2.10 2.05 2.02 3/466 28782
/proc/meminfo: memFree=28989508/32951124 swapFree=41830676/67111528
[pid=28776] ppid=28774 vsize=8704 CPUtime=0.05 cores=1,3,5,7
/proc/28776/stat : 28776 (esg_static.sh) S 28774 28776 28463 0 -1 4202496 347 649 0 0 0 0 5 0 20 0 1 0 804892381 8912896 255 33554432000 4194304 4922060 140735738507408 18446744073709551615 228122713856 0 0 4100 65536 18446744071562362840 0 0 17 1 0 0 0
/proc/28776/statm: 2176 255 211 178 0 69 0
[pid=28779] ppid=28776 vsize=8704 CPUtime=0 cores=1,3,5,7
/proc/28779/stat : 28779 (esg_static.sh) S 28776 28776 28463 0 -1 4202560 131 0 0 0 0 0 0 0 20 0 1 0 804892387 8912896 134 33554432000 4194304 4922060 140735738507408 18446744073709551615 228122532997 0 65536 4096 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/28779/statm: 2176 134 90 178 0 69 0
[pid=28780] ppid=28779 vsize=42800 CPUtime=102.24 cores=1,3,5,7
/proc/28780/stat : 28780 (sathys) R 28779 28776 28463 0 -1 4202496 9665 0 0 0 10222 2 0 0 25 0 1 0 804892387 43827200 9090 33554432000 4194304 4241092 140737426065936 18446744073709551615 4223726 0 0 4096 24578 0 0 0 17 3 0 0 0
/proc/28780/statm: 10700 9090 136 12 0 9164 0
Current children cumulated CPU time (s) 102.29
Current children cumulated vsize (KiB) 60208

[startup+162.301 s]
/proc/loadavg: 2.07 2.06 2.02 3/466 28784
/proc/meminfo: memFree=28976932/32951124 swapFree=41830676/67111528
[pid=28776] ppid=28774 vsize=8704 CPUtime=0.05 cores=1,3,5,7
/proc/28776/stat : 28776 (esg_static.sh) S 28774 28776 28463 0 -1 4202496 347 649 0 0 0 0 5 0 20 0 1 0 804892381 8912896 255 33554432000 4194304 4922060 140735738507408 18446744073709551615 228122713856 0 0 4100 65536 18446744071562362840 0 0 17 1 0 0 0
/proc/28776/statm: 2176 255 211 178 0 69 0
[pid=28779] ppid=28776 vsize=8704 CPUtime=0 cores=1,3,5,7
/proc/28779/stat : 28779 (esg_static.sh) S 28776 28776 28463 0 -1 4202560 131 0 0 0 0 0 0 0 20 0 1 0 804892387 8912896 134 33554432000 4194304 4922060 140735738507408 18446744073709551615 228122532997 0 65536 4096 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/28779/statm: 2176 134 90 178 0 69 0
[pid=28780] ppid=28779 vsize=46736 CPUtime=162.22 cores=1,3,5,7
/proc/28780/stat : 28780 (sathys) R 28779 28776 28463 0 -1 4202496 11134 0 0 0 16220 2 0 0 25 0 1 0 804892387 47857664 10068 33554432000 4194304 4241092 140737426065936 18446744073709551615 4222357 0 0 4096 24578 0 0 0 17 3 0 0 0
/proc/28780/statm: 11684 10068 136 12 0 10148 0
Current children cumulated CPU time (s) 162.27
Current children cumulated vsize (KiB) 64144

[startup+222.301 s]
/proc/loadavg: 2.02 2.04 2.02 3/466 28785
/proc/meminfo: memFree=28965848/32951124 swapFree=41830676/67111528
[pid=28776] ppid=28774 vsize=8704 CPUtime=0.05 cores=1,3,5,7
/proc/28776/stat : 28776 (esg_static.sh) S 28774 28776 28463 0 -1 4202496 347 649 0 0 0 0 5 0 20 0 1 0 804892381 8912896 255 33554432000 4194304 4922060 140735738507408 18446744073709551615 228122713856 0 0 4100 65536 18446744071562362840 0 0 17 1 0 0 0
/proc/28776/statm: 2176 255 211 178 0 69 0
[pid=28779] ppid=28776 vsize=8704 CPUtime=0 cores=1,3,5,7
/proc/28779/stat : 28779 (esg_static.sh) S 28776 28776 28463 0 -1 4202560 131 0 0 0 0 0 0 0 20 0 1 0 804892387 8912896 134 33554432000 4194304 4922060 140735738507408 18446744073709551615 228122532997 0 65536 4096 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/28779/statm: 2176 134 90 178 0 69 0
[pid=28780] ppid=28779 vsize=50024 CPUtime=222.23 cores=1,3,5,7
/proc/28780/stat : 28780 (sathys) R 28779 28776 28463 0 -1 4202496 12592 0 0 0 22220 3 0 0 25 0 1 0 804892387 51224576 10893 33554432000 4194304 4241092 140737426065936 18446744073709551615 4221855 0 0 4096 24578 0 0 0 17 3 0 0 0
/proc/28780/statm: 12506 10893 136 12 0 10970 0
Current children cumulated CPU time (s) 222.28
Current children cumulated vsize (KiB) 67432

[startup+282.3 s]

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

/proc/meminfo: memFree=28622312/32951124 swapFree=41830676/67111528
[pid=28776] ppid=28774 vsize=8704 CPUtime=0.05 cores=1,3,5,7
/proc/28776/stat : 28776 (esg_static.sh) S 28774 28776 28463 0 -1 4202496 347 649 0 0 0 0 5 0 20 0 1 0 804892381 8912896 255 33554432000 4194304 4922060 140735738507408 18446744073709551615 228122713856 0 0 4100 65536 18446744071562362840 0 0 17 1 0 0 0
/proc/28776/statm: 2176 255 211 178 0 69 0
[pid=28779] ppid=28776 vsize=8704 CPUtime=0 cores=1,3,5,7
/proc/28779/stat : 28779 (esg_static.sh) S 28776 28776 28463 0 -1 4202560 131 0 0 0 0 0 0 0 20 0 1 0 804892387 8912896 134 33554432000 4194304 4922060 140735738507408 18446744073709551615 228122532997 0 65536 4096 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/28779/statm: 2176 134 90 178 0 69 0
[pid=28780] ppid=28779 vsize=256252 CPUtime=4482.33 cores=1,3,5,7
/proc/28780/stat : 28780 (sathys) R 28779 28776 28463 0 -1 4202496 95305 0 0 0 448207 26 0 0 25 0 1 0 804892387 262402048 62445 33554432000 4194304 4241092 140737426065936 18446744073709551615 4223635 0 0 4096 24578 0 0 0 17 3 0 0 0
/proc/28780/statm: 64063 62445 136 12 0 62527 0
Current children cumulated CPU time (s) 4482.38
Current children cumulated vsize (KiB) 273660

[startup+4542.3 s]
/proc/loadavg: 2.13 2.04 2.01 3/466 28925
/proc/meminfo: memFree=28619148/32951124 swapFree=41830676/67111528
[pid=28776] ppid=28774 vsize=8704 CPUtime=0.05 cores=1,3,5,7
/proc/28776/stat : 28776 (esg_static.sh) S 28774 28776 28463 0 -1 4202496 347 649 0 0 0 0 5 0 20 0 1 0 804892381 8912896 255 33554432000 4194304 4922060 140735738507408 18446744073709551615 228122713856 0 0 4100 65536 18446744071562362840 0 0 17 1 0 0 0
/proc/28776/statm: 2176 255 211 178 0 69 0
[pid=28779] ppid=28776 vsize=8704 CPUtime=0 cores=1,3,5,7
/proc/28779/stat : 28779 (esg_static.sh) S 28776 28776 28463 0 -1 4202560 131 0 0 0 0 0 0 0 20 0 1 0 804892387 8912896 134 33554432000 4194304 4922060 140735738507408 18446744073709551615 228122532997 0 65536 4096 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/28779/statm: 2176 134 90 178 0 69 0
[pid=28780] ppid=28779 vsize=256764 CPUtime=4542.33 cores=1,3,5,7
/proc/28780/stat : 28780 (sathys) R 28779 28776 28463 0 -1 4202496 95704 0 0 0 454207 26 0 0 25 0 1 0 804892387 262926336 62599 33554432000 4194304 4241092 140737426065936 18446744073709551615 4223705 0 0 4096 24578 0 0 0 17 3 0 0 0
/proc/28780/statm: 64191 62599 136 12 0 62655 0
Current children cumulated CPU time (s) 4542.38
Current children cumulated vsize (KiB) 274172

[startup+4602.3 s]
/proc/loadavg: 2.05 2.03 2.00 3/466 28926
/proc/meminfo: memFree=28615620/32951124 swapFree=41830676/67111528
[pid=28776] ppid=28774 vsize=8704 CPUtime=0.05 cores=1,3,5,7
/proc/28776/stat : 28776 (esg_static.sh) S 28774 28776 28463 0 -1 4202496 347 649 0 0 0 0 5 0 20 0 1 0 804892381 8912896 255 33554432000 4194304 4922060 140735738507408 18446744073709551615 228122713856 0 0 4100 65536 18446744071562362840 0 0 17 1 0 0 0
/proc/28776/statm: 2176 255 211 178 0 69 0
[pid=28779] ppid=28776 vsize=8704 CPUtime=0 cores=1,3,5,7
/proc/28779/stat : 28779 (esg_static.sh) S 28776 28776 28463 0 -1 4202560 131 0 0 0 0 0 0 0 20 0 1 0 804892387 8912896 134 33554432000 4194304 4922060 140735738507408 18446744073709551615 228122532997 0 65536 4096 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/28779/statm: 2176 134 90 178 0 69 0
[pid=28780] ppid=28779 vsize=257772 CPUtime=4602.34 cores=1,3,5,7
/proc/28780/stat : 28780 (sathys) R 28779 28776 28463 0 -1 4202496 96191 0 0 0 460208 26 0 0 25 0 1 0 804892387 263958528 62853 33554432000 4194304 4241092 140737426065936 18446744073709551615 4233312 0 0 4096 24578 0 0 0 17 3 0 0 0
/proc/28780/statm: 64443 62853 136 12 0 62907 0
Current children cumulated CPU time (s) 4602.39
Current children cumulated vsize (KiB) 275180

[startup+4662.3 s]
/proc/loadavg: 2.02 2.02 2.00 3/466 28928
/proc/meminfo: memFree=28610624/32951124 swapFree=41830676/67111528
[pid=28776] ppid=28774 vsize=8704 CPUtime=0.05 cores=1,3,5,7
/proc/28776/stat : 28776 (esg_static.sh) S 28774 28776 28463 0 -1 4202496 347 649 0 0 0 0 5 0 20 0 1 0 804892381 8912896 255 33554432000 4194304 4922060 140735738507408 18446744073709551615 228122713856 0 0 4100 65536 18446744071562362840 0 0 17 1 0 0 0
/proc/28776/statm: 2176 255 211 178 0 69 0
[pid=28779] ppid=28776 vsize=8704 CPUtime=0 cores=1,3,5,7
/proc/28779/stat : 28779 (esg_static.sh) S 28776 28776 28463 0 -1 4202560 131 0 0 0 0 0 0 0 20 0 1 0 804892387 8912896 134 33554432000 4194304 4922060 140735738507408 18446744073709551615 228122532997 0 65536 4096 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/28779/statm: 2176 134 90 178 0 69 0
[pid=28780] ppid=28779 vsize=258716 CPUtime=4662.33 cores=1,3,5,7
/proc/28780/stat : 28780 (sathys) R 28779 28776 28463 0 -1 4202496 96645 0 0 0 466207 26 0 0 25 0 1 0 804892387 264925184 63067 33554432000 4194304 4241092 140737426065936 18446744073709551615 4222353 0 0 4096 24578 0 0 0 17 3 0 0 0
/proc/28780/statm: 64679 63067 136 12 0 63143 0
Current children cumulated CPU time (s) 4662.38
Current children cumulated vsize (KiB) 276124

[startup+4722.32 s]
/proc/loadavg: 2.00 2.02 2.00 3/466 28929
/proc/meminfo: memFree=28605736/32951124 swapFree=41830676/67111528
[pid=28776] ppid=28774 vsize=8704 CPUtime=0.05 cores=1,3,5,7
/proc/28776/stat : 28776 (esg_static.sh) S 28774 28776 28463 0 -1 4202496 347 649 0 0 0 0 5 0 20 0 1 0 804892381 8912896 255 33554432000 4194304 4922060 140735738507408 18446744073709551615 228122713856 0 0 4100 65536 18446744071562362840 0 0 17 1 0 0 0
/proc/28776/statm: 2176 255 211 178 0 69 0
[pid=28779] ppid=28776 vsize=8704 CPUtime=0 cores=1,3,5,7
/proc/28779/stat : 28779 (esg_static.sh) S 28776 28776 28463 0 -1 4202560 131 0 0 0 0 0 0 0 20 0 1 0 804892387 8912896 134 33554432000 4194304 4922060 140735738507408 18446744073709551615 228122532997 0 65536 4096 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/28779/statm: 2176 134 90 178 0 69 0
[pid=28780] ppid=28779 vsize=262892 CPUtime=4722.35 cores=1,3,5,7
/proc/28780/stat : 28780 (sathys) R 28779 28776 28463 0 -1 4202496 97812 0 0 0 472208 27 0 0 25 0 1 0 804892387 269201408 64101 33554432000 4194304 4241092 140737426065936 18446744073709551615 4223635 0 0 4096 24578 0 0 0 17 3 0 0 0
/proc/28780/statm: 65723 64101 136 12 0 64187 0
Current children cumulated CPU time (s) 4722.4
Current children cumulated vsize (KiB) 280300

[startup+4782.3 s]
/proc/loadavg: 2.12 2.04 2.01 3/466 28931
/proc/meminfo: memFree=28601944/32951124 swapFree=41830676/67111528
[pid=28776] ppid=28774 vsize=8704 CPUtime=0.05 cores=1,3,5,7
/proc/28776/stat : 28776 (esg_static.sh) S 28774 28776 28463 0 -1 4202496 347 649 0 0 0 0 5 0 20 0 1 0 804892381 8912896 255 33554432000 4194304 4922060 140735738507408 18446744073709551615 228122713856 0 0 4100 65536 18446744071562362840 0 0 17 1 0 0 0
/proc/28776/statm: 2176 255 211 178 0 69 0
[pid=28779] ppid=28776 vsize=8704 CPUtime=0 cores=1,3,5,7
/proc/28779/stat : 28779 (esg_static.sh) S 28776 28776 28463 0 -1 4202560 131 0 0 0 0 0 0 0 20 0 1 0 804892387 8912896 134 33554432000 4194304 4922060 140735738507408 18446744073709551615 228122532997 0 65536 4096 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/28779/statm: 2176 134 90 178 0 69 0
[pid=28780] ppid=28779 vsize=264924 CPUtime=4782.33 cores=1,3,5,7
/proc/28780/stat : 28780 (sathys) R 28779 28776 28463 0 -1 4202496 98433 0 0 0 478206 27 0 0 25 0 1 0 804892387 271282176 64608 33554432000 4194304 4241092 140737426065936 18446744073709551615 4223703 0 0 4096 24578 0 0 0 17 3 0 0 0
/proc/28780/statm: 66231 64608 136 12 0 64695 0
Current children cumulated CPU time (s) 4782.38
Current children cumulated vsize (KiB) 282332

[startup+4842.3 s]
/proc/loadavg: 2.10 2.05 2.01 3/466 28933
/proc/meminfo: memFree=28598416/32951124 swapFree=41830676/67111528
[pid=28776] ppid=28774 vsize=8704 CPUtime=0.05 cores=1,3,5,7
/proc/28776/stat : 28776 (esg_static.sh) S 28774 28776 28463 0 -1 4202496 347 649 0 0 0 0 5 0 20 0 1 0 804892381 8912896 255 33554432000 4194304 4922060 140735738507408 18446744073709551615 228122713856 0 0 4100 65536 18446744071562362840 0 0 17 1 0 0 0
/proc/28776/statm: 2176 255 211 178 0 69 0
[pid=28779] ppid=28776 vsize=8704 CPUtime=0 cores=1,3,5,7
/proc/28779/stat : 28779 (esg_static.sh) S 28776 28776 28463 0 -1 4202560 131 0 0 0 0 0 0 0 20 0 1 0 804892387 8912896 134 33554432000 4194304 4922060 140735738507408 18446744073709551615 228122532997 0 65536 4096 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/28779/statm: 2176 134 90 178 0 69 0
[pid=28780] ppid=28779 vsize=266524 CPUtime=4842.34 cores=1,3,5,7
/proc/28780/stat : 28780 (sathys) R 28779 28776 28463 0 -1 4202496 98836 0 0 0 484206 28 0 0 25 0 1 0 804892387 272920576 65011 33554432000 4194304 4241092 140737426065936 18446744073709551615 4223696 0 0 4096 24578 0 0 0 17 3 0 0 0
/proc/28780/statm: 66631 65011 136 12 0 65095 0
Current children cumulated CPU time (s) 4842.39
Current children cumulated vsize (KiB) 283932

[startup+4902.3 s]
/proc/loadavg: 2.04 2.04 2.00 3/466 28934
/proc/meminfo: memFree=28595036/32951124 swapFree=41830676/67111528
[pid=28776] ppid=28774 vsize=8704 CPUtime=0.05 cores=1,3,5,7
/proc/28776/stat : 28776 (esg_static.sh) S 28774 28776 28463 0 -1 4202496 347 649 0 0 0 0 5 0 20 0 1 0 804892381 8912896 255 33554432000 4194304 4922060 140735738507408 18446744073709551615 228122713856 0 0 4100 65536 18446744071562362840 0 0 17 1 0 0 0
/proc/28776/statm: 2176 255 211 178 0 69 0
[pid=28779] ppid=28776 vsize=8704 CPUtime=0 cores=1,3,5,7
/proc/28779/stat : 28779 (esg_static.sh) S 28776 28776 28463 0 -1 4202560 131 0 0 0 0 0 0 0 20 0 1 0 804892387 8912896 134 33554432000 4194304 4922060 140735738507408 18446744073709551615 228122532997 0 65536 4096 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/28779/statm: 2176 134 90 178 0 69 0
[pid=28780] ppid=28779 vsize=270220 CPUtime=4902.33 cores=1,3,5,7
/proc/28780/stat : 28780 (sathys) R 28779 28776 28463 0 -1 4202496 99927 0 0 0 490205 28 0 0 25 0 1 0 804892387 276705280 65963 33554432000 4194304 4241092 140737426065936 18446744073709551615 4223726 0 0 4096 24578 0 0 0 17 3 0 0 0
/proc/28780/statm: 67555 65963 136 12 0 66019 0
Current children cumulated CPU time (s) 4902.38
Current children cumulated vsize (KiB) 287628

[startup+4962.3 s]
/proc/loadavg: 2.01 2.03 2.00 3/466 28936
/proc/meminfo: memFree=28585792/32951124 swapFree=41830676/67111528
[pid=28776] ppid=28774 vsize=8704 CPUtime=0.05 cores=1,3,5,7
/proc/28776/stat : 28776 (esg_static.sh) S 28774 28776 28463 0 -1 4202496 347 649 0 0 0 0 5 0 20 0 1 0 804892381 8912896 255 33554432000 4194304 4922060 140735738507408 18446744073709551615 228122713856 0 0 4100 65536 18446744071562362840 0 0 17 1 0 0 0
/proc/28776/statm: 2176 255 211 178 0 69 0
[pid=28779] ppid=28776 vsize=8704 CPUtime=0 cores=1,3,5,7
/proc/28779/stat : 28779 (esg_static.sh) S 28776 28776 28463 0 -1 4202560 131 0 0 0 0 0 0 0 20 0 1 0 804892387 8912896 134 33554432000 4194304 4922060 140735738507408 18446744073709551615 228122532997 0 65536 4096 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/28779/statm: 2176 134 90 178 0 69 0
[pid=28780] ppid=28779 vsize=278772 CPUtime=4962.34 cores=1,3,5,7
/proc/28780/stat : 28780 (sathys) R 28779 28776 28463 0 -1 4202496 102183 0 0 0 496205 29 0 0 25 0 1 0 804892387 285462528 68103 33554432000 4194304 4241092 140737426065936 18446744073709551615 4223635 0 0 4096 24578 0 0 0 17 3 0 0 0
/proc/28780/statm: 69693 68103 136 12 0 68157 0
Current children cumulated CPU time (s) 4962.39
Current children cumulated vsize (KiB) 296180



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+5000 s]
/proc/loadavg: 1.92 2.01 1.99 3/465 28967
/proc/meminfo: memFree=28744164/32951124 swapFree=41830676/67111528
[pid=28776] ppid=28774 vsize=8704 CPUtime=0.05 cores=1,3,5,7
/proc/28776/stat : 28776 (esg_static.sh) S 28774 28776 28463 0 -1 4202496 347 649 0 0 0 0 5 0 20 0 1 0 804892381 8912896 255 33554432000 4194304 4922060 140735738507408 18446744073709551615 228122713856 0 0 4100 65536 18446744071562362840 0 0 17 1 0 0 0
/proc/28776/statm: 2176 255 211 178 0 69 0
[pid=28779] ppid=28776 vsize=8704 CPUtime=0 cores=1,3,5,7
/proc/28779/stat : 28779 (esg_static.sh) S 28776 28776 28463 0 -1 4202560 131 0 0 0 0 0 0 0 20 0 1 0 804892387 8912896 134 33554432000 4194304 4922060 140735738507408 18446744073709551615 228122532997 0 65536 4096 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/28779/statm: 2176 134 90 178 0 69 0
[pid=28780] ppid=28779 vsize=279848 CPUtime=5000.05 cores=1,3,5,7
/proc/28780/stat : 28780 (sathys) R 28779 28776 28463 0 -1 4202496 102455 0 0 0 499976 29 0 0 25 0 1 0 804892387 286564352 68375 33554432000 4194304 4241092 140737426065936 18446744073709551615 4223635 0 0 4096 24578 0 0 0 17 3 0 0 0
/proc/28780/statm: 69962 68375 136 12 0 68426 0
Current children cumulated CPU time (s) 5000.1
Current children cumulated vsize (KiB) 297256

Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds

Solver just ended. Dumping a history of the last processes samples

Child status: 143

# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 28776 and gives
#  childrusage.ru_utime.tv_sec=0
#  childrusage.ru_utime.tv_usec=59990
#  childrusage.ru_stime.tv_sec=0
#  childrusage.ru_stime.tv_usec=1999
# CPU time returned by wait4() is 0.061989
# while last known CPU time is 5000.1
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...

Real time (s): 5000.02
CPU time (s): 5000.1
CPU user time (s): 4999.81
CPU system time (s): 0.29
CPU usage (%): 100.002
Max. virtual memory (cumulated for all children) (KiB): 297256

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 0.05999
system time used= 0.001999
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1344
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= 11
involuntary context switches= 7

runsolver used 21.0788 second user time and 51.9481 second system time

The end

Begin job on node138 at 2011-06-01 14:55:44
IDJOB=3439520
IDBENCH=85538
IDSOLVER=1935
FILE ID=node138/3439520-1306932944
RUNJOBID= node138-1306927939-28482
PBS_JOBID= 13488572
Free space on /tmp= 73640 MiB

SOLVER NAME= sathys 2011-04-01
BENCH NAME= SAT05/crafted/sabharwal05/counting/fphp/unsat/harder/fphp-030-029.shuffled-as.sat05-1234.cnf
COMMAND LINE= ./esg_static.sh BENCHNAME rnovelty
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3439520-1306932944/watcher-3439520-1306932944 -o /tmp/evaluation-result-3439520-1306932944/solver-3439520-1306932944 -C 5000 -W 5100 -M 15500  ./esg_static.sh HOME/instance-3439520-1306932944.cnf rnovelty

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

MD5SUM BENCH= c12aa6a0ac1bca448bef51c167f3bbbb
RANDOM SEED=82359475

node138.alineos.net Linux 2.6.18-164.el5 #1 SMP Thu Sep 3 03:28:30 EDT 2009

/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.854
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5333.70
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

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.854
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 16
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.75
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

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.854
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 2
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.82
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

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.854
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 18
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.75
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

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.854
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 4
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.80
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

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.854
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 20
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.75
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

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.854
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.82
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

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.854
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 22
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.75
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]


/proc/meminfo:
MemTotal:     32951124 kB
MemFree:      29052332 kB
Buffers:        225224 kB
Cached:         769768 kB
SwapCached:      44536 kB
Active:        2019708 kB
Inactive:      1603480 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      29052332 kB
SwapTotal:    67111528 kB
SwapFree:     41830676 kB
Dirty:            2288 kB
Writeback:           0 kB
AnonPages:     2594312 kB
Mapped:          16632 kB
Slab:           114064 kB
PageTables:      92708 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS: 130661612 kB
VmallocTotal: 34359738367 kB
VmallocUsed:    296008 kB
VmallocChunk: 34359440975 kB
HugePages_Total:     0
HugePages_Free:      0
HugePages_Rsvd:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 73632 MiB
End job on node138 at 2011-06-01 16:19:04