Trace number 1832189

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
minisat_cumr p-2009-03-18? (TO) 1200.05 1200.61

General information on the benchmark

Namecrafted/Hard/contest04/connamacher/
connm-ue-csp-sat-n1200-d0.00-s1756632460.sat05-526.reshuffled-07.cnf
MD5SUM00198881c2cf000cfee916c18d69d474
Bench CategoryCRAFTED (crafted 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 variables1132
Number of clauses14011
Sum of the clauses size42316
Maximum clause length4
Minimum clause length3
Number of clauses of size 10
Number of clauses of size 20
Number of clauses of size 313728
Number of clauses of size 4283
Number of clauses of size 50
Number of clauses of size over 50

Solver Data

0.00/0.00	c Parsing...
0.00/0.01	c ==============================================================================
0.00/0.01	c |           |     ORIGINAL     |              LEARNT              |          |
0.00/0.01	c | Conflicts | Clauses Literals |   Limit Clauses Literals  Lit/Cl | Progress |
0.00/0.01	c ==============================================================================
0.00/0.01	c |         0 |   14011    42316 |    4203       0        0     nan |  0.000 % |
0.00/0.16	c |         0 |   13728    45916 |      --       0       --      -- |     --   | -283/3600
0.00/0.16	c ==============================================================================
0.00/0.16	c Result  :   #vars: 849   #clauses: 13728   #literals: 45916
0.00/0.16	c CPU time:   0.154976 s
0.00/0.16	c ==============================================================================
0.00/0.18	c This is MiniSat 2.0 beta
0.00/0.18	c WARNING: for repeatability, setting FPU to use double precision
0.00/0.18	c ============================[ Problem Statistics ]=============================
0.00/0.18	c |                                                                             |
0.00/0.18	c |  Number of variables:  849                                                  |
0.00/0.18	c |  Number of clauses:    13728                                                |
0.00/0.19	c |  Parsing time:         0.01         s                                       |
0.00/0.19	c ============================[ Search Statistics ]==============================
0.00/0.19	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
0.00/0.19	c |           |    Vars  Clauses Literals |    Limit  Clauses Lit/Cl |          |
0.00/0.19	c ===============================================================================
0.00/0.19	c |         0 |     849    13728    45916 |     4576        0    nan |  0.000 % |
0.00/0.20	c |       101 |     849    13728    45916 |     4576      101     25 |  0.000 % |
0.16/0.20	c |       202 |     849    13728    45916 |     4576      202     27 |  0.000 % |
0.16/0.21	c |       302 |     849    13728    45916 |     4576      302     27 |  0.000 % |
0.16/0.22	c |       413 |     849    13728    45916 |     4576      413     28 |  0.000 % |
0.16/0.23	c |       514 |     849    13728    45916 |     4576      514     28 |  0.000 % |
0.16/0.24	c |       626 |     849    13728    45916 |     4576      626     28 |  0.000 % |
0.16/0.25	c |       747 |     849    13728    45916 |     4576      747     29 |  0.000 % |
0.16/0.26	c |       847 |     849    13728    45916 |     4576      847     28 |  0.000 % |
0.16/0.27	c |       958 |     849    13728    45916 |     4576      958     28 |  0.000 % |
0.16/0.28	c |      1079 |     849    13728    45916 |     4576     1079     29 |  0.000 % |
0.16/0.30	c |      1212 |     849    13728    45916 |     4576     1212     30 |  0.000 % |
0.16/0.30	c |      1312 |     849    13728    45916 |     4576     1312     29 |  0.000 % |
0.16/0.32	c |      1422 |     849    13728    45916 |     4576     1422     29 |  0.000 % |
0.16/0.33	c |      1544 |     849    13728    45916 |     4576     1544     30 |  0.000 % |
0.16/0.35	c |      1677 |     849    13728    45916 |     4576     1677     29 |  0.000 % |
0.16/0.37	c |      1823 |     849    13728    45916 |     4576     1823     30 |  0.000 % |
0.16/0.38	c |      1925 |     849    13728    45916 |     4576     1925     30 |  0.000 % |
0.16/0.39	c |      2036 |     849    13728    45916 |     4576     2036     30 |  0.000 % |
0.16/0.40	c |      2158 |     849    13728    45916 |     4576     2158     30 |  0.000 % |
0.16/0.41	c |      2291 |     849    13728    45916 |     4576     2291     30 |  0.000 % |
0.16/0.42	c |      2437 |     849    13728    45916 |     4576     2437     29 |  0.000 % |
0.16/0.44	c |      2597 |     849    13728    45916 |     4576     2597     29 |  0.000 % |
0.16/0.45	c |      2697 |     849    13728    45916 |     4576     2697     29 |  0.000 % |
0.16/0.46	c |      2808 |     849    13728    45916 |     4576     2808     29 |  0.000 % |
0.16/0.48	c |      2930 |     849    13728    45916 |     4576     2930     29 |  0.000 % |
0.16/0.50	c |      3063 |     849    13728    45916 |     4576     3063     29 |  0.000 % |
0.16/0.51	c |      3209 |     849    13728    45916 |     4576     3209     29 |  0.000 % |
0.16/0.52	c |      3369 |     849    13728    45916 |     4576     3369     29 |  0.000 % |
0.16/0.55	c |      3545 |     849    13728    45916 |     4576     3545     30 |  0.000 % |
0.16/0.56	c |      3646 |     849    13728    45916 |     4576     3646     29 |  0.000 % |
0.16/0.58	c |      3756 |     849    13728    45916 |     4576     3756     30 |  0.000 % |
0.16/0.59	c |      3878 |     849    13728    45916 |     4576     3878     30 |  0.000 % |
0.16/0.61	c |      4011 |     849    13728    45916 |     4576     4011     30 |  0.000 % |
0.16/0.64	c |      4157 |     849    13728    45916 |     4576     4157     30 |  0.000 % |
0.16/0.65	c |      4317 |     849    13728    45916 |     4576     4317     30 |  0.000 % |
0.16/0.67	c |      4494 |     849    13728    45916 |     4576     4494     30 |  0.000 % |
0.16/0.70	c |      4687 |     849    13728    45916 |     4576     4687     30 |  0.000 % |
0.16/0.71	c |      4787 |     849    13728    45916 |     4576     4319     29 |  0.000 % |
0.16/0.72	c |      4900 |     849    13728    45916 |     4576     4432     29 |  0.000 % |
0.16/0.74	c |      5022 |     849    13728    45916 |     4576     4554     29 |  0.000 % |
0.16/0.76	c |      5155 |     849    13728    45916 |     4576     4687     29 |  0.000 % |
0.16/0.77	c |      5301 |     849    13728    45916 |     4576     4365     29 |  0.000 % |
0.16/0.79	c |      5464 |     849    13728    45916 |     4576     4528     28 |  0.000 % |
0.16/0.81	c |      5640 |     849    13728    45916 |     4576     4239     28 |  0.000 % |
0.16/0.83	c |      5834 |     849    13728    45916 |     4576     4433     28 |  0.000 % |
0.16/0.85	c |      6046 |     849    13728    45916 |     4576     4645     27 |  0.000 % |
0.16/0.86	c |      6146 |     849    13728    45916 |     4576     4281     27 |  0.000 % |
0.16/0.87	c |      6256 |     849    13728    45916 |     4576     4391     27 |  0.000 % |
0.16/0.88	c |      6378 |     849    13728    45916 |     4576     4513     27 |  0.000 % |
0.16/0.90	c |      6511 |     849    13728    45916 |     4576     4646     27 |  0.000 % |
0.16/0.91	c |      6657 |     849    13728    45916 |     4576     4328     26 |  0.000 % |
0.16/0.93	c |      6817 |     849    13728    45916 |     4576     4488     26 |  0.000 % |
0.16/0.96	c |      6994 |     849    13728    45916 |     4576     4665     27 |  0.000 % |
0.16/0.99	c |      7188 |     849    13728    45916 |     4576     4393     26 |  0.000 % |
0.97/1.02	c |      7400 |     849    13728    45916 |     4576     4605     26 |  0.000 % |
0.97/1.04	c |      7633 |     849    13728    45916 |     4576     4378     26 |  0.000 % |
0.97/1.05	c |      7733 |     849    13728    45916 |     4576     4478     26 |  0.000 % |
0.97/1.07	c |      7844 |     849    13728    45916 |     4576     4589     26 |  0.000 % |
0.97/1.08	c |      7965 |     849    13728    45916 |     4576     4252     25 |  0.000 % |
0.97/1.10	c |      8098 |     849    13728    45916 |     4576     4385     26 |  0.000 % |
1.07/1.11	c |      8246 |     849    13728    45916 |     4576     4533     26 |  0.000 % |
1.07/1.13	c |      8406 |     849    13728    45916 |     4576     4693     26 |  0.000 % |
1.07/1.14	c |      8582 |     849    13728    45916 |     4576     4400     25 |  0.000 % |
1.07/1.16	c |      8775 |     849    13728    45916 |     4576     4593     26 |  0.000 % |
1.07/1.18	c |      8987 |     849    13728    45916 |     4576     4346     25 |  0.000 % |
1.17/1.21	c |      9220 |     849    13728    45916 |     4576     4579     26 |  0.000 % |
1.17/1.24	c |      9476 |     849    13728    45916 |     4576     4378     26 |  0.000 % |
1.17/1.25	c |      9576 |     849    13728    45916 |     4576     4478     26 |  0.000 % |
1.17/1.26	c |      9687 |     849    13728    45916 |     4576     4589     26 |  0.000 % |
1.17/1.28	c |      9808 |     849    13728    45916 |     4576     4252     26 |  0.000 % |
1.27/1.30	c |      9941 |     849    13728    45916 |     4576     4385     26 |  0.000 % |
1.27/1.32	c |     10087 |     849    13728    45916 | 2147483647     4531     26 |  0.000 % |
1.27/1.35	c |     10247 |     849    13728    45916 | 2147483647     4691     26 |  0.000 % |
1.27/1.37	c |     10423 |     849    13728    45916 | 2147483647     4867     27 |  0.000 % |
1.37/1.40	c |     10616 |     849    13728    45916 | 2147483647     5060     27 |  0.000 % |
1.37/1.42	c |     10829 |     849    13728    45916 | 2147483647     5273     27 |  0.000 % |
1.37/1.45	c |     11062 |     849    13728    45916 | 2147483647     5506     27 |  0.000 % |
1.37/1.47	c |     11318 |     849    13728    45916 | 2147483647     5762     27 |  0.000 % |
1.37/1.49	c |     11599 |     849    13728    45916 | 2147483647     6043     27 |  0.000 % |
1.47/1.51	c |     11699 |     849    13728    45916 | 2147483647     6143     27 |  0.000 % |
1.47/1.52	c |     11810 |     849    13728    45916 | 2147483647     6254     27 |  0.000 % |
1.47/1.53	c |     11933 |     849    13728    45916 | 2147483647     6377     27 |  0.000 % |
1.47/1.54	c |     12066 |     849    13728    45916 | 2147483647     6510     27 |  0.000 % |
1.47/1.56	c |     12212 |     849    13728    45916 | 2147483647     6656     27 |  0.000 % |
1.47/1.58	c |     12372 |     849    13728    45916 | 2147483647     6816     27 |  0.000 % |
1.57/1.60	c |     12550 |     849    13728    45916 | 2147483647     6994     27 |  0.000 % |
1.57/1.62	c |     12743 |     849    13728    45916 | 2147483647     7187     27 |  0.000 % |
1.57/1.66	c |     12956 |     849    13728    45916 | 2147483647     7400     28 |  0.000 % |
1.57/1.69	c |     13189 |     849    13728    45916 | 2147483647     7633     28 |  0.000 % |
1.67/1.72	c |     13446 |     849    13728    45916 | 2147483647     7890     28 |  0.000 % |
1.67/1.75	c |     13727 |     849    13728    45916 | 2147483647     8171     28 |  0.000 % |
1.67/1.78	c |     14037 |     849    13728    45916 | 2147483647     8481     28 |  0.000 % |
1.67/1.80	c |     14138 |     849    13728    45916 | 2147483647     8582     28 |  0.000 % |
1.77/1.81	c |     14250 |     849    13728    45916 | 2147483647     8694     28 |  0.000 % |
1.77/1.83	c |     14371 |     849    13728    45916 | 2147483647     8815     28 |  0.000 % |
1.77/1.84	c |     14504 |     849    13728    45916 | 2147483647     8948     28 |  0.000 % |
1.77/1.87	c |     14650 |     849    13728    45916 | 2147483647     9094     28 |  0.000 % |
1.87/1.90	c |     14810 |     849    13728    45916 | 2147483647     9254     28 |  0.000 % |
1.87/1.93	c |     14986 |     849    13728    45916 | 2147483647     9430     28 |  0.000 % |
1.87/1.96	c |     15180 |     849    13728    45916 | 2147483647     9624     28 |  0.000 % |
1.97/2.01	c |     15393 |     849    13728    45916 | 2147483647     9837     29 |  0.000 % |
1.97/2.05	c |     15627 |     849    13728    45916 | 2147483647    10071     29 |  0.000 % |
2.07/2.10	c |     15884 |     849    13728    45916 | 2147483647    10328     29 |  0.000 % |
2.07/2.16	c |     16165 |     849    13728    45916 | 2147483647    10609     29 |  0.000 % |
2.07/2.20	c |     16474 |     849    13728    45916 | 2147483647    10918     29 |  0.000 % |
2.17/2.25	c |     16813 |     849    13728    45916 | 2147483647    11257     29 |  0.000 % |
2.17/2.26	c |     16913 |     849    13728    45916 | 2147483647    11357     29 |  0.000 % |
2.17/2.29	c |     17024 |     849    13728    45916 | 2147483647    11468     29 |  0.000 % |
2.27/2.30	c |     17145 |     849    13728    45916 | 2147483647    11589     29 |  0.000 % |
2.27/2.34	c |     17278 |     849    13728    45916 | 2147483647    11722     29 |  0.000 % |
2.27/2.37	c |     17426 |     849    13728    45916 | 2147483647    11870     29 |  0.000 % |
2.37/2.41	c |     17588 |     849    13728    45916 | 2147483647    12032     29 |  0.000 % |
2.37/2.44	c |     17764 |     849    13728    45916 | 2147483647    12208     29 |  0.000 % |
2.37/2.48	c |     17957 |     849    13728    45916 | 2147483647    12401     30 |  0.000 % |
2.47/2.53	c |     18170 |     849    13728    45916 | 2147483647    12614     30 |  0.000 % |
2.47/2.57	c |     18404 |     849    13728    45916 | 2147483647    12848     30 |  0.000 % |
2.57/2.61	c |     18661 |     849    13728    45916 | 2147483647    13105     30 |  0.000 % |
2.57/2.66	c |     18942 |     849    13728    45916 | 2147483647    13386     30 |  0.000 % |
2.66/2.71	c |     19251 |     849    13728    45916 | 2147483647    13695     30 |  0.000 % |
2.66/2.77	c |     19590 |     849    13728    45916 | 2147483647    14034     30 |  0.000 % |
2.76/2.82	c |     19963 |     849    13728    45916 | 2147483647    14407     30 |  0.000 % |
2.76/2.83	c |     20063 |     849    13728    45916 | 2147483647    14507     30 |  0.000 % |
2.76/2.85	c |     20174 |     849    13728    45916 | 2147483647    14618     30 |  0.000 % |
2.76/2.87	c |     20296 |     849    13728    45916 | 2147483647    14740     30 |  0.000 % |
2.76/2.89	c |     20429 |     849    13728    45916 | 2147483647    14873     30 |  0.000 % |
2.86/2.91	c |     20575 |     849    13728    45916 | 2147483647    15019     30 |  0.000 % |
2.86/2.94	c |     20737 |     849    13728    45916 | 2147483647    15181     30 |  0.000 % |
2.86/2.98	c |     20914 |     849    13728    45916 | 2147483647    15358     30 |  0.000 % |
2.96/3.02	c |     21107 |     849    13728    45916 | 2147483647    15551     30 |  0.000 % |
2.96/3.06	c |     21319 |     849    13728    45916 | 2147483647    15763     30 |  0.000 % |
2.96/3.10	c |     21553 |     849    13728    45916 | 2147483647    15997     30 |  0.000 % |
3.06/3.14	c |     21810 |     849    13728    45916 | 2147483647    16254     30 |  0.000 % |
3.06/3.19	c |     22091 |     849    13728    45916 | 2147483647    16535     30 |  0.000 % |
3.17/3.23	c |     22400 |     849    13728    45916 | 2147483647    16844     30 |  0.000 % |
3.27/3.31	c |     22739 |     849    13728    45916 | 2147483647    17183     30 |  0.000 % |
3.36/3.41	c |     23112 |     849    13728    45916 | 2147483647    17556     31 |  0.000 % |
3.36/3.49	c |     23522 |     849    13728    45916 | 2147483647    17966     31 |  0.000 % |
3.46/3.51	c |     23622 |     849    13728    45916 | 2147483647    18066     31 |  0.000 % |
3.46/3.52	c |     23734 |     849    13728    45916 | 2147483647    18178     31 |  0.000 % |
3.46/3.54	c |     23855 |     849    13728    45916 | 2147483647    18299     31 |  0.000 % |
3.46/3.56	c |     23988 |     849    13728    45916 | 2147483647    18432     31 |  0.000 % |
3.46/3.58	c |     24134 |     849    13728    45916 | 2147483647    18578     30 |  0.000 % |
3.56/3.60	c |     24294 |     849    13728    45916 | 2147483647    18738     30 |  0.000 % |
3.56/3.63	c |     24470 |     849    13728    45916 | 2147483647    18914     30 |  0.000 % |
3.56/3.66	c |     24663 |     849    13728    45916 | 2147483647    19107     30 |  0.000 % |
3.66/3.70	c |     24875 |     849    13728    45916 | 2147483647    19319     30 |  0.000 % |
3.66/3.73	c |     25109 |     849    13728    45916 | 2147483647    19553     30 |  0.000 % |
3.66/3.78	c |     25365 |     849    13728    45916 | 2147483647    19809     30 |  0.000 % |
3.76/3.83	c |     25647 |     849    13728    45916 | 2147483647    20091     30 |  0.000 % |
3.76/3.89	c |     25957 |     849    13728    45916 | 2147483647    20401     30 |  0.000 % |
3.86/3.95	c |     26296 |     849    13728    45916 | 2147483647    20740     30 |  0.000 % |
3.96/4.02	c |     26669 |     849    13728    45916 | 2147483647    21113     30 |  0.000 % |
4.06/4.10	c |     27079 |     849    13728    45916 | 2147483647    21523     30 |  0.000 % |
4.16/4.20	c |     27529 |     849    13728    45916 | 2147483647    21973     31 |  0.000 % |
4.16/4.22	c |     27630 |     849    13728    45916 | 2147483647    22074     31 |  0.000 % |
4.16/4.24	c |     27740 |     849    13728    45916 | 2147483647    22184     31 |  0.000 % |
4.16/4.26	c |     27863 |     849    13728    45916 | 2147483647    22307     31 |  0.000 % |
4.16/4.28	c |     27996 |     849    13728    45916 | 2147483647    22440     31 |  0.000 % |
4.27/4.30	c |     28142 |     849    13728    45916 | 2147483647    22586     31 |  0.000 % |
4.27/4.33	c |     28303 |     849    13728    45916 | 2147483647    22747     31 |  0.000 % |
4.27/4.36	c |     28479 |     849    13728    45916 | 2147483647    22923     31 |  0.000 % |
4.27/4.39	c |     28673 |     849    13728    45916 | 2147483647    23117     31 |  0.000 % |
4.37/4.44	c |     28885 |     849    13728    45916 | 2147483647    23329     31 |  0.000 % |
4.37/4.48	c |     29120 |     849    13728    45916 | 2147483647    23564     31 |  0.000 % |
4.46/4.53	c |     29376 |     849    13728    45916 | 2147483647    23820     31 |  0.000 % |
4.46/4.59	c |     29658 |     849    13728    45916 | 2147483647    24102     31 |  0.000 % |
4.56/4.65	c |     29968 |     849    13728    45916 | 2147483647    24412     31 |  0.000 % |
4.66/4.75	c |     30308 |     849    13728    45916 | 2147483647    24752     31 |  0.000 % |
4.76/4.85	c |     30680 |     849    13728    45916 | 2147483647    25124     31 |  0.000 % |
4.86/4.91	c |     31089 |     849    13728    45916 | 2147483647    25533     31 |  0.000 % |
4.97/5.02	c |     31538 |     849    13728    45916 | 2147483647    25982     31 |  0.000 % |
5.07/5.10	c |     32031 |     849    13728    45916 | 2147483647    26475     31 |  0.000 % |
5.07/5.13	c |     32134 |     849    13728    45916 | 2147483647    26578     31 |  0.000 % |
5.07/5.15	c |     32245 |     849    13728    45916 | 2147483647    26689     31 |  0.000 % |
5.07/5.18	c |     32366 |     849    13728    45916 | 2147483647    26810     31 |  0.000 % |
5.17/5.21	c |     32499 |     849    13728    45916 | 2147483647    26943     31 |  0.000 % |
5.17/5.24	c |     32646 |     849    13728    45916 | 2147483647    27090     31 |  0.000 % |
5.17/5.27	c |     32806 |     849    13728    45916 | 2147483647    27250     31 |  0.000 % |
5.27/5.32	c |     32983 |     849    13728    45916 | 2147483647    27427     31 |  0.000 % |
5.27/5.35	c |     33177 |     849    13728    45916 | 2147483647    27621     31 |  0.000 % |
5.27/5.38	c |     33390 |     849    13728    45916 | 2147483647    27834     31 |  0.000 % |
5.37/5.42	c |     33623 |     849    13728    45916 | 2147483647    28067     31 |  0.000 % |
5.37/5.49	c |     33882 |     849    13728    45916 | 2147483647    28326     31 |  0.000 % |
5.47/5.55	c |     34163 |     849    13728    45916 | 2147483647    28607     31 |  0.000 % |
5.57/5.61	c |     34475 |     849    13728    45916 | 2147483647    28919     31 |  0.000 % |
5.57/5.68	c |     34815 |     849    13728    45916 | 2147483647    29259     31 |  0.000 % |
5.77/5.81	c |     35187 |     849    13728    45916 | 2147483647    29631     31 |  0.000 % |
5.77/5.89	c |     35597 |     849    13728    45916 | 2147483647    30041     31 |  0.000 % |
5.87/5.98	c |     36046 |     849    13728    45916 | 2147483647    30490     31 |  0.000 % |
5.97/6.09	c |     36543 |     849    13728    45916 | 2147483647    30987     31 |  0.000 % |
6.17/6.23	c |     37085 |     849    13728    45916 | 2147483647    31529     31 |  0.000 % |
6.17/6.25	c |     37185 |     849    13728    45916 | 2147483647    31629     31 |  0.000 % |
6.17/6.28	c |     37297 |     849    13728    45916 | 2147483647    31741     31 |  0.000 % |
6.27/6.30	c |     37419 |     849    13728    45916 | 2147483647    31863     31 |  0.000 % |
6.27/6.33	c |     37552 |     849    13728    45916 | 2147483647    31996     31 |  0.000 % |
6.27/6.36	c |     37698 |     849    13728    45916 | 2147483647    32142     31 |  0.000 % |
6.27/6.39	c |     37858 |     849    13728    45916 | 2147483647    32302     31 |  0.000 % |
6.37/6.44	c |     38036 |     849    13728    45916 | 2147483647    32480     31 |  0.000 % |
6.37/6.48	c |     38229 |     849    13728    45916 | 2147483647    32673     31 |  0.000 % |
6.47/6.54	c |     38441 |     849    13728    45916 | 2147483647    32885     31 |  0.000 % |
6.57/6.61	c |     38676 |     849    13728    45916 | 2147483647    33120     31 |  0.000 % |
6.57/6.67	c |     38936 |     849    13728    45916 | 2147483647    33380     31 |  0.000 % |
6.66/6.75	c |     39217 |     849    13728    45916 | 2147483647    33661     31 |  0.000 % |
6.76/6.84	c |     39526 |     849    13728    45916 | 2147483647    33970     31 |  0.000 % |
6.86/6.93	c |     39867 |     849    13728    45916 | 2147483647    34311     31 |  0.000 % |
6.96/7.04	c |     40239 |     849    13728    45916 | 2147483647    34683     31 |  0.000 % |
7.16/7.20	c |     40648 |     849    13728    45916 | 2147483647    35092     31 |  0.000 % |
7.26/7.36	c |     41099 |     849    13728    45916 | 2147483647    35543     31 |  0.000 % |
7.46/7.51	c |     41592 |     849    13728    45916 | 2147483647    36036     31 |  0.000 % |
7.57/7.68	c |     42137 |     849    13728    45916 | 2147483647    36581     31 |  0.000 % |
7.86/7.91	c |     42735 |     849    13728    45916 | 2147483647    37179     31 |  0.000 % |
7.86/7.96	c |     42837 |     849    13728    45916 | 2147483647    37281     31 |  0.000 % |
7.86/7.99	c |     42947 |     849    13728    45916 | 2147483647    37391     31 |  0.000 % |
7.96/8.03	c |     43068 |     849    13728    45916 | 2147483647    37512     31 |  0.000 % |
7.96/8.07	c |     43203 |     849    13728    45916 | 2147483647    37647     31 |  0.000 % |
8.06/8.13	c |     43350 |     849    13728    45916 | 2147483647    37794     31 |  0.000 % |
8.06/8.19	c |     43510 |     849    13728    45916 | 2147483647    37954     31 |  0.000 % |
8.16/8.24	c |     43687 |     849    13728    45916 | 2147483647    38131     31 |  0.000 % |
8.16/8.29	c |     43881 |     849    13728    45916 | 2147483647    38325     31 |  0.000 % |
8.26/8.35	c |     44094 |     849    13728    45916 | 2147483647    38538     31 |  0.000 % |
8.36/8.47	c |     44328 |     849    13728    45916 | 2147483647    38772     31 |  0.000 % |
8.46/8.55	c |     44584 |     849    13728    45916 | 2147483647    39028     31 |  0.000 % |
8.66/8.71	c |     44868 |     849    13728    45916 | 2147483647    39312     31 |  0.000 % |
8.76/8.82	c |     45178 |     849    13728    45916 | 2147483647    39622     31 |  0.000 % |
8.86/8.96	c |     45517 |     849    13728    45916 | 2147483647    39961     31 |  0.000 % |
9.06/9.15	c |     45891 |     849    13728    45916 | 2147483647    40335     31 |  0.000 % |
9.26/9.36	c |     46300 |     849    13728    45916 | 2147483647    40744     31 |  0.000 % |
9.46/9.57	c |     46749 |     849    13728    45916 | 2147483647    41193     31 |  0.000 % |
9.66/9.76	c |     47242 |     849    13728    45916 | 2147483647    41686     31 |  0.000 % |
9.96/10.03	c |     47784 |     849    13728    45916 | 2147483647    42228     31 |  0.000 % |
10.26/10.33	c |     48380 |     849    13728    45916 | 2147483647    42824     31 |  0.000 % |
10.56/10.63	c |     49038 |     849    13728    45916 | 2147483647    43482     31 |  0.000 % |
10.56/10.68	c |     49138 |     849    13728    45916 | 2147483647    43582     31 |  0.000 % |
10.66/10.72	c |     49248 |     849    13728    45916 | 2147483647    43692     31 |  0.000 % |
10.66/10.76	c |     49370 |     849    13728    45916 | 2147483647    43814     31 |  0.000 % |
10.76/10.80	c |     49503 |     849    13728    45916 | 2147483647    43947     31 |  0.000 % |
10.76/10.87	c |     49649 |     849    13728    45916 | 2147483647    44093     31 |  0.000 % |
10.86/10.92	c |     49810 |     849    13728    45916 | 2147483647    44254     31 |  0.000 % |
10.86/10.99	c |     49987 |     849    13728    45916 | 2147483647    44431     31 |  0.000 % |
10.96/11.06	c |     50181 |     849    13728    45916 | 2147483647    44625     31 |  0.000 % |
11.06/11.15	c |     50393 |     849    13728    45916 | 2147483647    44837     32 |  0.000 % |
11.16/11.22	c |     50626 |     849    13728    45916 | 2147483647    45070     32 |  0.000 % |
11.26/11.31	c |     50882 |     849    13728    45916 | 2147483647    45326     32 |  0.000 % |
11.36/11.43	c |     51164 |     849    13728    45916 | 2147483647    45608     32 |  0.000 % |
11.46/11.54	c |     51474 |     849    13728    45916 | 2147483647    45918     32 |  0.000 % |
11.66/11.74	c |     51813 |     849    13728    45916 | 2147483647    46257     32 |  0.000 % |
11.86/11.90	c |     52186 |     849    13728    45916 | 2147483647    46630     32 |  0.000 % |
11.96/12.07	c |     52595 |     849    13728    45916 | 2147483647    47039     32 |  0.000 % |
12.16/12.21	c |     53044 |     849    13728    45916 | 2147483647    47488     32 |  0.000 % |
12.36/12.41	c |     53537 |     849    13728    45916 | 2147483647    47981     32 |  0.000 % |
12.56/12.62	c |     54079 |     849    13728    45916 | 2147483647    48523     32 |  0.000 % |
12.76/12.86	c |     54676 |     849    13728    45916 | 2147483647    49120     32 |  0.000 % |
13.06/13.13	c |     55332 |     849    13728    45916 | 2147483647    49776     32 |  0.000 % |
13.36/13.40	c |     56053 |     849    13728    45916 | 2147483647    50497     32 |  0.000 % |
13.36/13.44	c |     56153 |     849    13728    45916 | 2147483647    50597     32 |  0.000 % |
13.46/13.51	c |     56265 |     849    13728    45916 | 2147483647    50709     32 |  0.000 % |
13.46/13.56	c |     56387 |     849    13728    45916 | 2147483647    50831     32 |  0.000 % |
13.55/13.62	c |     56520 |     849    13728    45916 | 2147483647    50964     32 |  0.000 % |
13.55/13.69	c |     56667 |     849    13728    45916 | 2147483647    51111     32 |  0.000 % |
13.65/13.77	c |     56827 |     849    13728    45916 | 2147483647    51271     32 |  0.000 % |
13.85/13.90	c |     57004 |     849    13728    45916 | 2147483647    51448     32 |  0.000 % |
13.95/14.02	c |     57198 |     849    13728    45916 | 2147483647    51642     32 |  0.000 % |
13.95/14.09	c |     57410 |     849    13728    45916 | 2147483647    51854     32 |  0.000 % |
14.16/14.22	c |     57647 |     849    13728    45916 | 2147483647    52091     32 |  0.000 % |
14.26/14.33	c |     57903 |     849    13728    45916 | 2147483647    52347     32 |  0.000 % |
14.35/14.44	c |     58184 |     849    13728    45916 | 2147483647    52628     32 |  0.000 % |
14.45/14.56	c |     58493 |     849    13728    45916 | 2147483647    52937     32 |  0.000 % |
14.55/14.69	c |     58833 |     849    13728    45916 | 2147483647    53277     32 |  0.000 % |
14.75/14.86	c |     59205 |     849    13728    45916 | 2147483647    53649     32 |  0.000 % |
14.96/15.05	c |     59614 |     849    13728    45916 | 2147483647    54058     32 |  0.000 % |
15.16/15.28	c |     60063 |     849    13728    45916 | 2147483647    54507     32 |  0.000 % |
15.37/15.49	c |     60556 |     849    13728    45916 | 2147483647    55000     32 |  0.000 % |
15.76/15.84	c |     61098 |     849    13728    45916 | 2147483647    55542     32 |  0.000 % |
16.16/16.23	c |     61696 |     849    13728    45916 | 2147483647    56140     32 |  0.000 % |
16.56/16.66	c |     62352 |     849    13728    45916 | 2147483647    56796     32 |  0.000 % |
16.86/16.98	c |     63072 |     849    13728    45916 | 2147483647    57516     32 |  0.000 % |
17.47/17.57	c |     63865 |     849    13728    45916 | 2147483647    58309     32 |  0.000 % |
17.57/17.63	c |     63967 |     849    13728    45916 | 2147483647    58411     32 |  0.000 % |
17.66/17.72	c |     64077 |     849    13728    45916 | 2147483647    58521     32 |  0.000 % |
17.76/17.80	c |     64198 |     849    13728    45916 | 2147483647    58642     32 |  0.000 % |
17.76/17.87	c |     64332 |     849    13728    45916 | 2147483647    58776     32 |  0.000 % |
17.86/17.96	c |     64478 |     849    13728    45916 | 2147483647    58922     32 |  0.000 % |
17.96/18.04	c |     64639 |     849    13728    45916 | 2147483647    59083     32 |  0.000 % |
18.06/18.12	c |     64815 |     849    13728    45916 | 2147483647    59259     32 |  0.000 % |
18.16/18.21	c |     65009 |     849    13728    45916 | 2147483647    59453     32 |  0.000 % |
18.16/18.29	c |     65221 |     849    13728    45916 | 2147483647    59665     32 |  0.000 % |
18.26/18.39	c |     65456 |     849    13728    45916 | 2147483647    59900     32 |  0.000 % |
18.46/18.57	c |     65713 |     849    13728    45916 | 2147483647    60157     32 |  0.000 % |
18.67/18.75	c |     65995 |     849    13728    45916 | 2147483647    60439     32 |  0.000 % |
18.76/18.87	c |     66304 |     849    13728    45916 | 2147483647    60748     32 |  0.000 % |
18.96/19.08	c |     66645 |     849    13728    45916 | 2147483647    61089     32 |  0.000 % |
19.16/19.23	c |     67019 |     849    13728    45916 | 2147483647    61463     32 |  0.000 % |
19.36/19.43	c |     67428 |     849    13728    45916 | 2147483647    61872     32 |  0.000 % |
19.56/19.62	c |     67878 |     849    13728    45916 | 2147483647    62322     32 |  0.000 % |
19.77/19.88	c |     68373 |     849    13728    45916 | 2147483647    62817     32 |  0.000 % |
19.96/20.06	c |     68918 |     849    13728    45916 | 2147483647    63362     32 |  0.000 % |
20.26/20.38	c |     69515 |     849    13728    45916 | 2147483647    63959     32 |  0.000 % |
20.56/20.62	c |     70171 |     849    13728    45916 | 2147483647    64615     32 |  0.000 % |
20.96/21.05	c |     70892 |     849    13728    45916 | 2147483647    65336     32 |  0.000 % |
21.26/21.40	c |     71684 |     849    13728    45916 | 2147483647    66128     32 |  0.000 % |
21.76/21.85	c |     72557 |     849    13728    45916 | 2147483647    67001     32 |  0.000 % |
21.86/21.92	c |     72657 |     849    13728    45916 | 2147483647    67101     32 |  0.000 % |
21.86/21.98	c |     72767 |     849    13728    45916 | 2147483647    67211     32 |  0.000 % |
21.96/22.06	c |     72888 |     849    13728    45916 | 2147483647    67332     32 |  0.000 % |
22.06/22.16	c |     73021 |     849    13728    45916 | 2147483647    67465     32 |  0.000 % |
22.16/22.27	c |     73167 |     849    13728    45916 | 2147483647    67611     32 |  0.000 % |
22.26/22.34	c |     73327 |     849    13728    45916 | 2147483647    67771     32 |  0.000 % |
22.36/22.45	c |     73504 |     849    13728    45916 | 2147483647    67948     32 |  0.000 % |
22.46/22.56	c |     73697 |     849    13728    45916 | 2147483647    68141     32 |  0.000 % |
22.66/22.73	c |     73910 |     849    13728    45916 | 2147483647    68354     32 |  0.000 % |
22.86/22.91	c |     74143 |     849    13728    45916 | 2147483647    68587     32 |  0.000 % |
23.06/23.13	c |     74399 |     849    13728    45916 | 2147483647    68843     32 |  0.000 % |
23.26/23.33	c |     74680 |     849    13728    45916 | 2147483647    69124     32 |  0.000 % |
23.46/23.53	c |     74990 |     849    13728    45916 | 2147483647    69434     32 |  0.000 % |
23.66/23.72	c |     75330 |     849    13728    45916 | 2147483647    69774     32 |  0.000 % |
23.85/23.98	c |     75703 |     849    13728    45916 | 2147483647    70147     32 |  0.000 % |
24.15/24.21	c |     76112 |     849    13728    45916 | 2147483647    70556     32 |  0.000 % |
24.45/24.56	c |     76562 |     849    13728    45916 | 2147483647    71006     32 |  0.000 % |
24.75/24.85	c |     77055 |     849    13728    45916 | 2147483647    71499     32 |  0.000 % |
25.15/25.28	c |     77597 |     849    13728    45916 | 2147483647    72041     32 |  0.000 % |
25.75/25.80	c |     78194 |     849    13728    45916 | 2147483647    72638     32 |  0.000 % |
26.25/26.34	c |     78851 |     849    13728    45916 | 2147483647    73295     32 |  0.000 % |
26.84/26.96	c |     79571 |     849    13728    45916 | 2147483647    74015     32 |  0.000 % |
27.55/27.65	c |     80364 |     849    13728    45916 |    74445    63825     31 |  0.000 % |
28.15/28.27	c |     81236 |     849    13728    45916 |    74445    64697     31 |  0.000 % |
28.84/28.95	c |     82194 |     849    13728    45916 |    74445    65655     31 |  0.000 % |
28.94/29.05	c |     82294 |     849    13728    45916 |    74445    65755     31 |  0.000 % |
29.04/29.14	c |     82405 |     849    13728    45916 |    74445    65866     31 |  0.000 % |
29.14/29.23	c |     82527 |     849    13728    45916 |    74445    65988     31 |  0.000 % |
29.24/29.33	c |     82660 |     849    13728    45916 |    74445    66121     31 |  0.000 % |
29.34/29.44	c |     82806 |     849    13728    45916 |    74445    66267     31 |  0.000 % |
29.45/29.52	c |     82966 |     849    13728    45916 |    74445    66427     31 |  0.000 % |
29.56/29.63	c |     83144 |     849    13728    45916 |    74445    66605     31 |  0.000 % |
29.66/29.73	c |     83337 |     849    13728    45916 |    74445    66798     31 |  0.000 % |
29.75/29.89	c |     83549 |     849    13728    45916 |    74445    67010     31 |  0.000 % |
29.95/30.05	c |     83783 |     849    13728    45916 |    74445    67244     32 |  0.000 % |
30.15/30.24	c |     84040 |     849    13728    45916 |    74445    67501     32 |  0.000 % |
30.45/30.52	c |     84323 |     849    13728    45916 |    74445    67784     32 |  0.000 % |
30.76/30.81	c |     84633 |     849    13728    45916 |    74445    68094     32 |  0.000 % |
31.05/31.12	c |     84973 |     849    13728    45916 |    74445    68434     32 |  0.000 % |
31.35/31.44	c |     85346 |     849    13728    45916 |    74445    68807     32 |  0.000 % |
31.65/31.75	c |     85755 |     849    13728    45916 |    74445    69216     32 |  0.000 % |
31.95/32.06	c |     86204 |     849    13728    45916 |    74445    69665     32 |  0.000 % |
32.35/32.41	c |     86699 |     849    13728    45916 |    74445    70160     32 |  0.000 % |
32.75/32.85	c |     87241 |     849    13728    45916 |    74445    70702     32 |  0.000 % |
33.25/33.31	c |     87838 |     849    13728    45916 |    74445    71299     32 |  0.000 % |
33.75/33.82	c |     88493 |     849    13728    45916 |    74445    71954     32 |  0.000 % |
34.25/34.39	c |     89215 |     849    13728    45916 |    74445    72676     32 |  0.000 % |
34.95/35.01	c |     90007 |     849    13728    45916 |    73461    73468     32 |  0.000 % |
35.65/35.70	c |     90878 |     849    13728    45916 |    73461    61073     31 |  0.000 % |
36.35/36.45	c |     91838 |     849    13728    45916 |    73461    62033     31 |  0.000 % |
37.15/37.29	c |     92891 |     849    13728    45916 |    73461    63086     31 |  0.000 % |
37.25/37.36	c |     92992 |     849    13728    45916 |    73461    63187     31 |  0.000 % |
37.35/37.44	c |     93104 |     849    13728    45916 |    73461    63299     31 |  0.000 % |
37.45/37.54	c |     93225 |     849    13728    45916 |    73461    63420     31 |  0.000 % |
37.55/37.65	c |     93358 |     849    13728    45916 |    73461    63553     31 |  0.000 % |
37.65/37.77	c |     93506 |     849    13728    45916 |    73461    63701     31 |  0.000 % |
37.75/37.89	c |     93667 |     849    13728    45916 |    73461    63862     31 |  0.000 % |
37.95/38.01	c |     93843 |     849    13728    45916 |    73461    64038     31 |  0.000 % |
38.05/38.15	c |     94036 |     849    13728    45916 |    73461    64231     31 |  0.000 % |
38.25/38.31	c |     94248 |     849    13728    45916 |    73461    64443     31 |  0.000 % |
38.35/38.49	c |     94481 |     849    13728    45916 |    73461    64676     31 |  0.000 % |
38.65/38.70	c |     94739 |     849    13728    45916 |    73461    64934     31 |  0.000 % |
38.85/38.91	c |     95020 |     849    13728    45916 |    73461    65215     31 |  0.000 % |
39.15/39.22	c |     95329 |     849    13728    45916 |    73461    65524     31 |  0.000 % |
39.45/39.51	c |     95670 |     849    13728    45916 |    73461    65865     31 |  0.000 % |
39.65/39.76	c |     96042 |     849    13728    45916 |    73461    66237     31 |  0.000 % |
40.05/40.12	c |     96451 |     849    13728    45916 |    73461    66646     31 |  0.000 % |
40.35/40.47	c |     96900 |     849    13728    45916 |    73461    67095     31 |  0.000 % |
40.55/40.67	c |     97393 |     849    13728    45916 |    73461    67588     31 |  0.000 % |
41.05/41.11	c |     97936 |     849    13728    45916 |    73461    68131     31 |  0.000 % |
41.35/41.44	c |     98532 |     849    13728    45916 |    73461    68727     31 |  0.000 % |
41.85/41.95	c |     99188 |     849    13728    45916 |    73461    69383     31 |  0.000 % |
42.45/42.54	c |     99908 |     849    13728    45916 |    73461    70103     31 |  0.000 % |
43.05/43.15	c |    100700 |     849    13728    45916 |    70197    57584     30 |  0.000 % |
43.55/43.61	c |    101571 |     849    13728    45916 |    70197    58455     30 |  0.000 % |
44.05/44.10	c |    102531 |     849    13728    45916 |    70197    59415     30 |  0.000 % |
44.55/44.69	c |    103584 |     849    13728    45916 |    70197    60468     30 |  0.000 % |
45.55/45.63	c |    104745 |     849    13728    45916 |    70197    61629     30 |  0.000 % |
45.65/45.70	c |    104846 |     849    13728    45916 |    70197    61730     30 |  0.000 % |
45.65/45.77	c |    104956 |     849    13728    45916 |    70197    61840     30 |  0.000 % |
45.75/45.86	c |    105077 |     849    13728    45916 |    70197    61961     30 |  0.000 % |
45.85/45.98	c |    105213 |     849    13728    45916 |    70197    62097     30 |  0.000 % |
46.05/46.15	c |    105361 |     849    13728    45916 |    70197    62245     30 |  0.000 % |
46.15/46.25	c |    105522 |     849    13728    45916 |    70197    62406     30 |  0.000 % |
46.25/46.39	c |    105700 |     849    13728    45916 |    70197    62584     30 |  0.000 % |
46.35/46.50	c |    105894 |     849    13728    45916 |    70197    62778     30 |  0.000 % |
46.55/46.68	c |    106106 |     849    13728    45916 |    70197    62990     30 |  0.000 % |
46.75/46.85	c |    106340 |     849    13728    45916 |    70197    63224     30 |  0.000 % |
46.95/47.00	c |    106596 |     849    13728    45916 |    70197    63480     30 |  0.000 % |
47.15/47.25	c |    106877 |     849    13728    45916 |    70197    63761     30 |  0.000 % |
47.35/47.45	c |    107186 |     849    13728    45916 |    70197    64070     30 |  0.000 % |
47.55/47.65	c |    107525 |     849    13728    45916 |    70197    64409     30 |  0.000 % |
47.75/47.88	c |    107897 |     849    13728    45916 |    70197    64781     30 |  0.000 % |
47.95/48.07	c |    108310 |     849    13728    45916 |    70197    65194     30 |  0.000 % |
48.25/48.35	c |    108762 |     849    13728    45916 |    70197    65646     30 |  0.000 % |
48.55/48.67	c |    109256 |     849    13728    45916 |    70197    66140     31 |  0.000 % |
48.85/48.99	c |    109798 |     849    13728    45916 |    70197    66682     31 |  0.000 % |
49.35/49.44	c |    110394 |     849    13728    45916 |    66884    55329     30 |  0.000 % |
49.84/49.97	c |    111049 |     849    13728    45916 |    66884    55984     30 |  0.000 % |
50.34/50.42	c |    111769 |     849    13728    45916 |    66884    56704     30 |  0.000 % |
50.84/50.92	c |    112562 |     849    13728    45916 |    66884    57497     30 |  0.000 % |
51.55/51.62	c |    113434 |     849    13728    45916 |    66884    58369     30 |  0.000 % |
52.04/52.19	c |    114394 |     849    13728    45916 |    66884    59329     30 |  0.000 % |
52.94/53.01	c |    115448 |     849    13728    45916 |    66884    60383     30 |  0.000 % |
53.54/53.66	c |    116606 |     849    13728    45916 |    66884    61541     30 |  0.000 % |
54.44/54.55	c |    117879 |     849    13728    45916 |    66884    62814     30 |  0.000 % |
54.54/54.61	c |    117979 |     849    13728    45916 |    66884    62914     30 |  0.000 % |
54.54/54.68	c |    118089 |     849    13728    45916 |    66884    63024     30 |  0.000 % |
54.64/54.77	c |    118212 |     849    13728    45916 |    66884    63147     30 |  0.000 % |
54.74/54.85	c |    118345 |     849    13728    45916 |    66884    63280     30 |  0.000 % |
54.85/54.92	c |    118492 |     849    13728    45916 |    66884    63427     30 |  0.000 % |
54.95/55.03	c |    118652 |     849    13728    45916 |    66884    63587     30 |  0.000 % |
55.04/55.12	c |    118828 |     849    13728    45916 |    66884    63763     30 |  0.000 % |
55.14/55.22	c |    119021 |     849    13728    45916 |    66884    63956     30 |  0.000 % |
55.24/55.36	c |    119233 |     849    13728    45916 |    66884    64168     30 |  0.000 % |
55.34/55.49	c |    119466 |     849    13728    45916 |    66884    64401     30 |  0.000 % |
55.54/55.62	c |    119722 |     849    13728    45916 |    66884    64657     30 |  0.000 % |
55.74/55.81	c |    120003 |     849    13728    45916 |    64936    64938     30 |  0.000 % |
55.95/56.07	c |    120314 |     849    13728    45916 |    64936    54403     29 |  0.000 % |
56.14/56.28	c |    120655 |     849    13728    45916 |    64936    54744     29 |  0.000 % |
56.34/56.46	c |    121028 |     849    13728    45916 |    64936    55117     29 |  0.000 % |
56.64/56.72	c |    121438 |     849    13728    45916 |    64936    55527     29 |  0.000 % |
56.84/56.96	c |    121889 |     849    13728    45916 |    64936    55978     29 |  0.000 % |
57.15/57.25	c |    122383 |     849    13728    45916 |    64936    56472     29 |  0.000 % |
57.44/57.55	c |    122927 |     849    13728    45916 |    64936    57016     29 |  0.000 % |
57.74/57.83	c |    123523 |     849    13728    45916 |    64936    57612     30 |  0.000 % |
58.25/58.33	c |    124181 |     849    13728    45916 |    64936    58270     30 |  0.000 % |
58.74/58.90	c |    124902 |     849    13728    45916 |    64936    58991     30 |  0.000 % |
59.35/59.45	c |    125695 |     849    13728    45916 |    64936    59784     30 |  0.000 % |
59.94/60.10	c |    126566 |     849    13728    45916 |    64936    60655     30 |  0.000 % |
60.64/60.75	c |    127524 |     849    13728    45916 |    64936    61613     30 |  0.000 % |
61.34/61.49	c |    128579 |     849    13728    45916 |    64936    62668     30 |  0.000 % |
62.34/62.49	c |    129739 |     849    13728    45916 |    64936    63828     30 |  0.000 % |
63.44/63.56	c |    131013 |     849    13728    45916 |    64090    52512     29 |  0.000 % |
64.34/64.46	c |    132414 |     849    13728    45916 |    64090    53913     29 |  0.000 % |
64.44/64.55	c |    132515 |     849    13728    45916 |    64090    54014     29 |  0.000 % |
64.54/64.62	c |    132625 |     849    13728    45916 |    64090    54124     29 |  0.000 % |
64.64/64.70	c |    132747 |     849    13728    45916 |    64090    54246     29 |  0.000 % |
64.64/64.79	c |    132881 |     849    13728    45916 |    64090    54380     29 |  0.000 % |
64.74/64.90	c |    133027 |     849    13728    45916 |    64090    54526     29 |  0.000 % |
64.94/65.03	c |    133187 |     849    13728    45916 |    64090    54686     29 |  0.000 % |
65.04/65.16	c |    133363 |     849    13728    45916 |    64090    54862     29 |  0.000 % |
65.24/65.32	c |    133557 |     849    13728    45916 |    64090    55056     29 |  0.000 % |
65.34/65.45	c |    133769 |     849    13728    45916 |    64090    55268     29 |  0.000 % |
65.54/65.62	c |    134003 |     849    13728    45916 |    64090    55502     29 |  0.000 % |
65.64/65.74	c |    134259 |     849    13728    45916 |    64090    55758     29 |  0.000 % |
65.94/66.04	c |    134541 |     849    13728    45916 |    64090    56040     29 |  0.000 % |
66.24/66.34	c |    134851 |     849    13728    45916 |    64090    56350     29 |  0.000 % |
66.54/66.61	c |    135193 |     849    13728    45916 |    64090    56692     29 |  0.000 % |
66.74/66.82	c |    135566 |     849    13728    45916 |    64090    57065     29 |  0.000 % |
67.14/67.25	c |    135976 |     849    13728    45916 |    64090    57475     30 |  0.000 % |
67.44/67.59	c |    136425 |     849    13728    45916 |    64090    57924     30 |  0.000 % |
67.84/67.98	c |    136919 |     849    13728    45916 |    64090    58418     30 |  0.000 % |
68.24/68.33	c |    137461 |     849    13728    45916 |    64090    58960     30 |  0.000 % |
68.64/68.77	c |    138059 |     849    13728    45916 |    64090    59558     30 |  0.000 % |
69.14/69.30	c |    138715 |     849    13728    45916 |    64090    60214     30 |  0.000 % |
69.73/69.82	c |    139438 |     849    13728    45916 |    64090    60937     30 |  0.000 % |
70.43/70.56	c |    140232 |     849    13728    45916 |    61500    51387     29 |  0.000 % |
71.03/71.15	c |    141103 |     849    13728    45916 |    61500    52258     29 |  0.000 % |
71.63/71.74	c |    142061 |     849    13728    45916 |    61500    53216     29 |  0.000 % |
72.44/72.51	c |    143115 |     849    13728    45916 |    61500    54270     29 |  0.000 % |
73.23/73.36	c |    144275 |     849    13728    45916 |    61500    55430     29 |  0.000 % |
74.03/74.12	c |    145548 |     849    13728    45916 |    61500    56703     29 |  0.000 % |
75.03/75.14	c |    146949 |     849    13728    45916 |    61500    58104     30 |  0.000 % |
75.84/75.97	c |    148489 |     849    13728    45916 |    61500    59644     30 |  0.000 % |
75.93/76.03	c |    148589 |     849    13728    45916 |    61500    59744     30 |  0.000 % |
76.03/76.10	c |    148699 |     849    13728    45916 |    61500    59854     30 |  0.000 % |
76.03/76.18	c |    148822 |     849    13728    45916 |    61500    59977     30 |  0.000 % |
76.13/76.25	c |    148956 |     849    13728    45916 |    61500    60111     30 |  0.000 % |
76.23/76.36	c |    149102 |     849    13728    45916 |    61500    60257     30 |  0.000 % |
76.43/76.50	c |    149263 |     849    13728    45916 |    61500    60418     30 |  0.000 % |
76.53/76.65	c |    149439 |     849    13728    45916 |    61500    60594     30 |  0.000 % |
76.63/76.73	c |    149632 |     849    13728    45916 |    61500    60787     30 |  0.000 % |
76.73/76.83	c |    149845 |     849    13728    45916 |    61500    61000     30 |  0.000 % |
76.83/76.99	c |    150079 |     849    13728    45916 |    61155    61234     30 |  0.000 % |
77.13/77.27	c |    150336 |     849    13728    45916 |    61155    51837     29 |  0.000 % |
77.33/77.48	c |    150617 |     849    13728    45916 |    61155    52118     29 |  0.000 % |
77.53/77.67	c |    150926 |     849    13728    45916 |    61155    52427     29 |  0.000 % |
77.73/77.88	c |    151265 |     849    13728    45916 |    61155    52766     29 |  0.000 % |
78.03/78.12	c |    151637 |     849    13728    45916 |    61155    53138     29 |  0.000 % |
78.33/78.44	c |    152048 |     849    13728    45916 |    61155    53549     29 |  0.000 % |
78.73/78.82	c |    152497 |     849    13728    45916 |    61155    53998     29 |  0.000 % |
79.03/79.15	c |    152990 |     849    13728    45916 |    61155    54491     29 |  0.000 % |
79.43/79.55	c |    153532 |     849    13728    45916 |    61155    55033     29 |  0.000 % |
79.83/79.98	c |    154128 |     849    13728    45916 |    61155    55629     29 |  0.000 % |
80.43/80.52	c |    154784 |     849    13728    45916 |    61155    56285     29 |  0.000 % |
80.83/80.97	c |    155506 |     849    13728    45916 |    61155    57007     29 |  0.000 % |
81.43/81.53	c |    156299 |     849    13728    45916 |    61155    57800     29 |  0.000 % |
82.03/82.11	c |    157172 |     849    13728    45916 |    61155    58673     29 |  0.000 % |
82.83/82.97	c |    158131 |     849    13728    45916 |    61155    59632     29 |  0.000 % |
83.73/83.83	c |    159184 |     849    13728    45916 |    61155    60685     29 |  0.000 % |
84.53/84.67	c |    160343 |     849    13728    45916 |    51288    43189     27 |  0.000 % |
85.13/85.23	c |    161617 |     849    13728    45916 |    51288    44463     27 |  0.000 % |
85.93/86.00	c |    163017 |     849    13728    45916 |    51288    45863     28 |  0.000 % |
86.63/86.80	c |    164558 |     849    13728    45916 |    51288    47404     28 |  0.000 % |
88.03/88.17	c |    166253 |     849    13728    45916 |    51288    49099     28 |  0.000 % |
88.13/88.24	c |    166353 |     849    13728    45916 |    51288    49199     28 |  0.000 % |
88.23/88.33	c |    166463 |     849    13728    45916 |    51288    49309     28 |  0.000 % |
88.33/88.41	c |    166584 |     849    13728    45916 |    51288    49430     28 |  0.000 % |
88.33/88.49	c |    166717 |     849    13728    45916 |    51288    49563     28 |  0.000 % |
88.43/88.60	c |    166863 |     849    13728    45916 |    51288    49709     28 |  0.000 % |
88.63/88.74	c |    167025 |     849    13728    45916 |    51288    49871     28 |  0.000 % |
88.73/88.86	c |    167201 |     849    13728    45916 |    51288    50047     28 |  0.000 % |
88.83/88.97	c |    167394 |     849    13728    45916 |    51288    50240     28 |  0.000 % |
89.03/89.15	c |    167606 |     849    13728    45916 |    51288    50452     28 |  0.000 % |
89.13/89.25	c |    167839 |     849    13728    45916 |    51288    50685     28 |  0.000 % |
89.23/89.39	c |    168096 |     849    13728    45916 |    51288    50942     28 |  0.000 % |
89.53/89.61	c |    168377 |     849    13728    45916 |    51288    51223     28 |  0.000 % |
89.73/89.81	c |    168687 |     849    13728    45916 |    51288    44468     28 |  0.000 % |
89.93/90.00	c |    169027 |     849    13728    45916 |    51288    44808     28 |  0.000 % |
90.03/90.17	c |    169399 |     849    13728    45916 |    51288    45180     28 |  0.000 % |
90.33/90.41	c |    169809 |     849    13728    45916 |    51288    45590     28 |  0.000 % |
90.53/90.67	c |    170258 |     849    13728    45916 |    45782    39893     27 |  0.001 % |
90.83/90.91	c |    170751 |     849    13728    45916 |    45782    40386     27 |  0.000 % |
91.13/91.22	c |    171293 |     849    13728    45916 |    45782    40928     27 |  0.000 % |
91.33/91.48	c |    171890 |     849    13728    45916 |    45782    41525     27 |  0.000 % |
91.73/91.86	c |    172548 |     849    13728    45916 |    45782    42183     27 |  0.000 % |
92.13/92.27	c |    173268 |     849    13728    45916 |    45782    42903     27 |  0.000 % |
92.52/92.66	c |    174062 |     849    13728    45916 |    45782    43697     28 |  0.000 % |
93.02/93.12	c |    174937 |     849    13728    45916 |    45782    44572     28 |  0.000 % |
93.43/93.54	c |    175898 |     849    13728    45916 |    45782    45533     28 |  0.000 % |
93.92/94.05	c |    176951 |     849    13728    45916 |    45782    41788     27 |  0.000 % |
94.62/94.71	c |    178110 |     849    13728    45916 |    45782    42947     27 |  0.000 % |
95.22/95.36	c |    179384 |     849    13728    45916 |    45782    44221     28 |  0.000 % |
96.02/96.14	c |    180785 |     849    13728    45916 | 2147483647    45622     28 |  0.000 % |
97.02/97.12	c |    182326 |     849    13728    45916 | 2147483647    47163     28 |  0.000 % |
97.92/98.02	c |    184020 |     849    13728    45916 | 2147483647    48857     28 |  0.000 % |
99.32/99.42	c |    185883 |     849    13728    45916 | 2147483647    50720     28 |  0.000 % |
99.32/99.49	c |    185983 |     849    13728    45916 | 2147483647    50820     28 |  0.000 % |
99.42/99.55	c |    186094 |     849    13728    45916 | 2147483647    50931     28 |  0.000 % |
99.52/99.63	c |    186215 |     849    13728    45916 | 2147483647    51052     28 |  0.000 % |
99.62/99.71	c |    186348 |     849    13728    45916 | 2147483647    51185     28 |  0.000 % |
99.72/99.83	c |    186494 |     849    13728    45916 | 2147483647    51331     28 |  0.000 % |
99.82/99.94	c |    186654 |     849    13728    45916 | 2147483647    51491     28 |  0.000 % |
99.93/100.08	c |    186830 |     849    13728    45916 | 2147483647    51667     28 |  0.000 % |
100.12/100.23	c |    187023 |     849    13728    45916 | 2147483647    51860     28 |  0.000 % |
100.22/100.37	c |    187235 |     849    13728    45916 | 2147483647    52072     28 |  0.000 % |
100.42/100.51	c |    187468 |     849    13728    45916 | 2147483647    52305     28 |  0.000 % |
100.62/100.71	c |    187725 |     849    13728    45916 | 2147483647    52562     28 |  0.000 % |
100.72/100.84	c |    188007 |     849    13728    45916 | 2147483647    52844     28 |  0.000 % |
100.92/101.01	c |    188317 |     849    13728    45916 | 2147483647    53154     28 |  0.000 % |
101.03/101.16	c |    188656 |     849    13728    45916 | 2147483647    53493     28 |  0.000 % |
101.22/101.35	c |    189028 |     849    13728    45916 | 2147483647    53865     28 |  0.000 % |
101.42/101.59	c |    189437 |     849    13728    45916 | 2147483647    54274     28 |  0.000 % |
101.72/101.86	c |    189886 |     849    13728    45916 | 2147483647    54723     29 |  0.000 % |
102.13/102.23	c |    190379 |     849    13728    45916 |    54837    47813     28 |  0.000 % |
102.42/102.54	c |    190922 |     849    13728    45916 |    54837    48356     28 |  0.000 % |
102.72/102.82	c |    191519 |     849    13728    45916 |    54837    48953     28 |  0.000 % |
103.23/103.31	c |    192175 |     849    13728    45916 |    54837    49609     28 |  0.000 % |
103.62/103.73	c |    192896 |     849    13728    45916 |    54837    50330     28 |  0.000 % |
104.02/104.18	c |    193688 |     849    13728    45916 |    54837    51122     28 |  0.000 % |
104.52/104.68	c |    194559 |     849    13728    45916 |    54837    51993     28 |  0.000 % |
105.22/105.38	c |    195517 |     849    13728    45916 |    54837    52951     28 |  0.000 % |
106.12/106.20	c |    196571 |     849    13728    45916 |    54837    54005     28 |  0.000 % |
107.12/107.23	c |    197729 |     849    13728    45916 |    54837    46959     27 |  0.000 % |
108.02/108.18	c |    199003 |     849    13728    45916 |    54837    48233     28 |  0.000 % |
109.02/109.14	c |    200403 |     849    13728    45916 |    49230    42186     27 |  0.000 % |
109.92/110.07	c |    201944 |     849    13728    45916 |    49230    43727     27 |  0.000 % |
110.82/110.97	c |    203639 |     849    13728    45916 |    49230    45422     27 |  0.000 % |
111.92/112.08	c |    205503 |     849    13728    45916 |    49230    47286     27 |  0.000 % |
113.22/113.38	c |    207552 |     849    13728    45916 |    49230    49335     28 |  0.000 % |
113.32/113.49	c |    207652 |     849    13728    45916 |    49230    42084     27 |  0.000 % |
113.42/113.58	c |    207763 |     849    13728    45916 |    49230    42195     27 |  0.001 % |
113.52/113.63	c |    207884 |     849    13728    45916 |    49230    42316     27 |  0.000 % |
113.62/113.71	c |    208018 |     849    13728    45916 |    49230    42450     27 |  0.000 % |
113.71/113.83	c |    208164 |     849    13728    45916 |    49230    42596     27 |  0.000 % |
113.81/113.94	c |    208324 |     849    13728    45916 |    49230    42756     27 |  0.000 % |
113.91/114.06	c |    208501 |     849    13728    45916 |    49230    42933     27 |  0.000 % |
114.11/114.21	c |    208694 |     849    13728    45916 |    49230    43126     27 |  0.000 % |
114.21/114.36	c |    208907 |     849    13728    45916 |    49230    43339     27 |  0.000 % |
114.31/114.46	c |    209141 |     849    13728    45916 |    49230    43573     27 |  0.000 % |
114.51/114.63	c |    209399 |     849    13728    45916 |    49230    43831     27 |  0.000 % |
114.61/114.77	c |    209680 |     849    13728    45916 |    49230    44112     27 |  0.000 % |
114.81/114.90	c |    209989 |     849    13728    45916 |    49230    44421     27 |  0.000 % |
115.01/115.18	c |    210328 |     849    13728    45916 |    44432    38340     26 |  0.000 % |
115.21/115.36	c |    210700 |     849    13728    45916 |    44432    38712     26 |  0.000 % |
115.51/115.63	c |    211109 |     849    13728    45916 |    44432    39121     26 |  0.000 % |
115.71/115.84	c |    211558 |     849    13728    45916 |    44432    39570     26 |  0.000 % |
116.01/116.19	c |    212051 |     849    13728    45916 |    44432    40063     26 |  0.000 % |
116.31/116.44	c |    212594 |     849    13728    45916 |    44432    40606     27 |  0.000 % |
116.61/116.74	c |    213191 |     849    13728    45916 |    44432    41203     27 |  0.000 % |
117.01/117.11	c |    213846 |     849    13728    45916 |    44432    41858     27 |  0.000 % |
117.51/117.64	c |    214566 |     849    13728    45916 |    44432    42578     27 |  0.000 % |
117.81/117.98	c |    215359 |     849    13728    45916 |    44432    43371     27 |  0.000 % |
118.31/118.48	c |    216232 |     849    13728    45916 |    44432    44244     27 |  0.000 % |
119.01/119.20	c |    217190 |     849    13728    45916 |    44432    40200     27 |  0.000 % |
119.41/119.58	c |    218243 |     849    13728    45916 |    44432    41253     27 |  0.001 % |
120.11/120.29	c |    219402 |     849    13728    45916 |    44432    42412     27 |  0.000 % |
120.91/121.03	c |    220675 |     849    13728    45916 |    43010    39151     27 |  0.000 % |
121.41/121.56	c |    222075 |     849    13728    45916 |    43010    40551     27 |  0.000 % |
122.41/122.53	c |    223615 |     849    13728    45916 |    43010    42091     28 |  0.000 % |
123.21/123.35	c |    225309 |     849    13728    45916 |    43010    39086     27 |  0.000 % |
124.41/124.50	c |    227172 |     849    13728    45916 |    43010    40949     28 |  0.000 % |
125.50/125.61	c |    229221 |     849    13728    45916 |    43010    42998     28 |  0.000 % |
127.00/127.15	c |    231475 |     849    13728    45916 |    39203    36398     27 |  0.000 % |
127.10/127.22	c |    231575 |     849    13728    45916 |    39203    36498     27 |  0.000 % |
127.10/127.29	c |    231685 |     849    13728    45916 |    39203    36608     27 |  0.000 % |
127.20/127.38	c |    231807 |     849    13728    45916 |    39203    36730     27 |  0.000 % |
127.30/127.46	c |    231940 |     849    13728    45916 |    39203    36863     27 |  0.000 % |
127.41/127.55	c |    232086 |     849    13728    45916 |    39203    37009     27 |  0.000 % |
127.51/127.64	c |    232246 |     849    13728    45916 |    39203    37169     27 |  0.000 % |
127.60/127.77	c |    232423 |     849    13728    45916 |    39203    37346     27 |  0.000 % |
127.70/127.87	c |    232617 |     849    13728    45916 |    39203    37540     27 |  0.000 % |
127.80/127.97	c |    232830 |     849    13728    45916 |    39203    37753     28 |  0.000 % |
128.00/128.11	c |    233064 |     849    13728    45916 |    39203    37987     28 |  0.000 % |
128.10/128.25	c |    233322 |     849    13728    45916 |    39203    38245     28 |  0.000 % |
128.30/128.41	c |    233605 |     849    13728    45916 |    39203    38528     28 |  0.000 % |
128.40/128.54	c |    233916 |     849    13728    45916 |    39203    38839     28 |  0.000 % |
128.61/128.76	c |    234255 |     849    13728    45916 |    39203    39178     28 |  0.000 % |
128.80/128.99	c |    234627 |     849    13728    45916 |    39203    35457     27 |  0.000 % |
129.10/129.22	c |    235036 |     849    13728    45916 |    39203    35866     27 |  0.000 % |
129.30/129.46	c |    235485 |     849    13728    45916 |    39203    36315     27 |  0.000 % |
129.61/129.73	c |    235978 |     849    13728    45916 |    39203    36808     27 |  0.000 % |
129.90/130.00	c |    236521 |     849    13728    45916 |    39203    37351     27 |  0.000 % |
130.20/130.34	c |    237118 |     849    13728    45916 |    39203    37948     27 |  0.000 % |
130.50/130.62	c |    237773 |     849    13728    45916 |    39203    38603     28 |  0.000 % |
130.90/131.04	c |    238495 |     849    13728    45916 |    39203    39325     28 |  0.001 % |
131.40/131.50	c |    239288 |     849    13728    45916 |    39203    36186     27 |  0.000 % |
131.91/132.04	c |    240159 |     849    13728    45916 | 2147483647    37057     27 |  0.001 % |
132.50/132.68	c |    241117 |     849    13728    45916 | 2147483647    38015     27 |  0.000 % |
133.20/133.35	c |    242171 |     849    13728    45916 | 2147483647    39069     27 |  0.000 % |
134.01/134.17	c |    243331 |     849    13728    45916 | 2147483647    40229     27 |  0.000 % |
134.91/135.06	c |    244605 |     849    13728    45916 | 2147483647    41503     27 |  0.000 % |
135.81/135.90	c |    246005 |     849    13728    45916 | 2147483647    42903     28 |  0.000 % |
136.91/137.04	c |    247545 |     849    13728    45916 | 2147483647    44443     28 |  0.000 % |
138.31/138.43	c |    249240 |     849    13728    45916 | 2147483647    46138     28 |  0.000 % |
139.11/139.26	c |    251103 |     849    13728    45916 |    46898    42279     28 |  0.000 % |
140.31/140.40	c |    253153 |     849    13728    45916 |    46898    44329     28 |  0.000 % |
141.91/142.09	c |    255406 |     849    13728    45916 |    46898    46582     28 |  0.000 % |
143.41/143.56	c |    257887 |     849    13728    45916 |    46898    43660     27 |  0.000 % |
143.51/143.62	c |    257987 |     849    13728    45916 |    46898    43760     27 |  0.000 % |
143.61/143.70	c |    258097 |     849    13728    45916 |    46898    43870     27 |  0.000 % |
143.61/143.79	c |    258218 |     849    13728    45916 |    46898    43991     27 |  0.000 % |
143.71/143.87	c |    258351 |     849    13728    45916 |    46898    44124     27 |  0.000 % |
143.81/143.93	c |    258500 |     849    13728    45916 |    46898    44273     27 |  0.000 % |
143.91/144.00	c |    258662 |     849    13728    45916 |    46898    44435     27 |  0.000 % |
143.91/144.09	c |    258839 |     849    13728    45916 |    46898    44612     27 |  0.001 % |
144.11/144.21	c |    259032 |     849    13728    45916 |    46898    44805     27 |  0.000 % |
144.21/144.33	c |    259247 |     849    13728    45916 |    46898    45020     27 |  0.000 % |
144.31/144.42	c |    259481 |     849    13728    45916 |    46898    45254     27 |  0.000 % |
144.41/144.54	c |    259737 |     849    13728    45916 |    46898    45510     27 |  0.000 % |
144.51/144.65	c |    260019 |     849    13728    45916 |    45773    45792     27 |  0.000 % |
144.71/144.80	c |    260328 |     849    13728    45916 |    45773    41235     26 |  0.000 % |
144.81/144.92	c |    260667 |     849    13728    45916 |    45773    41574     26 |  0.000 % |
144.91/145.08	c |    261040 |     849    13728    45916 |    45773    41947     26 |  0.000 % |
145.11/145.26	c |    261450 |     849    13728    45916 |    45773    42357     27 |  0.000 % |
145.31/145.48	c |    261899 |     849    13728    45916 |    45773    42806     27 |  0.000 % |
145.61/145.74	c |    262395 |     849    13728    45916 |    45773    43302     27 |  0.000 % |
145.81/145.97	c |    262937 |     849    13728    45916 |    45773    43844     27 |  0.000 % |
146.11/146.20	c |    263534 |     849    13728    45916 |    45773    44441     27 |  0.000 % |
146.41/146.51	c |    264189 |     849    13728    45916 |    45773    45096     27 |  0.000 % |
146.81/146.91	c |    264909 |     849    13728    45916 |    45773    45816     27 |  0.000 % |
147.21/147.34	c |    265702 |     849    13728    45916 |    45773    42028     27 |  0.000 % |
147.51/147.67	c |    266576 |     849    13728    45916 |    45773    42902     27 |  0.000 % |
148.11/148.23	c |    267535 |     849    13728    45916 |    45773    43861     27 |  0.000 % |
148.61/148.78	c |    268589 |     849    13728    45916 |    45773    44915     27 |  0.000 % |
149.31/149.40	c |    269747 |     849    13728    45916 |    45773    41480     27 |  0.000 % |
150.21/150.31	c |    271020 |     849    13728    45916 | 2147483647    42753     27 |  0.000 % |
150.91/151.09	c |    272421 |     849    13728    45916 | 2147483647    44154     27 |  0.000 % |
151.90/152.03	c |    273963 |     849    13728    45916 | 2147483647    45696     27 |  0.000 % |
153.00/153.17	c |    275658 |     849    13728    45916 | 2147483647    47391     27 |  0.000 % |
154.20/154.34	c |    277521 |     849    13728    45916 | 2147483647    49254     28 |  0.000 % |
155.30/155.46	c |    279571 |     849    13728    45916 | 2147483647    51304     28 |  0.000 % |
156.80/156.92	c |    281824 |     849    13728    45916 | 2147483647    53557     28 |  0.000 % |
158.70/158.82	c |    284303 |     849    13728    45916 | 2147483647    56036     28 |  0.000 % |
160.69/160.87	c |    287028 |     849    13728    45916 | 2147483647    58761     28 |  0.000 % |
160.79/160.95	c |    287128 |     849    13728    45916 | 2147483647    58861     28 |  0.000 % |
160.89/161.01	c |    287241 |     849    13728    45916 | 2147483647    58974     28 |  0.000 % |
160.89/161.08	c |    287364 |     849    13728    45916 | 2147483647    59097     28 |  0.000 % |
160.99/161.17	c |    287497 |     849    13728    45916 | 2147483647    59230     28 |  0.000 % |
161.09/161.26	c |    287643 |     849    13728    45916 | 2147483647    59376     28 |  0.000 % |
161.19/161.34	c |    287803 |     849    13728    45916 | 2147483647    59536     28 |  0.000 % |
161.29/161.43	c |    287979 |     849    13728    45916 | 2147483647    59712     28 |  0.000 % |
161.39/161.54	c |    288172 |     849    13728    45916 | 2147483647    59905     29 |  0.000 % |
161.50/161.68	c |    288386 |     849    13728    45916 | 2147483647    60119     29 |  0.000 % |
161.69/161.85	c |    288620 |     849    13728    45916 | 2147483647    60353     29 |  0.000 % |
161.79/161.98	c |    288876 |     849    13728    45916 | 2147483647    60609     29 |  0.000 % |
161.99/162.19	c |    289157 |     849    13728    45916 | 2147483647    60890     29 |  0.000 % |
162.19/162.39	c |    289466 |     849    13728    45916 | 2147483647    61199     29 |  0.000 % |
162.49/162.64	c |    289806 |     849    13728    45916 | 2147483647    61539     29 |  0.000 % |
162.79/162.95	c |    290178 |     849    13728    45916 |    61734    52311     28 |  0.000 % |
162.99/163.17	c |    290588 |     849    13728    45916 |    61734    52721     28 |  0.000 % |
163.29/163.43	c |    291038 |     849    13728    45916 |    61734    53171     28 |  0.000 % |
163.59/163.73	c |    291531 |     849    13728    45916 |    61734    53664     28 |  0.000 % |
163.89/164.05	c |    292073 |     849    13728    45916 |    61734    54206     28 |  0.000 % |
164.19/164.37	c |    292671 |     849    13728    45916 |    61734    54804     29 |  0.000 % |
164.59/164.78	c |    293328 |     849    13728    45916 |    61734    55461     29 |  0.000 % |
165.09/165.23	c |    294049 |     849    13728    45916 |    61734    56182     29 |  0.000 % |
165.59/165.78	c |    294841 |     849    13728    45916 |    61734    56974     29 |  0.000 % |
166.09/166.28	c |    295712 |     849    13728    45916 |    61734    57845     29 |  0.000 % |
166.69/166.87	c |    296670 |     849    13728    45916 |    61734    58803     29 |  0.000 % |
167.39/167.56	c |    297724 |     849    13728    45916 |    61734    59857     29 |  0.000 % |
168.19/168.33	c |    298883 |     849    13728    45916 |    61734    61016     29 |  0.000 % |
169.19/169.36	c |    300157 |     849    13728    45916 |    53298    45879     28 |  0.000 % |
170.09/170.23	c |    301557 |     849    13728    45916 |    53298    47279     28 |  0.000 % |
170.89/171.00	c |    303097 |     849    13728    45916 |    53298    48819     29 |  0.000 % |
171.79/171.99	c |    304791 |     849    13728    45916 |    53298    50513     29 |  0.000 % |
172.99/173.16	c |    306655 |     849    13728    45916 |    53298    52377     29 |  0.000 % |
174.49/174.65	c |    308704 |     849    13728    45916 |    53298    47848     28 |  0.000 % |
175.89/176.07	c |    310957 |     849    13728    45916 |    49145    43730     28 |  0.000 % |
177.79/177.92	c |    313435 |     849    13728    45916 |    49145    46208     29 |  0.000 % |
179.49/179.65	c |    316161 |     849    13728    45916 |    49145    48934     29 |  0.000 % |
181.19/181.31	c |    319159 |     849    13728    45916 |    49145    45402     29 |  0.000 % |
181.19/181.38	c |    319261 |     849    13728    45916 |    49145    45504     29 |  0.000 % |
181.29/181.45	c |    319373 |     849    13728    45916 |    49145    45616     29 |  0.000 % |
181.39/181.53	c |    319495 |     849    13728    45916 |    49145    45738     29 |  0.000 % |
181.49/181.62	c |    319628 |     849    13728    45916 |    49145    45871     29 |  0.000 % |
181.59/181.70	c |    319774 |     849    13728    45916 |    49145    46017     29 |  0.000 % |
181.69/181.83	c |    319934 |     849    13728    45916 |    49145    46177     29 |  0.000 % |
181.79/181.95	c |    320110 |     849    13728    45916 |    46244    46353     29 |  0.000 % |
181.99/182.13	c |    320303 |     849    13728    45916 |    46244    40678     29 |  0.000 % |
182.09/182.24	c |    320517 |     849    13728    45916 |    46244    40892     29 |  0.000 % |
182.19/182.36	c |    320751 |     849    13728    45916 |    46244    41126     29 |  0.000 % |
182.39/182.50	c |    321007 |     849    13728    45916 |    46244    41382     29 |  0.000 % |
182.49/182.68	c |    321289 |     849    13728    45916 |    46244    41664     29 |  0.000 % |
182.69/182.86	c |    321598 |     849    13728    45916 |    46244    41973     29 |  0.000 % |
182.89/183.01	c |    321939 |     849    13728    45916 |    46244    42314     29 |  0.000 % |
183.09/183.26	c |    322311 |     849    13728    45916 |    46244    42686     29 |  0.000 % |
183.29/183.46	c |    322721 |     849    13728    45916 |    46244    43096     29 |  0.000 % |
183.59/183.74	c |    323170 |     849    13728    45916 |    46244    43545     29 |  0.000 % |
183.89/184.08	c |    323663 |     849    13728    45916 |    46244    44038     29 |  0.000 % |
184.19/184.30	c |    324206 |     849    13728    45916 |    46244    44581     29 |  0.000 % |
184.48/184.65	c |    324805 |     849    13728    45916 |    46244    45180     29 |  0.000 % |
184.88/185.04	c |    325463 |     849    13728    45916 |    46244    45838     29 |  0.000 % |
185.28/185.42	c |    326184 |     849    13728    45916 |    46244    41478     29 |  0.000 % |
185.79/185.90	c |    326977 |     849    13728    45916 |    46244    42271     29 |  0.000 % |
186.18/186.30	c |    327848 |     849    13728    45916 |    46244    43142     29 |  0.000 % |
186.58/186.73	c |    328806 |     849    13728    45916 |    46244    44100     29 |  0.000 % |
186.98/187.18	c |    329861 |     849    13728    45916 |    46244    45155     30 |  0.000 % |
187.48/187.68	c |    331019 |     849    13728    45916 | 2147483647    46313     30 |  0.000 % |
188.08/188.28	c |    332294 |     849    13728    45916 | 2147483647    47588     30 |  0.000 % |
188.88/189.09	c |    333695 |     849    13728    45916 | 2147483647    48989     30 |  0.000 % |
189.78/189.90	c |    335235 |     849    13728    45916 | 2147483647    50529     30 |  0.000 % |
190.89/191.07	c |    336930 |     849    13728    45916 | 2147483647    52224     30 |  0.000 % |
192.08/192.22	c |    338793 |     849    13728    45916 | 2147483647    54087     30 |  0.000 % |
193.58/193.71	c |    340843 |     849    13728    45916 |    55294    49663     30 |  0.000 % |
195.18/195.31	c |    343096 |     849    13728    45916 |    55294    51916     30 |  0.000 % |
197.08/197.21	c |    345574 |     849    13728    45916 |    55294    54394     30 |  0.000 % |
199.68/199.85	c |    348300 |     849    13728    45916 |    55294    48046     29 |  0.000 % |
201.68/201.83	c |    351297 |     849    13728    45916 |    49748    43036     28 |  0.000 % |
204.18/204.35	c |    354594 |     849    13728    45916 |    49748    46333     28 |  0.000 % |
204.28/204.42	c |    354695 |     849    13728    45916 |    49748    46434     28 |  0.000 % |
204.28/204.50	c |    354805 |     849    13728    45916 |    49748    46544     28 |  0.000 % |
204.38/204.55	c |    354926 |     849    13728    45916 |    49748    46665     28 |  0.000 % |
204.48/204.60	c |    355059 |     849    13728    45916 |    49748    46798     28 |  0.000 % |
204.48/204.68	c |    355205 |     849    13728    45916 |    49748    46944     28 |  0.000 % |
204.57/204.77	c |    355367 |     849    13728    45916 |    49748    47106     28 |  0.000 % |
204.67/204.88	c |    355544 |     849    13728    45916 |    49748    47283     28 |  0.000 % |
204.77/204.98	c |    355737 |     849    13728    45916 |    49748    47476     28 |  0.000 % |
204.97/205.10	c |    355951 |     849    13728    45916 |    49748    47690     28 |  0.000 % |
205.07/205.22	c |    356184 |     849    13728    45916 |    49748    47923     28 |  0.000 % |
205.17/205.39	c |    356441 |     849    13728    45916 |    49748    48180     28 |  0.000 % |
205.37/205.54	c |    356723 |     849    13728    45916 |    49748    48462     28 |  0.000 % |
205.58/205.70	c |    357032 |     849    13728    45916 |    49748    48771     28 |  0.000 % |
205.77/205.95	c |    357372 |     849    13728    45916 |    49748    49111     28 |  0.000 % |
206.07/206.20	c |    357744 |     849    13728    45916 |    49748    49483     28 |  0.000 % |
206.37/206.53	c |    358154 |     849    13728    45916 |    49748    43669     28 |  0.000 % |
206.58/206.75	c |    358605 |     849    13728    45916 |    49748    44120     28 |  0.000 % |
206.87/207.03	c |    359098 |     849    13728    45916 |    49748    44613     28 |  0.000 % |
207.17/207.37	c |    359640 |     849    13728    45916 |    49748    45155     28 |  0.000 % |
207.57/207.76	c |    360238 |     849    13728    45916 |    45516    40385     27 |  0.000 % |
207.97/208.15	c |    360895 |     849    13728    45916 |    45516    41042     27 |  0.000 % |
208.27/208.46	c |    361615 |     849    13728    45916 |    45516    41762     27 |  0.000 % |
208.78/208.94	c |    362407 |     849    13728    45916 |    45516    42554     27 |  0.000 % |
209.17/209.39	c |    363281 |     849    13728    45916 |    45516    43428     27 |  0.000 % |
209.77/209.91	c |    364242 |     849    13728    45916 |    45516    44389     27 |  0.000 % |
210.27/210.41	c |    365296 |     849    13728    45916 |    45516    45443     27 |  0.000 % |
210.97/211.14	c |    366454 |     849    13728    45916 |    45516    42036     27 |  0.000 % |
211.67/211.85	c |    367727 |     849    13728    45916 |    45516    43309     27 |  0.000 % |
212.57/212.72	c |    369128 |     849    13728    45916 |    45516    44710     27 |  0.000 % |
213.57/213.70	c |    370670 |     849    13728    45916 | 2147483647    46252     27 |  0.000 % |
214.77/214.99	c |    372364 |     849    13728    45916 | 2147483647    47946     27 |  0.000 % |
216.07/216.25	c |    374228 |     849    13728    45916 | 2147483647    49810     28 |  0.000 % |
217.47/217.65	c |    376277 |     849    13728    45916 | 2147483647    51859     28 |  0.000 % |
219.27/219.47	c |    378530 |     849    13728    45916 | 2147483647    54112     28 |  0.000 % |
221.07/221.26	c |    381008 |     849    13728    45916 |    55583    50288     28 |  0.000 % |
222.67/222.85	c |    383733 |     849    13728    45916 |    55583    53013     28 |  0.000 % |
225.07/225.22	c |    386730 |     849    13728    45916 |    55583    49103     28 |  0.000 % |
226.97/227.19	c |    390027 |     849    13728    45916 |    52373    52400     28 |  0.000 % |
229.27/229.48	c |    393653 |     849    13728    45916 |    52373    49608     28 |  0.000 % |
229.37/229.55	c |    393753 |     849    13728    45916 |    52373    49708     28 |  0.000 % |
229.47/229.60	c |    393865 |     849    13728    45916 |    52373    49820     28 |  0.000 % |
229.47/229.67	c |    393987 |     849    13728    45916 |    52373    49942     28 |  0.000 % |
229.57/229.77	c |    394120 |     849    13728    45916 |    52373    50075     28 |  0.000 % |
229.67/229.90	c |    394266 |     849    13728    45916 |    52373    50221     28 |  0.000 % |
229.87/230.01	c |    394426 |     849    13728    45916 |    52373    50381     28 |  0.000 % |
229.97/230.12	c |    394602 |     849    13728    45916 |    52373    50557     28 |  0.000 % |
230.07/230.23	c |    394795 |     849    13728    45916 |    52373    50750     28 |  0.000 % |
230.17/230.37	c |    395008 |     849    13728    45916 |    52373    50963     28 |  0.000 % |
230.27/230.49	c |    395241 |     849    13728    45916 |    52373    51196     28 |  0.000 % |
230.46/230.64	c |    395497 |     849    13728    45916 |    52373    51452     28 |  0.000 % |
230.66/230.82	c |    395781 |     849    13728    45916 |    52373    51736     28 |  0.000 % |
230.87/231.01	c |    396091 |     849    13728    45916 |    52373    52046     28 |  0.000 % |
231.16/231.31	c |    396431 |     849    13728    45916 |    52373    52386     28 |  0.000 % |
231.46/231.62	c |    396803 |     849    13728    45916 |    52373    47002     28 |  0.000 % |
231.76/231.94	c |    397212 |     849    13728    45916 |    52373    47411     28 |  0.000 % |
232.06/232.22	c |    397662 |     849    13728    45916 |    52373    47861     28 |  0.000 % |
232.36/232.50	c |    398155 |     849    13728    45916 |    52373    48354     28 |  0.000 % |
232.66/232.81	c |    398698 |     849    13728    45916 |    52373    48897     28 |  0.000 % |
233.17/233.39	c |    399294 |     849    13728    45916 |    52373    49493     28 |  0.000 % |
233.57/233.79	c |    399952 |     849    13728    45916 |    52373    50151     28 |  0.000 % |
234.07/234.27	c |    400673 |     849    13728    45916 |    50200    45505     28 |  0.000 % |
234.66/234.81	c |    401466 |     849    13728    45916 |    50200    46298     28 |  0.000 % |
235.17/235.34	c |    402337 |     849    13728    45916 |    50200    47169     28 |  0.000 % |
235.66/235.86	c |    403295 |     849    13728    45916 |    50200    48127     28 |  0.000 % |
236.27/236.45	c |    404349 |     849    13728    45916 |    50200    49181     28 |  0.000 % |
236.86/237.09	c |    405508 |     849    13728    45916 |    50200    50340     29 |  0.000 % |
237.96/238.10	c |    406781 |     849    13728    45916 |    50200    46579     28 |  0.000 % |
238.86/239.07	c |    408182 |     849    13728    45916 |    50200    47980     28 |  0.000 % |
239.96/240.16	c |    409722 |     849    13728    45916 |    50200    49520     29 |  0.000 % |
240.86/241.09	c |    411416 |     849    13728    45916 | 2147483647    51214     29 |  0.000 % |
242.16/242.37	c |    413279 |     849    13728    45916 | 2147483647    53077     29 |  0.000 % |
243.46/243.63	c |    415328 |     849    13728    45916 | 2147483647    55126     29 |  0.000 % |
245.06/245.22	c |    417581 |     849    13728    45916 | 2147483647    57379     29 |  0.000 % |
246.96/247.15	c |    420061 |     849    13728    45916 |    59799    59859     30 |  0.000 % |
248.96/249.16	c |    422786 |     849    13728    45916 |    59799    55371     29 |  0.000 % |
251.35/251.55	c |    425783 |     849    13728    45916 |    59799    58368     30 |  0.000 % |
253.96/254.13	c |    429080 |     849    13728    45916 |    59799    53176     29 |  0.000 % |
257.16/257.39	c |    432706 |     849    13728    45916 |    54098    49036     29 |  0.000 % |
260.35/260.56	c |    436693 |     849    13728    45916 |    54098    53023     30 |  0.000 % |
260.46/260.65	c |    436796 |     849    13728    45916 |    54098    53126     30 |  0.000 % |
260.56/260.72	c |    436909 |     849    13728    45916 |    54098    53239     30 |  0.000 % |
260.65/260.80	c |    437031 |     849    13728    45916 |    54098    53361     30 |  0.000 % |
260.75/260.93	c |    437165 |     849    13728    45916 |    54098    53495     30 |  0.000 % |
260.85/261.04	c |    437311 |     849    13728    45916 |    54098    53641     30 |  0.000 % |
260.95/261.19	c |    437471 |     849    13728    45916 |    54098    53801     30 |  0.000 % |
261.15/261.33	c |    437647 |     849    13728    45916 |    54098    53977     30 |  0.000 % |
261.25/261.48	c |    437840 |     849    13728    45916 |    54098    54170     30 |  0.000 % |
261.45/261.66	c |    438053 |     849    13728    45916 |    54098    46345     29 |  0.000 % |
261.66/261.81	c |    438287 |     849    13728    45916 |    54098    46579     29 |  0.000 % |
261.75/261.96	c |    438545 |     849    13728    45916 |    54098    46837     29 |  0.000 % |
261.95/262.14	c |    438829 |     849    13728    45916 |    54098    47121     29 |  0.000 % |
262.15/262.34	c |    439138 |     849    13728    45916 |    54098    47430     29 |  0.000 % |
262.35/262.58	c |    439477 |     849    13728    45916 |    54098    47769     30 |  0.000 % |
262.65/262.90	c |    439849 |     849    13728    45916 |    54098    48141     30 |  0.000 % |
263.05/263.20	c |    440261 |     849    13728    45916 |    48293    41674     29 |  0.000 % |
263.15/263.35	c |    440716 |     849    13728    45916 |    48293    42129     29 |  0.000 % |
263.35/263.56	c |    441211 |     849    13728    45916 |    48293    42624     29 |  0.000 % |
263.65/263.83	c |    441753 |     849    13728    45916 |    48293    43166     29 |  0.000 % |
264.05/264.21	c |    442349 |     849    13728    45916 |    48293    43762     29 |  0.000 % |
264.35/264.59	c |    443005 |     849    13728    45916 |    48293    44418     29 |  0.000 % |
265.05/265.26	c |    443725 |     849    13728    45916 |    48293    45138     29 |  0.000 % |
265.65/265.83	c |    444517 |     849    13728    45916 |    48293    45930     29 |  0.000 % |
266.05/266.30	c |    445388 |     849    13728    45916 |    48293    46801     29 |  0.000 % |
266.65/266.87	c |    446346 |     849    13728    45916 |    48293    47759     29 |  0.000 % |
267.35/267.50	c |    447401 |     849    13728    45916 |    48293    43561     29 |  0.000 % |
267.95/268.14	c |    448560 |     849    13728    45916 |    48293    44720     29 |  0.000 % |
268.85/269.02	c |    449833 |     849    13728    45916 |    48293    45993     29 |  0.000 % |
269.85/270.04	c |    451234 |     849    13728    45916 | 2147483647    47394     29 |  0.000 % |
270.95/271.15	c |    452774 |     849    13728    45916 | 2147483647    48934     29 |  0.000 % |
272.35/272.53	c |    454469 |     849    13728    45916 | 2147483647    50629     29 |  0.000 % |
273.95/274.17	c |    456333 |     849    13728    45916 | 2147483647    52493     29 |  0.000 % |
275.45/275.69	c |    458383 |     849    13728    45916 | 2147483647    54543     30 |  0.000 % |
277.35/277.59	c |    460636 |     849    13728    45916 |    56160    49830     29 |  0.000 % |
279.05/279.26	c |    463115 |     849    13728    45916 |    56160    52309     29 |  0.000 % |
281.05/281.25	c |    465840 |     849    13728    45916 |    56160    55034     29 |  0.000 % |
283.65/283.87	c |    468838 |     849    13728    45916 |    56160    50351     28 |  0.000 % |
286.34/286.50	c |    472135 |     849    13728    45916 |    51516    46984     27 |  0.000 % |
288.74/288.95	c |    475761 |     849    13728    45916 |    51516    50610     28 |  0.000 % |
292.05/292.24	c |    479750 |     849    13728    45916 |    51516    48590     28 |  0.000 % |
295.14/295.38	c |    484136 |     849    13728    45916 |    48841    47371     28 |  0.000 % |
295.24/295.44	c |    484236 |     849    13728    45916 |    48841    47471     28 |  0.000 % |
295.24/295.49	c |    484346 |     849    13728    45916 |    48841    47581     28 |  0.000 % |
295.34/295.56	c |    484467 |     849    13728    45916 |    48841    47702     28 |  0.000 % |
295.44/295.64	c |    484601 |     849    13728    45916 |    48841    47836     28 |  0.000 % |
295.54/295.72	c |    484749 |     849    13728    45916 |    48841    47984     28 |  0.000 % |
295.65/295.82	c |    484910 |     849    13728    45916 |    48841    48145     28 |  0.000 % |
295.75/295.95	c |    485086 |     849    13728    45916 |    48841    48321     28 |  0.000 % |
295.94/296.11	c |    485280 |     849    13728    45916 |    48841    48515     28 |  0.000 % |
296.04/296.22	c |    485492 |     849    13728    45916 |    48841    48727     28 |  0.000 % |
296.24/296.42	c |    485725 |     849    13728    45916 |    48841    43498     27 |  0.000 % |
296.24/296.50	c |    485981 |     849    13728    45916 |    48841    43754     27 |  0.000 % |
296.44/296.64	c |    486262 |     849    13728    45916 |    48841    44035     27 |  0.000 % |
296.64/296.83	c |    486572 |     849    13728    45916 |    48841    44345     27 |  0.000 % |
296.85/297.06	c |    486911 |     849    13728    45916 |    48841    44684     28 |  0.000 % |
297.04/297.23	c |    487283 |     849    13728    45916 |    48841    45056     28 |  0.000 % |
297.14/297.34	c |    487692 |     849    13728    45916 |    48841    45465     28 |  0.000 % |
297.44/297.64	c |    488141 |     849    13728    45916 |    48841    45914     28 |  0.000 % |
297.64/297.87	c |    488634 |     849    13728    45916 |    48841    46407     28 |  0.000 % |
297.95/298.17	c |    489177 |     849    13728    45916 |    48841    46950     28 |  0.000 % |
298.24/298.44	c |    489776 |     849    13728    45916 |    48841    47549     28 |  0.000 % |
298.64/298.84	c |    490431 |     849    13728    45916 |    47774    43214     28 |  0.000 % |
299.14/299.30	c |    491151 |     849    13728    45916 |    47774    43934     28 |  0.000 % |
299.64/299.87	c |    491945 |     849    13728    45916 |    47774    44728     28 |  0.000 % |
300.24/300.40	c |    492816 |     849    13728    45916 |    47774    45599     28 |  0.000 % |
300.74/300.91	c |    493775 |     849    13728    45916 |    47774    46558     28 |  0.000 % |
301.34/301.50	c |    494830 |     849    13728    45916 |    47774    47613     28 |  0.000 % |
302.04/302.26	c |    495988 |     849    13728    45916 |    47774    43978     28 |  0.000 % |
302.64/302.80	c |    497262 |     849    13728    45916 |    47774    45252     28 |  0.000 % |
303.24/303.49	c |    498662 |     849    13728    45916 |    47774    46652     28 |  0.000 % |
304.14/304.34	c |    500202 |     849    13728    45916 | 2147483647    43401     28 |  0.000 % |
304.84/305.09	c |    501897 |     849    13728    45916 | 2147483647    45096     28 |  0.000 % |
305.84/306.07	c |    503761 |     849    13728    45916 | 2147483647    46960     28 |  0.000 % |
307.14/307.39	c |    505810 |     849    13728    45916 | 2147483647    49009     28 |  0.000 % |
308.74/308.98	c |    508064 |     849    13728    45916 | 2147483647    51263     29 |  0.000 % |
310.14/310.32	c |    510542 |     849    13728    45916 | 2147483647    53741     29 |  0.000 % |
312.14/312.34	c |    513268 |     849    13728    45916 | 2147483647    56467     29 |  0.000 % |
314.84/315.03	c |    516266 |     849    13728    45916 | 2147483647    59465     29 |  0.000 % |
318.04/318.25	c |    519563 |     849    13728    45916 | 2147483647    62762     30 |  0.000 % |
320.94/321.16	c |    523188 |     849    13728    45916 |    63199    57595     29 |  0.000 % |
324.44/324.60	c |    527175 |     849    13728    45916 |    63199    61582     30 |  0.000 % |
327.84/328.06	c |    531561 |     849    13728    45916 |    54691    48421     29 |  0.000 % |
330.94/331.12	c |    536384 |     849    13728    45916 |    54691    53244     30 |  0.000 % |
331.03/331.20	c |    536487 |     849    13728    45916 |    54691    53347     30 |  0.000 % |
331.03/331.29	c |    536597 |     849    13728    45916 |    54691    53457     30 |  0.000 % |
331.13/331.38	c |    536718 |     849    13728    45916 |    54691    53578     30 |  0.000 % |
331.33/331.54	c |    536852 |     849    13728    45916 |    54691    53712     30 |  0.000 % |
331.43/331.63	c |    537000 |     849    13728    45916 |    54691    53860     30 |  0.000 % |
331.53/331.74	c |    537160 |     849    13728    45916 |    54691    54020     30 |  0.000 % |
331.63/331.83	c |    537338 |     849    13728    45916 |    54691    54198     30 |  0.000 % |
331.73/331.96	c |    537532 |     849    13728    45916 |    54691    54392     30 |  0.000 % |
331.94/332.14	c |    537744 |     849    13728    45916 |    54691    54604     30 |  0.000 % |
332.04/332.22	c |    537977 |     849    13728    45916 |    54691    54837     30 |  0.000 % |
332.23/332.47	c |    538233 |     849    13728    45916 |    54691    47581     29 |  0.000 % |
332.43/332.65	c |    538515 |     849    13728    45916 |    54691    47863     29 |  0.000 % |
332.63/332.80	c |    538824 |     849    13728    45916 |    54691    48172     29 |  0.000 % |
332.83/333.02	c |    539163 |     849    13728    45916 |    54691    48511     30 |  0.000 % |
333.04/333.26	c |    539535 |     849    13728    45916 |    54691    48883     30 |  0.000 % |
333.23/333.48	c |    539944 |     849    13728    45916 |    54691    49292     30 |  0.000 % |
333.53/333.75	c |    540394 |     849    13728    45916 |    49349    43260     29 |  0.000 % |
333.83/334.05	c |    540887 |     849    13728    45916 |    49349    43753     29 |  0.000 % |
334.14/334.34	c |    541430 |     849    13728    45916 |    49349    44296     29 |  0.000 % |
334.43/334.63	c |    542027 |     849    13728    45916 |    49349    44893     30 |  0.000 % |
334.83/335.02	c |    542682 |     849    13728    45916 |    49349    45548     29 |  0.000 % |
335.34/335.50	c |    543403 |     849    13728    45916 |    49349    46269     30 |  0.000 % |
335.73/335.90	c |    544195 |     849    13728    45916 |    49349    47061     30 |  0.000 % |
336.23/336.41	c |    545067 |     849    13728    45916 |    49349    47933     30 |  0.000 % |
336.63/336.83	c |    546025 |     849    13728    45916 |    49349    48891     30 |  0.000 % |
337.43/337.65	c |    547079 |     849    13728    45916 |    49349    44997     30 |  0.000 % |
338.13/338.34	c |    548237 |     849    13728    45916 |    49349    46155     30 |  0.000 % |
339.13/339.30	c |    549510 |     849    13728    45916 |    49349    47428     30 |  0.000 % |
339.92/340.14	c |    550911 |     849    13728    45916 |    47918    43569     29 |  0.000 % |
340.92/341.10	c |    552452 |     849    13728    45916 |    47918    45110     29 |  0.000 % |
341.83/342.00	c |    554147 |     849    13728    45916 |    47918    46805     30 |  0.000 % |
342.82/343.00	c |    556010 |     849    13728    45916 |    47918    43864     29 |  0.000 % |
344.03/344.23	c |    558060 |     849    13728    45916 |    47918    45914     30 |  0.000 % |
345.23/345.49	c |    560313 |     849    13728    45916 | 2147483647    48167     30 |  0.000 % |
346.72/346.95	c |    562792 |     849    13728    45916 | 2147483647    50646     30 |  0.000 % |
348.42/348.69	c |    565517 |     849    13728    45916 | 2147483647    53371     30 |  0.000 % |
350.52/350.74	c |    568514 |     849    13728    45916 | 2147483647    56368     30 |  0.000 % |
354.02/354.29	c |    571814 |     849    13728    45916 |    57855    52496     30 |  0.000 % |
357.62/357.85	c |    575439 |     849    13728    45916 |    57855    56121     30 |  0.000 % |
362.12/362.35	c |    579429 |     849    13728    45916 |    57855    51640     29 |  0.000 % |
365.82/366.07	c |    583815 |     849    13728    45916 |    52212    48520     29 |  0.000 % |
369.21/369.45	c |    588638 |     849    13728    45916 |    52212    47280     29 |  0.000 % |
372.31/372.58	c |    593943 |     849    13728    45916 |    48644    47176     29 |  0.000 % |
372.41/372.63	c |    594043 |     849    13728    45916 |    48644    47276     29 |  0.000 % |
372.51/372.71	c |    594155 |     849    13728    45916 |    48644    47388     29 |  0.000 % |
372.51/372.80	c |    594277 |     849    13728    45916 |    48644    47510     29 |  0.000 % |
372.62/372.89	c |    594411 |     849    13728    45916 |    48644    47644     29 |  0.000 % |
372.81/373.01	c |    594557 |     849    13728    45916 |    48644    47790     29 |  0.000 % |
372.91/373.13	c |    594718 |     849    13728    45916 |    48644    47951     29 |  0.000 % |
373.01/373.23	c |    594894 |     849    13728    45916 |    48644    48127     29 |  0.000 % |
373.11/373.34	c |    595087 |     849    13728    45916 |    48644    48320     29 |  0.000 % |
373.21/373.49	c |    595301 |     849    13728    45916 |    48644    48534     29 |  0.000 % |
373.41/373.67	c |    595534 |     849    13728    45916 |    48644    48767     29 |  0.000 % |
373.72/373.92	c |    595791 |     849    13728    45916 |    48644    43853     28 |  0.000 % |
373.82/374.08	c |    596072 |     849    13728    45916 |    48644    44134     28 |  0.000 % |
374.01/374.28	c |    596385 |     849    13728    45916 |    48644    44447     28 |  0.000 % |
374.21/374.45	c |    596724 |     849    13728    45916 |    48644    44786     28 |  0.000 % |
374.51/374.75	c |    597097 |     849    13728    45916 |    48644    45159     28 |  0.000 % |
374.71/374.96	c |    597506 |     849    13728    45916 |    48644    45568     29 |  0.000 % |
374.92/375.19	c |    597957 |     849    13728    45916 |    48644    46019     29 |  0.000 % |
375.31/375.52	c |    598451 |     849    13728    45916 |    48644    46513     29 |  0.000 % |
375.71/375.97	c |    598993 |     849    13728    45916 |    48644    47055     29 |  0.000 % |
376.21/376.46	c |    599589 |     849    13728    45916 |    48644    47651     29 |  0.000 % |
377.02/377.28	c |    600244 |     849    13728    45916 |    48062    42710     28 |  0.000 % |
377.61/377.87	c |    600964 |     849    13728    45916 |    48062    43430     28 |  0.000 % |
378.22/378.46	c |    601757 |     849    13728    45916 |    48062    44223     28 |  0.000 % |
378.81/379.02	c |    602629 |     849    13728    45916 |    48062    45095     28 |  0.000 % |
379.81/380.03	c |    603587 |     849    13728    45916 |    48062    46053     28 |  0.000 % |
380.32/380.59	c |    604640 |     849    13728    45916 |    48062    47106     28 |  0.000 % |
380.91/381.20	c |    605800 |     849    13728    45916 |    48062    41718     27 |  0.000 % |
381.71/381.94	c |    607073 |     849    13728    45916 |    48062    42991     27 |  0.000 % |
382.51/382.76	c |    608474 |     849    13728    45916 |    48062    44392     28 |  0.000 % |
383.61/383.84	c |    610014 |     849    13728    45916 |    45920    45932     28 |  0.000 % |
384.71/384.95	c |    611710 |     849    13728    45916 |    45920    42293     27 |  0.000 % |
386.20/386.45	c |    613575 |     849    13728    45916 |    45920    44158     28 |  0.000 % |
387.70/387.93	c |    615626 |     849    13728    45916 |    45920    41421     27 |  0.000 % |
389.60/389.84	c |    617880 |     849    13728    45916 |    45920    43675     27 |  0.000 % |
391.41/391.68	c |    620358 |     849    13728    45916 |    45795    41392     27 |  0.000 % |
393.51/393.79	c |    623084 |     849    13728    45916 |    45795    44118     28 |  0.000 % |
395.90/396.12	c |    626082 |     849    13728    45916 |    45795    42526     27 |  0.000 % |
398.40/398.66	c |    629380 |     849    13728    45916 |    45795    45824     28 |  0.000 % |
401.50/401.72	c |    633005 |     849    13728    45916 |    41816    40417     27 |  0.000 % |
404.20/404.47	c |    636992 |     849    13728    45916 |    41816    40215     27 |  0.000 % |
406.90/407.17	c |    641377 |     849    13728    45916 | 2147483647    40401     27 |  0.000 % |
410.40/410.63	c |    646200 |     849    13728    45916 | 2147483647    45224     28 |  0.000 % |
414.10/414.38	c |    651505 |     849    13728    45916 |    49024    45611     28 |  0.000 % |
418.39/418.64	c |    657340 |     849    13728    45916 |    49024    45515     28 |  0.000 % |
418.49/418.70	c |    657441 |     849    13728    45916 |    49024    45616     28 |  0.000 % |
418.49/418.77	c |    657551 |     849    13728    45916 |    49024    45726     28 |  0.000 % |
418.59/418.86	c |    657673 |     849    13728    45916 |    49024    45848     28 |  0.000 % |
418.69/418.92	c |    657809 |     849    13728    45916 |    49024    45984     28 |  0.000 % |
418.80/419.03	c |    657955 |     849    13728    45916 |    49024    46130     28 |  0.000 % |
418.90/419.11	c |    658115 |     849    13728    45916 |    49024    46290     28 |  0.000 % |
418.99/419.24	c |    658292 |     849    13728    45916 |    49024    46467     28 |  0.000 % |
419.09/419.38	c |    658485 |     849    13728    45916 |    49024    46660     28 |  0.000 % |
419.29/419.54	c |    658697 |     849    13728    45916 |    49024    46872     28 |  0.000 % |
419.39/419.66	c |    658930 |     849    13728    45916 |    49024    47105     28 |  0.000 % |
419.59/419.84	c |    659186 |     849    13728    45916 |    49024    47361     28 |  0.000 % |
419.79/420.06	c |    659468 |     849    13728    45916 |    49024    47643     28 |  0.000 % |
420.00/420.29	c |    659777 |     849    13728    45916 |    49024    47952     28 |  0.000 % |
420.29/420.54	c |    660117 |     849    13728    45916 |    48175    48292     29 |  0.000 % |
420.49/420.80	c |    660489 |     849    13728    45916 |    48175    42990     28 |  0.000 % |
420.79/421.02	c |    660899 |     849    13728    45916 |    48175    43400     28 |  0.000 % |
421.00/421.27	c |    661348 |     849    13728    45916 |    48175    43849     28 |  0.000 % |
421.29/421.58	c |    661843 |     849    13728    45916 |    48175    44344     28 |  0.000 % |
421.59/421.88	c |    662385 |     849    13728    45916 |    48175    44886     28 |  0.000 % |
421.99/422.27	c |    662981 |     849    13728    45916 |    48175    45482     28 |  0.000 % |
422.39/422.66	c |    663639 |     849    13728    45916 |    48175    46140     28 |  0.000 % |
422.79/423.03	c |    664360 |     849    13728    45916 |    48175    46861     28 |  0.000 % |
423.30/423.58	c |    665153 |     849    13728    45916 |    48175    47654     29 |  0.000 % |
424.09/424.37	c |    666027 |     849    13728    45916 |    48175    43701     28 |  0.000 % |
424.89/425.19	c |    666985 |     849    13728    45916 |    48175    44659     28 |  0.000 % |
425.69/425.97	c |    668038 |     849    13728    45916 |    48175    45712     28 |  0.000 % |
426.69/426.94	c |    669197 |     849    13728    45916 |    48175    46871     28 |  0.000 % |
427.79/428.07	c |    670471 |     849    13728    45916 |    47674    43262     28 |  0.000 % |
428.69/428.94	c |    671871 |     849    13728    45916 |    47674    44662     29 |  0.000 % |
429.69/429.93	c |    673413 |     849    13728    45916 |    47674    46204     29 |  0.000 % |
430.89/431.19	c |    675110 |     849    13728    45916 |    47674    43120     28 |  0.000 % |
432.09/432.40	c |    676974 |     849    13728    45916 |    47674    44984     29 |  0.000 % |
433.48/433.72	c |    679024 |     849    13728    45916 |    47674    47034     29 |  0.000 % |
435.18/435.49	c |    681279 |     849    13728    45916 | 2147483647    44512     28 |  0.000 % |
436.88/437.13	c |    683757 |     849    13728    45916 | 2147483647    46990     29 |  0.000 % |
439.28/439.56	c |    686482 |     849    13728    45916 | 2147483647    49715     29 |  0.000 % |
441.89/442.14	c |    689480 |     849    13728    45916 | 2147483647    52713     29 |  0.000 % |
444.38/444.68	c |    692779 |     849    13728    45916 |    53235    50400     29 |  0.000 % |
447.39/447.63	c |    696404 |     849    13728    45916 |    53235    48054     29 |  0.000 % |
450.98/451.25	c |    700391 |     849    13728    45916 |    51652    45367     28 |  0.000 % |
454.68/454.91	c |    704777 |     849    13728    45916 |    51652    49753     28 |  0.000 % |
458.58/458.82	c |    709600 |     849    13728    45916 |    51652    48320     28 |  0.000 % |
463.28/463.59	c |    714905 |     849    13728    45916 |    48722    47763     28 |  0.000 % |
468.17/468.43	c |    720740 |     849    13728    45916 |    46598    40857     27 |  0.000 % |
472.78/473.09	c |    727159 |     849    13728    45916 |    46598    42181     27 |  0.000 % |
472.88/473.14	c |    727259 |     849    13728    45916 |    46598    42281     27 |  0.000 % |
472.88/473.19	c |    727370 |     849    13728    45916 |    46598    42392     27 |  0.000 % |
472.98/473.25	c |    727492 |     849    13728    45916 |    46598    42514     27 |  0.000 % |
473.07/473.32	c |    727626 |     849    13728    45916 |    46598    42648     27 |  0.000 % |
473.07/473.39	c |    727772 |     849    13728    45916 |    46598    42794     27 |  0.000 % |
473.27/473.52	c |    727932 |     849    13728    45916 |    46598    42954     27 |  0.000 % |
473.37/473.61	c |    728108 |     849    13728    45916 |    46598    43130     27 |  0.000 % |
473.47/473.72	c |    728301 |     849    13728    45916 |    46598    43323     27 |  0.000 % |
473.57/473.80	c |    728516 |     849    13728    45916 |    46598    43538     27 |  0.000 % |
473.67/473.91	c |    728750 |     849    13728    45916 |    46598    43772     27 |  0.000 % |
473.77/474.07	c |    729006 |     849    13728    45916 |    46598    44028     27 |  0.000 % |
473.97/474.26	c |    729287 |     849    13728    45916 |    46598    44309     27 |  0.000 % |
474.17/474.46	c |    729596 |     849    13728    45916 |    46598    44618     27 |  0.000 % |
474.37/474.61	c |    729935 |     849    13728    45916 |    46598    44957     27 |  0.000 % |
474.57/474.81	c |    730308 |     849    13728    45916 |    45023    40605     27 |  0.000 % |
474.77/475.06	c |    730718 |     849    13728    45916 |    45023    41015     27 |  0.000 % |
475.07/475.31	c |    731167 |     849    13728    45916 |    45023    41464     27 |  0.000 % |
475.17/475.45	c |    731660 |     849    13728    45916 |    45023    41957     27 |  0.000 % |
475.37/475.67	c |    732203 |     849    13728    45916 |    45023    42500     27 |  0.000 % |
475.67/475.90	c |    732799 |     849    13728    45916 |    45023    43096     27 |  0.000 % |
475.86/476.20	c |    733456 |     849    13728    45916 |    45023    43753     27 |  0.000 % |
476.26/476.50	c |    734178 |     849    13728    45916 |    45023    44475     28 |  0.000 % |
476.66/476.90	c |    734970 |     849    13728    45916 |    45023    40753     27 |  0.000 % |
476.96/477.28	c |    735841 |     849    13728    45916 |    45023    41624     27 |  0.000 % |
477.56/477.83	c |    736800 |     849    13728    45916 |    45023    42583     27 |  0.000 % |
478.17/478.44	c |    737853 |     849    13728    45916 |    45023    43636     27 |  0.000 % |
478.56/478.84	c |    739011 |     849    13728    45916 |    45023    44794     27 |  0.000 % |
479.27/479.58	c |    740286 |     849    13728    45916 | 2147483647    41557     27 |  0.000 % |
480.06/480.37	c |    741686 |     849    13728    45916 | 2147483647    42957     27 |  0.000 % |
480.86/481.15	c |    743227 |     849    13728    45916 | 2147483647    44498     27 |  0.000 % |
481.76/482.03	c |    744921 |     849    13728    45916 | 2147483647    46192     28 |  0.000 % |
482.67/482.99	c |    746785 |     849    13728    45916 | 2147483647    48056     28 |  0.000 % |
483.96/484.24	c |    748834 |     849    13728    45916 | 2147483647    50105     29 |  0.000 % |
485.57/485.83	c |    751087 |     849    13728    45916 | 2147483647    52358     29 |  0.000 % |
487.07/487.37	c |    753567 |     849    13728    45916 | 2147483647    54838     29 |  0.000 % |
489.27/489.52	c |    756292 |     849    13728    45916 | 2147483647    57563     30 |  0.000 % |
491.17/491.40	c |    759290 |     849    13728    45916 | 2147483647    60561     30 |  0.000 % |
493.37/493.69	c |    762586 |     849    13728    45916 |    61271    55907     30 |  0.000 % |
496.07/496.36	c |    766213 |     849    13728    45916 |    61271    59534     30 |  0.000 % |
499.07/499.32	c |    770200 |     849    13728    45916 |    54705    47429     30 |  0.000 % |
501.96/502.23	c |    774586 |     849    13728    45916 |    54705    51815     31 |  0.000 % |
505.46/505.75	c |    779410 |     849    13728    45916 |    54705    48191     31 |  0.000 % |
509.26/509.59	c |    784715 |     849    13728    45916 |    48782    45962     30 |  0.000 % |
512.96/513.20	c |    790550 |     849    13728    45916 |    44966    40052     28 |  0.000 % |
517.26/517.54	c |    796970 |     849    13728    45916 |    44966    41965     28 |  0.000 % |
521.35/521.66	c |    804030 |     849    13728    45916 | 2147483647    49025     29 |  0.000 % |
521.45/521.73	c |    804130 |     849    13728    45916 | 2147483647    49125     29 |  0.000 % |
521.55/521.82	c |    804242 |     849    13728    45916 | 2147483647    49237     29 |  0.000 % |
521.65/521.91	c |    804363 |     849    13728    45916 | 2147483647    49358     29 |  0.000 % |
521.65/521.98	c |    804496 |     849    13728    45916 | 2147483647    49491     29 |  0.000 % |
521.75/522.07	c |    804642 |     849    13728    45916 | 2147483647    49637     29 |  0.000 % |
521.85/522.19	c |    804803 |     849    13728    45916 | 2147483647    49798     29 |  0.000 % |
522.05/522.31	c |    804980 |     849    13728    45916 | 2147483647    49975     29 |  0.000 % |
522.15/522.45	c |    805174 |     849    13728    45916 | 2147483647    50169     29 |  0.000 % |
522.25/522.55	c |    805386 |     849    13728    45916 | 2147483647    50381     29 |  0.000 % |
522.35/522.67	c |    805619 |     849    13728    45916 | 2147483647    50614     29 |  0.000 % |
522.55/522.80	c |    805877 |     849    13728    45916 | 2147483647    50872     29 |  0.000 % |
522.65/522.94	c |    806159 |     849    13728    45916 | 2147483647    51154     29 |  0.000 % |
522.85/523.11	c |    806469 |     849    13728    45916 | 2147483647    51464     29 |  0.000 % |
522.95/523.27	c |    806810 |     849    13728    45916 | 2147483647    51805     29 |  0.000 % |
523.15/523.47	c |    807183 |     849    13728    45916 | 2147483647    52178     29 |  0.000 % |
523.65/523.91	c |    807592 |     849    13728    45916 | 2147483647    52587     29 |  0.000 % |
523.95/524.24	c |    808043 |     849    13728    45916 | 2147483647    53038     29 |  0.000 % |
524.25/524.59	c |    808538 |     849    13728    45916 | 2147483647    53533     29 |  0.000 % |
524.75/525.06	c |    809081 |     849    13728    45916 | 2147483647    54076     29 |  0.000 % |
525.15/525.46	c |    809678 |     849    13728    45916 | 2147483647    54673     30 |  0.000 % |
525.55/525.90	c |    810333 |     849    13728    45916 |    54995    47861     29 |  0.000 % |
525.95/526.24	c |    811053 |     849    13728    45916 |    54995    48581     29 |  0.000 % |
526.34/526.64	c |    811845 |     849    13728    45916 |    54995    49373     29 |  0.000 % |
526.74/527.04	c |    812717 |     849    13728    45916 |    54995    50245     29 |  0.000 % |
527.14/527.45	c |    813677 |     849    13728    45916 |    54995    51205     29 |  0.000 % |
527.94/528.22	c |    814730 |     849    13728    45916 |    54995    52258     29 |  0.000 % |
528.44/528.77	c |    815889 |     849    13728    45916 |    54995    53417     29 |  0.000 % |
529.24/529.53	c |    817163 |     849    13728    45916 |    54995    54691     29 |  0.000 % |
530.04/530.34	c |    818564 |     849    13728    45916 |    54995    50573     29 |  0.000 % |
530.95/531.25	c |    820104 |     849    13728    45916 | 2147483647    52113     29 |  0.000 % |
532.05/532.35	c |    821799 |     849    13728    45916 | 2147483647    53808     29 |  0.000 % |
533.54/533.81	c |    823664 |     849    13728    45916 | 2147483647    55673     29 |  0.000 % |
534.64/534.99	c |    825713 |     849    13728    45916 | 2147483647    57722     29 |  0.000 % |
536.14/536.41	c |    827967 |     849    13728    45916 | 2147483647    59976     29 |  0.000 % |
537.84/538.12	c |    830445 |     849    13728    45916 |    62011    53808     29 |  0.000 % |
539.94/540.20	c |    833170 |     849    13728    45916 |    62011    56533     30 |  0.000 % |
541.84/542.14	c |    836167 |     849    13728    45916 |    62011    59530     30 |  0.000 % |
544.94/545.29	c |    839466 |     849    13728    45916 |    62011    53117     29 |  0.000 % |
547.73/548.01	c |    843091 |     849    13728    45916 |    53652    48658     29 |  0.000 % |
550.14/550.41	c |    847078 |     849    13728    45916 |    53652    52645     30 |  0.000 % |
552.73/553.07	c |    851463 |     849    13728    45916 |    48316    43443     29 |  0.000 % |
556.73/557.01	c |    856286 |     849    13728    45916 |    48316    48266     30 |  0.000 % |
560.33/560.64	c |    861592 |     849    13728    45916 | 2147483647    48629     30 |  0.000 % |
564.62/564.99	c |    867429 |     849    13728    45916 | 2147483647    54466     30 |  0.000 % |
569.82/570.16	c |    873849 |     849    13728    45916 |    57037    52380     31 |  0.000 % |
576.03/576.38	c |    880910 |     849    13728    45916 |    49589    42950     30 |  0.000 % |
582.32/582.68	c |    888676 |     849    13728    45916 |    49589    42961     29 |  0.000 % |
582.42/582.75	c |    888777 |     849    13728    45916 |    49589    43062     29 |  0.000 % |
582.52/582.80	c |    888887 |     849    13728    45916 |    49589    43172     29 |  0.000 % |
582.52/582.86	c |    889008 |     849    13728    45916 |    49589    43293     29 |  0.000 % |
582.62/582.93	c |    889141 |     849    13728    45916 |    49589    43426     29 |  0.000 % |
582.62/582.97	c |    889288 |     849    13728    45916 |    49589    43573     29 |  0.000 % |
582.72/583.03	c |    889449 |     849    13728    45916 |    49589    43734     29 |  0.000 % |
582.82/583.12	c |    889625 |     849    13728    45916 |    49589    43910     29 |  0.000 % |
582.92/583.25	c |    889818 |     849    13728    45916 |    49589    44103     29 |  0.000 % |
583.02/583.35	c |    890031 |     849    13728    45916 |    44285    44316     29 |  0.000 % |
583.22/583.51	c |    890266 |     849    13728    45916 |    44285    37962     28 |  0.000 % |
583.22/583.60	c |    890523 |     849    13728    45916 |    44285    38219     28 |  0.000 % |
583.42/583.71	c |    890805 |     849    13728    45916 |    44285    38501     28 |  0.000 % |
583.52/583.83	c |    891114 |     849    13728    45916 |    44285    38810     28 |  0.000 % |
583.62/584.00	c |    891456 |     849    13728    45916 |    44285    39152     28 |  0.000 % |
583.82/584.18	c |    891828 |     849    13728    45916 |    44285    39524     28 |  0.000 % |
584.02/584.38	c |    892238 |     849    13728    45916 |    44285    39934     29 |  0.000 % |
584.32/584.67	c |    892688 |     849    13728    45916 |    44285    40384     29 |  0.000 % |
584.52/584.88	c |    893181 |     849    13728    45916 |    44285    40877     29 |  0.000 % |
584.82/585.12	c |    893724 |     849    13728    45916 |    44285    41420     29 |  0.000 % |
585.12/585.42	c |    894322 |     849    13728    45916 |    44285    42018     29 |  0.000 % |
585.32/585.65	c |    894978 |     849    13728    45916 |    44285    42674     29 |  0.000 % |
585.71/586.02	c |    895699 |     849    13728    45916 |    44285    43395     29 |  0.000 % |
586.11/586.40	c |    896493 |     849    13728    45916 |    44285    44189     29 |  0.000 % |
586.51/586.88	c |    897364 |     849    13728    45916 |    44285    40617     29 |  0.000 % |
587.12/587.45	c |    898322 |     849    13728    45916 |    44285    41575     29 |  0.000 % |
587.91/588.24	c |    899376 |     849    13728    45916 |    44285    42629     29 |  0.000 % |
588.41/588.73	c |    900535 |     849    13728    45916 | 2147483647    43788     30 |  0.000 % |
589.11/589.45	c |    901809 |     849    13728    45916 | 2147483647    45062     30 |  0.000 % |
589.81/590.19	c |    903209 |     849    13728    45916 | 2147483647    46462     30 |  0.000 % |
590.71/591.05	c |    904749 |     849    13728    45916 | 2147483647    48002     30 |  0.000 % |
591.61/591.92	c |    906446 |     849    13728    45916 | 2147483647    49699     30 |  0.000 % |
592.71/593.08	c |    908310 |     849    13728    45916 | 2147483647    51563     30 |  0.000 % |
594.41/594.74	c |    910360 |     849    13728    45916 | 2147483647    53613     31 |  0.000 % |
595.92/596.26	c |    912613 |     849    13728    45916 | 2147483647    55866     31 |  0.000 % |
597.81/598.13	c |    915092 |     849    13728    45916 | 2147483647    58345     31 |  0.000 % |
599.71/600.06	c |    917818 |     849    13728    45916 | 2147483647    61071     31 |  0.000 % |
601.91/602.29	c |    920815 |     849    13728    45916 |    63253    55365     31 |  0.000 % |
604.11/604.42	c |    924111 |     849    13728    45916 |    63253    58661     31 |  0.000 % |
606.91/607.24	c |    927738 |     849    13728    45916 |    63253    62288     31 |  0.000 % |
609.80/610.11	c |    931725 |     849    13728    45916 |    55728    49779     31 |  0.000 % |
613.30/613.67	c |    936110 |     849    13728    45916 |    55728    54164     31 |  0.000 % |
617.40/617.76	c |    940935 |     849    13728    45916 |    50931    45537     31 |  0.000 % |
621.50/621.84	c |    946241 |     849    13728    45916 |    50931    50843     32 |  0.000 % |
624.90/625.27	c |    952078 |     849    13728    45916 |    49455    46033     31 |  0.000 % |
629.29/629.62	c |    958498 |     849    13728    45916 |    49455    47490     33 |  0.000 % |
633.69/634.04	c |    965557 |     849    13728    45916 | 2147483647    54549     34 |  0.000 % |
640.09/640.48	c |    973321 |     849    13728    45916 |    58993    52843     33 |  0.000 % |
646.69/647.09	c |    981863 |     849    13728    45916 |    50610    44938     33 |  0.000 % |
646.79/647.15	c |    981963 |     849    13728    45916 |    50610    45038     33 |  0.000 % |
646.89/647.22	c |    982073 |     849    13728    45916 |    50610    45148     33 |  0.000 % |
646.99/647.30	c |    982196 |     849    13728    45916 |    50610    45271     33 |  0.000 % |
646.99/647.37	c |    982330 |     849    13728    45916 |    50610    45405     33 |  0.000 % |
647.09/647.43	c |    982478 |     849    13728    45916 |    50610    45553     33 |  0.000 % |
647.09/647.48	c |    982638 |     849    13728    45916 |    50610    45713     33 |  0.000 % |
647.19/647.57	c |    982814 |     849    13728    45916 |    50610    45889     33 |  0.000 % |
647.29/647.68	c |    983007 |     849    13728    45916 |    50610    46082     33 |  0.000 % |
647.39/647.80	c |    983219 |     849    13728    45916 |    50610    46294     33 |  0.000 % |
647.59/647.91	c |    983452 |     849    13728    45916 |    50610    46527     33 |  0.000 % |
647.69/648.07	c |    983709 |     849    13728    45916 |    50610    46784     33 |  0.000 % |
647.89/648.24	c |    983991 |     849    13728    45916 |    50610    47066     33 |  0.000 % |
647.99/648.35	c |    984300 |     849    13728    45916 |    50610    47375     33 |  0.000 % |
648.09/648.50	c |    984639 |     849    13728    45916 |    50610    47714     33 |  0.000 % |
648.39/648.73	c |    985012 |     849    13728    45916 |    50610    48087     33 |  0.000 % |
648.59/648.96	c |    985421 |     849    13728    45916 |    50610    48496     33 |  0.000 % |
648.89/649.29	c |    985871 |     849    13728    45916 |    50610    48946     33 |  0.000 % |
649.19/649.54	c |    986364 |     849    13728    45916 |    50610    49439     33 |  0.000 % |
649.39/649.79	c |    986906 |     849    13728    45916 |    50610    49981     33 |  0.000 % |
649.79/650.11	c |    987502 |     849    13728    45916 |    50610    50577     33 |  0.000 % |
650.19/650.51	c |    988157 |     849    13728    45916 |    50610    46160     33 |  0.000 % |
650.59/650.93	c |    988877 |     849    13728    45916 |    50610    46880     33 |  0.000 % |
651.09/651.42	c |    989670 |     849    13728    45916 |    50610    47673     33 |  0.000 % |
651.59/651.90	c |    990542 |     849    13728    45916 | 2147483647    48545     33 |  0.000 % |
651.89/652.28	c |    991501 |     849    13728    45916 | 2147483647    49504     33 |  0.000 % |
652.59/652.98	c |    992554 |     849    13728    45916 | 2147483647    50557     33 |  0.000 % |
653.19/653.58	c |    993713 |     849    13728    45916 | 2147483647    51716     32 |  0.000 % |
653.88/654.29	c |    994988 |     849    13728    45916 | 2147483647    52991     32 |  0.000 % |
654.78/655.11	c |    996389 |     849    13728    45916 | 2147483647    54392     32 |  0.000 % |
655.68/656.00	c |    997930 |     849    13728    45916 | 2147483647    55933     32 |  0.000 % |
656.68/657.04	c |    999624 |     849    13728    45916 | 2147483647    57627     32 |  0.000 % |
658.08/658.44	c |   1001487 |     849    13728    45916 | 2147483647    59490     32 |  0.000 % |
659.58/659.91	c |   1003536 |     849    13728    45916 | 2147483647    61539     32 |  0.000 % |
661.18/661.58	c |   1005790 |     849    13728    45916 | 2147483647    63793     32 |  0.000 % |
663.27/663.60	c |   1008268 |     849    13728    45916 | 2147483647    66271     32 |  0.000 % |
665.47/665.81	c |   1010995 |     849    13728    45916 |    68004    58424     30 |  0.000 % |
667.47/667.88	c |   1013993 |     849    13728    45916 |    68004    61422     30 |  0.000 % |
670.07/670.49	c |   1017290 |     849    13728    45916 |    68004    64719     30 |  0.000 % |
673.47/673.87	c |   1020916 |     849    13728    45916 |    67430    55977     28 |  0.000 % |
676.77/677.12	c |   1024903 |     849    13728    45916 |    67430    59964     28 |  0.000 % |
680.37/680.72	c |   1029289 |     849    13728    45916 |    67430    64350     29 |  0.000 % |
684.27/684.68	c |   1034112 |     849    13728    45916 |    65061    56528     28 |  0.000 % |
688.97/689.37	c |   1039417 |     849    13728    45916 |    65061    61833     29 |  0.000 % |
693.86/694.23	c |   1045252 |     849    13728    45916 |    62416    54603     29 |  0.000 % |
698.66/699.01	c |   1051671 |     849    13728    45916 |    59351    49137     29 |  0.000 % |
703.46/703.83	c |   1058730 |     849    13728    45916 |    59351    56196     30 |  0.000 % |
708.46/708.87	c |   1066495 |     849    13728    45916 |    57468    53781     29 |  0.000 % |
717.16/717.59	c |   1075036 |     849    13728    45916 |    57286    52321     30 |  0.000 % |
723.36/723.70	c |   1084431 |     849    13728    45916 |    57285    53304     31 |  0.000 % |
723.36/723.78	c |   1084531 |     849    13728    45916 |    57285    53404     31 |  0.000 % |
723.46/723.85	c |   1084642 |     849    13728    45916 |    57285    53515     31 |  0.000 % |
723.55/723.92	c |   1084764 |     849    13728    45916 |    57285    53637     31 |  0.000 % |
723.55/724.00	c |   1084899 |     849    13728    45916 |    57285    53772     31 |  0.000 % |
723.65/724.06	c |   1085045 |     849    13728    45916 |    57285    53918     31 |  0.000 % |
723.75/724.17	c |   1085205 |     849    13728    45916 |    57285    54078     31 |  0.000 % |
723.95/724.31	c |   1085382 |     849    13728    45916 |    57285    54255     31 |  0.000 % |
724.05/724.49	c |   1085575 |     849    13728    45916 |    57285    54448     31 |  0.000 % |
724.15/724.58	c |   1085787 |     849    13728    45916 |    57285    54660     31 |  0.000 % |
724.35/724.76	c |   1086020 |     849    13728    45916 |    57285    54893     31 |  0.000 % |
724.55/724.90	c |   1086276 |     849    13728    45916 |    57285    55149     31 |  0.000 % |
724.65/725.07	c |   1086558 |     849    13728    45916 |    57285    55431     31 |  0.000 % |
724.85/725.25	c |   1086867 |     849    13728    45916 |    57285    55740     31 |  0.000 % |
725.05/725.48	c |   1087206 |     849    13728    45916 |    57285    56079     31 |  0.000 % |
725.25/725.68	c |   1087579 |     849    13728    45916 |    57285    56452     31 |  0.000 % |
725.45/725.89	c |   1087989 |     849    13728    45916 |    57285    56862     31 |  0.000 % |
725.85/726.20	c |   1088439 |     849    13728    45916 |    57285    57312     31 |  0.000 % |
726.15/726.51	c |   1088934 |     849    13728    45916 |    57285    49659     31 |  0.000 % |
726.45/726.82	c |   1089478 |     849    13728    45916 |    57285    50203     31 |  0.000 % |
726.65/727.08	c |   1090075 |     849    13728    45916 |    50725    50800     31 |  0.000 % |
727.05/727.42	c |   1090732 |     849    13728    45916 |    50725    44587     30 |  0.000 % |
727.35/727.71	c |   1091452 |     849    13728    45916 |    50725    45307     30 |  0.000 % |
727.65/728.07	c |   1092245 |     849    13728    45916 |    50725    46100     30 |  0.000 % |
728.15/728.54	c |   1093118 |     849    13728    45916 |    50725    46973     30 |  0.000 % |
728.85/729.22	c |   1094076 |     849    13728    45916 |    50725    47931     31 |  0.000 % |
729.45/729.83	c |   1095129 |     849    13728    45916 |    50725    48984     30 |  0.000 % |
730.05/730.42	c |   1096288 |     849    13728    45916 |    50725    50143     30 |  0.000 % |
730.75/731.12	c |   1097561 |     849    13728    45916 |    50725    46326     30 |  0.000 % |
731.45/731.89	c |   1098962 |     849    13728    45916 |    50725    47727     31 |  0.000 % |
732.45/732.84	c |   1100502 |     849    13728    45916 | 2147483647    49267     31 |  0.000 % |
733.75/734.10	c |   1102199 |     849    13728    45916 | 2147483647    50964     31 |  0.000 % |
735.05/735.44	c |   1104064 |     849    13728    45916 | 2147483647    52829     31 |  0.000 % |
736.24/736.65	c |   1106113 |     849    13728    45916 | 2147483647    54878     31 |  0.000 % |
737.75/738.15	c |   1108366 |     849    13728    45916 | 2147483647    57131     31 |  0.000 % |
739.14/739.52	c |   1110844 |     849    13728    45916 |    58767    51240     31 |  0.000 % |
740.84/741.25	c |   1113569 |     849    13728    45916 |    58767    53965     32 |  0.000 % |
742.84/743.24	c |   1116567 |     849    13728    45916 |    58767    56963     32 |  0.000 % |
745.14/745.57	c |   1119864 |     849    13728    45916 |    58767    51923     31 |  0.000 % |
747.73/748.15	c |   1123489 |     849    13728    45916 |    52059    48369     29 |  0.000 % |
750.84/751.28	c |   1127477 |     849    13728    45916 |    52059    46347     29 |  0.000 % |
754.33/754.75	c |   1131862 |     849    13728    45916 |    48870    45587     29 |  0.000 % |
756.93/757.33	c |   1136685 |     849    13728    45916 |    48870    45511     29 |  0.000 % |
760.84/761.28	c |   1141990 |     849    13728    45916 | 2147483647    50816     29 |  0.000 % |
764.93/765.35	c |   1147826 |     849    13728    45916 | 2147483647    56652     29 |  0.000 % |
768.53/768.95	c |   1154244 |     849    13728    45916 |    58826    55660     29 |  0.000 % |
773.63/774.02	c |   1161305 |     849    13728    45916 |    51899    44704     28 |  0.000 % |
778.83/779.24	c |   1169069 |     849    13728    45916 |    51899    47260     30 |  0.000 % |
784.72/785.18	c |   1177610 |     849    13728    45916 |    48191    44547     31 |  0.000 % |
791.81/792.20	c |   1187006 |     849    13728    45916 |    46937    44344     33 |  0.000 % |
799.11/799.54	c |   1197339 |     849    13728    45916 | 2147483647    49971     33 |  0.000 % |
799.21/799.62	c |   1197439 |     849    13728    45916 | 2147483647    50071     33 |  0.000 % |
799.31/799.70	c |   1197549 |     849    13728    45916 | 2147483647    50181     33 |  0.000 % |
799.31/799.79	c |   1197674 |     849    13728    45916 | 2147483647    50306     33 |  0.000 % |
799.41/799.85	c |   1197810 |     849    13728    45916 | 2147483647    50442     33 |  0.000 % |
799.51/799.93	c |   1197956 |     849    13728    45916 | 2147483647    50588     33 |  0.000 % |
799.61/800.02	c |   1198116 |     849    13728    45916 | 2147483647    50748     33 |  0.000 % |
799.71/800.10	c |   1198292 |     849    13728    45916 | 2147483647    50924     33 |  0.000 % |
799.81/800.23	c |   1198485 |     849    13728    45916 | 2147483647    51117     33 |  0.000 % |
799.91/800.35	c |   1198699 |     849    13728    45916 | 2147483647    51331     33 |  0.000 % |
800.01/800.49	c |   1198932 |     849    13728    45916 | 2147483647    51564     33 |  0.000 % |
800.21/800.69	c |   1199189 |     849    13728    45916 | 2147483647    51821     33 |  0.000 % |
800.41/800.82	c |   1199470 |     849    13728    45916 | 2147483647    52102     33 |  0.000 % |
800.51/800.97	c |   1199780 |     849    13728    45916 | 2147483647    52412     33 |  0.000 % |
800.71/801.16	c |   1200119 |     849    13728    45916 |    52632    52751     33 |  0.000 % |
801.01/801.47	c |   1200492 |     849    13728    45916 |    52632    45698     32 |  0.000 % |
801.21/801.69	c |   1200902 |     849    13728    45916 |    52632    46108     32 |  0.000 % |
801.41/801.89	c |   1201352 |     849    13728    45916 |    52632    46558     32 |  0.000 % |
801.71/802.11	c |   1201845 |     849    13728    45916 |    52632    47051     32 |  0.000 % |
802.01/802.43	c |   1202389 |     849    13728    45916 |    52632    47595     32 |  0.000 % |
802.21/802.68	c |   1202986 |     849    13728    45916 |    52632    48192     32 |  0.000 % |
802.61/803.05	c |   1203641 |     849    13728    45916 |    52632    48847     32 |  0.000 % |
803.01/803.41	c |   1204362 |     849    13728    45916 |    52632    49568     32 |  0.000 % |
803.41/803.87	c |   1205155 |     849    13728    45916 |    52632    50361     32 |  0.000 % |
803.91/804.30	c |   1206027 |     849    13728    45916 |    52632    51233     32 |  0.000 % |
804.41/804.90	c |   1206985 |     849    13728    45916 |    52632    52191     32 |  0.000 % |
805.41/805.86	c |   1208040 |     849    13728    45916 |    52632    47967     31 |  0.000 % |
806.21/806.61	c |   1209198 |     849    13728    45916 |    52632    49125     31 |  0.000 % |
807.11/807.54	c |   1210471 |     849    13728    45916 | 2147483647    50398     31 |  0.000 % |
808.11/808.51	c |   1211875 |     849    13728    45916 | 2147483647    51802     31 |  0.000 % |
808.91/809.35	c |   1213415 |     849    13728    45916 | 2147483647    53342     31 |  0.000 % |
810.10/810.50	c |   1215111 |     849    13728    45916 | 2147483647    55038     31 |  0.000 % |
811.00/811.40	c |   1216976 |     849    13728    45916 | 2147483647    56903     31 |  0.000 % |
812.51/812.90	c |   1219026 |     849    13728    45916 | 2147483647    58953     32 |  0.000 % |
813.90/814.35	c |   1221279 |     849    13728    45916 |    59927    53973     31 |  0.000 % |
815.71/816.18	c |   1223760 |     849    13728    45916 |    59927    56454     31 |  0.000 % |
817.91/818.32	c |   1226485 |     849    13728    45916 |    59927    59179     31 |  0.000 % |
820.30/820.78	c |   1229482 |     849    13728    45916 |    59927    53398     30 |  0.000 % |
822.80/823.22	c |   1232779 |     849    13728    45916 |    53916    48630     30 |  0.000 % |
825.30/825.76	c |   1236404 |     849    13728    45916 |    53916    52255     30 |  0.000 % |
828.10/828.55	c |   1240393 |     849    13728    45916 |    48554    42522     30 |  0.000 % |
830.90/831.37	c |   1244780 |     849    13728    45916 |    48554    46909     30 |  0.000 % |
834.30/834.79	c |   1249603 |     849    13728    45916 |    48554    45551     30 |  0.000 % |
837.38/837.83	c |   1254910 |     849    13728    45916 |    45949    45197     31 |  0.000 % |
840.98/841.44	c |   1260746 |     849    13728    45916 | 2147483647    46421     31 |  0.000 % |
845.67/846.16	c |   1267164 |     849    13728    45916 | 2147483647    52839     31 |  0.000 % |
850.57/851.02	c |   1274224 |     849    13728    45916 |    55677    53653     31 |  0.000 % |
856.07/856.59	c |   1281989 |     849    13728    45916 |    51455    46070     30 |  0.000 % |
862.57/863.00	c |   1290529 |     849    13728    45916 |    46769    40741     29 |  0.000 % |
868.47/868.96	c |   1299923 |     849    13728    45916 |    46769    45443     30 |  0.000 % |
877.86/878.31	c |   1310257 |     849    13728    45916 |    55520    45400     31 |  0.000 % |
888.36/888.89	c |   1321623 |     849    13728    45916 |    55143    47947     30 |  0.000 % |
888.45/888.99	c |   1321723 |     849    13728    45916 |    55143    48047     30 |  0.000 % |
888.55/889.09	c |   1321833 |     849    13728    45916 |    55143    48157     30 |  0.000 % |
888.65/889.17	c |   1321955 |     849    13728    45916 |    55143    48279     30 |  0.000 % |
888.75/889.27	c |   1322088 |     849    13728    45916 |    55143    48412     30 |  0.000 % |
888.85/889.35	c |   1322235 |     849    13728    45916 |    55143    48559     30 |  0.000 % |
888.95/889.43	c |   1322396 |     849    13728    45916 |    55143    48720     30 |  0.000 % |
888.95/889.49	c |   1322574 |     849    13728    45916 |    55143    48898     30 |  0.000 % |
889.15/889.63	c |   1322770 |     849    13728    45916 |    55143    49094     30 |  0.000 % |
889.25/889.73	c |   1322982 |     849    13728    45916 |    55143    49306     30 |  0.000 % |
889.35/889.82	c |   1323215 |     849    13728    45916 |    55143    49539     30 |  0.000 % |
889.45/889.93	c |   1323471 |     849    13728    45916 |    55143    49795     30 |  0.000 % |
889.55/890.06	c |   1323752 |     849    13728    45916 |    55143    50076     30 |  0.000 % |
889.75/890.21	c |   1324061 |     849    13728    45916 |    55143    50385     30 |  0.000 % |
889.95/890.44	c |   1324401 |     849    13728    45916 |    55143    50725     30 |  0.000 % |
890.15/890.67	c |   1324773 |     849    13728    45916 |    55143    51097     30 |  0.000 % |
890.46/890.97	c |   1325183 |     849    13728    45916 |    55143    51507     30 |  0.000 % |
890.76/891.24	c |   1325632 |     849    13728    45916 |    55143    51956     31 |  0.000 % |
891.16/891.65	c |   1326125 |     849    13728    45916 |    55143    52449     30 |  0.000 % |
891.46/891.99	c |   1326669 |     849    13728    45916 |    55143    52993     30 |  0.000 % |
891.86/892.32	c |   1327266 |     849    13728    45916 |    55143    53590     30 |  0.000 % |
892.26/892.76	c |   1327923 |     849    13728    45916 |    55143    54247     31 |  0.000 % |
892.66/893.12	c |   1328643 |     849    13728    45916 |    55143    54967     31 |  0.000 % |
893.16/893.65	c |   1329437 |     849    13728    45916 |    55143    48320     30 |  0.000 % |
893.56/894.07	c |   1330311 |     849    13728    45916 |    48883    43055     30 |  0.000 % |
894.06/894.51	c |   1331269 |     849    13728    45916 |    48883    44013     30 |  0.000 % |
894.56/895.02	c |   1332322 |     849    13728    45916 |    48883    45066     30 |  0.000 % |
895.06/895.52	c |   1333481 |     849    13728    45916 |    48883    46225     31 |  0.000 % |
895.56/896.04	c |   1334755 |     849    13728    45916 |    48883    47499     30 |  0.000 % |
896.46/896.90	c |   1336155 |     849    13728    45916 |    48883    48899     30 |  0.000 % |
897.16/897.67	c |   1337695 |     849    13728    45916 |    48883    45550     30 |  0.000 % |
898.16/898.70	c |   1339390 |     849    13728    45916 |    48883    47245     30 |  0.000 % |
899.46/899.99	c |   1341254 |     849    13728    45916 | 2147483647    49109     30 |  0.000 % |
900.66/901.18	c |   1343303 |     849    13728    45916 | 2147483647    51158     30 |  0.000 % |
902.25/902.77	c |   1345556 |     849    13728    45916 | 2147483647    53411     30 |  0.000 % |
903.55/904.04	c |   1348035 |     849    13728    45916 | 2147483647    55890     30 |  0.000 % |
905.55/906.04	c |   1350760 |     849    13728    45916 | 2147483647    58615     31 |  0.000 % |
908.16/908.66	c |   1353757 |     849    13728    45916 | 2147483647    61612     31 |  0.000 % |
911.15/911.65	c |   1357054 |     849    13728    45916 | 2147483647    64909     31 |  0.000 % |
913.95/914.44	c |   1360682 |     849    13728    45916 |    67857    58087     30 |  0.000 % |
916.86/917.37	c |   1364669 |     849    13728    45916 |    67857    62074     30 |  0.000 % |
921.05/921.50	c |   1369055 |     849    13728    45916 |    67857    66460     30 |  0.000 % |
925.54/926.00	c |   1373880 |     849    13728    45916 |    67406    59080     31 |  0.000 % |
930.44/930.94	c |   1379186 |     849    13728    45916 |    67406    64386     31 |  0.000 % |
935.64/936.19	c |   1385021 |     849    13728    45916 |    65201    59051     30 |  0.000 % |
940.74/941.28	c |   1391439 |     849    13728    45916 |    64031    53692     29 |  0.000 % |
945.84/946.31	c |   1398499 |     849    13728    45916 |    64031    60752     29 |  0.000 % |
952.83/953.31	c |   1406264 |     849    13728    45916 |    62254    57272     28 |  0.000 % |
958.74/959.27	c |   1414805 |     849    13728    45916 |    61008    55677     29 |  0.000 % |
965.93/966.49	c |   1424199 |     849    13728    45916 |    60872    54188     28 |  0.000 % |
974.32/974.80	c |   1434533 |     849    13728    45916 |    59990    54874     29 |  0.000 % |
983.51/984.08	c |   1445899 |     849    13728    45916 |    51438    49767     31 |  0.000 % |
992.21/992.78	c |   1458402 |     849    13728    45916 |    47693    45308     31 |  0.000 % |
992.31/992.85	c |   1458502 |     849    13728    45916 |    47693    45408     31 |  0.000 % |
992.41/992.92	c |   1458613 |     849    13728    45916 |    47693    45519     31 |  0.000 % |
992.41/992.96	c |   1458734 |     849    13728    45916 |    47693    45640     31 |  0.000 % |
992.51/993.03	c |   1458868 |     849    13728    45916 |    47693    45774     31 |  0.000 % |
992.61/993.13	c |   1459014 |     849    13728    45916 |    47693    45920     31 |  0.000 % |
992.71/993.21	c |   1459175 |     849    13728    45916 |    47693    46081     31 |  0.000 % |
992.81/993.33	c |   1459351 |     849    13728    45916 |    47693    46257     31 |  0.000 % |
992.91/993.44	c |   1459545 |     849    13728    45916 |    47693    46451     31 |  0.000 % |
993.01/993.58	c |   1459757 |     849    13728    45916 |    47693    46663     31 |  0.000 % |
993.21/993.75	c |   1459990 |     849    13728    45916 |    47693    46896     31 |  0.000 % |
993.41/993.91	c |   1460246 |     849    13728    45916 |    46906    42231     31 |  0.000 % |
993.51/994.02	c |   1460527 |     849    13728    45916 |    46906    42512     31 |  0.000 % |
993.61/994.17	c |   1460836 |     849    13728    45916 |    46906    42821     31 |  0.000 % |
993.81/994.37	c |   1461176 |     849    13728    45916 |    46906    43161     31 |  0.000 % |
994.01/994.56	c |   1461550 |     849    13728    45916 |    46906    43535     31 |  0.000 % |
994.31/994.81	c |   1461959 |     849    13728    45916 |    46906    43944     31 |  0.000 % |
994.61/995.11	c |   1462408 |     849    13728    45916 |    46906    44393     31 |  0.000 % |
994.81/995.31	c |   1462904 |     849    13728    45916 |    46906    44889     31 |  0.000 % |
995.11/995.68	c |   1463446 |     849    13728    45916 |    46906    45431     31 |  0.000 % |
995.41/995.97	c |   1464042 |     849    13728    45916 |    46906    46027     31 |  0.000 % |
995.81/996.39	c |   1464700 |     849    13728    45916 |    46906    46685     31 |  0.000 % |
996.31/996.87	c |   1465421 |     849    13728    45916 |    46906    42700     31 |  0.000 % |
996.81/997.32	c |   1466213 |     849    13728    45916 |    46906    43492     31 |  0.000 % |
997.31/997.81	c |   1467084 |     849    13728    45916 |    46906    44363     31 |  0.000 % |
998.01/998.52	c |   1468042 |     849    13728    45916 |    46906    45321     31 |  0.000 % |
998.71/999.24	c |   1469096 |     849    13728    45916 |    46906    46375     31 |  0.000 % |
999.80/1000.33	c |   1470255 |     849    13728    45916 | 2147483647    42828     31 |  0.000 % |
1000.60/1001.18	c |   1471528 |     849    13728    45916 | 2147483647    44101     31 |  0.000 % |
1001.51/1002.09	c |   1472929 |     849    13728    45916 | 2147483647    45502     31 |  0.000 % |
1002.40/1002.98	c |   1474469 |     849    13728    45916 | 2147483647    47042     31 |  0.000 % |
1003.60/1004.13	c |   1476163 |     849    13728    45916 | 2147483647    48736     31 |  0.000 % |
1004.91/1005.46	c |   1478026 |     849    13728    45916 | 2147483647    50599     32 |  0.000 % |
1006.30/1006.89	c |   1480075 |     849    13728    45916 | 2147483647    52648     32 |  0.000 % |
1008.10/1008.62	c |   1482331 |     849    13728    45916 | 2147483647    54904     31 |  0.000 % |
1009.90/1010.49	c |   1484809 |     849    13728    45916 | 2147483647    57382     32 |  0.000 % |
1012.50/1013.04	c |   1487535 |     849    13728    45916 | 2147483647    60108     32 |  0.000 % |
1015.39/1015.90	c |   1490532 |     849    13728    45916 |    62574    52310     30 |  0.000 % |
1017.69/1018.22	c |   1493828 |     849    13728    45916 |    62574    55606     31 |  0.000 % |
1020.99/1021.52	c |   1497455 |     849    13728    45916 |    62574    59233     31 |  0.000 % |
1024.79/1025.33	c |   1501442 |     849    13728    45916 |    61778    54438     30 |  0.000 % |
1028.69/1029.28	c |   1505828 |     849    13728    45916 |    61778    58824     30 |  0.000 % |
1032.99/1033.55	c |   1510652 |     849    13728    45916 |    53726    46367     29 |  0.000 % |
1035.88/1036.44	c |   1515957 |     849    13728    45916 |    53726    51672     30 |  0.000 % |
1040.18/1040.76	c |   1521792 |     849    13728    45916 |    47944    43765     29 |  0.000 % |
1044.68/1045.24	c |   1528210 |     849    13728    45916 |    47944    45376     30 |  0.000 % |
1050.68/1051.23	c |   1535270 |     849    13728    45916 | 2147483647    52436     32 |  0.000 % |
1057.18/1057.71	c |   1543034 |     849    13728    45916 |    57167    53197     31 |  0.000 % |
1064.37/1064.93	c |   1551576 |     849    13728    45916 |    51499    45272     31 |  0.000 % |
1072.77/1073.37	c |   1560971 |     849    13728    45916 |    45423    39268     29 |  0.000 % |
1080.67/1081.28	c |   1571304 |     849    13728    45916 |    43476    40397     29 |  0.000 % |
1088.97/1089.59	c |   1582671 |     849    13728    45916 | 2147483647    43042     30 |  0.000 % |
1099.26/1099.84	c |   1595173 |     849    13728    45916 |    50371    50358     31 |  0.000 % |
1109.36/1109.96	c |   1608926 |     849    13728    45916 |    48890    47330     34 |  0.000 % |
1109.46/1110.02	c |   1609027 |     849    13728    45916 |    48890    47431     34 |  0.000 % |
1109.46/1110.09	c |   1609139 |     849    13728    45916 |    48890    47543     34 |  0.000 % |
1109.55/1110.16	c |   1609260 |     849    13728    45916 |    48890    47664     34 |  0.000 % |
1109.75/1110.31	c |   1609393 |     849    13728    45916 |    48890    47797     34 |  0.000 % |
1109.85/1110.45	c |   1609540 |     849    13728    45916 |    48890    47944     34 |  0.000 % |
1109.95/1110.56	c |   1609701 |     849    13728    45916 |    48890    48105     34 |  0.000 % |
1110.05/1110.67	c |   1609878 |     849    13728    45916 |    48890    48282     34 |  0.000 % |
1110.15/1110.78	c |   1610071 |     849    13728    45916 | 2147483647    48475     34 |  0.000 % |
1110.25/1110.87	c |   1610284 |     849    13728    45916 | 2147483647    48688     34 |  0.000 % |
1110.46/1111.02	c |   1610518 |     849    13728    45916 | 2147483647    48922     34 |  0.000 % |
1110.55/1111.12	c |   1610775 |     849    13728    45916 | 2147483647    49179     34 |  0.000 % |
1110.65/1111.24	c |   1611056 |     849    13728    45916 | 2147483647    49460     34 |  0.000 % |
1110.85/1111.40	c |   1611366 |     849    13728    45916 | 2147483647    49770     34 |  0.000 % |
1111.15/1111.70	c |   1611705 |     849    13728    45916 | 2147483647    50109     34 |  0.000 % |
1111.25/1111.85	c |   1612077 |     849    13728    45916 | 2147483647    50481     34 |  0.000 % |
1111.56/1112.19	c |   1612487 |     849    13728    45916 | 2147483647    50891     34 |  0.000 % |
1111.85/1112.41	c |   1612936 |     849    13728    45916 | 2147483647    51340     34 |  0.000 % |
1112.15/1112.73	c |   1613431 |     849    13728    45916 | 2147483647    51835     34 |  0.000 % |
1112.45/1113.08	c |   1613974 |     849    13728    45916 | 2147483647    52378     34 |  0.000 % |
1112.95/1113.52	c |   1614570 |     849    13728    45916 | 2147483647    52974     34 |  0.000 % |
1113.45/1114.05	c |   1615225 |     849    13728    45916 | 2147483647    53629     34 |  0.000 % |
1114.05/1114.67	c |   1615947 |     849    13728    45916 | 2147483647    54351     34 |  0.000 % |
1114.65/1115.29	c |   1616740 |     849    13728    45916 | 2147483647    55144     33 |  0.000 % |
1115.15/1115.75	c |   1617611 |     849    13728    45916 | 2147483647    56015     33 |  0.000 % |
1115.65/1116.21	c |   1618570 |     849    13728    45916 | 2147483647    56974     33 |  0.000 % |
1116.35/1116.98	c |   1619624 |     849    13728    45916 | 2147483647    58028     33 |  0.000 % |
1117.35/1117.96	c |   1620783 |     849    13728    45916 |    58406    51024     32 |  0.000 % |
1118.05/1118.61	c |   1622056 |     849    13728    45916 |    58406    52297     32 |  0.000 % |
1119.05/1119.66	c |   1623457 |     849    13728    45916 |    58406    53698     33 |  0.000 % |
1120.25/1120.86	c |   1624998 |     849    13728    45916 |    58406    55239     32 |  0.000 % |
1121.55/1122.19	c |   1626693 |     849    13728    45916 |    58406    56934     32 |  0.000 % |
1123.05/1123.68	c |   1628556 |     849    13728    45916 |    58406    49639     31 |  0.000 % |
1124.55/1125.11	c |   1630605 |     849    13728    45916 |    51083    44300     31 |  0.000 % |
1125.64/1126.26	c |   1632859 |     849    13728    45916 |    51083    46554     31 |  0.000 % |
1127.74/1128.35	c |   1635337 |     849    13728    45916 |    51083    49032     31 |  0.000 % |
1129.64/1130.29	c |   1638063 |     849    13728    45916 |    51083    45683     31 |  0.000 % |
1132.04/1132.61	c |   1641061 |     849    13728    45916 |    47621    43004     29 |  0.000 % |
1134.44/1135.02	c |   1644358 |     849    13728    45916 |    47621    46301     30 |  0.000 % |
1136.85/1137.42	c |   1647983 |     849    13728    45916 |    47621    45146     29 |  0.000 % |
1139.64/1140.28	c |   1651970 |     849    13728    45916 | 2147483647    49133     30 |  0.000 % |
1143.04/1143.68	c |   1656355 |     849    13728    45916 | 2147483647    53518     30 |  0.000 % |
1147.64/1148.23	c |   1661178 |     849    13728    45916 |    57165    50978     30 |  0.000 % |
1151.43/1152.03	c |   1666485 |     849    13728    45916 |    57165    56285     30 |  0.000 % |
1157.13/1157.77	c |   1672322 |     849    13728    45916 |    51144    46122     29 |  0.000 % |
1161.92/1162.52	c |   1678742 |     849    13728    45916 |    51144    46627     30 |  0.000 % |
1167.22/1167.89	c |   1685802 |     849    13728    45916 |    47886    42695     28 |  0.000 % |
1173.52/1174.10	c |   1693568 |     849    13728    45916 | 2147483647    50461     29 |  0.000 % |
1180.52/1181.14	c |   1702108 |     849    13728    45916 |    56896    52665     30 |  0.000 % |
1188.02/1188.65	c |   1711504 |     849    13728    45916 |    53887    48628     30 |  0.000 % |
1197.61/1198.21	c |   1721839 |     849    13728    45916 |    51284    47496     30 |  0.000 % |
1200.02/1200.61	HOME/SatELiteGTI: line 36: 10107 Terminated              $MS $TMP.cnf $TMP.result

Verifier Data

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

Watcher Data

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

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

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


[startup+0 s]
/proc/loadavg: 0.99 1.00 0.96 3/64 10101
/proc/meminfo: memFree=1919536/2055920 swapFree=4180204/4192956
[pid=10101] ppid=10099 vsize=5356 CPUtime=0
/proc/10101/stat : 10101 (SatELiteGTI) S 10099 10101 9785 0 -1 4194304 276 0 0 0 0 0 0 0 18 0 1 0 305064378 5484544 235 1992294400 4194304 4889804 548682068832 18446744073709551615 252429697106 0 0 4100 65536 18446744071563648864 0 0 17 0 0 0
/proc/10101/statm: 1339 235 195 169 0 50 0
[pid=10102] ppid=10101 vsize=5356 CPUtime=0
/proc/10102/stat : 10102 (SatELiteGTI) S 10101 10101 9785 0 -1 4194368 51 25 0 0 0 0 0 0 19 0 1 0 305064378 5484544 238 1992294400 4194304 4889804 548682068832 18446744073709551615 252429525828 0 65536 4096 65538 18446744071563356171 0 0 17 0 0 0
/proc/10102/statm: 1339 238 198 169 0 50 0
[pid=10104] ppid=10102 vsize=0 CPUtime=0
/proc/10104/stat : 10104 (sed) Z 10102 10101 9785 0 -1 4194316 163 0 0 0 0 0 0 0 18 0 1 0 305064378 0 0 1992294400 0 0 0 0 0 0 0 4096 0 18446744071563351923 0 0 17 1 0 0
/proc/10104/statm: 0 0 0 0 0 0 0

[startup+0.025786 s]
/proc/loadavg: 0.99 1.00 0.96 3/64 10101
/proc/meminfo: memFree=1919536/2055920 swapFree=4180204/4192956
[pid=10101] ppid=10099 vsize=5356 CPUtime=0
/proc/10101/stat : 10101 (SatELiteGTI) S 10099 10101 9785 0 -1 4194304 310 249 0 0 0 0 0 0 17 0 1 0 305064378 5484544 237 1992294400 4194304 4889804 548682068832 18446744073709551615 252429525828 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/10101/statm: 1339 237 197 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356

[startup+0.10179 s]
/proc/loadavg: 0.99 1.00 0.96 3/64 10101
/proc/meminfo: memFree=1919536/2055920 swapFree=4180204/4192956
[pid=10101] ppid=10099 vsize=5356 CPUtime=0
/proc/10101/stat : 10101 (SatELiteGTI) S 10099 10101 9785 0 -1 4194304 310 249 0 0 0 0 0 0 17 0 1 0 305064378 5484544 237 1992294400 4194304 4889804 548682068832 18446744073709551615 252429525828 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/10101/statm: 1339 237 197 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356

[startup+0.301812 s]
/proc/loadavg: 0.99 1.00 0.96 3/64 10101
/proc/meminfo: memFree=1919536/2055920 swapFree=4180204/4192956
[pid=10101] ppid=10099 vsize=5356 CPUtime=0.16
/proc/10101/stat : 10101 (SatELiteGTI) S 10099 10101 9785 0 -1 4194304 336 823 0 0 0 0 16 0 16 0 1 0 305064378 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 252429525828 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/10101/statm: 1339 239 197 169 0 50 0
Current children cumulated CPU time (s) 0.16
Current children cumulated vsize (KiB) 5356

[startup+0.701853 s]
/proc/loadavg: 0.99 1.00 0.96 3/64 10101
/proc/meminfo: memFree=1919536/2055920 swapFree=4180204/4192956
[pid=10101] ppid=10099 vsize=5356 CPUtime=0.16
/proc/10101/stat : 10101 (SatELiteGTI) S 10099 10101 9785 0 -1 4194304 336 823 0 0 0 0 16 0 16 0 1 0 305064378 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 252429525828 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/10101/statm: 1339 239 197 169 0 50 0
Current children cumulated CPU time (s) 0.16
Current children cumulated vsize (KiB) 5356

[startup+1.50193 s]
/proc/loadavg: 0.99 1.00 0.96 2/66 10107
/proc/meminfo: memFree=1917024/2055920 swapFree=4180204/4192956
[pid=10101] ppid=10099 vsize=5356 CPUtime=0.16
/proc/10101/stat : 10101 (SatELiteGTI) S 10099 10101 9785 0 -1 4194304 336 823 0 0 0 0 16 0 16 0 1 0 305064378 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 252429525828 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/10101/statm: 1339 239 197 169 0 50 0
[pid=10107] ppid=10101 vsize=3476 CPUtime=1.31
/proc/10107/stat : 10107 (minisat_static) R 10101 10101 9785 0 -1 4194304 559 0 0 0 131 0 0 0 25 0 1 0 305064396 3559424 545 1992294400 134512640 135215339 4294956240 18446744073709551615 134529083 0 0 4096 3 0 0 0 17 0 0 0
/proc/10107/statm: 869 545 76 171 0 696 0
Current children cumulated CPU time (s) 1.47
Current children cumulated vsize (KiB) 8832

[startup+3.10209 s]
/proc/loadavg: 0.99 1.00 0.96 2/66 10107
/proc/meminfo: memFree=1916128/2055920 swapFree=4180204/4192956
[pid=10101] ppid=10099 vsize=5356 CPUtime=0.16
/proc/10101/stat : 10101 (SatELiteGTI) S 10099 10101 9785 0 -1 4194304 336 823 0 0 0 0 16 0 16 0 1 0 305064378 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 252429525828 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/10101/statm: 1339 239 197 169 0 50 0
[pid=10107] ppid=10101 vsize=5068 CPUtime=2.9
/proc/10107/stat : 10107 (minisat_static) R 10101 10101 9785 0 -1 4194304 960 0 0 0 290 0 0 0 25 0 1 0 305064396 5189632 946 1992294400 134512640 135215339 4294956240 18446744073709551615 134721382 0 0 4096 3 0 0 0 17 0 0 0
/proc/10107/statm: 1267 946 76 171 0 1094 0
Current children cumulated CPU time (s) 3.06
Current children cumulated vsize (KiB) 10424

[startup+6.3014 s]
/proc/loadavg: 0.99 1.00 0.96 2/66 10107
/proc/meminfo: memFree=1913120/2055920 swapFree=4180204/4192956
[pid=10101] ppid=10099 vsize=5356 CPUtime=0.16
/proc/10101/stat : 10101 (SatELiteGTI) S 10099 10101 9785 0 -1 4194304 336 823 0 0 0 0 16 0 16 0 1 0 305064378 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 252429525828 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/10101/statm: 1339 239 197 169 0 50 0
[pid=10107] ppid=10101 vsize=7612 CPUtime=6.11
/proc/10107/stat : 10107 (minisat_static) R 10101 10101 9785 0 -1 4194304 1601 0 0 0 610 1 0 0 25 0 1 0 305064396 7794688 1587 1992294400 134512640 135215339 4294956240 18446744073709551615 134721382 0 0 4096 3 0 0 0 17 0 0 0
/proc/10107/statm: 1903 1587 76 171 0 1730 0
Current children cumulated CPU time (s) 6.27
Current children cumulated vsize (KiB) 12968

[startup+12.701 s]
/proc/loadavg: 0.99 1.00 0.96 2/66 10107
/proc/meminfo: memFree=1909792/2055920 swapFree=4180204/4192956
[pid=10101] ppid=10099 vsize=5356 CPUtime=0.16
/proc/10101/stat : 10101 (SatELiteGTI) S 10099 10101 9785 0 -1 4194304 336 823 0 0 0 0 16 0 16 0 1 0 305064378 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 252429525828 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/10101/statm: 1339 239 197 169 0 50 0
[pid=10107] ppid=10101 vsize=10596 CPUtime=12.5
/proc/10107/stat : 10107 (minisat_static) R 10101 10101 9785 0 -1 4194304 2317 0 0 0 1249 1 0 0 25 0 1 0 305064396 10850304 2303 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/10107/statm: 2649 2303 76 171 0 2476 0
Current children cumulated CPU time (s) 12.66
Current children cumulated vsize (KiB) 15952

[startup+25.5013 s]
/proc/loadavg: 0.99 1.00 0.96 2/66 10107
/proc/meminfo: memFree=1905440/2055920 swapFree=4180204/4192956
[pid=10101] ppid=10099 vsize=5356 CPUtime=0.16
/proc/10101/stat : 10101 (SatELiteGTI) S 10099 10101 9785 0 -1 4194304 336 823 0 0 0 0 16 0 16 0 1 0 305064378 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 252429525828 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/10101/statm: 1339 239 197 169 0 50 0
[pid=10107] ppid=10101 vsize=14704 CPUtime=25.29
/proc/10107/stat : 10107 (minisat_static) R 10101 10101 9785 0 -1 4194304 3348 0 0 0 2527 2 0 0 25 0 1 0 305064396 15056896 3334 1992294400 134512640 135215339 4294956240 18446744073709551615 134529083 0 0 4096 3 0 0 0 17 0 0 0
/proc/10107/statm: 3676 3334 76 171 0 3503 0
Current children cumulated CPU time (s) 25.45
Current children cumulated vsize (KiB) 20060

[startup+51.1018 s]
/proc/loadavg: 0.99 1.00 0.96 2/66 10107
/proc/meminfo: memFree=1904800/2055920 swapFree=4180204/4192956
[pid=10101] ppid=10099 vsize=5356 CPUtime=0.16
/proc/10101/stat : 10101 (SatELiteGTI) S 10099 10101 9785 0 -1 4194304 336 823 0 0 0 0 16 0 16 0 1 0 305064378 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 252429525828 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/10101/statm: 1339 239 197 169 0 50 0
[pid=10107] ppid=10101 vsize=15272 CPUtime=50.88
/proc/10107/stat : 10107 (minisat_static) R 10101 10101 9785 0 -1 4194304 3486 0 0 0 5085 3 0 0 25 0 1 0 305064396 15638528 3472 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/10107/statm: 3818 3472 76 171 0 3645 0
Current children cumulated CPU time (s) 51.04
Current children cumulated vsize (KiB) 20628

[startup+102.306 s]
/proc/loadavg: 0.99 1.00 0.96 2/66 10107
/proc/meminfo: memFree=1904480/2055920 swapFree=4180204/4192956
[pid=10101] ppid=10099 vsize=5356 CPUtime=0.16
/proc/10101/stat : 10101 (SatELiteGTI) S 10099 10101 9785 0 -1 4194304 336 823 0 0 0 0 16 0 16 0 1 0 305064378 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 252429525828 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/10101/statm: 1339 239 197 169 0 50 0
[pid=10107] ppid=10101 vsize=15404 CPUtime=102.07
/proc/10107/stat : 10107 (minisat_static) R 10101 10101 9785 0 -1 4194304 3517 0 0 0 10204 3 0 0 25 0 1 0 305064396 15773696 3503 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/10107/statm: 3851 3503 76 171 0 3678 0
Current children cumulated CPU time (s) 102.23
Current children cumulated vsize (KiB) 20760

[startup+162.302 s]
/proc/loadavg: 0.99 1.00 0.96 2/66 10113
/proc/meminfo: memFree=1904160/2055920 swapFree=4180204/4192956
[pid=10101] ppid=10099 vsize=5356 CPUtime=0.16
/proc/10101/stat : 10101 (SatELiteGTI) S 10099 10101 9785 0 -1 4194304 336 823 0 0 0 0 16 0 16 0 1 0 305064378 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 252429525828 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/10101/statm: 1339 239 197 169 0 50 0
[pid=10107] ppid=10101 vsize=15404 CPUtime=162.03
/proc/10107/stat : 10107 (minisat_static) R 10101 10101 9785 0 -1 4194304 3533 0 0 0 16199 4 0 0 25 0 1 0 305064396 15773696 3519 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/10107/statm: 3851 3519 76 171 0 3678 0
Current children cumulated CPU time (s) 162.19
Current children cumulated vsize (KiB) 20760

[startup+222.302 s]
/proc/loadavg: 0.99 1.00 0.96 2/66 10113
/proc/meminfo: memFree=1904096/2055920 swapFree=4180204/4192956
[pid=10101] ppid=10099 vsize=5356 CPUtime=0.16
/proc/10101/stat : 10101 (SatELiteGTI) S 10099 10101 9785 0 -1 4194304 336 823 0 0 0 0 16 0 16 0 1 0 305064378 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 252429525828 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/10101/statm: 1339 239 197 169 0 50 0
[pid=10107] ppid=10101 vsize=15556 CPUtime=222.01
/proc/10107/stat : 10107 (minisat_static) R 10101 10101 9785 0 -1 4194304 3552 0 0 0 22197 4 0 0 25 0 1 0 305064396 15929344 3538 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/10107/statm: 3889 3538 76 171 0 3716 0
Current children cumulated CPU time (s) 222.17
Current children cumulated vsize (KiB) 20912

[startup+282.302 s]
/proc/loadavg: 0.99 1.00 0.96 2/66 10113
/proc/meminfo: memFree=1903968/2055920 swapFree=4180204/4192956
[pid=10101] ppid=10099 vsize=5356 CPUtime=0.16
/proc/10101/stat : 10101 (SatELiteGTI) S 10099 10101 9785 0 -1 4194304 336 823 0 0 0 0 16 0 16 0 1 0 305064378 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 252429525828 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/10101/statm: 1339 239 197 169 0 50 0
[pid=10107] ppid=10101 vsize=15556 CPUtime=281.99
/proc/10107/stat : 10107 (minisat_static) R 10101 10101 9785 0 -1 4194304 3570 0 0 0 28195 4 0 0 25 0 1 0 305064396 15929344 3556 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/10107/statm: 3889 3556 76 171 0 3716 0
Current children cumulated CPU time (s) 282.15
Current children cumulated vsize (KiB) 20912

[startup+342.302 s]
/proc/loadavg: 0.99 1.00 0.96 2/66 10113
/proc/meminfo: memFree=1903712/2055920 swapFree=4180204/4192956
[pid=10101] ppid=10099 vsize=5356 CPUtime=0.16
/proc/10101/stat : 10101 (SatELiteGTI) S 10099 10101 9785 0 -1 4194304 336 823 0 0 0 0 16 0 16 0 1 0 305064378 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 252429525828 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/10101/statm: 1339 239 197 169 0 50 0
[pid=10107] ppid=10101 vsize=15828 CPUtime=341.96
/proc/10107/stat : 10107 (minisat_static) R 10101 10101 9785 0 -1 4194304 3617 0 0 0 34191 5 0 0 25 0 1 0 305064396 16207872 3603 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/10107/statm: 3957 3603 76 171 0 3784 0
Current children cumulated CPU time (s) 342.12
Current children cumulated vsize (KiB) 21184

[startup+402.302 s]
/proc/loadavg: 0.99 1.00 0.96 2/66 10113
/proc/meminfo: memFree=1903584/2055920 swapFree=4180204/4192956
[pid=10101] ppid=10099 vsize=5356 CPUtime=0.16
/proc/10101/stat : 10101 (SatELiteGTI) S 10099 10101 9785 0 -1 4194304 336 823 0 0 0 0 16 0 16 0 1 0 305064378 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 252429525828 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/10101/statm: 1339 239 197 169 0 50 0
[pid=10107] ppid=10101 vsize=15828 CPUtime=401.94

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

[pid=10107] ppid=10101 vsize=15976 CPUtime=461.92
/proc/10107/stat : 10107 (minisat_static) R 10101 10101 9785 0 -1 4194304 3645 0 0 0 46187 5 0 0 25 0 1 0 305064396 16359424 3631 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/10107/statm: 3994 3631 76 171 0 3821 0
Current children cumulated CPU time (s) 462.08
Current children cumulated vsize (KiB) 21332

[startup+522.302 s]
/proc/loadavg: 0.99 1.00 0.96 2/66 10113
/proc/meminfo: memFree=1903200/2055920 swapFree=4180204/4192956
[pid=10101] ppid=10099 vsize=5356 CPUtime=0.16
/proc/10101/stat : 10101 (SatELiteGTI) S 10099 10101 9785 0 -1 4194304 336 823 0 0 0 0 16 0 16 0 1 0 305064378 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 252429525828 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/10101/statm: 1339 239 197 169 0 50 0
[pid=10107] ppid=10101 vsize=15976 CPUtime=521.89
/proc/10107/stat : 10107 (minisat_static) R 10101 10101 9785 0 -1 4194304 3666 0 0 0 52183 6 0 0 25 0 1 0 305064396 16359424 3652 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/10107/statm: 3994 3652 76 171 0 3821 0
Current children cumulated CPU time (s) 522.05
Current children cumulated vsize (KiB) 21332

[startup+582.302 s]
/proc/loadavg: 0.99 1.00 0.96 2/66 10113
/proc/meminfo: memFree=1903008/2055920 swapFree=4180204/4192956
[pid=10101] ppid=10099 vsize=5356 CPUtime=0.16
/proc/10101/stat : 10101 (SatELiteGTI) S 10099 10101 9785 0 -1 4194304 336 823 0 0 0 0 16 0 16 0 1 0 305064378 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 252429525828 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/10101/statm: 1339 239 197 169 0 50 0
[pid=10107] ppid=10101 vsize=16108 CPUtime=581.86
/proc/10107/stat : 10107 (minisat_static) R 10101 10101 9785 0 -1 4194304 3687 0 0 0 58180 6 0 0 25 0 1 0 305064396 16494592 3673 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/10107/statm: 4027 3673 76 171 0 3854 0
Current children cumulated CPU time (s) 582.02
Current children cumulated vsize (KiB) 21464

[startup+642.302 s]
/proc/loadavg: 0.99 1.00 0.96 2/66 10113
/proc/meminfo: memFree=1902816/2055920 swapFree=4180204/4192956
[pid=10101] ppid=10099 vsize=5356 CPUtime=0.16
/proc/10101/stat : 10101 (SatELiteGTI) S 10099 10101 9785 0 -1 4194304 336 823 0 0 0 0 16 0 16 0 1 0 305064378 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 252429525828 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/10101/statm: 1339 239 197 169 0 50 0
[pid=10107] ppid=10101 vsize=16248 CPUtime=641.84
/proc/10107/stat : 10107 (minisat_static) R 10101 10101 9785 0 -1 4194304 3716 0 0 0 64178 6 0 0 25 0 1 0 305064396 16637952 3702 1992294400 134512640 135215339 4294956240 18446744073709551615 134528863 0 0 4096 3 0 0 0 17 0 0 0
/proc/10107/statm: 4062 3702 76 171 0 3889 0
Current children cumulated CPU time (s) 642
Current children cumulated vsize (KiB) 21604

[startup+702.302 s]
/proc/loadavg: 0.99 1.00 0.96 2/66 10113
/proc/meminfo: memFree=1902176/2055920 swapFree=4180204/4192956
[pid=10101] ppid=10099 vsize=5356 CPUtime=0.16
/proc/10101/stat : 10101 (SatELiteGTI) S 10099 10101 9785 0 -1 4194304 336 823 0 0 0 0 16 0 16 0 1 0 305064378 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 252429525828 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/10101/statm: 1339 239 197 169 0 50 0
[pid=10107] ppid=10101 vsize=16776 CPUtime=701.8
/proc/10107/stat : 10107 (minisat_static) R 10101 10101 9785 0 -1 4194304 3849 0 0 0 70174 6 0 0 25 0 1 0 305064396 17178624 3835 1992294400 134512640 135215339 4294956240 18446744073709551615 134528742 0 0 4096 3 0 0 0 17 0 0 0
/proc/10107/statm: 4194 3835 76 171 0 4021 0
Current children cumulated CPU time (s) 701.96
Current children cumulated vsize (KiB) 22132

[startup+762.306 s]
/proc/loadavg: 0.99 1.00 0.96 2/66 10113
/proc/meminfo: memFree=1901856/2055920 swapFree=4180204/4192956
[pid=10101] ppid=10099 vsize=5356 CPUtime=0.16
/proc/10101/stat : 10101 (SatELiteGTI) S 10099 10101 9785 0 -1 4194304 336 823 0 0 0 0 16 0 16 0 1 0 305064378 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 252429525828 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/10101/statm: 1339 239 197 169 0 50 0
[pid=10107] ppid=10101 vsize=17048 CPUtime=761.78
/proc/10107/stat : 10107 (minisat_static) R 10101 10101 9785 0 -1 4194304 3893 0 0 0 76172 6 0 0 25 0 1 0 305064396 17457152 3879 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/10107/statm: 4262 3879 76 171 0 4089 0
Current children cumulated CPU time (s) 761.94
Current children cumulated vsize (KiB) 22404

[startup+822.301 s]
/proc/loadavg: 0.99 1.00 0.96 2/66 10113
/proc/meminfo: memFree=1901728/2055920 swapFree=4180204/4192956
[pid=10101] ppid=10099 vsize=5356 CPUtime=0.16
/proc/10101/stat : 10101 (SatELiteGTI) S 10099 10101 9785 0 -1 4194304 336 823 0 0 0 0 16 0 16 0 1 0 305064378 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 252429525828 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/10101/statm: 1339 239 197 169 0 50 0
[pid=10107] ppid=10101 vsize=17196 CPUtime=821.74
/proc/10107/stat : 10107 (minisat_static) R 10101 10101 9785 0 -1 4194304 3927 0 0 0 82168 6 0 0 25 0 1 0 305064396 17608704 3913 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/10107/statm: 4299 3913 76 171 0 4126 0
Current children cumulated CPU time (s) 821.9
Current children cumulated vsize (KiB) 22552

[startup+882.301 s]
/proc/loadavg: 0.99 1.00 0.96 2/66 10113
/proc/meminfo: memFree=1901600/2055920 swapFree=4180204/4192956
[pid=10101] ppid=10099 vsize=5356 CPUtime=0.16
/proc/10101/stat : 10101 (SatELiteGTI) S 10099 10101 9785 0 -1 4194304 336 823 0 0 0 0 16 0 16 0 1 0 305064378 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 252429525828 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/10101/statm: 1339 239 197 169 0 50 0
[pid=10107] ppid=10101 vsize=17196 CPUtime=881.69
/proc/10107/stat : 10107 (minisat_static) R 10101 10101 9785 0 -1 4194304 3927 0 0 0 88163 6 0 0 25 0 1 0 305064396 17608704 3913 1992294400 134512640 135215339 4294956240 18446744073709551615 134528728 0 0 4096 3 0 0 0 17 0 0 0
/proc/10107/statm: 4299 3913 76 171 0 4126 0
Current children cumulated CPU time (s) 881.85
Current children cumulated vsize (KiB) 22552

[startup+942.301 s]
/proc/loadavg: 0.99 1.00 0.96 2/66 10113
/proc/meminfo: memFree=1901408/2055920 swapFree=4180204/4192956
[pid=10101] ppid=10099 vsize=5356 CPUtime=0.16
/proc/10101/stat : 10101 (SatELiteGTI) S 10099 10101 9785 0 -1 4194304 336 823 0 0 0 0 16 0 16 0 1 0 305064378 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 252429525828 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/10101/statm: 1339 239 197 169 0 50 0
[pid=10107] ppid=10101 vsize=17196 CPUtime=941.68
/proc/10107/stat : 10107 (minisat_static) R 10101 10101 9785 0 -1 4194304 3956 0 0 0 94161 7 0 0 25 0 1 0 305064396 17608704 3942 1992294400 134512640 135215339 4294956240 18446744073709551615 134528809 0 0 4096 3 0 0 0 17 0 0 0
/proc/10107/statm: 4299 3942 76 171 0 4126 0
Current children cumulated CPU time (s) 941.84
Current children cumulated vsize (KiB) 22552

[startup+1002.3 s]
/proc/loadavg: 0.99 1.00 0.96 2/66 10113
/proc/meminfo: memFree=1901216/2055920 swapFree=4180204/4192956
[pid=10101] ppid=10099 vsize=5356 CPUtime=0.16
/proc/10101/stat : 10101 (SatELiteGTI) S 10099 10101 9785 0 -1 4194304 336 823 0 0 0 0 16 0 16 0 1 0 305064378 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 252429525828 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/10101/statm: 1339 239 197 169 0 50 0
[pid=10107] ppid=10101 vsize=17332 CPUtime=1001.64
/proc/10107/stat : 10107 (minisat_static) R 10101 10101 9785 0 -1 4194304 3981 0 0 0 100157 7 0 0 25 0 1 0 305064396 17747968 3967 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/10107/statm: 4333 3967 76 171 0 4160 0
Current children cumulated CPU time (s) 1001.8
Current children cumulated vsize (KiB) 22688

[startup+1062.3 s]
/proc/loadavg: 0.99 1.00 0.96 2/66 10113
/proc/meminfo: memFree=1901088/2055920 swapFree=4180204/4192956
[pid=10101] ppid=10099 vsize=5356 CPUtime=0.16
/proc/10101/stat : 10101 (SatELiteGTI) S 10099 10101 9785 0 -1 4194304 336 823 0 0 0 0 16 0 16 0 1 0 305064378 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 252429525828 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/10101/statm: 1339 239 197 169 0 50 0
[pid=10107] ppid=10101 vsize=17332 CPUtime=1061.61
/proc/10107/stat : 10107 (minisat_static) R 10101 10101 9785 0 -1 4194304 3989 0 0 0 106154 7 0 0 25 0 1 0 305064396 17747968 3975 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/10107/statm: 4333 3975 76 171 0 4160 0
Current children cumulated CPU time (s) 1061.77
Current children cumulated vsize (KiB) 22688

[startup+1122.3 s]
/proc/loadavg: 0.99 1.00 0.96 2/66 10113
/proc/meminfo: memFree=1900896/2055920 swapFree=4180204/4192956
[pid=10101] ppid=10099 vsize=5356 CPUtime=0.16
/proc/10101/stat : 10101 (SatELiteGTI) S 10099 10101 9785 0 -1 4194304 336 823 0 0 0 0 16 0 16 0 1 0 305064378 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 252429525828 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/10101/statm: 1339 239 197 169 0 50 0
[pid=10107] ppid=10101 vsize=17476 CPUtime=1121.59
/proc/10107/stat : 10107 (minisat_static) R 10101 10101 9785 0 -1 4194304 4015 0 0 0 112152 7 0 0 25 0 1 0 305064396 17895424 4001 1992294400 134512640 135215339 4294956240 18446744073709551615 134528734 0 0 4096 3 0 0 0 17 0 0 0
/proc/10107/statm: 4369 4001 76 171 0 4196 0
Current children cumulated CPU time (s) 1121.75
Current children cumulated vsize (KiB) 22832

[startup+1182.3 s]
/proc/loadavg: 0.99 1.00 0.96 2/66 10113
/proc/meminfo: memFree=1900768/2055920 swapFree=4180204/4192956
[pid=10101] ppid=10099 vsize=5356 CPUtime=0.16
/proc/10101/stat : 10101 (SatELiteGTI) S 10099 10101 9785 0 -1 4194304 336 823 0 0 0 0 16 0 16 0 1 0 305064378 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 252429525828 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/10101/statm: 1339 239 197 169 0 50 0
[pid=10107] ppid=10101 vsize=17476 CPUtime=1181.56
/proc/10107/stat : 10107 (minisat_static) R 10101 10101 9785 0 -1 4194304 4015 0 0 0 118149 7 0 0 25 0 1 0 305064396 17895424 4001 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/10107/statm: 4369 4001 76 171 0 4196 0
Current children cumulated CPU time (s) 1181.72
Current children cumulated vsize (KiB) 22832



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1200.6 s]
/proc/loadavg: 0.99 1.00 0.96 2/66 10113
/proc/meminfo: memFree=1900704/2055920 swapFree=4180204/4192956
[pid=10101] ppid=10099 vsize=5356 CPUtime=0.16
/proc/10101/stat : 10101 (SatELiteGTI) S 10099 10101 9785 0 -1 4194304 336 823 0 0 0 0 16 0 16 0 1 0 305064378 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 252429525828 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/10101/statm: 1339 239 197 169 0 50 0
[pid=10107] ppid=10101 vsize=17476 CPUtime=1199.86
/proc/10107/stat : 10107 (minisat_static) R 10101 10101 9785 0 -1 4194304 4024 0 0 0 119979 7 0 0 25 0 1 0 305064396 17895424 4010 1992294400 134512640 135215339 4294956240 18446744073709551615 134528734 0 0 4096 3 0 0 0 17 0 0 0
/proc/10107/statm: 4369 4010 76 171 0 4196 0
Current children cumulated CPU time (s) 1200.02
Current children cumulated vsize (KiB) 22832

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

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

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1200.61
CPU time (s): 1200.05
CPU user time (s): 1199.96
CPU system time (s): 0.089986
CPU usage (%): 99.9531
Max. virtual memory (cumulated for all children) (KiB): 22832

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

runsolver used 1.02884 second user time and 3.46247 second system time

The end

Launcher Data

Begin job on node12 at 2009-05-19 23:58:24
IDJOB=1832189
IDBENCH=24614
IDSOLVER=671
FILE ID=node12/1832189-1242770304
PBS_JOBID= 9322286
Free space on /tmp= 66312 MiB

SOLVER NAME= minisat_cumr p-2009-03-18
BENCH NAME= SAT07/crafted/Hard/contest04/connamacher/connm-ue-csp-sat-n1200-d0.00-s1756632460.sat05-526.reshuffled-07.cnf
COMMAND LINE= SatELiteGTI BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-1832189-1242770304/watcher-1832189-1242770304 -o /tmp/evaluation-result-1832189-1242770304/solver-1832189-1242770304 -C 1200 -W 1800 -M 1800  SatELiteGTI HOME/instance-1832189-1242770304.cnf

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

MD5SUM BENCH= 00198881c2cf000cfee916c18d69d474
RANDOM SEED=366577933

node12.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.213
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.213
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:       1920032 kB
Buffers:         11284 kB
Cached:          88324 kB
SwapCached:       6880 kB
Active:          40732 kB
Inactive:        67124 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1920032 kB
SwapTotal:     4192956 kB
SwapFree:      4180204 kB
Dirty:            1796 kB
Writeback:           0 kB
Mapped:          13456 kB
Slab:            14100 kB
Committed_AS:  1146644 kB
PageTables:       1408 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= 66308 MiB
End job on node12 at 2009-05-20 00:18:26