Trace number 1834131

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.03 1200.81

General information on the benchmark

NameCRAFTED/rbsat/crafted/forced/
rbsat-v1150c84314gyes2.cnf
MD5SUM52e359b1b3f50700797d7fba5a906213
Bench CategoryCRAFTED (crafted instances)
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark7.72283
Satisfiable
(Un)Satisfiability was proved
Number of variables1150
Number of clauses84314
Sum of the clauses size169678
Maximum clause length23
Minimum clause length2
Number of clauses of size 10
Number of clauses of size 284264
Number of clauses of size 30
Number of clauses of size 40
Number of clauses of size 50
Number of clauses of size over 550

Solver Data

0.00/0.00	c Parsing...
0.00/0.04	c ==============================================================================
0.00/0.04	c |           |     ORIGINAL     |              LEARNT              |          |
0.00/0.04	c | Conflicts | Clauses Literals |   Limit Clauses Literals  Lit/Cl | Progress |
0.00/0.04	c ==============================================================================
0.00/0.04	c |         0 |   84314   169678 |   25294       0        0     nan |  0.000 % |
0.00/0.36	c |         0 |   83164   275912 |      --       0       --      -- |     --   | -1150/106234
0.00/0.36	c ==============================================================================
0.00/0.36	c Result  :   #vars: 1100   #clauses: 83164   #literals: 275912
0.00/0.36	c CPU time:   0.344947 s
0.00/0.36	c ==============================================================================
0.00/0.44	c This is MiniSat 2.0 beta
0.00/0.44	c WARNING: for repeatability, setting FPU to use double precision
0.00/0.44	c ============================[ Problem Statistics ]=============================
0.00/0.44	c |                                                                             |
0.00/0.44	c |  Number of variables:  1100                                                 |
0.00/0.44	c |  Number of clauses:    83164                                                |
0.00/0.48	c |  Parsing time:         0.03         s                                       |
0.00/0.48	c ============================[ Search Statistics ]==============================
0.00/0.48	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
0.00/0.48	c |           |    Vars  Clauses Literals |    Limit  Clauses Lit/Cl |          |
0.00/0.48	c ===============================================================================
0.00/0.48	c |         0 |    1100    83164   275912 |    27721        0    nan |  0.000 % |
0.42/0.50	c |       102 |    1100    83164   275912 |    27721      102    130 |  0.000 % |
0.42/0.51	c |       202 |    1100    83164   275912 |    27721      202    112 |  0.000 % |
0.42/0.53	c |       302 |    1100    83164   275912 |    27721      302    101 |  0.013 % |
0.42/0.54	c |       412 |    1100    83164   275912 |    27721      412     90 |  0.000 % |
0.42/0.55	c |       512 |    1100    83164   275912 |    27721      512     85 |  0.000 % |
0.42/0.57	c |       622 |    1100    83164   275912 |    27721      622     96 |  0.000 % |
0.42/0.58	c |       744 |    1100    83164   275912 |    27721      744     99 |  0.000 % |
0.42/0.59	c |       845 |    1100    83164   275912 |    27721      845    101 |  0.000 % |
0.42/0.60	c |       955 |    1100    83164   275912 |    27721      955     98 |  0.000 % |
0.42/0.62	c |      1077 |    1100    83164   275912 |    27721     1077     95 |  0.015 % |
0.42/0.63	c |      1211 |    1100    83164   275912 |    27721     1211     98 |  0.000 % |
0.42/0.65	c |      1312 |    1100    83164   275912 |    27721     1312     96 |  0.000 % |
0.42/0.66	c |      1422 |    1100    83164   275912 |    27721     1422     96 |  0.000 % |
0.42/0.67	c |      1543 |    1100    83164   275912 |    27721     1543     95 |  0.011 % |
0.42/0.69	c |      1677 |    1100    83164   275912 |    27721     1677     98 |  0.000 % |
0.42/0.71	c |      1826 |    1100    83164   275912 |    27721     1826     98 |  0.000 % |
0.42/0.72	c |      1926 |    1100    83164   275912 |    27721     1926     97 |  0.000 % |
0.42/0.74	c |      2038 |    1100    83164   275912 |    27721     2038     96 |  0.013 % |
0.42/0.75	c |      2159 |    1100    83164   275912 |    27721     2159     95 |  0.000 % |
0.42/0.77	c |      2292 |    1100    83164   275912 |    27721     2292     94 |  0.000 % |
0.42/0.79	c |      2438 |    1100    83164   275912 |    27721     2438     92 |  0.012 % |
0.42/0.81	c |      2598 |    1100    83164   275912 |    27721     2598     90 |  0.013 % |
0.42/0.82	c |      2699 |    1100    83164   275912 |    27721     2699     91 |  0.000 % |
0.42/0.84	c |      2809 |    1100    83164   275912 |    27721     2809     91 |  0.000 % |
0.42/0.85	c |      2931 |    1100    83164   275912 |    27721     2931     90 |  0.012 % |
0.42/0.87	c |      3066 |    1100    83164   275912 |    27721     3066     90 |  0.000 % |
0.42/0.90	c |      3212 |    1100    83164   275912 |    27721     3212     93 |  0.000 % |
0.42/0.92	c |      3372 |    1100    83164   275912 |    27721     3372     93 |  0.000 % |
0.42/0.94	c |      3551 |    1100    83164   275912 |    27721     3551     93 |  0.000 % |
0.42/0.95	c |      3651 |    1100    83164   275912 |    27721     3651     93 |  0.000 % |
0.42/0.96	c |      3761 |    1100    83164   275912 |    27721     3761     92 |  0.013 % |
0.42/0.98	c |      3884 |    1100    83164   275912 |    27721     3884     92 |  0.000 % |
0.96/1.00	c |      4018 |    1100    83164   275912 |    27721     4018     91 |  0.000 % |
0.96/1.02	c |      4165 |    1100    83164   275912 |    27721     4165     93 |  0.000 % |
0.96/1.04	c |      4326 |    1100    83164   275912 |    27721     4326     93 |  0.000 % |
0.96/1.07	c |      4503 |    1100    83164   275912 |    27721     4503     92 |  0.012 % |
0.96/1.09	c |      4699 |    1100    83164   275912 |    27721     4699     93 |  0.000 % |
1.07/1.11	c |      4800 |    1100    83164   275912 |    27721     4800     93 |  0.000 % |
1.07/1.12	c |      4913 |    1100    83164   275912 |    27721     4913     93 |  0.012 % |
1.07/1.14	c |      5035 |    1100    83164   275912 |    27721     5035     93 |  0.000 % |
1.07/1.16	c |      5168 |    1100    83164   275912 |    27721     5168     93 |  0.000 % |
1.07/1.18	c |      5314 |    1100    83164   275912 |    27721     5314     93 |  0.000 % |
1.17/1.21	c |      5474 |    1100    83164   275912 |    27721     5474     91 |  0.012 % |
1.17/1.23	c |      5651 |    1100    83164   275912 |    27721     5651     90 |  0.013 % |
1.17/1.26	c |      5844 |    1100    83164   275912 |    27721     5844     89 |  0.011 % |
1.17/1.29	c |      6056 |    1100    83164   275912 |    27721     6056     88 |  0.012 % |
1.27/1.31	c |      6156 |    1100    83164   275912 |    27721     6156     89 |  0.000 % |
1.27/1.32	c |      6269 |    1100    83164   275912 |    27721     6269     89 |  0.012 % |
1.27/1.34	c |      6390 |    1100    83164   275912 |    27721     6390     89 |  0.013 % |
1.27/1.36	c |      6524 |    1100    83164   275912 |    27721     6524     89 |  0.010 % |
1.27/1.39	c |      6674 |    1100    83164   275912 |    27721     6674     89 |  0.000 % |
1.37/1.41	c |      6834 |    1100    83164   275912 |    27721     6834     90 |  0.000 % |
1.37/1.44	c |      7010 |    1100    83164   275912 |    27721     7010     89 |  0.011 % |
1.37/1.47	c |      7205 |    1100    83164   275912 |    27721     7205     91 |  0.000 % |
1.47/1.50	c |      7417 |    1100    83164   275912 |    27721     7417     91 |  0.000 % |
1.47/1.54	c |      7652 |    1100    83164   275912 |    27721     7652     91 |  0.000 % |
1.47/1.56	c |      7753 |    1100    83164   275912 |    27721     7753     91 |  0.000 % |
1.47/1.57	c |      7864 |    1100    83164   275912 |    27721     7864     90 |  0.012 % |
1.47/1.59	c |      7985 |    1100    83164   275912 |    27721     7985     90 |  0.012 % |
1.57/1.62	c |      8118 |    1100    83164   275912 |    27721     8118     90 |  0.000 % |
1.57/1.64	c |      8264 |    1100    83164   275912 |    27721     8264     89 |  0.012 % |
1.57/1.67	c |      8425 |    1100    83164   275912 |    27721     8425     89 |  0.012 % |
1.57/1.69	c |      8601 |    1100    83164   275912 |    27721     8601     88 |  0.012 % |
1.67/1.72	c |      8794 |    1100    83164   275912 |    27721     8794     87 |  0.012 % |
1.67/1.75	c |      9010 |    1100    83164   275912 |    27721     9010     87 |  0.012 % |
1.77/1.80	c |      9244 |    1100    83164   275912 |    27721     9244     88 |  0.000 % |
1.77/1.84	c |      9500 |    1100    83164   275912 |    27721     9500     88 |  0.000 % |
1.77/1.86	c |      9600 |    1100    83164   275912 |    27721     9600     88 |  0.000 % |
1.77/1.88	c |      9710 |    1100    83164   275912 |    27721     9710     88 |  0.011 % |
1.87/1.91	c |      9832 |    1100    83164   275912 |    27721     9832     88 |  0.000 % |
1.87/1.93	c |      9966 |    1100    83164   275912 |    27721     9966     88 |  0.011 % |
1.87/1.95	c |     10114 |    1100    83164   275912 | 2147483647    10114     88 |  0.012 % |
1.87/1.98	c |     10274 |    1100    83164   275912 | 2147483647    10274     88 |  0.000 % |
1.96/2.01	c |     10451 |    1100    83164   275912 | 2147483647    10451     87 |  0.012 % |
1.96/2.04	c |     10645 |    1100    83164   275912 | 2147483647    10645     87 |  0.013 % |
1.96/2.08	c |     10858 |    1100    83164   275912 | 2147483647    10858     87 |  0.011 % |
2.07/2.12	c |     11092 |    1100    83164   275912 | 2147483647    11092     86 |  0.012 % |
2.07/2.17	c |     11348 |    1100    83164   275912 | 2147483647    11348     86 |  0.000 % |
2.17/2.22	c |     11630 |    1100    83164   275912 | 2147483647    11630     87 |  0.011 % |
2.17/2.24	c |     11730 |    1100    83164   275912 | 2147483647    11730     86 |  0.013 % |
2.17/2.25	c |     11841 |    1100    83164   275912 | 2147483647    11841     86 |  0.000 % |
2.17/2.28	c |     11962 |    1100    83164   275912 | 2147483647    11962     86 |  0.014 % |
2.17/2.30	c |     12095 |    1100    83164   275912 | 2147483647    12095     86 |  0.013 % |
2.26/2.33	c |     12241 |    1100    83164   275912 | 2147483647    12241     87 |  0.000 % |
2.26/2.36	c |     12402 |    1100    83164   275912 | 2147483647    12402     87 |  0.000 % |
2.26/2.39	c |     12580 |    1100    83164   275912 | 2147483647    12580     87 |  0.000 % |
2.36/2.43	c |     12773 |    1100    83164   275912 | 2147483647    12773     88 |  0.000 % |
2.36/2.47	c |     12988 |    1100    83164   275912 | 2147483647    12988     88 |  0.000 % |
2.46/2.51	c |     13223 |    1100    83164   275912 | 2147483647    13223     88 |  0.000 % |
2.46/2.54	c |     13480 |    1100    83164   275912 | 2147483647    13480     88 |  0.012 % |
2.46/2.60	c |     13762 |    1100    83164   275912 | 2147483647    13762     87 |  0.016 % |
2.56/2.65	c |     14071 |    1100    83164   275912 | 2147483647    14071     87 |  0.014 % |
2.56/2.67	c |     14172 |    1100    83164   275912 | 2147483647    14172     87 |  0.000 % |
2.56/2.69	c |     14283 |    1100    83164   275912 | 2147483647    14283     86 |  0.013 % |
2.66/2.71	c |     14405 |    1100    83164   275912 | 2147483647    14405     86 |  0.013 % |
2.66/2.74	c |     14539 |    1100    83164   275912 | 2147483647    14539     86 |  0.014 % |
2.66/2.77	c |     14686 |    1100    83164   275912 | 2147483647    14686     86 |  0.000 % |
2.76/2.81	c |     14848 |    1100    83164   275912 | 2147483647    14848     86 |  0.000 % |
2.76/2.84	c |     15025 |    1100    83164   275912 | 2147483647    15025     86 |  0.000 % |
2.76/2.88	c |     15218 |    1100    83164   275912 | 2147483647    15218     87 |  0.000 % |
2.86/2.92	c |     15432 |    1100    83164   275912 | 2147483647    15432     87 |  0.014 % |
2.86/2.96	c |     15665 |    1100    83164   275912 | 2147483647    15665     87 |  0.014 % |
2.96/3.01	c |     15921 |    1100    83164   275912 | 2147483647    15921     87 |  0.000 % |
2.96/3.05	c |     16202 |    1100    83164   275912 | 2147483647    16202     86 |  0.013 % |
3.06/3.11	c |     16512 |    1100    83164   275912 | 2147483647    16512     86 |  0.014 % |
3.06/3.19	c |     16851 |    1100    83164   275912 | 2147483647    16851     87 |  0.000 % |
3.16/3.21	c |     16951 |    1100    83164   275912 | 2147483647    16951     87 |  0.000 % |
3.16/3.23	c |     17061 |    1100    83164   275912 | 2147483647    17061     87 |  0.000 % |
3.16/3.26	c |     17184 |    1100    83164   275912 | 2147483647    17184     87 |  0.000 % |
3.16/3.29	c |     17317 |    1100    83164   275912 | 2147483647    17317     88 |  0.000 % |
3.27/3.32	c |     17464 |    1100    83164   275912 | 2147483647    17464     88 |  0.000 % |
3.27/3.36	c |     17625 |    1100    83164   275912 | 2147483647    17625     88 |  0.000 % |
3.27/3.40	c |     17801 |    1100    83164   275912 | 2147483647    17801     88 |  0.012 % |
3.36/3.43	c |     17995 |    1100    83164   275912 | 2147483647    17995     87 |  0.011 % |
3.36/3.48	c |     18209 |    1100    83164   275912 | 2147483647    18209     87 |  0.011 % |
3.46/3.53	c |     18443 |    1100    83164   275912 | 2147483647    18443     87 |  0.000 % |
3.46/3.59	c |     18699 |    1100    83164   275912 | 2147483647    18699     87 |  0.011 % |
3.56/3.64	c |     18986 |    1100    83164   275912 | 2147483647    18986     86 |  0.000 % |
3.66/3.70	c |     19295 |    1100    83164   275912 | 2147483647    19295     86 |  0.011 % |
3.66/3.77	c |     19634 |    1100    83164   275912 | 2147483647    19634     85 |  0.016 % |
3.76/3.84	c |     20007 |    1100    83164   275912 | 2147483647    20007     85 |  0.016 % |
3.76/3.87	c |     20107 |    1100    83164   275912 | 2147483647    20107     85 |  0.000 % |
3.86/3.90	c |     20217 |    1100    83164   275912 | 2147483647    20217     85 |  0.012 % |
3.86/3.93	c |     20339 |    1100    83164   275912 | 2147483647    20339     85 |  0.000 % |
3.86/3.96	c |     20472 |    1100    83164   275912 | 2147483647    20472     85 |  0.000 % |
3.86/3.99	c |     20620 |    1100    83164   275912 | 2147483647    20620     85 |  0.012 % |
3.96/4.03	c |     20780 |    1100    83164   275912 | 2147483647    20780     85 |  0.000 % |
3.96/4.06	c |     20956 |    1100    83164   275912 | 2147483647    20956     85 |  0.016 % |
4.06/4.11	c |     21151 |    1100    83164   275912 | 2147483647    21151     85 |  0.016 % |
4.06/4.15	c |     21364 |    1100    83164   275912 | 2147483647    21364     84 |  0.014 % |
4.16/4.21	c |     21597 |    1100    83164   275912 | 2147483647    21597     84 |  0.000 % |
4.16/4.26	c |     21853 |    1100    83164   275912 | 2147483647    21853     84 |  0.000 % |
4.26/4.34	c |     22134 |    1100    83164   275912 | 2147483647    22134     84 |  0.000 % |
4.36/4.42	c |     22445 |    1100    83164   275912 | 2147483647    22445     84 |  0.011 % |
4.36/4.49	c |     22784 |    1100    83164   275912 | 2147483647    22784     84 |  0.012 % |
4.46/4.59	c |     23157 |    1100    83164   275912 | 2147483647    23157     84 |  0.012 % |
4.56/4.68	c |     23569 |    1100    83164   275912 | 2147483647    23569     84 |  0.012 % |
4.66/4.71	c |     23669 |    1100    83164   275912 | 2147483647    23669     84 |  0.000 % |
4.66/4.74	c |     23780 |    1100    83164   275912 | 2147483647    23780     84 |  0.000 % |
4.66/4.77	c |     23902 |    1100    83164   275912 | 2147483647    23902     84 |  0.000 % |
4.76/4.81	c |     24035 |    1100    83164   275912 | 2147483647    24035     84 |  0.013 % |
4.76/4.85	c |     24183 |    1100    83164   275912 | 2147483647    24183     84 |  0.000 % |
4.76/4.89	c |     24346 |    1100    83164   275912 | 2147483647    24346     84 |  0.016 % |
4.86/4.93	c |     24523 |    1100    83164   275912 | 2147483647    24523     84 |  0.000 % |
4.86/4.98	c |     24719 |    1100    83164   275912 | 2147483647    24719     85 |  0.000 % |
4.96/5.03	c |     24931 |    1100    83164   275912 | 2147483647    24931     85 |  0.012 % |
4.96/5.09	c |     25164 |    1100    83164   275912 | 2147483647    25164     85 |  0.013 % |
5.05/5.14	c |     25421 |    1100    83164   275912 | 2147483647    25421     85 |  0.000 % |
5.15/5.22	c |     25704 |    1100    83164   275912 | 2147483647    25704     85 |  0.000 % |
5.25/5.31	c |     26014 |    1100    83164   275912 | 2147483647    26014     85 |  0.000 % |
5.36/5.41	c |     26353 |    1100    83164   275912 | 2147483647    26353     85 |  0.000 % |
5.36/5.50	c |     26726 |    1100    83164   275912 | 2147483647    26726     85 |  0.013 % |
5.55/5.61	c |     27135 |    1100    83164   275912 | 2147483647    27135     85 |  0.000 % |
5.65/5.73	c |     27584 |    1100    83164   275912 | 2147483647    27584     84 |  0.012 % |
5.65/5.76	c |     27684 |    1100    83164   275912 | 2147483647    27684     85 |  0.000 % |
5.65/5.79	c |     27794 |    1100    83164   275912 | 2147483647    27794     85 |  0.000 % |
5.75/5.82	c |     27917 |    1100    83164   275912 | 2147483647    27917     85 |  0.011 % |
5.75/5.85	c |     28050 |    1100    83164   275912 | 2147483647    28050     85 |  0.014 % |
5.75/5.89	c |     28196 |    1100    83164   275912 | 2147483647    28196     85 |  0.000 % |
5.85/5.93	c |     28356 |    1100    83164   275912 | 2147483647    28356     85 |  0.013 % |
5.85/5.99	c |     28532 |    1100    83164   275912 | 2147483647    28532     85 |  0.000 % |
5.95/6.04	c |     28725 |    1100    83164   275912 | 2147483647    28725     85 |  0.000 % |
6.06/6.11	c |     28937 |    1100    83164   275912 | 2147483647    28937     85 |  0.000 % |
6.06/6.18	c |     29170 |    1100    83164   275912 | 2147483647    29170     85 |  0.010 % |
6.16/6.25	c |     29426 |    1100    83164   275912 | 2147483647    29426     85 |  0.011 % |
6.26/6.32	c |     29711 |    1100    83164   275912 | 2147483647    29711     85 |  0.011 % |
6.35/6.40	c |     30021 |    1100    83164   275912 | 2147483647    30021     85 |  0.012 % |
6.35/6.50	c |     30361 |    1100    83164   275912 | 2147483647    30361     85 |  0.000 % |
6.56/6.61	c |     30733 |    1100    83164   275912 | 2147483647    30733     85 |  0.000 % |
6.65/6.71	c |     31143 |    1100    83164   275912 | 2147483647    31143     85 |  0.015 % |
6.75/6.84	c |     31592 |    1100    83164   275912 | 2147483647    31592     84 |  0.015 % |
6.85/6.97	c |     32089 |    1100    83164   275912 | 2147483647    32089     85 |  0.000 % |
6.95/7.01	c |     32190 |    1100    83164   275912 | 2147483647    32190     86 |  0.000 % |
6.95/7.05	c |     32301 |    1100    83164   275912 | 2147483647    32301     86 |  0.012 % |
7.05/7.10	c |     32422 |    1100    83164   275912 | 2147483647    32422     86 |  0.013 % |
7.05/7.14	c |     32555 |    1100    83164   275912 | 2147483647    32555     86 |  0.000 % |
7.05/7.19	c |     32701 |    1100    83164   275912 | 2147483647    32701     86 |  0.000 % |
7.15/7.24	c |     32861 |    1100    83164   275912 | 2147483647    32861     86 |  0.014 % |
7.15/7.29	c |     33037 |    1100    83164   275912 | 2147483647    33037     86 |  0.013 % |
7.25/7.35	c |     33232 |    1100    83164   275912 | 2147483647    33232     86 |  0.000 % |
7.35/7.41	c |     33445 |    1100    83164   275912 | 2147483647    33445     86 |  0.012 % |
7.35/7.48	c |     33678 |    1100    83164   275912 | 2147483647    33678     86 |  0.000 % |
7.45/7.56	c |     33934 |    1100    83164   275912 | 2147483647    33934     86 |  0.000 % |
7.55/7.64	c |     34215 |    1100    83164   275912 | 2147483647    34215     86 |  0.014 % |
7.65/7.73	c |     34527 |    1100    83164   275912 | 2147483647    34527     86 |  0.000 % |
7.75/7.85	c |     34866 |    1100    83164   275912 | 2147483647    34866     86 |  0.000 % |
7.85/7.96	c |     35239 |    1100    83164   275912 | 2147483647    35239     87 |  0.000 % |
8.05/8.11	c |     35648 |    1100    83164   275912 | 2147483647    35648     87 |  0.000 % |
8.14/8.29	c |     36098 |    1100    83164   275912 | 2147483647    36098     87 |  0.016 % |
8.34/8.47	c |     36591 |    1100    83164   275912 | 2147483647    36591     87 |  0.000 % |
8.54/8.68	c |     37133 |    1100    83164   275912 | 2147483647    37133     88 |  0.000 % |
8.64/8.72	c |     37233 |    1100    83164   275912 | 2147483647    37233     88 |  0.000 % |
8.64/8.75	c |     37343 |    1100    83164   275912 | 2147483647    37343     88 |  0.000 % |
8.64/8.79	c |     37465 |    1100    83164   275912 | 2147483647    37465     88 |  0.013 % |
8.74/8.84	c |     37598 |    1100    83164   275912 | 2147483647    37598     88 |  0.013 % |
8.84/8.90	c |     37744 |    1100    83164   275912 | 2147483647    37744     88 |  0.000 % |
8.84/8.96	c |     37904 |    1100    83164   275912 | 2147483647    37904     88 |  0.000 % |
8.94/9.02	c |     38080 |    1100    83164   275912 | 2147483647    38080     88 |  0.011 % |
8.94/9.09	c |     38274 |    1100    83164   275912 | 2147483647    38274     88 |  0.000 % |
9.04/9.16	c |     38486 |    1100    83164   275912 | 2147483647    38486     88 |  0.000 % |
9.15/9.24	c |     38720 |    1100    83164   275912 | 2147483647    38720     88 |  0.000 % |
9.24/9.31	c |     38980 |    1100    83164   275912 | 2147483647    38980     88 |  0.013 % |
9.34/9.40	c |     39263 |    1100    83164   275912 | 2147483647    39263     88 |  0.013 % |
9.44/9.50	c |     39572 |    1100    83164   275912 | 2147483647    39572     88 |  0.013 % |
9.54/9.61	c |     39912 |    1100    83164   275912 | 2147483647    39912     88 |  0.000 % |
9.64/9.74	c |     40285 |    1100    83164   275912 | 2147483647    40285     88 |  0.012 % |
9.75/9.87	c |     40695 |    1100    83164   275912 | 2147483647    40695     88 |  0.011 % |
9.94/10.05	c |     41146 |    1100    83164   275912 | 2147483647    41146     88 |  0.000 % |
10.14/10.23	c |     41639 |    1100    83164   275912 | 2147483647    41639     88 |  0.000 % |
10.34/10.45	c |     42183 |    1100    83164   275912 | 2147483647    42183     88 |  0.000 % |
10.64/10.72	c |     42779 |    1100    83164   275912 | 2147483647    42779     87 |  0.000 % |
10.64/10.75	c |     42880 |    1100    83164   275912 | 2147483647    42880     87 |  0.000 % |
10.74/10.80	c |     42991 |    1100    83164   275912 | 2147483647    42991     87 |  0.013 % |
10.74/10.86	c |     43113 |    1100    83164   275912 | 2147483647    43113     87 |  0.012 % |
10.84/10.92	c |     43246 |    1100    83164   275912 | 2147483647    43246     87 |  0.011 % |
10.84/10.98	c |     43394 |    1100    83164   275912 | 2147483647    43394     87 |  0.000 % |
10.94/11.05	c |     43554 |    1100    83164   275912 | 2147483647    43554     87 |  0.000 % |
11.04/11.12	c |     43730 |    1100    83164   275912 | 2147483647    43730     87 |  0.000 % |
11.04/11.18	c |     43923 |    1100    83164   275912 | 2147483647    43923     87 |  0.011 % |
11.14/11.25	c |     44137 |    1100    83164   275912 | 2147483647    44137     87 |  0.011 % |
11.24/11.33	c |     44372 |    1100    83164   275912 | 2147483647    44372     87 |  0.014 % |
11.34/11.42	c |     44628 |    1100    83164   275912 | 2147483647    44628     87 |  0.015 % |
11.44/11.51	c |     44909 |    1100    83164   275912 | 2147483647    44909     87 |  0.000 % |
11.54/11.63	c |     45218 |    1100    83164   275912 | 2147483647    45218     86 |  0.014 % |
11.64/11.75	c |     45559 |    1100    83164   275912 | 2147483647    45559     86 |  0.015 % |
11.74/11.89	c |     45932 |    1100    83164   275912 | 2147483647    45932     87 |  0.000 % |
11.94/12.07	c |     46342 |    1100    83164   275912 | 2147483647    46342     87 |  0.000 % |
12.14/12.24	c |     46793 |    1100    83164   275912 | 2147483647    46793     87 |  0.000 % |
12.33/12.43	c |     47286 |    1100    83164   275912 | 2147483647    47286     87 |  0.000 % |
12.53/12.62	c |     47828 |    1100    83164   275912 | 2147483647    47828     87 |  0.000 % |
12.74/12.83	c |     48425 |    1100    83164   275912 | 2147483647    48425     87 |  0.013 % |
12.94/13.09	c |     49080 |    1100    83164   275912 | 2147483647    49080     86 |  0.012 % |
13.04/13.14	c |     49180 |    1100    83164   275912 | 2147483647    49180     86 |  0.000 % |
13.04/13.20	c |     49291 |    1100    83164   275912 | 2147483647    49291     86 |  0.000 % |
13.14/13.25	c |     49414 |    1100    83164   275912 | 2147483647    49414     86 |  0.011 % |
13.24/13.31	c |     49548 |    1100    83164   275912 | 2147483647    49548     86 |  0.010 % |
13.24/13.39	c |     49694 |    1100    83164   275912 | 2147483647    49694     87 |  0.000 % |
13.34/13.47	c |     49854 |    1100    83164   275912 | 2147483647    49854     87 |  0.000 % |
13.44/13.54	c |     50030 |    1100    83164   275912 | 2147483647    50030     87 |  0.000 % |
13.54/13.61	c |     50223 |    1100    83164   275912 | 2147483647    50223     87 |  0.000 % |
13.54/13.69	c |     50435 |    1100    83164   275912 | 2147483647    50435     87 |  0.000 % |
13.74/13.80	c |     50669 |    1100    83164   275912 | 2147483647    50669     87 |  0.000 % |
13.84/13.91	c |     50926 |    1100    83164   275912 | 2147483647    50926     87 |  0.000 % |
13.94/14.02	c |     51208 |    1100    83164   275912 | 2147483647    51208     87 |  0.009 % |
14.04/14.15	c |     51517 |    1100    83164   275912 | 2147483647    51517     87 |  0.009 % |
14.24/14.30	c |     51856 |    1100    83164   275912 | 2147483647    51856     87 |  0.000 % |
14.33/14.45	c |     52229 |    1100    83164   275912 | 2147483647    52229     87 |  0.000 % |
14.44/14.58	c |     52639 |    1100    83164   275912 | 2147483647    52639     87 |  0.012 % |
14.64/14.75	c |     53091 |    1100    83164   275912 | 2147483647    53091     86 |  0.000 % |
14.93/15.02	c |     53584 |    1100    83164   275912 | 2147483647    53584     87 |  0.000 % |
15.13/15.28	c |     54127 |    1100    83164   275912 | 2147483647    54127     88 |  0.000 % |
15.44/15.55	c |     54723 |    1100    83164   275912 | 2147483647    54723     88 |  0.000 % |
15.74/15.83	c |     55378 |    1100    83164   275912 | 2147483647    55378     88 |  0.000 % |
16.04/16.18	c |     56100 |    1100    83164   275912 | 2147483647    56100     89 |  0.000 % |
16.14/16.23	c |     56203 |    1100    83164   275912 | 2147483647    56203     89 |  0.000 % |
16.14/16.27	c |     56315 |    1100    83164   275912 | 2147483647    56315     89 |  0.014 % |
16.24/16.33	c |     56437 |    1100    83164   275912 | 2147483647    56437     88 |  0.012 % |
16.24/16.38	c |     56572 |    1100    83164   275912 | 2147483647    56572     88 |  0.012 % |
16.34/16.47	c |     56718 |    1100    83164   275912 | 2147483647    56718     89 |  0.000 % |
16.44/16.55	c |     56878 |    1100    83164   275912 | 2147483647    56878     89 |  0.000 % |
16.53/16.64	c |     57054 |    1100    83164   275912 | 2147483647    57054     88 |  0.000 % |
16.63/16.75	c |     57248 |    1100    83164   275912 | 2147483647    57248     89 |  0.000 % |
16.73/16.86	c |     57460 |    1100    83164   275912 | 2147483647    57460     89 |  0.000 % |
16.83/16.96	c |     57693 |    1100    83164   275912 | 2147483647    57693     89 |  0.000 % |
16.93/17.07	c |     57949 |    1100    83164   275912 | 2147483647    57949     89 |  0.010 % |
17.13/17.22	c |     58231 |    1100    83164   275912 | 2147483647    58231     89 |  0.010 % |
17.23/17.34	c |     58540 |    1100    83164   275912 | 2147483647    58540     89 |  0.010 % |
17.43/17.51	c |     58879 |    1100    83164   275912 | 2147483647    58879     89 |  0.000 % |
17.53/17.68	c |     59252 |    1100    83164   275912 | 2147483647    59252     89 |  0.014 % |
17.74/17.87	c |     59661 |    1100    83164   275912 | 2147483647    59661     89 |  0.000 % |
17.94/18.07	c |     60111 |    1100    83164   275912 | 2147483647    60111     89 |  0.000 % |
18.14/18.28	c |     60604 |    1100    83164   275912 | 2147483647    60604     89 |  0.000 % |
18.43/18.52	c |     61147 |    1100    83164   275912 | 2147483647    61147     88 |  0.012 % |
18.73/18.81	c |     61743 |    1100    83164   275912 | 2147483647    61743     88 |  0.000 % |
19.03/19.12	c |     62398 |    1100    83164   275912 | 2147483647    62398     88 |  0.011 % |
19.43/19.51	c |     63118 |    1100    83164   275912 | 2147483647    63118     88 |  0.012 % |
19.84/19.90	c |     63910 |    1100    83164   275912 | 2147483647    63910     88 |  0.000 % |
19.84/19.96	c |     64012 |    1100    83164   275912 | 2147483647    64012     88 |  0.014 % |
19.93/20.04	c |     64122 |    1100    83164   275912 | 2147483647    64122     88 |  0.000 % |
20.03/20.13	c |     64245 |    1100    83164   275912 | 2147483647    64245     88 |  0.000 % |
20.13/20.20	c |     64379 |    1100    83164   275912 | 2147483647    64379     88 |  0.000 % |
20.13/20.28	c |     64527 |    1100    83164   275912 | 2147483647    64527     88 |  0.000 % |
20.23/20.39	c |     64689 |    1100    83164   275912 | 2147483647    64689     88 |  0.000 % |
20.43/20.50	c |     64866 |    1100    83164   275912 | 2147483647    64866     88 |  0.000 % |
20.53/20.60	c |     65059 |    1100    83164   275912 | 2147483647    65059     88 |  0.014 % |
20.63/20.73	c |     65272 |    1100    83164   275912 | 2147483647    65272     89 |  0.000 % |
20.73/20.87	c |     65507 |    1100    83164   275912 | 2147483647    65507     89 |  0.000 % |
20.83/20.99	c |     65763 |    1100    83164   275912 | 2147483647    65763     89 |  0.000 % |
21.03/21.15	c |     66048 |    1100    83164   275912 | 2147483647    66048     89 |  0.000 % |
21.23/21.35	c |     66357 |    1100    83164   275912 | 2147483647    66357     89 |  0.000 % |
21.43/21.53	c |     66696 |    1100    83164   275912 | 2147483647    66696     89 |  0.013 % |
21.63/21.71	c |     67068 |    1100    83164   275912 | 2147483647    67068     89 |  0.000 % |
21.83/21.97	c |     67479 |    1100    83164   275912 | 2147483647    67479     89 |  0.000 % |
22.03/22.18	c |     67929 |    1100    83164   275912 | 2147483647    67929     90 |  0.000 % |
22.33/22.48	c |     68425 |    1100    83164   275912 | 2147483647    68425     90 |  0.000 % |
22.63/22.71	c |     68969 |    1100    83164   275912 | 2147483647    68969     90 |  0.000 % |
22.94/23.09	c |     69565 |    1100    83164   275912 | 2147483647    69565     90 |  0.010 % |
23.43/23.54	c |     70220 |    1100    83164   275912 | 2147483647    70220     90 |  0.000 % |
23.83/24.00	c |     70941 |    1100    83164   275912 | 2147483647    70941     90 |  0.000 % |
24.33/24.42	c |     71735 |    1100    83164   275912 | 2147483647    71735     90 |  0.000 % |
24.73/24.87	c |     72610 |    1100    83164   275912 | 2147483647    72610     90 |  0.000 % |
24.83/24.93	c |     72710 |    1100    83164   275912 | 2147483647    72710     90 |  0.010 % |
24.83/24.99	c |     72820 |    1100    83164   275912 | 2147483647    72820     90 |  0.000 % |
24.93/25.06	c |     72941 |    1100    83164   275912 | 2147483647    72941     90 |  0.016 % |
25.03/25.17	c |     73075 |    1100    83164   275912 | 2147483647    73075     90 |  0.012 % |
25.14/25.25	c |     73222 |    1100    83164   275912 | 2147483647    73222     90 |  0.000 % |
25.24/25.37	c |     73384 |    1100    83164   275912 | 2147483647    73384     90 |  0.012 % |
25.33/25.47	c |     73560 |    1100    83164   275912 | 2147483647    73560     90 |  0.012 % |
25.53/25.61	c |     73754 |    1100    83164   275912 | 2147483647    73754     90 |  0.000 % |
25.63/25.74	c |     73969 |    1100    83164   275912 | 2147483647    73969     90 |  0.000 % |
25.73/25.86	c |     74203 |    1100    83164   275912 | 2147483647    74203     90 |  0.000 % |
25.93/26.01	c |     74460 |    1100    83164   275912 | 2147483647    74460     90 |  0.013 % |
26.03/26.17	c |     74741 |    1100    83164   275912 | 2147483647    74741     90 |  0.012 % |
26.23/26.36	c |     75050 |    1100    83164   275912 | 2147483647    75050     90 |  0.016 % |
26.43/26.59	c |     75389 |    1100    83164   275912 | 2147483647    75389     91 |  0.000 % |
26.63/26.79	c |     75761 |    1100    83164   275912 | 2147483647    75761     90 |  0.013 % |
26.92/27.06	c |     76170 |    1100    83164   275912 | 2147483647    76170     90 |  0.010 % |
27.22/27.35	c |     76621 |    1100    83164   275912 | 2147483647    76621     90 |  0.013 % |
27.43/27.59	c |     77114 |    1100    83164   275912 | 2147483647    77114     90 |  0.013 % |
27.82/27.91	c |     77657 |    1100    83164   275912 | 2147483647    77657     90 |  0.011 % |
28.12/28.28	c |     78255 |    1100    83164   275912 | 2147483647    78255     90 |  0.011 % |
28.53/28.68	c |     78910 |    1100    83164   275912 | 2147483647    78910     89 |  0.010 % |
28.92/29.09	c |     79630 |    1100    83164   275912 | 2147483647    79630     89 |  0.014 % |
29.42/29.55	c |     80424 |    1100    83164   275912 | 2147483647    80424     89 |  0.012 % |
29.82/29.97	c |     81296 |    1100    83164   275912 | 2147483647    81296     89 |  0.012 % |
30.43/30.57	c |     82254 |    1100    83164   275912 | 2147483647    82254     88 |  0.012 % |
30.53/30.63	c |     82354 |    1100    83164   275912 | 2147483647    82354     88 |  0.012 % |
30.63/30.70	c |     82464 |    1100    83164   275912 | 2147483647    82464     88 |  0.000 % |
30.63/30.77	c |     82586 |    1100    83164   275912 | 2147483647    82586     88 |  0.012 % |
30.73/30.88	c |     82719 |    1100    83164   275912 | 2147483647    82719     88 |  0.000 % |
30.83/30.98	c |     82866 |    1100    83164   275912 | 2147483647    82866     88 |  0.000 % |
30.93/31.08	c |     83027 |    1100    83164   275912 | 2147483647    83027     88 |  0.000 % |
31.13/31.24	c |     83203 |    1100    83164   275912 | 2147483647    83203     88 |  0.000 % |
31.23/31.37	c |     83396 |    1100    83164   275912 | 2147483647    83396     88 |  0.000 % |
31.43/31.50	c |     83609 |    1100    83164   275912 | 2147483647    83609     89 |  0.000 % |
31.53/31.66	c |     83842 |    1100    83164   275912 | 2147483647    83842     88 |  0.000 % |
31.73/31.83	c |     84101 |    1100    83164   275912 | 2147483647    84101     88 |  0.013 % |
31.93/32.00	c |     84383 |    1100    83164   275912 | 2147483647    84383     88 |  0.000 % |
32.03/32.18	c |     84694 |    1100    83164   275912 | 2147483647    84694     88 |  0.013 % |
32.23/32.36	c |     85034 |    1100    83164   275912 | 2147483647    85034     88 |  0.013 % |
32.53/32.67	c |     85406 |    1100    83164   275912 | 2147483647    85406     89 |  0.000 % |
32.83/32.97	c |     85816 |    1100    83164   275912 | 2147483647    85816     88 |  0.012 % |
33.12/33.29	c |     86265 |    1100    83164   275912 | 2147483647    86265     88 |  0.012 % |
33.42/33.59	c |     86758 |    1100    83164   275912 | 2147483647    86758     89 |  0.000 % |
33.82/33.95	c |     87305 |    1100    83164   275912 | 2147483647    87305     88 |  0.000 % |
34.22/34.37	c |     87902 |    1100    83164   275912 | 2147483647    87902     88 |  0.013 % |
34.72/34.83	c |     88557 |    1100    83164   275912 | 2147483647    88557     88 |  0.000 % |
35.22/35.35	c |     89277 |    1100    83164   275912 | 2147483647    89277     89 |  0.000 % |
35.62/35.78	c |     90070 |    1100    83164   275912 | 2147483647    90070     89 |  0.000 % |
36.22/36.39	c |     90942 |    1100    83164   275912 | 2147483647    90942     89 |  0.000 % |
36.82/36.93	c |     91900 |    1100    83164   275912 | 2147483647    91900     89 |  0.015 % |
37.42/37.53	c |     92953 |    1100    83164   275912 | 2147483647    92953     89 |  0.012 % |
37.52/37.60	c |     93053 |    1100    83164   275912 | 2147483647    93053     89 |  0.012 % |
37.52/37.68	c |     93163 |    1100    83164   275912 | 2147483647    93163     89 |  0.000 % |
37.62/37.75	c |     93284 |    1100    83164   275912 | 2147483647    93284     89 |  0.000 % |
37.72/37.84	c |     93418 |    1100    83164   275912 | 2147483647    93418     89 |  0.000 % |
37.82/37.95	c |     93564 |    1100    83164   275912 | 2147483647    93564     89 |  0.000 % |
37.91/38.08	c |     93724 |    1100    83164   275912 | 2147483647    93724     89 |  0.000 % |
38.11/38.25	c |     93900 |    1100    83164   275912 | 2147483647    93900     89 |  0.000 % |
38.21/38.36	c |     94093 |    1100    83164   275912 | 2147483647    94093     89 |  0.000 % |
38.42/38.51	c |     94305 |    1100    83164   275912 | 2147483647    94305     89 |  0.000 % |
38.51/38.67	c |     94538 |    1100    83164   275912 | 2147483647    94538     89 |  0.000 % |
38.71/38.86	c |     94796 |    1100    83164   275912 | 2147483647    94796     89 |  0.000 % |
38.91/39.02	c |     95077 |    1100    83164   275912 | 2147483647    95077     89 |  0.000 % |
39.21/39.31	c |     95386 |    1100    83164   275912 | 2147483647    95386     90 |  0.000 % |
39.42/39.58	c |     95725 |    1100    83164   275912 | 2147483647    95725     90 |  0.012 % |
39.71/39.82	c |     96098 |    1100    83164   275912 | 2147483647    96098     90 |  0.000 % |
40.01/40.12	c |     96508 |    1100    83164   275912 | 2147483647    96508     90 |  0.000 % |
40.41/40.58	c |     96957 |    1100    83164   275912 | 2147483647    96957     90 |  0.000 % |
40.81/40.96	c |     97450 |    1100    83164   275912 | 2147483647    97450     90 |  0.012 % |
41.22/41.36	c |     97992 |    1100    83164   275912 | 2147483647    97992     90 |  0.000 % |
41.62/41.79	c |     98589 |    1100    83164   275912 | 2147483647    98589     90 |  0.000 % |
42.21/42.30	c |     99246 |    1100    83164   275912 | 2147483647    99246     91 |  0.000 % |
42.82/42.92	c |     99966 |    1100    83164   275912 | 2147483647    99966     90 |  0.000 % |
43.41/43.52	c |    100758 |    1100    83164   275912 | 2147483647   100758     90 |  0.013 % |
44.11/44.25	c |    101630 |    1100    83164   275912 | 2147483647   101630     90 |  0.013 % |
44.91/45.06	c |    102588 |    1100    83164   275912 | 2147483647   102588     90 |  0.011 % |
45.91/46.04	c |    103641 |    1100    83164   275912 | 2147483647   103641     90 |  0.000 % |
46.81/46.92	c |    104799 |    1100    83164   275912 | 2147483647   104799     90 |  0.014 % |
46.81/46.98	c |    104899 |    1100    83164   275912 | 2147483647   104899     90 |  0.014 % |
46.91/47.09	c |    105010 |    1100    83164   275912 | 2147483647   105010     90 |  0.000 % |
47.11/47.20	c |    105131 |    1100    83164   275912 | 2147483647   105131     90 |  0.000 % |
47.21/47.31	c |    105264 |    1100    83164   275912 | 2147483647   105264     90 |  0.000 % |
47.31/47.45	c |    105410 |    1100    83164   275912 | 2147483647   105410     90 |  0.014 % |
47.41/47.57	c |    105571 |    1100    83164   275912 | 2147483647   105571     90 |  0.000 % |
47.61/47.76	c |    105748 |    1100    83164   275912 | 2147483647   105748     90 |  0.000 % |
47.71/47.89	c |    105941 |    1100    83164   275912 | 2147483647   105941     90 |  0.000 % |
48.01/48.10	c |    106154 |    1100    83164   275912 | 2147483647   106154     91 |  0.000 % |
48.12/48.27	c |    106388 |    1100    83164   275912 | 2147483647   106388     91 |  0.000 % |
48.32/48.46	c |    106646 |    1100    83164   275912 | 2147483647   106646     91 |  0.000 % |
48.52/48.68	c |    106929 |    1100    83164   275912 | 2147483647   106929     90 |  0.012 % |
48.82/48.90	c |    107238 |    1100    83164   275912 | 2147483647   107238     90 |  0.012 % |
49.01/49.15	c |    107577 |    1100    83164   275912 | 2147483647   107577     90 |  0.013 % |
49.32/49.48	c |    107951 |    1100    83164   275912 | 2147483647   107951     90 |  0.000 % |
49.61/49.77	c |    108360 |    1100    83164   275912 | 2147483647   108360     90 |  0.000 % |
50.01/50.13	c |    108809 |    1100    83164   275912 | 2147483647   108809     90 |  0.011 % |
50.31/50.49	c |    109302 |    1100    83164   275912 | 2147483647   109302     90 |  0.012 % |
50.81/50.91	c |    109844 |    1100    83164   275912 | 2147483647   109844     90 |  0.011 % |
51.21/51.37	c |    110441 |    1100    83164   275912 | 2147483647   110441     90 |  0.013 % |
51.81/51.96	c |    111097 |    1100    83164   275912 | 2147483647   111097     90 |  0.012 % |
52.51/52.61	c |    111817 |    1100    83164   275912 | 2147483647   111817     90 |  0.000 % |
53.21/53.31	c |    112609 |    1100    83164   275912 | 2147483647   112609     90 |  0.012 % |
53.90/54.01	c |    113483 |    1100    83164   275912 | 2147483647   113483     90 |  0.000 % |
54.70/54.85	c |    114443 |    1100    83164   275912 | 2147483647   114443     90 |  0.012 % |
55.50/55.63	c |    115496 |    1100    83164   275912 | 2147483647   115496     90 |  0.000 % |
56.50/56.69	c |    116654 |    1100    83164   275912 | 2147483647   116654     90 |  0.000 % |
57.50/57.66	c |    117928 |    1100    83164   275912 | 2147483647   117928     89 |  0.012 % |
57.60/57.74	c |    118029 |    1100    83164   275912 | 2147483647   118029     89 |  0.012 % |
57.80/57.92	c |    118141 |    1100    83164   275912 | 2147483647   118141     89 |  0.000 % |
57.90/58.04	c |    118262 |    1100    83164   275912 | 2147483647   118262     89 |  0.000 % |
58.00/58.14	c |    118395 |    1100    83164   275912 | 2147483647   118395     89 |  0.011 % |
58.10/58.25	c |    118543 |    1100    83164   275912 | 2147483647   118543     89 |  0.011 % |
58.30/58.47	c |    118704 |    1100    83164   275912 | 2147483647   118704     89 |  0.000 % |
58.50/58.65	c |    118880 |    1100    83164   275912 | 2147483647   118880     89 |  0.000 % |
58.70/58.82	c |    119073 |    1100    83164   275912 | 2147483647   119073     89 |  0.000 % |
58.90/59.05	c |    119285 |    1100    83164   275912 | 2147483647   119285     89 |  0.000 % |
59.10/59.29	c |    119520 |    1100    83164   275912 | 2147483647   119520     89 |  0.000 % |
59.40/59.57	c |    119777 |    1100    83164   275912 | 2147483647   119777     90 |  0.000 % |
59.70/59.85	c |    120061 |    1100    83164   275912 |   120003   120061     90 |  0.010 % |
60.10/60.29	c |    120371 |    1100    83164   275912 |   120003   104906     88 |  0.000 % |
60.50/60.63	c |    120712 |    1100    83164   275912 |   120003   105247     88 |  0.000 % |
60.80/60.96	c |    121084 |    1100    83164   275912 |   120003   105619     88 |  0.000 % |
61.19/61.31	c |    121493 |    1100    83164   275912 |   120003   106028     88 |  0.000 % |
61.59/61.73	c |    121942 |    1100    83164   275912 |   120003   106477     89 |  0.011 % |
61.99/62.15	c |    122435 |    1100    83164   275912 |   120003   106970     89 |  0.000 % |
62.39/62.59	c |    122979 |    1100    83164   275912 |   120003   107514     89 |  0.000 % |
62.89/63.10	c |    123577 |    1100    83164   275912 |   120003   108112     89 |  0.000 % |
63.60/63.72	c |    124235 |    1100    83164   275912 |   120003   108770     90 |  0.000 % |
64.19/64.32	c |    124955 |    1100    83164   275912 |   120003   109490     90 |  0.000 % |
64.80/64.99	c |    125748 |    1100    83164   275912 |   120003   110283     90 |  0.000 % |
65.59/65.78	c |    126619 |    1100    83164   275912 |   120003   111154     90 |  0.000 % |
66.49/66.66	c |    127577 |    1100    83164   275912 |   120003   112112     90 |  0.013 % |
67.39/67.53	c |    128630 |    1100    83164   275912 |   120003   113165     90 |  0.000 % |
68.29/68.47	c |    129789 |    1100    83164   275912 |   120003   114324     90 |  0.011 % |
69.49/69.65	c |    131065 |    1100    83164   275912 |   114537    99717     89 |  0.000 % |
70.79/70.92	c |    132465 |    1100    83164   275912 |   114537   101117     90 |  0.000 % |
70.89/71.02	c |    132566 |    1100    83164   275912 |   114537   101218     90 |  0.000 % |
70.99/71.16	c |    132676 |    1100    83164   275912 |   114537   101328     90 |  0.000 % |
71.19/71.30	c |    132798 |    1100    83164   275912 |   114537   101450     90 |  0.000 % |
71.29/71.41	c |    132931 |    1100    83164   275912 |   114537   101583     90 |  0.000 % |
71.39/71.52	c |    133077 |    1100    83164   275912 |   114537   101729     90 |  0.000 % |
71.49/71.66	c |    133238 |    1100    83164   275912 |   114537   101890     90 |  0.000 % |
71.69/71.83	c |    133414 |    1100    83164   275912 |   114537   102066     90 |  0.000 % |
71.79/71.98	c |    133608 |    1100    83164   275912 |   114537   102260     90 |  0.013 % |
71.99/72.16	c |    133820 |    1100    83164   275912 |   114537   102472     90 |  0.011 % |
72.19/72.37	c |    134054 |    1100    83164   275912 |   114537   102706     90 |  0.000 % |
72.49/72.61	c |    134310 |    1100    83164   275912 |   114537   102962     90 |  0.000 % |
72.69/72.84	c |    134592 |    1100    83164   275912 |   114537   103244     90 |  0.000 % |
73.00/73.16	c |    134903 |    1100    83164   275912 |   114537   103555     90 |  0.000 % |
73.30/73.48	c |    135245 |    1100    83164   275912 |   114537   103897     90 |  0.000 % |
73.70/73.84	c |    135621 |    1100    83164   275912 |   114537   104273     90 |  0.000 % |
74.10/74.20	c |    136032 |    1100    83164   275912 |   114537   104684     91 |  0.000 % |
74.50/74.64	c |    136482 |    1100    83164   275912 |   114537   105134     91 |  0.000 % |
74.89/75.08	c |    136977 |    1100    83164   275912 |   114537   105629     91 |  0.000 % |
75.50/75.63	c |    137519 |    1100    83164   275912 |   114537   106171     91 |  0.000 % |
76.10/76.22	c |    138115 |    1100    83164   275912 |   114537   106767     91 |  0.000 % |
76.80/76.92	c |    138770 |    1100    83164   275912 |   114537   107422     91 |  0.013 % |
77.39/77.52	c |    139493 |    1100    83164   275912 |   114537   108145     91 |  0.000 % |
78.00/78.13	c |    140285 |    1100    83164   275912 |   108652   108937     90 |  0.015 % |
78.79/78.95	c |    141157 |    1100    83164   275912 |   108652    95229     90 |  0.015 % |
79.49/79.66	c |    142115 |    1100    83164   275912 |   108652    96187     90 |  0.012 % |
80.49/80.63	c |    143171 |    1100    83164   275912 |   108652    97243     89 |  0.012 % |
81.39/81.54	c |    144330 |    1100    83164   275912 |   108652    98402     89 |  0.013 % |
82.29/82.48	c |    145604 |    1100    83164   275912 |   108652    99676     89 |  0.015 % |
83.59/83.70	c |    147006 |    1100    83164   275912 |   108652   101078     88 |  0.011 % |
84.99/85.17	c |    148546 |    1100    83164   275912 |   108652   102618     89 |  0.000 % |
85.19/85.31	c |    148646 |    1100    83164   275912 |   108652   102718     89 |  0.000 % |
85.29/85.41	c |    148757 |    1100    83164   275912 |   108652   102829     89 |  0.000 % |
85.39/85.50	c |    148878 |    1100    83164   275912 |   108652   102950     89 |  0.000 % |
85.49/85.63	c |    149011 |    1100    83164   275912 |   108652   103083     89 |  0.000 % |
85.59/85.79	c |    149157 |    1100    83164   275912 |   108652   103229     89 |  0.000 % |
85.79/85.93	c |    149317 |    1100    83164   275912 |   108652   103389     89 |  0.000 % |
85.99/86.13	c |    149495 |    1100    83164   275912 |   108652   103567     89 |  0.000 % |
86.19/86.31	c |    149688 |    1100    83164   275912 |   108652   103760     89 |  0.012 % |
86.29/86.46	c |    149900 |    1100    83164   275912 |   108652   103972     89 |  0.000 % |
86.49/86.66	c |    150133 |    1100    83164   275912 |   104072   104205     89 |  0.012 % |
86.79/86.99	c |    150389 |    1100    83164   275912 |   104072    91097     86 |  0.012 % |
87.09/87.29	c |    150670 |    1100    83164   275912 |   104072    91378     86 |  0.011 % |
87.39/87.50	c |    150979 |    1100    83164   275912 |   104072    91687     86 |  0.012 % |
87.59/87.75	c |    151319 |    1100    83164   275912 |   104072    92027     86 |  0.012 % |
87.89/88.05	c |    151691 |    1100    83164   275912 |   104072    92399     86 |  0.013 % |
88.19/88.37	c |    152101 |    1100    83164   275912 |   104072    92809     86 |  0.012 % |
88.59/88.76	c |    152553 |    1100    83164   275912 |   104072    93261     86 |  0.012 % |
88.99/89.19	c |    153049 |    1100    83164   275912 |   104072    93757     86 |  0.000 % |
89.49/89.64	c |    153592 |    1100    83164   275912 |   104072    94300     86 |  0.000 % |
90.09/90.23	c |    154189 |    1100    83164   275912 |   104072    94897     87 |  0.000 % |
90.59/90.74	c |    154844 |    1100    83164   275912 |   104072    95552     87 |  0.012 % |
91.09/91.29	c |    155566 |    1100    83164   275912 |   104072    96274     87 |  0.013 % |
91.99/92.16	c |    156359 |    1100    83164   275912 |   104072    97067     87 |  0.000 % |
92.68/92.86	c |    157234 |    1100    83164   275912 |   104072    97942     87 |  0.000 % |
93.48/93.68	c |    158193 |    1100    83164   275912 |   104072    98901     87 |  0.000 % |
94.49/94.61	c |    159248 |    1100    83164   275912 |   104072    99956     87 |  0.011 % |
95.49/95.64	c |    160407 |    1100    83164   275912 |   100709   101115     87 |  0.013 % |
96.48/96.69	c |    161680 |    1100    83164   275912 |   100709    89663     87 |  0.013 % |
97.58/97.78	c |    163080 |    1100    83164   275912 |   100709    91063     86 |  0.011 % |
99.48/99.61	c |    164622 |    1100    83164   275912 |   100709    92605     87 |  0.000 % |
100.98/101.20	c |    166316 |    1100    83164   275912 |   100709    94299     87 |  0.000 % |
101.08/101.29	c |    166416 |    1100    83164   275912 |   100709    94399     87 |  0.000 % |
101.18/101.39	c |    166529 |    1100    83164   275912 |   100709    94512     87 |  0.015 % |
101.38/101.57	c |    166650 |    1100    83164   275912 |   100709    94633     87 |  0.000 % |
101.58/101.71	c |    166784 |    1100    83164   275912 |   100709    94767     88 |  0.000 % |
101.68/101.86	c |    166931 |    1100    83164   275912 |   100709    94914     88 |  0.000 % |
101.88/102.03	c |    167091 |    1100    83164   275912 |   100709    95074     88 |  0.014 % |
102.08/102.23	c |    167267 |    1100    83164   275912 |   100709    95250     88 |  0.000 % |
102.28/102.40	c |    167460 |    1100    83164   275912 |   100709    95443     88 |  0.000 % |
102.38/102.58	c |    167672 |    1100    83164   275912 |   100709    95655     88 |  0.000 % |
102.68/102.80	c |    167905 |    1100    83164   275912 |   100709    95888     88 |  0.014 % |
102.88/103.06	c |    168161 |    1100    83164   275912 |   100709    96144     87 |  0.013 % |
103.18/103.35	c |    168442 |    1100    83164   275912 |   100709    96425     87 |  0.013 % |
103.38/103.58	c |    168755 |    1100    83164   275912 |   100709    96738     87 |  0.013 % |
103.68/103.86	c |    169094 |    1100    83164   275912 |   100709    97077     87 |  0.010 % |
103.98/104.19	c |    169466 |    1100    83164   275912 |   100709    97449     88 |  0.000 % |
104.38/104.54	c |    169875 |    1100    83164   275912 |   100709    97858     88 |  0.000 % |
104.78/104.96	c |    170326 |    1100    83164   275912 |    97983    98309     88 |  0.012 % |
105.38/105.51	c |    170819 |    1100    83164   275912 |    97983    86513     86 |  0.012 % |
105.77/105.93	c |    171361 |    1100    83164   275912 |    97983    87055     86 |  0.013 % |
106.17/106.39	c |    171960 |    1100    83164   275912 |    97983    87654     85 |  0.000 % |
106.77/106.91	c |    172617 |    1100    83164   275912 |    97983    88311     85 |  0.012 % |
107.37/107.53	c |    173337 |    1100    83164   275912 |    97983    89031     85 |  0.014 % |
108.07/108.23	c |    174132 |    1100    83164   275912 |    97983    89826     85 |  0.014 % |
108.87/109.02	c |    175004 |    1100    83164   275912 |    97983    90698     85 |  0.013 % |
109.77/109.97	c |    175962 |    1100    83164   275912 |    97983    91656     86 |  0.000 % |
110.77/110.92	c |    177017 |    1100    83164   275912 |    97983    92711     86 |  0.000 % |
111.97/112.12	c |    178176 |    1100    83164   275912 |    97983    93870     87 |  0.000 % |
112.97/113.12	c |    179449 |    1100    83164   275912 |    97983    95143     87 |  0.000 % |
114.37/114.59	c |    180851 |    1100    83164   275912 |    95695    83409     85 |  0.000 % |
115.77/115.91	c |    182392 |    1100    83164   275912 |    95695    84950     85 |  0.012 % |
117.17/117.36	c |    184087 |    1100    83164   275912 |    95695    86645     85 |  0.000 % |
119.27/119.43	c |    185950 |    1100    83164   275912 |    95695    88508     87 |  0.000 % |
119.37/119.54	c |    186050 |    1100    83164   275912 |    95695    88608     87 |  0.000 % |
119.47/119.66	c |    186161 |    1100    83164   275912 |    95695    88719     87 |  0.000 % |
119.57/119.77	c |    186282 |    1100    83164   275912 |    95695    88840     87 |  0.000 % |
119.67/119.90	c |    186415 |    1100    83164   275912 |    95695    88973     87 |  0.000 % |
119.87/120.01	c |    186561 |    1100    83164   275912 |    95695    89119     87 |  0.000 % |
119.97/120.18	c |    186726 |    1100    83164   275912 |    95695    89284     87 |  0.000 % |
120.17/120.39	c |    186902 |    1100    83164   275912 |    95695    89460     87 |  0.000 % |
120.37/120.56	c |    187095 |    1100    83164   275912 |    95695    89653     87 |  0.000 % |
120.67/120.80	c |    187308 |    1100    83164   275912 |    95695    89866     87 |  0.000 % |
120.77/120.96	c |    187541 |    1100    83164   275912 |    95695    90099     87 |  0.011 % |
121.07/121.23	c |    187797 |    1100    83164   275912 |    95695    90355     88 |  0.000 % |
121.27/121.45	c |    188080 |    1100    83164   275912 |    95695    90638     88 |  0.015 % |
121.57/121.73	c |    188390 |    1100    83164   275912 |    95695    90948     88 |  0.000 % |
121.77/122.00	c |    188730 |    1100    83164   275912 |    95695    91288     88 |  0.000 % |
122.16/122.34	c |    189103 |    1100    83164   275912 |    95695    91661     88 |  0.000 % |
122.46/122.65	c |    189512 |    1100    83164   275912 |    95695    92070     88 |  0.000 % |
122.97/123.14	c |    189961 |    1100    83164   275912 |    95695    92519     88 |  0.000 % |
123.46/123.65	c |    190454 |    1100    83164   275912 |    92558    93012     88 |  0.011 % |
123.96/124.15	c |    190996 |    1100    83164   275912 |    92558    80795     88 |  0.000 % |
124.56/124.73	c |    191592 |    1100    83164   275912 |    92558    81391     88 |  0.000 % |
125.17/125.34	c |    192247 |    1100    83164   275912 |    92558    82046     89 |  0.000 % |
125.66/125.89	c |    192967 |    1100    83164   275912 |    92558    82766     89 |  0.000 % |
126.46/126.64	c |    193759 |    1100    83164   275912 |    92558    83558     89 |  0.000 % |
127.06/127.23	c |    194631 |    1100    83164   275912 |    92558    84430     89 |  0.013 % |
127.96/128.13	c |    195590 |    1100    83164   275912 |    92558    85389     89 |  0.000 % |
129.16/129.32	c |    196643 |    1100    83164   275912 |    92558    86442     90 |  0.000 % |
130.16/130.37	c |    197801 |    1100    83164   275912 |    92558    87600     90 |  0.000 % |
131.26/131.49	c |    199074 |    1100    83164   275912 |    92558    88873     90 |  0.000 % |
132.76/132.91	c |    200474 |    1100    83164   275912 |    89801    90273     91 |  0.000 % |
134.16/134.38	c |    202015 |    1100    83164   275912 |    89801    79969     87 |  0.000 % |
135.56/135.74	c |    203709 |    1100    83164   275912 |    89801    81663     88 |  0.000 % |
137.36/137.51	c |    205573 |    1100    83164   275912 |    89801    83527     89 |  0.000 % |
139.56/139.75	c |    207622 |    1100    83164   275912 |    89801    85576     90 |  0.000 % |
139.66/139.85	c |    207722 |    1100    83164   275912 |    89801    85676     90 |  0.000 % |
139.76/139.96	c |    207834 |    1100    83164   275912 |    89801    85788     90 |  0.000 % |
139.86/140.05	c |    207958 |    1100    83164   275912 |    89801    85912     90 |  0.000 % |
139.96/140.17	c |    208091 |    1100    83164   275912 |    89801    86045     90 |  0.012 % |
140.16/140.36	c |    208238 |    1100    83164   275912 |    89801    86192     90 |  0.000 % |
140.36/140.52	c |    208399 |    1100    83164   275912 |    89801    86353     90 |  0.000 % |
140.46/140.68	c |    208575 |    1100    83164   275912 |    89801    86529     90 |  0.000 % |
140.66/140.89	c |    208769 |    1100    83164   275912 |    89801    86723     91 |  0.000 % |
140.86/141.08	c |    208981 |    1100    83164   275912 |    89801    86935     91 |  0.014 % |
141.16/141.33	c |    209214 |    1100    83164   275912 |    89801    87168     90 |  0.014 % |
141.36/141.52	c |    209471 |    1100    83164   275912 |    89801    87425     90 |  0.000 % |
141.66/141.80	c |    209752 |    1100    83164   275912 |    89801    87706     90 |  0.012 % |
141.86/142.02	c |    210063 |    1100    83164   275912 |    87956    88017     90 |  0.012 % |
142.25/142.44	c |    210402 |    1100    83164   275912 |    87956    78003     92 |  0.000 % |
142.55/142.70	c |    210774 |    1100    83164   275912 |    87956    78375     92 |  0.000 % |
142.86/143.09	c |    211184 |    1100    83164   275912 |    87956    78785     92 |  0.000 % |
143.25/143.49	c |    211633 |    1100    83164   275912 |    87956    79234     92 |  0.011 % |
143.65/143.89	c |    212126 |    1100    83164   275912 |    87956    79727     92 |  0.000 % |
144.15/144.33	c |    212668 |    1100    83164   275912 |    87956    80269     92 |  0.011 % |
144.75/144.93	c |    213266 |    1100    83164   275912 |    87956    80867     92 |  0.012 % |
145.25/145.46	c |    213921 |    1100    83164   275912 |    87956    81522     91 |  0.012 % |
145.85/146.09	c |    214643 |    1100    83164   275912 |    87956    82244     91 |  0.014 % |
146.65/146.90	c |    215437 |    1100    83164   275912 |    87956    83038     91 |  0.000 % |
147.55/147.72	c |    216309 |    1100    83164   275912 |    87956    83910     91 |  0.012 % |
148.35/148.59	c |    217267 |    1100    83164   275912 |    87956    84868     90 |  0.014 % |
149.25/149.44	c |    218323 |    1100    83164   275912 |    87956    85924     90 |  0.014 % |
150.25/150.41	c |    219482 |    1100    83164   275912 |    87956    87083     90 |  0.014 % |
151.35/151.59	c |    220756 |    1100    83164   275912 |    87603    76975     89 |  0.000 % |
152.44/152.66	c |    222156 |    1100    83164   275912 |    87603    78375     88 |  0.012 % |
153.75/153.98	c |    223696 |    1100    83164   275912 |    87603    79915     88 |  0.012 % |
155.04/155.24	c |    225391 |    1100    83164   275912 |    87603    81610     88 |  0.000 % |
156.54/156.70	c |    227254 |    1100    83164   275912 |    87603    83473     87 |  0.000 % |
157.94/158.11	c |    229303 |    1100    83164   275912 |    87603    85522     86 |  0.012 % |
159.94/160.13	c |    231556 |    1100    83164   275912 |    86219    75897     85 |  0.012 % |
160.04/160.24	c |    231656 |    1100    83164   275912 |    86219    75997     85 |  0.000 % |
160.14/160.32	c |    231766 |    1100    83164   275912 |    86219    76107     85 |  0.012 % |
160.24/160.43	c |    231887 |    1100    83164   275912 |    86219    76228     85 |  0.012 % |
160.34/160.52	c |    232021 |    1100    83164   275912 |    86219    76362     85 |  0.000 % |
160.44/160.66	c |    232167 |    1100    83164   275912 |    86219    76508     85 |  0.000 % |
160.64/160.82	c |    232328 |    1100    83164   275912 |    86219    76669     85 |  0.000 % |
160.74/160.96	c |    232504 |    1100    83164   275912 |    86219    76845     85 |  0.014 % |
160.94/161.18	c |    232697 |    1100    83164   275912 |    86219    77038     85 |  0.000 % |
161.14/161.33	c |    232909 |    1100    83164   275912 |    86219    77250     85 |  0.000 % |
161.24/161.48	c |    233142 |    1100    83164   275912 |    86219    77483     85 |  0.013 % |
161.44/161.67	c |    233398 |    1100    83164   275912 |    86219    77739     85 |  0.000 % |
161.74/161.92	c |    233679 |    1100    83164   275912 |    86219    78020     85 |  0.010 % |
162.04/162.22	c |    233988 |    1100    83164   275912 |    86219    78329     85 |  0.000 % |
162.34/162.54	c |    234328 |    1100    83164   275912 |    86219    78669     85 |  0.012 % |
162.74/162.93	c |    234700 |    1100    83164   275912 |    86219    79041     85 |  0.000 % |
163.14/163.33	c |    235109 |    1100    83164   275912 |    86219    79450     85 |  0.011 % |
163.54/163.70	c |    235558 |    1100    83164   275912 |    86219    79899     85 |  0.013 % |
163.84/164.08	c |    236053 |    1100    83164   275912 |    86219    80394     85 |  0.000 % |
164.44/164.63	c |    236597 |    1100    83164   275912 |    86219    80938     86 |  0.000 % |
165.04/165.24	c |    237194 |    1100    83164   275912 |    86219    81535     86 |  0.000 % |
165.54/165.75	c |    237850 |    1100    83164   275912 |    86219    82191     86 |  0.000 % |
166.04/166.26	c |    238571 |    1100    83164   275912 |    86219    82912     86 |  0.014 % |
166.94/167.11	c |    239364 |    1100    83164   275912 |    86219    83705     86 |  0.000 % |
167.54/167.76	c |    240237 |    1100    83164   275912 |    84341    84578     87 |  0.000 % |
168.34/168.54	c |    241195 |    1100    83164   275912 |    84341    74872     85 |  0.000 % |
169.24/169.46	c |    242248 |    1100    83164   275912 |    84341    75925     85 |  0.013 % |
170.14/170.38	c |    243406 |    1100    83164   275912 |    84341    77083     85 |  0.000 % |
171.23/171.46	c |    244679 |    1100    83164   275912 |    84341    78356     85 |  0.012 % |
172.54/172.77	c |    246079 |    1100    83164   275912 |    84341    79756     85 |  0.012 % |
173.83/174.05	c |    247621 |    1100    83164   275912 |    84341    81298     86 |  0.000 % |
175.33/175.59	c |    249315 |    1100    83164   275912 |    84341    82992     86 |  0.000 % |
176.94/177.16	c |    251179 |    1100    83164   275912 |    83679    75226     83 |  0.000 % |
178.33/178.51	c |    253228 |    1100    83164   275912 |    83679    77275     84 |  0.000 % |
180.14/180.39	c |    255481 |    1100    83164   275912 |    83679    79528     84 |  0.000 % |
182.03/182.25	c |    257959 |    1100    83164   275912 |    83679    82006     84 |  0.000 % |
182.13/182.36	c |    258059 |    1100    83164   275912 |    83679    82106     84 |  0.000 % |
182.23/182.48	c |    258170 |    1100    83164   275912 |    83679    82217     85 |  0.000 % |
182.34/182.59	c |    258292 |    1100    83164   275912 |    83679    82339     85 |  0.000 % |
182.53/182.73	c |    258425 |    1100    83164   275912 |    83679    82472     85 |  0.000 % |
182.63/182.86	c |    258571 |    1100    83164   275912 |    83679    82618     85 |  0.000 % |
182.83/183.03	c |    258733 |    1100    83164   275912 |    83679    82780     85 |  0.000 % |
183.03/183.20	c |    258913 |    1100    83164   275912 |    83679    82960     85 |  0.000 % |
183.13/183.37	c |    259106 |    1100    83164   275912 |    83679    83153     85 |  0.000 % |
183.33/183.53	c |    259319 |    1100    83164   275912 |    83679    83366     85 |  0.013 % |
183.53/183.73	c |    259552 |    1100    83164   275912 |    83679    83599     85 |  0.000 % |
183.73/183.99	c |    259811 |    1100    83164   275912 |    83679    83858     85 |  0.000 % |
184.03/184.27	c |    260092 |    1100    83164   275912 |    73150    73242     82 |  0.014 % |
184.33/184.54	c |    260401 |    1100    83164   275912 |    73150    64295     76 |  0.000 % |
184.63/184.82	c |    260741 |    1100    83164   275912 |    73150    64635     77 |  0.000 % |
184.83/185.05	c |    261113 |    1100    83164   275912 |    73150    65007     77 |  0.000 % |
185.13/185.32	c |    261524 |    1100    83164   275912 |    73150    65418     77 |  0.000 % |
185.43/185.69	c |    261973 |    1100    83164   275912 |    73150    65867     77 |  0.000 % |
185.83/186.03	c |    262466 |    1100    83164   275912 |    73150    66360     78 |  0.000 % |
186.13/186.33	c |    263008 |    1100    83164   275912 |    73150    66902     78 |  0.012 % |
186.53/186.78	c |    263605 |    1100    83164   275912 |    73150    67499     79 |  0.000 % |
187.03/187.23	c |    264260 |    1100    83164   275912 |    73150    68154     79 |  0.013 % |
187.53/187.73	c |    264982 |    1100    83164   275912 |    73150    68876     79 |  0.000 % |
188.02/188.23	c |    265774 |    1100    83164   275912 |    73150    69668     79 |  0.013 % |
188.62/188.88	c |    266648 |    1100    83164   275912 |    73150    70542     78 |  0.000 % |
189.22/189.50	c |    267606 |    1100    83164   275912 |    73150    71500     78 |  0.014 % |
189.92/190.16	c |    268660 |    1100    83164   275912 |    73150    72554     78 |  0.000 % |
190.71/190.97	c |    269819 |    1100    83164   275912 |    73150    73713     78 |  0.014 % |
191.81/192.04	c |    271092 |    1100    83164   275912 | 2147483647    67615     77 |  0.010 % |
192.91/193.15	c |    272494 |    1100    83164   275912 | 2147483647    69017     78 |  0.000 % |
194.01/194.24	c |    274035 |    1100    83164   275912 | 2147483647    70558     78 |  0.000 % |
195.41/195.69	c |    275729 |    1100    83164   275912 | 2147483647    72252     79 |  0.000 % |
196.72/196.93	c |    277592 |    1100    83164   275912 | 2147483647    74115     79 |  0.000 % |
198.41/198.69	c |    279641 |    1100    83164   275912 | 2147483647    76164     82 |  0.000 % |
200.41/200.67	c |    281895 |    1100    83164   275912 | 2147483647    78418     83 |  0.000 % |
202.41/202.69	c |    284373 |    1100    83164   275912 | 2147483647    80896     83 |  0.000 % |
204.41/204.63	c |    287099 |    1100    83164   275912 | 2147483647    83622     82 |  0.016 % |
204.51/204.72	c |    287201 |    1100    83164   275912 | 2147483647    83724     82 |  0.000 % |
204.61/204.85	c |    287311 |    1100    83164   275912 | 2147483647    83834     82 |  0.000 % |
204.71/204.99	c |    287432 |    1100    83164   275912 | 2147483647    83955     82 |  0.000 % |
204.91/205.12	c |    287565 |    1100    83164   275912 | 2147483647    84088     82 |  0.013 % |
205.11/205.32	c |    287711 |    1100    83164   275912 | 2147483647    84234     83 |  0.000 % |
205.21/205.45	c |    287871 |    1100    83164   275912 | 2147483647    84394     83 |  0.000 % |
205.31/205.59	c |    288049 |    1100    83164   275912 | 2147483647    84572     83 |  0.000 % |
205.51/205.77	c |    288242 |    1100    83164   275912 | 2147483647    84765     83 |  0.000 % |
205.71/205.98	c |    288455 |    1100    83164   275912 | 2147483647    84978     83 |  0.000 % |
205.90/206.16	c |    288690 |    1100    83164   275912 | 2147483647    85213     83 |  0.013 % |
206.10/206.36	c |    288947 |    1100    83164   275912 | 2147483647    85470     83 |  0.000 % |
206.30/206.58	c |    289232 |    1100    83164   275912 | 2147483647    85755     83 |  0.000 % |
206.61/206.81	c |    289542 |    1100    83164   275912 | 2147483647    86065     83 |  0.013 % |
206.90/207.12	c |    289881 |    1100    83164   275912 | 2147483647    86404     83 |  0.000 % |
207.20/207.46	c |    290253 |    1100    83164   275912 | 2147483647    86776     83 |  0.000 % |
207.50/207.77	c |    290663 |    1100    83164   275912 | 2147483647    87186     83 |  0.012 % |
207.90/208.17	c |    291112 |    1100    83164   275912 | 2147483647    87635     83 |  0.013 % |
208.30/208.57	c |    291608 |    1100    83164   275912 | 2147483647    88131     83 |  0.013 % |
208.81/209.09	c |    292150 |    1100    83164   275912 | 2147483647    88673     83 |  0.013 % |
209.40/209.62	c |    292746 |    1100    83164   275912 | 2147483647    89269     83 |  0.012 % |
210.00/210.20	c |    293401 |    1100    83164   275912 | 2147483647    89924     83 |  0.012 % |
210.50/210.75	c |    294122 |    1100    83164   275912 | 2147483647    90645     82 |  0.013 % |
211.10/211.35	c |    294914 |    1100    83164   275912 | 2147483647    91437     82 |  0.000 % |
211.90/212.16	c |    295785 |    1100    83164   275912 | 2147483647    92308     82 |  0.012 % |
212.60/212.86	c |    296743 |    1100    83164   275912 | 2147483647    93266     82 |  0.000 % |
213.50/213.72	c |    297798 |    1100    83164   275912 | 2147483647    94321     82 |  0.012 % |
214.50/214.70	c |    298957 |    1100    83164   275912 | 2147483647    95480     82 |  0.012 % |
215.50/215.74	c |    300231 |    1100    83164   275912 |    96526    96754     81 |  0.012 % |
216.50/216.77	c |    301631 |    1100    83164   275912 |    96526    87355     83 |  0.000 % |
217.70/217.91	c |    303173 |    1100    83164   275912 |    96526    88897     83 |  0.012 % |
219.10/219.32	c |    304867 |    1100    83164   275912 |    96526    90591     83 |  0.000 % |
220.70/220.97	c |    306731 |    1100    83164   275912 |    96526    92455     83 |  0.000 % |
222.30/222.55	c |    308785 |    1100    83164   275912 |    96526    94509     83 |  0.000 % |
224.30/224.52	c |    311042 |    1100    83164   275912 |    95725    82903     81 |  0.014 % |
226.60/226.86	c |    313521 |    1100    83164   275912 |    95725    85382     83 |  0.000 % |
229.20/229.45	c |    316246 |    1100    83164   275912 |    95725    88107     86 |  0.000 % |
232.39/232.61	c |    319243 |    1100    83164   275912 |    95725    91104     87 |  0.000 % |
232.49/232.74	c |    319344 |    1100    83164   275912 |    95725    91205     87 |  0.000 % |
232.59/232.86	c |    319454 |    1100    83164   275912 |    95725    91315     87 |  0.000 % |
232.69/232.96	c |    319576 |    1100    83164   275912 |    95725    91437     87 |  0.000 % |
232.79/233.09	c |    319710 |    1100    83164   275912 |    95725    91571     87 |  0.000 % |
232.99/233.23	c |    319857 |    1100    83164   275912 |    95725    91718     87 |  0.000 % |
233.09/233.39	c |    320018 |    1100    83164   275912 |    91861    91879     87 |  0.012 % |
233.39/233.68	c |    320200 |    1100    83164   275912 |    91861    77171     86 |  0.000 % |
233.59/233.85	c |    320393 |    1100    83164   275912 |    91861    77364     86 |  0.000 % |
233.79/234.03	c |    320605 |    1100    83164   275912 |    91861    77576     86 |  0.013 % |
233.99/234.23	c |    320839 |    1100    83164   275912 |    91861    77810     86 |  0.013 % |
234.18/234.43	c |    321095 |    1100    83164   275912 |    91861    78066     86 |  0.011 % |
234.48/234.71	c |    321376 |    1100    83164   275912 |    91861    78347     86 |  0.000 % |
234.78/235.02	c |    321686 |    1100    83164   275912 |    91861    78657     86 |  0.000 % |
234.98/235.27	c |    322026 |    1100    83164   275912 |    91861    78997     87 |  0.000 % |
235.38/235.69	c |    322398 |    1100    83164   275912 |    91861    79369     87 |  0.000 % |
235.78/236.05	c |    322809 |    1100    83164   275912 |    91861    79780     87 |  0.000 % |
236.08/236.38	c |    323260 |    1100    83164   275912 |    91861    80231     87 |  0.000 % |
236.48/236.79	c |    323753 |    1100    83164   275912 |    91861    80724     87 |  0.000 % |
236.98/237.24	c |    324295 |    1100    83164   275912 |    91861    81266     87 |  0.000 % |
237.39/237.64	c |    324891 |    1100    83164   275912 |    91861    81862     87 |  0.000 % |
237.88/238.11	c |    325546 |    1100    83164   275912 |    91861    82517     87 |  0.000 % |
238.58/238.88	c |    326266 |    1100    83164   275912 |    91861    83237     87 |  0.000 % |
239.48/239.78	c |    327059 |    1100    83164   275912 |    91861    84030     87 |  0.000 % |
240.28/240.56	c |    327931 |    1100    83164   275912 |    91861    84902     88 |  0.000 % |
241.18/241.43	c |    328890 |    1100    83164   275912 |    91861    85861     88 |  0.000 % |
242.18/242.41	c |    329943 |    1100    83164   275912 |    91861    86914     88 |  0.000 % |
243.28/243.52	c |    331101 |    1100    83164   275912 |    86971    77226     86 |  0.000 % |
244.28/244.59	c |    332375 |    1100    83164   275912 |    86971    78500     86 |  0.013 % |
245.48/245.75	c |    333775 |    1100    83164   275912 |    86971    79900     85 |  0.013 % |
246.88/247.15	c |    335316 |    1100    83164   275912 |    86971    81441     85 |  0.014 % |
248.18/248.48	c |    337010 |    1100    83164   275912 |    86971    83135     84 |  0.014 % |
250.38/250.61	c |    338874 |    1100    83164   275912 |    86971    84999     86 |  0.000 % |
252.28/252.57	c |    340924 |    1100    83164   275912 |    86126    77911     86 |  0.000 % |
254.07/254.30	c |    343179 |    1100    83164   275912 |    86126    80166     86 |  0.012 % |
255.77/256.08	c |    345658 |    1100    83164   275912 |    86126    82645     86 |  0.013 % |
257.67/257.96	c |    348384 |    1100    83164   275912 |    86126    85371     86 |  0.013 % |
260.27/260.59	c |    351383 |    1100    83164   275912 |    77340    69901     83 |  0.012 % |
262.87/263.16	c |    354679 |    1100    83164   275912 |    77340    73197     82 |  0.000 % |
262.97/263.24	c |    354779 |    1100    83164   275912 |    77340    73297     82 |  0.000 % |
263.07/263.32	c |    354890 |    1100    83164   275912 |    77340    73408     82 |  0.016 % |
263.17/263.44	c |    355012 |    1100    83164   275912 |    77340    73530     82 |  0.000 % |
263.27/263.58	c |    355147 |    1100    83164   275912 |    77340    73665     83 |  0.000 % |
263.47/263.73	c |    355294 |    1100    83164   275912 |    77340    73812     83 |  0.000 % |
263.57/263.87	c |    355454 |    1100    83164   275912 |    77340    73972     83 |  0.000 % |
263.78/264.02	c |    355631 |    1100    83164   275912 |    77340    74149     83 |  0.000 % |
263.87/264.16	c |    355824 |    1100    83164   275912 |    77340    74342     83 |  0.000 % |
264.07/264.34	c |    356037 |    1100    83164   275912 |    77340    74555     83 |  0.000 % |
264.27/264.54	c |    356272 |    1100    83164   275912 |    77340    74790     83 |  0.000 % |
264.47/264.75	c |    356530 |    1100    83164   275912 |    77340    75048     83 |  0.000 % |
264.77/265.02	c |    356811 |    1100    83164   275912 |    77340    75329     83 |  0.000 % |
264.97/265.29	c |    357122 |    1100    83164   275912 |    77340    75640     83 |  0.000 % |
265.27/265.58	c |    357461 |    1100    83164   275912 |    77340    75979     84 |  0.000 % |
265.57/265.88	c |    357833 |    1100    83164   275912 |    77340    76351     84 |  0.000 % |
265.87/266.13	c |    358242 |    1100    83164   275912 |    77340    76760     84 |  0.000 % |
266.27/266.51	c |    358691 |    1100    83164   275912 |    77340    77209     84 |  0.014 % |
266.67/266.90	c |    359184 |    1100    83164   275912 |    77340    77702     84 |  0.011 % |
267.07/267.39	c |    359729 |    1100    83164   275912 |    77340    70121     86 |  0.000 % |
267.67/267.90	c |    360329 |    1100    83164   275912 |    70394    70721     86 |  0.000 % |
268.17/268.41	c |    360985 |    1100    83164   275912 |    70394    63969     87 |  0.000 % |
268.77/269.05	c |    361707 |    1100    83164   275912 |    70394    64691     87 |  0.011 % |
269.47/269.71	c |    362500 |    1100    83164   275912 |    70394    65484     87 |  0.000 % |
270.17/270.43	c |    363373 |    1100    83164   275912 |    70394    66357     87 |  0.000 % |
270.87/271.17	c |    364332 |    1100    83164   275912 |    70394    67316     88 |  0.000 % |
271.67/271.95	c |    365387 |    1100    83164   275912 |    70394    68371     88 |  0.000 % |
272.57/272.83	c |    366549 |    1100    83164   275912 |    70394    69533     88 |  0.000 % |
273.67/273.91	c |    367824 |    1100    83164   275912 |    70394    70808     89 |  0.000 % |
274.87/275.13	c |    369224 |    1100    83164   275912 |    70394    65128     84 |  0.000 % |
275.97/276.21	c |    370764 |    1100    83164   275912 | 2147483647    66668     84 |  0.000 % |
277.16/277.43	c |    372459 |    1100    83164   275912 | 2147483647    68363     84 |  0.000 % |
278.66/278.93	c |    374322 |    1100    83164   275912 | 2147483647    70226     84 |  0.011 % |
280.15/280.42	c |    376371 |    1100    83164   275912 | 2147483647    72275     83 |  0.013 % |
282.05/282.36	c |    378624 |    1100    83164   275912 | 2147483647    74528     83 |  0.013 % |
284.15/284.45	c |    381103 |    1100    83164   275912 | 2147483647    77007     82 |  0.013 % |
286.36/286.63	c |    383828 |    1100    83164   275912 | 2147483647    79732     82 |  0.012 % |
288.66/288.97	c |    386826 |    1100    83164   275912 | 2147483647    82730     81 |  0.012 % |
291.45/291.71	c |    390122 |    1100    83164   275912 |    85905    86026     80 |  0.012 % |
294.46/294.74	c |    393748 |    1100    83164   275912 |    85905    76951     74 |  0.015 % |
294.56/294.85	c |    393849 |    1100    83164   275912 |    85905    77052     74 |  0.015 % |
294.65/294.98	c |    393960 |    1100    83164   275912 |    85905    77163     73 |  0.014 % |
294.75/295.08	c |    394081 |    1100    83164   275912 |    85905    77284     73 |  0.015 % |
294.95/295.21	c |    394215 |    1100    83164   275912 |    85905    77418     74 |  0.000 % |
295.05/295.33	c |    394361 |    1100    83164   275912 |    85905    77564     74 |  0.012 % |
295.15/295.43	c |    394522 |    1100    83164   275912 |    85905    77725     74 |  0.011 % |
295.35/295.68	c |    394698 |    1100    83164   275912 |    85905    77901     74 |  0.000 % |
295.55/295.87	c |    394894 |    1100    83164   275912 |    85905    78097     74 |  0.000 % |
295.75/296.04	c |    395106 |    1100    83164   275912 |    85905    78309     74 |  0.000 % |
295.95/296.27	c |    395340 |    1100    83164   275912 |    85905    78543     74 |  0.000 % |
296.15/296.44	c |    395596 |    1100    83164   275912 |    85905    78799     74 |  0.000 % |
296.35/296.69	c |    395877 |    1100    83164   275912 |    85905    79080     74 |  0.000 % |
296.65/296.95	c |    396187 |    1100    83164   275912 |    85905    79390     75 |  0.000 % |
296.85/297.17	c |    396527 |    1100    83164   275912 |    85905    79730     75 |  0.000 % |
297.15/297.45	c |    396899 |    1100    83164   275912 |    85905    80102     75 |  0.000 % |
297.45/297.79	c |    397308 |    1100    83164   275912 |    85905    80511     75 |  0.000 % |
297.85/298.10	c |    397760 |    1100    83164   275912 |    85905    80963     75 |  0.000 % |
298.15/298.43	c |    398253 |    1100    83164   275912 |    85905    81456     75 |  0.000 % |
298.45/298.76	c |    398797 |    1100    83164   275912 |    85905    82000     75 |  0.015 % |
298.85/299.11	c |    399393 |    1100    83164   275912 |    85905    82596     75 |  0.013 % |
299.25/299.53	c |    400049 |    1100    83164   275912 |    83203    83252     75 |  0.012 % |
299.95/300.22	c |    400769 |    1100    83164   275912 |    83203    74720     75 |  0.000 % |
300.45/300.79	c |    401562 |    1100    83164   275912 |    83203    75513     76 |  0.000 % |
301.15/301.41	c |    402433 |    1100    83164   275912 |    83203    76384     77 |  0.000 % |
301.95/302.23	c |    403391 |    1100    83164   275912 |    83203    77342     78 |  0.000 % |
302.65/302.99	c |    404446 |    1100    83164   275912 |    83203    78397     78 |  0.015 % |
303.45/303.72	c |    405606 |    1100    83164   275912 |    83203    79557     78 |  0.000 % |
304.45/304.74	c |    406882 |    1100    83164   275912 |    83203    80833     78 |  0.013 % |
305.55/305.85	c |    408282 |    1100    83164   275912 |    83203    82233     78 |  0.000 % |
306.85/307.19	c |    409823 |    1100    83164   275912 |    83203    83774     79 |  0.000 % |
308.15/308.47	c |    411517 |    1100    83164   275912 | 2147483647    77091     76 |  0.000 % |
310.04/310.30	c |    413380 |    1100    83164   275912 | 2147483647    78954     78 |  0.000 % |
311.84/312.12	c |    415429 |    1100    83164   275912 | 2147483647    81003     79 |  0.000 % |
313.84/314.18	c |    417682 |    1100    83164   275912 | 2147483647    83256     80 |  0.000 % |
316.14/316.47	c |    420162 |    1100    83164   275912 | 2147483647    85736     80 |  0.000 % |
319.04/319.35	c |    422887 |    1100    83164   275912 | 2147483647    88461     81 |  0.000 % |
322.24/322.57	c |    425885 |    1100    83164   275912 | 2147483647    91459     81 |  0.000 % |
325.53/325.80	c |    429181 |    1100    83164   275912 | 2147483647    94755     81 |  0.013 % |
329.23/329.55	c |    432808 |    1100    83164   275912 |    95574    82193     80 |  0.012 % |
333.04/333.38	c |    436796 |    1100    83164   275912 |    95574    86181     79 |  0.010 % |
333.23/333.52	c |    436897 |    1100    83164   275912 |    95574    86282     79 |  0.010 % |
333.33/333.62	c |    437009 |    1100    83164   275912 |    95574    86394     79 |  0.012 % |
333.43/333.78	c |    437131 |    1100    83164   275912 |    95574    86516     79 |  0.000 % |
333.63/333.92	c |    437266 |    1100    83164   275912 |    95574    86651     79 |  0.000 % |
333.73/334.04	c |    437412 |    1100    83164   275912 |    95574    86797     80 |  0.000 % |
333.83/334.19	c |    437575 |    1100    83164   275912 |    95574    86960     80 |  0.000 % |
334.03/334.35	c |    437752 |    1100    83164   275912 |    95574    87137     80 |  0.000 % |
334.23/334.52	c |    437946 |    1100    83164   275912 |    95574    87331     80 |  0.000 % |
334.43/334.77	c |    438158 |    1100    83164   275912 |    95574    87543     80 |  0.012 % |
334.73/335.00	c |    438393 |    1100    83164   275912 |    95574    87778     80 |  0.000 % |
334.83/335.19	c |    438649 |    1100    83164   275912 |    95574    88034     80 |  0.000 % |
335.03/335.39	c |    438933 |    1100    83164   275912 |    95574    88318     80 |  0.000 % |
335.23/335.59	c |    439242 |    1100    83164   275912 |    95574    88627     80 |  0.014 % |
335.53/335.87	c |    439581 |    1100    83164   275912 |    95574    88966     80 |  0.000 % |
335.93/336.28	c |    439953 |    1100    83164   275912 |    95574    89338     80 |  0.000 % |
336.33/336.66	c |    440364 |    1100    83164   275912 |    89387    89749     81 |  0.000 % |
336.73/337.09	c |    440815 |    1100    83164   275912 |    89387    76280     78 |  0.000 % |
337.23/337.51	c |    441310 |    1100    83164   275912 |    89387    76775     78 |  0.000 % |
337.63/337.92	c |    441852 |    1100    83164   275912 |    89387    77317     78 |  0.014 % |
338.03/338.34	c |    442449 |    1100    83164   275912 |    89387    77914     78 |  0.000 % |
338.53/338.84	c |    443104 |    1100    83164   275912 |    89387    78569     78 |  0.000 % |
339.03/339.37	c |    443826 |    1100    83164   275912 |    89387    79291     78 |  0.013 % |
339.63/339.95	c |    444620 |    1100    83164   275912 |    89387    80085     78 |  0.000 % |
340.23/340.59	c |    445491 |    1100    83164   275912 |    89387    80956     78 |  0.000 % |
341.03/341.35	c |    446449 |    1100    83164   275912 |    89387    81914     78 |  0.000 % |
342.03/342.31	c |    447503 |    1100    83164   275912 |    89387    82968     79 |  0.000 % |
342.93/343.24	c |    448661 |    1100    83164   275912 |    89387    84126     80 |  0.000 % |
344.03/344.34	c |    449934 |    1100    83164   275912 |    89387    85399     81 |  0.000 % |
345.23/345.52	c |    451339 |    1100    83164   275912 |    85466    77247     84 |  0.000 % |
346.72/347.09	c |    452881 |    1100    83164   275912 |    85466    78789     84 |  0.000 % |
348.12/348.44	c |    454575 |    1100    83164   275912 |    85466    80483     85 |  0.000 % |
349.82/350.11	c |    456438 |    1100    83164   275912 |    85466    82346     86 |  0.000 % |
351.73/352.03	c |    458487 |    1100    83164   275912 |    85466    84395     87 |  0.000 % |
353.72/354.00	c |    460740 |    1100    83164   275912 |    85911    76040     91 |  0.000 % |
355.62/355.97	c |    463219 |    1100    83164   275912 |    85911    78519     90 |  0.013 % |
357.92/358.27	c |    465944 |    1100    83164   275912 |    85911    81244     89 |  0.011 % |
360.32/360.70	c |    468943 |    1100    83164   275912 |    85911    84243     88 |  0.011 % |
363.02/363.35	c |    472239 |    1100    83164   275912 |    85301    76555     84 |  0.011 % |
366.12/366.40	c |    475865 |    1100    83164   275912 |    85301    80181     83 |  0.013 % |
369.50/369.90	c |    479852 |    1100    83164   275912 |    85301    84168     81 |  0.013 % |
373.40/373.74	c |    484237 |    1100    83164   275912 |    84316    76149     75 |  0.011 % |
373.50/373.85	c |    484342 |    1100    83164   275912 |    84316    76254     75 |  0.013 % |
373.60/373.95	c |    484452 |    1100    83164   275912 |    84316    76364     75 |  0.013 % |
373.70/374.08	c |    484574 |    1100    83164   275912 |    84316    76486     75 |  0.011 % |
373.90/374.21	c |    484707 |    1100    83164   275912 |    84316    76619     76 |  0.000 % |
374.00/374.34	c |    484853 |    1100    83164   275912 |    84316    76765     76 |  0.000 % |
374.20/374.50	c |    485014 |    1100    83164   275912 |    84316    76926     76 |  0.000 % |
374.30/374.63	c |    485191 |    1100    83164   275912 |    84316    77103     76 |  0.000 % |
374.39/374.75	c |    485384 |    1100    83164   275912 |    84316    77296     76 |  0.000 % |
374.49/374.89	c |    485597 |    1100    83164   275912 |    84316    77509     76 |  0.000 % |
374.80/375.14	c |    485831 |    1100    83164   275912 |    84316    77743     76 |  0.000 % |
374.99/375.32	c |    486090 |    1100    83164   275912 |    84316    78002     77 |  0.000 % |
375.19/375.56	c |    486371 |    1100    83164   275912 |    84316    78283     77 |  0.000 % |
375.49/375.83	c |    486680 |    1100    83164   275912 |    84316    78592     77 |  0.000 % |
375.69/376.10	c |    487021 |    1100    83164   275912 |    84316    78933     77 |  0.000 % |
376.19/376.53	c |    487393 |    1100    83164   275912 |    84316    79305     78 |  0.000 % |
376.49/376.86	c |    487802 |    1100    83164   275912 |    84316    79714     78 |  0.014 % |
376.79/377.16	c |    488255 |    1100    83164   275912 |    84316    80167     78 |  0.013 % |
377.09/377.44	c |    488749 |    1100    83164   275912 |    84316    80661     78 |  0.013 % |
377.49/377.80	c |    489291 |    1100    83164   275912 |    84316    81203     78 |  0.011 % |
377.89/378.24	c |    489888 |    1100    83164   275912 |    84316    81800     78 |  0.011 % |
378.39/378.77	c |    490543 |    1100    83164   275912 |    81912    82455     78 |  0.014 % |
379.20/379.51	c |    491267 |    1100    83164   275912 |    81912    74720     77 |  0.000 % |
379.69/380.08	c |    492059 |    1100    83164   275912 |    81912    75512     78 |  0.000 % |
380.59/380.98	c |    492930 |    1100    83164   275912 |    81912    76383     79 |  0.000 % |
381.39/381.75	c |    493889 |    1100    83164   275912 |    81912    77342     80 |  0.000 % |
382.29/382.66	c |    494942 |    1100    83164   275912 |    81912    78395     80 |  0.000 % |
383.19/383.56	c |    496100 |    1100    83164   275912 |    81912    79553     80 |  0.000 % |
384.19/384.59	c |    497374 |    1100    83164   275912 |    81912    80827     80 |  0.012 % |
385.39/385.70	c |    498776 |    1100    83164   275912 |    81912    82229     80 |  0.000 % |
386.59/386.91	c |    500316 |    1100    83164   275912 | 2147483647    75547     81 |  0.012 % |
387.79/388.14	c |    502010 |    1100    83164   275912 | 2147483647    77241     80 |  0.014 % |
389.58/389.94	c |    503873 |    1100    83164   275912 | 2147483647    79104     82 |  0.000 % |
391.68/392.04	c |    505922 |    1100    83164   275912 | 2147483647    81153     83 |  0.000 % |
393.98/394.38	c |    508177 |    1100    83164   275912 | 2147483647    83408     84 |  0.000 % |
396.18/396.56	c |    510656 |    1100    83164   275912 |    85231    85887     85 |  0.000 % |
398.68/399.09	c |    513381 |    1100    83164   275912 |    85231    79712     85 |  0.012 % |
401.68/402.01	c |    516378 |    1100    83164   275912 |    85231    82709     85 |  0.000 % |
404.88/405.24	c |    519674 |    1100    83164   275912 |    85231    77415     81 |  0.014 % |
408.28/408.69	c |    523299 |    1100    83164   275912 | 2147483647    81040     82 |  0.000 % |
412.18/412.52	c |    527289 |    1100    83164   275912 | 2147483647    85030     82 |  0.000 % |
416.76/417.12	c |    531676 |    1100    83164   275912 |    87741    78218     79 |  0.000 % |
420.66/421.01	c |    536499 |    1100    83164   275912 |    87741    83041     79 |  0.000 % |
420.76/421.11	c |    536599 |    1100    83164   275912 |    87741    83141     79 |  0.000 % |
420.86/421.25	c |    536714 |    1100    83164   275912 |    87741    83256     79 |  0.000 % |
420.96/421.36	c |    536836 |    1100    83164   275912 |    87741    83378     79 |  0.000 % |
421.06/421.47	c |    536969 |    1100    83164   275912 |    87741    83511     79 |  0.000 % |
421.16/421.59	c |    537117 |    1100    83164   275912 |    87741    83659     79 |  0.013 % |
421.36/421.72	c |    537277 |    1100    83164   275912 |    87741    83819     79 |  0.000 % |
421.46/421.87	c |    537453 |    1100    83164   275912 |    87741    83995     79 |  0.000 % |
421.66/422.07	c |    537646 |    1100    83164   275912 |    87741    84188     79 |  0.000 % |
421.86/422.25	c |    537858 |    1100    83164   275912 |    87741    84400     79 |  0.000 % |
422.06/422.44	c |    538091 |    1100    83164   275912 |    87741    84633     79 |  0.000 % |
422.26/422.62	c |    538349 |    1100    83164   275912 |    87741    84891     79 |  0.000 % |
422.56/422.90	c |    538632 |    1100    83164   275912 |    87741    85174     79 |  0.000 % |
422.76/423.18	c |    538941 |    1100    83164   275912 |    87741    85483     80 |  0.000 % |
423.06/423.43	c |    539280 |    1100    83164   275912 |    87741    85822     80 |  0.012 % |
423.36/423.73	c |    539652 |    1100    83164   275912 |    87741    86194     80 |  0.000 % |
423.66/424.04	c |    540063 |    1100    83164   275912 |    86542    86605     80 |  0.013 % |
424.26/424.63	c |    540515 |    1100    83164   275912 |    86542    76180     83 |  0.000 % |
424.66/425.07	c |    541010 |    1100    83164   275912 |    86542    76675     83 |  0.000 % |
425.16/425.58	c |    541552 |    1100    83164   275912 |    86542    77217     84 |  0.000 % |
425.66/426.09	c |    542148 |    1100    83164   275912 |    86542    77813     84 |  0.000 % |
426.16/426.59	c |    542805 |    1100    83164   275912 |    86542    78470     84 |  0.000 % |
426.85/427.22	c |    543525 |    1100    83164   275912 |    86542    79190     85 |  0.000 % |
427.65/428.02	c |    544317 |    1100    83164   275912 |    86542    79982     85 |  0.000 % |
428.45/428.81	c |    545190 |    1100    83164   275912 |    86542    80855     86 |  0.000 % |
429.15/429.57	c |    546148 |    1100    83164   275912 |    86542    81813     86 |  0.012 % |
429.95/430.31	c |    547201 |    1100    83164   275912 |    86542    82866     86 |  0.011 % |
430.86/431.22	c |    548360 |    1100    83164   275912 |    86542    84025     86 |  0.011 % |
431.85/432.28	c |    549636 |    1100    83164   275912 |    86542    85301     85 |  0.011 % |
433.05/433.42	c |    551036 |    1100    83164   275912 | 2147483647    86701     85 |  0.011 % |
434.85/435.25	c |    552577 |    1100    83164   275912 | 2147483647    88242     86 |  0.000 % |
436.75/437.16	c |    554273 |    1100    83164   275912 | 2147483647    89938     87 |  0.000 % |
438.85/439.25	c |    556141 |    1100    83164   275912 | 2147483647    91806     88 |  0.012 % |
440.95/441.37	c |    558191 |    1100    83164   275912 | 2147483647    93856     88 |  0.000 % |
442.95/443.35	c |    560446 |    1100    83164   275912 |    95666    96111     88 |  0.013 % |
444.95/445.30	c |    562926 |    1100    83164   275912 |    95666    86385     89 |  0.014 % |
447.44/447.87	c |    565652 |    1100    83164   275912 |    95666    89111     89 |  0.013 % |
450.44/450.81	c |    568650 |    1100    83164   275912 |    95666    92109     88 |  0.000 % |
453.44/453.86	c |    571946 |    1100    83164   275912 |    93460    80934     85 |  0.013 % |
456.05/456.48	c |    575571 |    1100    83164   275912 |    93460    84559     84 |  0.013 % |
459.93/460.36	c |    579558 |    1100    83164   275912 |    93460    88546     88 |  0.000 % |
464.73/465.17	c |    583943 |    1100    83164   275912 |    88988    80494     87 |  0.000 % |
469.34/469.71	c |    588766 |    1100    83164   275912 |    88988    85317     89 |  0.000 % |
474.63/475.05	c |    594077 |    1100    83164   275912 |    86553    77207     90 |  0.000 % |
474.73/475.19	c |    594178 |    1100    83164   275912 |    86553    77308     90 |  0.000 % |
474.93/475.32	c |    594290 |    1100    83164   275912 |    86553    77420     90 |  0.000 % |
475.03/475.46	c |    594411 |    1100    83164   275912 |    86553    77541     90 |  0.000 % |
475.23/475.60	c |    594544 |    1100    83164   275912 |    86553    77674     90 |  0.000 % |
475.33/475.73	c |    594691 |    1100    83164   275912 |    86553    77821     90 |  0.000 % |
475.43/475.87	c |    594852 |    1100    83164   275912 |    86553    77982     90 |  0.000 % |
475.63/476.05	c |    595028 |    1100    83164   275912 |    86553    78158     90 |  0.013 % |
475.83/476.25	c |    595221 |    1100    83164   275912 |    86553    78351     90 |  0.000 % |
476.03/476.42	c |    595433 |    1100    83164   275912 |    86553    78563     90 |  0.000 % |
476.23/476.66	c |    595666 |    1100    83164   275912 |    86553    78796     90 |  0.013 % |
476.43/476.85	c |    595923 |    1100    83164   275912 |    86553    79053     90 |  0.000 % |
476.73/477.11	c |    596205 |    1100    83164   275912 |    86553    79335     90 |  0.000 % |
476.93/477.40	c |    596515 |    1100    83164   275912 |    86553    79645     90 |  0.000 % |
477.33/477.77	c |    596855 |    1100    83164   275912 |    86553    79985     90 |  0.000 % |
477.72/478.11	c |    597227 |    1100    83164   275912 |    86553    80357     91 |  0.014 % |
478.03/478.46	c |    597639 |    1100    83164   275912 |    86553    80769     90 |  0.014 % |
478.32/478.78	c |    598088 |    1100    83164   275912 |    86553    81218     90 |  0.000 % |
478.82/479.29	c |    598582 |    1100    83164   275912 |    86553    81712     91 |  0.000 % |
479.52/479.97	c |    599129 |    1100    83164   275912 |    86553    82259     91 |  0.000 % |
479.92/480.34	c |    599725 |    1100    83164   275912 |    86553    82855     91 |  0.000 % |
480.62/481.01	c |    600380 |    1100    83164   275912 |    83131    83510     92 |  0.000 % |
481.33/481.77	c |    601100 |    1100    83164   275912 |    83131    72034     92 |  0.000 % |
482.02/482.48	c |    601894 |    1100    83164   275912 |    83131    72828     92 |  0.000 % |
482.92/483.39	c |    602765 |    1100    83164   275912 |    83131    73699     92 |  0.000 % |
484.12/484.50	c |    603723 |    1100    83164   275912 |    83131    74657     92 |  0.012 % |
485.02/485.40	c |    604776 |    1100    83164   275912 |    83131    75710     91 |  0.013 % |
486.12/486.52	c |    605935 |    1100    83164   275912 |    83131    76869     91 |  0.000 % |
487.22/487.68	c |    607209 |    1100    83164   275912 |    83131    78143     91 |  0.014 % |
488.42/488.82	c |    608611 |    1100    83164   275912 |    83131    79545     90 |  0.013 % |
489.62/490.09	c |    610154 |    1100    83164   275912 |    80935    81088     90 |  0.014 % |
491.22/491.70	c |    611848 |    1100    83164   275912 |    80935    71758     87 |  0.012 % |
493.02/493.48	c |    613713 |    1100    83164   275912 |    80935    73623     87 |  0.013 % |
494.82/495.21	c |    615762 |    1100    83164   275912 |    80935    75672     86 |  0.012 % |
496.52/496.97	c |    618015 |    1100    83164   275912 |    80935    77925     86 |  0.013 % |
499.42/499.88	c |    620493 |    1100    83164   275912 |    79910    71984     85 |  0.000 % |
502.12/502.51	c |    623218 |    1100    83164   275912 |    79910    74709     86 |  0.000 % |
504.61/505.05	c |    626215 |    1100    83164   275912 |    79910    77706     87 |  0.000 % |
507.71/508.12	c |    629511 |    1100    83164   275912 |    79910    72939     89 |  0.000 % |
510.91/511.34	c |    633137 |    1100    83164   275912 | 2147483647    76565     92 |  0.000 % |
515.01/515.49	c |    637126 |    1100    83164   275912 | 2147483647    80554     94 |  0.000 % |
520.30/520.75	c |    641513 |    1100    83164   275912 |    83430    73378     96 |  0.000 % |
526.30/526.72	c |    646337 |    1100    83164   275912 |    83430    78202     99 |  0.000 % |
531.80/532.24	c |    651645 |    1100    83164   275912 |    81866    70976     97 |  0.000 % |
536.80/537.24	c |    657481 |    1100    83164   275912 |    81866    76812     97 |  0.000 % |
536.90/537.37	c |    657581 |    1100    83164   275912 |    81866    76912     97 |  0.000 % |
537.10/537.55	c |    657691 |    1100    83164   275912 |    81866    77022     97 |  0.000 % |
537.30/537.73	c |    657812 |    1100    83164   275912 |    81866    77143     97 |  0.000 % |
537.40/537.85	c |    657945 |    1100    83164   275912 |    81866    77276     97 |  0.000 % |
537.50/537.99	c |    658092 |    1100    83164   275912 |    81866    77423     97 |  0.000 % |
537.80/538.22	c |    658252 |    1100    83164   275912 |    81866    77583     97 |  0.000 % |
538.00/538.41	c |    658429 |    1100    83164   275912 |    81866    77760     97 |  0.000 % |
538.20/538.61	c |    658623 |    1100    83164   275912 |    81866    77954     97 |  0.000 % |
538.30/538.78	c |    658839 |    1100    83164   275912 |    81866    78170     97 |  0.000 % |
538.60/539.04	c |    659076 |    1100    83164   275912 |    81866    78407     97 |  0.000 % |
538.90/539.34	c |    659334 |    1100    83164   275912 |    81866    78665     98 |  0.000 % |
539.30/539.74	c |    659615 |    1100    83164   275912 |    81866    78946     98 |  0.011 % |
539.60/540.05	c |    659926 |    1100    83164   275912 |    81866    79257     98 |  0.000 % |
539.90/540.31	c |    660265 |    1100    83164   275912 |    79332    79596     98 |  0.011 % |
540.29/540.75	c |    660642 |    1100    83164   275912 |    79332    68974     97 |  0.014 % |
540.70/541.17	c |    661051 |    1100    83164   275912 |    79332    69383     97 |  0.013 % |
541.29/541.75	c |    661500 |    1100    83164   275912 |    79332    69832     97 |  0.000 % |
541.80/542.27	c |    661994 |    1100    83164   275912 |    79332    70326     98 |  0.000 % |
542.19/542.68	c |    662537 |    1100    83164   275912 |    79332    70869     98 |  0.000 % |
542.79/543.26	c |    663135 |    1100    83164   275912 |    79332    71467     98 |  0.000 % |
543.49/543.92	c |    663790 |    1100    83164   275912 |    79332    72122     99 |  0.000 % |
544.10/544.50	c |    664511 |    1100    83164   275912 |    79332    72843     99 |  0.000 % |
544.89/545.37	c |    665303 |    1100    83164   275912 |    79332    73635     99 |  0.000 % |
545.99/546.47	c |    666175 |    1100    83164   275912 |    79332    74507     99 |  0.000 % |
547.19/547.61	c |    667133 |    1100    83164   275912 |    79332    75465     99 |  0.000 % |
547.99/548.40	c |    668186 |    1100    83164   275912 |    79332    76518     99 |  0.000 % |
549.08/549.54	c |    669344 |    1100    83164   275912 |    79332    77676     99 |  0.012 % |
550.18/550.62	c |    670617 |    1100    83164   275912 |    78336    78949     99 |  0.012 % |
551.48/551.96	c |    672017 |    1100    83164   275912 |    78336    70126    102 |  0.012 % |
553.18/553.66	c |    673560 |    1100    83164   275912 |    78336    71669    103 |  0.000 % |
554.78/555.27	c |    675257 |    1100    83164   275912 |    78336    73366    104 |  0.000 % |
556.38/556.89	c |    677121 |    1100    83164   275912 |    78336    75230    104 |  0.000 % |
558.28/558.75	c |    679173 |    1100    83164   275912 |    78336    77282    103 |  0.000 % |
560.48/560.93	c |    681426 |    1100    83164   275912 |    78109    67678    103 |  0.014 % |
562.38/562.81	c |    683904 |    1100    83164   275912 |    78109    70156    103 |  0.014 % |
564.98/565.42	c |    686629 |    1100    83164   275912 |    78109    72881    102 |  0.012 % |
568.08/568.52	c |    689627 |    1100    83164   275912 |    78109    75879    101 |  0.014 % |
570.87/571.35	c |    692923 |    1100    83164   275912 |    76253    65943     94 |  0.010 % |
573.68/574.16	c |    696551 |    1100    83164   275912 |    76253    69571     92 |  0.012 % |
577.47/577.97	c |    700540 |    1100    83164   275912 |    73020    62268     89 |  0.000 % |
581.87/582.30	c |    704925 |    1100    83164   275912 |    73020    66653     93 |  0.000 % |
586.37/586.83	c |    709748 |    1100    83164   275912 |    73020    71476     94 |  0.000 % |
590.87/591.34	c |    715055 |    1100    83164   275912 |    71728    68640     91 |  0.012 % |
596.26/596.72	c |    720890 |    1100    83164   275912 |    64116    57010     95 |  0.000 % |
601.46/601.92	c |    727308 |    1100    83164   275912 |    64116    63428     95 |  0.000 % |
601.56/602.02	c |    727410 |    1100    83164   275912 |    64116    63530     95 |  0.013 % |
601.66/602.10	c |    727523 |    1100    83164   275912 |    64116    63643     95 |  0.011 % |
601.76/602.24	c |    727644 |    1100    83164   275912 |    64116    63764     95 |  0.000 % |
601.86/602.35	c |    727778 |    1100    83164   275912 |    64116    63898     95 |  0.000 % |
601.96/602.44	c |    727924 |    1100    83164   275912 |    64116    64044     95 |  0.000 % |
602.06/602.57	c |    728085 |    1100    83164   275912 |    64116    64205     95 |  0.000 % |
602.36/602.82	c |    728261 |    1100    83164   275912 |    64116    57961     94 |  0.000 % |
602.56/603.00	c |    728454 |    1100    83164   275912 |    64116    58154     94 |  0.000 % |
602.76/603.20	c |    728668 |    1100    83164   275912 |    64116    58368     93 |  0.013 % |
602.96/603.41	c |    728902 |    1100    83164   275912 |    64116    58602     93 |  0.014 % |
603.16/603.65	c |    729160 |    1100    83164   275912 |    64116    58860     94 |  0.000 % |
603.46/603.94	c |    729442 |    1100    83164   275912 |    64116    59142     94 |  0.000 % |
603.66/604.16	c |    729751 |    1100    83164   275912 |    64116    59451     94 |  0.012 % |
603.86/604.39	c |    730091 |    1100    83164   275912 | 2147483647    59791     94 |  0.000 % |
604.26/604.70	c |    730464 |    1100    83164   275912 | 2147483647    60164     94 |  0.000 % |
604.56/605.02	c |    730876 |    1100    83164   275912 | 2147483647    60576     94 |  0.000 % |
604.76/605.29	c |    731325 |    1100    83164   275912 | 2147483647    61025     94 |  0.000 % |
605.06/605.59	c |    731818 |    1100    83164   275912 | 2147483647    61518     94 |  0.000 % |
605.56/606.01	c |    732360 |    1100    83164   275912 | 2147483647    62060     94 |  0.013 % |
605.96/606.47	c |    732958 |    1100    83164   275912 | 2147483647    62658     93 |  0.013 % |
606.45/606.91	c |    733615 |    1100    83164   275912 | 2147483647    63315     93 |  0.013 % |
606.95/607.42	c |    734335 |    1100    83164   275912 | 2147483647    64035     93 |  0.015 % |
607.35/607.88	c |    735127 |    1100    83164   275912 | 2147483647    64827     93 |  0.015 % |
607.86/608.38	c |    735999 |    1100    83164   275912 | 2147483647    65699     92 |  0.000 % |
608.55/609.01	c |    736958 |    1100    83164   275912 | 2147483647    66658     92 |  0.015 % |
609.25/609.73	c |    738011 |    1100    83164   275912 | 2147483647    67711     91 |  0.013 % |
610.35/610.80	c |    739170 |    1100    83164   275912 | 2147483647    68870     93 |  0.000 % |
611.35/611.84	c |    740443 |    1100    83164   275912 | 2147483647    70143     92 |  0.000 % |
612.45/612.98	c |    741846 |    1100    83164   275912 | 2147483647    71546     92 |  0.013 % |
613.85/614.35	c |    743387 |    1100    83164   275912 | 2147483647    73087     91 |  0.014 % |
615.15/615.67	c |    745083 |    1100    83164   275912 | 2147483647    74783     91 |  0.000 % |
616.75/617.21	c |    746946 |    1100    83164   275912 | 2147483647    76646     92 |  0.000 % |
618.45/618.93	c |    748996 |    1100    83164   275912 | 2147483647    78696     91 |  0.011 % |
619.95/620.42	c |    751250 |    1100    83164   275912 | 2147483647    80950     90 |  0.011 % |
621.75/622.25	c |    753729 |    1100    83164   275912 | 2147483647    83429     89 |  0.014 % |
624.05/624.58	c |    756456 |    1100    83164   275912 | 2147483647    86156     89 |  0.016 % |
626.45/626.95	c |    759453 |    1100    83164   275912 | 2147483647    89153     88 |  0.000 % |
629.25/629.72	c |    762750 |    1100    83164   275912 |    89701    80621     88 |  0.016 % |
631.95/632.47	c |    766377 |    1100    83164   275912 |    89701    84248     87 |  0.016 % |
635.44/635.90	c |    770366 |    1100    83164   275912 |    87873    88237     86 |  0.016 % |
639.04/639.59	c |    774753 |    1100    83164   275912 |    87873    80237     80 |  0.016 % |
643.73/644.27	c |    779576 |    1100    83164   275912 |    87873    85060     80 |  0.013 % |
648.13/648.68	c |    784882 |    1100    83164   275912 |    85484    79340     83 |  0.000 % |
653.23/653.73	c |    790717 |    1100    83164   275912 | 2147483647    85175     83 |  0.000 % |
658.53/659.04	c |    797135 |    1100    83164   275912 | 2147483647    91593     84 |  0.012 % |
664.63/665.19	c |    804197 |    1100    83164   275912 |    94458    85656     79 |  0.000 % |
664.73/665.29	c |    804297 |    1100    83164   275912 |    94458    85756     79 |  0.000 % |
664.83/665.38	c |    804408 |    1100    83164   275912 |    94458    85867     79 |  0.014 % |
664.93/665.49	c |    804529 |    1100    83164   275912 |    94458    85988     79 |  0.000 % |
665.13/665.61	c |    804663 |    1100    83164   275912 |    94458    86122     79 |  0.000 % |
665.23/665.75	c |    804811 |    1100    83164   275912 |    94458    86270     79 |  0.011 % |
665.33/665.90	c |    804972 |    1100    83164   275912 |    94458    86431     79 |  0.000 % |
665.53/666.04	c |    805150 |    1100    83164   275912 |    94458    86609     79 |  0.000 % |
665.73/666.20	c |    805343 |    1100    83164   275912 |    94458    86802     79 |  0.000 % |
665.93/666.40	c |    805555 |    1100    83164   275912 |    94458    87014     79 |  0.000 % |
666.03/666.57	c |    805788 |    1100    83164   275912 |    94458    87247     79 |  0.000 % |
666.23/666.78	c |    806046 |    1100    83164   275912 |    94458    87505     79 |  0.011 % |
666.52/667.05	c |    806327 |    1100    83164   275912 |    94458    87786     79 |  0.000 % |
666.82/667.33	c |    806637 |    1100    83164   275912 |    94458    88096     80 |  0.000 % |
667.13/667.60	c |    806976 |    1100    83164   275912 |    94458    88435     80 |  0.012 % |
667.32/667.86	c |    807350 |    1100    83164   275912 |    94458    88809     80 |  0.000 % |
667.72/668.20	c |    807761 |    1100    83164   275912 |    94458    89220     80 |  0.011 % |
668.02/668.57	c |    808210 |    1100    83164   275912 |    94458    89669     80 |  0.000 % |
668.42/668.95	c |    808705 |    1100    83164   275912 |    94458    90164     80 |  0.000 % |
668.82/669.39	c |    809248 |    1100    83164   275912 |    94458    90707     80 |  0.000 % |
669.33/669.81	c |    809844 |    1100    83164   275912 |    94458    91303     80 |  0.000 % |
669.82/670.32	c |    810499 |    1100    83164   275912 |    91461    91958     80 |  0.000 % |
670.43/670.90	c |    811220 |    1100    83164   275912 |    91461    82909     80 |  0.013 % |
671.02/671.51	c |    812014 |    1100    83164   275912 |    91461    83703     80 |  0.000 % |
671.63/672.17	c |    812885 |    1100    83164   275912 |    91461    84574     80 |  0.000 % |
672.42/672.99	c |    813843 |    1100    83164   275912 |    91461    85532     81 |  0.000 % |
673.42/673.92	c |    814896 |    1100    83164   275912 |    91461    86585     81 |  0.000 % |
674.22/674.77	c |    816055 |    1100    83164   275912 |    91461    87744     81 |  0.000 % |
675.22/675.72	c |    817328 |    1100    83164   275912 |    91461    89017     82 |  0.000 % |
676.22/676.76	c |    818730 |    1100    83164   275912 |    91461    90419     82 |  0.000 % |
677.32/677.87	c |    820273 |    1100    83164   275912 | 2147483647    91962     82 |  0.011 % |
678.72/679.21	c |    821968 |    1100    83164   275912 | 2147483647    93657     82 |  0.012 % |
680.12/680.68	c |    823834 |    1100    83164   275912 | 2147483647    95523     81 |  0.013 % |
681.82/682.33	c |    825883 |    1100    83164   275912 | 2147483647    97572     81 |  0.013 % |
683.71/684.22	c |    828139 |    1100    83164   275912 | 2147483647    99828     80 |  0.013 % |
685.61/686.19	c |    830619 |    1100    83164   275912 | 2147483647   102308     80 |  0.011 % |
688.21/688.75	c |    833346 |    1100    83164   275912 | 2147483647   105035     80 |  0.011 % |
690.91/691.41	c |    836345 |    1100    83164   275912 | 2147483647   108034     80 |  0.000 % |
694.31/694.88	c |    839641 |    1100    83164   275912 | 2147483647   111330     80 |  0.000 % |
697.81/698.32	c |    843268 |    1100    83164   275912 |   111690    97706     80 |  0.013 % |
701.31/701.89	c |    847256 |    1100    83164   275912 |   111690   101694     80 |  0.013 % |
706.40/706.92	c |    851641 |    1100    83164   275912 |   104438    86793     82 |  0.013 % |
710.90/711.49	c |    856465 |    1100    83164   275912 |   104438    91617     82 |  0.013 % |
716.60/717.13	c |    861770 |    1100    83164   275912 |    95152    78758     77 |  0.000 % |
721.60/722.15	c |    867606 |    1100    83164   275912 |    95152    84594     76 |  0.014 % |
727.09/727.65	c |    874024 |    1100    83164   275912 |    86989    76562     72 |  0.013 % |
733.39/733.93	c |    881084 |    1100    83164   275912 |    82539    75323     78 |  0.000 % |
739.98/740.53	c |    888848 |    1100    83164   275912 |    82539    83087     87 |  0.000 % |
740.18/740.73	c |    888949 |    1100    83164   275912 |    82539    74112     87 |  0.000 % |
740.28/740.83	c |    889060 |    1100    83164   275912 |    82539    74223     87 |  0.000 % |
740.38/740.99	c |    889181 |    1100    83164   275912 |    82539    74344     88 |  0.000 % |
740.58/741.14	c |    889315 |    1100    83164   275912 |    82539    74478     88 |  0.000 % |
740.68/741.28	c |    889461 |    1100    83164   275912 |    82539    74624     88 |  0.000 % |
740.89/741.43	c |    889622 |    1100    83164   275912 |    82539    74785     88 |  0.000 % |
740.98/741.57	c |    889798 |    1100    83164   275912 |    82539    74961     88 |  0.000 % |
741.18/741.70	c |    889991 |    1100    83164   275912 |    82539    75154     88 |  0.012 % |
741.28/741.86	c |    890204 |    1100    83164   275912 |    75165    75367     88 |  0.000 % |
741.48/742.08	c |    890437 |    1100    83164   275912 |    75165    67042     91 |  0.000 % |
741.68/742.28	c |    890695 |    1100    83164   275912 |    75165    67300     91 |  0.000 % |
741.89/742.49	c |    890980 |    1100    83164   275912 |    75165    67585     91 |  0.011 % |
742.18/742.79	c |    891289 |    1100    83164   275912 |    75165    67894     91 |  0.000 % |
742.48/743.09	c |    891630 |    1100    83164   275912 |    75165    68235     91 |  0.012 % |
742.88/743.46	c |    892002 |    1100    83164   275912 |    75165    68607     91 |  0.013 % |
743.28/743.85	c |    892412 |    1100    83164   275912 |    75165    69017     91 |  0.000 % |
743.68/744.22	c |    892861 |    1100    83164   275912 |    75165    69466     91 |  0.000 % |
743.98/744.60	c |    893354 |    1100    83164   275912 |    75165    69959     91 |  0.016 % |
744.38/744.99	c |    893896 |    1100    83164   275912 |    75165    70501     91 |  0.016 % |
744.88/745.45	c |    894492 |    1100    83164   275912 |    75165    71097     91 |  0.011 % |
745.38/745.93	c |    895148 |    1100    83164   275912 |    75165    71753     91 |  0.011 % |
745.78/746.38	c |    895869 |    1100    83164   275912 |    75165    72474     91 |  0.000 % |
746.38/746.98	c |    896661 |    1100    83164   275912 |    75165    73266     91 |  0.000 % |
746.98/747.59	c |    897536 |    1100    83164   275912 |    75165    74141     91 |  0.000 % |
748.08/748.66	c |    898495 |    1100    83164   275912 |    75165    75100     92 |  0.000 % |
749.08/749.66	c |    899550 |    1100    83164   275912 |    75165    68566     94 |  0.000 % |
750.38/750.92	c |    900709 |    1100    83164   275912 | 2147483647    69725     94 |  0.000 % |
751.38/751.96	c |    901983 |    1100    83164   275912 | 2147483647    70999     95 |  0.000 % |
752.48/753.01	c |    903383 |    1100    83164   275912 | 2147483647    72399     95 |  0.000 % |
753.48/754.04	c |    904923 |    1100    83164   275912 | 2147483647    73939     95 |  0.000 % |
754.78/755.39	c |    906619 |    1100    83164   275912 | 2147483647    75635     95 |  0.000 % |
755.98/756.59	c |    908484 |    1100    83164   275912 | 2147483647    77500     95 |  0.011 % |
757.48/758.05	c |    910533 |    1100    83164   275912 | 2147483647    79549     94 |  0.000 % |
759.58/760.15	c |    912786 |    1100    83164   275912 | 2147483647    81802     96 |  0.000 % |
762.18/762.72	c |    915265 |    1100    83164   275912 | 2147483647    84281     96 |  0.000 % |
764.87/765.41	c |    917990 |    1100    83164   275912 | 2147483647    87006     95 |  0.000 % |
767.87/768.42	c |    920988 |    1100    83164   275912 |    89016    75497     95 |  0.012 % |
770.47/771.07	c |    924284 |    1100    83164   275912 |    89016    78793     94 |  0.014 % |
773.66/774.26	c |    927909 |    1100    83164   275912 |    89016    82418     93 |  0.011 % |
778.56/779.13	c |    931898 |    1100    83164   275912 |    84509    72978     95 |  0.012 % |
783.36/783.96	c |    936283 |    1100    83164   275912 |    84509    77363     93 |  0.000 % |
788.46/789.09	c |    941108 |    1100    83164   275912 |    81081    68018     85 |  0.012 % |
793.16/793.78	c |    946414 |    1100    83164   275912 |    81081    73324     84 |  0.012 % |
798.15/798.71	c |    952249 |    1100    83164   275912 |    76910    66684     71 |  0.012 % |
802.85/803.46	c |    958668 |    1100    83164   275912 |    76910    73103     71 |  0.014 % |
809.05/809.66	c |    965727 |    1100    83164   275912 |    74435    71246     66 |  0.012 % |
814.85/815.42	c |    973491 |    1100    83164   275912 |    66286    61483     59 |  0.012 % |
821.04/821.64	c |    982032 |    1100    83164   275912 | 2147483647    63320     60 |  0.012 % |
821.14/821.71	c |    982132 |    1100    83164   275912 | 2147483647    63420     61 |  0.000 % |
821.14/821.77	c |    982243 |    1100    83164   275912 | 2147483647    63531     61 |  0.000 % |
821.24/821.83	c |    982365 |    1100    83164   275912 | 2147483647    63653     61 |  0.000 % |
821.24/821.89	c |    982499 |    1100    83164   275912 | 2147483647    63787     61 |  0.000 % |
821.33/821.97	c |    982648 |    1100    83164   275912 | 2147483647    63936     61 |  0.000 % |
821.43/822.06	c |    982808 |    1100    83164   275912 | 2147483647    64096     61 |  0.011 % |
821.53/822.15	c |    982986 |    1100    83164   275912 | 2147483647    64274     61 |  0.000 % |
821.63/822.25	c |    983180 |    1100    83164   275912 | 2147483647    64468     61 |  0.012 % |
821.73/822.36	c |    983393 |    1100    83164   275912 | 2147483647    64681     61 |  0.011 % |
821.83/822.45	c |    983628 |    1100    83164   275912 | 2147483647    64916     61 |  0.012 % |
821.93/822.55	c |    983886 |    1100    83164   275912 | 2147483647    65174     61 |  0.012 % |
822.03/822.69	c |    984168 |    1100    83164   275912 | 2147483647    65456     61 |  0.012 % |
822.33/822.92	c |    984477 |    1100    83164   275912 | 2147483647    65765     61 |  0.016 % |
822.43/823.07	c |    984818 |    1100    83164   275912 | 2147483647    66106     61 |  0.016 % |
822.63/823.23	c |    985190 |    1100    83164   275912 | 2147483647    66478     61 |  0.016 % |
822.83/823.41	c |    985600 |    1100    83164   275912 | 2147483647    66888     61 |  0.012 % |
823.03/823.62	c |    986049 |    1100    83164   275912 | 2147483647    67337     61 |  0.012 % |
823.24/823.86	c |    986542 |    1100    83164   275912 | 2147483647    67830     62 |  0.000 % |
823.43/824.09	c |    987086 |    1100    83164   275912 | 2147483647    68374     63 |  0.000 % |
823.83/824.40	c |    987684 |    1100    83164   275912 | 2147483647    68972     63 |  0.000 % |
824.13/824.70	c |    988340 |    1100    83164   275912 | 2147483647    69628     64 |  0.011 % |
824.43/825.04	c |    989062 |    1100    83164   275912 | 2147483647    70350     64 |  0.012 % |
824.93/825.53	c |    989856 |    1100    83164   275912 | 2147483647    71144     65 |  0.000 % |
825.33/825.98	c |    990727 |    1100    83164   275912 | 2147483647    72015     65 |  0.013 % |
825.93/826.51	c |    991685 |    1100    83164   275912 | 2147483647    72973     65 |  0.000 % |
826.43/827.09	c |    992739 |    1100    83164   275912 | 2147483647    74027     66 |  0.000 % |
827.23/827.84	c |    993897 |    1100    83164   275912 | 2147483647    75185     66 |  0.000 % |
827.93/828.54	c |    995172 |    1100    83164   275912 | 2147483647    76460     66 |  0.015 % |
828.63/829.27	c |    996573 |    1100    83164   275912 | 2147483647    77861     66 |  0.014 % |
829.73/830.32	c |    998116 |    1100    83164   275912 | 2147483647    79404     67 |  0.000 % |
830.73/831.36	c |    999810 |    1100    83164   275912 | 2147483647    81098     69 |  0.000 % |
831.73/832.35	c |   1001676 |    1100    83164   275912 | 2147483647    82964     70 |  0.000 % |
832.83/833.48	c |   1003725 |    1100    83164   275912 | 2147483647    85013     70 |  0.000 % |
834.33/834.96	c |   1005979 |    1100    83164   275912 | 2147483647    87267     70 |  0.011 % |
835.83/836.46	c |   1008458 |    1100    83164   275912 | 2147483647    89746     70 |  0.000 % |
837.72/838.33	c |   1011185 |    1100    83164   275912 | 2147483647    92473     70 |  0.000 % |
839.73/840.34	c |   1014182 |    1100    83164   275912 | 2147483647    95470     70 |  0.011 % |
841.82/842.46	c |   1017478 |    1100    83164   275912 | 2147483647    98766     69 |  0.012 % |
844.42/845.02	c |   1021103 |    1100    83164   275912 | 2147483647   102391     69 |  0.012 % |
847.22/847.86	c |   1025091 |    1100    83164   275912 | 2147483647   106379     69 |  0.011 % |
850.72/851.30	c |   1029477 |    1100    83164   275912 | 2147483647   110765     71 |  0.000 % |
854.52/855.19	c |   1034300 |    1100    83164   275912 | 2147483647   115588     72 |  0.012 % |
859.12/859.72	c |   1039606 |    1100    83164   275912 | 2147483647   120894     73 |  0.013 % |
864.61/865.29	c |   1045442 |    1100    83164   275912 | 2147483647   126730     73 |  0.000 % |
871.41/872.03	c |   1051862 |    1100    83164   275912 |   131290   110300     75 |  0.016 % |
878.71/879.38	c |   1058922 |    1100    83164   275912 |   131290   117360     74 |  0.016 % |
888.71/889.38	c |   1066686 |    1100    83164   275912 |   118440   100476     76 |  0.000 % |
897.90/898.59	c |   1075227 |    1100    83164   275912 |   103790    85118     71 |  0.016 % |
905.80/906.41	c |   1084621 |    1100    83164   275912 |    89891    76555     69 |  0.012 % |
905.90/906.50	c |   1084725 |    1100    83164   275912 |    89891    76659     69 |  0.012 % |
905.90/906.59	c |   1084835 |    1100    83164   275912 |    89891    76769     69 |  0.011 % |
906.00/906.68	c |   1084958 |    1100    83164   275912 |    89891    76892     69 |  0.012 % |
906.20/906.80	c |   1085094 |    1100    83164   275912 |    89891    77028     69 |  0.014 % |
906.30/906.92	c |   1085240 |    1100    83164   275912 |    89891    77174     69 |  0.000 % |
906.40/907.03	c |   1085400 |    1100    83164   275912 |    89891    77334     69 |  0.012 % |
906.50/907.15	c |   1085576 |    1100    83164   275912 |    89891    77510     69 |  0.000 % |
906.60/907.25	c |   1085769 |    1100    83164   275912 |    89891    77703     69 |  0.000 % |
906.70/907.38	c |   1085982 |    1100    83164   275912 |    89891    77916     69 |  0.000 % |
906.80/907.49	c |   1086215 |    1100    83164   275912 |    89891    78149     70 |  0.000 % |
907.00/907.63	c |   1086474 |    1100    83164   275912 |    89891    78408     70 |  0.015 % |
907.10/907.79	c |   1086755 |    1100    83164   275912 |    89891    78689     70 |  0.000 % |
907.30/907.94	c |   1087064 |    1100    83164   275912 |    89891    78998     70 |  0.000 % |
907.50/908.16	c |   1087407 |    1100    83164   275912 |    89891    79341     71 |  0.000 % |
907.80/908.41	c |   1087779 |    1100    83164   275912 |    89891    79713     71 |  0.013 % |
908.09/908.71	c |   1088190 |    1100    83164   275912 |    89891    80124     71 |  0.000 % |
908.29/908.99	c |   1088639 |    1100    83164   275912 |    89891    80573     71 |  0.000 % |
908.69/909.32	c |   1089132 |    1100    83164   275912 |    89891    81066     71 |  0.012 % |
909.09/909.70	c |   1089676 |    1100    83164   275912 |    89891    81610     70 |  0.011 % |
909.39/910.03	c |   1090273 |    1100    83164   275912 | 2147483647    82207     70 |  0.013 % |
909.69/910.38	c |   1090931 |    1100    83164   275912 | 2147483647    82865     70 |  0.012 % |
910.09/910.78	c |   1091651 |    1100    83164   275912 | 2147483647    83585     70 |  0.010 % |
910.49/911.16	c |   1092443 |    1100    83164   275912 | 2147483647    84377     70 |  0.014 % |
910.99/911.62	c |   1093314 |    1100    83164   275912 | 2147483647    85248     70 |  0.012 % |
911.49/912.13	c |   1094273 |    1100    83164   275912 | 2147483647    86207     70 |  0.012 % |
912.09/912.72	c |   1095328 |    1100    83164   275912 | 2147483647    87262     70 |  0.014 % |
912.69/913.33	c |   1096489 |    1100    83164   275912 | 2147483647    88423     70 |  0.000 % |
913.39/914.06	c |   1097762 |    1100    83164   275912 | 2147483647    89696     70 |  0.014 % |
914.09/914.74	c |   1099164 |    1100    83164   275912 | 2147483647    91098     71 |  0.000 % |
914.98/915.66	c |   1100705 |    1100    83164   275912 | 2147483647    92639     71 |  0.014 % |
915.98/916.66	c |   1102401 |    1100    83164   275912 | 2147483647    94335     71 |  0.000 % |
917.28/917.94	c |   1104265 |    1100    83164   275912 | 2147483647    96199     71 |  0.012 % |
918.58/919.22	c |   1106314 |    1100    83164   275912 | 2147483647    98248     72 |  0.000 % |
919.99/920.61	c |   1108569 |    1100    83164   275912 | 2147483647   100503     72 |  0.012 % |
921.78/922.49	c |   1111049 |    1100    83164   275912 | 2147483647   102983     74 |  0.000 % |
924.28/924.93	c |   1113778 |    1100    83164   275912 | 2147483647   105712     76 |  0.000 % |
926.58/927.29	c |   1116775 |    1100    83164   275912 | 2147483647   108709     77 |  0.000 % |
929.38/930.05	c |   1120071 |    1100    83164   275912 | 2147483647   112005     78 |  0.000 % |
932.78/933.41	c |   1123697 |    1100    83164   275912 | 2147483647   115631     80 |  0.000 % |
936.48/937.17	c |   1127687 |    1100    83164   275912 | 2147483647   119621     82 |  0.000 % |
940.67/941.37	c |   1132073 |    1100    83164   275912 |   121934   109352     82 |  0.000 % |
945.57/946.26	c |   1136896 |    1100    83164   275912 |   121934   114175     85 |  0.000 % |
950.67/951.33	c |   1142201 |    1100    83164   275912 |   117281   102016     87 |  0.000 % |
956.16/956.84	c |   1148036 |    1100    83164   275912 |   117281   107851     87 |  0.000 % |
963.56/964.27	c |   1154456 |    1100    83164   275912 |   109818    96410     94 |  0.000 % |
971.05/971.72	c |   1161517 |    1100    83164   275912 |   101954    85891    102 |  0.000 % |
981.35/982.06	c |   1169283 |    1100    83164   275912 |   101954    93657    107 |  0.000 % |
992.04/992.71	c |   1177823 |    1100    83164   275912 |    94375    85452    116 |  0.000 % |
1003.64/1004.37	c |   1187217 |    1100    83164   275912 |    87629    77483    118 |  0.000 % |
1014.73/1015.46	c |   1197550 |    1100    83164   275912 |    80266    71758    116 |  0.000 % |
1014.93/1015.62	c |   1197650 |    1100    83164   275912 |    80266    71858    116 |  0.000 % |
1015.03/1015.75	c |   1197761 |    1100    83164   275912 |    80266    71969    116 |  0.000 % |
1015.23/1015.94	c |   1197882 |    1100    83164   275912 |    80266    72090    116 |  0.000 % |
1015.33/1016.09	c |   1198017 |    1100    83164   275912 |    80266    72225    116 |  0.014 % |
1015.63/1016.32	c |   1198165 |    1100    83164   275912 |    80266    72373    116 |  0.000 % |
1015.83/1016.53	c |   1198327 |    1100    83164   275912 |    80266    72535    116 |  0.000 % |
1016.03/1016.77	c |   1198505 |    1100    83164   275912 |    80266    72713    116 |  0.000 % |
1016.33/1017.03	c |   1198698 |    1100    83164   275912 |    80266    72906    116 |  0.000 % |
1016.53/1017.21	c |   1198910 |    1100    83164   275912 |    80266    73118    116 |  0.000 % |
1016.73/1017.42	c |   1199143 |    1100    83164   275912 |    80266    73351    116 |  0.000 % |
1017.03/1017.70	c |   1199402 |    1100    83164   275912 |    80266    73610    116 |  0.000 % |
1017.33/1018.08	c |   1199683 |    1100    83164   275912 |    80266    73891    116 |  0.000 % |
1017.73/1018.42	c |   1199992 |    1100    83164   275912 |    80266    74200    116 |  0.000 % |
1018.13/1018.81	c |   1200332 |    1100    83164   275912 |    74211    74540    116 |  0.000 % |
1018.53/1019.23	c |   1200705 |    1100    83164   275912 |    74211    59976    117 |  0.000 % |
1018.83/1019.56	c |   1201116 |    1100    83164   275912 |    74211    60387    116 |  0.000 % |
1019.23/1019.96	c |   1201573 |    1100    83164   275912 |    74211    60844    116 |  0.000 % |
1019.83/1020.54	c |   1202067 |    1100    83164   275912 |    74211    61338    117 |  0.000 % |
1020.43/1021.16	c |   1202610 |    1100    83164   275912 |    74211    61881    117 |  0.000 % |
1021.13/1021.81	c |   1203206 |    1100    83164   275912 |    74211    62477    117 |  0.000 % |
1021.83/1022.53	c |   1203861 |    1100    83164   275912 |    74211    63132    117 |  0.000 % |
1022.63/1023.31	c |   1204584 |    1100    83164   275912 |    74211    63855    117 |  0.000 % |
1023.63/1024.36	c |   1205376 |    1100    83164   275912 |    74211    64647    118 |  0.000 % |
1024.53/1025.29	c |   1206248 |    1100    83164   275912 |    74211    65519    118 |  0.000 % |
1025.63/1026.32	c |   1207206 |    1100    83164   275912 |    74211    66477    118 |  0.000 % |
1027.02/1027.73	c |   1208259 |    1100    83164   275912 |    74211    67530    118 |  0.000 % |
1027.92/1028.68	c |   1209419 |    1100    83164   275912 |    74211    68690    117 |  0.000 % |
1029.22/1029.92	c |   1210693 |    1100    83164   275912 |    69271    60148    116 |  0.000 % |
1030.72/1031.42	c |   1212093 |    1100    83164   275912 |    69271    61548    115 |  0.000 % |
1032.32/1033.04	c |   1213633 |    1100    83164   275912 |    69271    63088    116 |  0.000 % |
1034.62/1035.38	c |   1215330 |    1100    83164   275912 |    69271    64785    117 |  0.000 % |
1037.02/1037.77	c |   1217193 |    1100    83164   275912 |    69271    66648    118 |  0.000 % |
1039.12/1039.84	c |   1219242 |    1100    83164   275912 |    69271    68697    118 |  0.000 % |
1041.62/1042.32	c |   1221495 |    1100    83164   275912 |    69456    59708    111 |  0.000 % |
1043.61/1044.33	c |   1223975 |    1100    83164   275912 |    69456    62188    110 |  0.000 % |
1046.01/1046.70	c |   1226700 |    1100    83164   275912 |    69456    64913    109 |  0.013 % |
1049.00/1049.70	c |   1229698 |    1100    83164   275912 |    69456    67911    108 |  0.013 % |
1052.30/1053.02	c |   1232995 |    1100    83164   275912 |    68213    62361    102 |  0.000 % |
1055.80/1056.57	c |   1236622 |    1100    83164   275912 |    68213    65988    101 |  0.000 % |
1059.50/1060.27	c |   1240610 |    1100    83164   275912 |    60786    61395     95 |  0.000 % |
1063.60/1064.38	c |   1244997 |    1100    83164   275912 |    60786    58203     91 |  0.000 % |
1068.60/1069.35	c |   1249821 |    1100    83164   275912 |    60786    54447     88 |  0.000 % |
1072.50/1073.29	c |   1255126 |    1100    83164   275912 |    54626    51951     83 |  0.011 % |
1077.09/1077.89	c |   1260964 |    1100    83164   275912 |    50721    46544     73 |  0.013 % |
1081.39/1082.18	c |   1267384 |    1100    83164   275912 |    50721    47817     71 |  0.000 % |
1087.20/1087.98	c |   1274444 |    1100    83164   275912 | 2147483647    54877     71 |  0.014 % |
1092.88/1093.66	c |   1282208 |    1100    83164   275912 | 2147483647    62641     71 |  0.000 % |
1098.58/1099.34	c |   1290749 |    1100    83164   275912 | 2147483647    71182     72 |  0.014 % |
1105.58/1106.40	c |   1300143 |    1100    83164   275912 | 2147483647    80576     71 |  0.014 % |
1114.58/1115.30	c |   1310476 |    1100    83164   275912 |    90433    90909     70 |  0.014 % |
1124.87/1125.61	c |   1321842 |    1100    83164   275912 |    87267    73332     65 |  0.012 % |
1124.97/1125.72	c |   1321942 |    1100    83164   275912 |    87267    73432     65 |  0.014 % |
1125.07/1125.85	c |   1322052 |    1100    83164   275912 |    87267    73542     65 |  0.014 % |
1125.17/1125.95	c |   1322174 |    1100    83164   275912 |    87267    73664     65 |  0.000 % |
1125.27/1126.04	c |   1322309 |    1100    83164   275912 |    87267    73799     65 |  0.000 % |
1125.37/1126.16	c |   1322455 |    1100    83164   275912 |    87267    73945     66 |  0.000 % |
1125.47/1126.26	c |   1322615 |    1100    83164   275912 |    87267    74105     66 |  0.000 % |
1125.57/1126.39	c |   1322793 |    1100    83164   275912 |    87267    74283     66 |  0.000 % |
1125.77/1126.51	c |   1322986 |    1100    83164   275912 |    87267    74476     66 |  0.000 % |
1125.87/1126.64	c |   1323198 |    1100    83164   275912 |    87267    74688     66 |  0.000 % |
1125.97/1126.77	c |   1323436 |    1100    83164   275912 |    87267    74926     66 |  0.011 % |
1126.17/1126.95	c |   1323694 |    1100    83164   275912 |    87267    75184     66 |  0.000 % |
1126.37/1127.10	c |   1323976 |    1100    83164   275912 |    87267    75466     66 |  0.012 % |
1126.47/1127.30	c |   1324286 |    1100    83164   275912 |    87267    75776     66 |  0.000 % |
1126.77/1127.51	c |   1324625 |    1100    83164   275912 |    87267    76115     66 |  0.012 % |
1126.87/1127.69	c |   1324998 |    1100    83164   275912 |    87267    76488     66 |  0.012 % |
1127.17/1127.91	c |   1325407 |    1100    83164   275912 |    87267    76897     67 |  0.012 % |
1127.37/1128.14	c |   1325857 |    1100    83164   275912 |    87267    77347     67 |  0.012 % |
1127.57/1128.39	c |   1326351 |    1100    83164   275912 |    87267    77841     66 |  0.015 % |
1127.87/1128.65	c |   1326895 |    1100    83164   275912 |    87267    78385     67 |  0.000 % |
1128.07/1128.88	c |   1327493 |    1100    83164   275912 |    87267    78983     67 |  0.015 % |
1128.37/1129.19	c |   1328149 |    1100    83164   275912 |    87267    79639     67 |  0.000 % |
1128.77/1129.53	c |   1328872 |    1100    83164   275912 |    87267    80362     67 |  0.012 % |
1129.17/1129.92	c |   1329664 |    1100    83164   275912 |    87267    81154     67 |  0.012 % |
1129.57/1130.39	c |   1330535 |    1100    83164   275912 | 2147483647    82025     67 |  0.012 % |
1130.17/1130.97	c |   1331494 |    1100    83164   275912 | 2147483647    82984     68 |  0.000 % |
1130.77/1131.53	c |   1332548 |    1100    83164   275912 | 2147483647    84038     68 |  0.000 % |
1131.57/1132.31	c |   1333708 |    1100    83164   275912 | 2147483647    85198     69 |  0.000 % |
1132.17/1132.95	c |   1334983 |    1100    83164   275912 | 2147483647    86473     70 |  0.000 % |
1132.97/1133.70	c |   1336386 |    1100    83164   275912 | 2147483647    87876     70 |  0.000 % |
1133.86/1134.65	c |   1337926 |    1100    83164   275912 | 2147483647    89416     70 |  0.011 % |
1134.86/1135.67	c |   1339621 |    1100    83164   275912 | 2147483647    91111     70 |  0.013 % |
1135.96/1136.72	c |   1341484 |    1100    83164   275912 | 2147483647    92974     69 |  0.012 % |
1137.26/1138.07	c |   1343534 |    1100    83164   275912 | 2147483647    95024     69 |  0.012 % |
1138.96/1139.70	c |   1345787 |    1100    83164   275912 | 2147483647    97277     72 |  0.000 % |
1140.76/1141.50	c |   1348265 |    1100    83164   275912 | 2147483647    99755     73 |  0.000 % |
1142.95/1143.72	c |   1350990 |    1100    83164   275912 | 2147483647   102480     75 |  0.000 % |
1145.05/1145.82	c |   1353989 |    1100    83164   275912 | 2147483647   105479     75 |  0.000 % |
1147.75/1148.55	c |   1357285 |    1100    83164   275912 | 2147483647   108775     75 |  0.011 % |
1150.75/1151.50	c |   1360911 |    1100    83164   275912 | 2147483647   112401     75 |  0.013 % |
1154.35/1155.17	c |   1364898 |    1100    83164   275912 | 2147483647   116388     76 |  0.013 % |
1158.35/1159.18	c |   1369283 |    1100    83164   275912 | 2147483647   120773     75 |  0.013 % |
1163.55/1164.32	c |   1374106 |    1100    83164   275912 |   121493   110860     75 |  0.000 % |
1168.74/1169.51	c |   1379411 |    1100    83164   275912 |   121493   116165     74 |  0.012 % |
1175.05/1175.82	c |   1385247 |    1100    83164   275912 |   116755   101587     72 |  0.013 % |
1180.83/1181.65	c |   1391665 |    1100    83164   275912 |   106344    87312     74 |  0.013 % |
1187.53/1188.30	c |   1398727 |    1100    83164   275912 |   106344    94374     72 |  0.013 % |
1196.43/1197.22	c |   1406494 |    1100    83164   275912 |    95648    85235     71 |  0.013 % |

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-1834131-1242828287/watcher-1834131-1242828287 -o /tmp/evaluation-result-1834131-1242828287/solver-1834131-1242828287 -C 1200 -W 1800 -M 1800 SatELiteGTI HOME/instance-1834131-1242828287.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: 1.00 1.00 1.00 3/64 18455
/proc/meminfo: memFree=1919328/2055920 swapFree=4168320/4192956
[pid=18455] ppid=18453 vsize=5356 CPUtime=0
/proc/18455/stat : 18455 (SatELiteGTI) S 18453 18455 18135 0 -1 4194304 276 0 0 0 0 0 0 0 18 0 1 0 310861772 5484544 235 1992294400 4194304 4889804 548682068832 18446744073709551615 253307355218 0 0 4100 65536 18446744071563648864 0 0 17 0 0 0
/proc/18455/statm: 1339 235 195 169 0 50 0
[pid=18456] ppid=18455 vsize=5356 CPUtime=0
/proc/18456/stat : 18456 (SatELiteGTI) S 18455 18455 18135 0 -1 4194368 51 25 0 0 0 0 0 0 18 0 1 0 310861773 5484544 238 1992294400 4194304 4889804 548682068832 18446744073709551615 253307183940 0 65536 4096 65538 18446744071563356171 0 0 17 0 0 0
/proc/18456/statm: 1339 238 198 169 0 50 0
[pid=18458] ppid=18456 vsize=92 CPUtime=0
/proc/18458/stat : 18458 (sed) R 18456 18455 18135 0 -1 4194304 21 0 0 0 0 0 0 0 18 0 1 0 310861773 94208 3 1992294400 0 0 548682069787 18446744073709551615 253307186471 0 0 4096 0 0 0 0 17 1 0 0
/proc/18458/statm: 23 3 0 0 0 9 0

[startup+0.0749181 s]
/proc/loadavg: 1.00 1.00 1.00 3/64 18455
/proc/meminfo: memFree=1919328/2055920 swapFree=4168320/4192956
[pid=18455] ppid=18453 vsize=5356 CPUtime=0
/proc/18455/stat : 18455 (SatELiteGTI) S 18453 18455 18135 0 -1 4194304 310 249 0 0 0 0 0 0 18 0 1 0 310861772 5484544 237 1992294400 4194304 4889804 548682068832 18446744073709551615 253307183940 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/18455/statm: 1339 237 197 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356

[startup+0.102921 s]
/proc/loadavg: 1.00 1.00 1.00 3/64 18455
/proc/meminfo: memFree=1919328/2055920 swapFree=4168320/4192956
[pid=18455] ppid=18453 vsize=5356 CPUtime=0
/proc/18455/stat : 18455 (SatELiteGTI) S 18453 18455 18135 0 -1 4194304 310 249 0 0 0 0 0 0 18 0 1 0 310861772 5484544 237 1992294400 4194304 4889804 548682068832 18446744073709551615 253307183940 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/18455/statm: 1339 237 197 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356

[startup+0.301949 s]
/proc/loadavg: 1.00 1.00 1.00 3/64 18455
/proc/meminfo: memFree=1919328/2055920 swapFree=4168320/4192956
[pid=18455] ppid=18453 vsize=5356 CPUtime=0
/proc/18455/stat : 18455 (SatELiteGTI) S 18453 18455 18135 0 -1 4194304 310 249 0 0 0 0 0 0 18 0 1 0 310861772 5484544 237 1992294400 4194304 4889804 548682068832 18446744073709551615 253307183940 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/18455/statm: 1339 237 197 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356

[startup+0.702009 s]
/proc/loadavg: 1.00 1.00 1.00 3/64 18455
/proc/meminfo: memFree=1919328/2055920 swapFree=4168320/4192956
[pid=18455] ppid=18453 vsize=5356 CPUtime=0.42
/proc/18455/stat : 18455 (SatELiteGTI) S 18453 18455 18135 0 -1 4194304 336 2097 0 0 0 0 41 1 16 0 1 0 310861772 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 253307183940 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/18455/statm: 1339 239 197 169 0 50 0
Current children cumulated CPU time (s) 0.42
Current children cumulated vsize (KiB) 5356

[startup+1.50115 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 18461
/proc/meminfo: memFree=1910928/2055920 swapFree=4168320/4192956
[pid=18455] ppid=18453 vsize=5356 CPUtime=0.42
/proc/18455/stat : 18455 (SatELiteGTI) S 18453 18455 18135 0 -1 4194304 336 2097 0 0 0 0 41 1 16 0 1 0 310861772 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 253307183940 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/18455/statm: 1339 239 197 169 0 50 0
[pid=18461] ppid=18455 vsize=8772 CPUtime=1.05
/proc/18461/stat : 18461 (minisat_static) R 18455 18455 18135 0 -1 4194304 2069 0 0 0 104 1 0 0 25 0 1 0 310861817 8982528 2055 1992294400 134512640 135215339 4294956240 18446744073709551615 134721382 0 0 4096 3 0 0 0 17 0 0 0
/proc/18461/statm: 2193 2055 77 171 0 2020 0
Current children cumulated CPU time (s) 1.47
Current children cumulated vsize (KiB) 14128

[startup+3.10142 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 18461
/proc/meminfo: memFree=1908240/2055920 swapFree=4168320/4192956
[pid=18455] ppid=18453 vsize=5356 CPUtime=0.42
/proc/18455/stat : 18455 (SatELiteGTI) S 18453 18455 18135 0 -1 4194304 336 2097 0 0 0 0 41 1 16 0 1 0 310861772 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 253307183940 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/18455/statm: 1339 239 197 169 0 50 0
[pid=18461] ppid=18455 vsize=11976 CPUtime=2.64
/proc/18461/stat : 18461 (minisat_static) R 18455 18455 18135 0 -1 4194304 2886 0 0 0 263 1 0 0 25 0 1 0 310861817 12263424 2872 1992294400 134512640 135215339 4294956240 18446744073709551615 134528700 0 0 4096 3 0 0 0 17 0 0 0
/proc/18461/statm: 2994 2872 77 171 0 2821 0
Current children cumulated CPU time (s) 3.06
Current children cumulated vsize (KiB) 17332

[startup+6.30196 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 18461
/proc/meminfo: memFree=1902352/2055920 swapFree=4168320/4192956
[pid=18455] ppid=18453 vsize=5356 CPUtime=0.42
/proc/18455/stat : 18455 (SatELiteGTI) S 18453 18455 18135 0 -1 4194304 336 2097 0 0 0 0 41 1 16 0 1 0 310861772 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 253307183940 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/18455/statm: 1339 239 197 169 0 50 0
[pid=18461] ppid=18455 vsize=16900 CPUtime=5.84
/proc/18461/stat : 18461 (minisat_static) R 18455 18455 18135 0 -1 4194304 4110 0 0 0 581 3 0 0 25 0 1 0 310861817 17305600 4096 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/18461/statm: 4225 4096 77 171 0 4052 0
Current children cumulated CPU time (s) 6.26
Current children cumulated vsize (KiB) 22256

[startup+12.7011 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 18461
/proc/meminfo: memFree=1894480/2055920 swapFree=4168320/4192956
[pid=18455] ppid=18453 vsize=5356 CPUtime=0.42
/proc/18455/stat : 18455 (SatELiteGTI) S 18453 18455 18135 0 -1 4194304 336 2097 0 0 0 0 41 1 16 0 1 0 310861772 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 253307183940 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/18455/statm: 1339 239 197 169 0 50 0
[pid=18461] ppid=18455 vsize=24240 CPUtime=12.22
/proc/18461/stat : 18461 (minisat_static) R 18455 18455 18135 0 -1 4194304 5923 0 0 0 1217 5 0 0 25 0 1 0 310861817 24821760 5909 1992294400 134512640 135215339 4294956240 18446744073709551615 134721382 0 0 4096 3 0 0 0 17 0 0 0
/proc/18461/statm: 6060 5909 77 171 0 5887 0
Current children cumulated CPU time (s) 12.64
Current children cumulated vsize (KiB) 29596

[startup+25.5022 s]
/proc/loadavg: 1.08 1.02 1.01 2/66 18461
/proc/meminfo: memFree=1883344/2055920 swapFree=4168320/4192956
[pid=18455] ppid=18453 vsize=5356 CPUtime=0.42
/proc/18455/stat : 18455 (SatELiteGTI) S 18453 18455 18135 0 -1 4194304 336 2097 0 0 0 0 41 1 16 0 1 0 310861772 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 253307183940 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/18455/statm: 1339 239 197 169 0 50 0
[pid=18461] ppid=18455 vsize=34920 CPUtime=25.01
/proc/18461/stat : 18461 (minisat_static) R 18455 18455 18135 0 -1 4194304 8615 0 0 0 2493 8 0 0 25 0 1 0 310861817 35758080 8601 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/18461/statm: 8730 8601 77 171 0 8557 0
Current children cumulated CPU time (s) 25.43
Current children cumulated vsize (KiB) 40276

[startup+51.1016 s]
/proc/loadavg: 1.05 1.01 1.00 2/66 18461
/proc/meminfo: memFree=1868752/2055920 swapFree=4168320/4192956
[pid=18455] ppid=18453 vsize=5356 CPUtime=0.42
/proc/18455/stat : 18455 (SatELiteGTI) S 18453 18455 18135 0 -1 4194304 336 2097 0 0 0 0 41 1 16 0 1 0 310861772 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 253307183940 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/18455/statm: 1339 239 197 169 0 50 0
[pid=18461] ppid=18455 vsize=49628 CPUtime=50.59
/proc/18461/stat : 18461 (minisat_static) R 18455 18455 18135 0 -1 4194304 12255 0 0 0 5048 11 0 0 25 0 1 0 310861817 50819072 12241 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/18461/statm: 12407 12241 77 171 0 12234 0
Current children cumulated CPU time (s) 51.01
Current children cumulated vsize (KiB) 54984

[startup+102.305 s]
/proc/loadavg: 1.07 1.03 1.00 2/66 18461
/proc/meminfo: memFree=1864592/2055920 swapFree=4168320/4192956
[pid=18455] ppid=18453 vsize=5356 CPUtime=0.42
/proc/18455/stat : 18455 (SatELiteGTI) S 18453 18455 18135 0 -1 4194304 336 2097 0 0 0 0 41 1 16 0 1 0 310861772 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 253307183940 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/18455/statm: 1339 239 197 169 0 50 0
[pid=18461] ppid=18455 vsize=53196 CPUtime=101.76
/proc/18461/stat : 18461 (minisat_static) R 18455 18455 18135 0 -1 4194304 13185 0 0 0 10164 12 0 0 25 0 1 0 310861817 54472704 13171 1992294400 134512640 135215339 4294956240 18446744073709551615 134528863 0 0 4096 3 0 0 0 17 0 0 0
/proc/18461/statm: 13299 13171 77 171 0 13126 0
Current children cumulated CPU time (s) 102.18
Current children cumulated vsize (KiB) 58552

[startup+162.303 s]
/proc/loadavg: 1.07 1.03 1.00 2/66 18461
/proc/meminfo: memFree=1864464/2055920 swapFree=4168320/4192956
[pid=18455] ppid=18453 vsize=5356 CPUtime=0.42
/proc/18455/stat : 18455 (SatELiteGTI) S 18453 18455 18135 0 -1 4194304 336 2097 0 0 0 0 41 1 16 0 1 0 310861772 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 253307183940 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/18455/statm: 1339 239 197 169 0 50 0
[pid=18461] ppid=18455 vsize=53196 CPUtime=161.72
/proc/18461/stat : 18461 (minisat_static) R 18455 18455 18135 0 -1 4194304 13185 0 0 0 16160 12 0 0 25 0 1 0 310861817 54472704 13171 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/18461/statm: 13299 13171 77 171 0 13126 0
Current children cumulated CPU time (s) 162.14
Current children cumulated vsize (KiB) 58552

[startup+222.302 s]
/proc/loadavg: 1.02 1.03 1.00 2/66 18461
/proc/meminfo: memFree=1864336/2055920 swapFree=4168320/4192956
[pid=18455] ppid=18453 vsize=5356 CPUtime=0.42
/proc/18455/stat : 18455 (SatELiteGTI) S 18453 18455 18135 0 -1 4194304 336 2097 0 0 0 0 41 1 16 0 1 0 310861772 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 253307183940 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/18455/statm: 1339 239 197 169 0 50 0
[pid=18461] ppid=18455 vsize=53196 CPUtime=221.68
/proc/18461/stat : 18461 (minisat_static) R 18455 18455 18135 0 -1 4194304 13185 0 0 0 22156 12 0 0 25 0 1 0 310861817 54472704 13171 1992294400 134512640 135215339 4294956240 18446744073709551615 134528809 0 0 4096 3 0 0 0 17 0 0 0
/proc/18461/statm: 13299 13171 77 171 0 13126 0
Current children cumulated CPU time (s) 222.1
Current children cumulated vsize (KiB) 58552

[startup+282.301 s]
/proc/loadavg: 1.01 1.02 1.00 2/66 18461
/proc/meminfo: memFree=1864272/2055920 swapFree=4168320/4192956
[pid=18455] ppid=18453 vsize=5356 CPUtime=0.42
/proc/18455/stat : 18455 (SatELiteGTI) S 18453 18455 18135 0 -1 4194304 336 2097 0 0 0 0 41 1 16 0 1 0 310861772 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 253307183940 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/18455/statm: 1339 239 197 169 0 50 0
[pid=18461] ppid=18455 vsize=53196 CPUtime=281.63
/proc/18461/stat : 18461 (minisat_static) R 18455 18455 18135 0 -1 4194304 13185 0 0 0 28151 12 0 0 25 0 1 0 310861817 54472704 13171 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/18461/statm: 13299 13171 77 171 0 13126 0
Current children cumulated CPU time (s) 282.05
Current children cumulated vsize (KiB) 58552

[startup+342.301 s]
/proc/loadavg: 1.00 1.01 1.00 2/66 18461
/proc/meminfo: memFree=1864208/2055920 swapFree=4168320/4192956
[pid=18455] ppid=18453 vsize=5356 CPUtime=0.42
/proc/18455/stat : 18455 (SatELiteGTI) S 18453 18455 18135 0 -1 4194304 336 2097 0 0 0 0 41 1 16 0 1 0 310861772 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 253307183940 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/18455/statm: 1339 239 197 169 0 50 0
[pid=18461] ppid=18455 vsize=53196 CPUtime=341.61
/proc/18461/stat : 18461 (minisat_static) R 18455 18455 18135 0 -1 4194304 13185 0 0 0 34148 13 0 0 25 0 1 0 310861817 54472704 13171 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/18461/statm: 13299 13171 77 171 0 13126 0
Current children cumulated CPU time (s) 342.03
Current children cumulated vsize (KiB) 58552

[startup+402.302 s]
/proc/loadavg: 1.00 1.01 1.00 2/66 18461
/proc/meminfo: memFree=1864080/2055920 swapFree=4168320/4192956
[pid=18455] ppid=18453 vsize=5356 CPUtime=0.42
/proc/18455/stat : 18455 (SatELiteGTI) S 18453 18455 18135 0 -1 4194304 336 2097 0 0 0 0 41 1 16 0 1 0 310861772 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 253307183940 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/18455/statm: 1339 239 197 169 0 50 0
[pid=18461] ppid=18455 vsize=53196 CPUtime=401.56

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

/proc/18461/statm: 13299 13171 77 171 0 13126 0
Current children cumulated CPU time (s) 521.9
Current children cumulated vsize (KiB) 58552

[startup+582.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 18461
/proc/meminfo: memFree=1863696/2055920 swapFree=4168320/4192956
[pid=18455] ppid=18453 vsize=5356 CPUtime=0.42
/proc/18455/stat : 18455 (SatELiteGTI) S 18453 18455 18135 0 -1 4194304 336 2097 0 0 0 0 41 1 16 0 1 0 310861772 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 253307183940 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/18455/statm: 1339 239 197 169 0 50 0
[pid=18461] ppid=18455 vsize=53196 CPUtime=581.45
/proc/18461/stat : 18461 (minisat_static) R 18455 18455 18135 0 -1 4194304 13185 0 0 0 58132 13 0 0 25 0 1 0 310861817 54472704 13171 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/18461/statm: 13299 13171 77 171 0 13126 0
Current children cumulated CPU time (s) 581.87
Current children cumulated vsize (KiB) 58552

[startup+642.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 18461
/proc/meminfo: memFree=1863568/2055920 swapFree=4168320/4192956
[pid=18455] ppid=18453 vsize=5356 CPUtime=0.42
/proc/18455/stat : 18455 (SatELiteGTI) S 18453 18455 18135 0 -1 4194304 336 2097 0 0 0 0 41 1 16 0 1 0 310861772 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 253307183940 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/18455/statm: 1339 239 197 169 0 50 0
[pid=18461] ppid=18455 vsize=53196 CPUtime=641.42
/proc/18461/stat : 18461 (minisat_static) R 18455 18455 18135 0 -1 4194304 13185 0 0 0 64129 13 0 0 25 0 1 0 310861817 54472704 13171 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/18461/statm: 13299 13171 77 171 0 13126 0
Current children cumulated CPU time (s) 641.84
Current children cumulated vsize (KiB) 58552

[startup+702.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 18461
/proc/meminfo: memFree=1863440/2055920 swapFree=4168320/4192956
[pid=18455] ppid=18453 vsize=5356 CPUtime=0.42
/proc/18455/stat : 18455 (SatELiteGTI) S 18453 18455 18135 0 -1 4194304 336 2097 0 0 0 0 41 1 16 0 1 0 310861772 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 253307183940 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/18455/statm: 1339 239 197 169 0 50 0
[pid=18461] ppid=18455 vsize=53196 CPUtime=701.38
/proc/18461/stat : 18461 (minisat_static) R 18455 18455 18135 0 -1 4194304 13185 0 0 0 70125 13 0 0 25 0 1 0 310861817 54472704 13171 1992294400 134512640 135215339 4294956240 18446744073709551615 134538488 0 0 4096 3 0 0 0 17 0 0 0
/proc/18461/statm: 13299 13171 77 171 0 13126 0
Current children cumulated CPU time (s) 701.8
Current children cumulated vsize (KiB) 58552

[startup+762.306 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 18461
/proc/meminfo: memFree=1863312/2055920 swapFree=4168320/4192956
[pid=18455] ppid=18453 vsize=5356 CPUtime=0.42
/proc/18455/stat : 18455 (SatELiteGTI) S 18453 18455 18135 0 -1 4194304 336 2097 0 0 0 0 41 1 16 0 1 0 310861772 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 253307183940 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/18455/statm: 1339 239 197 169 0 50 0
[pid=18461] ppid=18455 vsize=53196 CPUtime=761.36
/proc/18461/stat : 18461 (minisat_static) R 18455 18455 18135 0 -1 4194304 13185 0 0 0 76123 13 0 0 25 0 1 0 310861817 54472704 13171 1992294400 134512640 135215339 4294956240 18446744073709551615 134528724 0 0 4096 3 0 0 0 17 0 0 0
/proc/18461/statm: 13299 13171 77 171 0 13126 0
Current children cumulated CPU time (s) 761.78
Current children cumulated vsize (KiB) 58552

[startup+822.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 18461
/proc/meminfo: memFree=1863248/2055920 swapFree=4168320/4192956
[pid=18455] ppid=18453 vsize=5356 CPUtime=0.42
/proc/18455/stat : 18455 (SatELiteGTI) S 18453 18455 18135 0 -1 4194304 336 2097 0 0 0 0 41 1 16 0 1 0 310861772 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 253307183940 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/18455/statm: 1339 239 197 169 0 50 0
[pid=18461] ppid=18455 vsize=53196 CPUtime=821.31
/proc/18461/stat : 18461 (minisat_static) R 18455 18455 18135 0 -1 4194304 13185 0 0 0 82118 13 0 0 25 0 1 0 310861817 54472704 13171 1992294400 134512640 135215339 4294956240 18446744073709551615 134528613 0 0 4096 3 0 0 0 17 0 0 0
/proc/18461/statm: 13299 13171 77 171 0 13126 0
Current children cumulated CPU time (s) 821.73
Current children cumulated vsize (KiB) 58552

[startup+882.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 18461
/proc/meminfo: memFree=1861648/2055920 swapFree=4168320/4192956
[pid=18455] ppid=18453 vsize=5356 CPUtime=0.42
/proc/18455/stat : 18455 (SatELiteGTI) S 18453 18455 18135 0 -1 4194304 336 2097 0 0 0 0 41 1 16 0 1 0 310861772 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 253307183940 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/18455/statm: 1339 239 197 169 0 50 0
[pid=18461] ppid=18455 vsize=54920 CPUtime=881.29
/proc/18461/stat : 18461 (minisat_static) R 18455 18455 18135 0 -1 4194304 13600 0 0 0 88115 14 0 0 25 0 1 0 310861817 56238080 13586 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/18461/statm: 13730 13586 77 171 0 13557 0
Current children cumulated CPU time (s) 881.71
Current children cumulated vsize (KiB) 60276

[startup+942.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 18461
/proc/meminfo: memFree=1859728/2055920 swapFree=4168320/4192956
[pid=18455] ppid=18453 vsize=5356 CPUtime=0.42
/proc/18455/stat : 18455 (SatELiteGTI) S 18453 18455 18135 0 -1 4194304 336 2097 0 0 0 0 41 1 16 0 1 0 310861772 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 253307183940 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/18455/statm: 1339 239 197 169 0 50 0
[pid=18461] ppid=18455 vsize=56832 CPUtime=941.25
/proc/18461/stat : 18461 (minisat_static) R 18455 18455 18135 0 -1 4194304 14078 0 0 0 94111 14 0 0 25 0 1 0 310861817 58195968 14064 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/18461/statm: 14208 14064 77 171 0 14035 0
Current children cumulated CPU time (s) 941.67
Current children cumulated vsize (KiB) 62188

[startup+1002.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 18461
/proc/meminfo: memFree=1858576/2055920 swapFree=4168320/4192956
[pid=18455] ppid=18453 vsize=5356 CPUtime=0.42
/proc/18455/stat : 18455 (SatELiteGTI) S 18453 18455 18135 0 -1 4194304 336 2097 0 0 0 0 41 1 16 0 1 0 310861772 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 253307183940 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/18455/statm: 1339 239 197 169 0 50 0
[pid=18461] ppid=18455 vsize=57760 CPUtime=1001.22
/proc/18461/stat : 18461 (minisat_static) R 18455 18455 18135 0 -1 4194304 14325 0 0 0 100108 14 0 0 25 0 1 0 310861817 59146240 14311 1992294400 134512640 135215339 4294956240 18446744073709551615 134529083 0 0 4096 3 0 0 0 17 0 0 0
/proc/18461/statm: 14440 14311 77 171 0 14267 0
Current children cumulated CPU time (s) 1001.64
Current children cumulated vsize (KiB) 63116

[startup+1062.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 18461
/proc/meminfo: memFree=1858448/2055920 swapFree=4168320/4192956
[pid=18455] ppid=18453 vsize=5356 CPUtime=0.42
/proc/18455/stat : 18455 (SatELiteGTI) S 18453 18455 18135 0 -1 4194304 336 2097 0 0 0 0 41 1 16 0 1 0 310861772 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 253307183940 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/18455/statm: 1339 239 197 169 0 50 0
[pid=18461] ppid=18455 vsize=57760 CPUtime=1061.18
/proc/18461/stat : 18461 (minisat_static) R 18455 18455 18135 0 -1 4194304 14327 0 0 0 106104 14 0 0 25 0 1 0 310861817 59146240 14313 1992294400 134512640 135215339 4294956240 18446744073709551615 134528814 0 0 4096 3 0 0 0 17 0 0 0
/proc/18461/statm: 14440 14313 77 171 0 14267 0
Current children cumulated CPU time (s) 1061.6
Current children cumulated vsize (KiB) 63116

[startup+1122.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 18461
/proc/meminfo: memFree=1858320/2055920 swapFree=4168320/4192956
[pid=18455] ppid=18453 vsize=5356 CPUtime=0.42
/proc/18455/stat : 18455 (SatELiteGTI) S 18453 18455 18135 0 -1 4194304 336 2097 0 0 0 0 41 1 16 0 1 0 310861772 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 253307183940 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/18455/statm: 1339 239 197 169 0 50 0
[pid=18461] ppid=18455 vsize=57760 CPUtime=1121.15
/proc/18461/stat : 18461 (minisat_static) R 18455 18455 18135 0 -1 4194304 14327 0 0 0 112100 15 0 0 25 0 1 0 310861817 59146240 14313 1992294400 134512640 135215339 4294956240 18446744073709551615 134528802 0 0 4096 3 0 0 0 17 0 0 0
/proc/18461/statm: 14440 14313 77 171 0 14267 0
Current children cumulated CPU time (s) 1121.57
Current children cumulated vsize (KiB) 63116

[startup+1182.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 18461
/proc/meminfo: memFree=1858256/2055920 swapFree=4168320/4192956
[pid=18455] ppid=18453 vsize=5356 CPUtime=0.42
/proc/18455/stat : 18455 (SatELiteGTI) S 18453 18455 18135 0 -1 4194304 336 2097 0 0 0 0 41 1 16 0 1 0 310861772 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 253307183940 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/18455/statm: 1339 239 197 169 0 50 0
[pid=18461] ppid=18455 vsize=57760 CPUtime=1181.11
/proc/18461/stat : 18461 (minisat_static) R 18455 18455 18135 0 -1 4194304 14327 0 0 0 118096 15 0 0 25 0 1 0 310861817 59146240 14313 1992294400 134512640 135215339 4294956240 18446744073709551615 134528863 0 0 4096 3 0 0 0 17 0 0 0
/proc/18461/statm: 14440 14313 77 171 0 14267 0
Current children cumulated CPU time (s) 1181.53
Current children cumulated vsize (KiB) 63116



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1200.8 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 18461
/proc/meminfo: memFree=1858192/2055920 swapFree=4168320/4192956
[pid=18455] ppid=18453 vsize=5356 CPUtime=0.42
/proc/18455/stat : 18455 (SatELiteGTI) S 18453 18455 18135 0 -1 4194304 336 2097 0 0 0 0 41 1 16 0 1 0 310861772 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 253307183940 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/18455/statm: 1339 239 197 169 0 50 0
[pid=18461] ppid=18455 vsize=57760 CPUtime=1199.61
/proc/18461/stat : 18461 (minisat_static) R 18455 18455 18135 0 -1 4194304 14327 0 0 0 119946 15 0 0 25 0 1 0 310861817 59146240 14313 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/18461/statm: 14440 14313 77 171 0 14267 0
Current children cumulated CPU time (s) 1200.03
Current children cumulated vsize (KiB) 63116

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

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

Child ended because it received signal 15 (SIGTERM)

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

Real time (s): 1200.81
CPU time (s): 1200.03
CPU user time (s): 1199.87
CPU system time (s): 0.16
CPU usage (%): 99.9349
Max. virtual memory (cumulated for all children) (KiB): 63116

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

runsolver used 1.09983 second user time and 3.38748 second system time

The end

Launcher Data

Begin job on node25 at 2009-05-20 16:04:48
IDJOB=1834131
IDBENCH=71537
IDSOLVER=671
FILE ID=node25/1834131-1242828287
PBS_JOBID= 9322536
Free space on /tmp= 66360 MiB

SOLVER NAME= minisat_cumr p-2009-03-18
BENCH NAME= SAT09/CRAFTED/rbsat/crafted/forced/rbsat-v1150c84314gyes2.cnf
COMMAND LINE= SatELiteGTI BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-1834131-1242828287/watcher-1834131-1242828287 -o /tmp/evaluation-result-1834131-1242828287/solver-1834131-1242828287 -C 1200 -W 1800 -M 1800  SatELiteGTI HOME/instance-1834131-1242828287.cnf

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

MD5SUM BENCH= 52e359b1b3f50700797d7fba5a906213
RANDOM SEED=2059156646

node25.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.259
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.259
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:       1919872 kB
Buffers:         18100 kB
Cached:          65888 kB
SwapCached:      18624 kB
Active:          58044 kB
Inactive:        46080 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1919872 kB
SwapTotal:     4192956 kB
SwapFree:      4168320 kB
Dirty:            2580 kB
Writeback:           0 kB
Mapped:          13920 kB
Slab:            18060 kB
Committed_AS:  1024404 kB
PageTables:       1464 kB
VmallocTotal: 536870911 kB
VmallocUsed:    264952 kB
VmallocChunk: 536605679 kB
HugePages_Total:     0
HugePages_Free:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 66356 MiB
End job on node25 at 2009-05-20 16:24:50