Trace number 1832215

Some explanations

A solver is run under the control of another program named runsolver. runsolver is in charge of imposing the CPU time limit and the memory limit to the solver. It also monitors some information about the process. The trace of the execution of a solver is divided into four (or five) parts:
  1. SOLVER DATA
    This is the output of the solver (stdout and stderr).
    Note that some very long lines in this section may be truncated by your web browser ! In such a case, you may want to use the "Download as text" link to get the trace as a text file.

    When the --timestamp option is passed to the runsolver program, each line output by the solver is prepended with a timestamp which indicates at what time the line was output by the solver. Times are relative to the start of the program, given in seconds. The first timestamp (if present) is estimated CPU time. The last timestamp is wall clock time.

    As some 'v lines' may be very long (sometimes several megabytes), the 'v line' output by your solver may be split on several lines to help limit the size of the trace recorded in the database. In any case, the exact output of your solver is preserved in a trace file.
  2. VERIFIER DATA
    The output of the solver is piped to a verifier program which will search a value line "v " and, if found, will check that the given interpretation satisfies all constraints.
  3. CONVERSION SCRIPT DATA (Optionnal)
    When a conversion script is used, this section shows the messages that were output by the conversion script.
  4. WATCHER DATA
    This is the informations gathered by the runsolver program. It first prints the different limits. There's a first limit on CPU time set to X seconds (see the parameters in the trace). After this time has ellapsed, runsolver sends a SIGTERM and 2 seconds later a SIGKILL to the solver. For safety, there's also another limit set to X+30 seconds which will send a SIGXPU to the solver. The last limit is on the virtual memory used by the process (see the parameters in the trace).
    Every ten seconds, the runsolver process fetches the content of /proc/loadavg, /proc/pid/stat and /proc/pid/statm (see man proc) and prints it as raw data. This is only recorded in case we need to investigate the behaviour of a solver. The memory used by the solver (vsize) is also given every ten seconds.
    When the solver exits, runsolver prints some informations such as status and time. CPU usage is the ratio CPU Time/Real Time.
  5. LAUNCHER DATA
    These informations are related to the script which will launch the solver. The most important informations are the command line given to the solver, the md5sum of the different files and the dump of the /proc/cpuinfo and /proc/meminfo which provides some useful information on the computer.

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
minisat_cumr p-2009-03-18? (TO) 1200.06 1200.81

General information on the benchmark

Namecrafted/Hard/contest04/others/
equilarge_l4.sat05-521.reshuffled-07.cnf
MD5SUMff36f96f6b8096039d33a91da209fed4
Bench CategoryCRAFTED (crafted instances)
Best result obtained on this benchmarkUNSAT
Best CPU time to get the best result obtained on this benchmark1179.17
Satisfiable
(Un)Satisfiability was proved
Number of variables4499
Number of clauses18603
Sum of the clauses size54454
Maximum clause length3
Minimum clause length2
Number of clauses of size 10
Number of clauses of size 21355
Number of clauses of size 317248
Number of clauses of size 40
Number of clauses of size 50
Number of clauses of size over 50

Solver Data

0.00/0.00	c Parsing...
0.00/0.02	c ==============================================================================
0.00/0.02	c |           |     ORIGINAL     |              LEARNT              |          |
0.00/0.02	c | Conflicts | Clauses Literals |   Limit Clauses Literals  Lit/Cl | Progress |
0.00/0.02	c ==============================================================================
0.00/0.02	c |         0 |   18603    54454 |    5580       0        0     nan |  0.000 % |
0.00/0.14	c |         0 |   18167    66278 |      --       0       --      -- |     --   | -436/11824
0.00/0.14	c ==============================================================================
0.00/0.14	c Result  :   #vars: 2787   #clauses: 18167   #literals: 66278
0.00/0.14	c CPU time:   0.131979 s
0.00/0.14	c ==============================================================================
0.00/0.18	c This is MiniSat 2.0 beta
0.00/0.18	c WARNING: for repeatability, setting FPU to use double precision
0.00/0.18	c ============================[ Problem Statistics ]=============================
0.00/0.18	c |                                                                             |
0.00/0.18	c |  Number of variables:  2787                                                 |
0.00/0.18	c |  Number of clauses:    18167                                                |
0.00/0.20	c |  Parsing time:         0.01         s                                       |
0.15/0.20	c ============================[ Search Statistics ]==============================
0.15/0.20	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
0.15/0.20	c |           |    Vars  Clauses Literals |    Limit  Clauses Lit/Cl |          |
0.15/0.20	c ===============================================================================
0.15/0.20	c |         0 |    2787    18167    66278 |     6055        0    nan |  0.000 % |
0.15/0.21	c |       101 |    2787    18167    66278 |     6055      101     18 |  0.000 % |
0.15/0.23	c |       201 |    2787    18167    66278 |     6055      201     27 |  0.000 % |
0.15/0.24	c |       301 |    2787    18167    66278 |     6055      301     25 |  0.000 % |
0.15/0.26	c |       412 |    2787    18167    66278 |     6055      412     27 |  0.000 % |
0.15/0.26	c |       512 |    2787    18167    66278 |     6055      512     25 |  0.000 % |
0.15/0.28	c |       624 |    2787    18167    66278 |     6055      624     26 |  0.000 % |
0.15/0.30	c |       745 |    2787    18167    66278 |     6055      745     26 |  0.000 % |
0.15/0.32	c |       845 |    2787    18167    66278 |     6055      845     27 |  0.000 % |
0.15/0.33	c |       955 |    2787    18167    66278 |     6055      955     27 |  0.000 % |
0.15/0.35	c |      1076 |    2787    18167    66278 |     6055     1076     28 |  0.000 % |
0.15/0.36	c |      1209 |    2787    18167    66278 |     6055     1209     27 |  0.000 % |
0.15/0.38	c |      1310 |    2787    18167    66278 |     6055     1310     28 |  0.000 % |
0.15/0.40	c |      1420 |    2787    18167    66278 |     6055     1420     30 |  0.000 % |
0.15/0.48	c |      1541 |    2787    18167    66278 |     6055     1541     33 |  0.000 % |
0.15/0.53	c |      1674 |    2787    18167    66278 |     6055     1674     34 |  0.000 % |
0.15/0.57	c |      1820 |    2787    18167    66278 |     6055     1820     36 |  0.000 % |
0.15/0.63	c |      1920 |    2787    18167    66278 |     6055     1920     37 |  0.000 % |
0.15/0.68	c |      2030 |    2787    18167    66278 |     6055     2030     38 |  0.000 % |
0.15/0.74	c |      2151 |    2787    18167    66278 |     6055     2151     39 |  0.000 % |
0.15/0.79	c |      2285 |    2787    18167    66278 |     6055     2285     39 |  0.000 % |
0.15/0.83	c |      2431 |    2787    18167    66278 |     6055     2431     40 |  0.000 % |
0.15/0.88	c |      2591 |    2787    18167    66278 |     6055     2591     41 |  0.000 % |
0.15/0.93	c |      2692 |    2787    18167    66278 |     6055     2692     41 |  0.000 % |
0.15/0.97	c |      2803 |    2787    18167    66278 |     6055     2803     42 |  0.000 % |
0.96/1.00	c |      2924 |    2787    18167    66278 |     6055     2924     42 |  0.000 % |
0.96/1.03	c |      3057 |    2787    18167    66278 |     6055     3057     42 |  0.000 % |
0.96/1.07	c |      3205 |    2787    18167    66278 |     6055     3205     42 |  0.000 % |
0.96/1.08	c |      3365 |    2787    18167    66278 |     6055     3365     42 |  0.000 % |
1.06/1.12	c |      3542 |    2787    18167    66278 |     6055     3542     41 |  0.000 % |
1.06/1.15	c |      3642 |    2787    18167    66278 |     6055     3642     41 |  0.000 % |
1.06/1.17	c |      3754 |    2787    18167    66278 |     6055     3754     41 |  0.000 % |
1.06/1.19	c |      3875 |    2787    18167    66278 |     6055     3875     41 |  0.000 % |
1.15/1.21	c |      4009 |    2787    18167    66278 |     6055     4009     40 |  0.000 % |
1.15/1.23	c |      4156 |    2787    18167    66278 |     6055     4156     40 |  0.000 % |
1.15/1.26	c |      4317 |    2787    18167    66278 |     6055     4317     39 |  0.000 % |
1.15/1.29	c |      4493 |    2787    18167    66278 |     6055     4493     39 |  0.000 % |
1.25/1.31	c |      4688 |    2787    18167    66278 |     6055     4688     38 |  0.000 % |
1.25/1.33	c |      4788 |    2787    18167    66278 |     6055     4788     38 |  0.000 % |
1.25/1.36	c |      4899 |    2787    18167    66278 |     6055     4899     38 |  0.000 % |
1.25/1.38	c |      5020 |    2787    18167    66278 |     6055     5020     38 |  0.000 % |
1.35/1.41	c |      5154 |    2787    18167    66278 |     6055     5154     38 |  0.000 % |
1.35/1.43	c |      5301 |    2787    18167    66278 |     6055     5301     38 |  0.000 % |
1.35/1.48	c |      5462 |    2787    18167    66278 |     6055     5462     38 |  0.000 % |
1.45/1.50	c |      5638 |    2787    18167    66278 |     6055     5638     37 |  0.000 % |
1.45/1.54	c |      5831 |    2787    18167    66278 |     6055     5831     37 |  0.000 % |
1.45/1.58	c |      6043 |    2787    18167    66278 |     6055     6043     37 |  0.000 % |
1.55/1.60	c |      6144 |    2787    18167    66278 |     6055     6144     37 |  0.000 % |
1.55/1.62	c |      6254 |    2787    18167    66278 |     6055     5640     38 |  0.000 % |
1.55/1.63	c |      6375 |    2787    18167    66278 |     6055     5761     38 |  0.000 % |
1.55/1.67	c |      6508 |    2787    18167    66278 |     6055     5894     38 |  0.000 % |
1.55/1.70	c |      6655 |    2787    18167    66278 |     6055     6041     37 |  0.000 % |
1.65/1.74	c |      6816 |    2787    18167    66278 |     6055     6202     37 |  0.000 % |
1.65/1.77	c |      6992 |    2787    18167    66278 |     6055     5758     37 |  0.000 % |
1.75/1.82	c |      7186 |    2787    18167    66278 |     6055     5952     37 |  0.000 % |
1.75/1.87	c |      7399 |    2787    18167    66278 |     6055     6165     37 |  0.000 % |
1.85/1.94	c |      7632 |    2787    18167    66278 |     6055     5782     35 |  0.000 % |
1.85/1.96	c |      7732 |    2787    18167    66278 |     6055     5882     35 |  0.000 % |
1.95/2.01	c |      7842 |    2787    18167    66278 |     6055     5992     36 |  0.000 % |
1.95/2.03	c |      7964 |    2787    18167    66278 |     6055     6114     36 |  0.000 % |
1.95/2.07	c |      8098 |    2787    18167    66278 |     6055     5637     34 |  0.000 % |
2.06/2.16	c |      8244 |    2787    18167    66278 |     6055     5783     35 |  0.000 % |
2.16/2.22	c |      8404 |    2787    18167    66278 |     6055     5943     35 |  0.000 % |
2.16/2.28	c |      8580 |    2787    18167    66278 |     6055     6119     36 |  0.000 % |
2.25/2.35	c |      8774 |    2787    18167    66278 |     6055     5702     36 |  0.000 % |
2.35/2.42	c |      8986 |    2787    18167    66278 |     6055     5914     36 |  0.000 % |
2.45/2.50	c |      9219 |    2787    18167    66278 |     6055     6147     37 |  0.000 % |
2.55/2.60	c |      9475 |    2787    18167    66278 |     6055     5789     38 |  0.000 % |
2.55/2.63	c |      9575 |    2787    18167    66278 |     6055     5889     38 |  0.000 % |
2.55/2.68	c |      9686 |    2787    18167    66278 |     6055     6000     39 |  0.000 % |
2.65/2.72	c |      9808 |    2787    18167    66278 |     6055     6122     39 |  0.000 % |
2.65/2.80	c |      9943 |    2787    18167    66278 |     6055     5645     40 |  0.000 % |
2.79/2.87	c |     10090 |    2787    18167    66278 | 2147483647     5792     41 |  0.000 % |
2.79/2.94	c |     10251 |    2787    18167    66278 | 2147483647     5953     41 |  0.000 % |
2.79/3.03	c |     10427 |    2787    18167    66278 | 2147483647     6129     42 |  0.000 % |
2.99/3.14	c |     10620 |    2787    18167    66278 | 2147483647     6322     42 |  0.000 % |
2.99/3.28	c |     10832 |    2787    18167    66278 | 2147483647     6534     43 |  0.000 % |
3.26/3.41	c |     11066 |    2787    18167    66278 | 2147483647     6768     43 |  0.000 % |
3.26/3.50	c |     11322 |    2787    18167    66278 | 2147483647     7024     44 |  0.000 % |
3.50/3.58	c |     11603 |    2787    18167    66278 | 2147483647     7305     44 |  0.000 % |
3.55/3.65	c |     11704 |    2787    18167    66278 | 2147483647     7406     44 |  0.000 % |
3.65/3.72	c |     11814 |    2787    18167    66278 | 2147483647     7516     44 |  0.000 % |
3.65/3.77	c |     11936 |    2787    18167    66278 | 2147483647     7638     45 |  0.000 % |
3.75/3.81	c |     12071 |    2787    18167    66278 | 2147483647     7773     45 |  0.000 % |
3.75/3.87	c |     12218 |    2787    18167    66278 | 2147483647     7920     45 |  0.000 % |
3.85/3.96	c |     12379 |    2787    18167    66278 | 2147483647     8081     45 |  0.000 % |
3.95/4.03	c |     12555 |    2787    18167    66278 | 2147483647     8257     45 |  0.000 % |
4.05/4.14	c |     12749 |    2787    18167    66278 | 2147483647     8451     46 |  0.000 % |
4.15/4.21	c |     12961 |    2787    18167    66278 | 2147483647     8663     46 |  0.000 % |
4.15/4.29	c |     13195 |    2787    18167    66278 | 2147483647     8897     46 |  0.000 % |
4.25/4.37	c |     13451 |    2787    18167    66278 | 2147483647     9153     46 |  0.000 % |
4.35/4.47	c |     13734 |    2787    18167    66278 | 2147483647     9436     47 |  0.000 % |
4.54/4.69	c |     14043 |    2787    18167    66278 | 2147483647     9745     47 |  0.000 % |
4.65/4.73	c |     14144 |    2787    18167    66278 | 2147483647     9846     47 |  0.000 % |
4.74/4.81	c |     14254 |    2787    18167    66278 | 2147483647     9956     47 |  0.000 % |
4.74/4.86	c |     14375 |    2787    18167    66278 | 2147483647    10077     47 |  0.000 % |
4.83/4.90	c |     14509 |    2787    18167    66278 | 2147483647    10211     47 |  0.000 % |
4.83/4.97	c |     14657 |    2787    18167    66278 | 2147483647    10359     47 |  0.000 % |
4.93/5.01	c |     14818 |    2787    18167    66278 | 2147483647    10520     48 |  0.000 % |
4.93/5.05	c |     14994 |    2787    18167    66278 | 2147483647    10696     48 |  0.000 % |
5.03/5.13	c |     15188 |    2787    18167    66278 | 2147483647    10890     48 |  0.000 % |
5.03/5.18	c |     15401 |    2787    18167    66278 | 2147483647    11103     48 |  0.000 % |
5.13/5.24	c |     15635 |    2787    18167    66278 | 2147483647    11337     48 |  0.000 % |
5.23/5.33	c |     15891 |    2787    18167    66278 | 2147483647    11593     48 |  0.000 % |
5.33/5.43	c |     16172 |    2787    18167    66278 | 2147483647    11874     48 |  0.000 % |
5.43/5.52	c |     16481 |    2787    18167    66278 | 2147483647    12183     48 |  0.000 % |
5.63/5.76	c |     16821 |    2787    18167    66278 | 2147483647    12523     49 |  0.000 % |
5.63/5.80	c |     16922 |    2787    18167    66278 | 2147483647    12624     49 |  0.000 % |
5.73/5.83	c |     17032 |    2787    18167    66278 | 2147483647    12734     49 |  0.000 % |
5.73/5.88	c |     17153 |    2787    18167    66278 | 2147483647    12855     49 |  0.000 % |
5.83/5.92	c |     17287 |    2787    18167    66278 | 2147483647    12989     49 |  0.000 % |
5.93/6.00	c |     17434 |    2787    18167    66278 | 2147483647    13136     49 |  0.000 % |
5.93/6.04	c |     17594 |    2787    18167    66278 | 2147483647    13296     49 |  0.000 % |
6.03/6.10	c |     17771 |    2787    18167    66278 | 2147483647    13473     49 |  0.000 % |
6.13/6.20	c |     17966 |    2787    18167    66278 | 2147483647    13668     49 |  0.000 % |
6.13/6.27	c |     18178 |    2787    18167    66278 | 2147483647    13880     49 |  0.000 % |
6.23/6.36	c |     18412 |    2787    18167    66278 | 2147483647    14114     49 |  0.000 % |
6.33/6.44	c |     18668 |    2787    18167    66278 | 2147483647    14370     49 |  0.000 % |
6.43/6.55	c |     18950 |    2787    18167    66278 | 2147483647    14652     49 |  0.000 % |
6.53/6.68	c |     19262 |    2787    18167    66278 | 2147483647    14964     50 |  0.000 % |
6.73/6.80	c |     19602 |    2787    18167    66278 | 2147483647    15304     50 |  0.000 % |
6.83/6.95	c |     19974 |    2787    18167    66278 | 2147483647    15676     50 |  0.000 % |
6.83/6.98	c |     20074 |    2787    18167    66278 | 2147483647    15776     50 |  0.000 % |
6.93/7.03	c |     20186 |    2787    18167    66278 | 2147483647    15888     50 |  0.000 % |
6.93/7.08	c |     20308 |    2787    18167    66278 | 2147483647    16010     50 |  0.000 % |
7.03/7.13	c |     20442 |    2787    18167    66278 | 2147483647    16144     50 |  0.000 % |
7.03/7.17	c |     20588 |    2787    18167    66278 | 2147483647    16290     50 |  0.000 % |
7.13/7.22	c |     20748 |    2787    18167    66278 | 2147483647    16450     50 |  0.000 % |
7.13/7.26	c |     20925 |    2787    18167    66278 | 2147483647    16627     50 |  0.000 % |
7.23/7.32	c |     21118 |    2787    18167    66278 | 2147483647    16820     50 |  0.000 % |
7.23/7.37	c |     21331 |    2787    18167    66278 | 2147483647    17033     50 |  0.000 % |
7.33/7.43	c |     21565 |    2787    18167    66278 | 2147483647    17267     50 |  0.000 % |
7.43/7.54	c |     21823 |    2787    18167    66278 | 2147483647    17525     50 |  0.000 % |
7.53/7.63	c |     22104 |    2787    18167    66278 | 2147483647    17806     50 |  0.000 % |
7.63/7.73	c |     22413 |    2787    18167    66278 | 2147483647    18115     50 |  0.000 % |
7.73/7.84	c |     22752 |    2787    18167    66278 | 2147483647    18454     50 |  0.000 % |
7.83/7.97	c |     23126 |    2787    18167    66278 | 2147483647    18828     50 |  0.000 % |
8.04/8.12	c |     23535 |    2787    18167    66278 | 2147483647    19237     50 |  0.000 % |
8.04/8.15	c |     23635 |    2787    18167    66278 | 2147483647    19337     50 |  0.000 % |
8.04/8.19	c |     23745 |    2787    18167    66278 | 2147483647    19447     50 |  0.000 % |
8.13/8.25	c |     23867 |    2787    18167    66278 | 2147483647    19569     50 |  0.000 % |
8.23/8.31	c |     24001 |    2787    18167    66278 | 2147483647    19703     51 |  0.000 % |
8.33/8.41	c |     24148 |    2787    18167    66278 | 2147483647    19850     51 |  0.000 % |
8.33/8.47	c |     24308 |    2787    18167    66278 | 2147483647    20010     51 |  0.000 % |
8.43/8.53	c |     24490 |    2787    18167    66278 | 2147483647    20192     51 |  0.000 % |
8.53/8.60	c |     24683 |    2787    18167    66278 | 2147483647    20385     51 |  0.000 % |
8.53/8.67	c |     24895 |    2787    18167    66278 | 2147483647    20597     51 |  0.000 % |
8.63/8.75	c |     25128 |    2787    18167    66278 | 2147483647    20830     51 |  0.000 % |
8.73/8.84	c |     25385 |    2787    18167    66278 | 2147483647    21087     51 |  0.000 % |
8.83/8.94	c |     25668 |    2787    18167    66278 | 2147483647    21370     51 |  0.000 % |
8.93/9.05	c |     25978 |    2787    18167    66278 | 2147483647    21680     51 |  0.000 % |
9.03/9.18	c |     26318 |    2787    18167    66278 | 2147483647    22020     51 |  0.000 % |
9.23/9.33	c |     26691 |    2787    18167    66278 | 2147483647    22393     51 |  0.000 % |
9.53/9.69	c |     27100 |    2787    18167    66278 | 2147483647    22802     51 |  0.000 % |
9.93/10.00	c |     27549 |    2787    18167    66278 | 2147483647    23251     51 |  0.000 % |
9.93/10.06	c |     27650 |    2787    18167    66278 | 2147483647    23352     51 |  0.000 % |
10.03/10.10	c |     27760 |    2787    18167    66278 | 2147483647    23462     51 |  0.000 % |
10.03/10.15	c |     27882 |    2787    18167    66278 | 2147483647    23584     51 |  0.000 % |
10.03/10.20	c |     28016 |    2787    18167    66278 | 2147483647    23718     51 |  0.000 % |
10.13/10.29	c |     28162 |    2787    18167    66278 | 2147483647    23864     51 |  0.000 % |
10.23/10.37	c |     28322 |    2787    18167    66278 | 2147483647    24024     51 |  0.000 % |
10.32/10.47	c |     28499 |    2787    18167    66278 | 2147483647    24201     51 |  0.000 % |
10.42/10.56	c |     28692 |    2787    18167    66278 | 2147483647    24394     51 |  0.000 % |
10.52/10.65	c |     28904 |    2787    18167    66278 | 2147483647    24606     51 |  0.000 % |
10.62/10.76	c |     29137 |    2787    18167    66278 | 2147483647    24839     51 |  0.000 % |
10.72/10.89	c |     29394 |    2787    18167    66278 | 2147483647    25096     51 |  0.000 % |
10.92/11.02	c |     29676 |    2787    18167    66278 | 2147483647    25378     51 |  0.000 % |
11.02/11.15	c |     29985 |    2787    18167    66278 | 2147483647    25687     51 |  0.000 % |
11.12/11.29	c |     30324 |    2787    18167    66278 | 2147483647    26026     51 |  0.000 % |
11.33/11.49	c |     30696 |    2787    18167    66278 | 2147483647    26398     51 |  0.000 % |
11.53/11.66	c |     31105 |    2787    18167    66278 | 2147483647    26807     51 |  0.000 % |
11.83/11.94	c |     31554 |    2787    18167    66278 | 2147483647    27256     52 |  0.000 % |
12.13/12.22	c |     32048 |    2787    18167    66278 | 2147483647    27750     52 |  0.000 % |
12.13/12.27	c |     32148 |    2787    18167    66278 | 2147483647    27850     52 |  0.000 % |
12.23/12.32	c |     32258 |    2787    18167    66278 | 2147483647    27960     52 |  0.000 % |
12.23/12.38	c |     32380 |    2787    18167    66278 | 2147483647    28082     52 |  0.000 % |
12.33/12.42	c |     32515 |    2787    18167    66278 | 2147483647    28217     52 |  0.000 % |
12.43/12.53	c |     32661 |    2787    18167    66278 | 2147483647    28363     52 |  0.000 % |
12.43/12.59	c |     32821 |    2787    18167    66278 | 2147483647    28523     52 |  0.000 % |
12.53/12.66	c |     32997 |    2787    18167    66278 | 2147483647    28699     52 |  0.000 % |
12.63/12.74	c |     33191 |    2787    18167    66278 | 2147483647    28893     52 |  0.000 % |
12.73/12.82	c |     33404 |    2787    18167    66278 | 2147483647    29106     52 |  0.000 % |
12.82/12.93	c |     33638 |    2787    18167    66278 | 2147483647    29340     52 |  0.000 % |
12.92/13.03	c |     33894 |    2787    18167    66278 | 2147483647    29596     52 |  0.000 % |
13.02/13.15	c |     34175 |    2787    18167    66278 | 2147483647    29877     52 |  0.000 % |
13.12/13.27	c |     34484 |    2787    18167    66278 | 2147483647    30186     52 |  0.000 % |
13.32/13.44	c |     34824 |    2787    18167    66278 | 2147483647    30526     52 |  0.000 % |
13.52/13.69	c |     35196 |    2787    18167    66278 | 2147483647    30898     52 |  0.000 % |
13.72/13.87	c |     35606 |    2787    18167    66278 | 2147483647    31308     52 |  0.000 % |
13.92/14.09	c |     36056 |    2787    18167    66278 | 2147483647    31758     52 |  0.000 % |
14.32/14.45	c |     36550 |    2787    18167    66278 | 2147483647    32252     52 |  0.000 % |
14.62/14.78	c |     37092 |    2787    18167    66278 | 2147483647    32794     52 |  0.000 % |
14.71/14.86	c |     37192 |    2787    18167    66278 | 2147483647    32894     52 |  0.000 % |
14.81/14.95	c |     37304 |    2787    18167    66278 | 2147483647    33006     52 |  0.000 % |
14.91/15.01	c |     37425 |    2787    18167    66278 | 2147483647    33127     52 |  0.000 % |
14.91/15.09	c |     37559 |    2787    18167    66278 | 2147483647    33261     52 |  0.000 % |
15.01/15.16	c |     37705 |    2787    18167    66278 | 2147483647    33407     52 |  0.000 % |
15.11/15.25	c |     37866 |    2787    18167    66278 | 2147483647    33568     52 |  0.000 % |
15.21/15.34	c |     38042 |    2787    18167    66278 | 2147483647    33744     52 |  0.000 % |
15.31/15.43	c |     38235 |    2787    18167    66278 | 2147483647    33937     52 |  0.000 % |
15.51/15.64	c |     38448 |    2787    18167    66278 | 2147483647    34150     52 |  0.000 % |
15.62/15.75	c |     38682 |    2787    18167    66278 | 2147483647    34384     52 |  0.000 % |
15.82/15.90	c |     38938 |    2787    18167    66278 | 2147483647    34640     52 |  0.000 % |
15.92/16.03	c |     39219 |    2787    18167    66278 | 2147483647    34921     52 |  0.000 % |
16.02/16.18	c |     39528 |    2787    18167    66278 | 2147483647    35230     52 |  0.000 % |
16.32/16.40	c |     39868 |    2787    18167    66278 | 2147483647    35570     52 |  0.000 % |
16.52/16.60	c |     40241 |    2787    18167    66278 | 2147483647    35943     52 |  0.000 % |
16.72/16.81	c |     40651 |    2787    18167    66278 | 2147483647    36353     52 |  0.000 % |
16.92/17.09	c |     41101 |    2787    18167    66278 | 2147483647    36803     52 |  0.000 % |
17.22/17.32	c |     41594 |    2787    18167    66278 | 2147483647    37296     52 |  0.000 % |
17.52/17.64	c |     42139 |    2787    18167    66278 | 2147483647    37841     52 |  0.000 % |
17.92/18.04	c |     42735 |    2787    18167    66278 | 2147483647    38437     52 |  0.000 % |
18.02/18.10	c |     42835 |    2787    18167    66278 | 2147483647    38537     52 |  0.000 % |
18.12/18.23	c |     42945 |    2787    18167    66278 | 2147483647    38647     53 |  0.000 % |
18.12/18.29	c |     43067 |    2787    18167    66278 | 2147483647    38769     53 |  0.000 % |
18.22/18.39	c |     43201 |    2787    18167    66278 | 2147483647    38903     53 |  0.000 % |
18.32/18.47	c |     43348 |    2787    18167    66278 | 2147483647    39050     53 |  0.000 % |
18.42/18.54	c |     43509 |    2787    18167    66278 | 2147483647    39211     53 |  0.000 % |
18.52/18.66	c |     43685 |    2787    18167    66278 | 2147483647    39387     53 |  0.000 % |
18.62/18.78	c |     43880 |    2787    18167    66278 | 2147483647    39582     53 |  0.000 % |
18.72/18.89	c |     44092 |    2787    18167    66278 | 2147483647    39794     53 |  0.000 % |
18.92/19.06	c |     44325 |    2787    18167    66278 | 2147483647    40027     53 |  0.000 % |
19.02/19.19	c |     44582 |    2787    18167    66278 | 2147483647    40284     53 |  0.000 % |
19.22/19.36	c |     44864 |    2787    18167    66278 | 2147483647    40566     53 |  0.000 % |
19.42/19.51	c |     45174 |    2787    18167    66278 | 2147483647    40876     53 |  0.000 % |
19.62/19.71	c |     45514 |    2787    18167    66278 | 2147483647    41216     53 |  0.000 % |
19.82/19.94	c |     45887 |    2787    18167    66278 | 2147483647    41589     53 |  0.000 % |
20.02/20.18	c |     46297 |    2787    18167    66278 | 2147483647    41999     53 |  0.000 % |
20.32/20.41	c |     46746 |    2787    18167    66278 | 2147483647    42448     53 |  0.000 % |
20.52/20.69	c |     47240 |    2787    18167    66278 | 2147483647    42942     53 |  0.000 % |
20.91/21.01	c |     47782 |    2787    18167    66278 | 2147483647    43484     53 |  0.000 % |
21.22/21.34	c |     48378 |    2787    18167    66278 | 2147483647    44080     53 |  0.000 % |
21.61/21.71	c |     49034 |    2787    18167    66278 | 2147483647    44736     53 |  0.000 % |
21.61/21.79	c |     49135 |    2787    18167    66278 | 2147483647    44837     53 |  0.000 % |
21.71/21.87	c |     49246 |    2787    18167    66278 | 2147483647    44948     53 |  0.000 % |
21.81/21.95	c |     49368 |    2787    18167    66278 | 2147483647    45070     53 |  0.000 % |
21.91/22.05	c |     49501 |    2787    18167    66278 | 2147483647    45203     53 |  0.000 % |
22.01/22.18	c |     49648 |    2787    18167    66278 | 2147483647    45350     53 |  0.000 % |
22.11/22.28	c |     49809 |    2787    18167    66278 | 2147483647    45511     53 |  0.000 % |
22.22/22.40	c |     49985 |    2787    18167    66278 | 2147483647    45687     53 |  0.000 % |
22.41/22.53	c |     50178 |    2787    18167    66278 | 2147483647    45880     53 |  0.000 % |
22.51/22.66	c |     50391 |    2787    18167    66278 | 2147483647    46093     53 |  0.000 % |
22.71/22.80	c |     50626 |    2787    18167    66278 | 2147483647    46328     53 |  0.000 % |
22.81/22.96	c |     50883 |    2787    18167    66278 | 2147483647    46585     53 |  0.000 % |
23.01/23.16	c |     51164 |    2787    18167    66278 | 2147483647    46866     53 |  0.000 % |
23.32/23.40	c |     51473 |    2787    18167    66278 | 2147483647    47175     53 |  0.000 % |
23.42/23.57	c |     51814 |    2787    18167    66278 | 2147483647    47516     53 |  0.000 % |
23.71/23.80	c |     52188 |    2787    18167    66278 | 2147483647    47890     53 |  0.000 % |
24.01/24.12	c |     52598 |    2787    18167    66278 | 2147483647    48300     53 |  0.000 % |
24.31/24.48	c |     53048 |    2787    18167    66278 | 2147483647    48750     53 |  0.000 % |
24.71/24.86	c |     53541 |    2787    18167    66278 | 2147483647    49243     53 |  0.000 % |
25.11/25.26	c |     54084 |    2787    18167    66278 | 2147483647    49786     53 |  0.000 % |
25.51/25.69	c |     54681 |    2787    18167    66278 | 2147483647    50383     53 |  0.000 % |
26.01/26.14	c |     55337 |    2787    18167    66278 | 2147483647    51039     53 |  0.000 % |
26.50/26.67	c |     56059 |    2787    18167    66278 | 2147483647    51761     53 |  0.000 % |
26.61/26.78	c |     56161 |    2787    18167    66278 | 2147483647    51863     53 |  0.000 % |
26.71/26.89	c |     56271 |    2787    18167    66278 | 2147483647    51973     53 |  0.000 % |
26.90/27.01	c |     56394 |    2787    18167    66278 | 2147483647    52096     53 |  0.000 % |
27.00/27.10	c |     56528 |    2787    18167    66278 | 2147483647    52230     53 |  0.000 % |
27.10/27.23	c |     56675 |    2787    18167    66278 | 2147483647    52377     53 |  0.000 % |
27.20/27.34	c |     56837 |    2787    18167    66278 | 2147483647    52539     53 |  0.000 % |
27.31/27.46	c |     57015 |    2787    18167    66278 | 2147483647    52717     53 |  0.000 % |
27.50/27.62	c |     57208 |    2787    18167    66278 | 2147483647    52910     53 |  0.000 % |
27.60/27.78	c |     57420 |    2787    18167    66278 | 2147483647    53122     53 |  0.000 % |
27.81/27.95	c |     57653 |    2787    18167    66278 | 2147483647    53355     54 |  0.000 % |
28.10/28.24	c |     57909 |    2787    18167    66278 | 2147483647    53611     54 |  0.000 % |
28.30/28.41	c |     58190 |    2787    18167    66278 | 2147483647    53892     54 |  0.000 % |
28.60/28.72	c |     58500 |    2787    18167    66278 | 2147483647    54202     53 |  0.000 % |
28.91/29.02	c |     58840 |    2787    18167    66278 | 2147483647    54542     53 |  0.000 % |
29.10/29.29	c |     59212 |    2787    18167    66278 | 2147483647    54914     54 |  0.000 % |
29.40/29.57	c |     59622 |    2787    18167    66278 | 2147483647    55324     54 |  0.000 % |
29.70/29.88	c |     60075 |    2787    18167    66278 | 2147483647    55777     54 |  0.000 % |
30.20/30.31	c |     60570 |    2787    18167    66278 | 2147483647    56272     54 |  0.000 % |
30.60/30.77	c |     61112 |    2787    18167    66278 | 2147483647    56814     54 |  0.000 % |
31.11/31.21	c |     61709 |    2787    18167    66278 | 2147483647    57411     54 |  0.000 % |
31.91/32.10	c |     62365 |    2787    18167    66278 | 2147483647    58067     54 |  0.000 % |
32.91/33.06	c |     63085 |    2787    18167    66278 | 2147483647    58787     54 |  0.000 % |
33.71/33.88	c |     63878 |    2787    18167    66278 | 2147483647    59580     54 |  0.000 % |
33.81/33.96	c |     63979 |    2787    18167    66278 | 2147483647    59681     54 |  0.000 % |
33.91/34.05	c |     64089 |    2787    18167    66278 | 2147483647    59791     54 |  0.000 % |
34.11/34.21	c |     64212 |    2787    18167    66278 | 2147483647    59914     54 |  0.000 % |
34.21/34.33	c |     64347 |    2787    18167    66278 | 2147483647    60049     54 |  0.000 % |
34.31/34.49	c |     64493 |    2787    18167    66278 | 2147483647    60195     54 |  0.000 % |
34.50/34.63	c |     64653 |    2787    18167    66278 | 2147483647    60355     54 |  0.000 % |
34.60/34.77	c |     64830 |    2787    18167    66278 | 2147483647    60532     54 |  0.000 % |
34.80/34.98	c |     65023 |    2787    18167    66278 | 2147483647    60725     54 |  0.000 % |
35.00/35.17	c |     65236 |    2787    18167    66278 | 2147483647    60938     54 |  0.000 % |
35.10/35.24	c |     65470 |    2787    18167    66278 | 2147483647    61172     54 |  0.000 % |
35.40/35.50	c |     65727 |    2787    18167    66278 | 2147483647    61429     54 |  0.000 % |
35.60/35.70	c |     66008 |    2787    18167    66278 | 2147483647    61710     53 |  0.000 % |
35.80/35.97	c |     66317 |    2787    18167    66278 | 2147483647    62019     53 |  0.000 % |
36.10/36.21	c |     66657 |    2787    18167    66278 | 2147483647    62359     53 |  0.000 % |
36.30/36.49	c |     67029 |    2787    18167    66278 | 2147483647    62731     53 |  0.000 % |
36.50/36.70	c |     67439 |    2787    18167    66278 | 2147483647    63141     53 |  0.000 % |
36.99/37.14	c |     67889 |    2787    18167    66278 | 2147483647    63591     53 |  0.000 % |
37.29/37.44	c |     68382 |    2787    18167    66278 | 2147483647    64084     53 |  0.000 % |
37.49/37.62	c |     68924 |    2787    18167    66278 | 2147483647    64626     52 |  0.000 % |
37.70/37.84	c |     69521 |    2787    18167    66278 | 2147483647    65223     52 |  0.000 % |
37.99/38.16	c |     70178 |    2787    18167    66278 | 2147483647    65880     52 |  0.000 % |
38.59/38.71	c |     70898 |    2787    18167    66278 | 2147483647    66600     52 |  0.000 % |
39.09/39.22	c |     71690 |    2787    18167    66278 | 2147483647    67392     52 |  0.000 % |
39.70/39.85	c |     72561 |    2787    18167    66278 | 2147483647    68263     51 |  0.000 % |
39.80/39.94	c |     72662 |    2787    18167    66278 | 2147483647    68364     51 |  0.000 % |
39.90/40.06	c |     72772 |    2787    18167    66278 | 2147483647    68474     51 |  0.000 % |
40.00/40.14	c |     72894 |    2787    18167    66278 | 2147483647    68596     51 |  0.000 % |
40.10/40.24	c |     73028 |    2787    18167    66278 | 2147483647    68730     51 |  0.000 % |
40.30/40.40	c |     73174 |    2787    18167    66278 | 2147483647    68876     51 |  0.000 % |
40.30/40.49	c |     73334 |    2787    18167    66278 | 2147483647    69036     51 |  0.000 % |
40.50/40.65	c |     73510 |    2787    18167    66278 | 2147483647    69212     51 |  0.000 % |
40.70/40.83	c |     73703 |    2787    18167    66278 | 2147483647    69405     51 |  0.000 % |
41.00/41.11	c |     73915 |    2787    18167    66278 | 2147483647    69617     51 |  0.000 % |
41.10/41.26	c |     74149 |    2787    18167    66278 | 2147483647    69851     51 |  0.000 % |
41.40/41.52	c |     74407 |    2787    18167    66278 | 2147483647    70109     51 |  0.000 % |
41.50/41.64	c |     74688 |    2787    18167    66278 | 2147483647    70390     51 |  0.000 % |
41.89/42.05	c |     74998 |    2787    18167    66278 | 2147483647    70700     51 |  0.000 % |
42.10/42.24	c |     75338 |    2787    18167    66278 | 2147483647    71040     51 |  0.000 % |
42.29/42.44	c |     75712 |    2787    18167    66278 | 2147483647    71414     51 |  0.000 % |
42.50/42.67	c |     76122 |    2787    18167    66278 | 2147483647    71824     50 |  0.000 % |
42.80/42.95	c |     76572 |    2787    18167    66278 | 2147483647    72274     50 |  0.000 % |
43.20/43.38	c |     77066 |    2787    18167    66278 | 2147483647    72768     50 |  0.000 % |
43.49/43.69	c |     77609 |    2787    18167    66278 | 2147483647    73311     50 |  0.000 % |
43.99/44.11	c |     78205 |    2787    18167    66278 | 2147483647    73907     50 |  0.000 % |
44.39/44.56	c |     78860 |    2787    18167    66278 | 2147483647    74562     50 |  0.000 % |
44.79/44.92	c |     79580 |    2787    18167    66278 | 2147483647    75282     50 |  0.000 % |
45.59/45.70	c |     80372 |    2787    18167    66278 | 2147483647    76074     50 |  0.000 % |
46.09/46.20	c |     81243 |    2787    18167    66278 | 2147483647    76945     49 |  0.000 % |
47.09/47.29	c |     82201 |    2787    18167    66278 | 2147483647    77903     49 |  0.000 % |
47.19/47.36	c |     82301 |    2787    18167    66278 | 2147483647    78003     49 |  0.000 % |
47.29/47.46	c |     82411 |    2787    18167    66278 | 2147483647    78113     49 |  0.000 % |
47.39/47.54	c |     82533 |    2787    18167    66278 | 2147483647    78235     49 |  0.000 % |
47.49/47.67	c |     82666 |    2787    18167    66278 | 2147483647    78368     49 |  0.000 % |
47.59/47.78	c |     82813 |    2787    18167    66278 | 2147483647    78515     49 |  0.000 % |
47.79/47.93	c |     82974 |    2787    18167    66278 | 2147483647    78676     49 |  0.000 % |
47.89/48.02	c |     83151 |    2787    18167    66278 | 2147483647    78853     49 |  0.000 % |
47.99/48.18	c |     83344 |    2787    18167    66278 | 2147483647    79046     49 |  0.000 % |
48.19/48.31	c |     83557 |    2787    18167    66278 | 2147483647    79259     49 |  0.000 % |
48.39/48.55	c |     83790 |    2787    18167    66278 | 2147483647    79492     49 |  0.000 % |
48.59/48.77	c |     84046 |    2787    18167    66278 | 2147483647    79748     49 |  0.000 % |
48.79/48.97	c |     84327 |    2787    18167    66278 | 2147483647    80029     49 |  0.000 % |
49.09/49.22	c |     84636 |    2787    18167    66278 | 2147483647    80338     49 |  0.000 % |
49.29/49.47	c |     84976 |    2787    18167    66278 | 2147483647    80678     49 |  0.000 % |
49.59/49.72	c |     85348 |    2787    18167    66278 | 2147483647    81050     49 |  0.000 % |
49.79/49.94	c |     85757 |    2787    18167    66278 | 2147483647    81459     49 |  0.000 % |
49.98/50.17	c |     86207 |    2787    18167    66278 | 2147483647    81909     48 |  0.000 % |
50.48/50.68	c |     86701 |    2787    18167    66278 | 2147483647    82403     48 |  0.000 % |
50.79/50.92	c |     87244 |    2787    18167    66278 | 2147483647    82946     48 |  0.000 % |
51.28/51.41	c |     87840 |    2787    18167    66278 | 2147483647    83542     48 |  0.000 % |
51.58/51.70	c |     88496 |    2787    18167    66278 | 2147483647    84198     48 |  0.000 % |
52.18/52.34	c |     89217 |    2787    18167    66278 | 2147483647    84919     48 |  0.000 % |
52.68/52.89	c |     90010 |    2787    18167    66278 |    85702    85712     48 |  0.000 % |
53.48/53.66	c |     90881 |    2787    18167    66278 |    85702    75379     47 |  0.000 % |
54.08/54.26	c |     91839 |    2787    18167    66278 |    85702    76337     47 |  0.000 % |
54.88/55.04	c |     92892 |    2787    18167    66278 |    85702    77390     47 |  0.000 % |
54.88/55.09	c |     92994 |    2787    18167    66278 |    85702    77492     47 |  0.000 % |
54.98/55.19	c |     93104 |    2787    18167    66278 |    85702    77602     47 |  0.000 % |
55.08/55.24	c |     93225 |    2787    18167    66278 |    85702    77723     47 |  0.000 % |
55.18/55.35	c |     93358 |    2787    18167    66278 |    85702    77856     47 |  0.000 % |
55.28/55.42	c |     93505 |    2787    18167    66278 |    85702    78003     46 |  0.000 % |
55.48/55.61	c |     93665 |    2787    18167    66278 |    85702    78163     46 |  0.000 % |
55.58/55.72	c |     93842 |    2787    18167    66278 |    85702    78340     46 |  0.000 % |
55.68/55.87	c |     94035 |    2787    18167    66278 |    85702    78533     46 |  0.000 % |
55.88/56.04	c |     94248 |    2787    18167    66278 |    85702    78746     46 |  0.000 % |
56.08/56.21	c |     94481 |    2787    18167    66278 |    85702    78979     46 |  0.000 % |
56.18/56.39	c |     94737 |    2787    18167    66278 |    85702    79235     46 |  0.000 % |
56.38/56.59	c |     95020 |    2787    18167    66278 |    85702    79518     46 |  0.000 % |
56.68/56.84	c |     95330 |    2787    18167    66278 |    85702    79828     46 |  0.000 % |
56.88/57.05	c |     95670 |    2787    18167    66278 |    85702    80168     46 |  0.000 % |
57.08/57.23	c |     96043 |    2787    18167    66278 |    85702    80541     46 |  0.000 % |
57.38/57.58	c |     96452 |    2787    18167    66278 |    85702    80950     46 |  0.000 % |
57.68/57.84	c |     96902 |    2787    18167    66278 |    85702    81400     46 |  0.000 % |
58.08/58.28	c |     97395 |    2787    18167    66278 |    85702    81893     46 |  0.000 % |
58.58/58.72	c |     97938 |    2787    18167    66278 |    85702    82436     46 |  0.000 % |
58.98/59.16	c |     98534 |    2787    18167    66278 |    85702    83032     46 |  0.000 % |
59.48/59.61	c |     99189 |    2787    18167    66278 |    85702    83687     46 |  0.000 % |
59.98/60.12	c |     99909 |    2787    18167    66278 |    85702    84407     46 |  0.000 % |
60.38/60.57	c |    100701 |    2787    18167    66278 |    84499    85199     45 |  0.000 % |
61.18/61.32	c |    101572 |    2787    18167    66278 |    84499    70797     43 |  0.000 % |
61.58/61.72	c |    102531 |    2787    18167    66278 |    84499    71756     42 |  0.000 % |
62.17/62.39	c |    103584 |    2787    18167    66278 |    84499    72809     42 |  0.000 % |
62.77/62.93	c |    104743 |    2787    18167    66278 |    84499    73968     42 |  0.000 % |
62.88/63.03	c |    104844 |    2787    18167    66278 |    84499    74069     42 |  0.000 % |
62.88/63.08	c |    104955 |    2787    18167    66278 |    84499    74180     42 |  0.000 % |
62.98/63.16	c |    105077 |    2787    18167    66278 |    84499    74302     42 |  0.000 % |
63.08/63.21	c |    105211 |    2787    18167    66278 |    84499    74436     42 |  0.000 % |
63.18/63.38	c |    105357 |    2787    18167    66278 |    84499    74582     42 |  0.000 % |
63.37/63.53	c |    105518 |    2787    18167    66278 |    84499    74743     42 |  0.000 % |
63.57/63.73	c |    105694 |    2787    18167    66278 |    84499    74919     42 |  0.000 % |
63.77/63.91	c |    105887 |    2787    18167    66278 |    84499    75112     42 |  0.000 % |
63.98/64.10	c |    106100 |    2787    18167    66278 |    84499    75325     42 |  0.000 % |
64.08/64.29	c |    106333 |    2787    18167    66278 |    84499    75558     42 |  0.000 % |
64.47/64.61	c |    106589 |    2787    18167    66278 |    84499    75814     42 |  0.000 % |
64.67/64.89	c |    106872 |    2787    18167    66278 |    84499    76097     42 |  0.000 % |
65.18/65.35	c |    107181 |    2787    18167    66278 |    84499    76406     42 |  0.000 % |
65.47/65.65	c |    107521 |    2787    18167    66278 |    84499    76746     42 |  0.000 % |
65.97/66.17	c |    107895 |    2787    18167    66278 |    84499    77120     43 |  0.000 % |
66.37/66.53	c |    108305 |    2787    18167    66278 |    84499    77530     43 |  0.000 % |
66.87/67.06	c |    108755 |    2787    18167    66278 |    84499    77980     43 |  0.000 % |
67.37/67.55	c |    109248 |    2787    18167    66278 |    84499    78473     43 |  0.000 % |
67.87/68.06	c |    109790 |    2787    18167    66278 |    84499    79015     43 |  0.000 % |
68.57/68.76	c |    110386 |    2787    18167    66278 |    79225    69836     41 |  0.000 % |
69.27/69.41	c |    111042 |    2787    18167    66278 |    79225    70492     41 |  0.000 % |
69.87/70.02	c |    111762 |    2787    18167    66278 |    79225    71212     41 |  0.000 % |
70.67/70.84	c |    112555 |    2787    18167    66278 |    79225    72005     41 |  0.000 % |
71.57/71.74	c |    113427 |    2787    18167    66278 |    79225    72877     42 |  0.000 % |
72.47/72.66	c |    114386 |    2787    18167    66278 |    79225    73836     42 |  0.000 % |
73.47/73.66	c |    115439 |    2787    18167    66278 |    79225    74889     42 |  0.000 % |
74.57/74.77	c |    116598 |    2787    18167    66278 |    79225    76048     42 |  0.000 % |
76.17/76.34	c |    117871 |    2787    18167    66278 |    79225    77321     42 |  0.000 % |
76.27/76.46	c |    117972 |    2787    18167    66278 |    79225    77422     42 |  0.000 % |
76.37/76.58	c |    118083 |    2787    18167    66278 |    79225    77533     42 |  0.000 % |
76.57/76.76	c |    118205 |    2787    18167    66278 |    79225    77655     42 |  0.000 % |
76.66/76.85	c |    118338 |    2787    18167    66278 |    79225    77788     42 |  0.000 % |
76.76/76.99	c |    118484 |    2787    18167    66278 |    79225    77934     42 |  0.000 % |
76.86/77.07	c |    118644 |    2787    18167    66278 |    79225    78094     42 |  0.000 % |
77.17/77.32	c |    118821 |    2787    18167    66278 |    79225    78271     42 |  0.000 % |
77.27/77.42	c |    119015 |    2787    18167    66278 |    79225    78465     42 |  0.000 % |
77.56/77.78	c |    119227 |    2787    18167    66278 |    79225    78677     42 |  0.000 % |
77.76/77.92	c |    119460 |    2787    18167    66278 |    79225    78910     42 |  0.000 % |
77.96/78.15	c |    119717 |    2787    18167    66278 |    79225    79167     42 |  0.000 % |
78.16/78.31	c |    119998 |    2787    18167    66278 |    79225    79448     42 |  0.000 % |
78.46/78.65	c |    120308 |    2787    18167    66278 | 2147483647    71814     41 |  0.000 % |
78.66/78.82	c |    120648 |    2787    18167    66278 | 2147483647    72154     40 |  0.000 % |
78.86/79.09	c |    121020 |    2787    18167    66278 | 2147483647    72526     41 |  0.000 % |
79.26/79.41	c |    121429 |    2787    18167    66278 | 2147483647    72935     40 |  0.000 % |
79.66/79.86	c |    121878 |    2787    18167    66278 | 2147483647    73384     40 |  0.000 % |
79.86/80.09	c |    122372 |    2787    18167    66278 | 2147483647    73878     40 |  0.000 % |
80.36/80.56	c |    122915 |    2787    18167    66278 | 2147483647    74421     40 |  0.000 % |
80.76/80.94	c |    123512 |    2787    18167    66278 | 2147483647    75018     40 |  0.000 % |
81.26/81.45	c |    124167 |    2787    18167    66278 | 2147483647    75673     40 |  0.000 % |
81.76/81.98	c |    124887 |    2787    18167    66278 | 2147483647    76393     40 |  0.000 % |
82.26/82.49	c |    125679 |    2787    18167    66278 | 2147483647    77185     40 |  0.000 % |
83.26/83.46	c |    126550 |    2787    18167    66278 | 2147483647    78056     40 |  0.000 % |
83.96/84.16	c |    127508 |    2787    18167    66278 | 2147483647    79014     40 |  0.000 % |
84.66/84.81	c |    128561 |    2787    18167    66278 | 2147483647    80067     40 |  0.000 % |
85.46/85.65	c |    129720 |    2787    18167    66278 | 2147483647    81226     40 |  0.000 % |
86.36/86.57	c |    130993 |    2787    18167    66278 |    81506    82499     40 |  0.000 % |
87.35/87.58	c |    132394 |    2787    18167    66278 |    81506    67510     37 |  0.000 % |
87.45/87.66	c |    132494 |    2787    18167    66278 |    81506    67610     37 |  0.000 % |
87.55/87.73	c |    132604 |    2787    18167    66278 |    81506    67720     37 |  0.000 % |
87.65/87.83	c |    132725 |    2787    18167    66278 |    81506    67841     37 |  0.000 % |
87.75/87.93	c |    132859 |    2787    18167    66278 |    81506    67975     37 |  0.000 % |
87.85/88.00	c |    133006 |    2787    18167    66278 |    81506    68122     37 |  0.000 % |
87.95/88.14	c |    133168 |    2787    18167    66278 |    81506    68284     37 |  0.000 % |
88.05/88.23	c |    133344 |    2787    18167    66278 |    81506    68460     37 |  0.000 % |
88.16/88.38	c |    133538 |    2787    18167    66278 |    81506    68654     37 |  0.000 % |
88.36/88.56	c |    133750 |    2787    18167    66278 |    81506    68866     37 |  0.000 % |
88.56/88.76	c |    133983 |    2787    18167    66278 |    81506    69099     37 |  0.000 % |
88.85/89.07	c |    134240 |    2787    18167    66278 |    81506    69356     37 |  0.000 % |
89.05/89.26	c |    134521 |    2787    18167    66278 |    81506    69637     37 |  0.000 % |
89.36/89.56	c |    134831 |    2787    18167    66278 |    81506    69947     37 |  0.000 % |
89.55/89.77	c |    135170 |    2787    18167    66278 |    81506    70286     37 |  0.000 % |
89.95/90.16	c |    135543 |    2787    18167    66278 |    81506    70659     37 |  0.000 % |
90.15/90.38	c |    135953 |    2787    18167    66278 |    81506    71069     37 |  0.000 % |
90.46/90.62	c |    136402 |    2787    18167    66278 |    81506    71518     37 |  0.000 % |
90.75/90.94	c |    136896 |    2787    18167    66278 |    81506    72012     37 |  0.000 % |
90.95/91.17	c |    137438 |    2787    18167    66278 |    81506    72554     37 |  0.000 % |
91.35/91.52	c |    138035 |    2787    18167    66278 |    81506    73151     37 |  0.000 % |
91.65/91.89	c |    138690 |    2787    18167    66278 |    81506    73806     37 |  0.000 % |
92.35/92.57	c |    139411 |    2787    18167    66278 |    81506    74527     37 |  0.000 % |
92.85/93.02	c |    140203 |    2787    18167    66278 |    75117    75319     37 |  0.000 % |
93.35/93.57	c |    141076 |    2787    18167    66278 |    75117    66132     37 |  0.000 % |
93.95/94.17	c |    142035 |    2787    18167    66278 |    75117    67091     37 |  0.000 % |
94.45/94.65	c |    143089 |    2787    18167    66278 |    75117    68145     37 |  0.000 % |
95.15/95.38	c |    144248 |    2787    18167    66278 |    75117    69304     37 |  0.000 % |
95.55/95.79	c |    145522 |    2787    18167    66278 |    75117    70578     37 |  0.000 % |
96.55/96.72	c |    146922 |    2787    18167    66278 |    75117    71978     37 |  0.000 % |
97.35/97.58	c |    148462 |    2787    18167    66278 |    75117    73518     37 |  0.000 % |
97.45/97.65	c |    148563 |    2787    18167    66278 |    75117    73619     37 |  0.000 % |
97.55/97.77	c |    148673 |    2787    18167    66278 |    75117    73729     37 |  0.000 % |
97.65/97.83	c |    148796 |    2787    18167    66278 |    75117    73852     37 |  0.000 % |
97.65/97.87	c |    148930 |    2787    18167    66278 |    75117    73986     37 |  0.000 % |
97.75/97.90	c |    149077 |    2787    18167    66278 |    75117    74133     37 |  0.000 % |
97.85/98.05	c |    149237 |    2787    18167    66278 |    75117    74293     37 |  0.000 % |
97.95/98.13	c |    149414 |    2787    18167    66278 |    75117    74470     37 |  0.000 % |
97.95/98.19	c |    149608 |    2787    18167    66278 |    75117    74664     37 |  0.000 % |
98.15/98.32	c |    149820 |    2787    18167    66278 |    75117    74876     36 |  0.000 % |
98.25/98.43	c |    150053 |    2787    18167    66278 |    75056    75109     36 |  0.000 % |
98.45/98.65	c |    150309 |    2787    18167    66278 |    75056    65484     36 |  0.000 % |
98.75/98.94	c |    150592 |    2787    18167    66278 |    75056    65767     37 |  0.000 % |
98.95/99.17	c |    150901 |    2787    18167    66278 |    75056    66076     36 |  0.000 % |
99.15/99.32	c |    151240 |    2787    18167    66278 |    75056    66415     36 |  0.000 % |
99.35/99.57	c |    151613 |    2787    18167    66278 |    75056    66788     36 |  0.000 % |
99.55/99.73	c |    152022 |    2787    18167    66278 |    75056    67197     36 |  0.000 % |
99.95/100.14	c |    152471 |    2787    18167    66278 |    75056    67646     36 |  0.000 % |
100.15/100.36	c |    152964 |    2787    18167    66278 |    75056    68139     36 |  0.000 % |
100.45/100.69	c |    153507 |    2787    18167    66278 |    75056    68682     36 |  0.000 % |
100.85/101.05	c |    154105 |    2787    18167    66278 |    75056    69280     36 |  0.000 % |
101.15/101.36	c |    154761 |    2787    18167    66278 |    75056    69936     36 |  0.000 % |
101.55/101.79	c |    155482 |    2787    18167    66278 |    75056    70657     36 |  0.000 % |
101.95/102.16	c |    156274 |    2787    18167    66278 |    75056    71449     36 |  0.000 % |
102.45/102.65	c |    157147 |    2787    18167    66278 |    75056    72322     36 |  0.000 % |
102.95/103.10	c |    158106 |    2787    18167    66278 |    75056    73281     36 |  0.000 % |
103.65/103.85	c |    159160 |    2787    18167    66278 |    75056    74335     36 |  0.000 % |
104.55/104.76	c |    160319 |    2787    18167    66278 |    75175    75494     36 |  0.000 % |
105.43/105.65	c |    161593 |    2787    18167    66278 |    75175    66167     37 |  0.000 % |
106.11/106.38	c |    162994 |    2787    18167    66278 |    75175    67568     36 |  0.000 % |
106.92/107.18	c |    164535 |    2787    18167    66278 |    75175    69109     36 |  0.000 % |
108.02/108.21	c |    166230 |    2787    18167    66278 |    75175    70804     36 |  0.000 % |
108.02/108.27	c |    166330 |    2787    18167    66278 |    75175    70904     36 |  0.000 % |
108.11/108.36	c |    166440 |    2787    18167    66278 |    75175    71014     36 |  0.000 % |
108.21/108.45	c |    166561 |    2787    18167    66278 |    75175    71135     36 |  0.000 % |
108.32/108.53	c |    166695 |    2787    18167    66278 |    75175    71269     36 |  0.000 % |
108.42/108.65	c |    166841 |    2787    18167    66278 |    75175    71415     36 |  0.000 % |
108.52/108.74	c |    167001 |    2787    18167    66278 |    75175    71575     36 |  0.000 % |
108.62/108.86	c |    167178 |    2787    18167    66278 |    75175    71752     36 |  0.000 % |
108.72/108.96	c |    167371 |    2787    18167    66278 |    75175    71945     36 |  0.000 % |
108.82/109.05	c |    167584 |    2787    18167    66278 |    75175    72158     36 |  0.000 % |
108.92/109.19	c |    167818 |    2787    18167    66278 |    75175    72392     36 |  0.000 % |
109.12/109.34	c |    168074 |    2787    18167    66278 |    75175    72648     36 |  0.000 % |
109.32/109.51	c |    168356 |    2787    18167    66278 |    75175    72930     36 |  0.000 % |
109.42/109.68	c |    168665 |    2787    18167    66278 |    75175    73239     36 |  0.000 % |
109.62/109.85	c |    169005 |    2787    18167    66278 |    75175    73579     36 |  0.000 % |
109.82/110.06	c |    169377 |    2787    18167    66278 |    75175    73951     36 |  0.000 % |
110.02/110.29	c |    169786 |    2787    18167    66278 |    75175    74360     36 |  0.000 % |
110.32/110.56	c |    170235 |    2787    18167    66278 |    74575    74809     36 |  0.000 % |
110.62/110.88	c |    170728 |    2787    18167    66278 |    74575    65256     34 |  0.000 % |
111.02/111.23	c |    171270 |    2787    18167    66278 |    74575    65798     34 |  0.000 % |
111.22/111.48	c |    171867 |    2787    18167    66278 |    74575    66395     34 |  0.000 % |
111.62/111.89	c |    172523 |    2787    18167    66278 |    74575    67051     34 |  0.000 % |
111.92/112.18	c |    173244 |    2787    18167    66278 |    74575    67772     34 |  0.000 % |
112.42/112.63	c |    174037 |    2787    18167    66278 |    74575    68565     34 |  0.000 % |
112.92/113.13	c |    174909 |    2787    18167    66278 |    74575    69437     34 |  0.000 % |
113.52/113.71	c |    175867 |    2787    18167    66278 |    74575    70395     34 |  0.000 % |
114.52/114.73	c |    176920 |    2787    18167    66278 |    74575    71448     34 |  0.000 % |
115.32/115.55	c |    178078 |    2787    18167    66278 |    74575    72606     34 |  0.000 % |
116.42/116.65	c |    179352 |    2787    18167    66278 |    74575    73880     34 |  0.000 % |
117.22/117.42	c |    180752 |    2787    18167    66278 |    74529    75280     35 |  0.000 % |
118.41/118.64	c |    182293 |    2787    18167    66278 |    74529    65535     32 |  0.000 % |
119.31/119.52	c |    183987 |    2787    18167    66278 |    74529    67229     32 |  0.000 % |
120.61/120.87	c |    185850 |    2787    18167    66278 |    74529    69092     32 |  0.000 % |
120.71/120.94	c |    185951 |    2787    18167    66278 |    74529    69193     32 |  0.000 % |
120.81/121.01	c |    186062 |    2787    18167    66278 |    74529    69304     32 |  0.000 % |
120.81/121.10	c |    186183 |    2787    18167    66278 |    74529    69425     32 |  0.000 % |
121.01/121.21	c |    186316 |    2787    18167    66278 |    74529    69558     32 |  0.000 % |
121.01/121.30	c |    186462 |    2787    18167    66278 |    74529    69704     32 |  0.000 % |
121.12/121.39	c |    186623 |    2787    18167    66278 |    74529    69865     32 |  0.000 % |
121.22/121.49	c |    186799 |    2787    18167    66278 |    74529    70041     32 |  0.000 % |
121.41/121.62	c |    186993 |    2787    18167    66278 |    74529    70235     32 |  0.000 % |
121.61/121.85	c |    187205 |    2787    18167    66278 |    74529    70447     32 |  0.000 % |
121.81/122.02	c |    187439 |    2787    18167    66278 |    74529    70681     32 |  0.000 % |
121.91/122.18	c |    187695 |    2787    18167    66278 |    74529    70937     32 |  0.000 % |
122.11/122.38	c |    187977 |    2787    18167    66278 |    74529    71219     32 |  0.000 % |
122.32/122.57	c |    188286 |    2787    18167    66278 |    74529    71528     32 |  0.000 % |
122.61/122.82	c |    188626 |    2787    18167    66278 |    74529    71868     32 |  0.000 % |
122.81/123.07	c |    189001 |    2787    18167    66278 |    74529    72243     32 |  0.000 % |
123.11/123.34	c |    189410 |    2787    18167    66278 |    74529    72652     32 |  0.000 % |
123.41/123.65	c |    189859 |    2787    18167    66278 |    74529    73101     32 |  0.000 % |
123.81/124.06	c |    190352 |    2787    18167    66278 |    73244    73594     32 |  0.000 % |
124.21/124.44	c |    190894 |    2787    18167    66278 |    73244    62252     32 |  0.000 % |
124.51/124.79	c |    191491 |    2787    18167    66278 |    73244    62849     32 |  0.000 % |
124.91/125.15	c |    192147 |    2787    18167    66278 |    73244    63505     32 |  0.000 % |
125.41/125.64	c |    192868 |    2787    18167    66278 |    73244    64226     32 |  0.000 % |
125.91/126.12	c |    193661 |    2787    18167    66278 |    73244    65019     32 |  0.000 % |
126.41/126.60	c |    194532 |    2787    18167    66278 |    73244    65890     32 |  0.000 % |
126.71/126.97	c |    195490 |    2787    18167    66278 |    73244    66848     32 |  0.000 % |
127.51/127.71	c |    196544 |    2787    18167    66278 |    73244    67902     32 |  0.000 % |
128.21/128.47	c |    197703 |    2787    18167    66278 |    73244    69061     32 |  0.000 % |
129.11/129.35	c |    198976 |    2787    18167    66278 |    73244    70334     32 |  0.000 % |
129.91/130.16	c |    200376 |    2787    18167    66278 |    71358    71734     32 |  0.000 % |
131.01/131.20	c |    201916 |    2787    18167    66278 |    71358    61633     31 |  0.000 % |
131.80/132.08	c |    203610 |    2787    18167    66278 |    71358    63327     32 |  0.000 % |
133.20/133.41	c |    205474 |    2787    18167    66278 |    71358    65191     32 |  0.000 % |
134.30/134.52	c |    207523 |    2787    18167    66278 |    71358    67240     32 |  0.000 % |
134.30/134.60	c |    207624 |    2787    18167    66278 |    71358    67341     32 |  0.000 % |
134.40/134.67	c |    207735 |    2787    18167    66278 |    71358    67452     32 |  0.000 % |
134.50/134.77	c |    207856 |    2787    18167    66278 |    71358    67573     32 |  0.000 % |
134.60/134.85	c |    207990 |    2787    18167    66278 |    71358    67707     32 |  0.000 % |
134.70/134.96	c |    208136 |    2787    18167    66278 |    71358    67853     32 |  0.000 % |
134.80/135.09	c |    208297 |    2787    18167    66278 |    71358    68014     32 |  0.000 % |
135.00/135.23	c |    208473 |    2787    18167    66278 |    71358    68190     32 |  0.000 % |
135.10/135.35	c |    208667 |    2787    18167    66278 |    71358    68384     32 |  0.000 % |
135.30/135.54	c |    208879 |    2787    18167    66278 |    71358    68596     32 |  0.000 % |
135.40/135.66	c |    209112 |    2787    18167    66278 |    71358    68829     32 |  0.000 % |
135.60/135.82	c |    209369 |    2787    18167    66278 |    71358    69086     32 |  0.000 % |
135.70/135.99	c |    209650 |    2787    18167    66278 |    71358    69367     32 |  0.000 % |
136.00/136.22	c |    209960 |    2787    18167    66278 |    71358    69677     32 |  0.000 % |
136.20/136.41	c |    210300 |    2787    18167    66278 |    69717    70017     32 |  0.000 % |
136.40/136.68	c |    210673 |    2787    18167    66278 |    69717    60183     32 |  0.000 % |
136.60/136.87	c |    211082 |    2787    18167    66278 |    69717    60592     32 |  0.000 % |
136.90/137.19	c |    211532 |    2787    18167    66278 |    69717    61042     32 |  0.000 % |
137.20/137.48	c |    212025 |    2787    18167    66278 |    69717    61535     32 |  0.000 % |
137.60/137.85	c |    212567 |    2787    18167    66278 |    69717    62077     32 |  0.000 % |
137.90/138.17	c |    213163 |    2787    18167    66278 |    69717    62673     32 |  0.000 % |
138.40/138.61	c |    213819 |    2787    18167    66278 |    69717    63329     32 |  0.000 % |
138.70/138.98	c |    214539 |    2787    18167    66278 |    69717    64049     32 |  0.000 % |
139.30/139.54	c |    215331 |    2787    18167    66278 |    69717    64841     32 |  0.000 % |
139.80/140.02	c |    216202 |    2787    18167    66278 |    69717    65712     33 |  0.000 % |
140.29/140.58	c |    217160 |    2787    18167    66278 |    69717    66670     32 |  0.000 % |
140.90/141.16	c |    218213 |    2787    18167    66278 |    69717    67723     33 |  0.000 % |
141.69/141.94	c |    219371 |    2787    18167    66278 |    69717    68881     33 |  0.000 % |
142.19/142.45	c |    220645 |    2787    18167    66278 |    69511    70155     33 |  0.000 % |
143.79/144.04	c |    222046 |    2787    18167    66278 |    69511    60514     33 |  0.000 % |
144.39/144.69	c |    223586 |    2787    18167    66278 |    69511    62054     33 |  0.000 % |
145.99/146.27	c |    225281 |    2787    18167    66278 |    69511    63749     33 |  0.000 % |
146.79/147.01	c |    227145 |    2787    18167    66278 |    69511    65613     33 |  0.000 % |
148.48/148.76	c |    229194 |    2787    18167    66278 |    69511    67662     33 |  0.000 % |
149.69/149.93	c |    231448 |    2787    18167    66278 |    68470    59810     33 |  0.000 % |
149.79/150.01	c |    231548 |    2787    18167    66278 |    68470    59910     33 |  0.000 % |
149.79/150.08	c |    231658 |    2787    18167    66278 |    68470    60020     33 |  0.000 % |
149.88/150.16	c |    231780 |    2787    18167    66278 |    68470    60142     33 |  0.000 % |
149.98/150.23	c |    231913 |    2787    18167    66278 |    68470    60275     33 |  0.000 % |
150.08/150.30	c |    232060 |    2787    18167    66278 |    68470    60422     33 |  0.000 % |
150.18/150.41	c |    232220 |    2787    18167    66278 |    68470    60582     33 |  0.000 % |
150.28/150.52	c |    232397 |    2787    18167    66278 |    68470    60759     33 |  0.000 % |
150.38/150.64	c |    232593 |    2787    18167    66278 |    68470    60955     33 |  0.000 % |
150.48/150.75	c |    232805 |    2787    18167    66278 |    68470    61167     33 |  0.000 % |
150.58/150.87	c |    233038 |    2787    18167    66278 |    68470    61400     33 |  0.000 % |
150.79/151.08	c |    233294 |    2787    18167    66278 |    68470    61656     33 |  0.000 % |
150.98/151.22	c |    233575 |    2787    18167    66278 |    68470    61937     33 |  0.000 % |
151.08/151.39	c |    233884 |    2787    18167    66278 |    68470    62246     33 |  0.000 % |
151.38/151.62	c |    234223 |    2787    18167    66278 |    68470    62585     33 |  0.000 % |
151.48/151.75	c |    234595 |    2787    18167    66278 |    68470    62957     33 |  0.000 % |
151.68/151.98	c |    235005 |    2787    18167    66278 |    68470    63367     33 |  0.000 % |
151.89/152.13	c |    235454 |    2787    18167    66278 |    68470    63816     33 |  0.000 % |
152.18/152.43	c |    235947 |    2787    18167    66278 |    68470    64309     33 |  0.000 % |
152.48/152.72	c |    236490 |    2787    18167    66278 |    68470    64852     33 |  0.000 % |
152.68/152.97	c |    237086 |    2787    18167    66278 |    68470    65448     33 |  0.000 % |
153.38/153.67	c |    237741 |    2787    18167    66278 |    68470    66103     33 |  0.000 % |
153.68/153.97	c |    238461 |    2787    18167    66278 |    68470    66823     33 |  0.000 % |
154.28/154.52	c |    239254 |    2787    18167    66278 |    68470    67616     33 |  0.000 % |
154.68/154.99	c |    240126 |    2787    18167    66278 |    68363    68488     33 |  0.000 % |
155.18/155.50	c |    241085 |    2787    18167    66278 |    68363    59556     32 |  0.000 % |
155.88/156.10	c |    242138 |    2787    18167    66278 |    68363    60609     33 |  0.000 % |
156.58/156.86	c |    243297 |    2787    18167    66278 |    68363    61768     33 |  0.000 % |
157.28/157.57	c |    244571 |    2787    18167    66278 |    68363    63042     33 |  0.000 % |
157.98/158.29	c |    245971 |    2787    18167    66278 |    68363    64442     33 |  0.000 % |
158.98/159.23	c |    247511 |    2787    18167    66278 |    68363    65982     33 |  0.000 % |
159.98/160.23	c |    249206 |    2787    18167    66278 |    68363    67677     33 |  0.000 % |
161.08/161.33	c |    251069 |    2787    18167    66278 |    68472    69540     33 |  0.000 % |
162.38/162.63	c |    253118 |    2787    18167    66278 |    68472    62774     32 |  0.000 % |
163.88/164.14	c |    255372 |    2787    18167    66278 |    68472    65028     33 |  0.000 % |
165.77/166.08	c |    257850 |    2787    18167    66278 |    68472    67506     33 |  0.000 % |
165.87/166.15	c |    257951 |    2787    18167    66278 |    68472    67607     33 |  0.000 % |
165.97/166.22	c |    258061 |    2787    18167    66278 |    68472    67717     33 |  0.000 % |
166.07/166.31	c |    258182 |    2787    18167    66278 |    68472    67838     33 |  0.000 % |
166.07/166.40	c |    258316 |    2787    18167    66278 |    68472    67972     33 |  0.000 % |
166.18/166.48	c |    258464 |    2787    18167    66278 |    68472    68120     33 |  0.000 % |
166.28/166.58	c |    258624 |    2787    18167    66278 |    68472    68280     33 |  0.000 % |
166.47/166.72	c |    258801 |    2787    18167    66278 |    68472    68457     33 |  0.000 % |
166.57/166.86	c |    258995 |    2787    18167    66278 |    68472    68651     33 |  0.000 % |
166.77/167.10	c |    259207 |    2787    18167    66278 |    68472    56994     32 |  0.000 % |
166.87/167.20	c |    259440 |    2787    18167    66278 |    68472    57227     32 |  0.000 % |
167.07/167.32	c |    259697 |    2787    18167    66278 |    68472    57484     32 |  0.000 % |
167.17/167.49	c |    259978 |    2787    18167    66278 |    68472    57765     32 |  0.000 % |
167.38/167.65	c |    260287 |    2787    18167    66278 |    57787    58074     32 |  0.000 % |
167.57/167.85	c |    260627 |    2787    18167    66278 |    57787    49329     31 |  0.000 % |
167.77/168.06	c |    261000 |    2787    18167    66278 |    57787    49702     32 |  0.000 % |
167.87/168.19	c |    261409 |    2787    18167    66278 |    57787    50111     32 |  0.000 % |
168.17/168.40	c |    261858 |    2787    18167    66278 |    57787    50560     32 |  0.000 % |
168.57/168.89	c |    262352 |    2787    18167    66278 |    57787    51054     32 |  0.000 % |
168.87/169.11	c |    262894 |    2787    18167    66278 |    57787    51596     32 |  0.000 % |
169.27/169.53	c |    263491 |    2787    18167    66278 |    57787    52193     32 |  0.000 % |
169.48/169.79	c |    264148 |    2787    18167    66278 |    57787    52850     32 |  0.000 % |
169.97/170.21	c |    264869 |    2787    18167    66278 |    57787    53571     32 |  0.000 % |
170.17/170.46	c |    265662 |    2787    18167    66278 |    57787    54364     32 |  0.000 % |
170.87/171.14	c |    266534 |    2787    18167    66278 |    57787    55236     32 |  0.000 % |
171.37/171.66	c |    267492 |    2787    18167    66278 |    57787    56194     32 |  0.000 % |
172.27/172.56	c |    268545 |    2787    18167    66278 |    57787    57247     32 |  0.000 % |
172.77/173.04	c |    269704 |    2787    18167    66278 |    57787    58406     32 |  0.000 % |
173.37/173.67	c |    270978 |    2787    18167    66278 |    49509    50487     32 |  0.000 % |
174.07/174.36	c |    272379 |    2787    18167    66278 |    49509    41732     31 |  0.000 % |
174.87/175.15	c |    273919 |    2787    18167    66278 |    49509    43272     31 |  0.000 % |
175.47/175.78	c |    275614 |    2787    18167    66278 |    49509    44967     31 |  0.000 % |
176.47/176.79	c |    277477 |    2787    18167    66278 |    49509    46830     31 |  0.000 % |
177.37/177.63	c |    279526 |    2787    18167    66278 |    49509    48879     31 |  0.000 % |
178.67/178.94	c |    281780 |    2787    18167    66278 |    49354    51133     31 |  0.000 % |
179.67/179.94	c |    284258 |    2787    18167    66278 |    49354    43915     31 |  0.000 % |
180.86/181.11	c |    286985 |    2787    18167    66278 |    49354    46642     31 |  0.000 % |
180.86/181.15	c |    287086 |    2787    18167    66278 |    49354    46743     31 |  0.000 % |
180.96/181.21	c |    287196 |    2787    18167    66278 |    49354    46853     31 |  0.000 % |
180.96/181.27	c |    287318 |    2787    18167    66278 |    49354    46975     31 |  0.000 % |
181.06/181.34	c |    287451 |    2787    18167    66278 |    49354    47108     31 |  0.000 % |
181.06/181.40	c |    287597 |    2787    18167    66278 |    49354    47254     31 |  0.000 % |
181.16/181.47	c |    287757 |    2787    18167    66278 |    49354    47414     31 |  0.000 % |
181.26/181.56	c |    287933 |    2787    18167    66278 |    49354    47590     31 |  0.000 % |
181.36/181.64	c |    288126 |    2787    18167    66278 |    49354    47783     31 |  0.000 % |
181.46/181.77	c |    288339 |    2787    18167    66278 |    49354    47996     31 |  0.000 % |
181.57/181.87	c |    288572 |    2787    18167    66278 |    49354    48229     31 |  0.000 % |
181.76/182.02	c |    288829 |    2787    18167    66278 |    49354    48486     31 |  0.000 % |
181.86/182.12	c |    289111 |    2787    18167    66278 |    49354    48768     31 |  0.000 % |
181.96/182.25	c |    289420 |    2787    18167    66278 |    49354    49077     31 |  0.000 % |
182.16/182.44	c |    289759 |    2787    18167    66278 |    49354    49416     31 |  0.000 % |
182.36/182.61	c |    290132 |    2787    18167    66278 |    42506    42638     31 |  0.000 % |
182.56/182.81	c |    290541 |    2787    18167    66278 |    42506    37451     30 |  0.000 % |
182.67/182.96	c |    290990 |    2787    18167    66278 |    42506    37900     30 |  0.000 % |
182.86/183.13	c |    291484 |    2787    18167    66278 |    42506    38394     30 |  0.000 % |
183.06/183.33	c |    292026 |    2787    18167    66278 |    42506    38936     30 |  0.000 % |
183.26/183.56	c |    292622 |    2787    18167    66278 |    42506    39532     30 |  0.000 % |
183.56/183.82	c |    293278 |    2787    18167    66278 |    42506    40188     31 |  0.000 % |
183.77/184.07	c |    293998 |    2787    18167    66278 |    42506    40908     30 |  0.000 % |
184.16/184.45	c |    294790 |    2787    18167    66278 |    42506    41700     31 |  0.000 % |
184.56/184.83	c |    295662 |    2787    18167    66278 |    42506    42572     31 |  0.000 % |
184.96/185.25	c |    296621 |    2787    18167    66278 |    42506    39274     31 |  0.000 % |
185.36/185.63	c |    297674 |    2787    18167    66278 |    42506    40327     30 |  0.000 % |
185.76/186.07	c |    298832 |    2787    18167    66278 |    42506    41485     31 |  0.000 % |
186.36/186.62	c |    300106 |    2787    18167    66278 | 2147483647    42759     31 |  0.000 % |
186.86/187.19	c |    301506 |    2787    18167    66278 | 2147483647    44159     31 |  0.000 % |
187.56/187.86	c |    303047 |    2787    18167    66278 | 2147483647    45700     31 |  0.000 % |
188.26/188.58	c |    304742 |    2787    18167    66278 | 2147483647    47395     31 |  0.000 % |
189.16/189.44	c |    306606 |    2787    18167    66278 | 2147483647    49259     31 |  0.000 % |
190.16/190.42	c |    308655 |    2787    18167    66278 | 2147483647    51308     31 |  0.000 % |
191.15/191.43	c |    310909 |    2787    18167    66278 |    52654    53562     31 |  0.000 % |
192.35/192.67	c |    313388 |    2787    18167    66278 |    52654    47288     32 |  0.000 % |
193.55/193.80	c |    316113 |    2787    18167    66278 |    52654    50013     31 |  0.000 % |
195.15/195.46	c |    319110 |    2787    18167    66278 |    52654    53010     32 |  0.000 % |
195.25/195.56	c |    319210 |    2787    18167    66278 |    52654    45912     32 |  0.000 % |
195.35/195.61	c |    319320 |    2787    18167    66278 |    52654    46022     32 |  0.000 % |
195.35/195.68	c |    319441 |    2787    18167    66278 |    52654    46143     32 |  0.000 % |
195.45/195.75	c |    319574 |    2787    18167    66278 |    52654    46276     32 |  0.000 % |
195.55/195.83	c |    319720 |    2787    18167    66278 |    52654    46422     32 |  0.000 % |
195.65/195.93	c |    319880 |    2787    18167    66278 |    52654    46582     32 |  0.000 % |
195.85/196.12	c |    320056 |    2787    18167    66278 |    46702    46758     32 |  0.000 % |
195.95/196.26	c |    320250 |    2787    18167    66278 |    46702    40290     31 |  0.000 % |
196.05/196.32	c |    320462 |    2787    18167    66278 |    46702    40502     31 |  0.000 % |
196.15/196.42	c |    320697 |    2787    18167    66278 |    46702    40737     31 |  0.000 % |
196.25/196.54	c |    320953 |    2787    18167    66278 |    46702    40993     31 |  0.000 % |
196.35/196.69	c |    321234 |    2787    18167    66278 |    46702    41274     31 |  0.000 % |
196.55/196.81	c |    321544 |    2787    18167    66278 |    46702    41584     31 |  0.000 % |
196.65/196.97	c |    321883 |    2787    18167    66278 |    46702    41923     31 |  0.000 % |
196.85/197.17	c |    322256 |    2787    18167    66278 |    46702    42296     31 |  0.000 % |
197.05/197.39	c |    322666 |    2787    18167    66278 |    46702    42706     31 |  0.000 % |
197.25/197.52	c |    323115 |    2787    18167    66278 |    46702    43155     31 |  0.000 % |
197.45/197.78	c |    323609 |    2787    18167    66278 |    46702    43649     31 |  0.000 % |
197.75/198.02	c |    324152 |    2787    18167    66278 |    46702    44192     31 |  0.000 % |
198.05/198.36	c |    324749 |    2787    18167    66278 |    46702    44789     32 |  0.000 % |
198.35/198.65	c |    325405 |    2787    18167    66278 |    46702    45445     31 |  0.000 % |
198.75/199.06	c |    326125 |    2787    18167    66278 |    46702    46165     32 |  0.000 % |
199.15/199.45	c |    326917 |    2787    18167    66278 |    46702    46957     32 |  0.000 % |
199.65/199.97	c |    327788 |    2787    18167    66278 |    46702    41534     32 |  0.000 % |
200.05/200.34	c |    328747 |    2787    18167    66278 |    46702    42493     32 |  0.000 % |
200.65/200.92	c |    329801 |    2787    18167    66278 |    46702    43547     32 |  0.000 % |
201.15/201.45	c |    330960 |    2787    18167    66278 |    43747    44706     32 |  0.000 % |
201.75/202.05	c |    332234 |    2787    18167    66278 |    43747    38149     32 |  0.000 % |
202.25/202.56	c |    333635 |    2787    18167    66278 |    43747    39550     32 |  0.000 % |
202.75/203.04	c |    335175 |    2787    18167    66278 |    43747    41090     32 |  0.000 % |
203.35/203.69	c |    336870 |    2787    18167    66278 |    43747    42785     32 |  0.000 % |
204.25/204.56	c |    338734 |    2787    18167    66278 |    43747    44649     32 |  0.000 % |
205.04/205.30	c |    340783 |    2787    18167    66278 |    40327    41110     32 |  0.000 % |
205.94/206.20	c |    343038 |    2787    18167    66278 |    40327    36595     32 |  0.000 % |
206.85/207.17	c |    345516 |    2787    18167    66278 |    40327    39073     32 |  0.000 % |
207.64/207.92	c |    348241 |    2787    18167    66278 |    40327    37638     32 |  0.000 % |
209.34/209.65	c |    351238 |    2787    18167    66278 | 2147483647    40635     31 |  0.000 % |
210.54/210.86	c |    354535 |    2787    18167    66278 | 2147483647    43932     32 |  0.000 % |
210.64/210.92	c |    354635 |    2787    18167    66278 | 2147483647    44032     32 |  0.000 % |
210.64/210.98	c |    354746 |    2787    18167    66278 | 2147483647    44143     32 |  0.000 % |
210.74/211.02	c |    354867 |    2787    18167    66278 | 2147483647    44264     32 |  0.000 % |
210.74/211.09	c |    355001 |    2787    18167    66278 | 2147483647    44398     32 |  0.000 % |
210.84/211.15	c |    355148 |    2787    18167    66278 | 2147483647    44545     32 |  0.000 % |
210.94/211.24	c |    355308 |    2787    18167    66278 | 2147483647    44705     32 |  0.000 % |
211.04/211.30	c |    355484 |    2787    18167    66278 | 2147483647    44881     32 |  0.000 % |
211.04/211.39	c |    355677 |    2787    18167    66278 | 2147483647    45074     32 |  0.000 % |
211.14/211.45	c |    355889 |    2787    18167    66278 | 2147483647    45286     32 |  0.000 % |
211.24/211.55	c |    356124 |    2787    18167    66278 | 2147483647    45521     32 |  0.000 % |
211.34/211.60	c |    356380 |    2787    18167    66278 | 2147483647    45777     32 |  0.000 % |
211.34/211.70	c |    356663 |    2787    18167    66278 | 2147483647    46060     32 |  0.000 % |
211.54/211.81	c |    356973 |    2787    18167    66278 | 2147483647    46370     32 |  0.000 % |
211.64/211.93	c |    357314 |    2787    18167    66278 | 2147483647    46711     32 |  0.000 % |
211.74/212.01	c |    357687 |    2787    18167    66278 | 2147483647    47084     32 |  0.000 % |
211.94/212.20	c |    358096 |    2787    18167    66278 | 2147483647    47493     32 |  0.000 % |
212.04/212.37	c |    358546 |    2787    18167    66278 | 2147483647    47943     32 |  0.000 % |
212.24/212.58	c |    359040 |    2787    18167    66278 | 2147483647    48437     32 |  0.000 % |
212.64/212.98	c |    359582 |    2787    18167    66278 | 2147483647    48979     32 |  0.000 % |
212.94/213.27	c |    360178 |    2787    18167    66278 | 2147483647    49575     32 |  0.000 % |
213.34/213.61	c |    360834 |    2787    18167    66278 | 2147483647    50231     32 |  0.000 % |
213.64/213.98	c |    361555 |    2787    18167    66278 | 2147483647    50952     32 |  0.000 % |
214.04/214.36	c |    362347 |    2787    18167    66278 | 2147483647    51744     32 |  0.000 % |
214.54/214.83	c |    363220 |    2787    18167    66278 | 2147483647    52617     32 |  0.000 % |
214.93/215.29	c |    364178 |    2787    18167    66278 | 2147483647    53575     32 |  0.000 % |
215.54/215.85	c |    365231 |    2787    18167    66278 | 2147483647    54628     32 |  0.000 % |
216.13/216.42	c |    366390 |    2787    18167    66278 | 2147483647    55787     32 |  0.000 % |
216.84/217.10	c |    367665 |    2787    18167    66278 | 2147483647    57062     33 |  0.000 % |
217.53/217.85	c |    369066 |    2787    18167    66278 | 2147483647    58463     32 |  0.000 % |
218.23/218.59	c |    370606 |    2787    18167    66278 |    59397    60003     33 |  0.000 % |
219.23/219.50	c |    372300 |    2787    18167    66278 |    59397    54759     32 |  0.000 % |
220.33/220.63	c |    374164 |    2787    18167    66278 |    59397    56623     32 |  0.000 % |
221.33/221.68	c |    376213 |    2787    18167    66278 |    59397    58672     32 |  0.000 % |
222.93/223.25	c |    378466 |    2787    18167    66278 |    59397    50943     32 |  0.000 % |
224.13/224.47	c |    380945 |    2787    18167    66278 |    52477    53422     32 |  0.000 % |
225.53/225.82	c |    383670 |    2787    18167    66278 |    52477    46663     32 |  0.000 % |
226.73/227.04	c |    386667 |    2787    18167    66278 |    52477    49660     32 |  0.000 % |
228.33/228.69	c |    389963 |    2787    18167    66278 |    52477    52956     33 |  0.000 % |
229.93/230.30	c |    393588 |    2787    18167    66278 |    46904    42327     32 |  0.000 % |
230.03/230.34	c |    393688 |    2787    18167    66278 |    46904    42427     32 |  0.000 % |
230.03/230.39	c |    393798 |    2787    18167    66278 |    46904    42537     32 |  0.000 % |
230.13/230.44	c |    393919 |    2787    18167    66278 |    46904    42658     32 |  0.000 % |
230.13/230.49	c |    394054 |    2787    18167    66278 |    46904    42793     32 |  0.000 % |
230.23/230.54	c |    394201 |    2787    18167    66278 |    46904    42940     32 |  0.000 % |
230.33/230.61	c |    394362 |    2787    18167    66278 |    46904    43101     32 |  0.000 % |
230.33/230.66	c |    394539 |    2787    18167    66278 |    46904    43278     32 |  0.000 % |
230.43/230.74	c |    394732 |    2787    18167    66278 |    46904    43471     32 |  0.000 % |
230.53/230.82	c |    394945 |    2787    18167    66278 |    46904    43684     32 |  0.000 % |
230.63/230.96	c |    395178 |    2787    18167    66278 |    46904    43917     32 |  0.000 % |
230.73/231.06	c |    395435 |    2787    18167    66278 |    46904    44174     32 |  0.000 % |
230.83/231.15	c |    395717 |    2787    18167    66278 |    46904    44456     32 |  0.000 % |
230.93/231.25	c |    396026 |    2787    18167    66278 |    46904    44765     32 |  0.000 % |
231.03/231.37	c |    396365 |    2787    18167    66278 |    46904    45104     32 |  0.000 % |
231.23/231.53	c |    396737 |    2787    18167    66278 |    46904    45476     32 |  0.000 % |
231.53/231.89	c |    397147 |    2787    18167    66278 |    46904    45886     32 |  0.000 % |
231.73/232.07	c |    397596 |    2787    18167    66278 |    46904    46335     32 |  0.000 % |
231.93/232.24	c |    398089 |    2787    18167    66278 |    46904    46828     32 |  0.000 % |
232.13/232.47	c |    398632 |    2787    18167    66278 |    46904    47371     32 |  0.000 % |
232.43/232.71	c |    399229 |    2787    18167    66278 |    46904    40830     32 |  0.000 % |
232.63/232.95	c |    399884 |    2787    18167    66278 |    46904    41485     32 |  0.000 % |
232.83/233.17	c |    400604 |    2787    18167    66278 |    41601    42205     32 |  0.000 % |
233.23/233.51	c |    401396 |    2787    18167    66278 |    41601    36782     32 |  0.000 % |
233.53/233.84	c |    402267 |    2787    18167    66278 |    41601    37653     32 |  0.000 % |
233.93/234.20	c |    403226 |    2787    18167    66278 |    41601    38612     32 |  0.000 % |
234.33/234.62	c |    404279 |    2787    18167    66278 |    41601    39665     32 |  0.000 % |
234.73/235.08	c |    405438 |    2787    18167    66278 |    41601    40824     32 |  0.000 % |
235.23/235.55	c |    406712 |    2787    18167    66278 |    41601    42098     32 |  0.000 % |
235.83/236.16	c |    408112 |    2787    18167    66278 |    41601    38483     32 |  0.000 % |
236.43/236.76	c |    409653 |    2787    18167    66278 |    41601    40024     32 |  0.000 % |
237.22/237.50	c |    411347 |    2787    18167    66278 |    40371    37571     31 |  0.000 % |
237.92/238.21	c |    413210 |    2787    18167    66278 |    40371    39434     31 |  0.000 % |
238.73/239.08	c |    415260 |    2787    18167    66278 |    40371    41484     32 |  0.000 % |
239.72/240.00	c |    417514 |    2787    18167    66278 |    40371    39590     31 |  0.000 % |
240.82/241.14	c |    419993 |    2787    18167    66278 |    40371    37910     32 |  0.000 % |
241.82/242.15	c |    422718 |    2787    18167    66278 | 2147483647    40635     31 |  0.000 % |
243.32/243.60	c |    425715 |    2787    18167    66278 | 2147483647    43632     32 |  0.000 % |
244.72/245.09	c |    429011 |    2787    18167    66278 | 2147483647    46928     32 |  0.000 % |
246.82/247.12	c |    432636 |    2787    18167    66278 |    47917    44482     32 |  0.000 % |
248.82/249.12	c |    436624 |    2787    18167    66278 |    47917    48470     31 |  0.000 % |
248.92/249.23	c |    436725 |    2787    18167    66278 |    47917    39290     31 |  0.000 % |
248.92/249.29	c |    436836 |    2787    18167    66278 |    47917    39401     31 |  0.000 % |
249.02/249.35	c |    436958 |    2787    18167    66278 |    47917    39523     31 |  0.000 % |
249.02/249.40	c |    437091 |    2787    18167    66278 |    47917    39656     31 |  0.000 % |
249.12/249.47	c |    437238 |    2787    18167    66278 |    47917    39803     31 |  0.000 % |
249.22/249.53	c |    437398 |    2787    18167    66278 |    47917    39963     31 |  0.000 % |
249.32/249.61	c |    437575 |    2787    18167    66278 |    47917    40140     31 |  0.000 % |
249.42/249.71	c |    437769 |    2787    18167    66278 |    47917    40334     31 |  0.000 % |
249.51/249.81	c |    437981 |    2787    18167    66278 |    47917    40546     31 |  0.000 % |
249.51/249.89	c |    438215 |    2787    18167    66278 |    47917    40780     31 |  0.000 % |
249.72/250.02	c |    438472 |    2787    18167    66278 |    47917    41037     31 |  0.000 % |
249.91/250.21	c |    438754 |    2787    18167    66278 |    47917    41319     31 |  0.000 % |
250.01/250.32	c |    439063 |    2787    18167    66278 |    47917    41628     31 |  0.000 % |
250.21/250.56	c |    439402 |    2787    18167    66278 |    47917    41967     31 |  0.000 % |
250.31/250.69	c |    439774 |    2787    18167    66278 |    47917    42339     31 |  0.000 % |
250.61/250.97	c |    440184 |    2787    18167    66278 |    42566    42749     31 |  0.000 % |
250.92/251.22	c |    440633 |    2787    18167    66278 |    42566    35658     31 |  0.000 % |
251.11/251.47	c |    441127 |    2787    18167    66278 |    42566    36152     31 |  0.000 % |
251.31/251.67	c |    441670 |    2787    18167    66278 |    42566    36695     31 |  0.000 % |
251.61/251.98	c |    442266 |    2787    18167    66278 |    42566    37291     31 |  0.000 % |
251.91/252.20	c |    442921 |    2787    18167    66278 |    42566    37946     31 |  0.000 % |
252.11/252.49	c |    443642 |    2787    18167    66278 |    42566    38667     31 |  0.000 % |
252.41/252.70	c |    444435 |    2787    18167    66278 |    42566    39460     31 |  0.000 % |
252.61/252.98	c |    445307 |    2787    18167    66278 |    42566    40332     31 |  0.000 % |
252.91/253.28	c |    446266 |    2787    18167    66278 |    42566    41291     31 |  0.000 % |
253.41/253.76	c |    447319 |    2787    18167    66278 |    42566    42344     31 |  0.000 % |
253.71/254.08	c |    448479 |    2787    18167    66278 |    42566    43504     32 |  0.000 % |
254.61/254.90	c |    449753 |    2787    18167    66278 |    42566    40428     31 |  0.000 % |
255.01/255.33	c |    451154 |    2787    18167    66278 | 2147483647    41829     31 |  0.000 % |
256.01/256.37	c |    452694 |    2787    18167    66278 | 2147483647    43369     32 |  0.000 % |
256.51/256.89	c |    454389 |    2787    18167    66278 | 2147483647    45064     32 |  0.000 % |
257.51/257.83	c |    456253 |    2787    18167    66278 | 2147483647    46928     32 |  0.000 % |
258.20/258.57	c |    458302 |    2787    18167    66278 | 2147483647    48977     32 |  0.000 % |
259.80/260.15	c |    460555 |    2787    18167    66278 | 2147483647    51230     32 |  0.000 % |
260.71/261.08	c |    463035 |    2787    18167    66278 | 2147483647    53710     33 |  0.000 % |
262.80/263.19	c |    465760 |    2787    18167    66278 | 2147483647    56435     33 |  0.000 % |
264.11/264.40	c |    468758 |    2787    18167    66278 | 2147483647    59433     33 |  0.000 % |
267.50/267.80	c |    472054 |    2787    18167    66278 | 2147483647    62729     33 |  0.000 % |
269.00/269.40	c |    475681 |    2787    18167    66278 | 2147483647    66356     33 |  0.000 % |
273.20/273.53	c |    479668 |    2787    18167    66278 | 2147483647    70343     34 |  0.000 % |
275.40/275.75	c |    484054 |    2787    18167    66278 | 2147483647    74729     34 |  0.000 % |
275.50/275.87	c |    484155 |    2787    18167    66278 | 2147483647    74830     34 |  0.000 % |
275.60/275.95	c |    484266 |    2787    18167    66278 | 2147483647    74941     34 |  0.000 % |
275.70/276.08	c |    484387 |    2787    18167    66278 | 2147483647    75062     34 |  0.000 % |
275.80/276.17	c |    484521 |    2787    18167    66278 | 2147483647    75196     34 |  0.000 % |
276.00/276.31	c |    484668 |    2787    18167    66278 | 2147483647    75343     34 |  0.000 % |
276.10/276.41	c |    484828 |    2787    18167    66278 | 2147483647    75503     34 |  0.000 % |
276.20/276.57	c |    485006 |    2787    18167    66278 | 2147483647    75681     34 |  0.000 % |
276.29/276.68	c |    485200 |    2787    18167    66278 | 2147483647    75875     34 |  0.000 % |
276.59/276.96	c |    485412 |    2787    18167    66278 | 2147483647    76087     34 |  0.000 % |
276.69/277.10	c |    485646 |    2787    18167    66278 | 2147483647    76321     34 |  0.000 % |
276.99/277.36	c |    485903 |    2787    18167    66278 | 2147483647    76578     34 |  0.000 % |
277.20/277.53	c |    486186 |    2787    18167    66278 | 2147483647    76861     34 |  0.000 % |
277.49/277.84	c |    486496 |    2787    18167    66278 | 2147483647    77171     34 |  0.000 % |
277.69/278.04	c |    486836 |    2787    18167    66278 | 2147483647    77511     34 |  0.000 % |
278.19/278.55	c |    487209 |    2787    18167    66278 | 2147483647    77884     34 |  0.000 % |
278.40/278.78	c |    487619 |    2787    18167    66278 | 2147483647    78294     34 |  0.000 % |
278.59/278.95	c |    488069 |    2787    18167    66278 | 2147483647    78744     34 |  0.000 % |
278.99/279.37	c |    488562 |    2787    18167    66278 | 2147483647    79237     34 |  0.000 % |
279.29/279.62	c |    489104 |    2787    18167    66278 | 2147483647    79779     34 |  0.000 % |
279.80/280.13	c |    489700 |    2787    18167    66278 | 2147483647    80375     34 |  0.000 % |
280.00/280.34	c |    490355 |    2787    18167    66278 | 2147483647    81030     34 |  0.000 % |
280.60/280.94	c |    491075 |    2787    18167    66278 | 2147483647    81750     34 |  0.000 % |
281.00/281.34	c |    491867 |    2787    18167    66278 | 2147483647    82542     34 |  0.000 % |
281.50/281.81	c |    492738 |    2787    18167    66278 | 2147483647    83413     34 |  0.000 % |
282.20/282.53	c |    493696 |    2787    18167    66278 | 2147483647    84371     34 |  0.000 % |
282.80/283.18	c |    494750 |    2787    18167    66278 | 2147483647    85425     34 |  0.000 % |
283.90/284.25	c |    495909 |    2787    18167    66278 | 2147483647    86584     34 |  0.000 % |
284.90/285.22	c |    497182 |    2787    18167    66278 | 2147483647    87857     34 |  0.000 % |
285.89/286.23	c |    498582 |    2787    18167    66278 | 2147483647    89257     34 |  0.000 % |
287.20/287.57	c |    500122 |    2787    18167    66278 |    90676    90797     34 |  0.000 % |
288.39/288.71	c |    501816 |    2787    18167    66278 |    90676    77919     34 |  0.000 % |
289.59/289.90	c |    503679 |    2787    18167    66278 |    90676    79782     34 |  0.000 % |
290.69/291.09	c |    505729 |    2787    18167    66278 |    90676    81832     34 |  0.000 % |
292.29/292.63	c |    507983 |    2787    18167    66278 |    90676    84086     34 |  0.000 % |
293.89/294.22	c |    510462 |    2787    18167    66278 |    86104    86565     34 |  0.000 % |
295.79/296.18	c |    513188 |    2787    18167    66278 |    86104    73233     34 |  0.000 % |
297.89/298.24	c |    516186 |    2787    18167    66278 |    86104    76231     34 |  0.000 % |
299.89/300.24	c |    519482 |    2787    18167    66278 |    86104    79527     34 |  0.000 % |
302.49/302.86	c |    523107 |    2787    18167    66278 |    80046    66499     33 |  0.000 % |
304.98/305.32	c |    527095 |    2787    18167    66278 |    80046    70487     34 |  0.000 % |
308.58/308.99	c |    531481 |    2787    18167    66278 |    73393    74873     34 |  0.000 % |
311.58/311.94	c |    536304 |    2787    18167    66278 |    73393    63485     33 |  0.000 % |
311.58/312.00	c |    536404 |    2787    18167    66278 |    73393    63585     33 |  0.000 % |
311.68/312.08	c |    536515 |    2787    18167    66278 |    73393    63696     33 |  0.000 % |
311.78/312.17	c |    536637 |    2787    18167    66278 |    73393    63818     33 |  0.000 % |
311.88/312.27	c |    536771 |    2787    18167    66278 |    73393    63952     33 |  0.000 % |
311.98/312.35	c |    536917 |    2787    18167    66278 |    73393    64098     33 |  0.000 % |
312.08/312.49	c |    537077 |    2787    18167    66278 |    73393    64258     33 |  0.000 % |
312.18/312.59	c |    537255 |    2787    18167    66278 |    73393    64436     33 |  0.000 % |
312.39/312.71	c |    537448 |    2787    18167    66278 |    73393    64629     33 |  0.000 % |
312.49/312.87	c |    537660 |    2787    18167    66278 |    73393    64841     33 |  0.000 % |
312.68/313.00	c |    537893 |    2787    18167    66278 |    73393    65074     33 |  0.000 % |
312.78/313.15	c |    538150 |    2787    18167    66278 |    73393    65331     33 |  0.000 % |
312.98/313.35	c |    538433 |    2787    18167    66278 |    73393    65614     33 |  0.000 % |
313.08/313.49	c |    538742 |    2787    18167    66278 |    73393    65923     33 |  0.000 % |
313.38/313.73	c |    539083 |    2787    18167    66278 |    73393    66264     33 |  0.000 % |
313.49/313.89	c |    539456 |    2787    18167    66278 |    73393    66637     33 |  0.000 % |
313.68/314.07	c |    539865 |    2787    18167    66278 |    73393    67046     33 |  0.000 % |
313.98/314.39	c |    540314 |    2787    18167    66278 |    67181    67495     33 |  0.000 % |
314.38/314.74	c |    540807 |    2787    18167    66278 |    67181    57403     33 |  0.000 % |
314.69/315.06	c |    541349 |    2787    18167    66278 |    67181    57945     33 |  0.000 % |
314.98/315.34	c |    541946 |    2787    18167    66278 |    67181    58542     33 |  0.000 % |
315.28/315.63	c |    542601 |    2787    18167    66278 |    67181    59197     33 |  0.000 % |
315.58/315.98	c |    543322 |    2787    18167    66278 |    67181    59918     33 |  0.000 % |
316.18/316.51	c |    544114 |    2787    18167    66278 |    67181    60710     33 |  0.000 % |
316.58/316.95	c |    544986 |    2787    18167    66278 |    67181    61582     33 |  0.000 % |
317.18/317.55	c |    545945 |    2787    18167    66278 |    67181    62541     33 |  0.000 % |
317.78/318.14	c |    546998 |    2787    18167    66278 |    67181    63594     33 |  0.000 % |
318.58/318.92	c |    548156 |    2787    18167    66278 |    67181    64752     33 |  0.000 % |
319.08/319.48	c |    549432 |    2787    18167    66278 |    67181    66028     33 |  0.000 % |
320.08/320.44	c |    550832 |    2787    18167    66278 |    66597    67428     33 |  0.000 % |
320.98/321.35	c |    552372 |    2787    18167    66278 |    66597    57404     33 |  0.000 % |
321.88/322.25	c |    554067 |    2787    18167    66278 |    66597    59099     32 |  0.000 % |
322.98/323.34	c |    555930 |    2787    18167    66278 |    66597    60962     33 |  0.000 % |
323.88/324.23	c |    557980 |    2787    18167    66278 |    66597    63012     32 |  0.000 % |
325.08/325.43	c |    560233 |    2787    18167    66278 |    65033    65265     33 |  0.000 % |
326.08/326.44	c |    562711 |    2787    18167    66278 |    65033    58917     32 |  0.000 % |
327.67/328.08	c |    565436 |    2787    18167    66278 |    65033    61642     33 |  0.000 % |
328.88/329.24	c |    568433 |    2787    18167    66278 |    65033    64639     32 |  0.000 % |
331.57/331.98	c |    571729 |    2787    18167    66278 |    58771    54512     33 |  0.000 % |
332.97/333.30	c |    575354 |    2787    18167    66278 |    58771    58137     32 |  0.000 % |
334.77/335.18	c |    579342 |    2787    18167    66278 |    58771    56128     32 |  0.000 % |
336.86/337.25	c |    583727 |    2787    18167    66278 | 2147483647    60513     32 |  0.000 % |
340.16/340.57	c |    588550 |    2787    18167    66278 | 2147483647    65336     33 |  0.000 % |
343.46/343.83	c |    593856 |    2787    18167    66278 |    66788    58661     31 |  0.000 % |
343.56/343.91	c |    593958 |    2787    18167    66278 |    66788    58763     31 |  0.000 % |
343.56/343.97	c |    594068 |    2787    18167    66278 |    66788    58873     31 |  0.000 % |
343.66/344.05	c |    594189 |    2787    18167    66278 |    66788    58994     31 |  0.000 % |
343.76/344.13	c |    594322 |    2787    18167    66278 |    66788    59127     31 |  0.000 % |
343.86/344.20	c |    594470 |    2787    18167    66278 |    66788    59275     31 |  0.000 % |
343.86/344.26	c |    594631 |    2787    18167    66278 |    66788    59436     31 |  0.000 % |
343.96/344.38	c |    594810 |    2787    18167    66278 |    66788    59615     31 |  0.000 % |
344.06/344.43	c |    595003 |    2787    18167    66278 |    66788    59808     31 |  0.000 % |
344.16/344.53	c |    595215 |    2787    18167    66278 |    66788    60020     31 |  0.000 % |
344.37/344.70	c |    595448 |    2787    18167    66278 |    66788    60253     31 |  0.000 % |
344.46/344.80	c |    595704 |    2787    18167    66278 |    66788    60509     31 |  0.000 % |
344.56/344.92	c |    595986 |    2787    18167    66278 |    66788    60791     31 |  0.000 % |
344.66/345.07	c |    596297 |    2787    18167    66278 |    66788    61102     31 |  0.000 % |
344.86/345.24	c |    596636 |    2787    18167    66278 |    66788    61441     31 |  0.000 % |
344.96/345.39	c |    597008 |    2787    18167    66278 |    66788    61813     31 |  0.000 % |
345.26/345.60	c |    597418 |    2787    18167    66278 |    66788    62223     31 |  0.000 % |
345.46/345.87	c |    597867 |    2787    18167    66278 |    66788    62672     31 |  0.000 % |
345.66/346.05	c |    598361 |    2787    18167    66278 |    66788    63166     31 |  0.000 % |
345.96/346.31	c |    598903 |    2787    18167    66278 |    66788    63708     31 |  0.000 % |
346.16/346.59	c |    599500 |    2787    18167    66278 |    66788    64305     31 |  0.000 % |
346.76/347.13	c |    600156 |    2787    18167    66278 |    64806    64961     32 |  0.000 % |
347.06/347.42	c |    600876 |    2787    18167    66278 |    64806    56469     31 |  0.000 % |
347.46/347.87	c |    601668 |    2787    18167    66278 |    64806    57261     31 |  0.000 % |
348.06/348.46	c |    602539 |    2787    18167    66278 |    64806    58132     31 |  0.000 % |
348.66/349.02	c |    603498 |    2787    18167    66278 |    64806    59091     31 |  0.000 % |
349.06/349.44	c |    604551 |    2787    18167    66278 |    64806    60144     31 |  0.000 % |
349.76/350.10	c |    605710 |    2787    18167    66278 |    64806    61303     31 |  0.000 % |
350.46/350.86	c |    606983 |    2787    18167    66278 |    64806    62576     31 |  0.000 % |
351.16/351.58	c |    608384 |    2787    18167    66278 |    64806    63977     32 |  0.000 % |
351.96/352.34	c |    609924 |    2787    18167    66278 |    64806    65517     31 |  0.000 % |
352.86/353.26	c |    611618 |    2787    18167    66278 |    56856    52613     31 |  0.000 % |
353.35/353.79	c |    613481 |    2787    18167    66278 |    56856    54476     31 |  0.000 % |
354.55/354.96	c |    615531 |    2787    18167    66278 |    56856    56526     31 |  0.000 % |
355.55/355.98	c |    617784 |    2787    18167    66278 |    56856    58779     31 |  0.000 % |
357.75/358.12	c |    620262 |    2787    18167    66278 |    53969    54231     31 |  0.000 % |
358.85/359.28	c |    622988 |    2787    18167    66278 |    53969    51259     31 |  0.000 % |
360.05/360.41	c |    625987 |    2787    18167    66278 |    53969    54258     31 |  0.000 % |
362.05/362.41	c |    629285 |    2787    18167    66278 |    53969    52131     31 |  0.000 % |
363.35/363.77	c |    632910 |    2787    18167    66278 | 2147483647    55756     31 |  0.000 % |
365.95/366.33	c |    636897 |    2787    18167    66278 | 2147483647    59743     31 |  0.000 % |
367.75/368.19	c |    641283 |    2787    18167    66278 | 2147483647    64129     32 |  0.000 % |
371.35/371.79	c |    646107 |    2787    18167    66278 | 2147483647    68953     32 |  0.000 % |
373.75/374.18	c |    651413 |    2787    18167    66278 | 2147483647    74259     32 |  0.000 % |
378.74/379.15	c |    657248 |    2787    18167    66278 | 2147483647    80094     32 |  0.000 % |
378.84/379.21	c |    657348 |    2787    18167    66278 | 2147483647    80194     32 |  0.000 % |
378.84/379.28	c |    657458 |    2787    18167    66278 | 2147483647    80304     32 |  0.000 % |
378.94/379.36	c |    657579 |    2787    18167    66278 | 2147483647    80425     32 |  0.000 % |
379.14/379.51	c |    657712 |    2787    18167    66278 | 2147483647    80558     32 |  0.000 % |
379.24/379.61	c |    657858 |    2787    18167    66278 | 2147483647    80704     32 |  0.000 % |
379.34/379.74	c |    658019 |    2787    18167    66278 | 2147483647    80865     32 |  0.000 % |
379.44/379.90	c |    658195 |    2787    18167    66278 | 2147483647    81041     32 |  0.000 % |
379.64/380.02	c |    658388 |    2787    18167    66278 | 2147483647    81234     32 |  0.000 % |
379.84/380.20	c |    658600 |    2787    18167    66278 | 2147483647    81446     32 |  0.000 % |
379.94/380.34	c |    658834 |    2787    18167    66278 | 2147483647    81680     32 |  0.000 % |
380.04/380.46	c |    659090 |    2787    18167    66278 | 2147483647    81936     32 |  0.000 % |
380.24/380.69	c |    659373 |    2787    18167    66278 | 2147483647    82219     32 |  0.000 % |
380.44/380.88	c |    659682 |    2787    18167    66278 | 2147483647    82528     32 |  0.000 % |
380.74/381.12	c |    660021 |    2787    18167    66278 |    82846    82867     32 |  0.000 % |
381.14/381.53	c |    660394 |    2787    18167    66278 |    82846    68171     32 |  0.000 % |
381.34/381.79	c |    660805 |    2787    18167    66278 |    82846    68582     32 |  0.000 % |
381.74/382.11	c |    661254 |    2787    18167    66278 |    82846    69031     32 |  0.000 % |
381.94/382.35	c |    661748 |    2787    18167    66278 |    82846    69525     32 |  0.000 % |
382.24/382.68	c |    662290 |    2787    18167    66278 |    82846    70067     32 |  0.000 % |
382.64/383.10	c |    662886 |    2787    18167    66278 |    82846    70663     32 |  0.000 % |
383.04/383.43	c |    663542 |    2787    18167    66278 |    82846    71319     32 |  0.000 % |
383.64/384.03	c |    664262 |    2787    18167    66278 |    82846    72039     32 |  0.000 % |
384.04/384.44	c |    665056 |    2787    18167    66278 |    82846    72833     32 |  0.000 % |
384.84/385.25	c |    665928 |    2787    18167    66278 |    82846    73705     32 |  0.000 % |
385.34/385.79	c |    666887 |    2787    18167    66278 |    82846    74664     32 |  0.000 % |
386.24/386.66	c |    667941 |    2787    18167    66278 |    82846    75718     32 |  0.000 % |
386.84/387.23	c |    669099 |    2787    18167    66278 |    82846    76876     32 |  0.000 % |
387.84/388.22	c |    670373 |    2787    18167    66278 |    77778    78150     32 |  0.000 % |
388.53/388.98	c |    671773 |    2787    18167    66278 |    77778    63650     32 |  0.000 % |
389.63/390.05	c |    673313 |    2787    18167    66278 |    77778    65190     32 |  0.000 % |
390.54/390.99	c |    675008 |    2787    18167    66278 |    77778    66885     32 |  0.000 % |
392.03/392.45	c |    676872 |    2787    18167    66278 |    77778    68749     32 |  0.000 % |
393.13/393.52	c |    678922 |    2787    18167    66278 |    77778    70799     32 |  0.000 % |
395.13/395.56	c |    681175 |    2787    18167    66278 |    71877    73052     32 |  0.000 % |
396.53/396.99	c |    683653 |    2787    18167    66278 |    71877    62697     32 |  0.000 % |
398.53/398.93	c |    686379 |    2787    18167    66278 |    71877    65423     32 |  0.000 % |
399.83/400.26	c |    689377 |    2787    18167    66278 |    71877    68421     32 |  0.000 % |
402.33/402.72	c |    692673 |    2787    18167    66278 |    69044    62932     32 |  0.000 % |
403.83/404.27	c |    696298 |    2787    18167    66278 |    69044    66557     32 |  0.000 % |
407.32/407.79	c |    700285 |    2787    18167    66278 |    70259    70544     32 |  0.000 % |
409.52/409.92	c |    704670 |    2787    18167    66278 |    70259    65981     32 |  0.000 % |
413.32/413.70	c |    709494 |    2787    18167    66278 |    70259    70805     32 |  0.000 % |
416.62/417.02	c |    714800 |    2787    18167    66278 | 2147483647    69031     32 |  0.000 % |
422.22/422.70	c |    720635 |    2787    18167    66278 | 2147483647    74866     32 |  0.000 % |
425.52/425.93	c |    727053 |    2787    18167    66278 | 2147483647    81284     33 |  0.000 % |
425.62/426.08	c |    727153 |    2787    18167    66278 | 2147483647    81384     33 |  0.000 % |
425.72/426.15	c |    727263 |    2787    18167    66278 | 2147483647    81494     33 |  0.000 % |
425.82/426.26	c |    727385 |    2787    18167    66278 | 2147483647    81616     33 |  0.000 % |
425.92/426.35	c |    727518 |    2787    18167    66278 | 2147483647    81749     33 |  0.000 % |
426.12/426.50	c |    727664 |    2787    18167    66278 | 2147483647    81895     33 |  0.000 % |
426.12/426.59	c |    727825 |    2787    18167    66278 | 2147483647    82056     33 |  0.000 % |
426.32/426.72	c |    728001 |    2787    18167    66278 | 2147483647    82232     33 |  0.000 % |
426.42/426.87	c |    728194 |    2787    18167    66278 | 2147483647    82425     33 |  0.000 % |
426.62/427.02	c |    728407 |    2787    18167    66278 | 2147483647    82638     33 |  0.000 % |
426.72/427.16	c |    728640 |    2787    18167    66278 | 2147483647    82871     33 |  0.000 % |
426.92/427.31	c |    728898 |    2787    18167    66278 | 2147483647    83129     33 |  0.000 % |
427.02/427.46	c |    729180 |    2787    18167    66278 | 2147483647    83411     33 |  0.000 % |
427.32/427.71	c |    729489 |    2787    18167    66278 | 2147483647    83720     33 |  0.000 % |
427.62/428.01	c |    729828 |    2787    18167    66278 | 2147483647    84059     33 |  0.000 % |
427.82/428.28	c |    730201 |    2787    18167    66278 |    84232    84432     33 |  0.000 % |
428.32/428.70	c |    730610 |    2787    18167    66278 |    84232    74606     33 |  0.000 % |
428.52/428.92	c |    731062 |    2787    18167    66278 |    84232    75058     32 |  0.000 % |
428.82/429.21	c |    731555 |    2787    18167    66278 |    84232    75551     32 |  0.000 % |
429.12/429.54	c |    732097 |    2787    18167    66278 |    84232    76093     32 |  0.000 % |
429.51/429.94	c |    732694 |    2787    18167    66278 |    84232    76690     33 |  0.000 % |
429.81/430.29	c |    733349 |    2787    18167    66278 |    84232    77345     33 |  0.000 % |
430.21/430.65	c |    734069 |    2787    18167    66278 |    84232    78065     33 |  0.000 % |
430.61/431.08	c |    734862 |    2787    18167    66278 |    84232    78858     32 |  0.000 % |
431.12/431.51	c |    735734 |    2787    18167    66278 |    84232    79730     33 |  0.000 % |
431.71/432.18	c |    736692 |    2787    18167    66278 |    84232    80688     33 |  0.000 % |
432.32/432.74	c |    737745 |    2787    18167    66278 |    84232    81741     33 |  0.000 % |
432.91/433.33	c |    738903 |    2787    18167    66278 |    84232    82899     33 |  0.000 % |
433.61/434.08	c |    740176 |    2787    18167    66278 |    83996    84172     33 |  0.000 % |
434.42/434.87	c |    741576 |    2787    18167    66278 |    83996    76027     32 |  0.000 % |
435.21/435.62	c |    743116 |    2787    18167    66278 |    83996    77567     33 |  0.000 % |
436.11/436.51	c |    744810 |    2787    18167    66278 |    83996    79261     32 |  0.000 % |
437.11/437.55	c |    746674 |    2787    18167    66278 |    83996    81125     33 |  0.000 % |
438.21/438.64	c |    748724 |    2787    18167    66278 |    83996    83175     33 |  0.000 % |
439.51/439.98	c |    750977 |    2787    18167    66278 |    84452    85428     33 |  0.000 % |
440.91/441.30	c |    753455 |    2787    18167    66278 |    84452    76986     33 |  0.000 % |
442.41/442.83	c |    756182 |    2787    18167    66278 |    84452    79713     33 |  0.000 % |
443.81/444.28	c |    759180 |    2787    18167    66278 |    84452    82711     33 |  0.000 % |
445.71/446.14	c |    762479 |    2787    18167    66278 |    83532    73548     32 |  0.000 % |
447.31/447.78	c |    766104 |    2787    18167    66278 |    83532    77173     32 |  0.000 % |
449.81/450.23	c |    770091 |    2787    18167    66278 |    81071    81160     32 |  0.000 % |
451.90/452.32	c |    774477 |    2787    18167    66278 |    81071    71330     31 |  0.000 % |
455.30/455.71	c |    779300 |    2787    18167    66278 |    81071    76153     32 |  0.000 % |
458.50/458.96	c |    784605 |    2787    18167    66278 |    76854    63567     31 |  0.000 % |
461.90/462.38	c |    790441 |    2787    18167    66278 |    68962    69403     32 |  0.000 % |
465.70/466.16	c |    796859 |    2787    18167    66278 |    68962    64129     32 |  0.000 % |
470.10/470.54	c |    803920 |    2787    18167    66278 |    67270    57440     33 |  0.000 % |
470.19/470.60	c |    804021 |    2787    18167    66278 |    67270    57541     33 |  0.000 % |
470.19/470.67	c |    804131 |    2787    18167    66278 |    67270    57651     33 |  0.000 % |
470.29/470.74	c |    804253 |    2787    18167    66278 |    67270    57773     33 |  0.000 % |
470.39/470.83	c |    804389 |    2787    18167    66278 |    67270    57909     33 |  0.000 % |
470.49/470.90	c |    804536 |    2787    18167    66278 |    67270    58056     33 |  0.000 % |
470.59/471.03	c |    804696 |    2787    18167    66278 |    67270    58216     33 |  0.000 % |
470.59/471.09	c |    804873 |    2787    18167    66278 |    67270    58393     33 |  0.000 % |
470.89/471.30	c |    805066 |    2787    18167    66278 |    67270    58586     33 |  0.000 % |
470.99/471.49	c |    805279 |    2787    18167    66278 |    67270    58799     33 |  0.000 % |
471.19/471.64	c |    805513 |    2787    18167    66278 |    67270    59033     33 |  0.000 % |
471.29/471.79	c |    805769 |    2787    18167    66278 |    67270    59289     33 |  0.000 % |
471.49/471.97	c |    806050 |    2787    18167    66278 |    67270    59570     33 |  0.000 % |
471.80/472.21	c |    806359 |    2787    18167    66278 |    67270    59879     33 |  0.000 % |
471.99/472.45	c |    806698 |    2787    18167    66278 |    67270    60218     33 |  0.000 % |
472.39/472.84	c |    807070 |    2787    18167    66278 |    67270    60590     33 |  0.000 % |
472.69/473.14	c |    807479 |    2787    18167    66278 |    67270    60999     33 |  0.000 % |
473.00/473.42	c |    807928 |    2787    18167    66278 |    67270    61448     34 |  0.000 % |
473.29/473.77	c |    808421 |    2787    18167    66278 |    67270    61941     34 |  0.000 % |
473.69/474.16	c |    808964 |    2787    18167    66278 |    67270    62484     34 |  0.000 % |
474.09/474.59	c |    809561 |    2787    18167    66278 |    67270    63081     34 |  0.000 % |
474.69/475.13	c |    810216 |    2787    18167    66278 | 2147483647    63736     34 |  0.000 % |
475.19/475.63	c |    810937 |    2787    18167    66278 | 2147483647    64457     34 |  0.000 % |
476.59/477.02	c |    811729 |    2787    18167    66278 | 2147483647    65249     35 |  0.000 % |
477.19/477.65	c |    812601 |    2787    18167    66278 | 2147483647    66121     35 |  0.000 % |
477.89/478.40	c |    813559 |    2787    18167    66278 | 2147483647    67079     35 |  0.000 % |
478.79/479.22	c |    814612 |    2787    18167    66278 | 2147483647    68132     36 |  0.000 % |
479.69/480.13	c |    815771 |    2787    18167    66278 | 2147483647    69291     36 |  0.000 % |
480.69/481.19	c |    817045 |    2787    18167    66278 | 2147483647    70565     36 |  0.000 % |
481.79/482.29	c |    818445 |    2787    18167    66278 | 2147483647    71965     37 |  0.000 % |
483.09/483.50	c |    819985 |    2787    18167    66278 | 2147483647    73505     37 |  0.000 % |
484.49/484.99	c |    821680 |    2787    18167    66278 | 2147483647    75200     37 |  0.000 % |
486.09/486.59	c |    823544 |    2787    18167    66278 | 2147483647    77064     38 |  0.000 % |
488.18/488.64	c |    825594 |    2787    18167    66278 | 2147483647    79114     38 |  0.000 % |
490.28/490.76	c |    827848 |    2787    18167    66278 | 2147483647    81368     39 |  0.000 % |
492.48/492.95	c |    830327 |    2787    18167    66278 | 2147483647    83847     39 |  0.000 % |
495.48/496.00	c |    833053 |    2787    18167    66278 | 2147483647    86573     40 |  0.000 % |
498.97/499.48	c |    836051 |    2787    18167    66278 | 2147483647    89571     40 |  0.000 % |
502.77/503.26	c |    839347 |    2787    18167    66278 | 2147483647    92867     41 |  0.000 % |
508.67/509.11	c |    842972 |    2787    18167    66278 |    93520    83133     43 |  0.000 % |
513.06/513.54	c |    846959 |    2787    18167    66278 |    93520    87120     43 |  0.000 % |
518.86/519.33	c |    851344 |    2787    18167    66278 |    90161    80895     46 |  0.000 % |
524.26/524.77	c |    856169 |    2787    18167    66278 |    90161    85720     46 |  0.000 % |
531.06/531.50	c |    861474 |    2787    18167    66278 |    89551    77864     48 |  0.000 % |
537.96/538.41	c |    867309 |    2787    18167    66278 |    89551    83699     49 |  0.000 % |
545.86/546.30	c |    873727 |    2787    18167    66278 |    86391    77080     52 |  0.000 % |
554.85/555.31	c |    880787 |    2787    18167    66278 |    83353    71221     54 |  0.000 % |
564.15/564.67	c |    888552 |    2787    18167    66278 |    83353    78986     54 |  0.000 % |
564.35/564.85	c |    888655 |    2787    18167    66278 |    83353    79089     54 |  0.000 % |
564.45/564.99	c |    888766 |    2787    18167    66278 |    83353    79200     54 |  0.000 % |
564.65/565.18	c |    888888 |    2787    18167    66278 |    83353    79322     54 |  0.000 % |
564.85/565.36	c |    889022 |    2787    18167    66278 |    83353    79456     54 |  0.000 % |
565.05/565.57	c |    889170 |    2787    18167    66278 |    83353    79604     54 |  0.000 % |
565.25/565.78	c |    889332 |    2787    18167    66278 |    83353    79766     54 |  0.000 % |
565.55/566.01	c |    889508 |    2787    18167    66278 |    83353    79942     54 |  0.000 % |
565.85/566.30	c |    889702 |    2787    18167    66278 |    83353    80136     54 |  0.000 % |
566.14/566.61	c |    889915 |    2787    18167    66278 |    83353    80349     54 |  0.000 % |
566.54/567.08	c |    890148 |    2787    18167    66278 |    80434    65690     53 |  0.000 % |
566.84/567.33	c |    890404 |    2787    18167    66278 |    80434    65946     53 |  0.000 % |
567.14/567.63	c |    890686 |    2787    18167    66278 |    80434    66228     53 |  0.000 % |
567.45/567.90	c |    890997 |    2787    18167    66278 |    80434    66539     53 |  0.001 % |
567.74/568.22	c |    891337 |    2787    18167    66278 |    80434    66879     53 |  0.000 % |
568.14/568.60	c |    891709 |    2787    18167    66278 |    80434    67251     53 |  0.000 % |
568.55/569.01	c |    892119 |    2787    18167    66278 |    80434    67661     53 |  0.000 % |
568.94/569.47	c |    892569 |    2787    18167    66278 |    80434    68111     53 |  0.000 % |
569.54/570.05	c |    893063 |    2787    18167    66278 |    80434    68605     53 |  0.000 % |
570.04/570.52	c |    893607 |    2787    18167    66278 |    80434    69149     53 |  0.000 % |
570.64/571.16	c |    894204 |    2787    18167    66278 |    80434    69746     53 |  0.000 % |
571.44/571.93	c |    894859 |    2787    18167    66278 |    80434    70401     53 |  0.000 % |
572.24/572.79	c |    895579 |    2787    18167    66278 |    80434    71121     53 |  0.000 % |
573.14/573.69	c |    896372 |    2787    18167    66278 |    80434    71914     54 |  0.000 % |
574.14/574.65	c |    897243 |    2787    18167    66278 |    80434    72785     54 |  0.000 % |
575.34/575.87	c |    898201 |    2787    18167    66278 |    80434    73743     54 |  0.000 % |
576.84/577.39	c |    899254 |    2787    18167    66278 |    80434    74796     54 |  0.000 % |
578.24/578.75	c |    900413 |    2787    18167    66278 |    75544    64116     53 |  0.000 % |
579.54/580.03	c |    901686 |    2787    18167    66278 |    75544    65389     53 |  0.000 % |
581.04/581.50	c |    903087 |    2787    18167    66278 |    75544    66790     53 |  0.000 % |
582.53/583.09	c |    904627 |    2787    18167    66278 |    75544    68330     53 |  0.000 % |
584.23/584.80	c |    906321 |    2787    18167    66278 |    75544    70024     53 |  0.000 % |
586.33/586.83	c |    908185 |    2787    18167    66278 |    75544    71888     53 |  0.000 % |
588.63/589.20	c |    910234 |    2787    18167    66278 |    73705    64831     53 |  0.000 % |
591.03/591.57	c |    912487 |    2787    18167    66278 |    73705    67084     53 |  0.000 % |
593.83/594.32	c |    914966 |    2787    18167    66278 |    73705    69563     54 |  0.000 % |
597.13/597.66	c |    917692 |    2787    18167    66278 |    73705    72289     54 |  0.000 % |
600.82/601.32	c |    920689 |    2787    18167    66278 |    66567    59886     53 |  0.000 % |
604.02/604.57	c |    923985 |    2787    18167    66278 |    66567    63182     53 |  0.000 % |
608.02/608.50	c |    927610 |    2787    18167    66278 |    66567    60143     53 |  0.000 % |
612.22/612.73	c |    931597 |    2787    18167    66278 | 2147483647    64130     53 |  0.000 % |
616.92/617.43	c |    935984 |    2787    18167    66278 | 2147483647    68517     53 |  0.000 % |
622.61/623.13	c |    940808 |    2787    18167    66278 |    72534    63811     53 |  0.000 % |
628.31/628.81	c |    946114 |    2787    18167    66278 |    72534    69117     53 |  0.000 % |
635.01/635.51	c |    951950 |    2787    18167    66278 |    61995    54595     52 |  0.000 % |
641.61/642.11	c |    958368 |    2787    18167    66278 |    61995    61013     53 |  0.000 % |
648.60/649.20	c |    965428 |    2787    18167    66278 |    54874    53500     52 |  0.000 % |
656.60/657.13	c |    973192 |    2787    18167    66278 |    52501    50374     52 |  0.000 % |
664.59/665.16	c |    981733 |    2787    18167    66278 | 2147483647    53657     52 |  0.000 % |
664.69/665.27	c |    981833 |    2787    18167    66278 | 2147483647    53757     52 |  0.000 % |
664.79/665.37	c |    981944 |    2787    18167    66278 | 2147483647    53868     52 |  0.000 % |
664.99/665.50	c |    982065 |    2787    18167    66278 | 2147483647    53989     52 |  0.000 % |
665.09/665.61	c |    982199 |    2787    18167    66278 | 2147483647    54123     52 |  0.000 % |
665.19/665.76	c |    982346 |    2787    18167    66278 | 2147483647    54270     52 |  0.000 % |
665.30/665.88	c |    982506 |    2787    18167    66278 | 2147483647    54430     52 |  0.000 % |
665.49/666.02	c |    982683 |    2787    18167    66278 | 2147483647    54607     52 |  0.000 % |
665.59/666.18	c |    982876 |    2787    18167    66278 | 2147483647    54800     52 |  0.000 % |
665.79/666.38	c |    983089 |    2787    18167    66278 | 2147483647    55013     52 |  0.000 % |
666.09/666.61	c |    983322 |    2787    18167    66278 | 2147483647    55246     52 |  0.000 % |
666.29/666.84	c |    983578 |    2787    18167    66278 | 2147483647    55502     52 |  0.000 % |
666.59/667.10	c |    983859 |    2787    18167    66278 | 2147483647    55783     52 |  0.000 % |
666.89/667.43	c |    984169 |    2787    18167    66278 | 2147483647    56093     52 |  0.000 % |
667.19/667.75	c |    984508 |    2787    18167    66278 | 2147483647    56432     52 |  0.000 % |
667.60/668.13	c |    984881 |    2787    18167    66278 | 2147483647    56805     52 |  0.000 % |
667.99/668.56	c |    985290 |    2787    18167    66278 | 2147483647    57214     52 |  0.000 % |
668.39/668.96	c |    985739 |    2787    18167    66278 | 2147483647    57663     52 |  0.000 % |
668.89/669.42	c |    986232 |    2787    18167    66278 | 2147483647    58156     52 |  0.000 % |
669.39/669.93	c |    986774 |    2787    18167    66278 | 2147483647    58698     52 |  0.000 % |
669.99/670.54	c |    987370 |    2787    18167    66278 | 2147483647    59294     52 |  0.000 % |
670.69/671.21	c |    988026 |    2787    18167    66278 | 2147483647    59950     52 |  0.000 % |
671.39/671.91	c |    988746 |    2787    18167    66278 | 2147483647    60670     52 |  0.000 % |
672.19/672.76	c |    989538 |    2787    18167    66278 | 2147483647    61462     53 |  0.000 % |
673.09/673.64	c |    990409 |    2787    18167    66278 | 2147483647    62333     53 |  0.000 % |
674.09/674.64	c |    991367 |    2787    18167    66278 | 2147483647    63291     53 |  0.000 % |
675.19/675.77	c |    992421 |    2787    18167    66278 | 2147483647    64345     53 |  0.000 % |
676.39/676.95	c |    993579 |    2787    18167    66278 | 2147483647    65503     53 |  0.000 % |
677.78/678.35	c |    994852 |    2787    18167    66278 | 2147483647    66776     53 |  0.000 % |
679.38/679.97	c |    996252 |    2787    18167    66278 | 2147483647    68176     53 |  0.000 % |
681.18/681.70	c |    997793 |    2787    18167    66278 | 2147483647    69717     53 |  0.000 % |
682.98/683.57	c |    999488 |    2787    18167    66278 | 2147483647    71412     53 |  0.000 % |
685.48/686.01	c |   1001352 |    2787    18167    66278 |    71924    64472     52 |  0.000 % |
687.48/688.06	c |   1003402 |    2787    18167    66278 |    71924    66522     52 |  0.000 % |
689.98/690.58	c |   1005655 |    2787    18167    66278 |    71924    68775     53 |  0.000 % |
692.88/693.45	c |   1008133 |    2787    18167    66278 |    71924    71253     53 |  0.000 % |
696.27/696.81	c |   1010859 |    2787    18167    66278 |    65051    58252     52 |  0.000 % |
699.07/699.69	c |   1013859 |    2787    18167    66278 |    65051    61252     52 |  0.000 % |
702.67/703.27	c |   1017156 |    2787    18167    66278 |    65051    64549     52 |  0.000 % |
706.67/707.22	c |   1020782 |    2787    18167    66278 |    60194    54301     52 |  0.000 % |
710.47/711.01	c |   1024769 |    2787    18167    66278 |    60194    58288     52 |  0.000 % |
715.06/715.69	c |   1029154 |    2787    18167    66278 |    60194    56351     52 |  0.000 % |
719.86/720.48	c |   1033977 |    2787    18167    66278 |    57198    55447     52 |  0.000 % |
725.26/725.85	c |   1039282 |    2787    18167    66278 |    57198    55021     52 |  0.000 % |
730.76/731.40	c |   1045118 |    2787    18167    66278 | 2147483647    60857     52 |  0.000 % |
737.65/738.25	c |   1051536 |    2787    18167    66278 |    65740    60434     52 |  0.000 % |
745.55/746.13	c |   1058595 |    2787    18167    66278 |    65740    60910     52 |  0.000 % |
753.85/754.44	c |   1066359 |    2787    18167    66278 | 2147483647    68674     52 |  0.000 % |
763.84/764.48	c |   1074899 |    2787    18167    66278 |    72315    69196     52 |  0.000 % |
774.84/775.43	c |   1084294 |    2787    18167    66278 |    64458    59781     52 |  0.000 % |
774.94/775.54	c |   1084395 |    2787    18167    66278 |    64458    59882     52 |  0.000 % |
775.04/775.67	c |   1084505 |    2787    18167    66278 |    64458    59992     52 |  0.000 % |
775.24/775.83	c |   1084626 |    2787    18167    66278 |    64458    60113     52 |  0.000 % |
775.34/775.96	c |   1084759 |    2787    18167    66278 |    64458    60246     52 |  0.000 % |
775.53/776.12	c |   1084905 |    2787    18167    66278 |    64458    60392     52 |  0.000 % |
775.63/776.29	c |   1085065 |    2787    18167    66278 |    64458    60552     52 |  0.000 % |
775.83/776.49	c |   1085241 |    2787    18167    66278 |    64458    60728     52 |  0.000 % |
776.13/776.70	c |   1085434 |    2787    18167    66278 |    64458    60921     52 |  0.000 % |
776.34/776.92	c |   1085648 |    2787    18167    66278 |    64458    61135     52 |  0.000 % |
776.53/777.15	c |   1085883 |    2787    18167    66278 |    64458    61370     52 |  0.000 % |
776.83/777.42	c |   1086142 |    2787    18167    66278 |    64458    61629     52 |  0.000 % |
777.03/777.68	c |   1086423 |    2787    18167    66278 |    64458    61910     52 |  0.000 % |
777.33/777.99	c |   1086733 |    2787    18167    66278 |    64458    62220     52 |  0.000 % |
777.73/778.38	c |   1087073 |    2787    18167    66278 |    64458    62560     52 |  0.000 % |
778.23/778.83	c |   1087446 |    2787    18167    66278 |    64458    62933     52 |  0.000 % |
778.64/779.22	c |   1087855 |    2787    18167    66278 |    64458    63342     52 |  0.000 % |
779.13/779.71	c |   1088305 |    2787    18167    66278 |    64458    63792     52 |  0.000 % |
779.64/780.24	c |   1088799 |    2787    18167    66278 |    64458    64286     52 |  0.000 % |
780.33/780.95	c |   1089341 |    2787    18167    66278 |    64458    56991     52 |  0.000 % |
780.93/781.55	c |   1089938 |    2787    18167    66278 |    64458    57588     52 |  0.000 % |
781.63/782.29	c |   1090595 |    2787    18167    66278 |    57651    51486     51 |  0.000 % |
782.33/782.96	c |   1091315 |    2787    18167    66278 |    57651    52206     51 |  0.000 % |
783.03/783.64	c |   1092107 |    2787    18167    66278 |    57651    52998     52 |  0.000 % |
783.73/784.30	c |   1092978 |    2787    18167    66278 |    57651    53869     52 |  0.000 % |
784.53/785.18	c |   1093936 |    2787    18167    66278 |    57651    54827     52 |  0.000 % |
785.53/786.12	c |   1094989 |    2787    18167    66278 |    57651    55880     52 |  0.000 % |
786.63/787.25	c |   1096147 |    2787    18167    66278 |    57651    57038     52 |  0.000 % |
787.83/788.49	c |   1097420 |    2787    18167    66278 |    57651    52535     52 |  0.000 % |
789.13/789.75	c |   1098820 |    2787    18167    66278 |    57651    53935     52 |  0.000 % |
790.63/791.20	c |   1100360 |    2787    18167    66278 | 2147483647    55475     52 |  0.000 % |
792.33/792.90	c |   1102054 |    2787    18167    66278 | 2147483647    57169     52 |  0.000 % |
794.13/794.72	c |   1103917 |    2787    18167    66278 | 2147483647    59032     52 |  0.000 % |
796.13/796.79	c |   1105966 |    2787    18167    66278 | 2147483647    61081     52 |  0.000 % |
798.52/799.14	c |   1108219 |    2787    18167    66278 | 2147483647    63334     52 |  0.000 % |
801.02/801.68	c |   1110697 |    2787    18167    66278 | 2147483647    65812     52 |  0.000 % |
804.12/804.72	c |   1113422 |    2787    18167    66278 | 2147483647    68537     52 |  0.000 % |
807.22/807.85	c |   1116419 |    2787    18167    66278 | 2147483647    71534     52 |  0.000 % |
811.12/811.77	c |   1119716 |    2787    18167    66278 | 2147483647    74831     53 |  0.000 % |
815.61/816.21	c |   1123341 |    2787    18167    66278 |    75117    68539     53 |  0.000 % |
820.61/821.20	c |   1127328 |    2787    18167    66278 |    75117    72526     53 |  0.000 % |
825.91/826.54	c |   1131713 |    2787    18167    66278 |    64010    56176     52 |  0.000 % |
831.11/831.71	c |   1136537 |    2787    18167    66278 |    64010    61000     52 |  0.000 % |
837.00/837.67	c |   1141843 |    2787    18167    66278 |    56305    50899     51 |  0.000 % |
842.80/843.46	c |   1147679 |    2787    18167    66278 |    56305    51094     51 |  0.000 % |
847.30/847.99	c |   1154097 |    2787    18167    66278 | 2147483647    57512     52 |  0.000 % |
855.99/856.65	c |   1161158 |    2787    18167    66278 |    63415    54497     52 |  0.000 % |
863.99/864.61	c |   1168922 |    2787    18167    66278 |    63415    62261     52 |  0.000 % |
872.99/873.61	c |   1177463 |    2787    18167    66278 |    63339    62509     52 |  0.000 % |
882.38/883.02	c |   1186857 |    2787    18167    66278 |    56071    55347     52 |  0.000 % |
892.48/893.11	c |   1197192 |    2787    18167    66278 | 2147483647    60066     52 |  0.000 % |
892.58/893.22	c |   1197292 |    2787    18167    66278 | 2147483647    60166     52 |  0.000 % |
892.68/893.33	c |   1197402 |    2787    18167    66278 | 2147483647    60276     52 |  0.000 % |
892.78/893.47	c |   1197523 |    2787    18167    66278 | 2147483647    60397     52 |  0.000 % |
892.98/893.62	c |   1197656 |    2787    18167    66278 | 2147483647    60530     52 |  0.000 % |
893.08/893.77	c |   1197803 |    2787    18167    66278 | 2147483647    60677     52 |  0.000 % |
893.28/893.93	c |   1197966 |    2787    18167    66278 | 2147483647    60840     52 |  0.000 % |
893.38/894.09	c |   1198143 |    2787    18167    66278 | 2147483647    61017     52 |  0.000 % |
893.58/894.27	c |   1198336 |    2787    18167    66278 | 2147483647    61210     52 |  0.000 % |
893.78/894.48	c |   1198549 |    2787    18167    66278 | 2147483647    61423     52 |  0.000 % |
893.98/894.68	c |   1198782 |    2787    18167    66278 | 2147483647    61656     52 |  0.000 % |
894.28/894.96	c |   1199040 |    2787    18167    66278 | 2147483647    61914     52 |  0.000 % |
894.58/895.26	c |   1199322 |    2787    18167    66278 | 2147483647    62196     52 |  0.000 % |
894.88/895.53	c |   1199634 |    2787    18167    66278 | 2147483647    62508     52 |  0.000 % |
895.18/895.87	c |   1199973 |    2787    18167    66278 | 2147483647    62847     52 |  0.000 % |
895.58/896.25	c |   1200345 |    2787    18167    66278 | 2147483647    63219     52 |  0.000 % |
895.98/896.69	c |   1200755 |    2787    18167    66278 | 2147483647    63629     52 |  0.000 % |
896.48/897.11	c |   1201204 |    2787    18167    66278 | 2147483647    64078     52 |  0.000 % |
896.98/897.63	c |   1201698 |    2787    18167    66278 | 2147483647    64572     52 |  0.000 % |
897.58/898.26	c |   1202240 |    2787    18167    66278 | 2147483647    65114     52 |  0.000 % |
898.18/898.87	c |   1202836 |    2787    18167    66278 | 2147483647    65710     52 |  0.000 % |
898.98/899.61	c |   1203493 |    2787    18167    66278 | 2147483647    66367     52 |  0.000 % |
899.68/900.35	c |   1204213 |    2787    18167    66278 | 2147483647    67087     52 |  0.000 % |
900.47/901.16	c |   1205005 |    2787    18167    66278 | 2147483647    67879     52 |  0.000 % |
901.08/901.79	c |   1205877 |    2787    18167    66278 | 2147483647    68751     52 |  0.002 % |
902.07/902.74	c |   1206835 |    2787    18167    66278 | 2147483647    69709     52 |  0.000 % |
903.07/903.75	c |   1207888 |    2787    18167    66278 | 2147483647    70762     53 |  0.000 % |
904.17/904.85	c |   1209046 |    2787    18167    66278 | 2147483647    71920     53 |  0.000 % |
905.57/906.30	c |   1210321 |    2787    18167    66278 | 2147483647    73195     53 |  0.000 % |
907.07/907.70	c |   1211721 |    2787    18167    66278 | 2147483647    74595     53 |  0.000 % |
908.67/909.32	c |   1213261 |    2787    18167    66278 | 2147483647    76135     53 |  0.000 % |
910.37/911.06	c |   1214957 |    2787    18167    66278 | 2147483647    77831     53 |  0.000 % |
912.57/913.20	c |   1216820 |    2787    18167    66278 | 2147483647    79694     53 |  0.000 % |
914.87/915.52	c |   1218869 |    2787    18167    66278 | 2147483647    81743     53 |  0.000 % |
917.47/918.19	c |   1221123 |    2787    18167    66278 |    82874    74948     53 |  0.000 % |
920.47/921.14	c |   1223602 |    2787    18167    66278 |    82874    77427     53 |  0.000 % |
923.77/924.43	c |   1226329 |    2787    18167    66278 |    82874    80154     53 |  0.000 % |
927.76/928.44	c |   1229326 |    2787    18167    66278 |    82874    71307     53 |  0.000 % |
931.36/932.07	c |   1232622 |    2787    18167    66278 |    71981    64445     52 |  0.000 % |
935.55/936.28	c |   1236249 |    2787    18167    66278 |    71981    68072     53 |  0.000 % |
940.55/941.20	c |   1240237 |    2787    18167    66278 |    71823    62221     52 |  0.000 % |
945.25/945.90	c |   1244622 |    2787    18167    66278 |    71823    66606     52 |  0.000 % |
950.85/951.53	c |   1249446 |    2787    18167    66278 |    71823    71430     53 |  0.000 % |
956.65/957.31	c |   1254752 |    2787    18167    66278 |    63757    61190     52 |  0.000 % |
962.84/963.56	c |   1260589 |    2787    18167    66278 | 2147483647    60643     52 |  0.000 % |
970.14/970.89	c |   1267007 |    2787    18167    66278 | 2147483647    67061     53 |  0.000 % |
978.53/979.29	c |   1274066 |    2787    18167    66278 |    70055    64471     52 |  0.000 % |
988.33/989.05	c |   1281831 |    2787    18167    66278 |    60528    53888     52 |  0.000 % |
997.93/998.68	c |   1290371 |    2787    18167    66278 |    53896    47130     51 |  0.000 % |
1007.23/1007.93	c |   1299765 |    2787    18167    66278 |    53896    51129     51 |  0.000 % |
1018.32/1019.08	c |   1310098 |    2787    18167    66278 |    61364    54872     52 |  0.000 % |
1031.01/1031.76	c |   1321464 |    2787    18167    66278 |    57514    51774     51 |  0.000 % |
1031.11/1031.88	c |   1321564 |    2787    18167    66278 |    57514    51874     51 |  0.000 % |
1031.31/1032.00	c |   1321674 |    2787    18167    66278 |    57514    51984     51 |  0.000 % |
1031.42/1032.13	c |   1321795 |    2787    18167    66278 |    57514    52105     51 |  0.000 % |
1031.52/1032.28	c |   1321928 |    2787    18167    66278 |    57514    52238     51 |  0.000 % |
1031.71/1032.43	c |   1322074 |    2787    18167    66278 |    57514    52384     51 |  0.000 % |
1031.81/1032.59	c |   1322235 |    2787    18167    66278 |    57514    52545     51 |  0.000 % |
1032.01/1032.77	c |   1322411 |    2787    18167    66278 |    57514    52721     51 |  0.000 % |
1032.21/1032.97	c |   1322604 |    2787    18167    66278 |    57514    52914     51 |  0.000 % |
1032.41/1033.17	c |   1322817 |    2787    18167    66278 |    57514    53127     51 |  0.000 % |
1032.71/1033.40	c |   1323051 |    2787    18167    66278 |    57514    53361     51 |  0.000 % |
1032.91/1033.63	c |   1323307 |    2787    18167    66278 |    57514    53617     51 |  0.000 % |
1033.21/1033.91	c |   1323588 |    2787    18167    66278 |    57514    53898     51 |  0.000 % |
1033.51/1034.20	c |   1323898 |    2787    18167    66278 |    57514    54208     51 |  0.000 % |
1033.72/1034.48	c |   1324238 |    2787    18167    66278 |    57514    54548     52 |  0.000 % |
1033.91/1034.69	c |   1324611 |    2787    18167    66278 |    57514    54921     52 |  0.000 % |
1034.31/1035.06	c |   1325022 |    2787    18167    66278 |    57514    55332     52 |  0.000 % |
1034.72/1035.47	c |   1325472 |    2787    18167    66278 |    57514    55782     52 |  0.000 % |
1035.11/1035.87	c |   1325965 |    2787    18167    66278 |    57514    56275     52 |  0.000 % |
1035.61/1036.36	c |   1326509 |    2787    18167    66278 |    57514    56819     52 |  0.000 % |
1036.11/1036.87	c |   1327106 |    2787    18167    66278 |    57514    57416     52 |  0.000 % |
1036.81/1037.51	c |   1327761 |    2787    18167    66278 |    57514    52310     51 |  0.000 % |
1037.41/1038.17	c |   1328481 |    2787    18167    66278 |    57514    53030     51 |  0.000 % |
1038.21/1038.92	c |   1329274 |    2787    18167    66278 |    57514    53823     51 |  0.000 % |
1039.01/1039.72	c |   1330146 |    2787    18167    66278 | 2147483647    54695     51 |  0.000 % |
1039.91/1040.64	c |   1331104 |    2787    18167    66278 | 2147483647    55653     52 |  0.000 % |
1040.91/1041.62	c |   1332157 |    2787    18167    66278 | 2147483647    56706     52 |  0.000 % |
1042.11/1042.87	c |   1333315 |    2787    18167    66278 | 2147483647    57864     52 |  0.000 % |
1043.41/1044.15	c |   1334589 |    2787    18167    66278 | 2147483647    59138     52 |  0.000 % |
1045.01/1045.73	c |   1335989 |    2787    18167    66278 | 2147483647    60538     52 |  0.000 % |
1046.60/1047.35	c |   1337529 |    2787    18167    66278 | 2147483647    62078     52 |  0.000 % |
1048.20/1048.93	c |   1339224 |    2787    18167    66278 | 2147483647    63773     52 |  0.000 % |
1050.30/1051.07	c |   1341087 |    2787    18167    66278 | 2147483647    65636     52 |  0.000 % |
1052.70/1053.41	c |   1343136 |    2787    18167    66278 | 2147483647    67685     52 |  0.000 % |
1055.40/1056.13	c |   1345391 |    2787    18167    66278 | 2147483647    69940     52 |  0.000 % |
1058.10/1058.80	c |   1347870 |    2787    18167    66278 | 2147483647    72419     52 |  0.000 % |
1061.30/1062.02	c |   1350595 |    2787    18167    66278 |    74549    65855     52 |  0.000 % |
1064.70/1065.42	c |   1353592 |    2787    18167    66278 |    74549    68852     52 |  0.000 % |
1068.80/1069.57	c |   1356888 |    2787    18167    66278 |    74549    72148     52 |  0.000 % |
1073.69/1074.49	c |   1360514 |    2787    18167    66278 |    62295    52389     52 |  0.000 % |
1077.69/1078.47	c |   1364501 |    2787    18167    66278 |    62295    56376     52 |  0.000 % |
1082.39/1083.15	c |   1368887 |    2787    18167    66278 |    62295    60762     52 |  0.000 % |
1087.88/1088.68	c |   1373712 |    2787    18167    66278 |    61875    58319     52 |  0.000 % |
1093.28/1094.08	c |   1379017 |    2787    18167    66278 |    61875    57425     52 |  0.000 % |
1099.68/1100.47	c |   1384853 |    2787    18167    66278 | 2147483647    63261     52 |  0.000 % |
1106.57/1107.33	c |   1391271 |    2787    18167    66278 |    68408    60128     52 |  0.000 % |
1114.77/1115.57	c |   1398331 |    2787    18167    66278 |    68408    67188     52 |  0.000 % |
1123.37/1124.19	c |   1406096 |    2787    18167    66278 |    57389    53897     52 |  0.000 % |
1131.46/1132.29	c |   1414638 |    2787    18167    66278 |    50655    49138     52 |  0.000 % |
1139.66/1140.49	c |   1424034 |    2787    18167    66278 | 2147483647    53458     52 |  0.000 % |
1151.05/1151.80	c |   1434368 |    2787    18167    66278 | 2147483647    63792     52 |  0.000 % |
1164.45/1165.30	c |   1445734 |    2787    18167    66278 |    69425    64359     53 |  0.000 % |
1179.04/1179.89	c |   1458236 |    2787    18167    66278 |    68625    65281     53 |  0.000 % |
1179.24/1180.03	c |   1458337 |    2787    18167    66278 |    68625    65382     53 |  0.000 % |
1179.34/1180.18	c |   1458447 |    2787    18167    66278 |    68625    65492     53 |  0.000 % |
1179.54/1180.32	c |   1458568 |    2787    18167    66278 |    68625    65613     53 |  0.000 % |
1179.64/1180.49	c |   1458702 |    2787    18167    66278 |    68625    65747     53 |  0.000 % |
1179.85/1180.63	c |   1458848 |    2787    18167    66278 |    68625    65893     53 |  0.000 % |
1180.04/1180.83	c |   1459008 |    2787    18167    66278 |    68625    66053     53 |  0.000 % |
1180.24/1181.06	c |   1459184 |    2787    18167    66278 |    68625    66229     53 |  0.000 % |
1180.44/1181.29	c |   1459378 |    2787    18167    66278 |    68625    66423     53 |  0.000 % |
1180.64/1181.49	c |   1459591 |    2787    18167    66278 |    68625    66636     53 |  0.000 % |
1180.94/1181.72	c |   1459824 |    2787    18167    66278 |    68625    66869     53 |  0.000 % |
1181.14/1181.97	c |   1460080 |    2787    18167    66278 |    67045    67125     53 |  0.000 % |
1181.54/1182.36	c |   1460363 |    2787    18167    66278 |    67045    56268     52 |  0.000 % |
1181.84/1182.61	c |   1460673 |    2787    18167    66278 |    67045    56578     52 |  0.000 % |
1182.14/1182.91	c |   1461013 |    2787    18167    66278 |    67045    56918     52 |  0.000 % |
1182.44/1183.25	c |   1461387 |    2787    18167    66278 |    67045    57292     52 |  0.000 % |
1182.84/1183.60	c |   1461797 |    2787    18167    66278 |    67045    57702     52 |  0.000 % |
1183.24/1184.03	c |   1462248 |    2787    18167    66278 |    67045    58153     52 |  0.000 % |
1183.74/1184.52	c |   1462742 |    2787    18167    66278 |    67045    58647     52 |  0.000 % |
1184.24/1185.02	c |   1463285 |    2787    18167    66278 |    67045    59190     52 |  0.000 % |
1184.73/1185.59	c |   1463882 |    2787    18167    66278 |    67045    59787     52 |  0.000 % |
1185.53/1186.33	c |   1464537 |    2787    18167    66278 |    67045    60442     52 |  0.000 % |
1186.23/1187.08	c |   1465258 |    2787    18167    66278 |    67045    61163     52 |  0.000 % |
1187.13/1187.96	c |   1466050 |    2787    18167    66278 |    67045    61955     52 |  0.000 % |
1188.13/1188.97	c |   1466921 |    2787    18167    66278 |    67045    62826     52 |  0.000 % |
1189.23/1190.00	c |   1467880 |    2787    18167    66278 |    67045    63785     52 |  0.000 % |
1190.33/1191.18	c |   1468933 |    2787    18167    66278 |    67045    64838     52 |  0.000 % |
1191.83/1192.60	c |   1470092 |    2787    18167    66278 |    65906    57955     52 |  0.000 % |
1193.13/1193.93	c |   1471365 |    2787    18167    66278 |    65906    59228     52 |  0.000 % |
1194.63/1195.47	c |   1472765 |    2787    18167    66278 |    65906    60628     52 |  0.000 % |
1196.33/1197.15	c |   1474305 |    2787    18167    66278 |    65906    62168     52 |  0.000 % |
1198.33/1199.13	c |   1476001 |    2787    18167    66278 |    65906    63864     52 |  0.000 % |
1200.03/1200.81	HOME/SatELiteGTI: line 36: 15855 Terminated              $MS $TMP.cnf $TMP.result

Verifier Data

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

Watcher Data

runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-1832215-1242770355/watcher-1832215-1242770355 -o /tmp/evaluation-result-1832215-1242770355/solver-1832215-1242770355 -C 1200 -W 1800 -M 1800 SatELiteGTI HOME/instance-1832215-1242770355.cnf 

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


[startup+0 s]
/proc/loadavg: 0.92 0.98 0.99 3/64 15849
/proc/meminfo: memFree=1979840/2055920 swapFree=4179204/4192956
[pid=15849] ppid=15847 vsize=5356 CPUtime=0
/proc/15849/stat : 15849 (SatELiteGTI) S 15847 15849 15695 0 -1 4194304 310 249 0 0 0 0 0 0 18 0 1 0 305068811 5484544 237 1992294400 4194304 4889804 548682068832 18446744073709551615 217871606596 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/15849/statm: 1339 237 197 169 0 50 0

[startup+0.0859511 s]
/proc/loadavg: 0.92 0.98 0.99 3/64 15849
/proc/meminfo: memFree=1979840/2055920 swapFree=4179204/4192956
[pid=15849] ppid=15847 vsize=5356 CPUtime=0
/proc/15849/stat : 15849 (SatELiteGTI) S 15847 15849 15695 0 -1 4194304 310 249 0 0 0 0 0 0 18 0 1 0 305068811 5484544 237 1992294400 4194304 4889804 548682068832 18446744073709551615 217871606596 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/15849/statm: 1339 237 197 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356

[startup+0.101953 s]
/proc/loadavg: 0.92 0.98 0.99 3/64 15849
/proc/meminfo: memFree=1979840/2055920 swapFree=4179204/4192956
[pid=15849] ppid=15847 vsize=5356 CPUtime=0
/proc/15849/stat : 15849 (SatELiteGTI) S 15847 15849 15695 0 -1 4194304 310 249 0 0 0 0 0 0 18 0 1 0 305068811 5484544 237 1992294400 4194304 4889804 548682068832 18446744073709551615 217871606596 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/15849/statm: 1339 237 197 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356

[startup+0.301993 s]
/proc/loadavg: 0.92 0.98 0.99 3/64 15849
/proc/meminfo: memFree=1979840/2055920 swapFree=4179204/4192956
[pid=15849] ppid=15847 vsize=5356 CPUtime=0.15
/proc/15849/stat : 15849 (SatELiteGTI) S 15847 15849 15695 0 -1 4194304 336 1208 0 0 0 0 15 0 15 0 1 0 305068811 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 217871606596 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/15849/statm: 1339 239 197 169 0 50 0
Current children cumulated CPU time (s) 0.15
Current children cumulated vsize (KiB) 5356

[startup+0.70107 s]
/proc/loadavg: 0.92 0.98 0.99 3/64 15849
/proc/meminfo: memFree=1979840/2055920 swapFree=4179204/4192956
[pid=15849] ppid=15847 vsize=5356 CPUtime=0.15
/proc/15849/stat : 15849 (SatELiteGTI) S 15847 15849 15695 0 -1 4194304 336 1208 0 0 0 0 15 0 15 0 1 0 305068811 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 217871606596 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/15849/statm: 1339 239 197 169 0 50 0
Current children cumulated CPU time (s) 0.15
Current children cumulated vsize (KiB) 5356

[startup+1.50123 s]
/proc/loadavg: 0.92 0.98 0.99 2/66 15855
/proc/meminfo: memFree=1976752/2055920 swapFree=4179204/4192956
[pid=15849] ppid=15847 vsize=5356 CPUtime=0.15
/proc/15849/stat : 15849 (SatELiteGTI) S 15847 15849 15695 0 -1 4194304 336 1208 0 0 0 0 15 0 15 0 1 0 305068811 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 217871606596 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/15849/statm: 1339 239 197 169 0 50 0
[pid=15855] ppid=15849 vsize=4084 CPUtime=1.3
/proc/15855/stat : 15855 (minisat_static) R 15849 15849 15695 0 -1 4194304 746 0 0 0 130 0 0 0 25 0 1 0 305068830 4182016 732 1992294400 134512640 135215339 4294956240 18446744073709551615 134528700 0 0 4096 3 0 0 0 17 1 0 0
/proc/15855/statm: 1021 732 76 171 0 848 0
Current children cumulated CPU time (s) 1.45
Current children cumulated vsize (KiB) 9440

[startup+3.22015 s]
/proc/loadavg: 0.92 0.98 0.99 2/66 15855
/proc/meminfo: memFree=1976048/2055920 swapFree=4179204/4192956
[pid=15849] ppid=15847 vsize=5356 CPUtime=0.15
/proc/15849/stat : 15849 (SatELiteGTI) S 15847 15849 15695 0 -1 4194304 336 1208 0 0 0 0 15 0 15 0 1 0 305068811 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 217871606596 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/15849/statm: 1339 239 197 169 0 50 0
[pid=15855] ppid=15849 vsize=4480 CPUtime=3.11
/proc/15855/stat : 15855 (minisat_static) R 15849 15849 15695 0 -1 4194304 847 0 0 0 311 0 0 0 25 0 1 0 305068830 4587520 833 1992294400 134512640 135215339 4294956240 18446744073709551615 134528700 0 0 4096 3 0 0 0 17 1 0 0
/proc/15855/statm: 1120 837 76 171 0 947 0
Current children cumulated CPU time (s) 3.26
Current children cumulated vsize (KiB) 9836

[startup+6.30117 s]
/proc/loadavg: 0.93 0.98 0.99 2/66 15855
/proc/meminfo: memFree=1974256/2055920 swapFree=4179204/4192956
[pid=15849] ppid=15847 vsize=5356 CPUtime=0.15
/proc/15849/stat : 15849 (SatELiteGTI) S 15847 15849 15695 0 -1 4194304 336 1208 0 0 0 0 15 0 15 0 1 0 305068811 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 217871606596 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/15849/statm: 1339 239 197 169 0 50 0
[pid=15855] ppid=15849 vsize=6352 CPUtime=6.08
/proc/15855/stat : 15855 (minisat_static) R 15849 15849 15695 0 -1 4194304 1304 0 0 0 608 0 0 0 25 0 1 0 305068830 6504448 1290 1992294400 134512640 135215339 4294956240 18446744073709551615 134525713 0 0 4096 3 0 0 0 17 1 0 0
/proc/15855/statm: 1588 1291 76 171 0 1415 0
Current children cumulated CPU time (s) 6.23
Current children cumulated vsize (KiB) 11708

[startup+12.7024 s]
/proc/loadavg: 0.93 0.98 0.99 2/66 15855
/proc/meminfo: memFree=1970224/2055920 swapFree=4179204/4192956
[pid=15849] ppid=15847 vsize=5356 CPUtime=0.15
/proc/15849/stat : 15849 (SatELiteGTI) S 15847 15849 15695 0 -1 4194304 336 1208 0 0 0 0 15 0 15 0 1 0 305068811 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 217871606596 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/15849/statm: 1339 239 197 169 0 50 0
[pid=15855] ppid=15849 vsize=10100 CPUtime=12.48
/proc/15855/stat : 15855 (minisat_static) R 15849 15849 15695 0 -1 4194304 2229 0 0 0 1246 2 0 0 25 0 1 0 305068830 10342400 2215 1992294400 134512640 135215339 4294956240 18446744073709551615 134721382 0 0 4096 3 0 0 0 17 1 0 0
/proc/15855/statm: 2525 2215 76 171 0 2352 0
Current children cumulated CPU time (s) 12.63
Current children cumulated vsize (KiB) 15456

[startup+25.5019 s]
/proc/loadavg: 0.95 0.98 0.99 2/66 15855
/proc/meminfo: memFree=1964848/2055920 swapFree=4179204/4192956
[pid=15849] ppid=15847 vsize=5356 CPUtime=0.15
/proc/15849/stat : 15849 (SatELiteGTI) S 15847 15849 15695 0 -1 4194304 336 1208 0 0 0 0 15 0 15 0 1 0 305068811 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 217871606596 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/15849/statm: 1339 239 197 169 0 50 0
[pid=15855] ppid=15849 vsize=15620 CPUtime=25.26
/proc/15855/stat : 15855 (minisat_static) R 15849 15849 15695 0 -1 4194304 3616 0 0 0 2523 3 0 0 25 0 1 0 305068830 15994880 3602 1992294400 134512640 135215339 4294956240 18446744073709551615 134528691 0 0 4096 3 0 0 0 17 1 0 0
/proc/15855/statm: 3905 3602 76 171 0 3732 0
Current children cumulated CPU time (s) 25.41
Current children cumulated vsize (KiB) 20976

[startup+51.1019 s]
/proc/loadavg: 0.96 0.98 0.99 2/66 15855
/proc/meminfo: memFree=1957488/2055920 swapFree=4179204/4192956
[pid=15849] ppid=15847 vsize=5356 CPUtime=0.15
/proc/15849/stat : 15849 (SatELiteGTI) S 15847 15849 15695 0 -1 4194304 336 1208 0 0 0 0 15 0 15 0 1 0 305068811 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 217871606596 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/15849/statm: 1339 239 197 169 0 50 0
[pid=15855] ppid=15849 vsize=22620 CPUtime=50.83
/proc/15855/stat : 15855 (minisat_static) R 15849 15849 15695 0 -1 4194304 5358 0 0 0 5078 5 0 0 25 0 1 0 305068830 23162880 5344 1992294400 134512640 135215339 4294956240 18446744073709551615 134538115 0 0 4096 3 0 0 0 17 1 0 0
/proc/15855/statm: 5655 5344 76 171 0 5482 0
Current children cumulated CPU time (s) 50.98
Current children cumulated vsize (KiB) 27976

[startup+102.302 s]
/proc/loadavg: 0.98 0.98 0.99 2/66 15855
/proc/meminfo: memFree=1956976/2055920 swapFree=4179204/4192956
[pid=15849] ppid=15847 vsize=5356 CPUtime=0.15
/proc/15849/stat : 15849 (SatELiteGTI) S 15847 15849 15695 0 -1 4194304 336 1208 0 0 0 0 15 0 15 0 1 0 305068811 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 217871606596 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/15849/statm: 1339 239 197 169 0 50 0
[pid=15855] ppid=15849 vsize=23080 CPUtime=102
/proc/15855/stat : 15855 (minisat_static) R 15849 15849 15695 0 -1 4194304 5465 0 0 0 10195 5 0 0 25 0 1 0 305068830 23633920 5451 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/15855/statm: 5770 5451 76 171 0 5597 0
Current children cumulated CPU time (s) 102.15
Current children cumulated vsize (KiB) 28436

[startup+162.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/66 15861
/proc/meminfo: memFree=1956648/2055920 swapFree=4179204/4192956
[pid=15849] ppid=15847 vsize=5356 CPUtime=0.15
/proc/15849/stat : 15849 (SatELiteGTI) S 15847 15849 15695 0 -1 4194304 336 1208 0 0 0 0 15 0 15 0 1 0 305068811 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 217871606596 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/15849/statm: 1339 239 197 169 0 50 0
[pid=15855] ppid=15849 vsize=23080 CPUtime=161.93
/proc/15855/stat : 15855 (minisat_static) R 15849 15849 15695 0 -1 4194304 5466 0 0 0 16187 6 0 0 25 0 1 0 305068830 23633920 5452 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/15855/statm: 5770 5452 76 171 0 5597 0
Current children cumulated CPU time (s) 162.08
Current children cumulated vsize (KiB) 28436

[startup+222.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/66 15861
/proc/meminfo: memFree=1956584/2055920 swapFree=4179204/4192956
[pid=15849] ppid=15847 vsize=5356 CPUtime=0.15
/proc/15849/stat : 15849 (SatELiteGTI) S 15847 15849 15695 0 -1 4194304 336 1208 0 0 0 0 15 0 15 0 1 0 305068811 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 217871606596 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/15849/statm: 1339 239 197 169 0 50 0
[pid=15855] ppid=15849 vsize=23080 CPUtime=221.88
/proc/15855/stat : 15855 (minisat_static) R 15849 15849 15695 0 -1 4194304 5466 0 0 0 22182 6 0 0 25 0 1 0 305068830 23633920 5452 1992294400 134512640 135215339 4294956240 18446744073709551615 134528673 0 0 4096 3 0 0 0 17 1 0 0
/proc/15855/statm: 5770 5452 76 171 0 5597 0
Current children cumulated CPU time (s) 222.03
Current children cumulated vsize (KiB) 28436

[startup+282.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/66 15861
/proc/meminfo: memFree=1956520/2055920 swapFree=4179204/4192956
[pid=15849] ppid=15847 vsize=5356 CPUtime=0.15
/proc/15849/stat : 15849 (SatELiteGTI) S 15847 15849 15695 0 -1 4194304 336 1208 0 0 0 0 15 0 15 0 1 0 305068811 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 217871606596 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/15849/statm: 1339 239 197 169 0 50 0
[pid=15855] ppid=15849 vsize=23080 CPUtime=281.85
/proc/15855/stat : 15855 (minisat_static) R 15849 15849 15695 0 -1 4194304 5466 0 0 0 28178 7 0 0 25 0 1 0 305068830 23633920 5452 1992294400 134512640 135215339 4294956240 18446744073709551615 134528802 0 0 4096 3 0 0 0 17 1 0 0
/proc/15855/statm: 5770 5452 76 171 0 5597 0
Current children cumulated CPU time (s) 282
Current children cumulated vsize (KiB) 28436

[startup+342.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/66 15861
/proc/meminfo: memFree=1956392/2055920 swapFree=4179204/4192956
[pid=15849] ppid=15847 vsize=5356 CPUtime=0.15
/proc/15849/stat : 15849 (SatELiteGTI) S 15847 15849 15695 0 -1 4194304 336 1208 0 0 0 0 15 0 15 0 1 0 305068811 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 217871606596 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/15849/statm: 1339 239 197 169 0 50 0
[pid=15855] ppid=15849 vsize=23080 CPUtime=341.81
/proc/15855/stat : 15855 (minisat_static) R 15849 15849 15695 0 -1 4194304 5471 0 0 0 34174 7 0 0 25 0 1 0 305068830 23633920 5457 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/15855/statm: 5770 5457 76 171 0 5597 0
Current children cumulated CPU time (s) 341.96
Current children cumulated vsize (KiB) 28436

[startup+402.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/66 15861
/proc/meminfo: memFree=1956264/2055920 swapFree=4179204/4192956
[pid=15849] ppid=15847 vsize=5356 CPUtime=0.15
/proc/15849/stat : 15849 (SatELiteGTI) S 15847 15849 15695 0 -1 4194304 336 1208 0 0 0 0 15 0 15 0 1 0 305068811 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 217871606596 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/15849/statm: 1339 239 197 169 0 50 0
[pid=15855] ppid=15849 vsize=23080 CPUtime=401.78
/proc/15855/stat : 15855 (minisat_static) R 15849 15849 15695 0 -1 4194304 5474 0 0 0 40171 7 0 0 25 0 1 0 305068830 23633920 5460 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/15855/statm: 5770 5460 76 171 0 5597 0
Current children cumulated CPU time (s) 401.93
Current children cumulated vsize (KiB) 28436

[startup+462.301 s]

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

[pid=15855] ppid=15849 vsize=23080 CPUtime=461.75
/proc/15855/stat : 15855 (minisat_static) R 15849 15849 15695 0 -1 4194304 5474 0 0 0 46168 7 0 0 25 0 1 0 305068830 23633920 5460 1992294400 134512640 135215339 4294956240 18446744073709551615 134528691 0 0 4096 3 0 0 0 17 1 0 0
/proc/15855/statm: 5770 5460 76 171 0 5597 0
Current children cumulated CPU time (s) 461.9
Current children cumulated vsize (KiB) 28436

[startup+522.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/66 15861
/proc/meminfo: memFree=1953200/2055920 swapFree=4179204/4192956
[pid=15849] ppid=15847 vsize=5356 CPUtime=0.15
/proc/15849/stat : 15849 (SatELiteGTI) S 15847 15849 15695 0 -1 4194304 336 1208 0 0 0 0 15 0 15 0 1 0 305068811 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 217871606596 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/15849/statm: 1339 239 197 169 0 50 0
[pid=15855] ppid=15849 vsize=26164 CPUtime=521.71
/proc/15855/stat : 15855 (minisat_static) R 15849 15849 15695 0 -1 4194304 6209 0 0 0 52164 7 0 0 25 0 1 0 305068830 26791936 6195 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/15855/statm: 6541 6195 76 171 0 6368 0
Current children cumulated CPU time (s) 521.86
Current children cumulated vsize (KiB) 31520

[startup+582.306 s]
/proc/loadavg: 0.99 0.98 0.99 2/66 15861
/proc/meminfo: memFree=1951152/2055920 swapFree=4179204/4192956
[pid=15849] ppid=15847 vsize=5356 CPUtime=0.15
/proc/15849/stat : 15849 (SatELiteGTI) S 15847 15849 15695 0 -1 4194304 336 1208 0 0 0 0 15 0 15 0 1 0 305068811 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 217871606596 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/15849/statm: 1339 239 197 169 0 50 0
[pid=15855] ppid=15849 vsize=28164 CPUtime=581.69
/proc/15855/stat : 15855 (minisat_static) R 15849 15849 15695 0 -1 4194304 6708 0 0 0 58161 8 0 0 25 0 1 0 305068830 28839936 6694 1992294400 134512640 135215339 4294956240 18446744073709551615 134528666 0 0 4096 3 0 0 0 17 1 0 0
/proc/15855/statm: 7041 6694 76 171 0 6868 0
Current children cumulated CPU time (s) 581.84
Current children cumulated vsize (KiB) 33520

[startup+642.303 s]
/proc/loadavg: 0.99 0.98 0.99 2/66 15861
/proc/meminfo: memFree=1951088/2055920 swapFree=4179204/4192956
[pid=15849] ppid=15847 vsize=5356 CPUtime=0.15
/proc/15849/stat : 15849 (SatELiteGTI) S 15847 15849 15695 0 -1 4194304 336 1208 0 0 0 0 15 0 15 0 1 0 305068811 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 217871606596 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/15849/statm: 1339 239 197 169 0 50 0
[pid=15855] ppid=15849 vsize=28164 CPUtime=641.66
/proc/15855/stat : 15855 (minisat_static) R 15849 15849 15695 0 -1 4194304 6708 0 0 0 64158 8 0 0 25 0 1 0 305068830 28839936 6694 1992294400 134512640 135215339 4294956240 18446744073709551615 134528788 0 0 4096 3 0 0 0 17 1 0 0
/proc/15855/statm: 7041 6694 76 171 0 6868 0
Current children cumulated CPU time (s) 641.81
Current children cumulated vsize (KiB) 33520

[startup+702.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/66 15861
/proc/meminfo: memFree=1950896/2055920 swapFree=4179204/4192956
[pid=15849] ppid=15847 vsize=5356 CPUtime=0.15
/proc/15849/stat : 15849 (SatELiteGTI) S 15847 15849 15695 0 -1 4194304 336 1208 0 0 0 0 15 0 15 0 1 0 305068811 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 217871606596 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/15849/statm: 1339 239 197 169 0 50 0
[pid=15855] ppid=15849 vsize=28164 CPUtime=701.62
/proc/15855/stat : 15855 (minisat_static) R 15849 15849 15695 0 -1 4194304 6708 0 0 0 70154 8 0 0 25 0 1 0 305068830 28839936 6694 1992294400 134512640 135215339 4294956240 18446744073709551615 134529080 0 0 4096 3 0 0 0 17 1 0 0
/proc/15855/statm: 7041 6694 76 171 0 6868 0
Current children cumulated CPU time (s) 701.77
Current children cumulated vsize (KiB) 33520

[startup+762.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/66 15861
/proc/meminfo: memFree=1950832/2055920 swapFree=4179204/4192956
[pid=15849] ppid=15847 vsize=5356 CPUtime=0.15
/proc/15849/stat : 15849 (SatELiteGTI) S 15847 15849 15695 0 -1 4194304 336 1208 0 0 0 0 15 0 15 0 1 0 305068811 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 217871606596 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/15849/statm: 1339 239 197 169 0 50 0
[pid=15855] ppid=15849 vsize=28164 CPUtime=761.59
/proc/15855/stat : 15855 (minisat_static) R 15849 15849 15695 0 -1 4194304 6708 0 0 0 76151 8 0 0 25 0 1 0 305068830 28839936 6694 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/15855/statm: 7041 6694 76 171 0 6868 0
Current children cumulated CPU time (s) 761.74
Current children cumulated vsize (KiB) 33520

[startup+822.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/66 15861
/proc/meminfo: memFree=1950768/2055920 swapFree=4179204/4192956
[pid=15849] ppid=15847 vsize=5356 CPUtime=0.15
/proc/15849/stat : 15849 (SatELiteGTI) S 15847 15849 15695 0 -1 4194304 336 1208 0 0 0 0 15 0 15 0 1 0 305068811 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 217871606596 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/15849/statm: 1339 239 197 169 0 50 0
[pid=15855] ppid=15849 vsize=28164 CPUtime=821.56
/proc/15855/stat : 15855 (minisat_static) R 15849 15849 15695 0 -1 4194304 6710 0 0 0 82148 8 0 0 25 0 1 0 305068830 28839936 6696 1992294400 134512640 135215339 4294956240 18446744073709551615 134532661 0 0 4096 3 0 0 0 17 1 0 0
/proc/15855/statm: 7041 6696 76 171 0 6868 0
Current children cumulated CPU time (s) 821.71
Current children cumulated vsize (KiB) 33520

[startup+882.302 s]
/proc/loadavg: 1.05 1.00 1.00 2/66 15861
/proc/meminfo: memFree=1950704/2055920 swapFree=4179204/4192956
[pid=15849] ppid=15847 vsize=5356 CPUtime=0.15
/proc/15849/stat : 15849 (SatELiteGTI) S 15847 15849 15695 0 -1 4194304 336 1208 0 0 0 0 15 0 15 0 1 0 305068811 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 217871606596 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/15849/statm: 1339 239 197 169 0 50 0
[pid=15855] ppid=15849 vsize=28164 CPUtime=881.53
/proc/15855/stat : 15855 (minisat_static) R 15849 15849 15695 0 -1 4194304 6711 0 0 0 88145 8 0 0 25 0 1 0 305068830 28839936 6697 1992294400 134512640 135215339 4294956240 18446744073709551615 134528824 0 0 4096 3 0 0 0 17 1 0 0
/proc/15855/statm: 7041 6697 76 171 0 6868 0
Current children cumulated CPU time (s) 881.68
Current children cumulated vsize (KiB) 33520

[startup+942.302 s]
/proc/loadavg: 1.05 1.01 1.00 2/66 15861
/proc/meminfo: memFree=1950384/2055920 swapFree=4179204/4192956
[pid=15849] ppid=15847 vsize=5356 CPUtime=0.15
/proc/15849/stat : 15849 (SatELiteGTI) S 15847 15849 15695 0 -1 4194304 336 1208 0 0 0 0 15 0 15 0 1 0 305068811 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 217871606596 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/15849/statm: 1339 239 197 169 0 50 0
[pid=15855] ppid=15849 vsize=28428 CPUtime=941.5
/proc/15855/stat : 15855 (minisat_static) R 15849 15849 15695 0 -1 4194304 6772 0 0 0 94142 8 0 0 25 0 1 0 305068830 29110272 6758 1992294400 134512640 135215339 4294956240 18446744073709551615 134528779 0 0 4096 3 0 0 0 17 1 0 0
/proc/15855/statm: 7107 6758 76 171 0 6934 0
Current children cumulated CPU time (s) 941.65
Current children cumulated vsize (KiB) 33784

[startup+1002.3 s]
/proc/loadavg: 1.02 1.01 1.00 2/66 15861
/proc/meminfo: memFree=1950320/2055920 swapFree=4179204/4192956
[pid=15849] ppid=15847 vsize=5356 CPUtime=0.15
/proc/15849/stat : 15849 (SatELiteGTI) S 15847 15849 15695 0 -1 4194304 336 1208 0 0 0 0 15 0 15 0 1 0 305068811 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 217871606596 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/15849/statm: 1339 239 197 169 0 50 0
[pid=15855] ppid=15849 vsize=28380 CPUtime=1001.48
/proc/15855/stat : 15855 (minisat_static) R 15849 15849 15695 0 -1 4194304 6773 0 0 0 100140 8 0 0 25 0 1 0 305068830 29061120 6753 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/15855/statm: 7095 6753 76 171 0 6922 0
Current children cumulated CPU time (s) 1001.63
Current children cumulated vsize (KiB) 33736

[startup+1062.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 15861
/proc/meminfo: memFree=1950256/2055920 swapFree=4179204/4192956
[pid=15849] ppid=15847 vsize=5356 CPUtime=0.15
/proc/15849/stat : 15849 (SatELiteGTI) S 15847 15849 15695 0 -1 4194304 336 1208 0 0 0 0 15 0 15 0 1 0 305068811 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 217871606596 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/15849/statm: 1339 239 197 169 0 50 0
[pid=15855] ppid=15849 vsize=28380 CPUtime=1061.45
/proc/15855/stat : 15855 (minisat_static) R 15849 15849 15695 0 -1 4194304 6776 0 0 0 106137 8 0 0 25 0 1 0 305068830 29061120 6756 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/15855/statm: 7095 6756 76 171 0 6922 0
Current children cumulated CPU time (s) 1061.6
Current children cumulated vsize (KiB) 33736

[startup+1122.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 15861
/proc/meminfo: memFree=1950192/2055920 swapFree=4179204/4192956
[pid=15849] ppid=15847 vsize=5356 CPUtime=0.15
/proc/15849/stat : 15849 (SatELiteGTI) S 15847 15849 15695 0 -1 4194304 336 1208 0 0 0 0 15 0 15 0 1 0 305068811 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 217871606596 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/15849/statm: 1339 239 197 169 0 50 0
[pid=15855] ppid=15849 vsize=28380 CPUtime=1121.42
/proc/15855/stat : 15855 (minisat_static) R 15849 15849 15695 0 -1 4194304 6776 0 0 0 112134 8 0 0 25 0 1 0 305068830 29061120 6756 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/15855/statm: 7095 6756 76 171 0 6922 0
Current children cumulated CPU time (s) 1121.57
Current children cumulated vsize (KiB) 33736

[startup+1182.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 15861
/proc/meminfo: memFree=1950064/2055920 swapFree=4179204/4192956
[pid=15849] ppid=15847 vsize=5356 CPUtime=0.15
/proc/15849/stat : 15849 (SatELiteGTI) S 15847 15849 15695 0 -1 4194304 336 1208 0 0 0 0 15 0 15 0 1 0 305068811 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 217871606596 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/15849/statm: 1339 239 197 169 0 50 0
[pid=15855] ppid=15849 vsize=28380 CPUtime=1181.39
/proc/15855/stat : 15855 (minisat_static) R 15849 15849 15695 0 -1 4194304 6776 0 0 0 118131 8 0 0 25 0 1 0 305068830 29061120 6756 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/15855/statm: 7095 6756 76 171 0 6922 0
Current children cumulated CPU time (s) 1181.54
Current children cumulated vsize (KiB) 33736



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1200.8 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 15861
/proc/meminfo: memFree=1950064/2055920 swapFree=4179204/4192956
[pid=15849] ppid=15847 vsize=5356 CPUtime=0.15
/proc/15849/stat : 15849 (SatELiteGTI) S 15847 15849 15695 0 -1 4194304 336 1208 0 0 0 0 15 0 15 0 1 0 305068811 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 217871606596 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/15849/statm: 1339 239 197 169 0 50 0
[pid=15855] ppid=15849 vsize=28380 CPUtime=1199.88
/proc/15855/stat : 15855 (minisat_static) R 15849 15849 15695 0 -1 4194304 6776 0 0 0 119980 8 0 0 25 0 1 0 305068830 29061120 6756 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/15855/statm: 7095 6756 76 171 0 6922 0
Current children cumulated CPU time (s) 1200.03
Current children cumulated vsize (KiB) 33736

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

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

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1200.81
CPU time (s): 1200.06
CPU user time (s): 1199.96
CPU system time (s): 0.103984
CPU usage (%): 99.9377
Max. virtual memory (cumulated for all children) (KiB): 33784

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

runsolver used 1.46278 second user time and 3.22751 second system time

The end

Launcher Data

Begin job on node28 at 2009-05-19 23:59:15
IDJOB=1832215
IDBENCH=24631
IDSOLVER=671
FILE ID=node28/1832215-1242770355
PBS_JOBID= 9322270
Free space on /tmp= 66320 MiB

SOLVER NAME= minisat_cumr p-2009-03-18
BENCH NAME= SAT07/crafted/Hard/contest04/others/equilarge_l4.sat05-521.reshuffled-07.cnf
COMMAND LINE= SatELiteGTI BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-1832215-1242770355/watcher-1832215-1242770355 -o /tmp/evaluation-result-1832215-1242770355/solver-1832215-1242770355 -C 1200 -W 1800 -M 1800  SatELiteGTI HOME/instance-1832215-1242770355.cnf

TIME LIMIT= 1200 seconds
MEMORY LIMIT= 1800 MiB
MAX NB THREAD= 0

MD5SUM BENCH= ff36f96f6b8096039d33a91da209fed4
RANDOM SEED=116215484

node28.alineos.net Linux 2.6.9-22.EL.rootsmp #1 SMP Mon Oct 3 08:59:52 CEST 2005

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 15
model		: 4
model name	:                   Intel(R) Xeon(TM) CPU 3.00GHz
stepping	: 3
cpu MHz		: 3000.261
cache size	: 2048 KB
fpu		: yes
fpu_exception	: yes
cpuid level	: 5
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 lm pni monitor ds_cpl cid cx16 xtpr
bogomips	: 5914.62
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 15
model		: 4
model name	:                   Intel(R) Xeon(TM) CPU 3.00GHz
stepping	: 3
cpu MHz		: 3000.261
cache size	: 2048 KB
fpu		: yes
fpu_exception	: yes
cpuid level	: 5
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 lm pni monitor ds_cpl cid cx16 xtpr
bogomips	: 5586.94
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:      2055920 kB
MemFree:       1980320 kB
Buffers:         10840 kB
Cached:          28312 kB
SwapCached:       7292 kB
Active:          23792 kB
Inactive:        24364 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1980320 kB
SwapTotal:     4192956 kB
SwapFree:      4179204 kB
Dirty:            1900 kB
Writeback:           0 kB
Mapped:          14176 kB
Slab:            13244 kB
Committed_AS:  1053256 kB
PageTables:       1424 kB
VmallocTotal: 536870911 kB
VmallocUsed:    264960 kB
VmallocChunk: 536605679 kB
HugePages_Total:     0
HugePages_Free:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 66320 MiB
End job on node28 at 2009-05-20 00:19:18