Trace number 1837558

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) 10000 10002.9

General information on the benchmark

NameAPPLICATIONS/satComp09_BioInstances/
rpoc_xits_10_UNKNOWN.cnf
MD5SUM8ece32bbd9e6c3f5c8cdf0e94e0569cd
Bench CategoryAPPLICATION (applications instances)
Best result obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark
Satisfiable
(Un)Satisfiability was proved
Number of variables1584
Number of clauses100116
Sum of the clauses size297952
Maximum clause length11
Minimum clause length2
Number of clauses of size 10
Number of clauses of size 22580
Number of clauses of size 397513
Number of clauses of size 40
Number of clauses of size 50
Number of clauses of size over 523

Solver Data

0.00/0.00	c Parsing...
0.00/0.06	c ==============================================================================
0.00/0.06	c |           |     ORIGINAL     |              LEARNT              |          |
0.00/0.06	c | Conflicts | Clauses Literals |   Limit Clauses Literals  Lit/Cl | Progress |
0.00/0.06	c ==============================================================================
0.00/0.06	c |         0 |  100116   297952 |   30034       0        0     nan |  0.000 % |
0.00/0.97	c |         0 |   99290   430382 |      --       0       --      -- |     --   | -826/132430
0.00/0.97	c ==============================================================================
0.00/0.97	c Result  :   #vars: 958   #clauses: 99290   #literals: 430382
0.00/0.97	c CPU time:   0.951855 s
0.00/0.97	c ==============================================================================
0.99/1.10	c This is MiniSat 2.0 beta
0.99/1.10	c WARNING: for repeatability, setting FPU to use double precision
0.99/1.10	c ============================[ Problem Statistics ]=============================
0.99/1.10	c |                                                                             |
1.08/1.10	c |  Number of variables:  958                                                  |
1.08/1.10	c |  Number of clauses:    99290                                                |
1.08/1.16	c |  Parsing time:         0.05         s                                       |
1.08/1.16	c ============================[ Search Statistics ]==============================
1.08/1.16	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
1.08/1.16	c |           |    Vars  Clauses Literals |    Limit  Clauses Lit/Cl |          |
1.08/1.16	c ===============================================================================
1.08/1.16	c |         0 |     958    99290   430382 |    33096        0    nan |  0.000 % |
1.08/1.19	c |       100 |     958    99290   430382 |    33096      100     47 |  0.000 % |
1.08/1.23	c |       201 |     958    99290   430382 |    33096      201     50 |  0.001 % |
1.08/1.26	c |       302 |     958    99290   430382 |    33096      302     52 |  0.000 % |
1.08/1.30	c |       412 |     958    99290   430382 |    33096      412     53 |  0.000 % |
1.08/1.32	c |       513 |     958    99290   430382 |    33096      513     52 |  0.000 % |
1.08/1.36	c |       623 |     958    99290   430382 |    33096      623     53 |  0.000 % |
1.08/1.39	c |       746 |     958    99290   430382 |    33096      746     53 |  0.000 % |
1.08/1.41	c |       847 |     958    99290   430382 |    33096      847     52 |  0.000 % |
1.08/1.42	c |       958 |     958    99290   430382 |    33096      958     52 |  0.000 % |
1.08/1.44	c |      1080 |     958    99290   430382 |    33096     1080     51 |  0.000 % |
1.08/1.48	c |      1215 |     958    99290   430382 |    33096     1215     51 |  0.000 % |
1.08/1.51	c |      1317 |     958    99290   430382 |    33096     1317     51 |  0.000 % |
1.08/1.54	c |      1427 |     958    99290   430382 |    33096     1427     52 |  0.000 % |
1.08/1.58	c |      1548 |     958    99290   430382 |    33096     1548     52 |  0.000 % |
1.08/1.61	c |      1681 |     958    99290   430382 |    33096     1681     53 |  0.000 % |
1.08/1.64	c |      1827 |     958    99290   430382 |    33096     1827     53 |  0.000 % |
1.08/1.66	c |      1927 |     958    99290   430382 |    33096     1927     53 |  0.000 % |
1.08/1.69	c |      2037 |     958    99290   430382 |    33096     2037     53 |  0.000 % |
1.08/1.71	c |      2159 |     958    99290   430382 |    33096     2159     53 |  0.000 % |
1.08/1.74	c |      2292 |     958    99290   430382 |    33096     2292     53 |  0.000 % |
1.08/1.78	c |      2438 |     958    99290   430382 |    33096     2438     53 |  0.000 % |
1.08/1.85	c |      2601 |     958    99290   430382 |    33096     2601     54 |  0.000 % |
1.08/1.88	c |      2702 |     958    99290   430382 |    33096     2702     54 |  0.000 % |
1.08/1.92	c |      2812 |     958    99290   430382 |    33096     2812     54 |  0.000 % |
1.08/1.96	c |      2934 |     958    99290   430382 |    33096     2934     54 |  0.000 % |
1.08/2.01	c |      3069 |     958    99290   430382 |    33096     3069     54 |  0.000 % |
1.08/2.07	c |      3215 |     958    99290   430382 |    33096     3215     54 |  0.000 % |
2.07/2.13	c |      3377 |     958    99290   430382 |    33096     3377     54 |  0.000 % |
2.07/2.19	c |      3554 |     958    99290   430382 |    33096     3554     54 |  0.000 % |
2.17/2.24	c |      3654 |     958    99290   430382 |    33096     3654     55 |  0.000 % |
2.17/2.29	c |      3764 |     958    99290   430382 |    33096     3764     55 |  0.000 % |
2.27/2.35	c |      3885 |     958    99290   430382 |    33096     3885     55 |  0.000 % |
2.37/2.41	c |      4019 |     958    99290   430382 |    33096     4019     55 |  0.000 % |
2.37/2.47	c |      4167 |     958    99290   430382 |    33096     4167     55 |  0.000 % |
2.47/2.52	c |      4327 |     958    99290   430382 |    33096     4327     55 |  0.000 % |
2.56/2.61	c |      4503 |     958    99290   430382 |    33096     4503     55 |  0.000 % |
2.66/2.70	c |      4696 |     958    99290   430382 |    33096     4696     55 |  0.000 % |
2.66/2.74	c |      4796 |     958    99290   430382 |    33096     4796     55 |  0.000 % |
2.66/2.79	c |      4906 |     958    99290   430382 |    33096     4906     55 |  0.000 % |
2.76/2.85	c |      5028 |     958    99290   430382 |    33096     5028     55 |  0.000 % |
2.86/2.92	c |      5163 |     958    99290   430382 |    33096     5163     55 |  0.000 % |
2.86/2.99	c |      5309 |     958    99290   430382 |    33096     5309     55 |  0.000 % |
2.96/3.05	c |      5472 |     958    99290   430382 |    33096     5472     55 |  0.000 % |
3.06/3.13	c |      5650 |     958    99290   430382 |    33096     5650     55 |  0.000 % |
3.17/3.21	c |      5843 |     958    99290   430382 |    33096     5843     55 |  0.000 % |
3.17/3.28	c |      6055 |     958    99290   430382 |    33096     6055     55 |  0.000 % |
3.27/3.33	c |      6156 |     958    99290   430382 |    33096     6156     55 |  0.000 % |
3.27/3.38	c |      6266 |     958    99290   430382 |    33096     6266     55 |  0.000 % |
3.36/3.47	c |      6387 |     958    99290   430382 |    33096     6387     55 |  0.000 % |
3.46/3.54	c |      6520 |     958    99290   430382 |    33096     6520     55 |  0.000 % |
3.56/3.62	c |      6667 |     958    99290   430382 |    33096     6667     55 |  0.000 % |
3.56/3.68	c |      6827 |     958    99290   430382 |    33096     6827     55 |  0.000 % |
3.66/3.77	c |      7003 |     958    99290   430382 |    33096     7003     55 |  0.000 % |
3.76/3.84	c |      7197 |     958    99290   430382 |    33096     7197     55 |  0.000 % |
3.96/4.03	c |      7409 |     958    99290   430382 |    33096     7409     55 |  0.000 % |
4.16/4.22	c |      7645 |     958    99290   430382 |    33096     7645     55 |  0.000 % |
4.16/4.30	c |      7745 |     958    99290   430382 |    33096     7745     55 |  0.000 % |
4.27/4.39	c |      7855 |     958    99290   430382 |    33096     7855     55 |  0.000 % |
4.46/4.50	c |      7978 |     958    99290   430382 |    33096     7978     55 |  0.000 % |
4.46/4.59	c |      8111 |     958    99290   430382 |    33096     8111     56 |  0.000 % |
4.56/4.68	c |      8257 |     958    99290   430382 |    33096     8257     56 |  0.000 % |
4.76/4.82	c |      8417 |     958    99290   430382 |    33096     8417     56 |  0.000 % |
4.86/4.95	c |      8593 |     958    99290   430382 |    33096     8593     56 |  0.000 % |
5.06/5.10	c |      8788 |     958    99290   430382 |    33096     8788     56 |  0.000 % |
5.16/5.24	c |      9001 |     958    99290   430382 |    33096     9001     56 |  0.000 % |
5.37/5.45	c |      9234 |     958    99290   430382 |    33096     9234     56 |  0.000 % |
5.66/5.70	c |      9491 |     958    99290   430382 |    33096     9491     56 |  0.000 % |
5.76/5.81	c |      9591 |     958    99290   430382 |    33096     9591     56 |  0.000 % |
5.86/5.93	c |      9702 |     958    99290   430382 |    33096     9702     55 |  0.000 % |
5.96/6.01	c |      9824 |     958    99290   430382 |    33096     9824     55 |  0.000 % |
6.06/6.19	c |      9959 |     958    99290   430382 |    33096     9959     55 |  0.000 % |
6.26/6.38	c |     10107 |     958    99290   430382 | 2147483647    10107     55 |  0.000 % |
6.46/6.57	c |     10268 |     958    99290   430382 | 2147483647    10268     55 |  0.000 % |
6.56/6.66	c |     10445 |     958    99290   430382 | 2147483647    10445     56 |  0.000 % |
6.76/6.86	c |     10638 |     958    99290   430382 | 2147483647    10638     56 |  0.000 % |
6.86/6.99	c |     10851 |     958    99290   430382 | 2147483647    10851     56 |  0.000 % |
7.06/7.12	c |     11085 |     958    99290   430382 | 2147483647    11085     56 |  0.000 % |
7.16/7.23	c |     11341 |     958    99290   430382 | 2147483647    11341     56 |  0.000 % |
7.26/7.33	c |     11623 |     958    99290   430382 | 2147483647    11623     56 |  0.000 % |
7.26/7.37	c |     11724 |     958    99290   430382 | 2147483647    11724     56 |  0.000 % |
7.36/7.41	c |     11836 |     958    99290   430382 | 2147483647    11836     56 |  0.000 % |
7.36/7.45	c |     11958 |     958    99290   430382 | 2147483647    11958     56 |  0.000 % |
7.46/7.50	c |     12091 |     958    99290   430382 | 2147483647    12091     56 |  0.000 % |
7.46/7.56	c |     12237 |     958    99290   430382 | 2147483647    12237     56 |  0.000 % |
7.56/7.61	c |     12397 |     958    99290   430382 | 2147483647    12397     56 |  0.000 % |
7.56/7.66	c |     12573 |     958    99290   430382 | 2147483647    12573     56 |  0.000 % |
7.66/7.75	c |     12768 |     958    99290   430382 | 2147483647    12768     56 |  0.000 % |
7.76/7.83	c |     12980 |     958    99290   430382 | 2147483647    12980     56 |  0.000 % |
7.86/7.91	c |     13213 |     958    99290   430382 | 2147483647    13213     55 |  0.000 % |
7.96/8.01	c |     13470 |     958    99290   430382 | 2147483647    13470     55 |  0.000 % |
8.07/8.15	c |     13752 |     958    99290   430382 | 2147483647    13752     55 |  0.000 % |
8.17/8.25	c |     14063 |     958    99290   430382 | 2147483647    14063     55 |  0.000 % |
8.27/8.30	c |     14165 |     958    99290   430382 | 2147483647    14165     55 |  0.000 % |
8.27/8.34	c |     14275 |     958    99290   430382 | 2147483647    14275     55 |  0.000 % |
8.27/8.38	c |     14397 |     958    99290   430382 | 2147483647    14397     55 |  0.000 % |
8.37/8.44	c |     14530 |     958    99290   430382 | 2147483647    14530     55 |  0.000 % |
8.47/8.52	c |     14679 |     958    99290   430382 | 2147483647    14679     55 |  0.000 % |
8.57/8.60	c |     14840 |     958    99290   430382 | 2147483647    14840     55 |  0.000 % |
8.57/8.68	c |     15017 |     958    99290   430382 | 2147483647    15017     55 |  0.000 % |
8.67/8.79	c |     15213 |     958    99290   430382 | 2147483647    15213     55 |  0.000 % |
8.77/8.89	c |     15425 |     958    99290   430382 | 2147483647    15425     55 |  0.000 % |
8.96/9.00	c |     15658 |     958    99290   430382 | 2147483647    15658     55 |  0.000 % |
9.06/9.11	c |     15914 |     958    99290   430382 | 2147483647    15914     55 |  0.000 % |
9.16/9.22	c |     16196 |     958    99290   430382 | 2147483647    16196     55 |  0.000 % |
9.26/9.39	c |     16505 |     958    99290   430382 | 2147483647    16505     55 |  0.000 % |
9.46/9.58	c |     16844 |     958    99290   430382 | 2147483647    16844     55 |  0.000 % |
9.56/9.64	c |     16945 |     958    99290   430382 | 2147483647    16945     55 |  0.000 % |
9.66/9.73	c |     17055 |     958    99290   430382 | 2147483647    17055     55 |  0.000 % |
9.66/9.79	c |     17178 |     958    99290   430382 | 2147483647    17178     55 |  0.000 % |
9.77/9.89	c |     17312 |     958    99290   430382 | 2147483647    17312     55 |  0.000 % |
9.87/9.98	c |     17458 |     958    99290   430382 | 2147483647    17458     54 |  0.000 % |
9.96/10.08	c |     17619 |     958    99290   430382 | 2147483647    17619     54 |  0.000 % |
10.36/10.48	c |     17796 |     958    99290   430382 | 2147483647    17796     54 |  0.000 % |
10.56/10.63	c |     17991 |     958    99290   430382 | 2147483647    17991     54 |  0.000 % |
10.87/10.95	c |     18204 |     958    99290   430382 | 2147483647    18204     54 |  0.000 % |
11.36/11.42	c |     18438 |     958    99290   430382 | 2147483647    18438     54 |  0.000 % |
11.46/11.51	c |     18695 |     958    99290   430382 | 2147483647    18695     54 |  0.000 % |
11.97/12.01	c |     18979 |     958    99290   430382 | 2147483647    18979     54 |  0.000 % |
12.56/12.60	c |     19288 |     958    99290   430382 | 2147483647    19288     54 |  0.000 % |
13.26/13.38	c |     19627 |     958    99290   430382 | 2147483647    19627     54 |  0.000 % |
13.77/13.85	c |     20001 |     958    99290   430382 | 2147483647    20001     54 |  0.000 % |
14.07/14.15	c |     20102 |     958    99290   430382 | 2147483647    20102     54 |  0.000 % |
14.36/14.49	c |     20213 |     958    99290   430382 | 2147483647    20213     54 |  0.000 % |
14.66/14.76	c |     20335 |     958    99290   430382 | 2147483647    20335     54 |  0.000 % |
14.86/14.92	c |     20470 |     958    99290   430382 | 2147483647    20470     54 |  0.000 % |
15.27/15.30	c |     20617 |     958    99290   430382 | 2147483647    20617     54 |  0.000 % |
15.56/15.65	c |     20777 |     958    99290   430382 | 2147483647    20777     54 |  0.000 % |
15.96/16.05	c |     20955 |     958    99290   430382 | 2147483647    20955     54 |  0.000 % |
16.37/16.48	c |     21148 |     958    99290   430382 | 2147483647    21148     54 |  0.000 % |
16.76/16.85	c |     21360 |     958    99290   430382 | 2147483647    21360     54 |  0.000 % |
17.26/17.37	c |     21596 |     958    99290   430382 | 2147483647    21596     54 |  0.000 % |
17.96/18.05	c |     21852 |     958    99290   430382 | 2147483647    21852     54 |  0.000 % |
18.26/18.35	c |     22134 |     958    99290   430382 | 2147483647    22134     54 |  0.000 % |
19.16/19.20	c |     22443 |     958    99290   430382 | 2147483647    22443     54 |  0.000 % |
19.96/20.08	c |     22784 |     958    99290   430382 | 2147483647    22784     54 |  0.000 % |
20.26/20.33	c |     23157 |     958    99290   430382 | 2147483647    23157     54 |  0.000 % |
21.16/21.23	c |     23567 |     958    99290   430382 | 2147483647    23567     54 |  0.000 % |
21.36/21.43	c |     23668 |     958    99290   430382 | 2147483647    23668     54 |  0.000 % |
21.66/21.73	c |     23778 |     958    99290   430382 | 2147483647    23778     54 |  0.000 % |
21.96/22.04	c |     23899 |     958    99290   430382 | 2147483647    23899     54 |  0.000 % |
22.26/22.30	c |     24035 |     958    99290   430382 | 2147483647    24035     54 |  0.000 % |
22.66/22.76	c |     24181 |     958    99290   430382 | 2147483647    24181     54 |  0.000 % |
23.16/23.24	c |     24342 |     958    99290   430382 | 2147483647    24342     54 |  0.000 % |
23.56/23.68	c |     24518 |     958    99290   430382 | 2147483647    24518     54 |  0.000 % |
24.06/24.16	c |     24713 |     958    99290   430382 | 2147483647    24713     54 |  0.000 % |
24.56/24.64	c |     24925 |     958    99290   430382 | 2147483647    24925     54 |  0.000 % |
25.16/25.22	c |     25158 |     958    99290   430382 | 2147483647    25158     54 |  0.000 % |
25.96/26.04	c |     25414 |     958    99290   430382 | 2147483647    25414     54 |  0.000 % |
26.76/26.84	c |     25696 |     958    99290   430382 | 2147483647    25696     54 |  0.000 % |
27.65/27.72	c |     26005 |     958    99290   430382 | 2147483647    26005     54 |  0.000 % |
28.35/28.48	c |     26345 |     958    99290   430382 | 2147483647    26345     54 |  0.000 % |
29.35/29.42	c |     26718 |     958    99290   430382 | 2147483647    26718     54 |  0.000 % |
30.45/30.54	c |     27127 |     958    99290   430382 | 2147483647    27127     54 |  0.000 % |
31.65/31.73	c |     27576 |     958    99290   430382 | 2147483647    27576     54 |  0.000 % |
31.95/32.04	c |     27679 |     958    99290   430382 | 2147483647    27679     54 |  0.000 % |
32.35/32.40	c |     27789 |     958    99290   430382 | 2147483647    27789     54 |  0.000 % |
32.65/32.77	c |     27913 |     958    99290   430382 | 2147483647    27913     54 |  0.000 % |
33.15/33.20	c |     28048 |     958    99290   430382 | 2147483647    28048     54 |  0.000 % |
33.45/33.58	c |     28194 |     958    99290   430382 | 2147483647    28194     54 |  0.000 % |
33.95/34.02	c |     28354 |     958    99290   430382 | 2147483647    28354     54 |  0.000 % |
34.45/34.60	c |     28532 |     958    99290   430382 | 2147483647    28532     54 |  0.000 % |
35.15/35.22	c |     28727 |     958    99290   430382 | 2147483647    28727     54 |  0.000 % |
35.75/35.82	c |     28939 |     958    99290   430382 | 2147483647    28939     54 |  0.000 % |
36.05/36.14	c |     29173 |     958    99290   430382 | 2147483647    29173     54 |  0.000 % |
36.76/36.80	c |     29429 |     958    99290   430382 | 2147483647    29429     54 |  0.000 % |
37.46/37.53	c |     29710 |     958    99290   430382 | 2147483647    29710     54 |  0.000 % |
38.06/38.17	c |     30019 |     958    99290   430382 | 2147483647    30019     54 |  0.000 % |
38.66/38.79	c |     30359 |     958    99290   430382 | 2147483647    30359     54 |  0.000 % |
39.86/39.98	c |     30731 |     958    99290   430382 | 2147483647    30731     54 |  0.000 % |
41.26/41.34	c |     31142 |     958    99290   430382 | 2147483647    31142     54 |  0.000 % |
42.55/42.67	c |     31592 |     958    99290   430382 | 2147483647    31592     54 |  0.000 % |
44.15/44.29	c |     32085 |     958    99290   430382 | 2147483647    32085     54 |  0.000 % |
44.45/44.59	c |     32185 |     958    99290   430382 | 2147483647    32185     54 |  0.000 % |
44.85/44.94	c |     32295 |     958    99290   430382 | 2147483647    32295     54 |  0.000 % |
45.25/45.33	c |     32417 |     958    99290   430382 | 2147483647    32417     54 |  0.000 % |
45.75/45.82	c |     32551 |     958    99290   430382 | 2147483647    32551     54 |  0.000 % |
46.16/46.23	c |     32698 |     958    99290   430382 | 2147483647    32698     54 |  0.000 % |
46.65/46.72	c |     32858 |     958    99290   430382 | 2147483647    32858     54 |  0.000 % |
47.16/47.28	c |     33035 |     958    99290   430382 | 2147483647    33035     54 |  0.000 % |
47.95/48.02	c |     33228 |     958    99290   430382 | 2147483647    33228     54 |  0.000 % |
48.75/48.80	c |     33441 |     958    99290   430382 | 2147483647    33441     54 |  0.000 % |
49.46/49.53	c |     33674 |     958    99290   430382 | 2147483647    33674     54 |  0.000 % |
50.15/50.26	c |     33930 |     958    99290   430382 | 2147483647    33930     54 |  0.000 % |
51.15/51.26	c |     34212 |     958    99290   430382 | 2147483647    34212     54 |  0.000 % |
52.45/52.55	c |     34521 |     958    99290   430382 | 2147483647    34521     54 |  0.000 % |
53.75/53.89	c |     34861 |     958    99290   430382 | 2147483647    34861     54 |  0.000 % |
55.15/55.29	c |     35233 |     958    99290   430382 | 2147483647    35233     54 |  0.000 % |
56.55/56.65	c |     35644 |     958    99290   430382 | 2147483647    35644     53 |  0.000 % |
57.94/58.05	c |     36094 |     958    99290   430382 | 2147483647    36094     53 |  0.000 % |
59.15/59.23	c |     36588 |     958    99290   430382 | 2147483647    36588     53 |  0.000 % |
61.25/61.30	c |     37130 |     958    99290   430382 | 2147483647    37130     53 |  0.000 % |
61.56/61.68	c |     37231 |     958    99290   430382 | 2147483647    37231     53 |  0.000 % |
61.95/62.08	c |     37341 |     958    99290   430382 | 2147483647    37341     53 |  0.000 % |
62.35/62.47	c |     37463 |     958    99290   430382 | 2147483647    37463     53 |  0.000 % |
62.85/62.98	c |     37596 |     958    99290   430382 | 2147483647    37596     53 |  0.000 % |
63.35/63.48	c |     37743 |     958    99290   430382 | 2147483647    37743     53 |  0.000 % |
63.95/64.04	c |     37904 |     958    99290   430382 | 2147483647    37904     53 |  0.000 % |
64.35/64.44	c |     38081 |     958    99290   430382 | 2147483647    38081     53 |  0.000 % |
65.25/65.31	c |     38274 |     958    99290   430382 | 2147483647    38274     53 |  0.000 % |
66.05/66.11	c |     38486 |     958    99290   430382 | 2147483647    38486     53 |  0.000 % |
67.05/67.16	c |     38720 |     958    99290   430382 | 2147483647    38720     53 |  0.000 % |
68.05/68.14	c |     38976 |     958    99290   430382 | 2147483647    38976     53 |  0.000 % |
69.05/69.18	c |     39258 |     958    99290   430382 | 2147483647    39258     53 |  0.000 % |
70.45/70.53	c |     39568 |     958    99290   430382 | 2147483647    39568     53 |  0.000 % |
71.65/71.71	c |     39907 |     958    99290   430382 | 2147483647    39907     53 |  0.000 % |
72.75/72.86	c |     40279 |     958    99290   430382 | 2147483647    40279     53 |  0.000 % |
73.94/74.10	c |     40688 |     958    99290   430382 | 2147483647    40688     53 |  0.000 % |
75.75/75.90	c |     41143 |     958    99290   430382 | 2147483647    41143     53 |  0.000 % |
77.14/77.28	c |     41636 |     958    99290   430382 | 2147483647    41636     53 |  0.000 % |
78.54/78.64	c |     42179 |     958    99290   430382 | 2147483647    42179     53 |  0.000 % |
81.25/81.31	c |     42777 |     958    99290   430382 | 2147483647    42777     53 |  0.000 % |
81.74/81.82	c |     42878 |     958    99290   430382 | 2147483647    42878     53 |  0.000 % |
82.14/82.26	c |     42988 |     958    99290   430382 | 2147483647    42988     53 |  0.000 % |
82.74/82.86	c |     43109 |     958    99290   430382 | 2147483647    43109     53 |  0.000 % |
83.34/83.49	c |     43242 |     958    99290   430382 | 2147483647    43242     53 |  0.000 % |
84.04/84.17	c |     43390 |     958    99290   430382 | 2147483647    43390     53 |  0.000 % |
84.84/84.95	c |     43550 |     958    99290   430382 | 2147483647    43550     53 |  0.000 % |
85.75/85.81	c |     43726 |     958    99290   430382 | 2147483647    43726     53 |  0.000 % |
86.54/86.66	c |     43920 |     958    99290   430382 | 2147483647    43920     53 |  0.000 % |
87.64/87.79	c |     44132 |     958    99290   430382 | 2147483647    44132     53 |  0.000 % |
88.74/88.84	c |     44366 |     958    99290   430382 | 2147483647    44366     53 |  0.000 % |
89.84/89.92	c |     44622 |     958    99290   430382 | 2147483647    44622     53 |  0.000 % |
91.04/91.10	c |     44905 |     958    99290   430382 | 2147483647    44905     52 |  0.000 % |
91.74/91.89	c |     45215 |     958    99290   430382 | 2147483647    45215     52 |  0.000 % |
92.94/93.03	c |     45554 |     958    99290   430382 | 2147483647    45554     52 |  0.000 % |
93.14/93.27	c |     45926 |     958    99290   430382 | 2147483647    45926     52 |  0.000 % |
95.23/95.39	c |     46336 |     958    99290   430382 | 2147483647    46336     52 |  0.000 % |
96.33/96.47	c |     46787 |     958    99290   430382 | 2147483647    46787     52 |  0.000 % |
98.85/98.93	c |     47282 |     958    99290   430382 | 2147483647    47282     52 |  0.000 % |
101.24/101.34	c |     47824 |     958    99290   430382 | 2147483647    47824     52 |  0.000 % |
101.84/101.94	c |     48420 |     958    99290   430382 | 2147483647    48420     52 |  0.000 % |
102.44/102.57	c |     49075 |     958    99290   430382 | 2147483647    49075     52 |  0.000 % |
102.64/102.76	c |     49176 |     958    99290   430382 | 2147483647    49176     52 |  0.000 % |
102.84/102.99	c |     49286 |     958    99290   430382 | 2147483647    49286     52 |  0.000 % |
103.04/103.10	c |     49407 |     958    99290   430382 | 2147483647    49407     52 |  0.000 % |
103.94/104.09	c |     49540 |     958    99290   430382 | 2147483647    49540     52 |  0.000 % |
104.94/105.07	c |     49688 |     958    99290   430382 | 2147483647    49688     52 |  0.000 % |
105.44/105.60	c |     49848 |     958    99290   430382 | 2147483647    49848     52 |  0.000 % |
106.64/106.76	c |     50028 |     958    99290   430382 | 2147483647    50028     52 |  0.000 % |
107.34/107.47	c |     50222 |     958    99290   430382 | 2147483647    50222     52 |  0.000 % |
107.74/107.87	c |     50435 |     958    99290   430382 | 2147483647    50435     53 |  0.000 % |
108.14/108.21	c |     50668 |     958    99290   430382 | 2147483647    50668     53 |  0.000 % |
108.14/108.27	c |     50925 |     958    99290   430382 | 2147483647    50925     53 |  0.000 % |
109.54/109.60	c |     51209 |     958    99290   430382 | 2147483647    51209     53 |  0.000 % |
111.13/111.20	c |     51519 |     958    99290   430382 | 2147483647    51519     53 |  0.000 % |
111.63/111.72	c |     51858 |     958    99290   430382 | 2147483647    51858     53 |  0.000 % |
111.83/111.98	c |     52231 |     958    99290   430382 | 2147483647    52231     53 |  0.000 % |
112.14/112.25	c |     52641 |     958    99290   430382 | 2147483647    52641     52 |  0.000 % |
112.43/112.52	c |     53091 |     958    99290   430382 | 2147483647    53091     52 |  0.000 % |
114.73/114.87	c |     53586 |     958    99290   430382 | 2147483647    53586     52 |  0.000 % |
115.44/115.55	c |     54129 |     958    99290   430382 | 2147483647    54129     52 |  0.000 % |
117.33/117.47	c |     54725 |     958    99290   430382 | 2147483647    54725     52 |  0.000 % |
118.73/118.89	c |     55382 |     958    99290   430382 | 2147483647    55382     52 |  0.000 % |
121.33/121.45	c |     56102 |     958    99290   430382 | 2147483647    56102     53 |  0.000 % |
121.43/121.56	c |     56204 |     958    99290   430382 | 2147483647    56204     53 |  0.000 % |
121.53/121.69	c |     56316 |     958    99290   430382 | 2147483647    56316     53 |  0.000 % |
121.73/121.80	c |     56437 |     958    99290   430382 | 2147483647    56437     53 |  0.000 % |
121.93/122.07	c |     56572 |     958    99290   430382 | 2147483647    56572     53 |  0.000 % |
123.13/123.22	c |     56719 |     958    99290   430382 | 2147483647    56719     53 |  0.000 % |
123.83/123.93	c |     56882 |     958    99290   430382 | 2147483647    56882     53 |  0.000 % |
124.13/124.30	c |     57061 |     958    99290   430382 | 2147483647    57061     53 |  0.000 % |
124.83/124.99	c |     57255 |     958    99290   430382 | 2147483647    57255     53 |  0.000 % |
125.13/125.30	c |     57467 |     958    99290   430382 | 2147483647    57467     53 |  0.000 % |
126.43/126.56	c |     57702 |     958    99290   430382 | 2147483647    57702     53 |  0.000 % |
126.53/126.67	c |     57958 |     958    99290   430382 | 2147483647    57958     53 |  0.000 % |
127.93/128.09	c |     58241 |     958    99290   430382 | 2147483647    58241     53 |  0.000 % |
128.83/128.92	c |     58553 |     958    99290   430382 | 2147483647    58553     53 |  0.000 % |
129.53/129.64	c |     58892 |     958    99290   430382 | 2147483647    58892     53 |  0.000 % |
131.43/131.56	c |     59266 |     958    99290   430382 | 2147483647    59266     53 |  0.000 % |
133.33/133.40	c |     59675 |     958    99290   430382 | 2147483647    59675     53 |  0.000 % |
134.43/134.50	c |     60125 |     958    99290   430382 | 2147483647    60125     53 |  0.000 % |
136.62/136.79	c |     60619 |     958    99290   430382 | 2147483647    60619     53 |  0.000 % |
139.42/139.55	c |     61163 |     958    99290   430382 | 2147483647    61163     53 |  0.000 % |
141.52/141.64	c |     61759 |     958    99290   430382 | 2147483647    61759     53 |  0.000 % |
142.82/142.95	c |     62414 |     958    99290   430382 | 2147483647    62414     53 |  0.000 % |
144.43/144.52	c |     63135 |     958    99290   430382 | 2147483647    63135     54 |  0.000 % |
145.23/145.39	c |     63928 |     958    99290   430382 | 2147483647    63928     54 |  0.000 % |
145.33/145.47	c |     64028 |     958    99290   430382 | 2147483647    64028     54 |  0.000 % |
145.63/145.79	c |     64138 |     958    99290   430382 | 2147483647    64138     54 |  0.000 % |
145.93/146.05	c |     64260 |     958    99290   430382 | 2147483647    64260     54 |  0.000 % |
146.43/146.55	c |     64393 |     958    99290   430382 | 2147483647    64393     54 |  0.000 % |
147.03/147.13	c |     64540 |     958    99290   430382 | 2147483647    64540     54 |  0.000 % |
147.63/147.79	c |     64701 |     958    99290   430382 | 2147483647    64701     54 |  0.000 % |
148.33/148.46	c |     64878 |     958    99290   430382 | 2147483647    64878     54 |  0.000 % |
149.13/149.29	c |     65071 |     958    99290   430382 | 2147483647    65071     54 |  0.000 % |
149.73/149.84	c |     65283 |     958    99290   430382 | 2147483647    65283     54 |  0.000 % |
150.33/150.49	c |     65518 |     958    99290   430382 | 2147483647    65518     54 |  0.000 % |
150.93/151.06	c |     65774 |     958    99290   430382 | 2147483647    65774     54 |  0.000 % |
151.33/151.42	c |     66057 |     958    99290   430382 | 2147483647    66057     54 |  0.000 % |
153.03/153.17	c |     66366 |     958    99290   430382 | 2147483647    66366     54 |  0.000 % |
154.62/154.73	c |     66705 |     958    99290   430382 | 2147483647    66705     54 |  0.000 % |
157.02/157.10	c |     67078 |     958    99290   430382 | 2147483647    67078     54 |  0.000 % |
158.92/159.05	c |     67489 |     958    99290   430382 | 2147483647    67489     54 |  0.000 % |
161.42/161.60	c |     67938 |     958    99290   430382 | 2147483647    67938     54 |  0.000 % |
164.32/164.48	c |     68431 |     958    99290   430382 | 2147483647    68431     54 |  0.000 % |
164.72/164.86	c |     68974 |     958    99290   430382 | 2147483647    68974     55 |  0.000 % |
167.82/167.93	c |     69571 |     958    99290   430382 | 2147483647    69571     55 |  0.000 % |
170.52/170.63	c |     70226 |     958    99290   430382 | 2147483647    70226     55 |  0.000 % |
173.72/173.83	c |     70946 |     958    99290   430382 | 2147483647    70946     55 |  0.000 % |
175.71/175.82	c |     71739 |     958    99290   430382 | 2147483647    71739     55 |  0.000 % |
177.31/177.45	c |     72613 |     958    99290   430382 | 2147483647    72613     55 |  0.000 % |
177.51/177.65	c |     72713 |     958    99290   430382 | 2147483647    72713     55 |  0.000 % |
177.61/177.76	c |     72824 |     958    99290   430382 | 2147483647    72824     55 |  0.000 % |
177.71/177.89	c |     72945 |     958    99290   430382 | 2147483647    72945     55 |  0.000 % |
177.91/178.03	c |     73078 |     958    99290   430382 | 2147483647    73078     55 |  0.000 % |
178.31/178.46	c |     73224 |     958    99290   430382 | 2147483647    73224     55 |  0.000 % |
178.82/178.95	c |     73384 |     958    99290   430382 | 2147483647    73384     55 |  0.000 % |
179.02/179.16	c |     73560 |     958    99290   430382 | 2147483647    73560     55 |  0.000 % |
179.42/179.52	c |     73758 |     958    99290   430382 | 2147483647    73758     55 |  0.000 % |
179.82/179.90	c |     73970 |     958    99290   430382 | 2147483647    73970     55 |  0.000 % |
180.22/180.37	c |     74203 |     958    99290   430382 | 2147483647    74203     55 |  0.000 % |
181.72/181.86	c |     74461 |     958    99290   430382 | 2147483647    74461     55 |  0.000 % |
182.72/182.83	c |     74745 |     958    99290   430382 | 2147483647    74745     55 |  0.000 % |
184.12/184.28	c |     75056 |     958    99290   430382 | 2147483647    75056     55 |  0.000 % |
185.72/185.89	c |     75395 |     958    99290   430382 | 2147483647    75395     55 |  0.000 % |
187.11/187.25	c |     75769 |     958    99290   430382 | 2147483647    75769     55 |  0.000 % |
188.61/188.76	c |     76179 |     958    99290   430382 | 2147483647    76179     55 |  0.000 % |
189.51/189.63	c |     76629 |     958    99290   430382 | 2147483647    76629     55 |  0.000 % |
190.61/190.76	c |     77122 |     958    99290   430382 | 2147483647    77122     55 |  0.000 % |
192.61/192.80	c |     77666 |     958    99290   430382 | 2147483647    77666     55 |  0.000 % |
193.61/193.74	c |     78262 |     958    99290   430382 | 2147483647    78262     55 |  0.000 % |
194.61/194.74	c |     78920 |     958    99290   430382 | 2147483647    78920     55 |  0.000 % |
195.72/195.82	c |     79646 |     958    99290   430382 | 2147483647    79646     55 |  0.000 % |
196.72/196.83	c |     80441 |     958    99290   430382 | 2147483647    80441     55 |  0.000 % |
197.82/197.96	c |     81312 |     958    99290   430382 | 2147483647    81312     55 |  0.000 % |
199.11/199.24	c |     82270 |     958    99290   430382 | 2147483647    82270     55 |  0.000 % |
199.21/199.39	c |     82370 |     958    99290   430382 | 2147483647    82370     55 |  0.000 % |
199.41/199.51	c |     82482 |     958    99290   430382 | 2147483647    82482     55 |  0.000 % |
199.51/199.63	c |     82604 |     958    99290   430382 | 2147483647    82604     55 |  0.000 % |
199.61/199.77	c |     82738 |     958    99290   430382 | 2147483647    82738     55 |  0.000 % |
199.81/199.96	c |     82884 |     958    99290   430382 | 2147483647    82884     55 |  0.000 % |
200.02/200.12	c |     83046 |     958    99290   430382 | 2147483647    83046     55 |  0.000 % |
201.22/201.31	c |     83224 |     958    99290   430382 | 2147483647    83224     55 |  0.000 % |
201.81/201.91	c |     83421 |     958    99290   430382 | 2147483647    83421     55 |  0.000 % |
202.71/202.87	c |     83633 |     958    99290   430382 | 2147483647    83633     55 |  0.000 % |
203.41/203.56	c |     83866 |     958    99290   430382 | 2147483647    83866     55 |  0.000 % |
204.71/204.89	c |     84122 |     958    99290   430382 | 2147483647    84122     55 |  0.000 % |
205.81/205.92	c |     84403 |     958    99290   430382 | 2147483647    84403     55 |  0.000 % |
207.41/207.52	c |     84714 |     958    99290   430382 | 2147483647    84714     55 |  0.000 % |
209.31/209.42	c |     85053 |     958    99290   430382 | 2147483647    85053     55 |  0.000 % |
211.21/211.32	c |     85426 |     958    99290   430382 | 2147483647    85426     55 |  0.000 % |
213.11/213.24	c |     85836 |     958    99290   430382 | 2147483647    85836     55 |  0.000 % |
214.60/214.70	c |     86285 |     958    99290   430382 | 2147483647    86285     55 |  0.000 % |
215.00/215.17	c |     86779 |     958    99290   430382 | 2147483647    86779     55 |  0.000 % |
216.40/216.55	c |     87322 |     958    99290   430382 | 2147483647    87322     55 |  0.000 % |
219.20/219.32	c |     87919 |     958    99290   430382 | 2147483647    87919     55 |  0.000 % |
221.00/221.13	c |     88574 |     958    99290   430382 | 2147483647    88574     55 |  0.000 % |
222.60/222.74	c |     89294 |     958    99290   430382 | 2147483647    89294     55 |  0.000 % |
224.10/224.30	c |     90086 |     958    99290   430382 | 2147483647    90086     55 |  0.000 % |
225.61/225.71	c |     90958 |     958    99290   430382 | 2147483647    90958     56 |  0.000 % |
226.81/226.94	c |     91917 |     958    99290   430382 | 2147483647    91917     56 |  0.000 % |
228.80/228.95	c |     92970 |     958    99290   430382 | 2147483647    92970     56 |  0.000 % |
229.00/229.15	c |     93070 |     958    99290   430382 | 2147483647    93070     56 |  0.000 % |
229.10/229.29	c |     93180 |     958    99290   430382 | 2147483647    93180     56 |  0.000 % |
229.40/229.53	c |     93301 |     958    99290   430382 | 2147483647    93301     56 |  0.000 % |
229.71/229.81	c |     93435 |     958    99290   430382 | 2147483647    93435     56 |  0.000 % |
229.81/229.97	c |     93582 |     958    99290   430382 | 2147483647    93582     56 |  0.000 % |
230.10/230.30	c |     93743 |     958    99290   430382 | 2147483647    93743     56 |  0.000 % |
230.30/230.46	c |     93921 |     958    99290   430382 | 2147483647    93921     56 |  0.000 % |
230.60/230.77	c |     94115 |     958    99290   430382 | 2147483647    94115     56 |  0.000 % |
230.81/230.97	c |     94327 |     958    99290   430382 | 2147483647    94327     56 |  0.000 % |
231.20/231.31	c |     94560 |     958    99290   430382 | 2147483647    94560     56 |  0.000 % |
231.60/231.79	c |     94817 |     958    99290   430382 | 2147483647    94817     56 |  0.000 % |
232.10/232.26	c |     95099 |     958    99290   430382 | 2147483647    95099     56 |  0.000 % |
232.60/232.75	c |     95409 |     958    99290   430382 | 2147483647    95409     56 |  0.000 % |
234.10/234.26	c |     95751 |     958    99290   430382 | 2147483647    95751     56 |  0.000 % |
235.70/235.86	c |     96123 |     958    99290   430382 | 2147483647    96123     56 |  0.000 % |
237.50/237.65	c |     96532 |     958    99290   430382 | 2147483647    96532     56 |  0.000 % |
239.80/239.97	c |     96982 |     958    99290   430382 | 2147483647    96982     56 |  0.000 % |
242.20/242.32	c |     97477 |     958    99290   430382 | 2147483647    97477     56 |  0.000 % |
244.00/244.10	c |     98020 |     958    99290   430382 | 2147483647    98020     56 |  0.000 % |
247.19/247.33	c |     98616 |     958    99290   430382 | 2147483647    98616     56 |  0.000 % |
250.70/250.81	c |     99272 |     958    99290   430382 | 2147483647    99272     56 |  0.000 % |
253.39/253.51	c |     99992 |     958    99290   430382 | 2147483647    99992     56 |  0.000 % |
256.70/256.81	c |    100784 |     958    99290   430382 | 2147483647   100784     57 |  0.000 % |
260.60/260.80	c |    101656 |     958    99290   430382 | 2147483647   101656     57 |  0.000 % |
264.69/264.85	c |    102615 |     958    99290   430382 | 2147483647   102615     57 |  0.000 % |
269.49/269.67	c |    103669 |     958    99290   430382 | 2147483647   103669     57 |  0.000 % |
274.09/274.23	c |    104828 |     958    99290   430382 | 2147483647   104828     57 |  0.000 % |
274.49/274.64	c |    104929 |     958    99290   430382 | 2147483647   104929     57 |  0.000 % |
274.90/275.06	c |    105040 |     958    99290   430382 | 2147483647   105040     57 |  0.000 % |
275.39/275.58	c |    105162 |     958    99290   430382 | 2147483647   105162     57 |  0.000 % |
276.00/276.13	c |    105295 |     958    99290   430382 | 2147483647   105295     57 |  0.000 % |
276.59/276.75	c |    105441 |     958    99290   430382 | 2147483647   105441     57 |  0.000 % |
277.19/277.32	c |    105601 |     958    99290   430382 | 2147483647   105601     57 |  0.000 % |
277.59/277.76	c |    105777 |     958    99290   430382 | 2147483647   105777     57 |  0.000 % |
278.49/278.65	c |    105970 |     958    99290   430382 | 2147483647   105970     57 |  0.000 % |
279.39/279.57	c |    106182 |     958    99290   430382 | 2147483647   106182     57 |  0.000 % |
280.19/280.35	c |    106415 |     958    99290   430382 | 2147483647   106415     57 |  0.000 % |
281.69/281.85	c |    106673 |     958    99290   430382 | 2147483647   106673     57 |  0.000 % |
282.59/282.71	c |    106957 |     958    99290   430382 | 2147483647   106957     57 |  0.000 % |
283.79/283.98	c |    107266 |     958    99290   430382 | 2147483647   107266     57 |  0.000 % |
285.09/285.28	c |    107606 |     958    99290   430382 | 2147483647   107606     57 |  0.000 % |
286.69/286.87	c |    107978 |     958    99290   430382 | 2147483647   107978     57 |  0.000 % |
287.88/288.00	c |    108387 |     958    99290   430382 | 2147483647   108387     57 |  0.000 % |
289.58/289.70	c |    108840 |     958    99290   430382 | 2147483647   108840     57 |  0.000 % |
291.39/291.56	c |    109336 |     958    99290   430382 | 2147483647   109336     57 |  0.000 % |
293.49/293.62	c |    109879 |     958    99290   430382 | 2147483647   109879     57 |  0.000 % |
295.28/295.40	c |    110478 |     958    99290   430382 | 2147483647   110478     57 |  0.000 % |
297.18/297.36	c |    111133 |     958    99290   430382 | 2147483647   111133     57 |  0.000 % |
298.18/298.36	c |    111858 |     958    99290   430382 | 2147483647   111858     57 |  0.000 % |
303.38/303.57	c |    112651 |     958    99290   430382 | 2147483647   112651     57 |  0.000 % |
308.08/308.28	c |    113524 |     958    99290   430382 | 2147483647   113524     57 |  0.000 % |
311.48/311.68	c |    114482 |     958    99290   430382 | 2147483647   114482     57 |  0.000 % |
315.58/315.72	c |    115535 |     958    99290   430382 | 2147483647   115535     57 |  0.000 % |
319.77/319.98	c |    116696 |     958    99290   430382 | 2147483647   116696     58 |  0.000 % |
324.58/324.74	c |    117970 |     958    99290   430382 | 2147483647   117970     58 |  0.000 % |
325.08/325.28	c |    118073 |     958    99290   430382 | 2147483647   118073     58 |  0.000 % |
325.68/325.86	c |    118183 |     958    99290   430382 | 2147483647   118183     58 |  0.000 % |
326.18/326.38	c |    118304 |     958    99290   430382 | 2147483647   118304     58 |  0.000 % |
326.68/326.85	c |    118438 |     958    99290   430382 | 2147483647   118438     58 |  0.000 % |
327.18/327.35	c |    118584 |     958    99290   430382 | 2147483647   118584     58 |  0.000 % |
327.98/328.14	c |    118745 |     958    99290   430382 | 2147483647   118745     58 |  0.000 % |
329.08/329.28	c |    118921 |     958    99290   430382 | 2147483647   118921     58 |  0.000 % |
330.18/330.38	c |    119116 |     958    99290   430382 | 2147483647   119116     58 |  0.000 % |
331.17/331.37	c |    119328 |     958    99290   430382 | 2147483647   119328     58 |  0.000 % |
332.37/332.58	c |    119562 |     958    99290   430382 | 2147483647   119562     58 |  0.000 % |
333.47/333.63	c |    119820 |     958    99290   430382 | 2147483647   119820     58 |  0.000 % |
334.77/334.93	c |    120105 |     958    99290   430382 |   120000   120105     58 |  0.000 % |
336.17/336.32	c |    120414 |     958    99290   430382 |   120000   106349     58 |  0.000 % |
337.37/337.60	c |    120758 |     958    99290   430382 |   120000   106693     58 |  0.000 % |
338.87/339.08	c |    121130 |     958    99290   430382 |   120000   107065     58 |  0.000 % |
340.47/340.67	c |    121539 |     958    99290   430382 |   120000   107474     58 |  0.000 % |
341.97/342.14	c |    121988 |     958    99290   430382 |   120000   107923     58 |  0.000 % |
343.47/343.64	c |    122481 |     958    99290   430382 |   120000   108416     58 |  0.000 % |
344.97/345.15	c |    123024 |     958    99290   430382 |   120000   108959     58 |  0.000 % |
346.87/347.06	c |    123620 |     958    99290   430382 |   120000   109555     58 |  0.000 % |
348.77/348.92	c |    124280 |     958    99290   430382 |   120000   110215     58 |  0.000 % |
351.17/351.31	c |    125002 |     958    99290   430382 |   120000   110937     58 |  0.000 % |
354.26/354.42	c |    125795 |     958    99290   430382 |   120000   111730     58 |  0.000 % |
357.27/357.46	c |    126667 |     958    99290   430382 |   120000   112602     58 |  0.000 % |
360.46/360.68	c |    127625 |     958    99290   430382 |   120000   113560     58 |  0.000 % |
363.16/363.37	c |    128680 |     958    99290   430382 |   120000   114615     58 |  0.000 % |
367.06/367.26	c |    129839 |     958    99290   430382 |   120000   115774     58 |  0.000 % |
371.16/371.35	c |    131114 |     958    99290   430382 | 2147483647   117049     58 |  0.000 % |
375.66/375.86	c |    132518 |     958    99290   430382 | 2147483647   118453     58 |  0.000 % |
376.06/376.23	c |    132619 |     958    99290   430382 | 2147483647   118554     58 |  0.000 % |
376.76/376.93	c |    132729 |     958    99290   430382 | 2147483647   118664     58 |  0.000 % |
377.25/377.42	c |    132852 |     958    99290   430382 | 2147483647   118787     58 |  0.000 % |
377.75/378.00	c |    132986 |     958    99290   430382 | 2147483647   118921     58 |  0.000 % |
378.45/378.61	c |    133132 |     958    99290   430382 | 2147483647   119067     58 |  0.000 % |
378.85/379.09	c |    133292 |     958    99290   430382 | 2147483647   119227     58 |  0.000 % |
379.55/379.78	c |    133468 |     958    99290   430382 | 2147483647   119403     58 |  0.000 % |
380.25/380.46	c |    133661 |     958    99290   430382 | 2147483647   119596     58 |  0.000 % |
380.95/381.18	c |    133875 |     958    99290   430382 | 2147483647   119810     58 |  0.000 % |
381.85/382.07	c |    134110 |     958    99290   430382 | 2147483647   120045     58 |  0.000 % |
382.85/383.02	c |    134368 |     958    99290   430382 | 2147483647   120303     58 |  0.000 % |
383.85/384.05	c |    134650 |     958    99290   430382 | 2147483647   120585     58 |  0.000 % |
385.15/385.35	c |    134961 |     958    99290   430382 | 2147483647   120896     58 |  0.000 % |
385.75/385.97	c |    135301 |     958    99290   430382 | 2147483647   121236     58 |  0.000 % |
386.85/387.02	c |    135674 |     958    99290   430382 | 2147483647   121609     58 |  0.000 % |
388.85/389.04	c |    136084 |     958    99290   430382 | 2147483647   122019     58 |  0.000 % |
390.86/391.06	c |    136535 |     958    99290   430382 | 2147483647   122470     58 |  0.000 % |
392.46/392.64	c |    137030 |     958    99290   430382 | 2147483647   122965     58 |  0.000 % |
394.25/394.43	c |    137572 |     958    99290   430382 | 2147483647   123507     58 |  0.000 % |
396.35/396.52	c |    138168 |     958    99290   430382 | 2147483647   124103     58 |  0.000 % |
398.35/398.54	c |    138824 |     958    99290   430382 | 2147483647   124759     58 |  0.000 % |
401.45/401.68	c |    139544 |     958    99290   430382 | 2147483647   125479     59 |  0.000 % |
403.45/403.66	c |    140338 |     958    99290   430382 |   125936   126273     59 |  0.000 % |
406.04/406.21	c |    141211 |     958    99290   430382 |   125936   106305     60 |  0.000 % |
408.24/408.47	c |    142172 |     958    99290   430382 |   125936   107266     60 |  0.000 % |
410.74/410.90	c |    143227 |     958    99290   430382 |   125936   108321     60 |  0.000 % |
412.94/413.15	c |    144385 |     958    99290   430382 |   125936   109479     60 |  0.000 % |
417.04/417.22	c |    145658 |     958    99290   430382 |   125936   110752     60 |  0.000 % |
420.84/421.05	c |    147058 |     958    99290   430382 |   125936   112152     60 |  0.000 % |
425.04/425.29	c |    148598 |     958    99290   430382 |   125936   113692     60 |  0.000 % |
425.44/425.65	c |    148699 |     958    99290   430382 |   125936   113793     60 |  0.000 % |
425.74/425.93	c |    148810 |     958    99290   430382 |   125936   113904     60 |  0.000 % |
426.14/426.32	c |    148931 |     958    99290   430382 |   125936   114025     60 |  0.000 % |
426.54/426.77	c |    149065 |     958    99290   430382 |   125936   114159     60 |  0.000 % |
427.14/427.32	c |    149211 |     958    99290   430382 |   125936   114305     60 |  0.000 % |
427.74/427.93	c |    149371 |     958    99290   430382 |   125936   114465     60 |  0.000 % |
428.24/428.46	c |    149549 |     958    99290   430382 |   125936   114643     60 |  0.000 % |
428.74/428.99	c |    149743 |     958    99290   430382 |   125936   114837     60 |  0.000 % |
429.54/429.72	c |    149955 |     958    99290   430382 |   125936   115049     60 |  0.000 % |
430.43/430.62	c |    150188 |     958    99290   430382 |   115095   115282     60 |  0.000 % |
431.43/431.60	c |    150445 |     958    99290   430382 |   115095    95517     62 |  0.000 % |
432.33/432.50	c |    150727 |     958    99290   430382 |   115095    95799     62 |  0.000 % |
433.24/433.47	c |    151036 |     958    99290   430382 |   115095    96108     62 |  0.000 % |
434.24/434.43	c |    151375 |     958    99290   430382 |   115095    96447     62 |  0.000 % |
435.23/435.49	c |    151747 |     958    99290   430382 |   115095    96819     62 |  0.000 % |
436.44/436.63	c |    152158 |     958    99290   430382 |   115095    97230     62 |  0.000 % |
437.64/437.82	c |    152608 |     958    99290   430382 |   115095    97680     62 |  0.000 % |
438.83/439.00	c |    153101 |     958    99290   430382 |   115095    98173     62 |  0.000 % |
440.13/440.34	c |    153644 |     958    99290   430382 |   115095    98716     62 |  0.000 % |
441.53/441.78	c |    154243 |     958    99290   430382 |   115095    99315     62 |  0.000 % |
443.13/443.31	c |    154898 |     958    99290   430382 |   115095    99970     62 |  0.000 % |
445.43/445.64	c |    155618 |     958    99290   430382 |   115095   100690     62 |  0.000 % |
447.73/447.92	c |    156411 |     958    99290   430382 |   115095   101483     62 |  0.000 % |
450.23/450.49	c |    157282 |     958    99290   430382 |   115095   102354     62 |  0.000 % |
453.13/453.33	c |    158240 |     958    99290   430382 |   115095   103312     62 |  0.000 % |
456.62/456.83	c |    159295 |     958    99290   430382 |   115095   104367     62 |  0.000 % |
460.73/460.98	c |    160453 |     958    99290   430382 |   105073    89221     62 |  0.000 % |
464.42/464.62	c |    161727 |     958    99290   430382 |   105073    90495     62 |  0.000 % |
469.12/469.39	c |    163128 |     958    99290   430382 |   105073    91896     62 |  0.000 % |
474.22/474.42	c |    164668 |     958    99290   430382 |   105073    93436     62 |  0.000 % |
478.32/478.58	c |    166362 |     958    99290   430382 |   105073    95130     62 |  0.000 % |
478.62/478.88	c |    166463 |     958    99290   430382 |   105073    95231     62 |  0.000 % |
479.02/479.26	c |    166575 |     958    99290   430382 |   105073    95343     62 |  0.000 % |
479.42/479.69	c |    166696 |     958    99290   430382 |   105073    95464     62 |  0.000 % |
480.02/480.22	c |    166829 |     958    99290   430382 |   105073    95597     62 |  0.000 % |
480.72/480.91	c |    166976 |     958    99290   430382 |   105073    95744     62 |  0.000 % |
481.32/481.59	c |    167137 |     958    99290   430382 |   105073    95905     62 |  0.000 % |
482.02/482.29	c |    167313 |     958    99290   430382 |   105073    96081     62 |  0.000 % |
482.82/483.04	c |    167508 |     958    99290   430382 |   105073    96276     62 |  0.000 % |
483.62/483.81	c |    167721 |     958    99290   430382 |   105073    96489     62 |  0.000 % |
484.22/484.49	c |    167955 |     958    99290   430382 |   105073    96723     62 |  0.000 % |
485.02/485.23	c |    168211 |     958    99290   430382 |   105073    96979     62 |  0.000 % |
485.62/485.89	c |    168492 |     958    99290   430382 |   105073    97260     62 |  0.000 % |
486.32/486.56	c |    168801 |     958    99290   430382 |   105073    97569     62 |  0.000 % |
487.03/487.26	c |    169140 |     958    99290   430382 |   105073    97908     62 |  0.000 % |
488.52/488.76	c |    169513 |     958    99290   430382 |   105073    98281     62 |  0.000 % |
491.62/491.88	c |    169923 |     958    99290   430382 |   105073    98691     62 |  0.000 % |
494.42/494.68	c |    170372 |     958    99290   430382 |    98769    83439     63 |  0.000 % |
498.21/498.48	c |    170865 |     958    99290   430382 |    98769    83932     63 |  0.000 % |
501.01/501.21	c |    171409 |     958    99290   430382 |    98769    84476     63 |  0.000 % |
504.31/504.58	c |    172006 |     958    99290   430382 |    98769    85073     63 |  0.000 % |
510.41/510.66	c |    172665 |     958    99290   430382 |    98769    85732     63 |  0.000 % |
517.91/518.17	c |    173388 |     958    99290   430382 |    98769    86455     63 |  0.000 % |
526.00/526.24	c |    174180 |     958    99290   430382 |    98769    87247     63 |  0.000 % |
533.30/533.54	c |    175056 |     958    99290   430382 |    98769    88123     63 |  0.000 % |
543.10/543.39	c |    176015 |     958    99290   430382 |    98769    89082     63 |  0.000 % |
553.39/553.62	c |    177068 |     958    99290   430382 |    98769    90135     63 |  0.000 % |
559.19/559.49	c |    178226 |     958    99290   430382 |    98769    91293     63 |  0.000 % |
566.39/566.60	c |    179499 |     958    99290   430382 |    98769    92566     63 |  0.000 % |
570.89/571.13	c |    180900 |     958    99290   430382 |    93067    78488     62 |  0.000 % |
575.58/575.89	c |    182440 |     958    99290   430382 |    93067    80028     62 |  0.000 % |
583.58/583.80	c |    184134 |     958    99290   430382 |    93067    81722     62 |  0.000 % |
591.78/592.06	c |    186000 |     958    99290   430382 |    93067    83588     62 |  0.000 % |
592.08/592.33	c |    186100 |     958    99290   430382 |    93067    83688     62 |  0.000 % |
592.98/593.26	c |    186210 |     958    99290   430382 |    93067    83798     62 |  0.000 % |
594.18/594.42	c |    186331 |     958    99290   430382 |    93067    83919     62 |  0.000 % |
595.58/595.82	c |    186464 |     958    99290   430382 |    93067    84052     62 |  0.000 % |
596.98/597.22	c |    186612 |     958    99290   430382 |    93067    84200     62 |  0.000 % |
598.37/598.63	c |    186772 |     958    99290   430382 |    93067    84360     62 |  0.000 % |
599.47/599.78	c |    186948 |     958    99290   430382 |    93067    84536     62 |  0.000 % |
600.77/601.02	c |    187142 |     958    99290   430382 |    93067    84730     62 |  0.000 % |
602.67/602.94	c |    187355 |     958    99290   430382 |    93067    84943     62 |  0.000 % |
604.97/605.29	c |    187592 |     958    99290   430382 |    93067    85180     62 |  0.000 % |
606.77/607.01	c |    187849 |     958    99290   430382 |    93067    85437     62 |  0.000 % |
609.47/609.70	c |    188132 |     958    99290   430382 |    93067    85720     62 |  0.000 % |
612.27/612.56	c |    188442 |     958    99290   430382 |    93067    86030     62 |  0.000 % |
614.97/615.24	c |    188781 |     958    99290   430382 |    93067    86369     62 |  0.000 % |
617.87/618.16	c |    189155 |     958    99290   430382 |    93067    86743     62 |  0.000 % |
621.37/621.62	c |    189565 |     958    99290   430382 |    93067    87153     62 |  0.000 % |
624.17/624.44	c |    190014 |     958    99290   430382 |    87590    87602     62 |  0.000 % |
629.17/629.44	c |    190509 |     958    99290   430382 |    87590    78435     61 |  0.000 % |
630.87/631.11	c |    191051 |     958    99290   430382 |    87590    78977     61 |  0.000 % |
635.48/635.75	c |    191647 |     958    99290   430382 |    87590    79573     61 |  0.000 % |
639.67/639.95	c |    192303 |     958    99290   430382 |    87590    80229     61 |  0.000 % |
643.47/643.74	c |    193026 |     958    99290   430382 |    87590    80952     61 |  0.000 % |
649.87/650.13	c |    193823 |     958    99290   430382 |    87590    81749     61 |  0.000 % |
654.87/655.16	c |    194694 |     958    99290   430382 |    87590    82620     61 |  0.000 % |
659.86/660.18	c |    195653 |     958    99290   430382 |    87590    83579     61 |  0.000 % |
661.06/661.39	c |    196711 |     958    99290   430382 |    87590    84637     61 |  0.000 % |
662.26/662.56	c |    197869 |     958    99290   430382 |    87590    85795     61 |  0.000 % |
667.06/667.31	c |    199143 |     958    99290   430382 |    87590    87069     61 |  0.000 % |
673.86/674.10	c |    200543 |     958    99290   430382 | 2147483647    79696     60 |  0.000 % |
682.76/683.04	c |    202084 |     958    99290   430382 | 2147483647    81237     60 |  0.000 % |
693.06/693.34	c |    203778 |     958    99290   430382 | 2147483647    82931     61 |  0.000 % |
698.75/699.05	c |    205641 |     958    99290   430382 | 2147483647    84794     61 |  0.000 % |
709.65/709.99	c |    207690 |     958    99290   430382 | 2147483647    86843     61 |  0.000 % |
710.55/710.86	c |    207790 |     958    99290   430382 | 2147483647    86943     61 |  0.000 % |
711.35/711.64	c |    207900 |     958    99290   430382 | 2147483647    87053     61 |  0.000 % |
712.45/712.75	c |    208022 |     958    99290   430382 | 2147483647    87175     61 |  0.000 % |
713.25/713.52	c |    208157 |     958    99290   430382 | 2147483647    87310     61 |  0.000 % |
714.25/714.59	c |    208305 |     958    99290   430382 | 2147483647    87458     61 |  0.000 % |
715.45/715.74	c |    208467 |     958    99290   430382 | 2147483647    87620     61 |  0.000 % |
716.95/717.21	c |    208643 |     958    99290   430382 | 2147483647    87796     61 |  0.000 % |
718.35/718.68	c |    208837 |     958    99290   430382 | 2147483647    87990     61 |  0.000 % |
720.05/720.37	c |    209052 |     958    99290   430382 | 2147483647    88205     61 |  0.000 % |
721.95/722.29	c |    209285 |     958    99290   430382 | 2147483647    88438     61 |  0.000 % |
723.85/724.14	c |    209541 |     958    99290   430382 | 2147483647    88694     61 |  0.000 % |
726.35/726.67	c |    209822 |     958    99290   430382 | 2147483647    88975     61 |  0.000 % |
728.84/729.20	c |    210131 |     958    99290   430382 |    89153    89284     61 |  0.000 % |
731.15/731.48	c |    210473 |     958    99290   430382 |    89153    72573     61 |  0.000 % |
731.74/732.06	c |    210846 |     958    99290   430382 |    89153    72946     61 |  0.000 % |
733.84/734.16	c |    211255 |     958    99290   430382 |    89153    73355     61 |  0.000 % |
735.84/736.15	c |    211704 |     958    99290   430382 |    89153    73804     61 |  0.000 % |
737.54/737.85	c |    212198 |     958    99290   430382 |    89153    74298     61 |  0.000 % |
739.64/739.99	c |    212741 |     958    99290   430382 |    89153    74841     61 |  0.000 % |
741.64/741.90	c |    213337 |     958    99290   430382 |    89153    75437     61 |  0.000 % |
744.94/745.22	c |    213992 |     958    99290   430382 |    89153    76092     61 |  0.000 % |
748.14/748.45	c |    214712 |     958    99290   430382 |    89153    76812     61 |  0.000 % |
751.54/751.80	c |    215505 |     958    99290   430382 |    89153    77605     61 |  0.000 % |
755.93/756.22	c |    216376 |     958    99290   430382 |    89153    78476     61 |  0.000 % |
759.84/760.14	c |    217335 |     958    99290   430382 |    89153    79435     61 |  0.000 % |
761.43/761.72	c |    218388 |     958    99290   430382 |    89153    80488     61 |  0.000 % |
763.03/763.34	c |    219549 |     958    99290   430382 |    89153    81649     61 |  0.000 % |
770.03/770.38	c |    220823 |     958    99290   430382 | 2147483647    82923     61 |  0.000 % |
776.12/776.42	c |    222223 |     958    99290   430382 | 2147483647    84323     61 |  0.000 % |
782.42/782.71	c |    223770 |     958    99290   430382 | 2147483647    85870     61 |  0.000 % |
791.42/791.74	c |    225464 |     958    99290   430382 | 2147483647    87564     61 |  0.000 % |
800.92/801.28	c |    227327 |     958    99290   430382 | 2147483647    89427     62 |  0.000 % |
810.02/810.36	c |    229377 |     958    99290   430382 | 2147483647    91477     62 |  0.000 % |
816.11/816.44	c |    231630 |     958    99290   430382 |    92102    82022     61 |  0.000 % |
816.31/816.67	c |    231734 |     958    99290   430382 |    92102    82126     61 |  0.000 % |
816.61/816.92	c |    231845 |     958    99290   430382 |    92102    82237     61 |  0.000 % |
816.81/817.19	c |    231967 |     958    99290   430382 |    92102    82359     61 |  0.000 % |
817.11/817.47	c |    232100 |     958    99290   430382 |    92102    82492     61 |  0.000 % |
817.61/817.91	c |    232246 |     958    99290   430382 |    92102    82638     61 |  0.000 % |
817.91/818.30	c |    232408 |     958    99290   430382 |    92102    82800     61 |  0.000 % |
818.41/818.80	c |    232584 |     958    99290   430382 |    92102    82976     61 |  0.000 % |
819.01/819.39	c |    232777 |     958    99290   430382 |    92102    83169     61 |  0.000 % |
819.91/820.24	c |    232989 |     958    99290   430382 |    92102    83381     61 |  0.000 % |
820.61/820.95	c |    233223 |     958    99290   430382 |    92102    83615     61 |  0.000 % |
821.71/822.00	c |    233481 |     958    99290   430382 |    92102    83873     61 |  0.000 % |
822.51/822.83	c |    233762 |     958    99290   430382 |    92102    84154     61 |  0.000 % |
823.91/824.21	c |    234072 |     958    99290   430382 |    92102    84464     61 |  0.000 % |
825.11/825.46	c |    234412 |     958    99290   430382 |    92102    84804     61 |  0.000 % |
825.71/826.08	c |    234784 |     958    99290   430382 |    92102    85176     61 |  0.000 % |
827.91/828.24	c |    235194 |     958    99290   430382 |    92102    85586     61 |  0.000 % |
829.61/829.94	c |    235643 |     958    99290   430382 |    92102    86035     61 |  0.000 % |
831.31/831.63	c |    236137 |     958    99290   430382 |    92102    86529     61 |  0.000 % |
833.41/833.80	c |    236681 |     958    99290   430382 |    92102    87073     61 |  0.000 % |
835.90/836.24	c |    237278 |     958    99290   430382 |    92102    87670     61 |  0.000 % |
838.50/838.82	c |    237935 |     958    99290   430382 |    92102    88327     61 |  0.000 % |
840.40/840.72	c |    238655 |     958    99290   430382 |    92102    89047     61 |  0.000 % |
842.40/842.73	c |    239448 |     958    99290   430382 |    92102    89840     61 |  0.000 % |
845.10/845.43	c |    240319 |     958    99290   430382 | 2147483647    90711     61 |  0.000 % |
848.00/848.37	c |    241277 |     958    99290   430382 | 2147483647    91669     61 |  0.000 % |
851.20/851.57	c |    242330 |     958    99290   430382 | 2147483647    92722     61 |  0.000 % |
854.90/855.24	c |    243488 |     958    99290   430382 | 2147483647    93880     61 |  0.000 % |
858.60/858.94	c |    244762 |     958    99290   430382 | 2147483647    95154     61 |  0.000 % |
863.00/863.37	c |    246163 |     958    99290   430382 | 2147483647    96555     61 |  0.000 % |
867.19/867.59	c |    247703 |     958    99290   430382 | 2147483647    98095     61 |  0.000 % |
872.19/872.55	c |    249397 |     958    99290   430382 | 2147483647    99789     60 |  0.000 % |
877.50/877.86	c |    251260 |     958    99290   430382 | 2147483647   101652     60 |  0.000 % |
883.60/883.97	c |    253312 |     958    99290   430382 | 2147483647   103704     60 |  0.000 % |
889.50/889.87	c |    255566 |     958    99290   430382 | 2147483647   105958     60 |  0.000 % |
900.49/900.88	c |    258045 |     958    99290   430382 | 2147483647   108437     60 |  0.000 % |
901.09/901.45	c |    258146 |     958    99290   430382 | 2147483647   108538     60 |  0.000 % |
901.69/902.02	c |    258257 |     958    99290   430382 | 2147483647   108649     60 |  0.000 % |
902.29/902.66	c |    258379 |     958    99290   430382 | 2147483647   108771     60 |  0.000 % |
902.89/903.30	c |    258513 |     958    99290   430382 | 2147483647   108905     60 |  0.000 % |
903.89/904.28	c |    258661 |     958    99290   430382 | 2147483647   109053     60 |  0.000 % |
904.69/905.07	c |    258822 |     958    99290   430382 | 2147483647   109214     60 |  0.000 % |
905.59/905.92	c |    258998 |     958    99290   430382 | 2147483647   109390     60 |  0.000 % |
906.49/906.80	c |    259191 |     958    99290   430382 | 2147483647   109583     60 |  0.000 % |
907.09/907.45	c |    259403 |     958    99290   430382 | 2147483647   109795     60 |  0.000 % |
907.99/908.35	c |    259636 |     958    99290   430382 | 2147483647   110028     60 |  0.000 % |
908.99/909.39	c |    259893 |     958    99290   430382 | 2147483647   110285     60 |  0.000 % |
909.69/910.06	c |    260174 |     958    99290   430382 | 2147483647   110566     60 |  0.000 % |
911.09/911.48	c |    260484 |     958    99290   430382 | 2147483647   110876     60 |  0.000 % |
912.49/912.80	c |    260825 |     958    99290   430382 | 2147483647   111217     60 |  0.000 % |
914.29/914.67	c |    261198 |     958    99290   430382 | 2147483647   111590     60 |  0.000 % |
916.29/916.62	c |    261608 |     958    99290   430382 | 2147483647   112000     60 |  0.000 % |
918.39/918.72	c |    262057 |     958    99290   430382 | 2147483647   112449     60 |  0.000 % |
920.78/921.14	c |    262550 |     958    99290   430382 | 2147483647   112942     60 |  0.000 % |
923.38/923.78	c |    263095 |     958    99290   430382 | 2147483647   113487     60 |  0.000 % |
925.79/926.19	c |    263692 |     958    99290   430382 | 2147483647   114084     60 |  0.000 % |
928.78/929.11	c |    264347 |     958    99290   430382 | 2147483647   114739     60 |  0.000 % |
932.18/932.55	c |    265069 |     958    99290   430382 | 2147483647   115461     60 |  0.000 % |
935.88/936.21	c |    265862 |     958    99290   430382 | 2147483647   116254     60 |  0.000 % |
939.18/939.56	c |    266733 |     958    99290   430382 | 2147483647   117125     60 |  0.000 % |
943.18/943.51	c |    267693 |     958    99290   430382 | 2147483647   118085     60 |  0.000 % |
946.58/946.93	c |    268746 |     958    99290   430382 | 2147483647   119138     60 |  0.000 % |
951.77/952.17	c |    269904 |     958    99290   430382 | 2147483647   120296     60 |  0.000 % |
957.68/958.08	c |    271179 |     958    99290   430382 | 2147483647   121571     61 |  0.000 % |
963.07/963.47	c |    272580 |     958    99290   430382 | 2147483647   122972     61 |  0.000 % |
969.77/970.19	c |    274120 |     958    99290   430382 | 2147483647   124512     61 |  0.000 % |
979.67/980.01	c |    275814 |     958    99290   430382 | 2147483647   126206     61 |  0.000 % |
988.87/989.25	c |    277677 |     958    99290   430382 | 2147483647   128069     61 |  0.000 % |
997.46/997.84	c |    279727 |     958    99290   430382 | 2147483647   130119     61 |  0.000 % |
1005.96/1006.31	c |    281980 |     958    99290   430382 |   130392   113078     61 |  0.000 % |
1013.96/1014.35	c |    284458 |     958    99290   430382 |   130392   115556     61 |  0.000 % |
1023.55/1023.98	c |    287184 |     958    99290   430382 |   130392   118282     61 |  0.000 % |
1023.85/1024.24	c |    287284 |     958    99290   430382 |   130392   118382     61 |  0.000 % |
1024.25/1024.61	c |    287394 |     958    99290   430382 |   130392   118492     61 |  0.000 % |
1024.86/1025.22	c |    287517 |     958    99290   430382 |   130392   118615     61 |  0.000 % |
1025.45/1025.88	c |    287650 |     958    99290   430382 |   130392   118748     61 |  0.000 % |
1026.15/1026.54	c |    287797 |     958    99290   430382 |   130392   118895     61 |  0.000 % |
1026.75/1027.12	c |    287957 |     958    99290   430382 |   130392   119055     61 |  0.000 % |
1027.45/1027.81	c |    288135 |     958    99290   430382 |   130392   119233     61 |  0.000 % |
1028.16/1028.51	c |    288329 |     958    99290   430382 |   130392   119427     61 |  0.000 % |
1028.85/1029.27	c |    288542 |     958    99290   430382 |   130392   119640     61 |  0.000 % |
1029.85/1030.25	c |    288776 |     958    99290   430382 |   130392   119874     61 |  0.000 % |
1030.95/1031.33	c |    289034 |     958    99290   430382 |   130392   120132     61 |  0.000 % |
1032.35/1032.80	c |    289315 |     958    99290   430382 |   130392   120413     61 |  0.000 % |
1033.45/1033.86	c |    289627 |     958    99290   430382 |   130392   120725     61 |  0.000 % |
1034.95/1035.31	c |    289966 |     958    99290   430382 |   130392   121064     61 |  0.000 % |
1036.35/1036.76	c |    290339 |     958    99290   430382 |   121098   106996     62 |  0.000 % |
1037.85/1038.24	c |    290749 |     958    99290   430382 |   121098   107406     62 |  0.000 % |
1039.75/1040.14	c |    291199 |     958    99290   430382 |   121098   107856     62 |  0.000 % |
1041.95/1042.33	c |    291692 |     958    99290   430382 |   121098   108349     62 |  0.000 % |
1044.25/1044.64	c |    292234 |     958    99290   430382 |   121098   108891     62 |  0.000 % |
1045.95/1046.35	c |    292831 |     958    99290   430382 |   121098   109488     62 |  0.000 % |
1047.95/1048.32	c |    293487 |     958    99290   430382 |   121098   110144     62 |  0.000 % |
1050.55/1050.90	c |    294207 |     958    99290   430382 |   121098   110864     62 |  0.000 % |
1053.14/1053.53	c |    295001 |     958    99290   430382 |   121098   111658     62 |  0.000 % |
1056.64/1057.03	c |    295873 |     958    99290   430382 |   121098   112530     62 |  0.000 % |
1060.44/1060.85	c |    296832 |     958    99290   430382 |   121098   113489     62 |  0.000 % |
1063.24/1063.61	c |    297885 |     958    99290   430382 |   121098   114542     62 |  0.000 % |
1067.84/1068.21	c |    299045 |     958    99290   430382 |   121098   115702     62 |  0.000 % |
1072.24/1072.67	c |    300320 |     958    99290   430382 | 2147483647   116977     62 |  0.000 % |
1075.44/1075.87	c |    301720 |     958    99290   430382 | 2147483647   118377     62 |  0.000 % |
1081.64/1082.04	c |    303260 |     958    99290   430382 | 2147483647   119917     62 |  0.000 % |
1089.44/1089.84	c |    304955 |     958    99290   430382 | 2147483647   121612     62 |  0.000 % |
1097.94/1098.37	c |    306818 |     958    99290   430382 | 2147483647   123475     62 |  0.000 % |
1104.14/1104.57	c |    308868 |     958    99290   430382 | 2147483647   125525     62 |  0.000 % |
1110.84/1111.27	c |    311124 |     958    99290   430382 | 2147483647   127781     62 |  0.000 % |
1120.13/1120.51	c |    313607 |     958    99290   430382 | 2147483647   130264     62 |  0.000 % |
1126.23/1126.60	c |    316337 |     958    99290   430382 | 2147483647   132994     62 |  0.000 % |
1133.82/1134.29	c |    319334 |     958    99290   430382 | 2147483647   135991     62 |  0.000 % |
1134.12/1134.52	c |    319434 |     958    99290   430382 | 2147483647   136091     62 |  0.000 % |
1134.42/1134.83	c |    319547 |     958    99290   430382 | 2147483647   136204     62 |  0.000 % |
1135.12/1135.53	c |    319668 |     958    99290   430382 | 2147483647   136325     62 |  0.000 % |
1135.52/1135.92	c |    319801 |     958    99290   430382 | 2147483647   136458     62 |  0.000 % |
1135.93/1136.36	c |    319947 |     958    99290   430382 | 2147483647   136604     62 |  0.000 % |
1136.42/1136.83	c |    320107 |     958    99290   430382 | 2147483647   136764     62 |  0.000 % |
1136.93/1137.40	c |    320283 |     958    99290   430382 | 2147483647   136940     62 |  0.000 % |
1137.52/1137.92	c |    320477 |     958    99290   430382 | 2147483647   137134     62 |  0.000 % |
1138.02/1138.45	c |    320690 |     958    99290   430382 | 2147483647   137347     62 |  0.000 % |
1138.52/1138.93	c |    320923 |     958    99290   430382 | 2147483647   137580     62 |  0.000 % |
1140.12/1140.55	c |    321180 |     958    99290   430382 | 2147483647   137837     62 |  0.000 % |
1141.12/1141.59	c |    321466 |     958    99290   430382 | 2147483647   138123     62 |  0.000 % |
1142.22/1142.65	c |    321777 |     958    99290   430382 | 2147483647   138434     62 |  0.000 % |
1142.92/1143.36	c |    322117 |     958    99290   430382 | 2147483647   138774     62 |  0.000 % |
1143.82/1144.26	c |    322490 |     958    99290   430382 | 2147483647   139147     62 |  0.000 % |
1144.53/1144.94	c |    322900 |     958    99290   430382 | 2147483647   139557     61 |  0.000 % |
1145.22/1145.60	c |    323351 |     958    99290   430382 | 2147483647   140008     61 |  0.000 % |
1145.92/1146.38	c |    323844 |     958    99290   430382 | 2147483647   140501     61 |  0.000 % |
1146.83/1147.24	c |    324388 |     958    99290   430382 | 2147483647   141045     61 |  0.000 % |
1147.72/1148.16	c |    324984 |     958    99290   430382 | 2147483647   141641     61 |  0.000 % |
1148.72/1149.17	c |    325639 |     958    99290   430382 | 2147483647   142296     61 |  0.000 % |
1149.92/1150.30	c |    326360 |     958    99290   430382 | 2147483647   143017     61 |  0.000 % |
1151.12/1151.55	c |    327152 |     958    99290   430382 | 2147483647   143809     61 |  0.000 % |
1152.52/1152.97	c |    328025 |     958    99290   430382 | 2147483647   144682     61 |  0.000 % |
1155.72/1156.11	c |    328983 |     958    99290   430382 | 2147483647   145640     61 |  0.000 % |
1161.01/1161.42	c |    330037 |     958    99290   430382 | 2147483647   146694     61 |  0.000 % |
1168.11/1168.54	c |    331197 |     958    99290   430382 | 2147483647   147854     61 |  0.000 % |
1174.11/1174.56	c |    332471 |     958    99290   430382 | 2147483647   149128     61 |  0.000 % |
1178.51/1178.94	c |    333872 |     958    99290   430382 | 2147483647   150529     61 |  0.000 % |
1185.32/1185.74	c |    335413 |     958    99290   430382 | 2147483647   152070     61 |  0.000 % |
1194.51/1194.94	c |    337107 |     958    99290   430382 | 2147483647   153764     60 |  0.000 % |
1202.31/1202.74	c |    338971 |     958    99290   430382 | 2147483647   155628     60 |  0.001 % |
1212.91/1213.37	c |    341021 |     958    99290   430382 | 2147483647   157678     60 |  0.001 % |
1219.00/1219.40	c |    343274 |     958    99290   430382 | 2147483647   159931     60 |  0.000 % |
1229.50/1229.91	c |    345753 |     958    99290   430382 | 2147483647   162410     60 |  0.000 % |
1234.69/1235.19	c |    348479 |     958    99290   430382 | 2147483647   165136     59 |  0.000 % |
1243.59/1244.03	c |    351477 |     958    99290   430382 | 2147483647   168134     59 |  0.000 % |
1254.60/1255.07	c |    354775 |     958    99290   430382 | 2147483647   171432     59 |  0.000 % |
1254.99/1255.47	c |    354875 |     958    99290   430382 | 2147483647   171532     59 |  0.000 % |
1255.19/1255.61	c |    354985 |     958    99290   430382 | 2147483647   171642     59 |  0.000 % |
1255.70/1256.17	c |    355107 |     958    99290   430382 | 2147483647   171764     59 |  0.000 % |
1255.89/1256.34	c |    355240 |     958    99290   430382 | 2147483647   171897     59 |  0.000 % |
1255.99/1256.47	c |    355387 |     958    99290   430382 | 2147483647   172044     59 |  0.000 % |
1256.19/1256.67	c |    355548 |     958    99290   430382 | 2147483647   172205     59 |  0.000 % |
1256.80/1257.23	c |    355725 |     958    99290   430382 | 2147483647   172382     59 |  0.000 % |
1258.09/1258.58	c |    355919 |     958    99290   430382 | 2147483647   172576     59 |  0.000 % |
1259.99/1260.45	c |    356131 |     958    99290   430382 | 2147483647   172788     59 |  0.000 % |
1260.99/1261.48	c |    356365 |     958    99290   430382 | 2147483647   173022     59 |  0.000 % |
1262.89/1263.39	c |    356624 |     958    99290   430382 | 2147483647   173281     59 |  0.000 % |
1264.79/1265.27	c |    356908 |     958    99290   430382 | 2147483647   173565     59 |  0.000 % |
1266.89/1267.32	c |    357219 |     958    99290   430382 | 2147483647   173876     59 |  0.000 % |
1269.09/1269.52	c |    357559 |     958    99290   430382 | 2147483647   174216     58 |  0.000 % |
1271.09/1271.56	c |    357931 |     958    99290   430382 | 2147483647   174588     58 |  0.000 % |
1271.79/1272.27	c |    358341 |     958    99290   430382 | 2147483647   174998     58 |  0.000 % |
1273.79/1274.25	c |    358791 |     958    99290   430382 | 2147483647   175448     58 |  0.000 % |
1277.58/1278.08	c |    359290 |     958    99290   430382 | 2147483647   175947     58 |  0.000 % |
1279.58/1280.04	c |    359833 |     958    99290   430382 | 2147483647   176490     58 |  0.000 % |
1281.48/1281.90	c |    360433 |     958    99290   430382 | 2147483647   177090     58 |  0.000 % |
1283.28/1283.77	c |    361092 |     958    99290   430382 | 2147483647   177749     58 |  0.000 % |
1287.78/1288.29	c |    361812 |     958    99290   430382 | 2147483647   178469     58 |  0.000 % |
1290.78/1291.30	c |    362604 |     958    99290   430382 | 2147483647   179261     58 |  0.000 % |
1294.98/1295.40	c |    363477 |     958    99290   430382 | 2147483647   180134     58 |  0.000 % |
1298.38/1298.85	c |    364436 |     958    99290   430382 | 2147483647   181093     58 |  0.000 % |
1304.67/1305.13	c |    365489 |     958    99290   430382 | 2147483647   182146     58 |  0.000 % |
1310.78/1311.30	c |    366647 |     958    99290   430382 | 2147483647   183304     58 |  0.000 % |
1317.67/1318.14	c |    367920 |     958    99290   430382 | 2147483647   184577     57 |  0.000 % |
1326.17/1326.60	c |    369322 |     958    99290   430382 | 2147483647   185979     57 |  0.000 % |
1333.57/1334.05	c |    370863 |     958    99290   430382 | 2147483647   187520     57 |  0.000 % |
1342.06/1342.54	c |    372561 |     958    99290   430382 | 2147483647   189218     57 |  0.000 % |
1350.07/1350.54	c |    374426 |     958    99290   430382 | 2147483647   191083     57 |  0.000 % |
1363.66/1364.17	c |    376475 |     958    99290   430382 | 2147483647   193132     57 |  0.000 % |
1369.15/1369.67	c |    378728 |     958    99290   430382 | 2147483647   195385     57 |  0.000 % |
1375.56/1376.02	c |    381206 |     958    99290   430382 | 2147483647   197863     57 |  0.000 % |
1378.96/1379.42	c |    383931 |     958    99290   430382 | 2147483647   200588     57 |  0.000 % |
1381.35/1381.81	c |    386930 |     958    99290   430382 | 2147483647   203587     57 |  0.000 % |
1384.35/1384.87	c |    390227 |     958    99290   430382 | 2147483647   206884     57 |  0.000 % |
1390.25/1390.72	c |    393854 |     958    99290   430382 | 2147483647   210511     57 |  0.000 % |
1390.45/1390.93	c |    393954 |     958    99290   430382 | 2147483647   210611     57 |  0.000 % |
1390.65/1391.16	c |    394064 |     958    99290   430382 | 2147483647   210721     57 |  0.000 % |
1391.25/1391.75	c |    394187 |     958    99290   430382 | 2147483647   210844     57 |  0.000 % |
1391.85/1392.33	c |    394323 |     958    99290   430382 | 2147483647   210980     57 |  0.000 % |
1392.75/1393.26	c |    394469 |     958    99290   430382 | 2147483647   211126     57 |  0.000 % |
1393.85/1394.35	c |    394632 |     958    99290   430382 | 2147483647   211289     57 |  0.000 % |
1394.85/1395.40	c |    394808 |     958    99290   430382 | 2147483647   211465     57 |  0.000 % |
1396.14/1396.62	c |    395007 |     958    99290   430382 | 2147483647   211664     57 |  0.000 % |
1397.14/1397.64	c |    395220 |     958    99290   430382 | 2147483647   211877     57 |  0.000 % |
1398.54/1399.05	c |    395453 |     958    99290   430382 | 2147483647   212110     57 |  0.000 % |
1400.64/1401.19	c |    395711 |     958    99290   430382 | 2147483647   212368     57 |  0.000 % |
1402.05/1402.54	c |    395993 |     958    99290   430382 | 2147483647   212650     57 |  0.000 % |
1403.74/1404.21	c |    396306 |     958    99290   430382 | 2147483647   212963     57 |  0.000 % |
1405.14/1405.68	c |    396647 |     958    99290   430382 | 2147483647   213304     57 |  0.000 % |
1406.94/1407.49	c |    397022 |     958    99290   430382 | 2147483647   213679     57 |  0.000 % |
1409.54/1410.06	c |    397431 |     958    99290   430382 | 2147483647   214088     57 |  0.000 % |
1413.24/1413.75	c |    397880 |     958    99290   430382 | 2147483647   214537     57 |  0.000 % |
1416.53/1417.08	c |    398376 |     958    99290   430382 | 2147483647   215033     57 |  0.000 % |
1419.53/1420.03	c |    398919 |     958    99290   430382 | 2147483647   215576     57 |  0.000 % |
1421.43/1421.99	c |    399518 |     958    99290   430382 | 2147483647   216175     57 |  0.000 % |
1424.23/1424.77	c |    400175 |     958    99290   430382 | 2147483647   216832     57 |  0.000 % |
1427.23/1427.78	c |    400896 |     958    99290   430382 | 2147483647   217553     57 |  0.000 % |
1431.32/1431.83	c |    401691 |     958    99290   430382 | 2147483647   218348     57 |  0.000 % |
1437.02/1437.59	c |    402562 |     958    99290   430382 | 2147483647   219219     57 |  0.000 % |
1442.52/1443.09	c |    403521 |     958    99290   430382 | 2147483647   220178     57 |  0.000 % |
1448.03/1448.53	c |    404576 |     958    99290   430382 | 2147483647   221233     57 |  0.000 % |
1453.73/1454.23	c |    405735 |     958    99290   430382 | 2147483647   222392     57 |  0.000 % |
1459.62/1460.12	c |    407008 |     958    99290   430382 | 2147483647   223665     57 |  0.000 % |
1467.32/1467.89	c |    408408 |     958    99290   430382 | 2147483647   225065     57 |  0.000 % |
1475.82/1476.35	c |    409949 |     958    99290   430382 | 2147483647   226606     57 |  0.000 % |
1484.01/1484.54	c |    411643 |     958    99290   430382 | 2147483647   228300     57 |  0.000 % |
1491.12/1491.60	c |    413509 |     958    99290   430382 | 2147483647   230166     57 |  0.000 % |
1499.82/1500.32	c |    415562 |     958    99290   430382 | 2147483647   232219     57 |  0.000 % |
1508.71/1509.20	c |    417815 |     958    99290   430382 | 2147483647   234472     57 |  0.000 % |
1522.81/1523.30	c |    420294 |     958    99290   430382 |   236657   236951     57 |  0.000 % |
1534.50/1535.04	c |    423020 |     958    99290   430382 |   236657   177602     55 |  0.000 % |
1545.10/1545.66	c |    426017 |     958    99290   430382 |   236657   180599     55 |  0.000 % |
1554.30/1554.90	c |    429313 |     958    99290   430382 |   236657   183895     55 |  0.000 % |
1562.40/1562.97	c |    432938 |     958    99290   430382 |   184583   153993     54 |  0.000 % |
1569.69/1570.21	c |    436926 |     958    99290   430382 |   184583   157981     54 |  0.000 % |
1569.89/1570.41	c |    437026 |     958    99290   430382 |   184583   158081     54 |  0.000 % |
1570.30/1570.88	c |    437137 |     958    99290   430382 |   184583   158192     54 |  0.000 % |
1570.79/1571.34	c |    437259 |     958    99290   430382 |   184583   158314     54 |  0.000 % |
1571.30/1571.88	c |    437392 |     958    99290   430382 |   184583   158447     54 |  0.000 % |
1571.89/1572.41	c |    437540 |     958    99290   430382 |   184583   158595     54 |  0.000 % |
1572.40/1572.91	c |    437701 |     958    99290   430382 |   184583   158756     54 |  0.000 % |
1573.09/1573.60	c |    437878 |     958    99290   430382 |   184583   158933     54 |  0.000 % |
1573.89/1574.46	c |    438071 |     958    99290   430382 |   184583   159126     54 |  0.000 % |
1574.70/1575.26	c |    438283 |     958    99290   430382 |   184583   159338     54 |  0.000 % |
1575.49/1576.09	c |    438520 |     958    99290   430382 |   184583   159575     54 |  0.000 % |
1576.59/1577.12	c |    438776 |     958    99290   430382 |   184583   159831     54 |  0.000 % |
1577.79/1578.34	c |    439061 |     958    99290   430382 |   184583   160116     54 |  0.000 % |
1578.79/1579.35	c |    439370 |     958    99290   430382 |   184583   160425     54 |  0.000 % |
1579.79/1580.35	c |    439709 |     958    99290   430382 |   184583   160764     54 |  0.000 % |
1580.59/1581.14	c |    440081 |     958    99290   430382 | 2147483647   161136     54 |  0.000 % |
1582.09/1582.60	c |    440490 |     958    99290   430382 | 2147483647   161545     54 |  0.000 % |
1583.29/1583.80	c |    440939 |     958    99290   430382 | 2147483647   161994     54 |  0.000 % |
1584.49/1585.04	c |    441432 |     958    99290   430382 | 2147483647   162487     54 |  0.000 % |
1585.49/1586.02	c |    441975 |     958    99290   430382 | 2147483647   163030     54 |  0.000 % |
1586.39/1586.99	c |    442572 |     958    99290   430382 | 2147483647   163627     54 |  0.000 % |
1588.39/1588.90	c |    443228 |     958    99290   430382 | 2147483647   164283     54 |  0.000 % |
1591.38/1591.97	c |    443948 |     958    99290   430382 | 2147483647   165003     54 |  0.000 % |
1593.29/1593.80	c |    444740 |     958    99290   430382 | 2147483647   165795     54 |  0.000 % |
1594.49/1595.04	c |    445613 |     958    99290   430382 | 2147483647   166668     54 |  0.000 % |
1597.88/1598.47	c |    446573 |     958    99290   430382 | 2147483647   167628     54 |  0.000 % |
1601.98/1602.56	c |    447628 |     958    99290   430382 | 2147483647   168683     54 |  0.000 % |
1606.78/1607.38	c |    448786 |     958    99290   430382 | 2147483647   169841     54 |  0.000 % |
1610.88/1611.41	c |    450061 |     958    99290   430382 | 2147483647   171116     55 |  0.000 % |
1615.38/1615.91	c |    451462 |     958    99290   430382 | 2147483647   172517     55 |  0.000 % |
1620.37/1620.98	c |    453004 |     958    99290   430382 | 2147483647   174059     55 |  0.000 % |
1626.47/1627.00	c |    454698 |     958    99290   430382 | 2147483647   175753     55 |  0.000 % |
1631.47/1632.03	c |    456561 |     958    99290   430382 | 2147483647   177616     55 |  0.000 % |
1637.37/1637.97	c |    458611 |     958    99290   430382 | 2147483647   179666     55 |  0.000 % |
1642.17/1642.79	c |    460864 |     958    99290   430382 | 2147483647   181919     55 |  0.000 % |
1647.27/1647.88	c |    463343 |     958    99290   430382 | 2147483647   184398     55 |  0.000 % |
1652.46/1653.03	c |    466072 |     958    99290   430382 | 2147483647   187127     55 |  0.000 % |
1664.26/1664.87	c |    469073 |     958    99290   430382 | 2147483647   190128     55 |  0.000 % |
1674.86/1675.46	c |    472371 |     958    99290   430382 | 2147483647   193426     55 |  0.000 % |
1687.16/1687.70	c |    475996 |     958    99290   430382 | 2147483647   197051     55 |  0.000 % |
1703.56/1704.13	c |    479985 |     958    99290   430382 | 2147483647   201040     56 |  0.000 % |
1723.85/1724.40	c |    484371 |     958    99290   430382 | 2147483647   205426     56 |  0.000 % |
1724.26/1724.85	c |    484471 |     958    99290   430382 | 2147483647   205526     56 |  0.000 % |
1724.85/1725.48	c |    484581 |     958    99290   430382 | 2147483647   205636     56 |  0.000 % |
1725.85/1726.40	c |    484705 |     958    99290   430382 | 2147483647   205760     56 |  0.000 % |
1726.85/1727.48	c |    484839 |     958    99290   430382 | 2147483647   205894     56 |  0.000 % |
1727.55/1728.14	c |    484987 |     958    99290   430382 | 2147483647   206042     56 |  0.000 % |
1728.45/1729.02	c |    485147 |     958    99290   430382 | 2147483647   206202     56 |  0.000 % |
1729.35/1729.90	c |    485325 |     958    99290   430382 | 2147483647   206380     56 |  0.000 % |
1730.35/1730.90	c |    485518 |     958    99290   430382 | 2147483647   206573     56 |  0.000 % |
1731.55/1732.19	c |    485733 |     958    99290   430382 | 2147483647   206788     56 |  0.000 % |
1733.05/1733.64	c |    485968 |     958    99290   430382 | 2147483647   207023     56 |  0.000 % |
1734.45/1735.06	c |    486225 |     958    99290   430382 | 2147483647   207280     56 |  0.000 % |
1735.84/1736.46	c |    486506 |     958    99290   430382 | 2147483647   207561     56 |  0.000 % |
1737.45/1738.08	c |    486816 |     958    99290   430382 | 2147483647   207871     56 |  0.000 % |
1739.24/1739.87	c |    487156 |     958    99290   430382 | 2147483647   208211     56 |  0.000 % |
1741.04/1741.60	c |    487530 |     958    99290   430382 | 2147483647   208585     56 |  0.000 % |
1743.34/1743.93	c |    487942 |     958    99290   430382 | 2147483647   208997     56 |  0.000 % |
1745.64/1746.24	c |    488391 |     958    99290   430382 | 2147483647   209446     56 |  0.000 % |
1748.44/1749.06	c |    488884 |     958    99290   430382 | 2147483647   209939     56 |  0.000 % |
1752.14/1752.76	c |    489426 |     958    99290   430382 | 2147483647   210481     56 |  0.000 % |
1754.94/1755.57	c |    490023 |     958    99290   430382 |   211055   211078     56 |  0.000 % |
1759.34/1759.93	c |    490678 |     958    99290   430382 |   211055   177150     58 |  0.000 % |
1763.23/1763.89	c |    491398 |     958    99290   430382 |   211055   177870     58 |  0.000 % |
1767.14/1767.78	c |    492191 |     958    99290   430382 |   211055   178663     58 |  0.000 % |
1770.23/1770.87	c |    493063 |     958    99290   430382 |   211055   179535     58 |  0.000 % |
1773.63/1774.24	c |    494022 |     958    99290   430382 |   211055   180494     58 |  0.000 % |
1778.43/1779.01	c |    495077 |     958    99290   430382 |   211055   181549     58 |  0.000 % |
1785.02/1785.68	c |    496240 |     958    99290   430382 |   211055   182712     58 |  0.000 % |
1789.92/1790.57	c |    497514 |     958    99290   430382 |   211055   183986     58 |  0.000 % |
1797.22/1797.86	c |    498914 |     958    99290   430382 |   211055   185386     58 |  0.000 % |
1806.22/1806.81	c |    500454 |     958    99290   430382 |   186473   152937     59 |  0.000 % |
1816.31/1816.95	c |    502149 |     958    99290   430382 |   186473   154632     59 |  0.000 % |
1826.62/1827.24	c |    504012 |     958    99290   430382 |   186473   156495     59 |  0.000 % |
1836.42/1837.00	c |    506061 |     958    99290   430382 |   186473   158544     59 |  0.000 % |
1848.61/1849.21	c |    508316 |     958    99290   430382 |   186473   160799     59 |  0.000 % |
1860.51/1861.15	c |    510795 |     958    99290   430382 |   162485   145823     60 |  0.000 % |
1872.71/1873.33	c |    513521 |     958    99290   430382 |   162485   148549     60 |  0.000 % |
1888.80/1889.41	c |    516522 |     958    99290   430382 |   162485   151550     60 |  0.000 % |
1902.79/1903.44	c |    519820 |     958    99290   430382 |   162485   154848     60 |  0.000 % |
1913.79/1914.45	c |    523451 |     958    99290   430382 | 2147483647   158479     60 |  0.000 % |
1922.79/1923.42	c |    527440 |     958    99290   430382 | 2147483647   162468     60 |  0.000 % |
1932.69/1933.35	c |    531827 |     958    99290   430382 | 2147483647   166855     60 |  0.000 % |
1948.38/1949.10	c |    536650 |     958    99290   430382 | 2147483647   171678     60 |  0.000 % |
1948.88/1949.52	c |    536750 |     958    99290   430382 | 2147483647   171778     60 |  0.000 % |
1949.38/1950.04	c |    536861 |     958    99290   430382 | 2147483647   171889     60 |  0.000 % |
1950.08/1950.70	c |    536983 |     958    99290   430382 | 2147483647   172011     60 |  0.000 % |
1950.78/1951.46	c |    537117 |     958    99290   430382 | 2147483647   172145     60 |  0.000 % |
1951.68/1952.33	c |    537263 |     958    99290   430382 | 2147483647   172291     60 |  0.000 % |
1952.88/1953.53	c |    537423 |     958    99290   430382 | 2147483647   172451     60 |  0.000 % |
1954.18/1954.89	c |    537599 |     958    99290   430382 | 2147483647   172627     60 |  0.000 % |
1955.47/1956.18	c |    537792 |     958    99290   430382 | 2147483647   172820     60 |  0.000 % |
1957.08/1957.75	c |    538004 |     958    99290   430382 | 2147483647   173032     60 |  0.000 % |
1958.87/1959.50	c |    538237 |     958    99290   430382 | 2147483647   173265     60 |  0.000 % |
1959.97/1960.60	c |    538495 |     958    99290   430382 | 2147483647   173523     60 |  0.000 % |
1961.97/1962.61	c |    538776 |     958    99290   430382 | 2147483647   173804     60 |  0.000 % |
1964.37/1965.04	c |    539087 |     958    99290   430382 | 2147483647   174115     60 |  0.000 % |
1966.67/1967.36	c |    539427 |     958    99290   430382 | 2147483647   174455     60 |  0.000 % |
1968.77/1969.41	c |    539802 |     958    99290   430382 | 2147483647   174830     60 |  0.000 % |
1970.07/1970.72	c |    540211 |     958    99290   430382 | 2147483647   175239     60 |  0.000 % |
1972.67/1973.33	c |    540660 |     958    99290   430382 | 2147483647   175688     60 |  0.000 % |
1975.57/1976.26	c |    541153 |     958    99290   430382 | 2147483647   176181     60 |  0.000 % |
1978.47/1979.13	c |    541696 |     958    99290   430382 | 2147483647   176724     60 |  0.000 % |
1981.77/1982.46	c |    542293 |     958    99290   430382 | 2147483647   177321     60 |  0.000 % |
1986.27/1986.97	c |    542948 |     958    99290   430382 | 2147483647   177976     60 |  0.000 % |
1991.06/1991.79	c |    543668 |     958    99290   430382 | 2147483647   178696     60 |  0.000 % |
1996.56/1997.27	c |    544463 |     958    99290   430382 | 2147483647   179491     60 |  0.000 % |
2003.06/2003.70	c |    545334 |     958    99290   430382 | 2147483647   180362     60 |  0.000 % |
2008.96/2009.65	c |    546292 |     958    99290   430382 | 2147483647   181320     60 |  0.000 % |
2014.06/2014.76	c |    547345 |     958    99290   430382 | 2147483647   182373     60 |  0.000 % |
2019.05/2019.77	c |    548504 |     958    99290   430382 | 2147483647   183532     60 |  0.000 % |
2024.95/2025.69	c |    549777 |     958    99290   430382 | 2147483647   184805     60 |  0.000 % |
2034.05/2034.76	c |    551177 |     958    99290   430382 |   185030   152085     60 |  0.000 % |
2042.55/2043.27	c |    552718 |     958    99290   430382 |   185030   153626     60 |  0.000 % |
2048.75/2049.49	c |    554412 |     958    99290   430382 |   185030   155320     60 |  0.000 % |
2056.35/2057.07	c |    556275 |     958    99290   430382 |   185030   157183     61 |  0.000 % |
2065.15/2065.86	c |    558324 |     958    99290   430382 |   185030   159232     61 |  0.000 % |
2073.65/2074.33	c |    560577 |     958    99290   430382 |   160910   131154     61 |  0.000 % |
2080.75/2081.42	c |    563055 |     958    99290   430382 |   160910   133632     61 |  0.000 % |
2089.04/2089.78	c |    565780 |     958    99290   430382 |   160910   136357     61 |  0.000 % |
2099.24/2099.96	c |    568778 |     958    99290   430382 |   160910   139355     61 |  0.000 % |
2107.24/2107.97	c |    572076 |     958    99290   430382 | 2147483647   142653     61 |  0.000 % |
2127.83/2128.58	c |    575702 |     958    99290   430382 | 2147483647   146279     61 |  0.000 % |
2142.82/2143.53	c |    579689 |     958    99290   430382 | 2147483647   150266     61 |  0.000 % |
2160.72/2161.48	c |    584079 |     958    99290   430382 | 2147483647   154656     61 |  0.000 % |
2175.51/2176.27	c |    588905 |     958    99290   430382 | 2147483647   159482     61 |  0.000 % |
2194.01/2194.72	c |    594210 |     958    99290   430382 | 2147483647   164787     61 |  0.000 % |
2194.61/2195.37	c |    594310 |     958    99290   430382 | 2147483647   164887     61 |  0.000 % |
2195.11/2195.82	c |    594421 |     958    99290   430382 | 2147483647   164998     61 |  0.000 % |
2195.51/2196.24	c |    594543 |     958    99290   430382 | 2147483647   165120     61 |  0.000 % |
2196.51/2197.30	c |    594677 |     958    99290   430382 | 2147483647   165254     61 |  0.000 % |
2197.41/2198.19	c |    594823 |     958    99290   430382 | 2147483647   165400     61 |  0.000 % |
2198.11/2198.87	c |    594983 |     958    99290   430382 | 2147483647   165560     61 |  0.000 % |
2199.01/2199.77	c |    595163 |     958    99290   430382 | 2147483647   165740     61 |  0.000 % |
2200.01/2200.71	c |    595359 |     958    99290   430382 | 2147483647   165936     61 |  0.000 % |
2200.61/2201.32	c |    595573 |     958    99290   430382 | 2147483647   166150     61 |  0.000 % |
2202.21/2202.98	c |    595807 |     958    99290   430382 | 2147483647   166384     61 |  0.000 % |
2203.91/2204.61	c |    596063 |     958    99290   430382 | 2147483647   166640     61 |  0.000 % |
2205.41/2206.20	c |    596345 |     958    99290   430382 | 2147483647   166922     61 |  0.000 % |
2206.80/2207.56	c |    596654 |     958    99290   430382 | 2147483647   167231     61 |  0.000 % |
2209.11/2209.89	c |    596993 |     958    99290   430382 | 2147483647   167570     61 |  0.000 % |
2210.10/2210.89	c |    597365 |     958    99290   430382 | 2147483647   167942     61 |  0.000 % |
2211.70/2212.41	c |    597774 |     958    99290   430382 | 2147483647   168351     61 |  0.000 % |
2212.80/2213.56	c |    598225 |     958    99290   430382 | 2147483647   168802     61 |  0.000 % |
2214.40/2215.10	c |    598718 |     958    99290   430382 | 2147483647   169295     61 |  0.000 % |
2216.70/2217.42	c |    599261 |     958    99290   430382 | 2147483647   169838     61 |  0.000 % |
2218.50/2219.28	c |    599859 |     958    99290   430382 | 2147483647   170436     61 |  0.000 % |
2222.30/2223.10	c |    600514 |     958    99290   430382 | 2147483647   171091     61 |  0.000 % |
2227.70/2228.50	c |    601234 |     958    99290   430382 | 2147483647   171811     61 |  0.000 % |
2233.99/2234.74	c |    602026 |     958    99290   430382 | 2147483647   172603     61 |  0.000 % |
2240.39/2241.17	c |    602899 |     958    99290   430382 | 2147483647   173476     61 |  0.000 % |
2246.39/2247.11	c |    603858 |     958    99290   430382 | 2147483647   174435     61 |  0.000 % |
2250.89/2251.62	c |    604911 |     958    99290   430382 | 2147483647   175488     61 |  0.000 % |
2256.50/2257.25	c |    606071 |     958    99290   430382 | 2147483647   176648     61 |  0.000 % |
2263.89/2264.64	c |    607344 |     958    99290   430382 | 2147483647   177921     61 |  0.000 % |
2272.39/2273.20	c |    608744 |     958    99290   430382 | 2147483647   179321     61 |  0.000 % |
2279.99/2280.79	c |    610285 |     958    99290   430382 | 2147483647   180862     61 |  0.000 % |
2284.09/2284.83	c |    611981 |     958    99290   430382 | 2147483647   182558     61 |  0.000 % |
2287.89/2288.66	c |    613845 |     958    99290   430382 | 2147483647   184422     61 |  0.000 % |
2292.79/2293.55	c |    615894 |     958    99290   430382 | 2147483647   186471     61 |  0.000 % |
2301.98/2302.74	c |    618151 |     958    99290   430382 | 2147483647   188728     61 |  0.000 % |
2309.28/2310.00	c |    620630 |     958    99290   430382 | 2147483647   191207     61 |  0.000 % |
2318.97/2319.73	c |    623358 |     958    99290   430382 | 2147483647   193935     61 |  0.000 % |
2330.07/2330.81	c |    626357 |     958    99290   430382 | 2147483647   196934     61 |  0.000 % |
2343.77/2344.50	c |    629655 |     958    99290   430382 | 2147483647   200232     61 |  0.000 % |
2366.96/2367.70	c |    633280 |     958    99290   430382 | 2147483647   203857     61 |  0.000 % |
2395.45/2396.25	c |    637270 |     958    99290   430382 | 2147483647   207847     61 |  0.000 % |
2424.84/2425.66	c |    641655 |     958    99290   430382 | 2147483647   212232     61 |  0.000 % |
2448.23/2449.09	c |    646479 |     958    99290   430382 | 2147483647   217056     60 |  0.000 % |
2475.73/2476.59	c |    651786 |     958    99290   430382 | 2147483647   222363     60 |  0.000 % |
2494.03/2494.82	c |    657621 |     958    99290   430382 | 2147483647   228198     60 |  0.000 % |
2494.53/2495.33	c |    657722 |     958    99290   430382 | 2147483647   228299     60 |  0.000 % |
2495.13/2495.91	c |    657835 |     958    99290   430382 | 2147483647   228412     60 |  0.000 % |
2495.62/2496.49	c |    657963 |     958    99290   430382 | 2147483647   228540     60 |  0.000 % |
2496.23/2497.01	c |    658102 |     958    99290   430382 | 2147483647   228679     60 |  0.000 % |
2497.02/2497.87	c |    658249 |     958    99290   430382 | 2147483647   228826     60 |  0.000 % |
2497.72/2498.56	c |    658410 |     958    99290   430382 | 2147483647   228987     60 |  0.000 % |
2498.62/2499.47	c |    658586 |     958    99290   430382 | 2147483647   229163     60 |  0.000 % |
2499.92/2500.74	c |    658781 |     958    99290   430382 | 2147483647   229358     60 |  0.000 % |
2501.12/2501.97	c |    658994 |     958    99290   430382 | 2147483647   229571     60 |  0.000 % |
2502.42/2503.29	c |    659227 |     958    99290   430382 | 2147483647   229804     60 |  0.000 % |
2504.02/2504.85	c |    659484 |     958    99290   430382 | 2147483647   230061     60 |  0.000 % |
2505.22/2506.09	c |    659766 |     958    99290   430382 | 2147483647   230343     60 |  0.000 % |
2506.62/2507.45	c |    660076 |     958    99290   430382 | 2147483647   230653     60 |  0.000 % |
2510.02/2510.80	c |    660415 |     958    99290   430382 | 2147483647   230992     60 |  0.000 % |
2512.62/2513.46	c |    660787 |     958    99290   430382 | 2147483647   231364     60 |  0.000 % |
2515.02/2515.86	c |    661198 |     958    99290   430382 | 2147483647   231775     60 |  0.000 % |
2517.72/2518.55	c |    661647 |     958    99290   430382 | 2147483647   232224     60 |  0.000 % |
2520.81/2521.65	c |    662143 |     958    99290   430382 | 2147483647   232720     60 |  0.000 % |
2524.01/2524.84	c |    662687 |     958    99290   430382 | 2147483647   233264     60 |  0.000 % |
2527.12/2527.93	c |    663283 |     958    99290   430382 | 2147483647   233860     60 |  0.000 % |
2530.52/2531.34	c |    663940 |     958    99290   430382 | 2147483647   234517     60 |  0.000 % |
2534.72/2535.58	c |    664660 |     958    99290   430382 | 2147483647   235237     60 |  0.000 % |
2538.12/2538.98	c |    665452 |     958    99290   430382 | 2147483647   236029     60 |  0.000 % |
2543.71/2544.51	c |    666324 |     958    99290   430382 | 2147483647   236901     60 |  0.000 % |
2549.91/2550.72	c |    667282 |     958    99290   430382 | 2147483647   237859     60 |  0.000 % |
2554.71/2555.57	c |    668336 |     958    99290   430382 | 2147483647   238913     60 |  0.000 % |
2559.41/2560.25	c |    669496 |     958    99290   430382 | 2147483647   240073     60 |  0.000 % |
2564.80/2565.69	c |    670770 |     958    99290   430382 | 2147483647   241347     60 |  0.000 % |
2573.60/2574.45	c |    672174 |     958    99290   430382 | 2147483647   242751     60 |  0.000 % |
2585.30/2586.19	c |    673714 |     958    99290   430382 | 2147483647   244291     60 |  0.000 % |
2594.00/2594.84	c |    675408 |     958    99290   430382 | 2147483647   245985     60 |  0.000 % |
2603.89/2604.72	c |    677274 |     958    99290   430382 | 2147483647   247851     60 |  0.000 % |
2613.59/2614.42	c |    679324 |     958    99290   430382 | 2147483647   249901     60 |  0.000 % |
2620.89/2621.71	c |    681578 |     958    99290   430382 | 2147483647   252155     60 |  0.000 % |
2641.29/2642.13	c |    684057 |     958    99290   430382 | 2147483647   254634     60 |  0.000 % |
2662.38/2663.22	c |    686783 |     958    99290   430382 | 2147483647   257360     60 |  0.000 % |
2678.17/2679.01	c |    689780 |     958    99290   430382 | 2147483647   260357     60 |  0.000 % |
2692.57/2693.42	c |    693076 |     958    99290   430382 |   260577   232544     60 |  0.000 % |
2720.17/2721.05	c |    696702 |     958    99290   430382 |   260577   236170     60 |  0.000 % |
2746.26/2747.14	c |    700689 |     958    99290   430382 |   239470   213138     59 |  0.000 % |
2762.26/2763.12	c |    705074 |     958    99290   430382 |   239470   217523     59 |  0.000 % |
2787.35/2788.22	c |    709897 |     958    99290   430382 |   239470   222346     59 |  0.000 % |
2813.94/2814.86	c |    715202 |     958    99290   430382 | 2147483647   227651     59 |  0.000 % |
2840.73/2841.63	c |    721037 |     958    99290   430382 | 2147483647   233486     59 |  0.000 % |
2868.12/2869.01	c |    727457 |     958    99290   430382 | 2147483647   239906     59 |  0.000 % |
2868.42/2869.37	c |    727560 |     958    99290   430382 | 2147483647   240009     59 |  0.000 % |
2869.22/2870.18	c |    727670 |     958    99290   430382 | 2147483647   240119     59 |  0.000 % |
2869.92/2870.83	c |    727791 |     958    99290   430382 | 2147483647   240240     59 |  0.000 % |
2870.82/2871.75	c |    727924 |     958    99290   430382 | 2147483647   240373     59 |  0.000 % |
2871.82/2872.75	c |    728071 |     958    99290   430382 | 2147483647   240520     59 |  0.000 % |
2872.92/2873.83	c |    728231 |     958    99290   430382 | 2147483647   240680     59 |  0.000 % |
2874.12/2875.06	c |    728408 |     958    99290   430382 | 2147483647   240857     59 |  0.000 % |
2875.62/2876.52	c |    728602 |     958    99290   430382 | 2147483647   241051     59 |  0.000 % |
2877.11/2878.01	c |    728814 |     958    99290   430382 | 2147483647   241263     59 |  0.000 % |
2878.82/2879.74	c |    729047 |     958    99290   430382 | 2147483647   241496     59 |  0.000 % |
2880.91/2881.82	c |    729303 |     958    99290   430382 | 2147483647   241752     60 |  0.000 % |
2883.32/2884.24	c |    729584 |     958    99290   430382 | 2147483647   242033     60 |  0.000 % |
2885.52/2886.49	c |    729894 |     958    99290   430382 | 2147483647   242343     60 |  0.000 % |
2888.21/2889.13	c |    730233 |     958    99290   430382 | 2147483647   242682     60 |  0.000 % |
2890.01/2890.97	c |    730606 |     958    99290   430382 | 2147483647   243055     60 |  0.000 % |
2891.81/2892.78	c |    731016 |     958    99290   430382 | 2147483647   243465     60 |  0.000 % |
2894.71/2895.69	c |    731467 |     958    99290   430382 | 2147483647   243916     60 |  0.000 % |
2897.81/2898.71	c |    731961 |     958    99290   430382 | 2147483647   244410     60 |  0.001 % |
2900.21/2901.19	c |    732510 |     958    99290   430382 | 2147483647   244959     60 |  0.000 % |
2904.41/2905.37	c |    733106 |     958    99290   430382 | 2147483647   245555     60 |  0.000 % |
2908.21/2909.13	c |    733761 |     958    99290   430382 | 2147483647   246210     60 |  0.000 % |
2913.20/2914.14	c |    734482 |     958    99290   430382 | 2147483647   246931     60 |  0.000 % |
2916.80/2917.71	c |    735277 |     958    99290   430382 | 2147483647   247726     60 |  0.000 % |
2919.90/2920.82	c |    736155 |     958    99290   430382 | 2147483647   248604     60 |  0.000 % |
2922.10/2923.08	c |    737113 |     958    99290   430382 | 2147483647   249562     60 |  0.000 % |
2924.50/2925.44	c |    738171 |     958    99290   430382 | 2147483647   250620     59 |  0.000 % |
2927.60/2928.57	c |    739336 |     958    99290   430382 | 2147483647   251785     59 |  0.000 % |
2931.20/2932.12	c |    740612 |     958    99290   430382 | 2147483647   253061     59 |  0.000 % |
2934.80/2935.76	c |    742014 |     958    99290   430382 | 2147483647   254463     59 |  0.000 % |
2945.29/2946.29	c |    743555 |     958    99290   430382 | 2147483647   256004     59 |  0.000 % |
2955.79/2956.74	c |    745250 |     958    99290   430382 | 2147483647   257699     59 |  0.000 % |
2964.89/2965.81	c |    747114 |     958    99290   430382 | 2147483647   259563     59 |  0.000 % |
2971.38/2972.34	c |    749163 |     958    99290   430382 | 2147483647   261612     59 |  0.000 % |
2981.09/2982.02	c |    751417 |     958    99290   430382 | 2147483647   263866     59 |  0.000 % |
2991.09/2992.06	c |    753896 |     958    99290   430382 | 2147483647   266345     59 |  0.000 % |
3001.38/3002.35	c |    756621 |     958    99290   430382 | 2147483647   269070     59 |  0.000 % |
3011.08/3012.04	c |    759620 |     958    99290   430382 | 2147483647   272069     59 |  0.000 % |
3024.77/3025.75	c |    762917 |     958    99290   430382 |   272450   212007     59 |  0.000 % |
3038.77/3039.77	c |    766542 |     958    99290   430382 |   272450   215632     59 |  0.000 % |
3058.16/3059.14	c |    770530 |     958    99290   430382 | 2147483647   219620     59 |  0.000 % |
3078.85/3079.83	c |    774915 |     958    99290   430382 | 2147483647   224005     59 |  0.000 % |
3102.15/3103.18	c |    779738 |     958    99290   430382 | 2147483647   228828     59 |  0.000 % |
3122.44/3123.41	c |    785043 |     958    99290   430382 | 2147483647   234133     59 |  0.000 % |
3147.94/3148.94	c |    790878 |     958    99290   430382 | 2147483647   239968     59 |  0.000 % |
3170.14/3171.15	c |    797296 |     958    99290   430382 | 2147483647   246386     59 |  0.000 % |
3193.23/3194.23	c |    804355 |     958    99290   430382 | 2147483647   253445     59 |  0.000 % |
3193.83/3194.88	c |    804456 |     958    99290   430382 | 2147483647   253546     59 |  0.000 % |
3194.33/3195.32	c |    804566 |     958    99290   430382 | 2147483647   253656     59 |  0.000 % |
3195.23/3196.27	c |    804688 |     958    99290   430382 | 2147483647   253778     59 |  0.000 % |
3195.93/3196.93	c |    804821 |     958    99290   430382 | 2147483647   253911     59 |  0.000 % |
3196.82/3197.88	c |    804968 |     958    99290   430382 | 2147483647   254058     59 |  0.000 % |
3197.63/3198.61	c |    805128 |     958    99290   430382 | 2147483647   254218     59 |  0.000 % |
3198.33/3199.39	c |    805305 |     958    99290   430382 | 2147483647   254395     59 |  0.000 % |
3199.22/3200.26	c |    805503 |     958    99290   430382 | 2147483647   254593     59 |  0.000 % |
3200.72/3201.79	c |    805715 |     958    99290   430382 | 2147483647   254805     59 |  0.000 % |
3201.82/3202.87	c |    805950 |     958    99290   430382 | 2147483647   255040     59 |  0.000 % |
3203.33/3204.38	c |    806206 |     958    99290   430382 | 2147483647   255296     59 |  0.000 % |
3204.92/3205.94	c |    806488 |     958    99290   430382 | 2147483647   255578     59 |  0.000 % |
3206.12/3207.12	c |    806797 |     958    99290   430382 | 2147483647   255887     59 |  0.000 % |
3207.02/3208.02	c |    807141 |     958    99290   430382 | 2147483647   256231     59 |  0.000 % |
3208.42/3209.47	c |    807514 |     958    99290   430382 | 2147483647   256604     59 |  0.000 % |
3210.82/3211.86	c |    807927 |     958    99290   430382 | 2147483647   257017     59 |  0.000 % |
3213.02/3214.09	c |    808379 |     958    99290   430382 | 2147483647   257469     59 |  0.000 % |
3215.32/3216.35	c |    808880 |     958    99290   430382 | 2147483647   257970     59 |  0.000 % |
3217.22/3218.23	c |    809422 |     958    99290   430382 | 2147483647   258512     59 |  0.000 % |
3219.01/3220.03	c |    810020 |     958    99290   430382 | 2147483647   259110     59 |  0.000 % |
3223.02/3224.03	c |    810680 |     958    99290   430382 | 2147483647   259770     59 |  0.000 % |
3226.51/3227.60	c |    811400 |     958    99290   430382 | 2147483647   260490     59 |  0.000 % |
3230.31/3231.34	c |    812192 |     958    99290   430382 | 2147483647   261282     59 |  0.000 % |
3234.41/3235.47	c |    813063 |     958    99290   430382 | 2147483647   262153     59 |  0.000 % |
3238.31/3239.39	c |    814021 |     958    99290   430382 | 2147483647   263111     59 |  0.000 % |
3244.01/3245.07	c |    815074 |     958    99290   430382 | 2147483647   264164     59 |  0.000 % |
3249.71/3250.76	c |    816234 |     958    99290   430382 | 2147483647   265324     59 |  0.000 % |
3254.40/3255.42	c |    817510 |     958    99290   430382 | 2147483647   266600     59 |  0.000 % |
3261.51/3262.53	c |    818910 |     958    99290   430382 | 2147483647   268000     59 |  0.000 % |
3267.00/3268.04	c |    820450 |     958    99290   430382 | 2147483647   269540     59 |  0.000 % |
3272.70/3273.77	c |    822148 |     958    99290   430382 | 2147483647   271238     59 |  0.000 % |
3280.10/3281.11	c |    824011 |     958    99290   430382 | 2147483647   273101     59 |  0.000 % |
3291.69/3292.75	c |    826060 |     958    99290   430382 | 2147483647   275150     59 |  0.000 % |
3304.10/3305.11	c |    828313 |     958    99290   430382 | 2147483647   277403     59 |  0.000 % |
3312.69/3313.78	c |    830795 |     958    99290   430382 | 2147483647   279885     59 |  0.000 % |
3321.69/3322.76	c |    833521 |     958    99290   430382 | 2147483647   282611     59 |  0.000 % |
3343.88/3344.91	c |    836518 |     958    99290   430382 | 2147483647   285608     59 |  0.000 % |
3362.68/3363.75	c |    839815 |     958    99290   430382 | 2147483647   288905     59 |  0.000 % |
3378.97/3380.06	c |    843440 |     958    99290   430382 | 2147483647   292530     59 |  0.000 % |
3395.67/3396.78	c |    847428 |     958    99290   430382 | 2147483647   296518     59 |  0.000 % |
3415.77/3416.87	c |    851815 |     958    99290   430382 | 2147483647   300905     59 |  0.000 % |
3431.66/3432.72	c |    856643 |     958    99290   430382 | 2147483647   305733     59 |  0.000 % |
3448.85/3449.97	c |    861950 |     958    99290   430382 | 2147483647   311040     59 |  0.000 % |
3467.05/3468.11	c |    867786 |     958    99290   430382 | 2147483647   316876     58 |  0.000 % |
3486.54/3487.67	c |    874204 |     958    99290   430382 | 2147483647   323294     58 |  0.000 % |
3507.84/3508.92	c |    881264 |     958    99290   430382 | 2147483647   330354     58 |  0.000 % |
3532.94/3534.04	c |    889028 |     958    99290   430382 | 2147483647   338118     58 |  0.000 % |
3534.03/3535.18	c |    889128 |     958    99290   430382 | 2147483647   338218     58 |  0.000 % |
3534.73/3535.82	c |    889238 |     958    99290   430382 | 2147483647   338328     58 |  0.000 % |
3535.34/3536.46	c |    889361 |     958    99290   430382 | 2147483647   338451     58 |  0.000 % |
3535.93/3537.04	c |    889494 |     958    99290   430382 | 2147483647   338584     58 |  0.000 % |
3536.63/3537.71	c |    889641 |     958    99290   430382 | 2147483647   338731     58 |  0.000 % |
3537.73/3538.83	c |    889808 |     958    99290   430382 | 2147483647   338898     58 |  0.000 % |
3538.64/3539.75	c |    889988 |     958    99290   430382 | 2147483647   339078     58 |  0.000 % |
3539.63/3540.79	c |    890185 |     958    99290   430382 | 2147483647   339275     58 |  0.000 % |
3540.73/3541.81	c |    890397 |     958    99290   430382 | 2147483647   339487     58 |  0.000 % |
3541.53/3542.69	c |    890632 |     958    99290   430382 | 2147483647   339722     58 |  0.000 % |
3542.73/3543.84	c |    890890 |     958    99290   430382 | 2147483647   339980     58 |  0.000 % |
3544.13/3545.21	c |    891171 |     958    99290   430382 | 2147483647   340261     58 |  0.000 % |
3545.13/3546.23	c |    891483 |     958    99290   430382 | 2147483647   340573     58 |  0.000 % |
3546.73/3547.80	c |    891828 |     958    99290   430382 | 2147483647   340918     58 |  0.000 % |
3548.13/3549.22	c |    892205 |     958    99290   430382 | 2147483647   341295     58 |  0.000 % |
3549.83/3550.92	c |    892616 |     958    99290   430382 | 2147483647   341706     58 |  0.000 % |
3552.93/3554.03	c |    893066 |     958    99290   430382 | 2147483647   342156     58 |  0.000 % |
3556.73/3557.82	c |    893559 |     958    99290   430382 | 2147483647   342649     58 |  0.000 % |
3560.52/3561.65	c |    894101 |     958    99290   430382 | 2147483647   343191     58 |  0.000 % |
3564.42/3565.59	c |    894698 |     958    99290   430382 | 2147483647   343788     58 |  0.000 % |
3567.02/3568.19	c |    895353 |     958    99290   430382 | 2147483647   344443     58 |  0.000 % |
3571.42/3572.59	c |    896073 |     958    99290   430382 | 2147483647   345163     58 |  0.000 % |
3576.81/3577.90	c |    896866 |     958    99290   430382 | 2147483647   345956     58 |  0.000 % |
3583.11/3584.25	c |    897737 |     958    99290   430382 | 2147483647   346827     58 |  0.000 % |
3588.51/3589.62	c |    898696 |     958    99290   430382 | 2147483647   347786     58 |  0.000 % |
3595.52/3596.65	c |    899749 |     958    99290   430382 | 2147483647   348839     58 |  0.000 % |
3602.21/3603.38	c |    900907 |     958    99290   430382 | 2147483647   349997     58 |  0.000 % |
3610.01/3611.13	c |    902184 |     958    99290   430382 | 2147483647   351274     58 |  0.000 % |
3617.81/3618.91	c |    903584 |     958    99290   430382 | 2147483647   352674     58 |  0.000 % |
3628.51/3629.69	c |    905124 |     958    99290   430382 | 2147483647   354214     58 |  0.000 % |
3636.90/3638.02	c |    906818 |     958    99290   430382 | 2147483647   355908     58 |  0.000 % |
3649.50/3650.69	c |    908681 |     958    99290   430382 | 2147483647   357771     58 |  0.000 % |
3662.29/3663.43	c |    910730 |     958    99290   430382 |   359091   317636     58 |  0.000 % |
3671.49/3672.70	c |    912985 |     958    99290   430382 |   359091   319891     58 |  0.000 % |
3680.79/3681.93	c |    915463 |     958    99290   430382 |   359091   322369     58 |  0.000 % |
3688.59/3689.76	c |    918189 |     958    99290   430382 |   359091   325095     58 |  0.000 % |
3702.09/3703.22	c |    921187 |     958    99290   430382 | 2147483647   328093     58 |  0.000 % |
3720.78/3721.93	c |    924488 |     958    99290   430382 | 2147483647   331394     58 |  0.000 % |
3740.87/3742.03	c |    928116 |     958    99290   430382 | 2147483647   335022     58 |  0.000 % |
3758.07/3759.28	c |    932106 |     958    99290   430382 | 2147483647   339012     58 |  0.000 % |
3776.56/3777.76	c |    936493 |     958    99290   430382 | 2147483647   343399     58 |  0.000 % |
3794.16/3795.37	c |    941317 |     958    99290   430382 | 2147483647   348223     58 |  0.000 % |
3813.25/3814.46	c |    946624 |     958    99290   430382 | 2147483647   353530     57 |  0.000 % |
3842.34/3843.52	c |    952459 |     958    99290   430382 | 2147483647   359365     57 |  0.000 % |
3871.94/3873.16	c |    958878 |     958    99290   430382 | 2147483647   365784     58 |  0.000 % |
3915.03/3916.25	c |    965938 |     958    99290   430382 |   366906   322180     57 |  0.000 % |
3949.52/3950.78	c |    973702 |     958    99290   430382 | 2147483647   329944     57 |  0.000 % |
3986.11/3987.39	c |    982242 |     958    99290   430382 | 2147483647   338484     57 |  0.000 % |
3986.51/3987.77	c |    982342 |     958    99290   430382 | 2147483647   338584     57 |  0.000 % |
3986.81/3988.09	c |    982454 |     958    99290   430382 | 2147483647   338696     57 |  0.000 % |
3987.41/3988.66	c |    982575 |     958    99290   430382 | 2147483647   338817     57 |  0.000 % |
3988.61/3989.83	c |    982710 |     958    99290   430382 | 2147483647   338952     57 |  0.000 % |
3989.41/3990.61	c |    982856 |     958    99290   430382 | 2147483647   339098     57 |  0.000 % |
3990.21/3991.43	c |    983016 |     958    99290   430382 | 2147483647   339258     57 |  0.000 % |
3991.51/3992.74	c |    983195 |     958    99290   430382 | 2147483647   339437     57 |  0.000 % |
3992.41/3993.68	c |    983390 |     958    99290   430382 | 2147483647   339632     57 |  0.000 % |
3993.91/3995.14	c |    983602 |     958    99290   430382 | 2147483647   339844     57 |  0.000 % |
3994.90/3996.15	c |    983836 |     958    99290   430382 | 2147483647   340078     57 |  0.000 % |
3995.90/3997.13	c |    984092 |     958    99290   430382 | 2147483647   340334     57 |  0.000 % |
3997.90/3999.16	c |    984377 |     958    99290   430382 | 2147483647   340619     57 |  0.000 % |
3999.51/4000.77	c |    984686 |     958    99290   430382 | 2147483647   340928     57 |  0.000 % |
4001.10/4002.32	c |    985025 |     958    99290   430382 | 2147483647   341267     57 |  0.000 % |
4004.00/4005.26	c |    985399 |     958    99290   430382 | 2147483647   341641     57 |  0.000 % |
4006.50/4007.70	c |    985808 |     958    99290   430382 | 2147483647   342050     57 |  0.000 % |
4008.80/4010.07	c |    986259 |     958    99290   430382 | 2147483647   342501     57 |  0.000 % |
4011.50/4012.77	c |    986753 |     958    99290   430382 | 2147483647   342995     57 |  0.000 % |
4015.10/4016.32	c |    987296 |     958    99290   430382 | 2147483647   343538     57 |  0.000 % |
4018.70/4019.95	c |    987894 |     958    99290   430382 | 2147483647   344136     57 |  0.000 % |
4023.20/4024.42	c |    988549 |     958    99290   430382 | 2147483647   344791     57 |  0.000 % |
4027.90/4029.19	c |    989271 |     958    99290   430382 | 2147483647   345513     57 |  0.000 % |
4032.09/4033.31	c |    990065 |     958    99290   430382 | 2147483647   346307     57 |  0.000 % |
4036.99/4038.20	c |    990938 |     958    99290   430382 | 2147483647   347180     57 |  0.000 % |
4040.10/4041.37	c |    991899 |     958    99290   430382 | 2147483647   348141     57 |  0.000 % |
4043.69/4044.94	c |    992956 |     958    99290   430382 | 2147483647   349198     57 |  0.000 % |
4047.99/4049.28	c |    994116 |     958    99290   430382 | 2147483647   350358     57 |  0.000 % |
4052.99/4054.28	c |    995389 |     958    99290   430382 | 2147483647   351631     57 |  0.000 % |
4057.89/4059.13	c |    996789 |     958    99290   430382 | 2147483647   353031     57 |  0.000 % |
4062.78/4064.01	c |    998330 |     958    99290   430382 | 2147483647   354572     57 |  0.000 % |
4068.79/4070.04	c |   1000025 |     958    99290   430382 | 2147483647   356267     57 |  0.000 % |
4080.38/4081.65	c |   1001888 |     958    99290   430382 | 2147483647   358130     57 |  0.000 % |
4089.28/4090.50	c |   1003942 |     958    99290   430382 | 2147483647   360184     57 |  0.000 % |
4098.57/4099.81	c |   1006195 |     958    99290   430382 | 2147483647   362437     57 |  0.000 % |
4111.27/4112.53	c |   1008673 |     958    99290   430382 | 2147483647   364915     57 |  0.000 % |
4123.57/4124.84	c |   1011398 |     958    99290   430382 | 2147483647   367640     57 |  0.000 % |
4140.66/4141.90	c |   1014395 |     958    99290   430382 | 2147483647   370637     57 |  0.000 % |
4160.46/4161.75	c |   1017692 |     958    99290   430382 | 2147483647   373934     57 |  0.000 % |
4178.85/4180.15	c |   1021317 |     958    99290   430382 | 2147483647   377559     57 |  0.000 % |
4195.55/4196.88	c |   1025304 |     958    99290   430382 | 2147483647   381546     57 |  0.000 % |
4210.45/4211.73	c |   1029691 |     958    99290   430382 | 2147483647   385933     57 |  0.000 % |
4228.84/4230.17	c |   1034521 |     958    99290   430382 | 2147483647   390763     57 |  0.000 % |
4259.23/4260.53	c |   1039826 |     958    99290   430382 | 2147483647   396068     57 |  0.000 % |
4289.62/4290.97	c |   1045661 |     958    99290   430382 | 2147483647   401903     57 |  0.000 % |
4327.31/4328.65	c |   1052082 |     958    99290   430382 |   406242   360832     57 |  0.000 % |
4364.61/4365.93	c |   1059141 |     958    99290   430382 |   406242   367891     57 |  0.000 % |
4408.00/4409.32	c |   1066906 |     958    99290   430382 |   368750   334253     56 |  0.000 % |
4442.08/4443.42	c |   1075446 |     958    99290   430382 | 2147483647   342793     56 |  0.000 % |
4481.87/4483.29	c |   1084841 |     958    99290   430382 | 2147483647   352188     56 |  0.000 % |
4482.47/4483.89	c |   1084943 |     958    99290   430382 | 2147483647   352290     56 |  0.000 % |
4483.17/4484.55	c |   1085053 |     958    99290   430382 | 2147483647   352400     56 |  0.000 % |
4484.17/4485.55	c |   1085174 |     958    99290   430382 | 2147483647   352521     56 |  0.000 % |
4484.87/4486.28	c |   1085308 |     958    99290   430382 | 2147483647   352655     56 |  0.000 % |
4485.67/4487.09	c |   1085455 |     958    99290   430382 | 2147483647   352802     56 |  0.000 % |
4486.57/4487.98	c |   1085617 |     958    99290   430382 | 2147483647   352964     56 |  0.000 % |
4487.47/4488.85	c |   1085793 |     958    99290   430382 | 2147483647   353140     56 |  0.000 % |
4488.47/4489.81	c |   1085986 |     958    99290   430382 | 2147483647   353333     56 |  0.000 % |
4489.77/4491.20	c |   1086199 |     958    99290   430382 | 2147483647   353546     56 |  0.000 % |
4491.07/4492.41	c |   1086434 |     958    99290   430382 | 2147483647   353781     56 |  0.000 % |
4492.07/4493.43	c |   1086693 |     958    99290   430382 | 2147483647   354040     56 |  0.000 % |
4493.37/4494.75	c |   1086982 |     958    99290   430382 | 2147483647   354329     56 |  0.000 % |
4494.67/4496.02	c |   1087292 |     958    99290   430382 | 2147483647   354639     56 |  0.000 % |
4495.97/4497.38	c |   1087633 |     958    99290   430382 | 2147483647   354980     56 |  0.000 % |
4497.27/4498.67	c |   1088007 |     958    99290   430382 | 2147483647   355354     56 |  0.000 % |
4501.86/4503.24	c |   1088416 |     958    99290   430382 | 2147483647   355763     56 |  0.000 % |
4503.66/4505.09	c |   1088865 |     958    99290   430382 | 2147483647   356212     56 |  0.000 % |
4505.16/4506.50	c |   1089359 |     958    99290   430382 | 2147483647   356706     56 |  0.000 % |
4506.76/4508.16	c |   1089904 |     958    99290   430382 | 2147483647   357251     56 |  0.000 % |
4513.26/4514.66	c |   1090500 |     958    99290   430382 |   357347   296551     56 |  0.000 % |
4521.26/4522.65	c |   1091155 |     958    99290   430382 |   357347   297206     56 |  0.000 % |
4523.36/4524.73	c |   1091875 |     958    99290   430382 |   357347   297926     56 |  0.000 % |
4526.56/4527.92	c |   1092668 |     958    99290   430382 |   357347   298719     56 |  0.000 % |
4529.75/4531.17	c |   1093541 |     958    99290   430382 |   357347   299592     56 |  0.000 % |
4532.26/4533.69	c |   1094500 |     958    99290   430382 |   357347   300551     56 |  0.000 % |
4542.85/4544.22	c |   1095553 |     958    99290   430382 |   357347   301604     56 |  0.000 % |
4551.15/4552.50	c |   1096711 |     958    99290   430382 |   357347   302762     56 |  0.000 % |
4561.84/4563.26	c |   1097985 |     958    99290   430382 |   357347   304036     56 |  0.000 % |
4571.84/4573.27	c |   1099386 |     958    99290   430382 |   357347   305437     56 |  0.000 % |
4582.44/4583.81	c |   1100926 |     958    99290   430382 |   306055   232717     55 |  0.000 % |
4591.64/4593.09	c |   1102621 |     958    99290   430382 |   306055   234412     55 |  0.000 % |
4604.04/4605.42	c |   1104485 |     958    99290   430382 |   306055   236276     55 |  0.000 % |
4616.84/4618.23	c |   1106536 |     958    99290   430382 |   306055   238327     55 |  0.000 % |
4626.53/4627.97	c |   1108789 |     958    99290   430382 |   306055   240580     55 |  0.000 % |
4633.63/4635.06	c |   1111267 |     958    99290   430382 | 2147483647   243058     55 |  0.000 % |
4648.03/4649.44	c |   1113992 |     958    99290   430382 | 2147483647   245783     54 |  0.000 % |
4662.92/4664.32	c |   1116990 |     958    99290   430382 | 2147483647   248781     54 |  0.000 % |
4673.82/4675.21	c |   1120286 |     958    99290   430382 | 2147483647   252077     54 |  0.000 % |
4687.42/4688.87	c |   1123911 |     958    99290   430382 | 2147483647   255702     54 |  0.000 % |
4705.71/4707.11	c |   1127898 |     958    99290   430382 | 2147483647   259689     53 |  0.000 % |
4728.01/4729.44	c |   1132283 |     958    99290   430382 | 2147483647   264074     53 |  0.000 % |
4739.60/4741.06	c |   1137111 |     958    99290   430382 | 2147483647   268902     53 |  0.000 % |
4759.70/4761.17	c |   1142416 |     958    99290   430382 | 2147483647   274207     52 |  0.000 % |
4786.99/4788.41	c |   1148251 |     958    99290   430382 | 2147483647   280042     52 |  0.000 % |
4817.08/4818.54	c |   1154669 |     958    99290   430382 | 2147483647   286460     51 |  0.000 % |
4846.47/4847.98	c |   1161728 |     958    99290   430382 | 2147483647   293519     51 |  0.000 % |
4875.56/4877.02	c |   1169493 |     958    99290   430382 | 2147483647   301284     50 |  0.000 % |
4906.25/4907.76	c |   1178034 |     958    99290   430382 | 2147483647   309825     49 |  0.000 % |
4956.45/4957.95	c |   1187429 |     958    99290   430382 | 2147483647   319220     50 |  0.000 % |
5005.82/5007.33	c |   1197765 |     958    99290   430382 |   321792   295467     50 |  0.000 % |
5006.12/5007.65	c |   1197865 |     958    99290   430382 |   321792   295567     50 |  0.000 % |
5006.32/5007.85	c |   1197981 |     958    99290   430382 |   321792   295683     50 |  0.000 % |
5006.73/5008.28	c |   1198102 |     958    99290   430382 |   321792   295804     50 |  0.000 % |
5007.12/5008.70	c |   1198237 |     958    99290   430382 |   321792   295939     50 |  0.000 % |
5007.62/5009.12	c |   1198383 |     958    99290   430382 |   321792   296085     50 |  0.000 % |
5008.22/5009.74	c |   1198544 |     958    99290   430382 |   321792   296246     50 |  0.000 % |
5009.52/5011.00	c |   1198720 |     958    99290   430382 |   321792   296422     50 |  0.000 % |
5010.42/5011.90	c |   1198913 |     958    99290   430382 |   321792   296615     50 |  0.000 % |
5011.72/5013.21	c |   1199127 |     958    99290   430382 |   321792   296829     50 |  0.000 % |
5012.52/5014.07	c |   1199362 |     958    99290   430382 |   321792   297064     50 |  0.000 % |
5013.43/5014.94	c |   1199619 |     958    99290   430382 |   321792   297321     50 |  0.000 % |
5014.53/5016.01	c |   1199900 |     958    99290   430382 |   321792   297602     50 |  0.000 % |
5016.02/5017.52	c |   1200209 |     958    99290   430382 | 2147483647   297911     50 |  0.000 % |
5017.52/5019.07	c |   1200549 |     958    99290   430382 | 2147483647   298251     50 |  0.000 % |
5019.22/5020.80	c |   1200921 |     958    99290   430382 | 2147483647   298623     50 |  0.000 % |
5020.42/5021.90	c |   1201333 |     958    99290   430382 | 2147483647   299035     50 |  0.000 % |
5021.42/5022.99	c |   1201782 |     958    99290   430382 | 2147483647   299484     50 |  0.000 % |
5023.22/5024.73	c |   1202275 |     958    99290   430382 | 2147483647   299977     50 |  0.000 % |
5025.52/5027.06	c |   1202817 |     958    99290   430382 | 2147483647   300519     50 |  0.000 % |
5028.12/5029.67	c |   1203414 |     958    99290   430382 | 2147483647   301116     50 |  0.000 % |
5030.42/5031.95	c |   1204070 |     958    99290   430382 | 2147483647   301772     50 |  0.000 % |
5032.22/5033.70	c |   1204791 |     958    99290   430382 | 2147483647   302493     50 |  0.000 % |
5034.91/5036.49	c |   1205583 |     958    99290   430382 | 2147483647   303285     50 |  0.000 % |
5037.71/5039.27	c |   1206456 |     958    99290   430382 | 2147483647   304158     50 |  0.000 % |
5042.11/5043.62	c |   1207419 |     958    99290   430382 | 2147483647   305121     50 |  0.000 % |
5047.21/5048.74	c |   1208473 |     958    99290   430382 | 2147483647   306175     50 |  0.000 % |
5052.81/5054.36	c |   1209631 |     958    99290   430382 | 2147483647   307333     50 |  0.000 % |
5057.81/5059.30	c |   1210904 |     958    99290   430382 | 2147483647   308606     50 |  0.000 % |
5061.51/5063.09	c |   1212304 |     958    99290   430382 | 2147483647   310006     50 |  0.000 % |
5066.31/5067.87	c |   1213844 |     958    99290   430382 | 2147483647   311546     50 |  0.000 % |
5071.81/5073.33	c |   1215540 |     958    99290   430382 | 2147483647   313242     50 |  0.000 % |
5079.90/5081.41	c |   1217405 |     958    99290   430382 | 2147483647   315107     50 |  0.003 % |
5088.00/5089.60	c |   1219454 |     958    99290   430382 | 2147483647   317156     50 |  0.000 % |
5096.70/5098.23	c |   1221707 |     958    99290   430382 | 2147483647   319409     50 |  0.000 % |
5104.90/5106.40	c |   1224185 |     958    99290   430382 | 2147483647   321887     50 |  0.000 % |
5116.49/5118.00	c |   1226910 |     958    99290   430382 | 2147483647   324612     50 |  0.003 % |
5128.69/5130.21	c |   1229907 |     958    99290   430382 | 2147483647   327609     50 |  0.000 % |
5140.99/5142.56	c |   1233205 |     958    99290   430382 | 2147483647   330907     50 |  0.000 % |
5156.48/5158.09	c |   1236831 |     958    99290   430382 | 2147483647   334533     50 |  0.000 % |
5173.07/5174.68	c |   1240821 |     958    99290   430382 | 2147483647   338523     50 |  0.000 % |
5191.58/5193.18	c |   1245206 |     958    99290   430382 | 2147483647   342908     50 |  0.000 % |
5216.07/5217.65	c |   1250032 |     958    99290   430382 | 2147483647   347734     50 |  0.003 % |
5239.56/5241.16	c |   1255337 |     958    99290   430382 | 2147483647   353039     50 |  0.000 % |
5259.25/5260.81	c |   1261175 |     958    99290   430382 | 2147483647   358877     50 |  0.000 % |
5287.15/5288.76	c |   1267593 |     958    99290   430382 | 2147483647   365295     50 |  0.000 % |
5316.14/5317.79	c |   1274652 |     958    99290   430382 | 2147483647   372354     50 |  0.000 % |
5348.43/5350.09	c |   1282417 |     958    99290   430382 | 2147483647   380119     50 |  0.000 % |
5382.12/5383.72	c |   1290957 |     958    99290   430382 | 2147483647   388659     50 |  0.000 % |
5423.31/5424.97	c |   1300351 |     958    99290   430382 | 2147483647   398053     50 |  0.000 % |
5487.49/5489.15	c |   1310685 |     958    99290   430382 |   407702   332453     50 |  0.000 % |
5535.78/5537.50	c |   1322054 |     958    99290   430382 |   341770   300716     49 |  0.000 % |
5536.48/5538.19	c |   1322154 |     958    99290   430382 |   341770   300816     49 |  0.000 % |
5536.88/5538.56	c |   1322264 |     958    99290   430382 |   341770   300926     50 |  0.000 % |
5537.58/5539.22	c |   1322388 |     958    99290   430382 |   341770   301050     50 |  0.000 % |
5538.08/5539.79	c |   1322521 |     958    99290   430382 |   341770   301183     50 |  0.000 % |
5539.88/5541.56	c |   1322672 |     958    99290   430382 |   341770   301334     50 |  0.000 % |
5540.67/5542.35	c |   1322833 |     958    99290   430382 |   341770   301495     50 |  0.000 % |
5541.98/5543.63	c |   1323009 |     958    99290   430382 |   341770   301671     50 |  0.000 % |
5542.57/5544.27	c |   1323202 |     958    99290   430382 |   341770   301864     50 |  0.000 % |
5543.07/5544.79	c |   1323414 |     958    99290   430382 |   341770   302076     50 |  0.000 % |
5544.58/5546.21	c |   1323647 |     958    99290   430382 |   341770   302309     50 |  0.000 % |
5545.68/5547.32	c |   1323903 |     958    99290   430382 |   341770   302565     50 |  0.000 % |
5546.87/5548.50	c |   1324184 |     958    99290   430382 |   341770   302846     50 |  0.000 % |
5547.67/5549.35	c |   1324493 |     958    99290   430382 |   341770   303155     50 |  0.000 % |
5549.47/5551.12	c |   1324833 |     958    99290   430382 |   341770   303495     50 |  0.000 % |
5551.87/5553.55	c |   1325207 |     958    99290   430382 |   341770   303869     50 |  0.000 % |
5553.07/5554.70	c |   1325616 |     958    99290   430382 |   341770   304278     50 |  0.000 % |
5555.97/5557.64	c |   1326069 |     958    99290   430382 |   341770   304731     50 |  0.000 % |
5559.27/5560.97	c |   1326562 |     958    99290   430382 |   341770   305224     50 |  0.000 % |
5561.97/5563.66	c |   1327104 |     958    99290   430382 |   341770   305766     50 |  0.000 % |
5565.47/5567.15	c |   1327700 |     958    99290   430382 |   341770   306362     50 |  0.000 % |
5567.67/5569.36	c |   1328356 |     958    99290   430382 |   341770   307018     50 |  0.000 % |
5570.76/5572.48	c |   1329076 |     958    99290   430382 |   341770   307738     50 |  0.000 % |
5572.96/5574.69	c |   1329868 |     958    99290   430382 |   341770   308530     50 |  0.000 % |
5579.66/5581.39	c |   1330740 |     958    99290   430382 |   308663   261540     51 |  0.000 % |
5584.16/5585.89	c |   1331698 |     958    99290   430382 |   308663   262498     51 |  0.000 % |
5590.06/5591.80	c |   1332752 |     958    99290   430382 |   308663   263552     51 |  0.000 % |
5595.35/5597.06	c |   1333910 |     958    99290   430382 |   308663   264710     51 |  0.000 % |
5603.15/5604.85	c |   1335184 |     958    99290   430382 |   308663   265984     51 |  0.000 % |
5607.85/5609.56	c |   1336585 |     958    99290   430382 |   308663   267385     51 |  0.000 % |
5619.25/5620.94	c |   1338127 |     958    99290   430382 |   308663   268927     51 |  0.000 % |
5630.45/5632.13	c |   1339823 |     958    99290   430382 |   308663   270623     51 |  0.001 % |
5641.95/5643.68	c |   1341686 |     958    99290   430382 |   270801   213718     52 |  0.000 % |
5650.85/5652.58	c |   1343735 |     958    99290   430382 |   270801   215767     52 |  0.000 % |
5660.94/5662.67	c |   1345990 |     958    99290   430382 |   270801   218022     53 |  0.000 % |
5673.14/5674.89	c |   1348469 |     958    99290   430382 |   270801   220501     53 |  0.000 % |
5686.53/5688.20	c |   1351196 |     958    99290   430382 |   222032   192890     53 |  0.000 % |
5702.03/5703.76	c |   1354194 |     958    99290   430382 |   222032   195888     53 |  0.000 % |
5717.13/5718.83	c |   1357490 |     958    99290   430382 |   222032   199184     53 |  0.000 % |
5737.32/5739.02	c |   1361116 |     958    99290   430382 |   201694   176057     53 |  0.000 % |
5757.92/5759.64	c |   1365103 |     958    99290   430382 |   201694   180044     53 |  0.000 % |
5773.31/5775.04	c |   1369488 |     958    99290   430382 |   201694   184429     53 |  0.000 % |
5791.10/5792.87	c |   1374313 |     958    99290   430382 |   184941   160372     54 |  0.000 % |
5817.89/5819.61	c |   1379618 |     958    99290   430382 |   184941   165677     54 |  0.000 % |
5848.48/5850.24	c |   1385455 |     958    99290   430382 |   166060   139820     55 |  0.000 % |
5882.18/5883.95	c |   1391873 |     958    99290   430382 |   144367   117320     56 |  0.000 % |
5909.36/5911.10	c |   1398932 |     958    99290   430382 |   144367   124379     56 |  0.000 % |
5949.26/5951.01	c |   1406696 |     958    99290   430382 |   125447   110906     57 |  0.000 % |
5993.94/5995.71	c |   1415237 |     958    99290   430382 |   114210    98031     57 |  0.000 % |
6032.34/6034.12	c |   1424631 |     958    99290   430382 |   102795    92158     57 |  0.000 % |
6090.82/6092.68	c |   1434965 |     958    99290   430382 |    97527    80793     56 |  0.000 % |
6117.31/6119.10	c |   1446331 |     958    99290   430382 |    85829    79979     56 |  0.000 % |
6175.29/6177.19	c |   1458833 |     958    99290   430382 | 2147483647    92481     56 |  0.000 % |
6176.09/6177.97	c |   1458933 |     958    99290   430382 | 2147483647    92581     56 |  0.000 % |
6176.59/6178.48	c |   1459045 |     958    99290   430382 | 2147483647    92693     56 |  0.000 % |
6177.69/6179.53	c |   1459166 |     958    99290   430382 | 2147483647    92814     56 |  0.000 % |
6177.90/6179.80	c |   1459299 |     958    99290   430382 | 2147483647    92947     56 |  0.000 % |
6178.19/6180.09	c |   1459445 |     958    99290   430382 | 2147483647    93093     56 |  0.000 % |
6179.00/6180.88	c |   1459605 |     958    99290   430382 | 2147483647    93253     56 |  0.000 % |
6179.79/6181.64	c |   1459785 |     958    99290   430382 | 2147483647    93433     56 |  0.000 % |
6180.89/6182.72	c |   1459980 |     958    99290   430382 | 2147483647    93628     56 |  0.000 % |
6182.69/6184.57	c |   1460194 |     958    99290   430382 |    93649    80644     56 |  0.000 % |
6183.89/6185.79	c |   1460427 |     958    99290   430382 |    93649    80877     56 |  0.000 % |
6185.09/6186.99	c |   1460683 |     958    99290   430382 |    93649    81133     56 |  0.000 % |
6186.59/6188.42	c |   1460964 |     958    99290   430382 |    93649    81414     56 |  0.000 % |
6187.79/6189.63	c |   1461273 |     958    99290   430382 |    93649    81723     56 |  0.000 % |
6188.99/6190.80	c |   1461612 |     958    99290   430382 |    93649    82062     56 |  0.000 % |
6190.89/6192.79	c |   1461985 |     958    99290   430382 |    93649    82435     56 |  0.000 % |
6192.69/6194.54	c |   1462394 |     958    99290   430382 |    93649    82844     56 |  0.001 % |
6195.29/6197.14	c |   1462843 |     958    99290   430382 |    93649    83293     56 |  0.000 % |
6196.29/6198.17	c |   1463336 |     958    99290   430382 |    93649    83786     56 |  0.000 % |
6198.69/6200.56	c |   1463881 |     958    99290   430382 |    93649    84331     56 |  0.000 % |
6200.59/6202.47	c |   1464477 |     958    99290   430382 |    93649    84927     56 |  0.000 % |
6203.19/6205.02	c |   1465132 |     958    99290   430382 |    93649    85582     56 |  0.001 % |
6205.39/6207.25	c |   1465853 |     958    99290   430382 |    93649    86303     56 |  0.000 % |
6209.79/6211.64	c |   1466647 |     958    99290   430382 |    93649    87097     56 |  0.000 % |
6213.38/6215.26	c |   1467519 |     958    99290   430382 |    93649    87969     56 |  0.000 % |
6217.38/6219.25	c |   1468480 |     958    99290   430382 |    93649    88930     56 |  0.000 % |
6221.78/6223.70	c |   1469534 |     958    99290   430382 |    93649    89984     56 |  0.000 % |
6230.88/6232.74	c |   1470694 |     958    99290   430382 | 2147483647    91144     56 |  0.000 % |
6240.37/6242.27	c |   1471970 |     958    99290   430382 | 2147483647    92420     56 |  0.000 % |
6248.87/6250.77	c |   1473370 |     958    99290   430382 | 2147483647    93820     56 |  0.000 % |
6251.97/6253.82	c |   1474912 |     958    99290   430382 | 2147483647    95362     56 |  0.000 % |
6254.27/6256.13	c |   1476606 |     958    99290   430382 | 2147483647    97056     56 |  0.000 % |
6256.48/6258.32	c |   1478469 |     958    99290   430382 | 2147483647    98919     56 |  0.028 % |
6260.38/6262.25	c |   1480520 |     958    99290   430382 |   100451    82901     56 |  0.000 % |
6264.37/6266.26	c |   1482775 |     958    99290   430382 |   100451    85156     56 |  0.000 % |
6268.08/6269.97	c |   1485256 |     958    99290   430382 |   100451    87637     56 |  0.000 % |
6271.38/6273.25	c |   1487981 |     958    99290   430382 |   100451    90362     56 |  0.000 % |
6274.77/6276.61	c |   1490980 |     958    99290   430382 | 2147483647    93361     56 |  0.000 % |
6278.77/6280.64	c |   1494276 |     958    99290   430382 | 2147483647    96657     56 |  0.000 % |
6283.87/6285.76	c |   1497904 |     958    99290   430382 | 2147483647   100285     56 |  0.000 % |
6288.27/6290.10	c |   1501891 |     958    99290   430382 | 2147483647   104272     56 |  0.000 % |
6297.87/6299.71	c |   1506276 |     958    99290   430382 | 2147483647   108657     56 |  0.000 % |
6313.86/6315.78	c |   1511099 |     958    99290   430382 |   112383    93891     56 |  0.000 % |
6329.66/6331.54	c |   1516406 |     958    99290   430382 |   112383    99198     56 |  0.000 % |
6346.05/6347.94	c |   1522241 |     958    99290   430382 |   102792    79964     56 |  0.000 % |
6364.54/6366.43	c |   1528659 |     958    99290   430382 |   102792    86382     57 |  0.000 % |
6394.23/6396.16	c |   1535720 |     958    99290   430382 |    87723    68824     57 |  0.000 % |
6435.42/6437.38	c |   1543488 |     958    99290   430382 |    73104    52024     57 |  0.000 % |
6468.11/6470.01	c |   1552028 |     958    99290   430382 |    58536    40774     60 |  0.000 % |
6492.41/6494.31	c |   1561424 |     958    99290   430382 |    48746    37561     61 |  0.000 % |
6525.70/6527.68	c |   1571762 |     958    99290   430382 |    46137    35369     61 |  0.000 % |
6555.89/6557.86	c |   1583129 |     958    99290   430382 |    43607    35417     60 |  0.000 % |
6586.19/6588.17	c |   1595631 |     958    99290   430382 |    42291    37036     59 |  0.000 % |
6597.08/6599.02	c |   1609385 |     958    99290   430382 | 2147483647    50790     60 |  0.000 % |
6597.58/6599.51	c |   1609485 |     958    99290   430382 | 2147483647    50890     60 |  0.000 % |
6598.38/6600.33	c |   1609596 |     958    99290   430382 | 2147483647    51001     60 |  0.000 % |
6599.19/6601.19	c |   1609718 |     958    99290   430382 | 2147483647    51123     60 |  0.000 % |
6600.08/6602.06	c |   1609852 |     958    99290   430382 | 2147483647    51257     60 |  0.000 % |
6600.78/6602.78	c |   1609999 |     958    99290   430382 | 2147483647    51404     60 |  0.000 % |
6602.08/6604.01	c |   1610159 |     958    99290   430382 | 2147483647    51564     60 |  0.000 % |
6603.38/6605.36	c |   1610336 |     958    99290   430382 | 2147483647    51741     61 |  0.000 % |
6604.98/6606.90	c |   1610531 |     958    99290   430382 | 2147483647    51936     61 |  0.000 % |
6606.58/6608.54	c |   1610744 |     958    99290   430382 | 2147483647    52149     61 |  0.000 % |
6607.78/6609.76	c |   1610979 |     958    99290   430382 | 2147483647    52384     61 |  0.000 % |
6609.18/6611.14	c |   1611238 |     958    99290   430382 | 2147483647    52643     61 |  0.000 % |
6610.48/6612.46	c |   1611521 |     958    99290   430382 | 2147483647    52926     61 |  0.000 % |
6611.78/6613.73	c |   1611831 |     958    99290   430382 | 2147483647    53236     61 |  0.000 % |
6614.18/6616.11	c |   1612171 |     958    99290   430382 | 2147483647    53576     61 |  0.000 % |
6616.78/6618.78	c |   1612545 |     958    99290   430382 | 2147483647    53950     61 |  0.000 % |
6619.58/6621.57	c |   1612955 |     958    99290   430382 | 2147483647    54360     61 |  0.000 % |
6623.28/6625.27	c |   1613406 |     958    99290   430382 | 2147483647    54811     61 |  0.000 % |
6626.07/6628.10	c |   1613899 |     958    99290   430382 | 2147483647    55304     61 |  0.000 % |
6629.47/6631.45	c |   1614443 |     958    99290   430382 | 2147483647    55848     61 |  0.000 % |
6633.57/6635.54	c |   1615041 |     958    99290   430382 | 2147483647    56446     61 |  0.000 % |
6638.07/6640.06	c |   1615697 |     958    99290   430382 | 2147483647    57102     61 |  0.000 % |
6641.97/6643.92	c |   1616417 |     958    99290   430382 | 2147483647    57822     61 |  0.000 % |
6647.07/6649.04	c |   1617210 |     958    99290   430382 | 2147483647    58615     61 |  0.000 % |
6651.47/6653.44	c |   1618083 |     958    99290   430382 | 2147483647    59488     61 |  0.000 % |
6657.86/6659.82	c |   1619042 |     958    99290   430382 | 2147483647    60447     61 |  0.000 % |
6665.76/6667.77	c |   1620095 |     958    99290   430382 |    61406    61500     61 |  0.000 % |
6672.46/6674.43	c |   1621253 |     958    99290   430382 |    61406    40434     61 |  0.000 % |
6676.96/6678.98	c |   1622528 |     958    99290   430382 |    61406    41709     61 |  0.000 % |
6681.56/6683.51	c |   1623931 |     958    99290   430382 |    61406    43112     61 |  0.000 % |
6686.36/6688.37	c |   1625472 |     958    99290   430382 |    61406    44653     61 |  0.000 % |
6694.05/6696.02	c |   1627166 |     958    99290   430382 |    61406    46347     61 |  0.000 % |
6701.55/6703.57	c |   1629029 |     958    99290   430382 |    61406    48210     61 |  0.000 % |
6709.85/6711.83	c |   1631079 |     958    99290   430382 |    49181    34329     63 |  0.000 % |
6716.85/6718.89	c |   1633332 |     958    99290   430382 |    49181    36582     63 |  0.000 % |
6723.04/6725.01	c |   1635810 |     958    99290   430382 |    49181    39060     62 |  0.000 % |
6732.64/6734.63	c |   1638537 |     958    99290   430382 |    49181    41787     62 |  0.000 % |
6744.13/6746.16	c |   1641537 |     958    99290   430382 |    43250    34117     60 |  0.000 % |
6752.73/6754.71	c |   1644834 |     958    99290   430382 |    43250    37414     59 |  0.000 % |
6760.93/6762.92	c |   1648460 |     958    99290   430382 |    43250    41040     59 |  0.000 % |
6770.63/6772.70	c |   1652447 |     958    99290   430382 |    42581    37187     58 |  0.000 % |
6779.03/6781.03	c |   1656834 |     958    99290   430382 |    42581    41574     57 |  0.000 % |
6784.72/6786.73	c |   1661657 |     958    99290   430382 |    39321    37001     55 |  0.000 % |
6800.22/6802.22	c |   1666962 |     958    99290   430382 |    39321    35809     55 |  0.000 % |
6816.92/6818.93	c |   1672798 |     958    99290   430382 |    38848    34214     54 |  0.000 % |
6828.21/6830.24	c |   1679216 |     958    99290   430382 |    38848    33453     54 |  0.000 % |
6840.41/6842.49	c |   1686275 |     958    99290   430382 |    34239    30931     56 |  0.000 % |
6847.61/6849.61	c |   1694040 |     958    99290   430382 | 2147483647    38696     55 |  0.000 % |
6863.30/6865.30	c |   1702580 |     958    99290   430382 | 2147483647    47236     54 |  0.000 % |
6876.80/6878.82	c |   1711974 |     958    99290   430382 | 2147483647    56630     53 |  0.000 % |
6889.10/6891.20	c |   1722308 |     958    99290   430382 | 2147483647    66964     52 |  0.000 % |
6901.60/6903.62	c |   1733677 |     958    99290   430382 | 2147483647    78333     51 |  0.000 % |
6925.69/6927.71	c |   1746179 |     958    99290   430382 | 2147483647    90835     50 |  0.000 % |
6958.58/6960.67	c |   1759931 |     958    99290   430382 | 2147483647   104587     50 |  0.000 % |
6977.17/6979.30	c |   1775058 |     958    99290   430382 | 2147483647   119714     50 |  0.000 % |
6977.67/6979.71	c |   1775159 |     958    99290   430382 | 2147483647   119815     50 |  0.000 % |
6978.07/6980.18	c |   1775271 |     958    99290   430382 | 2147483647   119927     50 |  0.000 % |
6978.57/6980.65	c |   1775395 |     958    99290   430382 | 2147483647   120051     50 |  0.000 % |
6979.37/6981.40	c |   1775528 |     958    99290   430382 | 2147483647   120184     50 |  0.000 % |
6979.77/6981.86	c |   1775675 |     958    99290   430382 | 2147483647   120331     50 |  0.000 % |
6980.87/6982.99	c |   1775837 |     958    99290   430382 | 2147483647   120493     50 |  0.000 % |
6982.17/6984.26	c |   1776013 |     958    99290   430382 | 2147483647   120669     50 |  0.000 % |
6983.26/6985.36	c |   1776206 |     958    99290   430382 | 2147483647   120862     50 |  0.000 % |
6984.56/6986.66	c |   1776420 |     958    99290   430382 | 2147483647   121076     50 |  0.000 % |
6986.17/6988.26	c |   1776654 |     958    99290   430382 | 2147483647   121310     50 |  0.000 % |
6987.86/6989.99	c |   1776910 |     958    99290   430382 | 2147483647   121566     50 |  0.000 % |
6989.66/6991.72	c |   1777193 |     958    99290   430382 | 2147483647   121849     50 |  0.000 % |
6991.86/6993.94	c |   1777502 |     958    99290   430382 | 2147483647   122158     50 |  0.000 % |
6994.76/6996.88	c |   1777844 |     958    99290   430382 | 2147483647   122500     50 |  0.000 % |
6997.46/6999.51	c |   1778216 |     958    99290   430382 | 2147483647   122872     50 |  0.000 % |
6998.26/7000.32	c |   1778625 |     958    99290   430382 | 2147483647   123281     50 |  0.000 % |
6998.96/7001.04	c |   1779074 |     958    99290   430382 | 2147483647   123730     50 |  0.000 % |
7001.06/7003.15	c |   1779568 |     958    99290   430382 | 2147483647   124224     50 |  0.000 % |
7004.96/7007.07	c |   1780110 |     958    99290   430382 | 2147483647   124766     50 |  0.000 % |
7005.96/7008.08	c |   1780708 |     958    99290   430382 | 2147483647   125364     50 |  0.000 % |
7006.86/7008.93	c |   1781363 |     958    99290   430382 | 2147483647   126019     50 |  0.000 % |
7007.56/7009.68	c |   1782084 |     958    99290   430382 | 2147483647   126740     51 |  0.000 % |
7011.46/7013.54	c |   1782876 |     958    99290   430382 | 2147483647   127532     51 |  0.000 % |
7016.35/7018.41	c |   1783747 |     958    99290   430382 | 2147483647   128403     51 |  0.000 % |
7020.36/7022.45	c |   1784705 |     958    99290   430382 | 2147483647   129361     51 |  0.000 % |
7023.35/7025.46	c |   1785758 |     958    99290   430382 | 2147483647   130414     51 |  0.000 % |
7031.35/7033.44	c |   1786916 |     958    99290   430382 | 2147483647   131572     51 |  0.000 % |
7039.54/7041.69	c |   1788189 |     958    99290   430382 | 2147483647   132845     51 |  0.000 % |
7043.14/7045.21	c |   1789589 |     958    99290   430382 | 2147483647   134245     51 |  0.001 % |
7050.74/7052.87	c |   1791130 |     958    99290   430382 | 2147483647   135786     51 |  0.000 % |
7060.04/7062.13	c |   1792824 |     958    99290   430382 | 2147483647   137480     51 |  0.000 % |
7071.34/7073.49	c |   1794689 |     958    99290   430382 | 2147483647   139345     51 |  0.000 % |
7080.44/7082.51	c |   1796738 |     958    99290   430382 | 2147483647   141394     51 |  0.000 % |
7091.74/7093.86	c |   1798992 |     958    99290   430382 | 2147483647   143648     52 |  0.000 % |
7103.13/7105.24	c |   1801470 |     958    99290   430382 |   144658   130238     51 |  0.000 % |
7114.93/7117.06	c |   1804196 |     958    99290   430382 |   144658   132964     51 |  0.000 % |
7126.23/7128.35	c |   1807197 |     958    99290   430382 |   144658   135965     51 |  0.000 % |
7138.52/7140.63	c |   1810494 |     958    99290   430382 | 2147483647   139262     51 |  0.000 % |
7152.72/7154.82	c |   1814119 |     958    99290   430382 | 2147483647   142887     51 |  0.000 % |
7171.61/7173.77	c |   1818106 |     958    99290   430382 | 2147483647   146874     52 |  0.000 % |
7192.61/7194.77	c |   1822492 |     958    99290   430382 |   148768   127388     52 |  0.000 % |
7205.80/7207.94	c |   1827315 |     958    99290   430382 |   148768   132211     52 |  0.000 % |
7219.99/7222.17	c |   1832624 |     958    99290   430382 |   134896   123999     52 |  0.000 % |
7232.79/7234.94	c |   1838462 |     958    99290   430382 |   134896   129837     53 |  0.000 % |
7247.29/7249.49	c |   1844880 |     958    99290   430382 | 2147483647   136255     53 |  0.000 % |
7269.39/7271.59	c |   1851943 |     958    99290   430382 | 2147483647   143318     53 |  0.000 % |
7303.18/7305.37	c |   1859707 |     958    99290   430382 | 2147483647   151082     54 |  0.000 % |
7346.77/7348.91	c |   1868247 |     958    99290   430382 | 2147483647   159622     54 |  0.000 % |
7389.46/7391.62	c |   1877642 |     958    99290   430382 |   161378   150785     55 |  0.000 % |
7430.14/7432.31	c |   1887978 |     958    99290   430382 |   153143   135607     57 |  0.000 % |
7478.03/7480.25	c |   1899344 |     958    99290   430382 |   137631   127447     58 |  0.000 % |
7518.82/7521.02	c |   1911846 |     958    99290   430382 | 2147483647   123745     58 |  0.000 % |
7605.49/7607.78	c |   1925598 |     958    99290   430382 |   131900   103218     59 |  0.000 % |
7666.28/7668.50	c |   1940726 |     958    99290   430382 | 2147483647    88970     58 |  0.000 % |
7732.77/7735.06	c |   1957365 |     958    99290   430382 |    98244    92870     59 |  0.000 % |
7733.37/7735.60	c |   1957465 |     958    99290   430382 |    98244    92970     59 |  0.000 % |
7733.77/7736.06	c |   1957576 |     958    99290   430382 |    98244    93081     59 |  0.000 % |
7734.57/7736.88	c |   1957697 |     958    99290   430382 |    98244    93202     59 |  0.000 % |
7735.17/7737.45	c |   1957831 |     958    99290   430382 |    98244    93336     59 |  0.000 % |
7735.76/7738.08	c |   1957978 |     958    99290   430382 |    98244    93483     59 |  0.000 % |
7736.66/7738.97	c |   1958140 |     958    99290   430382 |    98244    93645     59 |  0.000 % |
7737.66/7739.91	c |   1958317 |     958    99290   430382 |    98244    93822     59 |  0.000 % |
7738.56/7740.86	c |   1958511 |     958    99290   430382 |    98244    94016     59 |  0.000 % |
7739.76/7742.06	c |   1958723 |     958    99290   430382 |    98244    94228     59 |  0.000 % |
7740.96/7743.25	c |   1958957 |     958    99290   430382 |    98244    94462     59 |  0.000 % |
7742.26/7744.50	c |   1959214 |     958    99290   430382 |    98244    94719     59 |  0.000 % |
7743.56/7745.84	c |   1959497 |     958    99290   430382 |    98244    95002     59 |  0.000 % |
7745.06/7747.37	c |   1959807 |     958    99290   430382 |    98244    95312     59 |  0.000 % |
7746.86/7749.18	c |   1960146 |     958    99290   430382 | 2147483647    95651     59 |  0.000 % |
7748.37/7750.69	c |   1960518 |     958    99290   430382 | 2147483647    96023     59 |  0.000 % |
7750.46/7752.76	c |   1960927 |     958    99290   430382 | 2147483647    96432     59 |  0.000 % |
7752.66/7754.92	c |   1961377 |     958    99290   430382 | 2147483647    96882     59 |  0.000 % |
7754.76/7757.07	c |   1961870 |     958    99290   430382 | 2147483647    97375     59 |  0.000 % |
7757.66/7759.97	c |   1962413 |     958    99290   430382 | 2147483647    97918     59 |  0.000 % |
7760.46/7762.75	c |   1963012 |     958    99290   430382 | 2147483647    98517     59 |  0.000 % |
7763.35/7765.61	c |   1963668 |     958    99290   430382 | 2147483647    99173     59 |  0.000 % |
7766.75/7769.10	c |   1964389 |     958    99290   430382 | 2147483647    99894     59 |  0.000 % |
7770.95/7773.27	c |   1965181 |     958    99290   430382 | 2147483647   100686     59 |  0.000 % |
7775.25/7777.54	c |   1966052 |     958    99290   430382 | 2147483647   101557     59 |  0.000 % |
7780.15/7782.46	c |   1967010 |     958    99290   430382 | 2147483647   102515     59 |  0.000 % |
7785.75/7788.02	c |   1968063 |     958    99290   430382 | 2147483647   103568     59 |  0.000 % |
7791.94/7794.25	c |   1969222 |     958    99290   430382 | 2147483647   104727     58 |  0.000 % |
7798.04/7800.31	c |   1970495 |     958    99290   430382 |   105506    90879     58 |  0.000 % |
7803.35/7805.66	c |   1971895 |     958    99290   430382 |   105506    92279     58 |  0.000 % |
7808.64/7810.96	c |   1973435 |     958    99290   430382 |   105506    93819     58 |  0.000 % |
7815.04/7817.33	c |   1975129 |     958    99290   430382 |   105506    95513     58 |  0.000 % |
7821.74/7824.02	c |   1976992 |     958    99290   430382 |   105506    97376     57 |  0.000 % |
7824.54/7826.87	c |   1979042 |     958    99290   430382 |   105506    99426     57 |  0.000 % |
7841.83/7844.17	c |   1981296 |     958    99290   430382 | 2147483647   101680     58 |  0.000 % |
7850.43/7852.77	c |   1983777 |     958    99290   430382 | 2147483647   104161     58 |  0.000 % |
7871.52/7873.86	c |   1986504 |     958    99290   430382 | 2147483647   106888     58 |  0.000 % |
7885.32/7887.65	c |   1989501 |     958    99290   430382 | 2147483647   109885     58 |  0.000 % |
7895.51/7897.87	c |   1992797 |     958    99290   430382 | 2147483647   113181     58 |  0.000 % |
7902.71/7905.03	c |   1996423 |     958    99290   430382 | 2147483647   116807     58 |  0.000 % |
7910.21/7912.59	c |   2000412 |     958    99290   430382 | 2147483647   120796     58 |  0.000 % |
7914.91/7917.29	c |   2004800 |     958    99290   430382 | 2147483647   125184     58 |  0.000 % |
7920.11/7922.49	c |   2009624 |     958    99290   430382 | 2147483647   130008     58 |  0.000 % |
7932.01/7934.31	c |   2014929 |     958    99290   430382 | 2147483647   135313     58 |  0.000 % |
7937.00/7939.39	c |   2020765 |     958    99290   430382 | 2147483647   141149     58 |  0.000 % |
7943.30/7945.67	c |   2027184 |     958    99290   430382 | 2147483647   147568     58 |  0.000 % |
7981.69/7984.01	c |   2034243 |     958    99290   430382 | 2147483647   154627     58 |  0.000 % |
8024.78/8027.15	c |   2042011 |     958    99290   430382 |   160385   140870     58 |  0.000 % |
8069.48/8071.86	c |   2050553 |     958    99290   430382 | 2147483647   149412     59 |  0.000 % |
8094.26/8096.60	c |   2059948 |     958    99290   430382 | 2147483647   158807     59 |  0.000 % |
8151.45/8153.81	c |   2070281 |     958    99290   430382 | 2147483647   169140     59 |  0.000 % |
8181.64/8184.00	c |   2081647 |     958    99290   430382 | 2147483647   180506     58 |  0.000 % |
8255.92/8258.33	c |   2094154 |     958    99290   430382 | 2147483647   193013     58 |  0.000 % |
8347.39/8349.81	c |   2107907 |     958    99290   430382 | 2147483647   206766     57 |  0.000 % |
8428.27/8430.70	c |   2123036 |     958    99290   430382 | 2147483647   221895     57 |  0.000 % |
8519.44/8521.97	c |   2139677 |     958    99290   430382 | 2147483647   238536     58 |  0.000 % |
8631.51/8634.00	c |   2157981 |     958    99290   430382 | 2147483647   256840     58 |  0.000 % |
8631.91/8634.41	c |   2158081 |     958    99290   430382 | 2147483647   256940     58 |  0.000 % |
8632.81/8635.40	c |   2158192 |     958    99290   430382 | 2147483647   257051     58 |  0.000 % |
8633.91/8636.45	c |   2158313 |     958    99290   430382 | 2147483647   257172     58 |  0.000 % |
8635.01/8637.54	c |   2158447 |     958    99290   430382 | 2147483647   257306     58 |  0.000 % |
8635.51/8638.00	c |   2158593 |     958    99290   430382 | 2147483647   257452     58 |  0.000 % |
8636.82/8639.38	c |   2158753 |     958    99290   430382 | 2147483647   257612     58 |  0.000 % |
8638.31/8640.86	c |   2158929 |     958    99290   430382 | 2147483647   257788     58 |  0.000 % |
8639.01/8641.52	c |   2159122 |     958    99290   430382 | 2147483647   257981     58 |  0.000 % |
8639.91/8642.45	c |   2159335 |     958    99290   430382 | 2147483647   258194     58 |  0.000 % |
8640.91/8643.46	c |   2159569 |     958    99290   430382 | 2147483647   258428     58 |  0.000 % |
8643.31/8645.90	c |   2159825 |     958    99290   430382 | 2147483647   258684     58 |  0.000 % |
8645.61/8648.12	c |   2160106 |     958    99290   430382 | 2147483647   258965     58 |  0.000 % |
8647.41/8649.93	c |   2160415 |     958    99290   430382 | 2147483647   259274     58 |  0.000 % |
8649.81/8652.36	c |   2160756 |     958    99290   430382 | 2147483647   259615     58 |  0.000 % |
8652.21/8654.74	c |   2161128 |     958    99290   430382 | 2147483647   259987     58 |  0.000 % |
8654.71/8657.21	c |   2161540 |     958    99290   430382 | 2147483647   260399     58 |  0.000 % |
8658.31/8660.88	c |   2161989 |     958    99290   430382 | 2147483647   260848     58 |  0.000 % |
8662.00/8664.51	c |   2162483 |     958    99290   430382 | 2147483647   261342     58 |  0.000 % |
8664.11/8666.65	c |   2163028 |     958    99290   430382 | 2147483647   261887     58 |  0.000 % |
8668.10/8670.68	c |   2163625 |     958    99290   430382 | 2147483647   262484     58 |  0.000 % |
8673.40/8675.95	c |   2164281 |     958    99290   430382 | 2147483647   263140     58 |  0.000 % |
8678.60/8681.14	c |   2165001 |     958    99290   430382 | 2147483647   263860     58 |  0.000 % |
8683.40/8685.95	c |   2165793 |     958    99290   430382 | 2147483647   264652     58 |  0.000 % |
8687.30/8689.86	c |   2166664 |     958    99290   430382 | 2147483647   265523     58 |  0.000 % |
8694.10/8696.62	c |   2167622 |     958    99290   430382 | 2147483647   266481     58 |  0.000 % |
8700.19/8702.74	c |   2168675 |     958    99290   430382 | 2147483647   267534     58 |  0.000 % |
8705.49/8708.01	c |   2169833 |     958    99290   430382 | 2147483647   268692     58 |  0.000 % |
8710.99/8713.51	c |   2171107 |     958    99290   430382 |   268860   231684     58 |  0.000 % |
8716.49/8719.03	c |   2172508 |     958    99290   430382 |   268860   233085     58 |  0.000 % |
8723.99/8726.54	c |   2174048 |     958    99290   430382 |   268860   234625     58 |  0.000 % |
8732.28/8734.85	c |   2175744 |     958    99290   430382 |   268860   236321     58 |  0.000 % |
8742.18/8744.72	c |   2177609 |     958    99290   430382 |   268860   238186     58 |  0.000 % |
8752.28/8754.83	c |   2179658 |     958    99290   430382 |   268860   240235     58 |  0.000 % |
8760.77/8763.35	c |   2181914 |     958    99290   430382 | 2147483647   242491     58 |  0.000 % |
8770.37/8772.99	c |   2184393 |     958    99290   430382 | 2147483647   244970     58 |  0.000 % |
8786.26/8788.85	c |   2187118 |     958    99290   430382 | 2147483647   247695     59 |  0.000 % |
8802.96/8805.50	c |   2190118 |     958    99290   430382 |   250577   250695     59 |  0.000 % |
8820.35/8822.95	c |   2193414 |     958    99290   430382 |   250577   221533     59 |  0.000 % |
8837.75/8840.37	c |   2197039 |     958    99290   430382 |   250577   225158     59 |  0.000 % |
8855.24/8857.89	c |   2201026 |     958    99290   430382 |   228121   202586     58 |  0.000 % |
8867.54/8870.13	c |   2205411 |     958    99290   430382 |   228121   206971     58 |  0.000 % |
8887.04/8889.67	c |   2210236 |     958    99290   430382 | 2147483647   211796     58 |  0.000 % |
8921.64/8924.24	c |   2215545 |     958    99290   430382 | 2147483647   217105     58 |  0.000 % |
8973.72/8976.39	c |   2221380 |     958    99290   430382 | 2147483647   222940     59 |  0.000 % |
9025.60/9028.21	c |   2227799 |     958    99290   430382 | 2147483647   229359     59 |  0.000 % |
9085.79/9088.41	c |   2234864 |     958    99290   430382 |   231561   198398     60 |  0.000 % |
9134.47/9137.15	c |   2242634 |     958    99290   430382 |   203535   177846     60 |  0.000 % |
9197.05/9199.70	c |   2251176 |     958    99290   430382 | 2147483647   186388     60 |  0.000 % |
9274.24/9276.94	c |   2260572 |     958    99290   430382 | 2147483647   195784     60 |  0.000 % |
9306.53/9309.27	c |   2270905 |     958    99290   430382 | 2147483647   206117     60 |  0.000 % |
9394.51/9397.23	c |   2282273 |     958    99290   430382 | 2147483647   217485     60 |  0.000 % |
9457.29/9460.05	c |   2294776 |     958    99290   430382 | 2147483647   229988     60 |  0.000 % |
9540.36/9543.12	c |   2308529 |     958    99290   430382 | 2147483647   243741     61 |  0.000 % |
9642.33/9645.11	c |   2323656 |     958    99290   430382 | 2147483647   258868     61 |  0.000 % |
9757.51/9760.32	c |   2340295 |     958    99290   430382 | 2147483647   233607     61 |  0.000 % |
9868.78/9871.60	c |   2358599 |     958    99290   430382 | 2147483647   251911     60 |  0.000 % |

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-1837558-1242877077/watcher-1837558-1242877077 -o /tmp/evaluation-result-1837558-1242877077/solver-1837558-1242877077 -C 10000 -W 12000 -M 1800 SatELiteGTI HOME/instance-1837558-1242877077.cnf 

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


[startup+0 s]
/proc/loadavg: 0.85 0.97 0.98 3/64 29636
/proc/meminfo: memFree=1509632/2055920 swapFree=4180352/4192956
[pid=29636] ppid=29634 vsize=5356 CPUtime=0
/proc/29636/stat : 29636 (SatELiteGTI) S 29634 29636 29599 0 -1 4194304 310 249 0 0 0 0 0 0 18 0 1 0 315735243 5484544 237 1992294400 4194304 4889804 548682068816 18446744073709551615 235371291460 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/29636/statm: 1339 237 197 169 0 50 0

[startup+0.058208 s]
/proc/loadavg: 0.85 0.97 0.98 3/64 29636
/proc/meminfo: memFree=1509632/2055920 swapFree=4180352/4192956
[pid=29636] ppid=29634 vsize=5356 CPUtime=0
/proc/29636/stat : 29636 (SatELiteGTI) S 29634 29636 29599 0 -1 4194304 310 249 0 0 0 0 0 0 18 0 1 0 315735243 5484544 237 1992294400 4194304 4889804 548682068816 18446744073709551615 235371291460 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/29636/statm: 1339 237 197 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356

[startup+0.101211 s]
/proc/loadavg: 0.85 0.97 0.98 3/64 29636
/proc/meminfo: memFree=1509632/2055920 swapFree=4180352/4192956
[pid=29636] ppid=29634 vsize=5356 CPUtime=0
/proc/29636/stat : 29636 (SatELiteGTI) S 29634 29636 29599 0 -1 4194304 310 249 0 0 0 0 0 0 18 0 1 0 315735243 5484544 237 1992294400 4194304 4889804 548682068816 18446744073709551615 235371291460 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/29636/statm: 1339 237 197 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356

[startup+0.301229 s]
/proc/loadavg: 0.85 0.97 0.98 3/64 29636
/proc/meminfo: memFree=1509632/2055920 swapFree=4180352/4192956
[pid=29636] ppid=29634 vsize=5356 CPUtime=0
/proc/29636/stat : 29636 (SatELiteGTI) S 29634 29636 29599 0 -1 4194304 310 249 0 0 0 0 0 0 18 0 1 0 315735243 5484544 237 1992294400 4194304 4889804 548682068816 18446744073709551615 235371291460 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/29636/statm: 1339 237 197 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356

[startup+0.701264 s]
/proc/loadavg: 0.85 0.97 0.98 3/64 29636
/proc/meminfo: memFree=1509632/2055920 swapFree=4180352/4192956
[pid=29636] ppid=29634 vsize=5356 CPUtime=0
/proc/29636/stat : 29636 (SatELiteGTI) S 29634 29636 29599 0 -1 4194304 310 249 0 0 0 0 0 0 18 0 1 0 315735243 5484544 237 1992294400 4194304 4889804 548682068816 18446744073709551615 235371291460 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/29636/statm: 1339 237 197 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356

[startup+1.50135 s]
/proc/loadavg: 0.85 0.97 0.98 2/66 29641
/proc/meminfo: memFree=1498736/2055920 swapFree=4180352/4192956
[pid=29636] ppid=29634 vsize=5356 CPUtime=1.08
/proc/29636/stat : 29636 (SatELiteGTI) S 29634 29636 29599 0 -1 4194304 336 2955 0 0 0 0 106 2 16 0 1 0 315735243 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 235371291460 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/29636/statm: 1339 239 197 169 0 50 0
Current children cumulated CPU time (s) 1.08
Current children cumulated vsize (KiB) 5356

[startup+3.10148 s]
/proc/loadavg: 0.85 0.97 0.98 2/66 29642
/proc/meminfo: memFree=1499696/2055920 swapFree=4180352/4192956
[pid=29636] ppid=29634 vsize=5356 CPUtime=1.08
/proc/29636/stat : 29636 (SatELiteGTI) S 29634 29636 29599 0 -1 4194304 336 2955 0 0 0 0 106 2 16 0 1 0 315735243 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 235371291460 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/29636/statm: 1339 239 197 169 0 50 0
[pid=29642] ppid=29636 vsize=8492 CPUtime=1.98
/proc/29642/stat : 29642 (minisat_static) R 29636 29636 29599 0 -1 4194304 1972 0 0 0 197 1 0 0 25 0 1 0 315735353 8695808 1958 1992294400 134512640 135215339 4294956240 18446744073709551615 134721382 0 0 4096 3 0 0 0 17 1 0 0
/proc/29642/statm: 2123 1958 77 171 0 1950 0
Current children cumulated CPU time (s) 3.06
Current children cumulated vsize (KiB) 13848

[startup+6.30177 s]
/proc/loadavg: 0.86 0.97 0.98 2/66 29642
/proc/meminfo: memFree=1497840/2055920 swapFree=4180352/4192956
[pid=29636] ppid=29634 vsize=5356 CPUtime=1.08
/proc/29636/stat : 29636 (SatELiteGTI) S 29634 29636 29599 0 -1 4194304 336 2955 0 0 0 0 106 2 16 0 1 0 315735243 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 235371291460 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/29636/statm: 1339 239 197 169 0 50 0
[pid=29642] ppid=29636 vsize=9828 CPUtime=5.18
/proc/29642/stat : 29642 (minisat_static) R 29636 29636 29599 0 -1 4194304 2314 0 0 0 517 1 0 0 25 0 1 0 315735353 10063872 2300 1992294400 134512640 135215339 4294956240 18446744073709551615 134528863 0 0 4096 3 0 0 0 17 1 0 0
/proc/29642/statm: 2457 2300 77 171 0 2284 0
Current children cumulated CPU time (s) 6.26
Current children cumulated vsize (KiB) 15184

[startup+12.7013 s]
/proc/loadavg: 0.87 0.97 0.98 2/66 29642
/proc/meminfo: memFree=1495176/2055920 swapFree=4180352/4192956
[pid=29636] ppid=29634 vsize=5356 CPUtime=1.08
/proc/29636/stat : 29636 (SatELiteGTI) S 29634 29636 29599 0 -1 4194304 336 2955 0 0 0 0 106 2 16 0 1 0 315735243 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 235371291460 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/29636/statm: 1339 239 197 169 0 50 0
[pid=29642] ppid=29636 vsize=12408 CPUtime=11.58
/proc/29642/stat : 29642 (minisat_static) R 29636 29636 29599 0 -1 4194304 2925 0 0 0 1156 2 0 0 25 0 1 0 315735353 12705792 2911 1992294400 134512640 135215339 4294956240 18446744073709551615 134528802 0 0 4096 3 0 0 0 17 1 0 0
/proc/29642/statm: 3102 2911 77 171 0 2929 0
Current children cumulated CPU time (s) 12.66
Current children cumulated vsize (KiB) 17764

[startup+25.5015 s]
/proc/loadavg: 0.90 0.97 0.98 2/66 29642
/proc/meminfo: memFree=1493512/2055920 swapFree=4180352/4192956
[pid=29636] ppid=29634 vsize=5356 CPUtime=1.08
/proc/29636/stat : 29636 (SatELiteGTI) S 29634 29636 29599 0 -1 4194304 336 2955 0 0 0 0 106 2 16 0 1 0 315735243 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 235371291460 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/29636/statm: 1339 239 197 169 0 50 0
[pid=29642] ppid=29636 vsize=14036 CPUtime=24.38
/proc/29642/stat : 29642 (minisat_static) R 29636 29636 29599 0 -1 4194304 3327 0 0 0 2435 3 0 0 25 0 1 0 315735353 14372864 3313 1992294400 134512640 135215339 4294956240 18446744073709551615 134721382 0 0 4096 3 0 0 0 17 1 0 0
/proc/29642/statm: 3509 3313 77 171 0 3336 0
Current children cumulated CPU time (s) 25.46
Current children cumulated vsize (KiB) 19392

[startup+51.1018 s]
/proc/loadavg: 0.93 0.97 0.98 2/66 29642
/proc/meminfo: memFree=1491144/2055920 swapFree=4180352/4192956
[pid=29636] ppid=29634 vsize=5356 CPUtime=1.08
/proc/29636/stat : 29636 (SatELiteGTI) S 29634 29636 29599 0 -1 4194304 336 2955 0 0 0 0 106 2 16 0 1 0 315735243 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 235371291460 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/29636/statm: 1339 239 197 169 0 50 0
[pid=29642] ppid=29636 vsize=16528 CPUtime=49.97
/proc/29642/stat : 29642 (minisat_static) R 29636 29636 29599 0 -1 4194304 3928 0 0 0 4993 4 0 0 25 0 1 0 315735353 16924672 3914 1992294400 134512640 135215339 4294956240 18446744073709551615 134528776 0 0 4096 3 0 0 0 17 1 0 0
/proc/29642/statm: 4132 3914 77 171 0 3959 0
Current children cumulated CPU time (s) 51.05
Current children cumulated vsize (KiB) 21884

[startup+102.305 s]
/proc/loadavg: 0.97 0.97 0.98 2/66 29642
/proc/meminfo: memFree=1485704/2055920 swapFree=4180352/4192956
[pid=29636] ppid=29634 vsize=5356 CPUtime=1.08
/proc/29636/stat : 29636 (SatELiteGTI) S 29634 29636 29599 0 -1 4194304 336 2955 0 0 0 0 106 2 16 0 1 0 315735243 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 235371291460 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/29636/statm: 1339 239 197 169 0 50 0
[pid=29642] ppid=29636 vsize=22276 CPUtime=101.16
/proc/29642/stat : 29642 (minisat_static) R 29636 29636 29599 0 -1 4194304 5284 0 0 0 10110 6 0 0 25 0 1 0 315735353 22810624 5270 1992294400 134512640 135215339 4294956240 18446744073709551615 134622064 0 0 4096 3 0 0 0 17 1 0 0
/proc/29642/statm: 5569 5270 77 171 0 5396 0
Current children cumulated CPU time (s) 102.24
Current children cumulated vsize (KiB) 27632

[startup+162.302 s]
/proc/loadavg: 0.99 0.97 0.98 2/66 29642
/proc/meminfo: memFree=1480136/2055920 swapFree=4180352/4192956
[pid=29636] ppid=29634 vsize=5356 CPUtime=1.08
/proc/29636/stat : 29636 (SatELiteGTI) S 29634 29636 29599 0 -1 4194304 336 2955 0 0 0 0 106 2 16 0 1 0 315735243 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 235371291460 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/29636/statm: 1339 239 197 169 0 50 0
[pid=29642] ppid=29636 vsize=27920 CPUtime=161.14
/proc/29642/stat : 29642 (minisat_static) R 29636 29636 29599 0 -1 4194304 6678 0 0 0 16106 8 0 0 25 0 1 0 315735353 28590080 6664 1992294400 134512640 135215339 4294956240 18446744073709551615 134528788 0 0 4096 3 0 0 0 17 1 0 0
/proc/29642/statm: 6980 6664 77 171 0 6807 0
Current children cumulated CPU time (s) 162.22
Current children cumulated vsize (KiB) 33276

[startup+222.301 s]
/proc/loadavg: 0.99 0.97 0.98 2/66 29642
/proc/meminfo: memFree=1474248/2055920 swapFree=4180352/4192956
[pid=29636] ppid=29634 vsize=5356 CPUtime=1.08
/proc/29636/stat : 29636 (SatELiteGTI) S 29634 29636 29599 0 -1 4194304 336 2955 0 0 0 0 106 2 16 0 1 0 315735243 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 235371291460 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/29636/statm: 1339 239 197 169 0 50 0
[pid=29642] ppid=29636 vsize=33692 CPUtime=221.12
/proc/29642/stat : 29642 (minisat_static) R 29636 29636 29599 0 -1 4194304 8121 0 0 0 22102 10 0 0 25 0 1 0 315735353 34500608 8107 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/29642/statm: 8423 8107 77 171 0 8250 0
Current children cumulated CPU time (s) 222.2
Current children cumulated vsize (KiB) 39048

[startup+282.302 s]
/proc/loadavg: 0.99 0.97 0.98 2/66 29642
/proc/meminfo: memFree=1469192/2055920 swapFree=4180352/4192956
[pid=29636] ppid=29634 vsize=5356 CPUtime=1.08
/proc/29636/stat : 29636 (SatELiteGTI) S 29634 29636 29599 0 -1 4194304 336 2955 0 0 0 0 106 2 16 0 1 0 315735243 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 235371291460 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/29636/statm: 1339 239 197 169 0 50 0
[pid=29642] ppid=29636 vsize=38904 CPUtime=281.11
/proc/29642/stat : 29642 (minisat_static) R 29636 29636 29599 0 -1 4194304 9392 0 0 0 28098 13 0 0 25 0 1 0 315735353 39837696 9378 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/29642/statm: 9726 9378 77 171 0 9553 0
Current children cumulated CPU time (s) 282.19
Current children cumulated vsize (KiB) 44260

[startup+342.302 s]
/proc/loadavg: 1.07 0.99 0.99 2/66 29644
/proc/meminfo: memFree=1464904/2055920 swapFree=4180352/4192956
[pid=29636] ppid=29634 vsize=5356 CPUtime=1.08
/proc/29636/stat : 29636 (SatELiteGTI) S 29634 29636 29599 0 -1 4194304 336 2955 0 0 0 0 106 2 16 0 1 0 315735243 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 235371291460 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/29636/statm: 1339 239 197 169 0 50 0
[pid=29642] ppid=29636 vsize=42884 CPUtime=341.09
/proc/29642/stat : 29642 (minisat_static) R 29636 29636 29599 0 -1 4194304 10396 0 0 0 34095 14 0 0 25 0 1 0 315735353 43913216 10382 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/29642/statm: 10721 10382 77 171 0 10548 0
Current children cumulated CPU time (s) 342.17
Current children cumulated vsize (KiB) 48240

[startup+402.301 s]
/proc/loadavg: 1.08 1.00 1.00 2/66 29644
/proc/meminfo: memFree=1462792/2055920 swapFree=4180352/4192956
[pid=29636] ppid=29634 vsize=5356 CPUtime=1.08
/proc/29636/stat : 29636 (SatELiteGTI) S 29634 29636 29599 0 -1 4194304 336 2955 0 0 0 0 106 2 16 0 1 0 315735243 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 235371291460 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/29636/statm: 1339 239 197 169 0 50 0
[pid=29642] ppid=29636 vsize=45064 CPUtime=401.07
/proc/29642/stat : 29642 (minisat_static) R 29636 29636 29599 0 -1 4194304 10956 0 0 0 40092 15 0 0 25 0 1 0 315735353 46145536 10942 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/29642/statm: 11266 10942 77 171 0 11093 0
Current children cumulated CPU time (s) 402.15
Current children cumulated vsize (KiB) 50420

[startup+462.302 s]
/proc/loadavg: 1.13 1.03 1.00 2/66 29644
/proc/meminfo: memFree=1462280/2055920 swapFree=4180352/4192956
[pid=29636] ppid=29634 vsize=5356 CPUtime=1.08

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

/proc/29642/statm: 36228 34525 77 171 0 36055 0
Current children cumulated CPU time (s) 9399.6
Current children cumulated vsize (KiB) 150268

[startup+9462.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 29666
/proc/meminfo: memFree=1363016/2055920 swapFree=4180352/4192956
[pid=29636] ppid=29634 vsize=5356 CPUtime=1.08
/proc/29636/stat : 29636 (SatELiteGTI) S 29634 29636 29599 0 -1 4194304 336 2955 0 0 0 0 106 2 16 0 1 0 315735243 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 235371291460 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/29636/statm: 1339 239 197 169 0 50 0
[pid=29642] ppid=29636 vsize=144912 CPUtime=9458.51
/proc/29642/stat : 29642 (minisat_static) R 29636 29636 29599 0 -1 4194304 34607 0 0 0 945781 70 0 0 25 0 1 0 315735353 148389888 34525 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/29642/statm: 36228 34525 77 171 0 36055 0
Current children cumulated CPU time (s) 9459.59
Current children cumulated vsize (KiB) 150268

[startup+9522.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 29666
/proc/meminfo: memFree=1363016/2055920 swapFree=4180352/4192956
[pid=29636] ppid=29634 vsize=5356 CPUtime=1.08
/proc/29636/stat : 29636 (SatELiteGTI) S 29634 29636 29599 0 -1 4194304 336 2955 0 0 0 0 106 2 16 0 1 0 315735243 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 235371291460 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/29636/statm: 1339 239 197 169 0 50 0
[pid=29642] ppid=29636 vsize=144912 CPUtime=9518.49
/proc/29642/stat : 29642 (minisat_static) R 29636 29636 29599 0 -1 4194304 34607 0 0 0 951779 70 0 0 25 0 1 0 315735353 148389888 34525 1992294400 134512640 135215339 4294956240 18446744073709551615 134528788 0 0 4096 3 0 0 0 17 1 0 0
/proc/29642/statm: 36228 34525 77 171 0 36055 0
Current children cumulated CPU time (s) 9519.57
Current children cumulated vsize (KiB) 150268

[startup+9582.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 29666
/proc/meminfo: memFree=1363016/2055920 swapFree=4180352/4192956
[pid=29636] ppid=29634 vsize=5356 CPUtime=1.08
/proc/29636/stat : 29636 (SatELiteGTI) S 29634 29636 29599 0 -1 4194304 336 2955 0 0 0 0 106 2 16 0 1 0 315735243 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 235371291460 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/29636/statm: 1339 239 197 169 0 50 0
[pid=29642] ppid=29636 vsize=144912 CPUtime=9578.47
/proc/29642/stat : 29642 (minisat_static) R 29636 29636 29599 0 -1 4194304 34607 0 0 0 957777 70 0 0 25 0 1 0 315735353 148389888 34525 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/29642/statm: 36228 34525 77 171 0 36055 0
Current children cumulated CPU time (s) 9579.55
Current children cumulated vsize (KiB) 150268

[startup+9642.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 29666
/proc/meminfo: memFree=1363016/2055920 swapFree=4180352/4192956
[pid=29636] ppid=29634 vsize=5356 CPUtime=1.08
/proc/29636/stat : 29636 (SatELiteGTI) S 29634 29636 29599 0 -1 4194304 336 2955 0 0 0 0 106 2 16 0 1 0 315735243 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 235371291460 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/29636/statm: 1339 239 197 169 0 50 0
[pid=29642] ppid=29636 vsize=144912 CPUtime=9638.45
/proc/29642/stat : 29642 (minisat_static) R 29636 29636 29599 0 -1 4194304 34607 0 0 0 963775 70 0 0 25 0 1 0 315735353 148389888 34525 1992294400 134512640 135215339 4294956240 18446744073709551615 134528788 0 0 4096 3 0 0 0 17 1 0 0
/proc/29642/statm: 36228 34525 77 171 0 36055 0
Current children cumulated CPU time (s) 9639.53
Current children cumulated vsize (KiB) 150268

[startup+9702.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 29666
/proc/meminfo: memFree=1362952/2055920 swapFree=4180352/4192956
[pid=29636] ppid=29634 vsize=5356 CPUtime=1.08
/proc/29636/stat : 29636 (SatELiteGTI) S 29634 29636 29599 0 -1 4194304 336 2955 0 0 0 0 106 2 16 0 1 0 315735243 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 235371291460 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/29636/statm: 1339 239 197 169 0 50 0
[pid=29642] ppid=29636 vsize=144912 CPUtime=9698.44
/proc/29642/stat : 29642 (minisat_static) R 29636 29636 29599 0 -1 4194304 34607 0 0 0 969773 71 0 0 25 0 1 0 315735353 148389888 34525 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/29642/statm: 36228 34525 77 171 0 36055 0
Current children cumulated CPU time (s) 9699.52
Current children cumulated vsize (KiB) 150268

[startup+9762.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 29666
/proc/meminfo: memFree=1362952/2055920 swapFree=4180352/4192956
[pid=29636] ppid=29634 vsize=5356 CPUtime=1.08
/proc/29636/stat : 29636 (SatELiteGTI) S 29634 29636 29599 0 -1 4194304 336 2955 0 0 0 0 106 2 16 0 1 0 315735243 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 235371291460 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/29636/statm: 1339 239 197 169 0 50 0
[pid=29642] ppid=29636 vsize=144912 CPUtime=9758.43
/proc/29642/stat : 29642 (minisat_static) R 29636 29636 29599 0 -1 4194304 34607 0 0 0 975772 71 0 0 25 0 1 0 315735353 148389888 34525 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/29642/statm: 36228 34525 77 171 0 36055 0
Current children cumulated CPU time (s) 9759.51
Current children cumulated vsize (KiB) 150268

[startup+9822.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 29666
/proc/meminfo: memFree=1363016/2055920 swapFree=4180352/4192956
[pid=29636] ppid=29634 vsize=5356 CPUtime=1.08
/proc/29636/stat : 29636 (SatELiteGTI) S 29634 29636 29599 0 -1 4194304 336 2955 0 0 0 0 106 2 16 0 1 0 315735243 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 235371291460 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/29636/statm: 1339 239 197 169 0 50 0
[pid=29642] ppid=29636 vsize=144912 CPUtime=9818.41
/proc/29642/stat : 29642 (minisat_static) R 29636 29636 29599 0 -1 4194304 34607 0 0 0 981770 71 0 0 25 0 1 0 315735353 148389888 34525 1992294400 134512640 135215339 4294956240 18446744073709551615 134528776 0 0 4096 3 0 0 0 17 1 0 0
/proc/29642/statm: 36228 34525 77 171 0 36055 0
Current children cumulated CPU time (s) 9819.49
Current children cumulated vsize (KiB) 150268

[startup+9882.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 29666
/proc/meminfo: memFree=1362952/2055920 swapFree=4180352/4192956
[pid=29636] ppid=29634 vsize=5356 CPUtime=1.08
/proc/29636/stat : 29636 (SatELiteGTI) S 29634 29636 29599 0 -1 4194304 336 2955 0 0 0 0 106 2 16 0 1 0 315735243 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 235371291460 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/29636/statm: 1339 239 197 169 0 50 0
[pid=29642] ppid=29636 vsize=144912 CPUtime=9878.4
/proc/29642/stat : 29642 (minisat_static) R 29636 29636 29599 0 -1 4194304 34607 0 0 0 987769 71 0 0 25 0 1 0 315735353 148389888 34525 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/29642/statm: 36228 34525 77 171 0 36055 0
Current children cumulated CPU time (s) 9879.48
Current children cumulated vsize (KiB) 150268

[startup+9942.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 29666
/proc/meminfo: memFree=1362952/2055920 swapFree=4180352/4192956
[pid=29636] ppid=29634 vsize=5356 CPUtime=1.08
/proc/29636/stat : 29636 (SatELiteGTI) S 29634 29636 29599 0 -1 4194304 336 2955 0 0 0 0 106 2 16 0 1 0 315735243 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 235371291460 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/29636/statm: 1339 239 197 169 0 50 0
[pid=29642] ppid=29636 vsize=144912 CPUtime=9938.38
/proc/29642/stat : 29642 (minisat_static) R 29636 29636 29599 0 -1 4194304 34607 0 0 0 993767 71 0 0 25 0 1 0 315735353 148389888 34525 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/29642/statm: 36228 34525 77 171 0 36055 0
Current children cumulated CPU time (s) 9939.46
Current children cumulated vsize (KiB) 150268

[startup+10002.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 29666
/proc/meminfo: memFree=1362888/2055920 swapFree=4180352/4192956
[pid=29636] ppid=29634 vsize=5356 CPUtime=1.08
/proc/29636/stat : 29636 (SatELiteGTI) S 29634 29636 29599 0 -1 4194304 336 2955 0 0 0 0 106 2 16 0 1 0 315735243 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 235371291460 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/29636/statm: 1339 239 197 169 0 50 0
[pid=29642] ppid=29636 vsize=144912 CPUtime=9998.36
/proc/29642/stat : 29642 (minisat_static) R 29636 29636 29599 0 -1 4194304 34607 0 0 0 999765 71 0 0 25 0 1 0 315735353 148389888 34525 1992294400 134512640 135215339 4294956240 18446744073709551615 134528788 0 0 4096 3 0 0 0 17 1 0 0
/proc/29642/statm: 36228 34525 77 171 0 36055 0
Current children cumulated CPU time (s) 9999.44
Current children cumulated vsize (KiB) 150268



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+10002.9 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 29666
/proc/meminfo: memFree=1362888/2055920 swapFree=4180352/4192956
[pid=29636] ppid=29634 vsize=5356 CPUtime=1.08
/proc/29636/stat : 29636 (SatELiteGTI) S 29634 29636 29599 0 -1 4194304 336 2955 0 0 0 0 106 2 16 0 1 0 315735243 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 235371291460 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/29636/statm: 1339 239 197 169 0 50 0
[pid=29642] ppid=29636 vsize=144912 CPUtime=9998.96
/proc/29642/stat : 29642 (minisat_static) R 29636 29636 29599 0 -1 4194304 34607 0 0 0 999825 71 0 0 25 0 1 0 315735353 148389888 34525 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/29642/statm: 36228 34525 77 171 0 36055 0
Current children cumulated CPU time (s) 10000
Current children cumulated vsize (KiB) 150268

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

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

[startup+10002.9 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 29666
/proc/meminfo: memFree=1362888/2055920 swapFree=4180352/4192956
[pid=29636] ppid=29634 vsize=5356 CPUtime=1.08
/proc/29636/stat : 29636 (SatELiteGTI) S 29634 29636 29599 0 -1 4194304 336 2955 0 0 0 0 106 2 16 0 1 0 315735243 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 235371291460 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/29636/statm: 1339 239 197 169 0 50 0
[pid=29642] ppid=29636 vsize=144912 CPUtime=9998.96
/proc/29642/stat : 29642 (minisat_static) R 29636 29636 29599 0 -1 4194304 34607 0 0 0 999825 71 0 0 25 0 1 0 315735353 148389888 34525 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/29642/statm: 36228 34525 77 171 0 36055 0
Current children cumulated CPU time (s) 10000
Current children cumulated vsize (KiB) 150268

Child ended because it received signal 15 (SIGTERM)

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

Real time (s): 10002.9
CPU time (s): 10000
CPU user time (s): 9999.31
CPU system time (s): 0.73
CPU usage (%): 99.9713
Max. virtual memory (cumulated for all children) (KiB): 150372

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1.07184
system time used= 0.031995
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 3291
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= 8

runsolver used 11.6602 second user time and 24.8572 second system time

The end

Launcher Data

Begin job on node51 at 2009-05-21 05:37:57
IDJOB=1837558
IDBENCH=71101
IDSOLVER=674
FILE ID=node51/1837558-1242877077
PBS_JOBID= 9328659
Free space on /tmp= 66116 MiB

SOLVER NAME= minisat_cumr p-2009-03-18
BENCH NAME= SAT09/APPLICATIONS/satComp09_BioInstances/rpoc_xits_10_UNKNOWN.cnf
COMMAND LINE= SatELiteGTI BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-1837558-1242877077/watcher-1837558-1242877077 -o /tmp/evaluation-result-1837558-1242877077/solver-1837558-1242877077 -C 10000 -W 12000 -M 1800  SatELiteGTI HOME/instance-1837558-1242877077.cnf

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

MD5SUM BENCH= 8ece32bbd9e6c3f5c8cdf0e94e0569cd
RANDOM SEED=2112966343

node51.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.214
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.214
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:       1510176 kB
Buffers:         47908 kB
Cached:         445336 kB
SwapCached:       6896 kB
Active:          96812 kB
Inactive:       405212 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1510176 kB
SwapTotal:     4192956 kB
SwapFree:      4180352 kB
Dirty:            3280 kB
Writeback:           0 kB
Mapped:          13932 kB
Slab:            29856 kB
Committed_AS:   925260 kB
PageTables:       1396 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= 66112 MiB
End job on node51 at 2009-05-21 08:24:42