Trace number 1832585

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

NameRANDOM/LARGE/7SAT/UNKNOWN/180/
unif-k7-r85-v180-c15300-S1249224492-031.cnf
MD5SUM926573baa883bfadaffafb33f2f57748
Bench CategoryRANDOM (random instances)
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark445.781
Satisfiable
(Un)Satisfiability was proved
Number of variables180
Number of clauses15300
Sum of the clauses size107100
Maximum clause length7
Minimum clause length7
Number of clauses of size 10
Number of clauses of size 20
Number of clauses of size 30
Number of clauses of size 40
Number of clauses of size 50
Number of clauses of size over 515300

Solver Data

0.00/0.00	c Parsing...
0.00/0.02	c ==============================================================================
0.00/0.02	c |           |     ORIGINAL     |              LEARNT              |          |
0.00/0.02	c | Conflicts | Clauses Literals |   Limit Clauses Literals  Lit/Cl | Progress |
0.00/0.02	c ==============================================================================
0.00/0.02	c |         0 |   15300   107100 |    4589       0        0     nan |  0.000 % |
0.00/0.02	c ==============================================================================
0.00/0.02	c Result  :   #vars: 180   #clauses: 15300   #literals: 107100
0.00/0.02	c CPU time:   0.020996 s
0.00/0.02	c ==============================================================================
0.00/0.06	c This is MiniSat 2.0 beta
0.00/0.06	c WARNING: for repeatability, setting FPU to use double precision
0.00/0.06	c ============================[ Problem Statistics ]=============================
0.00/0.06	c |                                                                             |
0.00/0.06	c |  Number of variables:  180                                                  |
0.00/0.06	c |  Number of clauses:    15300                                                |
0.00/0.07	c |  Parsing time:         0.01         s                                       |
0.00/0.07	c ============================[ Search Statistics ]==============================
0.00/0.07	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
0.00/0.07	c |           |    Vars  Clauses Literals |    Limit  Clauses Lit/Cl |          |
0.00/0.07	c ===============================================================================
0.00/0.07	c |         0 |     180    15300   107100 |     5100        0    nan |  0.000 % |
0.00/0.08	c |       101 |     180    15300   107100 |     5100      101     55 |  0.003 % |
0.00/0.09	c |       202 |     180    15300   107100 |     5100      202     55 |  0.003 % |
0.05/0.10	c |       304 |     180    15300   107100 |     5100      304     54 |  0.003 % |
0.05/0.11	c |       414 |     180    15300   107100 |     5100      414     54 |  0.003 % |
0.05/0.12	c |       514 |     180    15300   107100 |     5100      514     53 |  0.003 % |
0.05/0.13	c |       626 |     180    15300   107100 |     5100      626     53 |  0.003 % |
0.05/0.14	c |       748 |     180    15300   107100 |     5100      748     53 |  0.003 % |
0.05/0.15	c |       851 |     180    15300   107100 |     5100      851     53 |  0.003 % |
0.05/0.16	c |       961 |     180    15300   107100 |     5100      961     53 |  0.003 % |
0.05/0.17	c |      1082 |     180    15300   107100 |     5100     1082     53 |  0.003 % |
0.05/0.18	c |      1215 |     180    15300   107100 |     5100     1215     53 |  0.003 % |
0.05/0.18	c |      1316 |     180    15300   107100 |     5100     1316     53 |  0.003 % |
0.05/0.19	c |      1430 |     180    15300   107100 |     5100     1430     53 |  0.003 % |
0.05/0.21	c |      1551 |     180    15300   107100 |     5100     1551     53 |  0.003 % |
0.05/0.22	c |      1685 |     180    15300   107100 |     5100     1685     53 |  0.003 % |
0.05/0.23	c |      1831 |     180    15300   107100 |     5100     1831     53 |  0.003 % |
0.05/0.24	c |      1931 |     180    15300   107100 |     5100     1931     53 |  0.003 % |
0.05/0.25	c |      2042 |     180    15300   107100 |     5100     2042     53 |  0.003 % |
0.05/0.26	c |      2165 |     180    15300   107100 |     5100     2165     53 |  0.003 % |
0.05/0.27	c |      2299 |     180    15300   107100 |     5100     2299     53 |  0.003 % |
0.05/0.28	c |      2446 |     180    15300   107100 |     5100     2446     53 |  0.003 % |
0.05/0.30	c |      2606 |     180    15300   107100 |     5100     2606     53 |  0.003 % |
0.05/0.31	c |      2707 |     180    15300   107100 |     5100     2707     53 |  0.003 % |
0.05/0.32	c |      2817 |     180    15300   107100 |     5100     2817     53 |  0.003 % |
0.05/0.33	c |      2938 |     180    15300   107100 |     5100     2938     53 |  0.003 % |
0.05/0.34	c |      3073 |     180    15300   107100 |     5100     3073     53 |  0.003 % |
0.05/0.36	c |      3219 |     180    15300   107100 |     5100     3219     52 |  0.003 % |
0.05/0.37	c |      3379 |     180    15300   107100 |     5100     3379     53 |  0.003 % |
0.05/0.39	c |      3556 |     180    15300   107100 |     5100     3556     52 |  0.003 % |
0.05/0.40	c |      3656 |     180    15300   107100 |     5100     3656     52 |  0.003 % |
0.05/0.41	c |      3769 |     180    15300   107100 |     5100     3769     52 |  0.003 % |
0.05/0.42	c |      3892 |     180    15300   107100 |     5100     3892     52 |  0.003 % |
0.05/0.43	c |      4026 |     180    15300   107100 |     5100     4026     52 |  0.003 % |
0.05/0.45	c |      4172 |     180    15300   107100 |     5100     4172     52 |  0.003 % |
0.05/0.47	c |      4332 |     180    15300   107100 |     5100     4332     52 |  0.003 % |
0.05/0.48	c |      4508 |     180    15300   107100 |     5100     4508     52 |  0.003 % |
0.05/0.51	c |      4701 |     180    15300   107100 |     5100     4701     52 |  0.003 % |
0.05/0.52	c |      4801 |     180    15300   107100 |     5100     4801     52 |  0.003 % |
0.05/0.53	c |      4911 |     180    15300   107100 |     5100     4911     52 |  0.003 % |
0.05/0.54	c |      5033 |     180    15300   107100 |     5100     5033     52 |  0.003 % |
0.05/0.55	c |      5166 |     180    15300   107100 |     5100     5166     52 |  0.003 % |
0.05/0.57	c |      5312 |     180    15300   107100 |     5100     4796     52 |  0.003 % |
0.05/0.59	c |      5472 |     180    15300   107100 |     5100     4956     52 |  0.003 % |
0.05/0.61	c |      5650 |     180    15300   107100 |     5100     5134     52 |  0.003 % |
0.05/0.63	c |      5844 |     180    15300   107100 |     5100     4815     51 |  0.003 % |
0.05/0.65	c |      6058 |     180    15300   107100 |     5100     5029     52 |  0.003 % |
0.05/0.66	c |      6158 |     180    15300   107100 |     5100     5129     52 |  0.003 % |
0.05/0.68	c |      6268 |     180    15300   107100 |     5100     4727     51 |  0.003 % |
0.05/0.69	c |      6390 |     180    15300   107100 |     5100     4849     51 |  0.003 % |
0.05/0.70	c |      6523 |     180    15300   107100 |     5100     4982     51 |  0.003 % |
0.05/0.72	c |      6670 |     180    15300   107100 |     5100     5129     52 |  0.003 % |
0.05/0.74	c |      6830 |     180    15300   107100 |     5100     4777     51 |  0.003 % |
0.05/0.76	c |      7007 |     180    15300   107100 |     5100     4954     52 |  0.003 % |
0.05/0.78	c |      7200 |     180    15300   107100 |     5100     5147     52 |  0.003 % |
0.05/0.80	c |      7415 |     180    15300   107100 |     5100     4848     52 |  0.003 % |
0.05/0.82	c |      7648 |     180    15300   107100 |     5100     5081     52 |  0.003 % |
0.05/0.83	c |      7749 |     180    15300   107100 |     5100     5182     52 |  0.003 % |
0.05/0.84	c |      7861 |     180    15300   107100 |     5100     4776     52 |  0.003 % |
0.05/0.85	c |      7982 |     180    15300   107100 |     5100     4897     52 |  0.003 % |
0.05/0.87	c |      8116 |     180    15300   107100 |     5100     5031     52 |  0.003 % |
0.05/0.89	c |      8263 |     180    15300   107100 |     5100     4662     51 |  0.003 % |
0.05/0.90	c |      8423 |     180    15300   107100 |     5100     4822     51 |  0.003 % |
0.05/0.92	c |      8599 |     180    15300   107100 |     5100     4998     51 |  0.003 % |
0.05/0.94	c |      8792 |     180    15300   107100 |     5100     4673     51 |  0.003 % |
0.05/0.96	c |      9007 |     180    15300   107100 |     5100     4888     51 |  0.003 % |
0.05/0.99	c |      9242 |     180    15300   107100 |     5100     5123     52 |  0.003 % |
0.98/1.02	c |      9498 |     180    15300   107100 |     5100     4867     52 |  0.003 % |
0.98/1.03	c |      9598 |     180    15300   107100 |     5100     4967     52 |  0.003 % |
0.98/1.04	c |      9708 |     180    15300   107100 |     5100     5077     52 |  0.003 % |
0.98/1.06	c |      9830 |     180    15300   107100 |     5100     4682     52 |  0.003 % |
0.98/1.08	c |      9963 |     180    15300   107100 |     5100     4815     52 |  0.003 % |
0.98/1.09	c |     10111 |     180    15300   107100 | 2147483647     4963     52 |  0.003 % |
1.08/1.11	c |     10271 |     180    15300   107100 | 2147483647     5123     52 |  0.003 % |
1.08/1.13	c |     10449 |     180    15300   107100 | 2147483647     5301     52 |  0.003 % |
1.08/1.15	c |     10642 |     180    15300   107100 | 2147483647     5494     52 |  0.003 % |
1.08/1.18	c |     10855 |     180    15300   107100 | 2147483647     5707     52 |  0.003 % |
1.17/1.20	c |     11089 |     180    15300   107100 | 2147483647     5941     52 |  0.003 % |
1.17/1.24	c |     11346 |     180    15300   107100 | 2147483647     6198     52 |  0.003 % |
1.17/1.27	c |     11629 |     180    15300   107100 | 2147483647     6481     52 |  0.003 % |
1.17/1.28	c |     11729 |     180    15300   107100 | 2147483647     6581     52 |  0.003 % |
1.17/1.30	c |     11839 |     180    15300   107100 | 2147483647     6691     52 |  0.003 % |
1.27/1.31	c |     11961 |     180    15300   107100 | 2147483647     6813     52 |  0.003 % |
1.27/1.32	c |     12095 |     180    15300   107100 | 2147483647     6947     52 |  0.003 % |
1.27/1.34	c |     12243 |     180    15300   107100 | 2147483647     7095     52 |  0.003 % |
1.27/1.36	c |     12403 |     180    15300   107100 | 2147483647     7255     52 |  0.003 % |
1.27/1.38	c |     12579 |     180    15300   107100 | 2147483647     7431     52 |  0.003 % |
1.37/1.41	c |     12773 |     180    15300   107100 | 2147483647     7625     52 |  0.003 % |
1.37/1.43	c |     12985 |     180    15300   107100 | 2147483647     7837     52 |  0.003 % |
1.37/1.46	c |     13218 |     180    15300   107100 | 2147483647     8070     52 |  0.003 % |
1.37/1.49	c |     13474 |     180    15300   107100 | 2147483647     8326     52 |  0.003 % |
1.47/1.53	c |     13755 |     180    15300   107100 | 2147483647     8607     52 |  0.003 % |
1.47/1.57	c |     14065 |     180    15300   107100 | 2147483647     8917     52 |  0.003 % |
1.47/1.59	c |     14166 |     180    15300   107100 | 2147483647     9018     52 |  0.003 % |
1.57/1.60	c |     14278 |     180    15300   107100 | 2147483647     9130     52 |  0.003 % |
1.57/1.62	c |     14399 |     180    15300   107100 | 2147483647     9251     52 |  0.003 % |
1.57/1.64	c |     14532 |     180    15300   107100 | 2147483647     9384     52 |  0.003 % |
1.57/1.66	c |     14679 |     180    15300   107100 | 2147483647     9531     52 |  0.003 % |
1.57/1.68	c |     14839 |     180    15300   107100 | 2147483647     9691     52 |  0.003 % |
1.67/1.71	c |     15018 |     180    15300   107100 | 2147483647     9870     52 |  0.003 % |
1.67/1.75	c |     15212 |     180    15300   107100 | 2147483647    10064     53 |  0.003 % |
1.67/1.78	c |     15424 |     180    15300   107100 | 2147483647    10276     53 |  0.003 % |
1.77/1.82	c |     15657 |     180    15300   107100 | 2147483647    10509     53 |  0.003 % |
1.77/1.85	c |     15915 |     180    15300   107100 | 2147483647    10767     52 |  0.003 % |
1.77/1.90	c |     16196 |     180    15300   107100 | 2147483647    11048     53 |  0.003 % |
1.87/1.94	c |     16505 |     180    15300   107100 | 2147483647    11357     53 |  0.003 % |
1.98/2.00	c |     16845 |     180    15300   107100 | 2147483647    11697     53 |  0.003 % |
1.98/2.02	c |     16945 |     180    15300   107100 | 2147483647    11797     53 |  0.003 % |
1.98/2.04	c |     17055 |     180    15300   107100 | 2147483647    11907     53 |  0.003 % |
1.98/2.06	c |     17177 |     180    15300   107100 | 2147483647    12029     53 |  0.003 % |
1.98/2.08	c |     17312 |     180    15300   107100 | 2147483647    12164     53 |  0.003 % |
2.08/2.11	c |     17459 |     180    15300   107100 | 2147483647    12311     53 |  0.003 % |
2.08/2.13	c |     17619 |     180    15300   107100 | 2147483647    12471     53 |  0.003 % |
2.08/2.17	c |     17796 |     180    15300   107100 | 2147483647    12648     53 |  0.003 % |
2.18/2.20	c |     17991 |     180    15300   107100 | 2147483647    12843     53 |  0.003 % |
2.18/2.24	c |     18203 |     180    15300   107100 | 2147483647    13055     53 |  0.003 % |
2.18/2.28	c |     18436 |     180    15300   107100 | 2147483647    13288     53 |  0.003 % |
2.28/2.33	c |     18692 |     180    15300   107100 | 2147483647    13544     53 |  0.003 % |
2.28/2.37	c |     18973 |     180    15300   107100 | 2147483647    13825     53 |  0.003 % |
2.38/2.43	c |     19282 |     180    15300   107100 | 2147483647    14134     53 |  0.003 % |
2.38/2.49	c |     19622 |     180    15300   107100 | 2147483647    14474     53 |  0.003 % |
2.48/2.56	c |     19996 |     180    15300   107100 | 2147483647    14848     53 |  0.003 % |
2.48/2.58	c |     20097 |     180    15300   107100 | 2147483647    14949     53 |  0.003 % |
2.58/2.61	c |     20207 |     180    15300   107100 | 2147483647    15059     53 |  0.003 % |
2.58/2.63	c |     20328 |     180    15300   107100 | 2147483647    15180     53 |  0.003 % |
2.58/2.66	c |     20462 |     180    15300   107100 | 2147483647    15314     53 |  0.003 % |
2.68/2.70	c |     20609 |     180    15300   107100 | 2147483647    15461     53 |  0.003 % |
2.68/2.73	c |     20770 |     180    15300   107100 | 2147483647    15622     53 |  0.003 % |
2.68/2.77	c |     20946 |     180    15300   107100 | 2147483647    15798     53 |  0.003 % |
2.78/2.82	c |     21139 |     180    15300   107100 | 2147483647    15991     53 |  0.003 % |
2.78/2.87	c |     21351 |     180    15300   107100 | 2147483647    16203     53 |  0.003 % |
2.88/2.92	c |     21586 |     180    15300   107100 | 2147483647    16438     53 |  0.003 % |
2.88/2.98	c |     21842 |     180    15300   107100 | 2147483647    16694     53 |  0.003 % |
2.98/3.05	c |     22123 |     180    15300   107100 | 2147483647    16975     53 |  0.003 % |
3.07/3.12	c |     22433 |     180    15300   107100 | 2147483647    17285     53 |  0.003 % |
3.07/3.19	c |     22773 |     180    15300   107100 | 2147483647    17625     53 |  0.003 % |
3.18/3.28	c |     23145 |     180    15300   107100 | 2147483647    17997     53 |  0.003 % |
3.28/3.37	c |     23554 |     180    15300   107100 | 2147483647    18406     53 |  0.003 % |
3.37/3.40	c |     23654 |     180    15300   107100 | 2147483647    18506     53 |  0.003 % |
3.37/3.43	c |     23764 |     180    15300   107100 | 2147483647    18616     53 |  0.003 % |
3.37/3.46	c |     23886 |     180    15300   107100 | 2147483647    18738     53 |  0.003 % |
3.37/3.49	c |     24020 |     180    15300   107100 | 2147483647    18872     53 |  0.003 % |
3.47/3.53	c |     24167 |     180    15300   107100 | 2147483647    19019     53 |  0.003 % |
3.47/3.57	c |     24327 |     180    15300   107100 | 2147483647    19179     53 |  0.003 % |
3.57/3.61	c |     24503 |     180    15300   107100 | 2147483647    19355     53 |  0.003 % |
3.57/3.66	c |     24697 |     180    15300   107100 | 2147483647    19549     53 |  0.003 % |
3.67/3.71	c |     24911 |     180    15300   107100 | 2147483647    19763     53 |  0.003 % |
3.67/3.77	c |     25145 |     180    15300   107100 | 2147483647    19997     53 |  0.003 % |
3.77/3.83	c |     25401 |     180    15300   107100 | 2147483647    20253     53 |  0.003 % |
3.87/3.90	c |     25682 |     180    15300   107100 | 2147483647    20534     53 |  0.003 % |
3.87/3.98	c |     25993 |     180    15300   107100 | 2147483647    20845     53 |  0.003 % |
3.98/4.06	c |     26332 |     180    15300   107100 | 2147483647    21184     53 |  0.003 % |
4.08/4.15	c |     26704 |     180    15300   107100 | 2147483647    21556     53 |  0.003 % |
4.18/4.25	c |     27115 |     180    15300   107100 | 2147483647    21967     53 |  0.003 % |
4.28/4.37	c |     27564 |     180    15300   107100 | 2147483647    22416     53 |  0.003 % |
4.38/4.40	c |     27664 |     180    15300   107100 | 2147483647    22516     53 |  0.003 % |
4.38/4.44	c |     27776 |     180    15300   107100 | 2147483647    22628     53 |  0.003 % |
4.38/4.47	c |     27897 |     180    15300   107100 | 2147483647    22749     53 |  0.003 % |
4.48/4.51	c |     28030 |     180    15300   107100 | 2147483647    22882     53 |  0.003 % |
4.48/4.56	c |     28177 |     180    15300   107100 | 2147483647    23029     53 |  0.003 % |
4.58/4.60	c |     28339 |     180    15300   107100 | 2147483647    23191     53 |  0.003 % |
4.58/4.66	c |     28516 |     180    15300   107100 | 2147483647    23368     53 |  0.003 % |
4.68/4.72	c |     28709 |     180    15300   107100 | 2147483647    23561     53 |  0.003 % |
4.68/4.79	c |     28922 |     180    15300   107100 | 2147483647    23774     53 |  0.003 % |
4.78/4.86	c |     29158 |     180    15300   107100 | 2147483647    24010     53 |  0.003 % |
4.88/4.94	c |     29415 |     180    15300   107100 | 2147483647    24267     53 |  0.003 % |
4.98/5.01	c |     29696 |     180    15300   107100 | 2147483647    24548     53 |  0.003 % |
5.08/5.11	c |     30005 |     180    15300   107100 | 2147483647    24857     53 |  0.003 % |
5.17/5.22	c |     30345 |     180    15300   107100 | 2147483647    25197     53 |  0.003 % |
5.27/5.34	c |     30718 |     180    15300   107100 | 2147483647    25570     53 |  0.003 % |
5.38/5.47	c |     31128 |     180    15300   107100 | 2147483647    25980     53 |  0.003 % |
5.57/5.60	c |     31577 |     180    15300   107100 | 2147483647    26429     53 |  0.003 % |
5.67/5.76	c |     32070 |     180    15300   107100 | 2147483647    26922     53 |  0.003 % |
5.77/5.80	c |     32173 |     180    15300   107100 | 2147483647    27025     53 |  0.003 % |
5.77/5.83	c |     32284 |     180    15300   107100 | 2147483647    27136     53 |  0.003 % |
5.77/5.88	c |     32405 |     180    15300   107100 | 2147483647    27257     53 |  0.003 % |
5.87/5.93	c |     32538 |     180    15300   107100 | 2147483647    27390     53 |  0.003 % |
5.87/5.99	c |     32684 |     180    15300   107100 | 2147483647    27536     53 |  0.003 % |
5.97/6.05	c |     32845 |     180    15300   107100 | 2147483647    27697     53 |  0.003 % |
6.07/6.11	c |     33021 |     180    15300   107100 | 2147483647    27873     53 |  0.003 % |
6.07/6.18	c |     33214 |     180    15300   107100 | 2147483647    28066     53 |  0.003 % |
6.17/6.26	c |     33429 |     180    15300   107100 | 2147483647    28281     53 |  0.003 % |
6.27/6.34	c |     33662 |     180    15300   107100 | 2147483647    28514     53 |  0.003 % |
6.37/6.42	c |     33918 |     180    15300   107100 | 2147483647    28770     53 |  0.003 % |
6.48/6.51	c |     34201 |     180    15300   107100 | 2147483647    29053     53 |  0.003 % |
6.57/6.61	c |     34510 |     180    15300   107100 | 2147483647    29362     53 |  0.003 % |
6.67/6.74	c |     34849 |     180    15300   107100 | 2147483647    29701     53 |  0.003 % |
6.77/6.87	c |     35223 |     180    15300   107100 | 2147483647    30075     53 |  0.003 % |
6.97/7.02	c |     35633 |     180    15300   107100 | 2147483647    30485     53 |  0.003 % |
7.07/7.18	c |     36082 |     180    15300   107100 | 2147483647    30934     53 |  0.003 % |
7.27/7.37	c |     36575 |     180    15300   107100 | 2147483647    31427     53 |  0.003 % |
7.47/7.57	c |     37118 |     180    15300   107100 | 2147483647    31970     53 |  0.003 % |
7.57/7.61	c |     37219 |     180    15300   107100 | 2147483647    32071     53 |  0.003 % |
7.57/7.66	c |     37332 |     180    15300   107100 | 2147483647    32184     53 |  0.003 % |
7.67/7.71	c |     37453 |     180    15300   107100 | 2147483647    32305     53 |  0.003 % |
7.67/7.76	c |     37586 |     180    15300   107100 | 2147483647    32438     53 |  0.003 % |
7.77/7.83	c |     37732 |     180    15300   107100 | 2147483647    32584     53 |  0.003 % |
7.77/7.89	c |     37892 |     180    15300   107100 | 2147483647    32744     53 |  0.003 % |
7.87/7.96	c |     38068 |     180    15300   107100 | 2147483647    32920     53 |  0.003 % |
7.97/8.06	c |     38262 |     180    15300   107100 | 2147483647    33114     53 |  0.003 % |
8.07/8.15	c |     38475 |     180    15300   107100 | 2147483647    33327     53 |  0.003 % |
8.17/8.25	c |     38709 |     180    15300   107100 | 2147483647    33561     53 |  0.003 % |
8.27/8.36	c |     38965 |     180    15300   107100 | 2147483647    33817     53 |  0.003 % |
8.37/8.47	c |     39247 |     180    15300   107100 | 2147483647    34099     53 |  0.003 % |
8.47/8.59	c |     39557 |     180    15300   107100 | 2147483647    34409     53 |  0.003 % |
8.67/8.76	c |     39897 |     180    15300   107100 | 2147483647    34749     53 |  0.003 % |
8.87/8.94	c |     40272 |     180    15300   107100 | 2147483647    35124     53 |  0.003 % |
9.07/9.11	c |     40682 |     180    15300   107100 | 2147483647    35534     53 |  0.003 % |
9.17/9.28	c |     41131 |     180    15300   107100 | 2147483647    35983     53 |  0.003 % |
9.37/9.48	c |     41626 |     180    15300   107100 | 2147483647    36478     53 |  0.003 % |
9.58/9.69	c |     42170 |     180    15300   107100 | 2147483647    37022     53 |  0.003 % |
9.88/9.97	c |     42766 |     180    15300   107100 | 2147483647    37618     53 |  0.003 % |
9.98/10.02	c |     42866 |     180    15300   107100 | 2147483647    37718     53 |  0.003 % |
9.98/10.07	c |     42976 |     180    15300   107100 | 2147483647    37828     53 |  0.003 % |
10.08/10.13	c |     43098 |     180    15300   107100 | 2147483647    37950     53 |  0.003 % |
10.18/10.21	c |     43234 |     180    15300   107100 | 2147483647    38086     53 |  0.003 % |
10.18/10.28	c |     43381 |     180    15300   107100 | 2147483647    38233     53 |  0.003 % |
10.28/10.36	c |     43543 |     180    15300   107100 | 2147483647    38395     53 |  0.003 % |
10.38/10.45	c |     43719 |     180    15300   107100 | 2147483647    38571     53 |  0.003 % |
10.48/10.54	c |     43912 |     180    15300   107100 | 2147483647    38764     53 |  0.003 % |
10.58/10.64	c |     44124 |     180    15300   107100 | 2147483647    38976     53 |  0.003 % |
10.67/10.74	c |     44357 |     180    15300   107100 | 2147483647    39209     53 |  0.003 % |
10.77/10.87	c |     44613 |     180    15300   107100 | 2147483647    39465     53 |  0.003 % |
10.88/10.99	c |     44894 |     180    15300   107100 | 2147483647    39746     53 |  0.003 % |
11.07/11.14	c |     45205 |     180    15300   107100 | 2147483647    40057     53 |  0.003 % |
11.27/11.30	c |     45545 |     180    15300   107100 | 2147483647    40397     53 |  0.003 % |
11.47/11.50	c |     45918 |     180    15300   107100 | 2147483647    40770     53 |  0.003 % |
11.67/11.70	c |     46328 |     180    15300   107100 | 2147483647    41180     53 |  0.003 % |
11.87/11.91	c |     46777 |     180    15300   107100 | 2147483647    41629     53 |  0.003 % |
12.07/12.15	c |     47271 |     180    15300   107100 | 2147483647    42123     53 |  0.003 % |
12.36/12.43	c |     47813 |     180    15300   107100 | 2147483647    42665     53 |  0.003 % |
12.66/12.71	c |     48410 |     180    15300   107100 | 2147483647    43262     53 |  0.003 % |
12.96/13.02	c |     49065 |     180    15300   107100 | 2147483647    43917     53 |  0.003 % |
12.96/13.10	c |     49166 |     180    15300   107100 | 2147483647    44018     53 |  0.003 % |
13.07/13.16	c |     49277 |     180    15300   107100 | 2147483647    44129     53 |  0.003 % |
13.17/13.22	c |     49401 |     180    15300   107100 | 2147483647    44253     53 |  0.003 % |
13.17/13.29	c |     49534 |     180    15300   107100 | 2147483647    44386     53 |  0.003 % |
13.36/13.40	c |     49681 |     180    15300   107100 | 2147483647    44533     53 |  0.003 % |
13.36/13.48	c |     49841 |     180    15300   107100 | 2147483647    44693     53 |  0.003 % |
13.46/13.58	c |     50018 |     180    15300   107100 | 2147483647    44870     53 |  0.003 % |
13.66/13.71	c |     50211 |     180    15300   107100 | 2147483647    45063     53 |  0.003 % |
13.76/13.84	c |     50423 |     180    15300   107100 | 2147483647    45275     53 |  0.003 % |
13.86/14.00	c |     50656 |     180    15300   107100 | 2147483647    45508     53 |  0.003 % |
14.06/14.15	c |     50912 |     180    15300   107100 | 2147483647    45764     53 |  0.003 % |
14.27/14.32	c |     51193 |     180    15300   107100 | 2147483647    46045     53 |  0.003 % |
14.36/14.49	c |     51502 |     180    15300   107100 | 2147483647    46354     53 |  0.003 % |
14.66/14.72	c |     51841 |     180    15300   107100 | 2147483647    46693     53 |  0.003 % |
14.86/14.91	c |     52213 |     180    15300   107100 | 2147483647    47065     53 |  0.003 % |
15.06/15.14	c |     52623 |     180    15300   107100 | 2147483647    47475     53 |  0.003 % |
15.26/15.38	c |     53072 |     180    15300   107100 | 2147483647    47924     53 |  0.003 % |
15.66/15.70	c |     53566 |     180    15300   107100 | 2147483647    48418     53 |  0.003 % |
15.96/16.03	c |     54108 |     180    15300   107100 | 2147483647    48960     53 |  0.003 % |
16.27/16.40	c |     54704 |     180    15300   107100 | 2147483647    49556     53 |  0.003 % |
16.67/16.77	c |     55359 |     180    15300   107100 | 2147483647    50211     53 |  0.003 % |
17.17/17.20	c |     56080 |     180    15300   107100 | 2147483647    50932     53 |  0.003 % |
17.17/17.27	c |     56180 |     180    15300   107100 | 2147483647    51032     53 |  0.003 % |
17.27/17.35	c |     56290 |     180    15300   107100 | 2147483647    51142     53 |  0.003 % |
17.37/17.42	c |     56411 |     180    15300   107100 | 2147483647    51263     53 |  0.003 % |
17.37/17.50	c |     56544 |     180    15300   107100 | 2147483647    51396     53 |  0.003 % |
17.57/17.60	c |     56690 |     180    15300   107100 | 2147483647    51542     53 |  0.003 % |
17.67/17.70	c |     56850 |     180    15300   107100 | 2147483647    51702     53 |  0.003 % |
17.77/17.82	c |     57027 |     180    15300   107100 | 2147483647    51879     53 |  0.003 % |
17.87/17.96	c |     57221 |     180    15300   107100 | 2147483647    52073     53 |  0.003 % |
18.07/18.12	c |     57433 |     180    15300   107100 | 2147483647    52285     53 |  0.003 % |
18.17/18.26	c |     57666 |     180    15300   107100 | 2147483647    52518     53 |  0.003 % |
18.37/18.41	c |     57922 |     180    15300   107100 | 2147483647    52774     53 |  0.003 % |
18.47/18.57	c |     58203 |     180    15300   107100 | 2147483647    53055     53 |  0.003 % |
18.67/18.74	c |     58512 |     180    15300   107100 | 2147483647    53364     53 |  0.003 % |
18.96/19.02	c |     58851 |     180    15300   107100 | 2147483647    53703     53 |  0.003 % |
19.16/19.27	c |     59223 |     180    15300   107100 | 2147483647    54075     53 |  0.003 % |
19.46/19.55	c |     59632 |     180    15300   107100 | 2147483647    54484     53 |  0.003 % |
19.77/19.85	c |     60081 |     180    15300   107100 | 2147483647    54933     53 |  0.003 % |
20.06/20.17	c |     60574 |     180    15300   107100 | 2147483647    55426     53 |  0.003 % |
20.46/20.55	c |     61116 |     180    15300   107100 | 2147483647    55968     53 |  0.003 % |
20.86/20.95	c |     61712 |     180    15300   107100 | 2147483647    56564     53 |  0.003 % |
21.36/21.41	c |     62367 |     180    15300   107100 | 2147483647    57219     53 |  0.003 % |
21.76/21.85	c |     63088 |     180    15300   107100 | 2147483647    57940     53 |  0.003 % |
22.36/22.41	c |     63882 |     180    15300   107100 | 2147483647    58734     53 |  0.003 % |
22.36/22.49	c |     63983 |     180    15300   107100 | 2147483647    58835     53 |  0.003 % |
22.46/22.57	c |     64093 |     180    15300   107100 | 2147483647    58945     53 |  0.003 % |
22.56/22.68	c |     64214 |     180    15300   107100 | 2147483647    59066     53 |  0.003 % |
22.66/22.77	c |     64347 |     180    15300   107100 | 2147483647    59199     53 |  0.003 % |
22.75/22.87	c |     64493 |     180    15300   107100 | 2147483647    59345     53 |  0.003 % |
22.85/22.99	c |     64654 |     180    15300   107100 | 2147483647    59506     53 |  0.003 % |
23.06/23.12	c |     64830 |     180    15300   107100 | 2147483647    59682     53 |  0.003 % |
23.15/23.25	c |     65023 |     180    15300   107100 | 2147483647    59875     53 |  0.003 % |
23.35/23.44	c |     65235 |     180    15300   107100 | 2147483647    60087     53 |  0.003 % |
23.55/23.61	c |     65468 |     180    15300   107100 | 2147483647    60320     53 |  0.003 % |
23.75/23.82	c |     65725 |     180    15300   107100 | 2147483647    60577     53 |  0.003 % |
23.95/24.04	c |     66008 |     180    15300   107100 | 2147483647    60860     53 |  0.003 % |
24.26/24.33	c |     66318 |     180    15300   107100 | 2147483647    61170     53 |  0.003 % |
24.46/24.57	c |     66658 |     180    15300   107100 | 2147483647    61510     53 |  0.003 % |
24.76/24.86	c |     67032 |     180    15300   107100 | 2147483647    61884     53 |  0.003 % |
25.17/25.21	c |     67441 |     180    15300   107100 | 2147483647    62293     53 |  0.003 % |
25.46/25.57	c |     67890 |     180    15300   107100 | 2147483647    62742     53 |  0.003 % |
25.86/25.93	c |     68384 |     180    15300   107100 | 2147483647    63236     53 |  0.003 % |
26.27/26.31	c |     68926 |     180    15300   107100 | 2147483647    63778     53 |  0.003 % |
26.66/26.74	c |     69522 |     180    15300   107100 | 2147483647    64374     53 |  0.003 % |
27.16/27.27	c |     70178 |     180    15300   107100 | 2147483647    65030     53 |  0.003 % |
27.76/27.88	c |     70898 |     180    15300   107100 | 2147483647    65750     53 |  0.003 % |
28.46/28.50	c |     71691 |     180    15300   107100 | 2147483647    66543     53 |  0.003 % |
29.06/29.12	c |     72563 |     180    15300   107100 | 2147483647    67415     53 |  0.003 % |
29.15/29.22	c |     72665 |     180    15300   107100 | 2147483647    67517     53 |  0.003 % |
29.25/29.32	c |     72776 |     180    15300   107100 | 2147483647    67628     53 |  0.003 % |
29.35/29.42	c |     72898 |     180    15300   107100 | 2147483647    67750     53 |  0.003 % |
29.45/29.52	c |     73032 |     180    15300   107100 | 2147483647    67884     53 |  0.003 % |
29.56/29.67	c |     73178 |     180    15300   107100 | 2147483647    68030     53 |  0.003 % |
29.75/29.81	c |     73338 |     180    15300   107100 | 2147483647    68190     53 |  0.003 % |
29.85/29.97	c |     73515 |     180    15300   107100 | 2147483647    68367     53 |  0.003 % |
30.05/30.14	c |     73709 |     180    15300   107100 | 2147483647    68561     53 |  0.003 % |
30.25/30.31	c |     73923 |     180    15300   107100 | 2147483647    68775     53 |  0.003 % |
30.45/30.52	c |     74156 |     180    15300   107100 | 2147483647    69008     53 |  0.003 % |
30.66/30.74	c |     74412 |     180    15300   107100 | 2147483647    69264     53 |  0.003 % |
30.85/30.98	c |     74695 |     180    15300   107100 | 2147483647    69547     53 |  0.003 % |
31.15/31.24	c |     75004 |     180    15300   107100 | 2147483647    69856     53 |  0.003 % |
31.45/31.59	c |     75343 |     180    15300   107100 | 2147483647    70195     53 |  0.003 % |
31.75/31.90	c |     75715 |     180    15300   107100 | 2147483647    70567     53 |  0.003 % |
32.15/32.25	c |     76124 |     180    15300   107100 | 2147483647    70976     53 |  0.003 % |
32.55/32.62	c |     76573 |     180    15300   107100 | 2147483647    71425     53 |  0.003 % |
33.05/33.10	c |     77066 |     180    15300   107100 | 2147483647    71918     53 |  0.003 % |
33.45/33.56	c |     77610 |     180    15300   107100 | 2147483647    72462     53 |  0.003 % |
33.95/34.06	c |     78211 |     180    15300   107100 | 2147483647    73063     53 |  0.003 % |
34.55/34.65	c |     78866 |     180    15300   107100 | 2147483647    73718     53 |  0.003 % |
35.15/35.27	c |     79586 |     180    15300   107100 | 2147483647    74438     53 |  0.003 % |
36.05/36.13	c |     80379 |     180    15300   107100 |    74857    64051     53 |  0.003 % |
36.75/36.87	c |     81250 |     180    15300   107100 |    74857    64922     53 |  0.003 % |
37.45/37.56	c |     82210 |     180    15300   107100 |    74857    65882     53 |  0.003 % |
37.55/37.66	c |     82311 |     180    15300   107100 |    74857    65983     53 |  0.003 % |
37.65/37.75	c |     82422 |     180    15300   107100 |    74857    66094     53 |  0.003 % |
37.75/37.86	c |     82547 |     180    15300   107100 |    74857    66219     53 |  0.003 % |
37.95/38.00	c |     82682 |     180    15300   107100 |    74857    66354     53 |  0.003 % |
38.05/38.14	c |     82828 |     180    15300   107100 |    74857    66500     53 |  0.003 % |
38.15/38.27	c |     82989 |     180    15300   107100 |    74857    66661     53 |  0.003 % |
38.35/38.43	c |     83165 |     180    15300   107100 |    74857    66837     53 |  0.003 % |
38.54/38.60	c |     83360 |     180    15300   107100 |    74857    67032     53 |  0.003 % |
38.64/38.76	c |     83573 |     180    15300   107100 |    74857    67245     53 |  0.003 % |
38.84/38.98	c |     83806 |     180    15300   107100 |    74857    67478     53 |  0.003 % |
39.14/39.22	c |     84062 |     180    15300   107100 |    74857    67734     53 |  0.003 % |
39.34/39.48	c |     84344 |     180    15300   107100 |    74857    68016     53 |  0.003 % |
39.64/39.75	c |     84654 |     180    15300   107100 |    74857    68326     53 |  0.003 % |
39.94/40.02	c |     84995 |     180    15300   107100 |    74857    68667     53 |  0.003 % |
40.24/40.35	c |     85367 |     180    15300   107100 |    74857    69039     53 |  0.003 % |
40.65/40.72	c |     85776 |     180    15300   107100 |    74857    69448     53 |  0.003 % |
40.94/41.08	c |     86225 |     180    15300   107100 |    74857    69897     53 |  0.003 % |
41.34/41.46	c |     86719 |     180    15300   107100 |    74857    70391     53 |  0.003 % |
41.75/41.89	c |     87261 |     180    15300   107100 |    74857    70933     53 |  0.003 % |
42.24/42.34	c |     87858 |     180    15300   107100 |    74857    71530     53 |  0.003 % |
42.64/42.80	c |     88513 |     180    15300   107100 |    74857    72185     53 |  0.003 % |
43.34/43.49	c |     89233 |     180    15300   107100 |    74857    72905     53 |  0.003 % |
44.14/44.23	c |     90027 |     180    15300   107100 |    73674    73699     53 |  0.003 % |
44.95/45.01	c |     90899 |     180    15300   107100 |    73674    63182     53 |  0.003 % |
45.65/45.75	c |     91857 |     180    15300   107100 |    73674    64140     53 |  0.003 % |
46.35/46.49	c |     92910 |     180    15300   107100 |    73674    65193     53 |  0.003 % |
46.45/46.57	c |     93010 |     180    15300   107100 |    73674    65293     53 |  0.003 % |
46.55/46.68	c |     93121 |     180    15300   107100 |    73674    65404     53 |  0.003 % |
46.75/46.80	c |     93242 |     180    15300   107100 |    73674    65525     53 |  0.003 % |
46.85/46.92	c |     93377 |     180    15300   107100 |    73674    65660     53 |  0.003 % |
46.95/47.05	c |     93524 |     180    15300   107100 |    73674    65807     53 |  0.003 % |
47.05/47.20	c |     93684 |     180    15300   107100 |    73674    65967     53 |  0.003 % |
47.25/47.35	c |     93861 |     180    15300   107100 |    73674    66144     53 |  0.003 % |
47.45/47.53	c |     94054 |     180    15300   107100 |    73674    66337     53 |  0.003 % |
47.65/47.75	c |     94267 |     180    15300   107100 |    73674    66550     53 |  0.003 % |
47.85/47.95	c |     94500 |     180    15300   107100 |    73674    66783     53 |  0.003 % |
48.05/48.18	c |     94756 |     180    15300   107100 |    73674    67039     53 |  0.003 % |
48.35/48.41	c |     95038 |     180    15300   107100 |    73674    67321     53 |  0.003 % |
48.55/48.69	c |     95348 |     180    15300   107100 |    73674    67631     53 |  0.003 % |
48.85/48.96	c |     95688 |     180    15300   107100 |    73674    67971     53 |  0.003 % |
49.15/49.22	c |     96061 |     180    15300   107100 |    73674    68344     53 |  0.003 % |
49.55/49.61	c |     96471 |     180    15300   107100 |    73674    68754     53 |  0.003 % |
49.95/50.01	c |     96920 |     180    15300   107100 |    73674    69203     53 |  0.003 % |
50.35/50.41	c |     97415 |     180    15300   107100 |    73674    69698     53 |  0.003 % |
50.74/50.86	c |     97958 |     180    15300   107100 |    73674    70241     53 |  0.003 % |
51.24/51.32	c |     98554 |     180    15300   107100 |    73674    70837     53 |  0.003 % |
51.84/51.95	c |     99212 |     180    15300   107100 |    73674    71495     53 |  0.003 % |
52.44/52.55	c |     99932 |     180    15300   107100 |    73674    72215     53 |  0.003 % |
53.04/53.18	c |    100724 |     180    15300   107100 |    72285    61929     53 |  0.003 % |
53.64/53.79	c |    101595 |     180    15300   107100 |    72285    62800     53 |  0.003 % |
54.54/54.62	c |    102553 |     180    15300   107100 |    72285    63758     53 |  0.003 % |
55.44/55.55	c |    103607 |     180    15300   107100 |    72285    64812     53 |  0.003 % |
56.34/56.43	c |    104765 |     180    15300   107100 |    72285    65970     53 |  0.003 % |
56.44/56.50	c |    104865 |     180    15300   107100 |    72285    66070     53 |  0.003 % |
56.44/56.58	c |    104976 |     180    15300   107100 |    72285    66181     53 |  0.003 % |
56.54/56.67	c |    105097 |     180    15300   107100 |    72285    66302     53 |  0.003 % |
56.74/56.81	c |    105232 |     180    15300   107100 |    72285    66437     53 |  0.003 % |
56.84/56.94	c |    105378 |     180    15300   107100 |    72285    66583     53 |  0.003 % |
56.94/57.08	c |    105539 |     180    15300   107100 |    72285    66744     53 |  0.003 % |
57.14/57.25	c |    105717 |     180    15300   107100 |    72285    66922     53 |  0.003 % |
57.34/57.44	c |    105910 |     180    15300   107100 |    72285    67115     53 |  0.003 % |
57.54/57.62	c |    106124 |     180    15300   107100 |    72285    67329     53 |  0.003 % |
57.74/57.81	c |    106357 |     180    15300   107100 |    72285    67562     53 |  0.003 % |
57.94/58.03	c |    106613 |     180    15300   107100 |    72285    67818     53 |  0.003 % |
58.14/58.23	c |    106898 |     180    15300   107100 |    72285    68103     53 |  0.003 % |
58.34/58.47	c |    107209 |     180    15300   107100 |    72285    68414     53 |  0.003 % |
58.64/58.76	c |    107551 |     180    15300   107100 |    72285    68756     53 |  0.003 % |
59.04/59.15	c |    107923 |     180    15300   107100 |    72285    69128     53 |  0.003 % |
59.34/59.50	c |    108332 |     180    15300   107100 |    72285    69537     53 |  0.003 % |
59.74/59.89	c |    108781 |     180    15300   107100 |    72285    69986     53 |  0.003 % |
60.24/60.33	c |    109274 |     180    15300   107100 |    72285    70479     53 |  0.003 % |
60.64/60.75	c |    109816 |     180    15300   107100 |    72285    71021     53 |  0.003 % |
61.14/61.25	c |    110413 |     180    15300   107100 |    71205    61145     53 |  0.003 % |
61.64/61.70	c |    111069 |     180    15300   107100 |    71205    61801     53 |  0.003 % |
62.24/62.32	c |    111789 |     180    15300   107100 |    71205    62521     53 |  0.003 % |
62.84/62.98	c |    112581 |     180    15300   107100 |    71205    63313     53 |  0.003 % |
63.64/63.70	c |    113453 |     180    15300   107100 |    71205    64185     53 |  0.003 % |
64.34/64.48	c |    114411 |     180    15300   107100 |    71205    65143     53 |  0.003 % |
65.14/65.25	c |    115466 |     180    15300   107100 |    71205    66198     53 |  0.003 % |
65.94/66.08	c |    116627 |     180    15300   107100 |    71205    67359     53 |  0.003 % |
66.83/66.94	c |    117900 |     180    15300   107100 |    71205    68632     53 |  0.003 % |
66.94/67.01	c |    118000 |     180    15300   107100 |    71205    68732     53 |  0.003 % |
67.04/67.14	c |    118110 |     180    15300   107100 |    71205    68842     53 |  0.003 % |
67.13/67.27	c |    118234 |     180    15300   107100 |    71205    68966     53 |  0.003 % |
67.23/67.38	c |    118367 |     180    15300   107100 |    71205    69099     53 |  0.003 % |
67.43/67.51	c |    118515 |     180    15300   107100 |    71205    69247     53 |  0.003 % |
67.53/67.68	c |    118676 |     180    15300   107100 |    71205    69408     53 |  0.003 % |
67.73/67.83	c |    118853 |     180    15300   107100 |    71205    69585     53 |  0.003 % |
67.93/68.01	c |    119047 |     180    15300   107100 |    71205    69779     53 |  0.003 % |
68.14/68.23	c |    119261 |     180    15300   107100 |    71205    69993     53 |  0.003 % |
68.33/68.46	c |    119495 |     180    15300   107100 |    71205    70227     53 |  0.003 % |
68.53/68.68	c |    119753 |     180    15300   107100 |    71205    70485     53 |  0.003 % |
68.83/68.92	c |    120036 |     180    15300   107100 |    70734    70768     53 |  0.003 % |
69.14/69.26	c |    120345 |     180    15300   107100 |    70734    61289     53 |  0.003 % |
69.43/69.56	c |    120684 |     180    15300   107100 |    70734    61628     53 |  0.003 % |
69.73/69.86	c |    121057 |     180    15300   107100 |    70734    62001     53 |  0.003 % |
70.13/70.22	c |    121467 |     180    15300   107100 |    70734    62411     53 |  0.003 % |
70.53/70.61	c |    121916 |     180    15300   107100 |    70734    62860     53 |  0.003 % |
70.83/70.98	c |    122409 |     180    15300   107100 |    70734    63353     53 |  0.003 % |
71.23/71.35	c |    122951 |     180    15300   107100 |    70734    63895     53 |  0.003 % |
71.63/71.76	c |    123547 |     180    15300   107100 |    70734    64491     53 |  0.003 % |
72.22/72.30	c |    124202 |     180    15300   107100 |    70734    65146     53 |  0.003 % |
72.70/72.84	c |    124923 |     180    15300   107100 |    70734    65867     53 |  0.003 % |
73.26/73.49	c |    125715 |     180    15300   107100 |    70734    66659     53 |  0.003 % |
73.95/74.10	c |    126586 |     180    15300   107100 |    70734    67530     53 |  0.003 % |
74.74/74.93	c |    127548 |     180    15300   107100 |    70734    68492     53 |  0.003 % |
75.64/75.86	c |    128602 |     180    15300   107100 |    70734    69546     53 |  0.003 % |
76.54/76.70	c |    129760 |     180    15300   107100 |    70734    70704     53 |  0.003 % |
77.33/77.52	c |    131033 |     180    15300   107100 |    60971    53479     53 |  0.003 % |
78.23/78.49	c |    132434 |     180    15300   107100 |    60971    54880     53 |  0.003 % |
78.33/78.55	c |    132534 |     180    15300   107100 |    60971    54980     53 |  0.003 % |
78.43/78.63	c |    132644 |     180    15300   107100 |    60971    55090     53 |  0.003 % |
78.53/78.73	c |    132766 |     180    15300   107100 |    60971    55212     53 |  0.003 % |
78.63/78.81	c |    132900 |     180    15300   107100 |    60971    55346     53 |  0.003 % |
78.73/78.90	c |    133048 |     180    15300   107100 |    60971    55494     53 |  0.003 % |
78.83/79.03	c |    133209 |     180    15300   107100 |    60971    55655     53 |  0.003 % |
78.93/79.16	c |    133386 |     180    15300   107100 |    60971    55832     53 |  0.003 % |
79.12/79.30	c |    133580 |     180    15300   107100 |    60971    56026     53 |  0.003 % |
79.22/79.49	c |    133793 |     180    15300   107100 |    60971    56239     53 |  0.003 % |
79.42/79.65	c |    134027 |     180    15300   107100 |    60971    56473     53 |  0.003 % |
79.62/79.85	c |    134284 |     180    15300   107100 |    60971    56730     53 |  0.003 % |
79.82/80.05	c |    134566 |     180    15300   107100 |    60971    57012     53 |  0.003 % |
80.03/80.29	c |    134875 |     180    15300   107100 |    60971    57321     53 |  0.003 % |
80.32/80.56	c |    135214 |     180    15300   107100 |    60971    57660     53 |  0.003 % |
80.62/80.83	c |    135587 |     180    15300   107100 |    60971    58033     53 |  0.003 % |
80.92/81.16	c |    135998 |     180    15300   107100 |    60971    58444     53 |  0.003 % |
81.31/81.51	c |    136447 |     180    15300   107100 |    60971    58893     53 |  0.003 % |
81.61/81.84	c |    136941 |     180    15300   107100 |    60971    59387     53 |  0.003 % |
81.91/82.17	c |    137483 |     180    15300   107100 |    60971    59929     53 |  0.003 % |
82.32/82.57	c |    138081 |     180    15300   107100 |    60971    60527     53 |  0.003 % |
82.91/83.12	c |    138737 |     180    15300   107100 |    60971    54998     53 |  0.003 % |
83.42/83.61	c |    139457 |     180    15300   107100 |    60971    55718     53 |  0.003 % |
83.91/84.15	c |    140249 |     180    15300   107100 | 2147483647    56510     53 |  0.003 % |
84.52/84.78	c |    141120 |     180    15300   107100 | 2147483647    57381     53 |  0.003 % |
85.11/85.39	c |    142078 |     180    15300   107100 | 2147483647    58339     53 |  0.003 % |
86.01/86.21	c |    143131 |     180    15300   107100 | 2147483647    59392     53 |  0.003 % |
86.81/87.00	c |    144291 |     180    15300   107100 | 2147483647    60552     53 |  0.003 % |
87.61/87.83	c |    145565 |     180    15300   107100 | 2147483647    61826     53 |  0.003 % |
88.71/88.92	c |    146966 |     180    15300   107100 | 2147483647    63227     53 |  0.003 % |
89.71/89.94	c |    148506 |     180    15300   107100 | 2147483647    64767     53 |  0.003 % |
89.81/90.04	c |    148606 |     180    15300   107100 | 2147483647    64867     53 |  0.003 % |
89.91/90.14	c |    148717 |     180    15300   107100 | 2147483647    64978     53 |  0.003 % |
90.01/90.24	c |    148839 |     180    15300   107100 | 2147483647    65100     53 |  0.003 % |
90.11/90.35	c |    148974 |     180    15300   107100 | 2147483647    65235     53 |  0.003 % |
90.21/90.46	c |    149120 |     180    15300   107100 | 2147483647    65381     53 |  0.003 % |
90.41/90.61	c |    149282 |     180    15300   107100 | 2147483647    65543     53 |  0.003 % |
90.51/90.74	c |    149458 |     180    15300   107100 | 2147483647    65719     53 |  0.003 % |
90.61/90.89	c |    149652 |     180    15300   107100 | 2147483647    65913     53 |  0.003 % |
90.81/91.04	c |    149865 |     180    15300   107100 | 2147483647    66126     53 |  0.003 % |
91.01/91.29	c |    150098 |     180    15300   107100 |    66261    59670     53 |  0.003 % |
91.21/91.48	c |    150356 |     180    15300   107100 |    66261    59928     53 |  0.003 % |
91.51/91.72	c |    150641 |     180    15300   107100 |    66261    60213     53 |  0.003 % |
91.71/91.97	c |    150953 |     180    15300   107100 |    66261    60525     53 |  0.003 % |
92.01/92.21	c |    151293 |     180    15300   107100 |    66261    60865     53 |  0.003 % |
92.21/92.49	c |    151665 |     180    15300   107100 |    66261    61237     53 |  0.003 % |
92.51/92.75	c |    152074 |     180    15300   107100 |    66261    61646     53 |  0.003 % |
92.91/93.13	c |    152523 |     180    15300   107100 |    66261    62095     53 |  0.003 % |
93.31/93.55	c |    153017 |     180    15300   107100 |    66261    62589     53 |  0.003 % |
93.71/93.96	c |    153560 |     180    15300   107100 |    66261    63132     53 |  0.003 % |
94.21/94.46	c |    154158 |     180    15300   107100 |    66261    63730     53 |  0.003 % |
94.71/94.96	c |    154814 |     180    15300   107100 |    66261    64386     53 |  0.003 % |
95.21/95.46	c |    155534 |     180    15300   107100 |    66261    65106     53 |  0.003 % |
95.91/96.16	c |    156326 |     180    15300   107100 |    66261    65898     53 |  0.003 % |
96.61/96.87	c |    157198 |     180    15300   107100 |    66261    58959     53 |  0.003 % |
97.21/97.46	c |    158157 |     180    15300   107100 |    66261    59918     53 |  0.003 % |
97.91/98.11	c |    159210 |     180    15300   107100 |    66261    60971     53 |  0.003 % |
98.61/98.88	c |    160369 |     180    15300   107100 |    61762    55528     53 |  0.003 % |
99.41/99.62	c |    161643 |     180    15300   107100 |    61762    56802     53 |  0.003 % |
100.21/100.47	c |    163043 |     180    15300   107100 |    61762    58202     53 |  0.003 % |
101.40/101.60	c |    164584 |     180    15300   107100 |    61762    59743     53 |  0.003 % |
102.50/102.79	c |    166278 |     180    15300   107100 |    61762    61437     53 |  0.003 % |
102.60/102.86	c |    166379 |     180    15300   107100 |    61762    61538     53 |  0.003 % |
102.70/102.94	c |    166489 |     180    15300   107100 |    61762    61648     53 |  0.003 % |
102.80/103.03	c |    166610 |     180    15300   107100 |    61762    61769     53 |  0.003 % |
102.90/103.17	c |    166743 |     180    15300   107100 |    61762    55726     53 |  0.003 % |
103.00/103.25	c |    166889 |     180    15300   107100 |    61762    55872     53 |  0.003 % |
103.11/103.35	c |    167049 |     180    15300   107100 |    61762    56032     53 |  0.003 % |
103.30/103.51	c |    167226 |     180    15300   107100 |    61762    56209     53 |  0.003 % |
103.40/103.64	c |    167419 |     180    15300   107100 |    61762    56402     53 |  0.003 % |
103.61/103.81	c |    167632 |     180    15300   107100 |    61762    56615     53 |  0.003 % |
103.71/103.98	c |    167865 |     180    15300   107100 |    61762    56848     53 |  0.003 % |
103.91/104.16	c |    168121 |     180    15300   107100 |    61762    57104     53 |  0.003 % |
104.11/104.36	c |    168404 |     180    15300   107100 |    61762    57387     53 |  0.003 % |
104.31/104.55	c |    168714 |     180    15300   107100 |    61762    57697     53 |  0.003 % |
104.50/104.76	c |    169054 |     180    15300   107100 |    61762    58037     53 |  0.003 % |
104.80/105.08	c |    169427 |     180    15300   107100 |    61762    58410     53 |  0.003 % |
105.10/105.37	c |    169837 |     180    15300   107100 |    61762    58820     53 |  0.003 % |
105.41/105.68	c |    170287 |     180    15300   107100 | 2147483647    59270     53 |  0.003 % |
105.80/106.03	c |    170780 |     180    15300   107100 | 2147483647    59763     53 |  0.003 % |
106.10/106.39	c |    171323 |     180    15300   107100 | 2147483647    60306     53 |  0.003 % |
106.52/106.78	c |    171919 |     180    15300   107100 | 2147483647    60902     53 |  0.003 % |
107.01/107.22	c |    172575 |     180    15300   107100 | 2147483647    61558     53 |  0.003 % |
107.51/107.78	c |    173296 |     180    15300   107100 | 2147483647    62279     53 |  0.003 % |
108.11/108.34	c |    174090 |     180    15300   107100 | 2147483647    63073     53 |  0.003 % |
108.81/109.04	c |    174961 |     180    15300   107100 | 2147483647    63944     53 |  0.003 % |
109.51/109.78	c |    175919 |     180    15300   107100 | 2147483647    64902     53 |  0.003 % |
110.31/110.58	c |    176973 |     180    15300   107100 | 2147483647    65956     53 |  0.003 % |
111.21/111.42	c |    178131 |     180    15300   107100 | 2147483647    67114     54 |  0.003 % |
112.11/112.35	c |    179406 |     180    15300   107100 | 2147483647    68389     54 |  0.003 % |
113.11/113.33	c |    180806 |     180    15300   107100 |    68983    61951     53 |  0.003 % |
114.11/114.35	c |    182347 |     180    15300   107100 |    68983    63492     53 |  0.003 % |
115.21/115.40	c |    184041 |     180    15300   107100 |    68983    65186     53 |  0.003 % |
116.61/116.84	c |    185905 |     180    15300   107100 |    68983    67050     53 |  0.003 % |
116.71/116.92	c |    186005 |     180    15300   107100 |    68983    67150     53 |  0.003 % |
116.81/117.04	c |    186116 |     180    15300   107100 |    68983    67261     53 |  0.003 % |
116.91/117.14	c |    186237 |     180    15300   107100 |    68983    67382     53 |  0.003 % |
117.01/117.25	c |    186370 |     180    15300   107100 |    68983    67515     53 |  0.003 % |
117.11/117.36	c |    186516 |     180    15300   107100 |    68983    67661     53 |  0.003 % |
117.31/117.53	c |    186676 |     180    15300   107100 |    68983    67821     53 |  0.003 % |
117.41/117.69	c |    186852 |     180    15300   107100 |    68983    67997     53 |  0.003 % |
117.61/117.84	c |    187049 |     180    15300   107100 |    68983    68194     53 |  0.003 % |
117.81/118.04	c |    187262 |     180    15300   107100 |    68983    68407     53 |  0.003 % |
118.01/118.25	c |    187496 |     180    15300   107100 |    68983    68641     53 |  0.003 % |
118.21/118.44	c |    187753 |     180    15300   107100 |    68983    68898     53 |  0.003 % |
118.41/118.70	c |    188034 |     180    15300   107100 |    68983    61085     53 |  0.003 % |
118.71/118.99	c |    188343 |     180    15300   107100 |    68983    61394     53 |  0.003 % |
119.01/119.27	c |    188682 |     180    15300   107100 |    68983    61733     53 |  0.003 % |
119.31/119.53	c |    189054 |     180    15300   107100 |    68983    62105     53 |  0.003 % |
119.61/119.86	c |    189465 |     180    15300   107100 |    68983    62516     53 |  0.003 % |
120.01/120.23	c |    189914 |     180    15300   107100 |    68983    62965     53 |  0.003 % |
120.41/120.64	c |    190409 |     180    15300   107100 |    63051    55896     53 |  0.003 % |
120.81/121.01	c |    190951 |     180    15300   107100 |    63051    56438     53 |  0.003 % |
121.11/121.38	c |    191548 |     180    15300   107100 |    63051    57035     53 |  0.003 % |
121.61/121.88	c |    192203 |     180    15300   107100 |    63051    57690     53 |  0.003 % |
122.11/122.37	c |    192923 |     180    15300   107100 |    63051    58410     53 |  0.003 % |
122.71/122.92	c |    193715 |     180    15300   107100 |    63051    59202     53 |  0.003 % |
123.31/123.52	c |    194586 |     180    15300   107100 |    63051    60073     53 |  0.003 % |
124.01/124.24	c |    195545 |     180    15300   107100 |    63051    61032     53 |  0.003 % |
124.70/124.98	c |    196598 |     180    15300   107100 |    63051    62085     53 |  0.003 % |
125.70/125.91	c |    197756 |     180    15300   107100 |    63051    56930     53 |  0.003 % |
126.50/126.74	c |    199031 |     180    15300   107100 |    63051    58205     53 |  0.003 % |
127.41/127.67	c |    200432 |     180    15300   107100 | 2147483647    59606     53 |  0.003 % |
128.41/128.60	c |    201972 |     180    15300   107100 | 2147483647    61146     53 |  0.003 % |
129.30/129.57	c |    203668 |     180    15300   107100 | 2147483647    62842     53 |  0.003 % |
130.50/130.77	c |    205534 |     180    15300   107100 | 2147483647    64708     53 |  0.003 % |
132.10/132.37	c |    207583 |     180    15300   107100 | 2147483647    66757     53 |  0.003 % |
132.20/132.46	c |    207684 |     180    15300   107100 | 2147483647    66858     53 |  0.003 % |
132.30/132.54	c |    207794 |     180    15300   107100 | 2147483647    66968     53 |  0.003 % |
132.40/132.64	c |    207915 |     180    15300   107100 | 2147483647    67089     53 |  0.003 % |
132.50/132.75	c |    208048 |     180    15300   107100 | 2147483647    67222     53 |  0.003 % |
132.60/132.88	c |    208194 |     180    15300   107100 | 2147483647    67368     53 |  0.003 % |
132.80/133.03	c |    208354 |     180    15300   107100 | 2147483647    67528     53 |  0.003 % |
132.90/133.17	c |    208532 |     180    15300   107100 | 2147483647    67706     53 |  0.003 % |
133.10/133.37	c |    208725 |     180    15300   107100 | 2147483647    67899     53 |  0.003 % |
133.30/133.55	c |    208938 |     180    15300   107100 | 2147483647    68112     53 |  0.003 % |
133.50/133.76	c |    209172 |     180    15300   107100 | 2147483647    68346     53 |  0.003 % |
133.70/133.95	c |    209430 |     180    15300   107100 | 2147483647    68604     53 |  0.003 % |
134.00/134.22	c |    209713 |     180    15300   107100 | 2147483647    68887     53 |  0.003 % |
134.20/134.48	c |    210022 |     180    15300   107100 |    69176    69196     53 |  0.003 % |
134.60/134.83	c |    210362 |     180    15300   107100 |    69176    62083     53 |  0.003 % |
134.80/135.09	c |    210735 |     180    15300   107100 |    69176    62456     53 |  0.003 % |
135.10/135.37	c |    211144 |     180    15300   107100 |    69176    62865     53 |  0.003 % |
135.40/135.69	c |    211595 |     180    15300   107100 |    69176    63316     53 |  0.003 % |
135.80/136.08	c |    212088 |     180    15300   107100 |    69176    63809     53 |  0.003 % |
136.30/136.54	c |    212630 |     180    15300   107100 |    69176    64351     53 |  0.003 % |
136.80/137.03	c |    213226 |     180    15300   107100 |    69176    64947     53 |  0.003 % |
137.30/137.52	c |    213882 |     180    15300   107100 |    69176    65603     53 |  0.003 % |
137.80/138.07	c |    214602 |     180    15300   107100 |    69176    66323     53 |  0.003 % |
138.40/138.66	c |    215397 |     180    15300   107100 |    69176    67118     53 |  0.003 % |
139.10/139.33	c |    216268 |     180    15300   107100 |    69176    67989     53 |  0.003 % |
139.90/140.11	c |    217226 |     180    15300   107100 |    69176    68947     53 |  0.003 % |
140.70/140.94	c |    218280 |     180    15300   107100 |    69176    61649     53 |  0.003 % |
141.40/141.68	c |    219439 |     180    15300   107100 |    69176    62808     53 |  0.003 % |
142.30/142.52	c |    220714 |     180    15300   107100 |    63370    56939     53 |  0.003 % |
143.20/143.40	c |    222115 |     180    15300   107100 |    63370    58340     53 |  0.003 % |
144.10/144.35	c |    223655 |     180    15300   107100 |    63370    59880     53 |  0.003 % |
145.20/145.40	c |    225350 |     180    15300   107100 |    63370    61575     53 |  0.003 % |
146.30/146.53	c |    227213 |     180    15300   107100 |    63370    63438     53 |  0.003 % |
147.49/147.76	c |    229264 |     180    15300   107100 |    63370    59146     53 |  0.003 % |
148.79/149.09	c |    231517 |     180    15300   107100 | 2147483647    61399     53 |  0.003 % |
148.99/149.21	c |    231618 |     180    15300   107100 | 2147483647    61500     53 |  0.003 % |
149.09/149.30	c |    231728 |     180    15300   107100 | 2147483647    61610     53 |  0.003 % |
149.19/149.40	c |    231853 |     180    15300   107100 | 2147483647    61735     53 |  0.003 % |
149.30/149.51	c |    231986 |     180    15300   107100 | 2147483647    61868     53 |  0.003 % |
149.40/149.62	c |    232134 |     180    15300   107100 | 2147483647    62016     53 |  0.003 % |
149.49/149.75	c |    232294 |     180    15300   107100 | 2147483647    62176     53 |  0.003 % |
149.59/149.88	c |    232471 |     180    15300   107100 | 2147483647    62353     53 |  0.003 % |
149.79/150.03	c |    232664 |     180    15300   107100 | 2147483647    62546     53 |  0.003 % |
149.89/150.19	c |    232877 |     180    15300   107100 | 2147483647    62759     53 |  0.003 % |
150.09/150.37	c |    233112 |     180    15300   107100 | 2147483647    62994     53 |  0.003 % |
150.29/150.53	c |    233369 |     180    15300   107100 | 2147483647    63251     53 |  0.003 % |
150.50/150.73	c |    233651 |     180    15300   107100 | 2147483647    63533     53 |  0.003 % |
150.69/150.96	c |    233960 |     180    15300   107100 | 2147483647    63842     53 |  0.003 % |
150.89/151.19	c |    234301 |     180    15300   107100 | 2147483647    64183     53 |  0.003 % |
151.19/151.44	c |    234674 |     180    15300   107100 | 2147483647    64556     53 |  0.003 % |
151.49/151.74	c |    235083 |     180    15300   107100 | 2147483647    64965     53 |  0.003 % |
151.89/152.16	c |    235532 |     180    15300   107100 | 2147483647    65414     53 |  0.003 % |
152.29/152.59	c |    236028 |     180    15300   107100 | 2147483647    65910     53 |  0.003 % |
152.79/153.05	c |    236570 |     180    15300   107100 | 2147483647    66452     53 |  0.003 % |
153.29/153.53	c |    237166 |     180    15300   107100 | 2147483647    67048     53 |  0.003 % |
153.79/154.04	c |    237822 |     180    15300   107100 | 2147483647    67704     53 |  0.003 % |
154.39/154.61	c |    238542 |     180    15300   107100 | 2147483647    68424     53 |  0.003 % |
155.09/155.33	c |    239335 |     180    15300   107100 | 2147483647    69217     53 |  0.003 % |
155.79/156.06	c |    240206 |     180    15300   107100 |    69882    62119     53 |  0.003 % |
156.49/156.73	c |    241165 |     180    15300   107100 |    69882    63078     53 |  0.003 % |
157.19/157.47	c |    242218 |     180    15300   107100 |    69882    64131     53 |  0.003 % |
157.99/158.21	c |    243376 |     180    15300   107100 |    69882    65289     53 |  0.003 % |
158.79/159.09	c |    244649 |     180    15300   107100 |    69882    66562     53 |  0.003 % |
159.79/160.06	c |    246049 |     180    15300   107100 |    69882    67962     53 |  0.003 % |
161.19/161.43	c |    247590 |     180    15300   107100 |    69882    69503     53 |  0.003 % |
162.59/162.80	c |    249285 |     180    15300   107100 |    69882    63085     53 |  0.003 % |
163.89/164.12	c |    251149 |     180    15300   107100 |    63802    57447     53 |  0.003 % |
165.08/165.39	c |    253201 |     180    15300   107100 |    63802    59499     53 |  0.003 % |
166.58/166.83	c |    255454 |     180    15300   107100 |    63802    61752     53 |  0.003 % |
168.18/168.46	c |    257932 |     180    15300   107100 |    63802    57842     53 |  0.003 % |
168.28/168.51	c |    258032 |     180    15300   107100 |    63802    57942     53 |  0.003 % |
168.39/168.60	c |    258142 |     180    15300   107100 |    63802    58052     53 |  0.003 % |
168.39/168.69	c |    258263 |     180    15300   107100 |    63802    58173     53 |  0.003 % |
168.49/168.77	c |    258396 |     180    15300   107100 |    63802    58306     53 |  0.003 % |
168.59/168.88	c |    258544 |     180    15300   107100 |    63802    58454     53 |  0.003 % |
168.79/169.03	c |    258705 |     180    15300   107100 |    63802    58615     53 |  0.003 % |
168.89/169.14	c |    258881 |     180    15300   107100 |    63802    58791     53 |  0.003 % |
168.99/169.29	c |    259074 |     180    15300   107100 |    63802    58984     53 |  0.003 % |
169.20/169.45	c |    259287 |     180    15300   107100 |    63802    59197     53 |  0.003 % |
169.39/169.62	c |    259520 |     180    15300   107100 |    63802    59430     53 |  0.003 % |
169.59/169.83	c |    259778 |     180    15300   107100 |    63802    59688     53 |  0.003 % |
169.79/170.04	c |    260059 |     180    15300   107100 | 2147483647    59969     53 |  0.003 % |
169.99/170.26	c |    260369 |     180    15300   107100 | 2147483647    60279     53 |  0.003 % |
170.29/170.51	c |    260708 |     180    15300   107100 | 2147483647    60618     53 |  0.003 % |
170.49/170.78	c |    261083 |     180    15300   107100 | 2147483647    60993     53 |  0.003 % |
170.79/171.08	c |    261495 |     180    15300   107100 | 2147483647    61405     53 |  0.003 % |
171.09/171.40	c |    261944 |     180    15300   107100 | 2147483647    61854     53 |  0.003 % |
171.49/171.73	c |    262438 |     180    15300   107100 | 2147483647    62348     53 |  0.003 % |
171.89/172.13	c |    262981 |     180    15300   107100 | 2147483647    62891     53 |  0.003 % |
172.29/172.59	c |    263578 |     180    15300   107100 | 2147483647    63488     53 |  0.003 % |
172.89/173.12	c |    264234 |     180    15300   107100 | 2147483647    64144     53 |  0.003 % |
173.39/173.67	c |    264955 |     180    15300   107100 | 2147483647    64865     53 |  0.003 % |
173.99/174.20	c |    265747 |     180    15300   107100 | 2147483647    65657     53 |  0.003 % |
174.59/174.84	c |    266618 |     180    15300   107100 | 2147483647    66528     53 |  0.003 % |
175.19/175.49	c |    267577 |     180    15300   107100 | 2147483647    67487     53 |  0.003 % |
176.09/176.32	c |    268630 |     180    15300   107100 | 2147483647    68540     53 |  0.003 % |
176.89/177.19	c |    269790 |     180    15300   107100 | 2147483647    69700     53 |  0.003 % |
177.89/178.16	c |    271063 |     180    15300   107100 |    69910    62848     53 |  0.003 % |
178.99/179.26	c |    272463 |     180    15300   107100 |    69910    64248     53 |  0.003 % |
180.09/180.39	c |    274003 |     180    15300   107100 |    69910    65788     53 |  0.003 % |
181.39/181.66	c |    275698 |     180    15300   107100 |    69910    67483     53 |  0.003 % |
182.69/182.97	c |    277563 |     180    15300   107100 |    69910    69348     53 |  0.003 % |
184.29/184.57	c |    279613 |     180    15300   107100 |    69910    62706     53 |  0.003 % |
185.78/186.08	c |    281867 |     180    15300   107100 |    63093    57191     53 |  0.003 % |
187.38/187.60	c |    284346 |     180    15300   107100 |    63093    59670     53 |  0.003 % |
189.18/189.43	c |    287071 |     180    15300   107100 |    63093    62395     53 |  0.003 % |
189.28/189.53	c |    287171 |     180    15300   107100 |    63093    62495     53 |  0.003 % |
189.38/189.63	c |    287283 |     180    15300   107100 |    63093    62607     53 |  0.003 % |
189.48/189.73	c |    287405 |     180    15300   107100 |    63093    62729     53 |  0.003 % |
189.58/189.82	c |    287538 |     180    15300   107100 |    63093    62862     53 |  0.003 % |
189.68/189.98	c |    287684 |     180    15300   107100 |    63093    63008     53 |  0.003 % |
189.88/190.11	c |    287846 |     180    15300   107100 |    63093    63170     53 |  0.003 % |
189.99/190.30	c |    288022 |     180    15300   107100 |    63093    57029     53 |  0.003 % |
190.18/190.47	c |    288215 |     180    15300   107100 |    63093    57222     53 |  0.003 % |
190.38/190.62	c |    288429 |     180    15300   107100 |    63093    57436     53 |  0.003 % |
190.48/190.76	c |    288662 |     180    15300   107100 |    63093    57669     53 |  0.003 % |
190.68/190.94	c |    288919 |     180    15300   107100 |    63093    57926     53 |  0.003 % |
190.88/191.15	c |    289200 |     180    15300   107100 |    63093    58207     53 |  0.003 % |
191.08/191.34	c |    289509 |     180    15300   107100 |    63093    58516     53 |  0.003 % |
191.28/191.59	c |    289849 |     180    15300   107100 |    63093    58856     53 |  0.003 % |
191.58/191.84	c |    290225 |     180    15300   107100 | 2147483647    59232     53 |  0.003 % |
191.88/192.12	c |    290634 |     180    15300   107100 | 2147483647    59641     53 |  0.003 % |
192.18/192.40	c |    291083 |     180    15300   107100 | 2147483647    60090     53 |  0.003 % |
192.48/192.79	c |    291577 |     180    15300   107100 | 2147483647    60584     53 |  0.003 % |
192.88/193.17	c |    292119 |     180    15300   107100 | 2147483647    61126     53 |  0.003 % |
193.38/193.62	c |    292716 |     180    15300   107100 | 2147483647    61723     53 |  0.003 % |
193.78/194.07	c |    293372 |     180    15300   107100 | 2147483647    62379     53 |  0.003 % |
194.28/194.57	c |    294094 |     180    15300   107100 | 2147483647    63101     53 |  0.003 % |
194.88/195.14	c |    294886 |     180    15300   107100 | 2147483647    63893     53 |  0.003 % |
195.48/195.76	c |    295757 |     180    15300   107100 | 2147483647    64764     53 |  0.003 % |
196.18/196.49	c |    296716 |     180    15300   107100 | 2147483647    65723     53 |  0.003 % |
196.98/197.27	c |    297769 |     180    15300   107100 | 2147483647    66776     53 |  0.003 % |
197.88/198.12	c |    298927 |     180    15300   107100 | 2147483647    67934     53 |  0.003 % |
198.78/199.08	c |    300200 |     180    15300   107100 |    69008    61765     53 |  0.003 % |
199.78/200.00	c |    301601 |     180    15300   107100 |    69008    63166     53 |  0.003 % |
200.68/200.97	c |    303142 |     180    15300   107100 |    69008    64707     54 |  0.003 % |
201.78/202.07	c |    304837 |     180    15300   107100 |    69008    66402     53 |  0.003 % |
203.08/203.33	c |    306701 |     180    15300   107100 |    69008    68266     54 |  0.003 % |
204.47/204.75	c |    308752 |     180    15300   107100 |    69008    63408     53 |  0.003 % |
205.87/206.16	c |    311005 |     180    15300   107100 | 2147483647    65661     53 |  0.003 % |
207.77/208.03	c |    313483 |     180    15300   107100 | 2147483647    68139     54 |  0.003 % |
209.78/210.10	c |    316209 |     180    15300   107100 | 2147483647    70865     54 |  0.003 % |
211.98/212.25	c |    319210 |     180    15300   107100 | 2147483647    73866     54 |  0.003 % |
212.08/212.33	c |    319311 |     180    15300   107100 | 2147483647    73967     54 |  0.003 % |
212.18/212.41	c |    319422 |     180    15300   107100 | 2147483647    74078     54 |  0.003 % |
212.28/212.53	c |    319544 |     180    15300   107100 | 2147483647    74200     54 |  0.003 % |
212.38/212.67	c |    319677 |     180    15300   107100 | 2147483647    74333     54 |  0.003 % |
212.48/212.80	c |    319823 |     180    15300   107100 | 2147483647    74479     54 |  0.003 % |
212.68/212.94	c |    319983 |     180    15300   107100 | 2147483647    74639     54 |  0.003 % |
212.88/213.17	c |    320160 |     180    15300   107100 |    74657    65201     54 |  0.003 % |
213.08/213.33	c |    320355 |     180    15300   107100 |    74657    65396     54 |  0.003 % |
213.18/213.49	c |    320567 |     180    15300   107100 |    74657    65608     54 |  0.003 % |
213.48/213.71	c |    320800 |     180    15300   107100 |    74657    65841     54 |  0.003 % |
213.68/213.93	c |    321057 |     180    15300   107100 |    74657    66098     54 |  0.003 % |
213.88/214.17	c |    321339 |     180    15300   107100 |    74657    66380     54 |  0.003 % |
214.18/214.41	c |    321649 |     180    15300   107100 |    74657    66690     54 |  0.003 % |
214.38/214.69	c |    321990 |     180    15300   107100 |    74657    67031     54 |  0.003 % |
214.68/214.99	c |    322362 |     180    15300   107100 |    74657    67403     54 |  0.003 % |
215.08/215.33	c |    322771 |     180    15300   107100 |    74657    67812     54 |  0.003 % |
215.38/215.66	c |    323221 |     180    15300   107100 |    74657    68262     54 |  0.003 % |
215.78/216.02	c |    323716 |     180    15300   107100 |    74657    68757     54 |  0.003 % |
216.18/216.45	c |    324258 |     180    15300   107100 |    74657    69299     54 |  0.003 % |
216.68/216.91	c |    324855 |     180    15300   107100 |    74657    69896     54 |  0.003 % |
217.18/217.41	c |    325513 |     180    15300   107100 |    74657    70554     54 |  0.003 % |
217.87/218.10	c |    326233 |     180    15300   107100 |    74657    71274     54 |  0.003 % |
218.58/218.83	c |    327025 |     180    15300   107100 |    74657    72066     54 |  0.003 % |
219.37/219.61	c |    327897 |     180    15300   107100 |    74657    72938     54 |  0.003 % |
220.17/220.43	c |    328855 |     180    15300   107100 |    74657    73896     54 |  0.003 % |
221.07/221.30	c |    329908 |     180    15300   107100 |    74657    63539     54 |  0.003 % |
221.77/222.02	c |    331069 |     180    15300   107100 |    63634    55131     53 |  0.003 % |
222.67/222.94	c |    332342 |     180    15300   107100 |    63634    56404     54 |  0.003 % |
223.67/223.90	c |    333743 |     180    15300   107100 |    63634    57805     54 |  0.003 % |
224.57/224.88	c |    335283 |     180    15300   107100 |    63634    59345     54 |  0.003 % |
225.77/226.00	c |    336979 |     180    15300   107100 |    63634    61041     54 |  0.003 % |
226.87/227.19	c |    338842 |     180    15300   107100 |    63634    62904     54 |  0.003 % |
228.27/228.51	c |    340891 |     180    15300   107100 |    57584    52709     54 |  0.003 % |
229.47/229.72	c |    343144 |     180    15300   107100 |    57584    54962     54 |  0.003 % |
230.87/231.17	c |    345623 |     180    15300   107100 |    57584    57441     54 |  0.003 % |
232.46/232.74	c |    348348 |     180    15300   107100 |    57584    54399     54 |  0.003 % |
234.16/234.45	c |    351345 |     180    15300   107100 | 2147483647    57396     54 |  0.003 % |
236.06/236.37	c |    354642 |     180    15300   107100 | 2147483647    60693     54 |  0.003 % |
236.17/236.44	c |    354742 |     180    15300   107100 | 2147483647    60793     54 |  0.003 % |
236.27/236.51	c |    354852 |     180    15300   107100 | 2147483647    60903     54 |  0.003 % |
236.27/236.60	c |    354973 |     180    15300   107100 | 2147483647    61024     54 |  0.003 % |
236.36/236.69	c |    355109 |     180    15300   107100 | 2147483647    61160     54 |  0.003 % |
236.46/236.79	c |    355255 |     180    15300   107100 | 2147483647    61306     54 |  0.003 % |
236.66/236.91	c |    355415 |     180    15300   107100 | 2147483647    61466     54 |  0.003 % |
236.76/237.04	c |    355592 |     180    15300   107100 | 2147483647    61643     54 |  0.003 % |
236.86/237.19	c |    355785 |     180    15300   107100 | 2147483647    61836     54 |  0.003 % |
237.06/237.34	c |    355997 |     180    15300   107100 | 2147483647    62048     54 |  0.003 % |
237.27/237.52	c |    356231 |     180    15300   107100 | 2147483647    62282     54 |  0.003 % |
237.46/237.71	c |    356487 |     180    15300   107100 | 2147483647    62538     54 |  0.003 % |
237.66/237.94	c |    356768 |     180    15300   107100 | 2147483647    62819     54 |  0.003 % |
237.86/238.18	c |    357079 |     180    15300   107100 | 2147483647    63130     54 |  0.003 % |
238.16/238.48	c |    357421 |     180    15300   107100 | 2147483647    63472     54 |  0.003 % |
238.46/238.78	c |    357793 |     180    15300   107100 | 2147483647    63844     54 |  0.003 % |
238.76/239.08	c |    358202 |     180    15300   107100 | 2147483647    64253     54 |  0.003 % |
239.16/239.40	c |    358652 |     180    15300   107100 | 2147483647    64703     54 |  0.003 % |
239.46/239.74	c |    359145 |     180    15300   107100 | 2147483647    65196     54 |  0.003 % |
239.86/240.12	c |    359688 |     180    15300   107100 | 2147483647    65739     54 |  0.003 % |
240.26/240.54	c |    360285 |     180    15300   107100 | 2147483647    66336     54 |  0.003 % |
240.76/241.01	c |    360940 |     180    15300   107100 | 2147483647    66991     54 |  0.003 % |
241.26/241.57	c |    361663 |     180    15300   107100 | 2147483647    67714     54 |  0.003 % |
241.86/242.13	c |    362455 |     180    15300   107100 | 2147483647    68506     54 |  0.003 % |
242.46/242.73	c |    363328 |     180    15300   107100 | 2147483647    69379     54 |  0.003 % |
243.06/243.36	c |    364286 |     180    15300   107100 | 2147483647    70337     54 |  0.003 % |
243.76/244.07	c |    365339 |     180    15300   107100 | 2147483647    71390     54 |  0.003 % |
244.56/244.86	c |    366498 |     180    15300   107100 | 2147483647    72549     54 |  0.003 % |
245.46/245.79	c |    367774 |     180    15300   107100 | 2147483647    73825     54 |  0.003 % |
246.56/246.83	c |    369174 |     180    15300   107100 | 2147483647    75225     54 |  0.003 % |
247.76/248.00	c |    370715 |     180    15300   107100 |    76053    67636     54 |  0.003 % |
248.96/249.21	c |    372411 |     180    15300   107100 |    76053    69332     54 |  0.003 % |
250.26/250.57	c |    374274 |     180    15300   107100 |    76053    71195     54 |  0.003 % |
251.66/252.00	c |    376323 |     180    15300   107100 |    76053    73244     54 |  0.003 % |
253.36/253.65	c |    378578 |     180    15300   107100 |    76053    75499     54 |  0.003 % |
255.35/255.63	c |    381056 |     180    15300   107100 |    66575    58427     54 |  0.003 % |
257.16/257.42	c |    383782 |     180    15300   107100 |    66575    61153     54 |  0.003 % |
258.95/259.28	c |    386781 |     180    15300   107100 |    66575    64152     54 |  0.003 % |
261.05/261.37	c |    390079 |     180    15300   107100 |    60427    60505     54 |  0.003 % |
263.26/263.53	c |    393705 |     180    15300   107100 |    60427    58005     54 |  0.003 % |
263.26/263.58	c |    393806 |     180    15300   107100 |    60427    58106     54 |  0.003 % |
263.36/263.66	c |    393918 |     180    15300   107100 |    60427    58218     54 |  0.003 % |
263.46/263.73	c |    394039 |     180    15300   107100 |    60427    58339     54 |  0.003 % |
263.56/263.84	c |    394173 |     180    15300   107100 |    60427    58473     54 |  0.003 % |
263.66/263.94	c |    394319 |     180    15300   107100 |    60427    58619     54 |  0.003 % |
263.76/264.05	c |    394479 |     180    15300   107100 |    60427    58779     54 |  0.003 % |
263.86/264.20	c |    394655 |     180    15300   107100 |    60427    58955     54 |  0.003 % |
264.06/264.33	c |    394850 |     180    15300   107100 |    60427    59150     54 |  0.003 % |
264.16/264.48	c |    395063 |     180    15300   107100 |    60427    59363     54 |  0.003 % |
264.36/264.66	c |    395296 |     180    15300   107100 |    60427    59596     54 |  0.003 % |
264.56/264.83	c |    395554 |     180    15300   107100 |    60427    59854     54 |  0.003 % |
264.76/265.02	c |    395837 |     180    15300   107100 |    60427    60137     54 |  0.003 % |
264.96/265.25	c |    396147 |     180    15300   107100 |    60427    60447     54 |  0.003 % |
265.26/265.50	c |    396486 |     180    15300   107100 |    60427    54742     54 |  0.003 % |
265.46/265.76	c |    396858 |     180    15300   107100 |    60427    55114     54 |  0.003 % |
265.76/266.01	c |    397268 |     180    15300   107100 |    60427    55524     54 |  0.003 % |
265.96/266.27	c |    397719 |     180    15300   107100 |    60427    55975     54 |  0.003 % |
266.26/266.55	c |    398214 |     180    15300   107100 |    60427    56470     54 |  0.003 % |
266.56/266.87	c |    398756 |     180    15300   107100 |    60427    57012     54 |  0.003 % |
266.96/267.23	c |    399353 |     180    15300   107100 |    60427    57609     54 |  0.003 % |
267.36/267.63	c |    400008 |     180    15300   107100 | 2147483647    58264     54 |  0.003 % |
267.86/268.14	c |    400728 |     180    15300   107100 | 2147483647    58984     54 |  0.003 % |
268.36/268.69	c |    401521 |     180    15300   107100 | 2147483647    59777     54 |  0.003 % |
269.06/269.35	c |    402392 |     180    15300   107100 | 2147483647    60648     54 |  0.003 % |
269.76/270.06	c |    403350 |     180    15300   107100 | 2147483647    61606     54 |  0.003 % |
270.56/270.81	c |    404407 |     180    15300   107100 | 2147483647    62663     54 |  0.003 % |
271.36/271.66	c |    405566 |     180    15300   107100 | 2147483647    63822     54 |  0.003 % |
272.36/272.65	c |    406841 |     180    15300   107100 | 2147483647    65097     54 |  0.003 % |
273.36/273.67	c |    408244 |     180    15300   107100 | 2147483647    66500     54 |  0.003 % |
274.46/274.77	c |    409784 |     180    15300   107100 | 2147483647    68040     54 |  0.003 % |
275.66/275.97	c |    411478 |     180    15300   107100 |    68256    62477     54 |  0.003 % |
276.86/277.19	c |    413342 |     180    15300   107100 |    68256    64341     54 |  0.003 % |
278.15/278.49	c |    415391 |     180    15300   107100 |    68256    66390     54 |  0.003 % |
279.85/280.18	c |    417645 |     180    15300   107100 |    68256    61662     54 |  0.003 % |
281.76/282.04	c |    420125 |     180    15300   107100 |    64018    57703     54 |  0.003 % |
283.46/283.72	c |    422850 |     180    15300   107100 |    64018    60428     54 |  0.003 % |
285.45/285.71	c |    425848 |     180    15300   107100 |    64018    63426     54 |  0.003 % |
287.35/287.64	c |    429149 |     180    15300   107100 |    64018    60317     54 |  0.003 % |
289.45/289.76	c |    432775 |     180    15300   107100 | 2147483647    63943     54 |  0.003 % |
292.35/292.61	c |    436762 |     180    15300   107100 | 2147483647    67930     54 |  0.003 % |
292.45/292.70	c |    436863 |     180    15300   107100 | 2147483647    68031     54 |  0.003 % |
292.55/292.80	c |    436973 |     180    15300   107100 | 2147483647    68141     54 |  0.003 % |
292.65/292.90	c |    437097 |     180    15300   107100 | 2147483647    68265     54 |  0.003 % |
292.75/293.05	c |    437230 |     180    15300   107100 | 2147483647    68398     54 |  0.003 % |
292.85/293.17	c |    437376 |     180    15300   107100 | 2147483647    68544     54 |  0.003 % |
292.95/293.30	c |    437539 |     180    15300   107100 | 2147483647    68707     54 |  0.003 % |
293.15/293.47	c |    437715 |     180    15300   107100 | 2147483647    68883     54 |  0.003 % |
293.35/293.66	c |    437908 |     180    15300   107100 | 2147483647    69076     54 |  0.003 % |
293.55/293.83	c |    438120 |     180    15300   107100 | 2147483647    69288     54 |  0.003 % |
293.75/294.02	c |    438356 |     180    15300   107100 | 2147483647    69524     54 |  0.003 % |
293.95/294.24	c |    438612 |     180    15300   107100 | 2147483647    69780     54 |  0.003 % |
294.15/294.47	c |    438893 |     180    15300   107100 | 2147483647    70061     54 |  0.003 % |
294.45/294.72	c |    439204 |     180    15300   107100 | 2147483647    70372     54 |  0.003 % |
294.65/294.98	c |    439543 |     180    15300   107100 | 2147483647    70711     54 |  0.003 % |
295.05/295.35	c |    439915 |     180    15300   107100 | 2147483647    71083     54 |  0.003 % |
295.45/295.76	c |    440324 |     180    15300   107100 |    71168    63549     54 |  0.003 % |
295.75/296.09	c |    440773 |     180    15300   107100 |    71168    63998     54 |  0.003 % |
296.15/296.41	c |    441266 |     180    15300   107100 |    71168    64491     54 |  0.003 % |
296.54/296.81	c |    441808 |     180    15300   107100 |    71168    65033     54 |  0.003 % |
296.95/297.26	c |    442405 |     180    15300   107100 |    71168    65630     54 |  0.003 % |
297.44/297.73	c |    443061 |     180    15300   107100 |    71168    66286     54 |  0.003 % |
298.04/298.35	c |    443782 |     180    15300   107100 |    71168    67007     54 |  0.003 % |
298.64/298.93	c |    444574 |     180    15300   107100 |    71168    67799     54 |  0.003 % |
299.34/299.62	c |    445445 |     180    15300   107100 |    71168    68670     54 |  0.003 % |
300.05/300.31	c |    446404 |     180    15300   107100 |    71168    69629     54 |  0.003 % |
300.74/301.06	c |    447457 |     180    15300   107100 |    71168    70682     54 |  0.003 % |
301.64/301.93	c |    448617 |     180    15300   107100 |    71168    62500     54 |  0.003 % |
302.44/302.74	c |    449890 |     180    15300   107100 |    71168    63773     54 |  0.003 % |
303.35/303.63	c |    451290 |     180    15300   107100 |    63883    57230     54 |  0.003 % |
304.24/304.57	c |    452830 |     180    15300   107100 |    63883    58770     54 |  0.003 % |
305.24/305.58	c |    454524 |     180    15300   107100 |    63883    60464     54 |  0.003 % |
306.44/306.79	c |    456388 |     180    15300   107100 |    63883    62328     54 |  0.003 % |
307.84/308.19	c |    458437 |     180    15300   107100 |    63883    57981     54 |  0.003 % |
309.34/309.61	c |    460690 |     180    15300   107100 | 2147483647    60234     54 |  0.003 % |
310.94/311.29	c |    463168 |     180    15300   107100 | 2147483647    62712     54 |  0.003 % |
312.74/313.02	c |    465893 |     180    15300   107100 | 2147483647    65437     54 |  0.003 % |
314.84/315.11	c |    468891 |     180    15300   107100 | 2147483647    68435     54 |  0.003 % |
317.14/317.48	c |    472188 |     180    15300   107100 | 2147483647    71732     54 |  0.003 % |
319.84/320.14	c |    475813 |     180    15300   107100 | 2147483647    75357     54 |  0.003 % |
322.63/322.99	c |    479802 |     180    15300   107100 | 2147483647    79346     54 |  0.003 % |
325.63/325.95	c |    484187 |     180    15300   107100 |    79545    73255     54 |  0.003 % |
325.73/326.02	c |    484287 |     180    15300   107100 |    79545    73355     54 |  0.003 % |
325.83/326.11	c |    484398 |     180    15300   107100 |    79545    73466     54 |  0.003 % |
325.93/326.22	c |    484519 |     180    15300   107100 |    79545    73587     54 |  0.003 % |
326.03/326.34	c |    484652 |     180    15300   107100 |    79545    73720     54 |  0.003 % |
326.13/326.49	c |    484798 |     180    15300   107100 |    79545    73866     54 |  0.003 % |
326.34/326.65	c |    484959 |     180    15300   107100 |    79545    74027     54 |  0.003 % |
326.53/326.80	c |    485137 |     180    15300   107100 |    79545    74205     54 |  0.003 % |
326.63/326.98	c |    485332 |     180    15300   107100 |    79545    74400     54 |  0.003 % |
326.83/327.17	c |    485546 |     180    15300   107100 |    79545    74614     54 |  0.003 % |
327.13/327.41	c |    485779 |     180    15300   107100 |    79545    74847     54 |  0.003 % |
327.33/327.64	c |    486036 |     180    15300   107100 |    79545    75104     54 |  0.003 % |
327.63/327.93	c |    486317 |     180    15300   107100 |    79545    75385     54 |  0.003 % |
327.93/328.21	c |    486626 |     180    15300   107100 |    79545    75694     54 |  0.003 % |
328.23/328.51	c |    486967 |     180    15300   107100 |    79545    76035     54 |  0.003 % |
328.53/328.86	c |    487341 |     180    15300   107100 |    79545    76409     54 |  0.003 % |
328.83/329.18	c |    487751 |     180    15300   107100 |    79545    76819     54 |  0.003 % |
329.23/329.56	c |    488200 |     180    15300   107100 |    79545    77268     54 |  0.003 % |
329.63/329.93	c |    488693 |     180    15300   107100 |    79545    77761     54 |  0.003 % |
330.03/330.35	c |    489235 |     180    15300   107100 |    79545    78303     54 |  0.003 % |
330.53/330.82	c |    489831 |     180    15300   107100 |    79545    78899     54 |  0.003 % |
331.04/331.35	c |    490486 |     180    15300   107100 |    79068    67820     54 |  0.003 % |
331.54/331.90	c |    491207 |     180    15300   107100 |    79068    68541     54 |  0.003 % |
332.24/332.52	c |    492000 |     180    15300   107100 |    79068    69334     54 |  0.003 % |
332.94/333.29	c |    492872 |     180    15300   107100 |    79068    70206     54 |  0.003 % |
333.64/333.94	c |    493830 |     180    15300   107100 |    79068    71164     54 |  0.003 % |
334.44/334.71	c |    494883 |     180    15300   107100 |    79068    72217     54 |  0.003 % |
335.34/335.62	c |    496041 |     180    15300   107100 |    79068    73375     54 |  0.003 % |
336.34/336.61	c |    497314 |     180    15300   107100 |    79068    74648     54 |  0.003 % |
337.34/337.70	c |    498714 |     180    15300   107100 |    79068    76048     54 |  0.003 % |
338.74/339.00	c |    500254 |     180    15300   107100 |    77334    65717     53 |  0.003 % |
339.84/340.17	c |    501948 |     180    15300   107100 |    77334    67411     53 |  0.003 % |
341.14/341.47	c |    503811 |     180    15300   107100 |    77334    69274     54 |  0.003 % |
342.53/342.87	c |    505860 |     180    15300   107100 |    77334    71323     54 |  0.003 % |
344.23/344.55	c |    508113 |     180    15300   107100 |    77334    73576     54 |  0.003 % |
346.14/346.44	c |    510591 |     180    15300   107100 |    75463    65526     54 |  0.003 % |
348.03/348.34	c |    513316 |     180    15300   107100 |    75463    68251     54 |  0.003 % |
350.13/350.49	c |    516313 |     180    15300   107100 |    75463    71248     54 |  0.003 % |
352.63/352.92	c |    519612 |     180    15300   107100 |    75463    74547     54 |  0.003 % |
355.13/355.41	c |    523239 |     180    15300   107100 |    74937    68116     54 |  0.003 % |
357.83/358.15	c |    527226 |     180    15300   107100 |    74937    72103     54 |  0.003 % |
361.23/361.60	c |    531613 |     180    15300   107100 |    74877    67222     54 |  0.003 % |
364.52/364.81	c |    536437 |     180    15300   107100 |    74877    72046     53 |  0.003 % |
364.52/364.89	c |    536539 |     180    15300   107100 |    74877    72148     53 |  0.003 % |
364.72/365.03	c |    536650 |     180    15300   107100 |    74877    72259     53 |  0.003 % |
364.83/365.14	c |    536771 |     180    15300   107100 |    74877    72380     53 |  0.003 % |
364.93/365.26	c |    536906 |     180    15300   107100 |    74877    72515     53 |  0.003 % |
365.02/365.38	c |    537053 |     180    15300   107100 |    74877    72662     53 |  0.003 % |
365.22/365.54	c |    537214 |     180    15300   107100 |    74877    72823     53 |  0.003 % |
365.42/365.71	c |    537391 |     180    15300   107100 |    74877    73000     53 |  0.003 % |
365.52/365.90	c |    537584 |     180    15300   107100 |    74877    73193     53 |  0.003 % |
365.72/366.09	c |    537797 |     180    15300   107100 |    74877    73406     53 |  0.003 % |
365.93/366.28	c |    538030 |     180    15300   107100 |    74877    73639     53 |  0.003 % |
366.22/366.55	c |    538286 |     180    15300   107100 |    74877    73895     53 |  0.003 % |
366.52/366.80	c |    538567 |     180    15300   107100 |    74877    74176     53 |  0.003 % |
366.82/367.10	c |    538879 |     180    15300   107100 |    74877    74488     53 |  0.003 % |
367.03/367.38	c |    539218 |     180    15300   107100 |    74877    74827     53 |  0.003 % |
367.42/367.75	c |    539591 |     180    15300   107100 |    74877    64616     53 |  0.003 % |
367.72/368.09	c |    540001 |     180    15300   107100 |    74877    65026     53 |  0.003 % |
368.13/368.44	c |    540453 |     180    15300   107100 |    65026    56362     53 |  0.003 % |
368.42/368.76	c |    540947 |     180    15300   107100 |    65026    56856     53 |  0.003 % |
368.82/369.10	c |    541489 |     180    15300   107100 |    65026    57398     53 |  0.003 % |
369.12/369.50	c |    542085 |     180    15300   107100 |    65026    57994     53 |  0.003 % |
369.62/369.92	c |    542742 |     180    15300   107100 |    65026    58651     53 |  0.003 % |
370.12/370.40	c |    543462 |     180    15300   107100 |    65026    59371     53 |  0.003 % |
370.62/370.93	c |    544255 |     180    15300   107100 |    65026    60164     53 |  0.003 % |
371.12/371.48	c |    545126 |     180    15300   107100 |    65026    61035     53 |  0.003 % |
371.72/372.06	c |    546085 |     180    15300   107100 |    65026    61994     53 |  0.003 % |
372.42/372.78	c |    547141 |     180    15300   107100 |    65026    63050     53 |  0.003 % |
373.32/373.63	c |    548299 |     180    15300   107100 |    65026    64208     53 |  0.003 % |
374.22/374.52	c |    549574 |     180    15300   107100 |    65026    58771     53 |  0.003 % |
375.12/375.41	c |    550975 |     180    15300   107100 |    59199    54217     53 |  0.003 % |
375.92/376.27	c |    552516 |     180    15300   107100 |    59199    55758     54 |  0.003 % |
376.92/377.28	c |    554211 |     180    15300   107100 |    59199    57453     54 |  0.003 % |
378.22/378.57	c |    556075 |     180    15300   107100 |    59199    53390     53 |  0.003 % |
379.42/379.76	c |    558124 |     180    15300   107100 |    59199    55439     54 |  0.003 % |
380.82/381.13	c |    560378 |     180    15300   107100 | 2147483647    57693     54 |  0.003 % |
382.32/382.66	c |    562857 |     180    15300   107100 | 2147483647    60172     54 |  0.003 % |
383.92/384.27	c |    565582 |     180    15300   107100 | 2147483647    62897     54 |  0.003 % |
386.02/386.38	c |    568579 |     180    15300   107100 | 2147483647    65894     54 |  0.003 % |
388.61/388.99	c |    571875 |     180    15300   107100 | 2147483647    69190     54 |  0.003 % |
391.32/391.67	c |    575501 |     180    15300   107100 | 2147483647    72816     54 |  0.003 % |
394.81/395.11	c |    579490 |     180    15300   107100 | 2147483647    76805     54 |  0.003 % |
397.92/398.26	c |    583875 |     180    15300   107100 |    77316    69861     54 |  0.003 % |
401.41/401.72	c |    588699 |     180    15300   107100 |    77316    74685     54 |  0.003 % |
405.01/405.35	c |    594004 |     180    15300   107100 |    75987    69715     54 |  0.003 % |
405.11/405.46	c |    594104 |     180    15300   107100 |    75987    69815     54 |  0.003 % |
405.21/405.56	c |    594214 |     180    15300   107100 |    75987    69925     54 |  0.003 % |
405.31/405.65	c |    594337 |     180    15300   107100 |    75987    70048     54 |  0.003 % |
405.41/405.76	c |    594470 |     180    15300   107100 |    75987    70181     54 |  0.003 % |
405.51/405.89	c |    594616 |     180    15300   107100 |    75987    70327     54 |  0.003 % |
405.71/406.03	c |    594776 |     180    15300   107100 |    75987    70487     54 |  0.003 % |
405.81/406.17	c |    594952 |     180    15300   107100 |    75987    70663     54 |  0.003 % |
406.01/406.32	c |    595145 |     180    15300   107100 |    75987    70856     54 |  0.003 % |
406.21/406.52	c |    595358 |     180    15300   107100 |    75987    71069     54 |  0.003 % |
406.31/406.69	c |    595591 |     180    15300   107100 |    75987    71302     54 |  0.003 % |
406.61/406.99	c |    595848 |     180    15300   107100 |    75987    71559     54 |  0.003 % |
406.91/407.26	c |    596130 |     180    15300   107100 |    75987    71841     54 |  0.003 % |
407.21/407.54	c |    596442 |     180    15300   107100 |    75987    72153     54 |  0.003 % |
407.51/407.81	c |    596782 |     180    15300   107100 |    75987    72493     54 |  0.003 % |
407.71/408.10	c |    597156 |     180    15300   107100 |    75987    72867     54 |  0.003 % |
408.11/408.41	c |    597565 |     180    15300   107100 |    75987    73276     54 |  0.003 % |
408.51/408.87	c |    598015 |     180    15300   107100 |    75987    73726     54 |  0.003 % |
409.01/409.30	c |    598508 |     180    15300   107100 |    75987    74219     54 |  0.003 % |
409.51/409.84	c |    599050 |     180    15300   107100 |    75987    74761     54 |  0.003 % |
410.01/410.38	c |    599648 |     180    15300   107100 |    75987    75359     54 |  0.003 % |
410.71/411.02	c |    600303 |     180    15300   107100 |    75711    64677     54 |  0.003 % |
411.21/411.57	c |    601023 |     180    15300   107100 |    75711    65397     54 |  0.003 % |
411.91/412.29	c |    601815 |     180    15300   107100 |    75711    66189     54 |  0.003 % |
412.71/413.07	c |    602687 |     180    15300   107100 |    75711    67061     54 |  0.003 % |
413.61/413.94	c |    603648 |     180    15300   107100 |    75711    68022     54 |  0.003 % |
414.41/414.79	c |    604701 |     180    15300   107100 |    75711    69075     54 |  0.003 % |
415.30/415.68	c |    605859 |     180    15300   107100 |    75711    70233     54 |  0.003 % |
416.20/416.55	c |    607133 |     180    15300   107100 |    75711    71507     54 |  0.003 % |
417.20/417.59	c |    608533 |     180    15300   107100 |    75711    72907     54 |  0.003 % |
418.81/419.10	c |    610075 |     180    15300   107100 |    74376    74449     54 |  0.003 % |
420.20/420.58	c |    611772 |     180    15300   107100 |    74376    64744     54 |  0.003 % |
421.50/421.82	c |    613636 |     180    15300   107100 |    74376    66608     54 |  0.003 % |
423.00/423.36	c |    615685 |     180    15300   107100 |    74376    68657     54 |  0.003 % |
424.60/424.96	c |    617939 |     180    15300   107100 |    74376    70911     54 |  0.003 % |
426.40/426.79	c |    620417 |     180    15300   107100 |    72973    63257     54 |  0.003 % |
428.21/428.56	c |    623143 |     180    15300   107100 |    72973    65983     54 |  0.003 % |
430.11/430.40	c |    626140 |     180    15300   107100 |    72973    68980     54 |  0.003 % |
432.20/432.53	c |    629439 |     180    15300   107100 |    72973    72279     54 |  0.003 % |
434.70/435.01	c |    633064 |     180    15300   107100 |    72840    67870     54 |  0.003 % |
438.00/438.32	c |    637052 |     180    15300   107100 |    72840    71858     54 |  0.003 % |
441.30/441.69	c |    641440 |     180    15300   107100 |    65075    57875     54 |  0.003 % |
444.60/444.97	c |    646265 |     180    15300   107100 |    65075    62700     54 |  0.003 % |
448.00/448.34	c |    651570 |     180    15300   107100 | 2147483647    61491     54 |  0.003 % |
452.00/452.32	c |    657405 |     180    15300   107100 | 2147483647    67326     54 |  0.003 % |
452.00/452.39	c |    657506 |     180    15300   107100 | 2147483647    67427     54 |  0.003 % |
452.10/452.48	c |    657617 |     180    15300   107100 | 2147483647    67538     54 |  0.003 % |
452.20/452.57	c |    657739 |     180    15300   107100 | 2147483647    67660     54 |  0.003 % |
452.30/452.67	c |    657872 |     180    15300   107100 | 2147483647    67793     54 |  0.003 % |
452.40/452.78	c |    658019 |     180    15300   107100 | 2147483647    67940     54 |  0.003 % |
452.60/452.93	c |    658180 |     180    15300   107100 | 2147483647    68101     54 |  0.003 % |
452.70/453.09	c |    658356 |     180    15300   107100 | 2147483647    68277     54 |  0.003 % |
452.90/453.25	c |    658550 |     180    15300   107100 | 2147483647    68471     54 |  0.003 % |
453.10/453.49	c |    658764 |     180    15300   107100 | 2147483647    68685     54 |  0.003 % |
453.40/453.72	c |    658997 |     180    15300   107100 | 2147483647    68918     54 |  0.003 % |
453.60/453.93	c |    659253 |     180    15300   107100 | 2147483647    69174     54 |  0.003 % |
453.80/454.17	c |    659534 |     180    15300   107100 | 2147483647    69455     54 |  0.003 % |
454.20/454.50	c |    659843 |     180    15300   107100 | 2147483647    69764     54 |  0.003 % |
454.50/454.84	c |    660184 |     180    15300   107100 |    69922    61725     54 |  0.003 % |
454.79/455.15	c |    660556 |     180    15300   107100 |    69922    62097     54 |  0.003 % |
455.19/455.50	c |    660965 |     180    15300   107100 |    69922    62506     54 |  0.003 % |
455.49/455.86	c |    661414 |     180    15300   107100 |    69922    62955     54 |  0.003 % |
455.89/456.20	c |    661907 |     180    15300   107100 |    69922    63448     54 |  0.003 % |
456.20/456.58	c |    662449 |     180    15300   107100 |    69922    63990     54 |  0.003 % |
456.59/456.95	c |    663045 |     180    15300   107100 |    69922    64586     54 |  0.003 % |
457.09/457.48	c |    663701 |     180    15300   107100 |    69922    65242     54 |  0.003 % |
457.59/457.95	c |    664423 |     180    15300   107100 |    69922    65964     54 |  0.003 % |
458.19/458.57	c |    665216 |     180    15300   107100 |    69922    66757     54 |  0.003 % |
458.89/459.21	c |    666089 |     180    15300   107100 |    69922    67630     54 |  0.003 % |
459.69/460.07	c |    667048 |     180    15300   107100 |    69922    68589     54 |  0.003 % |
460.50/460.88	c |    668101 |     180    15300   107100 |    69922    69642     54 |  0.003 % |
461.39/461.77	c |    669259 |     180    15300   107100 |    69922    61969     54 |  0.003 % |
462.19/462.59	c |    670532 |     180    15300   107100 |    62710    55661     54 |  0.003 % |
463.09/463.50	c |    671934 |     180    15300   107100 |    62710    57063     54 |  0.003 % |
464.19/464.54	c |    673475 |     180    15300   107100 |    62710    58604     54 |  0.003 % |
465.29/465.63	c |    675169 |     180    15300   107100 |    62710    60298     54 |  0.003 % |
466.49/466.83	c |    677032 |     180    15300   107100 |    62710    62161     54 |  0.003 % |
467.99/468.36	c |    679081 |     180    15300   107100 |    62710    57930     54 |  0.003 % |
469.49/469.83	c |    681334 |     180    15300   107100 | 2147483647    60183     54 |  0.003 % |
471.19/471.59	c |    683812 |     180    15300   107100 | 2147483647    62661     54 |  0.003 % |
473.19/473.57	c |    686538 |     180    15300   107100 | 2147483647    65387     54 |  0.003 % |
475.59/475.90	c |    689537 |     180    15300   107100 | 2147483647    68386     54 |  0.003 % |
477.98/478.39	c |    692837 |     180    15300   107100 |    68850    63595     54 |  0.003 % |
480.48/480.84	c |    696463 |     180    15300   107100 |    68850    67221     54 |  0.003 % |
483.08/483.43	c |    700452 |     180    15300   107100 |    62501    55807     54 |  0.003 % |
485.79/486.18	c |    704837 |     180    15300   107100 |    62501    60192     54 |  0.003 % |
488.98/489.36	c |    709660 |     180    15300   107100 |    62501    58758     54 |  0.003 % |
492.28/492.63	c |    714965 |     180    15300   107100 | 2147483647    64063     54 |  0.003 % |
496.38/496.77	c |    720800 |     180    15300   107100 | 2147483647    69898     54 |  0.003 % |
501.38/501.79	c |    727218 |     180    15300   107100 | 2147483647    76316     54 |  0.003 % |
501.47/501.88	c |    727318 |     180    15300   107100 | 2147483647    76416     54 |  0.003 % |
501.57/501.96	c |    727428 |     180    15300   107100 | 2147483647    76526     54 |  0.003 % |
501.67/502.08	c |    727550 |     180    15300   107100 | 2147483647    76648     54 |  0.003 % |
501.87/502.24	c |    727683 |     180    15300   107100 | 2147483647    76781     54 |  0.003 % |
501.97/502.37	c |    727830 |     180    15300   107100 | 2147483647    76928     54 |  0.003 % |
502.17/502.51	c |    727990 |     180    15300   107100 | 2147483647    77088     54 |  0.003 % |
502.28/502.69	c |    728166 |     180    15300   107100 | 2147483647    77264     54 |  0.003 % |
502.47/502.87	c |    728359 |     180    15300   107100 | 2147483647    77457     54 |  0.003 % |
502.67/503.07	c |    728572 |     180    15300   107100 | 2147483647    77670     54 |  0.003 % |
502.97/503.36	c |    728805 |     180    15300   107100 | 2147483647    77903     54 |  0.003 % |
503.17/503.59	c |    729061 |     180    15300   107100 | 2147483647    78159     54 |  0.003 % |
503.57/503.90	c |    729342 |     180    15300   107100 | 2147483647    78440     54 |  0.003 % |
503.77/504.19	c |    729653 |     180    15300   107100 | 2147483647    78751     54 |  0.003 % |
504.18/504.55	c |    729993 |     180    15300   107100 | 2147483647    79091     54 |  0.003 % |
504.59/504.94	c |    730369 |     180    15300   107100 |    79099    67627     54 |  0.003 % |
504.88/505.24	c |    730778 |     180    15300   107100 |    79099    68036     54 |  0.003 % |
505.18/505.59	c |    731227 |     180    15300   107100 |    79099    68485     54 |  0.003 % |
505.59/505.97	c |    731722 |     180    15300   107100 |    79099    68980     54 |  0.003 % |
505.98/506.38	c |    732265 |     180    15300   107100 |    79099    69523     54 |  0.003 % |
506.48/506.88	c |    732865 |     180    15300   107100 |    79099    70123     54 |  0.003 % |
506.98/507.34	c |    733520 |     180    15300   107100 |    79099    70778     54 |  0.003 % |
507.58/507.98	c |    734241 |     180    15300   107100 |    79099    71499     54 |  0.003 % |
508.28/508.63	c |    735033 |     180    15300   107100 |    79099    72291     54 |  0.003 % |
509.08/509.45	c |    735904 |     180    15300   107100 |    79099    73162     54 |  0.003 % |
509.98/510.33	c |    736862 |     180    15300   107100 |    79099    74120     54 |  0.003 % |
510.88/511.27	c |    737915 |     180    15300   107100 |    79099    75173     54 |  0.003 % |
511.78/512.20	c |    739073 |     180    15300   107100 |    79099    76331     54 |  0.003 % |
513.08/513.41	c |    740346 |     180    15300   107100 |    77258    64906     54 |  0.003 % |
514.08/514.44	c |    741747 |     180    15300   107100 |    77258    66307     54 |  0.003 % |
515.28/515.64	c |    743288 |     180    15300   107100 |    77258    67848     54 |  0.003 % |
516.48/516.87	c |    744982 |     180    15300   107100 |    77258    69542     54 |  0.003 % |
517.88/518.24	c |    746846 |     180    15300   107100 |    77258    71406     54 |  0.003 % |
519.38/519.73	c |    748897 |     180    15300   107100 |    77258    73457     54 |  0.003 % |
521.08/521.43	c |    751150 |     180    15300   107100 |    74560    65081     54 |  0.003 % |
522.77/523.16	c |    753628 |     180    15300   107100 |    74560    67559     54 |  0.003 % |
524.67/525.02	c |    756354 |     180    15300   107100 |    74560    70285     54 |  0.003 % |
526.67/527.02	c |    759351 |     180    15300   107100 |    74560    73282     54 |  0.003 % |
528.97/529.32	c |    762647 |     180    15300   107100 |    73933    67289     54 |  0.003 % |
531.47/531.90	c |    766272 |     180    15300   107100 |    73933    70914     54 |  0.003 % |
534.57/534.91	c |    770259 |     180    15300   107100 |    65603    57924     53 |  0.003 % |
537.27/537.66	c |    774645 |     180    15300   107100 |    65603    62310     53 |  0.003 % |
540.57/540.96	c |    779469 |     180    15300   107100 |    65603    60567     53 |  0.003 % |
543.97/544.36	c |    784777 |     180    15300   107100 | 2147483647    65875     53 |  0.003 % |
548.06/548.41	c |    790614 |     180    15300   107100 | 2147483647    71712     53 |  0.003 % |
552.97/553.34	c |    797034 |     180    15300   107100 | 2147483647    78132     53 |  0.003 % |
558.56/558.90	c |    804093 |     180    15300   107100 |    81098    73491     54 |  0.003 % |
558.56/558.98	c |    804193 |     180    15300   107100 |    81098    73591     54 |  0.003 % |
558.66/559.07	c |    804304 |     180    15300   107100 |    81098    73702     54 |  0.003 % |
558.76/559.18	c |    804426 |     180    15300   107100 |    81098    73824     54 |  0.003 % |
558.86/559.28	c |    804561 |     180    15300   107100 |    81098    73959     54 |  0.003 % |
559.06/559.41	c |    804707 |     180    15300   107100 |    81098    74105     54 |  0.003 % |
559.16/559.53	c |    804868 |     180    15300   107100 |    81098    74266     54 |  0.003 % |
559.26/559.67	c |    805045 |     180    15300   107100 |    81098    74443     54 |  0.003 % |
559.46/559.84	c |    805238 |     180    15300   107100 |    81098    74636     54 |  0.003 % |
559.66/560.02	c |    805450 |     180    15300   107100 |    81098    74848     54 |  0.003 % |
559.86/560.20	c |    805684 |     180    15300   107100 |    81098    75082     54 |  0.003 % |
560.06/560.44	c |    805941 |     180    15300   107100 |    81098    75339     54 |  0.003 % |
560.26/560.69	c |    806222 |     180    15300   107100 |    81098    75620     54 |  0.003 % |
560.56/560.98	c |    806531 |     180    15300   107100 |    81098    75929     54 |  0.003 % |
560.96/561.31	c |    806870 |     180    15300   107100 |    81098    76268     54 |  0.003 % |
561.26/561.64	c |    807242 |     180    15300   107100 |    81098    76640     54 |  0.003 % |
561.56/561.99	c |    807651 |     180    15300   107100 |    81098    77049     54 |  0.003 % |
561.96/562.36	c |    808100 |     180    15300   107100 |    81098    77498     54 |  0.003 % |
562.36/562.79	c |    808594 |     180    15300   107100 |    81098    77992     54 |  0.003 % |
562.96/563.33	c |    809138 |     180    15300   107100 |    81098    78536     54 |  0.003 % |
563.46/563.87	c |    809734 |     180    15300   107100 |    81098    79132     54 |  0.003 % |
564.16/564.51	c |    810389 |     180    15300   107100 |    79398    66606     54 |  0.003 % |
564.56/564.98	c |    811109 |     180    15300   107100 |    79398    67326     54 |  0.003 % |
565.06/565.49	c |    811901 |     180    15300   107100 |    79398    68118     54 |  0.003 % |
565.66/566.07	c |    812772 |     180    15300   107100 |    79398    68989     54 |  0.003 % |
566.26/566.69	c |    813731 |     180    15300   107100 |    79398    69948     54 |  0.003 % |
566.96/567.39	c |    814786 |     180    15300   107100 |    79398    71003     54 |  0.003 % |
567.76/568.16	c |    815944 |     180    15300   107100 |    79398    72161     54 |  0.003 % |
568.76/569.12	c |    817218 |     180    15300   107100 |    79398    73435     54 |  0.003 % |
569.76/570.15	c |    818618 |     180    15300   107100 |    79398    74835     54 |  0.003 % |
571.06/571.41	c |    820158 |     180    15300   107100 |    76218    65762     54 |  0.003 % |
572.16/572.57	c |    821853 |     180    15300   107100 |    76218    67457     54 |  0.003 % |
573.45/573.85	c |    823716 |     180    15300   107100 |    76218    69320     54 |  0.003 % |
574.96/575.30	c |    825769 |     180    15300   107100 |    76218    71373     54 |  0.003 % |
576.55/576.94	c |    828025 |     180    15300   107100 |    76218    73629     54 |  0.003 % |
578.75/579.10	c |    830504 |     180    15300   107100 |    75604    65774     54 |  0.003 % |
580.65/581.02	c |    833229 |     180    15300   107100 |    75604    68499     54 |  0.003 % |
582.85/583.22	c |    836226 |     180    15300   107100 |    75604    71496     54 |  0.003 % |
585.25/585.65	c |    839522 |     180    15300   107100 |    75604    74792     54 |  0.003 % |
587.75/588.11	c |    843147 |     180    15300   107100 |    75271    67857     54 |  0.003 % |
590.35/590.75	c |    847134 |     180    15300   107100 |    75271    71844     54 |  0.003 % |
593.35/593.78	c |    851519 |     180    15300   107100 |    74710    66712     54 |  0.003 % |
597.34/597.70	c |    856343 |     180    15300   107100 |    74710    71536     54 |  0.003 % |
601.25/601.69	c |    861648 |     180    15300   107100 |    64835    57604     54 |  0.003 % |
604.84/605.26	c |    867483 |     180    15300   107100 |    64835    63439     54 |  0.003 % |
609.04/609.41	c |    873902 |     180    15300   107100 | 2147483647    63367     54 |  0.003 % |
614.04/614.42	c |    880961 |     180    15300   107100 | 2147483647    70426     54 |  0.003 % |
619.63/620.00	c |    888725 |     180    15300   107100 | 2147483647    78190     54 |  0.003 % |
619.63/620.09	c |    888825 |     180    15300   107100 | 2147483647    78290     54 |  0.003 % |
619.73/620.18	c |    888936 |     180    15300   107100 | 2147483647    78401     54 |  0.003 % |
619.83/620.29	c |    889057 |     180    15300   107100 | 2147483647    78522     54 |  0.003 % |
620.04/620.44	c |    889190 |     180    15300   107100 | 2147483647    78655     54 |  0.003 % |
620.13/620.56	c |    889336 |     180    15300   107100 | 2147483647    78801     54 |  0.003 % |
620.33/620.70	c |    889496 |     180    15300   107100 | 2147483647    78961     54 |  0.003 % |
620.43/620.87	c |    889675 |     180    15300   107100 | 2147483647    79140     54 |  0.003 % |
620.63/621.05	c |    889869 |     180    15300   107100 | 2147483647    79334     54 |  0.003 % |
620.83/621.25	c |    890081 |     180    15300   107100 |    79465    79546     54 |  0.003 % |
621.14/621.58	c |    890315 |     180    15300   107100 |    79465    68626     54 |  0.003 % |
621.44/621.84	c |    890572 |     180    15300   107100 |    79465    68883     54 |  0.003 % |
621.64/622.09	c |    890853 |     180    15300   107100 |    79465    69164     54 |  0.003 % |
621.94/622.33	c |    891162 |     180    15300   107100 |    79465    69473     54 |  0.003 % |
622.25/622.63	c |    891501 |     180    15300   107100 |    79465    69812     54 |  0.003 % |
622.54/622.95	c |    891873 |     180    15300   107100 |    79465    70184     54 |  0.003 % |
622.84/623.24	c |    892282 |     180    15300   107100 |    79465    70593     54 |  0.003 % |
623.14/623.57	c |    892731 |     180    15300   107100 |    79465    71042     54 |  0.003 % |
623.54/623.94	c |    893225 |     180    15300   107100 |    79465    71536     54 |  0.003 % |
624.04/624.40	c |    893767 |     180    15300   107100 |    79465    72078     54 |  0.003 % |
624.45/624.88	c |    894363 |     180    15300   107100 |    79465    72674     54 |  0.003 % |
624.94/625.38	c |    895020 |     180    15300   107100 |    79465    73331     54 |  0.003 % |
625.54/625.98	c |    895743 |     180    15300   107100 |    79465    74054     54 |  0.003 % |
626.24/626.62	c |    896535 |     180    15300   107100 |    79465    74846     54 |  0.003 % |
627.04/627.45	c |    897406 |     180    15300   107100 |    79465    75717     54 |  0.003 % |
627.84/628.28	c |    898365 |     180    15300   107100 |    79465    76676     54 |  0.003 % |
628.64/629.09	c |    899418 |     180    15300   107100 |    79465    77729     54 |  0.003 % |
629.64/630.00	c |    900576 |     180    15300   107100 |    78312    65916     54 |  0.003 % |
630.54/630.98	c |    901850 |     180    15300   107100 |    78312    67190     54 |  0.003 % |
631.64/632.08	c |    903250 |     180    15300   107100 |    78312    68590     54 |  0.003 % |
632.84/633.23	c |    904790 |     180    15300   107100 |    78312    70130     54 |  0.003 % |
634.14/634.56	c |    906487 |     180    15300   107100 |    78312    71827     54 |  0.003 % |
635.64/636.08	c |    908352 |     180    15300   107100 |    78312    73692     54 |  0.003 % |
637.34/637.73	c |    910401 |     180    15300   107100 |    75341    64513     54 |  0.003 % |
638.74/639.18	c |    912654 |     180    15300   107100 |    75341    66766     54 |  0.003 % |
640.34/640.77	c |    915133 |     180    15300   107100 |    75341    69245     54 |  0.003 % |
642.24/642.60	c |    917858 |     180    15300   107100 |    75341    71970     54 |  0.003 % |
644.24/644.61	c |    920856 |     180    15300   107100 |    74112    66053     54 |  0.003 % |
646.34/646.79	c |    924152 |     180    15300   107100 |    74112    69349     54 |  0.003 % |
648.93/649.31	c |    927778 |     180    15300   107100 |    74112    72975     54 |  0.003 % |
651.53/651.96	c |    931766 |     180    15300   107100 |    66121    59971     54 |  0.003 % |
654.43/654.80	c |    936151 |     180    15300   107100 |    66121    64356     54 |  0.003 % |
657.53/657.91	c |    940974 |     180    15300   107100 | 2147483647    62557     54 |  0.003 % |
660.93/661.36	c |    946279 |     180    15300   107100 | 2147483647    67862     54 |  0.003 % |
664.92/665.35	c |    952115 |     180    15300   107100 |    71584    66370     54 |  0.003 % |
669.43/669.84	c |    958533 |     180    15300   107100 |    71584    65047     54 |  0.003 % |
673.72/674.15	c |    965593 |     180    15300   107100 |    66515    64697     54 |  0.003 % |
678.52/678.99	c |    973358 |     180    15300   107100 |    62124    58941     55 |  0.003 % |
683.72/684.20	c |    981898 |     180    15300   107100 | 2147483647    61261     55 |  0.003 % |
683.82/684.26	c |    981998 |     180    15300   107100 | 2147483647    61361     55 |  0.003 % |
683.92/684.35	c |    982110 |     180    15300   107100 | 2147483647    61473     55 |  0.003 % |
684.02/684.45	c |    982231 |     180    15300   107100 | 2147483647    61594     55 |  0.003 % |
684.12/684.55	c |    982367 |     180    15300   107100 | 2147483647    61730     55 |  0.003 % |
684.22/684.66	c |    982513 |     180    15300   107100 | 2147483647    61876     55 |  0.003 % |
684.42/684.81	c |    982673 |     180    15300   107100 | 2147483647    62036     55 |  0.003 % |
684.52/684.94	c |    982852 |     180    15300   107100 | 2147483647    62215     55 |  0.003 % |
684.72/685.10	c |    983045 |     180    15300   107100 | 2147483647    62408     55 |  0.003 % |
684.82/685.28	c |    983257 |     180    15300   107100 | 2147483647    62620     55 |  0.003 % |
685.02/685.45	c |    983492 |     180    15300   107100 | 2147483647    62855     55 |  0.003 % |
685.22/685.63	c |    983749 |     180    15300   107100 | 2147483647    63112     55 |  0.003 % |
685.42/685.82	c |    984030 |     180    15300   107100 | 2147483647    63393     55 |  0.003 % |
685.62/686.07	c |    984341 |     180    15300   107100 | 2147483647    63704     55 |  0.003 % |
685.92/686.31	c |    984681 |     180    15300   107100 | 2147483647    64044     55 |  0.003 % |
686.11/686.58	c |    985054 |     180    15300   107100 | 2147483647    64417     55 |  0.003 % |
686.41/686.89	c |    985465 |     180    15300   107100 | 2147483647    64828     55 |  0.003 % |
686.81/687.22	c |    985914 |     180    15300   107100 | 2147483647    65277     55 |  0.003 % |
687.12/687.58	c |    986407 |     180    15300   107100 | 2147483647    65770     55 |  0.003 % |
687.52/687.96	c |    986949 |     180    15300   107100 | 2147483647    66312     55 |  0.003 % |
688.02/688.40	c |    987545 |     180    15300   107100 | 2147483647    66908     55 |  0.003 % |
688.41/688.88	c |    988201 |     180    15300   107100 | 2147483647    67564     55 |  0.003 % |
689.01/689.41	c |    988922 |     180    15300   107100 | 2147483647    68285     55 |  0.003 % |
689.61/690.03	c |    989716 |     180    15300   107100 | 2147483647    69079     55 |  0.003 % |
690.21/690.67	c |    990588 |     180    15300   107100 |    69363    62193     55 |  0.003 % |
690.91/691.37	c |    991550 |     180    15300   107100 |    69363    63155     55 |  0.003 % |
691.71/692.11	c |    992605 |     180    15300   107100 |    69363    64210     55 |  0.003 % |
692.52/692.91	c |    993764 |     180    15300   107100 |    69363    65369     55 |  0.003 % |
693.31/693.78	c |    995037 |     180    15300   107100 |    69363    66642     55 |  0.003 % |
694.51/694.96	c |    996437 |     180    15300   107100 |    69363    68042     55 |  0.003 % |
695.82/696.27	c |    997978 |     180    15300   107100 |    69363    61252     55 |  0.003 % |
697.02/697.43	c |    999673 |     180    15300   107100 |    69363    62947     55 |  0.003 % |
698.21/698.63	c |   1001537 |     180    15300   107100 |    63274    57375     55 |  0.003 % |
699.61/700.04	c |   1003586 |     180    15300   107100 |    63274    59424     55 |  0.003 % |
701.11/701.57	c |   1005840 |     180    15300   107100 |    63274    61678     55 |  0.003 % |
702.81/703.21	c |   1008319 |     180    15300   107100 |    63274    57822     55 |  0.003 % |
704.41/704.89	c |   1011044 |     180    15300   107100 | 2147483647    60547     55 |  0.003 % |
706.62/707.07	c |   1014041 |     180    15300   107100 | 2147483647    63544     55 |  0.003 % |
709.02/709.49	c |   1017337 |     180    15300   107100 | 2147483647    66840     54 |  0.003 % |
711.61/712.00	c |   1020962 |     180    15300   107100 |    69503    63045     54 |  0.003 % |
714.01/714.50	c |   1024950 |     180    15300   107100 |    69503    67033     54 |  0.003 % |
716.91/717.38	c |   1029335 |     180    15300   107100 |    69503    64459     54 |  0.003 % |
719.91/720.40	c |   1034159 |     180    15300   107100 | 2147483647    69283     54 |  0.003 % |
723.71/724.16	c |   1039464 |     180    15300   107100 | 2147483647    74588     54 |  0.003 % |
727.81/728.23	c |   1045299 |     180    15300   107100 |    75124    72007     54 |  0.003 % |
732.60/733.08	c |   1051717 |     180    15300   107100 |    67326    60668     54 |  0.003 % |
737.61/738.08	c |   1058777 |     180    15300   107100 |    67326    60399     54 |  0.003 % |
742.40/742.89	c |   1066541 |     180    15300   107100 |    61624    61608     55 |  0.003 % |
747.50/747.97	c |   1075081 |     180    15300   107100 | 2147483647    63977     55 |  0.003 % |
753.60/754.08	c |   1084475 |     180    15300   107100 |    68896    65941     55 |  0.003 % |
753.70/754.16	c |   1084575 |     180    15300   107100 |    68896    66041     55 |  0.003 % |
753.80/754.24	c |   1084685 |     180    15300   107100 |    68896    66151     55 |  0.003 % |
753.90/754.34	c |   1084806 |     180    15300   107100 |    68896    66272     55 |  0.003 % |
754.00/754.45	c |   1084939 |     180    15300   107100 |    68896    66405     55 |  0.003 % |
754.10/754.56	c |   1085085 |     180    15300   107100 |    68896    66551     55 |  0.003 % |
754.30/754.71	c |   1085245 |     180    15300   107100 |    68896    66711     55 |  0.003 % |
754.40/754.85	c |   1085422 |     180    15300   107100 |    68896    66888     55 |  0.003 % |
754.60/755.01	c |   1085616 |     180    15300   107100 |    68896    67082     55 |  0.003 % |
754.70/755.17	c |   1085829 |     180    15300   107100 |    68896    67295     55 |  0.003 % |
754.90/755.33	c |   1086062 |     180    15300   107100 |    68896    67528     55 |  0.003 % |
755.10/755.55	c |   1086318 |     180    15300   107100 |    68896    67784     55 |  0.003 % |
755.30/755.79	c |   1086599 |     180    15300   107100 |    68896    68065     55 |  0.003 % |
755.59/756.05	c |   1086910 |     180    15300   107100 |    68896    68376     55 |  0.003 % |
755.89/756.33	c |   1087249 |     180    15300   107100 |    68896    68715     55 |  0.003 % |
756.19/756.70	c |   1087622 |     180    15300   107100 |    68896    60755     55 |  0.003 % |
756.49/756.96	c |   1088032 |     180    15300   107100 |    68896    61165     55 |  0.003 % |
756.89/757.30	c |   1088483 |     180    15300   107100 |    68896    61616     55 |  0.003 % |
757.19/757.62	c |   1088976 |     180    15300   107100 |    68896    62109     55 |  0.003 % |
757.50/757.97	c |   1089518 |     180    15300   107100 |    68896    62651     55 |  0.003 % |
757.99/758.43	c |   1090114 |     180    15300   107100 |    63134    55894     55 |  0.003 % |
758.39/758.86	c |   1090771 |     180    15300   107100 |    63134    56551     55 |  0.003 % |
758.89/759.34	c |   1091491 |     180    15300   107100 |    63134    57271     55 |  0.003 % |
759.39/759.80	c |   1092283 |     180    15300   107100 |    63134    58063     55 |  0.003 % |
759.89/760.31	c |   1093158 |     180    15300   107100 |    63134    58938     55 |  0.003 % |
760.39/760.87	c |   1094118 |     180    15300   107100 |    63134    59898     55 |  0.003 % |
761.09/761.54	c |   1095171 |     180    15300   107100 |    63134    60951     55 |  0.003 % |
761.89/762.31	c |   1096329 |     180    15300   107100 |    63134    62109     55 |  0.003 % |
762.79/763.25	c |   1097603 |     180    15300   107100 |    63134    57062     55 |  0.003 % |
763.69/764.16	c |   1099003 |     180    15300   107100 |    63134    58462     55 |  0.003 % |
764.78/765.24	c |   1100543 |     180    15300   107100 | 2147483647    60002     55 |  0.003 % |
765.88/766.33	c |   1102238 |     180    15300   107100 | 2147483647    61697     55 |  0.003 % |
767.08/767.55	c |   1104103 |     180    15300   107100 | 2147483647    63562     55 |  0.003 % |
768.38/768.85	c |   1106152 |     180    15300   107100 | 2147483647    65611     55 |  0.003 % |
769.78/770.23	c |   1108405 |     180    15300   107100 | 2147483647    67864     55 |  0.003 % |
771.48/771.91	c |   1110883 |     180    15300   107100 | 2147483647    70342     54 |  0.003 % |
773.38/773.88	c |   1113610 |     180    15300   107100 | 2147483647    73069     54 |  0.003 % |
775.68/776.12	c |   1116607 |     180    15300   107100 | 2147483647    76066     54 |  0.003 % |
778.17/778.60	c |   1119905 |     180    15300   107100 | 2147483647    79364     54 |  0.003 % |
780.77/781.30	c |   1123533 |     180    15300   107100 |    79461    72177     54 |  0.003 % |
783.88/784.37	c |   1127521 |     180    15300   107100 |    79461    76165     54 |  0.003 % |
787.37/787.83	c |   1131906 |     180    15300   107100 |    78645    68549     54 |  0.003 % |
790.87/791.31	c |   1136729 |     180    15300   107100 |    78645    73372     54 |  0.003 % |
794.97/795.41	c |   1142035 |     180    15300   107100 |    76644    67362     54 |  0.003 % |
799.97/800.44	c |   1147870 |     180    15300   107100 |    76644    73197     54 |  0.003 % |
805.27/805.73	c |   1154289 |     180    15300   107100 |    75327    68169     54 |  0.003 % |
810.46/810.93	c |   1161348 |     180    15300   107100 |    73881    65086     54 |  0.003 % |
815.77/816.29	c |   1169112 |     180    15300   107100 |    73881    72850     54 |  0.003 % |
822.06/822.52	c |   1177654 |     180    15300   107100 |    73738    72282     54 |  0.003 % |
828.07/828.56	c |   1187048 |     180    15300   107100 |    65726    65093     54 |  0.003 % |
834.77/835.25	c |   1197385 |     180    15300   107100 | 2147483647    68849     54 |  0.003 % |
834.87/835.32	c |   1197485 |     180    15300   107100 | 2147483647    68949     54 |  0.003 % |
834.97/835.41	c |   1197595 |     180    15300   107100 | 2147483647    69059     54 |  0.003 % |
835.07/835.53	c |   1197717 |     180    15300   107100 | 2147483647    69181     54 |  0.003 % |
835.17/835.65	c |   1197851 |     180    15300   107100 | 2147483647    69315     54 |  0.003 % |
835.27/835.77	c |   1197999 |     180    15300   107100 | 2147483647    69463     54 |  0.003 % |
835.47/835.90	c |   1198159 |     180    15300   107100 | 2147483647    69623     54 |  0.003 % |
835.57/836.06	c |   1198335 |     180    15300   107100 | 2147483647    69799     54 |  0.003 % |
835.76/836.24	c |   1198528 |     180    15300   107100 | 2147483647    69992     54 |  0.003 % |
835.96/836.48	c |   1198745 |     180    15300   107100 | 2147483647    70209     54 |  0.003 % |
836.16/836.68	c |   1198981 |     180    15300   107100 | 2147483647    70445     54 |  0.003 % |
836.46/836.92	c |   1199237 |     180    15300   107100 | 2147483647    70701     54 |  0.003 % |
836.67/837.15	c |   1199518 |     180    15300   107100 | 2147483647    70982     54 |  0.003 % |
836.96/837.45	c |   1199827 |     180    15300   107100 | 2147483647    71291     54 |  0.003 % |
837.36/837.81	c |   1200166 |     180    15300   107100 |    71465    63473     54 |  0.003 % |
837.56/838.09	c |   1200538 |     180    15300   107100 |    71465    63845     54 |  0.003 % |
837.96/838.43	c |   1200949 |     180    15300   107100 |    71465    64256     54 |  0.003 % |
838.36/838.82	c |   1201398 |     180    15300   107100 |    71465    64705     54 |  0.003 % |
838.66/839.17	c |   1201891 |     180    15300   107100 |    71465    65198     54 |  0.003 % |
839.06/839.59	c |   1202433 |     180    15300   107100 |    71465    65740     54 |  0.003 % |
839.56/840.04	c |   1203029 |     180    15300   107100 |    71465    66336     54 |  0.003 % |
840.16/840.61	c |   1203684 |     180    15300   107100 |    71465    66991     54 |  0.003 % |
840.76/841.22	c |   1204404 |     180    15300   107100 |    71465    67711     54 |  0.003 % |
841.36/841.83	c |   1205197 |     180    15300   107100 |    71465    68504     54 |  0.003 % |
842.07/842.52	c |   1206068 |     180    15300   107100 |    71465    69375     54 |  0.003 % |
842.86/843.35	c |   1207026 |     180    15300   107100 |    71465    70333     54 |  0.003 % |
843.76/844.22	c |   1208079 |     180    15300   107100 |    71465    71386     54 |  0.003 % |
844.76/845.22	c |   1209239 |     180    15300   107100 |    71465    62717     54 |  0.003 % |
845.66/846.11	c |   1210512 |     180    15300   107100 |    63479    55505     54 |  0.003 % |
846.46/847.00	c |   1211912 |     180    15300   107100 |    63479    56905     54 |  0.003 % |
847.56/848.02	c |   1213453 |     180    15300   107100 |    63479    58446     54 |  0.003 % |
848.56/849.06	c |   1215148 |     180    15300   107100 |    63479    60141     54 |  0.003 % |
849.66/850.18	c |   1217011 |     180    15300   107100 |    63479    62004     54 |  0.003 % |
851.16/851.67	c |   1219060 |     180    15300   107100 |    63479    57697     54 |  0.003 % |
852.66/853.13	c |   1221313 |     180    15300   107100 | 2147483647    59950     54 |  0.003 % |
854.26/854.72	c |   1223791 |     180    15300   107100 | 2147483647    62428     54 |  0.003 % |
856.06/856.54	c |   1226517 |     180    15300   107100 | 2147483647    65154     54 |  0.003 % |
858.16/858.69	c |   1229514 |     180    15300   107100 | 2147483647    68151     54 |  0.003 % |
860.56/861.06	c |   1232813 |     180    15300   107100 | 2147483647    71450     54 |  0.003 % |
863.15/863.65	c |   1236439 |     180    15300   107100 | 2147483647    75076     54 |  0.003 % |
866.05/866.58	c |   1240426 |     180    15300   107100 |    78639    68659     54 |  0.003 % |
869.35/869.82	c |   1244812 |     180    15300   107100 |    78639    73045     54 |  0.003 % |
872.96/873.46	c |   1249635 |     180    15300   107100 |    78639    77868     54 |  0.003 % |
876.55/877.07	c |   1254941 |     180    15300   107100 |    78233    71970     54 |  0.003 % |
880.75/881.21	c |   1260777 |     180    15300   107100 |    77030    67887     54 |  0.003 % |
885.24/885.71	c |   1267197 |     180    15300   107100 |    77030    74307     54 |  0.003 % |
890.64/891.13	c |   1274257 |     180    15300   107100 |    77110    70518     54 |  0.003 % |
896.94/897.48	c |   1282023 |     180    15300   107100 |    76263    67441     54 |  0.003 % |
903.34/903.80	c |   1290563 |     180    15300   107100 |    75419    64348     54 |  0.003 % |
909.34/909.89	c |   1299957 |     180    15300   107100 |    75419    73742     54 |  0.003 % |
916.53/917.04	c |   1310292 |     180    15300   107100 |    64745    56956     55 |  0.003 % |
923.23/923.80	c |   1321658 |     180    15300   107100 | 2147483647    61840     55 |  0.003 % |
923.33/923.86	c |   1321758 |     180    15300   107100 | 2147483647    61940     55 |  0.003 % |
923.44/923.93	c |   1321868 |     180    15300   107100 | 2147483647    62050     55 |  0.003 % |
923.44/924.00	c |   1321989 |     180    15300   107100 | 2147483647    62171     55 |  0.003 % |
923.54/924.08	c |   1322122 |     180    15300   107100 | 2147483647    62304     55 |  0.003 % |
923.63/924.17	c |   1322268 |     180    15300   107100 | 2147483647    62450     55 |  0.003 % |
923.73/924.27	c |   1322429 |     180    15300   107100 | 2147483647    62611     55 |  0.003 % |
923.93/924.40	c |   1322605 |     180    15300   107100 | 2147483647    62787     55 |  0.003 % |
924.03/924.53	c |   1322801 |     180    15300   107100 | 2147483647    62983     55 |  0.003 % |
924.13/924.66	c |   1323015 |     180    15300   107100 | 2147483647    63197     55 |  0.003 % |
924.33/924.87	c |   1323248 |     180    15300   107100 | 2147483647    63430     55 |  0.003 % |
924.53/925.08	c |   1323505 |     180    15300   107100 | 2147483647    63687     55 |  0.003 % |
924.83/925.35	c |   1323791 |     180    15300   107100 | 2147483647    63973     55 |  0.003 % |
925.13/925.61	c |   1324100 |     180    15300   107100 | 2147483647    64282     55 |  0.003 % |
925.33/925.89	c |   1324439 |     180    15300   107100 | 2147483647    64621     55 |  0.003 % |
925.73/926.22	c |   1324813 |     180    15300   107100 | 2147483647    64995     55 |  0.003 % |
926.03/926.53	c |   1325223 |     180    15300   107100 | 2147483647    65405     55 |  0.003 % |
926.33/926.88	c |   1325672 |     180    15300   107100 | 2147483647    65854     55 |  0.003 % |
926.73/927.27	c |   1326165 |     180    15300   107100 | 2147483647    66347     55 |  0.003 % |
927.13/927.69	c |   1326708 |     180    15300   107100 | 2147483647    66890     55 |  0.003 % |
927.63/928.14	c |   1327305 |     180    15300   107100 | 2147483647    67487     55 |  0.003 % |
928.13/928.64	c |   1327960 |     180    15300   107100 | 2147483647    68142     55 |  0.003 % |
928.63/929.17	c |   1328682 |     180    15300   107100 | 2147483647    68864     55 |  0.003 % |
929.23/929.75	c |   1329474 |     180    15300   107100 | 2147483647    69656     55 |  0.003 % |
929.93/930.46	c |   1330346 |     180    15300   107100 |    70182    62477     55 |  0.003 % |
930.62/931.11	c |   1331306 |     180    15300   107100 |    70182    63437     55 |  0.003 % |
931.33/931.82	c |   1332359 |     180    15300   107100 |    70182    64490     55 |  0.003 % |
932.12/932.60	c |   1333518 |     180    15300   107100 |    70182    65649     55 |  0.003 % |
933.12/933.63	c |   1334792 |     180    15300   107100 |    70182    66923     55 |  0.003 % |
934.12/934.65	c |   1336192 |     180    15300   107100 |    70182    68323     55 |  0.003 % |
935.32/935.87	c |   1337732 |     180    15300   107100 |    70182    69863     55 |  0.003 % |
936.52/937.08	c |   1339427 |     180    15300   107100 |    70182    62768     55 |  0.003 % |
937.83/938.35	c |   1341292 |     180    15300   107100 |    63342    57147     55 |  0.003 % |
939.32/939.80	c |   1343341 |     180    15300   107100 |    63342    59196     55 |  0.003 % |
940.72/941.26	c |   1345594 |     180    15300   107100 |    63342    61449     55 |  0.003 % |
942.72/943.26	c |   1348072 |     180    15300   107100 |    63342    57585     54 |  0.003 % |
944.92/945.42	c |   1350798 |     180    15300   107100 |    59513    54090     54 |  0.003 % |
946.62/947.15	c |   1353795 |     180    15300   107100 |    59513    57087     54 |  0.003 % |
948.72/949.30	c |   1357091 |     180    15300   107100 |    59513    54424     54 |  0.003 % |
951.02/951.54	c |   1360716 |     180    15300   107100 | 2147483647    58049     54 |  0.003 % |
953.51/954.07	c |   1364703 |     180    15300   107100 | 2147483647    62036     54 |  0.003 % |
956.42/956.98	c |   1369088 |     180    15300   107100 | 2147483647    66421     54 |  0.003 % |
960.21/960.76	c |   1373913 |     180    15300   107100 | 2147483647    71246     55 |  0.003 % |
964.31/964.81	c |   1379218 |     180    15300   107100 | 2147483647    76551     55 |  0.003 % |
968.81/969.36	c |   1385054 |     180    15300   107100 |    77334    71134     54 |  0.003 % |
974.01/974.53	c |   1391472 |     180    15300   107100 |    76082    65529     55 |  0.003 % |
979.51/980.04	c |   1398533 |     180    15300   107100 |    76082    72590     55 |  0.003 % |
985.70/986.24	c |   1406297 |     180    15300   107100 |    74057    69407     55 |  0.003 % |
992.10/992.62	c |   1414839 |     180    15300   107100 |    73110    67618     55 |  0.003 % |
998.80/999.32	c |   1424234 |     180    15300   107100 |    72779    67336     55 |  0.003 % |
1005.80/1006.35	c |   1434567 |     180    15300   107100 |    64266    61043     55 |  0.003 % |
1012.89/1013.41	c |   1445934 |     180    15300   107100 | 2147483647    65975     55 |  0.003 % |
1021.09/1021.66	c |   1458437 |     180    15300   107100 |    70042    63325     55 |  0.003 % |
1021.19/1021.75	c |   1458537 |     180    15300   107100 |    70042    63425     55 |  0.003 % |
1021.29/1021.85	c |   1458649 |     180    15300   107100 |    70042    63537     55 |  0.003 % |
1021.39/1021.94	c |   1458771 |     180    15300   107100 |    70042    63659     55 |  0.003 % |
1021.49/1022.04	c |   1458904 |     180    15300   107100 |    70042    63792     55 |  0.003 % |
1021.59/1022.16	c |   1459051 |     180    15300   107100 |    70042    63939     55 |  0.003 % |
1021.79/1022.32	c |   1459214 |     180    15300   107100 |    70042    64102     55 |  0.003 % |
1021.89/1022.45	c |   1459393 |     180    15300   107100 |    70042    64281     55 |  0.003 % |
1022.09/1022.61	c |   1459586 |     180    15300   107100 |    70042    64474     55 |  0.003 % |
1022.19/1022.78	c |   1459798 |     180    15300   107100 |    70042    64686     55 |  0.003 % |
1022.39/1022.96	c |   1460032 |     180    15300   107100 |    64888    64920     55 |  0.003 % |
1022.69/1023.22	c |   1460288 |     180    15300   107100 |    64888    57816     55 |  0.003 % |
1022.89/1023.41	c |   1460571 |     180    15300   107100 |    64888    58099     55 |  0.003 % |
1023.09/1023.62	c |   1460881 |     180    15300   107100 |    64888    58409     55 |  0.003 % |
1023.29/1023.86	c |   1461221 |     180    15300   107100 |    64888    58749     55 |  0.003 % |
1023.59/1024.13	c |   1461593 |     180    15300   107100 |    64888    59121     55 |  0.003 % |
1023.88/1024.43	c |   1462002 |     180    15300   107100 |    64888    59530     55 |  0.003 % |
1024.28/1024.85	c |   1462452 |     180    15300   107100 |    64888    59980     55 |  0.003 % |
1024.69/1025.24	c |   1462946 |     180    15300   107100 |    64888    60474     55 |  0.003 % |
1025.08/1025.60	c |   1463488 |     180    15300   107100 |    64888    61016     55 |  0.003 % |
1025.38/1025.99	c |   1464085 |     180    15300   107100 |    64888    61613     55 |  0.003 % |
1025.98/1026.52	c |   1464740 |     180    15300   107100 |    64888    62268     55 |  0.003 % |
1026.48/1027.01	c |   1465461 |     180    15300   107100 |    64888    62989     55 |  0.003 % |
1026.98/1027.57	c |   1466254 |     180    15300   107100 |    64888    63782     55 |  0.003 % |
1027.58/1028.18	c |   1467126 |     180    15300   107100 |    64888    64654     55 |  0.003 % |
1028.38/1028.94	c |   1468084 |     180    15300   107100 |    64888    58378     55 |  0.003 % |
1029.18/1029.73	c |   1469138 |     180    15300   107100 |    64888    59432     55 |  0.003 % |
1030.09/1030.63	c |   1470299 |     180    15300   107100 |    60295    53917     55 |  0.003 % |
1030.78/1031.36	c |   1471574 |     180    15300   107100 |    60295    55192     55 |  0.003 % |
1031.68/1032.23	c |   1472974 |     180    15300   107100 |    60295    56592     55 |  0.003 % |
1032.68/1033.20	c |   1474514 |     180    15300   107100 |    60295    58132     55 |  0.003 % |
1033.88/1034.48	c |   1476209 |     180    15300   107100 |    60295    59827     55 |  0.003 % |
1035.18/1035.77	c |   1478072 |     180    15300   107100 |    60295    55652     55 |  0.003 % |
1036.58/1037.17	c |   1480121 |     180    15300   107100 | 2147483647    57701     55 |  0.003 % |
1038.08/1038.67	c |   1482374 |     180    15300   107100 | 2147483647    59954     55 |  0.003 % |
1039.68/1040.23	c |   1484852 |     180    15300   107100 | 2147483647    62432     55 |  0.003 % |
1041.38/1041.94	c |   1487577 |     180    15300   107100 | 2147483647    65157     55 |  0.003 % |
1043.68/1044.23	c |   1490574 |     180    15300   107100 | 2147483647    68154     55 |  0.003 % |
1046.08/1046.62	c |   1493870 |     180    15300   107100 | 2147483647    71450     55 |  0.003 % |
1048.88/1049.45	c |   1497496 |     180    15300   107100 | 2147483647    75076     55 |  0.003 % |
1051.97/1052.53	c |   1501483 |     180    15300   107100 |    77580    67878     54 |  0.003 % |
1055.07/1055.69	c |   1505868 |     180    15300   107100 |    77580    72263     54 |  0.003 % |
1058.68/1059.30	c |   1510691 |     180    15300   107100 |    76395    66513     54 |  0.003 % |
1062.57/1063.13	c |   1515997 |     180    15300   107100 |    76395    71819     54 |  0.003 % |
1066.97/1067.59	c |   1521832 |     180    15300   107100 |    75824    67075     54 |  0.003 % |
1071.57/1072.19	c |   1528250 |     180    15300   107100 |    75824    73493     54 |  0.003 % |
1076.87/1077.43	c |   1535310 |     180    15300   107100 |    75244    70548     54 |  0.003 % |
1082.27/1082.80	c |   1543075 |     180    15300   107100 |    75241    69046     54 |  0.003 % |
1088.37/1088.97	c |   1551618 |     180    15300   107100 |    66009    58951     54 |  0.003 % |
1094.47/1095.03	c |   1561013 |     180    15300   107100 | 2147483647    61738     54 |  0.003 % |
1100.76/1101.32	c |   1571346 |     180    15300   107100 | 2147483647    72071     55 |  0.003 % |
1109.16/1109.76	c |   1582712 |     180    15300   107100 |    80725    71720     55 |  0.003 % |
1118.76/1119.32	c |   1595214 |     180    15300   107100 |    79010    72080     55 |  0.003 % |
1128.45/1129.01	c |   1608968 |     180    15300   107100 |    76866    74630     55 |  0.003 % |
1128.45/1129.09	c |   1609069 |     180    15300   107100 |    76866    74731     55 |  0.003 % |
1128.65/1129.22	c |   1609181 |     180    15300   107100 |    76866    74843     55 |  0.003 % |
1128.75/1129.38	c |   1609303 |     180    15300   107100 |    76866    74965     55 |  0.003 % |
1128.95/1129.52	c |   1609436 |     180    15300   107100 |    76866    75098     55 |  0.003 % |
1129.05/1129.64	c |   1609583 |     180    15300   107100 |    76866    75245     55 |  0.003 % |
1129.15/1129.80	c |   1609746 |     180    15300   107100 |    76866    75408     55 |  0.003 % |
1129.35/1129.94	c |   1609922 |     180    15300   107100 |    76866    75584     55 |  0.003 % |
1129.55/1130.19	c |   1610115 |     180    15300   107100 |    75662    65101     55 |  0.003 % |
1129.75/1130.36	c |   1610327 |     180    15300   107100 |    75662    65313     55 |  0.003 % |
1129.95/1130.54	c |   1610563 |     180    15300   107100 |    75662    65549     55 |  0.003 % |
1130.15/1130.79	c |   1610820 |     180    15300   107100 |    75662    65806     55 |  0.003 % |
1130.45/1131.04	c |   1611102 |     180    15300   107100 |    75662    66088     55 |  0.003 % |
1130.65/1131.26	c |   1611413 |     180    15300   107100 |    75662    66399     55 |  0.003 % |
1130.85/1131.49	c |   1611754 |     180    15300   107100 |    75662    66740     55 |  0.003 % |
1131.15/1131.73	c |   1612127 |     180    15300   107100 |    75662    67113     55 |  0.003 % |
1131.45/1132.01	c |   1612537 |     180    15300   107100 |    75662    67523     55 |  0.003 % |
1131.85/1132.40	c |   1612986 |     180    15300   107100 |    75662    67972     55 |  0.003 % |
1132.15/1132.76	c |   1613479 |     180    15300   107100 |    75662    68465     55 |  0.003 % |
1132.55/1133.17	c |   1614023 |     180    15300   107100 |    75662    69009     55 |  0.003 % |
1133.05/1133.69	c |   1614619 |     180    15300   107100 |    75662    69605     55 |  0.003 % |
1133.65/1134.22	c |   1615275 |     180    15300   107100 |    75662    70261     55 |  0.003 % |
1134.15/1134.78	c |   1615995 |     180    15300   107100 |    75662    70981     55 |  0.003 % |
1134.75/1135.30	c |   1616787 |     180    15300   107100 |    75662    71773     55 |  0.003 % |
1135.45/1136.01	c |   1617658 |     180    15300   107100 |    75662    72644     55 |  0.003 % |
1136.25/1136.81	c |   1618616 |     180    15300   107100 |    75662    73602     55 |  0.003 % |
1137.05/1137.62	c |   1619669 |     180    15300   107100 |    75662    74655     55 |  0.003 % |
1137.95/1138.59	c |   1620827 |     180    15300   107100 |    74987    65100     54 |  0.003 % |
1138.85/1139.47	c |   1622101 |     180    15300   107100 |    74987    66374     54 |  0.003 % |
1139.85/1140.44	c |   1623501 |     180    15300   107100 |    74987    67774     54 |  0.003 % |
1141.25/1141.86	c |   1625041 |     180    15300   107100 |    74987    69314     54 |  0.003 % |
1142.64/1143.28	c |   1626736 |     180    15300   107100 |    74987    71009     54 |  0.003 % |
1144.14/1144.74	c |   1628599 |     180    15300   107100 |    74987    72872     54 |  0.003 % |
1145.84/1146.48	c |   1630649 |     180    15300   107100 |    74273    63388     54 |  0.003 % |
1147.34/1147.94	c |   1632902 |     180    15300   107100 |    74273    65641     54 |  0.003 % |
1149.14/1149.70	c |   1635380 |     180    15300   107100 |    74273    68119     54 |  0.003 % |
1150.94/1151.51	c |   1638106 |     180    15300   107100 |    74273    70845     54 |  0.003 % |
1153.04/1153.63	c |   1641104 |     180    15300   107100 |    72739    64506     54 |  0.003 % |
1155.24/1155.87	c |   1644400 |     180    15300   107100 |    72739    67802     54 |  0.003 % |
1157.74/1158.38	c |   1648028 |     180    15300   107100 |    72739    71430     54 |  0.003 % |
1160.54/1161.19	c |   1652016 |     180    15300   107100 |    64201    58096     54 |  0.003 % |
1163.43/1164.07	c |   1656401 |     180    15300   107100 |    64201    62481     54 |  0.003 % |
1166.63/1167.22	c |   1661225 |     180    15300   107100 | 2147483647    60877     54 |  0.003 % |
1170.33/1170.91	c |   1666531 |     180    15300   107100 | 2147483647    66183     54 |  0.003 % |
1174.73/1175.38	c |   1672366 |     180    15300   107100 |    69652    64847     54 |  0.003 % |
1179.43/1180.08	c |   1678785 |     180    15300   107100 |    69652    63192     54 |  0.003 % |
1184.13/1184.78	c |   1685844 |     180    15300   107100 |    64408    62975     54 |  0.003 % |
1189.32/1189.96	c |   1693608 |     180    15300   107100 | 2147483647    64290     54 |  0.003 % |
1195.32/1195.94	c |   1702149 |     180    15300   107100 |    70683    65561     55 |  0.003 % |
1200.02/1200.61	HOME/SatELiteGTI: line 36:  3779 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-1832585-1242784849/watcher-1832585-1242784849 -o /tmp/evaluation-result-1832585-1242784849/solver-1832585-1242784849 -C 1200 -W 1800 -M 1800 SatELiteGTI HOME/instance-1832585-1242784849.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.92 0.98 0.98 3/64 3773
/proc/meminfo: memFree=1912312/2055920 swapFree=4180388/4192956
[pid=3773] ppid=3771 vsize=5356 CPUtime=0
/proc/3773/stat : 3773 (SatELiteGTI) S 3771 3773 3690 0 -1 4194304 310 249 0 0 0 0 0 0 19 0 1 0 306518170 5484544 237 1992294400 4194304 4889804 548682068832 18446744073709551615 227848807236 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/3773/statm: 1339 237 197 169 0 50 0

[startup+0.0571649 s]
/proc/loadavg: 0.92 0.98 0.98 3/64 3773
/proc/meminfo: memFree=1912312/2055920 swapFree=4180388/4192956
[pid=3773] ppid=3771 vsize=5356 CPUtime=0
/proc/3773/stat : 3773 (SatELiteGTI) S 3771 3773 3690 0 -1 4194304 310 249 0 0 0 0 0 0 19 0 1 0 306518170 5484544 237 1992294400 4194304 4889804 548682068832 18446744073709551615 227848807236 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/3773/statm: 1339 237 197 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356

[startup+0.101176 s]
/proc/loadavg: 0.92 0.98 0.98 3/64 3773
/proc/meminfo: memFree=1912312/2055920 swapFree=4180388/4192956
[pid=3773] ppid=3771 vsize=5356 CPUtime=0.05
/proc/3773/stat : 3773 (SatELiteGTI) S 3771 3773 3690 0 -1 4194304 336 707 0 0 0 0 5 0 16 0 1 0 306518170 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 227848807236 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/3773/statm: 1339 239 197 169 0 50 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 5356

[startup+0.301211 s]
/proc/loadavg: 0.92 0.98 0.98 3/64 3773
/proc/meminfo: memFree=1912312/2055920 swapFree=4180388/4192956
[pid=3773] ppid=3771 vsize=5356 CPUtime=0.05
/proc/3773/stat : 3773 (SatELiteGTI) S 3771 3773 3690 0 -1 4194304 336 707 0 0 0 0 5 0 16 0 1 0 306518170 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 227848807236 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/3773/statm: 1339 239 197 169 0 50 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 5356

[startup+0.701283 s]
/proc/loadavg: 0.92 0.98 0.98 3/64 3773
/proc/meminfo: memFree=1912312/2055920 swapFree=4180388/4192956
[pid=3773] ppid=3771 vsize=5356 CPUtime=0.05
/proc/3773/stat : 3773 (SatELiteGTI) S 3771 3773 3690 0 -1 4194304 336 707 0 0 0 0 5 0 16 0 1 0 306518170 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 227848807236 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/3773/statm: 1339 239 197 169 0 50 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 5356

[startup+1.50142 s]
/proc/loadavg: 0.92 0.98 0.98 2/66 3779
/proc/meminfo: memFree=1908712/2055920 swapFree=4180388/4192956
[pid=3773] ppid=3771 vsize=5356 CPUtime=0.05
/proc/3773/stat : 3773 (SatELiteGTI) S 3771 3773 3690 0 -1 4194304 336 707 0 0 0 0 5 0 16 0 1 0 306518170 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 227848807236 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/3773/statm: 1339 239 197 169 0 50 0
[pid=3779] ppid=3773 vsize=4952 CPUtime=1.42
/proc/3779/stat : 3779 (minisat_static) R 3773 3773 3690 0 -1 4194304 977 0 0 0 142 0 0 0 25 0 1 0 306518176 5070848 963 1992294400 134512640 135215339 4294956240 18446744073709551615 134528691 0 0 4096 3 0 0 0 17 1 0 0
/proc/3779/statm: 1238 963 76 171 0 1065 0
Current children cumulated CPU time (s) 1.47
Current children cumulated vsize (KiB) 10308

[startup+3.1017 s]
/proc/loadavg: 0.92 0.98 0.98 2/66 3779
/proc/meminfo: memFree=1906792/2055920 swapFree=4180388/4192956
[pid=3773] ppid=3771 vsize=5356 CPUtime=0.05
/proc/3773/stat : 3773 (SatELiteGTI) S 3771 3773 3690 0 -1 4194304 336 707 0 0 0 0 5 0 16 0 1 0 306518170 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 227848807236 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/3773/statm: 1339 239 197 169 0 50 0
[pid=3779] ppid=3773 vsize=7064 CPUtime=3.02
/proc/3779/stat : 3779 (minisat_static) R 3773 3773 3690 0 -1 4194304 1525 0 0 0 301 1 0 0 25 0 1 0 306518176 7233536 1511 1992294400 134512640 135215339 4294956240 18446744073709551615 134528863 0 0 4096 3 0 0 0 17 1 0 0
/proc/3779/statm: 1766 1511 76 171 0 1593 0
Current children cumulated CPU time (s) 3.07
Current children cumulated vsize (KiB) 12420

[startup+6.30127 s]
/proc/loadavg: 0.93 0.98 0.98 2/66 3779
/proc/meminfo: memFree=1903336/2055920 swapFree=4180388/4192956
[pid=3773] ppid=3771 vsize=5356 CPUtime=0.05
/proc/3773/stat : 3773 (SatELiteGTI) S 3771 3773 3690 0 -1 4194304 336 707 0 0 0 0 5 0 16 0 1 0 306518170 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 227848807236 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/3773/statm: 1339 239 197 169 0 50 0
[pid=3779] ppid=3773 vsize=9908 CPUtime=6.22
/proc/3779/stat : 3779 (minisat_static) R 3773 3773 3690 0 -1 4194304 2220 0 0 0 620 2 0 0 25 0 1 0 306518176 10145792 2206 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/3779/statm: 2477 2206 76 171 0 2304 0
Current children cumulated CPU time (s) 6.27
Current children cumulated vsize (KiB) 15264

[startup+12.7024 s]
/proc/loadavg: 0.93 0.98 0.98 2/66 3785
/proc/meminfo: memFree=1899040/2055920 swapFree=4180388/4192956
[pid=3773] ppid=3771 vsize=5356 CPUtime=0.05
/proc/3773/stat : 3773 (SatELiteGTI) S 3771 3773 3690 0 -1 4194304 336 707 0 0 0 0 5 0 16 0 1 0 306518170 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 227848807236 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/3773/statm: 1339 239 197 169 0 50 0
[pid=3779] ppid=3773 vsize=13684 CPUtime=12.61
/proc/3779/stat : 3779 (minisat_static) R 3773 3773 3690 0 -1 4194304 3140 0 0 0 1258 3 0 0 25 0 1 0 306518176 14012416 3126 1992294400 134512640 135215339 4294956240 18446744073709551615 134528734 0 0 4096 3 0 0 0 17 1 0 0
/proc/3779/statm: 3421 3126 76 171 0 3248 0
Current children cumulated CPU time (s) 12.66
Current children cumulated vsize (KiB) 19040

[startup+25.5016 s]
/proc/loadavg: 0.95 0.98 0.98 2/66 3785
/proc/meminfo: memFree=1893984/2055920 swapFree=4180388/4192956
[pid=3773] ppid=3771 vsize=5356 CPUtime=0.05
/proc/3773/stat : 3773 (SatELiteGTI) S 3771 3773 3690 0 -1 4194304 336 707 0 0 0 0 5 0 16 0 1 0 306518170 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 227848807236 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/3773/statm: 1339 239 197 169 0 50 0
[pid=3779] ppid=3773 vsize=18564 CPUtime=25.41
/proc/3779/stat : 3779 (minisat_static) R 3773 3773 3690 0 -1 4194304 4377 0 0 0 2536 5 0 0 25 0 1 0 306518176 19009536 4363 1992294400 134512640 135215339 4294956240 18446744073709551615 134528806 0 0 4096 3 0 0 0 17 1 0 0
/proc/3779/statm: 4641 4363 76 171 0 4468 0
Current children cumulated CPU time (s) 25.46
Current children cumulated vsize (KiB) 23920

[startup+51.1012 s]
/proc/loadavg: 0.96 0.98 0.98 2/66 3785
/proc/meminfo: memFree=1890848/2055920 swapFree=4180388/4192956
[pid=3773] ppid=3771 vsize=5356 CPUtime=0.05
/proc/3773/stat : 3773 (SatELiteGTI) S 3771 3773 3690 0 -1 4194304 336 707 0 0 0 0 5 0 16 0 1 0 306518170 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 227848807236 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/3773/statm: 1339 239 197 169 0 50 0
[pid=3779] ppid=3773 vsize=21612 CPUtime=50.99
/proc/3779/stat : 3779 (minisat_static) R 3773 3773 3690 0 -1 4194304 5154 0 0 0 5093 6 0 0 25 0 1 0 306518176 22130688 5140 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/3779/statm: 5403 5140 76 171 0 5230 0
Current children cumulated CPU time (s) 51.04
Current children cumulated vsize (KiB) 26968

[startup+102.305 s]
/proc/loadavg: 1.09 1.01 1.00 2/66 4261
/proc/meminfo: memFree=1849944/2055920 swapFree=4180388/4192956
[pid=3773] ppid=3771 vsize=5356 CPUtime=0.05
/proc/3773/stat : 3773 (SatELiteGTI) S 3771 3773 3690 0 -1 4194304 336 707 0 0 0 0 5 0 16 0 1 0 306518170 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 227848807236 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/3773/statm: 1339 239 197 169 0 50 0
[pid=3779] ppid=3773 vsize=21612 CPUtime=102.06
/proc/3779/stat : 3779 (minisat_static) R 3773 3773 3690 0 -1 4194304 5155 0 0 0 10197 9 0 0 25 0 1 0 306518176 22130688 5141 1992294400 134512640 135215339 4294956240 18446744073709551615 134528872 0 0 4096 3 0 0 0 17 1 0 0
/proc/3779/statm: 5403 5141 76 171 0 5230 0
Current children cumulated CPU time (s) 102.11
Current children cumulated vsize (KiB) 26968

[startup+162.302 s]
/proc/loadavg: 1.03 1.01 1.00 2/66 4261
/proc/meminfo: memFree=1849880/2055920 swapFree=4180388/4192956
[pid=3773] ppid=3771 vsize=5356 CPUtime=0.05
/proc/3773/stat : 3773 (SatELiteGTI) S 3771 3773 3690 0 -1 4194304 336 707 0 0 0 0 5 0 16 0 1 0 306518170 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 227848807236 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/3773/statm: 1339 239 197 169 0 50 0
[pid=3779] ppid=3773 vsize=21612 CPUtime=162.04
/proc/3779/stat : 3779 (minisat_static) R 3773 3773 3690 0 -1 4194304 5155 0 0 0 16194 10 0 0 25 0 1 0 306518176 22130688 5141 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/3779/statm: 5403 5141 76 171 0 5230 0
Current children cumulated CPU time (s) 162.09
Current children cumulated vsize (KiB) 26968

[startup+222.301 s]
/proc/loadavg: 1.01 1.00 1.00 2/66 4261
/proc/meminfo: memFree=1848984/2055920 swapFree=4180388/4192956
[pid=3773] ppid=3771 vsize=5356 CPUtime=0.05
/proc/3773/stat : 3773 (SatELiteGTI) S 3771 3773 3690 0 -1 4194304 336 707 0 0 0 0 5 0 16 0 1 0 306518170 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 227848807236 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/3773/statm: 1339 239 197 169 0 50 0
[pid=3779] ppid=3773 vsize=22668 CPUtime=222.02
/proc/3779/stat : 3779 (minisat_static) R 3773 3773 3690 0 -1 4194304 5413 0 0 0 22190 12 0 0 25 0 1 0 306518176 23212032 5399 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/3779/statm: 5667 5399 76 171 0 5494 0
Current children cumulated CPU time (s) 222.07
Current children cumulated vsize (KiB) 28024

[startup+282.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 4261
/proc/meminfo: memFree=1848344/2055920 swapFree=4180388/4192956
[pid=3773] ppid=3771 vsize=5356 CPUtime=0.05
/proc/3773/stat : 3773 (SatELiteGTI) S 3771 3773 3690 0 -1 4194304 336 707 0 0 0 0 5 0 16 0 1 0 306518170 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 227848807236 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/3773/statm: 1339 239 197 169 0 50 0
[pid=3779] ppid=3773 vsize=23328 CPUtime=282
/proc/3779/stat : 3779 (minisat_static) R 3773 3773 3690 0 -1 4194304 5553 0 0 0 28187 13 0 0 25 0 1 0 306518176 23887872 5539 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/3779/statm: 5832 5539 76 171 0 5659 0
Current children cumulated CPU time (s) 282.05
Current children cumulated vsize (KiB) 28684

[startup+342.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 4261
/proc/meminfo: memFree=1847128/2055920 swapFree=4180388/4192956
[pid=3773] ppid=3771 vsize=5356 CPUtime=0.05
/proc/3773/stat : 3773 (SatELiteGTI) S 3771 3773 3690 0 -1 4194304 336 707 0 0 0 0 5 0 16 0 1 0 306518170 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 227848807236 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/3773/statm: 1339 239 197 169 0 50 0
[pid=3779] ppid=3773 vsize=24376 CPUtime=341.98
/proc/3779/stat : 3779 (minisat_static) R 3773 3773 3690 0 -1 4194304 5823 0 0 0 34184 14 0 0 25 0 1 0 306518176 24961024 5809 1992294400 134512640 135215339 4294956240 18446744073709551615 134528721 0 0 4096 3 0 0 0 17 1 0 0
/proc/3779/statm: 6094 5809 76 171 0 5921 0
Current children cumulated CPU time (s) 342.03
Current children cumulated vsize (KiB) 29732

[startup+402.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 4261
/proc/meminfo: memFree=1847080/2055920 swapFree=4180388/4192956
[pid=3773] ppid=3771 vsize=5356 CPUtime=0.05
/proc/3773/stat : 3773 (SatELiteGTI) S 3771 3773 3690 0 -1 4194304 336 707 0 0 0 0 5 0 16 0 1 0 306518170 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 227848807236 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/3773/statm: 1339 239 197 169 0 50 0
[pid=3779] ppid=3773 vsize=24376 CPUtime=401.96
/proc/3779/stat : 3779 (minisat_static) R 3773 3773 3690 0 -1 4194304 5823 0 0 0 40182 14 0 0 25 0 1 0 306518176 24961024 5809 1992294400 134512640 135215339 4294956240 18446744073709551615 134529186 0 0 4096 3 0 0 0 17 1 0 0
/proc/3779/statm: 6094 5809 76 171 0 5921 0
Current children cumulated CPU time (s) 402.01
Current children cumulated vsize (KiB) 29732

[startup+462.302 s]

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

[pid=3779] ppid=3773 vsize=24376 CPUtime=461.94
/proc/3779/stat : 3779 (minisat_static) R 3773 3773 3690 0 -1 4194304 5823 0 0 0 46179 15 0 0 25 0 1 0 306518176 24961024 5809 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/3779/statm: 6094 5809 76 171 0 5921 0
Current children cumulated CPU time (s) 461.99
Current children cumulated vsize (KiB) 29732

[startup+522.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 4261
/proc/meminfo: memFree=1846504/2055920 swapFree=4180388/4192956
[pid=3773] ppid=3771 vsize=5356 CPUtime=0.05
/proc/3773/stat : 3773 (SatELiteGTI) S 3771 3773 3690 0 -1 4194304 336 707 0 0 0 0 5 0 16 0 1 0 306518170 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 227848807236 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/3773/statm: 1339 239 197 169 0 50 0
[pid=3779] ppid=3773 vsize=24792 CPUtime=521.92
/proc/3779/stat : 3779 (minisat_static) R 3773 3773 3690 0 -1 4194304 5926 0 0 0 52176 16 0 0 25 0 1 0 306518176 25387008 5912 1992294400 134512640 135215339 4294956240 18446744073709551615 134528734 0 0 4096 3 0 0 0 17 1 0 0
/proc/3779/statm: 6198 5912 76 171 0 6025 0
Current children cumulated CPU time (s) 521.97
Current children cumulated vsize (KiB) 30148

[startup+582.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 4261
/proc/meminfo: memFree=1845992/2055920 swapFree=4180388/4192956
[pid=3773] ppid=3771 vsize=5356 CPUtime=0.05
/proc/3773/stat : 3773 (SatELiteGTI) S 3771 3773 3690 0 -1 4194304 336 707 0 0 0 0 5 0 16 0 1 0 306518170 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 227848807236 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/3773/statm: 1339 239 197 169 0 50 0
[pid=3779] ppid=3773 vsize=25056 CPUtime=581.9
/proc/3779/stat : 3779 (minisat_static) R 3773 3773 3690 0 -1 4194304 6009 0 0 0 58174 16 0 0 25 0 1 0 306518176 25657344 5995 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/3779/statm: 6264 5995 76 171 0 6091 0
Current children cumulated CPU time (s) 581.95
Current children cumulated vsize (KiB) 30412

[startup+642.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 4261
/proc/meminfo: memFree=1845736/2055920 swapFree=4180388/4192956
[pid=3773] ppid=3771 vsize=5356 CPUtime=0.05
/proc/3773/stat : 3773 (SatELiteGTI) S 3771 3773 3690 0 -1 4194304 336 707 0 0 0 0 5 0 16 0 1 0 306518170 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 227848807236 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/3773/statm: 1339 239 197 169 0 50 0
[pid=3779] ppid=3773 vsize=25196 CPUtime=641.89
/proc/3779/stat : 3779 (minisat_static) R 3773 3773 3690 0 -1 4194304 6042 0 0 0 64172 17 0 0 25 0 1 0 306518176 25800704 6028 1992294400 134512640 135215339 4294956240 18446744073709551615 134529080 0 0 4096 3 0 0 0 17 1 0 0
/proc/3779/statm: 6299 6028 76 171 0 6126 0
Current children cumulated CPU time (s) 641.94
Current children cumulated vsize (KiB) 30552

[startup+702.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 4261
/proc/meminfo: memFree=1845544/2055920 swapFree=4180388/4192956
[pid=3773] ppid=3771 vsize=5356 CPUtime=0.05
/proc/3773/stat : 3773 (SatELiteGTI) S 3771 3773 3690 0 -1 4194304 336 707 0 0 0 0 5 0 16 0 1 0 306518170 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 227848807236 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/3773/statm: 1339 239 197 169 0 50 0
[pid=3779] ppid=3773 vsize=25196 CPUtime=701.86
/proc/3779/stat : 3779 (minisat_static) R 3773 3773 3690 0 -1 4194304 6043 0 0 0 70169 17 0 0 25 0 1 0 306518176 25800704 6029 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/3779/statm: 6299 6029 76 171 0 6126 0
Current children cumulated CPU time (s) 701.91
Current children cumulated vsize (KiB) 30552

[startup+762.305 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 4261
/proc/meminfo: memFree=1845544/2055920 swapFree=4180388/4192956
[pid=3773] ppid=3771 vsize=5356 CPUtime=0.05
/proc/3773/stat : 3773 (SatELiteGTI) S 3771 3773 3690 0 -1 4194304 336 707 0 0 0 0 5 0 16 0 1 0 306518170 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 227848807236 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/3773/statm: 1339 239 197 169 0 50 0
[pid=3779] ppid=3773 vsize=25196 CPUtime=761.84
/proc/3779/stat : 3779 (minisat_static) R 3773 3773 3690 0 -1 4194304 6043 0 0 0 76166 18 0 0 25 0 1 0 306518176 25800704 6029 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/3779/statm: 6299 6029 76 171 0 6126 0
Current children cumulated CPU time (s) 761.89
Current children cumulated vsize (KiB) 30552

[startup+822.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 4261
/proc/meminfo: memFree=1845224/2055920 swapFree=4180388/4192956
[pid=3773] ppid=3771 vsize=5356 CPUtime=0.05
/proc/3773/stat : 3773 (SatELiteGTI) S 3771 3773 3690 0 -1 4194304 336 707 0 0 0 0 5 0 16 0 1 0 306518170 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 227848807236 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/3773/statm: 1339 239 197 169 0 50 0
[pid=3779] ppid=3773 vsize=25604 CPUtime=821.81
/proc/3779/stat : 3779 (minisat_static) R 3773 3773 3690 0 -1 4194304 6126 0 0 0 82163 18 0 0 25 0 1 0 306518176 26218496 6112 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/3779/statm: 6401 6112 76 171 0 6228 0
Current children cumulated CPU time (s) 821.86
Current children cumulated vsize (KiB) 30960

[startup+882.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 4261
/proc/meminfo: memFree=1845032/2055920 swapFree=4180388/4192956
[pid=3773] ppid=3771 vsize=5356 CPUtime=0.05
/proc/3773/stat : 3773 (SatELiteGTI) S 3771 3773 3690 0 -1 4194304 336 707 0 0 0 0 5 0 16 0 1 0 306518170 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 227848807236 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/3773/statm: 1339 239 197 169 0 50 0
[pid=3779] ppid=3773 vsize=25604 CPUtime=881.8
/proc/3779/stat : 3779 (minisat_static) R 3773 3773 3690 0 -1 4194304 6131 0 0 0 88161 19 0 0 25 0 1 0 306518176 26218496 6117 1992294400 134512640 135215339 4294956240 18446744073709551615 134528809 0 0 4096 3 0 0 0 17 1 0 0
/proc/3779/statm: 6401 6117 76 171 0 6228 0
Current children cumulated CPU time (s) 881.85
Current children cumulated vsize (KiB) 30960

[startup+942.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 4261
/proc/meminfo: memFree=1844904/2055920 swapFree=4180388/4192956
[pid=3773] ppid=3771 vsize=5356 CPUtime=0.05
/proc/3773/stat : 3773 (SatELiteGTI) S 3771 3773 3690 0 -1 4194304 336 707 0 0 0 0 5 0 16 0 1 0 306518170 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 227848807236 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/3773/statm: 1339 239 197 169 0 50 0
[pid=3779] ppid=3773 vsize=25604 CPUtime=941.77
/proc/3779/stat : 3779 (minisat_static) R 3773 3773 3690 0 -1 4194304 6131 0 0 0 94158 19 0 0 25 0 1 0 306518176 26218496 6117 1992294400 134512640 135215339 4294956240 18446744073709551615 134528863 0 0 4096 3 0 0 0 17 1 0 0
/proc/3779/statm: 6401 6117 76 171 0 6228 0
Current children cumulated CPU time (s) 941.82
Current children cumulated vsize (KiB) 30960

[startup+1002.3 s]
/proc/loadavg: 1.05 1.01 1.00 2/66 4261
/proc/meminfo: memFree=1844840/2055920 swapFree=4180388/4192956
[pid=3773] ppid=3771 vsize=5356 CPUtime=0.05
/proc/3773/stat : 3773 (SatELiteGTI) S 3771 3773 3690 0 -1 4194304 336 707 0 0 0 0 5 0 16 0 1 0 306518170 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 227848807236 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/3773/statm: 1339 239 197 169 0 50 0
[pid=3779] ppid=3773 vsize=25604 CPUtime=1001.75
/proc/3779/stat : 3779 (minisat_static) R 3773 3773 3690 0 -1 4194304 6131 0 0 0 100156 19 0 0 25 0 1 0 306518176 26218496 6117 1992294400 134512640 135215339 4294956240 18446744073709551615 134528688 0 0 4096 3 0 0 0 17 1 0 0
/proc/3779/statm: 6401 6117 76 171 0 6228 0
Current children cumulated CPU time (s) 1001.8
Current children cumulated vsize (KiB) 30960

[startup+1062.3 s]
/proc/loadavg: 1.02 1.01 1.00 2/66 4261
/proc/meminfo: memFree=1844776/2055920 swapFree=4180388/4192956
[pid=3773] ppid=3771 vsize=5356 CPUtime=0.05
/proc/3773/stat : 3773 (SatELiteGTI) S 3771 3773 3690 0 -1 4194304 336 707 0 0 0 0 5 0 16 0 1 0 306518170 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 227848807236 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/3773/statm: 1339 239 197 169 0 50 0
[pid=3779] ppid=3773 vsize=25604 CPUtime=1061.72
/proc/3779/stat : 3779 (minisat_static) R 3773 3773 3690 0 -1 4194304 6131 0 0 0 106153 19 0 0 25 0 1 0 306518176 26218496 6117 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/3779/statm: 6401 6117 76 171 0 6228 0
Current children cumulated CPU time (s) 1061.77
Current children cumulated vsize (KiB) 30960

[startup+1122.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 4261
/proc/meminfo: memFree=1844072/2055920 swapFree=4180388/4192956
[pid=3773] ppid=3771 vsize=5356 CPUtime=0.05
/proc/3773/stat : 3773 (SatELiteGTI) S 3771 3773 3690 0 -1 4194304 336 707 0 0 0 0 5 0 16 0 1 0 306518170 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 227848807236 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/3773/statm: 1339 239 197 169 0 50 0
[pid=3779] ppid=3773 vsize=26132 CPUtime=1121.71
/proc/3779/stat : 3779 (minisat_static) R 3773 3773 3690 0 -1 4194304 6280 0 0 0 112151 20 0 0 25 0 1 0 306518176 26759168 6266 1992294400 134512640 135215339 4294956240 18446744073709551615 134528694 0 0 4096 3 0 0 0 17 1 0 0
/proc/3779/statm: 6533 6266 76 171 0 6360 0
Current children cumulated CPU time (s) 1121.76
Current children cumulated vsize (KiB) 31488

[startup+1182.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 4261
/proc/meminfo: memFree=1843752/2055920 swapFree=4180388/4192956
[pid=3773] ppid=3771 vsize=5356 CPUtime=0.05
/proc/3773/stat : 3773 (SatELiteGTI) S 3771 3773 3690 0 -1 4194304 336 707 0 0 0 0 5 0 16 0 1 0 306518170 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 227848807236 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/3773/statm: 1339 239 197 169 0 50 0
[pid=3779] ppid=3773 vsize=26424 CPUtime=1181.68
/proc/3779/stat : 3779 (minisat_static) R 3773 3773 3690 0 -1 4194304 6320 0 0 0 118148 20 0 0 25 0 1 0 306518176 27058176 6306 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/3779/statm: 6606 6306 76 171 0 6433 0
Current children cumulated CPU time (s) 1181.73
Current children cumulated vsize (KiB) 31780



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1200.6 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 4261
/proc/meminfo: memFree=1843752/2055920 swapFree=4180388/4192956
[pid=3773] ppid=3771 vsize=5356 CPUtime=0.05
/proc/3773/stat : 3773 (SatELiteGTI) S 3771 3773 3690 0 -1 4194304 336 707 0 0 0 0 5 0 16 0 1 0 306518170 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 227848807236 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/3773/statm: 1339 239 197 169 0 50 0
[pid=3779] ppid=3773 vsize=26424 CPUtime=1199.97
/proc/3779/stat : 3779 (minisat_static) R 3773 3773 3690 0 -1 4194304 6320 0 0 0 119977 20 0 0 25 0 1 0 306518176 27058176 6306 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/3779/statm: 6606 6306 76 171 0 6433 0
Current children cumulated CPU time (s) 1200.02
Current children cumulated vsize (KiB) 31780

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.83
CPU system time (s): 0.219966
CPU usage (%): 99.9533
Max. virtual memory (cumulated for all children) (KiB): 31780

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1199.83
system time used= 0.219966
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 7373
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= 31
involuntary context switches= 4136

runsolver used 1.48977 second user time and 2.98754 second system time

The end

Launcher Data

Begin job on node18 at 2009-05-20 04:00:49
IDJOB=1832585
IDBENCH=70256
IDSOLVER=671
FILE ID=node18/1832585-1242784849
PBS_JOBID= 9322331
Free space on /tmp= 66240 MiB

SOLVER NAME= minisat_cumr p-2009-03-18
BENCH NAME= SAT09/RANDOM/LARGE/7SAT/UNKNOWN/180/unif-k7-r85-v180-c15300-S1249224492-031.cnf
COMMAND LINE= SatELiteGTI BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-1832585-1242784849/watcher-1832585-1242784849 -o /tmp/evaluation-result-1832585-1242784849/solver-1832585-1242784849 -C 1200 -W 1800 -M 1800  SatELiteGTI HOME/instance-1832585-1242784849.cnf

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

MD5SUM BENCH= 926573baa883bfadaffafb33f2f57748
RANDOM SEED=734681719

node18.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.280
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.280
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:       1912792 kB
Buffers:         21680 kB
Cached:          84840 kB
SwapCached:       6632 kB
Active:          54124 kB
Inactive:        60628 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1912792 kB
SwapTotal:     4192956 kB
SwapFree:      4180388 kB
Dirty:            2016 kB
Writeback:           0 kB
Mapped:          13464 kB
Slab:            14464 kB
Committed_AS:  1074564 kB
PageTables:       1376 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= 66236 MiB
End job on node18 at 2009-05-20 04:20:52