Trace number 1820842

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-18UNSAT 626.92 626.893

General information on the benchmark

Namemanol-pipe-c10nid_i.cnf
MD5SUM5845608382cee59cce4973c50f16416c
Bench CategoryAPPLICATION (applications instances)
Best result obtained on this benchmarkUNSAT
Best CPU time to get the best result obtained on this benchmark626.92
Satisfiable
(Un)Satisfiability was proved
Number of variables252516
Number of clauses750877
Sum of the clauses size1752045
Maximum clause length3
Minimum clause length1
Number of clauses of size 11
Number of clauses of size 2500584
Number of clauses of size 3250292
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.72/0.74	c ==============================================================================
0.72/0.74	c |           |     ORIGINAL     |              LEARNT              |          |
0.72/0.74	c | Conflicts | Clauses Literals |   Limit Clauses Literals  Lit/Cl | Progress |
0.72/0.74	c ==============================================================================
0.72/0.74	c |         0 |  750876  1752044 |  225262       0        0     nan |  0.000 % |
5.02/5.09	c |         0 |  320735  1252421 |      --       0       --      -- |     --   | -430139/-499618
5.02/5.09	c ==============================================================================
5.02/5.09	c Result  :   #vars: 41437   #clauses: 320735   #literals: 1252421
5.02/5.09	c CPU time:   4.77 s
5.02/5.09	c ==============================================================================
5.52/5.53	c This is MiniSat 2.0 beta
5.52/5.53	c WARNING: for repeatability, setting FPU to use double precision
5.52/5.53	c ============================[ Problem Statistics ]=============================
5.52/5.53	c |                                                                             |
5.52/5.53	c |  Number of variables:  41437                                                |
5.52/5.53	c |  Number of clauses:    320735                                               |
5.54/5.78	c |  Parsing time:         0.20         s                                       |
5.54/5.80	c ============================[ Search Statistics ]==============================
5.54/5.80	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
5.54/5.80	c |           |    Vars  Clauses Literals |    Limit  Clauses Lit/Cl |          |
5.54/5.80	c ===============================================================================
5.54/5.80	c |         0 |   41437   320735  1252421 |   106911        0    nan |  0.000 % |
5.54/5.85	c |       101 |   41434   320735  1252421 |   106911       99     10 |  0.010 % |
5.54/5.93	c |       201 |   41434   320735  1252421 |   106911      199     10 |  0.010 % |
5.54/5.99	c |       302 |   41434   320735  1252421 |   106911      300     11 |  0.010 % |
5.54/6.01	c |       412 |   41434   320735  1252421 |   106911      410     11 |  0.010 % |
5.54/6.03	c |       512 |   41422   320735  1252421 |   106911      507     10 |  0.063 % |
5.54/6.07	c |       622 |   41419   320735  1252421 |   106911      617     10 |  0.063 % |
5.54/6.10	c |       743 |   41419   320735  1252421 |   106911      738     11 |  0.063 % |
5.54/6.13	c |       843 |   41419   320735  1252421 |   106911      838     13 |  0.063 % |
5.54/6.17	c |       953 |   41411   320735  1252421 |   106911      947     13 |  0.082 % |
5.54/6.22	c |      1074 |   41400   320735  1252421 |   106911     1066     12 |  0.118 % |
5.54/6.25	c |      1207 |   41391   320735  1252421 |   106911     1197     12 |  0.135 % |
5.54/6.30	c |      1307 |   41390   320735  1252421 |   106911     1297     12 |  0.135 % |
5.54/6.36	c |      1417 |   41390   320735  1252421 |   106911     1407     12 |  0.135 % |
5.54/6.41	c |      1539 |   41384   320735  1252421 |   106911     1528     12 |  0.152 % |
5.54/6.44	c |      1672 |   41378   320735  1252421 |   106911     1660     13 |  0.169 % |
6.52/6.52	c |      1818 |   41378   320735  1252421 |   106911     1806     13 |  0.169 % |
6.52/6.52	c |      1918 |   41376   320735  1252421 |   106911     1904     14 |  0.176 % |
6.52/6.55	c |      2028 |   41376   320735  1252421 |   106911     2014     14 |  0.176 % |
6.52/6.60	c |      2151 |   41376   320735  1252421 |   106911     2137     16 |  0.176 % |
6.62/6.61	c |      2286 |   41376   320735  1252421 |   106911     2272     16 |  0.176 % |
6.62/6.63	c |      2433 |   41376   320735  1252421 |   106911     2419     18 |  0.176 % |
6.62/6.65	c |      2593 |   41375   320735  1252421 |   106911     2578     18 |  0.179 % |
6.72/6.72	c |      2694 |   41373   320735  1252421 |   106911     2679     18 |  0.179 % |
6.82/6.82	c |      2805 |   41362   318519  1244269 |   106911     2777     18 |  0.181 % |
6.82/6.84	c |      2928 |   41362   318519  1244269 |   106911     2900     19 |  0.181 % |
6.82/6.85	c |      3062 |   41362   318519  1244269 |   106911     3034     18 |  0.181 % |
6.82/6.90	c |      3208 |   41362   318519  1244269 |   106911     3180     18 |  0.181 % |
6.92/6.94	c |      3369 |   41361   318519  1244269 |   106911     3340     18 |  0.183 % |
6.92/6.95	c |      3545 |   41361   318519  1244269 |   106911     3516     18 |  0.183 % |
6.92/6.98	c |      3646 |   41361   318519  1244269 |   106911     3617     18 |  0.183 % |
6.92/6.99	c |      3757 |   41361   318519  1244269 |   106911     3728     17 |  0.183 % |
7.02/7.10	c |      3879 |   41361   318519  1244269 |   106911     3850     18 |  0.183 % |
7.12/7.13	c |      4014 |   41345   318519  1244269 |   106911     3976     17 |  0.350 % |
7.12/7.16	c |      4163 |   41341   318519  1244269 |   106911     4125     17 |  0.350 % |
7.22/7.21	c |      4324 |   41341   318519  1244269 |   106911     4286     17 |  0.350 % |
7.22/7.22	c |      4500 |   41341   318519  1244269 |   106911     4462     17 |  0.350 % |
7.22/7.28	c |      4693 |   41341   318519  1244269 |   106911     4655     17 |  0.350 % |
7.22/7.30	c |      4793 |   41331   318519  1244269 |   106911     4751     17 |  0.475 % |
7.32/7.35	c |      4904 |   41320   318519  1244269 |   106911     4862     18 |  0.475 % |
7.32/7.37	c |      5026 |   41320   318519  1244269 |   106911     4984     17 |  0.475 % |
7.42/7.46	c |      5159 |   41313   318519  1244269 |   106911     5117     17 |  0.475 % |
7.42/7.51	c |      5305 |   41313   318519  1244269 |   106911     5263     17 |  0.475 % |
7.52/7.57	c |      5465 |   41310   318519  1244269 |   106911     5423     17 |  0.475 % |
7.52/7.59	c |      5642 |   41310   318519  1244269 |   106911     5600     17 |  0.475 % |
7.62/7.64	c |      5836 |   41310   318519  1244269 |   106911     5794     17 |  0.475 % |
7.62/7.70	c |      6048 |   41310   318519  1244269 |   106911     6006     17 |  0.475 % |
7.72/7.75	c |      6148 |   41240   315702  1233430 |   106911     6086     17 |  0.475 % |
7.72/7.79	c |      6259 |   41240   315702  1233430 |   106911     6197     17 |  0.475 % |
7.82/7.82	c |      6382 |   41240   315702  1233430 |   106911     6320     17 |  0.475 % |
7.82/7.84	c |      6515 |   41240   315702  1233430 |   106911     6453     17 |  0.475 % |
7.82/7.86	c |      6661 |   41240   315702  1233430 |   106911     6599     18 |  0.475 % |
7.82/7.90	c |      6822 |   41239   315702  1233430 |   106911     6759     18 |  0.478 % |
7.92/7.92	c |      6998 |   41234   315702  1233430 |   106911     6934     17 |  0.490 % |
7.92/7.96	c |      7191 |   41234   315702  1233430 |   106911     7127     17 |  0.490 % |
7.92/8.00	c |      7403 |   41229   315702  1233430 |   106911     7338     17 |  0.589 % |
8.02/8.02	c |      7636 |   41229   315702  1233430 |   106911     7571     17 |  0.589 % |
8.02/8.03	c |      7737 |   41229   315702  1233430 |   106911     7672     17 |  0.589 % |
8.02/8.05	c |      7848 |   41229   315702  1233430 |   106911     7783     17 |  0.589 % |
8.02/8.07	c |      7969 |   41229   315702  1233430 |   106911     7904     17 |  0.589 % |
8.02/8.08	c |      8102 |   41229   315702  1233430 |   106911     8037     17 |  0.589 % |
8.02/8.10	c |      8248 |   41228   315702  1233430 |   106911     8182     17 |  0.603 % |
8.12/8.14	c |      8408 |   41220   315702  1233430 |   106911     8342     17 |  0.603 % |
8.12/8.17	c |      8584 |   41220   315702  1233430 |   106911     8518     17 |  0.603 % |
8.22/8.21	c |      8777 |   41220   315702  1233430 |   106911     8711     17 |  0.603 % |
8.22/8.28	c |      8989 |   41220   315702  1233430 |   106911     8923     17 |  0.603 % |
8.32/8.34	c |      9223 |   41220   315702  1233430 |   106911     9157     17 |  0.603 % |
8.32/8.36	c |      9479 |   41220   315702  1233430 |   106911     9413     17 |  0.603 % |
8.32/8.38	c |      9581 |   41220   315702  1233430 |   106911     9515     17 |  0.603 % |
8.32/8.40	c |      9691 |   41220   315702  1233430 |   106911     9625     17 |  0.603 % |
8.52/8.52	c |      9812 |   41220   315702  1233430 |   106911     9746     18 |  0.603 % |
8.52/8.55	c |      9945 |   41220   315702  1233430 |   106911     9879     18 |  0.603 % |
8.52/8.59	c |     10091 |   41220   315702  1233430 | 2147483647    10025     18 |  0.603 % |
8.62/8.65	c |     10251 |   41220   315702  1233430 | 2147483647    10185     18 |  0.603 % |
8.72/8.76	c |     10428 |   41187   315253  1231857 | 2147483647    10022     18 |  0.603 % |
8.82/8.83	c |     10622 |   41187   315253  1231857 | 2147483647    10216     18 |  0.603 % |
8.82/8.88	c |     10835 |   41187   315253  1231857 | 2147483647    10429     18 |  0.603 % |
8.92/8.94	c |     11069 |   41187   315253  1231857 | 2147483647    10663     18 |  0.603 % |
9.02/9.08	c |     11325 |   41187   315253  1231857 | 2147483647    10919     18 |  0.603 % |
9.12/9.20	c |     11607 |   41185   315253  1231857 | 2147483647    11200     18 |  0.623 % |
9.22/9.22	c |     11707 |   41185   315253  1231857 | 2147483647    11300     18 |  0.623 % |
9.22/9.22	c |     11817 |   41185   315253  1231857 | 2147483647    11410     18 |  0.623 % |
9.22/9.24	c |     11938 |   41185   315253  1231857 | 2147483647    11531     18 |  0.623 % |
9.32/9.31	c |     12072 |   41185   315253  1231857 | 2147483647    11665     18 |  0.623 % |
9.32/9.35	c |     12218 |   41185   315253  1231857 | 2147483647    11811     18 |  0.623 % |
9.32/9.37	c |     12379 |   41185   315253  1231857 | 2147483647    11972     18 |  0.623 % |
9.32/9.38	c |     12555 |   41185   315253  1231857 | 2147483647    12148     18 |  0.623 % |
9.42/9.41	c |     12751 |   41185   315253  1231857 | 2147483647    12344     18 |  0.623 % |
9.42/9.46	c |     12964 |   41185   315253  1231857 | 2147483647    12557     18 |  0.623 % |
9.42/9.48	c |     13197 |   41184   315253  1231857 | 2147483647    12789     18 |  0.630 % |
9.52/9.55	c |     13454 |   41184   315253  1231857 | 2147483647    13046     18 |  0.630 % |
9.52/9.61	c |     13735 |   41184   315253  1231857 | 2147483647    13327     18 |  0.630 % |
9.62/9.64	c |     14047 |   41184   315253  1231857 | 2147483647    13639     18 |  0.630 % |
9.62/9.70	c |     14148 |   41184   315253  1231857 | 2147483647    13740     18 |  0.630 % |
9.72/9.76	c |     14258 |   41176   314939  1230889 | 2147483647    13816     18 |  0.630 % |
9.72/9.77	c |     14380 |   41176   314939  1230889 | 2147483647    13938     18 |  0.630 % |
9.72/9.80	c |     14515 |   41176   314939  1230889 | 2147483647    14073     18 |  0.630 % |
9.82/9.81	c |     14662 |   41176   314939  1230889 | 2147483647    14220     18 |  0.630 % |
9.82/9.85	c |     14823 |   41176   314939  1230889 | 2147483647    14381     18 |  0.630 % |
9.82/9.86	c |     14999 |   41176   314939  1230889 | 2147483647    14557     18 |  0.630 % |
9.82/9.89	c |     15192 |   41176   314939  1230889 | 2147483647    14750     18 |  0.630 % |
9.92/9.95	c |     15404 |   41176   314939  1230889 | 2147483647    14962     18 |  0.630 % |
9.92/9.99	c |     15638 |   41176   314939  1230889 | 2147483647    15196     18 |  0.630 % |
10.02/10.02	c |     15895 |   41176   314939  1230889 | 2147483647    15453     18 |  0.630 % |
10.22/10.23	c |     16177 |   41176   314939  1230889 | 2147483647    15735     19 |  0.630 % |
10.22/10.28	c |     16486 |   41176   314939  1230889 | 2147483647    16044     19 |  0.630 % |
10.32/10.32	c |     16825 |   41176   314939  1230889 | 2147483647    16383     19 |  0.630 % |
10.32/10.40	c |     16926 |   41176   314939  1230889 | 2147483647    16484     19 |  0.630 % |
10.42/10.42	c |     17036 |   41176   314939  1230889 | 2147483647    16594     19 |  0.630 % |
10.42/10.48	c |     17157 |   41176   314939  1230889 | 2147483647    16715     19 |  0.630 % |
10.62/10.62	c |     17292 |   41176   314939  1230889 | 2147483647    16850     19 |  0.630 % |
10.62/10.67	c |     17438 |   41176   314939  1230889 | 2147483647    16996     19 |  0.630 % |
10.72/10.71	c |     17598 |   41176   314939  1230889 | 2147483647    17156     19 |  0.630 % |
10.72/10.75	c |     17774 |   41176   314939  1230889 | 2147483647    17332     19 |  0.630 % |
10.72/10.76	c |     17969 |   41176   314939  1230889 | 2147483647    17527     19 |  0.630 % |
10.82/10.88	c |     18183 |   41176   314939  1230889 | 2147483647    17741     19 |  0.630 % |
10.92/10.93	c |     18417 |   41176   314939  1230889 | 2147483647    17975     19 |  0.630 % |
11.02/11.02	c |     18673 |   41176   314939  1230889 | 2147483647    18231     19 |  0.630 % |
11.02/11.11	c |     18956 |   41176   314939  1230889 | 2147483647    18514     19 |  0.630 % |
11.12/11.12	c |     19265 |   41176   314939  1230889 | 2147483647    18823     19 |  0.630 % |
11.12/11.17	c |     19605 |   41176   314939  1230889 | 2147483647    19163     19 |  0.630 % |
11.22/11.26	c |     19979 |   41176   314939  1230889 | 2147483647    19537     18 |  0.630 % |
11.22/11.30	c |     20080 |   41176   314939  1230889 | 2147483647    19638     18 |  0.630 % |
11.32/11.35	c |     20191 |   41176   314939  1230889 | 2147483647    19749     18 |  0.630 % |
11.32/11.37	c |     20312 |   41176   314939  1230889 | 2147483647    19870     18 |  0.630 % |
11.32/11.41	c |     20447 |   41176   314939  1230889 | 2147483647    20005     18 |  0.630 % |
11.42/11.44	c |     20593 |   41176   314939  1230889 | 2147483647    20151     18 |  0.630 % |
11.42/11.47	c |     20754 |   41176   314939  1230889 | 2147483647    20312     19 |  0.630 % |
11.42/11.51	c |     20930 |   41176   314939  1230889 | 2147483647    20488     19 |  0.630 % |
11.52/11.55	c |     21124 |   41176   314939  1230889 | 2147483647    20682     19 |  0.630 % |
11.52/11.59	c |     21336 |   41176   314939  1230889 | 2147483647    20894     19 |  0.630 % |
11.72/11.72	c |     21570 |   41176   314939  1230889 | 2147483647    21128     19 |  0.630 % |
11.72/11.79	c |     21827 |   41176   314939  1230889 | 2147483647    21385     19 |  0.630 % |
11.82/11.86	c |     22109 |   41176   314939  1230889 | 2147483647    21667     19 |  0.630 % |
11.82/11.89	c |     22419 |   41176   314939  1230889 | 2147483647    21977     19 |  0.630 % |
11.92/11.96	c |     22758 |   41176   314939  1230889 | 2147483647    22316     19 |  0.630 % |
12.02/12.10	c |     23131 |   41176   314939  1230889 | 2147483647    22689     19 |  0.630 % |
12.12/12.14	c |     23540 |   41176   314939  1230889 | 2147483647    23098     20 |  0.630 % |
12.12/12.20	c |     23640 |   41172   314917  1230796 | 2147483647    23196     20 |  0.640 % |
12.22/12.25	c |     23750 |   41172   314917  1230796 | 2147483647    23306     20 |  0.640 % |
12.22/12.27	c |     23871 |   41172   314917  1230796 | 2147483647    23427     20 |  0.640 % |
12.32/12.32	c |     24004 |   41172   314917  1230796 | 2147483647    23560     20 |  0.640 % |
12.32/12.36	c |     24151 |   41172   314917  1230796 | 2147483647    23707     20 |  0.640 % |
12.42/12.41	c |     24312 |   41172   314917  1230796 | 2147483647    23868     20 |  0.640 % |
12.42/12.45	c |     24488 |   41172   314917  1230796 | 2147483647    24044     20 |  0.640 % |
12.42/12.48	c |     24682 |   41172   314917  1230796 | 2147483647    24238     20 |  0.640 % |
12.52/12.53	c |     24894 |   41172   314917  1230796 | 2147483647    24450     20 |  0.640 % |
12.52/12.58	c |     25127 |   41172   314917  1230796 | 2147483647    24683     20 |  0.640 % |
12.62/12.61	c |     25383 |   41172   314917  1230796 | 2147483647    24939     20 |  0.640 % |
12.62/12.68	c |     25664 |   41172   314917  1230796 | 2147483647    25220     20 |  0.640 % |
12.72/12.73	c |     25974 |   41172   314917  1230796 | 2147483647    25530     20 |  0.640 % |
12.72/12.80	c |     26313 |   41172   314917  1230796 | 2147483647    25869     20 |  0.640 % |
12.82/12.84	c |     26687 |   41172   314917  1230796 | 2147483647    26243     21 |  0.640 % |
12.92/12.91	c |     27099 |   41172   314917  1230796 | 2147483647    26655     21 |  0.640 % |
13.12/13.12	c |     27548 |   41172   314917  1230796 | 2147483647    27104     21 |  0.640 % |
13.12/13.16	c |     27648 |   41163   314917  1230796 | 2147483647    27202     21 |  0.678 % |
13.12/13.18	c |     27759 |   41163   314917  1230796 | 2147483647    27313     21 |  0.678 % |
13.12/13.20	c |     27880 |   41163   314917  1230796 | 2147483647    27434     21 |  0.678 % |
13.22/13.26	c |     28013 |   41163   314917  1230796 | 2147483647    27567     21 |  0.678 % |
13.22/13.27	c |     28159 |   41163   314917  1230796 | 2147483647    27713     21 |  0.678 % |
13.32/13.37	c |     28320 |   41163   314917  1230796 | 2147483647    27874     21 |  0.678 % |
13.42/13.42	c |     28496 |   41163   314917  1230796 | 2147483647    28050     21 |  0.678 % |
13.42/13.46	c |     28689 |   41163   314917  1230796 | 2147483647    28243     21 |  0.678 % |
13.52/13.55	c |     28901 |   41156   314636  1229835 | 2147483647    28452     21 |  0.678 % |
13.52/13.59	c |     29134 |   41156   314636  1229835 | 2147483647    28685     21 |  0.678 % |
13.62/13.64	c |     29390 |   41156   314636  1229835 | 2147483647    28941     21 |  0.678 % |
13.62/13.68	c |     29671 |   41156   314636  1229835 | 2147483647    29222     22 |  0.678 % |
13.72/13.73	c |     29980 |   41156   314636  1229835 | 2147483647    29531     22 |  0.678 % |
13.72/13.78	c |     30319 |   41156   314636  1229835 | 2147483647    29870     22 |  0.678 % |
13.82/13.82	c |     30691 |   41156   314636  1229835 | 2147483647    30242     22 |  0.678 % |
13.82/13.90	c |     31100 |   41156   314636  1229835 | 2147483647    30651     22 |  0.678 % |
13.92/13.95	c |     31549 |   41156   314636  1229835 | 2147483647    31100     22 |  0.678 % |
14.02/14.02	c |     32042 |   41156   314636  1229835 | 2147483647    31593     22 |  0.678 % |
14.02/14.04	c |     32142 |   41154   314636  1229835 | 2147483647    31691     22 |  0.690 % |
14.02/14.08	c |     32252 |   41153   314636  1229835 | 2147483647    31800     22 |  0.695 % |
14.02/14.10	c |     32373 |   41153   314636  1229835 | 2147483647    31921     22 |  0.695 % |
14.12/14.14	c |     32508 |   41153   314636  1229835 | 2147483647    32056     22 |  0.695 % |
14.22/14.25	c |     32654 |   41153   314636  1229835 | 2147483647    32202     22 |  0.695 % |
14.22/14.28	c |     32815 |   41153   314636  1229835 | 2147483647    32363     22 |  0.695 % |
14.42/14.42	c |     32991 |   41153   314636  1229835 | 2147483647    32539     23 |  0.695 % |
14.42/14.45	c |     33184 |   41153   314636  1229835 | 2147483647    32732     23 |  0.695 % |
14.42/14.48	c |     33396 |   41153   314636  1229835 | 2147483647    32944     23 |  0.695 % |
14.52/14.57	c |     33631 |   41153   314636  1229835 | 2147483647    33179     23 |  0.695 % |
14.62/14.67	c |     33887 |   41153   314636  1229835 | 2147483647    33435     23 |  0.695 % |
14.72/14.72	c |     34168 |   41153   314636  1229835 | 2147483647    33716     23 |  0.695 % |
14.82/14.83	c |     34477 |   41153   314636  1229835 | 2147483647    34025     23 |  0.695 % |
14.82/14.91	c |     34817 |   41153   314636  1229835 | 2147483647    34365     23 |  0.695 % |
14.92/14.96	c |     35189 |   41152   314636  1229835 | 2147483647    34736     23 |  0.697 % |
15.02/15.08	c |     35599 |   41148   314436  1229238 | 2147483647    35140     23 |  0.697 % |
15.22/15.28	c |     36048 |   41148   314436  1229238 | 2147483647    35589     23 |  0.697 % |
15.32/15.38	c |     36542 |   41148   314436  1229238 | 2147483647    36083     23 |  0.697 % |
15.52/15.51	c |     37084 |   41148   314436  1229238 | 2147483647    36625     23 |  0.697 % |
15.52/15.55	c |     37186 |   41148   314436  1229238 | 2147483647    36727     23 |  0.697 % |
15.52/15.56	c |     37296 |   41148   314436  1229238 | 2147483647    36837     23 |  0.697 % |
15.52/15.60	c |     37419 |   41148   314436  1229238 | 2147483647    36960     23 |  0.697 % |
15.62/15.62	c |     37554 |   41148   314436  1229238 | 2147483647    37095     23 |  0.697 % |
15.62/15.67	c |     37700 |   41148   314436  1229238 | 2147483647    37241     23 |  0.697 % |
15.62/15.70	c |     37861 |   41148   314436  1229238 | 2147483647    37402     23 |  0.697 % |
15.72/15.74	c |     38038 |   41148   314436  1229238 | 2147483647    37579     23 |  0.697 % |
15.72/15.81	c |     38233 |   41148   314436  1229238 | 2147483647    37774     23 |  0.697 % |
15.82/15.83	c |     38445 |   41148   314436  1229238 | 2147483647    37986     23 |  0.697 % |
15.82/15.89	c |     38678 |   41148   314436  1229238 | 2147483647    38219     23 |  0.697 % |
15.92/15.91	c |     38935 |   41148   314436  1229238 | 2147483647    38476     23 |  0.697 % |
15.92/15.97	c |     39217 |   41143   314436  1229238 | 2147483647    38757     23 |  0.710 % |
16.02/16.06	c |     39527 |   41143   314436  1229238 | 2147483647    39067     23 |  0.710 % |
16.12/16.14	c |     39867 |   41143   314436  1229238 | 2147483647    39407     23 |  0.710 % |
16.22/16.22	c |     40240 |   41143   314436  1229238 | 2147483647    39780     23 |  0.710 % |
16.22/16.28	c |     40650 |   41143   314436  1229238 | 2147483647    40190     23 |  0.710 % |
16.32/16.37	c |     41099 |   41143   314436  1229238 | 2147483647    40639     23 |  0.710 % |
16.42/16.49	c |     41592 |   41143   314436  1229238 | 2147483647    41132     23 |  0.710 % |
16.62/16.68	c |     42135 |   41143   314436  1229238 | 2147483647    41675     24 |  0.710 % |
16.72/16.79	c |     42732 |   41138   314436  1229238 | 2147483647    42271     24 |  0.722 % |
16.82/16.84	c |     42833 |   41138   314320  1228890 | 2147483647    42367     24 |  0.722 % |
16.92/16.94	c |     42943 |   41138   314320  1228890 | 2147483647    42477     24 |  0.722 % |
16.92/16.99	c |     43064 |   41138   314320  1228890 | 2147483647    42598     24 |  0.722 % |
16.92/17.00	c |     43198 |   41138   314320  1228890 | 2147483647    42732     24 |  0.722 % |
17.02/17.07	c |     43349 |   41138   314320  1228890 | 2147483647    42883     24 |  0.722 % |
17.22/17.21	c |     43509 |   41138   314320  1228890 | 2147483647    43043     24 |  0.722 % |
17.22/17.25	c |     43686 |   41138   314320  1228890 | 2147483647    43220     24 |  0.722 % |
17.32/17.33	c |     43879 |   41121   314320  1228890 | 2147483647    43410     24 |  0.787 % |
17.32/17.38	c |     44092 |   41120   314320  1228890 | 2147483647    43622     24 |  0.789 % |
17.42/17.44	c |     44326 |   41120   314320  1228890 | 2147483647    43856     24 |  0.789 % |
17.42/17.50	c |     44582 |   41120   314320  1228890 | 2147483647    44112     24 |  0.789 % |
17.52/17.55	c |     44863 |   41120   314320  1228890 | 2147483647    44393     24 |  0.789 % |
17.62/17.61	c |     45172 |   41120   314320  1228890 | 2147483647    44702     24 |  0.789 % |
17.72/17.75	c |     45512 |   41120   314320  1228890 | 2147483647    45042     25 |  0.789 % |
17.82/17.83	c |     45887 |   41119   314320  1228890 | 2147483647    45416     24 |  0.792 % |
17.92/17.97	c |     46296 |   41119   314320  1228890 | 2147483647    45825     25 |  0.792 % |
18.02/18.04	c |     46747 |   41119   314320  1228890 | 2147483647    46276     25 |  0.792 % |
18.12/18.15	c |     47241 |   41119   314320  1228890 | 2147483647    46770     25 |  0.792 % |
18.12/18.20	c |     47783 |   41119   314320  1228890 | 2147483647    47312     25 |  0.792 % |
18.42/18.45	c |     48379 |   41119   314320  1228890 | 2147483647    47908     25 |  0.792 % |
18.62/18.64	c |     49034 |   41119   314320  1228890 | 2147483647    48563     25 |  0.792 % |
18.62/18.69	c |     49134 |   41119   314320  1228890 | 2147483647    48663     25 |  0.792 % |
18.62/18.70	c |     49246 |   41119   314320  1228890 | 2147483647    48775     25 |  0.792 % |
18.72/18.75	c |     49367 |   41119   314320  1228890 | 2147483647    48896     25 |  0.792 % |
18.82/18.82	c |     49500 |   41119   314320  1228890 | 2147483647    49029     25 |  0.792 % |
18.92/18.91	c |     49646 |   41109   313516  1225916 | 2147483647    49170     25 |  0.792 % |
18.92/18.92	c |     49806 |   41109   313516  1225916 | 2147483647    49330     25 |  0.792 % |
18.92/18.98	c |     49982 |   41109   313516  1225916 | 2147483647    49506     25 |  0.792 % |
19.02/19.04	c |     50176 |   41109   313516  1225916 | 2147483647    49700     25 |  0.792 % |
19.02/19.10	c |     50389 |   41109   313516  1225916 | 2147483647    49913     25 |  0.792 % |
19.12/19.12	c |     50623 |   41109   313516  1225916 | 2147483647    50147     25 |  0.792 % |
19.12/19.15	c |     50883 |   41109   313516  1225916 | 2147483647    50407     25 |  0.792 % |
19.22/19.22	c |     51165 |   41109   313516  1225916 | 2147483647    50689     25 |  0.792 % |
19.32/19.35	c |     51474 |   41109   313516  1225916 | 2147483647    50998     25 |  0.792 % |
19.32/19.40	c |     51814 |   41109   313516  1225916 | 2147483647    51338     25 |  0.792 % |
19.42/19.49	c |     52186 |   41109   313516  1225916 | 2147483647    51710     25 |  0.792 % |
19.52/19.59	c |     52596 |   41109   313516  1225916 | 2147483647    52120     25 |  0.792 % |
19.72/19.75	c |     53046 |   41109   313516  1225916 | 2147483647    52570     25 |  0.792 % |
19.92/19.93	c |     53540 |   41109   313516  1225916 | 2147483647    53064     25 |  0.792 % |
20.02/20.06	c |     54082 |   41109   313516  1225916 | 2147483647    53606     25 |  0.792 % |
20.22/20.22	c |     54680 |   41109   313516  1225916 | 2147483647    54204     25 |  0.792 % |
20.32/20.31	c |     55335 |   41109   313516  1225916 | 2147483647    54859     25 |  0.792 % |
20.42/20.45	c |     56055 |   41109   313516  1225916 | 2147483647    55579     25 |  0.792 % |
20.42/20.50	c |     56155 |   41109   313516  1225916 | 2147483647    55679     25 |  0.792 % |
20.52/20.53	c |     56265 |   41109   313516  1225916 | 2147483647    55789     25 |  0.792 % |
20.52/20.55	c |     56386 |   41109   313516  1225916 | 2147483647    55910     25 |  0.792 % |
20.52/20.59	c |     56519 |   41109   313516  1225916 | 2147483647    56043     25 |  0.792 % |
20.52/20.61	c |     56665 |   41109   313516  1225916 | 2147483647    56189     25 |  0.792 % |
20.62/20.65	c |     56827 |   41109   313516  1225916 | 2147483647    56351     25 |  0.792 % |
20.62/20.71	c |     57004 |   41109   313516  1225916 | 2147483647    56528     25 |  0.792 % |
20.72/20.76	c |     57198 |   41109   313516  1225916 | 2147483647    56722     25 |  0.792 % |
20.82/20.81	c |     57412 |   41109   313516  1225916 | 2147483647    56936     25 |  0.792 % |
20.82/20.89	c |     57645 |   41109   313516  1225916 | 2147483647    57169     25 |  0.792 % |
20.92/20.94	c |     57902 |   41109   313516  1225916 | 2147483647    57426     25 |  0.792 % |
21.02/21.02	c |     58183 |   41109   313516  1225916 | 2147483647    57707     25 |  0.792 % |
21.02/21.09	c |     58492 |   41109   313516  1225916 | 2147483647    58016     25 |  0.792 % |
21.22/21.22	c |     58831 |   41109   313516  1225916 | 2147483647    58355     25 |  0.792 % |
21.32/21.34	c |     59204 |   41109   313516  1225916 | 2147483647    58728     25 |  0.792 % |
21.42/21.50	c |     59613 |   41109   313516  1225916 | 2147483647    59137     25 |  0.792 % |
21.52/21.57	c |     60062 |   41109   313516  1225916 | 2147483647    59586     25 |  0.792 % |
21.72/21.76	c |     60557 |   41109   313516  1225916 | 2147483647    60081     25 |  0.792 % |
21.82/21.86	c |     61099 |   41109   313516  1225916 | 2147483647    60623     25 |  0.792 % |
21.92/21.95	c |     61696 |   41109   313516  1225916 | 2147483647    61220     25 |  0.792 % |
22.12/22.13	c |     62351 |   41070   312278  1221260 | 2147483647    61864     25 |  0.886 % |
22.22/22.26	c |     63071 |   41070   312278  1221260 | 2147483647    62584     25 |  0.886 % |
22.32/22.32	c |     63863 |   41070   312278  1221260 | 2147483647    63376     25 |  0.886 % |
22.32/22.37	c |     63964 |   41070   312278  1221260 | 2147483647    63477     25 |  0.886 % |
22.32/22.41	c |     64074 |   41070   312278  1221260 | 2147483647    63587     25 |  0.886 % |
22.42/22.46	c |     64195 |   41070   312278  1221260 | 2147483647    63708     25 |  0.886 % |
22.42/22.51	c |     64329 |   41070   312278  1221260 | 2147483647    63842     25 |  0.886 % |
22.52/22.57	c |     64475 |   41069   312278  1221260 | 2147483647    63987     25 |  0.888 % |
22.62/22.64	c |     64636 |   41069   312278  1221260 | 2147483647    64148     25 |  0.888 % |
22.62/22.71	c |     64814 |   41069   312278  1221260 | 2147483647    64326     25 |  0.888 % |
22.72/22.74	c |     65008 |   41069   312278  1221260 | 2147483647    64520     25 |  0.888 % |
22.72/22.78	c |     65221 |   41068   312278  1221260 | 2147483647    64732     25 |  0.932 % |
22.82/22.85	c |     65455 |   41068   312278  1221260 | 2147483647    64966     25 |  0.932 % |
23.02/23.05	c |     65711 |   41068   312278  1221260 | 2147483647    65222     25 |  0.932 % |
23.12/23.13	c |     65992 |   41068   312278  1221260 | 2147483647    65503     25 |  0.932 % |
23.22/23.29	c |     66302 |   41068   312278  1221260 | 2147483647    65813     25 |  0.932 % |
23.32/23.35	c |     66643 |   41068   312278  1221260 | 2147483647    66154     25 |  0.932 % |
23.42/23.43	c |     67015 |   41068   312278  1221260 | 2147483647    66526     25 |  0.932 % |
23.52/23.55	c |     67424 |   41068   312278  1221260 | 2147483647    66935     25 |  0.932 % |
23.62/23.65	c |     67877 |   41066   312278  1221260 | 2147483647    67388     25 |  0.932 % |
23.82/23.89	c |     68370 |   41066   312278  1221260 | 2147483647    67881     25 |  0.932 % |
23.92/23.98	c |     68912 |   41066   312278  1221260 | 2147483647    68423     25 |  0.932 % |
24.12/24.12	c |     69509 |   41066   312278  1221260 | 2147483647    69020     25 |  0.932 % |
24.22/24.23	c |     70166 |   41066   312278  1221260 | 2147483647    69677     25 |  0.932 % |
24.62/24.70	c |     70887 |   41066   312278  1221260 | 2147483647    70398     26 |  0.932 % |
24.82/24.84	c |     71679 |   41066   312278  1221260 | 2147483647    71190     26 |  0.932 % |
25.12/25.16	c |     72551 |   41051   311968  1220153 | 2147483647    72061     26 |  0.932 % |
25.12/25.20	c |     72652 |   41051   311968  1220153 | 2147483647    72162     26 |  0.932 % |
25.22/25.25	c |     72763 |   41051   311968  1220153 | 2147483647    72273     26 |  0.932 % |
25.22/25.31	c |     72884 |   41051   311968  1220153 | 2147483647    72394     26 |  0.932 % |
25.33/25.36	c |     73017 |   41051   311968  1220153 | 2147483647    72527     26 |  0.932 % |
25.42/25.42	c |     73163 |   41051   311968  1220153 | 2147483647    72673     26 |  0.932 % |
25.42/25.44	c |     73323 |   41051   311968  1220153 | 2147483647    72833     26 |  0.932 % |
25.42/25.46	c |     73503 |   41051   311968  1220153 | 2147483647    73013     26 |  0.932 % |
25.52/25.53	c |     73697 |   41051   311968  1220153 | 2147483647    73207     26 |  0.932 % |
25.52/25.55	c |     73909 |   41051   311968  1220153 | 2147483647    73419     26 |  0.932 % |
25.62/25.62	c |     74142 |   41051   311968  1220153 | 2147483647    73652     26 |  0.932 % |
25.62/25.69	c |     74400 |   41051   311968  1220153 | 2147483647    73910     26 |  0.932 % |
25.72/25.81	c |     74684 |   41051   311968  1220153 | 2147483647    74194     26 |  0.932 % |
25.92/25.91	c |     74995 |   41051   311968  1220153 | 2147483647    74505     26 |  0.932 % |
26.02/26.03	c |     75335 |   41051   311968  1220153 | 2147483647    74845     26 |  0.932 % |
26.12/26.15	c |     75707 |   41046   311968  1220153 | 2147483647    75216     26 |  1.038 % |
26.22/26.28	c |     76118 |   41046   311968  1220153 | 2147483647    75627     26 |  1.038 % |
26.32/26.39	c |     76567 |   41046   311968  1220153 | 2147483647    76076     26 |  1.038 % |
26.43/26.50	c |     77061 |   41046   311968  1220153 | 2147483647    76570     26 |  1.038 % |
26.72/26.73	c |     77603 |   41045   311968  1220153 | 2147483647    77111     26 |  1.040 % |
26.92/26.93	c |     78199 |   41044   311968  1220153 | 2147483647    77707     26 |  1.040 % |
27.02/27.11	c |     78856 |   41044   311968  1220153 | 2147483647    78364     26 |  1.040 % |
27.22/27.23	c |     79577 |   41044   311968  1220153 | 2147483647    79085     26 |  1.040 % |
27.72/27.73	c |     80370 |   41033   311968  1220153 | 2147483647    79878     26 |  1.040 % |
28.02/28.08	c |     81241 |   41032   311968  1220153 | 2147483647    80748     26 |  1.043 % |
28.22/28.30	c |     82200 |   41005   311003  1216612 | 2147483647    81700     26 |  1.043 % |
28.32/28.34	c |     82301 |   41005   311003  1216612 | 2147483647    81801     26 |  1.043 % |
28.32/28.36	c |     82412 |   41005   311003  1216612 | 2147483647    81912     26 |  1.043 % |
28.32/28.37	c |     82534 |   41005   311003  1216612 | 2147483647    82034     26 |  1.043 % |
28.42/28.46	c |     82667 |   41005   311003  1216612 | 2147483647    82167     26 |  1.043 % |
28.42/28.50	c |     82813 |   41005   311003  1216612 | 2147483647    82313     26 |  1.043 % |
28.52/28.58	c |     82973 |   41005   311003  1216612 | 2147483647    82473     26 |  1.043 % |
28.63/28.64	c |     83150 |   41005   311003  1216612 | 2147483647    82650     26 |  1.043 % |
28.72/28.72	c |     83344 |   41005   311003  1216612 | 2147483647    82844     26 |  1.043 % |
28.82/28.87	c |     83557 |   41005   311003  1216612 | 2147483647    83057     26 |  1.043 % |
28.92/28.98	c |     83790 |   41005   311003  1216612 | 2147483647    83290     26 |  1.043 % |
29.02/29.06	c |     84047 |   41005   311003  1216612 | 2147483647    83547     26 |  1.043 % |
29.12/29.16	c |     84328 |   41005   311003  1216612 | 2147483647    83828     26 |  1.043 % |
29.22/29.24	c |     84638 |   41005   311003  1216612 | 2147483647    84138     26 |  1.043 % |
29.42/29.41	c |     84980 |   41005   311003  1216612 | 2147483647    84480     26 |  1.043 % |
29.42/29.51	c |     85352 |   41005   311003  1216612 | 2147483647    84852     26 |  1.043 % |
29.52/29.58	c |     85761 |   41005   311003  1216612 | 2147483647    85261     26 |  1.043 % |
29.82/29.86	c |     86210 |   41005   311003  1216612 | 2147483647    85710     26 |  1.043 % |
29.92/29.91	c |     86703 |   41005   311003  1216612 | 2147483647    86203     26 |  1.043 % |
30.22/30.23	c |     87245 |   41005   311003  1216612 | 2147483647    86745     26 |  1.043 % |
30.32/30.35	c |     87843 |   41005   311003  1216612 | 2147483647    87343     26 |  1.043 % |
30.62/30.69	c |     88499 |   41005   311003  1216612 | 2147483647    87999     26 |  1.043 % |
30.83/30.85	c |     89221 |   41005   311003  1216612 | 2147483647    88721     26 |  1.043 % |
31.02/31.04	c |     90015 |   41005   311003  1216612 | 2147483647    89515     26 |  1.043 % |
31.32/31.35	c |     90886 |   41005   311003  1216612 | 2147483647    90386     25 |  1.043 % |
31.62/31.68	c |     91844 |   41005   311003  1216612 | 2147483647    91344     26 |  1.043 % |
32.02/32.07	c |     92899 |   40986   310751  1215757 | 2147483647    92397     26 |  1.105 % |
32.02/32.10	c |     92999 |   40986   310751  1215757 | 2147483647    92497     26 |  1.105 % |
32.12/32.14	c |     93109 |   40986   310751  1215757 | 2147483647    92607     26 |  1.105 % |
32.12/32.20	c |     93231 |   40986   310751  1215757 | 2147483647    92729     26 |  1.105 % |
32.22/32.24	c |     93364 |   40986   310751  1215757 | 2147483647    92862     26 |  1.105 % |
32.22/32.30	c |     93511 |   40986   310751  1215757 | 2147483647    93009     26 |  1.105 % |
32.32/32.40	c |     93671 |   40986   310751  1215757 | 2147483647    93169     26 |  1.105 % |
32.42/32.44	c |     93849 |   40985   310751  1215757 | 2147483647    93346     26 |  1.108 % |
32.42/32.51	c |     94042 |   40985   310751  1215757 | 2147483647    93539     26 |  1.108 % |
32.62/32.62	c |     94254 |   40985   310751  1215757 | 2147483647    93751     26 |  1.108 % |
32.62/32.68	c |     94488 |   40985   310751  1215757 | 2147483647    93985     25 |  1.108 % |
32.72/32.77	c |     94745 |   40985   310751  1215757 | 2147483647    94242     26 |  1.108 % |
32.82/32.88	c |     95026 |   40985   310751  1215757 | 2147483647    94523     25 |  1.108 % |
33.03/33.03	c |     95336 |   40985   310751  1215757 | 2147483647    94833     25 |  1.108 % |
33.12/33.12	c |     95676 |   40985   310751  1215757 | 2147483647    95173     25 |  1.108 % |
33.22/33.25	c |     96049 |   40985   310751  1215757 | 2147483647    95546     25 |  1.108 % |
33.32/33.38	c |     96458 |   40979   310751  1215757 | 2147483647    95954     26 |  1.122 % |
33.52/33.57	c |     96908 |   40979   310751  1215757 | 2147483647    96404     26 |  1.122 % |
33.62/33.68	c |     97401 |   40979   310751  1215757 | 2147483647    96897     26 |  1.122 % |
33.82/33.90	c |     97943 |   40979   310751  1215757 | 2147483647    97439     26 |  1.122 % |
34.02/34.10	c |     98539 |   40979   310751  1215757 | 2147483647    98035     26 |  1.122 % |
34.32/34.32	c |     99196 |   40979   310751  1215757 | 2147483647    98692     26 |  1.122 % |
34.52/34.61	c |     99916 |   40979   310751  1215757 | 2147483647    99412     26 |  1.122 % |
34.82/34.87	c |    100710 |   40977   310751  1215757 | 2147483647   100205     26 |  1.132 % |
35.23/35.27	c |    101581 |   40976   310751  1215757 | 2147483647   101076     26 |  1.132 % |
35.42/35.49	c |    102540 |   40976   310751  1215757 | 2147483647   102035     26 |  1.132 % |
35.82/35.84	c |    103594 |   40975   310751  1215757 | 2147483647   103089     26 |  1.132 % |
36.02/36.11	c |    104753 |   40941   310751  1215757 | 2147483647   104247     26 |  1.356 % |
36.12/36.17	c |    104853 |   40941   310751  1215757 | 2147483647   104347     26 |  1.356 % |
36.22/36.22	c |    104964 |   40941   310751  1215757 | 2147483647   104458     26 |  1.356 % |
36.22/36.27	c |    105085 |   40941   310751  1215757 | 2147483647   104579     26 |  1.356 % |
36.33/36.39	c |    105219 |   40875   308189  1206631 | 2147483647   104670     26 |  1.356 % |
36.42/36.46	c |    105365 |   40875   308189  1206631 | 2147483647   104816     26 |  1.356 % |
36.52/36.55	c |    105525 |   40875   308189  1206631 | 2147483647   104976     26 |  1.356 % |
36.62/36.61	c |    105701 |   40875   308189  1206631 | 2147483647   105152     26 |  1.356 % |
36.62/36.67	c |    105894 |   40875   308189  1206631 | 2147483647   105345     26 |  1.356 % |
36.72/36.76	c |    106106 |   40875   308189  1206631 | 2147483647   105557     26 |  1.356 % |
36.82/36.85	c |    106340 |   40875   308189  1206631 | 2147483647   105791     26 |  1.356 % |
36.92/36.97	c |    106596 |   40875   308189  1206631 | 2147483647   106047     26 |  1.356 % |
37.02/37.05	c |    106878 |   40875   308189  1206631 | 2147483647   106329     26 |  1.356 % |
37.02/37.09	c |    107188 |   40875   308189  1206631 | 2147483647   106639     26 |  1.356 % |
37.22/37.26	c |    107527 |   40875   308189  1206631 | 2147483647   106978     26 |  1.356 % |
37.32/37.37	c |    107900 |   40875   308189  1206631 | 2147483647   107351     26 |  1.356 % |
37.43/37.48	c |    108309 |   40875   308189  1206631 | 2147483647   107760     26 |  1.356 % |
37.62/37.70	c |    108758 |   40875   308189  1206631 | 2147483647   108209     26 |  1.356 % |
37.92/37.91	c |    109251 |   40875   308189  1206631 | 2147483647   108702     26 |  1.356 % |
38.12/38.13	c |    109793 |   40875   308189  1206631 | 2147483647   109244     26 |  1.356 % |
38.42/38.42	c |    110390 |   40875   308189  1206631 | 2147483647   109841     26 |  1.356 % |
38.62/38.66	c |    111045 |   40875   308189  1206631 | 2147483647   110496     25 |  1.356 % |
38.82/38.83	c |    111765 |   40875   308189  1206631 | 2147483647   111216     26 |  1.356 % |
39.12/39.18	c |    112557 |   40875   308189  1206631 | 2147483647   112008     25 |  1.356 % |
39.42/39.49	c |    113428 |   40875   308189  1206631 | 2147483647   112879     25 |  1.356 % |
39.72/39.79	c |    114387 |   40875   308189  1206631 | 2147483647   113838     25 |  1.356 % |
40.22/40.27	c |    115441 |   40875   308189  1206631 | 2147483647   114892     25 |  1.356 % |
40.82/40.82	c |    116599 |   40875   308189  1206631 | 2147483647   116050     25 |  1.356 % |
41.02/41.09	c |    117872 |   40875   308189  1206631 | 2147483647   117323     25 |  1.356 % |
41.12/41.16	c |    117972 |   40875   308189  1206631 | 2147483647   117423     25 |  1.356 % |
41.12/41.21	c |    118083 |   40875   308189  1206631 | 2147483647   117534     25 |  1.356 % |
41.22/41.27	c |    118204 |   40875   308189  1206631 | 2147483647   117655     25 |  1.356 % |
41.32/41.31	c |    118338 |   40875   308189  1206631 | 2147483647   117789     25 |  1.356 % |
41.42/41.41	c |    118485 |   40875   308189  1206631 | 2147483647   117936     25 |  1.356 % |
41.42/41.45	c |    118646 |   40875   308189  1206631 | 2147483647   118097     25 |  1.356 % |
41.52/41.56	c |    118823 |   40875   308189  1206631 | 2147483647   118274     25 |  1.356 % |
41.62/41.63	c |    119017 |   40875   308189  1206631 | 2147483647   118468     25 |  1.356 % |
41.72/41.72	c |    119230 |   40875   308189  1206631 | 2147483647   118681     25 |  1.356 % |
41.83/41.84	c |    119464 |   40875   308189  1206631 | 2147483647   118915     25 |  1.356 % |
41.92/41.93	c |    119720 |   40875   308189  1206631 | 2147483647   119171     25 |  1.356 % |
42.02/42.08	c |    120002 |   40875   308189  1206631 | 2147483647   119453     25 |  1.356 % |
42.12/42.12	c |    120312 |   40875   308189  1206631 | 2147483647   119763     25 |  1.356 % |
42.42/42.47	c |    120653 |   40874   308138  1206484 | 2147483647   120102     25 |  1.359 % |
42.62/42.63	c |    121027 |   40874   308138  1206484 | 2147483647   120476     25 |  1.359 % |
42.72/42.77	c |    121436 |   40874   308138  1206484 | 2147483647   120885     25 |  1.359 % |
42.93/42.97	c |    121885 |   40874   308138  1206484 | 2147483647   121334     25 |  1.359 % |
43.12/43.13	c |    122378 |   40874   308138  1206484 | 2147483647   121827     25 |  1.359 % |
43.42/43.49	c |    122921 |   40874   308138  1206484 | 2147483647   122370     25 |  1.359 % |
43.62/43.66	c |    123517 |   40873   308138  1206484 | 2147483647   122965     25 |  1.361 % |
43.92/43.98	c |    124173 |   40873   308138  1206484 | 2147483647   123621     25 |  1.361 % |
44.32/44.34	c |    124894 |   40873   308138  1206484 | 2147483647   124342     25 |  1.361 % |
44.62/44.61	c |    125686 |   40873   308138  1206484 | 2147483647   125134     25 |  1.361 % |
44.62/44.64	c |    126560 |   40873   308138  1206484 | 2147483647   126008     25 |  1.361 % |
45.02/45.06	c |    127519 |   40873   308138  1206484 | 2147483647   126967     25 |  1.361 % |
45.32/45.40	c |    128573 |   40873   308138  1206484 | 2147483647   128021     25 |  1.361 % |
45.62/45.69	c |    129736 |   40873   308138  1206484 | 2147483647   129184     25 |  1.361 % |
46.02/46.04	c |    131009 |   40873   308138  1206484 | 2147483647   130457     25 |  1.361 % |
46.42/46.42	c |    132411 |   40873   308138  1206484 | 2147483647   131859     25 |  1.361 % |
46.42/46.49	c |    132511 |   40873   308138  1206484 | 2147483647   131959     25 |  1.361 % |
46.52/46.55	c |    132621 |   40873   308138  1206484 | 2147483647   132069     25 |  1.361 % |
46.52/46.59	c |    132743 |   40873   308138  1206484 | 2147483647   132191     25 |  1.361 % |
46.62/46.69	c |    132876 |   40873   308138  1206484 | 2147483647   132324     25 |  1.361 % |
46.72/46.75	c |    133022 |   40873   308138  1206484 | 2147483647   132470     25 |  1.361 % |
46.82/46.81	c |    133182 |   40873   308138  1206484 | 2147483647   132630     25 |  1.361 % |
46.82/46.89	c |    133358 |   40873   308138  1206484 | 2147483647   132806     25 |  1.361 % |
47.02/47.01	c |    133551 |   40873   308138  1206484 | 2147483647   132999     25 |  1.361 % |
47.02/47.09	c |    133763 |   40873   308138  1206484 | 2147483647   133211     25 |  1.361 % |
47.22/47.22	c |    133996 |   40873   308138  1206484 | 2147483647   133443     25 |  1.366 % |
47.22/47.30	c |    134252 |   40873   308138  1206484 | 2147483647   133699     25 |  1.366 % |
47.33/47.35	c |    134535 |   40873   308138  1206484 | 2147483647   133982     25 |  1.366 % |
47.62/47.63	c |    134844 |   40871   308138  1206484 | 2147483647   134291     25 |  1.366 % |
47.92/47.98	c |    135183 |   40871   308138  1206484 | 2147483647   134630     25 |  1.366 % |
48.22/48.26	c |    135556 |   40871   308138  1206484 | 2147483647   135003     25 |  1.366 % |
48.52/48.57	c |    135966 |   40871   308088  1206326 | 2147483647   135400     25 |  1.366 % |
48.72/48.74	c |    136415 |   40871   308088  1206326 | 2147483647   135849     26 |  1.366 % |
48.82/48.89	c |    136908 |   40871   308088  1206326 | 2147483647   136342     26 |  1.366 % |
49.12/49.11	c |    137450 |   40871   308088  1206326 | 2147483647   136884     25 |  1.366 % |
49.22/49.27	c |    138046 |   40871   308088  1206326 | 2147483647   137480     26 |  1.366 % |
49.42/49.46	c |    138703 |   40871   308088  1206326 | 2147483647   138137     25 |  1.366 % |
49.62/49.62	c |    139424 |   40871   308088  1206326 | 2147483647   138858     25 |  1.366 % |
50.12/50.16	c |    140216 |   40871   308088  1206326 | 2147483647   139650     25 |  1.366 % |
50.22/50.28	c |    141089 |   40871   308088  1206326 | 2147483647   140523     25 |  1.366 % |
50.32/50.33	c |    142048 |   40871   308088  1206326 | 2147483647   141482     25 |  1.366 % |
50.63/50.69	c |    143102 |   40866   308088  1206326 | 2147483647   142531     25 |  1.378 % |
50.72/50.73	c |    144264 |   40866   308088  1206326 | 2147483647   143693     25 |  1.378 % |
50.92/50.93	c |    145541 |   40866   308088  1206326 | 2147483647   144970     25 |  1.378 % |
51.32/51.38	c |    146941 |   40865   308088  1206326 | 2147483647   146369     25 |  1.388 % |
51.82/51.89	c |    148481 |   40865   308088  1206326 | 2147483647   147909     25 |  1.388 % |
51.92/51.92	c |    148581 |   40865   308088  1206326 | 2147483647   148009     25 |  1.388 % |
52.02/52.01	c |    148693 |   40865   308088  1206326 | 2147483647   148121     25 |  1.388 % |
52.02/52.06	c |    148814 |   40865   308088  1206326 | 2147483647   148242     25 |  1.388 % |
52.12/52.12	c |    148951 |   40865   308088  1206326 | 2147483647   148379     25 |  1.388 % |
52.12/52.18	c |    149097 |   40865   308088  1206326 | 2147483647   148525     25 |  1.388 % |
52.22/52.30	c |    149258 |   40858   308088  1206326 | 2147483647   148685     25 |  1.438 % |
52.32/52.37	c |    149435 |   40858   308088  1206326 | 2147483647   148862     25 |  1.438 % |
52.62/52.63	c |    149628 |   40850   308088  1206326 | 2147483647   149055     25 |  1.438 % |
52.62/52.68	c |    149840 |   40850   308088  1206326 | 2147483647   149267     25 |  1.438 % |
52.83/52.82	c |    150074 |   40850   308088  1206326 | 2147483647   149501     25 |  1.438 % |
52.92/52.99	c |    150330 |   40849   308088  1206326 | 2147483647   149756     25 |  1.441 % |
53.12/53.14	c |    150611 |   40849   308088  1206326 | 2147483647   150037     25 |  1.441 % |
53.22/53.24	c |    150920 |   40849   308088  1206326 | 2147483647   150346     25 |  1.441 % |
53.32/53.41	c |    151259 |   40848   308088  1206326 | 2147483647   150684     25 |  1.443 % |
53.52/53.54	c |    151631 |   40848   308088  1206326 | 2147483647   151056     25 |  1.443 % |
53.72/53.78	c |    152041 |   40848   308088  1206326 | 2147483647   151466     25 |  1.443 % |
53.93/53.94	c |    152490 |   40834   308088  1206326 | 2147483647   151914     25 |  2.155 % |
54.12/54.13	c |    152986 |   40790   308088  1206326 | 2147483647   152410     25 |  2.155 % |
54.32/54.32	c |    153528 |   40790   308088  1206326 | 2147483647   152952     25 |  2.155 % |
54.52/54.58	c |    154125 |   40790   308088  1206326 | 2147483647   153549     25 |  2.155 % |
54.82/54.90	c |    154782 |   40541   301521  1180250 | 2147483647   124618     20 |  2.162 % |
54.92/55.02	c |    155502 |   40541   301521  1180250 | 2147483647   125338     20 |  2.162 % |
55.32/55.40	c |    156294 |   40538   301521  1180250 | 2147483647   126129     20 |  2.170 % |
55.52/55.56	c |    157165 |   40538   301521  1180250 | 2147483647   127000     20 |  2.170 % |
56.02/56.01	c |    158125 |   40538   301521  1180250 | 2147483647   127960     20 |  2.170 % |
56.22/56.30	c |    159179 |   40538   301521  1180250 | 2147483647   129014     20 |  2.170 % |
56.52/56.58	c |    160339 |   40537   301521  1180250 | 2147483647   130173     20 |  2.172 % |
56.82/56.82	c |    161612 |   40537   301521  1180250 | 2147483647   131446     20 |  2.172 % |
56.92/56.95	c |    163012 |   40537   301521  1180250 | 2147483647   132846     20 |  2.172 % |
57.32/57.40	c |    164552 |   40537   301521  1180250 | 2147483647   134386     20 |  2.172 % |
57.82/57.88	c |    166247 |   40536   301521  1180250 | 2147483647   136080     20 |  2.174 % |
57.82/57.89	c |    166347 |   40536   301521  1180250 | 2147483647   136180     20 |  2.174 % |
57.92/57.92	c |    166457 |   40536   301521  1180250 | 2147483647   136290     20 |  2.174 % |
57.92/57.97	c |    166579 |   40536   301521  1180250 | 2147483647   136412     20 |  2.174 % |
58.02/58.03	c |    166713 |   40536   301521  1180250 | 2147483647   136546     20 |  2.174 % |
58.02/58.06	c |    166859 |   40536   301521  1180250 | 2147483647   136692     20 |  2.174 % |
58.12/58.18	c |    167020 |   40536   301521  1180250 | 2147483647   136853     20 |  2.174 % |
58.22/58.26	c |    167198 |   40536   301521  1180250 | 2147483647   137031     20 |  2.174 % |
58.33/58.33	c |    167392 |   40536   301521  1180250 | 2147483647   137225     20 |  2.174 % |
58.33/58.41	c |    167604 |   40536   301521  1180250 | 2147483647   137437     20 |  2.174 % |
58.42/58.48	c |    167837 |   40536   301521  1180250 | 2147483647   137670     20 |  2.174 % |
58.62/58.63	c |    168093 |   40536   301521  1180250 | 2147483647   137926     20 |  2.174 % |
58.72/58.73	c |    168376 |   40536   301521  1180250 | 2147483647   138209     20 |  2.174 % |
58.82/58.83	c |    168686 |   40536   301374  1179672 | 2147483647   135931     20 |  2.174 % |
59.02/59.03	c |    169028 |   40536   301374  1179672 | 2147483647   136273     20 |  2.174 % |
59.12/59.16	c |    169400 |   40536   301374  1179672 | 2147483647   136645     20 |  2.174 % |
59.32/59.36	c |    169809 |   40536   301374  1179672 | 2147483647   137054     20 |  2.174 % |
59.62/59.66	c |    170258 |   40536   301374  1179672 | 2147483647   137503     20 |  2.174 % |
59.72/59.76	c |    170752 |   40536   301374  1179672 | 2147483647   137997     20 |  2.174 % |
60.02/60.08	c |    171295 |   40536   301374  1179672 | 2147483647   138540     20 |  2.174 % |
60.22/60.23	c |    171893 |   40536   301374  1179672 | 2147483647   139138     20 |  2.174 % |
60.53/60.54	c |    172549 |   40536   301374  1179672 | 2147483647   139794     20 |  2.174 % |
60.72/60.79	c |    173269 |   40536   301374  1179672 | 2147483647   140514     20 |  2.174 % |
61.02/61.04	c |    174063 |   40536   301374  1179672 | 2147483647   141308     20 |  2.174 % |
61.63/61.70	c |    174934 |   40536   301374  1179672 | 2147483647   142179     20 |  2.174 % |
62.12/62.15	c |    175893 |   40536   301374  1179672 | 2147483647   143138     20 |  2.174 % |
62.32/62.38	c |    176946 |   40536   301374  1179672 | 2147483647   144191     20 |  2.174 % |
62.52/62.51	c |    178105 |   40536   301374  1179672 | 2147483647   145350     20 |  2.174 % |
62.92/62.95	c |    179378 |   40536   301374  1179672 | 2147483647   146623     21 |  2.174 % |
63.32/63.40	c |    180779 |   40536   301374  1179672 | 2147483647   148024     21 |  2.174 % |
63.52/63.58	c |    182319 |   40536   301374  1179672 | 2147483647   149564     21 |  2.174 % |
64.12/64.15	c |    184013 |   40536   301374  1179672 | 2147483647   151258     21 |  2.174 % |
64.22/64.23	c |    185876 |   40536   301374  1179672 | 2147483647   153121     21 |  2.174 % |
64.22/64.28	c |    185976 |   40536   301374  1179672 | 2147483647   153221     21 |  2.174 % |
64.32/64.41	c |    186086 |   40535   301289  1179307 | 2147483647   152939     21 |  2.177 % |
64.42/64.51	c |    186210 |   40535   301289  1179307 | 2147483647   153063     21 |  2.177 % |
64.52/64.54	c |    186343 |   40535   301289  1179307 | 2147483647   153196     21 |  2.177 % |
64.62/64.61	c |    186489 |   40535   301289  1179307 | 2147483647   153342     21 |  2.177 % |
64.62/64.69	c |    186652 |   40535   301289  1179307 | 2147483647   153505     21 |  2.177 % |
64.82/64.84	c |    186828 |   40535   301289  1179307 | 2147483647   153681     21 |  2.177 % |
64.82/64.89	c |    187021 |   40525   301289  1179307 | 2147483647   153871     21 |  2.213 % |
65.02/65.02	c |    187233 |   40525   301289  1179307 | 2147483647   154083     21 |  2.213 % |
65.02/65.10	c |    187467 |   40525   301289  1179307 | 2147483647   154317     21 |  2.213 % |
65.22/65.24	c |    187723 |   40520   301289  1179307 | 2147483647   154573     21 |  2.213 % |
65.42/65.41	c |    188004 |   40520   301289  1179307 | 2147483647   154854     21 |  2.213 % |
65.52/65.53	c |    188315 |   40520   301289  1179307 | 2147483647   155165     21 |  2.213 % |
65.62/65.64	c |    188655 |   40520   301289  1179307 | 2147483647   155505     21 |  2.213 % |
65.82/65.90	c |    189028 |   40520   301289  1179307 | 2147483647   155878     21 |  2.213 % |
66.12/66.14	c |    189438 |   40513   301289  1179307 | 2147483647   156285     21 |  2.377 % |
66.22/66.21	c |    189890 |   40513   301289  1179307 | 2147483647   156737     21 |  2.377 % |
66.42/66.48	c |    190383 |   40512   301289  1179307 | 2147483647   157230     21 |  2.377 % |
66.72/66.73	c |    190925 |   40483   301289  1179307 | 2147483647   157769     21 |  2.536 % |
66.82/66.91	c |    191522 |   40483   301289  1179307 | 2147483647   158366     21 |  2.536 % |
66.92/67.01	c |    192177 |   40483   301289  1179307 | 2147483647   159021     21 |  2.536 % |
67.32/67.33	c |    192900 |   40452   301289  1179307 | 2147483647   159743     21 |  2.539 % |
67.42/67.45	c |    193694 |   40452   301289  1179307 | 2147483647   160537     21 |  2.539 % |
67.72/67.77	c |    194566 |   40452   301289  1179307 | 2147483647   161409     21 |  2.539 % |
68.23/68.22	c |    195524 |   40452   301289  1179307 | 2147483647   162367     21 |  2.539 % |
68.42/68.44	c |    196577 |   40452   301289  1179307 | 2147483647   163420     21 |  2.539 % |
68.72/68.80	c |    197741 |   40448   301289  1179307 | 2147483647   164581     21 |  2.548 % |
69.12/69.18	c |    199014 |   40448   301289  1179307 | 2147483647   165854     21 |  2.548 % |
69.72/69.78	c |    200415 |   40448   301289  1179307 | 2147483647   167255     21 |  2.548 % |
70.12/70.18	c |    201955 |   40381   299096  1170459 | 2147483647   165417     21 |  2.548 % |
70.62/70.70	c |    203649 |   40380   299096  1170459 | 2147483647   167110     21 |  2.553 % |
71.62/71.64	c |    205515 |   40379   299096  1170459 | 2147483647   168976     21 |  2.553 % |
72.02/72.08	c |    207568 |   40379   299096  1170459 | 2147483647   171029     21 |  2.553 % |
72.12/72.14	c |    207668 |   40378   299096  1170459 | 2147483647   171128     21 |  2.570 % |
72.12/72.19	c |    207779 |   40378   299096  1170459 | 2147483647   171239     21 |  2.570 % |
72.22/72.26	c |    207900 |   40378   299096  1170459 | 2147483647   171360     21 |  2.570 % |
72.32/72.40	c |    208034 |   40378   299096  1170459 | 2147483647   171494     21 |  2.570 % |
72.43/72.50	c |    208181 |   40378   299096  1170459 | 2147483647   171641     21 |  2.570 % |
72.53/72.57	c |    208341 |   40378   299096  1170459 | 2147483647   171801     21 |  2.570 % |
72.63/72.69	c |    208517 |   40376   299096  1170459 | 2147483647   171977     21 |  2.570 % |
72.83/72.82	c |    208710 |   40376   299096  1170459 | 2147483647   172170     21 |  2.570 % |
73.03/73.03	c |    208922 |   40376   299096  1170459 | 2147483647   172382     21 |  2.570 % |
73.13/73.15	c |    209157 |   40376   299096  1170459 | 2147483647   172617     21 |  2.570 % |
73.23/73.28	c |    209415 |   40376   299096  1170459 | 2147483647   172875     21 |  2.570 % |
73.33/73.41	c |    209697 |   40376   299096  1170459 | 2147483647   173157     21 |  2.570 % |
73.63/73.64	c |    210007 |   40370   299096  1170459 | 2147483647   173465     21 |  2.587 % |
73.73/73.79	c |    210347 |   40370   299096  1170459 | 2147483647   173805     21 |  2.587 % |
74.03/74.02	c |    210719 |   40370   299096  1170459 | 2147483647   174177     21 |  2.587 % |
74.23/74.29	c |    211129 |   40367   299096  1170459 | 2147483647   174587     21 |  2.587 % |
74.43/74.47	c |    211578 |   40367   299096  1170459 | 2147483647   175036     21 |  2.587 % |
74.63/74.69	c |    212071 |   40367   299096  1170459 | 2147483647   175529     21 |  2.587 % |
74.93/74.92	c |    212614 |   40367   299096  1170459 | 2147483647   176072     21 |  2.587 % |
75.33/75.38	c |    213210 |   40364   299096  1170459 | 2147483647   176667     21 |  2.594 % |
75.63/75.63	c |    213867 |   40364   299096  1170459 | 2147483647   177324     21 |  2.594 % |
76.03/76.12	c |    214587 |   40362   298869  1169399 | 2147483647   177490     21 |  2.594 % |
76.23/76.29	c |    215379 |   40362   298869  1169399 | 2147483647   178282     21 |  2.594 % |
76.63/76.66	c |    216251 |   40358   298869  1169399 | 2147483647   179153     21 |  2.606 % |
76.93/76.94	c |    217210 |   40358   298869  1169399 | 2147483647   180112     21 |  2.606 % |
77.23/77.25	c |    218263 |   40358   298869  1169399 | 2147483647   181165     21 |  2.606 % |
77.63/77.68	c |    219422 |   40358   298869  1169399 | 2147483647   182324     21 |  2.606 % |
77.93/78.00	c |    220696 |   40357   298869  1169399 | 2147483647   183597     21 |  2.609 % |
78.13/78.17	c |    222096 |   40357   298869  1169399 | 2147483647   184997     21 |  2.609 % |
78.33/78.33	c |    223636 |   40357   298869  1169399 | 2147483647   186537     21 |  2.609 % |
78.93/79.00	c |    225330 |   40357   298869  1169399 | 2147483647   188231     21 |  2.609 % |
79.93/79.94	c |    227193 |   40357   298869  1169399 | 2147483647   190094     21 |  2.609 % |
80.93/80.98	c |    229242 |   40357   298869  1169399 | 2147483647   192143     21 |  2.609 % |
81.73/81.78	c |    231495 |   40357   298869  1169399 | 2147483647   194396     22 |  2.609 % |
81.73/81.79	c |    231597 |   40357   298869  1169399 | 2147483647   194498     22 |  2.609 % |
81.83/81.89	c |    231708 |   40357   298869  1169399 | 2147483647   194609     22 |  2.609 % |
82.03/82.08	c |    231829 |   40356   298744  1168778 | 2147483647   194142     22 |  2.609 % |
82.13/82.19	c |    231962 |   40356   298744  1168778 | 2147483647   194275     22 |  2.609 % |
82.33/82.35	c |    232108 |   40356   298744  1168778 | 2147483647   194421     22 |  2.609 % |
82.43/82.47	c |    232268 |   40356   298744  1168778 | 2147483647   194581     22 |  2.609 % |
82.53/82.58	c |    232444 |   40356   298744  1168778 | 2147483647   194757     22 |  2.609 % |
82.73/82.76	c |    232637 |   40356   298744  1168778 | 2147483647   194950     22 |  2.609 % |
82.93/82.95	c |    232850 |   40356   298744  1168778 | 2147483647   195163     22 |  2.609 % |
83.03/83.07	c |    233084 |   40354   298744  1168778 | 2147483647   195395     21 |  2.614 % |
83.33/83.36	c |    233341 |   40354   298744  1168778 | 2147483647   195652     21 |  2.614 % |
83.53/83.52	c |    233623 |   40354   298744  1168778 | 2147483647   195934     21 |  2.614 % |
83.73/83.75	c |    233932 |   40354   298744  1168778 | 2147483647   196243     22 |  2.614 % |
83.83/83.83	c |    234271 |   40354   298744  1168778 | 2147483647   196582     22 |  2.614 % |
83.93/84.00	c |    234643 |   40351   298744  1168778 | 2147483647   196953     22 |  2.621 % |
84.03/84.10	c |    235055 |   40351   298744  1168778 | 2147483647   197365     22 |  2.621 % |
84.23/84.29	c |    235504 |   40348   298744  1168778 | 2147483647   197812     22 |  2.628 % |
84.63/84.71	c |    235999 |   40338   298744  1168778 | 2147483647   198306     22 |  2.754 % |
84.93/85.00	c |    236546 |   40338   298744  1168778 | 2147483647   198853     22 |  2.754 % |
85.13/85.18	c |    237143 |   40338   298744  1168778 | 2147483647   199450     22 |  2.754 % |
85.43/85.42	c |    237798 |   40338   298744  1168778 | 2147483647   200105     22 |  2.754 % |
85.82/85.84	c |    238518 |   40338   298744  1168778 | 2147483647   200825     22 |  2.754 % |
86.22/86.26	c |    239310 |   40338   298744  1168778 | 2147483647   201617     22 |  2.754 % |
86.72/86.72	c |    240181 |   40331   298744  1168778 | 2147483647   202488     22 |  2.754 % |
87.12/87.14	c |    241141 |   40331   298744  1168778 | 2147483647   203448     22 |  2.754 % |
87.52/87.56	c |    242194 |   40331   298744  1168778 | 2147483647   204501     22 |  2.754 % |
87.92/87.93	c |    243352 |   40331   298744  1168778 | 2147483647   205659     22 |  2.754 % |
88.72/88.80	c |    244626 |   40331   298744  1168778 | 2147483647   206933     22 |  2.754 % |
89.32/89.34	c |    246027 |   40331   298744  1168778 | 2147483647   208334     22 |  2.754 % |
89.72/89.76	c |    247569 |   40296   297477  1163906 | 2147483647   209085     22 |  2.754 % |
90.02/90.09	c |    249263 |   40273   297477  1163906 | 2147483647   210776     22 |  2.877 % |
90.32/90.33	c |    251126 |   40273   297477  1163906 | 2147483647   212639     22 |  2.877 % |
91.32/91.32	c |    253175 |   40273   297477  1163906 | 2147483647   214688     22 |  2.877 % |
91.72/91.76	c |    255428 |   40273   297477  1163906 | 2147483647   216941     22 |  2.877 % |
92.42/92.48	c |    257911 |   40273   297477  1163906 | 2147483647   219424     22 |  2.877 % |
92.52/92.60	c |    258011 |   40273   297477  1163906 | 2147483647   219524     22 |  2.877 % |
92.62/92.70	c |    258122 |   40273   297477  1163906 | 2147483647   219635     22 |  2.877 % |
92.72/92.74	c |    258250 |   40273   297477  1163906 | 2147483647   219763     22 |  2.877 % |
92.92/92.91	c |    258385 |   40273   297477  1163906 | 2147483647   219898     22 |  2.877 % |
93.02/93.03	c |    258531 |   40273   297477  1163906 | 2147483647   220044     22 |  2.877 % |
93.12/93.18	c |    258691 |   40273   297477  1163906 | 2147483647   220204     22 |  2.877 % |
93.22/93.22	c |    258868 |   40273   297477  1163906 | 2147483647   220381     22 |  2.877 % |
93.32/93.37	c |    259064 |   40273   297477  1163906 | 2147483647   220577     22 |  2.877 % |
93.52/93.54	c |    259277 |   40273   297477  1163906 | 2147483647   220790     22 |  2.877 % |
93.72/93.72	c |    259510 |   40273   297477  1163906 | 2147483647   221023     22 |  2.877 % |
93.82/93.86	c |    259767 |   40273   297477  1163906 | 2147483647   221280     22 |  2.877 % |
93.92/93.98	c |    260049 |   40273   297477  1163906 | 2147483647   221562     22 |  2.877 % |
94.02/94.08	c |    260358 |   40273   297477  1163906 | 2147483647   221871     22 |  2.877 % |
94.22/94.22	c |    260698 |   40269   297477  1163906 | 2147483647   222210     22 |  2.894 % |
94.42/94.42	c |    261070 |   40266   297477  1163906 | 2147483647   222582     22 |  2.894 % |
94.72/94.76	c |    261480 |   40266   297477  1163906 | 2147483647   222992     22 |  2.894 % |
95.02/95.08	c |    261929 |   40266   297477  1163906 | 2147483647   223441     22 |  2.894 % |
95.22/95.27	c |    262424 |   40266   297477  1163906 | 2147483647   223936     22 |  2.894 % |
95.32/95.39	c |    262966 |   40266   297477  1163906 | 2147483647   224478     22 |  2.894 % |
95.52/95.58	c |    263562 |   40266   297477  1163906 | 2147483647   225074     22 |  2.894 % |
95.62/95.64	c |    264217 |   40266   297477  1163906 | 2147483647   225729     22 |  2.894 % |
95.92/95.97	c |    264937 |   40266   297477  1163906 | 2147483647   226449     22 |  2.894 % |
96.42/96.41	c |    265729 |   40266   297477  1163906 | 2147483647   227241     22 |  2.894 % |
96.62/96.67	c |    266600 |   40266   297477  1163906 | 2147483647   228112     22 |  2.894 % |
97.32/97.31	c |    267558 |   40266   297477  1163906 | 2147483647   229070     22 |  2.894 % |
97.52/97.54	c |    268612 |   40266   297477  1163906 | 2147483647   230124     22 |  2.894 % |
97.82/97.87	c |    269771 |   40266   297477  1163906 | 2147483647   231283     22 |  2.894 % |
98.72/98.73	c |    271044 |   40238   296835  1161089 | 2147483647   226468     22 |  2.894 % |
99.02/99.10	c |    272445 |   40238   296835  1161089 | 2147483647   227869     22 |  2.894 % |
99.12/99.18	c |    273986 |   40238   296835  1161089 | 2147483647   229410     22 |  2.894 % |
99.52/99.52	c |    275680 |   40238   296835  1161089 | 2147483647   231104     22 |  2.894 % |
100.02/100.09	c |    277543 |   40238   296835  1161089 | 2147483647   232967     22 |  2.894 % |
101.32/101.32	c |    279593 |   40234   296835  1161089 | 2147483647   235016     22 |  2.903 % |
102.42/102.41	c |    281846 |   40234   296835  1161089 | 2147483647   237269     22 |  2.903 % |
102.62/102.66	c |    284325 |   40234   296835  1161089 | 2147483647   239748     22 |  2.903 % |
103.32/103.32	c |    287050 |   40234   296835  1161089 | 2147483647   242473     22 |  2.903 % |
103.32/103.37	c |    287151 |   40234   296835  1161089 | 2147483647   242574     22 |  2.903 % |
103.42/103.43	c |    287261 |   40234   296835  1161089 | 2147483647   242684     22 |  2.903 % |
103.52/103.54	c |    287383 |   40234   296835  1161089 | 2147483647   242806     22 |  2.903 % |
103.62/103.66	c |    287517 |   40234   296835  1161089 | 2147483647   242940     22 |  2.903 % |
103.72/103.74	c |    287663 |   40234   296835  1161089 | 2147483647   243086     22 |  2.903 % |
103.72/103.77	c |    287823 |   40234   296835  1161089 | 2147483647   243246     22 |  2.903 % |
103.92/103.91	c |    287999 |   40234   296835  1161089 | 2147483647   243422     22 |  2.903 % |
104.02/104.07	c |    288192 |   40234   296835  1161089 | 2147483647   243615     22 |  2.903 % |
104.22/104.27	c |    288404 |   40234   296835  1161089 | 2147483647   243827     22 |  2.903 % |
104.42/104.48	c |    288638 |   40234   296835  1161089 | 2147483647   244061     22 |  2.903 % |
104.72/104.74	c |    288894 |   40234   296835  1161089 | 2147483647   244317     22 |  2.903 % |
104.92/104.99	c |    289176 |   40234   296835  1161089 | 2147483647   244599     22 |  2.903 % |
105.12/105.15	c |    289486 |   40234   296835  1161089 | 2147483647   244909     22 |  2.903 % |
105.42/105.49	c |    289825 |   40234   296835  1161089 | 2147483647   245248     22 |  2.903 % |
105.72/105.71	c |    290198 |   40234   296835  1161089 | 2147483647   245621     22 |  2.903 % |
106.02/106.02	c |    290608 |   40234   296835  1161089 | 2147483647   246031     22 |  2.903 % |
106.22/106.29	c |    291058 |   40234   296835  1161089 | 2147483647   246481     22 |  2.903 % |
106.52/106.59	c |    291552 |   40234   296835  1161089 | 2147483647   246975     22 |  2.903 % |
106.92/106.95	c |    292095 |   40234   296835  1161089 | 2147483647   247518     22 |  2.903 % |
107.32/107.37	c |    292691 |   40234   296754  1160732 | 2147483647   247841     22 |  2.903 % |
107.72/107.80	c |    293346 |   40226   296754  1160732 | 2147483647   248495     22 |  2.925 % |
108.22/108.21	c |    294067 |   40225   296754  1160732 | 2147483647   249215     23 |  2.927 % |
108.52/108.58	c |    294859 |   40225   296754  1160732 | 2147483647   250007     23 |  2.927 % |
109.02/109.09	c |    295730 |   40224   296754  1160732 | 2147483647   250877     23 |  2.930 % |
109.62/109.68	c |    296688 |   40224   296754  1160732 | 2147483647   251835     23 |  2.930 % |
109.82/109.90	c |    297741 |   40224   296754  1160732 | 2147483647   252888     22 |  2.930 % |
110.42/110.49	c |    298900 |   40224   296754  1160732 | 2147483647   254047     23 |  2.930 % |
110.82/110.81	c |    300175 |   40224   296754  1160732 | 2147483647   255322     23 |  2.930 % |
111.82/111.90	c |    301575 |   40224   296754  1160732 | 2147483647   256722     23 |  2.930 % |
112.32/112.38	c |    303116 |   40221   296754  1160732 | 2147483647   258262     23 |  2.937 % |
113.52/113.55	c |    304811 |   40221   296754  1160732 | 2147483647   259957     23 |  2.937 % |
114.12/114.13	c |    306675 |   40221   296754  1160732 | 2147483647   261821     23 |  2.937 % |
115.22/115.27	c |    308724 |   40221   296754  1160732 | 2147483647   263870     23 |  2.937 % |
116.22/116.28	c |    310977 |   40215   296754  1160732 | 2147483647   266121     23 |  2.951 % |
117.92/117.91	c |    313455 |   40215   296754  1160732 | 2147483647   268599     23 |  2.951 % |
118.92/118.94	c |    316180 |   40214   296426  1159493 | 2147483647   270686     23 |  2.951 % |
121.22/121.29	c |    319177 |   40214   296426  1159493 | 2147483647   273683     23 |  2.951 % |
121.32/121.36	c |    319277 |   40214   296426  1159493 | 2147483647   273783     23 |  2.951 % |
121.42/121.43	c |    319387 |   40213   296426  1159493 | 2147483647   273892     23 |  2.964 % |
121.52/121.57	c |    319508 |   40213   296426  1159493 | 2147483647   274013     23 |  2.964 % |
121.72/121.71	c |    319641 |   40213   296426  1159493 | 2147483647   274146     23 |  2.964 % |
121.82/121.86	c |    319788 |   40213   296426  1159493 | 2147483647   274293     23 |  2.964 % |
121.92/121.94	c |    319948 |   40213   296426  1159493 | 2147483647   274453     23 |  2.964 % |
122.22/122.22	c |    320126 |   40213   296426  1159493 | 2147483647   274631     23 |  2.964 % |
122.32/122.35	c |    320319 |   40213   296426  1159493 | 2147483647   274824     23 |  2.964 % |
122.42/122.44	c |    320531 |   40213   296426  1159493 | 2147483647   275036     23 |  2.964 % |
122.62/122.61	c |    320764 |   40213   296426  1159493 | 2147483647   275269     23 |  2.964 % |
122.62/122.65	c |    321020 |   40213   296426  1159493 | 2147483647   275525     23 |  2.964 % |
122.82/122.81	c |    321301 |   40213   296426  1159493 | 2147483647   275806     23 |  2.964 % |
122.92/122.91	c |    321611 |   40213   296426  1159493 | 2147483647   276116     23 |  2.964 % |
123.02/123.08	c |    321950 |   40213   296426  1159493 | 2147483647   276455     23 |  2.964 % |
123.42/123.49	c |    322323 |   40213   296426  1159493 | 2147483647   276828     23 |  2.964 % |
123.82/123.81	c |    322732 |   40211   296426  1159493 | 2147483647   277237     23 |  2.964 % |
123.92/123.94	c |    323181 |   40211   296426  1159493 | 2147483647   277686     23 |  2.964 % |
124.32/124.31	c |    323675 |   40211   296426  1159493 | 2147483647   278180     23 |  2.964 % |
124.72/124.77	c |    324219 |   40211   296426  1159493 | 2147483647   278724     24 |  2.964 % |
124.92/125.00	c |    324815 |   40211   296426  1159493 | 2147483647   279320     23 |  2.964 % |
125.62/125.69	c |    325471 |   40211   296426  1159493 | 2147483647   279976     23 |  2.964 % |
125.82/125.85	c |    326192 |   40211   296426  1159493 | 2147483647   280697     24 |  2.964 % |
126.02/126.03	c |    326984 |   40211   296426  1159493 | 2147483647   281489     24 |  2.964 % |
126.72/126.74	c |    327858 |   40211   296426  1159493 | 2147483647   282363     24 |  2.964 % |
126.82/126.88	c |    328816 |   40211   296426  1159493 | 2147483647   283321     24 |  2.964 % |
127.52/127.57	c |    329869 |   40208   296426  1159493 | 2147483647   284371     24 |  2.971 % |
127.82/127.89	c |    331029 |   40208   296426  1159493 | 2147483647   285531     24 |  2.971 % |
128.32/128.40	c |    332302 |   40208   296426  1159493 | 2147483647   286804     24 |  2.971 % |
129.52/129.58	c |    333703 |   40208   296426  1159493 | 2147483647   288205     24 |  2.971 % |
130.02/130.04	c |    335243 |   40208   296426  1159493 | 2147483647   289745     24 |  2.971 % |
131.12/131.16	c |    336937 |   40206   296285  1158984 | 2147483647   291415     24 |  2.971 % |
132.52/132.53	c |    338800 |   40206   296285  1158984 | 2147483647   293278     24 |  2.971 % |
133.32/133.37	c |    340849 |   40206   296285  1158984 | 2147483647   295327     24 |  2.971 % |
134.42/134.47	c |    343102 |   40206   296285  1158984 | 2147483647   297580     24 |  2.971 % |
135.82/135.87	c |    345581 |   40206   296285  1158984 | 2147483647   300059     24 |  2.971 % |
137.62/137.63	c |    348307 |   40204   296285  1158984 | 2147483647   302784     24 |  2.976 % |
138.82/138.89	c |    351312 |   40204   296285  1158984 | 2147483647   305789     24 |  2.976 % |
140.92/140.93	c |    354608 |   40204   296285  1158984 | 2147483647   309085     24 |  2.976 % |
141.02/141.01	c |    354708 |   40204   296285  1158984 | 2147483647   309185     24 |  2.976 % |
141.12/141.16	c |    354818 |   40203   296285  1158984 | 2147483647   309294     24 |  2.978 % |
141.22/141.29	c |    354939 |   40203   296285  1158984 | 2147483647   309415     24 |  2.978 % |
141.42/141.43	c |    355075 |   40203   296285  1158984 | 2147483647   309551     24 |  2.978 % |
141.52/141.57	c |    355223 |   40203   296285  1158984 | 2147483647   309699     24 |  2.978 % |
141.72/141.73	c |    355383 |   40203   296285  1158984 | 2147483647   309859     24 |  2.978 % |
141.93/141.94	c |    355560 |   40201   296285  1158984 | 2147483647   310035     24 |  2.983 % |
142.12/142.15	c |    355753 |   40201   296285  1158984 | 2147483647   310228     24 |  2.983 % |
142.32/142.32	c |    355967 |   40201   296285  1158984 | 2147483647   310442     24 |  2.983 % |
142.42/142.43	c |    356200 |   40201   296285  1158984 | 2147483647   310675     24 |  2.983 % |
142.72/142.71	c |    356457 |   40201   296285  1158984 | 2147483647   310932     24 |  2.983 % |
142.92/142.98	c |    356741 |   40201   296285  1158984 | 2147483647   311216     24 |  2.983 % |
143.32/143.32	c |    357050 |   40201   296285  1158984 | 2147483647   311525     24 |  2.983 % |
143.62/143.65	c |    357389 |   40201   296285  1158984 | 2147483647   311864     24 |  2.983 % |
143.82/143.87	c |    357761 |   40201   296285  1158984 | 2147483647   312236     24 |  2.983 % |
144.02/144.10	c |    358170 |   40201   296285  1158984 | 2147483647   312645     24 |  2.983 % |
144.42/144.48	c |    358620 |   40201   296093  1158210 | 2147483647   312942     24 |  2.983 % |
144.92/144.93	c |    359114 |   40201   296093  1158210 | 2147483647   313436     24 |  2.983 % |
145.32/145.39	c |    359657 |   40201   296093  1158210 | 2147483647   313979     24 |  2.983 % |
145.72/145.71	c |    360254 |   40201   296093  1158210 | 2147483647   314576     24 |  2.983 % |
146.12/146.19	c |    360910 |   40200   296093  1158210 | 2147483647   315231     24 |  2.985 % |
146.52/146.52	c |    361630 |   40200   296093  1158210 | 2147483647   315951     24 |  2.985 % |
146.92/146.96	c |    362422 |   40200   296093  1158210 | 2147483647   316743     24 |  2.985 % |
147.02/147.01	c |    363293 |   40200   296093  1158210 | 2147483647   317614     24 |  2.985 % |
147.72/147.72	c |    364252 |   40200   296093  1158210 | 2147483647   318573     24 |  2.985 % |
148.32/148.40	c |    365305 |   40191   296093  1158210 | 2147483647   319625     24 |  3.050 % |
148.92/148.95	c |    366465 |   40191   296093  1158210 | 2147483647   320785     24 |  3.050 % |
149.82/149.83	c |    367738 |   40183   296093  1158210 | 2147483647   322058     24 |  3.050 % |
150.42/150.43	c |    369138 |   40183   296093  1158210 | 2147483647   323458     24 |  3.050 % |
151.42/151.48	c |    370679 |   40183   296093  1158210 | 2147483647   324999     24 |  3.050 % |
152.42/152.49	c |    372373 |   40183   296093  1158210 | 2147483647   326693     24 |  3.050 % |
152.72/152.73	c |    374236 |   40183   296093  1158210 | 2147483647   328556     24 |  3.050 % |
154.22/154.30	c |    376285 |   40183   296093  1158210 | 2147483647   330605     24 |  3.050 % |
154.82/154.86	c |    378545 |   40183   296093  1158210 | 2147483647   332865     24 |  3.050 % |
156.02/156.03	c |    381023 |   40174   296093  1158210 | 2147483647   335342     24 |  3.075 % |
157.72/157.72	c |    383749 |   40174   296093  1158210 | 2147483647   338068     24 |  3.075 % |
159.02/159.03	c |    386748 |   40174   296093  1158210 | 2147483647   341067     24 |  3.075 % |
159.72/159.79	c |    390044 |   40167   296093  1158210 | 2147483647   344362     24 |  3.176 % |
162.62/162.66	c |    393669 |   40121   294521  1152329 | 2147483647   344985     24 |  3.176 % |
162.92/162.91	c |    393769 |   40121   294521  1152329 | 2147483647   345085     24 |  3.176 % |
163.02/163.02	c |    393879 |   40121   294521  1152329 | 2147483647   345195     24 |  3.176 % |
163.32/163.33	c |    394001 |   40121   294521  1152329 | 2147483647   345317     24 |  3.176 % |
163.42/163.45	c |    394134 |   40121   294521  1152329 | 2147483647   345450     24 |  3.176 % |
163.52/163.59	c |    394281 |   40121   294521  1152329 | 2147483647   345597     24 |  3.176 % |
163.62/163.67	c |    394442 |   40121   294521  1152329 | 2147483647   345758     24 |  3.176 % |
163.93/163.95	c |    394620 |   40118   294521  1152329 | 2147483647   345934     24 |  3.227 % |
164.02/164.09	c |    394813 |   40118   294521  1152329 | 2147483647   346127     24 |  3.227 % |
164.22/164.27	c |    395027 |   40111   294521  1152329 | 2147483647   346341     24 |  3.227 % |
164.52/164.57	c |    395261 |   40111   294521  1152329 | 2147483647   346575     24 |  3.227 % |
164.82/164.83	c |    395518 |   40111   294521  1152329 | 2147483647   346832     24 |  3.227 % |
164.92/164.98	c |    395800 |   40111   294521  1152329 | 2147483647   347114     24 |  3.227 % |
165.12/165.20	c |    396109 |   40111   294521  1152329 | 2147483647   347423     24 |  3.227 % |
165.52/165.58	c |    396448 |   40111   294521  1152329 | 2147483647   347762     24 |  3.227 % |
165.92/165.94	c |    396820 |   40111   294521  1152329 | 2147483647   348134     24 |  3.227 % |
166.13/166.11	c |    397230 |   40111   294521  1152329 | 2147483647   348544     24 |  3.227 % |
166.22/166.28	c |    397680 |   40111   294521  1152329 | 2147483647   348994     24 |  3.227 % |
166.52/166.57	c |    398176 |   40111   294521  1152329 | 2147483647   349490     24 |  3.227 % |
166.82/166.82	c |    398718 |   40111   294521  1152329 | 2147483647   350032     24 |  3.227 % |
167.32/167.34	c |    399316 |   40111   294521  1152329 | 2147483647   350630     24 |  3.227 % |
167.72/167.72	c |    399971 |   40111   294521  1152329 | 2147483647   351285     24 |  3.227 % |
167.92/167.97	c |    400692 |   40111   294521  1152329 | 2147483647   352006     24 |  3.227 % |
168.62/168.70	c |    401486 |   40111   294521  1152329 | 2147483647   352800     24 |  3.227 % |
168.82/168.85	c |    402357 |   40111   294521  1152329 | 2147483647   353671     24 |  3.227 % |
169.82/169.80	c |    403315 |   40111   294521  1152329 | 2147483647   354629     24 |  3.227 % |
170.02/170.10	c |    404368 |   40111   294521  1152329 | 2147483647   355682     24 |  3.227 % |
170.82/170.89	c |    405526 |   40111   294521  1152329 | 2147483647   356840     24 |  3.227 % |
171.52/171.58	c |    406800 |   40111   294521  1152329 | 2147483647   358114     24 |  3.227 % |
173.02/173.07	c |    408201 |   40111   294521  1152329 | 2147483647   359515     24 |  3.227 % |
173.92/173.93	c |    409741 |   40111   294521  1152329 | 2147483647   361055     24 |  3.227 % |
175.02/175.02	c |    411437 |   40111   294521  1152329 | 2147483647   362751     24 |  3.227 % |
175.72/175.71	c |    413300 |   40111   294521  1152329 | 2147483647   364614     25 |  3.227 % |
177.42/177.44	c |    415349 |   40111   294521  1152329 | 2147483647   366663     25 |  3.227 % |
179.52/179.59	c |    417602 |   40111   294521  1152329 | 2147483647   368916     25 |  3.227 % |
181.12/181.14	c |    420084 |   40100   294091  1150827 | 2147483647   371393     25 |  3.227 % |
182.32/182.33	c |    422809 |   40100   294091  1150827 | 2147483647   374118     25 |  3.227 % |
185.02/185.10	c |    425807 |   40100   294091  1150827 | 2147483647   377116     25 |  3.227 % |
186.73/186.79	c |    429104 |   40100   294091  1150827 | 2147483647   380413     25 |  3.227 % |
190.03/190.02	c |    432729 |   40100   294091  1150827 | 2147483647   384038     25 |  3.227 % |
193.53/193.54	c |    436717 |   40100   294091  1150827 | 2147483647   388026     25 |  3.227 % |
193.63/193.66	c |    436817 |   40100   294091  1150827 | 2147483647   388126     25 |  3.227 % |
193.73/193.80	c |    436927 |   40100   294091  1150827 | 2147483647   388236     25 |  3.227 % |
193.93/193.92	c |    437048 |   40100   294091  1150827 | 2147483647   388357     25 |  3.227 % |
194.03/194.06	c |    437182 |   40100   294091  1150827 | 2147483647   388491     25 |  3.227 % |
194.23/194.22	c |    437329 |   40100   294091  1150827 | 2147483647   388638     25 |  3.227 % |
194.23/194.29	c |    437490 |   40100   294091  1150827 | 2147483647   388799     25 |  3.227 % |
194.43/194.45	c |    437668 |   40100   294091  1150827 | 2147483647   388977     25 |  3.227 % |
194.63/194.70	c |    437861 |   40100   294091  1150827 | 2147483647   389170     25 |  3.227 % |
194.83/194.82	c |    438075 |   40100   294091  1150827 | 2147483647   389384     25 |  3.227 % |
195.13/195.17	c |    438311 |   40098   294091  1150827 | 2147483647   389619     25 |  3.231 % |
195.43/195.44	c |    438568 |   40098   294091  1150827 | 2147483647   389876     25 |  3.231 % |
195.73/195.72	c |    438850 |   40098   294091  1150827 | 2147483647   390158     25 |  3.231 % |
196.03/196.07	c |    439160 |   40098   294091  1150827 | 2147483647   390468     25 |  3.231 % |
196.43/196.43	c |    439500 |   40098   294091  1150827 | 2147483647   390808     25 |  3.231 % |
196.63/196.65	c |    439874 |   40098   294091  1150827 | 2147483647   391182     25 |  3.231 % |
197.03/197.06	c |    440284 |   40098   294091  1150827 | 2147483647   391592     25 |  3.231 % |
197.43/197.51	c |    440735 |   40098   294091  1150827 | 2147483647   392043     25 |  3.231 % |
197.83/197.88	c |    441228 |   40098   294091  1150827 | 2147483647   392536     25 |  3.231 % |
198.13/198.19	c |    441770 |   40097   294091  1150827 | 2147483647   393077     25 |  3.234 % |
198.93/198.95	c |    442367 |   40097   294091  1150827 | 2147483647   393674     25 |  3.234 % |
199.13/199.16	c |    443025 |   40097   294091  1150827 | 2147483647   394332     25 |  3.234 % |
199.83/199.82	c |    443745 |   40097   294091  1150827 | 2147483647   395052     25 |  3.234 % |
200.43/200.48	c |    444538 |   40097   294091  1150827 | 2147483647   395845     25 |  3.234 % |
201.13/201.13	c |    445409 |   40097   294026  1150543 | 2147483647   396493     25 |  3.234 % |
201.53/201.53	c |    446367 |   40097   294026  1150543 | 2147483647   397451     25 |  3.234 % |
202.53/202.57	c |    447421 |   40097   294026  1150543 | 2147483647   398505     25 |  3.234 % |
203.93/203.93	c |    448579 |   40097   294026  1150543 | 2147483647   399663     25 |  3.234 % |
205.03/205.04	c |    449852 |   40097   294026  1150543 | 2147483647   400936     25 |  3.234 % |
205.93/205.99	c |    451252 |   40097   294026  1150543 | 2147483647   402336     25 |  3.234 % |
207.63/207.66	c |    452792 |   40097   294026  1150543 | 2147483647   403876     25 |  3.234 % |
208.43/208.45	c |    454486 |   40097   294026  1150543 | 2147483647   405570     25 |  3.234 % |
209.13/209.16	c |    456351 |   40097   294026  1150543 | 2147483647   407435     25 |  3.234 % |
210.23/210.28	c |    458402 |   40097   294026  1150543 | 2147483647   409486     25 |  3.234 % |
210.83/210.88	c |    460655 |   40097   294026  1150543 | 2147483647   411739     25 |  3.234 % |
212.73/212.73	c |    463134 |   40094   294026  1150543 | 2147483647   414217     25 |  3.367 % |
216.03/216.05	c |    465859 |   40094   294026  1150543 | 2147483647   416942     25 |  3.367 % |
218.83/218.82	c |    468860 |   40094   294026  1150543 | 2147483647   419943     25 |  3.367 % |
223.23/223.22	c |    472156 |   40094   294026  1150543 | 2147483647   423239     26 |  3.367 % |
224.73/224.72	c |    475781 |   40091   294026  1150543 | 2147483647   426864     26 |  3.367 % |
228.03/228.08	c |    479769 |   40042   293147  1147216 | 2147483647   430824     26 |  3.367 % |
230.23/230.24	c |    484155 |   40042   293147  1147216 | 2147483647   435210     26 |  3.367 % |
230.43/230.44	c |    484255 |   40042   293147  1147216 | 2147483647   435310     26 |  3.367 % |
230.53/230.58	c |    484365 |   40042   293147  1147216 | 2147483647   435420     26 |  3.367 % |
230.73/230.75	c |    484486 |   40042   293147  1147216 | 2147483647   435541     26 |  3.367 % |
230.93/230.96	c |    484620 |   40042   293147  1147216 | 2147483647   435675     26 |  3.367 % |
231.13/231.21	c |    484767 |   40042   293147  1147216 | 2147483647   435822     26 |  3.367 % |
231.43/231.51	c |    484927 |   40042   293147  1147216 | 2147483647   435982     26 |  3.367 % |
231.53/231.59	c |    485105 |   40042   293147  1147216 | 2147483647   436160     26 |  3.367 % |
231.73/231.80	c |    485298 |   40042   293147  1147216 | 2147483647   436353     26 |  3.367 % |
231.93/232.01	c |    485510 |   40042   293147  1147216 | 2147483647   436565     26 |  3.367 % |
232.33/232.35	c |    485743 |   40042   293147  1147216 | 2147483647   436798     26 |  3.367 % |
232.73/232.71	c |    485999 |   40042   293147  1147216 | 2147483647   437054     26 |  3.367 % |
232.93/233.01	c |    486282 |   40042   293147  1147216 | 2147483647   437337     26 |  3.367 % |
233.23/233.29	c |    486591 |   40042   293147  1147216 | 2147483647   437646     26 |  3.367 % |
233.53/233.58	c |    486932 |   40039   293147  1147216 | 2147483647   437986     26 |  3.374 % |
233.93/233.99	c |    487304 |   40039   293147  1147216 | 2147483647   438358     26 |  3.374 % |
234.43/234.49	c |    487713 |   40039   293147  1147216 | 2147483647   438767     26 |  3.374 % |
234.93/234.94	c |    488163 |   40039   293147  1147216 | 2147483647   439217     26 |  3.374 % |
235.23/235.26	c |    488656 |   40039   293147  1147216 | 2147483647   439710     26 |  3.374 % |
235.33/235.34	c |    489198 |   40039   293147  1147216 | 2147483647   440252     26 |  3.374 % |
235.83/235.86	c |    489794 |   40039   293147  1147216 | 2147483647   440848     26 |  3.374 % |
236.43/236.44	c |    490449 |   40039   293147  1147216 | 2147483647   441503     26 |  3.374 % |
237.33/237.31	c |    491170 |   40039   293147  1147216 | 2147483647   442224     26 |  3.374 % |
238.13/238.21	c |    491966 |   40039   293147  1147216 | 2147483647   443020     26 |  3.374 % |
239.23/239.25	c |    492837 |   40039   293147  1147216 | 2147483647   443891     26 |  3.374 % |
240.23/240.23	c |    493795 |   40039   293147  1147216 | 2147483647   444849     26 |  3.374 % |
241.33/241.31	c |    494848 |   40039   293147  1147216 | 2147483647   445902     26 |  3.374 % |
242.23/242.23	c |    496006 |   40039   293147  1147216 | 2147483647   447060     26 |  3.374 % |
243.13/243.12	c |    497279 |   40039   293147  1147216 | 2147483647   448333     26 |  3.374 % |
243.93/244.00	c |    498681 |   40039   293147  1147216 | 2147483647   449735     26 |  3.374 % |
244.63/244.69	c |    500222 |   40039   293147  1147216 | 2147483647   451276     26 |  3.374 % |
246.43/246.47	c |    501919 |   40039   293147  1147216 | 2147483647   452973     26 |  3.374 % |
247.03/247.03	c |    503783 |   40039   293147  1147216 | 2147483647   454837     26 |  3.374 % |
248.23/248.22	c |    505836 |   40039   293147  1147216 | 2147483647   456890     26 |  3.374 % |
249.13/249.13	c |    508091 |   40039   293147  1147216 | 2147483647   459145     26 |  3.374 % |
250.63/250.66	c |    510569 |   40039   293147  1147216 | 2147483647   461623     26 |  3.374 % |
252.73/252.76	c |    513295 |   40039   293147  1147216 | 2147483647   464349     26 |  3.374 % |
254.33/254.35	c |    516295 |   40039   293121  1147104 | 2147483647   467348     26 |  3.374 % |
256.43/256.43	c |    519592 |   40039   293121  1147104 | 2147483647   470645     26 |  3.374 % |
258.13/258.19	c |    523218 |   40037   293121  1147104 | 2147483647   474269     26 |  3.379 % |
262.03/262.05	c |    527207 |   40037   293121  1147104 | 2147483647   478258     26 |  3.379 % |
266.43/266.50	c |    531592 |   40037   293121  1147104 | 2147483647   482643     27 |  3.379 % |
270.64/270.66	c |    536416 |   40037   293121  1147104 | 2147483647   487467     27 |  3.379 % |
270.83/270.81	c |    536516 |   40035   293121  1147104 | 2147483647   487566     27 |  3.386 % |
271.03/271.04	c |    536626 |   40035   293121  1147104 | 2147483647   487676     27 |  3.386 % |
271.13/271.20	c |    536747 |   40035   293121  1147104 | 2147483647   487797     27 |  3.386 % |
271.43/271.41	c |    536880 |   40035   293121  1147104 | 2147483647   487930     27 |  3.386 % |
271.63/271.63	c |    537030 |   40034   293121  1147104 | 2147483647   488080     27 |  3.386 % |
271.83/271.88	c |    537192 |   40034   293121  1147104 | 2147483647   488242     27 |  3.386 % |
272.13/272.16	c |    537368 |   40034   293121  1147104 | 2147483647   488418     27 |  3.386 % |
272.43/272.50	c |    537561 |   40034   293121  1147104 | 2147483647   488611     27 |  3.386 % |
272.63/272.71	c |    537773 |   40034   293121  1147104 | 2147483647   488823     27 |  3.386 % |
272.84/272.90	c |    538007 |   40034   293121  1147104 | 2147483647   489057     27 |  3.386 % |
273.13/273.13	c |    538264 |   40034   293121  1147104 | 2147483647   489314     27 |  3.386 % |
273.33/273.35	c |    538545 |   40034   293121  1147104 | 2147483647   489595     27 |  3.386 % |
273.63/273.65	c |    538857 |   40034   293121  1147104 | 2147483647   489907     27 |  3.386 % |
274.23/274.27	c |    539197 |   40034   293121  1147104 | 2147483647   490247     27 |  3.386 % |
274.63/274.70	c |    539569 |   40034   293121  1147104 | 2147483647   490619     27 |  3.386 % |
274.93/274.92	c |    539978 |   40034   293121  1147104 | 2147483647   491028     27 |  3.386 % |
275.13/275.12	c |    540428 |   40034   293121  1147104 | 2147483647   491478     27 |  3.386 % |
275.73/275.72	c |    540921 |   40034   293121  1147104 | 2147483647   491971     27 |  3.386 % |
276.33/276.38	c |    541463 |   40034   293121  1147104 | 2147483647   492513     27 |  3.386 % |
277.13/277.20	c |    542059 |   40034   293121  1147104 | 2147483647   493109     27 |  3.386 % |
277.53/277.53	c |    542715 |   40034   293121  1147104 | 2147483647   493765     27 |  3.386 % |
278.63/278.68	c |    543440 |   40034   293121  1147104 | 2147483647   494490     27 |  3.386 % |
279.63/279.66	c |    544232 |   40029   293121  1147104 | 2147483647   495281     27 |  3.398 % |
280.43/280.46	c |    545103 |   40029   293121  1147104 | 2147483647   496152     27 |  3.398 % |
281.13/281.14	c |    546061 |   40029   293121  1147104 | 2147483647   497110     27 |  3.398 % |
282.13/282.20	c |    547114 |   40029   293121  1147104 | 2147483647   498163     27 |  3.398 % |
283.43/283.50	c |    548273 |   40029   293121  1147104 | 2147483647   499322     27 |  3.398 % |
284.13/284.20	c |    549547 |   40029   293121  1147104 | 2147483647   500596     27 |  3.398 % |
285.83/285.82	c |    550947 |   40029   293121  1147104 | 2147483647   501996     27 |  3.398 % |
287.73/287.77	c |    552487 |   40029   292913  1146412 | 2147483647   503516     27 |  3.398 % |
288.93/288.94	c |    554181 |   40029   292913  1146412 | 2147483647   505210     27 |  3.398 % |
289.93/289.95	c |    556044 |   40029   292913  1146412 | 2147483647   507073     27 |  3.398 % |
292.23/292.29	c |    558093 |   40029   292913  1146412 | 2147483647   509122     27 |  3.398 % |
293.33/293.33	c |    560346 |   40029   292913  1146412 | 2147483647   511375     27 |  3.398 % |
295.73/295.80	c |    562825 |   40029   292913  1146412 | 2147483647   513854     27 |  3.398 % |
297.73/297.78	c |    565555 |   40029   292913  1146412 | 2147483647   516584     27 |  3.398 % |
298.43/298.47	c |    568553 |   40029   292913  1146412 | 2147483647   519582     27 |  3.398 % |
301.34/301.38	c |    571849 |   40029   292913  1146412 | 2147483647   522878     27 |  3.398 % |
304.54/304.56	c |    575474 |   40029   292913  1146412 | 2147483647   526503     27 |  3.398 % |
305.84/305.90	c |    579463 |   40029   292913  1146412 | 2147483647   530492     27 |  3.398 % |
310.14/310.16	c |    583848 |   40029   292913  1146412 | 2147483647   534877     27 |  3.398 % |
311.34/311.32	c |    588671 |   40029   292913  1146412 | 2147483647   539700     27 |  3.398 % |
312.84/312.82	c |    593979 |   40029   292913  1146412 | 2147483647   545008     27 |  3.398 % |
312.94/312.94	c |    594079 |   40029   292913  1146412 | 2147483647   545108     27 |  3.398 % |
313.14/313.16	c |    594190 |   40029   292913  1146412 | 2147483647   545219     27 |  3.398 % |
313.34/313.40	c |    594311 |   40029   292913  1146412 | 2147483647   545340     27 |  3.398 % |
313.44/313.42	c |    594444 |   40029   292913  1146412 | 2147483647   545473     27 |  3.398 % |
313.64/313.64	c |    594592 |   40029   292913  1146412 | 2147483647   545621     27 |  3.398 % |
313.84/313.85	c |    594752 |   40029   292913  1146412 | 2147483647   545781     27 |  3.398 % |
314.04/314.09	c |    594930 |   40029   292913  1146412 | 2147483647   545959     27 |  3.398 % |
314.44/314.44	c |    595124 |   40029   292913  1146412 | 2147483647   546153     27 |  3.398 % |
314.54/314.58	c |    595337 |   40029   292913  1146412 | 2147483647   546366     27 |  3.398 % |
314.94/314.92	c |    595572 |   40029   292913  1146412 | 2147483647   546601     27 |  3.398 % |
315.14/315.17	c |    595828 |   40029   292913  1146412 | 2147483647   546857     27 |  3.398 % |
315.54/315.61	c |    596109 |   40029   292913  1146412 | 2147483647   547138     27 |  3.398 % |
315.84/315.86	c |    596418 |   40029   292913  1146412 | 2147483647   547447     27 |  3.398 % |
315.94/316.01	c |    596757 |   40029   292913  1146412 | 2147483647   547786     27 |  3.398 % |
316.24/316.31	c |    597130 |   40028   292913  1146412 | 2147483647   548158     27 |  3.400 % |
316.64/316.67	c |    597540 |   40028   292913  1146412 | 2147483647   548568     27 |  3.400 % |
316.84/316.82	c |    597989 |   40028   292913  1146412 | 2147483647   549017     27 |  3.400 % |
317.34/317.36	c |    598485 |   40028   292913  1146412 | 2147483647   549513     27 |  3.400 % |
317.54/317.60	c |    599027 |   40028   292913  1146412 | 2147483647   550054     27 |  3.410 % |
318.44/318.47	c |    599623 |   40024   292913  1146412 | 2147483647   550650     27 |  3.410 % |
319.14/319.14	c |    600279 |   40024   292913  1146412 |   551028   551306     27 |  3.410 % |
319.74/319.76	c |    600999 |   40024   292913  1146412 |   551028   552026     27 |  3.410 % |
320.54/320.52	c |    601792 |   40024   292913  1146412 |   551028   552819     27 |  3.410 % |
322.04/322.03	c |    602664 |   40024   292913  1146412 |   551028   486585     27 |  3.410 % |
322.94/323.01	c |    603622 |   40024   292913  1146412 |   551028   487543     27 |  3.410 % |
324.14/324.14	c |    604676 |   40024   292913  1146412 |   551028   488597     27 |  3.410 % |
325.24/325.27	c |    605834 |   40024   292913  1146412 |   551028   489755     27 |  3.410 % |
325.74/325.79	c |    607108 |   40024   292913  1146412 |   551028   491029     27 |  3.410 % |
326.94/326.97	c |    608509 |   40024   292784  1145906 |   551028   491545     27 |  3.410 % |
328.24/328.28	c |    610050 |   40024   292784  1145906 | 2147483647   493086     27 |  3.410 % |
329.04/329.10	c |    611745 |   40024   292784  1145906 | 2147483647   494781     27 |  3.410 % |
331.34/331.39	c |    613608 |   40024   292784  1145906 | 2147483647   496644     27 |  3.410 % |
333.64/333.66	c |    615658 |   40024   292784  1145906 | 2147483647   498694     27 |  3.410 % |
335.54/335.58	c |    617912 |   40024   292784  1145906 | 2147483647   500948     27 |  3.410 % |
338.24/338.31	c |    620390 |   40024   292784  1145906 | 2147483647   503426     27 |  3.410 % |
339.44/339.44	c |    623115 |   40024   292784  1145906 | 2147483647   506151     27 |  3.410 % |
343.74/343.81	c |    626113 |   40024   292784  1145906 | 2147483647   509149     27 |  3.410 % |
347.64/347.64	c |    629409 |   40024   292784  1145906 | 2147483647   512445     27 |  3.410 % |
349.94/349.96	c |    633034 |   40018   292784  1145906 | 2147483647   516069     27 |  3.424 % |
353.54/353.58	c |    637023 |   40018   292784  1145906 | 2147483647   520058     27 |  3.424 % |
356.04/356.06	c |    641408 |   40018   292784  1145906 | 2147483647   524443     27 |  3.424 % |
361.24/361.30	c |    646233 |   40018   292784  1145906 | 2147483647   529268     28 |  3.424 % |
366.35/366.41	c |    651543 |   40018   292784  1145906 |   533035   534578     28 |  3.425 % |
371.34/371.33	c |    657378 |   40018   292677  1145587 |   533035   486947     28 |  3.424 % |
371.64/371.62	c |    657478 |   40015   292677  1145587 |   533035   487045     28 |  3.434 % |
371.64/371.68	c |    657590 |   40015   292677  1145587 |   533035   487157     28 |  3.434 % |
371.94/371.99	c |    657711 |   40015   292677  1145587 |   533035   487278     28 |  3.434 % |
372.14/372.20	c |    657844 |   40015   292677  1145587 |   533035   487411     28 |  3.434 % |
372.54/372.58	c |    657992 |   40015   292677  1145587 |   533035   487559     28 |  3.434 % |
372.84/372.86	c |    658153 |   40015   292677  1145587 |   533035   487720     28 |  3.434 % |
373.14/373.11	c |    658330 |   40015   292677  1145587 |   533035   487897     28 |  3.434 % |
373.44/373.44	c |    658523 |   40015   292677  1145587 |   533035   488090     28 |  3.434 % |
373.74/373.79	c |    658735 |   40015   292677  1145587 |   533035   488302     28 |  3.434 % |
374.24/374.23	c |    658970 |   40014   292677  1145587 |   533035   488537     28 |  3.434 % |
374.54/374.61	c |    659226 |   40014   292677  1145587 |   533035   488793     28 |  3.434 % |
374.94/374.97	c |    659507 |   40014   292677  1145587 |   533035   489074     28 |  3.434 % |
375.34/375.32	c |    659816 |   40014   292677  1145587 |   533035   489383     28 |  3.434 % |
375.64/375.69	c |    660155 |   40014   292677  1145587 | 2147483647   489722     28 |  3.434 % |
376.14/376.18	c |    660528 |   40014   292677  1145587 | 2147483647   490095     28 |  3.434 % |
376.94/376.98	c |    660937 |   40014   292677  1145587 | 2147483647   490504     28 |  3.434 % |
377.24/377.24	c |    661386 |   40014   292677  1145587 | 2147483647   490953     28 |  3.434 % |
377.94/377.95	c |    661879 |   40014   292677  1145587 | 2147483647   491446     28 |  3.434 % |
378.45/378.48	c |    662421 |   40014   292677  1145587 | 2147483647   491988     28 |  3.434 % |
379.34/379.39	c |    663017 |   40014   292677  1145587 | 2147483647   492584     28 |  3.434 % |
379.84/379.83	c |    663672 |   40014   292677  1145587 | 2147483647   493239     28 |  3.434 % |
380.14/380.20	c |    664393 |   40014   292677  1145587 | 2147483647   493960     28 |  3.434 % |
381.04/381.08	c |    665187 |   40014   292677  1145587 | 2147483647   494754     28 |  3.434 % |
381.64/381.64	c |    666058 |   40014   292677  1145587 | 2147483647   495625     28 |  3.434 % |
382.94/382.97	c |    667017 |   40014   292677  1145587 | 2147483647   496584     28 |  3.434 % |
384.14/384.21	c |    668074 |   40014   292677  1145587 | 2147483647   497641     28 |  3.434 % |
384.74/384.81	c |    669233 |   40014   292677  1145587 | 2147483647   498800     28 |  3.434 % |
386.24/386.25	c |    670506 |   40014   292677  1145587 | 2147483647   500073     28 |  3.434 % |
387.64/387.66	c |    671907 |   40014   292677  1145587 | 2147483647   501474     28 |  3.434 % |
389.14/389.15	c |    673447 |   40014   292677  1145587 | 2147483647   503014     28 |  3.434 % |
389.84/389.83	c |    675142 |   40014   292677  1145587 | 2147483647   504709     28 |  3.434 % |
392.04/392.09	c |    677005 |   40014   292677  1145587 | 2147483647   506572     28 |  3.434 % |
395.14/395.16	c |    679054 |   40014   292677  1145587 | 2147483647   508621     28 |  3.434 % |
396.54/396.54	c |    681307 |   40014   292677  1145587 | 2147483647   510874     28 |  3.434 % |
399.24/399.26	c |    683785 |   40014   292677  1145587 | 2147483647   513352     28 |  3.434 % |
402.74/402.77	c |    686510 |   40014   292677  1145587 | 2147483647   516077     28 |  3.434 % |
405.84/405.86	c |    689507 |   40014   292677  1145587 | 2147483647   519074     28 |  3.434 % |
408.84/408.84	c |    692804 |   40014   292677  1145587 | 2147483647   522371     29 |  3.434 % |
410.44/410.46	c |    696429 |   40014   292611  1145373 | 2147483647   525995     29 |  3.434 % |
411.74/411.78	c |    700417 |   40014   292611  1145373 |   529566   529983     29 |  3.434 % |
418.75/418.73	c |    704802 |   40014   292611  1145373 |   529566   475515     29 |  3.434 % |
423.95/423.95	c |    709626 |   40014   292611  1145373 |   529566   480339     29 |  3.434 % |
426.65/426.62	c |    714933 |   40014   292611  1145373 | 2147483647   485646     29 |  3.434 % |
432.85/432.92	c |    720768 |   40013   292611  1145373 | 2147483647   491480     29 |  3.437 % |
436.95/436.96	c |    727187 |   40013   292611  1145373 | 2147483647   497899     29 |  3.437 % |
437.05/437.03	c |    727287 |   40013   292611  1145373 | 2147483647   497999     29 |  3.437 % |
437.35/437.40	c |    727397 |   40013   292611  1145373 | 2147483647   498109     29 |  3.437 % |
437.65/437.72	c |    727519 |   40013   292611  1145373 | 2147483647   498231     29 |  3.437 % |
437.85/437.90	c |    727652 |   40013   292611  1145373 | 2147483647   498364     29 |  3.437 % |
438.05/438.11	c |    727803 |   40013   292611  1145373 | 2147483647   498515     29 |  3.437 % |
438.35/438.40	c |    727963 |   40013   292611  1145373 | 2147483647   498675     29 |  3.437 % |
438.65/438.69	c |    728140 |   40013   292611  1145373 | 2147483647   498852     29 |  3.437 % |
438.85/438.90	c |    728335 |   40013   292611  1145373 | 2147483647   499047     29 |  3.437 % |
439.25/439.27	c |    728549 |   40013   292611  1145373 | 2147483647   499261     29 |  3.437 % |
439.65/439.66	c |    728783 |   40013   292611  1145373 | 2147483647   499495     29 |  3.437 % |
439.95/439.98	c |    729040 |   40013   292611  1145373 | 2147483647   499752     29 |  3.437 % |
440.25/440.32	c |    729323 |   40013   292611  1145373 | 2147483647   500035     29 |  3.437 % |
440.65/440.67	c |    729635 |   40013   292611  1145373 | 2147483647   500347     29 |  3.437 % |
441.15/441.15	c |    729975 |   40013   292611  1145373 | 2147483647   500687     29 |  3.437 % |
441.55/441.57	c |    730349 |   40013   292611  1145373 |   500713   501061     29 |  3.437 % |
441.95/441.99	c |    730760 |   40013   292611  1145373 |   500713   501472     29 |  3.437 % |
442.45/442.47	c |    731210 |   40013   292611  1145373 |   500713   501922     29 |  3.437 % |
443.15/443.15	c |    731704 |   40013   292611  1145373 |   500713   502416     29 |  3.437 % |
444.54/444.51	c |    732246 |   40013   292611  1145373 |   500713   452717     29 |  3.437 % |
445.04/445.02	c |    732842 |   40013   292611  1145373 |   500713   453313     29 |  3.437 % |
445.44/445.44	c |    733498 |   40013   292611  1145373 |   500713   453969     29 |  3.437 % |
446.54/446.53	c |    734219 |   40013   292611  1145373 |   500713   454690     29 |  3.437 % |
447.64/447.67	c |    735013 |   40013   292611  1145373 |   500713   455484     29 |  3.437 % |
448.44/448.49	c |    735885 |   40013   292611  1145373 |   500713   456356     29 |  3.437 % |
449.24/449.24	c |    736844 |   40013   292611  1145373 |   500713   457315     29 |  3.437 % |
450.54/450.59	c |    737897 |   40013   292611  1145373 |   500713   458368     30 |  3.437 % |
451.14/451.13	c |    739056 |   40013   292611  1145373 |   500713   459527     30 |  3.437 % |
452.64/452.71	c |    740331 |   40013   292611  1145373 | 2147483647   460802     30 |  3.437 % |
454.14/454.21	c |    741731 |   40013   292611  1145373 | 2147483647   462202     30 |  3.437 % |
455.14/455.12	c |    743273 |   40013   292611  1145373 | 2147483647   463744     30 |  3.437 % |
456.94/457.01	c |    744968 |   40013   292611  1145373 | 2147483647   465439     30 |  3.437 % |
460.24/460.27	c |    746831 |   40013   292560  1145226 | 2147483647   467298     30 |  3.437 % |
463.34/463.41	c |    748880 |   40013   292560  1145226 | 2147483647   469347     30 |  3.437 % |
467.34/467.34	c |    751135 |   40013   292560  1145226 | 2147483647   471602     30 |  3.437 % |
471.34/471.34	c |    753615 |   40013   292560  1145226 | 2147483647   474082     30 |  3.437 % |
474.94/474.93	c |    756341 |   40013   292560  1145226 | 2147483647   476808     30 |  3.437 % |
478.64/478.68	c |    759339 |   40013   292560  1145226 | 2147483647   479806     30 |  3.437 % |
484.05/484.09	c |    762636 |   40013   292560  1145226 | 2147483647   483103     30 |  3.437 % |
489.74/489.73	c |    766263 |   40013   292560  1145226 | 2147483647   486730     30 |  3.437 % |
495.74/495.80	c |    770251 |   40013   292560  1145226 | 2147483647   490718     30 |  3.437 % |
502.84/502.81	c |    774636 |   40013   292560  1145226 | 2147483647   495103     30 |  3.437 % |
511.94/511.96	c |    779461 |   40013   292560  1145226 | 2147483647   499928     30 |  3.437 % |
515.24/515.22	c |    784766 |   39746   286901  1123004 | 2147483647   377124     27 |  4.081 % |
520.24/520.26	c |    790601 |   39746   286901  1123004 | 2147483647   382959     27 |  4.081 % |
522.94/523.00	c |    797019 |   39746   286901  1123004 | 2147483647   389377     27 |  4.081 % |
530.95/530.98	c |    804078 |   39746   286901  1123004 | 2147483647   396436     27 |  4.081 % |
531.05/531.10	c |    804179 |   39746   286901  1123004 | 2147483647   396537     27 |  4.081 % |
531.25/531.25	c |    804289 |   39746   286901  1123004 | 2147483647   396647     27 |  4.081 % |
531.55/531.56	c |    804410 |   39746   286901  1123004 | 2147483647   396768     27 |  4.081 % |
531.65/531.70	c |    804546 |   39746   286901  1123004 | 2147483647   396904     27 |  4.081 % |
531.95/531.98	c |    804694 |   39746   286901  1123004 | 2147483647   397052     27 |  4.081 % |
532.25/532.24	c |    804856 |   39746   286901  1123004 | 2147483647   397214     27 |  4.081 % |
532.55/532.52	c |    805033 |   39746   286901  1123004 | 2147483647   397391     27 |  4.081 % |
532.75/532.73	c |    805226 |   39746   286901  1123004 | 2147483647   397584     27 |  4.081 % |
533.05/533.04	c |    805438 |   39725   286901  1123004 | 2147483647   397794     27 |  4.139 % |
533.55/533.52	c |    805672 |   39724   286901  1123004 | 2147483647   398028     27 |  4.139 % |
533.75/533.80	c |    805930 |   39724   286901  1123004 | 2147483647   398286     27 |  4.139 % |
534.15/534.20	c |    806211 |   39724   286901  1123004 | 2147483647   398567     27 |  4.139 % |
534.45/534.50	c |    806522 |   39724   286901  1123004 | 2147483647   398878     27 |  4.139 % |
534.85/534.85	c |    806861 |   39724   286901  1123004 | 2147483647   399217     27 |  4.139 % |
535.35/535.36	c |    807235 |   39724   286901  1123004 | 2147483647   399591     27 |  4.139 % |
535.65/535.68	c |    807646 |   39724   286901  1123004 | 2147483647   400002     27 |  4.139 % |
536.25/536.28	c |    808095 |   39724   286901  1123004 | 2147483647   400451     27 |  4.139 % |
536.75/536.81	c |    808590 |   39724   286901  1123004 | 2147483647   400946     27 |  4.139 % |
537.25/537.26	c |    809136 |   39724   286901  1123004 | 2147483647   401492     27 |  4.139 % |
537.85/537.89	c |    809732 |   39724   286901  1123004 | 2147483647   402088     27 |  4.139 % |
538.55/538.53	c |    810389 |   39724   286901  1123004 | 2147483647   402745     27 |  4.139 % |
539.45/539.45	c |    811111 |   39723   286901  1123004 | 2147483647   403466     27 |  4.141 % |
540.65/540.68	c |    811903 |   39721   286640  1121678 | 2147483647   394397     27 |  4.141 % |
541.75/541.76	c |    812774 |   39721   286640  1121678 | 2147483647   395268     27 |  4.141 % |
542.95/542.95	c |    813732 |   39721   286640  1121678 | 2147483647   396226     27 |  4.141 % |
543.55/543.56	c |    814785 |   39721   286640  1121678 | 2147483647   397279     27 |  4.141 % |
544.95/544.93	c |    815944 |   39721   286640  1121678 | 2147483647   398438     27 |  4.141 % |
546.15/546.21	c |    817219 |   39721   286640  1121678 | 2147483647   399713     27 |  4.141 % |
547.75/547.80	c |    818620 |   39721   286640  1121678 | 2147483647   401114     27 |  4.141 % |
549.45/549.49	c |    820160 |   39721   286640  1121678 | 2147483647   402654     27 |  4.141 % |
551.35/551.33	c |    821856 |   39721   286640  1121678 | 2147483647   404350     27 |  4.141 % |
552.85/552.86	c |    823719 |   39721   286640  1121678 | 2147483647   406213     27 |  4.141 % |
554.65/554.70	c |    825770 |   39721   286640  1121678 | 2147483647   408264     27 |  4.141 % |
556.95/556.96	c |    828024 |   39713   286640  1121678 | 2147483647   410517     27 |  4.161 % |
559.55/559.57	c |    830504 |   39704   286640  1121678 | 2147483647   412996     27 |  4.221 % |
562.25/562.22	c |    833231 |   39694   286640  1121678 | 2147483647   415721     27 |  4.233 % |
564.15/564.15	c |    836228 |   39694   286640  1121678 | 2147483647   418718     27 |  4.233 % |
567.95/567.97	c |    839524 |   39694   286640  1121678 | 2147483647   422014     27 |  4.233 % |
571.95/571.99	c |    843152 |   39683   285936  1118900 | 2147483647   417551     27 |  4.233 % |
577.25/577.23	c |    847139 |   39683   285936  1118900 | 2147483647   421538     27 |  4.233 % |
582.55/582.55	c |    851524 |   39683   285936  1118900 | 2147483647   425923     27 |  4.233 % |
588.05/588.07	c |    856349 |   39683   285936  1118900 | 2147483647   430748     27 |  4.233 % |
596.26/596.30	c |    861656 |   39683   285936  1118900 | 2147483647   436055     27 |  4.233 % |
601.85/601.90	c |    867494 |   39683   285936  1118900 | 2147483647   441893     27 |  4.233 % |
613.45/613.47	c |    873913 |   39683   285936  1118900 | 2147483647   448312     27 |  4.233 % |
623.25/623.24	c |    880972 |   39237   278934  1091043 | 2147483647   407644     24 |  8.468 % |
626.85/626.86	c ===============================================================================
626.85/626.86	c restarts              : 1129
626.85/626.86	c conflicts             : 883478         (1422 /sec)
626.85/626.86	c decisions             : 4148739        (1.57 % random) (6679 /sec)
626.85/626.86	c propagations          : 306827110      (493934 /sec)
626.85/626.86	c conflict literals     : 26336468       (27.98 % deleted)
626.85/626.86	c Memory used           : 105.00 MB
626.85/626.86	c CPU time              : 621.19 s
626.85/626.86	c 
626.85/626.86	s UNSATISFIABLE
626.85/626.87	s UNSATISFIABLE

Verifier Data

No possible verification on an UNSAT instance

Watcher Data

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

command line: runsolver --timestamp -w /tmp/evaluation-result-1820842-1242482142/watcher-1820842-1242482142 -o /tmp/evaluation-result-1820842-1242482142/solver-1820842-1242482142 -C 1200 -W 1800 -M 1800 SatELiteGTI HOME/instance-1820842-1242482142.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: 8192 KiB


[startup+0 s]
/proc/loadavg: 0.93 1.00 0.99 2/93 11395
/proc/meminfo: memFree=1441568/2074464 swapFree=1950884/1959888
[pid=11395] ppid=11393 vsize=2416 CPUtime=0
/proc/11395/stat : 11395 (SatELiteGTI) S 11393 11395 10114 0 -1 4194304 367 646 0 0 0 0 0 0 25 0 1 0 1012715131 2473984 277 4294967295 134512640 135169312 3213224880 3213223416 3085237998 0 65536 4 65538 3222381614 0 0 17 1 0 0 0
/proc/11395/statm: 604 277 235 161 0 43 0
[pid=11399] ppid=11395 vsize=812 CPUtime=0
/proc/11399/stat : 11399 (SatELite_releas) R 11395 11395 10114 0 -1 4194304 74 0 0 0 0 0 0 0 25 0 1 0 1012715131 831488 11 4294967295 134512640 135223648 3219503504 3219503292 134737824 0 0 0 0 0 0 0 17 2 0 0 0
/proc/11399/statm: 204 23 18 174 0 29 0

[startup+0.035741 s]
/proc/loadavg: 0.93 1.00 0.99 2/93 11395
/proc/meminfo: memFree=1441568/2074464 swapFree=1950884/1959888
[pid=11395] ppid=11393 vsize=2416 CPUtime=0
/proc/11395/stat : 11395 (SatELiteGTI) S 11393 11395 10114 0 -1 4194304 367 646 0 0 0 0 0 0 25 0 1 0 1012715131 2473984 277 4294967295 134512640 135169312 3213224880 3213223416 3085237998 0 65536 4 65538 3222381614 0 0 17 1 0 0 0
/proc/11395/statm: 604 277 235 161 0 43 0
[pid=11399] ppid=11395 vsize=5760 CPUtime=0.04
/proc/11399/stat : 11399 (SatELite_releas) R 11395 11395 10114 0 -1 4202496 1266 0 0 0 3 1 0 0 25 0 1 0 1012715131 5898240 1202 4294967295 134512640 135223648 3219503504 3219502088 134719062 0 0 0 3 0 0 0 17 2 0 0 0
/proc/11399/statm: 1440 1203 46 174 0 1265 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 8176

[startup+0.115723 s]
/proc/loadavg: 0.93 1.00 0.99 2/93 11395
/proc/meminfo: memFree=1441568/2074464 swapFree=1950884/1959888
[pid=11395] ppid=11393 vsize=2416 CPUtime=0
/proc/11395/stat : 11395 (SatELiteGTI) S 11393 11395 10114 0 -1 4194304 367 646 0 0 0 0 0 0 25 0 1 0 1012715131 2473984 277 4294967295 134512640 135169312 3213224880 3213223416 3085237998 0 65536 4 65538 3222381614 0 0 17 1 0 0 0
/proc/11395/statm: 604 277 235 161 0 43 0
[pid=11399] ppid=11395 vsize=18512 CPUtime=0.12
/proc/11399/stat : 11399 (SatELite_releas) R 11395 11395 10114 0 -1 4202496 4070 0 0 0 10 2 0 0 25 0 1 0 1012715131 18956288 4006 4294967295 134512640 135223648 3219503504 3219502072 134719062 0 0 0 3 0 0 0 17 2 0 0 0
/proc/11399/statm: 4628 4008 46 174 0 4453 0
Current children cumulated CPU time (s) 0.12
Current children cumulated vsize (KiB) 20928

[startup+0.315714 s]
/proc/loadavg: 0.93 1.00 0.99 2/93 11395
/proc/meminfo: memFree=1441568/2074464 swapFree=1950884/1959888
[pid=11395] ppid=11393 vsize=2416 CPUtime=0
/proc/11395/stat : 11395 (SatELiteGTI) S 11393 11395 10114 0 -1 4194304 367 646 0 0 0 0 0 0 25 0 1 0 1012715131 2473984 277 4294967295 134512640 135169312 3213224880 3213223416 3085237998 0 65536 4 65538 3222381614 0 0 17 1 0 0 0
/proc/11395/statm: 604 277 235 161 0 43 0
[pid=11399] ppid=11395 vsize=44072 CPUtime=0.32
/proc/11399/stat : 11399 (SatELite_releas) R 11395 11395 10114 0 -1 4202496 10772 0 0 0 20 12 0 0 25 0 1 0 1012715131 45129728 10708 4294967295 134512640 135223648 3219503504 3219502456 134737310 0 0 0 3 0 0 0 17 2 0 0 0
/proc/11399/statm: 11018 10708 46 174 0 10843 0
Current children cumulated CPU time (s) 0.32
Current children cumulated vsize (KiB) 46488

[startup+0.715694 s]
/proc/loadavg: 0.93 1.00 0.99 2/93 11395
/proc/meminfo: memFree=1441568/2074464 swapFree=1950884/1959888
[pid=11395] ppid=11393 vsize=2416 CPUtime=0
/proc/11395/stat : 11395 (SatELiteGTI) S 11393 11395 10114 0 -1 4194304 367 646 0 0 0 0 0 0 25 0 1 0 1012715131 2473984 277 4294967295 134512640 135169312 3213224880 3213223416 3085237998 0 65536 4 65538 3222381614 0 0 17 1 0 0 0
/proc/11395/statm: 604 277 235 161 0 43 0
[pid=11399] ppid=11395 vsize=95232 CPUtime=0.72
/proc/11399/stat : 11399 (SatELite_releas) R 11395 11395 10114 0 -1 4202496 23194 0 0 0 50 22 0 0 25 0 1 0 1012715131 97517568 23130 4294967295 134512640 135223648 3219503504 3219502512 134547606 0 0 0 3 0 0 0 17 2 0 0 0
/proc/11399/statm: 23808 23130 47 174 0 23633 0
Current children cumulated CPU time (s) 0.72
Current children cumulated vsize (KiB) 97648

[startup+1.51566 s]
/proc/loadavg: 0.93 1.00 0.99 3/95 11400
/proc/meminfo: memFree=1339128/2074464 swapFree=1950884/1959888
[pid=11395] ppid=11393 vsize=2416 CPUtime=0
/proc/11395/stat : 11395 (SatELiteGTI) S 11393 11395 10114 0 -1 4194304 367 646 0 0 0 0 0 0 25 0 1 0 1012715131 2473984 277 4294967295 134512640 135169312 3213224880 3213223416 3085237998 0 65536 4 65538 3222381614 0 0 17 1 0 0 0
/proc/11395/statm: 604 277 235 161 0 43 0
[pid=11399] ppid=11395 vsize=110056 CPUtime=1.52
/proc/11399/stat : 11399 (SatELite_releas) R 11395 11395 10114 0 -1 4202496 28180 0 0 0 129 23 0 0 25 0 1 0 1012715131 112697344 26030 4294967295 134512640 135223648 3219503504 3219501520 134586672 0 0 0 3 0 0 0 17 2 0 0 0
/proc/11399/statm: 27514 26030 73 174 0 27339 0
Current children cumulated CPU time (s) 1.52
Current children cumulated vsize (KiB) 112472

[startup+3.11558 s]
/proc/loadavg: 0.93 1.00 0.99 3/95 11400
/proc/meminfo: memFree=1326480/2074464 swapFree=1950884/1959888
[pid=11395] ppid=11393 vsize=2416 CPUtime=0
/proc/11395/stat : 11395 (SatELiteGTI) S 11393 11395 10114 0 -1 4194304 367 646 0 0 0 0 0 0 25 0 1 0 1012715131 2473984 277 4294967295 134512640 135169312 3213224880 3213223416 3085237998 0 65536 4 65538 3222381614 0 0 17 1 0 0 0
/proc/11395/statm: 604 277 235 161 0 43 0
[pid=11399] ppid=11395 vsize=116988 CPUtime=3.12
/proc/11399/stat : 11399 (SatELite_releas) R 11395 11395 10114 0 -1 4202496 29805 0 0 0 283 29 0 0 25 0 1 0 1012715131 119795712 27655 4294967295 134512640 135223648 3219503504 3219501504 134548224 0 0 0 3 0 0 0 17 2 0 0 0
/proc/11399/statm: 29247 27655 73 174 0 29072 0
Current children cumulated CPU time (s) 3.12
Current children cumulated vsize (KiB) 119404

[startup+6.31542 s]
/proc/loadavg: 0.93 1.00 0.99 3/95 11400
/proc/meminfo: memFree=1301944/2074464 swapFree=1950884/1959888
[pid=11395] ppid=11393 vsize=2420 CPUtime=5.54
/proc/11395/stat : 11395 (SatELiteGTI) S 11393 11395 10114 0 -1 4194304 386 33925 0 0 0 0 520 34 20 0 1 0 1012715131 2478080 278 4294967295 134512640 135169312 3213224880 3213221096 3085237998 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/11395/statm: 605 278 235 161 0 44 0
Current children cumulated CPU time (s) 5.54
Current children cumulated vsize (KiB) 2420

[startup+12.7151 s]
/proc/loadavg: 0.94 1.00 0.99 2/95 11403
/proc/meminfo: memFree=1389428/2074464 swapFree=1950884/1959888
[pid=11395] ppid=11393 vsize=2420 CPUtime=5.54
/proc/11395/stat : 11395 (SatELiteGTI) S 11393 11395 10114 0 -1 4194304 386 33925 0 0 0 0 520 34 20 0 1 0 1012715131 2478080 278 4294967295 134512640 135169312 3213224880 3213221096 3085237998 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/11395/statm: 605 278 235 161 0 44 0
[pid=11401] ppid=11395 vsize=25228 CPUtime=7.18
/proc/11401/stat : 11401 (minisat_static) R 11395 11395 10114 0 -1 4202496 5934 0 0 0 713 5 0 0 25 0 1 0 1012715685 25833472 5856 4294967295 134512640 135215339 3216213712 3216212000 134528682 0 0 0 3 0 0 0 17 3 0 0 0
/proc/11401/statm: 6307 5856 73 172 0 6134 0
Current children cumulated CPU time (s) 12.72
Current children cumulated vsize (KiB) 27648

[startup+25.5145 s]
/proc/loadavg: 0.95 1.00 0.99 2/95 11403
/proc/meminfo: memFree=1382084/2074464 swapFree=1950884/1959888
[pid=11395] ppid=11393 vsize=2420 CPUtime=5.54
/proc/11395/stat : 11395 (SatELiteGTI) S 11393 11395 10114 0 -1 4194304 386 33925 0 0 0 0 520 34 20 0 1 0 1012715131 2478080 278 4294967295 134512640 135169312 3213224880 3213221096 3085237998 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/11395/statm: 605 278 235 161 0 44 0
[pid=11401] ppid=11395 vsize=32404 CPUtime=19.98
/proc/11401/stat : 11401 (minisat_static) R 11395 11395 10114 0 -1 4202496 7721 0 0 0 1993 5 0 0 25 0 1 0 1012715685 33181696 7643 4294967295 134512640 135215339 3216213712 3216212000 134528666 0 0 0 3 0 0 0 17 3 0 0 0
/proc/11401/statm: 8101 7643 73 172 0 7928 0
Current children cumulated CPU time (s) 25.52
Current children cumulated vsize (KiB) 34824

[startup+51.1133 s]
/proc/loadavg: 0.97 1.00 0.99 2/95 11589
/proc/meminfo: memFree=1372456/2074464 swapFree=1950884/1959888
[pid=11395] ppid=11393 vsize=2420 CPUtime=5.54
/proc/11395/stat : 11395 (SatELiteGTI) S 11393 11395 10114 0 -1 4194304 386 33925 0 0 0 0 520 34 20 0 1 0 1012715131 2478080 278 4294967295 134512640 135169312 3213224880 3213221096 3085237998 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/11395/statm: 605 278 235 161 0 44 0
[pid=11401] ppid=11395 vsize=42356 CPUtime=45.58
/proc/11401/stat : 11401 (minisat_static) R 11395 11395 10114 0 -1 4202496 10166 0 0 0 4553 5 0 0 25 0 1 0 1012715685 43372544 10088 4294967295 134512640 135215339 3216213712 3216212000 134529157 0 0 0 3 0 0 0 17 3 0 0 0
/proc/11401/statm: 10589 10088 73 172 0 10416 0
Current children cumulated CPU time (s) 51.12
Current children cumulated vsize (KiB) 44776

[startup+102.311 s]
/proc/loadavg: 0.98 1.00 0.99 2/95 11775
/proc/meminfo: memFree=1361512/2074464 swapFree=1950884/1959888
[pid=11395] ppid=11393 vsize=2420 CPUtime=5.54
/proc/11395/stat : 11395 (SatELiteGTI) S 11393 11395 10114 0 -1 4194304 386 33925 0 0 0 0 520 34 20 0 1 0 1012715131 2478080 278 4294967295 134512640 135169312 3213224880 3213221096 3085237998 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/11395/statm: 605 278 235 161 0 44 0
[pid=11401] ppid=11395 vsize=52804 CPUtime=96.78
/proc/11401/stat : 11401 (minisat_static) R 11395 11395 10114 0 -1 4202496 12758 0 0 0 9672 6 0 0 25 0 1 0 1012715685 54071296 12680 4294967295 134512640 135215339 3216213712 3216211984 134525660 0 0 0 3 0 0 0 17 3 0 0 0
/proc/11401/statm: 13201 12680 73 172 0 13028 0
Current children cumulated CPU time (s) 102.32
Current children cumulated vsize (KiB) 55224

[startup+162.308 s]
/proc/loadavg: 0.99 1.00 0.99 2/95 11968
/proc/meminfo: memFree=1345424/2074464 swapFree=1950884/1959888
[pid=11395] ppid=11393 vsize=2420 CPUtime=5.54
/proc/11395/stat : 11395 (SatELiteGTI) S 11393 11395 10114 0 -1 4194304 386 33925 0 0 0 0 520 34 20 0 1 0 1012715131 2478080 278 4294967295 134512640 135169312 3213224880 3213221096 3085237998 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/11395/statm: 605 278 235 161 0 44 0
[pid=11401] ppid=11395 vsize=69148 CPUtime=156.78
/proc/11401/stat : 11401 (minisat_static) R 11395 11395 10114 0 -1 4202496 16791 0 0 0 15668 10 0 0 25 0 1 0 1012715685 70807552 16713 4294967295 134512640 135215339 3216213712 3216212000 134528691 0 0 0 3 0 0 0 17 3 0 0 0
/proc/11401/statm: 17287 16713 73 172 0 17114 0
Current children cumulated CPU time (s) 162.32
Current children cumulated vsize (KiB) 71568

[startup+222.315 s]
/proc/loadavg: 0.99 1.00 0.99 3/95 12155
/proc/meminfo: memFree=1332752/2074464 swapFree=1950884/1959888
[pid=11395] ppid=11393 vsize=2420 CPUtime=5.54
/proc/11395/stat : 11395 (SatELiteGTI) S 11393 11395 10114 0 -1 4194304 386 33925 0 0 0 0 520 34 20 0 1 0 1012715131 2478080 278 4294967295 134512640 135169312 3213224880 3213221096 3085237998 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/11395/statm: 605 278 235 161 0 44 0
[pid=11401] ppid=11395 vsize=81520 CPUtime=216.79
/proc/11401/stat : 11401 (minisat_static) R 11395 11395 10114 0 -1 4202496 19946 0 0 0 21669 10 0 0 25 0 1 0 1012715685 83476480 19868 4294967295 134512640 135215339 3216213712 3216212000 134528682 0 0 0 3 0 0 0 17 3 0 0 0
/proc/11401/statm: 20380 19868 73 172 0 20207 0
Current children cumulated CPU time (s) 222.33
Current children cumulated vsize (KiB) 83940

[startup+282.312 s]
/proc/loadavg: 0.99 1.00 0.99 3/95 12344
/proc/meminfo: memFree=1319724/2074464 swapFree=1950884/1959888
[pid=11395] ppid=11393 vsize=2420 CPUtime=5.54
/proc/11395/stat : 11395 (SatELiteGTI) S 11393 11395 10114 0 -1 4194304 386 33925 0 0 0 0 520 34 20 0 1 0 1012715131 2478080 278 4294967295 134512640 135169312 3213224880 3213221096 3085237998 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/11395/statm: 605 278 235 161 0 44 0
[pid=11401] ppid=11395 vsize=95040 CPUtime=276.79
/proc/11401/stat : 11401 (minisat_static) R 11395 11395 10114 0 -1 4202496 23170 0 0 0 27666 13 0 0 25 0 1 0 1012715685 97320960 23092 4294967295 134512640 135215339 3216213712 3216212000 134528682 0 0 0 3 0 0 0 17 3 0 0 0
/proc/11401/statm: 23760 23092 73 172 0 23587 0
Current children cumulated CPU time (s) 282.33
Current children cumulated vsize (KiB) 97460

[startup+342.319 s]
/proc/loadavg: 0.99 1.00 0.99 2/95 12534
/proc/meminfo: memFree=1310524/2074464 swapFree=1950884/1959888
[pid=11395] ppid=11393 vsize=2420 CPUtime=5.54
/proc/11395/stat : 11395 (SatELiteGTI) S 11393 11395 10114 0 -1 4194304 386 33925 0 0 0 0 520 34 20 0 1 0 1012715131 2478080 278 4294967295 134512640 135169312 3213224880 3213221096 3085237998 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/11395/statm: 605 278 235 161 0 44 0
[pid=11401] ppid=11395 vsize=104008 CPUtime=336.8
/proc/11401/stat : 11401 (minisat_static) R 11395 11395 10114 0 -1 4202496 25451 0 0 0 33664 16 0 0 25 0 1 0 1012715685 106504192 25373 4294967295 134512640 135215339 3216213712 3216212000 134528682 0 0 0 3 0 0 0 17 3 0 0 0
/proc/11401/statm: 26002 25373 73 172 0 25829 0
Current children cumulated CPU time (s) 342.34
Current children cumulated vsize (KiB) 106428

[startup+402.316 s]
/proc/loadavg: 0.99 1.00 0.99 2/95 12720
/proc/meminfo: memFree=1310432/2074464 swapFree=1950884/1959888
[pid=11395] ppid=11393 vsize=2420 CPUtime=5.54
/proc/11395/stat : 11395 (SatELiteGTI) S 11393 11395 10114 0 -1 4194304 386 33925 0 0 0 0 520 34 20 0 1 0 1012715131 2478080 278 4294967295 134512640 135169312 3213224880 3213221096 3085237998 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/11395/statm: 605 278 235 161 0 44 0
[pid=11401] ppid=11395 vsize=104172 CPUtime=396.8
/proc/11401/stat : 11401 (minisat_static) R 11395 11395 10114 0 -1 4202496 25486 0 0 0 39664 16 0 0 25 0 1 0 1012715685 106672128 25408 4294967295 134512640 135215339 3216213712 3216212000 134528682 0 0 0 3 0 0 0 17 3 0 0 0
/proc/11401/statm: 26043 25408 73 172 0 25870 0
Current children cumulated CPU time (s) 402.34
Current children cumulated vsize (KiB) 106592

[startup+462.313 s]
/proc/loadavg: 0.99 1.00 0.99 2/95 12909
/proc/meminfo: memFree=1307852/2074464 swapFree=1950884/1959888
[pid=11395] ppid=11393 vsize=2420 CPUtime=5.54
/proc/11395/stat : 11395 (SatELiteGTI) S 11393 11395 10114 0 -1 4194304 386 33925 0 0 0 0 520 34 20 0 1 0 1012715131 2478080 278 4294967295 134512640 135169312 3213224880 3213221096 3085237998 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/11395/statm: 605 278 235 161 0 44 0
[pid=11401] ppid=11395 vsize=106600 CPUtime=456.8
/proc/11401/stat : 11401 (minisat_static) R 11395 11395 10114 0 -1 4202496 26114 0 0 0 45663 17 0 0 25 0 1 0 1012715685 109158400 26036 4294967295 134512640 135215339 3216213712 3216212000 134528682 0 0 0 3 0 0 0 17 3 0 0 0
/proc/11401/statm: 26650 26036 73 172 0 26477 0
Current children cumulated CPU time (s) 462.34
Current children cumulated vsize (KiB) 109020

[startup+522.31 s]
/proc/loadavg: 0.99 1.00 0.99 2/95 13100
/proc/meminfo: memFree=1307232/2074464 swapFree=1950884/1959888
[pid=11395] ppid=11393 vsize=2420 CPUtime=5.54
/proc/11395/stat : 11395 (SatELiteGTI) S 11393 11395 10114 0 -1 4194304 386 33925 0 0 0 0 520 34 20 0 1 0 1012715131 2478080 278 4294967295 134512640 135169312 3213224880 3213221096 3085237998 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/11395/statm: 605 278 235 161 0 44 0
[pid=11401] ppid=11395 vsize=107204 CPUtime=516.8
/proc/11401/stat : 11401 (minisat_static) R 11395 11395 10114 0 -1 4202496 26263 0 0 0 51663 17 0 0 25 0 1 0 1012715685 109776896 26185 4294967295 134512640 135215339 3216213712 3216212000 134529080 0 0 0 3 0 0 0 17 3 0 0 0
/proc/11401/statm: 26801 26185 73 172 0 26628 0
Current children cumulated CPU time (s) 522.34
Current children cumulated vsize (KiB) 109624

[startup+582.318 s]
/proc/loadavg: 0.99 1.00 0.99 2/95 13289
/proc/meminfo: memFree=1307200/2074464 swapFree=1950884/1959888
[pid=11395] ppid=11393 vsize=2420 CPUtime=5.54
/proc/11395/stat : 11395 (SatELiteGTI) S 11393 11395 10114 0 -1 4194304 386 33925 0 0 0 0 520 34 20 0 1 0 1012715131 2478080 278 4294967295 134512640 135169312 3213224880 3213221096 3085237998 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/11395/statm: 605 278 235 161 0 44 0
[pid=11401] ppid=11395 vsize=107376 CPUtime=576.81
/proc/11401/stat : 11401 (minisat_static) R 11395 11395 10114 0 -1 4202496 26301 0 0 0 57664 17 0 0 25 0 1 0 1012715685 109953024 26223 4294967295 134512640 135215339 3216213712 3216212000 134528682 0 0 0 3 0 0 0 17 3 0 0 0
/proc/11401/statm: 26844 26223 73 172 0 26671 0
Current children cumulated CPU time (s) 582.35
Current children cumulated vsize (KiB) 109796

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

[startup+588.717 s]
/proc/loadavg: 0.99 1.00 0.99 2/95 13289
/proc/meminfo: memFree=1307264/2074464 swapFree=1950884/1959888
[pid=11395] ppid=11393 vsize=2420 CPUtime=5.54
/proc/11395/stat : 11395 (SatELiteGTI) S 11393 11395 10114 0 -1 4194304 386 33925 0 0 0 0 520 34 20 0 1 0 1012715131 2478080 278 4294967295 134512640 135169312 3213224880 3213221096 3085237998 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/11395/statm: 605 278 235 161 0 44 0
[pid=11401] ppid=11395 vsize=107376 CPUtime=583.21
/proc/11401/stat : 11401 (minisat_static) R 11395 11395 10114 0 -1 4202496 26301 0 0 0 58304 17 0 0 25 0 1 0 1012715685 109953024 26223 4294967295 134512640 135215339 3216213712 3216212000 134528682 0 0 0 3 0 0 0 17 3 0 0 0
/proc/11401/statm: 26844 26223 73 172 0 26671 0
Current children cumulated CPU time (s) 588.75
Current children cumulated vsize (KiB) 109796

[startup+601.517 s]
/proc/loadavg: 0.99 1.00 0.99 2/95 13289
/proc/meminfo: memFree=1307336/2074464 swapFree=1950884/1959888
[pid=11395] ppid=11393 vsize=2420 CPUtime=5.54
/proc/11395/stat : 11395 (SatELiteGTI) S 11393 11395 10114 0 -1 4194304 386 33925 0 0 0 0 520 34 20 0 1 0 1012715131 2478080 278 4294967295 134512640 135169312 3213224880 3213221096 3085237998 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/11395/statm: 605 278 235 161 0 44 0
[pid=11401] ppid=11395 vsize=107376 CPUtime=596.01
/proc/11401/stat : 11401 (minisat_static) R 11395 11395 10114 0 -1 4202496 26302 0 0 0 59584 17 0 0 25 0 1 0 1012715685 109953024 26224 4294967295 134512640 135215339 3216213712 3216212000 134528682 0 0 0 3 0 0 0 17 3 0 0 0
/proc/11401/statm: 26844 26224 73 172 0 26671 0
Current children cumulated CPU time (s) 601.55
Current children cumulated vsize (KiB) 109796

[startup+614.316 s]
/proc/loadavg: 0.99 1.00 0.99 2/95 13291
/proc/meminfo: memFree=1307328/2074464 swapFree=1950884/1959888
[pid=11395] ppid=11393 vsize=2420 CPUtime=5.54
/proc/11395/stat : 11395 (SatELiteGTI) S 11393 11395 10114 0 -1 4194304 386 33925 0 0 0 0 520 34 20 0 1 0 1012715131 2478080 278 4294967295 134512640 135169312 3213224880 3213221096 3085237998 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/11395/statm: 605 278 235 161 0 44 0
[pid=11401] ppid=11395 vsize=107516 CPUtime=608.81
/proc/11401/stat : 11401 (minisat_static) R 11395 11395 10114 0 -1 4202496 26328 0 0 0 60864 17 0 0 25 0 1 0 1012715685 110096384 26250 4294967295 134512640 135215339 3216213712 3216212000 134528682 0 0 0 3 0 0 0 17 3 0 0 0
/proc/11401/statm: 26879 26250 73 172 0 26706 0
Current children cumulated CPU time (s) 614.35
Current children cumulated vsize (KiB) 109936

[startup+620.716 s]
/proc/loadavg: 0.99 1.00 0.99 2/95 13291
/proc/meminfo: memFree=1307336/2074464 swapFree=1950884/1959888
[pid=11395] ppid=11393 vsize=2420 CPUtime=5.54
/proc/11395/stat : 11395 (SatELiteGTI) S 11393 11395 10114 0 -1 4194304 386 33925 0 0 0 0 520 34 20 0 1 0 1012715131 2478080 278 4294967295 134512640 135169312 3213224880 3213221096 3085237998 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/11395/statm: 605 278 235 161 0 44 0
[pid=11401] ppid=11395 vsize=107516 CPUtime=615.21
/proc/11401/stat : 11401 (minisat_static) R 11395 11395 10114 0 -1 4202496 26328 0 0 0 61504 17 0 0 25 0 1 0 1012715685 110096384 26250 4294967295 134512640 135215339 3216213712 3216212000 134528884 0 0 0 3 0 0 0 17 3 0 0 0
/proc/11401/statm: 26879 26250 73 172 0 26706 0
Current children cumulated CPU time (s) 620.75
Current children cumulated vsize (KiB) 109936

[startup+623.916 s]
/proc/loadavg: 0.99 1.00 0.99 2/95 13291
/proc/meminfo: memFree=1307336/2074464 swapFree=1950884/1959888
[pid=11395] ppid=11393 vsize=2420 CPUtime=5.54
/proc/11395/stat : 11395 (SatELiteGTI) S 11393 11395 10114 0 -1 4194304 386 33925 0 0 0 0 520 34 20 0 1 0 1012715131 2478080 278 4294967295 134512640 135169312 3213224880 3213221096 3085237998 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/11395/statm: 605 278 235 161 0 44 0
[pid=11401] ppid=11395 vsize=107516 CPUtime=618.41
/proc/11401/stat : 11401 (minisat_static) R 11395 11395 10114 0 -1 4202496 26328 0 0 0 61824 17 0 0 25 0 1 0 1012715685 110096384 26250 4294967295 134512640 135215339 3216213712 3216212000 134528682 0 0 0 3 0 0 0 17 3 0 0 0
/proc/11401/statm: 26879 26250 73 172 0 26706 0
Current children cumulated CPU time (s) 623.95
Current children cumulated vsize (KiB) 109936

[startup+625.516 s]
/proc/loadavg: 0.99 1.00 0.99 2/95 13291
/proc/meminfo: memFree=1307336/2074464 swapFree=1950884/1959888
[pid=11395] ppid=11393 vsize=2420 CPUtime=5.54
/proc/11395/stat : 11395 (SatELiteGTI) S 11393 11395 10114 0 -1 4194304 386 33925 0 0 0 0 520 34 20 0 1 0 1012715131 2478080 278 4294967295 134512640 135169312 3213224880 3213221096 3085237998 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/11395/statm: 605 278 235 161 0 44 0
[pid=11401] ppid=11395 vsize=107516 CPUtime=620.01
/proc/11401/stat : 11401 (minisat_static) R 11395 11395 10114 0 -1 4202496 26328 0 0 0 61984 17 0 0 25 0 1 0 1012715685 110096384 26250 4294967295 134512640 135215339 3216213712 3216211984 134525083 0 0 0 3 0 0 0 17 3 0 0 0
/proc/11401/statm: 26879 26250 73 172 0 26706 0
Current children cumulated CPU time (s) 625.55
Current children cumulated vsize (KiB) 109936

[startup+626.315 s]
/proc/loadavg: 0.99 1.00 0.99 2/95 13291
/proc/meminfo: memFree=1307336/2074464 swapFree=1950884/1959888
[pid=11395] ppid=11393 vsize=2420 CPUtime=5.54
/proc/11395/stat : 11395 (SatELiteGTI) S 11393 11395 10114 0 -1 4194304 386 33925 0 0 0 0 520 34 20 0 1 0 1012715131 2478080 278 4294967295 134512640 135169312 3213224880 3213221096 3085237998 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/11395/statm: 605 278 235 161 0 44 0
[pid=11401] ppid=11395 vsize=107516 CPUtime=620.81
/proc/11401/stat : 11401 (minisat_static) R 11395 11395 10114 0 -1 4202496 26328 0 0 0 62064 17 0 0 25 0 1 0 1012715685 110096384 26250 4294967295 134512640 135215339 3216213712 3216212000 134529157 0 0 0 3 0 0 0 17 3 0 0 0
/proc/11401/statm: 26879 26250 73 172 0 26706 0
Current children cumulated CPU time (s) 626.35
Current children cumulated vsize (KiB) 109936

[startup+626.715 s]
/proc/loadavg: 0.99 1.00 0.99 2/95 13291
/proc/meminfo: memFree=1307336/2074464 swapFree=1950884/1959888
[pid=11395] ppid=11393 vsize=2420 CPUtime=5.54
/proc/11395/stat : 11395 (SatELiteGTI) S 11393 11395 10114 0 -1 4194304 386 33925 0 0 0 0 520 34 20 0 1 0 1012715131 2478080 278 4294967295 134512640 135169312 3213224880 3213221096 3085237998 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/11395/statm: 605 278 235 161 0 44 0
[pid=11401] ppid=11395 vsize=107516 CPUtime=621.21
/proc/11401/stat : 11401 (minisat_static) R 11395 11395 10114 0 -1 4202496 26328 0 0 0 62104 17 0 0 25 0 1 0 1012715685 110096384 26250 4294967295 134512640 135215339 3216213712 3216212000 134528666 0 0 0 3 0 0 0 17 3 0 0 0
/proc/11401/statm: 26879 26250 73 172 0 26706 0
Current children cumulated CPU time (s) 626.75
Current children cumulated vsize (KiB) 109936

[startup+626.815 s]
/proc/loadavg: 0.99 1.00 0.99 2/95 13291
/proc/meminfo: memFree=1307336/2074464 swapFree=1950884/1959888
[pid=11395] ppid=11393 vsize=2420 CPUtime=5.54
/proc/11395/stat : 11395 (SatELiteGTI) S 11393 11395 10114 0 -1 4194304 386 33925 0 0 0 0 520 34 20 0 1 0 1012715131 2478080 278 4294967295 134512640 135169312 3213224880 3213221096 3085237998 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/11395/statm: 605 278 235 161 0 44 0
[pid=11401] ppid=11395 vsize=107516 CPUtime=621.31
/proc/11401/stat : 11401 (minisat_static) R 11395 11395 10114 0 -1 4202496 26328 0 0 0 62114 17 0 0 25 0 1 0 1012715685 110096384 26250 4294967295 134512640 135215339 3216213712 3216212000 134528682 0 0 0 3 0 0 0 17 3 0 0 0
/proc/11401/statm: 26879 26250 73 172 0 26706 0
Current children cumulated CPU time (s) 626.85
Current children cumulated vsize (KiB) 109936

Child status: 20
Real time (s): 626.893
CPU time (s): 626.92
CPU user time (s): 626.39
CPU system time (s): 0.53
CPU usage (%): 100.004
Max. virtual memory (cumulated for all children) (KiB): 124992

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

runsolver used 0.01 second user time and 0.04 second system time

The end

Launcher Data

Begin job on tipi13 at 2009-05-16 15:55:42
IDJOB=1820842
IDBENCH=69630
IDSOLVER=657
FILE ID=tipi13/1820842-1242482142
PBS_JOBID=
Free space on /tmp= 7263 MiB

SOLVER NAME= minisat_cumr p-2009-03-18
BENCH NAME= SAT_RACE08/cnf/manol-pipe-c10nid_i.cnf
COMMAND LINE= SatELiteGTI BENCHNAME
RUNSOLVER COMMAND LINE= runsolver --timestamp  -w /tmp/evaluation-result-1820842-1242482142/watcher-1820842-1242482142 -o /tmp/evaluation-result-1820842-1242482142/solver-1820842-1242482142 -C 1200 -W 1800 -M 1800  SatELiteGTI HOME/instance-1820842-1242482142.cnf

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

MD5SUM BENCH= 5845608382cee59cce4973c50f16416c
RANDOM SEED= 985660862

Linux tipi13 2.6.18 #19 SMP Tue Jun 19 11:27:27 CEST 2007 i686 GNU/Linux

/proc/cpuinfo:
processor	: 0
vendor_id	: AuthenticAMD
cpu family	: 15
model		: 33
model name	: Dual Core AMD Opteron(tm) Processor 265
stepping	: 2
cpu MHz		: 1808.475
cache size	: 1024 KB
physical id	: 0
siblings	: 2
core id		: 0
cpu cores	: 2
fdiv_bug	: no
hlt_bug		: no
f00f_bug	: no
coma_bug	: no
fpu		: yes
fpu_exception	: yes
cpuid level	: 1
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush mmx fxsr sse sse2 ht syscall nx mmxext fxsr_opt lm 3dnowext 3dnow pni lahf_lm cmp_legacy ts fid vid ttp
bogomips	: 3618.37

processor	: 1
vendor_id	: AuthenticAMD
cpu family	: 15
model		: 33
model name	: Dual Core AMD Opteron(tm) Processor 265
stepping	: 2
cpu MHz		: 1808.475
cache size	: 1024 KB
physical id	: 0
siblings	: 2
core id		: 1
cpu cores	: 2
fdiv_bug	: no
hlt_bug		: no
f00f_bug	: no
coma_bug	: no
fpu		: yes
fpu_exception	: yes
cpuid level	: 1
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush mmx fxsr sse sse2 ht syscall nx mmxext fxsr_opt lm 3dnowext 3dnow pni lahf_lm cmp_legacy ts fid vid ttp
bogomips	: 3616.78

processor	: 2
vendor_id	: AuthenticAMD
cpu family	: 15
model		: 33
model name	: Dual Core AMD Opteron(tm) Processor 265
stepping	: 2
cpu MHz		: 1808.475
cache size	: 1024 KB
physical id	: 1
siblings	: 2
core id		: 0
cpu cores	: 2
fdiv_bug	: no
hlt_bug		: no
f00f_bug	: no
coma_bug	: no
fpu		: yes
fpu_exception	: yes
cpuid level	: 1
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush mmx fxsr sse sse2 ht syscall nx mmxext fxsr_opt lm 3dnowext 3dnow pni lahf_lm cmp_legacy ts fid vid ttp
bogomips	: 3616.77

processor	: 3
vendor_id	: AuthenticAMD
cpu family	: 15
model		: 33
model name	: Dual Core AMD Opteron(tm) Processor 265
stepping	: 2
cpu MHz		: 1808.475
cache size	: 1024 KB
physical id	: 1
siblings	: 2
core id		: 1
cpu cores	: 2
fdiv_bug	: no
hlt_bug		: no
f00f_bug	: no
coma_bug	: no
fpu		: yes
fpu_exception	: yes
cpuid level	: 1
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush mmx fxsr sse sse2 ht syscall nx mmxext fxsr_opt lm 3dnowext 3dnow pni lahf_lm cmp_legacy ts fid vid ttp
bogomips	: 3616.78


/proc/meminfo:
MemTotal:      2074464 kB
MemFree:       1441600 kB
Buffers:         38488 kB
Cached:         501536 kB
SwapCached:       3452 kB
Active:         316284 kB
Inactive:       233360 kB
HighTotal:     1178688 kB
HighFree:       700524 kB
LowTotal:       895776 kB
LowFree:        741076 kB
SwapTotal:     1959888 kB
SwapFree:      1950884 kB
Dirty:           15148 kB
Writeback:           0 kB
AnonPages:        8872 kB
Mapped:           3100 kB
Slab:            74276 kB
PageTables:        632 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:   2997120 kB
Committed_AS:    90596 kB
VmallocTotal:   114680 kB
VmallocUsed:      1324 kB
VmallocChunk:   113264 kB

Free space on /tmp at the end= 7263 MiB
End job on tipi13 at 2009-05-16 16:06:10