Trace number 1833611

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
minisat_cumr p-2009-03-18? (TO) 1200.12 1200.91

General information on the benchmark

NameAPPLICATIONS/bitverif/
mulhs/mulhs016.cnf
MD5SUMe4ef55733955e0a45519e9f7dec923e5
Bench CategoryAPPLICATION (applications instances)
Best result obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark
Satisfiable
(Un)Satisfiability was proved
Number of variables4656
Number of clauses13871
Sum of the clauses size32363
Maximum clause length3
Minimum clause length1
Number of clauses of size 12
Number of clauses of size 29246
Number of clauses of size 34623
Number of clauses of size 40
Number of clauses of size 50
Number of clauses of size over 50

Solver Data

0.00/0.00	c Parsing...
0.00/0.01	c ==============================================================================
0.00/0.01	c |           |     ORIGINAL     |              LEARNT              |          |
0.00/0.01	c | Conflicts | Clauses Literals |   Limit Clauses Literals  Lit/Cl | Progress |
0.00/0.01	c ==============================================================================
0.00/0.01	c |         0 |   13869    32361 |    4160       0        0     nan |  0.000 % |
0.00/0.08	c |         0 |   10390    29200 |      --       0       --      -- |     --   | -3477/-3156
0.00/0.08	c ==============================================================================
0.00/0.08	c Result  :   #vars: 2564   #clauses: 10390   #literals: 29200
0.00/0.08	c CPU time:   0.075988 s
0.00/0.08	c ==============================================================================
0.00/0.09	c This is MiniSat 2.0 beta
0.00/0.09	c WARNING: for repeatability, setting FPU to use double precision
0.00/0.09	c ============================[ Problem Statistics ]=============================
0.00/0.09	c |                                                                             |
0.00/0.09	c |  Number of variables:  2564                                                 |
0.00/0.09	c |  Number of clauses:    10390                                                |
0.08/0.10	c |  Parsing time:         0.01         s                                       |
0.08/0.10	c ============================[ Search Statistics ]==============================
0.08/0.10	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
0.08/0.10	c |           |    Vars  Clauses Literals |    Limit  Clauses Lit/Cl |          |
0.08/0.10	c ===============================================================================
0.08/0.10	c |         0 |    2564    10390    29200 |     3463        0    nan |  0.000 % |
0.08/0.11	c |       100 |    2564    10390    29200 |     3463      100     12 |  0.001 % |
0.08/0.11	c |       201 |    2564    10390    29200 |     3463      201     21 |  0.002 % |
0.08/0.13	c |       302 |    2564    10390    29200 |     3463      302     29 |  0.000 % |
0.08/0.13	c |       413 |    2564    10390    29200 |     3463      413     24 |  0.000 % |
0.08/0.14	c |       513 |    2564    10390    29200 |     3463      513     26 |  0.000 % |
0.08/0.15	c |       623 |    2564    10390    29200 |     3463      623     30 |  0.001 % |
0.08/0.16	c |       745 |    2564    10390    29200 |     3463      745     29 |  0.000 % |
0.08/0.17	c |       845 |    2564    10390    29200 |     3463      845     31 |  0.000 % |
0.08/0.18	c |       957 |    2564    10390    29200 |     3463      957     30 |  0.000 % |
0.08/0.21	c |      1078 |    2564    10390    29200 |     3463     1078     35 |  0.000 % |
0.08/0.23	c |      1211 |    2564    10390    29200 |     3463     1211     37 |  0.001 % |
0.08/0.24	c |      1313 |    2564    10390    29200 |     3463     1313     36 |  0.000 % |
0.08/0.24	c |      1423 |    2564    10390    29200 |     3463     1423     35 |  0.000 % |
0.08/0.25	c |      1545 |    2564    10390    29200 |     3463     1545     35 |  0.000 % |
0.08/0.27	c |      1678 |    2564    10390    29200 |     3463     1678     36 |  0.000 % |
0.08/0.29	c |      1826 |    2564    10390    29200 |     3463     1826     38 |  0.000 % |
0.08/0.30	c |      1927 |    2564    10390    29200 |     3463     1927     39 |  0.000 % |
0.08/0.31	c |      2040 |    2564    10390    29200 |     3463     2040     38 |  0.000 % |
0.08/0.33	c |      2161 |    2564    10390    29200 |     3463     2161     40 |  0.000 % |
0.08/0.34	c |      2295 |    2564    10390    29200 |     3463     2295     42 |  0.002 % |
0.08/0.38	c |      2442 |    2564    10390    29200 |     3463     2442     45 |  0.000 % |
0.08/0.40	c |      2603 |    2564    10390    29200 |     3463     2603     45 |  0.000 % |
0.08/0.43	c |      2703 |    2564    10390    29200 |     3463     2703     45 |  0.000 % |
0.08/0.44	c |      2813 |    2564    10390    29200 |     3463     2813     44 |  0.000 % |
0.08/0.47	c |      2934 |    2564    10390    29200 |     3463     2934     45 |  0.000 % |
0.08/0.49	c |      3068 |    2564    10390    29200 |     3463     3068     45 |  0.000 % |
0.08/0.50	c |      3215 |    2564    10390    29200 |     3463     3215     45 |  0.001 % |
0.08/0.54	c |      3375 |    2564    10390    29200 |     3463     3375     47 |  0.000 % |
0.08/0.57	c |      3551 |    2564    10390    29200 |     3463     3551     47 |  0.000 % |
0.08/0.58	c |      3653 |    2564    10390    29200 |     3463     3298     48 |  0.000 % |
0.08/0.59	c |      3765 |    2564    10390    29200 |     3463     3410     47 |  0.000 % |
0.08/0.61	c |      3888 |    2564    10390    29200 |     3463     3533     47 |  0.001 % |
0.08/0.62	c |      4021 |    2564    10390    29200 |     3463     3313     47 |  0.001 % |
0.08/0.64	c |      4167 |    2564    10390    29200 |     3463     3459     48 |  0.001 % |
0.08/0.65	c |      4327 |    2564    10390    29200 |     3463     3619     47 |  0.000 % |
0.08/0.67	c |      4504 |    2564    10390    29200 |     3463     3435     45 |  0.000 % |
0.08/0.71	c |      4697 |    2564    10390    29200 |     3463     3628     48 |  0.001 % |
0.08/0.72	c |      4797 |    2564    10390    29200 |     3463     3366     47 |  0.000 % |
0.08/0.73	c |      4907 |    2564    10390    29200 |     3463     3476     47 |  0.000 % |
0.08/0.75	c |      5029 |    2564    10390    29200 |     3463     3251     45 |  0.000 % |
0.08/0.76	c |      5165 |    2564    10390    29200 |     3463     3387     47 |  0.002 % |
0.08/0.81	c |      5312 |    2564    10390    29200 |     3463     3534     49 |  0.000 % |
0.08/0.82	c |      5472 |    2564    10390    29200 |     3463     3341     46 |  0.000 % |
0.08/0.85	c |      5649 |    2564    10390    29200 |     3463     3518     45 |  0.000 % |
0.08/0.90	c |      5843 |    2564    10390    29200 |     3463     3361     45 |  0.000 % |
0.08/0.91	c |      6055 |    2564    10390    29200 |     3463     3573     44 |  0.001 % |
0.08/0.93	c |      6156 |    2564    10390    29200 |     3463     3317     43 |  0.000 % |
0.08/0.94	c |      6267 |    2564    10390    29200 |     3463     3428     43 |  0.000 % |
0.08/0.96	c |      6389 |    2564    10390    29200 |     3463     3550     43 |  0.000 % |
0.08/0.97	c |      6524 |    2564    10390    29200 |     3463     3330     43 |  0.000 % |
0.08/0.99	c |      6673 |    2564    10390    29200 |     3463     3479     45 |  0.001 % |
0.98/1.01	c |      6834 |    2564    10390    29200 |     3463     3293     45 |  0.000 % |
0.98/1.03	c |      7010 |    2564    10390    29200 |     3463     3469     44 |  0.000 % |
0.98/1.05	c |      7204 |    2564    10390    29200 |     3463     3317     43 |  0.000 % |
0.98/1.07	c |      7416 |    2564    10390    29200 |     3463     3529     42 |  0.000 % |
0.98/1.09	c |      7650 |    2564    10390    29200 |     3463     3411     39 |  0.000 % |
0.98/1.10	c |      7750 |    2564    10390    29200 |     3463     3511     39 |  0.000 % |
1.08/1.11	c |      7860 |    2564    10390    29200 |     3463     3270     36 |  0.000 % |
1.08/1.12	c |      7981 |    2564    10390    29200 |     3463     3391     36 |  0.000 % |
1.08/1.15	c |      8116 |    2564    10390    29200 |     3463     3526     36 |  0.000 % |
1.08/1.17	c |      8262 |    2564    10390    29200 |     3463     3320     36 |  0.000 % |
1.08/1.19	c |      8424 |    2564    10390    29200 |     3463     3482     36 |  0.001 % |
1.17/1.23	c |      8600 |    2564    10390    29200 |     3463     3310     35 |  0.000 % |
1.17/1.25	c |      8794 |    2564    10390    29200 |     3463     3504     35 |  0.000 % |
1.17/1.28	c |      9008 |    2564    10390    29200 |     3463     3368     33 |  0.000 % |
1.27/1.32	c |      9244 |    2564    10390    29200 |     3463     3604     37 |  0.000 % |
1.27/1.34	c |      9503 |    2564    10390    29200 |     3463     3503     35 |  0.000 % |
1.27/1.35	c |      9603 |    2564    10390    29200 |     3463     3253     33 |  0.001 % |
1.27/1.38	c |      9713 |    2564    10390    29200 |     3463     3363     35 |  0.000 % |
1.27/1.39	c |      9836 |    2564    10390    29200 |     3463     3486     35 |  0.000 % |
1.37/1.42	c |      9971 |    2564    10390    29200 |     3463     3273     36 |  0.000 % |
1.37/1.44	c |     10119 |    2564    10390    29200 | 2147483647     3421     37 |  0.000 % |
1.37/1.48	c |     10280 |    2564    10390    29200 | 2147483647     3582     38 |  0.000 % |
1.37/1.49	c |     10457 |    2564    10390    29200 | 2147483647     3759     38 |  0.000 % |
1.47/1.52	c |     10650 |    2564    10390    29200 | 2147483647     3952     38 |  0.000 % |
1.47/1.56	c |     10864 |    2564    10390    29200 | 2147483647     4166     39 |  0.000 % |
1.47/1.59	c |     11097 |    2564    10390    29200 | 2147483647     4399     38 |  0.000 % |
1.57/1.62	c |     11353 |    2564    10390    29200 | 2147483647     4655     41 |  0.001 % |
1.57/1.64	c |     11635 |    2564    10390    29200 | 2147483647     4937     40 |  0.000 % |
1.57/1.65	c |     11735 |    2564    10390    29200 | 2147483647     5037     40 |  0.000 % |
1.57/1.68	c |     11846 |    2564    10390    29200 | 2147483647     5148     40 |  0.000 % |
1.57/1.70	c |     11967 |    2564    10390    29200 | 2147483647     5269     40 |  0.000 % |
1.67/1.73	c |     12101 |    2564    10390    29200 | 2147483647     5403     40 |  0.000 % |
1.67/1.74	c |     12247 |    2564    10390    29200 | 2147483647     5549     40 |  0.000 % |
1.67/1.78	c |     12407 |    2564    10390    29200 | 2147483647     5709     40 |  0.000 % |
1.77/1.84	c |     12583 |    2564    10390    29200 | 2147483647     5885     41 |  0.000 % |
1.77/1.87	c |     12783 |    2564    10390    29200 | 2147483647     6085     42 |  0.001 % |
1.77/1.89	c |     12997 |    2564    10390    29200 | 2147483647     6299     42 |  0.000 % |
1.87/1.96	c |     13230 |    2564    10390    29200 | 2147483647     6532     44 |  0.000 % |
1.97/2.03	c |     13486 |    2564    10390    29200 | 2147483647     6788     44 |  0.000 % |
1.97/2.08	c |     13768 |    2564    10390    29200 | 2147483647     7070     44 |  0.000 % |
1.97/2.10	c |     14077 |    2564    10390    29200 | 2147483647     7379     43 |  0.000 % |
2.07/2.11	c |     14178 |    2564    10390    29200 | 2147483647     7480     43 |  0.000 % |
2.07/2.13	c |     14289 |    2564    10390    29200 | 2147483647     7591     43 |  0.000 % |
2.07/2.14	c |     14412 |    2564    10390    29200 | 2147483647     7714     43 |  0.000 % |
2.07/2.18	c |     14547 |    2564    10390    29200 | 2147483647     7849     43 |  0.000 % |
2.07/2.20	c |     14694 |    2564    10390    29200 | 2147483647     7996     43 |  0.001 % |
2.17/2.21	c |     14854 |    2564    10390    29200 | 2147483647     8156     43 |  0.001 % |
2.17/2.25	c |     15032 |    2564    10390    29200 | 2147483647     8334     43 |  0.000 % |
2.17/2.26	c |     15225 |    2564    10390    29200 | 2147483647     8527     43 |  0.000 % |
2.17/2.28	c |     15440 |    2564    10390    29200 | 2147483647     8742     43 |  0.000 % |
2.27/2.37	c |     15674 |    2564    10390    29200 | 2147483647     8976     43 |  0.000 % |
2.37/2.44	c |     15931 |    2564    10390    29200 | 2147483647     9233     43 |  0.000 % |
2.37/2.49	c |     16212 |    2564    10390    29200 | 2147483647     9514     43 |  0.000 % |
2.47/2.57	c |     16521 |    2564    10390    29200 | 2147483647     9823     44 |  0.000 % |
2.57/2.61	c |     16860 |    2564    10390    29200 | 2147483647    10162     45 |  0.000 % |
2.57/2.63	c |     16960 |    2564    10390    29200 | 2147483647    10262     45 |  0.000 % |
2.57/2.68	c |     17070 |    2564    10390    29200 | 2147483647    10372     45 |  0.000 % |
2.57/2.69	c |     17191 |    2564    10390    29200 | 2147483647    10493     45 |  0.000 % |
2.67/2.73	c |     17324 |    2564    10390    29200 | 2147483647    10626     46 |  0.000 % |
2.67/2.75	c |     17471 |    2564    10390    29200 | 2147483647    10773     46 |  0.000 % |
2.67/2.79	c |     17632 |    2564    10390    29200 | 2147483647    10934     46 |  0.000 % |
2.77/2.84	c |     17810 |    2564    10390    29200 | 2147483647    11112     46 |  0.000 % |
2.77/2.89	c |     18004 |    2564    10390    29200 | 2147483647    11306     46 |  0.000 % |
2.87/2.93	c |     18217 |    2564    10390    29200 | 2147483647    11519     46 |  0.001 % |
2.87/2.95	c |     18450 |    2564    10390    29200 | 2147483647    11752     46 |  0.000 % |
2.97/3.05	c |     18707 |    2564    10390    29200 | 2147483647    12009     47 |  0.001 % |
2.97/3.07	c |     18990 |    2564    10390    29200 | 2147483647    12292     46 |  0.000 % |
3.07/3.14	c |     19299 |    2564    10390    29200 | 2147483647    12601     47 |  0.000 % |
3.07/3.19	c |     19638 |    2564    10390    29200 | 2147483647    12940     46 |  0.000 % |
3.17/3.26	c |     20011 |    2564    10390    29200 | 2147483647    13313     46 |  0.000 % |
3.17/3.28	c |     20111 |    2564    10390    29200 | 2147483647    13413     47 |  0.001 % |
3.17/3.30	c |     20222 |    2564    10390    29200 | 2147483647    13524     47 |  0.000 % |
3.27/3.31	c |     20343 |    2564    10390    29200 | 2147483647    13645     46 |  0.000 % |
3.27/3.33	c |     20478 |    2564    10390    29200 | 2147483647    13780     46 |  0.001 % |
3.27/3.36	c |     20624 |    2564    10390    29200 | 2147483647    13926     46 |  0.000 % |
3.27/3.39	c |     20784 |    2564    10390    29200 | 2147483647    14086     46 |  0.000 % |
3.37/3.42	c |     20960 |    2564    10390    29200 | 2147483647    14262     46 |  0.000 % |
3.47/3.50	c |     21153 |    2564    10390    29200 | 2147483647    14455     46 |  0.000 % |
3.47/3.59	c |     21365 |    2564    10390    29200 | 2147483647    14667     46 |  0.000 % |
3.57/3.64	c |     21598 |    2564    10390    29200 | 2147483647    14900     46 |  0.000 % |
3.57/3.68	c |     21854 |    2564    10390    29200 | 2147483647    15156     47 |  0.001 % |
3.67/3.74	c |     22136 |    2564    10390    29200 | 2147483647    15438     47 |  0.000 % |
3.67/3.78	c |     22448 |    2564    10390    29200 | 2147483647    15750     46 |  0.000 % |
3.76/3.90	c |     22788 |    2564    10390    29200 | 2147483647    16090     46 |  0.000 % |
3.86/3.97	c |     23162 |    2564    10390    29200 | 2147483647    16464     46 |  0.000 % |
4.06/4.10	c |     23571 |    2564    10390    29200 | 2147483647    16873     46 |  0.000 % |
4.06/4.12	c |     23671 |    2564    10390    29200 | 2147483647    16973     47 |  0.001 % |
4.06/4.15	c |     23781 |    2564    10390    29200 | 2147483647    17083     47 |  0.000 % |
4.06/4.17	c |     23906 |    2564    10390    29200 | 2147483647    17208     47 |  0.001 % |
4.16/4.21	c |     24039 |    2564    10390    29200 | 2147483647    17341     47 |  0.000 % |
4.16/4.23	c |     24185 |    2564    10390    29200 | 2147483647    17487     47 |  0.001 % |
4.16/4.26	c |     24346 |    2564    10390    29200 | 2147483647    17648     47 |  0.001 % |
4.16/4.29	c |     24522 |    2564    10390    29200 | 2147483647    17824     47 |  0.000 % |
4.27/4.33	c |     24716 |    2564    10390    29200 | 2147483647    18018     47 |  0.001 % |
4.27/4.39	c |     24928 |    2564    10390    29200 | 2147483647    18230     47 |  0.000 % |
4.37/4.44	c |     25161 |    2564    10390    29200 | 2147483647    18463     47 |  0.000 % |
4.47/4.51	c |     25420 |    2564    10390    29200 | 2147483647    18722     47 |  0.000 % |
4.57/4.60	c |     25701 |    2564    10390    29200 | 2147483647    19003     47 |  0.000 % |
4.67/4.74	c |     26011 |    2564    10390    29200 | 2147483647    19313     47 |  0.000 % |
4.77/4.82	c |     26352 |    2564    10390    29200 | 2147483647    19654     48 |  0.001 % |
4.87/4.91	c |     26724 |    2564    10390    29200 | 2147483647    20026     48 |  0.000 % |
4.97/5.00	c |     27136 |    2564    10390    29200 | 2147483647    20438     48 |  0.000 % |
4.97/5.09	c |     27585 |    2564    10390    29200 | 2147483647    20887     47 |  0.000 % |
5.07/5.11	c |     27686 |    2564    10390    29200 | 2147483647    20988     47 |  0.000 % |
5.07/5.14	c |     27797 |    2564    10390    29200 | 2147483647    21099     47 |  0.000 % |
5.07/5.18	c |     27918 |    2564    10390    29200 | 2147483647    21220     47 |  0.000 % |
5.17/5.23	c |     28051 |    2564    10390    29200 | 2147483647    21353     48 |  0.000 % |
5.17/5.25	c |     28197 |    2564    10390    29200 | 2147483647    21499     48 |  0.001 % |
5.27/5.37	c |     28358 |    2564    10390    29200 | 2147483647    21660     48 |  0.000 % |
5.27/5.38	c |     28535 |    2564    10390    29200 | 2147483647    21837     48 |  0.001 % |
5.37/5.42	c |     28729 |    2564    10390    29200 | 2147483647    22031     48 |  0.000 % |
5.37/5.47	c |     28943 |    2564    10390    29200 | 2147483647    22245     47 |  0.000 % |
5.47/5.54	c |     29177 |    2564    10390    29200 | 2147483647    22479     48 |  0.000 % |
5.47/5.58	c |     29434 |    2564    10390    29200 | 2147483647    22736     47 |  0.000 % |
5.56/5.65	c |     29716 |    2564    10390    29200 | 2147483647    23018     47 |  0.000 % |
5.66/5.70	c |     30026 |    2564    10390    29200 | 2147483647    23328     47 |  0.000 % |
5.66/5.74	c |     30366 |    2564    10390    29200 | 2147483647    23668     47 |  0.000 % |
5.86/5.92	c |     30738 |    2564    10390    29200 | 2147483647    24040     47 |  0.000 % |
5.96/6.08	c |     31148 |    2564    10390    29200 | 2147483647    24450     47 |  0.000 % |
6.26/6.30	c |     31597 |    2564    10390    29200 | 2147483647    24899     47 |  0.001 % |
6.36/6.40	c |     32090 |    2564    10390    29200 | 2147483647    25392     48 |  0.001 % |
6.36/6.45	c |     32191 |    2564    10390    29200 | 2147483647    25493     48 |  0.001 % |
6.36/6.48	c |     32302 |    2564    10390    29200 | 2147483647    25604     48 |  0.000 % |
6.47/6.53	c |     32423 |    2564    10390    29200 | 2147483647    25725     48 |  0.000 % |
6.47/6.57	c |     32556 |    2564    10390    29200 | 2147483647    25858     48 |  0.000 % |
6.47/6.60	c |     32707 |    2564    10390    29200 | 2147483647    26009     48 |  0.000 % |
6.56/6.64	c |     32867 |    2564    10390    29200 | 2147483647    26169     48 |  0.000 % |
6.66/6.72	c |     33044 |    2564    10390    29200 | 2147483647    26346     48 |  0.001 % |
6.66/6.77	c |     33237 |    2564    10390    29200 | 2147483647    26539     48 |  0.000 % |
6.77/6.81	c |     33449 |    2564    10390    29200 | 2147483647    26751     48 |  0.002 % |
6.77/6.89	c |     33682 |    2564    10390    29200 | 2147483647    26984     48 |  0.000 % |
7.07/7.12	c |     33939 |    2563    10385    29189 | 2147483647    27239     48 |  0.039 % |
7.27/7.31	c |     34220 |    2563    10385    29189 | 2147483647    27520     48 |  0.039 % |
7.37/7.40	c |     34529 |    2563    10385    29189 | 2147483647    27829     48 |  0.039 % |
7.37/7.47	c |     34869 |    2563    10385    29189 | 2147483647    28169     48 |  0.040 % |
7.47/7.57	c |     35242 |    2563    10385    29189 | 2147483647    28542     48 |  0.039 % |
7.67/7.75	c |     35651 |    2563    10385    29189 | 2147483647    28951     48 |  0.039 % |
7.87/8.00	c |     36100 |    2563    10385    29189 | 2147483647    29400     48 |  0.039 % |
8.17/8.25	c |     36594 |    2563    10385    29189 | 2147483647    29894     48 |  0.039 % |
8.37/8.46	c |     37136 |    2563    10385    29189 | 2147483647    30436     49 |  0.039 % |
8.47/8.50	c |     37236 |    2563    10385    29189 | 2147483647    30536     49 |  0.040 % |
8.47/8.53	c |     37348 |    2563    10385    29189 | 2147483647    30648     48 |  0.040 % |
8.56/8.61	c |     37469 |    2563    10385    29189 | 2147483647    30769     48 |  0.039 % |
8.56/8.70	c |     37603 |    2563    10385    29189 | 2147483647    30903     49 |  0.039 % |
8.67/8.74	c |     37751 |    2563    10385    29189 | 2147483647    31051     48 |  0.039 % |
8.77/8.83	c |     37912 |    2563    10385    29189 | 2147483647    31212     49 |  0.039 % |
8.77/8.87	c |     38088 |    2563    10385    29189 | 2147483647    31388     49 |  0.039 % |
8.86/8.94	c |     38282 |    2563    10385    29189 | 2147483647    31582     49 |  0.040 % |
8.86/8.97	c |     38494 |    2563    10385    29189 | 2147483647    31794     49 |  0.039 % |
8.96/9.06	c |     38728 |    2563    10385    29189 | 2147483647    32028     49 |  0.039 % |
9.06/9.16	c |     38984 |    2563    10385    29189 | 2147483647    32284     49 |  0.040 % |
9.36/9.42	c |     39267 |    2563    10385    29189 | 2147483647    32567     49 |  0.039 % |
9.46/9.55	c |     39576 |    2563    10385    29189 | 2147483647    32876     49 |  0.039 % |
9.56/9.67	c |     39917 |    2563    10385    29189 | 2147483647    33217     49 |  0.040 % |
9.77/9.87	c |     40290 |    2563    10385    29189 | 2147483647    33590     49 |  0.039 % |
9.96/10.05	c |     40699 |    2563    10385    29189 | 2147483647    33999     49 |  0.039 % |
10.06/10.11	c |     41148 |    2563    10385    29189 | 2147483647    34448     49 |  0.039 % |
10.26/10.30	c |     41641 |    2563    10385    29189 | 2147483647    34941     49 |  0.039 % |
10.46/10.56	c |     42184 |    2563    10385    29189 | 2147483647    35484     49 |  0.039 % |
10.66/10.73	c |     42780 |    2563    10385    29189 | 2147483647    36080     49 |  0.039 % |
10.66/10.79	c |     42880 |    2563    10385    29189 | 2147483647    36180     49 |  0.039 % |
10.76/10.85	c |     42990 |    2563    10385    29189 | 2147483647    36290     49 |  0.040 % |
10.86/10.92	c |     43112 |    2563    10385    29189 | 2147483647    36412     49 |  0.039 % |
10.86/10.98	c |     43246 |    2563    10385    29189 | 2147483647    36546     49 |  0.039 % |
10.96/11.05	c |     43392 |    2563    10385    29189 | 2147483647    36692     49 |  0.039 % |
10.96/11.09	c |     43553 |    2563    10385    29189 | 2147483647    36853     49 |  0.040 % |
11.06/11.16	c |     43729 |    2563    10385    29189 | 2147483647    37029     49 |  0.041 % |
11.16/11.26	c |     43923 |    2563    10385    29189 | 2147483647    37223     49 |  0.039 % |
11.26/11.35	c |     44135 |    2563    10385    29189 | 2147483647    37435     49 |  0.039 % |
11.46/11.53	c |     44368 |    2563    10385    29189 | 2147483647    37668     49 |  0.039 % |
11.66/11.74	c |     44627 |    2563    10385    29189 | 2147483647    37927     49 |  0.040 % |
11.86/11.92	c |     44908 |    2563    10385    29189 | 2147483647    38208     49 |  0.040 % |
11.96/12.04	c |     45218 |    2563    10385    29189 | 2147483647    38518     49 |  0.039 % |
12.06/12.18	c |     45560 |    2563    10385    29189 | 2147483647    38860     49 |  0.039 % |
12.26/12.38	c |     45933 |    2563    10385    29189 | 2147483647    39233     49 |  0.039 % |
12.56/12.66	c |     46342 |    2563    10385    29189 | 2147483647    39642     49 |  0.040 % |
12.66/12.76	c |     46791 |    2563    10385    29189 | 2147483647    40091     49 |  0.040 % |
12.85/12.97	c |     47284 |    2563    10385    29189 | 2147483647    40584     49 |  0.039 % |
13.16/13.30	c |     47828 |    2563    10385    29189 | 2147483647    41128     49 |  0.039 % |
13.65/13.71	c |     48425 |    2563    10385    29189 | 2147483647    41725     49 |  0.039 % |
13.95/14.04	c |     49081 |    2563    10385    29189 | 2147483647    42381     49 |  0.039 % |
13.95/14.08	c |     49181 |    2563    10385    29189 | 2147483647    42481     49 |  0.040 % |
14.05/14.13	c |     49291 |    2563    10385    29189 | 2147483647    42591     49 |  0.039 % |
14.16/14.20	c |     49413 |    2563    10385    29189 | 2147483647    42713     49 |  0.039 % |
14.16/14.25	c |     49546 |    2563    10385    29189 | 2147483647    42846     49 |  0.039 % |
14.26/14.30	c |     49692 |    2563    10385    29189 | 2147483647    42992     49 |  0.040 % |
14.26/14.37	c |     49852 |    2563    10385    29189 | 2147483647    43152     49 |  0.039 % |
14.35/14.45	c |     50028 |    2563    10385    29189 | 2147483647    43328     49 |  0.039 % |
14.45/14.51	c |     50221 |    2563    10385    29189 | 2147483647    43521     49 |  0.040 % |
14.55/14.63	c |     50433 |    2563    10385    29189 | 2147483647    43733     49 |  0.039 % |
14.65/14.72	c |     50667 |    2563    10385    29189 | 2147483647    43967     48 |  0.039 % |
14.85/14.96	c |     50924 |    2563    10385    29189 | 2147483647    44224     49 |  0.039 % |
14.95/15.08	c |     51207 |    2563    10385    29189 | 2147483647    44507     48 |  0.039 % |
15.25/15.37	c |     51517 |    2563    10385    29189 | 2147483647    44817     49 |  0.039 % |
15.35/15.49	c |     51857 |    2563    10385    29189 | 2147483647    45157     49 |  0.040 % |
15.55/15.65	c |     52229 |    2563    10385    29189 | 2147483647    45529     49 |  0.039 % |
15.75/15.86	c |     52639 |    2563    10385    29189 | 2147483647    45939     49 |  0.040 % |
15.96/16.08	c |     53088 |    2563    10385    29189 | 2147483647    46388     49 |  0.039 % |
16.26/16.33	c |     53582 |    2563    10385    29189 | 2147483647    46882     49 |  0.039 % |
16.46/16.55	c |     54125 |    2563    10385    29189 | 2147483647    47425     49 |  0.040 % |
16.86/16.99	c |     54721 |    2563    10385    29189 | 2147483647    48021     49 |  0.039 % |
17.36/17.40	c |     55376 |    2563    10385    29189 | 2147483647    48676     49 |  0.039 % |
17.66/17.71	c |     56097 |    2563    10385    29189 | 2147483647    49397     49 |  0.039 % |
17.66/17.75	c |     56198 |    2563    10385    29189 | 2147483647    49498     49 |  0.040 % |
17.76/17.81	c |     56308 |    2563    10385    29189 | 2147483647    49608     49 |  0.039 % |
17.86/17.96	c |     56430 |    2563    10385    29189 | 2147483647    49730     49 |  0.039 % |
17.96/18.03	c |     56563 |    2563    10385    29189 | 2147483647    49863     49 |  0.039 % |
18.06/18.11	c |     56709 |    2563    10385    29189 | 2147483647    50009     49 |  0.040 % |
18.06/18.17	c |     56869 |    2563    10385    29189 | 2147483647    50169     49 |  0.039 % |
18.16/18.27	c |     57045 |    2563    10385    29189 | 2147483647    50345     49 |  0.039 % |
18.25/18.40	c |     57238 |    2563    10385    29189 | 2147483647    50538     49 |  0.039 % |
18.45/18.52	c |     57450 |    2563    10385    29189 | 2147483647    50750     49 |  0.040 % |
18.56/18.64	c |     57683 |    2563    10385    29189 | 2147483647    50983     49 |  0.040 % |
18.66/18.77	c |     57940 |    2563    10385    29189 | 2147483647    51240     49 |  0.039 % |
18.86/18.98	c |     58223 |    2563    10385    29189 | 2147483647    51523     49 |  0.039 % |
19.06/19.12	c |     58532 |    2563    10385    29189 | 2147483647    51832     48 |  0.040 % |
19.16/19.26	c |     58871 |    2563    10385    29189 | 2147483647    52171     49 |  0.040 % |
19.26/19.39	c |     59243 |    2563    10385    29189 | 2147483647    52543     49 |  0.039 % |
19.45/19.58	c |     59652 |    2563    10385    29189 | 2147483647    52952     48 |  0.039 % |
19.85/19.96	c |     60102 |    2563    10385    29189 | 2147483647    53402     49 |  0.039 % |
20.05/20.20	c |     60596 |    2563    10385    29189 | 2147483647    53896     48 |  0.039 % |
20.35/20.42	c |     61138 |    2563    10385    29189 | 2147483647    54438     49 |  0.040 % |
20.55/20.69	c |     61735 |    2563    10385    29189 | 2147483647    55035     48 |  0.039 % |
21.05/21.18	c |     62390 |    2563    10385    29189 | 2147483647    55690     48 |  0.039 % |
21.45/21.53	c |     63110 |    2563    10385    29189 | 2147483647    56410     48 |  0.039 % |
22.55/22.66	c |     63903 |    2563    10385    29189 | 2147483647    57203     48 |  0.039 % |
22.65/22.72	c |     64004 |    2563    10385    29189 | 2147483647    57304     48 |  0.039 % |
22.65/22.79	c |     64115 |    2563    10385    29189 | 2147483647    57415     48 |  0.040 % |
22.75/22.84	c |     64237 |    2563    10385    29189 | 2147483647    57537     48 |  0.039 % |
22.85/22.91	c |     64371 |    2563    10385    29189 | 2147483647    57671     48 |  0.039 % |
22.95/23.07	c |     64518 |    2563    10385    29189 | 2147483647    57818     48 |  0.039 % |
23.05/23.17	c |     64678 |    2563    10385    29189 | 2147483647    57978     48 |  0.040 % |
23.24/23.30	c |     64854 |    2563    10385    29189 | 2147483647    58154     48 |  0.039 % |
23.34/23.46	c |     65047 |    2563    10385    29189 | 2147483647    58347     48 |  0.039 % |
23.44/23.57	c |     65260 |    2563    10385    29189 | 2147483647    58560     48 |  0.040 % |
23.54/23.69	c |     65493 |    2563    10385    29189 | 2147483647    58793     48 |  0.039 % |
23.74/23.84	c |     65749 |    2563    10385    29189 | 2147483647    59049     48 |  0.039 % |
24.15/24.26	c |     66031 |    2563    10385    29189 | 2147483647    59331     48 |  0.039 % |
24.34/24.42	c |     66340 |    2563    10385    29189 | 2147483647    59640     48 |  0.040 % |
24.44/24.59	c |     66679 |    2563    10385    29189 | 2147483647    59979     48 |  0.039 % |
24.74/24.87	c |     67052 |    2563    10385    29189 | 2147483647    60352     48 |  0.039 % |
24.94/25.03	c |     67462 |    2563    10385    29189 | 2147483647    60762     48 |  0.039 % |
25.24/25.34	c |     67912 |    2563    10385    29189 | 2147483647    61212     48 |  0.039 % |
25.54/25.64	c |     68405 |    2563    10385    29189 | 2147483647    61705     48 |  0.039 % |
26.25/26.40	c |     68948 |    2563    10385    29189 | 2147483647    62248     48 |  0.040 % |
26.85/26.96	c |     69544 |    2563    10385    29189 | 2147483647    62844     48 |  0.039 % |
27.14/27.26	c |     70200 |    2563    10385    29189 |    63302    63500     48 |  0.040 % |
27.65/27.70	c |     70921 |    2563    10385    29189 |    63302    57449     46 |  0.039 % |
28.34/28.48	c |     71714 |    2563    10385    29189 |    63302    58242     46 |  0.039 % |
29.04/29.16	c |     72585 |    2563    10385    29189 |    63302    59113     46 |  0.039 % |
29.14/29.25	c |     72686 |    2563    10385    29189 |    63302    59214     46 |  0.040 % |
29.24/29.33	c |     72799 |    2563    10385    29189 |    63302    59327     46 |  0.039 % |
29.24/29.37	c |     72920 |    2563    10385    29189 |    63302    59448     46 |  0.039 % |
29.34/29.45	c |     73055 |    2563    10385    29189 |    63302    59583     46 |  0.039 % |
29.44/29.52	c |     73201 |    2563    10385    29189 |    63302    59729     46 |  0.041 % |
29.74/29.80	c |     73362 |    2563    10385    29189 |    63302    59890     46 |  0.039 % |
29.84/29.91	c |     73538 |    2563    10385    29189 |    63302    60066     46 |  0.039 % |
29.94/30.00	c |     73732 |    2563    10385    29189 |    63302    60260     46 |  0.039 % |
30.04/30.14	c |     73947 |    2563    10385    29189 |    63302    60475     46 |  0.040 % |
30.14/30.27	c |     74181 |    2563    10385    29189 |    63302    60709     46 |  0.039 % |
30.33/30.46	c |     74438 |    2563    10385    29189 |    63302    60966     46 |  0.039 % |
30.73/30.80	c |     74722 |    2563    10385    29189 |    63302    61250     46 |  0.040 % |
30.93/31.02	c |     75031 |    2563    10385    29189 |    63302    61559     46 |  0.039 % |
31.03/31.16	c |     75370 |    2563    10385    29189 |    63302    61898     46 |  0.040 % |
31.33/31.42	c |     75742 |    2563    10385    29189 |    63302    62270     46 |  0.039 % |
31.73/31.83	c |     76152 |    2563    10385    29189 |    63302    62680     46 |  0.039 % |
32.03/32.13	c |     76601 |    2563    10385    29189 |    63302    63129     46 |  0.040 % |
32.33/32.41	c |     77095 |    2563    10385    29189 |    63302    63623     46 |  0.039 % |
32.73/32.88	c |     77639 |    2563    10385    29189 |    63302    56206     44 |  0.039 % |
33.42/33.55	c |     78235 |    2563    10385    29189 |    63302    56802     44 |  0.039 % |
33.92/34.01	c |     78891 |    2563    10385    29189 |    63302    57458     44 |  0.039 % |
34.32/34.48	c |     79611 |    2563    10385    29189 |    63302    58178     44 |  0.040 % |
34.82/34.94	c |     80403 |    2563    10385    29189 |    58567    58970     44 |  0.039 % |
35.21/35.34	c |     81275 |    2563    10385    29189 |    58567    53399     42 |  0.039 % |
35.81/35.91	c |     82235 |    2563    10385    29189 |    58567    54359     42 |  0.040 % |
35.91/36.03	c |     82335 |    2563    10385    29189 |    58567    54459     42 |  0.039 % |
35.91/36.07	c |     82445 |    2563    10385    29189 |    58567    54569     42 |  0.039 % |
36.01/36.15	c |     82567 |    2563    10385    29189 |    58567    54691     42 |  0.039 % |
36.12/36.22	c |     82701 |    2563    10385    29189 |    58567    54825     42 |  0.040 % |
36.22/36.31	c |     82850 |    2563    10385    29189 |    58567    54974     42 |  0.040 % |
36.31/36.40	c |     83010 |    2563    10385    29189 |    58567    55134     42 |  0.039 % |
36.41/36.50	c |     83186 |    2563    10385    29189 |    58567    55310     42 |  0.040 % |
36.51/36.64	c |     83379 |    2563    10385    29189 |    58567    55503     42 |  0.039 % |
36.71/36.83	c |     83591 |    2563    10385    29189 |    58567    55715     42 |  0.039 % |
36.81/36.90	c |     83824 |    2563    10385    29189 |    58567    55948     42 |  0.039 % |
36.91/37.07	c |     84080 |    2563    10385    29189 |    58567    56204     42 |  0.040 % |
37.11/37.23	c |     84362 |    2563    10385    29189 |    58567    56486     42 |  0.040 % |
37.31/37.50	c |     84671 |    2563    10385    29189 |    58567    56795     42 |  0.040 % |
37.71/37.82	c |     85010 |    2563    10385    29189 |    58567    57134     42 |  0.040 % |
37.81/37.99	c |     85382 |    2563    10385    29189 |    58567    57506     42 |  0.040 % |
38.11/38.24	c |     85791 |    2563    10385    29189 |    58567    57915     42 |  0.039 % |
38.41/38.54	c |     86240 |    2563    10385    29189 |    58567    58364     42 |  0.040 % |
38.71/38.86	c |     86734 |    2563    10385    29189 |    58567    58858     42 |  0.039 % |
39.31/39.40	c |     87277 |    2563    10385    29189 |    58567    52125     40 |  0.039 % |
39.71/39.85	c |     87874 |    2563    10385    29189 |    58567    52722     40 |  0.039 % |
40.21/40.39	c |     88529 |    2563    10385    29189 |    58567    53377     40 |  0.039 % |
40.51/40.70	c |     89249 |    2563    10385    29189 |    58567    54097     40 |  0.040 % |
41.41/41.51	c |     90042 |    2563    10385    29189 |    54850    54890     41 |  0.039 % |
41.81/41.96	c |     90913 |    2563    10385    29189 |    54850    49858     39 |  0.040 % |
42.41/42.51	c |     91871 |    2563    10385    29189 |    54850    50816     39 |  0.040 % |
42.81/42.95	c |     92925 |    2563    10385    29189 |    54850    51870     39 |  0.039 % |
42.91/43.00	c |     93025 |    2563    10385    29189 |    54850    51970     39 |  0.039 % |
42.91/43.08	c |     93136 |    2563    10385    29189 |    54850    52081     39 |  0.040 % |
43.01/43.15	c |     93258 |    2563    10385    29189 |    54850    52203     39 |  0.039 % |
43.11/43.20	c |     93391 |    2563    10385    29189 |    54850    52336     39 |  0.039 % |
43.21/43.31	c |     93538 |    2563    10385    29189 |    54850    52483     39 |  0.039 % |
43.31/43.41	c |     93699 |    2563    10385    29189 |    54850    52644     39 |  0.039 % |
43.41/43.50	c |     93876 |    2563    10385    29189 |    54850    52821     39 |  0.039 % |
43.51/43.62	c |     94069 |    2563    10385    29189 |    54850    53014     39 |  0.039 % |
43.71/43.84	c |     94283 |    2563    10385    29189 |    54850    53228     39 |  0.040 % |
43.81/43.97	c |     94517 |    2563    10385    29189 |    54850    53462     39 |  0.039 % |
44.01/44.11	c |     94774 |    2563    10385    29189 |    54850    53719     40 |  0.040 % |
44.11/44.22	c |     95055 |    2563    10385    29189 |    54850    54000     39 |  0.040 % |
44.11/44.28	c |     95366 |    2563    10385    29189 |    54850    54311     40 |  0.045 % |
44.41/44.57	c |     95705 |    2563    10385    29189 |    54850    54650     40 |  0.039 % |
44.80/44.95	c |     96077 |    2563    10385    29189 |    54850    55022     40 |  0.039 % |
45.01/45.16	c |     96487 |    2563    10385    29189 |    54850    49222     38 |  0.040 % |
45.30/45.43	c |     96936 |    2563    10385    29189 |    54850    49671     39 |  0.039 % |
45.50/45.65	c |     97429 |    2563    10385    29189 |    54850    50164     39 |  0.039 % |
45.90/46.06	c |     97972 |    2563    10385    29189 |    54850    50707     39 |  0.039 % |
46.20/46.37	c |     98568 |    2563    10385    29189 |    54850    51303     38 |  0.039 % |
46.40/46.59	c |     99223 |    2563    10385    29189 |    54850    51958     39 |  0.040 % |
46.90/47.02	c |     99943 |    2563    10385    29189 |    54850    52678     39 |  0.039 % |
47.60/47.77	c |    100736 |    2563    10385    29189 |    52736    53471     39 |  0.039 % |
48.21/48.32	c |    101608 |    2563    10385    29189 |    52736    48996     38 |  0.040 % |
49.00/49.16	c |    102567 |    2563    10385    29189 |    52736    49955     38 |  0.039 % |
49.41/49.57	c |    103622 |    2563    10385    29189 |    52736    51010     38 |  0.040 % |
49.90/50.03	c |    104780 |    2563    10385    29189 |    52736    52168     39 |  0.040 % |
49.90/50.08	c |    104881 |    2563    10385    29189 |    52736    52269     39 |  0.039 % |
50.00/50.16	c |    104992 |    2563    10385    29189 |    52736    52380     39 |  0.039 % |
50.00/50.19	c |    105115 |    2563    10385    29189 |    52736    52503     39 |  0.039 % |
50.10/50.29	c |    105248 |    2563    10385    29189 |    52736    52636     39 |  0.039 % |
50.20/50.35	c |    105394 |    2563    10385    29189 |    52736    52782     39 |  0.040 % |
50.41/50.53	c |    105555 |    2563    10385    29189 |    52736    47665     37 |  0.039 % |
50.51/50.64	c |    105734 |    2563    10385    29189 |    52736    47844     37 |  0.040 % |
50.60/50.71	c |    105929 |    2563    10385    29189 |    52736    48039     37 |  0.039 % |
50.70/50.89	c |    106142 |    2563    10385    29189 |    52736    48252     37 |  0.039 % |
50.90/51.02	c |    106375 |    2563    10385    29189 |    52736    48485     37 |  0.040 % |
51.00/51.17	c |    106633 |    2563    10385    29189 |    52736    48743     37 |  0.039 % |
51.20/51.39	c |    106915 |    2563    10385    29189 |    52736    49025     37 |  0.039 % |
51.60/51.73	c |    107224 |    2563    10385    29189 |    52736    49334     37 |  0.039 % |
52.00/52.15	c |    107564 |    2563    10385    29189 |    52736    49674     37 |  0.039 % |
52.10/52.29	c |    107936 |    2563    10385    29189 |    52736    50046     38 |  0.040 % |
52.40/52.51	c |    108345 |    2563    10385    29189 |    52736    50455     38 |  0.040 % |
52.60/52.79	c |    108794 |    2563    10385    29189 |    52736    50904     38 |  0.039 % |
53.00/53.11	c |    109287 |    2563    10385    29189 |    52736    51397     38 |  0.039 % |
53.40/53.56	c |    109829 |    2563    10385    29189 |    52736    51939     38 |  0.039 % |
53.70/53.81	c |    110426 |    2563    10385    29189 | 2147483647    52536     38 |  0.039 % |
54.20/54.33	c |    111081 |    2563    10385    29189 | 2147483647    53191     38 |  0.039 % |
54.50/54.68	c |    111801 |    2563    10385    29189 | 2147483647    53911     39 |  0.040 % |
55.00/55.18	c |    112594 |    2563    10385    29189 | 2147483647    54704     39 |  0.039 % |
55.40/55.54	c |    113465 |    2563    10385    29189 | 2147483647    55575     39 |  0.040 % |
56.20/56.38	c |    114423 |    2563    10385    29189 | 2147483647    56533     39 |  0.040 % |
56.50/56.63	c |    115477 |    2563    10385    29189 | 2147483647    57587     39 |  0.039 % |
57.20/57.34	c |    116637 |    2563    10385    29189 | 2147483647    58747     39 |  0.039 % |
58.30/58.47	c |    117911 |    2563    10385    29189 | 2147483647    60021     39 |  0.039 % |
58.40/58.54	c |    118011 |    2563    10385    29189 | 2147483647    60121     39 |  0.039 % |
58.49/58.61	c |    118121 |    2563    10385    29189 | 2147483647    60231     39 |  0.040 % |
58.49/58.67	c |    118244 |    2563    10385    29189 | 2147483647    60354     39 |  0.039 % |
58.69/58.83	c |    118377 |    2563    10385    29189 | 2147483647    60487     39 |  0.039 % |
58.79/58.94	c |    118523 |    2563    10385    29189 | 2147483647    60633     39 |  0.039 % |
58.89/59.04	c |    118685 |    2563    10385    29189 | 2147483647    60795     39 |  0.040 % |
58.99/59.15	c |    118862 |    2563    10385    29189 | 2147483647    60972     39 |  0.039 % |
59.20/59.34	c |    119055 |    2563    10385    29189 | 2147483647    61165     39 |  0.039 % |
59.30/59.45	c |    119268 |    2563    10385    29189 | 2147483647    61378     39 |  0.040 % |
59.49/59.65	c |    119501 |    2563    10385    29189 | 2147483647    61611     39 |  0.039 % |
59.59/59.78	c |    119758 |    2563    10385    29189 | 2147483647    61868     39 |  0.039 % |
59.89/60.00	c |    120040 |    2563    10385    29189 | 2147483647    62150     39 |  0.039 % |
59.99/60.16	c |    120351 |    2563    10385    29189 | 2147483647    62461     39 |  0.040 % |
60.30/60.46	c |    120690 |    2563    10385    29189 | 2147483647    62800     39 |  0.041 % |
60.49/60.67	c |    121062 |    2563    10385    29189 | 2147483647    63172     39 |  0.039 % |
60.79/60.93	c |    121471 |    2563    10385    29189 | 2147483647    63581     40 |  0.040 % |
60.99/61.18	c |    121922 |    2563    10385    29189 | 2147483647    64032     40 |  0.040 % |
61.59/61.76	c |    122417 |    2563    10385    29189 | 2147483647    64527     40 |  0.039 % |
61.89/62.08	c |    122961 |    2563    10385    29189 | 2147483647    65071     40 |  0.040 % |
62.60/62.75	c |    123557 |    2563    10385    29189 | 2147483647    65667     40 |  0.039 % |
62.89/63.02	c |    124214 |    2563    10385    29189 | 2147483647    66324     40 |  0.040 % |
63.39/63.55	c |    124934 |    2563    10385    29189 | 2147483647    67044     40 |  0.039 % |
64.09/64.28	c |    125726 |    2563    10385    29189 | 2147483647    67836     40 |  0.040 % |
64.99/65.15	c |    126599 |    2563    10385    29189 | 2147483647    68709     40 |  0.040 % |
65.39/65.53	c |    127557 |    2563    10385    29189 | 2147483647    69667     41 |  0.039 % |
65.99/66.10	c |    128611 |    2563    10385    29189 | 2147483647    70721     41 |  0.040 % |
66.99/67.11	c |    129769 |    2563    10385    29189 | 2147483647    71879     41 |  0.039 % |
67.79/67.96	c |    131043 |    2563    10385    29189 |    72110    60478     39 |  0.040 % |
68.59/68.75	c |    132443 |    2563    10385    29189 |    72110    61878     39 |  0.039 % |
68.69/68.80	c |    132543 |    2563    10385    29189 |    72110    61978     39 |  0.039 % |
68.69/68.88	c |    132653 |    2563    10385    29189 |    72110    62088     39 |  0.040 % |
68.79/68.98	c |    132775 |    2563    10385    29189 |    72110    62210     39 |  0.039 % |
68.99/69.14	c |    132908 |    2563    10385    29189 |    72110    62343     39 |  0.039 % |
69.19/69.31	c |    133057 |    2563    10385    29189 |    72110    62492     39 |  0.039 % |
69.29/69.42	c |    133219 |    2563    10385    29189 |    72110    62654     39 |  0.040 % |
69.39/69.56	c |    133396 |    2563    10385    29189 |    72110    62831     39 |  0.039 % |
69.59/69.70	c |    133590 |    2563    10385    29189 |    72110    63025     39 |  0.039 % |
69.69/69.82	c |    133802 |    2563    10385    29189 |    72110    63237     39 |  0.040 % |
69.79/69.95	c |    134036 |    2563    10385    29189 |    72110    63471     39 |  0.039 % |
69.89/70.08	c |    134293 |    2563    10385    29189 |    72110    63728     39 |  0.039 % |
70.19/70.35	c |    134575 |    2563    10385    29189 |    72110    64010     39 |  0.039 % |
70.39/70.60	c |    134884 |    2563    10385    29189 |    72110    64319     39 |  0.040 % |
70.69/70.80	c |    135223 |    2563    10385    29189 |    72110    64658     39 |  0.040 % |
70.89/71.02	c |    135595 |    2563    10385    29189 |    72110    65030     39 |  0.039 % |
71.09/71.27	c |    136004 |    2563    10385    29189 |    72110    65439     39 |  0.040 % |
71.39/71.53	c |    136454 |    2563    10385    29189 |    72110    65889     39 |  0.039 % |
71.79/71.97	c |    136949 |    2563    10385    29189 |    72110    66384     39 |  0.039 % |
72.19/72.32	c |    137491 |    2563    10385    29189 |    72110    66926     39 |  0.040 % |
72.78/72.92	c |    138087 |    2563    10385    29189 |    72110    67522     39 |  0.041 % |
73.18/73.38	c |    138742 |    2563    10385    29189 |    72110    68177     40 |  0.040 % |
73.98/74.13	c |    139463 |    2563    10385    29189 |    72110    68898     40 |  0.040 % |
74.98/75.13	c |    140256 |    2563    10385    29189 |    69435    69691     40 |  0.039 % |
75.78/75.96	c |    141127 |    2563    10385    29189 |    69435    57453     37 |  0.039 % |
77.08/77.20	c |    142085 |    2563    10385    29189 |    69435    58411     38 |  0.039 % |
77.58/77.75	c |    143138 |    2563    10385    29189 |    69435    59464     38 |  0.041 % |
78.18/78.38	c |    144297 |    2563    10385    29189 |    69435    60623     38 |  0.039 % |
78.78/78.92	c |    145570 |    2563    10385    29189 |    69435    61896     38 |  0.040 % |
79.48/79.67	c |    146970 |    2563    10385    29189 |    69435    63296     39 |  0.039 % |
80.57/80.74	c |    148511 |    2563    10385    29189 |    69435    64837     39 |  0.039 % |
80.67/80.80	c |    148612 |    2563    10385    29189 |    69435    64938     39 |  0.040 % |
80.67/80.86	c |    148723 |    2563    10385    29189 |    69435    65049     39 |  0.039 % |
80.77/80.93	c |    148845 |    2563    10385    29189 |    69435    65171     39 |  0.039 % |
80.97/81.10	c |    148978 |    2563    10385    29189 |    69435    65304     39 |  0.040 % |
80.97/81.18	c |    149124 |    2563    10385    29189 |    69435    65450     39 |  0.040 % |
81.07/81.26	c |    149284 |    2563    10385    29189 |    69435    65610     39 |  0.039 % |
81.28/81.45	c |    149461 |    2563    10385    29189 |    69435    65787     39 |  0.039 % |
81.47/81.65	c |    149654 |    2563    10385    29189 |    69435    65980     39 |  0.040 % |
81.67/81.85	c |    149866 |    2563    10385    29189 |    69435    66192     39 |  0.039 % |
81.87/82.02	c |    150100 |    2563    10385    29189 |    66326    66426     39 |  0.039 % |
82.07/82.29	c |    150356 |    2563    10385    29189 |    66326    54997     36 |  0.039 % |
82.38/82.50	c |    150638 |    2563    10385    29189 |    66326    55279     36 |  0.039 % |
82.57/82.73	c |    150949 |    2563    10385    29189 |    66326    55590     36 |  0.039 % |
82.77/82.91	c |    151289 |    2563    10385    29189 |    66326    55930     36 |  0.039 % |
83.17/83.33	c |    151665 |    2563    10385    29189 |    66326    56306     36 |  0.039 % |
83.57/83.73	c |    152074 |    2563    10385    29189 |    66326    56715     36 |  0.039 % |
83.67/83.86	c |    152523 |    2563    10385    29189 |    66326    57164     37 |  0.041 % |
84.07/84.21	c |    153017 |    2563    10385    29189 |    66326    57658     37 |  0.040 % |
84.27/84.46	c |    153559 |    2563    10385    29189 |    66326    58200     37 |  0.040 % |
84.58/84.79	c |    154155 |    2563    10385    29189 |    66326    58796     37 |  0.040 % |
85.07/85.25	c |    154810 |    2563    10385    29189 |    66326    59451     37 |  0.039 % |
85.27/85.44	c |    155530 |    2563    10385    29189 |    66326    60171     37 |  0.039 % |
85.58/85.73	c |    156322 |    2563    10385    29189 |    66326    60963     37 |  0.040 % |
85.97/86.16	c |    157193 |    2563    10385    29189 |    66326    61834     37 |  0.039 % |
86.87/87.02	c |    158151 |    2563    10385    29189 |    66326    62792     38 |  0.039 % |
87.77/87.99	c |    159204 |    2563    10385    29189 |    66326    63845     38 |  0.040 % |
88.57/88.79	c |    160363 |    2563    10385    29189 |    64642    65004     38 |  0.039 % |
89.87/90.09	c |    161636 |    2563    10385    29189 |    64642    56661     37 |  0.039 % |
90.57/90.73	c |    163040 |    2563    10385    29189 |    64642    58065     37 |  0.040 % |
91.37/91.50	c |    164581 |    2563    10385    29189 |    64642    59606     38 |  0.041 % |
92.27/92.47	c |    166277 |    2563    10385    29189 |    64642    61302     38 |  0.039 % |
92.37/92.58	c |    166378 |    2563    10385    29189 |    64642    61403     38 |  0.039 % |
92.47/92.63	c |    166488 |    2563    10385    29189 |    64642    61513     38 |  0.040 % |
92.57/92.77	c |    166612 |    2563    10385    29189 |    64642    61637     38 |  0.039 % |
92.67/92.88	c |    166745 |    2563    10385    29189 |    64642    61770     38 |  0.040 % |
92.87/93.00	c |    166891 |    2563    10385    29189 |    64642    61916     38 |  0.040 % |
93.07/93.21	c |    167052 |    2563    10385    29189 |    64642    62077     38 |  0.039 % |
93.17/93.30	c |    167228 |    2563    10385    29189 |    64642    62253     38 |  0.045 % |
93.27/93.47	c |    167421 |    2563    10385    29189 |    64642    62446     38 |  0.039 % |
93.47/93.61	c |    167635 |    2563    10385    29189 |    64642    62660     38 |  0.040 % |
93.67/93.85	c |    167868 |    2563    10385    29189 |    64642    62893     38 |  0.039 % |
93.87/94.03	c |    168124 |    2563    10385    29189 |    64642    63149     38 |  0.040 % |
94.17/94.31	c |    168406 |    2563    10385    29189 |    64642    63431     38 |  0.039 % |
94.37/94.51	c |    168716 |    2563    10385    29189 |    64642    63741     38 |  0.039 % |
94.77/94.91	c |    169057 |    2563    10385    29189 |    64642    64082     38 |  0.040 % |
94.97/95.12	c |    169430 |    2563    10385    29189 |    64642    64455     38 |  0.040 % |
95.17/95.37	c |    169842 |    2563    10385    29189 |    64642    64867     38 |  0.039 % |
95.67/95.81	c |    170292 |    2563    10385    29189 |    54294    54585     36 |  0.040 % |
95.97/96.17	c |    170786 |    2563    10385    29189 |    54294    46441     34 |  0.039 % |
96.37/96.55	c |    171329 |    2563    10385    29189 |    54294    46984     34 |  0.039 % |
96.76/96.95	c |    171925 |    2563    10385    29189 |    54294    47580     34 |  0.039 % |
97.16/97.38	c |    172581 |    2563    10385    29189 |    54294    48236     34 |  0.039 % |
97.46/97.60	c |    173305 |    2563    10385    29189 |    54294    48960     35 |  0.040 % |
97.86/98.01	c |    174097 |    2563    10385    29189 |    54294    49752     35 |  0.039 % |
98.16/98.39	c |    174968 |    2563    10385    29189 |    54294    50623     35 |  0.041 % |
98.66/98.86	c |    175926 |    2563    10385    29189 |    54294    51581     35 |  0.040 % |
99.66/99.84	c |    176981 |    2563    10385    29189 |    54294    52636     35 |  0.039 % |
100.46/100.64	c |    178139 |    2563    10385    29189 |    54294    53794     35 |  0.040 % |
101.16/101.38	c |    179412 |    2563    10385    29189 |    54294    55067     35 |  0.039 % |
102.17/102.36	c |    180812 |    2563    10385    29189 |    49362    50172     34 |  0.039 % |
103.27/103.44	c |    182353 |    2563    10385    29189 |    49362    46460     33 |  0.039 % |
104.37/104.52	c |    184047 |    2563    10385    29189 |    49362    48154     34 |  0.039 % |
105.26/105.43	c |    185911 |    2563    10385    29189 |    49362    50018     34 |  0.040 % |
105.36/105.50	c |    186011 |    2563    10385    29189 |    49362    45117     32 |  0.039 % |
105.36/105.53	c |    186121 |    2563    10385    29189 |    49362    45227     32 |  0.039 % |
105.46/105.68	c |    186242 |    2563    10385    29189 |    49362    45348     32 |  0.039 % |
105.56/105.71	c |    186375 |    2563    10385    29189 |    49362    45481     32 |  0.039 % |
105.66/105.87	c |    186522 |    2563    10385    29189 |    49362    45628     32 |  0.039 % |
105.76/105.93	c |    186683 |    2563    10385    29189 |    49362    45789     32 |  0.040 % |
105.86/106.04	c |    186859 |    2563    10385    29189 |    49362    45965     32 |  0.039 % |
106.06/106.25	c |    187053 |    2563    10385    29189 |    49362    46159     33 |  0.040 % |
106.16/106.34	c |    187266 |    2563    10385    29189 |    49362    46372     33 |  0.040 % |
106.36/106.55	c |    187501 |    2563    10385    29189 |    49362    46607     33 |  0.040 % |
106.46/106.64	c |    187757 |    2563    10385    29189 |    49362    46863     33 |  0.040 % |
106.66/106.82	c |    188038 |    2563    10385    29189 |    49362    47144     33 |  0.040 % |
106.86/107.00	c |    188348 |    2563    10385    29189 |    49362    47454     33 |  0.040 % |
107.06/107.22	c |    188688 |    2563    10385    29189 |    49362    47794     33 |  0.039 % |
107.26/107.49	c |    189061 |    2563    10385    29189 |    49362    48167     34 |  0.039 % |
107.46/107.68	c |    189470 |    2563    10385    29189 |    49362    48576     34 |  0.040 % |
107.76/107.97	c |    189919 |    2563    10385    29189 |    49362    49025     34 |  0.039 % |
108.26/108.46	c |    190413 |    2563    10385    29189 | 2147483647    49519     34 |  0.040 % |
108.56/108.73	c |    190955 |    2563    10385    29189 | 2147483647    50061     34 |  0.040 % |
109.36/109.56	c |    191551 |    2563    10385    29189 | 2147483647    50657     34 |  0.039 % |
109.86/110.08	c |    192208 |    2563    10385    29189 | 2147483647    51314     34 |  0.040 % |
110.25/110.42	c |    192930 |    2563    10385    29189 | 2147483647    52036     34 |  0.039 % |
110.65/110.80	c |    193722 |    2563    10385    29189 | 2147483647    52828     34 |  0.040 % |
110.96/111.12	c |    194593 |    2563    10385    29189 | 2147483647    53699     34 |  0.039 % |
111.35/111.56	c |    195552 |    2563    10385    29189 | 2147483647    54658     35 |  0.040 % |
111.85/112.05	c |    196605 |    2563    10385    29189 | 2147483647    55711     35 |  0.039 % |
112.85/113.05	c |    197763 |    2563    10385    29189 | 2147483647    56869     36 |  0.039 % |
113.65/113.83	c |    199036 |    2563    10385    29189 | 2147483647    58142     36 |  0.039 % |
114.25/114.40	c |    200437 |    2563    10385    29189 |    59107    59543     36 |  0.040 % |
115.15/115.30	c |    201978 |    2563    10385    29189 |    59107    54102     35 |  0.040 % |
116.75/116.91	c |    203673 |    2563    10385    29189 |    59107    55797     36 |  0.040 % |
118.45/118.68	c |    205538 |    2563    10385    29189 |    59107    57662     37 |  0.039 % |
119.45/119.66	c |    207587 |    2563    10385    29189 |    59107    59711     37 |  0.040 % |
119.55/119.77	c |    207687 |    2563    10385    29189 |    59107    52811     36 |  0.039 % |
119.65/119.84	c |    207798 |    2563    10385    29189 |    59107    52922     36 |  0.039 % |
119.75/119.91	c |    207920 |    2563    10385    29189 |    59107    53044     36 |  0.039 % |
119.85/120.00	c |    208054 |    2563    10385    29189 |    59107    53178     36 |  0.039 % |
119.85/120.07	c |    208200 |    2563    10385    29189 |    59107    53324     36 |  0.040 % |
119.94/120.17	c |    208361 |    2563    10385    29189 |    59107    53485     36 |  0.039 % |
120.04/120.24	c |    208539 |    2563    10385    29189 |    59107    53663     36 |  0.039 % |
120.24/120.41	c |    208732 |    2563    10385    29189 |    59107    53856     37 |  0.040 % |
120.34/120.53	c |    208946 |    2563    10385    29189 |    59107    54070     37 |  0.039 % |
120.54/120.71	c |    209179 |    2563    10385    29189 |    59107    54303     37 |  0.039 % |
120.75/120.94	c |    209436 |    2563    10385    29189 |    59107    54560     37 |  0.039 % |
120.85/121.05	c |    209718 |    2563    10385    29189 |    59107    54842     37 |  0.040 % |
121.14/121.38	c |    210028 |    2563    10385    29189 |    55127    55152     37 |  0.039 % |
121.44/121.65	c |    210368 |    2563    10385    29189 |    55127    49192     36 |  0.039 % |
121.85/122.07	c |    210741 |    2563    10385    29189 |    55127    49565     36 |  0.039 % |
122.14/122.38	c |    211151 |    2563    10385    29189 |    55127    49975     36 |  0.039 % |
122.44/122.69	c |    211600 |    2563    10385    29189 |    55127    50424     36 |  0.039 % |
122.95/123.10	c |    212094 |    2563    10385    29189 |    55127    50918     36 |  0.039 % |
123.14/123.34	c |    212639 |    2563    10385    29189 |    55127    51463     37 |  0.039 % |
123.44/123.67	c |    213237 |    2563    10385    29189 |    55127    52061     37 |  0.039 % |
123.74/123.91	c |    213893 |    2563    10385    29189 |    55127    52717     37 |  0.039 % |
124.54/124.70	c |    214614 |    2563    10385    29189 |    55127    53438     37 |  0.039 % |
125.24/125.44	c |    215406 |    2563    10385    29189 |    55127    54230     37 |  0.039 % |
125.84/126.10	c |    216278 |    2563    10385    29189 |    55127    55102     37 |  0.039 % |
126.44/126.69	c |    217236 |    2563    10385    29189 |    55127    50485     36 |  0.039 % |
127.14/127.38	c |    218291 |    2563    10385    29189 |    55127    51540     36 |  0.039 % |
127.54/127.76	c |    219449 |    2563    10385    29189 |    55127    52698     36 |  0.039 % |
129.04/129.23	c |    220724 |    2563    10385    29189 | 2147483647    53973     36 |  0.039 % |
130.44/130.67	c |    222124 |    2563    10385    29189 | 2147483647    55373     36 |  0.039 % |
132.34/132.58	c |    223664 |    2563    10385    29189 | 2147483647    56913     36 |  0.039 % |
134.14/134.31	c |    225358 |    2563    10385    29189 | 2147483647    58607     37 |  0.039 % |
136.34/136.53	c |    227225 |    2563    10385    29189 | 2147483647    60474     37 |  0.039 % |
138.54/138.70	c |    229275 |    2563    10385    29189 | 2147483647    62524     38 |  0.039 % |
140.54/140.72	c |    231528 |    2563    10385    29189 | 2147483647    64777     38 |  0.040 % |
140.64/140.81	c |    231628 |    2563    10385    29189 | 2147483647    64877     38 |  0.040 % |
140.64/140.88	c |    231738 |    2563    10385    29189 | 2147483647    64987     38 |  0.039 % |
140.74/140.94	c |    231862 |    2563    10385    29189 | 2147483647    65111     38 |  0.039 % |
140.84/141.07	c |    231995 |    2563    10385    29189 | 2147483647    65244     38 |  0.039 % |
141.04/141.24	c |    232142 |    2563    10385    29189 | 2147483647    65391     38 |  0.039 % |
141.14/141.33	c |    232302 |    2563    10385    29189 | 2147483647    65551     38 |  0.039 % |
141.24/141.44	c |    232478 |    2563    10385    29189 | 2147483647    65727     38 |  0.039 % |
141.34/141.59	c |    232671 |    2563    10385    29189 | 2147483647    65920     38 |  0.039 % |
141.54/141.77	c |    232883 |    2563    10385    29189 | 2147483647    66132     38 |  0.039 % |
141.84/142.03	c |    233118 |    2563    10385    29189 | 2147483647    66367     38 |  0.039 % |
142.04/142.25	c |    233374 |    2563    10385    29189 | 2147483647    66623     38 |  0.039 % |
142.34/142.59	c |    233657 |    2563    10385    29189 | 2147483647    66906     38 |  0.039 % |
142.64/142.88	c |    233966 |    2563    10385    29189 | 2147483647    67215     38 |  0.039 % |
143.03/143.22	c |    234305 |    2563    10385    29189 | 2147483647    67554     38 |  0.039 % |
143.23/143.43	c |    234678 |    2563    10385    29189 | 2147483647    67927     38 |  0.039 % |
143.74/143.96	c |    235087 |    2563    10385    29189 | 2147483647    68336     38 |  0.040 % |
143.95/144.17	c |    235537 |    2563    10385    29189 | 2147483647    68786     38 |  0.040 % |
144.24/144.43	c |    236030 |    2563    10385    29189 | 2147483647    69279     38 |  0.040 % |
144.44/144.68	c |    236572 |    2563    10385    29189 | 2147483647    69821     38 |  0.040 % |
144.95/145.11	c |    237168 |    2563    10385    29189 | 2147483647    70417     39 |  0.040 % |
145.24/145.49	c |    237823 |    2563    10385    29189 | 2147483647    71072     38 |  0.039 % |
146.05/146.23	c |    238543 |    2563    10385    29189 | 2147483647    71792     39 |  0.040 % |
146.44/146.61	c |    239336 |    2563    10385    29189 | 2147483647    72585     39 |  0.039 % |
147.34/147.52	c |    240207 |    2563    10385    29189 |    73249    73456     39 |  0.040 % |
147.94/148.15	c |    241165 |    2563    10385    29189 |    73249    62555     37 |  0.039 % |
148.64/148.85	c |    242219 |    2563    10385    29189 |    73249    63609     37 |  0.039 % |
149.74/149.97	c |    243377 |    2563    10385    29189 |    73249    64767     37 |  0.040 % |
151.44/151.61	c |    244650 |    2563    10385    29189 |    73249    66040     37 |  0.039 % |
152.74/152.96	c |    246050 |    2563    10385    29189 |    73249    67440     37 |  0.039 % |
153.84/154.08	c |    247591 |    2563    10385    29189 |    73249    68981     37 |  0.040 % |
154.74/154.92	c |    249285 |    2563    10385    29189 |    73249    70675     38 |  0.041 % |
155.84/156.09	c |    251150 |    2563    10385    29189 |    71391    59629     34 |  0.040 % |
157.34/157.50	c |    253199 |    2563    10385    29189 |    71391    61678     34 |  0.039 % |
159.34/159.59	c |    255454 |    2563    10385    29189 |    71391    63933     34 |  0.040 % |
161.94/162.12	c |    257932 |    2563    10385    29189 |    71391    66411     34 |  0.039 % |
162.04/162.21	c |    258032 |    2563    10385    29189 |    71391    66511     34 |  0.040 % |
162.14/162.32	c |    258146 |    2563    10385    29189 |    71391    66625     34 |  0.040 % |
162.24/162.43	c |    258267 |    2563    10385    29189 |    71391    66746     34 |  0.039 % |
162.34/162.53	c |    258400 |    2563    10385    29189 |    71391    66879     34 |  0.040 % |
162.44/162.62	c |    258547 |    2563    10385    29189 |    71391    67026     34 |  0.039 % |
162.54/162.73	c |    258711 |    2563    10385    29189 |    71391    67190     34 |  0.040 % |
162.64/162.85	c |    258890 |    2563    10385    29189 |    71391    67369     34 |  0.039 % |
162.73/162.98	c |    259084 |    2563    10385    29189 |    71391    67563     34 |  0.039 % |
162.93/163.15	c |    259296 |    2563    10385    29189 |    71391    67775     34 |  0.040 % |
163.23/163.43	c |    259529 |    2563    10385    29189 |    71391    68008     34 |  0.039 % |
163.33/163.58	c |    259785 |    2563    10385    29189 |    71391    68264     35 |  0.040 % |
163.53/163.78	c |    260067 |    2563    10385    29189 |    68480    68546     35 |  0.039 % |
163.74/163.97	c |    260377 |    2563    10385    29189 |    68480    57564     33 |  0.040 % |
163.93/164.18	c |    260717 |    2563    10385    29189 |    68480    57904     33 |  0.040 % |
164.13/164.37	c |    261090 |    2563    10385    29189 |    68480    58277     33 |  0.039 % |
164.33/164.56	c |    261500 |    2563    10385    29189 |    68480    58687     33 |  0.039 % |
164.63/164.80	c |    261949 |    2563    10385    29189 |    68480    59136     34 |  0.040 % |
164.93/165.11	c |    262442 |    2563    10385    29189 |    68480    59629     34 |  0.039 % |
165.33/165.54	c |    262986 |    2563    10385    29189 |    68480    60173     34 |  0.039 % |
165.83/166.06	c |    263583 |    2563    10385    29189 |    68480    60770     34 |  0.040 % |
166.13/166.31	c |    264238 |    2563    10385    29189 |    68480    61425     34 |  0.040 % |
166.43/166.68	c |    264958 |    2563    10385    29189 |    68480    62145     34 |  0.039 % |
167.73/167.93	c |    265751 |    2563    10385    29189 |    68480    62938     34 |  0.039 % |
168.63/168.80	c |    266623 |    2563    10385    29189 |    68480    63810     34 |  0.039 % |
169.73/169.90	c |    267583 |    2563    10385    29189 |    68480    64770     35 |  0.039 % |
170.23/170.47	c |    268638 |    2563    10385    29189 |    68480    65825     35 |  0.040 % |
171.03/171.25	c |    269797 |    2563    10385    29189 |    68480    66984     35 |  0.040 % |
172.12/172.34	c |    271074 |    2563    10385    29189 |    67188    57248     33 |  0.039 % |
173.12/173.30	c |    272474 |    2563    10385    29189 |    67188    58648     33 |  0.040 % |
174.22/174.40	c |    274017 |    2563    10385    29189 |    67188    60191     34 |  0.039 % |
175.42/175.67	c |    275712 |    2563    10385    29189 |    67188    61886     34 |  0.039 % |
176.42/176.61	c |    277578 |    2563    10385    29189 |    67188    63752     34 |  0.040 % |
177.42/177.62	c |    279627 |    2563    10385    29189 |    67188    65801     35 |  0.039 % |
179.52/179.75	c |    281880 |    2563    10385    29189 |    66174    55857     33 |  0.039 % |
182.92/183.14	c |    284358 |    2563    10385    29189 |    66174    58335     33 |  0.039 % |
185.82/186.00	c |    287084 |    2563    10385    29189 |    66174    61061     33 |  0.040 % |
185.82/186.09	c |    287186 |    2563    10385    29189 |    66174    61163     33 |  0.040 % |
185.92/186.14	c |    287297 |    2563    10385    29189 |    66174    61274     33 |  0.039 % |
186.02/186.22	c |    287419 |    2563    10385    29189 |    66174    61396     33 |  0.040 % |
186.12/186.30	c |    287552 |    2563    10385    29189 |    66174    61529     33 |  0.040 % |
186.12/186.37	c |    287698 |    2563    10385    29189 |    66174    61675     34 |  0.040 % |
186.22/186.48	c |    287858 |    2563    10385    29189 |    66174    61835     34 |  0.039 % |
186.42/186.69	c |    288035 |    2563    10385    29189 |    66174    62012     34 |  0.039 % |
186.62/186.87	c |    288228 |    2563    10385    29189 |    66174    62205     34 |  0.040 % |
186.82/187.01	c |    288443 |    2563    10385    29189 |    66174    62420     34 |  0.039 % |
187.02/187.22	c |    288676 |    2563    10385    29189 |    66174    62653     34 |  0.040 % |
187.32/187.51	c |    288932 |    2563    10385    29189 |    66174    62909     34 |  0.039 % |
187.42/187.67	c |    289213 |    2563    10385    29189 |    66174    63190     34 |  0.039 % |
187.92/188.16	c |    289522 |    2563    10385    29189 |    66174    63499     34 |  0.039 % |
188.12/188.36	c |    289862 |    2563    10385    29189 |    66174    63839     34 |  0.040 % |
188.42/188.67	c |    290235 |    2563    10385    29189 |    63977    64212     34 |  0.039 % |
188.72/188.97	c |    290644 |    2563    10385    29189 |    63977    55597     33 |  0.039 % |
189.22/189.44	c |    291094 |    2563    10385    29189 |    63977    56047     33 |  0.039 % |
189.52/189.74	c |    291587 |    2563    10385    29189 |    63977    56540     33 |  0.039 % |
189.82/190.09	c |    292130 |    2563    10385    29189 |    63977    57083     33 |  0.040 % |
190.22/190.43	c |    292726 |    2563    10385    29189 |    63977    57679     33 |  0.039 % |
190.62/190.89	c |    293382 |    2563    10385    29189 |    63977    58335     33 |  0.039 % |
191.02/191.24	c |    294104 |    2563    10385    29189 |    63977    59057     33 |  0.040 % |
191.72/191.94	c |    294897 |    2563    10385    29189 |    63977    59850     33 |  0.039 % |
192.42/192.68	c |    295769 |    2563    10385    29189 |    63977    60722     33 |  0.039 % |
193.22/193.46	c |    296727 |    2563    10385    29189 |    63977    61680     33 |  0.040 % |
194.02/194.23	c |    297781 |    2563    10385    29189 |    63977    62734     33 |  0.039 % |
195.52/195.75	c |    298941 |    2563    10385    29189 |    63977    63894     34 |  0.039 % |
196.52/196.73	c |    300214 |    2563    10385    29189 |    56047    56261     32 |  0.039 % |
197.91/198.17	c |    301615 |    2563    10385    29189 |    56047    49935     30 |  0.039 % |
198.82/199.01	c |    303158 |    2563    10385    29189 |    56047    51478     30 |  0.039 % |
200.02/200.20	c |    304853 |    2563    10385    29189 |    56047    53173     31 |  0.039 % |
201.51/201.79	c |    306717 |    2563    10385    29189 |    56047    55037     32 |  0.040 % |
203.51/203.77	c |    308766 |    2563    10385    29189 |    56047    51400     30 |  0.039 % |
205.11/205.33	c |    311020 |    2563    10385    29189 | 2147483647    53654     30 |  0.039 % |
206.11/206.32	c |    313498 |    2563    10385    29189 | 2147483647    56132     31 |  0.040 % |
207.62/207.83	c |    316224 |    2563    10385    29189 | 2147483647    58858     32 |  0.039 % |
210.50/210.74	c |    319221 |    2563    10385    29189 | 2147483647    61855     32 |  0.039 % |
210.60/210.84	c |    319321 |    2563    10385    29189 | 2147483647    61955     32 |  0.039 % |
210.70/210.94	c |    319431 |    2563    10385    29189 | 2147483647    62065     32 |  0.040 % |
210.91/211.14	c |    319552 |    2563    10385    29189 | 2147483647    62186     32 |  0.039 % |
211.01/211.25	c |    319685 |    2563    10385    29189 | 2147483647    62319     32 |  0.040 % |
211.10/211.31	c |    319832 |    2563    10385    29189 | 2147483647    62466     32 |  0.039 % |
211.20/211.44	c |    319992 |    2563    10385    29189 | 2147483647    62626     33 |  0.039 % |
211.30/211.57	c |    320170 |    2563    10385    29189 |    62634    62804     33 |  0.039 % |
211.60/211.82	c |    320363 |    2563    10385    29189 |    62634    54909     32 |  0.039 % |
211.70/211.94	c |    320575 |    2563    10385    29189 |    62634    55121     32 |  0.039 % |
211.80/212.08	c |    320809 |    2563    10385    29189 |    62634    55355     32 |  0.039 % |
212.01/212.26	c |    321068 |    2563    10385    29189 |    62634    55614     32 |  0.040 % |
212.11/212.39	c |    321349 |    2563    10385    29189 |    62634    55895     32 |  0.040 % |
212.30/212.56	c |    321659 |    2563    10385    29189 |    62634    56205     32 |  0.039 % |
212.60/212.87	c |    321998 |    2563    10385    29189 |    62634    56544     32 |  0.040 % |
212.90/213.15	c |    322371 |    2563    10385    29189 |    62634    56917     32 |  0.040 % |
213.21/213.41	c |    322780 |    2563    10385    29189 |    62634    57326     32 |  0.039 % |
213.70/213.94	c |    323229 |    2563    10385    29189 |    62634    57775     32 |  0.040 % |
214.10/214.36	c |    323723 |    2563    10385    29189 |    62634    58269     32 |  0.039 % |
214.50/214.75	c |    324266 |    2563    10385    29189 |    62634    58812     32 |  0.039 % |
214.90/215.11	c |    324862 |    2563    10385    29189 |    62634    59408     32 |  0.039 % |
215.20/215.42	c |    325517 |    2563    10385    29189 |    62634    60063     32 |  0.039 % |
215.30/215.60	c |    326237 |    2563    10385    29189 |    62634    60783     33 |  0.040 % |
216.20/216.47	c |    327030 |    2563    10385    29189 |    62634    61576     33 |  0.039 % |
217.00/217.24	c |    327901 |    2563    10385    29189 |    62634    62447     33 |  0.040 % |
217.60/217.89	c |    328862 |    2563    10385    29189 |    62634    63408     33 |  0.040 % |
219.50/219.72	c |    329915 |    2563    10385    29189 |    62634    57128     32 |  0.039 % |
220.50/220.76	c |    331073 |    2563    10385    29189 |    57214    51687     31 |  0.039 % |
221.00/221.23	c |    332346 |    2563    10385    29189 |    57214    52960     32 |  0.040 % |
222.10/222.33	c |    333748 |    2563    10385    29189 |    57214    54362     33 |  0.040 % |
223.20/223.46	c |    335288 |    2563    10385    29189 |    57214    55902     33 |  0.039 % |
224.60/224.90	c |    336983 |    2563    10385    29189 |    57214    57597     33 |  0.040 % |
226.10/226.34	c |    338846 |    2563    10385    29189 |    57214    50823     32 |  0.040 % |
227.50/227.75	c |    340896 |    2563    10385    29189 |    51978    52873     32 |  0.039 % |
228.89/229.15	c |    343151 |    2563    10385    29189 |    51978    48438     31 |  0.039 % |
230.99/231.28	c |    345629 |    2563    10385    29189 |    51978    50916     32 |  0.039 % |
233.19/233.47	c |    348354 |    2563    10385    29189 |    51978    47847     32 |  0.039 % |
236.79/237.08	c |    351354 |    2563    10385    29189 | 2147483647    50847     33 |  0.040 % |
240.69/240.98	c |    354652 |    2563    10385    29189 | 2147483647    54145     34 |  0.039 % |
240.89/241.15	c |    354752 |    2563    10385    29189 | 2147483647    54245     34 |  0.039 % |
240.99/241.22	c |    354864 |    2563    10385    29189 | 2147483647    54357     34 |  0.045 % |
241.09/241.40	c |    354985 |    2563    10385    29189 | 2147483647    54478     34 |  0.039 % |
241.29/241.57	c |    355118 |    2563    10385    29189 | 2147483647    54611     34 |  0.039 % |
241.59/241.84	c |    355264 |    2563    10385    29189 | 2147483647    54757     34 |  0.039 % |
241.69/241.98	c |    355425 |    2563    10385    29189 | 2147483647    54918     34 |  0.040 % |
241.89/242.13	c |    355601 |    2563    10385    29189 | 2147483647    55094     34 |  0.039 % |
242.09/242.32	c |    355796 |    2563    10385    29189 | 2147483647    55289     34 |  0.039 % |
242.19/242.40	c |    356009 |    2563    10385    29189 | 2147483647    55502     34 |  0.039 % |
242.19/242.49	c |    356243 |    2563    10385    29189 | 2147483647    55736     34 |  0.039 % |
242.49/242.72	c |    356500 |    2563    10385    29189 | 2147483647    55993     34 |  0.039 % |
242.59/242.86	c |    356781 |    2563    10385    29189 | 2147483647    56274     34 |  0.040 % |
242.89/243.11	c |    357090 |    2563    10385    29189 | 2147483647    56583     34 |  0.040 % |
242.99/243.25	c |    357429 |    2563    10385    29189 | 2147483647    56922     34 |  0.045 % |
243.39/243.61	c |    357803 |    2563    10385    29189 | 2147483647    57296     34 |  0.039 % |
243.59/243.84	c |    358213 |    2563    10385    29189 | 2147483647    57706     34 |  0.039 % |
243.89/244.18	c |    358662 |    2563    10385    29189 | 2147483647    58155     34 |  0.039 % |
244.39/244.66	c |    359155 |    2563    10385    29189 | 2147483647    58648     34 |  0.039 % |
245.09/245.33	c |    359697 |    2563    10385    29189 | 2147483647    59190     34 |  0.039 % |
245.89/246.12	c |    360295 |    2563    10385    29189 | 2147483647    59788     34 |  0.039 % |
246.29/246.54	c |    360950 |    2563    10385    29189 | 2147483647    60443     34 |  0.039 % |
246.99/247.27	c |    361670 |    2563    10385    29189 | 2147483647    61163     35 |  0.039 % |
247.89/248.18	c |    362462 |    2563    10385    29189 | 2147483647    61955     35 |  0.039 % |
248.79/249.04	c |    363333 |    2563    10385    29189 | 2147483647    62826     35 |  0.039 % |
249.78/250.09	c |    364292 |    2563    10385    29189 | 2147483647    63785     35 |  0.039 % |
250.98/251.25	c |    365346 |    2563    10385    29189 | 2147483647    64839     35 |  0.040 % |
251.98/252.29	c |    366505 |    2563    10385    29189 | 2147483647    65998     35 |  0.039 % |
252.98/253.26	c |    367779 |    2563    10385    29189 | 2147483647    67272     35 |  0.040 % |
253.88/254.19	c |    369179 |    2563    10385    29189 | 2147483647    68672     35 |  0.040 % |
255.67/255.91	c |    370721 |    2563    10385    29189 |    69493    70214     36 |  0.040 % |
256.77/257.05	c |    372419 |    2563    10385    29189 |    69493    61312     34 |  0.039 % |
258.57/258.86	c |    374283 |    2563    10385    29189 |    69493    63176     35 |  0.040 % |
260.67/260.98	c |    376332 |    2563    10385    29189 |    69493    65225     35 |  0.039 % |
262.57/262.88	c |    378585 |    2563    10385    29189 |    69493    67478     35 |  0.039 % |
264.07/264.32	c |    381064 |    2563    10385    29189 |    68894    69957     36 |  0.040 % |
265.47/265.74	c |    383789 |    2563    10385    29189 |    68894    59061     33 |  0.039 % |
267.07/267.35	c |    386786 |    2563    10385    29189 |    68894    62058     34 |  0.039 % |
270.76/271.04	c |    390084 |    2563    10385    29189 |    65273    65356     34 |  0.039 % |
272.26/272.54	c |    393714 |    2563    10385    29189 |    65273    57055     32 |  0.039 % |
272.36/272.64	c |    393814 |    2563    10385    29189 |    65273    57155     32 |  0.039 % |
272.36/272.69	c |    393924 |    2563    10385    29189 |    65273    57265     32 |  0.040 % |
272.47/272.77	c |    394046 |    2563    10385    29189 |    65273    57387     32 |  0.040 % |
272.66/272.92	c |    394181 |    2563    10385    29189 |    65273    57522     33 |  0.040 % |
272.66/272.99	c |    394328 |    2563    10385    29189 |    65273    57669     33 |  0.039 % |
272.76/273.09	c |    394489 |    2563    10385    29189 |    65273    57830     33 |  0.039 % |
272.96/273.21	c |    394666 |    2563    10385    29189 |    65273    58007     33 |  0.039 % |
273.16/273.42	c |    394860 |    2563    10385    29189 |    65273    58201     33 |  0.039 % |
273.26/273.53	c |    395072 |    2563    10385    29189 |    65273    58413     33 |  0.039 % |
273.36/273.62	c |    395306 |    2563    10385    29189 |    65273    58647     33 |  0.040 % |
273.67/273.91	c |    395562 |    2563    10385    29189 |    65273    58903     33 |  0.039 % |
273.86/274.11	c |    395843 |    2563    10385    29189 |    65273    59184     33 |  0.040 % |
274.06/274.30	c |    396154 |    2563    10385    29189 |    65273    59495     33 |  0.040 % |
274.36/274.61	c |    396496 |    2563    10385    29189 |    65273    59837     33 |  0.039 % |
274.56/274.88	c |    396869 |    2563    10385    29189 |    65273    60210     33 |  0.039 % |
274.77/275.04	c |    397278 |    2563    10385    29189 |    65273    60619     33 |  0.040 % |
274.96/275.28	c |    397728 |    2563    10385    29189 |    65273    61069     33 |  0.040 % |
275.36/275.60	c |    398221 |    2563    10385    29189 |    65273    61562     33 |  0.040 % |
275.96/276.23	c |    398763 |    2563    10385    29189 |    65273    62104     33 |  0.039 % |
276.46/276.77	c |    399360 |    2563    10385    29189 |    65273    62701     33 |  0.039 % |
277.16/277.49	c |    400016 |    2563    10385    29189 |    63341    63357     34 |  0.040 % |
277.56/277.89	c |    400736 |    2563    10385    29189 |    63341    52819     33 |  0.040 % |
277.96/278.21	c |    401529 |    2563    10385    29189 |    63341    53612     33 |  0.039 % |
278.26/278.57	c |    402400 |    2563    10385    29189 |    63341    54483     33 |  0.040 % |
278.86/279.20	c |    403358 |    2563    10385    29189 |    63341    55441     33 |  0.039 % |
279.86/280.15	c |    404413 |    2563    10385    29189 |    63341    56496     34 |  0.039 % |
280.76/281.08	c |    405572 |    2563    10385    29189 |    63341    57655     34 |  0.039 % |
281.36/281.61	c |    406845 |    2563    10385    29189 |    63341    58928     34 |  0.040 % |
281.96/282.21	c |    408245 |    2563    10385    29189 |    63341    60328     34 |  0.039 % |
283.56/283.83	c |    409786 |    2563    10385    29189 |    63341    61869     35 |  0.039 % |
284.56/284.90	c |    411481 |    2563    10385    29189 |    62085    54595     33 |  0.040 % |
286.56/286.81	c |    413345 |    2563    10385    29189 |    62085    56459     34 |  0.039 % |
288.65/288.92	c |    415394 |    2563    10385    29189 |    62085    58508     34 |  0.039 % |
290.65/290.96	c |    417648 |    2563    10385    29189 |    62085    60762     34 |  0.039 % |
293.36/293.65	c |    420127 |    2563    10385    29189 | 2147483647    56935     33 |  0.040 % |
295.75/296.02	c |    422853 |    2563    10385    29189 | 2147483647    59661     34 |  0.039 % |
298.85/299.16	c |    425850 |    2563    10385    29189 | 2147483647    62658     34 |  0.039 % |
301.54/301.81	c |    429147 |    2563    10385    29189 | 2147483647    65955     34 |  0.040 % |
304.54/304.88	c |    432773 |    2563    10385    29189 |    66810    58481     33 |  0.039 % |
307.74/308.04	c |    436761 |    2563    10385    29189 |    66810    62469     33 |  0.039 % |
307.84/308.13	c |    436861 |    2563    10385    29189 |    66810    62569     33 |  0.040 % |
307.94/308.24	c |    436971 |    2563    10385    29189 |    66810    62679     33 |  0.040 % |
308.04/308.36	c |    437092 |    2563    10385    29189 |    66810    62800     33 |  0.039 % |
308.14/308.46	c |    437225 |    2563    10385    29189 |    66810    62933     33 |  0.040 % |
308.34/308.60	c |    437371 |    2563    10385    29189 |    66810    63079     33 |  0.040 % |
308.44/308.74	c |    437531 |    2563    10385    29189 |    66810    63239     33 |  0.039 % |
308.54/308.85	c |    437708 |    2563    10385    29189 |    66810    63416     33 |  0.039 % |
308.74/309.00	c |    437901 |    2563    10385    29189 |    66810    63609     33 |  0.039 % |
308.85/309.13	c |    438114 |    2563    10385    29189 |    66810    63822     33 |  0.040 % |
309.04/309.30	c |    438348 |    2563    10385    29189 |    66810    64056     33 |  0.039 % |
309.24/309.52	c |    438606 |    2563    10385    29189 |    66810    64314     33 |  0.039 % |
309.44/309.72	c |    438889 |    2563    10385    29189 |    66810    64597     33 |  0.040 % |
309.74/310.01	c |    439198 |    2563    10385    29189 |    66810    64906     34 |  0.039 % |
309.94/310.25	c |    439537 |    2563    10385    29189 |    66810    65245     34 |  0.039 % |
310.14/310.41	c |    439909 |    2563    10385    29189 |    66810    65617     34 |  0.039 % |
310.34/310.61	c |    440321 |    2563    10385    29189 |    65708    66029     34 |  0.039 % |
310.54/310.86	c |    440770 |    2563    10385    29189 |    65708    54433     32 |  0.039 % |
311.04/311.31	c |    441264 |    2563    10385    29189 |    65708    54927     32 |  0.040 % |
311.34/311.66	c |    441806 |    2563    10385    29189 |    65708    55469     32 |  0.039 % |
311.64/311.96	c |    442402 |    2563    10385    29189 |    65708    56065     32 |  0.040 % |
312.54/312.86	c |    443058 |    2563    10385    29189 |    65708    56721     32 |  0.039 % |
312.94/313.28	c |    443778 |    2563    10385    29189 |    65708    57441     33 |  0.040 % |
313.54/313.84	c |    444570 |    2563    10385    29189 |    65708    58233     33 |  0.039 % |
314.14/314.47	c |    445443 |    2563    10385    29189 |    65708    59106     33 |  0.040 % |
314.74/315.06	c |    446401 |    2563    10385    29189 |    65708    60064     33 |  0.039 % |
315.64/315.93	c |    447455 |    2563    10385    29189 |    65708    61118     33 |  0.040 % |
316.54/316.84	c |    448613 |    2563    10385    29189 |    65708    62276     33 |  0.040 % |
317.23/317.57	c |    449887 |    2563    10385    29189 |    65708    63550     33 |  0.040 % |
318.64/318.93	c |    451288 |    2563    10385    29189 |    63665    55124     31 |  0.040 % |
319.74/320.06	c |    452828 |    2563    10385    29189 |    63665    56664     31 |  0.039 % |
320.94/321.24	c |    454525 |    2563    10385    29189 |    63665    58361     31 |  0.040 % |
322.04/322.34	c |    456388 |    2563    10385    29189 |    63665    60224     32 |  0.040 % |
323.43/323.73	c |    458437 |    2563    10385    29189 |    63665    62273     32 |  0.040 % |
326.03/326.39	c |    460691 |    2563    10385    29189 |    63837    64527     33 |  0.040 % |
328.33/328.61	c |    463169 |    2563    10385    29189 |    63837    57934     32 |  0.039 % |
331.53/331.86	c |    465895 |    2563    10385    29189 |    63837    60660     32 |  0.039 % |
334.33/334.60	c |    468893 |    2563    10385    29189 |    63837    63658     34 |  0.039 % |
336.53/336.87	c |    472190 |    2563    10385    29189 |    64765    58433     33 |  0.040 % |
339.63/339.99	c |    475816 |    2563    10385    29189 |    64765    62059     34 |  0.039 % |
343.32/343.61	c |    479804 |    2563    10385    29189 |    64765    57404     33 |  0.039 % |
348.01/348.36	c |    484189 |    2563    10385    29189 |    57600    54486     33 |  0.039 % |
348.11/348.45	c |    484290 |    2563    10385    29189 |    57600    54587     33 |  0.039 % |
348.21/348.51	c |    484400 |    2563    10385    29189 |    57600    54697     33 |  0.039 % |
348.32/348.62	c |    484521 |    2563    10385    29189 |    57600    54818     33 |  0.039 % |
348.32/348.69	c |    484656 |    2563    10385    29189 |    57600    54953     34 |  0.040 % |
348.42/348.76	c |    484802 |    2563    10385    29189 |    57600    55099     34 |  0.039 % |
348.51/348.88	c |    484963 |    2563    10385    29189 |    57600    55260     34 |  0.039 % |
348.71/349.01	c |    485139 |    2563    10385    29189 |    57600    55436     34 |  0.040 % |
348.81/349.14	c |    485335 |    2563    10385    29189 |    57600    55632     34 |  0.039 % |
349.01/349.39	c |    485547 |    2563    10385    29189 |    57600    55844     34 |  0.039 % |
349.11/349.49	c |    485781 |    2563    10385    29189 |    57600    56078     34 |  0.040 % |
349.42/349.72	c |    486042 |    2563    10385    29189 |    57600    56339     34 |  0.039 % |
349.52/349.83	c |    486323 |    2563    10385    29189 |    57600    56620     34 |  0.039 % |
349.71/350.08	c |    486633 |    2563    10385    29189 |    57600    56930     34 |  0.040 % |
349.91/350.24	c |    486972 |    2563    10385    29189 |    57600    57269     34 |  0.040 % |
350.01/350.40	c |    487345 |    2563    10385    29189 |    57600    57642     34 |  0.039 % |
350.52/350.89	c |    487755 |    2563    10385    29189 |    57600    51471     33 |  0.039 % |
350.71/351.09	c |    488204 |    2563    10385    29189 |    57600    51920     33 |  0.040 % |
351.11/351.49	c |    488699 |    2563    10385    29189 |    57600    52415     33 |  0.039 % |
351.51/351.82	c |    489241 |    2563    10385    29189 |    57600    52957     33 |  0.040 % |
352.11/352.42	c |    489838 |    2563    10385    29189 |    57600    53554     33 |  0.039 % |
352.61/352.90	c |    490494 |    2563    10385    29189 |    53719    48802     33 |  0.039 % |
353.11/353.40	c |    491214 |    2563    10385    29189 |    53719    49522     33 |  0.039 % |
353.51/353.88	c |    492007 |    2563    10385    29189 |    53719    50315     33 |  0.039 % |
353.82/354.14	c |    492878 |    2563    10385    29189 |    53719    51186     33 |  0.040 % |
354.41/354.76	c |    493837 |    2563    10385    29189 |    53719    52145     33 |  0.039 % |
355.01/355.39	c |    494891 |    2563    10385    29189 |    53719    53199     34 |  0.039 % |
355.91/356.28	c |    496049 |    2563    10385    29189 |    53719    54357     34 |  0.039 % |
356.51/356.85	c |    497323 |    2563    10385    29189 |    53719    50196     33 |  0.040 % |
358.01/358.31	c |    498724 |    2563    10385    29189 |    53719    51597     33 |  0.040 % |
359.71/360.01	c |    500266 |    2563    10385    29189 | 2147483647    53139     33 |  0.039 % |
361.31/361.69	c |    501960 |    2563    10385    29189 | 2147483647    54833     34 |  0.040 % |
363.31/363.62	c |    503823 |    2563    10385    29189 | 2147483647    56696     34 |  0.039 % |
365.41/365.71	c |    505873 |    2563    10385    29189 | 2147483647    58746     35 |  0.039 % |
366.91/367.28	c |    508127 |    2563    10385    29189 | 2147483647    61000     35 |  0.039 % |
370.11/370.42	c |    510605 |    2563    10385    29189 |    62874    63478     35 |  0.039 % |
373.10/373.49	c |    513331 |    2563    10385    29189 |    62874    58423     33 |  0.039 % |
376.70/377.08	c |    516328 |    2563    10385    29189 |    62874    61420     34 |  0.040 % |
380.10/380.49	c |    519625 |    2563    10385    29189 |    62874    56687     32 |  0.039 % |
382.50/382.88	c |    523250 |    2563    10385    29189 |    57062    53409     31 |  0.039 % |
386.90/387.23	c |    527238 |    2563    10385    29189 |    57062    57397     32 |  0.039 % |
391.30/391.67	c |    531623 |    2563    10385    29189 | 2147483647    56043     31 |  0.039 % |
396.49/396.80	c |    536447 |    2563    10385    29189 | 2147483647    60867     32 |  0.039 % |
396.59/396.92	c |    536549 |    2563    10385    29189 | 2147483647    60969     32 |  0.039 % |
396.59/396.98	c |    536660 |    2563    10385    29189 | 2147483647    61080     32 |  0.040 % |
396.70/397.04	c |    536782 |    2563    10385    29189 | 2147483647    61202     32 |  0.040 % |
396.80/397.13	c |    536917 |    2563    10385    29189 | 2147483647    61337     32 |  0.040 % |
396.89/397.20	c |    537064 |    2563    10385    29189 | 2147483647    61484     32 |  0.039 % |
396.89/397.27	c |    537224 |    2563    10385    29189 | 2147483647    61644     32 |  0.040 % |
397.09/397.47	c |    537402 |    2563    10385    29189 | 2147483647    61822     32 |  0.039 % |
397.29/397.61	c |    537595 |    2563    10385    29189 | 2147483647    62015     32 |  0.039 % |
397.39/397.71	c |    537807 |    2563    10385    29189 | 2147483647    62227     33 |  0.040 % |
397.49/397.81	c |    538041 |    2563    10385    29189 | 2147483647    62461     33 |  0.039 % |
397.59/397.99	c |    538297 |    2563    10385    29189 | 2147483647    62717     33 |  0.040 % |
397.79/398.15	c |    538580 |    2563    10385    29189 | 2147483647    63000     33 |  0.039 % |
397.99/398.35	c |    538891 |    2563    10385    29189 | 2147483647    63311     33 |  0.040 % |
398.19/398.51	c |    539231 |    2563    10385    29189 | 2147483647    63651     33 |  0.039 % |
398.39/398.77	c |    539603 |    2563    10385    29189 | 2147483647    64023     33 |  0.039 % |
398.89/399.28	c |    540012 |    2563    10385    29189 |    64420    64432     33 |  0.039 % |
399.09/399.48	c |    540461 |    2563    10385    29189 |    64420    57137     32 |  0.040 % |
399.39/399.75	c |    540954 |    2563    10385    29189 |    64420    57630     32 |  0.039 % |
399.69/400.06	c |    541497 |    2563    10385    29189 |    64420    58173     32 |  0.040 % |
400.09/400.46	c |    542094 |    2563    10385    29189 |    64420    58770     32 |  0.040 % |
400.59/400.95	c |    542750 |    2563    10385    29189 |    64420    59426     32 |  0.039 % |
401.09/401.48	c |    543470 |    2563    10385    29189 |    64420    60146     32 |  0.040 % |
401.69/402.09	c |    544262 |    2563    10385    29189 |    64420    60938     32 |  0.040 % |
402.59/402.95	c |    545134 |    2563    10385    29189 |    64420    61810     32 |  0.039 % |
403.49/403.83	c |    546092 |    2563    10385    29189 |    64420    62768     32 |  0.040 % |
404.19/404.59	c |    547146 |    2563    10385    29189 |    64420    63822     33 |  0.040 % |
404.79/405.17	c |    548305 |    2563    10385    29189 |    64420    64981     33 |  0.039 % |
406.09/406.46	c |    549579 |    2563    10385    29189 |    64420    56469     32 |  0.039 % |
406.69/407.09	c |    550979 |    2563    10385    29189 |    56890    57869     32 |  0.039 % |
407.79/408.13	c |    552520 |    2563    10385    29189 |    56890    50346     31 |  0.040 % |
408.79/409.13	c |    554214 |    2563    10385    29189 |    56890    52040     32 |  0.040 % |
410.49/410.80	c |    556079 |    2563    10385    29189 |    56890    53905     32 |  0.039 % |
411.19/411.55	c |    558129 |    2563    10385    29189 |    56890    55955     33 |  0.040 % |
413.09/413.41	c |    560383 |    2563    10385    29189 |    48997    49380     32 |  0.040 % |
414.98/415.32	c |    562862 |    2563    10385    29189 |    48997    44998     32 |  0.040 % |
417.28/417.63	c |    565588 |    2563    10385    29189 |    48997    47724     32 |  0.039 % |
419.08/419.41	c |    568585 |    2563    10385    29189 |    48997    45694     34 |  0.040 % |
420.78/421.17	c |    571881 |    2563    10385    29189 | 2147483647    48990     34 |  0.040 % |
423.68/424.03	c |    575506 |    2563    10385    29189 | 2147483647    52615     35 |  0.040 % |
425.58/425.98	c |    579494 |    2563    10385    29189 | 2147483647    56603     36 |  0.040 % |
428.78/429.16	c |    583879 |    2563    10385    29189 |    57109    53852     36 |  0.040 % |
431.38/431.76	c |    588702 |    2563    10385    29189 |    57109    50907     35 |  0.040 % |
433.67/434.06	c |    594008 |    2563    10385    29189 |    52206    47639     35 |  0.039 % |
433.77/434.11	c |    594110 |    2563    10385    29189 |    52206    47741     35 |  0.040 % |
433.98/434.32	c |    594220 |    2563    10385    29189 |    52206    47851     35 |  0.040 % |
434.08/434.41	c |    594344 |    2563    10385    29189 |    52206    47975     35 |  0.039 % |
434.18/434.55	c |    594478 |    2563    10385    29189 |    52206    48109     35 |  0.039 % |
434.28/434.64	c |    594625 |    2563    10385    29189 |    52206    48256     35 |  0.039 % |
434.38/434.75	c |    594785 |    2563    10385    29189 |    52206    48416     35 |  0.039 % |
434.48/434.89	c |    594963 |    2563    10385    29189 |    52206    48594     35 |  0.039 % |
434.68/435.04	c |    595157 |    2563    10385    29189 |    52206    48788     35 |  0.039 % |
434.98/435.30	c |    595370 |    2563    10385    29189 |    52206    49001     35 |  0.039 % |
435.08/435.45	c |    595605 |    2563    10385    29189 |    52206    49236     35 |  0.040 % |
435.38/435.72	c |    595861 |    2563    10385    29189 |    52206    49492     35 |  0.039 % |
435.48/435.82	c |    596142 |    2563    10385    29189 |    52206    49773     35 |  0.039 % |
435.68/436.05	c |    596452 |    2563    10385    29189 |    52206    50083     35 |  0.039 % |
436.08/436.47	c |    596792 |    2563    10385    29189 |    52206    50423     35 |  0.039 % |
436.48/436.85	c |    597165 |    2563    10385    29189 |    52206    50796     35 |  0.039 % |
437.08/437.43	c |    597574 |    2563    10385    29189 |    52206    51205     36 |  0.039 % |
437.28/437.63	c |    598023 |    2563    10385    29189 |    52206    51654     36 |  0.040 % |
437.38/437.79	c |    598516 |    2563    10385    29189 |    52206    52147     36 |  0.040 % |
437.68/438.00	c |    599060 |    2563    10385    29189 |    52206    52691     36 |  0.040 % |
437.98/438.31	c |    599657 |    2563    10385    29189 |    52206    47021     35 |  0.040 % |
438.28/438.61	c |    600312 |    2563    10385    29189 |    47366    47676     35 |  0.040 % |
438.87/439.29	c |    601032 |    2563    10385    29189 |    47366    42887     34 |  0.039 % |
439.27/439.62	c |    601824 |    2563    10385    29189 |    47366    43679     34 |  0.040 % |
440.07/440.42	c |    602695 |    2563    10385    29189 |    47366    44550     35 |  0.039 % |
440.57/440.93	c |    603653 |    2563    10385    29189 |    47366    45508     35 |  0.039 % |
441.37/441.78	c |    604707 |    2563    10385    29189 |    47366    46562     35 |  0.039 % |
442.07/442.41	c |    605866 |    2563    10385    29189 |    47366    47721     35 |  0.039 % |
443.07/443.42	c |    607139 |    2563    10385    29189 |    47366    44222     34 |  0.039 % |
443.57/443.96	c |    608539 |    2563    10385    29189 |    47366    45622     34 |  0.039 % |
444.27/444.63	c |    610079 |    2563    10385    29189 | 2147483647    47162     35 |  0.041 % |
445.27/445.63	c |    611773 |    2563    10385    29189 | 2147483647    48856     35 |  0.040 % |
446.18/446.59	c |    613638 |    2563    10385    29189 | 2147483647    50721     35 |  0.039 % |
447.28/447.61	c |    615688 |    2563    10385    29189 | 2147483647    52771     35 |  0.040 % |
448.67/449.06	c |    617942 |    2563    10385    29189 | 2147483647    55025     35 |  0.039 % |
450.77/451.10	c |    620422 |    2563    10385    29189 |    57084    57505     36 |  0.040 % |
452.57/452.93	c |    623147 |    2563    10385    29189 |    57084    52964     35 |  0.039 % |
454.37/454.75	c |    626146 |    2563    10385    29189 |    57084    55963     35 |  0.045 % |
456.67/457.03	c |    629443 |    2563    10385    29189 |    57084    52939     33 |  0.039 % |
459.57/459.90	c |    633069 |    2563    10385    29189 |    53496    50671     33 |  0.040 % |
460.87/461.27	c |    637059 |    2563    10385    29189 |    53496    54661     34 |  0.040 % |
462.67/463.07	c |    641445 |    2563    10385    29189 |    48584    44915     33 |  0.040 % |
465.86/466.20	c |    646269 |    2563    10385    29189 |    48584    49739     34 |  0.039 % |
468.56/468.90	c |    651574 |    2563    10385    29189 |    47811    43595     33 |  0.039 % |
470.26/470.62	c |    657411 |    2563    10385    29189 |    47811    49432     35 |  0.040 % |
470.26/470.69	c |    657512 |    2563    10385    29189 |    47811    42167     35 |  0.040 % |
470.36/470.77	c |    657623 |    2563    10385    29189 |    47811    42278     35 |  0.040 % |
470.46/470.82	c |    657745 |    2563    10385    29189 |    47811    42400     35 |  0.040 % |
470.46/470.87	c |    657878 |    2563    10385    29189 |    47811    42533     35 |  0.039 % |
470.56/470.92	c |    658025 |    2563    10385    29189 |    47811    42680     35 |  0.040 % |
470.66/471.03	c |    658186 |    2563    10385    29189 |    47811    42841     35 |  0.040 % |
470.66/471.09	c |    658362 |    2563    10385    29189 |    47811    43017     35 |  0.045 % |
470.76/471.16	c |    658555 |    2563    10385    29189 |    47811    43210     35 |  0.039 % |
470.86/471.23	c |    658767 |    2563    10385    29189 |    47811    43422     35 |  0.040 % |
470.96/471.32	c |    659000 |    2563    10385    29189 |    47811    43655     35 |  0.039 % |
471.06/471.41	c |    659257 |    2563    10385    29189 |    47811    43912     35 |  0.040 % |
471.36/471.77	c |    659539 |    2563    10385    29189 |    47811    44194     35 |  0.039 % |
471.46/471.87	c |    659848 |    2563    10385    29189 |    47811    44503     35 |  0.040 % |
471.66/472.05	c |    660188 |    2563    10385    29189 |    44656    44843     35 |  0.039 % |
471.86/472.28	c |    660560 |    2563    10385    29189 |    44656    39083     35 |  0.039 % |
472.06/472.44	c |    660970 |    2563    10385    29189 |    44656    39493     36 |  0.040 % |
472.16/472.56	c |    661419 |    2563    10385    29189 |    44656    39942     35 |  0.039 % |
472.46/472.87	c |    661912 |    2563    10385    29189 |    44656    40435     36 |  0.040 % |
472.66/473.04	c |    662455 |    2563    10385    29189 |    44656    40978     36 |  0.039 % |
473.06/473.50	c |    663051 |    2563    10385    29189 |    44656    41574     36 |  0.039 % |
473.35/473.79	c |    663706 |    2563    10385    29189 |    44656    42229     36 |  0.040 % |
473.76/474.10	c |    664427 |    2563    10385    29189 |    44656    42950     36 |  0.039 % |
474.25/474.63	c |    665220 |    2563    10385    29189 |    44656    43743     36 |  0.040 % |
474.86/475.26	c |    666092 |    2563    10385    29189 |    44656    44615     36 |  0.039 % |
475.35/475.73	c |    667050 |    2563    10385    29189 |    44656    45573     36 |  0.040 % |
475.65/476.08	c |    668103 |    2563    10385    29189 |    44656    42069     35 |  0.039 % |
476.15/476.52	c |    669262 |    2563    10385    29189 |    44656    43228     35 |  0.039 % |
476.75/477.16	c |    670535 |    2563    10385    29189 | 2147483647    44501     35 |  0.040 % |
477.25/477.69	c |    671935 |    2563    10385    29189 | 2147483647    45901     35 |  0.040 % |
478.05/478.50	c |    673476 |    2563    10385    29189 | 2147483647    47442     36 |  0.039 % |
479.85/480.22	c |    675171 |    2563    10385    29189 | 2147483647    49137     36 |  0.039 % |
481.24/481.69	c |    677034 |    2563    10385    29189 | 2147483647    51000     36 |  0.040 % |
482.44/482.82	c |    679083 |    2563    10385    29189 | 2147483647    53049     37 |  0.039 % |
483.34/483.79	c |    681336 |    2563    10385    29189 | 2147483647    55302     36 |  0.039 % |
484.74/485.14	c |    683814 |    2563    10385    29189 | 2147483647    57780     36 |  0.040 % |
486.74/487.17	c |    686539 |    2563    10385    29189 | 2147483647    60505     36 |  0.039 % |
488.94/489.38	c |    689538 |    2563    10385    29189 | 2147483647    63504     38 |  0.040 % |
490.74/491.11	c |    692834 |    2563    10385    29189 |    63968    56515     35 |  0.039 % |
493.24/493.67	c |    696459 |    2563    10385    29189 |    63968    60140     36 |  0.041 % |
496.23/496.63	c |    700446 |    2563    10385    29189 |    63683    64127     36 |  0.039 % |
498.33/498.75	c |    704832 |    2563    10385    29189 |    63683    59423     34 |  0.039 % |
502.13/502.57	c |    709655 |    2563    10385    29189 |    63683    64246     36 |  0.040 % |
506.43/506.90	c |    714961 |    2563    10385    29189 |    54710    52059     33 |  0.039 % |
512.42/512.82	c |    720796 |    2563    10385    29189 |    50403    51197     34 |  0.039 % |
514.52/514.92	c |    727217 |    2563    10385    29189 |    50403    46989     32 |  0.039 % |
514.62/515.04	c |    727317 |    2563    10385    29189 |    50403    47089     32 |  0.039 % |
514.62/515.09	c |    727427 |    2563    10385    29189 |    50403    47199     32 |  0.039 % |
514.72/515.14	c |    727548 |    2563    10385    29189 |    50403    47320     32 |  0.039 % |
514.72/515.20	c |    727681 |    2563    10385    29189 |    50403    47453     32 |  0.040 % |
514.82/515.28	c |    727827 |    2563    10385    29189 |    50403    47599     32 |  0.041 % |
514.92/515.34	c |    727988 |    2563    10385    29189 |    50403    47760     32 |  0.039 % |
515.02/515.46	c |    728164 |    2563    10385    29189 |    50403    47936     32 |  0.039 % |
515.12/515.53	c |    728359 |    2563    10385    29189 |    50403    48131     32 |  0.040 % |
515.22/515.67	c |    728571 |    2563    10385    29189 |    50403    48343     32 |  0.040 % |
515.43/515.81	c |    728805 |    2563    10385    29189 |    50403    48577     32 |  0.040 % |
515.82/516.24	c |    729062 |    2563    10385    29189 |    50403    48834     32 |  0.040 % |
515.92/516.34	c |    729343 |    2563    10385    29189 |    50403    49115     32 |  0.040 % |
516.02/516.47	c |    729653 |    2563    10385    29189 |    50403    49425     32 |  0.039 % |
516.22/516.63	c |    729992 |    2563    10385    29189 |    50403    49764     32 |  0.040 % |
516.32/516.79	c |    730366 |    2563    10385    29189 | 2147483647    50138     32 |  0.039 % |
516.53/516.92	c |    730776 |    2563    10385    29189 | 2147483647    50548     32 |  0.039 % |
516.92/517.30	c |    731226 |    2563    10385    29189 | 2147483647    50998     32 |  0.039 % |
517.02/517.49	c |    731720 |    2563    10385    29189 | 2147483647    51492     32 |  0.039 % |
517.72/518.13	c |    732262 |    2563    10385    29189 | 2147483647    52034     33 |  0.039 % |
518.12/518.53	c |    732862 |    2563    10385    29189 | 2147483647    52634     33 |  0.039 % |
518.42/518.80	c |    733517 |    2563    10385    29189 | 2147483647    53289     33 |  0.039 % |
518.72/519.18	c |    734237 |    2563    10385    29189 | 2147483647    54009     33 |  0.040 % |
519.22/519.66	c |    735030 |    2563    10385    29189 | 2147483647    54802     33 |  0.039 % |
519.52/519.97	c |    735903 |    2563    10385    29189 | 2147483647    55675     33 |  0.040 % |
519.92/520.35	c |    736861 |    2563    10385    29189 | 2147483647    56633     33 |  0.039 % |
520.82/521.27	c |    737915 |    2563    10385    29189 | 2147483647    57687     34 |  0.039 % |
521.42/521.82	c |    739073 |    2563    10385    29189 | 2147483647    58845     33 |  0.039 % |
522.02/522.46	c |    740347 |    2563    10385    29189 | 2147483647    60119     34 |  0.040 % |
522.72/523.19	c |    741747 |    2563    10385    29189 | 2147483647    61519     34 |  0.039 % |
523.82/524.23	c |    743287 |    2563    10385    29189 | 2147483647    63059     34 |  0.040 % |
525.92/526.35	c |    744982 |    2563    10385    29189 | 2147483647    64754     35 |  0.039 % |
527.71/528.15	c |    746845 |    2563    10385    29189 | 2147483647    66617     35 |  0.039 % |
530.01/530.49	c |    748895 |    2563    10385    29189 | 2147483647    68667     35 |  0.039 % |
533.61/534.00	c |    751148 |    2563    10385    29189 |    69772    61880     34 |  0.039 % |
535.61/536.03	c |    753627 |    2563    10385    29189 |    69772    64359     34 |  0.039 % |
538.11/538.51	c |    756353 |    2563    10385    29189 |    69772    67085     34 |  0.039 % |
540.41/540.85	c |    759350 |    2563    10385    29189 |    69772    70082     34 |  0.039 % |
544.21/544.69	c |    762646 |    2563    10385    29189 |    62457    58197     32 |  0.039 % |
547.61/548.09	c |    766271 |    2563    10385    29189 |    62457    61822     32 |  0.039 % |
550.80/551.21	c |    770259 |    2563    10385    29189 |    59165    59424     32 |  0.039 % |
555.10/555.55	c |    774645 |    2563    10385    29189 |    59165    57220     32 |  0.040 % |
559.80/560.26	c |    779469 |    2563    10385    29189 |    59165    55299     31 |  0.039 % |
564.30/564.75	c |    784777 |    2563    10385    29189 |    55831    54306     31 |  0.039 % |
569.39/569.83	c |    790613 |    2563    10385    29189 |    53407    54020     32 |  0.039 % |
575.78/576.25	c |    797031 |    2563    10385    29189 |    53407    48447     33 |  0.040 % |
578.58/579.01	c |    804090 |    2563    10385    29189 |    51418    45756     36 |  0.040 % |
578.58/579.06	c |    804190 |    2563    10385    29189 |    51418    45856     36 |  0.040 % |
578.68/579.12	c |    804301 |    2563    10385    29189 |    51418    45967     36 |  0.039 % |
578.68/579.18	c |    804422 |    2563    10385    29189 |    51418    46088     36 |  0.039 % |
578.78/579.22	c |    804556 |    2563    10385    29189 |    51418    46222     36 |  0.040 % |
578.78/579.27	c |    804702 |    2563    10385    29189 |    51418    46368     36 |  0.040 % |
578.88/579.31	c |    804862 |    2563    10385    29189 |    51418    46528     36 |  0.039 % |
579.08/579.50	c |    805041 |    2563    10385    29189 |    51418    46707     36 |  0.039 % |
579.08/579.54	c |    805234 |    2563    10385    29189 |    51418    46900     36 |  0.040 % |
579.18/579.63	c |    805448 |    2563    10385    29189 |    51418    47114     36 |  0.039 % |
579.18/579.66	c |    805681 |    2563    10385    29189 |    51418    47347     36 |  0.039 % |
579.28/579.75	c |    805938 |    2563    10385    29189 |    51418    47604     36 |  0.039 % |
579.48/579.97	c |    806219 |    2563    10385    29189 |    51418    47885     36 |  0.039 % |
579.58/580.03	c |    806528 |    2563    10385    29189 |    51418    48194     36 |  0.040 % |
579.58/580.10	c |    806867 |    2563    10385    29189 |    51418    48533     36 |  0.039 % |
579.98/580.45	c |    807240 |    2563    10385    29189 |    51418    48906     36 |  0.039 % |
580.18/580.60	c |    807650 |    2563    10385    29189 |    51418    49316     36 |  0.039 % |
580.48/580.92	c |    808100 |    2563    10385    29189 |    51418    49766     36 |  0.039 % |
580.88/581.35	c |    808593 |    2563    10385    29189 |    51418    50259     36 |  0.039 % |
581.18/581.66	c |    809136 |    2563    10385    29189 |    51418    50802     37 |  0.040 % |
581.38/581.81	c |    809732 |    2563    10385    29189 |    51418    51398     37 |  0.040 % |
581.48/581.95	c |    810387 |    2563    10385    29189 |    51667    52053     37 |  0.039 % |
581.88/582.32	c |    811108 |    2563    10385    29189 |    51667    46217     36 |  0.039 % |
582.48/582.99	c |    811900 |    2563    10385    29189 |    51667    47009     36 |  0.039 % |
582.88/583.32	c |    812773 |    2563    10385    29189 |    51667    47882     36 |  0.040 % |
583.48/583.97	c |    813731 |    2563    10385    29189 |    51667    48840     37 |  0.039 % |
584.08/584.55	c |    814784 |    2563    10385    29189 |    51667    49893     37 |  0.045 % |
584.98/585.46	c |    815943 |    2563    10385    29189 |    51667    51052     37 |  0.039 % |
585.97/586.41	c |    817216 |    2563    10385    29189 |    51667    52325     37 |  0.040 % |
587.27/587.74	c |    818617 |    2563    10385    29189 |    51667    48494     37 |  0.039 % |
588.17/588.66	c |    820157 |    2563    10385    29189 | 2147483647    50034     37 |  0.039 % |
589.97/590.46	c |    821851 |    2563    10385    29189 | 2147483647    51728     37 |  0.040 % |
591.17/591.61	c |    823714 |    2563    10385    29189 | 2147483647    53591     37 |  0.039 % |
592.87/593.33	c |    825764 |    2563    10385    29189 | 2147483647    55641     38 |  0.039 % |
594.37/594.87	c |    828017 |    2563    10385    29189 | 2147483647    57894     38 |  0.039 % |
595.57/596.09	c |    830495 |    2563    10385    29189 | 2147483647    60372     39 |  0.040 % |
597.27/597.70	c |    833220 |    2563    10385    29189 | 2147483647    63097     39 |  0.039 % |
599.67/600.13	c |    836218 |    2563    10385    29189 | 2147483647    66095     39 |  0.039 % |
601.17/601.67	c |    839514 |    2563    10385    29189 | 2147483647    69391     39 |  0.039 % |
603.37/603.81	c |    843139 |    2563    10385    29189 |    69878    57345     37 |  0.040 % |
605.97/606.43	c |    847127 |    2563    10385    29189 |    69878    61333     38 |  0.039 % |
609.27/609.78	c |    851512 |    2563    10385    29189 |    64207    54413     35 |  0.040 % |
611.87/612.36	c |    856337 |    2563    10385    29189 |    64207    59238     37 |  0.040 % |
615.46/615.92	c |    861642 |    2563    10385    29189 |    62901    52836     38 |  0.039 % |
619.35/619.82	c |    867478 |    2563    10385    29189 |    62901    58672     38 |  0.039 % |
624.75/625.25	c |    873896 |    2563    10385    29189 |    61195    53018     39 |  0.039 % |
629.95/630.47	c |    880956 |    2563    10385    29189 |    59123    60078     39 |  0.040 % |
636.74/637.24	c |    888722 |    2563    10385    29189 |    59123    57135     39 |  0.039 % |
636.84/637.34	c |    888823 |    2563    10385    29189 |    59123    57236     39 |  0.040 % |
636.94/637.43	c |    888933 |    2563    10385    29189 |    59123    57346     39 |  0.039 % |
637.04/637.56	c |    889055 |    2563    10385    29189 |    59123    57468     39 |  0.040 % |
637.14/637.65	c |    889188 |    2563    10385    29189 |    59123    57601     39 |  0.040 % |
637.24/637.74	c |    889334 |    2563    10385    29189 |    59123    57747     39 |  0.040 % |
637.35/637.83	c |    889495 |    2563    10385    29189 |    59123    57908     39 |  0.039 % |
637.46/637.92	c |    889671 |    2563    10385    29189 |    59123    58084     39 |  0.039 % |
637.56/638.01	c |    889864 |    2563    10385    29189 |    59123    58277     39 |  0.040 % |
637.65/638.11	c |    890076 |    2563    10385    29189 |    58414    58489     39 |  0.039 % |
637.75/638.26	c |    890309 |    2563    10385    29189 |    58414    51516     38 |  0.039 % |
637.85/638.36	c |    890568 |    2563    10385    29189 |    58414    51775     38 |  0.039 % |
637.95/638.49	c |    890849 |    2563    10385    29189 |    58414    52056     38 |  0.040 % |
638.15/638.62	c |    891158 |    2563    10385    29189 |    58414    52365     38 |  0.039 % |
638.45/639.00	c |    891497 |    2563    10385    29189 |    58414    52704     38 |  0.039 % |
638.75/639.26	c |    891869 |    2563    10385    29189 |    58414    53076     38 |  0.039 % |
639.45/639.91	c |    892278 |    2563    10385    29189 |    58414    53485     39 |  0.039 % |
639.75/640.20	c |    892730 |    2563    10385    29189 |    58414    53937     39 |  0.039 % |
640.25/640.71	c |    893223 |    2563    10385    29189 |    58414    54430     39 |  0.039 % |
640.75/641.20	c |    893765 |    2563    10385    29189 |    58414    54972     39 |  0.039 % |
641.35/641.88	c |    894361 |    2563    10385    29189 |    58414    55568     39 |  0.039 % |
641.75/642.22	c |    895017 |    2563    10385    29189 |    58414    56224     39 |  0.040 % |
642.05/642.56	c |    895737 |    2563    10385    29189 |    58414    56944     39 |  0.040 % |
642.55/643.05	c |    896531 |    2563    10385    29189 |    58414    57738     39 |  0.040 % |
642.95/643.46	c |    897402 |    2563    10385    29189 |    58414    58609     39 |  0.040 % |
643.45/643.98	c |    898360 |    2563    10385    29189 |    58414    52031     37 |  0.039 % |
644.45/644.99	c |    899414 |    2563    10385    29189 |    58414    53085     37 |  0.039 % |
645.15/645.69	c |    900574 |    2563    10385    29189 |    53672    54245     37 |  0.040 % |
645.65/646.15	c |    901848 |    2563    10385    29189 |    53672    49181     35 |  0.040 % |
647.25/647.72	c |    903250 |    2563    10385    29189 |    53672    50583     35 |  0.040 % |
648.64/649.11	c |    904790 |    2563    10385    29189 |    53672    52123     35 |  0.039 % |
650.04/650.52	c |    906484 |    2563    10385    29189 |    53672    53817     36 |  0.040 % |
651.24/651.76	c |    908348 |    2563    10385    29189 |    53672    49518     35 |  0.039 % |
652.24/652.79	c |    910397 |    2563    10385    29189 | 2147483647    51567     35 |  0.040 % |
654.14/654.63	c |    912650 |    2563    10385    29189 | 2147483647    53820     36 |  0.039 % |
656.74/657.25	c |    915129 |    2563    10385    29189 | 2147483647    56299     36 |  0.039 % |
658.64/659.19	c |    917854 |    2563    10385    29189 | 2147483647    59024     37 |  0.039 % |
661.33/661.80	c |    920851 |    2563    10385    29189 |    61171    62021     37 |  0.039 % |
664.53/665.05	c |    924148 |    2563    10385    29189 |    61171    57461     37 |  0.039 % |
668.13/668.61	c |    927773 |    2563    10385    29189 |    61171    61086     38 |  0.039 % |
673.03/673.54	c |    931761 |    2563    10385    29189 |    55648    51186     37 |  0.040 % |
676.63/677.14	c |    936146 |    2563    10385    29189 |    55648    55571     38 |  0.039 % |
680.43/680.99	c |    940969 |    2563    10385    29189 | 2147483647    54775     38 |  0.039 % |
684.23/684.73	c |    946274 |    2563    10385    29189 | 2147483647    60080     37 |  0.039 % |
688.72/689.27	c |    952110 |    2563    10385    29189 |    63807    56957     37 |  0.040 % |
692.82/693.33	c |    958532 |    2563    10385    29189 |    63807    63379     36 |  0.039 % |
697.32/697.84	c |    965591 |    2563    10385    29189 |    64847    59721     37 |  0.040 % |
700.82/701.36	c |    973355 |    2563    10385    29189 |    64130    53264     36 |  0.040 % |
707.71/708.29	c |    981895 |    2563    10385    29189 |    59910    49789     36 |  0.040 % |
707.81/708.35	c |    981996 |    2563    10385    29189 |    59910    49890     36 |  0.040 % |
707.91/708.42	c |    982106 |    2563    10385    29189 |    59910    50000     36 |  0.045 % |
708.01/708.51	c |    982227 |    2563    10385    29189 |    59910    50121     36 |  0.039 % |
708.11/708.60	c |    982361 |    2563    10385    29189 |    59910    50255     36 |  0.039 % |
708.21/708.76	c |    982507 |    2563    10385    29189 |    59910    50401     36 |  0.039 % |
708.31/708.86	c |    982668 |    2563    10385    29189 |    59910    50562     36 |  0.039 % |
708.51/709.01	c |    982845 |    2563    10385    29189 |    59910    50739     36 |  0.040 % |
708.61/709.10	c |    983038 |    2563    10385    29189 |    59910    50932     36 |  0.039 % |
708.71/709.21	c |    983250 |    2563    10385    29189 |    59910    51144     36 |  0.040 % |
708.81/709.33	c |    983483 |    2563    10385    29189 |    59910    51377     36 |  0.039 % |
708.91/709.45	c |    983739 |    2563    10385    29189 |    59910    51633     36 |  0.040 % |
709.01/709.58	c |    984022 |    2563    10385    29189 |    59910    51916     36 |  0.039 % |
709.31/709.82	c |    984333 |    2563    10385    29189 |    59910    52227     37 |  0.040 % |
709.51/710.08	c |    984673 |    2563    10385    29189 |    59910    52567     37 |  0.040 % |
709.81/710.39	c |    985045 |    2563    10385    29189 |    59910    52939     37 |  0.040 % |
710.11/710.64	c |    985454 |    2563    10385    29189 |    59910    53348     37 |  0.040 % |
710.30/710.81	c |    985904 |    2563    10385    29189 |    59910    53798     37 |  0.039 % |
710.50/711.05	c |    986398 |    2563    10385    29189 |    59910    54292     37 |  0.040 % |
710.80/711.30	c |    986940 |    2563    10385    29189 |    59910    54834     37 |  0.040 % |
711.21/711.74	c |    987536 |    2563    10385    29189 |    59910    55430     37 |  0.039 % |
711.50/712.08	c |    988191 |    2563    10385    29189 |    59910    56085     37 |  0.040 % |
712.21/712.72	c |    988911 |    2563    10385    29189 |    59910    56805     37 |  0.040 % |
712.90/713.42	c |    989704 |    2563    10385    29189 |    59910    57598     37 |  0.040 % |
713.60/714.12	c |    990575 |    2563    10385    29189 |    57897    58469     37 |  0.039 % |
714.20/714.74	c |    991533 |    2563    10385    29189 |    57897    50634     37 |  0.039 % |
714.60/715.12	c |    992586 |    2563    10385    29189 |    57897    51687     37 |  0.040 % |
715.00/715.59	c |    993745 |    2563    10385    29189 |    57897    52846     37 |  0.039 % |
716.40/716.90	c |    995018 |    2563    10385    29189 |    57897    54119     37 |  0.039 % |
716.90/717.45	c |    996418 |    2563    10385    29189 |    57897    55519     37 |  0.040 % |
717.80/718.32	c |    997958 |    2563    10385    29189 |    57897    57059     37 |  0.040 % |
719.40/719.91	c |    999652 |    2563    10385    29189 |    57897    58753     37 |  0.040 % |
720.90/721.41	c |   1001515 |    2563    10385    29189 |    50908    45978     34 |  0.040 % |
722.10/722.64	c |   1003564 |    2563    10385    29189 |    50908    48027     34 |  0.040 % |
722.80/723.37	c |   1005817 |    2563    10385    29189 |    50908    50280     34 |  0.040 % |
724.00/724.53	c |   1008296 |    2563    10385    29189 |    50908    45866     32 |  0.039 % |
725.50/726.02	c |   1011021 |    2563    10385    29189 |    47573    43423     32 |  0.039 % |
726.40/726.93	c |   1014018 |    2563    10385    29189 |    47573    46420     33 |  0.041 % |
727.50/728.03	c |   1017315 |    2563    10385    29189 |    47573    43783     32 |  0.040 % |
728.60/729.14	c |   1020940 |    2563    10385    29189 | 2147483647    47408     33 |  0.039 % |
731.79/732.37	c |   1024928 |    2563    10385    29189 | 2147483647    51396     34 |  0.039 % |
734.89/735.46	c |   1029313 |    2563    10385    29189 | 2147483647    55781     35 |  0.039 % |
739.80/740.31	c |   1034137 |    2563    10385    29189 | 2147483647    60605     36 |  0.040 % |
746.09/746.69	c |   1039443 |    2563    10385    29189 | 2147483647    65911     37 |  0.040 % |
749.07/749.61	c |   1045279 |    2563    10385    29189 |    66469    63645     35 |  0.039 % |
752.98/753.53	c |   1051698 |    2563    10385    29189 |    61641    56763     34 |  0.039 % |
759.27/759.81	c |   1058759 |    2563    10385    29189 |    61641    55658     34 |  0.039 % |
766.47/767.03	c |   1066523 |    2563    10385    29189 |    56899    56668     34 |  0.040 % |
768.77/769.33	c |   1075063 |    2563    10385    29189 |    52517    49372     33 |  0.039 % |
772.86/773.48	c |   1084457 |    2563    10385    29189 |    47100    46593     33 |  0.039 % |
772.96/773.54	c |   1084557 |    2563    10385    29189 |    47100    46693     33 |  0.040 % |
772.96/773.60	c |   1084667 |    2563    10385    29189 |    47100    46803     34 |  0.039 % |
773.06/773.65	c |   1084788 |    2563    10385    29189 |    47100    46924     34 |  0.040 % |
773.16/773.71	c |   1084923 |    2563    10385    29189 |    47100    47059     34 |  0.039 % |
773.26/773.82	c |   1085070 |    2563    10385    29189 |    47100    47206     34 |  0.039 % |
773.36/773.91	c |   1085233 |    2563    10385    29189 |    47100    42649     33 |  0.039 % |
773.46/774.01	c |   1085410 |    2563    10385    29189 |    47100    42826     33 |  0.039 % |
773.56/774.11	c |   1085603 |    2563    10385    29189 |    47100    43019     33 |  0.040 % |
773.66/774.23	c |   1085816 |    2563    10385    29189 |    47100    43232     33 |  0.040 % |
773.87/774.48	c |   1086051 |    2563    10385    29189 |    47100    43467     33 |  0.040 % |
773.96/774.57	c |   1086308 |    2563    10385    29189 |    47100    43724     33 |  0.040 % |
774.16/774.72	c |   1086590 |    2563    10385    29189 |    47100    44006     33 |  0.040 % |
774.26/774.87	c |   1086899 |    2563    10385    29189 |    47100    44315     34 |  0.040 % |
774.66/775.21	c |   1087238 |    2563    10385    29189 |    47100    44654     34 |  0.040 % |
774.97/775.50	c |   1087611 |    2563    10385    29189 |    47100    45027     34 |  0.040 % |
775.16/775.76	c |   1088020 |    2563    10385    29189 |    47100    45436     34 |  0.040 % |
775.36/775.94	c |   1088469 |    2563    10385    29189 |    47100    45885     34 |  0.040 % |
775.46/776.04	c |   1088962 |    2563    10385    29189 |    47100    46378     34 |  0.039 % |
775.56/776.10	c |   1089505 |    2563    10385    29189 |    47100    46921     34 |  0.039 % |
775.66/776.27	c |   1090101 |    2563    10385    29189 | 2147483647    47517     34 |  0.039 % |
775.97/776.57	c |   1090758 |    2563    10385    29189 | 2147483647    48174     34 |  0.040 % |
776.36/776.99	c |   1091479 |    2563    10385    29189 | 2147483647    48895     34 |  0.040 % |
776.96/777.57	c |   1092272 |    2563    10385    29189 | 2147483647    49688     34 |  0.039 % |
777.46/778.09	c |   1093145 |    2563    10385    29189 | 2147483647    50561     34 |  0.040 % |
778.06/778.62	c |   1094104 |    2563    10385    29189 | 2147483647    51520     35 |  0.039 % |
778.66/779.26	c |   1095157 |    2563    10385    29189 | 2147483647    52573     35 |  0.039 % |
779.46/780.06	c |   1096315 |    2563    10385    29189 | 2147483647    53731     35 |  0.039 % |
780.36/780.97	c |   1097588 |    2563    10385    29189 | 2147483647    55004     35 |  0.039 % |
780.86/781.45	c |   1098988 |    2563    10385    29189 | 2147483647    56404     35 |  0.041 % |
781.66/782.25	c |   1100528 |    2563    10385    29189 | 2147483647    57944     35 |  0.039 % |
782.26/782.82	c |   1102223 |    2563    10385    29189 | 2147483647    59639     36 |  0.041 % |
783.86/784.48	c |   1104087 |    2563    10385    29189 | 2147483647    61503     36 |  0.040 % |
785.16/785.71	c |   1106136 |    2563    10385    29189 | 2147483647    63552     36 |  0.040 % |
786.76/787.32	c |   1108389 |    2563    10385    29189 | 2147483647    65805     37 |  0.040 % |
789.36/789.95	c |   1110868 |    2563    10385    29189 |    67419    68284     37 |  0.039 % |
791.75/792.39	c |   1113594 |    2563    10385    29189 |    67419    61031     37 |  0.039 % |
793.85/794.46	c |   1116592 |    2563    10385    29189 |    67419    64029     37 |  0.040 % |
796.04/796.65	c |   1119889 |    2563    10385    29189 |    67419    67326     38 |  0.040 % |
798.33/798.91	c |   1123515 |    2563    10385    29189 |    67437    57396     37 |  0.040 % |
800.73/801.37	c |   1127502 |    2563    10385    29189 |    67437    61383     37 |  0.040 % |
804.03/804.64	c |   1131888 |    2563    10385    29189 |    63881    51828     37 |  0.040 % |
806.33/806.98	c |   1136711 |    2563    10385    29189 |    63881    56651     37 |  0.040 % |
810.63/811.24	c |   1142016 |    2563    10385    29189 |    59942    50143     36 |  0.039 % |
813.83/814.40	c |   1147852 |    2563    10385    29189 |    59942    55979     39 |  0.040 % |
817.23/817.87	c |   1154270 |    2563    10385    29189 |    58128    51146     40 |  0.040 % |
823.72/824.33	c |   1161329 |    2563    10385    29189 |    56876    50163     39 |  0.039 % |
830.62/831.24	c |   1169094 |    2563    10385    29189 |    56876    51215     40 |  0.040 % |
835.72/836.33	c |   1177636 |    2563    10385    29189 |    52123    52766     42 |  0.040 % |
841.31/841.91	c |   1187030 |    2563    10385    29189 |    47014    43387     37 |  0.039 % |
846.21/846.85	c |   1197364 |    2563    10385    29189 | 2147483647    53721     39 |  0.041 % |
846.32/846.97	c |   1197464 |    2563    10385    29189 | 2147483647    53821     39 |  0.040 % |
846.42/847.03	c |   1197575 |    2563    10385    29189 | 2147483647    53932     39 |  0.040 % |
846.51/847.13	c |   1197696 |    2563    10385    29189 | 2147483647    54053     39 |  0.040 % |
846.51/847.18	c |   1197830 |    2563    10385    29189 | 2147483647    54187     39 |  0.040 % |
846.71/847.33	c |   1197976 |    2563    10385    29189 | 2147483647    54333     39 |  0.039 % |
846.81/847.42	c |   1198136 |    2563    10385    29189 | 2147483647    54493     39 |  0.040 % |
846.91/847.58	c |   1198312 |    2563    10385    29189 | 2147483647    54669     39 |  0.039 % |
847.11/847.73	c |   1198506 |    2563    10385    29189 | 2147483647    54863     39 |  0.039 % |
847.21/847.85	c |   1198719 |    2563    10385    29189 | 2147483647    55076     39 |  0.041 % |
847.31/848.00	c |   1198953 |    2563    10385    29189 | 2147483647    55310     39 |  0.039 % |
847.52/848.14	c |   1199209 |    2563    10385    29189 | 2147483647    55566     39 |  0.039 % |
847.71/848.33	c |   1199491 |    2563    10385    29189 | 2147483647    55848     39 |  0.039 % |
847.91/848.58	c |   1199804 |    2563    10385    29189 | 2147483647    56161     39 |  0.039 % |
848.11/848.76	c |   1200144 |    2563    10385    29189 |    56357    56501     39 |  0.039 % |
848.41/849.05	c |   1200518 |    2563    10385    29189 |    56357    48549     39 |  0.040 % |
848.61/849.27	c |   1200928 |    2563    10385    29189 |    56357    48959     39 |  0.040 % |
848.91/849.50	c |   1201377 |    2563    10385    29189 |    56357    49408     39 |  0.039 % |
849.11/849.74	c |   1201871 |    2563    10385    29189 |    56357    49902     38 |  0.039 % |
849.31/849.98	c |   1202413 |    2563    10385    29189 |    56357    50444     38 |  0.039 % |
849.71/850.32	c |   1203010 |    2563    10385    29189 |    56357    51041     38 |  0.039 % |
850.11/850.71	c |   1203666 |    2563    10385    29189 |    56357    51697     38 |  0.039 % |
850.41/851.04	c |   1204387 |    2563    10385    29189 |    56357    52418     39 |  0.039 % |
850.91/851.57	c |   1205179 |    2563    10385    29189 |    56357    53210     39 |  0.040 % |
851.61/852.23	c |   1206050 |    2563    10385    29189 |    56357    54081     39 |  0.040 % |
852.11/852.71	c |   1207009 |    2563    10385    29189 |    56357    55040     39 |  0.039 % |
852.61/853.26	c |   1208065 |    2563    10385    29189 |    56357    56096     39 |  0.041 % |
853.11/853.71	c |   1209223 |    2563    10385    29189 |    56357    57254     38 |  0.040 % |
853.91/854.57	c |   1210498 |    2563    10385    29189 |    49786    50284     38 |  0.039 % |
854.71/855.32	c |   1211898 |    2563    10385    29189 |    49786    45303     35 |  0.040 % |
855.90/856.57	c |   1213440 |    2563    10385    29189 |    49786    46845     36 |  0.040 % |
857.31/857.94	c |   1215136 |    2563    10385    29189 |    49786    48541     37 |  0.039 % |
858.51/859.18	c |   1217000 |    2563    10385    29189 |    49786    50405     37 |  0.040 % |
859.30/859.99	c |   1219050 |    2563    10385    29189 |    49786    47415     36 |  0.040 % |
860.20/860.83	c |   1221303 |    2563    10385    29189 | 2147483647    49668     37 |  0.040 % |
861.40/862.07	c |   1223781 |    2563    10385    29189 | 2147483647    52146     37 |  0.040 % |
863.00/863.67	c |   1226507 |    2563    10385    29189 | 2147483647    54872     37 |  0.039 % |
864.30/864.91	c |   1229505 |    2563    10385    29189 | 2147483647    57870     37 |  0.040 % |
866.00/866.65	c |   1232803 |    2563    10385    29189 | 2147483647    61168     37 |  0.040 % |
868.60/869.26	c |   1236430 |    2563    10385    29189 | 2147483647    64795     37 |  0.039 % |
871.30/871.97	c |   1240417 |    2563    10385    29189 |    68365    68782     38 |  0.039 % |
874.60/875.21	c |   1244802 |    2563    10385    29189 |    68365    60545     36 |  0.039 % |
878.39/879.02	c |   1249625 |    2563    10385    29189 |    68365    65368     36 |  0.040 % |
883.59/884.29	c |   1254931 |    2563    10385    29189 |    65743    59769     36 |  0.039 % |
889.67/890.38	c |   1260766 |    2563    10385    29189 |    64838    65604     36 |  0.039 % |
895.88/896.54	c |   1267184 |    2563    10385    29189 |    64838    61067     35 |  0.039 % |
904.27/904.95	c |   1274244 |    2563    10385    29189 |    63883    57275     35 |  0.040 % |
910.87/911.54	c |   1282008 |    2563    10385    29189 |    63032    54573     35 |  0.040 % |
916.87/917.56	c |   1290548 |    2563    10385    29189 |    62568    63113     35 |  0.040 % |
920.76/921.40	c |   1299943 |    2563    10385    29189 |    62568    59837     32 |  0.039 % |
929.55/930.25	c |   1310277 |    2563    10385    29189 | 2147483647    59393     31 |  0.039 % |
938.13/938.88	c |   1321643 |    2563    10385    29189 |    69117    62080     32 |  0.039 % |
938.33/939.01	c |   1321744 |    2563    10385    29189 |    69117    62181     32 |  0.040 % |
938.33/939.04	c |   1321855 |    2563    10385    29189 |    69117    62292     32 |  0.039 % |
938.43/939.11	c |   1321976 |    2563    10385    29189 |    69117    62413     32 |  0.039 % |
938.43/939.19	c |   1322110 |    2563    10385    29189 |    69117    62547     32 |  0.039 % |
938.63/939.40	c |   1322256 |    2563    10385    29189 |    69117    62693     32 |  0.039 % |
938.73/939.49	c |   1322416 |    2563    10385    29189 |    69117    62853     32 |  0.039 % |
938.93/939.64	c |   1322593 |    2563    10385    29189 |    69117    63030     32 |  0.039 % |
939.03/939.76	c |   1322786 |    2563    10385    29189 |    69117    63223     32 |  0.040 % |
939.13/939.82	c |   1322998 |    2563    10385    29189 |    69117    63435     32 |  0.039 % |
939.33/940.04	c |   1323231 |    2563    10385    29189 |    69117    63668     32 |  0.041 % |
939.54/940.20	c |   1323488 |    2563    10385    29189 |    69117    63925     32 |  0.040 % |
939.84/940.56	c |   1323770 |    2563    10385    29189 |    69117    64207     32 |  0.041 % |
940.13/940.82	c |   1324079 |    2563    10385    29189 |    69117    64516     32 |  0.039 % |
940.23/940.96	c |   1324418 |    2563    10385    29189 |    69117    64855     32 |  0.040 % |
940.53/941.21	c |   1324790 |    2563    10385    29189 |    69117    65227     32 |  0.039 % |
940.94/941.63	c |   1325199 |    2563    10385    29189 |    69117    65636     32 |  0.041 % |
941.23/941.90	c |   1325649 |    2563    10385    29189 |    69117    66086     32 |  0.039 % |
941.63/942.30	c |   1326142 |    2563    10385    29189 |    69117    66579     32 |  0.039 % |
941.83/942.57	c |   1326685 |    2563    10385    29189 |    69117    67122     32 |  0.040 % |
942.63/943.33	c |   1327281 |    2563    10385    29189 |    69117    67718     32 |  0.039 % |
943.14/943.85	c |   1327936 |    2563    10385    29189 |    69117    68373     32 |  0.039 % |
943.83/944.58	c |   1328657 |    2563    10385    29189 |    69117    69094     33 |  0.039 % |
944.63/945.31	c |   1329450 |    2563    10385    29189 |    69117    69887     33 |  0.040 % |
945.23/945.97	c |   1330321 |    2563    10385    29189 |    60349    60670     32 |  0.040 % |
945.73/946.49	c |   1331280 |    2563    10385    29189 |    60349    53000     31 |  0.040 % |
946.43/947.14	c |   1332333 |    2563    10385    29189 |    60349    54053     31 |  0.039 % |
947.33/948.03	c |   1333492 |    2563    10385    29189 |    60349    55212     32 |  0.040 % |
948.53/949.20	c |   1334765 |    2563    10385    29189 |    60349    56485     32 |  0.040 % |
949.03/949.71	c |   1336166 |    2563    10385    29189 |    60349    57886     32 |  0.040 % |
950.03/950.78	c |   1337706 |    2563    10385    29189 |    60349    59426     32 |  0.040 % |
951.83/952.54	c |   1339400 |    2563    10385    29189 |    60349    61120     32 |  0.039 % |
952.93/953.70	c |   1341263 |    2563    10385    29189 | 2147483647    56871     33 |  0.039 % |
954.03/954.75	c |   1343312 |    2563    10385    29189 | 2147483647    58920     33 |  0.039 % |
955.42/956.18	c |   1345566 |    2563    10385    29189 | 2147483647    61174     33 |  0.040 % |
956.72/957.44	c |   1348044 |    2563    10385    29189 | 2147483647    63652     34 |  0.040 % |
958.92/959.62	c |   1350770 |    2563    10385    29189 |    65608    66378     34 |  0.039 % |
960.63/961.36	c |   1353767 |    2563    10385    29189 |    65608    57775     35 |  0.039 % |
963.02/963.77	c |   1357063 |    2563    10385    29189 |    65608    61071     35 |  0.040 % |
964.32/965.01	c |   1360689 |    2563    10385    29189 |    64008    64697     35 |  0.039 % |
967.32/968.02	c |   1364676 |    2563    10385    29189 |    64008    55517     33 |  0.040 % |
970.52/971.20	c |   1369062 |    2563    10385    29189 |    64008    59903     33 |  0.039 % |
973.42/974.18	c |   1373886 |    2563    10385    29189 |    60841    53340     32 |  0.040 % |
976.21/976.99	c |   1379191 |    2563    10385    29189 |    60841    58645     32 |  0.039 % |
980.71/981.40	c |   1385028 |    2563    10385    29189 |    59455    54138     33 |  0.039 % |
983.81/984.56	c |   1391448 |    2563    10385    29189 |    59111    51147     31 |  0.039 % |
990.01/990.79	c |   1398507 |    2563    10385    29189 |    59111    58206     32 |  0.040 % |
994.21/994.90	c |   1406271 |    2563    10385    29189 |    59700    56546     33 |  0.039 % |
1000.50/1001.21	c |   1414811 |    2563    10385    29189 |    60275    53781     34 |  0.040 % |
1008.00/1008.71	c |   1424206 |    2563    10385    29189 |    58970    53158     35 |  0.040 % |
1016.10/1016.84	c |   1434540 |    2563    10385    29189 |    58953    52601     37 |  0.039 % |
1026.18/1026.91	c |   1445907 |    2563    10385    29189 |    58062    53266     40 |  0.040 % |
1033.78/1034.59	c |   1458412 |    2563    10385    29189 |    57360    55518     37 |  0.039 % |
1033.88/1034.67	c |   1458512 |    2563    10385    29189 |    57360    55618     37 |  0.039 % |
1033.98/1034.73	c |   1458622 |    2563    10385    29189 |    57360    55728     37 |  0.040 % |
1034.18/1034.90	c |   1458744 |    2563    10385    29189 |    57360    55850     37 |  0.039 % |
1034.18/1034.96	c |   1458878 |    2563    10385    29189 |    57360    55984     37 |  0.039 % |
1034.28/1035.03	c |   1459024 |    2563    10385    29189 |    57360    56130     37 |  0.040 % |
1034.38/1035.12	c |   1459184 |    2563    10385    29189 |    57360    56290     37 |  0.040 % |
1034.48/1035.22	c |   1459361 |    2563    10385    29189 |    57360    56467     37 |  0.039 % |
1034.58/1035.33	c |   1459554 |    2563    10385    29189 |    57360    56660     37 |  0.039 % |
1034.68/1035.42	c |   1459768 |    2563    10385    29189 |    57360    56874     37 |  0.040 % |
1034.78/1035.55	c |   1460001 |    2563    10385    29189 |    57360    57107     37 |  0.040 % |
1034.88/1035.63	c |   1460259 |    2563    10385    29189 |    57107    57365     37 |  0.040 % |
1035.08/1035.85	c |   1460540 |    2563    10385    29189 |    57107    48777     36 |  0.040 % |
1035.18/1035.99	c |   1460849 |    2563    10385    29189 |    57107    49086     36 |  0.040 % |
1035.38/1036.16	c |   1461188 |    2563    10385    29189 |    57107    49425     36 |  0.039 % |
1035.68/1036.43	c |   1461562 |    2563    10385    29189 |    57107    49799     36 |  0.039 % |
1035.78/1036.53	c |   1461971 |    2563    10385    29189 |    57107    50208     36 |  0.040 % |
1036.08/1036.87	c |   1462420 |    2563    10385    29189 |    57107    50657     36 |  0.040 % |
1036.48/1037.22	c |   1462913 |    2563    10385    29189 |    57107    51150     36 |  0.039 % |
1036.78/1037.51	c |   1463457 |    2563    10385    29189 |    57107    51694     36 |  0.040 % |
1037.18/1037.92	c |   1464053 |    2563    10385    29189 |    57107    52290     36 |  0.039 % |
1037.68/1038.42	c |   1464710 |    2563    10385    29189 |    57107    52947     36 |  0.040 % |
1038.08/1038.89	c |   1465431 |    2563    10385    29189 |    57107    53668     37 |  0.040 % |
1039.08/1039.85	c |   1466225 |    2563    10385    29189 |    57107    54462     37 |  0.040 % |
1040.07/1040.86	c |   1467096 |    2563    10385    29189 |    57107    55333     37 |  0.040 % |
1040.47/1041.27	c |   1468054 |    2563    10385    29189 |    57107    56291     37 |  0.040 % |
1041.07/1041.85	c |   1469108 |    2563    10385    29189 |    57107    57345     37 |  0.039 % |
1041.87/1042.63	c |   1470266 |    2563    10385    29189 |    52080    52345     37 |  0.039 % |
1042.47/1043.26	c |   1471540 |    2563    10385    29189 |    52080    47792     37 |  0.039 % |
1043.27/1044.03	c |   1472941 |    2563    10385    29189 |    52080    49193     37 |  0.040 % |
1044.18/1044.94	c |   1474481 |    2563    10385    29189 |    52080    50733     37 |  0.039 % |
1045.17/1045.94	c |   1476177 |    2563    10385    29189 |    52080    52429     37 |  0.040 % |
1046.27/1047.03	c |   1478042 |    2563    10385    29189 |    52080    49052     37 |  0.039 % |
1047.17/1047.98	c |   1480091 |    2563    10385    29189 | 2147483647    51101     37 |  0.040 % |
1048.17/1048.95	c |   1482344 |    2563    10385    29189 | 2147483647    53354     36 |  0.040 % |
1050.47/1051.25	c |   1484823 |    2563    10385    29189 | 2147483647    55833     37 |  0.039 % |
1051.77/1052.50	c |   1487548 |    2563    10385    29189 | 2147483647    58558     36 |  0.040 % |
1053.57/1054.38	c |   1490545 |    2563    10385    29189 |    61010    61555     37 |  0.040 % |
1054.97/1055.77	c |   1493843 |    2563    10385    29189 |    61010    55779     35 |  0.040 % |
1057.07/1057.86	c |   1497469 |    2563    10385    29189 |    61010    59405     35 |  0.040 % |
1060.86/1061.66	c |   1501456 |    2563    10385    29189 |    53241    48561     35 |  0.039 % |
1064.66/1065.40	c |   1505841 |    2563    10385    29189 |    53241    52946     36 |  0.040 % |
1068.05/1068.81	c |   1510665 |    2562    10381    29180 | 2147483647    52405     35 |  0.079 % |
1071.45/1072.22	c |   1515971 |    2562    10381    29180 | 2147483647    57711     35 |  0.079 % |
1076.85/1077.69	c |   1521806 |    2562    10381    29180 |    61741    55583     35 |  0.078 % |
1082.25/1083.09	c |   1528224 |    2562    10381    29180 |    61741    62001     36 |  0.078 % |
1088.25/1089.06	c |   1535285 |    2562    10381    29180 |    57090    55730     36 |  0.078 % |
1095.85/1096.69	c |   1543050 |    2562    10381    29180 |    53698    51123     36 |  0.078 % |
1100.84/1101.63	c |   1551590 |    2562    10381    29180 |    50968    45627     40 |  0.078 % |
1104.54/1105.33	c |   1560986 |    2562    10381    29180 |    46321    47307     41 |  0.078 % |
1110.83/1111.69	c |   1571319 |    2562    10381    29180 | 2147483647    45864     41 |  0.079 % |
1118.93/1119.74	c |   1582686 |    2562    10381    29180 | 2147483647    57231     44 |  0.079 % |
1130.73/1131.51	c |   1595189 |    2562    10381    29180 |    64545    61814     43 |  0.079 % |
1145.52/1146.38	c |   1608942 |    2562    10381    29180 |    59035    53236     41 |  0.078 % |
1145.72/1146.52	c |   1609043 |    2562    10381    29180 |    59035    53337     41 |  0.078 % |
1145.72/1146.60	c |   1609154 |    2562    10381    29180 |    59035    53448     41 |  0.079 % |
1145.82/1146.68	c |   1609276 |    2562    10381    29180 |    59035    53570     41 |  0.078 % |
1145.92/1146.78	c |   1609409 |    2562    10381    29180 |    59035    53703     41 |  0.078 % |
1146.02/1146.88	c |   1609556 |    2562    10381    29180 |    59035    53850     41 |  0.078 % |
1146.12/1146.95	c |   1609716 |    2562    10381    29180 |    59035    54010     41 |  0.079 % |
1146.22/1147.03	c |   1609892 |    2562    10381    29180 |    59035    54186     41 |  0.078 % |
1146.52/1147.37	c |   1610085 |    2562    10381    29180 |    54295    54379     41 |  0.078 % |
1146.82/1147.67	c |   1610297 |    2562    10381    29180 |    54295    47647     40 |  0.079 % |
1146.92/1147.78	c |   1610531 |    2562    10381    29180 |    54295    47881     40 |  0.079 % |
1147.02/1147.88	c |   1610789 |    2562    10381    29180 |    54295    48139     40 |  0.078 % |
1147.22/1148.02	c |   1611071 |    2562    10381    29180 |    54295    48421     40 |  0.079 % |
1147.32/1148.15	c |   1611381 |    2562    10381    29180 |    54295    48731     40 |  0.079 % |
1147.52/1148.39	c |   1611721 |    2562    10381    29180 |    54295    49071     40 |  0.078 % |
1147.72/1148.54	c |   1612094 |    2562    10381    29180 |    54295    49444     40 |  0.078 % |
1147.82/1148.65	c |   1612504 |    2562    10381    29180 |    54295    49854     40 |  0.078 % |
1148.12/1148.95	c |   1612953 |    2562    10381    29180 |    54295    50303     40 |  0.079 % |
1148.42/1149.22	c |   1613446 |    2562    10381    29180 |    54295    50796     40 |  0.079 % |
1148.72/1149.54	c |   1613988 |    2562    10381    29180 |    54295    51338     40 |  0.079 % |
1149.02/1149.84	c |   1614585 |    2562    10381    29180 |    54295    51935     40 |  0.079 % |
1149.42/1150.21	c |   1615244 |    2562    10381    29180 |    54295    52594     40 |  0.079 % |
1149.92/1150.73	c |   1615964 |    2562    10381    29180 |    54295    53314     40 |  0.079 % |
1150.32/1151.19	c |   1616756 |    2562    10381    29180 |    54295    54106     40 |  0.079 % |
1151.02/1151.89	c |   1617628 |    2562    10381    29180 |    54295    54978     40 |  0.079 % |
1151.42/1152.27	c |   1618586 |    2562    10381    29180 |    54295    50439     38 |  0.079 % |
1151.71/1152.55	c |   1619639 |    2562    10381    29180 |    54295    51492     38 |  0.078 % |
1153.51/1154.32	c |   1620797 |    2562    10381    29180 | 2147483647    52650     38 |  0.079 % |
1154.41/1155.26	c |   1622071 |    2562    10381    29180 | 2147483647    53924     39 |  0.079 % |
1155.21/1156.00	c |   1623473 |    2562    10381    29180 | 2147483647    55326     38 |  0.079 % |
1156.71/1157.60	c |   1625014 |    2562    10381    29180 | 2147483647    56867     39 |  0.079 % |
1157.51/1158.35	c |   1626709 |    2562    10381    29180 | 2147483647    58562     39 |  0.079 % |
1159.40/1160.26	c |   1628573 |    2562    10381    29180 | 2147483647    60426     39 |  0.079 % |
1160.71/1161.52	c |   1630622 |    2562    10381    29180 |    61853    62475     40 |  0.079 % |
1162.00/1162.84	c |   1632875 |    2562    10381    29180 |    61853    54137     37 |  0.080 % |
1164.01/1164.83	c |   1635354 |    2562    10381    29180 |    61853    56616     38 |  0.078 % |
1165.80/1166.63	c |   1638079 |    2562    10381    29180 |    61853    59341     38 |  0.078 % |
1168.20/1169.04	c |   1641077 |    2562    10381    29180 |    61262    62339     37 |  0.079 % |
1169.70/1170.51	c |   1644373 |    2562    10381    29180 |    61262    55932     38 |  0.079 % |
1172.30/1173.16	c |   1647999 |    2562    10381    29180 |    61262    59558     39 |  0.078 % |
1175.70/1176.58	c |   1651986 |    2562    10381    29180 |    61559    54434     37 |  0.078 % |
1180.30/1181.16	c |   1656372 |    2562    10381    29180 |    61559    58820     38 |  0.078 % |
1185.40/1186.29	c |   1661195 |    2562    10381    29180 |    54156    48210     38 |  0.078 % |
1189.40/1190.25	c |   1666501 |    2562    10381    29180 |    54156    53516     38 |  0.079 % |
1191.60/1192.46	c |   1672336 |    2562    10381    29180 |    50376    45900     37 |  0.079 % |
1196.19/1197.06	c |   1678755 |    2562    10381    29180 |    50376    46763     39 |  0.079 % |
1200.09/1200.90	HOME/SatELiteGTI: line 36:  6089 Terminated              $MS $TMP.cnf $TMP.result

Verifier Data

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

Watcher Data

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

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

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


[startup+0 s]
/proc/loadavg: 0.97 0.98 1.02 3/64 6083
/proc/meminfo: memFree=1976056/2055920 swapFree=4179324/4192956
[pid=6083] ppid=6081 vsize=5356 CPUtime=0
/proc/6083/stat : 6083 (SatELiteGTI) S 6081 6083 5912 0 -1 4194304 276 0 0 0 0 0 0 0 18 0 1 0 310415637 5484544 235 1992294400 4194304 4889804 548682068832 18446744073709551615 224627753042 0 0 4100 65536 18446744071563648864 0 0 17 1 0 0
/proc/6083/statm: 1339 235 195 169 0 50 0
[pid=6084] ppid=6083 vsize=5356 CPUtime=0
/proc/6084/stat : 6084 (SatELiteGTI) S 6083 6083 5912 0 -1 4194368 51 25 0 0 0 0 0 0 18 0 1 0 310415637 5484544 238 1992294400 4194304 4889804 548682068832 18446744073709551615 224627581764 0 65536 4096 65538 18446744071563356171 0 0 17 1 0 0
/proc/6084/statm: 1339 238 198 169 0 50 0
[pid=6086] ppid=6084 vsize=0 CPUtime=0
/proc/6086/stat : 6086 (sed) R 6084 6083 5912 0 -1 4194308 163 0 0 0 0 0 0 0 22 0 1 0 310415637 0 0 1992294400 0 0 0 0 0 0 0 4096 0 0 0 0 17 1 0 0
/proc/6086/statm: 0 0 0 0 0 0 0

[startup+0.035744 s]
/proc/loadavg: 0.97 0.98 1.02 3/64 6083
/proc/meminfo: memFree=1976056/2055920 swapFree=4179324/4192956
[pid=6083] ppid=6081 vsize=5356 CPUtime=0
/proc/6083/stat : 6083 (SatELiteGTI) S 6081 6083 5912 0 -1 4194304 310 249 0 0 0 0 0 0 18 0 1 0 310415637 5484544 237 1992294400 4194304 4889804 548682068832 18446744073709551615 224627581764 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/6083/statm: 1339 237 197 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356

[startup+0.101752 s]
/proc/loadavg: 0.97 0.98 1.02 3/64 6083
/proc/meminfo: memFree=1976056/2055920 swapFree=4179324/4192956
[pid=6083] ppid=6081 vsize=5356 CPUtime=0.08
/proc/6083/stat : 6083 (SatELiteGTI) S 6081 6083 5912 0 -1 4194304 336 977 0 0 0 0 8 0 16 0 1 0 310415637 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 224627581764 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/6083/statm: 1339 239 197 169 0 50 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 5356

[startup+0.30178 s]
/proc/loadavg: 0.97 0.98 1.02 3/64 6083
/proc/meminfo: memFree=1976056/2055920 swapFree=4179324/4192956
[pid=6083] ppid=6081 vsize=5356 CPUtime=0.08
/proc/6083/stat : 6083 (SatELiteGTI) S 6081 6083 5912 0 -1 4194304 336 977 0 0 0 0 8 0 16 0 1 0 310415637 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 224627581764 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/6083/statm: 1339 239 197 169 0 50 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 5356

[startup+0.701837 s]
/proc/loadavg: 0.97 0.98 1.02 3/64 6083
/proc/meminfo: memFree=1976056/2055920 swapFree=4179324/4192956
[pid=6083] ppid=6081 vsize=5356 CPUtime=0.08
/proc/6083/stat : 6083 (SatELiteGTI) S 6081 6083 5912 0 -1 4194304 336 977 0 0 0 0 8 0 16 0 1 0 310415637 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 224627581764 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/6083/statm: 1339 239 197 169 0 50 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 5356

[startup+1.50195 s]
/proc/loadavg: 0.97 0.98 1.02 2/66 6089
/proc/meminfo: memFree=1973536/2055920 swapFree=4179324/4192956
[pid=6083] ppid=6081 vsize=5356 CPUtime=0.08
/proc/6083/stat : 6083 (SatELiteGTI) S 6081 6083 5912 0 -1 4194304 336 977 0 0 0 0 8 0 16 0 1 0 310415637 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 224627581764 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/6083/statm: 1339 239 197 169 0 50 0
[pid=6089] ppid=6083 vsize=3392 CPUtime=1.39
/proc/6089/stat : 6089 (minisat_static) R 6083 6083 5912 0 -1 4194304 540 0 0 0 139 0 0 0 25 0 1 0 310415647 3473408 526 1992294400 134512640 135215339 4294956240 18446744073709551615 134528714 0 0 4096 3 0 0 0 17 0 0 0
/proc/6089/statm: 848 526 76 171 0 675 0
Current children cumulated CPU time (s) 1.47
Current children cumulated vsize (KiB) 8748

[startup+3.10118 s]
/proc/loadavg: 0.97 0.98 1.02 2/66 6089
/proc/meminfo: memFree=1972640/2055920 swapFree=4179324/4192956
[pid=6083] ppid=6081 vsize=5356 CPUtime=0.08
/proc/6083/stat : 6083 (SatELiteGTI) S 6081 6083 5912 0 -1 4194304 336 977 0 0 0 0 8 0 16 0 1 0 310415637 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 224627581764 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/6083/statm: 1339 239 197 169 0 50 0
[pid=6089] ppid=6083 vsize=5424 CPUtime=2.99
/proc/6089/stat : 6089 (minisat_static) R 6083 6083 5912 0 -1 4194304 1023 0 0 0 299 0 0 0 25 0 1 0 310415647 5554176 1009 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/6089/statm: 1356 1009 77 171 0 1183 0
Current children cumulated CPU time (s) 3.07
Current children cumulated vsize (KiB) 10780

[startup+6.30163 s]
/proc/loadavg: 0.98 0.98 1.02 2/66 6089
/proc/meminfo: memFree=1969248/2055920 swapFree=4179324/4192956
[pid=6083] ppid=6081 vsize=5356 CPUtime=0.08
/proc/6083/stat : 6083 (SatELiteGTI) S 6081 6083 5912 0 -1 4194304 336 977 0 0 0 0 8 0 16 0 1 0 310415637 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 224627581764 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/6083/statm: 1339 239 197 169 0 50 0
[pid=6089] ppid=6083 vsize=8300 CPUtime=6.18
/proc/6089/stat : 6089 (minisat_static) R 6083 6083 5912 0 -1 4194304 1741 0 0 0 617 1 0 0 25 0 1 0 310415647 8499200 1727 1992294400 134512640 135215339 4294956240 18446744073709551615 134528821 0 0 4096 3 0 0 0 17 0 0 0
/proc/6089/statm: 2075 1727 77 171 0 1902 0
Current children cumulated CPU time (s) 6.26
Current children cumulated vsize (KiB) 13656

[startup+12.7015 s]
/proc/loadavg: 0.98 0.98 1.02 2/66 6089
/proc/meminfo: memFree=1965352/2055920 swapFree=4179324/4192956
[pid=6083] ppid=6081 vsize=5356 CPUtime=0.08
/proc/6083/stat : 6083 (SatELiteGTI) S 6081 6083 5912 0 -1 4194304 336 977 0 0 0 0 8 0 16 0 1 0 310415637 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 224627581764 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/6083/statm: 1339 239 197 169 0 50 0
[pid=6089] ppid=6083 vsize=11896 CPUtime=12.58
/proc/6089/stat : 6089 (minisat_static) R 6083 6083 5912 0 -1 4194304 2652 0 0 0 1256 2 0 0 25 0 1 0 310415647 12181504 2638 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/6089/statm: 2974 2638 77 171 0 2801 0
Current children cumulated CPU time (s) 12.66
Current children cumulated vsize (KiB) 17252

[startup+25.5013 s]
/proc/loadavg: 0.98 0.98 1.02 2/66 6089
/proc/meminfo: memFree=1960296/2055920 swapFree=4179324/4192956
[pid=6083] ppid=6081 vsize=5356 CPUtime=0.08
/proc/6083/stat : 6083 (SatELiteGTI) S 6081 6083 5912 0 -1 4194304 336 977 0 0 0 0 8 0 16 0 1 0 310415637 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 224627581764 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/6083/statm: 1339 239 197 169 0 50 0
[pid=6089] ppid=6083 vsize=16724 CPUtime=25.36
/proc/6089/stat : 6089 (minisat_static) R 6083 6083 5912 0 -1 4194304 3850 0 0 0 2533 3 0 0 25 0 1 0 310415647 17125376 3836 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/6089/statm: 4181 3836 77 171 0 4008 0
Current children cumulated CPU time (s) 25.44
Current children cumulated vsize (KiB) 22080

[startup+51.102 s]
/proc/loadavg: 0.99 0.98 1.01 2/66 6089
/proc/meminfo: memFree=1959592/2055920 swapFree=4179324/4192956
[pid=6083] ppid=6081 vsize=5356 CPUtime=0.08
/proc/6083/stat : 6083 (SatELiteGTI) S 6081 6083 5912 0 -1 4194304 336 977 0 0 0 0 8 0 16 0 1 0 310415637 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 224627581764 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/6083/statm: 1339 239 197 169 0 50 0
[pid=6089] ppid=6083 vsize=17388 CPUtime=50.92
/proc/6089/stat : 6089 (minisat_static) R 6083 6083 5912 0 -1 4194304 4002 0 0 0 5088 4 0 0 25 0 1 0 310415647 17805312 3988 1992294400 134512640 135215339 4294956240 18446744073709551615 134538050 0 0 4096 3 0 0 0 17 0 0 0
/proc/6089/statm: 4347 3988 77 171 0 4174 0
Current children cumulated CPU time (s) 51
Current children cumulated vsize (KiB) 22744

[startup+102.305 s]
/proc/loadavg: 0.99 0.98 1.01 2/66 6089
/proc/meminfo: memFree=1959080/2055920 swapFree=4179324/4192956
[pid=6083] ppid=6081 vsize=5356 CPUtime=0.08
/proc/6083/stat : 6083 (SatELiteGTI) S 6081 6083 5912 0 -1 4194304 336 977 0 0 0 0 8 0 16 0 1 0 310415637 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 224627581764 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/6083/statm: 1339 239 197 169 0 50 0
[pid=6089] ppid=6083 vsize=17660 CPUtime=102.09
/proc/6089/stat : 6089 (minisat_static) R 6083 6083 5912 0 -1 4194304 4077 0 0 0 10205 4 0 0 25 0 1 0 310415647 18083840 4063 1992294400 134512640 135215339 4294956240 18446744073709551615 134539282 0 0 4096 3 0 0 0 17 0 0 0
/proc/6089/statm: 4415 4063 77 171 0 4242 0
Current children cumulated CPU time (s) 102.17
Current children cumulated vsize (KiB) 23016

[startup+162.302 s]
/proc/loadavg: 0.99 0.98 1.00 2/66 6089
/proc/meminfo: memFree=1958824/2055920 swapFree=4179324/4192956
[pid=6083] ppid=6081 vsize=5356 CPUtime=0.08
/proc/6083/stat : 6083 (SatELiteGTI) S 6081 6083 5912 0 -1 4194304 336 977 0 0 0 0 8 0 16 0 1 0 310415637 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 224627581764 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/6083/statm: 1339 239 197 169 0 50 0
[pid=6089] ppid=6083 vsize=17796 CPUtime=162.06
/proc/6089/stat : 6089 (minisat_static) R 6083 6083 5912 0 -1 4194304 4106 0 0 0 16201 5 0 0 25 0 1 0 310415647 18223104 4092 1992294400 134512640 135215339 4294956240 18446744073709551615 134528666 0 0 4096 3 0 0 0 17 0 0 0
/proc/6089/statm: 4449 4092 77 171 0 4276 0
Current children cumulated CPU time (s) 162.14
Current children cumulated vsize (KiB) 23152

[startup+222.301 s]
/proc/loadavg: 0.99 0.98 1.00 2/66 6089
/proc/meminfo: memFree=1958696/2055920 swapFree=4179324/4192956
[pid=6083] ppid=6081 vsize=5356 CPUtime=0.08
/proc/6083/stat : 6083 (SatELiteGTI) S 6081 6083 5912 0 -1 4194304 336 977 0 0 0 0 8 0 16 0 1 0 310415637 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 224627581764 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/6083/statm: 1339 239 197 169 0 50 0
[pid=6089] ppid=6083 vsize=17796 CPUtime=222.02
/proc/6089/stat : 6089 (minisat_static) R 6083 6083 5912 0 -1 4194304 4126 0 0 0 22197 5 0 0 25 0 1 0 310415647 18223104 4112 1992294400 134512640 135215339 4294956240 18446744073709551615 134538561 0 0 4096 3 0 0 0 17 0 0 0
/proc/6089/statm: 4449 4112 77 171 0 4276 0
Current children cumulated CPU time (s) 222.1
Current children cumulated vsize (KiB) 23152

[startup+282.302 s]
/proc/loadavg: 1.07 1.01 1.01 2/66 6089
/proc/meminfo: memFree=1958504/2055920 swapFree=4179324/4192956
[pid=6083] ppid=6081 vsize=5356 CPUtime=0.08
/proc/6083/stat : 6083 (SatELiteGTI) S 6081 6083 5912 0 -1 4194304 336 977 0 0 0 0 8 0 16 0 1 0 310415637 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 224627581764 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/6083/statm: 1339 239 197 169 0 50 0
[pid=6089] ppid=6083 vsize=17944 CPUtime=281.98
/proc/6089/stat : 6089 (minisat_static) R 6083 6083 5912 0 -1 4194304 4136 0 0 0 28193 5 0 0 25 0 1 0 310415647 18374656 4122 1992294400 134512640 135215339 4294956240 18446744073709551615 134528691 0 0 4096 3 0 0 0 17 0 0 0
/proc/6089/statm: 4486 4122 77 171 0 4313 0
Current children cumulated CPU time (s) 282.06
Current children cumulated vsize (KiB) 23300

[startup+342.301 s]
/proc/loadavg: 1.07 1.02 1.00 2/66 6089
/proc/meminfo: memFree=1958376/2055920 swapFree=4179324/4192956
[pid=6083] ppid=6081 vsize=5356 CPUtime=0.08
/proc/6083/stat : 6083 (SatELiteGTI) S 6081 6083 5912 0 -1 4194304 336 977 0 0 0 0 8 0 16 0 1 0 310415637 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 224627581764 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/6083/statm: 1339 239 197 169 0 50 0
[pid=6089] ppid=6083 vsize=17944 CPUtime=341.94
/proc/6089/stat : 6089 (minisat_static) R 6083 6083 5912 0 -1 4194304 4150 0 0 0 34189 5 0 0 25 0 1 0 310415647 18374656 4136 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/6089/statm: 4486 4136 77 171 0 4313 0
Current children cumulated CPU time (s) 342.02
Current children cumulated vsize (KiB) 23300

[startup+402.302 s]
/proc/loadavg: 1.02 1.02 1.00 2/66 6089
/proc/meminfo: memFree=1958184/2055920 swapFree=4179324/4192956
[pid=6083] ppid=6081 vsize=5356 CPUtime=0.08
/proc/6083/stat : 6083 (SatELiteGTI) S 6081 6083 5912 0 -1 4194304 336 977 0 0 0 0 8 0 16 0 1 0 310415637 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 224627581764 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/6083/statm: 1339 239 197 169 0 50 0
[pid=6089] ppid=6083 vsize=18100 CPUtime=401.91

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

[pid=6089] ppid=6083 vsize=18100 CPUtime=521.84
/proc/6089/stat : 6089 (minisat_static) R 6083 6083 5912 0 -1 4194304 4182 0 0 0 52178 6 0 0 25 0 1 0 310415647 18534400 4168 1992294400 134512640 135215339 4294956240 18446744073709551615 134532626 0 0 4096 3 0 0 0 17 0 0 0
/proc/6089/statm: 4525 4168 77 171 0 4352 0
Current children cumulated CPU time (s) 521.92
Current children cumulated vsize (KiB) 23456

[startup+582.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 6095
/proc/meminfo: memFree=1957536/2055920 swapFree=4179324/4192956
[pid=6083] ppid=6081 vsize=5356 CPUtime=0.08
/proc/6083/stat : 6083 (SatELiteGTI) S 6081 6083 5912 0 -1 4194304 336 977 0 0 0 0 8 0 16 0 1 0 310415637 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 224627581764 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/6083/statm: 1339 239 197 169 0 50 0
[pid=6089] ppid=6083 vsize=18100 CPUtime=581.8
/proc/6089/stat : 6089 (minisat_static) R 6083 6083 5912 0 -1 4194304 4195 0 0 0 58174 6 0 0 25 0 1 0 310415647 18534400 4181 1992294400 134512640 135215339 4294956240 18446744073709551615 134528666 0 0 4096 3 0 0 0 17 0 0 0
/proc/6089/statm: 4525 4181 77 171 0 4352 0
Current children cumulated CPU time (s) 581.88
Current children cumulated vsize (KiB) 23456

[startup+642.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 6095
/proc/meminfo: memFree=1957408/2055920 swapFree=4179324/4192956
[pid=6083] ppid=6081 vsize=5356 CPUtime=0.08
/proc/6083/stat : 6083 (SatELiteGTI) S 6081 6083 5912 0 -1 4194304 336 977 0 0 0 0 8 0 16 0 1 0 310415637 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 224627581764 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/6083/statm: 1339 239 197 169 0 50 0
[pid=6089] ppid=6083 vsize=18232 CPUtime=641.77
/proc/6089/stat : 6089 (minisat_static) R 6083 6083 5912 0 -1 4194304 4230 0 0 0 64170 7 0 0 25 0 1 0 310415647 18669568 4216 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/6089/statm: 4558 4216 77 171 0 4385 0
Current children cumulated CPU time (s) 641.85
Current children cumulated vsize (KiB) 23588

[startup+702.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 6095
/proc/meminfo: memFree=1957344/2055920 swapFree=4179324/4192956
[pid=6083] ppid=6081 vsize=5356 CPUtime=0.08
/proc/6083/stat : 6083 (SatELiteGTI) S 6081 6083 5912 0 -1 4194304 336 977 0 0 0 0 8 0 16 0 1 0 310415637 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 224627581764 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/6083/statm: 1339 239 197 169 0 50 0
[pid=6089] ppid=6083 vsize=18372 CPUtime=701.74
/proc/6089/stat : 6089 (minisat_static) R 6083 6083 5912 0 -1 4194304 4234 0 0 0 70167 7 0 0 25 0 1 0 310415647 18812928 4220 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/6089/statm: 4593 4220 77 171 0 4420 0
Current children cumulated CPU time (s) 701.82
Current children cumulated vsize (KiB) 23728

[startup+762.307 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 6095
/proc/meminfo: memFree=1957280/2055920 swapFree=4179324/4192956
[pid=6083] ppid=6081 vsize=5356 CPUtime=0.08
/proc/6083/stat : 6083 (SatELiteGTI) S 6081 6083 5912 0 -1 4194304 336 977 0 0 0 0 8 0 16 0 1 0 310415637 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 224627581764 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/6083/statm: 1339 239 197 169 0 50 0
[pid=6089] ppid=6083 vsize=18372 CPUtime=761.69
/proc/6089/stat : 6089 (minisat_static) R 6083 6083 5912 0 -1 4194304 4247 0 0 0 76162 7 0 0 25 0 1 0 310415647 18812928 4233 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/6089/statm: 4593 4233 77 171 0 4420 0
Current children cumulated CPU time (s) 761.77
Current children cumulated vsize (KiB) 23728

[startup+822.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 6095
/proc/meminfo: memFree=1957216/2055920 swapFree=4179324/4192956
[pid=6083] ppid=6081 vsize=5356 CPUtime=0.08
/proc/6083/stat : 6083 (SatELiteGTI) S 6081 6083 5912 0 -1 4194304 336 977 0 0 0 0 8 0 16 0 1 0 310415637 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 224627581764 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/6083/statm: 1339 239 197 169 0 50 0
[pid=6089] ppid=6083 vsize=18372 CPUtime=821.65
/proc/6089/stat : 6089 (minisat_static) R 6083 6083 5912 0 -1 4194304 4254 0 0 0 82158 7 0 0 25 0 1 0 310415647 18812928 4240 1992294400 134512640 135215339 4294956240 18446744073709551615 134528666 0 0 4096 3 0 0 0 17 0 0 0
/proc/6089/statm: 4593 4240 77 171 0 4420 0
Current children cumulated CPU time (s) 821.73
Current children cumulated vsize (KiB) 23728

[startup+882.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 6095
/proc/meminfo: memFree=1957096/2055920 swapFree=4179324/4192956
[pid=6083] ppid=6081 vsize=5356 CPUtime=0.08
/proc/6083/stat : 6083 (SatELiteGTI) S 6081 6083 5912 0 -1 4194304 336 977 0 0 0 0 8 0 16 0 1 0 310415637 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 224627581764 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/6083/statm: 1339 239 197 169 0 50 0
[pid=6089] ppid=6083 vsize=18372 CPUtime=881.61
/proc/6089/stat : 6089 (minisat_static) R 6083 6083 5912 0 -1 4194304 4263 0 0 0 88154 7 0 0 25 0 1 0 310415647 18812928 4249 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/6089/statm: 4593 4249 77 171 0 4420 0
Current children cumulated CPU time (s) 881.69
Current children cumulated vsize (KiB) 23728

[startup+942.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 6095
/proc/meminfo: memFree=1956968/2055920 swapFree=4179324/4192956
[pid=6083] ppid=6081 vsize=5356 CPUtime=0.08
/proc/6083/stat : 6083 (SatELiteGTI) S 6081 6083 5912 0 -1 4194304 336 977 0 0 0 0 8 0 16 0 1 0 310415637 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 224627581764 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/6083/statm: 1339 239 197 169 0 50 0
[pid=6089] ppid=6083 vsize=18532 CPUtime=941.55
/proc/6089/stat : 6089 (minisat_static) R 6083 6083 5912 0 -1 4194304 4270 0 0 0 94147 8 0 0 25 0 1 0 310415647 18976768 4256 1992294400 134512640 135215339 4294956240 18446744073709551615 134537953 0 0 4096 3 0 0 0 17 0 0 0
/proc/6089/statm: 4633 4256 77 171 0 4460 0
Current children cumulated CPU time (s) 941.63
Current children cumulated vsize (KiB) 23888

[startup+1002.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 6095
/proc/meminfo: memFree=1956840/2055920 swapFree=4179324/4192956
[pid=6083] ppid=6081 vsize=5356 CPUtime=0.08
/proc/6083/stat : 6083 (SatELiteGTI) S 6081 6083 5912 0 -1 4194304 336 977 0 0 0 0 8 0 16 0 1 0 310415637 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 224627581764 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/6083/statm: 1339 239 197 169 0 50 0
[pid=6089] ppid=6083 vsize=18532 CPUtime=1001.52
/proc/6089/stat : 6089 (minisat_static) R 6083 6083 5912 0 -1 4194304 4279 0 0 0 100144 8 0 0 25 0 1 0 310415647 18976768 4265 1992294400 134512640 135215339 4294956240 18446744073709551615 134538488 0 0 4096 3 0 0 0 17 0 0 0
/proc/6089/statm: 4633 4265 77 171 0 4460 0
Current children cumulated CPU time (s) 1001.6
Current children cumulated vsize (KiB) 23888

[startup+1062.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 6095
/proc/meminfo: memFree=1956712/2055920 swapFree=4179324/4192956
[pid=6083] ppid=6081 vsize=5356 CPUtime=0.08
/proc/6083/stat : 6083 (SatELiteGTI) S 6081 6083 5912 0 -1 4194304 336 977 0 0 0 0 8 0 16 0 1 0 310415637 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 224627581764 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/6083/statm: 1339 239 197 169 0 50 0
[pid=6089] ppid=6083 vsize=18532 CPUtime=1061.48
/proc/6089/stat : 6089 (minisat_static) R 6083 6083 5912 0 -1 4194304 4301 0 0 0 106140 8 0 0 25 0 1 0 310415647 18976768 4287 1992294400 134512640 135215339 4294956240 18446744073709551615 134529148 0 0 4096 3 0 0 0 17 0 0 0
/proc/6089/statm: 4633 4287 77 171 0 4460 0
Current children cumulated CPU time (s) 1061.56
Current children cumulated vsize (KiB) 23888

[startup+1122.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 6095
/proc/meminfo: memFree=1956584/2055920 swapFree=4179324/4192956
[pid=6083] ppid=6081 vsize=5356 CPUtime=0.08
/proc/6083/stat : 6083 (SatELiteGTI) S 6081 6083 5912 0 -1 4194304 336 977 0 0 0 0 8 0 16 0 1 0 310415637 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 224627581764 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/6083/statm: 1339 239 197 169 0 50 0
[pid=6089] ppid=6083 vsize=18532 CPUtime=1121.45
/proc/6089/stat : 6089 (minisat_static) R 6083 6083 5912 0 -1 4194304 4301 0 0 0 112137 8 0 0 25 0 1 0 310415647 18976768 4287 1992294400 134512640 135215339 4294956240 18446744073709551615 134528666 0 0 4096 3 0 0 0 17 0 0 0
/proc/6089/statm: 4633 4287 77 171 0 4460 0
Current children cumulated CPU time (s) 1121.53
Current children cumulated vsize (KiB) 23888

[startup+1182.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 6095
/proc/meminfo: memFree=1955880/2055920 swapFree=4179324/4192956
[pid=6083] ppid=6081 vsize=5356 CPUtime=0.08
/proc/6083/stat : 6083 (SatELiteGTI) S 6081 6083 5912 0 -1 4194304 336 977 0 0 0 0 8 0 16 0 1 0 310415637 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 224627581764 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/6083/statm: 1339 239 197 169 0 50 0
[pid=6089] ppid=6083 vsize=19192 CPUtime=1181.42
/proc/6089/stat : 6089 (minisat_static) R 6083 6083 5912 0 -1 4194304 4445 0 0 0 118134 8 0 0 25 0 1 0 310415647 19652608 4431 1992294400 134512640 135215339 4294956240 18446744073709551615 134525079 0 0 4096 3 0 0 0 17 0 0 0
/proc/6089/statm: 4798 4431 77 171 0 4625 0
Current children cumulated CPU time (s) 1181.5
Current children cumulated vsize (KiB) 24548



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1200.9 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 6095
/proc/meminfo: memFree=1955880/2055920 swapFree=4179324/4192956
[pid=6083] ppid=6081 vsize=5356 CPUtime=0.08
/proc/6083/stat : 6083 (SatELiteGTI) S 6081 6083 5912 0 -1 4194304 336 977 0 0 0 0 8 0 16 0 1 0 310415637 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 224627581764 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/6083/statm: 1339 239 197 169 0 50 0
[pid=6089] ppid=6083 vsize=19192 CPUtime=1200.01
/proc/6089/stat : 6089 (minisat_static) R 6083 6083 5912 0 -1 4194304 4445 0 0 0 119993 8 0 0 25 0 1 0 310415647 19652608 4431 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/6089/statm: 4798 4431 77 171 0 4625 0
Current children cumulated CPU time (s) 1200.09
Current children cumulated vsize (KiB) 24548

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

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

[startup+1200.9 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 6095
/proc/meminfo: memFree=1955880/2055920 swapFree=4179324/4192956
[pid=6083] ppid=6081 vsize=5356 CPUtime=0.08
/proc/6083/stat : 6083 (SatELiteGTI) S 6081 6083 5912 0 -1 4194304 336 977 0 0 0 0 8 0 16 0 1 0 310415637 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 224627581764 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/6083/statm: 1339 239 197 169 0 50 0
[pid=6089] ppid=6083 vsize=19192 CPUtime=1200.01
/proc/6089/stat : 6089 (minisat_static) R 6083 6083 5912 0 -1 4194304 4445 0 0 0 119993 8 0 0 25 0 1 0 310415647 19652608 4431 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/6089/statm: 4798 4431 77 171 0 4625 0
Current children cumulated CPU time (s) 1200.09
Current children cumulated vsize (KiB) 24548

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1200.91
CPU time (s): 1200.12
CPU user time (s): 1200.02
CPU system time (s): 0.096985
CPU usage (%): 99.9342
Max. virtual memory (cumulated for all children) (KiB): 24548

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

runsolver used 1.03384 second user time and 3.49247 second system time

The end

Launcher Data

Begin job on node49 at 2009-05-20 14:51:53
IDJOB=1833611
IDBENCH=70785
IDSOLVER=671
FILE ID=node49/1833611-1242823913
PBS_JOBID= 9322495
Free space on /tmp= 66188 MiB

SOLVER NAME= minisat_cumr p-2009-03-18
BENCH NAME= SAT09/APPLICATIONS/bitverif/mulhs/mulhs016.cnf
COMMAND LINE= SatELiteGTI BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-1833611-1242823913/watcher-1833611-1242823913 -o /tmp/evaluation-result-1833611-1242823913/solver-1833611-1242823913 -C 1200 -W 1800 -M 1800  SatELiteGTI HOME/instance-1833611-1242823913.cnf

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

MD5SUM BENCH= e4ef55733955e0a45519e9f7dec923e5
RANDOM SEED=1492643549

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

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 15
model		: 4
model name	:                   Intel(R) Xeon(TM) CPU 3.00GHz
stepping	: 3
cpu MHz		: 3000.241
cache size	: 2048 KB
fpu		: yes
fpu_exception	: yes
cpuid level	: 5
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr
bogomips	: 5914.62
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 15
model		: 4
model name	:                   Intel(R) Xeon(TM) CPU 3.00GHz
stepping	: 3
cpu MHz		: 3000.241
cache size	: 2048 KB
fpu		: yes
fpu_exception	: yes
cpuid level	: 5
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr
bogomips	: 5586.94
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:      2055920 kB
MemFree:       1976472 kB
Buffers:         15692 kB
Cached:          27160 kB
SwapCached:       6924 kB
Active:          26028 kB
Inactive:        25188 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1976472 kB
SwapTotal:     4192956 kB
SwapFree:      4179324 kB
Dirty:            1784 kB
Writeback:           0 kB
Mapped:          13588 kB
Slab:            13992 kB
Committed_AS:  1069876 kB
PageTables:       1388 kB
VmallocTotal: 536870911 kB
VmallocUsed:    264960 kB
VmallocChunk: 536605679 kB
HugePages_Total:     0
HugePages_Free:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 66188 MiB
End job on node49 at 2009-05-20 15:11:56