Trace number 1833545

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-18SAT 266.072 266.277

General information on the benchmark

NameRANDOM/MEDIUM/3SAT/SATISFIABLE/380/
unif-k3-r4.25-v380-c1615-S1036996799-006.cnf
MD5SUMaea037edf2192f628decdd3193ff0d42
Bench CategoryRANDOM (random instances)
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark0.008997
Satisfiable
(Un)Satisfiability was proved
Number of variables380
Number of clauses1615
Sum of the clauses size4845
Maximum clause length3
Minimum clause length3
Number of clauses of size 10
Number of clauses of size 20
Number of clauses of size 31615
Number of clauses of size 40
Number of clauses of size 50
Number of clauses of size over 50

Solver Data

0.00/0.00	c Parsing...
0.00/0.00	c ==============================================================================
0.00/0.00	c |           |     ORIGINAL     |              LEARNT              |          |
0.00/0.00	c | Conflicts | Clauses Literals |   Limit Clauses Literals  Lit/Cl | Progress |
0.00/0.00	c ==============================================================================
0.00/0.00	c |         0 |    1615     4845 |     484       0        0     nan |  0.000 % |
0.00/0.01	c |         0 |    1607     4880 |      --       0       --      -- |     --   | -8/35
0.00/0.01	c ==============================================================================
0.00/0.01	c Result  :   #vars: 369   #clauses: 1607   #literals: 4880
0.00/0.01	c CPU time:   0.003999 s
0.00/0.01	c ==============================================================================
0.00/0.01	c This is MiniSat 2.0 beta
0.00/0.01	c WARNING: for repeatability, setting FPU to use double precision
0.00/0.01	c ============================[ Problem Statistics ]=============================
0.00/0.01	c |                                                                             |
0.00/0.01	c |  Number of variables:  369                                                  |
0.00/0.01	c |  Number of clauses:    1607                                                 |
0.00/0.01	c |  Parsing time:         0.00         s                                       |
0.00/0.01	c ============================[ Search Statistics ]==============================
0.00/0.01	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
0.00/0.01	c |           |    Vars  Clauses Literals |    Limit  Clauses Lit/Cl |          |
0.00/0.01	c ===============================================================================
0.00/0.01	c |         0 |     369     1607     4880 |      535        0    nan |  0.000 % |
0.00/0.01	c |       101 |     369     1607     4880 |      535      101     20 |  0.001 % |
0.00/0.02	c |       203 |     369     1607     4880 |      535      203     19 |  0.001 % |
0.00/0.02	c |       304 |     369     1607     4880 |      535      304     19 |  0.001 % |
0.00/0.02	c |       414 |     369     1607     4880 |      535      414     19 |  0.001 % |
0.00/0.03	c |       514 |     369     1607     4880 |      535      514     19 |  0.001 % |
0.00/0.03	c |       624 |     369     1607     4880 |      535      566     19 |  0.001 % |
0.00/0.03	c |       745 |     369     1607     4880 |      535      576     19 |  0.001 % |
0.00/0.04	c |       846 |     369     1607     4880 |      535      566     18 |  0.001 % |
0.00/0.04	c |       957 |     369     1607     4880 |      535      564     17 |  0.001 % |
0.00/0.04	c |      1078 |     369     1607     4880 |      535      575     16 |  0.001 % |
0.00/0.05	c |      1213 |     369     1607     4880 |      535      541     16 |  0.001 % |
0.00/0.05	c |      1313 |     369     1607     4880 |      535      587     17 |  0.001 % |
0.00/0.05	c |      1423 |     369     1607     4880 |      535      583     16 |  0.001 % |
0.00/0.06	c |      1544 |     369     1607     4880 |      535      587     17 |  0.001 % |
0.00/0.06	c |      1678 |     369     1607     4880 |      535      550     17 |  0.001 % |
0.00/0.06	c |      1824 |     369     1607     4880 |      535      585     17 |  0.001 % |
0.00/0.07	c |      1927 |     369     1607     4880 |      535      573     17 |  0.001 % |
0.00/0.07	c |      2039 |     369     1607     4880 |      535      572     16 |  0.001 % |
0.00/0.07	c |      2162 |     369     1607     4880 |      535      528     16 |  0.001 % |
0.00/0.08	c |      2295 |     369     1607     4880 |      535      551     16 |  0.001 % |
0.00/0.08	c |      2441 |     369     1607     4880 |      535      531     16 |  0.001 % |
0.00/0.09	c |      2601 |     369     1607     4880 |      535      579     16 |  0.001 % |
0.00/0.09	c |      2701 |     369     1607     4880 |      535      567     17 |  0.001 % |
0.00/0.10	c |      2812 |     369     1607     4880 |      535      567     17 |  0.001 % |
0.00/0.10	c |      2934 |     369     1607     4880 |      535      522     16 |  0.001 % |
0.00/0.10	c |      3068 |     369     1607     4880 |      535      543     16 |  0.001 % |
0.00/0.11	c |      3214 |     369     1607     4880 |      535      579     17 |  0.001 % |
0.00/0.11	c |      3374 |     369     1607     4880 |      535      518     16 |  0.001 % |
0.00/0.12	c |      3551 |     369     1607     4880 |      535      583     16 |  0.001 % |
0.00/0.12	c |      3653 |     369     1607     4880 |      535      519     16 |  0.001 % |
0.00/0.12	c |      3764 |     369     1607     4880 |      535      574     16 |  0.001 % |
0.00/0.13	c |      3885 |     369     1607     4880 |      535      580     16 |  0.001 % |
0.00/0.13	c |      4018 |     369     1607     4880 |      535      543     16 |  0.001 % |
0.00/0.14	c |      4165 |     369     1607     4880 |      535      581     16 |  0.001 % |
0.00/0.14	c |      4327 |     369     1607     4880 |      535      573     16 |  0.001 % |
0.00/0.15	c |      4503 |     369     1607     4880 |      535      529     16 |  0.001 % |
0.00/0.15	c |      4699 |     369     1607     4880 |      535      561     16 |  0.001 % |
0.00/0.16	c |      4800 |     369     1607     4880 |      535      549     16 |  0.001 % |
0.00/0.16	c |      4910 |     369     1607     4880 |      535      550     15 |  0.001 % |
0.00/0.16	c |      5032 |     369     1607     4880 |      535      562     15 |  0.001 % |
0.00/0.17	c |      5165 |     369     1607     4880 |      535      582     15 |  0.001 % |
0.00/0.17	c |      5313 |     369     1607     4880 |      535      557     15 |  0.001 % |
0.00/0.18	c |      5474 |     369     1607     4880 |      535      552     16 |  0.001 % |
0.00/0.18	c |      5653 |     369     1607     4880 |      535      561     16 |  0.001 % |
0.00/0.19	c |      5846 |     369     1607     4880 |      535      530     16 |  0.001 % |
0.00/0.20	c |      6058 |     369     1607     4880 |      535      568     16 |  0.001 % |
0.00/0.20	c |      6158 |     369     1607     4880 |      535      556     16 |  0.001 % |
0.00/0.20	c |      6270 |     369     1607     4880 |      535      558     16 |  0.001 % |
0.00/0.21	c |      6395 |     369     1607     4880 |      535      573     16 |  0.001 % |
0.00/0.21	c |      6528 |     369     1607     4880 |      535      538     16 |  0.001 % |
0.00/0.22	c |      6674 |     369     1607     4880 |      535      520     16 |  0.001 % |
0.00/0.22	c |      6835 |     369     1607     4880 |      535      571     16 |  0.001 % |
0.00/0.23	c |      7012 |     369     1607     4880 |      535      578     16 |  0.001 % |
0.00/0.23	c |      7205 |     369     1607     4880 |      535      542     17 |  0.001 % |
0.00/0.24	c |      7418 |     369     1607     4880 |      535      587     18 |  0.001 % |
0.00/0.25	c |      7654 |     369     1607     4880 |      535      542     17 |  0.001 % |
0.00/0.25	c |      7754 |     369     1607     4880 |      535      532     16 |  0.001 % |
0.00/0.25	c |      7865 |     369     1607     4880 |      535      534     15 |  0.001 % |
0.00/0.26	c |      7986 |     369     1607     4880 |      535      545     16 |  0.001 % |
0.00/0.26	c |      8120 |     369     1607     4880 |      535      570     16 |  0.001 % |
0.00/0.27	c |      8267 |     369     1607     4880 |      535      545     16 |  0.001 % |
0.00/0.27	c |      8428 |     369     1607     4880 |      535      543     15 |  0.001 % |
0.00/0.28	c |      8606 |     369     1607     4880 |      535      555     15 |  0.001 % |
0.00/0.28	c |      8799 |     369     1607     4880 |      535      581     15 |  0.001 % |
0.00/0.29	c |      9012 |     369     1607     4880 |      535      568     15 |  0.001 % |
0.00/0.30	c |      9245 |     369     1607     4880 |      535      574     15 |  0.001 % |
0.00/0.30	c |      9501 |     369     1607     4880 |      535      546     15 |  0.001 % |
0.00/0.31	c |      9602 |     369     1607     4880 |      535      538     15 |  0.001 % |
0.00/0.31	c |      9712 |     369     1607     4880 |      535      539     15 |  0.001 % |
0.00/0.31	c |      9833 |     369     1607     4880 |      535      551     15 |  0.001 % |
0.00/0.32	c |      9966 |     369     1607     4880 |      535      572     15 |  0.001 % |
0.00/0.32	c |     10115 |     369     1607     4880 | 2147483647      664     16 |  0.001 % |
0.00/0.33	c |     10277 |     369     1607     4880 | 2147483647      826     16 |  0.001 % |
0.00/0.33	c |     10456 |     369     1607     4880 | 2147483647     1005     17 |  0.001 % |
0.00/0.34	c |     10651 |     369     1607     4880 | 2147483647     1200     17 |  0.001 % |
0.00/0.35	c |     10863 |     369     1607     4880 | 2147483647     1412     18 |  0.001 % |
0.00/0.36	c |     11098 |     369     1607     4880 | 2147483647     1647     18 |  0.001 % |
0.00/0.36	c |     11356 |     369     1607     4880 | 2147483647     1905     18 |  0.001 % |
0.00/0.38	c |     11641 |     369     1607     4880 | 2147483647     2190     18 |  0.001 % |
0.00/0.38	c |     11742 |     369     1607     4880 | 2147483647     2291     18 |  0.001 % |
0.00/0.38	c |     11852 |     369     1607     4880 | 2147483647     2401     18 |  0.001 % |
0.00/0.39	c |     11975 |     369     1607     4880 | 2147483647     2524     18 |  0.001 % |
0.00/0.39	c |     12111 |     369     1607     4880 | 2147483647     2660     18 |  0.001 % |
0.00/0.40	c |     12258 |     369     1607     4880 | 2147483647     2807     18 |  0.001 % |
0.00/0.41	c |     12419 |     369     1607     4880 | 2147483647     2968     18 |  0.001 % |
0.00/0.42	c |     12595 |     369     1607     4880 | 2147483647     3144     18 |  0.001 % |
0.00/0.42	c |     12788 |     369     1607     4880 | 2147483647     3337     18 |  0.001 % |
0.00/0.43	c |     13000 |     369     1607     4880 | 2147483647     3549     18 |  0.001 % |
0.00/0.44	c |     13233 |     369     1607     4880 | 2147483647     3782     18 |  0.001 % |
0.00/0.46	c |     13489 |     369     1607     4880 | 2147483647     4038     18 |  0.001 % |
0.00/0.47	c |     13771 |     369     1607     4880 | 2147483647     4320     18 |  0.001 % |
0.00/0.48	c |     14082 |     369     1607     4880 | 2147483647     4631     18 |  0.001 % |
0.00/0.49	c |     14183 |     369     1607     4880 | 2147483647     4732     18 |  0.001 % |
0.00/0.50	c |     14293 |     369     1607     4880 | 2147483647     4842     18 |  0.001 % |
0.00/0.50	c |     14416 |     369     1607     4880 | 2147483647     4965     18 |  0.001 % |
0.00/0.51	c |     14550 |     369     1607     4880 | 2147483647     5099     18 |  0.001 % |
0.00/0.52	c |     14696 |     369     1607     4880 | 2147483647     5245     18 |  0.001 % |
0.00/0.53	c |     14857 |     369     1607     4880 | 2147483647     5406     18 |  0.001 % |
0.00/0.54	c |     15033 |     369     1607     4880 | 2147483647     5582     18 |  0.001 % |
0.00/0.55	c |     15226 |     369     1607     4880 | 2147483647     5775     18 |  0.001 % |
0.00/0.56	c |     15438 |     369     1607     4880 | 2147483647     5987     18 |  0.001 % |
0.00/0.58	c |     15672 |     369     1607     4880 | 2147483647     6221     19 |  0.001 % |
0.00/0.60	c |     15930 |     369     1607     4880 | 2147483647     6479     19 |  0.001 % |
0.00/0.61	c |     16212 |     369     1607     4880 | 2147483647     6761     19 |  0.001 % |
0.00/0.63	c |     16522 |     369     1607     4880 | 2147483647     7071     19 |  0.001 % |
0.00/0.66	c |     16862 |     369     1607     4880 | 2147483647     7411     19 |  0.001 % |
0.00/0.66	c |     16962 |     369     1607     4880 | 2147483647     7511     19 |  0.001 % |
0.00/0.67	c |     17074 |     369     1607     4880 | 2147483647     7623     19 |  0.001 % |
0.00/0.68	c |     17199 |     369     1607     4880 | 2147483647     7748     19 |  0.001 % |
0.00/0.69	c |     17332 |     369     1607     4880 | 2147483647     7881     19 |  0.001 % |
0.00/0.70	c |     17478 |     369     1607     4880 | 2147483647     8027     19 |  0.001 % |
0.00/0.71	c |     17640 |     369     1607     4880 | 2147483647     8189     19 |  0.001 % |
0.00/0.73	c |     17818 |     369     1607     4880 | 2147483647     8367     19 |  0.001 % |
0.00/0.74	c |     18011 |     369     1607     4880 | 2147483647     8560     19 |  0.001 % |
0.00/0.75	c |     18225 |     369     1607     4880 | 2147483647     8774     19 |  0.001 % |
0.00/0.77	c |     18459 |     369     1607     4880 | 2147483647     9008     19 |  0.001 % |
0.00/0.79	c |     18716 |     369     1607     4880 | 2147483647     9265     19 |  0.001 % |
0.00/0.81	c |     18999 |     369     1607     4880 | 2147483647     9548     19 |  0.001 % |
0.00/0.84	c |     19309 |     369     1607     4880 | 2147483647     9858     19 |  0.001 % |
0.00/0.87	c |     19650 |     369     1607     4880 | 2147483647    10199     19 |  0.001 % |
0.00/0.90	c |     20023 |     369     1607     4880 | 2147483647    10572     19 |  0.001 % |
0.00/0.91	c |     20125 |     369     1607     4880 | 2147483647    10674     19 |  0.001 % |
0.00/0.92	c |     20235 |     369     1607     4880 | 2147483647    10784     19 |  0.001 % |
0.00/0.93	c |     20356 |     369     1607     4880 | 2147483647    10905     19 |  0.001 % |
0.00/0.94	c |     20491 |     369     1607     4880 | 2147483647    11040     19 |  0.001 % |
0.00/0.95	c |     20638 |     369     1607     4880 | 2147483647    11187     19 |  0.001 % |
0.00/0.97	c |     20799 |     369     1607     4880 | 2147483647    11348     19 |  0.001 % |
0.00/0.99	c |     20975 |     369     1607     4880 | 2147483647    11524     19 |  0.001 % |
0.98/1.01	c |     21168 |     369     1607     4880 | 2147483647    11717     19 |  0.001 % |
0.98/1.03	c |     21381 |     369     1607     4880 | 2147483647    11930     19 |  0.001 % |
0.98/1.06	c |     21616 |     369     1607     4880 | 2147483647    12165     19 |  0.001 % |
0.98/1.08	c |     21872 |     369     1607     4880 | 2147483647    12421     19 |  0.001 % |
1.08/1.11	c |     22155 |     369     1607     4880 | 2147483647    12704     19 |  0.001 % |
1.08/1.15	c |     22467 |     369     1607     4880 | 2147483647    13016     19 |  0.001 % |
1.08/1.19	c |     22808 |     369     1607     4880 | 2147483647    13357     19 |  0.001 % |
1.17/1.24	c |     23180 |     369     1607     4880 | 2147483647    13729     19 |  0.001 % |
1.17/1.28	c |     23590 |     369     1607     4880 | 2147483647    14139     19 |  0.001 % |
1.27/1.30	c |     23691 |     369     1607     4880 | 2147483647    14240     19 |  0.001 % |
1.27/1.31	c |     23803 |     369     1607     4880 | 2147483647    14352     19 |  0.001 % |
1.27/1.33	c |     23925 |     369     1607     4880 | 2147483647    14474     19 |  0.001 % |
1.27/1.35	c |     24058 |     369     1607     4880 | 2147483647    14607     19 |  0.001 % |
1.27/1.36	c |     24204 |     369     1607     4880 | 2147483647    14753     19 |  0.001 % |
1.27/1.38	c |     24367 |     369     1607     4880 | 2147483647    14916     19 |  0.001 % |
1.37/1.41	c |     24543 |     369     1607     4880 | 2147483647    15092     19 |  0.001 % |
1.37/1.44	c |     24736 |     369     1607     4880 | 2147483647    15285     19 |  0.001 % |
1.37/1.46	c |     24948 |     369     1607     4880 | 2147483647    15497     19 |  0.001 % |
1.37/1.49	c |     25183 |     369     1607     4880 | 2147483647    15732     19 |  0.001 % |
1.47/1.53	c |     25439 |     369     1607     4880 | 2147483647    15988     19 |  0.001 % |
1.47/1.56	c |     25720 |     369     1607     4880 | 2147483647    16269     19 |  0.001 % |
1.57/1.60	c |     26029 |     369     1607     4880 | 2147483647    16578     19 |  0.001 % |
1.57/1.65	c |     26369 |     369     1607     4880 | 2147483647    16918     19 |  0.001 % |
1.67/1.70	c |     26742 |     369     1607     4880 | 2147483647    17291     19 |  0.001 % |
1.67/1.76	c |     27151 |     369     1607     4880 | 2147483647    17700     19 |  0.001 % |
1.77/1.83	c |     27601 |     369     1607     4880 | 2147483647    18150     19 |  0.001 % |
1.77/1.84	c |     27701 |     369     1607     4880 | 2147483647    18250     19 |  0.001 % |
1.77/1.86	c |     27811 |     369     1607     4880 | 2147483647    18360     19 |  0.001 % |
1.77/1.88	c |     27934 |     369     1607     4880 | 2147483647    18483     19 |  0.001 % |
1.87/1.90	c |     28067 |     369     1607     4880 | 2147483647    18616     19 |  0.001 % |
1.87/1.92	c |     28213 |     369     1607     4880 | 2147483647    18762     19 |  0.001 % |
1.87/1.95	c |     28374 |     369     1607     4880 | 2147483647    18923     19 |  0.001 % |
1.87/1.98	c |     28552 |     369     1607     4880 | 2147483647    19101     19 |  0.001 % |
1.97/2.01	c |     28750 |     369     1607     4880 | 2147483647    19299     19 |  0.001 % |
1.97/2.05	c |     28962 |     369     1607     4880 | 2147483647    19511     19 |  0.001 % |
1.97/2.09	c |     29195 |     369     1607     4880 | 2147483647    19744     19 |  0.001 % |
2.08/2.13	c |     29452 |     369     1607     4880 | 2147483647    20001     19 |  0.001 % |
2.08/2.18	c |     29734 |     369     1607     4880 | 2147483647    20283     19 |  0.001 % |
2.18/2.24	c |     30044 |     369     1607     4880 | 2147483647    20593     19 |  0.001 % |
2.27/2.30	c |     30383 |     369     1607     4880 | 2147483647    20932     19 |  0.001 % |
2.27/2.38	c |     30755 |     369     1607     4880 | 2147483647    21304     19 |  0.001 % |
2.37/2.46	c |     31164 |     369     1607     4880 | 2147483647    21713     19 |  0.001 % |
2.47/2.55	c |     31613 |     369     1607     4880 | 2147483647    22162     19 |  0.001 % |
2.57/2.65	c |     32106 |     369     1607     4880 | 2147483647    22655     19 |  0.001 % |
2.57/2.67	c |     32206 |     369     1607     4880 | 2147483647    22755     19 |  0.001 % |
2.57/2.70	c |     32316 |     369     1607     4880 | 2147483647    22865     19 |  0.001 % |
2.67/2.72	c |     32438 |     369     1607     4880 | 2147483647    22987     19 |  0.001 % |
2.67/2.75	c |     32571 |     369     1607     4880 | 2147483647    23120     19 |  0.001 % |
2.67/2.79	c |     32717 |     369     1607     4880 | 2147483647    23266     19 |  0.001 % |
2.77/2.82	c |     32878 |     369     1607     4880 | 2147483647    23427     19 |  0.001 % |
2.77/2.86	c |     33055 |     369     1607     4880 | 2147483647    23604     19 |  0.001 % |
2.87/2.91	c |     33248 |     369     1607     4880 | 2147483647    23797     19 |  0.001 % |
2.87/2.95	c |     33460 |     369     1607     4880 | 2147483647    24009     19 |  0.001 % |
2.97/3.01	c |     33694 |     369     1607     4880 | 2147483647    24243     19 |  0.001 % |
2.97/3.07	c |     33952 |     369     1607     4880 | 2147483647    24501     19 |  0.001 % |
3.07/3.13	c |     34235 |     369     1607     4880 | 2147483647    24784     19 |  0.001 % |
3.07/3.19	c |     34544 |     369     1607     4880 | 2147483647    25093     19 |  0.001 % |
3.17/3.28	c |     34884 |     369     1607     4880 | 2147483647    25433     19 |  0.001 % |
3.27/3.37	c |     35258 |     369     1607     4880 | 2147483647    25807     19 |  0.001 % |
3.37/3.49	c |     35669 |     369     1607     4880 | 2147483647    26218     19 |  0.001 % |
3.57/3.61	c |     36118 |     369     1607     4880 | 2147483647    26667     19 |  0.001 % |
3.67/3.73	c |     36611 |     369     1607     4880 | 2147483647    27160     19 |  0.001 % |
3.76/3.88	c |     37154 |     369     1607     4880 | 2147483647    27703     19 |  0.001 % |
3.86/3.90	c |     37258 |     369     1607     4880 | 2147483647    27807     19 |  0.001 % |
3.86/3.93	c |     37369 |     369     1607     4880 | 2147483647    27918     19 |  0.001 % |
3.86/3.96	c |     37491 |     369     1607     4880 | 2147483647    28040     19 |  0.001 % |
3.96/4.00	c |     37626 |     369     1607     4880 | 2147483647    28175     19 |  0.001 % |
3.96/4.04	c |     37772 |     369     1607     4880 | 2147483647    28321     19 |  0.001 % |
3.96/4.09	c |     37933 |     369     1607     4880 | 2147483647    28482     19 |  0.001 % |
4.06/4.14	c |     38110 |     369     1607     4880 | 2147483647    28659     19 |  0.001 % |
4.16/4.20	c |     38305 |     369     1607     4880 | 2147483647    28854     19 |  0.001 % |
4.16/4.26	c |     38517 |     369     1607     4880 | 2147483647    29066     19 |  0.001 % |
4.27/4.34	c |     38752 |     369     1607     4880 | 2147483647    29301     19 |  0.001 % |
4.37/4.41	c |     39009 |     369     1607     4880 | 2147483647    29558     19 |  0.001 % |
4.37/4.48	c |     39291 |     369     1607     4880 | 2147483647    29840     19 |  0.001 % |
4.46/4.59	c |     39600 |     369     1607     4880 | 2147483647    30149     19 |  0.001 % |
4.56/4.68	c |     39939 |     369     1607     4880 | 2147483647    30488     19 |  0.001 % |
4.66/4.79	c |     40313 |     369     1607     4880 |    30549    22087     19 |  0.001 % |
4.76/4.88	c |     40722 |     369     1607     4880 |    30549    22496     19 |  0.001 % |
4.86/4.97	c |     41171 |     369     1607     4880 |    30549    22945     19 |  0.001 % |
4.96/5.08	c |     41664 |     369     1607     4880 |    30549    23438     19 |  0.001 % |
5.06/5.20	c |     42206 |     369     1607     4880 |    30549    23980     19 |  0.001 % |
5.26/5.34	c |     42802 |     369     1607     4880 |    30549    24576     19 |  0.001 % |
5.26/5.36	c |     42902 |     369     1607     4880 |    30549    24676     19 |  0.001 % |
5.26/5.38	c |     43013 |     369     1607     4880 |    30549    24787     19 |  0.001 % |
5.37/5.41	c |     43136 |     369     1607     4880 |    30549    24910     19 |  0.001 % |
5.37/5.45	c |     43269 |     369     1607     4880 |    30549    25043     19 |  0.001 % |
5.37/5.48	c |     43416 |     369     1607     4880 |    30549    25190     19 |  0.001 % |
5.47/5.53	c |     43577 |     369     1607     4880 |    30549    25351     19 |  0.001 % |
5.47/5.58	c |     43755 |     369     1607     4880 |    30549    25529     19 |  0.001 % |
5.56/5.63	c |     43949 |     369     1607     4880 |    30549    25723     19 |  0.001 % |
5.56/5.68	c |     44161 |     369     1607     4880 |    30549    25935     19 |  0.001 % |
5.66/5.74	c |     44394 |     369     1607     4880 |    30549    26168     19 |  0.001 % |
5.76/5.81	c |     44650 |     369     1607     4880 |    30549    26424     19 |  0.001 % |
5.76/5.87	c |     44934 |     369     1607     4880 |    30549    26708     19 |  0.001 % |
5.86/5.93	c |     45245 |     369     1607     4880 |    30549    27019     19 |  0.001 % |
5.96/6.00	c |     45584 |     369     1607     4880 |    30549    27358     19 |  0.001 % |
6.06/6.11	c |     45957 |     369     1607     4880 |    30549    27731     19 |  0.001 % |
6.16/6.22	c |     46366 |     369     1607     4880 |    30549    28140     19 |  0.001 % |
6.26/6.35	c |     46817 |     369     1607     4880 |    30549    28591     19 |  0.001 % |
6.36/6.49	c |     47310 |     369     1607     4880 |    30549    29084     19 |  0.001 % |
6.56/6.63	c |     47853 |     369     1607     4880 |    30549    29627     19 |  0.001 % |
6.66/6.79	c |     48449 |     369     1607     4880 |    30549    30223     19 |  0.001 % |
6.86/6.98	c |     49105 |     369     1607     4880 |    30549    21289     19 |  0.001 % |
6.86/7.00	c |     49205 |     369     1607     4880 |    30549    21389     19 |  0.001 % |
6.96/7.02	c |     49316 |     369     1607     4880 |    30549    21500     19 |  0.001 % |
6.96/7.04	c |     49437 |     369     1607     4880 |    30549    21621     19 |  0.001 % |
6.96/7.07	c |     49570 |     369     1607     4880 |    30549    21754     19 |  0.001 % |
7.06/7.10	c |     49717 |     369     1607     4880 |    30549    21901     19 |  0.001 % |
7.06/7.13	c |     49878 |     369     1607     4880 |    30549    22062     19 |  0.001 % |
7.06/7.17	c |     50054 |     369     1607     4880 |    22184    22238     19 |  0.001 % |
7.16/7.21	c |     50247 |     369     1607     4880 |    22184    15530     18 |  0.001 % |
7.16/7.24	c |     50460 |     369     1607     4880 |    22184    15743     18 |  0.001 % |
7.16/7.28	c |     50693 |     369     1607     4880 |    22184    15976     18 |  0.001 % |
7.26/7.31	c |     50950 |     369     1607     4880 |    22184    16233     18 |  0.001 % |
7.26/7.35	c |     51231 |     369     1607     4880 |    22184    16514     18 |  0.001 % |
7.36/7.41	c |     51540 |     369     1607     4880 |    22184    16823     18 |  0.001 % |
7.36/7.46	c |     51879 |     369     1607     4880 |    22184    17162     18 |  0.001 % |
7.46/7.52	c |     52252 |     369     1607     4880 |    22184    17535     18 |  0.001 % |
7.46/7.58	c |     52661 |     369     1607     4880 |    22184    17944     18 |  0.001 % |
7.56/7.66	c |     53111 |     369     1607     4880 |    22184    18394     18 |  0.001 % |
7.66/7.75	c |     53604 |     369     1607     4880 |    22184    18887     18 |  0.001 % |
7.76/7.84	c |     54146 |     369     1607     4880 |    22184    19429     18 |  0.001 % |
7.86/7.93	c |     54743 |     369     1607     4880 |    22184    20026     19 |  0.001 % |
7.96/8.03	c |     55399 |     369     1607     4880 |    22184    20682     19 |  0.001 % |
8.06/8.17	c |     56121 |     369     1607     4880 |    22184    21404     19 |  0.001 % |
8.06/8.18	c |     56221 |     369     1607     4880 |    22184    21504     19 |  0.001 % |
8.16/8.21	c |     56331 |     369     1607     4880 |    22184    21614     19 |  0.001 % |
8.16/8.23	c |     56452 |     369     1607     4880 |    22184    21735     19 |  0.001 % |
8.16/8.25	c |     56586 |     369     1607     4880 |    22184    21869     19 |  0.001 % |
8.16/8.29	c |     56734 |     369     1607     4880 |    22184    22017     19 |  0.001 % |
8.26/8.32	c |     56894 |     369     1607     4880 |    22184    22177     19 |  0.001 % |
8.26/8.36	c |     57070 |     369     1607     4880 |    22184    16526     18 |  0.001 % |
8.26/8.39	c |     57263 |     369     1607     4880 |    22184    16719     18 |  0.001 % |
8.36/8.42	c |     57475 |     369     1607     4880 |    22184    16931     18 |  0.001 % |
8.36/8.46	c |     57711 |     369     1607     4880 |    22184    17167     18 |  0.001 % |
8.36/8.49	c |     57968 |     369     1607     4880 |    22184    17424     18 |  0.001 % |
8.46/8.53	c |     58249 |     369     1607     4880 |    22184    17705     18 |  0.001 % |
8.46/8.58	c |     58558 |     369     1607     4880 |    22184    18014     19 |  0.001 % |
8.56/8.63	c |     58897 |     369     1607     4880 |    22184    18353     19 |  0.001 % |
8.56/8.69	c |     59272 |     369     1607     4880 |    22184    18728     19 |  0.001 % |
8.66/8.76	c |     59682 |     369     1607     4880 |    22184    19138     19 |  0.001 % |
8.76/8.86	c |     60131 |     369     1607     4880 |    19459    14692     18 |  0.001 % |
8.86/8.93	c |     60624 |     369     1607     4880 |    19459    15185     18 |  0.001 % |
8.96/9.00	c |     61168 |     369     1607     4880 |    19459    15729     18 |  0.001 % |
8.96/9.08	c |     61764 |     369     1607     4880 |    19459    16325     19 |  0.001 % |
9.05/9.18	c |     62419 |     369     1607     4880 |    19459    16980     19 |  0.001 % |
9.15/9.29	c |     63139 |     369     1607     4880 |    19459    17700     19 |  0.001 % |
9.35/9.40	c |     63931 |     369     1607     4880 |    19459    18492     19 |  0.001 % |
9.35/9.42	c |     64032 |     369     1607     4880 |    19459    18593     19 |  0.001 % |
9.35/9.44	c |     64142 |     369     1607     4880 |    19459    18703     19 |  0.001 % |
9.35/9.46	c |     64264 |     369     1607     4880 |    19459    18825     19 |  0.001 % |
9.35/9.48	c |     64397 |     369     1607     4880 |    19459    18958     19 |  0.001 % |
9.45/9.50	c |     64543 |     369     1607     4880 |    19459    19104     19 |  0.001 % |
9.45/9.53	c |     64704 |     369     1607     4880 |    19459    19265     19 |  0.001 % |
9.45/9.56	c |     64881 |     369     1607     4880 |    19459    19442     19 |  0.001 % |
9.55/9.61	c |     65075 |     369     1607     4880 |    19459    15280     18 |  0.001 % |
9.55/9.64	c |     65287 |     369     1607     4880 |    19459    15492     18 |  0.001 % |
9.55/9.67	c |     65520 |     369     1607     4880 |    19459    15725     19 |  0.001 % |
9.65/9.71	c |     65776 |     369     1607     4880 |    19459    15981     19 |  0.001 % |
9.65/9.74	c |     66057 |     369     1607     4880 |    19459    16262     19 |  0.001 % |
9.65/9.79	c |     66367 |     369     1607     4880 |    19459    16572     19 |  0.001 % |
9.76/9.85	c |     66708 |     369     1607     4880 |    19459    16913     19 |  0.001 % |
9.86/9.91	c |     67080 |     369     1607     4880 |    19459    17285     19 |  0.001 % |
9.86/9.97	c |     67489 |     369     1607     4880 |    19459    17694     19 |  0.001 % |
9.95/10.03	c |     67939 |     369     1607     4880 |    19459    18144     19 |  0.001 % |
10.05/10.11	c |     68435 |     369     1607     4880 |    19459    18640     19 |  0.001 % |
10.05/10.18	c |     68977 |     369     1607     4880 |    19459    19182     19 |  0.001 % |
10.15/10.28	c |     69574 |     369     1607     4880 |    19459    15630     18 |  0.001 % |
10.25/10.38	c |     70230 |     369     1607     4880 |    16058    12883     18 |  0.001 % |
10.35/10.46	c |     70954 |     369     1607     4880 |    16058    13607     18 |  0.001 % |
10.45/10.56	c |     71746 |     369     1607     4880 |    16058    14399     18 |  0.001 % |
10.55/10.67	c |     72617 |     369     1607     4880 |    16058    15270     18 |  0.001 % |
10.55/10.68	c |     72717 |     369     1607     4880 |    16058    15370     18 |  0.001 % |
10.65/10.70	c |     72827 |     369     1607     4880 |    16058    15480     18 |  0.001 % |
10.65/10.71	c |     72948 |     369     1607     4880 |    16058    15601     18 |  0.001 % |
10.65/10.73	c |     73081 |     369     1607     4880 |    16058    15734     18 |  0.001 % |
10.65/10.75	c |     73228 |     369     1607     4880 |    16058    15881     18 |  0.001 % |
10.65/10.78	c |     73388 |     369     1607     4880 |    16058    16041     18 |  0.001 % |
10.75/10.81	c |     73565 |     369     1607     4880 |    16058    13394     18 |  0.001 % |
10.75/10.83	c |     73758 |     369     1607     4880 |    16058    13587     18 |  0.001 % |
10.75/10.86	c |     73972 |     369     1607     4880 |    16058    13801     18 |  0.001 % |
10.75/10.89	c |     74206 |     369     1607     4880 |    16058    14035     18 |  0.001 % |
10.86/10.93	c |     74464 |     369     1607     4880 |    16058    14293     18 |  0.001 % |
10.86/10.96	c |     74745 |     369     1607     4880 |    16058    14574     18 |  0.001 % |
10.86/11.00	c |     75054 |     369     1607     4880 |    16058    14883     18 |  0.001 % |
10.96/11.05	c |     75393 |     369     1607     4880 |    16058    15222     18 |  0.001 % |
10.96/11.09	c |     75766 |     369     1607     4880 |    16058    15595     18 |  0.001 % |
11.05/11.15	c |     76175 |     369     1607     4880 |    16058    16004     18 |  0.001 % |
11.15/11.21	c |     76624 |     369     1607     4880 |    16058    13757     18 |  0.001 % |
11.15/11.27	c |     77118 |     369     1607     4880 |    16058    14251     18 |  0.001 % |
11.25/11.32	c |     77661 |     369     1607     4880 |    16058    14794     18 |  0.001 % |
11.35/11.40	c |     78259 |     369     1607     4880 |    16058    15392     18 |  0.001 % |
11.35/11.48	c |     78917 |     369     1607     4880 |    16058    16050     18 |  0.001 % |
11.45/11.58	c |     79638 |     369     1607     4880 |    16058    14270     18 |  0.001 % |
11.55/11.68	c |     80430 |     369     1607     4880 |    14632    12805     18 |  0.001 % |
11.65/11.78	c |     81301 |     369     1607     4880 |    14632    13676     18 |  0.001 % |
11.75/11.88	c |     82259 |     369     1607     4880 |    14632    14634     18 |  0.001 % |
11.85/11.90	c |     82360 |     369     1607     4880 |    14632    12757     18 |  0.001 % |
11.85/11.91	c |     82470 |     369     1607     4880 |    14632    12867     18 |  0.001 % |
11.85/11.93	c |     82594 |     369     1607     4880 |    14632    12991     18 |  0.001 % |
11.85/11.95	c |     82727 |     369     1607     4880 |    14632    13124     18 |  0.001 % |
11.85/11.96	c |     82873 |     369     1607     4880 |    14632    13270     18 |  0.001 % |
11.85/11.98	c |     83033 |     369     1607     4880 |    14632    13430     18 |  0.001 % |
11.96/12.00	c |     83210 |     369     1607     4880 |    14632    13607     18 |  0.001 % |
11.96/12.02	c |     83404 |     369     1607     4880 |    14632    13801     18 |  0.001 % |
11.96/12.05	c |     83618 |     369     1607     4880 |    14632    14015     18 |  0.001 % |
11.96/12.08	c |     83851 |     369     1607     4880 |    14632    14248     18 |  0.001 % |
12.06/12.12	c |     84108 |     369     1607     4880 |    14632    14505     18 |  0.001 % |
12.06/12.16	c |     84389 |     369     1607     4880 |    14632    12949     18 |  0.001 % |
12.15/12.20	c |     84701 |     369     1607     4880 |    14632    13261     18 |  0.001 % |
12.15/12.24	c |     85041 |     369     1607     4880 |    14632    13601     18 |  0.001 % |
12.15/12.29	c |     85414 |     369     1607     4880 |    14632    13974     18 |  0.001 % |
12.25/12.33	c |     85824 |     369     1607     4880 |    14632    14384     18 |  0.001 % |
12.25/12.39	c |     86274 |     369     1607     4880 |    14632    13056     18 |  0.001 % |
12.35/12.45	c |     86767 |     369     1607     4880 |    14632    13549     18 |  0.001 % |
12.45/12.52	c |     87310 |     369     1607     4880 |    14632    14092     19 |  0.001 % |
12.55/12.60	c |     87907 |     369     1607     4880 |    14632    12934     18 |  0.001 % |
12.55/12.67	c |     88563 |     369     1607     4880 |    14632    13590     18 |  0.001 % |
12.65/12.76	c |     89284 |     369     1607     4880 |    14632    14311     18 |  0.001 % |
12.75/12.86	c |     90077 |     369     1607     4880 |    13318    11854     18 |  0.001 % |
12.85/12.96	c |     90949 |     369     1607     4880 |    13318    12726     18 |  0.001 % |
12.95/13.08	c |     91907 |     369     1607     4880 |    13318    12247     18 |  0.001 % |
13.15/13.20	c |     92960 |     369     1607     4880 |    13318    13300     18 |  0.001 % |
13.15/13.22	c |     93061 |     369     1607     4880 |    13318    12042     18 |  0.001 % |
13.15/13.23	c |     93172 |     369     1607     4880 |    13318    12153     18 |  0.001 % |
13.15/13.25	c |     93294 |     369     1607     4880 |    13318    12275     18 |  0.001 % |
13.15/13.26	c |     93427 |     369     1607     4880 |    13318    12408     18 |  0.001 % |
13.15/13.28	c |     93573 |     369     1607     4880 |    13318    12554     18 |  0.001 % |
13.24/13.30	c |     93733 |     369     1607     4880 |    13318    12714     18 |  0.001 % |
13.24/13.32	c |     93913 |     369     1607     4880 |    13318    12894     18 |  0.001 % |
13.24/13.35	c |     94107 |     369     1607     4880 |    13318    13088     18 |  0.001 % |
13.24/13.38	c |     94320 |     369     1607     4880 |    13318    13301     18 |  0.001 % |
13.34/13.41	c |     94553 |     369     1607     4880 |    13318    12167     18 |  0.001 % |
13.34/13.44	c |     94812 |     369     1607     4880 |    13318    12426     18 |  0.001 % |
13.34/13.47	c |     95094 |     369     1607     4880 |    13318    12708     18 |  0.001 % |
13.44/13.52	c |     95405 |     369     1607     4880 |    13318    13019     18 |  0.001 % |
13.44/13.56	c |     95744 |     369     1607     4880 |    13318    12002     18 |  0.001 % |
13.54/13.60	c |     96116 |     369     1607     4880 |    13318    12374     18 |  0.001 % |
13.54/13.65	c |     96525 |     369     1607     4880 |    13318    12783     18 |  0.001 % |
13.64/13.71	c |     96974 |     369     1607     4880 |    13318    13232     18 |  0.001 % |
13.64/13.76	c |     97468 |     369     1607     4880 |    13318    12390     18 |  0.001 % |
13.74/13.82	c |     98010 |     369     1607     4880 |    13318    12932     18 |  0.001 % |
13.74/13.89	c |     98607 |     369     1607     4880 |    13318    12193     18 |  0.001 % |
13.84/13.97	c |     99262 |     369     1607     4880 |    13318    12848     18 |  0.001 % |
13.94/14.05	c |     99982 |     369     1607     4880 |    13318    12233     18 |  0.001 % |
14.04/14.15	c |    100774 |     369     1607     4880 | 2147483647    13025     18 |  0.001 % |
14.15/14.24	c |    101645 |     369     1607     4880 | 2147483647    13896     18 |  0.001 % |
14.25/14.36	c |    102603 |     369     1607     4880 | 2147483647    14854     18 |  0.001 % |
14.34/14.49	c |    103656 |     369     1607     4880 | 2147483647    15907     18 |  0.001 % |
14.54/14.64	c |    104816 |     369     1607     4880 | 2147483647    17067     18 |  0.001 % |
14.54/14.65	c |    104916 |     369     1607     4880 | 2147483647    17167     18 |  0.001 % |
14.54/14.67	c |    105027 |     369     1607     4880 | 2147483647    17278     19 |  0.001 % |
14.54/14.69	c |    105148 |     369     1607     4880 | 2147483647    17399     19 |  0.001 % |
14.64/14.71	c |    105281 |     369     1607     4880 | 2147483647    17532     19 |  0.001 % |
14.64/14.73	c |    105430 |     369     1607     4880 | 2147483647    17681     19 |  0.001 % |
14.64/14.76	c |    105593 |     369     1607     4880 | 2147483647    17844     19 |  0.001 % |
14.64/14.79	c |    105771 |     369     1607     4880 | 2147483647    18022     19 |  0.001 % |
14.74/14.82	c |    105966 |     369     1607     4880 | 2147483647    18217     19 |  0.001 % |
14.74/14.85	c |    106178 |     369     1607     4880 | 2147483647    18429     19 |  0.001 % |
14.74/14.89	c |    106411 |     369     1607     4880 | 2147483647    18662     19 |  0.001 % |
14.84/14.93	c |    106667 |     369     1607     4880 | 2147483647    18918     19 |  0.001 % |
14.84/14.97	c |    106948 |     369     1607     4880 | 2147483647    19199     19 |  0.001 % |
14.94/15.02	c |    107258 |     369     1607     4880 | 2147483647    19509     19 |  0.001 % |
14.94/15.08	c |    107598 |     369     1607     4880 | 2147483647    19849     19 |  0.001 % |
15.04/15.15	c |    107970 |     369     1607     4880 | 2147483647    20221     19 |  0.001 % |
15.14/15.23	c |    108379 |     369     1607     4880 | 2147483647    20630     19 |  0.001 % |
15.24/15.33	c |    108830 |     369     1607     4880 | 2147483647    21081     19 |  0.001 % |
15.34/15.43	c |    109323 |     369     1607     4880 | 2147483647    21574     19 |  0.001 % |
15.44/15.52	c |    109868 |     369     1607     4880 | 2147483647    22119     19 |  0.001 % |
15.54/15.64	c |    110464 |     369     1607     4880 |    22252    18763     18 |  0.001 % |
15.64/15.74	c |    111120 |     369     1607     4880 |    22252    19419     19 |  0.001 % |
15.74/15.86	c |    111840 |     369     1607     4880 |    22252    20139     19 |  0.001 % |
15.94/16.01	c |    112632 |     369     1607     4880 |    22252    20931     19 |  0.001 % |
16.04/16.16	c |    113504 |     369     1607     4880 |    22252    21803     19 |  0.001 % |
16.24/16.34	c |    114463 |     369     1607     4880 |    22252    17926     19 |  0.001 % |
16.44/16.51	c |    115516 |     369     1607     4880 |    22252    18979     19 |  0.001 % |
16.64/16.70	c |    116674 |     369     1607     4880 |    22252    20137     19 |  0.001 % |
16.84/16.92	c |    117947 |     369     1607     4880 |    22252    21410     19 |  0.001 % |
16.84/16.94	c |    118050 |     369     1607     4880 |    22252    21513     19 |  0.001 % |
16.84/16.96	c |    118162 |     369     1607     4880 |    22252    21625     19 |  0.001 % |
16.84/16.99	c |    118285 |     369     1607     4880 |    22252    21748     19 |  0.001 % |
16.94/17.01	c |    118418 |     369     1607     4880 |    22252    21881     19 |  0.001 % |
16.94/17.04	c |    118565 |     369     1607     4880 |    22252    22028     19 |  0.001 % |
16.94/17.07	c |    118725 |     369     1607     4880 |    22252    22188     19 |  0.001 % |
17.04/17.12	c |    118901 |     369     1607     4880 |    22252    17277     19 |  0.001 % |
17.04/17.15	c |    119098 |     369     1607     4880 |    22252    17474     19 |  0.001 % |
17.04/17.18	c |    119311 |     369     1607     4880 |    22252    17687     19 |  0.001 % |
17.14/17.22	c |    119544 |     369     1607     4880 |    22252    17920     19 |  0.001 % |
17.14/17.26	c |    119800 |     369     1607     4880 |    22252    18176     19 |  0.001 % |
17.24/17.31	c |    120081 |     369     1607     4880 |    18377    14285     18 |  0.001 % |
17.24/17.36	c |    120390 |     369     1607     4880 |    18377    14594     18 |  0.001 % |
17.34/17.40	c |    120729 |     369     1607     4880 |    18377    14933     18 |  0.001 % |
17.34/17.45	c |    121101 |     369     1607     4880 |    18377    15305     18 |  0.001 % |
17.34/17.50	c |    121513 |     369     1607     4880 |    18377    15717     19 |  0.001 % |
17.44/17.57	c |    121962 |     369     1607     4880 |    18377    16166     19 |  0.001 % |
17.54/17.65	c |    122458 |     369     1607     4880 |    18377    16662     19 |  0.001 % |
17.64/17.72	c |    123001 |     369     1607     4880 |    18377    17205     19 |  0.001 % |
17.74/17.82	c |    123597 |     369     1607     4880 |    18377    17801     19 |  0.001 % |
17.84/17.94	c |    124253 |     369     1607     4880 |    18377    14576     18 |  0.001 % |
17.94/18.04	c |    124973 |     369     1607     4880 |    18377    15296     19 |  0.001 % |
18.04/18.15	c |    125766 |     369     1607     4880 |    18377    16089     19 |  0.001 % |
18.14/18.28	c |    126637 |     369     1607     4880 |    18377    16960     19 |  0.001 % |
18.34/18.41	c |    127595 |     369     1607     4880 |    18377    17918     19 |  0.001 % |
18.44/18.57	c |    128648 |     369     1607     4880 |    18377    15149     19 |  0.001 % |
18.64/18.74	c |    129809 |     369     1607     4880 |    18377    16310     19 |  0.001 % |
18.84/18.91	c |    131082 |     369     1607     4880 |    16501    14195     18 |  0.001 % |
18.94/19.09	c |    132482 |     369     1607     4880 |    16501    15595     19 |  0.001 % |
19.04/19.10	c |    132583 |     369     1607     4880 |    16501    15696     19 |  0.001 % |
19.04/19.12	c |    132695 |     369     1607     4880 |    16501    15808     19 |  0.001 % |
19.04/19.14	c |    132817 |     369     1607     4880 |    16501    15930     19 |  0.001 % |
19.04/19.16	c |    132952 |     369     1607     4880 |    16501    16065     19 |  0.001 % |
19.04/19.18	c |    133099 |     369     1607     4880 |    16501    16212     19 |  0.001 % |
19.14/19.21	c |    133260 |     369     1607     4880 |    16501    16373     19 |  0.001 % |
19.14/19.23	c |    133437 |     369     1607     4880 |    16501    16550     19 |  0.001 % |
19.14/19.27	c |    133631 |     369     1607     4880 |    16501    13706     18 |  0.001 % |
19.14/19.29	c |    133843 |     369     1607     4880 |    16501    13918     18 |  0.001 % |
19.24/19.32	c |    134076 |     369     1607     4880 |    16501    14151     18 |  0.001 % |
19.24/19.35	c |    134332 |     369     1607     4880 |    16501    14407     18 |  0.001 % |
19.24/19.39	c |    134613 |     369     1607     4880 |    16501    14688     18 |  0.001 % |
19.34/19.42	c |    134922 |     369     1607     4880 |    16501    14997     18 |  0.001 % |
19.34/19.47	c |    135261 |     369     1607     4880 |    16501    15336     18 |  0.001 % |
19.44/19.52	c |    135634 |     369     1607     4880 |    16501    15709     19 |  0.001 % |
19.44/19.58	c |    136044 |     369     1607     4880 |    16501    16119     19 |  0.001 % |
19.54/19.66	c |    136496 |     369     1607     4880 |    16501    13704     18 |  0.001 % |
19.65/19.73	c |    136990 |     369     1607     4880 |    16501    14198     18 |  0.001 % |
19.65/19.80	c |    137533 |     369     1607     4880 |    16501    14741     18 |  0.001 % |
19.75/19.88	c |    138130 |     369     1607     4880 |    16501    15338     19 |  0.001 % |
19.84/19.97	c |    138786 |     369     1607     4880 |    16501    15994     19 |  0.001 % |
19.94/20.07	c |    139508 |     369     1607     4880 |    16501    13878     18 |  0.001 % |
20.04/20.18	c |    140300 |     369     1607     4880 |    14370    12224     18 |  0.001 % |
20.14/20.29	c |    141171 |     369     1607     4880 |    14370    13095     18 |  0.001 % |
20.34/20.42	c |    142131 |     369     1607     4880 |    14370    14055     18 |  0.001 % |
20.44/20.55	c |    143185 |     369     1607     4880 |    14370    12908     18 |  0.001 % |
20.54/20.68	c |    144344 |     369     1607     4880 |    14370    14067     18 |  0.001 % |
20.75/20.84	c |    145619 |     369     1607     4880 |    14370    13274     18 |  0.001 % |
20.94/21.01	c |    147019 |     369     1607     4880 |    14370    12695     18 |  0.001 % |
21.14/21.21	c |    148559 |     369     1607     4880 |    14370    14235     18 |  0.001 % |
21.14/21.22	c |    148660 |     369     1607     4880 |    14370    14336     18 |  0.001 % |
21.14/21.24	c |    148772 |     369     1607     4880 |    14370    12460     18 |  0.001 % |
21.14/21.26	c |    148894 |     369     1607     4880 |    14370    12582     18 |  0.001 % |
21.14/21.27	c |    149027 |     369     1607     4880 |    14370    12715     18 |  0.001 % |
21.14/21.29	c |    149174 |     369     1607     4880 |    14370    12862     18 |  0.001 % |
21.24/21.31	c |    149334 |     369     1607     4880 |    14370    13022     18 |  0.001 % |
21.24/21.34	c |    149512 |     369     1607     4880 |    14370    13200     18 |  0.001 % |
21.24/21.36	c |    149706 |     369     1607     4880 |    14370    13394     18 |  0.001 % |
21.24/21.39	c |    149919 |     369     1607     4880 |    14370    13607     18 |  0.001 % |
21.34/21.42	c |    150152 |     369     1607     4880 |    13689    11971     18 |  0.001 % |
21.34/21.45	c |    150408 |     369     1607     4880 |    13689    12227     18 |  0.001 % |
21.34/21.48	c |    150689 |     369     1607     4880 |    13689    12508     18 |  0.001 % |
21.44/21.52	c |    150998 |     369     1607     4880 |    13689    12817     18 |  0.001 % |
21.44/21.57	c |    151338 |     369     1607     4880 |    13689    13157     18 |  0.001 % |
21.54/21.61	c |    151710 |     369     1607     4880 |    13689    13529     18 |  0.001 % |
21.54/21.66	c |    152124 |     369     1607     4880 |    13689    12282     18 |  0.001 % |
21.64/21.71	c |    152574 |     369     1607     4880 |    13689    12732     18 |  0.001 % |
21.64/21.76	c |    153069 |     369     1607     4880 |    13689    13227     18 |  0.001 % |
21.74/21.83	c |    153612 |     369     1607     4880 |    13689    12254     18 |  0.001 % |
21.74/21.90	c |    154210 |     369     1607     4880 |    13689    12852     18 |  0.001 % |
21.84/21.97	c |    154865 |     369     1607     4880 |    13689    13507     18 |  0.001 % |
21.94/22.07	c |    155585 |     369     1607     4880 |    13689    12762     18 |  0.001 % |
22.04/22.16	c |    156377 |     369     1607     4880 |    13689    13554     18 |  0.001 % |
22.14/22.28	c |    157248 |     369     1607     4880 |    13689    12942     18 |  0.001 % |
22.34/22.40	c |    158206 |     369     1607     4880 |    13689    12417     18 |  0.001 % |
22.44/22.52	c |    159260 |     369     1607     4880 |    13689    13471     18 |  0.001 % |
22.54/22.66	c |    160420 |     369     1607     4880 |    12746    11817     18 |  0.001 % |
22.74/22.82	c |    161694 |     369     1607     4880 |    12746    11811     18 |  0.001 % |
22.84/22.99	c |    163095 |     369     1607     4880 |    12746    11922     17 |  0.001 % |
23.04/23.14	c |    164639 |     369     1607     4880 |    12746    12186     18 |  0.001 % |
23.24/23.33	c |    166333 |     369     1607     4880 |    12746    12603     18 |  0.001 % |
23.24/23.34	c |    166435 |     369     1607     4880 |    12746    12705     18 |  0.001 % |
23.24/23.36	c |    166545 |     369     1607     4880 |    12746    11538     18 |  0.001 % |
23.24/23.37	c |    166667 |     369     1607     4880 |    12746    11660     18 |  0.001 % |
23.24/23.39	c |    166801 |     369     1607     4880 |    12746    11794     18 |  0.001 % |
23.34/23.40	c |    166947 |     369     1607     4880 |    12746    11940     18 |  0.001 % |
23.34/23.42	c |    167113 |     369     1607     4880 |    12746    12106     18 |  0.001 % |
23.34/23.44	c |    167290 |     369     1607     4880 |    12746    12283     18 |  0.001 % |
23.34/23.46	c |    167485 |     369     1607     4880 |    12746    12478     18 |  0.001 % |
23.34/23.49	c |    167699 |     369     1607     4880 |    12746    12692     18 |  0.001 % |
23.44/23.52	c |    167935 |     369     1607     4880 |    12746    11649     18 |  0.001 % |
23.44/23.55	c |    168193 |     369     1607     4880 |    12746    11907     18 |  0.001 % |
23.44/23.58	c |    168474 |     369     1607     4880 |    12746    12188     18 |  0.001 % |
23.54/23.62	c |    168783 |     369     1607     4880 |    12746    12497     18 |  0.001 % |
23.54/23.66	c |    169122 |     369     1607     4880 |    12746    11558     18 |  0.001 % |
23.64/23.70	c |    169496 |     369     1607     4880 |    12746    11932     18 |  0.001 % |
23.64/23.75	c |    169905 |     369     1607     4880 |    12746    12341     18 |  0.001 % |
23.74/23.80	c |    170355 |     369     1607     4880 | 2147483647    12791     18 |  0.001 % |
23.74/23.86	c |    170848 |     369     1607     4880 | 2147483647    13284     18 |  0.001 % |
23.84/23.93	c |    171390 |     369     1607     4880 | 2147483647    13826     18 |  0.001 % |
23.94/24.01	c |    171986 |     369     1607     4880 | 2147483647    14422     18 |  0.001 % |
23.94/24.10	c |    172641 |     369     1607     4880 | 2147483647    15077     18 |  0.001 % |
24.04/24.19	c |    173362 |     369     1607     4880 | 2147483647    15798     18 |  0.001 % |
24.23/24.30	c |    174154 |     369     1607     4880 | 2147483647    16590     18 |  0.001 % |
24.33/24.43	c |    175025 |     369     1607     4880 | 2147483647    17461     18 |  0.001 % |
24.43/24.58	c |    175983 |     369     1607     4880 | 2147483647    18419     18 |  0.001 % |
24.63/24.74	c |    177038 |     369     1607     4880 | 2147483647    19474     18 |  0.001 % |
24.83/24.94	c |    178196 |     369     1607     4880 | 2147483647    20632     18 |  0.001 % |
25.04/25.15	c |    179469 |     369     1607     4880 | 2147483647    21905     18 |  0.001 % |
25.34/25.42	c |    180873 |     369     1607     4880 |    22438    19250     18 |  0.001 % |
25.64/25.70	c |    182413 |     369     1607     4880 |    22438    20790     18 |  0.001 % |
25.84/25.99	c |    184108 |     369     1607     4880 |    22438    22485     18 |  0.001 % |
26.14/26.30	c |    185972 |     369     1607     4880 |    22438    19500     18 |  0.001 % |
26.24/26.31	c |    186072 |     369     1607     4880 |    22438    19600     18 |  0.001 % |
26.24/26.34	c |    186182 |     369     1607     4880 |    22438    19710     18 |  0.001 % |
26.24/26.36	c |    186306 |     369     1607     4880 |    22438    19834     18 |  0.001 % |
26.24/26.39	c |    186440 |     369     1607     4880 |    22438    19968     18 |  0.001 % |
26.34/26.41	c |    186587 |     369     1607     4880 |    22438    20115     18 |  0.001 % |
26.34/26.44	c |    186747 |     369     1607     4880 |    22438    20275     18 |  0.001 % |
26.34/26.47	c |    186924 |     369     1607     4880 |    22438    20452     18 |  0.001 % |
26.43/26.51	c |    187117 |     369     1607     4880 |    22438    20645     18 |  0.001 % |
26.43/26.55	c |    187329 |     369     1607     4880 |    22438    20857     18 |  0.001 % |
26.43/26.60	c |    187563 |     369     1607     4880 |    22438    21091     18 |  0.001 % |
26.53/26.64	c |    187819 |     369     1607     4880 |    22438    21347     18 |  0.001 % |
26.53/26.69	c |    188100 |     369     1607     4880 |    22438    21628     18 |  0.001 % |
26.63/26.74	c |    188409 |     369     1607     4880 |    22438    21937     18 |  0.001 % |
26.63/26.79	c |    188751 |     369     1607     4880 |    22438    22279     18 |  0.001 % |
26.73/26.88	c |    189125 |     369     1607     4880 |    22438    17519     18 |  0.001 % |
26.83/26.94	c |    189535 |     369     1607     4880 |    22438    17929     18 |  0.001 % |
26.93/27.01	c |    189987 |     369     1607     4880 |    22438    18381     18 |  0.001 % |
26.93/27.08	c |    190481 |     369     1607     4880 |    18394    14697     18 |  0.001 % |
27.03/27.14	c |    191023 |     369     1607     4880 |    18394    15239     18 |  0.001 % |
27.13/27.23	c |    191620 |     369     1607     4880 |    18394    15836     18 |  0.001 % |
27.23/27.32	c |    192276 |     369     1607     4880 |    18394    16492     18 |  0.001 % |
27.34/27.42	c |    192998 |     369     1607     4880 |    18394    17214     18 |  0.001 % |
27.44/27.54	c |    193793 |     369     1607     4880 |    18394    18009     18 |  0.001 % |
27.53/27.67	c |    194664 |     369     1607     4880 |    18394    15090     18 |  0.001 % |
27.63/27.79	c |    195622 |     369     1607     4880 |    18394    16048     19 |  0.001 % |
27.83/27.92	c |    196675 |     369     1607     4880 |    18394    17101     19 |  0.001 % |
27.93/28.08	c |    197834 |     369     1607     4880 |    18394    18260     19 |  0.001 % |
28.13/28.26	c |    199107 |     369     1607     4880 |    18394    16076     19 |  0.001 % |
28.33/28.45	c |    200509 |     369     1607     4880 |    16969    14351     19 |  0.001 % |
28.53/28.65	c |    202049 |     369     1607     4880 |    16969    15891     19 |  0.001 % |
28.73/28.89	c |    203744 |     369     1607     4880 |    16969    14558     19 |  0.001 % |
29.03/29.14	c |    205608 |     369     1607     4880 |    16969    16422     19 |  0.001 % |
29.23/29.39	c |    207660 |     369     1607     4880 |    16969    15542     19 |  0.001 % |
29.33/29.40	c |    207762 |     369     1607     4880 |    16969    15644     19 |  0.001 % |
29.33/29.42	c |    207872 |     369     1607     4880 |    16969    15754     19 |  0.001 % |
29.33/29.44	c |    207994 |     369     1607     4880 |    16969    15876     19 |  0.001 % |
29.33/29.45	c |    208127 |     369     1607     4880 |    16969    16009     19 |  0.001 % |
29.33/29.47	c |    208273 |     369     1607     4880 |    16969    16155     19 |  0.001 % |
29.43/29.50	c |    208433 |     369     1607     4880 |    16969    16315     19 |  0.001 % |
29.43/29.52	c |    208609 |     369     1607     4880 |    16969    16491     19 |  0.001 % |
29.43/29.55	c |    208802 |     369     1607     4880 |    16969    16684     19 |  0.001 % |
29.43/29.58	c |    209014 |     369     1607     4880 |    16969    16896     19 |  0.001 % |
29.53/29.62	c |    209247 |     369     1607     4880 |    16969    14280     19 |  0.001 % |
29.53/29.65	c |    209503 |     369     1607     4880 |    16969    14536     19 |  0.001 % |
29.53/29.69	c |    209784 |     369     1607     4880 |    16969    14817     19 |  0.001 % |
29.63/29.74	c |    210093 |     369     1607     4880 |    15033    12615     18 |  0.001 % |
29.63/29.78	c |    210432 |     369     1607     4880 |    15033    12954     18 |  0.001 % |
29.73/29.82	c |    210805 |     369     1607     4880 |    15033    13327     18 |  0.001 % |
29.73/29.87	c |    211215 |     369     1607     4880 |    15033    13737     18 |  0.001 % |
29.83/29.92	c |    211665 |     369     1607     4880 |    15033    14187     19 |  0.001 % |
29.83/29.97	c |    212159 |     369     1607     4880 |    15033    14681     19 |  0.001 % |
29.93/30.05	c |    212703 |     369     1607     4880 |    15033    13063     18 |  0.001 % |
30.03/30.11	c |    213300 |     369     1607     4880 |    15033    13660     18 |  0.001 % |
30.13/30.20	c |    213956 |     369     1607     4880 |    15033    14316     18 |  0.001 % |
30.23/30.30	c |    214676 |     369     1607     4880 |    15033    15036     18 |  0.001 % |
30.33/30.41	c |    215468 |     369     1607     4880 |    15033    13667     18 |  0.001 % |
30.43/30.53	c |    216339 |     369     1607     4880 |    15033    14538     18 |  0.001 % |
30.53/30.65	c |    217297 |     369     1607     4880 |    15033    13340     18 |  0.001 % |
30.73/30.80	c |    218350 |     369     1607     4880 |    15033    14393     18 |  0.001 % |
30.83/30.96	c |    219509 |     369     1607     4880 |    15033    13384     18 |  0.001 % |
31.03/31.10	c |    220784 |     369     1607     4880 |    13875    12694     18 |  0.001 % |
31.13/31.25	c |    222184 |     369     1607     4880 |    13875    12466     18 |  0.001 % |
31.33/31.43	c |    223724 |     369     1607     4880 |    13875    12518     18 |  0.001 % |
31.53/31.61	c |    225418 |     369     1607     4880 |    13875    12820     18 |  0.001 % |
31.73/31.84	c |    227281 |     369     1607     4880 |    13875    13291     18 |  0.001 % |
31.93/32.07	c |    229330 |     369     1607     4880 |    13875    12558     19 |  0.001 % |
32.23/32.34	c |    231585 |     369     1607     4880 | 2147483647    14813     19 |  0.001 % |
32.23/32.36	c |    231685 |     369     1607     4880 | 2147483647    14913     19 |  0.001 % |
32.23/32.37	c |    231796 |     369     1607     4880 | 2147483647    15024     19 |  0.001 % |
32.23/32.39	c |    231917 |     369     1607     4880 | 2147483647    15145     19 |  0.001 % |
32.33/32.40	c |    232052 |     369     1607     4880 | 2147483647    15280     19 |  0.001 % |
32.33/32.42	c |    232198 |     369     1607     4880 | 2147483647    15426     19 |  0.001 % |
32.33/32.44	c |    232359 |     369     1607     4880 | 2147483647    15587     19 |  0.001 % |
32.33/32.46	c |    232536 |     369     1607     4880 | 2147483647    15764     19 |  0.001 % |
32.33/32.49	c |    232729 |     369     1607     4880 | 2147483647    15957     19 |  0.001 % |
32.42/32.52	c |    232941 |     369     1607     4880 | 2147483647    16169     19 |  0.001 % |
32.42/32.55	c |    233174 |     369     1607     4880 | 2147483647    16402     19 |  0.001 % |
32.42/32.59	c |    233432 |     369     1607     4880 | 2147483647    16660     19 |  0.001 % |
32.52/32.63	c |    233713 |     369     1607     4880 | 2147483647    16941     19 |  0.001 % |
32.52/32.69	c |    234022 |     369     1607     4880 | 2147483647    17250     19 |  0.001 % |
32.62/32.75	c |    234361 |     369     1607     4880 | 2147483647    17589     19 |  0.001 % |
32.72/32.80	c |    234733 |     369     1607     4880 | 2147483647    17961     19 |  0.001 % |
32.72/32.86	c |    235143 |     369     1607     4880 | 2147483647    18371     19 |  0.001 % |
32.83/32.94	c |    235593 |     369     1607     4880 | 2147483647    18821     19 |  0.001 % |
32.93/33.01	c |    236088 |     369     1607     4880 | 2147483647    19316     19 |  0.001 % |
33.02/33.10	c |    236632 |     369     1607     4880 | 2147483647    19860     19 |  0.001 % |
33.12/33.20	c |    237228 |     369     1607     4880 | 2147483647    20456     19 |  0.001 % |
33.22/33.32	c |    237885 |     369     1607     4880 | 2147483647    21113     19 |  0.001 % |
33.32/33.45	c |    238605 |     369     1607     4880 | 2147483647    21833     19 |  0.001 % |
33.52/33.61	c |    239398 |     369     1607     4880 | 2147483647    22626     19 |  0.001 % |
33.62/33.79	c |    240269 |     369     1607     4880 |    23228    18748     19 |  0.001 % |
33.82/33.96	c |    241227 |     369     1607     4880 |    23228    19706     19 |  0.001 % |
34.03/34.17	c |    242281 |     369     1607     4880 |    23228    20760     19 |  0.001 % |
34.22/34.38	c |    243440 |     369     1607     4880 |    23228    21919     19 |  0.001 % |
34.52/34.63	c |    244713 |     369     1607     4880 |    23228    23192     19 |  0.001 % |
34.72/34.85	c |    246113 |     369     1607     4880 |    23228    18796     18 |  0.001 % |
35.02/35.10	c |    247655 |     369     1607     4880 |    23228    20338     18 |  0.001 % |
35.22/35.39	c |    249349 |     369     1607     4880 |    23228    22032     18 |  0.001 % |
35.52/35.68	c |    251213 |     369     1607     4880 |    22687    18384     18 |  0.001 % |
35.92/36.02	c |    253262 |     369     1607     4880 |    22687    20433     18 |  0.001 % |
36.22/36.40	c |    255515 |     369     1607     4880 |    22687    22686     19 |  0.001 % |
36.62/36.71	c |    257994 |     369     1607     4880 |    22687    19592     19 |  0.001 % |
36.62/36.72	c |    258095 |     369     1607     4880 |    22687    19693     19 |  0.001 % |
36.62/36.74	c |    258207 |     369     1607     4880 |    22687    19805     19 |  0.001 % |
36.62/36.77	c |    258329 |     369     1607     4880 |    22687    19927     19 |  0.001 % |
36.62/36.79	c |    258465 |     369     1607     4880 |    22687    20063     19 |  0.001 % |
36.72/36.82	c |    258612 |     369     1607     4880 |    22687    20210     19 |  0.001 % |
36.72/36.85	c |    258772 |     369     1607     4880 |    22687    20370     19 |  0.001 % |
36.72/36.88	c |    258948 |     369     1607     4880 |    22687    20546     19 |  0.001 % |
36.82/36.92	c |    259143 |     369     1607     4880 |    22687    20741     19 |  0.001 % |
36.82/36.95	c |    259355 |     369     1607     4880 |    22687    20953     19 |  0.001 % |
36.82/36.99	c |    259588 |     369     1607     4880 |    22687    21186     19 |  0.001 % |
36.92/37.03	c |    259844 |     369     1607     4880 |    22687    21442     19 |  0.001 % |
37.02/37.10	c |    260125 |     369     1607     4880 |    21598    16621     19 |  0.001 % |
37.02/37.14	c |    260437 |     369     1607     4880 |    21598    16933     19 |  0.001 % |
37.02/37.19	c |    260777 |     369     1607     4880 |    21598    17273     19 |  0.001 % |
37.12/37.24	c |    261151 |     369     1607     4880 |    21598    17647     19 |  0.001 % |
37.22/37.31	c |    261561 |     369     1607     4880 |    21598    18057     19 |  0.001 % |
37.22/37.37	c |    262010 |     369     1607     4880 |    21598    18506     19 |  0.001 % |
37.32/37.44	c |    262504 |     369     1607     4880 |    21598    19000     19 |  0.001 % |
37.42/37.53	c |    263048 |     369     1607     4880 |    21598    19544     19 |  0.001 % |
37.52/37.62	c |    263644 |     369     1607     4880 |    21598    20140     19 |  0.001 % |
37.62/37.73	c |    264302 |     369     1607     4880 |    21598    20798     19 |  0.001 % |
37.72/37.86	c |    265023 |     369     1607     4880 |    21598    21519     19 |  0.001 % |
37.82/37.98	c |    265815 |     369     1607     4880 |    21598    17431     19 |  0.001 % |
38.02/38.12	c |    266686 |     369     1607     4880 |    21598    18302     19 |  0.001 % |
38.12/38.27	c |    267647 |     369     1607     4880 |    21598    19263     19 |  0.001 % |
38.32/38.43	c |    268700 |     369     1607     4880 |    21598    20316     19 |  0.001 % |
38.52/38.62	c |    269859 |     369     1607     4880 |    21598    21475     19 |  0.001 % |
38.72/38.86	c |    271132 |     369     1607     4880 |    21616    17915     19 |  0.001 % |
38.92/39.09	c |    272533 |     369     1607     4880 |    21616    19316     19 |  0.001 % |
39.22/39.39	c |    274074 |     369     1607     4880 |    21616    20857     19 |  0.001 % |
39.52/39.68	c |    275769 |     369     1607     4880 |    21616    17323     18 |  0.001 % |
39.81/39.95	c |    277632 |     369     1607     4880 |    21616    19186     18 |  0.001 % |
40.11/40.24	c |    279681 |     369     1607     4880 |    21616    21235     19 |  0.001 % |
40.41/40.56	c |    281936 |     369     1607     4880 |    21554    18519     19 |  0.001 % |
40.81/40.95	c |    284414 |     369     1607     4880 |    21554    20997     19 |  0.001 % |
41.31/41.41	c |    287139 |     369     1607     4880 |    21554    19095     19 |  0.001 % |
41.31/41.43	c |    287242 |     369     1607     4880 |    21554    19198     19 |  0.001 % |
41.31/41.45	c |    287354 |     369     1607     4880 |    21554    19310     19 |  0.001 % |
41.31/41.47	c |    287476 |     369     1607     4880 |    21554    19432     19 |  0.001 % |
41.31/41.49	c |    287610 |     369     1607     4880 |    21554    19566     19 |  0.001 % |
41.41/41.52	c |    287757 |     369     1607     4880 |    21554    19713     19 |  0.001 % |
41.41/41.55	c |    287919 |     369     1607     4880 |    21554    19875     19 |  0.001 % |
41.41/41.58	c |    288095 |     369     1607     4880 |    21554    20051     19 |  0.001 % |
41.51/41.61	c |    288288 |     369     1607     4880 |    21554    20244     19 |  0.001 % |
41.51/41.64	c |    288503 |     369     1607     4880 |    21554    20459     19 |  0.001 % |
41.51/41.70	c |    288736 |     369     1607     4880 |    21554    20692     19 |  0.001 % |
41.62/41.75	c |    288993 |     369     1607     4880 |    21554    20949     19 |  0.001 % |
41.62/41.80	c |    289274 |     369     1607     4880 |    21554    21230     19 |  0.001 % |
41.72/41.85	c |    289585 |     369     1607     4880 |    21554    21541     19 |  0.001 % |
41.81/41.93	c |    289924 |     369     1607     4880 |    21554    16987     19 |  0.001 % |
41.81/41.99	c |    290298 |     369     1607     4880 |    17063    13496     18 |  0.001 % |
41.91/42.04	c |    290709 |     369     1607     4880 |    17063    13907     18 |  0.001 % |
42.01/42.10	c |    291158 |     369     1607     4880 |    17063    14356     18 |  0.001 % |
42.01/42.17	c |    291652 |     369     1607     4880 |    17063    14850     18 |  0.001 % |
42.11/42.24	c |    292194 |     369     1607     4880 |    17063    15392     18 |  0.001 % |
42.21/42.33	c |    292790 |     369     1607     4880 |    17063    15988     18 |  0.001 % |
42.31/42.42	c |    293446 |     369     1607     4880 |    17063    16644     18 |  0.001 % |
42.41/42.54	c |    294166 |     369     1607     4880 |    17063    14011     18 |  0.001 % |
42.51/42.65	c |    294958 |     369     1607     4880 |    17063    14803     18 |  0.001 % |
42.61/42.79	c |    295830 |     369     1607     4880 |    17063    15675     18 |  0.001 % |
42.82/42.94	c |    296789 |     369     1607     4880 |    17063    16634     18 |  0.001 % |
43.01/43.11	c |    297842 |     369     1607     4880 |    17063    14308     18 |  0.001 % |
43.11/43.26	c |    299001 |     369     1607     4880 |    17063    15467     18 |  0.001 % |
43.31/43.44	c |    300274 |     369     1607     4880 |    16467    13609     18 |  0.001 % |
43.41/43.59	c |    301675 |     369     1607     4880 |    16467    15010     18 |  0.001 % |
43.71/43.81	c |    303217 |     369     1607     4880 |    16467    13951     18 |  0.001 % |
43.92/44.03	c |    304914 |     369     1607     4880 |    16467    15648     18 |  0.001 % |
44.11/44.28	c |    306777 |     369     1607     4880 |    16467    14947     18 |  0.001 % |
44.41/44.56	c |    308826 |     369     1607     4880 |    16467    14415     18 |  0.001 % |
44.71/44.83	c |    311079 |     369     1607     4880 |    15591    14223     18 |  0.001 % |
45.02/45.12	c |    313557 |     369     1607     4880 |    15591    14430     18 |  0.001 % |
45.41/45.51	c |    316282 |     369     1607     4880 |    15591    14905     18 |  0.001 % |
45.81/45.92	c |    319279 |     369     1607     4880 |    15591    15572     19 |  0.001 % |
45.81/45.94	c |    319379 |     369     1607     4880 |    15591    13362     19 |  0.001 % |
45.81/45.96	c |    319490 |     369     1607     4880 |    15591    13473     19 |  0.001 % |
45.81/45.97	c |    319611 |     369     1607     4880 |    15591    13594     19 |  0.001 % |
45.81/45.99	c |    319745 |     369     1607     4880 |    15591    13728     19 |  0.001 % |
45.91/46.01	c |    319891 |     369     1607     4880 |    15591    13874     19 |  0.001 % |
45.91/46.04	c |    320053 |     369     1607     4880 |    13983    11961     19 |  0.001 % |
45.91/46.07	c |    320229 |     369     1607     4880 |    13983    12137     19 |  0.001 % |
45.91/46.09	c |    320422 |     369     1607     4880 |    13983    12330     19 |  0.001 % |
46.01/46.12	c |    320635 |     369     1607     4880 |    13983    12543     19 |  0.001 % |
46.01/46.15	c |    320869 |     369     1607     4880 |    13983    12777     19 |  0.001 % |
46.01/46.17	c |    321125 |     369     1607     4880 |    13983    13033     19 |  0.001 % |
46.11/46.20	c |    321407 |     369     1607     4880 |    13983    13315     19 |  0.001 % |
46.11/46.24	c |    321718 |     369     1607     4880 |    13983    13626     19 |  0.001 % |
46.11/46.28	c |    322057 |     369     1607     4880 |    13983    13965     19 |  0.001 % |
46.21/46.34	c |    322429 |     369     1607     4880 |    13983    12452     19 |  0.001 % |
46.21/46.38	c |    322838 |     369     1607     4880 |    13983    12861     19 |  0.001 % |
46.31/46.43	c |    323287 |     369     1607     4880 |    13983    13310     19 |  0.001 % |
46.31/46.49	c |    323781 |     369     1607     4880 |    13983    13804     19 |  0.001 % |
46.41/46.55	c |    324324 |     369     1607     4880 |    13983    12686     18 |  0.001 % |
46.51/46.62	c |    324922 |     369     1607     4880 |    13983    13284     18 |  0.001 % |
46.51/46.69	c |    325579 |     369     1607     4880 |    13983    13941     18 |  0.001 % |
46.60/46.79	c |    326299 |     369     1607     4880 |    13983    13086     18 |  0.001 % |
46.70/46.87	c |    327091 |     369     1607     4880 |    13983    13878     18 |  0.001 % |
46.80/46.99	c |    327962 |     369     1607     4880 |    13983    13230     18 |  0.001 % |
47.00/47.11	c |    328922 |     369     1607     4880 |    13983    12696     18 |  0.001 % |
47.11/47.23	c |    329976 |     369     1607     4880 |    13983    13750     18 |  0.001 % |
47.21/47.36	c |    331134 |     369     1607     4880 |    13774    13474     18 |  0.001 % |
47.40/47.51	c |    332408 |     369     1607     4880 |    13774    13366     18 |  0.001 % |
47.50/47.66	c |    333809 |     369     1607     4880 |    13774    13386     18 |  0.001 % |
47.70/47.83	c |    335352 |     369     1607     4880 |    13774    13546     18 |  0.001 % |
47.90/48.04	c |    337047 |     369     1607     4880 |    13774    12478     18 |  0.001 % |
48.10/48.24	c |    338911 |     369     1607     4880 |    13774    12961     18 |  0.001 % |
48.31/48.49	c |    340961 |     369     1607     4880 | 2147483647    13631     18 |  0.001 % |
48.60/48.76	c |    343215 |     369     1607     4880 | 2147483647    15885     18 |  0.001 % |
49.00/49.11	c |    345693 |     369     1607     4880 | 2147483647    18363     18 |  0.001 % |
49.41/49.55	c |    348418 |     369     1607     4880 | 2147483647    21088     19 |  0.001 % |
49.90/50.06	c |    351415 |     369     1607     4880 |    22673    19829     18 |  0.001 % |
50.51/50.64	c |    354714 |     369     1607     4880 |    22673    17899     18 |  0.001 % |
50.51/50.66	c |    354814 |     369     1607     4880 |    22673    17999     18 |  0.001 % |
50.51/50.68	c |    354925 |     369     1607     4880 |    22673    18110     18 |  0.001 % |
50.60/50.70	c |    355047 |     369     1607     4880 |    22673    18232     18 |  0.001 % |
50.60/50.72	c |    355180 |     369     1607     4880 |    22673    18365     18 |  0.001 % |
50.60/50.74	c |    355326 |     369     1607     4880 |    22673    18511     18 |  0.001 % |
50.60/50.76	c |    355486 |     369     1607     4880 |    22673    18671     18 |  0.001 % |
50.60/50.78	c |    355662 |     369     1607     4880 |    22673    18847     18 |  0.001 % |
50.70/50.81	c |    355856 |     369     1607     4880 |    22673    19041     18 |  0.001 % |
50.70/50.84	c |    356069 |     369     1607     4880 |    22673    19254     18 |  0.001 % |
50.70/50.88	c |    356302 |     369     1607     4880 |    22673    19487     18 |  0.001 % |
50.80/50.92	c |    356560 |     369     1607     4880 |    22673    19745     18 |  0.001 % |
50.80/50.97	c |    356841 |     369     1607     4880 |    22673    20026     18 |  0.001 % |
50.90/51.03	c |    357150 |     369     1607     4880 |    22673    20335     18 |  0.001 % |
50.90/51.08	c |    357489 |     369     1607     4880 |    22673    20674     18 |  0.001 % |
51.00/51.16	c |    357864 |     369     1607     4880 |    22673    21049     18 |  0.001 % |
51.10/51.23	c |    358275 |     369     1607     4880 |    22673    21460     19 |  0.001 % |
51.20/51.32	c |    358724 |     369     1607     4880 |    22673    21909     19 |  0.001 % |
51.30/51.42	c |    359217 |     369     1607     4880 |    22673    22402     19 |  0.001 % |
51.40/51.53	c |    359759 |     369     1607     4880 |    22673    17542     18 |  0.001 % |
51.51/51.62	c |    360355 |     369     1607     4880 |    17784    13930     18 |  0.001 % |
51.51/51.70	c |    361011 |     369     1607     4880 |    17784    14586     18 |  0.001 % |
51.61/51.79	c |    361731 |     369     1607     4880 |    17784    15306     18 |  0.001 % |
51.80/51.90	c |    362524 |     369     1607     4880 |    17784    16099     18 |  0.001 % |
51.90/52.02	c |    363395 |     369     1607     4880 |    17784    16970     18 |  0.001 % |
52.00/52.16	c |    364353 |     369     1607     4880 |    17784    14462     18 |  0.001 % |
52.20/52.30	c |    365406 |     369     1607     4880 |    17784    15515     18 |  0.001 % |
52.30/52.45	c |    366565 |     369     1607     4880 |    17784    16674     18 |  0.001 % |
52.50/52.62	c |    367840 |     369     1607     4880 |    17784    14710     18 |  0.001 % |
52.70/52.82	c |    369240 |     369     1607     4880 |    17784    16110     18 |  0.001 % |
52.90/53.03	c |    370780 |     369     1607     4880 |    16870    14627     18 |  0.001 % |
53.10/53.27	c |    372475 |     369     1607     4880 |    16870    16322     18 |  0.001 % |
53.40/53.54	c |    374340 |     369     1607     4880 |    16870    15181     18 |  0.001 % |
53.70/53.84	c |    376389 |     369     1607     4880 |    16870    14173     18 |  0.001 % |
54.00/54.13	c |    378642 |     369     1607     4880 |    16870    16426     19 |  0.001 % |
54.30/54.44	c |    381120 |     369     1607     4880 |    14812    13424     18 |  0.001 % |
54.60/54.75	c |    383848 |     369     1607     4880 |    14812    14122     18 |  0.001 % |
55.00/55.10	c |    386846 |     369     1607     4880 |    14812    13439     18 |  0.001 % |
55.30/55.50	c |    390142 |     369     1607     4880 |    14828    13192     18 |  0.001 % |
55.80/55.93	c |    393767 |     369     1607     4880 |    14828    13227     18 |  0.001 % |
55.80/55.95	c |    393868 |     369     1607     4880 |    14828    13328     18 |  0.001 % |
55.80/55.96	c |    393978 |     369     1607     4880 |    14828    13438     18 |  0.001 % |
55.80/55.97	c |    394100 |     369     1607     4880 |    14828    13560     18 |  0.001 % |
55.80/55.99	c |    394233 |     369     1607     4880 |    14828    13693     18 |  0.001 % |
55.90/56.01	c |    394379 |     369     1607     4880 |    14828    13839     19 |  0.001 % |
55.90/56.04	c |    394541 |     369     1607     4880 |    14828    14001     19 |  0.001 % |
55.90/56.06	c |    394717 |     369     1607     4880 |    14828    14177     19 |  0.001 % |
55.90/56.08	c |    394910 |     369     1607     4880 |    14828    14370     19 |  0.001 % |
56.00/56.11	c |    395122 |     369     1607     4880 |    14828    14582     19 |  0.001 % |
56.00/56.14	c |    395355 |     369     1607     4880 |    14828    14815     19 |  0.001 % |
56.00/56.18	c |    395611 |     369     1607     4880 |    14828    13117     18 |  0.001 % |
56.10/56.21	c |    395892 |     369     1607     4880 |    14828    13398     18 |  0.001 % |
56.10/56.25	c |    396202 |     369     1607     4880 |    14828    13708     18 |  0.001 % |
56.10/56.29	c |    396542 |     369     1607     4880 |    14828    14048     18 |  0.001 % |
56.19/56.34	c |    396914 |     369     1607     4880 |    14828    14420     18 |  0.001 % |
56.19/56.38	c |    397326 |     369     1607     4880 |    14828    14832     18 |  0.001 % |
56.29/56.44	c |    397776 |     369     1607     4880 |    14828    13353     18 |  0.001 % |
56.29/56.49	c |    398269 |     369     1607     4880 |    14828    13846     19 |  0.001 % |
56.39/56.55	c |    398811 |     369     1607     4880 |    14828    14388     19 |  0.001 % |
56.49/56.63	c |    399408 |     369     1607     4880 |    14828    13133     19 |  0.001 % |
56.59/56.71	c |    400068 |     369     1607     4880 |    13725    12123     19 |  0.001 % |
56.59/56.79	c |    400790 |     369     1607     4880 |    13725    12845     19 |  0.001 % |
56.69/56.89	c |    401584 |     369     1607     4880 |    13725    13639     19 |  0.001 % |
56.79/56.99	c |    402458 |     369     1607     4880 |    13725    12956     19 |  0.001 % |
57.00/57.11	c |    403417 |     369     1607     4880 |    13725    12470     19 |  0.001 % |
57.10/57.25	c |    404471 |     369     1607     4880 |    13725    13524     19 |  0.001 % |
57.29/57.40	c |    405630 |     369     1607     4880 |    13725    13185     19 |  0.001 % |
57.39/57.58	c |    406903 |     369     1607     4880 |    13725    12931     19 |  0.001 % |
57.59/57.78	c |    408304 |     369     1607     4880 |    13725    12720     19 |  0.001 % |
57.79/57.99	c |    409844 |     369     1607     4880 |    13725    12631     19 |  0.001 % |
57.99/58.19	c |    411539 |     369     1607     4880 |    12788    11548     19 |  0.001 % |
58.29/58.43	c |    413403 |     369     1607     4880 |    12788    12044     19 |  0.001 % |
58.49/58.68	c |    415452 |     369     1607     4880 |    12788    12719     19 |  0.001 % |
58.79/58.93	c |    417705 |     369     1607     4880 |    12788    12294     19 |  0.001 % |
59.09/59.20	c |    420183 |     369     1607     4880 | 2147483647    12207     19 |  0.001 % |
59.30/59.49	c |    422909 |     369     1607     4880 | 2147483647    14933     19 |  0.001 % |
59.69/59.88	c |    425906 |     369     1607     4880 | 2147483647    17930     19 |  0.001 % |
60.19/60.37	c |    429203 |     369     1607     4880 | 2147483647    21227     19 |  0.001 % |
60.79/60.93	c |    432828 |     369     1607     4880 |    22028    21743     20 |  0.001 % |
61.39/61.59	c |    436815 |     369     1607     4880 |    22028    21735     20 |  0.001 % |
61.49/61.61	c |    436915 |     369     1607     4880 |    22028    21835     20 |  0.001 % |
61.49/61.63	c |    437025 |     369     1607     4880 |    22028    21945     20 |  0.001 % |
61.49/61.65	c |    437146 |     369     1607     4880 |    22028    22066     20 |  0.001 % |
61.49/61.69	c |    437281 |     369     1607     4880 |    22028    17731     20 |  0.001 % |
61.59/61.71	c |    437427 |     369     1607     4880 |    22028    17877     20 |  0.001 % |
61.59/61.74	c |    437588 |     369     1607     4880 |    22028    18038     20 |  0.001 % |
61.59/61.77	c |    437765 |     369     1607     4880 |    22028    18215     20 |  0.001 % |
61.69/61.80	c |    437960 |     369     1607     4880 |    22028    18410     20 |  0.001 % |
61.69/61.84	c |    438172 |     369     1607     4880 |    22028    18622     20 |  0.001 % |
61.69/61.88	c |    438405 |     369     1607     4880 |    22028    18855     20 |  0.001 % |
61.79/61.92	c |    438662 |     369     1607     4880 |    22028    19112     20 |  0.001 % |
61.79/61.97	c |    438944 |     369     1607     4880 |    22028    19394     20 |  0.001 % |
61.89/62.03	c |    439253 |     369     1607     4880 |    22028    19703     20 |  0.001 % |
61.89/62.10	c |    439593 |     369     1607     4880 |    22028    20043     20 |  0.001 % |
61.99/62.16	c |    439965 |     369     1607     4880 |    22028    20415     20 |  0.001 % |
62.09/62.24	c |    440377 |     369     1607     4880 |    20450    16406     20 |  0.001 % |
62.19/62.31	c |    440827 |     369     1607     4880 |    20450    16856     20 |  0.001 % |
62.19/62.38	c |    441320 |     369     1607     4880 |    20450    17349     20 |  0.001 % |
62.29/62.47	c |    441863 |     369     1607     4880 |    20450    17892     20 |  0.001 % |
62.39/62.56	c |    442461 |     369     1607     4880 |    20450    18490     20 |  0.001 % |
62.49/62.68	c |    443117 |     369     1607     4880 |    20450    19146     20 |  0.001 % |
62.69/62.81	c |    443837 |     369     1607     4880 |    20450    19866     20 |  0.001 % |
62.79/62.98	c |    444629 |     369     1607     4880 |    20450    16014     19 |  0.001 % |
62.99/63.10	c |    445503 |     369     1607     4880 |    20450    16888     19 |  0.001 % |
63.09/63.22	c |    446464 |     369     1607     4880 |    20450    17849     19 |  0.001 % |
63.19/63.38	c |    447518 |     369     1607     4880 |    20450    18903     19 |  0.001 % |
63.39/63.56	c |    448678 |     369     1607     4880 |    20450    20063     19 |  0.001 % |
63.59/63.79	c |    449952 |     369     1607     4880 |    20450    16806     19 |  0.001 % |
63.79/63.96	c |    451352 |     369     1607     4880 |    16854    14467     18 |  0.001 % |
63.99/64.15	c |    452893 |     369     1607     4880 |    16854    16008     19 |  0.001 % |
64.29/64.40	c |    454590 |     369     1607     4880 |    16854    14589     19 |  0.001 % |
64.49/64.62	c |    456453 |     369     1607     4880 |    16854    16452     19 |  0.001 % |
64.69/64.87	c |    458503 |     369     1607     4880 |    16854    15549     19 |  0.001 % |
64.99/65.19	c |    460756 |     369     1607     4880 |    14189    12541     19 |  0.001 % |
65.39/65.51	c |    463235 |     369     1607     4880 |    14189    12890     18 |  0.001 % |
65.69/65.85	c |    465961 |     369     1607     4880 |    14189    13596     18 |  0.001 % |
66.08/66.25	c |    468961 |     369     1607     4880 |    14189    12673     18 |  0.001 % |
66.48/66.69	c |    472257 |     369     1607     4880 |    13713    12375     18 |  0.001 % |
66.99/67.17	c |    475884 |     369     1607     4880 |    13713    12460     18 |  0.001 % |
67.48/67.62	c |    479871 |     369     1607     4880 |    13713    12933     19 |  0.001 % |
67.89/68.09	c |    484257 |     369     1607     4880 |    13062    11835     19 |  0.001 % |
67.99/68.10	c |    484357 |     369     1607     4880 |    13062    11935     19 |  0.001 % |
67.99/68.12	c |    484468 |     369     1607     4880 |    13062    12046     19 |  0.001 % |
67.99/68.13	c |    484589 |     369     1607     4880 |    13062    12167     19 |  0.001 % |
67.99/68.15	c |    484723 |     369     1607     4880 |    13062    12301     19 |  0.001 % |
67.99/68.16	c |    484870 |     369     1607     4880 |    13062    12448     19 |  0.001 % |
67.99/68.18	c |    485032 |     369     1607     4880 |    13062    12610     19 |  0.001 % |
68.09/68.21	c |    485211 |     369     1607     4880 |    13062    12789     19 |  0.001 % |
68.09/68.23	c |    485406 |     369     1607     4880 |    13062    12984     19 |  0.001 % |
68.09/68.27	c |    485620 |     369     1607     4880 |    13062    11889     19 |  0.001 % |
68.09/68.29	c |    485855 |     369     1607     4880 |    13062    12124     19 |  0.001 % |
68.18/68.32	c |    486112 |     369     1607     4880 |    13062    12381     19 |  0.001 % |
68.18/68.35	c |    486393 |     369     1607     4880 |    13062    12662     19 |  0.001 % |
68.18/68.39	c |    486702 |     369     1607     4880 |    13062    12971     19 |  0.001 % |
68.28/68.43	c |    487042 |     369     1607     4880 |    13062    12001     19 |  0.001 % |
68.28/68.47	c |    487417 |     369     1607     4880 |    13062    12376     19 |  0.001 % |
68.38/68.52	c |    487826 |     369     1607     4880 |    13062    12785     19 |  0.001 % |
68.38/68.58	c |    488276 |     369     1607     4880 |    13062    11926     19 |  0.001 % |
68.48/68.64	c |    488769 |     369     1607     4880 |    13062    12419     19 |  0.001 % |
68.58/68.70	c |    489311 |     369     1607     4880 |    13062    12961     19 |  0.001 % |
68.58/68.77	c |    489908 |     369     1607     4880 |    13062    12249     19 |  0.001 % |
68.68/68.85	c |    490564 |     369     1607     4880 | 2147483647    12905     19 |  0.001 % |
68.78/68.93	c |    491284 |     369     1607     4880 | 2147483647    13625     19 |  0.001 % |
68.88/69.02	c |    492076 |     369     1607     4880 | 2147483647    14417     19 |  0.001 % |
68.98/69.13	c |    492949 |     369     1607     4880 | 2147483647    15290     19 |  0.001 % |
69.09/69.27	c |    493907 |     369     1607     4880 | 2147483647    16248     19 |  0.001 % |
69.28/69.41	c |    494960 |     369     1607     4880 | 2147483647    17301     19 |  0.001 % |
69.38/69.57	c |    496119 |     369     1607     4880 | 2147483647    18460     19 |  0.001 % |
69.58/69.76	c |    497392 |     369     1607     4880 | 2147483647    19733     19 |  0.001 % |
69.78/69.99	c |    498794 |     369     1607     4880 | 2147483647    21135     19 |  0.001 % |
70.08/70.27	c |    500334 |     369     1607     4880 |    22341    19053     19 |  0.001 % |
70.38/70.56	c |    502028 |     369     1607     4880 |    22341    20747     19 |  0.001 % |
70.68/70.86	c |    503892 |     369     1607     4880 |    22341    17968     19 |  0.001 % |
70.98/71.17	c |    505943 |     369     1607     4880 |    22341    20019     19 |  0.001 % |
71.39/71.54	c |    508196 |     369     1607     4880 |    22341    22272     19 |  0.001 % |
71.78/71.91	c |    510674 |     369     1607     4880 |    19278    15858     19 |  0.001 % |
72.18/72.33	c |    513400 |     369     1607     4880 |    19278    18584     19 |  0.001 % |
72.58/72.72	c |    516398 |     369     1607     4880 |    19278    17642     19 |  0.001 % |
73.08/73.21	c |    519695 |     369     1607     4880 |    19278    17159     20 |  0.001 % |
73.58/73.72	c |    523320 |     369     1607     4880 |    17466    17387     19 |  0.001 % |
74.08/74.21	c |    527308 |     369     1607     4880 |    17466    14952     19 |  0.001 % |
74.58/74.74	c |    531694 |     369     1607     4880 |    14571    13704     18 |  0.001 % |
75.18/75.33	c |    536517 |     369     1607     4880 |    14571    14247     18 |  0.001 % |
75.18/75.35	c |    536617 |     369     1607     4880 |    14571    14347     18 |  0.001 % |
75.18/75.36	c |    536730 |     369     1607     4880 |    14571    14460     18 |  0.001 % |
75.18/75.37	c |    536853 |     369     1607     4880 |    14571    14583     18 |  0.001 % |
75.28/75.40	c |    536988 |     369     1607     4880 |    14571    12629     18 |  0.001 % |
75.28/75.41	c |    537135 |     369     1607     4880 |    14571    12776     18 |  0.001 % |
75.28/75.43	c |    537296 |     369     1607     4880 |    14571    12937     18 |  0.001 % |
75.28/75.46	c |    537472 |     369     1607     4880 |    14571    13113     18 |  0.001 % |
75.28/75.49	c |    537666 |     369     1607     4880 |    14571    13307     18 |  0.001 % |
75.38/75.51	c |    537880 |     369     1607     4880 |    14571    13521     18 |  0.001 % |
75.38/75.54	c |    538116 |     369     1607     4880 |    14571    13757     18 |  0.001 % |
75.38/75.57	c |    538374 |     369     1607     4880 |    14571    14015     18 |  0.001 % |
75.48/75.60	c |    538655 |     369     1607     4880 |    14571    14296     18 |  0.001 % |
75.48/75.63	c |    538966 |     369     1607     4880 |    14571    14607     18 |  0.001 % |
75.48/75.68	c |    539306 |     369     1607     4880 |    14571    12881     18 |  0.001 % |
75.58/75.71	c |    539679 |     369     1607     4880 |    14571    13254     18 |  0.001 % |
75.58/75.77	c |    540088 |     369     1607     4880 |    13576    11794     18 |  0.001 % |
75.68/75.82	c |    540537 |     369     1607     4880 |    13576    12243     18 |  0.001 % |
75.68/75.86	c |    541031 |     369     1607     4880 |    13576    12737     18 |  0.001 % |
75.78/75.93	c |    541574 |     369     1607     4880 |    13576    13280     18 |  0.001 % |
75.88/76.00	c |    542170 |     369     1607     4880 |    13576    12254     18 |  0.001 % |
75.88/76.07	c |    542825 |     369     1607     4880 |    13576    12909     18 |  0.001 % |
75.98/76.14	c |    543545 |     369     1607     4880 |    13576    12246     18 |  0.001 % |
76.08/76.23	c |    544340 |     369     1607     4880 |    13576    13041     18 |  0.001 % |
76.18/76.33	c |    545211 |     369     1607     4880 |    13576    12551     18 |  0.001 % |
76.28/76.46	c |    546169 |     369     1607     4880 |    13576    13509     18 |  0.001 % |
76.38/76.58	c |    547223 |     369     1607     4880 |    13576    13196     18 |  0.001 % |
76.58/76.72	c |    548382 |     369     1607     4880 |    13576    12994     19 |  0.001 % |
76.68/76.87	c |    549656 |     369     1607     4880 |    13576    12907     19 |  0.001 % |
76.88/77.05	c |    551057 |     369     1607     4880 | 2147483647    14308     19 |  0.001 % |
77.08/77.23	c |    552598 |     369     1607     4880 | 2147483647    15849     19 |  0.001 % |
77.28/77.48	c |    554292 |     369     1607     4880 | 2147483647    17543     19 |  0.001 % |
77.58/77.77	c |    556156 |     369     1607     4880 | 2147483647    19407     19 |  0.001 % |
77.88/78.08	c |    558206 |     369     1607     4880 | 2147483647    21457     19 |  0.001 % |
78.27/78.50	c |    560459 |     369     1607     4880 |    23252    19234     19 |  0.001 % |
78.77/78.91	c |    562937 |     369     1607     4880 |    23252    21712     19 |  0.001 % |
79.27/79.48	c |    565662 |     369     1607     4880 |    23252    19151     19 |  0.001 % |
79.87/80.01	c |    568659 |     369     1607     4880 |    23252    22148     19 |  0.001 % |
80.37/80.59	c |    571955 |     369     1607     4880 |    17830    15442     19 |  0.001 % |
80.87/81.09	c |    575580 |     369     1607     4880 |    17830    15359     18 |  0.001 % |
81.37/81.58	c |    579568 |     369     1607     4880 |    17830    15866     18 |  0.001 % |
81.97/82.14	c |    583954 |     369     1607     4880 |    16299    14389     18 |  0.001 % |
82.57/82.79	c |    588778 |     369     1607     4880 |    16299    13885     18 |  0.001 % |
83.27/83.41	c |    594083 |     369     1607     4880 |    15108    14675     19 |  0.001 % |
83.27/83.42	c |    594185 |     369     1607     4880 |    15108    14777     19 |  0.001 % |
83.27/83.44	c |    594295 |     369     1607     4880 |    15108    14887     19 |  0.001 % |
83.27/83.46	c |    594416 |     369     1607     4880 |    15108    15008     19 |  0.001 % |
83.27/83.47	c |    594550 |     369     1607     4880 |    15108    15142     19 |  0.001 % |
83.37/83.51	c |    594697 |     369     1607     4880 |    15108    13201     19 |  0.001 % |
83.37/83.53	c |    594858 |     369     1607     4880 |    15108    13362     19 |  0.001 % |
83.37/83.55	c |    595035 |     369     1607     4880 |    15108    13539     19 |  0.001 % |
83.37/83.58	c |    595228 |     369     1607     4880 |    15108    13732     19 |  0.001 % |
83.47/83.61	c |    595440 |     369     1607     4880 |    15108    13944     19 |  0.001 % |
83.47/83.65	c |    595674 |     369     1607     4880 |    15108    14178     19 |  0.001 % |
83.47/83.68	c |    595930 |     369     1607     4880 |    15108    14434     19 |  0.001 % |
83.57/83.73	c |    596211 |     369     1607     4880 |    15108    14715     19 |  0.001 % |
83.57/83.77	c |    596521 |     369     1607     4880 |    15108    15025     19 |  0.001 % |
83.67/83.81	c |    596860 |     369     1607     4880 |    15108    13171     19 |  0.001 % |
83.67/83.85	c |    597232 |     369     1607     4880 |    15108    13543     19 |  0.001 % |
83.67/83.89	c |    597642 |     369     1607     4880 |    15108    13953     19 |  0.001 % |
83.77/83.94	c |    598091 |     369     1607     4880 |    15108    14402     19 |  0.001 % |
83.87/84.01	c |    598584 |     369     1607     4880 |    15108    14895     19 |  0.001 % |
83.87/84.09	c |    599127 |     369     1607     4880 |    15108    13360     19 |  0.001 % |
83.97/84.16	c |    599723 |     369     1607     4880 |    15108    13956     19 |  0.001 % |
84.07/84.25	c |    600378 |     369     1607     4880 |    14233    12657     19 |  0.001 % |
84.17/84.34	c |    601098 |     369     1607     4880 |    14233    13377     19 |  0.001 % |
84.27/84.43	c |    601890 |     369     1607     4880 |    14233    14169     19 |  0.001 % |
84.37/84.54	c |    602761 |     369     1607     4880 |    14233    13315     19 |  0.001 % |
84.47/84.66	c |    603720 |     369     1607     4880 |    14233    12647     19 |  0.001 % |
84.57/84.79	c |    604776 |     369     1607     4880 |    14233    13703     19 |  0.001 % |
84.77/84.95	c |    605934 |     369     1607     4880 |    14233    13230     19 |  0.001 % |
84.97/85.11	c |    607207 |     369     1607     4880 |    14233    12826     19 |  0.001 % |
85.17/85.30	c |    608607 |     369     1607     4880 |    14233    14226     19 |  0.001 % |
85.37/85.51	c |    610147 |     369     1607     4880 |    13890    12306     19 |  0.001 % |
85.57/85.71	c |    611842 |     369     1607     4880 |    13890    12347     19 |  0.001 % |
85.77/85.96	c |    613705 |     369     1607     4880 |    13890    12530     19 |  0.001 % |
86.07/86.23	c |    615755 |     369     1607     4880 |    13890    12868     19 |  0.001 % |
86.37/86.55	c |    618008 |     369     1607     4880 |    13890    13399     19 |  0.001 % |
86.57/86.79	c |    620488 |     369     1607     4880 |    13680    12572     19 |  0.001 % |
86.97/87.11	c |    623213 |     369     1607     4880 |    13680    12439     19 |  0.001 % |
87.27/87.49	c |    626210 |     369     1607     4880 |    13680    12560     19 |  0.001 % |
87.67/87.90	c |    629506 |     369     1607     4880 |    13680    12993     19 |  0.001 % |
88.17/88.34	c |    633133 |     369     1607     4880 |    13488    12122     19 |  0.001 % |
88.67/88.80	c |    637121 |     369     1607     4880 |    13488    13022     19 |  0.001 % |
89.17/89.31	c |    641506 |     369     1607     4880 |    13021    11756     19 |  0.001 % |
89.67/89.80	c |    646329 |     369     1607     4880 |    13021    12497     19 |  0.001 % |
90.17/90.39	c |    651634 |     369     1607     4880 |    12025    11152     18 |  0.001 % |
90.87/91.00	c |    657472 |     369     1607     4880 |    12025    10963     18 |  0.001 % |
90.87/91.01	c |    657573 |     369     1607     4880 |    12025    11064     18 |  0.001 % |
90.87/91.02	c |    657684 |     369     1607     4880 |    12025    11175     18 |  0.001 % |
90.87/91.04	c |    657805 |     369     1607     4880 |    12025    11296     18 |  0.001 % |
90.87/91.05	c |    657939 |     369     1607     4880 |    12025    11430     18 |  0.001 % |
90.87/91.07	c |    658085 |     369     1607     4880 |    12025    11576     18 |  0.001 % |
90.87/91.08	c |    658246 |     369     1607     4880 |    12025    11737     18 |  0.001 % |
90.97/91.10	c |    658422 |     369     1607     4880 |    12025    11913     18 |  0.001 % |
90.97/91.13	c |    658617 |     369     1607     4880 |    12025    10903     18 |  0.001 % |
90.97/91.16	c |    658830 |     369     1607     4880 |    12025    11116     18 |  0.001 % |
90.97/91.19	c |    659064 |     369     1607     4880 |    12025    11350     18 |  0.001 % |
91.07/91.21	c |    659322 |     369     1607     4880 |    12025    11608     18 |  0.001 % |
91.07/91.25	c |    659604 |     369     1607     4880 |    12025    11890     18 |  0.001 % |
91.07/91.28	c |    659913 |     369     1607     4880 |    12025    10994     18 |  0.001 % |
91.17/91.32	c |    660253 |     369     1607     4880 | 2147483647    11334     18 |  0.001 % |
91.17/91.36	c |    660625 |     369     1607     4880 | 2147483647    11706     18 |  0.001 % |
91.17/91.39	c |    661036 |     369     1607     4880 | 2147483647    12117     19 |  0.001 % |
91.26/91.44	c |    661485 |     369     1607     4880 | 2147483647    12566     19 |  0.001 % |
91.36/91.50	c |    661979 |     369     1607     4880 | 2147483647    13060     19 |  0.001 % |
91.36/91.57	c |    662523 |     369     1607     4880 | 2147483647    13604     19 |  0.001 % |
91.46/91.65	c |    663120 |     369     1607     4880 | 2147483647    14201     19 |  0.001 % |
91.56/91.73	c |    663775 |     369     1607     4880 | 2147483647    14856     19 |  0.001 % |
91.66/91.82	c |    664496 |     369     1607     4880 | 2147483647    15577     19 |  0.001 % |
91.76/91.92	c |    665290 |     369     1607     4880 | 2147483647    16371     19 |  0.001 % |
91.86/92.03	c |    666163 |     369     1607     4880 | 2147483647    17244     19 |  0.001 % |
91.96/92.18	c |    667125 |     369     1607     4880 | 2147483647    18206     19 |  0.001 % |
92.17/92.35	c |    668181 |     369     1607     4880 | 2147483647    19262     19 |  0.001 % |
92.36/92.57	c |    669341 |     369     1607     4880 | 2147483647    20422     19 |  0.001 % |
92.66/92.80	c |    670614 |     369     1607     4880 |    21083    18169     18 |  0.001 % |
92.86/93.02	c |    672014 |     369     1607     4880 |    21083    19569     18 |  0.001 % |
93.06/93.29	c |    673555 |     369     1607     4880 |    21083    21110     18 |  0.001 % |
93.37/93.55	c |    675251 |     369     1607     4880 |    21083    18315     18 |  0.001 % |
93.66/93.83	c |    677115 |     369     1607     4880 |    21083    20179     19 |  0.001 % |
93.96/94.16	c |    679164 |     369     1607     4880 |    21083    17747     18 |  0.001 % |
94.26/94.48	c |    681417 |     369     1607     4880 |    18583    16018     18 |  0.001 % |
94.66/94.85	c |    683898 |     369     1607     4880 |    18583    18499     19 |  0.001 % |
94.96/95.20	c |    686624 |     369     1607     4880 |    18583    17292     19 |  0.001 % |
95.47/95.66	c |    689622 |     369     1607     4880 |    18583    16427     20 |  0.001 % |
95.96/96.17	c |    692918 |     369     1607     4880 |    16805    16274     20 |  0.001 % |
96.46/96.65	c |    696544 |     369     1607     4880 |    16805    16573     19 |  0.001 % |
96.96/97.14	c |    700531 |     369     1607     4880 |    16808    14266     19 |  0.001 % |
97.56/97.72	c |    704917 |     369     1607     4880 |    16808    15659     19 |  0.001 % |
98.26/98.40	c |    709740 |     369     1607     4880 |    16808    14337     20 |  0.001 % |
98.76/98.99	c |    715045 |     369     1607     4880 |    14598    12959     19 |  0.001 % |
99.46/99.61	c |    720884 |     369     1607     4880 |    14475    13749     19 |  0.001 % |
100.16/100.39	c |    727304 |     369     1607     4880 |    14475    13198     20 |  0.001 % |
100.26/100.40	c |    727404 |     369     1607     4880 |    14475    13298     20 |  0.001 % |
100.26/100.41	c |    727514 |     369     1607     4880 |    14475    13408     20 |  0.001 % |
100.26/100.43	c |    727636 |     369     1607     4880 |    14475    13530     20 |  0.001 % |
100.26/100.45	c |    727769 |     369     1607     4880 |    14475    13663     20 |  0.001 % |
100.26/100.47	c |    727915 |     369     1607     4880 |    14475    13809     20 |  0.001 % |
100.26/100.49	c |    728075 |     369     1607     4880 |    14475    13969     20 |  0.001 % |
100.36/100.51	c |    728253 |     369     1607     4880 |    14475    14147     20 |  0.001 % |
100.36/100.53	c |    728446 |     369     1607     4880 |    14475    14340     20 |  0.001 % |
100.36/100.56	c |    728658 |     369     1607     4880 |    14475    12761     20 |  0.001 % |
100.36/100.59	c |    728891 |     369     1607     4880 |    14475    12994     20 |  0.001 % |
100.46/100.62	c |    729147 |     369     1607     4880 |    14475    13250     20 |  0.001 % |
100.46/100.65	c |    729428 |     369     1607     4880 |    14475    13531     20 |  0.001 % |
100.46/100.69	c |    729738 |     369     1607     4880 |    14475    13841     20 |  0.001 % |
100.56/100.75	c |    730077 |     369     1607     4880 |    14103    12424     20 |  0.001 % |
100.56/100.79	c |    730452 |     369     1607     4880 |    14103    12799     20 |  0.001 % |
100.66/100.85	c |    730863 |     369     1607     4880 |    14103    13210     20 |  0.001 % |
100.66/100.89	c |    731314 |     369     1607     4880 |    14103    13661     20 |  0.001 % |
100.76/100.95	c |    731807 |     369     1607     4880 |    14103    14154     20 |  0.001 % |
100.86/101.03	c |    732350 |     369     1607     4880 |    14103    13119     20 |  0.001 % |
100.86/101.10	c |    732948 |     369     1607     4880 |    14103    13717     20 |  0.001 % |
100.96/101.18	c |    733603 |     369     1607     4880 |    14103    12868     20 |  0.001 % |
101.06/101.26	c |    734325 |     369     1607     4880 |    14103    13590     20 |  0.001 % |
101.16/101.37	c |    735119 |     369     1607     4880 |    14103    12970     20 |  0.001 % |
101.26/101.47	c |    735991 |     369     1607     4880 |    14103    13842     20 |  0.001 % |
101.46/101.60	c |    736949 |     369     1607     4880 |    14103    13387     20 |  0.001 % |
101.56/101.73	c |    738002 |     369     1607     4880 |    14103    13020     19 |  0.001 % |
101.66/101.86	c |    739161 |     369     1607     4880 |    14103    12765     19 |  0.001 % |
101.86/102.00	c |    740434 |     369     1607     4880 | 2147483647    14038     19 |  0.001 % |
101.96/102.18	c |    741834 |     369     1607     4880 | 2147483647    15438     20 |  0.001 % |
102.16/102.39	c |    743377 |     369     1607     4880 | 2147483647    16981     20 |  0.001 % |
102.46/102.64	c |    745073 |     369     1607     4880 | 2147483647    18677     20 |  0.001 % |
102.76/102.93	c |    746937 |     369     1607     4880 | 2147483647    20541     20 |  0.001 % |
103.16/103.33	c |    748987 |     369     1607     4880 | 2147483647    22591     19 |  0.001 % |
103.56/103.74	c |    751240 |     369     1607     4880 |    23604    20147     19 |  0.001 % |
103.96/104.19	c |    753720 |     369     1607     4880 |    23604    22627     19 |  0.001 % |
104.56/104.75	c |    756445 |     369     1607     4880 |    23604    19298     19 |  0.001 % |
105.06/105.29	c |    759443 |     369     1607     4880 |    23604    22296     19 |  0.001 % |
105.66/105.88	c |    762739 |     369     1607     4880 |    22853    19527     19 |  0.001 % |
106.36/106.57	c |    766364 |     369     1607     4880 |    22853    17027     19 |  0.001 % |
106.96/107.13	c |    770351 |     369     1607     4880 |    20664    15826     18 |  0.001 % |
107.56/107.75	c |    774736 |     369     1607     4880 |    20664    20211     19 |  0.001 % |
108.26/108.49	c |    779559 |     369     1607     4880 |    20664    20443     19 |  0.001 % |
108.96/109.12	c |    784865 |     369     1607     4880 |    16310    14682     19 |  0.001 % |
109.66/109.89	c |    790701 |     369     1607     4880 |    14568    12928     19 |  0.001 % |
110.46/110.65	c |    797120 |     369     1607     4880 |    14568    13547     19 |  0.001 % |
111.36/111.57	c |    804180 |     369     1607     4880 |    14477    12383     18 |  0.001 % |
111.36/111.58	c |    804280 |     369     1607     4880 |    14477    12483     18 |  0.001 % |
111.36/111.60	c |    804390 |     369     1607     4880 |    14477    12593     18 |  0.001 % |
111.46/111.61	c |    804511 |     369     1607     4880 |    14477    12714     18 |  0.001 % |
111.46/111.63	c |    804645 |     369     1607     4880 |    14477    12848     18 |  0.001 % |
111.46/111.64	c |    804791 |     369     1607     4880 |    14477    12994     18 |  0.001 % |
111.46/111.67	c |    804951 |     369     1607     4880 |    14477    13154     18 |  0.001 % |
111.46/111.69	c |    805131 |     369     1607     4880 |    14477    13334     18 |  0.001 % |
111.56/111.72	c |    805324 |     369     1607     4880 |    14477    13527     18 |  0.001 % |
111.56/111.74	c |    805536 |     369     1607     4880 |    14477    13739     18 |  0.001 % |
111.56/111.78	c |    805770 |     369     1607     4880 |    14477    13973     18 |  0.001 % |
111.66/111.81	c |    806026 |     369     1607     4880 |    14477    14229     18 |  0.001 % |
111.66/111.84	c |    806307 |     369     1607     4880 |    14477    14510     18 |  0.001 % |
111.66/111.88	c |    806617 |     369     1607     4880 |    14477    12692     18 |  0.001 % |
111.76/111.92	c |    806957 |     369     1607     4880 |    14477    13032     18 |  0.001 % |
111.76/111.96	c |    807330 |     369     1607     4880 |    14477    13405     18 |  0.001 % |
111.86/112.00	c |    807740 |     369     1607     4880 |    14477    13815     18 |  0.001 % |
111.86/112.05	c |    808189 |     369     1607     4880 |    14477    14264     18 |  0.001 % |
111.96/112.12	c |    808682 |     369     1607     4880 |    14477    12733     18 |  0.001 % |
111.96/112.17	c |    809224 |     369     1607     4880 |    14477    13275     18 |  0.001 % |
112.06/112.23	c |    809820 |     369     1607     4880 |    14477    13871     18 |  0.001 % |
112.16/112.31	c |    810477 |     369     1607     4880 |    14051    12695     18 |  0.001 % |
112.16/112.40	c |    811199 |     369     1607     4880 |    14051    13417     18 |  0.001 % |
112.26/112.50	c |    811991 |     369     1607     4880 |    14051    12561     18 |  0.001 % |
112.36/112.59	c |    812862 |     369     1607     4880 |    14051    13432     18 |  0.001 % |
112.56/112.70	c |    813820 |     369     1607     4880 |    14051    12879     18 |  0.001 % |
112.66/112.83	c |    814875 |     369     1607     4880 |    14051    13934     18 |  0.001 % |
112.76/112.98	c |    816035 |     369     1607     4880 |    14051    13627     18 |  0.001 % |
112.96/113.13	c |    817309 |     369     1607     4880 |    14051    13397     19 |  0.001 % |
113.06/113.29	c |    818710 |     369     1607     4880 |    14051    13311     19 |  0.001 % |
113.26/113.46	c |    820250 |     369     1607     4880 |    13134    12033     19 |  0.001 % |
113.45/113.67	c |    821946 |     369     1607     4880 |    13134    12411     19 |  0.001 % |
113.65/113.88	c |    823809 |     369     1607     4880 |    13134    12955     19 |  0.001 % |
113.95/114.11	c |    825858 |     369     1607     4880 |    13134    12369     18 |  0.001 % |
114.16/114.38	c |    828111 |     369     1607     4880 |    13134    11988     19 |  0.001 % |
114.45/114.68	c |    830591 |     369     1607     4880 | 2147483647    13152     19 |  0.001 % |
114.75/114.98	c |    833317 |     369     1607     4880 | 2147483647    15878     19 |  0.001 % |
115.26/115.40	c |    836317 |     369     1607     4880 | 2147483647    18878     19 |  0.001 % |
115.75/115.98	c |    839613 |     369     1607     4880 | 2147483647    22174     19 |  0.001 % |
116.36/116.51	c |    843238 |     369     1607     4880 |    22562    21583     19 |  0.001 % |
116.95/117.14	c |    847225 |     369     1607     4880 |    22562    20911     19 |  0.001 % |
117.65/117.86	c |    851610 |     369     1607     4880 |    18743    16231     19 |  0.001 % |
118.45/118.60	c |    856433 |     369     1607     4880 |    18743    17080     19 |  0.001 % |
119.15/119.39	c |    861738 |     369     1607     4880 |    16664    14937     19 |  0.001 % |
120.05/120.24	c |    867575 |     369     1607     4880 |    16664    14474     19 |  0.001 % |
120.76/120.97	c |    873993 |     369     1607     4880 |    13828    13160     19 |  0.001 % |
121.55/121.77	c |    881052 |     369     1607     4880 |    13544    12860     19 |  0.001 % |
122.35/122.60	c |    888818 |     369     1607     4880 |    13544    13500     20 |  0.001 % |
122.45/122.61	c |    888919 |     369     1607     4880 |    13544    13601     20 |  0.001 % |
122.45/122.63	c |    889029 |     369     1607     4880 |    13544    12351     20 |  0.001 % |
122.45/122.65	c |    889151 |     369     1607     4880 |    13544    12473     19 |  0.001 % |
122.45/122.67	c |    889284 |     369     1607     4880 |    13544    12606     20 |  0.001 % |
122.45/122.68	c |    889432 |     369     1607     4880 |    13544    12754     20 |  0.001 % |
122.55/122.70	c |    889592 |     369     1607     4880 |    13544    12914     20 |  0.001 % |
122.55/122.72	c |    889768 |     369     1607     4880 |    13544    13090     20 |  0.001 % |
122.55/122.74	c |    889963 |     369     1607     4880 |    13544    13285     20 |  0.001 % |
122.55/122.77	c |    890175 |     369     1607     4880 | 2147483647    13497     20 |  0.001 % |
122.65/122.80	c |    890408 |     369     1607     4880 | 2147483647    13730     19 |  0.001 % |
122.65/122.83	c |    890666 |     369     1607     4880 | 2147483647    13988     19 |  0.001 % |
122.65/122.86	c |    890947 |     369     1607     4880 | 2147483647    14269     19 |  0.001 % |
122.75/122.90	c |    891258 |     369     1607     4880 | 2147483647    14580     19 |  0.001 % |
122.75/122.95	c |    891597 |     369     1607     4880 | 2147483647    14919     19 |  0.001 % |
122.75/122.99	c |    891970 |     369     1607     4880 | 2147483647    15292     19 |  0.001 % |
122.85/123.04	c |    892379 |     369     1607     4880 | 2147483647    15701     19 |  0.001 % |
122.85/123.10	c |    892828 |     369     1607     4880 | 2147483647    16150     20 |  0.001 % |
122.95/123.16	c |    893322 |     369     1607     4880 | 2147483647    16644     20 |  0.001 % |
123.05/123.23	c |    893864 |     369     1607     4880 | 2147483647    17186     20 |  0.001 % |
123.15/123.32	c |    894462 |     369     1607     4880 | 2147483647    17784     20 |  0.001 % |
123.25/123.42	c |    895117 |     369     1607     4880 | 2147483647    18439     20 |  0.001 % |
123.35/123.51	c |    895837 |     369     1607     4880 | 2147483647    19159     20 |  0.001 % |
123.45/123.62	c |    896630 |     369     1607     4880 | 2147483647    19952     19 |  0.001 % |
123.55/123.76	c |    897502 |     369     1607     4880 | 2147483647    20824     19 |  0.001 % |
123.75/123.92	c |    898460 |     369     1607     4880 | 2147483647    21782     20 |  0.001 % |
123.85/124.09	c |    899513 |     369     1607     4880 | 2147483647    22835     20 |  0.001 % |
124.15/124.30	c |    900671 |     369     1607     4880 |    23324    19763     20 |  0.001 % |
124.35/124.51	c |    901944 |     369     1607     4880 |    23324    21036     20 |  0.001 % |
124.55/124.74	c |    903345 |     369     1607     4880 |    23324    22437     20 |  0.001 % |
124.85/125.04	c |    904885 |     369     1607     4880 |    23324    18933     19 |  0.001 % |
125.15/125.31	c |    906580 |     369     1607     4880 |    23324    20628     19 |  0.001 % |
125.45/125.64	c |    908443 |     369     1607     4880 |    23324    22491     19 |  0.001 % |
125.75/125.99	c |    910493 |     369     1607     4880 |    18590    14759     19 |  0.001 % |
126.15/126.32	c |    912747 |     369     1607     4880 |    18590    17013     19 |  0.001 % |
126.55/126.71	c |    915225 |     369     1607     4880 |    18590    15502     19 |  0.001 % |
126.95/127.11	c |    917950 |     369     1607     4880 |    18590    18227     19 |  0.001 % |
127.35/127.52	c |    920947 |     369     1607     4880 |    16368    13964     18 |  0.001 % |
127.75/127.91	c |    924244 |     369     1607     4880 |    16368    14414     18 |  0.001 % |
128.15/128.36	c |    927874 |     369     1607     4880 |    16368    15287     18 |  0.001 % |
128.74/128.90	c |    931862 |     369     1607     4880 |    14712    14150     19 |  0.001 % |
129.24/129.45	c |    936248 |     369     1607     4880 |    14712    14054     19 |  0.001 % |
129.84/130.08	c |    941073 |     369     1607     4880 |    13436    12503     19 |  0.001 % |
130.44/130.63	c |    946379 |     369     1607     4880 |    13436    12811     19 |  0.001 % |
131.04/131.29	c |    952214 |     369     1607     4880 |    13308    12632     19 |  0.001 % |
131.85/132.10	c |    958632 |     369     1607     4880 |    13308    12086     19 |  0.001 % |
132.74/132.98	c |    965691 |     369     1607     4880 |    12067    11563     20 |  0.001 % |
133.64/133.85	c |    973458 |     369     1607     4880 |    12076    11889     18 |  0.001 % |
134.64/134.81	c |    981999 |     369     1607     4880 |    11694    11211     17 |  0.001 % |
134.64/134.82	c |    982099 |     369     1607     4880 |    11694    11311     17 |  0.001 % |
134.64/134.83	c |    982209 |     369     1607     4880 |    11694    11421     17 |  0.001 % |
134.64/134.84	c |    982330 |     369     1607     4880 |    11694    11542     17 |  0.001 % |
134.64/134.85	c |    982464 |     369     1607     4880 |    11694    11676     17 |  0.001 % |
134.64/134.88	c |    982612 |     369     1607     4880 |    11694    10651     17 |  0.001 % |
134.64/134.89	c |    982774 |     369     1607     4880 |    11694    10813     17 |  0.001 % |
134.74/134.91	c |    982950 |     369     1607     4880 |    11694    10989     17 |  0.001 % |
134.74/134.93	c |    983143 |     369     1607     4880 |    11694    11182     17 |  0.001 % |
134.74/134.95	c |    983356 |     369     1607     4880 |    11694    11395     18 |  0.001 % |
134.74/134.97	c |    983589 |     369     1607     4880 |    11694    11628     18 |  0.001 % |
134.84/135.00	c |    983846 |     369     1607     4880 |    11694    10710     18 |  0.001 % |
134.84/135.03	c |    984128 |     369     1607     4880 |    11694    10992     18 |  0.001 % |
134.84/135.06	c |    984439 |     369     1607     4880 |    11694    11303     18 |  0.001 % |
134.94/135.10	c |    984782 |     369     1607     4880 |    11694    11646     18 |  0.001 % |
134.94/135.15	c |    985154 |     369     1607     4880 |    11694    10845     18 |  0.001 % |
134.94/135.19	c |    985564 |     369     1607     4880 |    11694    11255     18 |  0.001 % |
135.04/135.23	c |    986015 |     369     1607     4880 |    11694    11706     18 |  0.001 % |
135.04/135.28	c |    986508 |     369     1607     4880 |    11694    11029     18 |  0.001 % |
135.14/135.34	c |    987051 |     369     1607     4880 |    11694    11572     18 |  0.001 % |
135.24/135.41	c |    987647 |     369     1607     4880 |    11694    10996     18 |  0.001 % |
135.24/135.49	c |    988303 |     369     1607     4880 |    11694    11652     18 |  0.001 % |
135.34/135.55	c |    989024 |     369     1607     4880 |    11694    11200     18 |  0.001 % |
135.44/135.64	c |    989819 |     369     1607     4880 |    11694    10819     18 |  0.001 % |
135.54/135.72	c |    990690 |     369     1607     4880 | 2147483647    11690     19 |  0.001 % |
135.64/135.82	c |    991649 |     369     1607     4880 | 2147483647    12649     19 |  0.001 % |
135.74/135.95	c |    992702 |     369     1607     4880 | 2147483647    13702     19 |  0.001 % |
135.84/136.10	c |    993860 |     369     1607     4880 | 2147483647    14860     19 |  0.001 % |
136.04/136.25	c |    995134 |     369     1607     4880 | 2147483647    16134     19 |  0.001 % |
136.24/136.45	c |    996534 |     369     1607     4880 | 2147483647    17534     19 |  0.001 % |
136.44/136.67	c |    998075 |     369     1607     4880 | 2147483647    19075     19 |  0.001 % |
136.74/136.97	c |    999770 |     369     1607     4880 | 2147483647    20770     19 |  0.001 % |
137.04/137.27	c |   1001633 |     369     1607     4880 |    21002    19314     19 |  0.001 % |
137.44/137.60	c |   1003682 |     369     1607     4880 |    21002    17284     19 |  0.001 % |
137.74/137.91	c |   1005935 |     369     1607     4880 |    21002    19537     19 |  0.001 % |
138.14/138.33	c |   1008413 |     369     1607     4880 |    21002    17730     19 |  0.001 % |
138.54/138.76	c |   1011138 |     369     1607     4880 |    19317    16412     19 |  0.001 % |
139.04/139.21	c |   1014136 |     369     1607     4880 |    19317    15462     18 |  0.001 % |
139.54/139.71	c |   1017432 |     369     1607     4880 |    19317    18758     18 |  0.001 % |
140.04/140.22	c |   1021059 |     369     1607     4880 |    17297    14798     18 |  0.001 % |
140.54/140.71	c |   1025047 |     369     1607     4880 |    17297    15588     18 |  0.001 % |
141.04/141.29	c |   1029433 |     369     1607     4880 |    17297    16766     19 |  0.001 % |
141.74/141.90	c |   1034257 |     369     1607     4880 |    17333    15684     19 |  0.001 % |
142.54/142.79	c |   1039564 |     369     1607     4880 |    17333    14796     19 |  0.001 % |
143.24/143.42	c |   1045399 |     369     1607     4880 |    15232    13033     18 |  0.001 % |
143.94/144.16	c |   1051818 |     369     1607     4880 |    13254    13217     18 |  0.001 % |
144.74/144.97	c |   1058878 |     369     1607     4880 |    13254    12776     19 |  0.001 % |
145.74/145.93	c |   1066645 |     369     1607     4880 | 2147483647    19170     19 |  0.001 % |
147.03/147.29	c |   1075186 |     369     1607     4880 |    22526    18938     19 |  0.001 % |
148.53/148.78	c |   1084581 |     369     1607     4880 |    18384    14483     19 |  0.001 % |
148.53/148.80	c |   1084682 |     369     1607     4880 |    18384    14584     19 |  0.001 % |
148.63/148.81	c |   1084792 |     369     1607     4880 |    18384    14694     19 |  0.001 % |
148.63/148.83	c |   1084913 |     369     1607     4880 |    18384    14815     19 |  0.001 % |
148.63/148.84	c |   1085046 |     369     1607     4880 |    18384    14948     19 |  0.001 % |
148.63/148.86	c |   1085192 |     369     1607     4880 |    18384    15094     19 |  0.001 % |
148.63/148.89	c |   1085356 |     369     1607     4880 |    18384    15258     19 |  0.001 % |
148.73/148.91	c |   1085534 |     369     1607     4880 |    18384    15436     19 |  0.001 % |
148.73/148.94	c |   1085727 |     369     1607     4880 |    18384    15629     19 |  0.001 % |
148.73/148.97	c |   1085940 |     369     1607     4880 |    18384    15842     19 |  0.001 % |
148.73/149.00	c |   1086173 |     369     1607     4880 |    18384    16075     19 |  0.001 % |
148.83/149.03	c |   1086429 |     369     1607     4880 |    18384    16331     19 |  0.001 % |
148.83/149.07	c |   1086710 |     369     1607     4880 |    18384    16612     19 |  0.001 % |
148.93/149.11	c |   1087019 |     369     1607     4880 |    18384    16921     19 |  0.001 % |
148.93/149.16	c |   1087361 |     369     1607     4880 |    18384    17263     19 |  0.001 % |
149.03/149.21	c |   1087733 |     369     1607     4880 |    18384    17635     19 |  0.001 % |
149.03/149.27	c |   1088142 |     369     1607     4880 |    18384    18044     19 |  0.001 % |
149.13/149.36	c |   1088593 |     369     1607     4880 |    18384    14563     19 |  0.001 % |
149.23/149.42	c |   1089086 |     369     1607     4880 |    18384    15056     19 |  0.001 % |
149.23/149.48	c |   1089628 |     369     1607     4880 |    18384    15598     19 |  0.001 % |
149.34/149.56	c |   1090224 |     369     1607     4880 |    15971    12890     18 |  0.001 % |
149.44/149.63	c |   1090880 |     369     1607     4880 |    15971    13546     19 |  0.001 % |
149.53/149.71	c |   1091600 |     369     1607     4880 |    15971    14266     19 |  0.001 % |
149.63/149.80	c |   1092392 |     369     1607     4880 |    15971    15058     19 |  0.001 % |
149.73/149.93	c |   1093263 |     369     1607     4880 |    15971    15929     19 |  0.001 % |
149.83/150.06	c |   1094221 |     369     1607     4880 |    15971    14218     19 |  0.001 % |
149.93/150.18	c |   1095275 |     369     1607     4880 |    15971    15272     19 |  0.001 % |
150.13/150.34	c |   1096433 |     369     1607     4880 |    15971    13958     19 |  0.001 % |
150.23/150.49	c |   1097706 |     369     1607     4880 |    15971    15231     19 |  0.001 % |
150.44/150.66	c |   1099108 |     369     1607     4880 |    15971    14286     19 |  0.001 % |
150.63/150.84	c |   1100650 |     369     1607     4880 |    15178    13667     19 |  0.001 % |
150.83/151.04	c |   1102344 |     369     1607     4880 |    15178    13390     19 |  0.001 % |
151.03/151.29	c |   1104209 |     369     1607     4880 |    15178    13215     19 |  0.001 % |
151.33/151.58	c |   1106259 |     369     1607     4880 |    15178    13083     19 |  0.001 % |
151.63/151.89	c |   1108512 |     369     1607     4880 |    15178    13146     19 |  0.001 % |
151.93/152.14	c |   1110990 |     369     1607     4880 |    14634    13580     19 |  0.001 % |
152.23/152.46	c |   1113716 |     369     1607     4880 |    14634    14344     19 |  0.001 % |
152.63/152.84	c |   1116715 |     369     1607     4880 |    14634    13671     19 |  0.001 % |
153.03/153.24	c |   1120011 |     369     1607     4880 |    13307    13318     19 |  0.001 % |
153.43/153.62	c |   1123637 |     369     1607     4880 |    13307    12274     18 |  0.001 % |
153.83/154.03	c |   1127624 |     369     1607     4880 |    13307    11991     19 |  0.001 % |
154.33/154.54	c |   1132011 |     369     1607     4880 |    12951    12205     19 |  0.001 % |
154.83/155.02	c |   1136834 |     369     1607     4880 |    12951    11766     19 |  0.001 % |
155.43/155.60	c |   1142140 |     369     1607     4880 | 2147483647    14473     20 |  0.001 % |
156.33/156.58	c |   1147975 |     369     1607     4880 | 2147483647    20308     20 |  0.001 % |
157.53/157.75	c |   1154395 |     369     1607     4880 |    22335    22294     20 |  0.001 % |
158.63/158.85	c |   1161454 |     369     1607     4880 |    17193    14478     19 |  0.001 % |
159.83/160.01	c |   1169218 |     369     1607     4880 |    17193    14767     19 |  0.001 % |
160.93/161.14	c |   1177758 |     369     1607     4880 |    15550    14089     18 |  0.001 % |
162.13/162.32	c |   1187153 |     369     1607     4880 |    13549    12459     18 |  0.001 % |
163.33/163.53	c |   1197486 |     369     1607     4880 |    13417    12459     18 |  0.001 % |
163.33/163.54	c |   1197588 |     369     1607     4880 |    13417    12561     18 |  0.001 % |
163.33/163.55	c |   1197702 |     369     1607     4880 |    13417    12675     18 |  0.001 % |
163.33/163.57	c |   1197823 |     369     1607     4880 |    13417    12796     18 |  0.001 % |
163.33/163.59	c |   1197956 |     369     1607     4880 |    13417    12929     18 |  0.001 % |
163.43/163.60	c |   1198102 |     369     1607     4880 |    13417    13075     18 |  0.001 % |
163.43/163.62	c |   1198262 |     369     1607     4880 |    13417    13235     18 |  0.001 % |
163.43/163.64	c |   1198440 |     369     1607     4880 |    13417    13413     18 |  0.001 % |
163.43/163.67	c |   1198633 |     369     1607     4880 |    13417    11991     18 |  0.001 % |
163.43/163.69	c |   1198846 |     369     1607     4880 |    13417    12204     18 |  0.001 % |
163.53/163.73	c |   1199080 |     369     1607     4880 |    13417    12438     18 |  0.001 % |
163.53/163.75	c |   1199336 |     369     1607     4880 |    13417    12694     18 |  0.001 % |
163.53/163.77	c |   1199619 |     369     1607     4880 |    13417    12977     18 |  0.001 % |
163.63/163.80	c |   1199928 |     369     1607     4880 |    13417    13286     18 |  0.001 % |
163.63/163.84	c |   1200268 |     369     1607     4880 |    13361    12084     18 |  0.001 % |
163.63/163.89	c |   1200641 |     369     1607     4880 |    13361    12457     18 |  0.001 % |
163.73/163.93	c |   1201050 |     369     1607     4880 |    13361    12866     18 |  0.001 % |
163.73/163.98	c |   1201499 |     369     1607     4880 |    13361    13315     18 |  0.001 % |
163.82/164.05	c |   1201994 |     369     1607     4880 |    13361    12471     18 |  0.001 % |
163.92/164.11	c |   1202537 |     369     1607     4880 |    13361    13014     18 |  0.001 % |
163.92/164.19	c |   1203133 |     369     1607     4880 |    13361    12272     18 |  0.001 % |
164.02/164.25	c |   1203789 |     369     1607     4880 |    13361    12928     18 |  0.001 % |
164.12/164.34	c |   1204509 |     369     1607     4880 |    13361    12307     18 |  0.001 % |
164.22/164.43	c |   1205301 |     369     1607     4880 |    13361    13099     18 |  0.001 % |
164.32/164.54	c |   1206172 |     369     1607     4880 |    13361    12630     18 |  0.001 % |
164.42/164.66	c |   1207131 |     369     1607     4880 |    13361    12248     18 |  0.001 % |
164.52/164.78	c |   1208185 |     369     1607     4880 |    13361    13302     18 |  0.001 % |
164.73/164.92	c |   1209343 |     369     1607     4880 |    13361    13119     18 |  0.001 % |
164.83/165.06	c |   1210616 |     369     1607     4880 | 2147483647    13054     19 |  0.001 % |
165.02/165.23	c |   1212016 |     369     1607     4880 | 2147483647    14454     19 |  0.001 % |
165.12/165.39	c |   1213556 |     369     1607     4880 | 2147483647    15994     19 |  0.001 % |
165.42/165.62	c |   1215251 |     369     1607     4880 | 2147483647    17689     19 |  0.001 % |
165.72/165.91	c |   1217115 |     369     1607     4880 | 2147483647    19553     19 |  0.001 % |
166.02/166.24	c |   1219165 |     369     1607     4880 | 2147483647    21603     19 |  0.001 % |
166.42/166.64	c |   1221418 |     369     1607     4880 |    22438    20147     19 |  0.001 % |
166.82/167.08	c |   1223896 |     369     1607     4880 |    22438    17999     19 |  0.001 % |
167.22/167.50	c |   1226621 |     369     1607     4880 |    22438    20724     19 |  0.001 % |
167.72/167.98	c |   1229619 |     369     1607     4880 |    22438    18852     19 |  0.001 % |
168.22/168.50	c |   1232916 |     369     1607     4880 |    19233    17969     19 |  0.001 % |
168.82/169.07	c |   1236541 |     369     1607     4880 |    19233    17285     19 |  0.001 % |
169.52/169.73	c |   1240528 |     369     1607     4880 |    16373    13164     19 |  0.001 % |
170.02/170.27	c |   1244914 |     369     1607     4880 |    16373    14411     19 |  0.001 % |
170.62/170.89	c |   1249737 |     369     1607     4880 |    16373    16173     18 |  0.001 % |
171.32/171.51	c |   1255042 |     369     1607     4880 |    13448    12527     18 |  0.001 % |
171.82/172.07	c |   1260877 |     369     1607     4880 |    12948    12470     19 |  0.001 % |
172.62/172.87	c |   1267296 |     369     1607     4880 |    12948    11766     19 |  0.001 % |
173.52/173.75	c |   1274357 |     369     1607     4880 |    12940    12424     19 |  0.001 % |
174.42/174.67	c |   1282122 |     369     1607     4880 |    11948    11496     18 |  0.001 % |
175.42/175.63	c |   1290662 |     369     1607     4880 | 2147483647    11639     19 |  0.001 % |
176.92/177.13	c |   1300056 |     369     1607     4880 |    20977    17634     20 |  0.001 % |
178.42/178.64	c |   1310391 |     369     1607     4880 |    19413    15721     19 |  0.001 % |
180.02/180.28	c |   1321757 |     369     1607     4880 |    17097    15225     19 |  0.001 % |
180.02/180.30	c |   1321859 |     369     1607     4880 |    17097    15327     19 |  0.001 % |
180.12/180.32	c |   1321969 |     369     1607     4880 |    17097    15437     19 |  0.001 % |
180.12/180.34	c |   1322090 |     369     1607     4880 |    17097    15558     19 |  0.001 % |
180.12/180.36	c |   1322225 |     369     1607     4880 |    17097    15693     19 |  0.001 % |
180.12/180.37	c |   1322372 |     369     1607     4880 |    17097    15840     19 |  0.001 % |
180.12/180.40	c |   1322534 |     369     1607     4880 |    17097    16002     19 |  0.001 % |
180.22/180.43	c |   1322711 |     369     1607     4880 |    17097    16179     19 |  0.001 % |
180.22/180.47	c |   1322904 |     369     1607     4880 |    17097    16372     19 |  0.001 % |
180.32/180.50	c |   1323118 |     369     1607     4880 |    17097    16586     19 |  0.001 % |
180.32/180.54	c |   1323351 |     369     1607     4880 |    17097    16819     19 |  0.001 % |
180.32/180.58	c |   1323607 |     369     1607     4880 |    17097    17075     19 |  0.001 % |
180.42/180.64	c |   1323889 |     369     1607     4880 |    17097    13873     19 |  0.001 % |
180.42/180.68	c |   1324198 |     369     1607     4880 |    17097    14182     19 |  0.001 % |
180.52/180.73	c |   1324537 |     369     1607     4880 |    17097    14521     19 |  0.001 % |
180.52/180.78	c |   1324910 |     369     1607     4880 |    17097    14894     19 |  0.001 % |
180.61/180.84	c |   1325319 |     369     1607     4880 |    17097    15303     19 |  0.001 % |
180.71/180.92	c |   1325770 |     369     1607     4880 |    17097    15754     19 |  0.001 % |
180.81/181.00	c |   1326264 |     369     1607     4880 |    17097    16248     19 |  0.001 % |
180.81/181.09	c |   1326806 |     369     1607     4880 |    17097    16790     19 |  0.001 % |
180.91/181.19	c |   1327402 |     369     1607     4880 |    17097    14021     19 |  0.001 % |
181.01/181.28	c |   1328058 |     369     1607     4880 |    17097    14677     19 |  0.001 % |
181.11/181.37	c |   1328778 |     369     1607     4880 |    17097    15397     19 |  0.001 % |
181.22/181.46	c |   1329573 |     369     1607     4880 |    17097    16192     19 |  0.001 % |
181.32/181.60	c |   1330450 |     369     1607     4880 |    16619    13993     18 |  0.001 % |
181.51/181.71	c |   1331410 |     369     1607     4880 |    16619    14953     19 |  0.001 % |
181.61/181.83	c |   1332464 |     369     1607     4880 |    16619    16007     19 |  0.001 % |
181.81/182.00	c |   1333623 |     369     1607     4880 |    16619    14764     19 |  0.001 % |
181.91/182.18	c |   1334898 |     369     1607     4880 |    16619    16039     19 |  0.001 % |
182.11/182.40	c |   1336298 |     369     1607     4880 |    16619    14984     19 |  0.001 % |
182.42/182.62	c |   1337838 |     369     1607     4880 |    16619    16524     19 |  0.001 % |
182.61/182.87	c |   1339533 |     369     1607     4880 |    16619    15732     19 |  0.001 % |
182.91/183.12	c |   1341397 |     369     1607     4880 |    16199    15079     19 |  0.001 % |
183.11/183.39	c |   1343447 |     369     1607     4880 |    16199    14737     19 |  0.001 % |
183.52/183.71	c |   1345700 |     369     1607     4880 |    16199    14648     19 |  0.001 % |
183.81/184.09	c |   1348178 |     369     1607     4880 |    16199    14701     19 |  0.001 % |
184.21/184.47	c |   1350904 |     369     1607     4880 |    14064    12838     19 |  0.001 % |
184.62/184.84	c |   1353902 |     369     1607     4880 |    14064    13956     19 |  0.001 % |
185.01/185.22	c |   1357198 |     369     1607     4880 |    14064    13641     18 |  0.001 % |
185.51/185.70	c |   1360826 |     369     1607     4880 |    12860    12067     17 |  0.001 % |
186.01/186.21	c |   1364814 |     369     1607     4880 |    12860    12741     18 |  0.001 % |
186.51/186.80	c |   1369199 |     369     1607     4880 |    12860    12462     18 |  0.001 % |
187.11/187.36	c |   1374023 |     369     1607     4880 |    11753    10829     19 |  0.001 % |
187.61/187.87	c |   1379328 |     369     1607     4880 |    11753    11412     19 |  0.001 % |
188.31/188.55	c |   1385163 |     369     1607     4880 | 2147483647    16068     19 |  0.001 % |
189.31/189.58	c |   1391581 |     369     1607     4880 |    20906    19339     19 |  0.001 % |
190.41/190.64	c |   1398640 |     369     1607     4880 |    20906    18251     19 |  0.001 % |
191.61/191.81	c |   1406406 |     369     1607     4880 |    19611    18248     18 |  0.001 % |
192.81/193.02	c |   1414948 |     369     1607     4880 |    17945    16221     18 |  0.001 % |
194.01/194.25	c |   1424342 |     369     1607     4880 |    14786    14230     19 |  0.001 % |
195.41/195.65	c |   1434675 |     369     1607     4880 |    13366    12068     19 |  0.001 % |
196.61/196.85	c |   1446041 |     369     1607     4880 |    12405    12145     20 |  0.001 % |
198.21/198.48	c |   1458544 |     369     1607     4880 | 2147483647    20915     20 |  0.001 % |
198.31/198.50	c |   1458645 |     369     1607     4880 | 2147483647    21016     20 |  0.001 % |
198.31/198.52	c |   1458757 |     369     1607     4880 | 2147483647    21128     20 |  0.001 % |
198.31/198.53	c |   1458878 |     369     1607     4880 | 2147483647    21249     20 |  0.001 % |
198.31/198.56	c |   1459011 |     369     1607     4880 | 2147483647    21382     20 |  0.001 % |
198.31/198.59	c |   1459157 |     369     1607     4880 | 2147483647    21528     20 |  0.001 % |
198.40/198.63	c |   1459319 |     369     1607     4880 | 2147483647    21690     20 |  0.001 % |
198.40/198.67	c |   1459496 |     369     1607     4880 | 2147483647    21867     20 |  0.001 % |
198.50/198.71	c |   1459690 |     369     1607     4880 | 2147483647    22061     20 |  0.001 % |
198.50/198.76	c |   1459902 |     369     1607     4880 | 2147483647    22273     20 |  0.001 % |
198.60/198.84	c |   1460136 |     369     1607     4880 |    22371    17901     19 |  0.001 % |
198.60/198.87	c |   1460392 |     369     1607     4880 |    22371    18157     19 |  0.001 % |
198.70/198.92	c |   1460675 |     369     1607     4880 |    22371    18440     19 |  0.001 % |
198.70/198.97	c |   1460984 |     369     1607     4880 |    22371    18749     19 |  0.001 % |
198.81/199.02	c |   1461323 |     369     1607     4880 |    22371    19088     19 |  0.001 % |
198.81/199.09	c |   1461696 |     369     1607     4880 |    22371    19461     19 |  0.001 % |
198.91/199.18	c |   1462105 |     369     1607     4880 |    22371    19870     19 |  0.001 % |
199.00/199.29	c |   1462554 |     369     1607     4880 |    22371    20319     19 |  0.001 % |
199.10/199.39	c |   1463047 |     369     1607     4880 |    22371    20812     19 |  0.001 % |
199.20/199.49	c |   1463589 |     369     1607     4880 |    22371    21354     19 |  0.001 % |
199.40/199.60	c |   1464185 |     369     1607     4880 |    22371    21950     19 |  0.001 % |
199.50/199.75	c |   1464841 |     369     1607     4880 |    22371    16996     19 |  0.001 % |
199.60/199.85	c |   1465561 |     369     1607     4880 |    22371    17716     19 |  0.001 % |
199.70/199.98	c |   1466353 |     369     1607     4880 |    22371    18508     19 |  0.001 % |
199.91/200.13	c |   1467224 |     369     1607     4880 |    22371    19379     19 |  0.001 % |
200.01/200.29	c |   1468183 |     369     1607     4880 |    22371    20338     19 |  0.001 % |
200.20/200.48	c |   1469236 |     369     1607     4880 |    22371    21391     19 |  0.001 % |
200.50/200.71	c |   1470394 |     369     1607     4880 |    22155    16975     19 |  0.001 % |
200.60/200.89	c |   1471667 |     369     1607     4880 |    22155    18248     19 |  0.001 % |
200.90/201.13	c |   1473067 |     369     1607     4880 |    22155    19648     19 |  0.001 % |
201.11/201.37	c |   1474607 |     369     1607     4880 |    22155    21188     19 |  0.001 % |
201.40/201.64	c |   1476303 |     369     1607     4880 |    22155    17580     19 |  0.001 % |
201.60/201.89	c |   1478166 |     369     1607     4880 |    22155    19443     19 |  0.001 % |
202.00/202.28	c |   1480215 |     369     1607     4880 |    21279    16588     19 |  0.001 % |
202.40/202.61	c |   1482469 |     369     1607     4880 |    21279    18842     19 |  0.001 % |
202.80/203.00	c |   1484948 |     369     1607     4880 |    21279    21321     19 |  0.001 % |
203.10/203.40	c |   1487676 |     369     1607     4880 |    21279    19208     19 |  0.001 % |
203.60/203.88	c |   1490674 |     369     1607     4880 |    16759    13684     18 |  0.001 % |
204.00/204.29	c |   1493970 |     369     1607     4880 |    16759    13917     18 |  0.001 % |
204.50/204.78	c |   1497596 |     369     1607     4880 |    16759    14507     18 |  0.001 % |
205.00/205.21	c |   1501583 |     369     1607     4880 |    14066    13279     18 |  0.001 % |
205.40/205.70	c |   1505970 |     369     1607     4880 |    14066    14061     19 |  0.001 % |
206.10/206.33	c |   1510793 |     369     1607     4880 |    12982    12250     19 |  0.001 % |
206.80/207.00	c |   1516098 |     369     1607     4880 |    12982    11504     18 |  0.001 % |
207.40/207.62	c |   1521934 |     369     1607     4880 |    12561    11926     18 |  0.001 % |
208.10/208.35	c |   1528353 |     369     1607     4880 |    12561    12021     19 |  0.001 % |
209.00/209.25	c |   1535412 |     369     1607     4880 | 2147483647    17818     19 |  0.001 % |
210.40/210.69	c |   1543177 |     369     1607     4880 |    22406    21222     20 |  0.001 % |
212.00/212.22	c |   1551717 |     369     1607     4880 |    16899    14352     20 |  0.001 % |
213.20/213.49	c |   1561111 |     369     1607     4880 |    15566    13641     18 |  0.001 % |
214.59/214.82	c |   1571444 |     369     1607     4880 |    14342    13443     18 |  0.001 % |
215.89/216.17	c |   1582812 |     369     1607     4880 |    14069    13012     19 |  0.001 % |
217.69/217.98	c |   1595316 |     369     1607     4880 |    14079    12752     19 |  0.001 % |
219.40/219.66	c |   1609068 |     369     1607     4880 |    12980    11560     18 |  0.001 % |
219.40/219.67	c |   1609168 |     369     1607     4880 |    12980    11660     18 |  0.001 % |
219.40/219.68	c |   1609279 |     369     1607     4880 |    12980    11771     18 |  0.001 % |
219.50/219.70	c |   1609400 |     369     1607     4880 |    12980    11892     18 |  0.001 % |
219.50/219.71	c |   1609533 |     369     1607     4880 |    12980    12025     18 |  0.001 % |
219.50/219.73	c |   1609681 |     369     1607     4880 |    12980    12173     18 |  0.001 % |
219.50/219.75	c |   1609842 |     369     1607     4880 |    12980    12334     18 |  0.001 % |
219.50/219.77	c |   1610018 |     369     1607     4880 |    12492    12510     18 |  0.001 % |
219.50/219.79	c |   1610211 |     369     1607     4880 |    12492    11276     18 |  0.001 % |
219.60/219.82	c |   1610423 |     369     1607     4880 |    12492    11488     18 |  0.001 % |
219.60/219.84	c |   1610658 |     369     1607     4880 |    12492    11723     18 |  0.001 % |
219.60/219.87	c |   1610916 |     369     1607     4880 |    12492    11981     18 |  0.001 % |
219.60/219.90	c |   1611199 |     369     1607     4880 |    12492    12264     18 |  0.001 % |
219.70/219.94	c |   1611509 |     369     1607     4880 |    12492    11288     18 |  0.001 % |
219.70/219.97	c |   1611850 |     369     1607     4880 |    12492    11629     18 |  0.001 % |
219.80/220.01	c |   1612222 |     369     1607     4880 |    12492    12001     18 |  0.001 % |
219.80/220.05	c |   1612633 |     369     1607     4880 |    12492    12412     18 |  0.001 % |
219.90/220.10	c |   1613084 |     369     1607     4880 |    12492    11609     18 |  0.001 % |
219.90/220.15	c |   1613578 |     369     1607     4880 |    12492    12103     18 |  0.001 % |
220.00/220.20	c |   1614124 |     369     1607     4880 |    12492    11396     18 |  0.001 % |
220.00/220.26	c |   1614721 |     369     1607     4880 |    12492    11993     18 |  0.001 % |
220.10/220.34	c |   1615376 |     369     1607     4880 |    12492    11394     19 |  0.001 % |
220.20/220.41	c |   1616096 |     369     1607     4880 |    12492    12114     19 |  0.001 % |
220.30/220.51	c |   1616890 |     369     1607     4880 |    12492    11656     18 |  0.001 % |
220.40/220.61	c |   1617761 |     369     1607     4880 |    12492    12527     18 |  0.001 % |
220.50/220.73	c |   1618720 |     369     1607     4880 |    12492    12234     18 |  0.001 % |
220.60/220.85	c |   1619773 |     369     1607     4880 |    12492    12033     18 |  0.001 % |
220.70/220.98	c |   1620933 |     369     1607     4880 | 2147483647    13193     18 |  0.001 % |
220.90/221.13	c |   1622206 |     369     1607     4880 | 2147483647    14466     19 |  0.001 % |
221.10/221.30	c |   1623606 |     369     1607     4880 | 2147483647    15866     19 |  0.001 % |
221.30/221.51	c |   1625148 |     369     1607     4880 | 2147483647    17408     19 |  0.001 % |
221.50/221.74	c |   1626843 |     369     1607     4880 | 2147483647    19103     19 |  0.001 % |
221.80/222.01	c |   1628709 |     369     1607     4880 | 2147483647    20969     19 |  0.001 % |
222.10/222.33	c |   1630758 |     369     1607     4880 |    22261    20055     19 |  0.001 % |
222.50/222.72	c |   1633011 |     369     1607     4880 |    22261    22308     20 |  0.001 % |
222.90/223.12	c |   1635490 |     369     1607     4880 |    22261    20607     20 |  0.001 % |
223.30/223.57	c |   1638215 |     369     1607     4880 |    22261    18698     20 |  0.001 % |
223.80/224.04	c |   1641212 |     369     1607     4880 |    20483    17405     20 |  0.001 % |
224.30/224.57	c |   1644509 |     369     1607     4880 |    20483    16325     20 |  0.001 % |
224.80/225.10	c |   1648134 |     369     1607     4880 |    20483    19950     20 |  0.001 % |
225.40/225.66	c |   1652121 |     369     1607     4880 |    17431    15867     19 |  0.001 % |
226.00/226.22	c |   1656507 |     369     1607     4880 |    17431    16905     19 |  0.001 % |
226.50/226.79	c |   1661330 |     369     1607     4880 |    17304    15649     20 |  0.001 % |
227.30/227.51	c |   1666635 |     369     1607     4880 |    17304    15407     20 |  0.001 % |
228.10/228.34	c |   1672470 |     369     1607     4880 |    16017    15901     19 |  0.001 % |
229.00/229.24	c |   1678889 |     369     1607     4880 |    16017    14627     19 |  0.001 % |
230.00/230.25	c |   1685948 |     369     1607     4880 |    15738    13810     20 |  0.001 % |
231.10/231.33	c |   1693712 |     369     1607     4880 |    15180    13669     20 |  0.001 % |
232.09/232.34	c |   1702254 |     369     1607     4880 |    13546    12404     18 |  0.001 % |
233.19/233.46	c |   1711650 |     369     1607     4880 |    12640    11529     18 |  0.001 % |
234.29/234.59	c |   1721984 |     369     1607     4880 | 2147483647    14233     19 |  0.001 % |
236.09/236.35	c |   1733352 |     369     1607     4880 |    22250    21460     20 |  0.001 % |
238.09/238.30	c |   1745855 |     369     1607     4880 |    17344    15238     19 |  0.001 % |
239.89/240.19	c |   1759607 |     369     1607     4880 |    15719    13494     18 |  0.001 % |
241.70/241.97	c |   1774735 |     369     1607     4880 |    13909    12862     19 |  0.001 % |
241.70/241.98	c |   1774837 |     369     1607     4880 |    13909    12964     19 |  0.001 % |
241.70/242.00	c |   1774947 |     369     1607     4880 |    13909    13074     19 |  0.001 % |
241.80/242.02	c |   1775068 |     369     1607     4880 |    13909    13195     19 |  0.001 % |
241.80/242.03	c |   1775201 |     369     1607     4880 |    13909    13328     19 |  0.001 % |
241.80/242.05	c |   1775349 |     369     1607     4880 |    13909    13476     19 |  0.001 % |
241.80/242.08	c |   1775509 |     369     1607     4880 |    13909    13636     19 |  0.001 % |
241.89/242.10	c |   1775685 |     369     1607     4880 |    13909    13812     19 |  0.001 % |
241.89/242.13	c |   1775879 |     369     1607     4880 |    13909    11959     19 |  0.001 % |
241.89/242.15	c |   1776092 |     369     1607     4880 |    13909    12172     19 |  0.001 % |
241.89/242.18	c |   1776325 |     369     1607     4880 |    13909    12405     19 |  0.001 % |
241.99/242.22	c |   1776581 |     369     1607     4880 |    13909    12661     19 |  0.001 % |
241.99/242.26	c |   1776862 |     369     1607     4880 |    13909    12942     19 |  0.001 % |
242.09/242.30	c |   1777171 |     369     1607     4880 |    13909    13251     19 |  0.001 % |
242.09/242.35	c |   1777511 |     369     1607     4880 |    13909    13591     19 |  0.001 % |
242.19/242.41	c |   1777883 |     369     1607     4880 |    13909    11901     19 |  0.001 % |
242.19/242.46	c |   1778293 |     369     1607     4880 |    13909    12311     19 |  0.001 % |
242.29/242.52	c |   1778744 |     369     1607     4880 |    13909    12762     19 |  0.001 % |
242.29/242.59	c |   1779238 |     369     1607     4880 |    13909    13256     19 |  0.001 % |
242.39/242.64	c |   1779781 |     369     1607     4880 |    13909    13799     19 |  0.001 % |
242.49/242.73	c |   1780377 |     369     1607     4880 |    11996    10636     18 |  0.001 % |
242.49/242.79	c |   1781032 |     369     1607     4880 |    11996    11291     18 |  0.001 % |
242.59/242.86	c |   1781752 |     369     1607     4880 |    11996    12011     18 |  0.001 % |
242.69/242.95	c |   1782544 |     369     1607     4880 |    11996    11496     18 |  0.001 % |
242.79/243.04	c |   1783416 |     369     1607     4880 |    11996    11162     18 |  0.001 % |
242.89/243.15	c |   1784374 |     369     1607     4880 |    11996    10915     19 |  0.001 % |
242.99/243.26	c |   1785428 |     369     1607     4880 |    11996    11969     19 |  0.001 % |
243.09/243.38	c |   1786586 |     369     1607     4880 |    11996    11924     19 |  0.001 % |
243.29/243.52	c |   1787861 |     369     1607     4880 |    11996    11995     19 |  0.001 % |
243.39/243.68	c |   1789261 |     369     1607     4880 |    11996    10987     19 |  0.001 % |
243.59/243.85	c |   1790801 |     369     1607     4880 | 2147483647    12527     19 |  0.001 % |
243.79/244.02	c |   1792495 |     369     1607     4880 | 2147483647    14221     19 |  0.001 % |
243.99/244.27	c |   1794359 |     369     1607     4880 | 2147483647    16085     19 |  0.001 % |
244.29/244.53	c |   1796408 |     369     1607     4880 | 2147483647    18134     19 |  0.001 % |
244.59/244.88	c |   1798661 |     369     1607     4880 | 2147483647    20387     19 |  0.001 % |
245.09/245.32	c |   1801141 |     369     1607     4880 |    21726    19421     20 |  0.001 % |
245.59/245.81	c |   1803869 |     369     1607     4880 |    21726    17773     19 |  0.001 % |
246.09/246.31	c |   1806866 |     369     1607     4880 |    21726    20770     20 |  0.001 % |
246.59/246.83	c |   1810163 |     369     1607     4880 |    19160    15166     19 |  0.001 % |
247.09/247.34	c |   1813788 |     369     1607     4880 |    19160    18791     19 |  0.001 % |
247.69/247.98	c |   1817776 |     369     1607     4880 |    19160    18693     19 |  0.001 % |
248.39/248.60	c |   1822161 |     369     1607     4880 |    16788    15384     19 |  0.001 % |
248.99/249.28	c |   1826984 |     369     1607     4880 |    16788    14034     19 |  0.001 % |
249.79/250.04	c |   1832289 |     369     1607     4880 |    13950    13662     18 |  0.001 % |
250.49/250.75	c |   1838126 |     369     1607     4880 |    13950    12820     17 |  0.001 % |
251.29/251.50	c |   1844545 |     369     1607     4880 |    12639    12495     17 |  0.001 % |
251.98/252.22	c |   1851604 |     369     1607     4880 | 2147483647    13195     20 |  0.001 % |
253.08/253.38	c |   1859368 |     369     1607     4880 | 2147483647    20959     20 |  0.001 % |
254.68/254.99	c |   1867908 |     369     1607     4880 |    21591    20759     20 |  0.001 % |
256.18/256.50	c |   1877303 |     369     1607     4880 |    17240    15922     19 |  0.001 % |
257.58/257.90	c |   1887636 |     369     1607     4880 |    14534    13312     19 |  0.001 % |
259.08/259.33	c |   1899002 |     369     1607     4880 |    13028    12169     19 |  0.001 % |
260.39/260.63	c |   1911505 |     369     1607     4880 | 2147483647    12093     19 |  0.001 % |
262.38/262.63	c |   1925261 |     369     1607     4880 |    20589    17694     19 |  0.001 % |
264.58/264.83	c |   1940390 |     369     1607     4880 |    16449    13484     19 |  0.001 % |
265.98/266.26	c ===============================================================================
265.98/266.26	c restarts              : 1541
265.98/266.26	c conflicts             : 1951973        (7338 /sec)
265.98/266.26	c decisions             : 2366244        (1.80 % random) (8895 /sec)
265.98/266.26	c propagations          : 113155388      (425363 /sec)
265.98/266.26	c conflict literals     : 38698683       (20.17 % deleted)
265.98/266.26	c Memory used           : 7.43 MB
265.98/266.26	c CPU time              : 266.021 s
265.98/266.26	c 
265.98/266.26	s SATISFIABLE
265.98/266.27	s SATISFIABLE
265.98/266.27	v -1 2 -3 4 5 6 -7 8 -9 10 -11 12 -13 14 15 16 -17 18 19 -20 -21 -22 23 24 25 26 -27 28 29 30 31 32 -33 -34 35 36 37 38 39 40 41 -42 43 44 -45 -46 -47 48 -49 -50 51 -52 -53 54 55 56 -57 58 59 60 61 -62 63 -64 65 -66 67 68 -69 70 71 -72 73 -74 75 -76 77 -78 -79 80 -81 82 83 84 -85 -86 87 -88 89 -90 91 -92 -93 94 95 96 -97 -98 99 -100 101 102 -103 104 105 106 107 -108 -109 110 -111 112 -113 -114 115 -116 -117 118 -119 120 -121 122 123 124 -125 -126 127 128 -129 -130 131 -132 133 134 135 -136 -137 138 139 140 141 -142 -143 -144 -145 -146 -147 148 -149 -150 151 -152 -153 -154 155 -156 -157 -158 -159 160 161 162 163 -164 165 -166 167 -168 -169 -170 -171 172 -173 -174 175 176 -177 178 -179 180 -181 -182 183 -184 185 186 -187 188 -189 -190 -191 192 193 -194 -195 196 197 198 199 200 -201 -202 -203 -204 205 -206 207 208 209 -210 211 -212 213 -214 -215 -216 217 218 -219 -220 -221 222 223 224 225 226 227 228 229 230 231 232 -233 234 -235 -236 237 -238 -239 -240 -241 242 243 -244 245 -246 247 -248 249 -250 251 -252 -253 -254 -255 -256 -257 -258 -259 -260 -261 262 -263 -264 -265 -266 -267 -268 269 -270 271 272 273 -274 275 276 277 -278 -279 280 281 282 -283 284 -285 286 -287 288 -289 290 -291 292 293 294 -295 296 -297 -298 299 300 -301 -302 303 -304 -305 -306 307 308 -309 -310 311 -312 313 314 315 316 317 -318 319 -320 -321 -322 323 -324 -325 326 -327 -328 329 330 331 332 333 -334 -335 -336 337 338 339 340 -341 -342 343 344 -345 -346 347 348 349 350 351 -352 -353 354 355 356 357 -358 -359 -360 361 -362 363 364 365 366 367 368 369 -370 371 372 -373 374 375 -376 -377 378 -379 -380 0

Verifier Data

OK

Watcher Data

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

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

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


[startup+0 s]
/proc/loadavg: 0.99 1.00 1.06 3/64 25661
/proc/meminfo: memFree=1733276/2055920 swapFree=4180356/4192956
[pid=25661] ppid=25659 vsize=5356 CPUtime=0
/proc/25661/stat : 25661 (SatELiteGTI) S 25659 25661 25591 0 -1 4194304 276 0 0 0 0 0 0 0 18 0 1 0 310336612 5484544 235 1992294400 4194304 4889804 548682068832 18446744073709551615 266134585426 0 0 4100 65536 18446744071563648864 0 0 17 0 0 0
/proc/25661/statm: 1339 235 195 169 0 50 0
[pid=25662] ppid=25661 vsize=5356 CPUtime=0
/proc/25662/stat : 25662 (SatELiteGTI) S 25661 25661 25591 0 -1 4194368 51 25 0 0 0 0 0 0 18 0 1 0 310336612 5484544 238 1992294400 4194304 4889804 548682068832 18446744073709551615 266134414148 0 65536 4096 65538 18446744071563356171 0 0 17 0 0 0
/proc/25662/statm: 1339 238 198 169 0 50 0
[pid=25664] ppid=25662 vsize=5356 CPUtime=0
/proc/25664/stat : 25664 (SatELiteGTI) R 25662 25661 25591 0 -1 4194368 19 0 0 0 0 0 0 0 18 0 1 0 310336612 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 266134416679 0 0 4096 0 0 0 0 17 1 0 0
/proc/25664/statm: 1339 239 199 169 0 50 0

[startup+0.0142099 s]
/proc/loadavg: 0.99 1.00 1.06 3/64 25661
/proc/meminfo: memFree=1733276/2055920 swapFree=4180356/4192956
[pid=25661] ppid=25659 vsize=5356 CPUtime=0
/proc/25661/stat : 25661 (SatELiteGTI) R 25659 25661 25591 0 -1 4194304 314 403 0 0 0 0 0 0 16 0 1 0 310336612 5484544 237 1992294400 4194304 4889804 548682068832 18446744073709551615 266134313088 0 0 4100 65536 0 0 0 17 1 0 0
/proc/25661/statm: 1339 237 197 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356

[startup+0.101702 s]
/proc/loadavg: 0.99 1.00 1.06 3/64 25661
/proc/meminfo: memFree=1733276/2055920 swapFree=4180356/4192956
[pid=25661] ppid=25659 vsize=5356 CPUtime=0
/proc/25661/stat : 25661 (SatELiteGTI) S 25659 25661 25591 0 -1 4194304 336 403 0 0 0 0 0 0 16 0 1 0 310336612 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 266134414148 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/25661/statm: 1339 239 197 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356

[startup+0.302724 s]
/proc/loadavg: 0.99 1.00 1.06 3/64 25661
/proc/meminfo: memFree=1733276/2055920 swapFree=4180356/4192956
[pid=25661] ppid=25659 vsize=5356 CPUtime=0
/proc/25661/stat : 25661 (SatELiteGTI) S 25659 25661 25591 0 -1 4194304 336 403 0 0 0 0 0 0 16 0 1 0 310336612 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 266134414148 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/25661/statm: 1339 239 197 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356

[startup+0.70177 s]
/proc/loadavg: 0.99 1.00 1.06 3/64 25661
/proc/meminfo: memFree=1733276/2055920 swapFree=4180356/4192956
[pid=25661] ppid=25659 vsize=5356 CPUtime=0
/proc/25661/stat : 25661 (SatELiteGTI) S 25659 25661 25591 0 -1 4194304 336 403 0 0 0 0 0 0 16 0 1 0 310336612 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 266134414148 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/25661/statm: 1339 239 197 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356

[startup+1.50185 s]
/proc/loadavg: 0.99 1.00 1.06 2/66 25667
/proc/meminfo: memFree=1731404/2055920 swapFree=4180356/4192956
[pid=25661] ppid=25659 vsize=5356 CPUtime=0
/proc/25661/stat : 25661 (SatELiteGTI) S 25659 25661 25591 0 -1 4194304 336 403 0 0 0 0 0 0 16 0 1 0 310336612 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 266134414148 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/25661/statm: 1339 239 197 169 0 50 0
[pid=25667] ppid=25661 vsize=3756 CPUtime=1.47
/proc/25667/stat : 25667 (minisat_static) R 25661 25661 25591 0 -1 4194304 585 0 0 0 147 0 0 0 25 0 1 0 310336613 3846144 571 1992294400 134512640 135215339 4294956240 18446744073709551615 134528860 0 0 4096 3 0 0 0 17 1 0 0
/proc/25667/statm: 939 571 76 171 0 766 0
Current children cumulated CPU time (s) 1.47
Current children cumulated vsize (KiB) 9112

[startup+3.10103 s]
/proc/loadavg: 0.99 1.00 1.06 2/66 25667
/proc/meminfo: memFree=1730316/2055920 swapFree=4180356/4192956
[pid=25661] ppid=25659 vsize=5356 CPUtime=0
/proc/25661/stat : 25661 (SatELiteGTI) S 25659 25661 25591 0 -1 4194304 336 403 0 0 0 0 0 0 16 0 1 0 310336612 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 266134414148 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/25661/statm: 1339 239 197 169 0 50 0
[pid=25667] ppid=25661 vsize=4856 CPUtime=3.07
/proc/25667/stat : 25667 (minisat_static) R 25661 25661 25591 0 -1 4194304 847 0 0 0 307 0 0 0 25 0 1 0 310336613 4972544 833 1992294400 134512640 135215339 4294956240 18446744073709551615 134528809 0 0 4096 3 0 0 0 17 1 0 0
/proc/25667/statm: 1214 833 76 171 0 1041 0
Current children cumulated CPU time (s) 3.07
Current children cumulated vsize (KiB) 10212

[startup+6.30137 s]
/proc/loadavg: 0.99 1.00 1.06 2/66 25667
/proc/meminfo: memFree=1728972/2055920 swapFree=4180356/4192956
[pid=25661] ppid=25659 vsize=5356 CPUtime=0
/proc/25661/stat : 25661 (SatELiteGTI) S 25659 25661 25591 0 -1 4194304 336 403 0 0 0 0 0 0 16 0 1 0 310336612 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 266134414148 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/25661/statm: 1339 239 197 169 0 50 0
[pid=25667] ppid=25661 vsize=5548 CPUtime=6.26
/proc/25667/stat : 25667 (minisat_static) R 25661 25661 25591 0 -1 4194304 1031 0 0 0 626 0 0 0 25 0 1 0 310336613 5681152 1017 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/25667/statm: 1387 1017 76 171 0 1214 0
Current children cumulated CPU time (s) 6.26
Current children cumulated vsize (KiB) 10904

[startup+12.7011 s]
/proc/loadavg: 0.99 1.00 1.06 2/66 25667
/proc/meminfo: memFree=1728788/2055920 swapFree=4180356/4192956
[pid=25661] ppid=25659 vsize=5356 CPUtime=0
/proc/25661/stat : 25661 (SatELiteGTI) S 25659 25661 25591 0 -1 4194304 336 403 0 0 0 0 0 0 16 0 1 0 310336612 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 266134414148 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/25661/statm: 1339 239 197 169 0 50 0
[pid=25667] ppid=25661 vsize=5548 CPUtime=12.65
/proc/25667/stat : 25667 (minisat_static) R 25661 25661 25591 0 -1 4194304 1040 0 0 0 1265 0 0 0 25 0 1 0 310336613 5681152 1026 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/25667/statm: 1387 1026 76 171 0 1214 0
Current children cumulated CPU time (s) 12.65
Current children cumulated vsize (KiB) 10904

[startup+25.5025 s]
/proc/loadavg: 0.99 1.00 1.06 2/66 25667
/proc/meminfo: memFree=1728788/2055920 swapFree=4180356/4192956
[pid=25661] ppid=25659 vsize=5356 CPUtime=0
/proc/25661/stat : 25661 (SatELiteGTI) S 25659 25661 25591 0 -1 4194304 336 403 0 0 0 0 0 0 16 0 1 0 310336612 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 266134414148 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/25661/statm: 1339 239 197 169 0 50 0
[pid=25667] ppid=25661 vsize=5548 CPUtime=25.44
/proc/25667/stat : 25667 (minisat_static) R 25661 25661 25591 0 -1 4194304 1040 0 0 0 2543 1 0 0 25 0 1 0 310336613 5681152 1026 1992294400 134512640 135215339 4294956240 18446744073709551615 134529083 0 0 4096 3 0 0 0 17 1 0 0
/proc/25667/statm: 1387 1026 76 171 0 1214 0
Current children cumulated CPU time (s) 25.44
Current children cumulated vsize (KiB) 10904

[startup+51.1022 s]
/proc/loadavg: 0.99 1.00 1.06 2/66 25667
/proc/meminfo: memFree=1728724/2055920 swapFree=4180356/4192956
[pid=25661] ppid=25659 vsize=5356 CPUtime=0
/proc/25661/stat : 25661 (SatELiteGTI) S 25659 25661 25591 0 -1 4194304 336 403 0 0 0 0 0 0 16 0 1 0 310336612 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 266134414148 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/25661/statm: 1339 239 197 169 0 50 0
[pid=25667] ppid=25661 vsize=5548 CPUtime=51
/proc/25667/stat : 25667 (minisat_static) R 25661 25661 25591 0 -1 4194304 1040 0 0 0 5099 1 0 0 25 0 1 0 310336613 5681152 1026 1992294400 134512640 135215339 4294956240 18446744073709551615 134528751 0 0 4096 3 0 0 0 17 1 0 0
/proc/25667/statm: 1387 1026 76 171 0 1214 0
Current children cumulated CPU time (s) 51
Current children cumulated vsize (KiB) 10904

[startup+102.306 s]
/proc/loadavg: 0.99 1.00 1.05 2/66 25667
/proc/meminfo: memFree=1728212/2055920 swapFree=4180356/4192956
[pid=25661] ppid=25659 vsize=5356 CPUtime=0
/proc/25661/stat : 25661 (SatELiteGTI) S 25659 25661 25591 0 -1 4194304 336 403 0 0 0 0 0 0 16 0 1 0 310336612 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 266134414148 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/25661/statm: 1339 239 197 169 0 50 0
[pid=25667] ppid=25661 vsize=6088 CPUtime=102.16
/proc/25667/stat : 25667 (minisat_static) R 25661 25661 25591 0 -1 4194304 1144 0 0 0 10215 1 0 0 25 0 1 0 310336613 6234112 1130 1992294400 134512640 135215339 4294956240 18446744073709551615 134528691 0 0 4096 3 0 0 0 17 1 0 0
/proc/25667/statm: 1522 1130 76 171 0 1349 0
Current children cumulated CPU time (s) 102.16
Current children cumulated vsize (KiB) 11444

[startup+162.302 s]
/proc/loadavg: 0.99 1.00 1.05 2/66 25667
/proc/meminfo: memFree=1727572/2055920 swapFree=4180356/4192956
[pid=25661] ppid=25659 vsize=5356 CPUtime=0
/proc/25661/stat : 25661 (SatELiteGTI) S 25659 25661 25591 0 -1 4194304 336 403 0 0 0 0 0 0 16 0 1 0 310336612 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 266134414148 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/25661/statm: 1339 239 197 169 0 50 0
[pid=25667] ppid=25661 vsize=6636 CPUtime=162.13
/proc/25667/stat : 25667 (minisat_static) R 25661 25661 25591 0 -1 4194304 1291 0 0 0 16211 2 0 0 25 0 1 0 310336613 6795264 1277 1992294400 134512640 135215339 4294956240 18446744073709551615 134528697 0 0 4096 3 0 0 0 17 1 0 0
/proc/25667/statm: 1659 1277 76 171 0 1486 0
Current children cumulated CPU time (s) 162.13
Current children cumulated vsize (KiB) 11992

[startup+222.303 s]
/proc/loadavg: 0.99 1.00 1.04 2/66 25667
/proc/meminfo: memFree=1726932/2055920 swapFree=4180356/4192956
[pid=25661] ppid=25659 vsize=5356 CPUtime=0
/proc/25661/stat : 25661 (SatELiteGTI) S 25659 25661 25591 0 -1 4194304 336 403 0 0 0 0 0 0 16 0 1 0 310336612 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 266134414148 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/25661/statm: 1339 239 197 169 0 50 0
[pid=25667] ppid=25661 vsize=7192 CPUtime=222.1
/proc/25667/stat : 25667 (minisat_static) R 25661 25661 25591 0 -1 4194304 1428 0 0 0 22207 3 0 0 25 0 1 0 310336613 7364608 1414 1992294400 134512640 135215339 4294956240 18446744073709551615 134528806 0 0 4096 3 0 0 0 17 1 0 0
/proc/25667/statm: 1798 1414 76 171 0 1625 0
Current children cumulated CPU time (s) 222.1
Current children cumulated vsize (KiB) 12548

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

[startup+230.301 s]
/proc/loadavg: 0.99 1.00 1.04 2/66 25667
/proc/meminfo: memFree=1726932/2055920 swapFree=4180356/4192956
[pid=25661] ppid=25659 vsize=5356 CPUtime=0
/proc/25661/stat : 25661 (SatELiteGTI) S 25659 25661 25591 0 -1 4194304 336 403 0 0 0 0 0 0 16 0 1 0 310336612 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 266134414148 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/25661/statm: 1339 239 197 169 0 50 0
[pid=25667] ppid=25661 vsize=7192 CPUtime=230.1
/proc/25667/stat : 25667 (minisat_static) R 25661 25661 25591 0 -1 4194304 1436 0 0 0 23007 3 0 0 25 0 1 0 310336613 7364608 1422 1992294400 134512640 135215339 4294956240 18446744073709551615 134528788 0 0 4096 3 0 0 0 17 1 0 0
/proc/25667/statm: 1798 1422 76 171 0 1625 0
Current children cumulated CPU time (s) 230.1
Current children cumulated vsize (KiB) 12548

[startup+243.106 s]
/proc/loadavg: 0.99 1.00 1.04 2/66 25667
/proc/meminfo: memFree=1726676/2055920 swapFree=4180356/4192956
[pid=25661] ppid=25659 vsize=5356 CPUtime=0
/proc/25661/stat : 25661 (SatELiteGTI) S 25659 25661 25591 0 -1 4194304 336 403 0 0 0 0 0 0 16 0 1 0 310336612 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 266134414148 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/25661/statm: 1339 239 197 169 0 50 0
[pid=25667] ppid=25661 vsize=7468 CPUtime=242.89
/proc/25667/stat : 25667 (minisat_static) R 25661 25661 25591 0 -1 4194304 1484 0 0 0 24286 3 0 0 25 0 1 0 310336613 7647232 1470 1992294400 134512640 135215339 4294956240 18446744073709551615 134528866 0 0 4096 3 0 0 0 17 1 0 0
/proc/25667/statm: 1867 1470 76 171 0 1694 0
Current children cumulated CPU time (s) 242.89
Current children cumulated vsize (KiB) 12824

[startup+255.901 s]
/proc/loadavg: 0.99 1.00 1.04 2/66 25667
/proc/meminfo: memFree=1726548/2055920 swapFree=4180356/4192956
[pid=25661] ppid=25659 vsize=5356 CPUtime=0
/proc/25661/stat : 25661 (SatELiteGTI) S 25659 25661 25591 0 -1 4194304 336 403 0 0 0 0 0 0 16 0 1 0 310336612 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 266134414148 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/25661/statm: 1339 239 197 169 0 50 0
[pid=25667] ppid=25661 vsize=7600 CPUtime=255.68
/proc/25667/stat : 25667 (minisat_static) R 25661 25661 25591 0 -1 4194304 1520 0 0 0 25565 3 0 0 25 0 1 0 310336613 7782400 1506 1992294400 134512640 135215339 4294956240 18446744073709551615 134528858 0 0 4096 3 0 0 0 17 1 0 0
/proc/25667/statm: 1900 1506 76 171 0 1727 0
Current children cumulated CPU time (s) 255.68
Current children cumulated vsize (KiB) 12956

[startup+262.302 s]
/proc/loadavg: 0.99 1.00 1.04 2/66 25667
/proc/meminfo: memFree=1726484/2055920 swapFree=4180356/4192956
[pid=25661] ppid=25659 vsize=5356 CPUtime=0
/proc/25661/stat : 25661 (SatELiteGTI) S 25659 25661 25591 0 -1 4194304 336 403 0 0 0 0 0 0 16 0 1 0 310336612 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 266134414148 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/25661/statm: 1339 239 197 169 0 50 0
[pid=25667] ppid=25661 vsize=7600 CPUtime=262.08
/proc/25667/stat : 25667 (minisat_static) R 25661 25661 25591 0 -1 4194304 1542 0 0 0 26205 3 0 0 25 0 1 0 310336613 7782400 1528 1992294400 134512640 135215339 4294956240 18446744073709551615 134528809 0 0 4096 3 0 0 0 17 1 0 0
/proc/25667/statm: 1900 1528 76 171 0 1727 0
Current children cumulated CPU time (s) 262.08
Current children cumulated vsize (KiB) 12956

[startup+263.901 s]
/proc/loadavg: 0.99 1.00 1.04 2/66 25667
/proc/meminfo: memFree=1726420/2055920 swapFree=4180356/4192956
[pid=25661] ppid=25659 vsize=5356 CPUtime=0
/proc/25661/stat : 25661 (SatELiteGTI) S 25659 25661 25591 0 -1 4194304 336 403 0 0 0 0 0 0 16 0 1 0 310336612 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 266134414148 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/25661/statm: 1339 239 197 169 0 50 0
[pid=25667] ppid=25661 vsize=7600 CPUtime=263.68
/proc/25667/stat : 25667 (minisat_static) R 25661 25661 25591 0 -1 4194304 1543 0 0 0 26365 3 0 0 25 0 1 0 310336613 7782400 1529 1992294400 134512640 135215339 4294956240 18446744073709551615 134534567 0 0 4096 3 0 0 0 17 1 0 0
/proc/25667/statm: 1900 1529 76 171 0 1727 0
Current children cumulated CPU time (s) 263.68
Current children cumulated vsize (KiB) 12956

[startup+265.502 s]
/proc/loadavg: 0.99 1.00 1.04 2/66 25667
/proc/meminfo: memFree=1726420/2055920 swapFree=4180356/4192956
[pid=25661] ppid=25659 vsize=5356 CPUtime=0
/proc/25661/stat : 25661 (SatELiteGTI) S 25659 25661 25591 0 -1 4194304 336 403 0 0 0 0 0 0 16 0 1 0 310336612 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 266134414148 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/25661/statm: 1339 239 197 169 0 50 0
[pid=25667] ppid=25661 vsize=7600 CPUtime=265.28
/proc/25667/stat : 25667 (minisat_static) R 25661 25661 25591 0 -1 4194304 1543 0 0 0 26525 3 0 0 25 0 1 0 310336613 7782400 1529 1992294400 134512640 135215339 4294956240 18446744073709551615 134528676 0 0 4096 3 0 0 0 17 1 0 0
/proc/25667/statm: 1900 1529 76 171 0 1727 0
Current children cumulated CPU time (s) 265.28
Current children cumulated vsize (KiB) 12956

[startup+265.901 s]
/proc/loadavg: 0.99 1.00 1.04 2/66 25667
/proc/meminfo: memFree=1726420/2055920 swapFree=4180356/4192956
[pid=25661] ppid=25659 vsize=5356 CPUtime=0
/proc/25661/stat : 25661 (SatELiteGTI) S 25659 25661 25591 0 -1 4194304 336 403 0 0 0 0 0 0 16 0 1 0 310336612 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 266134414148 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/25661/statm: 1339 239 197 169 0 50 0
[pid=25667] ppid=25661 vsize=7600 CPUtime=265.68
/proc/25667/stat : 25667 (minisat_static) R 25661 25661 25591 0 -1 4194304 1543 0 0 0 26565 3 0 0 25 0 1 0 310336613 7782400 1529 1992294400 134512640 135215339 4294956240 18446744073709551615 134528814 0 0 4096 3 0 0 0 17 1 0 0
/proc/25667/statm: 1900 1529 76 171 0 1727 0
Current children cumulated CPU time (s) 265.68
Current children cumulated vsize (KiB) 12956

[startup+266.101 s]
/proc/loadavg: 0.99 1.00 1.04 2/66 25667
/proc/meminfo: memFree=1726420/2055920 swapFree=4180356/4192956
[pid=25661] ppid=25659 vsize=5356 CPUtime=0
/proc/25661/stat : 25661 (SatELiteGTI) S 25659 25661 25591 0 -1 4194304 336 403 0 0 0 0 0 0 16 0 1 0 310336612 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 266134414148 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/25661/statm: 1339 239 197 169 0 50 0
[pid=25667] ppid=25661 vsize=7600 CPUtime=265.88
/proc/25667/stat : 25667 (minisat_static) R 25661 25661 25591 0 -1 4194304 1543 0 0 0 26585 3 0 0 25 0 1 0 310336613 7782400 1529 1992294400 134512640 135215339 4294956240 18446744073709551615 134528734 0 0 4096 3 0 0 0 17 1 0 0
/proc/25667/statm: 1900 1529 76 171 0 1727 0
Current children cumulated CPU time (s) 265.88
Current children cumulated vsize (KiB) 12956

[startup+266.205 s]
/proc/loadavg: 0.99 1.00 1.04 2/66 25667
/proc/meminfo: memFree=1726420/2055920 swapFree=4180356/4192956
[pid=25661] ppid=25659 vsize=5356 CPUtime=0
/proc/25661/stat : 25661 (SatELiteGTI) S 25659 25661 25591 0 -1 4194304 336 403 0 0 0 0 0 0 16 0 1 0 310336612 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 266134414148 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/25661/statm: 1339 239 197 169 0 50 0
[pid=25667] ppid=25661 vsize=7600 CPUtime=265.98
/proc/25667/stat : 25667 (minisat_static) R 25661 25661 25591 0 -1 4194304 1543 0 0 0 26595 3 0 0 25 0 1 0 310336613 7782400 1529 1992294400 134512640 135215339 4294956240 18446744073709551615 134532921 0 0 4096 3 0 0 0 17 1 0 0
/proc/25667/statm: 1900 1529 76 171 0 1727 0
Current children cumulated CPU time (s) 265.98
Current children cumulated vsize (KiB) 12956

Child status: 10
Real time (s): 266.277
CPU time (s): 266.072
CPU user time (s): 266.029
CPU system time (s): 0.042993
CPU usage (%): 99.923
Max. virtual memory (cumulated for all children) (KiB): 12956

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 266.029
system time used= 0.042993
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 2577
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= 48
involuntary context switches= 3392

runsolver used 0.336948 second user time and 0.758884 second system time

The end

Launcher Data

Begin job on node35 at 2009-05-20 14:37:21
IDJOB=1833545
IDBENCH=70736
IDSOLVER=671
FILE ID=node35/1833545-1242823041
PBS_JOBID= 9322540
Free space on /tmp= 66080 MiB

SOLVER NAME= minisat_cumr p-2009-03-18
BENCH NAME= SAT09/RANDOM/MEDIUM/3SAT/SATISFIABLE/380/unif-k3-r4.25-v380-c1615-S1036996799-006.cnf
COMMAND LINE= SatELiteGTI BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-1833545-1242823041/watcher-1833545-1242823041 -o /tmp/evaluation-result-1833545-1242823041/solver-1833545-1242823041 -C 1200 -W 1800 -M 1800  SatELiteGTI HOME/instance-1833545-1242823041.cnf

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

MD5SUM BENCH= aea037edf2192f628decdd3193ff0d42
RANDOM SEED=893995636

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

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

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


/proc/meminfo:
MemTotal:      2055920 kB
MemFree:       1733756 kB
Buffers:         44872 kB
Cached:         226600 kB
SwapCached:       6988 kB
Active:         153628 kB
Inactive:       126860 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1733756 kB
SwapTotal:     4192956 kB
SwapFree:      4180356 kB
Dirty:            1600 kB
Writeback:           0 kB
Mapped:          14020 kB
Slab:            27732 kB
Committed_AS:  1079544 kB
PageTables:       1400 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= 66080 MiB
End job on node35 at 2009-05-20 14:41:47